# --tptp-in --memory-limit=128 -Ur --suppress-result --print-statistics -R GEO079-1.tptp S 0.580 success 8706 21442 GRP001-5.tptp S 0.440 success 7116 27876 GRP123-1.003.tptp S 0.130 success 1722 7290 GRP123-1.005.tptp S 2.070 success 33180 156350 GRP123-2.003.tptp S 0.130 success 1754 7376 GRP123-2.005.tptp S 2.240 success 33319 156739 GRP123-3.003.tptp S 0.730 success 11387 54391 GRP123-3.004.tptp S 2.680 success 40216 196661 GRP123-4.003.tptp S 0.120 success 1740 7374 GRP123-4.004.tptp S 0.560 success 9028 41160 GRP123-6.003.tptp S 0.060 success 600 1629 GRP123-6.005.tptp S 0.200 success 4460 12725 GRP123-7.003.tptp S 0.040 success 632 1715 GRP123-7.005.tptp S 0.200 success 4599 13114 GRP123-8.003.tptp S 0.250 success 4239 18583 GRP123-8.004.tptp S 0.700 success 11496 53011 GRP123-9.003.tptp S 0.060 success 618 1713 GRP123-9.004.tptp S 0.110 success 1880 5368 GRP124-1.004.tptp S 0.580 success 8996 41672 GRP124-1.005.tptp S 2.070 success 33180 158230 GRP124-2.004.tptp S 0.570 success 9069 41873 GRP124-2.005.tptp S 2.230 success 33319 158619 GRP124-3.004.tptp S 2.720 success 40216 198541 GRP124-3.005.tptp S 7.280 success 114394 570256 GRP124-4.004.tptp S 0.550 success 9028 41856 GRP124-4.005.tptp S 2.070 success 33230 158570 GRP124-6.004.tptp S 0.100 success 1848 5196 GRP124-6.005.tptp S 0.220 success 4460 12745 GRP124-7.004.tptp S 0.120 success 1921 5397 GRP124-7.005.tptp S 0.200 success 4599 13134 GRP124-8.004.tptp S 0.690 success 11496 53031 GRP124-8.005.tptp S 1.540 success 26308 125722 GRP124-9.004.tptp S 0.080 success 1880 5380 GRP124-9.005.tptp S 0.220 success 4510 13085 GRP125-1.003.tptp S 0.040 success 330 894 GRP125-1.004.tptp S 0.080 success 1032 2896 GRP125-2.004.tptp S 0.070 success 1105 3097 GRP125-2.005.tptp S 0.130 success 2649 7559 GRP125-3.004.tptp S 0.610 success 9546 47481 GRP125-3.005.tptp S 1.400 success 22312 114232 GRP125-4.003.tptp S 0.040 success 480 1362 GRP125-4.004.tptp S 0.090 success 1520 4424 GRP126-1.004.tptp S 0.060 success 1056 2968 GRP126-1.005.tptp S 0.130 success 2550 7290 GRP126-2.004.tptp S 0.070 success 1129 3169 GRP126-2.005.tptp S 0.140 success 2689 7679 GRP126-3.004.tptp S 0.620 success 9586 47601 GRP126-3.005.tptp S 1.410 success 22372 114412 GRP126-4.004.tptp S 0.080 success 1568 4592 GRP126-4.005.tptp S 0.170 success 3800 11230 GRP127-1.004.tptp S 0.080 success 1044 2944 GRP127-1.005.tptp S 0.110 success 2530 7250 GRP127-2.005.tptp S 0.150 success 2669 7639 GRP127-2.006.tptp S 0.260 success 5462 15788 GRP127-3.004.tptp S 0.670 success 9566 47561 GRP127-3.005.tptp S 1.400 success 22342 114352 GRP127-4.004.tptp S 0.090 success 1568 4592 GRP127-4.005.tptp S 0.190 success 3800 11230 GRP128-1.003.tptp S 0.040 success 327 891 GRP128-1.004.tptp S 0.060 success 1028 2892 GRP128-2.004.tptp S 0.080 success 1101 3093 GRP128-2.006.tptp S 0.270 success 5426 15662 GRP128-3.004.tptp S 0.610 success 9541 47476 GRP128-3.005.tptp S 1.360 success 22306 114226 GRP128-4.003.tptp S 0.060 success 477 1359 GRP128-4.004.tptp S 0.090 success 1516 4420 GRP129-1.003.tptp S 0.050 success 333 915 GRP129-1.005.tptp S 0.120 success 2525 7245 GRP129-2.004.tptp S 0.070 success 1113 3141 GRP129-2.005.tptp S 0.150 success 2664 7634 GRP129-3.004.tptp S 0.680 success 9561 47556 GRP129-3.005.tptp S 1.400 success 22336 114346 GRP129-4.004.tptp S 0.100 success 1564 4588 GRP129-4.005.tptp S 0.180 success 3795 11225 GRP130-1.003.tptp S 0.050 success 327 891 GRP130-1.005.tptp S 0.130 success 2505 7165 GRP130-2.003.tptp S 0.040 success 359 977 GRP130-2.005.tptp S 0.140 success 2644 7554 GRP130-3.003.tptp S 0.220 success 3419 16307 GRP130-3.004.tptp S 0.620 success 9541 47476 GRP130-4.003.tptp S 0.060 success 477 1359 GRP130-4.004.tptp S 0.090 success 1516 4420 GRP131-1.002.tptp S 0.050 success 184 642 GRP131-1.005.tptp S 2.060 success 33175 156345 GRP131-2.002.tptp S 0.040 success 194 668 GRP131-2.005.tptp S 2.300 success 33314 156734 GRP132-1.002.tptp S 0.030 success 184 662 GRP132-1.005.tptp S 2.060 success 33175 158225 GRP132-2.002.tptp S 0.040 success 194 688 GRP132-2.005.tptp S 2.300 success 33314 158614 GRP133-1.003.tptp S 0.040 success 327 891 GRP133-1.004.tptp S 0.070 success 1028 2892 GRP133-2.003.tptp S 0.050 success 359 977 GRP133-2.004.tptp S 0.070 success 1101 3093 GRP134-1.003.tptp S 0.040 success 339 927 GRP134-1.005.tptp S 0.140 success 2545 7285 GRP134-2.003.tptp S 0.040 success 371 1013 GRP134-2.005.tptp S 0.150 success 2684 7674 GRP135-1.002.tptp S 0.010 success 68 174 GRP135-1.005.tptp S 0.120 success 2525 7245 GRP135-2.002.tptp S 0.030 success 78 200 GRP135-2.005.tptp S 0.140 success 2664 7634 KRS004-1.tptp S 0.030 success 4 7 LAT005-1.tptp F 25.340 maxmem 0 0 LAT005-2.tptp F 25.580 maxmem 0 0 MGT013-1.tptp S 5.020 success 70618 386444 MGT014-1.tptp S 5.020 success 70618 386444 MGT041-2.tptp S 0.020 success 68 212 MGT052-1.tptp S 0.050 success 147 395 MGT053-1.tptp S 0.060 success 590 1681 MSC006-1.tptp S 0.030 success 102 274 MSC008-1.002.tptp S 0.050 success 253 871 MSC008-1.010.tptp F 25.310 maxmem 0 0 MSC008-2.002.tptp S 0.040 success 189 631 NLP001-1.tptp S 1.420 success 8220 122928 NLP004-1.tptp F 31.900 maxmem 0 0 NLP005-1.tptp F 31.110 maxmem 0 0 NLP006-1.tptp F 31.010 maxmem 0 0 NLP007-1.tptp F 31.830 maxmem 0 0 NLP008-1.tptp F 31.080 maxmem 0 0 NLP009-1.tptp F 31.440 maxmem 0 0 NLP010-1.tptp F 31.380 maxmem 0 0 NLP011-1.tptp F 31.890 maxmem 0 0 NLP012-1.tptp F 31.130 maxmem 0 0 NLP013-1.tptp F 31.150 maxmem 0 0 NLP023-1.tptp S 2.090 success 38895 147213 NLP024-1.tptp S 6.970 success 125843 512251 NLP042-1.tptp S 0.640 success 13237 40232 NLP114-1.tptp F 31.700 maxmem 0 0 NLP115-1.tptp F 31.140 maxmem 0 0 NLP116-1.tptp F 31.390 maxmem 0 0 NLP117-1.tptp F 31.620 maxmem 0 0 NLP118-1.tptp F 31.310 maxmem 0 0 NLP119-1.tptp F 31.030 maxmem 0 0 NLP120-1.tptp F 31.640 maxmem 0 0 NLP121-1.tptp F 31.580 maxmem 0 0 NLP122-1.tptp F 31.380 maxmem 0 0 NLP123-1.tptp F 31.810 maxmem 0 0 NLP124-1.tptp S 1.310 success 28313 87095 NLP125-1.tptp S 0.690 success 14617 44562 NLP126-1.tptp S 0.710 success 14617 44562 NLP127-1.tptp S 1.300 success 28313 87095 NLP128-1.tptp S 0.700 success 14617 44562 NLP129-1.tptp S 0.690 success 14617 44562 PUZ001-1.tptp S 0.040 success 36 73 PUZ001-3.tptp S 0.030 success 36 74 PUZ002-1.tptp S 0.020 success 12 22 PUZ003-1.tptp S 0.040 success 50 158 PUZ008-2.tptp S 0.040 success 32 62 PUZ010-1.tptp F 24.710 maxmem 0 0 PUZ011-1.tptp S 0.180 success 2770 13550 PUZ012-1.tptp S 0.050 success 503 1356 PUZ017-1.tptp F 23.430 maxmem 0 0 PUZ018-1.tptp S 7.690 success 110199 624655 PUZ018-2.tptp S 7.610 success 110198 624654 PUZ019-1.tptp F 24.670 maxmem 0 0 PUZ022-1.tptp S 0.130 success 1472 7874 PUZ028-1.tptp S 0.050 success 629 1907 PUZ028-2.tptp S 0.050 success 504 1482 PUZ028-3.tptp S 0.160 success 504 1482 PUZ028-4.tptp S 0.090 success 270 780 PUZ028-5.tptp S 0.060 success 629 1787 PUZ028-6.tptp S 0.050 success 564 1602 PUZ029-1.tptp S 0.020 success 15 36 PUZ030-1.tptp S 0.040 success 91 222 PUZ035-1.tptp S 0.030 success 270 784 PUZ035-2.tptp S 0.010 success 276 802 PUZ036-1.005.tptp F 21.800 maxmem 0 0 PUZ037-1.tptp F 26.840 maxmem 0 0 PUZ037-2.tptp F 26.750 maxmem 0 0 PUZ037-3.tptp F 26.670 maxmem 0 0 SET043-5.tptp S 0.020 success 2 2 SWV001-1.tptp S 0.030 success 190 494 SYN005-1.010.tptp S 0.030 success 11 20 SYN009-1.tptp S 0.030 success 57 168 SYN051-1.tptp S 0.020 success 6 12 SYN052-1.tptp S 0.020 success 4 8 SYN053-1.tptp S 0.030 success 9 21 SYN054-1.tptp S 0.020 success 11 24 SYN055-1.tptp S 0.020 success 12 28 SYN056-1.tptp S 0.030 success 60 204 SYN057-1.tptp S 0.010 success 12 28 SYN058-1.tptp S 0.020 success 25 56 SYN059-1.tptp S 0.130 success 1686 7892 SYN060-1.tptp S 0.030 success 7 13 SYN061-1.tptp S 0.030 success 6 10 SYN062-1.tptp S 0.010 success 7 14 SYN063-1.tptp S 0.030 success 26 87 SYN063-2.tptp S 0.010 success 3 4 SYN071-1.tptp S 0.020 success 56 142 SYN072-1.tptp S 0.040 success 134 359 SYN088-1.010.tptp S 0.170 success 1045 11285 SYN095-1.002.tptp S 0.030 success 13 25 SYN096-1.008.tptp S 0.050 success 65 182 SYN099-1.003.tptp S 0.020 success 50 110 SYN100-1.005.tptp S 0.050 success 82 220 SYN101-1.002.002.tptp S 0.030 success 53 133 SYN102-1.007.007.tptp S 0.520 success 7183 23568 SYN103-1.tptp S 2.260 success 42910 163816 SYN104-1.tptp S 2.260 success 42910 163816 SYN105-1.tptp S 2.260 success 42910 163816 SYN106-1.tptp S 2.280 success 42910 163816 SYN107-1.tptp S 2.270 success 42914 163820 SYN108-1.tptp S 2.260 success 42914 163820 SYN109-1.tptp S 2.260 success 42910 163816 SYN110-1.tptp S 2.250 success 42910 163816 SYN111-1.tptp S 2.290 success 42910 163816 SYN112-1.tptp S 2.270 success 42914 163820 SYN113-1.tptp S 2.270 success 42910 163816 SYN114-1.tptp S 2.250 success 42914 163820 SYN115-1.tptp S 2.260 success 42910 163816 SYN116-1.tptp S 2.280 success 42910 163816 SYN117-1.tptp S 2.270 success 42910 163816 SYN118-1.tptp S 2.260 success 42910 163816 SYN119-1.tptp S 2.250 success 42910 163816 SYN120-1.tptp S 2.260 success 42910 163816 SYN121-1.tptp S 2.250 success 42910 163816 SYN122-1.tptp S 2.260 success 42910 163816 SYN123-1.tptp S 2.230 success 42910 163816 SYN124-1.tptp S 2.270 success 42910 163816 SYN125-1.tptp S 2.240 success 42910 163816 SYN126-1.tptp S 2.260 success 42910 163816 SYN127-1.tptp S 2.270 success 42910 163816 SYN128-1.tptp S 2.250 success 42910 163816 SYN129-1.tptp S 2.260 success 42910 163816 SYN130-1.tptp S 2.250 success 42934 163840 SYN131-1.tptp S 2.260 success 42934 163840 SYN132-1.tptp S 2.260 success 42914 163820 SYN133-1.tptp S 2.260 success 42914 163820 SYN134-1.tptp S 2.270 success 42910 163816 SYN135-1.tptp S 2.250 success 42934 163840 SYN136-1.tptp S 2.250 success 42914 163820 SYN137-1.tptp S 2.260 success 42910 163816 SYN138-1.tptp S 2.250 success 42910 163816 SYN139-1.tptp S 2.250 success 42910 163816 SYN140-1.tptp S 2.260 success 42914 163820 SYN141-1.tptp S 2.250 success 42914 163820 SYN142-1.tptp S 2.250 success 42914 163820 SYN143-1.tptp S 2.260 success 42910 163816 SYN144-1.tptp S 2.260 success 42910 163816 SYN145-1.tptp S 2.250 success 42914 163820 SYN146-1.tptp S 2.240 success 42934 163840 SYN147-1.tptp S 2.250 success 42914 163820 SYN148-1.tptp S 2.250 success 42910 163816 SYN149-1.tptp S 2.270 success 42914 163820 SYN150-1.tptp S 2.260 success 42910 163816 SYN151-1.tptp S 2.250 success 42910 163816 SYN152-1.tptp S 2.260 success 42910 163816 SYN153-1.tptp S 2.260 success 42910 163816 SYN154-1.tptp S 2.270 success 42910 163816 SYN155-1.tptp S 2.240 success 42914 163820 SYN156-1.tptp S 2.260 success 42910 163816 SYN157-1.tptp S 2.270 success 42914 163820 SYN158-1.tptp S 2.260 success 42910 163816 SYN159-1.tptp S 2.260 success 42910 163816 SYN160-1.tptp S 2.250 success 42910 163816 SYN161-1.tptp S 2.250 success 42914 163820 SYN162-1.tptp S 2.270 success 42910 163816 SYN163-1.tptp S 2.260 success 42910 163816 SYN164-1.tptp S 2.260 success 42910 163816 SYN165-1.tptp S 2.240 success 42914 163820 SYN166-1.tptp S 2.280 success 42910 163816 SYN167-1.tptp S 2.250 success 42914 163820 SYN168-1.tptp S 2.250 success 42934 163840 SYN169-1.tptp S 2.250 success 42934 163840 SYN170-1.tptp S 2.270 success 42934 163840 SYN171-1.tptp S 2.270 success 42910 163816 SYN172-1.tptp S 2.260 success 42910 163816 SYN173-1.tptp S 2.270 success 42910 163816 SYN174-1.tptp S 2.260 success 42910 163816 SYN175-1.tptp S 2.260 success 42934 163840 SYN176-1.tptp S 2.240 success 42914 163820 SYN177-1.tptp S 2.260 success 42914 163820 SYN178-1.tptp S 2.260 success 42910 163816 SYN179-1.tptp S 2.250 success 42914 163820 SYN180-1.tptp S 2.250 success 42910 163816 SYN181-1.tptp S 2.240 success 42910 163816 SYN182-1.tptp S 2.240 success 42914 163820 SYN183-1.tptp S 2.230 success 42910 163816 SYN184-1.tptp S 2.250 success 42910 163816 SYN185-1.tptp S 2.260 success 42910 163816 SYN186-1.tptp S 2.240 success 42910 163816 SYN187-1.tptp S 2.230 success 42910 163816 SYN188-1.tptp S 2.260 success 42910 163816 SYN189-1.tptp S 2.250 success 42910 163816 SYN190-1.tptp S 2.250 success 42914 163820 SYN191-1.tptp S 2.250 success 42910 163816 SYN192-1.tptp S 2.270 success 42910 163816 SYN193-1.tptp S 2.260 success 42910 163816 SYN194-1.tptp S 2.270 success 42910 163816 SYN195-1.tptp S 2.260 success 42910 163816 SYN196-1.tptp S 2.250 success 42910 163816 SYN197-1.tptp S 2.260 success 42910 163816 SYN198-1.tptp S 2.250 success 42910 163816 SYN199-1.tptp S 2.260 success 42910 163816 SYN200-1.tptp S 2.260 success 42910 163816 SYN201-1.tptp S 2.280 success 42910 163816 SYN202-1.tptp S 2.260 success 42910 163816 SYN203-1.tptp S 2.260 success 42914 163820 SYN204-1.tptp S 2.260 success 42910 163816 SYN205-1.tptp S 2.260 success 42910 163816 SYN206-1.tptp S 2.260 success 42910 163816 SYN207-1.tptp S 2.250 success 42910 163816 SYN208-1.tptp S 2.230 success 42910 163816 SYN209-1.tptp S 2.280 success 42910 163816 SYN210-1.tptp S 2.250 success 42910 163816 SYN211-1.tptp S 2.260 success 42910 163816 SYN212-1.tptp S 2.250 success 42910 163816 SYN213-1.tptp S 2.270 success 42910 163816 SYN214-1.tptp S 2.250 success 42910 163816 SYN215-1.tptp S 2.250 success 42910 163816 SYN216-1.tptp S 2.260 success 42910 163816 SYN217-1.tptp S 2.260 success 42910 163816 SYN218-1.tptp S 2.260 success 42914 163820 SYN219-1.tptp S 2.260 success 42910 163816 SYN220-1.tptp S 2.270 success 42914 163820 SYN221-1.tptp S 2.270 success 42914 163820 SYN222-1.tptp S 2.250 success 42914 163820 SYN223-1.tptp S 2.260 success 42914 163820 SYN224-1.tptp S 2.240 success 42914 163820 SYN225-1.tptp S 2.260 success 42910 163816 SYN226-1.tptp S 2.260 success 42910 163816 SYN227-1.tptp S 2.260 success 42910 163816 SYN228-1.tptp S 2.260 success 42910 163816 SYN229-1.tptp S 2.250 success 42914 163820 SYN230-1.tptp S 2.260 success 42910 163816 SYN231-1.tptp S 2.270 success 42914 163820 SYN232-1.tptp S 2.260 success 42910 163816 SYN233-1.tptp S 2.270 success 42914 163820 SYN234-1.tptp S 2.270 success 42910 163816 SYN235-1.tptp S 2.260 success 42910 163816 SYN236-1.tptp S 2.240 success 42910 163816 SYN237-1.tptp S 2.260 success 42914 163820 SYN238-1.tptp S 2.250 success 42934 163840 SYN239-1.tptp S 2.230 success 42914 163820 SYN240-1.tptp S 2.250 success 42914 163820 SYN241-1.tptp S 2.240 success 42914 163820 SYN242-1.tptp S 2.250 success 42910 163816 SYN243-1.tptp S 2.260 success 42910 163816 SYN244-1.tptp S 2.250 success 42914 163820 SYN245-1.tptp S 2.270 success 42914 163820 SYN246-1.tptp S 2.270 success 42910 163816 SYN247-1.tptp S 2.250 success 42934 163840 SYN248-1.tptp S 2.250 success 42910 163816 SYN249-1.tptp S 2.250 success 42910 163816 SYN250-1.tptp S 2.270 success 42910 163816 SYN251-1.tptp S 2.240 success 42910 163816 SYN252-1.tptp S 2.260 success 42914 163820 SYN253-1.tptp S 2.260 success 42914 163820 SYN254-1.tptp S 2.250 success 42910 163816 SYN255-1.tptp S 2.260 success 42910 163816 SYN256-1.tptp S 2.260 success 42910 163816 SYN257-1.tptp S 2.260 success 42910 163816 SYN258-1.tptp S 2.260 success 42934 163840 SYN259-1.tptp S 2.260 success 42914 163820 SYN260-1.tptp S 2.250 success 42914 163820 SYN261-1.tptp S 2.270 success 42914 163820 SYN262-1.tptp S 2.260 success 42910 163816 SYN263-1.tptp S 2.270 success 42910 163816 SYN264-1.tptp S 2.260 success 42910 163816 SYN265-1.tptp S 2.270 success 42914 163820 SYN266-1.tptp S 2.260 success 42910 163816 SYN267-1.tptp S 2.260 success 42934 163840 SYN268-1.tptp S 2.240 success 42934 163840 SYN269-1.tptp S 2.250 success 42910 163816 SYN270-1.tptp S 2.260 success 42910 163816 SYN271-1.tptp S 2.270 success 42914 163820 SYN272-1.tptp S 2.260 success 42914 163820 SYN273-1.tptp S 2.230 success 42910 163816 SYN274-1.tptp S 2.260 success 42914 163820 SYN275-1.tptp S 2.250 success 42914 163820 SYN276-1.tptp S 2.270 success 42910 163816 SYN277-1.tptp S 2.260 success 42914 163820 SYN278-1.tptp S 2.240 success 42934 163840 SYN279-1.tptp S 2.240 success 42914 163820 SYN280-1.tptp S 2.260 success 42934 163840 SYN281-1.tptp S 2.260 success 42914 163820 SYN282-1.tptp S 2.260 success 42934 163840 SYN283-1.tptp S 2.240 success 42910 163816 SYN284-1.tptp S 2.240 success 42910 163816 SYN285-1.tptp S 2.240 success 42910 163816 SYN286-1.tptp S 2.250 success 42914 163820 SYN287-1.tptp S 2.230 success 42934 163840 SYN288-1.tptp S 2.230 success 42910 163816 SYN289-1.tptp S 2.260 success 42910 163816 SYN290-1.tptp S 2.250 success 42934 163840 SYN291-1.tptp S 2.260 success 42934 163840 SYN292-1.tptp S 2.220 success 42910 163816 SYN293-1.tptp S 2.220 success 42910 163816 SYN294-1.tptp S 2.240 success 42910 163816 SYN295-1.tptp S 2.260 success 42910 163816 SYN296-1.tptp S 2.240 success 42910 163816 SYN297-1.tptp S 2.240 success 42910 163816 SYN298-1.tptp S 2.240 success 42914 163820 SYN299-1.tptp S 2.250 success 42910 163816 SYN300-1.tptp S 2.240 success 42910 163816 SYN301-1.tptp S 2.240 success 42910 163816 SYN307-1.tptp S 0.010 success 12 28 SYN317-1.tptp S 0.030 success 7 10 SYN318-1.tptp S 0.020 success 6 9 SYN321-1.tptp S 0.030 success 16 32 SYN322-1.tptp S 0.030 success 1 1 SYN323-1.tptp S 0.020 success 4 8 SYN418-1.tptp F 21.410 maxmem 0 0 SYN419-1.tptp F 23.110 maxmem 0 0 SYN420-1.tptp F 21.500 maxmem 0 0 SYN421-1.tptp F 23.300 maxmem 0 0 SYN422-1.tptp F 22.490 maxmem 0 0 SYN423-1.tptp F 22.630 maxmem 0 0 SYN424-1.tptp F 20.490 maxmem 0 0 SYN425-1.tptp F 22.740 maxmem 0 0 SYN426-1.tptp F 21.510 maxmem 0 0 SYN427-1.tptp F 20.050 maxmem 0 0 SYN428-1.tptp F 21.830 maxmem 0 0 SYN429-1.tptp F 22.140 maxmem 0 0 SYN430-1.tptp S 3.380 success 29703 291209 SYN431-1.tptp S 2.730 success 24712 239552 SYN432-1.tptp S 3.370 success 31773 301509 SYN433-1.tptp S 7.860 success 71113 692753 SYN434-1.tptp F 23.930 maxmem 0 0 SYN435-1.tptp F 23.800 maxmem 0 0 SYN436-1.tptp S 17.370 success 152521 1492219 SYN437-1.tptp F 23.720 maxmem 0 0 SYN438-1.tptp F 24.560 maxmem 0 0 SYN439-1.tptp F 23.630 maxmem 0 0 SYN440-1.tptp F 23.280 maxmem 0 0 SYN441-1.tptp F 23.120 maxmem 0 0 SYN442-1.tptp S 24.060 success 209472 2050478 SYN443-1.tptp S 24.280 success 214871 2094017 SYN444-1.tptp F 24.830 maxmem 0 0 SYN445-1.tptp F 24.650 maxmem 0 0 SYN446-1.tptp F 24.720 maxmem 0 0 SYN447-1.tptp F 23.280 maxmem 0 0 SYN448-1.tptp S 17.850 success 158290 1527395 SYN449-1.tptp F 24.640 maxmem 0 0 SYN450-1.tptp F 24.580 maxmem 0 0 SYN451-1.tptp S 22.640 success 199004 1940523 SYN452-1.tptp F 24.550 maxmem 0 0 SYN453-1.tptp F 23.140 maxmem 0 0 SYN454-1.tptp F 24.470 maxmem 0 0 SYN455-1.tptp S 23.980 success 210431 2057200 SYN456-1.tptp F 24.650 maxmem 0 0 SYN457-1.tptp F 23.140 maxmem 0 0 SYN458-1.tptp S 22.880 success 202660 1975179 SYN459-1.tptp S 21.890 success 191107 1870253 SYN460-1.tptp F 23.650 maxmem 0 0 SYN461-1.tptp F 24.770 maxmem 0 0 SYN462-1.tptp F 24.470 maxmem 0 0 SYN463-1.tptp S 19.050 success 169025 1641765 SYN464-1.tptp F 23.490 maxmem 0 0 SYN465-1.tptp F 24.280 maxmem 0 0 SYN466-1.tptp F 24.920 maxmem 0 0 SYN467-1.tptp F 24.770 maxmem 0 0 SYN468-1.tptp F 24.560 maxmem 0 0 SYN469-1.tptp F 24.880 maxmem 0 0 SYN470-1.tptp F 24.820 maxmem 0 0 SYN471-1.tptp F 24.500 maxmem 0 0 SYN472-1.tptp F 24.570 maxmem 0 0 SYN473-1.tptp F 24.760 maxmem 0 0 SYN474-1.tptp F 24.620 maxmem 0 0 SYN475-1.tptp F 24.660 maxmem 0 0 SYN476-1.tptp F 24.630 maxmem 0 0 SYN477-1.tptp F 25.050 maxmem 0 0 SYN478-1.tptp F 25.050 maxmem 0 0 SYN479-1.tptp F 24.470 maxmem 0 0 SYN480-1.tptp F 24.240 maxmem 0 0 SYN481-1.tptp F 25.050 maxmem 0 0 SYN482-1.tptp F 24.360 maxmem 0 0 SYN483-1.tptp F 24.380 maxmem 0 0 SYN484-1.tptp F 24.720 maxmem 0 0 SYN485-1.tptp F 24.510 maxmem 0 0 SYN486-1.tptp F 24.550 maxmem 0 0 SYN487-1.tptp S 19.670 success 177035 1710369 SYN488-1.tptp F 24.580 maxmem 0 0 SYN489-1.tptp F 24.430 maxmem 0 0 SYN490-1.tptp S 0.080 success 646 4738 SYN491-1.tptp S 0.140 success 983 8484 SYN492-1.tptp S 0.090 success 716 5333 SYN493-1.tptp S 0.210 success 1607 14523 SYN494-1.tptp S 0.250 success 1945 17811 SYN495-1.tptp S 0.070 success 411 2729 SYN496-1.tptp S 0.200 success 1498 13646 SYN497-1.tptp S 0.330 success 2676 25290 SYN498-1.tptp F 24.330 maxmem 0 0 SYN499-1.tptp F 24.640 maxmem 0 0 SYN500-1.tptp F 24.580 maxmem 0 0 SYN501-1.tptp F 24.450 maxmem 0 0 SYN502-1.tptp F 24.440 maxmem 0 0 SYN503-1.tptp F 24.430 maxmem 0 0 SYN504-1.tptp F 24.450 maxmem 0 0 SYN505-1.tptp F 24.390 maxmem 0 0 SYN506-1.tptp F 24.740 maxmem 0 0 SYN507-1.tptp S 22.480 success 198065 1922174 SYN508-1.tptp F 24.360 maxmem 0 0 SYN509-1.tptp F 24.480 maxmem 0 0 SYN510-1.tptp F 24.780 maxmem 0 0 SYN511-1.tptp F 24.350 maxmem 0 0 SYN512-1.tptp S 17.210 success 157961 1498776 SYN513-1.tptp F 23.460 maxmem 0 0 SYN514-1.tptp F 23.970 maxmem 0 0 SYN515-1.tptp S 3.260 success 26661 281588 SYN516-1.tptp S 0.480 success 5041 36981 SYN517-1.tptp S 5.400 success 42926 461028 SYN518-1.tptp F 23.320 maxmem 0 0 SYN519-1.tptp F 22.700 maxmem 0 0 SYN520-1.tptp F 22.480 maxmem 0 0 SYN521-1.tptp S 1.620 success 17722 135154 SYN522-1.tptp S 6.740 success 58859 577123 SYN523-1.tptp S 0.110 success 953 6119 SYN524-1.tptp F 25.750 maxmem 0 0 SYN525-1.tptp F 25.800 maxmem 0 0 SYN526-1.tptp F 24.320 maxmem 0 0 SYN527-1.tptp S 0.350 success 3583 26281 SYN528-1.tptp F 24.740 maxmem 0 0 SYN529-1.tptp F 24.240 maxmem 0 0 SYN530-1.tptp F 27.980 maxmem 0 0 SYN531-1.tptp S 14.610 success 143436 1218167 SYN532-1.tptp S 3.670 success 33393 314406 SYN533-1.tptp F 25.190 maxmem 0 0 SYN534-1.tptp F 26.920 maxmem 0 0 SYN535-1.tptp S 9.280 success 92328 822966 SYN536-1.tptp F 25.840 maxmem 0 0 SYN537-1.tptp F 25.660 maxmem 0 0 SYN538-1.tptp F 24.380 maxmem 0 0 SYN539-1.tptp F 24.320 maxmem 0 0 SYN540-1.tptp F 24.720 maxmem 0 0 SYN541-1.tptp F 23.420 maxmem 0 0 SYN542-1.tptp F 23.440 maxmem 0 0 SYN543-1.tptp F 23.360 maxmem 0 0 SYN544-1.tptp F 23.360 maxmem 0 0 SYN545-1.tptp F 22.160 maxmem 0 0 SYN546-1.tptp F 22.520 maxmem 0 0 SYN547-1.tptp F 22.020 maxmem 0 0