Experiment 1

Overview.

Solving Runtimes and Timeouts

lazyeager
TestclingoTOcountpTOupTOlistTOcountTOtreeTO
1x01perc883.19(11)1220.65(15)644.72(8)1035.84(13)1038.58(13)806.43(10)
1x10perc909.21(11)802.27(10)1026.35(13)951.96(12)2998.60(39)876.34(11)
1x20perc908.98(11)802.52(10)952.37(12)837.00(10)5025.73(66)882.33(11)
1x30perc884.17(11)827.38(10)1180.09(15)875.56(11)6885.11(90)782.72(10)
1x40perc884.07(11)878.19(11)1178.58(15)1103.47(14)7933.01(104)904.66(11)
1x50perc959.49(12)877.13(11)1178.37(15)959.15(12)8638.37(113)878.60(11)
AVG (SUM)904.85(68)901.36(68)1026.74(78)960.50(72)5419.90(425)855.18(64)
MED (SUM)896.57(68)852.26(68)1102.36(78)955.56(72)5955.42(425)877.47(64)

Test 1x01perc

lazyeager
ClassclingoTOcountpTOupTOlistTOcountTOtreeTO
15Puzzle22.21(0)21.31(0)22.28(0)32.93(0)23.98(0)19.94(0)
BlockedNQueens3.55(0)7.00(0)3.57(0)4.29(0)3.54(0)4.29(0)
GraphColoring20.91(0)682.80(1)10.78(0)1881.08(3)38.62(0)58.71(0)
SchurNumbers47.76(0)664.39(1)36.83(0)72.60(0)78.64(0)72.60(0)
Solitaire640.81(1)1255.82(2)7.69(0)18.65(0)1863.91(3)18.47(0)
ConnectedDomSet2.41(0)1.69(0)1.31(0)2.24(0)0.72(0)2.20(0)
Labyrinth6289.89(10)7084.17(11)5050.59(8)6247.39(10)4432.14(7)6247.58(10)
Wirerouting37.97(0)48.04(0)24.72(0)27.57(0)1867.07(3)27.63(0)
AVG883.19(11)1220.65(15)644.72(8)1035.84(13)1038.58(13)806.43(10)

Test 1x10perc

lazyeager
ClassclingoTOcountpTOupTOlistTOcountTOtreeTO
15Puzzle22.17(0)23.00(0)23.36(0)40.34(0)3789.82(6)36.26(0)
BlockedNQueens3.55(0)4.75(0)7.69(0)6.00(0)9.82(0)4.77(0)
GraphColoring20.80(0)14.67(0)15.76(0)16.31(0)24.23(0)10.79(0)
SchurNumbers47.91(0)19.34(0)20.58(0)20.21(0)61.78(0)40.56(0)
Solitaire630.91(1)655.50(1)1834.56(3)1838.47(3)1846.66(3)1837.94(3)
ConnectedDomSet2.41(0)2.18(0)4.42(0)2.38(0)2.20(0)3.40(0)
Labyrinth6507.86(10)5661.30(9)6266.31(10)5662.07(9)16321.03(27)5040.34(8)
Wirerouting38.04(0)37.41(0)38.08(0)29.93(0)1933.27(3)36.64(0)
AVG909.21(11)802.27(10)1026.35(13)951.96(12)2998.60(39)876.34(11)

Test 1x20perc

lazyeager
ClassclingoTOcountpTOupTOlistTOcountTOtreeTO
15Puzzle22.22(0)23.31(0)24.04(0)39.42(0)15445.59(25)40.94(0)
BlockedNQueens3.55(0)5.11(0)5.74(0)4.31(0)6.55(0)4.21(0)
GraphColoring20.89(0)14.75(0)15.64(0)57.28(0)13.68(0)28.53(0)
SchurNumbers48.00(0)19.51(0)20.75(0)66.35(0)49.99(0)27.25(0)
Solitaire629.12(1)655.63(1)1847.21(3)1832.41(3)1850.84(3)1843.28(3)
ConnectedDomSet2.40(0)1.98(0)2.69(0)2.79(0)1.37(0)3.03(0)
Labyrinth6507.68(10)5661.93(9)5663.96(9)4655.24(7)17400.00(29)5089.19(8)
Wirerouting37.94(0)37.95(0)38.90(0)38.22(0)5437.80(9)22.21(0)
AVG908.98(11)802.52(10)952.37(12)837.00(10)5025.73(66)882.33(11)

