Name | application/leberre/ 2dimensionalstrippacking/E10X15.cnf |
MD5SUM | 830847d82a2198c2c6d0a852aed28f30 |
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.025995 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 4740 |
Number of clauses | 30963 |
Sum of the clauses size | 110168 |
Maximum clause length | 45 |
Minimum clause length | 1 |
Number of clauses of size 1 | 30 |
Number of clauses of size 2 | 12311 |
Number of clauses of size 3 | 8436 |
Number of clauses of size 4 | 3330 |
Number of clauses of size 5 | 3285 |
Number of clauses of size over 5 | 3571 |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
MoUsSaka 2011-03-26 (complete) | 3495760 | UNSAT | 0.025995 | 0.030333 |
Haifa-MUC 2011-04-07 (complete) | 3494260 | UNSAT | 0.05899 | 0.0600349 |
Haifa-MUC 2011-04-07 (complete) | 3494560 | UNSAT | 0.080987 | 0.0813111 |
MUSer 2011-02-10 (complete) | 3493739 | UNSAT | 0.109982 | 0.110565 |
Haifa-MUC-A 2011-04-07 (complete) | 3493960 | UNSAT | 0.151976 | 0.153057 |
PicoMUS 941 (complete) | 3493742 | UNSAT | 0.279956 | 0.281487 |
MiniUnsat2 2011-02-22 (complete) | 3493741 | UNSAT | 2.06069 | 2.06349 |
OptimuS x100_source (complete) | 3495460 | UNSAT | 2.5996 | 2.6009 |
SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) | 3493740 | UNSAT | 3.47147 | 2.78975 |
OptimuS p100_source (complete) | 3495160 | UNSAT | 4.23935 | 4.24379 |
OptimuS a100_source (complete) | 3494860 | UNSAT | 4.29835 | 4.29791 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:3024 3033 3775 3022 3016 3031 3011 3669 3662 3043 2989 3787 3714 3000 3492 3715 3474 3473 3005 3354 3141 3364 3484 3151 3056 3131 3483 3776 2985 3707 2999 3132 3142 3802 3801 3800 3799 3532 3797 3796 3533 3534 3786 3785 3784 3782 3535 3575 3754 3753 3708 3751 3745 3744 3723 2971 2974 2975 2980 2986 2987 2988 2990 2991 2993 2998 3001 3002 3003 3010 3012 3013 3014 3021 3023 3026 3032 3035 3040 3041 3048 3050 3351 3352 3464 3465 3466 0