| Name | industrial-aig/babic/dspam/ dspam_dump_vc962.aig |
| MD5SUM | 41d917cfb20200d4a3a63fe68f8474dc |
| Bench Category | ALL (all instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 7.29289 |
| Satisfiable | NO |
| (Un)Satisfiability was proved |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| aig-cmusat 2007-05-15 | 460508 | UNSAT | 7.29289 | 7.30506 |
| aigsat-wc 2007-05-15 | 460506 | UNSAT | 16.0786 | 16.0798 |
| picoaigersat 2007-05-15 | 460505 | UNSAT | 23.6344 | 23.6398 |
| aigsat-sp 2007-05-15 | 460507 | UNSAT | 308.009 | 308.194 |
| minicirc 2007-05-17 | 461608 | ? (problem) | 11.2363 | 11.2377 |