# --tptp-in --memory-limit=512 --suppress-result --print-statistics -R GEO079-1.tptp S 0.170 success 1 0 GRP001-5.tptp S 0.120 success 1 0 GRP123-1.003.tptp S 0.030 success 135 255 GRP123-1.005.tptp S 0.510 success 3235 10475 GRP123-2.003.tptp S 0.030 success 164 318 GRP123-2.005.tptp S 0.510 success 2885 9019 GRP123-3.003.tptp S 0.200 success 3808 15135 GRP123-3.004.tptp S 0.680 success 13168 53662 GRP123-4.003.tptp S 0.040 success 135 255 GRP123-4.004.tptp S 0.140 success 708 1836 GRP123-6.003.tptp S 0.010 success 183 300 GRP123-6.005.tptp S 0.060 success 2010 4020 GRP123-7.003.tptp S 0.010 success 214 369 GRP123-7.005.tptp S 0.060 success 2139 4319 GRP123-8.003.tptp S 0.090 success 3005 10726 GRP123-8.004.tptp S 0.210 success 8643 32061 GRP123-9.003.tptp S 0.030 success 267 540 GRP123-9.004.tptp S 0.040 success 924 2016 GRP124-1.004.tptp S 0.130 success 684 1788 GRP124-1.005.tptp S 0.500 success 3235 10475 GRP124-2.004.tptp S 0.150 success 688 1732 GRP124-2.005.tptp S 0.510 success 2889 9035 GRP124-3.004.tptp S 0.660 success 13168 54126 GRP124-3.005.tptp S 1.950 success 38930 165077 GRP124-4.004.tptp S 0.140 success 708 1836 GRP124-4.005.tptp S 0.510 success 3275 10595 GRP124-6.004.tptp S 0.030 success 700 1324 GRP124-6.005.tptp S 0.060 success 2010 4020 GRP124-7.004.tptp S 0.040 success 769 1481 GRP124-7.005.tptp S 0.070 success 2139 4319 GRP124-8.004.tptp S 0.220 success 8643 32069 GRP124-8.005.tptp S 0.460 success 20746 78841 GRP124-9.004.tptp S 0.040 success 924 2028 GRP124-9.005.tptp S 0.060 success 2480 5550 GRP125-1.003.tptp S 0.030 success 105 171 GRP125-1.004.tptp S 0.030 success 396 756 GRP125-2.004.tptp S 0.020 success 444 865 GRP125-2.005.tptp S 0.040 success 1187 2437 GRP125-3.004.tptp S 0.190 success 5624 20586 GRP125-3.005.tptp S 0.420 success 14350 56307 GRP125-4.003.tptp S 0.010 success 279 645 GRP125-4.004.tptp S 0.020 success 1020 2520 GRP126-1.004.tptp S 0.010 success 396 756 GRP126-1.005.tptp S 0.030 success 1135 2315 GRP126-2.004.tptp S 0.030 success 444 865 GRP126-2.005.tptp S 0.050 success 1187 2437 GRP126-3.004.tptp S 0.170 success 5640 20634 GRP126-3.005.tptp S 0.410 success 14370 56367 GRP126-4.004.tptp S 0.040 success 1068 2688 GRP126-4.005.tptp S 0.060 success 2755 7095 GRP127-1.004.tptp S 0.030 success 396 756 GRP127-1.005.tptp S 0.030 success 1135 2315 GRP127-2.005.tptp S 0.040 success 1187 2437 GRP127-2.006.tptp S 0.080 success 2684 5665 GRP127-3.004.tptp S 0.170 success 5632 20618 GRP127-3.005.tptp S 0.400 success 14360 56347 GRP127-4.004.tptp S 0.040 success 1068 2688 GRP127-4.005.tptp S 0.060 success 2755 7095 GRP128-1.003.tptp S 0.030 success 327 714 GRP128-1.004.tptp S 0.030 success 1028 2288 GRP128-2.004.tptp S 0.030 success 1016 2249 GRP128-2.006.tptp S 0.090 success 5004 11220 GRP128-3.004.tptp S 0.190 success 9074 34533 GRP128-3.005.tptp S 0.470 success 21468 83677 GRP128-4.003.tptp S 0.020 success 477 1152 GRP128-4.004.tptp S 0.040 success 1516 3760 GRP129-1.003.tptp S 0.020 success 333 738 GRP129-1.005.tptp S 0.050 success 2525 5700 GRP129-2.004.tptp S 0.020 success 1028 2297 GRP129-2.005.tptp S 0.050 success 2451 5507 GRP129-3.004.tptp S 0.210 success 9094 34613 GRP129-3.005.tptp S 0.430 success 21498 83797 GRP129-4.004.tptp S 0.030 success 1564 3928 GRP129-4.005.tptp S 0.070 success 3795 9590 GRP130-1.003.tptp S 0.010 success 327 714 GRP130-1.005.tptp S 0.040 success 2505 5620 GRP130-2.003.tptp S 0.000 success 337 730 GRP130-2.005.tptp S 0.040 success 2428 5409 GRP130-3.003.tptp S 0.080 success 3191 11736 GRP130-3.004.tptp S 0.190 success 9074 34533 GRP130-4.003.tptp S 0.020 success 477 1152 GRP130-4.004.tptp S 0.030 success 1516 3760 GRP131-1.002.tptp S 0.010 success 184 548 GRP131-1.005.tptp S 0.670 success 33175 129800 GRP131-2.002.tptp S 0.000 success 194 570 GRP131-2.005.tptp S 0.640 success 27660 107389 GRP132-1.002.tptp S 0.020 success 184 568 GRP132-1.005.tptp S 0.680 success 33175 131680 GRP132-2.002.tptp S 0.020 success 194 590 GRP132-2.005.tptp S 0.650 success 27582 108785 GRP133-1.003.tptp S 0.020 success 327 714 GRP133-1.004.tptp S 0.020 success 1028 2288 GRP133-2.003.tptp S 0.020 success 338 734 GRP133-2.004.tptp S 0.030 success 1018 2252 GRP134-1.003.tptp S 0.020 success 339 750 GRP134-1.005.tptp S 0.050 success 2545 5740 GRP134-2.003.tptp S 0.010 success 350 770 GRP134-2.005.tptp S 0.040 success 2477 5558 GRP135-1.002.tptp S 0.020 success 68 144 GRP135-1.005.tptp S 0.040 success 2525 5700 GRP135-2.002.tptp S 0.010 success 78 166 GRP135-2.005.tptp S 0.050 success 2449 5495 KRS004-1.tptp S 0.010 success 1 0 LAT005-1.tptp F 39.300 maxmem 0 0 LAT005-2.tptp F 39.970 maxmem 0 0 MGT013-1.tptp S 1.500 success 51665 263734 MGT014-1.tptp S 1.530 success 51422 262439 MGT041-2.tptp S 0.020 success 62 180 MGT052-1.tptp S 0.020 success 1 0 MGT053-1.tptp S 0.020 success 521 1417 MSC006-1.tptp S 0.010 success 75 166 MSC008-1.002.tptp S 0.010 success 140 404 MSC008-1.010.tptp F 46.400 maxmem 0 0 MSC008-2.002.tptp S 0.010 success 92 212 NLP001-1.tptp S 0.490 success 8220 114736 NLP004-1.tptp F 51.750 maxmem 0 0 NLP005-1.tptp F 50.050 maxmem 0 0 NLP006-1.tptp F 49.710 maxmem 0 0 NLP007-1.tptp F 51.430 maxmem 0 0 NLP008-1.tptp F 49.930 maxmem 0 0 NLP009-1.tptp F 49.540 maxmem 0 0 NLP010-1.tptp F 49.850 maxmem 0 0 NLP011-1.tptp F 51.110 maxmem 0 0 NLP012-1.tptp F 49.800 maxmem 0 0 NLP013-1.tptp F 50.220 maxmem 0 0 NLP023-1.tptp S 0.680 success 36959 135434 NLP024-1.tptp S 2.310 success 120485 478755 NLP042-1.tptp S 0.210 success 12349 37146 NLP114-1.tptp F 46.950 maxmem 0 0 NLP115-1.tptp F 46.560 maxmem 0 0 NLP116-1.tptp S 17.420 success 200034 3560066 NLP117-1.tptp F 46.770 maxmem 0 0 NLP118-1.tptp F 46.530 maxmem 0 0 NLP119-1.tptp F 46.620 maxmem 0 0 NLP120-1.tptp F 46.670 maxmem 0 0 NLP121-1.tptp S 17.460 success 200034 3560066 NLP122-1.tptp S 17.250 success 200034 3560066 NLP123-1.tptp F 47.120 maxmem 0 0 NLP124-1.tptp S 0.440 success 27830 85122 NLP125-1.tptp S 0.230 success 14282 43193 NLP126-1.tptp S 0.230 success 14282 43193 NLP127-1.tptp S 0.420 success 27830 85122 NLP128-1.tptp S 0.230 success 14282 43193 NLP129-1.tptp S 0.240 success 14282 43193 PUZ001-1.tptp S 0.010 success 31 47 PUZ001-3.tptp S 0.010 success 31 48 PUZ002-1.tptp S 0.000 success 12 17 PUZ003-1.tptp S 0.010 success 41 74 PUZ008-2.tptp S 0.020 success 26 44 PUZ010-1.tptp F 38.720 maxmem 0 0 PUZ011-1.tptp S 0.060 success 1 0 PUZ012-1.tptp S 0.010 success 353 931 PUZ017-1.tptp F 45.910 maxmem 0 0 PUZ018-1.tptp S 2.440 success 93428 510846 PUZ018-2.tptp S 2.470 success 93438 510877 PUZ019-1.tptp F 53.130 maxmem 0 0 PUZ022-1.tptp S 0.010 success 1 0 PUZ028-1.tptp S 0.020 success 509 1364 PUZ028-2.tptp S 0.010 success 414 1104 PUZ028-3.tptp S 0.070 success 404 1074 PUZ028-4.tptp S 0.050 success 270 780 PUZ028-5.tptp S 0.020 success 509 1304 PUZ028-6.tptp S 0.010 success 474 1224 PUZ029-1.tptp S 0.020 success 14 23 PUZ030-1.tptp S 0.010 success 91 222 PUZ035-1.tptp S 0.010 success 270 782 PUZ035-2.tptp S 0.030 success 276 798 PUZ036-1.005.tptp F 32.300 maxmem 0 0 PUZ037-1.tptp F 44.950 maxmem 0 0 PUZ037-2.tptp F 45.330 maxmem 0 0 PUZ037-3.tptp F 45.080 maxmem 0 0 SET043-5.tptp S 0.000 success 1 0 SWV001-1.tptp S 0.010 success 160 377 SYN005-1.010.tptp S 0.000 success 1 0 SYN009-1.tptp S 0.000 success 1 0 SYN051-1.tptp S 0.010 success 6 12 SYN052-1.tptp S 0.010 success 4 8 SYN053-1.tptp S 0.010 success 6 9 SYN054-1.tptp S 0.010 success 11 24 SYN055-1.tptp S 0.010 success 12 18 SYN056-1.tptp S 0.010 success 60 204 SYN057-1.tptp S 0.020 success 11 15 SYN058-1.tptp S 0.010 success 13 17 SYN059-1.tptp S 0.040 success 1677 7214 SYN060-1.tptp S 0.020 success 7 11 SYN061-1.tptp S 0.000 success 1 0 SYN062-1.tptp S 0.020 success 1 0 SYN063-1.tptp S 0.010 success 1 0 SYN063-2.tptp S 0.000 success 1 0 SYN071-1.tptp S 0.010 success 26 44 SYN072-1.tptp S 0.010 success 89 210 SYN088-1.010.tptp S 0.040 success 1 0 SYN095-1.002.tptp S 0.010 success 1 0 SYN096-1.008.tptp S 0.010 success 60 160 SYN099-1.003.tptp S 0.020 success 1 0 SYN100-1.005.tptp S 0.010 success 72 170 SYN101-1.002.002.tptp S 0.010 success 1 0 SYN102-1.007.007.tptp S 0.180 success 7183 19984 SYN103-1.tptp S 0.040 success 1 0 SYN104-1.tptp S 0.040 success 1 0 SYN105-1.tptp S 0.040 success 1 0 SYN106-1.tptp S 0.040 success 1 0 SYN107-1.tptp S 0.060 success 1 0 SYN108-1.tptp S 0.070 success 1 0 SYN109-1.tptp S 0.370 success 1 0 SYN110-1.tptp S 0.610 success 18112 55307 SYN111-1.tptp S 0.380 success 1 0 SYN112-1.tptp S 0.050 success 1 0 SYN113-1.tptp S 0.390 success 1 0 SYN114-1.tptp S 0.060 success 1 0 SYN115-1.tptp S 0.630 success 18216 55643 SYN116-1.tptp S 0.190 success 1 0 SYN117-1.tptp S 0.200 success 1 0 SYN118-1.tptp S 0.040 success 1 0 SYN119-1.tptp S 0.030 success 1 0 SYN120-1.tptp S 0.040 success 1 0 SYN121-1.tptp S 0.400 success 1 0 SYN122-1.tptp S 0.400 success 1 0 SYN123-1.tptp S 0.340 success 1 0 SYN124-1.tptp S 0.180 success 1 0 SYN125-1.tptp S 0.620 success 18240 55748 SYN126-1.tptp S 0.050 success 1 0 SYN127-1.tptp S 0.060 success 1 0 SYN128-1.tptp S 0.440 success 1 0 SYN129-1.tptp S 0.450 success 1 0 SYN130-1.tptp S 0.040 success 1 0 SYN131-1.tptp S 0.030 success 1 0 SYN132-1.tptp S 0.040 success 1 0 SYN133-1.tptp S 0.040 success 1 0 SYN134-1.tptp S 0.090 success 1 0 SYN135-1.tptp S 0.040 success 1 0 SYN136-1.tptp S 0.040 success 1 0 SYN137-1.tptp S 0.610 success 1 0 SYN138-1.tptp S 0.620 success 18120 55318 SYN139-1.tptp S 0.600 success 18217 55677 SYN140-1.tptp S 0.610 success 18201 55605 SYN141-1.tptp S 0.610 success 18094 55197 SYN142-1.tptp S 0.610 success 18128 55308 SYN143-1.tptp S 0.590 success 18124 55324 SYN144-1.tptp S 0.590 success 18116 55199 SYN145-1.tptp S 0.030 success 1 0 SYN146-1.tptp S 0.030 success 1 0 SYN147-1.tptp S 0.040 success 1 0 SYN148-1.tptp S 0.380 success 1 0 SYN149-1.tptp S 0.050 success 1 0 SYN150-1.tptp S 0.040 success 1 0 SYN151-1.tptp S 0.050 success 1 0 SYN152-1.tptp S 0.050 success 1 0 SYN153-1.tptp S 0.050 success 1 0 SYN154-1.tptp S 0.080 success 1 0 SYN155-1.tptp S 0.600 success 17624 53056 SYN156-1.tptp S 0.600 success 18141 55292 SYN157-1.tptp S 0.380 success 1 0 SYN158-1.tptp S 0.470 success 1 0 SYN159-1.tptp S 0.610 success 18022 54735 SYN160-1.tptp S 0.450 success 1 0 SYN161-1.tptp S 0.450 success 1 0 SYN162-1.tptp S 0.420 success 1 0 SYN163-1.tptp S 0.600 success 18146 55214 SYN164-1.tptp S 0.030 success 1 0 SYN165-1.tptp S 0.050 success 1 0 SYN166-1.tptp S 0.110 success 1 0 SYN167-1.tptp S 0.030 success 1 0 SYN168-1.tptp S 0.050 success 1 0 SYN169-1.tptp S 0.050 success 1 0 SYN170-1.tptp S 0.050 success 1 0 SYN171-1.tptp S 0.630 success 18241 55727 SYN172-1.tptp S 0.030 success 1 0 SYN173-1.tptp S 0.060 success 1 0 SYN174-1.tptp S 0.050 success 1 0 SYN175-1.tptp S 0.050 success 1 0 SYN176-1.tptp S 0.400 success 1 0 SYN177-1.tptp S 0.140 success 1 0 SYN178-1.tptp S 0.610 success 1 0 SYN179-1.tptp S 0.610 success 17746 54224 SYN180-1.tptp S 0.600 success 1 0 SYN181-1.tptp S 0.620 success 1 0 SYN182-1.tptp S 0.050 success 1 0 SYN183-1.tptp S 0.050 success 1 0 SYN184-1.tptp S 0.040 success 1 0 SYN185-1.tptp S 0.030 success 1 0 SYN186-1.tptp S 0.390 success 1 0 SYN187-1.tptp S 0.420 success 1 0 SYN188-1.tptp S 0.390 success 1 0 SYN189-1.tptp S 0.400 success 1 0 SYN190-1.tptp S 0.610 success 1 0 SYN191-1.tptp S 0.600 success 18047 55131 SYN192-1.tptp S 0.490 success 1 0 SYN193-1.tptp S 0.480 success 1 0 SYN194-1.tptp S 0.480 success 1 0 SYN195-1.tptp S 0.490 success 1 0 SYN196-1.tptp S 0.070 success 1 0 SYN197-1.tptp S 0.050 success 1 0 SYN198-1.tptp S 0.080 success 1 0 SYN199-1.tptp S 0.070 success 1 0 SYN200-1.tptp S 0.080 success 1 0 SYN201-1.tptp S 0.140 success 1 0 SYN202-1.tptp S 0.630 success 1 0 SYN203-1.tptp S 0.410 success 1 0 SYN204-1.tptp S 0.620 success 18115 55260 SYN205-1.tptp S 0.610 success 18135 55316 SYN206-1.tptp S 0.390 success 1 0 SYN207-1.tptp S 0.600 success 18135 55304 SYN208-1.tptp S 0.410 success 1 0 SYN209-1.tptp S 0.150 success 1 0 SYN210-1.tptp S 0.150 success 1 0 SYN211-1.tptp S 0.150 success 1 0 SYN212-1.tptp S 0.170 success 1 0 SYN213-1.tptp S 0.610 success 18227 55649 SYN214-1.tptp S 0.630 success 18227 55654 SYN215-1.tptp S 0.600 success 18227 55649 SYN216-1.tptp S 0.350 success 1 0 SYN217-1.tptp S 0.350 success 1 0 SYN218-1.tptp S 0.330 success 1 0 SYN219-1.tptp S 0.410 success 1 0 SYN220-1.tptp S 0.170 success 1 0 SYN221-1.tptp S 0.170 success 1 0 SYN222-1.tptp S 0.180 success 1 0 SYN223-1.tptp S 0.170 success 1 0 SYN224-1.tptp S 0.150 success 1 0 SYN225-1.tptp S 0.620 success 18207 55639 SYN226-1.tptp S 0.170 success 1 0 SYN227-1.tptp S 0.610 success 18234 55735 SYN228-1.tptp S 0.170 success 1 0 SYN229-1.tptp S 0.170 success 1 0 SYN230-1.tptp S 0.160 success 1 0 SYN231-1.tptp S 0.180 success 1 0 SYN232-1.tptp S 0.170 success 1 0 SYN233-1.tptp S 0.170 success 1 0 SYN234-1.tptp S 0.610 success 18210 55642 SYN235-1.tptp S 0.600 success 18242 55749 SYN236-1.tptp S 0.180 success 1 0 SYN237-1.tptp S 0.030 success 1 0 SYN238-1.tptp S 0.040 success 1 0 SYN239-1.tptp S 0.030 success 1 0 SYN240-1.tptp S 0.040 success 1 0 SYN241-1.tptp S 0.050 success 1 0 SYN242-1.tptp S 0.030 success 1 0 SYN243-1.tptp S 0.080 success 1 0 SYN244-1.tptp S 0.050 success 1 0 SYN245-1.tptp S 0.040 success 1 0 SYN246-1.tptp S 0.090 success 1 0 SYN247-1.tptp S 0.040 success 1 0 SYN248-1.tptp S 0.510 success 1 0 SYN249-1.tptp S 0.500 success 1 0 SYN250-1.tptp S 0.620 success 18180 55527 SYN251-1.tptp S 0.090 success 1 0 SYN252-1.tptp S 0.610 success 18201 55593 SYN253-1.tptp S 0.610 success 18196 55590 SYN254-1.tptp S 0.620 success 18242 55749 SYN255-1.tptp S 0.050 success 1 0 SYN256-1.tptp S 0.050 success 1 0 SYN257-1.tptp S 0.030 success 1 0 SYN258-1.tptp S 0.060 success 1 0 SYN259-1.tptp S 0.040 success 1 0 SYN260-1.tptp S 0.030 success 1 0 SYN261-1.tptp S 0.030 success 1 0 SYN262-1.tptp S 0.110 success 1 0 SYN263-1.tptp S 0.090 success 1 0 SYN264-1.tptp S 0.230 success 1 0 SYN265-1.tptp S 0.060 success 1 0 SYN266-1.tptp S 0.220 success 1 0 SYN267-1.tptp S 0.060 success 1 0 SYN268-1.tptp S 0.050 success 1 0 SYN269-1.tptp S 0.620 success 18241 55728 SYN270-1.tptp S 0.620 success 18076 55102 SYN271-1.tptp S 0.610 success 18115 55194 SYN272-1.tptp S 0.300 success 1 0 SYN273-1.tptp S 0.370 success 1 0 SYN274-1.tptp S 0.040 success 1 0 SYN275-1.tptp S 0.040 success 1 0 SYN276-1.tptp S 0.050 success 1 0 SYN277-1.tptp S 0.060 success 1 0 SYN278-1.tptp S 0.050 success 1 0 SYN279-1.tptp S 0.070 success 1 0 SYN280-1.tptp S 0.060 success 1 0 SYN281-1.tptp S 0.050 success 1 0 SYN282-1.tptp S 0.050 success 1 0 SYN283-1.tptp S 0.060 success 1 0 SYN284-1.tptp S 0.050 success 1 0 SYN285-1.tptp S 0.280 success 1 0 SYN286-1.tptp S 0.060 success 1 0 SYN287-1.tptp S 0.050 success 1 0 SYN288-1.tptp S 0.060 success 1 0 SYN289-1.tptp S 0.080 success 1 0 SYN290-1.tptp S 0.040 success 1 0 SYN291-1.tptp S 0.040 success 1 0 SYN292-1.tptp S 0.050 success 1 0 SYN293-1.tptp S 0.350 success 1 0 SYN294-1.tptp S 0.350 success 1 0 SYN295-1.tptp S 0.050 success 1 0 SYN296-1.tptp S 0.070 success 1 0 SYN297-1.tptp S 0.050 success 1 0 SYN298-1.tptp S 0.400 success 1 0 SYN299-1.tptp S 0.390 success 1 0 SYN300-1.tptp S 0.380 success 1 0 SYN301-1.tptp S 0.140 success 1 0 SYN307-1.tptp S 0.020 success 8 12 SYN317-1.tptp S 0.010 success 6 6 SYN318-1.tptp S 0.010 success 1 0 SYN321-1.tptp S 0.010 success 16 32 SYN322-1.tptp S 0.020 success 1 1 SYN323-1.tptp S 0.000 success 4 8 SYN418-1.tptp F 34.320 maxmem 0 0 SYN419-1.tptp F 38.170 maxmem 0 0 SYN420-1.tptp F 40.190 maxmem 0 0 SYN421-1.tptp F 39.880 maxmem 0 0 SYN422-1.tptp F 41.990 maxmem 0 0 SYN423-1.tptp F 41.510 maxmem 0 0 SYN424-1.tptp F 38.000 maxmem 0 0 SYN425-1.tptp F 44.090 maxmem 0 0 SYN426-1.tptp F 39.990 maxmem 0 0 SYN427-1.tptp F 42.430 maxmem 0 0 SYN428-1.tptp F 34.930 maxmem 0 0 SYN429-1.tptp F 41.060 maxmem 0 0 SYN430-1.tptp S 1.140 success 29703 291209 SYN431-1.tptp S 0.930 success 24712 239552 SYN432-1.tptp S 1.140 success 31773 301509 SYN433-1.tptp S 2.640 success 71113 692753 SYN434-1.tptp F 35.480 maxmem 0 0 SYN435-1.tptp S 12.140 success 329190 3192369 SYN436-1.tptp S 5.710 success 152521 1492219 SYN437-1.tptp F 36.080 maxmem 0 0 SYN438-1.tptp S 8.220 success 216367 2118951 SYN439-1.tptp S 25.800 success 645862 6288515 SYN440-1.tptp F 35.490 maxmem 0 0 SYN441-1.tptp F 35.460 maxmem 0 0 SYN442-1.tptp S 7.900 success 209472 2050478 SYN443-1.tptp S 8.110 success 214871 2094017 SYN444-1.tptp S 8.440 success 222465 2171451 SYN445-1.tptp S 9.340 success 246247 2405150 SYN446-1.tptp S 9.150 success 240847 2355930 SYN447-1.tptp F 35.790 maxmem 0 0 SYN448-1.tptp S 5.870 success 158290 1527395 SYN449-1.tptp S 8.790 success 229254 2247954 SYN450-1.tptp S 8.190 success 219396 2141478 SYN451-1.tptp S 7.500 success 199004 1940523 SYN452-1.tptp S 8.280 success 221918 2161823 SYN453-1.tptp F 35.600 maxmem 0 0 SYN454-1.tptp S 9.140 success 241962 2370726 SYN455-1.tptp S 8.040 success 210431 2057200 SYN456-1.tptp S 11.300 success 291008 2864309 SYN457-1.tptp F 35.330 maxmem 0 0 SYN458-1.tptp S 7.550 success 202660 1975179 SYN459-1.tptp S 7.270 success 191107 1870253 SYN460-1.tptp F 35.890 maxmem 0 0 SYN461-1.tptp S 8.430 success 222495 2171627 SYN462-1.tptp S 10.210 success 267881 2625947 SYN463-1.tptp S 6.360 success 169025 1641765 SYN464-1.tptp F 35.980 maxmem 0 0 SYN465-1.tptp S 10.280 success 269990 2633170 SYN466-1.tptp S 12.740 success 329480 3228183 SYN467-1.tptp S 16.910 success 426071 4214966 SYN468-1.tptp S 8.860 success 234283 2287937 SYN469-1.tptp S 8.350 success 221912 2165703 SYN470-1.tptp S 9.170 success 244103 2366805 SYN471-1.tptp S 17.710 success 452457 4450074 SYN472-1.tptp S 10.700 success 279907 2722382 SYN473-1.tptp S 13.640 success 350865 3451313 SYN474-1.tptp S 11.530 success 301640 2946104 SYN475-1.tptp S 11.600 success 301989 2949297 SYN476-1.tptp S 10.150 success 271850 2648349 SYN477-1.tptp S 10.300 success 269569 2635097 SYN478-1.tptp S 10.380 success 272753 2664462 SYN479-1.tptp S 10.790 success 280962 2730568 SYN480-1.tptp S 15.460 success 399656 3909176 SYN481-1.tptp S 12.570 success 323810 3180148 SYN482-1.tptp S 12.970 success 338526 3299100 SYN483-1.tptp S 9.400 success 249100 2428440 SYN484-1.tptp S 13.790 success 356443 3494025 SYN485-1.tptp S 8.620 success 232419 2246546 SYN486-1.tptp S 16.050 success 413023 4056721 SYN487-1.tptp S 6.500 success 177035 1710369 SYN488-1.tptp S 11.390 success 294214 2885650 SYN489-1.tptp S 13.010 success 335496 3276246 SYN490-1.tptp S 0.030 success 646 4738 SYN491-1.tptp S 0.040 success 983 8484 SYN492-1.tptp S 0.040 success 716 5333 SYN493-1.tptp S 0.070 success 1607 14523 SYN494-1.tptp S 0.080 success 1945 17811 SYN495-1.tptp S 0.020 success 411 2729 SYN496-1.tptp S 0.070 success 1498 13646 SYN497-1.tptp S 0.100 success 2676 25290 SYN498-1.tptp S 13.610 success 355764 3490004 SYN499-1.tptp S 18.180 success 460759 4545889 SYN500-1.tptp S 23.030 success 568208 5615003 SYN501-1.tptp S 14.410 success 371772 3653345 SYN502-1.tptp S 10.460 success 275146 2673950 SYN503-1.tptp S 13.620 success 350829 3437245 SYN504-1.tptp S 14.340 success 369320 3606039 SYN505-1.tptp S 12.870 success 334667 3267265 SYN506-1.tptp S 8.750 success 232473 2251759 SYN507-1.tptp S 7.440 success 198065 1922174 SYN508-1.tptp S 15.170 success 393196 3855524 SYN509-1.tptp S 16.360 success 415933 4078843 SYN510-1.tptp S 10.270 success 273071 2656621 SYN511-1.tptp S 15.190 success 389928 3815820 SYN512-1.tptp S 5.660 success 157961 1498776 SYN513-1.tptp F 35.550 maxmem 0 0 SYN514-1.tptp F 38.380 maxmem 0 0 SYN515-1.tptp S 1.110 success 26661 281588 SYN516-1.tptp S 0.150 success 5041 36981 SYN517-1.tptp S 1.780 success 42926 461028 SYN518-1.tptp F 39.720 maxmem 0 0 SYN519-1.tptp F 45.840 maxmem 0 0 SYN520-1.tptp F 55.950 maxmem 0 0 SYN521-1.tptp S 0.540 success 17722 135154 SYN522-1.tptp S 2.240 success 58859 574810 SYN523-1.tptp S 0.030 success 953 6119 SYN524-1.tptp F 40.780 maxmem 0 0 SYN525-1.tptp F 39.460 maxmem 0 0 SYN526-1.tptp F 41.230 maxmem 0 0 SYN527-1.tptp S 0.130 success 3583 26281 SYN528-1.tptp S 12.470 success 373759 3175347 SYN529-1.tptp F 36.050 maxmem 0 0 SYN530-1.tptp F 42.510 maxmem 0 0 SYN531-1.tptp S 4.760 success 143436 1218167 SYN532-1.tptp S 1.250 success 33393 314406 SYN533-1.tptp F 38.820 maxmem 0 0 SYN534-1.tptp F 40.250 maxmem 0 0 SYN535-1.tptp S 3.200 success 92328 822966 SYN536-1.tptp F 39.800 maxmem 0 0 SYN537-1.tptp F 37.990 maxmem 0 0 SYN538-1.tptp F 38.310 maxmem 0 0 SYN539-1.tptp F 37.650 maxmem 0 0 SYN540-1.tptp F 38.370 maxmem 0 0 SYN541-1.tptp F 38.090 maxmem 0 0 SYN542-1.tptp F 35.960 maxmem 0 0 SYN543-1.tptp F 35.460 maxmem 0 0 SYN544-1.tptp F 41.930 maxmem 0 0 SYN545-1.tptp F 39.180 maxmem 0 0 SYN546-1.tptp F 40.190 maxmem 0 0 SYN547-1.tptp F 35.280 maxmem 0 0