Test 1x30perc

lazyeager
ClassclingoTOcountpTOupTOlistTOcountTOtreeTO
15Puzzle22.25(0)21.39(0)21.85(0)32.30(0)24550.79(40)35.63(0)
BlockedNQueens3.55(0)4.60(0)5.14(0)4.78(0)7.60(0)4.56(0)
GraphColoring20.85(0)14.74(0)15.80(0)42.87(0)3735.12(6)43.97(0)
SchurNumbers47.64(0)17.69(0)18.80(0)13.28(0)89.30(0)27.85(0)
Solitaire629.87(1)855.71(1)3655.89(6)1832.83(3)3688.33(6)1832.57(3)
ConnectedDomSet2.44(0)1.52(0)1.64(0)0.82(0)2.61(0)2.11(0)
Labyrinth6308.63(10)5662.03(9)5679.10(9)5053.92(8)17400.00(29)4277.75(7)
Wirerouting38.13(0)41.40(0)42.49(0)23.70(0)5607.16(9)37.29(0)
AVG884.17(11)827.38(10)1180.09(15)875.56(11)6885.11(90)782.72(10)

Test 1x40perc

lazyeager
ClassclingoTOcountpTOupTOlistTOcountTOtreeTO
15Puzzle22.30(0)25.26(0)25.86(0)34.43(0)29365.15(48)23.14(0)
BlockedNQueens3.56(0)4.60(0)5.17(0)2.55(0)10.36(0)4.52(0)
GraphColoring20.90(0)14.73(0)15.82(0)9.85(0)1879.38(3)10.32(0)
SchurNumbers47.55(0)17.74(0)18.81(0)27.32(0)1875.42(3)54.81(0)
Solitaire629.96(1)1255.76(2)3655.85(6)1839.44(3)7327.28(12)1832.29(3)
ConnectedDomSet2.40(0)2.69(0)2.83(0)1.98(0)1.77(0)5.04(0)
Labyrinth6307.93(10)5663.18(9)5661.89(9)6867.12(11)17400.00(29)5284.04(8)
Wirerouting37.95(0)41.59(0)42.37(0)45.07(0)5604.74(9)23.15(0)
AVG884.07(11)878.19(11)1178.58(15)1103.47(14)7933.01(104)904.66(11)

Test 1x50perc

lazyeager
ClassclingoTOcountpTOupTOlistTOcountTOtreeTO
15Puzzle22.85(0)21.03(0)21.36(0)17.29(0)29335.39(48)37.28(0)
BlockedNQueens3.56(0)9.05(0)10.04(0)2.10(0)11.27(0)2.46(0)
GraphColoring20.84(0)14.71(0)15.92(0)45.70(0)3741.24(6)47.47(0)
SchurNumbers47.87(0)18.65(0)19.72(0)71.38(0)5627.75(9)38.25(0)
Solitaire630.26(1)1255.73(2)3655.84(6)1829.86(3)3733.47(6)1830.38(3)
ConnectedDomSet2.42(0)1.80(0)1.73(0)1.54(0)6.78(0)2.83(0)
Labyrinth6909.91(11)5654.63(9)5659.64(9)5666.42(9)17400.00(29)5025.42(8)
Wirerouting38.22(0)41.46(0)42.70(0)38.90(0)9251.07(15)44.72(0)
AVG959.49(12)877.13(11)1178.37(15)959.15(12)8638.37(113)878.60(11)