Name | application/leberre/ 2dimensionalstrippacking/E05N15.cnf |
MD5SUM | 6fc4bfeade2d9b21dd29baf376895a0e |
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 | 43573 |
Sum of the clauses size | 228192 |
Maximum clause length | 45 |
Minimum clause length | 1 |
Number of clauses of size 1 | 46 |
Number of clauses of size 2 | 12551 |
Number of clauses of size 3 | 7942 |
Number of clauses of size 4 | 1140 |
Number of clauses of size 5 | 2640 |
Number of clauses of size over 5 | 19254 |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
MoUsSaka 2011-03-26 (complete) | 3495757 | UNSAT | 0.041993 | 0.0423789 |
Haifa-MUC 2011-04-07 (complete) | 3494257 | UNSAT | 0.067989 | 0.0682619 |
MUSer 2011-02-10 (complete) | 3493759 | UNSAT | 0.155975 | 0.157649 |
Haifa-MUC 2011-04-07 (complete) | 3494557 | UNSAT | 0.164974 | 0.165608 |
Haifa-MUC-A 2011-04-07 (complete) | 3493957 | UNSAT | 0.175972 | 0.175885 |
PicoMUS 941 (complete) | 3493762 | UNSAT | 0.278957 | 0.279368 |
SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) | 3493760 | UNSAT | 3.9504 | 3.11529 |
OptimuS x100_source (complete) | 3495457 | UNSAT | 6.02608 | 6.02564 |
OptimuS p100_source (complete) | 3495157 | UNSAT | 7.38588 | 7.38546 |
OptimuS a100_source (complete) | 3494857 | UNSAT | 7.46086 | 7.46118 |
MiniUnsat2 2011-02-22 (complete) | 3493761 | UNSAT | 230.235 | 230.23 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:4548 4547 4546 4542 4541 4539 4538 4537 4529 4527 4526 4525 4516 4515 4514 4491 3405 3300 4577 4576 4575 4574 4573 4571 4570 4569 4563 4562 4561 4560 4558 4557 4556 4552 4551 4550 3014 3013 3010 3009 3006 3004 3003 3002 2999 2998 2997 2994 2992 2991 2990 2987 2986 2985 3183 3072 3065 3062 3060 3057 3055 3054 3051 3049 3048 3030 3027 3025 3024 3023 3020 3017 3015 0