Experiment 2

Overview of split parity constraints.

Solving Runtimes and Timeouts using clingo times from non-split instances.

lazyeager
TestclingoTOcountpTOupTOlistTOcountTOtreeTO
1x01perc883.19(11)1196.01(15)647.96(8)804.07(10)1035.91(13)808.80(10)
1x10perc909.21(11)658.57(8)653.47(8)644.19(8)648.15(8)955.17(12)
1x20perc908.98(11)962.70(12)722.71(9)732.31(9)568.47(7)871.84(11)
1x30perc884.17(11)965.12(12)571.27(7)802.18(10)800.14(10)1029.28(13)
1x40perc884.07(11)1451.29(18)1032.90(13)1023.50(13)963.23(12)880.07(11)
1x50perc959.49(12)1512.16(19)725.18(9)1026.21(13)508.78(6)945.73(12)
AVG (SUM)904.85(67)1124.31(84)725.58(54)838.74(63)754.11(56)915.15(69)
MED (SUM)896.57(67)1080.57(84)688.09(54)803.13(63)724.14(56)912.90(69)

Test 1x01perc

lazyeager
ClassclingoTOcountpTOupTOlistTOcountTOtreeTO
15Puzzle22.21(0)37.82(0)29.46(0)35.44(0)29.13(0)36.30(0)
BlockedNQueens3.55(0)6.47(0)5.10(0)7.49(0)5.22(0)7.11(0)
GraphColoring20.91(0)22.19(0)16.78(0)13.53(0)9.22(0)4.58(0)
SchurNumbers47.76(0)92.86(0)49.51(0)13.35(0)34.66(0)35.58(0)
Solitaire640.81(1)8.36(0)1868.44(3)3.32(0)3.65(0)1854.81(3)
ConnectedDomSet2.41(0)2.14(0)5.26(0)6.18(0)3.48(0)2.83(0)
Labyrinth6289.89(10)5059.89(8)3214.22(5)5043.33(8)5068.57(8)5677.60(9)
WireRouting37.97(0)38.86(0)38.99(0)30.87(0)31.24(0)22.57(0)
AVG883.19(11)658.57(8)653.47(8)644.19(8)648.15(8)955.17(12)

Test 1x10perc

lazyeager
ClassclingoTOcountpTOupTOlistTOcountTOtreeTO
15Puzzle22.17(0)33.39(0)31.87(0)23.59(0)27.12(0)31.87(0)
BlockedNQueens3.55(0)7.03(0)3.57(0)4.28(0)3.53(0)4.30(0)
GraphColoring20.80(0)673.89(1)26.17(0)36.09(0)14.01(0)65.61(0)
SchurNumbers47.91(0)664.53(1)36.79(0)72.73(0)78.52(0)72.69(0)
Solitaire630.91(1)1255.82(2)7.67(0)18.48(0)1863.93(3)18.56(0)
ConnectedDomSet2.41(0)1.65(0)1.30(0)2.20(0)0.71(0)2.23(0)
Labyrinth6507.86(10)6883.57(11)5051.55(8)6247.65(10)4432.45(7)6247.65(10)
WireRouting38.04(0)48.18(0)24.75(0)27.56(0)1866.98(3)27.49(0)
AVG909.21(11)1196.01(15)647.96(8)804.07(10)1035.91(13)808.80(10)

Test 1x20perc

lazyeager
ClassclingoTOcountpTOupTOlistTOcountTOtreeTO
15Puzzle22.22(0)21.32(0)28.42(0)17.54(0)25.07(0)24.32(0)
BlockedNQueens3.55(0)3.04(0)3.78(0)4.01(0)6.36(0)6.11(0)
GraphColoring20.89(0)28.38(0)15.83(0)38.71(0)12.18(0)11.43(0)
SchurNumbers48.00(0)33.18(0)60.42(0)77.36(0)16.41(0)36.33(0)
Solitaire629.12(1)1258.10(2)1835.46(3)14.77(0)5.74(0)1846.78(3)
ConnectedDomSet2.40(0)3.75(0)2.34(0)2.34(0)4.59(0)4.80(0)
Labyrinth6507.68(10)6294.73(10)3786.65(6)5656.30(9)4450.37(7)5022.69(8)
WireRouting37.94(0)59.12(0)48.78(0)47.45(0)27.07(0)22.24(0)
AVG908.98(11)962.70(12)722.71(9)732.31(9)568.47(7)871.84(11)

