# --tptp-in --memory-limit=128 -tUr -c --suppress-result --print-statistics -R GEO079-1.tptp S 0.010 success 4 6 GRP001-5.tptp S 0.360 success 8204 32020 GRP123-1.003.tptp S 0.100 success 1722 7290 GRP123-1.005.tptp S 1.670 success 33180 156350 GRP123-2.003.tptp S 0.110 success 1731 7307 GRP123-2.005.tptp S 1.860 success 33242 156508 GRP123-3.003.tptp S 0.300 success 5424 24718 GRP123-3.004.tptp S 1.160 success 22853 108605 GRP123-4.003.tptp S 0.110 success 1740 7374 GRP123-4.004.tptp S 0.480 success 9028 41160 GRP123-6.003.tptp S 0.040 success 600 1629 GRP123-6.005.tptp S 0.160 success 4460 12725 GRP123-7.003.tptp S 0.040 success 605 1634 GRP123-7.005.tptp S 0.190 success 4474 12739 GRP123-8.003.tptp S 0.070 success 1454 4771 GRP123-8.004.tptp S 0.210 success 4491 16684 GRP123-9.003.tptp S 0.050 success 600 1629 GRP123-9.004.tptp S 0.070 success 1848 5184 GRP124-1.004.tptp S 0.490 success 8996 41672 GRP124-1.005.tptp S 1.680 success 33180 158230 GRP124-2.004.tptp S 0.460 success 9023 41735 GRP124-2.005.tptp S 1.700 success 33242 158388 GRP124-3.004.tptp S 1.420 success 22853 109829 GRP124-3.005.tptp S 3.750 success 72703 355737 GRP124-4.004.tptp S 0.450 success 9028 41856 GRP124-4.005.tptp S 1.780 success 33230 158570 GRP124-6.004.tptp S 0.070 success 1848 5196 GRP124-6.005.tptp S 0.190 success 4460 12745 GRP124-7.004.tptp S 0.070 success 1857 5205 GRP124-7.005.tptp S 0.200 success 4474 12759 GRP124-8.004.tptp S 0.210 success 4491 16704 GRP124-8.005.tptp S 0.520 success 11405 46270 GRP124-9.004.tptp S 0.100 success 1848 5196 GRP124-9.005.tptp S 0.180 success 4460 12745 GRP125-1.003.tptp S 0.050 success 345 936 GRP125-1.004.tptp S 0.050 success 1060 2976 GRP125-2.004.tptp S 0.080 success 1087 3039 GRP125-2.005.tptp S 0.130 success 2617 7458 GRP125-3.004.tptp S 0.190 success 3478 14295 GRP125-3.005.tptp S 0.450 success 9199 41079 GRP125-4.003.tptp S 0.050 success 525 1488 GRP125-4.004.tptp S 0.090 success 1604 4664 GRP126-1.004.tptp S 0.070 success 1060 2976 GRP126-1.005.tptp S 0.120 success 2555 7300 GRP126-2.004.tptp S 0.060 success 1087 3039 GRP126-2.005.tptp S 0.120 success 2617 7458 GRP126-3.004.tptp S 0.190 success 3478 14295 GRP126-3.005.tptp S 0.440 success 9199 41079 GRP126-4.004.tptp S 0.080 success 1604 4688 GRP126-4.005.tptp S 0.170 success 3855 11380 GRP127-1.004.tptp S 0.070 success 1060 2988 GRP127-1.005.tptp S 0.110 success 2555 7320 GRP127-2.005.tptp S 0.120 success 2617 7478 GRP127-2.006.tptp S 0.200 success 5382 15542 GRP127-3.004.tptp S 0.210 success 3478 14315 GRP127-3.005.tptp S 0.430 success 9199 41109 GRP127-4.004.tptp S 0.090 success 1604 4688 GRP127-4.005.tptp S 0.160 success 3855 11380 GRP128-1.003.tptp S 0.050 success 342 933 GRP128-1.004.tptp S 0.060 success 1056 2972 GRP128-2.004.tptp S 0.060 success 1083 3035 GRP128-2.006.tptp S 0.200 success 5376 15506 GRP128-3.004.tptp S 0.190 success 3473 14290 GRP128-3.005.tptp S 0.460 success 9193 41073 GRP128-4.003.tptp S 0.050 success 522 1485 GRP128-4.004.tptp S 0.080 success 1600 4660 GRP129-1.003.tptp S 0.040 success 342 939 GRP129-1.005.tptp S 0.110 success 2550 7315 GRP129-2.004.tptp S 0.070 success 1083 3047 GRP129-2.005.tptp S 0.120 success 2612 7473 GRP129-3.004.tptp S 0.180 success 3473 14310 GRP129-3.005.tptp S 0.440 success 9193 41103 GRP129-4.004.tptp S 0.080 success 1600 4684 GRP129-4.005.tptp S 0.150 success 3850 11375 GRP130-1.003.tptp S 0.030 success 342 933 GRP130-1.005.tptp S 0.120 success 2550 7295 GRP130-2.003.tptp S 0.050 success 351 950 GRP130-2.005.tptp S 0.110 success 2612 7453 GRP130-3.003.tptp S 0.090 success 1068 3866 GRP130-3.004.tptp S 0.180 success 3473 14290 GRP130-4.003.tptp S 0.050 success 522 1485 GRP130-4.004.tptp S 0.090 success 1600 4660 GRP131-1.002.tptp S 0.020 success 184 642 GRP131-1.005.tptp S 1.690 success 33175 156345 GRP131-2.002.tptp S 0.020 success 186 644 GRP131-2.005.tptp S 1.710 success 33237 156503 GRP132-1.002.tptp S 0.030 success 184 662 GRP132-1.005.tptp S 1.710 success 33175 158225 GRP132-2.002.tptp S 0.040 success 186 664 GRP132-2.005.tptp S 1.790 success 33237 158383 GRP133-1.003.tptp S 0.030 success 342 933 GRP133-1.004.tptp S 0.060 success 1056 2972 GRP133-2.003.tptp S 0.050 success 351 950 GRP133-2.004.tptp S 0.060 success 1083 3035 GRP134-1.003.tptp S 0.050 success 342 933 GRP134-1.005.tptp S 0.100 success 2550 7295 GRP134-2.003.tptp S 0.030 success 351 950 GRP134-2.005.tptp S 0.110 success 2612 7453 GRP135-1.002.tptp S 0.030 success 72 184 GRP135-1.005.tptp S 0.110 success 2550 7315 GRP135-2.002.tptp S 0.030 success 74 186 GRP135-2.005.tptp S 0.110 success 2612 7473 KRS004-1.tptp S 0.030 success 4 7 LAT005-1.tptp F 20.400 maxmem 0 0 LAT005-2.tptp F 24.690 maxmem 0 0 MGT013-1.tptp S 4.220 success 74398 398652 MGT014-1.tptp S 4.190 success 74398 398652 MGT041-2.tptp S 0.030 success 23 47 MGT052-1.tptp S 0.040 success 251 725 MGT053-1.tptp S 0.060 success 871 2585 MSC006-1.tptp S 0.030 success 162 442 MSC008-1.002.tptp S 0.040 success 255 875 MSC008-1.010.tptp F 20.510 maxmem 0 0 MSC008-2.002.tptp S 0.050 success 191 635 NLP001-1.tptp S 0.020 success 60 528 NLP004-1.tptp F 25.580 maxmem 0 0 NLP005-1.tptp F 24.560 maxmem 0 0 NLP006-1.tptp F 26.690 maxmem 0 0 NLP007-1.tptp F 26.110 maxmem 0 0 NLP008-1.tptp F 24.610 maxmem 0 0 NLP009-1.tptp F 24.800 maxmem 0 0 NLP010-1.tptp F 27.070 maxmem 0 0 NLP011-1.tptp F 27.800 maxmem 0 0 NLP012-1.tptp F 24.590 maxmem 0 0 NLP013-1.tptp F 24.560 maxmem 0 0 NLP023-1.tptp S 1.900 success 44661 164499 NLP024-1.tptp S 5.830 success 138203 549315 NLP042-1.tptp S 0.540 success 16117 48862 NLP114-1.tptp S 0.060 success 114 1506 NLP115-1.tptp S 0.040 success 114 1506 NLP116-1.tptp S 0.040 success 66 642 NLP117-1.tptp S 0.060 success 162 2370 NLP118-1.tptp S 0.050 success 114 1506 NLP119-1.tptp S 0.050 success 114 1506 NLP120-1.tptp S 0.030 success 114 1506 NLP121-1.tptp S 0.030 success 66 642 NLP122-1.tptp S 0.050 success 98 1218 NLP123-1.tptp S 0.050 success 114 1506 NLP124-1.tptp S 1.120 success 33503 102653 NLP125-1.tptp S 0.640 success 17922 54467 NLP126-1.tptp S 0.690 success 17922 54467 NLP127-1.tptp S 1.100 success 33503 102653 NLP128-1.tptp S 0.620 success 17922 54467 NLP129-1.tptp S 0.620 success 17922 54467 PUZ001-1.tptp S 0.020 success 22 45 PUZ001-3.tptp S 0.040 success 24 50 PUZ002-1.tptp S 0.020 success 12 22 PUZ003-1.tptp S 0.030 success 42 126 PUZ008-2.tptp S 0.040 success 32 62 PUZ010-1.tptp S 0.260 success 4405 18504 PUZ011-1.tptp S 0.020 success 62 206 PUZ012-1.tptp S 0.030 success 82 200 PUZ017-1.tptp F 20.250 maxmem 0 0 PUZ018-1.tptp S 1.420 success 24275 133871 PUZ018-2.tptp S 1.370 success 24274 133870 PUZ019-1.tptp F 19.890 maxmem 0 0 PUZ022-1.tptp S 0.050 success 348 1393 PUZ028-1.tptp S 0.040 success 695 2099 PUZ028-2.tptp S 0.030 success 504 1482 PUZ028-3.tptp S 0.160 success 504 1482 PUZ028-4.tptp S 0.100 success 270 780 PUZ028-5.tptp S 0.050 success 695 1979 PUZ028-6.tptp S 0.060 success 576 1626 PUZ029-1.tptp S 0.030 success 15 36 PUZ030-1.tptp S 0.020 success 91 222 PUZ035-1.tptp S 0.030 success 58 148 PUZ035-2.tptp S 0.030 success 60 154 PUZ036-1.005.tptp F 20.710 maxmem 0 0 PUZ037-1.tptp F 25.690 maxmem 0 0 PUZ037-2.tptp F 25.670 maxmem 0 0 PUZ037-3.tptp F 26.360 maxmem 0 0 SET043-5.tptp S 0.030 success 2 2 SWV001-1.tptp S 0.040 success 123 338 SYN005-1.010.tptp S 0.030 success 11 20 SYN009-1.tptp S 0.010 success 31 34 SYN051-1.tptp S 0.030 success 6 12 SYN052-1.tptp S 0.030 success 5 10 SYN053-1.tptp S 0.030 success 10 24 SYN054-1.tptp S 0.030 success 9 19 SYN055-1.tptp S 0.030 success 12 28 SYN056-1.tptp S 0.010 success 24 72 SYN057-1.tptp S 0.030 success 8 15 SYN058-1.tptp S 0.020 success 9 16 SYN059-1.tptp S 0.030 success 128 532 SYN060-1.tptp S 0.030 success 7 13 SYN061-1.tptp S 0.030 success 5 8 SYN062-1.tptp S 0.010 success 6 11 SYN063-1.tptp S 0.040 success 39 140 SYN063-2.tptp S 0.010 success 3 4 SYN071-1.tptp S 0.020 success 88 230 SYN072-1.tptp S 0.030 success 189 514 SYN088-1.010.tptp S 0.040 success 22 32 SYN095-1.002.tptp S 0.020 success 13 25 SYN096-1.008.tptp S 0.040 success 63 178 SYN099-1.003.tptp S 0.040 success 46 98 SYN100-1.005.tptp S 0.040 success 78 212 SYN101-1.002.002.tptp S 0.010 success 53 133 SYN102-1.007.007.tptp S 0.430 success 6419 21532 SYN103-1.tptp S 1.510 success 34169 129558 SYN104-1.tptp S 1.470 success 34169 129558 SYN105-1.tptp S 1.470 success 34169 129558 SYN106-1.tptp S 1.450 success 34169 129558 SYN107-1.tptp S 1.490 success 34173 129562 SYN108-1.tptp S 1.530 success 34173 129562 SYN109-1.tptp S 1.440 success 34169 129558 SYN110-1.tptp S 1.480 success 34169 129558 SYN111-1.tptp S 1.460 success 34169 129558 SYN112-1.tptp S 1.570 success 34173 129562 SYN113-1.tptp S 1.440 success 34169 129558 SYN114-1.tptp S 1.450 success 34173 129562 SYN115-1.tptp S 1.440 success 34169 129558 SYN116-1.tptp S 1.500 success 34169 129558 SYN117-1.tptp S 1.460 success 34194 129633 SYN118-1.tptp S 1.440 success 34169 129558 SYN119-1.tptp S 1.420 success 34169 129558 SYN120-1.tptp S 1.760 success 34169 129558 SYN121-1.tptp S 1.460 success 34169 129558 SYN122-1.tptp S 1.460 success 34169 129558 SYN123-1.tptp S 1.540 success 34169 129558 SYN124-1.tptp S 1.470 success 34169 129558 SYN125-1.tptp S 1.440 success 34169 129558 SYN126-1.tptp S 1.440 success 34169 129558 SYN127-1.tptp S 1.460 success 34169 129558 SYN128-1.tptp S 1.450 success 34169 129558 SYN129-1.tptp S 1.450 success 34169 129558 SYN130-1.tptp S 1.530 success 34193 129582 SYN131-1.tptp S 1.450 success 34193 129582 SYN132-1.tptp S 1.460 success 34173 129562 SYN133-1.tptp S 1.460 success 34173 129562 SYN134-1.tptp S 1.470 success 34169 129558 SYN135-1.tptp S 1.510 success 34193 129582 SYN136-1.tptp S 1.440 success 34173 129562 SYN137-1.tptp S 1.480 success 34169 129558 SYN138-1.tptp S 1.430 success 34169 129558 SYN139-1.tptp S 1.420 success 34169 129558 SYN140-1.tptp S 1.440 success 34173 129562 SYN141-1.tptp S 1.550 success 34175 129567 SYN142-1.tptp S 1.440 success 34175 129567 SYN143-1.tptp S 1.470 success 34171 129563 SYN144-1.tptp S 1.610 success 34174 129573 SYN145-1.tptp S 1.440 success 34173 129562 SYN146-1.tptp S 1.440 success 34193 129582 SYN147-1.tptp S 1.440 success 34173 129562 SYN148-1.tptp S 1.500 success 34169 129558 SYN149-1.tptp S 1.470 success 34173 129562 SYN150-1.tptp S 1.480 success 34169 129558 SYN151-1.tptp S 1.460 success 34169 129558 SYN152-1.tptp S 1.480 success 34169 129558 SYN153-1.tptp S 1.530 success 34169 129558 SYN154-1.tptp S 1.450 success 34169 129558 SYN155-1.tptp S 1.480 success 34173 129562 SYN156-1.tptp S 1.450 success 34169 129558 SYN157-1.tptp S 1.450 success 34173 129562 SYN158-1.tptp S 1.460 success 34169 129558 SYN159-1.tptp S 1.540 success 34169 129558 SYN160-1.tptp S 1.460 success 34169 129558 SYN161-1.tptp S 1.470 success 34173 129562 SYN162-1.tptp S 1.570 success 34169 129558 SYN163-1.tptp S 1.450 success 34169 129558 SYN164-1.tptp S 1.460 success 34169 129558 SYN165-1.tptp S 1.450 success 34173 129562 SYN166-1.tptp S 1.530 success 34169 129558 SYN167-1.tptp S 1.460 success 34173 129562 SYN168-1.tptp S 1.450 success 34193 129582 SYN169-1.tptp S 1.440 success 34193 129582 SYN170-1.tptp S 1.710 success 34193 129582 SYN171-1.tptp S 1.460 success 34169 129558 SYN172-1.tptp S 1.460 success 34169 129558 SYN173-1.tptp S 1.550 success 34169 129558 SYN174-1.tptp S 1.460 success 34169 129558 SYN175-1.tptp S 1.420 success 34193 129582 SYN176-1.tptp S 1.440 success 34173 129562 SYN177-1.tptp S 1.450 success 34173 129562 SYN178-1.tptp S 1.460 success 34169 129558 SYN179-1.tptp S 1.460 success 34173 129562 SYN180-1.tptp S 1.590 success 34169 129558 SYN181-1.tptp S 1.460 success 34169 129558 SYN182-1.tptp S 1.460 success 34181 129583 SYN183-1.tptp S 1.450 success 34173 129567 SYN184-1.tptp S 1.530 success 34169 129558 SYN185-1.tptp S 1.450 success 34169 129558 SYN186-1.tptp S 1.470 success 34169 129558 SYN187-1.tptp S 1.450 success 34169 129558 SYN188-1.tptp S 1.730 success 34169 129558 SYN189-1.tptp S 1.460 success 34169 129558 SYN190-1.tptp S 1.450 success 34173 129562 SYN191-1.tptp S 1.550 success 34169 129558 SYN192-1.tptp S 1.460 success 34169 129558 SYN193-1.tptp S 1.440 success 34169 129558 SYN194-1.tptp S 1.440 success 34171 129564 SYN195-1.tptp S 1.460 success 34171 129564 SYN196-1.tptp S 1.460 success 34169 129558 SYN197-1.tptp S 1.460 success 34169 129558 SYN198-1.tptp S 1.510 success 34169 129558 SYN199-1.tptp S 1.460 success 34169 129558 SYN200-1.tptp S 1.470 success 34169 129558 SYN201-1.tptp S 1.450 success 34169 129558 SYN202-1.tptp S 1.470 success 34169 129558 SYN203-1.tptp S 1.510 success 34173 129562 SYN204-1.tptp S 1.450 success 34169 129558 SYN205-1.tptp S 1.460 success 34169 129558 SYN206-1.tptp S 1.440 success 34169 129558 SYN207-1.tptp S 1.430 success 34169 129558 SYN208-1.tptp S 1.460 success 34169 129558 SYN209-1.tptp S 1.530 success 34169 129558 SYN210-1.tptp S 1.460 success 34169 129558 SYN211-1.tptp S 1.440 success 34169 129558 SYN212-1.tptp S 1.440 success 34169 129558 SYN213-1.tptp S 1.460 success 34169 129558 SYN214-1.tptp S 1.460 success 34169 129558 SYN215-1.tptp S 1.450 success 34169 129558 SYN216-1.tptp S 1.500 success 34169 129558 SYN217-1.tptp S 1.450 success 34169 129558 SYN218-1.tptp S 1.460 success 34173 129562 SYN219-1.tptp S 1.460 success 34169 129558 SYN220-1.tptp S 1.450 success 34173 129562 SYN221-1.tptp S 1.510 success 34173 129562 SYN222-1.tptp S 1.440 success 34173 129562 SYN223-1.tptp S 1.470 success 34173 129562 SYN224-1.tptp S 1.450 success 34173 129562 SYN225-1.tptp S 1.450 success 34169 129558 SYN226-1.tptp S 1.470 success 34169 129558 SYN227-1.tptp S 1.540 success 34169 129558 SYN228-1.tptp S 1.460 success 34169 129558 SYN229-1.tptp S 1.460 success 34173 129562 SYN230-1.tptp S 1.570 success 34169 129558 SYN231-1.tptp S 1.450 success 34173 129562 SYN232-1.tptp S 1.480 success 34169 129558 SYN233-1.tptp S 1.440 success 34173 129562 SYN234-1.tptp S 1.540 success 34169 129558 SYN235-1.tptp S 1.430 success 34169 129558 SYN236-1.tptp S 1.470 success 34169 129558 SYN237-1.tptp S 1.420 success 34173 129562 SYN238-1.tptp S 1.700 success 34193 129582 SYN239-1.tptp S 1.440 success 34173 129562 SYN240-1.tptp S 1.450 success 34173 129562 SYN241-1.tptp S 1.530 success 34173 129562 SYN242-1.tptp S 1.450 success 34169 129558 SYN243-1.tptp S 1.440 success 34169 129558 SYN244-1.tptp S 1.450 success 34173 129562 SYN245-1.tptp S 1.540 success 34173 129562 SYN246-1.tptp S 1.450 success 34169 129558 SYN247-1.tptp S 1.440 success 34193 129582 SYN248-1.tptp S 1.550 success 34169 129558 SYN249-1.tptp S 1.440 success 34169 129558 SYN250-1.tptp S 1.460 success 34169 129558 SYN251-1.tptp S 1.460 success 34169 129558 SYN252-1.tptp S 1.510 success 34173 129562 SYN253-1.tptp S 1.440 success 34173 129562 SYN254-1.tptp S 1.470 success 34169 129558 SYN255-1.tptp S 1.430 success 34169 129558 SYN256-1.tptp S 1.760 success 34169 129558 SYN257-1.tptp S 1.440 success 34169 129558 SYN258-1.tptp S 1.480 success 34193 129582 SYN259-1.tptp S 1.530 success 34173 129562 SYN260-1.tptp S 1.470 success 34173 129562 SYN261-1.tptp S 1.430 success 34173 129562 SYN262-1.tptp S 1.420 success 34169 129558 SYN263-1.tptp S 1.460 success 34169 129558 SYN264-1.tptp S 1.440 success 34169 129558 SYN265-1.tptp S 1.430 success 34173 129562 SYN266-1.tptp S 1.490 success 34169 129558 SYN267-1.tptp S 1.450 success 34193 129582 SYN268-1.tptp S 1.450 success 34193 129582 SYN269-1.tptp S 1.430 success 34169 129558 SYN270-1.tptp S 1.460 success 34169 129558 SYN271-1.tptp S 1.510 success 34173 129562 SYN272-1.tptp S 1.430 success 34173 129562 SYN273-1.tptp S 1.470 success 34169 129558 SYN274-1.tptp S 1.460 success 34173 129562 SYN275-1.tptp S 1.450 success 34172 129561 SYN276-1.tptp S 1.480 success 34169 129558 SYN277-1.tptp S 1.520 success 34173 129562 SYN278-1.tptp S 1.450 success 34193 129582 SYN279-1.tptp S 1.450 success 34173 129562 SYN280-1.tptp S 1.440 success 34193 129582 SYN281-1.tptp S 1.440 success 34173 129562 SYN282-1.tptp S 1.450 success 34193 129582 SYN283-1.tptp S 1.440 success 34169 129558 SYN284-1.tptp S 1.510 success 34169 129558 SYN285-1.tptp S 1.460 success 34169 129558 SYN286-1.tptp S 1.470 success 34173 129562 SYN287-1.tptp S 1.440 success 34193 129582 SYN288-1.tptp S 1.470 success 34169 129558 SYN289-1.tptp S 1.510 success 34169 129558 SYN290-1.tptp S 1.450 success 34193 129582 SYN291-1.tptp S 1.460 success 34193 129582 SYN292-1.tptp S 1.460 success 34169 129558 SYN293-1.tptp S 1.430 success 34169 129558 SYN294-1.tptp S 1.440 success 34169 129558 SYN295-1.tptp S 1.540 success 34169 129558 SYN296-1.tptp S 1.430 success 34169 129558 SYN297-1.tptp S 1.460 success 34169 129558 SYN298-1.tptp S 1.580 success 34173 129562 SYN299-1.tptp S 1.440 success 34169 129558 SYN300-1.tptp S 1.460 success 34169 129558 SYN301-1.tptp S 1.440 success 34169 129558 SYN307-1.tptp S 0.010 success 36 92 SYN317-1.tptp S 0.030 success 4 7 SYN318-1.tptp S 0.020 success 5 6 SYN321-1.tptp S 0.030 success 8 16 SYN322-1.tptp S 0.020 success 2 3 SYN323-1.tptp S 0.030 success 4 8 SYN418-1.tptp F 16.700 maxmem 0 0 SYN419-1.tptp F 18.390 maxmem 0 0 SYN420-1.tptp F 16.910 maxmem 0 0 SYN421-1.tptp F 19.500 maxmem 0 0 SYN422-1.tptp F 17.560 maxmem 0 0 SYN423-1.tptp F 18.470 maxmem 0 0 SYN424-1.tptp F 16.320 maxmem 0 0 SYN425-1.tptp F 18.970 maxmem 0 0 SYN426-1.tptp F 17.860 maxmem 0 0 SYN427-1.tptp F 16.520 maxmem 0 0 SYN428-1.tptp F 17.370 maxmem 0 0 SYN429-1.tptp F 18.170 maxmem 0 0 SYN430-1.tptp S 2.640 success 33428 324459 SYN431-1.tptp S 2.130 success 27264 260664 SYN432-1.tptp S 2.580 success 33693 317499 SYN433-1.tptp S 5.990 success 75949 735705 SYN434-1.tptp F 18.710 maxmem 0 0 SYN435-1.tptp F 17.510 maxmem 0 0 SYN436-1.tptp S 13.150 success 165149 1606291 SYN437-1.tptp F 19.600 maxmem 0 0 SYN438-1.tptp F 17.970 maxmem 0 0 SYN439-1.tptp F 17.180 maxmem 0 0 SYN440-1.tptp F 17.560 maxmem 0 0 SYN441-1.tptp F 17.090 maxmem 0 0 SYN442-1.tptp F 17.890 maxmem 0 0 SYN443-1.tptp F 17.790 maxmem 0 0 SYN444-1.tptp F 18.290 maxmem 0 0 SYN445-1.tptp F 17.410 maxmem 0 0 SYN446-1.tptp F 18.280 maxmem 0 0 SYN447-1.tptp F 17.370 maxmem 0 0 SYN448-1.tptp S 13.550 success 171340 1648325 SYN449-1.tptp F 17.340 maxmem 0 0 SYN450-1.tptp F 17.870 maxmem 0 0 SYN451-1.tptp S 17.280 success 214403 2081753 SYN452-1.tptp F 18.360 maxmem 0 0 SYN453-1.tptp F 17.250 maxmem 0 0 SYN454-1.tptp F 18.140 maxmem 0 0 SYN455-1.tptp F 17.450 maxmem 0 0 SYN456-1.tptp F 18.260 maxmem 0 0 SYN457-1.tptp F 16.810 maxmem 0 0 SYN458-1.tptp F 18.540 maxmem 0 0 SYN459-1.tptp S 16.930 success 210113 2042529 SYN460-1.tptp F 18.130 maxmem 0 0 SYN461-1.tptp F 17.450 maxmem 0 0 SYN462-1.tptp F 17.760 maxmem 0 0 SYN463-1.tptp S 14.580 success 182735 1768275 SYN464-1.tptp F 17.970 maxmem 0 0 SYN465-1.tptp F 17.460 maxmem 0 0 SYN466-1.tptp F 17.960 maxmem 0 0 SYN467-1.tptp F 19.320 maxmem 0 0 SYN468-1.tptp F 17.410 maxmem 0 0 SYN469-1.tptp F 17.260 maxmem 0 0 SYN470-1.tptp F 19.340 maxmem 0 0 SYN471-1.tptp F 18.980 maxmem 0 0 SYN472-1.tptp F 17.670 maxmem 0 0 SYN473-1.tptp F 17.590 maxmem 0 0 SYN474-1.tptp F 19.420 maxmem 0 0 SYN475-1.tptp F 18.110 maxmem 0 0 SYN476-1.tptp F 17.500 maxmem 0 0 SYN477-1.tptp F 17.470 maxmem 0 0 SYN478-1.tptp F 17.350 maxmem 0 0 SYN479-1.tptp F 17.700 maxmem 0 0 SYN480-1.tptp F 17.670 maxmem 0 0 SYN481-1.tptp F 18.430 maxmem 0 0 SYN482-1.tptp F 17.440 maxmem 0 0 SYN483-1.tptp F 17.510 maxmem 0 0 SYN484-1.tptp F 17.410 maxmem 0 0 SYN485-1.tptp F 18.380 maxmem 0 0 SYN486-1.tptp F 17.500 maxmem 0 0 SYN487-1.tptp S 15.010 success 188683 1813825 SYN488-1.tptp F 17.420 maxmem 0 0 SYN489-1.tptp F 17.570 maxmem 0 0 SYN490-1.tptp S 0.080 success 688 5032 SYN491-1.tptp S 0.110 success 1172 10158 SYN492-1.tptp S 0.090 success 768 5697 SYN493-1.tptp S 0.170 success 1882 17119 SYN494-1.tptp S 0.200 success 2245 20727 SYN495-1.tptp S 0.050 success 428 2848 SYN496-1.tptp S 0.170 success 1872 17045 SYN497-1.tptp S 0.270 success 3236 30498 SYN498-1.tptp F 18.340 maxmem 0 0 SYN499-1.tptp F 17.520 maxmem 0 0 SYN500-1.tptp F 18.420 maxmem 0 0 SYN501-1.tptp F 17.550 maxmem 0 0 SYN502-1.tptp F 17.440 maxmem 0 0 SYN503-1.tptp F 17.630 maxmem 0 0 SYN504-1.tptp F 18.330 maxmem 0 0 SYN505-1.tptp F 18.210 maxmem 0 0 SYN506-1.tptp F 17.430 maxmem 0 0 SYN507-1.tptp S 17.240 success 215525 2082044 SYN508-1.tptp F 17.780 maxmem 0 0 SYN509-1.tptp F 18.870 maxmem 0 0 SYN510-1.tptp F 18.900 maxmem 0 0 SYN511-1.tptp F 17.270 maxmem 0 0 SYN512-1.tptp S 13.110 success 168009 1590232 SYN513-1.tptp F 20.040 maxmem 0 0 SYN514-1.tptp F 18.810 maxmem 0 0 SYN515-1.tptp S 0.620 success 7664 61890 SYN516-1.tptp S 0.190 success 2129 15901 SYN517-1.tptp S 0.120 success 748 6583 SYN518-1.tptp F 18.540 maxmem 0 0 SYN519-1.tptp F 18.290 maxmem 0 0 SYN520-1.tptp F 17.890 maxmem 0 0 SYN521-1.tptp S 1.240 success 16736 127266 SYN522-1.tptp S 1.570 success 19523 167494 SYN523-1.tptp S 0.060 success 493 2797 SYN524-1.tptp F 20.200 maxmem 0 0 SYN525-1.tptp S 13.000 success 131091 1444326 SYN526-1.tptp F 20.380 maxmem 0 0 SYN527-1.tptp S 0.100 success 1025 5730 SYN528-1.tptp S 12.570 success 170771 1351808 SYN529-1.tptp S 1.180 success 13087 107667 SYN530-1.tptp F 20.480 maxmem 0 0 SYN531-1.tptp S 11.080 success 143766 1221725 SYN532-1.tptp S 0.130 success 1693 9017 SYN533-1.tptp S 1.220 success 13019 137265 SYN534-1.tptp F 19.980 maxmem 0 0 SYN535-1.tptp S 1.830 success 23987 208458 SYN536-1.tptp F 21.140 maxmem 0 0 SYN537-1.tptp F 19.400 maxmem 0 0 SYN538-1.tptp F 19.170 maxmem 0 0 SYN539-1.tptp F 19.160 maxmem 0 0 SYN540-1.tptp F 20.030 maxmem 0 0 SYN541-1.tptp F 17.970 maxmem 0 0 SYN542-1.tptp F 17.180 maxmem 0 0 SYN543-1.tptp F 18.240 maxmem 0 0 SYN544-1.tptp F 18.900 maxmem 0 0 SYN545-1.tptp F 17.650 maxmem 0 0 SYN546-1.tptp F 17.840 maxmem 0 0 SYN547-1.tptp F 19.230 maxmem 0 0