BenchmarkUWrMaxSatMaxHSRC2-BRC2-AmaxinoPacoseQMaxSATmaxino-prefsmax-minisatsmax-mergesat
mpe/random-net-80-1_network-6.net.wcnf.gz0.62 (82845)0.23 (82845)5.97 (82845)15.17 (82845)736.97 (82845)39.39 (82845)16.83 (82845)3600.0 (-)3600.0 (-)3600.0 (-)
mpe/random-net-280-1_network-1.net.wcnf.gz3600.0 (-)11.48 (257974)37.38 (257974)186.71 (257974)3600.0 (-)3600.0 (-)1484.67 (257974)204.59 (257974)3600.0 (-)3600.0 (-)
mpe/random-net-220-1_network-6.net.wcnf.gz3.94 (197967)6.11 (197967)18.74 (197967)87.92 (197967)92.44 (197967)737.14 (197967)1538.88 (197967)3600.0 (-)3600.0 (-)3600.0 (-)
mpe/random-net-40-2_network-8.net.wcnf.gz3600.0 (-)32.15 (38289)46.09 (38289)71.0 (38289)3600.0 (-)17.8 (38289)8.35 (38289)3600.0 (-)11.87 (38289)163.53 (38289)
mpe/random-net-240-1_network-7.net.wcnf.gz4.99 (219252)6.73 (219252)28.15 (219252)386.42 (219252)3600.0 (-)171.94 (219252)282.25 (219252)3600.0 (-)3600.0 (-)3600.0 (-)
mpe/random-net-50-5_network-5.net.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1116.76 (44339)1524.23 (44339)3600.0 (-)3600.0 (-)3600.0 (-)
mpe/random-net-60-3_network-2.net.wcnf.gz3600.0 (-)217.05 (44345)432.87 (44345)156.69 (44345)3600.0 (-)3600.0 (-)94.34 (44345)3600.0 (-)3600.0 (-)3600.0 (-)
mpe/random-net-20-5_network-3.net.wcnf.gz3600.0 (-)549.08 (19569)3600.0 (-)3600.0 (-)2993.9 (19569)29.95 (19569)33.13 (19569)3600.0 (-)3600.0 (-)3600.0 (-)
mpe/random-net-20-6_network-2.net.wcnf.gz7.41 (20750)0.91 (20750)1.76 (20750)31.4 (20750)15.66 (20750)4.32 (20750)2.57 (20750)269.72 (20750)0.82 (20750)0.73 (20750)
mpe/random-net-140-1_network-1.net.wcnf.gz2.22 (138130)0.76 (138130)16.21 (138130)337.18 (138130)3600.0 (-)615.08 (138130)336.44 (138130)3600.0 (-)3600.0 (-)3600.0 (-)
mpe/random-net-50-4_network-5.net.wcnf.gz3600.0 (-)1056.61 (40256)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)49.48 (40256)3600.0 (-)3600.0 (-)3600.0 (-)
mpe/random-net-220-1_network-4.net.wcnf.gz3.61 (192973)5.86 (192973)27.39 (192973)82.91 (192973)3600.0 (-)3600.0 (-)190.45 (192973)3600.0 (-)3600.0 (-)3600.0 (-)
mpe/random-net-20-6_network-4.net.wcnf.gz1.49 (18966)3.76 (18966)37.29 (18966)10.3 (18966)18.33 (18966)7.02 (18966)2.82 (18966)16.33 (18966)21.4 (18966)69.48 (18966)
lisbon-wedding/lisbon-wedding-1-17.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
lisbon-wedding/lisbon-wedding-8-19.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
lisbon-wedding/lisbon-wedding-4-17.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
lisbon-wedding/lisbon-wedding-3-17.wcnf.gz79.52 (1035)907.69 (1035)143.63 (1035)81.32 (1035)215.64 (1035)3600.0 (-)3600.0 (-)3307.51 (1035)3600.0 (-)3600.0 (-)
lisbon-wedding/lisbon-wedding-10-17.wcnf.gz34.85 (377)3600.0 (-)170.78 (377)122.23 (377)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)980.01 (377)2175.5 (377)
lisbon-wedding/lisbon-wedding-7-19.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
lisbon-wedding/lisbon-wedding-7-18.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
lisbon-wedding/lisbon-wedding-2-19.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
lisbon-wedding/lisbon-wedding-6-17.wcnf.gz15.66 (802)290.12 (802)14.08 (802)50.11 (802)86.86 (802)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
lisbon-wedding/lisbon-wedding-3-19.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
lisbon-wedding/lisbon-wedding-2-17.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
lisbon-wedding/lisbon-wedding-6-19.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
lisbon-wedding/lisbon-wedding-10-18.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-width/MinWidthCB_mitdbsample_300_64_1k_15s_2t_15.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-width/MinWidthCB_mitdbsample_100_43_1k_2s_2t_4.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-width/MinWidthCB_milan_100_12_1k_2s_1t_4.wcnf.gz0.29 (101098)0.51 (101098)0.53 (101098)0.33 (101098)7.49 (101098)2.17 (101098)0.96 (101098)13.71 (101098)128.99 (101098)234.09 (101098)
min-width/MinWidthCB_mitdbsample_300_64_1k_6s_2t_6.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-width/MinWidthCB_mitdbsample_200_32_1k_10s_2t_12.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-width/MinWidthCB_mitdbsample_300_43_1k_6s_2t_8.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-width/MinWidthCB_mitdbsample_100_64_1k_5s_3t_5.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)238.03 (49880)235.94 (49880)3600.0 (-)3600.0 (-)3600.0 (-)
min-width/MinWidthCB_mitdbsample_200_64_1k_2s_2t_2.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)81.4 (75350)84.18 (75350)3600.0 (-)3600.0 (-)3600.0 (-)
min-width/MinWidthCB_mitdbsample_200_32_1k_10s_2t_10.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2107.04 (24590)3565.18 (24590)3600.0 (-)3600.0 (-)3600.0 (-)
min-width/MinWidthCB_mitdbsample_100_64_1k_1s_2t_1.wcnf.gz10.69 (71660)3600.0 (-)13.49 (71660)38.19 (71660)3600.0 (-)2.16 (71660)1.77 (71660)3600.0 (-)3600.0 (-)3600.0 (-)
min-width/MinWidthCB_power_200_24_1k_4s_2t_4.wcnf.gz0.64 (73549)20.8 (73549)3.52 (73549)3.91 (73549)0.37 (73549)7.57 (73549)2.93 (73549)0.45 (73549)9.56 (73549)14.1 (73549)
min-width/MinWidthCB_power_200_24_1k_10s_2t_10.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-width/MinWidthCB_power_600_24_1k_30s_2t_30.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-width/MinWidthCB_milan_200_12_1k_4s_1t_4.wcnf.gz0.19 (108863)0.19 (108863)0.46 (108863)0.21 (108863)0.07 (108863)1.26 (108863)0.61 (108863)0.07 (108863)0.5 (108863)0.66 (108863)
min-width/MinWidthCB_mitdbsample_300_64_1k_3s_3t_3.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-width/MinWidthCB_power_600_24_1k_30s_1t_32.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-width/MinWidthCB_power_200_24_1k_2s_2t_4.wcnf.gz0.61 (74530)17.15 (74530)3.55 (74530)9.79 (74530)0.43 (74530)9.14 (74530)2.88 (74530)0.43 (74530)15.61 (74530)22.6 (74530)
min-width/MinWidthCB_mitdbsample_200_64_1k_2s_3t_2.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)124.71 (73730)165.95 (73730)3600.0 (-)3600.0 (-)3600.0 (-)
shiftdesign/limits-10-10_data-1_inst-048_60m.sm-extracted.wcnf.gz37.71 (1592498)83.62 (1592498)35.01 (1592498)31.77 (1592498)6.26 (1592498)4.7 (1592498)14.48 (1592498)6.26 (1592498)247.33 (1592498)564.56 (1592498)
shiftdesign/limits-10-10_data-1_inst-031_60m.sm-extracted.wcnf.gz4.39 (326)1.19 (326)9.72 (326)9.76 (326)1.67 (326)0.66 (326)2.46 (326)1.66 (326)47.15 (326)93.06 (326)
shiftdesign/limits-10-10_data-3_inst-003_30m.sm-extracted.wcnf.gz279.14 (24657583)3600.0 (-)731.45 (24657583)369.32 (24657583)848.19 (24657583)156.29 (24657583)313.94 (24657583)1152.14 (24657583)3600.0 (-)3600.0 (-)
shiftdesign/limits-10-10_data-1_inst-102_30m.sm-extracted.wcnf.gz415.01 (16836508)3600.0 (-)427.37 (16836508)264.69 (16836508)444.69 (16836508)102.21 (16836508)327.52 (16836508)766.39 (16836508)3600.0 (-)3600.0 (-)
shiftdesign/limits-10-10_data-1_inst-018_60m.sm-extracted.wcnf.gz93.56 (4638351)718.7 (4638351)77.87 (4638351)63.67 (4638351)12.88 (4638351)13.73 (4638351)44.69 (4638351)12.8 (4638351)1169.0 (4638351)2191.74 (4638351)
shiftdesign/limits-10-10_data-2_inst-025_30m.sm-extracted.wcnf.gz761.17 (42366243)3600.0 (-)1657.0 (42366243)557.1 (42366243)1089.48 (42366243)779.22 (42366243)3600.0 (-)890.92 (42366243)3600.0 (-)3600.0 (-)
shiftdesign/limits-10-10_data-3_inst-028_60m.sm-extracted.wcnf.gz130.54 (7231899)971.93 (7231899)226.93 (7231899)172.51 (7231899)202.57 (7231899)72.69 (7231899)247.9 (7231899)478.33 (7231899)3600.0 (-)3600.0 (-)
scSequencing/simNo_8-s_5-m_100-n_500-fp_0.01-fn_0.05.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
scSequencing/simNo_5-s_15-m_100-n_500-fp_0.0001-fn_0.05.wcnf.gz253.69 (333774338659545)3600.0 (-)330.91 (333774338659545)184.56 (333774338659545)122.5 (333774338659545)3600.0 (-)3600.0 (-)108.55 (333774338659545)206.36 (333774338659545)3600.0 (-)
scSequencing/simNo_2-s_15-m_100-n_50-fp_0.01-fn_0.05.wcnf.gz6.82 (38597433144828)6.95 (38597433144828)14.44 (38597433144828)11.38 (38597433144828)3.8 (38597433144828)3600.0 (-)749.54 (38597433144828)4.06 (38597433144828)4.02 (38597433144828)3600.0 (-)
scSequencing/simNo_8-s_5-m_300-n_300-fp_0.0001-fn_0.05.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
scSequencing/simNo_6-s_5-m_50-n_50-fp_0.01-fn_0.05.wcnf.gz2.03 (57655991585355)3.8 (57655991585355)3.99 (57655991585355)3.02 (57655991585355)1.72 (57655991585355)3600.0 (-)2330.21 (57655991585355)1.58 (57655991585355)1.43 (57655991585355)3600.0 (-)
scSequencing/simNo_1-s_5-m_300-n_300-fp_0.01-fn_0.05.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
scSequencing/simNo_2-s_5-m_100-n_500-fp_0.0001-fn_0.05.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
scSequencing/simNo_3-s_5-m_50-n_50-fp_0.0001-fn_0.20.wcnf.gz1.93 (42910029249417)8.29 (42910029249417)4.17 (42910029249417)3.04 (42910029249417)1.4 (42910029249417)3600.0 (-)411.28 (42910029249417)1.37 (42910029249417)1.5 (42910029249417)3600.0 (-)
scSequencing/simNo_1-s_15-m_100-n_50-fp_0.01-fn_0.05.wcnf.gz8.11 (57332409080092)9.37 (57332409080092)17.39 (57332409080092)11.73 (57332409080092)5.14 (57332409080092)3600.0 (-)3600.0 (-)5.89 (57332409080092)5.52 (57332409080092)3600.0 (-)
scSequencing/simNo_10-s_5-m_100-n_100-fp_0.0001-fn_0.05.wcnf.gz22.2 (83990179051206)3600.0 (-)39.14 (83990179051206)25.06 (83990179051206)15.04 (83990179051206)3600.0 (-)1721.02 (83990179051206)14.98 (83990179051206)12.57 (83990179051206)3600.0 (-)
scSequencing/simNo_4-s_5-m_50-n_50-fp_0.0001-fn_0.05.wcnf.gz1.14 (11528063791342)1.38 (11528063791342)2.64 (11528063791342)2.56 (11528063791342)0.55 (11528063791342)6.57 (11528063791342)3.36 (11528063791342)0.5 (11528063791342)0.43 (11528063791342)3600.0 (-)
scSequencing/simNo_7-s_15-m_100-n_100-fp_0.0001-fn_0.20.wcnf.gz28.13 (103957287356835)93.17 (103957287356835)48.16 (103957287356835)29.51 (103957287356835)20.06 (103957287356835)3600.0 (-)3600.0 (-)19.04 (103957287356835)25.26 (103957287356835)3600.0 (-)
scSequencing/simNo_10-s_15-m_100-n_500-fp_0.0001-fn_0.20.wcnf.gz461.68 (452620656490446)3600.0 (-)645.64 (452620656490446)287.66 (452620656490446)468.1 (452620656490446)3600.0 (-)3600.0 (-)329.85 (452620656490446)475.25 (452620656490446)3600.0 (-)
scSequencing/simNo_5-s_15-m_100-n_50-fp_0.01-fn_0.05.wcnf.gz9.35 (74608493410008)10.99 (74608493410008)19.89 (74608493410008)12.46 (74608493410008)6.48 (74608493410008)3600.0 (-)3600.0 (-)10.05 (74608493410008)6.77 (74608493410008)3600.0 (-)
scSequencing/simNo_7-s_5-m_300-n_300-fp_0.0001-fn_0.05.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
scSequencing/simNo_6-s_5-m_100-n_50-fp_0.0001-fn_0.20.wcnf.gz13.54 (84492944192151)52.97 (84492944192151)25.03 (84492944192151)14.37 (84492944192151)13.63 (84492944192151)3600.0 (-)3600.0 (-)11.9 (84492944192151)11.36 (84492944192151)3600.0 (-)
scSequencing/simNo_1-s_5-m_100-n_50-fp_0.0001-fn_0.05.wcnf.gz7.98 (60110618340569)9.92 (60110618340569)15.67 (60110618340569)11.62 (60110618340569)4.81 (60110618340569)3172.34 (60110618340569)154.01 (60110618340569)4.55 (60110618340569)5.39 (60110618340569)3600.0 (-)
scSequencing/simNo_10-s_15-m_50-n_50-fp_0.01-fn_0.20.wcnf.gz1.86 (35653287020360)2.38 (35653287020360)4.24 (35653287020360)3.06 (35653287020360)1.19 (35653287020360)3600.0 (-)3600.0 (-)1.44 (35653287020360)456.66 (35653287020360)3600.0 (-)
scSequencing/simNo_9-s_5-m_100-n_100-fp_0.0001-fn_0.05.wcnf.gz29.22 (131749300472480)3600.0 (-)48.87 (131749300472480)27.82 (131749300472480)20.06 (131749300472480)3600.0 (-)1682.94 (131749300472480)20.33 (131749300472480)19.53 (131749300472480)3600.0 (-)
scSequencing/simNo_1-s_5-m_100-n_100-fp_0.01-fn_0.20.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
scSequencing/simNo_10-s_15-m_300-n_300-fp_0.0001-fn_0.20.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
scSequencing/simNo_10-s_5-m_300-n_300-fp_0.0001-fn_0.05.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
scSequencing/simNo_6-s_15-m_50-n_50-fp_0.01-fn_0.05.wcnf.gz1.49 (30697236398943)1.7 (30697236398943)3.42 (30697236398943)2.78 (30697236398943)0.78 (30697236398943)3600.0 (-)41.58 (30697236398943)0.82 (30697236398943)0.86 (30697236398943)3600.0 (-)
scSequencing/simNo_2-s_5-m_100-n_100-fp_0.01-fn_0.20.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
scSequencing/simNo_9-s_5-m_100-n_50-fp_0.01-fn_0.05.wcnf.gz10.62 (74790997808330)37.66 (74790997808330)21.47 (74790997808330)12.75 (74790997808330)9.95 (74790997808330)3600.0 (-)3600.0 (-)14.15 (74790997808330)8.81 (74790997808330)3600.0 (-)
scSequencing/simNo_8-s_5-m_50-n_50-fp_0.01-fn_0.20.wcnf.gz5.58 (66445738847114)25.93 (66445738847114)19.56 (66445738847114)22.31 (66445738847114)1987.22 (66445738847114)3600.0 (-)3600.0 (-)2790.08 (66445738847114)3600.0 (-)3600.0 (-)
scSequencing/simNo_8-s_15-m_100-n_500-fp_0.0001-fn_0.20.wcnf.gz449.29 (425894523594777)3600.0 (-)606.22 (425894523594777)278.33 (425894523594777)485.91 (425894523594777)3600.0 (-)3600.0 (-)447.26 (425894523594777)576.21 (425894523594777)3600.0 (-)
scSequencing/simNo_9-s_15-m_100-n_100-fp_0.0001-fn_0.20.wcnf.gz29.2 (107496258841323)62.51 (107496258841323)49.07 (107496258841323)29.25 (107496258841323)21.63 (107496258841323)3600.0 (-)3600.0 (-)20.78 (107496258841323)25.84 (107496258841323)3600.0 (-)
scSequencing/simNo_3-s_5-m_300-n_300-fp_0.0001-fn_0.05.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
scSequencing/simNo_3-s_15-m_100-n_500-fp_0.01-fn_0.05.wcnf.gz566.12 (726537087988766)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
security-witness/RSN_Security_Min_Witness-Shortest-MBIST_100cores_20controllers_5memories_na-D6.wcnf.gz20.72 (98635)16.02 (98635)82.13 (98635)80.84 (98635)46.83 (98635)5.16 (98635)71.17 (98635)46.62 (98635)12.7 (98635)3600.0 (-)
security-witness/RSN_Security_Min_Witness-Shortest-FlexScan-D0.wcnf.gz3.25 (42433)4.12 (42433)52.16 (42433)52.21 (42433)1.49 (42433)142.85 (42433)55.97 (42433)1.5 (42433)84.08 (42433)59.21 (42433)
security-witness/RSN_Security_Min_Witness-Shortest-MBIST_100cores_100controllers_5memories_na-D6.wcnf.gz112.0 (241318)43.05 (241318)90.97 (241318)91.1 (241318)181.55 (241318)19.62 (241318)3600.0 (-)182.96 (241318)31.11 (241318)3600.0 (-)
security-witness/RSN_Security_Min_Witness-Shortest-MBIST_100cores_100controllers_5memories_na-DF.wcnf.gz111.97 (241318)42.82 (241318)91.14 (241318)90.94 (241318)181.76 (241318)19.66 (241318)3600.0 (-)182.98 (241318)31.0 (241318)3600.0 (-)
security-witness/RSN_Security_Min_Witness-Shortest-MBIST_100cores_20controllers_5memories_na-D7.wcnf.gz20.7 (98635)16.0 (98635)124.24 (98635)132.17 (98635)43.18 (98635)5.19 (98635)119.8 (98635)43.16 (98635)12.94 (98635)3600.0 (-)
security-witness/RSN_Security_Min_Witness-Shortest-FlexScan-DA.wcnf.gz3.26 (42433)4.19 (42433)48.93 (42433)48.83 (42433)1.5 (42433)147.8 (42433)46.69 (42433)1.51 (42433)91.1 (42433)59.73 (42433)
security-witness/RSN_Security_Min_Witness-Shortest-MBIST_100cores_100controllers_5memories_na-D5.wcnf.gz168.37 (482635)98.62 (482635)2052.29 (482635)2346.75 (482635)2203.28 (482635)42.56 (482635)2346.38 (482635)2165.95 (482635)67.17 (482635)132.4 (482635)
security-witness/RSN_Security_Min_Witness-Shortest-MBIST_100cores_20controllers_5memories_na-DE.wcnf.gz20.51 (98635)15.78 (98635)130.07 (98635)129.0 (98635)44.21 (98635)5.48 (98635)107.77 (98635)44.37 (98635)13.76 (98635)3600.0 (-)
security-witness/RSN_Security_Min_Witness-Shortest-FlexScan-D3.wcnf.gz3.24 (42433)4.14 (42433)50.38 (42433)50.25 (42433)1.53 (42433)149.56 (42433)76.41 (42433)1.49 (42433)74.43 (42433)59.21 (42433)
security-witness/RSN_Security_Min_Witness-Shortest-MBIST_100cores_20controllers_5memories_na-DD.wcnf.gz9.02 (49318)5.51 (49318)17.44 (49318)17.62 (49318)9.85 (49318)2.34 (49318)5.89 (49318)9.85 (49318)4.19 (49318)6.29 (49318)
security-witness/RSN_Security_Min_Witness-Shortest-FlexScan-D2.wcnf.gz3.26 (42433)4.13 (42433)52.12 (42433)52.6 (42433)1.49 (42433)143.22 (42433)51.63 (42433)1.5 (42433)88.14 (42433)59.19 (42433)
security-witness/RSN_Security_Min_Witness-Shortest-MBIST_100cores_100controllers_5memories_na-D4.wcnf.gz168.36 (482635)102.47 (482635)2303.34 (482635)2691.08 (482635)2306.99 (482635)44.15 (482635)1803.68 (482635)2332.36 (482635)100.82 (482635)133.67 (482635)
security-witness/RSN_Security_Min_Witness-Shortest-MBIST_5cores_100controllers_100memories_na-DC.wcnf.gz60.11 (309165)30.61 (309165)109.33 (309165)110.1 (309165)80.12 (309165)17.04 (309165)3600.0 (-)80.14 (309165)42.22 (309165)3600.0 (-)
security-witness/RSN_Security_Min_Witness-Shortest-MBIST_100cores_100controllers_5memories_na-DD.wcnf.gz112.4 (241318)42.85 (241318)91.11 (241318)92.09 (241318)182.73 (241318)19.49 (241318)3600.0 (-)182.91 (241318)30.64 (241318)3600.0 (-)
security-witness/RSN_Security_Min_Witness-Shortest-MBIST_100cores_100controllers_5memories_na-DA.wcnf.gz168.05 (24)105.35 (24)1143.0 (24)1128.37 (24)1374.75 (24)127.3 (24)2424.15 (24)1373.19 (24)106.31 (24)140.74 (24)
security-witness/RSN_Security_Min_Witness-Shortest-MBIST_100cores_20controllers_5memories_na-DA.wcnf.gz20.24 (24)17.37 (24)78.06 (24)78.35 (24)16.03 (24)10.63 (24)98.84 (24)16.1 (24)12.75 (24)3600.0 (-)
security-witness/RSN_Security_Min_Witness-Shortest-FlexScan-D7.wcnf.gz3.24 (42433)4.12 (42433)51.02 (42433)51.16 (42433)1.49 (42433)84.76 (42433)27.87 (42433)1.5 (42433)76.65 (42433)57.73 (42433)
security-witness/RSN_Security_Min_Witness-Shortest-MBIST_100cores_100controllers_5memories_na-D8.wcnf.gz166.86 (482635)101.66 (482635)2653.41 (482635)2711.04 (482635)2135.99 (482635)44.2 (482635)2198.99 (482635)2168.97 (482635)105.34 (482635)161.95 (482635)
security-witness/RSN_Security_Min_Witness-Shortest-MBIST_100cores_20controllers_5memories_na-D1.wcnf.gz20.63 (98635)15.92 (98635)112.49 (98635)125.78 (98635)48.38 (98635)5.19 (98635)107.18 (98635)48.29 (98635)12.58 (98635)3600.0 (-)
security-witness/RSN_Security_Min_Witness-Shortest-FlexScan-D6.wcnf.gz3.23 (42433)4.1 (42433)51.54 (42433)51.23 (42433)1.48 (42433)84.1 (42433)46.86 (42433)1.48 (42433)90.14 (42433)127.2 (42433)
security-witness/RSN_Security_Min_Witness-Shortest-FlexScan-DF.wcnf.gz3.22 (42433)4.13 (42433)51.31 (42433)51.3 (42433)1.49 (42433)45.87 (42433)28.2 (42433)1.48 (42433)85.68 (42433)58.73 (42433)
security-witness/RSN_Security_Min_Witness-Shortest-MBIST_100cores_20controllers_5memories_na-D9.wcnf.gz9.11 (49318)5.48 (49318)17.58 (49318)17.45 (49318)9.83 (49318)2.34 (49318)5.9 (49318)9.84 (49318)4.21 (49318)6.28 (49318)
security-witness/RSN_Security_Min_Witness-Shortest-FlexScan-D4.wcnf.gz3.24 (42433)4.1 (42433)52.19 (42433)51.96 (42433)1.49 (42433)103.51 (42433)49.22 (42433)1.54 (42433)78.61 (42433)58.79 (42433)
security-witness/RSN_Security_Min_Witness-Shortest-MBIST_100cores_20controllers_5memories_na-D2.wcnf.gz20.48 (98635)15.96 (98635)125.09 (98635)118.54 (98635)47.96 (98635)5.18 (98635)101.99 (98635)48.46 (98635)12.93 (98635)3600.0 (-)
security-witness/RSN_Security_Min_Witness-Shortest-FlexScan-DD.wcnf.gz3.24 (42433)4.11 (42433)52.04 (42433)51.95 (42433)1.48 (42433)40.97 (42433)43.01 (42433)1.53 (42433)75.31 (42433)58.2 (42433)
security-witness/RSN_Security_Min_Witness-Shortest-MBIST_100cores_100controllers_5memories_na-D2.wcnf.gz168.07 (482635)101.82 (482635)2300.01 (482635)2494.45 (482635)1898.04 (482635)44.43 (482635)2147.59 (482635)1968.88 (482635)105.03 (482635)159.97 (482635)
security-witness/RSN_Security_Min_Witness-Shortest-MBIST_100cores_100controllers_5memories_na-DC.wcnf.gz169.19 (482635)100.86 (482635)2566.34 (482635)2468.19 (482635)1860.33 (482635)41.34 (482635)2089.43 (482635)1872.01 (482635)69.91 (482635)128.74 (482635)
security-witness/RSN_Security_Min_Witness-Shortest-MBIST_100cores_100controllers_5memories_na-D3.wcnf.gz112.05 (241318)42.88 (241318)92.0 (241318)91.08 (241318)183.31 (241318)19.6 (241318)3600.0 (-)181.87 (241318)30.77 (241318)3600.0 (-)
security-witness/RSN_Security_Min_Witness-Shortest-MBIST_100cores_20controllers_5memories_na-D3.wcnf.gz20.5 (98635)15.91 (98635)119.93 (98635)117.61 (98635)49.4 (98635)5.31 (98635)107.78 (98635)49.47 (98635)12.79 (98635)3600.0 (-)
security-witness/RSN_Security_Min_Witness-Shortest-FlexScan-DE.wcnf.gz3.27 (42433)4.15 (42433)49.78 (42433)49.77 (42433)1.47 (42433)82.47 (42433)38.28 (42433)1.5 (42433)87.85 (42433)57.35 (42433)
dalculus/f1-DataDisplay_0_order4.seq-B-2-combined-EDCBAir.wcnf.gz0.03 (5876811)0.26 (5876811)0.13 (5876811)0.12 (5876811)0.02 (5876811)0.02 (5876811)0.08 (5876811)0.01 (5876811)0.02 (5876811)0.04 (5876811)
dalculus/f49-DC_TotalLoss.seq-B-2-2-irabcde.wcnf.gz0.2 (14734224771)0.87 (14734224771)0.71 (14734224771)0.51 (14734224771)0.07 (14734224771)3600.0 (-)3600.0 (-)0.07 (14734224771)0.19 (14734224771)3600.0 (-)
dalculus/f49-DC_TotalLoss.seq-A-3-2-abcdeir.wcnf.gz0.4 (2109343556)0.56 (2109343556)1.05 (2109343556)0.98 (2109343556)0.18 (2109343556)0.55 (2109343556)11.06 (2109343556)0.19 (2109343556)1.46 (2109343556)3600.0 (-)
dalculus/f49-DC_TotalLoss.seq-A-2-2-EDCBAir.wcnf.gz0.32 (85435860665)114.45 (85435860665)0.58 (85435860665)0.51 (85435860665)0.06 (85435860665)0.19 (85435860665)3.67 (85435860665)0.06 (85435860665)7.35 (85435860665)3600.0 (-)
dalculus/f49-DC_TotalLoss.seq-B-3-1-irEDCBA.wcnf.gz0.48 (87221947078)3.23 (87221947078)1.33 (87221947078)1.08 (87221947078)0.13 (87221947078)0.66 (87221947078)9.82 (87221947078)0.16 (87221947078)5.64 (87221947078)3600.0 (-)
dalculus/f1-DataDisplay_0_order4.seq-B-3-combined-EDCBAir.wcnf.gz0.01 (6029693)0.03 (6029693)0.12 (6029693)0.12 (6029693)0.02 (6029693)0.01 (6029693)0.04 (6029693)0.01 (6029693)0.02 (6029693)0.05 (6029693)
dalculus/f1-DataDisplay_0_order4.seq-A-3-2-irEDCBA.wcnf.gz0.02 (5986728)0.02 (5986728)0.12 (5986728)0.12 (5986728)0.01 (5986728)0.02 (5986728)0.03 (5986728)0.02 (5986728)0.02 (5986728)0.03 (5986728)
dalculus/f1-DataDisplay_0_order4.seq-B-3-2-abcdeir.wcnf.gz0.01 (328661)0.02 (328661)0.12 (328661)0.12 (328661)0.01 (328661)0.01 (328661)0.02 (328661)0.01 (328661)0.01 (328661)0.02 (328661)
dalculus/f1-DataDisplay_0_order4.seq-B-2-combined-irEDCBA.wcnf.gz0.02 (2271302)0.25 (2271302)0.13 (2271302)0.12 (2271302)0.01 (2271302)0.03 (2271302)0.35 (2271302)0.01 (2271302)0.02 (2271302)0.03 (2271302)
dalculus/f49-DC_TotalLoss.seq-B-3-combined-irEDCBA.wcnf.gz0.72 (87221947078)2.23 (87221947078)1.57 (87221947078)1.33 (87221947078)0.22 (87221947078)0.7 (87221947078)15.2 (87221947078)0.21 (87221947078)6.62 (87221947078)3600.0 (-)
dalculus/f49-DC_TotalLoss.seq-A-3-1-EDCBAir.wcnf.gz0.51 (119565855313)1.25 (119565855313)1.3 (119565855313)1.17 (119565855313)0.16 (119565855313)0.74 (119565855313)16.77 (119565855313)0.17 (119565855313)2.47 (119565855313)3600.0 (-)
dalculus/f49-DC_TotalLoss.seq-A-2-1-EDCBAir.wcnf.gz0.38 (85417548780)252.54 (85417548780)1.0 (85417548780)0.66 (85417548780)0.11 (85417548780)1641.32 (85417548780)3600.0 (-)0.11 (85417548780)1.81 (85417548780)3600.0 (-)
ramsey/ram_k3_n20.ra1.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey/ram_k3_n12.ra1.wcnf.gz155.5 (524)3600.0 (-)3600.0 (-)3600.0 (-)1659.03 (524)194.4 (524)1632.42 (524)3600.0 (-)1272.59 (524)2255.5 (524)
ramsey/ram_k3_n17.ra1.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey/ram_k4_n20.ra1.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey/ram_k3_n14.ra1.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey/ram_k4_n18.ra1.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey/ram_k3_n18.ra1.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey/ram_k3_n11.ra1.wcnf.gz42.29 (318)632.77 (318)3600.0 (-)3600.0 (-)170.21 (318)44.68 (318)32.83 (318)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey/ram_k3_n16.ra1.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey/ram_k3_n9.ra1.wcnf.gz0.12 (7)0.15 (7)0.24 (7)0.24 (7)0.1 (7)0.34 (7)0.19 (7)0.11 (7)0.59 (7)1.18 (7)
ramsey/ram_k3_n13.ra1.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey/ram_k3_n10.ra1.wcnf.gz17.35 (232)45.38 (232)608.67 (232)415.25 (232)14.28 (232)8.12 (232)4.43 (232)36.74 (232)68.34 (232)270.25 (232)
ramsey/ram_k3_n19.ra1.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey/ram_k4_n19.ra1.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey/ram_k3_n15.ra1.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
timetabling/comp13.wcnf.gz15.32 (59)663.28 (59)22.56 (59)13.81 (59)15.22 (59)39.99 (59)55.44 (59)19.18 (59)32.26 (59)244.19 (59)
timetabling/comp02.wcnf.gz2365.01 (24)2837.61 (24)3600.0 (-)3600.0 (-)3600.0 (-)650.59 (24)1437.9 (24)3600.0 (-)3600.0 (-)3600.0 (-)
timetabling/test2.lp.sm-extracted.wcnf.gz8.45 (8)76.51 (8)127.51 (8)200.87 (8)59.1 (8)525.52 (8)804.37 (8)54.12 (8)73.32 (8)618.24 (8)
timetabling/test3.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
timetabling/EA01.lp.sm-extracted.wcnf.gz99.78 (55)169.64 (55)645.05 (55)521.14 (55)295.26 (55)462.72 (55)199.94 (55)293.45 (55)579.41 (55)2904.55 (55)
timetabling/comp13.lp.sm-extracted.wcnf.gz44.47 (31)1038.84 (31)332.4 (31)212.34 (31)328.63 (31)356.19 (31)533.28 (31)1081.38 (31)601.64 (31)1190.33 (31)
timetabling/EA09.lp.sm-extracted.wcnf.gz140.77 (2)115.83 (2)756.08 (2)747.77 (2)338.3 (2)444.24 (2)169.33 (2)955.82 (2)723.11 (2)1534.21 (2)
timetabling/comp17.wcnf.gz122.56 (56)2308.54 (56)103.45 (56)249.02 (56)223.71 (56)621.86 (56)1777.64 (56)1247.81 (56)1626.08 (56)1527.84 (56)
timetabling/comp21.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
af-synthesis/af-synthesis_stb_50_140_3.wcnf.gz294.87 (96)3167.93 (96)2979.53 (96)1228.99 (96)2666.87 (96)227.57 (96)463.86 (96)3600.0 (-)3600.0 (-)3600.0 (-)
af-synthesis/af-synthesis_stb_50_100_4.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1165.98 (123)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
af-synthesis/af-synthesis_stb_50_80_7.wcnf.gz932.2 (115)3600.0 (-)3453.25 (115)2006.57 (115)3600.0 (-)768.54 (115)1252.85 (115)3600.0 (-)3600.0 (-)3600.0 (-)
af-synthesis/af-synthesis_stb_50_40_9.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)998.86 (132)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
af-synthesis/af-synthesis_stb_50_120_4.wcnf.gz1061.78 (117)3600.0 (-)2273.29 (117)1815.41 (117)3600.0 (-)647.92 (117)1576.26 (117)3600.0 (-)3600.0 (-)3600.0 (-)
af-synthesis/af-synthesis_stb_50_40_2.wcnf.gz456.92 (97)3600.0 (-)921.75 (97)3101.0 (97)2753.74 (97)226.79 (97)1011.01 (97)3600.0 (-)3600.0 (-)3600.0 (-)
af-synthesis/af-synthesis_stb_50_140_0.wcnf.gz1338.8 (120)3600.0 (-)3482.64 (120)3600.0 (-)3600.0 (-)364.95 (120)1920.96 (120)3600.0 (-)3600.0 (-)3600.0 (-)
af-synthesis/af-synthesis_stb_50_140_1.wcnf.gz1491.55 (127)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1148.13 (127)2811.13 (127)3600.0 (-)3600.0 (-)3600.0 (-)
af-synthesis/af-synthesis_stb_50_200_4.wcnf.gz530.89 (105)2422.48 (105)3600.0 (-)3600.0 (-)3567.93 (105)321.68 (105)1025.86 (105)3600.0 (-)3600.0 (-)3600.0 (-)
af-synthesis/af-synthesis_stb_50_200_0.wcnf.gz955.14 (124)3600.0 (-)2001.4 (124)3600.0 (-)3600.0 (-)365.95 (124)2049.56 (124)3600.0 (-)3600.0 (-)3600.0 (-)
af-synthesis/af-synthesis_stb_50_20_8.wcnf.gz2392.43 (120)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)347.53 (120)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
af-synthesis/af-synthesis_stb_50_100_9.wcnf.gz2006.81 (108)3600.0 (-)2006.83 (108)1697.6 (108)2967.6 (108)690.77 (108)1671.7 (108)3600.0 (-)3600.0 (-)3600.0 (-)
csg_2020/310-66.wcnf.gz41.88 (37616)8.62 (37616)19.66 (37616)13.51 (37616)10.41 (37616)11.83 (37616)5.45 (37616)10.59 (37616)41.7 (37616)73.32 (37616)
csg_2020/310-40.wcnf.gz8.54 (34404)7.85 (34404)18.33 (34404)27.72 (34404)8.79 (34404)22.61 (34404)9.67 (34404)8.65 (34404)58.58 (34404)82.41 (34404)
csg_2020/310-23.wcnf.gz10.72 (35965)7.44 (35965)14.66 (35965)6.9 (35965)5.5 (35965)26.03 (35965)20.95 (35965)6.82 (35965)50.91 (35965)98.11 (35965)
csg_2020/310-93.wcnf.gz4.09 (19146)3.45 (19146)4.32 (19146)3.5 (19146)2.52 (19146)2.7 (19146)0.99 (19146)2.46 (19146)10.77 (19146)14.72 (19146)
csg_2020/310-83.wcnf.gz5.5 (38207)5.95 (38207)15.6 (38207)13.58 (38207)7.97 (38207)33.48 (38207)62.08 (38207)10.1 (38207)148.74 (38207)267.45 (38207)
csg_2020/310-48.wcnf.gz6.61 (32980)5.33 (32980)8.75 (32980)5.05 (32980)4.97 (32980)17.26 (32980)6.84 (32980)4.75 (32980)32.64 (32980)56.81 (32980)
csg_2020/310-58.wcnf.gz11.26 (27041)7.82 (27041)10.48 (27041)6.97 (27041)5.92 (27041)4.1 (27041)3.38 (27041)5.84 (27041)25.52 (27041)37.05 (27041)
csg_2020/310-98.wcnf.gz15.56 (30360)6.84 (30360)10.96 (30360)6.79 (30360)6.18 (30360)4.97 (30360)3.55 (30360)5.85 (30360)24.15 (30360)41.12 (30360)
csg_2020/310-88.wcnf.gz6.14 (38358)9.42 (38358)16.33 (38358)10.23 (38358)17.8 (38358)119.09 (38358)54.18 (38358)38.19 (38358)446.75 (38358)606.65 (38358)
csg_2020/310-53.wcnf.gz42.38 (24424)8.63 (24424)11.38 (24424)8.35 (24424)6.54 (24424)5.29 (24424)2.77 (24424)6.56 (24424)26.38 (24424)38.63 (24424)
csg_2020/310-28.wcnf.gz7.19 (33151)5.16 (33151)9.92 (33151)5.87 (33151)5.17 (33151)5.88 (33151)3.66 (33151)5.57 (33151)24.72 (33151)39.23 (33151)
csg_2020/310-90.wcnf.gz5.74 (50111)7.96 (50111)20.18 (50111)17.67 (50111)10.14 (50111)26.81 (50111)16.61 (50111)13.45 (50111)130.79 (50111)228.87 (50111)
csg_2020/310-30.wcnf.gz6.14 (35305)5.97 (35305)10.44 (35305)6.29 (35305)5.28 (35305)9.61 (35305)4.76 (35305)5.75 (35305)27.9 (35305)40.31 (35305)
csg_2020/310-20.wcnf.gz4.03 (26785)3.27 (26785)5.76 (26785)3.82 (26785)2.28 (26785)3.88 (26785)1.36 (26785)2.33 (26785)11.7 (26785)16.49 (26785)
csg_2020/310-52.wcnf.gz7.49 (44145)8.57 (44145)25.09 (44145)19.33 (44145)18.22 (44145)164.85 (44145)80.18 (44145)27.05 (44145)683.4 (44145)840.89 (44145)
csg_2020/310-35.wcnf.gz13.58 (38763)9.19 (38763)21.87 (38763)11.9 (38763)8.13 (38763)9.47 (38763)16.06 (38763)7.14 (38763)62.65 (38763)114.31 (38763)
csg_2020/310-47.wcnf.gz11.15 (40996)8.01 (40996)17.46 (40996)19.44 (40996)18.86 (40996)72.25 (40996)42.95 (40996)39.02 (40996)690.15 (40996)908.01 (40996)
csg_2020/310-1.wcnf.gz12.08 (29383)7.59 (29383)11.49 (29383)7.28 (29383)5.33 (29383)8.65 (29383)4.33 (29383)5.47 (29383)35.61 (29383)52.86 (29383)
csg_2020/310-8.wcnf.gz7.37 (32432)4.62 (32432)10.23 (32432)6.13 (32432)3.19 (32432)9.31 (32432)4.7 (32432)3.45 (32432)19.57 (32432)28.84 (32432)
csg_2020/310-84.wcnf.gz8.95 (30985)6.13 (30985)12.23 (30985)6.18 (30985)4.67 (30985)12.82 (30985)8.83 (30985)5.01 (30985)22.49 (30985)33.94 (30985)
csg_2020/310-9.wcnf.gz5.2 (24712)4.55 (24712)6.7 (24712)4.44 (24712)3.02 (24712)3.89 (24712)1.69 (24712)3.04 (24712)14.68 (24712)19.8 (24712)
csg_2020/310-46.wcnf.gz16.23 (36769)11.13 (36769)25.5 (36769)24.65 (36769)11.27 (36769)36.28 (36769)25.46 (36769)12.13 (36769)62.73 (36769)108.92 (36769)
csg_2020/310-79.wcnf.gz6.31 (25431)8.0 (25431)28.57 (25431)44.03 (25431)12.23 (25431)65.0 (25431)34.28 (25431)10.57 (25431)128.8 (25431)147.85 (25431)
csg_2020/310-62.wcnf.gz10.16 (25892)4.94 (25892)10.97 (25892)8.61 (25892)4.61 (25892)14.24 (25892)7.73 (25892)5.23 (25892)36.04 (25892)81.12 (25892)
csg_2020/310-72.wcnf.gz12.9 (42535)8.02 (42535)14.7 (42535)7.49 (42535)6.26 (42535)8.52 (42535)21.05 (42535)6.36 (42535)23.49 (42535)36.87 (42535)
csg_2020/310-54.wcnf.gz4.68 (30960)4.39 (30960)10.08 (30960)8.43 (30960)3.34 (30960)4.24 (30960)3.07 (30960)3.28 (30960)18.45 (30960)24.65 (30960)
csg_2020/310-2.wcnf.gz12.08 (27236)4.67 (27236)6.58 (27236)5.04 (27236)3.64 (27236)3.63 (27236)1.41 (27236)3.56 (27236)14.92 (27236)20.41 (27236)
csg_2020/310-37.wcnf.gz17.0 (34819)4.76 (34819)6.58 (34819)5.29 (34819)3.94 (34819)3.2 (34819)1.4 (34819)3.97 (34819)15.33 (34819)21.55 (34819)
csg_2020/310-27.wcnf.gz8.74 (35505)5.09 (35505)8.33 (35505)6.13 (35505)4.44 (35505)6.19 (35505)5.12 (35505)4.52 (35505)22.99 (35505)26.46 (35505)
csg_2020/310-87.wcnf.gz10.95 (38538)6.4 (38538)17.58 (38538)14.34 (38538)5.64 (38538)5.63 (38538)5.78 (38538)5.47 (38538)38.5 (38538)50.24 (38538)
qcp/file_qc_wcnf_N6_H21_3.wcnf.gz0.01 (2)0.02 (2)0.16 (2)0.16 (2)0.01 (2)0.01 (2)0.01 (2)0.02 (2)0.01 (2)0.01 (2)
qcp/file_qc_wcnf_N8_H38_1.wcnf.gz0.07 (2)0.04 (2)0.37 (2)0.3 (2)0.02 (2)0.05 (2)0.04 (2)0.04 (2)0.01 (2)0.01 (2)
qcp/file_qc_wcnf_N7_H29_3.wcnf.gz0.06 (2)0.1 (2)0.29 (2)0.22 (2)0.02 (2)0.03 (2)0.02 (2)0.02 (2)0.01 (2)0.02 (2)
qcp/file_qc_wcnf_N7_H29_4.wcnf.gz0.02 (2)0.05 (2)0.22 (2)0.21 (2)0.02 (2)0.03 (2)0.02 (2)0.01 (2)0.01 (2)0.02 (2)
qcp/file_qc_wcnf_N9_H48_0.wcnf.gz0.33 (2)0.16 (2)0.84 (2)0.44 (2)0.05 (2)0.08 (2)0.07 (2)0.05 (2)0.02 (2)0.03 (2)
qcp/file_qc_wcnf_N10_H60_0.wcnf.gz0.29 (2)0.08 (2)0.93 (2)0.62 (2)0.07 (2)0.08 (2)0.17 (2)0.07 (2)0.03 (2)0.04 (2)
qcp/file_qc_wcnf_N9_H48_2.wcnf.gz0.12 (2)0.05 (2)0.55 (2)0.43 (2)0.03 (2)0.04 (2)0.06 (2)0.03 (2)0.01 (2)0.02 (2)
qcp/file_qc_wcnf_N10_H60_2.wcnf.gz0.57 (2)0.15 (2)1.49 (2)0.67 (2)0.12 (2)0.24 (2)0.34 (2)0.19 (2)0.04 (2)0.31 (2)
qcp/file_qc_wcnf_N8_H38_4.wcnf.gz0.06 (2)0.79 (2)0.93 (2)0.32 (2)0.07 (2)0.05 (2)0.05 (2)0.04 (2)0.02 (2)0.04 (2)
warehouses/warehouse1.wcsp.wcnf.gz12.72 (730567)0.04 (730567)0.68 (730567)0.9 (730567)15.2 (730567)8.32 (730567)5.17 (730567)36.86 (730567)877.08 (730567)831.59 (730567)
warehouses/cap131.wcsp.wcnf.gz3600.0 (-)0.69 (7934385)53.52 (7934385)1888.65 (7934385)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
warehouses/cap92.wcsp.wcnf.gz145.76 (8547029)0.21 (8547029)5.12 (8547029)7.51 (8547029)3600.0 (-)1174.06 (8547029)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
warehouses/warehouse0.wcsp.wcnf.gz0.02 (328)0.01 (328)0.1 (328)0.1 (328)0.01 (328)0.06 (328)0.03 (328)0.02 (328)0.01 (328)0.02 (328)
warehouses/cap72.wcsp.wcnf.gz4.19 (9777981)0.1 (9777981)1.2 (9777981)0.69 (9777981)3600.0 (-)96.04 (9777981)95.39 (9777981)3600.0 (-)3600.0 (-)3600.0 (-)
warehouses/cap71.wcsp.wcnf.gz0.76 (9326144)0.1 (9326144)1.08 (9326144)0.48 (9326144)3600.0 (-)78.26 (9326144)55.37 (9326144)3600.0 (-)3600.0 (-)3600.0 (-)
warehouses/cap132.wcsp.wcnf.gz3600.0 (-)0.69 (8514942)313.13 (8514942)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
warehouses/cap91.wcsp.wcnf.gz1.99 (7966472)0.21 (7966472)3.08 (7966472)0.84 (7966472)3600.0 (-)544.93 (7966472)2904.47 (7966472)3600.0 (-)3600.0 (-)3600.0 (-)
haplotyping-pedigrees/ped2.G.recomb5-0.01-3.wcnf.gz15.8 (31442)80.49 (31442)43.74 (31442)24.99 (31442)6.92 (31442)9.24 (31442)37.79 (31442)7.12 (31442)22.23 (31442)71.05 (31442)
haplotyping-pedigrees/ped2.G.recomb1-0.01-3.wcnf.gz6.96 (5266)9.01 (5266)26.47 (5266)24.08 (5266)1.8 (5266)2.15 (5266)13.97 (5266)1.88 (5266)11.91 (5266)24.61 (5266)
haplotyping-pedigrees/ped2.G.recomb5-0.20-15.wcnf.gz30.31 (25045)305.5 (25045)74.88 (25045)49.23 (25045)14.47 (25045)15.54 (25045)81.85 (25045)14.95 (25045)71.24 (25045)294.72 (25045)
haplotyping-pedigrees/ped2.G.recomb5-0.20-14.wcnf.gz29.73 (20976)391.53 (20976)72.83 (20976)47.73 (20976)14.46 (20976)20.43 (20976)82.82 (20976)17.49 (20976)543.38 (20976)663.61 (20976)
haplotyping-pedigrees/ped2.G.recomb10-0.10-6.wcnf.gz28.28 (47155)208.91 (47155)65.03 (47155)34.77 (47155)12.68 (47155)15.8 (47155)59.29 (47155)12.8 (47155)47.8 (47155)140.82 (47155)
haplotyping-pedigrees/ped3.G.recomb10-0.20-13.wcnf.gz10.67 (17465)252.68 (17465)25.99 (17465)18.74 (17465)5.07 (17465)10.69 (17465)74.02 (17465)9.22 (17465)563.26 (17465)1801.65 (17465)
haplotyping-pedigrees/ped3.F.recomb10-0.10-7.wcnf.gz3.23 (8905)46.67 (8905)10.35 (8905)9.11 (8905)1.49 (8905)2.34 (8905)5.88 (8905)1.38 (8905)6.8 (8905)18.66 (8905)
haplotyping-pedigrees/ped3.F.recomb10-0.20-11.wcnf.gz3.69 (4807)65.41 (4807)12.17 (4807)10.99 (4807)1.83 (4807)2.57 (4807)9.84 (4807)2.07 (4807)32.62 (4807)142.65 (4807)
haplotyping-pedigrees/ped3.D.recomb10-0.20-14.wcnf.gz1.0 (7)1.03 (7)3.85 (7)3.73 (7)0.41 (7)0.51 (7)0.4 (7)0.41 (7)0.95 (7)3.83 (7)
abstraction-refinement/downcast-pmd.wcnf.gz529.41 (4227)1263.35 (4227)1092.67 (4227)485.69 (4227)886.75 (4227)3507.47 (4227)2813.87 (4227)768.04 (4227)1529.43 (4227)1655.46 (4227)
abstraction-refinement/polysite-bloat.wcnf.gz1381.87 (36)2944.45 (36)1816.97 (36)808.23 (36)1319.29 (36)3600.0 (-)3600.0 (-)1229.84 (36)3600.0 (-)3600.0 (-)
abstraction-refinement/polysite-pmd.wcnf.gz441.17 (188398)1019.7 (188398)1088.12 (188398)444.72 (188398)1128.06 (188398)3600.0 (-)3600.0 (-)1125.05 (188398)2218.28 (188398)3044.17 (188398)
abstraction-refinement/downcast-antlr.wcnf.gz228.71 (76250)954.02 (76250)1093.47 (76250)518.39 (76250)788.39 (76250)3600.0 (-)3600.0 (-)952.36 (76250)3600.0 (-)3409.0 (76250)
abstraction-refinement/downcast-xalan.wcnf.gz160.45 (65491)531.25 (65491)615.68 (65491)264.78 (65491)576.25 (65491)3600.0 (-)3600.0 (-)813.75 (65491)628.05 (65491)2570.56 (65491)
abstraction-refinement/polysite-xalan.wcnf.gz343.65 (114620)1175.35 (114620)1827.52 (114620)591.84 (114620)2057.67 (114620)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
abstraction-refinement/polysite-lusearch.wcnf.gz73.12 (421456)220.11 (421456)291.87 (421456)125.27 (421456)303.73 (421456)3600.0 (-)3600.0 (-)302.77 (421456)205.64 (421456)396.81 (421456)
abstraction-refinement/downcast-avrora.wcnf.gz323.77 (46642)471.8 (46642)452.09 (46642)198.44 (46642)347.64 (46642)3600.0 (-)3600.0 (-)432.89 (46642)2566.89 (46642)340.92 (46642)
abstraction-refinement/polysite-hsqldb.wcnf.gz504.09 (172382)1060.63 (172382)1218.73 (172382)565.33 (172382)1265.18 (172382)1333.31 (172382)867.6 (172382)1251.27 (172382)383.23 (172382)507.86 (172382)
abstraction-refinement/polysite-avrora.wcnf.gz194.43 (51801)417.99 (51801)377.18 (51801)187.09 (51801)264.3 (51801)2819.59 (51801)1374.71 (51801)300.57 (51801)208.56 (51801)314.36 (51801)
abstraction-refinement/downcast-hsqldb.wcnf.gz998.26 (30207)1640.11 (30207)1050.92 (30207)484.14 (30207)679.04 (30207)2309.4 (30207)1304.0 (30207)752.91 (30207)606.37 (30207)1039.79 (30207)
auctions/cat_paths_60_110_0002.txt.wcnf.gz0.02 (68460)0.04 (68460)0.24 (68460)3.13 (68460)0.02 (68460)0.12 (68460)9.19 (68460)0.03 (68460)0.32 (68460)0.25 (68460)
auctions/cat_reg_60_230_0004.txt.wcnf.gz711.33 (201972)0.6 (201972)3600.0 (-)3600.0 (-)138.04 (201972)16.31 (201972)22.74 (201972)671.56 (201972)3600.0 (-)3600.0 (-)
auctions/cat_paths_60_110_0007.txt.wcnf.gz0.04 (60477)0.04 (60477)0.45 (60477)6.39 (60477)0.07 (60477)0.18 (60477)12.04 (60477)0.11 (60477)4.09 (60477)4.67 (60477)
auctions/cat_paths_60_80_0003.txt.wcnf.gz0.01 (51870)0.03 (51870)0.13 (51870)0.13 (51870)0.02 (51870)0.03 (51870)1.11 (51870)0.01 (51870)0.08 (51870)0.14 (51870)
auctions/cat_reg_60_160_0004.txt.wcnf.gz10.74 (131157)0.52 (131157)1586.84 (131157)1916.46 (131157)15.79 (131157)8.84 (131157)4.34 (131157)17.36 (131157)3600.0 (-)3600.0 (-)
auctions/cat_reg_60_210_0004.txt.wcnf.gz585.92 (141521)0.94 (141521)3600.0 (-)3600.0 (-)241.43 (141521)18.84 (141521)10.81 (141521)757.94 (141521)3600.0 (-)3600.0 (-)
auctions/cat_reg_60_160_0005.txt.wcnf.gz17.24 (99819)0.3 (99819)755.11 (99819)1227.6 (99819)24.98 (99819)6.78 (99819)6.78 (99819)27.29 (99819)3600.0 (-)3600.0 (-)
auctions/cat_reg_60_220_0005.txt.wcnf.gz69.42 (160591)0.64 (160591)3600.0 (-)3600.0 (-)54.17 (160591)55.53 (160591)36.89 (160591)196.61 (160591)3600.0 (-)3600.0 (-)
auctions/cat_paths_60_150_0003.txt.wcnf.gz0.16 (106294)0.87 (106294)155.22 (106294)772.34 (106294)2.91 (106294)16.3 (106294)1492.26 (106294)4.82 (106294)497.59 (106294)217.97 (106294)
auctions/cat_sched_60_180_0005.txt.wcnf.gz0.02 (156974)0.13 (156974)0.19 (156974)0.18 (156974)0.02 (156974)0.11 (156974)2.32 (156974)0.05 (156974)0.19 (156974)0.66 (156974)
auctions/cat_paths_60_170_0000.txt.wcnf.gz1.72 (122170)2.4 (122170)3600.0 (-)3600.0 (-)17.14 (122170)20.44 (122170)3600.0 (-)12.52 (122170)1597.55 (122170)3021.22 (122170)
auctions/cat_reg_60_220_0003.txt.wcnf.gz754.84 (144434)0.8 (144434)3600.0 (-)3600.0 (-)212.62 (144434)60.13 (144434)35.59 (144434)392.47 (144434)3600.0 (-)3600.0 (-)
auctions/cat_reg_60_110_0005.txt.wcnf.gz1.53 (93715)0.1 (93715)66.78 (93715)152.81 (93715)3.13 (93715)1.04 (93715)1.0 (93715)2.51 (93715)3600.0 (-)3600.0 (-)
auctions/cat_reg_60_210_0005.txt.wcnf.gz671.99 (138324)0.63 (138324)3600.0 (-)3600.0 (-)237.15 (138324)89.86 (138324)25.35 (138324)612.49 (138324)3600.0 (-)3600.0 (-)
auctions/cat_reg_60_120_0003.txt.wcnf.gz0.49 (104839)0.19 (104839)19.44 (104839)135.76 (104839)0.4 (104839)0.75 (104839)1.0 (104839)0.47 (104839)201.83 (104839)375.61 (104839)
max-prob-min-cuts/test26--n-5000.wcnf.gz2.68 (3615)0.18 (3615)1.95 (3615)1.69 (3615)1.11 (3615)0.11 (3615)0.74 (3615)1.13 (3615)3.88 (3615)3600.0 (-)
max-prob-min-cuts/test10--n-2500.wcnf.gz0.02 (12423488)0.01 (12423488)0.17 (12423488)0.14 (12423488)0.02 (12423488)0.65 (12423488)0.11 (12423488)0.02 (12423488)0.06 (12423488)0.08 (12423488)
max-prob-min-cuts/test63--n-10000.wcnf.gz19.83 (43)0.05 (43)9.54 (43)9.34 (43)7.54 (43)0.39 (43)1.72 (43)7.98 (43)28.28 (43)42.06 (43)
max-prob-min-cuts/test50--n-7500.wcnf.gz29.12 (9154)0.31 (9154)8.64 (9154)8.54 (9154)7.44 (9154)1.86 (9154)2.0 (9154)7.72 (9154)26.55 (9154)39.24 (9154)
max-prob-min-cuts/test29--n-5000.wcnf.gz5.03 (378308687)0.07 (378308687)4.63 (378308687)4.65 (378308687)2.29 (378308687)13.54 (378308687)17.31 (378308687)2.33 (378308687)16.28 (378308687)3600.0 (-)
max-prob-min-cuts/test67--n-10000.wcnf.gz10.96 (439405919)0.1 (439405919)10.07 (439405919)10.11 (439405919)5.37 (439405919)30.74 (439405919)29.28 (439405919)5.38 (439405919)38.44 (439405919)53.78 (439405919)
max-prob-min-cuts/test17--n-2500.wcnf.gz0.98 (284520)0.05 (284520)0.56 (284520)0.56 (284520)0.34 (284520)0.1 (284520)0.39 (284520)0.35 (284520)1.07 (284520)1.38 (284520)
max-prob-min-cuts/test37--n-5000.wcnf.gz1.21 (273826234)0.07 (273826234)1.97 (273826234)1.95 (273826234)0.8 (273826234)12.82 (273826234)11.7 (273826234)0.8 (273826234)7.0 (273826234)3600.0 (-)
max-prob-min-cuts/test78--n-10000.wcnf.gz6.83 (218680041)0.25 (218680041)6.48 (218680041)6.34 (218680041)3.93 (218680041)18.92 (218680041)15.86 (218680041)3.91 (218680041)24.73 (218680041)36.55 (218680041)
max-prob-min-cuts/test36--n-5000.wcnf.gz1.4 (19249301)0.08 (19249301)1.73 (19249301)1.73 (19249301)0.97 (19249301)0.99 (19249301)1.11 (19249301)0.98 (19249301)4.67 (19249301)3600.0 (-)
max-prob-min-cuts/test16--n-2500.wcnf.gz0.39 (191116)0.03 (191116)0.33 (191116)0.32 (191116)0.14 (191116)0.12 (191116)0.25 (191116)0.14 (191116)0.45 (191116)0.57 (191116)
max-prob-min-cuts/test59--n-7500.wcnf.gz3.41 (148111431)0.13 (148111431)3.89 (148111431)3.83 (148111431)2.08 (148111431)16.16 (148111431)15.74 (148111431)2.12 (148111431)12.93 (148111431)3600.0 (-)
max-prob-min-cuts/test6--n-2500.wcnf.gz0.72 (81474531)0.03 (81474531)0.8 (81474531)0.8 (81474531)0.35 (81474531)1.16 (81474531)1.45 (81474531)0.35 (81474531)1.77 (81474531)2.21 (81474531)
max-prob-min-cuts/test1--n-2500.wcnf.gz0.3 (246)0.02 (246)0.35 (246)0.35 (246)0.14 (246)0.11 (246)0.27 (246)0.14 (246)0.47 (246)0.63 (246)
max-prob-min-cuts/test47--n-7500.wcnf.gz6.32 (644477962)0.11 (644477962)8.17 (644477962)8.05 (644477962)3.57 (644477962)78.38 (644477962)74.26 (644477962)3.6 (644477962)33.32 (644477962)47.43 (644477962)
max-prob-min-cuts/test66--n-10000.wcnf.gz9.45 (796)0.04 (796)5.3 (796)5.34 (796)3.95 (796)0.35 (796)1.35 (796)3.9 (796)13.3 (796)18.81 (796)
max-prob-min-cuts/test11--n-2500.wcnf.gz1.36 (28842)0.12 (28842)0.75 (28842)0.71 (28842)0.51 (28842)0.13 (28842)0.46 (28842)0.52 (28842)1.7 (28842)2.25 (28842)
max-prob-min-cuts/test51--n-7500.wcnf.gz12.21 (2151)0.4 (2151)5.03 (2151)4.63 (2151)4.37 (2151)0.37 (2151)1.12 (2151)4.43 (2151)14.84 (2151)3600.0 (-)
max-prob-min-cuts/test34--n-5000.wcnf.gz0.82 (424495269)0.04 (424495269)2.11 (424495269)2.11 (424495269)0.7 (424495269)15.49 (424495269)15.81 (424495269)0.71 (424495269)8.41 (424495269)3600.0 (-)
max-prob-min-cuts/test22--n-5000.wcnf.gz3.23 (641968767)0.07 (641968767)4.63 (641968767)4.65 (641968767)1.89 (641968767)43.89 (641968767)43.75 (641968767)1.9 (641968767)18.99 (641968767)3600.0 (-)
max-prob-min-cuts/test45--n-7500.wcnf.gz6.95 (235979386)0.09 (235979386)6.06 (235979386)5.95 (235979386)3.26 (235979386)16.96 (235979386)15.98 (235979386)3.29 (235979386)18.34 (235979386)24.67 (235979386)
max-prob-min-cuts/test53--n-7500.wcnf.gz20.64 (37)0.05 (37)5.14 (37)5.14 (37)5.16 (37)0.29 (37)1.15 (37)5.15 (37)16.63 (37)22.5 (37)
max-prob-min-cuts/test65--n-10000.wcnf.gz15.11 (606121928)0.12 (606121928)13.62 (606121928)13.56 (606121928)7.34 (606121928)85.06 (606121928)81.65 (606121928)7.26 (606121928)61.65 (606121928)3600.0 (-)
max-prob-min-cuts/test20--n-2500.wcnf.gz1.28 (3507)0.1 (3507)0.8 (3507)0.71 (3507)0.51 (3507)0.1 (3507)0.39 (3507)0.53 (3507)1.71 (3507)2.25 (3507)
max-prob-min-cuts/test60--n-7500.wcnf.gz6.26 (14066)0.19 (14066)3.38 (14066)3.35 (14066)2.8 (14066)0.03 (14066)1.01 (14066)2.87 (14066)8.71 (14066)3600.0 (-)
max-prob-min-cuts/test32--n-5000.wcnf.gz2.19 (63984958)0.09 (63984958)2.33 (63984958)2.24 (63984958)1.26 (63984958)3.38 (63984958)3.55 (63984958)1.29 (63984958)6.86 (63984958)3600.0 (-)
max-prob-min-cuts/test15--n-2500.wcnf.gz0.72 (3262)0.07 (3262)0.59 (3262)0.54 (3262)0.32 (3262)0.02 (3262)0.35 (3262)0.32 (3262)1.08 (3262)1.41 (3262)
max-prob-min-cuts/test35--n-5000.wcnf.gz1.81 (171277203)0.09 (171277203)2.38 (171277203)2.35 (171277203)1.19 (171277203)10.64 (171277203)9.25 (171277203)1.19 (171277203)8.07 (171277203)3600.0 (-)
max-prob-min-cuts/test70--n-10000.wcnf.gz35.98 (436)0.44 (436)12.99 (436)12.47 (436)10.74 (436)1.9 (436)2.25 (436)10.94 (436)39.82 (436)3600.0 (-)
max-prob-min-cuts/test40--n-5000.wcnf.gz7.05 (5974)0.3 (5974)2.69 (5974)2.34 (5974)2.16 (5974)0.09 (5974)0.89 (5974)2.18 (5974)6.63 (5974)3600.0 (-)
max-realizability/power-distribution_1_4.wcnf.gz0.04 (3)0.08 (3)0.29 (3)0.29 (3)0.03 (3)0.02 (3)0.02 (3)0.03 (3)0.05 (3)0.1 (3)
max-realizability/power-distribution_8_3.wcnf.gz0.18 (40)0.4 (40)0.84 (40)0.83 (40)0.14 (40)0.06 (40)0.05 (40)0.14 (40)0.29 (40)0.63 (40)
max-realizability/power-distribution_7_4.wcnf.gz0.15 (18)0.34 (18)0.74 (18)0.73 (18)0.11 (18)0.07 (18)0.05 (18)0.11 (18)0.2 (18)0.71 (18)
max-realizability/power-distribution_8_8.wcnf.gz3169.69 (40)3600.0 (-)2975.25 (40)2811.44 (40)3600.0 (-)3600.0 (-)3061.12 (40)3600.0 (-)3600.0 (-)3600.0 (-)
max-realizability/power-distribution_3_8.wcnf.gz1.9 (1)2.94 (1)3.89 (1)3.79 (1)1.6 (1)2.18 (1)0.97 (1)1.6 (1)7.42 (1)20.93 (1)
max-realizability/power-distribution_2_2.wcnf.gz0.06 (10)2.1 (10)0.24 (10)0.26 (10)0.05 (10)0.01 (10)0.01 (10)0.05 (10)0.03 (10)0.04 (10)
max-realizability/power-distribution_9_3.wcnf.gz0.05 (18)0.08 (18)0.3 (18)0.3 (18)0.03 (18)0.03 (18)0.04 (18)0.04 (18)0.1 (18)0.11 (18)
max-realizability/power-distribution_7_2.wcnf.gz0.02 (18)0.05 (18)0.19 (18)0.19 (18)0.02 (18)0.02 (18)0.01 (18)0.02 (18)0.02 (18)0.03 (18)
max-realizability/power-distribution_6_8.wcnf.gz155.38 (4)204.06 (4)94.03 (4)96.45 (4)140.87 (4)94.96 (4)94.36 (4)139.93 (4)534.95 (4)804.85 (4)
max-realizability/power-distribution_4_6.wcnf.gz6.21 (6)15.98 (6)8.81 (6)8.82 (6)6.3 (6)1.62 (6)1.17 (6)6.31 (6)8.92 (6)85.88 (6)
max-realizability/power-distribution_8_5.wcnf.gz1.55 (40)3.39 (40)3.83 (40)3.74 (40)1.28 (40)0.96 (40)1.85 (40)1.29 (40)11.57 (40)73.73 (40)
max-realizability/power-distribution_9_6.wcnf.gz3.36 (18)8.91 (18)6.48 (18)6.48 (18)5.57 (18)9.42 (18)12.29 (18)5.71 (18)16.07 (18)89.13 (18)
max-realizability/robot-navigation_10.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
max-realizability/power-distribution_4_4.wcnf.gz1.71 (6)2.85 (6)2.66 (6)2.64 (6)1.69 (6)0.19 (6)0.18 (6)1.69 (6)0.6 (6)1.59 (6)
binaryNN/bnn_mnist_7_label9_adversarial_norm_inf_totalizer.wcnf.gz648.45 (1)991.52 (1)3600.0 (-)3600.0 (-)269.06 (1)402.17 (1)141.42 (1)270.62 (1)3600.0 (-)3600.0 (-)
binaryNN/bnn_mnist_back_image_32_label3_adversarial_norm_inf_totalizer.wcnf.gz795.81 (2)1733.77 (2)3600.0 (-)3600.0 (-)277.76 (2)1101.24 (2)1729.06 (2)279.84 (2)3600.0 (-)3600.0 (-)
binaryNN/bnn_mnist_rot_16_label5_adversarial_norm_inf_totalizer.wcnf.gz657.69 (1)1006.6 (1)3600.0 (-)3600.0 (-)367.06 (1)221.87 (1)704.83 (1)367.28 (1)3600.0 (-)3600.0 (-)
binaryNN/bnn_mnist_rot_8_label1_adversarial_norm_inf_totalizer.wcnf.gz588.25 (1)1083.57 (1)3600.0 (-)3600.0 (-)84.06 (1)347.71 (1)3600.0 (-)84.87 (1)3600.0 (-)3600.0 (-)
binaryNN/bnn_mnist_back_image_73_label5_adversarial_norm_inf_totalizer.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2232.61 (4)3600.0 (-)3600.0 (-)2215.51 (4)3600.0 (-)3600.0 (-)
RBAC-violations-multiple/role_smallcomp_violations_0.75_3.wcnf.gz97.65 (347065)271.81 (347065)50.9 (347065)72.76 (347065)134.19 (347065)3600.0 (-)3600.0 (-)142.43 (347065)403.3 (347065)519.47 (347065)
RBAC-violations-multiple/role_domino_multiple_0.7_1.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
RBAC-violations-multiple/role_smallcomp_violations_0.55_0.wcnf.gz3600.0 (-)3600.0 (-)661.66 (300634)3600.0 (-)1915.42 (300634)2080.9 (300634)2994.53 (300634)945.81 (300634)3600.0 (-)3600.0 (-)
RBAC-violations-multiple/role_smallcomp_multiple_0.6_9.wcnf.gz245.36 (358291)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
RBAC-violations-multiple/role_domino_multiple_0.7_9.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
RBAC-violations-multiple/role_smallcomp_violations_0.05_9.wcnf.gz0.01 (43799)0.02 (43799)0.18 (43799)0.18 (43799)0.01 (43799)4.69 (43799)0.47 (43799)0.01 (43799)0.02 (43799)0.03 (43799)
RBAC-violations-multiple/role_domino_violations_0.4_10.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
RBAC-violations-multiple/role_smallcomp_multiple_0.9_6.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
RBAC-violations-multiple/role_domino_violations_1.0_8.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
RBAC-violations-multiple/role_domino_violations_0.25_0.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
RBAC-violations-multiple/role_domino_violations_0.1_13.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
RBAC-violations-multiple/role_smallcomp_violations_0.25_1.wcnf.gz95.97 (161802)155.53 (161802)123.69 (161802)75.63 (161802)142.37 (161802)517.65 (161802)150.9 (161802)152.58 (161802)3477.48 (161802)3600.0 (-)
RBAC-violations-multiple/role_domino_violations_0.85_11.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
RBAC-violations-multiple/role_domino_violations_0.05_17.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
RBAC-violations-multiple/role_smallcomp_multiple_0.5_6.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
RBAC-violations-multiple/role_smallcomp_violations_0.5_6.wcnf.gz92.96 (260963)296.8 (260963)3600.0 (-)1451.67 (260963)185.56 (260963)1755.78 (260963)2400.89 (260963)247.97 (260963)3600.0 (-)3600.0 (-)
RBAC-violations-multiple/role_smallcomp_violations_0.1_9.wcnf.gz10.78 (75832)0.03 (75832)5.62 (75832)7.94 (75832)19.42 (75832)10.57 (75832)8.29 (75832)12.85 (75832)71.86 (75832)167.98 (75832)
RBAC-violations-multiple/role_domino_violations_0.65_14.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
RBAC-violations-multiple/role_smallcomp_multiple_0.2_8.wcnf.gz69.88 (90742)2385.87 (90742)130.79 (90742)1722.79 (90742)48.15 (90742)3600.0 (-)3347.85 (90742)108.03 (90742)3600.0 (-)3600.0 (-)
RBAC-violations-multiple/role_smallcomp_multiple_0.9_1.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
RBAC-violations-multiple/role_domino_violations_0.8_7.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
RBAC-violations-multiple/role_domino_multiple_0.4_3.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
RBAC-violations-multiple/role_domino_violations_0.5_11.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
RBAC-violations-multiple/role_smallcomp_multiple_0.9_8.wcnf.gz65.42 (196556)3600.0 (-)117.94 (196556)141.02 (196556)60.23 (196556)3600.0 (-)3600.0 (-)191.29 (196556)2153.61 (196556)1483.83 (196556)
RBAC-violations-multiple/role_domino_violations_0.15_15.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
RBAC-violations-multiple/role_smallcomp_violations_0.3_1.wcnf.gz98.77 (185080)285.16 (185080)124.67 (185080)182.39 (185080)169.12 (185080)578.08 (185080)494.73 (185080)174.74 (185080)3600.0 (-)3600.0 (-)
RBAC-violations-multiple/role_domino_multiple_0.6_7.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
RBAC-violations-multiple/role_domino_violations_0.35_9.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
RBAC-violations-multiple/role_domino_multiple_0.4_0.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
RBAC-violations-multiple/role_smallcomp_multiple_0.1_7.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
upgradeability/mancoosi-test-i3000d0u98-67.wcnf.gz0.43 (542902120)0.42 (542902120)6.14 (542902120)6.34 (542902120)0.56 (542902120)131.2 (542902120)1052.94 (542902120)0.56 (542902120)6.49 (542902120)3600.0 (-)
upgradeability/rand83_l1.wcnf.gz0.69 (389009)0.88 (389009)1.95 (389009)1.47 (389009)0.56 (389009)303.72 (389009)483.02 (389009)0.57 (389009)111.88 (389009)18.95 (389009)
upgradeability/mancoosi-test-i40d0u98-6.wcnf.gz0.38 (1780803)0.18 (1780803)3.1 (1780803)3.01 (1780803)0.16 (1780803)0.4 (1780803)26.93 (1780803)0.16 (1780803)1.55 (1780803)3.29 (1780803)
upgradeability/2c3aece6-c8b2-11df-a040-00163e3d3b7c_l1.wcnf.gz2.01 (8559789)0.76 (8559789)20.69 (8559789)19.99 (8559789)2.8 (8559789)1091.38 (8559789)3600.0 (-)2.87 (8559789)30.31 (8559789)53.8 (8559789)
upgradeability/ff4a1d84-d490-11df-9e6c-00163e3d3b7c_l1.wcnf.gz0.05 (181519)0.04 (181519)0.29 (181519)0.27 (181519)0.04 (181519)7.7 (181519)7.67 (181519)0.04 (181519)0.15 (181519)0.22 (181519)
upgradeability/2c3aece6-c8b2-11df-a040-00163e3d3b7c_l2.wcnf.gz2.22 (8559789)0.57 (8559789)22.96 (8559789)22.24 (8559789)3.19 (8559789)1035.65 (8559789)3600.0 (-)3.32 (8559789)40.17 (8559789)69.86 (8559789)
upgradeability/mancoosi-test-i40d0u98-5.wcnf.gz0.36 (1780817)0.17 (1780817)3.08 (1780817)3.09 (1780817)0.17 (1780817)0.38 (1780817)30.24 (1780817)0.17 (1780817)1.65 (1780817)3.51 (1780817)
upgradeability/f4ebf9e0-360e-11e0-9e6c-00163e3d3b7c_l1.wcnf.gz0.41 (4661351)0.07 (4661351)3.07 (4661351)3.08 (4661351)0.41 (4661351)50.61 (4661351)112.11 (4661351)0.42 (4661351)7.45 (4661351)13.27 (4661351)
upgradeability/rand874_l1.wcnf.gz1.35 (583602)1.85 (583602)3.63 (583602)2.47 (583602)1.02 (583602)1484.46 (583602)1009.03 (583602)1.07 (583602)398.7 (583602)412.87 (583602)
upgradeability/mancoosi-test-i2000d0u98-34.wcnf.gz0.41 (317430597)0.38 (317430597)6.26 (317430597)6.29 (317430597)0.54 (317430597)3.43 (317430597)72.97 (317430597)0.54 (317430597)6.25 (317430597)12.83 (317430597)
upgradeability/mancoosi-test-i3000d0u98-53.wcnf.gz0.44 (573137017)0.4 (573137017)6.2 (573137017)6.45 (573137017)0.54 (573137017)181.2 (573137017)3600.0 (-)0.55 (573137017)6.7 (573137017)3600.0 (-)
upgradeability/rand118_l2.wcnf.gz4.44 (1626135)1.59 (1626135)13.49 (1626135)9.53 (1626135)3.84 (1626135)3600.0 (-)3600.0 (-)3.88 (1626135)33.32 (1626135)56.55 (1626135)
upgradeability/mancoosi-test-i30d0u98-9.wcnf.gz0.42 (1780790)0.2 (1780790)3.03 (1780790)2.96 (1780790)0.19 (1780790)0.66 (1780790)24.78 (1780790)0.19 (1780790)1.47 (1780790)3.11 (1780790)
upgradeability/mancoosi-test-i10d0u98-19.wcnf.gz0.35 (1780778)0.18 (1780778)2.83 (1780778)2.85 (1780778)0.14 (1780778)0.34 (1780778)22.44 (1780778)0.15 (1780778)1.37 (1780778)2.92 (1780778)
upgradeability/26f3d4cc-d470-11df-9e6c-00163e3d3b7c_l2.wcnf.gz2.73 (8270956)0.26 (8270956)19.9 (8270956)18.54 (8270956)3.59 (8270956)3600.0 (-)3600.0 (-)3.6 (8270956)35.11 (8270956)68.55 (8270956)
upgradeability/mancoosi-test-i2000d0u98-40.wcnf.gz0.43 (182372912)0.38 (182372912)5.86 (182372912)5.86 (182372912)0.47 (182372912)1.21 (182372912)47.9 (182372912)0.48 (182372912)5.65 (182372912)11.53 (182372912)
upgradeability/mancoosi-test-i10d0u98-12.wcnf.gz0.35 (1780773)0.17 (1780773)2.8 (1780773)2.8 (1780773)0.13 (1780773)0.34 (1780773)23.73 (1780773)0.13 (1780773)1.33 (1780773)2.83 (1780773)
upgradeability/mancoosi-test-i3000d0u98-72.wcnf.gz0.39 (527857381)0.39 (527857381)6.17 (527857381)6.13 (527857381)0.51 (527857381)28.24 (527857381)504.3 (527857381)0.5 (527857381)6.58 (527857381)3600.0 (-)
upgradeability/mancoosi-test-i3000d0u98-62.wcnf.gz0.42 (527930109)0.43 (527930109)6.57 (527930109)6.52 (527930109)0.57 (527930109)35.25 (527930109)776.61 (527930109)0.58 (527930109)7.08 (527930109)3600.0 (-)
railroad_sc/rail516.wcnf.gz3600.0 (-)72.49 (182)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
railroad_sc/rail507.wcnf.gz3600.0 (-)940.63 (174)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
railroad_sc/rail2536.wcnf.gz3600.0 (-)2423.51 (689)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
railroad_sc/rail582.wcnf.gz3600.0 (-)60.33 (211)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
railroad_sc/rail4872.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
railroad_sc/rail4284.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
relational-inference/ar-3.wcnf.gz6.19 (43814)0.42 (43814)360.52 (43814)361.78 (43814)75.33 (43814)3600.0 (-)3600.0 (-)77.72 (43814)133.72 (43814)257.22 (43814)
relational-inference/pa-1.wcnf.gz1175.93 (820)73.29 (820)3310.05 (820)541.53 (820)163.32 (820)3600.0 (-)3600.0 (-)164.0 (820)46.32 (820)73.54 (820)
relational-inference/ar-2.wcnf.gz2580.89 (394748)7.98 (394748)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
relational-inference/pa-2.wcnf.gz3600.0 (-)451.39 (143)3600.0 (-)3600.0 (-)1831.89 (143)3600.0 (-)3600.0 (-)1918.37 (143)3600.0 (-)3600.0 (-)
relational-inference/ar-1.wcnf.gz3.03 (25062)1.47 (25062)112.9 (25062)112.11 (25062)49.86 (25062)3600.0 (-)3600.0 (-)3600.0 (-)112.5 (25062)200.81 (25062)
relational-inference/pa-3.wcnf.gz3600.0 (-)731.64 (192)3600.0 (-)3600.0 (-)2461.98 (192)3600.0 (-)3600.0 (-)2333.8 (192)3600.0 (-)3600.0 (-)
relational-inference/rc-2.wcnf.gz53.19 (5722)0.59 (5722)1861.9 (5722)1824.34 (5722)489.81 (5722)3600.0 (-)3600.0 (-)640.28 (5722)179.39 (5722)377.24 (5722)
relational-inference/rc-3.wcnf.gz53.84 (5722)0.58 (5722)1865.24 (5722)1813.43 (5722)460.78 (5722)3600.0 (-)3600.0 (-)696.42 (5722)189.77 (5722)392.43 (5722)
hs-timetabling/BrazilInstance6.xml.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
hs-timetabling/FinlandSecondarySchool.xml.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
hs-timetabling/BrazilInstance5.xml.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
hs-timetabling/ItalyInstance1.xml.wcnf.gz442.55 (12)495.34 (12)969.47 (12)1254.26 (12)823.98 (12)2658.27 (12)865.14 (12)3600.0 (-)730.24 (12)513.3 (12)
hs-timetabling/BrazilInstance2.xml.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
hs-timetabling/BrazilInstance7.xml.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
hs-timetabling/ItalyInstance4.xml.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
hs-timetabling/BrazilInstance4.xml.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
hs-timetabling/BrazilInstance1.xml.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
drmx-cryptogen/wolfram72_7.wcnf.gz6.34 (9288)14.99 (9288)232.47 (9288)223.41 (9288)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)45.29 (9288)142.62 (9288)
drmx-cryptogen/geffe128_6.wcnf.gz6.05 (800)9.46 (800)34.01 (800)34.11 (800)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)36.17 (800)29.5 (800)
drmx-cryptogen/wolfram80_8.wcnf.gz12.05 (11440)14.13 (11440)364.92 (11440)354.5 (11440)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)86.52 (11440)233.32 (11440)
drmx-cryptogen/wolfram72_0.wcnf.gz5.56 (9288)7.01 (9288)227.62 (9288)227.86 (9288)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)60.89 (9288)123.45 (9288)
drmx-cryptogen/threshold128_9.wcnf.gz19.1 (800)41.39 (800)57.69 (800)57.42 (800)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)49.69 (800)329.21 (800)
drmx-cryptogen/wolfram80_4.wcnf.gz24.15 (11440)66.31 (11440)376.73 (11440)375.56 (11440)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)172.56 (11440)835.39 (11440)
drmx-cryptogen/wolfram72_9.wcnf.gz14.65 (9288)26.79 (9288)245.38 (9288)243.92 (9288)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)80.59 (9288)394.03 (9288)
drmx-cryptogen/threshold128_3.wcnf.gz90.89 (800)9.59 (800)276.56 (800)280.53 (800)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)148.63 (800)194.13 (800)
drmx-cryptogen/geffe128_9.wcnf.gz46.51 (800)45.45 (800)25.99 (800)26.04 (800)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)74.55 (800)171.76 (800)
drmx-cryptogen/geffe128_1.wcnf.gz14.17 (800)46.07 (800)44.62 (800)44.29 (800)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)90.13 (800)177.41 (800)
set-covering/scp53_weighted.wcnf.gz0.81 (226)0.08 (226)2.89 (226)0.38 (226)0.22 (226)3600.0 (-)3600.0 (-)0.22 (226)0.07 (226)0.12 (226)
set-covering/scp48_weighted.wcnf.gz3600.0 (-)0.08 (492)9.16 (492)1.02 (492)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
set-covering/scp43_weighted.wcnf.gz2.2 (516)0.04 (516)2.0 (516)0.31 (516)3196.13 (516)3600.0 (-)3600.0 (-)193.58 (516)2180.76 (516)1780.77 (516)
set-covering/scp59_weighted.wcnf.gz2.9 (279)0.09 (279)7.63 (279)0.48 (279)3.69 (279)3600.0 (-)3600.0 (-)4.77 (279)364.88 (279)78.56 (279)
set-covering/scp56_weighted.wcnf.gz2.32 (213)0.09 (213)3.91 (213)0.4 (213)0.43 (213)3600.0 (-)3600.0 (-)1.14 (213)9.31 (213)10.62 (213)
set-covering/scp63_weighted.wcnf.gz502.22 (145)0.48 (145)753.72 (145)506.8 (145)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
set-covering/scp45_weighted.wcnf.gz0.35 (512)0.05 (512)1.43 (512)0.27 (512)0.46 (512)3600.0 (-)3600.0 (-)0.49 (512)0.32 (512)1.38 (512)
set-covering/scpnrg5_weighted.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
set-covering/scpnrf1_weighted.wcnf.gz3600.0 (-)78.37 (14)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
set-covering/scp61_weighted.wcnf.gz754.44 (138)0.53 (138)250.09 (138)36.75 (138)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
set-covering/scp54_weighted.wcnf.gz5.26 (242)0.1 (242)19.57 (242)1.08 (242)3.31 (242)3600.0 (-)3600.0 (-)2.74 (242)16.2 (242)14.17 (242)
css-refactoring/github.dimacs.wcnf.gz21.13 (187405)3600.0 (-)50.82 (187405)39.57 (187405)37.69 (187405)290.24 (187405)1842.56 (187405)156.07 (187405)3600.0 (-)3600.0 (-)
css-refactoring/facebook1.dimacs.wcnf.gz1.8 (45581)127.17 (45581)5.48 (45581)4.81 (45581)3.22 (45581)14.75 (45581)32.06 (45581)6.64 (45581)271.01 (45581)1095.66 (45581)
css-refactoring/dblp.dimacs.wcnf.gz1.43 (25014)385.75 (25014)7.7 (25014)4.68 (25014)1.36 (25014)6.77 (25014)23.2 (25014)2.62 (25014)82.67 (25014)165.51 (25014)
css-refactoring/youtube.dimacs.wcnf.gz29.56 (227167)3600.0 (-)57.73 (227167)43.48 (227167)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
css-refactoring/londonist.dimacs.wcnf.gz1.84 (70703)43.28 (70703)33.82 (70703)31.86 (70703)2.33 (70703)13.89 (70703)119.86 (70703)2.76 (70703)21.59 (70703)132.27 (70703)
css-refactoring/ebay.dimacs.wcnf.gz10.39 (123941)3600.0 (-)20.39 (123941)15.47 (123941)12.62 (123941)87.81 (123941)783.65 (123941)35.73 (123941)1718.01 (123941)3600.0 (-)
css-refactoring/guardian.dimacs.wcnf.gz12.75 (160777)817.55 (160777)32.69 (160777)27.53 (160777)21.03 (160777)129.52 (160777)3600.0 (-)44.8 (160777)3600.0 (-)3600.0 (-)
css-refactoring/archlinux.dimacs.wcnf.gz0.11 (11744)2.56 (11744)0.99 (11744)0.93 (11744)0.11 (11744)0.34 (11744)3.6 (11744)0.12 (11744)0.46 (11744)1.13 (11744)
css-refactoring/amazon.dimacs.wcnf.gz28.12 (113575)3600.0 (-)48.42 (113575)21.0 (113575)21.66 (113575)206.59 (113575)693.36 (113575)66.76 (113575)3600.0 (-)3600.0 (-)
css-refactoring/wikipedia.dimacs.wcnf.gz0.21 (42676)0.72 (42676)1.77 (42676)1.67 (42676)0.3 (42676)0.93 (42676)8.49 (42676)0.33 (42676)2.93 (42676)8.92 (42676)
css-refactoring/openstreetmap.dimacs.wcnf.gz1.2 (65915)60.26 (65915)5.13 (65915)4.34 (65915)2.1 (65915)12.47 (65915)47.3 (65915)2.58 (65915)69.33 (65915)200.74 (65915)
BTBNSL/Rounded_BTWBNSL_Horse.BIC_TWBound_3.wcnf.gz3600.0 (-)1230.11 (452466275)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
BTBNSL/Rounded_BTWBNSL_Horse.BIC_TWBound_2.wcnf.gz3600.0 (-)1292.51 (452466275)3600.0 (-)3600.0 (-)3600.0 (-)2679.7 (452466275)3259.76 (452466275)3600.0 (-)3600.0 (-)3600.0 (-)
BTBNSL/Rounded_BTWBNSL_Water_1000_1_2.scores_TWBound_3.wcnf.gz3600.0 (-)348.66 (1326306453)3600.0 (-)3600.0 (-)3600.0 (-)526.37 (1326306453)400.49 (1326306453)3600.0 (-)3600.0 (-)3600.0 (-)
BTBNSL/Rounded_BTWBNSL_Abalone_TWBound_3.wcnf.gz3600.0 (-)972.15 (1540139929)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
BTBNSL/Rounded_BTWBNSL_Voting_TWBound_4.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
BTBNSL/Rounded_BTWBNSL_asia_100_1_3.scores_TWBound_4.wcnf.gz0.03 (24564427)0.11 (24564427)0.18 (24564427)0.17 (24564427)0.02 (24564427)0.17 (24564427)0.2 (24564427)0.02 (24564427)0.2 (24564427)0.4 (24564427)
BTBNSL/Rounded_BTWBNSL_alarm_100_1_3.scores_TWBound_4.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
BTBNSL/Rounded_BTWBNSL_AbaloneTWBound_4.wcnf.gz3600.0 (-)1029.31 (1540139929)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
BTBNSL/Rounded_BTWBNSL_Zoo_TWBound_4.wcnf.gz16.48 (84773175)98.43 (84773175)15.2 (84773175)3292.98 (84773177)10.44 (84773175)10.89 (84773175)5.01 (84773175)8.94 (84773175)1708.84 (84773175)3030.79 (84773175)
preference_planning/WCNF_pathways_p05.wcnf.gz0.24 (60)0.49 (60)0.64 (60)0.66 (60)0.21 (60)0.2 (60)0.23 (60)0.2 (60)0.59 (60)1.34 (60)
preference_planning/WCNF_pathways_p14.wcnf.gz0.4 (207)0.62 (207)0.97 (207)0.88 (207)0.35 (207)0.26 (207)0.34 (207)0.26 (207)5.74 (207)11.21 (207)
preference_planning/WCNF_pathways_p16.wcnf.gz46.41 (257)358.45 (257)145.31 (257)371.12 (257)240.48 (257)59.61 (257)152.85 (257)363.35 (257)3600.0 (-)3600.0 (-)
preference_planning/WCNF_storage_p02.wcnf.gz0.35 (5)0.76 (5)0.92 (5)0.58 (5)0.22 (5)0.28 (5)0.18 (5)0.28 (5)1.89 (5)2.7 (5)
preference_planning/WCNF_storage_p03.wcnf.gz8.83 (18)27.45 (18)18.84 (18)14.64 (18)9.77 (18)3.92 (18)6.17 (18)7.89 (18)272.58 (18)1199.49 (18)
preference_planning/WCNF_pathways_p12.wcnf.gz0.37 (188)0.45 (188)0.97 (188)1.07 (188)0.34 (188)0.42 (188)0.24 (188)0.33 (188)5.83 (188)7.64 (188)
preference_planning/WCNF_pathways_p02.wcnf.gz0.02 (3)0.03 (3)0.17 (3)0.17 (3)0.02 (3)0.01 (3)0.01 (3)0.02 (3)0.02 (3)0.02 (3)
preference_planning/WCNF_storage_p07.wcnf.gz7.35 (277)53.25 (277)10.47 (277)7.28 (277)9.07 (277)7.11 (277)22.59 (277)123.39 (277)374.92 (277)694.87 (277)
preference_planning/WCNF_pathways_p03.wcnf.gz0.04 (30)0.06 (30)0.24 (30)0.24 (30)0.03 (30)0.02 (30)0.01 (30)0.03 (30)0.04 (30)0.06 (30)
preference_planning/WCNF_storage_p05.wcnf.gz0.76 (107)4.0 (107)1.65 (107)1.2 (107)0.37 (107)0.46 (107)0.61 (107)0.52 (107)5.16 (107)6.63 (107)
preference_planning/WCNF_pathways_p08.wcnf.gz5.81 (182)3.87 (182)5.54 (182)3.3 (182)4.38 (182)3.45 (182)4.19 (182)3.79 (182)72.74 (182)274.3 (182)
preference_planning/WCNF_pathways_p18.wcnf.gz0.36 (228)0.49 (228)0.98 (228)0.92 (228)0.23 (228)0.18 (228)0.25 (228)0.23 (228)2.95 (228)4.0 (228)
preference_planning/WCNF_storage_p04.wcnf.gz0.65 (38)1.84 (38)1.17 (38)0.8 (38)0.52 (38)0.29 (38)0.21 (38)0.42 (38)9.3 (38)7.25 (38)
pseudoBoolean/normalized-factor-size=9-P=7-Q=31.opb.wcnf.gz0.01 (1)0.02 (1)0.13 (1)0.11 (1)0.02 (1)0.02 (1)3600.0 (-)0.01 (1)0.01 (1)0.01 (1)
pseudoBoolean/normalized-factor-size=9-P=83-Q=367.opb.wcnf.gz0.02 (83)0.02 (83)0.14 (83)0.13 (83)0.01 (83)0.01 (83)0.01 (83)0.03 (83)0.07 (83)0.1 (83)
pseudoBoolean/normalized-factor-size=9-P=409-Q=509.opb.wcnf.gz0.01 (409)0.02 (409)0.13 (409)0.13 (409)0.02 (409)0.01 (409)0.01 (409)0.01 (409)0.02 (409)0.04 (409)
pseudoBoolean/normalized-mps-v2-20-10-l152lav.opb.msat.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
pseudoBoolean/normalized-factor-size=9-P=383-Q=509.opb.wcnf.gz0.01 (383)0.03 (383)0.13 (383)0.13 (383)0.01 (383)0.01 (383)0.02 (383)0.03 (383)0.02 (383)0.04 (383)
pseudoBoolean/normalized-factor-size=9-P=347-Q=431.opb.wcnf.gz0.01 (347)0.03 (347)0.14 (347)0.13 (347)0.01 (347)0.01 (347)0.01 (347)0.01 (347)0.1 (347)0.13 (347)
pseudoBoolean/normalized-mps-v2-20-10-p0033.opb.msat.wcnf.gz0.02 (3089)0.12 (3089)0.14 (3089)0.16 (3089)0.02 (3089)0.02 (3089)0.07 (3089)0.02 (3089)1.99 (3089)3.52 (3089)
pseudoBoolean/normalized-factor-size=9-P=97-Q=509.opb.wcnf.gz0.02 (97)0.02 (97)0.13 (97)0.13 (97)0.01 (97)0.01 (97)0.01 (97)0.02 (97)0.02 (97)0.05 (97)
pseudoBoolean/normalized-factor-size=9-P=127-Q=491.opb.wcnf.gz0.01 (127)0.02 (127)0.13 (127)0.19 (127)0.01 (127)0.02 (127)0.02 (127)0.02 (127)0.03 (127)0.04 (127)
railroad_scheduling/Subnetwork_9_weighted.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
railroad_scheduling/MultiDay_3_weighted.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
railroad_scheduling/SingleDay_37_weighted.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
railroad_scheduling/MultiDay_2_weighted.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
railroad_scheduling/Subnetwork_7_weighted.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
railroad_scheduling/SingleDay_15_weighted.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
railroad_scheduling/MultiDay_4_weighted.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
railroad_scheduling/SingleDay_3_weighted.wcnf.gz3600.0 (-)1356.88 (35439)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
staff-scheduling/instance5.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
staff-scheduling/instance12.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
staff-scheduling/instance4.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2718.39 (1716)2589.39 (1716)3600.0 (-)3600.0 (-)3600.0 (-)
staff-scheduling/instance10.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
staff-scheduling/instance6.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
staff-scheduling/instance11.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
staff-scheduling/instance7.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
staff-scheduling/instance2.wcnf.gz1510.76 (828)3600.0 (-)3600.0 (-)3600.0 (-)2071.93 (828)1354.99 (828)1839.95 (828)3600.0 (-)3600.0 (-)3600.0 (-)
staff-scheduling/instance3.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3563.1 (1002)3600.0 (-)3600.0 (-)
staff-scheduling/instance8.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
staff-scheduling/instance1.wcnf.gz0.15 (607)0.76 (607)0.3 (607)0.24 (607)0.11 (607)0.11 (607)0.2 (607)0.07 (607)0.61 (607)1.04 (607)
staff-scheduling/instance9.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
spot5/414.wcsp.dir.wcnf.gz0.23 (38478)9.18 (38478)0.42 (38478)0.39 (38478)0.13 (38478)0.72 (38478)0.6 (38478)1.19 (38478)78.39 (38478)14.74 (38478)
spot5/28.wcsp.dir.wcnf.gz621.65 (270105)3600.0 (-)888.95 (270105)1648.91 (270105)3600.0 (-)5.29 (270105)32.14 (270105)3600.0 (-)3600.0 (-)3600.0 (-)
spot5/503.wcsp.dir.wcnf.gz0.02 (11113)0.04 (11113)0.12 (11113)0.12 (11113)0.01 (11113)0.03 (11113)0.06 (11113)0.01 (11113)0.01 (11113)0.02 (11113)
spot5/404.wcsp.dir.wcnf.gz0.02 (114)0.04 (114)0.12 (114)0.11 (114)0.02 (114)0.05 (114)0.03 (114)0.03 (114)0.04 (114)0.16 (114)
spot5/1401.wcsp.dir.wcnf.gz2654.65 (459106)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)29.04 (459106)85.07 (459106)3600.0 (-)3600.0 (-)3600.0 (-)
spot5/42.wcsp.log.wcnf.gz8.21 (155050)100.82 (155050)2.36 (155050)2.82 (155050)5.94 (155050)0.82 (155050)1.79 (155050)9.64 (155050)1340.31 (155050)359.2 (155050)
spot5/1506.wcsp.log.wcnf.gz3230.76 (354517)474.77 (354517)3600.0 (-)3600.0 (-)3600.0 (-)51.66 (354517)120.49 (354517)3600.0 (-)3600.0 (-)3600.0 (-)
spot5/1504.wcsp.dir.wcnf.gz0.55 (161287)36.83 (161287)0.83 (161287)1.23 (161287)0.81 (161287)1.17 (161287)4.24 (161287)12.85 (161287)167.78 (161287)41.45 (161287)
spot5/1403.wcsp.dir.wcnf.gz2936.15 (459246)3454.38 (459246)3600.0 (-)3600.0 (-)3600.0 (-)20.68 (459246)108.04 (459246)3600.0 (-)3600.0 (-)3600.0 (-)
spot5/29.wcsp.log.wcnf.gz0.01 (8059)0.21 (8059)0.11 (8059)0.11 (8059)0.01 (8059)0.01 (8059)0.02 (8059)0.02 (8059)0.02 (8059)0.09 (8059)
spot5/509.wcsp.log.wcnf.gz0.21 (36446)727.86 (36446)1.14 (36446)1.78 (36446)0.23 (36446)1.14 (36446)1.49 (36446)0.61 (36446)465.55 (36446)662.52 (36446)
Security-CriticalCyber-PhysicalComponents/test14--n-5000.wcnf.gz0.17 (3)0.15 (3)0.44 (3)0.37 (3)0.1 (3)0.02 (3)0.28 (3)0.1 (3)0.19 (3)0.24 (3)
Security-CriticalCyber-PhysicalComponents/test49--n-15000.wcnf.gz3.93 (4)1.35 (4)13.44 (4)11.88 (4)0.41 (4)0.14 (4)1.39 (4)0.41 (4)0.83 (4)1.05 (4)
Security-CriticalCyber-PhysicalComponents/test56--n-15000.wcnf.gz1.76 (138)5.91 (138)11.18 (138)9.3 (138)0.53 (138)8.23 (138)2.93 (138)0.54 (138)0.81 (138)1.15 (138)
Security-CriticalCyber-PhysicalComponents/test39--n-10000.wcnf.gz0.34 (4)0.64 (4)6.22 (4)6.19 (4)0.22 (4)0.65 (4)0.62 (4)0.23 (4)0.41 (4)0.6 (4)
Security-CriticalCyber-PhysicalComponents/test77--n-20000.wcnf.gz2.48 (18)5.97 (18)13.96 (18)12.94 (18)0.64 (18)0.41 (18)1.4 (18)0.59 (18)1.06 (18)1.39 (18)
Security-CriticalCyber-PhysicalComponents/test36--n-10000.wcnf.gz0.64 (33)1.79 (33)6.53 (33)6.17 (33)0.27 (33)0.45 (33)0.6 (33)0.27 (33)0.5 (33)0.64 (33)
Security-CriticalCyber-PhysicalComponents/test40--n-10000.wcnf.gz0.57 (1)0.53 (1)6.36 (1)6.24 (1)0.22 (1)0.45 (1)0.58 (1)0.22 (1)0.46 (1)0.6 (1)
Security-CriticalCyber-PhysicalComponents/test54--n-15000.wcnf.gz1.48 (45)7.61 (45)10.64 (45)9.15 (45)0.47 (45)0.52 (45)1.53 (45)0.47 (45)0.82 (45)1.04 (45)
Security-CriticalCyber-PhysicalComponents/test24--n-10000.wcnf.gz1.95 (57)5.67 (57)10.5 (57)8.23 (57)0.48 (57)5.03 (57)1.81 (57)0.49 (57)0.51 (57)0.75 (57)
Security-CriticalCyber-PhysicalComponents/test65--n-20000.wcnf.gz1.59 (2)2.79 (2)16.87 (2)16.05 (2)0.52 (2)0.28 (2)1.3 (2)0.52 (2)1.14 (2)1.4 (2)
Security-CriticalCyber-PhysicalComponents/test9--n-5000.wcnf.gz0.38 (2)0.65 (2)0.63 (2)0.45 (2)0.12 (2)0.03 (2)0.37 (2)0.12 (2)0.26 (2)0.33 (2)
Security-CriticalCyber-PhysicalComponents/test75--n-20000.wcnf.gz1.63 (5)1.86 (5)13.69 (5)12.77 (5)0.59 (5)0.17 (5)0.98 (5)0.54 (5)1.1 (5)1.4 (5)
Security-CriticalCyber-PhysicalComponents/test11--n-5000.wcnf.gz0.2 (8)0.21 (8)0.5 (8)0.4 (8)0.11 (8)0.17 (8)0.29 (8)0.11 (8)0.2 (8)0.26 (8)
Security-CriticalCyber-PhysicalComponents/test1--n-5000.wcnf.gz0.52 (20)0.5 (20)1.07 (20)0.45 (20)0.15 (20)0.21 (20)0.37 (20)0.16 (20)0.23 (20)0.3 (20)
metro/inst22.lp.sm-extracted.wcnf.gz10.56 (180)23.67 (180)35.9 (180)26.82 (180)5.58 (180)8.5 (180)10.84 (180)222.88 (180)980.17 (180)1500.95 (180)
metro/metro_9_8_7_30_10_6_500_1_0.lp.sm-extracted.wcnf.gz6.17 (41)26.75 (41)49.74 (41)35.15 (41)5.52 (41)40.94 (41)28.42 (41)18.08 (41)293.99 (41)439.39 (41)
metro/metro_9_8_7_22_10_6_500_1_9.lp.sm-extracted.wcnf.gz1.82 (52)13.63 (52)9.98 (52)7.05 (52)1.21 (52)3.72 (52)3.94 (52)1.16 (52)46.4 (52)65.73 (52)
metro/metro_9_9_10_35_13_7_500_2_6.lp.sm-extracted.wcnf.gz2.83 (15)10.05 (15)28.55 (15)27.22 (15)1.82 (15)21.22 (15)14.92 (15)1.55 (15)59.9 (15)82.52 (15)
metro/metro_9_8_7_30_10_6_500_1_3.lp.sm-extracted.wcnf.gz11.76 (44)31.47 (44)73.74 (44)74.94 (44)14.19 (44)63.36 (44)32.99 (44)36.96 (44)595.26 (44)1367.44 (44)
metro/metro_9_9_10_35_13_7_500_2_1.lp.sm-extracted.wcnf.gz4.58 (22)18.68 (22)44.34 (22)42.12 (22)3.58 (22)29.19 (22)17.76 (22)3.16 (22)124.7 (22)248.78 (22)
metro/inst10.lp.sm-extracted.wcnf.gz1.97 (105)1.26 (105)5.49 (105)3.88 (105)0.87 (105)3.18 (105)3.69 (105)2.74 (105)77.02 (105)117.19 (105)
metro/inst2.lp.sm-extracted.wcnf.gz1.43 (97)6.42 (97)4.12 (97)1.83 (97)0.76 (97)0.95 (97)1.19 (97)2.21 (97)95.56 (97)88.73 (97)
metro/metro_8_8_5_20_10_6_500_1_2.lp.sm-extracted.wcnf.gz18.18 (91)1301.04 (91)346.01 (91)223.3 (91)80.84 (91)48.74 (91)39.95 (91)175.19 (91)2356.03 (91)2971.12 (91)
metro/metro_9_8_7_30_10_6_500_1_8.lp.sm-extracted.wcnf.gz75.94 (55)338.52 (55)407.27 (55)316.81 (55)48.8 (55)185.99 (55)162.52 (55)1370.52 (55)3600.0 (-)3600.0 (-)
metro/metro_9_8_7_22_10_6_500_1_7.lp.sm-extracted.wcnf.gz5.16 (42)53.42 (42)30.32 (42)17.81 (42)4.88 (42)23.69 (42)23.89 (42)6.63 (42)112.16 (42)417.54 (42)
metro/metro_8_8_5_20_10_6_500_1_0.lp.sm-extracted.wcnf.gz7.38 (82)316.87 (82)42.81 (82)21.24 (82)10.82 (82)27.31 (82)23.97 (82)27.71 (82)450.41 (82)948.0 (82)
metro/metro_9_8_7_22_10_6_500_1_3.lp.sm-extracted.wcnf.gz2.37 (44)14.54 (44)14.38 (44)7.59 (44)1.71 (44)7.33 (44)6.78 (44)1.55 (44)52.87 (44)147.35 (44)
metro/metro_9_8_7_30_10_6_500_1_5.lp.sm-extracted.wcnf.gz21.02 (47)302.62 (47)184.25 (47)93.58 (47)24.65 (47)103.72 (47)70.58 (47)60.86 (47)908.27 (47)1890.31 (47)
metro/metro_9_8_7_22_10_6_500_1_4.lp.sm-extracted.wcnf.gz2.47 (64)12.89 (64)13.55 (64)12.05 (64)1.36 (64)11.83 (64)10.99 (64)2.56 (64)193.51 (64)269.1 (64)
metro/metro_8_8_5_20_10_6_500_1_7.lp.sm-extracted.wcnf.gz10.73 (89)137.07 (89)77.45 (89)29.85 (89)9.96 (89)18.1 (89)84.75 (89)40.87 (89)720.86 (89)1004.72 (89)
metro/metro_9_9_10_35_13_7_500_2_4.lp.sm-extracted.wcnf.gz8.03 (35)30.39 (35)66.81 (35)82.33 (35)7.92 (35)49.94 (35)49.03 (35)17.43 (35)381.42 (35)1107.82 (35)
CSG/CSGNaive140-140-0.wcnf.gz6.42 (18185)9.87 (18185)17.25 (18185)16.46 (18185)4.65 (18185)2.12 (18185)1.26 (18185)4.64 (18185)22.26 (18185)30.21 (18185)
CSG/CSGNaive60-60-53.wcnf.gz0.3 (9829)0.53 (9829)1.28 (9829)1.26 (9829)0.18 (9829)0.09 (9829)0.07 (9829)0.17 (9829)0.62 (9829)0.87 (9829)
CSG/CSG140-140-6.wcnf.gz47.3 (52385)18.45 (52385)124.73 (52385)225.19 (52385)170.99 (52385)178.91 (52385)107.44 (52385)233.45 (52385)3600.0 (-)3600.0 (-)
CSG/CSGNaive150-150-55.wcnf.gz21.98 (30495)18.56 (30495)80.16 (30495)1310.38 (30495)48.96 (30495)198.14 (30495)98.33 (30495)51.42 (30495)805.76 (30495)619.93 (30495)
CSG/CSG140-140-46.wcnf.gz6.39 (16960)10.01 (16960)17.23 (16960)16.2 (16960)4.72 (16960)2.95 (16960)2.74 (16960)4.65 (16960)19.59 (16960)28.16 (16960)
CSG/CSG60-60-88.wcnf.gz0.28 (7714)0.47 (7714)1.26 (7714)1.26 (7714)0.16 (7714)0.07 (7714)0.08 (7714)0.16 (7714)0.39 (7714)0.69 (7714)
CSG/CSGNaive140-140-6.wcnf.gz61.62 (56309)21.44 (56309)245.65 (56309)1256.24 (56309)194.82 (56309)143.99 (56309)114.78 (56309)226.36 (56309)3600.0 (-)3600.0 (-)
CSG/CSGNaive70-70-91.wcnf.gz0.43 (11177)0.72 (11177)1.81 (11177)1.79 (11177)0.26 (11177)0.08 (11177)0.08 (11177)0.25 (11177)0.94 (11177)1.33 (11177)
CSG/CSG150-150-55.wcnf.gz18.15 (27533)18.64 (27533)73.51 (27533)236.91 (27533)51.24 (27533)142.72 (27533)82.53 (27533)47.23 (27533)1132.42 (27533)1369.48 (27533)
CSG/CSG40-40-95.wcnf.gz0.08 (8847)0.14 (8847)0.42 (8847)0.42 (8847)0.04 (8847)0.02 (8847)0.02 (8847)0.04 (8847)0.1 (8847)0.14 (8847)
drmx-atmostk/drmx-am24-outof-55-emtot-w.wcnf.gz0.99 (31)108.82 (31)10.16 (31)14.02 (31)385.71 (31)0.2 (31)0.19 (31)127.23 (31)929.14 (31)1408.35 (31)
drmx-atmostk/drmx-am24-outof-55-esortn-w.wcnf.gz26.59 (31)30.39 (31)22.86 (31)27.21 (31)547.24 (31)6.67 (31)3.53 (31)168.23 (31)3600.0 (-)3600.0 (-)
drmx-atmostk/drmx-am28-outof-60-ecardn-w.wcnf.gz44.3 (32)75.59 (32)63.07 (32)72.12 (32)1097.04 (32)1.24 (32)2.15 (32)349.5 (32)3600.0 (-)3600.0 (-)
drmx-atmostk/drmx-am12-outof-40-esortn-w.wcnf.gz53.11 (28)1.35 (28)4.57 (28)4.88 (28)6.57 (28)0.36 (28)0.52 (28)2.51 (28)89.1 (28)163.62 (28)
drmx-atmostk/drmx-am24-outof-55-eseqc-w.wcnf.gz1.55 (31)5.38 (31)1.48 (31)2.57 (31)109.53 (31)0.19 (31)0.16 (31)47.37 (31)226.24 (31)213.26 (31)
drmx-atmostk/drmx-am12-outof-40-ecardn-w.wcnf.gz2.41 (28)1.1 (28)3.58 (28)4.0 (28)5.35 (28)0.38 (28)0.42 (28)2.24 (28)867.93 (28)1142.07 (28)
drmx-atmostk/drmx-am24-outof-55-ecardn-w.wcnf.gz56.88 (31)34.55 (31)20.49 (31)25.56 (31)310.04 (31)6.87 (31)5.71 (31)169.3 (31)3600.0 (-)3600.0 (-)
drmx-atmostk/drmx-am12-outof-40-emtot-w.wcnf.gz0.38 (28)20.39 (28)0.87 (28)1.35 (28)1.91 (28)0.02 (28)0.03 (28)13.56 (28)8.68 (28)19.83 (28)
causal-discovery/causal_Alarm_7_1000.wcnf.gz125.6 (526796)366.75 (526796)2009.79 (526796)3600.0 (-)1536.07 (526796)1429.36 (526796)549.11 (526796)3600.0 (-)3600.0 (-)3600.0 (-)
causal-discovery/causal_carpo_9_10000.wcnf.gz1064.47 (1223386)3600.0 (-)3600.0 (-)3600.0 (-)1619.27 (1223386)3135.7 (1223386)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
causal-discovery/causal_Letter_7_20000.wcnf.gz1746.35 (494950)267.42 (494950)3600.0 (-)3600.0 (-)1023.27 (494950)974.56 (494950)861.73 (494950)3600.0 (-)3600.0 (-)3600.0 (-)
causal-discovery/causal_Spectf_10_267.wcnf.gz1298.34 (1485873)2069.87 (1485873)3486.41 (1485873)413.51 (1485873)1425.74 (1485873)2139.31 (1485873)235.88 (1485873)3600.0 (-)3600.0 (-)3600.0 (-)
causal-discovery/causal_Link_9_100.wcnf.gz3600.0 (-)2920.29 (1516100)3600.0 (-)2516.32 (1516100)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
causal-discovery/causal_n6_i9_N10000_uai14_log_int.wcnf.gz2.63 (1913093684)6.32 (1913093684)50.77 (1913093684)551.67 (1913093684)7.1 (1913093684)12.92 (1913093684)9.12 (1913093684)40.54 (1913093684)3600.0 (-)3600.0 (-)
causal-discovery/causal_insurance_9_100.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
causal-discovery/causal_n5_i5_N500_uai13_log_int.wcnf.gz6.04 (46030289)6.09 (46030289)23.98 (46030289)31.71 (46030289)3.46 (46030289)7.47 (46030289)6.31 (46030289)2.69 (46030289)57.47 (46030289)3600.0 (-)
causal-discovery/causal_Diabetes_8_1000.wcnf.gz831.41 (54543894)113.92 (54543894)176.15 (54543894)29.74 (54543894)3600.0 (-)168.1 (54543894)85.71 (54543894)3600.0 (-)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers/wdbc_train_1_CNF_5_20.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers/wdbc_test_0_CNF_1_15.wcnf.gz0.01 (21)0.01 (21)0.11 (21)0.11 (21)0.02 (21)0.01 (21)0.01 (21)0.01 (21)0.01 (21)0.02 (21)
MaxSATQueriesinInterpretableClassifiers/compas_train_1_CNF_5_15.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers/tictactoe_train_0_DNF_3_15.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers/parkinsons_train_0_CNF_3_15.wcnf.gz0.29 (72)129.75 (72)2.82 (72)0.66 (72)0.49 (72)0.72 (72)0.23 (72)5.2 (72)6.23 (72)27.11 (72)
MaxSATQueriesinInterpretableClassifiers/compas_train_1_CNF_1_20.wcnf.gz6.02 (43464)1.11 (43464)178.7 (43464)178.62 (43464)15.58 (43464)154.94 (43464)415.84 (43464)19.56 (43464)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers/parkinsons_test_6_DNF_3_5.wcnf.gz0.01 (20)0.02 (20)0.11 (20)0.11 (20)0.02 (20)0.01 (20)0.01 (20)0.01 (20)0.01 (20)0.01 (20)
MaxSATQueriesinInterpretableClassifiers/toms_train_1_CNF_5_15.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers/transfusion_train_1_DNF_4_10.wcnf.gz0.11 (1608)0.04 (1608)0.44 (1608)0.35 (1608)0.11 (1608)4.75 (1608)1.81 (1608)0.12 (1608)0.14 (1608)0.24 (1608)
MaxSATQueriesinInterpretableClassifiers/credit_train_4_DNF_2_10.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers/transfusion_test_1_CNF_2_20.wcnf.gz0.01 (360)0.01 (360)0.1 (360)0.1 (360)0.01 (360)0.01 (360)0.01 (360)0.01 (360)0.01 (360)0.01 (360)
MaxSATQueriesinInterpretableClassifiers/titanic_train_5_CNF_1_10.wcnf.gz0.09 (2531)0.18 (2531)1.4 (2531)1.36 (2531)0.15 (2531)1.7 (2531)1.34 (2531)0.19 (2531)0.17 (2531)0.34 (2531)
tcp/tcp_students_98_it_7.wcnf.gz1.73 (3363)14.88 (3363)4.92 (3363)3.95 (3363)2.69 (3363)10.83 (3363)23.73 (3363)2.17 (3363)5.3 (3363)60.09 (3363)
tcp/tcp_students_98_it_5.wcnf.gz0.6 (3213)1.46 (3213)2.64 (3213)2.45 (3213)0.21 (3213)0.17 (3213)0.43 (3213)0.2 (3213)1.04 (3213)1.65 (3213)
tcp/tcp_students_112_it_6.wcnf.gz138.36 (2919)1205.23 (2919)145.82 (2919)53.14 (2919)224.56 (2919)216.86 (2919)236.45 (2919)317.63 (2919)926.66 (2919)1133.93 (2919)
tcp/tcp_students_98_it_4.wcnf.gz3.96 (2691)247.77 (2691)14.61 (2691)6.52 (2691)6.68 (2691)6.27 (2691)12.04 (2691)10.27 (2691)57.57 (2691)73.49 (2691)
tcp/tcp_students_98_it_1.wcnf.gz1.96 (2616)87.67 (2616)5.05 (2616)3.69 (2616)1.8 (2616)4.79 (2616)5.63 (2616)0.99 (2616)5.15 (2616)13.05 (2616)
tcp/tcp_students_91_it_12.wcnf.gz2.3 (2166)171.69 (2166)6.04 (2166)3.45 (2166)1.27 (2166)2.74 (2166)8.37 (2166)1.15 (2166)4.43 (2166)17.37 (2166)
tcp/tcp_students_105_it_10.wcnf.gz0.53 (3510)0.36 (3510)2.95 (3510)2.95 (3510)0.17 (3510)0.13 (3510)0.18 (3510)0.17 (3510)0.94 (3510)1.53 (3510)
tcp/tcp_students_105_it_6.wcnf.gz3563.7 (2994)2769.5 (2994)3600.0 (-)2701.9 (2994)3600.0 (-)414.15 (2994)1164.5 (2994)3600.0 (-)3600.0 (-)3600.0 (-)
tcp/tcp_students_91_it_11.wcnf.gz1.85 (2766)15.36 (2766)6.0 (2766)3.66 (2766)1.94 (2766)4.26 (2766)6.12 (2766)1.49 (2766)7.59 (2766)28.89 (2766)
tcp/tcp_students_112_it_1.wcnf.gz5.63 (3513)102.24 (3513)14.69 (3513)8.69 (3513)15.18 (3513)13.68 (3513)24.59 (3513)9.01 (3513)30.06 (3513)134.72 (3513)
tcp/tcp_students_105_it_12.wcnf.gz1.03 (3327)2.73 (3327)3.8 (3327)3.18 (3327)0.48 (3327)0.92 (3327)2.19 (3327)0.52 (3327)1.77 (3327)3.77 (3327)
correlation-clustering/Rounded_CorrelationClustering_Ecoli_BINARY_N300_D0.200.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
correlation-clustering/Rounded_CorrelationClustering_Protein3_BINARY_N300.wcnf.gz3600.0 (-)132.06 (23502864)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
correlation-clustering/Rounded_CorrelationClustering_Protein2_TRANSITIVE_N120.wcnf.gz5.41 (5072948)7.95 (5072948)29.39 (5072948)69.87 (5072948)32.88 (5072948)3600.0 (-)3600.0 (-)28.55 (5072948)3600.0 (-)3600.0 (-)
correlation-clustering/Rounded_CorrelationClustering_Protein4_BINARY_N400.wcnf.gz3600.0 (-)571.68 (17454934)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
correlation-clustering/Rounded_CorrelationClustering_Protein4_TRANSITIVE_N170.wcnf.gz102.24 (3080856)24.45 (3080856)1451.58 (3080856)3600.0 (-)1501.85 (3080856)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
correlation-clustering/Rounded_CorrelationClustering_Protein2_TRANSITIVE_N220.wcnf.gz148.94 (13727551)67.84 (13727551)843.35 (13727551)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
correlation-clustering/Rounded_CorrelationClustering_Protein2_UNARY_N240.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
correlation-clustering/Rounded_CorrelationClustering_Ionosphere_BINARY_N300_D0.200.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
correlation-clustering/Rounded_CorrelationClustering_Protein1_BINARY_N280.wcnf.gz3600.0 (-)53.92 (16636840)134.57 (16636840)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
correlation-clustering/Rounded_CorrelationClustering_Ionosphere_BINARY_N280_D0.200.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
correlation-clustering/Rounded_CorrelationClustering_Protein4_BINARY_N280.wcnf.gz3600.0 (-)161.88 (10669742)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
correlation-clustering/Rounded_CorrelationClustering_Protein3_UNARY_N300.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MinimumWeightDominatingSetProblem/web-wikipedia2009.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MinimumWeightDominatingSetProblem/inf-road-usa.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MinimumWeightDominatingSetProblem/sc-rel9.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MinimumWeightDominatingSetProblem/channel-500x100x100-b050.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MinimumWeightDominatingSetProblem/bn-human-BNU_1_0025865_session_1-bg.wcnf.gz3600.0 (-)1743.62 (119321020)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MinimumWeightDominatingSetProblem/delaunay_n24.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MinimumWeightDominatingSetProblem/hugebubbles-00020.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
rna-alignment/random-same-17.rna.pre.wcnf.gz0.16 (434)0.32 (434)0.43 (434)0.43 (434)1.22 (434)0.51 (434)0.34 (434)2.08 (434)3600.0 (-)3600.0 (-)
rna-alignment/k100-3-96.rna.pre.wcnf.gz36.71 (1977)189.47 (1977)22.77 (1977)22.32 (1977)3600.0 (-)336.87 (1977)183.33 (1977)3600.0 (-)3600.0 (-)3600.0 (-)
rna-alignment/k50-21-38.rna.pre.wcnf.gz0.63 (497)3.19 (497)1.45 (497)1.43 (497)14.72 (497)1.82 (497)2.12 (497)125.24 (497)3600.0 (-)3600.0 (-)
rna-alignment/random-same-24.rna.pre.wcnf.gz0.07 (336)0.19 (336)0.36 (336)0.35 (336)0.35 (336)0.32 (336)0.24 (336)0.62 (336)1058.59 (336)1272.29 (336)
rna-alignment/k50-67-90.rna.pre.wcnf.gz0.55 (487)4.08 (487)1.42 (487)1.35 (487)23.87 (487)2.75 (487)2.5 (487)161.35 (487)3600.0 (-)3600.0 (-)
rna-alignment/random-same-3.rna.pre.wcnf.gz0.44 (874)4.95 (874)1.15 (874)1.17 (874)24.4 (874)2.46 (874)2.49 (874)76.12 (874)3600.0 (-)3600.0 (-)
rna-alignment/random-dif-12.rna.pre.wcnf.gz0.35 (785)6.34 (785)0.68 (785)0.68 (785)64.54 (785)3.53 (785)1.51 (785)361.08 (785)3600.0 (-)3600.0 (-)
rna-alignment/k50-17-24.rna.pre.wcnf.gz0.47 (456)1.67 (456)1.19 (456)1.19 (456)7.34 (456)1.44 (456)1.06 (456)34.29 (456)3600.0 (-)3600.0 (-)
planning/driverlog09.wcsp.wcnf.gz0.39 (960)0.58 (960)1.17 (960)1.28 (960)0.33 (960)0.16 (960)0.26 (960)0.31 (960)6.3 (960)6.84 (960)
planning/rovers02c.wcsp.wcnf.gz0.03 (1660)0.04 (1660)0.18 (1660)0.18 (1660)0.02 (1660)0.02 (1660)0.02 (1660)0.03 (1660)0.03 (1660)0.05 (1660)
planning/bwt3cc.wcsp.dir.wcnf.gz0.01 (177)0.01 (177)0.1 (177)0.1 (177)0.02 (177)0.01 (177)0.01 (177)0.02 (177)0.01 (177)0.02 (177)
planning/driverlog04bc.wcsp.wcnf.gz0.15 (1921)0.18 (1921)0.48 (1921)0.6 (1921)0.1 (1921)0.13 (1921)1.74 (1921)0.15 (1921)2.17 (1921)5.22 (1921)
frb/frb35-17-1.wcnf.gz3.82 (560)8.97 (560)3.51 (560)1.95 (560)3600.0 (-)26.92 (560)13.98 (560)3600.0 (-)3600.0 (-)3600.0 (-)
frb/frb25-13-2.wcnf.gz0.24 (300)0.08 (300)0.65 (300)0.56 (300)3600.0 (-)0.69 (300)1.67 (300)3600.0 (-)3600.0 (-)3600.0 (-)
frb/frb30-15-1.wcnf.gz8.06 (420)113.11 (420)2.25 (420)2.28 (420)3600.0 (-)3.84 (420)8.98 (420)3600.0 (-)3600.0 (-)3600.0 (-)
frb/frb35-17-3.wcnf.gz22.72 (560)123.84 (560)9.64 (560)5.3 (560)3600.0 (-)9.63 (560)14.61 (560)3600.0 (-)3600.0 (-)3600.0 (-)
frb/frb15-9-5.wcnf.gz0.11 (120)0.02 (120)0.41 (120)0.49 (120)0.64 (120)0.07 (120)0.06 (120)0.02 (120)1186.07 (120)401.69 (120)
frb/frb15-9-4.wcnf.gz0.02 (120)0.17 (120)0.23 (120)0.22 (120)0.78 (120)0.08 (120)0.05 (120)0.08 (120)316.81 (120)220.37 (120)
frb/frb25-13-5.wcnf.gz0.4 (300)102.05 (300)0.9 (300)0.58 (300)3600.0 (-)1.61 (300)5.36 (300)3600.0 (-)3600.0 (-)3600.0 (-)
frb/frb30-15-4.wcnf.gz0.8 (420)116.82 (420)1.89 (420)1.05 (420)3600.0 (-)4.12 (420)10.02 (420)3600.0 (-)3600.0 (-)3600.0 (-)
frb/frb20-11-5.wcnf.gz0.07 (200)5.56 (200)0.33 (200)0.32 (200)19.11 (200)0.23 (200)0.21 (200)631.47 (200)3600.0 (-)3600.0 (-)
frb/frb40-19-5.wcnf.gz385.38 (720)108.82 (720)114.4 (720)143.0 (720)3600.0 (-)274.6 (720)310.19 (720)3600.0 (-)3600.0 (-)3600.0 (-)
frb/frb10-6-1.wcnf.gz0.02 (50)0.01 (50)0.11 (50)0.11 (50)0.01 (50)0.01 (50)0.02 (50)0.01 (50)0.27 (50)0.02 (50)
ParametricRBACMaintenance/role_domino_0.45_10.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ParametricRBACMaintenance/role_domino_0.1_2.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ParametricRBACMaintenance/role_smallcomp_0.4_4.wcnf.gz106.16 (222499)321.33 (222499)841.92 (222499)248.12 (222499)109.12 (222499)1091.83 (222499)942.83 (222499)207.78 (222499)3600.0 (-)3600.0 (-)
ParametricRBACMaintenance/role_domino_0.45_11.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ParametricRBACMaintenance/role_domino_1.0_3.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ParametricRBACMaintenance/role_smallcomp_0.85_10.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)567.32 (369639)618.42 (369639)
ParametricRBACMaintenance/role_domino_0.9_0.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ParametricRBACMaintenance/role_smallcomp_0.65_2.wcnf.gz3600.0 (-)3600.0 (-)345.12 (348688)3600.0 (-)1602.97 (348688)3042.7 (348688)3600.0 (-)628.19 (348688)3600.0 (-)3600.0 (-)
ParametricRBACMaintenance/role_domino_0.8_18.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ParametricRBACMaintenance/role_smallcomp_0.5_0.wcnf.gz95.68 (259774)748.36 (259774)3600.0 (-)366.28 (259774)217.59 (259774)1635.86 (259774)2139.82 (259774)125.88 (259774)3600.0 (-)3600.0 (-)
railway-transport/wg2.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
railway-transport/r11.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
railway-transport/bf2030fvcons.wcnf.gz363.2 (3271)209.97 (3271)270.29 (3271)642.14 (3271)203.03 (3271)305.53 (3271)223.23 (3271)3600.0 (-)3600.0 (-)3600.0 (-)
railway-transport/f2030.wcnf.gz1652.34 (4195)3600.0 (-)776.42 (4195)3600.0 (-)3600.0 (-)252.4 (4195)562.27 (4195)3600.0 (-)3600.0 (-)3600.0 (-)
railway-transport/bf2030fvslack.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut/san200_0.7_2.clq.wcnf.gz3600.0 (-)1253.68 (1243)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut/p_hat300-2.clq.wcnf.gz3600.0 (-)29.26 (711)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut/hamming8-4.clq.wcnf.gz3600.0 (-)46.26 (917)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut/brock400_3.clq.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut/san200_0.9_2.clq.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut/hamming6-2.clq.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)