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 |