Name | industrial-aig/palacios/ hard/sortnet-6-ipc5-h11-unsat.aig |
MD5SUM | d461299f3d9fe4beb52522bb39817d7f |
Bench Category | ALL (all instances) |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Satisfiable | |
(Un)Satisfiability was proved |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
picoaigersat 2007-05-15 | 460769 | ? (TO) | 1200.07 | 1200.61 |
minicirc 2007-05-17 | 461674 | ? (TO) | 1200.08 | 1200.51 |
aig-cmusat 2007-05-15 | 460772 | ? (TO) | 1200.1 | 1200.43 |
aigsat-sp 2007-05-15 | 460771 | ? (TO) | 1200.13 | 1200.63 |
aigsat-wc 2007-05-15 | 460770 | ? (TO) | 1200.14 | 1200.84 |