| Name | industrial/palacios/uts/ uts-l06-ipc5-h29-unknown.cnf |
| MD5SUM | 7dae5d67d35e172b3e57f571e3b779c8 |
| Bench Category | INDUST (industrial instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 29.5365 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 125442 |
| Number of clauses | 687058 |
| Sum of the clauses size | 1811710 |
| Maximum clause length | 591 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 276 |
| Number of clauses of size 2 | 563290 |
| Number of clauses of size 3 | 118648 |
| Number of clauses of size 4 | 1088 |
| Number of clauses of size 5 | 106 |
| Number of clauses of size over 5 | 3650 |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| minimarch 2007-02-08 | 315306 | UNSAT | 2.08968 | 2.09253 |
| Rsat 2007-02-08 | 315300 | UNSAT | 29.5365 | 29.5548 |
| barcelogic 2007-02-08 | 315317 | UNSAT | 39.237 | 39.2947 |
| Barcelogic Fixed 2007-04-13 | 347436 | UNSAT | 40.9318 | 40.9578 |
| TiniSatELite 2007-02-08 | 315295 | UNSAT | 47.5428 | 47.562 |
| Spear FHS 1.0 | 315326 | UNSAT | 53.7498 | 53.7702 |
| minisat SAT 2007 | 421490 | UNSAT | 105.964 | 106.01 |
| minisat SAT 2007 (with assertions) | 315305 | UNSAT | 112.59 | 112.624 |
| minimarch 2007-04-26 (fixed) | 428287 | UNSAT | 138.878 | 138.914 |
| picosat 535 | 315302 | UNSAT | 143.85 | 143.897 |
| MiraXT v1 | 315325 | UNSAT | 171.122 | 171.175 |
| Spear 2007-02-12 | 315328 | UNSAT | 192.938 | 192.998 |
| MiraXT v3 | 315323 | UNSAT | 216.379 | 134.203 |
| SAT4J SAT 2007 | 315292 | UNSAT | 252.096 | 251.592 |
| SAT4J JVM PARAM CHANGED SAT 2007 | 331765 | UNSAT | 254.551 | 254.026 |
| CMUSAT 2007-02-08 | 315316 | UNSAT | 270.143 | 270.245 |
| SATzilla FULL | 315331 | UNSAT | 319.675 | 319.814 |
| Spear FH 1.0 | 315327 | UNSAT | 321.208 | 321.322 |
| SATzilla CRAFTED | 315330 | UNSAT | 322.144 | 322.24 |
| SATzilla RANDOM | 315329 | UNSAT | 322.501 | 322.611 |
| MiraXT v2 | 315324 | UNSAT | 343.469 | 343.607 |
| SAT7 2007-02-08 | 315297 | UNSAT | 448.062 | 448.208 |
| MXC 2007-02-08 | 315303 | UNSAT | 581.178 | 581.346 |
| tinisat 2007-02-08 | 315296 | UNSAT | 633.4 | 633.569 |
| KCNFS 2004 | 315309 | ? | 0 | 0.00593593 |
| gnovelty+ 2007-02-08 | 315311 | ? (exit code) | 0.017996 | 0.0190099 |
| ranov 2007-02-08 | 315301 | ? (exit code) | 0.039993 | 0.041301 |
| KCNFS SMP | 318122 | ? (exit code) | 1.18982 | 1.19232 |
| KCNFS 2006 | 315308 | ? (exit code) | 1.19182 | 1.19377 |
| March KS 2007-02-08 | 315307 | ? (MO) | 157.833 | 157.892 |
| Mmisat 2007-02-08 | 315304 | ? (MO) | 340.094 | 340.192 |
| TTS 4.0 | 315294 | ? (MO) | 544.154 | 544.38 |
| adaptg2wsat+ 2007-02-08 | 315319 | ? (TO) | 1200.04 | 1200.52 |
| adaptg2wsat 2007-02-08 | 315322 | ? (TO) | 1200.06 | 1200.52 |
| saps 2007-02-08 | 315299 | ? (TO) | 1200.06 | 1200.61 |
| DEWSATZ 1A 2007-02-08 | 315313 | ? (TO) | 1200.06 | 1200.62 |
| Hybrid1 2007-02-08 | 315310 | ? (TO) | 1200.06 | 1200.52 |
| DEWSATZ 2007-02-08 | 315314 | ? (TO) | 1200.06 | 1200.52 |
| sapsrt 2007-02-08 | 315298 | ? (TO) | 1200.07 | 1200.51 |
| adaptg2wsat0 2007-02-08 | 315321 | ? (TO) | 1200.09 | 1200.62 |
| DEWSATZ 2007-04-26 (fixed) | 428286 | ? (TO) | 1200.09 | 1200.42 |
| CMUSAT BASE 2007-02-08 | 315315 | ? (TO) | 1200.1 | 1200.54 |
| adaptnovelty 2007-02-08 | 315318 | ? (TO) | 1200.11 | 1200.51 |
| adaptg2wsatp 2007-02-08 | 315320 | ? (TO) | 1200.11 | 1200.62 |
| FH 2007-02-08 | 315312 | ? (TO) | 1200.11 | 1200.62 |
| UnitMarch 2007-02-08 | 315293 | ? (TO) | 1200.15 | 1200.59 |
| ornithorynque 0.1 alpha | 328491 | ? (TO) | 1200.16 | 602.536 |