Results of boolGInv in Z on Xeon-5410

From Invo

The timings measured in run on machine 2xXeon-5410@2.33Ghz with 16Gb of RAM, running Gentoo 2008.0

Information in columns:

I: New version of boolGInv with Janet division and High-block strategy, polynomials represented as lists.
II: Version of boolGInv with negdeglex division and search trees, and choosing based on red-black trees.
PB: PolyBoRi[1]

V number of variables

*/T execution time with degrevlex term ordering

*/GC Execution time of Garbage Collector (using of malloc and free increase time of ezfact32_4.shuffled.cnf from 354.57 sec to 669.32 sec. The slowdown will be much larger on a one-processor machine or when other processors will be fully loaded.)

*/M maximum memory usage in Mb

V I/T I/GC I/M II/T II/GC II/M PB/T PB/M
uuf50-08.cnf 50 39.62 0.00 73.19 312.23 0.10 46.26 9.97 70.82
uuf75-08.cnf 75 5195.19 0.23 396.72 14479.89 1.19 223.58 583.55 472.04
HFE 25-96 25 2783.50 36.69 8735.98 20261.97 372.52 2812.44 48.21 244.16
HFE 30-96 30 2805.68 27.68 3496.53
ezfact32_1.shuffled.cnf 769 0.36 0.01 21.54 8.16 0.03 18.75 >3h >8G
ezfact32_2.shuffled.cnf 769 0.58 0.00 21.59 18.42 0.10 18.75 >1h >2.5G
ezfact32_3.shuffled.cnf 769 0.84 0.02 21.54 253.54 0.70 46.41 >1h >2.5G
ezfact32_4.shuffled.cnf 769 2.51 0.04 22.83 354.57 1.31 192.97
ezfact32_5.shuffled.cnf 769 262.14 4.64 473.28 5029.69 8.39 448.05
ezfact32_6.shuffled.cnf 769 17.25 0.17 56.87 757.23 1.87 121.66
ezfact32_7.shuffled.cnf 769 86.43 1.56 94.03 11072.78 12.35 966.66
ezfact32_8.shuffled.cnf 769 210.67 2.38 186.33 11483.15 11.11 1346.04
ezfact32_9.shuffled.cnf 769 865.55 9.00 814.91 1205.94 3.03 230.23
ezfact32_10.shuffled.cnf 769 856.99 11.02 528.02 3558.91 8.84 427.80
bmc1/4.shuffled.cnf 198 0.03 0.00 1.88 8.57
bmc1/23.shuffled.cnf 198 0.05 0.00 1.88 6.35
bmc1/42.shuffled.cnf 378 13.92 0.05 133.86 457.53
bmc1/61.shuffled.cnf 378 0.37 0.00 9.70 1685.88
grid_05_05.shuffled.cnf 48 0.32 0.00 7.57 1.11 0.00 4.87 0.71
grid_05_10.shuffled.cnf 98 7.52 0.01 23.40 2.59 0.00 7.90 2.33
grid_10_10.shuffled.cnf 198 196.00 0.00 95.86 1.50 0.00 3.62 9.13
grid_10_15.shuffled.cnf 298 1345.22 0.00 223.16 1070.32 0.02 96.27 22.26
grid_10_20.shuffled.cnf 398 776.49 0.02 79.04 42.14
grid_15_15.shuffled.cnf 448 127.50 0.00 28.52 52.90
grid_15_20.shuffled.cnf 598 1717.32 0.02 114.62 97.83
grid_20_20.shuffled.cnf 798 2158.18 0.06 136.35 180.96
urquhart2_25.shuffled.cnf 60 0.02 0.00 0.64 1.27
urquhart2_25bis.shuffled.cnf 36 0.01 0.00 0.39 0.67
urquhart3_25.shuffled.cnf 153 0.08 0.00 2.14 6.36
urquhart3_25bis.shuffled.cnf 99 0.02 0.00 1.05 2.83
urquhart4_25.shuffled.cnf 288 0.29 0.00 5.14 22.45
urquhart4_25bis.shuffled.cnf 192 0.10 0.00 2.02 9.72
x1_16.shuffled.cnf 46 0.00 0.00 0.49 0.87
x1_24.shuffled.cnf 70 0.02 0.00 0.74 1.67
x1_32.shuffled.cnf 94 0.02 0.00 0.99 2.63
x1_36.shuffled.cnf 106 0.02 0.00 1.12 3.29
x1_40.shuffled.cnf 118 0.04 0.00 1.25 3.98
x1_44.shuffled.cnf 130 0.07 0.00 1.79 4.94
x1_48.shuffled.cnf 142 0.04 0.00 1.81 5.44
x1_56.shuffled.cnf 166 0.12 0.01 2.69 7.32
x1_64.shuffled.cnf 190 0.12 0.00 2.30 9.80
x1_72.shuffled.cnf 214 0.15 0.00 2.25 12.08
x1_80.shuffled.cnf 238 0.15 0.00 2.50 15.05
x1_96.shuffled.cnf 286 0.29 0.01 6.13 21.66
x1_128.shuffled.cnf 382 0.90 0.00 24.03 47.66
x2_16.shuffled.cnf 46 0.01 0.00 0.49 0.92
x2_24.shuffled.cnf 70 0.00 0.00 0.74 1.58
x2_32.shuffled.cnf 94 0.02 0.00 0.99 2.61
x2_36.shuffled.cnf 106 0.02 0.00 1.12 3.21
x2_40.shuffled.cnf 118 0.05 0.00 1.25 4.03
x2_44.shuffled.cnf 130 0.05 0.00 1.37 4.76
x2_48.shuffled.cnf 142 0.11 0.00 3.12 5.52
x2_56.shuffled.cnf 166 0.06 0.00 1.75 7.38
x2_64.shuffled.cnf 190 0.15 0.01 2.50 9.63
x2_72.shuffled.cnf 214 0.16 0.00 2.80 12.09
x2_80.shuffled.cnf 238 0.21 0.00 3.43 14.88
x2_96.shuffled.cnf 286 0.29 0.00 3.50 22.05
x2_128.shuffled.cnf 382 0.88 0.00 28.63 47.45
cmpadd/ca002.shuffled.cnf 26 0.00 0.00 0.29 0.39
cmpadd/ca004.shuffled.cnf 60 0.01 0.00 0.67 1.24
cmpadd/ca008.shuffled.cnf 130 0.61 0.00 3.86 6.54
cmpadd/ca016.shuffled.cnf 272 796.11 0.03 264.96 20.96 0.02 18.27 48.60
cmpadd/ca032.shuffled.cnf 558 326.01 0.16 70.97 929.50
cmpadd/ca064.shuffled.cnf 1132 28330.86 0.14 1054.31 8003.88
cmpadd/ca128.shuffled.cnf 2282 160308.37 2.06 4057.59 >55440 >16G
uf50-01.cnf 50 364.88 0.06 42.28 52.64
uf50-02.cnf 50 472.19 0.07 41.91 49.34
uf50-03.cnf 50 100.01 0.01 26.71 20.65
uf50-04.cnf 50 382.86 0.09 34.78 81.37
uf50-05.cnf 50 1271.91 0.21 126.03 209.43
uf50-06.cnf 50 187.07 0.03 28.55 45.27
uf50-07.cnf 50 1225.94 0.13 68.16 147.60
uf50-08.cnf 50 82.07 0.01 19.93 23.50
uf50-09.cnf 50 353.32 0.01 41.74 39.77
uf50-010.cnf 50 509.07 0.06 45.92 62.72
uf50-011.cnf 50 118.40 0.01 23.14 16.59
uf50-012.cnf 50 216.56 0.08 33.89 26.04
uf50-013.cnf 50 211.94 0.02 34.32 55.58
uf50-014.cnf 50 790.73 0.14 55.01 47.61
uf50-015.cnf 50 807.12 0.12 50.05 47.81
uf50-016.cnf 50 44.91 0.02 13.50 17.07
uf50-017.cnf 50 224.40 0.04 35.46 33.30
uf50-018.cnf 50 376.52 0.04 39.07 35.47
uf50-019.cnf 50 297.09 0.06 40.32 118.27
uf50-020.cnf 50 395.09 0.07 38.61 33.69
uf50-021.cnf 50 303.19 0.01 45.04 37.98
uf50-022.cnf 50 670.22 0.14 54.63 52.49
uf50-023.cnf 50 468.67 0.02 45.50 33.31
uf50-024.cnf 50 309.12 0.09 37.92 37.33
uf50-025.cnf 50 654.64 0.16 58.20 92.40
uf50-026.cnf 50 215.34 0.06 31.43 21.62
uf50-027.cnf 50 246.69 0.03 33.57 71.14
uf50-028.cnf 50 762.44 0.09 57.71 205.47
uf50-029.cnf 50 976.42 0.12 58.07 55.26
uf75-01.cnf 75 79571.03 2.81 447.61 2352.26
flat30-1.cnf 90 3.35 0.00 4.58 8.81
flat30-2.cnf 90 3071.43 0.07 117.52 308.44
flat30-3.cnf 90 2582.03 0.05 99.88 600.02
flat30-4.cnf 90 174.47 0.11 20.71 92.55
flat30-5.cnf 90 53.02 0.02 13.24 121.95
flat30-6.cnf 90 31.96 0.02 11.25 21.72
flat30-7.cnf 90 4814.43 0.24 238.02 314.83
flat30-8.cnf 90 27.99 0.02 15.11 38.06
flat30-9.cnf 90 62.13 0.01 12.46 56.75
flat30-10.cnf 90 822.92 0.11 70.62 121.37
flat30-11.cnf 90 1942.74 0.09 128.00 234.23
flat30-12.cnf 90 32777.67 0.25 1059.87 1583.38
flat30-13.cnf 90 25.93 0.02 7.66 32.95
flat30-14.cnf 90 7.32 0.00 8.01 45.98
flat30-15.cnf 90 25.32 0.01 8.64 18.49
flat30-16.cnf 90 43.31 0.01 13.10 28.17
flat30-17.cnf 90 1021.54 0.39 120.91 774.49
flat30-18.cnf 90 0.73 0.01 2.36 3.83
flat30-19.cnf 90 0.36 0.00 1.73 4.17
flat30-20.cnf 90 87.71 0.06 16.11 55.58
flat30-21.cnf 90 0.16 0.00 1.56 3.54
flat30-22.cnf 90 2226.08 0.19 125.68 134.49
flat30-23.cnf 90 4.26 0.00 3.70 7.58
flat30-24.cnf 90 899.05 0.05 55.01 173.22
flat30-25.cnf 90 0.09 0.00 1.36 3.04
flat30-26.cnf 90 737.65 0.07 51.21 71.83
flat30-27.cnf 90 0.30 0.00 1.87 3.31
flat30-28.cnf 90 40278.67 1.44 775.16 592.37
flat30-29.cnf 90 44.05 0.06 12.92 76.80
flat30-30.cnf 90 4.02 0.01 4.73 7.65
flat30-31.cnf 90 5739.68 0.26 271.80 1259.39
flat30-32.cnf 90 11.11 0.00 6.84 12.21
flat30-33.cnf 90 1098.84 0.08 67.57 797.59
flat30-34.cnf 90 33.38 0.03 12.37 7.91
flat30-35.cnf 90 134.00 0.01 20.72 60.52
flat30-36.cnf 90 8786.52 0.31 281.58 1276.68
hanoi4.shuffled.cnf 718 100735.77 19.37 722.36
3col100_5_1.shuffled.cnf 200 156211.57 29.77 1065.02