SAT 2007 Competition AIG special track: solvers results per benchmarks

Result page for benchmark
additional-aig/minisat+/
g15x15.undecided.aig

Jump to solvers results

General information on the benchmark

Nameadditional-aig/minisat+/
g15x15.undecided.aig
MD5SUMa78e5e1e2e9ac1c5997c59b5895bea3b
Bench CategoryALL (all instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark639.494
SatisfiableNO
(Un)Satisfiability was proved

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
aigsat-wc 2007-05-15461382UNSAT 639.494 639.666
aigsat-sp 2007-05-15461383UNSAT 901.747 901.956
minicirc 2007-05-17461827? (TO) 1200.04 1201.01
picoaigersat 2007-05-15461381? (TO) 1200.05 1200.01
aig-cmusat 2007-05-15461384? (TO) 1200.07 1200.44