search

ceari / edacc_web

Experiment Design and Analysis for Computer Clusters: Web frontend
http://edacc.github.io
MIT License
3 stars 3 forks source link

Provide SAT/UNSAT details #8

Open bhoessen opened 10 years ago

bhoessen commented 10 years ago

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 commented 10 years ago

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.