| Problem Instance/Computer Algebra System | Singular |
| Exmpl_10_10_20.sdc | real:7275.35;sys:1089.51;user:6165.23 |
| Exmpl_25_25_3.sdc | real:7265.03;sys:1170.95;user:6090.09 |
| Exmpl_15_15_4.sdc | real:7264.52;sys:1203.46;user:6057.49 |
| Exmpl_15_10_10.sdc | real:1.03;sys:0.06;user:0.96 |
| Exmpl_15_25_5.sdc | real:7277.24;sys:1215.77;user:6050.88 |
| Exmpl_5_25_10.sdc | real:7262.07;sys:1187.09;user:6071.80 |
| Exmpl_10_10_2.sdc | real:7260.14;sys:1207.39;user:6050.24 |
| Exmpl_5_15_3.sdc | real:7261.34;sys:1191.83;user:6066.41 |
| Exmpl_20_5_25.sdc | real:55.18;sys:11.40;user:43.75 |
| Exmpl_15_5_3.sdc | real:0.55;sys:0.00;user:0.32 |
| Exmpl_5_10_3.sdc | real:7270.23;sys:1187.63;user:6071.34 |
| Exmpl_15_10_4.sdc | real:7263.54;sys:1197.02;user:6062.41 |
| Exmpl_20_25_2.sdc | real:7263.21;sys:1162.79;user:6096.99 |
| Exmpl_20_10_5.sdc | real:7262.89;sys:1185.40;user:6072.68 |
| Exmpl_25_10_15.sdc | real:7261.63;sys:1181.66;user:6076.35 |
| Exmpl_5_5_10.sdc | real:975.18;sys:158.16;user:815.30 |
| Exmpl_5_10_25.sdc | real:7268.90;sys:1133.29;user:6122.33 |
| Exmpl_15_5_4.sdc | real:7259.92;sys:1142.79;user:6112.40 |
| Exmpl_25_15_4.sdc | real:7275.49;sys:1140.43;user:6117.13 |
| Exmpl_25_20_20.sdc | real:7270.88;sys:1235.31;user:6030.67 |
| Exmpl_10_20_25.sdc | real:7268.51;sys:1203.71;user:6058.89 |
| Exmpl_15_10_20.sdc | real:7258.54;sys:1140.52;user:6114.84 |
| Exmpl_20_15_2.sdc | real:7264.72;sys:1214.50;user:6046.07 |
| Exmpl_20_5_5.sdc | real:7260.74;sys:1160.54;user:6095.39 |
| Exmpl_10_25_2.sdc | real:7270.25;sys:1216.60;user:6049.42 |
| Exmpl_20_5_20.sdc | real:45.95;sys:7.76;user:38.17 |
| Exmpl_10_20_5.sdc | real:7270.79;sys:1153.74;user:6110.21 |
| Exmpl_20_15_3.sdc | real:7266.89;sys:1232.77;user:6029.76 |
| Exmpl_10_25_10.sdc | real:7268.63;sys:1162.82;user:6096.31 |
| Exmpl_20_15_5.sdc | real:7264.96;sys:1207.14;user:6053.85 |
| Exmpl_25_20_10.sdc | real:7268.13;sys:1223.06;user:6040.53 |
| Exmpl_10_10_25.sdc | real:7279.40;sys:1117.03;user:6139.73 |
| Exmpl_10_25_3.sdc | real:7267.67;sys:1168.67;user:6094.85 |
| Exmpl_15_5_5.sdc | real:1544.47;sys:255.17;user:1288.48 |
| Exmpl_15_25_15.sdc | real:7273.69;sys:1223.41;user:6041.51 |
| Exmpl_15_5_25.sdc | real:180.64;sys:26.18;user:154.33 |
| Exmpl_10_15_10.sdc | real:7292.70;sys:1090.25;user:6166.04 |
| Exmpl_10_25_15.sdc | real:8.11;sys:0.64;user:7.46 |
| Exmpl_20_15_20.sdc | real:7266.76;sys:1222.55;user:6040.36 |
| Exmpl_15_20_10.sdc | real:8.49;sys:2.43;user:6.04 |
| Exmpl_5_20_4.sdc | real:7272.21;sys:1232.18;user:6036.33 |
| Exmpl_15_15_20.sdc | real:7266.19;sys:1221.83;user:6040.30 |
| Exmpl_25_15_25.sdc | real:7267.39;sys:1208.23;user:6054.90 |
| Exmpl_10_15_25.sdc | real:7291.83;sys:1070.67;user:6184.30 |
| Exmpl_25_5_2.sdc | real:1.75;sys:0.21;user:1.04 |
| Exmpl_15_10_3.sdc | real:7263.46;sys:1196.84;user:6061.72 |
| Exmpl_10_20_10.sdc | real:7264.73;sys:1166.93;user:6092.02 |
| Exmpl_10_5_25.sdc | real:0.02;sys:0.00;user:0.02 |
| Exmpl_25_25_2.sdc | real:7265.44;sys:1194.44;user:6067.05 |
| Exmpl_5_5_3.sdc | real:7272.46;sys:1080.48;user:6172.82 |
| Exmpl_25_15_20.sdc | real:7268.60;sys:1239.57;user:6024.63 |
| Exmpl_10_20_3.sdc | real:7271.96;sys:1202.92;user:6061.21 |
| Exmpl_10_25_20.sdc | real:7275.22;sys:1249.22;user:6016.11 |
| Exmpl_10_15_5.sdc | real:7290.28;sys:1089.88;user:6164.52 |
| Exmpl_10_10_4.sdc | real:7259.79;sys:1147.24;user:6108.73 |
| Exmpl_5_15_5.sdc | real:7263.35;sys:1179.07;user:6079.45 |
| Exmpl_5_10_5.sdc | real:7269.45;sys:1128.33;user:6127.20 |
| Exmpl_15_10_2.sdc | real:7261.38;sys:1197.59;user:6059.53 |
| Exmpl_15_15_3.sdc | real:7262.97;sys:1199.91;user:6059.55 |
| Exmpl_20_10_3.sdc | real:7265.91;sys:1235.74;user:6025.91 |
| Exmpl_15_25_25.sdc | real:7269.89;sys:1240.01;user:6024.10 |
| Exmpl_15_15_10.sdc | real:7267.61;sys:1224.32;user:6039.24 |
| Exmpl_10_15_4.sdc | real:7278.19;sys:1136.00;user:6122.19 |
| Exmpl_5_20_2.sdc | real:7270.88;sys:1211.83;user:6055.14 |
| Exmpl_15_5_15.sdc | real:3.03;sys:0.54;user:2.47 |
| Exmpl_20_20_25.sdc | real:7269.08;sys:1224.41;user:6040.22 |
| Exmpl_25_5_25.sdc | real:1.44;sys:0.32;user:1.12 |
| Exmpl_15_25_3.sdc | real:7272.93;sys:1149.81;user:6111.39 |
| Exmpl_5_10_4.sdc | real:7266.82;sys:1120.82;user:6134.20 |
| Exmpl_5_5_5.sdc | real:7272.42;sys:1091.13;user:6162.49 |
| Exmpl_25_15_5.sdc | real:7277.01;sys:1129.51;user:6127.78 |
| Exmpl_15_25_10.sdc | real:7271.59;sys:1164.25;user:6099.10 |
| Exmpl_5_5_20.sdc | real:19.01;sys:1.76;user:17.14 |
| Exmpl_20_10_10.sdc | real:7262.05;sys:1174.20;user:6083.52 |
| Exmpl_15_15_15.sdc | real:7265.62;sys:1187.76;user:6074.01 |
| Exmpl_10_20_15.sdc | real:7269.94;sys:1238.65;user:6025.53 |
| Exmpl_20_25_15.sdc | real:7276.45;sys:1223.69;user:6039.19 |
| Exmpl_20_20_3.sdc | real:7264.66;sys:1153.32;user:6107.51 |
| Exmpl_10_10_10.sdc | real:7275.16;sys:1111.14;user:6144.58 |
| Exmpl_15_10_5.sdc | real:7263.59;sys:1224.23;user:6035.98 |
| Exmpl_5_10_2.sdc | real:7270.28;sys:1191.56;user:6067.63 |
| Exmpl_5_25_2.sdc | real:7270.70;sys:1215.13;user:6052.08 |
| Exmpl_5_20_20.sdc | real:7267.88;sys:1224.77;user:6039.30 |
| Exmpl_25_25_4.sdc | real:7268.73;sys:1180.44;user:6083.76 |
| Exmpl_15_25_2.sdc | real:7300.86;sys:1070.73;user:6185.03 |
| Exmpl_25_25_20.sdc | real:7330.93;sys:1269.55;user:6031.97 |
| Exmpl_10_5_15.sdc | real:380.77;sys:60.35;user:320.27 |
| Exmpl_10_15_3.sdc | real:7278.31;sys:1120.02;user:6137.35 |
| Exmpl_5_15_4.sdc | real:7265.12;sys:1213.29;user:6046.73 |
| Exmpl_10_10_5.sdc | real:7275.65;sys:1128.62;user:6128.00 |
| Exmpl_20_25_3.sdc | real:7263.63;sys:1141.93;user:6118.06 |
| Exmpl_5_15_20.sdc | real:7206.54;sys:1169.19;user:6088.26 |
| Exmpl_10_15_2.sdc | real:7276.11;sys:1108.60;user:6146.90 |
| Exmpl_25_5_4.sdc | real:7260.15;sys:1168.48;user:6087.97 |
| Exmpl_15_5_10.sdc | real:4229.30;sys:686.35;user:3539.92 |
| Exmpl_20_20_20.sdc | real:7269.91;sys:1227.33;user:6037.97 |
| Exmpl_5_25_3.sdc | real:7269.44;sys:1182.39;user:6083.54 |
| Exmpl_5_15_10.sdc | real:7208.98;sys:1210.93;user:6048.65 |
| Exmpl_20_25_10.sdc | real:7281.70;sys:1175.58;user:6088.01 |
| Exmpl_10_25_5.sdc | real:7270.83;sys:1197.82;user:6068.75 |
| Exmpl_20_20_5.sdc | real:7268.32;sys:1190.61;user:6073.56 |
| Exmpl_5_5_25.sdc | real:121.96;sys:20.39;user:101.43 |
| Exmpl_15_20_25.sdc | real:7310.36;sys:1121.61;user:6140.05 |
| Exmpl_5_15_15.sdc | real:7210.18;sys:1220.84;user:6039.98 |
| Exmpl_20_25_4.sdc | real:7267.45;sys:1212.18;user:6051.65 |
| Exmpl_5_10_20.sdc | real:7270.53;sys:1126.61;user:6128.83 |
| Exmpl_5_5_15.sdc | real:51.51;sys:8.62;user:42.28 |
| Exmpl_10_25_4.sdc | real:7270.83;sys:1213.48;user:6053.28 |
| Exmpl_20_15_15.sdc | real:7263.23;sys:1173.06;user:6086.16 |
| Exmpl_10_5_20.sdc | real:117.66;sys:16.86;user:100.70 |
| Exmpl_15_20_20.sdc | real:7311.68;sys:1039.48;user:6215.99 |
| Exmpl_5_5_4.sdc | real:7273.86;sys:1114.89;user:6139.92 |
| Exmpl_25_20_5.sdc | real:7266.33;sys:1156.24;user:6105.33 |
| Exmpl_10_20_2.sdc | real:7270.84;sys:1170.66;user:6092.30 |
| Exmpl_25_25_15.sdc | real:7308.65;sys:1299.01;user:5979.03 |
| Exmpl_5_15_2.sdc | real:7260.01;sys:1177.15;user:6079.68 |
| Exmpl_10_10_3.sdc | real:7261.36;sys:1182.27;user:6075.80 |
| Exmpl_5_25_20.sdc | real:7265.69;sys:1222.72;user:6038.46 |
| Exmpl_25_25_10.sdc | real:7320.76;sys:1172.39;user:6092.31 |
| Exmpl_15_20_4.sdc | real:7277.57;sys:1143.73;user:6117.04 |
| Exmpl_10_10_15.sdc | real:7274.26;sys:1082.44;user:6171.83 |
| Exmpl_25_25_5.sdc | real:7269.44;sys:1192.89;user:6071.80 |
| Exmpl_20_20_2.sdc | real:7265.04;sys:1179.44;user:6081.87 |
| Exmpl_15_15_25.sdc | real:7267.77;sys:1240.66;user:6023.05 |
| Exmpl_5_25_4.sdc | real:7270.59;sys:1214.03;user:6052.99 |
| Exmpl_5_10_10.sdc | real:7272.31;sys:1136.92;user:6119.27 |
| Exmpl_10_25_25.sdc | real:7277.47;sys:1247.24;user:6018.71 |
| Exmpl_25_15_3.sdc | real:7269.77;sys:1151.84;user:6107.66 |
| Exmpl_15_25_4.sdc | real:7270.16;sys:1155.34;user:6106.81 |
| Exmpl_25_15_2.sdc | real:7265.46;sys:1160.35;user:6096.97 |
| Exmpl_25_25_25.sdc | real:7339.75;sys:1332.72;user:5988.09 |
| Exmpl_25_5_20.sdc | real:0.07;sys:0.04;user:0.02 |
| Exmpl_10_5_10.sdc | real:7260.86;sys:1199.89;user:6057.82 |
| Exmpl_25_20_3.sdc | real:7263.18;sys:1137.86;user:6121.77 |
| Exmpl_20_5_15.sdc | real:7262.31;sys:1184.09;user:6072.99 |
| Exmpl_15_15_2.sdc | real:7262.41;sys:1190.87;user:6067.40 |
| Exmpl_25_10_10.sdc | real:7262.09;sys:1189.02;user:6069.46 |
| Exmpl_15_5_20.sdc | real:137.38;sys:23.54;user:113.73 |
| Exmpl_20_20_10.sdc | real:7271.34;sys:1227.50;user:6038.83 |
| Exmpl_25_20_4.sdc | real:7270.77;sys:1209.22;user:6056.59 |
| Exmpl_20_25_20.sdc | real:7278.24;sys:1220.14;user:6044.70 |
| Exmpl_25_20_2.sdc | real:7265.81;sys:1204.93;user:6057.58 |
| Exmpl_25_10_2.sdc | real:7266.00;sys:1248.75;user:6013.37 |
| Exmpl_20_5_4.sdc | real:7261.05;sys:1166.22;user:6089.87 |
| Exmpl_20_25_25.sdc | real:7270.94;sys:1197.87;user:6064.81 |
| Exmpl_20_5_10.sdc | real:2072.32;sys:345.43;user:1725.78 |
| Exmpl_10_15_15.sdc | real:7292.48;sys:1094.37;user:6161.80 |
| Exmpl_15_20_15.sdc | real:7314.17;sys:1073.43;user:6185.68 |
| Exmpl_20_5_2.sdc | real:7263.48;sys:1156.22;user:6101.19 |
| Exmpl_10_20_20.sdc | real:7268.15;sys:1210.51;user:6051.72 |
| Exmpl_5_20_5.sdc | real:7269.97;sys:1178.33;user:6087.45 |
| Exmpl_10_15_20.sdc | real:0.62;sys:0.13;user:0.47 |
| Exmpl_20_25_5.sdc | real:7267.76;sys:1213.70;user:6049.76 |
| Exmpl_5_25_25.sdc | real:7267.92;sys:1240.76;user:6023.13 |
| Exmpl_20_10_4.sdc | real:7262.09;sys:1148.26;user:6108.41 |
| Exmpl_15_10_15.sdc | real:7261.28;sys:1182.68;user:6075.28 |
| Exmpl_20_10_25.sdc | real:0.39;sys:0.00;user:0.36 |
| Exmpl_10_20_4.sdc | real:7272.36;sys:1188.00;user:6076.54 |
| Exmpl_5_20_10.sdc | real:7267.27;sys:1232.95;user:6030.78 |
| Exmpl_15_15_5.sdc | real:7265.18;sys:1191.71;user:6070.09 |
| Exmpl_25_20_15.sdc | real:7267.01;sys:1215.58;user:6046.16 |
| Exmpl_20_10_20.sdc | real:7261.33;sys:1176.61;user:6081.05 |
| Exmpl_25_5_3.sdc | real:7262.93;sys:1208.63;user:6050.10 |
| Exmpl_5_20_3.sdc | real:7267.84;sys:1168.57;user:6095.54 |
| Exmpl_5_25_5.sdc | real:7267.77;sys:1167.49;user:6096.94 |
| Exmpl_10_5_5.sdc | real:7258.91;sys:1168.37;user:6087.77 |
| Exmpl_25_10_25.sdc | real:7263.12;sys:1209.02;user:6050.50 |
| Exmpl_5_20_25.sdc | real:7266.63;sys:1199.46;user:6063.20 |
| Exmpl_25_5_10.sdc | real:7259.91;sys:1162.46;user:6093.61 |
| Exmpl_20_15_10.sdc | real:7264.20;sys:1187.80;user:6072.19 |
| Exmpl_25_5_15.sdc | real:0.04;sys:0.00;user:0.02 |
| Exmpl_25_5_5.sdc | real:7258.23;sys:1131.46;user:6123.18 |
| Exmpl_20_15_4.sdc | real:7266.87;sys:1236.73;user:6026.24 |
| Exmpl_25_10_4.sdc | real:7266.63;sys:1253.96;user:6008.99 |
| Exmpl_20_20_15.sdc | real:7271.94;sys:1254.89;user:6012.29 |
| Exmpl_5_20_15.sdc | real:7267.79;sys:1223.06;user:6040.78 |
| Exmpl_25_10_5.sdc | real:7261.55;sys:1161.23;user:6096.66 |
| Exmpl_5_15_25.sdc | real:7207.77;sys:1180.09;user:6078.66 |
| Exmpl_25_10_3.sdc | real:7263.37;sys:1202.19;user:6057.05 |
| Exmpl_10_5_4.sdc | real:7260.41;sys:1190.97;user:6066.27 |
| Exmpl_5_5_2.sdc | real:7274.58;sys:1113.37;user:6141.78 |
| Exmpl_25_20_25.sdc | real:7271.46;sys:1264.10;user:6002.73 |
| Exmpl_5_10_15.sdc | real:7272.19;sys:1131.99;user:6124.12 |
| Exmpl_20_10_15.sdc | real:7260.41;sys:1150.09;user:6105.82 |
| Exmpl_25_10_20.sdc | real:7260.54;sys:1171.92;user:6085.28 |
| Exmpl_15_20_5.sdc | real:7276.43;sys:1138.68;user:6120.49 |
| Exmpl_15_20_2.sdc | real:7265.62;sys:1152.69;user:6105.85 |
| Exmpl_15_20_3.sdc | real:155.65;sys:24.45;user:131.05 |
| Exmpl_10_5_2.sdc | real:7259.25;sys:1173.53;user:6082.82 |
| Exmpl_25_15_10.sdc | real:7276.81;sys:1199.46;user:6063.64 |
| Exmpl_15_5_2.sdc | real:7265.73;sys:1168.50;user:6090.09 |
| Exmpl_15_10_25.sdc | real:7261.78;sys:1197.61;user:6060.60 |
| Exmpl_10_5_3.sdc | real:7258.69;sys:1160.13;user:6095.76 |
| Exmpl_20_15_25.sdc | real:7268.01;sys:1234.41;user:6029.25 |
| Exmpl_20_10_2.sdc | real:7267.98;sys:1251.48;user:6010.70 |
| Exmpl_15_25_20.sdc | real:7273.15;sys:1236.62;user:6029.19 |
| Exmpl_20_5_3.sdc | real:7260.71;sys:1144.88;user:6110.52 |
| Exmpl_20_20_4.sdc | real:7270.49;sys:1207.05;user:6058.98 |
| Exmpl_25_15_15.sdc | real:7272.50;sys:1174.84;user:6085.28 |
| Exmpl_5_25_15.sdc | real:7266.04;sys:1184.96;user:6077.09 |