result(file='Problems/COL/COL003-10.p', status=(?), time=exceeded, '#inf'=2818, '#kept'=1419).
result(file='Problems/COL/COL003-9.p', status=(?), time=exceeded, '#inf'=2856, '#kept'=1421).
result(file='Problems/COL/COL044-3.p', status=(?), time=exceeded, '#inf'=2732, '#kept'=1295).
result(file='Problems/LCL/LCL109-4.p', status=(?), time=exceeded, '#inf'=3294, '#kept'=650).
result(file='Problems/COL/COL003-7.p', status=(?), time=exceeded, '#inf'=2854, '#kept'=1419).
result(file='Problems/COL/COL003-8.p', status=(?), time=exceeded, '#inf'=2850, '#kept'=1419).
result(file='Problems/CID/CID003-2.p', status=(?), time=exceeded, '#inf'=4508, '#kept'=548).
result(file='Problems/COL/COL044-4.p', status=(?), time=exceeded, '#inf'=2732, '#kept'=1295).
result(file='Problems/COL/COL044-5.p', status=(?), time=exceeded, '#inf'=2669, '#kept'=1286).
result(file='Problems/COL/COL042-3.p', status=(?), time=exceeded, '#inf'=2867, '#kept'=1396).
result(file='Problems/LAT/LAT005-3.p', status=(?), time=exceeded, '#inf'=1657, '#kept'=44).
result(file='Problems/CID/CID003-1.p', status=(?), time=exceeded, '#inf'=4505, '#kept'=544).
result(file='Problems/LAT/LAT005-6.p', status=(?), time=exceeded, '#inf'=6942, '#kept'=306).
result(file='Problems/COL/COL006-2.p', status=(?), time=exceeded, '#inf'=3137, '#kept'=1061).
result(file='Problems/COL/COL042-2.p', status=(?), time=exceeded, '#inf'=2867, '#kept'=1397).
result(file='Problems/PLA/PLA023-1.p', status=(?), time=exceeded, '#inf'=1238, '#kept'=836).
result(file='Problems/PLA/PLA018-1.p', status=(?), time=exceeded, '#inf'=1246, '#kept'=846).
result(file='Problems/LCL/LCL121-1.p', status=(?), time=exceeded, '#inf'=3810, '#kept'=920).
result(file='Problems/LCL/LCL021-1.p', status=(?), time=exceeded, '#inf'=1850, '#kept'=492).
result(file='Problems/LCL/LCL222-1.p', status=(?), time=exceeded, '#inf'=631, '#kept'=504).
result(file='Problems/LCL/LCL191-1.p', status=(?), time=exceeded, '#inf'=572, '#kept'=449).
result(file='Problems/LCL/LCL128-1.p', status=(?), time=exceeded, '#inf'=3426, '#kept'=1009).
result(file='Problems/LCL/LCL017-1.p', status=proved, time=80900, '#inf'=984, '#kept'=383).
result(file='Problems/LCL/LCL124-1.p', status=(?), time=exceeded, '#inf'=3695, '#kept'=939).
result(file='Problems/PLA/PLA015-1.p', status=(?), time=exceeded, '#inf'=1242, '#kept'=838).
result(file='Problems/LCL/LCL064-1.p', status=(?), time=exceeded, '#inf'=3428, '#kept'=1035).
result(file='Problems/PLA/PLA009-1.p', status=(?), time=exceeded, '#inf'=933, '#kept'=549).
result(file='Problems/LCL/LCL105-1.p', status=(?), time=exceeded, '#inf'=2281, '#kept'=734).
result(file='Problems/LCL/LCL223-1.p', status=(?), time=exceeded, '#inf'=631, '#kept'=504).
result(file='Problems/LCL/LCL002-1.p', status=(?), time=exceeded, '#inf'=4431, '#kept'=1076).
result(file='Problems/SET/SET135-6.p', status=(?), time=exceeded, '#inf'=2716, '#kept'=1014).
result(file='Problems/SET/SET236-6.p', status=proved, time=16760, '#inf'=101, '#kept'=212).
result(file='Problems/SET/SET095-6.p', status=proved, time=14250, '#inf'=77, '#kept'=175).
result(file='Problems/SET/SET287-6.p', status=(?), time=exceeded, '#inf'=2054, '#kept'=946).
result(file='Problems/SET/SET186-6.p', status=(?), time=exceeded, '#inf'=2028, '#kept'=902).
result(file='Problems/NUM/NUM094-1.p', status=(?), time=exceeded, '#inf'=1485, '#kept'=857).
result(file='Problems/SET/SET189-6.p', status=proved, time=30300, '#inf'=232, '#kept'=313).
result(file='Problems/SET/SET130-6.p', status=(?), time=exceeded, '#inf'=2685, '#kept'=1007).
result(file='Problems/CAT/CAT005-3.p', status=proved, time=1610, '#inf'=60, '#kept'=56).
result(file='Problems/GEO/GEO010-1.p', status=proved, time=4350, '#inf'=98, '#kept'=82).
result(file='Problems/GEO/GEO065-2.p', status=proved, time=1840, '#inf'=74, '#kept'=48).
result(file='Problems/RNG/RNG041-1.p', status=proved, time=550, '#inf'=21, '#kept'=22).
result(file='Problems/SYN/SYN015-1.p', status=proved, time=54140, '#inf'=402, '#kept'=117).
result(file='Problems/SET/SET031-4.p', status=(?), time=exceeded, '#inf'=1050, '#kept'=913).
result(file='Problems/SYN/SYN500-1.p', status=(?), time=exceeded, '#inf'=517, '#kept'=448).
result(file='Problems/SYN/SYN436-1.p', status=(?), time=exceeded, '#inf'=621, '#kept'=461).