-------------------------------------------------------------------------------- Execute format string : ../darwin -b 2 -ubj true -uv false Problems list file : hne-problems Output file : hne-output Summary file : hne-summary Time limit : 300 s Memory limit : 500 MB -------------------------------------------------------------------------------- Rating Problem Result CPU Memory Close Assert Split Subsume Resolve Compact Prod. D.Bound Ct.Size Ass.Cd. Spl.Cd. Debug [0.00] COM001-1 theorem 0.0 2 1 11 0 7 0 0 0 2 11 20 0 0 [0.00] COM002-1 theorem 0.0 2 1 27 0 15 0 0 0 2 27 53 0 0 [0.00] GEO002-4 theorem 0.0 2 1 16 0 3 0 5 0 2 16 73 0 0 [0.00] GEO079-1 theorem 0.0 2 1 3 0 2 0 0 0 2 3 6 0 0 [0.00] GRP001-5 theorem 0.0 2 1 8 0 5 0 0 0 2 8 103 0 0 [0.00] GRP003-1 theorem 0.0 2 1 5 0 3 0 0 0 3 5 48 0 0 [0.00] GRP003-2 theorem 0.0 2 1 20 0 4 0 0 0 2 20 614 0 0 [0.00] GRP004-1 theorem 0.0 2 1 12 0 3 0 0 0 2 12 170 0 0 [0.00] GRP004-2 theorem 0.0 2 1 22 0 4 0 0 0 2 22 824 0 0 [0.00] GRP005-1 theorem 0.0 2 1 6 0 6 0 0 0 2 6 72 0 0 [0.00] GRP006-1 theorem 0.0 2 1 7 0 6 0 0 0 2 7 78 0 0 [0.00] GRP028-1 theorem 0.0 2 1 3 0 3 0 0 0 2 3 5 0 0 [0.00] GRP028-3 theorem 0.0 2 1 4 0 4 0 0 0 2 4 9 0 0 [0.00] GRP028-4 theorem 0.0 2 1 3 0 3 0 0 0 2 3 6 0 0 [0.00] GRP029-2 theorem 0.1 2 1 11 0 5 0 0 0 3 11 367 0 0 [0.00] GRP031-2 theorem 0.0 2 1 11 0 4 0 0 0 2 11 176 0 0 [0.00] GRP033-3 theorem 0.0 2 1 8 0 7 0 0 0 2 8 152 0 0 [0.00] GRP034-4 theorem 0.0 2 1 7 0 6 0 0 0 2 7 78 0 0 [0.00] GRP041-2 theorem 0.0 2 1 3 0 3 0 0 0 2 3 20 0 0 [0.00] GRP042-2 theorem 0.0 2 1 13 0 5 0 0 0 2 13 141 0 0 [0.00] GRP043-2 theorem 0.0 2 1 19 0 6 0 0 0 2 19 313 0 0 [0.00] GRP044-2 theorem 0.0 2 1 15 0 6 0 0 0 2 15 238 0 0 [0.00] GRP045-2 theorem 0.0 2 1 25 0 6 0 0 0 2 25 978 0 0 [0.00] GRP046-2 theorem 0.0 2 1 19 0 5 0 0 0 2 19 581 0 0 [0.00] GRP047-2 theorem 0.0 2 1 18 0 5 0 0 0 2 18 517 0 0 [0.00] KRS004-1 theorem 0.0 2 1 2 0 1 0 0 0 2 2 5 0 0 [0.00] LAT005-1 theorem 4.8 6 1 474 0 17 0 17 0 2 474 113687 0 13174 [0.00] LAT005-2 theorem 2.9 5 1 429 0 21 0 12 0 2 429 77599 0 3455 [0.00] LCL007-1 theorem 0.0 2 1 3 0 3 0 0 0 2 3 3 0 0 [0.00] LCL008-1 theorem 0.0 2 1 7 0 2 0 0 0 5 7 38 0 0 [0.00] LCL009-1 theorem 0.5 3 1 170 0 2 0 2 0 5 170 9337 0 0 [0.00] LCL010-1 theorem 0.0 2 1 30 0 2 0 0 0 5 30 530 0 0 [0.00] LCL011-1 theorem 0.0 2 1 47 0 2 0 0 0 5 47 899 0 0 [0.00] LCL013-1 theorem 0.0 2 1 3 0 2 0 0 0 6 3 4 0 0 [0.00] LCL022-1 theorem 0.0 2 1 38 0 2 0 2 0 5 38 686 0 0 [0.00] LCL023-1 theorem 0.3 2 1 144 0 2 0 2 0 5 144 6558 0 0 [0.00] LCL027-1 theorem 0.0 2 1 31 0 4 0 1 0 4 31 225 0 0 [0.00] LCL033-1 theorem 0.0 2 1 14 0 2 0 2 0 5 14 108 0 0 [0.00] LCL035-1 theorem 0.0 2 1 8 0 2 0 0 0 5 8 48 0 0 [0.00] LCL041-1 theorem 0.0 2 1 45 0 6 0 0 0 4 45 392 0 0 [0.00] LCL043-1 theorem 0.0 2 1 41 0 6 0 0 0 4 41 362 0 0 [0.00] LCL044-1 theorem 0.3 2 1 76 0 6 0 0 0 5 76 2163 0 0 [0.00] LCL046-1 theorem 0.0 2 1 5 0 4 0 0 0 5 5 14 0 0 [0.00] LCL075-1 theorem 0.3 2 1 145 0 2 0 9 0 6 145 4931 0 0 [0.00] LCL076-2 theorem 0.0 2 1 4 0 4 0 0 0 2 4 5 0 0 [0.00] LCL076-3 theorem 0.0 2 1 36 0 4 0 1 0 4 36 620 0 0 [0.00] LCL077-2 theorem 0.0 2 1 45 0 4 0 1 0 4 45 659 0 0 [0.00] LCL079-1 theorem 0.0 2 1 23 0 6 0 1 0 3 23 110 0 0 [0.00] LCL081-1 theorem 0.0 2 1 37 0 2 0 4 0 5 37 308 0 0 [0.00] LCL082-1 theorem 0.0 2 1 37 0 2 0 7 0 5 37 401 0 0 [0.00] LCL086-1 theorem 0.0 2 1 29 0 2 0 7 0 6 29 468 0 0 [0.00] LCL087-1 theorem 0.0 2 1 13 0 2 0 2 0 6 13 129 0 0 [0.00] LCL088-1 theorem 0.1 2 1 68 0 2 0 8 0 6 68 2442 0 0 [0.00] LCL091-1 theorem 0.0 2 1 47 0 2 0 9 0 6 47 791 0 0 [0.00] LCL096-1 theorem 7.8 4 1 531 0 4 0 1 0 5 531 124453 0 0 [0.00] LCL097-1 theorem 4.3 4 1 395 0 3 0 1 0 5 395 72300 0 0 [0.00] LCL098-1 theorem 0.6 3 1 207 0 2 0 0 0 6 207 532 0 0 [0.00] LCL101-1 theorem 0.0 2 1 16 0 3 0 1 0 5 16 97 0 0 [0.00] LCL102-1 theorem 0.4 2 1 137 0 4 0 1 0 5 137 9420 0 0 [0.00] LCL104-1 theorem 0.0 2 1 17 0 3 0 0 0 5 17 101 0 0 [0.00] LCL106-1 theorem 0.0 2 1 22 0 3 0 0 0 6 22 45 0 0 [0.00] LCL107-1 theorem 0.0 2 1 16 0 2 0 0 0 8 16 130 0 0 [0.00] LCL108-1 theorem 0.0 2 1 11 0 2 0 0 0 8 11 57 0 0 [0.00] LCL110-1 theorem 0.6 3 1 212 0 5 0 0 0 5 212 8002 0 0 [0.00] LCL111-1 theorem 5.9 6 1 550 0 5 0 6 0 5 550 33041 0 0 [0.00] LCL112-1 theorem 0.4 2 1 161 0 5 0 0 0 5 161 6093 0 0 [0.00] LCL117-1 theorem 0.0 2 1 4 0 2 0 0 0 5 4 10 0 0 [0.00] LCL118-1 theorem 0.1 2 1 93 0 2 0 3 0 6 93 3367 0 0 [0.00] LCL120-1 theorem 0.1 2 1 72 0 2 0 0 0 6 72 1939 0 0 [0.00] LCL126-1 theorem 0.0 2 1 10 0 3 0 1 0 5 10 43 0 0 [0.00] LCL169-1 theorem 0.0 2 1 6 0 6 0 0 0 2 6 7 0 0 [0.00] LCL170-1 theorem 0.0 2 1 5 0 5 0 0 0 2 5 6 0 0 [0.00] LCL171-1 theorem 0.0 2 1 6 0 6 0 0 0 2 6 6 0 0 [0.00] LCL172-1 theorem 0.0 2 1 6 0 6 0 0 0 2 6 6 0 0 [0.00] LCL173-1 theorem 0.0 2 1 6 0 6 0 0 0 2 6 6 0 0 [0.00] LCL174-1 theorem 0.4 2 1 807 0 6 0 0 0 5 807 2568 0 0 [0.00] LCL175-1 theorem 0.0 2 1 4 0 4 0 0 0 2 4 7 0 0 [0.00] LCL176-1 theorem 0.0 2 1 10 0 6 0 0 0 4 10 26 0 0 [0.00] LCL177-1 theorem 0.0 2 1 11 0 6 0 0 0 4 11 31 0 0 [0.00] LCL178-1 theorem 0.0 2 1 10 0 6 0 0 0 4 10 32 0 0 [0.00] LCL182-1 theorem 0.3 3 1 660 0 6 0 0 0 5 660 2362 0 0 [0.00] LCL185-1 theorem 0.0 2 1 31 0 6 0 0 0 4 31 82 0 0 [0.00] LCL186-1 theorem 0.0 2 1 19 0 6 0 0 0 4 19 58 0 0 [0.00] LCL187-1 theorem 0.0 2 1 20 0 6 0 0 0 4 20 64 0 0 [0.00] LCL188-1 theorem 0.0 2 1 8 0 6 0 0 0 4 8 20 0 0 [0.00] LCL189-1 theorem 0.0 2 1 8 0 6 0 0 0 4 8 18 0 0 [0.00] LCL190-1 theorem 0.0 2 1 19 0 6 0 0 0 4 19 55 0 0 [0.00] LCL192-1 theorem 0.2 2 1 303 0 6 0 0 0 5 303 1207 0 0 [0.00] LCL193-1 theorem 0.1 2 1 258 0 6 0 0 0 5 258 1015 0 0 [0.00] LCL194-1 theorem 23.3 22 1 5132 0 6 0 64 0 6 5132 32331 0 0 [0.00] LCL197-1 theorem 0.1 2 1 99 0 6 0 0 0 5 99 452 0 0 [0.00] LCL199-1 theorem 0.1 2 1 293 0 6 0 0 0 5 293 1164 0 0 [0.00] LCL200-1 theorem 0.1 2 1 142 0 6 0 0 0 5 142 624 0 0 [0.00] LCL201-1 theorem 9.2 10 1 1480 0 6 0 0 0 6 1480 9140 0 0 [0.00] LCL202-1 theorem 7.8 9 1 758 0 6 0 0 0 6 758 5816 0 0 [0.00] LCL203-1 theorem 12.8 12 1 807 0 6 0 0 0 6 807 6191 0 0 [0.00] LCL204-1 theorem 2.9 6 1 1537 0 6 0 0 0 6 1537 7959 0 0 [0.00] LCL205-1 theorem 12.8 11 1 809 0 6 0 0 0 6 809 6111 0 0 [0.00] LCL206-1 theorem 4.5 7 1 708 0 6 0 0 0 6 708 4236 0 0 [0.00] LCL207-1 theorem 8.2 10 1 540 0 6 0 0 0 6 540 3895 0 0 [0.00] LCL208-1 theorem 0.3 3 1 657 0 6 0 0 0 5 657 2241 0 0 [0.00] LCL210-1 theorem 0.3 3 1 666 0 6 0 0 0 5 666 2305 0 0 [0.00] LCL211-1 theorem 0.3 3 1 639 0 6 0 0 0 5 639 2214 0 0 [0.00] LCL212-1 theorem 2.9 7 1 1732 0 6 0 0 0 6 1732 8528 0 0 [0.00] LCL213-1 theorem 1.9 6 1 1452 0 6 0 0 0 6 1452 6322 0 0 [0.00] LCL214-1 theorem 5.0 7 1 1490 0 6 0 0 0 6 1490 7226 0 0 [0.00] LCL215-1 theorem 5.2 7 1 1586 0 6 0 0 0 6 1586 9242 0 0 [0.00] LCL216-1 theorem 0.3 3 1 641 0 6 0 0 0 5 641 2169 0 0 [0.00] LCL217-1 theorem 0.3 3 1 611 0 6 0 0 0 5 611 2089 0 0 [0.00] LCL218-1 timeout 300.0 139 [0.00] LCL226-1 theorem 0.4 0 1 808 0 6 0 0 0 5 808 2570 0 0 [0.00] LCL230-1 timeout 300.0 127 [0.00] LCL236-1 theorem 0.0 2 1 8 0 6 0 0 0 4 8 18 0 0 [0.00] LCL238-1 theorem 0.1 2 1 296 0 6 0 0 0 5 296 1146 0 0 [0.00] LCL257-1 theorem 0.0 2 1 43 0 2 0 2 0 5 43 831 0 0 [0.00] LCL355-1 theorem 0.0 2 1 4 0 4 0 0 0 2 4 4 0 0 [0.00] LCL356-1 theorem 0.0 2 1 20 0 4 0 1 0 5 20 104 0 0 [0.00] LCL357-1 theorem 0.0 2 1 20 0 4 0 1 0 5 20 105 0 0 [0.00] LCL359-1 theorem 0.0 2 1 25 0 4 0 2 0 5 25 131 0 0 [0.00] LCL360-1 theorem 0.0 2 1 4 0 4 0 0 0 2 4 4 0 0 [0.00] LCL361-1 theorem 0.0 2 1 26 0 4 0 2 0 5 26 142 0 0 [0.00] LCL362-1 theorem 0.0 2 1 29 0 4 0 2 0 5 29 192 0 0 [0.00] LCL363-1 theorem 0.0 2 1 39 0 4 0 3 0 5 39 315 0 0 [0.00] LCL364-1 theorem 0.1 2 1 67 0 4 0 2 0 5 67 1365 0 0 [0.00] LCL366-1 theorem 0.0 2 1 11 0 4 0 0 0 5 11 59 0 0 [0.00] LCL397-1 theorem 0.0 2 1 41 0 4 0 2 0 5 41 303 0 0 [0.00] LCL398-1 theorem 0.0 2 1 6 0 4 0 0 0 5 6 18 0 0 [0.00] LCL399-1 theorem 0.0 2 1 45 0 4 0 2 0 5 45 704 0 0 [0.00] LCL414-1 theorem 0.0 2 1 6 0 4 0 0 0 3 6 9 0 0 [0.00] LCL428-1 theorem 0.0 2 1 5 0 5 0 0 0 2 5 6 0 0 [0.00] MGT001-1 theorem 0.0 2 1 19 0 10 0 0 0 2 19 32 0 0 [0.00] MGT002-1 theorem 0.0 2 1 12 0 7 0 0 0 2 12 23 0 0 [0.00] MGT003-1 theorem 0.0 2 1 12 0 7 0 0 0 2 12 23 0 0 [0.00] MGT006-1 theorem 0.0 2 1 13 0 8 2 0 0 2 13 15 0 0 [0.00] MGT008-1 theorem 0.0 2 1 15 0 12 0 0 0 2 15 25 0 0 [0.00] MGT009-1 theorem 0.0 2 1 15 0 12 0 0 0 2 15 25 0 0 [0.00] MGT010-1 theorem 0.0 2 1 18 0 13 2 0 0 2 18 20 0 0 [0.00] MGT015-1 theorem 0.0 2 1 17 0 13 0 0 0 2 17 30 0 0 [0.00] MGT017-1 theorem 0.0 2 1 17 0 13 0 0 0 2 17 30 0 0 [0.00] MGT032-2 theorem 0.0 2 1 7 0 2 0 0 0 4 7 12 0 0 [0.00] MGT036-3 theorem 0.0 2 1 6 0 4 0 0 0 2 6 11 0 0 [0.00] MSC005-1 theorem 0.0 2 1 24 0 3 0 0 0 4 24 491 0 0 [0.00] NLP104-1 non_thm 0.0 2 0 1 0 1 0 0 0 2 0 1 0 0 [0.00] NLP105-1 non_thm 0.0 2 0 1 0 1 0 0 0 2 0 1 0 0 [0.00] NLP106-1 non_thm 0.0 2 0 24 0 2 0 0 0 2 0 25 0 0 [0.00] NLP107-1 non_thm 0.0 2 0 46 0 3 0 0 0 2 0 48 0 0 [0.00] NLP108-1 non_thm 0.0 2 0 99 0 10 0 0 0 2 0 105 0 0 [0.00] NLP109-1 non_thm 0.0 2 0 46 0 3 0 0 0 2 0 48 0 0 [0.00] NLP110-1 non_thm 0.0 2 0 77 0 9 0 0 0 2 0 82 0 0 [0.00] NLP111-1 non_thm 0.0 2 0 99 0 10 0 0 0 2 0 105 0 0 [0.00] NLP112-1 non_thm 0.0 2 0 99 0 10 0 0 0 2 0 105 0 0 [0.00] NLP113-1 non_thm 0.0 2 0 23 0 2 0 0 0 2 0 24 0 0 [0.00] NUM001-1 theorem 0.0 2 1 37 0 8 0 0 0 3 37 538 0 0 [0.00] NUM002-1 theorem 0.0 2 1 28 0 8 0 0 0 3 28 379 0 0 [0.00] NUM003-1 theorem 0.1 2 1 46 0 8 0 0 0 3 46 718 0 0 [0.00] NUM004-1 theorem 0.0 2 1 32 0 8 0 0 0 3 32 449 0 0 [0.00] NUM019-1 theorem 0.0 2 1 3 0 3 0 0 0 2 3 18 0 0 [0.00] NUM020-1 theorem 0.0 2 1 28 0 8 0 0 0 3 28 200 0 0 [0.00] NUM023-1 theorem 0.0 2 1 5 0 5 0 0 0 2 5 20 0 0 [0.00] NUM024-1 theorem 0.0 2 1 32 0 8 0 1 0 3 32 245 0 0 [0.00] NUM025-1 theorem 0.0 2 1 4 0 4 0 0 0 2 4 17 0 0 [0.00] NUM286-1 timeout 300.0 12 [0.00] PLA003-1 theorem 0.0 2 1 16 0 5 2 3 0 2 16 33 0 0 [0.00] PLA006-1 theorem 0.0 2 1 21 0 20 0 0 0 2 21 38 0 0 [0.00] PLA017-1 theorem 0.0 2 1 94 0 20 0 0 0 3 94 428 0 0 [0.00] PLA020-1 theorem 0.0 2 1 18 0 18 0 0 0 2 18 43 0 0 [0.00] PLA029-1 non_thm 0.0 2 0 0 0 0 0 0 0 2 0 0 0 0 [0.00] PLA030-1 timeout 300.0 44 [0.00] PUZ003-1 theorem 0.0 2 1 10 0 6 0 0 0 2 10 19 0 0 [0.00] PUZ008-1 theorem 0.0 2 1 5 0 5 0 0 0 2 5 6 0 0 [0.00] PUZ008-2 theorem 0.0 2 1 15 0 16 14 0 0 3 15 19 0 0 [0.00] PUZ008-3 theorem 0.0 2 1 37 0 4 0 0 0 6 37 68 0 0 [0.00] PUZ011-1 theorem 0.0 2 1 18 0 18 0 0 0 2 18 55 0 0 [0.00] PUZ022-1 theorem 0.0 2 1 45 0 31 0 0 0 2 45 95 0 0 [0.00] PUZ036-1.005 theorem 0.0 2 1 92 0 2 0 0 0 2 92 276 0 0 [0.00] PUZ037-1 theorem 0.0 2 1 2 0 2 0 0 0 2 2 28 0 0 [0.00] PUZ037-2 theorem 0.1 2 1 19 0 2 0 0 0 2 19 338 0 0 [0.00] PUZ038-1 theorem 0.0 2 1 2 0 2 0 0 0 2 2 2 0 0 [0.00] PUZ047-1 theorem 0.0 2 1 10 0 10 11 0 0 2 10 16 0 0 [0.00] RNG038-2 theorem 0.1 2 1 26 0 9 0 0 0 2 26 2293 0 0 [0.00] SWV010-1 non_thm 0.0 2 0 8 0 5 0 0 0 6 0 8 0 0 [0.00] SWV011-1 theorem 0.0 2 1 2 0 2 0 0 0 2 2 2 0 0 [0.00] SWV013-1 timeout 300.0 214 [0.00] SWV015-1 timeout 300.0 214 [0.00] SWV016-1 timeout 300.0 203 [0.00] SWV017-1 timeout 300.0 2 [0.00] SWV018-1 timeout 300.0 11 [0.00] SYN003-1.006 theorem 0.0 2 1 18 0 18 18 0 0 2 18 26 0 0 [0.00] SYN004-1.007 theorem 0.0 2 1 14 0 14 14 0 0 2 14 16 0 0 [0.00] SYN005-1.010 theorem 0.0 2 1 10 0 10 0 0 0 2 10 20 0 0 [0.00] SYN010-1.005.005 theorem 0.0 2 1 26 0 26 26 0 0 2 26 32 0 0 [0.00] SYN033-1 theorem 0.0 2 1 3 0 3 0 0 0 2 3 5 0 0 [0.00] SYN035-1 theorem 0.0 2 1 2 0 2 6 0 0 2 2 6 0 0 [0.00] SYN040-1 theorem 0.0 2 1 2 0 4 2 0 0 2 2 4 0 0 [0.00] SYN041-1 theorem 0.0 2 1 1 0 1 0 0 0 2 1 4 0 0 [0.00] SYN046-1 theorem 0.0 2 1 2 0 2 2 0 0 2 2 4 0 0 [0.00] SYN048-1 theorem 0.0 2 1 1 0 0 0 0 0 2 1 2 0 0 [0.00] SYN049-1 theorem 0.0 2 1 2 0 2 2 0 0 2 2 4 0 0 [0.00] SYN050-1 theorem 0.0 2 1 3 0 3 1 0 0 2 3 7 0 0 [0.00] SYN057-1 theorem 0.0 2 1 7 0 4 0 0 0 2 7 10 0 0 [0.00] SYN058-1 theorem 0.0 2 1 5 0 6 2 0 0 2 5 8 0 0 [0.00] SYN062-1 theorem 0.0 2 1 5 0 3 0 0 0 2 5 8 0 0 [0.00] SYN063-2 theorem 0.0 2 1 2 0 2 2 0 0 2 2 4 0 0 [0.00] SYN064-1 theorem 0.0 2 1 1 0 0 0 0 0 2 1 2 0 0 [0.00] SYN065-1 theorem 0.0 2 1 2 0 2 0 0 0 2 2 6 0 0 [0.00] SYN068-1 theorem 0.0 2 1 5 0 1 0 0 0 2 5 9 0 0 [0.00] SYN079-1 theorem 0.0 2 1 3 0 3 0 0 0 2 3 6 0 0 [0.00] SYN085-1.010 theorem 0.0 2 1 11 0 11 11 0 0 2 11 22 0 0 [0.00] SYN086-1.003 non_thm 0.0 2 0 1 0 1 1 0 0 2 0 1 0 0 [0.00] SYN087-1.003 non_thm 0.0 2 0 0 0 0 0 0 0 2 0 0 0 0 [0.00] SYN088-1.010 theorem 0.0 2 1 21 0 21 0 0 0 2 21 1055 0 0 [0.00] SYN089-1.002 theorem 0.0 2 1 5 0 10 5 0 0 2 5 11 0 0 [0.00] SYN090-1.008 theorem 0.0 2 1 34 0 36 58 0 0 2 34 64 0 0 [0.00] SYN095-1.002 theorem 0.0 2 1 4 0 5 1 0 0 2 4 10 0 0 [0.00] SYN096-1.008 theorem 0.0 2 1 34 0 4 0 0 0 2 34 66 0 0 [0.00] SYN101-1.002.002 theorem 0.0 2 1 15 0 5 0 0 0 2 15 30 0 0 [0.00] SYN102-1.007.007 theorem 0.6 4 1 3789 0 14 2 0 0 2 3789 7184 0 0 [0.00] SYN103-1 theorem 0.0 2 1 1 0 1 0 0 0 2 1 39 0 0 [0.00] SYN104-1 theorem 0.0 2 1 1 0 1 0 0 0 2 1 39 0 0 [0.00] SYN105-1 theorem 0.0 2 1 22 0 29 31 0 0 2 22 209 0 0 [0.00] SYN106-1 theorem 0.0 2 1 17 0 24 30 0 0 2 17 167 0 0 [0.00] SYN107-1 theorem 0.0 2 1 36 0 53 43 0 0 2 36 351 0 0 [0.00] SYN108-1 theorem 0.0 2 1 36 0 54 43 0 0 2 36 351 0 0 [0.00] SYN109-1 theorem 0.0 2 1 119 0 103 133 1 0 2 119 800 0 0 [0.00] SYN110-1 theorem 0.0 2 1 158 0 112 144 3 0 2 158 1187 0 0 [0.00] SYN111-1 theorem 0.0 2 1 155 0 111 142 3 0 2 155 1190 0 0 [0.00] SYN112-1 theorem 0.0 2 1 36 0 52 44 0 0 2 36 352 0 0 [0.00] SYN113-1 theorem 0.0 2 1 71 0 97 110 1 0 2 71 534 0 0 [0.00] SYN114-1 theorem 0.0 2 1 38 0 63 55 0 0 2 38 369 0 0 [0.00] SYN115-1 theorem 0.1 2 1 182 0 113 148 3 0 2 182 1472 0 0 [0.00] SYN116-1 theorem 0.0 2 1 55 0 112 86 0 0 2 55 444 0 0 [0.00] SYN117-1 theorem 0.0 2 1 55 0 111 85 0 0 2 55 443 0 0 [0.00] SYN118-1 theorem 0.0 2 1 1 0 1 0 0 0 2 1 39 0 0 [0.00] SYN119-1 theorem 0.0 2 1 1 0 1 0 0 0 2 1 39 0 0 [0.00] SYN120-1 theorem 0.0 2 1 17 0 24 30 0 0 2 17 168 0 0 [0.00] SYN121-1 theorem 0.0 2 1 69 0 96 109 1 0 2 69 525 0 0 [0.00] SYN122-1 theorem 0.0 2 1 69 0 95 109 1 0 2 69 526 0 0 [0.00] SYN123-1 theorem 0.0 2 1 35 0 49 39 0 0 2 35 343 0 0 [0.00] SYN124-1 theorem 0.0 2 1 40 0 67 57 0 0 2 40 373 0 0 [0.00] SYN125-1 theorem 0.1 2 1 244 0 122 157 5 0 2 244 1945 0 0 [0.00] SYN126-1 theorem 0.0 2 1 45 0 77 70 0 0 2 45 416 0 0 [0.00] SYN127-1 theorem 0.0 2 1 46 0 78 71 0 0 2 46 419 0 0 [0.00] SYN128-1 theorem 0.0 2 1 55 0 90 85 0 0 2 55 438 0 0 [0.00] SYN129-1 theorem 0.0 2 1 58 0 91 87 0 0 2 58 445 0 0 [0.00] SYN130-1 theorem 0.0 2 1 1 0 1 0 0 0 2 1 39 0 0 [0.00] SYN131-1 theorem 0.0 2 1 1 0 1 0 0 0 2 1 39 0 0 [0.00] SYN132-1 theorem 0.0 2 1 12 0 18 29 0 0 2 12 135 0 0 [0.00] SYN133-1 theorem 0.0 2 1 5 0 4 9 0 0 2 5 52 0 0 [0.00] SYN134-1 theorem 0.0 2 1 34 0 58 36 0 0 2 34 342 0 0 [0.00] SYN135-1 theorem 0.0 2 1 38 0 64 55 0 0 2 38 365 0 0 [0.00] SYN136-1 theorem 0.0 2 1 38 0 63 55 0 0 2 38 365 0 0 [0.00] SYN137-1 theorem 0.0 2 1 85 0 100 122 1 0 2 85 643 0 0 [0.00] SYN138-1 theorem 0.1 2 1 209 0 121 152 3 0 2 209 1751 0 0 [0.00] SYN139-1 theorem 0.1 2 1 283 0 124 163 5 0 2 283 2256 0 0 [0.00] SYN140-1 theorem 0.1 2 1 292 0 125 163 5 0 2 292 2312 0 0 [0.00] SYN141-1 theorem 0.1 2 1 188 0 121 151 3 0 2 188 1537 0 0 [0.00] SYN142-1 theorem 0.1 2 1 284 0 127 162 5 0 2 284 2253 0 0 [0.00] SYN143-1 theorem 0.1 2 1 293 0 127 163 5 0 2 293 2313 0 0 [0.00] SYN144-1 theorem 0.0 2 1 175 0 112 147 3 0 2 175 1385 0 0 [0.00] SYN145-1 theorem 0.0 2 1 1 0 1 0 0 0 2 1 39 0 0 [0.00] SYN146-1 theorem 0.0 2 1 4 0 4 10 0 0 2 4 50 0 0 [0.00] SYN147-1 theorem 0.0 2 1 6 0 8 13 0 0 2 6 68 0 0 [0.00] SYN148-1 theorem 0.0 2 1 131 0 103 133 1 0 2 131 923 0 0 [0.00] SYN149-1 theorem 0.0 2 1 12 0 20 30 0 0 2 12 140 0 0 [0.00] SYN150-1 theorem 0.0 2 1 34 0 44 37 0 0 2 34 329 0 0 [0.00] SYN151-1 theorem 0.0 2 1 34 0 44 37 0 0 2 34 329 0 0 [0.00] SYN152-1 theorem 0.0 2 1 34 0 45 38 0 0 2 34 330 0 0 [0.00] SYN153-1 theorem 0.0 2 1 40 0 68 57 0 0 2 40 371 0 0 [0.00] SYN154-1 theorem 0.0 2 1 40 0 68 57 0 0 2 40 371 0 0 [0.00] SYN155-1 theorem 0.0 2 1 184 0 114 151 3 0 2 184 1504 0 0 [0.00] SYN156-1 theorem 0.0 2 1 211 0 120 151 4 0 2 211 1754 0 0 [0.00] SYN157-1 theorem 0.0 2 1 49 0 84 81 0 0 2 49 426 0 0 [0.00] SYN158-1 theorem 0.0 2 1 51 0 86 82 0 0 2 51 428 0 0 [0.00] SYN159-1 theorem 0.0 2 1 185 0 114 150 2 0 2 185 1480 0 0 [0.00] SYN160-1 theorem 0.0 2 1 51 0 86 82 0 0 2 51 428 0 0 [0.00] SYN161-1 theorem 0.0 2 1 49 0 84 80 0 0 2 49 424 0 0 [0.00] SYN162-1 theorem 0.0 2 1 51 0 86 82 0 0 2 51 428 0 0 [0.00] SYN163-1 theorem 0.1 2 1 185 0 114 151 2 0 2 185 1477 0 0 [0.00] SYN164-1 theorem 0.0 2 1 7 0 10 16 0 0 2 7 78 0 0 [0.00] SYN165-1 theorem 0.0 2 1 5 0 6 10 0 0 2 5 56 0 0 [0.00] SYN166-1 theorem 0.0 2 1 141 0 105 137 2 0 2 141 1013 0 0 [0.00] SYN167-1 theorem 0.0 2 1 12 0 18 29 0 0 2 12 140 0 0 [0.00] SYN168-1 theorem 0.0 2 1 36 0 49 42 0 0 2 36 357 0 0 [0.00] SYN169-1 theorem 0.0 2 1 38 0 61 54 0 0 2 38 365 0 0 [0.00] SYN170-1 theorem 0.0 2 1 44 0 75 68 0 0 2 44 412 0 0 [0.00] SYN171-1 theorem 0.1 2 1 365 0 132 169 5 0 2 365 2770 0 0 [0.00] SYN172-1 theorem 0.0 2 1 6 0 7 12 0 0 2 6 71 0 0 [0.00] SYN173-1 theorem 0.0 2 1 27 0 33 34 0 0 2 27 271 0 0 [0.00] SYN174-1 theorem 0.0 2 1 27 0 33 34 0 0 2 27 271 0 0 [0.00] SYN175-1 theorem 0.0 2 1 34 0 46 37 0 0 2 34 331 0 0 [0.00] SYN176-1 theorem 0.0 2 1 69 0 95 107 1 0 2 69 531 0 0 [0.00] SYN177-1 theorem 0.0 2 1 146 0 108 138 3 0 2 146 1094 0 0 [0.00] SYN178-1 theorem 0.0 2 1 81 0 99 119 1 0 2 81 608 0 0 [0.00] SYN179-1 theorem 0.0 2 1 96 0 103 128 1 0 2 96 708 0 0 [0.00] SYN180-1 theorem 0.0 2 1 79 0 99 118 1 0 2 79 587 0 0 [0.00] SYN181-1 theorem 0.0 2 1 72 0 97 110 1 0 2 72 533 0 0 [0.00] SYN182-1 theorem 0.0 2 1 50 0 84 80 0 0 2 50 424 0 0 [0.00] SYN183-1 theorem 0.0 2 1 50 0 84 80 0 0 2 50 424 0 0 [0.00] SYN184-1 theorem 0.0 2 1 1 0 1 0 0 0 2 1 39 0 0 [0.00] SYN185-1 theorem 0.0 2 1 1 0 1 0 0 0 2 1 39 0 0 [0.00] SYN186-1 theorem 0.0 2 1 36 0 53 43 0 0 2 36 355 0 0 [0.00] SYN187-1 theorem 0.0 2 1 36 0 53 43 0 0 2 36 356 0 0 [0.00] SYN188-1 theorem 0.0 2 1 36 0 53 43 0 0 2 36 354 0 0 [0.00] SYN189-1 theorem 0.0 2 1 41 0 69 58 0 0 2 41 381 0 0 [0.00] SYN190-1 theorem 0.0 2 1 180 0 112 147 3 0 2 180 1481 0 0 [0.00] SYN191-1 theorem 0.0 2 1 135 0 103 136 1 0 2 135 950 0 0 [0.00] SYN192-1 theorem 0.0 2 1 50 0 89 83 0 0 2 50 429 0 0 [0.00] SYN193-1 theorem 0.0 2 1 50 0 88 83 0 0 2 50 430 0 0 [0.00] SYN194-1 theorem 0.0 2 1 103 0 104 129 1 0 2 103 720 0 0 [0.00] SYN195-1 theorem 0.0 2 1 85 0 100 121 1 0 2 85 640 0 0 [0.00] SYN196-1 theorem 0.0 2 1 34 0 46 36 1 0 2 34 327 0 0 [0.00] SYN197-1 theorem 0.0 2 1 8 0 15 20 0 0 2 8 82 0 0 [0.00] SYN198-1 theorem 0.0 2 1 38 0 66 52 1 0 2 38 363 0 0 [0.00] SYN199-1 theorem 0.0 2 1 34 0 46 36 1 0 2 34 328 0 0 [0.00] SYN200-1 theorem 0.0 2 1 38 0 66 52 1 0 2 38 363 0 0 [0.00] SYN201-1 theorem 0.0 2 1 67 0 92 92 0 0 2 67 486 0 0 [0.00] SYN202-1 theorem 0.0 2 1 80 0 100 119 1 0 2 80 591 0 0 [0.00] SYN203-1 theorem 0.0 2 1 68 0 98 94 0 0 2 68 489 0 0 [0.00] SYN204-1 theorem 0.1 2 1 286 0 125 162 5 0 2 286 2279 0 0 [0.00] SYN205-1 theorem 0.1 2 1 286 0 125 162 5 0 2 286 2278 0 0 [0.00] SYN206-1 theorem 0.0 2 1 76 0 99 113 1 0 2 76 569 0 0 [0.00] SYN207-1 theorem 0.1 2 1 307 0 129 168 5 0 2 307 2401 0 0 [0.00] SYN208-1 theorem 0.0 2 1 76 0 100 114 1 0 2 76 570 0 0 [0.00] SYN209-1 theorem 0.0 2 1 84 0 102 121 1 0 2 84 639 0 0 [0.00] SYN210-1 theorem 0.0 2 1 84 0 102 121 1 0 2 84 637 0 0 [0.00] SYN211-1 theorem 0.0 2 1 65 0 91 90 0 0 2 65 472 0 0 [0.00] SYN212-1 theorem 0.0 2 1 84 0 103 121 1 0 2 84 641 0 0 [0.00] SYN213-1 theorem 0.0 2 1 55 0 97 86 0 0 2 55 435 0 0 [0.00] SYN214-1 theorem 0.0 2 1 55 0 97 86 0 0 2 55 435 0 0 [0.00] SYN215-1 theorem 0.0 2 1 55 0 97 86 0 0 2 55 435 0 0 [0.00] SYN216-1 theorem 0.0 2 1 34 0 47 36 0 0 2 34 329 0 0 [0.00] SYN217-1 theorem 0.0 2 1 67 0 98 91 1 0 2 67 488 0 0 [0.00] SYN218-1 theorem 0.0 2 1 61 0 100 88 1 0 2 61 455 0 0 [0.00] SYN219-1 theorem 0.0 2 1 69 0 96 109 1 0 2 69 525 0 0 [0.00] SYN220-1 theorem 0.0 2 1 40 0 67 57 0 0 2 40 375 0 0 [0.00] SYN221-1 theorem 0.0 2 1 38 0 62 54 0 0 2 38 369 0 0 [0.00] SYN222-1 theorem 0.0 2 1 38 0 62 53 0 0 2 38 369 0 0 [0.00] SYN223-1 theorem 0.0 2 1 40 0 68 57 0 0 2 40 375 0 0 [0.00] SYN224-1 theorem 0.0 2 1 40 0 67 57 0 0 2 40 373 0 0 [0.00] SYN225-1 theorem 0.0 2 1 75 0 100 113 1 0 2 75 568 0 0 [0.00] SYN226-1 theorem 0.0 2 1 40 0 67 57 0 0 2 40 374 0 0 [0.00] SYN227-1 theorem 0.1 2 1 246 0 122 157 5 0 2 246 1954 0 0 [0.00] SYN228-1 theorem 0.0 2 1 137 0 105 136 1 0 2 137 952 0 0 [0.00] SYN229-1 theorem 0.0 2 1 40 0 67 58 0 0 2 40 374 0 0 [0.00] SYN230-1 theorem 0.0 2 1 40 0 67 58 0 0 2 40 374 0 0 [0.00] SYN231-1 theorem 0.0 2 1 40 0 67 59 0 0 2 40 374 0 0 [0.00] SYN232-1 theorem 0.0 2 1 40 0 67 58 0 0 2 40 374 0 0 [0.00] SYN233-1 theorem 0.0 2 1 40 0 67 57 0 0 2 40 374 0 0 [0.00] SYN234-1 theorem 0.0 2 1 75 0 99 113 1 0 2 75 568 0 0 [0.00] SYN235-1 theorem 0.1 2 1 121 0 102 132 1 0 2 121 840 0 0 [0.00] SYN236-1 theorem 0.0 2 1 40 0 67 57 0 0 2 40 374 0 0 [0.00] SYN237-1 theorem 0.0 2 1 6 0 8 13 0 0 2 6 80 0 0 [0.00] SYN238-1 theorem 0.0 2 1 4 0 4 6 0 0 2 4 53 0 0 [0.00] SYN239-1 theorem 0.0 2 1 4 0 5 9 0 0 2 4 53 0 0 [0.00] SYN240-1 theorem 0.0 2 1 12 0 19 30 0 0 2 12 138 0 0 [0.00] SYN241-1 theorem 0.0 2 1 12 0 19 30 0 0 2 12 138 0 0 [0.00] SYN242-1 theorem 0.0 2 1 27 0 33 35 0 0 2 27 271 0 0 [0.00] SYN243-1 theorem 0.0 2 1 27 0 33 34 0 0 2 27 272 0 0 [0.00] SYN244-1 theorem 0.0 2 1 4 0 4 9 0 0 2 4 53 0 0 [0.00] SYN245-1 theorem 0.0 2 1 12 0 18 31 0 0 2 12 138 0 0 [0.00] SYN246-1 theorem 0.0 2 1 27 0 33 34 0 0 2 27 273 0 0 [0.00] SYN247-1 theorem 0.0 2 1 6 0 10 12 0 0 2 6 78 0 0 [0.00] SYN248-1 theorem 0.0 2 1 63 0 91 89 0 0 2 63 471 0 0 [0.00] SYN249-1 theorem 0.0 2 1 63 0 92 89 0 0 2 63 471 0 0 [0.00] SYN250-1 theorem 0.1 2 1 261 0 122 161 7 0 2 261 2093 0 0 [0.00] SYN251-1 theorem 0.0 2 1 30 0 36 34 0 0 2 30 300 0 0 [0.00] SYN252-1 theorem 0.1 2 1 301 0 126 163 5 0 2 301 2383 0 0 [0.00] SYN253-1 theorem 0.1 2 1 280 0 126 162 5 0 2 280 2231 0 0 [0.00] SYN254-1 theorem 0.1 2 1 283 0 125 162 6 0 2 283 2261 0 0 [0.00] SYN255-1 theorem 0.0 2 1 34 0 44 38 0 0 2 34 329 0 0 [0.00] SYN256-1 theorem 0.0 2 1 34 0 44 38 0 0 2 34 330 0 0 [0.00] SYN257-1 theorem 0.0 2 1 12 0 18 29 0 0 2 12 135 0 0 [0.00] SYN258-1 theorem 0.0 2 1 7 0 11 16 0 0 2 7 89 0 0 [0.00] SYN259-1 theorem 0.0 2 1 7 0 11 16 0 0 2 7 89 0 0 [0.00] SYN260-1 theorem 0.0 2 1 12 0 18 29 0 0 2 12 140 0 0 [0.00] SYN261-1 theorem 0.0 2 1 12 0 19 30 0 0 2 12 140 0 0 [0.00] SYN262-1 theorem 0.0 2 1 67 0 92 91 0 0 2 67 494 0 0 [0.00] SYN263-1 theorem 0.0 2 1 130 0 104 132 1 0 2 130 922 0 0 [0.00] SYN264-1 theorem 0.0 2 1 130 0 102 136 1 0 2 130 839 0 0 [0.00] SYN265-1 theorem 0.0 2 1 38 0 63 55 0 0 2 38 364 0 0 [0.00] SYN266-1 theorem 0.0 2 1 156 0 111 142 2 0 2 156 1175 0 0 [0.00] SYN267-1 theorem 0.0 2 1 43 0 75 66 0 0 2 43 410 0 0 [0.00] SYN268-1 theorem 0.0 2 1 44 0 75 67 0 0 2 44 412 0 0 [0.00] SYN269-1 theorem 0.1 2 1 375 0 132 169 5 0 2 375 2829 0 0 [0.00] SYN270-1 theorem 0.1 2 1 171 0 111 146 3 0 2 171 1339 0 0 [0.00] SYN271-1 theorem 0.1 2 1 365 0 132 169 5 0 2 365 2770 0 0 [0.00] SYN272-1 theorem 0.0 2 1 106 0 102 129 1 0 2 106 722 0 0 [0.00] SYN273-1 theorem 0.0 2 1 104 0 102 128 1 0 2 104 704 0 0 [0.00] SYN274-1 theorem 0.0 2 1 1 0 1 0 0 0 2 1 39 0 0 [0.00] SYN275-1 theorem 0.0 2 1 1 0 1 0 0 0 2 1 39 0 0 [0.00] SYN276-1 theorem 0.0 2 1 12 0 18 29 0 0 2 12 135 0 0 [0.00] SYN277-1 theorem 0.0 2 1 6 0 10 11 0 0 2 6 69 0 0 [0.00] SYN278-1 theorem 0.0 2 1 4 0 5 9 0 0 2 4 64 0 0 [0.00] SYN279-1 theorem 0.0 2 1 13 0 19 29 0 0 2 13 142 0 0 [0.00] SYN280-1 theorem 0.0 2 1 4 0 4 10 0 0 2 4 65 0 0 [0.00] SYN281-1 theorem 0.0 2 1 12 0 18 29 0 0 2 12 137 0 0 [0.00] SYN282-1 theorem 0.0 2 1 6 0 9 12 0 0 2 6 73 0 0 [0.00] SYN283-1 theorem 0.0 2 1 27 0 33 34 0 0 2 27 275 0 0 [0.00] SYN284-1 theorem 0.0 2 1 27 0 33 34 0 0 2 27 273 0 0 [0.00] SYN285-1 theorem 0.0 2 1 149 0 108 138 3 0 2 149 1130 0 0 [0.00] SYN286-1 theorem 0.0 2 1 17 0 23 30 0 0 2 17 167 0 0 [0.00] SYN287-1 theorem 0.0 2 1 4 0 4 10 0 0 2 4 64 0 0 [0.00] SYN288-1 theorem 0.0 2 1 27 0 33 34 0 0 2 27 271 0 0 [0.00] SYN289-1 theorem 0.0 2 1 27 0 33 34 0 0 2 27 275 0 0 [0.00] SYN290-1 theorem 0.0 2 1 6 0 10 10 0 0 2 6 69 0 0 [0.00] SYN291-1 theorem 0.0 2 1 6 0 10 12 0 0 2 6 69 0 0 [0.00] SYN292-1 theorem 0.0 2 1 27 0 33 34 0 0 2 27 271 0 0 [0.00] SYN293-1 theorem 0.0 2 1 62 0 91 88 0 0 2 62 464 0 0 [0.00] SYN294-1 theorem 0.0 2 1 62 0 91 89 0 0 2 62 466 0 0 [0.00] SYN295-1 theorem 0.0 2 1 27 0 34 35 0 0 2 27 271 0 0 [0.00] SYN296-1 theorem 0.0 2 1 27 0 33 34 0 0 2 27 275 0 0 [0.00] SYN297-1 theorem 0.0 2 1 27 0 34 34 0 0 2 27 271 0 0 [0.00] SYN298-1 theorem 0.0 2 1 77 0 99 115 1 0 2 77 576 0 0 [0.00] SYN299-1 theorem 0.0 2 1 76 0 99 113 1 0 2 76 570 0 0 [0.00] SYN300-1 theorem 0.0 2 1 76 0 99 113 1 0 2 76 569 0 0 [0.00] SYN301-1 theorem 0.0 2 1 84 0 101 121 1 0 2 84 639 0 0 [0.00] SYN302-1.003 non_thm 0.0 2 0 0 0 0 0 0 0 2 0 0 0 0 [0.00] SYN310-1 theorem 0.2 3 1 1101 0 2 0 0 0 3 1101 3584 0 0 [0.00] SYN312-1 theorem 30.7 11 1 5867 0 3 0 0 0 3 5867 116920 0 32551 [0.00] SYN318-1 theorem 0.0 2 1 2 0 2 2 0 0 2 2 6 0 0 [0.00] SYN322-1 non_thm 0.0 2 0 0 0 0 0 0 0 2 0 0 0 0 [0.00] SYN329-1 non_thm 0.0 2 0 3 0 4 0 0 0 2 0 4 0 0 [0.00] SYN333-1 theorem 0.0 2 1 2 0 2 6 0 0 2 2 6 0 0 [0.00] SYN336-1 theorem 0.0 2 1 1 0 1 0 0 0 2 1 5 0 0 [0.00] SYN337-1 non_thm 0.0 2 0 4 0 5 0 0 0 2 0 5 0 0 [0.00] SYN338-1 theorem 0.0 2 1 1 0 0 0 0 0 2 1 3 0 0 [0.00] SYN339-1 theorem 0.0 2 1 1 0 1 0 0 0 2 1 2 0 0 [0.00] SYN340-1 theorem 0.0 2 1 1 0 1 0 0 0 2 1 2 0 0 [0.00] SYN341-1 theorem 0.0 2 1 1 0 0 0 0 0 2 1 2 0 0 [0.00] SYN342-1 non_thm 0.0 2 0 2 0 2 0 0 0 2 0 2 0 0 [0.00] SYN346-1 theorem 0.0 2 1 1 0 1 0 0 0 2 1 4 0 0 [0.00] SYN553-1 theorem 0.0 2 1 14 0 7 0 0 0 3 14 103 0 0 [0.00] SYN555-1 theorem 0.0 2 1 9 0 6 0 0 0 2 9 28 0 0 [0.00] SYN557-1 theorem 16.1 11 1 564 0 7 0 0 0 4 564 122214 0 55352 [0.00] SYN558-1 theorem 0.0 2 1 39 0 6 0 3 0 2 39 161 0 0 [0.00] SYN559-1 theorem 0.0 2 1 40 0 6 0 0 0 3 40 309 0 0 [0.00] SYN561-1 theorem 0.2 3 1 44 0 6 0 0 0 4 44 4882 0 0 [0.00] SYN562-1 theorem 0.0 2 1 7 0 7 0 0 0 2 7 31 0 0 [0.00] SYN563-1 theorem 0.0 2 1 182 0 6 0 0 0 3 182 1252 0 0 [0.00] SYN564-1 theorem 0.0 2 1 47 0 7 0 0 0 4 47 546 0 0 [0.00] SYN565-1 theorem 0.0 2 1 56 0 7 0 0 0 4 56 635 0 0 [0.00] SYN566-1 theorem 0.0 2 1 23 0 8 0 0 0 3 23 81 0 0 [0.00] SYN569-1 theorem 0.0 2 1 35 0 7 0 0 0 3 35 177 0 0 [0.00] SYN570-1 theorem 0.0 2 1 17 0 10 0 0 0 3 17 53 0 0 [0.00] SYN584-1 theorem 0.0 2 1 11 0 9 0 0 0 8 11 37 0 0 [0.00] SYN588-1 theorem 0.0 2 1 12 0 12 0 0 0 2 12 30 0 0 [0.00] SYN589-1 theorem 0.0 2 1 12 0 12 0 0 0 2 12 30 0 0 [0.00] SYN590-1 theorem 0.1 2 1 226 0 8 0 0 0 4 226 1289 0 0 [0.00] SYN596-1 theorem 0.0 2 1 12 0 11 0 0 0 5 12 37 0 0 [0.00] SYN618-1 theorem 0.0 2 1 32 0 16 0 0 0 3 32 126 0 0 [0.00] SYN632-1 theorem 0.0 2 1 31 0 12 0 0 0 7 31 92 0 0 [0.00] SYN637-1 theorem 0.0 2 1 30 0 14 0 0 0 7 30 242 0 0 [0.00] SYN638-1 theorem 0.0 2 1 30 0 14 0 0 0 7 30 242 0 0 [0.00] SYN649-1 timeout 300.0 65 [0.00] SYN651-1 theorem 0.0 2 1 24 0 15 0 0 0 6 24 74 0 0 [0.00] SYN652-1 theorem 0.0 2 1 28 0 20 0 0 0 3 28 97 0 0 [0.00] SYN654-1 timeout 300.0 2 [0.00] SYN655-1 timeout 300.0 2 [0.00] SYN688-1 theorem 0.0 2 1 42 0 28 0 0 0 3 42 101 0 0 [0.00] SYN689-1 theorem 0.0 2 1 42 0 28 0 0 0 3 42 101 0 0 [0.00] SYN691-1 theorem 0.0 2 1 43 0 24 0 1 0 8 43 123 0 0 [0.00] SYN702-1 theorem 0.0 2 1 35 0 28 0 0 0 9 35 98 0 0 [0.00] SYN703-1 theorem 0.0 2 1 61 0 29 0 1 0 9 61 171 0 0 [0.00] SYN705-1 theorem 0.0 2 1 61 0 29 0 1 0 9 61 171 0 0 [0.00] SYN706-1 theorem 0.0 2 1 55 0 31 0 1 0 6 55 190 0 0 [0.00] SYN709-1 theorem 0.0 2 1 55 0 35 0 0 0 4 55 157 0 0 [0.00] SYN712-1 theorem 0.1 2 1 52 0 36 0 1 0 10 52 149 0 0 [0.00] SYN715-1 theorem 0.0 2 1 43 0 36 0 0 0 10 43 126 0 0 [0.00] SYN716-1 theorem 0.0 2 1 50 0 36 0 0 0 10 50 142 0 0 [0.00] SYN719-1 theorem 0.0 2 1 49 0 46 0 0 0 3 49 133 0 0 [0.00] SYN720-1 non_thm 0.1 2 0 423 0 132 171 6 0 2 0 3087 0 0 [0.00] SYN721-1 theorem 0.0 2 1 3 0 1 0 0 0 2 3 5 0 0 [0.00] SYN727-1 theorem 0.0 2 1 2 0 2 0 0 0 2 2 4 0 0 [0.00] SYN729-1 theorem 0.0 2 1 54 0 1 0 0 0 4 54 82 0 0 [0.00] SYN731-1 theorem 0.0 2 1 1 0 1 0 0 0 2 1 2 0 0 [0.12] LCL025-1 theorem 25.6 10 1 674 0 4 0 8 0 5 674 71764 0 6369 [0.12] LCL045-1 theorem 115.6 13 1 1113 0 6 0 29 0 5 1113 150892 0 22226 [0.12] LCL064-2 theorem 3.8 3 1 307 0 3 0 4 0 5 307 14679 0 0 [0.12] LCL065-1 theorem 0.3 2 1 136 0 4 0 1 0 5 136 4954 0 0 [0.12] LCL066-1 theorem 0.4 2 1 160 0 4 0 2 0 5 160 5803 0 0 [0.12] LCL069-1 theorem 2.3 5 1 418 0 4 0 4 0 5 418 19043 0 0 [0.12] LCL072-1 theorem 6.5 6 1 581 0 4 0 16 0 5 581 33176 0 0 [0.12] LCL077-1 theorem 0.3 2 1 114 0 4 0 1 0 5 114 3566 0 0 [0.12] LCL083-1 theorem 1.2 3 1 195 0 2 0 69 0 6 195 7683 0 0 [0.12] LCL083-2 theorem 0.8 2 1 92 0 3 0 1 0 6 92 3082 0 0 [0.12] LCL089-1 theorem 0.2 2 1 98 0 2 0 12 0 6 98 4102 0 0 [0.12] LCL090-1 theorem 0.0 2 1 42 0 2 0 15 0 6 42 489 0 0 [0.12] LCL094-1 theorem 0.4 2 1 124 0 2 0 7 0 6 124 7698 0 0 [0.12] LCL130-1 theorem 61.0 17 1 791 0 2 0 3 0 6 791 228427 0 62540 [0.12] LCL195-1 theorem 16.9 19 1 5319 0 6 0 0 0 6 5319 27542 0 0 [0.12] LCL198-1 theorem 0.5 4 1 757 0 6 0 0 0 5 757 2597 0 0 [0.12] LCL231-1 timeout 300.0 104 [0.12] LCL358-1 theorem 0.0 2 1 27 0 4 0 2 0 5 27 153 0 0 [0.12] LCL365-1 theorem 0.3 2 1 128 0 4 0 6 0 5 128 4188 0 0 [0.12] PLA001-1 theorem 0.0 2 1 25 0 12 0 0 0 2 25 41 0 0 [0.12] RNG001-3 theorem 0.0 2 1 21 0 4 0 1 0 2 21 650 0 0 [0.12] RNG005-2 theorem 0.0 2 1 11 0 11 0 0 0 2 11 585 0 0 [0.12] RNG006-2 theorem 70.3 95 1 181 0 13 0 6 0 2 181 1728012 0 937435 [0.12] RNG037-2 theorem 0.0 2 1 14 0 9 0 0 0 2 14 887 0 0 [0.12] RNG039-2 theorem 1.2 4 1 64 0 50 0 11 0 2 64 23226 0 0 [0.12] SYN597-1 theorem 0.3 3 1 193 0 11 0 0 0 4 193 4841 0 0 [0.12] SYN601-1 theorem 0.2 3 1 127 0 12 0 0 0 4 127 3595 0 0 [0.12] SYN602-1 theorem 0.2 2 1 114 0 7 0 0 0 3 114 791 0 0 [0.20] PUZ046-1 non_thm 0.0 2 0 0 0 0 0 0 0 2 0 0 0 0 [0.20] SYN303-1 timeout 300.0 6 [0.25] GRP048-2 theorem 14.0 19 1 156 0 5 0 0 0 3 156 200231 0 130800 [0.25] LCL004-1 theorem 2.1 7 1 340 0 2 0 208 0 8 340 36895 0 0 [0.25] LCL006-1 theorem 1.4 3 1 298 0 3 0 0 0 5 298 22954 0 0 [0.25] LCL029-1 theorem 1.0 3 1 173 0 5 0 1 0 5 173 10344 0 0 [0.25] LCL034-1 theorem 8.1 9 1 346 0 2 0 15 0 7 346 49643 0 6651 [0.25] LCL036-1 theorem 3.6 8 1 155 0 2 0 7 0 7 155 9793 0 0 [0.25] LCL047-1 theorem 0.1 2 1 99 0 4 0 3 0 5 99 2265 0 0 [0.25] LCL048-1 theorem 0.2 2 1 125 0 4 0 3 0 5 125 3155 0 0 [0.25] LCL049-1 theorem 1.1 3 1 244 0 4 0 12 0 5 244 13446 0 0 [0.25] LCL050-1 theorem 1.6 4 1 288 0 4 0 12 0 5 288 16510 0 0 [0.25] LCL053-1 theorem 0.4 2 1 160 0 4 0 8 0 5 160 6157 0 0 [0.25] LCL056-1 theorem 0.4 2 1 140 0 4 0 7 0 5 140 5273 0 0 [0.25] LCL057-1 theorem 0.6 3 1 182 0 4 0 10 0 5 182 9378 0 0 [0.25] LCL064-1 theorem 32.1 11 1 835 0 4 0 19 0 5 835 81966 0 6964 [0.25] LCL068-1 theorem 18.2 6 1 658 0 4 0 26 0 5 658 52127 0 0 [0.25] LCL076-1 theorem 0.2 2 1 100 0 4 0 1 0 5 100 3398 0 0 [0.25] LCL080-2 theorem 1.7 3 1 205 0 5 0 3 0 5 205 11881 0 0 [0.25] LCL092-1 theorem 0.3 2 1 118 0 2 0 12 0 6 118 5579 0 0 [0.25] LCL095-1 theorem 0.3 2 1 131 0 2 0 14 0 6 131 4798 0 0 [0.25] LCL115-1 theorem 3.1 5 1 419 0 5 0 1 0 5 419 22138 0 0 [0.25] LCL123-1 theorem 16.8 18 1 556 0 2 0 3 0 7 556 156349 0 65345 [0.25] LCL196-1 theorem 0.5 4 1 777 0 6 0 0 0 5 777 2692 0 0 [0.25] LCL224-1 theorem 109.2 72 1 21798 0 6 0 67 0 6 21798 104514 0 27018 [0.25] LCL225-1 theorem 46.1 58 1 20344 0 6 0 0 0 6 20344 70277 0 0 [0.25] LCL234-1 theorem 5.5 10 1 2627 0 6 0 0 0 6 2627 10990 0 0 [0.25] LCL237-1 theorem 5.6 10 1 2628 0 6 0 0 0 6 2628 10990 0 0 [0.25] LCL256-1 theorem 0.2 2 1 116 0 4 0 7 0 5 116 4228 0 0 [0.25] LCL367-1 theorem 0.1 2 1 90 0 4 0 4 0 5 90 2186 0 0 [0.25] LCL379-1 theorem 0.5 2 1 163 0 4 0 10 0 5 163 7661 0 0 [0.25] LCL380-1 theorem 0.4 2 1 161 0 4 0 9 0 5 161 5992 0 0 [0.25] LCL381-1 theorem 0.6 3 1 198 0 4 0 7 0 5 198 7284 0 0 [0.25] LCL396-1 theorem 0.4 3 1 162 0 4 0 9 0 5 162 6050 0 0 [0.25] LCL405-1 theorem 0.4 3 1 161 0 4 0 10 0 5 161 7503 0 0 [0.25] LCL416-1 theorem 25.5 18 1 365 0 2 0 0 0 10 365 68100 0 41875 [0.25] NUM017-1 timeout 300.0 75 [0.25] NUM283-1.005 theorem 0.2 2 1 155 0 4 0 0 0 25 155 158 0 0 [0.25] PLA004-1 timeout 300.0 43 [0.25] PLA004-2 timeout 300.0 44 [0.25] PLA005-1 timeout 300.0 43 [0.25] PLA005-2 timeout 300.0 44 [0.25] PLA009-1 timeout 300.0 45 [0.25] PLA009-2 timeout 300.0 45 [0.25] PLA011-1 timeout 300.0 43 [0.25] PLA011-2 timeout 300.0 44 [0.25] PLA013-1 timeout 300.0 44 [0.25] PLA014-1 timeout 300.0 43 [0.25] PLA014-2 timeout 300.0 44 [0.25] PLA021-1 timeout 300.0 44 [0.25] PLA022-1 theorem 2.6 8 1 1091 0 20 0 0 0 4 1091 21244 0 3947 [0.25] PLA022-2 theorem 2.6 8 1 1091 0 20 0 0 0 4 1091 21244 0 3947 [0.25] PUZ039-1 timeout 300.0 181 [0.25] PUZ040-1 timeout 300.0 193 [0.25] PUZ042-1 timeout 300.0 188 [0.25] RNG001-5 theorem 0.9 3 1 70 0 8 0 0 0 2 70 18027 0 0 [0.25] SYN311-1 theorem 3.9 13 1 13067 0 2 0 0 0 3 13067 40552 0 0 [0.25] SYN572-1 theorem 0.5 3 1 134 0 9 0 0 0 5 134 4248 0 0 [0.25] SYN577-1 theorem 0.1 2 1 81 0 12 0 0 0 3 81 917 0 0 [0.25] SYN598-1 timeout 300.0 32 [0.25] SYN599-1 timeout 300.0 32 [0.25] SYN603-1 theorem 213.8 37 1 3200 0 7 0 0 0 4 3200 190452 0 150648 [0.25] SYN616-1 theorem 0.2 3 1 85 0 13 0 0 0 3 85 3860 0 0 [0.25] SYN628-1 theorem 0.1 2 1 66 0 15 0 0 0 3 66 2584 0 0 [0.25] SYN653-1 timeout 300.0 2 [0.25] SYN704-1 timeout 300.0 81 [0.25] SYN707-1 timeout 300.0 18 [0.25] SYN708-1 timeout 300.0 18 [0.38] LCL003-1 timeout 300.0 30 [0.38] LCL014-1 theorem 5.1 12 1 404 0 2 0 1 0 7 404 69398 0 24464 [0.38] LCL016-1 theorem 18.7 24 1 677 0 2 0 0 0 8 677 214615 0 119307 [0.38] LCL024-1 theorem 140.9 86 1 1622 0 2 0 0 0 8 1622 1096514 0 667102 [0.38] LCL026-1 theorem 26.1 7 1 564 0 4 0 4 0 5 564 62759 0 0 [0.38] LCL031-1 theorem 94.4 12 1 832 0 5 0 27 0 5 832 149896 0 16952 [0.38] LCL039-1 theorem 71.7 11 1 1132 0 6 0 5 0 5 1132 124567 0 7311 [0.38] LCL040-1 theorem 34.4 10 1 1012 0 6 0 19 0 5 1012 65909 0 0 [0.38] LCL042-1 theorem 183.1 17 1 1332 0 6 0 29 0 5 1332 195268 0 47463 [0.38] LCL051-1 theorem 0.3 2 1 137 0 4 0 6 0 5 137 5285 0 0 [0.38] LCL052-1 theorem 0.3 2 1 140 0 4 0 8 0 5 140 5570 0 0 [0.38] LCL055-1 theorem 0.6 3 1 181 0 4 0 7 0 5 181 6678 0 0 [0.38] LCL058-1 theorem 110.1 14 1 1098 0 4 0 25 0 5 1098 145097 0 22194 [0.38] LCL059-1 theorem 2.7 5 1 329 0 4 0 11 0 5 329 20639 0 0 [0.38] LCL067-1 timeout 300.0 21 [0.38] LCL070-1 timeout 300.0 22 [0.38] LCL071-1 theorem 20.2 6 1 679 0 4 0 26 0 5 679 55986 0 0 [0.38] LCL080-1 theorem 1.7 3 1 205 0 4 0 3 0 5 205 11880 0 0 [0.38] LCL093-1 theorem 14.0 10 1 432 0 2 0 19 0 6 432 66351 0 7213 [0.38] LCL113-1 theorem 29.1 9 1 789 0 5 0 10 0 5 789 65587 0 0 [0.38] LCL121-1 theorem 4.8 9 1 344 0 2 0 3 0 7 344 63390 0 12183 [0.38] LCL128-1 theorem 1.5 6 1 202 0 2 0 1 0 7 202 23779 0 0 [0.38] LCL131-1 theorem 0.5 2 1 150 0 2 0 1 0 5 150 10311 0 0 [0.38] LCL250-1 theorem 6.3 19 1 5819 0 6 0 0 0 6 5819 22771 0 0 [0.38] LCL368-1 theorem 0.6 3 1 191 0 4 0 9 0 5 191 8103 0 0 [0.38] LCL378-1 theorem 0.5 3 1 170 0 4 0 7 0 5 170 6409 0 0 [0.38] LCL385-1 theorem 87.5 12 1 1024 0 4 0 17 0 5 1024 134523 0 14957 [0.38] LCL386-1 theorem 2.8 5 1 343 0 4 0 17 0 5 343 20745 0 0 [0.38] LCL387-1 theorem 4.6 6 1 404 0 4 0 11 0 5 404 26553 0 0 [0.38] LCL388-1 theorem 148.2 15 1 1210 0 4 0 30 0 5 1210 172275 0 34175 [0.38] LCL389-1 theorem 98.1 14 1 1050 0 4 0 18 0 5 1050 143573 0 22907 [0.38] LCL400-1 theorem 1.4 4 1 252 0 4 0 10 0 5 252 13141 0 0 [0.38] LCL401-1 theorem 2.4 4 1 321 0 4 0 10 0 5 321 19630 0 0 [0.38] LCL402-1 theorem 0.7 3 1 188 0 4 0 11 0 5 188 8613 0 0 [0.38] NUM284-1.014 theorem 261.4 5 1 249 0 4 0 0 0 234 249 524 0 0 [0.38] PLA007-1 timeout 300.0 44 [0.38] PLA016-1 timeout 300.0 45 [0.38] PLA019-1 timeout 300.0 43 [0.38] PLA023-1 timeout 300.0 44 [0.38] RNG001-2 theorem 39.2 44 1 182 0 7 0 20 0 2 182 758445 0 383626 [0.38] RNG004-3 timeout 300.0 246 [0.38] SWV014-1 timeout 300.0 214 [0.38] SYN556-1 timeout 300.0 9 [0.38] SYN600-1 timeout 300.0 140 [0.38] SYN617-1 timeout 300.0 122 [0.38] SYN629-1 theorem 0.1 2 1 66 0 15 0 0 0 3 66 2584 0 0 [0.38] SYN639-1 timeout 300.0 104 [0.38] SYN640-1 timeout 300.0 105 [0.38] SYN646-1 timeout 300.0 42 [0.38] SYN647-1 timeout 300.0 42 [0.38] SYN711-1 timeout 300.0 22 [0.40] GRP394-2 timeout 300.0 164 [0.40] LCL411-1 timeout 300.0 254 [0.40] LCL415-1 memory 298.7 499 [0.40] NUM286-2 timeout 300.0 115 [0.40] NUM287-1 timeout 300.0 95 [0.40] SWV012-1 timeout 300.0 213 [0.50] ANA003-2 timeout 300.0 15 [0.50] LCL005-1 timeout 300.0 28 [0.50] LCL012-1 theorem 8.6 15 1 507 0 2 0 0 0 7 507 105286 0 43216 [0.50] LCL015-1 theorem 10.0 18 1 457 0 2 0 0 0 8 457 106966 0 58970 [0.50] LCL017-1 theorem 26.1 31 1 657 0 2 0 0 0 9 657 236818 0 160495 [0.50] LCL018-1 theorem 15.8 23 1 535 0 2 0 0 0 9 535 163423 0 106032 [0.50] LCL019-1 theorem 201.5 116 1 1853 0 2 0 0 0 8 1853 1465677 0 924756 [0.50] LCL028-1 timeout 300.0 16 [0.50] LCL054-1 theorem 197.9 17 1 1357 0 4 0 45 0 5 1357 197388 0 44907 [0.50] LCL060-1 theorem 255.1 19 1 1470 0 4 0 39 0 5 1470 226109 0 53197 [0.50] LCL085-1 timeout 300.0 26 [0.50] LCL114-1 theorem 74.2 12 1 1037 0 5 0 24 0 5 1037 108241 0 6664 [0.50] LCL116-1 theorem 93.1 11 1 1103 0 5 0 22 0 5 1103 123387 0 7247 [0.50] LCL119-1 timeout 300.0 113 [0.50] LCL122-1 theorem 140.8 65 1 1397 0 2 0 3 0 7 1397 814971 0 413716 [0.50] LCL127-1 theorem 53.8 34 1 945 0 2 0 5 0 7 945 399790 0 213682 [0.50] LCL129-1 theorem 127.3 11 1 625 0 2 0 2 0 6 625 142974 0 25992 [0.50] LCL167-1 timeout 300.0 97 [0.50] LCL191-1 theorem 21.2 16 1 4390 0 6 0 0 0 6 4390 22438 0 0 [0.50] LCL223-1 theorem 40.2 70 1 22869 0 6 0 0 0 6 22869 77454 0 0 [0.50] LCL227-1 timeout 300.0 252 [0.50] LCL369-1 theorem 0.4 3 1 158 0 4 0 11 0 5 158 6567 0 0 [0.50] LCL370-1 theorem 2.2 4 1 320 0 4 0 13 0 5 320 19507 0 0 [0.50] LCL371-1 theorem 2.1 4 1 310 0 4 0 13 0 5 310 18562 0 0 [0.50] LCL372-1 theorem 2.7 5 1 335 0 4 0 13 0 5 335 19913 0 0 [0.50] LCL373-1 theorem 5.1 7 1 492 0 4 0 22 0 5 492 34972 0 0 [0.50] LCL374-1 timeout 300.0 18 [0.50] LCL382-1 theorem 22.3 9 1 681 0 4 0 16 0 5 681 68406 0 1593 [0.50] LCL383-1 theorem 78.9 12 1 981 0 4 0 14 0 5 981 124743 0 14909 [0.50] LCL384-1 theorem 1.2 3 1 253 0 4 0 12 0 5 253 13744 0 0 [0.50] LCL390-1 theorem 246.7 19 1 1455 0 4 0 31 0 5 1455 223401 0 52145 [0.50] LCL391-1 timeout 300.0 17 [0.50] LCL392-1 theorem 274.0 19 1 1522 0 4 0 38 0 5 1522 228309 0 55183 [0.50] PLA008-1 timeout 300.0 43 [0.50] PLA010-1 timeout 300.0 44 [0.50] PLA012-1 timeout 300.0 43 [0.50] PLA015-1 timeout 300.0 43 [0.50] PLA018-1 timeout 300.0 43 [0.50] PUZ037-3 theorem 2.6 9 1 560 0 2 0 0 0 2 560 10069 0 0 [0.50] SYN631-1 timeout 300.0 71 [0.60] PUZ048-1 timeout 300.0 171 [0.60] PUZ049-1 timeout 300.0 208 [0.62] LCL020-1 timeout 300.0 98 [0.62] LCL021-1 timeout 300.0 127 [0.62] LCL038-1 timeout 300.0 30 [0.62] LCL061-1 timeout 300.0 20 [0.62] LCL100-1 timeout 300.0 46 [0.62] LCL166-1 timeout 300.0 120 [0.62] LCL222-1 theorem 44.5 62 1 20763 0 6 0 0 0 6 20763 71531 0 0 [0.62] LCL375-1 timeout 300.0 18 [0.62] LCL393-1 timeout 300.0 18 [0.62] LCL403-1 theorem 85.3 12 1 995 0 4 0 20 0 5 995 133855 0 12761 [0.62] LCL404-1 theorem 15.3 8 1 597 0 4 0 13 0 5 597 61357 0 0 [0.62] SYN614-1 timeout 300.0 183 [0.75] LCL002-1 timeout 300.0 35 [0.75] LCL030-1 theorem 27.3 10 1 573 0 5 0 14 0 5 573 73990 0 7147 [0.75] LCL062-1 timeout 300.0 17 [0.75] LCL084-2 timeout 300.0 31 [0.75] LCL103-1 theorem 3.8 6 1 355 0 3 0 0 0 6 355 54945 0 0 [0.75] LCL105-1 timeout 300.0 59 [0.75] LCL124-1 timeout 300.0 108 [0.75] LCL221-1 theorem 37.0 49 1 18870 0 6 0 0 0 6 18870 65822 0 0 [0.75] LCL249-1 timeout 300.0 222 [0.75] LCL253-1 timeout 300.0 251 [0.75] LCL376-1 timeout 300.0 20 [0.75] LCL377-1 timeout 300.0 20 [0.75] LCL394-1 timeout 300.0 16 [0.75] LCL395-1 timeout 300.0 19 [0.75] SYN615-1 timeout 300.0 203 [0.80] LCL078-1 timeout 300.0 12 [0.80] LCL168-1 timeout 300.0 294 [0.80] LCL179-1 timeout 300.0 247 [0.80] LCL180-1 timeout 300.0 223 [0.80] LCL181-1 timeout 300.0 190 [0.80] LCL183-1 timeout 300.0 137 [0.80] LCL184-1 timeout 300.0 220 [0.80] LCL209-1 timeout 300.0 204 [0.80] LCL219-1 timeout 300.0 213 [0.80] LCL220-1 timeout 300.0 199 [0.80] LCL235-1 timeout 300.0 118 [0.80] LCL239-1 timeout 300.0 265 [0.80] LCL240-1 timeout 300.0 228 [0.80] LCL241-1 timeout 300.0 225 [0.80] LCL242-1 timeout 300.0 104 [0.80] LCL244-1 timeout 300.0 132 [0.80] LCL245-1 timeout 300.0 134 [0.80] LCL246-1 timeout 300.0 244 [0.80] LCL247-1 timeout 300.0 265 [0.80] LCL248-1 timeout 300.0 140 [0.80] LCL252-1 timeout 300.0 186 [0.80] LCL255-1 timeout 300.0 162 [0.88] LCL032-1 timeout 300.0 50 [0.88] LCL037-1 timeout 300.0 48 [0.88] LCL084-3 timeout 300.0 29 [0.88] LCL099-1 timeout 300.0 45 [0.88] LCL125-1 timeout 300.0 57 [1.00] ANA004-2 timeout 300.0 15 [1.00] ANA005-2 timeout 300.0 15 [1.00] GEO001-4 timeout 300.0 54 [1.00] LCL001-1 timeout 300.0 14 [1.00] LCL063-1 timeout 300.0 18 [1.00] LCL073-1 timeout 300.0 94 [1.00] LCL074-1 timeout 300.0 51 [1.00] LCL109-1 timeout 300.0 16 [1.00] LCL228-1 timeout 300.0 264 [1.00] LCL229-1 timeout 300.0 248 [1.00] LCL243-1 timeout 300.0 260 [1.00] LCL251-1 timeout 300.0 170 [1.00] LCL254-1 timeout 300.0 262 [1.00] LCL417-1 timeout 300.0 138 [1.00] LCL418-1 timeout 300.0 39 [1.00] LCL419-1 timeout 300.0 16 [1.00] LCL420-1 timeout 300.0 13 [1.00] LCL421-1 timeout 300.0 16 [1.00] LCL422-1 timeout 300.0 16 [1.00] LCL423-1 timeout 300.0 25 [1.00] LCL424-1 timeout 300.0 15 [1.00] LCL425-1 timeout 300.0 45 [1.00] LCL426-1 timeout 300.0 35 [1.00] LCL427-1 timeout 300.0 37 [1.00] NUM026-1 timeout 300.0 23 [1.00] PUZ041-1 timeout 300.0 207 [1.00] PUZ050-1 timeout 300.0 312 [1.00] PUZ051-1 timeout 300.0 207 [1.00] ROB025-1 timeout 300.0 119