result(file='Problems/SET/SET001-1.p', status=proved, time=250, '#inf'=5, '#kept'=11).
result(file='Problems/SET/SET002+3.p', status=proved, time=3210, '#inf'=80, '#kept'=67).
result(file='Problems/SET/SET002+4.p', status=proved, time=480, '#inf'=0, '#kept'=14).
result(file='Problems/SET/SET002-1.p', status=proved, time=450, '#inf'=6, '#kept'=16).
result(file='Problems/SET/SET002-6.p', status=proved, time=125520, '#inf'=447, '#kept'=368).
result(file='Problems/SET/SET003-1.p', status=proved, time=260, '#inf'=2, '#kept'=11).
result(file='Problems/SET/SET004-1.p', status=proved, time=230, '#inf'=2, '#kept'=11).
result(file='Problems/SET/SET005-1.p', status=proved, time=1030, '#inf'=14, '#kept'=28).
result(file='Problems/SET/SET006-1.p', status=proved, time=260, '#inf'=2, '#kept'=11).
result(file='Problems/SET/SET007-1.p', status=proved, time=1970, '#inf'=24, '#kept'=40).
result(file='Problems/SET/SET008+3.p', status=proved, time=1170, '#inf'=23, '#kept'=31).
result(file='Problems/SET/SET008-1.p', status=proved, time=490, '#inf'=2, '#kept'=17).
result(file='Problems/SET/SET009+3.p', status=proved, time=520, '#inf'=10, '#kept'=14).
result(file='Problems/SET/SET009-1.p', status=proved, time=710, '#inf'=11, '#kept'=22).
result(file='Problems/SET/SET010+3.p', status=proved, time=3240, '#inf'=44, '#kept'=62).
result(file='Problems/SET/SET010-1.p', status=proved, time=2000, '#inf'=20, '#kept'=41).
result(file='Problems/SET/SET011+3.p', status=proved, time=2320, '#inf'=40, '#kept'=51).
result(file='Problems/SET/SET011-1.p', status=proved, time=1010, '#inf'=9, '#kept'=25).
result(file='Problems/SET/SET012+4.p', status=proved, time=3210, '#inf'=44, '#kept'=64).
result(file='Problems/SET/SET012-1.p', status=proved, time=4750, '#inf'=6, '#kept'=62).
result(file='Problems/SET/SET012-2.p', status=proved, time=8200, '#inf'=27, '#kept'=101).
result(file='Problems/SET/SET012-3.p', status=proved, time=87080, '#inf'=294, '#kept'=450).
result(file='Problems/SET/SET012-4.p', status=proved, time=750, '#inf'=7, '#kept'=20).
result(file='Problems/SET/SET013+4.p', status=proved, time=3490, '#inf'=44, '#kept'=67).
result(file='Problems/SET/SET013-1.p', status=proved, time=5960, '#inf'=13, '#kept'=67).
result(file='Problems/SET/SET013-2.p', status=proved, time=10330, '#inf'=33, '#kept'=105).
result(file='Problems/SET/SET013-3.p', status=proved, time=111150, '#inf'=348, '#kept'=474).
result(file='Problems/SET/SET013-4.p', status=proved, time=880, '#inf'=15, '#kept'=23).
result(file='Problems/SET/SET014+3.p', status=proved, time=1100, '#inf'=21, '#kept'=26).
result(file='Problems/SET/SET014+4.p', status=proved, time=11230, '#inf'=148, '#kept'=149).
result(file='Problems/SET/SET014-2.p', status=proved, time=7230, '#inf'=21, '#kept'=77).
result(file='Problems/SET/SET014-3.p', status=proved, time=87790, '#inf'=454, '#kept'=579).
result(file='Problems/SET/SET014-4.p', status=proved, time=830, '#inf'=9, '#kept'=29).
result(file='Problems/SET/SET014-6.p', status=proved, time=71970, '#inf'=99, '#kept'=201).
result(file='Problems/SET/SET015+4.p', status=proved, time=2440, '#inf'=43, '#kept'=65).
result(file='Problems/SET/SET015-1.p', status=proved, time=4210, '#inf'=10, '#kept'=64).
result(file='Problems/SET/SET015-2.p', status=proved, time=9390, '#inf'=43, '#kept'=119).
result(file='Problems/SET/SET015-3.p', status=proved, time=138750, '#inf'=586, '#kept'=690).
result(file='Problems/SET/SET015-4.p', status=proved, time=1640, '#inf'=26, '#kept'=41).
result(file='Problems/SET/SET016+1.p', status=(?), time=exceeded, '#inf'=1420, '#kept'=1087).
result(file='Problems/SET/SET016+4.p', status=proved, time=4930, '#inf'=79, '#kept'=98).
result(file='Problems/SET/SET016-1.p', status=proved, time=600, '#inf'=15, '#kept'=23).
result(file='Problems/SET/SET016-6.p', status=proved, time=309550, '#inf'=1013, '#kept'=432).
result(file='Problems/SET/SET018+4.p', status=proved, time=114360, '#inf'=1146, '#kept'=481).

