SAT 2007 Competition AIG special track: solvers results per benchmarks

Result page for benchmark
industrial-aig/babic/
xinetd/itox_vc979.aig

Jump to solvers results

General information on the benchmark

Nameindustrial-aig/babic/
xinetd/itox_vc979.aig
MD5SUMf863a44e5144a66db4118e9d76dd66fd
Bench CategoryALL (all instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark5.42117
SatisfiableNO
(Un)Satisfiability was proved

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
aig-cmusat 2007-05-15460468UNSAT 5.42117 5.43112
picoaigersat 2007-05-15460465UNSAT 10.8124 10.8146
aigsat-sp 2007-05-15460467UNSAT 13.219 13.2327
aigsat-wc 2007-05-15460466UNSAT 14.8997 14.9051
minicirc 2007-05-17461598? (problem) 10.8733 10.8788