Name | industrial-aig/babic/ xinetd/itox_vc979.aig |
MD5SUM | f863a44e5144a66db4118e9d76dd66fd |
Bench Category | ALL (all instances) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 5.42117 |
Satisfiable | NO |
(Un)Satisfiability was proved |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
aig-cmusat 2007-05-15 | 460468 | UNSAT | 5.42117 | 5.43112 |
picoaigersat 2007-05-15 | 460465 | UNSAT | 10.8124 | 10.8146 |
aigsat-sp 2007-05-15 | 460467 | UNSAT | 13.219 | 13.2327 |
aigsat-wc 2007-05-15 | 460466 | UNSAT | 14.8997 | 14.9051 |
minicirc 2007-05-17 | 461598 | ? (problem) | 10.8733 | 10.8788 |