Name | industrial-aig/fuhs/ medium/AProVE07-09.aig |
MD5SUM | dd70501ed01347f4eb75bb4b195b06bf |
Bench Category | ALL (all instances) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 902.492 |
Satisfiable | NO |
(Un)Satisfiability was proved |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
minicirc 2007-05-17 | 461578 | UNSAT | 902.492 | 902.726 |
aig-cmusat 2007-05-15 | 460388 | UNSAT | 943.589 | 943.941 |
aigsat-sp 2007-05-15 | 460387 | ? (TO) | 1200.08 | 1200.43 |
picoaigersat 2007-05-15 | 460385 | ? (TO) | 1200.11 | 1200.41 |
aigsat-wc 2007-05-15 | 460386 | ? (TO) | 1200.18 | 1200.59 |