BenchmarkMaxHSEvalMaxSATUWrMaxSatRC2-Bopen-wbo-res-mergesat-v2open-wbo-res-mergesat-v1RC2-Amaxinoopen-wbo-res-glucose-v2open-wbo-res-glucose-v1maxino-prefPacoseQMaxSATsmax_mergesatsmax_minisat
security-witness/RSN_Security_Min_Witness-Direct-MBIST_5cores_100controllers_100memories_na-D1.wcnf.gz62.01 (43)31.74 (43)74.28 (43)279.2 (43)51.95 (43)59.18 (43)228.36 (43)464.5 (43)32.46 (43)38.32 (43)468.76 (43)44.27 (43)839.91 (43)166.73 (43)87.73 (43)
security-witness/RSN_Security_Min_Witness-Direct-MBIST_100cores_100controllers_5memories_na-D6.wcnf.gz194.15 (43)101.68 (43)542.23 (43)1243.82 (43)96.76 (43)113.19 (43)511.85 (43)3600.0 (-)61.98 (43)76.1 (43)3600.0 (-)439.09 (43)3600.0 (-)564.67 (43)369.44 (43)
security-witness/RSN_Security_Min_Witness-Direct-MBIST_5cores_100controllers_100memories_na-DA.wcnf.gz61.77 (43)31.79 (43)74.49 (43)277.7 (43)52.12 (43)59.36 (43)228.82 (43)470.37 (43)31.83 (43)39.36 (43)457.8 (43)44.53 (43)838.47 (43)169.13 (43)88.64 (43)
security-witness/RSN_Security_Min_Witness-Direct-FlexScan-D3.wcnf.gz3.39 (9)41.25 (9)3.31 (9)3600.0 (-)6.6 (9)7.16 (9)3600.0 (-)1.8 (9)6.27 (9)6.88 (9)1.81 (9)44.44 (9)3600.0 (-)3.91 (9)2.62 (9)
security-witness/RSN_Security_Min_Witness-Direct-MBIST_5cores_100controllers_100memories_na-D8.wcnf.gz61.69 (43)31.86 (43)74.15 (43)280.09 (43)52.26 (43)59.27 (43)228.95 (43)472.9 (43)31.87 (43)38.96 (43)468.02 (43)44.42 (43)843.69 (43)167.12 (43)89.06 (43)
security-witness/RSN_Security_Min_Witness-Direct-FlexScan-DC.wcnf.gz3.38 (9)42.17 (9)3.31 (9)3600.0 (-)6.46 (9)7.2 (9)3600.0 (-)1.81 (9)6.35 (9)6.7 (9)1.82 (9)42.71 (9)3600.0 (-)3.94 (9)2.67 (9)
security-witness/RSN_Security_Min_Witness-Direct-FlexScan-D2.wcnf.gz3.73 (9)40.46 (9)3.3 (9)3600.0 (-)6.68 (9)7.29 (9)3600.0 (-)1.8 (9)6.31 (9)6.8 (9)1.81 (9)37.84 (9)3600.0 (-)3.94 (9)2.65 (9)
security-witness/RSN_Security_Min_Witness-Direct-p93791-D7.wcnf.gz0.24 (8)0.18 (8)0.26 (8)1.64 (8)0.28 (8)0.32 (8)1.64 (8)0.17 (8)0.28 (8)0.3 (8)0.16 (8)0.09 (8)0.15 (8)0.33 (8)0.23 (8)
security-witness/RSN_Security_Min_Witness-Direct-MBIST_100cores_100controllers_5memories_na-D7.wcnf.gz228.49 (45)111.5 (45)553.83 (45)1199.09 (45)161.3 (45)174.74 (45)539.05 (45)3600.0 (-)113.49 (45)129.26 (45)3567.93 (45)228.47 (45)3600.0 (-)609.32 (45)429.35 (45)
security-witness/RSN_Security_Min_Witness-Direct-MBIST_100cores_100controllers_5memories_na-D5.wcnf.gz230.19 (45)93.54 (45)555.83 (45)1248.53 (45)153.25 (45)165.99 (45)588.87 (45)3146.52 (45)117.81 (45)131.7 (45)3157.72 (45)227.02 (45)3600.0 (-)521.13 (45)289.77 (45)
security-witness/RSN_Security_Min_Witness-Direct-MBIST_5cores_100controllers_100memories_na-D2.wcnf.gz61.97 (43)31.82 (43)74.24 (43)278.12 (43)52.25 (43)59.58 (43)228.82 (43)474.9 (43)32.25 (43)39.06 (43)455.86 (43)44.34 (43)843.32 (43)167.89 (43)88.4 (43)
security-witness/RSN_Security_Min_Witness-Direct-MBIST_5cores_100controllers_100memories_na-DB.wcnf.gz62.19 (43)31.89 (43)74.17 (43)279.07 (43)52.11 (43)59.46 (43)230.1 (43)459.9 (43)32.35 (43)38.34 (43)475.72 (43)44.26 (43)837.43 (43)166.3 (43)87.84 (43)
security-witness/RSN_Security_Min_Witness-Direct-MBIST_100cores_100controllers_5memories_na-D4.wcnf.gz227.95 (45)121.37 (45)552.83 (45)1241.33 (45)156.49 (45)168.33 (45)609.53 (45)3600.0 (-)114.02 (45)129.97 (45)3600.0 (-)220.37 (45)3600.0 (-)508.17 (45)301.57 (45)
security-witness/RSN_Security_Min_Witness-Direct-MBIST_5cores_100controllers_100memories_na-D3.wcnf.gz61.75 (43)31.81 (43)74.2 (43)278.24 (43)52.16 (43)59.32 (43)230.12 (43)470.56 (43)32.02 (43)38.97 (43)470.54 (43)44.29 (43)830.01 (43)166.63 (43)88.84 (43)
security-witness/RSN_Security_Min_Witness-Direct-FlexScan-D8.wcnf.gz3.38 (9)0.69 (9)3.28 (9)14.15 (9)6.25 (9)6.95 (9)14.19 (9)1.8 (9)6.29 (9)6.92 (9)1.8 (9)43.38 (9)3600.0 (-)3.67 (9)2.6 (9)
security-witness/RSN_Security_Min_Witness-Direct-MBIST_5cores_100controllers_100memories_na-DC.wcnf.gz79.05 (45)43.27 (45)79.51 (45)257.27 (45)69.87 (45)75.68 (45)286.93 (45)430.8 (45)49.29 (45)55.22 (45)416.56 (45)77.89 (45)567.18 (45)187.14 (45)99.26 (45)
security-witness/RSN_Security_Min_Witness-Direct-FlexScan-D1.wcnf.gz3.42 (9)0.69 (9)3.31 (9)14.55 (9)6.23 (9)7.02 (9)14.35 (9)1.82 (9)6.16 (9)6.68 (9)1.82 (9)1.42 (9)3600.0 (-)4.02 (9)2.75 (9)
security-witness/RSN_Security_Min_Witness-Direct-FlexScan-DD.wcnf.gz3.38 (9)0.69 (9)3.27 (9)14.24 (9)6.12 (9)6.86 (9)14.15 (9)1.81 (9)6.32 (9)6.7 (9)1.85 (9)1.41 (9)3600.0 (-)3.92 (9)2.57 (9)
security-witness/RSN_Security_Min_Witness-Direct-MBIST_5cores_100controllers_100memories_na-DF.wcnf.gz62.02 (43)31.75 (43)74.15 (43)279.03 (43)52.25 (43)59.31 (43)230.52 (43)474.12 (43)32.63 (43)38.31 (43)457.62 (43)44.48 (43)843.13 (43)166.21 (43)88.35 (43)
security-witness/RSN_Security_Min_Witness-Direct-MBIST_100cores_100controllers_5memories_na-DA.wcnf.gz33.61 (24)18.97 (24)41.98 (24)189.98 (24)22.34 (24)25.79 (24)189.94 (24)39.15 (24)15.57 (24)18.63 (24)39.3 (24)105.13 (24)978.71 (24)157.98 (24)104.97 (24)
security-witness/RSN_Security_Min_Witness-Direct-MBIST_5cores_100controllers_100memories_na-D6.wcnf.gz61.74 (43)31.74 (43)73.95 (43)279.34 (43)52.36 (43)59.29 (43)230.84 (43)472.21 (43)31.98 (43)38.77 (43)475.23 (43)44.8 (43)842.75 (43)165.96 (43)88.41 (43)
security-witness/RSN_Security_Min_Witness-Direct-FlexScan-D5.wcnf.gz3.43 (9)42.31 (9)3.3 (9)3600.0 (-)6.31 (9)7.11 (9)3600.0 (-)1.8 (9)6.29 (9)6.72 (9)1.79 (9)42.6 (9)3600.0 (-)3.92 (9)2.62 (9)
security-witness/RSN_Security_Min_Witness-Direct-MBIST_100cores_100controllers_5memories_na-D9.wcnf.gz228.39 (45)107.34 (45)554.22 (45)1168.43 (45)157.88 (45)171.05 (45)533.4 (45)3600.0 (-)114.29 (45)128.96 (45)3600.0 (-)229.62 (45)3600.0 (-)461.59 (45)264.12 (45)
security-witness/RSN_Security_Min_Witness-Direct-MBIST_5cores_100controllers_100memories_na-DE.wcnf.gz61.99 (43)31.87 (43)74.17 (43)277.58 (43)52.23 (43)59.57 (43)230.58 (43)474.57 (43)31.98 (43)38.98 (43)476.08 (43)44.27 (43)841.78 (43)166.71 (43)88.71 (43)
security-witness/RSN_Security_Min_Witness-Direct-MBIST_5cores_100controllers_100memories_na-D5.wcnf.gz62.24 (43)31.8 (43)74.36 (43)276.14 (43)52.05 (43)59.23 (43)228.16 (43)473.33 (43)32.49 (43)39.11 (43)453.65 (43)44.34 (43)839.68 (43)168.48 (43)88.47 (43)
security-witness/RSN_Security_Min_Witness-Direct-MBIST_100cores_100controllers_5memories_na-D2.wcnf.gz227.96 (45)111.66 (45)555.15 (45)1190.82 (45)161.0 (45)172.91 (45)541.04 (45)3022.15 (45)115.49 (45)129.98 (45)3271.65 (45)227.43 (45)3600.0 (-)636.14 (45)409.31 (45)
security-witness/RSN_Security_Min_Witness-Direct-FlexScan-D7.wcnf.gz3.37 (9)0.75 (9)3.28 (9)14.25 (9)6.18 (9)6.67 (9)14.22 (9)1.79 (9)6.1 (9)6.43 (9)1.8 (9)1.41 (9)3600.0 (-)3.93 (9)2.61 (9)
security-witness/RSN_Security_Min_Witness-Direct-FlexScan-D6.wcnf.gz3.37 (9)0.68 (9)3.33 (9)14.12 (9)6.26 (9)6.85 (9)14.26 (9)1.8 (9)6.14 (9)6.5 (9)1.86 (9)1.41 (9)3600.0 (-)3.91 (9)2.64 (9)
security-witness/RSN_Security_Min_Witness-Direct-MBIST_100cores_100controllers_5memories_na-DC.wcnf.gz227.72 (45)110.84 (45)553.15 (45)1243.39 (45)146.35 (45)159.36 (45)629.38 (45)3600.0 (-)107.21 (45)119.34 (45)3600.0 (-)223.59 (45)3600.0 (-)470.96 (45)375.07 (45)
security-witness/RSN_Security_Min_Witness-Direct-MBIST_55cores_20controllers_5memories_na-DC.wcnf.gz3.37 (22)11.75 (22)4.05 (22)19.39 (22)1.88 (22)2.27 (22)19.21 (22)3.98 (22)1.44 (22)1.77 (22)4.01 (22)2.98 (22)16.74 (22)10.47 (22)6.94 (22)
single_machine_scheduling/20-500-35.wcnf.gz27.53 (182)13.28 (182)32.94 (182)13.66 (182)15.17 (182)14.14 (182)8.95 (182)8.22 (182)5.41 (182)11.37 (182)136.05 (182)6.81 (182)6.91 (182)3600.0 (-)1285.85 (182)
single_machine_scheduling/20-100-lambda100-43.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
single_machine_scheduling/20-100-frag12-38.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
single_machine_scheduling/20-500-95.wcnf.gz36.42 (166)7.1 (166)3.7 (166)6.86 (166)3.95 (166)11.01 (166)5.28 (166)3.33 (166)1.37 (166)8.85 (166)19.92 (166)4.72 (166)4.81 (166)66.79 (166)28.21 (166)
single_machine_scheduling/20-100-frag12-53.wcnf.gz1177.18 (42)249.59 (42)518.55 (42)309.01 (42)448.04 (42)920.57 (42)446.39 (42)308.59 (42)213.88 (42)408.79 (42)757.43 (42)182.97 (42)312.94 (42)3600.0 (-)3600.0 (-)
single_machine_scheduling/20-100-lambda100-65.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1456.35 (73)1462.01 (73)3600.0 (-)3600.0 (-)1799.37 (73)1839.71 (73)3600.0 (-)1848.47 (73)2795.47 (73)3600.0 (-)3600.0 (-)
single_machine_scheduling/20-100-p100-71.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2525.44 (76)2613.68 (76)3600.0 (-)3600.0 (-)
single_machine_scheduling/20-100-p100-61.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
single_machine_scheduling/20-100-lambda100-89.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)652.9 (74)3600.0 (-)3600.0 (-)3600.0 (-)1172.84 (74)3600.0 (-)887.32 (74)1540.77 (74)3600.0 (-)3600.0 (-)
single_machine_scheduling/20-100-lambda100-49.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2019.6 (75)3600.0 (-)3600.0 (-)3600.0 (-)3375.76 (75)3600.0 (-)380.57 (75)556.28 (75)3600.0 (-)3600.0 (-)
single_machine_scheduling/20-100-lambda100-76.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
single_machine_scheduling/20-100-frag12-32.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3379.66 (39)3336.69 (39)3600.0 (-)3600.0 (-)2693.28 (39)2675.3 (39)3600.0 (-)3260.42 (39)3600.0 (-)3600.0 (-)3600.0 (-)
single_machine_scheduling/20-100-lambda100-14.wcnf.gz643.16 (75)623.82 (75)3600.0 (-)3600.0 (-)1665.76 (75)269.69 (75)2765.57 (75)1321.17 (75)3298.92 (75)215.98 (75)3600.0 (-)204.42 (75)269.51 (75)3600.0 (-)3600.0 (-)
single_machine_scheduling/20-500-62.wcnf.gz36.1 (163)6.92 (163)3.99 (163)6.85 (163)5.49 (163)11.58 (163)5.25 (163)3.83 (163)3.15 (163)9.64 (163)10.56 (163)5.11 (163)4.91 (163)3600.0 (-)3600.0 (-)
single_machine_scheduling/20-100-frag12-14.wcnf.gz886.14 (43)136.38 (43)139.41 (43)118.8 (43)534.17 (43)289.2 (43)143.24 (43)141.25 (43)223.61 (43)166.33 (43)262.81 (43)129.83 (43)136.58 (43)3600.0 (-)3600.0 (-)
single_machine_scheduling/20-100-p100-55.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3254.56 (75)3600.0 (-)3600.0 (-)3600.0 (-)
single_machine_scheduling/20-500-26.wcnf.gz23.98 (168)8.15 (168)19.74 (168)7.47 (168)8.35 (168)9.73 (168)6.46 (168)5.32 (168)310.25 (168)8.57 (168)318.25 (168)4.65 (168)5.2 (168)3600.0 (-)2985.45 (168)
single_machine_scheduling/20-100-frag12-58.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
single_machine_scheduling/20-500-76.wcnf.gz34.55 (174)16.69 (174)13.61 (174)13.01 (174)13.15 (174)3600.0 (-)10.83 (174)12.12 (174)7.86 (174)13.71 (174)11.36 (174)12.74 (174)13.64 (174)1884.23 (174)3600.0 (-)
single_machine_scheduling/20-100-frag12-0.wcnf.gz3600.0 (-)716.18 (41)1370.36 (41)1450.14 (41)1829.0 (41)1219.39 (41)968.92 (41)1971.19 (41)1141.54 (41)856.21 (41)1927.26 (41)680.57 (41)851.52 (41)3600.0 (-)3600.0 (-)
single_machine_scheduling/20-100-p100-32.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
single_machine_scheduling/20-500-33.wcnf.gz36.25 (177)11.5 (177)272.07 (177)9.94 (177)12.31 (177)14.13 (177)8.12 (177)6.78 (177)5.12 (177)11.37 (177)25.24 (177)5.94 (177)5.98 (177)3600.0 (-)3600.0 (-)
single_machine_scheduling/20-100-frag12-18.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
single_machine_scheduling/20-100-lambda100-47.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1549.4 (76)1528.66 (76)3600.0 (-)3600.0 (-)1828.49 (76)1831.13 (76)3600.0 (-)1009.68 (76)1012.98 (76)3600.0 (-)3600.0 (-)
single_machine_scheduling/20-100-p100-52.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
single_machine_scheduling/20-100-frag12-57.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
single_machine_scheduling/20-100-p100-4.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
single_machine_scheduling/20-100-p100-28.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
single_machine_scheduling/20-100-lambda100-56.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
single_machine_scheduling/20-500-42.wcnf.gz21.2 (185)8.9 (185)380.59 (185)7.15 (185)6.62 (185)10.75 (185)5.07 (185)3.98 (185)2.89 (185)8.6 (185)4.97 (185)4.64 (185)4.04 (185)1821.01 (185)3600.0 (-)
scheduling/cnf_12.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.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.wcnf.gz1184.05 (159)684.12 (159)582.88 (159)3600.0 (-)2762.19 (159)2765.78 (159)3600.0 (-)206.77 (159)3600.0 (-)3600.0 (-)1348.1 (159)3316.68 (159)1972.61 (159)3600.0 (-)3600.0 (-)
scheduling/cnf_small.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
scheduling/cnf_10.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.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.wcnf.gz345.9 (237)371.47 (237)39.64 (237)364.24 (237)308.93 (237)319.43 (237)170.26 (237)47.92 (237)256.42 (237)266.66 (237)149.17 (237)304.75 (237)267.49 (237)3600.0 (-)3600.0 (-)
uaq_2020/uaq-min-rpp-nr200-np400-rpp11-nc0-rs0-t0-plb10-n9.wcnf.gz12.88 (82)13.1 (82)20.81 (82)9.16 (82)134.38 (82)136.5 (82)12.01 (82)48.12 (82)108.48 (82)105.2 (82)2339.97 (82)47.49 (82)149.44 (82)1382.85 (82)1057.99 (82)
uaq_2020/uaq-min-rs-nr100-np400-rpp5-nc10-rs20-t3-plb10-n6.wcnf.gz0.34 (47)0.09 (47)0.06 (47)0.31 (47)1.99 (47)2.0 (47)0.28 (47)0.05 (47)1.12 (47)1.13 (47)0.05 (47)3.74 (47)5.24 (47)0.09 (47)0.05 (47)
uaq_2020/uaq-min-nr-nr30-np400-rpp5-nc0-rs0-t0-plb100-n1.wcnf.gz30.84 (249)24.43 (249)14.85 (249)8.92 (249)145.4 (249)23.04 (249)8.91 (249)21.78 (249)90.43 (249)9.85 (249)3600.0 (-)8.29 (249)68.83 (249)3600.0 (-)3600.0 (-)
uaq_2020/uaq-max-t-nr1000-np1000-rpp1-nc50-n12-t5-plb10-n2.wcnf.gz8.66 (800)7.71 (800)3.74 (800)5.96 (800)4.79 (800)3600.0 (-)2.89 (800)2.63 (800)2.12 (800)3600.0 (-)8.63 (800)3600.0 (-)3600.0 (-)44.71 (800)12.83 (800)
uaq_2020/uaq-min-plb-nr10-np400-rpp5-nc0-rs0-t0-plb15-n6.wcnf.gz1.1 (346)0.55 (346)0.07 (346)0.47 (346)7.0 (346)7.0 (346)0.44 (346)0.17 (346)6.62 (346)6.62 (346)0.63 (346)0.06 (346)0.47 (346)103.88 (346)83.35 (346)
uaq_2020/uaq-max-rs-nr200-np400-rpp5-nc10-n25-t3-plb10-n5.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2865.8 (13)2885.4 (13)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
uaq_2020/uaq-min-plb-nr10-np400-rpp5-nc0-rs0-t0-plb35-n3.wcnf.gz0.05 (332)0.14 (332)0.03 (332)0.3 (332)7.89 (332)7.89 (332)0.3 (332)0.09 (332)7.85 (332)7.89 (332)0.13 (332)0.07 (332)0.25 (332)58.7 (332)46.04 (332)
uaq_2020/uaq-max-nc-nr200-np400-rpp5-nc90-n8-t3-plb10-n1.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
uaq_2020/uaq-max-t-nr1000-np1000-rpp1-nc50-n12-t8-plb10-n7.wcnf.gz9.38 (650)26.42 (650)12.69 (650)15.68 (650)39.14 (650)3600.0 (-)12.29 (650)12.49 (650)14.4 (650)3600.0 (-)58.56 (650)3600.0 (-)3600.0 (-)129.05 (650)45.06 (650)
uaq_2020/uaq-min-nr-nr40-np400-rpp5-nc0-rs0-t0-plb100-n8.wcnf.gz1355.51 (245)577.17 (245)863.36 (245)319.02 (245)696.49 (245)713.16 (245)374.02 (245)2041.48 (245)395.99 (245)384.88 (245)3600.0 (-)113.51 (245)1958.1 (245)3600.0 (-)3600.0 (-)
uaq_2020/uaq-min-rpp-nr200-np400-rpp9-nc0-rs0-t0-plb10-n8.wcnf.gz15.16 (80)24.26 (80)15.56 (80)8.69 (80)146.79 (80)146.25 (80)12.89 (80)49.1 (80)62.78 (80)64.97 (80)1341.27 (80)60.68 (80)493.37 (80)634.84 (80)582.47 (80)
uaq_2020/uaq-min-rpp-nr200-np400-rpp6-nc0-rs0-t0-plb4-n5.wcnf.gz0.22 (30)0.06 (30)0.02 (30)0.17 (30)0.09 (30)0.08 (30)0.15 (30)0.02 (30)0.07 (30)0.07 (30)0.02 (30)0.19 (30)0.28 (30)0.02 (30)0.02 (30)
uaq_2020/uaq-max-nc-nr10-np400-rpp5-nc90-n8-t3-plb10-n0.wcnf.gz0.03 (84)0.05 (84)0.02 (84)0.2 (84)0.34 (84)0.34 (84)0.2 (84)0.01 (84)0.34 (84)0.34 (84)0.01 (84)0.04 (84)0.02 (84)1.43 (84)0.34 (84)
uaq_2020/uaq-max-nc-nr10-np400-rpp5-nc100-n8-t3-plb10-n9.wcnf.gz0.06 (83)0.18 (83)0.03 (83)0.28 (83)0.48 (83)0.48 (83)0.24 (83)0.03 (83)0.47 (83)0.47 (83)0.03 (83)0.04 (83)0.04 (83)11.16 (83)2.9 (83)
uaq_2020/uaq-min-nr-nr80-np400-rpp5-nc0-rs0-t0-plb100-n6.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
uaq_2020/uaq-max-rs-nr200-np400-rpp5-nc10-n25-t3-plb10-n1.wcnf.gz3600.0 (-)3154.67 (13)3600.0 (-)3600.0 (-)2661.03 (13)2665.05 (13)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
uaq_2020/uaq-min-rpp-nr200-np400-rpp4-nc0-rs0-t0-plb4-n2.wcnf.gz0.02 (19)0.03 (19)0.01 (19)0.14 (19)0.03 (19)0.03 (19)0.13 (19)0.01 (19)0.03 (19)0.03 (19)0.02 (19)0.09 (19)0.03 (19)0.01 (19)0.02 (19)
frb/frb40-19-4.partial.wcnf.gz70.11 (720)247.27 (720)72.32 (720)66.14 (720)11.7 (720)197.52 (720)228.13 (720)3600.0 (-)5.05 (720)337.78 (720)3600.0 (-)106.88 (720)370.3 (720)3600.0 (-)3600.0 (-)
frb/frb30-15-4.partial.wcnf.gz115.3 (420)1.27 (420)1.25 (420)0.86 (420)3600.0 (-)14.4 (420)0.78 (420)260.98 (420)3600.0 (-)2.07 (420)3600.0 (-)5.63 (420)7.58 (420)3600.0 (-)3600.0 (-)
frb/frb25-13-1.partial.wcnf.gz0.15 (300)0.12 (300)0.21 (300)0.29 (300)10.34 (300)11.0 (300)0.48 (300)909.61 (300)3.68 (300)0.87 (300)3600.0 (-)1.47 (300)2.09 (300)3600.0 (-)3600.0 (-)
frb/frb35-17-2.partial.wcnf.gz255.74 (560)16.32 (560)13.41 (560)27.83 (560)50.16 (560)61.78 (560)7.89 (560)3600.0 (-)25.12 (560)17.58 (560)3600.0 (-)25.43 (560)78.65 (560)3600.0 (-)3600.0 (-)
frb/frb30-15-3.partial.wcnf.gz98.37 (420)0.63 (420)0.68 (420)1.09 (420)10.98 (420)11.06 (420)0.41 (420)3600.0 (-)2.35 (420)1.85 (420)3600.0 (-)3.1 (420)4.23 (420)3600.0 (-)3600.0 (-)
frb/frb40-19-3.partial.wcnf.gz3600.0 (-)1023.6 (720)714.96 (720)739.69 (720)460.28 (720)193.35 (720)81.73 (720)3600.0 (-)989.23 (720)809.34 (720)3600.0 (-)985.81 (720)1768.78 (720)3600.0 (-)3600.0 (-)
frb/frb35-17-1.partial.wcnf.gz8.86 (560)5.3 (560)1.51 (560)4.13 (560)27.7 (560)22.64 (560)4.69 (560)3600.0 (-)26.99 (560)15.11 (560)3600.0 (-)29.3 (560)18.47 (560)3600.0 (-)3600.0 (-)
frb/frb20-11-5.partial.wcnf.gz5.56 (200)0.02 (200)0.03 (200)0.18 (200)3.29 (200)0.13 (200)0.18 (200)131.29 (200)0.99 (200)0.11 (200)55.41 (200)0.23 (200)0.21 (200)3600.0 (-)3600.0 (-)
frb/frb25-13-3.partial.wcnf.gz0.08 (300)0.05 (300)0.11 (300)0.33 (300)876.4 (300)0.29 (300)0.31 (300)143.55 (300)3600.0 (-)0.26 (300)3600.0 (-)0.84 (300)1.32 (300)3600.0 (-)3600.0 (-)
frb/frb20-11-2.partial.wcnf.gz1.77 (200)0.02 (200)0.02 (200)0.19 (200)0.06 (200)0.13 (200)0.19 (200)10.22 (200)0.05 (200)0.07 (200)190.0 (200)0.16 (200)0.13 (200)3600.0 (-)3600.0 (-)
uaq/uaq-rpp-nr100-nc33-n3-k2-rpp7-ppr2-plb20.wcnf.gz7.38 (44)6.18 (44)2.85 (44)2.57 (44)11.9 (44)12.11 (44)5.1 (44)15.68 (44)5.3 (44)5.33 (44)83.08 (44)16.34 (44)8.32 (44)156.13 (44)114.69 (44)
uaq/uaq-plb-nr250-nc83-n5-k2-rpp3-ppr5-plb80.wcnf.gz44.39 (92)29.65 (92)18.44 (92)16.92 (92)222.67 (92)216.28 (92)57.85 (92)82.19 (92)107.81 (92)111.08 (92)3600.0 (-)140.29 (92)292.99 (92)3600.0 (-)3600.0 (-)
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp4-ppr12-plb100.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp4-ppr14-plb100.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
uaq/uaq-plb-nr250-nc83-n5-k2-rpp3-ppr5-plb150.wcnf.gz10.5 (76)0.22 (76)0.11 (76)0.35 (76)0.49 (76)0.49 (76)0.45 (76)0.32 (76)0.31 (76)0.32 (76)18.26 (76)0.29 (76)0.4 (76)50.24 (76)26.9 (76)
uaq/uaq-plb-nr250-nc83-n5-k2-rpp3-ppr5-plb50.wcnf.gz9.92 (75)3.03 (75)2.18 (75)7.14 (75)199.56 (75)203.06 (75)8.99 (75)30.91 (75)139.15 (75)145.34 (75)478.59 (75)91.75 (75)93.4 (75)237.69 (75)200.2 (75)
uaq/uaq-nr-nr340-nc113-n3-k2-rpp4-ppr2-plb50.wcnf.gz9.13 (73)0.82 (73)0.43 (73)1.14 (73)3600.0 (-)3600.0 (-)2.58 (73)15.05 (73)3600.0 (-)3600.0 (-)40.91 (73)3600.0 (-)3600.0 (-)21.82 (73)9.32 (73)
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr10-plb100.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
uaq/uaq-nr-nr450-nc150-n3-k2-rpp4-ppr2-plb50.wcnf.gz0.03 (61)0.01 (61)0.02 (61)0.21 (61)0.01 (61)0.02 (61)0.2 (61)0.01 (61)0.02 (61)0.02 (61)0.01 (61)0.11 (61)0.17 (61)0.1 (61)0.05 (61)
uaq/uaq-rpp-nr100-nc33-n3-k2-rpp26-ppr2-plb20.wcnf.gz17.22 (74)53.33 (74)35.65 (74)26.65 (74)36.97 (74)35.8 (74)14.44 (74)80.95 (74)14.81 (74)14.72 (74)3600.0 (-)13.32 (74)23.74 (74)3600.0 (-)3494.33 (74)
uaq/uaq-rpp-nr100-nc33-n3-k2-rpp6-ppr2-plb20.wcnf.gz10.58 (44)8.31 (44)2.9 (44)3.06 (44)12.65 (44)13.18 (44)5.58 (44)13.07 (44)4.94 (44)4.87 (44)88.79 (44)16.33 (44)12.02 (44)121.4 (44)77.23 (44)
uaq/uaq-rpp-nr100-nc33-n3-k2-rpp18-ppr2-plb20.wcnf.gz42.67 (67)79.14 (67)66.59 (67)80.17 (67)164.1 (67)164.47 (67)36.49 (67)157.85 (67)94.69 (67)95.64 (67)3600.0 (-)29.18 (67)42.68 (67)3600.0 (-)3600.0 (-)
RBAC-violations-multiple/role_domino_violations_0.0_4.wcnf.gz7.11 (5)23.36 (5)4.65 (5)16.74 (5)0.69 (5)0.92 (5)16.53 (5)2.8 (5)0.63 (5)0.86 (5)2.81 (5)1.14 (5)0.96 (5)2.95 (5)2.17 (5)
RBAC-violations-multiple/role_domino_violations_0.0_16.wcnf.gz7.24 (2)23.34 (2)4.75 (2)16.5 (2)0.64 (2)0.86 (2)16.47 (2)2.84 (2)0.6 (2)0.82 (2)2.87 (2)0.72 (2)0.88 (2)2.67 (2)2.05 (2)
RBAC-violations-multiple/role_smallcomp_multiple_0.0_8.wcnf.gz1.3 (23)0.18 (23)0.09 (23)0.37 (23)0.01 (23)0.06 (23)0.25 (23)0.03 (23)0.01 (23)0.05 (23)0.03 (23)3.82 (23)3.37 (23)0.04 (23)0.03 (23)
RBAC-violations-multiple/role_domino_multiple_0.0_3.wcnf.gz126.93 (45)102.94 (45)41.82 (45)62.64 (45)1.97 (45)3.04 (45)24.14 (45)10.74 (45)1.19 (45)2.0 (45)10.95 (45)3600.0 (-)3600.0 (-)12.76 (45)6.41 (45)
RBAC-violations-multiple/role_smallcomp_multiple_0.0_1.wcnf.gz6.79 (32)0.24 (32)0.11 (32)0.38 (32)0.02 (32)1.2 (32)0.24 (32)0.04 (32)0.01 (32)0.42 (32)0.04 (32)46.58 (32)40.44 (32)0.08 (32)0.06 (32)
RBAC-violations-multiple/role_smallcomp_violations_0.0_1.wcnf.gz0.01 (3)0.01 (3)0.01 (3)0.13 (3)0.01 (3)0.01 (3)0.13 (3)0.01 (3)0.01 (3)0.03 (3)0.01 (3)0.02 (3)0.01 (3)0.01 (3)0.01 (3)
RBAC-violations-multiple/role_smallcomp_multiple_0.0_0.wcnf.gz1.0 (22)0.14 (22)0.07 (22)0.29 (22)0.01 (22)0.06 (22)0.23 (22)0.03 (22)0.01 (22)0.05 (22)0.03 (22)1.43 (22)1.64 (22)0.06 (22)0.04 (22)
RBAC-violations-multiple/role_domino_violations_0.0_5.wcnf.gz7.06 (7)23.39 (7)4.7 (7)16.74 (7)0.71 (7)0.96 (7)16.66 (7)2.79 (7)0.64 (7)0.89 (7)2.84 (7)1.43 (7)1.13 (7)3.19 (7)2.28 (7)
RBAC-violations-multiple/role_domino_violations_0.0_17.wcnf.gz7.08 (6)23.41 (6)4.75 (6)16.69 (6)0.7 (6)0.94 (6)16.86 (6)2.85 (6)0.64 (6)0.87 (6)2.78 (6)1.39 (6)1.03 (6)3.06 (6)2.28 (6)
RBAC-violations-multiple/role_smallcomp_violations_0.0_2.wcnf.gz0.01 (4)0.01 (4)0.01 (4)0.13 (4)0.01 (4)0.01 (4)0.13 (4)0.01 (4)0.02 (4)0.01 (4)0.01 (4)0.01 (4)0.01 (4)0.02 (4)0.01 (4)
RBAC-violations-multiple/role_smallcomp_multiple_0.0_2.wcnf.gz6.98 (36)0.47 (36)0.14 (36)0.45 (36)0.05 (36)25.58 (36)0.25 (36)0.18 (36)0.04 (36)4.81 (36)0.18 (36)264.39 (36)248.41 (36)1.43 (36)0.68 (36)
RBAC-violations-multiple/role_domino_multiple_0.0_9.wcnf.gz84.49 (64)117.14 (64)44.13 (64)66.18 (64)2.71 (64)4.2 (64)26.63 (64)12.35 (64)1.65 (64)2.89 (64)12.33 (64)3600.0 (-)3600.0 (-)18.83 (64)9.58 (64)
RBAC-violations-multiple/role_domino_violations_0.0_15.wcnf.gz7.09 (6)23.4 (6)4.73 (6)16.58 (6)0.7 (6)0.95 (6)16.68 (6)2.86 (6)0.64 (6)0.87 (6)2.83 (6)1.41 (6)1.03 (6)3.05 (6)2.26 (6)
RBAC-violations-multiple/role_domino_multiple_0.0_1.wcnf.gz195.82 (73)132.84 (73)64.97 (73)90.28 (73)3.2 (73)5.02 (73)26.18 (73)15.46 (73)1.62 (73)3.12 (73)15.55 (73)3600.0 (-)3600.0 (-)20.76 (73)10.37 (73)
RBAC-violations-multiple/role_domino_violations_0.0_6.wcnf.gz7.05 (4)23.34 (4)4.66 (4)16.9 (4)0.68 (4)0.91 (4)16.74 (4)2.86 (4)0.62 (4)0.85 (4)2.82 (4)1.08 (4)0.91 (4)2.97 (4)2.24 (4)
RBAC-violations-multiple/role_smallcomp_violations_0.0_3.wcnf.gz0.02 (2)0.02 (2)0.02 (2)0.13 (2)0.01 (2)0.01 (2)0.13 (2)0.01 (2)0.01 (2)0.02 (2)0.02 (2)0.02 (2)0.01 (2)0.01 (2)0.01 (2)
RBAC-violations-multiple/role_domino_multiple_0.0_8.wcnf.gz136.71 (63)110.06 (63)63.66 (63)87.76 (63)2.52 (63)5.11 (63)25.2 (63)16.34 (63)1.45 (63)2.95 (63)16.54 (63)3600.0 (-)3600.0 (-)16.52 (63)7.93 (63)
RBAC-violations-multiple/role_smallcomp_violations_0.0_6.wcnf.gz0.01 (4)0.01 (4)0.01 (4)0.13 (4)0.01 (4)0.01 (4)0.13 (4)0.01 (4)0.01 (4)0.01 (4)0.01 (4)0.01 (4)0.01 (4)0.02 (4)0.01 (4)
RBAC-violations-multiple/role_domino_multiple_0.0_4.wcnf.gz520.51 (55)152.96 (55)50.91 (55)72.11 (55)2.24 (55)3.96 (55)25.16 (55)13.55 (55)1.37 (55)2.44 (55)13.65 (55)3600.0 (-)3600.0 (-)15.06 (55)8.19 (55)
RBAC-violations-multiple/role_smallcomp_violations_0.0_10.wcnf.gz0.02 (2)0.01 (2)0.01 (2)0.13 (2)0.01 (2)0.01 (2)0.13 (2)0.01 (2)0.01 (2)0.02 (2)0.01 (2)0.01 (2)0.01 (2)0.01 (2)0.01 (2)
RBAC-violations-multiple/role_domino_violations_0.0_3.wcnf.gz7.22 (5)23.38 (5)4.64 (5)16.51 (5)0.69 (5)0.92 (5)16.65 (5)2.82 (5)0.63 (5)0.87 (5)2.86 (5)1.16 (5)0.99 (5)2.91 (5)2.14 (5)
RBAC-violations-multiple/role_domino_violations_0.0_10.wcnf.gz7.11 (5)23.38 (5)4.67 (5)16.49 (5)0.68 (5)0.92 (5)16.57 (5)2.82 (5)0.63 (5)0.86 (5)2.81 (5)1.17 (5)0.96 (5)2.9 (5)2.11 (5)
RBAC-violations-multiple/role_domino_multiple_0.0_5.wcnf.gz86.41 (63)109.61 (63)57.67 (63)77.39 (63)2.65 (63)3.98 (63)25.88 (63)13.52 (63)1.5 (63)2.76 (63)13.55 (63)3600.0 (-)3600.0 (-)22.39 (63)12.55 (63)
RBAC-violations-multiple/role_smallcomp_violations_0.0_11.wcnf.gz0.01 (2)0.01 (2)0.01 (2)0.13 (2)0.01 (2)0.02 (2)0.13 (2)0.02 (2)0.01 (2)0.01 (2)0.01 (2)0.01 (2)0.01 (2)0.01 (2)0.01 (2)
RBAC-violations-multiple/role_domino_violations_0.0_12.wcnf.gz6.89 (1)23.34 (1)4.67 (1)16.67 (1)0.62 (1)0.85 (1)16.52 (1)2.82 (1)0.6 (1)1.11 (1)2.86 (1)0.66 (1)0.85 (1)2.5 (1)1.95 (1)
RBAC-violations-multiple/role_smallcomp_multiple_0.0_5.wcnf.gz0.4 (21)0.13 (21)0.06 (21)0.28 (21)0.01 (21)0.11 (21)0.22 (21)0.03 (21)0.01 (21)0.09 (21)0.03 (21)3.25 (21)2.58 (21)0.04 (21)0.03 (21)
RBAC-violations-multiple/role_smallcomp_violations_0.0_4.wcnf.gz0.01 (1)0.02 (1)0.01 (1)0.13 (1)0.01 (1)0.02 (1)0.13 (1)0.01 (1)0.02 (1)0.01 (1)0.01 (1)0.01 (1)0.01 (1)0.01 (1)0.01 (1)
RBAC-violations-multiple/role_domino_violations_0.0_8.wcnf.gz7.09 (6)23.4 (6)4.72 (6)16.62 (6)0.7 (6)0.94 (6)16.61 (6)2.82 (6)0.64 (6)0.88 (6)2.81 (6)1.43 (6)1.08 (6)3.1 (6)2.3 (6)
RBAC-violations-multiple/role_domino_multiple_0.0_6.wcnf.gz137.23 (69)110.64 (69)50.74 (69)77.43 (69)2.91 (69)24.28 (69)26.56 (69)16.1 (69)1.72 (69)9.05 (69)16.55 (69)3600.0 (-)3600.0 (-)19.94 (69)9.65 (69)
RBAC-violations-multiple/role_domino_violations_0.0_13.wcnf.gz7.08 (6)23.4 (6)4.76 (6)16.75 (6)0.7 (6)0.94 (6)16.62 (6)2.8 (6)0.64 (6)0.87 (6)2.82 (6)1.39 (6)1.02 (6)3.08 (6)2.33 (6)
maxone/3col100_5_7.shuffled.cnf.wcnf.gz0.06 (85)0.1 (85)0.04 (85)0.21 (85)1.12 (85)0.33 (85)0.27 (85)0.07 (85)0.4 (85)0.16 (85)0.07 (85)0.13 (85)0.09 (85)5.85 (85)6.61 (85)
maxone/3col80_5_8.shuffled.cnf.wcnf.gz0.02 (82)0.02 (82)0.01 (82)0.13 (82)0.11 (82)0.04 (82)0.14 (82)0.02 (82)0.04 (82)0.03 (82)0.01 (82)0.03 (82)0.02 (82)0.62 (82)1.15 (82)
maxone/3col120_5_9.shuffled.cnf.wcnf.gz0.48 (117)0.9 (117)1.21 (117)1.56 (117)3.53 (117)5.13 (117)3.57 (117)0.88 (117)7.54 (117)1.62 (117)0.84 (117)1.78 (117)0.99 (117)89.97 (117)151.46 (117)
maxone/med11.shuffled.cnf.wcnf.gz0.03 (164)0.01 (164)0.01 (164)0.18 (164)0.08 (164)0.13 (164)0.18 (164)0.02 (164)0.09 (164)0.09 (164)0.02 (164)1.33 (164)1.82 (164)0.88 (164)0.54 (164)
maxone/ezfact32_10.shuffled.cnf.wcnf.gz0.05 (389)0.15 (389)0.05 (389)0.37 (389)2.56 (389)0.46 (389)0.73 (389)0.03 (389)1.64 (389)0.63 (389)0.03 (389)0.69 (389)1.98 (389)48.03 (389)38.04 (389)
maxone/ezfact32_1.shuffled.cnf.wcnf.gz0.04 (400)0.02 (400)0.04 (400)0.32 (400)0.18 (400)0.14 (400)0.32 (400)0.03 (400)0.19 (400)0.13 (400)0.02 (400)0.02 (400)0.12 (400)22.53 (400)20.19 (400)
maxone/3col100_5_8.shuffled.cnf.wcnf.gz0.1 (94)0.09 (94)0.05 (94)0.21 (94)0.99 (94)0.37 (94)0.4 (94)0.05 (94)0.62 (94)0.12 (94)0.05 (94)0.1 (94)0.1 (94)8.91 (94)8.6 (94)
maxone/3col140_5_5.shuffled.cnf.wcnf.gz15.59 (124)4.28 (124)4.9 (124)9.18 (124)38.54 (124)22.7 (124)13.74 (124)5.32 (124)15.03 (124)11.42 (124)3600.0 (-)2.1 (124)2.8 (124)231.11 (124)251.29 (124)
maxone/3col80_5_6.shuffled.cnf.wcnf.gz0.02 (76)0.02 (76)0.01 (76)0.13 (76)0.09 (76)0.04 (76)0.14 (76)0.01 (76)0.09 (76)0.04 (76)0.02 (76)0.02 (76)0.02 (76)0.57 (76)1.01 (76)
maxone/3col80_5_3.shuffled.cnf.wcnf.gz0.02 (88)0.02 (88)0.01 (88)0.15 (88)0.03 (88)0.05 (88)0.13 (88)0.01 (88)0.05 (88)0.03 (88)0.01 (88)0.02 (88)0.03 (88)1.26 (88)1.39 (88)
maxone/3col120_5_8.shuffled.cnf.wcnf.gz0.62 (110)0.96 (110)1.22 (110)2.64 (110)12.31 (110)4.41 (110)3.65 (110)0.59 (110)6.21 (110)3.63 (110)0.59 (110)1.42 (110)1.03 (110)100.19 (110)101.88 (110)
maxone/dp02s02.shuffled.cnf.wcnf.gz0.02 (100)0.01 (100)0.02 (100)0.14 (100)0.01 (100)0.03 (100)0.14 (100)0.01 (100)0.01 (100)0.02 (100)0.01 (100)0.02 (100)0.02 (100)0.08 (100)0.04 (100)
maxone/ezfact32_6.shuffled.cnf.wcnf.gz0.05 (382)1.67 (382)0.04 (382)0.34 (382)1.26 (382)0.46 (382)0.32 (382)0.03 (382)0.16 (382)0.15 (382)0.03 (382)0.09 (382)0.11 (382)79.67 (382)42.25 (382)
maxone/3col80_5_5.shuffled.cnf.wcnf.gz0.02 (78)0.03 (78)0.01 (78)0.13 (78)0.04 (78)0.03 (78)0.13 (78)0.01 (78)0.01 (78)0.03 (78)0.01 (78)0.03 (78)0.02 (78)0.58 (78)0.88 (78)
maxone/dp04s04.shuffled.cnf.wcnf.gz0.1 (533)0.36 (533)0.12 (533)1.07 (533)1.28 (533)16.17 (533)1.04 (533)0.13 (533)0.7 (533)10.78 (533)0.14 (533)0.11 (533)1.63 (533)73.28 (533)100.89 (533)
maxone/3col140_5_9.shuffled.cnf.wcnf.gz39.4 (134)5.59 (134)7.8 (134)9.72 (134)46.15 (134)30.85 (134)14.36 (134)7.69 (134)19.62 (134)16.45 (134)3600.0 (-)2.74 (134)3.8 (134)195.21 (134)277.58 (134)
maxone/3col120_5_10.shuffled.cnf.wcnf.gz0.47 (125)1.34 (125)0.92 (125)1.35 (125)11.08 (125)3.61 (125)2.53 (125)0.93 (125)6.26 (125)3.44 (125)0.93 (125)0.92 (125)1.03 (125)84.42 (125)114.44 (125)
program_disambiguation/Q17_YESNO_2.wcnf.gz16.12 (1)6.0 (1)14.3 (1)30.47 (1)5.82 (1)6.33 (1)33.71 (1)5.22 (1)5.59 (1)6.06 (1)5.22 (1)4.21 (1)2.3 (1)43.57 (1)24.3 (1)
program_disambiguation/Q17_OPTIONS_1.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
program_disambiguation/Q41_YESNO_2.wcnf.gz8.41 (1)5.08 (1)19.93 (1)18.96 (1)13.56 (1)13.93 (1)27.19 (1)6.48 (1)5.48 (1)5.84 (1)6.46 (1)3.39 (1)2.81 (1)92.64 (1)11.22 (1)
program_disambiguation/Q16_OPTIONS_1.wcnf.gz3600.0 (-)1133.6 (21)277.92 (21)1504.28 (21)3160.75 (21)2575.32 (21)1702.56 (21)352.44 (21)1114.24 (21)1079.16 (21)421.82 (21)583.25 (21)611.33 (21)3600.0 (-)3600.0 (-)
program_disambiguation/Q16_YESNO_1.wcnf.gz372.66 (4)703.68 (4)208.77 (4)905.63 (4)1049.04 (4)1128.14 (4)754.82 (4)268.91 (4)485.07 (4)483.63 (4)255.69 (4)359.23 (4)320.03 (4)3600.0 (-)1516.59 (4)
program_disambiguation/Q11_OPTIONS_2.wcnf.gz1.44 (1)1.97 (1)1.02 (1)4.09 (1)13.74 (1)13.67 (1)4.08 (1)0.84 (1)12.51 (1)12.15 (1)0.84 (1)1.23 (1)3600.0 (-)19.31 (1)4.2 (1)
program_disambiguation/Q47_YESNO_3.wcnf.gz4.42 (1)0.86 (1)5.53 (1)9.69 (1)31.54 (1)31.9 (1)9.31 (1)1.85 (1)31.44 (1)31.59 (1)1.84 (1)0.59 (1)3600.0 (-)7.2 (1)14.03 (1)
program_disambiguation/Q42_OPTIONS_1.wcnf.gz1001.9 (4)1379.33 (4)350.54 (4)1650.07 (4)2619.7 (4)2812.71 (4)1203.1 (4)738.37 (4)1129.38 (4)1045.97 (4)870.29 (4)1000.22 (4)976.4 (4)3600.0 (-)3600.0 (-)
program_disambiguation/Q11_YESNO_3.wcnf.gz1.3 (2)1.44 (2)0.91 (2)3.61 (2)15.01 (2)15.33 (2)3.65 (2)0.82 (2)11.47 (2)11.28 (2)0.82 (2)2.09 (2)2.4 (2)40.69 (2)4.55 (2)
program_disambiguation/Q14_OPTIONS_1.wcnf.gz11.81 (1)23.01 (1)12.68 (1)39.29 (1)65.09 (1)65.48 (1)35.27 (1)8.08 (1)22.14 (1)22.52 (1)8.08 (1)24.53 (1)25.24 (1)437.53 (1)21.36 (1)
program_disambiguation/Q20_OPTIONS_1.wcnf.gz94.8 (1)196.94 (1)80.28 (1)238.49 (1)254.1 (1)260.07 (1)230.81 (1)287.71 (1)170.7 (1)179.36 (1)281.06 (1)140.18 (1)172.65 (1)2008.39 (1)317.08 (1)
program_disambiguation/Q38_YESNO_2.wcnf.gz14.26 (1)4.44 (1)35.03 (1)28.13 (1)4.51 (1)5.03 (1)24.1 (1)5.67 (1)1.69 (1)2.05 (1)5.68 (1)6.53 (1)3.39 (1)38.69 (1)19.61 (1)
program_disambiguation/Q27_YESNO_1.wcnf.gz27.92 (2)27.13 (2)65.52 (2)68.34 (2)49.02 (2)49.19 (2)68.6 (2)11.19 (2)36.22 (2)36.12 (2)11.1 (2)31.35 (2)40.94 (2)286.19 (2)115.86 (2)
program_disambiguation/Q55_YESNO_1.wcnf.gz3600.0 (-)3600.0 (-)3461.95 (2)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
program_disambiguation/Q53_YESNO_2.wcnf.gz6.88 (1)1.79 (1)8.05 (1)15.41 (1)1.2 (1)1.45 (1)14.86 (1)2.58 (1)1.57 (1)1.76 (1)2.58 (1)1.24 (1)1.15 (1)11.54 (1)7.8 (1)
program_disambiguation/Q14_YESNO_2.wcnf.gz3.1 (1)0.43 (1)2.75 (1)5.26 (1)13.75 (1)13.76 (1)5.22 (1)1.0 (1)13.83 (1)13.79 (1)0.99 (1)0.4 (1)0.29 (1)1.92 (1)1.23 (1)
program_disambiguation/Q42_YESNO_3.wcnf.gz2.61 (1)0.41 (1)6.41 (1)5.38 (1)15.7 (1)15.92 (1)5.21 (1)0.87 (1)15.75 (1)15.74 (1)0.87 (1)0.3 (1)0.29 (1)1.9 (1)1.32 (1)
program_disambiguation/Q15_YESNO_2.wcnf.gz4.97 (1)1.03 (1)5.07 (1)10.28 (1)20.47 (1)20.73 (1)9.94 (1)1.64 (1)20.41 (1)20.52 (1)1.63 (1)0.61 (1)0.93 (1)7.02 (1)4.22 (1)
program_disambiguation/Q45_YESNO_1.wcnf.gz1334.5 (2)2468.34 (2)231.54 (2)2826.2 (2)1835.53 (2)1348.42 (2)2001.19 (2)2602.46 (2)1299.29 (2)1502.78 (2)2923.25 (2)1853.02 (2)2573.71 (2)3600.0 (-)3600.0 (-)
close_solutions/SAT_RACE06__velev-pipe-sat-1.0-b9.cnf.wcnf.5.wcnf.gz203.99 (85)37.89 (85)56.16 (85)352.99 (85)11.77 (85)13.73 (85)118.86 (85)76.99 (85)8.15 (85)9.78 (85)72.81 (85)47.26 (85)94.5 (85)295.02 (85)57.0 (85)
close_solutions/SAT04__industrial__velev__pipe-sat-1-1__12pipe_bug6_q0.used-as.sat04-725.cnf.wcnf.3.wcnf.gz504.51 (148)29.1 (148)138.92 (148)793.44 (148)11.07 (148)47.07 (148)81.33 (148)264.29 (148)6.75 (148)83.43 (148)290.92 (148)80.47 (148)388.46 (148)101.35 (148)56.71 (148)
close_solutions/SAT11__application__jarvisalo__smtqfbv-aigs__smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf.wcnf.4.wcnf.gz6.16 (9)3.38 (9)7.38 (9)26.7 (9)14.07 (9)14.2 (9)22.66 (9)3.56 (9)13.54 (9)13.52 (9)3.65 (9)4.44 (9)203.21 (9)3.35 (9)2.45 (9)
close_solutions/teams16_l9a.cnf.wcnf.gz62.88 (12)34.19 (12)0.55 (12)5.86 (12)8.49 (12)8.5 (12)0.91 (12)2.5 (12)2.81 (12)2.83 (12)1.65 (12)0.23 (12)8.66 (12)0.48 (12)0.22 (12)
close_solutions/teams24_l5a.cnf.wcnf.gz108.25 (8)111.58 (8)0.79 (8)3189.0 (8)1032.81 (8)1031.25 (8)1856.72 (8)4.47 (8)3600.0 (-)3600.0 (-)3.42 (8)3600.0 (-)3600.0 (-)0.77 (8)0.53 (8)
close_solutions/SAT04__industrial__velev__pipe-sat-1-1__12pipe_bug6_q0.used-as.sat04-725.cnf.wcnf.10.wcnf.gz207.75 (50)9.35 (50)72.29 (50)591.58 (50)11.22 (50)12.55 (50)71.09 (50)103.88 (50)4.09 (50)6.23 (50)130.47 (50)47.5 (50)3600.0 (-)65.72 (50)57.26 (50)
des/cnf.20.p.4.wcnf.gz695.12 (20)134.41 (20)38.55 (20)476.23 (20)3600.0 (-)3600.0 (-)32.7 (20)54.04 (20)107.15 (20)77.67 (20)211.57 (20)39.99 (20)51.4 (20)3600.0 (-)3600.0 (-)
des/cnf.17.d.10.wcnf.gz39.29 (17)39.55 (17)5.61 (17)58.7 (17)3600.0 (-)3600.0 (-)19.1 (17)21.14 (17)22.45 (17)22.34 (17)19.59 (17)15.24 (17)18.33 (17)1784.48 (17)389.4 (17)
des/cnf.15.p.9.wcnf.gz549.11 (15)234.1 (15)41.31 (15)224.7 (15)88.7 (15)89.37 (15)46.84 (15)545.06 (15)54.73 (15)54.96 (15)3600.0 (-)130.19 (15)209.15 (15)3600.0 (-)3600.0 (-)
des/cnf.17.p.4.wcnf.gz311.14 (17)202.03 (17)180.14 (17)193.64 (17)318.43 (17)321.13 (17)155.28 (17)85.63 (17)274.45 (17)274.79 (17)3600.0 (-)50.63 (17)109.09 (17)3600.0 (-)3600.0 (-)
des/cnf.19.p.3.wcnf.gz62.59 (19)40.29 (19)16.84 (19)33.07 (19)58.73 (19)56.21 (19)16.2 (19)13.03 (19)21.61 (19)21.23 (19)21.97 (19)10.13 (19)14.6 (19)3600.0 (-)1127.01 (19)
des/cnf.18.p.5.wcnf.gz477.8 (18)191.19 (18)342.17 (18)160.71 (18)107.51 (18)105.79 (18)62.87 (18)56.31 (18)118.69 (18)118.56 (18)2770.39 (18)55.08 (18)121.5 (18)3600.0 (-)3600.0 (-)
des/cnf.10.p.10.wcnf.gz219.97 (10)124.4 (10)41.73 (10)77.47 (10)40.55 (10)40.65 (10)60.47 (10)31.6 (10)35.02 (10)34.73 (10)52.98 (10)27.44 (10)21.71 (10)555.89 (10)3600.0 (-)
des/cnf.18.p.10.wcnf.gz907.15 (18)707.77 (18)210.03 (18)3600.0 (-)208.53 (18)219.03 (18)2757.43 (18)3600.0 (-)352.03 (18)338.25 (18)3600.0 (-)1592.0 (18)3348.74 (18)3600.0 (-)3600.0 (-)
kbtree/kbtree9_7_3_5_50_5.wcsp.wcnf.gz50.74 (37)3600.0 (-)3600.0 (-)3600.0 (-)2686.2 (37)2694.55 (37)3600.0 (-)3600.0 (-)2985.48 (37)2980.4 (37)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
kbtree/kbtree9_7_3_5_80_6.wcsp.wcnf.gz40.24 (104)3600.0 (-)3600.0 (-)3600.0 (-)3600.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_50_4.wcsp.wcnf.gz609.95 (38)3600.0 (-)3600.0 (-)3600.0 (-)3600.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_20_2.wcsp.wcnf.gz1.66 (2)2.79 (2)0.59 (2)1.6 (2)0.24 (2)0.24 (2)0.19 (2)0.11 (2)0.13 (2)0.14 (2)0.15 (2)0.12 (2)0.26 (2)0.32 (2)0.04 (2)
kbtree/kbtree9_7_3_5_40_5.wcsp.wcnf.gz29.98 (23)1646.85 (23)2060.67 (23)3600.0 (-)623.49 (23)609.23 (23)3600.0 (-)3600.0 (-)324.55 (23)311.45 (23)3600.0 (-)3600.0 (-)3600.0 (-)3008.37 (23)3600.0 (-)
kbtree/kbtree9_7_3_5_90_1.wcsp.wcnf.gz16.36 (124)534.65 (124)449.3 (124)3600.0 (-)318.88 (124)324.45 (124)3600.0 (-)3600.0 (-)190.44 (124)190.26 (124)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
kbtree/kbtree9_7_3_5_30_6.wcsp.wcnf.gz36.24 (9)479.18 (9)37.45 (9)29.14 (9)21.88 (9)22.02 (9)29.89 (9)182.49 (9)9.98 (9)10.22 (9)3600.0 (-)200.09 (9)99.41 (9)78.31 (9)38.49 (9)
kbtree/kbtree9_7_3_5_60_2.wcsp.wcnf.gz47.68 (59)3600.0 (-)3600.0 (-)3600.0 (-)3600.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_70_5.wcsp.wcnf.gz47.88 (72)3600.0 (-)3600.0 (-)3600.0 (-)3600.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_80_3.wcsp.wcnf.gz32.24 (102)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
reversi/rev66-26.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
reversi/rev44-8.wcnf.gz2.14 (8)1.01 (8)0.34 (8)0.88 (8)0.61 (8)0.61 (8)0.4 (8)0.46 (8)0.25 (8)0.26 (8)1.31 (8)0.17 (8)0.22 (8)17.74 (8)4.38 (8)
reversi/rev66-24.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
reversi/rev66-4.wcnf.gz0.33 (34)0.06 (34)0.07 (34)0.38 (34)0.09 (34)0.09 (34)0.36 (34)0.06 (34)0.07 (34)0.07 (34)0.16 (34)0.02 (34)0.04 (34)5.28 (34)4.54 (34)
reversi/rev66-20.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
reversi/rev66-16.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
reversi/rev44-4.wcnf.gz0.07 (14)0.02 (14)0.02 (14)0.15 (14)0.02 (14)0.02 (14)0.15 (14)0.02 (14)0.02 (14)0.02 (14)0.02 (14)0.01 (14)0.02 (14)0.25 (14)0.15 (14)
reversi/rev66-32.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
reversi/rev66-14.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
reversi/rev44-12.wcnf.gz2.26 (2)2.74 (2)0.81 (2)1.59 (2)1.14 (2)1.16 (2)0.72 (2)1.2 (2)0.66 (2)0.66 (2)1.36 (2)0.63 (2)0.41 (2)15.02 (2)2.98 (2)
set_cover_sts/data.243.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
set_cover_sts/data.135.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
set_cover_sts/data.405.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
set_cover_sts/data.729.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_4_10_2.wcnf.gz3600.0 (-)3600.0 (-)1323.49 (6)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
extension-enforcement/extension-enforcement_strict_com_200_0.05_4_20_4.wcnf.gz88.39 (50)42.0 (50)14.26 (50)300.52 (50)3600.0 (-)3600.0 (-)3600.0 (-)1.61 (50)3600.0 (-)3600.0 (-)1.52 (50)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_4_10_1.wcnf.gz3600.0 (-)3600.0 (-)1626.95 (7)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_3_10_1.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
extension-enforcement/extension-enforcement_strict_com_200_0.2_1_10_0.wcnf.gz3.8 (16)6.65 (16)3.45 (16)13.4 (16)1091.3 (16)952.59 (16)3600.0 (-)0.57 (16)3600.0 (-)3600.0 (-)0.51 (16)3600.0 (-)3600.0 (-)3305.81 (16)3600.0 (-)
extension-enforcement/extension-enforcement_strict_com_200_0.1_2_20_2.wcnf.gz31.81 (15)14.54 (15)8.99 (15)21.33 (15)161.74 (15)164.18 (15)187.37 (15)1.22 (15)105.19 (15)106.75 (15)1.21 (15)3600.0 (-)3600.0 (-)611.93 (15)558.84 (15)
extension-enforcement/extension-enforcement_non-strict_stb_150_0.05_2_8_4.wcnf.gz3600.0 (-)1096.45 (4)222.42 (4)3600.0 (-)3091.7 (4)2760.21 (4)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
extension-enforcement/extension-enforcement_strict_com_150_0.05_3_30_2.wcnf.gz215.35 (28)34.92 (28)9.61 (28)23.27 (28)413.58 (28)566.25 (28)7.1 (28)1.93 (28)3600.0 (-)2369.35 (28)1.72 (28)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.1_2_10_1.wcnf.gz3600.0 (-)3600.0 (-)1569.47 (8)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
extension-enforcement/extension-enforcement_strict_com_150_0.1_2_15_0.wcnf.gz8.11 (26)11.18 (26)4.47 (26)9.92 (26)14.5 (26)15.21 (26)5.13 (26)0.53 (26)3600.0 (-)3600.0 (-)0.54 (26)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_1_10_2.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
large-graph-commmunity/YOUTUBE.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
large-graph-commmunity/AMAZON.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
large-graph-commmunity/KARATE.wcnf.gz0.01 (4)0.01 (4)0.01 (4)0.09 (4)0.01 (4)0.02 (4)0.09 (4)0.02 (4)0.02 (4)0.01 (4)0.02 (4)0.02 (4)0.02 (4)0.02 (4)0.01 (4)
large-graph-commmunity/DBLP.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
large-graph-commmunity/FOOTBALL.wcnf.gz0.03 (13)0.02 (13)0.01 (13)0.12 (13)0.01 (13)0.02 (13)0.12 (13)0.01 (13)0.02 (13)0.01 (13)0.01 (13)0.12 (13)0.14 (13)0.02 (13)0.02 (13)
large-graph-commmunity/POLITICSBOOK.wcnf.gz0.03 (17)0.01 (17)0.01 (17)0.11 (17)0.01 (17)0.01 (17)0.11 (17)0.01 (17)0.01 (17)0.01 (17)0.02 (17)0.03 (17)0.03 (17)0.01 (17)0.02 (17)
large-graph-commmunity/RAILWAY.wcnf.gz0.04 (44)0.05 (44)0.02 (44)0.16 (44)0.02 (44)0.08 (44)0.14 (44)0.01 (44)0.02 (44)0.04 (44)0.02 (44)0.5 (44)0.85 (44)0.02 (44)0.01 (44)
large-graph-commmunity/RISKMAP.wcnf.gz0.02 (9)0.01 (9)0.01 (9)0.1 (9)0.01 (9)0.02 (9)0.09 (9)0.01 (9)0.02 (9)0.02 (9)0.02 (9)0.01 (9)0.01 (9)0.01 (9)0.01 (9)
atcoss/atcoss_mesat_06.wcnf.gz100.61 (20)428.4 (20)58.91 (20)371.22 (20)377.96 (20)382.0 (20)370.4 (20)82.17 (20)389.25 (20)382.34 (20)81.26 (20)348.63 (20)360.68 (20)3600.0 (-)3600.0 (-)
atcoss/atcoss_sugar_03.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
atcoss/atcoss_sugar_12.wcnf.gz49.52 (12)26.31 (12)21.6 (12)51.62 (12)156.53 (12)156.2 (12)51.83 (12)18.05 (12)58.2 (12)59.23 (12)18.59 (12)33.28 (12)33.88 (12)481.13 (12)592.34 (12)
atcoss/atcoss_sugar_19.wcnf.gz87.63 (8)3158.94 (8)105.01 (8)999.93 (8)142.51 (8)143.34 (8)1000.42 (8)153.36 (8)2335.0 (8)2323.41 (8)164.0 (8)3600.0 (-)1629.66 (8)658.3 (8)943.44 (8)
atcoss/atcoss_mesat_05.wcnf.gz2950.73 (10)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
atcoss/atcoss_sugar_18.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
atcoss/atcoss_sugar_11.wcnf.gz3.68 (50)14.41 (50)2.84 (50)16.09 (50)26.01 (50)25.96 (50)16.1 (50)2.78 (50)28.68 (50)28.84 (50)2.81 (50)10.25 (50)10.39 (50)40.49 (50)25.73 (50)
atcoss/atcoss_mesat_18.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
atcoss/atcoss_mesat_01.wcnf.gz44.91 (20)157.89 (20)46.37 (20)199.4 (20)278.28 (20)256.4 (20)198.83 (20)44.8 (20)184.87 (20)195.02 (20)45.44 (20)82.35 (20)71.97 (20)3600.0 (-)2289.87 (20)
atcoss/atcoss_mesat_02.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
atcoss/atcoss_mesat_12.wcnf.gz8.77 (12)45.85 (12)9.65 (12)59.32 (12)24.52 (12)24.8 (12)59.26 (12)7.85 (12)62.44 (12)62.72 (12)7.89 (12)83.62 (12)74.97 (12)180.94 (12)129.75 (12)
atcoss/atcoss_sugar_06.wcnf.gz53.93 (20)102.62 (20)43.02 (20)109.48 (20)150.21 (20)140.44 (20)109.36 (20)46.47 (20)85.36 (20)83.23 (20)47.44 (20)62.64 (20)70.24 (20)774.73 (20)684.67 (20)
atcoss/atcoss_mesat_03.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
phylogentic-trees/ms_340_20_20-0.wcnf.gz3600.0 (-)3600.0 (-)1795.13 (131)2064.24 (131)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
phylogentic-trees/ms_200_20_12-2.wcnf.gz1091.69 (9)369.19 (9)556.81 (9)973.24 (9)55.13 (9)136.41 (9)1088.83 (9)160.17 (9)3600.0 (-)2348.62 (9)148.61 (9)1041.92 (9)690.38 (9)3600.0 (-)3600.0 (-)
phylogentic-trees/ms_200_32_20-0.wcnf.gz168.95 (45)136.4 (45)120.69 (45)226.45 (45)3600.0 (-)3600.0 (-)3600.0 (-)607.8 (45)3600.0 (-)3600.0 (-)3600.0 (-)1090.52 (45)2259.12 (45)3600.0 (-)3600.0 (-)
phylogentic-trees/ms_200_20_20-1.wcnf.gz2404.76 (64)860.65 (64)894.97 (64)1472.33 (64)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
phylogentic-trees/ms_140_20_20-2.wcnf.gz3600.0 (-)2910.96 (48)1676.79 (48)2710.04 (48)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
phylogentic-trees/ms_200_20_12-1.wcnf.gz1525.84 (46)610.12 (46)674.44 (46)1091.21 (46)3600.0 (-)3600.0 (-)3600.0 (-)2075.99 (46)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
phylogentic-trees/ms_200_20_14-0.wcnf.gz75.43 (17)48.94 (17)52.57 (17)135.1 (17)11.29 (17)12.11 (17)199.28 (17)17.35 (17)138.16 (17)231.72 (17)56.19 (17)149.03 (17)99.37 (17)3600.0 (-)3600.0 (-)
phylogentic-trees/ms_400_20_20-0.wcnf.gz117.88 (70)84.32 (70)75.13 (70)142.86 (70)3600.0 (-)1735.55 (70)1404.86 (70)192.88 (70)3600.0 (-)890.81 (70)672.56 (70)115.37 (70)1347.57 (70)3600.0 (-)3600.0 (-)
phylogentic-trees/ms_250_20_20-0.wcnf.gz3600.0 (-)1264.2 (74)1069.67 (74)1929.9 (74)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
phylogentic-trees/ms_200_20_12-0.wcnf.gz3600.0 (-)1448.6 (75)1075.98 (75)1421.93 (75)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
phylogentic-trees/ms_200_20_20-2.wcnf.gz3600.0 (-)2088.28 (61)812.51 (61)1343.08 (61)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
phylogentic-trees/ms_350_10_20-0.wcnf.gz362.57 (157)393.49 (157)235.82 (157)451.16 (157)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1268.22 (157)3600.0 (-)3600.0 (-)3600.0 (-)
phylogentic-trees/ms_140_20_20-1.wcnf.gz3600.0 (-)1202.16 (48)3600.0 (-)1628.87 (48)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
phylogentic-trees/ms_200_20_24-1.wcnf.gz253.09 (51)193.09 (51)135.51 (51)282.2 (51)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3048.5 (51)3600.0 (-)3600.0 (-)3600.0 (-)
phylogentic-trees/ms_180_20_20-1.wcnf.gz1557.48 (48)1375.04 (48)847.42 (48)1654.72 (48)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
phylogentic-trees/ms_200_14_20-2.wcnf.gz418.3 (85)295.49 (85)304.92 (85)462.55 (85)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1432.94 (85)3600.0 (-)3600.0 (-)3600.0 (-)
phylogentic-trees/ms_200_20_20-7.wcnf.gz1020.86 (91)1264.87 (91)803.63 (91)1683.92 (91)1959.95 (91)3600.0 (-)3600.0 (-)283.27 (91)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
phylogentic-trees/ms_200_40_20-2.wcnf.gz72.61 (18)42.37 (18)43.78 (18)110.06 (18)93.71 (18)127.49 (18)277.58 (18)95.35 (18)248.07 (18)357.44 (18)56.67 (18)103.39 (18)206.12 (18)3600.0 (-)3600.0 (-)
phylogentic-trees/ms_350_10_40-0.wcnf.gz2701.71 (170)1661.64 (170)863.34 (170)1738.41 (170)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
phylogentic-trees/ms_180_20_20-0.wcnf.gz2158.0 (79)2081.07 (79)824.2 (79)1148.16 (79)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
phylogentic-trees/ms_250_10_40-1.wcnf.gz590.45 (126)326.99 (126)1059.11 (126)613.01 (126)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)707.17 (126)3557.67 (126)3600.0 (-)3600.0 (-)
phylogentic-trees/ms_220_20_20-1.wcnf.gz240.44 (48)143.58 (48)119.15 (48)273.21 (48)3600.0 (-)3600.0 (-)3600.0 (-)315.1 (48)3600.0 (-)3388.68 (48)1973.4 (48)436.74 (48)1560.5 (48)3600.0 (-)3600.0 (-)
phylogentic-trees/ms_200_22_20-1.wcnf.gz389.33 (101)324.96 (101)266.45 (101)294.43 (101)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1231.24 (101)3600.0 (-)3600.0 (-)3600.0 (-)
phylogentic-trees/ms_260_20_20-2.wcnf.gz2992.11 (129)1388.09 (129)965.77 (129)1546.48 (129)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
phylogentic-trees/ms_200_36_20-0.wcnf.gz187.75 (52)138.27 (52)113.67 (52)228.78 (52)3600.0 (-)3600.0 (-)3600.0 (-)598.02 (52)3600.0 (-)3600.0 (-)1244.76 (52)1035.44 (52)1938.79 (52)3600.0 (-)3600.0 (-)
phylogentic-trees/ms_200_20_16-0.wcnf.gz1646.21 (52)807.81 (52)865.2 (52)1385.97 (52)3600.0 (-)3600.0 (-)3600.0 (-)1700.6 (52)3600.0 (-)3600.0 (-)2540.07 (52)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
phylogentic-trees/ms_200_14_20-0.wcnf.gz3600.0 (-)1714.79 (92)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
phylogentic-trees/ms_120_20_20-0.wcnf.gz2053.47 (49)738.04 (49)794.53 (49)1165.63 (49)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
phylogentic-trees/ms_200_40_20-1.wcnf.gz3600.0 (-)3303.46 (87)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
phylogentic-trees/ms_200_12_20-1.wcnf.gz2662.85 (133)3600.0 (-)3600.0 (-)3600.0 (-)3600.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_mulsol.i.3.wcnf.gz412.87 (240)343.63 (240)3600.0 (-)268.18 (240)3600.0 (-)3600.0 (-)2214.58 (240)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-fill/MinFill_R3_miles750.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.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.wcnf.gz108.33 (61)35.11 (61)3600.0 (-)422.84 (61)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2540.85 (61)3600.0 (-)3600.0 (-)
min-fill/MinFill_R0_myciel3.wcnf.gz0.11 (10)0.08 (10)0.03 (10)0.18 (10)0.19 (10)0.19 (10)0.16 (10)0.03 (10)0.13 (10)0.13 (10)0.03 (10)0.23 (10)0.34 (10)2.07 (10)1.11 (10)
min-fill/MinFill_R1_games120.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.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.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.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.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.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_mulsol.i.4.wcnf.gz424.76 (240)387.57 (240)3600.0 (-)282.69 (240)3600.0 (-)3600.0 (-)1028.06 (240)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-fill/MinFill_R0_myciel4.wcnf.gz3.74 (46)0.91 (46)1.64 (46)0.9 (46)3600.0 (-)3600.0 (-)3.54 (46)5.48 (46)3600.0 (-)3600.0 (-)22.14 (46)252.96 (46)2293.83 (46)3600.0 (-)3600.0 (-)
min-fill/MinFill_R0_queen6_6.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.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.wcnf.gz739.38 (218)413.87 (218)3600.0 (-)273.48 (218)3600.0 (-)3600.0 (-)3600.0 (-)561.99 (218)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-fill/MinFill_R0_queen8_8.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ConsistentQueryAnswering/synthetic-18.wcnf.gz0.14 (14663)0.58 (14663)0.22 (14663)25.6 (14663)0.14 (14663)9.73 (14663)25.52 (14663)0.6 (14663)0.13 (14663)1.49 (14663)0.6 (14663)4.65 (14663)27.93 (14663)448.11 (14663)216.72 (14663)
ConsistentQueryAnswering/synthetic-8.wcnf.gz0.05 (7349)0.02 (7349)0.08 (7349)11.9 (7349)0.06 (7349)2.7 (7349)11.97 (7349)0.26 (7349)0.05 (7349)0.41 (7349)0.26 (7349)0.71 (7349)7.17 (7349)61.78 (7349)32.23 (7349)
ConsistentQueryAnswering/synthetic-10.wcnf.gz0.1 (14623)0.05 (14623)0.18 (14623)44.69 (14623)0.11 (14623)8.43 (14623)47.22 (14623)0.92 (14623)0.1 (14623)1.45 (14623)0.93 (14623)3.21 (14623)19.02 (14623)338.8 (14623)221.88 (14623)
ConsistentQueryAnswering/synthetic-19.wcnf.gz0.11 (14619)0.07 (14619)0.18 (14619)47.02 (14619)0.11 (14619)8.44 (14619)45.3 (14619)0.92 (14619)0.1 (14619)1.45 (14619)0.93 (14619)3.25 (14619)21.65 (14619)333.76 (14619)222.9 (14619)
ConsistentQueryAnswering/synthetic-12.wcnf.gz0.16 (17989)0.07 (17989)0.34 (17989)66.73 (17989)0.16 (17989)14.24 (17989)67.6 (17989)1.37 (17989)0.15 (17989)2.18 (17989)1.4 (17989)5.13 (17989)31.73 (17989)563.95 (17989)370.58 (17989)
ConsistentQueryAnswering/real-2.wcnf.gz1.3 (368)0.51 (368)2.38 (368)10.92 (368)4.71 (368)6.64 (368)11.0 (368)1.13 (368)4.6 (368)4.81 (368)1.13 (368)0.42 (368)0.45 (368)98.12 (368)43.96 (368)
ConsistentQueryAnswering/synthetic-13.wcnf.gz0.05 (5583)0.05 (5583)0.08 (5583)5.18 (5583)0.06 (5583)1.62 (5583)5.2 (5583)0.13 (5583)0.05 (5583)0.26 (5583)0.13 (5583)0.41 (5583)3.5 (5583)53.29 (5583)24.24 (5583)
ConsistentQueryAnswering/synthetic-7.wcnf.gz0.03 (3326)0.01 (3326)0.04 (3326)2.23 (3326)0.03 (3326)0.59 (3326)2.22 (3326)0.06 (3326)0.03 (3326)0.11 (3326)0.06 (3326)0.14 (3326)1.38 (3326)11.62 (3326)6.58 (3326)
ConsistentQueryAnswering/synthetic-20.wcnf.gz0.07 (6720)0.23 (6720)0.08 (6720)3.62 (6720)0.33 (6720)2.25 (6720)3.63 (6720)0.1 (6720)0.28 (6720)0.39 (6720)0.1 (6720)1.19 (6720)9.93 (6720)104.67 (6720)36.73 (6720)
ConsistentQueryAnswering/synthetic-6.wcnf.gz0.03 (3196)0.01 (3196)0.04 (3196)2.17 (3196)0.03 (3196)0.55 (3196)2.18 (3196)0.06 (3196)0.03 (3196)0.1 (3196)0.06 (3196)0.13 (3196)1.14 (3196)10.93 (3196)6.08 (3196)
ConsistentQueryAnswering/synthetic-21.wcnf.gz0.25 (21342)2.25 (21342)0.31 (21342)41.65 (21342)2.89 (21342)22.68 (21342)41.84 (21342)1.11 (21342)2.34 (21342)3.3 (21342)1.1 (21342)12.58 (21342)101.61 (21342)1241.3 (21342)498.78 (21342)
ConsistentQueryAnswering/real-5.wcnf.gz1.65 (31589)0.72 (31589)3.25 (31589)244.85 (31589)9.56 (31589)183.81 (31589)241.86 (31589)6.42 (31589)9.53 (31589)11.6 (31589)6.41 (31589)111.79 (31589)84.7 (31589)3600.0 (-)3600.0 (-)
ConsistentQueryAnswering/synthetic-5.wcnf.gz0.03 (3174)0.04 (3174)0.03 (3174)1.15 (3174)0.03 (3174)0.45 (3174)1.11 (3174)0.03 (3174)0.03 (3174)0.1 (3174)0.03 (3174)0.26 (3174)1.53 (3174)11.27 (3174)4.11 (3174)
set-covering/scpclr10_maxsat.wcnf.gz25.63 (25)3600.0 (-)3600.0 (-)3600.0 (-)3600.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.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
set-covering/scpclr12_maxsat.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.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.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.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.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.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.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.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.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.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.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.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.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey/ram_k3_n17.ra0.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey/ram_k3_n12.ra0.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey/ram_k3_n11.ra0.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey/ram_k3_n18.ra0.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey/ram_k4_n18.ra0.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey/ram_k3_n14.ra0.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey/ram_k3_n9.ra0.wcnf.gz0.96 (1)7.24 (1)0.25 (1)2.25 (1)1.17 (1)1.1 (1)0.59 (1)1.1 (1)1.67 (1)1.58 (1)1.08 (1)0.65 (1)3600.0 (-)1.16 (1)0.59 (1)
ramsey/ram_k3_n16.ra0.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey/ram_k3_n15.ra0.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey/ram_k4_n19.ra0.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey/ram_k3_n19.ra0.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.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-70-23.wcnf.gz219.0 (1)22.83 (1)9.5 (1)16.99 (1)130.91 (1)130.19 (1)13.91 (1)9.48 (1)67.04 (1)68.06 (1)3.15 (1)3600.0 (-)3600.0 (-)747.66 (1)1175.99 (1)
aes-key-recovery/AES2-74-71.wcnf.gz3600.0 (-)179.7 (2)140.93 (2)132.77 (2)913.75 (2)880.19 (2)573.99 (2)430.69 (2)1005.55 (2)940.82 (2)127.45 (2)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
aes-key-recovery/AES1-70-22.wcnf.gz80.0 (1)9.3 (1)1.93 (1)7.77 (1)37.04 (1)36.98 (1)6.03 (1)2.21 (1)37.21 (1)36.8 (1)1.99 (1)3600.0 (-)3600.0 (-)21.65 (1)3.67 (1)
aes-key-recovery/AES1-40-6.wcnf.gz3.1 (1)1.03 (1)1.35 (1)6.25 (1)32.26 (1)32.15 (1)6.06 (1)1.24 (1)28.42 (1)28.42 (1)1.25 (1)0.21 (1)3600.0 (-)0.69 (1)0.54 (1)
aes-key-recovery/AES1-30-1.wcnf.gz2.8 (1)0.36 (1)1.36 (1)5.89 (1)18.13 (1)18.19 (1)5.75 (1)0.95 (1)18.11 (1)18.01 (1)0.95 (1)0.2 (1)119.15 (1)0.67 (1)0.53 (1)
aes-key-recovery/AES1-76-39.wcnf.gz19.72 (1)11.59 (1)13.13 (1)14.32 (1)57.84 (1)57.57 (1)17.9 (1)10.75 (1)40.85 (1)40.55 (1)10.8 (1)3600.0 (-)3600.0 (-)196.74 (1)8.5 (1)
aes-key-recovery/AES2-50-53.wcnf.gz3.75 (2)0.6 (2)1.57 (2)6.41 (2)30.74 (2)30.94 (2)5.83 (2)1.34 (2)28.11 (2)28.02 (2)1.34 (2)3600.0 (-)3600.0 (-)4.67 (2)0.89 (2)
aes-key-recovery/AES1-74-33.wcnf.gz169.03 (1)127.09 (1)20.68 (1)13.43 (1)94.62 (1)93.66 (1)19.52 (1)23.8 (1)89.35 (1)91.62 (1)23.02 (1)3600.0 (-)3600.0 (-)902.77 (1)303.79 (1)
aes-key-recovery/AES1-70-25.wcnf.gz70.41 (1)409.56 (1)2.74 (1)9.22 (1)29.25 (1)29.44 (1)7.56 (1)7.25 (1)22.63 (1)22.68 (1)6.87 (1)3600.0 (-)3600.0 (-)81.82 (1)4.71 (1)
aes-key-recovery/AES1-76-38.wcnf.gz2490.49 (1)323.7 (1)545.48 (1)1389.91 (1)1042.57 (1)817.22 (1)1484.66 (1)3600.0 (-)1777.53 (1)1788.03 (1)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
aes-key-recovery/AES2-60-59.wcnf.gz2.87 (2)0.45 (2)1.37 (2)5.88 (2)49.31 (2)49.59 (2)5.9 (2)0.97 (2)36.5 (2)36.26 (2)0.97 (2)3600.0 (-)3600.0 (-)2.95 (2)1.23 (2)
aes-key-recovery/AES2-50-52.wcnf.gz8.6 (2)2.69 (2)1.67 (2)7.76 (2)28.97 (2)28.76 (2)6.12 (2)1.73 (2)23.5 (2)23.4 (2)1.73 (2)3600.0 (-)3600.0 (-)4.96 (2)0.98 (2)
aes-key-recovery/AES1-60-17.wcnf.gz4.8 (1)1.96 (1)1.47 (1)6.08 (1)34.59 (1)34.64 (1)5.82 (1)1.29 (1)23.44 (1)23.7 (1)1.29 (1)3600.0 (-)3600.0 (-)4.14 (1)2.26 (1)
aes-key-recovery/AES1-30-2.wcnf.gz3.04 (1)0.34 (1)1.37 (1)5.82 (1)25.49 (1)25.56 (1)5.77 (1)0.95 (1)23.26 (1)23.26 (1)0.95 (1)0.2 (1)758.95 (1)0.66 (1)0.53 (1)
aes-key-recovery/AES2-70-62.wcnf.gz3381.48 (2)66.25 (2)9.16 (2)1866.4 (2)3600.0 (-)3600.0 (-)810.29 (2)87.03 (2)2131.85 (2)2155.25 (2)17.9 (2)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
aes-key-recovery/AES2-72-69.wcnf.gz272.83 (2)38.94 (2)8.31 (2)26.95 (2)476.72 (2)480.24 (2)23.82 (2)14.91 (2)195.64 (2)198.89 (2)5.51 (2)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
aes-key-recovery/AES2-70-63.wcnf.gz243.23 (2)8.22 (2)20.88 (2)9.38 (2)290.62 (2)287.19 (2)9.33 (2)4.38 (2)230.51 (2)229.08 (2)2.52 (2)3600.0 (-)3600.0 (-)396.69 (2)102.68 (2)
aes-key-recovery/AES1-30-3.wcnf.gz4.46 (1)0.61 (1)1.37 (1)8.11 (1)33.89 (1)33.63 (1)5.69 (1)1.26 (1)26.0 (1)26.05 (1)1.28 (1)3600.0 (-)2860.05 (1)2.79 (1)1.05 (1)
aes-key-recovery/AES2-72-70.wcnf.gz44.81 (2)15.76 (2)2.42 (2)15.81 (2)177.04 (2)178.33 (2)7.11 (2)4.83 (2)43.85 (2)43.39 (2)5.33 (2)3600.0 (-)3600.0 (-)432.88 (2)177.66 (2)
packup/rand892_l2.wcnf.gz0.51 (1119)1.39 (1119)0.62 (1119)4.27 (1119)0.38 (1119)38.49 (1119)3.86 (1119)0.38 (1119)0.28 (1119)40.31 (1119)0.4 (1119)5.53 (1119)3.06 (1119)17.0 (1119)6.55 (1119)
packup/rand874_l2.wcnf.gz1.09 (863)4.69 (863)1.49 (863)6.08 (863)0.65 (863)27.71 (863)4.89 (863)1.05 (863)0.42 (863)25.96 (863)1.07 (863)8.96 (863)5.19 (863)13.74 (863)5.76 (863)
packup/rand484_l2.wcnf.gz1.9 (331)3.22 (331)0.83 (331)3.26 (331)0.39 (331)3.58 (331)2.73 (331)0.54 (331)0.22 (331)2.62 (331)0.57 (331)3.31 (331)2.57 (331)6.79 (331)3.3 (331)
packup/rand984_l2.wcnf.gz5.64 (839)5.78 (839)1.19 (839)5.94 (839)0.6 (839)29.85 (839)4.91 (839)0.81 (839)0.35 (839)24.83 (839)0.8 (839)9.93 (839)7.8 (839)12.54 (839)5.7 (839)
packup/ff4a1d84-d490-11df-9e6c-00163e3d3b7c_l3.wcnf.gz2.79 (2236)4.1 (2236)1.61 (2236)10.83 (2236)5.61 (2236)22.56 (2236)10.43 (2236)6.35 (2236)3.54 (2236)13.72 (2236)6.57 (2236)5.21 (2236)5.76 (2236)161.92 (2236)63.12 (2236)
packup/rand172_l2.wcnf.gz1.43 (670)4.51 (670)1.13 (670)4.96 (670)0.52 (670)18.13 (670)4.14 (670)0.81 (670)0.28 (670)14.08 (670)0.8 (670)6.65 (670)7.88 (670)11.37 (670)4.92 (670)
packup/2c3aece6-c8b2-11df-a040-00163e3d3b7c_l3.wcnf.gz5.56 (814)13.2 (814)9.48 (814)12.61 (814)34.29 (814)30.14 (814)21.2 (814)16.63 (814)12.33 (814)11.97 (814)12.19 (814)13.17 (814)9.91 (814)364.55 (814)142.28 (814)
packup/7f80e4f0-4fe9-11e0-acd7-00163e1e087d_l3.wcnf.gz11.32 (404)7.98 (404)11.35 (404)11.07 (404)15.21 (404)16.3 (404)5.45 (404)4.79 (404)4.35 (404)4.46 (404)5.06 (404)16.32 (404)8.35 (404)80.84 (404)58.09 (404)
packup/rand209_l2.wcnf.gz1.64 (1199)4.16 (1199)0.96 (1199)6.38 (1199)0.53 (1199)44.59 (1199)5.6 (1199)0.84 (1199)0.31 (1199)35.75 (1199)0.85 (1199)8.68 (1199)15.01 (1199)20.16 (1199)8.3 (1199)
packup/rand695_l2.wcnf.gz0.2 (974)1.06 (974)0.39 (974)3.63 (974)0.26 (974)23.42 (974)3.42 (974)0.32 (974)0.21 (974)19.82 (974)0.33 (974)5.08 (974)3.14 (974)10.97 (974)3.74 (974)
packup/rand954_l2.wcnf.gz1.13 (700)3.18 (700)0.75 (700)4.58 (700)0.44 (700)10.8 (700)3.89 (700)0.55 (700)0.24 (700)8.71 (700)0.55 (700)5.85 (700)5.4 (700)10.92 (700)4.79 (700)
MaxSATQueriesinInterpretableClassifiers/iris_test_1_DNF_5_1.wcnf.gz0.01 (10)0.01 (10)0.01 (10)0.09 (10)0.01 (10)0.02 (10)0.09 (10)0.01 (10)0.01 (10)0.01 (10)0.01 (10)0.01 (10)0.01 (10)0.01 (10)0.01 (10)
MaxSATQueriesinInterpretableClassifiers/ionosphere_test_0_DNF_5_1.wcnf.gz0.01 (38)0.01 (38)0.01 (38)0.17 (38)0.01 (38)0.02 (38)0.17 (38)0.01 (38)0.02 (38)0.02 (38)0.01 (38)0.02 (38)0.01 (38)0.02 (38)0.01 (38)
MaxSATQueriesinInterpretableClassifiers/twitter_test_1_CNF_4_1.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers/heart_train_0_CNF_4_1.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers/adult_test_6_CNF_4_1.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers/pima_train_8_DNF_1_1.wcnf.gz1.67 (170)0.19 (170)0.08 (170)0.32 (170)0.8 (170)7.02 (170)0.27 (170)0.23 (170)0.39 (170)2.45 (170)0.87 (170)9.62 (170)16.53 (170)8.71 (170)4.61 (170)
MaxSATQueriesinInterpretableClassifiers/ilpd_test_2_CNF_4_1.wcnf.gz0.02 (23)0.01 (23)0.02 (23)0.11 (23)0.01 (23)0.01 (23)0.11 (23)0.01 (23)0.02 (23)0.01 (23)0.01 (23)0.01 (23)0.01 (23)0.01 (23)0.01 (23)
drmx-atmostk/drmx-am16-outof-45-etot.wcnf.gz98.48 (29)1.46 (29)0.61 (29)1.62 (29)0.2 (29)0.26 (29)1.31 (29)24.6 (29)0.27 (29)0.28 (29)3.42 (29)0.11 (29)0.11 (29)63.88 (29)122.98 (29)
drmx-atmostk/drmx-am24-outof-55-emtot.wcnf.gz108.92 (31)3.59 (31)1.37 (31)10.44 (31)0.41 (31)0.41 (31)14.19 (31)560.32 (31)0.36 (31)0.36 (31)147.69 (31)0.18 (31)0.16 (31)1404.33 (31)945.1 (31)
drmx-atmostk/drmx-am24-outof-55-ekmtot.wcnf.gz107.53 (31)7.35 (31)14.69 (31)5.99 (31)0.39 (31)0.39 (31)6.33 (31)181.98 (31)0.39 (31)0.39 (31)115.58 (31)0.17 (31)0.24 (31)154.45 (31)470.42 (31)
drmx-atmostk/drmx-am32-outof-70-ekmtot.wcnf.gz124.07 (38)4.43 (38)647.25 (38)98.93 (38)0.62 (38)0.57 (38)81.51 (38)550.36 (38)0.53 (38)0.6 (38)440.92 (38)0.29 (38)0.25 (38)281.04 (38)1512.83 (38)
drmx-atmostk/drmx-am20-outof-50-etot.wcnf.gz133.89 (30)7.11 (30)2.85 (30)15.27 (30)0.83 (30)0.84 (30)13.61 (30)846.24 (30)0.75 (30)0.82 (30)178.02 (30)0.07 (30)0.08 (30)281.2 (30)414.3 (30)
drmx-atmostk/drmx-am12-outof-40-ekmtot.wcnf.gz6.09 (28)0.92 (28)2.19 (28)0.92 (28)0.1 (28)0.1 (28)1.01 (28)8.29 (28)0.07 (28)0.07 (28)26.36 (28)0.02 (28)0.02 (28)14.83 (28)14.33 (28)
drmx-atmostk/drmx-am24-outof-55-ecardn.wcnf.gz36.29 (31)71.42 (31)39.51 (31)20.94 (31)22.37 (31)21.52 (31)21.21 (31)361.84 (31)22.28 (31)22.35 (31)325.7 (31)4.16 (31)4.26 (31)3600.0 (-)3600.0 (-)
drmx-atmostk/drmx-am20-outof-50-esortn.wcnf.gz26.16 (30)104.29 (30)24.01 (30)48.68 (30)6.73 (30)6.64 (30)40.04 (30)1032.26 (30)13.87 (30)13.92 (30)249.53 (30)2.96 (30)3.2 (30)3469.02 (30)3600.0 (-)
drmx-atmostk/drmx-am32-outof-70-eseqc.wcnf.gz13.49 (38)2.47 (38)9.05 (38)4.16 (38)11.55 (38)11.45 (38)6.19 (38)330.38 (38)8.26 (38)8.23 (38)192.01 (38)0.35 (38)0.51 (38)1467.73 (38)1578.31 (38)
drmx-atmostk/drmx-am12-outof-40-etot.wcnf.gz26.02 (28)1.01 (28)0.96 (28)0.91 (28)0.07 (28)0.07 (28)1.0 (28)1.02 (28)0.07 (28)0.07 (28)0.96 (28)0.02 (28)0.02 (28)44.69 (28)35.08 (28)
drmx-atmostk/drmx-am16-outof-45-esortn.wcnf.gz2.59 (29)4.9 (29)6.31 (29)2.85 (29)0.52 (29)0.51 (29)1.1 (29)20.55 (29)0.56 (29)0.62 (29)17.64 (29)0.51 (29)0.49 (29)2517.61 (29)1712.72 (29)
drmx-atmostk/drmx-am12-outof-40-emtot.wcnf.gz20.3 (28)0.95 (28)3.88 (28)0.89 (28)1.19 (28)1.17 (28)0.66 (28)2.0 (28)0.69 (28)0.7 (28)7.64 (28)0.03 (28)0.02 (28)19.71 (28)8.61 (28)
drmx-atmostk/drmx-am20-outof-50-emtot.wcnf.gz126.11 (30)8.14 (30)1.63 (30)7.38 (30)0.34 (30)0.33 (30)8.68 (30)549.13 (30)0.37 (30)0.36 (30)201.1 (30)0.08 (30)0.09 (30)353.24 (30)391.96 (30)
drmx-atmostk/drmx-am24-outof-55-eseqc.wcnf.gz5.35 (31)1.32 (31)8.65 (31)1.27 (31)0.76 (31)0.75 (31)2.57 (31)60.86 (31)0.47 (31)0.46 (31)46.08 (31)0.19 (31)0.18 (31)207.06 (31)230.98 (31)
SeanSafarpour/rsdecoder4.dimacs.filtered.wcnf.gz3600.0 (-)3600.0 (-)2987.21 (4)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1284.43 (4)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
SeanSafarpour/c6288-bug-gate-0.dimacs.seq.filtered.wcnf.gz30.28 (1)3.13 (1)1.01 (1)1.93 (1)0.07 (1)0.04 (1)0.42 (1)0.08 (1)0.11 (1)0.04 (1)0.09 (1)0.45 (1)2.02 (1)0.04 (1)0.03 (1)
SeanSafarpour/rsdecoder_multivec1-problem.dimacs_33.filtered.wcnf.gz3538.97 (4)194.94 (4)33.3 (4)162.25 (4)67.05 (4)92.23 (4)162.95 (4)252.74 (4)21.9 (4)79.44 (4)196.31 (4)3600.0 (-)3600.0 (-)88.41 (4)95.66 (4)
SeanSafarpour/fpu3-problem.dimacs_18.filtered.wcnf.gz2.8 (1)1.26 (1)2.76 (1)15.95 (1)1.63 (1)1.8 (1)15.94 (1)2.76 (1)1.22 (1)1.4 (1)2.74 (1)20.7 (1)53.16 (1)1.47 (1)1.1 (1)
SeanSafarpour/rsdecoder1_blackbox_CSEEblock-problem.dimacs_32.filtered.wcnf.gz478.14 (4)333.18 (4)93.52 (4)408.15 (4)991.77 (4)228.0 (4)407.53 (4)136.78 (4)405.32 (4)375.54 (4)206.24 (4)3600.0 (-)3600.0 (-)208.97 (4)200.15 (4)
SeanSafarpour/c2_DD_s3_f1_e2_v1-bug-onevec-gate-0.dimacs.seq.filtered.wcnf.gz28.82 (1)0.98 (1)1.72 (1)8.84 (1)1.2 (1)1.0 (1)8.85 (1)2.78 (1)0.74 (1)0.83 (1)2.8 (1)409.25 (1)143.59 (1)0.8 (1)0.61 (1)
SeanSafarpour/wb_4m8s-problem.dimacs_47.filtered.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
SeanSafarpour/rsdecoder-problem.dimacs_31.filtered.wcnf.gz3600.0 (-)174.14 (1)43.66 (1)172.8 (1)286.5 (1)340.63 (1)174.76 (1)629.14 (1)226.05 (1)300.11 (1)321.55 (1)2781.6 (1)3600.0 (-)456.21 (1)453.45 (1)
SeanSafarpour/rsdecoder-problem.dimacs_34.filtered.wcnf.gz41.18 (1)2.51 (1)5.8 (1)27.75 (1)4.45 (1)9.6 (1)27.87 (1)12.13 (1)2.36 (1)2.76 (1)11.15 (1)12.9 (1)207.82 (1)9.91 (1)2.09 (1)
SeanSafarpour/c5_DD_s3_f1_e1_v1-bug-fourvec-gate-0.dimacs.seq.filtered.wcnf.gz1.53 (4)1.62 (4)1.59 (4)10.74 (4)1.09 (4)1.25 (4)10.72 (4)1.92 (4)0.89 (4)0.99 (4)1.96 (4)170.85 (4)481.11 (4)1.02 (4)0.77 (4)
SeanSafarpour/dividers4.dimacs.filtered.wcnf.gz3.29 (2)0.85 (2)1.09 (2)6.6 (2)0.55 (2)0.63 (2)6.58 (2)1.56 (2)0.47 (2)0.54 (2)2.13 (2)1.38 (2)8.59 (2)0.5 (2)0.39 (2)
SeanSafarpour/rsdecoder1_blackbox_KESblock-problem.dimacs_30.filtered.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
SeanSafarpour/divider-problem.dimacs_5.filtered.wcnf.gz134.07 (2)84.36 (2)9.92 (2)48.4 (2)20.14 (2)32.02 (2)48.61 (2)54.53 (2)19.03 (2)17.45 (2)38.19 (2)47.01 (2)847.17 (2)30.08 (2)16.18 (2)
SeanSafarpour/rsdecoder2.dimacs.filtered.wcnf.gz108.84 (1)17.36 (1)41.72 (1)84.92 (1)26.93 (1)40.89 (1)85.14 (1)43.27 (1)11.81 (1)9.47 (1)45.0 (1)633.61 (1)3600.0 (-)54.29 (1)53.78 (1)
SeanSafarpour/c5315-bug-gate-0.dimacs.seq.filtered.wcnf.gz0.03 (1)0.14 (1)0.04 (1)0.29 (1)0.02 (1)0.02 (1)0.26 (1)0.02 (1)0.01 (1)0.02 (1)0.02 (1)0.09 (1)0.2 (1)0.03 (1)0.02 (1)
logic-synthesis/normalized-clip.b.opb.msat.wcnf.gz0.07 (15)0.04 (15)0.05 (15)0.29 (15)0.05 (15)0.05 (15)0.23 (15)0.01 (15)0.03 (15)0.03 (15)0.01 (15)0.37 (15)0.55 (15)0.09 (15)0.07 (15)
logic-synthesis/normalized-5xp1.b.opb.msat.wcnf.gz0.22 (12)0.73 (12)0.34 (12)2.02 (12)0.17 (12)0.17 (12)0.37 (12)1.02 (12)0.11 (12)0.11 (12)0.41 (12)11.49 (12)12.21 (12)1.01 (12)2.83 (12)
logic-synthesis/normalized-count.b.opb.msat.wcnf.gz0.17 (24)0.16 (24)0.08 (24)0.54 (24)0.03 (24)0.07 (24)0.17 (24)0.05 (24)0.03 (24)0.05 (24)0.11 (24)10.04 (24)14.31 (24)0.13 (24)0.1 (24)
logic-synthesis/normalized-ex5.pi.opb.msat.wcnf.gz2.21 (65)2531.11 (65)3600.0 (-)2410.28 (65)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1847.6 (65)3600.0 (-)
logic-synthesis/normalized-test4.pi.opb.msat.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
logic-synthesis/normalized-9sym.b.opb.msat.wcnf.gz0.11 (5)0.05 (5)0.04 (5)0.16 (5)0.05 (5)0.05 (5)0.14 (5)0.01 (5)0.04 (5)0.04 (5)0.01 (5)0.04 (5)0.04 (5)0.05 (5)0.04 (5)
logic-synthesis/normalized-f51m.b.opb.msat.wcnf.gz0.12 (18)0.54 (18)0.41 (18)0.58 (18)0.13 (18)0.19 (18)0.17 (18)0.06 (18)0.06 (18)0.1 (18)0.04 (18)23.32 (18)44.18 (18)1.28 (18)1.18 (18)
logic-synthesis/normalized-jac3.opb.msat.wcnf.gz0.38 (15)5.92 (15)1.24 (15)1.39 (15)138.3 (15)135.61 (15)1.89 (15)0.4 (15)427.59 (15)424.77 (15)1.23 (15)3600.0 (-)3600.0 (-)0.29 (15)0.09 (15)
logic-synthesis/normalized-exam.pi.opb.msat.wcnf.gz0.66 (63)210.07 (63)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
logic-synthesis/normalized-e64.b.opb.msat.wcnf.gz0.61 (47)0.5 (47)0.42 (47)0.53 (47)0.36 (47)0.36 (47)0.67 (47)1.42 (47)0.19 (47)0.18 (47)19.04 (47)3600.0 (-)3600.0 (-)12.16 (47)756.65 (47)
logic-synthesis/normalized-apex4.a.opb.msat.wcnf.gz1.44 (776)7.37 (776)2.62 (776)6.47 (776)0.5 (776)79.17 (776)2.25 (776)0.55 (776)0.22 (776)17.11 (776)0.51 (776)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
logic-synthesis/normalized-max1024.pi.opb.msat.wcnf.gz0.97 (259)16.84 (259)3600.0 (-)1400.53 (259)3600.0 (-)3600.0 (-)3600.0 (-)84.15 (259)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
logic-synthesis/normalized-rot.b.opb.msat.wcnf.gz0.5 (115)9.44 (115)1567.07 (115)341.03 (115)983.68 (115)172.62 (115)972.0 (115)3600.0 (-)3600.0 (-)112.65 (115)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
logic-synthesis/normalized-bench1.pi.opb.msat.wcnf.gz1.7 (121)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
logic-synthesis/normalized-sao2.b.opb.msat.wcnf.gz0.2 (25)0.04 (25)0.03 (25)0.16 (25)110.18 (25)113.72 (25)0.14 (25)0.02 (25)43.62 (25)44.21 (25)0.01 (25)328.7 (25)615.52 (25)0.02 (25)0.02 (25)
logic-synthesis/normalized-alu4.b.opb.msat.wcnf.gz0.75 (50)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
logic-synthesis/normalized-prom2.pi.opb.msat.wcnf.gz0.43 (287)3.58 (287)3600.0 (-)3600.0 (-)288.69 (287)3600.0 (-)3600.0 (-)3600.0 (-)1303.4 (287)3600.0 (-)2227.52 (287)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
railroad_scheduling/MultiDay_0.wcnf.gz101.6 (27639)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
railroad_scheduling/SingleDay_37.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
railroad_scheduling/MultiDay_1.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
railroad_scheduling/Subnetwork_7.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
railroad_scheduling/MultiDay_3.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
railroad_scheduling/SingleDay_3.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
railroad_scheduling/SingleDay_2.wcnf.gz5.84 (6150)249.52 (6150)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
railroad_scheduling/MultiDay_2.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
railroad_scheduling/SingleDay_2_weighted.wcnf.gz5.85 (6150)250.06 (6150)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
railroad_scheduling/Subnetwork_9.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
railroad_scheduling/MultiDay_1_weighted.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
railroad_scheduling/SingleDay_15.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
railroad_scheduling/MultiDay_4.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
railroad_scheduling/MultiDay_0_weighted.wcnf.gz101.0 (27639)3600.0 (-)3600.0 (-)3600.0 (-)3600.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.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.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.wcnf.gz3600.0 (-)3600.0 (-)1404.58 (2)3600.0 (-)365.92 (2)372.41 (2)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)793.47 (2)3600.0 (-)
gen-hyper-tw/GenHyperTW_dubois30.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)758.58 (2)784.76 (2)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2258.61 (2)3600.0 (-)
gen-hyper-tw/GenHyperTW_dubois20.wcnf.gz345.21 (2)2084.92 (2)579.66 (2)2795.15 (2)235.53 (2)229.78 (2)2810.43 (2)2175.78 (2)3000.81 (2)2979.33 (2)2187.45 (2)3600.0 (-)3600.0 (-)533.88 (2)3600.0 (-)
gen-hyper-tw/GenHyperTW_hole9.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.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.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.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_dubois27.wcnf.gz2344.54 (2)3600.0 (-)2595.36 (2)3600.0 (-)393.04 (2)409.89 (2)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3438.14 (2)3600.0 (-)
gen-hyper-tw/GenHyperTW_par8-4-c.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.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.wcnf.gz0.08 (2)0.03 (2)0.04 (2)0.26 (2)0.17 (2)0.17 (2)0.26 (2)0.03 (2)0.17 (2)0.17 (2)0.03 (2)0.03 (2)0.02 (2)0.05 (2)0.05 (2)
gen-hyper-tw/GenHyperTW_b06.wcnf.gz175.29 (4)118.52 (4)264.13 (4)136.95 (4)230.69 (4)231.21 (4)209.85 (4)313.67 (4)231.11 (4)243.52 (4)315.68 (4)80.45 (4)157.72 (4)1752.2 (4)3600.0 (-)
gen-hyper-tw/GenHyperTW_dubois24.wcnf.gz841.06 (2)3021.55 (2)331.08 (2)3600.0 (-)137.83 (2)176.79 (2)3600.0 (-)2183.97 (2)3600.0 (-)3600.0 (-)2147.09 (2)3600.0 (-)3600.0 (-)540.02 (2)3600.0 (-)
protein_ins/1knt_.2knt_.g.wcnf.t.wcnf.gz27.99 (16)1.78 (16)19.3 (16)15.45 (16)2.63 (16)3.78 (16)16.0 (16)21.72 (16)4.02 (16)3.88 (16)24.78 (16)2.22 (16)1.72 (16)3600.0 (-)3600.0 (-)
protein_ins/3ebx_.1era_.g.wcnf.t.wcnf.gz180.73 (34)70.96 (34)219.61 (34)236.76 (34)265.55 (34)141.52 (34)173.9 (34)696.51 (34)566.86 (34)641.66 (34)3600.0 (-)160.19 (34)113.34 (34)3600.0 (-)3600.0 (-)
protein_ins/2knt_.5pti_.g.wcnf.t.wcnf.gz101.79 (32)35.76 (32)84.05 (32)77.2 (32)153.4 (32)95.7 (32)52.05 (32)358.46 (32)132.42 (32)99.7 (32)3600.0 (-)58.83 (32)66.03 (32)3600.0 (-)3600.0 (-)
protein_ins/3ebx_.6ebx_.g.wcnf.t.wcnf.gz61.84 (23)7.88 (23)21.38 (23)19.75 (23)16.7 (23)11.8 (23)19.69 (23)48.09 (23)52.07 (23)34.39 (23)305.48 (23)10.36 (23)9.37 (23)3600.0 (-)3600.0 (-)
protein_ins/1vii_.1cph_.g.wcnf.t.wcnf.gz1.34 (7)0.02 (7)0.09 (7)0.23 (7)0.04 (7)0.03 (7)0.23 (7)0.09 (7)0.04 (7)0.04 (7)0.09 (7)0.02 (7)0.01 (7)2.73 (7)0.57 (7)
protein_ins/1bpi_.2knt_.g.wcnf.t.wcnf.gz253.84 (35)75.37 (35)197.88 (35)170.78 (35)156.03 (35)185.57 (35)121.93 (35)335.57 (35)629.36 (35)188.22 (35)3600.0 (-)72.47 (35)80.88 (35)3600.0 (-)3600.0 (-)
protein_ins/1knt_.1bpi_.g.wcnf.t.wcnf.gz172.76 (35)50.7 (35)211.39 (35)113.55 (35)371.33 (35)192.54 (35)74.6 (35)392.42 (35)345.29 (35)278.0 (35)3600.0 (-)85.52 (35)111.15 (35)3600.0 (-)3600.0 (-)
protein_ins/1knt_.5pti_.g.wcnf.t.wcnf.gz86.8 (29)31.89 (29)60.75 (29)116.67 (29)172.98 (29)71.44 (29)53.33 (29)281.21 (29)73.61 (29)122.58 (29)3600.0 (-)46.5 (29)57.65 (29)3600.0 (-)3600.0 (-)
protein_ins/sandiaprotein.g.wcnf.t.wcnf.gz299.2 (28)19.71 (28)60.76 (28)49.77 (28)128.21 (28)100.43 (28)41.8 (28)202.12 (28)204.62 (28)138.69 (28)3600.0 (-)44.6 (28)36.64 (28)3600.0 (-)3600.0 (-)
protein_ins/6ebx_.1era_.g.wcnf.t.wcnf.gz160.0 (30)41.3 (30)49.56 (30)59.16 (30)88.99 (30)71.21 (30)44.17 (30)226.93 (30)70.09 (30)96.04 (30)3600.0 (-)39.07 (30)33.39 (30)3600.0 (-)3600.0 (-)
protein_ins/1bpi_.5pti_.g.wcnf.t.wcnf.gz148.12 (29)17.97 (29)107.09 (29)64.81 (29)64.3 (29)48.3 (29)62.54 (29)259.23 (29)115.89 (29)76.51 (29)3600.0 (-)27.35 (29)27.66 (29)3600.0 (-)3600.0 (-)
protein_ins/p1.wcnf.t.wcnf.gz165.35 (35)75.22 (35)131.53 (35)136.36 (35)136.05 (35)136.41 (35)78.65 (35)358.0 (35)362.58 (35)245.5 (35)3600.0 (-)74.51 (35)71.45 (35)3600.0 (-)3600.0 (-)
fault-diagnosis/s38584_nan_explicit_14_0.wcnf.gz638.42 (202)529.8 (202)1345.64 (202)393.46 (202)2421.51 (202)1902.78 (202)400.69 (202)802.32 (202)723.43 (202)859.19 (202)686.85 (202)2389.25 (202)3600.0 (-)3600.0 (-)3600.0 (-)
fault-diagnosis/s38584_nan_explicit_35_0.wcnf.gz222.63 (183)113.17 (183)34.37 (183)66.15 (183)80.02 (183)60.0 (183)25.43 (183)45.42 (183)37.12 (183)23.93 (183)36.79 (183)11.17 (183)186.53 (183)322.81 (183)524.35 (183)
fault-diagnosis/s00641_nan_explicit_3_0.wcnf.gz0.1 (58)0.09 (58)0.13 (58)1.11 (58)0.17 (58)0.17 (58)1.11 (58)0.05 (58)0.16 (58)0.16 (58)0.05 (58)0.07 (58)0.06 (58)1.26 (58)0.66 (58)
fault-diagnosis/s38584_nan_explicit_12_0.wcnf.gz532.56 (191)271.22 (191)198.82 (191)180.89 (191)692.5 (191)909.64 (191)75.6 (191)114.62 (191)112.05 (191)155.95 (191)242.07 (191)286.48 (191)3600.0 (-)3600.0 (-)3352.37 (191)
fault-diagnosis/s38417_nan_explicit_13_0.wcnf.gz0.46 (67)0.21 (67)0.59 (67)3.97 (67)0.84 (67)0.95 (67)3.97 (67)0.24 (67)0.83 (67)0.89 (67)0.24 (67)0.23 (67)0.19 (67)7.72 (67)4.26 (67)
fault-diagnosis/s38417_nan_explicit_16_0.wcnf.gz0.36 (69)0.18 (69)0.48 (69)3.01 (69)0.68 (69)0.73 (69)3.01 (69)0.23 (69)0.62 (69)0.67 (69)0.23 (69)0.21 (69)0.2 (69)5.21 (69)2.86 (69)
fault-diagnosis/s01423_nan_explicit_9_0.wcnf.gz0.18 (70)0.1 (70)0.26 (70)1.82 (70)0.22 (70)0.22 (70)1.92 (70)0.14 (70)0.21 (70)0.21 (70)0.13 (70)0.11 (70)0.08 (70)2.7 (70)1.44 (70)
fault-diagnosis/s38584_nan_explicit_29_0.wcnf.gz138.05 (200)111.8 (200)31.86 (200)65.97 (200)177.46 (200)123.86 (200)39.48 (200)39.54 (200)36.56 (200)34.31 (200)79.07 (200)33.0 (200)67.15 (200)1728.17 (200)777.37 (200)
fault-diagnosis/s38584_nan_explicit_47_0.wcnf.gz74.83 (154)65.42 (154)32.0 (154)46.15 (154)20.58 (154)53.02 (154)21.67 (154)21.4 (154)15.87 (154)21.48 (154)23.35 (154)14.55 (154)22.92 (154)41.99 (154)11.69 (154)
fault-diagnosis/s38584_nan_explicit_30_0.wcnf.gz172.66 (200)119.58 (200)38.29 (200)78.42 (200)508.46 (200)119.71 (200)82.57 (200)119.73 (200)67.34 (200)47.55 (200)72.4 (200)35.51 (200)1956.07 (200)3600.0 (-)3276.71 (200)
maxcut/maxcut-140-630-0.8-3.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.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.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut/maxcut-140-630-0.8-44.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut/p_hat500-3.clq.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut/maxcut-140-630-0.7-3.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut/maxcut-140-630-0.8-4.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut/p_hat500-1.clq.wcnf.gz21.21 (75)14.29 (75)3.76 (75)78.48 (75)536.79 (75)705.95 (75)64.33 (75)75.2 (75)408.76 (75)357.14 (75)3600.0 (-)837.51 (75)943.44 (75)658.64 (75)1032.28 (75)
maxcut/san200_0.9_1.clq.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut/maxcut-140-630-0.7-49.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut/maxcut-140-630-0.8-20.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut/maxcut-140-630-0.7-33.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.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.wcnf.gz725.46 (36)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
aes/mul_8_11.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.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.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
aes/mul_8_9.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
aes/sbox_8.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
aes/sbox_4.wcnf.gz0.8 (22)0.33 (22)1.68 (22)0.36 (22)0.17 (22)0.17 (22)0.42 (22)0.32 (22)0.13 (22)0.13 (22)0.51 (22)1133.67 (22)1917.73 (22)0.62 (22)0.19 (22)
aes/mul_8_14.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
exploits-synthesis/meltdown_min.wcnf.gz1115.09 (69)3600.0 (-)1259.31 (69)1700.81 (69)1742.45 (69)1804.86 (69)3029.27 (69)653.96 (69)901.13 (69)847.8 (69)3318.38 (69)580.84 (69)489.32 (69)3600.0 (-)3600.0 (-)
exploits-synthesis/spectre_min.wcnf.gz2355.11 (89)3600.0 (-)1569.45 (89)1593.67 (89)3600.0 (-)3600.0 (-)3600.0 (-)1852.52 (89)3600.0 (-)3600.0 (-)3600.0 (-)1514.55 (89)1773.06 (89)3600.0 (-)3600.0 (-)
exploits-synthesis/flush_reload_min.wcnf.gz352.7 (45)340.5 (45)225.26 (45)678.73 (45)261.98 (45)275.99 (45)481.0 (45)292.61 (45)257.84 (45)292.39 (45)3600.0 (-)179.42 (45)138.3 (45)3600.0 (-)3600.0 (-)
mbd/b21_C-mbd14-0260.wcnf.gz57.16 (25)3.49 (25)2.58 (25)5.3 (25)2.89 (25)2.87 (25)1.71 (25)1.6 (25)2.94 (25)2.98 (25)1.39 (25)215.03 (25)140.32 (25)10.72 (25)19.2 (25)
mbd/b21_C-mbd14-0203.wcnf.gz46.79 (27)6.86 (27)2.63 (27)5.12 (27)17.17 (27)17.46 (27)3.21 (27)8.26 (27)8.32 (27)8.18 (27)130.79 (27)530.73 (27)1016.8 (27)37.9 (27)16.62 (27)
mbd/b20_C-mbd14-0202.wcnf.gz9.73 (21)2.28 (21)0.71 (21)1.9 (21)1.37 (21)1.35 (21)1.05 (21)0.34 (21)1.17 (21)1.13 (21)0.33 (21)7.39 (21)13.22 (21)0.35 (21)0.23 (21)
mbd/b22_C-mbd14-0232.wcnf.gz65.05 (19)5.13 (19)1.97 (19)3.73 (19)1.46 (19)1.93 (19)1.7 (19)1.14 (19)1.75 (19)1.58 (19)1.35 (19)118.22 (19)114.0 (19)2.39 (19)1.34 (19)
mbd/b21_C-mbd14-0236.wcnf.gz103.11 (21)28.96 (21)11.28 (21)30.38 (21)31.95 (21)32.55 (21)61.11 (21)50.36 (21)23.47 (21)23.08 (21)131.01 (21)1303.41 (21)1728.97 (21)736.46 (21)314.67 (21)
mbd/b20_C-mbd14-0257.wcnf.gz35.85 (26)2.56 (26)1.37 (26)2.54 (26)1.54 (26)1.54 (26)1.48 (26)0.64 (26)1.25 (26)1.27 (26)0.61 (26)22.99 (26)24.27 (26)4.04 (26)0.57 (26)
mbd/b21_C-mbd14-0361.wcnf.gz40.02 (24)3.15 (24)1.1 (24)2.66 (24)1.82 (24)1.82 (24)1.25 (24)0.81 (24)1.24 (24)1.25 (24)0.64 (24)132.93 (24)83.65 (24)4.05 (24)3.9 (24)
mbd/b22_C-mbd14-0215.wcnf.gz33.29 (22)3.63 (22)1.74 (22)3.31 (22)0.97 (22)1.33 (22)1.62 (22)0.69 (22)0.93 (22)1.34 (22)0.64 (22)28.76 (22)30.19 (22)0.56 (22)0.35 (22)
mbd/b20_C-mbd14-0332.wcnf.gz85.38 (22)8.93 (22)2.14 (22)10.55 (22)6.97 (22)7.0 (22)3.59 (22)2.83 (22)4.11 (22)4.03 (22)5.17 (22)90.23 (22)107.02 (22)57.78 (22)34.79 (22)
mbd/b22_C-mbd14-0300.wcnf.gz16.16 (21)2.91 (21)1.21 (21)3.47 (21)0.92 (21)1.11 (21)1.57 (21)0.55 (21)0.88 (21)1.05 (21)0.57 (21)10.22 (21)7.9 (21)0.57 (21)0.33 (21)
mbd/b20_C-mbd14-0251.wcnf.gz38.69 (22)2.38 (22)0.99 (22)2.07 (22)1.49 (22)1.48 (22)1.16 (22)0.43 (22)1.19 (22)1.16 (22)0.48 (22)246.15 (22)143.97 (22)0.97 (22)0.91 (22)
mbd/b22_C-mbd14-0279.wcnf.gz121.76 (24)5.45 (24)1.82 (24)4.74 (24)1.46 (24)4.18 (24)1.8 (24)1.02 (24)1.21 (24)2.5 (24)1.04 (24)44.36 (24)58.21 (24)1.26 (24)1.56 (24)
xai-mindset2/heart-h.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
xai-mindset2/liver-disorder.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
xai-mindset2/flags.wcnf.gz3.73 (8)0.44 (8)1.0 (8)1.22 (8)3.81 (8)3.81 (8)0.85 (8)0.39 (8)4.02 (8)4.03 (8)0.39 (8)0.17 (8)0.18 (8)1.07 (8)0.38 (8)
xai-mindset2/new-thyroid.wcnf.gz46.95 (126)3.79 (126)21.85 (126)5.37 (126)9.67 (126)253.33 (126)8.05 (126)33.01 (126)11.65 (126)780.49 (126)3600.0 (-)3600.0 (-)3600.0 (-)940.91 (126)317.74 (126)
xai-mindset2/hayes-roth.wcnf.gz55.4 (50)32.04 (50)10.54 (50)11.09 (50)5.31 (50)5.25 (50)4.38 (50)5.38 (50)2.37 (50)2.37 (50)2393.49 (50)5.52 (50)3.62 (50)103.91 (50)76.16 (50)
xai-mindset2/backache.wcnf.gz0.12 (85)0.25 (85)0.36 (85)1.51 (85)0.08 (85)0.2 (85)1.44 (85)11.37 (85)0.12 (85)0.18 (85)11.42 (85)3600.0 (-)3600.0 (-)7.36 (85)4.28 (85)
xai-mindset2/diabetes.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
xai-mindset2/hepatitis.wcnf.gz84.31 (58)347.24 (58)305.04 (58)502.43 (58)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
xai-mindset2/zoo.wcnf.gz0.08 (20)0.06 (20)0.03 (20)0.2 (20)0.04 (20)0.06 (20)0.18 (20)0.02 (20)0.04 (20)0.05 (20)0.02 (20)0.05 (20)0.04 (20)0.04 (20)0.03 (20)
xai-mindset2/shuttleM.wcnf.gz3600.0 (-)504.56 (127)1785.47 (127)2391.58 (127)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
treewidth-computation/TWComp_oesoca4_N42.wcnf.gz1.0 (3)0.16 (3)1.21 (3)2.35 (3)28.7 (3)28.24 (3)2.37 (3)0.41 (3)29.09 (3)28.26 (3)0.4 (3)0.1 (3)0.08 (3)0.4 (3)0.26 (3)
treewidth-computation/TWComp_david-pp_N29.wcnf.gz0.68 (13)1.55 (13)4.03 (13)4.36 (13)6.33 (13)6.15 (13)4.38 (13)1.05 (13)5.55 (13)5.57 (13)1.05 (13)1.91 (13)1.16 (13)98.33 (13)19.9 (13)
treewidth-computation/TWComp_hailfinder_N56.wcnf.gz2.51 (4)0.3 (4)1.38 (4)5.45 (4)17.64 (4)16.3 (4)5.4 (4)1.06 (4)17.79 (4)16.49 (4)1.07 (4)0.34 (4)0.26 (4)1.24 (4)0.79 (4)
treewidth-computation/TWComp_barley2_N48.wcnf.gz3.07 (7)1.62 (7)3.66 (7)5.11 (7)82.06 (7)82.55 (7)5.15 (7)2.03 (7)71.67 (7)70.53 (7)2.04 (7)2.02 (7)2.09 (7)62.06 (7)6.1 (7)
treewidth-computation/TWComp_oesoca_N39.wcnf.gz0.78 (3)0.11 (3)0.95 (3)1.89 (3)22.54 (3)22.48 (3)1.88 (3)0.31 (3)25.42 (3)25.42 (3)0.31 (3)0.08 (3)0.07 (3)0.3 (3)0.21 (3)
treewidth-computation/TWComp_mildew_35.wcnf.gz0.54 (4)0.08 (4)0.29 (4)1.41 (4)10.64 (4)10.62 (4)1.4 (4)0.21 (4)10.57 (4)10.55 (4)0.21 (4)0.09 (4)0.08 (4)0.45 (4)0.19 (4)
treewidth-computation/TWComp_mulsol.i.5-pp_N119.wcnf.gz395.49 (31)3600.0 (-)3154.92 (31)3186.42 (31)317.72 (31)328.34 (31)3179.54 (31)1387.44 (31)3600.0 (-)3600.0 (-)1391.79 (31)3600.0 (-)159.53 (31)3600.0 (-)3600.0 (-)
treewidth-computation/TWComp_barley-pp_N26.wcnf.gz0.33 (7)0.24 (7)0.28 (7)0.77 (7)2.98 (7)3.05 (7)0.75 (7)0.21 (7)2.84 (7)2.88 (7)0.21 (7)0.4 (7)0.2 (7)3.44 (7)0.81 (7)
treewidth-computation/TWComp_1dp_N76.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
treewidth-computation/TWComp_mainuk_N48.wcnf.gz1.58 (7)0.29 (7)2.03 (7)3.54 (7)53.87 (7)56.32 (7)3.49 (7)0.71 (7)55.3 (7)56.21 (7)0.71 (7)0.25 (7)0.23 (7)1.32 (7)0.53 (7)
treewidth-computation/TWComp_eil51.tsp_N51.wcnf.gz1217.33 (8)3600.0 (-)2677.62 (8)1948.37 (8)1237.17 (8)2346.48 (8)1938.61 (8)2655.72 (8)3600.0 (-)595.94 (8)2652.7 (8)1705.86 (8)323.41 (8)3600.0 (-)3600.0 (-)
treewidth-computation/TWComp_huck_N74.wcnf.gz7.18 (10)1.09 (10)3.99 (10)12.71 (10)18.47 (10)18.93 (10)12.73 (10)3.41 (10)18.05 (10)18.1 (10)3.38 (10)0.79 (10)0.75 (10)12.15 (10)3.29 (10)
treewidth-computation/TWComp_david_N87.wcnf.gz21.94 (13)24.15 (13)51.2 (13)32.81 (13)25.95 (13)26.48 (13)32.53 (13)13.13 (13)14.61 (13)15.82 (13)13.3 (13)9.64 (13)9.03 (13)1400.15 (13)1342.86 (13)
CircuitDebuggingProblems/ac97_ctrl-debug.dimacs.wcnf.gz1.23 (1)0.46 (1)0.82 (1)7.62 (1)0.51 (1)0.63 (1)6.88 (1)0.96 (1)0.46 (1)0.55 (1)0.96 (1)0.88 (1)14.57 (1)0.51 (1)0.38 (1)
CircuitDebuggingProblems/mrisc-debug.dimacs.wcnf.gz23.58 (1)8.94 (1)13.05 (1)64.26 (1)4.12 (1)4.92 (1)63.99 (1)24.11 (1)3.54 (1)4.17 (1)24.08 (1)15.15 (1)433.59 (1)4.16 (1)3.11 (1)
CircuitDebuggingProblems/spi-debug.dimacs.wcnf.gz72.16 (1)13.46 (1)17.44 (1)74.61 (1)13.34 (1)6.34 (1)74.46 (1)59.4 (1)7.18 (1)5.58 (1)62.14 (1)39.41 (1)691.06 (1)6.02 (1)4.88 (1)
CircuitDebuggingProblems/mem_ctrl-debug.dimacs.wcnf.gz5.46 (1)1.37 (1)2.61 (1)31.68 (1)1.69 (1)1.94 (1)18.84 (1)3.83 (1)1.46 (1)1.74 (1)3.86 (1)2.91 (1)34.62 (1)1.49 (1)1.28 (1)
CircuitDebuggingProblems/sudoku-debug.dimacs.wcnf.gz21.32 (1)8.86 (1)13.75 (1)62.23 (1)4.05 (1)5.18 (1)62.06 (1)25.0 (1)3.85 (1)4.03 (1)25.12 (1)11.79 (1)574.87 (1)4.5 (1)3.77 (1)
CircuitDebuggingProblems/rsdecoder-debug.dimacs.wcnf.gz28.58 (1)138.45 (1)33.14 (1)85.31 (1)4.46 (1)5.58 (1)85.33 (1)34.08 (1)3.75 (1)4.66 (1)34.11 (1)13.99 (1)3600.0 (-)4.78 (1)3.51 (1)
CircuitDebuggingProblems/wb-debug.dimacs.wcnf.gz59.7 (28)16.67 (28)6.56 (28)353.65 (28)4.62 (28)5.83 (28)41.77 (28)37.69 (28)3.15 (28)4.35 (28)41.16 (28)3600.0 (-)3600.0 (-)5.23 (28)3.73 (28)
CircuitDebuggingProblems/vga-debug.dimacs.wcnf.gz6.43 (1)1.87 (1)3.6 (1)54.84 (1)2.3 (1)2.62 (1)25.95 (1)3.85 (1)2.0 (1)2.34 (1)3.86 (1)6.88 (1)44.88 (1)2.07 (1)1.73 (1)
CircuitDebuggingProblems/divider-debug.dimacs.wcnf.gz7.06 (1)2.19 (1)3.12 (1)752.88 (1)1.89 (1)2.18 (1)23.84 (1)8.09 (1)1.69 (1)1.98 (1)8.09 (1)3.83 (1)117.7 (1)1.7 (1)1.45 (1)
pseudoBoolean/normalized-mps-v2-20-10-stein27.opb.msat.wcnf.gz2.4 (18)0.08 (18)0.08 (18)0.17 (18)0.56 (18)0.57 (18)0.16 (18)0.34 (18)0.33 (18)0.33 (18)0.15 (18)0.19 (18)0.14 (18)2.07 (18)0.57 (18)
pseudoBoolean/normalized-par8-5.opb.msat.wcnf.gz0.01 (350)0.02 (350)0.01 (350)0.3 (350)3.32 (350)3.32 (350)0.3 (350)0.01 (350)3.39 (350)3.4 (350)0.01 (350)0.01 (350)0.08 (350)0.15 (350)0.12 (350)
pseudoBoolean/normalized-par16-3.opb.msat.wcnf.gz0.26 (1015)0.5 (1015)0.72 (1015)1.77 (1015)0.28 (1015)0.83 (1015)1.73 (1015)0.74 (1015)0.08 (1015)0.72 (1015)0.73 (1015)0.52 (1015)0.82 (1015)42.51 (1015)206.54 (1015)
pseudoBoolean/normalized-mps-v2-20-10-stein45.opb.msat.wcnf.gz93.92 (30)51.92 (30)24.48 (30)46.35 (30)64.74 (30)63.64 (30)44.7 (30)128.27 (30)27.79 (30)27.81 (30)144.91 (30)10.61 (30)8.58 (30)548.55 (30)138.04 (30)
pseudoBoolean/normalized-mps-v2-20-10-stein9.opb.msat.wcnf.gz0.02 (5)0.01 (5)0.02 (5)0.09 (5)0.01 (5)0.01 (5)0.09 (5)0.01 (5)0.01 (5)0.02 (5)0.02 (5)0.01 (5)0.02 (5)0.02 (5)0.01 (5)
pseudoBoolean/normalized-par32-4.opb.msat.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
pseudoBoolean/normalized-g7x7.opb.msat.wcnf.gz0.02 (12)0.01 (12)0.01 (12)0.1 (12)0.01 (12)0.01 (12)0.1 (12)0.01 (12)0.01 (12)0.01 (12)0.01 (12)0.02 (12)0.01 (12)0.01 (12)0.01 (12)
maxclique/MANN_a9.clq.wcnf.gz0.03 (29)0.01 (29)0.01 (29)0.1 (29)0.01 (29)0.01 (29)0.09 (29)0.02 (29)0.01 (29)0.02 (29)0.01 (29)0.01 (29)0.02 (29)0.01 (29)0.02 (29)
maxclique/sanr400_0.7.clq.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxclique/c-fat500-1.clq.wcnf.gz102.06 (486)4.45 (486)0.48 (486)1.62 (486)17.37 (486)107.97 (486)1.61 (486)0.66 (486)17.27 (486)64.78 (486)77.24 (486)0.64 (486)0.86 (486)2465.38 (486)3443.81 (486)
maxclique/san200_0.9_3.clq.wcnf.gz2.74 (156)0.01 (156)2.72 (156)7.88 (156)1932.19 (156)0.09 (156)17.4 (156)3600.0 (-)991.73 (156)0.07 (156)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxclique/brock200_4.clq.wcnf.gz158.17 (183)78.6 (183)138.15 (183)99.22 (183)601.37 (183)254.99 (183)126.11 (183)901.28 (183)356.03 (183)102.22 (183)3600.0 (-)1125.3 (183)517.83 (183)3600.0 (-)3600.0 (-)
maxclique/san200_0.7_2.clq.wcnf.gz0.03 (182)0.02 (182)0.04 (182)0.19 (182)15.81 (182)0.18 (182)0.2 (182)1418.48 (182)5.19 (182)0.14 (182)1211.19 (182)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxclique/p_hat300-2.clq.wcnf.gz117.65 (275)22.68 (275)12.93 (275)11.53 (275)391.87 (275)388.24 (275)12.04 (275)923.28 (275)591.93 (275)589.01 (275)1639.0 (275)372.69 (275)973.07 (275)3600.0 (-)3600.0 (-)
maxclique/c-fat500-10.clq.wcnf.gz1.42 (374)0.42 (374)0.29 (374)1.65 (374)10.84 (374)20.24 (374)1.66 (374)0.22 (374)11.14 (374)15.94 (374)2.01 (374)0.27 (374)1.31 (374)3.63 (374)23.39 (374)
maxclique/brock800_2.clq.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxclique/san400_0.7_1.clq.wcnf.gz0.23 (360)0.12 (360)9.1 (360)5.21 (360)409.05 (360)0.99 (360)4.12 (360)3600.0 (-)120.86 (360)0.68 (360)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxclique/c-fat200-5.clq.wcnf.gz7.98 (142)0.06 (142)0.04 (142)0.31 (142)0.35 (142)0.74 (142)0.31 (142)0.03 (142)0.36 (142)0.58 (142)0.17 (142)0.04 (142)0.07 (142)0.2 (142)0.54 (142)
optic/gen_alldiff_ladder_5_991.wcnf.gz2.56 (50)0.79 (50)3.1 (50)6.29 (50)7.1 (50)7.06 (50)6.08 (50)1.87 (50)7.0 (50)7.0 (50)1.87 (50)3600.0 (-)3600.0 (-)2.16 (50)2.03 (50)
optic/gen_mult_4_4_991.wcnf.gz11.14 (85)74.29 (85)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)197.03 (85)1527.78 (85)
optic/gen_add_6_399.wcnf.gz121.24 (1324)11.33 (1324)27.0 (1324)11.68 (1324)3600.0 (-)3600.0 (-)5.99 (1324)2.47 (1324)136.17 (1324)133.32 (1324)4.11 (1324)3600.0 (-)3600.0 (-)57.13 (1324)68.49 (1324)
optic/gen_add_4_carry_991.wcnf.gz208.31 (56)711.49 (56)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2058.92 (56)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)76.78 (56)3600.0 (-)
optic/gen_mult_4_6_991.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optic/gen_mult_3_6_991.wcnf.gz71.68 (47)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optic/gen_cvc-add7to3_991.wcnf.gz5.24 (158)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optic/gen_square_5_991.wcnf.gz76.38 (42)3043.42 (42)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
railway-transport/pesp_18Min.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
railway-transport/d4.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
railway-transport/p15.wcnf.gz63.88 (5)27.01 (5)6.95 (5)15.88 (5)62.64 (5)62.03 (5)8.36 (5)4.28 (5)56.85 (5)57.19 (5)10.16 (5)17.65 (5)10.34 (5)291.85 (5)44.93 (5)
railway-transport/we.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
railway-transport/pesp_5min.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)980.71 (68)1725.15 (68)3600.0 (-)3600.0 (-)
railway-transport/dp43.wcnf.gz58.35 (47)20.34 (47)18.36 (47)48.19 (47)12.2 (47)28.74 (47)47.43 (47)14.48 (47)4.69 (47)5.99 (47)17.26 (47)37.98 (47)20.32 (47)344.25 (47)61.72 (47)
drmx-cryptogen/wolfram72_4.wcnf.gz11.84 (9288)3.61 (9288)7.66 (9288)208.02 (9288)33.35 (9288)3600.0 (-)208.31 (9288)5.05 (9288)18.25 (9288)3600.0 (-)5.02 (9288)3600.0 (-)3600.0 (-)195.56 (9288)57.24 (9288)
drmx-cryptogen/wolfram80_9.wcnf.gz5.77 (11440)10.51 (11440)9.51 (11440)314.3 (11440)45.36 (11440)3600.0 (-)313.35 (11440)9.46 (11440)37.76 (11440)3600.0 (-)9.45 (11440)3600.0 (-)3600.0 (-)163.45 (11440)76.51 (11440)
drmx-cryptogen/threshold128_4.wcnf.gz4.21 (800)20.97 (800)23.73 (800)79.37 (800)163.77 (800)3600.0 (-)78.72 (800)142.71 (800)32.7 (800)3600.0 (-)146.71 (800)3600.0 (-)3600.0 (-)194.44 (800)137.32 (800)
drmx-cryptogen/wolfram80_0.wcnf.gz91.56 (11440)97.17 (11440)47.79 (11440)324.15 (11440)270.15 (11440)3600.0 (-)326.88 (11440)56.16 (11440)34.62 (11440)3600.0 (-)55.94 (11440)3600.0 (-)3600.0 (-)1863.36 (11440)222.53 (11440)
drmx-cryptogen/wolfram72_0.wcnf.gz6.93 (9288)6.15 (9288)5.55 (9288)201.9 (9288)30.72 (9288)3600.0 (-)199.33 (9288)1.27 (9288)14.97 (9288)3600.0 (-)1.26 (9288)3600.0 (-)3600.0 (-)123.16 (9288)60.97 (9288)
drmx-cryptogen/wolfram72_9.wcnf.gz26.61 (9288)6.12 (9288)5.66 (9288)218.46 (9288)43.68 (9288)3600.0 (-)215.4 (9288)13.94 (9288)36.25 (9288)3600.0 (-)13.85 (9288)3600.0 (-)3600.0 (-)394.16 (9288)80.09 (9288)
drmx-cryptogen/geffe128_9.wcnf.gz44.18 (800)14.58 (800)23.2 (800)30.23 (800)80.81 (800)3600.0 (-)30.36 (800)24.29 (800)34.82 (800)3600.0 (-)23.95 (800)3600.0 (-)3600.0 (-)171.28 (800)73.82 (800)
drmx-cryptogen/wolfram80_6.wcnf.gz6.05 (11440)32.4 (11440)6.73 (11440)321.98 (11440)49.06 (11440)3600.0 (-)310.55 (11440)20.74 (11440)34.47 (11440)3600.0 (-)21.4 (11440)3600.0 (-)3600.0 (-)1547.65 (11440)253.43 (11440)
MaximumCommonSub-GraphExtraction/g3_n116e116_n161e163_n197e197.wcnf.gz3600.0 (-)2974.93 (46)3600.0 (-)3600.0 (-)2385.51 (46)1984.78 (46)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MaximumCommonSub-GraphExtraction/g2_n15e13_n22e31.wcnf.gz5.35 (5)144.28 (5)206.44 (5)396.69 (5)225.02 (5)123.65 (5)406.48 (5)3600.0 (-)206.71 (5)370.31 (5)3600.0 (-)568.34 (5)629.16 (5)409.58 (5)3600.0 (-)
MaximumCommonSub-GraphExtraction/g2_n122e140_n368e460.wcnf.gz22.14 (80)3.73 (80)8.52 (80)22.45 (80)9.49 (80)13.58 (80)23.22 (80)7.53 (80)2.75 (80)3.8 (80)9.62 (80)61.78 (80)89.42 (80)3600.0 (-)3600.0 (-)
MaximumCommonSub-GraphExtraction/g3_n57e75_n59e78_n65e72.wcnf.gz26.82 (49)9.79 (49)9.03 (49)6.61 (49)37.31 (49)92.27 (49)44.06 (49)15.95 (49)98.37 (49)77.02 (49)746.55 (49)91.68 (49)213.67 (49)3600.0 (-)3600.0 (-)
MaximumCommonSub-GraphExtraction/g2_n116e116_n197e197.wcnf.gz24.84 (44)6.39 (44)14.79 (44)36.94 (44)33.44 (44)21.57 (44)36.33 (44)12.45 (44)3.38 (44)4.37 (44)12.65 (44)85.64 (44)198.87 (44)3600.0 (-)803.84 (44)
MaximumCommonSub-GraphExtraction/g3_n55e66_n56e66_n89e110.wcnf.gz192.94 (47)26.29 (47)42.62 (47)29.82 (47)42.82 (47)33.63 (47)137.95 (47)30.03 (47)344.45 (47)225.07 (47)328.44 (47)163.82 (47)160.89 (47)3600.0 (-)3600.0 (-)
MaximumCommonSub-GraphExtraction/g2_n45e48_n53e64.wcnf.gz75.61 (34)28.59 (34)22.77 (34)25.09 (34)45.07 (34)34.9 (34)25.63 (34)53.45 (34)110.72 (34)41.43 (34)138.16 (34)95.25 (34)141.11 (34)3600.0 (-)3600.0 (-)
MaximumCommonSub-GraphExtraction/g2_n56e57_n61e85.wcnf.gz129.35 (39)217.19 (39)58.45 (39)259.55 (39)119.67 (39)99.29 (39)273.27 (39)221.51 (39)341.47 (39)198.03 (39)781.33 (39)423.32 (39)290.68 (39)3600.0 (-)3600.0 (-)
bcp/normalized-aim-200-2_0-yes1-2.wcnf.gz0.01 (200)0.02 (200)0.01 (200)0.15 (200)0.02 (200)0.01 (200)0.15 (200)0.01 (200)0.01 (200)0.01 (200)0.01 (200)0.02 (200)0.02 (200)0.5 (200)0.25 (200)
bcp/normalized-par16-5.wcnf.gz0.2 (1015)0.43 (1015)0.54 (1015)1.85 (1015)0.84 (1015)0.62 (1015)1.77 (1015)0.66 (1015)0.19 (1015)0.87 (1015)0.73 (1015)0.28 (1015)0.64 (1015)25.34 (1015)653.0 (1015)
bcp/apex2_Fv21@1.wcnf.gz0.02 (8)0.01 (8)0.01 (8)0.12 (8)0.02 (8)0.02 (8)0.12 (8)0.01 (8)0.01 (8)0.02 (8)0.02 (8)0.01 (8)0.02 (8)0.03 (8)0.01 (8)
bcp/alu4_Fk@0.wcnf.gz0.37 (6)0.16 (6)0.1 (6)0.42 (6)0.22 (6)0.22 (6)0.33 (6)0.09 (6)0.19 (6)0.2 (6)0.07 (6)0.08 (6)0.08 (6)0.49 (6)0.27 (6)
bcp/SU3__simp-genos.haps.32.wcnf.gz0.06 (155)0.01 (155)0.03 (155)0.23 (155)0.04 (155)0.04 (155)0.23 (155)0.02 (155)0.04 (155)0.04 (155)0.02 (155)0.01 (155)0.01 (155)0.11 (155)0.05 (155)
bcp/normalized-fir07_area_partials.wcnf.gz0.02 (33)0.01 (33)0.01 (33)0.1 (33)0.01 (33)0.01 (33)0.1 (33)0.01 (33)0.01 (33)0.01 (33)0.02 (33)0.01 (33)0.01 (33)0.01 (33)0.01 (33)
bcp/SU1__simp-genos.haps.71.wcnf.gz0.46 (93)0.11 (93)0.19 (93)0.83 (93)0.77 (93)0.84 (93)0.83 (93)0.18 (93)0.77 (93)0.8 (93)0.14 (93)0.17 (93)0.11 (93)1.21 (93)0.5 (93)
HaplotypeAssembly/splitedReads_0.matrix.wcnf.gz3600.0 (-)1032.65 (1500)1090.04 (1500)183.56 (1500)3600.0 (-)3600.0 (-)691.41 (1500)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
HaplotypeAssembly/splitedReads_160.matrix.wcnf.gz11.71 (186)7.73 (186)2.63 (186)5.6 (186)0.86 (186)2.55 (186)2.95 (186)2.08 (186)0.6 (186)1.92 (186)1.91 (186)53.91 (186)10.08 (186)1.64 (186)0.63 (186)
HaplotypeAssembly/splitedReads_18.matrix.wcnf.gz7.85 (138)3.95 (138)1.55 (138)2.93 (138)1.14 (138)1.2 (138)1.72 (138)1.05 (138)1.01 (138)0.99 (138)1.15 (138)47.66 (138)8.75 (138)0.81 (138)0.32 (138)
HaplotypeAssembly/splitedReads_414.matrix.wcnf.gz11.89 (171)5.46 (171)1.91 (171)3.85 (171)1.61 (171)1.62 (171)2.1 (171)1.64 (171)1.5 (171)1.49 (171)1.47 (171)43.59 (171)10.12 (171)1.05 (171)0.39 (171)
HaplotypeAssembly/splitedReads_137.matrix.wcnf.gz2.02 (90)2.6 (90)0.93 (90)1.99 (90)0.79 (90)0.82 (90)1.23 (90)0.66 (90)0.66 (90)0.66 (90)0.63 (90)23.2 (90)5.76 (90)0.44 (90)0.19 (90)
HaplotypeAssembly/splitedReads_158.matrix.wcnf.gz10.8 (173)6.69 (173)2.19 (173)4.69 (173)0.73 (173)4.65 (173)2.41 (173)1.65 (173)0.52 (173)2.08 (173)1.69 (173)46.77 (173)12.38 (173)1.31 (173)0.52 (173)
hs-timetabling/GreeceWesternGreeceUniversityInstance4.xml.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
CircuitTraceCompaction/mrisc_mem2wire.wcnf.gz81.16 (5)109.49 (5)22.05 (5)101.56 (5)94.62 (5)81.99 (5)95.94 (5)25.85 (5)65.27 (5)66.27 (5)19.74 (5)56.91 (5)56.06 (5)462.97 (5)125.9 (5)
CircuitTraceCompaction/spi.wcnf.gz5.47 (46)13.34 (46)7.94 (46)11.27 (46)14.1 (46)13.43 (46)17.98 (46)2.49 (46)12.54 (46)10.77 (46)2.75 (46)3.4 (46)3.65 (46)450.3 (46)240.73 (46)
CircuitTraceCompaction/ctrl.wcnf.gz0.52 (15)0.47 (15)0.14 (15)0.83 (15)0.44 (15)0.42 (15)0.8 (15)0.1 (15)0.3 (15)0.29 (15)0.16 (15)0.14 (15)0.13 (15)31.35 (15)57.34 (15)
CircuitTraceCompaction/sudoku.wcnf.gz24.07 (13)40.97 (13)6.49 (13)56.66 (13)9.31 (13)8.17 (13)36.53 (13)4.15 (13)11.73 (13)9.36 (13)3.76 (13)3.14 (13)6.32 (13)49.99 (13)70.17 (13)