| Problem Instance/Computer Algebra System | REDUCE | Singular |
| exNo128 | real:14856.73;sys:34.54;user:14365.85 | real:15118.89;sys:49.24;user:14350.77 |
| exNo92 | real:14447.62;sys:6.14;user:14394.37 | real:14412.90;sys:0.57;user:14399.46 |
| exNo136 | real:14429.43;sys:5.69;user:14394.84 | real:14448.42;sys:4.85;user:14395.15 |
| exNo129 | real:14428.82;sys:6.42;user:14393.95 | real:14442.00;sys:3.27;user:14396.77 |
| exNo154 | real:17998.76;sys:76.49;user:14324.36 | real:14424.38;sys:1.82;user:14398.18 |
| exNo133 | real:14427.47;sys:2.47;user:14397.72 | real:14436.55;sys:4.32;user:14395.69 |
| exNo132 | real:14419.38;sys:2.44;user:14397.77 | real:14420.53;sys:1.02;user:14398.99 |
| exNo130 | real:14423.23;sys:1.05;user:14399.15 | real:14452.93;sys:3.66;user:14396.36 |
| exNo134 | real:14429.60;sys:8.40;user:14392.56 | real:14439.57;sys:0.62;user:14399.38 |
| exNo81 | real:14416.13;sys:1.21;user:14398.93 | real:14415.99;sys:0.27;user:14399.74 |
| exNo127 | real:15211.51;sys:56.78;user:14343.42 | real:15181.00;sys:65.82;user:14334.18 |
| exNo62 | real:14504.12;sys:15.32;user:14384.92 | real:14463.32;sys:6.55;user:14393.45 |
| exNo63 | real:14586.03;sys:23.06;user:14376.96 | real:6760.46;sys:104.53;user:4576.85 |
| exNo60 | real:14459.27;sys:2.73;user:14397.68 | real:14413.85;sys:1.02;user:14399.01 |
| exNo61 | real:14454.29;sys:11.98;user:14388.77 | real:14415.64;sys:0.50;user:14399.50 |
| exNo66 | real:14424.47;sys:4.12;user:14396.17 | real:14417.03;sys:3.70;user:14396.32 |
| exNo64 | real:16147.91;sys:28.51;user:14371.60 | real:17870.67;sys:1366.75;user:10346.00 |
| exNo65 | real:16011.26;sys:16.40;user:14383.73 | real:16048.78;sys:29.68;user:14370.34 |
| exNo122 | real:14736.81;sys:12.02;user:14388.38 | real:14458.65;sys:4.13;user:14395.87 |
| exNo68 | real:14439.25;sys:2.70;user:14397.46 | real:14422.03;sys:1.90;user:14398.11 |
| exNo77 | real:14463.82;sys:10.53;user:14390.67 | real:14453.59;sys:8.21;user:14391.79 |
| exNo123 | real:14766.24;sys:19.40;user:14380.98 | real:14748.78;sys:14.66;user:14385.34 |
| exNo120 | real:0.15;sys:0.01;user:0.12 | real:0.12;sys:0.00;user:0.09 |
| exNo121 | real:0.13;sys:0.02;user:0.11 | real:0.10;sys:0.01;user:0.09 |
| exNo94 | real:7002.35;sys:1.00;user:6992.00 | real:14437.64;sys:2.31;user:14397.69 |
| exNo17 | real:14423.10;sys:2.54;user:14397.59 | real:14414.69;sys:1.35;user:14398.66 |
| exNo9 | real:17412.21;sys:50.67;user:14349.42 | real:18929.10;sys:140.85;user:14034.99 |
| exNo8 | real:13100.74;sys:5.99;user:13042.67 | real:14421.60;sys:1.48;user:14398.52 |
| exNo7 | real:3223.89;sys:1.39;user:3207.03 | real:14412.22;sys:0.10;user:14399.90 |
| exNo6 | real:14442.23;sys:1.46;user:14398.66 | real:14413.65;sys:0.34;user:14399.67 |
| exNo5 | real:3617.43;sys:1.32;user:3611.08 | real:14451.20;sys:8.44;user:14391.56 |
| exNo4 | real:5559.55;sys:1.04;user:5543.60 | real:14432.16;sys:0.49;user:14399.51 |
| exNo3 | real:7573.42;sys:0.87;user:7562.65 | real:14446.96;sys:4.00;user:14396.00 |
| exNo2 | real:11854.07;sys:3.27;user:11796.15 | real:14425.06;sys:2.91;user:14397.09 |
| exNo1 | real:14417.70;sys:2.98;user:14397.06 | real:14472.56;sys:14.39;user:14385.69 |
| exNo0 | real:14423.44;sys:5.89;user:14394.18 | real:14420.80;sys:28.48;user:14371.64 |
| exNo71 | real:14432.10;sys:3.77;user:14396.37 | real:14437.33;sys:1.94;user:14398.06 |
| exNo70 | real:14417.97;sys:4.03;user:14396.08 | real:14406.66;sys:0.31;user:14399.70 |
| exNo73 | real:14461.38;sys:4.39;user:14396.15 | real:14478.14;sys:6.70;user:14393.30 |
| exNo72 | real:14442.04;sys:1.16;user:14399.00 | real:14414.65;sys:0.64;user:14399.37 |
| exNo75 | real:14419.15;sys:2.59;user:14397.72 | real:14425.54;sys:2.71;user:14397.32 |
| exNo74 | real:14477.83;sys:7.84;user:14392.59 | real:14511.14;sys:1.85;user:14398.15 |
| exNo76 | real:14415.76;sys:3.38;user:14396.98 | real:14418.39;sys:0.88;user:14399.15 |
| exNo79 | real:7160.85;sys:3.54;user:7125.22 | real:14431.83;sys:2.51;user:14397.49 |
| exNo78 | real:14428.71;sys:9.06;user:14392.18 | real:14408.51;sys:0.43;user:14399.57 |
| exNo147 | real:14448.04;sys:3.85;user:14396.30 | real:14408.52;sys:0.54;user:14399.47 |
| exNo16 | real:14426.11;sys:4.01;user:14396.10 | real:14454.66;sys:0.74;user:14399.27 |
| exNo126 | real:15723.21;sys:67.54;user:14079.47 | real:15377.60;sys:42.98;user:14357.02 |
| exNo135 | real:14432.46;sys:3.94;user:14396.71 | real:14410.06;sys:0.28;user:14399.72 |
| exNo15 | real:14451.86;sys:6.10;user:14394.09 | real:14413.84;sys:0.41;user:14399.61 |
| exNo138 | real:14435.03;sys:4.99;user:14395.35 | real:14441.75;sys:5.59;user:14394.43 |
| exNo153 | real:14470.95;sys:14.49;user:14386.55 | real:14422.98;sys:2.61;user:14397.39 |
| exNo152 | real:14408.97;sys:0.67;user:14399.48 | real:14462.31;sys:7.84;user:14392.16 |
| exNo151 | real:14441.41;sys:1.32;user:14398.88 | real:14415.09;sys:0.52;user:14399.49 |
| exNo150 | real:0.13;sys:0.02;user:0.11 | real:0.10;sys:0.00;user:0.09 |
| exNo139 | real:14438.14;sys:5.51;user:14395.01 | real:14433.34;sys:0.78;user:14399.22 |
| exNo48 | real:14429.19;sys:4.18;user:14395.94 | real:14436.17;sys:3.68;user:14396.32 |
| exNo49 | real:14415.42;sys:2.05;user:14398.14 | real:14472.10;sys:5.07;user:14394.94 |
| exNo44 | real:14442.55;sys:2.55;user:14397.57 | real:14440.48;sys:4.15;user:14395.86 |
| exNo45 | real:14421.14;sys:10.03;user:14391.18 | real:14415.94;sys:0.57;user:14399.43 |
| exNo46 | real:0.14;sys:0.03;user:0.10 | real:0.10;sys:0.01;user:0.09 |
| exNo47 | real:14430.35;sys:1.55;user:14398.59 | real:14434.37;sys:0.34;user:14399.66 |
| exNo40 | real:12964.28;sys:1.61;user:12940.21 | real:14440.30;sys:5.05;user:14394.95 |
| exNo41 | real:14417.43;sys:1.14;user:14398.97 | real:14435.38;sys:2.82;user:14397.19 |
| exNo42 | real:14416.01;sys:1.89;user:14398.23 | real:14443.29;sys:2.05;user:14397.96 |
| exNo43 | real:14416.19;sys:1.14;user:14398.97 | real:14446.83;sys:3.38;user:14396.63 |
| exNo110 | real:14449.29;sys:4.69;user:14395.42 | real:14434.03;sys:1.70;user:14398.31 |
| exNo148 | real:14408.88;sys:0.99;user:14399.16 | real:14415.71;sys:25.23;user:14374.78 |
| exNo149 | real:14416.54;sys:9.30;user:14391.96 | real:14462.56;sys:5.57;user:14394.43 |
| exNo125 | real:15107.13;sys:28.72;user:14371.35 | real:41882.04;sys:980.07;user:13327.15 |
| exNo140 | real:14422.67;sys:3.37;user:14396.73 | real:14469.73;sys:0.75;user:14399.26 |
| exNo141 | real:14435.81;sys:1.58;user:14398.59 | real:14442.01;sys:3.82;user:14396.19 |
| exNo142 | real:14410.78;sys:1.21;user:14398.97 | real:14420.97;sys:0.44;user:14399.57 |
| exNo143 | real:14416.05;sys:1.63;user:14398.58 | real:14437.54;sys:2.84;user:14397.17 |
| exNo144 | real:14440.85;sys:6.06;user:14394.36 | real:14432.09;sys:2.06;user:14397.94 |
| exNo145 | real:14411.48;sys:2.94;user:14397.57 | real:14488.66;sys:8.81;user:14391.19 |
| exNo146 | real:0.13;sys:0.01;user:0.11 | real:0.10;sys:0.02;user:0.08 |
| exNo67 | real:14428.21;sys:0.97;user:14399.20 | real:14416.85;sys:4.10;user:14395.92 |
| exNo59 | real:14414.32;sys:3.67;user:14396.84 | real:14446.60;sys:6.15;user:14393.85 |
| exNo58 | real:14415.28;sys:2.55;user:14397.83 | real:14424.05;sys:0.79;user:14399.25 |
| exNo53 | real:14408.50;sys:1.47;user:14398.74 | real:14482.22;sys:6.75;user:14393.26 |
| exNo52 | real:14421.38;sys:2.00;user:14398.22 | real:14422.93;sys:1.43;user:14398.58 |
| exNo51 | real:14425.90;sys:3.49;user:14396.88 | real:14464.66;sys:4.00;user:14396.02 |
| exNo50 | real:14416.39;sys:1.65;user:14398.52 | real:14410.84;sys:0.94;user:14399.07 |
| exNo57 | real:14457.37;sys:4.73;user:14395.65 | real:14423.35;sys:0.70;user:14399.33 |
| exNo56 | real:14444.27;sys:3.62;user:14396.52 | real:14416.41;sys:0.35;user:14399.66 |
| exNo55 | real:14421.14;sys:1.17;user:14399.01 | real:14431.37;sys:8.29;user:14391.72 |
| exNo54 | real:14422.49;sys:2.05;user:14398.13 | real:14413.66;sys:1.05;user:14398.96 |
| exNo100 | real:14424.10;sys:2.04;user:14398.14 | real:14469.08;sys:5.69;user:14394.33 |
| exNo101 | real:14412.18;sys:2.26;user:14397.97 | real:14444.60;sys:0.40;user:14399.62 |
| exNo85 | real:14457.45;sys:1.83;user:14398.51 | real:14431.05;sys:1.76;user:14398.26 |
| exNo99 | real:14428.51;sys:3.23;user:14396.78 | real:0.10;sys:0.01;user:0.09 |
| exNo108 | real:14420.42;sys:3.93;user:14396.53 | real:14450.55;sys:4.34;user:14395.66 |
| exNo98 | real:14418.45;sys:2.47;user:14397.54 | real:0.10;sys:0.01;user:0.09 |
| exNo82 | real:14420.75;sys:6.26;user:14394.09 | real:14452.94;sys:0.61;user:14399.41 |
| exNo109 | real:14419.54;sys:2.04;user:14398.21 | real:14424.74;sys:4.64;user:14395.38 |
| exNo69 | real:14439.07;sys:1.42;user:14398.72 | real:14420.61;sys:5.57;user:14394.44 |
| exNo14 | real:14440.81;sys:4.47;user:14396.01 | real:14428.45;sys:2.01;user:14397.99 |
| exNo91 | real:14440.46;sys:7.76;user:14392.78 | real:14453.39;sys:0.81;user:14399.19 |
| exNo13 | real:14475.88;sys:5.89;user:14394.31 | real:14422.15;sys:1.27;user:14398.74 |
| exNo90 | real:14414.38;sys:4.43;user:14396.08 | real:14434.71;sys:2.02;user:14397.98 |
| exNo12 | real:14420.64;sys:1.91;user:14398.33 | real:14451.14;sys:2.67;user:14397.35 |
| exNo117 | real:14461.65;sys:3.71;user:14396.44 | real:14449.82;sys:7.99;user:14392.01 |
| exNo11 | real:14424.04;sys:3.08;user:14397.21 | real:14447.40;sys:6.01;user:14394.01 |
| exNo84 | real:14423.09;sys:4.80;user:14395.37 | real:14422.48;sys:1.17;user:14398.84 |
| exNo10 | real:15289.86;sys:24.46;user:14375.68 | real:14840.34;sys:17.89;user:14382.14 |
| exNo137 | real:14425.93;sys:3.48;user:14396.92 | real:14419.74;sys:0.58;user:14399.45 |
| exNo97 | real:14485.47;sys:7.29;user:14392.93 | real:14422.45;sys:1.15;user:14398.87 |
| exNo114 | real:14453.43;sys:5.51;user:14394.82 | real:14420.85;sys:1.62;user:14398.41 |
| exNo124 | real:14830.84;sys:22.90;user:14377.17 | real:19812.47;sys:335.71;user:13539.07 |
| exNo80 | real:14422.55;sys:5.46;user:14394.64 | real:14477.78;sys:6.81;user:14393.19 |
| exNo111 | real:14433.67;sys:1.36;user:14398.75 | real:14427.89;sys:2.29;user:14397.72 |
| exNo96 | real:14429.00;sys:1.64;user:14398.59 | real:14416.74;sys:0.90;user:14399.12 |
| exNo116 | real:0.12;sys:0.02;user:0.10 | real:0.11;sys:0.01;user:0.09 |
| exNo115 | real:14416.16;sys:2.62;user:14397.73 | real:14427.15;sys:1.69;user:14398.33 |
| exNo113 | real:6233.68;sys:1.00;user:6215.30 | real:14436.54;sys:2.53;user:14397.47 |
| exNo112 | real:14442.90;sys:1.48;user:14398.64 | real:14439.65;sys:6.24;user:14393.77 |
| exNo87 | real:14450.87;sys:11.04;user:14389.38 | real:14473.29;sys:7.46;user:14392.56 |
| exNo86 | real:14451.98;sys:12.00;user:14388.23 | real:14436.18;sys:4.20;user:14395.82 |
| exNo88 | real:14442.08;sys:3.46;user:14396.75 | real:14416.89;sys:0.81;user:14399.21 |
| exNo95 | real:4704.91;sys:1.06;user:4693.24 | real:14460.58;sys:5.92;user:14394.08 |
| exNo119 | real:14412.21;sys:2.77;user:14397.77 | real:14461.51;sys:4.88;user:14395.12 |
| exNo89 | real:14444.45;sys:5.77;user:14394.59 | real:14425.05;sys:1.42;user:14398.61 |
| exNo118 | real:14422.49;sys:7.06;user:14393.01 | real:10367.49;sys:38.86;user:9825.38 |
| exNo104 | real:14435.06;sys:2.73;user:14397.57 | real:14417.36;sys:0.94;user:14399.09 |
| exNo105 | real:14432.00;sys:4.55;user:14395.93 | real:14466.00;sys:6.26;user:14393.74 |
| exNo106 | real:14441.04;sys:3.78;user:14396.51 | real:14430.78;sys:0.85;user:14399.17 |
| exNo107 | real:14429.75;sys:2.34;user:14397.90 | real:14420.24;sys:0.87;user:14399.15 |
| exNo102 | real:14434.05;sys:8.00;user:14392.07 | real:14426.50;sys:5.17;user:14395.19 |
| exNo103 | real:14471.83;sys:9.74;user:14390.32 | real:14416.08;sys:23.59;user:14378.96 |
| exNo93 | real:0.14;sys:0.04;user:0.10 | real:0.10;sys:0.03;user:0.08 |
| exNo19 | real:14425.64;sys:2.02;user:14398.19 | real:14417.34;sys:0.28;user:14399.73 |
| exNo18 | real:14465.82;sys:5.22;user:14394.90 | real:14429.77;sys:1.76;user:14398.25 |
| exNo83 | real:14415.43;sys:2.47;user:14397.90 | real:14430.57;sys:2.01;user:14398.01 |
| exNo131 | real:14449.96;sys:2.62;user:14397.62 | real:14445.66;sys:4.95;user:14395.06 |