BenchmarkMaxHSCASHWMaxSATEvalMaxSATUWrMaxSATOpen-WBO-RES-MergeSATOpen-WBO-RES-GlucosePacoseExact
1bpi_.2knt_.g.wcnf.t.wcnf.gz310.218 (35)153.671 (35)57.8632 (35)126.932 (35)212.738 (35)624.374 (35)71.9939 (35)3600.0 (-)
1bpi_.5pti_.g.wcnf.t.wcnf.gz272.475 (29)99.4712 (29)21.6158 (29)102.642 (29)113.824 (29)115.871 (29)27.2873 (29)3600.0 (-)
1knt_.1bpi_.g.wcnf.t.wcnf.gz374.162 (35)93.5142 (35)88.6115 (35)114.538 (35)418.769 (35)349.288 (35)85.6181 (35)3600.0 (-)
1knt_.2knt_.g.wcnf.t.wcnf.gz22.4923 (16)18.8924 (16)1.55419 (16)19.432 (16)13.1291 (16)4.01281 (16)2.16927 (16)80.0204 (16)
1knt_.5pti_.g.wcnf.t.wcnf.gz266.475 (29)63.2128 (29)37.73 (29)78.7774 (29)213.799 (29)73.4128 (29)46.5142 (29)3600.0 (-)
1vii_.1cph_.g.wcnf.t.wcnf.gz0.406016 (7)3.04964 (7)0.0177241 (7)0.0947051 (7)0.0572959 (7)0.0424399 (7)0.0216831 (7)0.161735 (7)
20-100-frag12-13.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
20-100-frag12-85.wcnf.gz876.114 (42)829.256 (42)443.21 (42)673.675 (42)1410.34 (42)453.718 (42)508.907 (42)3600.0 (-)
20-100-frag12-91.wcnf.gz1046.54 (43)1395.58 (43)825.823 (43)2424.74 (43)1666.74 (43)1316.39 (43)764.67 (43)3600.0 (-)
20-100-frag12-97.wcnf.gz2252.71 (42)2108.77 (42)1097.79 (42)3600.0 (-)3489.82 (42)1928.14 (42)1450.4 (42)3600.0 (-)
20-100-lambda100-48.wcnf.gz3299.42 (74)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)548.084 (74)3600.0 (-)
20-100-lambda100-96.wcnf.gz565.607 (74)3600.0 (-)3600.0 (-)3600.0 (-)1182.49 (74)838.264 (74)362.432 (74)3600.0 (-)
20-100-p100-49.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
20-100-p100-54.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2456.6 (74)3600.0 (-)
20-500-43.wcnf.gz140.973 (171)11.7475 (171)14.918 (171)189.445 (171)59.5166 (171)15.7202 (171)13.158 (171)858.425 (171)
20-500-64.wcnf.gz97.9159 (167)6.35184 (167)11.1897 (167)7.3833 (167)11.5762 (167)3.44348 (167)7.73175 (167)98.1922 (167)
20-500-81.wcnf.gz57.8158 (176)9.04671 (176)12.6604 (176)17.029 (176)26.5185 (176)9.23543 (176)10.5711 (176)200.68 (176)
20-500-83.wcnf.gz89.2689 (176)4.29419 (176)7.3901 (176)4.76611 (176)8.66313 (176)3.12249 (176)4.20996 (176)54.443 (176)
2knt_.5pti_.g.wcnf.t.wcnf.gz152.998 (32)60.9359 (32)35.3814 (32)83.7182 (32)160.637 (32)133.451 (32)59.1227 (32)3600.0 (-)
3col100_5_10.shuffled.cnf.wcnf.gz0.150484 (94)41.8876 (94)0.080219 (94)0.0427281 (94)1.02056 (94)0.28723 (94)0.103333 (94)0.836879 (94)
3col100_5_5.shuffled.cnf.wcnf.gz0.132464 (86)21.2395 (86)0.089771 (86)0.0498971 (86)1.15852 (86)0.261091 (86)0.0968609 (86)0.928383 (86)
3col100_5_9.shuffled.cnf.wcnf.gz0.124666 (94)21.4407 (94)0.0839311 (94)0.0417109 (94)1.80922 (94)0.548584 (94)0.07798 (94)0.896473 (94)
3col120_5_1.shuffled.cnf.wcnf.gz0.617878 (123)208.464 (123)0.80903 (123)1.00179 (123)12.7315 (123)8.05057 (123)0.952008 (123)13.276 (123)
3col120_5_3.shuffled.cnf.wcnf.gz1.05783 (119)319.003 (119)1.26199 (119)1.08912 (119)3.53312 (119)4.32526 (119)0.893642 (119)9.96828 (119)
3col120_5_4.shuffled.cnf.wcnf.gz0.890311 (122)223.258 (122)0.850064 (122)0.969746 (122)11.7932 (122)6.12775 (122)1.61834 (122)13.8982 (122)
3col120_5_5.shuffled.cnf.wcnf.gz0.744202 (112)342.806 (112)1.53546 (112)1.10172 (112)12.45 (112)2.64089 (112)0.840174 (112)14.2297 (112)
3col120_5_7.shuffled.cnf.wcnf.gz0.58849 (120)192.56 (120)1.08742 (120)0.931148 (120)23.4571 (120)4.84908 (120)0.975193 (120)10.4846 (120)
3col80_5_1.shuffled.cnf.wcnf.gz0.036008 (79)3.79255 (79)0.016522 (79)0.013111 (79)0.142261 (79)0.0799521 (79)0.0254261 (79)0.120303 (79)
3col80_5_10.shuffled.cnf.wcnf.gz0.0320361 (75)4.77006 (75)0.023945 (75)0.012302 (75)0.175942 (75)0.0223929 (75)0.0254819 (75)0.21078 (75)
3col80_5_4.shuffled.cnf.wcnf.gz0.0308359 (73)4.95631 (73)0.023604 (73)0.0134291 (73)0.0771749 (73)0.0360729 (73)0.027267 (73)0.0502451 (73)
3ebx_.1era_.g.wcnf.t.wcnf.gz476.593 (34)129.906 (34)123.037 (34)150.051 (34)413.655 (34)568.415 (34)160.35 (34)3600.0 (-)
3ebx_.6ebx_.g.wcnf.t.wcnf.gz92.6183 (23)25.502 (23)8.85772 (23)22.9361 (23)50.0782 (23)52.1307 (23)10.3968 (23)703.428 (23)
4ede8d96-c17a-11df-a7c5-00163e3d3b7c_l3.wcnf.gz0.204441 (631)0.815391 (631)0.839584 (631)0.25993 (631)0.106968 (631)0.096932 (631)0.368652 (631)0.763142 (631)
6ebx_.1era_.g.wcnf.t.wcnf.gz247.177 (30)47.5655 (30)50.3834 (30)58.6542 (30)208.242 (30)70.0352 (30)39.0679 (30)3600.0 (-)
AES1-50-15.wcnf.gz1.57638 (1)1.32089 (1)0.322101 (1)1.50479 (1)33.0187 (1)25.964 (1)3600.0 (-)3.56804 (1)
AES1-60-18.wcnf.gz10.1858 (1)3600.0 (-)32.305 (1)1.65584 (1)45.6303 (1)36.5497 (1)3600.0 (-)6.378 (1)
AES1-70-21.wcnf.gz3.40718 (1)2.12759 (1)0.874215 (1)2.27617 (1)37.2341 (1)34.1994 (1)3600.0 (-)8.77492 (1)
AES1-72-29.wcnf.gz33.0599 (1)725.705 (1)4.9882 (1)2.17102 (1)36.4111 (1)31.6244 (1)3600.0 (-)16.7458 (1)
AES1-74-34.wcnf.gz3.10971 (1)2.3446 (1)4.09054 (1)2.46865 (1)29.0148 (1)21.5091 (1)3600.0 (-)11.0571 (1)
AES2-50-51.wcnf.gz4.40845 (2)1.94134 (2)0.849667 (2)1.79102 (2)46.7113 (2)37.8731 (2)3600.0 (-)3.77682 (2)
AES2-50-54.wcnf.gz1.64964 (2)1.42988 (2)0.555661 (2)1.54302 (2)33.0104 (2)24.9062 (2)3600.0 (-)3.98968 (2)
AES2-50-55.wcnf.gz9.18132 (2)2.20668 (2)0.45359 (2)1.53276 (2)35.8391 (2)23.9079 (2)3600.0 (-)3.90949 (2)
AES2-60-58.wcnf.gz6.15722 (2)306.8 (2)8.27027 (2)2.03545 (2)32.3076 (2)23.867 (2)3600.0 (-)7.51922 (2)
AES2-70-64.wcnf.gz1760.89 (2)55.3438 (2)60.7201 (2)10.6627 (2)161.763 (2)83.2613 (2)3600.0 (-)3600.0 (-)
AES2-74-74.wcnf.gz255.522 (2)141.851 (2)103.993 (2)64.937 (2)339.851 (2)245.153 (2)3600.0 (-)274.515 (2)
AES2-74-75.wcnf.gz104.425 (2)7.79588 (2)22.9597 (2)165.172 (2)43.6572 (2)28.8483 (2)3600.0 (-)90.033 (2)
AMAZON.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
DBLP.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
FOOTBALL.wcnf.gz0.0474679 (13)0.119426 (13)0.012842 (13)0.015787 (13)0.016213 (13)0.0162119 (13)0.122578 (13)0.107652 (13)
GenHyperTW_adder_15.wcnf.gz52.2853 (2)43.9934 (2)421.84 (2)43.9777 (2)79.9625 (2)688.987 (2)401.913 (2)486.138 (2)
GenHyperTW_aim-50-3_4-yes1-3.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
GenHyperTW_atv_partial_system.wcnf.gz322.177 (3)1022.01 (3)3600.0 (-)3600.0 (-)1613.51 (3)3600.0 (-)3600.0 (-)3600.0 (-)
GenHyperTW_b02.wcnf.gz1.44837 (3)606.544 (3)1.51292 (3)3.9969 (3)2.87024 (3)2.70086 (3)2.99761 (3)6.39549 (3)
GenHyperTW_clique_15.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
GenHyperTW_dubois25.wcnf.gz280.512 (2)948.584 (2)3600.0 (-)849.859 (2)384.228 (2)3600.0 (-)3600.0 (-)3600.0 (-)
GenHyperTW_flat30-50.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
GenHyperTW_grid5.wcnf.gz5.28742 (3)606.898 (3)5.55769 (3)9.06294 (3)22.663 (3)14.3001 (3)29.4696 (3)130.303 (3)
GenHyperTW_hole6.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
GenHyperTW_par8-3-c.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
GenHyperTW_pret60_25.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
GenHyperTW_uf20-099.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
GreeceWesternGreeceUniversityInstance4.xml.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
KARATE.wcnf.gz0.0127241 (4)0.019676 (4)0.012503 (4)0.0132771 (4)0.0155331 (4)0.013559 (4)0.014814 (4)0.0152979 (4)
MinFill_R0_miles1500.wcnf.gz635.675 (218)3600.0 (-)422.317 (218)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MinFill_R0_mulsol.i.1.wcnf.gz471.805 (142)3600.0 (-)153.385 (142)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MinFill_R0_myciel6.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MinFill_R0_queen5_5.wcnf.gz517.25 (93)3600.0 (-)2145.34 (93)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MinFill_R0_queen8_8.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MinFill_R0_queen9_9.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MinFill_R10_anna.wcnf.gz5.17187 (37)604.983 (37)3.53803 (37)27.1819 (37)1561.14 (37)3600.0 (-)103.132 (37)3600.0 (-)
MinFill_R12_miles250.wcnf.gz19.3044 (41)610.646 (41)4.97611 (41)55.728 (41)853.922 (41)1133.24 (41)146.764 (41)3600.0 (-)
MinFill_R1_games120.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MinFill_R3_huck.wcnf.gz0.014856 (2)11.8631 (2)0.013987 (2)0.0134331 (2)0.02068 (2)0.0200079 (2)0.020526 (2)0.0349529 (2)
MinFill_R3_miles750.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MinFill_R5_jean.wcnf.gz0.26183 (11)600.23 (11)0.0952871 (11)0.153261 (11)2.38983 (11)0.599545 (11)0.357641 (11)6.14691 (11)
MultiDay_0.wcnf.gz137.731 (27639)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MultiDay_0_weighted.wcnf.gz139.824 (27639)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MultiDay_1.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MultiDay_1_weighted.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MultiDay_3.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MultiDay_4.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
POLITICSBOOK.wcnf.gz0.0335621 (17)0.117613 (17)0.012555 (17)0.012319 (17)0.0297781 (17)0.0135199 (17)0.02952 (17)0.128003 (17)
Q29_OPTIONS_1.wcnf.gz5.91175 (0)28.0397 (0)1.57032 (0)28.6874 (0)2.96207 (0)3.44357 (0)3.3803 (0)12.7096 (0)
Q2_OPTIONS_1.wcnf.gz18.433 (0)9.25983 (0)4.88358 (0)9.63599 (0)41.2546 (0)28.9146 (0)1.9547 (0)42.5366 (0)
Q34_OPTIONS_1.wcnf.gz637.735 (3)1210.41 (3)3600.0 (-)1050.52 (3)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
Q34_YESNO_3.wcnf.gz1.68647 (0)8.63699 (0)0.533993 (0)8.85693 (0)17.9998 (0)18.9902 (0)0.711732 (0)3.69093 (0)
Q38_YESNO_1.wcnf.gz72.7983 (0)167.777 (0)44.6776 (0)167.615 (0)116.941 (0)55.3469 (0)54.0237 (0)183.574 (0)
Q38_YESNO_4.wcnf.gz1.53398 (0)4.78354 (0)0.42889 (0)4.93804 (0)11.527 (0)11.6366 (0)0.454376 (0)4.23709 (0)
Q43_YESNO_1.wcnf.gz20.5309 (0)31.6086 (0)8.04396 (0)33.2319 (0)33.6867 (0)8.44614 (0)11.2817 (0)41.7518 (0)
Q46_YESNO_3.wcnf.gz2.71747 (1)5.11319 (1)1.26508 (1)5.36962 (1)32.2645 (1)32.3851 (1)3.85612 (1)9.80403 (1)
Q46_YESNO_4.wcnf.gz1.32818 (0)2.41495 (0)1.24458 (0)2.5312 (0)19.605 (0)23.4707 (0)1.30367 (0)3.07546 (0)
Q53_YESNO_3.wcnf.gz2.15357 (1)3.47022 (1)0.552127 (1)3.65486 (1)15.82 (1)16.0285 (1)0.513124 (1)4.79358 (1)
Q6_YESNO_3.wcnf.gz7.50424 (0)75.7065 (0)2.53365 (0)76.8469 (0)3.99047 (0)2.96239 (0)3.15121 (0)15.9859 (0)
Q7_YESNO_3.wcnf.gz6.59298 (2)3600.0 (-)15.1783 (2)5.27868 (2)82.6108 (2)24.2295 (2)15.4076 (2)105.544 (2)
RAILWAY.wcnf.gz0.051683 (44)0.211231 (44)0.046861 (44)0.026011 (44)0.023493 (44)0.0220041 (44)0.50837 (44)0.258256 (44)
RISKMAP.wcnf.gz0.0138401 (9)0.0266519 (9)0.013578 (9)0.014127 (9)0.0148289 (9)0.0130371 (9)0.0128799 (9)0.0118409 (9)
RSN_Security_Min_Witness-Direct-FlexScan-D0.wcnf.gz4.78088 (9)2.97003 (9)40.5297 (9)3.55876 (9)6.03192 (9)5.98093 (9)43.1466 (9)14.7722 (9)
RSN_Security_Min_Witness-Direct-FlexScan-D4.wcnf.gz4.77008 (9)2.96247 (9)40.7979 (9)3.54954 (9)6.31131 (9)6.23649 (9)46.375 (9)14.7263 (9)
RSN_Security_Min_Witness-Direct-FlexScan-D9.wcnf.gz4.48224 (9)2.9314 (9)0.689689 (9)3.5135 (9)5.96191 (9)6.30393 (9)1.42928 (9)14.4781 (9)
RSN_Security_Min_Witness-Direct-FlexScan-DA.wcnf.gz4.75409 (9)2.98051 (9)40.8783 (9)3.57521 (9)6.32887 (9)6.55096 (9)42.3008 (9)14.8848 (9)
RSN_Security_Min_Witness-Direct-FlexScan-DB.wcnf.gz4.82366 (9)3.01715 (9)38.272 (9)3.60507 (9)6.70994 (9)6.51524 (9)38.9553 (9)15.0402 (9)
RSN_Security_Min_Witness-Direct-FlexScan-DF.wcnf.gz4.56034 (9)2.95359 (9)0.69443 (9)3.52131 (9)5.79663 (9)5.90379 (9)1.4284 (9)14.4694 (9)
RSN_Security_Min_Witness-Direct-MBIST_100cores_100controllers_5memories_na-D0.wcnf.gz34.7618 (22)37.123 (22)18.3727 (22)45.4066 (22)16.4466 (22)13.4766 (22)45.8605 (22)3600.0 (-)
RSN_Security_Min_Witness-Direct-MBIST_100cores_100controllers_5memories_na-DD.wcnf.gz192.36 (43)522.041 (43)102.303 (43)547.078 (43)83.8029 (43)65.0034 (43)439.088 (43)3600.0 (-)
RSN_Security_Min_Witness-Direct-MBIST_100cores_100controllers_5memories_na-DE.wcnf.gz192.862 (43)521.156 (43)101.653 (43)546.971 (43)83.8549 (43)63.8966 (43)440.632 (43)3600.0 (-)
RSN_Security_Min_Witness-Direct-MBIST_100cores_100controllers_5memories_na-DF.wcnf.gz192.042 (43)520.682 (43)102.466 (43)546.426 (43)84.8591 (43)62.622 (43)436.493 (43)3600.0 (-)
RSN_Security_Min_Witness-Direct-MBIST_5cores_100controllers_100memories_na-D4.wcnf.gz47.3295 (43)73.965 (43)31.9449 (43)77.6789 (43)38.9471 (43)33.0051 (43)44.8166 (43)3600.0 (-)
RSN_Security_Min_Witness-Direct-MBIST_5cores_100controllers_100memories_na-D7.wcnf.gz47.2338 (43)77.6848 (43)32.0354 (43)77.4327 (43)38.6207 (43)32.8535 (43)44.8727 (43)3600.0 (-)
SAT04__industrial__vangelder__cnf-color__abb313GPIA-9-tr.used-as.sat04-321.cnf.wcnf.6.wcnf.gz230.936 (25)4.5402 (25)49.2444 (25)2.37578 (25)2.04512 (25)2.09675 (25)8.14908 (25)4.34072 (25)
SAT04__industrial__velev__pipe-sat-1-1__12pipe_bug4_q0.used-as.sat04-723.cnf.wcnf.4.wcnf.gz376.994 (57)160.757 (57)14.483 (57)67.7653 (57)4.83963 (57)3.6054 (57)69.2662 (57)49.5495 (57)
SAT11__application__fuhs__AProVE11__AProVE11-12.cnf.wcnf.3.wcnf.gz16.327 (237)32.8564 (237)24.2856 (237)7.57461 (237)3.9018 (237)2.35458 (237)10.6395 (237)258.621 (237)
SAT11__application__jarvisalo__AAAI2010-SATPlanning__aaai10-planning-ipc5-pipesworld-12-step16.cnf.wcnf.6.wcnf.gz3.59255 (1)2.80831 (1)0.506162 (1)3.45722 (1)65.2482 (1)56.9006 (1)25.6323 (1)10.5599 (1)
SAT11__application__jarvisalo__AAAI2010-SATPlanning__aaai10-planning-ipc5-pipesworld-18-step16.cnf.wcnf.2.wcnf.gz29.5292 (1)10.4756 (1)11.509 (1)11.5799 (1)100.943 (1)38.0818 (1)34.796 (1)29.9517 (1)
SAT11__application__jarvisalo__AAAI2010-SATPlanning__aaai10-planning-ipc5-pipesworld-27-step14.cnf.wcnf.1.wcnf.gz20.471 (1)20.7181 (1)2.81277 (1)25.2425 (1)139.142 (1)23.3413 (1)26.8676 (1)50.6745 (1)
SAT11__application__jarvisalo__smtqfbv-aigs__smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf.wcnf.3.wcnf.gz32.0327 (17)68.962 (17)5.55466 (17)19.4665 (17)14.3168 (17)13.7243 (17)37.4146 (17)314.347 (17)
SAT11__application__jarvisalo__smtqfbv-aigs__smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf.wcnf.5.wcnf.gz23.3741 (17)56.8982 (17)5.59919 (17)15.1075 (17)14.3217 (17)13.6151 (17)15.9508 (17)244.61 (17)
SAT11__application__leberre__2dimensionalstrippacking__E05F18.cnf.wcnf.7.wcnf.gz528.09 (61)20.773 (61)95.2042 (61)9.89825 (61)94.4249 (61)46.8026 (61)118.132 (61)3600.0 (-)
SAT11__application__manthey__traffic__traffic_r_sat.cnf.wcnf.5.wcnf.gz371.915 (5)19.2915 (5)10.1588 (5)16.5481 (5)42.1627 (5)2.99563 (5)7.68788 (5)32.4224 (5)
SAT11__application__manthey__traffic__traffic_r_sat.cnf.wcnf.6.wcnf.gz1159.69 (120)114.595 (120)633.831 (120)35.8288 (120)94.9895 (120)36.8364 (120)394.632 (120)3600.0 (-)
SM_RX_TOP.dimacs.filtered.wcnf.gz159.551 (6)14.0867 (6)32.088 (6)13.3649 (6)136.773 (6)14.5002 (6)431.75 (6)3600.0 (-)
SU-100kb__simp-genos.haps.24.wcnf.gz1.51311 (31)600.164 (31)0.13579 (31)0.149599 (31)0.818303 (31)0.423748 (31)0.225459 (31)1.67122 (31)
SU2__simp-genos.haps.61.wcnf.gz0.016798 (161)0.245065 (161)0.00915898 (161)0.015459 (161)0.0169401 (161)0.015894 (161)0.0173631 (161)0.0640091 (161)
SingleDay_15.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
SingleDay_2.wcnf.gz5.91641 (6150)289.919 (6150)226.212 (6150)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
SingleDay_2_weighted.wcnf.gz5.96014 (6150)292.073 (6150)344.951 (6150)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
SingleDay_3.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
Subnetwork_7.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
Subnetwork_9.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
TWComp_1c75_N69.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
TWComp_alarm_N37.wcnf.gz0.355477 (4)0.334159 (4)0.0765621 (4)0.374566 (4)18.825 (4)17.6365 (4)0.0642701 (4)1.47349 (4)
TWComp_barle_N48.wcnf.gz5.04975 (7)3.49591 (7)3.00532 (7)3.51719 (7)67.4563 (7)58.1503 (7)2.19494 (7)9.87103 (7)
TWComp_barley2_N48.wcnf.gz4.94386 (7)3.6039 (7)1.61724 (7)3.66611 (7)80.3414 (7)70.3235 (7)2.03367 (7)12.348 (7)
TWComp_david_N87.wcnf.gz23.425 (13)51.198 (13)23.824 (13)50.3775 (13)37.6714 (13)14.8011 (13)9.8186 (13)219.9 (13)
TWComp_jean_N77.wcnf.gz3.68826 (9)4.66534 (9)1.03343 (9)5.09547 (9)2.57183 (9)0.873741 (9)0.733624 (9)27.7475 (9)
TWComp_mainuk_N48.wcnf.gz0.918469 (7)2.00811 (7)0.244405 (7)2.11952 (7)56.1158 (7)56.4926 (7)0.245143 (7)4.15987 (7)
TWComp_mildew_35.wcnf.gz0.349553 (4)0.277312 (4)0.0771649 (4)0.314189 (4)10.7998 (4)10.696 (4)0.0931091 (4)2.14428 (4)
TWComp_myciel5_N47.wcnf.gz2098.0 (19)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
TWComp_oesoca_N39.wcnf.gz0.416976 (3)0.935049 (3)0.088002 (3)0.985177 (3)22.3073 (3)25.3558 (3)0.075104 (3)3.3999 (3)
TWComp_queen5_5_N25.wcnf.gz1160.98 (18)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
TWComp_water_N32.wcnf.gz1.21286 (9)602.335 (9)0.562949 (9)3600.0 (-)13.3888 (9)8.61708 (9)1.65649 (9)4.63926 (9)
YOUTUBE.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ac97_ctrl-debug.dimacs.wcnf.gz2.3499 (1)0.727866 (1)0.466921 (1)0.825328 (1)0.486928 (1)0.458939 (1)0.882967 (1)90.5256 (1)
adult_test_7_DNF_1_1.wcnf.gz0.0232221 (2350)0.057913 (2350)0.072055 (2350)0.0295891 (2350)0.0175269 (2350)0.016787 (2350)0.136973 (2350)0.0826199 (2350)
adult_test_9_CNF_1_1.wcnf.gz0.034623 (2363)0.077757 (2363)0.071064 (2363)0.0582509 (2363)0.023249 (2363)0.0233621 (2363)0.138585 (2363)0.116592 (2363)
appendicitis.wcnf.gz0.193677 (56)0.307493 (56)0.621241 (56)0.337437 (56)0.107145 (56)0.0911931 (56)3600.0 (-)1.46594 (56)
atcoss_mesat_01.wcnf.gz42.1899 (20)46.0916 (20)170.864 (20)49.2228 (20)385.599 (20)197.245 (20)85.8776 (20)359.732 (20)
atcoss_mesat_02.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
atcoss_mesat_03.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
atcoss_mesat_04.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
atcoss_mesat_06.wcnf.gz49.7261 (20)57.6707 (20)418.831 (20)58.364 (20)369.108 (20)370.624 (20)336.079 (20)1400.96 (20)
atcoss_mesat_11.wcnf.gz11.2181 (50)9.14063 (50)76.0922 (50)9.49291 (50)74.5353 (50)60.6987 (50)77.0286 (50)230.695 (50)
atcoss_mesat_15.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
atcoss_mesat_18.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
atcoss_sugar_01.wcnf.gz32.0232 (20)34.5489 (20)53.5288 (20)33.7508 (20)160.969 (20)72.1799 (20)16.3021 (20)72.9676 (20)
atcoss_sugar_05.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
atcoss_sugar_06.wcnf.gz46.5101 (20)37.3782 (20)101.958 (20)41.1951 (20)157.126 (20)85.7565 (20)66.2663 (20)554.335 (20)
atcoss_sugar_10.wcnf.gz1109.75 (13)3532.33 (13)3600.0 (-)3193.12 (13)3600.0 (-)3600.0 (-)2922.62 (13)3600.0 (-)
auto.wcnf.gz1.33237 (114)9.26519 (114)11.3057 (114)8.57742 (114)1.73153 (114)1.01213 (114)3600.0 (-)15.6447 (114)
b14_C-mbd14-0329.wcnf.gz1058.71 (24)612.353 (24)57.2533 (24)7.62818 (24)41.2124 (24)7.83022 (24)626.822 (24)3600.0 (-)
b15-bug-fourvec-gate-0.dimacs.seq.filtered.wcnf.gz244.438 (4)45.4433 (4)37.9287 (4)22.8193 (4)4.32596 (4)3.55143 (4)3600.0 (-)3600.0 (-)
b15_C-mbd14-0240.wcnf.gz941.671 (21)625.102 (21)66.6332 (21)16.188 (21)59.7321 (21)37.4686 (21)766.931 (21)3600.0 (-)
b17_C-mbd14-0348.wcnf.gz11.0753 (20)632.193 (20)2.72409 (20)1.18865 (20)0.938818 (20)0.683242 (20)41.2598 (20)20.3228 (20)
b17_C-mbd14-0359.wcnf.gz7.77212 (24)650.386 (24)2.80613 (24)0.977418 (24)0.928148 (24)0.811928 (24)27.107 (24)46.7633 (24)
b17_C-mbd14-0390.wcnf.gz9.33734 (26)612.65 (26)3.4046 (26)1.33565 (26)0.690594 (26)0.611828 (26)43.5333 (26)41.689 (26)
b20_C-mbd14-0238.wcnf.gz14.7252 (19)607.285 (19)1.72509 (19)1.09758 (19)1.90947 (19)1.26584 (19)7.1038 (19)10.0475 (19)
b20_C-mbd14-0259.wcnf.gz364.943 (21)605.182 (21)6.37221 (21)3.07004 (21)31.6679 (21)5.42107 (21)220.593 (21)3600.0 (-)
b20_C-mbd14-0359.wcnf.gz23.7229 (24)601.775 (24)3.08274 (24)1.00398 (24)1.65156 (24)1.12261 (24)55.8877 (24)30.525 (24)
b21_C-mbd14-0230.wcnf.gz203.349 (21)604.189 (21)3.8047 (21)2.00087 (21)11.5012 (21)3.8505 (21)309.375 (21)25.3537 (21)
b21_C-mbd14-0347.wcnf.gz52.3285 (19)601.36 (19)2.19003 (19)1.30117 (19)2.21162 (19)1.28934 (19)22.539 (19)13.6364 (19)
b21_C-mbd14-0374.wcnf.gz134.834 (23)603.99 (23)4.02511 (23)1.49274 (23)5.13162 (23)2.37211 (23)105.98 (23)9.66295 (23)
b21_C-mbd14-0381.wcnf.gz385.701 (21)605.233 (21)6.27694 (21)1.54394 (21)3.3516 (21)1.57722 (21)239.419 (21)64.827 (21)
biomed.wcnf.gz63.8975 (114)151.36 (114)17.1619 (114)527.929 (114)3600.0 (-)3600.0 (-)3600.0 (-)2029.77 (114)
brock200_3.clq.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
brock200_3.clq.wcnf.gz.1.gz224.233 (185)654.222 (185)45.5443 (185)43.5868 (185)183.586 (185)152.59 (185)187.899 (185)3600.0 (-)
c-fat200-1.clq.wcnf.gz1.74627 (188)0.856323 (188)0.668441 (188)0.05053 (188)6.04781 (188)6.09131 (188)0.116308 (188)0.199007 (188)
c-fat200-2.clq.wcnf.gz1.88166 (176)28.8133 (176)0.035065 (176)0.047464 (176)5.29898 (176)5.53692 (176)0.0865689 (176)0.182873 (176)
c-fat500-5.clq.wcnf.gz100.969 (436)0.386059 (436)1.22487 (436)0.40991 (436)14.3389 (436)12.8075 (436)0.320894 (436)2.32147 (436)
c1355_F127gat-418gat@1.wcnf.gz0.0546001 (33)247.907 (33)0.069227 (33)0.0804079 (33)0.115785 (33)0.0983529 (33)0.060487 (33)0.463275 (33)
c4_DD_s3_f1_e1_v1-bug-gate-0.dimacs.seq.filtered.wcnf.gz148.679 (8)51.3102 (8)24.319 (8)21.7211 (8)7.12562 (8)5.14071 (8)3600.0 (-)3600.0 (-)
c5_DD_s3_f1_e1_v1-bug-onevec-gate-0.dimacs.seq.filtered.wcnf.gz1.06473 (1)8.46749 (1)1.0213 (1)0.513556 (1)0.195339 (1)0.184071 (1)0.397009 (1)54.5963 (1)
c7552-bug-gate-0.dimacs.seq.filtered.wcnf.gz0.354755 (1)3.64527 (1)0.706532 (1)0.260186 (1)0.0195459 (1)0.0179461 (1)0.040156 (1)3.78859 (1)
cellda_x_10.wcnf.gz1987.3 (9)1084.32 (9)1278.3 (9)1051.74 (9)674.23 (9)473.751 (9)275.651 (9)576.168 (9)
cellda_x_12.wcnf.gz2346.87 (9)2243.24 (9)1759.78 (9)2076.13 (9)1309.88 (9)611.289 (9)648.879 (9)3600.0 (-)
cellda_y_10.wcnf.gz1540.69 (6)1997.33 (6)2480.28 (6)3600.0 (-)1118.13 (6)1405.76 (6)3600.0 (-)1243.06 (6)
cellda_y_9.wcnf.gz1258.56 (6)1450.9 (6)2424.95 (6)1361.47 (6)1171.38 (6)130.42 (6)884.755 (6)557.071 (6)
cnf.11.p.9.wcnf.gz1068.44 (11)42.3314 (11)165.978 (11)19.8514 (11)3600.0 (-)47.1888 (11)51.5146 (11)3600.0 (-)
cnf.13.p.6.wcnf.gz284.513 (13)10.3513 (13)101.63 (13)14.051 (13)53.7737 (13)29.5308 (13)13.0856 (13)900.427 (13)
cnf.14.d.10.wcnf.gz64.5374 (14)8.06018 (14)36.81 (14)5.11122 (14)39.3294 (14)23.0101 (14)11.2427 (14)51.0872 (14)
cnf.14.p.5.wcnf.gz572.675 (14)39.1276 (14)168.396 (14)34.3194 (14)45.6438 (14)44.4402 (14)19.873 (14)3600.0 (-)
cnf.14.p.8.wcnf.gz431.12 (14)112.576 (14)252.886 (14)89.3071 (14)106.996 (14)53.4951 (14)99.6516 (14)3600.0 (-)
cnf.15.p.10.wcnf.gz3600.0 (-)71.5789 (15)631.47 (15)264.804 (15)219.223 (15)131.453 (15)436.554 (15)3600.0 (-)
cnf.16.p.4.wcnf.gz526.483 (16)14.7336 (16)60.194 (16)21.2142 (16)35.031 (16)36.7963 (16)10.2555 (16)305.997 (16)
cnf.17.t.10.wcnf.gz143.416 (17)15.1121 (17)91.5203 (17)13.3662 (17)56.8391 (17)38.9071 (17)23.0644 (17)3600.0 (-)
cnf.19.d.10.wcnf.gz36.3229 (19)9.38712 (19)19.4986 (19)7.46754 (19)29.5493 (19)19.0432 (19)8.57749 (19)16.9447 (19)
cnf.19.p.5.wcnf.gz256.888 (19)15.0101 (19)99.8513 (19)12.2996 (19)60.2944 (19)62.043 (19)21.2301 (19)3600.0 (-)
cnf.19.t.7.wcnf.gz85.7355 (19)13.0633 (19)45.1913 (19)7.58555 (19)45.6618 (19)27.7329 (19)21.5606 (19)65.6458 (19)
cnf.8.p.9.wcnf.gz70.3564 (8)9.28133 (8)55.2295 (8)7.48979 (8)32.2976 (8)13.8222 (8)8.3423 (8)1407.87 (8)
cnf_10.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
cnf_10_center.wcnf.gz1082.88 (159)159.907 (159)659.332 (159)196.244 (159)1875.88 (159)3600.0 (-)3324.3 (159)3600.0 (-)
cnf_12.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
cnf_12_center.wcnf.gz1368.93 (237)29.8798 (237)291.318 (237)47.5406 (237)308.631 (237)261.274 (237)312.418 (237)3600.0 (-)
cnf_small.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
credit_train_1_DNF_3_1.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ctrl.wcnf.gz2.30162 (15)113.381 (15)0.478163 (15)0.158659 (15)0.632579 (15)0.298673 (15)0.139304 (15)3.01679 (15)
d4.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
data.135.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
data.243.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
data.405.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
data.729.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
dermatology.wcnf.gz3600.0 (-)123.303 (40)181.386 (40)44.0197 (40)109.508 (40)104.797 (40)42.5229 (40)2478.61 (40)
divider-debug.dimacs.wcnf.gz47.3105 (1)2.74295 (1)2.2156 (1)3.0915 (1)1.76839 (1)1.72066 (1)3.79411 (1)732.89 (1)
divider-problem.dimacs_8.filtered.wcnf.gz231.347 (2)14.5419 (2)44.6192 (2)12.7266 (2)54.2756 (2)20.257 (2)139.812 (2)3600.0 (-)
dividers10.dimacs.filtered.wcnf.gz113.127 (2)2.44847 (2)6.97756 (2)4.30526 (2)5.14031 (2)2.15048 (2)28.7741 (2)1068.67 (2)
dividers5.dimacs.filtered.wcnf.gz78.7458 (1)1.77556 (1)0.990714 (1)1.17525 (1)5.00824 (1)1.2138 (1)16.961 (1)186.975 (1)
dp43.wcnf.gz140.716 (47)16.365 (47)18.2654 (47)16.9695 (47)32.1445 (47)4.69944 (47)37.8336 (47)352.529 (47)
drmx-am12-outof-40-ecardn.wcnf.gz4.17148 (28)602.551 (28)2.57291 (28)1.05774 (28)1.39046 (28)0.388168 (28)0.232769 (28)8.60758 (28)
drmx-am16-outof-45-ecardn.wcnf.gz8.13238 (29)603.998 (29)7.41365 (29)5.08766 (29)3.79515 (29)1.66737 (29)0.482924 (29)49.2173 (29)
drmx-am16-outof-45-emtot.wcnf.gz41.8261 (29)62.9895 (29)3.78244 (29)1.65529 (29)0.36285 (29)0.145213 (29)0.12725 (29)121.962 (29)
drmx-am20-outof-50-ecardn.wcnf.gz131.982 (30)616.736 (30)57.7294 (30)19.5096 (30)10.9582 (30)7.89737 (30)2.77382 (30)994.284 (30)
drmx-am20-outof-50-ekmtot.wcnf.gz117.07 (30)611.969 (30)7.35429 (30)5.68806 (30)1.10592 (30)0.279024 (30)0.087403 (30)876.938 (30)
drmx-am20-outof-50-eseqc.wcnf.gz11.3758 (30)607.835 (30)1.6823 (30)4.24834 (30)5.68458 (30)1.74306 (30)0.081878 (30)2952.51 (30)
drmx-am28-outof-60-ekmtot.wcnf.gz108.699 (32)605.096 (32)36.7598 (32)1.82035 (32)0.66711 (32)0.234218 (32)0.0767861 (32)3600.0 (-)
drmx-am28-outof-60-emtot.wcnf.gz108.55 (32)602.244 (32)32.5232 (32)49.3177 (32)0.88881 (32)0.319191 (32)0.0831809 (32)3600.0 (-)
drmx-am28-outof-60-etot.wcnf.gz107.782 (32)603.236 (32)38.7022 (32)4.29511 (32)0.594931 (32)0.529626 (32)0.0618859 (32)3600.0 (-)
drmx-am32-outof-70-ecardn.wcnf.gz42.8266 (38)685.737 (38)48.0777 (38)140.287 (38)48.3597 (38)37.7446 (38)7.23103 (38)3600.0 (-)
drmx-am32-outof-70-esortn.wcnf.gz49.4985 (38)665.409 (38)50.498 (38)140.342 (38)7.03984 (38)10.112 (38)7.83801 (38)3600.0 (-)
drmx-am32-outof-70-etot.wcnf.gz134.864 (38)617.598 (38)6.57001 (38)10.049 (38)7.09179 (38)3.30074 (38)0.193469 (38)3600.0 (-)
extension-enforcement_non-strict_stb_150_0.05_1_8_3.wcnf.gz3600.0 (-)417.772 (6)3600.0 (-)132.507 (6)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
extension-enforcement_non-strict_stb_200_0.05_4_10_0.wcnf.gz3600.0 (-)585.535 (6)3600.0 (-)484.17 (6)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
extension-enforcement_non-strict_stb_200_0.1_4_10_2.wcnf.gz3600.0 (-)1086.57 (8)3600.0 (-)1515.3 (8)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
extension-enforcement_strict_com_100_0.05_4_20_3.wcnf.gz29.1612 (15)1.74759 (15)3.05282 (15)1.26814 (15)36.5973 (15)12.7967 (15)3600.0 (-)10.5658 (15)
extension-enforcement_strict_com_150_0.05_4_30_4.wcnf.gz138.342 (27)10.7141 (27)38.2808 (27)8.39405 (27)18.4578 (27)14.2365 (27)3600.0 (-)45.982 (27)
extension-enforcement_strict_com_150_0.1_4_15_1.wcnf.gz73.8136 (24)4.91594 (24)11.5304 (24)4.69402 (24)108.828 (24)40.1637 (24)3600.0 (-)14.9089 (24)
extension-enforcement_strict_com_150_0.3_3_8_3.wcnf.gz2.91617 (19)2.82413 (19)7.6955 (19)2.24463 (19)788.92 (19)3600.0 (-)3600.0 (-)24.0416 (19)
extension-enforcement_strict_com_200_0.05_0_40_1.wcnf.gz22.6402 (26)15.8782 (26)28.6075 (26)14.9145 (26)3600.0 (-)3600.0 (-)3600.0 (-)64.1095 (26)
extension-enforcement_strict_com_200_0.05_4_20_1.wcnf.gz76.7163 (33)24.7624 (33)86.8505 (33)16.2309 (33)22.1446 (33)15.3311 (33)3600.0 (-)30.2113 (33)
extension-enforcement_strict_com_200_0.05_4_20_4.wcnf.gz3600.0 (-)23.082 (50)42.327 (50)17.3269 (50)3600.0 (-)3600.0 (-)3600.0 (-)82.0889 (50)
extension-enforcement_strict_com_200_0.1_0_10_1.wcnf.gz14.4395 (35)8.45608 (35)14.1904 (35)5.97811 (35)2699.15 (35)3600.0 (-)3600.0 (-)34.3388 (35)
extension-enforcement_strict_com_200_0.2_2_10_2.wcnf.gz35.6211 (16)6.98722 (16)10.4701 (16)6.13256 (16)26.2728 (16)3600.0 (-)3600.0 (-)68.0839 (16)
ezfact32_2.shuffled.cnf.wcnf.gz0.104853 (364)22.2944 (364)0.153012 (364)0.039971 (364)0.036611 (364)0.0437661 (364)0.032287 (364)0.079362 (364)
flush_reload_min.wcnf.gz507.195 (45)242.889 (45)396.577 (45)241.21 (45)816.646 (45)259.052 (45)178.871 (45)797.747 (45)
formula_0.8_2021_atleast_127_max-6_reduced_incomplete_tree.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
formula_0.8_2021_atleast_127_max-6_reduced_incomplete_tree.wcnf.gz.1.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
formula_0.8_2021_atleast_127_max-6_reduced_incomplete_tree.wcnf.gz.2.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
formula_0.8_2021_atleast_127_max-6_reduced_incomplete_tree.wcnf.gz.3.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
formula_0.8_2021_atleast_127_max-6_reduced_incomplete_tree.wcnf.gz.4.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
formula_0.8_2021_atleast_127_max-6_reduced_incomplete_tree.wcnf.gz.5.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
formula_0.8_2021_atleast_127_max-6_reduced_incomplete_tree.wcnf.gz.6.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
formula_0.8_2021_atleast_127_max-6_reduced_incomplete_tree.wcnf.gz.7.gz242.025 (0)394.15 (0)166.682 (0)398.767 (0)754.545 (0)738.465 (0)261.7 (0)2925.53 (0)
formula_0.8_2021_atleast_15_max-3_reduced_incomplete_tree.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
formula_0.8_2021_atleast_15_max-3_reduced_incomplete_tree.wcnf.gz.1.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1552.54 (22)3600.0 (-)
formula_0.8_2021_atleast_15_max-3_reduced_incomplete_tree.wcnf.gz.2.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
formula_0.8_2021_atleast_15_max-3_reduced_incomplete_tree.wcnf.gz.3.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
formula_0.8_2021_atleast_15_max-3_reduced_incomplete_tree.wcnf.gz.4.gz3600.0 (-)3600.0 (-)2738.69 (6)2738.58 (6)2287.09 (6)2621.3 (6)870.786 (6)3600.0 (-)
formula_0.8_2021_atleast_31_max-4_reduced_incomplete_tree.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
formula_0.8_2021_atleast_31_max-4_reduced_incomplete_tree.wcnf.gz.1.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
formula_0.8_2021_atleast_31_max-4_reduced_incomplete_tree.wcnf.gz.2.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
formula_0.8_2021_atleast_31_max-4_reduced_incomplete_tree.wcnf.gz.3.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
formula_0.8_2021_atleast_31_max-4_reduced_incomplete_tree.wcnf.gz.4.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
formula_0.8_2021_atleast_31_max-4_reduced_incomplete_tree.wcnf.gz.5.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
formula_0.8_2021_atleast_63_max-5_reduced_incomplete_tree.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
formula_0.8_2021_atleast_63_max-5_reduced_incomplete_tree.wcnf.gz.1.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
formula_0.8_2021_atleast_63_max-5_reduced_incomplete_tree.wcnf.gz.2.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
formula_0.8_2021_atleast_63_max-5_reduced_incomplete_tree.wcnf.gz.3.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
formula_0.8_2021_atleast_63_max-5_reduced_incomplete_tree.wcnf.gz.4.gz734.554 (0)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
fpu7-problem.dimacs_22.filtered.wcnf.gz42.1707 (1)5.20144 (1)1.58527 (1)2.88535 (1)1.91216 (1)1.70877 (1)2.99693 (1)407.706 (1)
frb20-11-1.partial.wcnf.gz1.74674 (200)9.04715 (200)0.018987 (200)0.0150671 (200)1.96408 (200)0.373505 (200)0.160019 (200)248.613 (200)
frb20-11-3.partial.wcnf.gz5.7213 (200)25.3491 (200)0.0222341 (200)0.023096 (200)0.0563929 (200)0.0597921 (200)0.256343 (200)363.096 (200)
frb20-11-4.partial.wcnf.gz2.90018 (200)43.6958 (200)0.019981 (200)0.151424 (200)24.0914 (200)3.55579 (200)0.124122 (200)40.5061 (200)
frb25-13-2.partial.wcnf.gz100.271 (300)184.232 (300)0.0765231 (300)0.454265 (300)2.70107 (300)0.210514 (300)0.989017 (300)1788.19 (300)
frb25-13-3.partial.wcnf.gz0.043812 (300)141.478 (300)0.0517679 (300)0.087385 (300)3600.0 (-)3600.0 (-)0.78877 (300)1153.04 (300)
frb25-13-4.partial.wcnf.gz18.7369 (300)111.658 (300)0.0563509 (300)1.26085 (300)21.4449 (300)1.77648 (300)0.897724 (300)3600.0 (-)
frb25-13-5.partial.wcnf.gz103.196 (300)141.999 (300)0.115948 (300)0.381215 (300)0.416736 (300)0.333932 (300)0.669024 (300)3600.0 (-)
frb30-15-1.partial.wcnf.gz122.427 (420)3600.0 (-)0.362976 (420)3.87566 (420)8.027 (420)2.55535 (420)6.06988 (420)3600.0 (-)
frb30-15-2.partial.wcnf.gz0.730294 (420)312.327 (420)1.00018 (420)0.866527 (420)11.6556 (420)1.01822 (420)3.58584 (420)3600.0 (-)
frb30-15-5.partial.wcnf.gz0.233203 (420)433.363 (420)0.377451 (420)0.414663 (420)10.1404 (420)0.93536 (420)3.70832 (420)3600.0 (-)
frb35-17-4.partial.wcnf.gz105.439 (560)606.93 (560)2.21503 (560)16.5772 (560)11.7915 (560)12.477 (560)80.7662 (560)3600.0 (-)
frb35-17-5.partial.wcnf.gz17.4295 (560)617.378 (560)21.0912 (560)15.7294 (560)43.4321 (560)64.7391 (560)43.4502 (560)3600.0 (-)
g2_n30e41_n31e38.wcnf.gz229.714 (16)329.023 (16)319.328 (16)135.198 (16)111.616 (16)129.396 (16)255.356 (16)10.5831 (16)
g2_n35e34_n58e61.wcnf.gz637.519 (21)3600.0 (-)3600.0 (-)3600.0 (-)2959.44 (21)3600.0 (-)3600.0 (-)302.522 (21)
g2_n37e35_n39e39.wcnf.gz367.675 (15)871.393 (15)236.757 (15)157.581 (15)300.559 (15)183.846 (15)293.404 (15)17.5488 (15)
g2_n41e59_n41e44.wcnf.gz32.2044 (44)731.313 (44)79.9885 (44)166.094 (44)183.404 (44)816.546 (44)237.61 (44)620.823 (44)
g2_n57e60_n61e85.wcnf.gz1555.43 (44)2598.51 (44)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1.56965 (44)
g2_n58e76_n72e90.wcnf.gz109.216 (40)605.059 (40)4.77766 (40)8.24774 (40)28.2815 (40)6.73617 (40)279.807 (40)184.662 (40)
g2_n66e80_n71e77.wcnf.gz238.091 (44)742.707 (44)35.3242 (44)293.194 (44)163.737 (44)61.4696 (44)2549.53 (44)3600.0 (-)
g4_n47e57_n48e52_n133e169_n141e184.wcnf.gz12.3314 (30)1.55336 (30)0.735627 (30)1.84184 (30)6.59482 (30)4.1866 (30)21.0197 (30)7.90614 (30)
g5_n38e52_n45e51_n47e60_n54e68_n57e72.wcnf.gz137.982 (40)742.644 (40)297.477 (40)113.814 (40)1316.91 (40)470.938 (40)202.176 (40)90.2415 (40)
g6_n35e48_n39e54_n41e57_n42e58_n53e75_n59e84.wcnf.gz148.744 (33)54.4253 (33)52.2318 (33)39.4259 (33)85.6898 (33)63.4833 (33)262.171 (33)1153.13 (33)
g7_n22e21_n24e23_n45e41_n49e44_n53e61_n54e48_n56e64.wcnf.gz228.768 (6)119.225 (6)62.9621 (6)93.7986 (6)137.027 (6)68.3655 (6)89.9962 (6)1767.99 (6)
g7_n25e24_n28e29_n32e33_n35e34_n37e37_n38e39_n40e39.wcnf.gz202.037 (10)48.493 (10)31.8251 (10)48.5892 (10)51.6411 (10)27.6526 (10)70.9984 (10)610.463 (10)
geffe128_0.wcnf.gz101.548 (800)642.056 (800)191.626 (800)39.0306 (800)158.237 (800)30.1706 (800)3600.0 (-)1293.48 (800)
geffe128_2.wcnf.gz2.82315 (800)611.995 (800)17.7467 (800)11.3357 (800)46.8601 (800)6.93823 (800)3600.0 (-)98.1815 (800)
geffe128_3.wcnf.gz85.4916 (800)609.367 (800)33.5987 (800)8.84713 (800)90.8633 (800)22.8196 (800)3600.0 (-)239.839 (800)
gen_add_3_carry_33.wcnf.gz23.4308 (65)60.7532 (65)3.17443 (65)2445.28 (65)2799.74 (65)1050.06 (65)3600.0 (-)3600.0 (-)
gen_add_5_399.wcnf.gz4.79624 (446)24.6912 (446)0.997862 (446)1.34642 (446)1.47182 (446)0.519434 (446)3600.0 (-)1.37488 (446)
gen_add_5_carry_299.wcnf.gz0.649523 (948)2.3534 (948)3.85688 (948)0.402717 (948)35.2245 (948)3600.0 (-)3600.0 (-)3.5735 (948)
gen_add_5_carry_399.wcnf.gz15.6203 (560)582.561 (560)2.57963 (560)3600.0 (-)88.3484 (560)3600.0 (-)3600.0 (-)3600.0 (-)
gen_add_6_991.wcnf.gz1270.9 (102)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen_alldiff_3_cook_991.wcnf.gz1.38824 (17)9.76052 (17)4.98814 (17)0.260499 (17)27.9893 (17)14.6448 (17)240.246 (17)2.54455 (17)
gen_cvc-add3-bw3_33.wcnf.gz5.50838 (500)171.076 (500)2.78232 (500)2.41877 (500)10.8439 (500)1.20077 (500)3600.0 (-)14.843 (500)
gen_cvc-add3-opt-bw3_299.wcnf.gz0.328111 (624)2.55365 (624)1.19294 (624)0.213844 (624)0.144476 (624)0.0934259 (624)3600.0 (-)0.79405 (624)
gen_cvc-mult4_4_991.wcnf.gz10.0912 (85)26.8926 (85)198.312 (85)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen_cvc-mult4_4_9999.wcnf.gz9.48206 (98)48.0984 (98)197.899 (98)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen_cvc-plus_4_991.wcnf.gz2.26067 (54)10.1096 (54)6.46827 (54)162.196 (54)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen_mult_5_5_299.wcnf.gz15.7355 (3600)15.7392 (3600)62.2008 (3600)10.7441 (3600)100.156 (3600)248.754 (3600)3600.0 (-)234.621 (3600)
haberman.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
hamming10-4.clq.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
hamming6-4.clq.wcnf.gz0.115293 (60)1.87205 (60)0.013475 (60)0.014969 (60)0.158984 (60)0.15619 (60)0.014051 (60)0.0298219 (60)
heart-c.wcnf.gz3600.0 (-)3428.4 (203)3600.0 (-)3277.42 (203)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ilpd_train_9_CNF_5_1.wcnf.gz17.2523 (151)617.129 (151)28.9095 (151)213.624 (151)1323.5 (151)3337.93 (151)3522.36 (151)3600.0 (-)
irish.wcnf.gz0.0800461 (11)0.101067 (11)0.0241499 (11)0.11314 (11)0.0440831 (11)0.0438851 (11)0.030047 (11)0.396476 (11)
johnson16-2-4.clq.wcnf.gz0.0826569 (112)0.476288 (112)11.4527 (112)7.40186 (112)164.821 (112)90.8965 (112)4.79827 (112)0.237521 (112)
johnson32-2-4.clq.wcnf.gz1602.8 (480)10.8093 (480)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)4.99078 (480)
johnson8-2-4.clq.wcnf.gz8.58537 (75)6.05057 (75)41.5315 (75)1.9699 (75)211.56 (75)371.733 (75)56.3573 (75)767.211 (75)
johnson8-2-4.clq.wcnf.gz.1.gz0.0141419 (24)0.063486 (24)0.0128959 (24)0.0134231 (24)0.0137831 (24)0.0169121 (24)0.014477 (24)0.0137291 (24)
johnson8-4-4.clq.wcnf.gz0.0185051 (56)0.393686 (56)0.0166679 (56)0.0135229 (56)0.015756 (56)0.015344 (56)0.0160421 (56)0.234889 (56)
kbtree9_7_3_5_20_4.wcsp.wcnf.gz3.09151 (2)17.9936 (2)1.27342 (2)0.156486 (2)0.440199 (2)0.066969 (2)0.357232 (2)3.6114 (2)
kbtree9_7_3_5_20_6.wcsp.wcnf.gz1.30699 (1)22.426 (1)0.215001 (1)0.0581761 (1)0.123519 (1)0.032716 (1)0.067035 (1)0.479368 (1)
kbtree9_7_3_5_30_1.wcsp.wcnf.gz30.9584 (9)97.8948 (9)448.133 (9)33.8534 (9)24.3274 (9)17.8018 (9)176.58 (9)3600.0 (-)
kbtree9_7_3_5_30_4.wcsp.wcnf.gz15.2227 (6)30.9053 (6)13.1095 (6)0.946351 (6)1.18988 (6)0.338278 (6)8.21518 (6)227.634 (6)
kbtree9_7_3_5_30_5.wcsp.wcnf.gz9.44471 (6)30.4104 (6)56.4487 (6)1.49926 (6)2.84746 (6)1.48984 (6)7.7907 (6)134.775 (6)
kbtree9_7_3_5_40_2.wcsp.wcnf.gz71.4136 (26)128.023 (26)3600.0 (-)3600.0 (-)3600.0 (-)1923.65 (26)3600.0 (-)3600.0 (-)
kbtree9_7_3_5_40_4.wcsp.wcnf.gz94.4702 (22)106.869 (22)1371.46 (22)2377.3 (22)328.429 (22)251.833 (22)3600.0 (-)3600.0 (-)
kbtree9_7_3_5_40_6.wcsp.wcnf.gz60.7033 (26)189.675 (26)3600.0 (-)3600.0 (-)1130.41 (26)882.944 (26)3600.0 (-)3600.0 (-)
kbtree9_7_3_5_50_3.wcsp.wcnf.gz248.712 (37)138.579 (37)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
kbtree9_7_3_5_60_4.wcsp.wcnf.gz81.0964 (59)190.636 (59)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
kbtree9_7_3_5_70_6.wcsp.wcnf.gz83.5283 (74)216.275 (74)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
kbtree9_7_3_5_90_2.wcsp.wcnf.gz14.859 (125)26.2926 (125)719.001 (125)867.597 (125)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut-140-630-0.7-12.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut-140-630-0.7-20.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut-140-630-0.7-28.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut-140-630-0.7-4.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut-140-630-0.7-45.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut-140-630-0.7-6.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut-140-630-0.8-1.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut-140-630-0.8-18.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut-140-630-0.8-26.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut-140-630-0.8-39.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
meltdown_min.wcnf.gz1115.96 (69)1124.31 (69)2302.1 (69)1408.8 (69)1677.28 (69)911.642 (69)593.577 (69)3600.0 (-)
mem_ctrl-debug.dimacs.wcnf.gz21.8448 (1)2.27459 (1)1.39298 (1)2.58074 (1)1.58548 (1)1.44869 (1)2.95729 (1)679.374 (1)
mrisc-debug.dimacs.wcnf.gz57.3572 (1)18.0785 (1)9.08382 (1)12.7376 (1)3.91496 (1)3.54737 (1)15.5217 (1)3600.0 (-)
mrisc_mem2wire.wcnf.gz84.859 (5)22.6338 (5)110.163 (5)21.3612 (5)300.415 (5)65.2686 (5)56.477 (5)389.099 (5)
ms_160_20_20-0.wcnf.gz1306.13 (79)978.428 (79)1165.18 (79)821.482 (79)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ms_200_10_40-0.wcnf.gz1468.4 (88)759.62 (88)827.981 (88)640.666 (88)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ms_200_12_20-3.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ms_200_16_20-0.wcnf.gz3600.0 (-)1190.06 (84)1086.76 (84)818.876 (84)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ms_200_20_20-6.wcnf.gz3600.0 (-)1023.63 (67)1146.78 (67)990.697 (67)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ms_200_22_20-2.wcnf.gz2522.22 (103)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ms_200_26_20-0.wcnf.gz266.837 (71)268.709 (71)166.83 (71)130.294 (71)3600.0 (-)3600.0 (-)921.018 (71)3600.0 (-)
ms_250_10_40-0.wcnf.gz423.152 (110)488.702 (110)390.685 (110)250.724 (110)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ms_250_20_10-0.wcnf.gz250.435 (64)252.115 (64)148.711 (64)128.362 (64)3600.0 (-)3600.0 (-)537.837 (64)3600.0 (-)
ms_260_20_20-0.wcnf.gz1481.03 (76)878.072 (76)934.939 (76)767.197 (76)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ms_260_20_20-1.wcnf.gz2071.36 (66)749.995 (66)742.91 (66)772.551 (66)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ms_320_20_20-0.wcnf.gz170.532 (77)215.794 (77)152.08 (77)109.465 (77)3600.0 (-)3600.0 (-)424.905 (77)3600.0 (-)
mul_8_11.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
mul_8_13.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
mul_8_14.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
mul_8_3.wcnf.gz519.543 (36)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
mul_8_9.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
mux6.wcnf.gz0.021835 (24)0.218513 (24)0.012222 (24)0.018939 (24)0.035078 (24)0.0340951 (24)0.0138759 (24)0.04017 (24)
navigation_3x3_4.wcnf.gz2.69017 (4)3.74169 (4)4.52309 (4)3.65327 (4)7.86997 (4)7.48848 (4)1.18631 (4)5.57335 (4)
navigation_3x3_5.wcnf.gz5.04188 (4)5.94366 (4)9.24344 (4)5.77746 (4)16.7279 (4)10.4995 (4)2.89266 (4)10.3004 (4)
navigation_3x3_6.wcnf.gz11.5242 (4)8.67459 (4)17.6284 (4)10.0062 (4)37.7691 (4)15.7845 (4)6.32924 (4)60.703 (4)
navigation_4x4_5.wcnf.gz100.319 (5)100.183 (5)251.582 (5)99.7833 (5)446.933 (5)155.203 (5)131.525 (5)570.644 (5)
navigation_4x4_7.wcnf.gz315.387 (5)203.002 (5)672.192 (5)190.652 (5)765.327 (5)276.617 (5)189.824 (5)2019.97 (5)
navigation_5x5_10.wcnf.gz1382.23 (8)1523.18 (8)2475.51 (8)2062.36 (8)3116.01 (8)1662.97 (8)2119.51 (8)3600.0 (-)
navigation_5x5_8.wcnf.gz377.871 (8)1070.85 (8)1070.3 (8)798.748 (8)3160.95 (8)898.996 (8)1246.15 (8)3600.0 (-)
navigation_5x5_9.wcnf.gz634.595 (8)1339.64 (8)2865.97 (8)2042.12 (8)2989.16 (8)1404.8 (8)1956.12 (8)3600.0 (-)
normalized-9sym.b.opb.msat.wcnf.gz0.189185 (5)11.2331 (5)0.053137 (5)0.0331031 (5)0.0616609 (5)0.0397421 (5)0.0382241 (5)0.813424 (5)
normalized-aim-200-3_4-yes1-1.opb.msat.wcnf.gz0.015758 (200)1.10614 (200)0.012419 (200)0.015083 (200)0.0135469 (200)0.0133269 (200)0.0224291 (200)0.01973 (200)
normalized-aim-200-6_0-yes1-2.opb.msat.wcnf.gz0.026267 (200)2.94411 (200)0.0159761 (200)0.0152521 (200)0.022589 (200)0.015334 (200)0.0229029 (200)0.0379181 (200)
normalized-alu4.b.opb.msat.wcnf.gz0.702341 (50)4.24674 (50)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
normalized-apex4.a.opb.msat.wcnf.gz2.26872 (776)0.948876 (776)7.41327 (776)2.67268 (776)0.478416 (776)0.224339 (776)3600.0 (-)4.48927 (776)
normalized-bench1.pi.opb.msat.wcnf.gz1.12945 (121)16.4687 (121)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
normalized-count.b.opb.msat.wcnf.gz0.154025 (24)0.390731 (24)0.160597 (24)0.0761219 (24)0.151538 (24)0.03121 (24)10.4116 (24)1.27541 (24)
normalized-e64.b.opb.msat.wcnf.gz0.759885 (47)9.21045 (47)0.498688 (47)0.257277 (47)1.23267 (47)0.187664 (47)3600.0 (-)3600.0 (-)
normalized-ex5.pi.opb.msat.wcnf.gz3.94603 (65)6.51889 (65)2187.74 (65)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
normalized-exam.pi.opb.msat.wcnf.gz0.935717 (63)7.11805 (63)242.773 (63)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
normalized-f51m.b.opb.msat.wcnf.gz0.110795 (18)0.904385 (18)0.715968 (18)0.140211 (18)0.211737 (18)0.0592769 (18)23.3118 (18)6.03872 (18)
normalized-g2x2.opb.msat.wcnf.gz0.0165199 (2)0.0137579 (2)0.012474 (2)0.01302 (2)0.0137891 (2)0.0121741 (2)0.014234 (2)0.0142129 (2)
normalized-g9x3.opb.msat.wcnf.gz0.015881 (7)0.031934 (7)0.0131439 (7)0.013142 (7)0.013999 (7)0.015607 (7)0.0128119 (7)0.017533 (7)
normalized-g9x9.opb.msat.wcnf.gz0.30455 (20)0.915902 (20)0.0269331 (20)0.0703921 (20)0.0673309 (20)0.0177389 (20)0.163038 (20)0.254681 (20)
normalized-hanoi4.opb.msat.wcnf.gz0.230772 (718)600.165 (718)0.252364 (718)0.151919 (718)0.500059 (718)3.39377 (718)0.160123 (718)1.39087 (718)
normalized-ii8a2.wcnf.gz1.80301 (139)7.30323 (139)0.164336 (139)0.054488 (139)2940.72 (139)1818.3 (139)3600.0 (-)1.69837 (139)
normalized-jac3.opb.msat.wcnf.gz0.616514 (15)1.49123 (15)22.1467 (15)1.06609 (15)150.761 (15)434.237 (15)3600.0 (-)39.0991 (15)
normalized-par16-1.opb.msat.wcnf.gz0.188598 (1015)145.591 (1015)0.35886 (1015)0.308 (1015)0.534774 (1015)0.364568 (1015)0.295274 (1015)6.79092 (1015)
normalized-par16-2.opb.msat.wcnf.gz0.349401 (1015)148.561 (1015)0.4785 (1015)0.470741 (1015)0.373109 (1015)0.307734 (1015)0.465661 (1015)5.31119 (1015)
normalized-par16-4.opb.msat.wcnf.gz0.153652 (1015)87.5548 (1015)0.224501 (1015)0.333778 (1015)0.178098 (1015)0.21682 (1015)0.204188 (1015)1.24311 (1015)
normalized-par8-1.opb.msat.wcnf.gz0.013086 (350)0.123775 (350)0.015167 (350)0.014082 (350)0.585196 (350)0.797547 (350)0.027701 (350)0.0323491 (350)
normalized-par8-2.opb.msat.wcnf.gz0.0123969 (350)0.109467 (350)0.015247 (350)0.0129579 (350)0.177974 (350)0.236945 (350)0.0237921 (350)0.0322281 (350)
normalized-par8-3.opb.msat.wcnf.gz0.0132581 (350)0.13074 (350)0.0206089 (350)0.0146831 (350)0.204972 (350)0.263064 (350)0.0159331 (350)0.0321149 (350)
normalized-sao2.b.opb.msat.wcnf.gz0.0934171 (25)2.50799 (25)0.037891 (25)14.9255 (25)118.324 (25)42.992 (25)329.93 (25)0.292659 (25)
normalized-test4.pi.opb.msat.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
p1.wcnf.t.wcnf.gz288.539 (35)94.6669 (35)132.926 (35)195.909 (35)678.61 (35)359.159 (35)74.8081 (35)3600.0 (-)
p15.wcnf.gz128.164 (5)5.77806 (5)29.7799 (5)6.09687 (5)76.3933 (5)57.145 (5)17.667 (5)233.931 (5)
p_hat1000-2.clq.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
p_hat700-2.clq.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
parkinsons_test_1_CNF_4_1.wcnf.gz0.0145871 (14)0.0125929 (14)0.0154561 (14)0.0134829 (14)0.014651 (14)0.0138441 (14)0.0236311 (14)0.012713 (14)
parkinsons_test_6_CNF_5_1.wcnf.gz0.014709 (17)0.0130281 (17)0.015769 (17)0.014033 (17)0.0133401 (17)0.0171811 (17)0.018665 (17)0.015412 (17)
parkinsons_train_6_DNF_3_1.wcnf.gz14.5143 (12)557.637 (12)1.58132 (12)0.672601 (12)8.94316 (12)1.57793 (12)5.66932 (12)477.564 (12)
pesp_18Min.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
pesp_5min.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)977.716 (68)3600.0 (-)
promoters.wcnf.gz0.0677329 (92)0.117098 (92)0.028969 (92)0.105252 (92)0.0449951 (92)0.0426461 (92)0.0626519 (92)0.321594 (92)
ram_k3_n10.ra0.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ram_k3_n11.ra0.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ram_k3_n12.ra0.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ram_k3_n13.ra0.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ram_k3_n14.ra0.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ram_k3_n15.ra0.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ram_k3_n18.ra0.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ram_k3_n19.ra0.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ram_k3_n9.ra0.wcnf.gz1.19991 (1)25.6651 (1)7.28765 (1)0.273633 (1)0.961131 (1)1.67865 (1)0.652413 (1)0.575117 (1)
ram_k4_n18.ra0.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ram_k4_n19.ra0.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ram_k4_n20.ra0.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
rand208_l2.wcnf.gz2.54099 (349)10.2314 (349)3.14264 (349)0.76502 (349)0.308451 (349)0.187938 (349)3.57569 (349)4.10601 (349)
rand242_l2.wcnf.gz2.79063 (388)13.2543 (388)4.05444 (388)1.01684 (388)0.436094 (388)0.23597 (388)5.27926 (388)4.61367 (388)
rand411_l2.wcnf.gz1.0946 (578)8.3936 (578)3.09427 (578)0.971089 (578)0.504305 (578)0.26107 (578)4.53507 (578)4.50938 (578)
rand414_l2.wcnf.gz8.78465 (1259)2.87839 (1259)1.88816 (1259)0.869723 (1259)0.430319 (1259)0.287272 (1259)8.19754 (1259)3.39626 (1259)
rand425_l2.wcnf.gz0.783009 (694)5.24283 (694)2.67134 (694)0.607163 (694)0.309119 (694)0.233035 (694)4.11935 (694)3.2399 (694)
rand446_l2.wcnf.gz1.39282 (416)12.7296 (416)3.6872 (416)0.938972 (416)0.424343 (416)0.311789 (416)3.89969 (416)3.68346 (416)
rand736_l2.wcnf.gz0.836246 (1232)2.43043 (1232)1.36126 (1232)0.59421 (1232)0.35833 (1232)0.247636 (1232)7.00807 (1232)3.80382 (1232)
rand794_l2.wcnf.gz2.10448 (472)7.55547 (472)2.50938 (472)0.640878 (472)0.291786 (472)0.195081 (472)2.78512 (472)4.16916 (472)
rand813_l2.wcnf.gz0.873606 (1192)2.47133 (1192)1.59182 (1192)0.636569 (1192)0.412535 (1192)0.273767 (1192)7.03555 (1192)4.49924 (1192)
rand937_l2.wcnf.gz2.83614 (439)8.80866 (439)3.31383 (439)0.795987 (439)0.317819 (439)0.215556 (439)3.50125 (439)4.03294 (439)
rand96_l2.wcnf.gz2.48947 (392)8.9656 (392)3.32448 (392)0.729029 (392)0.321481 (392)0.193534 (392)3.72923 (392)3.56336 (392)
real-2.wcnf.gz1.63479 (368)2.2661 (368)0.515888 (368)2.61118 (368)4.56226 (368)4.5725 (368)0.421001 (368)6.63751 (368)
real-5.wcnf.gz2.67977 (31589)2.99645 (31589)0.720981 (31589)3.38158 (31589)9.63356 (31589)9.53693 (31589)115.958 (31589)110.691 (31589)
real-6.wcnf.gz2.22527 (356)2.95935 (356)0.70528 (356)3.44131 (356)1.24772 (356)0.702559 (356)0.596666 (356)7.64629 (356)
rev44-10.wcnf.gz8.49616 (5)112.765 (5)2.03948 (5)0.839129 (5)1.99803 (5)0.627785 (5)0.591656 (5)4.6259 (5)
rev44-12.wcnf.gz3.47705 (2)348.206 (2)3.242 (2)0.521603 (2)3.20961 (2)0.655829 (2)0.624581 (2)5.34571 (2)
rev44-2.wcnf.gz0.0139849 (16)0.0247571 (16)0.012308 (16)0.0145101 (16)0.013037 (16)0.0126211 (16)0.0142461 (16)0.0153281 (16)
rev44-6.wcnf.gz0.77693 (11)9.95089 (11)0.165593 (11)0.0971849 (11)0.35484 (11)0.096581 (11)0.037537 (11)0.524492 (11)
rev66-16.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
rev66-18.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
rev66-2.wcnf.gz0.0204879 (36)0.0439821 (36)0.011615 (36)0.015659 (36)0.014603 (36)0.0133161 (36)0.0116661 (36)0.0356161 (36)
rev66-20.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
rev66-22.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
rev66-24.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
rev66-28.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
rev66-32.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
role_domino_0.0_10.wcnf.gz4.19906 (5)4.13194 (5)23.4813 (5)5.01521 (5)0.646042 (5)0.64288 (5)1.13935 (5)24.9139 (5)
role_domino_0.0_11.wcnf.gz4.21138 (4)4.13319 (4)23.439 (4)5.01194 (4)0.651766 (4)0.635305 (4)0.802182 (4)25.0316 (4)
role_domino_0.0_12.wcnf.gz4.20205 (1)4.13314 (1)23.4889 (1)4.99117 (1)0.590252 (1)0.615474 (1)0.673011 (1)24.8132 (1)
role_domino_0.0_6.wcnf.gz4.20341 (4)4.16029 (4)23.4473 (4)4.9954 (4)0.66825 (4)0.634748 (4)1.10876 (4)25.0915 (4)
role_domino_multiple_0.0_7.wcnf.gz134.247 (50)59.2806 (50)104.525 (50)3600.0 (-)1.93892 (50)1.45778 (50)3600.0 (-)181.415 (50)
role_smallcomp_0.0_5.wcnf.gz0.0134989 (2)0.240072 (2)0.0117241 (2)0.0134401 (2)0.0128729 (2)0.012997 (2)0.0145579 (2)0.051141 (2)
role_smallcomp_0.0_6.wcnf.gz0.0128129 (4)0.249679 (4)0.0139449 (4)0.014789 (4)0.014667 (4)0.0134349 (4)0.015794 (4)0.0527579 (4)
role_university_0.0_2.wcnf.gz10.739 (12)7.01834 (12)2.2451 (12)3600.0 (-)2.90424 (12)1.82433 (12)8.83236 (12)414.728 (12)
role_university_0.0_4.wcnf.gz10.7324 (17)7.03738 (17)2.23953 (17)3600.0 (-)2.65513 (17)2.08667 (17)10.4515 (17)464.836 (17)
role_university_0.0_6.wcnf.gz10.7232 (10)7.03056 (10)2.259 (10)8.80825 (10)2.62929 (10)1.75652 (10)5.92133 (10)476.442 (10)
role_university_multiple_0.0_0.wcnf.gz88.7406 (30)66.5652 (30)102.846 (30)72.6021 (30)2.74977 (30)1.84835 (30)319.292 (30)60.1411 (30)
role_university_multiple_0.0_2.wcnf.gz63.342 (21)88.4478 (21)143.206 (21)73.3499 (21)2.62459 (21)1.81893 (21)108.107 (21)252.348 (21)
rsdecoder-debug.dimacs.wcnf.gz161.307 (1)76.2072 (1)138.954 (1)84.4988 (1)4.08514 (1)3.80152 (1)14.2582 (1)2066.94 (1)
rsdecoder-problem.dimacs_39.filtered.wcnf.gz167.608 (1)56.3825 (1)23.5566 (1)34.3321 (1)33.3934 (1)68.4783 (1)69.3197 (1)3600.0 (-)
rsdecoder_multivec1.dimacs.filtered.wcnf.gz2454.11 (4)1553.0 (4)107.142 (4)15.5747 (4)81.6054 (4)11.2683 (4)694.948 (4)3600.0 (-)
s01423_nan_explicit_8_0.wcnf.gz0.186067 (63)0.68503 (63)0.0867171 (63)0.282864 (63)0.214437 (63)0.218132 (63)0.108161 (63)0.532456 (63)
s15850-bug-onevec-gate-0.dimacs.seq.filtered.wcnf.gz0.834817 (1)11.6841 (1)0.641101 (1)0.401926 (1)0.138572 (1)0.13574 (1)0.295017 (1)45.458 (1)
s38417_nan_explicit_12_0.wcnf.gz0.4797 (70)0.501617 (70)0.183509 (70)0.652401 (70)0.751428 (70)0.769862 (70)0.236031 (70)1.53369 (70)
s38417_nan_explicit_14_0.wcnf.gz0.45324 (55)0.480109 (55)3.12488 (55)0.592874 (55)0.272891 (55)0.173083 (55)0.250988 (55)1.35961 (55)
s38417_nan_explicit_17_0.wcnf.gz0.455929 (61)0.449792 (61)0.281342 (61)0.570987 (61)1.16125 (61)1.09238 (61)0.230067 (61)1.34391 (61)
s38417_nan_explicit_18_0.wcnf.gz0.4131 (63)0.450545 (63)0.224524 (63)0.579549 (63)0.725683 (63)0.688742 (63)0.224094 (63)1.47942 (63)
s38417_nan_explicit_3_0.wcnf.gz0.658598 (65)0.736522 (65)0.2486 (65)0.968636 (65)0.714515 (65)0.694379 (65)0.271459 (65)2.1616 (65)
s38584_nan_explicit_20_0.wcnf.gz3600.0 (-)101.658 (194)283.965 (194)94.618 (194)414.353 (194)23.2678 (194)86.0517 (194)2064.08 (194)
s38584_nan_explicit_21_0.wcnf.gz149.042 (184)28.0971 (184)93.9177 (184)28.1361 (184)12.5382 (184)4.74609 (184)20.6386 (184)85.5298 (184)
s38584_nan_explicit_23_0.wcnf.gz3600.0 (-)85.6526 (179)233.09 (179)661.408 (179)436.303 (179)132.592 (179)35.0236 (179)878.865 (179)
s38584_nan_explicit_24_0.wcnf.gz3600.0 (-)160.918 (177)159.893 (177)167.43 (177)55.3534 (177)17.2563 (177)15.9795 (177)108.074 (177)
s38584_nan_explicit_42_0.wcnf.gz3600.0 (-)155.428 (193)96.6456 (193)174.142 (193)172.197 (193)15.5539 (193)11.7718 (193)396.794 (193)
s38584_nan_explicit_46_0.wcnf.gz2369.28 (172)32.6329 (172)93.3497 (172)27.4406 (172)23.1801 (172)15.3744 (172)17.0595 (172)402.345 (172)
sandiaprotein.g.wcnf.t.wcnf.gz166.115 (28)60.4618 (28)19.2152 (28)65.7873 (28)165.176 (28)205.153 (28)44.2972 (28)3600.0 (-)
sbox_4.wcnf.gz0.567938 (22)2.4444 (22)0.332317 (22)0.481871 (22)0.345894 (22)0.13256 (22)1111.01 (22)45.3097 (22)
sbox_8.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
schizo.wcnf.gz1.52098 (86)2.50869 (86)4.69112 (86)2.28557 (86)0.803497 (86)0.725832 (86)3600.0 (-)10.7204 (86)
scpclr10_maxsat.wcnf.gz17.7667 (25)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
scpclr11_maxsat.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
scpclr12_maxsat.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
scpclr13_maxsat.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
scpcyc06_maxsat.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
scpcyc07_maxsat.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
scpcyc08_maxsat.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
scpcyc09_maxsat.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
scpcyc10_maxsat.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
scpcyc11_maxsat.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
simp-abcd_25.08.wcnf.gz0.01344 (18)4.51555 (18)0.0168571 (18)0.012341 (18)0.0126881 (18)0.0128361 (18)0.012198 (18)0.0362211 (18)
simp-ace_35.09.wcnf.gz0.130405 (13)1.35701 (13)0.0123929 (13)0.0142379 (13)0.0249931 (13)0.023875 (13)0.0162999 (13)0.0482009 (13)
simp-cf_15.03.wcnf.gz0.126567 (17)0.869223 (17)0.0124641 (17)0.01213 (17)0.013083 (17)0.0130521 (17)0.015715 (17)0.0149821 (17)
simp-ibd_45.07.wcnf.gz2.68741 (51)600.41 (51)0.399124 (51)0.279633 (51)1.23439 (51)0.727595 (51)0.510845 (51)1.81382 (51)
simp-unif-10_50r40.02.wcnf.gz0.0172789 (17)15.5845 (17)0.012297 (17)0.013477 (17)0.0281209 (17)0.0266639 (17)0.012719 (17)0.0834181 (17)
simp-unif-30_50r4.04.wcnf.gz0.0158449 (13)1.84258 (13)0.0123301 (13)0.014283 (13)0.0401859 (13)0.039418 (13)0.0157711 (13)0.0954591 (13)
simp-unif-30_50r40.01.wcnf.gz0.025934 (18)30.9328 (18)0.015599 (18)0.0196491 (18)0.0787639 (18)0.076102 (18)0.013483 (18)0.1227 (18)
simp-unif-50_30.20.wcnf.gz0.0157729 (13)0.719714 (13)0.012385 (13)0.0148301 (13)0.0180659 (13)0.016704 (13)0.0140221 (13)0.046015 (13)
spectre_min.wcnf.gz3600.0 (-)1776.65 (89)3600.0 (-)2880.42 (89)3600.0 (-)3600.0 (-)1413.68 (89)3600.0 (-)
spi-debug.dimacs.wcnf.gz45.4969 (1)36.2696 (1)13.644 (1)17.0406 (1)7.97606 (1)7.18004 (1)39.7861 (1)3600.0 (-)
spi.wcnf.gz20.2202 (46)3.42786 (46)13.5172 (46)9.77466 (46)15.067 (46)12.5008 (46)3.44143 (46)68.1905 (46)
splitedReads_0.matrix.wcnf.gz3600.0 (-)1138.86 (1500)1944.34 (1500)231.387 (1500)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
splitedReads_137.matrix.wcnf.gz3.09178 (90)232.265 (90)2.61097 (90)0.904747 (90)0.788414 (90)0.664621 (90)23.0481 (90)6.36644 (90)
splitedReads_158.matrix.wcnf.gz45.4817 (173)345.566 (173)6.74563 (173)2.23515 (173)0.777721 (173)0.530423 (173)46.8956 (173)12.925 (173)
splitedReads_160.matrix.wcnf.gz8.41452 (186)603.486 (186)7.76247 (186)2.70085 (186)0.888108 (186)0.59796 (186)53.784 (186)18.1573 (186)
splitedReads_18.matrix.wcnf.gz6.96582 (138)279.074 (138)3.96096 (138)1.40092 (138)1.2589 (138)1.02906 (138)47.7306 (138)8.21316 (138)
splitedReads_414.matrix.wcnf.gz8.38568 (171)602.419 (171)5.48319 (171)1.88151 (171)1.39591 (171)1.52425 (171)44.056 (171)9.90283 (171)
sudoku-debug.dimacs.wcnf.gz38.2062 (1)20.0898 (1)8.92094 (1)13.6315 (1)3.1628 (1)3.94947 (1)11.9489 (1)3600.0 (-)
sudoku.wcnf.gz83.3263 (13)6.39478 (13)40.7707 (13)7.1444 (13)21.5619 (13)11.7954 (13)3.35469 (13)58.071 (13)
synthetic-10.wcnf.gz0.119655 (14623)0.609755 (14623)0.0473939 (14623)0.200922 (14623)0.106021 (14623)0.106874 (14623)3.25964 (14623)0.674507 (14623)
synthetic-12.wcnf.gz0.18781 (17989)0.930885 (17989)0.073121 (17989)0.308541 (17989)0.154087 (17989)0.150945 (17989)5.13771 (17989)0.901572 (17989)
synthetic-14.wcnf.gz0.119776 (5728)0.32051 (5728)0.097562 (5728)0.0867591 (5728)0.05651 (5728)0.0558039 (5728)0.587499 (5728)0.297029 (5728)
synthetic-15.wcnf.gz0.017006 (2055)0.0836119 (2055)0.0114691 (2055)0.0253059 (2055)0.017051 (2055)0.0157499 (2055)0.0623089 (2055)0.087309 (2055)
synthetic-2.wcnf.gz0.0856151 (11345)0.359244 (11345)0.0294381 (11345)0.122651 (11345)0.0697869 (11345)0.068067 (11345)1.87932 (11345)0.40382 (11345)
synthetic-21.wcnf.gz1.35963 (21342)1.19469 (21342)2.2649 (21342)0.33451 (21342)2.59086 (21342)2.35199 (21342)12.7583 (21342)4.20298 (21342)
synthetic-3.wcnf.gz0.090053 (4311)0.208155 (4311)0.0416399 (4311)0.0539889 (4311)0.0405261 (4311)0.0388559 (4311)0.441441 (4311)0.208121 (4311)
synthetic-5.wcnf.gz0.071803 (3174)0.129937 (3174)0.038903 (3174)0.0319479 (3174)0.0273341 (3174)0.026373 (3174)0.265365 (3174)0.13044 (3174)
synthetic-7.wcnf.gz0.035894 (3326)0.16514 (3326)0.014477 (3326)0.04893 (3326)0.0300691 (3326)0.0293001 (3326)0.14858 (3326)0.158014 (3326)
sysadmin_4_2.wcnf.gz36.5013 (0)46.7459 (0)16.8877 (0)47.2224 (0)34.537 (0)41.5743 (0)27.3222 (0)68.6401 (0)
sysadmin_4_3.wcnf.gz606.535 (2)409.395 (2)991.825 (2)186.609 (2)2245.47 (2)586.59 (2)1302.19 (2)3600.0 (-)
sysadmin_4_4.wcnf.gz1393.67 (3)607.708 (3)3071.38 (3)875.01 (3)3600.0 (-)2316.88 (3)2749.5 (3)3600.0 (-)
sysadmin_5_2.wcnf.gz32.5093 (0)100.963 (0)223.294 (0)102.471 (0)1380.8 (0)642.828 (0)242.093 (0)1521.91 (0)
sysadmin_5_3.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
sysadmin_5_4.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
teams20_l10a.cnf.wcnf.gz451.873 (24)8.31568 (24)330.87 (24)4.95751 (24)46.8194 (24)41.2732 (24)2381.28 (24)3600.0 (-)
threshold128_1.wcnf.gz22.0393 (800)646.101 (800)121.999 (800)40.2303 (800)91.0344 (800)293.122 (800)3600.0 (-)720.079 (800)
threshold128_7.wcnf.gz88.3309 (800)643.992 (800)106.873 (800)40.5283 (800)157.382 (800)254.264 (800)3600.0 (-)452.408 (800)
titanic.wcnf.gz0.0134111 (7)0.0786311 (7)0.0128549 (7)0.0146721 (7)0.013943 (7)0.0179911 (7)0.0121779 (7)0.0207919 (7)
titanic_test_5_CNF_1_1.wcnf.gz0.0153179 (36)0.0167631 (36)0.0150049 (36)0.01255 (36)0.0139281 (36)0.0133179 (36)0.0128799 (36)0.0154669 (36)
titanic_train_5_DNF_2_1.wcnf.gz51.8144 (237)419.272 (237)1.72496 (237)1.76534 (237)238.961 (237)88.4449 (237)34.4769 (237)3600.0 (-)
toms_test_1_DNF_1_1.wcnf.gz22.9683 (58)603.679 (58)2.14737 (58)1.41178 (58)44.9564 (58)38.3658 (58)54.0387 (58)2185.72 (58)
transfusion_train_4_DNF_5_1.wcnf.gz0.074254 (170)600.238 (170)0.366986 (170)0.144607 (170)2.04305 (170)0.345072 (170)3.27414 (170)4.36511 (170)
uaq-max-nc-nr10-np400-rpp5-nc40-n8-t3-plb10-n0.wcnf.gz0.0242819 (84)2.2657 (84)0.0396409 (84)0.016553 (84)0.176719 (84)0.180063 (84)0.0217369 (84)0.0650641 (84)
uaq-max-t-nr1000-np1000-rpp1-nc50-n12-t6-plb10-n6.wcnf.gz18.0877 (750)64.9457 (750)11.6744 (750)4.71342 (750)17.2395 (750)5.1216 (750)3600.0 (-)20.0779 (750)
uaq-max-t-nr1000-np1000-rpp1-nc50-n12-t8-plb10-n0.wcnf.gz31.3444 (650)110.097 (650)27.0326 (650)10.2526 (650)46.5042 (650)14.9211 (650)3600.0 (-)44.6264 (650)
uaq-min-nc-nr200-np400-rpp5-nc40-rs8-t3-plb10-n0.wcnf.gz0.32886 (50)0.603634 (50)0.090586 (50)0.045626 (50)3.43899 (50)0.677333 (50)6.25974 (50)0.289592 (50)
uaq-min-nc-nr200-np400-rpp5-nc80-rs8-t3-plb10-n8.wcnf.gz1.10309 (56)5.12978 (56)0.109629 (56)0.057738 (56)10.326 (56)2.1219 (56)6.67394 (56)0.364091 (56)
uaq-min-nr-nr50-np400-rpp5-nc0-rs0-t0-plb100-n9.wcnf.gz2724.46 (234)3035.91 (234)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1188.13 (234)3600.0 (-)
uaq-min-nr-nr50-np400-rpp5-nc0-rs0-t0-plb2-n6.wcnf.gz0.0276859 (36)0.115709 (36)0.048989 (36)0.0201479 (36)0.077349 (36)0.071093 (36)0.022814 (36)0.063878 (36)
uaq-min-plb-nr10-np400-rpp5-nc0-rs0-t0-plb20-n2.wcnf.gz1.41344 (340)3.8525 (340)0.205429 (340)0.047917 (340)8.80446 (340)7.65618 (340)0.0436861 (340)0.184262 (340)
uaq-min-plb-nr200-np400-rpp5-nc0-rs0-t0-plb45-n2.wcnf.gz3600.0 (-)33.0534 (104)487.538 (104)381.991 (104)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
uaq-min-rpp-nr200-np400-rpp5-nc0-rs0-t0-plb10-n3.wcnf.gz0.334009 (47)0.391429 (47)0.085719 (47)0.0326729 (47)3.97374 (47)0.73545 (47)3.06471 (47)0.310264 (47)
uaq-min-rpp-nr200-np400-rpp5-nc0-rs0-t0-plb4-n3.wcnf.gz0.141398 (28)0.23821 (28)0.0498851 (28)0.020063 (28)0.0531239 (28)0.0429709 (28)0.067398 (28)0.287687 (28)
uaq-min-rpp-nr200-np400-rpp6-nc0-rs0-t0-plb1-n4.wcnf.gz0.0200279 (11)0.144963 (11)0.0262341 (11)0.013803 (11)0.0406909 (11)0.0392521 (11)0.012684 (11)0.0917339 (11)
uaq-nr-nr100-nc33-n3-k2-rpp4-ppr2-plb50.wcnf.gz2.43143 (44)5.95842 (44)9.43611 (44)4.02951 (44)26.5371 (44)9.58271 (44)28.8569 (44)195.588 (44)
uaq-nr-nr110-nc36-n3-k2-rpp4-ppr2-plb50.wcnf.gz1.98877 (45)6.68397 (45)3.54504 (45)1.14074 (45)11.2129 (45)3.45908 (45)4.91227 (45)71.5114 (45)
uaq-nr-nr160-nc53-n3-k2-rpp4-ppr2-plb50.wcnf.gz2.17524 (52)7.85419 (52)6.47285 (52)2.50322 (52)63.6389 (52)27.177 (52)912.785 (52)547.354 (52)
uaq-nr-nr180-nc60-n3-k2-rpp4-ppr2-plb50.wcnf.gz1.41719 (54)7.99937 (54)4.89128 (54)1.48805 (54)302.712 (54)380.868 (54)3600.0 (-)439.844 (54)
uaq-nr-nr190-nc63-n3-k2-rpp4-ppr2-plb50.wcnf.gz1.6119 (51)3.89762 (51)0.74013 (51)0.672914 (51)100.329 (51)30.2529 (51)2090.36 (51)43.026 (51)
uaq-nr-nr210-nc70-n3-k2-rpp4-ppr2-plb50.wcnf.gz1.74777 (59)5.14793 (59)10.0682 (59)0.944399 (59)371.697 (59)378.589 (59)1740.59 (59)540.14 (59)
uaq-nr-nr400-nc133-n3-k2-rpp4-ppr2-plb50.wcnf.gz0.039515 (57)0.170843 (57)0.022869 (57)0.020878 (57)0.01614 (57)0.016449 (57)1.73473 (57)0.267117 (57)
uaq-nr-nr410-nc136-n3-k2-rpp4-ppr2-plb50.wcnf.gz0.0386171 (68)0.170994 (68)0.0192471 (68)0.019006 (68)0.0173521 (68)0.00965489 (68)1.89038 (68)0.245661 (68)
uaq-ppr-nr200-nc66-n5-k2-rpp4-ppr13-plb100.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
uaq-rpp-nr100-nc33-n3-k2-rpp16-ppr2-plb20.wcnf.gz315.786 (62)190.828 (62)59.1215 (62)35.7075 (62)68.0085 (62)24.3033 (62)24.3764 (62)3600.0 (-)
uaq-rpp-nr100-nc33-n3-k2-rpp19-ppr2-plb20.wcnf.gz340.475 (66)242.491 (66)51.1075 (66)25.7335 (66)66.1322 (66)22.1497 (66)20.9737 (66)3600.0 (-)
uaq-rpp-nr100-nc33-n3-k2-rpp9-ppr2-plb20.wcnf.gz37.8661 (50)47.1845 (50)32.4259 (50)15.8952 (50)60.0807 (50)36.3791 (50)24.3608 (50)2203.82 (50)
uci_mammo_data.wcnf.gz1351.37 (58)897.106 (58)1909.48 (58)383.985 (58)112.691 (58)147.122 (58)119.856 (58)3600.0 (-)
vga-debug.dimacs.wcnf.gz47.9425 (1)3.11423 (1)1.88862 (1)3.5541 (1)2.14834 (1)2.09904 (1)6.89678 (1)1533.16 (1)
wb-debug.dimacs.wcnf.gz173.979 (28)5.44137 (28)16.7321 (28)6.68726 (28)3.92169 (28)3.19185 (28)3600.0 (-)756.71 (28)
wdbc_train_0_CNF_2_1.wcnf.gz3600.0 (-)610.649 (23)200.849 (23)19.5051 (23)132.357 (23)100.818 (23)88.0237 (23)3600.0 (-)
we.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
wolfram72_3.wcnf.gz8.25308 (9288)606.056 (9288)5.06325 (9288)6.57815 (9288)32.0949 (9288)16.4875 (9288)3600.0 (-)341.582 (9288)
wolfram72_6.wcnf.gz31.6483 (9288)608.988 (9288)9.30282 (9288)9.49714 (9288)30.8881 (9288)31.7113 (9288)3600.0 (-)752.586 (9288)
wolfram72_8.wcnf.gz29.5545 (9288)619.024 (9288)4.52796 (9288)19.1435 (9288)23.5481 (9288)28.0616 (9288)3600.0 (-)601.644 (9288)
wolfram72_9.wcnf.gz36.56 (9288)605.853 (9288)6.14464 (9288)6.39135 (9288)29.6296 (9288)36.415 (9288)3600.0 (-)365.564 (9288)
wolfram80_3.wcnf.gz28.8358 (11440)618.847 (11440)108.76 (11440)19.4036 (11440)40.6595 (11440)40.4423 (11440)3600.0 (-)207.736 (11440)
wolfram80_5.wcnf.gz130.291 (11440)634.719 (11440)194.272 (11440)34.8004 (11440)44.0435 (11440)76.4755 (11440)3600.0 (-)1410.81 (11440)
wolfram80_7.wcnf.gz21.3895 (11440)608.032 (11440)8.6533 (11440)8.92278 (11440)57.9486 (11440)30.5492 (11440)3600.0 (-)253.296 (11440)