Tool ULTIMATE Automizer 0.1.24-0ed9222f
Limits timelimit: 900 s, memlimit: 8000 MB, CPU core limit: 2
Host struebli
OS Linux-4.20.1-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.6
System CPU: AMD EPYC 7351P 16-Core Processor, cores: 32, frequency: 2400 MHz, Turbo Boost: enabled; RAM: 135156 MB
Date of execution 2019-01-11 17:27:34 CET 2019-01-14 11:19:50 CET
Run set sv-comp19_prop-reachsafety.ReachSafety-Loops sv-comp19_prop-reachsafety.ReachSafety-Loops
Options --full-output --full-output
../../../../../svcomp/c/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
loops/array_false-unreach-call_true-termination.i false(unreach-call) 8.25 4.92 252084224 false(unreach-call) 8.63 4.98 248414208
loops/bubble_sort_false-unreach-call.i false(unreach-call) 15.5  8.66 417546240 false(unreach-call) 15.5  8.72 413036544
loops/count_up_down_false-unreach-call_true-termination.i false(unreach-call) 7.19 4.44 232448000 false(unreach-call) 7.22 4.39 233353216
loops/eureka_01_false-unreach-call_true-termination.i false(unreach-call) 219    188    1813794816 false(unreach-call) 213    182    1527529472
loops/for_bounded_loop1_false-unreach-call_true-termination.i false(unreach-call) 11.5  6.67 296398848 false(unreach-call) 11.5  6.85 300597248
loops/insertion_sort_false-unreach-call_true-termination.i false(unreach-call) 141    103    976666624 false(unreach-call) 140    104    925167616
loops/invert_string_false-unreach-call_true-termination.i false(unreach-call) 21.8  13.7  583712768 false(unreach-call) 20.7  13.3  587792384
loops/linear_search_false-unreach-call.i timeout 900    866    696143872 timeout 900    866    724033536
loops/ludcmp_false-unreach-call.i error (7) 77.9  62.0  904351744 true 270    240    4316450816
loops/matrix_false-unreach-call_true-termination.i false(unreach-call) 9.69 5.79 265564160 false(unreach-call) 9.44 5.69 263016448
loops/n.c24_false-unreach-call.i timeout 901    803    3226132480 timeout 900    804    2720743424
loops/nec11_false-unreach-call_false-termination.i false(unreach-call) 7.09 4.37 235253760 false(unreach-call) 7.35 4.45 237572096
loops/nec20_false-unreach-call_true-termination.i false(unreach-call) 7.70 4.75 248107008 false(unreach-call) 7.83 4.72 250548224
loops/s3_false-unreach-call.i error (7) 14.9  8.16 237932544 true 187    141    859729920
loops/string_false-unreach-call_true-termination.i false(unreach-call) 28.8  17.3  516050944 false(unreach-call) 30.1  18.2  514539520
loops/sum01_bug02_false-unreach-call_true-termination.i false(unreach-call) 17.7  10.7  507863040 false(unreach-call) 16.9  10.5  486612992
loops/sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.i false(unreach-call) 13.2  8.11 415289344 false(unreach-call) 13.5  8.23 418721792
loops/sum01_false-unreach-call_true-termination.i false(unreach-call) 15.9  9.71 481046528 false(unreach-call) 16.5  10.1  496615424
loops/sum03_false-unreach-call_true-termination.i false(unreach-call) 184    175    504811520 false(unreach-call) 185    176    499556352
loops/sum04_false-unreach-call_true-termination.i false(unreach-call) 10.1  6.07 295833600 false(unreach-call) 9.59 5.81 291213312
loops/sum_array_false-unreach-call.i false(unreach-call) 9.36 5.61 258916352 false(unreach-call) 9.18 5.44 256155648
loops/terminator_01_false-unreach-call_true-termination.i false(unreach-call) 7.69 4.63 239222784 false(unreach-call) 7.31 4.46 246964224
loops/terminator_02_false-unreach-call_true-termination.i false(unreach-call) 7.74 4.69 241930240 false(unreach-call) 7.26 4.42 249212928
loops/terminator_03_false-unreach-call_true-termination.i false(unreach-call) 8.05 4.85 247836672 false(unreach-call) 7.38 4.56 246378496
loops/trex01_false-unreach-call_true-termination.i false(unreach-call) 7.34 4.49 250802176 false(unreach-call) 7.24 4.37 244178944
loops/trex02_false-unreach-call_true-termination.i false(unreach-call) 7.31 4.40 233431040 false(unreach-call) 6.91 4.28 229531648
loops/trex03_false-unreach-call_true-termination.i false(unreach-call) 7.41 4.50 233422848 false(unreach-call) 7.34 4.45 236011520
loops/verisec_NetBSD-libc__loop_false-unreach-call_true-termination.i false(unreach-call) 9.44 5.58 269545472 false(unreach-call) 9.58 5.70 269672448
loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call_true-termination.i false(unreach-call) 20.1  12.0  510435328 false(unreach-call) 19.6  11.7  506585088
loops/vogal_false-unreach-call.i timeout 901    845    1339097088 timeout 901    846    1356574720
loops/while_infinite_loop_4_false-unreach-call_true-termination.i false(unreach-call) 7.20 4.31 234524672 false(unreach-call) 7.08 4.42 232136704
loops/array_true-unreach-call_true-termination.i true 12.7  7.68 379383808 true 12.8  7.76 379170816
loops/bubble_sort_true-unreach-call_true-termination.i true 8.22 4.95 249634816 true 7.15 4.44 246956032
loops/count_up_down_true-unreach-call_true-termination.i true 13.3  8.23 393007104 true 12.9  7.85 388567040
loops/eureka_01_true-unreach-call.i timeout 900    857    1509883904 timeout 900    859    1363382272
loops/eureka_05_true-unreach-call_true-termination.i timeout 901    872    964513792 timeout 900    873    843972608
loops/for_infinite_loop_1_true-unreach-call_false-termination.i true 7.93 4.73 240644096 true 7.71 4.70 249786368
loops/for_infinite_loop_2_true-unreach-call_false-termination.i true 7.79 4.67 251183104 true 7.74 4.65 258158592
loops/insertion_sort_true-unreach-call_true-termination.i timeout 901    841    1322426368 timeout 901    843    1526366208
loops/invert_string_true-unreach-call_true-termination.i true 108    79.9  949256192 true 103    76.5  926158848
loops/linear_sea.ch_true-unreach-call.i timeout 901    870    724553728 timeout 900    873    733327360
loops/lu.cmp_true-unreach-call.i true 16.8  9.92 494215168 true 35.6  19.3  776314880
loops/matrix_true-unreach-call_true-termination.i true 23.5  16.6  513171456 true 25.1  18.2  502800384
loops/n.c11_true-unreach-call_false-termination.i true 12.3  7.37 353726464 true 12.5  7.20 353624064
loops/n.c40_true-unreach-call_true-termination.i error (7) 24.2  16.9  271675392 true 12.9  7.38 347947008
loops/nec40_true-unreach-call_true-termination.i error (7) 24.3  16.8  278478848 true 11.4  6.64 311586816
loops/string_true-unreach-call_true-termination.i true 10.6  6.38 300707840 true 11.2  6.57 314896384
loops/sum01_true-unreach-call_true-termination.i true 12.6  7.68 403062784 true 12.8  7.82 414838784
loops/sum03_true-unreach-call_false-termination.i true 8.20 4.89 247087104 true 7.85 4.77 248377344
loops/sum04_true-unreach-call_true-termination.i true 13.5  8.15 420515840 true 13.1  8.03 416370688
loops/sum_array_true-unreach-call.i timeout 900    845    830345216 timeout 900    846    826585088
loops/terminator_02_true-unreach-call_true-termination.i true 8.72 5.35 249888768 true 8.97 5.40 249479168
loops/terminator_03_true-unreach-call_true-termination.i true 8.23 5.01 245182464 true 7.88 4.84 249147392
loops/trex01_true-unreach-call_true-termination.i true 8.44 5.13 248217600 true 8.64 5.18 247791616
loops/trex02_true-unreach-call_true-termination.i true 8.03 4.81 246325248 true 7.77 4.65 247377920
loops/trex03_true-unreach-call_true-termination.i true 8.01 4.83 248393728 true 7.71 4.69 247353344
loops/trex04_true-unreach-call_false-termination.i true 8.69 5.14 247222272 true 8.15 4.88 248819712
loops/veris.c_NetBSD-libc__loop_true-unreach-call_true-termination.i true 10.7  6.27 309608448 true 10.5  6.23 301383680
loops/veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call_true-termination.i true 9.65 5.73 270708736 true 9.70 5.61 268857344
loops/veris.c_sendmail__tTflag_arr_one_loop_true-unreach-call_true-termination.i true 7.86 4.71 246984704 true 7.69 4.65 246849536
loops/vogal_true-unreach-call.i timeout 900    851    2258055168 timeout 901    853    1703837696
loops/while_infinite_loop_1_true-unreach-call_false-termination.i true 7.50 4.58 245714944 true 7.79 4.69 246267904
loops/while_infinite_loop_2_true-unreach-call_false-termination.i true 7.42 4.51 245731328 true 7.76 4.70 245600256
loops/while_infinite_loop_3_true-unreach-call_false-termination.i true 7.73 4.75 253132800 true 7.33 4.24 251437056
loop-acceleration/array_false-unreach-call1_true-termination.i timeout 900    863    866193408 timeout 901    859    845991936
loop-acceleration/array_false-unreach-call2_true-termination.i timeout 900    869    799051776 timeout 900    869    812556288
loop-acceleration/array_false-unreach-call3_true-termination.i timeout 900    862    841293824 timeout 900    859    874430464
loop-acceleration/const_false-unreach-call1.i timeout 900    873    666689536 timeout 900    872    697278464
loop-acceleration/diamond_false-unreach-call1.i timeout 901    869    711593984 timeout 900    871    708055040
loop-acceleration/functions_false-unreach-call1_true-termination.i timeout 900    880    753512448 timeout 900    880    716165120
loop-acceleration/multivar_false-unreach-call1_true-termination.i false(unreach-call) 6.70 4.15 232218624 false(unreach-call) 7.14 4.33 233381888
loop-acceleration/nested_false-unreach-call1.i timeout 900    880    801869824 timeout 900    880    861179904
loop-acceleration/phases_false-unreach-call1.i timeout 900    882    660250624 timeout 900    885    686628864
loop-acceleration/phases_false-unreach-call2_false-termination.i false(unreach-call) 7.53 4.58 233549824 false(unreach-call) 7.12 4.36 235159552
loop-acceleration/simple_false-unreach-call1.i timeout 900    880    673841152 timeout 900    880    684896256
loop-acceleration/simple_false-unreach-call2_true-termination.i false(unreach-call) 6.99 4.27 233541632 false(unreach-call) 6.55 4.12 226951168
loop-acceleration/simple_false-unreach-call3_true-termination.i false(unreach-call) 7.15 4.45 230760448 false(unreach-call) 7.21 4.42 234278912
loop-acceleration/simple_false-unreach-call4.i timeout 900    881    711905280 timeout 900    881    667160576
loop-acceleration/underapprox_false-unreach-call1_true-termination.i false(unreach-call) 11.2  6.76 338288640 false(unreach-call) 12.0  7.17 335593472
loop-acceleration/underapprox_false-unreach-call2_true-termination.i false(unreach-call) 10.8  6.54 338747392 false(unreach-call) 11.4  6.86 343240704
loop-acceleration/array_true-unreach-call1_true-termination.i true 12.8  8.44 324104192 true 12.6  8.37 322965504
loop-acceleration/array_true-unreach-call2_true-termination.i timeout 900    868    790831104 timeout 900    869    784994304
loop-acceleration/array_true-unreach-call3_true-termination.i true 12.9  7.68 382791680 true 13.6  8.03 385904640
loop-acceleration/array_true-unreach-call4_true-termination.i timeout 901    859    853917696 timeout 900    858    913432576
loop-acceleration/const_true-unreach-call1.i true 10.2  6.15 290258944 true 9.76 5.92 286584832
loop-acceleration/diamond_true-unreach-call1_true-termination.i timeout 900    874    716234752 timeout 900    878    694669312
loop-acceleration/diamond_true-unreach-call2.i true 187    174    649424896 true 179    166    669573120
loop-acceleration/functions_true-unreach-call1_true-termination.i timeout 900    878    676106240 timeout 900    879    673312768
loop-acceleration/multivar_true-unreach-call1_true-termination.i true 7.41 4.69 245325824 true 7.54 4.49 250793984
loop-acceleration/nested_true-unreach-call1.i true 73.1  53.8  828878848 true 79.6  59.8  762613760
loop-acceleration/overflow_true-unreach-call1.i timeout 900    881    625299456 timeout 900    882    597463040
loop-acceleration/phases_true-unreach-call1.i timeout 900    882    669179904 timeout 900    883    697499648
loop-acceleration/phases_true-unreach-call2_false-termination.i true 13.0  9.44 274817024 true 13.1  9.52 271790080
loop-acceleration/simple_true-unreach-call1.i timeout 900    880    704282624 timeout 900    882    705216512
loop-acceleration/simple_true-unreach-call2_true-termination.i true 7.29 4.52 247107584 true 6.96 4.29 249143296
loop-acceleration/simple_true-unreach-call3_true-termination.i true 9.88 6.77 260132864 true 10.8  7.27 264724480
loop-acceleration/simple_true-unreach-call4.i true 11.0  7.49 276418560 true 11.0  7.39 278261760
loop-acceleration/underapprox_true-unreach-call1_true-termination.i true 30.1  24.1  445972480 true 31.9  25.6  448176128
loop-acceleration/underapprox_true-unreach-call2_true-termination.i true 9.63 5.86 294215680 true 9.55 5.81 282443776
loop-crafted/simple_array_index_value_false-unreach-call1_false-termination.i false(unreach-call) 7.72 4.67 248205312 false(unreach-call) 7.30 4.46 250941440
loop-crafted/simple_array_index_value_true-unreach-call1_true-termination.i timeout 900    880    765739008 timeout 900    882    744255488
loop-crafted/simple_array_index_value_true-unreach-call2_true-termination.i timeout 900    873    708411392 timeout 901    871    724316160
loop-crafted/simple_array_index_value_true-unreach-call3_true-termination.i timeout 900    876    784916480 timeout 900    874    742948864
loop-crafted/simple_array_index_value_true-unreach-call4_true-termination.i true 19.5  13.5  440139776 true 18.8  13.2  436043776
loop-crafted/simple_vardep_true-unreach-call1_true-termination.i true 8.35 5.00 248279040 true 7.49 4.60 249438208
loop-crafted/simple_vardep_true-unreach-call2_true-termination.i true 8.43 5.15 247959552 true 7.56 4.74 250187776
loop-crafted/simple_array_index_value_true-unreach-call4.i.v+lhb-reducer.c true 27.1  20.7  465633280 true 33.8  27.1  476991488
loop-crafted/simple_array_index_value_true-unreach-call4.i.v+nlh-reducer.c true 19.7  12.6  494673920 true 20.8  14.2  482029568
loop-invgen/id_trans_false-unreach-call_true-termination.i false(unreach-call) 8.87 5.38 252141568 false(unreach-call) 8.67 5.23 253534208
loop-invgen/MADWiFi-encode_ie_ok_true-unreach-call_true-termination.i true 13.0  7.82 367194112 true 11.3  6.93 364429312
loop-invgen/NetBSD_loop_true-unreach-call_true-termination.i true 11.7  7.04 333930496 true 10.8  6.53 335802368
loop-invgen/SpamAssassin-loop_true-unreach-call_false-termination.i true 15.0  9.35 506380288 true 15.0  9.18 515735552
loop-invgen/apache-escape-absolute_true-unreach-call_true-termination.i true 17.3  10.5  538931200 true 16.7  10.1  507506688
loop-invgen/apache-get-tag_true-unreach-call_true-termination.i true 14.7  8.86 432254976 true 14.0  8.51 424263680
loop-invgen/down_true-unreach-call_true-termination.i timeout 901    763    1098457088 timeout 901    764    1259134976
loop-invgen/fragtest_simple_true-unreach-call_true-termination.i timeout 901    773    1645817856 timeout 901    776    1501130752
loop-invgen/half_2_true-unreach-call_true-termination.i timeout 901    779    889761792 timeout 901    779    897581056
loop-invgen/heapsort_true-unreach-call_true-termination.i true 317    291    1148903424 true 371    343    1211437056
loop-invgen/id_build_true-unreach-call_true-termination.i true 8.38 5.07 247164928 true 8.06 4.89 248246272
loop-invgen/large_const_true-unreach-call_true-termination.i true 12.3  7.45 389214208 true 12.4  7.51 376528896
loop-invgen/nest-if3_true-unreach-call_true-termination.i true 7.83 4.64 244678656 true 7.93 4.90 249458688
loop-invgen/nested6_true-unreach-call_true-termination.i true 11.9  7.23 374185984 true 12.2  7.47 372776960
loop-invgen/nested9_true-unreach-call_true-termination.i true 16.9  10.1  497926144 true 15.9  9.61 487862272
loop-invgen/sendmail-close-angle_true-unreach-call_true-termination.i true 26.4  16.6  577380352 true 26.3  16.8  564531200
loop-invgen/seq_true-unreach-call_true-termination.i timeout 901    824    935079936 timeout 901    824    934678528
loop-invgen/string_concat-noarr_true-unreach-call_false-termination.i true 371    315    1528143872 true 369    315    1368674304
loop-invgen/up_true-unreach-call_true-termination.i timeout 901    764    1204301824 timeout 901    767    1133137920
loop-invgen/SpamAssassin-loop_true-unreach-call.i.v+cfa-reducer.c true 25.4  15.2  594927616 true 25.2  15.0  584044544
loop-invgen/apache-escape-absolute_true-unreach-call.i.v+cfa-reducer.c true 30.1  18.0  568455168 true 29.9  17.7  583847936
loop-invgen/apache-get-tag_true-unreach-call.i.p+lhb-reducer.c true 27.6  17.0  589144064 true 28.8  17.5  606818304
loop-invgen/apache-get-tag_true-unreach-call.i.p+nlh-reducer.c true 48.8  32.0  762048512 true 46.4  30.4  782635008
loop-invgen/apache-get-tag_true-unreach-call.i.p+sep-reducer.c true 55.4  34.1  969560064 true 59.8  36.2  953139200
loop-invgen/apache-get-tag_true-unreach-call.i.v+lhb-reducer.c true 26.0  15.7  589750272 true 25.0  15.1  568770560
loop-invgen/apache-get-tag_true-unreach-call.i.v+nlh-reducer.c true 24.0  14.2  516055040 true 22.9  13.9  513867776
loop-invgen/id_build_true-unreach-call.i.p+nlh-reducer.c true 21.3  12.0  525066240 true 20.5  11.7  520433664
loop-invgen/id_build_true-unreach-call.i.p+sep-reducer.c true 19.9  11.4  537989120 true 19.7  11.4  544854016
loop-invgen/id_build_true-unreach-call.i.v+lhb-reducer.c true 9.91 5.90 276688896 true 9.71 5.82 268619776
loop-lit/afnp2014_true-unreach-call_true-termination.c.i true 9.18 5.55 262766592 true 9.29 5.66 267816960
loop-lit/bhmr2007_true-unreach-call_true-termination.c.i true 13.8  8.38 440909824 true 13.1  8.21 444563456
loop-lit/cggmp2005_true-unreach-call_true-termination.c.i true 11.0  6.74 331632640 true 11.2  6.78 328392704
loop-lit/cggmp2005_variant_true-unreach-call_true-termination.c.i true 12.1  7.17 355049472 true 12.2  7.39 341557248
loop-lit/cggmp2005b_true-unreach-call_true-termination.c.i true 9.46 5.66 275935232 true 9.83 5.87 275578880
loop-lit/css2003_true-unreach-call_true-termination.c.i true 8.03 4.89 247599104 true 8.01 4.98 247586816
loop-lit/ddlm2013_true-unreach-call.i true 14.7  9.60 397930496 true 14.4  9.56 401485824
loop-lit/gj2007_true-unreach-call_true-termination.c.i true 130    86.6  1065979904 true 124    84.5  1033707520
loop-lit/gj2007b_true-unreach-call_true-termination.c.i true 11.0  6.60 322748416 true 11.4  6.84 319238144
loop-lit/gr2006_true-unreach-call_true-termination.c.i true 128    90.2  1332215808 true 126    88.8  1347833856
loop-lit/gsv2008_true-unreach-call_true-termination.c.i true 9.19 5.51 267948032 true 9.10 5.48 260571136
loop-lit/hhk2008_true-unreach-call_true-termination.c.i true 10.7  6.43 305999872 true 10.5  6.33 304930816
loop-lit/jm2006_true-unreach-call_true-termination.c.i true 13.1  7.93 397053952 true 12.9  7.79 401076224
loop-lit/jm2006_variant_true-unreach-call_true-termination.c.i true 11.7  7.03 346480640 true 12.3  7.42 353771520
loop-lit/mcmillan2006_true-unreach-call_true-termination.c.i timeout 901    808    921128960 timeout 900    808    919437312
loop-lit/gcnr2008_false-unreach-call_false-termination.i false(unreach-call) 7.75 4.62 248254464 false(unreach-call) 7.05 4.39 245755904
loop-lit/gj2007_true-unreach-call.c.i.p+lhb-reducer.c true 136    93.4  985251840 true 132    91.1  1023721472
loop-lit/gj2007_true-unreach-call.c.i.p+nlh-reducer.c true 161    117    972427264 true 165    119    957042688
loop-lit/gsv2008_true-unreach-call.c.i.p+cfa-reducer.c true 8.06 4.90 249204736 true 8.27 5.06 249225216
loop-lit/gsv2008_true-unreach-call.c.i.v+cfa-reducer.c true 7.92 4.80 247943168 true 8.00 4.87 249155584
loop-lit/gsv2008_true-unreach-call.c.i.v+lhb-reducer.c true 9.40 5.31 267333632 true 9.46 5.67 262094848
loop-lit/jm2006_true-unreach-call.c.i.v+cfa-reducer.c true 12.5  7.54 347942912 true 12.0  7.18 353116160
loop-new/count_by_1_true-unreach-call_true-termination.i true 9.11 5.48 275689472 true 9.10 5.53 268795904
loop-new/count_by_1_variant_true-unreach-call_true-termination.i true 9.38 5.72 278544384 true 9.36 5.77 273108992
loop-new/count_by_2_true-unreach-call_true-termination.i timeout 900    753    1151184896 timeout 901    754    1246605312
loop-new/count_by_k_true-unreach-call_true-termination.i timeout 900    793    1041956864 timeout 901    793    985931776
loop-new/count_by_nondet_true-unreach-call_true-termination.i timeout 901    759    2460987392 timeout 901    758    3197095936
loop-new/gauss_sum_true-unreach-call_true-termination.i timeout 901    788    868241408 timeout 901    786    894664704
loop-new/half_true-unreach-call_true-termination.i true 18.4  11.5  505151488 true 18.2  11.6  496500736
loop-new/nested_true-unreach-call_true-termination.i true 199    157    4527996928 true 190    154    4524654592
loop-new/gauss_sum_true-unreach-call.i.p+cfa-reducer.c timeout 901    824    851664896 timeout 901    826    853315584
loop-new/gauss_sum_true-unreach-call.i.p+lhb-reducer.c timeout 900    818    886870016 timeout 900    819    862236672
loop-new/gauss_sum_true-unreach-call.i.v+cfa-reducer.c timeout 901    825    898236416 timeout 901    824    903581696
loop-industry-pattern/aiob_1_true-unreach-call.c error (7) 12.0  7.02 204177408 error (7) 12.3  7.04 200990720
loop-industry-pattern/aiob_2_true-unreach-call.c error (7) 12.4  7.15 202715136 error (7) 11.5  6.76 197529600
loop-industry-pattern/aiob_3_true-unreach-call.c error (7) 12.0  6.97 206098432 error (7) 11.8  6.90 204509184
loop-industry-pattern/aiob_4_true-unreach-call.c error (7) 12.2  7.02 200118272 error (7) 11.9  6.84 201150464
loop-industry-pattern/aiob_4_true-unreach-call.c.v+cfa-reducer.c out of memory 104    72.2  8000000000 out of memory 110    76.1  8000000000
loop-industry-pattern/aiob_4_true-unreach-call.c.v+lh-reducer.c true 21.1  12.1  495554560 true 19.5  11.3  505282560
loop-industry-pattern/aiob_4_true-unreach-call.c.v+lhb-reducer.c out of memory 122    83.8  8000000000 out of memory 128    87.3  8000004096
loop-industry-pattern/aiob_4_true-unreach-call.c.v+nlh-reducer.c true 81.6  66.2  851038208 true 80.9  65.9  894152704
loop-industry-pattern/mod3_true-unreach-call.c true 9.01 5.44 252182528 true 8.74 5.34 251686912
loop-industry-pattern/mod3_true-unreach-call.c.v+cfa-reducer.c true 9.37 5.92 257388544 true 9.43 5.66 265371648
loop-industry-pattern/mod3_true-unreach-call.c.v+lhb-reducer.c true 11.8  8.26 254291968 true 12.2  8.57 254136320
loop-industry-pattern/mod3_true-unreach-call.c.v+sep-reducer.c true 9.51 5.64 252788736 true 9.42 5.64 255127552
loop-industry-pattern/nested_true-unreach-call.c timeout 901    842    5563301888 timeout 901    840    5447327744
loop-industry-pattern/ofuf_1_true-unreach-call.c true 14.3  7.99 401420288 true 14.7  8.14 407052288
loop-industry-pattern/ofuf_2_true-unreach-call.c true 13.6  7.80 396304384 true 13.2  7.61 405278720
loop-industry-pattern/ofuf_3_true-unreach-call.c true 14.0  7.87 413163520 true 13.4  7.54 404234240
loop-industry-pattern/ofuf_4_true-unreach-call.c true 14.1  7.90 404025344 true 14.8  8.25 412524544
loop-industry-pattern/ofuf_5_true-unreach-call.c true 14.8  8.21 410505216 true 14.0  7.93 404938752
loops/heavy_true-unreach-call.c true 28.0  16.0  2540449792 out of memory 107    61.8  8000000000
loops/compact_false-unreach-call.c timeout 900    876    1182007296 timeout 900    880    5208236032
loops/heavy_false-unreach-call.c timeout 901    844    5476962304 out of memory 102    60.9  8000000000
loops-crafted-1/Mono1_false-unreach-call1.c timeout 900    882    696561664 timeout 900    883    604876800
loops-crafted-1/Mono3_false-unreach-call1.c timeout 901    877    692113408 timeout 900    885    597327872
loops-crafted-1/Mono4_false-unreach-call1.c timeout 901    757    1362046976 timeout 901    757    1235951616
loops-crafted-1/Mono5_false-unreach-call1.c timeout 900    882    684548096 timeout 900    882    680980480
loops-crafted-1/Mono6_false-unreach-call1.c timeout 900    882    705073152 timeout 900    881    668250112
loops-crafted-1/nested3_false-unreach-call.c timeout 900    881    663158784 timeout 900    880    669634560
loops-crafted-1/nested5_false-unreach-call.c timeout 901    880    612507648 timeout 900    881    616247296
loops-crafted-1/Mono1_true-unreach-call1.c timeout 900    884    608247808 timeout 900    883    631558144
loops-crafted-1/nested3_true-unreach-call.c timeout 901    862    873312256 timeout 901    857    916631552
loops-crafted-1/nested5_true-unreach-call.c true 17.9  13.2  350982144 true 22.6  17.9  355749888
loop-invariants/bin-suffix-5_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c true 14.8  9.04 249683968 true 15.9  9.54 253595648
loop-invariants/const_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c true 7.67 4.71 247332864 true 7.75 4.73 252108800
loop-invariants/eq1_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c true 7.67 4.70 241713152 true 8.11 4.90 246013952
loop-invariants/eq2_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c true 8.18 4.97 248090624 true 8.01 4.91 252764160
loop-invariants/even_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c true 7.77 4.75 245714944 true 8.32 5.05 249487360
loop-invariants/mod4_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c true 8.13 4.94 248049664 true 7.67 4.68 246235136
loop-invariants/odd_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c true 15.7  11.8  284282880 true 16.6  12.3  282210304
../../../../../svcomp/c/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 208 53200 49100 145087111168 208 52900 48700 160338493440
    correct results 144 4130 3040 64955760640 145 4170 3090 62861299712
        correct true 109 3250 2370 51837513728 110 3300 2420 50091347968
        correct false 35 884 672 13118246912 35 877 668 12769951744
    incorrect results 0 2 457 381 5176180736
        incorrect true 0 2 457 381 5176180736
        incorrect false 0 0
score (208 tasks, max score: 357) 253 191
Run set sv-comp19_prop-reachsafety.ReachSafety-Loops sv-comp19_prop-reachsafety.ReachSafety-Loops