SAT 2007 Competition AIG special track: solvers results per benchmarks

Result page for benchmark
additional-aig/minisat+/
p0201.unsat.aig

Jump to solvers results

General information on the benchmark

Nameadditional-aig/minisat+/
p0201.unsat.aig
MD5SUM4d2fa281dab5e4c9c9f224cdb827539d
Bench CategoryALL (all instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark417.066
SatisfiableNO
(Un)Satisfiability was proved

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minicirc 2007-05-17461838UNSAT 417.066 417.285
picoaigersat 2007-05-15461425UNSAT 881.787 882.131
aigsat-wc 2007-05-15461426? (TO) 1200.12 1200.53
aigsat-sp 2007-05-15461427? (TO) 1200.13 1201.03
aig-cmusat 2007-05-15461428? (TO) 1200.13 1200.84