Provide SAT/UNSAT details

[bhoessen]

Hi,
When showing the ranking of the different solvers, it would be nice to have the number of SAT and UNSAT answers provided

Best regards,
Benoît Hoessen

[ceari]

Hi Benoît,

Thanks for the feedback! I'll think about implementing something like that. There might be more categories than "SAT" and "UNSAT" though, for example "certified UNSAT" in SAT Competition 2014. So I'll have to think how to generalize the idea.

In the meantime you can get the numbers for each solver by calculating the ranking twice with different instance filters, i.e. once with status === 'UNSAT' and once with status === 'SAT':
Example

I think the "status" is calculated for most instances in the database, at least for SAT Competition 2014.