Name | industrial-aig/babic/ xinetd/itox_vc1216.aig |
MD5SUM | 78f47a2cfc6ee5296c0620e58ae75fb8 |
Bench Category | ALL (all instances) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 6.80296 |
Satisfiable | NO |
(Un)Satisfiability was proved |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
aig-cmusat 2007-05-15 | 460472 | UNSAT | 6.80296 | 6.81112 |
picoaigersat 2007-05-15 | 460469 | UNSAT | 13.5029 | 13.5055 |
aigsat-sp 2007-05-15 | 460471 | UNSAT | 17.1234 | 17.1296 |
aigsat-wc 2007-05-15 | 460470 | UNSAT | 19.0761 | 19.0844 |
minicirc 2007-05-17 | 461599 | ? (problem) | 14.1089 | 14.1153 |