result(file='Problems/SET/SET016-3.p', status=(?), time=exceeded, '#inf'=1608, '#kept'=1484).
result(file='Problems/SET/SET017+1.p', status=(?), time=exceeded, '#inf'=2446, '#kept'=1364).
result(file='Problems/SET/SET017-3.p', status=(?), time=exceeded, '#inf'=1594, '#kept'=1478).
result(file='Problems/SET/SET017-4.p', status=(?), time=exceeded, '#inf'=1633, '#kept'=1497).
result(file='Problems/SET/SET017-6.p', status=(?), time=exceeded, '#inf'=1924, '#kept'=477).
result(file='Problems/SET/SET018+1.p', status=(?), time=exceeded, '#inf'=2425, '#kept'=1359).
result(file='Problems/SET/SET018-1.p', status=consistent, time=10600, '#inf'=367, '#kept'=113).
result(file='Problems/SET/SET018-3.p', status=(?), time=exceeded, '#inf'=1699, '#kept'=1604).
result(file='Problems/SET/SET018-4.p', status=(?), time=exceeded, '#inf'=1734, '#kept'=1630).
result(file='Problems/SET/SET018-6.p', status=(?), time=exceeded, '#inf'=1455, '#kept'=598).
result(file='Problems/SET/SET019+4.p', status=proved, time=380, '#inf'=0, '#kept'=14).
result(file='Problems/SET/SET019-3.p', status=proved, time=57650, '#inf'=190, '#kept'=374).
result(file='Problems/SET/SET019-4.p', status=proved, time=51950, '#inf'=190, '#kept'=365).
result(file='Problems/SET/SET020+1.p', status=(?), time=exceeded, '#inf'=2411, '#kept'=1466).
result(file='Problems/SET/SET020-3.p', status=(?), time=exceeded, '#inf'=1524, '#kept'=1426).
result(file='Problems/SET/SET020-4.p', status=(?), time=exceeded, '#inf'=1556, '#kept'=1417).
result(file='Problems/SET/SET020-6.p', status=(?), time=exceeded, '#inf'=2429, '#kept'=736).
result(file='Problems/SET/SET021-3.p', status=(?), time=exceeded, '#inf'=1529, '#kept'=1434).
result(file='Problems/SET/SET021-4.p', status=(?), time=exceeded, '#inf'=1564, '#kept'=1456).
result(file='Problems/SET/SET021-6.p', status=(?), time=exceeded, '#inf'=2481, '#kept'=736).
result(file='Problems/SET/SET022-3.p', status=(?), time=exceeded, '#inf'=1978, '#kept'=1488).
result(file='Problems/SET/SET022-4.p', status=(?), time=exceeded, '#inf'=2076, '#kept'=1548).
result(file='Problems/SET/SET023-3.p', status=(?), time=exceeded, '#inf'=2056, '#kept'=1507).
result(file='Problems/SET/SET023-4.p', status=(?), time=exceeded, '#inf'=2022, '#kept'=1512).
result(file='Problems/SET/SET024+1.p', status=proved, time=990, '#inf'=0, '#kept'=42).
result(file='Problems/SET/SET024-3.p', status=(?), time=exceeded, '#inf'=2092, '#kept'=1286).
result(file='Problems/SET/SET024-4.p', status=(?), time=exceeded, '#inf'=2102, '#kept'=1275).
result(file='Problems/SET/SET024-6.p', status=proved, time=13940, '#inf'=0, '#kept'=117).
result(file='Problems/SET/SET024-7.p', status=proved, time=64320, '#inf'=0, '#kept'=143).
result(file='Problems/SET/SET025+1.p', status=proved, time=139460, '#inf'=1328, '#kept'=821).
result(file='Problems/SET/SET025-3.p', status=proved, time=10450, '#inf'=0, '#kept'=209).
result(file='Problems/SET/SET025-4.p', status=proved, time=8850, '#inf'=0, '#kept'=195).
result(file='Problems/SET/SET025-6.p', status=proved, time=14110, '#inf'=0, '#kept'=116).
result(file='Problems/SET/SET025-7.p', status=proved, time=72310, '#inf'=0, '#kept'=175).
result(file='Problems/SET/SET025-8.p', status=proved, time=132840, '#inf'=862, '#kept'=776).
result(file='Problems/SET/SET025-9.p', status=proved, time=116010, '#inf'=811, '#kept'=737).
result(file='Problems/SET/SET027+1.p', status=proved, time=4310, '#inf'=60, '#kept'=101).
result(file='Problems/SET/SET027+3.p', status=proved, time=370, '#inf'=11, '#kept'=13).
result(file='Problems/SET/SET027+4.p', status=proved, time=1560, '#inf'=35, '#kept'=50).
result(file='Problems/SET/SET027-3.p', status=proved, time=57210, '#inf'=206, '#kept'=379).
result(file='Problems/SET/SET027-4.p', status=proved, time=49450, '#inf'=192, '#kept'=362).
result(file='Problems/SET/SET027-6.p', status=proved, time=46660, '#inf'=32, '#kept'=144).
result(file='Problems/SET/SET027-7.p', status=proved, time=48210, '#inf'=32, '#kept'=149).
result(file='Problems/SET/SET028-3.p', status=(?), time=exceeded, '#inf'=1663, '#kept'=1324).
result(file='Problems/SET/SET028-4.p', status=(?), time=exceeded, '#inf'=1777, '#kept'=1307).
result(file='Problems/SET/SET029-3.p', status=(?), time=exceeded, '#inf'=1584, '#kept'=1217).
result(file='Problems/SET/SET029-4.p', status=(?), time=exceeded, '#inf'=1661, '#kept'=1210).
result(file='Problems/SET/SET030-3.p', status=(?), time=exceeded, '#inf'=1678, '#kept'=1385).
result(file='Problems/SET/SET030-4.p', status=(?), time=exceeded, '#inf'=1907, '#kept'=1521).
result(file='Problems/SET/SET030-6.p', status=(?), time=exceeded, '#inf'=2429, '#kept'=788).
result(file='Problems/SET/SET031-3.p', status=(?), time=exceeded, '#inf'=1914, '#kept'=1288).
result(file='Problems/SET/SET031-4.p', status=(?), time=exceeded, '#inf'=2115, '#kept'=1275).
result(file='Problems/SET/SET032-3.p', status=(?), time=exceeded, '#inf'=1516, '#kept'=1381).
result(file='Problems/SET/SET032-4.p', status=(?), time=exceeded, '#inf'=1654, '#kept'=1353).
result(file='Problems/SET/SET032-6.p', status=(?), time=exceeded, '#inf'=2020, '#kept'=909).
result(file='Problems/SET/SET033-3.p', status=(?), time=exceeded, '#inf'=1780, '#kept'=841).
result(file='Problems/SET/SET033-4.p', status=(?), time=exceeded, '#inf'=1304, '#kept'=1167).
result(file='Problems/SET/SET033-6.p', status=(?), time=exceeded, '#inf'=2321, '#kept'=830).
result(file='Problems/SET/SET034-3.p', status=(?), time=exceeded, '#inf'=1844, '#kept'=1233).
result(file='Problems/SET/SET034-4.p', status=(?), time=exceeded, '#inf'=2242, '#kept'=1281).
result(file='Problems/SET/SET034-6.p', status=(?), time=exceeded, '#inf'=2210, '#kept'=853).
result(file='Problems/SET/SET035-3.p', status=(?), time=exceeded, '#inf'=1613, '#kept'=747).
result(file='Problems/SET/SET035-4.p', status=(?), time=exceeded, '#inf'=834, '#kept'=794).
result(file='Problems/SET/SET035-6.p', status=(?), time=exceeded, '#inf'=2602, '#kept'=781).
result(file='Problems/SET/SET036-3.p', status=(?), time=exceeded, '#inf'=1412, '#kept'=1395).
result(file='Problems/SET/SET036-4.p', status=(?), time=exceeded, '#inf'=1631, '#kept'=1480).
result(file='Problems/SET/SET036-6.p', status=(?), time=exceeded, '#inf'=2424, '#kept'=794).
result(file='Problems/SET/SET037-3.p', status=(?), time=exceeded, '#inf'=1338, '#kept'=1255).
result(file='Problems/SET/SET037-4.p', status=(?), time=exceeded, '#inf'=1461, '#kept'=1445).
result(file='Problems/SET/SET037-6.p', status=(?), time=exceeded, '#inf'=2230, '#kept'=840).
result(file='Problems/SET/SET038-3.p', status=(?), time=exceeded, '#inf'=1610, '#kept'=844).
result(file='Problems/SET/SET038-4.p', status=(?), time=exceeded, '#inf'=1564, '#kept'=1494).
result(file='Problems/SET/SET038-6.p', status=(?), time=exceeded, '#inf'=2305, '#kept'=766).
result(file='Problems/SET/SET039-3.p', status=(?), time=exceeded, '#inf'=1364, '#kept'=1347).
result(file='Problems/SET/SET039-4.p', status=(?), time=exceeded, '#inf'=1518, '#kept'=1468).
result(file='Problems/SET/SET040-3.p', status=(?), time=exceeded, '#inf'=1365, '#kept'=1153).
result(file='Problems/SET/SET040-4.p', status=(?), time=exceeded, '#inf'=1741, '#kept'=1256).
result(file='Problems/SET/SET040-6.p', status=(?), time=exceeded, '#inf'=2286, '#kept'=802).
result(file='Problems/SET/SET041-3.p', status=(?), time=exceeded, '#inf'=1385, '#kept'=1373).
result(file='Problems/SET/SET041-4.p', status=(?), time=exceeded, '#inf'=1463, '#kept'=1449).
result(file='Problems/SET/SET041-6.p', status=(?), time=exceeded, '#inf'=2246, '#kept'=840).
result(file='Problems/SET/SET042-3.p', status=(?), time=exceeded, '#inf'=1379, '#kept'=1309).
result(file='Problems/SET/SET042-4.p', status=(?), time=exceeded, '#inf'=1644, '#kept'=1533).
result(file='Problems/SET/SET043+1.p', status=proved, time=160, '#inf'=8, '#kept'=6).
result(file='Problems/SET/SET043-5.p', status=proved, time=100, '#inf'=5, '#kept'=4).
result(file='Problems/SET/SET044+1.p', status=proved, time=350, '#inf'=13, '#kept'=11).
result(file='Problems/SET/SET044-5.p', status=proved, time=140, '#inf'=6, '#kept'=7).
result(file='Problems/SET/SET045+1.p', status=proved, time=340, '#inf'=12, '#kept'=11).
result(file='Problems/SET/SET045-5.p', status=proved, time=140, '#inf'=6, '#kept'=7).
result(file='Problems/SET/SET046+1.p', status=proved, time=580, '#inf'=19, '#kept'=19).
result(file='Problems/SET/SET046-5.p', status=proved, time=120, '#inf'=3, '#kept'=6).
result(file='Problems/SET/SET047+1.p', status=proved, time=290, '#inf'=7, '#kept'=10).
result(file='Problems/SET/SET047-5.p', status=proved, time=410, '#inf'=6, '#kept'=13).
result(file='Problems/SET/SET050-6.p', status=(?), time=exceeded, '#inf'=2482, '#kept'=714).
result(file='Problems/SET/SET051-6.p', status=(?), time=exceeded, '#inf'=2480, '#kept'=713).
result(file='Problems/SET/SET052-6.p', status=(?), time=exceeded, '#inf'=2584, '#kept'=714).
result(file='Problems/SET/SET016-7.p', status=(?), time=exceeded, '#inf'=1505, '#kept'=958).
result(file='Problems/SET/SET017-7.p', status=proved, time=85430, '#inf'=359, '#kept'=385).
result(file='Problems/SET/SET018-7.p', status=(?), time=exceeded, '#inf'=1439, '#kept'=954).
result(file='Problems/SET/SET020-7.p', status=(?), time=exceeded, '#inf'=1514, '#kept'=980).
result(file='Problems/SET/SET021-7.p', status=proved, time=199180, '#inf'=865, '#kept'=650).
result(file='Problems/SET/SET053-6.p', status=proved, time=15470, '#inf'=58, '#kept'=163).
result(file='Problems/SET/SET054+1.p', status=proved, time=880, '#inf'=0, '#kept'=42).
result(file='Problems/SET/SET054-6.p', status=proved, time=11110, '#inf'=0, '#kept'=118).
result(file='Problems/SET/SET054-7.p', status=proved, time=11780, '#inf'=0, '#kept'=122).
result(file='Problems/SET/SET055+1.p', status=proved, time=920, '#inf'=0, '#kept'=42).
result(file='Problems/SET/SET055-6.p', status=proved, time=29970, '#inf'=0, '#kept'=170).
result(file='Problems/SET/SET055-7.p', status=proved, time=24090, '#inf'=0, '#kept'=178).
result(file='Problems/SET/SET056+1.p', status=(?), time=exceeded, '#inf'=2608, '#kept'=1245).
result(file='Problems/SET/SET056-6.p', status=proved, time=4070, '#inf'=0, '#kept'=121).
result(file='Problems/SET/SET056-7.p', status=proved, time=4330, '#inf'=0, '#kept'=127).
result(file='Problems/SET/SET057+1.p', status=(?), time=exceeded, '#inf'=3196, '#kept'=1401).
result(file='Problems/SET/SET057-6.p', status=proved, time=3950, '#inf'=0, '#kept'=121).
result(file='Problems/SET/SET057-7.p', status=proved, time=4200, '#inf'=0, '#kept'=127).
result(file='Problems/SET/SET058+1.p', status=(?), time=exceeded, '#inf'=2472, '#kept'=1383).
result(file='Problems/SET/SET058-6.p', status=proved, time=4160, '#inf'=0, '#kept'=121).
result(file='Problems/SET/SET058-7.p', status=proved, time=4280, '#inf'=0, '#kept'=127).
result(file='Problems/SET/SET059+1.p', status=(?), time=exceeded, '#inf'=3315, '#kept'=1331).
result(file='Problems/SET/SET059-6.p', status=proved, time=4500, '#inf'=0, '#kept'=121).
result(file='Problems/SET/SET059-7.p', status=proved, time=4200, '#inf'=0, '#kept'=127).
result(file='Problems/SET/SET060+1.p', status=proved, time=3760, '#inf'=51, '#kept'=93).
result(file='Problems/SET/SET060-6.p', status=proved, time=13880, '#inf'=23, '#kept'=132).
result(file='Problems/SET/SET060-7.p', status=proved, time=14970, '#inf'=29, '#kept'=143).
result(file='Problems/SET/SET061+1.p', status=proved, time=3780, '#inf'=51, '#kept'=92).
result(file='Problems/SET/SET061-6.p', status=proved, time=24410, '#inf'=178, '#kept'=250).
result(file='Problems/SET/SET061-7.p', status=proved, time=20500, '#inf'=74, '#kept'=217).
result(file='Problems/SET/SET062+1.p', status=proved, time=930, '#inf'=0, '#kept'=42).
result(file='Problems/SET/SET062+3.p', status=proved, time=70, '#inf'=0, '#kept'=4).
result(file='Problems/SET/SET062+4.p', status=proved, time=370, '#inf'=0, '#kept'=14).
result(file='Problems/SET/SET062-6.p', status=proved, time=23560, '#inf'=172, '#kept'=245).
result(file='Problems/SET/SET062-7.p', status=proved, time=4240, '#inf'=0, '#kept'=128).
result(file='Problems/SET/SET063+1.p', status=proved, time=3170, '#inf'=35, '#kept'=76).
result(file='Problems/SET/SET063+3.p', status=proved, time=280, '#inf'=7, '#kept'=12).
result(file='Problems/SET/SET063+4.p', status=proved, time=420, '#inf'=0, '#kept'=14).
result(file='Problems/SET/SET063-6.p', status=proved, time=26860, '#inf'=180, '#kept'=257).
result(file='Problems/SET/SET063-7.p', status=proved, time=13160, '#inf'=5, '#kept'=133).
result(file='Problems/SET/SET064+1.p', status=(?), time=exceeded, '#inf'=2371, '#kept'=1394).
result(file='Problems/SET/SET064-6.p', status=proved, time=26780, '#inf'=180, '#kept'=256).
result(file='Problems/SET/SET064-7.p', status=proved, time=4410, '#inf'=0, '#kept'=131).
result(file='Problems/SET/SET065+1.p', status=proved, time=3890, '#inf'=56, '#kept'=91).
result(file='Problems/SET/SET065-6.p', status=proved, time=16680, '#inf'=54, '#kept'=162).
result(file='Problems/SET/SET065-7.p', status=proved, time=25030, '#inf'=116, '#kept'=240).
result(file='Problems/SET/SET066+1.p', status=proved, time=111680, '#inf'=1036, '#kept'=712).
result(file='Problems/SET/SET066-6.p', status=proved, time=401040, '#inf'=1785, '#kept'=971).
result(file='Problems/SET/SET066-7.p', status=(?), time=exceeded, '#inf'=2411, '#kept'=1283).
result(file='Problems/SET/SET067+1.p', status=proved, time=4240, '#inf'=56, '#kept'=98).
result(file='Problems/SET/SET067-6.p', status=proved, time=18000, '#inf'=78, '#kept'=176).
result(file='Problems/SET/SET067-7.p', status=proved, time=45720, '#inf'=194, '#kept'=274).
result(file='Problems/SET/SET068-6.p', status=proved, time=18180, '#inf'=78, '#kept'=176).
result(file='Problems/SET/SET068-7.p', status=proved, time=46440, '#inf'=194, '#kept'=274).
result(file='Problems/SET/SET069+1.p', status=proved, time=418650, '#inf'=2617, '#kept'=1271).
result(file='Problems/SET/SET069-6.p', status=proved, time=134220, '#inf'=1028, '#kept'=698).
result(file='Problems/SET/SET069-7.p', status=(?), time=exceeded, '#inf'=2003, '#kept'=1188).
result(file='Problems/SET/SET070-6.p', status=proved, time=136360, '#inf'=1028, '#kept'=698).
result(file='Problems/SET/SET070-7.p', status=(?), time=exceeded, '#inf'=2003, '#kept'=1190).
result(file='Problems/SET/SET071+1.p', status=proved, time=4490, '#inf'=59, '#kept'=101).
result(file='Problems/SET/SET071-6.p', status=proved, time=32420, '#inf'=216, '#kept'=276).
result(file='Problems/SET/SET071-7.p', status=proved, time=43350, '#inf'=210, '#kept'=290).
result(file='Problems/SET/SET072+1.p', status=(?), time=exceeded, '#inf'=2616, '#kept'=1452).
result(file='Problems/SET/SET072-6.p', status=proved, time=19490, '#inf'=60, '#kept'=169).
result(file='Problems/SET/SET072-7.p', status=proved, time=58540, '#inf'=236, '#kept'=311).
result(file='Problems/SET/SET073+1.p', status=proved, time=7190, '#inf'=152, '#kept'=151).
result(file='Problems/SET/SET073-6.p', status=proved, time=25960, '#inf'=191, '#kept'=255).
result(file='Problems/SET/SET073-7.p', status=proved, time=28340, '#inf'=59, '#kept'=161).
result(file='Problems/SET/SET074+1.p', status=proved, time=7320, '#inf'=152, '#kept'=151).
result(file='Problems/SET/SET074-6.p', status=proved, time=26240, '#inf'=192, '#kept'=256).
result(file='Problems/SET/SET074-7.p', status=proved, time=28410, '#inf'=59, '#kept'=162).
result(file='Problems/SET/SET075-6.p', status=(?), time=exceeded, '#inf'=1899, '#kept'=933).
result(file='Problems/SET/SET075-7.p', status=proved, time=40010, '#inf'=136, '#kept'=252).
result(file='Problems/SET/SET076+1.p', status=proved, time=4790, '#inf'=62, '#kept'=104).
result(file='Problems/SET/SET076-6.p', status=proved, time=15550, '#inf'=47, '#kept'=156).
result(file='Problems/SET/SET076-7.p', status=proved, time=42270, '#inf'=145, '#kept'=257).
result(file='Problems/SET/SET077+1.p', status=proved, time=960, '#inf'=0, '#kept'=42).
result(file='Problems/SET/SET077-6.p', status=proved, time=11900, '#inf'=5, '#kept'=119).
result(file='Problems/SET/SET077-7.p', status=proved, time=26020, '#inf'=15, '#kept'=145).
result(file='Problems/SET/SET078-6.p', status=proved, time=13140, '#inf'=15, '#kept'=127).
result(file='Problems/SET/SET078-7.p', status=proved, time=12610, '#inf'=0, '#kept'=143).
result(file='Problems/SET/SET001-1.p', status=proved, time=170, '#inf'=5, '#kept'=11).
result(file='Problems/SET/SET079+1.p', status=(?), time=exceeded, '#inf'=2188, '#kept'=1257).
result(file='Problems/SET/SET079-6.p', status=(?), time=exceeded, '#inf'=2129, '#kept'=997).
result(file='Problems/SET/SET079-7.p', status=proved, time=28840, '#inf'=35, '#kept'=154).
result(file='Problems/SET/SET080-6.p', status=proved, time=19770, '#inf'=132, '#kept'=214).
result(file='Problems/SET/SET080-7.p', status=proved, time=13410, '#inf'=0, '#kept'=146).
result(file='Problems/SET/SET081+1.p', status=proved, time=4160, '#inf'=55, '#kept'=97).
result(file='Problems/SET/SET081-6.p', status=proved, time=20820, '#inf'=79, '#kept'=180).
result(file='Problems/SET/SET081-7.p', status=proved, time=71140, '#inf'=295, '#kept'=339).
result(file='Problems/SET/SET082+1.p', status=proved, time=4120, '#inf'=55, '#kept'=97).
result(file='Problems/SET/SET082-6.p', status=proved, time=30270, '#inf'=217, '#kept'=274).
result(file='Problems/SET/SET082-7.p', status=proved, time=13370, '#inf'=0, '#kept'=148).
result(file='Problems/SET/SET083+1.p', status=(?), time=exceeded, '#inf'=3125, '#kept'=1055).
result(file='Problems/SET/SET083-6.p', status=proved, time=47890, '#inf'=293, '#kept'=296).
result(file='Problems/SET/SET083-7.p', status=proved, time=32770, '#inf'=39, '#kept'=167).
result(file='Problems/SET/SET084+1.p', status=(?), time=exceeded, '#inf'=3240, '#kept'=952).
result(file='Problems/SET/SET084-6.p', status=proved, time=49830, '#inf'=298, '#kept'=301).
result(file='Problems/SET/SET084-7.p', status=proved, time=33370, '#inf'=40, '#kept'=169).
result(file='Problems/SET/SET085-6.p', status=proved, time=43260, '#inf'=302, '#kept'=272).
result(file='Problems/SET/SET085-7.p', status=proved, time=87090, '#inf'=307, '#kept'=381).
result(file='Problems/SET/SET086+1.p', status=(?), time=exceeded, '#inf'=1501, '#kept'=1014).
result(file='Problems/SET/SET086-6.p', status=(?), time=exceeded, '#inf'=2596, '#kept'=1525).
result(file='Problems/SET/SET086-7.p', status=(?), time=exceeded, '#inf'=1840, '#kept'=1113).
result(file='Problems/SET/SET087-6.p', status=(?), time=exceeded, '#inf'=2697, '#kept'=1533).
result(file='Problems/SET/SET087-7.p', status=(?), time=exceeded, '#inf'=2171, '#kept'=1188).
result(file='Problems/SET/SET088-6.p', status=(?), time=exceeded, '#inf'=2620, '#kept'=1497).
result(file='Problems/SET/SET088-7.p', status=(?), time=exceeded, '#inf'=1862, '#kept'=1129).
result(file='Problems/SET/SET089-6.p', status=(?), time=exceeded, '#inf'=2553, '#kept'=1515).
result(file='Problems/SET/SET089-7.p', status=(?), time=exceeded, '#inf'=1926, '#kept'=1139).
result(file='Problems/SET/SET090+1.p', status=(?), time=exceeded, '#inf'=2578, '#kept'=1379).
result(file='Problems/SET/SET090-6.p', status=(?), time=exceeded, '#inf'=2637, '#kept'=1542).
result(file='Problems/SET/SET090-7.p', status=proved, time=217520, '#inf'=797, '#kept'=610).
result(file='Problems/SET/SET091+1.p', status=(?), time=exceeded, '#inf'=1518, '#kept'=1023).
result(file='Problems/SET/SET091-6.p', status=(?), time=exceeded, '#inf'=2540, '#kept'=1482).
result(file='Problems/SET/SET091-7.p', status=(?), time=exceeded, '#inf'=2047, '#kept'=1196).
result(file='Problems/SET/SET092-6.p', status=(?), time=exceeded, '#inf'=2549, '#kept'=1510).
result(file='Problems/SET/SET092-7.p', status=(?), time=exceeded, '#inf'=2003, '#kept'=1215).
result(file='Problems/SET/SET093+1.p', status=proved, time=3890, '#inf'=53, '#kept'=94).
result(file='Problems/SET/SET093-6.p', status=proved, time=12620, '#inf'=7, '#kept'=121).
result(file='Problems/SET/SET093-7.p', status=proved, time=32320, '#inf'=12, '#kept'=165).
result(file='Problems/SET/SET094+1.p', status=proved, time=259080, '#inf'=1828, '#kept'=1065).
result(file='Problems/SET/SET094-6.p', status=proved, time=25220, '#inf'=123, '#kept'=221).
result(file='Problems/SET/SET094-7.p', status=proved, time=37900, '#inf'=24, '#kept'=181).
result(file='Problems/SET/SET095+1.p', status=proved, time=4410, '#inf'=58, '#kept'=100).
result(file='Problems/SET/SET095+4.p', status=proved, time=1380, '#inf'=31, '#kept'=47).
result(file='Problems/SET/SET095-6.p', status=proved, time=17560, '#inf'=77, '#kept'=175).
result(file='Problems/SET/SET095-7.p', status=proved, time=36620, '#inf'=20, '#kept'=177).
result(file='Problems/SET/SET096+1.p', status=(?), time=exceeded, '#inf'=2905, '#kept'=1370).
result(file='Problems/SET/SET096-6.p', status=proved, time=33510, '#inf'=171, '#kept'=245).
result(file='Problems/SET/SET096-7.p', status=proved, time=64840, '#inf'=165, '#kept'=331).
result(file='Problems/SET/SET097+1.p', status=(?), time=exceeded, '#inf'=1883, '#kept'=1214).
result(file='Problems/SET/SET097-6.p', status=(?), time=exceeded, '#inf'=2515, '#kept'=1468).
result(file='Problems/SET/SET097-7.p', status=(?), time=exceeded, '#inf'=1483, '#kept'=988).
result(file='Problems/SET/SET098+1.p', status=(?), time=exceeded, '#inf'=1911, '#kept'=1227).
result(file='Problems/SET/SET098-6.p', status=(?), time=exceeded, '#inf'=2474, '#kept'=1463).
result(file='Problems/SET/SET098-7.p', status=(?), time=exceeded, '#inf'=1481, '#kept'=988).
result(file='Problems/SET/SET099+1.p', status=(?), time=exceeded, '#inf'=1805, '#kept'=1168).
result(file='Problems/SET/SET099-6.p', status=(?), time=exceeded, '#inf'=2512, '#kept'=1464).
result(file='Problems/SET/SET099-7.p', status=(?), time=exceeded, '#inf'=1676, '#kept'=1086).
result(file='Problems/SET/SET100-6.p', status=(?), time=exceeded, '#inf'=2638, '#kept'=1531).
result(file='Problems/SET/SET100-7.p', status=(?), time=exceeded, '#inf'=1782, '#kept'=1169).
result(file='Problems/SET/SET101+1.p', status=(?), time=exceeded, '#inf'=1655, '#kept'=1163).
result(file='Problems/SET/SET101-6.p', status=proved, time=13760, '#inf'=27, '#kept'=138).
result(file='Problems/SET/SET101-7.p', status=proved, time=57840, '#inf'=147, '#kept'=290).
result(file='Problems/SET/SET102+1.p', status=proved, time=24860, '#inf'=440, '#kept'=333).
result(file='Problems/SET/SET102-6.p', status=proved, time=13690, '#inf'=18, '#kept'=131).
result(file='Problems/SET/SET102-7.p', status=proved, time=44690, '#inf'=85, '#kept'=208).
result(file='Problems/SET/SET103+1.p', status=(?), time=exceeded, '#inf'=2466, '#kept'=1305).
result(file='Problems/SET/SET103-6.p', status=(?), time=exceeded, '#inf'=2445, '#kept'=1408).
result(file='Problems/SET/SET103-7.p', status=(?), time=exceeded, '#inf'=1855, '#kept'=1209).
result(file='Problems/SET/SET104+1.p', status=(?), time=exceeded, '#inf'=2459, '#kept'=1367).
result(file='Problems/SET/SET104-6.p', status=(?), time=exceeded, '#inf'=2458, '#kept'=1358).
result(file='Problems/SET/SET104-7.p', status=(?), time=exceeded, '#inf'=1855, '#kept'=1209).
result(file='Problems/SET/SET105+1.p', status=(?), time=exceeded, '#inf'=3083, '#kept'=1339).
result(file='Problems/SET/SET105-6.p', status=(?), time=exceeded, '#inf'=2487, '#kept'=1387).
result(file='Problems/SET/SET105-7.p', status=(?), time=exceeded, '#inf'=1856, '#kept'=1210).
result(file='Problems/SET/SET108+1.p', status=(?), time=exceeded, '#inf'=2642, '#kept'=1590).
result(file='Problems/SET/SET108-6.p', status=proved, time=17440, '#inf'=78, '#kept'=176).
result(file='Problems/SET/SET108-7.p', status=proved, time=73000, '#inf'=272, '#kept'=360).
result(file='Problems/SET/SET109-6.p', status=(?), time=exceeded, '#inf'=2559, '#kept'=1552).
result(file='Problems/SET/SET109-7.p', status=(?), time=exceeded, '#inf'=2045, '#kept'=1168).
result(file='Problems/SET/SET110-6.p', status=(?), time=exceeded, '#inf'=2524, '#kept'=1529).
result(file='Problems/SET/SET110-7.p', status=(?), time=exceeded, '#inf'=1988, '#kept'=1135).
result(file='Problems/SET/SET111-6.p', status=(?), time=exceeded, '#inf'=2600, '#kept'=1560).
result(file='Problems/SET/SET111-7.p', status=(?), time=exceeded, '#inf'=1634, '#kept'=1097).
result(file='Problems/SET/SET112-6.p', status=(?), time=exceeded, '#inf'=2608, '#kept'=1562).
result(file='Problems/SET/SET112-7.p', status=(?), time=exceeded, '#inf'=1634, '#kept'=1097).
result(file='Problems/SET/SET113+1.p', status=(?), time=exceeded, '#inf'=2965, '#kept'=1680).
result(file='Problems/SET/SET113-6.p', status=(?), time=exceeded, '#inf'=2558, '#kept'=1558).
result(file='Problems/SET/SET113-7.p', status=(?), time=exceeded, '#inf'=1914, '#kept'=1062).
result(file='Problems/SET/SET114-6.p', status=(?), time=exceeded, '#inf'=2558, '#kept'=1553).
result(file='Problems/SET/SET114-7.p', status=(?), time=exceeded, '#inf'=1918, '#kept'=1065).
result(file='Problems/SET/SET115-6.p', status=(?), time=exceeded, '#inf'=2528, '#kept'=1519).
result(file='Problems/SET/SET115-7.p', status=(?), time=exceeded, '#inf'=1709, '#kept'=1146).
result(file='Problems/SET/SET116-6.p', status=(?), time=exceeded, '#inf'=2554, '#kept'=1522).
result(file='Problems/SET/SET116-7.p', status=(?), time=exceeded, '#inf'=1680, '#kept'=1104).
result(file='Problems/SET/SET117+1.p', status=(?), time=exceeded, '#inf'=2353, '#kept'=1315).
result(file='Problems/SET/SET117-6.p', status=proved, time=16490, '#inf'=75, '#kept'=175).
result(file='Problems/SET/SET117-7.p', status=proved, time=48420, '#inf'=12, '#kept'=210).
result(file='Problems/SET/SET118-6.p', status=proved, time=15500, '#inf'=54, '#kept'=158).
result(file='Problems/SET/SET118-7.p', status=proved, time=72080, '#inf'=196, '#kept'=348).
result(file='Problems/SET/SET119+1.p', status=(?), time=exceeded, '#inf'=2851, '#kept'=1603).
result(file='Problems/SET/SET119-6.p', status=(?), time=exceeded, '#inf'=2655, '#kept'=1581).
result(file='Problems/SET/SET119-7.p', status=(?), time=exceeded, '#inf'=1544, '#kept'=937).
result(file='Problems/SET/SET120+1.p', status=(?), time=exceeded, '#inf'=3045, '#kept'=1635).
result(file='Problems/SET/SET120-6.p', status=(?), time=exceeded, '#inf'=2561, '#kept'=1537).
result(file='Problems/SET/SET120-7.p', status=(?), time=exceeded, '#inf'=1563, '#kept'=961).
result(file='Problems/SET/SET121+1.p', status=(?), time=exceeded, '#inf'=3045, '#kept'=1635).
result(file='Problems/SET/SET121-6.p', status=(?), time=exceeded, '#inf'=2655, '#kept'=1573).
result(file='Problems/SET/SET121-7.p', status=(?), time=exceeded, '#inf'=1594, '#kept'=954).
result(file='Problems/SET/SET122+1.p', status=(?), time=exceeded, '#inf'=2886, '#kept'=1635).
result(file='Problems/SET/SET122-6.p', status=(?), time=exceeded, '#inf'=2561, '#kept'=1537).
result(file='Problems/SET/SET122-7.p', status=(?), time=exceeded, '#inf'=1580, '#kept'=953).
result(file='Problems/SET/SET123-6.p', status=(?), time=exceeded, '#inf'=2279, '#kept'=1095).
result(file='Problems/SET/SET124-6.p', status=(?), time=exceeded, '#inf'=2628, '#kept'=1514).
result(file='Problems/SET/SET125-6.p', status=(?), time=exceeded, '#inf'=1993, '#kept'=980).
result(file='Problems/SET/SET126-6.p', status=(?), time=exceeded, '#inf'=2273, '#kept'=1297).
result(file='Problems/SET/SET127-6.p', status=(?), time=exceeded, '#inf'=2584, '#kept'=1517).
result(file='Problems/SET/SET128-6.p', status=(?), time=exceeded, '#inf'=2239, '#kept'=1391).
result(file='Problems/SET/SET129-6.p', status=(?), time=exceeded, '#inf'=2236, '#kept'=1287).
result(file='Problems/SET/SET130-6.p', status=(?), time=exceeded, '#inf'=2516, '#kept'=1491).
result(file='Problems/SET/SET131-6.p', status=(?), time=exceeded, '#inf'=2516, '#kept'=1491).
result(file='Problems/SET/SET132-6.p', status=(?), time=exceeded, '#inf'=2516, '#kept'=1491).
result(file='Problems/SET/SET133-6.p', status=(?), time=exceeded, '#inf'=2302, '#kept'=1245).
result(file='Problems/SET/SET134-6.p', status=(?), time=exceeded, '#inf'=2517, '#kept'=1491).
result(file='Problems/SET/SET135-6.p', status=(?), time=exceeded, '#inf'=2517, '#kept'=1491).
result(file='Problems/SET/SET136-6.p', status=(?), time=exceeded, '#inf'=2517, '#kept'=1491).
result(file='Problems/SET/SET137-6.p', status=(?), time=exceeded, '#inf'=2329, '#kept'=1240).
result(file='Problems/SET/SET138-6.p', status=(?), time=exceeded, '#inf'=2582, '#kept'=1521).
result(file='Problems/SET/SET139-6.p', status=(?), time=exceeded, '#inf'=2093, '#kept'=1357).
result(file='Problems/SET/SET140-6.p', status=(?), time=exceeded, '#inf'=2093, '#kept'=1357).
result(file='Problems/SET/SET141-6.p', status=(?), time=exceeded, '#inf'=2093, '#kept'=1357).
result(file='Problems/SET/SET142-6.p', status=(?), time=exceeded, '#inf'=2076, '#kept'=1348).
result(file='Problems/SET/SET143+3.p', status=proved, time=2320, '#inf'=49, '#kept'=62).
result(file='Problems/SET/SET143+4.p', status=proved, time=3400, '#inf'=58, '#kept'=83).
result(file='Problems/SET/SET143-6.p', status=(?), time=exceeded, '#inf'=2471, '#kept'=1549).
result(file='Problems/SET/SET144+3.p', status=proved, time=2240, '#inf'=58, '#kept'=63).
result(file='Problems/SET/SET144-6.p', status=proved, time=127620, '#inf'=881, '#kept'=676).
result(file='Problems/SET/SET145-6.p', status=(?), time=exceeded, '#inf'=2471, '#kept'=1549).
result(file='Problems/SET/SET146+3.p', status=proved, time=230, '#inf'=3, '#kept'=11).
result(file='Problems/SET/SET146-6.p', status=proved, time=34540, '#inf'=212, '#kept'=301).
result(file='Problems/SET/SET147-6.p', status=proved, time=26770, '#inf'=127, '#kept'=243).
result(file='Problems/SET/SET148+3.p', status=proved, time=230, '#inf'=3, '#kept'=10).
result(file='Problems/SET/SET148+4.p', status=proved, time=370, '#inf'=0, '#kept'=14).
result(file='Problems/SET/SET148-6.p', status=proved, time=26690, '#inf'=127, '#kept'=241).
result(file='Problems/SET/SET149-6.p', status=(?), time=exceeded, '#inf'=2453, '#kept'=1538).
result(file='Problems/SET/SET150-6.p', status=proved, time=30180, '#inf'=168, '#kept'=271).
result(file='Problems/SET/SET151-6.p', status=proved, time=33760, '#inf'=204, '#kept'=299).
result(file='Problems/SET/SET152-6.p', status=proved, time=32090, '#inf'=197, '#kept'=292).
result(file='Problems/SET/SET153-6.p', status=proved, time=33530, '#inf'=217, '#kept'=304).
result(file='Problems/SET/SET154-6.p', status=(?), time=exceeded, '#inf'=2581, '#kept'=1611).
result(file='Problems/SET/SET155+4.p', status=proved, time=3510, '#inf'=58, '#kept'=81).
result(file='Problems/SET/SET155-6.p', status=(?), time=exceeded, '#inf'=2567, '#kept'=1621).
result(file='Problems/SET/SET156+4.p', status=proved, time=3820, '#inf'=67, '#kept'=88).
result(file='Problems/SET/SET156-6.p', status=(?), time=exceeded, '#inf'=2567, '#kept'=1621).
result(file='Problems/SET/SET157-6.p', status=(?), time=exceeded, '#inf'=2255, '#kept'=1320).
result(file='Problems/SET/SET158-6.p', status=proved, time=17010, '#inf'=14, '#kept'=150).
result(file='Problems/SET/SET159+3.p', status=proved, time=2210, '#inf'=60, '#kept'=66).
result(file='Problems/SET/SET159+4.p', status=proved, time=3220, '#inf'=63, '#kept'=85).
result(file='Problems/SET/SET159-6.p', status=(?), time=exceeded, '#inf'=2517, '#kept'=1589).
result(file='Problems/SET/SET160-6.p', status=(?), time=exceeded, '#inf'=2493, '#kept'=1373).
result(file='Problems/SET/SET161-6.p', status=(?), time=exceeded, '#inf'=2517, '#kept'=1589).
result(file='Problems/SET/SET162+3.p', status=proved, time=260, '#inf'=3, '#kept'=11).
result(file='Problems/SET/SET162+4.p', status=proved, time=380, '#inf'=0, '#kept'=14).
result(file='Problems/SET/SET162-6.p', status=(?), time=exceeded, '#inf'=2500, '#kept'=1395).
result(file='Problems/SET/SET163-6.p', status=proved, time=39840, '#inf'=290, '#kept'=335).
result(file='Problems/SET/SET165-6.p', status=(?), time=exceeded, '#inf'=2567, '#kept'=1604).
result(file='Problems/SET/SET166-6.p', status=(?), time=exceeded, '#inf'=2102, '#kept'=1169).
result(file='Problems/SET/SET167-6.p', status=(?), time=exceeded, '#inf'=2172, '#kept'=1132).
result(file='Problems/SET/SET168-6.p', status=(?), time=exceeded, '#inf'=2172, '#kept'=1131).
result(file='Problems/SET/SET169+3.p', status=proved, time=2280, '#inf'=48, '#kept'=62).
result(file='Problems/SET/SET169+4.p', status=proved, time=3300, '#inf'=57, '#kept'=82).
result(file='Problems/SET/SET169-6.p', status=(?), time=exceeded, '#inf'=2614, '#kept'=1601).
result(file='Problems/SET/SET170-6.p', status=(?), time=exceeded, '#inf'=2550, '#kept'=1588).
result(file='Problems/SET/SET171+3.p', status=proved, time=2330, '#inf'=59, '#kept'=65).
result(file='Problems/SET/SET171+4.p', status=proved, time=2900, '#inf'=54, '#kept'=74).
result(file='Problems/SET/SET171-6.p', status=(?), time=exceeded, '#inf'=2554, '#kept'=1591).
result(file='Problems/SET/SET172-6.p', status=(?), time=exceeded, '#inf'=2550, '#kept'=1588).
result(file='Problems/SET/SET173+3.p', status=proved, time=1010, '#inf'=27, '#kept'=36).
result(file='Problems/SET/SET173-6.p', status=(?), time=exceeded, '#inf'=2572, '#kept'=1573).
result(file='Problems/SET/SET174-6.p', status=(?), time=exceeded, '#inf'=2549, '#kept'=1587).
result(file='Problems/SET/SET175+3.p', status=proved, time=1010, '#inf'=30, '#kept'=38).
result(file='Problems/SET/SET175-6.p', status=(?), time=exceeded, '#inf'=2444, '#kept'=1515).
result(file='Problems/SET/SET176-6.p', status=(?), time=exceeded, '#inf'=2613, '#kept'=1595).
result(file='Problems/SET/SET177-6.p', status=(?), time=exceeded, '#inf'=2466, '#kept'=1568).
result(file='Problems/SET/SET178-6.p', status=(?), time=exceeded, '#inf'=2571, '#kept'=1619).
result(file='Problems/SET/SET179-6.p', status=(?), time=exceeded, '#inf'=2534, '#kept'=1610).
result(file='Problems/SET/SET180-6.p', status=(?), time=exceeded, '#inf'=2573, '#kept'=1621).
result(file='Problems/SET/SET181-6.p', status=(?), time=exceeded, '#inf'=2547, '#kept'=1615).
result(file='Problems/SET/SET182-6.p', status=(?), time=exceeded, '#inf'=2571, '#kept'=1619).
result(file='Problems/SET/SET183+3.p', status=proved, time=1440, '#inf'=36, '#kept'=45).
result(file='Problems/SET/SET183-6.p', status=proved, time=26750, '#inf'=129, '#kept'=243).
result(file='Problems/SET/SET184-6.p', status=proved, time=18090, '#inf'=27, '#kept'=161).
result(file='Problems/SET/SET185+3.p', status=proved, time=940, '#inf'=29, '#kept'=34).
result(file='Problems/SET/SET185-6.p', status=(?), time=exceeded, '#inf'=2389, '#kept'=1269).
result(file='Problems/SET/SET186-6.p', status=(?), time=exceeded, '#inf'=2401, '#kept'=1509).
result(file='Problems/SET/SET187-6.p', status=proved, time=35330, '#inf'=220, '#kept'=307).
result(file='Problems/SET/SET188-6.p', status=proved, time=34970, '#inf'=201, '#kept'=296).
result(file='Problems/SET/SET189-6.p', status=proved, time=37250, '#inf'=213, '#kept'=307).
result(file='Problems/SET/SET190-6.p', status=(?), time=exceeded, '#inf'=2186, '#kept'=1332).
result(file='Problems/SET/SET191-6.p', status=(?), time=exceeded, '#inf'=2529, '#kept'=1465).
result(file='Problems/SET/SET192-6.p', status=proved, time=28660, '#inf'=166, '#kept'=262).
result(file='Problems/SET/SET193-6.p', status=proved, time=28640, '#inf'=173, '#kept'=269).
result(file='Problems/SET/SET194+3.p', status=proved, time=510, '#inf'=15, '#kept'=19).
result(file='Problems/SET/SET194-6.p', status=(?), time=exceeded, '#inf'=2355, '#kept'=1408).
result(file='Problems/SET/SET195-6.p', status=(?), time=exceeded, '#inf'=2355, '#kept'=1408).
result(file='Problems/SET/SET196+3.p', status=proved, time=490, '#inf'=15, '#kept'=20).
result(file='Problems/SET/SET196-6.p', status=proved, time=17800, '#inf'=21, '#kept'=157).
result(file='Problems/SET/SET197-6.p', status=proved, time=18060, '#inf'=26, '#kept'=160).
result(file='Problems/SET/SET199+3.p', status=proved, time=740, '#inf'=22, '#kept'=27).
result(file='Problems/SET/SET199+4.p', status=proved, time=7840, '#inf'=157, '#kept'=163).
result(file='Problems/SET/SET199-6.p', status=proved, time=26400, '#inf'=131, '#kept'=241).
result(file='Problems/SET/SET200+3.p', status=proved, time=890, '#inf'=24, '#kept'=28).
result(file='Problems/SET/SET200-6.p', status=(?), time=exceeded, '#inf'=2119, '#kept'=1282).
result(file='Problems/SET/SET201+3.p', status=proved, time=960, '#inf'=25, '#kept'=30).
result(file='Problems/SET/SET201-6.p', status=proved, time=25990, '#inf'=131, '#kept'=241).
result(file='Problems/SET/SET202-6.p', status=(?), time=exceeded, '#inf'=2486, '#kept'=1392).
result(file='Problems/SET/SET203-6.p', status=proved, time=25270, '#inf'=136, '#kept'=246).
result(file='Problems/SET/SET204-6.p', status=proved, time=30260, '#inf'=178, '#kept'=274).
result(file='Problems/SET/SET205-6.p', status=proved, time=49010, '#inf'=398, '#kept'=401).
result(file='Problems/SET/SET206-6.p', status=proved, time=47510, '#inf'=391, '#kept'=398).
result(file='Problems/SET/SET207-6.p', status=(?), time=exceeded, '#inf'=2508, '#kept'=1407).
result(file='Problems/SET/SET208-6.p', status=(?), time=exceeded, '#inf'=2453, '#kept'=1457).
result(file='Problems/SET/SET209-6.p', status=(?), time=exceeded, '#inf'=2453, '#kept'=1471).
result(file='Problems/SET/SET210-6.p', status=(?), time=exceeded, '#inf'=2535, '#kept'=1461).
result(file='Problems/SET/SET211-6.p', status=(?), time=exceeded, '#inf'=2535, '#kept'=1463).
result(file='Problems/SET/SET212-6.p', status=(?), time=exceeded, '#inf'=2535, '#kept'=1466).
result(file='Problems/SET/SET213-6.p', status=(?), time=exceeded, '#inf'=2535, '#kept'=1462).
result(file='Problems/SET/SET214-6.p', status=(?), time=exceeded, '#inf'=2411, '#kept'=1404).
result(file='Problems/SET/SET215-6.p', status=(?), time=exceeded, '#inf'=2482, '#kept'=1420).
result(file='Problems/SET/SET216-6.p', status=(?), time=exceeded, '#inf'=2574, '#kept'=1472).
result(file='Problems/SET/SET217-6.p', status=(?), time=exceeded, '#inf'=2574, '#kept'=1472).
result(file='Problems/SET/SET218-6.p', status=(?), time=exceeded, '#inf'=2546, '#kept'=1582).
result(file='Problems/SET/SET219-6.p', status=(?), time=exceeded, '#inf'=2546, '#kept'=1596).
result(file='Problems/SET/SET220-6.p', status=(?), time=exceeded, '#inf'=2484, '#kept'=1549).
result(file='Problems/SET/SET221-6.p', status=(?), time=exceeded, '#inf'=2484, '#kept'=1549).
result(file='Problems/SET/SET222-6.p', status=(?), time=exceeded, '#inf'=2524, '#kept'=1475).
result(file='Problems/SET/SET223-6.p', status=(?), time=exceeded, '#inf'=2374, '#kept'=1321).
result(file='Problems/SET/SET224-6.p', status=(?), time=exceeded, '#inf'=2106, '#kept'=1297).
result(file='Problems/SET/SET225-6.p', status=(?), time=exceeded, '#inf'=2291, '#kept'=1361).
result(file='Problems/SET/SET226-6.p', status=(?), time=exceeded, '#inf'=1954, '#kept'=1246).
result(file='Problems/SET/SET227-6.p', status=(?), time=exceeded, '#inf'=2166, '#kept'=1265).
result(file='Problems/SET/SET228-6.p', status=(?), time=exceeded, '#inf'=2160, '#kept'=1260).
result(file='Problems/SET/SET229-6.p', status=(?), time=exceeded, '#inf'=2115, '#kept'=1251).
result(file='Problems/SET/SET230-6.p', status=proved, time=29610, '#inf'=167, '#kept'=264).
result(file='Problems/SET/SET231-6.p', status=proved, time=23850, '#inf'=71, '#kept'=207).
result(file='Problems/SET/SET232-6.p', status=proved, time=37170, '#inf'=305, '#kept'=361).
result(file='Problems/SET/SET233-6.p', status=proved, time=40200, '#inf'=312, '#kept'=364).
result(file='Problems/SET/SET234-6.p', status=proved, time=21780, '#inf'=71, '#kept'=203).
result(file='Problems/SET/SET235-6.p', status=proved, time=22800, '#inf'=99, '#kept'=211).
result(file='Problems/SET/SET236-6.p', status=proved, time=22960, '#inf'=101, '#kept'=212).
result(file='Problems/SET/SET237-6.p', status=(?), time=exceeded, '#inf'=2136, '#kept'=1247).
result(file='Problems/SET/SET238-6.p', status=proved, time=83870, '#inf'=760, '#kept'=637).
result(file='Problems/SET/SET239-6.p', status=proved, time=27710, '#inf'=165, '#kept'=261).
result(file='Problems/SET/SET240-6.p', status=proved, time=66360, '#inf'=601, '#kept'=523).
result(file='Problems/SET/SET241-6.p', status=proved, time=65410, '#inf'=601, '#kept'=523).
result(file='Problems/SET/SET242-6.p', status=(?), time=exceeded, '#inf'=2249, '#kept'=1244).
result(file='Problems/SET/SET243-6.p', status=(?), time=exceeded, '#inf'=2275, '#kept'=1428).
result(file='Problems/SET/SET244-6.p', status=(?), time=exceeded, '#inf'=2086, '#kept'=1304).
result(file='Problems/SET/SET245-6.p', status=proved, time=34040, '#inf'=220, '#kept'=302).
result(file='Problems/SET/SET246-6.p', status=proved, time=75290, '#inf'=669, '#kept'=568).
result(file='Problems/SET/SET247-6.p', status=proved, time=77800, '#inf'=676, '#kept'=571).
result(file='Problems/SET/SET248-6.p', status=(?), time=exceeded, '#inf'=2275, '#kept'=1390).
result(file='Problems/SET/SET249-6.p', status=(?), time=exceeded, '#inf'=2252, '#kept'=1419).
result(file='Problems/SET/SET250-6.p', status=(?), time=exceeded, '#inf'=2257, '#kept'=1421).
result(file='Problems/SET/SET251-6.p', status=(?), time=exceeded, '#inf'=2255, '#kept'=1274).
result(file='Problems/SET/SET252-6.p', status=proved, time=26810, '#inf'=159, '#kept'=256).
result(file='Problems/SET/SET253-6.p', status=proved, time=62830, '#inf'=560, '#kept'=504).
result(file='Problems/SET/SET254-6.p', status=(?), time=exceeded, '#inf'=2064, '#kept'=1293).
result(file='Problems/SET/SET255-6.p', status=(?), time=exceeded, '#inf'=2097, '#kept'=1303).
result(file='Problems/SET/SET256-6.p', status=(?), time=exceeded, '#inf'=2129, '#kept'=1310).
result(file='Problems/SET/SET257-6.p', status=(?), time=exceeded, '#inf'=2215, '#kept'=1363).
result(file='Problems/SET/SET258-6.p', status=(?), time=exceeded, '#inf'=2050, '#kept'=1148).
result(file='Problems/SET/SET259-6.p', status=(?), time=exceeded, '#inf'=1904, '#kept'=1243).
result(file='Problems/SET/SET260-6.p', status=(?), time=exceeded, '#inf'=1791, '#kept'=1141).
result(file='Problems/SET/SET261-6.p', status=(?), time=exceeded, '#inf'=2116, '#kept'=1313).
result(file='Problems/SET/SET262-6.p', status=(?), time=exceeded, '#inf'=2215, '#kept'=1357).
result(file='Problems/SET/SET263-6.p', status=(?), time=exceeded, '#inf'=2269, '#kept'=1421).
result(file='Problems/SET/SET264-6.p', status=(?), time=exceeded, '#inf'=2015, '#kept'=1158).
result(file='Problems/SET/SET265-6.p', status=(?), time=exceeded, '#inf'=2247, '#kept'=1337).
result(file='Problems/SET/SET266-6.p', status=(?), time=exceeded, '#inf'=2247, '#kept'=1337).
result(file='Problems/SET/SET267-6.p', status=(?), time=exceeded, '#inf'=2280, '#kept'=1400).
result(file='Problems/SET/SET268-6.p', status=(?), time=exceeded, '#inf'=2321, '#kept'=1325).
result(file='Problems/SET/SET269-6.p', status=(?), time=exceeded, '#inf'=2217, '#kept'=1353).
result(file='Problems/SET/SET270-6.p', status=(?), time=exceeded, '#inf'=2129, '#kept'=1294).
result(file='Problems/SET/SET271-6.p', status=(?), time=exceeded, '#inf'=2234, '#kept'=1382).
result(file='Problems/SET/SET272-6.p', status=(?), time=exceeded, '#inf'=2271, '#kept'=1411).
result(file='Problems/SET/SET273-6.p', status=(?), time=exceeded, '#inf'=2260, '#kept'=1373).
result(file='Problems/SET/SET274-6.p', status=(?), time=exceeded, '#inf'=2208, '#kept'=1343).
result(file='Problems/SET/SET275-6.p', status=(?), time=exceeded, '#inf'=2252, '#kept'=1327).
result(file='Problems/SET/SET276-6.p', status=(?), time=exceeded, '#inf'=2218, '#kept'=1335).
result(file='Problems/SET/SET277-6.p', status=(?), time=exceeded, '#inf'=2218, '#kept'=1336).
result(file='Problems/SET/SET278-6.p', status=(?), time=exceeded, '#inf'=2233, '#kept'=1366).
result(file='Problems/SET/SET279-6.p', status=(?), time=exceeded, '#inf'=2245, '#kept'=1231).
result(file='Problems/SET/SET280-6.p', status=(?), time=exceeded, '#inf'=1853, '#kept'=1276).
result(file='Problems/SET/SET281-6.p', status=(?), time=exceeded, '#inf'=2337, '#kept'=1423).
result(file='Problems/SET/SET282-6.p', status=(?), time=exceeded, '#inf'=2210, '#kept'=1369).
result(file='Problems/SET/SET283-6.p', status=(?), time=exceeded, '#inf'=2071, '#kept'=1272).
result(file='Problems/SET/SET284-6.p', status=(?), time=exceeded, '#inf'=2263, '#kept'=1376).
result(file='Problems/SET/SET285-6.p', status=(?), time=exceeded, '#inf'=1813, '#kept'=1145).
result(file='Problems/SET/SET286-6.p', status=(?), time=exceeded, '#inf'=1763, '#kept'=1130).
result(file='Problems/SET/SET287-6.p', status=(?), time=exceeded, '#inf'=2031, '#kept'=1146).
result(file='Problems/SET/SET288-6.p', status=(?), time=exceeded, '#inf'=1922, '#kept'=1255).
result(file='Problems/SET/SET289-6.p', status=(?), time=exceeded, '#inf'=2229, '#kept'=1325).
result(file='Problems/SET/SET290-6.p', status=(?), time=exceeded, '#inf'=2071, '#kept'=1261).
result(file='Problems/SET/SET291-6.p', status=(?), time=exceeded, '#inf'=1765, '#kept'=1131).
result(file='Problems/SET/SET292-6.p', status=(?), time=exceeded, '#inf'=2049, '#kept'=1311).
result(file='Problems/SET/SET293-6.p', status=(?), time=exceeded, '#inf'=2335, '#kept'=1347).
result(file='Problems/SET/SET294-6.p', status=(?), time=exceeded, '#inf'=2299, '#kept'=1435).
result(file='Problems/SET/SET295-6.p', status=(?), time=exceeded, '#inf'=2239, '#kept'=1396).
result(file='Problems/SET/SET296-6.p', status=proved, time=15200, '#inf'=0, '#kept'=143).
result(file='Problems/SET/SET297-6.p', status=(?), time=exceeded, '#inf'=2199, '#kept'=1365).
result(file='Problems/SET/SET298-6.p', status=(?), time=exceeded, '#inf'=2269, '#kept'=1402).
result(file='Problems/SET/SET299-6.p', status=(?), time=exceeded, '#inf'=2175, '#kept'=1303).
result(file='Problems/SET/SET300-6.p', status=(?), time=exceeded, '#inf'=2196, '#kept'=1359).
result(file='Problems/SET/SET301-6.p', status=(?), time=exceeded, '#inf'=2244, '#kept'=1396).
result(file='Problems/SET/SET302-6.p', status=(?), time=exceeded, '#inf'=2045, '#kept'=1156).
result(file='Problems/SET/SET303-6.p', status=(?), time=exceeded, '#inf'=1831, '#kept'=1206).
result(file='Problems/SET/SET304-6.p', status=(?), time=exceeded, '#inf'=1743, '#kept'=1118).
result(file='Problems/SET/SET305-6.p', status=(?), time=exceeded, '#inf'=2033, '#kept'=1280).
result(file='Problems/SET/SET306-6.p', status=(?), time=exceeded, '#inf'=2246, '#kept'=1387).
result(file='Problems/SET/SET307-6.p', status=(?), time=exceeded, '#inf'=2289, '#kept'=1425).
result(file='Problems/SET/SET308-6.p', status=(?), time=exceeded, '#inf'=1999, '#kept'=1155).
result(file='Problems/SET/SET309-6.p', status=(?), time=exceeded, '#inf'=2235, '#kept'=1326).
result(file='Problems/SET/SET310-6.p', status=(?), time=exceeded, '#inf'=2235, '#kept'=1334).
result(file='Problems/SET/SET311-6.p', status=(?), time=exceeded, '#inf'=2314, '#kept'=1327).
result(file='Problems/SET/SET312-6.p', status=(?), time=exceeded, '#inf'=2187, '#kept'=1333).
result(file='Problems/SET/SET313-6.p', status=(?), time=exceeded, '#inf'=2006, '#kept'=1285).
result(file='Problems/SET/SET314-6.p', status=(?), time=exceeded, '#inf'=2217, '#kept'=1396).
result(file='Problems/SET/SET315-6.p', status=(?), time=exceeded, '#inf'=2268, '#kept'=1379).
result(file='Problems/SET/SET316-6.p', status=(?), time=exceeded, '#inf'=2200, '#kept'=1337).
result(file='Problems/SET/SET317-6.p', status=(?), time=exceeded, '#inf'=2234, '#kept'=1318).
result(file='Problems/SET/SET318-6.p', status=(?), time=exceeded, '#inf'=2273, '#kept'=1337).
result(file='Problems/SET/SET319-6.p', status=(?), time=exceeded, '#inf'=2201, '#kept'=1331).
result(file='Problems/SET/SET320-6.p', status=(?), time=exceeded, '#inf'=2188, '#kept'=1351).
result(file='Problems/SET/SET321-6.p', status=(?), time=exceeded, '#inf'=1918, '#kept'=1236).
result(file='Problems/SET/SET322-6.p', status=(?), time=exceeded, '#inf'=1902, '#kept'=1236).
result(file='Problems/SET/SET323-6.p', status=(?), time=exceeded, '#inf'=1849, '#kept'=1254).
result(file='Problems/SET/SET324-6.p', status=(?), time=exceeded, '#inf'=2059, '#kept'=1150).
result(file='Problems/SET/SET325-6.p', status=(?), time=exceeded, '#inf'=1874, '#kept'=1106).
result(file='Problems/SET/SET326-6.p', status=(?), time=exceeded, '#inf'=1913, '#kept'=1105).
result(file='Problems/SET/SET327-6.p', status=(?), time=exceeded, '#inf'=1931, '#kept'=1115).
result(file='Problems/SET/SET328-6.p', status=(?), time=exceeded, '#inf'=1909, '#kept'=1169).
result(file='Problems/SET/SET329-6.p', status=(?), time=exceeded, '#inf'=1706, '#kept'=1155).
result(file='Problems/SET/SET330-6.p', status=(?), time=exceeded, '#inf'=1843, '#kept'=1161).
result(file='Problems/SET/SET331-6.p', status=(?), time=exceeded, '#inf'=2280, '#kept'=1374).
result(file='Problems/SET/SET332-6.p', status=(?), time=exceeded, '#inf'=2194, '#kept'=1306).
result(file='Problems/SET/SET333-6.p', status=(?), time=exceeded, '#inf'=1959, '#kept'=1144).
result(file='Problems/SET/SET334-6.p', status=(?), time=exceeded, '#inf'=2016, '#kept'=1155).
result(file='Problems/SET/SET335-6.p', status=(?), time=exceeded, '#inf'=2110, '#kept'=1320).
result(file='Problems/SET/SET336-6.p', status=(?), time=exceeded, '#inf'=2114, '#kept'=1321).
result(file='Problems/SET/SET337-6.p', status=(?), time=exceeded, '#inf'=2114, '#kept'=1308).
result(file='Problems/SET/SET338-6.p', status=(?), time=exceeded, '#inf'=2197, '#kept'=1352).
result(file='Problems/SET/SET339-6.p', status=(?), time=exceeded, '#inf'=2099, '#kept'=1312).
result(file='Problems/SET/SET340-6.p', status=(?), time=exceeded, '#inf'=1969, '#kept'=1208).
result(file='Problems/SET/SET341-6.p', status=(?), time=exceeded, '#inf'=2121, '#kept'=1353).
result(file='Problems/SET/SET342-6.p', status=(?), time=exceeded, '#inf'=2294, '#kept'=1303).
result(file='Problems/SET/SET343-6.p', status=(?), time=exceeded, '#inf'=2236, '#kept'=1392).
result(file='Problems/SET/SET344-6.p', status=(?), time=exceeded, '#inf'=1867, '#kept'=1081).
result(file='Problems/SET/SET345-6.p', status=(?), time=exceeded, '#inf'=1867, '#kept'=1091).
result(file='Problems/SET/SET346-6.p', status=(?), time=exceeded, '#inf'=1822, '#kept'=1145).
result(file='Problems/SET/SET347+4.p', status=proved, time=2360, '#inf'=61, '#kept'=71).
result(file='Problems/SET/SET347-6.p', status=(?), time=exceeded, '#inf'=2097, '#kept'=1308).
result(file='Problems/SET/SET348-6.p', status=(?), time=exceeded, '#inf'=2225, '#kept'=1366).
result(file='Problems/SET/SET349-6.p', status=(?), time=exceeded, '#inf'=2203, '#kept'=1326).
result(file='Problems/SET/SET350-6.p', status=(?), time=exceeded, '#inf'=2216, '#kept'=1322).
result(file='Problems/SET/SET351+4.p', status=(?), time=exceeded, '#inf'=2057, '#kept'=1674).
result(file='Problems/SET/SET351-6.p', status=(?), time=exceeded, '#inf'=2240, '#kept'=1269).
result(file='Problems/SET/SET352+4.p', status=(?), time=exceeded, '#inf'=1666, '#kept'=1366).
result(file='Problems/SET/SET352-6.p', status=(?), time=exceeded, '#inf'=1769, '#kept'=1137).
result(file='Problems/SET/SET353-6.p', status=(?), time=exceeded, '#inf'=1762, '#kept'=1131).
result(file='Problems/SET/SET354-6.p', status=(?), time=exceeded, '#inf'=1831, '#kept'=1159).
result(file='Problems/SET/SET355+4.p', status=proved, time=3970, '#inf'=107, '#kept'=107).
result(file='Problems/SET/SET355-6.p', status=(?), time=exceeded, '#inf'=1982, '#kept'=1068).
result(file='Problems/SET/SET356-6.p', status=(?), time=exceeded, '#inf'=2162, '#kept'=1290).
result(file='Problems/SET/SET357-6.p', status=(?), time=exceeded, '#inf'=2256, '#kept'=1291).
result(file='Problems/SET/SET358+4.p', status=(?), time=exceeded, '#inf'=1509, '#kept'=1334).
result(file='Problems/SET/SET358-6.p', status=(?), time=exceeded, '#inf'=2290, '#kept'=1427).
result(file='Problems/SET/SET359-6.p', status=(?), time=exceeded, '#inf'=2179, '#kept'=1305).
result(file='Problems/SET/SET360-6.p', status=(?), time=exceeded, '#inf'=2067, '#kept'=1283).
result(file='Problems/SET/SET361-6.p', status=(?), time=exceeded, '#inf'=2150, '#kept'=1317).
result(file='Problems/SET/SET362-6.p', status=(?), time=exceeded, '#inf'=1980, '#kept'=1152).
result(file='Problems/SET/SET363-6.p', status=(?), time=exceeded, '#inf'=2137, '#kept'=1346).
result(file='Problems/SET/SET364-6.p', status=(?), time=exceeded, '#inf'=1786, '#kept'=1150).
result(file='Problems/SET/SET365-6.p', status=(?), time=exceeded, '#inf'=1978, '#kept'=1155).
result(file='Problems/SET/SET366+4.p', status=proved, time=9840, '#inf'=203, '#kept'=199).
result(file='Problems/SET/SET366-6.p', status=(?), time=exceeded, '#inf'=2181, '#kept'=1364).
result(file='Problems/SET/SET367-6.p', status=(?), time=exceeded, '#inf'=2013, '#kept'=1236).
result(file='Problems/SET/SET368-6.p', status=(?), time=exceeded, '#inf'=2238, '#kept'=1370).
result(file='Problems/SET/SET369-6.p', status=(?), time=exceeded, '#inf'=2252, '#kept'=1266).
result(file='Problems/SET/SET370-6.p', status=(?), time=exceeded, '#inf'=2283, '#kept'=1310).
result(file='Problems/SET/SET371-6.p', status=(?), time=exceeded, '#inf'=2162, '#kept'=1294).
result(file='Problems/SET/SET372+4.p', status=(?), time=exceeded, '#inf'=1473, '#kept'=1289).
result(file='Problems/SET/SET372-6.p', status=(?), time=exceeded, '#inf'=2176, '#kept'=1358).
result(file='Problems/SET/SET373-6.p', status=(?), time=exceeded, '#inf'=2175, '#kept'=1349).
result(file='Problems/SET/SET374-6.p', status=(?), time=exceeded, '#inf'=2096, '#kept'=1250).
result(file='Problems/SET/SET375-6.p', status=(?), time=exceeded, '#inf'=2078, '#kept'=1251).
result(file='Problems/SET/SET376-6.p', status=(?), time=exceeded, '#inf'=2032, '#kept'=1141).
result(file='Problems/SET/SET377-6.p', status=(?), time=exceeded, '#inf'=1995, '#kept'=1078).
result(file='Problems/SET/SET378-6.p', status=(?), time=exceeded, '#inf'=2318, '#kept'=1316).
result(file='Problems/SET/SET379-6.p', status=(?), time=exceeded, '#inf'=2165, '#kept'=1319).
result(file='Problems/SET/SET380-6.p', status=(?), time=exceeded, '#inf'=2136, '#kept'=1238).
result(file='Problems/SET/SET381-6.p', status=(?), time=exceeded, '#inf'=1881, '#kept'=1234).
result(file='Problems/SET/SET382-6.p', status=(?), time=exceeded, '#inf'=1886, '#kept'=1230).
result(file='Problems/SET/SET383-6.p', status=(?), time=exceeded, '#inf'=2203, '#kept'=1302).
result(file='Problems/SET/SET384-6.p', status=(?), time=exceeded, '#inf'=2306, '#kept'=1358).
result(file='Problems/SET/SET385-6.p', status=(?), time=exceeded, '#inf'=2265, '#kept'=1292).
result(file='Problems/SET/SET386-6.p', status=proved, time=177770, '#inf'=1274, '#kept'=901).
result(file='Problems/SET/SET387-6.p', status=(?), time=exceeded, '#inf'=1824, '#kept'=1149).
result(file='Problems/SET/SET388-6.p', status=(?), time=exceeded, '#inf'=1826, '#kept'=1156).
result(file='Problems/SET/SET389-6.p', status=(?), time=exceeded, '#inf'=1824, '#kept'=1163).
result(file='Problems/SET/SET390-6.p', status=(?), time=exceeded, '#inf'=1931, '#kept'=1167).
result(file='Problems/SET/SET391-6.p', status=(?), time=exceeded, '#inf'=1916, '#kept'=1283).
result(file='Problems/SET/SET392-6.p', status=(?), time=exceeded, '#inf'=2264, '#kept'=1279).
result(file='Problems/SET/SET393-6.p', status=(?), time=exceeded, '#inf'=2264, '#kept'=1282).
result(file='Problems/SET/SET394-6.p', status=(?), time=exceeded, '#inf'=2242, '#kept'=1318).
result(file='Problems/SET/SET395-6.p', status=(?), time=exceeded, '#inf'=2227, '#kept'=1384).
result(file='Problems/SET/SET396-6.p', status=(?), time=exceeded, '#inf'=2281, '#kept'=1302).
result(file='Problems/SET/SET397-6.p', status=(?), time=exceeded, '#inf'=2287, '#kept'=1303).
result(file='Problems/SET/SET398-6.p', status=(?), time=exceeded, '#inf'=2205, '#kept'=1357).
result(file='Problems/SET/SET399-6.p', status=(?), time=exceeded, '#inf'=2050, '#kept'=1321).
result(file='Problems/SET/SET400-6.p', status=(?), time=exceeded, '#inf'=2026, '#kept'=1315).
result(file='Problems/SET/SET401-6.p', status=(?), time=exceeded, '#inf'=2240, '#kept'=1387).
result(file='Problems/SET/SET402-6.p', status=(?), time=exceeded, '#inf'=2251, '#kept'=1400).
result(file='Problems/SET/SET403-6.p', status=(?), time=exceeded, '#inf'=1923, '#kept'=1197).
result(file='Problems/SET/SET404-6.p', status=(?), time=exceeded, '#inf'=1988, '#kept'=1148).
result(file='Problems/SET/SET405-6.p', status=(?), time=exceeded, '#inf'=2006, '#kept'=1148).
result(file='Problems/SET/SET406-6.p', status=(?), time=exceeded, '#inf'=1978, '#kept'=1138).
result(file='Problems/SET/SET407-6.p', status=(?), time=exceeded, '#inf'=1848, '#kept'=1161).
result(file='Problems/SET/SET408-6.p', status=(?), time=exceeded, '#inf'=2179, '#kept'=1349).
result(file='Problems/SET/SET409-6.p', status=(?), time=exceeded, '#inf'=1805, '#kept'=1151).
result(file='Problems/SET/SET410-6.p', status=(?), time=exceeded, '#inf'=1900, '#kept'=1144).
result(file='Problems/SET/SET411-6.p', status=proved, time=22930, '#inf'=89, '#kept'=209).
result(file='Problems/SET/SET412-6.p', status=(?), time=exceeded, '#inf'=2014, '#kept'=1139).
result(file='Problems/SET/SET413-6.p', status=(?), time=exceeded, '#inf'=1904, '#kept'=1096).
result(file='Problems/SET/SET414-6.p', status=(?), time=exceeded, '#inf'=2223, '#kept'=1393).
result(file='Problems/SET/SET415-6.p', status=(?), time=exceeded, '#inf'=2096, '#kept'=1116).
result(file='Problems/SET/SET416-6.p', status=(?), time=exceeded, '#inf'=2290, '#kept'=1291).
result(file='Problems/SET/SET417-6.p', status=(?), time=exceeded, '#inf'=2283, '#kept'=1286).
result(file='Problems/SET/SET418-6.p', status=(?), time=exceeded, '#inf'=2205, '#kept'=1371).
result(file='Problems/SET/SET419-6.p', status=(?), time=exceeded, '#inf'=1722, '#kept'=1126).
result(file='Problems/SET/SET420-6.p', status=(?), time=exceeded, '#inf'=2193, '#kept'=1264).
result(file='Problems/SET/SET421-6.p', status=(?), time=exceeded, '#inf'=2237, '#kept'=1378).
result(file='Problems/SET/SET422-6.p', status=(?), time=exceeded, '#inf'=2223, '#kept'=1263).
result(file='Problems/SET/SET423-6.p', status=(?), time=exceeded, '#inf'=2235, '#kept'=1383).
result(file='Problems/SET/SET424-6.p', status=(?), time=exceeded, '#inf'=1999, '#kept'=1170).
result(file='Problems/SET/SET425-6.p', status=(?), time=exceeded, '#inf'=1926, '#kept'=1303).
result(file='Problems/SET/SET426-6.p', status=(?), time=exceeded, '#inf'=2293, '#kept'=1421).
result(file='Problems/SET/SET427-6.p', status=(?), time=exceeded, '#inf'=2293, '#kept'=1410).
result(file='Problems/SET/SET428-6.p', status=(?), time=exceeded, '#inf'=2236, '#kept'=1380).
result(file='Problems/SET/SET429-6.p', status=(?), time=exceeded, '#inf'=2350, '#kept'=1419).
result(file='Problems/SET/SET430-6.p', status=(?), time=exceeded, '#inf'=2038, '#kept'=1112).
result(file='Problems/SET/SET431-6.p', status=(?), time=exceeded, '#inf'=2235, '#kept'=1382).
result(file='Problems/SET/SET432-6.p', status=(?), time=exceeded, '#inf'=1604, '#kept'=1101).
result(file='Problems/SET/SET433-6.p', status=(?), time=exceeded, '#inf'=1759, '#kept'=1201).
result(file='Problems/SET/SET434-6.p', status=(?), time=exceeded, '#inf'=1790, '#kept'=1209).
result(file='Problems/SET/SET435-6.p', status=(?), time=exceeded, '#inf'=1719, '#kept'=1160).
result(file='Problems/SET/SET436-6.p', status=(?), time=exceeded, '#inf'=2360, '#kept'=1424).
result(file='Problems/SET/SET437-6.p', status=(?), time=exceeded, '#inf'=2360, '#kept'=1428).
result(file='Problems/SET/SET438-6.p', status=(?), time=exceeded, '#inf'=1924, '#kept'=1107).
result(file='Problems/SET/SET439-6.p', status=(?), time=exceeded, '#inf'=2295, '#kept'=1440).
result(file='Problems/SET/SET440-6.p', status=(?), time=exceeded, '#inf'=2348, '#kept'=1450).
result(file='Problems/SET/SET441-6.p', status=(?), time=exceeded, '#inf'=2235, '#kept'=1370).
result(file='Problems/SET/SET442-6.p', status=(?), time=exceeded, '#inf'=2073, '#kept'=1239).
result(file='Problems/SET/SET443-6.p', status=(?), time=exceeded, '#inf'=2272, '#kept'=1448).
result(file='Problems/SET/SET444-6.p', status=(?), time=exceeded, '#inf'=2163, '#kept'=1354).
result(file='Problems/SET/SET445-6.p', status=(?), time=exceeded, '#inf'=2334, '#kept'=1422).
result(file='Problems/SET/SET446-6.p', status=(?), time=exceeded, '#inf'=2162, '#kept'=1253).
result(file='Problems/SET/SET447-6.p', status=(?), time=exceeded, '#inf'=2124, '#kept'=1331).
result(file='Problems/SET/SET448-6.p', status=(?), time=exceeded, '#inf'=1862, '#kept'=1191).
result(file='Problems/SET/SET449-6.p', status=(?), time=exceeded, '#inf'=2024, '#kept'=1210).
result(file='Problems/SET/SET450-6.p', status=(?), time=exceeded, '#inf'=1997, '#kept'=1209).
result(file='Problems/SET/SET451-6.p', status=(?), time=exceeded, '#inf'=2234, '#kept'=1312).
result(file='Problems/SET/SET452-6.p', status=(?), time=exceeded, '#inf'=2055, '#kept'=1285).
result(file='Problems/SET/SET453-6.p', status=(?), time=exceeded, '#inf'=1792, '#kept'=1141).
result(file='Problems/SET/SET454-6.p', status=(?), time=exceeded, '#inf'=2242, '#kept'=1330).
result(file='Problems/SET/SET455-6.p', status=(?), time=exceeded, '#inf'=2034, '#kept'=1246).
result(file='Problems/SET/SET456-6.p', status=(?), time=exceeded, '#inf'=1940, '#kept'=1161).
result(file='Problems/SET/SET457-6.p', status=(?), time=exceeded, '#inf'=2316, '#kept'=1418).
result(file='Problems/SET/SET458-6.p', status=(?), time=exceeded, '#inf'=2330, '#kept'=1430).
result(file='Problems/SET/SET459-6.p', status=(?), time=exceeded, '#inf'=2227, '#kept'=1371).
result(file='Problems/SET/SET460-6.p', status=(?), time=exceeded, '#inf'=2238, '#kept'=1380).
result(file='Problems/SET/SET461-6.p', status=(?), time=exceeded, '#inf'=2204, '#kept'=1332).
result(file='Problems/SET/SET462-6.p', status=(?), time=exceeded, '#inf'=2187, '#kept'=1350).
result(file='Problems/SET/SET463-6.p', status=(?), time=exceeded, '#inf'=2192, '#kept'=1324).
result(file='Problems/SET/SET464-6.p', status=(?), time=exceeded, '#inf'=2163, '#kept'=1320).
result(file='Problems/SET/SET465-6.p', status=(?), time=exceeded, '#inf'=2253, '#kept'=1387).
result(file='Problems/SET/SET466-6.p', status=(?), time=exceeded, '#inf'=2190, '#kept'=1364).
result(file='Problems/SET/SET467-6.p', status=(?), time=exceeded, '#inf'=2055, '#kept'=1278).
result(file='Problems/SET/SET468-6.p', status=proved, time=50010, '#inf'=406, '#kept'=426).
result(file='Problems/SET/SET469-6.p', status=(?), time=exceeded, '#inf'=1833, '#kept'=1173).
result(file='Problems/SET/SET470-6.p', status=(?), time=exceeded, '#inf'=2052, '#kept'=1272).
result(file='Problems/SET/SET471-6.p', status=(?), time=exceeded, '#inf'=2088, '#kept'=1232).
result(file='Problems/SET/SET472-6.p', status=(?), time=exceeded, '#inf'=2088, '#kept'=1235).
result(file='Problems/SET/SET473-6.p', status=(?), time=exceeded, '#inf'=2256, '#kept'=1308).
result(file='Problems/SET/SET474-6.p', status=(?), time=exceeded, '#inf'=2039, '#kept'=1291).
result(file='Problems/SET/SET475-6.p', status=(?), time=exceeded, '#inf'=2102, '#kept'=1299).
result(file='Problems/SET/SET476-6.p', status=(?), time=exceeded, '#inf'=2257, '#kept'=1352).
result(file='Problems/SET/SET477-6.p', status=(?), time=exceeded, '#inf'=1894, '#kept'=1171).
result(file='Problems/SET/SET478-6.p', status=(?), time=exceeded, '#inf'=2298, '#kept'=1281).
result(file='Problems/SET/SET479-6.p', status=proved, time=27420, '#inf'=175, '#kept'=267).
result(file='Problems/SET/SET480-6.p', status=(?), time=exceeded, '#inf'=2212, '#kept'=1271).
result(file='Problems/SET/SET481-6.p', status=(?), time=exceeded, '#inf'=1762, '#kept'=1132).
result(file='Problems/SET/SET482-6.p', status=(?), time=exceeded, '#inf'=2055, '#kept'=1299).
result(file='Problems/SET/SET483-6.p', status=(?), time=exceeded, '#inf'=2218, '#kept'=1274).
result(file='Problems/SET/SET484-6.p', status=(?), time=exceeded, '#inf'=2250, '#kept'=1272).
result(file='Problems/SET/SET485-6.p', status=(?), time=exceeded, '#inf'=2211, '#kept'=1256).
result(file='Problems/SET/SET486-6.p', status=(?), time=exceeded, '#inf'=2223, '#kept'=1274).
result(file='Problems/SET/SET487-6.p', status=(?), time=exceeded, '#inf'=2221, '#kept'=1269).
result(file='Problems/SET/SET488-6.p', status=(?), time=exceeded, '#inf'=2233, '#kept'=1248).
result(file='Problems/SET/SET489-6.p', status=(?), time=exceeded, '#inf'=2072, '#kept'=1288).
result(file='Problems/SET/SET490-6.p', status=(?), time=exceeded, '#inf'=2072, '#kept'=1284).
result(file='Problems/SET/SET491-6.p', status=(?), time=exceeded, '#inf'=2197, '#kept'=1284).
result(file='Problems/SET/SET492-6.p', status=(?), time=exceeded, '#inf'=2200, '#kept'=1255).
result(file='Problems/SET/SET493-6.p', status=(?), time=exceeded, '#inf'=2109, '#kept'=1264).
result(file='Problems/SET/SET494-6.p', status=(?), time=exceeded, '#inf'=2209, '#kept'=1395).
result(file='Problems/SET/SET495-6.p', status=(?), time=exceeded, '#inf'=2143, '#kept'=1280).
result(file='Problems/SET/SET496-6.p', status=(?), time=exceeded, '#inf'=2273, '#kept'=1265).
result(file='Problems/SET/SET497-6.p', status=(?), time=exceeded, '#inf'=1787, '#kept'=1101).
result(file='Problems/SET/SET498-6.p', status=(?), time=exceeded, '#inf'=2212, '#kept'=1271).
result(file='Problems/SET/SET499-6.p', status=(?), time=exceeded, '#inf'=2204, '#kept'=1266).
result(file='Problems/SET/SET500-6.p', status=(?), time=exceeded, '#inf'=2257, '#kept'=1434).
result(file='Problems/SET/SET501-6.p', status=(?), time=exceeded, '#inf'=2242, '#kept'=1429).
result(file='Problems/SET/SET502-6.p', status=(?), time=exceeded, '#inf'=2223, '#kept'=1418).
result(file='Problems/SET/SET503-6.p', status=proved, time=177620, '#inf'=1246, '#kept'=875).
result(file='Problems/SET/SET504-6.p', status=proved, time=361080, '#inf'=1794, '#kept'=1105).
result(file='Problems/SET/SET505-6.p', status=proved, time=369240, '#inf'=1780, '#kept'=1115).
result(file='Problems/SET/SET506-6.p', status=(?), time=exceeded, '#inf'=1958, '#kept'=999).
result(file='Problems/SET/SET507-6.p', status=proved, time=91710, '#inf'=692, '#kept'=595).
result(file='Problems/SET/SET508-6.p', status=proved, time=305340, '#inf'=1716, '#kept'=1104).
result(file='Problems/SET/SET509-6.p', status=proved, time=306730, '#inf'=1716, '#kept'=1104).
result(file='Problems/SET/SET510-6.p', status=proved, time=101420, '#inf'=903, '#kept'=682).
result(file='Problems/SET/SET511-6.p', status=(?), time=exceeded, '#inf'=2257, '#kept'=1377).
result(file='Problems/SET/SET512-6.p', status=(?), time=1224680, '#inf'=3816, '#kept'=2001).
result(file='Problems/SET/SET513-6.p', status=(?), time=exceeded, '#inf'=2268, '#kept'=1378).
result(file='Problems/SET/SET514-6.p', status=(?), time=exceeded, '#inf'=1813, '#kept'=1161).
result(file='Problems/SET/SET515-6.p', status=(?), time=exceeded, '#inf'=1862, '#kept'=1072).
result(file='Problems/SET/SET516-6.p', status=(?), time=exceeded, '#inf'=2388, '#kept'=892).
result(file='Problems/SET/SET517-6.p', status=(?), time=exceeded, '#inf'=2389, '#kept'=898).
result(file='Problems/SET/SET518-6.p', status=(?), time=exceeded, '#inf'=1829, '#kept'=1147).
result(file='Problems/SET/SET519-6.p', status=(?), time=exceeded, '#inf'=1978, '#kept'=1304).
result(file='Problems/SET/SET520-6.p', status=(?), time=exceeded, '#inf'=1918, '#kept'=1315).
result(file='Problems/SET/SET521-6.p', status=(?), time=exceeded, '#inf'=1893, '#kept'=1174).
result(file='Problems/SET/SET522-6.p', status=(?), time=exceeded, '#inf'=2177, '#kept'=1311).
result(file='Problems/SET/SET523-6.p', status=(?), time=exceeded, '#inf'=1891, '#kept'=1124).
result(file='Problems/SET/SET524-6.p', status=(?), time=exceeded, '#inf'=2104, '#kept'=1116).
result(file='Problems/SET/SET525-6.p', status=(?), time=exceeded, '#inf'=2427, '#kept'=1332).
result(file='Problems/SET/SET526-6.p', status=(?), time=exceeded, '#inf'=2152, '#kept'=1360).
result(file='Problems/SET/SET527-6.p', status=(?), time=exceeded, '#inf'=1851, '#kept'=1041).
result(file='Problems/SET/SET528-6.p', status=(?), time=exceeded, '#inf'=1868, '#kept'=1181).
result(file='Problems/SET/SET529-6.p', status=(?), time=exceeded, '#inf'=1773, '#kept'=1180).
result(file='Problems/SET/SET530-6.p', status=(?), time=exceeded, '#inf'=2015, '#kept'=1188).
result(file='Problems/SET/SET531-6.p', status=(?), time=exceeded, '#inf'=2016, '#kept'=1104).
result(file='Problems/SET/SET532-6.p', status=(?), time=exceeded, '#inf'=2066, '#kept'=1120).
result(file='Problems/SET/SET533-6.p', status=(?), time=exceeded, '#inf'=1848, '#kept'=1075).
result(file='Problems/SET/SET534-6.p', status=(?), time=exceeded, '#inf'=1805, '#kept'=1209).
result(file='Problems/SET/SET535-6.p', status=(?), time=exceeded, '#inf'=1989, '#kept'=1140).
result(file='Problems/SET/SET536-6.p', status=(?), time=exceeded, '#inf'=2202, '#kept'=1307).
result(file='Problems/SET/SET537-6.p', status=(?), time=exceeded, '#inf'=1796, '#kept'=1151).
result(file='Problems/SET/SET538-6.p', status=(?), time=exceeded, '#inf'=2252, '#kept'=1374).
result(file='Problems/SET/SET539-6.p', status=(?), time=exceeded, '#inf'=1936, '#kept'=1085).
result(file='Problems/SET/SET540-6.p', status=(?), time=exceeded, '#inf'=2229, '#kept'=1271).
result(file='Problems/SET/SET541-6.p', status=(?), time=exceeded, '#inf'=2070, '#kept'=1303).
result(file='Problems/SET/SET542-6.p', status=(?), time=exceeded, '#inf'=1895, '#kept'=1114).
result(file='Problems/SET/SET543-6.p', status=(?), time=exceeded, '#inf'=1855, '#kept'=1102).
result(file='Problems/SET/SET544-6.p', status=(?), time=exceeded, '#inf'=2048, '#kept'=1104).
result(file='Problems/SET/SET545-6.p', status=(?), time=exceeded, '#inf'=2219, '#kept'=1260).
result(file='Problems/SET/SET546-6.p', status=(?), time=exceeded, '#inf'=2027, '#kept'=1279).
result(file='Problems/SET/SET547-6.p', status=(?), time=exceeded, '#inf'=2025, '#kept'=1280).
result(file='Problems/SET/SET548-6.p', status=(?), time=exceeded, '#inf'=2158, '#kept'=1238).
result(file='Problems/SET/SET549-6.p', status=(?), time=exceeded, '#inf'=2246, '#kept'=1280).
result(file='Problems/SET/SET550-6.p', status=(?), time=exceeded, '#inf'=2202, '#kept'=1363).
result(file='Problems/SET/SET551-6.p', status=(?), time=exceeded, '#inf'=2190, '#kept'=1253).
result(file='Problems/SET/SET552-6.p', status=(?), time=exceeded, '#inf'=2259, '#kept'=1346).
result(file='Problems/SET/SET553-6.p', status=proved, time=29290, '#inf'=189, '#kept'=278).
result(file='Problems/SET/SET554-6.p', status=(?), time=exceeded, '#inf'=1829, '#kept'=1109).
result(file='Problems/SET/SET555-6.p', status=(?), time=exceeded, '#inf'=1855, '#kept'=1057).
result(file='Problems/SET/SET556-6.p', status=(?), time=exceeded, '#inf'=1864, '#kept'=1058).
result(file='Problems/SET/SET557-6.p', status=(?), time=exceeded, '#inf'=1992, '#kept'=1250).
result(file='Problems/SET/SET558-6.p', status=proved, time=23570, '#inf'=82, '#kept'=218).
result(file='Problems/SET/SET559-6.p', status=(?), time=exceeded, '#inf'=1953, '#kept'=1239).
result(file='Problems/SET/SET560-6.p', status=(?), time=exceeded, '#inf'=1795, '#kept'=1166).
result(file='Problems/SET/SET561-6.p', status=(?), time=exceeded, '#inf'=1992, '#kept'=1303).
result(file='Problems/SET/SET562-6.p', status=(?), time=exceeded, '#inf'=1948, '#kept'=1216).
result(file='Problems/SET/SET563-6.p', status=proved, time=31760, '#inf'=193, '#kept'=297).
result(file='Problems/SET/SET564-6.p', status=(?), time=exceeded, '#inf'=1777, '#kept'=1188).
result(file='Problems/SET/SET565-6.p', status=(?), time=exceeded, '#inf'=1792, '#kept'=1282).
result(file='Problems/SET/SET566-6.p', status=(?), time=exceeded, '#inf'=1827, '#kept'=1261).
result(file='Problems/SET/SET567-6.p', status=(?), time=exceeded, '#inf'=2327, '#kept'=1429).
result(file='Problems/SET/SET573+3.p', status=proved, time=380, '#inf'=13, '#kept'=16).
result(file='Problems/SET/SET574+3.p', status=proved, time=380, '#inf'=14, '#kept'=16).
result(file='Problems/SET/SET575+3.p', status=proved, time=440, '#inf'=16, '#kept'=18).
result(file='Problems/SET/SET576+3.p', status=proved, time=460, '#inf'=16, '#kept'=19).
result(file='Problems/SET/SET577+3.p', status=proved, time=1660, '#inf'=46, '#kept'=54).
result(file='Problems/SET/SET578+3.p', status=proved, time=1550, '#inf'=39, '#kept'=50).
result(file='Problems/SET/SET579+3.p', status=proved, time=480, '#inf'=14, '#kept'=18).
result(file='Problems/SET/SET580+3.p', status=proved, time=2560, '#inf'=60, '#kept'=70).
result(file='Problems/SET/SET581+3.p', status=proved, time=720, '#inf'=23, '#kept'=27).
result(file='Problems/SET/SET582+3.p', status=proved, time=6740, '#inf'=136, '#kept'=130).
result(file='Problems/SET/SET583+3.p', status=consistent, time=660, '#inf'=17, '#kept'=21).
result(file='Problems/SET/SET584+3.p', status=proved, time=680, '#inf'=20, '#kept'=25).
result(file='Problems/SET/SET585+3.p', status=proved, time=720, '#inf'=18, '#kept'=28).
result(file='Problems/SET/SET586+3.p', status=proved, time=680, '#inf'=20, '#kept'=24).
result(file='Problems/SET/SET587+3.p', status=proved, time=2510, '#inf'=60, '#kept'=69).
result(file='Problems/SET/SET588+3.p', status=proved, time=380, '#inf'=11, '#kept'=15).
result(file='Problems/SET/SET589+3.p', status=proved, time=630, '#inf'=14, '#kept'=20).
result(file='Problems/SET/SET590+3.p', status=proved, time=220, '#inf'=5, '#kept'=9).
result(file='Problems/SET/SET591+3.p', status=proved, time=600, '#inf'=18, '#kept'=23).
result(file='Problems/SET/SET592+3.p', status=proved, time=1280, '#inf'=36, '#kept'=42).
result(file='Problems/SET/SET593+3.p', status=proved, time=1780, '#inf'=40, '#kept'=50).
result(file='Problems/SET/SET594+3.p', status=proved, time=2300, '#inf'=72, '#kept'=71).
result(file='Problems/SET/SET595+3.p', status=proved, time=1760, '#inf'=44, '#kept'=55).
result(file='Problems/SET/SET595+4.p', status=proved, time=2200, '#inf'=41, '#kept'=63).
result(file='Problems/SET/SET596+3.p', status=proved, time=1210, '#inf'=35, '#kept'=41).
result(file='Problems/SET/SET597+3.p', status=(?), time=exceeded, '#inf'=2435, '#kept'=1112).
result(file='Problems/SET/SET598+3.p', status=proved, time=12230, '#inf'=202, '#kept'=198).
result(file='Problems/SET/SET599+3.p', status=proved, time=3740, '#inf'=104, '#kept'=87).
result(file='Problems/SET/SET600+3.p', status=proved, time=2650, '#inf'=59, '#kept'=69).
result(file='Problems/SET/SET601+3.p', status=proved, time=11420, '#inf'=139, '#kept'=137).
result(file='Problems/SET/SET602+3.p', status=proved, time=130, '#inf'=0, '#kept'=8).
result(file='Problems/SET/SET602+4.p', status=proved, time=1210, '#inf'=28, '#kept'=43).
result(file='Problems/SET/SET603+3.p', status=proved, time=310, '#inf'=5, '#kept'=13).
result(file='Problems/SET/SET603+4.p', status=proved, time=380, '#inf'=0, '#kept'=14).
result(file='Problems/SET/SET604+3.p', status=proved, time=500, '#inf'=11, '#kept'=20).
result(file='Problems/SET/SET605+3.p', status=proved, time=1070, '#inf'=31, '#kept'=41).
result(file='Problems/SET/SET606+3.p', status=proved, time=1890, '#inf'=43, '#kept'=56).
result(file='Problems/SET/SET607+3.p', status=proved, time=1930, '#inf'=47, '#kept'=57).
result(file='Problems/SET/SET608+3.p', status=proved, time=1210, '#inf'=31, '#kept'=44).
result(file='Problems/SET/SET609+3.p', status=proved, time=2250, '#inf'=46, '#kept'=61).
result(file='Problems/SET/SET610+3.p', status=proved, time=1850, '#inf'=46, '#kept'=58).
result(file='Problems/SET/SET611+3.p', status=proved, time=2910, '#inf'=65, '#kept'=77).
result(file='Problems/SET/SET612+3.p', status=proved, time=2080, '#inf'=41, '#kept'=59).
result(file='Problems/SET/SET613+3.p', status=proved, time=3040, '#inf'=59, '#kept'=77).
result(file='Problems/SET/SET614+3.p', status=proved, time=1770, '#inf'=41, '#kept'=54).
result(file='Problems/SET/SET615+3.p', status=proved, time=2470, '#inf'=49, '#kept'=64).
result(file='Problems/SET/SET616+3.p', status=proved, time=2070, '#inf'=55, '#kept'=62).
result(file='Problems/SET/SET617+3.p', status=proved, time=1310, '#inf'=35, '#kept'=44).
result(file='Problems/SET/SET618+3.p', status=proved, time=890, '#inf'=23, '#kept'=32).
result(file='Problems/SET/SET619+3.p', status=(?), time=exceeded, '#inf'=3499, '#kept'=1372).
result(file='Problems/SET/SET620+3.p', status=proved, time=5340, '#inf'=109, '#kept'=114).
result(file='Problems/SET/SET621+3.p', status=proved, time=10800, '#inf'=209, '#kept'=171).
result(file='Problems/SET/SET622+3.p', status=proved, time=9180, '#inf'=141, '#kept'=152).
result(file='Problems/SET/SET623+3.p', status=(?), time=exceeded, '#inf'=4885, '#kept'=1345).
result(file='Problems/SET/SET624+3.p', status=(?), time=exceeded, '#inf'=2669, '#kept'=1262).
result(file='Problems/SET/SET625+3.p', status=proved, time=1430, '#inf'=50, '#kept'=51).
result(file='Problems/SET/SET626+3.p', status=proved, time=14880, '#inf'=416, '#kept'=279).
result(file='Problems/SET/SET627+3.p', status=proved, time=280, '#inf'=7, '#kept'=11).
result(file='Problems/SET/SET628+3.p', status=proved, time=2360, '#inf'=72, '#kept'=61).
result(file='Problems/SET/SET629+3.p', status=proved, time=28630, '#inf'=637, '#kept'=432).
result(file='Problems/SET/SET630+3.p', status=proved, time=1510, '#inf'=47, '#kept'=47).
result(file='Problems/SET/SET631+3.p', status=proved, time=1050, '#inf'=39, '#kept'=40).
result(file='Problems/SET/SET632+3.p', status=proved, time=1070, '#inf'=29, '#kept'=35).
result(file='Problems/SET/SET633+3.p', status=proved, time=33880, '#inf'=371, '#kept'=314).
result(file='Problems/SET/SET634+3.p', status=proved, time=2440, '#inf'=52, '#kept'=67).
result(file='Problems/SET/SET635+3.p', status=proved, time=3430, '#inf'=71, '#kept'=82).
result(file='Problems/SET/SET636+3.p', status=(?), time=exceeded, '#inf'=2822, '#kept'=1214).
result(file='Problems/SET/SET637+3.p', status=(?), time=exceeded, '#inf'=2545, '#kept'=1228).
result(file='Problems/SET/SET638+3.p', status=proved, time=1570, '#inf'=51, '#kept'=51).
result(file='Problems/SET/SET639+3.p', status=proved, time=1020, '#inf'=29, '#kept'=36).
result(file='Problems/SET/SET640+3.p', status=(?), time=exceeded, '#inf'=1010, '#kept'=781).
result(file='Problems/SET/SET641+3.p', status=proved, time=74910, '#inf'=527, '#kept'=411).
result(file='Problems/SET/SET642+3.p', status=(?), time=exceeded, '#inf'=671, '#kept'=505).
result(file='Problems/SET/SET643+3.p', status=proved, time=7490, '#inf'=127, '#kept'=158).
result(file='Problems/SET/SET644+3.p', status=(?), time=exceeded, '#inf'=1599, '#kept'=970).
result(file='Problems/SET/SET645+3.p', status=(?), time=exceeded, '#inf'=1235, '#kept'=894).
result(file='Problems/SET/SET646+3.p', status=(?), time=exceeded, '#inf'=2461, '#kept'=1072).
result(file='Problems/SET/SET647+3.p', status=(?), time=exceeded, '#inf'=1148, '#kept'=885).
result(file='Problems/SET/SET648+3.p', status=(?), time=exceeded, '#inf'=1148, '#kept'=886).
result(file='Problems/SET/SET649+3.p', status=(?), time=exceeded, '#inf'=1311, '#kept'=1039).
result(file='Problems/SET/SET650+3.p', status=proved, time=313420, '#inf'=1221, '#kept'=928).
result(file='Problems/SET/SET651+3.p', status=(?), time=exceeded, '#inf'=931, '#kept'=695).
result(file='Problems/SET/SET652+3.p', status=(?), time=exceeded, '#inf'=931, '#kept'=695).
result(file='Problems/SET/SET653+3.p', status=(?), time=exceeded, '#inf'=686, '#kept'=526).
result(file='Problems/SET/SET654+3.p', status=(?), time=exceeded, '#inf'=686, '#kept'=526).
result(file='Problems/SET/SET655+3.p', status=(?), time=exceeded, '#inf'=1192, '#kept'=693).
result(file='Problems/SET/SET656+3.p', status=(?), time=exceeded, '#inf'=2106, '#kept'=1394).
result(file='Problems/SET/SET657+3.p', status=(?), time=exceeded, '#inf'=2470, '#kept'=1443).
result(file='Problems/SET/SET658+3.p', status=proved, time=18840, '#inf'=213, '#kept'=263).
result(file='Problems/SET/SET659+3.p', status=proved, time=383080, '#inf'=1630, '#kept'=1116).
result(file='Problems/SET/SET660+3.p', status=proved, time=352700, '#inf'=1580, '#kept'=1094).
result(file='Problems/SET/SET661+3.p', status=(?), time=exceeded, '#inf'=1398, '#kept'=1215).
result(file='Problems/SET/SET662+3.p', status=proved, time=4090, '#inf'=71, '#kept'=102).
result(file='Problems/SET/SET663+3.p', status=proved, time=77540, '#inf'=629, '#kept'=579).
result(file='Problems/SET/SET664+3.p', status=proved, time=76030, '#inf'=629, '#kept'=578).
result(file='Problems/SET/SET665+3.p', status=(?), time=exceeded, '#inf'=931, '#kept'=795).
result(file='Problems/SET/SET666+3.p', status=(?), time=exceeded, '#inf'=426, '#kept'=357).
result(file='Problems/SET/SET667+3.p', status=(?), time=exceeded, '#inf'=1257, '#kept'=734).
result(file='Problems/SET/SET668+3.p', status=(?), time=exceeded, '#inf'=2054, '#kept'=649).
result(file='Problems/SET/SET669+3.p', status=(?), time=exceeded, '#inf'=2046, '#kept'=646).
result(file='Problems/SET/SET670+3.p', status=(?), time=exceeded, '#inf'=933, '#kept'=666).
result(file='Problems/SET/SET671+3.p', status=(?), time=exceeded, '#inf'=1148, '#kept'=950).
result(file='Problems/SET/SET672+3.p', status=(?), time=exceeded, '#inf'=933, '#kept'=666).
result(file='Problems/SET/SET673+3.p', status=(?), time=exceeded, '#inf'=1119, '#kept'=941).
result(file='Problems/SET/SET675+3.p', status=(?), time=exceeded, '#inf'=1186, '#kept'=817).
result(file='Problems/SET/SET676+3.p', status=proved, time=1240, '#inf'=0, '#kept'=37).
result(file='Problems/SET/SET677+3.p', status=(?), time=exceeded, '#inf'=2328, '#kept'=675).
result(file='Problems/SET/SET678+3.p', status=(?), time=exceeded, '#inf'=1608, '#kept'=1463).
result(file='Problems/SET/SET679+3.p', status=proved, time=3210, '#inf'=44, '#kept'=87).
result(file='Problems/SET/SET680+3.p', status=(?), time=exceeded, '#inf'=1503, '#kept'=973).
result(file='Problems/SET/SET681+3.p', status=(?), time=exceeded, '#inf'=1465, '#kept'=954).
result(file='Problems/SET/SET682+3.p', status=proved, time=89900, '#inf'=536, '#kept'=474).
result(file='Problems/SET/SET683+3.p', status=proved, time=90130, '#inf'=536, '#kept'=474).
result(file='Problems/SET/SET684+3.p', status=(?), time=exceeded, '#inf'=1908, '#kept'=1392).
result(file='Problems/SET/SET685+3.p', status=(?), time=exceeded, '#inf'=1876, '#kept'=979).
result(file='Problems/SET/SET686+3.p', status=(?), time=exceeded, '#inf'=1294, '#kept'=963).
result(file='Problems/SET/SET687+4.p', status=proved, time=370, '#inf'=0, '#kept'=14).
result(file='Problems/SET/SET688+4.p', status=proved, time=7820, '#inf'=161, '#kept'=152).
result(file='Problems/SET/SET689+4.p', status=proved, time=7720, '#inf'=159, '#kept'=150).
result(file='Problems/SET/SET690+4.p', status=proved, time=11960, '#inf'=204, '#kept'=203).
result(file='Problems/SET/SET691+4.p', status=proved, time=380, '#inf'=0, '#kept'=14).
result(file='Problems/SET/SET692+4.p', status=proved, time=6630, '#inf'=136, '#kept'=143).
result(file='Problems/SET/SET693+4.p', status=proved, time=6860, '#inf'=145, '#kept'=149).
result(file='Problems/SET/SET694+4.p', status=(?), time=exceeded, '#inf'=1381, '#kept'=1173).
result(file='Problems/SET/SET695+4.p', status=proved, time=8040, '#inf'=158, '#kept'=162).
result(file='Problems/SET/SET696+4.p', status=proved, time=1490, '#inf'=31, '#kept'=47).
result(file='Problems/SET/SET697+4.p', status=proved, time=8920, '#inf'=160, '#kept'=161).
result(file='Problems/SET/SET698+4.p', status=proved, time=9790, '#inf'=168, '#kept'=175).
result(file='Problems/SET/SET699+4.p', status=proved, time=8560, '#inf'=166, '#kept'=163).
result(file='Problems/SET/SET700+4.p', status=proved, time=8890, '#inf'=157, '#kept'=158).
result(file='Problems/SET/SET701+4.p', status=(?), time=exceeded, '#inf'=1332, '#kept'=1263).
result(file='Problems/SET/SET702+4.p', status=(?), time=exceeded, '#inf'=1308, '#kept'=1198).
result(file='Problems/SET/SET703+4.p', status=proved, time=370, '#inf'=0, '#kept'=14).
result(file='Problems/SET/SET704+4.p', status=(?), time=exceeded, '#inf'=1263, '#kept'=1172).
result(file='Problems/SET/SET705+4.p', status=proved, time=9930, '#inf'=204, '#kept'=200).
result(file='Problems/SET/SET706+4.p', status=proved, time=3700, '#inf'=58, '#kept'=82).
result(file='Problems/SET/SET707+4.p', status=proved, time=140140, '#inf'=1175, '#kept'=498).