Tool ULTIMATE Automizer 0.1.23-093a8c09
Limits timelimit: 600 s, memlimit: 8000 MB, CPU core limit: 2
Host struebli
OS Linux-4.16.18-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.4.1
System CPU: AMD EPYC 7351P 16-Core Processor, cores: 32, frequency: 2400 MHz; RAM: 135158 MB
Date of execution 2018-10-14 16:18:08 CEST
Run set Automizer HeapSeparator Automizer+HeapSeparator
Options --generate-csv --csv-dir csv -tc ../../../trunk/examples/toolchains/AutomizerBpl.xml -s ../../../trunk/examples/settings/heapseparator/heapsep-2018-09-18.epf --generate-csv --csv-dir csv -tc ../../../trunk/examples/toolchains/IcfgTransformer.xml -s ../../../trunk/examples/settings/heapseparator/heapsep-2018-09-18.epf --generate-csv --csv-dir csv -tc ../../../trunk/examples/toolchains/AutomizerBplTransformed.xml -s ../../../trunk/examples/settings/heapseparator/heapsep-2018-09-18.epf
../../../trunk/examples/programs/20181010-MemSafetyPathprograms/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
20051113-1.c_false-valid-memtrack.i_11.bpl true 439    368    1389809664 unknown 64.4  36.2  2204311552 true 481    390    2844315648
20051113-1.c_false-valid-memtrack.i_13.bpl true 440    369    1398931456 unknown 86.7  58.1  2800975872 true 506    416    2854187008
20051113-1.c_false-valid-memtrack.i_15.bpl true 445    372    1403387904 unknown 129    100    2838876160 true 556    462    2872233984
20051113-1.c_false-valid-memtrack.i_17.bpl true 447    374    1451593728 unknown 203    172    2845433856 timeout 600    507    2829430784
20051113-1.c_false-valid-memtrack.i_20.bpl true 139    102    1436397568 timeout 600    566    2905276416 timeout 600    563    2975870976
20051113-1.c_false-valid-memtrack.i_22.bpl true 458    382    1464680448 timeout 600    565    2924290048 timeout 600    565    3004010496
20051113-1.c_false-valid-memtrack.i_25.bpl true 457    381    1478193152 timeout 600    570    3003133952 timeout 600    565    2915782656
20051113-1.c_false-valid-memtrack.i_29.bpl true 110    77.6  1354964992 timeout 601    570    2900574208 timeout 600    570    3001413632
20051113-1.c_false-valid-memtrack.i_31.bpl true 449    376    1458536448 timeout 601    568    3008024576 timeout 601    568    2966728704
20051113-1.c_false-valid-memtrack.i_33.bpl true 454    379    1483304960 timeout 600    568    2992959488 timeout 601    572    2959454208
20051113-1.c_false-valid-memtrack.i_35.bpl true 462    382    1481916416 timeout 601    574    2976399360 timeout 601    570    2954440704
20051113-1.c_false-valid-memtrack.i_38.bpl true 456    377    1540022272 timeout 600    566    2980843520 timeout 600    564    2953879552
20051113-1.c_false-valid-memtrack.i_40.bpl true 451    379    1478823936 timeout 601    575    2979307520 timeout 601    572    2905980928
20051113-1.c_false-valid-memtrack.i_42.bpl true 453    378    1286017024 timeout 601    570    2829508608 timeout 601    574    3025195008
20051113-1.c_false-valid-memtrack.i_44.bpl true 454    380    1550200832 timeout 600    566    2841313280 timeout 600    564    2875191296
20051113-1.c_false-valid-memtrack.i_46.bpl true 480    399    1540526080 timeout 601    570    2870685696 timeout 600    565    2932588544
20051113-1.c_false-valid-memtrack.i_5.bpl true 14.4  8.59 549928960 unknown 11.9  6.21 671027200 true 19.8  11.1  699801600
20051113-1.c_false-valid-memtrack.i_7.bpl true 441    369    1413029888 unknown 23.3  12.0  1129656320 true 451    372    2362875904
20051113-1.c_false-valid-memtrack.i_9.bpl true 443    369    1382903808 unknown 41.6  22.3  1710002176 true 469    386    2831396864
960521-1_1_false-valid-free.i_11.bpl true 81.6  61.2  1238798336 unknown 57.2  29.0  2038018048 true 127    85.5  2619056128
960521-1_1_false-valid-free.i_12.bpl true 16.6  10.4  688017408 error: exception 116    85.1  2850623488 error: exception 108    77.7  2854047744
960521-1_1_true-valid-memsafety.i_11.bpl true 83.8  62.0  1232535552 unknown 49.3  25.1  1877655552 true 74.1  41.4  2062893056
960521-1_false-valid-deref.i_5.bpl timeout 600    525    1327136768 unknown 57.0  34.0  2688864256 timeout 600    508    2847956992
960521-1_false-valid-free.i_5.bpl timeout 601    526    1316839424 unknown 69.4  38.7  2509205504 timeout 600    512    2847236096
960521-1_true-valid-memsafety.i_5.bpl timeout 600    525    1320161280 unknown 64.3  36.9  2637533184 timeout 600    511    2848591872
ArraysOfVariableLength2_true-valid-memsafety.c_10.bpl true 13.3  7.66 470888448 unknown 36.4  18.9  1181548544 true 45.6  24.0  1268256768
ArraysOfVariableLength2_true-valid-memsafety.c_12.bpl true 9.59 5.50 288899072 unknown 33.4  17.4  1160069120 true 41.8  21.6  1191473152
ArraysOfVariableLength2_true-valid-memsafety.c_13.bpl true 13.7  8.12 463216640 unknown 41.2  21.4  1427226624 true 47.6  25.7  1495068672
ArraysOfVariableLength2_true-valid-memsafety.c_14.bpl true 18.6  11.2  683585536 unknown 83.6  48.2  2488553472 true 85.8  52.5  2602041344
ArraysOfVariableLength2_true-valid-memsafety.c_16.bpl timeout 601    513    3203944448 unknown 101    66.0  2872037376 timeout 600    488    3105607680
ArraysOfVariableLength2_true-valid-memsafety.c_17.bpl true 13.7  7.96 445181952 unknown 77.3  48.1  2741116928 true 80.9  50.1  2831745024
ArraysOfVariableLength2_true-valid-memsafety.c_18.bpl timeout 601    523    3035496448 unknown 96.9  65.4  2969669632 timeout 600    509    3158462464
ArraysOfVariableLength2_true-valid-memsafety.c_19.bpl timeout 601    522    2986266624 unknown 121    87.8  2907537408 timeout 600    501    3292299264
ArraysOfVariableLength2_true-valid-memsafety.c_20.bpl timeout 601    520    3140927488 unknown 102    65.9  2855456768 timeout 600    499    3017252864
ArraysOfVariableLength2_true-valid-memsafety.c_8.bpl true 8.88 5.05 285417472 unknown 30.1  15.9  1160044544 true 39.8  20.5  1181007872
ArraysOfVariableLength4_true-valid-memsafety_true-termination.c_7.bpl true 11.1  6.41 364851200 error: exception 11.0  5.84 653504512 error: exception 11.0  5.88 665325568
ArraysOfVariableLength4_true-valid-memsafety_true-termination.c_8.bpl true 12.2  6.79 348901376 unknown 11.7  6.21 663621632 true 16.5  9.01 685813760
ArraysOfVariableLength5_true-valid-memsafety.c_10.bpl true 10.7  6.16 320905216 unknown 20.2  10.4  948666368 true 26.3  13.9  1001488384
ArraysOfVariableLength5_true-valid-memsafety.c_11.bpl true 556    470    3242221568 unknown 35.0  17.9  1423933440 timeout 601    508    3337281536
ArraysOfVariableLength5_true-valid-memsafety.c_12.bpl timeout 601    520    2923413504 unknown 36.2  18.5  1462804480 timeout 601    515    2932215808
ArraysOfVariableLength5_true-valid-memsafety.c_13.bpl true 9.23 5.13 273887232 unknown 32.4  16.6  1159929856 true 34.5  17.9  1182818304
ArraysOfVariableLength5_true-valid-memsafety.c_6.bpl true 8.84 4.93 263176192 unknown 17.3  9.02 841015296 true 20.6  10.8  908386304
ArraysOfVariableLength5_true-valid-memsafety.c_8.bpl true 9.27 5.24 273620992 unknown 17.8  9.29 861696000 true 24.5  12.8  921243648
ArraysOfVariableLength5_true-valid-memsafety.c_9.bpl true 10.1  5.78 310034432 unknown 21.0  10.9  1055334400 true 26.6  14.0  974286848
ArraysOfVariableLength6_true-valid-memsafety_true-termination.c_7.bpl true 9.90 5.63 296935424 error: exception 12.1  6.37 664272896 error: exception 11.0  5.80 666112000
ArraysOfVariableLength6_true-valid-memsafety_true-termination.c_8.bpl true 8.45 4.77 257368064 unknown 12.6  6.60 664625152 true 14.2  7.64 678219776
ArraysOfVariableLength_true-valid-memsafety.c_10.bpl true 9.91 5.60 276746240 unknown 13.7  7.20 681635840 true 18.4  9.79 696938496
ArraysOfVariableLength_true-valid-memsafety.c_11.bpl true 20.7  12.4  705167360 unknown 17.1  8.89 805388288 true 32.9  18.6  908615680
ArraysOfVariableLength_true-valid-memsafety.c_12.bpl timeout 601    527    2913640448 unknown 17.2  8.95 810377216 timeout 601    523    2906017792
ArraysOfVariableLength_true-valid-memsafety.c_13.bpl timeout 600    509    2970787840 unknown 21.5  11.2  982155264 timeout 600    503    2875076608
ArraysOfVariableLength_true-valid-memsafety.c_6.bpl true 8.14 4.64 256733184 unknown 13.1  6.93 677294080 true 15.3  8.19 687198208
ArraysOfVariableLength_true-valid-memsafety.c_7.bpl true 8.49 4.75 247791616 unknown 13.0  6.84 672628736 true 18.1  9.53 691240960
ArraysOfVariableLength_true-valid-memsafety.c_8.bpl true 8.58 4.92 254873600 unknown 12.9  6.81 671408128 true 18.1  9.59 705556480
ArraysOfVariableLength_true-valid-memsafety.c_9.bpl true 12.6  7.40 406216704 unknown 13.1  6.86 674156544 true 22.1  12.0  707723264
ArraysWithLenghtAtDeclaration_false-valid-deref-read.c_11.bpl true 8.99 5.11 275791872 unknown 30.2  15.6  1168920576 true 33.3  17.3  1186766848
ArraysWithLenghtAtDeclaration_false-valid-deref-read.c_12.bpl timeout 601    527    3095420928 unknown 34.1  17.4  1444659200 timeout 601    511    2929393664
ArraysWithLenghtAtDeclaration_false-valid-deref-read.c_13.bpl timeout 601    531    2946961408 unknown 31.6  16.2  1173348352 timeout 601    512    3118264320
ArraysWithLenghtAtDeclaration_false-valid-deref-read.c_6.bpl true 9.87 5.63 291131392 error: exception 11.7  6.19 669470720 error: exception 11.0  5.85 662282240
ArraysWithLenghtAtDeclaration_false-valid-deref-read.c_7.bpl true 9.65 5.57 315817984 unknown 11.7  6.18 667738112 true 17.1  9.23 687824896
ArraysWithLenghtAtDeclaration_false-valid-deref-write.c_8.bpl true 9.75 5.54 288014336 error: exception 11.2  5.92 661655552 error: exception 10.9  5.84 672399360
ArraysWithLenghtAtDeclaration_false-valid-deref-write.c_9.bpl true 13.2  7.70 443060224 unknown 13.1  6.88 676454400 true 20.7  11.5  702926848
ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c_10.bpl timeout 601    521    2932473856 unknown 31.2  16.1  1257218048 timeout 601    518    2888908800
ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c_11.bpl true 551    464    3267166208 unknown 34.6  17.8  1430872064 timeout 600    509    3599527936
ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c_9.bpl true 8.52 4.87 271400960 unknown 31.4  16.1  1162559488 true 35.3  18.3  1184034816
add_last-alloca_true-valid-memsafety_true-termination.i_10.bpl true 10.7  6.05 318771200 unknown 18.1  9.42 891764736 true 22.8  12.1  944582656
add_last-alloca_true-valid-memsafety_true-termination.i_11.bpl true 15.1  8.96 566595584 unknown 20.0  10.3  978042880 true 30.3  16.5  1035329536
add_last-alloca_true-valid-memsafety_true-termination.i_8.bpl true 10.1  5.77 295669760 unknown 18.7  9.72 881983488 true 23.3  12.4  940359680
add_last-alloca_true-valid-memsafety_true-termination.i_9.bpl timeout 601    530    1379069952 unknown 19.5  10.2  995401728 timeout 601    524    2147577856
alternating_list_true-unreach-call_true-valid-memsafety.i_17.bpl true 11.1  6.21 345264128 error: exception 10.3  5.59 592715776 error: exception 10.8  5.74 591937536
alternating_list_true-unreach-call_true-valid-memsafety.i_18.bpl true 12.4  7.13 395673600 error: exception 10.8  5.73 652705792 error: exception 10.4  5.65 659779584
alternating_list_true-unreach-call_true-valid-memsafety.i_20.bpl true 22.5  14.5  682369024 error: exception 9.27 4.97 413868032 error: exception 9.03 4.86 414478336
alternating_list_true-unreach-call_true-valid-memsafety.i_22.bpl true 11.0  6.25 369307648 error: exception 10.6  5.67 612134912 error: exception 10.4  5.53 617611264
alternating_list_true-unreach-call_true-valid-memsafety.i_23.bpl true 12.5  7.30 448299008 error: exception 11.2  5.95 666243072 error: exception 10.5  5.67 667697152
alternating_list_true-unreach-call_true-valid-memsafety.i_24.bpl true 19.5  12.4  703434752 error: exception 10.6  5.70 582963200 error: exception 10.8  5.75 582553600
alternating_list_true-unreach-call_true-valid-memsafety.i_25.bpl true 19.6  12.1  683323392 error: exception 10.4  5.59 609087488 error: exception 10.7  5.70 608702464
alternating_list_true-unreach-call_true-valid-memsafety.i_26.bpl true 24.2  16.1  768327680 error: exception 10.7  5.73 610766848 error: exception 10.3  5.55 609124352
alternating_list_true-unreach-call_true-valid-memsafety.i_27.bpl true 12.5  7.27 428437504 error: exception 11.3  6.09 631058432 error: exception 10.3  5.52 626823168
alternating_list_true-unreach-call_true-valid-memsafety.i_28.bpl true 20.7  13.0  682467328 error: exception 11.3  5.98 666042368 error: exception 11.4  5.99 671821824
alternating_list_true-unreach-call_true-valid-memsafety.i_31.bpl true 19.1  12.1  684380160 error: exception 10.6  5.71 616980480 error: exception 10.3  5.54 610025472
alternating_list_true-unreach-call_true-valid-memsafety.i_33.bpl true 14.3  8.45 560451584 error: exception 11.1  5.96 614428672 error: exception 10.6  5.74 615370752
alternating_list_true-unreach-call_true-valid-memsafety.i_34.bpl true 22.0  14.2  757788672 error: exception 11.2  5.95 622501888 error: exception 10.6  5.65 620679168
alternating_list_true-unreach-call_true-valid-memsafety.i_35.bpl true 80.0  59.3  1263992832 error: exception 11.3  5.99 664043520 error: exception 11.4  6.05 665112576
alternating_list_true-unreach-call_true-valid-memsafety.i_36.bpl true 31.7  21.7  862949376 error: exception 10.9  5.86 584871936 error: exception 10.2  5.51 578068480
alternating_list_true-unreach-call_true-valid-memsafety.i_37.bpl true 32.5  22.3  895291392 error: exception 10.7  5.70 578482176 error: exception 10.5  5.64 579796992
alternating_list_true-unreach-call_true-valid-memsafety.i_38.bpl true 103    80.5  1330872320 error: exception 11.2  6.02 627363840 error: exception 10.8  5.73 624992256
alternating_list_true-unreach-call_true-valid-memsafety.i_39.bpl true 409    359    1382752256 error: exception 11.2  5.99 668950528 error: exception 11.0  5.99 668983296
alternating_list_true-unreach-call_true-valid-memsafety.i_40.bpl true 21.4  13.6  691208192 error: exception 11.0  5.94 580186112 error: exception 10.6  5.75 580915200
alternating_list_true-unreach-call_true-valid-memsafety.i_41.bpl true 44.3  30.8  995405824 error: exception 10.7  5.76 579891200 error: exception 11.1  6.06 588914688
alternating_list_true-unreach-call_true-valid-memsafety.i_42.bpl timeout 600    532    1387462656 error: exception 11.5  6.15 671608832 error: exception 10.9  5.88 669224960
alternating_list_true-unreach-call_true-valid-memsafety.i_43.bpl true 153    125    1417424896 error: exception 11.4  6.05 663113728 error: exception 10.7  5.74 662949888
alternating_list_true-unreach-call_true-valid-memsafety.i_44.bpl true 15.4  9.23 668327936 error: exception 11.3  6.04 666353664 error: exception 11.2  6.02 669945856
alternating_list_true-unreach-call_true-valid-memsafety.i_45.bpl timeout 601    534    1376387072 error: exception 10.8  5.85 628568064 error: exception 11.1  5.89 624103424
alternating_list_true-unreach-call_true-valid-memsafety.i_46.bpl timeout 601    533    1372975104 error: exception 12.3  6.52 670425088 error: exception 11.3  6.00 672243712
alternating_list_true-unreach-call_true-valid-memsafety.i_47.bpl true 202    169    1392205824 error: exception 11.3  6.05 662351872 error: exception 10.7  5.78 667062272
alternating_list_true-unreach-call_true-valid-memsafety.i_48.bpl true 256    218    1400893440 error: exception 10.8  5.91 662532096 error: exception 11.1  5.95 664489984
array01-alloca_true-valid-memsafety_true-termination.i_4.bpl true 17.0  10.5  669810688 error: exception 9.11 4.90 373469184 error: exception 8.50 4.57 377167872
array01-alloca_true-valid-memsafety_true-termination.i_8.bpl true 14.3  8.52 529842176 unknown 9.72 5.23 519008256 true 17.7  10.3  637784064
array02-alloca_true-valid-memsafety_true-termination.i_6.bpl true 16.5  10.3  670019584 error: exception 10.2  5.46 550739968 error: exception 9.80 5.24 553033728
array02-alloca_true-valid-memsafety_true-termination.i_8.bpl true 14.5  8.68 526929920 unknown 11.0  5.86 664965120 true 20.4  11.5  701153280
array03-alloca_true-valid-memsafety_true-termination.i_6.bpl true 17.5  10.8  680656896 unknown 16.2  8.48 810938368 true 25.9  15.1  829440000
array03-alloca_true-valid-memsafety_true-termination.i_8.bpl true 14.8  8.82 576970752 unknown 15.8  8.29 821485568 true 25.1  14.0  816046080
array3_false-valid-deref.i_5.bpl true 8.17 4.59 241074176 unknown 10.8  5.73 672538624 true 13.5  7.27 676204544
array3_false-valid-deref.i_6.bpl timeout 601    524    1350041600 unknown 11.1  5.92 664440832 timeout 600    521    1507889152
array3_false-valid-deref.i_8.bpl timeout 601    506    2463162368 unknown 12.1  6.38 679567360 timeout 601    500    2484862976
bubblesort-alloca_true-valid-memsafety_true-termination.i_7.bpl true 15.9  9.82 657862656 error: exception 9.77 5.30 519344128 error: exception 9.72 5.22 524697600
bubblesort-alloca_true-valid-memsafety_true-termination.i_8.bpl timeout 601    521    1742241792 error: exception 10.2  5.51 499572736 error: exception 9.56 5.15 490291200
count_down-alloca_true-valid-memsafety_true-termination.i_6.bpl true 8.78 4.98 259862528 unknown 13.0  6.84 668459008 true 15.2  8.21 685027328
count_down-alloca_true-valid-memsafety_true-termination.i_7.bpl true 14.0  8.42 501297152 unknown 11.5  6.06 663629824 true 19.4  11.0  701472768
count_down-alloca_true-valid-memsafety_true-termination.i_8.bpl timeout 600    517    1508659200 unknown 15.0  7.94 819101696 timeout 600    514    1938653184
cstrcat-alloca_true-valid-memsafety_true-termination.i_10.bpl timeout 600    539    1351188480 unknown 51.6  30.0  2620739584 timeout 601    531    2842267648
cstrcat-alloca_true-valid-memsafety_true-termination.i_8.bpl true 10.8  6.15 329367552 unknown 44.8  23.8  2192400384 true 45.2  24.9  2069262336
cstrcpy-alloca_true-valid-memsafety_true-termination.i_10.bpl true 40.3  30.2  998117376 error: exception 291    253    2877554688 error: exception 312    271    2875334656
cstrcpy-alloca_true-valid-memsafety_true-termination.i_8.bpl true 53.2  39.3  1055166464 error: exception 386    335    2870784000 error: exception 341    304    2894983168
cstrlen-alloca_true-valid-memsafety_true-termination.i_5.bpl true 9.75 5.65 297697280 unknown 14.3  7.56 801873920 true 18.9  10.2  826351616
cstrlen-alloca_true-valid-memsafety_true-termination.i_6.bpl true 32.9  22.8  876175360 unknown 17.8  9.28 897347584 true 47.0  29.7  1148477440
cstrncat-alloca_true-valid-memsafety_true-termination.i_10.bpl timeout 600    541    1306759168 unknown 57.9  31.3  2487201792 timeout 601    527    2828787712
cstrncat-alloca_true-valid-memsafety_true-termination.i_8.bpl true 10.0  5.79 309821440 unknown 41.2  22.0  2000039936 true 45.0  23.9  1994133504
cstrncpy-alloca_true-valid-memsafety_true-termination.i_12.bpl true 22.9  15.5  763060224 timeout 600    551    2929696768 timeout 600    560    2973609984
cstrncpy-alloca_true-valid-memsafety_true-termination.i_13.bpl true 30.2  20.7  809910272 timeout 600    555    3027709952 error: exception 258    225    2893205504
cstrncpy-alloca_true-valid-memsafety_true-termination.i_8.bpl true 53.0  39.7  1121087488 timeout 600    555    2965438464 timeout 600    554    2945564672
diff-alloca_true-valid-memsafety_true-termination.i_11.bpl true 20.6  13.3  680108032 error: exception 15.7  8.25 802721792 error: exception 16.1  8.35 797159424
diff-alloca_true-valid-memsafety_true-termination.i_14.bpl true 24.6  15.5  795090944 unknown 52.8  28.4  1927921664 true 75.4  41.3  2124406784
diff-alloca_true-valid-memsafety_true-termination.i_15.bpl true 53.3  38.2  1150873600 unknown 59.9  31.7  2164224000 true 107    66.8  2453741568
diff-alloca_true-valid-memsafety_true-termination.i_9.bpl true 22.5  14.6  715292672 error: exception 19.5  10.1  972189696 error: exception 18.7  9.73 930992128
dll_extends_pointer_true-valid-memsafety.i_14.bpl true 14.3  8.36 525803520 timeout 600    560    3080081408 timeout 600    560    3067215872
dll_extends_pointer_true-valid-memsafety.i_15.bpl true 12.1  7.13 425705472 timeout 600    554    3095179264 timeout 600    564    3017981952
dll_extends_pointer_true-valid-memsafety.i_23.bpl true 11.5  6.65 365760512 timeout 600    561    2965528576 timeout 600    564    2992295936
dll_extends_pointer_true-valid-memsafety.i_24.bpl true 14.7  8.83 568418304 timeout 600    564    2978549760 timeout 600    565    2944905216
dll_extends_pointer_true-valid-memsafety.i_28.bpl true 14.3  8.69 571404288 timeout 600    561    2972487680 timeout 601    568    2979700736
java_BubbleSort-alloca_true-valid-memsafety_true-termination.i_10.bpl true 20.7  13.1  686034944 error: exception 10.4  5.56 488517632 error: exception 9.51 5.14 484524032
java_BubbleSort-alloca_true-valid-memsafety_true-termination.i_6.bpl true 16.1  9.70 596692992 error: exception 9.77 5.20 517074944 error: exception 9.95 5.24 520929280
lis-alloca_true-valid-memsafety_true-termination.i_10.bpl true 11.7  6.67 363659264 unknown 82.4  56.5  2818244608 true 92.7  62.0  2832191488
lis-alloca_true-valid-memsafety_true-termination.i_14.bpl true 17.9  11.5  684388352 unknown 132    95.5  2846228480 true 134    95.2  2869497856
lis-alloca_true-valid-memsafety_true-termination.i_5.bpl true 19.4  12.4  684392448 unknown 66.8  34.3  2321268736 true 65.9  38.1  2237198336
lis-alloca_true-valid-memsafety_true-termination.i_7.bpl true 11.9  6.72 356511744 unknown 61.8  37.2  2609467392 true 63.4  39.0  2539417600
lis-alloca_true-valid-memsafety_true-termination.i_9.bpl true 14.8  8.98 585375744 unknown 51.6  29.3  2191482880 true 69.2  38.5  2109075456
lis_unsafe_false-valid-deref.i_10.bpl true 19.2  12.0  684593152 unknown 51.8  29.3  2157780992 true 67.1  38.8  2128031744
lis_unsafe_false-valid-deref.i_11.bpl false 9.18 5.21 278933504 unknown 68.9  41.6  2799386624 false 77.1  45.3  2816897024
lis_unsafe_false-valid-deref.i_13.bpl true 12.6  7.36 423268352 unknown 89.5  59.3  2832125952 true 100    63.8  2844037120
memset2_true-valid-memsafety_true-termination.c_4.bpl true 74.6  52.3  1202794496 unknown 8.50 4.62 347963392 true 71.9  51.5  1305382912
memset3_true-valid-memsafety_true-termination.c_4.bpl true 293    237    1288175616 unknown 8.38 4.56 366006272 true 307    248    1458933760
memsetNonZero2_true-valid-memsafety_true-termination.c_4.bpl true 72.7  51.6  1219567616 unknown 8.20 4.48 361140224 true 74.2  52.5  1265127424
memsetNonZero3_true-valid-memsafety_true-termination.c_4.bpl true 290    237    1291984896 unknown 8.57 4.66 349175808 true 303    246    1398018048
memsetNonZero_true-valid-memsafety_true-termination.c_4.bpl true 305    243    1318268928 unknown 8.37 4.55 356712448 true 293    239    1482272768
memset_true-valid-memsafety_true-termination.c_4.bpl true 294    239    1337896960 unknown 8.01 4.41 346476544 true 305    246    1389158400
merge_sort_true-unreach-call_true-valid-memsafety.i_19.bpl timeout 601    542    1494302720 error: exception 9.30 5.03 398991360 error: exception 9.73 5.21 400678912
openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i_5.bpl true 51.2  42.0  789651456 unknown 11.2  5.93 664682496 true 56.1  45.1  988237824
openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i_4.bpl true 24.0  15.8  762695680 error: exception 9.56 5.14 456540160 error: exception 9.82 5.24 454242304
openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i_3.bpl true 49.5  41.5  686014464 error: exception 9.92 5.34 446332928 error: exception 9.33 5.04 457125888
openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i_4.bpl true 22.7  15.2  782970880 unknown 13.5  7.14 675639296 true 31.6  20.0  967016448
openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i_10.bpl true 26.5  18.2  762068992 unknown 121    86.7  2844233728 true 148    104    2876055552
openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i_8.bpl true 40.3  28.2  923377664 unknown 163    122    2857680896 true 173    133    2874466304
openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i_12.bpl true 61.5  45.4  1136664576 error: exception 9.96 5.34 454131712 error: exception 9.77 5.27 451403776
openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i_15.bpl true 105    84.4  1275940864 error: exception 9.96 5.33 450908160 error: exception 10.6  5.61 451051520
openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i_16.bpl true 68.9  52.6  1176305664 error: exception 9.72 5.30 470855680 error: exception 10.1  5.47 478515200
openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i_9.bpl timeout 601    538    1289736192 unknown 66.2  35.4  2558390272 timeout 601    525    2849005568
openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i_13.bpl true 41.2  29.5  993259520 unknown 102    70.4  2863276032 true 120    86.5  2895020032
openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i_14.bpl true 59.6  44.5  1126313984 unknown 100    65.4  2853761024 true 147    104    2879238144
openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i_16.bpl true 13.8  8.05 469598208 unknown 90.9  61.6  2852773888 true 102    69.2  2873810944
openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i_10.bpl true 26.8  18.4  804761600 unknown 112    80.5  2845089792 true 131    91.0  2856374272
openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i_8.bpl true 38.8  27.7  965578752 unknown 155    121    2854969344 true 175    132    2879959040
openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i_10.bpl true 50.4  37.8  1033326592 unknown 92.9  63.9  2869854208 true 126    88.9  2886463488
openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i_9.bpl true 38.2  27.4  954896384 timeout 600    562    3021750272 timeout 600    561    3024334848
openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i_16.bpl true 52.9  38.2  1052987392 unknown 268    232    2950942720 true 293    252    2979258368
openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i_18.bpl true 49.7  37.3  1040236544 error: exception 452    397    3015532544 error: exception 411    370    3035250688
openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i_5.bpl true 27.6  18.9  771907584 unknown 17.0  8.82 889597952 true 39.0  24.7  1143537664
openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i_10.bpl true 10.7  6.10 308965376 unknown 43.2  22.7  2054103040 true 47.4  25.0  1926303744
openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i_12.bpl timeout 601    540    1273417728 unknown 55.4  31.2  2449756160 timeout 601    531    2860355584
openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i_14.bpl true 40.5  28.5  958369792 unknown 95.6  66.1  2873303040 true 121    83.1  2893635584
openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i_15.bpl true 59.6  45.7  1135247360 unknown 90.7  59.4  2874826752 true 150    105    2868932608
openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i_16.bpl true 13.6  7.97 475234304 unknown 87.6  57.9  2864799744 true 95.5  62.8  2887933952
openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i_10.bpl true 52.4  38.6  1041469440 timeout 600    559    2981646336 timeout 600    551    3029004288
openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i_11.bpl true 26.8  18.3  789704704 timeout 600    545    3052544000 timeout 600    556    3022090240
openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i_13.bpl true 25.8  17.2  776339456 timeout 600    557    2990305280 timeout 600    562    3008708608
openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i_14.bpl true 24.3  16.0  767496192 timeout 600    549    2979168256 timeout 600    559    2977734656
openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i_10.bpl true 45.1  33.0  974196736 unknown 89.7  61.0  2862411776 true 115    80.7  2877804544
openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i_11.bpl true 37.3  26.8  905322496 timeout 600    552    2982473728 timeout 600    557    3037274112
openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i_10.bpl true 38.1  26.9  880214016 timeout 600    560    3017957376 timeout 600    551    2996555776
openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i_9.bpl true 62.9  47.8  1132871680 unknown 95.4  66.2  2864918528 true 143    101    2890289152
openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i_10.bpl true 33.2  22.8  881938432 unknown 49.8  27.0  2504450048 true 75.6  46.3  2490929152
openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i_13.bpl true 45.2  32.8  1002123264 timeout 600    561    3043827712 timeout 600    556    3015872512
optional_data_creation_test04_false-valid-memtrack.i_23.bpl true 11.4  6.63 350912512 error: exception 8.97 4.90 411004928 error: exception 8.94 4.86 413548544
optional_data_creation_test04_false-valid-memtrack.i_25.bpl true 15.3  9.42 648986624 error: exception 8.52 4.69 414339072 error: exception 9.18 5.01 415719424
optional_data_creation_test04_false-valid-memtrack.i_32.bpl true 66.0  40.2  1283096576 error: exception 9.59 5.21 416460800 error: exception 9.32 5.11 417251328
optional_data_creation_test04_false-valid-memtrack.i_35.bpl true 357    305    1441607680 error: exception 9.24 4.97 416894976 error: exception 9.59 5.14 416960512
optional_data_creation_test04_true-valid-memsafety.i_23.bpl true 12.1  6.83 363900928 error: exception 9.10 4.98 413827072 error: exception 9.44 5.08 413945856
optional_data_creation_test04_true-valid-memsafety.i_25.bpl true 15.2  9.39 653041664 error: exception 8.79 4.75 418344960 error: exception 8.96 4.89 417083392
optional_data_creation_test04_true-valid-memsafety.i_32.bpl true 57.3  36.2  1443450880 error: exception 9.77 5.21 417566720 error: exception 9.14 4.98 417710080
optional_data_creation_test04_true-valid-memsafety.i_35.bpl true 352    298    1425768448 error: exception 8.65 4.79 416198656 error: exception 9.08 4.93 417026048
reverse_array_alloca_unsafe_false-valid-deref.i_6.bpl true 13.2  7.92 486866944 error: exception 8.11 4.45 338800640 error: exception 8.02 4.32 337653760
sanfoundry_24_false-valid-deref.i_4.bpl timeout 600    522    1359138816 error: exception 7.73 4.27 300134400 error: exception 7.72 4.27 301740032
selectionsort-alloca_true-valid-memsafety_true-termination.i_13.bpl true 11.7  6.62 345817088 unknown 15.5  8.10 808243200 true 22.4  11.9  835661824
selectionsort-alloca_true-valid-memsafety_true-termination.i_14.bpl true 13.7  7.95 436125696 error: exception 12.2  6.50 659734528 error: exception 11.7  6.26 667779072
selectionsort-alloca_true-valid-memsafety_true-termination.i_15.bpl true 13.4  7.96 484585472 unknown 15.2  8.02 819118080 true 25.6  14.0  842211328
selectionsort-alloca_true-valid-memsafety_true-termination.i_16.bpl true 16.5  9.99 675082240 unknown 104    78.5  2812125184 true 114    83.0  2825818112
selectionsort-alloca_true-valid-memsafety_true-termination.i_7.bpl true 14.0  8.41 502173696 error: exception 9.70 5.18 538345472 error: exception 9.92 5.33 537153536
selectionsort-alloca_true-valid-memsafety_true-termination.i_8.bpl true 13.5  8.14 487706624 error: exception 9.61 5.16 542064640 error: exception 10.1  5.44 550989824
selectionsort-alloca_true-valid-memsafety_true-termination.i_9.bpl true 11.3  6.33 325963776 error: exception 11.4  6.04 662118400 error: exception 11.4  6.18 657780736
sll-buckets_true-unreach-call_true-valid-memsafety.i_34.bpl true 121    97.1  1379540992 error: exception 10.7  5.68 436035584 error: exception 9.97 5.40 437600256
sll-buckets_true-unreach-call_true-valid-memsafety.i_35.bpl true 83.5  65.6  1265709056 error: exception 10.5  5.69 437153792 error: exception 9.89 5.36 435073024
sll-buckets_true-unreach-call_true-valid-memsafety.i_37.bpl true 100    79.5  1338228736 error: exception 9.64 5.23 437514240 error: exception 10.3  5.51 437346304
sll-buckets_true-unreach-call_true-valid-memsafety.i_41.bpl true 113    89.7  1397116928 error: exception 10.5  5.66 435355648 error: exception 10.1  5.45 431996928
sll-buckets_true-unreach-call_true-valid-memsafety.i_42.bpl true 81.4  63.7  1284861952 error: exception 10.7  5.76 433917952 error: exception 10.1  5.52 431538176
sll-buckets_true-unreach-call_true-valid-memsafety.i_43.bpl true 122    98.4  1411493888 error: exception 10.0  5.39 436609024 error: exception 10.1  5.47 431161344
sll-buckets_true-unreach-call_true-valid-memsafety.i_44.bpl true 106    83.9  1375862784 error: exception 10.7  5.73 435408896 error: exception 9.94 5.37 436563968
sll-buckets_true-unreach-call_true-valid-memsafety.i_45.bpl true 96.0  75.8  1376534528 error: exception 10.9  5.89 435433472 error: exception 10.2  5.53 437465088
sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_25.bpl true 13.1  7.69 464379904 error: exception 9.48 5.06 442183680 error: exception 9.26 4.99 431935488
sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_26.bpl true 15.9  9.54 626593792 error: exception 9.65 5.24 425676800 error: exception 9.41 5.07 423923712
sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_27.bpl true 19.2  11.9  685113344 error: exception 9.47 5.13 432984064 error: exception 8.85 4.83 431837184
sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_29.bpl true 21.4  13.8  696344576 error: exception 8.94 4.86 424484864 error: exception 9.35 5.05 425553920
sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_35.bpl true 26.3  17.1  799621120 error: exception 9.10 4.93 425291776 error: exception 8.92 4.90 422105088
sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_40.bpl true 18.9  11.8  695361536 error: exception 9.91 5.33 439910400 error: exception 9.54 5.11 430223360
sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_41.bpl timeout 601    534    1366331392 error: exception 9.70 5.15 438099968 error: exception 9.61 5.19 437403648
sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_42.bpl timeout 601    533    1353859072 error: exception 9.93 5.32 434462720 error: exception 9.47 5.15 441188352
sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_45.bpl true 14.1  8.33 511942656 error: exception 9.38 5.17 437510144 error: exception 9.97 5.28 438792192
sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_46.bpl true 22.2  14.0  698761216 error: exception 9.74 5.21 439017472 error: exception 9.64 5.19 439517184
sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_47.bpl true 36.8  23.8  905949184 error: exception 9.59 5.29 446992384 error: exception 9.66 5.24 452468736
sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_48.bpl true 38.5  25.8  898834432 error: exception 9.53 5.25 425299968 error: exception 9.34 5.08 425570304
sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_49.bpl true 30.8  21.0  882728960 error: exception 8.92 4.82 427200512 error: exception 9.60 5.20 427700224
sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_50.bpl true 53.9  39.2  1047703552 error: exception 9.62 5.26 425742336 error: exception 9.51 5.17 425631744
sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i_16.bpl true 13.4  7.67 428908544 timeout 600    547    3166355456 timeout 600    549    3130404864
sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i_17.bpl true 16.4  10.3  682975232 timeout 600    557    3194671104 timeout 600    549    3155009536
sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i_30.bpl timeout 601    538    1514000384 error: exception 398    353    3039825920 error: exception 378    329    3046285312
standard_strcpy_false-valid-deref_ground.i_10.bpl timeout 601    529    2550460416 unknown 27.7  14.2  1162326016 timeout 601    521    2838700032
standard_strcpy_false-valid-deref_ground.i_11.bpl true 12.5  7.12 364273664 unknown 33.9  17.3  1471127552 true 41.3  21.4  1523757056
standard_strcpy_false-valid-deref_ground.i_8.bpl timeout 601    526    1476382720 unknown 26.7  13.7  1138569216 timeout 601    521    2801393664
standard_strcpy_original_false-valid-deref.i_7.bpl timeout 600    525    1895399424 unknown 26.8  13.7  1120759808 timeout 601    519    2671976448
standard_strcpy_original_false-valid-deref.i_9.bpl timeout 601    529    2238111744 unknown 28.7  14.7  1163014144 timeout 601    523    2849669120
stroeder1-alloca_true-valid-memsafety_true-termination.i_4.bpl true 18.3  11.4  682119168 error: exception 8.52 4.61 354209792 error: exception 8.09 4.44 355295232
stroeder2-alloca_true-valid-memsafety_true-termination.i_4.bpl true 17.4  11.1  681013248 error: exception 8.21 4.43 353755136 error: exception 8.27 4.54 357146624
stroeder2-alloca_true-valid-memsafety_true-termination.i_8.bpl true 11.7  6.93 391692288 unknown 10.1  5.39 527237120 true 16.1  9.05 648753152
strreplace-alloca_true-valid-memsafety_true-termination.i_8.bpl true 9.90 5.80 316334080 unknown 19.5  10.1  996626432 true 26.1  13.9  1108807680
strreplace-alloca_true-valid-memsafety_true-termination.i_9.bpl true 32.2  22.5  876126208 unknown 23.5  12.1  1137557504 true 48.5  31.0  1395556352
test-0219_true-valid-memsafety.i_25.bpl unknown 7.06 4.02 224342016 error: exception 119    88.3  2946670592 error: exception 123    92.0  2941718528
test-0219_true-valid-memsafety.i_26.bpl unknown 7.04 3.97 223694848 error: exception 141    106    2960875520 error: exception 140    108    2953846784
test-0219_true-valid-memsafety.i_34.bpl unknown 7.93 4.49 240267264 timeout 601    541    3119968256 timeout 602    545    3145801728
test-0220_false-valid-memtrack.i_25.bpl unknown 7.34 4.08 223956992 error: exception 121    90.9  2948259840 error: exception 118    85.6  2946785280
test-0220_false-valid-memtrack.i_26.bpl unknown 7.15 4.02 221675520 error: exception 142    108    2951532544 error: exception 135    102    2961686528
test-0220_false-valid-memtrack.i_34.bpl unknown 7.94 4.49 240128000 timeout 601    552    3121369088 timeout 600    550    3114717184
test-0521_true-valid-memsafety.i_38.bpl true 45.8  32.9  1083404288 error: exception 11.7  6.36 669806592 error: exception 11.6  6.32 672387072
test-bitfields-2.1_false-valid-free.i_13.bpl true 12.4  6.98 490340352 timeout 600    570    2956533760 timeout 601    575    2973073408
test-bitfields-2.1_false-valid-free.i_15.bpl true 12.9  7.27 513888256 timeout 601    573    2955251712 timeout 601    574    2972205056
test-bitfields-2.1_false-valid-free.i_17.bpl true 19.5  11.9  692060160 timeout 601    577    2942816256 timeout 601    573    2966818816
test-bitfields-2.1_false-valid-free.i_19.bpl true 27.1  17.8  793485312 timeout 600    570    2925645824 timeout 601    573    2997858304
test-bitfields-2.1_true-valid-memsafety_true-termination.i_13.bpl true 10.7  6.11 402780160 timeout 600    565    2893185024 timeout 600    565    2861326336
test-bitfields-2.1_true-valid-memsafety_true-termination.i_16.bpl true 21.3  13.1  699162624 timeout 600    568    2906587136 timeout 601    571    2857148416
test-bitfields-2.1_true-valid-memsafety_true-termination.i_18.bpl true 22.5  14.3  782786560 timeout 600    571    2858180608 timeout 600    569    2949959680
test-bitfields-2_false-valid-deref.i_13.bpl true 12.9  7.28 491196416 timeout 600    562    2899275776 timeout 600    561    2891395072
test-bitfields-2_false-valid-deref.i_15.bpl true 14.2  7.98 520581120 timeout 601    573    2854961152 timeout 600    563    2961977344
test-bitfields-2_true-valid-memsafety_true-termination.i_13.bpl true 12.0  6.77 447062016 timeout 600    568    2858971136 timeout 600    565    2893971456
test-bitfields-2_true-valid-memsafety_true-termination.i_15.bpl true 13.4  7.46 466448384 timeout 600    559    2913505280 timeout 600    567    2877145088
test-bitfields-2_true-valid-memsafety_true-termination.i_17.bpl true 18.6  11.5  684969984 timeout 601    570    2898751488 timeout 601    576    2885369856
test-bitfields-2_true-valid-memsafety_true-termination.i_19.bpl true 24.3  15.6  812339200 timeout 601    574    2852884480 timeout 601    568    2888613888
test-bitfields-2_true-valid-memsafety_true-termination.i_21.bpl true 23.5  15.0  785313792 timeout 601    574    2963386368 timeout 601    573    2871312384
test-bitfields-3.1_true-valid-memsafety_true-termination.i_11.bpl true 31.2  20.2  895840256 timeout 601    574    2954407936 timeout 600    567    2941988864
test-bitfields-3.1_true-valid-memsafety_true-termination.i_7.bpl true 18.6  10.9  691888128 timeout 600    571    2948014080 timeout 600    574    2953441280
test-bitfields-3.1_true-valid-memsafety_true-termination.i_9.bpl true 19.6  11.2  696377344 timeout 601    572    2993319936 timeout 600    567    2960637952
test-bitfields-3_false-valid-deref.i_11.bpl true 30.7  19.3  788733952 timeout 600    569    3023777792 timeout 600    573    2992603136
test-bitfields-3_false-valid-deref.i_7.bpl true 16.6  9.78 687247360 timeout 600    566    3009155072 timeout 600    571    3036418048
test-bitfields-3_false-valid-deref.i_9.bpl true 20.2  11.5  698048512 timeout 600    567    3008667648 timeout 600    566    3039211520
test-bitfields-3_true-valid-memsafety_true-termination.i_11.bpl true 29.5  18.7  797872128 timeout 600    572    3032838144 timeout 600    572    2983161856
test-bitfields-3_true-valid-memsafety_true-termination.i_7.bpl true 18.3  10.7  678723584 timeout 600    559    3042111488 timeout 600    571    3018293248
test-bitfields-3_true-valid-memsafety_true-termination.i_9.bpl true 19.0  10.9  689405952 timeout 600    569    3008847872 timeout 600    567    3026145280
test-memleak_nexttime_true-valid-memsafety_true-termination.i_11.bpl true 12.4  7.05 429379584 error: exception 9.59 5.17 479088640 error: exception 9.49 5.09 476897280
test-memleak_nexttime_true-valid-memsafety_true-termination.i_16.bpl true 24.1  15.4  788054016 error: exception 9.50 5.20 440532992 error: exception 9.51 5.10 438841344
test-memleak_nexttime_true-valid-memsafety_true-termination.i_9.bpl true 14.7  8.38 532066304 error: exception 9.62 5.13 476827648 error: exception 9.66 5.18 476934144
tree_of_cslls_true-valid-memsafety.i_47.bpl true 16.0  9.52 644866048 timeout 600    556    3124166656 timeout 600    557    3043831808
tree_of_cslls_true-valid-memsafety.i_49.bpl true 51.1  36.2  1052000256 timeout 600    563    3023204352 timeout 600    556    3042377728
tree_of_cslls_true-valid-memsafety.i_51.bpl true 38.1  26.4  914567168 timeout 600    566    3136061440 timeout 600    559    3077578752
../../../trunk/examples/programs/20181010-MemSafetyPathprograms/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 269 37500 31300 251505909760 269 43500 38600 430254030848 269 62800 55200 472717053952
    correct results 0 0 0
        correct true 0 0 0
        correct false 0 0 0
    incorrect results 0 0 0
        incorrect true 0 0 0
        incorrect false 0 0 0
Run set Automizer HeapSeparator Automizer+HeapSeparator