SAT 2007 Competition AIG special track: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Nameindustrial-aig/babic/
xinetd/itox_vc1216.aig
MD5SUM78f47a2cfc6ee5296c0620e58ae75fb8
Bench CategoryALL (all instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark6.80296
SatisfiableNO
(Un)Satisfiability was proved

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
aig-cmusat 2007-05-15460472UNSAT 6.80296 6.81112
picoaigersat 2007-05-15460469UNSAT 13.5029 13.5055
aigsat-sp 2007-05-15460471UNSAT 17.1234 17.1296
aigsat-wc 2007-05-15460470UNSAT 19.0761 19.0844
minicirc 2007-05-17461599? (problem) 14.1089 14.1153