Name | industrial-aig/ grieu/vmpc_26.aig |
MD5SUM | 71b5fa082a4a5d7ef59827986ab9da40 |
Bench Category | ALL (all instances) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 48.8546 |
Satisfiable | YES |
(Un)Satisfiability was proved |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
aig-cmusat 2007-05-15 | 460628 | SAT | 48.8546 | 48.8855 |
aigsat-wc 2007-05-15 | 460626 | SAT | 269.414 | 269.609 |
minicirc 2007-05-17 | 461638 | SAT | 476.289 | 476.386 |
picoaigersat 2007-05-15 | 460625 | ? (TO) | 1200.06 | 1200.61 |
aigsat-sp 2007-05-15 | 460627 | ? (TO) | 1200.14 | 1200.55 |