Name | application/leberre/ 2dimensionalstrippacking/E15N15.cnf |
MD5SUM | 3c60abce47126bbdfce1595a967e7025 |
Bench Category | APPLICATION (applications instances) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.041993 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 4740 |
Number of clauses | 44327 |
Sum of the clauses size | 217697 |
Maximum clause length | 36 |
Minimum clause length | 1 |
Number of clauses of size 1 | 46 |
Number of clauses of size 2 | 12551 |
Number of clauses of size 3 | 8440 |
Number of clauses of size 4 | 1440 |
Number of clauses of size 5 | 3015 |
Number of clauses of size over 5 | 18835 |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
MoUsSaka 2011-03-26 (complete) | 3495764 | UNSAT | 0.041993 | 0.042558 |
Haifa-MUC 2011-04-07 (complete) | 3494264 | UNSAT | 0.069988 | 0.0697269 |
Haifa-MUC 2011-04-07 (complete) | 3494564 | UNSAT | 0.144977 | 0.146546 |
MUSer 2011-02-10 (complete) | 3481149 | UNSAT | 0.173973 | 0.176545 |
Haifa-MUC-A 2011-04-07 (complete) | 3493964 | UNSAT | 0.184971 | 0.184196 |
PicoMUS 941 (complete) | 3483553 | UNSAT | 0.306952 | 0.306992 |
SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) | 3482953 | UNSAT | 4.30934 | 3.60947 |
OptimuS x100_source (complete) | 3495464 | UNSAT | 6.02008 | 6.02002 |
OptimuS p100_source (complete) | 3495164 | UNSAT | 7.03193 | 7.03143 |
OptimuS a100_source (complete) | 3494864 | UNSAT | 7.30389 | 7.30421 |
MiniUnsat2 2011-02-22 (complete) | 3483253 | UNSAT | 78.853 | 78.8529 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:4573 4566 4565 4563 4552 4546 4544 4533 4526 4515 4478 4465 4464 4462 4053 4036 3614 3513 3510 3507 4611 4610 4609 4608 4607 4605 4602 4601 4597 4596 4595 4594 4592 4589 4588 4585 4584 4583 4582 4580 3001 3000 2999 2998 2992 2991 2990 2989 2988 2987 2986 2985 2979 2977 2976 2975 2974 2973 2972 2971 3506 3049 3048 3042 3041 3040 3034 3032 3031 3025 3023 3022 3021 3015 3013 3012 3011 3010 3004 3003 3002 0