Name | industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf |
MD5SUM | 6fcbaf8c6c7ed0c41d8ac12258cafaee |
Bench Category | APPLICATION (applications instances) |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 106013 |
Number of clauses | 1598301 |
Sum of the clauses size | 4617403 |
Maximum clause length | 131 |
Minimum clause length | 1 |
Number of clauses of size 1 | 1 |
Number of clauses of size 2 | 1491607 |
Number of clauses of size 3 | 24060 |
Number of clauses of size 4 | 5002 |
Number of clauses of size 5 | 9194 |
Number of clauses of size over 5 | 68437 |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
satake 2009-03-22 (16 threads) (complete) | 1776522 | ? (MO) | 859.134 | 199.432 |
satake 2009-03-22 (4 threads) (complete) | 1776520 | ? (MO) | 1849.25 | 953.947 |
ManySAT 1.1 aimd 2/2009-03-20 (4 threads) (complete) | 1776517 | ? (MO) | 3295.93 | 836.642 |
ManySAT 1.1 aimd 0/2009-03-20 (4 threads) (complete) | 1776511 | ? (MO) | 3301.46 | 837.833 |
ManySAT 1.1 aimd 1/2009-03-20 (4 threads) (complete) | 1776514 | ? (MO) | 3512.34 | 890.725 |
ttsth-5-0 2009-03-19 (4 threads) (complete) | 1776523 | ? (TO) | 999.52 | 1000.06 |
ttsth-5-0 2009-03-19 (16 threads) (complete) | 1776525 | ? (TO) | 1000.13 | 1000.16 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found: