Tool ULTIMATE Automizer 0.1.23-1cceb4a9
Limits timelimit: 90 s, memlimit: 6000 MB, CPU core limit: 2
Host alex_server
OS Linux-4.14.13-1-ARCH-x86_64-with-arch
System CPU: Intel Xeon CPU E3-1225 v3 @ 3.20GHz, cores: 4, frequency: 3600 MHz, Turbo Boost: enabled; RAM: 8273 MB
Date of execution 2018-01-29 22:36:05 CET
Run set Automizer AutomizerHeapSep HeapSep
Options --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/ai/eq-bench/svcomp-Reach-32bit-Automizer_Camel+AI_EQ_SS.epf --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerCTransformed.xml -s ../../../trunk/examples/settings/ai/eq-bench/svcomp-Reach-32bit-Automizer_Camel+AI_EQ_SS.epf --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/IcfgTransformerC.xml -s ../../../trunk/examples/settings/ai/eq-bench/svcomp-Reach-32bit-Automizer_Camel+AI_EQ_SS.epf
../../../../trunk/examples/svcomp/ 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 (error (143)) 90.9  69.9  2201010176 timeout (error (143)) 91.5  60.3  1758535680 unknown 22.0  11.8  1235877888
array-examples/sorting_bubblesort_false-unreach-call2_ground.i timeout (error: exception) 90.9  67.9  1134333952 timeout (error (143)) 90.9  69.2  1148448768 unknown 2.98 1.68 166653952
array-examples/sorting_bubblesort_false-unreach-call_ground.i timeout (error: exception) 91.2  68.7  1148080128 timeout (error (143)) 90.9  69.6  1167495168 unknown 2.94 1.64 168202240
array-examples/sorting_selectionsort_false-unreach-call2_ground.i timeout (error (143)) 90.9  67.1  1022562304 timeout (error (143)) 91.2  66.8  1074683904 unknown 3.04 1.68 172748800
array-examples/sorting_selectionsort_false-unreach-call_ground.i timeout (error (143)) 90.2  69.4  899932160 timeout (error (143)) 90.5  69.9  883851264 unknown 3.03 1.74 170795008
array-examples/standard_allDiff2_false-unreach-call_ground.i timeout (error (143)) 90.4  73.1  1250267136 timeout (error (143)) 91.1  74.2  1277321216 unknown 2.94 1.62 168837120
array-examples/standard_copy1_false-unreach-call_ground.i timeout (error (143)) 91.1  70.5  1540730880 timeout (error (143)) 91.1  69.7  1603940352 unknown 3.04 1.69 167632896
array-examples/standard_copy2_false-unreach-call_ground.i timeout (error (143)) 91.1  69.2  1639526400 timeout (error (143)) 90.2  67.1  1549443072 unknown 2.93 1.65 168579072
array-examples/standard_copy3_false-unreach-call_ground.i timeout (error (143)) 91.1  70.0  1849495552 timeout (error (143)) 90.5  66.6  1825419264 unknown 3.03 1.69 169590784
array-examples/standard_copy4_false-unreach-call_ground.i timeout (error (143)) 90.3  69.7  1968267264 timeout (error: exception) 91.1  68.6  1935114240 unknown 3.17 1.73 172638208
array-examples/standard_copy5_false-unreach-call_ground.i timeout (error (143)) 90.1  66.4  1848561664 timeout (error (143)) 91.0  70.1  2066153472 unknown 3.12 1.79 171962368
array-examples/standard_copy6_false-unreach-call_ground.i timeout (error (143)) 90.9  69.4  2188251136 timeout (error (143)) 90.8  69.6  2166882304 unknown 3.30 1.83 174133248
array-examples/standard_copy7_false-unreach-call_ground.i timeout (error (143)) 91.1  68.1  2167234560 timeout (error (143)) 91.1  67.9  2043686912 unknown 3.34 1.90 176431104
array-examples/standard_copy8_false-unreach-call_ground.i timeout (error (143)) 90.9  69.1  2090610688 timeout (error (143)) 91.1  67.1  1910624256 unknown 3.31 1.84 175853568
array-examples/standard_copy9_false-unreach-call_ground.i timeout (error (143)) 90.9  70.4  2159501312 timeout (error: exception) 90.8  69.8  2196897792 unknown 3.15 1.82 177864704
array-examples/standard_copyInitSum2_false-unreach-call_ground.i timeout (error (143)) 90.9  69.5  1437097984 timeout (error (143)) 90.9  69.6  1408020480 unknown 3.01 1.67 167354368
array-examples/standard_init1_false-unreach-call_ground.i timeout (error (143)) 91.6  70.0  1124192256 timeout (error (143)) 91.0  66.2  873607168 unknown 2.64 1.52 161832960
array-examples/standard_init2_false-unreach-call_ground.i timeout (error (143)) 90.8  70.0  1162772480 timeout (error (143)) 91.3  71.9  1185501184 unknown 2.83 1.58 163622912
array-examples/standard_init3_false-unreach-call_ground.i timeout (error: exception) 90.6  72.1  1687699456 timeout (error (143)) 91.6  72.2  1536815104 unknown 2.99 1.65 167849984
array-examples/standard_init4_false-unreach-call_ground.i timeout (error (143)) 95.9  76.0  1961537536 timeout (error (143)) 95.9  76.0  1832472576 unknown 3.03 1.74 167788544
array-examples/standard_init5_false-unreach-call_ground.i timeout (error (143)) 90.9  71.6  1907425280 timeout (error (143)) 91.4  70.2  1542311936 unknown 3.22 1.77 170377216
array-examples/standard_init6_false-unreach-call_ground.i timeout (error (143)) 96.0  75.6  2331422720 timeout (error (143)) 95.8  76.8  2255286272 unknown 3.17 1.77 169598976
array-examples/standard_init7_false-unreach-call_ground.i timeout (error (143)) 90.8  72.5  2111582208 timeout (error (143)) 90.6  73.9  2037305344 unknown 3.01 1.70 169091072
array-examples/standard_init8_false-unreach-call_ground.i timeout (error (143)) 93.6  76.1  2210906112 timeout (error (143)) 92.8  75.5  2208751616 unknown 3.02 1.68 171421696
array-examples/standard_init9_false-unreach-call_ground.i timeout (error (143)) 90.8  74.4  2194501632 timeout (error: exception) 90.8  75.2  2186428416 unknown 2.92 1.68 173035520
array-examples/standard_minInArray_false-unreach-call_ground.i timeout (error (143)) 91.1  69.3  1042014208 timeout (error (143)) 91.0  68.8  1043767296 unknown 2.84 1.59 160276480
array-examples/standard_partition_false-unreach-call_ground.i timeout (error (143)) 90.8  84.9  344702976 timeout (error (143)) 91.7  86.1  324333568 unknown 3.08 1.72 171319296
array-examples/standard_running_false-unreach-call.i timeout (error (143)) 91.3  76.5  853708800 timeout (error (143)) 91.4  75.6  864301056 unknown 3.00 1.65 165806080
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i true 5.83 3.28 220635136 false 22.9  12.2  1202122752 unknown 22.4  11.8  1250594816
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i timeout (error (143)) 92.2  74.1  1006366720 timeout (error (143)) 91.1  62.2  1837195264 unknown 21.0  11.4  1230725120
array-examples/sanfoundry_02_true-unreach-call_ground.i timeout (error (143)) 90.6  69.5  1091534848 timeout (error: exception) 91.3  71.8  1038426112 unknown 3.06 1.73 168480768
array-examples/sanfoundry_10_true-unreach-call_ground.i timeout (error (143)) 91.1  86.7  407797760 timeout (error (143)) 91.3  85.6  499212288 unknown 3.10 1.68 165883904
array-examples/sanfoundry_24_true-unreach-call_true-termination.i true 5.87 3.33 220684288 true 5.77 3.19 236843008 unknown 3.01 1.73 166621184
array-examples/sanfoundry_27_true-unreach-call_ground.i timeout (error (143)) 91.2  69.8  841715712 timeout (error (143)) 91.0  72.3  883769344 unknown 2.95 1.65 165523456
array-examples/sanfoundry_43_true-unreach-call_ground.i true 3.27 1.81 174858240 true 9.37 4.90 532848640 unknown 8.74 4.55 518238208
array-examples/sorting_bubblesort_true-unreach-call_ground.i timeout (error: exception) 90.7  67.7  985862144 timeout (error: exception) 90.9  67.8  1023528960 unknown 3.09 1.69 169877504
array-examples/sorting_selectionsort_true-unreach-call_ground.i timeout (error (143)) 91.6  69.5  879886336 timeout (error (143)) 91.0  66.6  989052928 unknown 3.01 1.66 172744704
array-examples/standard_compareModified_true-unreach-call_ground.i timeout (error (143)) 95.8  90.6  1344376832 timeout (error (143)) 92.2  88.2  1351340032 unknown 2.88 1.62 166420480
array-examples/standard_compare_true-unreach-call_ground.i timeout (error (143)) 90.3  65.8  1041707008 timeout (error (143)) 91.2  68.1  1085165568 unknown 2.93 1.65 163684352
array-examples/standard_copy1_true-unreach-call_ground.i timeout (error (143)) 90.8  74.3  937721856 timeout (error (143)) 90.6  76.0  1038630912 unknown 2.96 1.68 167432192
array-examples/standard_copy2_true-unreach-call_ground.i timeout (error (143)) 90.4  67.7  1144733696 timeout (error (143)) 91.2  69.9  1161965568 unknown 3.01 1.69 168800256
array-examples/standard_copy3_true-unreach-call_ground.i timeout (error (143)) 90.6  70.6  847609856 timeout (error (143)) 91.6  72.1  1067712512 unknown 3.06 1.68 168366080
array-examples/standard_copy4_true-unreach-call_ground.i timeout (error (143)) 90.8  70.7  1089417216 timeout (error (143)) 90.8  71.2  1124745216 unknown 3.04 1.68 169492480
array-examples/standard_copy5_true-unreach-call_ground.i timeout (error (143)) 90.8  70.6  1049993216 timeout (error (143)) 90.9  70.7  1044963328 unknown 3.09 1.75 173494272
array-examples/standard_copy6_true-unreach-call_ground.i timeout (error (143)) 91.1  69.1  1183113216 timeout (error (143)) 90.2  67.6  1064914944 unknown 3.08 1.77 173330432
array-examples/standard_copy7_true-unreach-call_ground.i timeout (error (143)) 91.0  70.3  1077764096 timeout (error (143)) 90.8  64.8  932024320 unknown 3.19 1.79 171745280
array-examples/standard_copy8_true-unreach-call_ground.i timeout (error (143)) 90.6  69.5  1061523456 timeout (error (143)) 91.3  69.2  981475328 unknown 2.95 1.73 173252608
array-examples/standard_copy9_true-unreach-call_ground.i timeout (error (143)) 91.1  69.1  1273921536 timeout (error (143)) 90.9  69.1  1310793728 unknown 3.20 1.79 177049600
array-examples/standard_copyInitSum2_true-unreach-call_ground.i timeout (error: exception) 91.1  67.9  1396031488 timeout (error (143)) 90.9  71.1  1575354368 unknown 3.06 1.71 167297024
array-examples/standard_copyInitSum3_true-unreach-call_ground.i timeout (error (143)) 90.4  73.6  761298944 timeout (error (143)) 90.7  66.5  910323712 unknown 3.09 1.76 167301120
array-examples/standard_copyInitSum_true-unreach-call_ground.i timeout (error (143)) 91.1  68.1  1493745664 timeout (error (143)) 90.8  69.7  1436401664 unknown 2.96 1.65 170835968
array-examples/standard_copyInit_true-unreach-call_ground.i timeout (error (143)) 92.2  68.0  1221271552 timeout (error (143)) 90.9  68.6  1329459200 unknown 2.96 1.67 165224448
array-examples/standard_find_true-unreach-call_ground.i timeout (error: exception) 90.3  67.4  1423134720 timeout (error (143)) 92.0  67.3  1152069632 unknown 3.10 1.71 164945920
array-examples/standard_init1_true-unreach-call_ground.i timeout (error (143)) 90.9  69.1  958279680 timeout (error (143)) 91.1  67.5  926011392 unknown 2.93 1.60 164532224
array-examples/standard_init2_true-unreach-call_ground.i timeout (error (143)) 90.8  69.4  1471221760 timeout (error (143)) 90.8  70.2  1416077312 unknown 2.98 1.63 168038400
array-examples/standard_init3_true-unreach-call_ground.i timeout (error (143)) 92.9  73.0  1648697344 timeout (error (143)) 90.6  71.9  1716482048 unknown 3.06 1.67 165568512
array-examples/standard_init4_true-unreach-call_ground.i timeout (error (143)) 95.2  71.3  1886130176 timeout (error (143)) 90.6  69.1  1825177600 unknown 2.88 1.64 165564416
array-examples/standard_init5_true-unreach-call_ground.i timeout (error (143)) 90.9  71.6  1916440576 timeout (error: exception) 91.0  71.9  1877991424 unknown 3.08 1.69 168488960
array-examples/standard_init6_true-unreach-call_ground.i timeout (error (143)) 95.8  77.5  2350202880 timeout (error (143)) 95.8  76.9  2301612032 unknown 3.09 1.74 166858752
array-examples/standard_init7_true-unreach-call_ground.i timeout (error (143)) 90.7  71.7  2009743360 timeout (error (143)) 91.5  71.4  1888276480 unknown 2.93 1.67 167358464
array-examples/standard_init8_true-unreach-call_ground.i timeout (error (143)) 91.6  74.6  2370658304 timeout (error (143)) 96.0  75.7  2174558208 unknown 3.04 1.74 172617728
array-examples/standard_init9_true-unreach-call_ground.i timeout (error (143)) 90.7  74.9  2178015232 timeout (error (143)) 90.6  73.7  2168483840 unknown 3.20 1.78 171298816
array-examples/standard_maxInArray_true-unreach-call_ground.i timeout (error (143)) 91.0  69.5  860418048 timeout (error (143)) 90.4  64.0  724197376 unknown 2.83 1.60 160321536
array-examples/standard_minInArray_true-unreach-call_ground.i timeout (error (143)) 91.1  69.1  781295616 timeout (error (143)) 91.1  69.3  737562624 unknown 2.93 1.65 167198720
array-examples/standard_palindrome_true-unreach-call_ground.i timeout (error (143)) 96.6  76.2  964689920 timeout (error (143)) 90.1  68.8  862060544 unknown 2.88 1.60 165396480
array-examples/standard_partial_init_true-unreach-call_ground.i timeout (error (143)) 90.9  76.8  1244213248 timeout (error (143)) 90.5  74.7  730009600 unknown 2.91 1.67 166277120
array-examples/standard_partition_original_true-unreach-call_ground.i timeout (error (143)) 95.8  80.0  4150841344 timeout (error (143)) 91.5  86.0  1580896256 unknown 2.99 1.65 165711872
array-examples/standard_partition_true-unreach-call_ground.i timeout (error (143)) 92.1  87.5  303632384 timeout (error (143)) 92.1  88.6  282976256 unknown 2.99 1.66 167858176
array-examples/standard_password_true-unreach-call_ground.i timeout (error (143)) 90.3  68.6  1209999360 timeout (error (143)) 90.8  67.2  1085022208 unknown 3.04 1.70 164655104
array-examples/standard_reverse_true-unreach-call_ground.i timeout (error (143)) 90.8  76.3  739823616 timeout (error (143)) 91.0  75.9  672497664 unknown 3.04 1.67 163127296
array-examples/standard_running_true-unreach-call.i timeout (error (143)) 90.6  77.2  942231552 timeout (error (143)) 90.7  78.5  742223872 unknown 2.92 1.66 167862272
array-examples/standard_sentinel_true-unreach-call_true-termination.i true 5.72 3.24 220774400 true 5.87 3.35 215781376 unknown 2.99 1.67 165543936
array-examples/standard_seq_init_true-unreach-call_ground.i timeout (error (143)) 91.5  87.0  1259151360 timeout (error (143)) 91.5  87.8  1258102784 unknown 2.81 1.55 156766208
array-examples/standard_strcmp_true-unreach-call_ground.i timeout (error (143)) 91.1  69.2  1312530432 false 10.9  5.67 680775680 unknown 10.2  5.29 635150336
array-examples/standard_strcpy_original_true-unreach-call.i timeout (error (143)) 91.1  69.1  1521594368 timeout (error (143)) 91.0  68.8  1471594496 unknown 3.05 1.71 166051840
array-examples/standard_strcpy_true-unreach-call_ground.i timeout (error (143)) 90.9  65.5  1009049600 timeout (error (143)) 90.1  66.0  1252761600 unknown 2.91 1.61 167411712
array-examples/standard_two_index_01_true-unreach-call.i timeout (error (143)) 91.8  87.3  1634979840 timeout (error (143)) 90.9  86.3  1597132800 unknown 3.06 1.69 165068800
array-examples/standard_two_index_02_true-unreach-call.i timeout (error (143)) 91.5  85.5  1567875072 timeout (error (143)) 91.3  85.1  1734922240 unknown 3.07 1.69 164790272
array-examples/standard_two_index_03_true-unreach-call.i timeout (error (143)) 91.3  84.6  1530707968 timeout (error (143)) 91.3  84.5  1414631424 unknown 3.03 1.70 166498304
array-examples/standard_two_index_04_true-unreach-call.i timeout (error (143)) 91.1  84.1  1598349312 timeout (error (143)) 91.4  84.0  1713647616 unknown 3.14 1.74 164556800
array-examples/standard_two_index_05_true-unreach-call.i timeout (error (143)) 91.3  84.1  1571037184 timeout (error (143)) 92.4  84.1  1781964800 unknown 3.07 1.70 166248448
array-examples/standard_two_index_06_true-unreach-call.i timeout (error (143)) 90.4  77.0  1067511808 timeout (error (143)) 91.8  79.2  1664626688 unknown 2.96 1.64 169185280
array-examples/standard_two_index_07_true-unreach-call.i timeout (error (143)) 90.4  78.5  1118105600 timeout (error (143)) 93.0  78.1  1099255808 unknown 3.06 1.68 169447424
array-examples/standard_two_index_08_true-unreach-call.i timeout (error (143)) 93.0  77.8  1405259776 timeout (error (143)) 91.1  77.2  1069531136 unknown 3.08 1.69 164847616
array-examples/standard_two_index_09_true-unreach-call.i timeout (error (143)) 92.0  77.3  1139318784 timeout (error (143)) 91.8  80.4  1235120128 unknown 3.00 1.69 165773312
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i timeout (error (143)) 90.7  73.5  865984512 timeout (error (143)) 91.7  75.3  749481984 unknown 2.89 1.60 167731200
array-examples/standard_vector_difference_true-unreach-call_ground.i timeout (error (143)) 91.2  86.7  742666240 timeout (error (143)) 93.2  89.3  736354304 unknown 3.02 1.65 163479552
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i timeout (error (143)) 90.4  69.2  1080995840 timeout (error (143)) 91.1  70.1  1078079488 unknown 2.92 1.62 166047744
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i out of memory 25.1  13.6  5999996928 error: exception 45.0  23.7  5824831488 error: exception 45.0  23.8  5819662336
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i timeout (error: exception) 90.8  72.6  1594294272 timeout (error (143)) 91.2  70.9  1420173312 unknown 3.09 1.70 167927808
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i timeout (error (143)) 90.2  66.9  1361584128 timeout (error (143)) 91.1  70.7  1201872896 unknown 3.04 1.71 170156032
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i timeout (error (143)) 91.1  66.1  1047945216 false 34.6  22.5  1631158272 unknown 31.0  20.3  1853886464
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i timeout (error (143)) 90.3  66.1  1536217088 timeout (error (143)) 90.3  66.3  1468342272 unknown 2.96 1.62 162709504
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i timeout (error (143)) 91.5  82.1  604262400 timeout (error (143)) 91.2  86.9  661213184 unknown 3.19 1.76 166486016
array-industry-pattern/array_of_struct_break_true-unreach-call.i error: exception 41.5  22.0  5916655616 out of memory 22.2  12.0  5999996928 out of memory 21.5  11.7  5999996928
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i error: exception 50.6  26.7  5938298880 out of memory 28.0  15.1  5999996928 error: exception 51.7  27.2  5968830464
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i true 10.0  5.90 267612160 timeout (error (143)) 90.4  67.6  2079617024 unknown 22.5  14.0  1222967296
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i error: exception 45.2  23.9  5988790272 out of memory 25.7  13.8  5999996928 out of memory 27.4  14.8  5999996928
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i error: exception 61.8  32.4  5883162624 out of memory 31.7  17.1  5999996928 error: exception 68.6  35.9  5867626496
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i out of memory 27.0  14.5  5999996928 error: exception 51.8  27.4  5994135552 error: exception 45.3  23.9  5983944704
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i timeout (error (143)) 91.3  65.7  717090816 timeout (error (143)) 90.3  68.9  716840960 unknown 3.07 1.72 163610624
reducercommutativity/rangesum05_false-unreach-call_true-termination.i false 12.4  7.12 354320384 false 23.1  12.2  1143250944 unknown 18.8  10.0  1050824704
reducercommutativity/rangesum10_false-unreach-call_true-termination.i timeout (error (143)) 96.3  85.5  987623424 false 29.9  16.9  1203736576 unknown 21.0  10.7  1003483136
reducercommutativity/rangesum20_false-unreach-call.i timeout (error (143)) 95.7  80.4  860127232 false 56.3  38.3  1557651456 unknown 19.7  10.2  1035165696
reducercommutativity/rangesum40_false-unreach-call.i timeout (error (143)) 92.6  80.0  673501184 timeout (error (143)) 90.9  68.8  1859432448 unknown 20.1  10.4  1088163840
reducercommutativity/rangesum60_false-unreach-call.i timeout (error (143)) 96.1  89.2  430948352 timeout (error (143)) 90.9  69.7  1799548928 unknown 20.0  10.3  1045540864
reducercommutativity/rangesum_false-unreach-call_true-termination.i false 16.1  9.92 342294528 false 20.3  11.2  1144127488 unknown 20.7  11.0  1079136256
reducercommutativity/avg05_true-unreach-call_true-termination.i error: exception 41.4  27.5  2187788288 timeout (error (143)) 90.7  79.2  2215260160 timeout (error (143)) 90.2  78.1  2207076352
reducercommutativity/avg10_true-unreach-call_true-termination.i timeout (error: exception) 90.8  73.0  2241867776 timeout (error (143)) 90.5  79.3  2214498304 timeout (error (143)) 90.6  77.5  2213306368
reducercommutativity/avg_true-unreach-call_true-termination.i timeout (error (143)) 91.4  88.5  288657408 false 33.3  23.3  1686921216 unknown 33.8  22.9  1778012160
reducercommutativity/max_true-unreach-call_true-termination.i timeout (error (143)) 92.1  84.3  493518848 false 38.1  26.8  1759178752 unknown 39.2  26.4  1784569856
reducercommutativity/sep05_true-unreach-call_true-termination.i timeout (error (143)) 91.0  75.5  1135935488 false 71.3  56.2  2223063040 unknown 68.2  54.7  2201264128
reducercommutativity/sep10_true-unreach-call.i timeout (error (143)) 90.5  60.5  2177601536 false 80.9  63.2  2228797440 unknown 66.5  53.0  2203828224
reducercommutativity/sep20_true-unreach-call.i timeout (error: exception) 91.3  69.2  2196996096 timeout (error (143)) 90.2  72.3  2236698624 unknown 65.4  53.5  2205544448
reducercommutativity/sep40_true-unreach-call.i timeout (error (143)) 90.8  72.1  2210689024 timeout (error (143)) 90.4  71.3  2242064384 unknown 67.8  55.3  2205143040
reducercommutativity/sep60_true-unreach-call.i timeout (error (143)) 92.4  73.9  1886875648 timeout (error (143)) 91.4  68.3  2236354560 unknown 67.0  53.2  2196377600
reducercommutativity/sep_true-unreach-call_true-termination.i timeout (error (143)) 91.3  72.2  913424384 false 29.1  20.0  1605988352 unknown 28.7  19.7  1533411328
reducercommutativity/sum10_true-unreach-call_true-termination.i timeout (error: exception) 90.5  71.8  2290384896 timeout (error (143)) 90.4  76.8  2217119744 timeout (error (143)) 90.7  77.3  2213146624
reducercommutativity/sum_true-unreach-call_true-termination.i timeout (error: exception) 91.0  85.0  2257170432 false 34.5  23.3  1716391936 unknown 31.9  22.4  1644548096
array-tiling/mlceu_false-unreach-call.i timeout (error (143)) 92.7  85.0  968077312 timeout (error (143)) 91.6  83.2  953102336 unknown 3.17 1.76 165359616
array-tiling/skippedu_false-unreach-call.i false 4.36 2.47 214925312 false 4.17 2.34 215515136 unknown 3.12 1.70 165064704
array-tiling/mbpr2_true-unreach-call.i error: exception 4.78 2.73 218181632 error: exception 4.53 2.59 216719360 unknown 3.04 1.78 168062976
array-tiling/mbpr3_true-unreach-call.i error: exception 5.69 3.26 227713024 error: exception 5.49 3.08 220045312 unknown 3.16 1.75 175538176
array-tiling/mbpr4_true-unreach-call.i error: exception 5.50 3.10 231100416 error: exception 5.62 3.14 228126720 unknown 3.51 1.94 178331648
array-tiling/mbpr5_true-unreach-call.i error: exception 6.32 3.57 236466176 error: exception 5.98 3.31 238526464 unknown 3.30 1.87 179798016
array-tiling/nr2_true-unreach-call.i error: exception 10.3  6.04 300032000 error: exception 10.7  6.41 312193024 unknown 3.21 1.75 170917888
array-tiling/nr3_true-unreach-call.i timeout (error (143)) 92.5  84.8  411787264 timeout (error (143)) 91.7  84.0  452509696 unknown 2.99 1.69 167555072
array-tiling/nr4_true-unreach-call.i timeout (error (143)) 91.1  81.3  484069376 timeout (error (143)) 90.3  80.1  507604992 unknown 3.05 1.69 165904384
array-tiling/nr5_true-unreach-call.i timeout (error (143)) 91.4  82.1  472358912 timeout (error (143)) 90.5  78.4  582623232 unknown 3.02 1.71 168255488
array-tiling/pnr2_true-unreach-call.i error: exception 4.26 2.42 212353024 error: exception 4.23 2.33 213979136 unknown 3.07 1.74 171352064
array-tiling/pnr3_true-unreach-call.i error: exception 5.13 2.83 217714688 error: exception 4.99 2.75 215744512 unknown 3.13 1.72 169242624
array-tiling/pnr4_true-unreach-call.i error: exception 4.99 2.78 218988544 error: exception 4.86 2.74 214126592 unknown 3.25 1.82 172650496
array-tiling/pnr5_true-unreach-call.i error: exception 4.95 2.73 217899008 error: exception 5.04 2.80 214818816 unknown 3.35 1.84 173731840
array-tiling/poly1_true-unreach-call.i timeout (error (143)) 91.8  85.8  392736768 timeout (error (143)) 93.7  87.4  365191168 unknown 2.92 1.66 165392384
array-tiling/poly2_true-unreach-call.i timeout (error (143)) 90.8  87.1  320307200 timeout (error (143)) 92.3  89.1  372473856 unknown 3.07 1.69 166817792
array-tiling/pr2_true-unreach-call.i error: exception 4.23 2.39 214315008 error: exception 4.22 2.35 216055808 unknown 3.05 1.71 169963520
array-tiling/pr3_true-unreach-call.i error: exception 4.74 2.69 214683648 error: exception 4.68 2.64 215662592 unknown 3.11 1.79 167387136
array-tiling/pr4_true-unreach-call.i error: exception 4.85 2.69 215293952 error: exception 4.74 2.61 218357760 unknown 3.04 1.72 170266624
array-tiling/pr5_true-unreach-call.i error: exception 5.27 2.99 224333824 error: exception 4.78 2.68 216387584 unknown 3.06 1.71 170020864
array-tiling/revcpyswp2_true-unreach-call.i timeout (error (143)) 91.1  72.6  775729152 timeout (error (143)) 91.3  73.6  862089216 unknown 3.09 1.69 169971712
array-tiling/rew_true-unreach-call.i timeout (error (143)) 90.7  78.4  777314304 timeout (error (143)) 90.2  80.7  714506240 unknown 3.18 1.76 163491840
array-tiling/rewnif_true-unreach-call.i timeout (error (143)) 90.9  77.1  603295744 timeout (error (143)) 90.8  79.1  563806208 unknown 3.01 1.70 165965824
array-tiling/rewnifrev2_true-unreach-call.i timeout (error (143)) 91.2  75.0  661053440 timeout (error (143)) 90.8  76.6  699326464 unknown 2.94 1.61 165621760
array-tiling/rewnifrev_true-unreach-call.i timeout (error (143)) 90.7  76.9  785997824 timeout (error (143)) 92.6  80.0  758886400 unknown 2.91 1.64 165769216
array-tiling/rewrev_true-unreach-call.i timeout (error (143)) 90.4  77.8  780423168 timeout (error (143)) 90.3  78.8  761786368 unknown 3.11 1.71 169336832
array-tiling/skipped_true-unreach-call.i error: exception 7.19 4.18 236531712 error: exception 6.76 3.97 239058944 unknown 3.12 1.72 166952960
array-tiling/tcpy_true-unreach-call.i error: exception 5.72 3.19 233512960 error: exception 5.62 3.13 233373696 unknown 3.02 1.66 167108608
array-programs/copysome1_false-unreach-call.i timeout (error (143)) 92.3  77.0  972906496 timeout (error (143)) 91.3  76.8  1119535104 unknown 2.95 1.64 167714816
array-programs/copysome2_false-unreach-call.i timeout (error (143)) 90.6  69.9  1145827328 timeout (error: exception) 91.0  67.0  1202040832 unknown 3.00 1.69 169791488
array-programs/copysome1_true-unreach-call.i timeout (error (143)) 94.1  78.2  1072635904 timeout (error (143)) 92.8  76.0  1184583680 unknown 3.00 1.66 170168320
array-programs/copysome2_true-unreach-call.i timeout (error (143)) 91.0  69.5  1681084416 timeout (error (143)) 90.3  66.9  1492451328 unknown 3.06 1.73 168079360
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c false 69.6  42.4  1534693376 false 60.5  38.1  1687015424 unknown 5.99 3.46 235356160
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c false 52.3  30.8  989011968 false 51.6  30.1  1022885888 unknown 5.18 2.89 213311488
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c false 63.1  37.3  1260240896 false 56.4  33.9  1078751232 unknown 5.75 3.35 231346176
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c false 22.5  12.7  451919872 false 22.4  12.6  453910528 unknown 4.86 2.73 211300352
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c timeout (error (143)) 91.7  58.6  1868283904 timeout (error (143)) 90.6  59.4  2117824512 unknown 5.83 3.36 234237952
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c timeout (error (143)) 91.1  58.2  2042286080 timeout (error (143)) 90.5  56.5  1885532160 unknown 5.04 2.86 213106688
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 79.5  51.8  1573806080 timeout (error (143)) 90.9  56.6  1744007168 unknown 5.25 2.97 213000192
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c timeout (error (143)) 91.5  55.1  2014892032 timeout (error (143)) 90.2  54.2  1950695424 unknown 5.55 3.23 234168320
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 25.7  14.5  470810624 true 26.2  15.0  463654912 unknown 3.95 2.26 198443008
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 28.2  16.2  550236160 true 28.5  16.3  539557888 unknown 4.89 2.80 211189760
ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c false 15.5  8.72 509116416 false 15.0  8.60 512385024 unknown 4.17 2.33 201003008
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c false 14.5  8.06 581775360 false 15.5  8.64 488587264 unknown 4.37 2.42 199503872
ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c false 15.4  8.58 577368064 false 15.9  8.65 510951424 unknown 4.48 2.55 205598720
ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c false 15.7  8.74 535011328 false 14.7  8.20 498700288 unknown 4.39 2.47 202924032
ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c false 7.69 4.55 276103168 false 7.52 4.32 287170560 unknown 4.33 2.49 201650176
ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c timeout (error (143)) 91.3  65.0  2606018560 false 81.3  56.8  2476011520 unknown 4.70 2.60 203517952
ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c false 47.0  26.5  827396096 false 42.5  24.1  820342784 unknown 4.64 2.59 202047488
ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c false 23.6  13.6  552124416 false 22.0  12.9  529104896 unknown 4.49 2.58 202698752
ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c false 15.2  8.50 427069440 false 16.6  9.04 428953600 unknown 4.36 2.56 202379264
ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c false 11.9  6.54 396353536 false 11.9  6.60 385118208 unknown 4.25 2.46 205643776
ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c false 14.1  7.51 408399872 false 12.0  6.53 383279104 unknown 4.30 2.45 199225344
ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c false 5.95 3.36 232996864 false 5.79 3.27 231600128 unknown 4.60 2.64 203374592
ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c timeout (error (143)) 92.9  62.2  2674708480 timeout (error (143)) 90.8  63.9  2711711744 unknown 4.24 2.38 202293248
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c timeout (error (143)) 90.6  66.3  2573246464 timeout (error (143)) 90.7  64.0  2493820928 unknown 5.00 2.73 203624448
ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c timeout (error: exception) 91.1  62.0  2629496832 timeout (error (143)) 90.7  63.5  2577276928 unknown 4.51 2.54 202731520
ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c timeout (error (143)) 90.2  65.2  2626195456 timeout (error (143)) 91.1  65.1  2584682496 unknown 4.37 2.43 202473472
ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c timeout (error (143)) 90.9  63.3  2422210560 timeout (error (143)) 90.4  66.1  2445037568 unknown 4.93 2.76 211038208
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c true 6.81 3.91 243687424 true 6.80 3.96 243167232 unknown 3.28 1.87 176373760
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c true 4.96 2.84 218517504 true 5.17 2.94 218820608 unknown 3.04 1.72 170098688
ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c timeout (error (143)) 91.7  65.5  2433540096 timeout (error (143)) 90.7  64.5  2455601152 unknown 4.59 2.57 202932224
ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c timeout (error (143)) 90.3  63.4  2439188480 timeout (error (143)) 91.0  67.1  2465148928 unknown 4.41 2.47 200798208
ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c timeout (error (143)) 90.8  65.2  2461523968 timeout (error (143)) 90.9  64.2  2476179456 unknown 4.48 2.52 203685888
ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c timeout (error (143)) 90.8  61.9  2949320704 timeout (error (143)) 92.0  63.4  2710261760 unknown 4.46 2.52 201015296
ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c timeout (error (143)) 90.3  64.4  2609373184 timeout (error (143)) 91.6  63.0  2719825920 unknown 4.59 2.55 202866688
ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c timeout (error (143)) 90.3  63.5  2449653760 timeout (error (143)) 90.6  61.7  2480447488 unknown 4.59 2.64 212586496
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c false 4.53 2.55 219308032 false 4.24 2.41 216178688 unknown 3.65 2.07 191967232
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c false 4.08 2.32 213254144 false 4.56 2.51 219541504 unknown 3.40 1.89 196898816
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c true 15.5  8.13 725852160 true 15.1  7.88 792891392 unknown 3.30 1.85 182288384
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c true 22.4  12.5  1427783680 true 24.4  13.2  1421393920 unknown 3.46 1.98 183140352
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c true 36.5  22.0  2198335488 true 36.5  21.9  2362363904 unknown 3.68 2.02 181915648
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c true 72.7  46.1  3459608576 true 73.7  47.4  3531886592 unknown 3.28 1.90 182468608
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c timeout (error (143)) 91.1  58.5  4133183488 timeout (error (143)) 90.4  57.8  3980193792 unknown 3.68 2.02 192724992
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c timeout (error (143)) 93.7  59.4  4114046976 timeout (error (143)) 91.2  57.9  4039680000 unknown 3.47 2.01 192188416
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c true 5.38 2.95 232218624 true 5.63 3.12 234823680 unknown 3.14 1.78 169570304
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c true 6.18 3.47 240996352 true 6.35 3.46 249430016 unknown 3.02 1.71 174465024
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c true 7.20 3.89 266571776 true 7.21 3.89 271740928 unknown 3.40 1.87 174583808
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c true 8.84 4.68 311345152 true 8.47 4.50 333299712 unknown 3.21 1.80 176955392
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c true 10.6  5.62 444665856 true 11.6  6.13 558133248 unknown 3.20 1.82 178089984
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c unknown: overapproxcex 57.6  36.1  1649373184 timeout (error (143)) 95.4  79.9  2228342784 timeout (error (143)) 95.6  79.3  2230374400
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c unknown: overapproxcex 44.7  26.5  1104965632 timeout (error (143)) 95.7  75.9  2205700096 timeout (error (143)) 95.2  80.4  2201997312
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c unknown: overapproxcex 40.9  24.8  1096118272 timeout (error (143)) 95.4  76.7  2209034240 timeout (error (143)) 95.4  79.0  2205470720
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c unknown: overapproxcex 40.2  24.3  1165586432 timeout (error (143)) 95.7  76.4  2223828992 timeout (error (143)) 95.3  79.9  2194612224
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c unknown: overapproxcex 69.9  49.8  1598660608 timeout (error (143)) 96.0  75.8  2227531776 timeout (error (143)) 95.5  79.8  2232983552
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c unknown: overapproxcex 63.0  42.4  1443295232 timeout (error (143)) 95.4  79.6  2196656128 timeout (error (143)) 95.6  76.2  2232668160
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c unknown: overapproxcex 63.1  43.8  1571237888 timeout (error (143)) 95.4  78.5  2237984768 timeout (error (143)) 95.5  78.7  2238074880
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c unknown: overapproxcex 61.4  42.2  1652088832 timeout (error (143)) 95.7  75.0  2212401152 timeout (error (143)) 95.4  77.9  2216099840
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c timeout (unknown: overapproxcex) 91.3  61.9  1753681920 timeout (error (143)) 91.3  72.9  2219671552 timeout (error (143)) 95.7  76.2  2212667392
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c timeout (error: exception) 91.0  68.1  2244923392 timeout (error (143)) 95.5  76.9  2205495296 timeout (error (143)) 95.5  78.4  2179665920
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c timeout (error: exception) 91.2  67.7  2215804928 timeout (error (143)) 95.5  80.6  2135814144 timeout (error (143)) 95.4  75.4  2213449728
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c timeout (error: exception) 90.2  66.0  2235834368 timeout (error (143)) 95.2  75.8  2175066112 timeout (error (143)) 95.2  80.7  2183688192
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c timeout (error: exception) 90.9  68.6  2243948544 timeout (error (143)) 95.7  76.2  2200977408 timeout (error (143)) 95.3  79.3  2189463552
../../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 212 14700 11400 290391609344 212 14600 11300 305661169664 212 3070 2210 132791820288
    correct results 0 0 0
        correct true 0 0 0
        correct false 0 0 0
    incorrect results 0 0 0
        incorrect true 0 0 0
        incorrect false 0 0 0
Run set Automizer AutomizerHeapSep HeapSep