Tool ULTIMATE Automizer 0.1.23-d63d1fb5
Limits timelimit: 90 s, memlimit: 6000 MB, CPU core limit: 2
Host monteverdi
OS Linux-4.12.12-gentoo-x86_64-Intel-R-_Core-TM-_i7-2600_CPU_@_3.40GHz-with-gentoo-2.4.1
System CPU: Intel Core i7-2600 CPU @ 3.40GHz, cores: 8, frequency: 3800 MHz, Turbo Boost: enabled; RAM: 25257 MB
Date of execution 2018-01-27 22:47:09 CET
Run set AutomizerCamel_Seq AbsInt_Seq AbsInt_imprecise_Seq AbsInt_Seq_Inl AbsInt_imprecise_Seq_Inl AbsInt_SS AbsInt_imprecise_SS AbsInt_LFB AbsInt_imprecise_LFB
Options --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/ai/eq-bench/mempurity-32bit-Automizer_Camel+AI_EQ.epf --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AbstractInterpretationC.xml -s ../../../trunk/examples/settings/ai/eq-bench/mempurity-32bit-Automizer_Camel+AI_EQ.epf --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AbstractInterpretationC.xml -s ../../../trunk/examples/settings/ai/eq-bench/mempurity-32bit-Automizer_Camel+AI_EQ_imprecise.epf --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AbstractInterpretationCInline.xml -s ../../../trunk/examples/settings/ai/eq-bench/mempurity-32bit-Automizer_Camel+AI_EQ.epf --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AbstractInterpretationCInline.xml -s ../../../trunk/examples/settings/ai/eq-bench/mempurity-32bit-Automizer_Camel+AI_EQ_imprecise.epf --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AbstractInterpretationC.xml -s ../../../trunk/examples/settings/ai/eq-bench/mempurity-32bit-Automizer_Camel+AI_EQ_SS.epf --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AbstractInterpretationC.xml -s ../../../trunk/examples/settings/ai/eq-bench/mempurity-32bit-Automizer_Camel+AI_EQ_imprecise_SS.epf --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AbstractInterpretationC.xml -s ../../../trunk/examples/settings/ai/eq-bench/mempurity-32bit-Automizer_Camel+AI_EQ_LFB.epf --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AbstractInterpretationC.xml -s ../../../trunk/examples/settings/ai/eq-bench/mempurity-32bit-Automizer_Camel+AI_EQ_imprecise_LFB.epf
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
array-examples/data_structures_set_multi_proc_false-unreach-call_ground.i timeout (false(valid-memtrack)) 91.7  75.4  576761856 unknown 16.5  8.54 538845184 unknown 9.91 5.30 308318208 unknown 43.0  26.9  2056355840 unknown 9.65 5.35 310280192 unknown 20.3  10.7  628695040 unknown 11.3  6.76 326193152 unknown 16.0  8.70 476938240 unknown 11.7  21.7  283455488
array-examples/sorting_bubblesort_false-unreach-call2_ground.i true 5.74 3.15 189075456 true 7.24 4.10 240635904 true 7.04 3.80 234864640 true 7.15 4.03 247480320 true 7.17 3.85 238583808 true 7.87 4.62 243957760 true 7.70 4.54 242425856 true 7.82 4.25 242003968 true 8.61 20.6  242339840
array-examples/sorting_bubblesort_false-unreach-call_ground.i true 5.68 3.15 189526016 true 7.28 3.96 242192384 true 6.75 3.67 234389504 true 7.07 3.88 249909248 true 7.21 3.85 237125632 true 7.92 4.46 240881664 true 7.78 4.40 243449856 true 7.79 4.33 242458624 true 7.69 4.14 223498240
array-examples/sorting_selectionsort_false-unreach-call2_ground.i true 6.18 3.35 192843776 true 8.38 4.50 257691648 true 8.00 4.29 242249728 true 8.88 4.74 260009984 true 7.99 4.32 244580352 true 9.65 5.32 261529600 true 10.1  5.40 256794624 true 8.94 4.99 246956032 true 8.31 4.54 246403072
array-examples/sorting_selectionsort_false-unreach-call_ground.i true 5.82 3.20 191016960 true 8.14 4.30 246423552 true 7.90 4.22 244084736 true 8.29 4.44 247623680 true 8.05 4.34 245690368 true 9.18 5.09 250744832 true 9.53 5.14 252973056 true 8.70 4.74 244129792 true 8.46 4.64 246276096
array-examples/standard_allDiff2_false-unreach-call_ground.i true 5.94 3.21 191623168 true 7.44 3.91 243552256 true 7.53 3.97 243064832 true 7.45 4.00 241487872 true 7.11 3.83 242241536 true 8.19 4.42 244899840 true 7.99 4.45 242737152 true 7.55 4.24 238194688 true 7.25 4.00 238215168
array-examples/standard_copy1_false-unreach-call_ground.i true 5.87 3.17 191541248 true 6.71 3.63 212324352 true 6.48 3.51 206696448 true 6.83 3.71 220971008 true 6.52 3.55 215011328 true 7.86 4.39 235433984 true 8.13 4.49 234319872 true 7.73 4.20 213516288 true 7.01 3.96 207699968
array-examples/standard_copy2_false-unreach-call_ground.i true 5.78 3.14 189341696 true 8.19 4.41 253554688 true 7.18 3.88 242798592 true 7.97 4.24 253173760 true 7.34 3.92 242946048 true 10.0  5.34 259289088 true 8.07 4.46 243712000 true 8.85 4.83 245129216 true 7.61 4.16 235909120
array-examples/standard_copy3_false-unreach-call_ground.i true 5.61 3.08 190935040 true 8.29 4.36 257630208 true 7.26 3.91 241352704 true 8.59 4.53 253452288 true 7.43 3.93 244043776 true 10.4  5.58 284258304 true 8.53 4.61 243441664 true 8.93 4.81 247394304 true 7.78 4.15 245248000
array-examples/standard_copy4_false-unreach-call_ground.i true 5.75 3.13 192012288 true 8.67 4.71 258871296 true 7.41 3.99 243224576 true 8.71 4.67 256036864 true 7.44 4.04 245006336 true 11.4  5.96 303996928 true 8.58 4.78 245428224 true 9.07 4.98 253833216 true 7.40 4.06 244359168
array-examples/standard_copy5_false-unreach-call_ground.i true 5.65 3.13 192344064 true 9.61 5.01 286724096 true 7.62 4.09 244715520 true 9.27 4.90 268517376 true 7.72 4.11 242167808 true 11.1  5.91 294662144 true 8.81 4.79 246530048 true 9.39 5.31 256778240 true 7.29 4.00 243523584
array-examples/standard_copy6_false-unreach-call_ground.i true 5.88 3.17 193183744 true 10.0  5.28 281292800 true 7.83 4.18 243302400 true 9.40 5.00 266047488 true 7.58 4.10 242364416 true 11.3  6.17 319246336 true 8.80 4.95 246775808 true 9.89 5.37 247488512 true 7.89 4.22 246169600
array-examples/standard_copy7_false-unreach-call_ground.i true 5.64 3.13 192139264 true 10.4  5.45 288546816 true 7.89 4.21 244948992 true 9.49 5.04 288894976 true 7.86 4.21 244764672 true 11.9  6.52 317001728 true 9.06 4.94 259493888 true 9.99 5.37 262062080 true 8.11 4.37 247709696
array-examples/standard_copy8_false-unreach-call_ground.i true 6.29 3.36 192327680 true 10.4  5.53 292757504 true 8.16 4.35 241438720 true 10.4  5.46 283504640 true 8.06 4.30 246013952 true 12.3  6.60 331776000 true 9.47 5.18 257355776 true 10.5  5.69 288948224 true 8.05 4.35 245043200
array-examples/standard_copy9_false-unreach-call_ground.i true 6.15 3.33 191168512 true 10.4  5.51 308158464 true 8.66 4.59 244953088 true 10.3  5.43 306417664 true 8.26 4.40 245456896 true 13.0  7.06 333623296 true 9.51 5.29 253038592 true 11.3  6.02 297627648 true 8.71 4.59 249356288
array-examples/standard_copyInitSum2_false-unreach-call_ground.i true 5.73 3.13 192454656 true 6.78 3.66 213655552 true 6.58 3.51 199933952 true 6.91 3.71 216088576 true 6.81 3.62 205127680 true 7.58 4.29 234012672 true 7.71 4.33 208031744 true 7.35 4.19 212402176 true 6.61 3.55 202489856
array-examples/standard_init1_false-unreach-call_ground.i true 5.80 3.20 188080128 true 6.48 3.49 203448320 true 6.42 3.51 195772416 true 6.63 3.56 191664128 true 6.43 3.50 188768256 true 7.20 4.03 209567744 true 7.27 4.12 204152832 true 7.05 3.81 199409664 true 6.75 3.59 198668288
array-examples/standard_init2_false-unreach-call_ground.i true 5.71 3.09 187256832 true 6.71 3.60 205426688 true 6.27 3.47 202817536 true 6.31 3.39 204382208 true 6.57 3.62 200167424 true 7.48 4.03 207314944 true 7.68 4.28 208908288 true 7.33 4.06 204070912 true 6.90 3.67 202321920
array-examples/standard_init3_false-unreach-call_ground.i true 5.68 3.10 188448768 true 6.48 3.46 206622720 true 6.47 3.51 204660736 true 6.55 3.55 205692928 true 6.36 3.45 196497408 true 7.56 4.06 219377664 true 7.38 4.14 213147648 true 7.42 4.01 208826368 true 6.61 3.89 203984896
array-examples/standard_init4_false-unreach-call_ground.i true 5.57 3.04 189825024 true 7.10 3.81 217792512 true 6.60 3.69 210485248 true 6.80 3.65 215691264 true 6.91 3.70 210857984 true 7.64 4.22 219676672 true 7.94 4.33 218746880 true 7.41 4.13 215588864 true 6.89 3.75 208367616
array-examples/standard_init5_false-unreach-call_ground.i true 5.76 3.18 192741376 true 6.83 3.72 223752192 true 6.96 3.74 214188032 true 6.82 3.69 221655040 true 6.80 3.71 212402176 true 7.49 4.28 233177088 true 8.16 4.45 222236672 true 7.81 4.22 221745152 true 6.76 3.83 211656704
array-examples/standard_init6_false-unreach-call_ground.i true 6.02 3.24 189779968 true 6.98 3.86 226209792 true 6.95 3.76 219238400 true 7.05 3.84 234364928 true 7.11 3.83 216154112 true 8.28 4.42 242642944 true 8.09 4.45 232177664 true 7.96 4.42 224096256 true 7.06 3.77 218370048
array-examples/standard_init7_false-unreach-call_ground.i true 5.72 3.13 192860160 true 7.53 3.97 235581440 true 6.94 3.79 220344320 true 7.47 4.03 238424064 true 6.95 3.74 222064640 true 8.25 4.65 244158464 true 7.92 4.38 234881024 true 8.05 4.49 237879296 true 7.09 3.91 215941120
array-examples/standard_init8_false-unreach-call_ground.i true 5.98 3.25 191295488 true 7.11 3.87 243240960 true 7.06 3.81 231104512 true 7.16 3.89 244088832 true 7.17 3.88 224702464 true 8.20 4.59 244867072 true 7.90 4.36 242876416 true 8.01 4.71 244871168 true 6.87 3.92 223371264
array-examples/standard_init9_false-unreach-call_ground.i true 6.25 3.40 190763008 true 7.41 3.95 243646464 true 7.20 3.90 233619456 true 7.35 3.97 243769344 true 7.43 4.00 235560960 true 8.29 4.60 242118656 true 8.03 4.40 241078272 true 8.04 4.54 243965952 true 7.11 3.90 223449088
array-examples/standard_minInArray_false-unreach-call_ground.i true 5.62 3.05 188616704 true 6.70 3.57 205271040 true 6.84 3.69 210468864 true 6.92 3.69 214929408 true 6.58 3.58 217001984 true 7.84 4.30 211132416 true 7.34 3.92 216485888 true 7.20 3.94 201805824 true 6.62 4.09 203284480
array-examples/standard_partition_false-unreach-call_ground.i true 6.05 3.23 191672320 true 8.74 4.63 258691072 true 7.83 4.22 243245056 true 8.69 4.64 259686400 true 7.70 4.12 245202944 true 9.70 5.31 259141632 true 8.34 4.62 243896320 true 8.30 4.62 243970048 true 7.22 3.87 237117440
array-examples/standard_running_false-unreach-call.i true 5.55 3.43 186142720 true 7.16 3.84 210726912 true 6.63 3.58 203661312 true 6.49 3.51 209661952 true 6.63 3.58 205008896 true 7.38 4.07 206721024 true 7.25 4.02 204169216 true 7.28 4.11 213180416 true 6.69 3.67 204988416
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i timeout (false(valid-memtrack)) 91.6  53.7  1386676224 unknown 16.9  8.77 548990976 unknown 10.8  5.69 328462336 timeout (error (143)) 91.2  69.9  2202845184 unknown 12.4  6.40 414687232 unknown 19.9  10.4  586678272 unknown 12.9  6.90 344907776 unknown 18.0  9.45 506101760 unknown 11.4  5.97 330878976
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i timeout (false(valid-memtrack)) 91.4  53.0  1286336512 unknown 17.5  9.04 537767936 unknown 11.0  5.82 322646016 timeout (error (143)) 92.5  69.1  2194092032 unknown 10.4  5.49 324812800 unknown 19.3  9.90 555339776 unknown 12.2  6.51 330612736 unknown 17.8  9.32 466448384 unknown 11.2  5.91 323825664
array-examples/relax_true-unreach-call.i false(valid-memtrack) 22.0  13.1  332087296 unknown 21.3  11.0  666349568 unknown 12.0  6.29 347729920 unknown 34.9  19.7  1199538176 unknown 12.7  6.86 429088768 unknown 27.1  14.0  851152896 unknown 13.9  7.44 407523328 unknown 21.0  11.1  693817344 unknown 11.8  6.29 331534336
array-examples/sanfoundry_02_true-unreach-call_ground.i true 5.78 3.16 190844928 true 7.38 3.99 244121600 true 7.71 4.16 244109312 true 7.56 4.03 245477376 true 7.39 3.98 245035008 true 8.61 4.69 244199424 true 8.53 4.69 243339264 true 7.87 4.35 222208000 true 6.91 3.81 221589504
array-examples/sanfoundry_10_true-unreach-call_ground.i true 5.93 3.20 191225856 true 7.63 4.11 242315264 true 7.89 4.25 242503680 true 7.62 4.12 242118656 true 7.65 4.10 243982336 true 8.52 4.74 244162560 true 8.75 4.81 243138560 true 7.34 4.17 220835840 true 7.06 3.86 217161728
array-examples/sanfoundry_24_true-unreach-call_true-termination.i true 5.73 3.14 190902272 true 6.53 3.49 200351744 true 6.64 3.83 196239360 true 6.59 3.57 197967872 true 6.32 3.51 197210112 true 7.43 3.97 196780032 true 7.57 4.13 199979008 true 7.18 3.96 194600960 true 6.21 3.50 197107712
array-examples/sanfoundry_27_true-unreach-call_ground.i true 5.48 3.04 188727296 true 6.80 3.63 230707200 true 7.09 3.92 219197440 true 7.16 3.81 225370112 true 6.96 3.70 234119168 true 8.00 4.26 240783360 true 7.55 4.20 241295360 true 6.95 4.00 205094912 true 6.64 3.60 208510976
array-examples/sanfoundry_43_true-unreach-call_ground.i timeout (false(valid-memtrack)) 90.7  69.0  583970816 unknown 8.79 4.66 252461056 unknown 7.00 4.24 212504576 unknown 13.9  7.28 461484032 unknown 7.25 3.91 243372032 unknown 9.69 5.10 261304320 unknown 7.46 4.14 215556096 unknown 9.18 4.91 246333440 unknown 7.14 3.86 205660160
array-examples/sorting_bubblesort_true-unreach-call_ground.i true 5.94 3.21 189816832 true 7.11 3.85 240726016 true 8.08 4.47 231215104 true 7.09 3.85 241016832 true 6.86 3.73 234909696 true 7.57 4.17 243167232 true 7.46 4.28 241790976 true 7.38 4.20 243277824 true 7.16 3.86 221822976
array-examples/sorting_selectionsort_true-unreach-call_ground.i true 6.40 3.44 192368640 true 8.35 4.44 247115776 true 8.60 4.68 245510144 true 8.43 4.48 245997568 true 8.14 4.35 244596736 true 9.25 4.93 256450560 true 9.63 5.17 264413184 true 9.03 4.91 248938496 true 8.04 4.39 244789248
array-examples/standard_compareModified_true-unreach-call_ground.i true 5.66 3.10 189902848 true 7.71 4.08 243576832 true 8.10 4.45 245465088 true 8.35 4.47 261218304 true 7.84 4.14 242778112 true 9.94 5.24 256831488 true 8.15 4.52 242114560 true 9.14 4.93 255959040 true 7.45 4.11 244248576
array-examples/standard_compare_true-unreach-call_ground.i true 5.91 3.16 190529536 true 6.88 3.66 217206784 true 6.85 3.73 208797696 true 7.21 4.02 234676224 true 6.95 3.73 226742272 true 8.01 4.37 242524160 true 7.42 4.17 242663424 true 7.15 4.07 204800000 true 6.56 3.59 198569984
array-examples/standard_copy1_true-unreach-call_ground.i true 6.07 3.29 194940928 true 7.59 4.04 242249728 true 7.52 4.02 223076352 true 7.21 3.87 230957056 true 6.68 4.82 227840000 true 8.51 4.69 243937280 true 7.79 4.38 245092352 true 8.29 4.54 249540608 true 6.63 3.69 214147072
array-examples/standard_copy2_true-unreach-call_ground.i true 5.64 3.07 189022208 true 8.18 4.37 260001792 true 7.01 3.81 240889856 true 8.04 4.28 246915072 true 7.37 5.66 237973504 true 9.31 4.98 255856640 true 8.39 4.65 243548160 true 8.54 4.63 240549888 true 7.05 3.84 232955904
array-examples/standard_copy3_true-unreach-call_ground.i true 6.27 3.33 192278528 true 8.34 4.46 257810432 true 7.49 4.14 241373184 true 8.42 4.44 251535360 true 8.18 4.38 242237440 true 9.79 5.23 263155712 true 8.28 4.61 246079488 true 8.93 4.85 244056064 true 7.23 4.01 245157888
array-examples/standard_copy4_true-unreach-call_ground.i true 6.26 3.38 188358656 true 9.18 4.87 256724992 true 7.74 4.20 244264960 true 8.75 4.65 257130496 true 8.68 5.01 243441664 true 10.1  5.47 275070976 true 8.31 4.68 243056640 true 9.27 5.14 255623168 true 7.43 4.08 244383744
array-examples/standard_copy5_true-unreach-call_ground.i true 6.24 3.38 191635456 true 9.52 5.02 285347840 true 8.27 4.38 244523008 true 8.86 4.68 264765440 true 8.22 4.77 244826112 true 11.5  6.12 301191168 true 8.77 4.76 245841920 true 9.30 5.15 261652480 true 7.86 4.27 244551680
array-examples/standard_copy6_true-unreach-call_ground.i true 5.75 3.38 190095360 true 10.0  5.26 278245376 true 7.61 4.11 243830784 true 9.45 4.99 286244864 true 8.58 4.66 244174848 true 11.7  6.23 322584576 true 8.59 4.90 246472704 true 9.43 5.16 255414272 true 7.98 4.27 244117504
array-examples/standard_copy7_true-unreach-call_ground.i true 6.03 3.33 192221184 true 9.89 5.24 292360192 true 7.93 4.27 245133312 true 9.53 5.04 280571904 true 8.07 4.60 244867072 true 11.9  6.36 324661248 true 8.94 4.87 245026816 true 9.87 5.44 259293184 true 8.11 4.33 246534144
array-examples/standard_copy8_true-unreach-call_ground.i true 6.35 3.47 193409024 true 10.2  5.44 292937728 true 8.31 4.38 245846016 true 9.68 5.17 300929024 true 9.10 4.96 245174272 true 12.6  6.67 330080256 true 9.67 5.26 253186048 true 10.3  5.57 284581888 true 8.06 4.39 244649984
array-examples/standard_copy9_true-unreach-call_ground.i true 6.28 3.40 191148032 true 10.8  5.63 320823296 true 8.05 4.32 245768192 true 10.3  5.48 317767680 true 8.76 4.99 248143872 true 12.8  6.87 326524928 true 9.65 5.29 253743104 true 10.8  5.93 291221504 true 8.53 4.60 248827904
array-examples/standard_copyInitSum2_true-unreach-call_ground.i true 5.62 3.10 190107648 true 6.88 3.68 215728128 true 6.61 3.55 200368128 true 6.93 3.74 218902528 true 7.11 4.17 201302016 true 7.63 4.24 233336832 true 7.11 3.99 207118336 true 7.39 4.15 215298048 true 7.19 3.79 198782976
array-examples/standard_copyInitSum3_true-unreach-call_ground.i true 5.73 3.26 191688704 true 6.94 3.72 215429120 true 6.60 3.59 202305536 true 6.84 3.70 219217920 true 7.45 4.04 205967360 true 8.02 4.39 242069504 true 8.15 4.44 210558976 true 7.49 4.03 216309760 true 6.63 3.75 202878976
array-examples/standard_copyInitSum_true-unreach-call_ground.i true 5.98 3.29 191180800 true 6.94 3.75 216158208 true 6.82 3.64 200835072 true 6.58 3.58 223059968 true 7.18 4.18 203382784 true 7.60 4.21 237850624 true 7.56 4.18 209186816 true 7.47 4.16 214409216 true 7.04 3.78 201756672
array-examples/standard_copyInit_true-unreach-call_ground.i true 5.82 3.15 190820352 true 7.55 4.02 240762880 true 6.50 3.89 206843904 true 6.72 3.63 230391808 true 7.05 4.25 206368768 true 8.07 4.65 241696768 true 7.26 3.97 217571328 true 8.38 4.49 248745984 true 6.47 3.54 201662464
array-examples/standard_find_true-unreach-call_ground.i true 5.86 3.16 189259776 true 6.93 3.68 232099840 true 6.50 3.52 235651072 true 7.06 3.80 241246208 true 7.64 4.47 239280128 true 7.96 4.42 241762304 true 7.55 4.19 240893952 true 7.70 4.34 225095680 true 6.75 3.81 218075136
array-examples/standard_init1_true-unreach-call_ground.i true 5.59 3.02 186404864 true 6.51 3.54 203235328 true 6.53 3.50 197414912 true 6.00 3.23 193441792 true 6.64 3.82 190095360 true 7.37 4.28 209154048 true 7.25 3.99 207044608 true 7.18 3.84 199127040 true 6.24 3.43 200577024
array-examples/standard_init2_true-unreach-call_ground.i true 5.59 3.09 187801600 true 6.71 3.62 206086144 true 6.87 3.65 199507968 true 6.58 3.54 208285696 true 7.15 3.94 201535488 true 7.48 4.21 209444864 true 7.62 4.14 212307968 true 7.27 3.99 204464128 true 6.67 3.55 200962048
array-examples/standard_init3_true-unreach-call_ground.i true 5.94 3.21 190767104 true 6.73 3.60 209711104 true 6.82 3.66 206872576 true 6.82 3.61 213995520 true 7.32 3.95 197566464 true 7.51 4.53 217640960 true 7.44 4.12 212754432 true 7.29 3.98 206827520 true 6.62 3.64 206815232
array-examples/standard_init4_true-unreach-call_ground.i true 5.91 3.18 190586880 true 6.85 3.71 217030656 true 6.47 3.46 207839232 true 6.87 3.73 217391104 true 6.77 4.02 211030016 true 7.88 4.46 222822400 true 7.56 4.21 216694784 true 7.63 4.16 215134208 true 6.65 3.65 208932864
array-examples/standard_init5_true-unreach-call_ground.i true 5.86 3.20 191414272 true 6.96 3.73 219013120 true 7.11 3.84 213168128 true 7.08 3.75 222216192 true 7.11 3.88 216170496 true 8.01 4.76 234233856 true 8.11 4.39 222437376 true 7.68 4.36 221065216 true 6.65 3.63 214118400
array-examples/standard_init6_true-unreach-call_ground.i true 5.62 3.09 192077824 true 7.29 3.92 225607680 true 7.09 3.76 220237824 true 6.87 3.76 235520000 true 7.66 4.27 217993216 true 8.27 4.62 244297728 true 7.89 4.33 234897408 true 8.00 4.39 224702464 true 7.05 3.86 215654400
array-examples/standard_init7_true-unreach-call_ground.i true 5.88 3.18 190312448 true 7.35 3.99 237432832 true 7.02 3.92 221732864 true 7.24 3.89 236326912 true 7.77 4.37 220545024 true 8.10 4.71 242671616 true 7.79 4.30 239988736 true 7.71 4.36 237539328 true 6.95 3.84 221126656
array-examples/standard_init8_true-unreach-call_ground.i true 5.74 3.12 189595648 true 6.94 3.78 243691520 true 7.05 3.79 222928896 true 7.11 3.87 243367936 true 7.77 4.23 223109120 true 8.04 4.75 242675712 true 7.62 4.57 238358528 true 7.79 4.18 242929664 true 7.57 4.00 223113216
array-examples/standard_init9_true-unreach-call_ground.i true 5.94 3.22 189845504 true 7.53 4.04 246411264 true 7.22 3.87 235945984 true 7.29 3.95 242454528 true 7.86 4.20 236597248 true 8.63 4.86 241569792 true 8.01 4.43 243220480 true 7.41 4.19 239071232 true 7.38 4.01 225161216
array-examples/standard_maxInArray_true-unreach-call_ground.i true 5.50 3.04 194314240 true 6.88 3.68 205733888 true 6.76 3.67 217169920 true 6.54 3.52 216141824 true 6.81 3.72 220073984 true 7.80 4.42 213372928 true 6.85 3.93 209965056 true 6.81 3.75 204742656 true 6.68 3.56 202985472
array-examples/standard_minInArray_true-unreach-call_ground.i true 5.59 3.08 191234048 true 6.73 3.65 213278720 true 7.48 3.95 217280512 true 6.45 3.47 217006080 true 6.86 3.65 216997888 true 7.36 4.27 212471808 true 7.52 4.07 214863872 true 6.76 3.78 204320768 true 7.45 3.92 210407424
array-examples/standard_palindrome_true-unreach-call_ground.i true 5.62 3.09 189140992 true 6.29 3.42 193990656 true 6.37 3.44 193986560 true 6.41 3.46 193966080 true 6.32 3.45 195141632 true 6.81 3.91 187613184 true 7.01 3.86 191115264 true 6.29 3.63 195223552 true 6.26 3.46 194936832
array-examples/standard_partial_init_true-unreach-call_ground.i true 5.96 3.18 192446464 true 8.48 4.47 251797504 true 7.06 3.80 243015680 true 8.79 4.61 243437568 true 7.62 4.01 245379072 true 10.4  5.71 282058752 true 8.78 4.66 242987008 true 7.02 3.88 217714688 true 6.92 3.76 203964416
array-examples/standard_partition_original_true-unreach-call_ground.i true 5.60 3.05 189554688 true 7.92 4.30 244514816 true 7.46 3.96 246153216 true 8.15 4.33 246185984 true 7.72 4.33 243834880 true 9.44 5.26 256577536 true 8.23 4.60 244281344 true 7.92 4.47 244072448 true 7.42 3.96 242745344
array-examples/standard_partition_true-unreach-call_ground.i true 5.66 3.08 192548864 true 8.60 4.53 259039232 true 7.31 3.89 240402432 true 8.12 4.37 253386752 true 7.55 4.08 241016832 true 9.52 5.24 257024000 true 8.12 4.54 242966528 true 8.06 4.45 243998720 true 7.25 4.00 237944832
array-examples/standard_password_true-unreach-call_ground.i true 5.26 2.92 181002240 true 6.79 3.63 206434304 true 6.77 3.56 205422592 true 7.41 3.94 242393088 true 7.40 4.38 234237952 true 8.42 4.67 242515968 true 7.29 4.07 242368512 true 7.10 3.99 218443776 true 7.02 3.79 211644416
array-examples/standard_reverse_true-unreach-call_ground.i true 5.75 3.09 192069632 true 5.87 3.24 195624960 true 6.33 3.43 201105408 true 5.96 3.28 186662912 true 6.37 3.70 189546496 true 7.22 4.22 197496832 true 7.04 3.90 199430144 true 6.30 3.60 195985408 true 6.75 3.59 196665344
array-examples/standard_running_true-unreach-call.i true 5.74 3.08 183377920 true 6.70 3.64 210857984 true 6.72 3.61 206639104 true 6.87 3.71 210857984 true 6.62 3.76 207450112 true 7.44 4.15 207904768 true 7.66 4.16 206036992 true 7.11 4.03 202313728 true 7.30 3.88 200544256
array-examples/standard_sentinel_true-unreach-call_true-termination.i true 5.52 3.03 185618432 true 6.35 3.44 199090176 true 6.08 3.35 195645440 true 6.25 3.34 183836672 true 6.07 3.45 185905152 true 6.93 3.92 193949696 true 6.78 3.79 191795200 true 6.42 3.58 193626112 true 6.19 3.42 195969024
array-examples/standard_seq_init_true-unreach-call_ground.i true 5.50 3.01 189394944 true 6.46 3.52 209686528 true 6.61 3.52 194727936 true 6.94 3.74 216805376 true 6.74 3.57 202235904 true 7.35 4.18 214896640 true 6.99 3.97 197619712 true 7.66 4.72 205852672 true 6.57 3.52 196771840
array-examples/standard_strcmp_true-unreach-call_ground.i false(valid-memtrack) 10.8  5.79 275148800 unknown 8.57 4.51 245063680 unknown 7.43 3.99 240689152 unknown 24.9  12.8  847314944 unknown 8.48 4.74 259715072 unknown 9.23 5.09 260374528 unknown 8.49 4.65 245354496 unknown 9.37 5.05 249352192 unknown 7.45 4.09 245125120
array-examples/standard_strcpy_original_true-unreach-call.i true 5.28 2.95 178737152 true 7.42 4.02 244633600 true 6.24 3.36 205389824 true 7.09 3.94 242511872 true 6.92 3.83 214118400 true 7.71 4.54 242778112 true 7.82 4.32 223924224 true 8.24 4.80 244711424 true 7.05 3.77 218550272
array-examples/standard_strcpy_true-unreach-call_ground.i true 5.62 3.05 182837248 true 7.77 4.08 251633664 true 6.87 3.73 233148416 true 7.56 4.05 234610688 true 7.25 3.91 236765184 true 8.32 4.70 243453952 true 7.67 4.34 244301824 true 8.12 4.49 242016256 true 6.77 3.64 237907968
array-examples/standard_two_index_01_true-unreach-call.i true 5.84 3.16 189120512 true 6.59 3.53 202858496 true 6.02 3.37 181936128 true 6.79 3.65 200921088 true 7.04 3.76 198475776 true 7.28 4.13 207982592 true 6.80 3.91 195907584 true 7.11 4.15 203083776 true 6.15 3.40 192892928
array-examples/standard_two_index_02_true-unreach-call.i true 5.98 3.18 190550016 true 6.53 3.51 196214784 true 6.71 3.59 196153344 true 6.15 3.35 195129344 true 6.92 3.66 194428928 true 7.23 4.03 199294976 true 6.66 3.73 196096000 true 6.49 3.84 196255744 true 6.64 3.57 193507328
array-examples/standard_two_index_03_true-unreach-call.i true 5.84 3.16 190443520 true 6.70 3.58 195051520 true 6.23 3.36 192425984 true 6.42 3.48 195284992 true 6.71 3.94 193789952 true 6.80 3.83 195612672 true 7.34 3.93 196923392 true 6.70 3.80 197636096 true 6.26 3.49 192090112
array-examples/standard_two_index_04_true-unreach-call.i true 5.33 2.93 182059008 true 6.23 3.41 193388544 true 6.13 3.34 193970176 true 6.55 3.51 196726784 true 6.73 3.67 197369856 true 6.95 3.96 198529024 true 7.00 3.88 196599808 true 6.68 3.84 196481024 true 6.72 3.63 194904064
array-examples/standard_two_index_05_true-unreach-call.i true 5.78 3.15 190308352 true 5.96 3.22 196460544 true 6.33 3.35 197115904 true 6.17 3.36 198275072 true 6.14 3.35 195366912 true 6.93 3.89 194396160 true 6.92 3.77 195112960 true 6.21 3.71 195063808 true 6.15 3.43 192626688
array-examples/standard_two_index_06_true-unreach-call.i true 6.02 3.25 187547648 true 6.53 3.51 197570560 true 6.21 3.40 194334720 true 6.66 3.57 194617344 true 6.89 3.71 192548864 true 6.61 3.81 196460544 true 7.12 4.09 198103040 true 6.38 3.70 197414912 true 6.35 3.48 192524288
array-examples/standard_two_index_07_true-unreach-call.i true 5.95 3.20 190414848 true 6.74 3.59 197099520 true 6.57 3.45 193699840 true 6.33 3.39 195678208 true 7.13 3.81 198303744 true 6.93 3.87 193740800 true 6.84 3.96 197574656 true 6.55 3.71 200568832 true 6.58 3.52 192339968
array-examples/standard_two_index_08_true-unreach-call.i true 5.70 3.14 191242240 true 6.38 3.48 197287936 true 6.33 3.44 193449984 true 6.38 3.44 196657152 true 6.50 3.90 192421888 true 7.18 4.16 197701632 true 7.14 4.09 194347008 true 6.28 3.75 196104192 true 6.23 3.47 196304896
array-examples/standard_two_index_09_true-unreach-call.i true 5.60 3.07 190345216 true 5.99 3.25 194801664 true 6.32 3.37 194863104 true 6.22 3.36 194985984 true 7.00 5.43 195923968 true 7.39 4.05 196358144 true 6.97 3.92 197779456 true 6.31 3.85 193785856 true 6.24 3.39 194191360
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i true 6.06 3.23 191541248 true 6.23 3.39 193347584 true 6.22 3.37 198156288 true 6.64 3.58 196411392 true 7.37 3.96 201564160 true 7.27 4.03 194576384 true 6.99 3.88 197255168 true 6.55 3.93 195784704 true 6.13 3.44 195567616
array-examples/standard_vector_difference_true-unreach-call_ground.i true 5.51 3.03 189468672 true 6.01 3.25 194449408 true 6.22 3.33 198307840 true 6.25 3.40 194289664 true 7.10 4.01 201498624 true 7.12 4.01 197935104 true 6.95 3.83 198012928 true 6.26 3.44 196956160 true 6.46 3.55 193900544
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i true 5.68 3.12 188919808 true 6.88 3.74 199004160 true 6.62 3.58 199458816 true 6.15 3.34 189468672 true 6.77 3.90 189906944 true 6.89 3.93 197488640 true 6.88 3.84 195907584 true 6.55 4.07 195899392 true 6.10 3.39 193150976
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i timeout (error (143)) 91.3  82.3  2483122176 timeout (error (143)) 91.3  82.6  2480046080 timeout (error (143)) 91.3  82.1  2488426496 timeout (error (143)) 91.3  79.6  2555785216 timeout (error (143)) 90.4  76.5  2569584640 out of memory 38.9  21.1  5999996928 killed by signal 9 36.3  24.1  5781970944 timeout (error (143)) 91.3  82.5  2514456576 timeout (error (143)) 91.3  83.6  2475765760
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i true 5.86 3.16 192610304 true 7.74 4.08 224456704 true 7.10 3.74 201580544 true 6.99 3.80 234311680 true 6.84 3.85 200359936 true 8.13 4.66 242827264 true 7.21 4.08 219082752 true 7.59 6.48 242876416 true 6.80 3.77 199823360
array-industry-pattern/array_range_init_false-unreach-call.i timeout (error (143)) 91.2  80.8  2391146496 timeout (error (143)) 91.2  79.3  2359537664 timeout (error (143)) 91.2  78.9  2426490880 timeout (error (143)) 91.2  79.8  2528620544 timeout (error (143)) 91.2  78.8  2500251648 out of memory 37.0  20.3  5999996928 out of memory 35.0  23.9  5999996928 timeout (error (143)) 91.2  79.4  2453393408 timeout (error (143)) 91.2  79.8  2461138944
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i true 8.13 4.49 191799296 true 9.75 5.58 237338624 true 9.38 5.10 202035200 true 10.0  5.47 222814208 true 10.5  5.75 202055680 true 9.28 8.06 271273984 true 7.63 15.7  278421504 true 11.2  6.37 243146752 true 7.39 9.95 231866368
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i timeout (false(valid-memtrack)) 92.3  53.5  575639552 unknown 19.9  10.2  659582976 unknown 9.63 5.09 294526976 timeout (error (143)) 92.4  70.9  2177290240 unknown 11.2  5.97 331251712 unknown 23.5  12.3  787456000 unknown 11.2  10.3  296620032 unknown 20.3  10.6  662011904 unknown 10.0  9.12 264273920
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i true 5.63 3.05 191299584 true 6.33 3.47 200503296 true 6.53 3.51 196333568 true 6.52 3.52 201560064 true 7.16 3.81 199090176 true 7.07 3.97 200286208 true 6.77 3.84 196419584 true 6.69 3.86 205684736 true 6.46 3.63 199237632
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i true 5.96 3.19 196988928 true 6.95 3.80 241872896 true 6.70 3.56 192937984 true 7.60 4.10 240185344 true 6.50 3.57 195809280 true 7.93 4.45 243253248 true 7.38 4.07 200740864 true 7.71 4.22 244203520 true 6.32 3.50 196505600
array-industry-pattern/array_of_struct_break_true-unreach-call.i timeout (error (143)) 91.3  82.3  2527330304 timeout (error (143)) 91.1  81.8  2462650368 timeout (error (143)) 91.1  81.9  2492420096 timeout (error (143)) 91.2  78.7  2627088384 timeout (error (143)) 91.3  79.3  2596319232 killed by signal 9 37.1  26.6  5617504256 killed by signal 9 34.1  21.3  4915351552 timeout (error (143)) 91.1  82.1  2479845376 timeout (error (143)) 91.1  81.5  2500730880
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i timeout (error (143)) 90.4  74.5  2732109824 timeout (error (143)) 90.4  77.2  2668707840 timeout (error (143)) 90.4  76.4  2645262336 timeout (error (143)) 90.7  70.4  2777726976 timeout (error (143)) 90.7  72.9  2840211456 out of memory 40.0  28.5  5999996928 out of memory 41.0  24.9  5999996928 timeout (error (143)) 90.4  77.5  2657947648 timeout (error (143)) 90.4  77.4  2657001472
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i timeout (error (143)) 96.4  69.0  481587200 unknown 23.7  12.5  734871552 unknown 11.0  5.88 295354368 unknown 61.4  37.1  1609928704 unknown 12.5  10.1  284221440 unknown 22.7  22.6  873750528 unknown 10.0  16.7  315875328 unknown 26.7  14.0  826097664 unknown 10.0  5.72 243482624
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i timeout (error (143)) 90.4  77.9  2712997888 timeout (error (143)) 91.4  79.0  2629005312 timeout (error (143)) 90.4  77.9  2733010944 timeout (error (143)) 90.9  69.8  2825752576 timeout (error (143)) 90.5  74.9  2772004864 out of memory 46.1  29.3  5999996928 out of memory 44.9  28.7  5999996928 timeout (error (143)) 91.4  79.4  2670157824 timeout (error (143)) 90.4  78.1  2722861056
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i timeout (error (143)) 90.6  73.9  2655653888 timeout (error (143)) 90.4  74.9  2633494528 timeout (error (143)) 90.3  76.0  2611642368 timeout (error (143)) 90.8  67.8  2944286720 timeout (error (143)) 90.7  71.1  2924646400 out of memory 48.9  26.4  5999996928 error (1) 29.0  15.4  2091159552 timeout (error (143)) 90.4  74.5  2606112768 timeout (error (143)) 90.3  76.6  2624753664
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i timeout (error (143)) 90.6  74.2  2655264768 timeout (error (143)) 90.6  74.9  2605252608 timeout (error (143)) 90.4  77.2  2656972800 timeout (error (143)) 90.9  69.6  2941239296 timeout (error (143)) 90.7  73.5  2923880448 out of memory 52.1  30.3  5999996928 out of memory 48.4  31.3  5999996928 timeout (error (143)) 90.5  75.4  2627121152 timeout (error (143)) 90.4  76.0  2650587136
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i timeout (error (143)) 90.5  75.1  2744545280 timeout (error (143)) 90.2  77.8  2715316224 timeout (error (143)) 91.2  80.1  2700283904 timeout (error (143)) 90.6  70.7  2834153472 timeout (error (143)) 90.6  72.4  2719223808 out of memory 47.3  24.7  5999996928 killed by signal 9 35.9  22.1  4580962304 timeout (error (143)) 90.2  77.7  2660503552 timeout (error (143)) 91.2  80.1  2713538560
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i timeout (error (143)) 90.4  74.0  2710216704 timeout (error (143)) 90.4  75.9  2844012544 timeout (error (143)) 90.3  76.5  2730565632 timeout (error (143)) 90.7  70.3  2805760000 timeout (error (143)) 90.5  72.8  2828308480 out of memory 43.2  25.6  5999996928 out of memory 42.5  32.6  5999996928 timeout (error (143)) 91.2  77.0  2724679680 timeout (error (143)) 90.3  76.5  2637463552
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i true 8.60 4.73 189374464 true 6.62 3.62 205246464 true 6.72 3.68 210964480 true 6.49 3.55 200605696 true 7.05 3.89 202993664 true 7.60 4.21 211156992 true 6.94 8.54 241389568 true 7.85 4.24 203948032 true 6.87 3.68 200929280
reducercommutativity/rangesum05_false-unreach-call_true-termination.i false(valid-memtrack) 32.8  17.9  364113920 unknown 15.4  8.11 327868416 unknown 10.9  5.74 289189888 timeout 91.3  60.3  2156429312 unknown 12.9  6.91 341925888 unknown 14.0  7.67 346546176 unknown 11.6  6.42 329326592 unknown 15.5  8.41 288952320 unknown 10.7  5.79 257359872
reducercommutativity/rangesum10_false-unreach-call_true-termination.i timeout (error (143)) 95.7  76.3  449789952 unknown 18.0  9.42 326098944 unknown 15.9  8.40 307380224 unknown 68.7  47.0  2151055360 unknown 12.8  6.95 340570112 unknown 13.4  7.40 334663680 unknown 12.5  6.70 333217792 unknown 20.7  11.2  305205248 unknown 14.5  7.98 266743808
reducercommutativity/rangesum20_false-unreach-call.i timeout (error (143)) 95.9  74.2  640524288 unknown 18.4  9.68 331890688 unknown 16.1  8.59 298045440 unknown 73.4  49.3  2152284160 unknown 17.6  9.35 343638016 unknown 12.9  9.30 385101824 unknown 11.5  8.28 289595392 unknown 20.5  11.3  275959808 unknown 14.4  8.04 260136960
reducercommutativity/rangesum40_false-unreach-call.i timeout (error (143)) 95.6  77.9  689201152 unknown 19.0  9.95 335077376 unknown 15.9  8.55 329203712 unknown 71.4  48.3  2154188800 unknown 19.8  10.4  330969088 unknown 13.1  6.87 346042368 unknown 11.5  13.0  322351104 unknown 20.9  11.3  311021568 unknown 15.0  8.07 264429568
reducercommutativity/rangesum60_false-unreach-call.i timeout (error (143)) 96.3  85.6  401756160 unknown 18.8  9.95 331223040 unknown 16.5  8.85 307867648 unknown 71.6  48.2  2159636480 unknown 20.1  10.7  337772544 unknown 13.2  6.93 340267008 unknown 11.8  8.32 344006656 unknown 20.8  11.1  299581440 unknown 15.5  8.25 265408512
reducercommutativity/rangesum_false-unreach-call_true-termination.i false(valid-memtrack) 14.5  7.80 308178944 unknown 19.8  10.3  329990144 unknown 17.5  9.17 309592064 unknown 72.9  50.3  2158579712 unknown 21.0  11.6  337793024 unknown 12.8  6.76 340803584 unknown 11.6  6.21 334655488 unknown 20.1  10.9  313528320 unknown 15.6  8.33 263106560
reducercommutativity/avg05_true-unreach-call_true-termination.i false(valid-memtrack) 26.2  13.8  377696256 unknown 14.4  7.65 284164096 unknown 13.9  7.51 247238656 unknown 15.2  7.95 537853952 unknown 16.1  8.55 271228928 unknown 11.7  6.18 327389184 unknown 9.63 5.23 253788160 unknown 11.7  6.90 290074624 unknown 14.5  7.79 247554048
reducercommutativity/avg10_true-unreach-call_true-termination.i false(valid-memtrack) 53.7  28.3  602529792 unknown 10.2  5.37 300929024 unknown 13.9  7.60 249430016 unknown 15.2  7.89 520171520 unknown 11.8  6.43 249729024 unknown 11.5  6.11 319062016 unknown 9.36 5.24 262467584 unknown 11.9  6.90 299294720 unknown 14.1  7.60 245403648
reducercommutativity/avg20_true-unreach-call.i timeout (false(valid-memtrack)) 90.8  57.6  1106460672 unknown 10.6  5.57 299241472 unknown 10.3  5.59 247328768 unknown 14.6  7.61 531161088 unknown 9.72 5.60 262180864 unknown 11.8  6.11 325513216 unknown 9.84 5.31 261623808 unknown 11.8  6.45 290762752 unknown 11.5  6.27 245420032
reducercommutativity/avg40_true-unreach-call.i timeout (false(valid-memtrack)) 91.2  60.0  1014607872 unknown 10.2  5.38 291098624 unknown 8.31 4.46 244531200 unknown 15.3  7.86 525262848 unknown 9.58 5.30 255987712 unknown 12.1  6.34 328691712 unknown 9.54 5.27 259420160 unknown 11.5  6.36 289886208 unknown 8.12 4.38 246571008
reducercommutativity/avg60_true-unreach-call.i timeout (false(valid-memtrack)) 91.3  60.1  930742272 unknown 10.2  5.41 294121472 unknown 8.56 4.55 249647104 unknown 15.1  7.95 528101376 unknown 8.55 4.77 263434240 unknown 11.9  6.27 325767168 unknown 9.60 5.20 264667136 unknown 11.5  6.23 294559744 unknown 8.65 4.58 245567488
reducercommutativity/avg_true-unreach-call_true-termination.i false(valid-memtrack) 11.8  6.29 287653888 unknown 8.04 4.32 246624256 unknown 7.82 4.20 242921472 unknown 11.4  5.98 330510336 unknown 8.06 4.40 245710848 unknown 9.17 4.91 248786944 unknown 8.77 4.82 246005760 unknown 9.24 5.10 248147968 unknown 7.85 4.24 244088832
reducercommutativity/max05_true-unreach-call_true-termination.i false(valid-memtrack) 27.0  14.2  383664128 unknown 11.7  6.11 323461120 unknown 9.51 4.97 268877824 unknown 16.2  8.46 541622272 unknown 10.2  5.44 305344512 unknown 13.5  7.16 336814080 unknown 11.0  5.95 306548736 unknown 11.9  6.81 310861824 unknown 9.11 4.88 246222848
reducercommutativity/max10_true-unreach-call_true-termination.i false(valid-memtrack) 54.8  29.3  639066112 unknown 11.7  6.14 325238784 unknown 9.12 4.89 268636160 unknown 16.3  8.45 542556160 unknown 10.4  5.56 310710272 unknown 13.8  7.11 337670144 unknown 10.9  5.85 299794432 unknown 12.4  7.10 287408128 unknown 8.71 4.76 244125696
reducercommutativity/max20_true-unreach-call.i timeout (error (143)) 96.1  62.7  1231679488 unknown 11.4  5.98 327598080 unknown 9.11 4.85 269832192 unknown 17.1  8.80 548061184 unknown 10.5  5.60 297021440 unknown 13.7  7.18 338407424 unknown 10.9  5.86 290856960 unknown 11.6  6.52 298426368 unknown 9.25 5.01 245932032
reducercommutativity/max40_true-unreach-call.i timeout (false(valid-memtrack)) 91.0  55.8  1127059456 unknown 11.4  6.03 326881280 unknown 9.44 4.99 271769600 unknown 16.8  8.65 550821888 unknown 9.77 5.34 292126720 unknown 13.4  7.13 340836352 unknown 11.2  6.05 291938304 unknown 12.5  7.13 274440192 unknown 9.61 5.28 249266176
reducercommutativity/max60_true-unreach-call.i timeout (false(valid-memtrack)) 90.8  55.4  1127297024 unknown 11.7  6.10 323547136 unknown 9.47 5.07 269496320 unknown 16.2  8.41 549355520 unknown 10.0  5.44 303669248 unknown 13.1  7.10 337530880 unknown 11.0  5.99 304099328 unknown 11.8  6.75 301531136 unknown 9.24 5.21 251379712
reducercommutativity/max_true-unreach-call_true-termination.i false(valid-memtrack) 12.8  6.85 288305152 unknown 9.08 4.82 259727360 unknown 8.43 4.47 245960704 unknown 12.0  6.32 329203712 unknown 8.74 4.66 260931584 unknown 10.0  5.47 272220160 unknown 9.70 5.30 260390912 unknown 10.4  5.81 248225792 unknown 8.55 4.66 248549376
reducercommutativity/sep05_true-unreach-call_true-termination.i false(valid-memtrack) 27.3  14.4  384585728 unknown 10.2  5.36 301486080 unknown 8.25 4.48 254144512 unknown 16.9  8.80 564731904 unknown 10.2  5.47 275427328 unknown 12.1  6.68 326074368 unknown 10.0  5.46 262500352 unknown 11.1  6.07 293580800 unknown 9.09 4.89 250880000
reducercommutativity/sep10_true-unreach-call.i false(valid-memtrack) 52.6  28.3  602857472 unknown 10.4  5.48 296333312 unknown 8.35 4.48 258658304 unknown 17.8  9.18 540082176 unknown 9.77 5.22 270442496 unknown 12.3  6.60 329838592 unknown 9.77 5.42 266047488 unknown 11.4  6.27 295587840 unknown 9.18 4.95 247951360
reducercommutativity/sep20_true-unreach-call.i timeout (false(valid-memtrack)) 91.2  57.0  1143205888 unknown 10.5  5.56 301875200 unknown 8.54 4.50 263569408 unknown 17.4  9.00 550051840 unknown 9.47 5.32 271630336 unknown 12.6  6.67 322904064 unknown 9.73 5.34 262037504 unknown 12.0  6.63 287956992 unknown 8.65 4.63 247717888
reducercommutativity/sep40_true-unreach-call.i timeout (false(valid-memtrack)) 94.9  62.8  916672512 unknown 10.4  5.47 301219840 unknown 8.46 4.47 252915712 unknown 17.2  8.87 532082688 unknown 9.33 5.01 278503424 unknown 12.4  6.58 323801088 unknown 9.56 5.23 262516736 unknown 12.6  7.06 289751040 unknown 8.73 4.73 245719040
reducercommutativity/sep60_true-unreach-call.i timeout (error (143)) 96.0  62.7  911994880 unknown 10.4  5.45 310657024 unknown 8.58 4.58 255569920 unknown 16.6  8.65 538181632 unknown 9.91 5.31 274722816 unknown 12.6  6.65 327380992 unknown 9.82 5.32 262205440 unknown 11.6  6.74 268570624 unknown 8.61 12.1  246939648
reducercommutativity/sep_true-unreach-call_true-termination.i false(valid-memtrack) 12.6  6.88 288124928 unknown 8.28 4.42 244166656 unknown 7.75 4.14 246255616 unknown 11.2  5.83 324689920 unknown 8.37 4.61 244641792 unknown 9.73 5.21 258813952 unknown 8.83 4.93 250478592 unknown 9.20 5.33 244686848 unknown 8.16 10.0  245977088
reducercommutativity/sum05_true-unreach-call_true-termination.i false(valid-memtrack) 27.1  14.3  384733184 unknown 10.2  5.34 290168832 unknown 8.28 4.42 244674560 unknown 14.8  7.71 512192512 unknown 9.09 4.92 265334784 unknown 11.9  6.24 322158592 unknown 9.40 5.21 259538944 unknown 10.9  5.95 296886272 unknown 8.72 4.88 251060224
reducercommutativity/sum10_true-unreach-call_true-termination.i false(valid-memtrack) 48.4  26.2  565002240 unknown 10.4  5.42 288268288 unknown 8.31 4.42 248270848 unknown 14.7  7.63 531587072 unknown 9.14 4.90 262725632 unknown 11.7  6.20 323698688 unknown 9.53 5.17 259010560 unknown 11.1  5.86 294248448 unknown 8.46 4.87 246063104
reducercommutativity/sum20_true-unreach-call.i timeout (false(valid-memtrack)) 93.0  57.6  986636288 unknown 10.2  5.45 306167808 unknown 8.45 4.53 245112832 unknown 15.7  8.04 543784960 unknown 8.54 4.74 259817472 unknown 11.7  6.26 323837952 unknown 9.66 5.33 259256320 unknown 11.7  6.25 276340736 unknown 8.59 4.94 248172544
reducercommutativity/sum40_true-unreach-call.i timeout (error (143)) 95.5  65.2  874037248 unknown 10.3  5.37 289624064 unknown 8.36 4.45 251072512 unknown 14.6  7.50 518320128 unknown 8.76 4.79 260935680 unknown 11.7  6.26 326148096 unknown 9.36 5.18 262975488 unknown 11.3  6.18 299614208 unknown 8.14 4.90 244219904
reducercommutativity/sum60_true-unreach-call.i timeout (error (143)) 96.0  60.1  882212864 unknown 10.2  5.40 300425216 unknown 8.45 4.45 244625408 unknown 15.0  7.84 479158272 unknown 9.11 5.15 260771840 unknown 12.5  6.70 323002368 unknown 9.81 5.31 259117056 unknown 11.9  6.82 296689664 unknown 8.61 4.77 246358016
reducercommutativity/sum_true-unreach-call_true-termination.i false(valid-memtrack) 13.5  7.36 281964544 unknown 8.00 4.47 248225792 unknown 7.44 4.03 246046720 unknown 11.4  5.94 326819840 unknown 8.23 4.74 247091200 unknown 9.04 4.92 253833216 unknown 8.45 4.68 247271424 unknown 10.3  6.25 245403648 unknown 8.13 4.39 246726656
array-tiling/mlceu_false-unreach-call.i true 6.50 3.60 192086016 true 6.74 3.65 198303744 true 6.32 3.41 197115904 true 6.41 3.47 194641920 true 6.36 3.53 193720320 true 7.47 4.15 205709312 true 7.31 4.05 204353536 true 7.31 3.95 196173824 true 6.42 3.59 197152768
array-tiling/skippedu_false-unreach-call.i true 6.06 3.39 190746624 true 6.59 3.58 207179776 true 6.47 3.48 203284480 true 6.40 3.50 201330688 true 6.59 3.70 197586944 true 7.62 4.21 222875648 true 7.61 4.10 210841600 true 7.12 4.28 209174528 true 6.78 3.80 202272768
array-tiling/mbpr2_true-unreach-call.i true 6.21 3.41 192188416 true 6.97 3.77 242651136 true 6.86 3.71 218505216 true 7.25 3.90 221376512 true 7.16 4.11 211001344 true 7.74 4.31 243265536 true 7.48 4.20 223322112 true 7.58 4.32 218488832 true 7.08 3.92 210243584
array-tiling/mbpr3_true-unreach-call.i true 6.79 3.85 191315968 true 7.71 4.09 244576256 true 6.79 3.71 232992768 true 7.29 3.95 242094080 true 7.12 4.02 212672512 true 8.35 4.54 246050816 true 8.23 4.56 242180096 true 7.96 4.34 245669888 true 7.38 4.11 219521024
array-tiling/mbpr4_true-unreach-call.i true 6.67 3.68 195375104 true 7.82 4.18 244383744 true 7.71 4.13 245780480 true 7.85 4.25 244920320 true 7.56 4.04 235036672 true 9.14 4.87 247431168 true 8.60 4.67 244801536 true 8.73 4.87 247259136 true 7.77 4.36 241348608
array-tiling/mbpr5_true-unreach-call.i true 7.25 4.06 193978368 true 8.07 4.37 245866496 true 7.87 4.16 245178368 true 8.44 4.53 249085952 true 7.86 4.14 245809152 true 9.90 5.32 261873664 true 8.73 4.86 247345152 true 9.29 5.17 245698560 true 8.11 4.45 246857728
array-tiling/nr2_true-unreach-call.i true 6.52 3.68 190734336 true 7.38 3.93 235573248 true 6.93 3.71 220184576 true 7.07 3.72 221278208 true 6.84 3.75 216674304 true 7.74 4.38 243433472 true 7.75 4.31 235651072 true 7.93 4.58 219119616 true 7.02 3.87 212475904
array-tiling/nr3_true-unreach-call.i true 6.87 3.81 191807488 true 7.11 3.90 233160704 true 7.26 3.82 221310976 true 7.42 3.93 222158848 true 6.97 3.80 217989120 true 7.82 4.32 242114560 true 7.76 4.27 242479104 true 8.08 5.14 220557312 true 7.19 3.90 213692416
array-tiling/nr4_true-unreach-call.i true 6.56 3.60 199233536 true 7.03 3.78 234917888 true 6.66 3.57 221663232 true 6.82 3.69 219701248 true 7.19 4.00 213012480 true 7.77 4.32 241000448 true 7.80 4.27 234483712 true 8.42 4.86 221777920 true 7.33 4.13 215556096
array-tiling/nr5_true-unreach-call.i true 6.55 3.57 192466944 true 6.98 3.79 235438080 true 7.08 3.83 222883840 true 7.45 3.92 223191040 true 7.18 3.93 216727552 true 8.25 4.49 244899840 true 7.58 4.49 242704384 true 8.27 4.86 223387648 true 7.07 3.83 216707072
array-tiling/pnr2_true-unreach-call.i true 6.22 3.44 192028672 true 7.05 3.80 233779200 true 6.64 3.63 214347776 true 6.71 3.61 218451968 true 7.46 4.10 207917056 true 8.07 4.47 244789248 true 8.36 4.81 248815616 true 8.19 4.59 244236288 true 6.84 3.89 211316736
array-tiling/pnr3_true-unreach-call.i true 6.08 3.37 192421888 true 7.64 4.06 242229248 true 7.07 3.76 239931392 true 7.64 4.00 247779328 true 6.92 3.80 236109824 true 8.62 4.71 244252672 true 8.42 4.68 245387264 true 9.50 5.18 252411904 true 7.34 4.10 214786048
array-tiling/pnr4_true-unreach-call.i true 6.28 3.44 191488000 true 7.47 4.03 241516544 true 7.21 3.86 242769920 true 7.55 4.05 241905664 true 7.34 4.02 243814400 true 8.57 4.78 245272576 true 8.82 4.97 243802112 true 16.3  8.77 561659904 true 7.46 4.20 244887552
array-tiling/pnr5_true-unreach-call.i true 6.59 3.67 192233472 true 7.95 4.27 249184256 true 7.54 4.06 241766400 true 7.87 4.20 244109312 true 7.73 4.37 243871744 true 9.43 5.05 245223424 true 8.76 4.85 243216384 true 34.1  18.6  1302994944 true 8.05 4.37 246136832
array-tiling/poly1_true-unreach-call.i true 5.88 3.21 191983616 true 6.34 3.41 195207168 true 6.32 3.44 191582208 true 6.31 3.36 197513216 true 6.33 4.03 191246336 true 6.68 3.81 195989504 true 6.90 3.90 196624384 true 7.04 3.91 195141632 true 6.24 3.54 193347584
array-tiling/poly2_true-unreach-call.i true 5.86 3.29 190951424 true 6.65 3.58 196624384 true 6.58 3.60 193568768 true 6.22 3.41 192651264 true 6.62 3.77 195088384 true 6.95 3.97 199614464 true 7.62 4.32 197517312 true 7.05 4.00 198701056 true 6.66 3.70 197632000
array-tiling/pr2_true-unreach-call.i true 5.94 3.32 190513152 true 6.96 3.80 240627712 true 7.05 3.77 220762112 true 6.70 3.62 213049344 true 6.85 3.69 201256960 true 7.91 4.35 236945408 true 7.41 4.26 220475392 true 8.11 4.45 243625984 true 7.14 3.99 204247040
array-tiling/pr3_true-unreach-call.i true 6.35 3.68 190296064 true 7.51 4.06 242401280 true 7.81 4.26 244084736 true 6.86 3.72 234348544 true 7.53 3.96 211972096 true 7.99 4.60 244047872 true 8.22 4.64 241782784 true 9.39 5.01 257626112 true 7.44 4.19 212901888
array-tiling/pr4_true-unreach-call.i true 6.01 3.40 189861888 true 8.38 4.50 255205376 true 7.97 4.27 245514240 true 7.10 3.84 244547584 true 7.31 4.02 219971584 true 8.48 4.69 244162560 true 8.66 4.80 245989376 true 14.7  7.71 544325632 true 7.68 4.18 236228608
array-tiling/pr5_true-unreach-call.i true 6.16 3.51 192036864 true 9.81 5.18 292728832 true 8.78 4.71 261771264 true 9.57 5.07 287789056 true 9.04 4.92 261730304 true 9.84 5.50 260485120 true 9.16 4.90 252309504 true 24.6  14.7  1215737856 true 7.65 4.18 246915072
array-tiling/revcpyswp2_true-unreach-call.i true 6.16 3.58 191201280 true 8.46 4.53 260612096 true 6.69 3.61 203395072 true 8.64 4.56 261267456 true 7.13 4.01 199143424 true 10.0  5.47 256315392 true 7.65 4.24 212504576 true 9.30 5.16 254267392 true 7.15 3.82 205541376
array-tiling/rew_true-unreach-call.i true 6.57 3.54 189865984 true 6.73 3.60 204759040 true 6.39 3.54 197775360 true 6.71 3.60 203182080 true 6.56 3.57 197316608 true 7.42 4.36 209805312 true 7.32 4.07 211161088 true 7.36 4.06 214855680 true 6.70 3.88 198053888
array-tiling/rewnif_true-unreach-call.i true 6.10 3.41 189693952 true 6.73 3.58 206180352 true 6.12 3.37 194580480 true 6.36 3.43 195567616 true 6.61 3.56 197140480 true 7.00 4.11 202907648 true 7.17 3.91 202018816 true 6.97 3.83 207859712 true 6.26 3.54 198610944
array-tiling/rewnifrev2_true-unreach-call.i true 6.19 3.55 190795776 true 6.18 3.40 196898816 true 5.98 3.25 194482176 true 6.25 3.37 189296640 true 6.62 3.57 186761216 true 7.02 4.08 196874240 true 6.69 3.73 196190208 true 6.68 3.92 196321280 true 6.37 3.57 197054464
array-tiling/rewnifrev_true-unreach-call.i true 5.88 3.26 190857216 true 6.36 3.48 207708160 true 6.55 3.52 199266304 true 6.33 3.62 202641408 true 6.72 3.66 200056832 true 7.42 4.09 206360576 true 7.38 4.04 203431936 true 7.37 4.03 217128960 true 6.64 3.80 199831552
array-tiling/rewrev_true-unreach-call.i true 6.09 3.29 191561728 true 6.47 3.47 205336576 true 6.79 3.66 202412032 true 6.78 3.65 205074432 true 6.89 3.76 202018816 true 7.87 4.38 213032960 true 7.08 3.98 206106624 true 7.67 4.09 220098560 true 6.67 3.76 202035200
array-tiling/skipped_true-unreach-call.i true 6.38 3.51 187510784 true 6.47 3.53 205295616 true 6.27 3.46 204361728 true 6.92 3.61 202227712 true 6.92 3.76 198967296 true 7.50 4.28 218112000 true 7.34 4.11 214142976 true 7.04 4.08 208039936 true 6.82 3.83 200830976
array-tiling/tcpy_true-unreach-call.i true 6.06 3.51 190554112 true 7.07 3.82 238968832 true 6.32 3.48 198111232 true 7.13 3.80 242499584 true 6.38 3.54 186933248 true 7.89 4.55 243720192 true 7.04 4.05 205725696 true 7.86 5.06 242143232 true 6.87 3.72 206020608
array-programs/copysome1_false-unreach-call.i true 6.04 3.54 191041536 true 7.57 4.05 241754112 true 6.92 3.73 221143040 true 7.19 3.83 243294208 true 7.06 3.86 225542144 true 8.63 4.88 246194176 true 7.98 4.36 245231616 true 8.03 4.55 243548160 true 7.27 4.02 221306880
array-programs/copysome2_false-unreach-call.i true 5.98 3.30 191385600 true 8.27 4.37 246513664 true 6.86 3.72 230096896 true 7.89 4.18 244174848 true 7.25 4.15 230789120 true 9.45 5.22 255762432 true 7.84 4.37 244719616 true 8.61 4.88 244908032 true 7.37 3.95 220483584
array-programs/copysome1_true-unreach-call.i true 6.57 3.53 197586944 true 7.41 3.98 243286016 true 6.72 3.62 220180480 true 7.21 3.92 243220480 true 6.90 3.75 218660864 true 8.97 4.96 243937280 true 8.16 4.45 242610176 true 8.24 4.64 245596160 true 7.42 4.01 218476544
array-programs/copysome2_true-unreach-call.i true 6.41 3.67 190697472 true 7.89 4.24 245223424 true 7.15 3.84 233017344 true 7.84 4.25 243990528 true 7.42 4.03 232452096 true 9.74 5.38 263139328 true 8.17 4.44 239464448 true 8.54 4.73 245555200 true 7.25 4.00 222244864
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 11.9  6.58 267550720 timeout (error (143)) 91.2  65.4  2512052224 timeout (error (143)) 91.1  69.0  2534846464 timeout (error (143)) 91.2  66.9  2433306624 timeout (error (143)) 91.5  67.3  2392514560 timeout (error (143)) 90.9  66.0  2599546880 timeout (error (143)) 92.6  64.1  2612064256 true 74.2  50.9  2337656832 true 71.7  49.3  2323238912
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 10.6  5.69 248639488 timeout (error (143)) 91.3  67.7  2551332864 timeout (error (143)) 91.0  64.1  2553237504 timeout (error (143)) 90.9  69.4  2511974400 timeout (error (143)) 92.6  66.6  2552950784 timeout (error (143)) 95.0  67.3  2562355200 timeout (error (143)) 90.3  65.0  2572062720 timeout (error (143)) 90.3  66.7  2471219200 timeout (error (143)) 91.2  67.5  2499936256
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 11.1  6.05 259923968 timeout (error (143)) 91.1  67.7  2507722752 timeout (error (143)) 94.8  69.1  2560356352 timeout (error (143)) 91.2  67.6  2559307776 timeout (error (143)) 90.5  65.1  2564009984 timeout (error (143)) 91.1  64.4  2570321920 timeout (error (143)) 90.4  62.0  2570031104 timeout (error (143)) 90.5  67.0  2390446080 timeout (error (143)) 90.7  78.2  2520219648
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 9.13 5.31 244019200 true 39.7  22.4  1768706048 true 41.3  23.2  1698582528 true 41.3  24.2  1979781120 true 38.4  23.6  1911803904 true 49.4  28.7  1841131520 true 47.6  27.6  1783853056 true 33.9  17.8  1000030208 true 29.9  16.0  964866048
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 10.9  6.02 251387904 timeout (error (143)) 90.6  65.7  2504364032 timeout (error (143)) 90.9  65.5  2518827008 timeout (error (143)) 91.6  67.3  2435854336 timeout (error (143)) 91.5  67.7  2431217664 timeout (error (143)) 91.2  66.3  2508177408 timeout (error (143)) 90.8  65.8  2562949120 true 89.7  60.7  2324537344 true 72.5  50.7  2323959808
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 9.86 5.38 250036224 timeout (error (143)) 90.6  66.7  2573627392 timeout (error (143)) 90.9  64.5  2565562368 timeout (error (143)) 91.7  66.4  2543468544 timeout (error (143)) 91.0  69.1  2527760384 timeout (error (143)) 90.3  65.4  2606895104 timeout (error (143)) 90.2  65.0  2625454080 timeout (error (143)) 91.2  68.7  2515820544 timeout (error (143)) 91.4  66.4  2577264640
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 10.1  5.57 248356864 timeout (error (143)) 91.2  66.6  2536919040 timeout (error (143)) 90.4  65.4  2555506688 timeout (error (143)) 91.0  68.3  2471497728 timeout (error (143)) 91.0  63.3  2529222656 timeout (error (143)) 91.4  66.2  2562125824 timeout (error (143)) 91.2  65.0  2566017024 timeout (error (143)) 91.1  67.2  2453270528 timeout (error (143)) 91.7  67.2  2492887040
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 10.8  5.88 253538304 timeout (error (143)) 95.1  68.4  2580844544 timeout (error (143)) 91.4  65.7  2561220608 timeout (error (143)) 90.6  64.8  2574020608 timeout (error (143)) 90.3  64.8  2552176640 timeout (error (143)) 90.8  64.5  2555576320 timeout (error (143)) 91.2  64.7  2565718016 timeout (error (143)) 90.2  65.6  2392375296 timeout (error (143)) 90.4  64.3  2357436416
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 7.78 4.22 211197952 true 30.7  16.3  1242308608 true 30.0  16.0  1222152192 true 27.1  14.2  979902464 true 27.3  14.2  946393088 true 36.5  20.4  1483677696 true 36.7  20.6  1421705216 true 19.6  10.5  519643136 true 18.3  9.59 564899840
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 9.03 5.02 243810304 true 40.2  22.9  1834635264 true 40.8  22.9  1818849280 true 42.7  24.9  2201268224 true 42.3  24.6  1927745536 true 46.3  26.7  1982296064 true 48.6  27.9  2131533824 true 33.2  17.4  1030828032 true 28.6  15.6  1002278912
ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c true 7.78 4.54 214274048 true 24.8  13.8  1025384448 true 25.8  14.2  1081462784 true 25.1  13.4  848814080 true 22.8  12.6  851558400 true 32.8  19.6  1430069248 true 31.3  19.4  1451008000 true 31.3  17.1  893472768 true 27.1  15.2  1021939712
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c true 7.79 4.31 217141248 true 26.5  15.8  1248514048 true 27.5  16.4  1312903168 true 30.3  16.4  1069096960 true 25.3  14.8  1040855040 true 30.7  17.6  1176137728 true 31.7  18.4  1305612288 true 26.7  14.4  926519296 true 24.0  13.3  863444992
ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c true 7.87 4.27 218537984 true 31.4  19.6  1542684672 true 33.8  20.0  1528750080 true 29.7  18.1  1273556992 true 27.8  17.3  1328463872 true 38.2  23.6  1716477952 true 38.6  24.7  1785024512 true 28.9  16.7  1000574976 true 27.3  15.3  898342912
ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c true 7.57 4.11 218066944 true 26.7  14.9  994308096 true 29.8  15.8  1061916672 true 26.4  15.1  1052073984 true 26.5  15.2  1069215744 true 30.7  18.3  1179738112 true 29.5  17.6  1242185728 true 29.7  15.7  778194944 true 24.5  13.5  831520768
ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c true 8.32 4.47 220741632 true 37.0  22.2  1580527616 true 34.9  21.5  1516400640 true 31.4  19.2  1406976000 true 30.5  18.8  1458921472 true 48.4  31.1  2161815552 true 48.2  30.8  1804890112 true 50.3  29.4  1560629248 true 39.3  24.5  1552822272
ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c true 8.32 4.89 220016640 true 27.9  16.3  1331351552 true 27.6  16.3  1290215424 true 28.2  15.6  1041661952 true 24.9  14.6  969322496 true 35.9  22.4  1752092672 true 36.6  22.5  1556709376 true 26.2  15.7  964964352 true 25.1  14.3  916541440
ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c true 8.38 4.60 232644608 true 35.8  23.0  1685286912 true 36.8  23.2  1771405312 true 35.9  21.8  1695207424 true 33.7  21.1  1652908032 true 56.3  38.3  2267717632 true 56.2  38.1  2167287808 true 34.7  20.9  1404801024 true 33.1  19.8  1409683456
ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c true 8.44 4.79 221138944 true 32.7  19.6  1378824192 true 31.8  19.2  1447120896 true 30.7  18.0  1435709440 true 30.0  17.9  1348235264 true 44.0  29.1  2203488256 true 49.7  31.0  2227220480 true 29.1  17.0  1115648000 true 26.7  15.9  1109323776
ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c true 7.88 4.30 219607040 true 33.0  18.8  1345556480 true 30.9  18.3  1326469120 true 27.7  16.2  1270464512 true 28.0  16.3  1128767488 true 38.2  23.7  1716797440 true 40.2  24.6  1761370112 true 33.8  19.4  1326469120 true 33.2  18.7  1387663360
ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c true 7.76 4.21 220012544 true 27.8  15.3  1073213440 true 27.7  15.2  1141125120 true 25.6  14.0  894459904 true 24.2  13.7  1025495040 true 36.9  22.2  1607512064 true 36.9  22.4  1559330816 true 29.0  16.4  1067573248 true 27.2  15.3  1083887616
ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c true 7.37 4.08 217923584 true 26.9  15.4  1086939136 true 26.1  15.1  1124642816 true 24.1  13.4  916459520 true 26.9  14.2  952135680 true 39.8  24.2  1806991360 true 35.2  23.0  1540280320 true 27.4  14.7  907100160 true 24.9  13.7  892878848
ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c true 8.90 4.89 224120832 true 34.8  20.4  1573572608 true 31.9  19.3  1516437504 true 30.0  17.2  1306443776 true 27.5  16.5  1357611008 true 49.8  31.7  2179776512 true 52.7  33.0  2032545792 true 37.4  22.3  1368260608 true 34.2  20.3  1385873408
ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c true 7.75 4.34 213364736 true 25.0  14.0  920580096 true 27.8  14.7  1042305024 true 23.5  12.8  870715392 true 23.1  12.9  818847744 true 37.3  20.8  1459785728 true 33.1  20.1  1472344064 true 30.4  16.4  1042595840 true 26.4  15.1  934150144
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c true 7.82 4.33 212848640 true 30.1  17.5  1307627520 true 29.9  17.2  1081520128 true 26.4  15.0  1052291072 true 27.6  15.4  1078276096 true 30.1  17.8  1178411008 true 29.3  17.7  1194033152 true 27.0  14.6  866992128 true 25.0  13.6  869572608
ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c true 7.71 4.30 216199168 true 33.0  19.8  1305538560 true 30.9  19.1  1505050624 true 29.3  17.9  1309454336 true 27.5  17.0  1292361728 true 38.4  24.0  1651130368 true 36.7  23.5  1726939136 true 27.7  16.3  993460224 true 27.8  15.5  1024913408
ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c true 8.71 4.69 214503424 true 26.5  14.8  1027960832 true 26.7  14.7  1049235456 true 25.8  15.0  1035264000 true 25.7  14.9  983461888 true 29.6  17.5  1233362944 true 29.5  17.7  1212596224 true 26.7  14.9  876097536 true 25.2  13.6  746008576
ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c true 8.61 4.71 217329664 true 26.9  15.2  1077026816 true 24.5  14.4  1104740352 true 25.7  14.2  1062187008 true 24.9  13.8  990892032 true 37.9  22.7  1483321344 true 36.3  22.6  1571774464 true 28.0  15.8  1063686144 true 25.8  14.8  1073508352
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c true 6.86 4.08 191000576 true 8.60 4.61 255610880 true 8.65 4.60 254427136 true 8.47 4.56 255725568 true 8.15 4.42 255680512 true 9.23 4.94 254189568 true 9.55 5.12 256315392 true 9.98 5.44 262578176 true 9.24 5.03 257339392
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c true 6.78 3.60 191827968 true 7.27 3.98 240553984 true 7.49 4.06 244789248 true 7.90 4.24 241156096 true 8.09 4.34 245829632 true 8.18 4.43 244744192 true 8.00 4.45 243474432 true 8.76 4.85 246235136 true 7.72 4.31 243367936
ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c true 7.87 4.49 217092096 true 26.5  15.1  1083637760 true 25.8  14.9  1053966336 true 24.6  13.5  924946432 true 26.0  14.1  880381952 true 39.8  23.5  1757413376 true 36.3  22.9  1602732032 true 26.2  14.6  890687488 true 26.2  14.4  864444416
ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c true 8.14 4.68 221663232 true 26.0  14.8  1070604288 true 26.1  14.8  1084366848 true 23.0  13.1  865263616 true 23.5  13.2  861810688 true 37.6  23.1  1693290496 true 35.8  22.4  1696018432 true 26.9  15.6  987828224 true 26.9  15.0  979779584
ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c true 8.31 4.45 222945280 true 25.5  14.6  1113501696 true 27.9  15.4  1072533504 true 23.9  13.2  919248896 true 24.9  13.8  885477376 true 37.4  23.4  1567830016 true 35.8  22.4  1664598016 true 29.3  16.3  1002893312 true 26.4  15.0  1036218368
ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c true 8.50 4.65 223481856 true 30.6  18.8  1451122688 true 31.1  19.0  1412608000 true 30.1  17.3  1130172416 true 29.4  17.3  1301966848 true 47.1  31.2  1993793536 true 48.4  30.9  2094235648 true 31.1  19.5  1084608512 true 30.7  17.6  1102843904
ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c true 8.46 5.11 220086272 true 27.0  15.9  1108688896 true 27.5  16.1  1100328960 true 25.7  14.6  1060675584 true 25.2  14.4  930570240 true 40.1  25.1  1745117184 true 39.6  24.7  1629003776 true 29.3  16.2  1097768960 true 28.5  15.9  1038663680
ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c true 7.83 4.50 219357184 true 27.9  16.4  1064546304 true 27.2  16.2  1289715712 true 25.6  14.5  1071099904 true 26.8  14.9  1071013888 true 43.5  26.7  1800282112 true 40.0  25.4  1847926784 true 29.4  16.4  980062208 true 27.8  15.6  1100623872
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c true 6.36 3.83 191582208 true 11.2  5.98 326287360 true 11.4  5.99 329396224 true 11.3  5.96 339017728 true 11.2  5.88 330436608 true 15.4  8.31 417026048 true 15.0  7.97 426921984 timeout (error (143)) 96.1  83.6  2415480832 timeout (error (143)) 96.1  83.5  2423619584
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c true 6.63 3.86 187244544 true 12.3  6.41 391450624 true 12.0  6.38 387477504 true 11.8  6.26 365158400 true 11.7  6.19 366190592 true 17.2  9.23 572248064 true 17.4  9.21 549318656 timeout (error (143)) 95.8  74.8  2777137152 timeout (error (143)) 95.6  78.3  2778591232
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c true 6.25 3.58 191848448 true 9.36 5.01 296075264 true 9.18 4.92 288620544 true 9.44 5.01 290742272 true 9.53 5.06 286158848 true 12.8  6.91 334143488 true 13.1  7.26 336900096 timeout (error (143)) 93.1  86.7  2187112448 timeout (error (143)) 90.7  83.3  2168004608
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c true 6.51 3.68 191090688 true 9.94 5.26 301387776 true 9.71 5.16 290050048 true 9.79 5.15 296886272 true 10.2  5.32 302440448 true 13.2  7.16 344076288 true 13.5  7.26 343179264 timeout (error (143)) 95.8  91.3  2173861888 timeout (error (143)) 95.8  90.4  2158641152
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c true 6.43 3.63 192770048 true 10.2  5.52 320163840 true 10.5  5.50 320278528 true 10.3  5.44 322338816 true 10.3  5.40 321089536 true 13.9  7.46 399958016 true 13.7  7.24 403877888 timeout (error (143)) 96.0  88.3  2195324928 timeout (error (143)) 95.9  87.5  2198638592
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c true 6.70 3.65 193560576 true 10.9  5.74 324182016 true 11.0  5.75 330412032 true 11.3  5.92 334024704 true 10.8  5.69 323461120 true 15.0  7.96 418656256 true 15.0  8.07 409317376 timeout (error (143)) 96.0  85.6  2288078848 timeout (error (143)) 96.0  85.2  2272665600
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c true 6.66 3.62 190603264 true 11.4  5.98 325230592 true 11.4  6.04 330940416 true 11.5  6.08 332611584 true 11.4  5.98 330936320 true 15.7  8.54 419848192 true 15.7  8.27 442290176 timeout (error (143)) 96.0  87.0  2422255616 timeout (error (143)) 96.4  83.1  2425081856
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c true 6.36 3.49 191254528 true 12.1  6.35 408109056 true 11.8  6.25 409317376 true 12.2  6.43 401936384 true 12.0  6.32 410193920 true 17.9  9.52 569729024 true 17.8  9.41 571531264 timeout (error (143)) 96.2  76.3  2787454976 timeout (error (143)) 95.8  76.1  2772066304
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c true 6.26 3.50 189202432 true 7.42 3.97 241717248 true 6.94 3.78 240873472 true 7.15 3.87 241090560 true 7.10 3.88 242872320 true 8.66 4.77 243023872 true 8.31 4.59 244359168 true 8.68 11.2  296108032 true 8.79 10.1  246710272
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c true 5.79 3.76 189153280 true 7.79 4.17 243904512 true 7.56 4.07 243523584 true 7.64 4.06 241520640 true 7.55 4.05 243666944 true 9.47 5.17 252981248 true 9.07 5.03 256000000 true 9.46 5.05 316989440 true 10.2  10.5  311013376
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c true 6.65 4.19 191070208 true 8.00 4.26 242606080 true 8.04 4.28 244318208 true 7.99 4.22 243732480 true 7.76 4.16 242860032 true 10.1  5.43 251305984 true 9.35 5.07 255307776 true 12.6  6.85 556302336 true 11.8  6.66 522063872
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c true 6.19 3.62 193101824 true 8.26 4.47 259055616 true 8.30 4.51 255225856 true 8.23 4.40 254005248 true 8.28 4.43 256253952 true 10.3  5.63 307105792 true 10.2  5.69 285384704 true 18.1  11.1  1042038784 true 17.5  10.9  971137024
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c true 6.32 3.43 192823296 true 8.98 4.79 252866560 true 8.78 4.67 261083136 true 8.55 4.58 258801664 true 8.95 4.73 257163264 true 12.9  6.92 331681792 true 12.2  6.55 336670720 true 43.9  31.8  2029346816 true 37.4  27.0  2131894272
ntdrivers/cdaudio_false-unreach-call.i.cil.c unknown 5.97 3.21 183336960 unknown 5.79 3.18 181850112 unknown 6.39 3.37 183476224 unknown 5.96 3.26 181866496 unknown 5.98 3.22 183050240 unknown 6.76 3.74 185442304 unknown 6.68 3.61 184041472 unknown 6.89 3.81 185245696 unknown 6.38 3.74 184254464
ntdrivers/diskperf_false-unreach-call.i.cil.c unknown 5.73 3.37 175595520 unknown 5.61 3.06 177094656 unknown 5.62 3.03 179998720 unknown 5.73 3.09 177287168 unknown 5.66 3.06 175181824 unknown 6.43 3.48 179105792 unknown 6.26 3.39 178679808 unknown 6.29 5.56 172666880 unknown 5.74 3.48 175841280
ntdrivers/floppy_false-unreach-call.i.cil.c unknown 6.30 3.37 179691520 unknown 5.60 3.07 178737152 unknown 5.93 3.17 183312384 unknown 5.91 3.22 181456896 unknown 5.88 3.20 181301248 unknown 6.14 3.45 180224000 unknown 6.16 3.35 182292480 unknown 6.46 3.82 180490240 unknown 6.26 3.69 180256768
ntdrivers/kbfiltr_false-unreach-call.i.cil.c unknown 5.43 2.99 175702016 unknown 5.31 2.90 175087616 unknown 5.53 3.08 175398912 unknown 5.58 3.00 172658688 unknown 5.54 2.96 176357376 unknown 6.05 3.30 174903296 unknown 5.86 3.23 174952448 unknown 5.80 3.25 174514176 unknown 5.49 3.12 175030272
ntdrivers/parport_false-unreach-call.i.cil.c unknown 6.60 3.51 190828544 unknown 6.29 3.35 190615552 unknown 6.04 3.37 193409024 unknown 6.37 3.36 192638976 unknown 5.78 3.14 191295488 unknown 6.46 3.54 192438272 unknown 6.57 3.63 191328256 unknown 6.76 3.68 188084224 unknown 6.26 3.67 190406656
ntdrivers/cdaudio_true-unreach-call.i.cil.c unknown 6.19 3.64 182935552 unknown 5.87 3.24 182108160 unknown 5.99 3.24 183955456 unknown 6.26 3.36 187105280 unknown 6.00 3.24 185741312 unknown 6.36 3.60 185069568 unknown 6.61 3.57 188231680 unknown 6.62 3.56 185249792 unknown 6.41 3.53 182947840
ntdrivers/diskperf_true-unreach-call.i.cil.c unknown 5.88 3.15 177086464 unknown 5.64 3.07 173166592 unknown 5.49 3.01 171532288 unknown 5.67 3.05 175222784 unknown 5.70 3.09 174198784 unknown 6.36 3.46 178728960 unknown 6.16 3.38 177967104 unknown 6.26 3.38 175308800 unknown 5.74 3.35 177577984
ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c unknown 7.25 4.26 239304704 unknown 7.11 3.79 240963584 unknown 7.11 3.77 231854080 unknown 7.16 3.80 231702528 unknown 7.13 3.81 231989248 unknown 7.45 4.07 227000320 unknown 7.31 3.95 238080000 unknown 7.79 4.26 234803200 unknown 7.18 4.15 234364928
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c unknown 6.62 3.48 184008704 unknown 6.17 3.27 182439936 unknown 5.65 3.10 177127424 unknown 6.16 3.33 181800960 unknown 5.95 3.21 180199424 unknown 6.02 3.37 177926144 unknown 6.36 3.47 182358016 unknown 6.40 3.68 181858304 unknown 6.50 3.70 179777536
ntdrivers/parport_true-unreach-call.i.cil.c unknown 6.45 3.58 190234624 unknown 6.56 3.49 192770048 unknown 5.97 3.22 187076608 unknown 6.50 3.47 195563520 unknown 5.77 3.16 188067840 unknown 6.58 3.70 193191936 unknown 6.28 3.47 191602688 unknown 6.43 3.48 186961920 unknown 6.54 3.67 194146304
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c false(valid-memtrack) 34.0  20.3  443105280 timeout (error (143)) 91.1  71.6  2174660608 unknown 50.1  31.3  2276331520 timeout (error (143)) 90.9  69.0  2183680000 unknown 54.0  35.4  2278334464 timeout (error (143)) 91.6  68.3  2174353408 unknown 62.1  37.8  2326528000 timeout (error (143)) 96.3  74.2  2178494464 unknown 43.8  24.4  1390862336
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c false(valid-memtrack) 36.4  21.7  449241088 timeout (error (143)) 92.4  73.2  2181484544 unknown 55.3  35.4  2274799616 timeout (error (143)) 91.2  68.9  2180374528 unknown 62.2  40.5  2293354496 timeout (error (143)) 92.5  70.9  2190409728 unknown 45.9  27.9  2071552000 timeout (error (143)) 95.6  77.9  2241138688 unknown 54.4  30.7  1571868672
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c false(valid-memtrack) 35.0  20.2  441888768 timeout (error (143)) 92.2  71.3  2177556480 unknown 59.0  37.5  2290171904 timeout (error (143)) 91.2  66.2  2183172096 unknown 68.3  43.7  2305925120 timeout (error (143)) 90.6  71.5  2178011136 unknown 50.7  29.3  2069090304 timeout (error (143)) 96.4  77.6  2306551808 unknown 42.7  23.9  1435365376
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c false(valid-memtrack) 36.5  21.3  440823808 timeout (error (143)) 91.1  74.3  2168328192 unknown 58.9  37.8  2281213952 timeout (error (143)) 91.1  68.1  2184253440 unknown 62.7  40.9  2291957760 timeout (error (143)) 91.0  71.5  2172624896 unknown 47.0  28.5  2092367872 timeout (error (143)) 96.7  74.6  2184167424 unknown 49.8  28.9  1703059456
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c false(valid-memtrack) 22.4  12.7  351813632 timeout (error (143)) 92.8  71.5  2177814528 unknown 54.7  31.9  2241458176 timeout (error (143)) 91.1  66.0  2190262272 unknown 57.5  34.5  2262925312 timeout (error (143)) 92.0  70.7  2173755392 unknown 67.4  42.6  2307932160 timeout (error (143)) 96.8  76.7  2211708928 unknown 47.9  26.8  1545494528
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c false(valid-memtrack) 20.1  12.6  359653376 timeout (error (143)) 91.1  70.9  2172743680 unknown 52.1  31.1  2174586880 timeout (error (143)) 91.2  67.8  2190061568 unknown 55.4  34.2  2260807680 timeout (error (143)) 91.6  71.3  2182434816 unknown 68.5  45.2  2320273408 timeout (error (143)) 91.9  67.9  2201817088 unknown 45.4  26.0  1756663808
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c false(valid-memtrack) 21.3  12.6  360263680 timeout (error (143)) 91.4  70.5  2179665920 unknown 49.8  30.3  2246881280 timeout (error (143)) 91.3  67.6  2183786496 unknown 55.2  34.2  2270072832 timeout (error (143)) 91.8  70.8  2189832192 unknown 68.6  44.6  2313420800 timeout (error (143)) 91.9  73.6  2197950464 unknown 51.2  29.2  1526243328
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c false(valid-memtrack) 18.5  10.8  350162944 timeout (error (143)) 91.1  72.2  2172727296 unknown 54.6  32.5  2198040576 timeout (error (143)) 90.3  62.3  2184237056 unknown 57.4  35.2  2239082496 timeout (error (143)) 91.7  71.2  2181423104 unknown 65.9  41.0  2326786048 timeout (error (143)) 95.4  69.4  2173644800 unknown 47.0  25.8  1506037760
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c false(valid-memtrack) 19.0  10.9  355971072 timeout (error (143)) 91.1  70.4  2170056704 unknown 62.9  37.8  2284306432 timeout (error (143)) 91.6  64.9  2189156352 unknown 60.2  37.5  2282430464 timeout (error (143)) 91.5  69.9  2174840832 unknown 77.4  52.1  2315132928 timeout (error (143)) 95.9  75.9  2190712832 unknown 58.0  33.1  1856897024
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c false(valid-memtrack) 21.6  12.2  353660928 timeout (error (143)) 92.2  70.6  2173419520 unknown 53.5  32.8  2262806528 timeout (error (143)) 91.4  67.4  2187816960 unknown 59.7  36.0  2191970304 timeout (error (143)) 91.0  68.9  2181419008 unknown 69.4  47.2  2316726272 timeout (error (143)) 96.3  70.2  2199044096 unknown 56.8  31.4  1785757696
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c false(valid-memtrack) 21.8  12.2  344567808 timeout (error (143)) 92.0  71.8  2175197184 unknown 54.5  33.2  2124292096 timeout (error (143)) 91.2  64.1  2185068544 unknown 57.2  35.4  2242232320 timeout (error (143)) 90.9  69.3  2173915136 unknown 74.1  48.7  2310467584 timeout (error (143)) 96.7  73.7  2185674752 unknown 53.0  30.4  1728245760
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c false(valid-memtrack) 21.9  12.4  343392256 timeout (error (143)) 91.6  69.1  2167496704 unknown 59.2  35.5  2276364288 timeout (error (143)) 91.0  67.3  2193768448 unknown 55.8  34.9  2243862528 timeout (error (143)) 92.5  69.8  2166337536 unknown 76.6  49.3  2314444800 timeout (error (143)) 96.2  72.9  2213330944 unknown 53.2  30.0  1694388224
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c false(valid-memtrack) 23.8  13.7  363425792 timeout (error (143)) 91.1  69.7  2171338752 unknown 53.3  32.5  2215387136 timeout (error (143)) 91.6  66.9  2183704576 unknown 57.7  35.1  2187481088 timeout (error (143)) 91.6  67.4  2180829184 unknown 76.6  48.2  2319376384 timeout (error (143)) 94.8  79.0  2228862976 unknown 51.1  29.1  1677307904
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c false(valid-memtrack) 23.3  13.3  363016192 timeout (error (143)) 91.0  68.1  2166542336 unknown 53.5  32.8  2266341376 timeout (error (143)) 91.2  67.8  2182709248 unknown 60.5  37.5  2282205184 timeout (error (143)) 92.3  70.4  2177982464 unknown 74.1  48.9  2313162752 timeout (error (143)) 96.2  76.2  2190966784 unknown 55.1  31.3  1579053056
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c false(valid-memtrack) 22.8  12.8  355500032 timeout (error (143)) 90.9  71.3  2169663488 unknown 53.5  32.8  2195853312 timeout (error (143)) 91.4  66.8  2184085504 unknown 62.8  40.0  2257088512 timeout (error (143)) 91.7  68.7  2160754688 unknown 75.3  49.3  2327101440 timeout (error (143)) 96.2  71.8  2204905472 unknown 47.5  28.2  1735622656
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c false(valid-memtrack) 22.3  13.4  342757376 timeout (error (143)) 91.6  71.7  2172567552 unknown 60.6  35.7  2296643584 timeout (error (143)) 91.2  64.4  2178740224 unknown 63.7  38.9  2253938688 timeout (error (143)) 91.2  72.4  2174918656 unknown 74.1  48.2  2194526208 timeout (error (143)) 95.4  80.6  2202755072 unknown 51.4  29.8  1721307136
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c false(valid-memtrack) 23.2  13.9  352403456 timeout (error (143)) 92.8  69.2  2166996992 unknown 56.9  34.2  2264698880 timeout (error (143)) 90.6  65.5  2193903616 unknown 63.1  39.0  2239311872 timeout (error (143)) 91.4  67.7  2175770624 unknown 78.2  51.5  2332147712 timeout (error (143)) 96.2  72.8  2184077312 unknown 53.9  30.5  1868808192
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c false(valid-memtrack) 22.6  13.1  359456768 timeout (error (143)) 92.0  69.9  2178228224 unknown 57.8  34.8  2269614080 timeout (error (143)) 92.3  67.8  2199568384 unknown 63.2  39.2  2282881024 timeout (error (143)) 91.2  70.9  2175418368 unknown 76.4  49.4  2310537216 timeout (error (143)) 96.0  73.7  2166145024 unknown 49.0  29.2  1872429056
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c false(valid-memtrack) 21.4  13.5  351358976 timeout (error (143)) 92.4  71.2  2170904576 unknown 59.8  35.9  2268364800 timeout (error (143)) 91.2  65.9  2195648512 unknown 60.2  38.2  2280247296 timeout (error (143)) 91.7  67.3  2170265600 unknown 77.4  50.7  2320080896 timeout (error (143)) 96.4  73.5  2176040960 unknown 58.5  32.5  1904709632
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c false(valid-memtrack) 35.4  20.4  445014016 timeout (error (143)) 91.0  72.1  2173337600 unknown 54.2  33.6  2264199168 timeout (error (143)) 90.4  64.8  2181795840 unknown 62.7  40.7  2302054400 timeout (error (143)) 91.8  70.5  2181341184 unknown 62.2  38.1  2307907584 timeout (error (143)) 96.2  74.5  2176716800 unknown 43.9  25.5  1325899776
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c false(valid-memtrack) 34.2  20.0  446914560 timeout (error (143)) 91.9  71.0  2170728448 unknown 56.2  35.9  2291343360 timeout (error (143)) 91.2  65.1  2181947392 unknown 66.3  43.6  2273415168 timeout (error (143)) 93.7  71.2  2185699328 unknown 59.8  32.3  2089263104 timeout (error (143)) 96.1  76.7  2182914048 unknown 52.2  29.2  1526927360
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c false(valid-memtrack) 41.7  23.7  448552960 timeout (error (143)) 91.9  70.4  2183327744 unknown 71.7  42.1  2313170944 timeout (error (143)) 91.2  67.6  2180501504 unknown 69.6  45.4  2279653376 timeout (error (143)) 92.3  73.2  2170646528 unknown 47.4  28.0  2146185216 timeout (error (143)) 96.6  72.8  2232176640 unknown 44.5  24.6  1404370944
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c false(valid-memtrack) 36.4  21.0  452235264 timeout (error (143)) 91.0  69.7  2184638464 unknown 55.4  35.6  2259480576 timeout (error (143)) 90.3  65.2  2175631360 unknown 64.3  42.8  2288467968 timeout (error (143)) 93.2  71.2  2173644800 unknown 44.4  27.1  2169942016 timeout (error (143)) 93.5  72.4  2262069248 unknown 50.4  29.5  1651666944
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c false(valid-memtrack) 21.1  11.9  349319168 timeout (error (143)) 91.1  69.3  2172936192 unknown 56.1  34.6  2279444480 timeout (error (143)) 91.1  66.4  2187436032 unknown 61.5  40.8  2281549824 timeout (error (143)) 91.1  67.0  2175315968 unknown 72.3  46.4  2307502080 timeout (error (143)) 95.9  77.0  2165501952 unknown 51.6  30.2  1860677632
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c false(valid-memtrack) 18.4  10.6  342298624 timeout (error (143)) 90.8  71.3  2178539520 unknown 55.8  33.2  2209157120 timeout (error (143)) 91.7  65.6  2193948672 unknown 56.6  35.3  2265489408 timeout (error (143)) 92.1  67.3  2170941440 unknown 68.6  45.4  2304827392 timeout (error (143)) 91.2  88.7  2231967744 unknown 44.8  25.8  1663131648
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c false(valid-memtrack) 21.4  11.9  355348480 timeout (error (143)) 91.5  70.3  2175725568 unknown 55.6  35.0  2278195200 timeout (error (143)) 91.2  66.7  2185633792 unknown 67.0  40.8  2283741184 timeout (error (143)) 92.3  68.6  2172018688 unknown 80.5  53.3  2307567616 timeout (error (143)) 95.9  78.9  2191798272 unknown 53.2  30.9  1955368960
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c false(valid-memtrack) 20.6  11.7  350281728 timeout (error (143)) 91.6  69.2  2174332928 unknown 56.2  33.8  2195656704 timeout (error (143)) 90.9  60.6  2194259968 unknown 60.9  36.8  2275631104 timeout (error (143)) 91.5  68.9  2177294336 unknown 77.0  50.1  2311352320 timeout (error (143)) 96.1  70.7  2183557120 unknown 48.7  28.6  1688915968
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c false(valid-memtrack) 22.1  12.5  353980416 timeout (error (143)) 90.8  70.9  2175946752 unknown 58.8  35.0  2232000512 timeout (error (143)) 90.6  60.7  2186575872 unknown 59.7  37.5  2284412928 timeout (error (143)) 91.0  69.9  2177929216 unknown 73.4  48.8  2316464128 timeout (error (143)) 96.4  71.7  2228277248 unknown 57.8  31.3  1759342592
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c false(valid-memtrack) 21.8  12.2  343457792 timeout (error (143)) 91.2  67.9  2169384960 unknown 57.0  34.8  2265374720 timeout (error (143)) 91.3  68.3  2199130112 unknown 59.5  37.2  2282409984 timeout (error (143)) 93.3  69.6  2181701632 unknown 79.1  50.7  2314747904 timeout (error (143)) 95.8  79.7  2208141312 unknown 56.9  31.2  1796083712
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c false(valid-memtrack) 21.8  12.3  347447296 timeout (error (143)) 92.3  70.9  2169905152 unknown 54.9  33.0  2271285248 timeout (error (143)) 91.3  67.6  2194079744 unknown 59.0  37.4  2256850944 timeout (error (143)) 91.4  70.5  2169389056 unknown 76.5  49.3  2279194624 timeout (error (143)) 91.9  72.6  2182234112 unknown 54.6  31.6  1592643584
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c false(valid-memtrack) 21.7  12.3  356687872 timeout (error (143)) 92.8  71.3  2174324736 unknown 52.6  32.6  2250297344 timeout (error (143)) 91.2  67.1  2191331328 unknown 63.2  39.2  2277322752 timeout (error (143)) 90.8  69.6  2174980096 unknown 74.4  49.2  2242813952 timeout (error (143)) 96.2  72.9  2187157504 unknown 54.4  30.9  1739382784
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c false(valid-memtrack) 20.0  11.3  356020224 timeout (error (143)) 92.2  71.8  2174541824 unknown 54.7  33.9  2285174784 timeout (error (143)) 91.3  67.7  2181844992 unknown 68.2  42.0  2288906240 timeout (error (143)) 92.1  71.5  2169241600 unknown 75.7  50.9  2326818816 timeout (error (143)) 96.2  72.6  2188500992 unknown 51.3  30.0  1777737728
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c false(valid-memtrack) 21.4  12.0  355983360 timeout (error (143)) 91.0  69.6  2168360960 unknown 58.6  34.3  2269487104 timeout (error (143)) 91.0  67.3  2192928768 unknown 68.9  41.5  2281271296 timeout (error (143)) 91.2  70.4  2175840256 unknown 72.8  48.7  2311667712 timeout (error (143)) 95.7  77.3  2211418112 unknown 52.1  29.4  1668841472
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c false(valid-memtrack) 21.2  12.1  353415168 timeout (error (143)) 92.8  73.6  2172043264 unknown 59.2  35.8  2191646720 timeout (error (143)) 91.3  67.8  2189680640 unknown 65.4  41.9  2280583168 timeout (error (143)) 94.3  71.7  2174144512 unknown 73.1  49.3  2324316160 timeout (error (143)) 95.8  76.1  2176614400 unknown 51.9  29.4  1483337728
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c false(valid-memtrack) 21.5  12.0  356663296 timeout (error (143)) 91.4  68.7  2172706816 unknown 56.3  35.3  2259374080 timeout (error (143)) 91.3  66.4  2190409728 unknown 64.8  41.6  2283417600 timeout (error (143)) 90.9  69.0  2171932672 unknown 78.6  52.7  2306437120 timeout (error (143)) 95.6  67.4  2177196032 unknown 58.0  32.9  1780961280
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c false(valid-memtrack) 21.3  11.8  356237312 timeout (error (143)) 92.1  71.1  2175037440 unknown 58.2  35.5  2257195008 timeout (error (143)) 91.1  66.9  2180689920 unknown 67.5  43.4  2270195712 timeout (error (143)) 92.2  70.4  2167795712 unknown 77.4  50.6  2328666112 timeout (error (143)) 96.1  74.2  2193547264 unknown 57.2  31.6  1577324544
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 261 5370 3500 97894805504 261 7130 5020 200024915968 261 5700 3630 198928699392 261 7830 5330 223352492032 261 5890 3770 197601206272 261 7150 4840 244441182208 261 6090 3840 236172349440 261 8130 5930 214823194624 261 6150 4120 188749565952
local summary 4600 1770 7120 2530 5700 1840 7830 2690 5890 1910 7150 2450 6090 1950 7970 3000 6150 2090
    correct results 0 0 0 0 0 0 0 0 0
        correct true 0 0 0 0 0 0 0 0 0
        correct false 0 0 0 0 0 0 0 0 0
    incorrect results 0 0 0 0 0 0 0 0 0
        incorrect true 0 0 0 0 0 0 0 0 0
        incorrect false 0 0 0 0 0 0 0 0 0
Run set AutomizerCamel_Seq AbsInt_Seq AbsInt_imprecise_Seq AbsInt_Seq_Inl AbsInt_imprecise_Seq_Inl AbsInt_SS AbsInt_imprecise_SS AbsInt_LFB AbsInt_imprecise_LFB