# --tptp-in --memory-limit=512 -tUr --suppress-result --print-statistics -R GEO079-1.tptp S 0.190 success 8706 21442 GRP001-5.tptp S 0.140 success 8204 32020 GRP123-1.003.tptp S 0.050 success 1722 7290 GRP123-1.005.tptp S 0.670 success 33180 156350 GRP123-2.003.tptp S 0.060 success 1754 7376 GRP123-2.005.tptp S 0.670 success 33319 156739 GRP123-3.003.tptp S 0.240 success 11387 54391 GRP123-3.004.tptp S 0.830 success 40216 196661 GRP123-4.003.tptp S 0.050 success 1740 7374 GRP123-4.004.tptp S 0.180 success 9028 41160 GRP123-6.003.tptp S 0.020 success 600 1629 GRP123-6.005.tptp S 0.070 success 4460 12725 GRP123-7.003.tptp S 0.010 success 632 1715 GRP123-7.005.tptp S 0.070 success 4599 13114 GRP123-8.003.tptp S 0.080 success 4239 18583 GRP123-8.004.tptp S 0.230 success 11496 53011 GRP123-9.003.tptp S 0.010 success 618 1713 GRP123-9.004.tptp S 0.030 success 1880 5368 GRP124-1.004.tptp S 0.200 success 8996 41672 GRP124-1.005.tptp S 0.680 success 33180 158230 GRP124-2.004.tptp S 0.200 success 9069 41873 GRP124-2.005.tptp S 0.680 success 33319 158619 GRP124-3.004.tptp S 0.840 success 40216 198541 GRP124-3.005.tptp S 2.380 success 114394 570256 GRP124-4.004.tptp S 0.190 success 9028 41856 GRP124-4.005.tptp S 0.680 success 33230 158570 GRP124-6.004.tptp S 0.020 success 1848 5196 GRP124-6.005.tptp S 0.070 success 4460 12745 GRP124-7.004.tptp S 0.030 success 1921 5397 GRP124-7.005.tptp S 0.070 success 4599 13134 GRP124-8.004.tptp S 0.220 success 11496 53031 GRP124-8.005.tptp S 0.510 success 26308 125722 GRP124-9.004.tptp S 0.030 success 1880 5380 GRP124-9.005.tptp S 0.070 success 4510 13085 GRP125-1.003.tptp S 0.010 success 345 936 GRP125-1.004.tptp S 0.040 success 1060 2976 GRP125-2.004.tptp S 0.020 success 1133 3177 GRP125-2.005.tptp S 0.040 success 2694 7689 GRP125-3.004.tptp S 0.200 success 9591 47611 GRP125-3.005.tptp S 0.470 success 22378 114424 GRP125-4.003.tptp S 0.010 success 525 1488 GRP125-4.004.tptp S 0.040 success 1604 4664 GRP126-1.004.tptp S 0.010 success 1060 2976 GRP126-1.005.tptp S 0.060 success 2555 7300 GRP126-2.004.tptp S 0.030 success 1133 3177 GRP126-2.005.tptp S 0.040 success 2694 7689 GRP126-3.004.tptp S 0.200 success 9591 47611 GRP126-3.005.tptp S 0.460 success 22378 114424 GRP126-4.004.tptp S 0.030 success 1604 4688 GRP126-4.005.tptp S 0.070 success 3855 11380 GRP127-1.004.tptp S 0.030 success 1060 2988 GRP127-1.005.tptp S 0.030 success 2555 7320 GRP127-2.005.tptp S 0.050 success 2694 7709 GRP127-2.006.tptp S 0.090 success 5498 15890 GRP127-3.004.tptp S 0.200 success 9591 47631 GRP127-3.005.tptp S 0.460 success 22378 114454 GRP127-4.004.tptp S 0.040 success 1604 4688 GRP127-4.005.tptp S 0.070 success 3855 11380 GRP128-1.003.tptp S 0.010 success 342 933 GRP128-1.004.tptp S 0.030 success 1056 2972 GRP128-2.004.tptp S 0.030 success 1129 3173 GRP128-2.006.tptp S 0.090 success 5492 15854 GRP128-3.004.tptp S 0.200 success 9586 47606 GRP128-3.005.tptp S 0.470 success 22372 114418 GRP128-4.003.tptp S 0.010 success 522 1485 GRP128-4.004.tptp S 0.030 success 1600 4660 GRP129-1.003.tptp S 0.020 success 342 939 GRP129-1.005.tptp S 0.040 success 2550 7315 GRP129-2.004.tptp S 0.020 success 1129 3185 GRP129-2.005.tptp S 0.050 success 2689 7704 GRP129-3.004.tptp S 0.200 success 9586 47626 GRP129-3.005.tptp S 0.470 success 22372 114448 GRP129-4.004.tptp S 0.030 success 1600 4684 GRP129-4.005.tptp S 0.060 success 3850 11375 GRP130-1.003.tptp S 0.020 success 342 933 GRP130-1.005.tptp S 0.040 success 2550 7295 GRP130-2.003.tptp S 0.010 success 374 1019 GRP130-2.005.tptp S 0.050 success 2689 7684 GRP130-3.003.tptp S 0.090 success 3447 16387 GRP130-3.004.tptp S 0.200 success 9586 47606 GRP130-4.003.tptp S 0.010 success 522 1485 GRP130-4.004.tptp S 0.040 success 1600 4660 GRP131-1.002.tptp S 0.020 success 184 642 GRP131-1.005.tptp S 0.690 success 33175 156345 GRP131-2.002.tptp S 0.020 success 194 668 GRP131-2.005.tptp S 0.680 success 33314 156734 GRP132-1.002.tptp S 0.020 success 184 662 GRP132-1.005.tptp S 0.680 success 33175 158225 GRP132-2.002.tptp S 0.000 success 194 688 GRP132-2.005.tptp S 0.670 success 33314 158614 GRP133-1.003.tptp S 0.010 success 342 933 GRP133-1.004.tptp S 0.030 success 1056 2972 GRP133-2.003.tptp S 0.020 success 374 1019 GRP133-2.004.tptp S 0.030 success 1129 3173 GRP134-1.003.tptp S 0.020 success 342 933 GRP134-1.005.tptp S 0.050 success 2550 7295 GRP134-2.003.tptp S 0.010 success 374 1019 GRP134-2.005.tptp S 0.050 success 2689 7684 GRP135-1.002.tptp S 0.020 success 72 184 GRP135-1.005.tptp S 0.040 success 2550 7315 GRP135-2.002.tptp S 0.020 success 82 210 GRP135-2.005.tptp S 0.050 success 2689 7704 KRS004-1.tptp S 0.010 success 4 7 LAT005-1.tptp F 36.090 maxmem 0 0 LAT005-2.tptp F 37.070 maxmem 0 0 MGT013-1.tptp S 1.670 success 74398 398652 MGT014-1.tptp S 1.670 success 74398 398652 MGT041-2.tptp S 0.010 success 68 212 MGT052-1.tptp S 0.030 success 251 725 MGT053-1.tptp S 0.010 success 871 2585 MSC006-1.tptp S 0.010 success 162 442 MSC008-1.002.tptp S 0.030 success 255 875 MSC008-1.010.tptp F 35.840 maxmem 0 0 MSC008-2.002.tptp S 0.030 success 191 635 NLP001-1.tptp S 0.480 success 8220 122928 NLP004-1.tptp F 45.400 maxmem 0 0 NLP005-1.tptp F 44.400 maxmem 0 0 NLP006-1.tptp F 43.870 maxmem 0 0 NLP007-1.tptp F 45.190 maxmem 0 0 NLP008-1.tptp F 43.940 maxmem 0 0 NLP009-1.tptp F 44.980 maxmem 0 0 NLP010-1.tptp F 44.820 maxmem 0 0 NLP011-1.tptp F 46.480 maxmem 0 0 NLP012-1.tptp F 44.920 maxmem 0 0 NLP013-1.tptp F 44.450 maxmem 0 0 NLP023-1.tptp S 0.710 success 44661 164499 NLP024-1.tptp S 2.310 success 138203 549315 NLP042-1.tptp S 0.210 success 16117 48862 NLP114-1.tptp F 45.610 maxmem 0 0 NLP115-1.tptp F 45.330 maxmem 0 0 NLP116-1.tptp S 17.000 success 200034 3600066 NLP117-1.tptp F 45.840 maxmem 0 0 NLP118-1.tptp F 45.330 maxmem 0 0 NLP119-1.tptp F 45.750 maxmem 0 0 NLP120-1.tptp F 44.940 maxmem 0 0 NLP121-1.tptp S 16.960 success 200034 3600066 NLP122-1.tptp S 16.910 success 200034 3600066 NLP123-1.tptp F 44.870 maxmem 0 0 NLP124-1.tptp S 0.450 success 33503 102653 NLP125-1.tptp S 0.250 success 17922 54467 NLP126-1.tptp S 0.250 success 17922 54467 NLP127-1.tptp S 0.450 success 33503 102653 NLP128-1.tptp S 0.250 success 17922 54467 NLP129-1.tptp S 0.250 success 17922 54467 PUZ001-1.tptp S 0.020 success 36 73 PUZ001-3.tptp S 0.040 success 36 74 PUZ002-1.tptp S 0.000 success 12 22 PUZ003-1.tptp S 0.030 success 56 176 PUZ008-2.tptp S 0.030 success 32 62 PUZ010-1.tptp F 35.290 maxmem 0 0 PUZ011-1.tptp S 0.050 success 2770 13550 PUZ012-1.tptp S 0.010 success 503 1356 PUZ017-1.tptp F 43.110 maxmem 0 0 PUZ018-1.tptp S 2.570 success 110199 624655 PUZ018-2.tptp S 2.520 success 110198 624654 PUZ019-1.tptp F 35.990 maxmem 0 0 PUZ022-1.tptp S 0.050 success 1483 7896 PUZ028-1.tptp S 0.020 success 695 2099 PUZ028-2.tptp S 0.020 success 504 1482 PUZ028-3.tptp S 0.060 success 504 1482 PUZ028-4.tptp S 0.030 success 270 780 PUZ028-5.tptp S 0.020 success 695 1979 PUZ028-6.tptp S 0.010 success 576 1626 PUZ029-1.tptp S 0.020 success 15 36 PUZ030-1.tptp S 0.020 success 91 222 PUZ035-1.tptp S 0.020 success 270 784 PUZ035-2.tptp S 0.020 success 276 802 PUZ036-1.005.tptp F 32.130 maxmem 0 0 PUZ037-1.tptp F 44.830 maxmem 0 0 PUZ037-2.tptp F 44.890 maxmem 0 0 PUZ037-3.tptp F 45.190 maxmem 0 0 SET043-5.tptp S 0.000 success 2 2 SWV001-1.tptp S 0.010 success 223 590 SYN005-1.010.tptp S 0.000 success 11 20 SYN009-1.tptp S 0.010 success 57 168 SYN051-1.tptp S 0.010 success 6 12 SYN052-1.tptp S 0.010 success 5 10 SYN053-1.tptp S 0.010 success 10 24 SYN054-1.tptp S 0.010 success 11 24 SYN055-1.tptp S 0.010 success 13 31 SYN056-1.tptp S 0.010 success 64 216 SYN057-1.tptp S 0.010 success 12 28 SYN058-1.tptp S 0.010 success 25 56 SYN059-1.tptp S 0.040 success 1736 8106 SYN060-1.tptp S 0.000 success 7 13 SYN061-1.tptp S 0.010 success 6 10 SYN062-1.tptp S 0.000 success 7 14 SYN063-1.tptp S 0.020 success 39 140 SYN063-2.tptp S 0.000 success 3 4 SYN071-1.tptp S 0.010 success 88 230 SYN072-1.tptp S 0.020 success 189 514 SYN088-1.010.tptp S 0.060 success 1045 11285 SYN095-1.002.tptp S 0.010 success 13 25 SYN096-1.008.tptp S 0.010 success 65 182 SYN099-1.003.tptp S 0.020 success 50 110 SYN100-1.005.tptp S 0.020 success 82 220 SYN101-1.002.002.tptp S 0.010 success 53 133 SYN102-1.007.007.tptp S 0.180 success 7183 23568 SYN103-1.tptp S 0.730 success 44962 172597 SYN104-1.tptp S 0.740 success 44962 172597 SYN105-1.tptp S 0.740 success 44962 172597 SYN106-1.tptp S 0.740 success 44962 172597 SYN107-1.tptp S 0.740 success 44966 172601 SYN108-1.tptp S 0.730 success 44966 172601 SYN109-1.tptp S 0.720 success 44962 172597 SYN110-1.tptp S 0.740 success 44962 172597 SYN111-1.tptp S 0.730 success 44962 172597 SYN112-1.tptp S 0.750 success 44966 172601 SYN113-1.tptp S 0.730 success 44962 172597 SYN114-1.tptp S 0.760 success 44966 172601 SYN115-1.tptp S 0.750 success 44962 172597 SYN116-1.tptp S 0.750 success 44962 172597 SYN117-1.tptp S 0.730 success 44962 172597 SYN118-1.tptp S 0.750 success 44962 172597 SYN119-1.tptp S 0.750 success 44962 172597 SYN120-1.tptp S 0.750 success 44962 172597 SYN121-1.tptp S 0.760 success 44962 172597 SYN122-1.tptp S 0.730 success 44962 172597 SYN123-1.tptp S 0.720 success 44962 172597 SYN124-1.tptp S 0.740 success 44962 172597 SYN125-1.tptp S 0.750 success 44962 172597 SYN126-1.tptp S 0.760 success 44962 172597 SYN127-1.tptp S 0.730 success 44962 172597 SYN128-1.tptp S 0.750 success 44962 172597 SYN129-1.tptp S 0.750 success 44962 172597 SYN130-1.tptp S 0.740 success 44986 172621 SYN131-1.tptp S 0.740 success 44986 172621 SYN132-1.tptp S 0.740 success 44966 172601 SYN133-1.tptp S 0.740 success 44966 172601 SYN134-1.tptp S 0.730 success 44962 172597 SYN135-1.tptp S 0.750 success 44986 172621 SYN136-1.tptp S 0.740 success 44966 172601 SYN137-1.tptp S 0.740 success 44962 172597 SYN138-1.tptp S 0.750 success 44962 172597 SYN139-1.tptp S 0.770 success 44962 172597 SYN140-1.tptp S 0.740 success 44966 172601 SYN141-1.tptp S 0.730 success 44966 172601 SYN142-1.tptp S 0.750 success 44966 172601 SYN143-1.tptp S 0.750 success 44962 172597 SYN144-1.tptp S 0.740 success 44962 172597 SYN145-1.tptp S 0.750 success 44966 172601 SYN146-1.tptp S 0.740 success 44986 172621 SYN147-1.tptp S 0.740 success 44966 172601 SYN148-1.tptp S 0.730 success 44962 172597 SYN149-1.tptp S 0.740 success 44966 172601 SYN150-1.tptp S 0.730 success 44962 172597 SYN151-1.tptp S 0.740 success 44962 172597 SYN152-1.tptp S 0.740 success 44962 172597 SYN153-1.tptp S 0.750 success 44962 172597 SYN154-1.tptp S 0.730 success 44962 172597 SYN155-1.tptp S 0.750 success 44966 172601 SYN156-1.tptp S 0.730 success 44962 172597 SYN157-1.tptp S 0.730 success 44966 172601 SYN158-1.tptp S 0.730 success 44962 172597 SYN159-1.tptp S 0.740 success 44962 172597 SYN160-1.tptp S 0.740 success 44962 172597 SYN161-1.tptp S 0.750 success 44966 172601 SYN162-1.tptp S 0.750 success 44962 172597 SYN163-1.tptp S 0.740 success 44962 172597 SYN164-1.tptp S 0.740 success 44962 172597 SYN165-1.tptp S 0.740 success 44966 172601 SYN166-1.tptp S 0.740 success 44962 172597 SYN167-1.tptp S 0.730 success 44966 172601 SYN168-1.tptp S 0.750 success 44986 172621 SYN169-1.tptp S 0.760 success 44986 172621 SYN170-1.tptp S 0.760 success 44986 172621 SYN171-1.tptp S 0.760 success 44962 172597 SYN172-1.tptp S 0.770 success 44962 172597 SYN173-1.tptp S 0.740 success 44962 172597 SYN174-1.tptp S 0.750 success 44962 172597 SYN175-1.tptp S 0.760 success 44986 172621 SYN176-1.tptp S 0.730 success 44966 172601 SYN177-1.tptp S 0.740 success 44966 172601 SYN178-1.tptp S 0.760 success 44962 172597 SYN179-1.tptp S 0.770 success 44966 172601 SYN180-1.tptp S 0.750 success 44962 172597 SYN181-1.tptp S 0.740 success 44962 172597 SYN182-1.tptp S 0.750 success 44966 172601 SYN183-1.tptp S 0.740 success 44962 172597 SYN184-1.tptp S 0.750 success 44962 172597 SYN185-1.tptp S 0.740 success 44962 172597 SYN186-1.tptp S 0.740 success 44962 172597 SYN187-1.tptp S 0.720 success 44962 172597 SYN188-1.tptp S 0.730 success 44962 172597 SYN189-1.tptp S 0.760 success 44962 172597 SYN190-1.tptp S 0.730 success 44966 172601 SYN191-1.tptp S 0.740 success 44962 172597 SYN192-1.tptp S 0.750 success 44962 172597 SYN193-1.tptp S 0.750 success 44962 172597 SYN194-1.tptp S 0.730 success 44962 172597 SYN195-1.tptp S 0.800 success 44962 172597 SYN196-1.tptp S 0.740 success 44962 172597 SYN197-1.tptp S 0.740 success 44962 172597 SYN198-1.tptp S 0.750 success 44962 172597 SYN199-1.tptp S 0.740 success 44962 172597 SYN200-1.tptp S 0.750 success 44962 172597 SYN201-1.tptp S 0.740 success 44962 172597 SYN202-1.tptp S 0.750 success 44962 172597 SYN203-1.tptp S 0.750 success 44966 172601 SYN204-1.tptp S 0.770 success 44962 172597 SYN205-1.tptp S 0.760 success 44962 172597 SYN206-1.tptp S 0.760 success 44962 172597 SYN207-1.tptp S 0.750 success 44962 172597 SYN208-1.tptp S 0.730 success 44962 172597 SYN209-1.tptp S 0.740 success 44962 172597 SYN210-1.tptp S 0.730 success 44962 172597 SYN211-1.tptp S 0.740 success 44962 172597 SYN212-1.tptp S 0.730 success 44962 172597 SYN213-1.tptp S 0.730 success 44962 172597 SYN214-1.tptp S 0.740 success 44962 172597 SYN215-1.tptp S 0.750 success 44962 172597 SYN216-1.tptp S 0.740 success 44962 172597 SYN217-1.tptp S 0.750 success 44962 172597 SYN218-1.tptp S 0.730 success 44966 172601 SYN219-1.tptp S 0.740 success 44962 172597 SYN220-1.tptp S 0.750 success 44966 172601 SYN221-1.tptp S 0.740 success 44966 172601 SYN222-1.tptp S 0.730 success 44966 172601 SYN223-1.tptp S 0.740 success 44966 172601 SYN224-1.tptp S 0.720 success 44966 172601 SYN225-1.tptp S 0.750 success 44962 172597 SYN226-1.tptp S 0.740 success 44962 172597 SYN227-1.tptp S 0.750 success 44962 172597 SYN228-1.tptp S 0.740 success 44962 172597 SYN229-1.tptp S 0.740 success 44966 172601 SYN230-1.tptp S 0.740 success 44962 172597 SYN231-1.tptp S 0.740 success 44966 172601 SYN232-1.tptp S 0.740 success 44962 172597 SYN233-1.tptp S 0.760 success 44966 172601 SYN234-1.tptp S 0.730 success 44962 172597 SYN235-1.tptp S 0.750 success 44962 172597 SYN236-1.tptp S 0.740 success 44962 172597 SYN237-1.tptp S 0.730 success 44966 172601 SYN238-1.tptp S 0.730 success 44986 172621 SYN239-1.tptp S 0.730 success 44966 172601 SYN240-1.tptp S 0.750 success 44966 172601 SYN241-1.tptp S 0.730 success 44966 172601 SYN242-1.tptp S 0.720 success 44962 172597 SYN243-1.tptp S 0.720 success 44962 172597 SYN244-1.tptp S 0.740 success 44966 172601 SYN245-1.tptp S 0.740 success 44966 172601 SYN246-1.tptp S 0.730 success 44962 172597 SYN247-1.tptp S 0.730 success 44986 172621 SYN248-1.tptp S 0.740 success 44962 172597 SYN249-1.tptp S 0.750 success 44962 172597 SYN250-1.tptp S 0.750 success 44962 172597 SYN251-1.tptp S 0.740 success 44962 172597 SYN252-1.tptp S 0.750 success 44966 172601 SYN253-1.tptp S 0.750 success 44966 172601 SYN254-1.tptp S 0.740 success 44962 172597 SYN255-1.tptp S 0.750 success 44962 172597 SYN256-1.tptp S 0.740 success 44962 172597 SYN257-1.tptp S 0.750 success 44962 172597 SYN258-1.tptp S 0.750 success 44986 172621 SYN259-1.tptp S 0.750 success 44966 172601 SYN260-1.tptp S 0.740 success 44966 172601 SYN261-1.tptp S 0.730 success 44966 172601 SYN262-1.tptp S 0.760 success 44962 172597 SYN263-1.tptp S 0.740 success 44962 172597 SYN264-1.tptp S 0.740 success 44962 172597 SYN265-1.tptp S 0.740 success 44966 172601 SYN266-1.tptp S 0.750 success 44962 172597 SYN267-1.tptp S 0.760 success 44986 172621 SYN268-1.tptp S 0.740 success 44986 172621 SYN269-1.tptp S 0.730 success 44962 172597 SYN270-1.tptp S 0.730 success 44962 172597 SYN271-1.tptp S 0.760 success 44966 172601 SYN272-1.tptp S 0.740 success 44966 172601 SYN273-1.tptp S 0.750 success 44962 172597 SYN274-1.tptp S 0.740 success 44966 172601 SYN275-1.tptp S 0.740 success 44966 172601 SYN276-1.tptp S 0.740 success 44962 172597 SYN277-1.tptp S 0.730 success 44966 172601 SYN278-1.tptp S 0.740 success 44986 172621 SYN279-1.tptp S 0.750 success 44966 172601 SYN280-1.tptp S 0.760 success 44986 172621 SYN281-1.tptp S 0.740 success 44966 172601 SYN282-1.tptp S 0.750 success 44986 172621 SYN283-1.tptp S 0.730 success 44962 172597 SYN284-1.tptp S 0.740 success 44962 172597 SYN285-1.tptp S 0.740 success 44962 172597 SYN286-1.tptp S 0.740 success 44966 172601 SYN287-1.tptp S 0.730 success 44986 172621 SYN288-1.tptp S 0.760 success 44962 172597 SYN289-1.tptp S 0.740 success 44962 172597 SYN290-1.tptp S 0.740 success 44986 172621 SYN291-1.tptp S 0.750 success 44986 172621 SYN292-1.tptp S 0.740 success 44962 172597 SYN293-1.tptp S 0.750 success 44962 172597 SYN294-1.tptp S 0.750 success 44962 172597 SYN295-1.tptp S 0.750 success 44962 172597 SYN296-1.tptp S 0.750 success 44962 172597 SYN297-1.tptp S 0.760 success 44962 172597 SYN298-1.tptp S 0.770 success 44966 172601 SYN299-1.tptp S 0.750 success 44962 172597 SYN300-1.tptp S 0.740 success 44962 172597 SYN301-1.tptp S 0.740 success 44962 172597 SYN307-1.tptp S 0.010 success 36 92 SYN317-1.tptp S 0.000 success 7 10 SYN318-1.tptp S 0.000 success 6 9 SYN321-1.tptp S 0.040 success 16 32 SYN322-1.tptp S 0.030 success 2 3 SYN323-1.tptp S 0.010 success 4 8 SYN418-1.tptp F 32.080 maxmem 0 0 SYN419-1.tptp F 35.520 maxmem 0 0 SYN420-1.tptp F 37.930 maxmem 0 0 SYN421-1.tptp F 37.950 maxmem 0 0 SYN422-1.tptp F 39.160 maxmem 0 0 SYN423-1.tptp F 39.690 maxmem 0 0 SYN424-1.tptp F 36.710 maxmem 0 0 SYN425-1.tptp F 37.990 maxmem 0 0 SYN426-1.tptp F 38.140 maxmem 0 0 SYN427-1.tptp F 37.850 maxmem 0 0 SYN428-1.tptp F 34.030 maxmem 0 0 SYN429-1.tptp F 39.320 maxmem 0 0 SYN430-1.tptp S 1.070 success 33428 324459 SYN431-1.tptp S 0.890 success 27264 260664 SYN432-1.tptp S 1.060 success 33693 317499 SYN433-1.tptp S 2.480 success 75949 735705 SYN434-1.tptp F 32.260 maxmem 0 0 SYN435-1.tptp S 11.590 success 340956 3296938 SYN436-1.tptp S 5.460 success 165149 1606291 SYN437-1.tptp F 32.450 maxmem 0 0 SYN438-1.tptp S 7.740 success 231907 2262801 SYN439-1.tptp S 24.160 success 677768 6581022 SYN440-1.tptp F 32.820 maxmem 0 0 SYN441-1.tptp F 32.450 maxmem 0 0 SYN442-1.tptp S 7.680 success 227824 2216142 SYN443-1.tptp S 7.600 success 229534 2225612 SYN444-1.tptp S 8.010 success 241228 2344465 SYN445-1.tptp S 8.740 success 264457 2569250 SYN446-1.tptp S 8.750 success 262144 2550827 SYN447-1.tptp F 32.150 maxmem 0 0 SYN448-1.tptp S 5.500 success 171340 1648325 SYN449-1.tptp S 8.290 success 248870 2424146 SYN450-1.tptp S 7.730 success 234906 2284998 SYN451-1.tptp S 7.040 success 214403 2081753 SYN452-1.tptp S 7.820 success 238328 2313203 SYN453-1.tptp F 32.490 maxmem 0 0 SYN454-1.tptp S 8.700 success 259092 2524596 SYN455-1.tptp S 7.530 success 227884 2216571 SYN456-1.tptp S 10.580 success 315994 3094267 SYN457-1.tptp F 32.340 maxmem 0 0 SYN458-1.tptp S 7.050 success 217188 2109803 SYN459-1.tptp S 6.840 success 210113 2042529 SYN460-1.tptp F 32.340 maxmem 0 0 SYN461-1.tptp S 7.880 success 240388 2334346 SYN462-1.tptp S 9.550 success 287194 2800291 SYN463-1.tptp S 5.930 success 182735 1768275 SYN464-1.tptp F 32.950 maxmem 0 0 SYN465-1.tptp S 9.630 success 287814 2792818 SYN466-1.tptp S 12.090 success 353224 3444183 SYN467-1.tptp S 16.030 success 464232 4562445 SYN468-1.tptp S 8.240 success 251947 2448321 SYN469-1.tptp S 7.920 success 241487 2341095 SYN470-1.tptp S 8.640 success 260999 2516821 SYN471-1.tptp S 16.910 success 484265 4742554 SYN472-1.tptp S 9.900 success 299716 2905778 SYN473-1.tptp S 13.060 success 379726 3715805 SYN474-1.tptp S 10.850 success 327560 3184504 SYN475-1.tptp S 11.070 success 325659 3162237 SYN476-1.tptp S 9.820 success 294762 2855453 SYN477-1.tptp S 9.720 success 293320 2852655 SYN478-1.tptp S 9.970 success 292190 2838775 SYN479-1.tptp S 10.120 success 303530 2933370 SYN480-1.tptp S 14.970 success 428872 4171480 SYN481-1.tptp S 11.890 success 350780 3423994 SYN482-1.tptp S 12.380 success 363140 3522641 SYN483-1.tptp S 8.940 success 268330 2603340 SYN484-1.tptp S 13.190 success 385459 3752968 SYN485-1.tptp S 8.230 success 249219 2398376 SYN486-1.tptp S 15.290 success 447650 4373913 SYN487-1.tptp S 6.120 success 188683 1813825 SYN488-1.tptp S 10.840 success 320806 3122610 SYN489-1.tptp S 12.140 success 362408 3518390 SYN490-1.tptp S 0.030 success 688 5032 SYN491-1.tptp S 0.050 success 1172 10158 SYN492-1.tptp S 0.040 success 768 5697 SYN493-1.tptp S 0.080 success 1882 17119 SYN494-1.tptp S 0.070 success 2245 20727 SYN495-1.tptp S 0.010 success 428 2848 SYN496-1.tptp S 0.060 success 1872 17045 SYN497-1.tptp S 0.110 success 3236 30498 SYN498-1.tptp S 12.830 success 380874 3719776 SYN499-1.tptp S 17.200 success 498114 4879077 SYN500-1.tptp S 22.120 success 617378 6060203 SYN501-1.tptp S 13.660 success 401472 3913265 SYN502-1.tptp S 9.740 success 293962 2838462 SYN503-1.tptp S 13.220 success 379839 3700645 SYN504-1.tptp S 13.430 success 394280 3827575 SYN505-1.tptp S 12.110 success 357483 3477729 SYN506-1.tptp S 8.200 success 251468 2422192 SYN507-1.tptp S 7.090 success 215525 2082044 SYN508-1.tptp S 14.500 success 418956 4090596 SYN509-1.tptp S 15.290 success 449754 4385650 SYN510-1.tptp S 9.560 success 289903 2811341 SYN511-1.tptp S 14.230 success 418014 4074112 SYN512-1.tptp S 5.400 success 168009 1590232 SYN513-1.tptp F 34.960 maxmem 0 0 SYN514-1.tptp F 35.140 maxmem 0 0 SYN515-1.tptp S 1.040 success 26714 282035 SYN516-1.tptp S 0.150 success 5087 37349 SYN517-1.tptp S 1.630 success 43388 465564 SYN518-1.tptp F 37.710 maxmem 0 0 SYN519-1.tptp F 37.960 maxmem 0 0 SYN520-1.tptp F 37.770 maxmem 0 0 SYN521-1.tptp S 0.530 success 17790 135698 SYN522-1.tptp S 2.110 success 58991 578278 SYN523-1.tptp S 0.030 success 955 6130 SYN524-1.tptp F 35.830 maxmem 0 0 SYN525-1.tptp F 35.280 maxmem 0 0 SYN526-1.tptp F 34.850 maxmem 0 0 SYN527-1.tptp S 0.120 success 3609 26489 SYN528-1.tptp S 11.940 success 376609 3198108 SYN529-1.tptp F 33.060 maxmem 0 0 SYN530-1.tptp F 36.740 maxmem 0 0 SYN531-1.tptp S 4.450 success 144108 1223543 SYN532-1.tptp S 1.160 success 33393 314406 SYN533-1.tptp F 33.920 maxmem 0 0 SYN534-1.tptp F 36.200 maxmem 0 0 SYN535-1.tptp S 2.980 success 94708 844358 SYN536-1.tptp F 35.950 maxmem 0 0 SYN537-1.tptp F 35.020 maxmem 0 0 SYN538-1.tptp F 34.650 maxmem 0 0 SYN539-1.tptp F 34.020 maxmem 0 0 SYN540-1.tptp F 35.200 maxmem 0 0 SYN541-1.tptp F 33.580 maxmem 0 0 SYN542-1.tptp F 32.340 maxmem 0 0 SYN543-1.tptp F 32.400 maxmem 0 0 SYN544-1.tptp F 36.100 maxmem 0 0 SYN545-1.tptp F 37.100 maxmem 0 0 SYN546-1.tptp F 37.740 maxmem 0 0 SYN547-1.tptp F 35.000 maxmem 0 0