| Name | industrial/fuhs/medium/ AProVE07-04.cnf |
| MD5SUM | 140b498fdbb0a99dba481ef70e9da3eb |
| Bench Category | INDUST (industrial instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 116.574 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 38290 |
| Number of clauses | 475249 |
| Sum of the clauses size | 1355369 |
| Maximum clause length | 28542 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 1 |
| Number of clauses of size 2 | 429660 |
| Number of clauses of size 3 | 15371 |
| Number of clauses of size 4 | 1052 |
| Number of clauses of size 5 | 230 |
| Number of clauses of size over 5 | 28935 |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| minisat SAT 2007 | 421474 | UNSAT | 116.574 | 116.619 |
| minisat SAT 2007 (with assertions) | 314665 | UNSAT | 124.104 | 124.165 |
| MiraXT v1 | 314685 | UNSAT | 199.713 | 199.875 |
| Spear 2007-02-12 | 314688 | UNSAT | 204.508 | 204.569 |
| Barcelogic Fixed 2007-04-13 | 347420 | UNSAT | 220.498 | 220.608 |
| barcelogic 2007-02-08 | 314677 | UNSAT | 220.536 | 220.631 |
| Spear FHS 1.0 | 314686 | UNSAT | 263.572 | 263.771 |
| MiraXT v3 | 314683 | UNSAT | 264.154 | 134.283 |
| CMUSAT 2007-02-08 | 314676 | UNSAT | 276.07 | 276.166 |
| MXC 2007-02-08 | 314663 | UNSAT | 282.221 | 282.336 |
| Rsat 2007-02-08 | 314660 | UNSAT | 289.503 | 289.614 |
| minimarch 2007-02-08 | 314666 | UNSAT | 366.676 | 366.812 |
| SATzilla FULL | 314691 | UNSAT | 397.036 | 397.141 |
| MiraXT v2 | 314684 | UNSAT | 418.24 | 418.318 |
| minimarch 2007-04-26 (fixed) | 428255 | UNSAT | 509.05 | 509.324 |
| Spear FH 1.0 | 314687 | UNSAT | 643.465 | 643.685 |
| picosat 535 | 314662 | UNSAT | 768.157 | 768.366 |
| SAT7 2007-02-08 | 314657 | UNSAT | 802.238 | 802.476 |
| CMUSAT BASE 2007-02-08 | 314675 | UNSAT | 1010.76 | 1011.04 |
| KCNFS 2004 | 314669 | ? | 0.000999 | 0.00516703 |
| gnovelty+ 2007-02-08 | 314671 | ? (exit code) | 0.007998 | 0.00756498 |
| ranov 2007-02-08 | 314661 | ? (exit code) | 0.029994 | 0.031522 |
| KCNFS SMP | 318106 | ? (exit code) | 2.35464 | 2.35558 |
| KCNFS 2006 | 314668 | ? (exit code) | 2.35764 | 2.35933 |
| UnitMarch 2007-02-08 | 314653 | ? (MO) | 12.0402 | 12.1393 |
| DEWSATZ 2007-02-08 | 314674 | ? (TO) | 1200.02 | 1200.41 |
| adaptnovelty 2007-02-08 | 314678 | ? (TO) | 1200.03 | 1200.51 |
| saps 2007-02-08 | 314659 | ? (TO) | 1200.03 | 1200.41 |
| SATzilla CRAFTED | 314690 | ? (TO) | 1200.04 | 1200.41 |
| March KS 2007-02-08 | 314667 | ? (TO) | 1200.05 | 1200.42 |
| TiniSatELite 2007-02-08 | 314655 | ? (TO) | 1200.07 | 1200.92 |
| sapsrt 2007-02-08 | 314658 | ? (TO) | 1200.07 | 1200.41 |
| DEWSATZ 2007-04-26 (fixed) | 428254 | ? (TO) | 1200.08 | 1200.61 |
| DEWSATZ 1A 2007-02-08 | 314673 | ? (TO) | 1200.09 | 1200.41 |
| SAT4J SAT 2007 | 314652 | ? (TO) | 1200.1 | 1199.66 |
| tinisat 2007-02-08 | 314656 | ? (TO) | 1200.11 | 1200.94 |
| TTS 4.0 | 314654 | ? (TO) | 1200.11 | 1200.44 |
| SATzilla RANDOM | 314689 | ? (TO) | 1200.11 | 1200.51 |
| SAT4J JVM PARAM CHANGED SAT 2007 | 331733 | ? (TO) | 1200.19 | 1199.8 |
| ornithorynque 0.1 alpha | 328475 | ? (TO) | 1200.22 | 602.228 |
| Mmisat 2007-02-08 | 314664 | ? (TO) | 1200.27 | 1200.6 |
| adaptg2wsat 2007-02-08 | 314682 | Signal | 0.019996 | 0.0230279 |
| adaptg2wsatp 2007-02-08 | 314680 | Signal | 0.020996 | 0.0235141 |
| adaptg2wsat0 2007-02-08 | 314681 | Signal | 0.021996 | 0.0229399 |
| adaptg2wsat+ 2007-02-08 | 314679 | Signal | 0.021996 | 0.0230049 |
| Hybrid1 2007-02-08 | 314670 | Signal | 0.024995 | 0.024527 |
| FH 2007-02-08 | 314672 | Signal | 0.024995 | 0.0246371 |