Name | industrial-aig/crypto/ mizh-sha0-35-4.aig |
MD5SUM | 257daf65a5c4b58d80f834ebda4b3669 |
Bench Category | ALL (all instances) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 237.01 |
Satisfiable | YES |
(Un)Satisfiability was proved |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
minicirc 2007-05-17 | 461569 | SAT | 237.01 | 237.073 |
picoaigersat 2007-05-15 | 460349 | SAT | 434.683 | 434.799 |
aigsat-sp 2007-05-15 | 460351 | SAT | 709.704 | 709.985 |
aig-cmusat 2007-05-15 | 460352 | SAT | 1139.55 | 1139.92 |
aigsat-wc 2007-05-15 | 460350 | ? (TO) | 1200.16 | 1200.57 |