# --tptp-in --memory-limit=512 -c --split-method=1 --suppress-result --print-statistics -R GEO079-1.tptp S 0.020 success 1 0 GRP001-5.tptp S 0.130 success 1 0 GRP123-1.003.tptp S 0.050 success 138 261 GRP123-1.005.tptp S 0.520 success 3245 10495 GRP123-2.003.tptp S 0.040 success 146 273 GRP123-2.005.tptp S 0.510 success 2830 8871 GRP123-3.003.tptp S 0.100 success 1097 3452 GRP123-3.004.tptp S 0.370 success 4906 16907 GRP123-4.003.tptp S 0.040 success 138 261 GRP123-4.004.tptp S 0.140 success 714 1848 GRP123-6.003.tptp S 0.010 success 186 306 GRP123-6.005.tptp S 0.050 success 2020 4040 GRP123-7.003.tptp S 0.010 success 191 311 GRP123-7.005.tptp S 0.060 success 2034 4054 GRP123-8.003.tptp S 0.030 success 811 2005 GRP123-8.004.tptp S 0.080 success 2849 8072 GRP123-9.003.tptp S 0.020 success 252 492 GRP123-9.004.tptp S 0.040 success 898 1900 GRP124-1.004.tptp S 0.160 success 690 1800 GRP124-1.005.tptp S 0.510 success 3245 10495 GRP124-2.004.tptp S 0.130 success 654 1643 GRP124-2.005.tptp S 0.510 success 2834 8887 GRP124-3.004.tptp S 0.370 success 4906 17123 GRP124-3.005.tptp S 1.150 success 17507 64987 GRP124-4.004.tptp S 0.150 success 714 1848 GRP124-4.005.tptp S 0.520 success 3285 10615 GRP124-6.004.tptp S 0.040 success 706 1336 GRP124-6.005.tptp S 0.050 success 2020 4040 GRP124-7.004.tptp S 0.030 success 715 1345 GRP124-7.005.tptp S 0.060 success 2034 4054 GRP124-8.004.tptp S 0.080 success 2849 8080 GRP124-8.005.tptp S 0.190 success 7986 24730 GRP124-9.004.tptp S 0.040 success 898 1912 GRP124-9.005.tptp S 0.070 success 2440 5320 GRP125-1.003.tptp S 0.020 success 108 177 GRP125-1.004.tptp S 0.010 success 402 768 GRP125-2.004.tptp S 0.030 success 410 776 GRP125-2.005.tptp S 0.040 success 1132 2289 GRP125-3.004.tptp S 0.070 success 1842 5039 GRP125-3.005.tptp S 0.170 success 5407 17017 GRP125-4.003.tptp S 0.020 success 282 651 GRP125-4.004.tptp S 0.020 success 1026 2532 GRP126-1.004.tptp S 0.030 success 402 768 GRP126-1.005.tptp S 0.060 success 1145 2335 GRP126-2.004.tptp S 0.020 success 410 776 GRP126-2.005.tptp S 0.030 success 1132 2289 GRP126-3.004.tptp S 0.050 success 1858 5087 GRP126-3.005.tptp S 0.140 success 5427 17077 GRP126-4.004.tptp S 0.020 success 1074 2700 GRP126-4.005.tptp S 0.060 success 2765 7115 GRP127-1.004.tptp S 0.030 success 402 768 GRP127-1.005.tptp S 0.040 success 1145 2335 GRP127-2.005.tptp S 0.050 success 1132 2289 GRP127-2.006.tptp S 0.070 success 2603 5443 GRP127-3.004.tptp S 0.070 success 1850 5071 GRP127-3.005.tptp S 0.160 success 5417 17057 GRP127-4.004.tptp S 0.040 success 1074 2700 GRP127-4.005.tptp S 0.070 success 2765 7115 GRP128-1.003.tptp S 0.020 success 327 714 GRP128-1.004.tptp S 0.040 success 1028 2288 GRP128-2.004.tptp S 0.030 success 973 2138 GRP128-2.006.tptp S 0.090 success 4898 10942 GRP128-3.004.tptp S 0.080 success 3426 10300 GRP128-3.005.tptp S 0.180 success 9123 29554 GRP128-4.003.tptp S 0.030 success 477 1152 GRP128-4.004.tptp S 0.030 success 1516 3760 GRP129-1.003.tptp S 0.020 success 333 738 GRP129-1.005.tptp S 0.040 success 2525 5700 GRP129-2.004.tptp S 0.010 success 985 2186 GRP129-2.005.tptp S 0.040 success 2380 5322 GRP129-3.004.tptp S 0.070 success 3446 10380 GRP129-3.005.tptp S 0.180 success 9153 29674 GRP129-4.004.tptp S 0.020 success 1564 3928 GRP129-4.005.tptp S 0.060 success 3795 9590 GRP130-1.003.tptp S 0.020 success 327 714 GRP130-1.005.tptp S 0.050 success 2505 5620 GRP130-2.003.tptp S 0.020 success 315 674 GRP130-2.005.tptp S 0.030 success 2357 5224 GRP130-3.003.tptp S 0.030 success 1039 2818 GRP130-3.004.tptp S 0.070 success 3426 10300 GRP130-4.003.tptp S 0.010 success 477 1152 GRP130-4.004.tptp S 0.040 success 1516 3760 GRP131-1.002.tptp S 0.020 success 184 548 GRP131-1.005.tptp S 0.700 success 33175 129800 GRP131-2.002.tptp S 0.010 success 186 550 GRP131-2.005.tptp S 0.640 success 27589 107204 GRP132-1.002.tptp S 0.020 success 184 568 GRP132-1.005.tptp S 0.670 success 33175 131680 GRP132-2.002.tptp S 0.010 success 186 570 GRP132-2.005.tptp S 0.650 success 27511 108600 GRP133-1.003.tptp S 0.020 success 327 714 GRP133-1.004.tptp S 0.010 success 1028 2288 GRP133-2.003.tptp S 0.020 success 316 678 GRP133-2.004.tptp S 0.030 success 975 2141 GRP134-1.003.tptp S 0.010 success 339 750 GRP134-1.005.tptp S 0.050 success 2545 5740 GRP134-2.003.tptp S 0.020 success 328 714 GRP134-2.005.tptp S 0.050 success 2406 5373 GRP135-1.002.tptp S 0.000 success 68 144 GRP135-1.005.tptp S 0.040 success 2525 5700 GRP135-2.002.tptp S 0.010 success 70 146 GRP135-2.005.tptp S 0.050 success 2378 5310 KRS004-1.tptp S 0.020 success 1 0 LAT005-1.tptp F 40.000 maxmem 0 0 LAT005-2.tptp F 39.490 maxmem 0 0 MGT013-1.tptp S 1.530 success 51665 263734 MGT014-1.tptp S 1.550 success 51422 262439 MGT041-2.tptp S 0.010 success 23 39 MGT052-1.tptp S 0.000 success 1 0 MGT053-1.tptp S 0.020 success 521 1417 MSC006-1.tptp S 0.020 success 75 166 MSC008-1.002.tptp S 0.020 success 140 404 MSC008-1.010.tptp F 45.920 maxmem 0 0 MSC008-2.002.tptp S 0.020 success 92 212 NLP001-1.tptp S 0.020 success 62 404 NLP004-1.tptp S 16.930 success 284509 3875159 NLP005-1.tptp S 9.720 success 176923 2284929 NLP006-1.tptp S 10.000 success 176923 2329031 NLP007-1.tptp S 17.260 success 284509 3875163 NLP008-1.tptp S 9.830 success 176923 2284927 NLP009-1.tptp S 5.060 success 102563 1235187 NLP010-1.tptp S 5.270 success 102563 1235187 NLP011-1.tptp S 17.070 success 284509 3875163 NLP012-1.tptp S 9.890 success 176923 2284929 NLP013-1.tptp S 9.850 success 176923 2284929 NLP023-1.tptp S 0.690 success 36927 135306 NLP024-1.tptp S 2.290 success 120485 478755 NLP042-1.tptp S 0.210 success 12349 37146 NLP114-1.tptp S 0.030 success 116 1430 NLP115-1.tptp S 0.010 success 116 1430 NLP116-1.tptp S 0.010 success 68 614 NLP117-1.tptp S 0.020 success 164 2246 NLP118-1.tptp S 0.030 success 116 1430 NLP119-1.tptp S 0.010 success 116 1430 NLP120-1.tptp S 0.010 success 116 1430 NLP121-1.tptp S 0.020 success 68 614 NLP122-1.tptp S 0.020 success 100 1158 NLP123-1.tptp S 0.020 success 116 1430 NLP124-1.tptp S 0.430 success 27830 85122 NLP125-1.tptp S 0.240 success 14282 43193 NLP126-1.tptp S 0.240 success 14282 43193 NLP127-1.tptp S 0.450 success 27830 85122 NLP128-1.tptp S 0.240 success 14282 43193 NLP129-1.tptp S 0.240 success 14282 43193 PUZ001-1.tptp S 0.010 success 19 24 PUZ001-3.tptp S 0.000 success 20 27 PUZ002-1.tptp S 0.010 success 12 17 PUZ003-1.tptp S 0.020 success 39 66 PUZ008-2.tptp S 0.010 success 26 44 PUZ010-1.tptp S 0.090 success 3617 9105 PUZ011-1.tptp S 0.010 success 1 0 PUZ012-1.tptp S 0.010 success 54 94 PUZ017-1.tptp S 5.740 success 285553 1244391 PUZ018-1.tptp S 0.510 success 19769 100306 PUZ018-2.tptp S 0.550 success 19773 100319 PUZ019-1.tptp S 0.500 success 15039 66616 PUZ022-1.tptp S 0.010 success 1 0 PUZ028-1.tptp S 0.010 success 509 1364 PUZ028-2.tptp S 0.020 success 414 1104 PUZ028-3.tptp S 0.070 success 404 1074 PUZ028-4.tptp S 0.040 success 270 780 PUZ028-5.tptp S 0.010 success 509 1304 PUZ028-6.tptp S 0.020 success 474 1224 PUZ029-1.tptp S 0.010 success 14 23 PUZ030-1.tptp S 0.020 success 91 222 PUZ035-1.tptp S 0.010 success 63 134 PUZ035-2.tptp S 0.010 success 65 138 PUZ036-1.005.tptp F 31.940 maxmem 0 0 PUZ037-1.tptp F 44.990 maxmem 0 0 PUZ037-2.tptp F 44.440 maxmem 0 0 PUZ037-3.tptp F 44.760 maxmem 0 0 SET043-5.tptp S 0.010 success 1 0 SWV001-1.tptp S 0.020 success 69 161 SYN005-1.010.tptp S 0.020 success 1 0 SYN009-1.tptp S 0.020 success 1 0 SYN051-1.tptp S 0.020 success 8 16 SYN052-1.tptp S 0.000 success 6 12 SYN053-1.tptp S 0.020 success 16 30 SYN054-1.tptp S 0.000 success 9 19 SYN055-1.tptp S 0.020 success 10 15 SYN056-1.tptp S 0.000 success 32 78 SYN057-1.tptp S 0.010 success 10 13 SYN058-1.tptp S 0.000 success 13 21 SYN059-1.tptp S 0.010 success 73 198 SYN060-1.tptp S 0.000 success 7 11 SYN061-1.tptp S 0.010 success 1 0 SYN062-1.tptp S 0.000 success 1 0 SYN063-1.tptp S 0.030 success 11 15 SYN063-2.tptp S 0.010 success 1 0 SYN071-1.tptp S 0.010 success 26 44 SYN072-1.tptp S 0.000 success 89 210 SYN088-1.010.tptp S 0.010 success 1 0 SYN095-1.002.tptp S 0.020 success 1 0 SYN096-1.008.tptp S 0.000 success 58 156 SYN099-1.003.tptp S 0.020 success 1 0 SYN100-1.005.tptp S 0.010 success 68 162 SYN101-1.002.002.tptp S 0.020 success 1 0 SYN102-1.007.007.tptp S 0.180 success 6419 17948 SYN103-1.tptp S 0.030 success 1 0 SYN104-1.tptp S 0.040 success 1 0 SYN105-1.tptp S 0.060 success 1 0 SYN106-1.tptp S 0.070 success 1 0 SYN107-1.tptp S 0.050 success 1 0 SYN108-1.tptp S 0.060 success 1 0 SYN109-1.tptp S 0.200 success 1 0 SYN110-1.tptp S 0.400 success 15291 49908 SYN111-1.tptp S 0.210 success 1 0 SYN112-1.tptp S 0.070 success 1 0 SYN113-1.tptp S 0.200 success 1 0 SYN114-1.tptp S 0.060 success 1 0 SYN115-1.tptp S 0.390 success 15359 50127 SYN116-1.tptp S 0.150 success 1 0 SYN117-1.tptp S 0.390 success 15372 50171 SYN118-1.tptp S 0.040 success 1 0 SYN119-1.tptp S 0.040 success 1 0 SYN120-1.tptp S 0.050 success 1 0 SYN121-1.tptp S 0.410 success 15340 50066 SYN122-1.tptp S 0.410 success 15244 49654 SYN123-1.tptp S 0.290 success 1 0 SYN124-1.tptp S 0.120 success 1 0 SYN125-1.tptp S 0.400 success 15334 50041 SYN126-1.tptp S 0.140 success 1 0 SYN127-1.tptp S 0.180 success 1 0 SYN128-1.tptp S 0.400 success 15368 50166 SYN129-1.tptp S 0.410 success 15371 50172 SYN130-1.tptp S 0.080 success 1 0 SYN131-1.tptp S 0.040 success 1 0 SYN132-1.tptp S 0.060 success 1 0 SYN133-1.tptp S 0.040 success 1 0 SYN134-1.tptp S 0.430 success 15242 49710 SYN135-1.tptp S 0.070 success 1 0 SYN136-1.tptp S 0.050 success 1 0 SYN137-1.tptp S 0.390 success 15196 49517 SYN138-1.tptp S 0.390 success 15256 49719 SYN139-1.tptp S 0.430 success 15368 50155 SYN140-1.tptp S 0.390 success 15352 50063 SYN141-1.tptp S 0.390 success 15365 50134 SYN142-1.tptp S 0.410 success 15372 50160 SYN143-1.tptp S 0.400 success 15368 50156 SYN144-1.tptp S 0.410 success 15276 49709 SYN145-1.tptp S 0.050 success 1 0 SYN146-1.tptp S 0.040 success 1 0 SYN147-1.tptp S 0.040 success 1 0 SYN148-1.tptp S 0.280 success 1 0 SYN149-1.tptp S 0.050 success 1 0 SYN150-1.tptp S 0.050 success 1 0 SYN151-1.tptp S 0.070 success 1 0 SYN152-1.tptp S 0.070 success 1 0 SYN153-1.tptp S 0.070 success 1 0 SYN154-1.tptp S 0.050 success 1 0 SYN155-1.tptp S 0.390 success 14831 47805 SYN156-1.tptp S 0.400 success 15267 49696 SYN157-1.tptp S 0.250 success 1 0 SYN158-1.tptp S 0.240 success 1 0 SYN159-1.tptp S 0.410 success 15272 49612 SYN160-1.tptp S 0.220 success 1 0 SYN161-1.tptp S 0.230 success 1 0 SYN162-1.tptp S 0.220 success 1 0 SYN163-1.tptp S 0.400 success 15272 49611 SYN164-1.tptp S 0.030 success 1 0 SYN165-1.tptp S 0.060 success 1 0 SYN166-1.tptp S 0.400 success 15332 50037 SYN167-1.tptp S 0.060 success 1 0 SYN168-1.tptp S 0.060 success 1 0 SYN169-1.tptp S 0.060 success 1 0 SYN170-1.tptp S 0.060 success 1 0 SYN171-1.tptp S 0.400 success 15372 50173 SYN172-1.tptp S 0.050 success 1 0 SYN173-1.tptp S 0.090 success 1 0 SYN174-1.tptp S 0.090 success 1 0 SYN175-1.tptp S 0.060 success 1 0 SYN176-1.tptp S 0.220 success 1 0 SYN177-1.tptp S 0.130 success 1 0 SYN178-1.tptp S 0.350 success 1 0 SYN179-1.tptp S 0.400 success 15032 49008 SYN180-1.tptp S 0.340 success 1 0 SYN181-1.tptp S 0.360 success 1 0 SYN182-1.tptp S 0.130 success 1 0 SYN183-1.tptp S 0.160 success 1 0 SYN184-1.tptp S 0.050 success 1 0 SYN185-1.tptp S 0.050 success 1 0 SYN186-1.tptp S 0.200 success 1 0 SYN187-1.tptp S 0.210 success 1 0 SYN188-1.tptp S 0.220 success 1 0 SYN189-1.tptp S 0.200 success 1 0 SYN190-1.tptp S 0.410 success 15349 50043 SYN191-1.tptp S 0.390 success 15296 49910 SYN192-1.tptp S 0.400 success 15363 50153 SYN193-1.tptp S 0.400 success 15363 50153 SYN194-1.tptp S 0.410 success 15361 50129 SYN195-1.tptp S 0.400 success 15368 50155 SYN196-1.tptp S 0.410 success 15208 49615 SYN197-1.tptp S 0.060 success 1 0 SYN198-1.tptp S 0.390 success 15080 49100 SYN199-1.tptp S 0.400 success 15210 49614 SYN200-1.tptp S 0.410 success 15210 49623 SYN201-1.tptp S 0.090 success 1 0 SYN202-1.tptp S 0.370 success 1 0 SYN203-1.tptp S 0.190 success 1 0 SYN204-1.tptp S 0.400 success 15206 49504 SYN205-1.tptp S 0.420 success 15226 49560 SYN206-1.tptp S 0.180 success 1 0 SYN207-1.tptp S 0.400 success 15228 49553 SYN208-1.tptp S 0.390 success 15237 49672 SYN209-1.tptp S 0.140 success 1 0 SYN210-1.tptp S 0.140 success 1 0 SYN211-1.tptp S 0.140 success 1 0 SYN212-1.tptp S 0.130 success 1 0 SYN213-1.tptp S 0.400 success 15372 50169 SYN214-1.tptp S 0.410 success 15372 50169 SYN215-1.tptp S 0.410 success 15372 50169 SYN216-1.tptp S 0.390 success 15258 49778 SYN217-1.tptp S 0.280 success 1 0 SYN218-1.tptp S 0.410 success 15158 49313 SYN219-1.tptp S 0.410 success 15340 50044 SYN220-1.tptp S 0.110 success 1 0 SYN221-1.tptp S 0.120 success 1 0 SYN222-1.tptp S 0.120 success 1 0 SYN223-1.tptp S 0.100 success 1 0 SYN224-1.tptp S 0.100 success 1 0 SYN225-1.tptp S 0.410 success 15329 50023 SYN226-1.tptp S 0.110 success 1 0 SYN227-1.tptp S 0.400 success 15330 50034 SYN228-1.tptp S 0.110 success 1 0 SYN229-1.tptp S 0.110 success 1 0 SYN230-1.tptp S 0.110 success 1 0 SYN231-1.tptp S 0.100 success 1 0 SYN232-1.tptp S 0.120 success 1 0 SYN233-1.tptp S 0.110 success 1 0 SYN234-1.tptp S 0.400 success 15334 50037 SYN235-1.tptp S 0.400 success 15335 50044 SYN236-1.tptp S 0.100 success 1 0 SYN237-1.tptp S 0.040 success 1 0 SYN238-1.tptp S 0.040 success 1 0 SYN239-1.tptp S 0.050 success 1 0 SYN240-1.tptp S 0.050 success 1 0 SYN241-1.tptp S 0.040 success 1 0 SYN242-1.tptp S 0.040 success 1 0 SYN243-1.tptp S 0.420 success 15325 50025 SYN244-1.tptp S 0.040 success 1 0 SYN245-1.tptp S 0.050 success 1 0 SYN246-1.tptp S 0.120 success 1 0 SYN247-1.tptp S 0.040 success 1 0 SYN248-1.tptp S 0.270 success 1 0 SYN249-1.tptp S 0.270 success 1 0 SYN250-1.tptp S 0.400 success 15315 49973 SYN251-1.tptp S 0.120 success 1 0 SYN252-1.tptp S 0.410 success 15352 50060 SYN253-1.tptp S 0.410 success 15352 50059 SYN254-1.tptp S 0.420 success 15368 50153 SYN255-1.tptp S 0.070 success 1 0 SYN256-1.tptp S 0.060 success 1 0 SYN257-1.tptp S 0.030 success 1 0 SYN258-1.tptp S 0.050 success 1 0 SYN259-1.tptp S 0.040 success 1 0 SYN260-1.tptp S 0.040 success 1 0 SYN261-1.tptp S 0.060 success 1 0 SYN262-1.tptp S 0.090 success 1 0 SYN263-1.tptp S 0.100 success 1 0 SYN264-1.tptp S 0.400 success 15252 49721 SYN265-1.tptp S 0.070 success 1 0 SYN266-1.tptp S 0.160 success 1 0 SYN267-1.tptp S 0.070 success 1 0 SYN268-1.tptp S 0.060 success 1 0 SYN269-1.tptp S 0.390 success 15372 50173 SYN270-1.tptp S 0.430 success 15270 49706 SYN271-1.tptp S 0.410 success 15274 49709 SYN272-1.tptp S 0.200 success 1 0 SYN273-1.tptp S 0.200 success 1 0 SYN274-1.tptp S 0.050 success 1 0 SYN275-1.tptp S 0.040 success 1 0 SYN276-1.tptp S 0.030 success 1 0 SYN277-1.tptp S 0.050 success 1 0 SYN278-1.tptp S 0.060 success 1 0 SYN279-1.tptp S 0.090 success 1 0 SYN280-1.tptp S 0.050 success 1 0 SYN281-1.tptp S 0.050 success 1 0 SYN282-1.tptp S 0.060 success 1 0 SYN283-1.tptp S 0.080 success 1 0 SYN284-1.tptp S 0.090 success 1 0 SYN285-1.tptp S 0.210 success 1 0 SYN286-1.tptp S 0.080 success 1 0 SYN287-1.tptp S 0.050 success 1 0 SYN288-1.tptp S 0.050 success 1 0 SYN289-1.tptp S 0.090 success 1 0 SYN290-1.tptp S 0.060 success 1 0 SYN291-1.tptp S 0.050 success 1 0 SYN292-1.tptp S 0.040 success 1 0 SYN293-1.tptp S 0.400 success 15360 50142 SYN294-1.tptp S 0.400 success 15328 50046 SYN295-1.tptp S 0.040 success 1 0 SYN296-1.tptp S 0.080 success 1 0 SYN297-1.tptp S 0.060 success 1 0 SYN298-1.tptp S 0.170 success 1 0 SYN299-1.tptp S 0.180 success 1 0 SYN300-1.tptp S 0.190 success 1 0 SYN301-1.tptp S 0.150 success 1 0 SYN307-1.tptp S 0.010 success 8 12 SYN317-1.tptp S 0.000 success 4 4 SYN318-1.tptp S 0.010 success 1 0 SYN321-1.tptp S 0.010 success 12 24 SYN322-1.tptp S 0.010 success 1 1 SYN323-1.tptp S 0.000 success 4 8 SYN418-1.tptp F 40.650 maxmem 0 0 SYN419-1.tptp F 38.920 maxmem 0 0 SYN420-1.tptp F 41.340 maxmem 0 0 SYN421-1.tptp F 40.650 maxmem 0 0 SYN422-1.tptp F 41.000 maxmem 0 0 SYN423-1.tptp F 40.910 maxmem 0 0 SYN424-1.tptp F 42.150 maxmem 0 0 SYN425-1.tptp F 44.140 maxmem 0 0 SYN426-1.tptp F 39.990 maxmem 0 0 SYN427-1.tptp F 42.360 maxmem 0 0 SYN428-1.tptp F 40.560 maxmem 0 0 SYN429-1.tptp F 41.110 maxmem 0 0 SYN430-1.tptp S 0.030 success 608 2796 SYN431-1.tptp S 0.030 success 619 2811 SYN432-1.tptp S 0.040 success 914 4266 SYN433-1.tptp S 0.020 success 977 4457 SYN434-1.tptp S 0.070 success 3425 16037 SYN435-1.tptp S 0.110 success 3000 14495 SYN436-1.tptp S 0.090 success 1904 8974 SYN437-1.tptp S 0.120 success 4354 20840 SYN438-1.tptp S 0.080 success 2372 11389 SYN439-1.tptp S 0.130 success 4546 21929 SYN440-1.tptp S 0.140 success 6475 31126 SYN441-1.tptp S 0.200 success 7499 35699 SYN442-1.tptp S 0.070 success 2894 14026 SYN443-1.tptp S 0.090 success 2797 13732 SYN444-1.tptp S 0.070 success 2972 14286 SYN445-1.tptp S 0.080 success 2987 14186 SYN446-1.tptp S 0.080 success 3021 14526 SYN447-1.tptp S 0.140 success 6187 30374 SYN448-1.tptp S 0.100 success 2856 13961 SYN449-1.tptp S 0.080 success 2919 14339 SYN450-1.tptp S 0.100 success 2856 14038 SYN451-1.tptp S 0.070 success 2797 13558 SYN452-1.tptp S 0.080 success 2923 14085 SYN453-1.tptp S 0.160 success 6431 31835 SYN454-1.tptp S 0.060 success 2654 12655 SYN455-1.tptp S 0.100 success 2947 14619 SYN456-1.tptp S 0.090 success 2862 13776 SYN457-1.tptp S 0.160 success 7113 34766 SYN458-1.tptp S 0.080 success 2949 14491 SYN459-1.tptp S 0.080 success 2700 12730 SYN460-1.tptp S 0.130 success 6236 29895 SYN461-1.tptp S 0.070 success 2915 13998 SYN462-1.tptp S 0.080 success 2867 13635 SYN463-1.tptp S 0.070 success 2830 13869 SYN464-1.tptp S 0.140 success 6700 32049 SYN465-1.tptp S 0.090 success 3451 16410 SYN466-1.tptp S 0.100 success 3502 17009 SYN467-1.tptp S 0.090 success 3517 16826 SYN468-1.tptp S 0.080 success 3121 15197 SYN469-1.tptp S 0.080 success 3234 15767 SYN470-1.tptp S 0.130 success 3540 17246 SYN471-1.tptp S 0.080 success 3861 18438 SYN472-1.tptp S 0.090 success 3713 18020 SYN473-1.tptp S 0.100 success 3622 17323 SYN474-1.tptp S 0.080 success 3794 18551 SYN475-1.tptp S 0.110 success 3659 17485 SYN476-1.tptp S 0.090 success 3669 17919 SYN477-1.tptp S 0.070 success 3338 15727 SYN478-1.tptp S 0.090 success 3371 16381 SYN479-1.tptp S 0.090 success 3935 19084 SYN480-1.tptp S 0.130 success 4220 20305 SYN481-1.tptp S 0.080 success 3469 16645 SYN482-1.tptp S 0.100 success 4151 20012 SYN483-1.tptp S 0.100 success 3502 17199 SYN484-1.tptp S 0.100 success 3961 19077 SYN485-1.tptp S 0.090 success 3747 18254 SYN486-1.tptp S 0.100 success 4062 19285 SYN487-1.tptp S 0.090 success 3281 16348 SYN488-1.tptp S 0.090 success 3761 18523 SYN489-1.tptp S 0.100 success 4056 19718 SYN490-1.tptp S 0.010 success 187 796 SYN491-1.tptp S 0.010 success 161 640 SYN492-1.tptp S 0.010 success 200 869 SYN493-1.tptp S 0.010 success 193 817 SYN494-1.tptp S 0.020 success 197 840 SYN495-1.tptp S 0.020 success 174 725 SYN496-1.tptp S 0.050 success 183 754 SYN497-1.tptp S 0.020 success 201 839 SYN498-1.tptp S 0.080 success 3870 18750 SYN499-1.tptp S 0.100 success 4114 19885 SYN500-1.tptp S 0.100 success 4407 20874 SYN501-1.tptp S 0.100 success 3775 18199 SYN502-1.tptp S 0.100 success 3828 18845 SYN503-1.tptp S 0.100 success 4020 19348 SYN504-1.tptp S 0.120 success 4223 20315 SYN505-1.tptp S 0.100 success 3938 18859 SYN506-1.tptp S 0.090 success 3832 18563 SYN507-1.tptp S 0.090 success 3679 18389 SYN508-1.tptp S 0.130 success 3888 19160 SYN509-1.tptp S 0.100 success 4374 20901 SYN510-1.tptp S 0.120 success 3612 17595 SYN511-1.tptp S 0.100 success 4119 19890 SYN512-1.tptp S 0.130 success 3766 18812 SYN513-1.tptp F 39.220 maxmem 0 0 SYN514-1.tptp F 39.690 maxmem 0 0 SYN515-1.tptp S 0.200 success 6411 45851 SYN516-1.tptp S 0.080 success 2083 15533 SYN517-1.tptp S 0.040 success 474 3149 SYN518-1.tptp F 38.980 maxmem 0 0 SYN519-1.tptp F 42.790 maxmem 0 0 SYN520-1.tptp F 44.270 maxmem 0 0 SYN521-1.tptp S 0.500 success 16674 126569 SYN522-1.tptp S 0.520 success 15922 125760 SYN523-1.tptp S 0.030 success 499 2751 SYN524-1.tptp S 0.520 success 17496 135195 SYN525-1.tptp S 0.190 success 5497 39783 SYN526-1.tptp S 0.630 success 21386 163249 SYN527-1.tptp S 0.030 success 1008 5106 SYN528-1.tptp S 5.160 success 167718 1320747 SYN529-1.tptp S 0.470 success 13427 109548 SYN530-1.tptp F 41.850 maxmem 0 0 SYN531-1.tptp S 3.610 success 116678 924073 SYN532-1.tptp S 0.030 success 878 3132 SYN533-1.tptp S 0.060 success 1780 12011 SYN534-1.tptp S 3.650 success 81838 890150 SYN535-1.tptp S 0.280 success 8475 63607 SYN536-1.tptp S 19.900 success 464247 4554557 SYN537-1.tptp S 5.430 success 135491 1378107 SYN538-1.tptp S 9.480 success 261566 2273548 SYN539-1.tptp S 12.180 success 346982 2753765 SYN540-1.tptp S 30.260 success 787473 6855218 SYN541-1.tptp S 17.290 success 417507 3709955 SYN542-1.tptp S 0.140 success 5292 25530 SYN543-1.tptp S 0.150 success 6808 32296 SYN544-1.tptp F 42.970 maxmem 0 0 SYN545-1.tptp F 39.680 maxmem 0 0 SYN546-1.tptp F 39.860 maxmem 0 0 SYN547-1.tptp F 40.350 maxmem 0 0