SAT 2011 Competition: plain MUS track: solvers results per benchmarks

Result page for benchmark
application/leberre/
2dimensionalstrippacking/E04N18.cnf

Jump to solvers results

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E04N18.cnf
MD5SUM070544eadaf1d78ec6f23d6f8a90e54a
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark4.21036
Satisfiable
(Un)Satisfiability was proved
Number of variables7794
Number of clauses120068
Sum of the clauses size708976
Maximum clause length78
Minimum clause length1
Number of clauses of size 147
Number of clauses of size 220831
Number of clauses of size 316128
Number of clauses of size 47506
Number of clauses of size 516290
Number of clauses of size over 559266

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Haifa-MUC 2011-04-07 (complete)3494256UNSAT 4.21036 4.22399
Haifa-MUC 2011-04-07 (complete)3494556UNSAT 7.29989 7.31264
MoUsSaka 2011-03-26 (complete)3495756UNSAT 8.64968 8.65021
Haifa-MUC-A 2011-04-07 (complete)3493956UNSAT 9.91349 9.9144
MiniUnsat2 2011-02-22 (complete)3493757UNSAT 214.068 214.066
MUSer 2011-02-10 (complete)3493755? (exit code) 1199.06 1199.03
OptimuS a100_source (complete)3494856? (TO) 1800.05 1800.03
OptimuS x100_source (complete)3495456? (TO) 1800.08 1800.04
OptimuS p100_source (complete)3495156? (TO) 1800.09 1800.03
PicoMUS 941 (complete)3493758No Cert. 1800.08 1800.02
SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete)3493756No Cert. 1800.15 1797.5

Additionnal information

This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).

