BenchmarkMaxHSMaxHS-MSE16QMaxSATQMaxSATucmaxinoOpen-WBO-OLLLoandra-SLoandra-PLMHSLoandra-IZ3✝Open-WBO-LSUCPLEX✝
auctions/auc-paths/cat_paths_60_130_0000.txt.wcnf0.04 (78708)0.04 (78708)21.06 (78708)22.81 (78708)0.22 (78708)0.37 (78708)0.52 (78708)0.71 (78708)0.07 (78708)0.71 (78708)1927.03 (78708)3600.0 (-)0.02 (78708)
auctions/auc-paths/cat_paths_60_130_0001.txt.wcnf0.04 (80743)0.08 (80743)88.68 (80743)143.42 (80743)0.27 (80743)0.69 (80743)1.6 (80743)0.66 (80743)0.07 (80743)0.68 (80743)1382.1 (80743)3600.0 (-)0.02 (80743)
auctions/auc-paths/cat_paths_60_130_0002.txt.wcnf0.06 (71385)0.05 (71385)319.78 (71385)208.68 (71385)0.48 (71385)0.23 (71385)1.05 (71385)0.55 (71385)0.06 (71385)0.55 (71385)77.9 (71385)3600.0 (-)0.02 (71385)
auctions/auc-paths/cat_paths_60_130_0003.txt.wcnf0.04 (86981)0.04 (86981)48.02 (86981)59.11 (86981)0.58 (86981)0.51 (86981)1.91 (86981)2.17 (86981)0.07 (86981)2.14 (86981)0.77 (86981)3600.0 (-)0.02 (86981)
auctions/auc-paths/cat_paths_60_140_0000.txt.wcnf0.04 (98394)0.04 (98394)30.46 (98394)42.81 (98394)0.08 (98394)0.57 (98394)0.2 (98394)0.59 (98394)0.07 (98394)0.59 (98394)37.26 (98394)3600.0 (-)0.03 (98394)
auctions/auc-paths/cat_paths_60_140_0001.txt.wcnf0.06 (97718)0.08 (97718)800.35 (97718)883.79 (97718)6.15 (97718)14.8 (97718)36.87 (97718)18.39 (97718)0.07 (97718)18.36 (97718)332.89 (97718)3600.0 (-)0.02 (97718)
auctions/auc-paths/cat_paths_60_140_0002.txt.wcnf0.06 (92818)0.08 (92818)914.39 (92818)993.28 (92818)4.03 (92818)41.31 (92818)107.83 (92818)74.54 (92818)0.07 (92818)75.37 (92818)464.11 (92818)3600.0 (-)0.02 (92818)
auctions/auc-paths/cat_paths_60_140_0003.txt.wcnf0.08 (92696)0.07 (92696)3600.0 (-)2336.87 (92696)1.58 (92696)2.26 (92696)13.16 (92696)13.45 (92696)0.08 (92696)12.96 (92696)1745.94 (92696)3600.0 (-)0.02 (92696)
auctions/auc-paths/cat_paths_60_150_0000.txt.wcnf0.09 (82179)0.13 (82179)377.5 (82179)360.09 (82179)3.23 (82179)1.31 (82179)13.44 (82179)11.55 (82179)0.08 (82179)11.05 (82179)639.81 (82179)3600.0 (-)0.03 (82179)
auctions/auc-paths/cat_paths_60_150_0001.txt.wcnf0.08 (92299)0.1 (92299)734.54 (92299)477.06 (92299)7.48 (92299)66.55 (92299)69.12 (92299)333.11 (92299)0.08 (92299)336.42 (92299)3600.0 (-)3600.0 (-)0.03 (92299)
auctions/auc-paths/cat_paths_60_150_0002.txt.wcnf0.07 (101547)0.05 (101547)396.55 (101547)492.56 (101547)0.59 (101547)0.33 (101547)8.34 (101547)1.93 (101547)0.07 (101547)1.93 (101547)3600.0 (-)3600.0 (-)0.02 (101547)
auctions/auc-paths/cat_paths_60_150_0003.txt.wcnf0.07 (106294)0.07 (106294)1703.98 (106294)1757.86 (106294)3.03 (106294)5.62 (106294)16.63 (106294)13.91 (106294)0.09 (106294)14.18 (106294)3600.0 (-)3600.0 (-)0.03 (106294)
auctions/auc-paths/cat_paths_60_160_0000.txt.wcnf0.08 (104199)0.09 (104199)2094.39 (104199)3176.7 (104199)9.02 (104199)7.76 (104199)7.1 (104199)9.86 (104199)0.09 (104199)10.29 (104199)183.65 (104199)3600.0 (-)0.03 (104199)
auctions/auc-paths/cat_paths_60_160_0001.txt.wcnf0.09 (99297)0.09 (99297)1201.12 (99297)1355.05 (99297)6.43 (99297)14.57 (99297)57.72 (99297)21.3 (99297)0.1 (99297)21.24 (99297)3600.0 (-)3600.0 (-)0.03 (99297)
auctions/auc-paths/cat_paths_60_160_0002.txt.wcnf0.13 (102352)0.17 (102352)3600.0 (-)3600.0 (-)528.85 (102352)609.29 (102352)3600.0 (-)3600.0 (-)0.08 (102352)3600.0 (-)3600.0 (-)3600.0 (-)0.03 (102352)
auctions/auc-paths/cat_paths_60_160_0003.txt.wcnf0.06 (107262)0.07 (107262)3600.0 (-)3600.0 (-)4.31 (107262)3.92 (107262)13.99 (107262)1.82 (107262)0.09 (107262)1.82 (107262)3600.0 (-)3600.0 (-)0.03 (107262)
auctions/auc-paths/cat_paths_60_170_0000.txt.wcnf0.23 (122170)0.26 (122170)3600.0 (-)3600.0 (-)17.31 (122170)19.29 (122170)39.72 (122170)23.19 (122170)0.1 (122170)22.87 (122170)3600.0 (-)3600.0 (-)0.04 (122170)
auctions/auc-paths/cat_paths_60_170_0003.txt.wcnf0.14 (122748)0.15 (122748)1755.5 (122748)1920.7 (122748)9.17 (122748)11.74 (122748)25.28 (122748)16.47 (122748)0.1 (122748)16.43 (122748)3600.0 (-)3600.0 (-)0.03 (122748)
auctions/auc-paths/cat_paths_60_170_0004.txt.wcnf0.1 (99105)0.1 (99105)3600.0 (-)3600.0 (-)35.9 (99105)390.27 (99105)1085.25 (99105)2659.93 (99105)0.09 (99105)2661.8 (99105)3600.0 (-)3600.0 (-)0.03 (99105)
auctions/auc-paths/cat_paths_60_170_0005.txt.wcnf0.25 (114493)0.26 (114493)3600.0 (-)3600.0 (-)468.65 (114493)1246.43 (114493)3600.0 (-)3600.0 (-)0.09 (114493)3600.0 (-)3600.0 (-)3600.0 (-)0.02 (114493)
auctions/auc-scheduling/cat_sched_60_160_0000.txt.wcnf0.06 (42672)0.04 (42672)11.87 (42672)15.4 (42672)0.02 (42672)0.01 (42672)0.02 (42672)0.15 (42672)0.23 (42672)0.15 (42672)0.29 (42672)498.19 (42672)0.04 (42672)
auctions/auc-scheduling/cat_sched_60_160_0001.txt.wcnf0.06 (72012)0.05 (72012)2.34 (72012)2.41 (72012)0.02 (72012)0.02 (72012)0.02 (72012)0.22 (72012)0.36 (72012)0.23 (72012)0.54 (72012)3600.0 (-)0.05 (72012)
auctions/auc-scheduling/cat_sched_60_160_0002.txt.wcnf0.1 (173386)0.07 (173386)2.59 (173386)2.42 (173386)0.03 (173386)0.03 (173386)0.04 (173386)0.24 (173386)0.37 (173386)0.24 (173386)0.71 (173386)3600.0 (-)0.26 (173386)
auctions/auc-scheduling/cat_sched_60_160_0003.txt.wcnf0.07 (118883)0.05 (118883)2.51 (118883)2.36 (118883)0.02 (118883)0.02 (118883)0.02 (118883)0.21 (118883)0.31 (118883)0.21 (118883)0.4 (118883)3600.0 (-)0.07 (118883)
auctions/auc-scheduling/cat_sched_60_170_0000.txt.wcnf0.07 (128737)0.05 (128737)2.06 (128737)2.6 (128737)0.02 (128737)0.02 (128737)0.02 (128737)0.21 (128737)0.33 (128737)0.21 (128737)0.42 (128737)811.25 (128737)0.06 (128737)
auctions/auc-scheduling/cat_sched_60_170_0001.txt.wcnf0.08 (62218)0.06 (62218)1.29 (62218)1.53 (62218)0.03 (62218)0.02 (62218)0.03 (62218)0.26 (62218)0.37 (62218)0.26 (62218)1.14 (62218)867.71 (62218)0.06 (62218)
auctions/auc-scheduling/cat_sched_60_170_0002.txt.wcnf0.05 (64664)0.04 (64664)2.23 (64664)2.36 (64664)0.02 (64664)0.02 (64664)0.02 (64664)0.28 (64664)0.4 (64664)0.28 (64664)0.49 (64664)3600.0 (-)0.05 (64664)
auctions/auc-scheduling/cat_sched_60_170_0003.txt.wcnf0.07 (169415)0.06 (169415)2.98 (169415)3.93 (169415)0.03 (169415)0.02 (169415)0.02 (169415)0.36 (169415)0.51 (169415)0.36 (169415)1.11 (169415)3600.0 (-)0.09 (169415)
auctions/auc-scheduling/cat_sched_60_180_0000.txt.wcnf0.09 (112247)0.06 (112247)2.36 (112247)2.1 (112247)0.03 (112247)0.02 (112247)0.02 (112247)0.28 (112247)0.44 (112247)0.29 (112247)0.39 (112247)3600.0 (-)0.08 (112247)
auctions/auc-scheduling/cat_sched_60_180_0001.txt.wcnf0.1 (154599)0.07 (154599)1.09 (154599)1.23 (154599)0.03 (154599)0.02 (154599)0.03 (154599)0.21 (154599)0.35 (154599)0.2 (154599)0.98 (154599)3600.0 (-)0.36 (154599)
auctions/auc-scheduling/cat_sched_60_180_0002.txt.wcnf0.08 (95338)0.06 (95338)4.3 (95338)4.15 (95338)0.03 (95338)0.02 (95338)0.03 (95338)0.39 (95338)0.56 (95338)0.39 (95338)1.8 (95338)3600.0 (-)0.06 (95338)
auctions/auc-scheduling/cat_sched_60_180_0003.txt.wcnf0.09 (104416)0.06 (104416)2.1 (104416)2.54 (104416)0.03 (104416)0.02 (104416)0.03 (104416)0.27 (104416)0.42 (104416)0.27 (104416)0.62 (104416)3600.0 (-)0.06 (104416)
auctions/auc-scheduling/cat_sched_60_190_0000.txt.wcnf0.09 (152878)0.07 (152878)1.78 (152878)1.72 (152878)0.03 (152878)0.02 (152878)0.03 (152878)0.34 (152878)0.49 (152878)0.34 (152878)2.74 (152878)3600.0 (-)0.09 (152878)
auctions/auc-scheduling/cat_sched_60_190_0001.txt.wcnf0.07 (71645)0.06 (71645)1.61 (71645)1.76 (71645)0.03 (71645)0.03 (71645)0.04 (71645)0.29 (71645)0.46 (71645)0.29 (71645)11.45 (71645)3600.0 (-)0.06 (71645)
auctions/auc-scheduling/cat_sched_60_190_0002.txt.wcnf0.11 (90463)0.08 (90463)1.74 (90463)1.45 (90463)0.04 (90463)0.03 (90463)0.03 (90463)0.28 (90463)0.45 (90463)0.28 (90463)6.57 (90463)3600.0 (-)0.1 (90463)
auctions/auc-scheduling/cat_sched_60_190_0003.txt.wcnf0.07 (87812)0.05 (87812)2.36 (87812)2.2 (87812)0.02 (87812)0.02 (87812)0.02 (87812)0.19 (87812)0.32 (87812)0.19 (87812)0.37 (87812)3600.0 (-)0.05 (87812)
auctions/auc-scheduling/cat_sched_60_200_0000.txt.wcnf0.14 (242832)0.09 (242832)5.96 (242832)5.31 (242832)0.04 (242832)0.15 (242832)0.04 (242832)0.37 (242832)0.59 (242832)0.37 (242832)13.95 (242832)3600.0 (-)0.62 (242832)
auctions/auc-scheduling/cat_sched_60_200_0001.txt.wcnf0.07 (46823)0.05 (46823)39.89 (46823)38.3 (46823)0.02 (46823)0.02 (46823)0.02 (46823)0.2 (46823)0.32 (46823)0.19 (46823)0.36 (46823)752.7 (46823)0.05 (46823)
auctions/auc-scheduling/cat_sched_60_200_0002.txt.wcnf0.13 (145851)0.08 (145851)3.15 (145851)2.96 (145851)0.03 (145851)0.02 (145851)0.03 (145851)0.22 (145851)0.39 (145851)0.23 (145851)1.11 (145851)3600.0 (-)0.07 (145851)
auctions/auc-scheduling/cat_sched_60_200_0003.txt.wcnf0.12 (187411)0.08 (187411)2.49 (187411)2.54 (187411)0.03 (187411)0.02 (187411)0.02 (187411)0.23 (187411)0.4 (187411)0.23 (187411)24.97 (187411)3600.0 (-)0.09 (187411)
automated-reasoning/af-synthesis/af-synthesis_stb_50_100_3.wcnf2031.85 (104)3600.0 (-)866.47 (104)1081.83 (104)1778.23 (104)1651.46 (104)2044.29 (104)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)328.61 (104)3600.0 (-)
automated-reasoning/af-synthesis/af-synthesis_stb_50_100_4.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1392.3 (123)3600.0 (-)
automated-reasoning/af-synthesis/af-synthesis_stb_50_100_9.wcnf3600.0 (-)3600.0 (-)1033.75 (108)1041.49 (108)2955.08 (108)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)672.72 (108)3600.0 (-)
automated-reasoning/af-synthesis/af-synthesis_stb_50_120_2.wcnf2106.63 (107)2517.54 (107)623.0 (107)551.15 (107)3600.0 (-)3189.81 (107)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)381.89 (107)3600.0 (-)
automated-reasoning/af-synthesis/af-synthesis_stb_50_120_3.wcnf2286.26 (100)1700.65 (100)569.31 (100)837.81 (100)2782.2 (100)1996.0 (100)2397.54 (100)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)284.21 (100)3600.0 (-)
automated-reasoning/af-synthesis/af-synthesis_stb_50_120_4.wcnf3600.0 (-)3600.0 (-)1325.63 (117)1189.63 (117)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)660.69 (117)3600.0 (-)
automated-reasoning/af-synthesis/af-synthesis_stb_50_120_5.wcnf3600.0 (-)3600.0 (-)1053.24 (114)1093.08 (114)2539.57 (114)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)360.92 (114)3600.0 (-)
automated-reasoning/af-synthesis/af-synthesis_stb_50_120_7.wcnf3600.0 (-)3600.0 (-)1725.32 (120)1531.46 (120)3344.42 (120)2885.31 (120)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)709.67 (120)3600.0 (-)
automated-reasoning/af-synthesis/af-synthesis_stb_50_120_9.wcnf3600.0 (-)3600.0 (-)1520.33 (114)2002.56 (114)3600.0 (-)2899.82 (114)3547.64 (114)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)570.8 (114)3600.0 (-)
automated-reasoning/af-synthesis/af-synthesis_stb_50_140_0.wcnf3600.0 (-)3600.0 (-)1510.4 (120)1177.66 (120)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)921.06 (120)3600.0 (-)
automated-reasoning/af-synthesis/af-synthesis_stb_50_140_1.wcnf3600.0 (-)3600.0 (-)3485.23 (127)2763.01 (127)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)558.58 (127)3600.0 (-)
automated-reasoning/af-synthesis/af-synthesis_stb_50_140_5.wcnf3600.0 (-)3600.0 (-)1765.16 (117)1731.65 (117)2636.96 (117)1550.21 (117)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)515.0 (117)3600.0 (-)
automated-reasoning/af-synthesis/af-synthesis_stb_50_140_7.wcnf3600.0 (-)3600.0 (-)2045.12 (109)1398.65 (109)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)908.39 (109)3600.0 (-)
automated-reasoning/af-synthesis/af-synthesis_stb_50_140_8.wcnf3600.0 (-)3600.0 (-)2300.96 (113)2037.14 (113)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)976.42 (113)3600.0 (-)
automated-reasoning/af-synthesis/af-synthesis_stb_50_160_1.wcnf3600.0 (-)3600.0 (-)908.33 (108)1112.04 (108)3512.64 (108)3266.57 (108)2677.57 (108)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)553.79 (108)3600.0 (-)
automated-reasoning/af-synthesis/af-synthesis_stb_50_160_4.wcnf3600.0 (-)3600.0 (-)1582.21 (123)1315.08 (123)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)496.96 (123)3600.0 (-)
automated-reasoning/af-synthesis/af-synthesis_stb_50_160_5.wcnf3600.0 (-)3600.0 (-)2835.85 (113)2064.98 (113)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)673.4 (113)3600.0 (-)
automated-reasoning/af-synthesis/af-synthesis_stb_50_160_9.wcnf3499.88 (113)2798.38 (113)457.18 (113)841.72 (113)1510.94 (113)913.02 (113)1396.91 (113)2660.71 (113)3600.0 (-)2673.8 (113)3600.0 (-)187.92 (113)3600.0 (-)
automated-reasoning/af-synthesis/af-synthesis_stb_50_180_1.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2100.67 (130)3600.0 (-)
automated-reasoning/af-synthesis/af-synthesis_stb_50_200_0.wcnf3600.0 (-)3600.0 (-)1741.07 (124)1170.02 (124)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)429.01 (124)3600.0 (-)
automated-reasoning/af-synthesis/af-synthesis_stb_50_200_4.wcnf1481.88 (105)1107.24 (105)649.51 (105)766.72 (105)3565.74 (105)3498.34 (105)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)288.55 (105)3600.0 (-)
automated-reasoning/af-synthesis/af-synthesis_stb_50_200_5.wcnf3600.0 (-)3600.0 (-)1000.4 (102)880.77 (102)2816.69 (102)1576.6 (102)3597.39 (102)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)560.93 (102)3600.0 (-)
automated-reasoning/af-synthesis/af-synthesis_stb_50_200_6.wcnf3600.0 (-)3600.0 (-)2829.97 (111)2301.06 (111)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)720.16 (111)3600.0 (-)
automated-reasoning/af-synthesis/af-synthesis_stb_50_20_8.wcnf3600.0 (-)3600.0 (-)1963.39 (120)1767.86 (120)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)966.29 (120)3600.0 (-)
automated-reasoning/af-synthesis/af-synthesis_stb_50_40_0.wcnf3600.0 (-)3600.0 (-)459.5 (111)366.35 (111)645.88 (111)665.24 (111)1166.27 (111)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)187.89 (111)3600.0 (-)
automated-reasoning/af-synthesis/af-synthesis_stb_50_40_2.wcnf3600.0 (-)3600.0 (-)828.38 (97)729.15 (97)2781.33 (97)2076.3 (97)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)329.19 (97)3600.0 (-)
automated-reasoning/af-synthesis/af-synthesis_stb_50_40_6.wcnf3600.0 (-)3600.0 (-)1497.54 (115)1727.29 (115)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)564.18 (115)3600.0 (-)
automated-reasoning/af-synthesis/af-synthesis_stb_50_40_8.wcnf3600.0 (-)3600.0 (-)890.5 (117)1861.68 (117)3600.0 (-)3226.37 (117)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)362.57 (117)3600.0 (-)
automated-reasoning/af-synthesis/af-synthesis_stb_50_40_9.wcnf3600.0 (-)3600.0 (-)3275.28 (132)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)939.88 (132)3600.0 (-)
automated-reasoning/af-synthesis/af-synthesis_stb_50_60_2.wcnf3600.0 (-)3600.0 (-)1149.21 (117)1474.11 (117)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)330.59 (117)3600.0 (-)
automated-reasoning/af-synthesis/af-synthesis_stb_50_60_3.wcnf3600.0 (-)3600.0 (-)1150.8 (115)899.78 (115)2303.83 (115)1670.26 (115)2242.97 (115)3270.77 (115)3600.0 (-)3266.22 (115)3467.47 (115)248.87 (115)3600.0 (-)
automated-reasoning/af-synthesis/af-synthesis_stb_50_80_2.wcnf432.32 (105)998.69 (105)508.54 (105)461.89 (105)1070.67 (105)575.74 (105)2030.46 (105)3498.66 (105)2736.89 (105)3498.53 (105)3600.0 (-)162.79 (105)3600.0 (-)
automated-reasoning/af-synthesis/af-synthesis_stb_50_80_3.wcnf3600.0 (-)3600.0 (-)763.0 (113)788.04 (113)2735.78 (113)2867.21 (113)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)306.52 (113)3600.0 (-)
automated-reasoning/af-synthesis/af-synthesis_stb_50_80_7.wcnf3600.0 (-)3600.0 (-)1243.07 (115)1370.97 (115)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)594.85 (115)3600.0 (-)
automated-reasoning/af-synthesis/af-synthesis_stb_50_80_8.wcnf3600.0 (-)3600.0 (-)2025.32 (116)1435.26 (116)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)810.0 (116)3600.0 (-)
bioinformatics/biorepair/Stat_vs_Exp_142_12.lp.sm-extracted.wcnf4.32 (4)5.27 (4)8.38 (4)2.93 (4)1.79 (4)18.73 (4)2.77 (4)4.52 (4)3.88 (4)4.54 (4)41.74 (4)6.6 (4)52.14 (4)
bioinformatics/biorepair/Stat_vs_Exp_151_12.lp.sm-extracted.wcnf4.78 (5)5.54 (5)13.3 (5)2.83 (5)1.86 (5)18.71 (5)2.62 (5)3.77 (5)3.81 (5)3.75 (5)41.7 (5)5.2 (5)44.36 (5)
bioinformatics/biorepair/Stat_vs_Exp_16_12.lp.sm-extracted.wcnf4.67 (5)5.26 (5)7.64 (5)2.86 (5)1.81 (5)19.36 (5)2.22 (5)4.02 (5)3.91 (5)4.02 (5)41.76 (5)4.98 (5)41.16 (5)
bioinformatics/biorepair/Stat_vs_Exp_176_12.lp.sm-extracted.wcnf4.24 (3)5.11 (3)8.31 (3)2.73 (3)1.78 (3)19.19 (3)3.3 (3)4.73 (3)3.79 (3)4.75 (3)41.6 (3)2.66 (3)41.88 (3)
bioinformatics/biorepair/Stat_vs_Exp_58_12.lp.sm-extracted.wcnf4.29 (4)5.35 (4)7.18 (4)2.72 (4)1.79 (4)19.27 (4)2.73 (4)4.15 (4)3.81 (4)4.15 (4)41.86 (4)4.47 (4)43.08 (4)
bioinformatics/biorepair/Stat_vs_Exp_72_12.lp.sm-extracted.wcnf4.53 (5)5.29 (5)9.04 (5)3.09 (5)1.87 (5)18.66 (5)2.23 (5)4.11 (5)3.91 (5)4.22 (5)41.6 (5)5.97 (5)41.77 (5)
bioinformatics/biorepair/heatShock_WT_109_12.lp.sm-extracted.wcnf4.07 (1)4.89 (1)5.49 (1)1.77 (1)1.73 (1)18.66 (1)2.34 (1)3.75 (1)3.69 (1)3.75 (1)41.65 (1)2.62 (1)39.23 (1)
bioinformatics/biorepair/heatShock_WT_121_12.lp.sm-extracted.wcnf4.33 (3)5.1 (3)7.74 (3)2.48 (3)1.78 (3)19.05 (3)2.74 (3)4.43 (3)3.75 (3)4.34 (3)42.2 (3)3.39 (3)55.34 (3)
bioinformatics/biorepair/heatShock_WT_124_12.lp.sm-extracted.wcnf4.17 (2)4.95 (2)6.98 (2)2.54 (2)1.74 (2)18.75 (2)2.55 (2)4.5 (2)3.75 (2)4.49 (2)42.08 (2)4.58 (2)45.79 (2)
bioinformatics/biorepair/heatShock_WT_134_12.lp.sm-extracted.wcnf4.29 (4)5.12 (4)7.61 (4)2.51 (4)1.82 (4)18.85 (4)3.57 (4)5.16 (4)3.84 (4)5.14 (4)42.26 (4)4.14 (4)56.14 (4)
bioinformatics/biorepair/heatShock_WT_145_12.lp.sm-extracted.wcnf4.07 (1)4.88 (1)6.44 (1)1.93 (1)1.74 (1)18.67 (1)2.48 (1)4.39 (1)3.62 (1)4.39 (1)41.47 (1)3.65 (1)43.83 (1)
bioinformatics/biorepair/heatShock_WT_148_12.lp.sm-extracted.wcnf4.11 (1)4.84 (1)7.57 (1)1.62 (1)1.7 (1)18.79 (1)3.44 (1)4.85 (1)3.61 (1)4.85 (1)41.55 (1)3.21 (1)44.98 (1)
bioinformatics/biorepair/heatShock_WT_151_12.lp.sm-extracted.wcnf4.59 (7)5.37 (7)32.68 (7)3.46 (7)1.88 (7)19.14 (7)2.47 (7)3.85 (7)3.93 (7)3.87 (7)42.0 (7)24.39 (7)64.83 (7)
bioinformatics/biorepair/heatShock_WT_154_12.lp.sm-extracted.wcnf4.2 (2)4.99 (2)8.31 (2)2.41 (2)1.76 (2)18.97 (2)3.12 (2)4.58 (2)3.73 (2)4.59 (2)41.78 (2)3.39 (2)50.2 (2)
bioinformatics/biorepair/heatShock_WT_157_12.lp.sm-extracted.wcnf4.23 (3)5.01 (3)5.99 (3)2.51 (3)1.77 (3)19.99 (3)2.41 (3)4.09 (3)3.77 (3)4.1 (3)42.11 (3)5.13 (3)44.06 (3)
bioinformatics/biorepair/heatShock_WT_161_12.lp.sm-extracted.wcnf4.19 (2)4.94 (2)8.8 (2)2.64 (2)1.77 (2)21.2 (2)2.32 (2)3.89 (2)3.73 (2)3.96 (2)41.56 (2)2.44 (2)42.62 (2)
bioinformatics/biorepair/heatShock_WT_165_12.lp.sm-extracted.wcnf4.38 (5)5.12 (5)9.12 (5)2.85 (5)1.81 (5)18.92 (5)2.84 (5)4.73 (5)3.86 (5)4.74 (5)41.86 (5)5.54 (5)44.58 (5)
bioinformatics/biorepair/heatShock_WT_175_12.lp.sm-extracted.wcnf4.38 (5)5.11 (5)8.82 (5)2.48 (5)1.82 (5)18.65 (5)2.83 (5)4.31 (5)3.84 (5)4.32 (5)41.83 (5)3.9 (5)52.43 (5)
bioinformatics/biorepair/heatShock_WT_185_12.lp.sm-extracted.wcnf3.97 (0)4.78 (0)8.07 (0)0.62 (0)1.63 (0)18.57 (0)2.66 (0)4.21 (0)3.76 (0)4.17 (0)41.54 (0)3.46 (0)31.13 (0)
bioinformatics/biorepair/heatShock_WT_192_12.lp.sm-extracted.wcnf4.63 (1)5.29 (1)6.71 (1)1.52 (1)1.74 (1)18.68 (1)3.07 (1)4.53 (1)3.62 (1)4.5 (1)41.42 (1)4.22 (1)47.67 (1)
bioinformatics/biorepair/heatShock_WT_196_12.lp.sm-extracted.wcnf4.38 (4)5.16 (4)7.28 (4)2.84 (4)1.8 (4)19.83 (4)2.62 (4)4.51 (4)4.01 (4)4.59 (4)42.82 (4)4.37 (4)39.65 (4)
bioinformatics/biorepair/heatShock_WT_21_12.lp.sm-extracted.wcnf4.13 (2)4.94 (2)8.57 (2)2.68 (2)1.75 (2)18.76 (2)2.85 (2)4.22 (2)3.74 (2)4.23 (2)41.52 (2)2.56 (2)43.6 (2)
bioinformatics/biorepair/heatShock_WT_26_12.lp.sm-extracted.wcnf4.32 (4)5.1 (4)9.17 (4)2.33 (4)1.77 (4)19.64 (4)2.89 (4)4.58 (4)3.99 (4)4.6 (4)42.72 (4)7.62 (4)40.38 (4)
bioinformatics/biorepair/heatShock_WT_28_12.lp.sm-extracted.wcnf4.51 (6)5.29 (6)12.94 (6)3.93 (6)1.86 (6)19.12 (6)3.17 (6)4.63 (6)3.88 (6)4.61 (6)41.69 (6)12.04 (6)44.94 (6)
bioinformatics/biorepair/heatShock_WT_2_12.lp.sm-extracted.wcnf4.22 (2)4.97 (2)8.0 (2)2.78 (2)1.75 (2)18.84 (2)2.83 (2)4.79 (2)3.61 (2)4.66 (2)41.77 (2)3.99 (2)40.27 (2)
bioinformatics/biorepair/heatShock_WT_30_12.lp.sm-extracted.wcnf4.65 (5)5.41 (5)12.84 (5)2.95 (5)1.88 (5)19.89 (5)3.08 (5)4.38 (5)4.0 (5)4.4 (5)41.61 (5)6.87 (5)61.8 (5)
bioinformatics/biorepair/heatShock_WT_36_12.lp.sm-extracted.wcnf4.4 (5)5.11 (5)7.89 (5)3.44 (5)1.81 (5)19.82 (5)2.39 (5)4.71 (5)3.91 (5)4.68 (5)42.34 (5)6.52 (5)51.19 (5)
bioinformatics/biorepair/heatShock_WT_42_12.lp.sm-extracted.wcnf4.07 (1)4.89 (1)9.07 (1)1.92 (1)1.72 (1)19.61 (1)3.79 (1)5.12 (1)3.61 (1)5.11 (1)41.83 (1)1.9 (1)42.01 (1)
bioinformatics/biorepair/heatShock_WT_43_12.lp.sm-extracted.wcnf4.23 (3)4.99 (3)7.11 (3)1.88 (3)1.76 (3)18.97 (3)3.25 (3)4.68 (3)3.79 (3)4.66 (3)41.82 (3)3.83 (3)53.43 (3)
bioinformatics/biorepair/heatShock_WT_84_12.lp.sm-extracted.wcnf4.13 (2)4.96 (2)11.18 (2)2.82 (2)1.74 (2)18.79 (2)2.76 (2)4.28 (2)3.74 (2)4.3 (2)41.64 (2)3.4 (2)41.41 (2)
bioinformatics/haplotyping-pedigrees/ped2.G.recomb10-0.10-10.wcnf464.21 (57616)738.02 (57616)3600.0 (-)3343.16 (57616)17.41 (57616)14.67 (57616)4.1 (57616)9.4 (57616)1505.55 (57616)9.41 (57616)148.26 (57616)47.46 (57616)3600.0 (-)
bioinformatics/haplotyping-pedigrees/ped2.G.recomb10-0.10-7.wcnf394.87 (52383)460.92 (52383)3332.95 (52383)3335.97 (52383)20.52 (52383)20.3 (52383)4.76 (52383)10.11 (52383)3600.0 (-)10.1 (52383)157.45 (52383)51.7 (52383)3600.0 (-)
bioinformatics/haplotyping-pedigrees/ped2.G.recomb10-0.10-9.wcnf215.9 (47741)298.73 (47741)1603.84 (47741)1694.74 (47741)13.27 (47741)6.98 (47741)3.15 (47741)8.28 (47741)409.02 (47741)8.31 (47741)133.83 (47741)36.75 (47741)3600.0 (-)
bioinformatics/haplotyping-pedigrees/ped2.G.recomb10-0.20-12.wcnf1064.93 (54713)2266.5 (54713)3600.0 (-)3600.0 (-)24.23 (54713)82.71 (54713)7.21 (54713)14.93 (54713)3600.0 (-)14.8 (54713)247.43 (54713)63.46 (54713)3600.0 (-)
bioinformatics/haplotyping-pedigrees/ped2.G.recomb10-0.20-13.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)36.32 (40755)3600.0 (-)787.52 (40755)44.87 (40755)3600.0 (-)45.6 (40755)2344.52 (40755)742.44 (40755)3600.0 (-)
bioinformatics/haplotyping-pedigrees/ped2.G.recomb10-0.20-15.wcnf1227.28 (47725)2340.1 (47725)3600.0 (-)3600.0 (-)29.69 (47725)154.63 (47725)11.47 (47725)18.85 (47725)3600.0 (-)18.92 (47725)237.67 (47725)81.37 (47725)3600.0 (-)
bioinformatics/haplotyping-pedigrees/ped3.D.recomb10-0.20-11.wcnf3.87 (690)7.68 (690)1.21 (690)2.27 (690)0.63 (690)1.58 (690)0.7 (690)2.21 (690)52.74 (690)2.2 (690)14.62 (690)1.11 (690)3600.0 (-)
bioinformatics/haplotyping-pedigrees/ped3.D.recomb10-0.20-12.wcnf1.37 (349)1.23 (349)0.32 (349)0.31 (349)0.37 (349)0.25 (349)0.26 (349)1.77 (349)3.46 (349)1.77 (349)11.64 (349)0.36 (349)268.13 (349)
bioinformatics/haplotyping-pedigrees/ped3.D.recomb10-0.20-13.wcnf18.01 (350)37.29 (350)0.95 (350)1.56 (350)0.98 (350)0.51 (350)0.87 (350)2.76 (350)32.11 (350)2.78 (350)12.56 (350)0.71 (350)3600.0 (-)
bioinformatics/haplotyping-pedigrees/ped3.D.recomb10-0.20-15.wcnf118.44 (689)79.66 (689)2.58 (689)6.82 (689)2.87 (689)2.05 (689)1.89 (689)3.76 (689)3600.0 (-)3.7 (689)83.5 (689)5.11 (689)3600.0 (-)
bioinformatics/haplotyping-pedigrees/ped3.E.recomb10-0.20-11.wcnf72.56 (9588)66.24 (9588)65.96 (9588)61.66 (9588)2.42 (9588)1.6 (9588)0.93 (9588)3.61 (9588)165.29 (9588)3.63 (9588)37.19 (9588)4.16 (9588)3600.0 (-)
bioinformatics/haplotyping-pedigrees/ped3.E.recomb10-0.20-13.wcnf63.93 (8559)65.56 (8559)51.64 (8559)50.78 (8559)2.11 (8559)2.3 (8559)1.33 (8559)3.83 (8559)652.85 (8559)3.86 (8559)35.74 (8559)5.08 (8559)3600.0 (-)
bioinformatics/haplotyping-pedigrees/ped3.E.recomb10-0.20-14.wcnf635.37 (8555)1047.18 (8555)108.53 (8555)157.27 (8555)5.57 (8555)15.13 (8555)2.91 (8555)7.21 (8555)3600.0 (-)7.16 (8555)115.58 (8555)13.33 (8555)3600.0 (-)
bioinformatics/haplotyping-pedigrees/ped3.F.recomb10-0.01-1.wcnf6.88 (6853)8.5 (6853)16.81 (6853)14.71 (6853)0.8 (6853)0.63 (6853)0.47 (6853)1.98 (6853)12.59 (6853)1.99 (6853)19.96 (6853)1.94 (6853)3600.0 (-)
bioinformatics/haplotyping-pedigrees/ped3.F.recomb10-0.01-2.wcnf10.86 (8900)12.22 (8900)18.35 (8900)14.34 (8900)0.99 (8900)0.51 (8900)0.44 (8900)2.2 (8900)19.13 (8900)2.22 (8900)18.73 (8900)2.04 (8900)1339.12 (8900)
bioinformatics/haplotyping-pedigrees/ped3.F.recomb10-0.01-3.wcnf10.34 (7193)9.01 (7193)18.58 (7193)13.47 (7193)0.86 (7193)0.53 (7193)0.5 (7193)1.89 (7193)17.5 (7193)1.9 (7193)22.71 (7193)1.48 (7193)962.57 (7193)
bioinformatics/haplotyping-pedigrees/ped3.F.recomb10-0.01-4.wcnf13.21 (5483)17.03 (5483)10.96 (5483)10.01 (5483)0.97 (5483)0.61 (5483)0.56 (5483)2.16 (5483)25.82 (5483)2.17 (5483)23.32 (5483)1.94 (5483)3600.0 (-)
bioinformatics/haplotyping-pedigrees/ped3.F.recomb10-0.10-10.wcnf34.81 (7537)23.91 (7537)17.32 (7537)22.66 (7537)1.26 (7537)1.29 (7537)0.68 (7537)2.68 (7537)86.62 (7537)2.68 (7537)27.45 (7537)2.73 (7537)3600.0 (-)
bioinformatics/haplotyping-pedigrees/ped3.F.recomb10-0.10-6.wcnf15.69 (6517)18.48 (6517)13.95 (6517)18.78 (6517)1.13 (6517)0.75 (6517)0.65 (6517)2.82 (6517)46.56 (6517)2.82 (6517)26.91 (6517)2.33 (6517)3600.0 (-)
bioinformatics/haplotyping-pedigrees/ped3.F.recomb10-0.10-7.wcnf75.44 (8905)41.58 (8905)33.4 (8905)37.12 (8905)1.62 (8905)1.03 (8905)0.74 (8905)2.35 (8905)185.74 (8905)2.35 (8905)29.3 (8905)3.04 (8905)3600.0 (-)
bioinformatics/haplotyping-pedigrees/ped3.F.recomb10-0.10-8.wcnf69.84 (9245)63.15 (9245)95.38 (9245)118.67 (9245)2.32 (9245)2.87 (9245)1.04 (9245)2.88 (9245)3600.0 (-)2.87 (9245)32.1 (9245)5.19 (9245)3600.0 (-)
bioinformatics/haplotyping-pedigrees/ped3.F.recomb10-0.10-9.wcnf48.3 (5488)90.61 (5488)13.93 (5488)19.03 (5488)1.21 (5488)1.35 (5488)0.77 (5488)2.2 (5488)676.12 (5488)2.21 (5488)28.43 (5488)2.63 (5488)3600.0 (-)
bioinformatics/haplotyping-pedigrees/ped3.F.recomb10-0.20-12.wcnf255.74 (5840)277.78 (5840)154.55 (5840)145.66 (5840)4.39 (5840)29.33 (5840)2.22 (5840)4.39 (5840)3600.0 (-)4.38 (5840)66.77 (5840)85.2 (5840)3600.0 (-)
bioinformatics/haplotyping-pedigrees/ped3.F.recomb10-0.20-13.wcnf53.49 (2412)85.28 (2412)13.08 (2412)11.37 (2412)1.31 (2412)1.32 (2412)0.99 (2412)3.88 (2412)3600.0 (-)3.9 (2412)35.02 (2412)2.29 (2412)3600.0 (-)
bioinformatics/haplotyping-pedigrees/ped3.F.recomb10-0.20-14.wcnf110.41 (5482)74.79 (5482)48.81 (5482)41.33 (5482)2.29 (5482)3.48 (5482)1.13 (5482)3.94 (5482)3600.0 (-)3.93 (5482)34.67 (5482)3.92 (5482)3600.0 (-)
bioinformatics/haplotyping-pedigrees/ped3.F.recomb10-0.20-15.wcnf44.42 (4123)43.85 (4123)21.26 (4123)18.68 (4123)1.42 (4123)1.18 (4123)0.81 (4123)2.92 (4123)188.73 (4123)2.91 (4123)34.4 (4123)2.53 (4123)3600.0 (-)
bioinformatics/haplotyping-pedigrees/ped3.G.recomb10-0.01-4.wcnf48.22 (17444)51.3 (17444)218.8 (17444)236.81 (17444)2.46 (17444)1.76 (17444)0.89 (17444)2.15 (17444)44.81 (17444)2.14 (17444)31.55 (17444)6.95 (17444)3600.0 (-)
bioinformatics/haplotyping-pedigrees/ped3.G.recomb10-0.01-5.wcnf44.3 (14043)44.92 (14043)180.64 (14043)224.75 (14043)1.78 (14043)1.65 (14043)0.8 (14043)2.0 (14043)134.23 (14043)2.01 (14043)30.96 (14043)6.04 (14043)3600.0 (-)
bioinformatics/haplotyping-pedigrees/ped3.G.recomb10-0.10-10.wcnf95.8 (18485)88.11 (18485)375.01 (18485)381.49 (18485)3.18 (18485)27.47 (18485)1.76 (18485)3.43 (18485)3600.0 (-)3.43 (18485)49.03 (18485)10.34 (18485)3600.0 (-)
bioinformatics/haplotyping-pedigrees/ped3.G.recomb10-0.10-6.wcnf83.63 (17460)69.91 (17460)541.2 (17460)539.09 (17460)2.73 (17460)4.52 (17460)1.19 (17460)3.3 (17460)800.76 (17460)3.29 (17460)45.09 (17460)9.46 (17460)3600.0 (-)
bioinformatics/haplotyping-pedigrees/ped3.G.recomb10-0.10-7.wcnf98.15 (16092)89.83 (16092)480.01 (16092)463.36 (16092)2.61 (16092)2.1 (16092)1.05 (16092)3.41 (16092)116.95 (16092)3.39 (16092)42.85 (16092)6.87 (16092)3600.0 (-)
bioinformatics/haplotyping-pedigrees/ped3.G.recomb10-0.10-8.wcnf42.95 (15072)79.81 (15072)287.67 (15072)245.45 (15072)2.13 (15072)1.66 (15072)0.93 (15072)2.59 (15072)70.96 (15072)2.6 (15072)42.96 (15072)5.87 (15072)3600.0 (-)
bioinformatics/haplotyping-pedigrees/ped3.G.recomb10-0.10-9.wcnf146.01 (15407)183.82 (15407)916.18 (15407)834.04 (15407)3.52 (15407)2.09 (15407)1.37 (15407)3.36 (15407)1299.96 (15407)3.37 (15407)45.64 (15407)9.79 (15407)3600.0 (-)
bioinformatics/haplotyping-pedigrees/ped3.G.recomb10-0.20-11.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3097.34 (15072)32.1 (15072)3600.0 (-)22.29 (15072)13.95 (15072)3600.0 (-)13.75 (15072)3600.0 (-)57.04 (15072)3600.0 (-)
bioinformatics/haplotyping-pedigrees/ped3.G.recomb10-0.20-14.wcnf553.68 (11990)416.84 (11990)1200.44 (11990)1439.32 (11990)4.45 (11990)121.1 (11990)2.78 (11990)4.77 (11990)3600.0 (-)4.78 (11990)72.93 (11990)15.92 (11990)3600.0 (-)
bioinformatics/rna-alignment/k100-13-99.rna.pre.wcnf3600.0 (-)3600.0 (-)80.42 (1766)85.2 (1766)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)578.6 (1766)3600.0 (-)
bioinformatics/rna-alignment/k100-14-38.rna.pre.wcnf3600.0 (-)3600.0 (-)40.15 (1953)45.94 (1953)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)157.31 (1953)3600.0 (-)
bioinformatics/rna-alignment/k100-18-95.rna.pre.wcnf3600.0 (-)3600.0 (-)87.6 (1930)87.19 (1930)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)883.76 (1930)441.7 (1930)3600.0 (-)
bioinformatics/rna-alignment/k100-2-14.rna.pre.wcnf3600.0 (-)3600.0 (-)89.23 (1859)94.97 (1859)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)392.4 (1859)3600.0 (-)
bioinformatics/rna-alignment/k100-20-63.rna.pre.wcnf3600.0 (-)3600.0 (-)70.57 (2030)63.03 (2030)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)264.42 (2030)3600.0 (-)
bioinformatics/rna-alignment/k100-3-96.rna.pre.wcnf3600.0 (-)3600.0 (-)66.73 (1977)76.74 (1977)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)270.06 (1977)3600.0 (-)
bioinformatics/rna-alignment/k100-35-86.rna.pre.wcnf3600.0 (-)3600.0 (-)116.52 (2194)115.68 (2194)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)317.2 (2194)3600.0 (-)
bioinformatics/rna-alignment/k100-38-60.rna.pre.wcnf3600.0 (-)3600.0 (-)59.45 (1878)57.92 (1878)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)242.93 (1878)3600.0 (-)
bioinformatics/rna-alignment/k100-39-93.rna.pre.wcnf3600.0 (-)3600.0 (-)75.83 (1849)82.54 (1849)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)454.22 (1849)3600.0 (-)
bioinformatics/rna-alignment/k100-40-52.rna.pre.wcnf3600.0 (-)3600.0 (-)66.17 (1861)59.17 (1861)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)241.52 (1861)3600.0 (-)
bioinformatics/rna-alignment/k100-42-56.rna.pre.wcnf3600.0 (-)3600.0 (-)53.18 (1838)57.48 (1838)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)310.15 (1838)3600.0 (-)
bioinformatics/rna-alignment/k100-42-96.rna.pre.wcnf3600.0 (-)3600.0 (-)74.73 (1962)63.31 (1962)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)358.41 (1962)3600.0 (-)
bioinformatics/rna-alignment/k100-71-84.rna.pre.wcnf3600.0 (-)3600.0 (-)45.86 (1935)46.03 (1935)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)251.35 (1935)3600.0 (-)
bioinformatics/rna-alignment/k100-73-76.rna.pre.wcnf3600.0 (-)3600.0 (-)86.58 (2008)84.51 (2008)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)464.91 (2008)3600.0 (-)
bioinformatics/rna-alignment/k50-10-36.rna.pre.wcnf975.74 (453)679.95 (453)1.74 (453)1.76 (453)20.52 (453)30.81 (453)46.77 (453)82.39 (453)1503.29 (453)81.41 (453)1522.3 (453)3.36 (453)3600.0 (-)
bioinformatics/rna-alignment/k50-13-59.rna.pre.wcnf347.5 (482)221.67 (482)1.21 (482)1.35 (482)10.4 (482)8.5 (482)34.49 (482)119.95 (482)493.83 (482)120.53 (482)3.01 (482)2.2 (482)3600.0 (-)
bioinformatics/rna-alignment/k50-17-24.rna.pre.wcnf137.4 (456)122.81 (456)1.07 (456)1.35 (456)7.55 (456)15.98 (456)21.98 (456)98.43 (456)809.91 (456)101.86 (456)2.92 (456)2.8 (456)3600.0 (-)
bioinformatics/rna-alignment/k50-18-51.rna.pre.wcnf353.46 (461)207.67 (461)1.39 (461)0.98 (461)8.38 (461)10.87 (461)41.1 (461)68.77 (461)1011.94 (461)66.48 (461)584.07 (461)2.52 (461)3600.0 (-)
bioinformatics/rna-alignment/k50-21-38.rna.pre.wcnf299.56 (497)308.71 (497)1.27 (497)1.3 (497)14.87 (497)17.58 (497)90.46 (497)76.96 (497)704.05 (497)78.39 (497)3.11 (497)2.3 (497)3600.0 (-)
bioinformatics/rna-alignment/k50-21-88.rna.pre.wcnf175.59 (479)119.29 (479)1.63 (479)1.65 (479)13.1 (479)22.02 (479)19.27 (479)75.57 (479)445.23 (479)75.39 (479)2.81 (479)2.28 (479)3600.0 (-)
bioinformatics/rna-alignment/k50-23-49.rna.pre.wcnf133.71 (536)60.36 (536)1.35 (536)1.55 (536)63.04 (536)23.1 (536)213.82 (536)406.79 (536)507.74 (536)404.84 (536)3.56 (536)1.85 (536)3600.0 (-)
bioinformatics/rna-alignment/k50-28-88.rna.pre.wcnf128.01 (522)125.32 (522)1.42 (522)1.64 (522)20.77 (522)22.29 (522)27.88 (522)141.32 (522)781.45 (522)143.13 (522)3600.0 (-)2.32 (522)3600.0 (-)
bioinformatics/rna-alignment/k50-31-81.rna.pre.wcnf82.19 (454)31.46 (454)1.17 (454)1.11 (454)35.69 (454)19.16 (454)56.92 (454)127.17 (454)309.9 (454)130.85 (454)859.79 (454)2.35 (454)3600.0 (-)
bioinformatics/rna-alignment/k50-32-66.rna.pre.wcnf1634.59 (474)579.36 (474)1.68 (474)1.72 (474)27.18 (474)24.43 (474)48.74 (474)119.37 (474)497.52 (474)115.68 (474)486.07 (474)2.52 (474)3600.0 (-)
bioinformatics/rna-alignment/k50-34-90.rna.pre.wcnf524.26 (447)256.44 (447)1.21 (447)1.28 (447)27.64 (447)14.96 (447)45.11 (447)151.43 (447)371.45 (447)148.69 (447)1983.73 (447)4.01 (447)3600.0 (-)
bioinformatics/rna-alignment/k50-37-46.rna.pre.wcnf403.69 (519)260.38 (519)1.77 (519)2.14 (519)30.93 (519)19.37 (519)48.85 (519)232.2 (519)483.13 (519)232.72 (519)34.47 (519)3.59 (519)3600.0 (-)
bioinformatics/rna-alignment/k50-4-57.rna.pre.wcnf260.14 (439)127.2 (439)0.74 (439)1.02 (439)9.42 (439)19.26 (439)16.36 (439)29.46 (439)324.88 (439)29.42 (439)2.24 (439)1.53 (439)832.92 (439)
bioinformatics/rna-alignment/k50-43-45.rna.pre.wcnf2287.3 (462)595.58 (462)1.28 (462)1.35 (462)22.36 (462)38.56 (462)46.75 (462)115.03 (462)1384.62 (462)118.01 (462)1089.96 (462)3.16 (462)3600.0 (-)
bioinformatics/rna-alignment/k50-6-31.rna.pre.wcnf839.11 (523)697.3 (523)1.96 (523)1.83 (523)43.71 (523)26.49 (523)51.69 (523)231.53 (523)1216.03 (523)230.96 (523)3600.0 (-)3.01 (523)3600.0 (-)
bioinformatics/rna-alignment/k50-67-90.rna.pre.wcnf2687.25 (487)2117.02 (487)1.92 (487)1.72 (487)24.0 (487)35.49 (487)68.55 (487)175.3 (487)793.06 (487)177.62 (487)14.41 (487)3.97 (487)3600.0 (-)
bioinformatics/rna-alignment/k50-77-83.rna.pre.wcnf409.63 (424)307.03 (424)1.15 (424)1.27 (424)14.71 (424)17.59 (424)18.12 (424)53.08 (424)679.19 (424)54.67 (424)2.64 (424)1.88 (424)3600.0 (-)
bioinformatics/rna-alignment/k50-82-94.rna.pre.wcnf506.33 (449)326.48 (449)1.28 (449)1.33 (449)9.5 (449)26.21 (449)29.55 (449)100.04 (449)351.34 (449)100.54 (449)492.43 (449)3.11 (449)3600.0 (-)
bioinformatics/rna-alignment/k50-88-89.rna.pre.wcnf301.2 (503)139.75 (503)1.35 (503)1.31 (503)19.83 (503)29.36 (503)29.69 (503)168.19 (503)566.03 (503)167.53 (503)3.53 (503)2.88 (503)3600.0 (-)
bioinformatics/rna-alignment/tmosaic-tob-chim.pre.wcnf1.02 (683)0.98 (683)0.2 (683)0.22 (683)0.23 (683)0.57 (683)0.6 (683)0.89 (683)3600.0 (-)1.14 (683)1.21 (683)0.87 (683)0.48 (683)
bioinformatics/rna-alignment/tmosaic-tob-yel.pre.wcnf1.33 (374)1.6 (374)0.07 (374)0.07 (374)0.11 (374)0.13 (374)0.07 (374)0.11 (374)42.68 (374)0.11 (374)0.25 (374)0.17 (374)0.11 (374)
graph-theory/maxcut/MANN_a45.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
graph-theory/maxcut/MANN_a81.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
graph-theory/maxcut/MANN_a9.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
graph-theory/maxcut/hamming10-2.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
graph-theory/maxcut/hamming6-2.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
graph-theory/maxcut/hamming8-2.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
graph-theory/maxcut/johnson8-2-4.clq.wcnf5.21 (392)13.53 (392)634.25 (392)447.03 (392)3600.0 (-)3365.52 (392)3600.0 (-)3195.84 (392)3600.0 (-)3179.25 (392)3600.0 (-)556.81 (392)5.51 (392)
graph-theory/maxcut/p_hat300-1.clq.wcnf3.72 (243)11.06 (243)146.37 (243)127.78 (243)402.34 (243)369.41 (243)1806.8 (243)1234.4 (243)106.53 (243)1231.19 (243)3600.0 (-)1876.89 (243)2.88 (243)
graph-theory/maxcut/p_hat300-2.clq.wcnf29.43 (711)115.8 (711)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)23.47 (711)
graph-theory/maxcut/p_hat300-3.clq.wcnf2761.97 (1439)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
graph-theory/maxcut/p_hat500-1.clq.wcnf6.97 (395)10.94 (395)2850.21 (395)2868.82 (395)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)6.29 (395)
graph-theory/maxcut/p_hat500-3.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
graph-theory/maxcut/p_hat700-1.clq.wcnf4.82 (329)8.89 (329)593.69 (329)807.77 (329)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)294.6 (329)3600.0 (-)3600.0 (-)3600.0 (-)4.39 (329)
graph-theory/maxcut/p_hat700-2.clq.wcnf183.96 (834)619.84 (834)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)50.16 (834)
graph-theory/maxcut/p_hat700-3.clq.wcnf2204.53 (1432)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3132.97 (1432)
graph-theory/maxcut/san1000.clq.wcnf149.38 (744)249.5 (744)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)28.53 (744)
graph-theory/maxcut/san200_0.7_1.clq.wcnf1578.16 (1256)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
graph-theory/maxcut/san200_0.7_2.clq.wcnf952.1 (1243)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1301.47 (1243)
graph-theory/maxcut/san200_0.9_2.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
graph-theory/maxcut/san200_0.9_3.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
graph-theory/maxcut/san400_0.5_1.clq.wcnf13.99 (718)45.0 (718)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)15.83 (718)
graph-theory/maxcut/sanr200_0.7.clq.wcnf540.36 (1171)984.64 (1171)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)617.43 (1171)
graph-theory/maxcut/sanr200_0.9.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
graph-theory/maxcut/sanr400_0.5.clq.wcnf28.41 (763)108.8 (763)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)31.76 (763)
graph-theory/maxcut/sanr400_0.7.clq.wcnf598.2 (1198)1383.01 (1198)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1161.09 (1198)
graph-theory/maxcut/t3g3-5555.spn.wcnf0.58 (1100610)0.63 (1100610)1.72 (1100610)2.42 (1100610)2.73 (1100610)3.53 (1100610)9.26 (1100610)0.01 (1100610)1.13 (1100610)0.01 (1100610)371.29 (1100610)3600.0 (-)0.46 (1100610)
graph-theory/maxcut/t4g3-6666.spn.wcnf3.69 (2275606)9.42 (2275606)661.61 (2275606)767.65 (2275606)3600.0 (-)3600.0 (-)3600.0 (-)16.49 (2275606)6.6 (2275606)15.91 (2275606)3600.0 (-)3600.0 (-)3.13 (2275606)
graph-theory/maxcut/t5g3-7777.spn.wcnf15.21 (4241951)30.87 (4241951)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)137.73 (4241951)3600.0 (-)3600.0 (-)3600.0 (-)10.42 (4241951)
graph-theory/maxcut/t6g3-8888.spn.wcnf78.91 (7844119)343.17 (7844119)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2713.3 (7844119)3600.0 (-)3600.0 (-)3600.0 (-)78.35 (7844119)
graph-theory/maxcut/t7g3-9999.spn.wcnf922.35 (11954769)2118.75 (11954769)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2784.26 (11954769)
multi-agent/csg/CSG140-140-46.wcnf11.11 (16960)14.1 (16960)2.77 (16960)4.05 (16960)4.97 (16960)0.87 (16960)0.97 (16960)2.45 (16960)8.16 (16960)2.31 (16960)53.48 (16960)3600.0 (-)3600.0 (-)
multi-agent/csg/CSG140-140-6.wcnf24.69 (52385)28.85 (52385)153.28 (52385)193.34 (52385)167.22 (52385)2137.37 (52385)3600.0 (-)3600.0 (-)26.48 (52385)3600.0 (-)1631.27 (52385)3600.0 (-)3600.0 (-)
multi-agent/csg/CSG150-150-55.wcnf18.93 (27533)22.83 (27533)124.25 (27533)176.49 (27533)50.84 (27533)145.18 (27533)331.24 (27533)375.61 (27533)18.52 (27533)368.23 (27533)1145.79 (27533)3600.0 (-)3600.0 (-)
multi-agent/csg/CSG40-40-95.wcnf0.16 (8847)0.18 (8847)0.15 (8847)0.09 (8847)0.05 (8847)0.02 (8847)0.02 (8847)3600.0 (-)0.15 (8847)3600.0 (-)1.06 (8847)0.3 (8847)1.28 (8847)
multi-agent/csg/CSG60-60-88.wcnf0.55 (7714)0.66 (7714)0.07 (7714)0.07 (7714)0.18 (7714)0.07 (7714)0.07 (7714)0.16 (7714)0.51 (7714)0.16 (7714)3.69 (7714)19.51 (7714)6.48 (7714)
multi-agent/csg/CSGNaive140-140-0.wcnf11.16 (18185)14.15 (18185)1.95 (18185)2.01 (18185)5.0 (18185)7.24 (18185)1.41 (18185)2.25 (18185)8.18 (18185)2.25 (18185)54.7 (18185)3600.0 (-)3600.0 (-)
multi-agent/csg/CSGNaive140-140-6.wcnf25.23 (56309)28.08 (56309)127.54 (56309)132.79 (56309)199.21 (56309)3600.0 (-)3600.0 (-)3600.0 (-)26.2 (56309)3600.0 (-)964.41 (56309)3600.0 (-)3600.0 (-)
multi-agent/csg/CSGNaive150-150-55.wcnf20.81 (30495)24.78 (30495)154.51 (30495)154.1 (30495)48.48 (30495)688.06 (30495)718.95 (30495)793.71 (30495)17.62 (30495)794.54 (30495)1404.04 (30495)3600.0 (-)3600.0 (-)
multi-agent/csg/CSGNaive60-60-53.wcnf0.59 (9829)0.69 (9829)0.12 (9829)0.11 (9829)0.2 (9829)0.07 (9829)0.07 (9829)0.16 (9829)0.55 (9829)0.16 (9829)3.84 (9829)92.34 (9829)233.04 (9829)
multi-agent/csg/CSGNaive70-70-91.wcnf0.82 (11177)1.01 (11177)0.1 (11177)0.1 (11177)0.29 (11177)0.09 (11177)0.1 (11177)0.24 (11177)0.71 (11177)0.36 (11177)5.63 (11177)63.17 (11177)253.68 (11177)
optimization/hs-timetabling/BrazilInstance1.xml.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/hs-timetabling/BrazilInstance2.xml.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/hs-timetabling/BrazilInstance4.xml.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/hs-timetabling/BrazilInstance5.xml.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/hs-timetabling/BrazilInstance6.xml.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/hs-timetabling/BrazilInstance7.xml.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/hs-timetabling/FinlandArtificialSchool.xml.wcnf1975.7 (0)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2618.1 (0)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/hs-timetabling/FinlandCollege.xml.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/hs-timetabling/FinlandHighSchool.xml.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/hs-timetabling/FinlandSecondarySchool.xml.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/hs-timetabling/GreeceThirdHighSchoolPatras2010.xml.wcnf613.13 (0)2727.16 (0)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1771.57 (0)95.75 (0)1756.53 (0)2563.97 (0)3600.0 (-)3600.0 (-)
optimization/hs-timetabling/ItalyInstance1.xml.wcnf719.8 (12)224.51 (12)1809.41 (12)1915.93 (12)809.46 (12)769.26 (12)2270.73 (12)254.09 (12)518.97 (12)252.1 (12)768.12 (12)1826.91 (12)3600.0 (-)
optimization/hs-timetabling/ItalyInstance4.xml.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/hs-timetabling/SouthAfricaLewitt2009.xml.wcnf2273.0 (0)2040.03 (0)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/lisbon-wedding/lisbon-wedding-1-18.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)145.92 (961)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/lisbon-wedding/lisbon-wedding-10-17.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2060.71 (377)3600.0 (-)110.09 (377)3600.0 (-)109.52 (377)1797.7 (377)3600.0 (-)3600.0 (-)
optimization/lisbon-wedding/lisbon-wedding-10-18.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/lisbon-wedding/lisbon-wedding-10-19.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/lisbon-wedding/lisbon-wedding-2-18.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)145.7 (1137)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/lisbon-wedding/lisbon-wedding-3-17.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)65.3 (1035)316.61 (1035)288.18 (1035)3363.36 (1035)3600.0 (-)3351.6 (1035)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/lisbon-wedding/lisbon-wedding-4-17.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/lisbon-wedding/lisbon-wedding-4-18.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)34.03 (803)88.1 (803)317.31 (803)278.46 (803)3600.0 (-)283.08 (803)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/lisbon-wedding/lisbon-wedding-4-19.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/lisbon-wedding/lisbon-wedding-5-17.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)205.98 (802)349.53 (802)1330.29 (802)425.75 (802)3600.0 (-)420.44 (802)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/lisbon-wedding/lisbon-wedding-5-18.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)532.14 (803)105.49 (803)2201.37 (803)113.74 (803)3600.0 (-)114.49 (803)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/lisbon-wedding/lisbon-wedding-5-19.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3294.68 (805)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/lisbon-wedding/lisbon-wedding-6-17.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)855.53 (802)75.9 (802)2016.62 (802)138.97 (802)3600.0 (-)132.66 (802)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/lisbon-wedding/lisbon-wedding-6-18.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)919.07 (803)2568.46 (803)497.63 (803)498.76 (803)3600.0 (-)496.99 (803)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/lisbon-wedding/lisbon-wedding-6-19.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/lisbon-wedding/lisbon-wedding-7-17.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/lisbon-wedding/lisbon-wedding-7-18.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/lisbon-wedding/lisbon-wedding-7-19.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/lisbon-wedding/lisbon-wedding-8-17.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/lisbon-wedding/lisbon-wedding-8-18.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/lisbon-wedding/lisbon-wedding-8-19.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/lisbon-wedding/lisbon-wedding-9-17.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/lisbon-wedding/lisbon-wedding-9-18.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/lisbon-wedding/lisbon-wedding-9-19.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/metro/inst10.lp.sm-extracted.wcnf2.17 (105)2.01 (105)3.84 (105)3.48 (105)0.92 (105)3.4 (105)4.88 (105)1.57 (105)4.34 (105)1.6 (105)9.99 (105)2.44 (105)58.38 (105)
optimization/metro/inst13.lp.sm-extracted.wcnf3.15 (85)2.97 (85)4.71 (85)5.03 (85)1.4 (85)6.52 (85)6.71 (85)3.21 (85)6.79 (85)3.19 (85)16.97 (85)4.97 (85)43.2 (85)
optimization/metro/inst2.lp.sm-extracted.wcnf6.5 (97)7.2 (97)1.62 (97)1.55 (97)0.77 (97)1.64 (97)1.73 (97)0.78 (97)14.02 (97)0.78 (97)4.77 (97)0.94 (97)33.0 (97)
optimization/metro/inst22.lp.sm-extracted.wcnf39.53 (180)21.96 (180)8.35 (180)8.98 (180)5.93 (180)29.06 (180)22.59 (180)7.11 (180)55.07 (180)7.21 (180)69.08 (180)8.13 (180)222.59 (180)
optimization/metro/metro_8_8_5_20_10_6_500_1_0.lp.sm-extracted.wcnf204.03 (82)206.39 (82)26.92 (82)42.89 (82)11.1 (82)18.25 (82)30.34 (82)9.61 (82)3600.0 (-)9.58 (82)46.71 (82)30.49 (82)1973.85 (82)
optimization/metro/metro_8_8_5_20_10_6_500_1_1.lp.sm-extracted.wcnf558.39 (89)420.11 (89)75.47 (89)73.47 (89)78.5 (89)202.76 (89)360.35 (89)119.39 (89)3600.0 (-)117.8 (89)440.55 (89)76.54 (89)3600.0 (-)
optimization/metro/metro_8_8_5_20_10_6_500_1_2.lp.sm-extracted.wcnf291.63 (91)268.12 (91)51.82 (91)46.71 (91)84.17 (91)148.05 (91)323.23 (91)74.76 (91)2160.18 (91)74.71 (91)300.91 (91)32.86 (91)2897.43 (91)
optimization/metro/metro_8_8_5_20_10_6_500_1_3.lp.sm-extracted.wcnf3600.0 (-)3600.0 (-)603.4 (138)1021.39 (138)891.62 (138)2529.33 (138)3600.0 (-)2822.4 (138)3600.0 (-)2827.36 (138)3600.0 (-)506.36 (138)3600.0 (-)
optimization/metro/metro_8_8_5_20_10_6_500_1_5.lp.sm-extracted.wcnf677.08 (110)576.59 (110)216.8 (110)252.13 (110)121.77 (110)666.18 (110)627.01 (110)140.16 (110)1048.26 (110)146.48 (110)1372.95 (110)165.03 (110)3600.0 (-)
optimization/metro/metro_8_8_5_20_10_6_500_1_7.lp.sm-extracted.wcnf84.85 (89)81.77 (89)60.41 (89)50.43 (89)9.82 (89)33.18 (89)59.26 (89)12.81 (89)825.42 (89)12.45 (89)70.37 (89)25.36 (89)1300.79 (89)
optimization/metro/metro_8_8_5_20_10_6_500_1_9.lp.sm-extracted.wcnf573.66 (105)505.87 (105)189.64 (105)149.58 (105)67.29 (105)124.62 (105)193.25 (105)63.3 (105)3600.0 (-)60.4 (105)306.68 (105)82.76 (105)3600.0 (-)
optimization/metro/metro_9_8_7_22_10_6_500_1_1.lp.sm-extracted.wcnf51.95 (52)57.51 (52)15.84 (52)17.46 (52)5.5 (52)22.37 (52)30.45 (52)7.57 (52)301.27 (52)7.58 (52)37.22 (52)12.39 (52)969.1 (52)
optimization/metro/metro_9_8_7_22_10_6_500_1_2.lp.sm-extracted.wcnf21.76 (60)24.49 (60)13.85 (60)14.3 (60)5.13 (60)31.65 (60)22.59 (60)4.61 (60)175.34 (60)4.79 (60)55.33 (60)14.14 (60)3194.9 (60)
optimization/metro/metro_9_8_7_22_10_6_500_1_3.lp.sm-extracted.wcnf21.03 (44)17.31 (44)4.96 (44)9.29 (44)1.77 (44)5.67 (44)6.83 (44)2.08 (44)72.67 (44)2.12 (44)19.0 (44)3.95 (44)161.9 (44)
optimization/metro/metro_9_8_7_22_10_6_500_1_4.lp.sm-extracted.wcnf12.9 (64)8.43 (64)9.29 (64)16.66 (64)1.43 (64)10.54 (64)11.64 (64)2.89 (64)38.51 (64)2.93 (64)20.96 (64)7.86 (64)162.1 (64)
optimization/metro/metro_9_8_7_22_10_6_500_1_7.lp.sm-extracted.wcnf47.02 (42)45.64 (42)22.04 (42)15.15 (42)4.78 (42)16.74 (42)24.06 (42)4.67 (42)789.72 (42)4.63 (42)30.09 (42)19.3 (42)908.19 (42)
optimization/metro/metro_9_8_7_22_10_6_500_1_9.lp.sm-extracted.wcnf20.2 (52)14.75 (52)6.47 (52)7.2 (52)1.25 (52)4.68 (52)5.25 (52)1.95 (52)47.34 (52)1.94 (52)14.34 (52)3.72 (52)789.79 (52)
optimization/metro/metro_9_8_7_30_10_6_500_1_0.lp.sm-extracted.wcnf47.6 (41)36.65 (41)36.69 (41)32.9 (41)5.9 (41)26.98 (41)21.81 (41)6.87 (41)72.74 (41)7.03 (41)64.24 (41)28.36 (41)2491.16 (41)
optimization/metro/metro_9_8_7_30_10_6_500_1_3.lp.sm-extracted.wcnf58.48 (44)35.1 (44)41.45 (44)43.57 (44)14.28 (44)58.38 (44)49.97 (44)14.34 (44)144.44 (44)14.29 (44)94.14 (44)42.29 (44)3600.0 (-)
optimization/metro/metro_9_8_7_30_10_6_500_1_5.lp.sm-extracted.wcnf299.53 (47)241.76 (47)67.26 (47)99.61 (47)24.56 (47)83.99 (47)95.64 (47)17.64 (47)3600.0 (-)17.76 (47)123.44 (47)107.15 (47)3600.0 (-)
optimization/metro/metro_9_8_7_30_10_6_500_1_6.lp.sm-extracted.wcnf31.8 (31)34.38 (31)46.89 (31)37.24 (31)6.39 (31)38.78 (31)35.96 (31)6.74 (31)150.16 (31)6.77 (31)70.04 (31)21.06 (31)3007.08 (31)
optimization/metro/metro_9_8_7_30_10_6_500_1_7.lp.sm-extracted.wcnf128.87 (47)99.73 (47)49.79 (47)51.33 (47)20.18 (47)139.95 (47)80.62 (47)26.03 (47)949.06 (47)26.37 (47)130.36 (47)70.04 (47)3600.0 (-)
optimization/metro/metro_9_8_7_30_10_6_500_1_8.lp.sm-extracted.wcnf466.09 (55)388.12 (55)113.24 (55)204.38 (55)49.62 (55)428.51 (55)238.77 (55)89.54 (55)3600.0 (-)89.66 (55)571.24 (55)111.81 (55)3600.0 (-)
optimization/metro/metro_9_8_7_30_10_6_500_1_9.lp.sm-extracted.wcnf98.16 (52)111.64 (52)76.3 (52)77.87 (52)15.76 (52)112.42 (52)119.29 (52)14.65 (52)315.48 (52)14.6 (52)207.02 (52)65.69 (52)3600.0 (-)
optimization/metro/metro_9_9_10_35_13_7_500_2_1.lp.sm-extracted.wcnf31.07 (22)23.69 (22)36.62 (22)12.41 (22)3.82 (22)34.91 (22)19.76 (22)5.59 (22)47.24 (22)5.58 (22)67.6 (22)29.79 (22)2726.16 (22)
optimization/metro/metro_9_9_10_35_13_7_500_2_2.lp.sm-extracted.wcnf75.51 (32)58.12 (32)30.96 (32)38.88 (32)7.34 (32)59.27 (32)41.24 (32)7.64 (32)324.08 (32)7.63 (32)85.69 (32)41.88 (32)923.94 (32)
optimization/metro/metro_9_9_10_35_13_7_500_2_4.lp.sm-extracted.wcnf44.22 (35)41.51 (35)35.58 (35)32.99 (35)8.26 (35)69.79 (35)51.48 (35)15.63 (35)224.49 (35)15.66 (35)120.82 (35)44.71 (35)3600.0 (-)
optimization/metro/metro_9_9_10_35_13_7_500_2_6.lp.sm-extracted.wcnf9.45 (15)10.42 (15)14.82 (15)7.83 (15)2.0 (15)16.26 (15)11.03 (15)3.53 (15)37.79 (15)3.51 (15)48.41 (15)9.86 (15)815.4 (15)
optimization/metro/metro_9_9_10_35_13_7_500_2_7.lp.sm-extracted.wcnf324.64 (37)361.23 (37)116.02 (37)129.15 (37)36.83 (37)210.99 (37)142.73 (37)50.18 (37)1048.71 (37)50.34 (37)192.25 (37)131.2 (37)3600.0 (-)
optimization/metro/metro_9_9_10_35_13_7_500_2_9.lp.sm-extracted.wcnf29.3 (26)31.25 (26)15.9 (26)14.12 (26)2.79 (26)16.18 (26)18.67 (26)4.72 (26)107.8 (26)4.7 (26)65.1 (26)13.32 (26)182.16 (26)
optimization/miplib/normalized-mps-v2-20-10-bm23.opb.msat.wcnf10.13 (34)11.54 (34)2.65 (34)3.33 (34)3.11 (34)2.11 (34)2.76 (34)2.1 (34)15.85 (34)2.1 (34)2.97 (34)1.93 (34)3600.0 (-)
optimization/miplib/normalized-mps-v2-20-10-cracpb1.opb.msat.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/miplib/normalized-mps-v2-20-10-l152lav.opb.msat.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/miplib/normalized-mps-v2-20-10-lp4l.opb.msat.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/miplib/normalized-mps-v2-20-10-lseu.opb.msat.wcnf419.74 (1120)625.82 (1120)98.12 (1120)123.88 (1120)143.56 (1120)75.76 (1120)110.45 (1120)126.84 (1120)3600.0 (-)127.28 (1120)2800.13 (1120)58.44 (1120)3600.0 (-)
optimization/miplib/normalized-mps-v2-20-10-mod008.opb.msat.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/miplib/normalized-mps-v2-20-10-mod010.opb.msat.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/miplib/normalized-mps-v2-20-10-p0033.opb.msat.wcnf0.29 (3089)0.48 (3089)0.11 (3089)0.12 (3089)0.02 (3089)0.03 (3089)0.07 (3089)0.03 (3089)0.27 (3089)0.03 (3089)0.15 (3089)0.4 (3089)1.12 (3089)
optimization/miplib/normalized-mps-v2-20-10-p0040.opb.msat.wcnf0.02 (62027)0.02 (62027)0.08 (62027)0.06 (62027)0.0 (62027)0.01 (62027)0.0 (62027)0.01 (62027)0.02 (62027)0.01 (62027)0.07 (62027)3600.0 (-)0.03 (62027)
optimization/miplib/normalized-mps-v2-20-10-p0201.opb.msat.wcnf306.44 (1523)336.34 (1523)6.59 (1523)8.77 (1523)264.23 (1523)220.18 (1523)154.98 (1523)401.59 (1523)3600.0 (-)401.17 (1523)3600.0 (-)1527.09 (1523)373.93 (1523)
optimization/miplib/normalized-mps-v2-20-10-p0548.opb.msat.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/miplib/normalized-mps-v2-20-10-sentoy.opb.msat.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/planning/driverlog02bc.wcsp.wcnf0.5 (2085)0.53 (2085)8.83 (2085)7.45 (2085)0.2 (2085)0.17 (2085)0.16 (2085)0.19 (2085)2.26 (2085)0.18 (2085)1.66 (2085)2.49 (2085)46.03 (2085)
optimization/planning/driverlog02c.wcsp.wcnf0.49 (2010)0.67 (2010)16.39 (2010)10.32 (2010)0.16 (2010)0.13 (2010)0.13 (2010)0.16 (2010)2.24 (2010)0.16 (2010)1.51 (2010)0.36 (2010)248.98 (2010)
optimization/planning/driverlog02cc.wcsp.wcnf0.4 (2428)0.44 (2428)0.78 (2428)0.69 (2428)0.17 (2428)0.22 (2428)0.18 (2428)0.22 (2428)2.32 (2428)0.5 (2428)2.31 (2428)32.96 (2428)71.94 (2428)
optimization/planning/driverlog04ac.wcsp.wcnf0.23 (1790)0.47 (1790)17.61 (1790)7.17 (1790)0.1 (1790)0.06 (1790)0.09 (1790)0.11 (1790)0.64 (1790)0.11 (1790)1.37 (1790)0.33 (1790)55.75 (1790)
optimization/planning/driverlog04bc.wcsp.wcnf0.22 (1921)0.35 (1921)6.26 (1921)6.18 (1921)0.11 (1921)0.08 (1921)0.1 (1921)0.13 (1921)0.57 (1921)0.17 (1921)1.5 (1921)6.3 (1921)48.41 (1921)
optimization/planning/driverlog04cc.wcsp.wcnf0.23 (2932)0.4 (2932)2.45 (2932)2.42 (2932)0.12 (2932)0.17 (2932)0.15 (2932)0.18 (2932)0.54 (2932)0.19 (2932)1.71 (2932)27.3 (2932)51.65 (2932)
optimization/planning/driverlog05ac.wcsp.wcnf1.37 (1350)1.16 (1350)1.24 (1350)1.41 (1350)0.21 (1350)0.12 (1350)0.14 (1350)0.27 (1350)11.64 (1350)0.27 (1350)2.35 (1350)0.64 (1350)79.65 (1350)
optimization/planning/driverlog05bc.wcsp.wcnf1.46 (1344)1.21 (1344)0.8 (1344)0.92 (1344)0.25 (1344)0.14 (1344)0.17 (1344)0.25 (1344)5.33 (1344)0.26 (1344)2.86 (1344)2.8 (1344)162.37 (1344)
optimization/planning/driverlog05c.wcsp.wcnf1.37 (1350)1.12 (1350)1.22 (1350)1.44 (1350)0.21 (1350)0.12 (1350)0.15 (1350)0.27 (1350)11.59 (1350)0.27 (1350)3.19 (1350)0.64 (1350)79.63 (1350)
optimization/planning/driverlog08ac.wcsp.wcnf1.28 (2220)1.55 (2220)3.31 (2220)3.0 (2220)0.48 (2220)0.26 (2220)0.33 (2220)0.48 (2220)5.2 (2220)0.46 (2220)4.46 (2220)0.69 (2220)1363.53 (2220)
optimization/planning/driverlog08c.wcsp.wcnf1.28 (2220)1.56 (2220)3.3 (2220)3.03 (2220)0.47 (2220)0.26 (2220)0.33 (2220)0.46 (2220)5.22 (2220)0.46 (2220)4.42 (2220)0.69 (2220)1364.26 (2220)
optimization/planning/driverlog08cc.wcsp.wcnf1.14 (4052)1.75 (4052)1.47 (4052)1.63 (4052)0.53 (4052)0.64 (4052)0.58 (4052)0.68 (4052)4.61 (4052)0.68 (4052)6.18 (4052)92.37 (4052)441.45 (4052)
optimization/planning/driverlog09.wcsp.wcnf0.71 (960)0.86 (960)0.69 (960)0.73 (960)0.33 (960)0.23 (960)0.35 (960)0.48 (960)1.5 (960)0.48 (960)4.92 (960)0.22 (960)1880.25 (960)
optimization/planning/driverlogs03.wcsp.wcnf0.35 (1225)0.38 (1225)1.23 (1225)1.04 (1225)0.04 (1225)0.02 (1225)0.02 (1225)0.06 (1225)1.54 (1225)0.06 (1225)0.53 (1225)0.07 (1225)7.67 (1225)
optimization/planning/driverlogs06.wcsp.wcnf0.1 (1055)0.18 (1055)2.42 (1055)2.02 (1055)0.03 (1055)0.03 (1055)0.02 (1055)0.06 (1055)0.22 (1055)0.06 (1055)0.58 (1055)0.07 (1055)0.76 (1055)
optimization/planning/logistics01bc.wcsp.wcnf0.03 (8035)0.03 (8035)3.46 (8035)4.73 (8035)0.01 (8035)0.01 (8035)0.01 (8035)0.02 (8035)0.04 (8035)0.02 (8035)0.23 (8035)1.31 (8035)0.06 (8035)
optimization/planning/logistics01c.wcsp.wcnf0.03 (8865)0.04 (8865)0.77 (8865)0.65 (8865)0.01 (8865)0.01 (8865)0.01 (8865)0.02 (8865)0.04 (8865)0.02 (8865)0.23 (8865)0.25 (8865)0.06 (8865)
optimization/planning/logistics01cc.wcsp.wcnf0.03 (4282)0.1 (4282)1.49 (4282)2.47 (4282)0.01 (4282)0.01 (4282)0.01 (4282)0.02 (4282)0.05 (4282)0.02 (4282)0.25 (4282)15.41 (4282)0.07 (4282)
optimization/planning/satellite01ac.wcsp.wcnf0.08 (1530)0.1 (1530)0.03 (1530)0.03 (1530)0.03 (1530)0.02 (1530)0.02 (1530)0.05 (1530)0.24 (1530)0.05 (1530)0.51 (1530)0.03 (1530)2.29 (1530)
optimization/planning/satellite01bc.wcsp.wcnf0.07 (1827)0.11 (1827)0.03 (1827)0.04 (1827)0.03 (1827)0.02 (1827)0.02 (1827)0.05 (1827)0.24 (1827)0.05 (1827)0.51 (1827)0.11 (1827)2.06 (1827)
optimization/planning/satellite01cc.wcsp.wcnf0.08 (1530)0.1 (1530)0.03 (1530)0.03 (1530)0.03 (1530)0.02 (1530)0.02 (1530)0.05 (1530)0.45 (1530)0.05 (1530)0.51 (1530)0.03 (1530)2.29 (1530)
optimization/planning/satellite02ac.wcsp.wcnf2.57 (1611)2.69 (1611)0.88 (1611)0.8 (1611)1.02 (1611)0.83 (1611)0.7 (1611)0.81 (1611)25.63 (1611)0.8 (1611)4.45 (1611)0.71 (1611)590.25 (1611)
optimization/planning/satellite02bc.wcsp.wcnf1.89 (2289)2.63 (2289)1.22 (2289)1.01 (2289)0.5 (2289)0.64 (2289)0.59 (2289)0.78 (2289)13.8 (2289)0.78 (2289)4.2 (2289)2.3 (2289)548.47 (2289)
optimization/planning/zenotravel02ac.wcsp.wcnf0.05 (2485)0.06 (2485)0.02 (2485)0.01 (2485)0.02 (2485)0.01 (2485)0.01 (2485)0.03 (2485)0.08 (2485)0.03 (2485)0.32 (2485)0.02 (2485)0.2 (2485)
optimization/planning/zenotravel02bc.wcsp.wcnf0.05 (2335)0.06 (2335)0.01 (2335)0.02 (2335)0.02 (2335)0.01 (2335)0.01 (2335)0.03 (2335)0.08 (2335)0.03 (2335)0.33 (2335)0.02 (2335)0.2 (2335)
optimization/planning/zenotravel02c.wcsp.wcnf0.05 (2485)0.06 (2485)0.02 (2485)0.01 (2485)0.02 (2485)0.01 (2485)0.01 (2485)0.03 (2485)0.09 (2485)0.03 (2485)0.32 (2485)0.02 (2485)0.2 (2485)
optimization/planning/zenotravel02cc.wcsp.wcnf0.05 (742)0.06 (742)0.04 (742)0.05 (742)0.02 (742)0.01 (742)0.02 (742)3600.0 (-)0.08 (742)3600.0 (-)0.33 (742)0.5 (742)0.2 (742)
optimization/planning/zenotravel04bc.wcsp.wcnf0.26 (4110)0.3 (4110)0.12 (4110)0.12 (4110)0.08 (4110)0.03 (4110)0.03 (4110)0.11 (4110)0.65 (4110)0.11 (4110)1.05 (4110)0.13 (4110)1.19 (4110)
optimization/planning/zenotravel04c.wcsp.wcnf0.26 (4270)0.55 (4270)0.1 (4270)0.07 (4270)0.08 (4270)0.03 (4270)0.03 (4270)0.11 (4270)0.68 (4270)0.11 (4270)1.07 (4270)0.08 (4270)1.19 (4270)
optimization/planning/zenotravel04cc.wcsp.wcnf0.25 (1599)0.44 (1599)0.22 (1599)0.14 (1599)0.1 (1599)0.08 (1599)0.06 (1599)0.15 (1599)0.58 (1599)0.15 (1599)1.17 (1599)3.21 (1599)1.25 (1599)
optimization/railway-transport/bf2030fvcons.wcnf211.8 (3271)241.8 (3271)379.35 (3271)324.89 (3271)207.28 (3271)1384.32 (3271)293.94 (3271)1315.03 (3271)286.84 (3271)1328.75 (3271)1210.5 (3271)1098.01 (3271)3600.0 (-)
optimization/railway-transport/bf2030fvslack.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/railway-transport/d4.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/railway-transport/dp43.wcnf75.41 (47)50.76 (47)28.3 (47)29.29 (47)15.18 (47)5.54 (47)7.3 (47)13.21 (47)56.58 (47)13.2 (47)160.6 (47)80.07 (47)3600.0 (-)
optimization/railway-transport/f2030.wcnf3600.0 (-)3600.0 (-)749.83 (4195)739.95 (4195)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2038.68 (4195)3600.0 (-)
optimization/railway-transport/p15.wcnf73.45 (5)67.73 (5)17.37 (5)9.31 (5)4.28 (5)56.3 (5)3.23 (5)3.32 (5)85.84 (5)2.68 (5)25.36 (5)11.8 (5)3600.0 (-)
optimization/railway-transport/pesp_18Min.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/railway-transport/pesp_5min.wcnf3600.0 (-)3600.0 (-)1161.26 (68)1195.05 (68)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1068.31 (68)3600.0 (-)
optimization/railway-transport/r11.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/railway-transport/we.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/railway-transport/wg2.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/shiftdesign/limits-10-10_data-1_inst-005_60m.sm-extracted.wcnf578.04 (1674983)725.07 (1674983)54.5 (1674983)54.93 (1674983)7.36 (1674983)54.58 (1674983)5.25 (1674983)8.1 (1674983)1433.37 (1674983)8.12 (1674983)343.42 (1674983)5.39 (1674983)3600.0 (-)
optimization/shiftdesign/limits-10-10_data-1_inst-010_30m.sm-extracted.wcnf3600.0 (-)3600.0 (-)1093.04 (19021817)1496.94 (19021817)91.95 (19021817)714.58 (19021817)36.1 (19021817)60.57 (19021817)3600.0 (-)60.81 (19021817)3600.0 (-)86.17 (19021817)3600.0 (-)
optimization/shiftdesign/limits-10-10_data-1_inst-018_60m.sm-extracted.wcnf2676.57 (4638351)2388.31 (4638351)222.39 (4638351)218.8 (4638351)14.08 (4638351)90.43 (4638351)8.8 (4638351)19.28 (4638351)3600.0 (-)19.35 (4638351)744.83 (4638351)10.96 (4638351)3600.0 (-)
optimization/shiftdesign/limits-10-10_data-1_inst-031_60m.sm-extracted.wcnf2.17 (326)1.77 (326)8.65 (326)0.62 (326)1.86 (326)10.37 (326)0.89 (326)2.31 (326)173.88 (326)2.31 (326)66.91 (326)1.27 (326)11.97 (326)
optimization/shiftdesign/limits-10-10_data-1_inst-044_30m.sm-extracted.wcnf3600.0 (-)3600.0 (-)3148.1 (30028201)3600.0 (-)762.78 (30028201)751.53 (30028201)80.92 (30028201)62.14 (30028201)3600.0 (-)62.49 (30028201)3600.0 (-)148.94 (30028201)3600.0 (-)
optimization/shiftdesign/limits-10-10_data-1_inst-045_30m.sm-extracted.wcnf3516.65 (4726335)3600.0 (-)586.55 (4726335)1084.4 (4726335)1594.28 (4726335)707.37 (4726335)163.97 (4726335)88.9 (4726335)3600.0 (-)91.16 (4726335)2589.97 (4726335)22.28 (4726335)3600.0 (-)
optimization/shiftdesign/limits-10-10_data-1_inst-048_60m.sm-extracted.wcnf212.58 (1592498)390.93 (1592498)23.54 (1592498)41.18 (1592498)6.83 (1592498)42.59 (1592498)3.95 (1592498)9.48 (1592498)740.91 (1592498)9.47 (1592498)281.73 (1592498)5.84 (1592498)1092.72 (1592498)
optimization/shiftdesign/limits-10-10_data-1_inst-056_60m.sm-extracted.wcnf718.52 (2072640)978.25 (2072640)115.24 (2072640)705.84 (2072640)10.77 (2072640)90.08 (2072640)7.86 (2072640)15.76 (2072640)2861.13 (2072640)15.4 (2072640)742.25 (2072640)8.97 (2072640)3600.0 (-)
optimization/shiftdesign/limits-10-10_data-1_inst-059_30m.sm-extracted.wcnf3600.0 (-)3600.0 (-)873.46 (16994335)3600.0 (-)684.71 (16994335)726.95 (16994335)87.14 (16994335)48.58 (16994335)3600.0 (-)48.69 (16994335)2342.05 (16994335)42.08 (16994335)3600.0 (-)
optimization/shiftdesign/limits-10-10_data-1_inst-060_60m.sm-extracted.wcnf343.29 (3688454)532.01 (3688454)83.84 (3688454)79.4 (3688454)10.39 (3688454)84.98 (3688454)10.66 (3688454)12.55 (3688454)1618.6 (3688454)12.38 (3688454)248.21 (3688454)9.86 (3688454)3339.64 (3688454)
optimization/shiftdesign/limits-10-10_data-1_inst-068_30m.sm-extracted.wcnf2953.81 (5536663)3515.17 (5536663)195.28 (5536663)232.96 (5536663)25.8 (5536663)263.96 (5536663)25.83 (5536663)23.02 (5536663)3600.0 (-)23.09 (5536663)1373.78 (5536663)12.48 (5536663)3600.0 (-)
optimization/shiftdesign/limits-10-10_data-1_inst-071_30m.sm-extracted.wcnf3600.0 (-)3600.0 (-)739.27 (15474704)3600.0 (-)420.6 (15474704)258.73 (15474704)41.95 (15474704)51.96 (15474704)3600.0 (-)52.06 (15474704)1484.69 (15474704)27.12 (15474704)3600.0 (-)
optimization/shiftdesign/limits-10-10_data-1_inst-078_60m.sm-extracted.wcnf559.54 (4065188)456.04 (4065188)87.52 (4065188)106.05 (4065188)9.47 (4065188)47.34 (4065188)8.7 (4065188)10.64 (4065188)1485.35 (4065188)10.78 (4065188)324.77 (4065188)6.4 (4065188)2410.96 (4065188)
optimization/shiftdesign/limits-10-10_data-1_inst-081_60m.sm-extracted.wcnf2.2 (501)1.77 (501)10.5 (501)0.63 (501)1.94 (501)16.86 (501)0.89 (501)2.78 (501)196.1 (501)2.79 (501)84.53 (501)1.31 (501)9.49 (501)
optimization/shiftdesign/limits-10-10_data-1_inst-084_30m.sm-extracted.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)309.79 (28414665)496.49 (28414665)61.34 (28414665)70.5 (28414665)3600.0 (-)70.74 (28414665)3600.0 (-)214.56 (28414665)3600.0 (-)
optimization/shiftdesign/limits-10-10_data-1_inst-099_60m.sm-extracted.wcnf3.92 (761)3.39 (761)19.86 (761)1.09 (761)3.57 (761)41.81 (761)1.6 (761)4.63 (761)614.56 (761)4.61 (761)183.31 (761)2.29 (761)42.12 (761)
optimization/shiftdesign/limits-10-10_data-1_inst-102_30m.sm-extracted.wcnf3600.0 (-)3600.0 (-)2702.73 (16836508)3600.0 (-)439.91 (16836508)643.72 (16836508)46.6 (16836508)57.67 (16836508)3600.0 (-)57.81 (16836508)3600.0 (-)169.31 (16836508)3600.0 (-)
optimization/shiftdesign/limits-10-10_data-1_inst-112_60m.sm-extracted.wcnf425.43 (1595893)500.55 (1595893)56.45 (1595893)46.25 (1595893)10.95 (1595893)62.83 (1595893)12.5 (1595893)9.53 (1595893)1216.15 (1595893)9.67 (1595893)319.29 (1595893)5.16 (1595893)3578.11 (1595893)
optimization/shiftdesign/limits-10-10_data-1_inst-122_30m.sm-extracted.wcnf3600.0 (-)3600.0 (-)2041.71 (15804703)3600.0 (-)860.86 (15804703)847.34 (15804703)94.28 (15804703)65.22 (15804703)3600.0 (-)65.79 (15804703)3600.0 (-)55.69 (15804703)3600.0 (-)
optimization/shiftdesign/limits-10-10_data-1_inst-137_30m.sm-extracted.wcnf3600.0 (-)3600.0 (-)787.54 (16167552)3600.0 (-)929.42 (16167552)499.31 (16167552)76.02 (16167552)45.32 (16167552)3600.0 (-)45.14 (16167552)2606.57 (16167552)40.27 (16167552)3600.0 (-)
optimization/shiftdesign/limits-10-10_data-1_inst-182_30m.sm-extracted.wcnf3600.0 (-)3600.0 (-)3600.0 (-)2332.97 (14625180)185.24 (14625180)568.73 (14625180)43.77 (14625180)70.87 (14625180)3600.0 (-)71.02 (14625180)3600.0 (-)136.97 (14625180)3600.0 (-)
optimization/shiftdesign/limits-10-10_data-1_inst-182_60m.sm-extracted.wcnf3600.0 (-)2135.54 (3648536)173.28 (3648536)3600.0 (-)15.64 (3648536)86.48 (3648536)13.6 (3648536)23.77 (3648536)3600.0 (-)24.03 (3648536)747.64 (3648536)36.34 (3648536)3600.0 (-)
optimization/spot5/1401.wcsp.dir.wcnf3600.0 (-)3600.0 (-)1181.17 (459106)1091.33 (459106)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)243.3 (459106)
optimization/spot5/1401.wcsp.log.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/spot5/1403.wcsp.dir.wcnf3600.0 (-)3600.0 (-)2262.86 (459246)1986.78 (459246)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1645.03 (459246)3600.0 (-)
optimization/spot5/1403.wcsp.log.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/spot5/1405.wcsp.dir.wcnf3600.0 (-)3600.0 (-)1998.74 (459415)1816.06 (459415)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/spot5/1405.wcsp.log.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/spot5/1407.wcsp.dir.wcnf3600.0 (-)3600.0 (-)2072.15 (459570)2005.74 (459570)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/spot5/1502.wcsp.log.wcnf0.02 (28042)0.02 (28042)0.08 (28042)0.07 (28042)0.0 (28042)0.0 (28042)0.01 (28042)0.01 (28042)0.01 (28042)0.01 (28042)0.06 (28042)0.16 (28042)0.04 (28042)
optimization/spot5/1504.wcsp.dir.wcnf3600.0 (-)3600.0 (-)4.75 (161287)3.82 (161287)0.81 (161287)1.85 (161287)18.43 (161287)3.32 (161287)3600.0 (-)3.29 (161287)16.84 (161287)184.42 (161287)25.95 (161287)
optimization/spot5/1504.wcsp.log.wcnf3600.0 (-)3600.0 (-)9.08 (161287)8.71 (161287)16.51 (161287)48.13 (161287)11.46 (161287)11.0 (161287)3600.0 (-)10.77 (161287)39.25 (161287)201.13 (161287)3600.0 (-)
optimization/spot5/1506.wcsp.dir.wcnf3600.0 (-)3600.0 (-)207.94 (354517)296.26 (354517)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/spot5/1506.wcsp.log.wcnf3600.0 (-)3600.0 (-)938.42 (354517)1052.28 (354517)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/spot5/28.wcsp.log.wcnf3600.0 (-)3600.0 (-)1214.39 (270105)1174.0 (270105)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)540.85 (270105)3600.0 (-)
optimization/spot5/29.wcsp.dir.wcnf0.11 (8059)0.11 (8059)0.11 (8059)0.1 (8059)0.01 (8059)0.01 (8059)0.0 (8059)0.01 (8059)0.97 (8059)0.01 (8059)0.08 (8059)0.02 (8059)0.03 (8059)
optimization/spot5/29.wcsp.log.wcnf0.25 (8059)0.36 (8059)0.1 (8059)0.11 (8059)0.01 (8059)0.01 (8059)0.0 (8059)0.01 (8059)0.86 (8059)0.01 (8059)0.08 (8059)0.03 (8059)0.25 (8059)
optimization/spot5/404.wcsp.dir.wcnf0.06 (114)0.05 (114)0.03 (114)0.04 (114)0.02 (114)0.01 (114)0.01 (114)0.02 (114)8.94 (114)0.02 (114)0.1 (114)0.08 (114)0.04 (114)
optimization/spot5/404.wcsp.log.wcnf0.27 (114)0.29 (114)0.04 (114)0.04 (114)0.02 (114)0.02 (114)0.01 (114)0.02 (114)6.7 (114)0.02 (114)0.1 (114)0.09 (114)0.87 (114)
optimization/spot5/408.wcsp.log.wcnf14.01 (6228)15.47 (6228)0.38 (6228)0.42 (6228)0.16 (6228)19.66 (6228)0.15 (6228)0.09 (6228)3600.0 (-)0.09 (6228)1.83 (6228)281.16 (6228)191.43 (6228)
optimization/spot5/412.wcsp.dir.wcnf4.67 (32381)5.61 (32381)3.2 (32381)3.23 (32381)0.14 (32381)0.27 (32381)0.14 (32381)0.22 (32381)3600.0 (-)0.22 (32381)4.23 (32381)40.24 (32381)0.24 (32381)
optimization/spot5/414.wcsp.dir.wcnf25.47 (38478)28.86 (38478)8.81 (38478)9.4 (38478)0.14 (38478)0.37 (38478)0.14 (38478)0.28 (38478)3600.0 (-)0.29 (38478)1.67 (38478)68.55 (38478)1.02 (38478)
optimization/spot5/414.wcsp.log.wcnf1146.19 (38478)327.08 (38478)16.99 (38478)15.61 (38478)0.25 (38478)126.11 (38478)0.73 (38478)0.27 (38478)3600.0 (-)0.27 (38478)1.8 (38478)157.02 (38478)3600.0 (-)
optimization/spot5/42.wcsp.dir.wcnf4.3 (155050)4.0 (155050)10.41 (155050)8.41 (155050)0.76 (155050)1.51 (155050)3.45 (155050)2.33 (155050)3600.0 (-)2.33 (155050)5.99 (155050)3.05 (155050)0.05 (155050)
optimization/spot5/5.wcsp.log.wcnf3600.0 (-)3600.0 (-)61.85 (261)85.68 (261)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2087.07 (261)3600.0 (-)
optimization/spot5/503.wcsp.dir.wcnf0.08 (11113)0.14 (11113)0.27 (11113)0.25 (11113)0.01 (11113)0.01 (11113)0.01 (11113)0.01 (11113)0.6 (11113)0.01 (11113)0.1 (11113)0.31 (11113)0.04 (11113)
optimization/spot5/503.wcsp.log.wcnf0.16 (11113)0.16 (11113)0.32 (11113)0.31 (11113)0.01 (11113)0.01 (11113)0.01 (11113)0.01 (11113)0.29 (11113)0.01 (11113)0.11 (11113)0.34 (11113)1.32 (11113)
optimization/spot5/505.wcsp.dir.wcnf1.67 (21253)2.93 (21253)1.88 (21253)2.19 (21253)0.07 (21253)0.06 (21253)0.04 (21253)0.05 (21253)342.83 (21253)0.05 (21253)0.52 (21253)74.68 (21253)0.14 (21253)
optimization/spot5/505.wcsp.log.wcnf3600.0 (-)3371.55 (21253)2.54 (21253)2.78 (21253)0.06 (21253)1.65 (21253)0.06 (21253)0.06 (21253)350.85 (21253)0.06 (21253)1.85 (21253)75.67 (21253)3600.0 (-)
optimization/spot5/507.wcsp.dir.wcnf8.98 (27390)15.82 (27390)3.69 (27390)3.96 (27390)0.1 (27390)0.21 (27390)0.06 (27390)0.17 (27390)3600.0 (-)0.29 (27390)1.3 (27390)123.05 (27390)0.34 (27390)
optimization/spot5/507.wcsp.log.wcnf3600.0 (-)2676.72 (27390)5.2 (27390)6.27 (27390)0.16 (27390)651.23 (27390)0.3 (27390)0.16 (27390)3600.0 (-)0.16 (27390)1.3 (27390)150.69 (27390)3600.0 (-)
optimization/spot5/509.wcsp.dir.wcnf74.19 (36446)79.65 (36446)7.8 (36446)8.75 (36446)0.68 (36446)0.44 (36446)0.15 (36446)0.33 (36446)3600.0 (-)0.34 (36446)1.65 (36446)805.3 (36446)0.66 (36446)
optimization/spot5/509.wcsp.log.wcnf3600.0 (-)519.12 (36446)15.87 (36446)14.53 (36446)0.23 (36446)12.05 (36446)0.36 (36446)0.27 (36446)3600.0 (-)0.27 (36446)2.66 (36446)740.92 (36446)3600.0 (-)
optimization/spot5/54.wcsp.dir.wcnf0.06 (37)0.07 (37)0.01 (37)0.01 (37)0.01 (37)0.01 (37)0.01 (37)0.02 (37)0.39 (37)0.02 (37)0.06 (37)0.02 (37)0.02 (37)
optimization/spot5/54.wcsp.log.wcnf0.19 (37)0.35 (37)0.02 (37)0.02 (37)0.01 (37)0.01 (37)0.02 (37)0.01 (37)0.54 (37)0.01 (37)0.07 (37)0.02 (37)0.5 (37)
optimization/spot5/8.wcsp.dir.wcnf0.0 (2)0.0 (2)0.0 (2)0.0 (2)0.01 (2)0.0 (2)0.0 (2)0.0 (2)0.01 (2)0.0 (2)0.04 (2)0.0 (2)0.01 (2)
optimization/spot5/8.wcsp.log.wcnf0.01 (2)0.0 (2)0.0 (2)0.0 (2)0.01 (2)0.0 (2)0.0 (2)0.01 (2)0.01 (2)0.0 (2)0.03 (2)0.0 (2)0.01 (2)
optimization/staff-scheduling/instance1.wcnf1.87 (607)3.64 (607)0.45 (607)0.39 (607)0.12 (607)0.07 (607)0.09 (607)0.07 (607)4.55 (607)0.07 (607)0.46 (607)0.16 (607)52.93 (607)
optimization/staff-scheduling/instance10.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/staff-scheduling/instance11.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/staff-scheduling/instance12.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/staff-scheduling/instance2.wcnf3600.0 (-)3600.0 (-)2201.02 (828)3600.0 (-)2060.26 (828)3437.55 (828)1166.2 (828)1615.12 (828)3600.0 (-)1612.35 (828)3600.0 (-)404.43 (828)3600.0 (-)
optimization/staff-scheduling/instance3.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/staff-scheduling/instance4.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2798.99 (1716)
optimization/staff-scheduling/instance5.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/staff-scheduling/instance6.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/staff-scheduling/instance7.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/staff-scheduling/instance8.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/staff-scheduling/instance9.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/timetabling/EA06.lp.sm-extracted.wcnf26.68 (5)27.48 (5)45.92 (5)32.55 (5)14.9 (5)66.6 (5)53.54 (5)47.32 (5)32.89 (5)46.21 (5)832.28 (5)3600.0 (-)3600.0 (-)
optimization/timetabling/EA08.lp.sm-extracted.wcnf98.77 (0)104.49 (0)158.38 (0)86.55 (0)262.58 (0)178.59 (0)230.2 (0)252.26 (0)89.56 (0)252.49 (0)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/timetabling/EA10.lp.sm-extracted.wcnf21.71 (0)22.98 (0)153.51 (0)59.76 (0)22.59 (0)65.9 (0)47.79 (0)27.02 (0)21.71 (0)26.88 (0)497.22 (0)249.3 (0)3600.0 (-)
optimization/timetabling/EA12.lp.sm-extracted.wcnf67.43 (2)61.36 (2)58.4 (2)30.13 (2)77.26 (2)59.75 (2)64.63 (2)70.03 (2)96.28 (2)69.95 (2)2131.79 (2)40.45 (2)3600.0 (-)
optimization/timetabling/Udine1.lp.sm-extracted.wcnf121.03 (0)98.73 (0)3600.0 (-)1694.4 (0)3600.0 (-)3600.0 (-)1522.73 (0)259.91 (0)88.07 (0)267.08 (0)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/timetabling/Udine2.lp.sm-extracted.wcnf185.7 (4)240.93 (4)1420.34 (4)263.39 (4)1477.71 (4)1018.9 (4)416.5 (4)204.69 (4)321.57 (4)202.66 (4)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/timetabling/Udine3.lp.sm-extracted.wcnf46.85 (0)49.15 (0)1444.77 (0)391.06 (0)1446.44 (0)1046.33 (0)245.63 (0)83.76 (0)43.1 (0)84.84 (0)3089.36 (0)2871.5 (0)3600.0 (-)
optimization/timetabling/Udine4.lp.sm-extracted.wcnf2206.81 (35)1881.17 (35)59.06 (35)57.71 (35)75.38 (35)55.08 (35)41.99 (35)42.44 (35)3600.0 (-)42.01 (35)1135.05 (35)84.99 (35)3600.0 (-)
optimization/timetabling/Udine5.lp.sm-extracted.wcnf89.59 (0)97.89 (0)1635.53 (0)448.0 (0)2395.48 (0)1337.69 (0)656.97 (0)197.54 (0)82.58 (0)194.36 (0)3600.0 (-)2521.65 (0)3600.0 (-)
optimization/timetabling/Udine6.lp.sm-extracted.wcnf66.19 (0)68.25 (0)81.32 (0)53.04 (0)199.6 (0)164.13 (0)96.75 (0)92.18 (0)63.51 (0)92.75 (0)3048.81 (0)297.5 (0)3600.0 (-)
optimization/timetabling/Udine7.lp.sm-extracted.wcnf76.09 (0)76.61 (0)125.19 (0)44.52 (0)188.23 (0)372.74 (0)120.99 (0)102.86 (0)70.59 (0)103.16 (0)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/timetabling/Udine9.lp.sm-extracted.wcnf106.99 (18)130.46 (18)393.42 (18)324.26 (18)403.95 (18)254.67 (18)189.77 (18)138.01 (18)258.22 (18)138.16 (18)3600.0 (-)547.7 (18)3600.0 (-)
optimization/timetabling/comp01.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/timetabling/comp02.wcnf3600.0 (-)3600.0 (-)3600.0 (-)2781.35 (24)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/timetabling/comp03.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/timetabling/comp04.wcnf71.27 (35)61.74 (35)7.63 (35)4.59 (35)7.73 (35)1.53 (35)2.18 (35)6.11 (35)79.99 (35)6.05 (35)40.19 (35)8.67 (35)3600.0 (-)
optimization/timetabling/comp05.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/timetabling/comp06.wcnf3600.0 (-)3600.0 (-)2123.84 (27)548.83 (27)65.78 (27)31.97 (27)106.18 (27)226.04 (27)3600.0 (-)223.71 (27)312.46 (27)3600.0 (-)3600.0 (-)
optimization/timetabling/comp07.wcnf3600.0 (-)3600.0 (-)3600.0 (-)1682.16 (6)3600.0 (-)2753.76 (6)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/timetabling/comp08.wcnf66.42 (37)69.4 (37)14.46 (37)6.53 (37)12.99 (37)2.01 (37)3.73 (37)4.46 (37)56.76 (37)4.48 (37)67.08 (37)13.33 (37)3600.0 (-)
optimization/timetabling/comp09.wcnf3600.0 (-)3600.0 (-)2783.2 (96)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/timetabling/comp10.wcnf68.69 (4)87.66 (4)412.87 (4)104.03 (4)138.22 (4)108.53 (4)50.32 (4)118.05 (4)45.09 (4)117.16 (4)168.7 (4)557.03 (4)3600.0 (-)
optimization/timetabling/comp12.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/timetabling/comp13.wcnf1096.84 (59)846.66 (59)64.33 (59)92.4 (59)15.71 (59)8.97 (59)8.2 (59)10.91 (59)3149.91 (59)10.9 (59)150.14 (59)88.23 (59)3600.0 (-)
optimization/timetabling/comp14.wcnf261.32 (51)324.34 (51)21.0 (51)25.47 (51)15.87 (51)4.72 (51)4.96 (51)9.72 (51)1371.16 (51)9.72 (51)102.23 (51)26.98 (51)3600.0 (-)
optimization/timetabling/comp16.wcnf276.03 (18)370.1 (18)20.77 (18)9.75 (18)31.9 (18)3.09 (18)8.79 (18)17.01 (18)933.68 (18)16.97 (18)138.71 (18)21.23 (18)3600.0 (-)
optimization/timetabling/comp17.wcnf3600.0 (-)3600.0 (-)2452.82 (56)1352.69 (56)227.05 (56)129.43 (56)161.05 (56)231.19 (56)3600.0 (-)232.38 (56)1048.6 (56)3600.0 (-)3600.0 (-)
optimization/timetabling/comp18.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/timetabling/comp19.wcnf3600.0 (-)3600.0 (-)23.18 (57)33.13 (57)112.12 (57)2263.83 (57)121.14 (57)623.12 (57)3600.0 (-)616.75 (57)3600.0 (-)33.19 (57)3600.0 (-)
optimization/timetabling/comp20.wcnf2281.53 (4)1505.85 (4)3600.0 (-)792.54 (4)211.22 (4)83.39 (4)223.45 (4)711.88 (4)1585.32 (4)715.69 (4)459.53 (4)3600.0 (-)3600.0 (-)
optimization/timetabling/comp21.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/timetabling/dds1.wcnf1981.64 (48)1308.24 (48)725.94 (48)227.97 (48)45.87 (48)22.65 (48)32.08 (48)42.22 (48)3600.0 (-)41.66 (48)855.0 (48)464.91 (48)3600.0 (-)
optimization/timetabling/dds4.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/timetabling/test2.wcnf98.69 (16)82.19 (16)1074.47 (16)160.6 (16)39.52 (16)41.54 (16)55.42 (16)44.24 (16)165.97 (16)44.03 (16)84.31 (16)3600.0 (-)3600.0 (-)
optimization/timetabling/test4.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimization/warehouses/cap101.wcsp.wcnf0.15 (7966472)0.07 (7966472)1797.24 (7966472)1684.49 (7966472)3600.0 (-)3600.0 (-)3600.0 (-)12.6 (7966472)0.64 (7966472)12.62 (7966472)3600.0 (-)3600.0 (-)0.08 (7966472)
optimization/warehouses/cap102.wcsp.wcnf0.15 (8547029)0.07 (8547029)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)0.64 (8547029)3600.0 (-)3600.0 (-)3600.0 (-)0.08 (8547029)
optimization/warehouses/cap111.wcsp.wcnf1.45 (7934385)0.13 (7934385)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2.26 (7934385)3600.0 (-)3600.0 (-)3600.0 (-)0.16 (7934385)
optimization/warehouses/cap112.wcsp.wcnf1.45 (8514942)0.14 (8514942)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2.25 (8514942)3600.0 (-)3600.0 (-)3600.0 (-)0.15 (8514942)
optimization/warehouses/cap121.wcsp.wcnf1.45 (7934385)0.13 (7934385)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2.26 (7934385)3600.0 (-)3600.0 (-)3600.0 (-)0.15 (7934385)
optimization/warehouses/cap122.wcsp.wcnf1.45 (8514942)0.13 (8514942)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2.24 (8514942)3600.0 (-)3600.0 (-)3600.0 (-)0.16 (8514942)
optimization/warehouses/cap131.wcsp.wcnf1.45 (7934385)0.13 (7934385)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2.25 (7934385)3600.0 (-)3600.0 (-)3600.0 (-)0.16 (7934385)
optimization/warehouses/cap132.wcsp.wcnf1.45 (8514942)0.14 (8514942)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2.24 (8514942)3600.0 (-)3600.0 (-)3600.0 (-)0.16 (8514942)
optimization/warehouses/cap61.wcsp.wcnf0.07 (9326144)0.04 (9326144)45.17 (9326144)28.73 (9326144)3600.0 (-)3140.91 (9326144)0.29 (9326144)0.33 (9326144)0.32 (9326144)0.32 (9326144)30.57 (9326144)3600.0 (-)0.06 (9326144)
optimization/warehouses/cap62.wcsp.wcnf0.07 (9777981)0.04 (9777981)96.9 (9777981)75.89 (9777981)3600.0 (-)3600.0 (-)112.65 (9777981)5.94 (9777981)0.32 (9777981)5.81 (9777981)3600.0 (-)3600.0 (-)0.06 (9777981)
optimization/warehouses/cap71.wcsp.wcnf0.07 (9326144)0.04 (9326144)44.71 (9326144)27.93 (9326144)3600.0 (-)3163.25 (9326144)0.29 (9326144)0.32 (9326144)0.32 (9326144)0.32 (9326144)30.72 (9326144)3600.0 (-)0.06 (9326144)
optimization/warehouses/cap72.wcsp.wcnf0.07 (9777981)0.04 (9777981)95.58 (9777981)80.74 (9777981)3600.0 (-)3600.0 (-)112.58 (9777981)5.88 (9777981)0.32 (9777981)5.72 (9777981)3600.0 (-)3600.0 (-)0.06 (9777981)
optimization/warehouses/cap81.wcsp.wcnf0.15 (7966472)0.07 (7966472)1783.31 (7966472)1700.8 (7966472)3600.0 (-)3600.0 (-)3600.0 (-)12.49 (7966472)0.64 (7966472)12.51 (7966472)3600.0 (-)3600.0 (-)0.08 (7966472)
optimization/warehouses/cap82.wcsp.wcnf0.15 (8547029)0.07 (8547029)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)0.63 (8547029)3600.0 (-)3600.0 (-)3600.0 (-)0.08 (8547029)
optimization/warehouses/cap91.wcsp.wcnf0.15 (7966472)0.07 (7966472)1791.56 (7966472)1710.48 (7966472)3600.0 (-)3600.0 (-)3600.0 (-)12.61 (7966472)0.64 (7966472)12.46 (7966472)3600.0 (-)3600.0 (-)0.08 (7966472)
optimization/warehouses/cap92.wcsp.wcnf0.15 (8547029)0.07 (8547029)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)0.63 (8547029)3600.0 (-)3600.0 (-)3600.0 (-)0.08 (8547029)
optimization/warehouses/warehouse0.wcsp.wcnf0.01 (328)0.01 (328)0.03 (328)0.04 (328)0.0 (328)0.01 (328)0.0 (328)0.01 (328)0.01 (328)0.91 (328)0.08 (328)0.14 (328)0.01 (328)
optimization/warehouses/warehouse1.wcsp.wcnf0.04 (730567)0.03 (730567)4.42 (730567)3.54 (730567)15.15 (730567)42.95 (730567)141.67 (730567)93.82 (730567)0.1 (730567)93.74 (730567)3600.0 (-)3600.0 (-)0.03 (730567)
probabilistic/BTBNSL/Rounded_BTWBNSL_AbaloneTWBound_4.wcnf1637.55 (1540139929)1524.07 (1540139929)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/BTBNSL/Rounded_BTWBNSL_Abalone_TWBound_3.wcnf594.84 (1540139929)613.42 (1540139929)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/BTBNSL/Rounded_BTWBNSL_Flag.BIC_TWBound_3.wcnf2502.11 (274810512)2161.39 (274810512)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/BTBNSL/Rounded_BTWBNSL_Flag.BIC_TWBound_4.wcnf2652.05 (274810512)2844.14 (274810512)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/BTBNSL/Rounded_BTWBNSL_Heart.BIC_TWBound_3.wcnf127.92 (239742296)163.83 (239742296)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/BTBNSL/Rounded_BTWBNSL_Heart.BIC_TWBound_4.wcnf89.64 (239742296)129.92 (239742296)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/BTBNSL/Rounded_BTWBNSL_Horse.BIC_TWBound_3.wcnf508.21 (452466275)449.29 (452466275)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/BTBNSL/Rounded_BTWBNSL_Horse.BIC_TWBound_4.wcnf275.12 (452466275)455.73 (452466275)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/BTBNSL/Rounded_BTWBNSL_Housing_TWBound_3.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/BTBNSL/Rounded_BTWBNSL_Housing_TWBound_4.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/BTBNSL/Rounded_BTWBNSL_Voting_TWBound_3.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/BTBNSL/Rounded_BTWBNSL_Voting_TWBound_4.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/BTBNSL/Rounded_BTWBNSL_Water_1000_1_2.scores_TWBound_3.wcnf241.45 (1326306453)265.37 (1326306453)468.71 (1326306453)339.03 (1326306453)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/BTBNSL/Rounded_BTWBNSL_Water_1000_1_2.scores_TWBound_4.wcnf273.2 (1326306453)354.65 (1326306453)333.92 (1326306453)407.54 (1326306453)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/BTBNSL/Rounded_BTWBNSL_Wine_TWBound_4.wcnf67.21 (127107900)136.07 (127107900)477.81 (127107900)561.42 (127107900)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1426.52 (127107900)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/BTBNSL/Rounded_BTWBNSL_Zoo_TWBound_3.wcnf34.29 (84773175)28.19 (84773175)4.66 (84773175)4.56 (84773175)161.41 (84773175)47.98 (84773175)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/BTBNSL/Rounded_BTWBNSL_adult15N_TWBound_3.wcnf998.53 (35134915996)925.84 (35134915996)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/BTBNSL/Rounded_BTWBNSL_adult15N_TWBound_4.wcnf617.77 (35115129348)994.71 (35115129348)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/BTBNSL/Rounded_BTWBNSL_alarm_100_1_3.scores_TWBound_3.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/BTBNSL/Rounded_BTWBNSL_alarm_100_1_3.scores_TWBound_4.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/BTBNSL/Rounded_BTWBNSL_asia_10000_1_3.scores_TWBound_4.wcnf1.65 (2247205740)1.81 (2247205740)7.4 (2247205740)8.88 (2247205740)104.5 (2247205740)3600.0 (-)3600.0 (-)3600.0 (-)4.57 (2247205740)3600.0 (-)3600.0 (-)3600.0 (-)494.35 (2247205740)
probabilistic/BTBNSL/Rounded_BTWBNSL_asia_1000_1_3.scores_TWBound_3.wcnf0.65 (231945792)0.73 (231945792)2.63 (231945792)2.29 (231945792)3.04 (231945792)62.19 (231945792)43.69 (231945792)38.5 (231945792)0.94 (231945792)38.98 (231945792)3600.0 (-)3600.0 (-)208.81 (231945792)
probabilistic/BTBNSL/Rounded_BTWBNSL_asia_1000_1_3.scores_TWBound_4.wcnf0.59 (231945792)0.79 (231945792)1.97 (231945792)2.35 (231945792)2.73 (231945792)77.99 (231945792)30.6 (231945792)317.75 (231945792)1.24 (231945792)323.43 (231945792)3600.0 (-)3600.0 (-)283.09 (231945792)
probabilistic/BTBNSL/Rounded_BTWBNSL_asia_100_1_3.scores_TWBound_3.wcnf6.53 (24564427)13.83 (24564427)0.21 (24564427)0.18 (24564427)0.02 (24564427)0.04 (24564427)0.03 (24564427)0.03 (24564427)0.07 (24564427)0.03 (24564427)0.57 (24564427)229.18 (24564427)4.03 (24564427)
probabilistic/BTBNSL/Rounded_BTWBNSL_asia_100_1_3.scores_TWBound_4.wcnf10.09 (24564427)14.45 (24564427)0.19 (24564427)0.19 (24564427)0.02 (24564427)0.04 (24564427)3600.0 (-)0.03 (24564427)0.07 (24564427)0.03 (24564427)19.03 (24564427)239.33 (24564427)8.77 (24564427)
probabilistic/BTBNSL/Rounded_BTWBNSL_hailfinder_10000_1_3.scores_TWBound_3.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/BTBNSL/Rounded_BTWBNSL_hailfinder_10000_1_3.scores_TWBound_4.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/BTBNSL/Rounded_BTWBNSL_hailfinder_1000_1_3.scores_TWBound_3.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/BTBNSL/Rounded_BTWBNSL_hailfinder_1000_1_3.scores_TWBound_4.wcnf3600.0 (-)3600.0 (-)3349.29 (5247324551)3077.21 (5247324551)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/BTBNSL/Rounded_BTWBNSL_hailfinder_100_1_3.scores_TWBound_3.wcnf25.69 (601946991)24.05 (601946991)19.36 (601946991)19.62 (601946991)13.84 (601946991)147.44 (601946991)147.48 (601946991)56.72 (601946991)24.09 (601946991)57.52 (601946991)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/BTBNSL/Rounded_BTWBNSL_hailfinder_100_1_3.scores_TWBound_4.wcnf22.77 (601946991)27.81 (601946991)17.74 (601946991)18.45 (601946991)15.1 (601946991)124.13 (601946991)128.36 (601946991)151.0 (601946991)24.52 (601946991)209.68 (601946991)2440.93 (601946991)3600.0 (-)3600.0 (-)
probabilistic/BTBNSL/Rounded_BTWBNSL_insurance_1000_1_3.scores_TWBound_3.wcnf747.78 (1388734978)868.48 (1388734978)3209.52 (1388734978)3244.27 (1388734978)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/BTBNSL/Rounded_BTWBNSL_insurance_1000_1_3.scores_TWBound_4.wcnf616.94 (1388734978)697.84 (1388734978)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/BTBNSL/Rounded_BTWBNSL_insurance_100_1_3.scores_TWBound_3.wcnf1265.27 (170450495)751.16 (170450495)271.17 (170450495)313.66 (170450495)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/BTBNSL/Rounded_BTWBNSL_insurance_100_1_3.scores_TWBound_4.wcnf101.43 (168622588)101.8 (168622588)32.53 (168622588)34.25 (168622588)863.11 (168622588)190.85 (168622588)3600.0 (-)3600.0 (-)1311.66 (168622588)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/causal-discovery/causal_Adult_6_30162.wcnf21.84 (601705)28.77 (601705)48.94 (601705)36.5 (601705)31.56 (601705)3600.0 (-)3600.0 (-)3600.0 (-)145.05 (601705)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/causal-discovery/causal_Alarm_7_1000.wcnf358.03 (526796)283.48 (526796)1066.61 (526796)2614.2 (526796)1598.21 (526796)3600.0 (-)3600.0 (-)3600.0 (-)1077.29 (526796)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/causal-discovery/causal_Autos_8_159.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/causal-discovery/causal_Bands_6_277.wcnf102.46 (91349)107.57 (91349)243.95 (91349)174.67 (91349)280.98 (91349)3600.0 (-)3600.0 (-)3600.0 (-)385.25 (91349)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/causal-discovery/causal_Epigenetics_7_72228.wcnf63.83 (257569)77.29 (257569)146.65 (257569)210.86 (257569)122.19 (257569)3600.0 (-)3600.0 (-)3600.0 (-)74.38 (257569)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/causal-discovery/causal_Flag_10_194.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2617.43 (2030158)1258.84 (2030158)1090.01 (2030158)1698.33 (2030158)3600.0 (-)1762.02 (2030158)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/causal-discovery/causal_Heart_10_212.wcnf3600.0 (-)3600.0 (-)3335.33 (1453924)3079.42 (1453924)2305.16 (1453924)878.22 (1453924)794.15 (1453924)1117.6 (1453924)3600.0 (-)1309.53 (1453924)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/causal-discovery/causal_Horse_9_300.wcnf3600.0 (-)3600.0 (-)1846.02 (1811907)908.34 (1811907)414.19 (1811907)387.76 (1811907)214.4 (1811907)61.64 (1811907)3600.0 (-)67.13 (1811907)1273.17 (1811907)3600.0 (-)3600.0 (-)
probabilistic/causal-discovery/causal_Image_7_2310.wcnf828.71 (431410)925.79 (431410)541.01 (431410)401.39 (431410)555.53 (431410)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/causal-discovery/causal_Imports_6_205.wcnf93.49 (123542)84.04 (123542)158.83 (123542)233.17 (123542)119.78 (123542)3600.0 (-)3600.0 (-)3600.0 (-)144.02 (123542)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/causal-discovery/causal_Letter_7_20000.wcnf574.48 (494950)604.55 (494950)764.22 (494950)1628.43 (494950)1023.87 (494950)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/causal-discovery/causal_Link_10_1000.wcnf3600.0 (-)3600.0 (-)3187.96 (1917853)3600.0 (-)3600.0 (-)623.0 (1917853)574.7 (1917853)225.51 (1917853)3600.0 (-)228.02 (1917853)2077.47 (1917853)3600.0 (-)3600.0 (-)
probabilistic/causal-discovery/causal_LungCancer_8_27.wcnf409.52 (141532)705.42 (141532)1756.09 (141532)2650.91 (141532)586.09 (141532)3600.0 (-)3600.0 (-)3600.0 (-)910.54 (141532)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/causal-discovery/causal_Mildew_6_100.wcnf25.37 (1182250)22.43 (1182250)125.21 (1182250)111.51 (1182250)74.92 (1182250)3600.0 (-)3600.0 (-)3600.0 (-)24.81 (1182250)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/causal-discovery/causal_Mildew_8_1000.wcnf435.32 (69443335)418.43 (69443335)3600.0 (-)2631.03 (69443335)2741.5 (69443335)3600.0 (-)3600.0 (-)3600.0 (-)1801.89 (69443335)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/causal-discovery/causal_Mildew_9_10000.wcnf3600.0 (-)3600.0 (-)889.15 (404777918)2040.65 (404777918)306.48 (404777918)128.84 (404777918)94.64 (404777918)29.42 (404777918)1006.61 (404777918)30.55 (404777918)422.7 (404777918)3600.0 (-)3600.0 (-)
probabilistic/causal-discovery/causal_Mushroom_7_1000.wcnf423.09 (191732)421.03 (191732)727.38 (191732)544.04 (191732)1163.64 (191732)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/causal-discovery/causal_Parkinsons_6_195.wcnf31.66 (67504)41.07 (67504)38.76 (67504)36.25 (67504)16.08 (67504)1384.78 (67504)1090.37 (67504)3600.0 (-)81.74 (67504)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/causal-discovery/causal_Pigs_6_1000.wcnf1193.39 (18211446)885.13 (18211446)830.75 (18211446)773.2 (18211446)1136.41 (18211446)3600.0 (-)3600.0 (-)3600.0 (-)2718.22 (18211446)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/causal-discovery/causal_Pigs_6_10000.wcnf3600.0 (-)3600.0 (-)152.2 (25539892)131.78 (25539892)131.02 (25539892)3600.0 (-)90.62 (25539892)3600.0 (-)3135.98 (25539892)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/causal-discovery/causal_Sensors_7_5456.wcnf56.05 (236855)63.39 (236855)83.1 (236855)116.49 (236855)27.64 (236855)3600.0 (-)3600.0 (-)3600.0 (-)240.94 (236855)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/causal-discovery/causal_Spectf_10_267.wcnf3600.0 (-)3600.0 (-)289.24 (1485873)276.65 (1485873)1382.86 (1485873)497.36 (1485873)471.32 (1485873)109.03 (1485873)1735.93 (1485873)107.56 (1485873)1298.88 (1485873)3600.0 (-)3600.0 (-)
probabilistic/causal-discovery/causal_Statlog_7_752.wcnf390.99 (380356)423.06 (380356)772.97 (380356)2419.0 (380356)1031.46 (380356)3600.0 (-)3600.0 (-)3600.0 (-)1488.07 (380356)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/causal-discovery/causal_SteelPlates_6_1941.wcnf19.71 (93959)21.5 (93959)27.83 (93959)32.81 (93959)16.09 (93959)52.82 (93959)76.11 (93959)45.79 (93959)32.85 (93959)44.69 (93959)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/causal-discovery/causal_Voting_7_435.wcnf103.66 (930263)101.71 (930263)64.97 (930263)100.76 (930263)97.21 (930263)3600.0 (-)3600.0 (-)3600.0 (-)308.38 (930263)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/causal-discovery/causal_Water_10_1000.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)781.32 (11339025)747.64 (11339025)269.23 (11339025)3600.0 (-)273.01 (11339025)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/causal-discovery/causal_Water_7_10000.wcnf187.96 (2052494)201.21 (2052494)186.77 (2052494)105.17 (2052494)82.09 (2052494)3600.0 (-)3600.0 (-)3600.0 (-)386.68 (2052494)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/causal-discovery/causal_Water_7_380.wcnf118.81 (414473)134.91 (414473)305.31 (414473)650.27 (414473)372.49 (414473)3600.0 (-)3600.0 (-)3600.0 (-)184.31 (414473)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/causal-discovery/causal_Wine_8_178.wcnf165.23 (426682)161.48 (426682)554.01 (426682)623.98 (426682)709.21 (426682)3600.0 (-)3600.0 (-)3600.0 (-)275.72 (426682)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/causal-discovery/causal_asia_10_100.wcnf140.14 (53617)115.53 (53617)22.01 (53617)20.53 (53617)6.74 (53617)14.98 (53617)8.45 (53617)4.96 (53617)89.68 (53617)5.03 (53617)169.76 (53617)3600.0 (-)3600.0 (-)
probabilistic/causal-discovery/causal_asia_8_10000.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/causal-discovery/causal_carpo_8_1000.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/causal-discovery/causal_hailfinder_8_10000.wcnf3600.0 (-)3600.0 (-)557.67 (115149390)450.35 (115149390)901.43 (115149390)3365.89 (115149390)1321.08 (115149390)1099.39 (115149390)3600.0 (-)1316.48 (115149390)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/causal-discovery/causal_insurance_8_10000.wcnf762.76 (38605539)734.3 (38605539)1682.74 (38605539)3149.13 (38605539)451.08 (38605539)3600.0 (-)3600.0 (-)3600.0 (-)1940.98 (38605539)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/causal-discovery/causal_insurance_9_100.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/correlation-clustering/Rounded_CorrelationClustering_Ecoli_BINARY_N240_D0.200.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/correlation-clustering/Rounded_CorrelationClustering_Ecoli_BINARY_N260_D0.200.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/correlation-clustering/Rounded_CorrelationClustering_Ecoli_BINARY_N280_D0.200.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/correlation-clustering/Rounded_CorrelationClustering_Ecoli_BINARY_N300_D0.200.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/correlation-clustering/Rounded_CorrelationClustering_Ionosphere_BINARY_N200_D0.200.wcnf1581.68 (4604640)1011.62 (4604640)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)309.29 (4604640)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/correlation-clustering/Rounded_CorrelationClustering_Ionosphere_BINARY_N220_D0.200.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)629.03 (5460347)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/correlation-clustering/Rounded_CorrelationClustering_Ionosphere_BINARY_N240_D0.200.wcnf3064.78 (6299281)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)575.66 (6299281)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/correlation-clustering/Rounded_CorrelationClustering_Ionosphere_BINARY_N260_D0.200.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)749.28 (6617532)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/correlation-clustering/Rounded_CorrelationClustering_Ionosphere_BINARY_N280_D0.200.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1193.28 (7176694)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/correlation-clustering/Rounded_CorrelationClustering_Ionosphere_BINARY_N300_D0.200.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1587.55 (8061560)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/correlation-clustering/Rounded_CorrelationClustering_Orl_BINARY_N200_D0.200.wcnf73.61 (2299099)78.99 (2299099)1039.07 (2299099)595.89 (2299099)14.9 (2299099)2381.9 (2299099)22.3 (2299099)10.46 (2299099)9.35 (2299099)3600.0 (-)2228.29 (2299099)3600.0 (-)3600.0 (-)
probabilistic/correlation-clustering/Rounded_CorrelationClustering_Orl_BINARY_N220_D0.200.wcnf95.8 (2815388)104.28 (2815388)3600.0 (-)1158.89 (2815388)26.21 (2815388)3600.0 (-)25.65 (2815388)10.33 (2815388)16.89 (2815388)3600.0 (-)1356.82 (2815388)3600.0 (-)3600.0 (-)
probabilistic/correlation-clustering/Rounded_CorrelationClustering_Orl_BINARY_N240_D0.200.wcnf117.02 (3163500)120.69 (3163500)2602.02 (3163500)2123.62 (3163500)36.0 (3163500)3600.0 (-)39.16 (3163500)14.9 (3163500)17.45 (3163500)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/correlation-clustering/Rounded_CorrelationClustering_Orl_BINARY_N300_D0.200.wcnf230.83 (4355327)250.7 (4355327)3600.0 (-)3600.0 (-)101.23 (4355327)3600.0 (-)155.27 (4355327)71.04 (4355327)44.54 (4355327)79.51 (4355327)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/correlation-clustering/Rounded_CorrelationClustering_Orl_BINARY_N340_D0.200.wcnf348.34 (4742918)360.3 (4742918)3600.0 (-)3600.0 (-)200.54 (4742918)1682.43 (4742918)315.45 (4742918)140.21 (4742918)72.4 (4742918)194.46 (4742918)796.8 (4742918)3600.0 (-)3600.0 (-)
probabilistic/correlation-clustering/Rounded_CorrelationClustering_Protein2_BINARY_N300.wcnf506.34 (22503509)652.92 (22503509)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)218.21 (22503509)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/correlation-clustering/Rounded_CorrelationClustering_Protein2_BINARY_N320.wcnf566.56 (27518389)586.96 (27518389)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)359.3 (27518389)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/correlation-clustering/Rounded_CorrelationClustering_Protein2_BINARY_N340.wcnf655.56 (31230336)643.24 (31230336)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)313.23 (31230336)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/correlation-clustering/Rounded_CorrelationClustering_Protein2_BINARY_N360.wcnf917.92 (34138349)987.47 (34138349)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)520.74 (34138349)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/correlation-clustering/Rounded_CorrelationClustering_Protein3_BINARY_N300.wcnf230.74 (23502864)173.25 (23502864)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)145.17 (23502864)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/correlation-clustering/Rounded_CorrelationClustering_Protein3_BINARY_N320.wcnf377.68 (29903295)294.57 (29903295)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)237.11 (29903295)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/correlation-clustering/Rounded_CorrelationClustering_Protein3_BINARY_N340.wcnf341.57 (32232975)370.49 (32232975)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)267.38 (32232975)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/correlation-clustering/Rounded_CorrelationClustering_Protein3_BINARY_N380.wcnf725.58 (38151554)901.97 (38151554)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)479.24 (38151554)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/correlation-clustering/Rounded_CorrelationClustering_Protein4_BINARY_N200.wcnf26.58 (4083641)31.7 (4083641)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)17.48 (4083641)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/correlation-clustering/Rounded_CorrelationClustering_Protein4_BINARY_N220.wcnf49.04 (4980706)35.82 (4980706)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)24.24 (4980706)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/correlation-clustering/Rounded_CorrelationClustering_Protein4_BINARY_N260.wcnf143.73 (8424459)214.36 (8424459)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)100.89 (8424459)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/correlation-clustering/Rounded_CorrelationClustering_Protein4_BINARY_N280.wcnf318.5 (10669742)266.63 (10669742)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)247.14 (10669742)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/correlation-clustering/Rounded_CorrelationClustering_Protein4_BINARY_N300.wcnf314.65 (11800559)375.59 (11800559)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)366.89 (11800559)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/correlation-clustering/Rounded_CorrelationClustering_Protein4_BINARY_N340.wcnf960.44 (14523227)711.23 (14523227)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)860.01 (14523227)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/correlation-clustering/Rounded_CorrelationClustering_Protein4_BINARY_N360.wcnf743.24 (15545978)787.32 (15545978)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)753.44 (15545978)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/correlation-clustering/Rounded_CorrelationClustering_Protein4_BINARY_N380.wcnf1793.62 (16428528)995.47 (16428528)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)956.94 (16428528)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/correlation-clustering/Rounded_CorrelationClustering_Vowel_BINARY_N700_D0.200.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/correlation-clustering/Rounded_CorrelationClustering_Vowel_BINARY_N720_D0.200.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/correlation-clustering/Rounded_CorrelationClustering_Vowel_BINARY_N760_D0.200.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/correlation-clustering/Rounded_CorrelationClustering_Vowel_BINARY_N800_D0.200.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/min-width/MinWidthCB_milan_200_12_1k_10s_1t_10.wcnf3600.0 (-)3600.0 (-)27.97 (93277)29.75 (93277)15.22 (93277)47.94 (93277)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/min-width/MinWidthCB_milan_200_12_1k_10s_1t_12.wcnf3600.0 (-)3600.0 (-)542.81 (92434)505.28 (92434)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/min-width/MinWidthCB_milan_200_12_1k_10s_2t_10.wcnf0.51 (90750)0.55 (90750)2.5 (90750)3.39 (90750)0.73 (90750)1.1 (90750)0.49 (90750)0.61 (90750)0.98 (90750)0.61 (90750)0.78 (90750)3600.0 (-)3600.0 (-)
probabilistic/min-width/MinWidthCB_milan_200_12_1k_4s_1t_4.wcnf0.19 (108863)0.21 (108863)0.62 (108863)0.52 (108863)0.08 (108863)0.1 (108863)0.05 (108863)0.06 (108863)0.34 (108863)0.06 (108863)0.34 (108863)3600.0 (-)2.48 (108863)
probabilistic/min-width/MinWidthCB_milan_200_12_1k_4s_2t_4.wcnf0.08 (108418)0.1 (108418)0.4 (108418)0.54 (108418)0.07 (108418)0.08 (108418)0.03 (108418)0.07 (108418)0.14 (108418)0.07 (108418)0.3 (108418)3600.0 (-)1.79 (108418)
probabilistic/min-width/MinWidthCB_mitdbsample_300_43_1k_15s_1t_15.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/min-width/MinWidthCB_mitdbsample_300_43_1k_15s_2t_15.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/min-width/MinWidthCB_mitdbsample_300_43_1k_3s_1t_3.wcnf3600.0 (-)3600.0 (-)374.33 (46995)356.36 (46995)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)6.51 (46995)
probabilistic/min-width/MinWidthCB_mitdbsample_300_43_1k_3s_1t_5.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/min-width/MinWidthCB_mitdbsample_300_43_1k_3s_2t_3.wcnf3600.0 (-)3600.0 (-)489.86 (45705)435.66 (45705)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)112.81 (45705)
probabilistic/min-width/MinWidthCB_mitdbsample_300_43_1k_3s_2t_5.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/min-width/MinWidthCB_mitdbsample_300_43_1k_6s_1t_6.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/min-width/MinWidthCB_mitdbsample_300_43_1k_6s_2t_6.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/min-width/MinWidthCB_mitdbsample_300_43_1k_6s_2t_8.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/min-width/MinWidthCB_mitdbsample_300_64_1k_15s_1t_15.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/min-width/MinWidthCB_mitdbsample_300_64_1k_15s_1t_17.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/min-width/MinWidthCB_mitdbsample_300_64_1k_15s_2t_15.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/min-width/MinWidthCB_mitdbsample_300_64_1k_15s_2t_17.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/min-width/MinWidthCB_mitdbsample_300_64_1k_15s_3t_17.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/min-width/MinWidthCB_mitdbsample_300_64_1k_3s_1t_5.wcnf3600.0 (-)3600.0 (-)2320.66 (78770)2473.56 (78770)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/min-width/MinWidthCB_mitdbsample_300_64_1k_3s_2t_5.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/min-width/MinWidthCB_mitdbsample_300_64_1k_3s_3t_3.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)41.47 (75695)
probabilistic/min-width/MinWidthCB_mitdbsample_300_64_1k_3s_3t_5.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/min-width/MinWidthCB_mitdbsample_300_64_1k_6s_1t_8.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/min-width/MinWidthCB_mitdbsample_300_64_1k_6s_2t_6.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/min-width/MinWidthCB_mitdbsample_300_64_1k_6s_3t_6.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/min-width/MinWidthCB_mitdbsample_300_64_1k_6s_3t_8.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/min-width/MinWidthCB_power_1000_24_1k_10s_1t_12.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/min-width/MinWidthCB_power_1000_24_1k_20s_1t_20.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/min-width/MinWidthCB_power_1000_24_1k_20s_2t_20.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/min-width/MinWidthCB_power_1000_24_1k_20s_2t_22.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/min-width/MinWidthCB_power_1000_24_1k_50s_1t_50.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/min-width/MinWidthCB_power_1000_24_1k_50s_1t_52.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/min-width/MinWidthCB_power_1000_24_1k_50s_2t_50.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/min-width/MinWidthCB_power_1000_24_1k_50s_2t_52.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/relational-inference/ar-1.wcnf2.75 (25062)3.11 (25062)3600.0 (-)3600.0 (-)50.42 (25062)3600.0 (-)9.93 (25062)4.17 (25062)85.44 (25062)4.44 (25062)82.03 (25062)3600.0 (-)2.48 (25062)
probabilistic/relational-inference/ar-2.wcnf102.86 (394748)121.27 (394748)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)555.38 (394748)3600.0 (-)2259.21 (394748)3600.0 (-)18.77 (394748)
probabilistic/relational-inference/ar-3.wcnf0.9 (43814)0.95 (43814)3600.0 (-)3600.0 (-)76.93 (43814)42.37 (43814)19.24 (43814)0.74 (43814)1.7 (43814)0.71 (43814)60.78 (43814)3600.0 (-)1.0 (43814)
probabilistic/relational-inference/pa-1.wcnf221.02 (820)223.12 (820)3600.0 (-)3600.0 (-)163.87 (820)28.49 (820)22.99 (820)30.18 (820)757.39 (820)30.2 (820)2372.09 (820)3600.0 (-)3600.0 (-)
probabilistic/relational-inference/pa-2.wcnf531.06 (143)833.8 (143)3600.0 (-)3600.0 (-)1816.12 (143)379.85 (143)295.97 (143)2089.84 (143)3600.0 (-)2088.33 (143)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/relational-inference/pa-3.wcnf3600.0 (-)3467.02 (192)3600.0 (-)3600.0 (-)2365.67 (192)601.53 (192)359.32 (192)1124.81 (192)3600.0 (-)1124.35 (192)3600.0 (-)3600.0 (-)3600.0 (-)
probabilistic/relational-inference/rc-1.wcnf1.67 (5722)1.42 (5722)3600.0 (-)3600.0 (-)453.16 (5722)132.62 (5722)112.78 (5722)19.13 (5722)10.96 (5722)19.01 (5722)531.72 (5722)3600.0 (-)17.37 (5722)
probabilistic/relational-inference/rc-2.wcnf1.7 (5722)1.62 (5722)3600.0 (-)3600.0 (-)491.5 (5722)132.68 (5722)110.13 (5722)18.05 (5722)11.0 (5722)18.18 (5722)531.74 (5722)3600.0 (-)17.28 (5722)
satisfiability/abstraction-refinement/downcast-antlr.wcnf926.93 (76250)1127.52 (76250)3600.0 (-)3600.0 (-)801.73 (76250)300.7 (76250)275.31 (76250)786.43 (76250)2436.49 (76250)786.38 (76250)3600.0 (-)3600.0 (-)3600.0 (-)
satisfiability/abstraction-refinement/downcast-avrora.wcnf549.8 (46642)594.53 (46642)3600.0 (-)3600.0 (-)350.7 (46642)88.29 (46642)59.56 (46642)2104.81 (46642)3600.0 (-)2097.3 (46642)1615.09 (46642)3600.0 (-)3600.0 (-)
satisfiability/abstraction-refinement/downcast-hsqldb.wcnf1886.22 (30207)2602.78 (30207)2346.55 (30207)2186.88 (30207)682.23 (30207)239.81 (30207)264.89 (30207)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2322.69 (30207)3600.0 (-)
satisfiability/abstraction-refinement/downcast-pmd.wcnf1288.15 (4227)1938.63 (4227)3600.0 (-)3600.0 (-)866.7 (4227)122.49 (4227)312.97 (4227)3564.35 (4227)3600.0 (-)3564.37 (4227)3600.0 (-)3600.0 (-)3600.0 (-)
satisfiability/abstraction-refinement/downcast-xalan.wcnf671.82 (65491)693.01 (65491)3600.0 (-)3600.0 (-)601.64 (65491)175.55 (65491)96.44 (65491)849.1 (65491)2114.29 (65491)850.3 (65491)3600.0 (-)3600.0 (-)3600.0 (-)
satisfiability/abstraction-refinement/polysite-avrora.wcnf672.37 (51801)1025.51 (51801)2660.79 (51801)2042.2 (51801)259.79 (51801)101.53 (51801)111.56 (51801)328.17 (51801)1253.31 (51801)329.26 (51801)1957.84 (51801)3600.0 (-)3600.0 (-)
satisfiability/abstraction-refinement/polysite-bloat.wcnf3361.7 (36)3600.0 (-)3600.0 (-)3600.0 (-)1220.13 (36)168.03 (36)501.37 (36)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
satisfiability/abstraction-refinement/polysite-hsqldb.wcnf1147.55 (172382)1552.62 (172382)1293.22 (172382)1229.48 (172382)1369.16 (172382)154.29 (172382)122.0 (172382)2562.51 (172382)3600.0 (-)2562.81 (172382)3600.0 (-)1276.04 (172382)3600.0 (-)
satisfiability/abstraction-refinement/polysite-lusearch.wcnf425.34 (421456)409.87 (421456)3600.0 (-)3600.0 (-)294.37 (421456)19.97 (421456)43.25 (421456)224.9 (421456)554.26 (421456)225.07 (421456)2284.68 (421456)3600.0 (-)3600.0 (-)
satisfiability/abstraction-refinement/polysite-pmd.wcnf1104.88 (188398)1464.2 (188398)3600.0 (-)3600.0 (-)1049.48 (188398)192.7 (188398)232.66 (188398)2234.44 (188398)3311.03 (188398)2230.6 (188398)3600.0 (-)3600.0 (-)3600.0 (-)
satisfiability/abstraction-refinement/polysite-xalan.wcnf1570.54 (114620)1684.95 (114620)3600.0 (-)3600.0 (-)2258.13 (114620)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
satisfiability/frb/frb10-6-1.wcnf0.01 (50)0.01 (50)0.01 (50)4.24 (50)0.01 (50)0.1 (50)0.01 (50)0.04 (50)0.06 (50)0.04 (50)0.97 (50)0.01 (50)0.05 (50)
satisfiability/frb/frb10-6-2.wcnf0.02 (50)0.02 (50)0.01 (50)4.24 (50)0.01 (50)0.03 (50)0.0 (50)0.05 (50)0.08 (50)0.05 (50)0.64 (50)0.01 (50)0.06 (50)
satisfiability/frb/frb10-6-3.wcnf0.02 (50)0.02 (50)0.01 (50)3.27 (50)0.01 (50)0.06 (50)0.01 (50)0.05 (50)0.08 (50)0.05 (50)0.81 (50)0.01 (50)0.07 (50)
satisfiability/frb/frb10-6-4.wcnf0.02 (50)0.02 (50)0.01 (50)3.37 (50)0.01 (50)0.06 (50)0.01 (50)0.04 (50)0.07 (50)0.04 (50)0.77 (50)0.01 (50)0.06 (50)
satisfiability/frb/frb15-9-1.wcnf0.14 (120)0.16 (120)0.06 (120)1.63 (120)0.31 (120)144.63 (120)0.18 (120)2.31 (120)0.54 (120)2.28 (120)2421.27 (120)0.06 (120)0.43 (120)
satisfiability/frb/frb15-9-2.wcnf0.1 (120)0.15 (120)0.07 (120)1.79 (120)3.9 (120)417.04 (120)0.19 (120)1.49 (120)0.44 (120)1.51 (120)3600.0 (-)0.07 (120)0.74 (120)
satisfiability/frb/frb15-9-3.wcnf0.17 (120)0.19 (120)0.07 (120)1.54 (120)1.27 (120)58.8 (120)1.55 (120)1.07 (120)0.68 (120)1.08 (120)3600.0 (-)0.08 (120)0.29 (120)
satisfiability/frb/frb15-9-4.wcnf0.18 (120)0.15 (120)0.05 (120)1.15 (120)0.78 (120)123.44 (120)0.09 (120)7.03 (120)0.54 (120)7.03 (120)3600.0 (-)0.09 (120)0.9 (120)
satisfiability/frb/frb15-9-5.wcnf0.02 (120)0.04 (120)0.07 (120)1.07 (120)0.68 (120)217.37 (120)0.18 (120)2.49 (120)2.35 (120)2.45 (120)3600.0 (-)0.09 (120)0.37 (120)
satisfiability/frb/frb20-11-1.wcnf0.05 (200)0.12 (200)0.13 (200)26.89 (200)23.26 (200)3600.0 (-)5.85 (200)675.72 (200)10.43 (200)679.35 (200)3600.0 (-)0.17 (200)2.53 (200)
satisfiability/frb/frb20-11-2.wcnf0.11 (200)0.18 (200)0.12 (200)13.17 (200)79.87 (200)3600.0 (-)137.56 (200)3122.75 (200)1.95 (200)3122.32 (200)3600.0 (-)0.24 (200)12.18 (200)
satisfiability/frb/frb20-11-3.wcnf0.63 (200)0.5 (200)0.21 (200)48.37 (200)15.37 (200)3600.0 (-)154.65 (200)205.63 (200)4.96 (200)206.6 (200)3600.0 (-)0.3 (200)16.03 (200)
satisfiability/frb/frb20-11-4.wcnf0.98 (200)0.58 (200)0.15 (200)27.44 (200)13.82 (200)3600.0 (-)5.89 (200)561.84 (200)9.28 (200)568.95 (200)3600.0 (-)0.17 (200)17.31 (200)
satisfiability/frb/frb20-11-5.wcnf0.21 (200)0.35 (200)0.21 (200)11.44 (200)19.38 (200)3600.0 (-)528.56 (200)285.2 (200)3.45 (200)289.14 (200)3600.0 (-)0.19 (200)8.3 (200)
satisfiability/frb/frb25-13-1.wcnf0.23 (300)0.21 (300)3.02 (300)60.2 (300)3600.0 (-)3600.0 (-)231.09 (300)3600.0 (-)471.14 (300)3600.0 (-)3600.0 (-)1.19 (300)152.99 (300)
satisfiability/frb/frb25-13-2.wcnf0.1 (300)1.41 (300)0.94 (300)49.76 (300)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)151.59 (300)3600.0 (-)3600.0 (-)0.78 (300)255.07 (300)
satisfiability/frb/frb25-13-3.wcnf0.2 (300)0.17 (300)1.57 (300)51.34 (300)339.68 (300)3600.0 (-)449.96 (300)3600.0 (-)22.86 (300)3600.0 (-)3600.0 (-)1.13 (300)629.03 (300)
satisfiability/frb/frb25-13-4.wcnf0.35 (300)1.33 (300)1.26 (300)30.17 (300)3600.0 (-)3600.0 (-)1952.91 (300)3600.0 (-)37.65 (300)3600.0 (-)3600.0 (-)0.7 (300)1046.58 (300)
satisfiability/frb/frb25-13-5.wcnf19.17 (300)7.76 (300)1.21 (300)27.51 (300)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)57.0 (300)3600.0 (-)3600.0 (-)2.56 (300)152.36 (300)
satisfiability/frb/frb30-15-1.wcnf15.78 (420)228.2 (420)4.49 (420)146.21 (420)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1669.32 (420)3600.0 (-)3600.0 (-)4.8 (420)3600.0 (-)
satisfiability/frb/frb30-15-2.wcnf0.84 (420)0.8 (420)2.65 (420)215.67 (420)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3203.22 (420)3600.0 (-)3600.0 (-)6.79 (420)3600.0 (-)
satisfiability/frb/frb30-15-3.wcnf0.54 (420)0.8 (420)3.42 (420)146.53 (420)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3007.48 (420)3600.0 (-)3600.0 (-)5.76 (420)3600.0 (-)
satisfiability/frb/frb30-15-4.wcnf11.51 (420)19.03 (420)4.19 (420)173.55 (420)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)847.91 (420)3600.0 (-)3600.0 (-)5.16 (420)2586.36 (420)
satisfiability/frb/frb30-15-5.wcnf0.27 (420)0.22 (420)4.65 (420)202.58 (420)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)260.98 (420)3600.0 (-)3600.0 (-)4.22 (420)3511.87 (420)
satisfiability/frb/frb35-17-1.wcnf4.72 (560)4.93 (560)28.27 (560)753.71 (560)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)13.64 (560)3600.0 (-)
satisfiability/frb/frb35-17-2.wcnf69.81 (560)72.25 (560)26.98 (560)1807.09 (560)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)77.51 (560)3600.0 (-)
satisfiability/frb/frb35-17-3.wcnf634.23 (560)765.17 (560)10.56 (560)348.49 (560)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)5.85 (560)3600.0 (-)
satisfiability/frb/frb35-17-4.wcnf4.49 (560)12.49 (560)13.07 (560)1372.42 (560)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)10.86 (560)3600.0 (-)
satisfiability/frb/frb35-17-5.wcnf6.41 (560)6.5 (560)37.73 (560)1030.73 (560)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)57.97 (560)3600.0 (-)
satisfiability/frb/frb40-19-1.wcnf15.62 (720)23.67 (720)13.82 (720)2158.47 (720)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)27.09 (720)3600.0 (-)
satisfiability/frb/frb40-19-2.wcnf42.03 (720)42.6 (720)29.19 (720)2401.08 (720)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)64.15 (720)3600.0 (-)
satisfiability/frb/frb40-19-3.wcnf254.93 (720)3600.0 (-)165.75 (720)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)802.0 (720)3600.0 (-)
satisfiability/frb/frb40-19-4.wcnf290.51 (720)289.8 (720)552.56 (720)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)215.48 (720)3600.0 (-)
satisfiability/frb/frb40-19-5.wcnf91.83 (720)91.72 (720)208.84 (720)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)24.04 (720)3600.0 (-)
verification/css-refactoring/amazon.wcnf3600.0 (-)3600.0 (-)328.1 (113575)322.07 (113575)22.04 (113575)103.31 (113575)26.92 (113575)22.8 (113575)3600.0 (-)24.39 (113575)3600.0 (-)3600.0 (-)1164.28 (113575)
verification/css-refactoring/archlinux.wcnf3.6 (11744)1.62 (11744)2.64 (11744)2.26 (11744)0.11 (11744)0.09 (11744)0.07 (11744)0.08 (11744)15.82 (11744)0.09 (11744)1.56 (11744)43.97 (11744)2.7 (11744)
verification/css-refactoring/dblp.wcnf616.91 (25014)534.13 (25014)23.05 (25014)26.64 (25014)1.4 (25014)1.84 (25014)0.83 (25014)0.66 (25014)3600.0 (-)0.68 (25014)17.72 (25014)3600.0 (-)52.83 (25014)
verification/css-refactoring/ebay.wcnf3600.0 (-)3600.0 (-)330.17 (123941)321.73 (123941)12.65 (123941)21.44 (123941)11.17 (123941)9.64 (123941)3600.0 (-)7.32 (123941)517.39 (123941)3600.0 (-)744.68 (123941)
verification/css-refactoring/facebook1.wcnf1172.35 (45581)989.87 (45581)23.36 (45581)23.33 (45581)3.32 (45581)3.06 (45581)2.22 (45581)2.29 (45581)3600.0 (-)2.23 (45581)50.34 (45581)3600.0 (-)221.69 (45581)
verification/css-refactoring/github.wcnf3600.0 (-)3600.0 (-)1051.89 (187405)986.54 (187405)38.66 (187405)41.31 (187405)20.67 (187405)16.8 (187405)3600.0 (-)18.15 (187405)1807.83 (187405)3600.0 (-)3600.0 (-)
verification/css-refactoring/guardian.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)21.25 (160777)30.76 (160777)15.77 (160777)12.49 (160777)3600.0 (-)13.03 (160777)1053.71 (160777)3600.0 (-)2763.14 (160777)
verification/css-refactoring/londonist.wcnf60.94 (70703)68.75 (70703)167.9 (70703)85.27 (70703)2.36 (70703)1.4 (70703)1.45 (70703)1.37 (70703)3600.0 (-)1.46 (70703)54.93 (70703)3600.0 (-)34.8 (70703)
verification/css-refactoring/openstreetmap.wcnf129.64 (65915)209.24 (65915)59.89 (65915)54.38 (65915)2.02 (65915)1.85 (65915)1.16 (65915)1.02 (65915)3600.0 (-)1.09 (65915)31.07 (65915)3600.0 (-)75.63 (65915)
verification/css-refactoring/wikipedia.wcnf2.72 (42676)2.77 (42676)12.7 (42676)13.03 (42676)0.31 (42676)0.25 (42676)0.22 (42676)0.19 (42676)23.12 (42676)0.2 (42676)3.36 (42676)436.97 (42676)7.7 (42676)
verification/css-refactoring/youtube.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3512.65 (227167)
verification/dalculus/f49-DC_TotalLoss.seq-A-2-1-EDCBAir.wcnf257.64 (85417548780)164.17 (85417548780)3600.0 (-)3600.0 (-)0.13 (85417548780)0.14 (85417548780)3600.0 (-)3600.0 (-)22.15 (85417548780)3600.0 (-)2.09 (85417548780)3600.0 (-)385.48 (85417548780)
verification/dalculus/f49-DC_TotalLoss.seq-A-2-1-irEDCBA.wcnf2.31 (14779649425)2.49 (14779649425)3600.0 (-)3600.0 (-)0.09 (14779649425)0.19 (14779649425)0.07 (14779649425)0.09 (14779649425)5.4 (14779649425)0.1 (14779649425)2.92 (14779649425)3600.0 (-)373.85 (14779649425)
verification/dalculus/f49-DC_TotalLoss.seq-A-2-combined-EDCBAir.wcnf75.79 (85417548780)93.57 (85417548780)3600.0 (-)3600.0 (-)0.13 (85417548780)0.11 (85417548780)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2.19 (85417548780)3600.0 (-)1274.34 (85417548780)
verification/dalculus/f49-DC_TotalLoss.seq-A-2-combined-abcdeir.wcnf1.89 (1506908822)4.25 (1506908822)2.33 (1506908822)2.02 (1506908822)0.07 (1506908822)0.09 (1506908822)3600.0 (-)0.1 (1506908822)35.07 (1506908822)0.09 (1506908822)2.11 (1506908822)0.27 (1506908822)411.0 (1506908822)
verification/dalculus/f49-DC_TotalLoss.seq-A-2-combined-irEDCBA.wcnf2.37 (14779649425)2.51 (14779649425)3600.0 (-)3600.0 (-)0.1 (14779649425)0.17 (14779649425)0.07 (14779649425)0.1 (14779649425)2.88 (14779649425)0.1 (14779649425)2.16 (14779649425)3600.0 (-)93.86 (14779649425)
verification/dalculus/f49-DC_TotalLoss.seq-A-2-combined-irabcde.wcnf0.67 (14735114187)1.71 (14735114187)3600.0 (-)3600.0 (-)0.09 (14735114187)0.05 (14735114187)0.05 (14735114187)0.09 (14735114187)2.52 (14735114187)0.09 (14735114187)1.92 (14735114187)3600.0 (-)16.74 (14735114187)
verification/dalculus/f49-DC_TotalLoss.seq-A-3-1-EDCBAir.wcnf6.43 (119565855313)7.41 (119565855313)13.98 (119565855313)13.87 (119565855313)0.18 (119565855313)0.27 (119565855313)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)4.09 (119565855313)0.82 (119565855313)15.21 (119565855313)
verification/dalculus/f49-DC_TotalLoss.seq-A-3-1-abcdeir.wcnf0.97 (38771710156)1.11 (38771710156)8.55 (38771710156)11.18 (38771710156)0.2 (38771710156)0.2 (38771710156)3600.0 (-)3600.0 (-)1.55 (38771710156)3600.0 (-)3.83 (38771710156)0.79 (38771710156)24.35 (38771710156)
verification/dalculus/f49-DC_TotalLoss.seq-A-3-1-irEDCBA.wcnf2.76 (87222787445)2.12 (87222787445)10.27 (87222787445)12.26 (87222787445)0.18 (87222787445)0.3 (87222787445)0.25 (87222787445)0.28 (87222787445)2.45 (87222787445)0.27 (87222787445)5.07 (87222787445)1.15 (87222787445)83.13 (87222787445)
verification/dalculus/f49-DC_TotalLoss.seq-A-3-1-irabcde.wcnf0.77 (87192075247)1.06 (87192075247)14.65 (87192075247)12.14 (87192075247)0.17 (87192075247)0.21 (87192075247)0.21 (87192075247)0.27 (87192075247)1.29 (87192075247)0.28 (87192075247)4.07 (87192075247)1.16 (87192075247)77.16 (87192075247)
verification/dalculus/f49-DC_TotalLoss.seq-A-3-2-abcdeir.wcnf0.94 (2109343556)0.72 (2109343556)7.95 (2109343556)6.29 (2109343556)0.2 (2109343556)0.22 (2109343556)3600.0 (-)0.92 (2109343556)2.15 (2109343556)0.92 (2109343556)3.55 (2109343556)0.8 (2109343556)75.85 (2109343556)
verification/dalculus/f49-DC_TotalLoss.seq-A-3-2-irEDCBA.wcnf1.37 (87222797189)1.16 (87222797189)8.9 (87222797189)10.99 (87222797189)0.18 (87222797189)0.23 (87222797189)0.21 (87222797189)1.06 (87222797189)1.91 (87222797189)1.06 (87222797189)3.76 (87222797189)1.1 (87222797189)133.19 (87222797189)
verification/dalculus/f49-DC_TotalLoss.seq-A-3-2-irabcde.wcnf1.07 (87178138817)1.15 (87178138817)10.98 (87178138817)11.19 (87178138817)0.17 (87178138817)0.19 (87178138817)0.19 (87178138817)0.3 (87178138817)1.72 (87178138817)0.3 (87178138817)3.47 (87178138817)1.17 (87178138817)160.88 (87178138817)
verification/dalculus/f49-DC_TotalLoss.seq-A-3-combined-EDCBAir.wcnf4.46 (119565855313)4.56 (119565855313)13.93 (119565855313)14.0 (119565855313)0.25 (119565855313)0.28 (119565855313)3600.0 (-)3600.0 (-)5.7 (119565855313)3600.0 (-)4.98 (119565855313)0.89 (119565855313)75.02 (119565855313)
verification/dalculus/f49-DC_TotalLoss.seq-A-3-combined-abcdeir.wcnf0.87 (2109343556)0.78 (2109343556)8.89 (2109343556)8.05 (2109343556)0.24 (2109343556)0.2 (2109343556)3600.0 (-)0.38 (2109343556)3.23 (2109343556)0.39 (2109343556)4.81 (2109343556)0.9 (2109343556)49.81 (2109343556)
verification/dalculus/f49-DC_TotalLoss.seq-A-3-combined-irEDCBA.wcnf2.85 (87222787445)2.26 (87222787445)12.42 (87222787445)12.39 (87222787445)0.24 (87222787445)0.39 (87222787445)0.33 (87222787445)0.41 (87222787445)4.02 (87222787445)0.41 (87222787445)6.08 (87222787445)1.4 (87222787445)168.4 (87222787445)
verification/dalculus/f49-DC_TotalLoss.seq-A-3-combined-irabcde.wcnf1.47 (87178138817)1.35 (87178138817)11.45 (87178138817)12.34 (87178138817)0.23 (87178138817)0.22 (87178138817)0.26 (87178138817)0.41 (87178138817)3.69 (87178138817)0.41 (87178138817)5.27 (87178138817)1.29 (87178138817)168.43 (87178138817)
verification/dalculus/f49-DC_TotalLoss.seq-B-2-1-EDCBAir.wcnf179.95 (83838199998)239.47 (83838199998)3600.0 (-)3600.0 (-)0.14 (83838199998)0.18 (83838199998)3600.0 (-)3600.0 (-)31.39 (83838199998)3600.0 (-)2.05 (83838199998)3600.0 (-)469.13 (83838199998)
verification/dalculus/f49-DC_TotalLoss.seq-B-2-1-irEDCBA.wcnf2.25 (14778847207)1.47 (14778847207)3600.0 (-)3600.0 (-)0.09 (14778847207)0.33 (14778847207)0.07 (14778847207)0.1 (14778847207)5.13 (14778847207)0.1 (14778847207)2.65 (14778847207)3600.0 (-)287.41 (14778847207)
verification/dalculus/f49-DC_TotalLoss.seq-B-2-1-irabcde.wcnf1.26 (14734670602)0.97 (14734670602)3600.0 (-)3600.0 (-)0.09 (14734670602)0.08 (14734670602)0.07 (14734670602)0.1 (14734670602)1.87 (14734670602)0.1 (14734670602)1.97 (14734670602)3600.0 (-)328.73 (14734670602)
verification/dalculus/f49-DC_TotalLoss.seq-B-2-2-EDCBAir.wcnf10.37 (84460802273)19.66 (84460802273)3.49 (84460802273)3.37 (84460802273)0.07 (84460802273)0.13 (84460802273)3600.0 (-)3600.0 (-)15.76 (84460802273)3600.0 (-)1.78 (84460802273)3600.0 (-)148.29 (84460802273)
verification/dalculus/f49-DC_TotalLoss.seq-B-2-2-abcdeir.wcnf1.84 (44321234)1.21 (44321234)2.07 (44321234)1.53 (44321234)0.07 (44321234)0.09 (44321234)3600.0 (-)0.38 (44321234)14.85 (44321234)0.09 (44321234)2.11 (44321234)0.24 (44321234)282.69 (44321234)
verification/dalculus/f49-DC_TotalLoss.seq-B-2-2-irEDCBA.wcnf4.62 (14779157155)2.7 (14779157155)3600.0 (-)3600.0 (-)0.09 (14779157155)0.42 (14779157155)0.07 (14779157155)0.09 (14779157155)6.42 (14779157155)0.09 (14779157155)2.39 (14779157155)3600.0 (-)83.83 (14779157155)
verification/dalculus/f49-DC_TotalLoss.seq-B-2-2-irabcde.wcnf1.72 (14734224771)3.31 (14734224771)3600.0 (-)3600.0 (-)0.08 (14734224771)0.05 (14734224771)0.05 (14734224771)0.08 (14734224771)1.67 (14734224771)0.08 (14734224771)1.73 (14734224771)3600.0 (-)16.49 (14734224771)
verification/dalculus/f49-DC_TotalLoss.seq-B-2-combined-EDCBAir.wcnf109.73 (83838199998)182.48 (83838199998)3600.0 (-)3600.0 (-)0.14 (83838199998)0.19 (83838199998)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2.34 (83838199998)3600.0 (-)538.74 (83838199998)
verification/dalculus/f49-DC_TotalLoss.seq-B-2-combined-irEDCBA.wcnf4.53 (14778847207)3.53 (14778847207)3600.0 (-)3600.0 (-)0.1 (14778847207)0.44 (14778847207)0.08 (14778847207)0.1 (14778847207)4.09 (14778847207)0.1 (14778847207)2.05 (14778847207)3600.0 (-)117.97 (14778847207)
verification/dalculus/f49-DC_TotalLoss.seq-B-2-combined-irabcde.wcnf1.67 (14734224771)1.08 (14734224771)3600.0 (-)3600.0 (-)0.1 (14734224771)0.05 (14734224771)0.05 (14734224771)0.1 (14734224771)1.96 (14734224771)0.1 (14734224771)2.04 (14734224771)3600.0 (-)101.25 (14734224771)
verification/dalculus/f49-DC_TotalLoss.seq-B-3-1-irEDCBA.wcnf3.94 (87221947078)3.0 (87221947078)14.02 (87221947078)13.43 (87221947078)0.14 (87221947078)0.37 (87221947078)0.27 (87221947078)0.26 (87221947078)3.19 (87221947078)0.26 (87221947078)4.64 (87221947078)1.22 (87221947078)121.49 (87221947078)
verification/dalculus/f49-DC_TotalLoss.seq-B-3-1-irabcde.wcnf0.94 (87177770473)1.28 (87177770473)12.73 (87177770473)10.39 (87177770473)0.17 (87177770473)0.21 (87177770473)0.2 (87177770473)0.26 (87177770473)1.27 (87177770473)0.26 (87177770473)4.32 (87177770473)1.24 (87177770473)72.3 (87177770473)
verification/dalculus/f49-DC_TotalLoss.seq-B-3-2-abcdeir.wcnf0.94 (62041376)0.72 (62041376)7.68 (62041376)6.58 (62041376)0.19 (62041376)0.21 (62041376)3600.0 (-)0.34 (62041376)2.04 (62041376)0.34 (62041376)3.85 (62041376)0.86 (62041376)248.44 (62041376)
verification/dalculus/f49-DC_TotalLoss.seq-B-3-2-irEDCBA.wcnf1.33 (87222278363)1.52 (87222278363)12.9 (87222278363)11.53 (87222278363)0.19 (87222278363)0.26 (87222278363)0.2 (87222278363)1.05 (87222278363)2.33 (87222278363)1.06 (87222278363)4.63 (87222278363)1.19 (87222278363)163.13 (87222278363)
verification/dalculus/f49-DC_TotalLoss.seq-B-3-2-irabcde.wcnf1.3 (87177360578)1.46 (87177360578)9.88 (87177360578)9.85 (87177360578)0.18 (87177360578)0.19 (87177360578)0.17 (87177360578)0.3 (87177360578)1.65 (87177360578)0.31 (87177360578)3.64 (87177360578)1.2 (87177360578)133.59 (87177360578)
verification/dalculus/f49-DC_TotalLoss.seq-B-3-combined-EDCBAir.wcnf4.29 (117355113043)7.75 (117355113043)17.78 (117355113043)17.97 (117355113043)0.27 (117355113043)0.35 (117355113043)3600.0 (-)3600.0 (-)4.98 (117355113043)3600.0 (-)4.63 (117355113043)0.91 (117355113043)131.47 (117355113043)
verification/dalculus/f49-DC_TotalLoss.seq-B-3-combined-irEDCBA.wcnf3.38 (87221947078)3.74 (87221947078)14.64 (87221947078)17.53 (87221947078)0.24 (87221947078)0.55 (87221947078)0.4 (87221947078)0.47 (87221947078)4.6 (87221947078)0.47 (87221947078)4.99 (87221947078)1.5 (87221947078)192.96 (87221947078)
verification/dalculus/f49-DC_TotalLoss.seq-B-3-combined-irabcde.wcnf1.54 (87177360578)1.53 (87177360578)9.99 (87177360578)10.27 (87177360578)0.22 (87177360578)0.23 (87177360578)0.3 (87177360578)0.57 (87177360578)3.36 (87177360578)0.56 (87177360578)5.65 (87177360578)1.5 (87177360578)254.25 (87177360578)
verification/mancoosi/mancoosi-test-i3000d0u98-51.wcnf2.36 (573028153)1.98 (573028153)737.14 (573028153)654.71 (573028153)0.66 (573028153)1.37 (573028153)0.56 (573028153)0.36 (573028153)1.18 (573028153)0.36 (573028153)36.99 (573028153)59.64 (573028153)0.95 (573028153)
verification/mancoosi/mancoosi-test-i3000d0u98-53.wcnf2.02 (573137017)1.76 (573137017)3600.0 (-)3600.0 (-)0.56 (573137017)1.14 (573137017)0.48 (573137017)0.36 (573137017)1.14 (573137017)0.36 (573137017)28.49 (573137017)413.76 (573137017)0.93 (573137017)
verification/mancoosi/mancoosi-test-i3000d0u98-54.wcnf2.12 (573137062)1.77 (573137062)312.0 (573137062)313.79 (573137062)0.63 (573137062)1.24 (573137062)0.53 (573137062)0.37 (573137062)1.16 (573137062)0.37 (573137062)30.32 (573137062)55.14 (573137062)0.94 (573137062)
verification/mancoosi/mancoosi-test-i3000d0u98-55.wcnf1.96 (528002690)1.75 (528002690)516.59 (528002690)487.49 (528002690)0.56 (528002690)1.07 (528002690)0.77 (528002690)1.13 (528002690)1.08 (528002690)0.35 (528002690)27.46 (528002690)30.04 (528002690)0.94 (528002690)
verification/mancoosi/mancoosi-test-i3000d0u98-56.wcnf1.87 (482868432)1.68 (482868432)139.89 (482868432)128.38 (482868432)0.52 (482868432)1.08 (482868432)0.45 (482868432)0.36 (482868432)1.09 (482868432)0.36 (482868432)25.61 (482868432)13.32 (482868432)0.93 (482868432)
verification/mancoosi/mancoosi-test-i3000d0u98-58.wcnf2.42 (527911930)1.99 (527911930)229.76 (527911930)220.3 (527911930)0.55 (527911930)1.18 (527911930)0.48 (527911930)0.36 (527911930)1.14 (527911930)0.36 (527911930)32.36 (527911930)25.95 (527911930)0.94 (527911930)
verification/mancoosi/mancoosi-test-i3000d0u98-59.wcnf2.06 (588054583)1.75 (588054583)942.8 (588054583)861.72 (588054583)0.55 (588054583)1.12 (588054583)0.48 (588054583)0.36 (588054583)1.21 (588054583)0.36 (588054583)25.11 (588054583)88.29 (588054583)0.94 (588054583)
verification/mancoosi/mancoosi-test-i3000d0u98-60.wcnf2.08 (648142779)1.86 (648142779)3600.0 (-)3600.0 (-)0.57 (648142779)1.14 (648142779)0.49 (648142779)0.37 (648142779)1.09 (648142779)0.38 (648142779)30.76 (648142779)307.21 (648142779)0.94 (648142779)
verification/mancoosi/mancoosi-test-i3000d0u98-62.wcnf2.02 (527930109)1.81 (527930109)438.8 (527930109)397.6 (527930109)0.6 (527930109)1.2 (527930109)0.52 (527930109)0.36 (527930109)1.16 (527930109)0.36 (527930109)29.37 (527930109)29.83 (527930109)0.95 (527930109)
verification/mancoosi/mancoosi-test-i3000d0u98-63.wcnf1.96 (512957980)1.7 (512957980)975.5 (512957980)987.97 (512957980)0.53 (512957980)1.13 (512957980)0.46 (512957980)0.36 (512957980)1.08 (512957980)0.36 (512957980)26.59 (512957980)139.8 (512957980)0.93 (512957980)
verification/mancoosi/mancoosi-test-i3000d0u98-64.wcnf2.17 (572991690)1.77 (572991690)1018.6 (572991690)1045.98 (572991690)0.6 (572991690)1.18 (572991690)0.52 (572991690)0.36 (572991690)1.22 (572991690)0.36 (572991690)29.61 (572991690)75.85 (572991690)0.94 (572991690)
verification/mancoosi/mancoosi-test-i3000d0u98-66.wcnf1.92 (512939800)1.7 (512939800)90.75 (512939800)82.96 (512939800)0.59 (512939800)1.12 (512939800)0.49 (512939800)0.36 (512939800)1.22 (512939800)0.36 (512939800)26.06 (512939800)5.94 (512939800)0.95 (512939800)
verification/mancoosi/mancoosi-test-i3000d0u98-67.wcnf2.0 (542902120)1.75 (542902120)611.11 (542902120)622.65 (542902120)0.57 (542902120)1.11 (542902120)0.49 (542902120)0.37 (542902120)1.29 (542902120)0.38 (542902120)25.39 (542902120)117.41 (542902120)0.93 (542902120)
verification/mancoosi/mancoosi-test-i3000d0u98-69.wcnf1.92 (663114835)1.73 (663114835)1649.62 (663114835)1534.87 (663114835)0.57 (663114835)1.09 (663114835)0.48 (663114835)0.37 (663114835)1.12 (663114835)0.38 (663114835)26.36 (663114835)119.64 (663114835)0.94 (663114835)
verification/mancoosi/mancoosi-test-i3000d0u98-70.wcnf2.1 (512958012)1.82 (512958012)327.96 (512958012)279.65 (512958012)0.58 (512958012)1.18 (512958012)0.5 (512958012)0.35 (512958012)1.14 (512958012)0.36 (512958012)32.47 (512958012)38.5 (512958012)0.93 (512958012)
verification/mancoosi/mancoosi-test-i3000d0u98-71.wcnf2.19 (467969155)1.81 (467969155)144.81 (467969155)118.63 (467969155)0.62 (467969155)1.32 (467969155)0.55 (467969155)0.36 (467969155)1.15 (467969155)0.37 (467969155)31.79 (467969155)24.54 (467969155)0.93 (467969155)
verification/mancoosi/mancoosi-test-i3000d0u98-72.wcnf1.9 (527857381)1.69 (527857381)570.18 (527857381)472.9 (527857381)0.52 (527857381)1.11 (527857381)0.46 (527857381)0.37 (527857381)1.08 (527857381)0.38 (527857381)28.57 (527857381)54.5 (527857381)0.94 (527857381)
verification/mancoosi/mancoosi-test-i3000d0u98-73.wcnf2.05 (527875592)1.79 (527875592)83.06 (527875592)79.82 (527875592)0.58 (527875592)1.23 (527875592)0.52 (527875592)0.36 (527875592)1.22 (527875592)0.36 (527875592)30.87 (527875592)6.58 (527875592)0.94 (527875592)
verification/mancoosi/mancoosi-test-i3000d0u98-74.wcnf2.28 (588109173)1.91 (588109173)164.91 (588109173)161.99 (588109173)0.61 (588109173)1.27 (588109173)0.54 (588109173)0.38 (588109173)1.34 (588109173)0.38 (588109173)31.57 (588109173)20.14 (588109173)0.94 (588109173)
verification/mancoosi/mancoosi-test-i4000d0u98-75.wcnf2.23 (828534617)1.96 (828534617)3600.0 (-)3600.0 (-)0.67 (828534617)1.39 (828534617)0.53 (828534617)0.37 (828534617)1.29 (828534617)0.37 (828534617)32.84 (828534617)472.06 (828534617)0.95 (828534617)
verification/mancoosi/mancoosi-test-i4000d0u98-79.wcnf2.19 (753510586)1.82 (753510586)3600.0 (-)3600.0 (-)0.57 (753510586)1.19 (753510586)0.45 (753510586)0.39 (753510586)1.12 (753510586)0.38 (753510586)25.32 (753510586)953.63 (753510586)0.94 (753510586)
verification/mancoosi/mancoosi-test-i4000d0u98-80.wcnf2.29 (828516449)1.91 (828516449)3600.0 (-)3600.0 (-)0.62 (828516449)1.37 (828516449)0.52 (828516449)0.37 (828516449)1.28 (828516449)0.4 (828516449)30.88 (828516449)198.2 (828516449)0.95 (828516449)
verification/mancoosi/mancoosi-test-i4000d0u98-82.wcnf1.91 (918784858)1.73 (918784858)3600.0 (-)3600.0 (-)0.56 (918784858)1.12 (918784858)0.43 (918784858)0.37 (918784858)1.13 (918784858)0.37 (918784858)21.95 (918784858)3600.0 (-)0.93 (918784858)
verification/mancoosi/mancoosi-test-i4000d0u98-83.wcnf2.19 (843633917)1.9 (843633917)3600.0 (-)3600.0 (-)0.65 (843633917)1.4 (843633917)0.52 (843633917)0.38 (843633917)1.26 (843633917)0.38 (843633917)32.3 (843633917)2134.12 (843633917)0.95 (843633917)
verification/mancoosi/mancoosi-test-i4000d0u98-84.wcnf2.24 (858696784)1.87 (858696784)3600.0 (-)3600.0 (-)0.59 (858696784)1.33 (858696784)0.49 (858696784)0.39 (858696784)1.21 (858696784)0.39 (858696784)30.59 (858696784)3600.0 (-)0.95 (858696784)
verification/mancoosi/mancoosi-test-i4000d0u98-85.wcnf2.3 (723330351)1.92 (723330351)3600.0 (-)3600.0 (-)0.61 (723330351)1.45 (723330351)0.53 (723330351)0.36 (723330351)1.2 (723330351)0.37 (723330351)32.59 (723330351)3600.0 (-)0.94 (723330351)
verification/mancoosi/mancoosi-test-i4000d0u98-86.wcnf2.06 (918694091)1.87 (918694091)3600.0 (-)3600.0 (-)0.6 (918694091)1.25 (918694091)0.48 (918694091)0.38 (918694091)1.15 (918694091)0.37 (918694091)27.54 (918694091)333.21 (918694091)0.94 (918694091)
verification/mancoosi/mancoosi-test-i4000d0u98-87.wcnf2.02 (873596159)1.79 (873596159)3600.0 (-)3600.0 (-)0.59 (873596159)1.26 (873596159)0.48 (873596159)0.38 (873596159)1.23 (873596159)0.37 (873596159)27.75 (873596159)2133.37 (873596159)0.95 (873596159)
verification/mancoosi/mancoosi-test-i4000d0u98-88.wcnf2.08 (738338700)1.8 (738338700)3600.0 (-)3600.0 (-)0.6 (738338700)1.28 (738338700)0.47 (738338700)0.37 (738338700)1.16 (738338700)0.37 (738338700)27.7 (738338700)3600.0 (-)0.94 (738338700)
verification/mancoosi/mancoosi-test-i4000d0u98-90.wcnf2.42 (603172104)2.07 (603172104)165.98 (603172104)200.06 (603172104)0.58 (603172104)1.33 (603172104)0.48 (603172104)0.37 (603172104)1.2 (603172104)0.38 (603172104)32.91 (603172104)13.82 (603172104)0.96 (603172104)
verification/mancoosi/mancoosi-test-i4000d0u98-93.wcnf2.18 (678268636)1.84 (678268636)1221.92 (678268636)1362.82 (678268636)0.54 (678268636)1.2 (678268636)0.45 (678268636)0.38 (678268636)1.21 (678268636)0.38 (678268636)25.03 (678268636)103.0 (678268636)0.95 (678268636)
verification/mancoosi/mancoosi-test-i4000d0u98-94.wcnf1.96 (843524790)1.78 (843524790)3600.0 (-)3600.0 (-)0.6 (843524790)1.25 (843524790)0.47 (843524790)1.01 (843524790)1.17 (843524790)0.36 (843524790)25.56 (843524790)546.17 (843524790)0.94 (843524790)
verification/mancoosi/mancoosi-test-i4000d0u98-96.wcnf2.12 (828461902)1.89 (828461902)3600.0 (-)3600.0 (-)0.64 (828461902)1.32 (828461902)0.5 (828461902)0.36 (828461902)1.38 (828461902)0.37 (828461902)28.69 (828461902)919.57 (828461902)0.95 (828461902)
verification/mancoosi/mancoosi-test-i4000d0u98-98.wcnf1.99 (828443727)1.78 (828443727)3600.0 (-)3600.0 (-)0.57 (828443727)1.29 (828443727)0.48 (828443727)0.37 (828443727)1.28 (828443727)0.37 (828443727)27.29 (828443727)699.01 (828443727)0.95 (828443727)
verification/mancoosi/mancoosi-test-i4000d0u98-99.wcnf2.08 (768391869)1.79 (768391869)3600.0 (-)3600.0 (-)0.59 (768391869)1.29 (768391869)0.5 (768391869)0.37 (768391869)1.19 (768391869)0.36 (768391869)28.84 (768391869)257.75 (768391869)0.94 (768391869)
verification/packup/103c9978-5408-11df-9bc1-00163e7a6f5e_l1.wcnf0.18 (3795246)0.2 (3795246)51.05 (3795246)42.66 (3795246)0.4 (3795246)0.53 (3795246)0.29 (3795246)0.16 (3795246)0.4 (3795246)0.17 (3795246)2.71 (3795246)3600.0 (-)0.18 (3795246)
verification/packup/26f3d4cc-d470-11df-9e6c-00163e3d3b7c_l2.wcnf1.39 (8270956)0.37 (8270956)3600.0 (-)3600.0 (-)3.66 (8270956)4.85 (8270956)3.12 (8270956)0.64 (8270956)6.24 (8270956)1.46 (8270956)31.88 (8270956)3600.0 (-)0.52 (8270956)
verification/packup/29180036-5408-11df-9f57-00163e7a6f5e_l2.wcnf0.17 (3795246)0.2 (3795246)41.07 (3795246)44.78 (3795246)0.4 (3795246)0.53 (3795246)0.29 (3795246)0.15 (3795246)0.44 (3795246)0.17 (3795246)2.74 (3795246)3600.0 (-)0.18 (3795246)
verification/packup/4a69cf16-c731-11df-9182-00163e3d3b7c_l1.wcnf0.18 (186592)0.17 (186592)4.06 (186592)3.7 (186592)0.1 (186592)0.07 (186592)0.05 (186592)0.04 (186592)0.11 (186592)0.04 (186592)1.29 (186592)3600.0 (-)0.08 (186592)
verification/packup/7bf50d1c-9b1b-11df-8b50-00163e46d37a_l1.wcnf0.12 (1924238)0.22 (1924238)71.37 (1924238)65.91 (1924238)0.52 (1924238)0.63 (1924238)0.48 (1924238)0.16 (1924238)0.34 (1924238)0.19 (1924238)3.86 (1924238)3600.0 (-)0.22 (1924238)
verification/packup/7f80e4f0-4fe9-11e0-acd7-00163e1e087d_l1.wcnf0.09 (558796)0.05 (558796)2.25 (558796)1.95 (558796)0.04 (558796)0.04 (558796)0.03 (558796)0.02 (558796)0.06 (558796)0.02 (558796)0.44 (558796)3600.0 (-)0.05 (558796)
verification/packup/7f80e4f0-4fe9-11e0-acd7-00163e1e087d_l2.wcnf0.53 (7177328)0.8 (7177328)255.01 (7177328)295.25 (7177328)1.16 (7177328)1.66 (7177328)1.43 (7177328)0.62 (7177328)1.5 (7177328)0.95 (7177328)9.16 (7177328)3600.0 (-)0.34 (7177328)
verification/packup/8222799a-9af8-11df-8b50-00163e46d37a_l2.wcnf0.13 (1924238)0.22 (1924238)73.82 (1924238)72.16 (1924238)0.52 (1924238)0.62 (1924238)0.5 (1924238)0.16 (1924238)0.36 (1924238)0.19 (1924238)3.92 (1924238)3600.0 (-)0.23 (1924238)
verification/packup/b2540c52-51b7-11e0-aa4f-00163e1e087d_l1.wcnf0.07 (558676)0.09 (558676)1.88 (558676)1.67 (558676)0.04 (558676)0.04 (558676)0.03 (558676)0.02 (558676)0.08 (558676)0.02 (558676)0.41 (558676)3600.0 (-)0.06 (558676)
verification/packup/bccf69ae-db9e-11df-9a24-00163e3d3b7c_l1.wcnf0.2 (4569599)0.22 (4569599)174.4 (4569599)181.5 (4569599)1.03 (4569599)1.19 (4569599)0.8 (4569599)0.3 (4569599)0.84 (4569599)0.39 (4569599)8.24 (4569599)3600.0 (-)0.27 (4569599)
verification/packup/c2164c84-b015-11df-8b50-00163e46d37a_l1.wcnf0.05 (4502340)0.05 (4502340)13.11 (4502340)12.23 (4502340)0.15 (4502340)0.29 (4502340)0.17 (4502340)0.06 (4502340)0.08 (4502340)0.06 (4502340)0.71 (4502340)3600.0 (-)0.12 (4502340)
verification/packup/caefdef6-3477-11e0-84ef-00163e3d3b7c_l2.wcnf0.16 (4692906)0.18 (4692906)64.99 (4692906)64.16 (4692906)0.5 (4692906)0.72 (4692906)0.46 (4692906)0.22 (4692906)0.59 (4692906)0.25 (4692906)3.44 (4692906)3600.0 (-)0.22 (4692906)
verification/packup/deb285a6-db9e-11df-8f4f-00163e3d3b7c_l2.wcnf0.2 (4569599)0.22 (4569599)165.79 (4569599)174.33 (4569599)1.04 (4569599)1.2 (4569599)0.82 (4569599)0.3 (4569599)0.94 (4569599)0.38 (4569599)8.43 (4569599)3600.0 (-)0.29 (4569599)
verification/packup/e0bd67a6-56d0-11df-b11f-00163e7a6f5e_l1.wcnf0.1 (3814579)0.09 (3814579)22.19 (3814579)21.9 (3814579)0.24 (3814579)0.37 (3814579)0.2 (3814579)0.16 (3814579)0.21 (3814579)0.22 (3814579)1.49 (3814579)3600.0 (-)0.14 (3814579)
verification/packup/e0bd67a6-56d0-11df-b11f-00163e7a6f5e_l2.wcnf0.11 (3814579)0.09 (3814579)23.07 (3814579)23.13 (3814579)0.24 (3814579)0.37 (3814579)0.2 (3814579)0.12 (3814579)0.23 (3814579)0.13 (3814579)1.55 (3814579)3600.0 (-)0.15 (3814579)
verification/packup/ec32fc68-7254-11e0-8436-00163e1e087d_l1.wcnf0.11 (4535367)0.18 (4535367)43.18 (4535367)38.84 (4535367)0.48 (4535367)0.71 (4535367)0.53 (4535367)0.17 (4535367)0.42 (4535367)0.19 (4535367)2.58 (4535367)3600.0 (-)0.21 (4535367)
verification/packup/ff4a1d84-d490-11df-9e6c-00163e3d3b7c_l1.wcnf0.06 (181519)0.07 (181519)5.31 (181519)5.85 (181519)0.04 (181519)0.06 (181519)0.04 (181519)0.02 (181519)0.06 (181519)0.02 (181519)0.45 (181519)3600.0 (-)0.05 (181519)
verification/packup/rand131_l2.wcnf3.1 (1833970)6.35 (1833970)3600.0 (-)3600.0 (-)4.2 (1833970)3600.0 (-)3600.0 (-)13.84 (1833970)10.37 (1833970)6.19 (1833970)50.21 (1833970)3600.0 (-)1.32 (1833970)
verification/packup/rand179_l1.wcnf1.87 (493118)2.67 (493118)1729.44 (493118)1924.66 (493118)0.83 (493118)29.09 (493118)0.61 (493118)58.89 (493118)4.08 (493118)249.44 (493118)8.51 (493118)3600.0 (-)0.52 (493118)
verification/packup/rand208_l2.wcnf5.6 (2165646)6.87 (2165646)3600.0 (-)3600.0 (-)4.02 (2165646)3.7 (2165646)3.78 (2165646)1.52 (2165646)10.3 (2165646)2.06 (2165646)50.55 (2165646)3600.0 (-)1.0 (2165646)
verification/packup/rand220_l2.wcnf15.42 (1999645)18.53 (1999645)3600.0 (-)3600.0 (-)1438.31 (1999645)3600.0 (-)3600.0 (-)3600.0 (-)40.8 (1999645)3600.0 (-)60.54 (1999645)3600.0 (-)1.5 (1999645)
verification/packup/rand242_l1.wcnf0.78 (314568)1.69 (314568)26.44 (314568)23.21 (314568)0.35 (314568)0.26 (314568)0.21 (314568)0.2 (314568)2.47 (314568)0.3 (314568)3.7 (314568)3600.0 (-)0.33 (314568)
verification/packup/rand293_l1.wcnf5.22 (406647)7.14 (406647)979.86 (406647)1020.18 (406647)1.58 (406647)45.89 (406647)0.93 (406647)0.63 (406647)16.86 (406647)1.06 (406647)15.18 (406647)3600.0 (-)0.93 (406647)
verification/packup/rand308_l2.wcnf0.91 (2063604)1.87 (2063604)3600.0 (-)3600.0 (-)1.99 (2063604)2.0 (2063604)1.97 (2063604)0.63 (2063604)2.14 (2063604)0.75 (2063604)25.08 (2063604)3600.0 (-)0.57 (2063604)
verification/packup/rand377_l2.wcnf1.16 (1927695)1.25 (1927695)928.48 (1927695)865.56 (1927695)1.59 (1927695)1.8 (1927695)1.75 (1927695)0.48 (1927695)1.32 (1927695)0.78 (1927695)21.6 (1927695)3600.0 (-)0.58 (1927695)
verification/packup/rand393_l1.wcnf0.43 (231003)0.56 (231003)14.98 (231003)12.63 (231003)0.14 (231003)0.13 (231003)0.09 (231003)0.08 (231003)0.35 (231003)0.13 (231003)2.34 (231003)3600.0 (-)0.18 (231003)
verification/packup/rand425_l1.wcnf2.2 (358529)7.01 (358529)1202.29 (358529)1042.85 (358529)0.98 (358529)0.96 (358529)10.11 (358529)0.47 (358529)5.87 (358529)0.77 (358529)11.35 (358529)3600.0 (-)0.63 (358529)
verification/packup/rand491_l2.wcnf4.54 (1868458)10.42 (1868458)3600.0 (-)3600.0 (-)3.67 (1868458)3.47 (1868458)3.43 (1868458)37.83 (1868458)9.03 (1868458)337.69 (1868458)46.72 (1868458)3600.0 (-)1.35 (1868458)
verification/packup/rand507_l2.wcnf0.96 (2005769)0.98 (2005769)3600.0 (-)3600.0 (-)2.0 (2005769)2.05 (2005769)2.0 (2005769)0.71 (2005769)2.13 (2005769)1.03 (2005769)32.12 (2005769)3600.0 (-)0.7 (2005769)
verification/packup/rand583_l2.wcnf0.17 (1853126)0.3 (1853126)52.46 (1853126)51.55 (1853126)0.71 (1853126)1.13 (1853126)1.07 (1853126)0.24 (1853126)0.5 (1853126)0.24 (1853126)9.62 (1853126)3600.0 (-)0.44 (1853126)
verification/packup/rand653_l2.wcnf1.09 (1851319)1.17 (1851319)478.93 (1851319)423.52 (1851319)1.49 (1851319)1.57 (1851319)1.6 (1851319)0.46 (1851319)1.63 (1851319)0.57 (1851319)18.94 (1851319)3600.0 (-)0.58 (1851319)
verification/packup/rand83_l2.wcnf3.62 (1821233)4.13 (1821233)2092.75 (1821233)1646.52 (1821233)3.39 (1821233)3.17 (1821233)3.26 (1821233)1.0 (1821233)7.31 (1821233)1.35 (1821233)42.72 (1821233)3600.0 (-)0.94 (1821233)
verification/packup/rand874_l1.wcnf1.67 (583602)2.6 (583602)1852.49 (583602)803.52 (583602)1.04 (583602)641.49 (583602)0.77 (583602)3600.0 (-)7.51 (583602)3600.0 (-)12.88 (583602)3600.0 (-)0.69 (583602)
verification/packup/rand892_l1.wcnf0.26 (224702)0.36 (224702)9.61 (224702)9.99 (224702)0.15 (224702)0.13 (224702)0.11 (224702)0.07 (224702)0.19 (224702)0.07 (224702)2.56 (224702)3600.0 (-)0.18 (224702)
verification/packup/rand954_l1.wcnf0.68 (273463)0.69 (273463)54.08 (273463)45.75 (273463)0.22 (273463)0.21 (273463)0.17 (273463)0.07 (273463)0.3 (273463)0.09 (273463)2.75 (273463)3600.0 (-)0.16 (273463)
✝ Non-competitive solver.