Experiments 5

Overview of several high-density parity constraints with Gauss-Jordan Elimination and split as preprocess.

Solving Runtimes and Timeouts.

lazyeager
TestclingoTOcountpTOupTOgje-propTOlistTOcountTOtreeTO
2x50perc1113.02(14)2333.18(30)729.96(9)8613.63(111)941.51(12)1060.47(13)1042.54(13)
3x50perc934.33(12)2413.15(31)947.77(12)9177.39(118)1917.18(25)1215.50(15)1798.67(23)
4x50perc1034.74(13)2321.53(30)1776.73(23)9579.91(123)2130.86(28)1668.80(21)2284.37(30)
5x50perc1009.25(13)2417.51(31)1927.46(25)9438.35(122)2367.49(31)1552.00(19)2278.92(30)
AVG (SUM)1022.83(51)2371.34(122)1345.48(69)9202.32(474)1839.26(96)1374.19(68)1851.13(97)
MED (SUM)1021.99(51)2373.16(122)1362.25(69)9307.87(474)2024.02(96)1383.75(68)2038.80(97)

Test 2x50perc

lazyeager
ClassclingoTOcountpTOupTOgje-propTOlistTOtreeTO
15Puzzle22.49(0)62.33(0)35.88(0)9600.00(16)680.38(1)40.18(0)
BlockedNQueens3.55(0)5.75(0)7.15(0)8975.26(14)7.98(0)6.81(0)
GraphColoring20.83(0)20.78(0)29.97(0)3402.68(5)80.79(0)12.62(0)
SchurNumbers47.84(0)33.60(0)54.63(0)6521.49(10)118.50(0)53.02(0)
Solitaire1258.51(2)655.37(1)643.72(1)13789.48(22)6.40(0)633.37(1)
ConnectedDomSet2.41(0)5.00(0)3.95(0)2020.11(3)3.10(0)1.51(0)
Labyrinth7510.05(12)17841.23(29)5014.32(8)17400.00(29)7523.96(12)7550.89(12)
WireRouting38.48(0)41.36(0)50.07(0)7200.00(12)62.62(0)41.97(0)
AVG1113.02(14)2333.18(30)729.96(9)8613.63(111)1060.47(13)1042.54(13)

Test 3x50perc

lazyeager
ClassclingoTOcountpTOupTOgje-propTOlistTOtreeTO
15Puzzle22.57(0)99.59(0)51.32(0)9600.00(16)72.96(0)56.72(0)
BlockedNQueens3.54(0)12.17(0)7.83(0)9598.36(15)10.52(0)11.47(0)
GraphColoring20.83(0)15.74(0)26.12(0)4738.50(7)70.62(0)680.44(1)
SchurNumbers47.70(0)739.82(1)24.66(0)8395.25(13)103.52(0)67.39(0)
Solitaire629.92(1)662.39(1)660.92(1)13782.35(22)19.96(0)1264.63(2)
ConnectedDomSet2.40(0)2.72(0)16.95(0)2704.68(4)8.47(0)4.92(0)
Labyrinth6709.59(11)17711.68(29)6758.40(11)17400.00(29)8761.11(14)12244.99(20)
WireRouting38.05(0)61.07(0)35.94(0)7200.00(12)676.83(1)58.80(0)
AVG934.33(12)2413.15(31)947.77(12)9177.39(118)1215.50(15)1798.67(23)

Test 4x50perc

lazyeager
ClassclingoTOcountpTOupTOgje-propTOlistTOtreeTO
15Puzzle22.52(0)782.67(1)75.27(0)9613.21(16)710.15(1)676.69(1)
BlockedNQueens3.55(0)13.37(0)13.11(0)9598.06(15)22.76(0)9.55(0)
GraphColoring21.01(0)45.47(0)54.04(0)5997.64(9)71.68(0)7.20(0)
SchurNumbers48.19(0)26.86(0)6.57(0)8396.79(13)30.54(0)35.92(0)
Solitaire634.38(1)43.21(0)1895.82(3)13765.25(22)4.01(0)1265.02(2)
ConnectedDomSet2.41(0)7.63(0)11.59(0)4668.32(7)4.31(0)7.44(0)
Labyrinth7507.02(12)17572.19(29)11484.17(19)17400.00(29)11831.31(19)16215.21(27)
WireRouting38.85(0)80.82(0)673.28(1)7200.00(12)675.64(1)57.97(0)
AVG1034.74(13)2321.53(30)1776.73(23)9579.91(123)1668.80(21)2284.37(30)

Test 5x50perc

lazyeager
ClassclingoTOcountpTOupTOgje-propTOlistTOtreeTO
15Puzzle22.53(0)222.08(0)668.50(1)9606.81(16)743.33(1)69.12(0)
BlockedNQueens3.55(0)12.13(0)13.35(0)9598.16(15)17.09(0)12.05(0)
GraphColoring20.74(0)14.30(0)44.39(0)5997.76(9)10.19(0)6.43(0)
SchurNumbers47.92(0)765.60(1)64.59(0)8383.20(13)687.76(1)40.07(0)
Solitaire629.93(1)696.45(1)1273.94(2)13200.00(22)634.78(1)656.08(1)
ConnectedDomSet2.41(0)30.30(0)40.45(0)4116.59(6)66.65(0)30.29(0)
Labyrinth7308.54(12)17504.37(29)13266.88(22)17400.00(29)10183.89(16)17400.00(29)
WireRouting38.35(0)94.85(0)47.54(0)7204.32(12)72.28(0)17.32(0)
AVG1009.25(13)2417.51(31)1927.46(25)9438.35(122)1552.00(19)2278.92(30)