Solution found:
2 4 6 8 10 12 14 16 18 20 22 24 26 28 30 32 34 36 38 40 42 44 46 48 50 52 54 56 58 60 62 64 66 68 70 72 74 76 78 80 82 84 86 88 90 92 94 96
98 100 102 104 106 108 110 112 114 116 118 120 122 124 126 128 130 132 134 136 138 140 142 144 146 148 150 152 154 156 158 160 162 164 166
168 170 172 174 176 178 180 182 184 186 188 190 192 194 196 198 200 202 204 206 208 210 212 214 216 218 220 222 224 226 228 230 232 234 236
238 240 242 244 246 248 250 252 254 256 258 260 262 264 266 268 270 272 274 276 278 280 282 284 286 288 290 292 294 296 298 300 302 304 306
3063 3064 3065 3066 3067 3068 3069 3070 3071 3072 3073 3074 3075 3076 3077 3078 3080 3081 3082 3083 3084 3085 3086 3087 3088 3089 3090 3091
3092 3093 3095 3096 3097 3098 3099 3100 3101 3102 3103 3104 3105 3106 3107 3109 3110 3111 3112 3113 3114 3115 3116 3117 3118 3119 3120 3122
3123 3124 3125 3126 3127 3128 3129 3130 3131 3132 3134 3135 3136 3137 3138 3139 3140 3141 3142 3143 3145 3146 3147 3148 3149 3150 3151 3152
3153 3154 3155 3156 3157 3158 3159 3160 3161 3162 3163 3164 3165 3166 3167 3168 3169 3170 3172 3173 3174 3175 3176 3177 3179 3180 3181 3182
3183 3185 3186 3187 3188 3190 3191 3192 3194 3195 3199 3200 3201 3202 3203 3204 3205 3206 3207 3208 3209 3210 3211 3212 3213 3214 3215 3216
3217 3218 3219 3220 3221 3222 3223 3224 3225 3226 3227 3228 3229 3230 3231 3232 3233 3234 3235 3236 3237 3238 3239 3240 3241 3242 3243 3244
3245 3246 3247 3248 3249 3250 3251 3252 3253 3254 3255 3256 3257 3258 3259 3260 3261 3262 3263 3264 3265 3266 3267 3268 3269 3270 3271 3272
3273 3274 3275 3276 3277 3278 3279 3280 3281 3282 3283 3284 3285 3286 3287 3288 3289 3290 3291 3292 3293 3294 3295 3296 3297 3298 3299 3300
3301 3302 3303 3304 3305 3306 3307 3308 3309 3310 3311 3312 3313 3314 3315 3316 3317 3318 3319 3320 3321 3322 3323 3324 3325 3326 3327 3328
3329 3330 3331 3332 3333 3334 3340 3341 3348 3349 3355 3356 3363 3364 3369 3370 3377 3378 3382 3383 3390 3391 3394 3395 3402 3403 3405 3406
3413 3414 3416 3423 3424 3432 3433 3440 3441 3447 3448 3453 3454 3458 3459 3462 3463 3465 3466 3468 3472 3473 3474 3475 3476 3477 3478 3479
3480 3481 3482 3483 3484 3485 3486 3488 3489 3490 3491 3492 3493 3494 3495 3496 3497 3498 3499 3500 3501 3503 3504 3505 3506 3507 3508 3509
3510 3511 3512 3513 3514 3515 3517 3518 3519 3520 3521 3522 3523 3524 3525 3526 3527 3528 3530 3531 3532 3533 3534 3535 3536 3537 3538 3539
3540 3542 3543 3544 3545 3546 3547 3548 3549 3550 3551 3553 3555 3556 3557 3558 3559 3560 3561 3564 3565 3566 3567 3568 3569 3570 3572 3573
3574 3575 3576 3577 3578 3580 3581 3582 3583 3584 3585 3587 3588 3589 3590 3591 3593 3594 3595 3596 3598 3599 3600 3602 3603 3750 3752 3753
3754 3755 3756 3757 3758 3765 3767 3768 3769 3770 3771 3772 3773 3779 3781 3782 3783 3784 3785 3786 3787 3792 3794 3795 3796 3797 3798 3799
3800 3804 3806 3807 3808 3809 3810 3811 3812 3815 3817 3818 3819 3820 3821 3822 3823 3825 3827 3828 3829 3830 3831 3832 3833 3836 3837 3838
3839 3840 3841 3842 5103 5104 5105 5106 5107 5108 5109 5110 5111 5112 5113 5114 5115 5116 5117 5118 5119 5120 5121 5122 5123 5124 5125 5126
5127 5128 5129 5130 5131 5132 5133 5134 5135 5136 5137 5138 5139 5140 5141 5142 5143 5144 5145 5146 5147 5148 5149 5150 5151 5152 5153 5154
5155 5156 5157 5158 5159 5160 5161 5162 5163 5164 5165 5166 5167 5168 5169 5170 5171 5172 5173 5174 5175 5176 5177 5178 5179 5180 5181 5182
5183 5184 5185 5186 5187 5188 5189 5190 5191 5192 5193 5194 5195 5196 5197 5198 5199 5200 5201 5202 5203 5204 5205 5206 5207 5208 5209 5210
5211 5212 5213 5214 5215 5216 5217 5218 5219 5220 5221 5222 5223 5224 5225 5226 5227 5228 5229 5230 5231 5232 5233 5234 5235 5236 5237 5238
5240 5241 5242 5243 5244 5245 5246 5255 5272 5273 5274 5275 5276 5277 5278 5286 5288 5289 5290 5291 5292 5300 5301 5302 5303 5304 5305 5314
5315 5316 5317 5326 5327 5336 5337 5338 5346 5355 6652 6828 7633 7643 7691 7947 7993 7994 7995 7996 8298 8299 8300 8301 8302 9438 9648 9788
9789 9794 9798 9801 9824 9859 9860 9861 9864 9865 9870 9874 9875 9876 9877 9880 9881 9886 9890 9891 9892 9893 9894 18211 18212 18214 18215
18217 18218 18220 18221 18223 18224 18226 18227 18229 18230 18232 18233 18235 18236 18238 18239 18241 18242 18244 18245 18247 18248 18250
18251 18253 18254 18256 18257 18259 18260 18263 18373 18374 18376 18377 18379 18380 18382 18383 18385 18386 18388 18389 18391 18392 18394
18395 18397 18398 18400 18401 18403 18404 18406 18407 18409 18410 18412 18413 18415 18416 18419 18422 18425 18481 18484 18487 18490 18493
18496 18499 18502 18503 18505 18506 18508 18509 18511 18512 18514 18515 18517 18518 18520 18521 18523 18524 18526 18527 18530 18533 19939
19940 19942 19943 19945 19946 19948 19949 19951 19952 19954 19955 19957 19958 19960 19961 19963 19964 19966 19967 19969 19970 19972 19973
19975 19976 19978 19979 19981 19982 19984 19985 19988 19991 19995 19998 20001 20004 20007 20010 20013 20016 20019 20022 20025 20028 20031
20034 20037 20040 20043 20046 20100 20208 20700 20703 20706 20709 20712 20715 20718 20721 20724 20727 20730 20733 20736 20739 20742 20745
20749 20750 20752 20753 20755 20756 20758 20759 20761 20762 20764 20765 20767 20768 20770 20771 20773 20774 20776 20777 20779 20780 20782
20783 20785 20786 20788 20789 20791 20792 20794 20795 20797 20798 20801 20808 20811 20814 20817 20820 20823 20826 20829 20832 20835 20838
20841 20844 20847 20850 20853 20937 20940 20958 20961 21507 21510 21513 21516 21519 21522 21525 21528 21531 21534 21537 21540 21543 21546
21549 21552 21636 22154 22157 22159 22160 22162 22163 22165 22166 22168 22169 22171 22172 22174 22175 22177 22178 22180 22181 22183 22184
22186 22187 22189 22190 22192 22193 22195 22196 22198 22199 22201 22204 22293 22311 22314 22801 22804 22807 22808 22810 22811 22813 22814
22816 22817 22819 22820 22822 22823 22825 22826 22828 22829 22831 22832 22834 22835 22837 22838 22840 22841 22843 22844 22846 22847 22850
22853 23935 23938 23941 23944 23947 23950 23953 23956 23959 23963 23965 23969 23972 23975 23978 23981 23984 23987 29363 29420 29458 29971
29972 29973 29974 29975 29976 29977 29978 29979 29980 29981 29982 29983 29984 29985 29986 29987 29988 29989 30008 30046 30220 30221 30222
30223 30224 30225 30226 30227 30228 30229 30230 30231 30232 30233 30234 30235 30256 30258 30259 30260 30261 30262 30263 30264 30265 30266
30267 30268 30269 30270 30271 30272 30273 30303 30304 30310 30311 30504 30505 30506 30507 30508 30509 30510 30511 30512 30513 30514 30515
30516 30517 30518 30519 30549 30750 30780 30786 30787 30978 31377 0