SATRace

ResultsThis page presents the results of SATRace 2010. The winners in the three tracks (Main, Special 1, Special 2) are:
The prize for the best student solver goes to SATPower in the Main Track and to SArTagnan in Special Track 1 (CNF parallel). Click on a solver's name to get a description of that solver. Detailed results on each track are given below. Main Track (CNF sequential)The table below shows the number of instances solved by each SAT solver (out of 100 instances in total [25 SAT, 65 UNSAT, 10 unknown]; also split up into successfully processed SAT and UNSAT instances); the avarage time (CPU time) per solved instance in seconds; and the final ranking based on the nubmer of solved instances, using the average solving time to break ties. The timeout for each solver and each instance was 900 seconds.
^{*}Note: ManySAT 1.1, ManySAT 1.5 and antom are parallel solvers, which were run in sequential mode. Detailed results including runtimes for all solvers and instances can be viewed in HTML. Special Track 1 (CNF parallel)In the parallel track, each solver could use eight cores (two QuadCore Intel Xeon CPUs running at 2.66 GHz). As runtimes can be highly deviating for parallel SAT solvers, each solver was run three times on each instance. An instances was considered solved, if it could be solved in the first run. The table below gives the number of solved instances in the first run (also separated by SAT and UNSAT instances), the avarage time (wallclock time) per solved instance in seconds; the number of solved instances in the second and third run; and the number of instances that could be solved in at least one of the three runs.
Detailed results including runtimes for all solvers and instances can be viewed in HTML (soon available). Special Track 2 (AIG sequential)The table below summarizes the results of the AIG track. The reported numbers have the same interpretation as in the Main Track.
Detailed results including runtimes for all solvers and instances can be viewed in HTML. 