Test 1x30perc

lazyeager
ClassclingoTOcountpTOupTOlistTOcountTOtreeTO
15Puzzle22.25(0)28.59(0)26.97(0)33.88(0)36.25(0)30.12(0)
BlockedNQueens3.55(0)3.91(0)3.96(0)4.57(0)4.70(0)4.08(0)
GraphColoring20.85(0)12.14(0)10.67(0)38.55(0)5.09(0)38.83(0)
SchurNumbers47.64(0)47.63(0)41.49(0)33.25(0)17.80(0)51.60(0)
Solitaire629.87(1)632.80(1)1834.13(3)1832.93(3)11.64(0)1834.24(3)
ConnectedDomSet2.44(0)2.34(0)1.47(0)5.45(0)3.50(0)4.14(0)
Labyrinth6308.63(10)6968.04(11)2605.83(4)4438.77(7)6275.26(10)6249.80(10)
WireRouting38.13(0)25.56(0)45.64(0)30.08(0)46.87(0)21.39(0)
AVG884.17(11)965.12(12)571.27(7)802.18(10)800.14(10)1029.28(13)

Test 1x40perc

lazyeager
ClassclingoTOcountpTOupTOlistTOcountTOtreeTO
15Puzzle22.30(0)29.69(0)28.38(0)27.93(0)38.43(0)27.33(0)
BlockedNQueens3.56(0)4.26(0)4.27(0)6.07(0)6.52(0)5.55(0)
GraphColoring20.90(0)26.68(0)1875.30(3)11.36(0)25.25(0)11.37(0)
SchurNumbers47.55(0)20.24(0)1892.37(3)45.59(0)53.66(0)65.23(0)
Solitaire629.96(1)639.62(1)43.96(0)1831.18(3)1829.52(3)1858.22(3)
ConnectedDomSet2.40(0)1.05(0)1.88(0)5.31(0)5.21(0)10.32(0)
Labyrinth6307.93(10)10844.16(17)4383.30(7)6242.02(10)5721.72(9)5047.01(8)
WireRouting37.95(0)44.63(0)33.77(0)18.51(0)25.53(0)15.50(0)
AVG884.07(11)1451.29(18)1032.90(13)1023.50(13)963.23(12)880.07(11)

Test 1x50perc

lazyeager
ClassclingoTOcountpTOupTOlistTOcountTOtreeTO
15Puzzle22.85(0)53.47(0)24.97(0)22.28(0)26.45(0)42.52(0)
BlockedNQueens3.56(0)3.72(0)5.29(0)2.47(0)3.45(0)2.37(0)
GraphColoring20.84(0)674.76(1)19.13(0)13.51(0)44.24(0)13.42(0)
SchurNumbers47.87(0)50.90(0)23.38(0)44.18(0)40.88(0)22.58(0)
Solitaire630.26(1)17.26(0)36.76(0)1841.36(3)40.35(0)1833.78(3)
ConnectedDomSet2.42(0)1.89(0)3.90(0)2.62(0)3.82(0)3.06(0)
Labyrinth6909.91(11)11252.68(18)5636.63(9)6258.78(10)3871.93(6)5620.48(9)
WireRouting38.22(0)42.59(0)51.38(0)24.49(0)39.12(0)27.60(0)
AVG959.49(12)1512.16(19)725.18(9)1026.21(13)508.78(6)945.73(12)