SAT 2007 Competition AIG special track: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Nameadditional-aig/minisat+/
stein27.unsat.aig
MD5SUM5e9c628a7db7a5f1925e06ff6fa16711
Bench CategoryALL (all instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.356945
SatisfiableNO
(Un)Satisfiability was proved

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minicirc 2007-05-17461858UNSAT 0.356945 0.358844
aig-cmusat 2007-05-15461508UNSAT 0.442932 0.44444
picoaigersat 2007-05-15461505UNSAT 0.513921 0.513726
aigsat-sp 2007-05-15461507UNSAT 0.85087 0.85293
aigsat-wc 2007-05-15461506UNSAT 0.883865 0.886639