nuxmv 6s201j18 -1 -1 28.45 sec 120.18 sec 2380.40 mb uns nuxmv 6s219j06 0 -1 900.03 sec 4488.01 sec 4086.50 mb tim nuxmv cucab13 0 -1 900.03 sec 4493.96 sec 1109.00 mb tim nuxmv arbixs16p03 0 -1 900.02 sec 4497.45 sec 1153.70 mb tim nuxmv lmcs06brp2 -1 -1 1.70 sec 4.78 sec 127.30 mb uns nuxmv cutarb32 0 -1 900.06 sec 4495.42 sec 639.30 mb tim nuxmv 6s217j0 -1 -1 5.45 sec 24.64 sec 379.80 mb uns nuxmv cuabq4f -1 -1 3.10 sec 10.75 sec 143.80 mb uns nuxmv cutarb8 -1 -1 17.67 sec 85.69 sec 177.80 mb uns nuxmv 6s218j0002 0 -1 900.01 sec 4484.45 sec 4615.20 mb tim nuxmv 6s201j40 -1 -1 28.42 sec 119.32 sec 2370.00 mb uns nuxmv cusarb32 -1 -1 2.26 sec 7.07 sec 145.20 mb uns nuxmv lmcs06prodcell3 -1 -1 115.17 sec 570.36 sec 782.60 mb uns nuxmv lmcs06dme4p3 1 -1 177.91 sec 885.63 sec 401.00 mb sat nuxmv 6s219j16 0 -1 900.08 sec 4488.49 sec 4085.70 mb tim nuxmv 6s204j57 0 -1 785.50 sec 3918.46 sec 15155.20 mb mem nuxmv 6s202j01 1 -1 28.32 sec 120.92 sec 2361.80 mb sat nuxmv lmcs06dme6p3 0 -1 900.04 sec 4497.45 sec 1214.50 mb tim nuxmv cuasq11 1 -1 35.89 sec 176.69 sec 152.30 mb sat nuxmv 6s204j30 0 -1 900.09 sec 4491.98 sec 7675.10 mb tim nuxmv lmcs06dme4p4 1 -1 1.53 sec 1.78 sec 103.80 mb sat nuxmv 6s208j3 1 -1 13.84 sec 66.40 sec 349.50 mb sat nuxmv lmcs06abp4p4 -1 -1 1.72 sec 4.78 sec 124.20 mb uns nuxmv 6s205j34 1 -1 28.73 sec 121.38 sec 2363.90 mb sat nuxmv 6s210j090 0 -1 900.03 sec 4496.64 sec 1221.20 mb tim nuxmv cusarb16 -1 -1 1.93 sec 2.89 sec 109.70 mb uns nuxmv 6s364j00000 0 -1 900.07 sec 4442.32 sec 6119.90 mb tim nuxmv 6s210j093 0 -1 900.02 sec 4494.86 sec 1139.20 mb tim nuxmv 6s208j1 1 -1 6.68 sec 27.41 sec 294.70 mb sat nuxmv 6s200j0012 0 -1 900.02 sec 4477.29 sec 4819.30 mb tim nuxmv 6s364j00001 -1 -1 102.37 sec 456.70 sec 6153.20 mb uns nuxmv cuads13 1 -1 30.19 sec 148.77 sec 192.80 mb sat nuxmv 6s204j21 0 -1 900.09 sec 4491.54 sec 7139.00 mb tim nuxmv lmcs06dme5p0 0 -1 900.04 sec 4497.44 sec 741.40 mb tim nuxmv lmcs06dme6p0 0 -1 900.03 sec 4494.43 sec 1364.30 mb tim nuxmv lmcs06dme2p0 1 -1 4.41 sec 20.79 sec 147.90 mb sat nuxmv cucnt3 -1 -1 1.62 sec 0.44 sec 17.80 mb uns nuxmv 6s203j30 1 -1 28.73 sec 121.18 sec 2370.50 mb sat nuxmv lmcs06dme2p1 1 -1 5.97 sec 25.45 sec 145.80 mb sat nuxmv 6s210j065 0 -1 900.01 sec 4496.67 sec 1270.50 mb tim nuxmv 6s221j00 1 -1 88.62 sec 430.27 sec 1494.00 mb sat nuxmv lmcs06mutex0 -1 -1 0.81 sec 1.26 sec 97.10 mb uns nuxmv cuabq2f -1 -1 1.15 sec 2.78 sec 114.30 mb uns nuxmv lmcs06abp4p0 1 -1 2.25 sec 5.78 sec 127.80 mb sat nuxmv 6s214j1 1 -1 5.77 sec 26.62 sec 251.00 mb sat nuxmv culock -1 -1 17.09 sec 82.09 sec 124.80 mb uns nuxmv arbixs64p03 0 -1 900.08 sec 4497.26 sec 1089.80 mb tim nuxmv arbixs16bugp03 1 -1 1.64 sec 2.79 sec 131.70 mb sat nuxmv 6s206j000 -1 -1 3.62 sec 11.59 sec 670.20 mb uns nuxmv lmcs06prodcell0 1 -1 3.54 sec 12.80 sec 191.10 mb sat nuxmv 6s203j20 1 -1 29.14 sec 122.50 sec 2393.90 mb sat nuxmv lmcs06dme3p4 1 -1 0.49 sec 0.78 sec 100.00 mb sat nuxmv 6s201j20 -1 -1 28.64 sec 121.48 sec 2376.30 mb uns nuxmv 6s204j39 0 -1 900.09 sec 4489.10 sec 7649.30 mb tim nuxmv cugbak -1 -1 651.68 sec 3254.12 sec 647.70 mb uns nuxmv lmcs06abp4p1 -1 -1 3.59 sec 14.78 sec 136.00 mb uns nuxmv arbi0s64bugp03 1 -1 407.98 sec 2037.43 sec 907.90 mb sat nuxmv 6s212 -1 -1 4.93 sec 21.85 sec 260.40 mb uns nuxmv lmcs06short0 -1 -1 1.38 sec 0.71 sec 94.20 mb uns nuxmv arbixs32p03 0 -1 900.10 sec 4496.35 sec 907.00 mb tim nuxmv 6s213j002 0 -1 900.08 sec 4493.13 sec 5487.40 mb tim nuxmv cutq2 1 -1 1.67 sec 5.70 sec 124.80 mb sat nuxmv 6s200j0016 0 -1 900.05 sec 4478.21 sec 4516.30 mb tim nuxmv 6s205j39 0 -1 900.02 sec 4477.37 sec 2408.40 mb tim nuxmv 6s202j79 0 -1 900.08 sec 4476.44 sec 5075.00 mb tim nuxmv lmcs06prodcell4 -1 -1 118.51 sec 589.18 sec 786.70 mb uns nuxmv lmcs06prodcell8 1 -1 3.70 sec 13.28 sec 194.30 mb sat nuxmv lmcs06dme3p1 1 -1 1.11 sec 2.60 sec 100.30 mb sat nuxmv cunim1 -1 -1 1.37 sec 5.30 sec 132.10 mb uns nuxmv 6s208j4 1 -1 8.21 sec 38.36 sec 301.80 mb sat nuxmv 6s214j2 1 -1 4.73 sec 22.13 sec 255.20 mb sat nuxmv lmcs06prodcell7 1 -1 3.61 sec 12.77 sec 182.90 mb sat nuxmv lmcs06bc57sp1 -1 -1 3.72 sec 15.72 sec 191.20 mb uns nuxmv cujc128f 1 -1 33.53 sec 166.15 sec 119.00 mb sat nuxmv lmcs06dme4p0 1 -1 138.59 sec 688.67 sec 468.50 mb sat nuxmv 6s200j0005 0 -1 900.10 sec 4480.86 sec 4744.40 mb tim nuxmv lmcs06prodcell9 1 -1 4.74 sec 18.28 sec 217.30 mb sat nuxmv cuhanoi4 1 -1 0.99 sec 1.06 sec 94.90 mb sat nuxmv 6s218j0015 0 -1 900.04 sec 4484.22 sec 4431.00 mb tim nuxmv lmcs06dme2p2 1 -1 0.95 sec 0.32 sec 96.90 mb sat nuxmv cuom1 -1 -1 1.75 sec 6.29 sec 123.30 mb uns nuxmv cugcd -1 -1 1.74 sec 6.55 sec 144.50 mb uns nuxmv 6s201j19 0 -1 241.53 sec 1184.91 sec 15048.70 mb mem nuxmv cuasq12 1 -1 33.78 sec 166.68 sec 148.20 mb sat nuxmv arbi0s32bugp03 1 -1 14.51 sec 67.55 sec 286.30 mb sat nuxmv lmcs06prodcell5 -1 -1 559.73 sec 2792.44 sec 1432.90 mb uns nuxmv arbixs32bugp03 1 -1 33.04 sec 163.21 sec 324.30 mb sat nuxmv cujc128 -1 -1 39.10 sec 191.65 sec 185.10 mb uns nuxmv 6s208j2 1 -1 10.05 sec 44.37 sec 312.30 mb sat nuxmv lmcs06dme4p2 0 -1 900.03 sec 4493.95 sec 1361.80 mb tim nuxmv lmcs06dme5p4 1 -1 1.08 sec 2.70 sec 105.00 mb sat nuxmv lmcs06dme5p1 1 -1 2.30 sec 6.30 sec 104.90 mb sat nuxmv lmcs06dme3p2 0 -1 900.07 sec 4497.47 sec 671.90 mb tim nuxmv cuom2 -1 -1 8.84 sec 41.28 sec 217.10 mb uns nuxmv cuads12 1 -1 24.31 sec 117.78 sec 194.90 mb sat nuxmv cubak 1 -1 45.27 sec 221.26 sec 212.40 mb sat nuxmv cuhanoi10 1 -1 5.58 sec 26.79 sec 149.90 mb sat nuxmv lmcs06dme5p2 0 -1 900.02 sec 4497.44 sec 912.60 mb tim nuxmv cunim3 1 -1 1.83 sec 5.27 sec 116.80 mb sat nuxmv 6s205j00 1 -1 28.61 sec 120.88 sec 2366.90 mb sat nuxmv 6s203j57 1 -1 28.95 sec 120.84 sec 2368.30 mb sat nuxmv lmcs06srg5p2 1 -1 1.17 sec 2.06 sec 95.00 mb sat nuxmv cutq1 0 -1 900.01 sec 4494.43 sec 510.20 mb tim nuxmv cupts15 1 -1 19.07 sec 93.27 sec 190.10 mb sat nuxmv lmcs06short1 1 -1 0.97 sec 0.64 sec 86.20 mb sat nuxmv 6s208j0 0 -1 900.03 sec 4497.05 sec 1380.50 mb tim nuxmv cuabq2mf -1 -1 1.13 sec 1.31 sec 104.00 mb uns nuxmv 6s200j0011 0 -1 900.08 sec 4474.65 sec 4691.60 mb tim nuxmv lmcs06brp4 1 -1 0.95 sec 2.27 sec 99.60 mb sat nuxmv 6s210j006 0 -1 900.09 sec 4497.81 sec 1408.30 mb tim nuxmv lmcs06abp4p3 1 -1 2.87 sec 9.81 sec 134.20 mb sat nuxmv cuabq8f -1 -1 266.25 sec 1326.49 sec 598.30 mb uns nuxmv 6s203j63 1 -1 28.75 sec 123.07 sec 2373.70 mb sat nuxmv cuhanoi7 1 -1 3.03 sec 10.16 sec 115.70 mb sat nuxmv lmcs06bc57sp0 1 -1 83.76 sec 415.54 sec 254.30 mb sat nuxmv lmcs06counter0 -1 -1 0.95 sec 1.07 sec 95.30 mb uns nuxmv 6s364j00003 -1 -1 103.73 sec 461.31 sec 6193.00 mb uns nuxmv 6s200j0000 0 -1 900.09 sec 4479.66 sec 4638.10 mb tim nuxmv arbi0s08bugp03 1 -1 1.48 sec 1.55 sec 96.40 mb sat nuxmv 6s204j12 0 -1 900.01 sec 4491.46 sec 7525.80 mb tim nuxmv 6s219j11 0 -1 900.05 sec 4488.49 sec 3625.30 mb tim nuxmv 6s218j0003 0 -1 900.05 sec 4481.84 sec 4113.10 mb tim nuxmv cutarb4 -1 -1 3.24 sec 10.49 sec 125.20 mb uns nuxmv arbi0s64p03 0 -1 900.10 sec 4496.76 sec 1274.80 mb tim nuxmv cunim2 -1 -1 10.43 sec 46.28 sec 173.40 mb uns nuxmv arbixs08bugp03 1 -1 0.52 sec 0.34 sec 95.50 mb sat nuxmv cucnt128 -1 -1 10.92 sec 51.28 sec 131.20 mb uns nuxmv lmcs06dme5p3 0 -1 900.06 sec 4496.85 sec 804.40 mb tim nuxmv 6s203j04 1 -1 26.66 sec 111.27 sec 2313.20 mb sat nuxmv arbi0s16p03 0 -1 900.03 sec 4494.95 sec 1010.90 mb tim nuxmv lmcs06prodcell1 1 -1 4.89 sec 18.77 sec 220.00 mb sat nuxmv lmcs06brp3 1 -1 26.34 sec 128.78 sec 173.10 mb sat nuxmv lmcs06dme6p4 1 -1 1.67 sec 3.28 sec 106.40 mb sat nuxmv 6s203j17 1 -1 28.99 sec 121.25 sec 2368.20 mb sat nuxmv cutarb16 -1 -1 108.57 sec 540.17 sec 262.20 mb uns nuxmv lmcs06srg5p1 1 -1 1.37 sec 0.64 sec 94.90 mb sat nuxmv lmcs06ring1 1 -1 0.86 sec 0.90 sec 93.10 mb sat nuxmv cupts14 1 -1 47.11 sec 233.16 sec 191.00 mb sat nuxmv cuads11 1 -1 34.42 sec 165.80 sec 173.00 mb sat nuxmv 6s210j052 0 -1 900.04 sec 4497.81 sec 1129.90 mb tim nuxmv lmcs06ring0 -1 -1 0.93 sec 2.04 sec 97.70 mb uns nuxmv 6s213j001 -1 -1 47.68 sec 235.47 sec 1552.80 mb uns nuxmv 6s204j63 0 -1 900.03 sec 4491.96 sec 7426.90 mb tim nuxmv lmcs06prodcell2 -1 -1 82.79 sec 412.69 sec 681.60 mb uns nuxmv cuffl09 -1 -1 25.31 sec 124.26 sec 257.40 mb uns nuxmv lmcs06brp0 -1 -1 1.47 sec 2.78 sec 117.60 mb uns nuxmv 6s205j57 1 -1 29.05 sec 122.39 sec 2358.20 mb sat nuxmv 6s214j3 0 -1 900.09 sec 4494.29 sec 1033.60 mb tim nuxmv cucab10 1 -1 1.79 sec 5.64 sec 130.30 mb sat nuxmv cuasq10 1 -1 53.48 sec 262.82 sec 165.20 mb sat nuxmv cucnt10 -1 -1 0.72 sec 0.57 sec 91.30 mb uns nuxmv cufq2 1 -1 74.73 sec 371.71 sec 356.20 mb sat nuxmv 6s213j000 -1 -1 34.83 sec 171.88 sec 1379.80 mb uns nuxmv cuom3 -1 -1 2.22 sec 5.80 sec 127.90 mb uns nuxmv cuffl10 -1 -1 26.41 sec 128.64 sec 501.30 mb uns nuxmv lmcs06srg5p0 -1 -1 1.42 sec 3.55 sec 108.10 mb uns nuxmv 6s220 -1 -1 67.46 sec 330.71 sec 3102.10 mb uns nuxmv 6s218j0011 0 -1 900.03 sec 4484.44 sec 4484.50 mb tim nuxmv lmcs06dme6p2 0 -1 900.07 sec 4494.43 sec 956.90 mb tim nuxmv lmcs06dme4p1 1 -1 1.79 sec 3.78 sec 103.80 mb sat nuxmv 6s202j71 1 -1 28.85 sec 122.70 sec 2364.60 mb sat nuxmv lmcs06brp1 1 -1 0.53 sec 0.77 sec 99.30 mb sat nuxmv cupts16 1 -1 14.70 sec 70.09 sec 176.30 mb sat nuxmv 6s307j00 1 -1 4.39 sec 18.86 sec 335.90 mb sat nuxmv 6s205j30 1 -1 28.14 sec 120.90 sec 2363.80 mb sat nuxmv arbi0s08p03 -1 -1 340.63 sec 1699.94 sec 227.70 mb uns nuxmv 6s203j14 1 -1 29.05 sec 122.60 sec 2371.50 mb sat nuxmv lmcs06mutex1 1 -1 0.67 sec 0.88 sec 92.30 mb sat nuxmv lmcs06dme3p0 1 -1 103.79 sec 514.71 sec 389.30 mb sat nuxmv cucab11 -1 -1 29.95 sec 143.75 sec 419.00 mb uns nuxmv 6s219j05 0 -1 900.01 sec 4485.98 sec 4184.60 mb tim nuxmv 6s219j00 0 -1 900.03 sec 4486.71 sec 4155.90 mb tim nuxmv 6s200j0001 0 -1 900.04 sec 4480.33 sec 5448.90 mb tim nuxmv cujc32 -1 -1 1.64 sec 5.25 sec 116.70 mb uns nuxmv 6s215j0 0 -1 900.01 sec 4495.18 sec 868.00 mb tim nuxmv cutf1 -1 -1 464.74 sec 2317.35 sec 365.60 mb uns nuxmv cucnt32 -1 -1 1.36 sec 3.05 sec 102.50 mb uns nuxmv cuabq8mf -1 -1 10.03 sec 44.20 sec 180.30 mb uns nuxmv arbi0s32p03 0 -1 900.08 sec 4497.89 sec 961.40 mb tim nuxmv 6s214j0 1 -1 5.04 sec 23.13 sec 242.00 mb sat nuxmv 6s202j04 1 -1 28.27 sec 120.67 sec 2368.90 mb sat nuxmv lmcs06dme6p1 1 -1 2.74 sec 8.78 sec 106.90 mb sat nuxmv cucab12 -1 -1 34.25 sec 169.09 sec 449.00 mb uns nuxmv arbi0s16bugp03 1 -1 0.78 sec 2.80 sec 131.20 mb sat nuxmv lmcs06counter1 1 -1 0.81 sec 0.41 sec 18.20 mb sat nuxmv 6s216j0 0 -1 900.01 sec 4497.76 sec 848.50 mb tim nuxmv cucab09 0 -1 900.03 sec 4496.44 sec 1543.10 mb tim nuxmv 6s205j23 1 -1 29.43 sec 122.02 sec 2361.40 mb sat nuxmv 6s210j039 0 -1 900.02 sec 4494.81 sec 1775.50 mb tim nuxmv lmcs06bc57sp6 1 -1 102.27 sec 509.68 sec 452.70 mb sat nuxmv cutf2 1 -1 1.03 sec 1.23 sec 97.40 mb sat nuxmv 6s218j0019 0 -1 900.01 sec 4482.97 sec 4688.50 mb tim nuxmv cucnt12 -1 -1 1.61 sec 0.57 sec 91.70 mb uns nuxmv 6s201j36 -1 -1 25.34 sec 102.61 sec 2321.90 mb uns nuxmv 6s211 1 -1 30.53 sec 145.06 sec 2279.80 mb sat nuxmv arbixs08p03 0 -1 900.01 sec 4492.68 sec 321.00 mb tim nuxmv lmcs06bc57sp2 -1 -1 9.41 sec 44.09 sec 200.20 mb uns nuxmv 6s201j38 -1 -1 28.59 sec 119.92 sec 2354.80 mb uns nuxmv cuffl11 -1 -1 2.42 sec 8.27 sec 111.00 mb uns nuxmv cujc12 -1 -1 1.10 sec 1.57 sec 97.50 mb uns nuxmv lmcs06bc57sp4 1 -1 150.73 sec 749.14 sec 261.90 mb sat nuxmv 6s202j30 1 -1 29.15 sec 121.68 sec 2364.90 mb sat nuxmv 6s200j0010 0 -1 900.08 sec 4475.56 sec 4816.30 mb tim nuxmv cuabq4mf -1 -1 1.16 sec 3.28 sec 119.10 mb uns nuxmv 6s210j116 0 -1 900.06 sec 4498.25 sec 1088.20 mb tim nuxmv lmcs06dme3p3 1 -1 111.26 sec 554.12 sec 392.30 mb sat nuxmv 6s205j21 1 -1 29.85 sec 121.96 sec 2373.70 mb sat nuxmv cufq1 0 -1 900.02 sec 4497.84 sec 502.00 mb tim nuxmv 6s364j00005 -1 -1 93.54 sec 414.75 sec 7270.10 mb uns nuxmv 6s364j00002 -1 -1 101.60 sec 454.90 sec 6353.30 mb uns nuxmv 6s202j40 1 -1 25.71 sec 107.22 sec 2298.70 mb sat nuxmv 6s202j17 1 -1 29.13 sec 121.07 sec 2361.50 mb sat nuxmv lmcs06abp4p2 -1 -1 4.58 sec 18.29 sec 139.40 mb uns nuxmv lmcs06bc57sp5 1 -1 81.76 sec 403.21 sec 226.40 mb sat nuxmv 6s201j34 -1 -1 28.92 sec 120.43 sec 2381.40 mb uns nuxmv arbixs64bugp03 0 -1 900.07 sec 4498.03 sec 1231.80 mb tim nuxmv lmcs06bc57sp3 -1 -1 5.56 sec 26.29 sec 216.00 mb uns nuxmv lmcs06prodcell6 0 -1 900.03 sec 4496.40 sec 1752.10 mb tim nuxmv cuffl12 1 -1 2.09 sec 6.79 sec 110.70 mb sat nuxmv 6s204j20 0 -1 900.08 sec 4487.97 sec 6975.80 mb tim nuxmv 6s208j5 1 -1 5.93 sec 23.38 sec 292.80 mb sat nuxmv 6s217j1 -1 -1 4.66 sec 19.13 sec 316.00 mb uns nuxmv cutf3 -1 -1 1.20 sec 4.27 sec 120.40 mb uns tip 6s201j18 0 -1 900.12 sec 899.62 sec 245.80 mb tim tip 6s219j06 0 10 900.11 sec 899.15 sec 109.40 mb tim tip cucab13 0 4 900.04 sec 899.33 sec 38.60 mb tim tip arbixs16p03 0 4 900.06 sec 899.43 sec 57.80 mb tim tip lmcs06brp2 -1 4 0.60 sec 0.18 sec 3.00 mb uns tip cutarb32 0 4 900.07 sec 899.61 sec 27.50 mb tim tip 6s217j0 -1 8 11.69 sec 11.38 sec 8.60 mb uns tip cuabq4f -1 4 3.17 sec 2.69 sec 3.00 mb uns tip cutarb8 -1 4 6.94 sec 6.89 sec 4.20 mb uns tip 6s218j0002 0 10 900.05 sec 899.51 sec 94.60 mb tim tip 6s201j40 0 -1 900.09 sec 899.62 sec 245.30 mb tim tip cusarb32 -1 -1 0.76 sec 0.00 sec 0.00 mb uns tip lmcs06prodcell3 -1 4 116.19 sec 115.86 sec 16.70 mb uns tip lmcs06dme4p3 0 4 900.02 sec 899.52 sec 33.50 mb tim tip 6s219j16 0 10 900.06 sec 899.39 sec 87.10 mb tim tip 6s204j57 0 -1 900.03 sec 899.21 sec 49.30 mb tim tip 6s202j01 0 -1 900.05 sec 899.52 sec 256.00 mb tim tip lmcs06dme6p3 0 4 900.01 sec 899.73 sec 32.80 mb tim tip cuasq11 0 4 900.08 sec 899.32 sec 19.10 mb tim tip 6s204j30 0 -1 900.05 sec 899.50 sec 49.50 mb tim tip lmcs06dme4p4 1 4 0.37 sec 0.20 sec 1.20 mb sat tip 6s208j3 0 12 900.07 sec 899.62 sec 28.80 mb tim tip lmcs06abp4p4 -1 4 0.95 sec 0.59 sec 2.60 mb uns tip 6s205j34 0 -1 900.08 sec 899.50 sec 255.50 mb tim tip 6s210j090 -1 4 860.43 sec 859.83 sec 80.70 mb uns tip cusarb16 -1 -1 0.61 sec 0.00 sec 0.00 mb uns tip 6s364j00000 0 34 900.08 sec 898.91 sec 39.40 mb tim tip 6s210j093 0 4 900.09 sec 899.62 sec 81.50 mb tim tip 6s208j1 0 12 900.03 sec 899.54 sec 33.20 mb tim tip 6s200j0012 0 -1 900.03 sec 899.49 sec 53.50 mb tim tip 6s364j00001 -1 34 59.13 sec 58.86 sec 39.50 mb uns tip cuads13 0 4 900.08 sec 899.62 sec 36.80 mb tim tip 6s204j21 0 -1 900.07 sec 899.49 sec 49.40 mb tim tip lmcs06dme5p0 0 4 900.03 sec 899.84 sec 41.90 mb tim tip lmcs06dme6p0 0 4 900.05 sec 899.73 sec 34.40 mb tim tip lmcs06dme2p0 0 4 900.08 sec 899.22 sec 17.20 mb tim tip cucnt3 -1 9 0.30 sec 0.00 sec 0.00 mb uns tip 6s203j30 0 -1 900.07 sec 899.73 sec 255.80 mb tim tip lmcs06dme2p1 0 4 900.03 sec 899.61 sec 16.00 mb tim tip 6s210j065 0 4 900.10 sec 899.59 sec 71.40 mb tim tip 6s221j00 0 6 900.08 sec 899.51 sec 24.90 mb tim tip lmcs06mutex0 -1 5 0.55 sec 0.00 sec 0.00 mb uns tip cuabq2f -1 4 0.49 sec 0.30 sec 2.00 mb uns tip lmcs06abp4p0 0 4 900.04 sec 899.51 sec 13.10 mb tim tip 6s214j1 0 11 900.05 sec 899.53 sec 27.60 mb tim tip culock -1 4 4.86 sec 3.89 sec 2.50 mb uns tip arbixs64p03 0 4 900.03 sec 899.49 sec 42.80 mb tim tip arbixs16bugp03 0 4 900.03 sec 899.53 sec 56.40 mb tim tip 6s206j000 -1 10 0.63 sec 0.29 sec 4.00 mb uns tip lmcs06prodcell0 0 4 900.07 sec 899.74 sec 29.70 mb tim tip 6s203j20 0 -1 900.04 sec 899.44 sec 256.10 mb tim tip lmcs06dme3p4 1 4 0.50 sec 0.09 sec 1.10 mb sat tip 6s201j20 0 -1 900.06 sec 899.49 sec 245.20 mb tim tip 6s204j39 0 -1 900.09 sec 899.61 sec 49.20 mb tim tip cugbak -1 4 92.19 sec 91.67 sec 11.30 mb uns tip lmcs06abp4p1 -1 4 2.80 sec 2.49 sec 3.00 mb uns tip arbi0s64bugp03 0 4 900.09 sec 899.53 sec 37.40 mb tim tip 6s212 -1 6 8.07 sec 7.68 sec 5.80 mb uns tip lmcs06short0 -1 4 0.73 sec 0.00 sec 0.00 mb uns tip arbixs32p03 0 4 900.05 sec 899.53 sec 55.40 mb tim tip 6s213j002 -1 10 370.84 sec 370.55 sec 15.60 mb uns tip cutq2 0 4 900.06 sec 899.53 sec 8.30 mb tim tip 6s200j0016 0 -1 900.01 sec 899.44 sec 53.40 mb tim tip 6s205j39 0 -1 900.09 sec 899.41 sec 255.70 mb tim tip 6s202j79 0 -1 900.06 sec 899.73 sec 256.40 mb tim tip lmcs06prodcell4 -1 4 364.54 sec 364.03 sec 29.00 mb uns tip lmcs06prodcell8 0 4 900.02 sec 899.52 sec 22.00 mb tim tip lmcs06dme3p1 1 4 0.44 sec 0.09 sec 1.00 mb sat tip cunim1 -1 -1 0.71 sec 0.29 sec 1.30 mb uns tip 6s208j4 0 12 900.09 sec 899.50 sec 27.70 mb tim tip 6s214j2 0 11 900.02 sec 898.94 sec 29.90 mb tim tip lmcs06prodcell7 0 4 900.08 sec 899.43 sec 27.50 mb tim tip lmcs06bc57sp1 -1 4 21.32 sec 20.99 sec 5.60 mb uns tip cujc128f 1 4 19.61 sec 19.06 sec 7.10 mb sat tip lmcs06dme4p0 0 4 900.05 sec 899.14 sec 39.30 mb tim tip 6s200j0005 0 -1 900.09 sec 899.69 sec 53.50 mb tim tip lmcs06prodcell9 0 4 900.03 sec 899.41 sec 31.30 mb tim tip cuhanoi4 0 4 900.06 sec 899.62 sec 5.20 mb tim tip 6s218j0015 0 10 900.09 sec 899.57 sec 111.30 mb tim tip lmcs06dme2p2 1 4 0.34 sec 0.00 sec 0.00 mb sat tip cuom1 -1 -1 0.94 sec 0.50 sec 1.40 mb uns tip cugcd -1 4 1.39 sec 1.08 sec 3.20 mb uns tip 6s201j19 0 -1 900.03 sec 899.52 sec 245.90 mb tim tip cuasq12 0 4 900.07 sec 899.33 sec 22.50 mb tim tip arbi0s32bugp03 0 4 900.05 sec 899.83 sec 46.80 mb tim tip lmcs06prodcell5 -1 4 313.14 sec 312.74 sec 27.30 mb uns tip arbixs32bugp03 0 4 900.10 sec 899.63 sec 58.60 mb tim tip cujc128 -1 -1 21.63 sec 21.06 sec 2.70 mb uns tip 6s208j2 0 12 900.09 sec 899.52 sec 31.90 mb tim tip lmcs06dme4p2 0 4 900.09 sec 899.32 sec 34.50 mb tim tip lmcs06dme5p4 1 4 0.70 sec 0.30 sec 1.30 mb sat tip lmcs06dme5p1 1 4 0.68 sec 0.30 sec 1.40 mb sat tip lmcs06dme3p2 0 4 900.02 sec 899.04 sec 25.70 mb tim tip cuom2 -1 4 7.64 sec 7.29 sec 7.00 mb uns tip cuads12 0 4 900.03 sec 899.52 sec 36.60 mb tim tip cubak 0 4 900.09 sec 898.87 sec 9.30 mb tim tip cuhanoi10 0 4 900.08 sec 899.23 sec 35.90 mb tim tip lmcs06dme5p2 0 4 900.03 sec 899.82 sec 39.70 mb tim tip cunim3 0 6 900.06 sec 899.81 sec 10.40 mb tim tip 6s205j00 0 -1 900.09 sec 899.61 sec 255.70 mb tim tip 6s203j57 0 -1 900.09 sec 899.52 sec 255.90 mb tim tip lmcs06srg5p2 1 4 0.76 sec 0.00 sec 0.00 mb sat tip cutq1 0 4 900.02 sec 899.52 sec 47.40 mb tim tip cupts15 0 4 900.06 sec 899.64 sec 30.30 mb tim tip lmcs06short1 1 4 0.08 sec 0.00 sec 0.00 mb sat tip 6s208j0 0 12 900.10 sec 899.04 sec 30.20 mb tim tip cuabq2mf -1 4 0.27 sec 0.08 sec 1.80 mb uns tip 6s200j0011 0 -1 900.08 sec 899.42 sec 53.10 mb tim tip lmcs06brp4 1 4 0.95 sec 0.10 sec 1.00 mb sat tip 6s210j006 0 4 900.05 sec 899.52 sec 84.10 mb tim tip lmcs06abp4p3 0 4 900.03 sec 899.74 sec 8.60 mb tim tip cuabq8f -1 4 86.86 sec 86.37 sec 8.00 mb uns tip 6s203j63 0 -1 900.07 sec 899.73 sec 256.50 mb tim tip cuhanoi7 0 4 900.01 sec 899.33 sec 18.60 mb tim tip lmcs06bc57sp0 0 4 900.10 sec 899.61 sec 18.80 mb tim tip lmcs06counter0 -1 4 0.45 sec 0.00 sec 0.00 mb uns tip 6s364j00003 -1 34 60.55 sec 59.75 sec 39.50 mb uns tip 6s200j0000 0 -1 900.05 sec 899.52 sec 53.10 mb tim tip arbi0s08bugp03 0 4 900.02 sec 899.64 sec 9.20 mb tim tip 6s204j12 0 -1 900.09 sec 899.59 sec 49.40 mb tim tip 6s219j11 0 10 900.04 sec 899.47 sec 102.20 mb tim tip 6s218j0003 0 10 900.06 sec 899.41 sec 96.30 mb tim tip cutarb4 -1 4 1.23 sec 0.49 sec 2.10 mb uns tip arbi0s64p03 0 4 900.06 sec 899.54 sec 33.50 mb tim tip cunim2 -1 6 158.61 sec 158.26 sec 22.20 mb uns tip arbixs08bugp03 0 4 900.01 sec 899.20 sec 10.10 mb tim tip cucnt128 -1 -1 5.67 sec 5.28 sec 1.50 mb uns tip lmcs06dme5p3 0 4 900.09 sec 899.53 sec 34.40 mb tim tip 6s203j04 0 -1 900.12 sec 899.50 sec 256.40 mb tim tip arbi0s16p03 0 4 900.04 sec 899.52 sec 60.80 mb tim tip lmcs06prodcell1 0 4 900.10 sec 899.51 sec 32.00 mb tim tip lmcs06brp3 0 4 900.11 sec 899.82 sec 13.80 mb tim tip lmcs06dme6p4 1 4 0.77 sec 0.39 sec 1.50 mb sat tip 6s203j17 0 -1 900.09 sec 899.58 sec 255.90 mb tim tip cutarb16 -1 4 109.20 sec 109.07 sec 8.50 mb uns tip lmcs06srg5p1 0 4 900.08 sec 899.84 sec 9.60 mb tim tip lmcs06ring1 0 4 900.09 sec 899.62 sec 5.30 mb tim tip cupts14 0 4 900.07 sec 899.53 sec 26.40 mb tim tip cuads11 0 4 900.05 sec 899.62 sec 40.00 mb tim tip 6s210j052 -1 4 690.81 sec 690.35 sec 79.90 mb uns tip lmcs06ring0 -1 4 0.95 sec 0.00 sec 0.00 mb uns tip 6s213j001 -1 10 75.07 sec 74.54 sec 11.60 mb uns tip 6s204j63 0 -1 900.07 sec 899.79 sec 49.20 mb tim tip lmcs06prodcell2 -1 4 66.73 sec 66.18 sec 11.00 mb uns tip cuffl09 -1 4 11.01 sec 10.77 sec 3.20 mb uns tip lmcs06brp0 -1 4 0.47 sec 0.10 sec 1.00 mb uns tip 6s205j57 0 -1 900.03 sec 899.49 sec 255.40 mb tim tip 6s214j3 0 11 900.11 sec 899.64 sec 31.30 mb tim tip cucab10 0 4 900.07 sec 899.51 sec 30.30 mb tim tip cuasq10 0 4 900.06 sec 899.20 sec 24.90 mb tim tip cucnt10 -1 -1 0.54 sec 0.00 sec 0.00 mb uns tip cufq2 0 4 900.04 sec 899.83 sec 13.90 mb tim tip 6s213j000 -1 -1 11.71 sec 11.29 sec 7.50 mb uns tip cuom3 -1 -1 0.89 sec 0.50 sec 1.50 mb uns tip cuffl10 -1 4 5.11 sec 4.59 sec 2.80 mb uns tip lmcs06srg5p0 -1 4 0.35 sec 0.09 sec 0.00 mb uns tip 6s220 0 -1 900.08 sec 899.58 sec 90.50 mb tim tip 6s218j0011 0 10 900.11 sec 899.56 sec 87.30 mb tim tip lmcs06dme6p2 0 4 900.02 sec 899.73 sec 32.30 mb tim tip lmcs06dme4p1 1 4 1.23 sec 0.28 sec 1.20 mb sat tip 6s202j71 0 -1 900.07 sec 899.53 sec 255.90 mb tim tip lmcs06brp1 1 4 0.95 sec 0.10 sec 1.00 mb sat tip cupts16 0 4 900.04 sec 899.63 sec 32.60 mb tim tip 6s307j00 0 6 900.10 sec 899.53 sec 26.30 mb tim tip 6s205j30 0 -1 900.04 sec 899.52 sec 255.40 mb tim tip arbi0s08p03 -1 4 511.78 sec 511.39 sec 23.20 mb uns tip 6s203j14 0 -1 900.07 sec 899.51 sec 255.90 mb tim tip lmcs06mutex1 0 5 900.02 sec 898.91 sec 4.60 mb tim tip lmcs06dme3p0 0 4 900.04 sec 899.02 sec 31.00 mb tim tip cucab11 -1 4 3.93 sec 3.50 sec 2.90 mb uns tip 6s219j05 0 10 900.02 sec 899.44 sec 87.20 mb tim tip 6s219j00 0 10 900.02 sec 899.50 sec 102.30 mb tim tip 6s200j0001 0 -1 900.10 sec 899.59 sec 53.50 mb tim tip cujc32 -1 -1 1.23 sec 0.49 sec 1.00 mb uns tip 6s215j0 0 4 900.08 sec 899.61 sec 27.20 mb tim tip cutf1 -1 4 336.85 sec 336.44 sec 32.10 mb uns tip cucnt32 -1 -1 0.91 sec 0.09 sec 0.90 mb uns tip cuabq8mf -1 4 21.16 sec 20.59 sec 5.90 mb uns tip arbi0s32p03 0 4 900.08 sec 899.54 sec 46.70 mb tim tip 6s214j0 0 11 900.07 sec 899.72 sec 29.10 mb tim tip 6s202j04 0 -1 900.08 sec 899.51 sec 256.90 mb tim tip lmcs06dme6p1 1 4 0.77 sec 0.49 sec 1.50 mb sat tip cucab12 -1 4 6.50 sec 6.40 sec 4.20 mb uns tip arbi0s16bugp03 0 4 900.09 sec 899.82 sec 54.40 mb tim tip lmcs06counter1 0 4 900.06 sec 899.10 sec 4.10 mb tim tip 6s216j0 0 4 900.03 sec 899.01 sec 29.30 mb tim tip cucab09 0 4 900.05 sec 899.52 sec 50.40 mb tim tip 6s205j23 0 -1 900.07 sec 899.42 sec 255.50 mb tim tip 6s210j039 -1 4 738.34 sec 737.82 sec 83.40 mb uns tip lmcs06bc57sp6 0 4 900.08 sec 899.63 sec 16.10 mb tim tip cutf2 0 4 900.02 sec 899.62 sec 8.00 mb tim tip 6s218j0019 0 10 900.02 sec 899.41 sec 100.20 mb tim tip cucnt12 -1 -1 0.22 sec 0.00 sec 0.00 mb uns tip 6s201j36 0 -1 900.09 sec 899.53 sec 245.30 mb tim tip 6s211 0 -1 900.07 sec 899.82 sec 49.90 mb tim tip arbixs08p03 0 4 900.02 sec 899.21 sec 42.80 mb tim tip lmcs06bc57sp2 -1 4 4.40 sec 4.09 sec 4.50 mb uns tip 6s201j38 0 -1 900.03 sec 899.61 sec 246.20 mb tim tip cuffl11 -1 -1 0.72 sec 0.00 sec 0.00 mb uns tip cujc12 -1 -1 0.27 sec 0.00 sec 0.00 mb uns tip lmcs06bc57sp4 0 4 900.09 sec 899.62 sec 18.90 mb tim tip 6s202j30 0 -1 900.07 sec 899.52 sec 255.80 mb tim tip 6s200j0010 0 -1 900.07 sec 899.60 sec 53.50 mb tim tip cuabq4mf -1 4 2.06 sec 1.19 sec 2.40 mb uns tip 6s210j116 0 4 900.07 sec 899.61 sec 79.10 mb tim tip lmcs06dme3p3 0 4 900.06 sec 899.61 sec 16.20 mb tim tip 6s205j21 0 -1 900.07 sec 899.52 sec 255.40 mb tim tip cufq1 0 4 900.03 sec 899.33 sec 49.90 mb tim tip 6s364j00005 -1 -1 46.30 sec 45.97 sec 35.50 mb uns tip 6s364j00002 -1 34 60.59 sec 60.25 sec 39.10 mb uns tip 6s202j40 0 -1 900.06 sec 899.53 sec 255.80 mb tim tip 6s202j17 0 -1 900.09 sec 899.52 sec 255.60 mb tim tip lmcs06abp4p2 -1 4 2.82 sec 2.59 sec 2.90 mb uns tip lmcs06bc57sp5 0 4 900.03 sec 899.69 sec 19.30 mb tim tip 6s201j34 0 -1 900.03 sec 899.50 sec 245.90 mb tim tip arbixs64bugp03 0 4 900.09 sec 899.62 sec 37.80 mb tim tip lmcs06bc57sp3 -1 4 8.46 sec 7.69 sec 5.00 mb uns tip lmcs06prodcell6 -1 4 614.65 sec 614.08 sec 31.10 mb uns tip cuffl12 1 5 0.07 sec 0.00 sec 0.00 mb sat tip 6s204j20 0 -1 900.07 sec 898.88 sec 49.20 mb tim tip 6s208j5 0 12 900.05 sec 899.34 sec 31.50 mb tim tip 6s217j1 -1 8 14.86 sec 14.67 sec 8.30 mb uns tip cutf3 -1 4 1.00 sec 0.70 sec 3.20 mb uns simplive 6s201j18 -1 -1 40.92 sec 127.92 sec 4978.20 mb uns simplive 6s219j06 0 -1 900.05 sec 4013.51 sec 7261.00 mb tim simplive cucab13 -1 -1 2.54 sec 5.05 sec 200.70 mb uns simplive arbixs16p03 0 -1 900.09 sec 10258.89 sec 1795.60 mb tim simplive lmcs06brp2 -1 -1 3.52 sec 21.54 sec 767.50 mb uns simplive cutarb32 0 -1 900.09 sec 10300.95 sec 1522.80 mb tim simplive 6s217j0 -1 -1 7.63 sec 26.02 sec 653.80 mb uns simplive cuabq4f -1 -1 8.61 sec 46.88 sec 880.10 mb uns simplive cutarb8 -1 -1 7.67 sec 48.37 sec 841.70 mb uns simplive 6s218j0002 0 -1 900.03 sec 4759.11 sec 8284.10 mb tim simplive 6s201j40 -1 -1 40.45 sec 126.41 sec 4913.50 mb uns simplive cusarb32 -1 -1 11.10 sec 77.71 sec 1121.90 mb uns simplive lmcs06prodcell3 -1 -1 148.98 sec 1545.56 sec 2528.00 mb uns simplive lmcs06dme4p3 1 -1 143.14 sec 1225.10 sec 1438.10 mb sat simplive 6s219j16 0 -1 900.12 sec 3836.25 sec 7242.80 mb tim simplive 6s204j57 0 -1 900.05 sec 5177.41 sec 13073.70 mb tim simplive 6s202j01 1 -1 40.99 sec 128.04 sec 5347.70 mb sat simplive lmcs06dme6p3 0 -1 900.06 sec 10242.04 sec 2174.20 mb tim simplive cuasq11 1 -1 6.57 sec 40.97 sec 786.40 mb sat simplive 6s204j30 0 -1 900.07 sec 5580.97 sec 11593.40 mb tim simplive lmcs06dme4p4 1 -1 1.19 sec 0.42 sec 26.60 mb sat simplive 6s208j3 1 -1 10.37 sec 36.21 sec 1462.00 mb sat simplive lmcs06abp4p4 -1 -1 1.92 sec 4.45 sec 791.30 mb uns simplive 6s205j34 1 -1 42.74 sec 133.91 sec 5006.20 mb sat simplive 6s210j090 -1 -1 226.07 sec 2286.52 sec 1342.90 mb uns simplive cusarb16 -1 -1 1.45 sec 1.92 sec 272.60 mb uns simplive 6s364j00000 1 -1 108.40 sec 346.82 sec 12245.00 mb sat simplive 6s210j093 -1 -1 235.23 sec 2372.65 sec 1264.80 mb uns simplive 6s208j1 1 -1 3.23 sec 6.65 sec 357.40 mb sat simplive 6s200j0012 0 -1 900.11 sec 3264.71 sec 10002.90 mb tim simplive 6s364j00001 -1 -1 103.08 sec 325.10 sec 12734.90 mb uns simplive cuads13 1 -1 6.85 sec 45.17 sec 784.00 mb sat simplive 6s204j21 0 -1 837.64 sec 5027.94 sec 15000.20 mb mem simplive lmcs06dme5p0 0 -1 900.06 sec 10101.46 sec 2109.70 mb tim simplive lmcs06dme6p0 1 -1 625.06 sec 6379.03 sec 1736.00 mb sat simplive lmcs06dme2p0 1 -1 2.48 sec 6.30 sec 813.00 mb sat simplive cucnt3 -1 -1 3.01 sec 0.46 sec 140.90 mb uns simplive 6s203j30 1 -1 41.78 sec 131.96 sec 5483.80 mb sat simplive lmcs06dme2p1 1 -1 2.20 sec 3.15 sec 781.00 mb sat simplive 6s210j065 -1 -1 342.28 sec 3745.24 sec 1487.90 mb uns simplive 6s221j00 1 -1 33.54 sec 89.54 sec 4662.30 mb sat simplive lmcs06mutex0 -1 -1 1.24 sec 0.44 sec 26.40 mb uns simplive cuabq2f -1 -1 1.50 sec 1.23 sec 188.40 mb uns simplive lmcs06abp4p0 1 -1 1.91 sec 4.67 sec 768.10 mb sat simplive 6s214j1 1 -1 3.06 sec 7.57 sec 367.50 mb sat simplive culock -1 -1 11.71 sec 104.38 sec 761.10 mb uns simplive arbixs64p03 0 -1 900.06 sec 8901.03 sec 2095.20 mb tim simplive arbixs16bugp03 1 -1 2.24 sec 2.74 sec 172.50 mb sat simplive 6s206j000 -1 -1 13.72 sec 38.36 sec 1735.10 mb uns simplive lmcs06prodcell0 1 -1 1.52 sec 1.22 sec 249.50 mb sat simplive 6s203j20 1 -1 41.98 sec 131.58 sec 6425.90 mb sat simplive lmcs06dme3p4 1 -1 1.67 sec 0.70 sec 127.30 mb sat simplive 6s201j20 -1 -1 41.20 sec 127.28 sec 4964.90 mb uns simplive 6s204j39 0 -1 900.03 sec 5071.88 sec 12131.50 mb tim simplive cugbak -1 -1 176.18 sec 1480.82 sec 1105.70 mb uns simplive lmcs06abp4p1 -1 -1 4.30 sec 22.70 sec 823.40 mb uns simplive arbi0s64bugp03 0 -1 900.06 sec 9765.49 sec 2588.20 mb tim simplive 6s212 -1 -1 3.26 sec 8.92 sec 478.50 mb uns simplive lmcs06short0 -1 -1 3.18 sec 0.51 sec 150.60 mb uns simplive arbixs32p03 0 -1 900.08 sec 9335.33 sec 1632.00 mb tim simplive 6s213j002 -1 -1 24.96 sec 91.32 sec 997.10 mb uns simplive cutq2 1 -1 1.97 sec 1.59 sec 209.50 mb sat simplive 6s200j0016 0 -1 900.09 sec 3272.43 sec 9706.20 mb tim simplive 6s205j39 1 -1 272.34 sec 1693.80 sec 10786.60 mb sat simplive 6s202j79 1 -1 341.77 sec 1924.05 sec 9990.80 mb sat simplive lmcs06prodcell4 -1 -1 106.56 sec 983.46 sec 2172.50 mb uns simplive lmcs06prodcell8 1 -1 1.59 sec 0.94 sec 249.30 mb sat simplive lmcs06dme3p1 1 -1 0.70 sec 0.40 sec 26.60 mb sat simplive cunim1 -1 -1 48.56 sec 535.60 sec 872.70 mb uns simplive 6s208j4 1 -1 6.92 sec 16.66 sec 1099.30 mb sat simplive 6s214j2 1 -1 2.76 sec 6.53 sec 362.80 mb sat simplive lmcs06prodcell7 1 -1 1.52 sec 0.96 sec 249.80 mb sat simplive lmcs06bc57sp1 -1 -1 13.32 sec 77.00 sec 1115.20 mb uns simplive cujc128f 1 -1 1.33 sec 0.54 sec 154.40 mb sat simplive lmcs06dme4p0 1 -1 119.62 sec 865.77 sec 983.50 mb sat simplive 6s200j0005 0 -1 900.10 sec 2597.38 sec 4534.10 mb tim simplive lmcs06prodcell9 1 -1 1.58 sec 2.30 sec 256.50 mb sat simplive cuhanoi4 1 -1 1.55 sec 0.95 sec 160.40 mb sat simplive 6s218j0015 0 -1 900.02 sec 3641.24 sec 9654.80 mb tim simplive lmcs06dme2p2 1 -1 1.07 sec 0.43 sec 26.50 mb sat simplive cuom1 -1 -1 53.93 sec 387.39 sec 838.70 mb uns simplive cugcd -1 -1 9.20 sec 73.14 sec 795.40 mb uns simplive 6s201j19 0 -1 192.86 sec 683.23 sec 15000.70 mb mem simplive cuasq12 1 -1 8.32 sec 42.77 sec 761.30 mb sat simplive arbi0s32bugp03 1 -1 7.22 sec 48.21 sec 866.40 mb sat simplive lmcs06prodcell5 -1 -1 147.15 sec 1440.72 sec 3651.80 mb uns simplive arbixs32bugp03 1 -1 83.79 sec 589.49 sec 941.50 mb sat simplive cujc128 -1 -1 12.21 sec 39.38 sec 284.90 mb uns simplive 6s208j2 1 -1 5.82 sec 15.07 sec 1111.60 mb sat simplive lmcs06dme4p2 0 -1 900.03 sec 10262.99 sec 2177.90 mb tim simplive lmcs06dme5p4 1 -1 0.77 sec 0.43 sec 26.90 mb sat simplive lmcs06dme5p1 1 -1 1.51 sec 0.43 sec 26.70 mb sat simplive lmcs06dme3p2 0 -1 900.06 sec 6021.52 sec 1826.80 mb tim simplive cuom2 -1 -1 22.84 sec 236.77 sec 875.30 mb uns simplive cuads12 1 -1 8.01 sec 57.68 sec 801.50 mb sat simplive cubak 1 -1 11.47 sec 100.59 sec 777.40 mb sat simplive cuhanoi10 1 -1 8.75 sec 47.79 sec 837.10 mb sat simplive lmcs06dme5p2 0 -1 900.07 sec 10010.92 sec 2087.40 mb tim simplive cunim3 1 -1 1.45 sec 0.58 sec 163.00 mb sat simplive 6s205j00 1 -1 43.15 sec 134.13 sec 4986.60 mb sat simplive 6s203j57 1 -1 41.93 sec 131.11 sec 4982.70 mb sat simplive lmcs06srg5p2 1 -1 1.05 sec 0.44 sec 26.60 mb sat simplive cutq1 0 -1 900.04 sec 10403.90 sec 1487.20 mb tim simplive cupts15 1 -1 19.79 sec 164.30 sec 892.70 mb sat simplive lmcs06short1 1 -1 0.95 sec 0.43 sec 132.80 mb sat simplive 6s208j0 1 -1 696.08 sec 6428.15 sec 1875.40 mb sat simplive cuabq2mf -1 -1 1.26 sec 0.72 sec 224.40 mb uns simplive 6s200j0011 0 -1 900.13 sec 3472.59 sec 9356.30 mb tim simplive lmcs06brp4 1 -1 1.21 sec 0.43 sec 26.70 mb sat simplive 6s210j006 -1 -1 210.21 sec 2087.64 sec 1271.50 mb uns simplive lmcs06abp4p3 1 -1 2.68 sec 12.46 sec 770.60 mb sat simplive cuabq8f -1 -1 133.18 sec 803.55 sec 1047.90 mb uns simplive 6s203j63 1 -1 42.33 sec 131.93 sec 5428.60 mb sat simplive cuhanoi7 1 -1 2.15 sec 3.33 sec 762.40 mb sat simplive lmcs06bc57sp0 1 -1 47.75 sec 421.31 sec 990.80 mb sat simplive lmcs06counter0 -1 -1 1.08 sec 0.61 sec 154.40 mb uns simplive 6s364j00003 -1 -1 97.71 sec 303.03 sec 12730.80 mb uns simplive 6s200j0000 0 -1 900.11 sec 3392.73 sec 9414.10 mb tim simplive arbi0s08bugp03 1 -1 1.23 sec 0.43 sec 26.60 mb sat simplive 6s204j12 0 -1 900.05 sec 4821.29 sec 12041.20 mb tim simplive 6s219j11 0 -1 900.04 sec 3712.76 sec 7288.30 mb tim simplive 6s218j0003 0 -1 900.11 sec 4790.57 sec 8329.00 mb tim simplive cutarb4 -1 -1 2.36 sec 4.02 sec 816.40 mb uns simplive arbi0s64p03 0 -1 900.03 sec 3895.98 sec 1656.20 mb tim simplive cunim2 -1 -1 276.04 sec 2924.03 sec 1140.20 mb uns simplive arbixs08bugp03 1 -1 1.17 sec 0.44 sec 26.60 mb sat simplive cucnt128 -1 -1 11.24 sec 27.44 sec 749.20 mb uns simplive lmcs06dme5p3 0 -1 900.03 sec 9624.50 sec 1853.60 mb tim simplive 6s203j04 1 -1 42.03 sec 130.51 sec 5662.60 mb sat simplive arbi0s16p03 0 -1 900.07 sec 6785.33 sec 1681.50 mb tim simplive lmcs06prodcell1 1 -1 1.97 sec 3.53 sec 260.80 mb sat simplive lmcs06brp3 1 -1 2.85 sec 14.69 sec 769.40 mb sat simplive lmcs06dme6p4 1 -1 1.51 sec 0.46 sec 26.90 mb sat simplive 6s203j17 1 -1 42.82 sec 134.74 sec 5083.50 mb sat simplive cutarb16 -1 -1 41.94 sec 428.85 sec 872.90 mb uns simplive lmcs06srg5p1 1 -1 1.22 sec 0.44 sec 26.60 mb sat simplive lmcs06ring1 1 -1 1.22 sec 0.42 sec 26.60 mb sat simplive cupts14 1 -1 5.58 sec 30.93 sec 871.00 mb sat simplive cuads11 1 -1 8.25 sec 61.03 sec 803.80 mb sat simplive 6s210j052 -1 -1 220.43 sec 2200.39 sec 1283.20 mb uns simplive lmcs06ring0 -1 -1 1.08 sec 0.64 sec 155.10 mb uns simplive 6s213j001 -1 -1 25.09 sec 89.23 sec 1012.90 mb uns simplive 6s204j63 0 -1 809.11 sec 5700.97 sec 15005.40 mb mem simplive lmcs06prodcell2 -1 -1 104.26 sec 992.50 sec 2276.10 mb uns simplive cuffl09 -1 -1 8.09 sec 56.46 sec 837.30 mb uns simplive lmcs06brp0 -1 -1 1.36 sec 0.95 sec 198.00 mb uns simplive 6s205j57 1 -1 41.48 sec 128.32 sec 5281.50 mb sat simplive 6s214j3 0 -1 900.11 sec 8244.61 sec 2196.50 mb tim simplive cucab10 1 -1 1.20 sec 1.29 sec 196.00 mb sat simplive cuasq10 1 -1 7.67 sec 56.00 sec 784.50 mb sat simplive cucnt10 -1 -1 1.88 sec 1.88 sec 239.50 mb uns simplive cufq2 1 -1 13.44 sec 81.61 sec 945.00 mb sat simplive 6s213j000 -1 -1 31.35 sec 100.17 sec 1623.10 mb uns simplive cuom3 -1 -1 20.83 sec 209.00 sec 837.90 mb uns simplive cuffl10 -1 -1 2.27 sec 10.50 sec 838.50 mb uns simplive lmcs06srg5p0 -1 -1 1.42 sec 1.27 sec 179.40 mb uns simplive 6s220 -1 -1 677.97 sec 2586.88 sec 2864.00 mb uns simplive 6s218j0011 0 -1 900.12 sec 3376.64 sec 8477.70 mb tim simplive lmcs06dme6p2 0 -1 900.06 sec 10109.83 sec 2141.70 mb tim simplive lmcs06dme4p1 1 -1 1.30 sec 0.55 sec 154.80 mb sat simplive 6s202j71 1 -1 43.46 sec 135.50 sec 5374.60 mb sat simplive lmcs06brp1 1 -1 1.02 sec 0.40 sec 26.70 mb sat simplive cupts16 1 -1 13.71 sec 115.35 sec 857.20 mb sat simplive 6s307j00 1 -1 2.74 sec 3.78 sec 318.00 mb sat simplive 6s205j30 1 -1 40.91 sec 127.79 sec 5278.10 mb sat simplive arbi0s08p03 -1 -1 491.15 sec 3155.15 sec 1008.20 mb uns simplive 6s203j14 1 -1 41.50 sec 130.10 sec 4774.70 mb sat simplive lmcs06mutex1 1 -1 0.99 sec 0.45 sec 150.60 mb sat simplive lmcs06dme3p0 1 -1 12.69 sec 75.21 sec 1000.30 mb sat simplive cucab11 -1 -1 2.43 sec 4.68 sec 208.70 mb uns simplive 6s219j05 0 -1 900.08 sec 3560.71 sec 7178.00 mb tim simplive 6s219j00 0 -1 900.08 sec 3812.73 sec 7240.20 mb tim simplive 6s200j0001 0 -1 900.11 sec 3383.08 sec 9619.20 mb tim simplive cujc32 -1 -1 2.39 sec 2.61 sec 225.70 mb uns simplive 6s215j0 1 -1 235.17 sec 1406.63 sec 1430.40 mb sat simplive cutf1 -1 -1 675.51 sec 2810.86 sec 859.80 mb uns simplive cucnt32 -1 -1 2.06 sec 2.88 sec 278.00 mb uns simplive cuabq8mf -1 -1 25.49 sec 208.94 sec 857.70 mb uns simplive arbi0s32p03 0 -1 900.08 sec 8064.14 sec 1671.30 mb tim simplive 6s214j0 1 -1 3.13 sec 7.97 sec 366.40 mb sat simplive 6s202j04 1 -1 41.33 sec 129.61 sec 5381.30 mb sat simplive lmcs06dme6p1 1 -1 1.01 sec 0.42 sec 26.90 mb sat simplive cucab12 -1 -1 2.48 sec 4.68 sec 204.40 mb uns simplive arbi0s16bugp03 1 -1 1.78 sec 0.94 sec 232.20 mb sat simplive lmcs06counter1 1 -1 1.15 sec 0.42 sec 130.30 mb sat simplive 6s216j0 0 -1 900.11 sec 3768.00 sec 1633.00 mb tim simplive cucab09 -1 -1 2.36 sec 5.04 sec 205.70 mb uns simplive 6s205j23 1 -1 41.82 sec 129.95 sec 4917.10 mb sat simplive 6s210j039 -1 -1 187.13 sec 1810.24 sec 1224.50 mb uns simplive lmcs06bc57sp6 1 -1 31.94 sec 158.74 sec 1005.00 mb sat simplive cutf2 1 -1 0.80 sec 0.49 sec 153.10 mb sat simplive 6s218j0019 0 -1 900.03 sec 4591.54 sec 8303.50 mb tim simplive cucnt12 -1 -1 1.89 sec 2.58 sec 265.80 mb uns simplive 6s201j36 -1 -1 40.44 sec 126.38 sec 4911.50 mb uns simplive 6s211 1 -1 127.47 sec 471.21 sec 3338.30 mb sat simplive arbixs08p03 0 -1 900.11 sec 10377.57 sec 1318.80 mb tim simplive lmcs06bc57sp2 -1 -1 38.94 sec 310.88 sec 1238.10 mb uns simplive 6s201j38 -1 -1 40.42 sec 126.05 sec 5371.50 mb uns simplive cuffl11 -1 -1 1.49 sec 0.58 sec 145.30 mb uns simplive cujc12 -1 -1 1.89 sec 1.94 sec 195.40 mb uns simplive lmcs06bc57sp4 1 -1 69.57 sec 680.45 sec 1243.30 mb sat simplive 6s202j30 1 -1 43.24 sec 133.91 sec 4992.40 mb sat simplive 6s200j0010 0 -1 900.06 sec 3392.23 sec 9701.10 mb tim simplive cuabq4mf -1 -1 2.51 sec 3.47 sec 229.40 mb uns simplive 6s210j116 -1 -1 264.08 sec 2722.33 sec 1277.20 mb uns simplive lmcs06dme3p3 1 -1 13.19 sec 76.18 sec 1003.70 mb sat simplive 6s205j21 1 -1 41.64 sec 130.48 sec 4843.30 mb sat simplive cufq1 0 -1 900.01 sec 6150.37 sec 1746.10 mb tim simplive 6s364j00005 -1 -1 91.00 sec 280.91 sec 8054.50 mb uns simplive 6s364j00002 -1 -1 98.26 sec 308.36 sec 12962.10 mb uns simplive 6s202j40 1 -1 41.94 sec 131.44 sec 4875.60 mb sat simplive 6s202j17 1 -1 41.39 sec 129.87 sec 5907.20 mb sat simplive lmcs06abp4p2 -1 -1 5.29 sec 27.20 sec 873.00 mb uns simplive lmcs06bc57sp5 1 -1 49.44 sec 292.71 sec 991.40 mb sat simplive 6s201j34 -1 -1 40.43 sec 127.46 sec 4893.70 mb uns simplive arbixs64bugp03 0 -1 900.10 sec 9000.29 sec 2008.30 mb tim simplive lmcs06bc57sp3 -1 -1 6.34 sec 31.36 sec 1060.30 mb uns simplive lmcs06prodcell6 -1 -1 107.45 sec 1000.81 sec 2829.90 mb uns simplive cuffl12 1 -1 0.93 sec 0.42 sec 26.80 mb sat simplive 6s204j20 0 -1 854.02 sec 5649.48 sec 15029.40 mb mem simplive 6s208j5 1 -1 2.75 sec 7.11 sec 570.40 mb sat simplive 6s217j1 -1 -1 8.10 sec 26.42 sec 651.40 mb uns simplive cutf3 -1 -1 0.96 sec 0.93 sec 181.30 mb uns iimc 6s201j18 -1 -1 29.31 sec 28.52 sec 366.40 mb uns iimc 6s219j06 0 -1 900.06 sec 2306.09 sec 13361.30 mb tim iimc cucab13 -1 -1 2.54 sec 6.20 sec 105.20 mb uns iimc arbixs16p03 0 -1 900.24 sec 3569.37 sec 2120.80 mb tim iimc lmcs06brp2 -1 -1 3.86 sec 10.04 sec 63.10 mb uns iimc cutarb32 0 -1 900.17 sec 3591.62 sec 1098.60 mb tim iimc 6s217j0 0 -1 900.08 sec 2295.48 sec 13371.40 mb tim iimc cuabq4f -1 -1 14.55 sec 51.81 sec 326.70 mb uns iimc cutarb8 -1 -1 3.88 sec 11.65 sec 56.60 mb uns iimc 6s218j0002 0 -1 900.14 sec 1879.42 sec 13659.20 mb tim iimc 6s201j40 -1 -1 28.84 sec 28.44 sec 366.30 mb uns iimc cusarb32 -1 -1 7.00 sec 7.39 sec 268.30 mb uns iimc lmcs06prodcell3 -1 -1 165.54 sec 497.11 sec 4271.20 mb uns iimc lmcs06dme4p3 1 -1 173.76 sec 682.56 sec 701.60 mb sat iimc 6s219j16 0 -1 900.11 sec 2304.73 sec 13363.90 mb tim iimc 6s204j57 0 -1 900.10 sec 2316.09 sec 13424.00 mb tim iimc 6s202j01 1 -1 32.03 sec 31.45 sec 366.60 mb sat iimc lmcs06dme6p3 0 -1 900.30 sec 3584.22 sec 2704.70 mb tim iimc cuasq11 1 -1 1.03 sec 0.14 sec 15.10 mb sat iimc 6s204j30 0 -1 900.10 sec 2283.17 sec 13396.60 mb tim iimc lmcs06dme4p4 1 -1 3.11 sec 2.30 sec 19.00 mb sat iimc 6s208j3 1 -1 36.03 sec 116.18 sec 737.20 mb sat iimc lmcs06abp4p4 -1 -1 1.01 sec 2.15 sec 38.10 mb uns iimc 6s205j34 1 -1 32.24 sec 31.75 sec 366.00 mb sat iimc 6s210j090 0 -1 900.64 sec 3572.98 sec 7250.60 mb tim iimc cusarb16 -1 -1 1.18 sec 1.03 sec 53.70 mb uns iimc 6s364j00000 0 -1 900.11 sec 3149.46 sec 13377.50 mb tim iimc 6s210j093 0 -1 900.61 sec 3568.65 sec 6201.30 mb tim iimc 6s208j1 1 -1 18.85 sec 45.72 sec 580.30 mb sat iimc 6s200j0012 0 -1 900.11 sec 2332.45 sec 13658.90 mb tim iimc 6s364j00001 -1 -1 15.69 sec 15.32 sec 379.30 mb uns iimc cuads13 1 -1 0.37 sec 0.46 sec 21.10 mb sat iimc 6s204j21 0 -1 900.08 sec 2290.89 sec 13394.10 mb tim iimc lmcs06dme5p0 0 -1 900.16 sec 3585.43 sec 1353.20 mb tim iimc lmcs06dme6p0 0 -1 900.21 sec 3585.02 sec 1466.70 mb tim iimc lmcs06dme2p0 1 -1 6.76 sec 20.28 sec 112.90 mb sat iimc cucnt3 -1 -1 1.59 sec 0.04 sec 42.10 mb uns iimc 6s203j30 1 -1 32.46 sec 31.56 sec 366.90 mb sat iimc lmcs06dme2p1 1 -1 3.39 sec 8.90 sec 83.90 mb sat iimc 6s210j065 0 -1 900.56 sec 3569.82 sec 6457.80 mb tim iimc 6s221j00 1 -1 76.00 sec 218.07 sec 1747.80 mb sat iimc lmcs06mutex0 -1 -1 0.65 sec 0.12 sec 15.60 mb uns iimc cuabq2f -1 -1 2.21 sec 4.14 sec 36.50 mb uns iimc lmcs06abp4p0 1 -1 1.74 sec 3.09 sec 44.70 mb sat iimc 6s214j1 1 -1 61.75 sec 218.79 sec 1730.70 mb sat iimc culock -1 -1 0.43 sec 0.20 sec 13.90 mb uns iimc arbixs64p03 0 -1 900.68 sec 2663.08 sec 8639.80 mb tim iimc arbixs16bugp03 1 -1 2.95 sec 5.25 sec 57.20 mb sat iimc 6s206j000 -1 -1 5.61 sec 5.58 sec 112.50 mb uns iimc lmcs06prodcell0 1 -1 104.41 sec 404.97 sec 1033.60 mb sat iimc 6s203j20 1 -1 32.11 sec 31.35 sec 367.20 mb sat iimc lmcs06dme3p4 1 -1 1.39 sec 1.22 sec 16.80 mb sat iimc 6s201j20 -1 -1 28.82 sec 28.31 sec 368.60 mb uns iimc 6s204j39 0 -1 900.05 sec 2296.15 sec 13428.40 mb tim iimc cugbak -1 -1 5.40 sec 18.06 sec 48.20 mb uns iimc lmcs06abp4p1 -1 -1 1.69 sec 2.81 sec 42.40 mb uns iimc arbi0s64bugp03 1 -1 848.26 sec 2507.72 sec 2960.70 mb sat iimc 6s212 0 -1 900.07 sec 2306.50 sec 13498.50 mb tim iimc lmcs06short0 -1 -1 0.98 sec 0.10 sec 26.00 mb uns iimc arbixs32p03 0 -1 900.49 sec 2666.67 sec 1860.50 mb tim iimc 6s213j002 0 -1 900.12 sec 2362.55 sec 13423.00 mb tim iimc cutq2 1 -1 1.69 sec 1.62 sec 31.30 mb sat iimc 6s200j0016 0 -1 900.16 sec 2315.12 sec 13634.60 mb tim iimc 6s205j39 1 -1 36.31 sec 43.24 sec 489.90 mb sat iimc 6s202j79 1 -1 33.22 sec 35.41 sec 446.50 mb sat iimc lmcs06prodcell4 -1 -1 277.61 sec 865.95 sec 6554.50 mb uns iimc lmcs06prodcell8 1 -1 32.13 sec 101.88 sec 803.00 mb sat iimc lmcs06dme3p1 1 -1 1.48 sec 1.42 sec 19.00 mb sat iimc cunim1 -1 -1 0.54 sec 1.07 sec 28.30 mb uns iimc 6s208j4 1 -1 24.73 sec 69.04 sec 643.00 mb sat iimc 6s214j2 1 -1 61.71 sec 215.47 sec 1761.90 mb sat iimc lmcs06prodcell7 1 -1 71.46 sec 268.52 sec 988.70 mb sat iimc lmcs06bc57sp1 -1 -1 20.85 sec 68.11 sec 434.00 mb uns iimc cujc128f 1 -1 3.31 sec 2.65 sec 51.30 mb sat iimc lmcs06dme4p0 1 -1 190.87 sec 748.68 sec 747.10 mb sat iimc 6s200j0005 0 -1 736.71 sec 1980.78 sec 13627.80 mb s11 iimc lmcs06prodcell9 1 -1 58.51 sec 206.56 sec 1727.50 mb sat iimc cuhanoi4 1 -1 0.64 sec 0.00 sec 0.00 mb sat iimc 6s218j0015 0 -1 900.13 sec 1847.57 sec 13654.10 mb tim iimc lmcs06dme2p2 1 -1 1.40 sec 0.72 sec 15.40 mb sat iimc cuom1 -1 -1 4.21 sec 11.99 sec 40.80 mb uns iimc cugcd -1 -1 3.03 sec 10.23 sec 39.30 mb uns iimc 6s201j19 0 -1 900.22 sec 2037.11 sec 14142.10 mb tim iimc cuasq12 1 -1 1.03 sec 0.23 sec 17.30 mb sat iimc arbi0s32bugp03 1 -1 36.88 sec 77.53 sec 807.80 mb sat iimc lmcs06prodcell5 -1 -1 718.21 sec 2652.13 sec 13379.70 mb uns iimc arbixs32bugp03 1 -1 78.91 sec 202.85 sec 842.00 mb sat iimc cujc128 -1 -1 5.28 sec 11.14 sec 67.00 mb uns iimc 6s208j2 1 -1 24.16 sec 66.18 sec 584.90 mb sat iimc lmcs06dme4p2 0 -1 900.14 sec 3589.33 sec 1868.00 mb tim iimc lmcs06dme5p4 1 -1 3.90 sec 2.89 sec 28.40 mb sat iimc lmcs06dme5p1 1 -1 4.56 sec 3.62 sec 28.70 mb sat iimc lmcs06dme3p2 0 -1 900.19 sec 3591.05 sec 2230.40 mb tim iimc cuom2 -1 -1 16.59 sec 63.99 sec 57.80 mb uns iimc cuads12 1 -1 1.03 sec 0.46 sec 20.90 mb sat iimc cubak 1 -1 1.27 sec 0.58 sec 23.10 mb sat iimc cuhanoi10 1 -1 11.09 sec 42.19 sec 94.80 mb sat iimc lmcs06dme5p2 0 -1 900.17 sec 3585.01 sec 2231.60 mb tim iimc cunim3 1 -1 1.08 sec 0.29 sec 28.40 mb sat iimc 6s205j00 1 -1 32.41 sec 31.83 sec 366.00 mb sat iimc 6s203j57 1 -1 31.57 sec 31.56 sec 367.00 mb sat iimc lmcs06srg5p2 1 -1 0.85 sec 0.39 sec 13.80 mb sat iimc cutq1 -1 -1 32.84 sec 125.90 sec 178.00 mb uns iimc cupts15 1 -1 1.77 sec 3.57 sec 50.70 mb sat iimc lmcs06short1 1 -1 0.20 sec 0.00 sec 0.00 mb sat iimc 6s208j0 0 -1 900.17 sec 3570.78 sec 1750.30 mb tim iimc cuabq2mf -1 -1 0.81 sec 0.64 sec 20.70 mb uns iimc 6s200j0011 0 -1 662.99 sec 1855.95 sec 13650.90 mb s11 iimc lmcs06brp4 1 -1 1.00 sec 0.70 sec 27.00 mb sat iimc 6s210j006 0 -1 900.84 sec 3569.17 sec 9158.80 mb tim iimc lmcs06abp4p3 1 -1 1.44 sec 3.22 sec 47.10 mb sat iimc cuabq8f -1 -1 484.65 sec 1915.97 sec 785.30 mb uns iimc 6s203j63 1 -1 32.06 sec 31.46 sec 366.90 mb sat iimc cuhanoi7 1 -1 1.20 sec 0.69 sec 49.80 mb sat iimc lmcs06bc57sp0 1 -1 23.08 sec 76.63 sec 446.60 mb sat iimc lmcs06counter0 -1 -1 0.53 sec 0.21 sec 15.60 mb uns iimc 6s364j00003 -1 -1 15.36 sec 15.13 sec 384.50 mb uns iimc 6s200j0000 0 -1 605.49 sec 1737.56 sec 13635.70 mb s11 iimc arbi0s08bugp03 1 -1 0.30 sec 0.16 sec 14.70 mb sat iimc 6s204j12 0 -1 900.09 sec 2294.80 sec 13415.00 mb tim iimc 6s219j11 0 -1 900.24 sec 2307.15 sec 13366.30 mb tim iimc 6s218j0003 0 -1 900.11 sec 1822.81 sec 13327.70 mb tim iimc cutarb4 -1 -1 0.28 sec 0.20 sec 16.00 mb uns iimc arbi0s64p03 0 -1 900.78 sec 2663.75 sec 8545.90 mb tim iimc cunim2 -1 -1 15.57 sec 60.33 sec 64.90 mb uns iimc arbixs08bugp03 1 -1 0.56 sec 0.14 sec 15.30 mb sat iimc cucnt128 0 -1 900.61 sec 902.16 sec 7693.40 mb tim iimc lmcs06dme5p3 0 -1 900.15 sec 3589.07 sec 1258.00 mb tim iimc 6s203j04 1 -1 31.92 sec 31.56 sec 367.00 mb sat iimc arbi0s16p03 0 -1 900.18 sec 3569.19 sec 1492.20 mb tim iimc lmcs06prodcell1 1 -1 57.40 sec 202.04 sec 1728.20 mb sat iimc lmcs06brp3 1 -1 10.87 sec 36.53 sec 178.60 mb sat iimc lmcs06dme6p4 1 -1 3.93 sec 3.73 sec 27.60 mb sat iimc 6s203j17 1 -1 31.47 sec 31.32 sec 371.40 mb sat iimc cutarb16 -1 -1 91.90 sec 361.64 sec 293.00 mb uns iimc lmcs06srg5p1 1 -1 1.30 sec 0.46 sec 26.40 mb sat iimc lmcs06ring1 1 -1 0.40 sec 0.13 sec 13.60 mb sat iimc cupts14 1 -1 2.11 sec 3.70 sec 37.50 mb sat iimc cuads11 1 -1 0.99 sec 0.46 sec 21.30 mb sat iimc 6s210j052 0 -1 900.64 sec 3571.12 sec 7816.20 mb tim iimc lmcs06ring0 -1 -1 0.16 sec 0.13 sec 0.00 mb uns iimc 6s213j001 0 -1 900.13 sec 2394.28 sec 13354.00 mb tim iimc 6s204j63 0 -1 900.07 sec 2294.20 sec 13426.10 mb tim iimc lmcs06prodcell2 -1 -1 92.18 sec 290.12 sec 2357.60 mb uns iimc cuffl09 -1 -1 0.33 sec 0.15 sec 14.00 mb uns iimc lmcs06brp0 -1 -1 1.16 sec 1.13 sec 31.70 mb uns iimc 6s205j57 1 -1 32.19 sec 31.71 sec 366.00 mb sat iimc 6s214j3 0 -1 900.18 sec 3298.06 sec 13395.70 mb tim iimc cucab10 1 -1 2.92 sec 8.69 sec 106.00 mb sat iimc cuasq10 1 -1 0.17 sec 0.23 sec 17.30 mb sat iimc cucnt10 -1 -1 0.92 sec 0.00 sec 0.00 mb uns iimc cufq2 1 -1 28.98 sec 109.65 sec 206.70 mb sat iimc 6s213j000 -1 -1 25.47 sec 45.94 sec 873.80 mb uns iimc cuom3 -1 -1 10.51 sec 36.93 sec 54.60 mb uns iimc cuffl10 -1 -1 0.51 sec 0.20 sec 0.00 mb uns iimc lmcs06srg5p0 -1 -1 1.24 sec 2.79 sec 43.50 mb uns iimc 6s220 0 -1 900.13 sec 2330.41 sec 13748.30 mb tim iimc 6s218j0011 0 -1 900.07 sec 1887.00 sec 13648.00 mb tim iimc lmcs06dme6p2 0 -1 900.29 sec 3584.06 sec 2956.10 mb tim iimc lmcs06dme4p1 1 -1 3.45 sec 2.56 sec 51.00 mb sat iimc 6s202j71 1 -1 31.64 sec 31.67 sec 366.50 mb sat iimc lmcs06brp1 1 -1 1.18 sec 0.58 sec 28.30 mb sat iimc cupts16 1 -1 1.62 sec 4.70 sec 40.10 mb sat iimc 6s307j00 1 -1 4.60 sec 10.48 sec 205.00 mb sat iimc 6s205j30 1 -1 31.84 sec 31.75 sec 366.00 mb sat iimc arbi0s08p03 -1 -1 9.06 sec 31.78 sec 110.40 mb uns iimc 6s203j14 1 -1 32.17 sec 31.35 sec 367.00 mb sat iimc lmcs06mutex1 1 -1 0.86 sec 0.00 sec 0.00 mb sat iimc lmcs06dme3p0 1 -1 31.01 sec 117.99 sec 371.30 mb sat iimc cucab11 -1 -1 3.60 sec 7.36 sec 113.50 mb uns iimc 6s219j05 0 -1 900.08 sec 2297.96 sec 13652.70 mb tim iimc 6s219j00 0 -1 900.09 sec 2306.43 sec 13358.70 mb tim iimc 6s200j0001 0 -1 900.12 sec 2329.77 sec 13663.40 mb tim iimc cujc32 -1 -1 1.14 sec 0.32 sec 17.80 mb uns iimc 6s215j0 0 -1 900.26 sec 2695.68 sec 1801.80 mb tim iimc cutf1 -1 -1 18.45 sec 68.67 sec 157.70 mb uns iimc cucnt32 0 -1 900.46 sec 900.03 sec 5311.00 mb tim iimc cuabq8mf -1 -1 17.90 sec 59.01 sec 334.00 mb uns iimc arbi0s32p03 0 -1 900.19 sec 2665.54 sec 1941.40 mb tim iimc 6s214j0 1 -1 60.56 sec 215.70 sec 1710.90 mb sat iimc 6s202j04 1 -1 31.84 sec 31.56 sec 366.50 mb sat iimc lmcs06dme6p1 1 -1 5.22 sec 4.46 sec 38.50 mb sat iimc cucab12 -1 -1 3.78 sec 8.71 sec 128.20 mb uns iimc arbi0s16bugp03 1 -1 2.29 sec 4.87 sec 55.70 mb sat iimc lmcs06counter1 1 -1 0.74 sec 0.00 sec 0.00 mb sat iimc 6s216j0 0 -1 900.26 sec 2694.73 sec 2409.80 mb tim iimc cucab09 -1 -1 4.09 sec 10.65 sec 139.80 mb uns iimc 6s205j23 1 -1 32.68 sec 31.73 sec 365.90 mb sat iimc 6s210j039 0 -1 900.67 sec 3571.68 sec 7938.50 mb tim iimc lmcs06bc57sp6 1 -1 32.49 sec 113.57 sec 536.80 mb sat iimc cutf2 1 -1 0.75 sec 0.27 sec 15.80 mb sat iimc 6s218j0019 0 -1 900.12 sec 1934.58 sec 13372.30 mb tim iimc cucnt12 -1 -1 0.06 sec 0.00 sec 0.00 mb uns iimc 6s201j36 -1 -1 28.61 sec 28.55 sec 366.40 mb uns iimc 6s211 1 -1 58.98 sec 141.70 sec 1522.70 mb sat iimc arbixs08p03 -1 -1 0.85 sec 1.61 sec 34.20 mb uns iimc lmcs06bc57sp2 -1 -1 18.46 sec 61.87 sec 365.60 mb uns iimc 6s201j38 -1 -1 28.91 sec 28.55 sec 366.40 mb uns iimc cuffl11 -1 -1 1.04 sec 0.00 sec 0.00 mb uns iimc cujc12 -1 -1 0.89 sec 0.15 sec 14.70 mb uns iimc lmcs06bc57sp4 1 -1 30.36 sec 105.42 sec 527.90 mb sat iimc 6s202j30 1 -1 32.53 sec 31.66 sec 366.50 mb sat iimc 6s200j0010 0 -1 664.48 sec 1860.50 sec 13678.00 mb s11 iimc cuabq4mf -1 -1 2.65 sec 7.00 sec 45.00 mb uns iimc 6s210j116 0 -1 900.62 sec 3571.61 sec 7212.90 mb tim iimc lmcs06dme3p3 1 -1 22.33 sec 82.89 sec 303.90 mb sat iimc 6s205j21 1 -1 32.45 sec 31.75 sec 366.00 mb sat iimc cufq1 -1 -1 100.14 sec 390.79 sec 392.80 mb uns iimc 6s364j00005 -1 -1 15.23 sec 14.76 sec 368.10 mb uns iimc 6s364j00002 -1 -1 15.88 sec 15.06 sec 384.80 mb uns iimc 6s202j40 1 -1 31.89 sec 31.55 sec 366.50 mb sat iimc 6s202j17 1 -1 31.76 sec 31.49 sec 366.70 mb sat iimc lmcs06abp4p2 -1 -1 1.93 sec 5.05 sec 47.70 mb uns iimc lmcs06bc57sp5 1 -1 21.32 sec 68.66 sec 423.80 mb sat iimc 6s201j34 -1 -1 29.42 sec 28.42 sec 366.30 mb uns iimc arbixs64bugp03 0 -1 900.27 sec 2661.76 sec 3013.20 mb tim iimc lmcs06bc57sp3 -1 -1 2.54 sec 2.62 sec 50.70 mb uns iimc lmcs06prodcell6 0 -1 900.07 sec 3213.37 sec 13324.80 mb tim iimc cuffl12 1 -1 0.27 sec 0.00 sec 0.00 mb sat iimc 6s204j20 0 -1 900.09 sec 2271.86 sec 13428.90 mb tim iimc 6s208j5 1 -1 16.76 sec 39.50 sec 562.90 mb sat iimc 6s217j1 0 -1 900.11 sec 2314.13 sec 13354.40 mb tim iimc cutf3 -1 -1 3.53 sec 10.54 sec 94.50 mb uns aigbmc 6s201j18 0 -1 900.55 sec 900.22 sec 7355.60 mb tim aigbmc 6s219j06 0 -1 900.48 sec 899.92 sec 6694.60 mb tim aigbmc cucab13 0 -1 569.19 sec 568.99 sec 257.30 mb --- aigbmc arbixs16p03 0 -1 900.01 sec 899.22 sec 83.90 mb tim aigbmc lmcs06brp2 0 -1 900.09 sec 899.72 sec 57.10 mb tim aigbmc cutarb32 0 -1 900.02 sec 899.62 sec 89.20 mb tim aigbmc 6s217j0 0 -1 367.13 sec 366.92 sec 1797.00 mb --- aigbmc cuabq4f 0 -1 900.10 sec 899.23 sec 52.30 mb tim aigbmc cutarb8 0 -1 900.03 sec 899.83 sec 50.80 mb tim aigbmc 6s218j0002 0 -1 900.39 sec 899.99 sec 7766.70 mb tim aigbmc 6s201j40 0 -1 900.46 sec 899.91 sec 7659.60 mb tim aigbmc cusarb32 0 -1 14.40 sec 13.69 sec 70.80 mb --- aigbmc lmcs06prodcell3 0 -1 188.40 sec 188.06 sec 394.80 mb --- aigbmc lmcs06dme4p3 1 81 465.23 sec 464.80 sec 51.70 mb sat aigbmc 6s219j16 0 -1 900.37 sec 899.92 sec 6781.90 mb tim aigbmc 6s204j57 0 -1 900.62 sec 900.27 sec 9165.50 mb tim aigbmc 6s202j01 0 -1 900.51 sec 900.02 sec 6774.80 mb tim aigbmc lmcs06dme6p3 0 -1 900.10 sec 899.14 sec 70.90 mb tim aigbmc cuasq11 1 19 22.36 sec 21.59 sec 8.90 mb sat aigbmc 6s204j30 0 -1 900.62 sec 900.21 sec 9188.50 mb tim aigbmc lmcs06dme4p4 1 2 0.48 sec 0.00 sec 0.00 mb sat aigbmc 6s208j3 1 56 713.32 sec 712.15 sec 400.50 mb sat aigbmc lmcs06abp4p4 0 -1 900.11 sec 898.98 sec 192.00 mb tim aigbmc 6s205j34 0 -1 900.77 sec 900.02 sec 10156.10 mb tim aigbmc 6s210j090 0 -1 900.06 sec 899.61 sec 212.70 mb tim aigbmc cusarb16 0 -1 9.38 sec 9.10 sec 46.70 mb --- aigbmc 6s364j00000 0 -1 900.25 sec 899.31 sec 9151.30 mb tim aigbmc 6s210j093 0 -1 900.10 sec 899.73 sec 218.10 mb tim aigbmc 6s208j1 1 30 23.52 sec 23.19 sec 176.50 mb sat aigbmc 6s200j0012 0 -1 900.46 sec 899.69 sec 6114.30 mb tim aigbmc 6s364j00001 0 -1 900.25 sec 899.33 sec 9151.30 mb tim aigbmc cuads13 1 18 28.59 sec 28.29 sec 9.80 mb sat aigbmc 6s204j21 0 -1 900.60 sec 900.12 sec 9193.00 mb tim aigbmc lmcs06dme5p0 0 -1 900.09 sec 899.54 sec 59.40 mb tim aigbmc lmcs06dme6p0 0 -1 900.09 sec 899.53 sec 72.60 mb tim aigbmc lmcs06dme2p0 1 44 7.87 sec 7.40 sec 9.60 mb sat aigbmc cucnt3 0 -1 0.76 sec 0.39 sec 4.20 mb --- aigbmc 6s203j30 0 -1 900.43 sec 899.60 sec 6854.20 mb tim aigbmc lmcs06dme2p1 1 40 5.77 sec 5.49 sec 9.70 mb sat aigbmc 6s210j065 0 -1 900.10 sec 898.93 sec 218.40 mb tim aigbmc 6s221j00 0 -1 900.35 sec 899.93 sec 4369.70 mb tim aigbmc lmcs06mutex0 0 -1 14.63 sec 14.38 sec 33.10 mb --- aigbmc cuabq2f 0 -1 900.03 sec 899.43 sec 44.20 mb tim aigbmc lmcs06abp4p0 1 18 3.70 sec 3.58 sec 8.40 mb sat aigbmc 6s214j1 0 -1 900.05 sec 899.56 sec 791.90 mb tim aigbmc culock 0 -1 900.03 sec 899.63 sec 26.20 mb tim aigbmc arbixs64p03 0 -1 900.10 sec 899.02 sec 301.30 mb tim aigbmc arbixs16bugp03 1 9 1.65 sec 1.50 sec 6.80 mb sat aigbmc 6s206j000 0 -1 900.30 sec 899.59 sec 3495.40 mb tim aigbmc lmcs06prodcell0 1 82 2.55 sec 1.49 sec 27.60 mb sat aigbmc 6s203j20 0 -1 900.54 sec 899.83 sec 7904.60 mb tim aigbmc lmcs06dme3p4 1 2 0.23 sec 0.00 sec 0.00 mb sat aigbmc 6s201j20 0 -1 900.48 sec 900.12 sec 7856.70 mb tim aigbmc 6s204j39 0 -1 900.62 sec 900.20 sec 9161.30 mb tim aigbmc cugbak 0 -1 900.09 sec 899.02 sec 44.50 mb tim aigbmc lmcs06abp4p1 0 -1 900.06 sec 899.00 sec 38.90 mb tim aigbmc arbi0s64bugp03 1 33 253.44 sec 253.12 sec 177.60 mb sat aigbmc 6s212 0 -1 742.98 sec 742.65 sec 2716.30 mb --- aigbmc lmcs06short0 0 -1 12.85 sec 11.89 sec 28.80 mb --- aigbmc arbixs32p03 0 -1 900.10 sec 899.73 sec 143.90 mb tim aigbmc 6s213j002 0 -1 900.19 sec 899.72 sec 2369.90 mb tim aigbmc cutq2 1 13 4.11 sec 3.80 sec 8.60 mb sat aigbmc 6s200j0016 0 -1 900.42 sec 899.59 sec 5797.60 mb tim aigbmc 6s205j39 0 -1 900.73 sec 899.72 sec 10230.00 mb tim aigbmc 6s202j79 0 -1 900.51 sec 899.52 sec 7419.50 mb tim aigbmc lmcs06prodcell4 0 -1 201.65 sec 201.33 sec 355.40 mb --- aigbmc lmcs06prodcell8 1 85 1.52 sec 1.19 sec 30.70 mb sat aigbmc lmcs06dme3p1 1 2 0.30 sec 0.00 sec 0.00 mb sat aigbmc cunim1 0 -1 900.06 sec 899.63 sec 36.70 mb tim aigbmc 6s208j4 1 36 37.62 sec 37.26 sec 237.60 mb sat aigbmc 6s214j2 0 -1 900.13 sec 899.32 sec 620.20 mb tim aigbmc lmcs06prodcell7 1 82 1.81 sec 1.17 sec 26.00 mb sat aigbmc lmcs06bc57sp1 0 -1 283.01 sec 282.74 sec 619.50 mb --- aigbmc cujc128f 1 1 0.48 sec 0.00 sec 0.00 mb sat aigbmc lmcs06dme4p0 1 84 538.90 sec 538.09 sec 52.70 mb sat aigbmc 6s200j0005 0 -1 900.52 sec 899.51 sec 6642.10 mb tim aigbmc lmcs06prodcell9 1 127 3.39 sec 2.70 sec 53.50 mb sat aigbmc cuhanoi4 1 8 0.48 sec 0.00 sec 0.00 mb sat aigbmc 6s218j0015 0 -1 900.41 sec 900.03 sec 7740.50 mb tim aigbmc lmcs06dme2p2 1 2 0.29 sec 0.00 sec 0.00 mb sat aigbmc cuom1 0 -1 900.05 sec 899.43 sec 52.90 mb tim aigbmc cugcd 0 -1 900.06 sec 899.53 sec 91.00 mb tim aigbmc 6s201j19 0 -1 900.56 sec 900.12 sec 7498.00 mb tim aigbmc cuasq12 1 19 19.29 sec 19.09 sec 8.90 mb sat aigbmc arbi0s32bugp03 1 17 12.37 sec 12.09 sec 32.90 mb sat aigbmc lmcs06prodcell5 0 -1 63.21 sec 62.39 sec 333.20 mb --- aigbmc arbixs32bugp03 1 17 77.84 sec 77.58 sec 47.40 mb sat aigbmc cujc128 0 -1 900.01 sec 899.63 sec 71.30 mb tim aigbmc 6s208j2 1 52 296.25 sec 295.44 sec 311.80 mb sat aigbmc lmcs06dme4p2 0 -1 900.03 sec 899.43 sec 55.30 mb tim aigbmc lmcs06dme5p4 1 2 0.25 sec 0.00 sec 0.00 mb sat aigbmc lmcs06dme5p1 1 2 0.23 sec 0.00 sec 0.00 mb sat aigbmc lmcs06dme3p2 0 -1 900.07 sec 899.43 sec 45.80 mb tim aigbmc cuom2 0 -1 900.07 sec 899.63 sec 63.20 mb tim aigbmc cuads12 1 18 26.22 sec 26.09 sec 9.60 mb sat aigbmc cubak 0 -1 900.08 sec 899.63 sec 40.00 mb tim aigbmc cuhanoi10 0 -1 900.04 sec 899.33 sec 84.00 mb tim aigbmc lmcs06dme5p2 0 -1 900.07 sec 899.53 sec 55.70 mb tim aigbmc cunim3 1 8 0.34 sec 0.00 sec 0.00 mb sat aigbmc 6s205j00 0 -1 900.67 sec 900.21 sec 10456.30 mb tim aigbmc 6s203j57 0 -1 900.32 sec 899.59 sec 6738.50 mb tim aigbmc lmcs06srg5p2 1 2 0.86 sec 0.00 sec 0.00 mb sat aigbmc cutq1 0 -1 900.09 sec 899.73 sec 47.00 mb tim aigbmc cupts15 0 -1 900.08 sec 899.73 sec 63.10 mb tim aigbmc lmcs06short1 1 2 1.00 sec 0.00 sec 0.00 mb sat aigbmc 6s208j0 0 -1 900.09 sec 899.70 sec 485.30 mb tim aigbmc cuabq2mf 0 -1 900.07 sec 899.74 sec 33.50 mb tim aigbmc 6s200j0011 0 -1 900.46 sec 899.73 sec 6798.50 mb tim aigbmc lmcs06brp4 1 2 0.08 sec 0.00 sec 0.00 mb sat aigbmc 6s210j006 0 -1 900.02 sec 899.43 sec 216.40 mb tim aigbmc lmcs06abp4p3 1 20 6.38 sec 6.09 sec 7.50 mb sat aigbmc cuabq8f 0 -1 900.02 sec 899.73 sec 77.50 mb tim aigbmc 6s203j63 0 -1 900.48 sec 899.60 sec 7665.80 mb tim aigbmc cuhanoi7 1 20 10.04 sec 9.48 sec 6.70 mb sat aigbmc lmcs06bc57sp0 1 104 433.65 sec 433.31 sec 99.70 mb sat aigbmc lmcs06counter0 0 -1 22.96 sec 22.78 sec 37.40 mb --- aigbmc 6s364j00003 0 -1 900.23 sec 899.61 sec 9151.30 mb tim aigbmc 6s200j0000 0 -1 900.46 sec 900.13 sec 6775.80 mb tim aigbmc arbi0s08bugp03 1 5 0.63 sec 0.09 sec 0.00 mb sat aigbmc 6s204j12 0 -1 900.62 sec 900.11 sec 9180.90 mb tim aigbmc 6s219j11 0 -1 900.37 sec 899.87 sec 6832.20 mb tim aigbmc 6s218j0003 0 -1 900.36 sec 899.83 sec 7767.60 mb tim aigbmc cutarb4 0 -1 900.08 sec 899.13 sec 35.40 mb tim aigbmc arbi0s64p03 0 -1 900.06 sec 899.64 sec 354.90 mb tim aigbmc cunim2 0 -1 900.08 sec 899.62 sec 35.90 mb tim aigbmc arbixs08bugp03 1 5 0.15 sec 0.00 sec 0.00 mb sat aigbmc cucnt128 0 -1 17.25 sec 16.99 sec 211.20 mb --- aigbmc lmcs06dme5p3 0 -1 900.03 sec 899.74 sec 66.90 mb tim aigbmc 6s203j04 0 -1 900.48 sec 899.52 sec 7238.60 mb tim aigbmc arbi0s16p03 0 -1 900.09 sec 899.53 sec 59.50 mb tim aigbmc lmcs06prodcell1 1 127 3.52 sec 2.70 sec 53.80 mb sat aigbmc lmcs06brp3 1 25 39.28 sec 39.19 sec 12.30 mb sat aigbmc lmcs06dme6p4 1 2 0.22 sec 0.00 sec 0.00 mb sat aigbmc 6s203j17 0 -1 900.56 sec 899.72 sec 7875.80 mb tim aigbmc cutarb16 0 -1 900.04 sec 899.73 sec 68.70 mb tim aigbmc lmcs06srg5p1 1 8 1.05 sec 0.00 sec 0.00 mb sat aigbmc lmcs06ring1 1 8 0.26 sec 0.00 sec 0.00 mb sat aigbmc cupts14 0 -1 900.05 sec 899.63 sec 56.90 mb tim aigbmc cuads11 1 18 27.90 sec 27.78 sec 9.80 mb sat aigbmc 6s210j052 0 -1 900.09 sec 899.32 sec 222.40 mb tim aigbmc lmcs06ring0 0 -1 900.04 sec 899.01 sec 55.90 mb tim aigbmc 6s213j001 0 -1 900.14 sec 899.72 sec 2589.60 mb tim aigbmc 6s204j63 0 -1 900.59 sec 899.91 sec 9167.90 mb tim aigbmc lmcs06prodcell2 0 -1 193.28 sec 192.54 sec 372.70 mb --- aigbmc cuffl09 0 -1 900.04 sec 899.42 sec 54.70 mb tim aigbmc lmcs06brp0 0 -1 85.47 sec 84.57 sec 272.90 mb --- aigbmc 6s205j57 0 -1 900.52 sec 899.77 sec 7073.80 mb tim aigbmc 6s214j3 0 -1 900.06 sec 899.63 sec 410.40 mb tim aigbmc cucab10 1 43 0.89 sec 0.68 sec 5.00 mb sat aigbmc cuasq10 1 19 20.37 sec 20.09 sec 8.90 mb sat aigbmc cucnt10 0 -1 1.70 sec 1.29 sec 12.40 mb --- aigbmc cufq2 1 23 675.82 sec 674.97 sec 59.40 mb sat aigbmc 6s213j000 0 -1 900.21 sec 899.70 sec 2028.40 mb tim aigbmc cuom3 0 -1 900.08 sec 899.32 sec 50.80 mb tim aigbmc cuffl10 0 -1 900.06 sec 899.82 sec 167.50 mb tim aigbmc lmcs06srg5p0 0 -1 900.07 sec 899.13 sec 199.20 mb tim aigbmc 6s220 0 -1 900.25 sec 899.62 sec 2720.90 mb tim aigbmc 6s218j0011 0 -1 900.36 sec 899.92 sec 7759.70 mb tim aigbmc lmcs06dme6p2 0 -1 900.06 sec 899.54 sec 64.90 mb tim aigbmc lmcs06dme4p1 1 2 0.28 sec 0.00 sec 0.00 mb sat aigbmc 6s202j71 0 -1 900.58 sec 899.62 sec 8229.50 mb tim aigbmc lmcs06brp1 1 2 0.74 sec 0.00 sec 0.00 mb sat aigbmc cupts16 0 -1 900.09 sec 899.55 sec 59.80 mb tim aigbmc 6s307j00 1 16 7.23 sec 6.39 sec 116.60 mb sat aigbmc 6s205j30 0 -1 900.63 sec 900.31 sec 10367.70 mb tim aigbmc arbi0s08p03 0 -1 900.08 sec 898.94 sec 35.40 mb tim aigbmc 6s203j14 0 -1 900.46 sec 899.71 sec 6695.70 mb tim aigbmc lmcs06mutex1 1 7 0.52 sec 0.00 sec 0.00 mb sat aigbmc lmcs06dme3p0 1 64 136.99 sec 136.57 sec 28.30 mb sat aigbmc cucab11 0 -1 116.31 sec 115.96 sec 323.70 mb --- aigbmc 6s219j05 0 -1 900.43 sec 899.90 sec 6823.80 mb tim aigbmc 6s219j00 0 -1 900.47 sec 900.03 sec 6772.30 mb tim aigbmc 6s200j0001 0 -1 900.48 sec 899.93 sec 6956.80 mb tim aigbmc cujc32 0 -1 900.02 sec 899.84 sec 57.40 mb tim aigbmc 6s215j0 0 -1 900.09 sec 899.73 sec 130.20 mb tim aigbmc cutf1 0 -1 900.08 sec 899.23 sec 41.90 mb tim aigbmc cucnt32 0 -1 3.54 sec 3.40 sec 39.50 mb --- aigbmc cuabq8mf 0 -1 900.08 sec 899.73 sec 63.50 mb tim aigbmc arbi0s32p03 0 -1 900.08 sec 899.73 sec 127.40 mb tim aigbmc 6s214j0 0 -1 900.06 sec 899.63 sec 393.80 mb tim aigbmc 6s202j04 0 -1 900.35 sec 899.23 sec 6698.10 mb tim aigbmc lmcs06dme6p1 1 2 0.18 sec 0.00 sec 0.00 mb sat aigbmc cucab12 0 -1 130.43 sec 130.22 sec 284.90 mb --- aigbmc arbi0s16bugp03 1 9 0.98 sec 0.70 sec 6.20 mb sat aigbmc lmcs06counter1 1 9 0.19 sec 0.00 sec 0.00 mb sat aigbmc 6s216j0 0 -1 900.03 sec 899.49 sec 139.50 mb tim aigbmc cucab09 0 -1 286.34 sec 285.99 sec 287.70 mb --- aigbmc 6s205j23 0 -1 900.67 sec 899.62 sec 10354.20 mb tim aigbmc 6s210j039 0 -1 900.11 sec 899.13 sec 220.60 mb tim aigbmc lmcs06bc57sp6 1 104 317.67 sec 317.23 sec 102.40 mb sat aigbmc cutf2 1 7 0.84 sec 0.29 sec 3.20 mb sat aigbmc 6s218j0019 0 -1 900.33 sec 899.92 sec 7768.20 mb tim aigbmc cucnt12 0 -1 2.49 sec 1.61 sec 13.10 mb --- aigbmc 6s201j36 0 -1 900.60 sec 899.88 sec 8253.70 mb tim aigbmc 6s211 0 -1 900.41 sec 900.00 sec 4441.90 mb tim aigbmc arbixs08p03 0 -1 900.02 sec 898.94 sec 38.40 mb tim aigbmc lmcs06bc57sp2 0 -1 900.09 sec 899.51 sec 107.90 mb tim aigbmc 6s201j38 0 -1 900.55 sec 900.12 sec 7725.10 mb tim aigbmc cuffl11 0 -1 74.73 sec 74.48 sec 475.30 mb --- aigbmc cujc12 0 -1 900.06 sec 899.25 sec 30.60 mb tim aigbmc lmcs06bc57sp4 1 104 526.33 sec 525.90 sec 106.80 mb sat aigbmc 6s202j30 0 -1 900.51 sec 899.52 sec 6689.30 mb tim aigbmc 6s200j0010 0 -1 900.54 sec 899.62 sec 6870.40 mb tim aigbmc cuabq4mf 0 -1 900.05 sec 899.23 sec 40.60 mb tim aigbmc 6s210j116 0 -1 900.11 sec 899.71 sec 209.90 mb tim aigbmc lmcs06dme3p3 1 61 93.51 sec 93.37 sec 24.30 mb sat aigbmc 6s205j21 0 -1 900.54 sec 900.03 sec 6320.30 mb tim aigbmc cufq1 0 -1 900.01 sec 899.43 sec 58.90 mb tim aigbmc 6s364j00005 0 -1 185.53 sec 184.45 sec 15006.90 mb mem aigbmc 6s364j00002 0 -1 900.31 sec 899.52 sec 9151.30 mb tim aigbmc 6s202j40 0 -1 900.49 sec 899.48 sec 7060.00 mb tim aigbmc 6s202j17 0 -1 900.41 sec 899.42 sec 6698.30 mb tim aigbmc lmcs06abp4p2 0 -1 900.11 sec 899.82 sec 42.40 mb tim aigbmc lmcs06bc57sp5 1 104 277.46 sec 277.12 sec 81.70 mb sat aigbmc 6s201j34 0 -1 900.61 sec 900.10 sec 7882.20 mb tim aigbmc arbixs64bugp03 0 -1 900.06 sec 899.45 sec 210.90 mb tim aigbmc lmcs06bc57sp3 0 -1 900.04 sec 899.64 sec 112.40 mb tim aigbmc lmcs06prodcell6 0 -1 63.98 sec 63.58 sec 360.60 mb --- aigbmc cuffl12 1 4 0.31 sec 0.09 sec 0.00 mb sat aigbmc 6s204j20 0 -1 900.63 sec 900.15 sec 9162.50 mb tim aigbmc 6s208j5 1 56 699.64 sec 699.26 sec 362.40 mb sat aigbmc 6s217j1 0 -1 375.13 sec 374.92 sec 1799.10 mb --- aigbmc cutf3 0 -1 900.06 sec 899.72 sec 48.90 mb tim ls4 6s201j18 -1 -1 92.97 sec 92.67 sec 3113.60 mb uns ls4 6s219j06 1 -1 97.25 sec 96.97 sec 11492.50 mb sat ls4 cucab13 -1 -1 98.02 sec 97.78 sec 280.20 mb uns ls4 arbixs16p03 0 -1 900.04 sec 899.71 sec 259.10 mb tim ls4 lmcs06brp2 0 -1 900.22 sec 899.84 sec 1456.60 mb tim ls4 cutarb32 0 -1 900.09 sec 899.53 sec 1062.60 mb tim ls4 6s217j0 0 -1 900.10 sec 899.72 sec 810.00 mb tim ls4 cuabq4f 0 -1 900.19 sec 899.10 sec 1128.40 mb tim ls4 cutarb8 0 -1 900.13 sec 899.20 sec 1064.40 mb tim ls4 6s218j0002 0 -1 119.24 sec 118.37 sec 15001.60 mb mem ls4 6s201j40 0 -1 900.28 sec 899.71 sec 3391.90 mb tim ls4 cusarb32 0 -1 900.24 sec 899.72 sec 2216.50 mb tim ls4 lmcs06prodcell3 -1 -1 111.71 sec 111.37 sec 96.00 mb uns ls4 lmcs06dme4p3 0 -1 900.29 sec 899.93 sec 2504.30 mb tim ls4 6s219j16 1 -1 120.17 sec 119.95 sec 13346.50 mb sat ls4 6s204j57 0 -1 131.17 sec 130.87 sec 15000.00 mb mem ls4 6s202j01 0 -1 900.28 sec 899.59 sec 2718.80 mb tim ls4 lmcs06dme6p3 0 -1 900.24 sec 899.74 sec 2335.90 mb tim ls4 cuasq11 1 -1 0.82 sec 0.20 sec 4.90 mb sat ls4 6s204j30 0 -1 178.81 sec 178.03 sec 15004.20 mb mem ls4 lmcs06dme4p4 1 -1 0.16 sec 0.00 sec 0.00 mb sat ls4 6s208j3 1 -1 126.18 sec 125.86 sec 2384.60 mb sat ls4 lmcs06abp4p4 -1 -1 0.40 sec 0.00 sec 0.00 mb uns ls4 6s205j34 0 -1 900.22 sec 899.72 sec 2565.50 mb tim ls4 6s210j090 0 -1 900.13 sec 899.93 sec 1056.20 mb tim ls4 cusarb16 0 -1 900.12 sec 899.62 sec 1183.40 mb tim ls4 6s364j00000 0 -1 900.91 sec 900.43 sec 12234.30 mb tim ls4 6s210j093 0 -1 900.17 sec 899.51 sec 954.70 mb tim ls4 6s208j1 0 -1 900.62 sec 900.13 sec 7160.50 mb tim ls4 6s200j0012 0 -1 900.15 sec 899.62 sec 1776.50 mb tim ls4 6s364j00001 0 -1 900.94 sec 900.42 sec 12886.90 mb tim ls4 cuads13 1 -1 0.90 sec 0.29 sec 5.30 mb sat ls4 6s204j21 0 -1 152.68 sec 152.46 sec 15004.20 mb mem ls4 lmcs06dme5p0 0 -1 900.22 sec 899.13 sec 2191.10 mb tim ls4 lmcs06dme6p0 0 -1 900.31 sec 899.23 sec 2315.70 mb tim ls4 lmcs06dme2p0 1 -1 2.47 sec 1.68 sec 22.70 mb sat ls4 cucnt3 -1 -1 0.07 sec 0.00 sec 0.00 mb uns ls4 6s203j30 0 -1 900.28 sec 899.72 sec 2684.30 mb tim ls4 lmcs06dme2p1 1 -1 1.05 sec 0.89 sec 12.60 mb sat ls4 6s210j065 0 -1 900.16 sec 899.54 sec 842.00 mb tim ls4 6s221j00 0 -1 900.13 sec 899.01 sec 1561.70 mb tim ls4 lmcs06mutex0 -1 -1 0.83 sec 0.00 sec 0.00 mb uns ls4 cuabq2f 0 -1 900.11 sec 899.62 sec 443.90 mb tim ls4 lmcs06abp4p0 1 -1 0.66 sec 0.10 sec 4.40 mb sat ls4 6s214j1 0 -1 900.10 sec 899.62 sec 543.20 mb tim ls4 culock -1 -1 9.54 sec 9.19 sec 13.00 mb uns ls4 arbixs64p03 0 -1 900.11 sec 899.44 sec 983.70 mb tim ls4 arbixs16bugp03 0 -1 900.07 sec 899.63 sec 269.00 mb tim ls4 6s206j000 0 -1 900.11 sec 898.92 sec 966.90 mb tim ls4 lmcs06prodcell0 1 -1 342.84 sec 342.33 sec 578.10 mb sat ls4 6s203j20 0 -1 233.68 sec 232.65 sec 15000.70 mb mem ls4 lmcs06dme3p4 1 -1 0.48 sec 0.00 sec 0.00 mb sat ls4 6s201j20 -1 -1 94.41 sec 93.97 sec 3143.80 mb uns ls4 6s204j39 0 -1 900.14 sec 899.59 sec 1170.30 mb tim ls4 cugbak 0 -1 900.17 sec 899.62 sec 1509.10 mb tim ls4 lmcs06abp4p1 -1 -1 2.06 sec 1.18 sec 7.90 mb uns ls4 arbi0s64bugp03 0 -1 900.13 sec 899.54 sec 1367.20 mb tim ls4 6s212 0 -1 900.07 sec 899.61 sec 509.80 mb tim ls4 lmcs06short0 -1 -1 0.20 sec 0.00 sec 0.00 mb uns ls4 arbixs32p03 0 -1 900.10 sec 899.60 sec 971.90 mb tim ls4 6s213j002 0 -1 900.06 sec 899.53 sec 355.40 mb tim ls4 cutq2 1 -1 0.94 sec 0.08 sec 0.00 mb sat ls4 6s200j0016 0 -1 900.16 sec 899.09 sec 1525.90 mb tim ls4 6s205j39 0 -1 900.17 sec 899.71 sec 1967.70 mb tim ls4 6s202j79 0 -1 900.20 sec 899.72 sec 1981.60 mb tim ls4 lmcs06prodcell4 -1 -1 45.65 sec 44.66 sec 90.10 mb uns ls4 lmcs06prodcell8 1 -1 2.25 sec 2.10 sec 34.90 mb sat ls4 lmcs06dme3p1 1 -1 0.12 sec 0.00 sec 0.00 mb sat ls4 cunim1 0 -1 900.07 sec 898.93 sec 710.00 mb tim ls4 6s208j4 1 -1 99.56 sec 99.37 sec 1917.20 mb sat ls4 6s214j2 0 -1 900.18 sec 899.82 sec 988.70 mb tim ls4 lmcs06prodcell7 1 -1 332.85 sec 332.23 sec 467.80 mb sat ls4 lmcs06bc57sp1 -1 -1 48.20 sec 47.86 sec 217.60 mb uns ls4 cujc128f 1 -1 0.31 sec 0.00 sec 0.00 mb sat ls4 lmcs06dme4p0 0 -1 900.22 sec 899.73 sec 2592.10 mb tim ls4 6s200j0005 0 -1 900.58 sec 900.12 sec 6859.90 mb tim ls4 lmcs06prodcell9 1 -1 2.35 sec 2.29 sec 35.60 mb sat ls4 cuhanoi4 1 -1 0.74 sec 0.00 sec 0.00 mb sat ls4 6s218j0015 0 -1 114.39 sec 113.87 sec 15006.70 mb mem ls4 lmcs06dme2p2 1 -1 0.57 sec 0.00 sec 0.00 mb sat ls4 cuom1 0 -1 900.40 sec 899.93 sec 4195.80 mb tim ls4 cugcd 0 -1 900.12 sec 899.02 sec 1002.30 mb tim ls4 6s201j19 0 -1 253.42 sec 252.32 sec 15003.20 mb mem ls4 cuasq12 1 -1 0.83 sec 0.00 sec 0.00 mb sat ls4 arbi0s32bugp03 0 -1 900.13 sec 899.23 sec 756.10 mb tim ls4 lmcs06prodcell5 0 -1 900.10 sec 899.03 sec 971.90 mb tim ls4 arbixs32bugp03 0 -1 900.13 sec 899.21 sec 663.50 mb tim ls4 cujc128 0 -1 836.11 sec 835.64 sec 15000.80 mb mem ls4 6s208j2 0 -1 900.62 sec 899.94 sec 8413.20 mb tim ls4 lmcs06dme4p2 0 -1 900.28 sec 899.33 sec 2472.10 mb tim ls4 lmcs06dme5p4 1 -1 0.75 sec 0.00 sec 0.00 mb sat ls4 lmcs06dme5p1 1 -1 0.28 sec 0.00 sec 0.00 mb sat ls4 lmcs06dme3p2 0 -1 900.36 sec 900.02 sec 3385.90 mb tim ls4 cuom2 0 -1 900.38 sec 899.93 sec 4422.20 mb tim ls4 cuads12 1 -1 0.72 sec 0.20 sec 4.60 mb sat ls4 cubak 1 -1 61.59 sec 61.28 sec 57.10 mb sat ls4 cuhanoi10 1 -1 20.64 sec 19.59 sec 41.80 mb sat ls4 lmcs06dme5p2 0 -1 900.22 sec 899.63 sec 2454.90 mb tim ls4 cunim3 1 -1 0.38 sec 0.00 sec 0.00 mb sat ls4 6s205j00 0 -1 900.18 sec 899.82 sec 2485.30 mb tim ls4 6s203j57 0 -1 224.61 sec 223.85 sec 15005.10 mb mem ls4 lmcs06srg5p2 1 -1 0.26 sec 0.00 sec 0.00 mb sat ls4 cutq1 0 -1 900.23 sec 899.93 sec 1844.00 mb tim ls4 cupts15 1 -1 7.60 sec 7.39 sec 33.00 mb sat ls4 lmcs06short1 1 -1 0.34 sec 0.00 sec 0.00 mb sat ls4 6s208j0 0 -1 900.09 sec 899.71 sec 620.10 mb tim ls4 cuabq2mf 0 -1 900.09 sec 899.72 sec 620.90 mb tim ls4 6s200j0011 0 -1 900.33 sec 899.81 sec 4004.00 mb tim ls4 lmcs06brp4 1 -1 0.33 sec 0.00 sec 0.00 mb sat ls4 6s210j006 0 -1 900.16 sec 899.73 sec 1615.70 mb tim ls4 lmcs06abp4p3 1 -1 0.33 sec 0.10 sec 4.00 mb sat ls4 cuabq8f 0 -1 900.09 sec 899.33 sec 752.90 mb tim ls4 6s203j63 0 -1 900.29 sec 899.92 sec 2657.30 mb tim ls4 cuhanoi7 1 -1 0.55 sec 0.19 sec 2.90 mb sat ls4 lmcs06bc57sp0 1 -1 1.09 sec 0.99 sec 21.80 mb sat ls4 lmcs06counter0 -1 -1 0.47 sec 0.00 sec 0.00 mb uns ls4 6s364j00003 0 -1 900.96 sec 900.01 sec 12377.40 mb tim ls4 6s200j0000 0 -1 900.41 sec 900.03 sec 4330.10 mb tim ls4 arbi0s08bugp03 1 -1 0.99 sec 0.00 sec 0.00 mb sat ls4 6s204j12 0 -1 169.76 sec 169.44 sec 15005.60 mb mem ls4 6s219j11 1 -1 77.07 sec 76.68 sec 8236.70 mb sat ls4 6s218j0003 0 -1 900.08 sec 899.71 sec 1100.20 mb tim ls4 cutarb4 -1 -1 5.99 sec 5.78 sec 15.10 mb uns ls4 arbi0s64p03 0 -1 900.08 sec 899.61 sec 1309.50 mb tim ls4 cunim2 0 -1 900.09 sec 899.33 sec 854.10 mb tim ls4 arbixs08bugp03 1 -1 0.41 sec 0.00 sec 0.00 mb sat ls4 cucnt128 0 -1 901.30 sec 900.79 sec 14939.40 mb tim ls4 lmcs06dme5p3 0 -1 900.30 sec 900.03 sec 2257.90 mb tim ls4 6s203j04 0 -1 900.22 sec 899.30 sec 2573.10 mb tim ls4 arbi0s16p03 0 -1 900.10 sec 899.52 sec 297.60 mb tim ls4 lmcs06prodcell1 1 -1 2.88 sec 2.49 sec 37.70 mb sat ls4 lmcs06brp3 1 -1 1.18 sec 0.99 sec 11.20 mb sat ls4 lmcs06dme6p4 1 -1 0.75 sec 0.00 sec 0.00 mb sat ls4 6s203j17 0 -1 236.69 sec 236.26 sec 15006.50 mb mem ls4 cutarb16 0 -1 900.13 sec 899.42 sec 1509.00 mb tim ls4 lmcs06srg5p1 1 -1 0.43 sec 0.00 sec 0.00 mb sat ls4 lmcs06ring1 1 -1 0.67 sec 0.00 sec 0.00 mb sat ls4 cupts14 1 -1 7.73 sec 6.69 sec 30.40 mb sat ls4 cuads11 1 -1 0.44 sec 0.19 sec 4.70 mb sat ls4 6s210j052 0 -1 900.12 sec 899.53 sec 556.20 mb tim ls4 lmcs06ring0 -1 -1 0.53 sec 0.00 sec 0.00 mb uns ls4 6s213j001 0 -1 900.14 sec 899.52 sec 426.00 mb tim ls4 6s204j63 0 -1 175.87 sec 175.53 sec 15007.10 mb mem ls4 lmcs06prodcell2 -1 -1 13.78 sec 13.69 sec 78.90 mb uns ls4 cuffl09 -1 -1 12.09 sec 11.69 sec 21.30 mb uns ls4 lmcs06brp0 -1 -1 0.19 sec 0.00 sec 0.00 mb uns ls4 6s205j57 0 -1 222.80 sec 222.15 sec 15008.60 mb mem ls4 6s214j3 0 -1 900.10 sec 899.52 sec 1014.60 mb tim ls4 cucab10 1 -1 1.26 sec 0.97 sec 12.10 mb sat ls4 cuasq10 1 -1 0.58 sec 0.10 sec 3.70 mb sat ls4 cucnt10 -1 -1 378.12 sec 377.22 sec 3492.30 mb uns ls4 cufq2 1 -1 7.57 sec 7.08 sec 651.10 mb sat ls4 6s213j000 -1 -1 12.78 sec 12.39 sec 193.30 mb uns ls4 cuom3 0 -1 900.37 sec 899.43 sec 4454.40 mb tim ls4 cuffl10 -1 -1 22.69 sec 22.19 sec 33.30 mb uns ls4 lmcs06srg5p0 -1 -1 0.31 sec 0.00 sec 0.00 mb uns ls4 6s220 0 -1 900.15 sec 899.72 sec 620.00 mb tim ls4 6s218j0011 0 -1 900.24 sec 899.51 sec 1894.10 mb tim ls4 lmcs06dme6p2 0 -1 900.23 sec 899.32 sec 2547.30 mb tim ls4 lmcs06dme4p1 1 -1 0.65 sec 0.00 sec 0.00 mb sat ls4 6s202j71 0 -1 900.27 sec 899.72 sec 2664.60 mb tim ls4 lmcs06brp1 1 -1 0.05 sec 0.00 sec 0.00 mb sat ls4 cupts16 1 -1 11.95 sec 10.98 sec 43.00 mb sat ls4 6s307j00 1 -1 20.79 sec 20.49 sec 310.80 mb sat ls4 6s205j30 0 -1 900.22 sec 899.80 sec 2633.40 mb tim ls4 arbi0s08p03 0 -1 900.05 sec 898.93 sec 245.50 mb tim ls4 6s203j14 0 -1 258.22 sec 257.24 sec 15015.20 mb mem ls4 lmcs06mutex1 1 -1 0.96 sec 0.00 sec 0.00 mb sat ls4 lmcs06dme3p0 1 -1 107.61 sec 106.87 sec 611.40 mb sat ls4 cucab11 -1 -1 275.05 sec 274.54 sec 914.80 mb uns ls4 6s219j05 1 -1 59.70 sec 59.38 sec 6208.20 mb sat ls4 6s219j00 1 -1 85.38 sec 84.97 sec 9049.20 mb sat ls4 6s200j0001 0 -1 900.65 sec 900.09 sec 8051.60 mb tim ls4 cujc32 0 -1 900.21 sec 899.21 sec 2402.70 mb tim ls4 6s215j0 0 -1 900.08 sec 899.20 sec 750.90 mb tim ls4 cutf1 0 -1 900.20 sec 899.73 sec 1701.10 mb tim ls4 cucnt32 0 -1 900.92 sec 899.91 sec 10925.30 mb tim ls4 cuabq8mf 0 -1 900.20 sec 899.53 sec 974.20 mb tim ls4 arbi0s32p03 0 -1 900.07 sec 899.30 sec 655.10 mb tim ls4 6s214j0 0 -1 900.16 sec 899.52 sec 956.20 mb tim ls4 6s202j04 0 -1 900.21 sec 899.43 sec 2687.30 mb tim ls4 lmcs06dme6p1 1 -1 0.59 sec 0.00 sec 0.00 mb sat ls4 cucab12 -1 -1 256.82 sec 256.03 sec 715.70 mb uns ls4 arbi0s16bugp03 0 -1 900.07 sec 899.81 sec 249.20 mb tim ls4 lmcs06counter1 1 -1 0.61 sec 0.00 sec 0.00 mb sat ls4 6s216j0 0 -1 900.18 sec 899.64 sec 1194.80 mb tim ls4 cucab09 -1 -1 76.78 sec 76.48 sec 261.30 mb uns ls4 6s205j23 0 -1 235.53 sec 234.62 sec 15007.40 mb mem ls4 6s210j039 0 -1 900.15 sec 899.53 sec 890.40 mb tim ls4 lmcs06bc57sp6 1 -1 1.61 sec 1.20 sec 25.70 mb sat ls4 cutf2 1 -1 0.80 sec 0.00 sec 0.00 mb sat ls4 6s218j0019 0 -1 116.83 sec 116.16 sec 15007.50 mb mem ls4 cucnt12 0 -1 900.58 sec 899.53 sec 6999.00 mb tim ls4 6s201j36 -1 -1 94.37 sec 94.07 sec 3124.30 mb uns ls4 6s211 1 -1 155.15 sec 154.87 sec 6010.60 mb sat ls4 arbixs08p03 0 -1 900.03 sec 899.63 sec 218.30 mb tim ls4 lmcs06bc57sp2 -1 -1 223.17 sec 222.35 sec 573.90 mb uns ls4 6s201j38 -1 -1 93.19 sec 92.76 sec 3141.30 mb uns ls4 cuffl11 -1 -1 0.19 sec 0.00 sec 0.00 mb uns ls4 cujc12 0 -1 900.41 sec 899.32 sec 4606.90 mb tim ls4 lmcs06bc57sp4 1 -1 60.08 sec 59.18 sec 93.70 mb sat ls4 6s202j30 0 -1 900.29 sec 899.52 sec 2702.90 mb tim ls4 6s200j0010 0 -1 900.39 sec 899.40 sec 4157.10 mb tim ls4 cuabq4mf 0 -1 900.16 sec 899.73 sec 2054.30 mb tim ls4 6s210j116 0 -1 900.22 sec 899.03 sec 1220.80 mb tim ls4 lmcs06dme3p3 1 -1 81.49 sec 80.68 sec 491.60 mb sat ls4 6s205j21 0 -1 235.77 sec 235.35 sec 15014.40 mb mem ls4 cufq1 0 -1 900.11 sec 899.50 sec 899.20 mb tim ls4 6s364j00005 0 -1 900.99 sec 900.60 sec 12989.40 mb tim ls4 6s364j00002 0 -1 900.92 sec 900.42 sec 12664.80 mb tim ls4 6s202j40 0 -1 209.72 sec 209.04 sec 15001.80 mb mem ls4 6s202j17 0 -1 234.15 sec 233.75 sec 15008.00 mb mem ls4 lmcs06abp4p2 -1 -1 1.42 sec 1.30 sec 8.00 mb uns ls4 lmcs06bc57sp5 1 -1 1.70 sec 1.49 sec 24.20 mb sat ls4 6s201j34 -1 -1 94.28 sec 93.96 sec 3141.00 mb uns ls4 arbixs64bugp03 0 -1 900.07 sec 899.73 sec 1238.00 mb tim ls4 lmcs06bc57sp3 -1 -1 45.61 sec 45.49 sec 206.70 mb uns ls4 lmcs06prodcell6 0 -1 900.17 sec 899.12 sec 953.80 mb tim ls4 cuffl12 1 -1 0.32 sec 0.00 sec 0.00 mb sat ls4 6s204j20 0 -1 153.63 sec 153.36 sec 15008.50 mb mem ls4 6s208j5 1 -1 136.03 sec 135.86 sec 2601.40 mb sat ls4 6s217j1 0 -1 900.14 sec 899.43 sec 852.40 mb tim ls4 cutf3 0 -1 900.20 sec 899.62 sec 1885.30 mb tim tiprbmc 6s201j18 0 -1 900.12 sec 899.49 sec 245.80 mb tim tiprbmc 6s219j06 0 55 900.04 sec 899.26 sec 286.40 mb tim tiprbmc cucab13 0 281 900.04 sec 898.92 sec 45.80 mb tim tiprbmc arbixs16p03 0 16 900.05 sec 899.54 sec 143.70 mb tim tiprbmc lmcs06brp2 -1 16 0.83 sec 0.30 sec 5.10 mb uns tiprbmc cutarb32 0 37 900.06 sec 899.31 sec 101.60 mb tim tiprbmc 6s217j0 -1 53 12.03 sec 11.57 sec 23.40 mb uns tiprbmc cuabq4f -1 12 4.63 sec 4.29 sec 7.30 mb uns tiprbmc cutarb8 -1 21 12.13 sec 11.60 sec 11.70 mb uns tiprbmc 6s218j0002 0 55 900.03 sec 899.44 sec 267.50 mb tim tiprbmc 6s201j40 0 -1 900.09 sec 899.52 sec 245.90 mb tim tiprbmc cusarb32 -1 -1 0.80 sec 0.00 sec 0.00 mb uns tiprbmc lmcs06prodcell3 -1 617 137.95 sec 137.57 sec 98.50 mb uns tiprbmc lmcs06dme4p3 1 81 535.75 sec 535.28 sec 85.60 mb sat tiprbmc 6s219j16 0 55 900.06 sec 898.86 sec 273.70 mb tim tiprbmc 6s204j57 0 -1 900.07 sec 898.96 sec 49.40 mb tim tiprbmc 6s202j01 0 -1 900.06 sec 899.39 sec 256.00 mb tim tiprbmc lmcs06dme6p3 0 89 900.07 sec 899.44 sec 190.40 mb tim tiprbmc cuasq11 1 19 201.91 sec 201.55 sec 17.80 mb sat tiprbmc 6s204j30 0 -1 900.04 sec 899.48 sec 49.50 mb tim tiprbmc lmcs06dme4p4 1 4 1.11 sec 0.19 sec 1.20 mb sat tiprbmc 6s208j3 1 38 13.49 sec 13.19 sec 10.00 mb sat tiprbmc lmcs06abp4p4 -1 13 1.13 sec 0.69 sec 4.10 mb uns tiprbmc 6s205j34 0 -1 900.06 sec 899.57 sec 255.20 mb tim tiprbmc 6s210j090 -1 129 866.65 sec 866.09 sec 129.40 mb uns tiprbmc cusarb16 -1 -1 0.16 sec 0.00 sec 0.00 mb uns tiprbmc 6s364j00000 0 347 900.05 sec 899.41 sec 468.10 mb tim tiprbmc 6s210j093 0 97 900.08 sec 899.51 sec 115.50 mb tim tiprbmc 6s208j1 1 30 2.57 sec 2.17 sec 5.70 mb sat tiprbmc 6s200j0012 0 -1 900.02 sec 899.40 sec 53.50 mb tim tiprbmc 6s364j00001 -1 167 59.36 sec 59.02 sec 44.60 mb uns tiprbmc cuads13 0 14 900.06 sec 899.64 sec 43.10 mb tim tiprbmc 6s204j21 0 -1 900.06 sec 899.52 sec 49.40 mb tim tiprbmc lmcs06dme5p0 0 83 900.02 sec 899.63 sec 161.60 mb tim tiprbmc lmcs06dme6p0 0 84 900.10 sec 899.64 sec 122.40 mb tim tiprbmc lmcs06dme2p0 1 44 4.19 sec 3.89 sec 8.00 mb sat tiprbmc cucnt3 -1 9 0.35 sec 0.00 sec 0.00 mb uns tiprbmc 6s203j30 0 -1 900.06 sec 899.52 sec 255.80 mb tim tiprbmc lmcs06dme2p1 1 40 3.36 sec 2.58 sec 6.10 mb sat tiprbmc 6s210j065 0 105 900.08 sec 899.62 sec 109.40 mb tim tiprbmc 6s221j00 1 46 63.95 sec 62.92 sec 30.60 mb sat tiprbmc lmcs06mutex0 -1 6 0.15 sec 0.00 sec 0.00 mb uns tiprbmc cuabq2f -1 8 0.67 sec 0.40 sec 3.00 mb uns tiprbmc lmcs06abp4p0 1 19 5.21 sec 4.70 sec 7.90 mb sat tiprbmc 6s214j1 1 94 2.21 sec 1.60 sec 9.80 mb sat tiprbmc culock -1 24 9.61 sec 9.09 sec 6.00 mb uns tiprbmc arbixs64p03 0 64 900.07 sec 899.43 sec 274.40 mb tim tiprbmc arbixs16bugp03 1 11 1.39 sec 0.58 sec 5.20 mb sat tiprbmc 6s206j000 -1 53 1.34 sec 0.36 sec 4.00 mb uns tiprbmc lmcs06prodcell0 1 82 1.85 sec 1.67 sec 16.60 mb sat tiprbmc 6s203j20 0 -1 900.05 sec 899.53 sec 256.90 mb tim tiprbmc lmcs06dme3p4 1 4 0.54 sec 0.10 sec 1.10 mb sat tiprbmc 6s201j20 0 -1 900.12 sec 898.98 sec 246.10 mb tim tiprbmc 6s204j39 0 -1 900.05 sec 899.44 sec 49.30 mb tim tiprbmc cugbak 0 33 900.09 sec 899.73 sec 88.80 mb tim tiprbmc lmcs06abp4p1 -1 17 3.96 sec 3.29 sec 7.20 mb uns tiprbmc arbi0s64bugp03 0 32 900.06 sec 899.70 sec 304.40 mb tim tiprbmc 6s212 -1 75 8.03 sec 7.88 sec 22.90 mb uns tiprbmc lmcs06short0 -1 5 0.67 sec 0.00 sec 0.00 mb uns tiprbmc arbixs32p03 0 32 900.11 sec 899.63 sec 221.90 mb tim tiprbmc 6s213j002 -1 151 86.25 sec 85.81 sec 128.40 mb uns tiprbmc cutq2 1 14 1.87 sec 1.50 sec 6.00 mb sat tiprbmc 6s200j0016 0 -1 900.01 sec 899.62 sec 53.40 mb tim tiprbmc 6s205j39 0 -1 900.04 sec 899.61 sec 255.50 mb tim tiprbmc 6s202j79 0 -1 900.10 sec 899.52 sec 256.40 mb tim tiprbmc lmcs06prodcell4 -1 1113 463.19 sec 462.29 sec 178.30 mb uns tiprbmc lmcs06prodcell8 1 86 1.00 sec 0.79 sec 14.00 mb sat tiprbmc lmcs06dme3p1 1 4 0.67 sec 0.10 sec 1.00 mb sat tiprbmc cunim1 -1 -1 0.66 sec 0.27 sec 1.30 mb uns tiprbmc 6s208j4 1 34 4.44 sec 3.99 sec 7.40 mb sat tiprbmc 6s214j2 1 93 2.15 sec 1.59 sec 9.70 mb sat tiprbmc lmcs06prodcell7 1 82 1.68 sec 1.38 sec 14.70 mb sat tiprbmc lmcs06bc57sp1 -1 66 14.72 sec 14.38 sec 17.80 mb uns tiprbmc cujc128f 1 4 19.39 sec 19.07 sec 7.10 mb sat tiprbmc lmcs06dme4p0 0 78 900.07 sec 899.44 sec 138.60 mb tim tiprbmc 6s200j0005 0 -1 900.02 sec 899.54 sec 53.50 mb tim tiprbmc lmcs06prodcell9 1 128 1.90 sec 1.49 sec 20.20 mb sat tiprbmc cuhanoi4 1 8 1.00 sec 0.00 sec 0.00 mb sat tiprbmc 6s218j0015 0 55 900.06 sec 899.69 sec 276.30 mb tim tiprbmc lmcs06dme2p2 1 4 0.35 sec 0.10 sec 0.90 mb sat tiprbmc cuom1 -1 -1 0.73 sec 0.47 sec 1.40 mb uns tiprbmc cugcd -1 43 1.51 sec 1.20 sec 9.10 mb uns tiprbmc 6s201j19 0 -1 900.03 sec 899.40 sec 245.50 mb tim tiprbmc cuasq12 1 19 318.21 sec 317.84 sec 24.50 mb sat tiprbmc arbi0s32bugp03 1 19 14.76 sec 13.77 sec 25.20 mb sat tiprbmc lmcs06prodcell5 -1 929 324.03 sec 323.89 sec 143.60 mb uns tiprbmc arbixs32bugp03 1 19 109.28 sec 109.17 sec 73.60 mb sat tiprbmc cujc128 -1 -1 22.51 sec 21.66 sec 2.90 mb uns tiprbmc 6s208j2 1 34 5.96 sec 4.99 sec 7.40 mb sat tiprbmc lmcs06dme4p2 0 76 900.11 sec 899.74 sec 88.70 mb tim tiprbmc lmcs06dme5p4 1 4 0.83 sec 0.28 sec 1.30 mb sat tiprbmc lmcs06dme5p1 1 4 0.67 sec 0.27 sec 1.40 mb sat tiprbmc lmcs06dme3p2 0 83 900.04 sec 899.83 sec 141.90 mb tim tiprbmc cuom2 -1 5 7.45 sec 7.40 sec 7.70 mb uns tiprbmc cuads12 0 15 900.03 sec 899.53 sec 43.70 mb tim tiprbmc cubak 0 50 900.03 sec 899.64 sec 87.80 mb tim tiprbmc cuhanoi10 0 31 900.03 sec 899.53 sec 48.10 mb tim tiprbmc lmcs06dme5p2 0 79 900.04 sec 899.83 sec 131.60 mb tim tiprbmc cunim3 1 9 1.42 sec 0.39 sec 4.10 mb sat tiprbmc 6s205j00 0 -1 900.04 sec 899.49 sec 255.60 mb tim tiprbmc 6s203j57 0 -1 900.04 sec 899.73 sec 255.90 mb tim tiprbmc lmcs06srg5p2 1 4 0.21 sec 0.00 sec 0.00 mb sat tiprbmc cutq1 0 51 900.05 sec 899.63 sec 83.40 mb tim tiprbmc cupts15 0 32 900.10 sec 899.51 sec 66.50 mb tim tiprbmc lmcs06short1 1 4 0.02 sec 0.00 sec 0.00 mb sat tiprbmc 6s208j0 0 69 900.01 sec 899.24 sec 76.60 mb tim tiprbmc cuabq2mf -1 7 0.65 sec 0.10 sec 2.10 mb uns tiprbmc 6s200j0011 0 -1 900.08 sec 899.48 sec 53.10 mb tim tiprbmc lmcs06brp4 1 4 1.02 sec 0.10 sec 1.00 mb sat tiprbmc 6s210j006 0 105 900.06 sec 899.53 sec 124.50 mb tim tiprbmc lmcs06abp4p3 1 21 5.18 sec 4.79 sec 8.40 mb sat tiprbmc cuabq8f -1 19 212.17 sec 211.84 sec 74.90 mb uns tiprbmc 6s203j63 0 -1 900.06 sec 899.51 sec 256.50 mb tim tiprbmc cuhanoi7 1 20 12.88 sec 12.70 sec 6.90 mb sat tiprbmc lmcs06bc57sp0 1 104 177.76 sec 177.37 sec 43.30 mb sat tiprbmc lmcs06counter0 -1 21 0.35 sec 0.00 sec 0.00 mb uns tiprbmc 6s364j00003 -1 119 60.25 sec 59.83 sec 44.80 mb uns tiprbmc 6s200j0000 0 -1 900.01 sec 899.39 sec 53.40 mb tim tiprbmc arbi0s08bugp03 1 7 0.14 sec 0.00 sec 0.00 mb sat tiprbmc 6s204j12 0 -1 900.01 sec 899.47 sec 49.40 mb tim tiprbmc 6s219j11 0 63 900.05 sec 899.46 sec 325.90 mb tim tiprbmc 6s218j0003 0 55 900.06 sec 899.58 sec 273.50 mb tim tiprbmc cutarb4 -1 12 1.35 sec 0.89 sec 3.70 mb uns tiprbmc arbi0s64p03 0 64 900.08 sec 899.52 sec 489.80 mb tim tiprbmc cunim2 -1 25 188.61 sec 187.76 sec 38.10 mb uns tiprbmc arbixs08bugp03 1 7 1.04 sec 0.00 sec 0.00 mb sat tiprbmc cucnt128 -1 -1 5.79 sec 5.59 sec 1.40 mb uns tiprbmc lmcs06dme5p3 0 83 900.05 sec 899.51 sec 146.20 mb tim tiprbmc 6s203j04 0 -1 900.08 sec 899.33 sec 256.00 mb tim tiprbmc arbi0s16p03 0 16 900.06 sec 899.51 sec 71.90 mb tim tiprbmc lmcs06prodcell1 1 128 1.85 sec 1.79 sec 20.80 mb sat tiprbmc lmcs06brp3 1 25 46.98 sec 46.59 sec 24.80 mb sat tiprbmc lmcs06dme6p4 1 4 1.18 sec 0.39 sec 1.50 mb sat tiprbmc 6s203j17 0 -1 900.08 sec 899.62 sec 256.10 mb tim tiprbmc cutarb16 -1 47 302.23 sec 301.64 sec 62.90 mb uns tiprbmc lmcs06srg5p1 1 8 0.59 sec 0.00 sec 0.00 mb sat tiprbmc lmcs06ring1 1 9 0.83 sec 0.00 sec 0.00 mb sat tiprbmc cupts14 0 31 900.09 sec 899.53 sec 81.60 mb tim tiprbmc cuads11 0 14 900.04 sec 899.73 sec 46.40 mb tim tiprbmc 6s210j052 -1 113 696.63 sec 695.94 sec 123.20 mb uns tiprbmc lmcs06ring0 -1 9 0.47 sec 0.00 sec 0.00 mb uns tiprbmc 6s213j001 -1 135 42.28 sec 41.77 sec 110.40 mb uns tiprbmc 6s204j63 0 -1 900.01 sec 899.14 sec 49.20 mb tim tiprbmc lmcs06prodcell2 -1 609 85.85 sec 85.47 sec 89.90 mb uns tiprbmc cuffl09 -1 50 13.78 sec 13.19 sec 9.80 mb uns tiprbmc lmcs06brp0 -1 4 0.54 sec 0.10 sec 1.00 mb uns tiprbmc 6s205j57 0 -1 900.04 sec 899.49 sec 255.40 mb tim tiprbmc 6s214j3 0 512 900.02 sec 899.32 sec 120.80 mb tim tiprbmc cucab10 1 43 0.58 sec 0.28 sec 1.10 mb sat tiprbmc cuasq10 1 19 403.18 sec 402.13 sec 24.90 mb sat tiprbmc cucnt10 -1 -1 0.03 sec 0.00 sec 0.00 mb uns tiprbmc cufq2 1 24 887.61 sec 887.34 sec 98.30 mb sat tiprbmc 6s213j000 -1 -1 11.22 sec 10.18 sec 7.50 mb uns tiprbmc cuom3 -1 -1 0.64 sec 0.50 sec 1.50 mb uns tiprbmc cuffl10 -1 180 6.56 sec 5.98 sec 17.00 mb uns tiprbmc lmcs06srg5p0 -1 8 0.95 sec 0.10 sec 2.10 mb uns tiprbmc 6s220 0 -1 900.04 sec 899.51 sec 91.80 mb tim tiprbmc 6s218j0011 0 71 900.12 sec 899.59 sec 319.40 mb tim tiprbmc lmcs06dme6p2 0 87 900.09 sec 899.73 sec 161.40 mb tim tiprbmc lmcs06dme4p1 1 4 0.86 sec 0.30 sec 1.20 mb sat tiprbmc 6s202j71 0 -1 900.11 sec 899.70 sec 255.80 mb tim tiprbmc lmcs06brp1 1 4 1.02 sec 0.10 sec 1.00 mb sat tiprbmc cupts16 0 32 900.07 sec 899.54 sec 86.00 mb tim tiprbmc 6s307j00 1 14 4.71 sec 4.37 sec 6.10 mb sat tiprbmc 6s205j30 0 -1 900.04 sec 899.43 sec 255.60 mb tim tiprbmc arbi0s08p03 -1 10 570.69 sec 569.89 sec 29.90 mb uns tiprbmc 6s203j14 0 -1 900.11 sec 899.41 sec 256.00 mb tim tiprbmc lmcs06mutex1 1 8 0.50 sec 0.00 sec 0.00 mb sat tiprbmc lmcs06dme3p0 1 64 52.17 sec 51.19 sec 29.70 mb sat tiprbmc cucab11 -1 289 4.64 sec 3.70 sec 8.50 mb uns tiprbmc 6s219j05 0 55 900.04 sec 899.27 sec 273.90 mb tim tiprbmc 6s219j00 0 55 900.11 sec 899.61 sec 278.00 mb tim tiprbmc 6s200j0001 0 -1 900.08 sec 899.54 sec 53.50 mb tim tiprbmc cujc32 -1 -1 1.43 sec 0.50 sec 1.00 mb uns tiprbmc 6s215j0 0 36 900.09 sec 899.61 sec 80.50 mb tim tiprbmc cutf1 -1 21 397.10 sec 396.43 sec 44.10 mb uns tiprbmc cucnt32 -1 -1 0.44 sec 0.09 sec 0.90 mb uns tiprbmc cuabq8mf -1 17 108.76 sec 107.67 sec 37.20 mb uns tiprbmc arbi0s32p03 0 32 900.03 sec 899.52 sec 253.80 mb tim tiprbmc 6s214j0 1 93 2.22 sec 1.69 sec 9.70 mb sat tiprbmc 6s202j04 0 -1 900.07 sec 899.52 sec 256.60 mb tim tiprbmc lmcs06dme6p1 1 4 0.86 sec 0.49 sec 1.50 mb sat tiprbmc cucab12 -1 353 7.11 sec 6.69 sec 10.20 mb uns tiprbmc arbi0s16bugp03 1 11 0.50 sec 0.28 sec 4.00 mb sat tiprbmc lmcs06counter1 1 11 0.66 sec 0.00 sec 0.00 mb sat tiprbmc 6s216j0 0 38 900.05 sec 899.51 sec 62.30 mb tim tiprbmc cucab09 0 353 900.09 sec 899.73 sec 62.10 mb tim tiprbmc 6s205j23 0 -1 900.12 sec 899.58 sec 255.80 mb tim tiprbmc 6s210j039 -1 121 623.68 sec 623.08 sec 117.90 mb uns tiprbmc lmcs06bc57sp6 1 104 174.41 sec 173.92 sec 43.00 mb sat tiprbmc cutf2 1 8 1.43 sec 0.60 sec 2.70 mb sat tiprbmc 6s218j0019 0 55 900.04 sec 899.51 sec 267.20 mb tim tiprbmc cucnt12 -1 -1 0.85 sec 0.00 sec 0.00 mb uns tiprbmc 6s201j36 0 -1 900.03 sec 899.50 sec 245.90 mb tim tiprbmc 6s211 0 -1 900.10 sec 899.48 sec 55.00 mb tim tiprbmc arbixs08p03 0 10 900.02 sec 899.04 sec 42.70 mb tim tiprbmc lmcs06bc57sp2 -1 53 6.36 sec 5.38 sec 15.60 mb uns tiprbmc 6s201j38 0 -1 900.05 sec 899.52 sec 245.90 mb tim tiprbmc cuffl11 -1 -1 0.77 sec 0.00 sec 0.00 mb uns tiprbmc cujc12 -1 -1 0.40 sec 0.00 sec 0.00 mb uns tiprbmc lmcs06bc57sp4 1 105 208.67 sec 207.66 sec 47.80 mb sat tiprbmc 6s202j30 0 -1 900.09 sec 899.49 sec 255.80 mb tim tiprbmc 6s200j0010 0 -1 900.08 sec 899.48 sec 53.50 mb tim tiprbmc cuabq4mf -1 11 1.69 sec 1.59 sec 5.30 mb uns tiprbmc 6s210j116 0 97 900.05 sec 899.40 sec 114.30 mb tim tiprbmc lmcs06dme3p3 1 61 52.19 sec 51.88 sec 31.70 mb sat tiprbmc 6s205j21 0 -1 900.12 sec 899.63 sec 255.40 mb tim tiprbmc cufq1 0 59 900.04 sec 899.72 sec 104.20 mb tim tiprbmc 6s364j00005 -1 -1 46.49 sec 46.06 sec 44.90 mb uns tiprbmc 6s364j00002 -1 183 62.00 sec 61.59 sec 45.40 mb uns tiprbmc 6s202j40 0 -1 900.10 sec 899.53 sec 255.90 mb tim tiprbmc 6s202j17 0 -1 900.08 sec 899.61 sec 256.00 mb tim tiprbmc lmcs06abp4p2 -1 17 4.01 sec 3.59 sec 6.90 mb uns tiprbmc lmcs06bc57sp5 1 104 170.73 sec 170.26 sec 43.00 mb sat tiprbmc 6s201j34 0 -1 900.11 sec 899.48 sec 245.80 mb tim tiprbmc arbixs64bugp03 0 32 900.12 sec 899.63 sec 284.40 mb tim tiprbmc lmcs06bc57sp3 -1 67 10.57 sec 10.37 sec 18.50 mb uns tiprbmc lmcs06prodcell6 -1 1241 643.07 sec 642.55 sec 180.50 mb uns tiprbmc cuffl12 1 5 0.15 sec 0.00 sec 0.00 mb sat tiprbmc 6s204j20 0 -1 900.10 sec 899.20 sec 49.40 mb tim tiprbmc 6s208j5 1 28 1.94 sec 1.59 sec 5.40 mb sat tiprbmc 6s217j1 -1 53 15.10 sec 14.68 sec 23.40 mb uns tiprbmc cutf3 -1 10 1.09 sec 0.69 sec 3.80 mb uns v3 6s201j18 0 -1 407.35 sec 407.28 sec 358.20 mb s11 v3 6s219j06 0 -1 871.02 sec 2515.58 sec 15001.60 mb mem v3 cucab13 0 -1 900.22 sec 6812.70 sec 2026.70 mb tim v3 arbixs16p03 0 -1 900.39 sec 6759.90 sec 3488.30 mb tim v3 lmcs06brp2 -1 -1 7.77 sec 27.10 sec 71.60 mb uns v3 cutarb32 0 -1 900.11 sec 6574.48 sec 985.80 mb tim v3 6s217j0 -1 -1 67.41 sec 103.63 sec 652.30 mb uns v3 cuabq4f -1 -1 17.79 sec 56.90 sec 93.70 mb uns v3 cutarb8 -1 -1 29.76 sec 130.93 sec 139.30 mb uns v3 6s218j0002 0 -1 563.56 sec 563.14 sec 238.90 mb s11 v3 6s201j40 0 -1 421.92 sec 421.13 sec 315.70 mb s11 v3 cusarb32 -1 -1 14.62 sec 65.95 sec 413.50 mb uns v3 lmcs06prodcell3 0 -1 900.63 sec 6690.49 sec 6065.20 mb tim v3 lmcs06dme4p3 1 82 478.60 sec 2849.78 sec 802.00 mb sat v3 6s219j16 0 -1 901.55 sec 2965.15 sec 13789.40 mb tim v3 6s204j57 0 -1 901.56 sec 1713.13 sec 14618.80 mb tim v3 6s202j01 0 -1 436.01 sec 435.85 sec 262.70 mb s11 v3 lmcs06dme6p3 0 -1 900.24 sec 6802.13 sec 2413.40 mb tim v3 cuasq11 1 29 14.27 sec 65.57 sec 54.50 mb sat v3 6s204j30 0 -1 901.28 sec 2317.61 sec 12833.30 mb tim v3 lmcs06dme4p4 1 3 4.09 sec 7.91 sec 43.00 mb sat v3 6s208j3 0 -1 900.63 sec 5239.35 sec 4213.10 mb tim v3 lmcs06abp4p4 -1 -1 3.18 sec 7.39 sec 39.40 mb uns v3 6s205j34 0 -1 428.77 sec 428.23 sec 323.10 mb s11 v3 6s210j090 0 -1 900.28 sec 6425.51 sec 2774.80 mb tim v3 cusarb16 -1 -1 6.36 sec 22.66 sec 151.90 mb uns v3 6s364j00000 0 -1 139.58 sec 138.91 sec 589.70 mb s11 v3 6s210j093 0 -1 900.26 sec 6430.48 sec 2771.10 mb tim v3 6s208j1 1 31 377.62 sec 552.02 sec 1705.00 mb sat v3 6s200j0012 0 -1 713.62 sec 713.71 sec 307.40 mb s11 v3 6s364j00001 0 -1 134.08 sec 133.38 sec 596.30 mb s11 v3 cuads13 1 30 7.73 sec 27.76 sec 47.80 mb sat v3 6s204j21 0 -1 901.57 sec 2654.65 sec 13615.10 mb tim v3 lmcs06dme5p0 0 -1 900.23 sec 6816.82 sec 1762.70 mb tim v3 lmcs06dme6p0 0 -1 900.25 sec 6784.39 sec 1980.20 mb tim v3 lmcs06dme2p0 1 45 9.22 sec 33.49 sec 90.50 mb sat v3 cucnt3 -1 -1 2.52 sec 2.10 sec 34.80 mb uns v3 6s203j30 0 -1 408.33 sec 408.25 sec 313.40 mb s11 v3 lmcs06dme2p1 1 41 7.42 sec 22.86 sec 66.50 mb sat v3 6s210j065 0 -1 900.29 sec 6412.63 sec 2929.90 mb tim v3 6s221j00 0 -1 901.47 sec 2768.14 sec 14214.00 mb tim v3 lmcs06mutex0 -1 -1 2.66 sec 3.25 sec 34.60 mb uns v3 cuabq2f -1 -1 4.19 sec 8.31 sec 40.30 mb uns v3 lmcs06abp4p0 1 30 7.60 sec 21.64 sec 59.80 mb sat v3 6s214j1 0 -1 900.39 sec 6665.95 sec 3566.40 mb tim v3 culock -1 -1 20.59 sec 86.35 sec 155.10 mb uns v3 arbixs64p03 0 -1 900.28 sec 6196.21 sec 1791.60 mb tim v3 arbixs16bugp03 1 10 12.42 sec 30.00 sec 67.10 mb sat v3 6s206j000 0 -1 900.91 sec 2336.11 sec 11682.80 mb tim v3 lmcs06prodcell0 1 83 12.94 sec 26.89 sec 210.00 mb sat v3 6s203j20 0 -1 435.69 sec 434.96 sec 342.40 mb s11 v3 lmcs06dme3p4 1 3 3.83 sec 5.93 sec 33.20 mb sat v3 6s201j20 0 -1 406.65 sec 406.21 sec 344.90 mb s11 v3 6s204j39 0 -1 901.33 sec 2254.77 sec 13133.40 mb tim v3 cugbak 0 -1 900.15 sec 6804.61 sec 1156.10 mb tim v3 lmcs06abp4p1 -1 -1 43.16 sec 207.85 sec 150.90 mb uns v3 arbi0s64bugp03 0 -1 900.17 sec 6317.94 sec 1332.30 mb tim v3 6s212 -1 -1 120.98 sec 159.13 sec 1057.60 mb uns v3 lmcs06short0 -1 -1 2.17 sec 2.82 sec 25.60 mb uns v3 arbixs32p03 0 -1 900.21 sec 6710.61 sec 2040.80 mb tim v3 6s213j002 0 -1 900.88 sec 5958.91 sec 8782.70 mb tim v3 cutq2 1 14 9.23 sec 24.31 sec 86.00 mb sat v3 6s200j0016 0 -1 811.06 sec 811.20 sec 264.80 mb s11 v3 6s205j39 0 -1 417.96 sec 417.95 sec 273.90 mb s11 v3 6s202j79 0 -1 411.35 sec 410.65 sec 332.00 mb s11 v3 lmcs06prodcell4 -1 -1 796.78 sec 5683.36 sec 6181.50 mb uns v3 lmcs06prodcell8 1 88 11.97 sec 25.78 sec 184.10 mb sat v3 lmcs06dme3p1 1 3 3.49 sec 5.75 sec 31.80 mb sat v3 cunim1 -1 -1 10.38 sec 30.87 sec 71.50 mb uns v3 6s208j4 1 37 392.29 sec 667.83 sec 1780.60 mb sat v3 6s214j2 0 -1 900.42 sec 6674.19 sec 3658.30 mb tim v3 lmcs06prodcell7 1 85 11.98 sec 26.65 sec 177.10 mb sat v3 lmcs06bc57sp1 -1 -1 30.19 sec 116.69 sec 406.10 mb uns v3 cujc128f 1 2 23.54 sec 25.20 sec 78.10 mb sat v3 lmcs06dme4p0 1 85 588.66 sec 3768.83 sec 1069.70 mb sat v3 6s200j0005 0 -1 786.59 sec 786.03 sec 290.60 mb s11 v3 lmcs06prodcell9 1 128 15.76 sec 44.13 sec 340.30 mb sat v3 cuhanoi4 1 9 2.11 sec 3.21 sec 41.50 mb sat v3 6s218j0015 0 -1 563.84 sec 563.51 sec 181.10 mb s11 v3 lmcs06dme2p2 1 3 2.88 sec 4.32 sec 27.20 mb sat v3 cuom1 0 -1 900.17 sec 6717.37 sec 1125.00 mb tim v3 cugcd -1 -1 248.98 sec 1276.54 sec 668.20 mb uns v3 6s201j19 0 -1 390.83 sec 390.57 sec 297.60 mb s11 v3 cuasq12 1 30 8.66 sec 33.56 sec 48.20 mb sat v3 arbi0s32bugp03 1 18 89.82 sec 272.61 sec 217.40 mb sat v3 lmcs06prodcell5 0 -1 900.61 sec 6479.84 sec 6691.20 mb tim v3 arbixs32bugp03 1 18 338.09 sec 1763.95 sec 523.60 mb sat v3 cujc128 0 -1 900.27 sec 6766.42 sec 2934.20 mb tim v3 6s208j2 0 -1 900.45 sec 5152.35 sec 3951.60 mb tim v3 lmcs06dme4p2 0 -1 900.20 sec 6818.44 sec 1967.20 mb tim v3 lmcs06dme5p4 1 3 5.12 sec 9.06 sec 46.70 mb sat v3 lmcs06dme5p1 1 3 5.83 sec 9.83 sec 43.20 mb sat v3 lmcs06dme3p2 0 -1 900.20 sec 6820.25 sec 1763.20 mb tim v3 cuom2 0 -1 900.29 sec 6773.92 sec 2369.80 mb tim v3 cuads12 1 29 8.34 sec 28.65 sec 51.60 mb sat v3 cubak 1 79 70.05 sec 337.66 sec 163.90 mb sat v3 cuhanoi10 1 272 11.96 sec 50.98 sec 64.00 mb sat v3 lmcs06dme5p2 0 -1 900.46 sec 6815.98 sec 2137.40 mb tim v3 cunim3 1 9 5.92 sec 8.25 sec 41.70 mb sat v3 6s205j00 0 -1 423.86 sec 423.30 sec 327.10 mb s11 v3 6s203j57 0 -1 420.25 sec 419.84 sec 354.30 mb s11 v3 lmcs06srg5p2 1 3 3.38 sec 3.34 sec 20.00 mb sat v3 cutq1 0 -1 900.22 sec 6816.71 sec 1097.00 mb tim v3 cupts15 1 65 76.49 sec 352.83 sec 224.00 mb sat v3 lmcs06short1 1 3 2.48 sec 2.60 sec 33.10 mb sat v3 6s208j0 0 -1 900.45 sec 5127.18 sec 4086.70 mb tim v3 cuabq2mf -1 -1 3.26 sec 6.02 sec 27.50 mb uns v3 6s200j0011 0 -1 768.89 sec 768.66 sec 315.30 mb s11 v3 lmcs06brp4 1 3 3.34 sec 5.51 sec 33.60 mb sat v3 6s210j006 0 -1 900.31 sec 6420.77 sec 2461.50 mb tim v3 lmcs06abp4p3 1 29 11.22 sec 43.31 sec 65.60 mb sat v3 cuabq8f 0 -1 900.15 sec 6714.91 sec 1136.80 mb tim v3 6s203j63 0 -1 420.13 sec 419.58 sec 287.10 mb s11 v3 cuhanoi7 1 24 2.23 sec 6.73 sec 26.00 mb sat v3 lmcs06bc57sp0 1 106 219.74 sec 1076.34 sec 549.60 mb sat v3 lmcs06counter0 -1 -1 2.65 sec 3.20 sec 29.00 mb uns v3 6s364j00003 0 -1 139.02 sec 139.00 sec 560.30 mb s11 v3 6s200j0000 0 -1 731.69 sec 731.35 sec 252.80 mb s11 v3 arbi0s08bugp03 1 6 3.07 sec 4.84 sec 26.50 mb sat v3 6s204j12 0 -1 901.32 sec 2563.17 sec 12057.40 mb tim v3 6s219j11 0 -1 890.03 sec 2616.38 sec 15012.10 mb mem v3 6s218j0003 0 -1 583.24 sec 583.11 sec 181.70 mb s11 v3 cutarb4 -1 -1 6.79 sec 25.04 sec 58.00 mb uns v3 arbi0s64p03 0 -1 900.48 sec 6203.57 sec 1569.80 mb tim v3 cunim2 -1 -1 30.42 sec 129.89 sec 123.80 mb uns v3 arbixs08bugp03 1 6 3.60 sec 5.38 sec 26.50 mb sat v3 cucnt128 -1 -1 14.15 sec 15.01 sec 134.10 mb uns v3 lmcs06dme5p3 0 -1 900.23 sec 6803.65 sec 1620.10 mb tim v3 6s203j04 0 -1 432.52 sec 431.77 sec 328.00 mb s11 v3 arbi0s16p03 0 -1 900.23 sec 6764.84 sec 2013.10 mb tim v3 lmcs06prodcell1 1 128 16.22 sec 43.22 sec 336.50 mb sat v3 lmcs06brp3 1 30 8.14 sec 26.91 sec 57.00 mb sat v3 lmcs06dme6p4 1 3 5.94 sec 10.12 sec 50.80 mb sat v3 6s203j17 0 -1 414.90 sec 414.94 sec 297.30 mb s11 v3 cutarb16 -1 -1 175.55 sec 835.62 sec 319.20 mb uns v3 lmcs06srg5p1 1 29 2.60 sec 2.88 sec 25.40 mb sat v3 lmcs06ring1 1 9 2.45 sec 3.27 sec 24.70 mb sat v3 cupts14 1 78 65.17 sec 298.35 sec 189.20 mb sat v3 cuads11 1 29 3.98 sec 9.51 sec 33.30 mb sat v3 6s210j052 0 -1 900.35 sec 6417.85 sec 2912.30 mb tim v3 lmcs06ring0 -1 -1 2.24 sec 2.99 sec 20.40 mb uns v3 6s213j001 -1 -1 844.54 sec 5332.43 sec 7691.00 mb uns v3 6s204j63 0 -1 901.54 sec 1947.14 sec 14130.20 mb tim v3 lmcs06prodcell2 -1 -1 783.69 sec 5551.98 sec 6764.30 mb uns v3 cuffl09 -1 -1 178.44 sec 869.72 sec 363.80 mb uns v3 lmcs06brp0 -1 -1 3.49 sec 4.52 sec 87.40 mb uns v3 6s205j57 0 -1 401.59 sec 401.66 sec 354.30 mb s11 v3 6s214j3 0 -1 900.40 sec 6677.29 sec 3448.20 mb tim v3 cucab10 1 44 4.07 sec 6.85 sec 52.90 mb sat v3 cuasq10 1 30 10.74 sec 45.29 sec 48.80 mb sat v3 cucnt10 -1 -1 3.01 sec 3.16 sec 52.10 mb uns v3 cufq2 1 58 437.80 sec 2500.00 sec 1340.50 mb sat v3 6s213j000 -1 -1 239.82 sec 351.52 sec 1939.90 mb uns v3 cuom3 0 -1 900.23 sec 6774.00 sec 2035.40 mb tim v3 cuffl10 -1 -1 70.68 sec 330.85 sec 468.40 mb uns v3 lmcs06srg5p0 -1 -1 3.01 sec 4.50 sec 35.90 mb uns v3 6s220 -1 -1 71.01 sec 120.72 sec 2371.00 mb uns v3 6s218j0011 0 -1 576.60 sec 576.30 sec 236.10 mb s11 v3 lmcs06dme6p2 0 -1 900.24 sec 6807.76 sec 2137.10 mb tim v3 lmcs06dme4p1 1 3 4.89 sec 7.25 sec 40.10 mb sat v3 6s202j71 0 -1 416.52 sec 415.69 sec 264.80 mb s11 v3 lmcs06brp1 1 3 3.99 sec 5.60 sec 31.50 mb sat v3 cupts16 1 63 29.58 sec 117.40 sec 123.00 mb sat v3 6s307j00 1 17 262.47 sec 294.08 sec 1117.10 mb sat v3 6s205j30 0 -1 449.57 sec 449.62 sec 363.00 mb s11 v3 arbi0s08p03 0 -1 900.17 sec 6820.73 sec 1545.40 mb tim v3 6s203j14 0 -1 410.66 sec 410.78 sec 287.40 mb s11 v3 lmcs06mutex1 1 8 2.14 sec 3.16 sec 26.30 mb sat v3 lmcs06dme3p0 1 65 51.50 sec 248.29 sec 265.00 mb sat v3 cucab11 -1 -1 55.89 sec 264.77 sec 734.00 mb uns v3 6s219j05 0 -1 866.11 sec 2213.40 sec 15025.80 mb mem v3 6s219j00 0 -1 901.54 sec 2714.96 sec 14870.20 mb tim v3 6s200j0001 0 -1 787.61 sec 786.86 sec 276.60 mb s11 v3 cujc32 0 -1 900.29 sec 6824.61 sec 2301.10 mb tim v3 6s215j0 0 -1 900.12 sec 6467.24 sec 1117.40 mb tim v3 cutf1 -1 -1 236.87 sec 1204.56 sec 340.90 mb uns v3 cucnt32 -1 -1 2.46 sec 3.29 sec 82.90 mb uns v3 cuabq8mf 0 -1 900.20 sec 6778.67 sec 1117.70 mb tim v3 arbi0s32p03 0 -1 900.12 sec 6694.73 sec 1262.00 mb tim v3 6s214j0 0 -1 900.35 sec 6677.54 sec 3375.10 mb tim v3 6s202j04 0 -1 433.60 sec 433.34 sec 282.10 mb s11 v3 lmcs06dme6p1 1 3 5.89 sec 9.34 sec 46.70 mb sat v3 cucab12 -1 -1 532.61 sec 3262.37 sec 2946.00 mb uns v3 arbi0s16bugp03 1 10 8.00 sec 12.75 sec 54.70 mb sat v3 lmcs06counter1 1 10 2.83 sec 3.22 sec 29.00 mb sat v3 6s216j0 0 -1 900.20 sec 6457.56 sec 1152.50 mb tim v3 cucab09 0 -1 900.18 sec 6810.58 sec 1699.20 mb tim v3 6s205j23 0 -1 417.65 sec 416.68 sec 324.50 mb s11 v3 6s210j039 0 -1 900.34 sec 6420.99 sec 2642.00 mb tim v3 lmcs06bc57sp6 1 105 242.13 sec 1210.14 sec 609.50 mb sat v3 cutf2 1 8 2.85 sec 4.65 sec 36.50 mb sat v3 6s218j0019 0 -1 594.96 sec 594.59 sec 219.20 mb s11 v3 cucnt12 -1 -1 2.89 sec 3.10 sec 61.40 mb uns v3 6s201j36 0 -1 413.34 sec 413.33 sec 349.40 mb s11 v3 6s211 0 -1 900.89 sec 2653.09 sec 11671.70 mb tim v3 arbixs08p03 0 -1 900.35 sec 6815.62 sec 2840.80 mb tim v3 lmcs06bc57sp2 -1 -1 205.49 sec 995.86 sec 680.20 mb uns v3 6s201j38 0 -1 417.53 sec 416.89 sec 309.60 mb s11 v3 cuffl11 -1 -1 6.30 sec 7.47 sec 252.30 mb uns v3 cujc12 -1 -1 110.39 sec 547.42 sec 609.20 mb uns v3 lmcs06bc57sp4 1 105 187.79 sec 901.73 sec 437.60 mb sat v3 6s202j30 0 -1 434.35 sec 434.33 sec 355.80 mb s11 v3 6s200j0010 0 -1 775.41 sec 775.11 sec 301.20 mb s11 v3 cuabq4mf -1 -1 7.86 sec 26.84 sec 60.20 mb uns v3 6s210j116 0 -1 900.31 sec 6419.11 sec 2734.30 mb tim v3 lmcs06dme3p3 1 62 39.69 sec 186.87 sec 218.70 mb sat v3 6s205j21 0 -1 437.33 sec 437.23 sec 281.00 mb s11 v3 cufq1 0 -1 900.15 sec 6737.58 sec 1289.20 mb tim v3 6s364j00005 0 -1 162.83 sec 161.79 sec 539.10 mb s11 v3 6s364j00002 0 -1 145.67 sec 145.07 sec 540.20 mb s11 v3 6s202j40 0 -1 411.67 sec 411.55 sec 354.00 mb s11 v3 6s202j17 0 -1 415.78 sec 415.24 sec 272.00 mb s11 v3 lmcs06abp4p2 -1 -1 23.56 sec 105.23 sec 135.50 mb uns v3 lmcs06bc57sp5 1 106 285.86 sec 1474.41 sec 726.60 mb sat v3 6s201j34 0 -1 385.88 sec 385.44 sec 333.70 mb s11 v3 arbixs64bugp03 0 -1 900.22 sec 6323.67 sec 1389.90 mb tim v3 lmcs06bc57sp3 -1 -1 48.89 sec 210.23 sec 282.10 mb uns v3 lmcs06prodcell6 0 -1 900.80 sec 6461.35 sec 6622.00 mb tim v3 cuffl12 1 5 6.48 sec 8.36 sec 52.50 mb sat v3 6s204j20 0 -1 901.56 sec 2145.13 sec 12832.60 mb tim v3 6s208j5 0 -1 900.53 sec 5093.05 sec 4359.60 mb tim v3 6s217j1 -1 -1 74.34 sec 140.68 sec 1059.90 mb uns v3 cutf3 -1 -1 3.63 sec 7.14 sec 46.40 mb uns solver fnd ok sat uns fld dis to mo s11 s6 sig uk real time space max simplive 223 177 97 80 46 0 42 4 0 0 0 0 9924 69034 319271 12962 iimc 223 161 94 67 62 0 58 0 4 0 0 0 5514 16335 73089 13380 nuxmv 223 161 92 69 62 0 60 2 0 0 0 0 6431 30856 122949 7270 tiprbmc 223 128 62 66 95 0 95 0 0 0 0 0 9715 9650 2924 180 v3 223 111 64 47 112 0 64 3 45 0 0 0 9734 48047 53340 7691 ls4 223 97 65 32 126 0 106 20 0 0 0 0 4168 4124 87813 13346 tip 223 82 15 67 141 0 141 0 0 0 0 0 5965 5928 787 83 aigbmc 223 63 63 0 160 0 134 1 0 0 0 25 5835 5808 2802 400