========================= Time ========================= 0 to < 1 sec 609 1 to < 10 sec 119 10 to < 100 sec 94 100 to < 200 sec 33 200 to < 300 sec 23 ------------------------- Solved 878 ( 40%) Timeout 1318 Error 4 ------------------------- Total 2200 ========================= ========================= Rating ========================= 0.00 to < 0.10 736 / 1308 ( 56%) 0.10 to < 0.33 50 / 189 ( 26%) 0.33 to < 0.66 55 / 326 ( 17%) 0.66 to < 1.00 12 / 165 ( 7%) 1.00 to < 1.01 0 / 53 ( 0%) ? 25 / 159 ( 16%) ------------------------- Total 878 ========================= ========================= Domain ========================= ALG 0 / 7 ( 0%) ANA 0 / 5 ( 0%) BOO 10 / 62 ( 16%) CAT 22 / 52 ( 42%) CID 0 / 4 ( 0%) CIV 2 / 13 ( 15%) COL 50 / 147 ( 34%) COM 5 / 6 ( 83%) FLD 81 / 123 ( 66%) GEO 32 / 128 ( 25%) GRA 1 / 1 (100%) GRP 86 / 312 ( 28%) HEN 12 / 64 ( 19%) KRS 8 / 9 ( 89%) LAT 1 / 29 ( 3%) LCL 108 / 329 ( 33%) LDA 1 / 21 ( 5%) MSC 8 / 11 ( 73%) NUM 21 / 52 ( 40%) PLA 27 / 30 ( 90%) PRV 4 / 8 ( 50%) PUZ 29 / 52 ( 56%) RNG 16 / 79 ( 20%) ROB 0 / 17 ( 0%) SET 78 / 250 ( 31%) SYN 271 / 383 ( 71%) TOP 5 / 6 ( 83%) ========================= BOO012-1 0.17 u f 1400 BOO012-3 0.33 u f 10410 CAT002-4 0.17 u f 254050 CAT003-2 0.50 u f 4690 CAT003-3 0.11 u f 370 CAT012-4 0.17 u f 5020 COL002-3 0.33 u f 20 COL075-1 0.50 u f 66020 FLD002-3 0.67 u f 47870 FLD003-1 0.67 u f 77590 FLD004-1 0.67 u f 220700 FLD009-3 0.33 u f 79720 FLD013-1 0.67 u f 160 FLD013-2 0.67 u f 116840 FLD013-3 0.33 u f 168890 FLD013-4 0.33 u f 296930 FLD016-3 0.33 u f 170710 FLD018-1 0.33 u f 111740 FLD019-1 0.33 u f 215890 FLD022-3 0.33 u f 170850 FLD023-1 0.33 u f 140 FLD025-1 0.67 u f 160 FLD025-3 0.33 u f 143580 FLD028-3 0.33 u f 205610 FLD030-1 0.33 u f 0 FLD030-2 0.33 u f 110 FLD031-1 0.33 u f 294180 FLD032-1 0.33 u f 271460 FLD035-3 0.33 u f 281980 FLD036-3 0.33 u f 148270 FLD037-1 0.33 u f 350 FLD060-1 0.67 u f 160 FLD060-2 0.67 u f 139170 FLD061-1 0.67 u f 180 FLD061-2 0.67 u f 170520 FLD064-1 0.67 u f 126170 FLD067-1 0.33 u f 350 FLD067-3 0.33 u f 44820 FLD069-1 0.33 u f 137910 FLD070-1 0.33 u f 200 FLD071-3 0.33 u f 90 GEO026-3 0.11 u f 2570 GEO030-3 0.44 u f 33790 GEO032-3 0.25 u f 35110 GEO033-3 0.38 u f 43140 GEO041-3 0.22 u f 3940 GEO051-3 0.25 u f 62240 GEO064-3 0.12 u f 60190 GEO065-3 0.12 u f 60170 GEO066-3 0.12 u f 60210 GRP008-1 0.22 u f 140 HEN007-6 0.17 u f 232750 LCL045-1 0.20 u f 560 LCL097-1 0.20 u f 130 LCL111-1 0.20 u f 80 LCL130-1 0.20 u f 10 LCL195-1 0.20 u f 7690 LCL230-1 0.40 u f 68030 LCL231-1 0.40 u f 94680 NUM009-1 0.12 u f 4850 NUM283-1.005 0.20 u f 180 NUM284-1.014 0.20 u f 141040 PLA004-1 0.40 u f 2700 PLA004-2 0.40 u f 4280 PLA005-1 0.40 u f 260 PLA005-2 0.40 u f 40 PLA007-1 0.40 u f 80 PLA008-1 0.40 u f 156780 PLA009-1 0.40 u f 40 PLA009-2 0.40 u f 1320 PLA010-1 0.40 u f 155980 PLA011-1 0.40 u f 50 PLA011-2 0.40 u f 270 PLA012-1 0.40 u f 40540 PLA013-1 0.40 u f 110 PLA014-1 0.40 u f 1330 PLA014-2 0.40 u f 1460 PLA016-1 0.40 u f 50 PLA019-1 0.40 u f 40 PLA021-1 0.40 u f 80 PLA022-1 0.40 u f 260 PLA022-2 0.40 u f 10 PLA023-1 0.40 u f 44670 PUZ034-1.004 0.67 u f 10850 RNG006-2 0.20 u f 70 RNG040-1 0.11 u f 0 RNG040-2 0.22 u f 40 RNG041-1 0.22 u f 6990 SET014-2 0.33 u f 30550 SET016-7 0.12 u f 1150 SET018-7 0.12 u f 1150 SET041-3 0.44 u f 5340 SET060-6 0.12 u f 0 SET060-7 0.12 u f 10 SET083-7 0.12 u f 5900 SET085-6 0.12 u f 71520 SET085-7 0.25 u f 5710 SET119-7 0.25 u f 7330 SET120-7 0.25 u f 7330 SET121-7 0.25 u f 8330 SET122-7 0.25 u f 8340 SET152-6 0.12 u f 410 SET153-6 0.12 u f 100 SET187-6 0.38 u f 2500 SET196-6 0.12 u f 214160 SET197-6 0.12 u f 214200 SET199-6 0.25 u f 223020 SET231-6 0.12 u f 1780 SET234-6 0.25 u f 274040 SET252-6 0.25 u f 221270 SET253-6 0.25 u f 221920 SET553-6 0.25 u f 223530 SYN048-1 0.20 u f 0 SYN074-1 0.11 u f 81860 SYN075-1 0.11 u f 54170 SYN102-1.007:007 0.33 u f 25310 SYN311-1 0.20 u f 50300