Task: zeroKnowledge

Run at time: 2014_11_05_15_01_40



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