Experiment 4

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

Solving Runtimes and Timeouts.

lazyeager
TestclingoTOcountpTOupTOgje-propTOlistTOtreeTO
2x50perc1113.02(14)877.85(11)956.17(12)1026.36(13)1261.70(16)736.64(9)
3x50perc934.33(12)1027.76(13)1028.87(13)1095.95(14)981.04(12)1343.69(17)
4x50perc1034.74(13)1006.40(13)1112.80(14)1374.60(18)1729.47(22)1711.62(22)
5x50perc1009.25(13)1112.83(14)1187.97(15)1470.44(19)1852.30(24)2151.83(28)
AVG (SUM)1022.83(63)1006.21(62)1071.45(69)1241.84(79)1456.13(90)1485.94(91)
MED (SUM)1021.99(63)1017.08(62)1070.83(69)1235.27(79)1495.59(90)1527.65(91)

Test 2x50perc

lazyeager
ClassclingoTOcountpTOupTOgje-propTOlistTOtreeTO
15Puzzle22.49(0)27.73(0)31.17(0)39.21(0)32.25(0)49.88(0)
BlockedNQueens3.55(0)8.29(0)9.47(0)8.83(0)9.09(0)9.42(0)
GraphColoring20.83(0)14.72(0)16.06(0)15.96(0)7.80(0)13.76(0)
SchurNumbers47.84(0)21.82(0)23.30(0)23.11(0)71.53(0)22.98(0)
Solitaire1258.51(2)1255.72(2)1255.96(2)1255.90(2)644.36(1)61.47(0)
ConnectedDomSet2.41(0)3.31(0)3.28(0)6.22(0)5.02(0)6.58(0)
Labyrinth7510.05(12)5654.25(9)6272.27(10)6823.68(11)9295.42(15)5676.12(9)
WireRouting38.48(0)36.97(0)37.83(0)37.95(0)28.12(0)52.88(0)
AVG1113.02(14)877.85(11)956.17(12)1026.36(13)1261.70(16)736.64(9)

Test 3x50perc

lazyeager
ClassclingoTOcountpTOupTOgje-propTOlistTOtreeTO
15Puzzle22.57(0)28.94(0)28.63(0)29.36(0)53.96(0)36.72(0)
BlockedNQueens3.54(0)6.56(0)8.52(0)9.80(0)11.36(0)8.66(0)
GraphColoring20.83(0)14.91(0)16.51(0)16.36(0)31.46(0)674.20(1)
SchurNumbers47.70(0)20.29(0)21.78(0)21.57(0)47.01(0)25.16(0)
Solitaire629.92(1)1255.82(2)1255.95(2)1255.98(2)641.58(1)663.14(1)
ConnectedDomSet2.40(0)1.67(0)2.17(0)3.12(0)4.25(0)3.68(0)
Labyrinth6709.59(11)6856.37(11)6859.14(11)7393.04(12)7040.97(11)9271.82(15)
WireRouting38.05(0)37.53(0)38.24(0)38.36(0)17.70(0)66.13(0)
AVG934.33(12)1027.76(13)1028.87(13)1095.95(14)981.04(12)1343.69(17)

Test 4x50perc

lazyeager
ClassclingoTOcountpTOupTOgje-propTOlistTOtreeTO
15Puzzle22.52(0)47.37(0)74.28(0)55.54(0)676.39(1)685.36(1)
BlockedNQueens3.55(0)11.15(0)13.71(0)14.42(0)11.39(0)15.07(0)
GraphColoring21.01(0)14.92(0)16.80(0)16.48(0)15.38(0)44.88(0)
SchurNumbers48.19(0)18.25(0)19.61(0)19.53(0)670.81(1)44.11(0)
Solitaire634.38(1)1263.38(2)1269.06(2)1259.13(2)1256.72(2)642.58(1)
ConnectedDomSet2.41(0)6.04(0)7.34(0)14.42(0)11.17(0)13.18(0)
Labyrinth7507.02(12)6652.51(11)7463.22(12)9578.84(16)11153.70(18)12206.94(20)
WireRouting38.85(0)37.61(0)38.36(0)38.41(0)40.21(0)40.82(0)
AVG1034.74(13)1006.40(13)1112.80(14)1374.60(18)1729.47(22)1711.62(22)

Test 5x50perc

lazyeager
ClassclingoTOcountpTOupTOgje-propTOlistTOtreeTO
15Puzzle22.53(0)47.67(0)63.79(0)42.35(0)77.84(0)86.21(0)
BlockedNQueens3.55(0)7.88(0)10.34(0)13.38(0)11.50(0)15.79(0)
GraphColoring20.74(0)39.80(0)46.50(0)67.54(0)16.12(0)32.72(0)
SchurNumbers47.92(0)22.38(0)24.16(0)23.95(0)78.58(0)21.45(0)
Solitaire629.93(1)1256.92(2)1256.92(2)1256.96(2)1267.41(2)1256.37(2)
ConnectedDomSet2.41(0)23.33(0)10.77(0)12.27(0)22.32(0)15.28(0)
Labyrinth7308.54(12)7467.02(12)8052.53(13)10308.41(17)13306.92(22)15105.06(25)
WireRouting38.35(0)37.64(0)38.74(0)38.65(0)37.73(0)681.74(1)
AVG1009.25(13)1112.83(14)1187.97(15)1470.44(19)1852.30(24)2151.83(28)