MaxSAT Evaluation 2017: Detailed Results of Unweighted Complete Track

BenchmarkOpen-WBO-RESOpen-WBO-MSE16MaxHSmaxinoMSUSortingQMaxSATucZ3QMaxSATLMHSOpen-WBO-LSUCPLEX
extension-enforcement/extension-enforcement_non-strict_stb_150_0.05_1_8_3.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)688.27 (6)3600.0 (-)12.59 (6)
extension-enforcement/extension-enforcement_non-strict_stb_150_0.05_2_8_3.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1923.83 (7)3600.0 (-)42.47 (7)
extension-enforcement/extension-enforcement_non-strict_stb_150_0.05_2_8_4.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1327.36 (4)3600.0 (-)17.24 (4)
extension-enforcement/extension-enforcement_non-strict_stb_150_0.1_2_8_2.wcnf2837.4 (8)1388.73 (8)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)15.6 (8)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_0_10_3.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)16.0 (9)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_1_10_0.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)112.2 (7)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_1_10_1.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)747.57 (10)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_1_10_2.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)93.26 (10)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_2_10_2.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)63.01 (8)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_3_10_0.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)33.52 (9)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_3_10_1.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)55.47 (8)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_4_10_0.wcnf3600.0 (-)2849.66 (6)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)51.06 (6)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_4_10_1.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)58.2 (7)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_4_10_2.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)40.19 (6)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_4_10_3.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)168.62 (8)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_4_10_4.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3259.06 (7)3600.0 (-)71.38 (7)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.1_2_10_1.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)18.8 (8)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.1_4_10_4.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)13.7 (8)
extension-enforcement/extension-enforcement_strict_com_100_0.05_0_30_3.wcnf3600.0 (-)3600.0 (-)199.78 (20)0.58 (20)3600.0 (-)3600.0 (-)7.34 (20)3600.0 (-)93.81 (20)3600.0 (-)7.81 (20)
extension-enforcement/extension-enforcement_strict_com_150_0.05_0_15_2.wcnf18.0 (39)17.77 (39)3600.0 (-)1.81 (39)3443.09 (39)3600.0 (-)16.32 (39)3600.0 (-)722.5 (39)3600.0 (-)23.38 (39)
extension-enforcement/extension-enforcement_strict_com_150_0.05_3_30_2.wcnf2573.79 (28)1687.7 (28)629.88 (28)2.03 (28)3600.0 (-)3600.0 (-)25.27 (28)3600.0 (-)702.53 (28)3600.0 (-)30.19 (28)
extension-enforcement/extension-enforcement_strict_com_150_0.05_4_15_1.wcnf16.31 (43)16.67 (43)317.37 (43)0.72 (43)12.99 (43)3600.0 (-)16.78 (43)3600.0 (-)661.74 (43)3600.0 (-)20.37 (43)
extension-enforcement/extension-enforcement_strict_com_150_0.05_4_30_4.wcnf13.55 (27)14.08 (27)319.89 (27)1.3 (27)5.13 (27)3600.0 (-)24.6 (27)3600.0 (-)2223.51 (27)3600.0 (-)42.19 (27)
extension-enforcement/extension-enforcement_strict_com_150_0.1_4_15_1.wcnf59.53 (24)49.78 (24)309.95 (24)0.68 (24)277.84 (24)3600.0 (-)15.61 (24)3600.0 (-)1137.08 (24)3600.0 (-)22.2 (24)
extension-enforcement/extension-enforcement_strict_com_150_0.2_4_8_3.wcnf3600.0 (-)3600.0 (-)3.36 (20)0.38 (20)3600.0 (-)3600.0 (-)10.79 (20)3600.0 (-)176.43 (20)3600.0 (-)14.87 (20)
extension-enforcement/extension-enforcement_strict_com_150_0.3_3_8_3.wcnf3600.0 (-)3600.0 (-)1.85 (19)0.4 (19)2876.16 (19)3600.0 (-)10.62 (19)3600.0 (-)70.48 (19)3600.0 (-)32.17 (19)
extension-enforcement/extension-enforcement_strict_com_200_0.05_0_40_1.wcnf3600.0 (-)3600.0 (-)9.0 (26)1.98 (26)3600.0 (-)3600.0 (-)49.91 (26)3600.0 (-)1640.72 (26)3600.0 (-)217.82 (26)
extension-enforcement/extension-enforcement_strict_com_200_0.05_1_40_1.wcnf2.74 (17)2.6 (17)342.81 (17)2.9 (17)8.71 (17)3600.0 (-)49.52 (17)3600.0 (-)3162.37 (17)3600.0 (-)225.1 (17)
extension-enforcement/extension-enforcement_strict_com_200_0.05_4_20_1.wcnf22.84 (33)23.13 (33)3600.0 (-)3.47 (33)24.59 (33)3600.0 (-)40.76 (33)3600.0 (-)3600.0 (-)3600.0 (-)84.15 (33)
extension-enforcement/extension-enforcement_strict_com_200_0.05_4_20_3.wcnf3600.0 (-)3600.0 (-)316.01 (49)1.27 (49)3600.0 (-)3600.0 (-)39.47 (49)3600.0 (-)1568.33 (49)3600.0 (-)92.89 (49)
extension-enforcement/extension-enforcement_strict_com_200_0.05_4_20_4.wcnf3600.0 (-)3600.0 (-)331.11 (50)1.79 (50)3600.0 (-)3600.0 (-)39.64 (50)3600.0 (-)2525.22 (50)3600.0 (-)88.41 (50)
extension-enforcement/extension-enforcement_strict_com_200_0.1_0_10_1.wcnf3600.0 (-)3600.0 (-)2.11 (35)0.64 (35)3600.0 (-)3600.0 (-)27.13 (35)3600.0 (-)787.87 (35)3600.0 (-)69.64 (35)
extension-enforcement/extension-enforcement_strict_com_200_0.1_2_20_2.wcnf110.73 (15)184.65 (15)5.96 (15)1.4 (15)288.79 (15)3600.0 (-)34.29 (15)3600.0 (-)867.77 (15)3600.0 (-)166.48 (15)
extension-enforcement/extension-enforcement_strict_com_200_0.2_1_10_0.wcnf3600.0 (-)3600.0 (-)30.38 (16)0.64 (16)3600.0 (-)3600.0 (-)23.58 (16)3600.0 (-)340.74 (16)3600.0 (-)108.7 (16)
extension-enforcement/extension-enforcement_strict_com_200_0.2_2_10_2.wcnf3600.0 (-)3600.0 (-)6.1 (16)0.88 (16)3600.0 (-)3600.0 (-)24.09 (16)3600.0 (-)549.55 (16)3600.0 (-)103.25 (16)
haplotype-assembly/splitedReads_0.matrix.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
haplotype-assembly/splitedReads_137.matrix.wcnf0.69 (90)0.69 (90)4.34 (90)0.67 (90)0.19 (90)3.49 (90)3.27 (90)3.27 (90)6.25 (90)33.07 (90)137.33 (90)
haplotype-assembly/splitedReads_158.matrix.wcnf2.09 (173)2.32 (173)21.11 (173)1.66 (173)83.94 (173)6.69 (173)7.2 (173)7.68 (173)17.61 (173)49.28 (173)2382.45 (173)
haplotype-assembly/splitedReads_160.matrix.wcnf2.01 (186)1.98 (186)13.2 (186)2.07 (186)17.6 (186)6.37 (186)8.63 (186)7.58 (186)13.02 (186)51.86 (186)430.4 (186)
haplotype-assembly/splitedReads_18.matrix.wcnf1.03 (138)1.05 (138)7.32 (138)1.05 (138)1.11 (138)6.24 (138)4.84 (138)4.83 (138)8.61 (138)36.88 (138)296.47 (138)
haplotype-assembly/splitedReads_414.matrix.wcnf1.53 (171)4.51 (171)12.05 (171)1.71 (171)2.44 (171)8.38 (171)6.15 (171)8.17 (171)12.8 (171)53.7 (171)1782.3 (171)
pbo-mqc-nencdr/10tree110p.wcnf3.83 (20)4.14 (20)8.99 (20)1.5 (20)6.12 (20)6.02 (20)16.02 (20)6.41 (20)14.7 (20)6.79 (20)3600.0 (-)
pbo-mqc-nencdr/10tree120p.wcnf21.91 (41)18.46 (41)30.65 (41)15.42 (41)55.05 (41)19.48 (41)394.15 (41)14.3 (41)59.82 (41)20.14 (41)3600.0 (-)
pbo-mqc-nencdr/10tree130p.wcnf91.85 (63)139.83 (63)148.08 (63)76.69 (63)344.92 (63)169.55 (63)3600.0 (-)108.58 (63)126.46 (63)72.24 (63)3600.0 (-)
pbo-mqc-nencdr/10tree215p.wcnf6.93 (31)11.86 (31)16.11 (31)4.5 (31)26.79 (31)10.62 (31)95.58 (31)11.87 (31)38.27 (31)14.39 (31)3600.0 (-)
pbo-mqc-nencdr/10tree225p.wcnf68.17 (52)62.29 (52)70.31 (52)56.37 (52)158.48 (52)53.02 (52)1916.52 (52)53.99 (52)108.65 (52)40.26 (52)3600.0 (-)
pbo-mqc-nencdr/10tree305p.wcnf0.8 (9)0.9 (9)0.79 (9)0.76 (9)0.61 (9)0.99 (9)1.51 (9)0.9 (9)1.25 (9)2.6 (9)3600.0 (-)
pbo-mqc-nencdr/10tree315p.wcnf8.12 (30)12.77 (30)14.0 (30)5.87 (30)23.11 (30)12.19 (30)90.37 (30)13.53 (30)27.9 (30)11.9 (30)3600.0 (-)
pbo-mqc-nencdr/10tree325p.wcnf42.68 (48)62.59 (48)66.38 (48)22.68 (48)111.67 (48)50.45 (48)1439.49 (48)44.19 (48)88.08 (48)25.89 (48)3600.0 (-)
pbo-mqc-nencdr/10tree405p.wcnf1.11 (9)1.15 (9)0.85 (9)0.6 (9)1.11 (9)0.94 (9)2.92 (9)0.94 (9)0.84 (9)1.17 (9)3600.0 (-)
pbo-mqc-nencdr/10tree410p.wcnf2.12 (21)8.76 (21)11.26 (21)2.5 (21)8.53 (21)5.33 (21)26.22 (21)5.42 (21)21.52 (21)4.45 (21)3600.0 (-)
pbo-mqc-nencdr/10tree420p.wcnf19.13 (41)24.16 (41)19.55 (41)14.11 (41)82.65 (41)23.45 (41)416.11 (41)26.03 (41)50.9 (41)22.67 (41)3600.0 (-)
pbo-mqc-nencdr/10tree430p.wcnf62.6 (62)70.61 (62)102.23 (62)87.99 (62)387.66 (62)89.09 (62)3600.0 (-)82.28 (62)114.97 (62)50.79 (62)3600.0 (-)
pbo-mqc-nencdr/10tree505posib.wcnf0.63 (10)0.66 (10)0.98 (10)0.38 (10)0.48 (10)0.8 (10)1.27 (10)0.39 (10)0.56 (10)0.46 (10)346.05 (10)
pbo-mqc-nencdr/10tree515p.wcnf4.31 (29)8.58 (29)13.0 (29)5.41 (29)20.64 (29)7.78 (29)94.83 (29)11.51 (29)34.15 (29)11.09 (29)3600.0 (-)
pbo-mqc-nencdr/10tree525p.wcnf50.89 (52)78.42 (52)95.47 (52)44.86 (52)149.25 (52)44.92 (52)1738.12 (52)51.19 (52)79.58 (52)34.77 (52)3600.0 (-)
pbo-mqc-nencdr/15tree1001p.wcnf12.02 (13)11.15 (13)28.92 (13)14.84 (13)28.04 (13)49.08 (13)231.75 (13)49.26 (13)52.97 (13)103.51 (13)3600.0 (-)
pbo-mqc-nencdr/15tree101p.wcnf15.85 (13)17.14 (13)24.23 (13)16.8 (13)22.19 (13)36.57 (13)125.9 (13)46.14 (13)35.82 (13)100.34 (13)3600.0 (-)
pbo-mqc-nencdr/15tree201p.wcnf27.64 (13)18.39 (13)16.44 (13)10.99 (13)39.96 (13)34.85 (13)161.33 (13)53.27 (13)27.64 (13)50.75 (13)3600.0 (-)
pbo-mqc-nencdr/15tree301p.wcnf15.11 (13)14.09 (13)72.85 (13)9.98 (13)33.04 (13)43.18 (13)162.86 (13)40.82 (13)23.08 (13)81.16 (13)3600.0 (-)
pbo-mqc-nencdr/15tree401p.wcnf8.9 (13)9.96 (13)19.46 (13)18.35 (13)30.05 (13)37.49 (13)149.06 (13)35.17 (13)37.47 (13)82.54 (13)3600.0 (-)
pbo-mqc-nencdr/15tree501p.wcnf17.5 (13)29.93 (13)32.94 (13)12.34 (13)33.26 (13)51.74 (13)239.3 (13)24.87 (13)28.34 (13)60.84 (13)3600.0 (-)
pbo-mqc-nencdr/15tree601p.wcnf20.92 (13)26.81 (13)59.51 (13)13.78 (13)37.04 (13)32.65 (13)232.83 (13)57.23 (13)253.06 (13)57.18 (13)3600.0 (-)
pbo-mqc-nencdr/15tree701p.wcnf17.53 (13)16.54 (13)77.89 (13)11.51 (13)29.02 (13)64.08 (13)195.35 (13)35.98 (13)43.26 (13)64.97 (13)3600.0 (-)
pbo-mqc-nencdr/15tree801p.wcnf19.73 (13)24.17 (13)12.47 (13)14.1 (13)35.46 (13)48.12 (13)357.51 (13)32.61 (13)15.86 (13)76.81 (13)3600.0 (-)
pbo-mqc-nencdr/15tree901p.wcnf17.72 (13)11.3 (13)19.28 (13)13.11 (13)29.58 (13)46.41 (13)186.32 (13)39.21 (13)36.55 (13)63.28 (13)3600.0 (-)
protein-ins/1bpi_.2knt_.g.wcnf.t.wcnf200.49 (35)235.38 (35)3600.0 (-)336.14 (35)162.63 (35)112.11 (35)3600.0 (-)98.73 (35)3600.0 (-)132.08 (35)3600.0 (-)
protein-ins/1bpi_.5pti_.g.wcnf.t.wcnf81.69 (29)73.77 (29)3600.0 (-)261.67 (29)124.7 (29)39.17 (29)1226.12 (29)42.34 (29)3600.0 (-)52.85 (29)3600.0 (-)
protein-ins/1knt_.1bpi_.g.wcnf.t.wcnf295.54 (35)233.94 (35)3600.0 (-)397.72 (35)261.33 (35)156.78 (35)3451.6 (35)86.22 (35)3600.0 (-)157.29 (35)3600.0 (-)
protein-ins/1knt_.2knt_.g.wcnf.t.wcnf3.96 (16)4.06 (16)27.06 (16)22.12 (16)4.18 (16)1.88 (16)59.92 (16)1.99 (16)182.35 (16)3.11 (16)3600.0 (-)
protein-ins/1knt_.5pti_.g.wcnf.t.wcnf128.25 (29)103.39 (29)3600.0 (-)289.92 (29)157.83 (29)57.16 (29)1796.47 (29)60.48 (29)3600.0 (-)85.99 (29)3600.0 (-)
protein-ins/1vii_.1cph_.g.wcnf.t.wcnf0.05 (7)0.04 (7)0.87 (7)0.09 (7)0.04 (7)0.02 (7)0.39 (7)0.02 (7)0.25 (7)0.02 (7)0.29 (7)
protein-ins/2knt_.5pti_.g.wcnf.t.wcnf104.03 (32)79.23 (32)3600.0 (-)362.67 (32)176.49 (32)65.77 (32)1030.06 (32)58.81 (32)3600.0 (-)127.24 (32)3600.0 (-)
protein-ins/3ebx_.1era_.g.wcnf.t.wcnf686.13 (34)328.28 (34)3600.0 (-)702.57 (34)388.88 (34)195.97 (34)3600.0 (-)163.17 (34)3600.0 (-)224.4 (34)3600.0 (-)
protein-ins/3ebx_.6ebx_.g.wcnf.t.wcnf36.45 (23)23.0 (23)278.6 (23)48.31 (23)35.22 (23)9.04 (23)169.6 (23)9.53 (23)370.72 (23)15.02 (23)3600.0 (-)
protein-ins/6ebx_.1era_.g.wcnf.t.wcnf101.46 (30)118.29 (30)3600.0 (-)229.98 (30)97.55 (30)37.63 (30)995.31 (30)45.42 (30)3600.0 (-)63.81 (30)3600.0 (-)
protein-ins/p1.wcnf.t.wcnf255.7 (35)174.25 (35)3600.0 (-)355.19 (35)170.04 (35)90.74 (35)3095.5 (35)93.45 (35)3600.0 (-)200.06 (35)3600.0 (-)
protein-ins/sandiaprotein.g.wcnf.t.wcnf144.74 (28)95.61 (28)3600.0 (-)207.61 (28)100.45 (28)43.9 (28)701.55 (28)56.21 (28)3600.0 (-)84.52 (28)3600.0 (-)
gen-hyper-tw/GenHyperTW_2bitcomp_5.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw/GenHyperTW_adder_15.wcnf656.53 (2)176.76 (2)191.21 (2)227.29 (2)126.27 (2)275.77 (2)492.71 (2)254.99 (2)130.72 (2)169.75 (2)3600.0 (-)
gen-hyper-tw/GenHyperTW_aim-50-1_6-no-3.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw/GenHyperTW_aim-50-2_0-no-3.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw/GenHyperTW_aim-50-2_0-yes1-3.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw/GenHyperTW_aim-50-3_4-yes1-3.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw/GenHyperTW_atv_partial_system.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3048.66 (3)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw/GenHyperTW_b02.wcnf2.79 (3)3.51 (3)0.73 (3)0.76 (3)1.56 (3)1.05 (3)4.52 (3)3.16 (3)4.42 (3)0.77 (3)3600.0 (-)
gen-hyper-tw/GenHyperTW_b06.wcnf235.72 (4)180.91 (4)1344.84 (4)320.61 (4)273.66 (4)55.27 (4)747.07 (4)68.08 (4)117.53 (4)133.21 (4)3600.0 (-)
gen-hyper-tw/GenHyperTW_clique_15.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw/GenHyperTW_dubois20.wcnf3518.11 (2)2859.29 (2)3600.0 (-)2187.65 (2)3473.73 (2)1923.6 (2)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw/GenHyperTW_dubois21.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3117.12 (2)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw/GenHyperTW_dubois23.wcnf2394.38 (2)1356.45 (2)3600.0 (-)981.35 (2)2578.56 (2)1730.66 (2)3600.0 (-)3600.0 (-)972.47 (2)3600.0 (-)3600.0 (-)
gen-hyper-tw/GenHyperTW_dubois25.wcnf3600.0 (-)3600.0 (-)3600.0 (-)2740.04 (2)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3064.53 (2)3600.0 (-)3600.0 (-)
gen-hyper-tw/GenHyperTW_dubois27.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw/GenHyperTW_dubois28.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw/GenHyperTW_dubois29.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw/GenHyperTW_dubois30.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw/GenHyperTW_flat30-1.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw/GenHyperTW_flat30-99.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw/GenHyperTW_grid3d_5.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw/GenHyperTW_grid4d_3.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw/GenHyperTW_grid5.wcnf12.03 (3)29.73 (3)36.23 (3)7.01 (3)29.84 (3)14.74 (3)27.99 (3)9.51 (3)29.96 (3)23.01 (3)3600.0 (-)
gen-hyper-tw/GenHyperTW_hole9.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw/GenHyperTW_par8-1-c.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw/GenHyperTW_par8-2-c.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw/GenHyperTW_par8-3-c.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw/GenHyperTW_par8-4-c.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw/GenHyperTW_par8-5-c.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw/GenHyperTW_pret60_25.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw/GenHyperTW_pret60_60.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw/GenHyperTW_s208.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw/GenHyperTW_s27.wcnf0.17 (2)0.18 (2)0.1 (2)0.04 (2)0.04 (2)0.02 (2)0.51 (2)0.04 (2)0.09 (2)0.03 (2)43.26 (2)
gen-hyper-tw/GenHyperTW_uf20-01.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw/GenHyperTW_uf20-099.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
kbtree/kbtree9_7_3_5_60_1.wcsp.wcnf3600.0 (-)1658.9 (54)52.25 (54)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)35.64 (54)
kbtree/kbtree9_7_3_5_60_2.wcsp.wcnf3600.0 (-)3600.0 (-)155.06 (59)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)148.96 (59)
kbtree/kbtree9_7_3_5_60_3.wcsp.wcnf3600.0 (-)3600.0 (-)114.41 (59)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)531.55 (59)
kbtree/kbtree9_7_3_5_60_4.wcsp.wcnf3600.0 (-)3600.0 (-)133.72 (59)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)391.79 (59)
kbtree/kbtree9_7_3_5_60_5.wcsp.wcnf3600.0 (-)3600.0 (-)62.98 (56)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)132.62 (56)
kbtree/kbtree9_7_3_5_60_6.wcsp.wcnf3600.0 (-)3600.0 (-)78.95 (57)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)325.81 (57)
kbtree/kbtree9_7_3_5_70_1.wcsp.wcnf3600.0 (-)3600.0 (-)41.26 (74)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)177.18 (74)
kbtree/kbtree9_7_3_5_70_2.wcsp.wcnf3600.0 (-)3600.0 (-)66.21 (72)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)540.7 (72)
kbtree/kbtree9_7_3_5_70_3.wcsp.wcnf3600.0 (-)3600.0 (-)64.82 (74)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)112.66 (74)
kbtree/kbtree9_7_3_5_70_4.wcsp.wcnf3600.0 (-)3600.0 (-)55.32 (73)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)362.14 (73)
kbtree/kbtree9_7_3_5_70_5.wcsp.wcnf3600.0 (-)3600.0 (-)66.36 (72)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)164.43 (72)
kbtree/kbtree9_7_3_5_70_6.wcsp.wcnf3600.0 (-)3600.0 (-)133.91 (74)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)243.56 (74)
kbtree/kbtree9_7_3_5_80_1.wcsp.wcnf3600.0 (-)3600.0 (-)30.42 (96)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2287.9 (96)3600.0 (-)33.08 (96)
kbtree/kbtree9_7_3_5_80_2.wcsp.wcnf3600.0 (-)3600.0 (-)56.37 (103)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2312.45 (103)3600.0 (-)78.68 (103)
kbtree/kbtree9_7_3_5_80_3.wcsp.wcnf3600.0 (-)3600.0 (-)39.74 (102)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2406.2 (102)3600.0 (-)25.33 (102)
kbtree/kbtree9_7_3_5_80_4.wcsp.wcnf2929.67 (100)3600.0 (-)22.63 (100)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1686.49 (100)3600.0 (-)29.26 (100)
kbtree/kbtree9_7_3_5_80_5.wcsp.wcnf3600.0 (-)3600.0 (-)33.54 (104)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2698.95 (104)3600.0 (-)27.53 (104)
kbtree/kbtree9_7_3_5_80_6.wcsp.wcnf3600.0 (-)3600.0 (-)44.05 (104)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3468.46 (104)3600.0 (-)115.6 (104)
kbtree/kbtree9_7_3_5_90_1.wcsp.wcnf3248.15 (124)341.66 (124)14.64 (124)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)30.54 (124)3600.0 (-)17.8 (124)
kbtree/kbtree9_7_3_5_90_2.wcsp.wcnf3600.0 (-)3600.0 (-)13.51 (125)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)949.91 (125)3600.0 (-)16.95 (125)
kbtree/kbtree9_7_3_5_90_3.wcsp.wcnf2513.23 (121)2396.88 (121)4.17 (121)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)89.59 (121)3600.0 (-)5.05 (121)
kbtree/kbtree9_7_3_5_90_4.wcsp.wcnf3143.21 (126)3600.0 (-)18.35 (126)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)541.68 (126)3600.0 (-)28.71 (126)
kbtree/kbtree9_7_3_5_90_5.wcsp.wcnf3600.0 (-)3600.0 (-)26.26 (124)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)795.18 (124)3600.0 (-)45.3 (124)
kbtree/kbtree9_7_3_5_90_6.wcsp.wcnf3557.54 (128)3600.0 (-)32.42 (128)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1028.61 (128)3600.0 (-)80.0 (128)
maxclique/MANN_a27.clq.wcnf1.52 (252)4.15 (252)7.44 (252)3600.0 (-)3600.0 (-)22.46 (252)3600.0 (-)26.44 (252)0.1 (252)4.57 (252)6.76 (252)
maxclique/MANN_a45.clq.wcnf452.98 (690)1226.19 (690)3600.0 (-)3600.0 (-)3600.0 (-)1246.97 (690)3600.0 (-)1558.11 (690)10.45 (690)3600.0 (-)254.69 (690)
maxclique/brock200_1.clq.wcnf500.3 (179)691.97 (179)1015.54 (179)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1644.81 (179)
maxclique/brock200_2.clq.wcnf14.05 (188)18.1 (188)82.11 (188)48.5 (188)38.91 (188)18.08 (188)76.49 (188)12.93 (188)89.76 (188)15.98 (188)154.03 (188)
maxclique/brock400_1.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxclique/brock400_4.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxclique/brock800_2.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxclique/brock800_3.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxclique/brock800_4.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxclique/c-fat200-2.clq.wcnf0.6 (176)0.59 (176)0.74 (176)0.04 (176)0.3 (176)0.05 (176)0.44 (176)0.07 (176)12.25 (176)0.1 (176)5.37 (176)
maxclique/c-fat500-10.clq.wcnf4.89 (374)4.79 (374)1.05 (374)0.23 (374)0.65 (374)0.16 (374)2.08 (374)0.18 (374)33.32 (374)0.29 (374)39.8 (374)
maxclique/c-fat500-2.clq.wcnf125.02 (474)88.67 (474)39.79 (474)0.55 (474)2.84 (474)0.49 (474)2.95 (474)0.53 (474)71.43 (474)0.78 (474)66.31 (474)
maxclique/c-fat500-5.clq.wcnf22.31 (436)18.33 (436)31.66 (436)0.37 (436)1.28 (436)0.3 (436)3.14 (436)0.35 (436)52.72 (436)0.44 (436)69.76 (436)
maxclique/hamming10-2.clq.wcnf0.23 (512)0.87 (512)0.03 (512)0.01 (512)0.38 (512)0.18 (512)0.31 (512)0.18 (512)0.96 (512)0.41 (512)0.08 (512)
maxclique/hamming6-2.clq.wcnf0.01 (32)0.0 (32)0.0 (32)0.0 (32)0.01 (32)0.0 (32)0.04 (32)0.0 (32)0.02 (32)0.0 (32)0.01 (32)
maxclique/hamming6-4.clq.wcnf0.03 (60)0.04 (60)0.12 (60)0.01 (60)0.02 (60)0.01 (60)0.09 (60)0.01 (60)0.19 (60)0.01 (60)0.2 (60)
maxclique/hamming8-4.clq.wcnf0.39 (240)3.12 (240)1.63 (240)10.03 (240)0.14 (240)0.25 (240)895.59 (240)0.24 (240)2.57 (240)0.29 (240)1.25 (240)
maxclique/johnson16-2-4.clq.wcnf2.47 (112)4.36 (112)0.95 (112)10.94 (112)3.88 (112)4.77 (112)123.66 (112)4.15 (112)0.11 (112)4.2 (112)0.02 (112)
maxclique/johnson32-2-4.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1.52 (480)3600.0 (-)0.09 (480)
maxclique/johnson8-2-4.clq.wcnf0.0 (24)0.0 (24)0.01 (24)0.01 (24)0.01 (24)0.01 (24)0.04 (24)0.0 (24)0.01 (24)0.01 (24)0.01 (24)
maxclique/johnson8-4-4.clq.wcnf0.01 (56)0.01 (56)0.02 (56)0.02 (56)0.02 (56)0.01 (56)0.08 (56)0.01 (56)0.03 (56)0.01 (56)0.02 (56)
maxclique/keller4.clq.wcnf0.37 (160)0.97 (160)19.56 (160)28.38 (160)10.13 (160)6.21 (160)210.18 (160)6.43 (160)19.2 (160)7.44 (160)52.96 (160)
maxclique/p_hat1000-1.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxclique/p_hat1000-2.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxclique/p_hat500-1.clq.wcnf3128.46 (491)3600.0 (-)3600.0 (-)984.64 (491)481.78 (491)104.0 (491)1127.94 (491)96.64 (491)3321.97 (491)96.83 (491)3600.0 (-)
maxclique/p_hat500-3.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxclique/p_hat700-1.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1495.26 (689)801.15 (689)3600.0 (-)908.9 (689)3600.0 (-)626.7 (689)3600.0 (-)
maxclique/san200_0.7_2.clq.wcnf0.07 (182)0.17 (182)0.03 (182)1459.44 (182)3600.0 (-)3600.0 (-)408.99 (182)3600.0 (-)1.72 (182)3600.0 (-)3.73 (182)
maxclique/san200_0.9_1.clq.wcnf0.04 (130)0.04 (130)0.01 (130)0.22 (130)35.27 (130)864.57 (130)0.16 (130)794.57 (130)0.16 (130)409.92 (130)0.04 (130)
maxclique/san200_0.9_2.clq.wcnf0.03 (140)0.09 (140)0.11 (140)18.01 (140)287.55 (140)3089.04 (140)11.35 (140)1786.39 (140)0.17 (140)2822.92 (140)0.06 (140)
maxclique/san400_0.7_1.clq.wcnf0.3 (360)0.45 (360)0.18 (360)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)32.1 (360)3600.0 (-)17.11 (360)
maxclique/san400_0.7_3.clq.wcnf0.51 (378)0.97 (378)0.4 (378)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1397.0 (378)3600.0 (-)3523.69 (378)
maxclique/sanr200_0.7.clq.wcnf169.45 (182)257.69 (182)471.99 (182)3600.0 (-)3238.63 (182)1302.91 (182)3600.0 (-)1390.34 (182)3157.32 (182)2071.34 (182)731.7 (182)
maxclique/sanr200_0.9.clq.wcnf990.45 (158)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2307.75 (158)
maxclique/sanr400_0.7.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut/MANN_a9.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut/brock200_1.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut/brock400_2.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut/brock400_4.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut/brock800_2.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2340.27 (207)
maxcut/brock800_3.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1474.41 (203)
maxcut/c-fat200-2.clq.wcnf0.03 (26)0.03 (26)0.09 (26)0.02 (26)1.02 (26)9.79 (26)0.06 (26)4.43 (26)0.08 (26)15.69 (26)0.12 (26)
maxcut/c-fat200-5.clq.wcnf3600.0 (-)3600.0 (-)140.51 (116)1620.86 (116)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)8.06 (116)
maxcut/c-fat500-1.clq.wcnf0.0 (2)0.0 (2)0.0 (2)0.0 (2)0.0 (2)0.0 (2)0.04 (2)0.0 (2)0.01 (2)0.0 (2)0.02 (2)
maxcut/hamming10-2.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut/hamming6-4.clq.wcnf3600.0 (-)3600.0 (-)542.29 (192)450.92 (192)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)67.96 (192)
maxcut/hamming8-4.clq.wcnf3600.0 (-)3600.0 (-)2767.87 (176)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)59.85 (176)
maxcut/p_hat1000-2.clq.wcnf3600.0 (-)3600.0 (-)420.71 (142)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)94.89 (142)
maxcut/p_hat1000-3.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut/p_hat300-1.clq.wcnf13.03 (49)13.73 (49)5.88 (49)2.3 (49)24.16 (49)26.72 (49)43.94 (49)22.36 (49)3600.0 (-)18.97 (49)3.53 (49)
maxcut/p_hat500-1.clq.wcnf382.0 (75)260.9 (75)35.01 (75)74.57 (75)646.73 (75)690.41 (75)464.02 (75)954.27 (75)3600.0 (-)378.6 (75)7.17 (75)
maxcut/p_hat500-3.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut/p_hat700-2.clq.wcnf3600.0 (-)3600.0 (-)795.57 (154)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)61.76 (154)
maxcut/p_hat700-3.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut/san400_0.5_1.clq.wcnf3600.0 (-)3600.0 (-)510.47 (146)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)71.41 (146)
maxcut/san400_0.7_1.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut/san400_0.7_2.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut/san400_0.7_3.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut/san400_0.9_1.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut/sanr200_0.7.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut/t3pm3-5555.spn.wcnf0.02 (17)0.02 (17)0.12 (17)0.01 (17)0.09 (17)0.18 (17)0.05 (17)0.12 (17)0.58 (17)0.24 (17)0.22 (17)
maxcut/t4pm3-6666.spn.wcnf6.81 (38)8.15 (38)2.54 (38)0.1 (38)11.43 (38)86.35 (38)0.2 (38)78.42 (38)4.92 (38)75.48 (38)2.24 (38)
maxcut/t5pm3-7777.spn.wcnf3600.0 (-)3600.0 (-)1294.59 (78)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)78.91 (78)
maxcut/t6pm3-8888.spn.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1112.99 (136)
maxcut/t7pm3-9999.spn.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-fill/MinFill_R0_miles1500.wcnf3600.0 (-)3600.0 (-)1092.08 (218)532.03 (218)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-fill/MinFill_R0_mulsol.i.1.wcnf3600.0 (-)3600.0 (-)318.62 (142)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)710.64 (142)3600.0 (-)3600.0 (-)
min-fill/MinFill_R0_mulsol.i.2.wcnf3600.0 (-)3600.0 (-)471.71 (240)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2725.31 (240)3600.0 (-)3600.0 (-)
min-fill/MinFill_R0_mulsol.i.3.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1637.87 (240)3600.0 (-)3600.0 (-)
min-fill/MinFill_R0_mulsol.i.4.wcnf3600.0 (-)3600.0 (-)501.82 (240)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1380.58 (240)3600.0 (-)3600.0 (-)
min-fill/MinFill_R0_mulsol.i.5.wcnf3600.0 (-)3600.0 (-)407.88 (240)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1510.93 (240)3600.0 (-)3600.0 (-)
min-fill/MinFill_R0_myciel3.wcnf0.14 (10)0.19 (10)20.68 (10)0.03 (10)0.11 (10)0.16 (10)0.91 (10)0.27 (10)0.12 (10)0.2 (10)2676.94 (10)
min-fill/MinFill_R0_myciel4.wcnf3600.0 (-)3600.0 (-)4.9 (46)5.46 (46)3600.0 (-)222.1 (46)3600.0 (-)2703.25 (46)2.03 (46)3600.0 (-)3600.0 (-)
min-fill/MinFill_R0_myciel5.wcnf3600.0 (-)3600.0 (-)222.4 (196)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)289.22 (196)3600.0 (-)3600.0 (-)
min-fill/MinFill_R0_myciel6.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-fill/MinFill_R0_myciel7.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-fill/MinFill_R0_queen11_11.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-fill/MinFill_R0_queen5_5.wcnf3600.0 (-)3600.0 (-)210.9 (93)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)224.35 (93)3600.0 (-)3600.0 (-)
min-fill/MinFill_R0_queen6_6.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-fill/MinFill_R0_queen7_7.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-fill/MinFill_R0_queen8_12.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-fill/MinFill_R0_queen8_8.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-fill/MinFill_R0_queen9_9.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-fill/MinFill_R10_anna.wcnf3600.0 (-)3600.0 (-)3.35 (37)28.78 (37)988.01 (37)154.5 (37)3600.0 (-)90.69 (37)4.49 (37)176.27 (37)3600.0 (-)
min-fill/MinFill_R12_miles250.wcnf1472.67 (41)713.63 (41)9.32 (41)37.04 (41)759.65 (41)142.49 (41)3600.0 (-)112.88 (41)15.77 (41)124.85 (41)3600.0 (-)
min-fill/MinFill_R1_games120.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-fill/MinFill_R3_david.wcnf3600.0 (-)3600.0 (-)50.83 (61)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)110.09 (61)3600.0 (-)3600.0 (-)
min-fill/MinFill_R3_huck.wcnf0.02 (2)0.03 (2)0.02 (2)0.02 (2)0.01 (2)0.02 (2)0.11 (2)0.01 (2)0.03 (2)0.01 (2)26.46 (2)
min-fill/MinFill_R3_miles1000.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-fill/MinFill_R3_miles750.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-fill/MinFill_R4_miles500.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-fill/MinFill_R5_jean.wcnf0.34 (11)0.37 (11)0.21 (11)0.13 (11)0.26 (11)0.39 (11)2.0 (11)0.65 (11)0.19 (11)0.41 (11)3600.0 (-)
treewidth-computation/TWComp_1c75_N69.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
treewidth-computation/TWComp_1dj7_N73.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
treewidth-computation/TWComp_1dp_N76.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
treewidth-computation/TWComp_1en2_N69.wcnf652.01 (16)722.64 (16)3600.0 (-)308.27 (16)643.49 (16)1287.26 (16)1219.83 (16)204.16 (16)2513.48 (16)235.83 (16)3600.0 (-)
treewidth-computation/TWComp_alarm_N37.wcnf18.05 (4)18.83 (4)0.74 (4)0.28 (4)0.18 (4)0.08 (4)4.42 (4)0.08 (4)0.74 (4)0.1 (4)2896.0 (4)
treewidth-computation/TWComp_barle_N48.wcnf57.55 (7)61.24 (7)3.75 (7)2.08 (7)2.64 (7)2.18 (7)19.97 (7)2.0 (7)4.62 (7)1.96 (7)3600.0 (-)
treewidth-computation/TWComp_barley-pp_N26.wcnf3.11 (7)3.32 (7)0.36 (7)0.22 (7)0.29 (7)0.38 (7)1.88 (7)0.28 (7)0.54 (7)0.25 (7)3600.0 (-)
treewidth-computation/TWComp_barley2_N48.wcnf73.37 (7)77.93 (7)4.29 (7)2.06 (7)2.17 (7)2.19 (7)20.17 (7)1.88 (7)4.62 (7)1.83 (7)3600.0 (-)
treewidth-computation/TWComp_celar02_N100.wcnf3.07 (10)2.71 (10)24.31 (10)12.03 (10)4.28 (10)2.93 (10)103.22 (10)2.99 (10)23.18 (10)3.17 (10)3600.0 (-)
treewidth-computation/TWComp_celar09pp_N67.wcnf18.52 (7)17.74 (7)4.99 (7)2.11 (7)1.09 (7)0.51 (7)40.05 (7)0.58 (7)5.17 (7)0.58 (7)3600.0 (-)
treewidth-computation/TWComp_david-pp_N29.wcnf6.36 (13)9.08 (13)0.97 (13)1.1 (13)1.7 (13)0.65 (13)3.51 (13)0.59 (13)1.81 (13)0.44 (13)3600.0 (-)
treewidth-computation/TWComp_david_N87.wcnf15.77 (13)14.64 (13)33.11 (13)13.62 (13)12.3 (13)20.74 (13)135.1 (13)22.3 (13)23.93 (13)12.71 (13)3600.0 (-)
treewidth-computation/TWComp_eil51.tsp_N51.wcnf3600.0 (-)3600.0 (-)568.91 (8)2711.74 (8)3600.0 (-)1930.84 (8)3600.0 (-)2425.8 (8)487.61 (8)1395.83 (8)3600.0 (-)
treewidth-computation/TWComp_hailfinder_N56.wcnf16.27 (4)17.24 (4)2.85 (4)1.17 (4)0.67 (4)0.35 (4)21.85 (4)0.47 (4)3.08 (4)0.44 (4)3600.0 (-)
treewidth-computation/TWComp_hepar2_N70.wcnf18.02 (6)17.9 (6)6.57 (6)2.75 (6)1.26 (6)0.68 (6)43.22 (6)0.69 (6)5.81 (6)0.8 (6)3600.0 (-)
treewidth-computation/TWComp_huck_N74.wcnf18.1 (10)18.12 (10)7.72 (10)3.62 (10)1.65 (10)0.89 (10)50.35 (10)0.87 (10)6.94 (10)0.87 (10)3600.0 (-)
treewidth-computation/TWComp_jean_N77.wcnf1.09 (9)0.99 (9)8.94 (9)4.26 (9)1.84 (9)1.09 (9)53.74 (9)0.88 (9)7.56 (9)1.21 (9)3600.0 (-)
treewidth-computation/TWComp_mainuk_N48.wcnf56.95 (7)61.12 (7)1.81 (7)0.78 (7)0.45 (7)0.29 (7)13.17 (7)0.34 (7)2.01 (7)0.33 (7)3600.0 (-)
treewidth-computation/TWComp_mildew_35.wcnf10.84 (4)11.4 (4)0.62 (4)0.23 (4)0.18 (4)0.1 (4)4.48 (4)0.11 (4)0.7 (4)0.12 (4)3600.0 (-)
treewidth-computation/TWComp_miles500_N128.wcnf679.55 (22)347.37 (22)451.32 (22)181.4 (22)369.37 (22)1734.82 (22)726.33 (22)395.94 (22)640.82 (22)225.99 (22)3600.0 (-)
treewidth-computation/TWComp_mulsol.i.5-pp_N119.wcnf3600.0 (-)3463.07 (31)1602.36 (31)1404.29 (31)2748.71 (31)532.82 (31)3600.0 (-)1257.57 (31)3600.0 (-)262.23 (31)3600.0 (-)
treewidth-computation/TWComp_myciel4_N23.wcnf15.43 (10)21.6 (10)11.76 (10)10.13 (10)18.49 (10)11.97 (10)32.29 (10)12.44 (10)6.92 (10)10.16 (10)3600.0 (-)
treewidth-computation/TWComp_myciel5_N47.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
treewidth-computation/TWComp_oesoca+_N67.wcnf130.8 (11)136.32 (11)229.19 (11)84.57 (11)124.51 (11)119.21 (11)259.69 (11)105.45 (11)227.48 (11)110.32 (11)3600.0 (-)
treewidth-computation/TWComp_oesoca4_N42.wcnf29.38 (3)30.34 (3)1.15 (3)0.45 (3)0.26 (3)0.13 (3)7.06 (3)0.14 (3)1.14 (3)0.14 (3)3306.17 (3)
treewidth-computation/TWComp_oesoca_N39.wcnf23.38 (3)24.44 (3)0.89 (3)0.34 (3)0.21 (3)0.1 (3)5.22 (3)0.1 (3)0.87 (3)0.12 (3)3600.0 (-)
treewidth-computation/TWComp_pathfinder_N109.wcnf2.78 (6)2.54 (6)31.55 (6)15.49 (6)4.62 (6)2.33 (6)146.53 (6)2.98 (6)25.72 (6)3.45 (6)3600.0 (-)
treewidth-computation/TWComp_queen5_5_N25.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
treewidth-computation/TWComp_queen6_6_N36.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
treewidth-computation/TWComp_queen7_7_N49.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
treewidth-computation/TWComp_ship-ship-pp_N30.wcnf56.32 (8)55.89 (8)155.17 (8)34.96 (8)45.07 (8)37.16 (8)241.57 (8)33.52 (8)97.78 (8)31.79 (8)3600.0 (-)
treewidth-computation/TWComp_water_N32.wcnf8.21 (9)8.79 (9)1.19 (9)1.09 (9)1.02 (9)0.92 (9)4.87 (9)0.31 (9)1.39 (9)0.61 (9)3600.0 (-)
treewidth-computation/TWComp_win95pts_N76.wcnf1.92 (8)1.48 (8)8.78 (8)4.3 (8)2.33 (8)2.01 (8)52.48 (8)1.49 (8)7.54 (8)2.11 (8)3600.0 (-)
reversi/rev44-10.wcnf0.66 (5)0.72 (5)6.95 (5)1.08 (5)0.44 (5)0.62 (5)1.45 (5)0.57 (5)5.65 (5)0.56 (5)89.16 (5)
reversi/rev44-14.wcnf0.11 (0)0.11 (0)0.1 (0)0.05 (0)0.05 (0)0.03 (0)0.48 (0)0.08 (0)0.11 (0)0.05 (0)221.9 (0)
reversi/rev44-16.wcnf0.11 (0)0.11 (0)0.12 (0)0.06 (0)0.03 (0)0.02 (0)0.67 (0)0.03 (0)0.13 (0)0.02 (0)1066.81 (0)
reversi/rev44-18.wcnf0.14 (0)0.14 (0)0.11 (0)0.06 (0)0.05 (0)0.04 (0)0.62 (0)0.02 (0)0.15 (0)0.03 (0)1041.01 (0)
reversi/rev44-20.wcnf0.17 (0)0.22 (0)0.15 (0)0.07 (0)0.05 (0)0.02 (0)0.85 (0)0.04 (0)0.17 (0)0.03 (0)868.8 (0)
reversi/rev44-22.wcnf0.15 (0)0.17 (0)0.14 (0)0.06 (0)0.04 (0)0.04 (0)1.01 (0)0.04 (0)0.18 (0)0.12 (0)3600.0 (-)
reversi/rev44-24.wcnf0.17 (0)0.19 (0)0.15 (0)0.08 (0)0.06 (0)0.07 (0)1.07 (0)0.03 (0)0.21 (0)0.03 (0)3421.48 (0)
reversi/rev44-4.wcnf0.02 (14)0.02 (14)0.19 (14)0.02 (14)0.02 (14)0.02 (14)0.17 (14)0.01 (14)0.28 (14)0.01 (14)0.27 (14)
reversi/rev44-6.wcnf0.1 (11)0.13 (11)0.62 (11)0.11 (11)0.09 (11)0.06 (11)0.4 (11)0.05 (11)1.17 (11)0.04 (11)1.32 (11)
reversi/rev44-8.wcnf0.26 (8)0.33 (8)1.94 (8)0.48 (8)0.45 (8)0.16 (8)1.11 (8)0.34 (8)3.08 (8)0.23 (8)22.64 (8)
reversi/rev66-10.wcnf129.72 (23)133.28 (23)3600.0 (-)248.9 (23)169.73 (23)92.51 (23)1558.17 (23)72.99 (23)3600.0 (-)61.07 (23)3600.0 (-)
reversi/rev66-12.wcnf3600.0 (-)2941.17 (21)3600.0 (-)3600.0 (-)2585.58 (21)3218.09 (21)3600.0 (-)2104.14 (21)3600.0 (-)1720.97 (21)3600.0 (-)
reversi/rev66-14.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
reversi/rev66-16.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
reversi/rev66-18.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
reversi/rev66-20.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
reversi/rev66-22.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
reversi/rev66-26.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
reversi/rev66-32.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
reversi/rev66-34.wcnf20.82 (0)9.12 (0)26.23 (0)12.63 (0)7.05 (0)1.11 (0)56.98 (0)27.44 (0)29.25 (0)14.2 (0)3600.0 (-)
reversi/rev66-36.wcnf9.5 (0)17.38 (0)2.57 (0)3.34 (0)9.79 (0)4.43 (0)20.03 (0)14.87 (0)12.58 (0)17.52 (0)3600.0 (-)
reversi/rev66-38.wcnf30.05 (0)4.82 (0)1.34 (0)10.63 (0)5.58 (0)8.84 (0)15.4 (0)4.14 (0)40.66 (0)14.61 (0)3600.0 (-)
reversi/rev66-4.wcnf0.07 (34)0.07 (34)0.39 (34)0.06 (34)0.06 (34)0.03 (34)0.75 (34)0.03 (34)1.64 (34)0.03 (34)0.73 (34)
reversi/rev66-40.wcnf8.05 (0)10.39 (0)4.74 (0)12.45 (0)7.72 (0)11.87 (0)22.25 (0)12.44 (0)21.34 (0)9.15 (0)3600.0 (-)
reversi/rev66-42.wcnf8.2 (0)28.31 (0)11.16 (0)4.54 (0)13.02 (0)2.95 (0)73.22 (0)34.51 (0)18.99 (0)8.44 (0)3600.0 (-)
reversi/rev66-44.wcnf7.52 (0)5.6 (0)2.81 (0)11.69 (0)3.45 (0)3.4 (0)62.48 (0)20.45 (0)17.14 (0)16.41 (0)3600.0 (-)
reversi/rev66-46.wcnf25.28 (0)7.73 (0)12.9 (0)8.73 (0)5.85 (0)7.83 (0)41.62 (0)24.88 (0)19.09 (0)3.71 (0)3600.0 (-)
reversi/rev66-50.wcnf21.67 (0)23.72 (0)25.24 (0)5.75 (0)0.4 (0)9.11 (0)58.17 (0)18.59 (0)38.36 (0)25.6 (0)3600.0 (-)
reversi/rev66-52.wcnf21.85 (0)23.94 (0)17.12 (0)27.39 (0)9.5 (0)6.57 (0)27.24 (0)33.69 (0)31.26 (0)38.06 (0)3600.0 (-)
reversi/rev66-58.wcnf20.82 (0)20.8 (0)4.08 (0)10.41 (0)8.11 (0)15.49 (0)183.46 (0)38.25 (0)49.7 (0)21.07 (0)3600.0 (-)
reversi/rev66-6.wcnf1.1 (32)1.11 (32)33.53 (32)2.47 (32)1.26 (32)0.34 (32)4.36 (32)0.5 (32)140.62 (32)0.5 (32)70.39 (32)
reversi/rev66-60.wcnf32.18 (0)30.82 (0)48.45 (0)16.3 (0)9.53 (0)7.91 (0)61.25 (0)8.54 (0)37.44 (0)25.12 (0)3600.0 (-)
reversi/rev66-62.wcnf14.39 (0)18.63 (0)12.51 (0)17.77 (0)4.65 (0)14.37 (0)31.47 (0)36.61 (0)32.97 (0)41.64 (0)3600.0 (-)
reversi/rev66-64.wcnf22.45 (0)20.58 (0)9.1 (0)2.69 (0)6.56 (0)11.56 (0)83.15 (0)46.17 (0)23.11 (0)35.43 (0)3600.0 (-)
reversi/rev66-8.wcnf40.76 (30)48.33 (30)3600.0 (-)59.88 (30)36.14 (30)18.19 (30)154.64 (30)14.83 (30)3600.0 (-)15.41 (30)3600.0 (-)
atcoss-mesat/atcoss_mesat_01.wcnf190.02 (20)231.72 (20)59.46 (20)44.9 (20)168.18 (20)148.15 (20)240.92 (20)76.39 (20)62.46 (20)89.99 (20)3600.0 (-)
atcoss-mesat/atcoss_mesat_02.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
atcoss-mesat/atcoss_mesat_03.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
atcoss-mesat/atcoss_mesat_04.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
atcoss-mesat/atcoss_mesat_05.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3188.03 (10)3600.0 (-)2290.77 (10)3600.0 (-)
atcoss-mesat/atcoss_mesat_06.wcnf394.98 (20)336.84 (20)99.57 (20)82.53 (20)480.6 (20)390.19 (20)736.32 (20)380.87 (20)83.13 (20)378.71 (20)3600.0 (-)
atcoss-mesat/atcoss_mesat_07.wcnf57.77 (0)40.56 (0)12.24 (0)9.35 (0)45.87 (0)41.17 (0)169.23 (0)85.18 (0)19.86 (0)83.33 (0)3600.0 (-)
atcoss-mesat/atcoss_mesat_08.wcnf61.41 (0)46.25 (0)11.9 (0)8.42 (0)42.06 (0)38.53 (0)185.27 (0)84.36 (0)19.67 (0)89.86 (0)3600.0 (-)
atcoss-mesat/atcoss_mesat_09.wcnf195.22 (0)152.58 (0)26.4 (0)23.68 (0)133.86 (0)171.32 (0)281.78 (0)173.62 (0)33.12 (0)149.74 (0)3600.0 (-)
atcoss-mesat/atcoss_mesat_10.wcnf3600.0 (-)3600.0 (-)3343.63 (13)1203.55 (13)3600.0 (-)3600.0 (-)3600.0 (-)1876.7 (13)3110.44 (13)1703.19 (13)3600.0 (-)
atcoss-mesat/atcoss_mesat_11.wcnf65.82 (50)74.04 (50)11.11 (50)11.34 (50)73.89 (50)83.93 (50)144.46 (50)87.57 (50)16.43 (50)81.0 (50)3600.0 (-)
atcoss-mesat/atcoss_mesat_12.wcnf66.97 (12)56.27 (12)10.52 (12)8.1 (12)56.67 (12)63.53 (12)242.66 (12)82.87 (12)18.05 (12)80.15 (12)3600.0 (-)
atcoss-mesat/atcoss_mesat_13.wcnf313.3 (0)317.37 (0)49.52 (0)26.01 (0)178.81 (0)169.91 (0)723.9 (0)480.06 (0)50.89 (0)362.73 (0)3600.0 (-)
atcoss-mesat/atcoss_mesat_14.wcnf591.68 (0)453.03 (0)57.95 (0)33.37 (0)288.91 (0)256.4 (0)919.49 (0)718.38 (0)59.86 (0)903.27 (0)3600.0 (-)
atcoss-mesat/atcoss_mesat_15.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
atcoss-mesat/atcoss_mesat_16.wcnf90.38 (0)81.73 (0)14.59 (0)9.69 (0)54.49 (0)59.48 (0)258.01 (0)113.91 (0)23.24 (0)132.21 (0)3600.0 (-)
atcoss-mesat/atcoss_mesat_17.wcnf147.32 (0)137.96 (0)21.86 (0)20.81 (0)73.14 (0)75.43 (0)328.12 (0)187.3 (0)30.05 (0)203.0 (0)3600.0 (-)
atcoss-mesat/atcoss_mesat_18.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
atcoss-sugar/atcoss_sugar_01.wcnf73.08 (20)65.33 (20)44.22 (20)32.3 (20)44.96 (20)36.97 (20)295.69 (20)13.8 (20)39.64 (20)14.16 (20)3600.0 (-)
atcoss-sugar/atcoss_sugar_02.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
atcoss-sugar/atcoss_sugar_03.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
atcoss-sugar/atcoss_sugar_04.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
atcoss-sugar/atcoss_sugar_05.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
atcoss-sugar/atcoss_sugar_06.wcnf81.68 (20)86.64 (20)79.32 (20)46.08 (20)81.83 (20)83.29 (20)409.37 (20)74.87 (20)59.17 (20)70.99 (20)3600.0 (-)
atcoss-sugar/atcoss_sugar_07.wcnf20.2 (0)21.02 (0)9.24 (0)3.16 (0)12.93 (0)14.0 (0)77.04 (0)18.04 (0)7.95 (0)16.9 (0)3600.0 (-)
atcoss-sugar/atcoss_sugar_08.wcnf22.0 (0)20.67 (0)8.16 (0)3.49 (0)8.71 (0)6.88 (0)71.28 (0)18.22 (0)7.88 (0)16.41 (0)3600.0 (-)
atcoss-sugar/atcoss_sugar_09.wcnf82.53 (0)44.64 (0)13.14 (0)10.2 (0)70.71 (0)43.35 (0)132.81 (0)37.44 (0)29.74 (0)35.64 (0)3600.0 (-)
atcoss-sugar/atcoss_sugar_10.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3194.36 (13)3600.0 (-)
atcoss-sugar/atcoss_sugar_11.wcnf28.51 (50)30.98 (50)4.71 (50)2.94 (50)11.09 (50)11.51 (50)51.35 (50)12.04 (50)6.96 (50)11.84 (50)3600.0 (-)
atcoss-sugar/atcoss_sugar_12.wcnf58.75 (12)61.62 (12)105.35 (12)18.81 (12)50.21 (12)33.6 (12)168.77 (12)42.15 (12)81.6 (12)38.02 (12)3600.0 (-)
atcoss-sugar/atcoss_sugar_13.wcnf64.17 (0)69.9 (0)22.23 (0)13.41 (0)35.87 (0)33.54 (0)215.21 (0)88.51 (0)22.5 (0)69.51 (0)3600.0 (-)
atcoss-sugar/atcoss_sugar_14.wcnf76.4 (0)86.3 (0)26.68 (0)19.01 (0)57.38 (0)67.61 (0)252.16 (0)130.67 (0)24.25 (0)89.43 (0)3600.0 (-)
atcoss-sugar/atcoss_sugar_15.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
atcoss-sugar/atcoss_sugar_16.wcnf26.85 (0)23.96 (0)8.85 (0)4.06 (0)15.16 (0)14.12 (0)86.65 (0)21.81 (0)8.05 (0)22.9 (0)3600.0 (-)
atcoss-sugar/atcoss_sugar_17.wcnf39.06 (0)33.33 (0)10.5 (0)8.73 (0)21.17 (0)24.17 (0)110.29 (0)37.42 (0)10.49 (0)36.02 (0)3600.0 (-)
atcoss-sugar/atcoss_sugar_18.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
atcoss-sugar/atcoss_sugar_19.wcnf2381.23 (8)982.03 (8)93.31 (8)161.54 (8)906.58 (8)952.07 (8)3600.0 (-)1268.54 (8)115.56 (8)3600.0 (-)3600.0 (-)
hs-timetabling/GreeceWesternGreeceUniversityInstance4.xml.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
hs-timetabling/SouthAfricaWoodlands2009.xml.wcnf67.7 (0)64.11 (0)8.77 (0)378.67 (0)28.67 (0)22.33 (0)2036.35 (0)146.38 (0)83.27 (0)3600.0 (-)3600.0 (-)
job-shop/ft10-808-1090.wcnf71.5 (122)67.82 (122)60.95 (122)84.45 (122)53.03 (122)28.64 (122)372.86 (122)23.56 (122)119.28 (122)21.59 (122)3600.0 (-)
job-shop/la04-567-0696.wcnf7.45 (23)7.31 (23)2.95 (23)2.04 (23)1.58 (23)2.18 (23)60.38 (23)0.68 (23)5.18 (23)0.66 (23)3600.0 (-)
job-shop/orb08-894-1058.wcnf16.93 (5)15.64 (5)18.05 (5)16.65 (5)10.4 (5)15.22 (5)301.13 (5)6.77 (5)26.21 (5)6.96 (5)3600.0 (-)
pbo-routing/normalized-s3-3-3-1pb.wcnf0.04 (36)0.05 (36)0.05 (36)0.02 (36)0.01 (36)0.02 (36)0.16 (36)0.02 (36)0.11 (36)0.04 (36)1.82 (36)
pbo-routing/normalized-s3-3-3-2pb.wcnf0.05 (36)0.05 (36)0.06 (36)0.04 (36)0.02 (36)0.03 (36)0.17 (36)0.03 (36)0.14 (36)0.03 (36)0.13 (36)
pbo-routing/normalized-s3-3-3-3pb.wcnf0.05 (36)0.05 (36)0.07 (36)0.02 (36)0.01 (36)0.04 (36)0.16 (36)0.05 (36)0.14 (36)0.04 (36)0.12 (36)
pbo-routing/normalized-s3-3-3-4pb.wcnf0.11 (36)0.08 (36)0.05 (36)0.03 (36)0.01 (36)0.06 (36)0.18 (36)0.06 (36)0.15 (36)0.05 (36)0.19 (36)
pbo-routing/normalized-s3-3-3-5pb.wcnf0.09 (34)0.09 (34)0.07 (34)0.03 (34)0.01 (34)0.07 (34)0.16 (34)0.03 (34)0.14 (34)0.04 (34)0.17 (34)
pbo-routing/normalized-s4-4-3-10pb.wcnf0.88 (70)1.02 (70)0.84 (70)0.55 (70)0.39 (70)0.36 (70)1.12 (70)0.36 (70)1.19 (70)0.84 (70)1.51 (70)
pbo-routing/normalized-s4-4-3-1pb.wcnf0.89 (62)1.22 (62)3.71 (62)1.44 (62)0.21 (62)0.83 (62)0.92 (62)1.28 (62)6.23 (62)1.78 (62)2.35 (62)
pbo-routing/normalized-s4-4-3-2pb.wcnf5.16 (64)5.58 (64)40.48 (64)2.77 (64)0.35 (64)3.96 (64)3.15 (64)4.58 (64)25.9 (64)6.16 (64)96.41 (64)
pbo-routing/normalized-s4-4-3-3pb.wcnf4.85 (62)5.48 (62)137.94 (62)2.48 (62)0.28 (62)2.32 (62)4.7 (62)1.62 (62)14.88 (62)3.05 (62)1.14 (62)
pbo-routing/normalized-s4-4-3-4pb.wcnf1.95 (60)1.87 (60)16.33 (60)2.22 (60)0.11 (60)1.09 (60)1.1 (60)0.76 (60)8.26 (60)2.73 (60)0.88 (60)
pbo-routing/normalized-s4-4-3-5pb.wcnf1.92 (60)2.62 (60)25.58 (60)1.79 (60)0.2 (60)1.4 (60)0.77 (60)1.3 (60)32.9 (60)1.93 (60)0.86 (60)
pbo-routing/normalized-s4-4-3-6pb.wcnf1.26 (66)2.18 (66)4.32 (66)1.9 (66)0.54 (66)1.79 (66)0.7 (66)1.33 (66)3.54 (66)1.44 (66)1.05 (66)
pbo-routing/normalized-s4-4-3-7pb.wcnf1.8 (64)2.36 (64)3.86 (64)1.48 (64)2.42 (64)1.15 (64)1.33 (64)0.86 (64)6.23 (64)1.45 (64)1.49 (64)
pbo-routing/normalized-s4-4-3-8pb.wcnf1.04 (36)1.17 (36)2.04 (36)0.3 (36)0.05 (36)0.39 (36)0.33 (36)0.29 (36)2.32 (36)1.09 (36)0.28 (36)
pbo-routing/normalized-s4-4-3-9pb.wcnf1.82 (68)2.66 (68)12.29 (68)2.81 (68)3.77 (68)2.2 (68)3.09 (68)1.76 (68)9.6 (68)1.22 (68)298.37 (68)
scheduling/cnf_10.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
scheduling/cnf_10_center.wcnf3600.0 (-)2822.15 (159)3600.0 (-)202.81 (159)3600.0 (-)2276.55 (159)3600.0 (-)2745.86 (159)3600.0 (-)3600.0 (-)3600.0 (-)
scheduling/cnf_12.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
scheduling/cnf_12_center.wcnf269.6 (237)172.58 (237)2014.01 (237)47.28 (237)285.88 (237)917.48 (237)1539.65 (237)586.55 (237)3600.0 (-)1069.35 (237)3600.0 (-)
scheduling/cnf_small.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
set-covering/scpclr10_maxsat.wcnf3600.0 (-)3600.0 (-)29.68 (25)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)23.78 (25)3600.0 (-)1959.37 (25)
set-covering/scpclr11_maxsat.wcnf3600.0 (-)3600.0 (-)3429.53 (23)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2470.64 (23)3600.0 (-)3600.0 (-)
set-covering/scpclr12_maxsat.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
set-covering/scpclr13_maxsat.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
set-covering/scpcyc06_maxsat.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
set-covering/scpcyc07_maxsat.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
set-covering/scpcyc08_maxsat.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
set-covering/scpcyc09_maxsat.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
set-covering/scpcyc10_maxsat.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
set-covering/scpcyc11_maxsat.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
close-solutions/SAT02__industrial__goldberg__fpga_routing__vda_gr_rcs_w9.shuffled.cnf.wcnf.5.wcnf1.05 (6)0.9 (6)1.03 (6)0.35 (6)0.19 (6)0.24 (6)4.43 (6)9.5 (6)14.33 (6)1.6 (6)5.89 (6)
close-solutions/SAT02__industrial__goldberg__fpga_routing__vda_gr_rcs_w9.shuffled.cnf.wcnf.8.wcnf1.02 (3)1.08 (3)0.7 (3)0.19 (3)0.17 (3)0.19 (3)4.39 (3)1.6 (3)2.2 (3)3600.0 (-)5.7 (3)
close-solutions/SAT04__industrial__vangelder__cnf-color__abb313GPIA-9-tr.used-as.sat04-321.cnf.wcnf.6.wcnf3.31 (25)3.25 (25)445.13 (25)8.39 (25)2.28 (25)36.54 (25)21.73 (25)37.02 (25)3600.0 (-)90.1 (25)154.22 (25)
close-solutions/SAT04__industrial__velev__pipe-sat-1-1__12pipe_bug4_q0.used-as.sat04-723.cnf.wcnf.1.wcnf45.23 (179)46.13 (179)1096.09 (179)557.69 (179)34.86 (179)55.78 (179)405.98 (179)422.67 (179)1747.57 (179)162.35 (179)3600.0 (-)
close-solutions/SAT04__industrial__velev__pipe-sat-1-1__12pipe_bug6_q0.used-as.sat04-725.cnf.wcnf.5.wcnf5.18 (53)4.85 (53)312.7 (53)130.67 (53)9.85 (53)25.35 (53)277.64 (53)197.48 (53)3600.0 (-)189.14 (53)1196.21 (53)
close-solutions/SAT07__industrial__vliw_sat_4.0__9vliw_m_9stages_iq3_C1_bug5.cnf.wcnf.4.wcnf10.74 (8)9.98 (8)278.57 (8)11.41 (8)20.47 (8)15.87 (8)757.28 (8)639.67 (8)1680.34 (8)409.78 (8)3600.0 (-)
close-solutions/SAT07__industrial__vliw_sat_4.0__9vliw_m_9stages_iq3_C1_bug6.cnf.wcnf.7.wcnf10.35 (3)9.54 (3)254.65 (3)24.35 (3)20.06 (3)40.98 (3)713.22 (3)182.25 (3)1650.04 (3)369.9 (3)3600.0 (-)
close-solutions/SAT09__APPLICATIONS__satComp09_BioInstances__rbcl_xits_15_SAT.cnf.wcnf.9.wcnf3600.0 (-)3600.0 (-)751.02 (26)32.47 (26)6.48 (26)121.77 (26)64.4 (26)73.86 (26)3600.0 (-)44.63 (26)118.63 (26)
close-solutions/SAT09__APPLICATIONS__satComp09_BioInstances__rbcl_xits_18_SAT.cnf.wcnf.2.wcnf10.13 (7)10.66 (7)1.19 (7)1.59 (7)0.29 (7)0.17 (7)9.4 (7)1.51 (7)3600.0 (-)7.55 (7)13.95 (7)
close-solutions/SAT11__application__fuhs__AProVE11__AProVE11-09.cnf.wcnf.10.wcnf60.31 (208)71.14 (208)93.84 (208)59.66 (208)42.23 (208)109.24 (208)96.18 (208)157.97 (208)386.77 (208)37.14 (208)3600.0 (-)
close-solutions/SAT11__application__fuhs__AProVE11__AProVE11-09.cnf.wcnf.4.wcnf2935.51 (1382)3431.75 (1382)1044.6 (1382)362.19 (1382)935.41 (1382)478.44 (1382)578.16 (1382)410.55 (1382)1134.26 (1382)252.9 (1382)3600.0 (-)
close-solutions/SAT11__application__fuhs__AProVE11__AProVE11-10.cnf.wcnf.3.wcnf3362.2 (1028)3417.73 (1028)3600.0 (-)3600.0 (-)336.1 (1028)1303.61 (1028)2333.09 (1028)3600.0 (-)3600.0 (-)496.12 (1028)3600.0 (-)
close-solutions/SAT11__application__fuhs__AProVE11__AProVE11-12.cnf.wcnf.2.wcnf72.22 (501)47.69 (501)169.01 (501)30.23 (501)430.82 (501)18.02 (501)268.41 (501)26.34 (501)194.28 (501)170.65 (501)372.6 (501)
close-solutions/SAT11__application__fuhs__AProVE11__AProVE11-16.cnf.wcnf.1.wcnf69.54 (263)80.36 (263)62.74 (263)46.75 (263)24.57 (263)34.71 (263)148.55 (263)44.22 (263)295.34 (263)498.12 (263)394.8 (263)
close-solutions/SAT11__application__jarvisalo__AAAI2010-SATPlanning__aaai10-planning-ipc5-TPP-30-step11.cnf.wcnf.1.wcnf21.9 (1)51.2 (1)90.78 (1)3.74 (1)4.31 (1)3.71 (1)253.49 (1)2803.27 (1)319.75 (1)3600.0 (-)560.15 (1)
close-solutions/SAT11__application__jarvisalo__AAAI2010-SATPlanning__aaai10-planning-ipc5-pipesworld-12-step16.cnf.wcnf.2.wcnf41.41 (1)17.45 (1)27.82 (1)1.65 (1)1.36 (1)0.91 (1)371.65 (1)335.94 (1)157.47 (1)564.65 (1)83.65 (1)
close-solutions/SAT11__application__jarvisalo__AAAI2010-SATPlanning__aaai10-planning-ipc5-pipesworld-12-step16.cnf.wcnf.7.wcnf76.95 (1)34.78 (1)27.67 (1)1.66 (1)1.35 (1)0.91 (1)294.86 (1)48.63 (1)109.55 (1)329.38 (1)82.91 (1)
close-solutions/SAT11__application__jarvisalo__AAAI2010-SATPlanning__aaai10-planning-ipc5-pipesworld-18-step16.cnf.wcnf.1.wcnf53.4 (1)24.7 (1)103.38 (1)4.61 (1)3.58 (1)2.2 (1)211.13 (1)148.63 (1)306.75 (1)3600.0 (-)320.79 (1)
close-solutions/SAT11__application__jarvisalo__AAAI2010-SATPlanning__aaai10-planning-ipc5-pipesworld-18-step16.cnf.wcnf.4.wcnf46.8 (1)110.54 (1)102.02 (1)4.63 (1)3.58 (1)2.24 (1)258.16 (1)227.85 (1)329.96 (1)3600.0 (-)322.02 (1)
close-solutions/SAT11__application__jarvisalo__smtqfbv-aigs__smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf.wcnf.10.wcnf12.82 (9)12.91 (9)23.11 (9)3.24 (9)2.0 (9)2.61 (9)102.63 (9)25.21 (9)107.74 (9)104.39 (9)27.56 (9)
close-solutions/SAT11__application__jarvisalo__smtqfbv-aigs__smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf.wcnf.2.wcnf15.54 (73)15.28 (73)33.94 (73)26.17 (73)5.53 (73)22.8 (73)188.01 (73)39.28 (73)201.6 (73)100.45 (73)29.85 (73)
close-solutions/SAT11__application__jarvisalo__smtqfbv-aigs__smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf.wcnf.7.wcnf13.38 (20)13.5 (20)39.31 (20)14.91 (20)3.18 (20)29.37 (20)120.58 (20)50.57 (20)169.49 (20)282.21 (20)33.13 (20)
close-solutions/SAT11__application__manthey__traffic__traffic_r_sat.cnf.wcnf.4.wcnf26.89 (78)21.12 (78)3044.81 (78)103.97 (78)65.93 (78)419.82 (78)223.24 (78)479.2 (78)3600.0 (-)153.53 (78)3600.0 (-)
close-solutions/SAT11__application__manthey__traffic__traffic_r_sat.cnf.wcnf.6.wcnf55.93 (120)50.78 (120)1601.18 (120)177.42 (120)127.09 (120)3600.0 (-)477.46 (120)3600.0 (-)3600.0 (-)284.59 (120)3600.0 (-)
close-solutions/SAT11__application__rintanen__SATPlanning__openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf.wcnf.4.wcnf1.81 (6)1.66 (6)85.93 (6)248.23 (6)2.92 (6)1031.4 (6)321.11 (6)2953.33 (6)3600.0 (-)1616.92 (6)61.64 (6)
close-solutions/SAT_RACE06__ibm-2002-21r-k95.cnf.wcnf.4.wcnf59.98 (2)57.64 (2)15.34 (2)5.05 (2)1.67 (2)1.39 (2)248.23 (2)2824.27 (2)387.14 (2)3600.0 (-)47.48 (2)
close-solutions/SAT_RACE06__velev-pipe-sat-1.0-b9.cnf.wcnf.5.wcnf10.21 (85)7.29 (85)343.41 (85)78.74 (85)14.41 (85)57.96 (85)416.68 (85)164.78 (85)3600.0 (-)288.63 (85)3600.0 (-)
close-solutions/SAT_RACE08__cnf__ibm-2004-01-k90.cnf.wcnf.10.wcnf283.73 (5)268.85 (5)10.24 (5)3.4 (5)0.58 (5)10.7 (5)33.32 (5)135.78 (5)207.3 (5)3600.0 (-)12.16 (5)
close-solutions/TEAMS20_l7aa.cnf.wcnf117.82 (26)169.71 (26)132.26 (26)14.14 (26)22.22 (26)133.56 (26)11.17 (26)76.19 (26)118.76 (26)9.64 (26)1.56 (26)
close-solutions/teams16_l7a.cnf.wcnf5.65 (18)8.42 (18)99.58 (18)6.86 (18)3.39 (18)152.24 (18)56.38 (18)1025.76 (18)3600.0 (-)1.81 (18)5.4 (18)
close-solutions/teams20_l2a.cnf.wcnf4.74 (12)4.15 (12)62.69 (12)6.82 (12)1.19 (12)234.66 (12)21.25 (12)6.29 (12)3600.0 (-)3.02 (12)2.28 (12)
close-solutions/teams20_l4a.cnf.wcnf30.12 (18)25.1 (18)59.59 (18)9.01 (18)4.19 (18)68.82 (18)37.63 (18)146.42 (18)491.45 (18)33.74 (18)10.52 (18)
close-solutions/teams20_l6a.cnf.wcnf21.13 (18)20.47 (18)82.21 (18)15.35 (18)10.64 (18)25.18 (18)116.04 (18)57.26 (18)76.96 (18)4.5 (18)24.68 (18)
close-solutions/teams20_l8a.cnf.wcnf11.15 (16)7.3 (16)97.08 (16)7.32 (16)2.75 (16)22.18 (16)20.48 (16)20.62 (16)556.44 (16)2.86 (16)7.04 (16)
close-solutions/teams24_l4a.cnf.wcnf58.56 (14)3600.0 (-)199.3 (14)41.95 (14)6.2 (14)3600.0 (-)996.12 (14)3600.0 (-)3600.0 (-)22.75 (14)63.32 (14)
frb/frb20-11-1.partial.wcnf0.07 (200)0.15 (200)0.05 (200)20.35 (200)0.15 (200)0.17 (200)3600.0 (-)0.1 (200)4.09 (200)0.16 (200)1.34 (200)
frb/frb20-11-2.partial.wcnf0.06 (200)0.14 (200)0.1 (200)10.14 (200)0.13 (200)0.13 (200)3600.0 (-)0.14 (200)3.14 (200)0.15 (200)3.8 (200)
frb/frb20-11-3.partial.wcnf0.06 (200)0.16 (200)0.63 (200)131.1 (200)0.21 (200)0.1 (200)3600.0 (-)0.17 (200)9.92 (200)0.23 (200)10.69 (200)
frb/frb20-11-4.partial.wcnf0.05 (200)0.13 (200)0.98 (200)40.67 (200)0.16 (200)0.14 (200)3600.0 (-)0.13 (200)4.2 (200)0.17 (200)10.88 (200)
frb/frb20-11-5.partial.wcnf0.09 (200)0.19 (200)0.2 (200)134.51 (200)0.14 (200)0.21 (200)3600.0 (-)0.17 (200)5.85 (200)0.19 (200)0.69 (200)
frb/frb25-13-1.partial.wcnf0.84 (300)1.08 (300)0.23 (300)944.37 (300)1.93 (300)1.02 (300)3600.0 (-)2.6 (300)215.35 (300)2.89 (300)539.5 (300)
frb/frb25-13-2.partial.wcnf0.24 (300)0.51 (300)0.1 (300)3600.0 (-)0.74 (300)0.66 (300)3600.0 (-)0.94 (300)110.55 (300)0.65 (300)182.38 (300)
frb/frb25-13-3.partial.wcnf0.29 (300)0.47 (300)0.19 (300)143.09 (300)1.47 (300)1.06 (300)3600.0 (-)1.02 (300)10.95 (300)0.82 (300)308.54 (300)
frb/frb25-13-4.partial.wcnf0.23 (300)0.44 (300)0.35 (300)3600.0 (-)1.0 (300)0.47 (300)3600.0 (-)1.53 (300)83.43 (300)0.6 (300)89.05 (300)
frb/frb25-13-5.partial.wcnf0.39 (300)0.46 (300)19.19 (300)927.19 (300)1.55 (300)0.97 (300)3600.0 (-)1.29 (300)196.72 (300)1.81 (300)618.15 (300)
frb/frb30-15-1.partial.wcnf2.78 (420)3.55 (420)234.6 (420)3600.0 (-)1.16 (420)4.26 (420)3600.0 (-)2.98 (420)3600.0 (-)8.34 (420)3600.0 (-)
frb/frb30-15-2.partial.wcnf1.52 (420)4.75 (420)0.84 (420)3600.0 (-)11.21 (420)11.93 (420)3600.0 (-)4.98 (420)1731.54 (420)12.12 (420)554.15 (420)
frb/frb30-15-3.partial.wcnf1.83 (420)5.58 (420)0.53 (420)3600.0 (-)4.59 (420)2.79 (420)3600.0 (-)2.53 (420)2743.96 (420)6.11 (420)2532.23 (420)
frb/frb30-15-4.partial.wcnf2.26 (420)2.32 (420)11.34 (420)264.95 (420)3.62 (420)3.97 (420)3600.0 (-)3.46 (420)1024.1 (420)4.8 (420)1801.37 (420)
frb/frb30-15-5.partial.wcnf0.85 (420)1.0 (420)0.27 (420)3600.0 (-)5.28 (420)3.18 (420)3600.0 (-)1.91 (420)1134.19 (420)3.38 (420)3600.0 (-)
frb/frb35-17-1.partial.wcnf15.19 (560)12.62 (560)4.75 (560)3600.0 (-)6.4 (560)14.47 (560)3600.0 (-)9.85 (560)3600.0 (-)16.26 (560)3600.0 (-)
frb/frb35-17-2.partial.wcnf17.61 (560)29.89 (560)77.15 (560)3600.0 (-)42.75 (560)45.23 (560)3600.0 (-)13.91 (560)3600.0 (-)59.29 (560)3600.0 (-)
frb/frb35-17-3.partial.wcnf2.95 (560)23.5 (560)31.07 (560)3600.0 (-)17.06 (560)12.2 (560)3600.0 (-)14.32 (560)3600.0 (-)24.56 (560)3600.0 (-)
frb/frb35-17-4.partial.wcnf6.34 (560)3.05 (560)4.41 (560)3600.0 (-)46.47 (560)30.29 (560)3600.0 (-)19.25 (560)3600.0 (-)66.51 (560)3600.0 (-)
frb/frb35-17-5.partial.wcnf8.05 (560)34.22 (560)6.43 (560)3600.0 (-)86.6 (560)30.6 (560)3600.0 (-)13.25 (560)3600.0 (-)66.64 (560)3600.0 (-)
frb/frb40-19-1.partial.wcnf53.06 (720)35.43 (720)15.96 (720)3600.0 (-)57.31 (720)67.1 (720)3600.0 (-)36.41 (720)3600.0 (-)56.04 (720)3600.0 (-)
frb/frb40-19-2.partial.wcnf58.61 (720)82.93 (720)41.71 (720)3600.0 (-)123.78 (720)57.08 (720)3600.0 (-)26.12 (720)3600.0 (-)22.37 (720)3600.0 (-)
frb/frb40-19-3.partial.wcnf803.65 (720)76.06 (720)253.13 (720)3600.0 (-)1585.53 (720)135.52 (720)3600.0 (-)621.5 (720)3600.0 (-)552.7 (720)3600.0 (-)
frb/frb40-19-4.partial.wcnf348.74 (720)18.35 (720)285.4 (720)3600.0 (-)656.0 (720)101.52 (720)3600.0 (-)150.97 (720)3600.0 (-)759.55 (720)3600.0 (-)
frb/frb40-19-5.partial.wcnf26.57 (720)221.14 (720)91.87 (720)3600.0 (-)426.95 (720)382.19 (720)3600.0 (-)235.97 (720)3600.0 (-)137.22 (720)3600.0 (-)
maxone/3col100_5_10.shuffled.cnf.wcnf0.19 (94)0.18 (94)0.07 (94)0.04 (94)0.32 (94)0.07 (94)0.45 (94)0.06 (94)0.18 (94)0.08 (94)11.06 (94)
maxone/3col100_5_2.shuffled.cnf.wcnf0.12 (104)0.12 (104)0.07 (104)0.06 (104)0.78 (104)0.09 (104)0.36 (104)0.07 (104)0.18 (104)0.09 (104)23.08 (104)
maxone/3col100_5_3.shuffled.cnf.wcnf0.12 (92)0.2 (92)0.05 (92)0.08 (92)0.36 (92)0.09 (92)0.48 (92)0.09 (92)0.16 (92)0.07 (92)17.81 (92)
maxone/3col100_5_6.shuffled.cnf.wcnf0.18 (90)0.17 (90)0.06 (90)0.05 (90)0.82 (90)0.08 (90)0.38 (90)0.09 (90)0.18 (90)0.1 (90)19.35 (90)
maxone/3col100_5_7.shuffled.cnf.wcnf0.23 (85)0.22 (85)0.05 (85)0.07 (85)0.66 (85)0.11 (85)0.53 (85)0.09 (85)0.15 (85)0.09 (85)7.25 (85)
maxone/3col120_5_1.shuffled.cnf.wcnf4.36 (123)0.76 (123)0.46 (123)0.8 (123)1.81 (123)0.78 (123)2.43 (123)1.11 (123)0.85 (123)1.02 (123)170.84 (123)
maxone/3col120_5_10.shuffled.cnf.wcnf5.15 (125)4.63 (125)0.45 (125)0.96 (125)5.71 (125)1.05 (125)11.71 (125)0.84 (125)0.52 (125)1.2 (125)139.79 (125)
maxone/3col120_5_6.shuffled.cnf.wcnf3.22 (121)3.23 (121)0.53 (121)0.87 (121)6.42 (121)0.84 (121)2.91 (121)0.91 (121)0.79 (121)0.92 (121)140.21 (121)
maxone/3col140_5_1.shuffled.cnf.wcnf10.15 (121)10.41 (121)12.42 (121)7.22 (121)16.95 (121)2.8 (121)16.54 (121)2.59 (121)10.66 (121)1.82 (121)146.01 (121)
maxone/3col140_5_4.shuffled.cnf.wcnf10.94 (128)13.08 (128)21.29 (128)8.14 (128)25.35 (128)1.72 (128)21.15 (128)1.75 (128)39.76 (128)1.63 (128)118.3 (128)
maxone/3col140_5_6.shuffled.cnf.wcnf9.43 (120)7.77 (120)13.83 (120)7.36 (120)23.31 (120)1.59 (120)22.47 (120)1.83 (120)14.59 (120)2.46 (120)151.06 (120)
maxone/3col80_5_2.shuffled.cnf.wcnf0.03 (71)0.04 (71)0.02 (71)0.01 (71)0.12 (71)0.01 (71)0.14 (71)0.02 (71)0.08 (71)0.02 (71)1.23 (71)
maxone/3col80_5_6.shuffled.cnf.wcnf0.03 (76)0.04 (76)0.02 (76)0.01 (76)0.12 (76)0.02 (76)0.27 (76)0.02 (76)0.08 (76)0.02 (76)0.93 (76)
maxone/3col80_5_7.shuffled.cnf.wcnf0.04 (80)0.03 (80)0.02 (80)0.01 (80)0.03 (80)0.02 (80)0.18 (80)0.02 (80)0.08 (80)0.02 (80)1.59 (80)
maxone/3col80_5_8.shuffled.cnf.wcnf0.04 (82)0.04 (82)0.02 (82)0.01 (82)0.09 (82)0.02 (82)0.13 (82)0.02 (82)0.05 (82)0.02 (82)1.52 (82)
maxone/3col80_5_9.shuffled.cnf.wcnf0.03 (79)0.03 (79)0.02 (79)0.01 (79)0.05 (79)0.02 (79)0.16 (79)0.03 (79)0.09 (79)0.02 (79)1.57 (79)
maxone/dp02s02.shuffled.cnf.wcnf0.02 (100)0.02 (100)0.02 (100)0.01 (100)0.03 (100)0.01 (100)0.1 (100)0.01 (100)0.04 (100)0.01 (100)0.02 (100)
maxone/dp04s04.shuffled.cnf.wcnf10.27 (533)11.89 (533)0.31 (533)0.14 (533)1.77 (533)0.4 (533)1.31 (533)0.43 (533)0.79 (533)0.31 (533)9.4 (533)
maxone/dp05s05.shuffled.cnf.wcnf98.98 (765)122.08 (765)1.43 (765)0.38 (765)4.54 (765)1.43 (765)8.78 (765)1.44 (765)2.99 (765)1.38 (765)141.84 (765)
maxone/ezfact32_10.shuffled.cnf.wcnf0.31 (389)0.38 (389)0.05 (389)0.03 (389)0.48 (389)2.82 (389)0.73 (389)2.93 (389)0.17 (389)0.18 (389)358.72 (389)
maxone/ezfact32_2.shuffled.cnf.wcnf0.09 (364)0.11 (364)0.04 (364)0.02 (364)0.25 (364)0.04 (364)0.91 (364)0.03 (364)0.12 (364)0.07 (364)261.98 (364)
maxone/ezfact32_3.shuffled.cnf.wcnf3.03 (397)0.62 (397)0.04 (397)0.03 (397)0.58 (397)2.67 (397)0.74 (397)0.04 (397)0.14 (397)2.9 (397)286.34 (397)
maxone/ezfact32_4.shuffled.cnf.wcnf0.76 (379)1.63 (379)0.05 (379)0.03 (379)3.42 (379)0.32 (379)0.79 (379)2.44 (379)0.13 (379)0.63 (379)109.9 (379)
maxone/ezfact32_6.shuffled.cnf.wcnf0.2 (382)0.24 (382)0.05 (382)0.03 (382)2.0 (382)0.25 (382)0.95 (382)0.05 (382)0.2 (382)0.1 (382)807.28 (382)
maxone/ezfact32_8.shuffled.cnf.wcnf0.4 (392)0.29 (392)0.06 (392)0.04 (392)1.04 (392)0.71 (392)0.79 (392)0.29 (392)0.3 (392)0.15 (392)3600.0 (-)
aes/mul_8_11.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
aes/mul_8_13.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
aes/mul_8_14.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
aes/mul_8_3.wcnf3600.0 (-)3600.0 (-)184.32 (36)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)402.86 (36)3600.0 (-)46.87 (36)
aes/mul_8_9.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1290.43 (42)
aes/sbox_4.wcnf0.14 (22)0.14 (22)0.34 (22)0.34 (22)0.92 (22)1647.9 (22)43.01 (22)1746.71 (22)0.49 (22)3182.8 (22)0.24 (22)
aes/sbox_8.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
bcp-fir/normalized-f20c10b_001_area_delay.wcnf1.85 (28)1.85 (28)174.31 (28)2.89 (28)3.11 (28)6.84 (28)4.5 (28)3.52 (28)87.52 (28)6.29 (28)16.16 (28)
bcp-fir/normalized-f20c10b_002_area_delay.wcnf0.28 (24)0.33 (24)10.72 (24)0.17 (24)0.89 (24)0.85 (24)1.15 (24)0.71 (24)11.99 (24)1.46 (24)1.7 (24)
bcp-fir/normalized-f20c10b_003_area_delay.wcnf0.54 (26)0.53 (26)14.74 (26)0.24 (26)0.81 (26)0.74 (26)5.1 (26)0.88 (26)21.05 (26)1.63 (26)4.72 (26)
bcp-fir/normalized-f20c10b_004_area_delay.wcnf0.53 (27)0.5 (27)26.58 (27)0.42 (27)0.65 (27)0.72 (27)1.26 (27)0.93 (27)28.94 (27)1.15 (27)2.18 (27)
bcp-fir/normalized-f20c10b_005_area_delay.wcnf2.85 (26)3.25 (26)289.5 (26)1.18 (26)16.1 (26)1.5 (26)40.24 (26)2.26 (26)525.03 (26)2.29 (26)18.09 (26)
bcp-fir/normalized-f20c10b_006_area_delay.wcnf0.16 (22)0.36 (22)4.08 (22)0.1 (22)0.29 (22)0.11 (22)0.8 (22)0.16 (22)3.02 (22)0.2 (22)0.2 (22)
bcp-fir/normalized-f20c10b_007_area_delay.wcnf1.38 (26)1.62 (26)116.68 (26)1.12 (26)2.14 (26)3.78 (26)6.61 (26)2.76 (26)73.67 (26)2.96 (26)6.66 (26)
bcp-fir/normalized-f20c10b_008_area_delay.wcnf50.61 (25)137.79 (25)127.48 (25)0.34 (25)1.56 (25)0.66 (25)1.94 (25)0.78 (25)13.1 (25)1.29 (25)2.58 (25)
bcp-fir/normalized-f20c10b_009_area_delay.wcnf0.36 (24)0.36 (24)7.53 (24)0.1 (24)0.25 (24)0.17 (24)0.95 (24)0.2 (24)12.23 (24)0.23 (24)0.8 (24)
bcp-fir/normalized-f20c10b_010_area_delay.wcnf2.64 (26)5.71 (26)376.31 (26)9.21 (26)8.32 (26)10.92 (26)161.17 (26)11.07 (26)567.61 (26)21.68 (26)68.72 (26)
bcp-fir/normalized-f20c10b_011_area_delay.wcnf0.75 (26)0.72 (26)24.48 (26)0.3 (26)0.68 (26)0.58 (26)3.91 (26)0.84 (26)31.4 (26)1.75 (26)4.85 (26)
bcp-fir/normalized-f20c10b_012_area_delay.wcnf1.49 (27)1.31 (27)95.94 (27)1.88 (27)2.29 (27)4.42 (27)19.94 (27)8.88 (27)115.07 (27)5.25 (27)10.59 (27)
bcp-fir/normalized-f20c10b_013_area_delay.wcnf4.75 (22)4.47 (22)90.82 (22)1.59 (22)15.49 (22)1.4 (22)52.72 (22)1.43 (22)1237.64 (22)3.83 (22)15.95 (22)
bcp-fir/normalized-f20c10b_014_area_delay.wcnf1.18 (27)1.53 (27)132.61 (27)3.37 (27)2.84 (27)2.62 (27)28.11 (27)2.86 (27)45.41 (27)3.49 (27)7.59 (27)
bcp-fir/normalized-f20c10b_015_area_delay.wcnf0.6 (25)0.6 (25)18.38 (25)0.26 (25)0.51 (25)0.91 (25)1.6 (25)0.72 (25)27.37 (25)1.3 (25)3.53 (25)
bcp-fir/normalized-f20c10b_016_area_delay.wcnf0.7 (25)0.74 (25)15.11 (25)0.7 (25)0.59 (25)1.42 (25)3.0 (25)1.44 (25)32.39 (25)1.86 (25)1.93 (25)
bcp-fir/normalized-f20c10b_017_area_delay.wcnf1.49 (25)1.39 (25)38.48 (25)2.22 (25)6.23 (25)2.46 (25)9.76 (25)4.39 (25)53.96 (25)6.77 (25)6.03 (25)
bcp-fir/normalized-f20c10b_018_area_delay.wcnf0.31 (25)0.27 (25)10.46 (25)0.2 (25)0.78 (25)0.26 (25)1.96 (25)0.37 (25)12.88 (25)0.59 (25)1.33 (25)
bcp-fir/normalized-f20c10b_019_area_delay.wcnf0.56 (24)0.53 (24)26.62 (24)0.26 (24)1.16 (24)1.05 (24)2.88 (24)1.16 (24)21.35 (24)1.7 (24)4.13 (24)
bcp-fir/normalized-f20c10b_020_area_delay.wcnf0.18 (23)0.19 (23)9.27 (23)0.11 (23)0.54 (23)0.27 (23)0.92 (23)0.28 (23)9.17 (23)0.41 (23)0.47 (23)
bcp-fir/normalized-f20c10b_021_area_delay.wcnf0.46 (24)0.46 (24)21.26 (24)0.21 (24)0.74 (24)0.69 (24)1.88 (24)0.85 (24)25.85 (24)1.1 (24)3.25 (24)
bcp-fir/normalized-f20c10b_022_area_delay.wcnf0.54 (26)0.52 (26)32.72 (26)0.38 (26)1.15 (26)1.18 (26)2.11 (26)1.4 (26)36.02 (26)1.31 (26)3.65 (26)
bcp-fir/normalized-f20c10b_023_area_delay.wcnf3.94 (22)4.2 (22)133.35 (22)1.52 (22)15.69 (22)2.01 (22)121.15 (22)3.28 (22)3600.0 (-)3.0 (22)19.56 (22)
bcp-fir/normalized-f20c10b_024_area_delay.wcnf38.55 (24)9.17 (24)71.02 (24)0.25 (24)0.65 (24)0.85 (24)3.33 (24)1.0 (24)25.36 (24)1.14 (24)1.75 (24)
bcp-fir/normalized-f20c10b_025_area_delay.wcnf2.91 (25)3.2 (25)658.07 (25)1.45 (25)16.99 (25)1.4 (25)15.22 (25)2.42 (25)1850.92 (25)2.92 (25)15.1 (25)
bcp-fir/normalized-fir06_area_delay.wcnf0.23 (15)0.24 (15)3.8 (15)0.09 (15)0.11 (15)27.2 (15)0.78 (15)32.95 (15)0.25 (15)14.51 (15)0.39 (15)
bcp-fir/normalized-fir07_area_delay.wcnf7.46 (16)8.61 (16)71.18 (16)1.13 (16)6.56 (16)3270.72 (16)2.43 (16)3421.93 (16)3.12 (16)1830.57 (16)1.37 (16)
bcp-fir/normalized-fir08_area_delay.wcnf138.5 (23)99.41 (23)169.86 (23)110.46 (23)1065.28 (23)3600.0 (-)41.16 (23)3600.0 (-)3600.0 (-)3600.0 (-)32.99 (23)
bcp-fir/normalized-fir08_area_opers.wcnf183.23 (48)210.26 (48)3600.0 (-)104.22 (48)1076.17 (48)867.86 (48)3600.0 (-)1156.69 (48)3600.0 (-)940.49 (48)99.88 (48)
bcp-fir/normalized-fir08_area_partials.wcnf13.77 (49)14.29 (49)514.57 (49)3.91 (49)2.16 (49)1.96 (49)84.01 (49)2.01 (49)3600.0 (-)4.0 (49)122.89 (49)
bcp-fir/normalized-fir09_area_delay.wcnf4.54 (17)8.34 (17)105.38 (17)1.7 (17)19.06 (17)3600.0 (-)7.82 (17)3600.0 (-)7.02 (17)3600.0 (-)3.78 (17)
bcp-fir/normalized-fir09_area_opers.wcnf4.63 (34)6.44 (34)1029.6 (34)2.09 (34)29.02 (34)4.75 (34)426.0 (34)9.69 (34)3600.0 (-)15.23 (34)10.0 (34)
bcp-msp/normalized-f1000.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
bcp-msp/normalized-f2000.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
bcp-msp/normalized-f600.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
bcp-msp/normalized-g125.17.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
bcp-msp/normalized-g125.18.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
bcp-msp/normalized-g250.15.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
bcp-msp/normalized-g250.29.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
bcp-msp/normalized-hanoi5.wcnf0.66 (1931)1.07 (1931)3.19 (1931)1.54 (1931)5.37 (1931)1.0 (1931)11.16 (1931)0.99 (1931)10.92 (1931)2.05 (1931)3600.0 (-)
bcp-msp/normalized-ii16a1.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
bcp-msp/normalized-ii16a2.wcnf312.6 (1164)1018.38 (1164)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
bcp-msp/normalized-ii16c1.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
bcp-msp/normalized-ii16d1.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
bcp-msp/normalized-ii16d2.wcnf14.57 (785)11.98 (785)57.7 (785)2.51 (785)27.67 (785)1.24 (785)6.83 (785)1.07 (785)24.36 (785)1.44 (785)1877.89 (785)
bcp-msp/normalized-ii32c1.wcnf0.45 (167)1.26 (167)7.81 (167)4.82 (167)5.14 (167)3.56 (167)3.34 (167)3.6 (167)16.92 (167)3.03 (167)5.45 (167)
bcp-msp/normalized-ii32c2.wcnf5.82 (207)18.13 (207)17.75 (207)32.49 (207)43.18 (207)26.49 (207)71.48 (207)23.6 (207)68.32 (207)12.94 (207)15.01 (207)
bcp-msp/normalized-ii32c3.wcnf10.88 (261)12.65 (261)101.39 (261)13.42 (261)29.69 (261)15.59 (261)132.13 (261)14.24 (261)49.33 (261)8.71 (261)255.66 (261)
bcp-msp/normalized-ii32d1.wcnf170.6 (285)346.75 (285)2626.14 (285)3600.0 (-)1405.28 (285)3600.0 (-)3600.0 (-)3600.0 (-)819.52 (285)659.45 (285)3600.0 (-)
bcp-msp/normalized-ii32d2.wcnf1575.58 (372)618.82 (372)3600.0 (-)2142.71 (372)1138.53 (372)547.87 (372)3600.0 (-)559.63 (372)3600.0 (-)470.51 (372)3600.0 (-)
bcp-msp/normalized-ii32d3.wcnf86.53 (802)67.68 (802)363.08 (802)24.5 (802)544.63 (802)5.23 (802)1414.02 (802)5.73 (802)35.95 (802)5.41 (802)3600.0 (-)
bcp-msp/normalized-ii32e5.wcnf23.73 (503)26.87 (503)31.59 (503)7.99 (503)30.3 (503)11.22 (503)150.91 (503)12.59 (503)49.09 (503)8.75 (503)915.33 (503)
bcp-msp/normalized-ii8a2.wcnf0.09 (139)0.27 (139)1.48 (139)155.33 (139)3600.0 (-)3600.0 (-)0.3 (139)3600.0 (-)1.43 (139)3600.0 (-)0.82 (139)
bcp-msp/normalized-ii8a3.wcnf0.24 (191)0.59 (191)3.05 (191)177.75 (191)3600.0 (-)3600.0 (-)0.38 (191)3600.0 (-)4.8 (191)1677.9 (191)1.43 (191)
bcp-msp/normalized-ii8a4.wcnf0.97 (283)1.53 (283)7.12 (283)11.15 (283)2455.74 (283)2473.79 (283)1.09 (283)2403.95 (283)11.39 (283)901.07 (283)2.81 (283)
bcp-msp/normalized-ii8b2.wcnf1.36 (379)2.17 (379)6.85 (379)116.56 (379)2477.39 (379)3600.0 (-)1.4 (379)3600.0 (-)11.11 (379)1247.42 (379)5.96 (379)
bcp-msp/normalized-ii8b3.wcnf3.8 (507)4.81 (507)13.17 (507)61.99 (507)2158.87 (507)3600.0 (-)2.27 (507)3600.0 (-)14.15 (507)2830.79 (507)10.94 (507)
bcp-msp/normalized-ii8b4.wcnf7.29 (654)8.12 (654)10.55 (654)100.69 (654)3399.46 (654)3600.0 (-)3.04 (654)3600.0 (-)8.56 (654)2586.41 (654)24.53 (654)
bcp-msp/normalized-ii8c2.wcnf4.39 (525)7.8 (525)22.63 (525)2272.9 (525)3600.0 (-)3600.0 (-)3.73 (525)3600.0 (-)92.13 (525)3600.0 (-)9.22 (525)
bcp-msp/normalized-ii8d1.wcnf1.03 (343)2.84 (343)51.11 (343)3600.0 (-)3600.0 (-)3600.0 (-)1.5 (343)3600.0 (-)444.53 (343)3600.0 (-)1136.2 (343)
bcp-msp/normalized-ii8d2.wcnf4.05 (540)5.65 (540)21.64 (540)3528.59 (540)3600.0 (-)3600.0 (-)3.06 (540)3600.0 (-)83.32 (540)3600.0 (-)29.64 (540)
bcp-msp/normalized-ii8e1.wcnf1.03 (343)2.06 (343)89.63 (343)788.94 (343)3600.0 (-)3600.0 (-)9.59 (343)3600.0 (-)46.76 (343)3600.0 (-)24.05 (343)
bcp-msp/normalized-ii8e2.wcnf3.47 (494)6.99 (494)33.9 (494)177.25 (494)3600.0 (-)3600.0 (-)3.13 (494)3600.0 (-)100.23 (494)3600.0 (-)7.1 (494)
bcp-msp/normalized-par32-1-c.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
bcp-msp/normalized-par32-1.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
bcp-msp/normalized-par32-2-c.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
bcp-msp/normalized-par32-2.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
bcp-syn/normalized-C499.a.wcnf0.33 (64)2.18 (64)2.74 (64)0.21 (64)401.44 (64)3600.0 (-)1.07 (64)3600.0 (-)1.03 (64)3600.0 (-)4.04 (64)
bcp-syn/normalized-addm4.r.wcnf0.68 (165)15.27 (165)0.1 (165)0.01 (165)62.43 (165)3600.0 (-)0.21 (165)3600.0 (-)0.07 (165)3600.0 (-)0.06 (165)
bcp-syn/normalized-alu4.b.wcnf3600.0 (-)3600.0 (-)0.42 (50)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)0.18 (50)3600.0 (-)0.52 (50)
bcp-syn/normalized-apex6.b.wcnf2100.22 (136)3600.0 (-)7.24 (136)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)9.1 (136)3600.0 (-)4.36 (136)
bcp-syn/normalized-bench1.r.wcnf3600.0 (-)3600.0 (-)0.55 (121)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)0.75 (121)3600.0 (-)0.35 (121)
bcp-syn/normalized-des.a.wcnf6.13 (942)3600.0 (-)7.91 (942)0.85 (942)3600.0 (-)3600.0 (-)6.68 (942)3600.0 (-)5.08 (942)3600.0 (-)2.91 (942)
bcp-syn/normalized-duke2.b.wcnf3600.0 (-)3600.0 (-)1.27 (70)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1.39 (70)3600.0 (-)1.09 (70)
bcp-syn/normalized-ex1010.pi.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
bcp-syn/normalized-ex5.r.wcnf3600.0 (-)3600.0 (-)3.99 (37)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2.6 (37)3600.0 (-)1.01 (37)
bcp-syn/normalized-exam.pi.wcnf158.45 (63)3600.0 (-)0.44 (63)7.13 (63)3600.0 (-)3600.0 (-)32.85 (63)3600.0 (-)0.73 (63)3600.0 (-)0.33 (63)
bcp-syn/normalized-f51m.b.wcnf0.09 (18)0.06 (18)0.08 (18)0.05 (18)0.27 (18)2.19 (18)0.77 (18)2.53 (18)0.07 (18)1.87 (18)0.05 (18)
bcp-syn/normalized-fout.r.wcnf0.03 (38)0.04 (38)0.04 (38)0.01 (38)3.52 (38)3600.0 (-)0.07 (38)3600.0 (-)0.04 (38)1111.33 (38)0.02 (38)
bcp-syn/normalized-jac3.wcnf31.26 (15)44.52 (15)1.55 (15)0.32 (15)1.32 (15)3600.0 (-)3600.0 (-)3600.0 (-)0.71 (15)3600.0 (-)0.13 (15)
bcp-syn/normalized-lin.rom.r.wcnf0.58 (120)316.81 (120)0.18 (120)0.19 (120)1296.67 (120)3600.0 (-)4.19 (120)3600.0 (-)0.2 (120)3600.0 (-)0.05 (120)
bcp-syn/normalized-m100_100_10_10.r.wcnf3600.0 (-)3600.0 (-)7.74 (12)3600.0 (-)1763.57 (12)3600.0 (-)3600.0 (-)3600.0 (-)2.84 (12)3600.0 (-)3.94 (12)
bcp-syn/normalized-m100_100_10_15.r.wcnf574.63 (10)1207.72 (10)2.17 (10)309.63 (10)1052.8 (10)1872.18 (10)3600.0 (-)1638.9 (10)2.1 (10)3600.0 (-)0.23 (10)
bcp-syn/normalized-m100_100_10_30.r.wcnf20.56 (8)38.45 (8)0.23 (8)9.33 (8)9.24 (8)8.41 (8)31.31 (8)50.27 (8)0.19 (8)16.0 (8)0.59 (8)
bcp-syn/normalized-m100_100_30_30.r.wcnf19.27 (5)106.3 (5)0.29 (5)13.76 (5)23.26 (5)60.59 (5)191.71 (5)85.17 (5)1.37 (5)11.01 (5)0.23 (5)
bcp-syn/normalized-m100_300_10_14.r.wcnf3600.0 (-)3600.0 (-)0.51 (19)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)0.46 (19)3600.0 (-)0.34 (19)
bcp-syn/normalized-m100_300_10_15.r.wcnf3600.0 (-)3600.0 (-)3.96 (19)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3.48 (19)3600.0 (-)1.3 (19)
bcp-syn/normalized-m100_300_10_20.r.wcnf3600.0 (-)3600.0 (-)3.24 (17)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2.52 (17)3600.0 (-)0.91 (17)
bcp-syn/normalized-m200_500_10_10.r.wcnf3600.0 (-)3600.0 (-)810.67 (39)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)849.79 (39)3600.0 (-)570.45 (39)
bcp-syn/normalized-m4.r.wcnf0.17 (90)1.63 (90)0.07 (90)0.03 (90)99.39 (90)3600.0 (-)0.18 (90)3600.0 (-)0.07 (90)3600.0 (-)0.18 (90)
bcp-syn/normalized-maincont.r.wcnf0.01 (7)0.01 (7)0.02 (7)0.0 (7)0.0 (7)0.01 (7)0.04 (7)0.01 (7)0.02 (7)0.01 (7)0.01 (7)
bcp-syn/normalized-max1024.r.wcnf3600.0 (-)3600.0 (-)1.16 (245)2.99 (245)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1.24 (245)3600.0 (-)0.67 (245)
bcp-syn/normalized-max512.r.wcnf0.04 (113)0.28 (113)0.04 (113)0.01 (113)2.94 (113)3600.0 (-)0.09 (113)3600.0 (-)0.04 (113)3600.0 (-)0.02 (113)
bcp-syn/normalized-mlp4.r.wcnf0.06 (109)0.67 (109)0.07 (109)0.01 (109)120.35 (109)3600.0 (-)0.5 (109)3600.0 (-)0.06 (109)3600.0 (-)0.05 (109)
bcp-syn/normalized-pdc.r.wcnf14.33 (94)231.47 (94)0.62 (94)0.19 (94)3600.0 (-)3600.0 (-)17.42 (94)3600.0 (-)1.22 (94)3600.0 (-)0.21 (94)
bcp-syn/normalized-prom2.pi.wcnf3600.0 (-)3600.0 (-)1.44 (287)120.02 (287)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1.38 (287)3600.0 (-)0.19 (287)
bcp-syn/normalized-prom2.r.wcnf3600.0 (-)3600.0 (-)1.42 (278)175.84 (278)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1.37 (278)3600.0 (-)0.18 (278)
bcp-syn/normalized-rot.b.wcnf47.16 (115)754.92 (115)0.78 (115)118.48 (115)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)0.31 (115)3600.0 (-)0.53 (115)
bcp-syn/normalized-sao2.b.wcnf70.78 (25)42.83 (25)0.13 (25)0.01 (25)0.18 (25)278.33 (25)0.12 (25)160.79 (25)0.12 (25)96.06 (25)0.13 (25)
bcp-syn/normalized-saucier.r.wcnf369.63 (6)388.25 (6)87.44 (6)1164.48 (6)1255.4 (6)2119.72 (6)3600.0 (-)1392.66 (6)1137.56 (6)3600.0 (-)11.38 (6)
bcp-syn/normalized-test1.r.wcnf1.11 (110)194.89 (110)0.14 (110)0.44 (110)3600.0 (-)3600.0 (-)313.81 (110)3600.0 (-)0.13 (110)3600.0 (-)0.03 (110)
bcp-syn/normalized-test4.pi.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
circuit-trace/ctrl.wcnf0.29 (15)0.31 (15)60.1 (15)0.14 (15)0.22 (15)0.15 (15)2.84 (15)0.14 (15)143.23 (15)0.14 (15)405.43 (15)
circuit-trace/mrisc_mem2wire.wcnf63.49 (5)76.4 (5)240.49 (5)22.94 (5)69.98 (5)63.34 (5)187.85 (5)51.5 (5)2846.88 (5)52.57 (5)3600.0 (-)
circuit-trace/spi.wcnf8.4 (46)8.71 (46)3600.0 (-)1.77 (46)9.97 (46)3.55 (46)150.68 (46)3.03 (46)3600.0 (-)3.41 (46)3600.0 (-)
circuit-trace/sudoku.wcnf7.21 (13)7.91 (13)3600.0 (-)4.3 (13)9.85 (13)2.7 (13)163.69 (13)6.32 (13)3600.0 (-)3.25 (13)3600.0 (-)
fault-diagnosis/s38584_nan_explicit_11_0.wcnf389.59 (193)279.25 (193)3600.0 (-)165.47 (193)155.6 (193)273.78 (193)108.08 (193)314.59 (193)3600.0 (-)3600.0 (-)3600.0 (-)
fault-diagnosis/s38584_nan_explicit_12_0.wcnf153.87 (191)206.44 (191)3600.0 (-)115.57 (191)86.19 (191)254.91 (191)174.76 (191)135.03 (191)3600.0 (-)315.03 (191)3600.0 (-)
fault-diagnosis/s38584_nan_explicit_13_0.wcnf77.91 (192)70.97 (192)3600.0 (-)63.9 (192)66.39 (192)293.66 (192)83.99 (192)195.99 (192)3600.0 (-)179.56 (192)3600.0 (-)
fault-diagnosis/s38584_nan_explicit_14_0.wcnf829.47 (202)930.53 (202)3600.0 (-)732.17 (202)331.52 (202)3600.0 (-)366.92 (202)2058.56 (202)3600.0 (-)3600.0 (-)3600.0 (-)
fault-diagnosis/s38584_nan_explicit_15_0.wcnf1239.15 (208)954.71 (208)3600.0 (-)472.5 (208)3600.0 (-)686.87 (208)290.12 (208)603.76 (208)3600.0 (-)1425.92 (208)3600.0 (-)
fault-diagnosis/s38584_nan_explicit_16_0.wcnf65.95 (188)70.9 (188)3600.0 (-)142.92 (188)75.19 (188)87.76 (188)82.5 (188)68.6 (188)3600.0 (-)124.64 (188)3600.0 (-)
fault-diagnosis/s38584_nan_explicit_17_0.wcnf35.72 (185)43.18 (185)3600.0 (-)50.11 (185)23.76 (185)253.3 (185)90.01 (185)41.5 (185)3600.0 (-)97.7 (185)3600.0 (-)
fault-diagnosis/s38584_nan_explicit_19_0.wcnf64.72 (198)62.96 (198)3600.0 (-)65.3 (198)40.39 (198)57.48 (198)82.26 (198)65.21 (198)3600.0 (-)85.14 (198)3600.0 (-)
fault-diagnosis/s38584_nan_explicit_1_0.wcnf1852.19 (126)1246.97 (126)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)528.53 (126)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
fault-diagnosis/s38584_nan_explicit_20_0.wcnf43.19 (194)55.31 (194)3600.0 (-)118.8 (194)39.13 (194)76.37 (194)101.18 (194)79.87 (194)3600.0 (-)65.8 (194)3600.0 (-)
fault-diagnosis/s38584_nan_explicit_21_0.wcnf11.06 (184)9.52 (184)592.38 (184)28.07 (184)9.56 (184)16.44 (184)78.03 (184)17.91 (184)1102.5 (184)25.57 (184)3600.0 (-)
fault-diagnosis/s38584_nan_explicit_22_0.wcnf28.09 (179)29.58 (179)3600.0 (-)65.27 (179)17.15 (179)25.17 (179)75.28 (179)19.5 (179)3600.0 (-)62.99 (179)3600.0 (-)
fault-diagnosis/s38584_nan_explicit_23_0.wcnf42.29 (179)46.59 (179)3600.0 (-)121.46 (179)44.52 (179)99.06 (179)74.96 (179)33.14 (179)3600.0 (-)172.2 (179)3600.0 (-)
fault-diagnosis/s38584_nan_explicit_24_0.wcnf20.96 (177)20.01 (177)3600.0 (-)48.4 (177)10.39 (177)17.94 (177)67.55 (177)17.16 (177)3600.0 (-)28.3 (177)3600.0 (-)
fault-diagnosis/s38584_nan_explicit_25_0.wcnf24.68 (188)24.82 (188)3600.0 (-)29.82 (188)11.58 (188)69.45 (188)68.73 (188)37.3 (188)3600.0 (-)32.29 (188)3600.0 (-)
fault-diagnosis/s38584_nan_explicit_26_0.wcnf24.55 (169)24.56 (169)3600.0 (-)51.46 (169)16.49 (169)22.75 (169)71.39 (169)27.07 (169)3600.0 (-)64.45 (169)3600.0 (-)
fault-diagnosis/s38584_nan_explicit_27_0.wcnf39.39 (203)42.5 (203)3600.0 (-)63.2 (203)20.72 (203)26.2 (203)86.13 (203)37.35 (203)3600.0 (-)62.26 (203)3600.0 (-)
fault-diagnosis/s38584_nan_explicit_30_0.wcnf47.57 (200)51.82 (200)3600.0 (-)119.63 (200)24.56 (200)45.95 (200)70.94 (200)39.6 (200)3600.0 (-)123.82 (200)3600.0 (-)
fault-diagnosis/s38584_nan_explicit_31_0.wcnf36.97 (190)37.15 (190)3600.0 (-)59.08 (190)24.64 (190)198.69 (190)71.61 (190)39.75 (190)3600.0 (-)47.77 (190)3600.0 (-)
fault-diagnosis/s38584_nan_explicit_33_0.wcnf20.0 (189)21.39 (189)3600.0 (-)24.35 (189)17.79 (189)24.95 (189)60.09 (189)14.34 (189)3600.0 (-)19.55 (189)3600.0 (-)
fault-diagnosis/s38584_nan_explicit_34_0.wcnf21.18 (189)20.99 (189)3600.0 (-)35.46 (189)14.28 (189)26.8 (189)58.44 (189)19.95 (189)3600.0 (-)39.49 (189)3600.0 (-)
fault-diagnosis/s38584_nan_explicit_36_0.wcnf23.69 (183)24.4 (183)2907.26 (183)30.06 (183)13.5 (183)11.87 (183)57.08 (183)12.73 (183)3600.0 (-)21.54 (183)3600.0 (-)
fault-diagnosis/s38584_nan_explicit_38_0.wcnf24.61 (189)26.15 (189)3600.0 (-)25.58 (189)13.0 (189)26.66 (189)64.02 (189)15.95 (189)3600.0 (-)34.82 (189)3600.0 (-)
fault-diagnosis/s38584_nan_explicit_39_0.wcnf26.53 (198)25.26 (198)3600.0 (-)112.12 (198)21.71 (198)34.12 (198)69.74 (198)36.38 (198)3600.0 (-)43.97 (198)3600.0 (-)
fault-diagnosis/s38584_nan_explicit_3_0.wcnf3600.0 (-)3600.0 (-)3600.0 (-)1246.32 (150)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
fault-diagnosis/s38584_nan_explicit_41_0.wcnf21.75 (163)20.38 (163)3600.0 (-)33.52 (163)12.18 (163)71.71 (163)60.64 (163)30.87 (163)2542.17 (163)46.56 (163)3600.0 (-)
fault-diagnosis/s38584_nan_explicit_42_0.wcnf20.33 (193)19.96 (193)3600.0 (-)30.61 (193)14.91 (193)13.96 (193)57.76 (193)13.72 (193)3600.0 (-)64.68 (193)3600.0 (-)
fault-diagnosis/s38584_nan_explicit_43_0.wcnf32.42 (178)33.25 (178)760.83 (178)24.67 (178)12.01 (178)22.07 (178)61.51 (178)12.93 (178)689.07 (178)22.37 (178)3600.0 (-)
fault-diagnosis/s38584_nan_explicit_44_0.wcnf20.21 (168)21.16 (168)1289.12 (168)34.87 (168)13.82 (168)9.35 (168)57.69 (168)9.05 (168)1237.63 (168)19.39 (168)3600.0 (-)
fault-diagnosis/s38584_nan_explicit_47_0.wcnf20.81 (154)20.95 (154)353.67 (154)22.52 (154)15.4 (154)50.73 (154)50.17 (154)8.71 (154)419.12 (154)29.14 (154)3600.0 (-)
fault-diagnosis/s38584_nan_explicit_48_0.wcnf109.09 (164)92.69 (164)864.53 (164)27.12 (164)47.98 (164)35.28 (164)63.25 (164)38.08 (164)1203.28 (164)84.76 (164)3600.0 (-)
fault-diagnosis/s38584_nan_explicit_49_0.wcnf20.79 (166)21.19 (166)556.89 (166)27.98 (166)16.47 (166)20.65 (166)54.38 (166)10.12 (166)967.51 (166)14.55 (166)3600.0 (-)
fault-diagnosis/s38584_nan_explicit_4_0.wcnf3600.0 (-)897.73 (146)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1875.69 (146)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
fault-diagnosis/s38584_nan_explicit_5_0.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
fault-diagnosis/s38584_nan_explicit_8_0.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
packup/1aabfc32-d491-11df-9a24-00163e3d3b7c_l3.wcnf20.62 (2236)17.14 (2236)4.09 (2236)4.12 (2236)4.32 (2236)2.49 (2236)13.66 (2236)2.94 (2236)68.13 (2236)4.7 (2236)1.01 (2236)
packup/2c3aece6-c8b2-11df-a040-00163e3d3b7c_l3.wcnf14.45 (814)11.63 (814)39.14 (814)20.05 (814)16.56 (814)8.82 (814)13.23 (814)8.73 (814)31.66 (814)8.92 (814)0.67 (814)
packup/4ede8d96-c17a-11df-a7c5-00163e3d3b7c_l3.wcnf0.91 (631)0.82 (631)0.29 (631)0.2 (631)0.48 (631)0.41 (631)3.86 (631)0.42 (631)0.44 (631)0.74 (631)0.6 (631)
packup/7f80e4f0-4fe9-11e0-acd7-00163e1e087d_l3.wcnf4.24 (404)4.57 (404)38.62 (404)5.3 (404)3.38 (404)8.16 (404)7.96 (404)8.22 (404)177.7 (404)4.31 (404)0.36 (404)
packup/rand118_l2.wcnf4.14 (447)4.27 (447)1.01 (447)0.51 (447)1.24 (447)2.32 (447)6.86 (447)2.37 (447)1.27 (447)5.83 (447)0.89 (447)
packup/rand179_l2.wcnf52.02 (1088)47.09 (1088)1.66 (1088)0.95 (1088)5.8 (1088)5.69 (1088)10.57 (1088)5.21 (1088)2.43 (1088)14.47 (1088)1.24 (1088)
packup/rand196_l2.wcnf112.06 (1298)104.95 (1298)4.0 (1298)1.6 (1298)29.13 (1298)11.14 (1298)18.9 (1298)11.27 (1298)4.66 (1298)25.45 (1298)1.32 (1298)
packup/rand208_l2.wcnf3.53 (349)3.3 (349)1.79 (349)0.51 (349)1.05 (349)0.97 (349)7.02 (349)1.06 (349)1.84 (349)3.77 (349)0.96 (349)
packup/rand209_l2.wcnf37.94 (1199)35.86 (1199)1.09 (1199)0.87 (1199)3.16 (1199)6.94 (1199)9.01 (1199)7.34 (1199)3.69 (1199)13.69 (1199)0.87 (1199)
packup/rand21_l2.wcnf122.35 (1465)121.48 (1465)1.6 (1465)1.55 (1465)81.78 (1465)14.13 (1465)17.18 (1465)14.19 (1465)3600.0 (-)31.71 (1465)1.08 (1465)
packup/rand242_l2.wcnf5.26 (388)5.22 (388)1.5 (388)0.69 (388)2.09 (388)1.65 (388)8.01 (388)1.8 (388)2.24 (388)7.29 (388)1.36 (388)
packup/rand289_l2.wcnf2.66 (350)2.5 (350)0.89 (350)0.5 (350)1.08 (350)1.12 (350)7.12 (350)1.28 (350)1.45 (350)4.05 (350)1.21 (350)
packup/rand308_l2.wcnf44.21 (1235)43.29 (1235)0.93 (1235)0.45 (1235)2.8 (1235)7.92 (1235)5.09 (1235)7.75 (1235)0.78 (1235)9.77 (1235)0.55 (1235)
packup/rand30_l2.wcnf6.7 (512)6.11 (512)0.89 (512)0.51 (512)1.46 (512)1.44 (512)6.37 (512)1.47 (512)1.5 (512)5.88 (512)0.73 (512)
packup/rand313_l2.wcnf80.69 (1595)72.96 (1595)1.14 (1595)1.23 (1595)7.46 (1595)7.58 (1595)19.51 (1595)8.44 (1595)1.86 (1595)15.82 (1595)0.9 (1595)
packup/rand377_l2.wcnf4.55 (574)4.0 (574)0.69 (574)0.3 (574)0.8 (574)0.94 (574)5.18 (574)0.99 (574)0.53 (574)2.63 (574)0.57 (574)
packup/rand425_l2.wcnf7.51 (694)6.64 (694)1.23 (694)0.43 (694)1.11 (694)1.23 (694)6.45 (694)1.31 (694)0.83 (694)4.35 (694)0.7 (694)
packup/rand446_l2.wcnf4.11 (416)4.12 (416)1.05 (416)0.57 (416)1.21 (416)1.04 (416)7.66 (416)1.14 (416)1.6 (416)4.69 (416)1.08 (416)
packup/rand484_l2.wcnf2.64 (331)2.25 (331)1.28 (331)0.57 (331)1.23 (331)1.22 (331)7.04 (331)1.3 (331)1.65 (331)4.47 (331)1.07 (331)
packup/rand507_l2.wcnf42.02 (1197)40.1 (1197)0.61 (1197)0.45 (1197)2.66 (1197)2.98 (1197)6.57 (1197)2.87 (1197)0.8 (1197)8.75 (1197)0.68 (1197)
packup/rand695_l2.wcnf21.11 (974)20.68 (974)0.84 (974)0.33 (974)1.55 (974)1.29 (974)7.69 (974)1.37 (974)0.4 (974)5.08 (974)0.57 (974)
packup/rand717_l2.wcnf62.68 (1120)55.55 (1120)4.16 (1120)1.11 (1120)8.57 (1120)10.32 (1120)10.68 (1120)11.44 (1120)4.82 (1120)22.68 (1120)1.02 (1120)
packup/rand736_l2.wcnf38.95 (1232)36.95 (1232)0.92 (1232)0.41 (1232)2.34 (1232)1.75 (1232)6.86 (1232)1.84 (1232)0.54 (1232)7.91 (1232)0.63 (1232)
packup/rand736_l3.wcnf5.58 (1481)4.58 (1481)0.32 (1481)0.23 (1481)0.88 (1481)0.55 (1481)4.25 (1481)0.54 (1481)0.62 (1481)1.4 (1481)0.69 (1481)
packup/rand794_l2.wcnf3.78 (472)3.64 (472)0.9 (472)0.5 (472)0.99 (472)1.28 (472)7.19 (472)1.14 (472)1.12 (472)3.74 (472)0.84 (472)
packup/rand7_l2.wcnf35.52 (971)33.01 (971)1.02 (971)0.71 (971)3.74 (971)2.41 (971)7.72 (971)2.53 (971)2.48 (971)11.33 (971)0.77 (971)
packup/rand813_l2.wcnf42.36 (1192)41.3 (1192)1.26 (1192)0.46 (1192)2.52 (1192)1.65 (1192)7.2 (1192)1.52 (1192)0.65 (1192)8.99 (1192)0.89 (1192)
packup/rand869_l2.wcnf9.18 (459)9.19 (459)5.0 (459)0.83 (459)2.32 (459)2.32 (459)8.57 (459)2.69 (459)6.1 (459)6.8 (459)1.25 (459)
packup/rand874_l2.wcnf28.02 (863)27.99 (863)2.99 (863)1.07 (863)3.23 (863)2.46 (863)12.75 (863)2.61 (863)6.19 (863)10.26 (863)1.28 (863)
packup/rand892_l2.wcnf44.57 (1119)43.4 (1119)0.97 (1119)0.4 (1119)2.74 (1119)1.46 (1119)6.77 (1119)1.67 (1119)0.59 (1119)6.12 (1119)0.77 (1119)
packup/rand937_l2.wcnf4.84 (439)4.61 (439)1.04 (439)0.53 (439)1.51 (439)1.57 (439)7.17 (439)1.72 (439)3.11 (439)5.99 (439)0.86 (439)
packup/rand943_l2.wcnf28.44 (829)26.2 (829)3.87 (829)0.9 (829)12.82 (829)14.84 (829)12.22 (829)12.9 (829)8.17 (829)21.07 (829)1.04 (829)
packup/rand954_l2.wcnf9.88 (700)9.12 (700)0.84 (700)0.56 (700)1.65 (700)2.19 (700)7.41 (700)2.77 (700)1.26 (700)6.09 (700)0.76 (700)
packup/rand96_l2.wcnf3.3 (392)3.18 (392)1.07 (392)0.53 (392)0.89 (392)1.07 (392)7.12 (392)1.07 (392)1.33 (392)3.59 (392)1.21 (392)
packup/rand984_l2.wcnf28.5 (839)26.26 (839)1.5 (839)0.84 (839)4.68 (839)3.24 (839)9.94 (839)3.14 (839)2.19 (839)11.89 (839)1.07 (839)
tpr-multiple-path/b18-s_PathRelaxation_Set_FS_1.wcnf24.38 (148)23.78 (148)32.66 (148)6.0 (148)12.19 (148)6.58 (148)130.89 (148)5.74 (148)10.98 (148)8.34 (148)3600.0 (-)
tpr-multiple-path/b18-s_PathRelaxation_Set_FS_10.wcnf82.78 (113)147.8 (113)59.27 (113)19.32 (113)35.49 (113)24.93 (113)87.16 (113)24.6 (113)117.29 (113)18.69 (113)3600.0 (-)
tpr-multiple-path/b18-s_PathRelaxation_Set_FS_12.wcnf95.4 (113)180.41 (113)68.43 (113)21.18 (113)41.7 (113)25.14 (113)106.52 (113)19.45 (113)127.49 (113)29.22 (113)3600.0 (-)
tpr-multiple-path/b18-s_PathRelaxation_Set_FS_2.wcnf38.68 (145)42.14 (145)184.99 (145)21.04 (145)70.61 (145)40.54 (145)3600.0 (-)38.14 (145)190.72 (145)30.3 (145)3600.0 (-)
tpr-multiple-path/b18-s_PathRelaxation_Set_FS_3.wcnf41.24 (145)48.45 (145)144.06 (145)25.35 (145)117.57 (145)62.16 (145)185.17 (145)60.26 (145)188.55 (145)63.14 (145)3600.0 (-)
tpr-multiple-path/b18-s_PathRelaxation_Set_FS_4.wcnf227.62 (145)300.47 (145)250.53 (145)150.96 (145)720.86 (145)206.34 (145)1014.81 (145)361.51 (145)308.3 (145)226.1 (145)3600.0 (-)
tpr-multiple-path/b18-s_PathRelaxation_Set_FS_5.wcnf204.06 (145)196.1 (145)244.84 (145)138.19 (145)678.62 (145)169.78 (145)3600.0 (-)181.22 (145)348.65 (145)176.41 (145)3600.0 (-)
tpr-multiple-path/b18-s_PathRelaxation_Set_FS_6.wcnf305.11 (145)401.22 (145)213.73 (145)82.24 (145)729.86 (145)246.45 (145)1927.74 (145)206.49 (145)360.98 (145)205.91 (145)3600.0 (-)
tpr-multiple-path/b18-s_PathRelaxation_Set_FS_7.wcnf251.0 (145)230.63 (145)190.8 (145)112.92 (145)824.66 (145)247.35 (145)2614.09 (145)313.84 (145)324.67 (145)188.25 (145)3600.0 (-)
tpr-multiple-path/b18-s_PathRelaxation_Set_FS_8.wcnf193.28 (145)282.15 (145)212.41 (145)147.51 (145)772.76 (145)180.38 (145)3600.0 (-)183.38 (145)375.79 (145)331.63 (145)3600.0 (-)
tpr-multiple-path/b18-s_PathRelaxation_Set_FS_9.wcnf163.25 (145)192.77 (145)205.68 (145)205.46 (145)680.39 (145)169.24 (145)3600.0 (-)309.49 (145)412.21 (145)187.1 (145)3600.0 (-)
tpr-multiple-path/b20-s_PathRelaxation_Set_FS_1.wcnf2.53 (84)2.61 (84)12.37 (84)0.72 (84)2.83 (84)2.53 (84)10.04 (84)3.33 (84)16.76 (84)2.67 (84)481.6 (84)
tpr-multiple-path/b20-s_PathRelaxation_Set_FS_10.wcnf7.48 (83)7.53 (83)16.1 (83)1.98 (83)7.73 (83)8.96 (83)29.79 (83)6.86 (83)20.63 (83)41.52 (83)3600.0 (-)
tpr-multiple-path/b20-s_PathRelaxation_Set_FS_11.wcnf10.9 (83)10.47 (83)14.36 (83)2.0 (83)8.63 (83)7.06 (83)23.35 (83)5.3 (83)25.08 (83)10.97 (83)3600.0 (-)
tpr-multiple-path/b20-s_PathRelaxation_Set_FS_12.wcnf9.85 (83)8.22 (83)21.12 (83)1.37 (83)6.68 (83)5.54 (83)22.98 (83)4.18 (83)38.92 (83)6.87 (83)1801.53 (83)
tpr-multiple-path/b20-s_PathRelaxation_Set_FS_2.wcnf4.55 (83)4.94 (83)12.07 (83)1.25 (83)1.6 (83)2.45 (83)7.76 (83)4.09 (83)17.38 (83)2.59 (83)308.79 (83)
tpr-multiple-path/b20-s_PathRelaxation_Set_FS_3.wcnf5.59 (83)5.33 (83)11.82 (83)1.56 (83)4.84 (83)4.22 (83)9.94 (83)6.66 (83)23.65 (83)21.61 (83)3600.0 (-)
tpr-multiple-path/b20-s_PathRelaxation_Set_FS_4.wcnf5.25 (83)5.8 (83)17.8 (83)1.42 (83)5.01 (83)3.24 (83)9.77 (83)13.12 (83)29.49 (83)13.26 (83)3600.0 (-)
tpr-multiple-path/b20-s_PathRelaxation_Set_FS_5.wcnf5.48 (83)5.54 (83)19.62 (83)1.55 (83)6.36 (83)3.49 (83)26.9 (83)4.6 (83)38.45 (83)20.81 (83)3262.54 (83)
tpr-multiple-path/b20-s_PathRelaxation_Set_FS_6.wcnf8.63 (83)7.1 (83)19.38 (83)1.79 (83)5.17 (83)4.25 (83)14.12 (83)5.7 (83)18.84 (83)17.49 (83)3529.61 (83)
tpr-multiple-path/b20-s_PathRelaxation_Set_FS_7.wcnf5.54 (83)6.22 (83)13.5 (83)1.41 (83)7.61 (83)8.53 (83)21.22 (83)11.48 (83)28.3 (83)25.07 (83)2365.11 (83)
tpr-multiple-path/b20-s_PathRelaxation_Set_FS_8.wcnf6.52 (83)6.78 (83)22.51 (83)1.6 (83)7.46 (83)5.49 (83)29.12 (83)5.92 (83)26.89 (83)24.41 (83)3600.0 (-)
tpr-multiple-path/b20-s_PathRelaxation_Set_FS_9.wcnf6.08 (83)5.45 (83)23.99 (83)1.52 (83)7.5 (83)7.88 (83)25.62 (83)6.56 (83)27.49 (83)6.23 (83)3600.0 (-)
tpr-multiple-path/b21-s_PathRelaxation_Set_FS_1.wcnf10.24 (89)16.09 (89)7.39 (89)0.87 (89)15.75 (89)54.73 (89)18.6 (89)43.73 (89)15.22 (89)53.1 (89)3600.0 (-)
tpr-multiple-path/b21-s_PathRelaxation_Set_FS_10.wcnf79.12 (88)65.8 (88)27.23 (88)9.42 (88)95.91 (88)220.11 (88)81.73 (88)208.53 (88)182.25 (88)203.0 (88)3600.0 (-)
tpr-multiple-path/b21-s_PathRelaxation_Set_FS_11.wcnf57.46 (88)259.31 (88)27.37 (88)6.36 (88)50.44 (88)183.17 (88)97.32 (88)186.06 (88)324.35 (88)258.42 (88)3600.0 (-)
tpr-multiple-path/b21-s_PathRelaxation_Set_FS_12.wcnf301.06 (88)272.99 (88)26.74 (88)9.76 (88)81.44 (88)261.33 (88)102.7 (88)252.9 (88)67.94 (88)223.6 (88)3600.0 (-)
tpr-multiple-path/b21-s_PathRelaxation_Set_FS_2.wcnf354.88 (89)133.3 (89)19.89 (89)5.36 (89)57.89 (89)175.86 (89)129.82 (89)150.94 (89)45.87 (89)102.33 (89)3600.0 (-)
tpr-multiple-path/b21-s_PathRelaxation_Set_FS_3.wcnf229.88 (89)157.43 (89)29.04 (89)10.69 (89)47.57 (89)196.91 (89)105.39 (89)210.07 (89)69.3 (89)164.12 (89)3600.0 (-)
tpr-multiple-path/b21-s_PathRelaxation_Set_FS_4.wcnf51.32 (89)44.78 (89)29.79 (89)20.5 (89)161.14 (89)270.09 (89)94.95 (89)211.79 (89)75.27 (89)189.88 (89)3600.0 (-)
tpr-multiple-path/b21-s_PathRelaxation_Set_FS_5.wcnf156.25 (89)96.02 (89)45.52 (89)8.19 (89)93.26 (89)241.37 (89)158.52 (89)284.47 (89)165.29 (89)242.71 (89)3600.0 (-)
tpr-multiple-path/b21-s_PathRelaxation_Set_FS_6.wcnf146.31 (88)143.53 (88)36.43 (88)5.3 (88)66.18 (88)167.04 (88)57.77 (88)163.12 (88)61.74 (88)183.84 (88)3600.0 (-)
tpr-multiple-path/b21-s_PathRelaxation_Set_FS_7.wcnf141.88 (88)75.76 (88)23.22 (88)4.29 (88)63.9 (88)180.12 (88)109.88 (88)170.88 (88)66.1 (88)137.92 (88)2697.92 (88)
tpr-multiple-path/b21-s_PathRelaxation_Set_FS_8.wcnf127.2 (88)63.79 (88)25.85 (88)3.17 (88)75.04 (88)206.24 (88)163.01 (88)209.96 (88)87.17 (88)162.33 (88)3600.0 (-)
tpr-multiple-path/b21-s_PathRelaxation_Set_FS_9.wcnf24.48 (88)104.06 (88)29.84 (88)7.6 (88)51.08 (88)232.63 (88)201.03 (88)219.66 (88)70.81 (88)207.53 (88)3600.0 (-)
aes-key-recovery/AES1-72-28.wcnf35.03 (1)32.17 (1)3.89 (1)1.56 (1)2.59 (1)1.81 (1)26.62 (1)3600.0 (-)4.77 (1)3600.0 (-)3600.0 (-)
aes-key-recovery/AES1-72-29.wcnf31.36 (1)26.6 (1)25.09 (1)1.76 (1)4.73 (1)2399.86 (1)25.25 (1)3600.0 (-)53.52 (1)3600.0 (-)3600.0 (-)
aes-key-recovery/AES1-74-33.wcnf94.75 (1)164.96 (1)97.8 (1)24.1 (1)17.39 (1)3600.0 (-)89.83 (1)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
aes-key-recovery/AES1-74-34.wcnf21.23 (1)21.83 (1)3.69 (1)1.29 (1)1.74 (1)0.68 (1)25.3 (1)3600.0 (-)11.42 (1)3600.0 (-)3600.0 (-)
aes-key-recovery/AES1-74-35.wcnf33.57 (1)30.29 (1)76.22 (1)3.31 (1)8.66 (1)3600.0 (-)31.05 (1)3600.0 (-)139.53 (1)3600.0 (-)3600.0 (-)
aes-key-recovery/AES1-76-36.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
aes-key-recovery/AES1-76-40.wcnf57.29 (1)59.97 (1)123.76 (1)72.96 (1)18.34 (1)3600.0 (-)80.23 (1)1301.12 (1)1075.02 (1)3600.0 (-)3600.0 (-)
aes-key-recovery/AES2-30-41.wcnf22.82 (2)22.77 (2)3.42 (2)1.2 (2)0.78 (2)0.55 (2)24.25 (2)338.33 (2)3.66 (2)3600.0 (-)3600.0 (-)
aes-key-recovery/AES2-30-43.wcnf22.99 (2)22.74 (2)3.42 (2)1.2 (2)0.78 (2)0.55 (2)24.7 (2)326.41 (2)3.66 (2)3600.0 (-)3600.0 (-)
aes-key-recovery/AES2-30-44.wcnf23.16 (2)22.76 (2)3.44 (2)1.21 (2)0.79 (2)0.57 (2)24.66 (2)330.89 (2)3.66 (2)3600.0 (-)3600.0 (-)
aes-key-recovery/AES2-30-45.wcnf23.06 (2)22.97 (2)3.41 (2)1.21 (2)0.78 (2)0.56 (2)24.7 (2)338.12 (2)3.67 (2)3600.0 (-)3600.0 (-)
aes-key-recovery/AES2-40-46.wcnf22.91 (2)22.72 (2)3.42 (2)1.2 (2)0.78 (2)0.56 (2)24.98 (2)329.64 (2)3.67 (2)3600.0 (-)3600.0 (-)
aes-key-recovery/AES2-40-47.wcnf22.97 (2)22.78 (2)3.43 (2)1.21 (2)0.78 (2)0.56 (2)24.49 (2)323.59 (2)4.51 (2)3600.0 (-)3600.0 (-)
aes-key-recovery/AES2-40-49.wcnf23.01 (2)22.71 (2)3.42 (2)1.21 (2)0.78 (2)0.55 (2)24.47 (2)334.73 (2)3.67 (2)3600.0 (-)3600.0 (-)
aes-key-recovery/AES2-50-51.wcnf38.13 (2)38.73 (2)3.61 (2)1.63 (2)24.13 (2)1.64 (2)24.46 (2)626.6 (2)4.07 (2)3600.0 (-)3600.0 (-)
aes-key-recovery/AES2-50-52.wcnf23.46 (2)23.94 (2)13.89 (2)1.81 (2)8.48 (2)3600.0 (-)24.85 (2)3600.0 (-)13.17 (2)3600.0 (-)3600.0 (-)
aes-key-recovery/AES2-50-53.wcnf28.07 (2)23.05 (2)3.94 (2)1.43 (2)0.93 (2)27.57 (2)24.22 (2)3600.0 (-)4.01 (2)3600.0 (-)3600.0 (-)
aes-key-recovery/AES2-50-55.wcnf23.86 (2)23.29 (2)3.59 (2)1.16 (2)0.78 (2)0.81 (2)24.48 (2)3365.63 (2)3.68 (2)3600.0 (-)1727.99 (2)
aes-key-recovery/AES2-60-56.wcnf28.98 (2)28.64 (2)3200.58 (2)4.38 (2)6.04 (2)3600.0 (-)25.07 (2)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
aes-key-recovery/AES2-60-57.wcnf23.58 (2)24.99 (2)12.23 (2)2.22 (2)3600.0 (-)265.86 (2)26.91 (2)3600.0 (-)327.29 (2)3600.0 (-)3600.0 (-)
aes-key-recovery/AES2-60-58.wcnf23.78 (2)22.7 (2)27.87 (2)1.82 (2)40.55 (2)3600.0 (-)24.69 (2)3600.0 (-)6.29 (2)3600.0 (-)3600.0 (-)
aes-key-recovery/AES2-60-59.wcnf36.82 (2)44.47 (2)3.76 (2)1.04 (2)0.82 (2)1.0 (2)24.39 (2)3600.0 (-)3.75 (2)3600.0 (-)3600.0 (-)
aes-key-recovery/AES2-70-61.wcnf27.99 (2)26.73 (2)942.47 (2)9.78 (2)149.82 (2)3600.0 (-)31.28 (2)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
aes-key-recovery/AES2-70-62.wcnf2126.26 (2)3292.95 (2)3600.0 (-)85.82 (2)128.17 (2)3600.0 (-)908.13 (2)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
aes-key-recovery/AES2-70-63.wcnf237.6 (2)759.31 (2)1574.14 (2)4.52 (2)309.41 (2)3600.0 (-)28.39 (2)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
aes-key-recovery/AES2-70-64.wcnf85.57 (2)85.42 (2)345.16 (2)11.76 (2)39.73 (2)3600.0 (-)47.14 (2)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
aes-key-recovery/AES2-70-65.wcnf58.09 (2)119.44 (2)3600.0 (-)67.9 (2)3600.0 (-)3600.0 (-)83.81 (2)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
aes-key-recovery/AES2-72-67.wcnf3600.0 (-)2911.71 (2)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2516.29 (2)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
aes-key-recovery/AES2-72-68.wcnf30.4 (2)47.46 (2)3600.0 (-)19.41 (2)118.88 (2)3600.0 (-)32.12 (2)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
aes-key-recovery/AES2-72-69.wcnf201.35 (2)346.18 (2)3600.0 (-)15.11 (2)63.1 (2)3600.0 (-)46.53 (2)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
aes-key-recovery/AES2-72-70.wcnf44.41 (2)134.33 (2)257.18 (2)4.8 (2)9.14 (2)3600.0 (-)31.16 (2)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
aes-key-recovery/AES2-74-11.wcnf51.07 (2)57.45 (2)1216.72 (2)13.12 (2)69.2 (2)3600.0 (-)49.09 (2)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
aes-key-recovery/AES2-74-72.wcnf38.95 (2)37.01 (2)3600.0 (-)4.3 (2)12.37 (2)3600.0 (-)28.45 (2)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
aes-key-recovery/AES2-74-73.wcnf125.62 (2)45.36 (2)6.92 (2)2.99 (2)13.3 (2)32.37 (2)27.06 (2)3600.0 (-)13.47 (2)3600.0 (-)3600.0 (-)
aes-key-recovery/AES2-74-75.wcnf28.76 (2)29.24 (2)3600.0 (-)5.84 (2)9.34 (2)3600.0 (-)29.61 (2)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
bcp-hipp/SU1__simp-genos.haps.1.wcnf1.56 (73)1.58 (73)0.71 (73)0.22 (73)0.14 (73)0.19 (73)3.46 (73)0.18 (73)1.16 (73)0.18 (73)3600.0 (-)
bcp-hipp/SU1__simp-genos.haps.10.wcnf13.31 (90)14.24 (90)2985.87 (90)35.28 (90)17.59 (90)24.76 (90)147.71 (90)23.11 (90)3600.0 (-)28.04 (90)3600.0 (-)
bcp-hipp/SU1__simp-genos.haps.18.wcnf2.17 (74)2.28 (74)4.51 (74)0.36 (74)0.33 (74)0.55 (74)4.23 (74)0.63 (74)12.7 (74)0.64 (74)3600.0 (-)
bcp-hipp/SU1__simp-genos.haps.19.wcnf3.77 (79)3.82 (79)2.44 (79)0.58 (79)0.83 (79)1.29 (79)5.89 (79)1.27 (79)3.02 (79)1.35 (79)3600.0 (-)
bcp-hipp/SU1__simp-genos.haps.26.wcnf14.79 (81)27.62 (81)82.02 (81)14.04 (81)16.39 (81)9.75 (81)98.01 (81)9.76 (81)228.23 (81)20.4 (81)3600.0 (-)
bcp-hipp/SU1__simp-genos.haps.27.wcnf4.23 (92)3.25 (92)4.5 (92)0.41 (92)2.36 (92)3.01 (92)4.51 (92)2.71 (92)4.93 (92)2.2 (92)3600.0 (-)
bcp-hipp/SU1__simp-genos.haps.29.wcnf4.79 (68)4.94 (68)5.4 (68)0.56 (68)0.75 (68)1.08 (68)7.7 (68)0.96 (68)16.15 (68)1.72 (68)3600.0 (-)
bcp-hipp/SU1__simp-genos.haps.30.wcnf2.44 (69)2.43 (69)6.51 (69)1.63 (69)0.72 (69)0.86 (69)20.55 (69)0.86 (69)8.91 (69)1.07 (69)3600.0 (-)
bcp-hipp/SU1__simp-genos.haps.32.wcnf5.59 (71)6.57 (71)6.61 (71)0.68 (71)3.28 (71)1.17 (71)30.59 (71)1.19 (71)6.8 (71)1.94 (71)3600.0 (-)
bcp-hipp/SU1__simp-genos.haps.34.wcnf4.04 (69)4.06 (69)1.83 (69)0.37 (69)0.48 (69)0.55 (69)5.11 (69)0.36 (69)7.01 (69)0.64 (69)3600.0 (-)
bcp-hipp/SU1__simp-genos.haps.37.wcnf1.74 (77)1.78 (77)0.94 (77)0.23 (77)0.16 (77)0.18 (77)3.65 (77)0.18 (77)6.73 (77)0.23 (77)3600.0 (-)
bcp-hipp/SU1__simp-genos.haps.38.wcnf1.84 (89)1.92 (89)1.81 (89)0.68 (89)1.06 (89)1.2 (89)6.08 (89)1.13 (89)4.48 (89)1.73 (89)3600.0 (-)
bcp-hipp/SU1__simp-genos.haps.50.wcnf3.88 (59)3.95 (59)1.46 (59)0.33 (59)0.29 (59)0.28 (59)5.6 (59)0.23 (59)2.79 (59)0.35 (59)3600.0 (-)
bcp-hipp/SU1__simp-genos.haps.54.wcnf4.0 (72)4.1 (72)1.64 (72)0.37 (72)0.25 (72)0.31 (72)5.33 (72)0.33 (72)3.27 (72)0.48 (72)3600.0 (-)
bcp-hipp/SU1__simp-genos.haps.62.wcnf2.93 (67)3.53 (67)9.39 (67)1.27 (67)1.99 (67)1.41 (67)6.26 (67)1.51 (67)9.76 (67)1.69 (67)3600.0 (-)
bcp-hipp/SU1__simp-genos.haps.69.wcnf3.32 (76)3.52 (76)3.64 (76)0.94 (76)1.83 (76)1.72 (76)11.02 (76)1.25 (76)9.49 (76)1.21 (76)3600.0 (-)
bcp-hipp/SU1__simp-genos.haps.7.wcnf350.82 (73)298.76 (73)3600.0 (-)1868.95 (73)1585.2 (73)185.24 (73)610.53 (73)198.76 (73)3600.0 (-)146.08 (73)3600.0 (-)
bcp-hipp/SU1__simp-genos.haps.70.wcnf4.37 (58)4.35 (58)1.43 (58)0.29 (58)0.21 (58)0.44 (58)4.43 (58)0.29 (58)2.05 (58)0.44 (58)3600.0 (-)
bcp-hipp/SU1__simp-genos.haps.8.wcnf1.66 (63)1.69 (63)0.9 (63)0.22 (63)0.17 (63)0.21 (63)3.56 (63)0.16 (63)1.35 (63)0.31 (63)3600.0 (-)
bcp-hipp/SU1__simp-genos.haps.85.wcnf2.14 (65)2.25 (65)1.15 (65)0.28 (65)0.22 (65)0.26 (65)4.0 (65)0.19 (65)1.75 (65)0.36 (65)3600.0 (-)
bcp-hipp/SU1__simp-genos.haps.86.wcnf4.08 (56)4.24 (56)2.32 (56)0.5 (56)0.45 (56)0.46 (56)5.51 (56)0.54 (56)5.14 (56)0.87 (56)3600.0 (-)
bcp-hipp/SU3__simp-genos.haps.21.wcnf380.15 (112)965.73 (112)3600.0 (-)338.34 (112)1305.81 (112)1138.32 (112)3600.0 (-)958.12 (112)3600.0 (-)878.58 (112)3600.0 (-)
bcp-hipp/SU3__simp-genos.haps.23.wcnf2.57 (110)2.49 (110)3.0 (110)0.27 (110)0.69 (110)0.54 (110)7.86 (110)0.87 (110)6.41 (110)1.46 (110)3600.0 (-)
bcp-hipp/SU3__simp-genos.haps.27.wcnf5.24 (99)6.73 (99)559.32 (99)2.2 (99)3.19 (99)6.88 (99)46.45 (99)6.26 (99)3211.97 (99)8.83 (99)3600.0 (-)
bcp-hipp/SU3__simp-genos.haps.38.wcnf191.26 (100)232.21 (100)3600.0 (-)14.75 (100)47.26 (100)141.71 (100)137.31 (100)133.84 (100)3600.0 (-)116.63 (100)3600.0 (-)
bcp-hipp/SU3__simp-genos.haps.53.wcnf574.41 (110)165.84 (110)3600.0 (-)47.68 (110)733.79 (110)77.77 (110)3600.0 (-)82.65 (110)3600.0 (-)70.36 (110)3600.0 (-)
bcp-hipp/SU3__simp-genos.haps.58.wcnf6.71 (101)4.44 (101)605.89 (101)2.84 (101)5.9 (101)41.87 (101)33.43 (101)38.73 (101)3600.0 (-)22.12 (101)3600.0 (-)
bcp-hipp/SU3__simp-genos.haps.63.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
bcp-hipp/SU3__simp-genos.haps.64.wcnf43.8 (99)46.08 (99)2467.93 (99)6.36 (99)860.39 (99)20.44 (99)637.08 (99)22.57 (99)3600.0 (-)43.18 (99)3600.0 (-)
bcp-hipp/SU3__simp-genos.haps.72.wcnf60.11 (92)96.68 (92)260.36 (92)113.71 (92)8.95 (92)11.58 (92)312.77 (92)12.84 (92)690.48 (92)15.3 (92)3600.0 (-)
bcp-hipp/SU3__simp-genos.haps.74.wcnf1.86 (102)1.91 (102)4.24 (102)0.36 (102)0.32 (102)2.48 (102)3.73 (102)2.52 (102)4.17 (102)3.19 (102)3600.0 (-)
bcp-hipp/SU3__simp-genos.haps.80.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
bcp-hipp/SU3__simp-genos.haps.86.wcnf2.66 (102)2.74 (102)625.47 (102)6.38 (102)3.04 (102)2.81 (102)5.2 (102)2.35 (102)1143.0 (102)3.22 (102)3600.0 (-)
bcp-hipp/SU3__simp-genos.haps.88.wcnf149.16 (106)213.78 (106)3600.0 (-)1788.85 (106)819.7 (106)321.63 (106)3600.0 (-)373.24 (106)3600.0 (-)678.33 (106)3600.0 (-)
bcp-hipp/SU3__simp-genos.haps.9.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
bcp-mtg/c1355_F1001gat-1048gat@1.wcnf0.03 (21)0.03 (21)0.13 (21)0.03 (21)0.07 (21)0.03 (21)1.12 (21)0.03 (21)0.14 (21)0.03 (21)2.65 (21)
bcp-mtg/c1355_F1001gat@1.wcnf0.05 (21)0.05 (21)9.13 (21)0.8 (21)0.14 (21)0.07 (21)4.59 (21)0.04 (21)2.44 (21)0.05 (21)742.33 (21)
bcp-mtg/c1355_F1036gat-1229gat@1.wcnf0.04 (13)0.04 (13)0.13 (13)0.06 (13)0.04 (13)0.03 (13)1.5 (13)0.03 (13)0.16 (13)0.02 (13)4.77 (13)
bcp-mtg/c1355_F106gat-409gat@1.wcnf0.1 (33)0.11 (33)0.09 (33)0.05 (33)0.04 (33)0.07 (33)0.79 (33)0.07 (33)0.12 (33)0.05 (33)43.83 (33)
bcp-mtg/c1355_F106gat@0.wcnf0.14 (14)0.14 (14)0.38 (14)0.13 (14)0.1 (14)0.06 (14)1.37 (14)0.06 (14)0.58 (14)0.07 (14)3600.0 (-)
bcp-mtg/c1355_F113gat-1260gat@1.wcnf0.03 (13)0.04 (13)0.18 (13)0.04 (13)0.04 (13)0.03 (13)1.04 (13)0.03 (13)0.19 (13)0.03 (13)4.25 (13)
bcp-mtg/c1355_F1150gat@0.wcnf0.04 (13)0.04 (13)0.16 (13)0.07 (13)0.04 (13)0.03 (13)0.93 (13)0.03 (13)0.25 (13)0.03 (13)5.26 (13)
bcp-mtg/c1355_F1183gat-1262gat@1.wcnf0.02 (33)0.02 (33)0.02 (33)0.01 (33)0.01 (33)0.02 (33)0.13 (33)0.02 (33)0.04 (33)0.02 (33)0.06 (33)
bcp-mtg/c1355_F120gat-414gat@1.wcnf0.11 (33)0.11 (33)0.08 (33)0.04 (33)0.04 (33)0.07 (33)48.03 (33)0.06 (33)0.11 (33)0.07 (33)53.1 (33)
bcp-mtg/c1355_F1229gat@1.wcnf0.03 (33)0.02 (33)0.02 (33)0.01 (33)0.01 (33)0.02 (33)0.14 (33)0.02 (33)0.04 (33)0.02 (33)0.08 (33)
bcp-mtg/c1355_F127gat-418gat@1.wcnf0.1 (33)0.11 (33)0.08 (33)0.05 (33)0.06 (33)0.04 (33)1.22 (33)0.07 (33)0.12 (33)0.06 (33)21.46 (33)
bcp-mtg/c1355_F141gat@0.wcnf0.13 (14)0.15 (14)0.28 (14)0.09 (14)0.09 (14)0.07 (14)1.37 (14)0.05 (14)0.58 (14)0.06 (14)3600.0 (-)
bcp-mtg/c1355_F155gat@1.wcnf0.13 (14)0.14 (14)0.28 (14)0.09 (14)0.1 (14)0.08 (14)2.29 (14)0.08 (14)0.73 (14)0.11 (14)3600.0 (-)
bcp-mtg/c1355_F176gat-1278gat@1.wcnf0.04 (13)0.04 (13)0.14 (13)0.05 (13)0.04 (13)0.02 (13)1.26 (13)0.02 (13)0.24 (13)0.03 (13)5.52 (13)
bcp-mtg/c1355_F183gat@0.wcnf0.15 (14)0.16 (14)0.31 (14)0.12 (14)0.1 (14)0.08 (14)2.82 (14)0.09 (14)0.75 (14)0.06 (14)3600.0 (-)
bcp-mtg/c1355_F197gat-308gat@1.wcnf0.11 (33)0.12 (33)0.09 (33)0.06 (33)0.05 (33)0.07 (33)12.77 (33)0.07 (33)0.13 (33)0.06 (33)47.19 (33)
bcp-mtg/c1355_F1gat@0.wcnf0.15 (14)0.16 (14)0.27 (14)0.11 (14)0.09 (14)0.08 (14)1.91 (14)0.06 (14)0.61 (14)0.09 (14)3600.0 (-)
bcp-mtg/c1355_F43gat@1.wcnf0.13 (14)0.14 (14)0.36 (14)0.1 (14)0.12 (14)0.06 (14)2.71 (14)0.05 (14)0.61 (14)0.07 (14)3600.0 (-)
bcp-mtg/c1355_F50gat@1.wcnf0.14 (14)0.15 (14)0.34 (14)0.19 (14)0.1 (14)0.06 (14)2.44 (14)0.06 (14)0.57 (14)0.16 (14)3600.0 (-)
bcp-mtg/c1355_F543gat@1.wcnf0.11 (33)0.12 (33)0.09 (33)0.05 (33)0.06 (33)0.07 (33)2.64 (33)0.06 (33)0.13 (33)0.05 (33)53.97 (33)
bcp-mtg/c1355_F57gat@1.wcnf0.15 (14)0.16 (14)0.27 (14)0.08 (14)0.1 (14)0.07 (14)1.23 (14)0.07 (14)0.65 (14)0.06 (14)3600.0 (-)
bcp-mtg/c1355_F71gat@1.wcnf0.14 (14)0.16 (14)0.26 (14)0.1 (14)0.1 (14)0.07 (14)1.65 (14)0.06 (14)0.79 (14)0.06 (14)3600.0 (-)
bcp-mtg/c3540_F20@1.wcnf0.54 (6)0.62 (6)4.74 (6)0.48 (6)0.25 (6)0.4 (6)2.81 (6)0.23 (6)14.55 (6)0.15 (6)422.34 (6)
bcp-mtg/c3540_F41@1.wcnf0.38 (7)0.4 (7)2.34 (7)0.25 (7)0.15 (7)0.12 (7)1.83 (7)0.26 (7)4.71 (7)0.17 (7)677.81 (7)
bcp-mtg/c3540_F45@0.wcnf0.59 (9)0.65 (9)5.44 (9)0.7 (9)0.46 (9)0.35 (9)2.91 (9)0.42 (9)22.26 (9)0.24 (9)1602.45 (9)
bcp-mtg/c3540_F45@1.wcnf0.67 (9)0.68 (9)6.44 (9)0.82 (9)0.43 (9)0.35 (9)3.1 (9)0.57 (9)28.95 (9)0.37 (9)2338.42 (9)
bcp-mtg/c6288_F137gat@1.wcnf3.96 (10)2.99 (10)2.06 (10)1.3 (10)1.39 (10)1.3 (10)7.25 (10)1.09 (10)12.59 (10)0.75 (10)3600.0 (-)
bcp-mtg/c6288_F205gat@1.wcnf1.25 (7)1.0 (7)4.86 (7)0.56 (7)0.74 (7)0.57 (7)3.1 (7)0.85 (7)5.87 (7)0.72 (7)3600.0 (-)
bcp-mtg/c6288_F35gat@1.wcnf0.23 (4)0.24 (4)0.29 (4)0.12 (4)0.16 (4)0.09 (4)1.35 (4)0.06 (4)1.24 (4)0.05 (4)164.84 (4)
bcp-mtg/c6288_F69gat@1.wcnf0.58 (6)0.56 (6)0.8 (6)0.44 (6)0.26 (6)0.31 (6)1.9 (6)0.39 (6)1.75 (6)0.2 (6)3600.0 (-)
circuit-debugging/rsdecoder-debug.dimacs.wcnf4.07 (1)3.88 (1)110.25 (1)35.79 (1)303.8 (1)161.24 (1)3600.0 (-)3600.0 (-)3600.0 (-)2.91 (1)3600.0 (-)
circuit-debugging/sudoku-debug.dimacs.wcnf3.8 (1)3.45 (1)41.13 (1)14.75 (1)8.4 (1)63.76 (1)365.83 (1)214.21 (1)351.3 (1)1817.0 (1)3600.0 (-)
circuit-debugging/wb-debug.dimacs.wcnf3.49 (28)3.36 (28)29.46 (28)35.1 (28)6.45 (28)3600.0 (-)301.97 (28)3600.0 (-)14.56 (28)3600.0 (-)661.9 (28)
des/cnf.10.p.10.wcnf36.17 (10)39.9 (10)380.09 (10)33.04 (10)13.74 (10)20.87 (10)3600.0 (-)27.31 (10)782.08 (10)32.08 (10)3600.0 (-)
des/cnf.10.p.9.wcnf38.26 (10)97.13 (10)395.71 (10)118.51 (10)27.63 (10)45.16 (10)3600.0 (-)68.79 (10)3600.0 (-)24.9 (10)3600.0 (-)
des/cnf.11.p.10.wcnf35.75 (11)41.0 (11)225.96 (11)72.97 (11)168.18 (11)81.97 (11)148.19 (11)99.59 (11)731.7 (11)76.27 (11)3600.0 (-)
des/cnf.12.p.10.wcnf57.75 (12)82.58 (12)618.98 (12)45.09 (12)228.26 (12)81.52 (12)3600.0 (-)150.64 (12)3600.0 (-)131.53 (12)3600.0 (-)
des/cnf.12.p.8.wcnf36.96 (12)30.23 (12)388.34 (12)48.14 (12)136.73 (12)50.64 (12)3600.0 (-)73.96 (12)1326.65 (12)53.19 (12)3600.0 (-)
des/cnf.12.p.9.wcnf272.58 (12)81.97 (12)504.2 (12)90.87 (12)204.94 (12)136.08 (12)3600.0 (-)115.36 (12)3600.0 (-)92.03 (12)3600.0 (-)
des/cnf.12.t.9.wcnf15.07 (12)15.06 (12)50.47 (12)11.75 (12)9.08 (12)11.5 (12)21.31 (12)11.66 (12)98.32 (12)12.68 (12)151.97 (12)
des/cnf.13.p.8.wcnf42.3 (13)136.1 (13)590.85 (13)60.99 (13)80.41 (13)87.84 (13)3600.0 (-)132.49 (13)3600.0 (-)115.61 (13)3600.0 (-)
des/cnf.13.p.9.wcnf58.43 (13)72.95 (13)468.71 (13)250.33 (13)384.48 (13)144.06 (13)3600.0 (-)134.31 (13)1527.59 (13)90.9 (13)3600.0 (-)
des/cnf.14.p.10.wcnf123.71 (14)111.11 (14)1107.91 (14)202.76 (14)902.27 (14)791.29 (14)3600.0 (-)427.11 (14)3600.0 (-)167.87 (14)3600.0 (-)
des/cnf.14.p.9.wcnf48.48 (14)83.72 (14)421.43 (14)58.41 (14)631.79 (14)84.02 (14)3600.0 (-)129.11 (14)3600.0 (-)91.56 (14)3600.0 (-)
des/cnf.14.t.7.wcnf14.06 (14)15.67 (14)28.21 (14)13.79 (14)5.5 (14)11.24 (14)23.33 (14)13.64 (14)49.95 (14)12.37 (14)54.92 (14)
des/cnf.15.p.10.wcnf132.28 (15)517.98 (15)1133.47 (15)472.67 (15)1176.35 (15)329.11 (15)3600.0 (-)448.22 (15)3600.0 (-)642.29 (15)3600.0 (-)
des/cnf.15.p.9.wcnf56.61 (15)58.32 (15)861.31 (15)509.75 (15)144.77 (15)289.55 (15)3600.0 (-)226.62 (15)3600.0 (-)218.55 (15)3600.0 (-)
des/cnf.15.t.10.wcnf30.46 (15)30.01 (15)65.84 (15)21.05 (15)10.53 (15)20.07 (15)31.29 (15)20.69 (15)92.53 (15)19.17 (15)608.21 (15)
des/cnf.16.p.10.wcnf126.01 (16)109.53 (16)1000.43 (16)1054.93 (16)862.2 (16)1023.73 (16)3600.0 (-)338.92 (16)3600.0 (-)437.78 (16)3600.0 (-)
des/cnf.16.p.9.wcnf92.82 (16)175.51 (16)1087.34 (16)223.88 (16)803.14 (16)689.27 (16)3600.0 (-)895.37 (16)3600.0 (-)1005.59 (16)3600.0 (-)
des/cnf.16.t.9.wcnf23.07 (16)27.98 (16)29.02 (16)17.22 (16)19.92 (16)15.73 (16)43.4 (16)13.08 (16)38.02 (16)14.21 (16)558.46 (16)
des/cnf.17.d.10.wcnf22.26 (17)28.14 (17)77.91 (17)21.63 (17)24.38 (17)15.71 (17)34.96 (17)17.55 (17)51.15 (17)14.95 (17)74.66 (17)
des/cnf.17.d.9.wcnf13.1 (17)17.03 (17)14.56 (17)9.93 (17)10.39 (17)8.78 (17)25.59 (17)7.15 (17)56.17 (17)8.59 (17)62.1 (17)
des/cnf.17.p.10.wcnf444.27 (17)662.92 (17)3283.23 (17)335.46 (17)1548.67 (17)871.24 (17)3600.0 (-)1707.13 (17)3600.0 (-)1671.17 (17)3600.0 (-)
des/cnf.17.p.9.wcnf197.7 (17)258.06 (17)1134.45 (17)399.85 (17)1192.32 (17)225.11 (17)3600.0 (-)366.9 (17)3600.0 (-)211.76 (17)3600.0 (-)
des/cnf.17.t.10.wcnf38.43 (17)32.1 (17)76.95 (17)23.04 (17)54.51 (17)39.57 (17)92.52 (17)18.22 (17)1326.65 (17)31.8 (17)641.6 (17)
des/cnf.18.p.10.wcnf361.51 (18)452.71 (18)1199.79 (18)3600.0 (-)2102.99 (18)3165.9 (18)3600.0 (-)3240.09 (18)3600.0 (-)2868.01 (18)3600.0 (-)
des/cnf.18.p.8.wcnf367.54 (18)656.54 (18)658.72 (18)170.17 (18)1159.25 (18)318.34 (18)3600.0 (-)306.31 (18)3600.0 (-)217.62 (18)3600.0 (-)
des/cnf.18.p.9.wcnf194.69 (18)366.87 (18)1491.23 (18)288.41 (18)1503.16 (18)1163.37 (18)3600.0 (-)2644.7 (18)3600.0 (-)1300.44 (18)3600.0 (-)
des/cnf.19.p.8.wcnf148.68 (19)225.66 (19)1159.75 (19)220.12 (19)2465.87 (19)221.08 (19)3600.0 (-)241.92 (19)2681.92 (19)220.76 (19)3600.0 (-)
des/cnf.19.p.9.wcnf123.44 (19)230.21 (19)827.48 (19)121.33 (19)1052.5 (19)199.25 (19)3600.0 (-)291.43 (19)2560.35 (19)243.96 (19)3600.0 (-)
des/cnf.20.d.10.wcnf17.7 (20)17.67 (20)16.7 (20)12.35 (20)16.11 (20)9.46 (20)32.0 (20)13.01 (20)29.5 (20)10.48 (20)86.83 (20)
des/cnf.20.d.9.wcnf18.01 (20)14.17 (20)50.11 (20)11.83 (20)15.3 (20)10.2 (20)26.45 (20)10.27 (20)34.67 (20)12.4 (20)76.48 (20)
des/cnf.20.p.9.wcnf358.98 (20)357.77 (20)2652.46 (20)3600.0 (-)1599.39 (20)1546.73 (20)3600.0 (-)1778.96 (20)3600.0 (-)1208.22 (20)3600.0 (-)
des/cnf.20.t.10.wcnf49.9 (20)60.87 (20)60.59 (20)39.86 (20)59.45 (20)51.67 (20)141.65 (20)36.98 (20)434.55 (20)51.49 (20)3509.55 (20)
des/cnf.20.t.8.wcnf32.5 (20)34.3 (20)77.6 (20)20.83 (20)32.68 (20)20.52 (20)37.64 (20)24.91 (20)149.41 (20)25.37 (20)379.12 (20)
des/cnf.8.p.10.wcnf28.95 (8)38.6 (8)306.62 (8)25.84 (8)12.35 (8)11.01 (8)2813.93 (8)16.32 (8)3600.0 (-)22.01 (8)3600.0 (-)
des/cnf.9.p.10.wcnf17.29 (9)52.72 (9)367.56 (9)38.7 (9)12.76 (9)19.3 (9)3600.0 (-)17.93 (9)3600.0 (-)26.78 (9)3600.0 (-)
mbd/b14_C-mbd14-0209.wcnf56.47 (25)323.41 (25)524.08 (25)138.02 (25)611.93 (25)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1896.94 (25)3600.0 (-)
mbd/b14_C-mbd14-0218.wcnf43.49 (25)34.92 (25)484.01 (25)17.04 (25)15.79 (25)234.2 (25)268.6 (25)246.44 (25)3600.0 (-)232.21 (25)1255.02 (25)
mbd/b14_C-mbd14-0231.wcnf7.76 (22)11.53 (22)176.25 (22)25.03 (22)77.5 (22)367.37 (22)96.01 (22)470.26 (22)379.0 (22)364.37 (22)2207.21 (22)
mbd/b14_C-mbd14-0248.wcnf3.74 (25)10.18 (25)147.84 (25)12.36 (25)1.97 (25)41.54 (25)10.84 (25)40.82 (25)543.69 (25)347.12 (25)527.7 (25)
mbd/b14_C-mbd14-0256.wcnf12.22 (22)9.94 (22)137.62 (22)20.66 (22)17.91 (22)1078.05 (22)75.5 (22)1082.14 (22)667.45 (22)564.38 (22)1030.31 (22)
mbd/b14_C-mbd14-0259.wcnf91.86 (21)34.68 (21)1283.07 (21)861.38 (21)113.28 (21)1896.49 (21)2815.85 (21)1913.15 (21)1489.57 (21)1013.25 (21)3600.0 (-)
mbd/b15_C-mbd14-0240.wcnf60.87 (21)37.15 (21)101.68 (21)425.58 (21)312.69 (21)3600.0 (-)489.61 (21)1432.67 (21)206.53 (21)1031.25 (21)3600.0 (-)
mbd/b15_C-mbd14-0288.wcnf28.22 (26)19.96 (26)133.66 (26)85.26 (26)74.26 (26)433.07 (26)80.46 (26)310.72 (26)219.99 (26)2837.37 (26)453.2 (26)
mbd/b15_C-mbd14-0305.wcnf11.34 (23)14.94 (23)24.05 (23)1.87 (23)6.76 (23)194.22 (23)7.97 (23)209.83 (23)50.15 (23)490.96 (23)301.94 (23)
mbd/b15_C-mbd14-0330.wcnf4.02 (20)2.88 (20)20.8 (20)2.61 (20)4.89 (20)82.99 (20)10.37 (20)55.09 (20)27.88 (20)172.42 (20)119.54 (20)
mbd/b17_C-mbd14-0205.wcnf0.93 (22)0.93 (22)13.43 (22)0.57 (22)1.34 (22)37.63 (22)4.75 (22)47.05 (22)7.95 (22)33.52 (22)8.97 (22)
mbd/b17_C-mbd14-0206.wcnf1.36 (27)1.09 (27)16.57 (27)0.63 (27)1.46 (27)115.93 (27)4.81 (27)116.38 (27)75.94 (27)130.09 (27)20.76 (27)
mbd/b17_C-mbd14-0217.wcnf0.76 (24)0.76 (24)6.58 (24)0.45 (24)0.78 (24)58.9 (24)4.71 (24)60.85 (24)16.79 (24)111.19 (24)35.03 (24)
mbd/b17_C-mbd14-0218.wcnf0.79 (27)0.82 (27)3.8 (27)0.44 (27)0.29 (27)8.69 (27)4.58 (27)10.7 (27)5.68 (27)9.26 (27)13.6 (27)
mbd/b17_C-mbd14-0220.wcnf1.18 (24)0.97 (24)12.85 (24)0.67 (24)4.66 (24)29.35 (24)4.82 (24)37.77 (24)24.53 (24)46.63 (24)20.17 (24)
mbd/b17_C-mbd14-0224.wcnf0.86 (23)0.88 (23)11.65 (23)0.53 (23)1.32 (23)12.02 (23)4.63 (23)12.87 (23)12.27 (23)12.9 (23)8.08 (23)
mbd/b17_C-mbd14-0230.wcnf0.9 (24)0.91 (24)10.15 (24)0.48 (24)1.04 (24)36.0 (24)4.79 (24)25.66 (24)23.21 (24)38.56 (24)17.14 (24)
mbd/b20_C-mbd14-0202.wcnf1.1 (21)1.15 (21)7.52 (21)0.39 (21)0.26 (21)9.36 (21)2.58 (21)10.59 (21)9.48 (21)7.65 (21)237.58 (21)
mbd/b20_C-mbd14-0211.wcnf7.21 (23)3.88 (23)73.95 (23)3.65 (23)5.25 (23)235.81 (23)24.1 (23)226.46 (23)144.35 (23)245.44 (23)3600.0 (-)
mbd/b20_C-mbd14-0213.wcnf2.38 (22)5.41 (22)38.07 (22)1.09 (22)3.71 (22)77.79 (22)3.79 (22)68.68 (22)48.5 (22)104.04 (22)3600.0 (-)
mbd/b20_C-mbd14-0214.wcnf2.83 (17)2.1 (17)68.81 (17)1.04 (17)1.46 (17)71.44 (17)3.31 (17)66.95 (17)136.2 (17)136.85 (17)642.97 (17)
mbd/b20_C-mbd14-0216.wcnf1.69 (26)4.88 (26)77.93 (26)0.73 (26)1.96 (26)40.46 (26)3.65 (26)37.69 (26)138.13 (26)95.98 (26)1962.19 (26)
mbd/b20_C-mbd14-0217.wcnf1.7 (21)3.95 (21)42.25 (21)0.78 (21)1.47 (21)92.71 (21)3.34 (21)79.79 (21)37.96 (21)311.5 (21)1665.06 (21)
mbd/b20_C-mbd14-0221.wcnf1.79 (22)6.06 (22)63.98 (22)0.79 (22)1.94 (22)25.67 (22)3.42 (22)26.7 (22)87.67 (22)24.68 (22)1846.48 (22)
mbd/b21_C-mbd14-0203.wcnf12.82 (27)16.97 (27)84.44 (27)19.4 (27)6.8 (27)867.49 (27)19.25 (27)743.4 (27)254.14 (27)382.97 (27)1136.56 (27)
mbd/b21_C-mbd14-0204.wcnf1.42 (22)2.73 (22)29.18 (22)0.59 (22)0.5 (22)83.77 (22)3.15 (22)37.18 (22)64.71 (22)100.55 (22)836.41 (22)
mbd/b21_C-mbd14-0217.wcnf1.52 (21)1.28 (21)106.06 (21)0.42 (21)1.89 (21)20.93 (21)4.92 (21)15.5 (21)55.8 (21)19.96 (21)952.85 (21)
mbd/b21_C-mbd14-0218.wcnf1404.88 (26)3600.0 (-)2497.52 (26)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
mbd/b21_C-mbd14-0224.wcnf1.19 (16)1.19 (16)42.62 (16)0.32 (16)0.45 (16)13.41 (16)2.79 (16)17.04 (16)21.19 (16)25.62 (16)222.8 (16)
mbd/b21_C-mbd14-0227.wcnf1.25 (24)1.99 (24)29.96 (24)0.45 (24)0.55 (24)95.58 (24)3.06 (24)91.73 (24)19.24 (24)73.01 (24)371.35 (24)
mbd/b22_C-mbd14-0207.wcnf1.16 (25)1.17 (25)9.74 (25)0.53 (25)0.67 (25)18.02 (25)4.16 (25)20.59 (25)14.2 (25)18.78 (25)127.93 (25)
mbd/b22_C-mbd14-0208.wcnf1.75 (23)1.89 (23)9.19 (23)0.65 (23)1.2 (23)18.34 (23)4.2 (23)20.68 (23)17.44 (23)20.94 (23)343.51 (23)
mbd/b22_C-mbd14-0210.wcnf2.37 (26)2.55 (26)303.9 (26)1.85 (26)19.97 (26)144.91 (26)6.24 (26)125.93 (26)731.2 (26)204.06 (26)3073.63 (26)
mbd/b22_C-mbd14-0211.wcnf1.06 (22)1.08 (22)42.64 (22)0.57 (22)0.84 (22)35.16 (22)4.83 (22)36.68 (22)74.17 (22)24.13 (22)860.32 (22)
mbd/b22_C-mbd14-0213.wcnf0.99 (26)0.97 (26)16.58 (26)0.59 (26)0.58 (26)25.23 (26)4.86 (26)24.35 (26)26.75 (26)26.02 (26)206.5 (26)
sean-safarpour/SM_MAIN_MEM_buggy1.dimacs.filtered.wcnf957.51 (390)407.35 (390)3293.81 (390)3600.0 (-)2326.01 (390)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
sean-safarpour/b15-bug-fourvec-gate-0.dimacs.seq.filtered.wcnf4.66 (4)4.39 (4)98.64 (4)57.89 (4)374.25 (4)3600.0 (-)2431.75 (4)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
sean-safarpour/c1_DD_s3_f1_e2_v1-bug-fourvec-gate-0.dimacs.seq.filtered.wcnf3.04 (4)2.91 (4)21.07 (4)4.52 (4)2.22 (4)66.75 (4)238.64 (4)98.49 (4)12.18 (4)747.84 (4)1203.43 (4)
sean-safarpour/c4_DD_s3_f1_e1_v1-bug-gate-0.dimacs.seq.filtered.wcnf6.13 (8)6.01 (8)86.49 (8)66.01 (8)39.59 (8)1261.23 (8)953.44 (8)3600.0 (-)225.74 (8)3600.0 (-)3600.0 (-)
sean-safarpour/c4_DD_s3_f1_e2_v1-bug-fourvec-gate-0.dimacs.seq.filtered.wcnf4.79 (4)4.73 (4)115.0 (4)67.82 (4)76.26 (4)696.88 (4)208.01 (4)2374.08 (4)233.13 (4)1480.37 (4)3600.0 (-)
sean-safarpour/c5_DD_s3_f1_e1_v1-bug-gate-0.dimacs.seq.filtered.wcnf2.02 (8)1.91 (8)30.73 (8)6.01 (8)1.65 (8)3600.0 (-)349.3 (8)3600.0 (-)9.78 (8)3600.0 (-)146.92 (8)
sean-safarpour/divider-problem.dimacs_11.filtered.wcnf39.1 (2)91.35 (2)1243.44 (2)86.09 (2)119.9 (2)3600.0 (-)347.76 (2)302.82 (2)3600.0 (-)806.78 (2)3600.0 (-)
sean-safarpour/divider-problem.dimacs_2.filtered.wcnf32.92 (2)14.21 (2)3600.0 (-)50.44 (2)95.07 (2)476.21 (2)986.01 (2)370.18 (2)3600.0 (-)1374.4 (2)3600.0 (-)
sean-safarpour/divider-problem.dimacs_8.filtered.wcnf11.94 (2)41.92 (2)632.57 (2)49.95 (2)78.48 (2)2937.58 (2)310.63 (2)327.24 (2)3600.0 (-)1053.65 (2)3600.0 (-)
sean-safarpour/dividers10.dimacs.filtered.wcnf2.82 (2)2.87 (2)94.38 (2)5.53 (2)5.17 (2)132.89 (2)44.86 (2)30.54 (2)971.52 (2)67.34 (2)3600.0 (-)
sean-safarpour/dividers_multivec1.dimacs.filtered.wcnf3.61 (2)2.25 (2)69.0 (2)9.43 (2)3.44 (2)34.06 (2)88.02 (2)43.25 (2)112.48 (2)439.35 (2)3600.0 (-)
sean-safarpour/i2c-problem.dimacs_25.filtered.wcnf17.42 (2)27.38 (2)81.46 (2)70.25 (2)312.61 (2)728.61 (2)717.68 (2)873.62 (2)3600.0 (-)3600.0 (-)3600.0 (-)
sean-safarpour/i2c-problem.dimacs_26.filtered.wcnf29.17 (2)32.16 (2)116.69 (2)48.69 (2)353.96 (2)149.51 (2)1260.32 (2)155.57 (2)3600.0 (-)1234.17 (2)3600.0 (-)
sean-safarpour/mrisc_mem2wire-problem.dimacs_29.filtered.wcnf9.11 (1)7.7 (1)206.77 (1)49.21 (1)114.91 (1)269.72 (1)1051.35 (1)271.83 (1)643.89 (1)3600.0 (-)3600.0 (-)
sean-safarpour/rsdecoder-problem.dimacs_31.filtered.wcnf373.48 (1)485.88 (1)3600.0 (-)279.48 (1)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
sean-safarpour/rsdecoder-problem.dimacs_37.filtered.wcnf571.64 (1)589.06 (1)102.37 (1)629.55 (1)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
sean-safarpour/rsdecoder-problem.dimacs_38.filtered.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
sean-safarpour/rsdecoder-problem.dimacs_39.filtered.wcnf62.19 (1)95.97 (1)92.09 (1)175.46 (1)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
sean-safarpour/rsdecoder-problem.dimacs_40.filtered.wcnf35.88 (1)35.98 (1)77.39 (1)135.72 (1)3600.0 (-)3600.0 (-)3500.34 (1)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
sean-safarpour/rsdecoder-problem.dimacs_41.filtered.wcnf3600.0 (-)3147.88 (2)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
sean-safarpour/rsdecoder1_blackbox_CSEEblock-problem.dimacs_32.filtered.wcnf215.02 (4)397.47 (4)494.77 (4)467.8 (4)264.27 (4)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
sean-safarpour/rsdecoder5.dimacs.filtered.wcnf329.6 (2)305.72 (2)3600.0 (-)133.12 (2)369.4 (2)3600.0 (-)3600.0 (-)932.28 (2)3600.0 (-)2105.72 (2)3600.0 (-)
sean-safarpour/rsdecoder_fsm2.dimacs.filtered.wcnf11.65 (2)17.16 (2)328.6 (2)66.12 (2)58.99 (2)58.76 (2)393.6 (2)1451.85 (2)3600.0 (-)2460.35 (2)3600.0 (-)
sean-safarpour/rsdecoder_multivec1-problem.dimacs_33.filtered.wcnf81.87 (4)66.18 (4)3600.0 (-)247.63 (4)2581.17 (4)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
sean-safarpour/rsdecoder_multivec1.dimacs.filtered.wcnf24.02 (4)12.88 (4)3600.0 (-)220.52 (4)1900.21 (4)3600.0 (-)2422.98 (4)3600.0 (-)3600.0 (-)2442.56 (4)3600.0 (-)
sean-safarpour/wb-problem.dimacs_46.filtered.wcnf56.65 (476)51.45 (476)76.86 (476)223.46 (476)42.76 (476)3600.0 (-)1893.34 (476)3600.0 (-)28.72 (476)3600.0 (-)71.21 (476)
sean-safarpour/wb1.dimacs.filtered.wcnf2.91 (218)2.67 (218)65.68 (218)6.93 (218)2.59 (218)3600.0 (-)116.23 (218)3600.0 (-)18.86 (218)3600.0 (-)60.33 (218)
sean-safarpour/wb2.dimacs.filtered.wcnf52.8 (588)40.56 (588)98.83 (588)47.34 (588)659.19 (588)3600.0 (-)312.93 (588)3600.0 (-)692.7 (588)3600.0 (-)3600.0 (-)
sean-safarpour/wb_4m8s-problem.dimacs_47.filtered.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
sean-safarpour/wb_4m8s-problem.dimacs_48.filtered.wcnf23.75 (8)21.91 (8)95.29 (8)126.72 (8)26.75 (8)2706.42 (8)3600.0 (-)3600.0 (-)1101.35 (8)3600.0 (-)3600.0 (-)
sean-safarpour/wb_4m8s-problem.dimacs_49.filtered.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
sean-safarpour/wb_4m8s3.dimacs.filtered.wcnf4.17 (8)3.81 (8)24.57 (8)15.96 (8)5.07 (8)3363.06 (8)682.85 (8)2092.14 (8)74.64 (8)3600.0 (-)3600.0 (-)
sean-safarpour/wb_4m8s4.dimacs.filtered.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
sean-safarpour/wb_conmax1.dimacs.filtered.wcnf3600.0 (-)1833.7 (40)2550.97 (40)371.82 (40)3600.0 (-)3600.0 (-)1978.27 (40)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
sean-safarpour/wb_conmax3.dimacs.filtered.wcnf24.35 (33)24.11 (33)494.91 (33)84.32 (33)682.68 (33)3600.0 (-)1946.02 (33)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
Non-competitive solver.