| Name | crafted/Medium/contest05/pebbling/ unsat-pbl-00070.sat05-1324.reshuffled-07.cnf |
| MD5SUM | e72b4e386685e8ae3270a3d69e1ae8da |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 0.241962 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 257 |
| Number of clauses | 7375 |
| Sum of the clauses size | 62500 |
| Maximum clause length | 11 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 1 |
| Number of clauses of size 2 | 11 |
| Number of clauses of size 3 | 46 |
| Number of clauses of size 4 | 119 |
| Number of clauses of size 5 | 300 |
| Number of clauses of size over 5 | 6898 |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| MiraXT v3 | 332752 | UNSAT | 0.241962 | 0.244305 |
| MiraXT v1 | 332754 | UNSAT | 0.241962 | 0.242682 |
| minisat SAT 2007 | 421684 | UNSAT | 0.250961 | 0.252983 |
| MiraXT v2 | 332753 | UNSAT | 0.25696 | 0.259151 |
| CMUSAT 2007-02-08 | 332745 | UNSAT | 0.273957 | 0.276247 |
| minisat SAT 2007 (with assertions) | 332733 | UNSAT | 0.32295 | 0.323841 |
| TTS 4.0 | 332722 | UNSAT | 0.327949 | 0.328623 |
| picosat 535 | 332730 | UNSAT | 0.368943 | 0.39737 |
| minimarch 2007-02-08 | 332734 | UNSAT | 0.403938 | 0.404571 |
| minimarch 2007-04-26 (fixed) | 428675 | UNSAT | 0.425934 | 0.426146 |
| CMUSAT BASE 2007-02-08 | 332744 | UNSAT | 1.63475 | 1.6363 |
| Barcelogic Fixed 2007-04-13 | 347630 | UNSAT | 1.88271 | 1.88737 |
| barcelogic 2007-02-08 | 332746 | UNSAT | 1.88471 | 1.88939 |
| TiniSatELite 2007-02-08 | 332723 | UNSAT | 7.03893 | 7.05231 |
| Spear FHS 1.0 | 332755 | UNSAT | 8.88065 | 8.88305 |
| SATzilla CRAFTED | 332759 | UNSAT | 12.947 | 12.9661 |
| SATzilla FULL | 332760 | UNSAT | 13.448 | 13.4572 |
| Rsat 2007-02-08 | 332728 | UNSAT | 25.5551 | 25.5649 |
| Spear FH 1.0 | 332756 | UNSAT | 47.9747 | 47.99 |
| tinisat 2007-02-08 | 332724 | UNSAT | 91.756 | 91.8152 |
| SAT4J SAT 2007 | 332720 | UNSAT | 367.66 | 366.923 |
| SATzilla RANDOM | 332758 | ? (exit code) | 1199.07 | 1199.42 |
| adaptg2wsatp 2007-02-08 | 332749 | ? (TO) | 1200.02 | 1200.41 |
| ranov 2007-02-08 | 332729 | ? (TO) | 1200.03 | 1200.41 |
| FH 2007-02-08 | 332741 | ? (TO) | 1200.05 | 1200.21 |
| adaptg2wsat+ 2007-02-08 | 332748 | ? (TO) | 1200.05 | 1200.51 |
| KCNFS 2006 | 332737 | ? (TO) | 1200.05 | 1200.51 |
| gnovelty+ 2007-02-08 | 332740 | ? (TO) | 1200.06 | 1200.51 |
| DEWSATZ 1A 2007-02-08 | 332742 | ? (TO) | 1200.06 | 1200.41 |
| adaptg2wsat0 2007-02-08 | 332750 | ? (TO) | 1200.06 | 1200.41 |
| adaptnovelty 2007-02-08 | 332747 | ? (TO) | 1200.06 | 1200.51 |
| MXC 2007-02-08 | 332731 | ? (TO) | 1200.06 | 1200.51 |
| DEWSATZ 2007-04-26 (fixed) | 428674 | ? (TO) | 1200.06 | 1200.41 |
| Mmisat 2007-02-08 | 332732 | ? (TO) | 1200.07 | 1200.51 |
| UnitMarch 2007-02-08 | 332721 | ? (TO) | 1200.07 | 1200.51 |
| Hybrid1 2007-02-08 | 332739 | ? (TO) | 1200.08 | 1200.61 |
| SAT7 2007-02-08 | 332725 | ? (TO) | 1200.08 | 1200.51 |
| sapsrt 2007-02-08 | 332726 | ? (TO) | 1200.08 | 1200.51 |
| KCNFS 2004 | 332738 | ? (TO) | 1200.08 | 1200.51 |
| saps 2007-02-08 | 332727 | ? (TO) | 1200.09 | 1200.61 |
| adaptg2wsat 2007-02-08 | 332751 | ? (TO) | 1200.09 | 1200.41 |
| Spear 2007-02-12 | 332757 | ? (TO) | 1200.1 | 1200.53 |
| DEWSATZ 2007-02-08 | 332743 | ? (TO) | 1200.11 | 1200.51 |
| March KS 2007-02-08 | 332735 | ? (TO) | 1200.11 | 1200.51 |
| KCNFS SMP | 332736 | ? (TO) | 1200.15 | 601.718 |
| ornithorynque 0.1 alpha | 332761 | ? (TO) | 1200.2 | 601.55 |