| Name | industrial-aig/babic/dspam/ dspam_dump_vc973.aig |
| MD5SUM | df15cd91e7065a47eaf7869837af8adb |
| Bench Category | ALL (all instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 53.7028 |
| Satisfiable | NO |
| (Un)Satisfiability was proved |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| aigsat-sp 2007-05-15 | 460523 | UNSAT | 53.7028 | 53.7407 |
| aigsat-wc 2007-05-15 | 460522 | UNSAT | 61.1987 | 61.2187 |
| picoaigersat 2007-05-15 | 460521 | UNSAT | 347.687 | 347.769 |
| aig-cmusat 2007-05-15 | 460524 | UNSAT | 745.834 | 746.179 |
| minicirc 2007-05-17 | 461612 | ? (problem) | 31.8202 | 31.836 |