999999000001nc.shuffled-as.sat05-446 minisat_2_2_mac 1198.04 wl_loopone_minisat_70de_mac 1128.64 twolitonly_minisat_ade3_mac 1198.41
999999000001nw.shuffled-as.sat05-447 minisat_2_2_mac 891.724 wl_loopone_minisat_70de_mac 1192.88 twolitonly_minisat_ade3_mac 1197.17
clqcolor-08-05-06.shuffled-as.sat05-1249 minisat_2_2_mac 89.1178 wl_loopone_minisat_70de_mac 47.9135 twolitonly_minisat_ade3_mac 65.8838
clqcolor-08-06-07.shuffled-as.sat05-1257 minisat_2_2_mac 11.9338 wl_loopone_minisat_70de_mac 9.41623 twolitonly_minisat_ade3_mac 13.9186
clqcolor-20-15-15.shuffled-as.sat05-1246 minisat_2_2_mac 0.018154 wl_loopone_minisat_70de_mac 0.025087 twolitonly_minisat_ade3_mac 0.017906
clqcolor-25-18-18.shuffled-as.sat05-1247 minisat_2_2_mac 0.046134 wl_loopone_minisat_70de_mac 0.365378 twolitonly_minisat_ade3_mac 0.039292
clqcolor-30-20-20.shuffled-as.sat05-1248 minisat_2_2_mac 0.055262 wl_loopone_minisat_70de_mac 0.062502 twolitonly_minisat_ade3_mac 1.05149
connm-ue-csp-sat-n600-d0.02-s1676244754.shuffled-as.sat05-535 minisat_2_2_mac 574.915 wl_loopone_minisat_70de_mac 547.666 twolitonly_minisat_ade3_mac 438.548
connm-ue-csp-sat-n600-d0.02-s725301372.shuffled-as.sat05-540 minisat_2_2_mac 704.167 wl_loopone_minisat_70de_mac 756.744 twolitonly_minisat_ade3_mac 866.41
connm-ue-csp-sat-n600-d0.04-s1979668539.shuffled-as.sat05-547 minisat_2_2_mac 187.335 wl_loopone_minisat_70de_mac 267.274 twolitonly_minisat_ade3_mac 223.902
connm-ue-csp-sat-n800-d0.00-s547693512.shuffled-as.sat05-525 minisat_2_2_mac 1196.01 wl_loopone_minisat_70de_mac 87.0167 twolitonly_minisat_ade3_mac 1196.43
connm-ue-csp-sat-n800-d0.04-s362703357.shuffled-as.sat05-548 minisat_2_2_mac 768.777 wl_loopone_minisat_70de_mac 799.792 twolitonly_minisat_ade3_mac 1082
dead-dnd001.shuffled-as.sat05-2742 minisat_2_2_mac 110.635 wl_loopone_minisat_70de_mac 123.035 twolitonly_minisat_ade3_mac 178.173
dead-dnd002.shuffled-as.sat05-2713 minisat_2_2_mac 150.548 wl_loopone_minisat_70de_mac 1193.92 twolitonly_minisat_ade3_mac 1194.71
dead-dnd003.shuffled-as.sat05-3109 minisat_2_2_mac 1194.77 wl_loopone_minisat_70de_mac 1040 twolitonly_minisat_ade3_mac 1195.73
dead-dnd005.shuffled-as.sat05-3111 minisat_2_2_mac 1109.31 wl_loopone_minisat_70de_mac 925.223 twolitonly_minisat_ade3_mac 1142.91
dead-dnd006.shuffled-as.sat05-3112 minisat_2_2_mac 888.174 wl_loopone_minisat_70de_mac 1196.33 twolitonly_minisat_ade3_mac 1196.86
dead-dnd009.shuffled-as.sat05-3115 minisat_2_2_mac 211.259 wl_loopone_minisat_70de_mac 241.238 twolitonly_minisat_ade3_mac 171.501
fclqcolor-08-05-06.shuffled-as.sat05-1273 minisat_2_2_mac 18.3835 wl_loopone_minisat_70de_mac 21.7791 twolitonly_minisat_ade3_mac 32.2334
fclqcolor-08-06-07.shuffled-as.sat05-1281 minisat_2_2_mac 9.26919 wl_loopone_minisat_70de_mac 7.92674 twolitonly_minisat_ade3_mac 9.80135
fclqcolor-20-15-15.shuffled-as.sat05-1270 minisat_2_2_mac 0.015996 wl_loopone_minisat_70de_mac 0.01512 twolitonly_minisat_ade3_mac 0.016903
fclqcolor-25-18-18.shuffled-as.sat05-1271 minisat_2_2_mac 0.033515 wl_loopone_minisat_70de_mac 0.032995 twolitonly_minisat_ade3_mac 0.035087
fclqcolor-30-20-20.shuffled-as.sat05-1272 minisat_2_2_mac 0.056071 wl_loopone_minisat_70de_mac 0.058658 twolitonly_minisat_ade3_mac 0.062903
fphp-010-008.shuffled-as.sat05-1213 minisat_2_2_mac 0.423617 wl_loopone_minisat_70de_mac 0.306991 twolitonly_minisat_ade3_mac 0.435917
fphp-010-009.shuffled-as.sat05-1227 minisat_2_2_mac 2.64245 wl_loopone_minisat_70de_mac 2.95287 twolitonly_minisat_ade3_mac 2.75514
fphp-012-010.shuffled-as.sat05-1214 minisat_2_2_mac 379.743 wl_loopone_minisat_70de_mac 315.086 twolitonly_minisat_ade3_mac 360.537
fphp-035-035.shuffled-as.sat05-1207 minisat_2_2_mac 0.010365 wl_loopone_minisat_70de_mac 0.010261 twolitonly_minisat_ade3_mac 0.010428
fphp-040-040.shuffled-as.sat05-1208 minisat_2_2_mac 0.015208 wl_loopone_minisat_70de_mac 0.015413 twolitonly_minisat_ade3_mac 0.015503
fphp-045-045.shuffled-as.sat05-1209 minisat_2_2_mac 0.023007 wl_loopone_minisat_70de_mac 0.02247 twolitonly_minisat_ade3_mac 0.02257
fphp-050-050.shuffled-as.sat05-1210 minisat_2_2_mac 0.030731 wl_loopone_minisat_70de_mac 0.030689 twolitonly_minisat_ade3_mac 0.030608
fphp-060-060.shuffled-as.sat05-1211 minisat_2_2_mac 0.051987 wl_loopone_minisat_70de_mac 0.052128 twolitonly_minisat_ade3_mac 0.052353
fphp-070-070.shuffled-as.sat05-1212 minisat_2_2_mac 0.089881 wl_loopone_minisat_70de_mac 0.091887 twolitonly_minisat_ade3_mac 0.092195
gensys-brn001.shuffled-as.sat05-2743 minisat_2_2_mac 0.890894 wl_loopone_minisat_70de_mac 0.167461 twolitonly_minisat_ade3_mac 0.81956
gensys-brn001.shuffled-as.sat05-3127 minisat_2_2_mac 0.008524 wl_loopone_minisat_70de_mac 0.009082 twolitonly_minisat_ade3_mac 0.01289
gensys-brn001.shuffled-as.sat05-3420 minisat_2_2_mac 0.024368 wl_loopone_minisat_70de_mac 0.02413 twolitonly_minisat_ade3_mac 0.02493
gensys-brn001.shuffled-as.sat05-3934 minisat_2_2_mac 6.41251 wl_loopone_minisat_70de_mac 6.84697 twolitonly_minisat_ade3_mac 38.9053
gensys-brn002.shuffled-as.sat05-2679 minisat_2_2_mac 0.837867 wl_loopone_minisat_70de_mac 2.0748 twolitonly_minisat_ade3_mac 0.644102
gensys-brn002.shuffled-as.sat05-3421 minisat_2_2_mac 0.02468 wl_loopone_minisat_70de_mac 0.025317 twolitonly_minisat_ade3_mac 0.025425
gensys-brn002.shuffled-as.sat05-3935 minisat_2_2_mac 8.15465 wl_loopone_minisat_70de_mac 27.7343 twolitonly_minisat_ade3_mac 7.82478
gensys-brn003.shuffled-as.sat05-2680 minisat_2_2_mac 3.26006 wl_loopone_minisat_70de_mac 2.59546 twolitonly_minisat_ade3_mac 4.33721
gensys-brn003.shuffled-as.sat05-2747 minisat_2_2_mac 0.010334 wl_loopone_minisat_70de_mac 0.01276 twolitonly_minisat_ade3_mac 0.009521
gensys-brn003.shuffled-as.sat05-3422 minisat_2_2_mac 0.032369 wl_loopone_minisat_70de_mac 0.031738 twolitonly_minisat_ade3_mac 0.032577
gensys-brn003.shuffled-as.sat05-3668 minisat_2_2_mac 18.7469 wl_loopone_minisat_70de_mac 54.5193 twolitonly_minisat_ade3_mac 46.7268
gensys-brn004.shuffled-as.sat05-2681 minisat_2_2_mac 2.51992 wl_loopone_minisat_70de_mac 19.1252 twolitonly_minisat_ade3_mac 1.21666
gensys-brn004.shuffled-as.sat05-2748 minisat_2_2_mac 0.019497 wl_loopone_minisat_70de_mac 0.022696 twolitonly_minisat_ade3_mac 0.016778
gensys-brn004.shuffled-as.sat05-3423 minisat_2_2_mac 0.055028 wl_loopone_minisat_70de_mac 0.067669 twolitonly_minisat_ade3_mac 0.1006
gensys-brn004.shuffled-as.sat05-3669 minisat_2_2_mac 66.3938 wl_loopone_minisat_70de_mac 52.1155 twolitonly_minisat_ade3_mac 7.74502
gensys-brn005.shuffled-as.sat05-2682 minisat_2_2_mac 3.85645 wl_loopone_minisat_70de_mac 7.42317 twolitonly_minisat_ade3_mac 10.753
gensys-brn005.shuffled-as.sat05-2749 minisat_2_2_mac 0.011791 wl_loopone_minisat_70de_mac 0.013485 twolitonly_minisat_ade3_mac 0.014377
gensys-brn005.shuffled-as.sat05-3424 minisat_2_2_mac 0.047242 wl_loopone_minisat_70de_mac 0.042724 twolitonly_minisat_ade3_mac 0.073645
gensys-brn005.shuffled-as.sat05-3670 minisat_2_2_mac 58.5243 wl_loopone_minisat_70de_mac 20.6141 twolitonly_minisat_ade3_mac 16.1202
gensys-brn006.shuffled-as.sat05-2683 minisat_2_2_mac 1.04783 wl_loopone_minisat_70de_mac 7.69002 twolitonly_minisat_ade3_mac 5.11906
gensys-brn006.shuffled-as.sat05-2750 minisat_2_2_mac 0.013351 wl_loopone_minisat_70de_mac 0.008671 twolitonly_minisat_ade3_mac 0.007223
gensys-brn006.shuffled-as.sat05-3425 minisat_2_2_mac 0.0434 wl_loopone_minisat_70de_mac 0.045965 twolitonly_minisat_ade3_mac 0.0609
gensys-brn006.shuffled-as.sat05-3671 minisat_2_2_mac 5.9973 wl_loopone_minisat_70de_mac 6.79936 twolitonly_minisat_ade3_mac 19.9
gensys-brn007.shuffled-as.sat05-2684 minisat_2_2_mac 232.936 wl_loopone_minisat_70de_mac 390.918 twolitonly_minisat_ade3_mac 158.922
gensys-brn007.shuffled-as.sat05-2751 minisat_2_2_mac 0.008954 wl_loopone_minisat_70de_mac 0.011744 twolitonly_minisat_ade3_mac 0.028547
gensys-brn007.shuffled-as.sat05-3426 minisat_2_2_mac 0.201497 wl_loopone_minisat_70de_mac 0.352281 twolitonly_minisat_ade3_mac 0.233848
gensys-brn007.shuffled-as.sat05-3672 minisat_2_2_mac 2.97652 wl_loopone_minisat_70de_mac 0.937888 twolitonly_minisat_ade3_mac 35.4233
gensys-brn008.shuffled-as.sat05-2685 minisat_2_2_mac 104.873 wl_loopone_minisat_70de_mac 110.59 twolitonly_minisat_ade3_mac 92.5383
gensys-brn008.shuffled-as.sat05-2752 minisat_2_2_mac 0.011837 wl_loopone_minisat_70de_mac 0.0074 twolitonly_minisat_ade3_mac 0.008756
gensys-brn008.shuffled-as.sat05-3427 minisat_2_2_mac 0.049383 wl_loopone_minisat_70de_mac 0.058112 twolitonly_minisat_ade3_mac 0.076031
gensys-brn008.shuffled-as.sat05-3673 minisat_2_2_mac 5.20723 wl_loopone_minisat_70de_mac 7.00392 twolitonly_minisat_ade3_mac 19.3123
gensys-brn009.shuffled-as.sat05-2686 minisat_2_2_mac 2.24323 wl_loopone_minisat_70de_mac 2.17594 twolitonly_minisat_ade3_mac 0.992554
gensys-brn009.shuffled-as.sat05-2753 minisat_2_2_mac 0.014407 wl_loopone_minisat_70de_mac 0.008878 twolitonly_minisat_ade3_mac 0.011898
gensys-brn009.shuffled-as.sat05-3428 minisat_2_2_mac 0.123856 wl_loopone_minisat_70de_mac 0.112038 twolitonly_minisat_ade3_mac 0.241983
gensys-brn009.shuffled-as.sat05-3674 minisat_2_2_mac 8.20308 wl_loopone_minisat_70de_mac 6.8179 twolitonly_minisat_ade3_mac 10.217
gensys-brn100.shuffled-as.sat05-2844 minisat_2_2_mac 0.009522 wl_loopone_minisat_70de_mac 0.01037 twolitonly_minisat_ade3_mac 0.009735
gensys-brn100.shuffled-as.sat05-3765 minisat_2_2_mac 59.3937 wl_loopone_minisat_70de_mac 7.93147 twolitonly_minisat_ade3_mac 27.6446
gensys-icl001.shuffled-as.sat05-2695 minisat_2_2_mac 456.204 wl_loopone_minisat_70de_mac 1192.99 twolitonly_minisat_ade3_mac 916.438
gensys-icl001.shuffled-as.sat05-2926 minisat_2_2_mac 30.3208 wl_loopone_minisat_70de_mac 29.669 twolitonly_minisat_ade3_mac 37.9707
gensys-icl002.shuffled-as.sat05-2714 minisat_2_2_mac 771.376 wl_loopone_minisat_70de_mac 842.498 twolitonly_minisat_ade3_mac 489.688
gensys-icl002.shuffled-as.sat05-3128 minisat_2_2_mac 4.48375 wl_loopone_minisat_70de_mac 4.20615 twolitonly_minisat_ade3_mac 5.31832
gensys-icl002.shuffled-as.sat05-3823 minisat_2_2_mac 1182.62 wl_loopone_minisat_70de_mac 1045.99 twolitonly_minisat_ade3_mac 1193.34
gensys-icl003.shuffled-as.sat05-2715 minisat_2_2_mac 101.611 wl_loopone_minisat_70de_mac 101.286 twolitonly_minisat_ade3_mac 128.014
gensys-icl003.shuffled-as.sat05-3129 minisat_2_2_mac 14.5215 wl_loopone_minisat_70de_mac 15.2647 twolitonly_minisat_ade3_mac 18.0896
gensys-icl004.shuffled-as.sat05-2716 minisat_2_2_mac 201.117 wl_loopone_minisat_70de_mac 195.499 twolitonly_minisat_ade3_mac 215.102
gensys-icl004.shuffled-as.sat05-3130 minisat_2_2_mac 3.43289 wl_loopone_minisat_70de_mac 3.48159 twolitonly_minisat_ade3_mac 4.2064
gensys-icl004.shuffled-as.sat05-3825 minisat_2_2_mac 947.647 wl_loopone_minisat_70de_mac 1194.86 twolitonly_minisat_ade3_mac 1194.25
gensys-icl005.shuffled-as.sat05-2717 minisat_2_2_mac 153.795 wl_loopone_minisat_70de_mac 178.056 twolitonly_minisat_ade3_mac 145.389
gensys-icl005.shuffled-as.sat05-3131 minisat_2_2_mac 563.946 wl_loopone_minisat_70de_mac 738.773 twolitonly_minisat_ade3_mac 726.208
gensys-icl006.shuffled-as.sat05-2718 minisat_2_2_mac 95.5766 wl_loopone_minisat_70de_mac 93.4725 twolitonly_minisat_ade3_mac 101.565
gensys-icl007.shuffled-as.sat05-2719 minisat_2_2_mac 318.658 wl_loopone_minisat_70de_mac 544.677 twolitonly_minisat_ade3_mac 713.915
gensys-icl008.shuffled-as.sat05-3134 minisat_2_2_mac 803.743 wl_loopone_minisat_70de_mac 1023.04 twolitonly_minisat_ade3_mac 1194.59
gensys-icl009.shuffled-as.sat05-2721 minisat_2_2_mac 188.881 wl_loopone_minisat_70de_mac 303.578 twolitonly_minisat_ade3_mac 344.934
gensys-ukn001.shuffled-as.sat05-2678 minisat_2_2_mac 278.079 wl_loopone_minisat_70de_mac 508.607 twolitonly_minisat_ade3_mac 283.026
gensys-ukn001.shuffled-as.sat05-3235 minisat_2_2_mac 0.038262 wl_loopone_minisat_70de_mac 0.020091 twolitonly_minisat_ade3_mac 0.073046
gensys-ukn001.shuffled-as.sat05-3500 minisat_2_2_mac 0.036508 wl_loopone_minisat_70de_mac 0.036755 twolitonly_minisat_ade3_mac 0.037439
gensys-ukn001.shuffled-as.sat05-3841 minisat_2_2_mac 29.9607 wl_loopone_minisat_70de_mac 41.328 twolitonly_minisat_ade3_mac 70.9519
gensys-ukn002.shuffled-as.sat05-2744 minisat_2_2_mac 90.9231 wl_loopone_minisat_70de_mac 84.1182 twolitonly_minisat_ade3_mac 96.8524
gensys-ukn002.shuffled-as.sat05-3345 minisat_2_2_mac 0.027605 wl_loopone_minisat_70de_mac 0.017093 twolitonly_minisat_ade3_mac 0.075747
gensys-ukn002.shuffled-as.sat05-3501 minisat_2_2_mac 0.037133 wl_loopone_minisat_70de_mac 0.038367 twolitonly_minisat_ade3_mac 0.040958
gensys-ukn003.shuffled-as.sat05-2726 minisat_2_2_mac 562.616 wl_loopone_minisat_70de_mac 761.792 twolitonly_minisat_ade3_mac 176.667
gensys-ukn003.shuffled-as.sat05-3582 minisat_2_2_mac 0.036678 wl_loopone_minisat_70de_mac 0.037101 twolitonly_minisat_ade3_mac 0.03669
gensys-ukn004.shuffled-as.sat05-2745 minisat_2_2_mac 1144.92 wl_loopone_minisat_70de_mac 896.268 twolitonly_minisat_ade3_mac 1194.39
gensys-ukn004.shuffled-as.sat05-3583 minisat_2_2_mac 0.031647 wl_loopone_minisat_70de_mac 0.032323 twolitonly_minisat_ade3_mac 0.033485
gensys-ukn005.shuffled-as.sat05-3584 minisat_2_2_mac 53.3536 wl_loopone_minisat_70de_mac 74.0971 twolitonly_minisat_ade3_mac 62.7981
gensys-ukn005.shuffled-as.sat05-3845 minisat_2_2_mac 41.3788 wl_loopone_minisat_70de_mac 56.1692 twolitonly_minisat_ade3_mac 9.76743
gensys-ukn006.shuffled-as.sat05-3349 minisat_2_2_mac 227.015 wl_loopone_minisat_70de_mac 277.932 twolitonly_minisat_ade3_mac 284.295
gensys-ukn006.shuffled-as.sat05-3585 minisat_2_2_mac 16.4973 wl_loopone_minisat_70de_mac 15.4943 twolitonly_minisat_ade3_mac 19.55
gensys-ukn007.shuffled-as.sat05-3586 minisat_2_2_mac 0.03459 wl_loopone_minisat_70de_mac 0.032989 twolitonly_minisat_ade3_mac 0.036734
gensys-ukn008.shuffled-as.sat05-3587 minisat_2_2_mac 0.82972 wl_loopone_minisat_70de_mac 0.745182 twolitonly_minisat_ade3_mac 0.814095
gensys-ukn009.shuffled-as.sat05-3352 minisat_2_2_mac 0.174932 wl_loopone_minisat_70de_mac 0.080392 twolitonly_minisat_ade3_mac 0.08894
gensys-ukn009.shuffled-as.sat05-3588 minisat_2_2_mac 1030.92 wl_loopone_minisat_70de_mac 1197.26 twolitonly_minisat_ade3_mac 910.655
grid-pbl-0060.shuffled-as.sat05-1333.shuffled-as.sat05-1333 minisat_2_2_mac 0.185386 wl_loopone_minisat_70de_mac 0.135228 twolitonly_minisat_ade3_mac 0.390257
grid-pbl-0060.shuffled-as.sat05-1342.shuffled-as.sat05-1342 minisat_2_2_mac 0.814999 wl_loopone_minisat_70de_mac 1.00755 twolitonly_minisat_ade3_mac 0.893045
grid-pbl-0070.shuffled-as.sat05-1334.shuffled-as.sat05-1334 minisat_2_2_mac 0.414172 wl_loopone_minisat_70de_mac 0.408408 twolitonly_minisat_ade3_mac 0.412409
grid-pbl-0070.shuffled-as.sat05-1343.shuffled-as.sat05-1343 minisat_2_2_mac 1.27307 wl_loopone_minisat_70de_mac 1.03432 twolitonly_minisat_ade3_mac 1.21594
grid-pbl-0080.shuffled-as.sat05-1335.shuffled-as.sat05-1335 minisat_2_2_mac 0.402052 wl_loopone_minisat_70de_mac 0.514107 twolitonly_minisat_ade3_mac 0.446013
grid-pbl-0080.shuffled-as.sat05-1344.shuffled-as.sat05-1344 minisat_2_2_mac 1.54679 wl_loopone_minisat_70de_mac 1.32058 twolitonly_minisat_ade3_mac 2.31636
grid-pbl-0090.shuffled-as.sat05-1336.shuffled-as.sat05-1336 minisat_2_2_mac 0.423656 wl_loopone_minisat_70de_mac 0.334611 twolitonly_minisat_ade3_mac 0.273363
grid-pbl-0090.shuffled-as.sat05-1345.shuffled-as.sat05-1345 minisat_2_2_mac 2.36157 wl_loopone_minisat_70de_mac 2.34548 twolitonly_minisat_ade3_mac 2.83763
grid-pbl-0100.shuffled-as.sat05-1337.shuffled-as.sat05-1337 minisat_2_2_mac 1.42952 wl_loopone_minisat_70de_mac 1.11199 twolitonly_minisat_ade3_mac 1.32682
grid-pbl-0100.shuffled-as.sat05-1346.shuffled-as.sat05-1346 minisat_2_2_mac 4.04142 wl_loopone_minisat_70de_mac 6.07121 twolitonly_minisat_ade3_mac 7.54612
grid-pbl-0150.shuffled-as.sat05-1338.shuffled-as.sat05-1338 minisat_2_2_mac 6.65586 wl_loopone_minisat_70de_mac 8.89529 twolitonly_minisat_ade3_mac 7.98055
grid-pbl-0150.shuffled-as.sat05-1347.shuffled-as.sat05-1347 minisat_2_2_mac 10.4764 wl_loopone_minisat_70de_mac 14.5304 twolitonly_minisat_ade3_mac 16.2723
grid-pbl-0200.shuffled-as.sat05-1339.shuffled-as.sat05-1339 minisat_2_2_mac 11.8925 wl_loopone_minisat_70de_mac 12.9563 twolitonly_minisat_ade3_mac 13.7512
grid-pbl-0200.shuffled-as.sat05-1348.shuffled-as.sat05-1348 minisat_2_2_mac 57.8637 wl_loopone_minisat_70de_mac 49.9521 twolitonly_minisat_ade3_mac 47.9439
grid-pbl-0250.shuffled-as.sat05-1340.shuffled-as.sat05-1340 minisat_2_2_mac 100.673 wl_loopone_minisat_70de_mac 106.318 twolitonly_minisat_ade3_mac 116.668
grid-pbl-0250.shuffled-as.sat05-1349.shuffled-as.sat05-1349 minisat_2_2_mac 139.901 wl_loopone_minisat_70de_mac 129.199 twolitonly_minisat_ade3_mac 150.51
grid-pbl-0300.shuffled-as.sat05-1341.shuffled-as.sat05-1341 minisat_2_2_mac 180.789 wl_loopone_minisat_70de_mac 219.502 twolitonly_minisat_ade3_mac 226.699
grid-pbl-0300.shuffled-as.sat05-1350.shuffled-as.sat05-1350 minisat_2_2_mac 331.382 wl_loopone_minisat_70de_mac 296.401 twolitonly_minisat_ade3_mac 331.766
gt-012.shuffled-as.sat05-1289 minisat_2_2_mac 0.026929 wl_loopone_minisat_70de_mac 0.01664 twolitonly_minisat_ade3_mac 0.05148
gt-012.shuffled-as.sat05-1301 minisat_2_2_mac 0.03761 wl_loopone_minisat_70de_mac 0.050479 twolitonly_minisat_ade3_mac 0.029927
gt-014.shuffled-as.sat05-1290 minisat_2_2_mac 0.062514 wl_loopone_minisat_70de_mac 0.187942 twolitonly_minisat_ade3_mac 0.092805
gt-014.shuffled-as.sat05-1302 minisat_2_2_mac 0.05235 wl_loopone_minisat_70de_mac 0.225923 twolitonly_minisat_ade3_mac 0.379937
gt-016.shuffled-as.sat05-1291 minisat_2_2_mac 0.009412 wl_loopone_minisat_70de_mac 0.232884 twolitonly_minisat_ade3_mac 0.398122
gt-016.shuffled-as.sat05-1303 minisat_2_2_mac 0.619007 wl_loopone_minisat_70de_mac 0.281961 twolitonly_minisat_ade3_mac 0.133939
gt-018.shuffled-as.sat05-1292 minisat_2_2_mac 2.92841 wl_loopone_minisat_70de_mac 0.519314 twolitonly_minisat_ade3_mac 8.77914
gt-018.shuffled-as.sat05-1304 minisat_2_2_mac 0.696544 wl_loopone_minisat_70de_mac 2.08785 twolitonly_minisat_ade3_mac 1.43721
gt-020.shuffled-as.sat05-1293 minisat_2_2_mac 9.15834 wl_loopone_minisat_70de_mac 12.2129 twolitonly_minisat_ade3_mac 3.05236
gt-020.shuffled-as.sat05-1305 minisat_2_2_mac 2.12507 wl_loopone_minisat_70de_mac 5.99218 twolitonly_minisat_ade3_mac 19.3028
gt-025.shuffled-as.sat05-1294 minisat_2_2_mac 1180.39 wl_loopone_minisat_70de_mac 283.52 twolitonly_minisat_ade3_mac 559.99
gt-025.shuffled-as.sat05-1306 minisat_2_2_mac 290.178 wl_loopone_minisat_70de_mac 576.263 twolitonly_minisat_ade3_mac 1179.96
iso-brn001.shuffled-as.sat05-2741 minisat_2_2_mac 0.161352 wl_loopone_minisat_70de_mac 0.144036 twolitonly_minisat_ade3_mac 0.420504
iso-brn002.shuffled-as.sat05-2696 minisat_2_2_mac 0.255464 wl_loopone_minisat_70de_mac 0.135505 twolitonly_minisat_ade3_mac 0.249797
iso-brn003.shuffled-as.sat05-2697 minisat_2_2_mac 0.121177 wl_loopone_minisat_70de_mac 0.111195 twolitonly_minisat_ade3_mac 0.277022
iso-brn003.shuffled-as.sat05-3503 minisat_2_2_mac 0.013259 wl_loopone_minisat_70de_mac 0.013811 twolitonly_minisat_ade3_mac 0.014571
iso-brn004.shuffled-as.sat05-2698 minisat_2_2_mac 0.112136 wl_loopone_minisat_70de_mac 0.177667 twolitonly_minisat_ade3_mac 0.212341
iso-brn004.shuffled-as.sat05-3504 minisat_2_2_mac 0.018576 wl_loopone_minisat_70de_mac 0.018408 twolitonly_minisat_ade3_mac 0.017782
iso-brn005.shuffled-as.sat05-2699 minisat_2_2_mac 0.709399 wl_loopone_minisat_70de_mac 0.334338 twolitonly_minisat_ade3_mac 0.419831
iso-brn005.shuffled-as.sat05-3505 minisat_2_2_mac 0.106468 wl_loopone_minisat_70de_mac 0.022743 twolitonly_minisat_ade3_mac 0.020935
iso-brn006.shuffled-as.sat05-2700 minisat_2_2_mac 0.480157 wl_loopone_minisat_70de_mac 0.294608 twolitonly_minisat_ade3_mac 0.487945
iso-brn006.shuffled-as.sat05-3506 minisat_2_2_mac 0.041878 wl_loopone_minisat_70de_mac 0.020801 twolitonly_minisat_ade3_mac 0.026523
iso-brn007.shuffled-as.sat05-2701 minisat_2_2_mac 0.337383 wl_loopone_minisat_70de_mac 0.353947 twolitonly_minisat_ade3_mac 0.21429
iso-brn007.shuffled-as.sat05-3507 minisat_2_2_mac 0.374288 wl_loopone_minisat_70de_mac 0.308849 twolitonly_minisat_ade3_mac 0.022556
iso-brn008.shuffled-as.sat05-2702 minisat_2_2_mac 1.0192 wl_loopone_minisat_70de_mac 0.636574 twolitonly_minisat_ade3_mac 0.346874
iso-brn008.shuffled-as.sat05-3508 minisat_2_2_mac 0.019828 wl_loopone_minisat_70de_mac 0.020984 twolitonly_minisat_ade3_mac 0.018095
iso-brn009.shuffled-as.sat05-2703 minisat_2_2_mac 0.227276 wl_loopone_minisat_70de_mac 0.319511 twolitonly_minisat_ade3_mac 0.178724
iso-brn009.shuffled-as.sat05-3509 minisat_2_2_mac 0.025206 wl_loopone_minisat_70de_mac 0.047925 twolitonly_minisat_ade3_mac 0.034107
iso-brn100.shuffled-as.sat05-3025 minisat_2_2_mac 0.008617 wl_loopone_minisat_70de_mac 0.010343 twolitonly_minisat_ade3_mac 0.011213
iso-icl001.shuffled-as.sat05-2712 minisat_2_2_mac 0.307648 wl_loopone_minisat_70de_mac 0.27112 twolitonly_minisat_ade3_mac 0.26894
iso-icl002.shuffled-as.sat05-2727 minisat_2_2_mac 0.090421 wl_loopone_minisat_70de_mac 0.125059 twolitonly_minisat_ade3_mac 0.101367
iso-icl003.shuffled-as.sat05-2728 minisat_2_2_mac 0.44565 wl_loopone_minisat_70de_mac 0.877575 twolitonly_minisat_ade3_mac 0.63651
iso-icl004.shuffled-as.sat05-2729 minisat_2_2_mac 0.998296 wl_loopone_minisat_70de_mac 0.788367 twolitonly_minisat_ade3_mac 0.894834
iso-icl005.shuffled-as.sat05-2730 minisat_2_2_mac 1.11044 wl_loopone_minisat_70de_mac 0.71407 twolitonly_minisat_ade3_mac 0.591309
iso-icl005.shuffled-as.sat05-3239 minisat_2_2_mac 0.007469 wl_loopone_minisat_70de_mac 0.010179 twolitonly_minisat_ade3_mac 0.009404
iso-icl006.shuffled-as.sat05-2731 minisat_2_2_mac 0.918877 wl_loopone_minisat_70de_mac 0.810984 twolitonly_minisat_ade3_mac 1.26327
iso-icl006.shuffled-as.sat05-3240 minisat_2_2_mac 0.010657 wl_loopone_minisat_70de_mac 0.011527 twolitonly_minisat_ade3_mac 0.011777
iso-icl007.shuffled-as.sat05-2732 minisat_2_2_mac 0.617164 wl_loopone_minisat_70de_mac 0.592011 twolitonly_minisat_ade3_mac 0.560268
iso-icl007.shuffled-as.sat05-3241 minisat_2_2_mac 0.009782 wl_loopone_minisat_70de_mac 0.011385 twolitonly_minisat_ade3_mac 0.010434
iso-icl008.shuffled-as.sat05-2733 minisat_2_2_mac 0.526482 wl_loopone_minisat_70de_mac 0.421687 twolitonly_minisat_ade3_mac 0.498401
iso-icl009.shuffled-as.sat05-2734 minisat_2_2_mac 1.07961 wl_loopone_minisat_70de_mac 1.08731 twolitonly_minisat_ade3_mac 0.92345
iso-icl009.shuffled-as.sat05-3243 minisat_2_2_mac 0.010303 wl_loopone_minisat_70de_mac 0.009292 twolitonly_minisat_ade3_mac 0.011288
iso-icl100.shuffled-as.sat05-3334 minisat_2_2_mac 0.017609 wl_loopone_minisat_70de_mac 0.017944 twolitonly_minisat_ade3_mac 0.021876
iso-ukn001.shuffled-as.sat05-2740 minisat_2_2_mac 0.326537 wl_loopone_minisat_70de_mac 0.408271 twolitonly_minisat_ade3_mac 0.466932
iso-ukn001.shuffled-as.sat05-3343 minisat_2_2_mac 0.011972 wl_loopone_minisat_70de_mac 0.01459 twolitonly_minisat_ade3_mac 0.014124
iso-ukn001.shuffled-as.sat05-3581 minisat_2_2_mac 0.01473 wl_loopone_minisat_70de_mac 0.014835 twolitonly_minisat_ade3_mac 0.015286
iso-ukn002.shuffled-as.sat05-2676 minisat_2_2_mac 0.297799 wl_loopone_minisat_70de_mac 0.675827 twolitonly_minisat_ade3_mac 0.539664
iso-ukn002.shuffled-as.sat05-3625 minisat_2_2_mac 0.018115 wl_loopone_minisat_70de_mac 0.018974 twolitonly_minisat_ade3_mac 0.019626
iso-ukn003.shuffled-as.sat05-2677 minisat_2_2_mac 0.494163 wl_loopone_minisat_70de_mac 0.884116 twolitonly_minisat_ade3_mac 0.579403
iso-ukn003.shuffled-as.sat05-3384 minisat_2_2_mac 0.012129 wl_loopone_minisat_70de_mac 0.022513 twolitonly_minisat_ade3_mac 0.047493
iso-ukn003.shuffled-as.sat05-3626 minisat_2_2_mac 0.014495 wl_loopone_minisat_70de_mac 0.014347 twolitonly_minisat_ade3_mac 0.015018
iso-ukn004.shuffled-as.sat05-2739 minisat_2_2_mac 0.833201 wl_loopone_minisat_70de_mac 0.889943 twolitonly_minisat_ade3_mac 0.855876
iso-ukn004.shuffled-as.sat05-3385 minisat_2_2_mac 0.016396 wl_loopone_minisat_70de_mac 0.011383 twolitonly_minisat_ade3_mac 0.015587
iso-ukn004.shuffled-as.sat05-3627 minisat_2_2_mac 0.007927 wl_loopone_minisat_70de_mac 0.010816 twolitonly_minisat_ade3_mac 0.007285
iso-ukn005.shuffled-as.sat05-3386 minisat_2_2_mac 0.023251 wl_loopone_minisat_70de_mac 0.026033 twolitonly_minisat_ade3_mac 0.027983
iso-ukn006.shuffled-as.sat05-3387 minisat_2_2_mac 0.00875 wl_loopone_minisat_70de_mac 0.010286 twolitonly_minisat_ade3_mac 0.00977
iso-ukn007.shuffled-as.sat05-3388 minisat_2_2_mac 0.025741 wl_loopone_minisat_70de_mac 0.026091 twolitonly_minisat_ade3_mac 0.031343
iso-ukn008.shuffled-as.sat05-3389 minisat_2_2_mac 0.045031 wl_loopone_minisat_70de_mac 0.041929 twolitonly_minisat_ade3_mac 0.036153
iso-ukn009.shuffled-as.sat05-3390 minisat_2_2_mac 0.020944 wl_loopone_minisat_70de_mac 0.024354 twolitonly_minisat_ade3_mac 0.028578
iso-ukn009.shuffled-as.sat05-3632 minisat_2_2_mac 0.012165 wl_loopone_minisat_70de_mac 0.01273 twolitonly_minisat_ade3_mac 0.012761
linvrinv4.shuffled-as.sat05-563 minisat_2_2_mac 1.63825 wl_loopone_minisat_70de_mac 2.24082 twolitonly_minisat_ade3_mac 4.78723
logistics-rotate-06t5.shuffled-as.sat05-1136 minisat_2_2_mac 0.059818 wl_loopone_minisat_70de_mac 0.071453 twolitonly_minisat_ade3_mac 0.06474
logistics-rotate-06t6.shuffled-as.sat05-1130 minisat_2_2_mac 0.058029 wl_loopone_minisat_70de_mac 0.067197 twolitonly_minisat_ade3_mac 0.048788
logistics-rotate-07t5.shuffled-as.sat05-1137 minisat_2_2_mac 0.91222 wl_loopone_minisat_70de_mac 0.51139 twolitonly_minisat_ade3_mac 0.692068
logistics-rotate-07t6.shuffled-as.sat05-1131 minisat_2_2_mac 0.224165 wl_loopone_minisat_70de_mac 0.192226 twolitonly_minisat_ade3_mac 0.24067
logistics-rotate-08t5.shuffled-as.sat05-1138 minisat_2_2_mac 0.293553 wl_loopone_minisat_70de_mac 0.648229 twolitonly_minisat_ade3_mac 1.33355
logistics-rotate-08t6.shuffled-as.sat05-1132 minisat_2_2_mac 0.666579 wl_loopone_minisat_70de_mac 0.563879 twolitonly_minisat_ade3_mac 0.639327
logistics-rotate-09t5.shuffled-as.sat05-1139 minisat_2_2_mac 20.8276 wl_loopone_minisat_70de_mac 20.1279 twolitonly_minisat_ade3_mac 13.9524
logistics-rotate-09t6.shuffled-as.sat05-1133 minisat_2_2_mac 0.781281 wl_loopone_minisat_70de_mac 1.59383 twolitonly_minisat_ade3_mac 1.21771
logistics-rotate-10t6.shuffled-as.sat05-1134 minisat_2_2_mac 2.73777 wl_loopone_minisat_70de_mac 2.49151 twolitonly_minisat_ade3_mac 5.29459
logistics-rotate-11t6.shuffled-as.sat05-1135 minisat_2_2_mac 5.49554 wl_loopone_minisat_70de_mac 7.13273 twolitonly_minisat_ade3_mac 7.23039
Mat26.shuffled-as.sat05-457 minisat_2_2_mac 1012.99 wl_loopone_minisat_70de_mac 1188.73 twolitonly_minisat_ade3_mac 1192.49
mod2-3cage-unsat-9-1.shuffled-as.sat05-2576 minisat_2_2_mac 148.748 wl_loopone_minisat_70de_mac 155.674 twolitonly_minisat_ade3_mac 156.486
mod2-3cage-unsat-9-10.shuffled-as.sat05-2585 minisat_2_2_mac 156.772 wl_loopone_minisat_70de_mac 140.154 twolitonly_minisat_ade3_mac 228.964
mod2-3cage-unsat-9-11.shuffled-as.sat05-2586 minisat_2_2_mac 130.253 wl_loopone_minisat_70de_mac 210.467 twolitonly_minisat_ade3_mac 195.998
mod2-3cage-unsat-9-12.shuffled-as.sat05-2587 minisat_2_2_mac 130.799 wl_loopone_minisat_70de_mac 142.387 twolitonly_minisat_ade3_mac 160.881
mod2-3cage-unsat-9-13.shuffled-as.sat05-2588 minisat_2_2_mac 114.016 wl_loopone_minisat_70de_mac 147.606 twolitonly_minisat_ade3_mac 145.62
mod2-3cage-unsat-9-14.shuffled-as.sat05-2589 minisat_2_2_mac 148.976 wl_loopone_minisat_70de_mac 311.143 twolitonly_minisat_ade3_mac 146.679
mod2-3cage-unsat-9-15.shuffled-as.sat05-2590 minisat_2_2_mac 128.8 wl_loopone_minisat_70de_mac 165.956 twolitonly_minisat_ade3_mac 312.747
mod2-3cage-unsat-9-16.shuffled-as.sat05-2591 minisat_2_2_mac 166.657 wl_loopone_minisat_70de_mac 251.71 twolitonly_minisat_ade3_mac 235.592
mod2-3cage-unsat-9-17.shuffled-as.sat05-2592 minisat_2_2_mac 151.991 wl_loopone_minisat_70de_mac 165.768 twolitonly_minisat_ade3_mac 186.979
mod2-3cage-unsat-9-18.shuffled-as.sat05-2593 minisat_2_2_mac 121.067 wl_loopone_minisat_70de_mac 246.352 twolitonly_minisat_ade3_mac 212.181
mod2-3cage-unsat-9-2.shuffled-as.sat05-2577 minisat_2_2_mac 134.025 wl_loopone_minisat_70de_mac 133.424 twolitonly_minisat_ade3_mac 156.364
mod2-3cage-unsat-9-3.shuffled-as.sat05-2578 minisat_2_2_mac 135.661 wl_loopone_minisat_70de_mac 141.549 twolitonly_minisat_ade3_mac 154.467
mod2-3cage-unsat-9-4.shuffled-as.sat05-2579 minisat_2_2_mac 142.338 wl_loopone_minisat_70de_mac 165.288 twolitonly_minisat_ade3_mac 231.019
mod2-3cage-unsat-9-5.shuffled-as.sat05-2580 minisat_2_2_mac 140.534 wl_loopone_minisat_70de_mac 131.958 twolitonly_minisat_ade3_mac 155.268
mod2-3cage-unsat-9-6.shuffled-as.sat05-2581 minisat_2_2_mac 129.268 wl_loopone_minisat_70de_mac 133.037 twolitonly_minisat_ade3_mac 154.358
mod2-3cage-unsat-9-7.shuffled-as.sat05-2582 minisat_2_2_mac 111.318 wl_loopone_minisat_70de_mac 125.212 twolitonly_minisat_ade3_mac 143.71
mod2-3cage-unsat-9-8.shuffled-as.sat05-2583 minisat_2_2_mac 187.735 wl_loopone_minisat_70de_mac 154.015 twolitonly_minisat_ade3_mac 160.077
mod2-3cage-unsat-9-9.shuffled-as.sat05-2584 minisat_2_2_mac 147.428 wl_loopone_minisat_70de_mac 125.117 twolitonly_minisat_ade3_mac 196.349
mod2-3g14-sat.shuffled-as.sat05-2141 minisat_2_2_mac 1185.54 wl_loopone_minisat_70de_mac 490.945 twolitonly_minisat_ade3_mac 291.786
mod2-rand3bip-sat-200-1.shuffled-as.sat05-2143 minisat_2_2_mac 20.3461 wl_loopone_minisat_70de_mac 16.6281 twolitonly_minisat_ade3_mac 2.17101
mod2-rand3bip-sat-200-2.shuffled-as.sat05-2144 minisat_2_2_mac 4.34349 wl_loopone_minisat_70de_mac 15.1896 twolitonly_minisat_ade3_mac 25.0722
mod2-rand3bip-sat-200-3.shuffled-as.sat05-2145 minisat_2_2_mac 4.99118 wl_loopone_minisat_70de_mac 22.4567 twolitonly_minisat_ade3_mac 31.1455
mod2-rand3bip-sat-210-1.shuffled-as.sat05-2158 minisat_2_2_mac 68.6541 wl_loopone_minisat_70de_mac 45.4047 twolitonly_minisat_ade3_mac 86.9761
mod2-rand3bip-sat-210-2.shuffled-as.sat05-2159 minisat_2_2_mac 36.935 wl_loopone_minisat_70de_mac 23.9957 twolitonly_minisat_ade3_mac 36.2
mod2-rand3bip-sat-210-3.shuffled-as.sat05-2160 minisat_2_2_mac 206.339 wl_loopone_minisat_70de_mac 186.463 twolitonly_minisat_ade3_mac 78.9268
mod2-rand3bip-sat-220-1.shuffled-as.sat05-2173 minisat_2_2_mac 63.4097 wl_loopone_minisat_70de_mac 31.284 twolitonly_minisat_ade3_mac 106.114
mod2-rand3bip-sat-220-2.shuffled-as.sat05-2174 minisat_2_2_mac 47.9533 wl_loopone_minisat_70de_mac 35.0233 twolitonly_minisat_ade3_mac 99.897
mod2-rand3bip-sat-220-3.shuffled-as.sat05-2175 minisat_2_2_mac 14.0262 wl_loopone_minisat_70de_mac 98.7862 twolitonly_minisat_ade3_mac 29.5324
mod2-rand3bip-sat-230-1.shuffled-as.sat05-2188 minisat_2_2_mac 321.624 wl_loopone_minisat_70de_mac 209.647 twolitonly_minisat_ade3_mac 340.196
mod2-rand3bip-sat-230-2.shuffled-as.sat05-2189 minisat_2_2_mac 628.045 wl_loopone_minisat_70de_mac 8.28866 twolitonly_minisat_ade3_mac 43.9974
mod2-rand3bip-sat-230-3.shuffled-as.sat05-2190 minisat_2_2_mac 194.168 wl_loopone_minisat_70de_mac 15.0447 twolitonly_minisat_ade3_mac 133.475
mod2-rand3bip-sat-240-1.shuffled-as.sat05-2203 minisat_2_2_mac 190.56 wl_loopone_minisat_70de_mac 265.665 twolitonly_minisat_ade3_mac 1192.68
mod2-rand3bip-sat-240-2.shuffled-as.sat05-2204 minisat_2_2_mac 505.177 wl_loopone_minisat_70de_mac 59.6693 twolitonly_minisat_ade3_mac 323.451
mod2-rand3bip-sat-240-3.shuffled-as.sat05-2205 minisat_2_2_mac 62.9298 wl_loopone_minisat_70de_mac 64.5087 twolitonly_minisat_ade3_mac 90.5145
mod2-rand3bip-sat-250-1.shuffled-as.sat05-2218 minisat_2_2_mac 231.018 wl_loopone_minisat_70de_mac 104.346 twolitonly_minisat_ade3_mac 560.603
mod2-rand3bip-sat-250-3.shuffled-as.sat05-2220 minisat_2_2_mac 198.98 wl_loopone_minisat_70de_mac 660.468 twolitonly_minisat_ade3_mac 456.577
mod2-rand3bip-sat-260-2.shuffled-as.sat05-2234 minisat_2_2_mac 222.754 wl_loopone_minisat_70de_mac 1192.11 twolitonly_minisat_ade3_mac 910.757
mod2-rand3bip-sat-260-3.shuffled-as.sat05-2235 minisat_2_2_mac 1192.99 wl_loopone_minisat_70de_mac 567.735 twolitonly_minisat_ade3_mac 1194.62
mod2-rand3bip-sat-280-1.shuffled-as.sat05-2263 minisat_2_2_mac 1193.26 wl_loopone_minisat_70de_mac 172.43 twolitonly_minisat_ade3_mac 1192.41
mod2-rand3bip-sat-280-3.shuffled-as.sat05-2265 minisat_2_2_mac 816.22 wl_loopone_minisat_70de_mac 1193.43 twolitonly_minisat_ade3_mac 1192.09
mod2-rand3bip-sat-290-3.shuffled-as.sat05-2280 minisat_2_2_mac 1192.71 wl_loopone_minisat_70de_mac 1189.8 twolitonly_minisat_ade3_mac 570.27
mod2-rand3bip-unsat-105-1.shuffled-as.sat05-2609 minisat_2_2_mac 9.71324 wl_loopone_minisat_70de_mac 7.9417 twolitonly_minisat_ade3_mac 9.89092
mod2-rand3bip-unsat-105-2.shuffled-as.sat05-2610 minisat_2_2_mac 21.9602 wl_loopone_minisat_70de_mac 22.6784 twolitonly_minisat_ade3_mac 21.8293
mod2-rand3bip-unsat-105-3.shuffled-as.sat05-2611 minisat_2_2_mac 37.8319 wl_loopone_minisat_70de_mac 46.1201 twolitonly_minisat_ade3_mac 47.8303
mod2-rand3bip-unsat-120-1.shuffled-as.sat05-2624 minisat_2_2_mac 282.647 wl_loopone_minisat_70de_mac 189.433 twolitonly_minisat_ade3_mac 337.154
mod2-rand3bip-unsat-120-2.shuffled-as.sat05-2625 minisat_2_2_mac 25.6653 wl_loopone_minisat_70de_mac 63.9328 twolitonly_minisat_ade3_mac 58.3856
mod2-rand3bip-unsat-120-3.shuffled-as.sat05-2626 minisat_2_2_mac 123.442 wl_loopone_minisat_70de_mac 601.005 twolitonly_minisat_ade3_mac 164.539
mod2-rand3bip-unsat-135-2.shuffled-as.sat05-2640 minisat_2_2_mac 1193.08 wl_loopone_minisat_70de_mac 1188.57 twolitonly_minisat_ade3_mac 809.157
mod2-rand3bip-unsat-135-3.shuffled-as.sat05-2641 minisat_2_2_mac 443.835 wl_loopone_minisat_70de_mac 1197.67 twolitonly_minisat_ade3_mac 356.996
mod2-rand3bip-unsat-150-1.shuffled-as.sat05-2654 minisat_2_2_mac 274.688 wl_loopone_minisat_70de_mac 226.817 twolitonly_minisat_ade3_mac 345.296
mod2-rand3bip-unsat-150-2.shuffled-as.sat05-2655 minisat_2_2_mac 422.292 wl_loopone_minisat_70de_mac 623.925 twolitonly_minisat_ade3_mac 233.144
mod2-rand3bip-unsat-90-1.shuffled-as.sat05-2594 minisat_2_2_mac 1.85585 wl_loopone_minisat_70de_mac 1.41196 twolitonly_minisat_ade3_mac 2.29064
mod2-rand3bip-unsat-90-2.shuffled-as.sat05-2595 minisat_2_2_mac 1.81509 wl_loopone_minisat_70de_mac 1.45057 twolitonly_minisat_ade3_mac 2.35193
mod2-rand3bip-unsat-90-3.shuffled-as.sat05-2596 minisat_2_2_mac 2.50648 wl_loopone_minisat_70de_mac 2.46485 twolitonly_minisat_ade3_mac 5.15115
mod2c-3cage-unsat-9-1.shuffled-as.sat05-2548 minisat_2_2_mac 396.141 wl_loopone_minisat_70de_mac 338.334 twolitonly_minisat_ade3_mac 386.545
mod2c-3cage-unsat-9-2.shuffled-as.sat05-2549 minisat_2_2_mac 307.333 wl_loopone_minisat_70de_mac 318.032 twolitonly_minisat_ade3_mac 391.403
mod2c-3cage-unsat-9-3.shuffled-as.sat05-2550 minisat_2_2_mac 304.013 wl_loopone_minisat_70de_mac 554.284 twolitonly_minisat_ade3_mac 371.282
mod2c-rand3bip-sat-150-1.shuffled-as.sat05-2383 minisat_2_2_mac 7.87566 wl_loopone_minisat_70de_mac 7.07534 twolitonly_minisat_ade3_mac 2.39715
mod2c-rand3bip-sat-150-2.shuffled-as.sat05-2384 minisat_2_2_mac 1.68674 wl_loopone_minisat_70de_mac 2.04899 twolitonly_minisat_ade3_mac 7.89135
mod2c-rand3bip-sat-150-3.shuffled-as.sat05-2385 minisat_2_2_mac 12.7406 wl_loopone_minisat_70de_mac 5.75138 twolitonly_minisat_ade3_mac 19.2311
mod2c-rand3bip-sat-160-1.shuffled-as.sat05-2398 minisat_2_2_mac 6.57676 wl_loopone_minisat_70de_mac 53.9477 twolitonly_minisat_ade3_mac 69.3139
mod2c-rand3bip-sat-160-2.shuffled-as.sat05-2399 minisat_2_2_mac 65.0498 wl_loopone_minisat_70de_mac 23.3047 twolitonly_minisat_ade3_mac 63.3735
mod2c-rand3bip-sat-160-3.shuffled-as.sat05-2400 minisat_2_2_mac 196.517 wl_loopone_minisat_70de_mac 30.6368 twolitonly_minisat_ade3_mac 82.2584
mod2c-rand3bip-sat-170-1.shuffled-as.sat05-2413 minisat_2_2_mac 347.115 wl_loopone_minisat_70de_mac 308.995 twolitonly_minisat_ade3_mac 53.1706
mod2c-rand3bip-sat-170-2.shuffled-as.sat05-2414 minisat_2_2_mac 115.787 wl_loopone_minisat_70de_mac 54.7562 twolitonly_minisat_ade3_mac 419.847
mod2c-rand3bip-sat-170-3.shuffled-as.sat05-2415 minisat_2_2_mac 62.9623 wl_loopone_minisat_70de_mac 466.582 twolitonly_minisat_ade3_mac 663.02
mod2c-rand3bip-sat-180-1.shuffled-as.sat05-2428 minisat_2_2_mac 849.986 wl_loopone_minisat_70de_mac 441.734 twolitonly_minisat_ade3_mac 645.585
mod2c-rand3bip-sat-180-2.shuffled-as.sat05-2429 minisat_2_2_mac 163.816 wl_loopone_minisat_70de_mac 20.171 twolitonly_minisat_ade3_mac 759.438
mod2c-rand3bip-sat-180-3.shuffled-as.sat05-2430 minisat_2_2_mac 94.4478 wl_loopone_minisat_70de_mac 94.9496 twolitonly_minisat_ade3_mac 79.7582
mod2c-rand3bip-sat-190-1.shuffled-as.sat05-2443 minisat_2_2_mac 119.306 wl_loopone_minisat_70de_mac 44.931 twolitonly_minisat_ade3_mac 553.158
mod2c-rand3bip-sat-190-2.shuffled-as.sat05-2444 minisat_2_2_mac 1126.99 wl_loopone_minisat_70de_mac 133.252 twolitonly_minisat_ade3_mac 1101.13
mod2c-rand3bip-sat-190-3.shuffled-as.sat05-2445 minisat_2_2_mac 171.313 wl_loopone_minisat_70de_mac 167.155 twolitonly_minisat_ade3_mac 178.949
mod2c-rand3bip-sat-200-1.shuffled-as.sat05-2458 minisat_2_2_mac 1194.04 wl_loopone_minisat_70de_mac 78.0943 twolitonly_minisat_ade3_mac 699.028
mod2c-rand3bip-sat-200-2.shuffled-as.sat05-2459 minisat_2_2_mac 961.56 wl_loopone_minisat_70de_mac 772.296 twolitonly_minisat_ade3_mac 1192.56
mod2c-rand3bip-sat-200-3.shuffled-as.sat05-2460 minisat_2_2_mac 418.158 wl_loopone_minisat_70de_mac 1192.04 twolitonly_minisat_ade3_mac 492.937
mod2c-rand3bip-sat-210-1.shuffled-as.sat05-2473 minisat_2_2_mac 455.118 wl_loopone_minisat_70de_mac 110.796 twolitonly_minisat_ade3_mac 113.414
mod2c-rand3bip-sat-210-2.shuffled-as.sat05-2474 minisat_2_2_mac 791.302 wl_loopone_minisat_70de_mac 496.583 twolitonly_minisat_ade3_mac 1191.25
mod2c-rand3bip-sat-210-3.shuffled-as.sat05-2475 minisat_2_2_mac 1190.01 wl_loopone_minisat_70de_mac 621.553 twolitonly_minisat_ade3_mac 1188.92
mod2c-rand3bip-sat-220-1.shuffled-as.sat05-2488 minisat_2_2_mac 1190.8 wl_loopone_minisat_70de_mac 1192.22 twolitonly_minisat_ade3_mac 476.658
mod2c-rand3bip-sat-220-2.shuffled-as.sat05-2489 minisat_2_2_mac 1002.32 wl_loopone_minisat_70de_mac 1190.5 twolitonly_minisat_ade3_mac 1191.84
mod2c-rand3bip-sat-220-3.shuffled-as.sat05-2490 minisat_2_2_mac 1190.99 wl_loopone_minisat_70de_mac 864.047 twolitonly_minisat_ade3_mac 1190.69
mod2c-rand3bip-unsat-105-1.shuffled-as.sat05-2323 minisat_2_2_mac 58.4194 wl_loopone_minisat_70de_mac 67.8663 twolitonly_minisat_ade3_mac 69.9803
mod2c-rand3bip-unsat-105-2.shuffled-as.sat05-2324 minisat_2_2_mac 62.2966 wl_loopone_minisat_70de_mac 66.0033 twolitonly_minisat_ade3_mac 75.2076
mod2c-rand3bip-unsat-105-3.shuffled-as.sat05-2325 minisat_2_2_mac 133.443 wl_loopone_minisat_70de_mac 136.509 twolitonly_minisat_ade3_mac 163.24
mod2c-rand3bip-unsat-120-1.shuffled-as.sat05-2338 minisat_2_2_mac 152.242 wl_loopone_minisat_70de_mac 154.354 twolitonly_minisat_ade3_mac 175.272
mod2c-rand3bip-unsat-120-2.shuffled-as.sat05-2339 minisat_2_2_mac 1113.29 wl_loopone_minisat_70de_mac 1183.68 twolitonly_minisat_ade3_mac 1186.11
mod2c-rand3bip-unsat-120-3.shuffled-as.sat05-2340 minisat_2_2_mac 346.17 wl_loopone_minisat_70de_mac 525.903 twolitonly_minisat_ade3_mac 416.497
mod2c-rand3bip-unsat-135-1.shuffled-as.sat05-2353 minisat_2_2_mac 321.537 wl_loopone_minisat_70de_mac 343.543 twolitonly_minisat_ade3_mac 389.013
mod2c-rand3bip-unsat-90-1.shuffled-as.sat05-2308 minisat_2_2_mac 3.14595 wl_loopone_minisat_70de_mac 3.83847 twolitonly_minisat_ade3_mac 5.53337
mod2c-rand3bip-unsat-90-2.shuffled-as.sat05-2309 minisat_2_2_mac 5.76727 wl_loopone_minisat_70de_mac 5.68028 twolitonly_minisat_ade3_mac 6.63667
mod2c-rand3bip-unsat-90-3.shuffled-as.sat05-2310 minisat_2_2_mac 60.5614 wl_loopone_minisat_70de_mac 51.9259 twolitonly_minisat_ade3_mac 33.3161
pbl-00060.shuffled-as.sat05-1313.shuffled-as.sat05-1313 minisat_2_2_mac 0.010315 wl_loopone_minisat_70de_mac 0.008347 twolitonly_minisat_ade3_mac 0.01056
pbl-00060.shuffled-as.sat05-1323.shuffled-as.sat05-1323 minisat_2_2_mac 0.08228 wl_loopone_minisat_70de_mac 0.219614 twolitonly_minisat_ade3_mac 0.130133
pbl-00070.shuffled-as.sat05-1314.shuffled-as.sat05-1314 minisat_2_2_mac 0.011198 wl_loopone_minisat_70de_mac 0.029924 twolitonly_minisat_ade3_mac 0.015467
pbl-00070.shuffled-as.sat05-1324.shuffled-as.sat05-1324 minisat_2_2_mac 0.103416 wl_loopone_minisat_70de_mac 0.069906 twolitonly_minisat_ade3_mac 0.233535
pbl-00080.shuffled-as.sat05-1315.shuffled-as.sat05-1315 minisat_2_2_mac 0.054858 wl_loopone_minisat_70de_mac 0.074745 twolitonly_minisat_ade3_mac 0.028123
pbl-00080.shuffled-as.sat05-1325.shuffled-as.sat05-1325 minisat_2_2_mac 0.251299 wl_loopone_minisat_70de_mac 0.224811 twolitonly_minisat_ade3_mac 1.03886
pbl-00090.shuffled-as.sat05-1316.shuffled-as.sat05-1316 minisat_2_2_mac 0.087157 wl_loopone_minisat_70de_mac 0.038219 twolitonly_minisat_ade3_mac 0.041393
pbl-00090.shuffled-as.sat05-1326.shuffled-as.sat05-1326 minisat_2_2_mac 0.212541 wl_loopone_minisat_70de_mac 0.119396 twolitonly_minisat_ade3_mac 0.253676
pbl-00100.shuffled-as.sat05-1317.shuffled-as.sat05-1317 minisat_2_2_mac 0.008777 wl_loopone_minisat_70de_mac 0.011492 twolitonly_minisat_ade3_mac 0.012036
pbl-00100.shuffled-as.sat05-1327.shuffled-as.sat05-1327 minisat_2_2_mac 0.108024 wl_loopone_minisat_70de_mac 0.136623 twolitonly_minisat_ade3_mac 0.143427
pbl-00150.shuffled-as.sat05-1318.shuffled-as.sat05-1318 minisat_2_2_mac 0.114366 wl_loopone_minisat_70de_mac 0.242581 twolitonly_minisat_ade3_mac 0.19268
pbl-00150.shuffled-as.sat05-1328.shuffled-as.sat05-1328 minisat_2_2_mac 0.330402 wl_loopone_minisat_70de_mac 0.493857 twolitonly_minisat_ade3_mac 0.893291
pbl-00200.shuffled-as.sat05-1319.shuffled-as.sat05-1319 minisat_2_2_mac 0.152626 wl_loopone_minisat_70de_mac 0.22289 twolitonly_minisat_ade3_mac 0.235177
pbl-00200.shuffled-as.sat05-1329.shuffled-as.sat05-1329 minisat_2_2_mac 0.398724 wl_loopone_minisat_70de_mac 0.798023 twolitonly_minisat_ade3_mac 0.412767
pbl-00250.shuffled-as.sat05-1320.shuffled-as.sat05-1320 minisat_2_2_mac 0.198717 wl_loopone_minisat_70de_mac 0.252903 twolitonly_minisat_ade3_mac 0.250595
pbl-00250.shuffled-as.sat05-1330.shuffled-as.sat05-1330 minisat_2_2_mac 2.13232 wl_loopone_minisat_70de_mac 0.913203 twolitonly_minisat_ade3_mac 1.71882
pbl-00300.shuffled-as.sat05-1321.shuffled-as.sat05-1321 minisat_2_2_mac 0.371227 wl_loopone_minisat_70de_mac 0.28323 twolitonly_minisat_ade3_mac 0.579488
pbl-00300.shuffled-as.sat05-1331.shuffled-as.sat05-1331 minisat_2_2_mac 0.378023 wl_loopone_minisat_70de_mac 0.602516 twolitonly_minisat_ade3_mac 0.349663
pbl-00400.shuffled-as.sat05-1322.shuffled-as.sat05-1322 minisat_2_2_mac 0.829504 wl_loopone_minisat_70de_mac 0.852748 twolitonly_minisat_ade3_mac 0.793328
pbl-00400.shuffled-as.sat05-1332.shuffled-as.sat05-1332 minisat_2_2_mac 0.710444 wl_loopone_minisat_70de_mac 0.90345 twolitonly_minisat_ade3_mac 0.937601
phnf-size10-exclusive-gigamax.used-as.sat04-984.shuffled-as.sat05-4194 minisat_2_2_mac 150.019 wl_loopone_minisat_70de_mac 720.953 twolitonly_minisat_ade3_mac 677.162
phnf-size10-exclusive-luckySeven.used-as.sat04-990.shuffled-as.sat05-4196 minisat_2_2_mac 470.849 wl_loopone_minisat_70de_mac 432.299 twolitonly_minisat_ade3_mac 346.148
phnf-size10-exclusive-philo.used-as.sat04-988.shuffled-as.sat05-4195 minisat_2_2_mac 1197.57 wl_loopone_minisat_70de_mac 1197.33 twolitonly_minisat_ade3_mac 863.916
php-010-008.shuffled-as.sat05-1171 minisat_2_2_mac 0.341972 wl_loopone_minisat_70de_mac 0.354321 twolitonly_minisat_ade3_mac 0.430897
php-010-009.shuffled-as.sat05-1185 minisat_2_2_mac 5.65252 wl_loopone_minisat_70de_mac 2.5708 twolitonly_minisat_ade3_mac 5.94317
php-012-010.shuffled-as.sat05-1172 minisat_2_2_mac 589.592 wl_loopone_minisat_70de_mac 224.458 twolitonly_minisat_ade3_mac 551.5
php-035-035.shuffled-as.sat05-1165 minisat_2_2_mac 0.010755 wl_loopone_minisat_70de_mac 0.00969 twolitonly_minisat_ade3_mac 0.023027
php-040-040.shuffled-as.sat05-1166 minisat_2_2_mac 0.021313 wl_loopone_minisat_70de_mac 0.014151 twolitonly_minisat_ade3_mac 0.022402
php-045-045.shuffled-as.sat05-1167 minisat_2_2_mac 0.026698 wl_loopone_minisat_70de_mac 0.016109 twolitonly_minisat_ade3_mac 0.021907
php-050-050.shuffled-as.sat05-1168 minisat_2_2_mac 0.025992 wl_loopone_minisat_70de_mac 0.161994 twolitonly_minisat_ade3_mac 0.035281
php-060-060.shuffled-as.sat05-1169 minisat_2_2_mac 0.057604 wl_loopone_minisat_70de_mac 0.046829 twolitonly_minisat_ade3_mac 0.054469
php-070-070.shuffled-as.sat05-1170 minisat_2_2_mac 0.071242 wl_loopone_minisat_70de_mac 0.070828 twolitonly_minisat_ade3_mac 0.07448
pyhala-braun-unsat-40-4-01.shuffled-as.sat05-465 minisat_2_2_mac 1171.61 wl_loopone_minisat_70de_mac 1198.83 twolitonly_minisat_ade3_mac 1198.06
pyhala-braun-unsat-40-4-03.shuffled-as.sat05-460 minisat_2_2_mac 1197.78 wl_loopone_minisat_70de_mac 1198.17 twolitonly_minisat_ade3_mac 1171.26
SGI_30_50_30_20_1-dir.shuffled-as.sat05-439 minisat_2_2_mac 1107.66 wl_loopone_minisat_70de_mac 1021.05 twolitonly_minisat_ade3_mac 1196.5
strips-gripper-08t14.shuffled-as.sat05-1156 minisat_2_2_mac 1.41992 wl_loopone_minisat_70de_mac 2.39391 twolitonly_minisat_ade3_mac 2.70481
strips-gripper-08t15.shuffled-as.sat05-1149 minisat_2_2_mac 0.068057 wl_loopone_minisat_70de_mac 0.014188 twolitonly_minisat_ade3_mac 0.030288
strips-gripper-10t18.shuffled-as.sat05-1150 minisat_2_2_mac 48.8315 wl_loopone_minisat_70de_mac 23.9636 twolitonly_minisat_ade3_mac 11.3915
strips-gripper-10t19.shuffled-as.sat05-1143 minisat_2_2_mac 0.083729 wl_loopone_minisat_70de_mac 0.632968 twolitonly_minisat_ade3_mac 0.083336
strips-gripper-12t22.shuffled-as.sat05-1151 minisat_2_2_mac 323.396 wl_loopone_minisat_70de_mac 1197.59 twolitonly_minisat_ade3_mac 225.366
strips-gripper-12t23.shuffled-as.sat05-1144 minisat_2_2_mac 0.835812 wl_loopone_minisat_70de_mac 3.78286 twolitonly_minisat_ade3_mac 0.337463
strips-gripper-14t27.shuffled-as.sat05-1145 minisat_2_2_mac 2.27786 wl_loopone_minisat_70de_mac 5.35558 twolitonly_minisat_ade3_mac 8.3448
strips-gripper-16t31.shuffled-as.sat05-1146 minisat_2_2_mac 4.25194 wl_loopone_minisat_70de_mac 11.4047 twolitonly_minisat_ade3_mac 10.2564
strips-gripper-18t35.shuffled-as.sat05-1147 minisat_2_2_mac 421.594 wl_loopone_minisat_70de_mac 25.4662 twolitonly_minisat_ade3_mac 11.0507
strips-gripper-20t39.shuffled-as.sat05-1148 minisat_2_2_mac 340.418 wl_loopone_minisat_70de_mac 1196.71 twolitonly_minisat_ade3_mac 60.6311
