Name | additional-aig/ibm/ ibm20_len44_sat.aig |
MD5SUM | 29697a78954f3165922a83c0d9cb5fa2 |
Bench Category | ALL (all instances) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 27.3618 |
Satisfiable | YES |
(Un)Satisfiability was proved |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
minicirc 2007-05-17 | 461793 | SAT | 27.3618 | 27.3842 |
picoaigersat 2007-05-15 | 461245 | SAT | 80.2718 | 80.2971 |
aig-cmusat 2007-05-15 | 461248 | SAT | 132.412 | 132.49 |
aigsat-sp 2007-05-15 | 461247 | SAT | 666.564 | 666.801 |
aigsat-wc 2007-05-15 | 461246 | SAT | 878.62 | 878.882 |