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/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_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/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-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_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/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_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
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
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/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
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
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 98 4340 2920 66064658432 98 5340 4020 135358316544 98 3960 2660 135379861504 98 6090 4370 161471770624 98 4190 2810 137716891648 98 4970 3560 167881674752 98 4000 2590 161674743808 98 6170 4810 151488315392 98 4420 3120 129582116864
    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