========================= Time ========================= 0 to < 1 sec 548 1 to < 10 sec 126 10 to < 100 sec 94 100 to < 200 sec 23 200 to < 300 sec 20 ------------------------- Solved 811 ( 37%) Timeout 1385 Error 4 ------------------------- Total 2200 ========================= ========================= Rating ========================= 0.00 to < 0.10 709 / 1308 ( 54%) 0.10 to < 0.33 34 / 189 ( 18%) 0.33 to < 0.66 39 / 326 ( 12%) 0.66 to < 1.00 7 / 165 ( 4%) 1.00 to < 1.01 0 / 53 ( 0%) ? 22 / 159 ( 14%) ------------------------- Total 811 ========================= ========================= Domain ========================= ALG 0 / 7 ( 0%) ANA 0 / 5 ( 0%) BOO 10 / 62 ( 16%) CAT 21 / 52 ( 40%) CID 0 / 4 ( 0%) CIV 2 / 13 ( 15%) COL 46 / 147 ( 31%) COM 5 / 6 ( 83%) FLD 51 / 123 ( 41%) GEO 26 / 128 ( 20%) GRA 1 / 1 (100%) GRP 84 / 312 ( 27%) HEN 8 / 64 ( 13%) KRS 8 / 9 ( 89%) LAT 1 / 29 ( 3%) LCL 105 / 329 ( 32%) LDA 1 / 21 ( 5%) MSC 8 / 11 ( 73%) NUM 21 / 52 ( 40%) PLA 27 / 30 ( 90%) PRV 4 / 8 ( 50%) PUZ 28 / 52 ( 54%) RNG 16 / 79 ( 20%) ROB 0 / 17 ( 0%) SET 66 / 250 ( 26%) SYN 267 / 383 ( 70%) TOP 5 / 6 ( 83%) ========================= BOO012-1 0.17 u f 8050 BOO012-3 0.33 u f 69010 CAT003-2 0.50 u f 13230 CAT003-3 0.11 u f 1870 CAT012-4 0.17 u f 16330 COL002-3 0.33 u f 30 FLD002-3 0.67 u f 177810 FLD003-1 0.67 u f 290080 FLD013-1 0.67 u f 530 FLD023-1 0.33 u f 520 FLD025-1 0.67 u f 530 FLD030-1 0.33 u f 20 FLD030-2 0.33 u f 390 FLD037-1 0.33 u f 1370 FLD060-1 0.67 u f 560 FLD061-1 0.67 u f 630 FLD067-1 0.33 u f 1310 FLD067-3 0.33 u f 165190 FLD070-1 0.33 u f 740 FLD071-3 0.33 u f 380 GEO026-3 0.11 u f 21170 GEO030-3 0.44 u f 299760 GEO041-3 0.22 u f 36310 GRP008-1 0.22 u f 800 LCL045-1 0.20 u f 1000 LCL097-1 0.20 u f 220 LCL111-1 0.20 u f 150 LCL130-1 0.20 u f 10 LCL195-1 0.20 u f 16960 LCL230-1 0.40 u f 148020 LCL231-1 0.40 u f 210140 NUM009-1 0.12 u f 54120 NUM283-1.005 0.20 u f 220 NUM284-1.014 0.20 u f 160090 PLA004-1 0.40 u f 3540 PLA004-2 0.40 u f 5600 PLA005-1 0.40 u f 400 PLA005-2 0.40 u f 70 PLA007-1 0.40 u f 150 PLA008-1 0.40 u f 224360 PLA009-1 0.40 u f 60 PLA009-2 0.40 u f 1900 PLA010-1 0.40 u f 223140 PLA011-1 0.40 u f 100 PLA011-2 0.40 u f 390 PLA012-1 0.40 u f 57310 PLA013-1 0.40 u f 190 PLA014-1 0.40 u f 1760 PLA014-2 0.40 u f 1930 PLA016-1 0.40 u f 70 PLA019-1 0.40 u f 60 PLA021-1 0.40 u f 150 PLA022-1 0.40 u f 360 PLA022-2 0.40 u f 20 PLA023-1 0.40 u f 63380 PUZ034-1.004 0.67 u f 13690 RNG006-2 0.20 u f 390 RNG040-1 0.11 u f 10 RNG040-2 0.22 u f 210 RNG041-1 0.22 u f 39630 SET014-2 0.33 u f 147660 SET016-7 0.12 u f 9090 SET018-7 0.12 u f 9200 SET041-3 0.44 u f 49740 SET060-6 0.12 u f 30 SET060-7 0.12 u f 40 SET083-7 0.12 u f 38130 SET085-7 0.25 u f 36870 SET119-7 0.25 u f 53240 SET120-7 0.25 u f 53250 SET121-7 0.25 u f 61290 SET122-7 0.25 u f 61300 SET152-6 0.12 u f 2860 SET153-6 0.12 u f 610 SET187-6 0.38 u f 14870 SET231-6 0.12 u f 10690 SYN048-1 0.20 u f 0 SYN075-1 0.11 u f 292800 SYN102-1.007:007 0.33 u f 43460 SYN311-1 0.20 u f 110660