| Problem Instance/Computer Algebra System | REDUCE | Singular |
| nEq6andiEq6 | real:7200.13;sys:0.12;user:7187.84 | real:3.79;sys:0.00;user:3.78 |
| nEq6andiEq5 | real:7200.14;sys:0.13;user:7187.85 | real:3.94;sys:0.00;user:3.93 |
| nEq6andiEq4 | real:7200.14;sys:0.11;user:7187.81 | real:4.21;sys:0.00;user:4.20 |
| nEq6andiEq3 | real:7200.15;sys:0.10;user:7187.86 | real:4.24;sys:0.00;user:4.23 |
| nEq6andiEq2 | real:7200.19;sys:0.16;user:7187.80 | real:3.47;sys:0.00;user:3.46 |
| nEq6andiEq1 | real:7200.17;sys:0.10;user:7187.82 | real:3.22;sys:0.01;user:3.20 |
| nEq19andiEq17 | real:1009.92;sys:0.05;user:1008.10 | real:170.42;sys:0.00;user:170.12 |
| nEq18andiEq7 | real:2199.38;sys:0.15;user:2195.34 | real:117.77;sys:0.01;user:117.57 |
| nEq18andiEq6 | real:2349.90;sys:0.18;user:2345.60 | real:122.19;sys:0.00;user:121.97 |
| nEq18andiEq5 | real:2978.18;sys:0.19;user:2972.84 | real:113.66;sys:0.01;user:113.47 |
| nEq18andiEq4 | real:3418.87;sys:0.23;user:3412.82 | real:105.13;sys:0.01;user:104.95 |
| nEq18andiEq3 | real:3682.78;sys:0.28;user:3676.17 | real:100.28;sys:0.00;user:100.11 |
| nEq18andiEq2 | real:4015.55;sys:0.28;user:4008.40 | real:106.27;sys:0.01;user:106.08 |
| nEq10andiEq9 | real:7200.18;sys:0.11;user:7187.83 | real:19.95;sys:0.00;user:19.90 |
| nEq10andiEq8 | real:7200.19;sys:0.17;user:7187.77 | real:18.67;sys:0.01;user:18.63 |
| nEq10andiEq7 | real:7200.22;sys:0.18;user:7187.76 | real:16.57;sys:0.00;user:16.53 |
| nEq10andiEq6 | real:7200.16;sys:0.15;user:7187.82 | real:17.17;sys:0.01;user:17.13 |
| nEq10andiEq5 | real:7200.25;sys:0.19;user:7187.69 | real:16.54;sys:0.00;user:16.51 |
| nEq10andiEq4 | real:7200.27;sys:0.19;user:7187.78 | real:15.25;sys:0.00;user:15.22 |
| nEq10andiEq3 | real:7200.33;sys:0.22;user:7187.69 | real:14.62;sys:0.00;user:14.59 |
| nEq10andiEq2 | real:7200.30;sys:0.22;user:7187.73 | real:13.58;sys:0.00;user:13.55 |
| nEq10andiEq1 | real:117.70;sys:0.31;user:117.03 | real:12.84;sys:0.00;user:12.82 |
| nEq18andiEq8 | real:2146.80;sys:0.15;user:2142.90 | real:126.75;sys:0.00;user:126.53 |
| nEq17andiEq14 | real:620.19;sys:0.08;user:618.89 | real:113.76;sys:0.01;user:113.56 |
| nEq17andiEq15 | real:432.99;sys:0.09;user:432.03 | real:112.42;sys:0.00;user:112.21 |
| nEq17andiEq16 | real:403.49;sys:0.08;user:402.59 | real:120.61;sys:0.00;user:120.41 |
| nEq17andiEq17 | real:336.66;sys:0.05;user:335.95 | real:119.43;sys:0.01;user:119.23 |
| nEq17andiEq10 | real:1095.15;sys:0.11;user:1093.02 | real:108.73;sys:0.01;user:108.51 |
| nEq17andiEq11 | real:1109.23;sys:0.10;user:1107.11 | real:112.87;sys:0.00;user:112.67 |
| nEq17andiEq12 | real:757.11;sys:0.10;user:755.58 | real:109.01;sys:0.01;user:108.81 |
| nEq17andiEq13 | real:680.37;sys:0.05;user:679.04 | real:114.63;sys:0.01;user:114.41 |
| nEq18andiEq9 | real:1906.73;sys:0.18;user:1903.15 | real:119.95;sys:0.01;user:119.74 |
| nEq3andiEq1 | real:59.02;sys:0.01;user:58.83 | real:1.42;sys:0.00;user:1.21 |
| nEq3andiEq2 | real:376.54;sys:0.02;user:375.88 | real:1.08;sys:0.00;user:0.92 |
| nEq3andiEq3 | real:173.98;sys:0.01;user:173.69 | real:1.42;sys:0.00;user:1.35 |
| nEq19andiEq18 | real:880.65;sys:0.07;user:879.06 | real:162.11;sys:0.00;user:161.83 |
| nEq19andiEq19 | real:658.87;sys:0.08;user:657.63 | real:172.04;sys:0.00;user:171.75 |
| nEq19andiEq16 | real:1190.01;sys:0.09;user:1187.79 | real:175.72;sys:0.00;user:175.41 |
| nEq19andiEq8 | real:1253.42;sys:0.10;user:1251.00 | real:144.49;sys:0.00;user:144.25 |
| nEq19andiEq14 | real:1622.32;sys:0.09;user:1619.48 | real:163.33;sys:0.01;user:163.04 |
| nEq19andiEq15 | real:1411.61;sys:0.05;user:1409.12 | real:165.60;sys:0.01;user:165.31 |
| nEq19andiEq12 | real:1889.21;sys:0.11;user:1885.86 | real:161.81;sys:0.01;user:161.52 |
| nEq19andiEq13 | real:1709.62;sys:0.13;user:1706.53 | real:156.25;sys:0.00;user:155.99 |
| nEq19andiEq10 | real:2389.69;sys:0.13;user:2385.44 | real:150.54;sys:0.02;user:150.28 |
| nEq19andiEq11 | real:2300.85;sys:0.14;user:2296.73 | real:156.71;sys:0.01;user:156.44 |
| nEq17andiEq9 | real:1421.50;sys:0.15;user:1418.69 | real:106.27;sys:0.01;user:106.07 |
| nEq2andiEq1 | real:1.11;sys:0.02;user:0.86 | real:0.85;sys:0.00;user:0.49 |
| nEq18andiEq13 | real:1221.31;sys:0.09;user:1219.06 | real:132.92;sys:0.01;user:132.69 |
| nEq9andiEq8 | real:4229.98;sys:0.34;user:4222.25 | real:12.53;sys:0.00;user:12.50 |
| nEq9andiEq9 | real:4629.84;sys:0.30;user:4621.51 | real:12.38;sys:0.00;user:12.36 |
| nEq18andiEq18 | real:509.66;sys:0.05;user:508.60 | real:141.09;sys:0.00;user:140.86 |
| nEq18andiEq12 | real:1424.82;sys:0.13;user:1422.15 | real:135.89;sys:0.00;user:135.66 |
| nEq9andiEq2 | real:4501.70;sys:0.94;user:3983.05 | real:11.27;sys:0.00;user:11.21 |
| nEq9andiEq3 | real:4139.35;sys:0.38;user:4131.78 | real:10.98;sys:0.01;user:10.95 |
| nEq9andiEq1 | real:7200.21;sys:0.70;user:7187.35 | real:9.45;sys:0.00;user:9.43 |
| nEq9andiEq6 | real:5180.79;sys:0.32;user:5171.38 | real:12.11;sys:0.00;user:12.09 |
| nEq9andiEq7 | real:4477.37;sys:0.38;user:4469.14 | real:13.42;sys:0.00;user:13.39 |
| nEq9andiEq4 | real:4919.97;sys:0.38;user:4911.07 | real:11.21;sys:0.00;user:11.19 |
| nEq9andiEq5 | real:4507.19;sys:0.35;user:4499.03 | real:12.06;sys:0.00;user:12.03 |
| nEq14andiEq3 | real:780.97;sys:0.10;user:779.43 | real:39.66;sys:0.00;user:39.59 |
| nEq14andiEq2 | real:873.07;sys:0.17;user:871.27 | real:39.85;sys:0.00;user:39.79 |
| nEq14andiEq1 | real:29.96;sys:0.13;user:29.58 | real:41.67;sys:0.00;user:41.59 |
| nEq4andiEq2 | real:6872.10;sys:0.07;user:6860.39 | real:1.44;sys:0.00;user:1.43 |
| nEq14andiEq7 | real:459.57;sys:0.17;user:458.43 | real:54.29;sys:0.00;user:54.20 |
| nEq14andiEq6 | real:545.69;sys:0.14;user:544.44 | real:49.19;sys:0.00;user:49.10 |
| nEq14andiEq5 | real:621.32;sys:0.09;user:619.99 | real:48.54;sys:0.01;user:48.44 |
| nEq14andiEq4 | real:691.08;sys:0.11;user:689.65 | real:46.35;sys:0.00;user:46.27 |
| nEq17andiEq6 | real:1805.33;sys:0.20;user:1801.86 | real:93.74;sys:0.01;user:93.57 |
| nEq17andiEq7 | real:1710.29;sys:0.15;user:1707.06 | real:96.07;sys:0.00;user:95.91 |
| nEq14andiEq9 | real:383.44;sys:0.15;user:382.47 | real:54.00;sys:0.00;user:53.90 |
| nEq14andiEq8 | real:406.32;sys:0.15;user:405.32 | real:54.91;sys:0.01;user:54.81 |
| nEq17andiEq2 | real:2318.78;sys:0.15;user:2314.54 | real:70.88;sys:0.00;user:70.77 |
| nEq17andiEq3 | real:1862.85;sys:0.18;user:1859.37 | real:77.32;sys:0.00;user:77.18 |
| nEq17andiEq1 | real:46.67;sys:0.18;user:46.29 | real:71.71;sys:0.00;user:71.59 |
| nEq15andiEq8 | real:560.27;sys:0.09;user:559.05 | real:64.55;sys:0.00;user:64.43 |
| nEq15andiEq9 | real:449.60;sys:0.07;user:448.61 | real:75.64;sys:0.00;user:75.50 |
| nEq18andiEq11 | real:1679.26;sys:0.15;user:1676.09 | real:136.80;sys:0.00;user:136.57 |
| nEq18andiEq10 | real:1778.81;sys:0.15;user:1775.51 | real:125.05;sys:0.00;user:124.84 |
| nEq18andiEq17 | real:657.31;sys:0.09;user:655.96 | real:140.01;sys:0.01;user:139.73 |
| nEq18andiEq16 | real:836.05;sys:0.08;user:834.42 | real:143.24;sys:0.00;user:143.00 |
| nEq18andiEq15 | real:937.10;sys:0.06;user:935.33 | real:143.94;sys:0.00;user:143.69 |
| nEq18andiEq14 | real:910.47;sys:0.09;user:908.64 | real:137.05;sys:0.01;user:136.81 |
| nEq15andiEq1 | real:31.73;sys:0.09;user:31.43 | real:50.83;sys:0.01;user:50.72 |
| nEq15andiEq2 | real:992.09;sys:0.13;user:990.12 | real:53.44;sys:0.01;user:53.33 |
| nEq15andiEq3 | real:1091.99;sys:0.10;user:1089.90 | real:55.25;sys:0.00;user:55.15 |
| nEq15andiEq4 | real:997.69;sys:0.10;user:995.71 | real:59.40;sys:0.00;user:59.29 |
| nEq15andiEq5 | real:875.17;sys:0.13;user:873.38 | real:58.49;sys:0.00;user:58.39 |
| nEq15andiEq6 | real:811.42;sys:0.11;user:809.78 | real:57.99;sys:0.00;user:57.89 |
| nEq15andiEq7 | real:682.26;sys:0.13;user:680.81 | real:64.63;sys:0.00;user:64.51 |
| nEq10andiEq10 | real:7200.18;sys:0.17;user:7187.81 | real:19.37;sys:0.00;user:19.33 |
| nEq19andiEq9 | real:2674.72;sys:0.19;user:2669.89 | real:153.01;sys:0.01;user:152.75 |
| nEq16andiEq1 | real:39.00;sys:0.15;user:38.61 | real:54.45;sys:0.01;user:54.35 |
| nEq16andiEq3 | real:1469.06;sys:0.13;user:1466.31 | real:62.81;sys:0.01;user:62.70 |
| nEq16andiEq2 | real:1865.70;sys:0.15;user:1862.18 | real:62.12;sys:0.00;user:62.00 |
| nEq16andiEq5 | real:1359.18;sys:0.13;user:1356.60 | real:74.96;sys:0.00;user:74.84 |
| nEq16andiEq4 | real:1400.55;sys:0.13;user:1397.92 | real:70.63;sys:0.00;user:70.52 |
| nEq16andiEq7 | real:899.67;sys:0.15;user:897.80 | real:77.42;sys:0.00;user:77.29 |
| nEq16andiEq6 | real:1303.35;sys:0.13;user:1300.83 | real:77.85;sys:0.01;user:77.71 |
| nEq16andiEq9 | real:929.57;sys:0.13;user:927.66 | real:82.92;sys:0.00;user:82.78 |
| nEq16andiEq8 | real:996.36;sys:0.10;user:994.36 | real:81.80;sys:0.00;user:81.65 |
| nEq2andiEq2 | real:1.72;sys:0.00;user:1.54 | real:0.82;sys:0.00;user:0.51 |
| nEq4andiEq3 | real:4453.46;sys:0.10;user:4445.82 | real:1.41;sys:0.00;user:1.40 |
| nEq12andiEq11 | real:7200.39;sys:0.31;user:7187.35 | real:36.09;sys:0.00;user:36.02 |
| nEq12andiEq10 | real:7200.61;sys:0.35;user:7187.38 | real:34.02;sys:0.01;user:33.95 |
| nEq12andiEq12 | real:7200.54;sys:0.23;user:7187.45 | real:34.21;sys:0.01;user:34.15 |
| nEq12andiEq9 | real:7200.56;sys:0.33;user:7187.31 | real:33.76;sys:0.01;user:33.69 |
| nEq12andiEq8 | real:7200.49;sys:0.37;user:7187.23 | real:32.15;sys:0.02;user:32.07 |
| nEq12andiEq5 | real:7200.52;sys:0.37;user:7187.29 | real:26.92;sys:0.00;user:26.87 |
| nEq12andiEq4 | real:7200.59;sys:0.36;user:7187.41 | real:27.56;sys:0.01;user:27.50 |
| nEq12andiEq7 | real:7200.56;sys:0.33;user:7187.40 | real:32.64;sys:0.01;user:32.57 |
| nEq12andiEq6 | real:7200.51;sys:0.30;user:7187.49 | real:32.29;sys:0.01;user:32.21 |
| nEq12andiEq1 | real:26.27;sys:0.08;user:25.98 | real:21.43;sys:0.00;user:21.39 |
| nEq12andiEq3 | real:7200.62;sys:0.35;user:7187.19 | real:26.41;sys:0.00;user:26.36 |
| nEq12andiEq2 | real:7200.58;sys:0.32;user:7187.33 | real:23.57;sys:0.00;user:23.52 |
| nEq4andiEq1 | real:1378.21;sys:0.13;user:1375.74 | real:1.30;sys:0.00;user:1.29 |
| nEq13andiEq8 | real:7200.20;sys:0.21;user:7187.80 | real:45.52;sys:0.00;user:45.44 |
| nEq13andiEq9 | real:7200.21;sys:0.27;user:7187.77 | real:40.73;sys:0.00;user:40.66 |
| nEq13andiEq2 | real:7200.35;sys:0.27;user:7187.60 | real:32.92;sys:0.01;user:32.85 |
| nEq13andiEq3 | real:7200.38;sys:0.23;user:7187.63 | real:32.70;sys:0.00;user:32.64 |
| nEq13andiEq1 | real:33.21;sys:0.17;user:32.80 | real:26.69;sys:0.00;user:26.64 |
| nEq13andiEq6 | real:7200.21;sys:0.23;user:7187.73 | real:39.39;sys:0.01;user:39.31 |
| nEq13andiEq7 | real:7200.17;sys:0.24;user:7187.78 | real:42.32;sys:0.01;user:42.23 |
| nEq13andiEq4 | real:7200.30;sys:0.26;user:7187.65 | real:38.21;sys:0.00;user:38.11 |
| nEq13andiEq5 | real:7200.35;sys:0.23;user:7187.66 | real:38.64;sys:0.01;user:38.57 |
| nEq18andiEq1 | real:64.71;sys:0.27;user:64.17 | real:90.46;sys:0.00;user:90.31 |
| nEq4andiEq4 | real:1992.55;sys:0.03;user:1989.18 | real:1.86;sys:0.00;user:1.86 |
| nEq14andiEq14 | real:92.12;sys:0.07;user:91.73 | real:61.11;sys:0.00;user:61.01 |
| nEq14andiEq13 | real:81.63;sys:0.09;user:81.24 | real:59.29;sys:0.00;user:59.19 |
| nEq14andiEq12 | real:154.21;sys:0.09;user:153.70 | real:58.67;sys:0.00;user:58.57 |
| nEq14andiEq11 | real:214.46;sys:0.08;user:213.87 | real:58.64;sys:0.00;user:58.53 |
| nEq14andiEq10 | real:265.19;sys:0.09;user:264.50 | real:59.01;sys:0.00;user:58.91 |
| nEq19andiEq4 | real:2282.74;sys:0.19;user:2278.53 | real:127.59;sys:0.02;user:127.36 |
| nEq19andiEq5 | real:2040.20;sys:0.17;user:2036.47 | real:131.15;sys:0.00;user:130.93 |
| nEq19andiEq6 | real:1880.00;sys:0.14;user:1876.53 | real:133.51;sys:0.00;user:133.29 |
| nEq19andiEq7 | real:1617.48;sys:0.15;user:1614.45 | real:137.12;sys:0.01;user:136.88 |
| nEq19andiEq1 | real:83.73;sys:0.25;user:83.19 | real:102.73;sys:0.01;user:102.55 |
| nEq19andiEq2 | real:2584.59;sys:0.21;user:2579.85 | real:117.00;sys:0.00;user:116.81 |
| nEq19andiEq3 | real:2367.14;sys:0.18;user:2362.82 | real:121.10;sys:0.00;user:120.89 |
| nEq7andiEq4 | real:7200.14;sys:0.18;user:7187.80 | real:6.14;sys:0.01;user:6.12 |
| nEq7andiEq5 | real:7200.15;sys:0.15;user:7187.87 | real:6.22;sys:0.00;user:6.20 |
| nEq7andiEq6 | real:7200.23;sys:0.16;user:7187.85 | real:6.30;sys:0.00;user:6.28 |
| nEq7andiEq7 | real:7200.16;sys:0.16;user:7187.86 | real:6.64;sys:0.00;user:6.63 |
| nEq7andiEq1 | real:7200.07;sys:0.17;user:7187.79 | real:4.73;sys:0.00;user:4.72 |
| nEq7andiEq2 | real:7200.14;sys:0.21;user:7187.80 | real:5.19;sys:0.00;user:5.18 |
| nEq7andiEq3 | real:7200.13;sys:0.27;user:7187.68 | real:12.02;sys:0.00;user:11.99 |
| nEq17andiEq8 | real:1417.23;sys:0.12;user:1414.51 | real:100.26;sys:0.00;user:100.08 |
| nEq5andiEq4 | real:7200.13;sys:0.08;user:7187.89 | real:2.44;sys:0.00;user:2.43 |
| nEq5andiEq5 | real:7200.13;sys:0.08;user:7187.84 | real:2.47;sys:0.00;user:2.46 |
| nEq5andiEq2 | real:7200.20;sys:0.11;user:7187.87 | real:2.16;sys:0.01;user:2.14 |
| nEq5andiEq3 | real:7200.14;sys:0.15;user:7187.82 | real:2.57;sys:0.00;user:2.56 |
| nEq5andiEq1 | real:7200.17;sys:0.06;user:7187.94 | real:3.02;sys:0.01;user:3.00 |
| nEq17andiEq4 | real:1893.58;sys:0.18;user:1889.98 | real:86.71;sys:0.00;user:86.55 |
| nEq17andiEq5 | real:1958.75;sys:0.20;user:1955.09 | real:90.88;sys:0.00;user:90.73 |
| nEq13andiEq10 | real:7200.17;sys:0.21;user:7187.82 | real:41.28;sys:0.01;user:41.19 |
| nEq13andiEq11 | real:7200.14;sys:0.19;user:7187.76 | real:40.89;sys:0.00;user:40.81 |
| nEq13andiEq12 | real:7200.18;sys:0.27;user:7187.82 | real:47.44;sys:0.00;user:47.34 |
| nEq13andiEq13 | real:7200.23;sys:0.26;user:7187.81 | real:48.52;sys:0.00;user:48.43 |
| nEq15andiEq12 | real:327.41;sys:0.06;user:326.64 | real:72.00;sys:0.00;user:71.87 |
| nEq15andiEq13 | real:251.84;sys:0.06;user:251.20 | real:72.49;sys:0.00;user:72.36 |
| nEq15andiEq10 | real:321.33;sys:0.10;user:320.54 | real:70.98;sys:0.01;user:70.85 |
| nEq15andiEq11 | real:348.25;sys:0.08;user:347.42 | real:72.00;sys:0.01;user:71.87 |
| nEq8andiEq8 | real:7200.23;sys:0.25;user:7187.75 | real:9.95;sys:0.00;user:9.93 |
| nEq15andiEq14 | real:228.73;sys:0.07;user:228.16 | real:79.25;sys:0.01;user:79.10 |
| nEq15andiEq15 | real:171.61;sys:0.09;user:171.10 | real:70.97;sys:0.01;user:70.84 |
| nEq8andiEq5 | real:7200.24;sys:0.21;user:7187.81 | real:10.28;sys:0.01;user:10.26 |
| nEq8andiEq4 | real:7200.33;sys:0.28;user:7187.68 | real:9.60;sys:0.00;user:9.58 |
| nEq8andiEq7 | real:7200.32;sys:0.26;user:7187.79 | real:9.18;sys:0.00;user:9.16 |
| nEq8andiEq6 | real:7200.19;sys:0.28;user:7187.68 | real:10.29;sys:0.00;user:10.27 |
| nEq8andiEq1 | real:7200.23;sys:0.35;user:7187.68 | real:6.81;sys:0.00;user:6.79 |
| nEq8andiEq3 | real:7200.25;sys:0.37;user:7187.66 | real:7.94;sys:0.00;user:7.92 |
| nEq8andiEq2 | real:7200.17;sys:0.41;user:7187.58 | real:6.71;sys:0.00;user:6.69 |
| nEq11andiEq4 | real:7200.21;sys:0.15;user:7187.73 | real:22.15;sys:0.01;user:22.10 |
| nEq11andiEq5 | real:7200.27;sys:0.21;user:7187.68 | real:24.52;sys:0.00;user:24.47 |
| nEq11andiEq6 | real:7200.33;sys:0.20;user:7187.82 | real:21.39;sys:0.00;user:21.36 |
| nEq11andiEq7 | real:7200.52;sys:0.28;user:7187.52 | real:24.74;sys:0.01;user:24.68 |
| nEq11andiEq1 | real:40.44;sys:0.17;user:40.08 | real:19.02;sys:0.00;user:18.98 |
| nEq11andiEq2 | real:7200.23;sys:0.18;user:7187.77 | real:19.19;sys:0.01;user:19.14 |
| nEq11andiEq3 | real:7200.19;sys:0.16;user:7187.73 | real:20.41;sys:0.01;user:20.36 |
| nEq11andiEq8 | real:7200.52;sys:0.22;user:7187.57 | real:22.49;sys:0.00;user:22.45 |
| nEq11andiEq9 | real:7200.41;sys:0.25;user:7187.34 | real:26.98;sys:0.00;user:26.91 |
| nEq11andiEq10 | real:7200.55;sys:0.33;user:7187.39 | real:25.35;sys:0.00;user:25.30 |
| nEq11andiEq11 | real:7200.52;sys:0.27;user:7187.31 | real:26.86;sys:0.01;user:26.80 |
| nEq16andiEq11 | real:514.24;sys:0.09;user:513.11 | real:85.65;sys:0.01;user:85.50 |
| nEq16andiEq10 | real:724.15;sys:0.13;user:722.65 | real:90.82;sys:0.00;user:90.66 |
| nEq16andiEq13 | real:465.83;sys:0.07;user:464.83 | real:85.91;sys:0.00;user:85.77 |
| nEq16andiEq12 | real:527.19;sys:0.09;user:526.06 | real:87.79;sys:0.00;user:87.64 |
| nEq16andiEq15 | real:343.00;sys:0.06;user:342.18 | real:95.25;sys:0.00;user:95.09 |
| nEq16andiEq14 | real:430.85;sys:0.10;user:429.86 | real:96.46;sys:0.00;user:96.30 |
| nEq16andiEq16 | real:245.38;sys:0.08;user:244.73 | real:94.67;sys:0.00;user:94.51 |