| Name | industrial/palacios/uts/ uts-l06-ipc5-h30-unknown.cnf |
| MD5SUM | fad87308d3751e996b7b3c35a13a7fd9 |
| Bench Category | INDUST (industrial instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 30.2494 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 137341 |
| Number of clauses | 724504 |
| Sum of the clauses size | 1900318 |
| Maximum clause length | 591 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 276 |
| Number of clauses of size 2 | 588905 |
| Number of clauses of size 3 | 130263 |
| Number of clauses of size 4 | 1197 |
| Number of clauses of size 5 | 111 |
| Number of clauses of size over 5 | 3752 |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| minimarch 2007-02-08 | 315426 | UNSAT | 2.25266 | 2.25452 |
| Rsat 2007-02-08 | 315420 | UNSAT | 30.2494 | 30.3282 |
| barcelogic 2007-02-08 | 315437 | UNSAT | 55.8165 | 55.8685 |
| Barcelogic Fixed 2007-04-13 | 347439 | UNSAT | 58.2381 | 58.2635 |
| TiniSatELite 2007-02-08 | 315415 | UNSAT | 65.761 | 65.8252 |
| Spear FHS 1.0 | 315446 | UNSAT | 116.443 | 116.475 |
| minimarch 2007-04-26 (fixed) | 428293 | UNSAT | 147.316 | 147.41 |
| picosat 535 | 315422 | UNSAT | 200.564 | 200.663 |
| MiraXT v2 | 315444 | UNSAT | 215.073 | 215.228 |
| MiraXT v3 | 315443 | UNSAT | 318.908 | 204.274 |
| MiraXT v1 | 315445 | UNSAT | 394.401 | 394.519 |
| Spear 2007-02-12 | 315448 | UNSAT | 404.067 | 404.24 |
| MXC 2007-02-08 | 315423 | UNSAT | 417.578 | 417.728 |
| Spear FH 1.0 | 315447 | UNSAT | 434.513 | 434.673 |
| CMUSAT 2007-02-08 | 315436 | UNSAT | 486.067 | 486.249 |
| minisat SAT 2007 | 421493 | UNSAT | 500.815 | 500.962 |
| minisat SAT 2007 (with assertions) | 315425 | UNSAT | 529.103 | 529.278 |
| SATzilla FULL | 315451 | UNSAT | 889.141 | 889.366 |
| SATzilla RANDOM | 315449 | UNSAT | 889.159 | 889.531 |
| SATzilla CRAFTED | 315450 | UNSAT | 889.334 | 889.572 |
| SAT4J JVM PARAM CHANGED SAT 2007 | 331771 | UNSAT | 1197.85 | 1197.51 |
| SAT4J SAT 2007 | 315412 | UNSAT | 1199.68 | 1199.83 |
| KCNFS 2004 | 315429 | ? | 0 | 0.00527694 |
| gnovelty+ 2007-02-08 | 315431 | ? (exit code) | 0.016996 | 0.021909 |
| ranov 2007-02-08 | 315421 | ? (exit code) | 0.041993 | 0.0422399 |
| KCNFS 2006 | 315428 | ? (exit code) | 1.23881 | 1.23941 |
| KCNFS SMP | 318125 | ? (exit code) | 1.25481 | 1.25639 |
| March KS 2007-02-08 | 315427 | ? (MO) | 156.21 | 156.289 |
| Mmisat 2007-02-08 | 315424 | ? (MO) | 304.686 | 304.897 |
| TTS 4.0 | 315414 | ? (MO) | 422.37 | 422.487 |
| DEWSATZ 1A 2007-02-08 | 315433 | ? (TO) | 1200.03 | 1200.32 |
| Hybrid1 2007-02-08 | 315430 | ? (TO) | 1200.03 | 1200.42 |
| adaptg2wsatp 2007-02-08 | 315440 | ? (TO) | 1200.04 | 1200.52 |
| saps 2007-02-08 | 315419 | ? (TO) | 1200.05 | 1200.41 |
| adaptg2wsat 2007-02-08 | 315442 | ? (TO) | 1200.07 | 1200.42 |
| sapsrt 2007-02-08 | 315418 | ? (TO) | 1200.08 | 1200.51 |
| CMUSAT BASE 2007-02-08 | 315435 | ? (TO) | 1200.09 | 1200.44 |
| adaptnovelty 2007-02-08 | 315438 | ? (TO) | 1200.09 | 1200.51 |
| adaptg2wsat0 2007-02-08 | 315441 | ? (TO) | 1200.09 | 1200.42 |
| DEWSATZ 2007-02-08 | 315434 | ? (TO) | 1200.09 | 1200.52 |
| SAT7 2007-02-08 | 315417 | ? (TO) | 1200.1 | 1200.42 |
| adaptg2wsat+ 2007-02-08 | 315439 | ? (TO) | 1200.11 | 1200.42 |
| UnitMarch 2007-02-08 | 315413 | ? (TO) | 1200.12 | 1200.2 |
| tinisat 2007-02-08 | 315416 | ? (TO) | 1200.12 | 1200.45 |
| DEWSATZ 2007-04-26 (fixed) | 428292 | ? (TO) | 1200.12 | 1200.42 |
| FH 2007-02-08 | 315432 | ? (TO) | 1200.13 | 1200.52 |
| ornithorynque 0.1 alpha | 328494 | ? (TO) | 1200.19 | 602.636 |