Tool ULTIMATE Automizer 0.1.23-370d6ab5
Limits timelimit: 120 s, memlimit: 8000 MB, CPU core limit: 2
Host struebli
OS Linux-4.16.18-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.4.1
System CPU: AMD EPYC 7351P 16-Core Processor, cores: 32, frequency: 2400 MHz; RAM: 135158 MB
Date of execution 2018-11-14 15:49:11 CET
Run set Bitvector.ReachSafety32 Default.ReachSafety32 Bitvector-ConstArray.ReachSafety32 Default-ConstArray.ReachSafety32
Options -tc ../../../trunk/examples/toolchains/AutomizerC.xml -ea -s ../../../trunk/examples/settings/default/automizer/svcomp-Reach-32bit-Automizer_Bitvector.epf -tc ../../../trunk/examples/toolchains/AutomizerC.xml -ea -s ../../../trunk/examples/settings/default/automizer/svcomp-Reach-32bit-Automizer_Default.epf -tc ../../../trunk/examples/toolchains/AutomizerC.xml -ea -s ../../../trunk/examples/settings/default/automizer/svcomp-Reach-32bit-Automizer_Bitvector-Const.epf -tc ../../../trunk/examples/toolchains/AutomizerC.xml -ea -s ../../../trunk/examples/settings/default/automizer/svcomp-Reach-32bit-Automizer_Default-Const.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
array-examples/data_structures_set_multi_proc_false-unreach-call_ground.i timeout 121    101    1348542464 timeout 121    81.9  1555759104 timeout 121    100    1383010304 timeout 121    80.0  1429868544
array-examples/sorting_bubblesort_false-unreach-call2_ground.i timeout 121    103    1179746304 timeout 121    82.9  1418629120 timeout 121    104    1193050112 timeout 121    81.4  1440624640
array-examples/sorting_bubblesort_false-unreach-call_ground.i timeout 121    104    1198952448 timeout 121    81.9  1481031680 timeout 121    104    1227677696 timeout 121    80.9  1348091904
array-examples/sorting_selectionsort_false-unreach-call2_ground.i timeout 121    99.4  1210458112 timeout 122    85.4  1406664704 timeout 120    99.9  1198141440 timeout 120    83.4  1433067520
array-examples/sorting_selectionsort_false-unreach-call_ground.i timeout 121    100    1260580864 timeout 121    83.4  1432969216 timeout 121    102    1274822656 timeout 121    83.6  1452597248
array-examples/standard_allDiff2_false-unreach-call_ground.i timeout 122    96.6  1286299648 timeout 121    88.6  1524563968 timeout 122    97.2  1320747008 timeout 121    88.2  1505345536
array-examples/standard_copy1_false-unreach-call_ground.i timeout 121    109    1232736256 timeout 121    96.0  1322893312 timeout 121    110    1191297024 timeout 121    95.4  1305665536
array-examples/standard_copy2_false-unreach-call_ground.i timeout 121    110    1259397120 timeout 121    98.0  1156046848 timeout 121    109    1254838272 timeout 121    99.0  1154756608
array-examples/standard_copy3_false-unreach-call_ground.i timeout 121    108    1262739456 timeout 120    95.7  1211936768 timeout 121    109    1296023552 timeout 120    95.2  1188933632
array-examples/standard_copy4_false-unreach-call_ground.i timeout 121    108    1287372800 timeout 121    99.0  1188917248 timeout 121    108    1267183616 timeout 121    98.4  1186902016
array-examples/standard_copy5_false-unreach-call_ground.i timeout 121    109    1302200320 timeout 121    102    1177616384 timeout 121    109    1261064192 timeout 121    104    1177407488
array-examples/standard_copy6_false-unreach-call_ground.i timeout 121    108    1361920000 timeout 121    103    1242210304 timeout 121    108    1337700352 timeout 121    102    1213235200
array-examples/standard_copy7_false-unreach-call_ground.i timeout 121    108    1264689152 timeout 121    101    1186627584 timeout 121    108    1297084416 timeout 121    102    1188409344
array-examples/standard_copy8_false-unreach-call_ground.i timeout 121    107    1341337600 timeout 121    100    1220804608 timeout 121    107    1286934528 timeout 121    102    1216339968
array-examples/standard_copy9_false-unreach-call_ground.i timeout 121    107    1257177088 timeout 121    98.7  1226813440 timeout 121    106    1310474240 timeout 120    96.0  1156157440
array-examples/standard_copyInitSum2_false-unreach-call_ground.i timeout 121    106    1264885760 timeout 121    105    1049202688 timeout 121    105    1279582208 timeout 121    104    1054945280
array-examples/standard_init1_false-unreach-call_ground.i timeout 121    111    1160683520 timeout 120    90.1  1311064064 timeout 120    112    1094471680 timeout 120    91.5  1363144704
array-examples/standard_init2_false-unreach-call_ground.i timeout 121    110    1203924992 timeout 121    98.6  1294233600 timeout 121    110    1234792448 timeout 121    99.6  1251135488
array-examples/standard_init3_false-unreach-call_ground.i timeout 121    108    1223589888 timeout 121    100    1153622016 timeout 121    109    1258295296 timeout 121    99.5  1186328576
array-examples/standard_init4_false-unreach-call_ground.i timeout 121    105    1234239488 timeout 121    105    1030000640 timeout 121    104    1206165504 timeout 121    104    1023533056
array-examples/standard_init5_false-unreach-call_ground.i timeout 121    105    1270476800 timeout 121    105    1086484480 timeout 121    104    1271177216 timeout 121    104    1075261440
array-examples/standard_init6_false-unreach-call_ground.i timeout 121    105    1333870592 timeout 121    103    1229471744 timeout 121    105    1337044992 timeout 121    103    1228533760
array-examples/standard_init7_false-unreach-call_ground.i timeout 120    103    1231273984 timeout 121    104    1197658112 timeout 120    103    1223925760 timeout 121    103    1169424384
array-examples/standard_init8_false-unreach-call_ground.i timeout 121    103    1192460288 timeout 121    103    1140572160 timeout 121    104    1274327040 timeout 121    102    1142931456
array-examples/standard_init9_false-unreach-call_ground.i timeout 121    104    1236692992 timeout 121    103    1120559104 timeout 121    104    1247801344 timeout 121    104    1098182656
array-examples/standard_minInArray_false-unreach-call_ground.i timeout 121    103    1193795584 timeout 121    81.3  1395277824 timeout 121    103    1291997184 timeout 121    83.1  1436868608
array-examples/standard_partition_false-unreach-call_ground.i timeout 121    106    1256493056 timeout 121    96.1  1262854144 timeout 121    106    1253613568 timeout 121    98.0  1244545024
array-examples/standard_running_false-unreach-call.i timeout 121    97.3  1296551936 timeout 120    97.6  1302380544 timeout 121    97.2  1338015744 timeout 121    99.4  1301102592
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i true 16.4  9.75 549838848 true 15.6  9.21 543428608 true 16.7  9.93 537788416 true 15.9  9.35 533905408
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i timeout 121    93.5  1389760512 timeout 121    91.3  1446772736 timeout 121    93.1  1393889280 timeout 121    87.5  1420992512
array-examples/relax_true-unreach-call.i error: exception 9.35 5.13 274202624 error: exception 33.5  21.0  842969088 error: exception 8.83 4.94 275390464 error: exception 32.6  20.3  847544320
array-examples/sanfoundry_02_true-unreach-call_ground.i timeout 121    105    1283686400 timeout 121    84.6  1493254144 timeout 121    105    1269796864 timeout 121    84.0  1391329280
array-examples/sanfoundry_10_true-unreach-call_ground.i timeout 121    100    1287745536 timeout 121    102    1234509824 timeout 121    99.9  1269383168 timeout 121    101    1236168704
array-examples/sanfoundry_24_true-unreach-call_true-termination.i true 19.4  12.4  711241728 true 15.0  8.98 512815104 true 19.4  12.5  720510976 true 15.0  9.01 512995328
array-examples/sanfoundry_27_true-unreach-call_ground.i timeout 121    105    1253642240 timeout 121    81.4  1482498048 timeout 121    105    1260969984 timeout 121    83.2  1350418432
array-examples/sanfoundry_43_true-unreach-call_ground.i true 7.92 4.49 260853760 true 8.05 4.54 256557056 true 7.88 4.48 261361664 true 8.24 4.61 252456960
array-examples/sorting_bubblesort_true-unreach-call_ground.i timeout 121    104    1202253824 timeout 120    95.8  1146449920 timeout 121    104    1191370752 timeout 121    98.5  1217572864
array-examples/sorting_selectionsort_true-unreach-call_ground.i timeout 121    99.7  1274068992 timeout 121    86.0  1462624256 timeout 121    101    1296117760 timeout 120    84.2  1489956864
array-examples/standard_compareModified_true-unreach-call_ground.i timeout 121    108    1313411072 timeout 121    87.0  1324011520 timeout 121    109    1259601920 timeout 121    86.6  1343270912
array-examples/standard_compare_true-unreach-call_ground.i timeout 121    100    1311428608 timeout 121    98.6  1176367104 timeout 121    100    1320833024 timeout 121    97.3  1203318784
array-examples/standard_copy1_true-unreach-call_ground.i timeout 121    109    1135800320 timeout 121    91.1  1248423936 timeout 121    110    1142685696 timeout 120    90.9  1213726720
array-examples/standard_copy2_true-unreach-call_ground.i timeout 121    110    1142091776 timeout 121    91.6  1290223616 timeout 121    110    1136873472 timeout 121    90.7  1228279808
array-examples/standard_copy3_true-unreach-call_ground.i timeout 121    109    1249816576 timeout 121    97.7  1239998464 timeout 121    109    1219514368 timeout 121    98.6  1231441920
array-examples/standard_copy4_true-unreach-call_ground.i timeout 121    109    1243889664 timeout 121    97.0  1209745408 timeout 121    108    1239060480 timeout 121    97.2  1321230336
array-examples/standard_copy5_true-unreach-call_ground.i timeout 121    110    1152110592 timeout 120    97.7  1223172096 timeout 121    109    1174769664 timeout 121    96.5  1206226944
array-examples/standard_copy6_true-unreach-call_ground.i timeout 121    108    1196830720 timeout 121    99.7  1168822272 timeout 121    108    1180569600 timeout 121    101    1149022208
array-examples/standard_copy7_true-unreach-call_ground.i timeout 121    107    1266552832 timeout 121    100    1241354240 timeout 121    108    1229561856 timeout 121    101    1203163136
array-examples/standard_copy8_true-unreach-call_ground.i timeout 121    107    1265954816 timeout 120    100    1197158400 timeout 121    107    1227251712 timeout 120    98.2  1236975616
array-examples/standard_copy9_true-unreach-call_ground.i timeout 121    106    1282461696 timeout 120    94.4  1256480768 timeout 121    107    1204109312 timeout 120    96.1  1244758016
array-examples/standard_copyInitSum2_true-unreach-call_ground.i timeout 121    106    1275084800 timeout 120    99.8  1136635904 timeout 121    105    1307901952 timeout 120    100    1169858560
array-examples/standard_copyInitSum3_true-unreach-call_ground.i error: exception 7.69 4.31 246636544 timeout 121    104    1206304768 error: exception 7.89 4.42 253878272 timeout 121    105    1180884992
array-examples/standard_copyInitSum_true-unreach-call_ground.i timeout 121    106    1292877824 timeout 120    99.6  1186852864 timeout 121    105    1306939392 timeout 120    98.4  1154699264
array-examples/standard_copyInit_true-unreach-call_ground.i timeout 121    109    1313943552 timeout 121    101    1202282496 timeout 121    109    1290084352 timeout 120    99.5  1145303040
array-examples/standard_find_true-unreach-call_ground.i timeout 121    104    1246470144 timeout 121    83.2  1405808640 timeout 121    104    1273024512 timeout 121    83.1  1483522048
array-examples/standard_init1_true-unreach-call_ground.i timeout 121    111    1115226112 timeout 120    90.1  1379618816 timeout 120    111    1121796096 timeout 121    92.9  1359290368
array-examples/standard_init2_true-unreach-call_ground.i timeout 121    109    1224728576 timeout 121    97.0  1230082048 timeout 121    110    1212362752 timeout 121    99.0  1292873728
array-examples/standard_init3_true-unreach-call_ground.i timeout 121    108    1242578944 timeout 121    101    1164042240 timeout 121    109    1244393472 timeout 121    101    1158410240
array-examples/standard_init4_true-unreach-call_ground.i timeout 121    105    1225281536 timeout 121    104    1036587008 timeout 121    105    1255776256 timeout 121    104    1034850304
array-examples/standard_init5_true-unreach-call_ground.i timeout 121    104    1328746496 timeout 121    104    1158606848 timeout 121    104    1268125696 timeout 121    104    1151229952
array-examples/standard_init6_true-unreach-call_ground.i timeout 121    104    1253502976 timeout 121    103    1140334592 timeout 121    104    1328054272 timeout 121    103    1199845376
array-examples/standard_init7_true-unreach-call_ground.i timeout 121    104    1183580160 timeout 121    103    1210396672 timeout 121    103    1192517632 timeout 121    103    1192099840
array-examples/standard_init8_true-unreach-call_ground.i timeout 121    104    1284710400 timeout 121    102    1155305472 timeout 121    104    1194770432 timeout 121    102    1172131840
array-examples/standard_init9_true-unreach-call_ground.i timeout 121    104    1266733056 timeout 121    104    1180704768 timeout 121    103    1262489600 timeout 121    105    1170833408
array-examples/standard_maxInArray_true-unreach-call_ground.i timeout 121    104    1242394624 timeout 121    82.6  1470894080 timeout 121    104    1268625408 timeout 121    84.1  1453346816
array-examples/standard_minInArray_true-unreach-call_ground.i timeout 121    104    1297592320 timeout 121    82.5  1416019968 timeout 121    104    1248366592 timeout 122    83.0  1455980544
array-examples/standard_palindrome_true-unreach-call_ground.i error: exception 7.20 3.98 238366720 timeout 120    92.2  1311248384 error: exception 7.50 4.17 241385472 timeout 120    91.3  1282408448
array-examples/standard_partial_init_true-unreach-call_ground.i error: exception 7.51 4.17 247328768 timeout 121    85.0  1381777408 error: exception 7.64 4.27 249331712 timeout 121    87.1  1430396928
array-examples/standard_partition_original_true-unreach-call_ground.i timeout 121    110    1245741056 timeout 121    86.3  1406701568 timeout 121    110    1330814976 timeout 121    90.9  1355649024
array-examples/standard_partition_true-unreach-call_ground.i timeout 120    112    1055969280 timeout 121    107    1171750912 timeout 120    111    1062846464 timeout 121    107    1242120192
array-examples/standard_password_true-unreach-call_ground.i timeout 121    102    1379270656 timeout 120    96.4  1200807936 timeout 121    101    1391697920 timeout 120    99.9  1194201088
array-examples/standard_reverse_true-unreach-call_ground.i error: exception 7.56 4.19 240967680 timeout 120    107    1060798464 error: exception 7.73 4.30 245129216 timeout 121    108    1096724480
array-examples/standard_running_true-unreach-call.i timeout 121    96.7  1317224448 timeout 121    98.9  1346682880 timeout 121    96.4  1345073152 timeout 121    98.1  1342693376
array-examples/standard_sentinel_true-unreach-call_true-termination.i timeout 121    110    1053216768 true 25.6  16.3  814882816 timeout 121    110    1050779648 true 25.8  16.5  844709888
array-examples/standard_seq_init_true-unreach-call_ground.i timeout 121    110    1118670848 timeout 121    93.2  1418412032 timeout 121    110    1120194560 timeout 121    92.2  1438916608
array-examples/standard_strcmp_true-unreach-call_ground.i timeout 120    111    995450880 timeout 121    106    1058086912 timeout 121    111    994623488 timeout 121    105    1039507456
array-examples/standard_strcpy_original_true-unreach-call.i timeout 121    105    1249124352 timeout 121    102    1165688832 timeout 121    106    1299324928 timeout 121    103    1151070208
array-examples/standard_strcpy_true-unreach-call_ground.i timeout 121    105    1237291008 timeout 121    108    1042182144 timeout 121    106    1240428544 timeout 121    108    1030778880
array-examples/standard_two_index_01_true-unreach-call.i timeout 121    104    1370165248 timeout 121    96.7  1181208576 timeout 121    104    1339752448 timeout 121    98.3  1223069696
array-examples/standard_two_index_02_true-unreach-call.i timeout 121    104    1237798912 timeout 121    99.0  1204809728 timeout 121    104    1268203520 timeout 122    96.7  1294938112
array-examples/standard_two_index_03_true-unreach-call.i timeout 121    108    1257074688 timeout 121    90.4  1250635776 timeout 121    107    1252913152 timeout 121    93.9  1256108032
array-examples/standard_two_index_04_true-unreach-call.i timeout 121    108    1237872640 timeout 121    92.9  1337376768 timeout 121    108    1260683264 timeout 121    92.5  1322823680
array-examples/standard_two_index_05_true-unreach-call.i timeout 121    109    1242947584 timeout 121    99.3  1199783936 timeout 121    108    1272725504 timeout 121    95.2  1216782336
array-examples/standard_two_index_06_true-unreach-call.i timeout 121    109    1251618816 timeout 121    98.7  1282539520 timeout 121    109    1234051072 timeout 121    97.4  1297408000
array-examples/standard_two_index_07_true-unreach-call.i timeout 121    109    1286045696 timeout 121    98.6  1316294656 timeout 121    109    1298636800 timeout 121    99.8  1239330816
array-examples/standard_two_index_08_true-unreach-call.i timeout 121    109    1216729088 timeout 121    94.4  1269055488 timeout 121    109    1297055744 timeout 121    93.6  1262579712
array-examples/standard_two_index_09_true-unreach-call.i timeout 121    109    1219997696 timeout 121    95.4  1284730880 timeout 121    109    1249198080 timeout 121    95.1  1307877376
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i timeout 121    110    1071140864 timeout 121    105    1245016064 timeout 121    110    1128460288 timeout 121    106    1205739520
array-examples/standard_vector_difference_true-unreach-call_ground.i error: exception 7.36 4.09 243134464 timeout 120    94.7  1346904064 error: exception 7.25 4.09 247222272 timeout 120    91.0  1407164416
array-examples/standard_sentinel_true-unreach-call.i.v+cfa-reducer.c timeout 121    110    1059700736 true 30.6  20.6  870174720 timeout 121    110    1071902720 true 30.6  20.6  859172864
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i timeout 121    104    1272410112 timeout 121    82.7  1445408768 timeout 121    104    1254764544 timeout 120    84.2  1418498048
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i timeout 121    104    3119247360 timeout 121    104    3115352064 error: exception 9.54 5.25 789221376 timeout 120    82.4  1420238848
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i timeout 120    101    1652416512 timeout 121    83.7  1533059072 timeout 121    102    1694031872 timeout 121    85.6  1583198208
array-industry-pattern/array_range_init_false-unreach-call.i timeout 121    104    3129151488 timeout 121    104    3170627584 error: exception 6.58 3.70 226152448 timeout 121    89.4  1277947904
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i timeout 120    101    1703317504 timeout 121    84.6  1542635520 timeout 121    103    1563271168 timeout 121    85.1  1508270080
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i timeout 120    93.3  1439080448 timeout 121    83.3  1466470400 timeout 120    93.9  1368457216 timeout 121    82.9  1489379328
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i timeout 121    104    1304547328 timeout 121    92.1  1221709824 timeout 121    103    1284988928 timeout 121    91.6  1267036160
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i timeout 121    105    1192894464 timeout 120    112    840851456 timeout 121    105    1187909632 timeout 120    111    871374848
array-industry-pattern/array_of_struct_break_true-unreach-call.i timeout 121    100    3133181952 timeout 121    102    3174776832 error: exception 9.90 5.39 790519808 timeout 121    84.0  1490014208
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i timeout 121    100    3178352640 timeout 121    101    3185704960 error: exception 7.64 4.34 252211200 timeout 120    96.3  1143443456
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i timeout 121    107    1181552640 true 23.9  14.7  811937792 timeout 121    107    1204092928 true 24.6  15.1  821968896
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i timeout 121    101    3165650944 timeout 121    102    3193802752 error: exception 7.49 4.21 246157312 timeout 121    101    1168351232
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i timeout 121    98.0  3642437632 timeout 121    98.3  3402911744 error: exception 10.5  5.65 805986304 timeout 121    109    1292488704
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i timeout 121    96.5  3645771776 timeout 121    95.4  3418488832 error: exception 11.9  6.28 821891072 timeout 120    99.6  1706655744
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i timeout 121    100    3213877248 timeout 121    101    3179929600 error: exception 6.94 3.87 239386624 timeout 120    96.5  1227374592
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i timeout 121    102    3178356736 timeout 121    98.7  3197861888 error: exception 7.86 4.39 251531264 timeout 121    89.0  1505865728
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i timeout 121    101    1369903104 timeout 120    85.9  1510719488 timeout 120    101    1338871808 timeout 121    85.2  1443282944
reducercommutativity/rangesum05_false-unreach-call_true-termination.i false 55.6  44.0  1283158016 false 41.4  25.0  1009426432 false 54.6  42.3  1242624000 false 38.8  23.3  968855552
reducercommutativity/rangesum10_false-unreach-call_true-termination.i timeout 121    107    1448562688 timeout 121    99.8  1330659328 timeout 121    107    1472536576 timeout 121    99.6  1350135808
reducercommutativity/rangesum20_false-unreach-call.i timeout 121    103    1343049728 timeout 120    80.3  1371590656 timeout 121    103    1318137856 timeout 121    79.1  1370689536
reducercommutativity/rangesum40_false-unreach-call.i timeout 120    97.1  1444528128 timeout 121    92.0  1340858368 timeout 121    96.0  1376448512 timeout 120    91.0  1326866432
reducercommutativity/rangesum60_false-unreach-call.i timeout 121    101    1296269312 timeout 120    86.1  1430515712 timeout 121    101    1458397184 timeout 121    84.3  1407483904
reducercommutativity/rangesum_false-unreach-call_true-termination.i false 92.8  78.9  1523769344 false 33.0  20.5  1002622976 false 84.4  72.2  1524953088 false 31.3  19.3  990875648
reducercommutativity/avg05_true-unreach-call_true-termination.i timeout 121    112    1209184256 timeout 121    104    2857762816 timeout 121    111    1205190656 timeout 121    104    2860142592
reducercommutativity/avg10_true-unreach-call_true-termination.i timeout 121    110    1696419840 error: exception 105    65.1  1527963648 timeout 121    110    1716940800 error: exception 104    64.1  1491668992
reducercommutativity/avg20_true-unreach-call.i timeout 121    111    1107533824 timeout 121    81.7  1466609664 timeout 121    111    1085902848 timeout 121    81.3  1408417792
reducercommutativity/avg40_true-unreach-call.i timeout 121    110    1204678656 timeout 121    85.0  1395355648 timeout 121    109    1161527296 timeout 121    84.1  1377558528
reducercommutativity/avg60_true-unreach-call.i timeout 121    110    1257328640 timeout 121    84.5  1385414656 timeout 121    110    1294823424 timeout 121    85.9  1498902528
reducercommutativity/avg_true-unreach-call_true-termination.i timeout 121    113    1822294016 timeout 120    113    809050112 timeout 121    113    1838190592 timeout 120    113    854380544
reducercommutativity/max05_true-unreach-call_true-termination.i timeout 121    105    1195413504 error: exception 40.2  24.1  983240704 timeout 121    105    1199321088 error: exception 41.4  24.8  980819968
reducercommutativity/max10_true-unreach-call_true-termination.i timeout 121    104    1222778880 error: exception 79.2  49.9  1239937024 timeout 121    104    1205387264 error: exception 77.9  49.2  1312362496
reducercommutativity/max20_true-unreach-call.i timeout 121    96.2  1361244160 timeout 121    82.2  1400279040 timeout 121    95.6  1428852736 timeout 121    83.2  1417183232
reducercommutativity/max40_true-unreach-call.i timeout 121    106    1291309056 timeout 121    84.4  1437122560 timeout 121    106    1264975872 timeout 121    84.4  1436098560
reducercommutativity/max60_true-unreach-call.i timeout 121    103    1326944256 timeout 121    85.2  1459539968 timeout 121    101    1319837696 timeout 120    81.8  1423847424
reducercommutativity/max_true-unreach-call_true-termination.i timeout 121    106    1226862592 error: exception 22.1  13.1  822902784 timeout 121    107    1218895872 error: exception 23.1  13.7  799748096
reducercommutativity/sep05_true-unreach-call_true-termination.i timeout 121    103    1291456512 error: exception 47.4  28.9  1072930816 timeout 122    104    1235640320 error: exception 45.7  27.9  1064390656
reducercommutativity/sep10_true-unreach-call.i timeout 121    102    1259675648 error: exception 100    62.5  1360748544 timeout 121    102    1273221120 error: exception 90.7  58.6  1338097664
reducercommutativity/sep20_true-unreach-call.i timeout 120    100    1288912896 timeout 122    82.9  1470001152 timeout 121    98.4  1328640000 timeout 121    83.0  1437020160
reducercommutativity/sep40_true-unreach-call.i timeout 121    105    1290641408 timeout 121    82.1  1424834560 timeout 121    105    1268719616 timeout 120    83.0  1383890944
reducercommutativity/sep60_true-unreach-call.i timeout 121    101    1314877440 timeout 121    85.6  1410121728 timeout 121    101    1281687552 timeout 122    80.7  1386962944
reducercommutativity/sep_true-unreach-call_true-termination.i timeout 121    108    1229869056 error: exception 28.7  17.3  828604416 timeout 121    108    1259024384 error: exception 28.4  17.0  808660992
reducercommutativity/sum05_true-unreach-call_true-termination.i timeout 121    109    1227472896 timeout 121    105    2861531136 timeout 121    109    1233121280 timeout 121    105    2858827776
reducercommutativity/sum10_true-unreach-call_true-termination.i timeout 121    110    2037637120 timeout 120    89.8  2897166336 timeout 121    111    2030387200 timeout 120    91.8  2909257728
reducercommutativity/sum20_true-unreach-call.i timeout 121    102    1617797120 timeout 122    81.9  1437573120 timeout 121    104    1710788608 timeout 121    80.7  1475846144
reducercommutativity/sum40_true-unreach-call.i timeout 121    108    1171996672 timeout 121    87.3  1373995008 timeout 121    109    1144188928 timeout 121    85.1  1469911040
reducercommutativity/sum60_true-unreach-call.i timeout 121    110    1261514752 timeout 121    86.0  1461555200 timeout 121    109    1275371520 timeout 120    83.6  1474113536
reducercommutativity/sum_true-unreach-call_true-termination.i timeout 121    108    1038950400 error: exception 23.0  13.1  770977792 timeout 121    109    1022676992 error: exception 21.6  12.5  773095424
array-tiling/mlceu_false-unreach-call.i timeout 121    105    1143881728 timeout 120    100    1311633408 timeout 121    105    1173020672 timeout 121    101    1331154944
array-tiling/skippedu_false-unreach-call.i false 18.1  11.6  603242496 false 17.8  10.7  640528384 false 19.6  12.5  605138944 false 17.5  10.6  633892864
array-tiling/mbpr2_true-unreach-call.i timeout 121    108    1042087936 error: exception 15.8  9.33 543227904 timeout 121    108    1104998400 error: exception 16.2  9.48 532090880
array-tiling/mbpr3_true-unreach-call.i timeout 121    106    1177387008 error: exception 46.0  32.3  1150017536 timeout 121    106    1163071488 error: exception 46.9  32.7  1129086976
array-tiling/mbpr4_true-unreach-call.i timeout 121    108    1008128000 error: exception 66.5  47.2  1277173760 timeout 121    108    1037852672 error: exception 64.5  46.3  1276645376
array-tiling/mbpr5_true-unreach-call.i timeout 121    107    1165598720 error: exception 86.0  61.8  1274347520 timeout 121    108    1123405824 error: exception 87.1  62.1  1308418048
array-tiling/nr2_true-unreach-call.i error: exception 7.76 4.29 248918016 error: exception 51.2  37.8  1097785344 error: exception 7.58 4.25 249663488 error: exception 51.9  39.0  1101008896
array-tiling/nr3_true-unreach-call.i error: exception 7.38 4.14 250011648 error: exception 56.5  42.7  1104932864 error: exception 7.63 4.33 251088896 error: exception 57.4  43.1  1165418496
array-tiling/nr4_true-unreach-call.i error: exception 7.65 4.29 247672832 error: exception 91.0  75.2  1517666304 error: exception 7.37 4.11 253624320 error: exception 76.7  61.1  1322397696
array-tiling/nr5_true-unreach-call.i error: exception 8.02 4.49 250163200 error: exception 48.2  35.8  1308909568 error: exception 7.68 4.34 248246272 error: exception 51.8  39.2  1232748544
array-tiling/pnr2_true-unreach-call.i timeout 121    108    1093935104 timeout 121    105    1187205120 timeout 121    109    1133805568 timeout 121    105    1188651008
array-tiling/pnr3_true-unreach-call.i timeout 121    107    1155067904 timeout 121    98.0  1302925312 timeout 121    109    1107275776 timeout 121    99.4  1248841728
array-tiling/pnr4_true-unreach-call.i timeout 121    107    1184030720 timeout 121    103    1252306944 timeout 121    107    1175646208 timeout 120    103    1290137600
array-tiling/pnr5_true-unreach-call.i timeout 121    109    1070985216 timeout 121    105    1188982784 timeout 121    109    1097342976 timeout 121    106    1190027264
array-tiling/poly1_true-unreach-call.i timeout 121    112    934236160 error: exception 38.8  30.6  822403072 timeout 121    112    971296768 error: exception 33.3  25.2  838074368
array-tiling/poly2_true-unreach-call.i error: exception 7.56 4.22 252530688 timeout 121    103    1404289024 error: exception 7.65 4.30 258592768 timeout 121    103    1427292160
array-tiling/pr2_true-unreach-call.i timeout 121    103    1221853184 timeout 121    90.0  1438814208 timeout 120    102    1218924544 timeout 120    90.9  1411698688
array-tiling/pr3_true-unreach-call.i timeout 121    104    1254400000 timeout 120    86.1  1351421952 timeout 121    105    1288990720 timeout 120    86.7  1442938880
array-tiling/pr4_true-unreach-call.i timeout 121    106    1225240576 timeout 121    90.7  1318141952 timeout 121    107    1226424320 timeout 120    89.0  1365012480
array-tiling/pr5_true-unreach-call.i timeout 121    104    1231179776 timeout 122    95.5  1325162496 timeout 121    103    1200377856 timeout 121    95.1  1213591552
array-tiling/revcpyswp2_true-unreach-call.i error: exception 7.75 4.33 248549376 error: exception 65.1  47.2  1243176960 error: exception 7.66 4.29 247386112 error: exception 63.1  46.2  1200697344
array-tiling/rew_true-unreach-call.i timeout 121    107    1240195072 timeout 120    104    1223516160 timeout 121    108    1247289344 timeout 121    104    1218793472
array-tiling/rewnif_true-unreach-call.i timeout 120    104    1160925184 timeout 121    92.3  1925541888 timeout 120    105    1206079488 timeout 121    91.7  1967812608
array-tiling/rewnifrev2_true-unreach-call.i timeout 121    110    1145139200 timeout 121    93.1  1533423616 timeout 121    110    1148903424 timeout 121    94.0  1499156480
array-tiling/rewnifrev_true-unreach-call.i timeout 120    113    1023356928 timeout 121    94.5  1665540096 timeout 120    113    1011097600 timeout 121    92.5  1623384064
array-tiling/rewrev_true-unreach-call.i timeout 121    107    1251147776 timeout 121    107    1200775168 timeout 121    107    1288626176 error: exception 87.8  75.7  1139027968
array-tiling/skipped_true-unreach-call.i timeout 120    104    1149652992 timeout 121    93.4  1466298368 timeout 120    104    1169809408 timeout 120    93.8  1353809920
array-tiling/tcpy_true-unreach-call.i error: exception 7.49 4.17 252469248 timeout 121    109    1114279936 error: exception 7.14 4.03 250359808 timeout 121    109    1004457984
array-programs/copysome1_false-unreach-call.i timeout 121    108    1311563776 timeout 121    100    1162788864 timeout 121    107    1304477696 timeout 121    100    1182474240
array-programs/copysome2_false-unreach-call.i timeout 121    105    1340833792 timeout 121    104    1200087040 timeout 121    104    1287954432 timeout 121    104    1149325312
array-programs/copysome1_true-unreach-call.i timeout 121    107    1303814144 timeout 121    103    1065312256 timeout 121    107    1306103808 timeout 121    104    1067606016
array-programs/copysome2_true-unreach-call.i timeout 121    105    1277784064 timeout 121    104    1189404672 timeout 121    105    1286238208 timeout 121    104    1160359936
array-crafted/bAnd1_true-unreach-call.i timeout 121    109    1305604096 timeout 121    81.7  1415544832 timeout 121    110    1268793344 timeout 121    84.1  1455562752
array-crafted/bAnd2_true-unreach-call.i timeout 121    110    1268621312 timeout 121    86.9  1479077888 timeout 121    109    1260494848 timeout 121    84.6  1389228032
array-crafted/bAnd3_true-unreach-call.i timeout 121    109    1248276480 timeout 121    83.2  1345581056 timeout 121    110    1279922176 timeout 121    84.1  1469714432
array-crafted/bAnd4_true-unreach-call.i timeout 121    110    1211260928 timeout 121    85.9  1452994560 timeout 121    110    1281101824 timeout 121    84.7  1370116096
array-crafted/bAnd5_true-unreach-call.i timeout 121    109    1174978560 unknown: overapproxcex 15.5  8.96 505688064 timeout 121    110    1055203328 unknown: overapproxcex 15.0  8.62 499908608
array-crafted/bor1_true-unreach-call.i timeout 121    110    1223536640 timeout 121    84.5  1399414784 timeout 121    110    1248194560 timeout 121    85.6  1473859584
array-crafted/bor2_true-unreach-call.i timeout 121    108    1284186112 timeout 121    84.4  1393119232 timeout 121    110    1213005824 timeout 121    87.6  1436377088
array-crafted/bor3_true-unreach-call.i timeout 121    109    1283338240 timeout 121    85.0  1399230464 timeout 121    110    1270259712 timeout 121    86.5  1379979264
array-crafted/bor4_true-unreach-call.i timeout 121    110    1287557120 timeout 121    83.9  1450065920 timeout 121    110    1234255872 timeout 121    84.3  1464459264
array-crafted/bor5_true-unreach-call.i timeout 121    108    1115013120 unknown: overapproxcex 15.1  8.72 498511872 timeout 121    108    1122230272 unknown: overapproxcex 15.5  8.91 503308288
array-crafted/mapavg1_true-unreach-call.i timeout 121    109    1250582528 timeout 121    84.7  1474555904 timeout 121    109    1316528128 timeout 121    85.2  1419796480
array-crafted/mapavg2_true-unreach-call.i timeout 121    109    1312698368 timeout 121    84.4  1506439168 timeout 121    109    1286086656 timeout 121    84.0  1456697344
array-crafted/mapavg3_true-unreach-call.i timeout 121    109    1283661824 timeout 120    81.8  1411792896 timeout 121    110    1296924672 timeout 121    84.8  1428238336
array-crafted/mapavg4_true-unreach-call.i timeout 121    109    1227968512 timeout 121    84.6  1440423936 timeout 121    109    1298751488 timeout 120    81.2  1373134848
array-crafted/mapavg5_true-unreach-call.i timeout 120    114    2065100800 timeout 120    109    2080694272 timeout 120    113    1998401536 timeout 121    111    2000195584
array-crafted/mapsum1_true-unreach-call.i timeout 121    110    1218306048 timeout 121    85.1  1486053376 timeout 121    109    1287958528 timeout 121    85.3  1463312384
array-crafted/mapsum2_true-unreach-call.i timeout 121    110    1302376448 timeout 121    85.0  1378377728 timeout 121    109    1220214784 timeout 121    84.8  1461010432
array-crafted/mapsum3_true-unreach-call.i timeout 121    110    1277808640 timeout 121    83.3  1485557760 timeout 121    110    1306845184 timeout 121    82.7  1408008192
array-crafted/mapsum4_true-unreach-call.i timeout 121    110    1234866176 timeout 122    85.5  1395109888 timeout 121    110    1285844992 timeout 121    83.2  1433128960
array-crafted/mapsum5_true-unreach-call.i timeout 121    109    1042907136 error: exception 21.4  12.3  711602176 timeout 121    109    1024937984 error: exception 20.4  11.8  712654848
array-crafted/xor1_true-unreach-call.i timeout 121    110    1250795520 timeout 121    81.3  1411674112 timeout 121    110    1225805824 timeout 121    84.4  1399754752
array-crafted/xor2_true-unreach-call.i timeout 121    109    1272659968 timeout 122    80.9  1301524480 timeout 121    109    1288183808 timeout 121    82.4  1519251456
array-crafted/xor3_true-unreach-call.i timeout 121    110    1273667584 timeout 121    85.8  1524355072 timeout 121    109    1244024832 timeout 121    85.3  1410244608
array-crafted/xor4_true-unreach-call.i timeout 121    110    1248268288 timeout 121    87.7  1483837440 timeout 121    110    1250717696 timeout 121    84.3  1425735680
array-crafted/xor5_true-unreach-call.i timeout 121    107    1156767744 unknown: overapproxcex 14.9  8.51 503500800 timeout 121    108    1152299008 unknown: overapproxcex 15.1  8.61 507490304
array-crafted/zero_sum1_true-unreach-call.c error: exception 6.45 3.41 200663040 timeout 121    94.7  1497481216 error: exception 6.16 3.26 195915776 timeout 121    94.2  1421283328
array-crafted/zero_sum2_true-unreach-call.c error: exception 6.29 3.29 202178560 timeout 121    94.7  1471123456 error: exception 6.17 3.29 206155776 timeout 121    94.6  1407217664
array-crafted/zero_sum3_true-unreach-call.c error: exception 6.10 3.27 203333632 timeout 121    93.2  1444474880 error: exception 6.15 3.27 197545984 timeout 121    92.2  1505132544
array-crafted/zero_sum4_true-unreach-call.c error: exception 6.48 3.43 203468800 timeout 121    93.3  1505804288 error: exception 6.24 3.28 196149248 timeout 120    92.7  1524641792
array-crafted/zero_sum5_true-unreach-call.c error: exception 6.06 3.24 212877312 timeout 121    94.8  1597652992 error: exception 6.10 3.27 198639616 timeout 121    95.2  1486241792
array-crafted/zero_sum_const1_true-unreach-call.c error: exception 7.19 4.02 245223424 error: exception 32.0  21.0  1080528896 error: exception 7.32 4.08 242659328 error: exception 32.8  21.2  983957504
array-crafted/zero_sum_const2_true-unreach-call.c error: exception 7.67 4.23 245751808 timeout 121    93.4  1482203136 error: exception 7.28 4.11 245923840 timeout 121    93.8  1497849856
array-crafted/zero_sum_const3_true-unreach-call.c error: exception 7.12 3.99 245403648 timeout 121    94.9  1507815424 error: exception 7.28 4.05 244445184 timeout 121    93.9  1501741056
array-crafted/zero_sum_const4_true-unreach-call.c error: exception 7.31 4.09 241725440 timeout 121    93.1  1407762432 error: exception 7.37 4.10 247984128 timeout 122    93.5  1531887616
array-crafted/zero_sum_const5_true-unreach-call.c error: exception 7.06 4.02 242061312 timeout 121    92.9  1592365056 error: exception 7.51 4.10 244015104 timeout 121    92.6  1520168960
array-crafted/zero_sum_const_m2_true-unreach-call.c error: exception 7.46 4.16 244502528 timeout 121    95.5  1518981120 error: exception 7.39 4.19 238759936 timeout 121    95.1  1482366976
array-crafted/zero_sum_const_m3_true-unreach-call.c error: exception 7.33 4.17 244580352 timeout 120    95.9  1465364480 error: exception 7.06 3.97 250179584 timeout 120    94.9  1529413632
array-crafted/zero_sum_const_m4_true-unreach-call.c error: exception 7.41 4.11 242163712 error: exception 33.5  22.4  998973440 error: exception 7.39 4.13 248422400 error: exception 33.4  22.4  991211520
array-crafted/zero_sum_const_m5_true-unreach-call.c error: exception 7.28 4.07 249335808 timeout 120    94.5  1441210368 error: exception 7.46 4.14 247345152 timeout 121    98.3  1519312896
array-crafted/zero_sum_m2_true-unreach-call.c error: exception 6.27 3.34 203800576 timeout 121    95.0  1408266240 error: exception 6.05 3.25 205852672 timeout 121    95.5  1503334400
array-crafted/zero_sum_m3_true-unreach-call.c error: exception 6.06 3.23 195768320 timeout 120    96.1  1512202240 error: exception 6.18 3.33 198602752 timeout 120    96.0  1466986496
array-crafted/zero_sum_m4_true-unreach-call.c error: exception 6.14 3.26 205688832 timeout 121    95.9  1394733056 error: exception 6.24 3.32 194928640 timeout 121    97.7  1517350912
array-crafted/zero_sum_m5_true-unreach-call.c error: exception 6.53 3.44 200224768 timeout 120    98.9  1608372224 error: exception 6.23 3.37 198156288 timeout 120    98.3  1556242432
array-multidimensional/add-2-n-u_true-unreach-call.i timeout 121    104    1154789376 timeout 121    105    1191489536 timeout 121    105    1206616064 timeout 121    105    1249550336
array-multidimensional/add-3-n-u_true-unreach-call.i timeout 120    103    1211613184 timeout 121    109    1052651520 timeout 120    104    1249546240 timeout 121    109    1059123200
array-multidimensional/copy-2-u_true-unreach-call.i timeout 121    104    1170493440 timeout 121    103    1202298880 timeout 121    105    1244966912 timeout 121    102    1206865920
array-multidimensional/copy-3-n-u_true-unreach-call.i timeout 121    104    1276542976 timeout 121    108    975163392 timeout 121    104    1278545920 timeout 121    109    979247104
array-multidimensional/copy-partial-2-n-u_true-unreach-call.i timeout 121    103    1239248896 timeout 121    106    1116938240 timeout 121    104    1206226944 timeout 121    106    1104855040
array-multidimensional/copy-partial-3-u_true-unreach-call.i true 50.5  39.9  974548992 true 25.7  15.5  824729600 true 52.5  41.5  983359488 true 23.0  14.1  812490752
array-multidimensional/diff-2-n-u_true-unreach-call.i error: exception 7.66 4.25 248688640 timeout 121    110    938577920 error: exception 7.20 4.09 246194176 timeout 121    109    929501184
array-multidimensional/diff-3-n-u_true-unreach-call.i timeout 120    104    1207701504 timeout 121    109    1029951488 timeout 120    104    1248473088 timeout 121    108    1037852672
array-multidimensional/init-2-n-u_true-unreach-call.i timeout 121    110    1096540160 timeout 121    107    1046441984 timeout 121    109    1124487168 timeout 121    109    1024659456
array-multidimensional/init-3-u_true-unreach-call.i timeout 121    107    1116872704 timeout 120    112    812658688 timeout 121    108    1180745728 timeout 120    112    826601472
array-multidimensional/init-4-n-u_true-unreach-call.i timeout 121    108    1031061504 timeout 121    104    1196457984 timeout 121    108    1047916544 timeout 121    104    1172656128
array-multidimensional/init-non-constant-2-n-u_true-unreach-call.i error: exception 14.4  8.70 448348160 error: exception 13.7  8.11 458125312 error: exception 13.5  8.43 444149760 error: exception 14.0  8.26 452083712
array-multidimensional/init-non-constant-3-u_true-unreach-call.i timeout 121    108    1166348288 timeout 120    112    1065177088 timeout 121    108    1123524608 timeout 120    112    1066319872
array-multidimensional/max-2-u_true-unreach-call.i timeout 121    102    1264005120 timeout 121    102    1183547392 timeout 120    101    1220808704 timeout 121    101    1206407168
array-multidimensional/max-3-n-u_true-unreach-call.i timeout 121    103    1366462464 error: exception 7.21 4.07 243195904 timeout 120    103    1278464000 error: exception 7.01 3.98 245792768
array-multidimensional/min-2-u_true-unreach-call.i timeout 120    101    1257230336 timeout 121    102    1164234752 timeout 121    101    1255424000 timeout 121    103    1140178944
array-multidimensional/min-3-n-u_true-unreach-call.i timeout 121    102    1260822528 error: exception 6.95 3.97 246370304 timeout 121    103    1285935104 error: exception 7.41 4.10 245788672
array-multidimensional/rev-2-n-u_true-unreach-call.i error: exception 7.42 4.12 245010432 error: exception 21.7  13.5  808112128 error: exception 7.35 4.15 246820864 error: exception 22.8  13.9  817496064
array-multidimensional/rev-3-u_true-unreach-call.i error: exception 7.79 4.46 253272064 timeout 121    110    1017020416 error: exception 7.79 4.39 257024000 timeout 121    109    990896128
array-multidimensional/transpose-u_true-unreach-call.i timeout 121    102    1258954752 timeout 120    110    859574272 timeout 121    103    1198735360 timeout 121    110    867971072
reducercommutativity/rangesum05_false-unreach-call.yml unknown 4.49 2.41 168218624 unknown 4.15 2.28 164622336 unknown 4.39 2.40 169869312 unknown 4.21 2.28 170950656
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c error: exception 14.6  8.00 374243328 timeout 121    85.4  1494294528 error: exception 14.9  8.22 376377344 timeout 121    86.3  1534275584
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 120    84.0  1432829952 timeout 120    82.7  1400410112 timeout 121    83.9  1373544448 timeout 121    86.2  1464348672
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c error: exception 14.7  8.21 385802240 timeout 120    83.2  1489981440 error: exception 14.8  8.24 378953728 timeout 120    83.0  1418293248
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c false 108    74.1  1361543168 false 94.0  62.0  1244270592 false 108    74.5  1344114688 false 97.9  63.7  1311240192
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c error: exception 14.7  8.08 367308800 timeout 121    86.2  1475014656 error: exception 14.9  8.18 368504832 timeout 121    84.9  1471406080
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 121    84.9  1405427712 timeout 120    82.8  1468387328 timeout 120    85.3  1471762432 timeout 120    82.3  1392455680
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 121    84.8  1426530304 timeout 121    88.6  1427066880 timeout 121    85.5  1436389376 timeout 121    84.5  1446375424
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c error: exception 14.2  7.93 394399744 timeout 121    85.8  1391153152 error: exception 14.2  7.90 389537792 timeout 121    83.7  1449037824
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 60.6  39.9  1167962112 true 83.0  54.1  1209778176 true 61.6  40.2  1118949376 true 78.0  51.3  1231888384
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 77.9  50.8  1225388032 true 75.1  48.0  1225080832 true 78.2  51.3  1192189952 true 78.2  49.6  1248632832
ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c false 42.4  26.3  1027194880 false 41.2  25.1  982495232 false 42.5  26.1  991555584 false 44.8  26.9  993120256
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c false 44.6  27.0  1006039040 false 57.2  35.1  1118912512 false 44.4  27.2  1029668864 false 54.1  33.5  1113522176
ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c false 42.6  26.2  1024667648 false 54.4  34.0  1159254016 false 43.5  26.7  989196288 false 54.7  34.0  1110974464
ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c false 44.1  27.0  1046528000 false 56.0  34.6  1145458688 false 43.5  26.7  1002901504 false 58.8  35.8  1138270208
ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c false 18.3  10.8  634359808 false 36.8  23.2  973885440 false 17.8  10.7  633880576 false 38.1  24.0  993128448
ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c timeout 120    93.0  1461915648 timeout 121    91.5  1537540096 timeout 121    89.5  1423347712 timeout 121    91.1  1489895424
ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c timeout 121    91.1  1487597568 timeout 121    89.8  1471574016 timeout 121    90.8  1469358080 timeout 121    90.6  1506906112
ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c false 66.4  44.2  1111867392 timeout 121    90.4  1460207616 false 62.1  42.5  1118281728 timeout 121    91.3  1527328768
ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c false 83.0  55.2  1275105280 timeout 121    91.0  1477664768 false 78.4  53.8  1255804928 timeout 121    92.8  1504747520
ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c false 33.4  20.9  1019432960 false 79.8  52.7  1221435392 false 33.0  20.5  971997184 false 80.1  53.1  1297743872
ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c false 36.3  22.1  1013469184 false 81.9  54.7  1230364672 false 35.8  21.9  1007845376 false 80.7  54.3  1294123008
ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c false 12.4  6.87 351174656 false 11.9  6.73 359616512 false 12.2  6.80 346009600 false 12.2  6.84 356085760
ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c timeout 120    93.2  1365458944 timeout 121    91.9  1391587328 timeout 120    91.9  1414782976 timeout 120    90.8  1385582592
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c timeout 120    92.4  1387634688 timeout 120    91.3  1462984704 timeout 120    91.6  1498832896 timeout 120    89.1  1380245504
ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c timeout 120    94.4  1445203968 timeout 120    91.1  1447555072 timeout 120    93.4  1417027584 timeout 120    90.7  1380851712
ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c timeout 121    89.6  1473191936 timeout 120    90.8  1386754048 timeout 121    91.7  1454809088 timeout 121    93.8  1336369152
ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c timeout 121    88.7  1372155904 timeout 120    86.7  1455124480 timeout 121    88.4  1505181696 timeout 121    87.1  1449013248
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c true 28.3  17.0  819929088 true 25.6  15.3  846372864 true 27.4  16.7  805208064 true 24.8  15.0  851775488
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c true 16.1  9.65 598564864 true 15.8  9.54 594542592 true 16.2  9.74 609529856 true 16.1  9.63 600682496
ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c timeout 121    89.7  1394085888 timeout 121    89.0  1478852608 timeout 120    91.5  1435676672 timeout 121    88.6  1520635904
ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c timeout 120    90.5  1396809728 timeout 121    89.3  1505107968 timeout 120    92.7  1429741568 timeout 121    87.7  1417134080
ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c timeout 120    92.1  1419788288 timeout 121    89.5  1489801216 timeout 121    89.5  1456930816 timeout 121    88.7  1906122752
ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c timeout 121    91.4  1415684096 timeout 122    88.9  1529298944 timeout 121    89.3  1389699072 timeout 120    86.3  1517719552
ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c timeout 121    96.3  1419198464 timeout 120    86.7  1544716288 timeout 120    93.2  1487593472 timeout 120    88.3  1529131008
ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c timeout 121    91.3  1465036800 timeout 120    86.0  1503379456 timeout 121    91.9  1448964096 timeout 121    88.2  1527476224
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c false 17.7  10.6  668479488 false 16.5  9.80 637722624 false 16.9  10.2  675405824 false 16.9  10.0  633057280
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c false 17.8  10.8  703172608 false 17.5  10.4  673992704 false 17.4  10.6  699269120 false 16.9  10.2  672841728
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c timeout 120    98.2  1353023488 timeout 120    96.8  1244299264 timeout 121    98.6  1363435520 timeout 120    98.1  1324724224
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c timeout 121    98.2  1417338880 timeout 121    100    1313226752 timeout 121    99.4  1419227136 timeout 121    98.9  1327169536
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c timeout 121    99.4  1387339776 timeout 121    100    1356492800 timeout 121    98.7  1363308544 timeout 121    96.8  1275265024
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c timeout 121    99.3  1259659264 timeout 121    97.3  1336119296 timeout 121    96.9  1259450368 timeout 120    96.5  1276559360
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c timeout 121    99.2  1293836288 timeout 120    95.1  1292009472 timeout 121    99.4  1340030976 timeout 121    97.0  1344323584
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c timeout 121    97.8  1253998592 timeout 121    97.7  1383395328 timeout 120    95.3  1295126528 timeout 121    96.6  1301508096
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c true 31.4  18.5  820662272 true 27.6  16.3  843083776 true 30.1  17.8  808640512 true 28.8  16.9  851988480
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c true 38.1  23.5  980959232 true 35.1  21.2  872845312 true 36.3  22.5  989745152 true 34.1  20.8  885751808
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c true 52.2  34.5  1160744960 true 50.6  32.7  1094955008 true 56.9  36.7  1105817600 true 51.0  33.3  1105891328
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c true 87.7  66.0  1235853312 true 81.0  60.3  1237004288 true 82.6  63.3  1287716864 true 79.7  60.1  1323560960
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c timeout 120    97.0  1413799936 timeout 120    97.6  1433092096 timeout 121    101    1485017088 timeout 121    98.0  1438920704
ntdrivers/cdaudio_false-unreach-call.i.cil.c error: exception 35.2  22.2  917364736 timeout 121    82.4  1621667840 error: exception 33.5  21.9  931782656 timeout 121    82.6  1597915136
ntdrivers/diskperf_false-unreach-call.i.cil.c error: type error 12.5  6.45 488001536 timeout 120    75.6  1960697856 error: type error 12.2  6.33 492597248 timeout 121    80.6  2187886592
ntdrivers/floppy_false-unreach-call.i.cil.c error: exception 52.3  37.3  931307520 error: exception 20.0  10.6  861757440 error: exception 12.1  6.28 519610368 error: exception 12.2  6.31 470790144
ntdrivers/kbfiltr_false-unreach-call.i.cil.c timeout 121    105    1070829568 timeout 121    85.3  1289011200 timeout 121    105    1087459328 timeout 120    87.1  1311543296
ntdrivers/parport_false-unreach-call.i.cil.c error: type error 16.0  8.33 829739008 timeout 120    83.3  1762217984 error: type error 17.3  8.96 823648256 timeout 122    83.9  1748385792
ntdrivers/cdaudio_true-unreach-call.i.cil.c error: exception 31.6  19.3  938295296 timeout 121    83.2  1608974336 error: exception 30.9  19.1  909590528 timeout 120    82.2  1602347008
ntdrivers/diskperf_true-unreach-call.i.cil.c error: type error 12.3  6.42 531365888 timeout 121    92.5  1734258688 error: type error 13.4  6.91 546570240 timeout 121    94.0  1748766720
ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c error: exception 49.1  31.4  1288970240 timeout 120    86.8  1529602048 error: exception 18.0  9.35 887730176 error: exception 17.3  8.97 866136064
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c error: exception 50.1  36.6  928489472 error: exception 20.3  10.7  904499200 error: exception 12.3  6.40 521531392 error: exception 12.3  6.42 467283968
ntdrivers/parport_true-unreach-call.i.cil.c error: type error 16.5  8.52 839204864 timeout 120    81.8  1603698688 error: type error 16.9  8.70 821268480 timeout 121    82.9  1720840192
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c timeout 121    96.4  1203736576 timeout 120    84.4  1455816704 timeout 121    97.2  1197305856 timeout 120    86.6  1339744256
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c timeout 121    101    1172570112 unknown: overapproxcex 105    72.5  1471164416 timeout 121    101    1238437888 timeout 120    89.0  1439338496
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c timeout 121    100    1227644928 unknown: overapproxcex 112    76.3  1441591296 timeout 120    99.1  1215741952 timeout 121    89.5  1458085888
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c timeout 121    100    1247268864 unknown: overapproxcex 106    73.6  1451069440 timeout 120    98.4  1234956288 timeout 120    87.9  1411919872
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c false 64.6  46.7  1106358272 unknown: overapproxcex 84.7  56.9  1333018624 false 61.8  45.2  1050918912 unknown: overapproxcex 93.9  65.9  1279041536
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c false 85.8  66.3  1039826944 unknown: overapproxcex 90.6  59.4  1285279744 false 84.8  66.0  1044979712 unknown: overapproxcex 98.6  69.2  1311940608
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c false 49.7  36.0  911253504 unknown: overapproxcex 83.8  55.9  1298538496 false 52.6  37.3  885342208 unknown: overapproxcex 98.6  69.3  1325330432
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c false 51.6  36.9  896057344 unknown: overapproxcex 84.0  56.4  1315168256 false 51.4  37.1  882462720 unknown: overapproxcex 101    69.9  1358020608
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c timeout 121    105    1549320192 timeout 121    86.7  1374208000 timeout 121    103    1557254144 timeout 120    88.2  1434120192
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c timeout 121    97.4  1234161664 timeout 120    83.6  1333854208 timeout 121    94.0  1277550592 timeout 121    88.4  1463271424
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c timeout 121    104    1498488832 timeout 120    84.6  1519181824 timeout 121    106    1515761664 timeout 120    86.0  1409839104
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c timeout 120    95.4  1236451328 timeout 121    86.7  1540390912 timeout 121    92.0  1226616832 timeout 121    86.4  1421176832
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c timeout 121    105    1477427200 timeout 121    87.2  1468399616 timeout 121    105    1517105152 timeout 120    87.2  1437167616
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c false 106    82.7  1238245376 unknown: overapproxcex 110    76.3  1438248960 false 105    81.9  1255743488 timeout 121    88.4  1383673856
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c timeout 121    103    1477742592 timeout 120    85.9  1459367936 timeout 121    105    1503465472 timeout 120    85.9  1401073664
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c timeout 121    95.7  1223364608 timeout 121    86.5  1469173760 timeout 121    96.1  1248030720 timeout 122    85.9  1390587904
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c timeout 121    104    1539223552 timeout 120    84.6  1511153664 timeout 121    105    1558822912 timeout 120    86.2  1425719296
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c timeout 121    104    1471909888 timeout 120    84.7  1533112320 timeout 121    103    1562972160 timeout 121    90.3  1446412288
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c timeout 121    103    1525501952 timeout 120    85.6  1456562176 timeout 121    104    1543999488 timeout 120    88.2  1461710848
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c timeout 120    94.6  1213018112 timeout 120    84.8  1387937792 timeout 121    96.1  1217650688 timeout 120    86.9  1462210560
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c timeout 120    99.3  1221210112 timeout 121    84.0  1509367808 timeout 120    97.0  1238757376 timeout 120    85.9  1381847040
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c timeout 121    101    1230229504 timeout 121    86.5  1551634432 timeout 121    101    1192804352 timeout 121    90.0  1413558272
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c timeout 120    96.2  1185411072 timeout 120    84.8  1531944960 timeout 121    98.9  1244508160 timeout 121    87.2  1376579584
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c timeout 121    95.1  1204494336 timeout 120    84.8  1466376192 timeout 121    94.5  1178259456 timeout 121    86.3  1331617792
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c timeout 121    99.5  1224228864 timeout 120    84.3  1487368192 timeout 120    96.4  1188593664 timeout 120    85.2  1449992192
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c timeout 121    95.9  1241468928 timeout 121    87.3  1399513088 timeout 120    94.8  1322577920 timeout 120    86.3  1445834752
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c timeout 121    95.7  1172389888 timeout 121    87.3  1535619072 timeout 121    93.7  1228746752 timeout 120    84.0  1438965760
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c timeout 120    94.0  1218777088 timeout 120    85.3  1487310848 timeout 121    94.7  1313898496 timeout 122    85.5  1443913728
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c timeout 121    94.2  1221414912 timeout 121    89.3  1417719808 timeout 121    94.8  1253761024 timeout 121    87.7  1474641920
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c timeout 121    96.1  1270157312 timeout 120    84.2  1362292736 timeout 121    94.2  1223766016 timeout 120    85.7  1437200384
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c timeout 121    94.9  1248997376 timeout 121    87.0  1487466496 timeout 121    93.9  1218830336 timeout 120    86.9  1387249664
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c timeout 122    95.9  1313390592 timeout 120    84.1  1485066240 timeout 121    96.7  1323884544 timeout 120    86.5  1458229248
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c timeout 121    94.9  1193934848 timeout 121    86.8  1540624384 timeout 121    96.6  1213865984 timeout 122    89.2  1368920064
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c timeout 121    95.7  1311633408 timeout 120    85.1  1440321536 timeout 121    94.7  1260986368 timeout 121    82.8  1367351296
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c timeout 121    94.2  1229225984 timeout 120    85.6  1515806720 timeout 121    93.6  1271930880 timeout 120    86.4  1366106112
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c timeout 120    94.0  1251438592 timeout 120    84.8  1545818112 timeout 120    94.1  1249734656 timeout 121    84.5  1430241280
heap-manipulation/bubble_sort_linux_false-unreach-call_false-valid-memcleanup.i timeout 120    111    998817792 error: exception 34.4  22.8  976809984 timeout 121    109    1291354112 error: exception 34.1  22.7  957767680
heap-manipulation/dll_of_dll_false-unreach-call_false-valid-memcleanup.i timeout 121    102    1383964672 timeout 120    89.6  1436794880 timeout 121    101    1333690368 timeout 121    88.9  1624678400
heap-manipulation/merge_sort_false-unreach-call_false-valid-memcleanup.i false 51.6  38.5  1017245696 false 30.5  19.2  950722560 false 50.1  38.1  1015967744 false 31.4  19.8  921563136
heap-manipulation/sll_to_dll_rev_false-unreach-call_false-valid-memcleanup.i timeout 120    111    855228416 timeout 121    103    1423785984 timeout 120    111    856444928 timeout 120    104    1362227200
heap-manipulation/tree_false-unreach-call_false-valid-deref.i timeout 120    111    885960704 error: exception 19.0  11.4  704434176 timeout 121    110    901718016 error: exception 18.8  11.1  689922048
heap-manipulation/tree_false-unreach-call_false-valid-memcleanup.i timeout 121    110    866697216 error: exception 19.8  11.9  750088192 timeout 120    111    867049472 error: exception 19.8  11.9  730456064
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i timeout 121    108    1410015232 error: exception 35.0  23.5  999227392 timeout 121    108    1797591040 error: exception 35.1  23.4  1056923648
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i error: exception 46.2  34.3  1178017792 error: exception 72.1  57.1  1319256064 error: exception 46.6  34.9  1171480576 error: exception 72.0  56.5  1283760128
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i timeout 121    101    1348562944 timeout 120    92.6  1347395584 timeout 121    101    1329192960 timeout 120    89.6  1629024256
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i timeout 120    95.7  1262305280 error: exception 51.8  33.7  1177034752 timeout 121    98.3  1276518400 error: exception 51.0  33.1  1178750976
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i error: exception 118    104    1221652480 error: exception 25.6  16.7  876687360 error: exception 103    90.1  1195290624 error: exception 25.4  16.7  864563200
heap-manipulation/tree_true-unreach-call.i timeout 121    110    1110323200 error: exception 34.9  23.7  1030955008 timeout 121    110    1109086208 error: exception 34.6  23.4  1044676608
list-properties/alternating_list_false-unreach-call_false-valid-memcleanup.i false 16.7  9.42 476962816 false 13.9  7.84 438603776 false 16.8  9.57 486330368 false 14.0  7.96 432435200
list-properties/list_false-unreach-call_false-valid-memcleanup.i timeout 121    107    1186811904 error: exception 23.4  14.4  839397376 timeout 121    107    1193132032 error: exception 23.7  14.6  832376832
list-properties/list_flag_false-unreach-call_false-valid-memcleanup.i false 18.8  11.1  634593280 false 15.4  8.95 535994368 false 18.8  11.2  640798720 false 15.5  9.01 531374080
list-properties/list_search_false-unreach-call_false-valid-memcleanup.i timeout 121    106    1180385280 error: exception 21.4  13.0  834879488 timeout 121    106    1197379584 error: exception 21.9  13.1  814723072
list-properties/simple_false-unreach-call_false-valid-memcleanup.i false 17.1  10.1  558198784 false 15.1  8.72 486465536 false 17.3  10.1  557506560 false 15.6  8.97 488484864
list-properties/splice_false-unreach-call_false-valid-memcleanup.i false 17.9  10.3  532819968 false 16.1  9.26 536150016 false 17.0  9.87 533237760 false 15.1  8.88 540540928
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i timeout 121    107    1266769920 error: exception 19.2  11.6  730726400 timeout 121    107    1225302016 error: exception 18.9  11.5  714321920
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i timeout 121    106    1856425984 error: exception 24.1  15.1  829046784 timeout 121    106    1928073216 error: exception 24.5  15.3  839872512
list-properties/list_search_true-unreach-call_false-valid-memcleanup.i timeout 122    105    1338376192 error: exception 30.9  18.7  862019584 timeout 120    103    1317134336 error: exception 29.5  18.0  861995008
list-properties/list_true-unreach-call_false-valid-memtrack.i timeout 121    106    2018402304 error: exception 24.0  14.9  810737664 timeout 121    107    1946464256 error: exception 23.8  14.6  816312320
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i timeout 120    107    1380032512 error: exception 19.8  12.1  774709248 timeout 121    109    1355915264 error: exception 20.9  12.6  775348224
list-properties/simple_true-unreach-call_false-valid-memtrack.i timeout 121    107    1509781504 error: exception 18.6  11.2  675180544 timeout 120    105    1530056704 error: exception 18.7  11.3  678023168
list-properties/splice_true-unreach-call_false-valid-memtrack.i timeout 121    106    1162530816 error: exception 27.4  17.5  832466944 error: exception 67.3  53.4  1230471168 error: exception 27.4  17.4  819535872
ldv-regression/1_3_true-termination.c_false-unreach-call.i false 13.4  7.68 378048512 false 12.2  6.82 325070848 false 13.1  7.52 388145152 false 12.1  6.76 332779520
ldv-regression/alt_test_true-termination.c_false-unreach-call.i false 16.2  9.11 487473152 false 13.8  7.90 453812224 false 15.8  8.99 488136704 false 14.2  8.02 452911104
ldv-regression/callfpointer_true-termination.c_false-unreach-call.i false 7.42 4.20 264224768 false 7.80 4.39 258002944 false 8.00 4.45 259194880 false 7.38 4.19 252862464
ldv-regression/fo_test_true-termination.c_false-unreach-call.i unknown: overapproxcex 12.3  6.70 360267776 unknown: overapproxcex 11.7  6.39 338759680 unknown: overapproxcex 12.0  6.66 348704768 unknown: overapproxcex 11.6  6.41 338100224
ldv-regression/mutex_lock_int_true-termination.c_false-unreach-call.i false 11.6  6.51 323940352 false 10.4  5.93 287539200 false 12.0  6.71 334184448 false 10.1  5.72 283533312
ldv-regression/mutex_lock_struct_true-termination.c_false-unreach-call.i false 11.7  6.56 324825088 false 10.3  5.85 286461952 false 12.5  6.86 333688832 false 10.1  5.77 285143040
ldv-regression/recursive_list_true-termination.c_false-unreach-call.i false 8.95 4.89 269398016 false 8.46 4.74 266473472 false 8.92 4.98 275402752 false 8.65 4.79 270454784
ldv-regression/rule57_ebda_blast_true-termination.c_false-unreach-call.i false 13.7  7.64 381980672 false 12.7  7.14 353095680 false 13.3  7.48 385609728 false 12.5  7.08 348483584
ldv-regression/rule60_list2_true-termination.c_false-unreach-call_1.i false 85.7  64.0  1258942464 false 71.4  48.5  1316524032 false 87.6  66.1  1286701056 false 67.8  46.8  1251979264
ldv-regression/stateful_check_false-unreach-call_false-termination.i false 30.8  19.0  858259456 false 23.2  13.9  828018688 false 33.3  20.1  841654272 false 24.8  14.7  831156224
ldv-regression/test_while_int_true-termination.c_false-unreach-call.i false 13.5  7.81 422793216 false 12.5  7.27 388100096 false 13.6  7.85 433741824 false 13.1  7.52 382672896
ldv-regression/test_while_int_true-termination.c_false-unreach-call_1.i false 12.1  6.86 360357888 false 11.6  6.54 321622016 false 12.5  7.03 351916032 false 11.7  6.57 314703872
ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call.i true 11.5  6.49 324395008 true 10.9  5.99 302288896 true 12.1  6.72 314044416 true 10.5  5.92 287404032
ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call_1.i true 9.88 5.49 276623360 true 9.34 5.18 265531392 true 9.82 5.44 269979648 true 9.23 5.09 267206656
ldv-regression/alias_of_return_true-termination.c_true-unreach-call.i true 10.7  5.94 306860032 true 10.0  5.56 276852736 true 10.7  6.09 296591360 true 9.85 5.53 274239488
ldv-regression/alias_of_return_true-termination.c_true-unreach-call_1.i true 9.10 5.03 267567104 true 8.67 4.90 270409728 true 9.24 5.18 264359936 true 9.43 5.27 264683520
ldv-regression/ex3_forlist_true-termination.c_true-unreach-call.i timeout 121    106    1329709056 error: exception 41.0  27.8  1156243456 error: exception 8.47 4.75 258392064 error: exception 29.9  17.8  837685248
ldv-regression/just_assert_true-termination.c_true-unreach-call.i true 7.95 4.50 259178496 true 8.33 4.65 261115904 true 8.72 4.88 253628416 true 7.83 4.52 262782976
ldv-regression/mutex_lock_int_true-termination.c_true-unreach-call_1.i true 14.2  8.14 403697664 true 12.3  7.01 355532800 true 13.6  7.87 419110912 true 12.4  7.03 359038976
ldv-regression/mutex_lock_struct_true-termination.c_true-unreach-call_1.i true 13.8  7.99 414896128 true 11.9  6.81 357330944 true 13.1  7.66 408215552 true 12.7  7.18 356204544
ldv-regression/nested_structure_noptr_true-termination.c_true-unreach-call.i true 9.53 5.25 263860224 true 9.40 5.21 269959168 true 9.77 5.45 272248832 true 9.53 5.31 269131776
ldv-regression/nested_structure_noptr_true-unreach-call_true-termination.i true 9.66 5.54 278740992 true 9.94 5.59 272003072 true 10.7  5.88 289714176 true 9.26 5.30 269402112
ldv-regression/nested_structure_ptr_true-termination.c_true-unreach-call.i true 9.20 5.29 276033536 true 9.30 5.23 270372864 true 10.4  5.93 297119744 true 9.34 5.24 277368832
ldv-regression/nested_structure_ptr_true-unreach-call_true-termination.i true 11.0  6.26 315588608 true 10.5  5.85 275865600 true 11.8  6.80 300408832 true 10.1  5.67 274264064
ldv-regression/nested_structure_true-termination.c_true-unreach-call.i true 9.39 5.39 280592384 true 9.04 5.13 274763776 true 10.0  5.61 279252992 true 9.90 5.55 272166912
ldv-regression/nested_structure_true-unreach-call_true-termination.i true 11.5  6.45 316456960 true 9.77 5.48 277454848 true 11.6  6.60 298385408 true 10.9  6.10 287956992
ldv-regression/oomInt_true-termination.c_true-unreach-call.i true 12.7  7.27 369119232 true 11.2  6.31 315400192 true 12.5  7.22 363798528 true 11.2  6.27 317206528
ldv-regression/oomInt_true-termination.c_true-unreach-call_1.i true 11.8  6.67 336703488 true 9.63 5.44 272650240 true 11.3  6.49 339300352 true 9.42 5.40 279715840
ldv-regression/rule57_ebda_blast_true-termination.c_true-unreach-call_1.i true 14.3  8.36 461008896 true 13.7  7.94 423170048 true 14.4  8.36 459661312 true 13.7  7.84 428142592
ldv-regression/rule60_list2_true-termination.c_true-unreach-call.i true 70.8  55.6  1289089024 true 55.4  39.7  1176006656 true 71.3  56.1  1263738880 true 59.3  41.8  1296863232
ldv-regression/rule60_list_true-termination.c_true-unreach-call.i true 17.9  10.8  578875392 error: exception 11.5  6.18 308948992 true 17.5  10.6  581173248 error: exception 11.3  6.12 306065408
ldv-regression/sizeofparameters_test_true-termination.c_true-unreach-call.i unknown 6.36 3.45 206123008 true 10.3  5.80 289017856 unknown 6.44 3.44 196349952 true 9.92 5.63 286560256
ldv-regression/structure_assignment_true-termination.c_true-unreach-call.i true 10.3  5.67 266035200 true 8.64 4.96 269877248 true 9.58 5.27 272285696 true 9.01 5.26 272912384
ldv-regression/test_address_true-termination.c_true-unreach-call.i true 12.9  7.14 354750464 true 11.8  6.65 338911232 true 12.7  7.07 354373632 true 11.5  6.74 343457792
ldv-regression/test_cut_trace_true-termination.c_true-unreach-call.i true 9.16 5.24 294244352 true 9.74 5.46 268648448 true 10.1  5.65 288059392 true 10.5  5.84 278851584
ldv-regression/test_malloc-1_true-unreach-call_true-termination.i true 11.7  6.59 338317312 true 11.8  6.55 323072000 true 12.1  6.71 337731584 true 11.6  6.45 319569920
ldv-regression/test_malloc-2_true-unreach-call_true-termination.i true 12.4  6.84 344027136 true 11.5  6.47 316944384 true 12.4  6.83 338337792 true 11.2  6.26 313905152
ldv-regression/test_overflow_true-termination.c_true-unreach-call.i true 11.9  6.50 345288704 true 12.0  6.52 339537920 true 11.0  6.11 340910080 true 10.8  6.01 341811200
ldv-regression/test_union_cast-1_true-unreach-call_true-termination.i true 10.7  5.92 280776704 true 10.2  5.70 276996096 true 10.3  5.84 290652160 true 10.2  5.74 270041088
ldv-regression/test_union_cast-2_true-unreach-call_true-termination.i true 9.72 5.56 286797824 true 9.39 5.25 271671296 true 10.6  5.79 288567296 true 10.2  5.72 276422656
ldv-regression/test_union_cast_true-termination.c_true-unreach-call.i true 9.33 5.31 276475904 true 9.74 5.40 268394496 true 9.72 5.44 274636800 true 8.93 5.08 265052160
ldv-regression/test_union_cast_true-termination.c_true-unreach-call_1.i true 9.75 5.42 270950400 true 9.18 5.16 268550144 true 9.71 5.47 270069760 true 9.56 5.39 272908288
ldv-regression/test_union_true-termination.c_true-unreach-call.i true 9.21 5.14 260886528 true 9.11 5.11 267448320 true 9.16 5.19 261349376 true 8.78 5.14 260313088
ldv-regression/test_union_true-termination.c_true-unreach-call_1.i true 8.97 5.11 268476416 true 9.30 5.15 265310208 true 9.01 5.11 275382272 true 9.21 5.08 268357632
ldv-regression/volatile_alias_true-termination.c_true-unreach-call.i true 9.37 5.19 270307328 true 8.88 5.06 265129984 true 9.38 5.17 260251648 true 8.93 5.00 264630272
ldv-regression/volatile_alias_true-termination.c_true-unreach-call_1.i true 9.43 5.22 268910592 true 9.01 4.90 263106560 true 9.08 5.12 267231232 true 9.20 5.10 263077888
ldv-regression/test02_false-unreach-call_true-termination.c false 7.83 4.39 261734400 false 8.20 4.59 261693440 false 7.60 4.25 258469888 false 7.73 4.37 263946240
ldv-regression/test06_false-unreach-call_true-termination.c false 12.6  6.86 327847936 false 11.2  6.23 295636992 false 12.0  6.64 331165696 false 11.1  6.33 297631744
ldv-regression/test08_false-unreach-call_true-termination.c error: exception 7.07 3.94 240594944 false 8.73 4.76 265945088 error: exception 6.85 3.83 240680960 false 8.31 5.04 265322496
ldv-regression/test12_false-unreach-call_true-termination.c false 8.04 4.51 261996544 false 7.58 4.31 256917504 false 8.00 4.48 267558912 false 8.33 4.60 255119360
ldv-regression/test21_false-unreach-call_true-termination.c false 8.68 5.00 276299776 false 8.25 4.70 259334144 false 8.60 4.81 261304320 false 8.80 5.15 264617984
ldv-regression/test22_false-unreach-call.c false 21.2  13.5  796258304 false 19.5  11.9  764956672 false 21.3  13.6  802447360 false 20.8  12.5  740483072
ldv-regression/test23_false-unreach-call.c timeout 121    112    875782144 false 83.9  57.3  1294540800 error: exception 7.56 4.27 260964352 false 56.6  40.6  1199939584
ldv-regression/test24_false-unreach-call.c false 44.1  36.5  962998272 false 71.1  50.8  1143447552 false 44.6  36.6  941641728 false 68.9  49.8  1094365184
ldv-regression/test25_false-unreach-call_true-termination.c false 82.8  71.0  1034936320 false 45.2  28.8  1134071808 false 85.8  73.8  1067614208 false 46.1  29.1  1114017792
ldv-regression/test26_false-unreach-call_true-termination.c false 7.87 4.43 266645504 false 8.22 4.59 259686400 false 7.94 4.48 266342400 false 7.92 4.48 263680000
ldv-regression/test27_false-unreach-call_true-termination.c false 26.0  19.0  654708736 false 35.7  23.4  830959616 false 26.5  19.8  657743872 false 35.1  23.1  833241088
ldv-regression/test28_false-unreach-call_true-termination.c false 12.7  7.14 350056448 false 12.2  6.92 357052416 false 11.7  6.64 357343232 false 12.5  7.00 351391744
ldv-regression/test29_false-unreach-call_true-termination.c false 13.8  7.87 397987840 false 11.6  6.55 343842816 false 13.6  7.86 390406144 false 12.3  6.86 335798272
ldv-regression/test30_false-unreach-call_true-termination.c false 8.65 4.76 270942208 false 8.58 4.80 272916480 false 9.18 5.00 263905280 false 8.19 4.81 262823936
ldv-regression/test01_true-unreach-call_true-termination.c true 9.85 5.46 266584064 true 8.81 4.93 266940416 true 9.67 5.39 260423680 true 9.39 5.21 268804096
ldv-regression/test03_true-unreach-call_true-termination.c true 11.7  6.55 316837888 true 10.3  5.79 281530368 true 11.4  6.40 315043840 true 10.6  5.94 285171712
ldv-regression/test04_true-unreach-call_true-termination.c true 11.8  6.66 331948032 true 11.0  6.09 293384192 true 12.3  6.90 337125376 true 10.8  6.03 311828480
ldv-regression/test05_true-unreach-call_true-termination.c true 18.4  11.4  608714752 true 13.6  8.13 476160000 true 18.4  11.5  598552576 true 14.0  8.15 468742144
ldv-regression/test07_true-unreach-call_true-termination.c error: exception 7.43 3.96 234905600 true 13.5  7.80 433672192 error: exception 6.84 3.88 234287104 true 13.5  7.82 434626560
ldv-regression/test09_true-unreach-call_true-termination.c error: exception 6.54 3.71 243744768 true 13.1  7.49 426557440 error: exception 7.39 4.13 250482688 true 13.2  7.62 433713152
ldv-regression/test10_true-unreach-call_true-termination.c true 49.5  40.5  1316147200 true 13.6  8.04 475160576 true 52.9  43.6  1191243776 true 14.6  8.43 467079168
ldv-regression/test11_true-unreach-call_true-termination.c true 22.5  15.6  802463744 true 12.8  7.26 378896384 true 22.4  15.3  795656192 true 13.1  7.40 377561088
ldv-regression/test13_true-unreach-call_true-termination.c true 10.8  6.12 316391424 true 10.7  5.97 283758592 true 10.7  6.08 314908672 true 10.5  5.85 286224384
ldv-regression/test14_true-unreach-call_true-termination.c true 15.2  8.94 489811968 true 12.5  7.01 340561920 true 15.2  9.00 499003392 true 12.6  7.05 339824640
ldv-regression/test15_true-unreach-call_true-termination.c true 13.2  7.44 348446720 true 10.4  5.87 285339648 true 13.7  7.66 368553984 true 10.9  6.09 281681920
ldv-regression/test16_true-unreach-call_true-termination.c true 13.7  7.91 416350208 true 12.0  6.72 332279808 true 14.0  8.05 406425600 true 10.9  6.17 332017664
ldv-regression/test17_true-unreach-call_true-termination.c true 9.89 5.58 278781952 true 9.83 5.49 273825792 true 9.94 5.56 284606464 true 10.4  5.73 270479360
ldv-regression/test18_true-unreach-call_true-termination.c true 18.7  12.6  564305920 true 12.0  6.86 364318720 true 18.6  12.3  576872448 true 12.4  7.09 369487872
ldv-regression/test19_true-unreach-call_true-termination.c true 29.5  22.0  847298560 true 11.4  6.45 339562496 true 28.1  20.2  857600000 true 11.3  6.47 340070400
ldv-regression/test20_true-unreach-call_true-termination.c true 10.4  5.86 286437376 true 9.65 5.47 278331392 true 10.4  5.82 288677888 true 10.2  5.63 274677760
ldv-regression/test21_true-unreach-call_true-termination.c true 24.9  16.6  825184256 true 12.7  7.31 430858240 true 23.9  16.2  819163136 true 13.0  7.57 421842944
ldv-regression/test22_true-unreach-call.c timeout 121    108    1178673152 true 40.9  28.2  1160454144 timeout 121    108    1217798144 true 39.8  27.7  1158520832
ldv-regression/test23_true-unreach-call.c timeout 121    111    857604096 error: exception 50.7  34.3  1139064832 error: exception 7.65 4.31 257843200 timeout 121    107    1198276608
ldv-regression/test24_true-unreach-call_true-termination.c true 43.3  33.7  852537344 error: exception 17.1  10.3  637313024 true 43.3  33.4  856424448 error: exception 17.2  10.3  636432384
ldv-regression/test25_true-unreach-call.c true 74.1  64.2  880230400 true 81.5  71.3  830779392 true 82.8  71.8  861634560 true 88.2  77.3  848891904
ldv-regression/test26_true-unreach-call_true-termination.c true 15.1  8.65 422637568 true 12.2  7.04 369000448 true 14.3  8.32 425332736 true 12.5  7.37 370225152
ldv-regression/test27_true-unreach-call_true-termination.c timeout 121    108    1275498496 true 101    83.6  1422348288 timeout 121    108    1318891520 true 105    86.9  1445642240
ldv-regression/test28_true-unreach-call_true-termination.c true 12.9  7.44 373436416 true 13.5  7.70 405549056 true 13.0  7.35 380698624 true 13.0  7.36 404135936
ldv-regression/test29_true-unreach-call_true-termination.c true 13.4  7.54 368590848 true 13.1  7.38 388988928 true 12.8  7.37 379240448 true 12.9  7.38 380833792
ldv-regression/test30_true-unreach-call_true-termination.c true 23.2  16.1  818429952 true 14.0  8.47 554733568 true 24.2  17.2  816414720 true 15.1  9.08 583348224
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 8.70 4.55 246341632 unknown 8.60 4.52 245837824 unknown 8.85 4.82 250261504 unknown 8.70 4.59 251342848
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 9.34 4.86 255426560 unknown 8.60 4.59 242073600 unknown 8.43 4.43 242692096 unknown 8.65 4.59 250806272
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 8.97 4.69 249470976 unknown 8.64 4.59 256167936 unknown 9.17 4.79 252350464 unknown 8.79 4.66 254275584
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 7.75 4.14 245157888 unknown 9.12 4.81 251924480 unknown 8.99 4.70 246767616 unknown 9.29 4.88 257413120
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 8.16 4.38 249851904 unknown 9.15 4.80 246837248 unknown 8.94 4.69 249761792 unknown 8.64 4.56 244301824
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 9.09 4.73 246312960 unknown 9.13 4.79 247418880 unknown 8.83 4.64 247078912 unknown 8.51 4.53 248266752
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 8.96 4.66 250642432 unknown 8.85 4.67 245678080 unknown 8.95 4.68 254058496 unknown 8.43 4.51 250298368
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 8.49 4.47 244375552 unknown 8.60 4.48 248614912 unknown 8.58 4.48 249712640 unknown 8.37 4.45 244600832
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 8.20 4.39 245571584 unknown 8.89 4.69 244584448 unknown 9.24 4.83 251056128 unknown 8.90 4.67 246362112
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 9.15 4.81 245026816 unknown 8.53 4.48 250032128 unknown 8.71 4.59 252899328 unknown 8.53 4.55 245530624
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 8.46 4.43 244494336 unknown 8.66 4.51 243601408 unknown 9.18 4.82 253689856 unknown 8.85 4.69 244989952
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 9.32 4.88 253825024 unknown 8.56 4.53 251944960 unknown 9.11 4.81 258482176 unknown 9.38 4.93 251756544
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 8.54 4.50 241606656 unknown 8.69 4.57 247701504 unknown 9.19 4.80 247554048 unknown 7.69 4.12 240291840
forester-heap/dll-01_false-unreach-call_false-valid-memcleanup.i false 56.3  40.9  1275195392 error: exception 29.9  18.5  836317184 false 57.6  41.1  1021489152 error: exception 30.1  18.7  838508544
forester-heap/dll-circular_false-unreach-call_false-valid-memcleanup.i false 16.6  9.70 504963072 false 14.6  8.08 396005376 false 17.3  9.88 506683392 false 14.1  7.87 392605696
forester-heap/dll-optional_false-unreach-call_false-valid-memcleanup.i false 13.8  7.43 363761664 false 12.5  6.88 339951616 false 13.1  7.10 369733632 false 12.1  6.68 341909504
forester-heap/dll-queue_false-unreach-call_false-valid-memcleanup.i timeout 121    105    1420767232 timeout 120    93.1  1782194176 timeout 120    104    1424973824 timeout 120    94.4  1665576960
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false 86.0  75.7  1181315072 false 23.9  14.6  847847424 false 82.3  71.5  1126903808 false 24.4  14.8  830660608
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i error: exception 81.3  70.5  1260392448 false 69.5  51.0  1413021696 error: exception 86.3  75.6  1165328384 false 65.8  47.5  1370025984
forester-heap/dll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i false 13.7  7.40 369082368 false 13.3  7.28 347705344 false 13.4  7.38 377679872 false 11.7  6.59 349659136
forester-heap/dll-sorted_false-unreach-call_false-valid-memcleanup.i false 17.0  10.2  553218048 false 16.5  9.82 639168512 false 18.0  10.7  557330432 false 16.2  9.51 617099264
forester-heap/dll-token_false-unreach-call_false-valid-memcleanup.i false 24.9  16.7  732749824 false 17.2  10.2  623194112 false 24.8  16.5  725860352 false 17.0  10.0  621740032
forester-heap/sll-01_false-unreach-call_false-valid-deref.i timeout 120    95.6  1355612160 error: exception 30.5  18.9  841089024 timeout 120    95.1  1327910912 error: exception 30.7  19.0  838885376
forester-heap/sll-buckets_false-unreach-call_false-valid-memcleanup.i timeout 121    108    1543897088 error: exception 18.7  11.1  692830208 timeout 121    108    1691467776 error: exception 19.4  11.5  695545856
forester-heap/sll-circular_false-unreach-call_false-valid-memcleanup.i false 16.6  9.44 490790912 false 14.1  7.91 394612736 false 16.5  9.35 494989312 false 13.0  7.43 394854400
forester-heap/sll-optional_false-unreach-call_false-valid-memcleanup.i false 13.3  7.26 369971200 false 12.6  6.90 343216128 false 13.0  7.12 369836032 false 12.4  6.80 338518016
forester-heap/sll-queue_false-unreach-call_false-valid-memcleanup.i timeout 121    104    1527517184 error: exception 119    88.8  1482215424 timeout 121    103    1559441408 timeout 122    90.6  1500418048
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false 42.5  33.1  871301120 false 22.6  14.0  831246336 false 39.9  30.7  848375808 false 23.4  14.3  816951296
forester-heap/sll-rb-sentinel_false-unreach-call_false-valid-memcleanup.i timeout 121    107    1583636480 false 49.6  35.6  1337393152 timeout 121    108    1471197184 false 48.4  34.8  1358606336
forester-heap/sll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i false 14.0  7.63 371417088 false 12.1  6.73 343654400 false 13.8  7.59 369397760 false 12.4  6.92 346972160
forester-heap/sll-sorted_false-unreach-call_false-valid-memcleanup.i timeout 121    106    1392242688 error: exception 17.3  10.3  656994304 timeout 121    106    1348571136 error: exception 18.1  10.7  655527936
forester-heap/sll-token_false-unreach-call_false-valid-memcleanup.i false 16.1  9.15 489242624 false 14.9  8.43 451690496 false 17.4  9.76 490209280 false 14.5  8.32 457142272
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i timeout 120    94.1  1351884800 error: exception 30.6  18.8  853323776 timeout 120    91.5  1336090624 error: exception 29.7  18.5  842817536
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i timeout 121    109    1192910848 error: exception 14.4  8.22 443109376 timeout 121    109    1257353216 error: exception 14.1  8.04 440602624
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i timeout 121    108    1447325696 timeout 120    98.5  2332499968 timeout 121    109    1299611648 timeout 121    97.9  2299785216
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i timeout 121    105    1426092032 timeout 121    95.2  1466400768 timeout 121    104    1255002112 timeout 121    95.9  1533440000
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout 121    109    1362382848 error: exception 84.4  65.7  1304612864 timeout 121    109    1279041536 error: exception 81.5  64.4  1301655552
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i error: exception 76.2  65.1  1162317824 timeout 120    93.7  1664335872 error: exception 82.3  71.3  1151160320 timeout 120    94.2  1759232000
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i timeout 121    111    837197824 error: exception 33.0  21.5  962682880 timeout 120    111    839028736 error: exception 34.2  22.2  983826432
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i timeout 121    107    1766215680 error: exception 13.5  7.40 354643968 timeout 121    108    1712459776 error: exception 12.9  7.10 355487744
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i timeout 121    105    1407680512 error: exception 18.2  10.7  668557312 timeout 121    105    1338101760 error: exception 18.0  10.6  652419072
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i timeout 121    109    1883815936 error: exception 16.7  9.86 625283072 timeout 121    108    1724444672 error: exception 17.5  10.3  625647616
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i timeout 120    95.5  1366822912 error: exception 30.6  19.0  856092672 timeout 120    95.9  1351614464 error: exception 30.3  18.6  858521600
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i timeout 121    108    1623605248 error: exception 18.5  11.0  684326912 timeout 121    108    1082101760 error: exception 18.5  11.0  689594368
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i timeout 121    109    1229557760 error: exception 14.2  8.23 438706176 timeout 121    110    1193480192 error: exception 14.7  8.40 449142784
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i timeout 121    108    1352929280 error: exception 120    98.5  2283704320 timeout 121    107    1328128000 timeout 122    100    2282106880
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i timeout 121    102    1424453632 timeout (error: exception) 121    89.7  1577119744 timeout 121    104    1596592128 timeout 120    89.3  1484816384
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout 121    106    1399615488 error: exception 25.9  15.9  840916992 timeout 121    107    1370066944 error: exception 26.3  16.0  816177152
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout 121    107    1524027392 timeout 121    96.0  2015817728 timeout 121    107    1587970048 timeout 121    95.5  1811611648
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i timeout 121    105    1201311744 error: exception 31.0  19.8  886759424 timeout 121    105    1215901696 error: exception 29.4  18.8  875499520
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i timeout 121    107    1707515904 error: exception 12.8  7.08 353296384 timeout 121    107    2114871296 error: exception 12.7  7.03 347308032
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i timeout 121    105    1395113984 error: exception 16.4  9.59 572182528 timeout 121    106    1421017088 error: exception 17.1  9.97 569606144
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i timeout 121    110    1185755136 error: exception 16.5  9.77 620126208 timeout 121    110    1219760128 error: exception 17.7  10.4  606265344
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i false 13.1  7.17 365637632 false 12.7  7.04 341700608 false 13.6  7.36 365174784 false 12.5  6.82 346517504
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i timeout 121    105    1141571584 error: exception 20.7  12.6  810737664 timeout 120    103    1183641600 error: exception 19.7  12.1  788946944
list-ext-properties/simple-ext_false-unreach-call_false-valid-memcleanup_true-termination.i false 11.9  6.48 346853376 false 12.3  6.70 328921088 false 12.5  6.85 348602368 false 11.1  6.16 323076096
list-ext2-properties/list_and_tree_cnstr_false-unreach-call_false-termination.i timeout 121    104    1953308672 error: exception 28.8  18.0  856375296 timeout 121    104    1864556544 error: exception 30.0  18.4  855158784
list-ext2-properties/list_and_tree_cnstr_true-unreach-call_false-termination.i timeout 121    102    1870225408 error: exception 29.1  18.2  852434944 timeout 121    100    1224712192 error: exception 30.0  18.5  849408000
list-ext2-properties/simple_and_skiplist_2lvl_false-unreach-call.i false 17.3  9.66 479748096 false 16.6  9.69 550957056 false 18.2  10.1  477048832 false 17.1  9.91 552865792
list-ext2-properties/simple_and_skiplist_2lvl_true-unreach-call.i timeout 121    105    1754906624 error: exception 20.6  12.3  744534016 timeout 121    106    1974530048 error: exception 20.9  12.5  757661696
list-ext2-properties/simple_search_value_false-unreach-call.i timeout 120    101    2327580672 error: exception 110    86.6  3098656768 timeout 120    101    2306322432 error: exception 108    85.4  2955436032
list-ext2-properties/simple_search_value_true-unreach-call.i error: exception 54.5  42.7  2287124480 timeout 120    94.3  1777360896 timeout 121    102    2015956992 timeout 121    92.2  1613996032
ldv-sets/test_add_false-unreach-call_true-termination.i unknown 6.76 3.68 231600128 unknown 7.24 3.82 230760448 unknown 7.02 3.70 222343168 unknown 7.54 3.96 233603072
ldv-sets/test_mutex_double_lock_false-unreach-call_true-termination.i unknown 7.43 3.91 228323328 unknown 6.97 3.73 229580800 unknown 7.61 4.00 232701952 unknown 6.57 3.57 227672064
ldv-sets/test_mutex_double_unlock_false-unreach-call.i unknown 7.47 3.94 234168320 unknown 7.05 3.76 227131392 unknown 7.03 3.78 228040704 unknown 7.25 3.83 228917248
ldv-sets/test_mutex_unbounded_false-unreach-call.i unknown 7.64 4.02 229683200 unknown 7.44 3.91 224477184 unknown 7.57 4.02 231190528 unknown 7.24 3.83 230039552
ldv-sets/test_mutex_unlock_at_exit_false-unreach-call.i unknown 7.51 3.97 228708352 unknown 7.08 3.80 226295808 unknown 7.24 3.81 231333888 unknown 7.30 3.86 223272960
ldv-sets/test_add_true-unreach-call_true-termination.i unknown 6.91 3.70 228110336 unknown 7.10 3.79 232513536 unknown 7.32 3.88 223469568 unknown 7.48 3.94 234442752
ldv-sets/test_mutex_true-unreach-call.i unknown 7.23 3.81 226742272 unknown 6.96 3.66 226361344 unknown 6.85 3.67 224989184 unknown 7.33 3.86 234926080
ldv-sets/test_mutex_unbounded_true-unreach-call.i unknown 7.34 3.89 241721344 unknown 7.50 3.95 229343232 unknown 7.18 3.83 229486592 unknown 7.10 3.74 226566144
list-simple/dll2c_append_equal_true-unreach-call_true-valid-memsafety.i timeout 121    111    1183010816 error: exception 53.9  43.1  927416320 timeout 121    110    1156468736 error: exception 38.7  27.6  890675200
list-simple/dll2c_append_unequal_true-unreach-call_true-valid-memsafety.i timeout 121    111    867106816 error: exception 72.4  60.3  995729408 timeout 121    111    863780864 error: exception 65.2  53.2  1028235264
list-simple/dll2c_insert_equal_true-unreach-call_true-valid-memsafety.i timeout 120    111    934293504 error: exception 20.0  11.8  761528320 timeout 120    111    908726272 error: exception 20.1  11.8  782950400
list-simple/dll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i timeout 121    110    878649344 error: exception 20.4  12.0  763027456 timeout 120    110    893313024 error: exception 21.5  12.6  817324032
list-simple/dll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i timeout 120    112    908066816 error: exception 19.6  11.9  801222656 timeout 120    112    957198336 error: exception 19.8  11.7  756899840
list-simple/dll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i timeout 121    110    1729425408 error: exception 46.3  34.5  1016483840 timeout 121    110    1711230976 error: exception 46.4  34.5  1018691584
list-simple/dll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 121    105    1353252864 timeout 121    110    991518720 timeout 121    105    1302872064 timeout 121    109    963231744
list-simple/dll2c_remove_all_true-unreach-call_true-valid-memsafety.i timeout 121    106    1348108288 error: exception 24.0  14.5  804212736 timeout 121    105    1388466176 timeout 121    107    1445556224
list-simple/dll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i error: exception 36.6  26.7  928534528 error: exception 24.1  14.5  835231744 error: exception 38.8  27.8  928882688 error: exception 24.1  14.4  833396736
list-simple/dll2c_update_all_true-unreach-call_true-valid-memsafety.i timeout 121    108    1137135616 error: exception 26.8  15.8  800485376 timeout 121    108    1139888128 error: exception 25.8  15.3  837218304
list-simple/dll2n_append_equal_true-unreach-call_true-valid-memsafety.i timeout 121    109    1058287616 timeout 121    109    1041739776 timeout 121    108    1059155968 timeout 121    106    1205874688
list-simple/dll2n_append_unequal_true-unreach-call_true-valid-memsafety.i timeout 121    110    866652160 timeout 121    110    893526016 timeout 121    110    885841920 timeout 121    109    904134656
list-simple/dll2n_insert_equal_true-unreach-call_true-valid-memsafety.i timeout 121    106    1743794176 timeout 120    104    1422614528 timeout 121    106    1720172544 timeout 121    106    1368109056
list-simple/dll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i timeout 121    109    1117954048 timeout 120    106    1388888064 timeout 121    110    1160396800 timeout 121    107    1384681472
list-simple/dll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i error: exception 99.2  86.4  1129787392 error: exception 40.0  28.7  883953664 error: exception 96.2  83.0  1083547648 error: exception 37.3  26.4  876421120
list-simple/dll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i error: exception 63.1  53.1  872628224 timeout 121    108    1046917120 timeout 121    109    933359616 timeout 121    108    1039826944
list-simple/dll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 120    105    1501954048 error: exception 69.7  55.2  1226735616 timeout 121    105    1462464512 error: exception 98.5  83.6  1258119168
list-simple/dll2n_remove_all_true-unreach-call_true-valid-memsafety.i timeout 121    107    1576124416 error: exception 22.1  12.9  744620032 timeout 121    108    1384116224 error: exception 25.8  15.9  846315520
list-simple/dll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i true 21.1  13.0  744767488 true 13.9  7.81 429338624 true 20.9  12.9  763744256 true 13.9  7.96 428068864
list-simple/dll2n_update_all_true-unreach-call_true-valid-memsafety.i timeout 121    107    1144975360 error: exception 27.1  16.3  830054400 timeout 120    107    1152819200 error: exception 25.8  15.5  834469888
list-simple/sll2c_append_equal_true-unreach-call_true-valid-memsafety.i timeout 121    109    1121353728 timeout 121    107    1214820352 timeout 121    110    1098149888 timeout 121    104    1350750208
list-simple/sll2c_append_unequal_true-unreach-call_true-valid-memsafety.i timeout 120    111    872361984 timeout 121    106    1226661888 timeout 121    110    884678656 timeout 120    105    1163575296
list-simple/sll2c_insert_equal_true-unreach-call_true-valid-memsafety.i timeout 121    108    1076256768 timeout 121    108    1184161792 timeout 121    109    1053810688 timeout 121    108    1084080128
list-simple/sll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i timeout 121    109    1075933184 timeout 121    109    1051213824 timeout 121    108    1054834688 timeout 121    109    1048760320
list-simple/sll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i timeout 121    110    1924775936 error: exception 68.0  54.9  1422798848 timeout 121    109    1966157824 timeout 120    103    1637138432
list-simple/sll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i timeout 121    109    1915559936 timeout 121    100    1776885760 timeout 121    110    1784328192 timeout 121    103    1637699584
list-simple/sll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 121    106    1503232000 true 66.8  48.4  1653243904 timeout 121    106    1678176256 true 68.9  49.3  1676767232
list-simple/sll2c_remove_all_true-unreach-call_true-valid-memsafety.i timeout 121    107    1163669504 error: exception 25.2  15.4  828145664 timeout 121    106    1176223744 timeout 121    107    1022291968
list-simple/sll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i error: exception 26.5  16.8  825937920 error: exception 25.7  15.1  831684608 error: exception 25.4  16.5  828403712 error: exception 26.4  15.5  863797248
list-simple/sll2c_update_all_true-unreach-call_true-valid-memsafety.i timeout 121    107    1185861632 error: exception 24.4  14.7  814944256 timeout 121    107    1185792000 error: exception 25.2  15.1  832692224
list-simple/sll2n_append_equal_true-unreach-call_true-valid-memsafety.i timeout 121    111    895033344 timeout 121    109    876531712 timeout 121    111    912707584 timeout 121    108    1069666304
list-simple/sll2n_append_unequal_true-unreach-call_true-valid-memsafety.i timeout 121    110    850300928 timeout 121    109    884674560 timeout 121    110    851640320 error: exception 111    99.6  892542976
list-simple/sll2n_insert_equal_true-unreach-call_true-valid-memsafety.i timeout 121    109    995934208 error: exception 50.7  39.8  1054130176 timeout 121    110    1049534464 error: exception 46.0  35.8  880689152
list-simple/sll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i timeout 121    108    1066328064 timeout 121    107    1050980352 timeout 121    109    1055711232 timeout 121    108    1059266560
list-simple/sll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i timeout 121    108    1515855872 timeout 121    106    1502208000 timeout 121    108    1538904064 timeout 121    104    1458958336
list-simple/sll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i timeout 121    108    1507545088 timeout 121    110    951054336 timeout 121    109    1559629824 timeout 121    109    938221568
list-simple/sll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 121    108    1345007616 timeout 121    109    1052844032 timeout 121    107    1365659648 error: exception 54.2  39.8  1295634432
list-simple/sll2n_remove_all_true-unreach-call_true-valid-memsafety.i true 114    99.6  1406849024 true 60.8  47.2  1534275584 true 113    99.0  1313763328 true 60.4  46.9  1482244096
list-simple/sll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i error: exception 27.2  18.0  844693504 error: exception 22.9  13.7  827260928 error: exception 27.3  17.9  832208896 error: exception 23.2  13.9  837083136
list-simple/sll2n_update_all_true-unreach-call_true-valid-memsafety.i timeout 121    109    1033285632 error: exception 24.5  14.9  818040832 timeout 121    109    1014509568 error: exception 25.2  15.3  814813184
heap-data/calendar_true-unreach-call.i timeout 121    105    1190232064 error: exception 13.1  7.38 364408832 timeout 121    104    1306845184 error: exception 13.2  7.39 372154368
heap-data/cart_true-unreach-call.i timeout 121    108    1068236800 error: exception 15.0  8.66 483385344 timeout 121    108    1020071936 error: exception 14.9  8.60 481566720
heap-data/hash_fun_true-unreach-call.i timeout 121    110    1073229824 timeout 121    104    1799303168 timeout 121    110    978579456 timeout 121    105    1485099008
heap-data/min_max_true-unreach-call.i timeout 121    105    1159249920 error: exception 12.9  7.16 376172544 timeout 121    105    1189298176 error: exception 12.8  7.18 364224512
heap-data/packet_filter_true-unreach-call.i timeout 121    109    1174966272 error: exception 54.8  43.3  988192768 timeout 121    108    1100558336 error: exception 55.9  44.0  1013460992
heap-data/process_queue_true-unreach-call.i timeout 121    108    1330278400 error: exception 17.7  10.7  684150784 timeout 121    108    1307439104 error: exception 19.2  11.4  685957120
heap-data/quick_sort_split_true-unreach-call.i true 14.8  8.39 455491584 true 14.2  8.00 424001536 true 15.6  8.79 453783552 true 14.3  8.06 418390016
heap-data/running_example_true-unreach-call.i timeout 121    106    1740468224 error: exception 25.0  16.0  826023936 timeout 121    106    1799483392 error: exception 26.3  16.7  821653504
heap-data/shared_mem1_true-unreach-call.i error: exception 8.59 4.76 270020608 error: exception 29.5  19.8  1191383040 error: exception 9.09 4.99 277053440 error: exception 28.9  19.6  1198870528
heap-data/shared_mem2_true-unreach-call.i error: exception 57.3  47.1  1228845056 timeout 121    108    2220138496 error: exception 59.0  49.0  1197834240 timeout 121    107    2334253056
list-ext3-properties/dll_nullified_false-unreach-call_false-valid-memcleanup.i false 40.5  29.0  1048174592 false 28.0  17.4  843980800 false 39.9  28.8  991789056 false 29.9  18.3  854327296
list-ext3-properties/sll_length_check_false-unreach-call_false-valid-memcleanup.i false 47.6  36.0  972242944 false 26.1  16.6  843714560 false 48.8  36.7  1181798400 false 26.0  16.7  828985344
list-ext3-properties/sll_nondet_insert_false-unreach-call_false-valid-memcleanup.i error: exception 96.6  82.2  1203167232 error: exception 78.6  67.0  2366726144 error: exception 96.3  81.0  1149734912 false 110    86.8  1473159168
list-ext3-properties/sll_of_sll_nondet_append_false-unreach-call_false-valid-memcleanup.i timeout 121    99.6  1414176768 timeout 121    101    1444474880 timeout 121    100    1652613120 timeout 121    101    1383563264
list-ext3-properties/dll_circular_traversal_true-unreach-call_true-valid-memsafety.i timeout 120    111    1094692864 error: exception 23.6  14.1  815357952 timeout 120    110    1090576384 error: exception 21.7  13.1  790102016
list-ext3-properties/dll_nullified_true-unreach-call_true-valid-memsafety.i timeout 120    103    1402384384 error: exception 29.5  18.5  837152768 timeout 121    105    1381826560 error: exception 31.4  19.4  849932288
list-ext3-properties/sll_circular_traversal_true-unreach-call_true-valid-memsafety.i error: exception 9.12 4.99 284708864 error: exception 22.3  13.5  800878592 error: exception 8.72 4.82 272506880 error: exception 22.4  13.8  814899200
list-ext3-properties/sll_length_check_true-unreach-call_true-valid-memsafety.i timeout 120    104    1188196352 timeout 121    105    1379356672 timeout 121    104    1207136256 timeout 121    103    1343356928
list-ext3-properties/sll_nondet_insert_true-unreach-call_true-valid-memsafety.i error: exception 93.9  77.8  1137672192 timeout 121    98.6  1519546368 error: exception 103    88.5  1192505344 timeout 121    100    1580519424
list-ext3-properties/sll_of_sll_nondet_append_true-unreach-call_true-valid-memsafety.i timeout 121    103    1301274624 timeout 121    86.8  1937797120 timeout 121    103    1273647104 timeout 120    89.1  1351327744
loops/array_false-unreach-call_true-termination.i false 10.7  5.92 316133376 false 11.1  6.24 298610688 false 10.5  5.89 323547136 false 11.9  6.57 293212160
loops/bubble_sort_false-unreach-call.i error: exception 9.25 5.16 281440256 false 23.2  13.7  860528640 error: exception 9.09 5.10 276705280 false 22.7  13.3  834695168
loops/count_up_down_false-unreach-call_true-termination.i false 8.97 5.04 258580480 false 8.90 4.95 261480448 false 8.85 4.95 265240576 false 8.54 4.75 267030528
loops/eureka_01_false-unreach-call_true-termination.i timeout 120    108    969035776 timeout 121    107    1011290112 error: exception 7.70 4.29 251736064 error: exception 35.2  22.0  926179328
loops/for_bounded_loop1_false-unreach-call_true-termination.i error: exception 7.01 3.97 244797440 false 14.2  8.33 465338368 error: exception 7.45 4.06 235347968 false 14.7  8.59 459239424
loops/insertion_sort_false-unreach-call_true-termination.i timeout 121    109    1031327744 error: exception 33.7  21.7  971202560 timeout 121    109    1049210880 error: exception 32.0  20.9  938508288
loops/invert_string_false-unreach-call_true-termination.i error: exception 34.4  27.8  830775296 false 43.4  30.7  1132179456 error: exception 33.9  27.4  847568896 false 45.0  31.5  1147027456
loops/linear_search_false-unreach-call.i timeout 121    106    1219117056 error: exception 14.7  8.36 410120192 timeout 121    106    1201631232 error: exception 14.9  8.37 409419776
loops/ludcmp_false-unreach-call.i timeout 121    109    3238191104 timeout 121    100    1992372224 error: exception 22.8  18.6  649478144 error: exception 6.15 3.28 199262208
loops/matrix_false-unreach-call_true-termination.i false 14.5  8.74 455192576 false 14.2  8.27 452853760 false 14.7  8.73 449630208 false 15.1  8.65 443002880
loops/n.c24_false-unreach-call.i error: exception 7.71 4.29 256659456 timeout 121    87.0  1470492672 error: exception 7.41 4.17 262619136 timeout 121    87.9  1547534336
loops/nec11_false-unreach-call_false-termination.i false 9.27 5.18 268857344 false 8.79 4.89 263172096 false 8.96 5.07 263266304 false 8.75 4.93 271196160
loops/nec20_false-unreach-call_true-termination.i false 12.4  7.03 360165376 false 10.8  6.06 289677312 false 12.1  6.82 366055424 false 10.6  6.02 291905536
loops/s3_false-unreach-call.i timeout 121    95.1  1151897600 timeout 120    84.7  1492279296 timeout 120    98.2  1184403456 timeout 121    89.5  1322409984
loops/string_false-unreach-call_true-termination.i error: exception 7.48 4.27 254808064 unknown: overapproxcex 20.7  12.3  778305536 error: exception 7.38 4.19 252628992 unknown: overapproxcex 20.6  12.4  817491968
loops/sum01_bug02_false-unreach-call_true-termination.i false 31.3  22.1  848957440 false 24.4  15.5  836390912 false 31.3  22.0  853606400 false 25.4  15.9  821063680
loops/sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.i false 24.8  17.7  808210432 false 20.9  12.7  730648576 false 24.9  17.7  809496576 false 19.5  11.8  727400448
loops/sum01_false-unreach-call_true-termination.i false 65.7  54.5  998445056 false 25.4  15.8  805826560 false 64.4  53.3  1007370240 false 25.7  15.9  817975296
loops/sum03_false-unreach-call_true-termination.i false 24.0  15.8  846233600 false 111    96.5  1117356032 false 24.2  15.8  844111872 false 115    101    1095090176
loops/sum04_false-unreach-call_true-termination.i false 14.6  8.80 493375488 false 14.4  8.65 530903040 false 15.1  8.96 492736512 false 14.9  8.85 512495616
loops/sum_array_false-unreach-call.i error: exception 7.76 4.37 255778816 false 14.1  7.84 382918656 error: exception 7.79 4.35 243785728 false 13.5  7.51 382791680
loops/terminator_01_false-unreach-call_true-termination.i false 9.53 5.27 277372928 false 9.86 5.42 264011776 false 9.82 5.45 267837440 false 9.19 5.20 271261696
loops/terminator_02_false-unreach-call_true-termination.i false 9.33 5.20 269606912 false 9.19 5.11 265596928 false 8.96 5.06 265535488 false 8.97 5.06 267960320
loops/terminator_03_false-unreach-call_true-termination.i false 9.97 5.67 275283968 false 10.1  5.73 279916544 false 10.0  5.58 293355520 false 9.99 5.61 279867392
loops/trex01_false-unreach-call_true-termination.i error: exception 6.84 3.88 227385344 false 10.3  5.69 274309120 error: exception 6.77 3.82 227184640 false 9.55 5.45 272908288
loops/trex02_false-unreach-call_true-termination.i false 9.48 5.25 271904768 false 9.32 5.19 270151680 false 9.34 5.27 273272832 false 9.21 5.15 269705216
loops/trex03_false-unreach-call_true-termination.i error: exception 7.31 4.09 231079936 false 9.11 5.13 269119488 error: exception 6.84 3.82 234762240 false 9.49 5.29 265707520
loops/verisec_NetBSD-libc__loop_false-unreach-call_true-termination.i false 17.4  10.6  584978432 false 15.7  9.28 539099136 false 16.9  10.3  591601664 false 16.2  9.49 543875072
loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call_true-termination.i error: exception 7.74 4.37 250441728 false 41.7  25.9  1006452736 error: exception 7.32 4.19 251199488 false 41.1  25.3  1002893312
loops/vogal_false-unreach-call.i timeout 120    96.0  1251840000 error: exception 12.9  7.34 375070720 error: exception 7.32 4.09 245166080 error: exception 13.0  7.39 379486208
loops/while_infinite_loop_4_false-unreach-call_true-termination.i false 9.10 5.13 282824704 false 9.14 5.16 277057536 false 8.84 5.06 271499264 false 8.96 5.05 267440128
loops/array_true-unreach-call_true-termination.i true 17.6  11.2  662581248 true 18.0  10.7  588931072 true 18.2  11.5  644648960 true 18.9  11.1  582680576
loops/bubble_sort_true-unreach-call_true-termination.i error: exception 7.28 4.14 256692224 true 9.46 5.28 267374592 error: exception 8.01 4.44 251445248 true 9.58 5.32 269414400
loops/count_up_down_true-unreach-call_true-termination.i timeout 121    107    1215451136 true 19.0  11.5  622280704 timeout 121    106    1173430272 true 20.3  12.0  616554496
loops/eureka_01_true-unreach-call.i timeout 121    110    1031921664 timeout 120    88.0  1415766016 error: exception 8.03 4.47 258015232 timeout 121    86.8  1446166528
loops/eureka_05_true-unreach-call_true-termination.i timeout 121    105    1319424000 timeout 121    96.9  1320652800 error: exception 6.97 3.93 227545088 timeout 121    97.5  1269248000
loops/for_infinite_loop_1_true-unreach-call_false-termination.i true 11.2  6.09 317296640 true 10.7  5.96 286236672 true 10.8  6.01 316891136 true 9.98 5.68 286285824
loops/for_infinite_loop_2_true-unreach-call_false-termination.i true 11.0  6.07 316080128 true 10.3  5.79 290508800 true 10.4  5.88 322158592 true 10.2  5.73 289918976
loops/insertion_sort_true-unreach-call_true-termination.i timeout 121    111    892145664 error: exception 30.7  19.7  899907584 timeout 121    111    895033344 error: exception 28.6  18.9  900575232
loops/invert_string_true-unreach-call_true-termination.i timeout 121    109    1053134848 error: exception 39.5  25.8  977428480 timeout 121    109    1063714816 error: exception 35.8  24.1  989253632
loops/linear_sea.ch_true-unreach-call.i timeout 121    107    1130795008 error: exception 17.5  10.2  540065792 timeout 121    106    1194631168 error: exception 20.3  11.5  553697280
loops/lu.cmp_true-unreach-call.i timeout 121    109    3233038336 timeout 120    99.0  2032283648 error: exception 22.2  17.7  614416384 error: exception 6.11 3.26 199692288
loops/matrix_true-unreach-call_true-termination.i error: exception 12.7  7.59 390225920 error: exception 17.8  12.2  593678336 error: exception 12.6  7.55 395583488 error: exception 15.9  10.3  456470528
loops/n.c11_true-unreach-call_false-termination.i true 12.9  7.53 389419008 true 19.3  11.6  674422784 true 13.1  7.62 387633152 true 18.4  11.3  669724672
loops/n.c40_true-unreach-call_true-termination.i timeout 120    113    623132672 timeout 120    112    671125504 error: exception 7.26 4.01 225026048 true 12.4  6.96 350539776
loops/nec40_true-unreach-call_true-termination.i timeout 120    113    650747904 timeout 120    112    676745216 error: exception 6.93 3.85 229638144 true 13.0  7.33 371740672
loops/string_true-unreach-call_true-termination.i error: exception 7.68 4.31 247017472 true 21.6  13.2  776011776 error: exception 8.18 4.53 255606784 true 21.8  13.4  796184576
loops/sum01_true-unreach-call_true-termination.i timeout 121    107    1118871552 true 17.2  10.7  668737536 timeout 121    107    1130188800 true 17.0  10.4  657379328
loops/sum03_true-unreach-call_false-termination.i true 14.4  8.58 424280064 true 10.4  5.85 278798336 true 14.4  8.46 419119104 true 10.2  5.82 272252928
loops/sum04_true-unreach-call_true-termination.i true 20.2  13.1  819666944 true 22.7  14.0  802938880 true 20.6  13.3  819720192 true 21.8  13.4  775417856
loops/sum_array_true-unreach-call.i error: exception 15.8  9.84 542826496 error: exception 20.1  11.6  600690688 error: exception 15.3  9.54 543653888 error: exception 19.2  11.2  614195200
loops/terminator_02_true-unreach-call_true-termination.i true 12.9  7.34 367644672 true 12.7  7.22 365547520 true 12.7  7.28 374153216 true 12.1  6.94 371290112
loops/terminator_03_true-unreach-call_true-termination.i true 12.2  6.86 340680704 true 11.3  6.39 327024640 true 11.6  6.65 334585856 true 11.8  6.58 324222976
loops/trex01_true-unreach-call_true-termination.i error: exception 7.13 4.01 241385472 true 11.5  6.53 318566400 error: exception 7.20 4.08 243228672 true 11.3  6.39 321495040
loops/trex02_true-unreach-call_true-termination.i true 11.7  6.57 331755520 true 10.3  5.85 309665792 true 11.3  6.34 327659520 true 10.9  6.18 311189504
loops/trex03_true-unreach-call_true-termination.i error: exception 6.86 3.84 229306368 true 11.0  6.14 286257152 error: exception 7.30 4.05 238485504 true 10.1  5.79 291786752
loops/trex04_true-unreach-call_false-termination.i error: exception 7.36 4.10 245055488 true 11.9  6.63 322748416 error: exception 7.47 4.15 262393856 true 11.4  6.32 330481664
loops/veris.c_NetBSD-libc__loop_true-unreach-call_true-termination.i true 20.3  13.0  756666368 true 15.8  9.47 567357440 true 19.4  12.6  763023360 true 15.8  9.47 564527104
loops/veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call_true-termination.i error: exception 7.89 4.43 258306048 true 15.2  8.89 516431872 error: exception 8.10 4.51 256974848 true 14.6  8.60 518053888
loops/veris.c_sendmail__tTflag_arr_one_loop_true-unreach-call_true-termination.i true 10.9  6.12 342114304 true 10.1  5.78 292286464 true 11.4  6.68 332345344 true 10.9  6.16 299024384
loops/vogal_true-unreach-call.i timeout 121    99.6  1305530368 error: exception 12.2  7.03 370421760 error: exception 7.63 4.26 246312960 error: exception 13.2  7.54 382779392
loops/while_infinite_loop_1_true-unreach-call_false-termination.i true 10.1  5.75 296050688 true 10.1  5.74 291483648 true 10.0  5.60 295514112 true 10.2  5.58 281456640
loops/while_infinite_loop_2_true-unreach-call_false-termination.i true 10.2  5.78 292163584 true 10.2  5.80 279576576 true 10.1  5.73 290283520 true 9.78 5.50 277041152
loops/while_infinite_loop_3_true-unreach-call_false-termination.i true 10.6  6.08 325591040 true 11.9  6.59 308932608 true 11.2  6.35 332398592 true 11.2  6.34 312885248
loop-acceleration/array_false-unreach-call1_true-termination.i timeout 121    111    1145774080 timeout 121    91.2  1261654016 timeout 120    111    1139630080 timeout 121    86.6  1310109696
loop-acceleration/array_false-unreach-call2_true-termination.i timeout 120    111    1208328192 timeout 120    87.3  1395236864 timeout 121    110    1222225920 timeout 121    88.6  1368674304
loop-acceleration/array_false-unreach-call3_true-termination.i timeout 121    106    1214992384 timeout 121    83.2  1437687808 timeout 121    105    1216937984 timeout 120    83.7  1404030976
loop-acceleration/const_false-unreach-call1.i timeout 121    107    1241149440 timeout 121    96.8  1164988416 timeout 121    107    1187864576 timeout 121    97.2  1282007040
loop-acceleration/diamond_false-unreach-call1.i timeout 121    100    1242968064 timeout 121    88.8  1312858112 timeout 120    99.5  1273217024 timeout 120    85.8  1282703360
loop-acceleration/functions_false-unreach-call1_true-termination.i timeout 120    102    1396523008 timeout 121    106    1138155520 timeout 121    104    1378357248 timeout 121    105    1109000192
loop-acceleration/multivar_false-unreach-call1_true-termination.i false 8.86 5.04 267644928 false 8.81 4.96 269611008 false 8.96 5.00 266563584 false 8.90 4.97 266870784
loop-acceleration/nested_false-unreach-call1.i timeout 120    103    1403285504 timeout 121    88.5  1448779776 timeout 121    103    1408983040 timeout 120    88.8  1434054656
loop-acceleration/phases_false-unreach-call1.i timeout 120    102    1226305536 timeout 122    97.6  1177493504 timeout 120    102    1230159872 timeout 121    97.3  1170550784
loop-acceleration/phases_false-unreach-call2_false-termination.i false 9.75 5.47 270299136 false 9.24 5.06 262447104 false 9.29 5.22 273985536 false 9.10 5.11 267563008
loop-acceleration/simple_false-unreach-call1.i timeout 121    107    1196748800 timeout 121    108    961105920 timeout 121    107    1236697088 timeout 121    108    994676736
loop-acceleration/simple_false-unreach-call2_true-termination.i false 9.00 5.08 261799936 false 8.41 4.74 265216000 false 8.88 5.00 267001856 false 8.85 4.91 262565888
loop-acceleration/simple_false-unreach-call3_true-termination.i false 9.49 5.25 265424896 false 8.84 4.87 266821632 false 8.93 5.02 259973120 false 8.79 4.96 265469952
loop-acceleration/simple_false-unreach-call4.i timeout 121    108    1204936704 timeout 121    105    1099419648 timeout 121    108    1241669632 timeout 121    103    1142685696
loop-acceleration/underapprox_false-unreach-call1_true-termination.i false 12.8  7.47 417574912 false 17.0  10.1  606334976 false 12.7  7.62 429813760 false 17.7  10.5  610873344
loop-acceleration/underapprox_false-unreach-call2_true-termination.i false 13.8  8.08 421060608 false 17.1  10.2  607162368 false 13.1  7.80 428945408 false 17.6  10.4  613658624
loop-acceleration/array_true-unreach-call1_true-termination.i true 26.1  19.2  634785792 true 20.2  13.6  558813184 true 26.6  19.7  634908672 true 19.1  13.0  554500096
loop-acceleration/array_true-unreach-call2_true-termination.i timeout 120    111    1185255424 timeout 121    88.4  1348894720 timeout 121    111    1191845888 timeout 121    89.2  1287012352
loop-acceleration/array_true-unreach-call3_true-termination.i true 29.7  21.0  871202816 true 19.8  11.9  738234368 true 30.2  21.1  833581056 true 18.7  11.4  746823680
loop-acceleration/array_true-unreach-call4_true-termination.i timeout 121    109    1208369152 timeout 121    85.0  1355743232 timeout 121    108    1233940480 timeout 120    83.3  1395867648
loop-acceleration/const_true-unreach-call1.i true 11.1  6.28 327888896 true 14.0  8.25 454979584 true 12.0  6.69 325910528 true 13.9  8.17 455393280
loop-acceleration/diamond_true-unreach-call1_true-termination.i timeout 121    104    1248690176 timeout 121    96.3  1203798016 timeout 121    104    1230888960 timeout 121    94.4  1238437888
loop-acceleration/diamond_true-unreach-call2.i true 32.3  22.8  823685120 timeout 121    110    877850624 true 31.0  22.3  841646080 timeout 121    110    857288704
loop-acceleration/functions_true-unreach-call1_true-termination.i timeout 121    104    1343131648 timeout 121    105    1142325248 timeout 121    103    1285238784 timeout 120    106    1138003968
loop-acceleration/multivar_true-unreach-call1_true-termination.i true 10.0  5.70 299397120 true 10.4  5.81 286658560 true 9.92 5.63 287752192 true 9.85 5.53 270639104
loop-acceleration/nested_true-unreach-call1.i true 37.4  25.0  1032790016 true 36.2  28.1  766636032 true 37.0  24.9  1019138048 true 47.7  38.7  766271488
loop-acceleration/overflow_true-unreach-call1.i timeout 121    107    1175252992 timeout 121    107    1005539328 timeout 121    108    1172303872 timeout 121    107    992649216
loop-acceleration/phases_true-unreach-call1.i timeout 120    103    1362944000 timeout 121    102    1112973312 timeout 120    101    1319878656 timeout 121    101    1134555136
loop-acceleration/phases_true-unreach-call2_false-termination.i true 12.9  7.55 372416512 true 29.2  22.8  478666752 true 12.4  7.39 365985792 true 30.6  24.5  483581952
loop-acceleration/simple_true-unreach-call1.i timeout 121    107    1283465216 timeout 121    109    903897088 timeout 121    107    1235881984 timeout 121    109    933371904
loop-acceleration/simple_true-unreach-call2_true-termination.i true 9.97 5.70 294498304 true 10.2  5.67 281157632 true 10.4  5.79 288215040 true 9.56 5.42 273936384
loop-acceleration/simple_true-unreach-call3_true-termination.i true 12.9  7.31 372588544 true 12.6  8.01 304869376 true 12.4  7.09 363872256 true 13.0  8.21 309878784
loop-acceleration/simple_true-unreach-call4.i true 12.4  7.11 370704384 true 47.1  40.7  461815808 true 12.3  7.05 368545792 true 46.9  40.6  475529216
loop-acceleration/underapprox_true-unreach-call1_true-termination.i true 70.3  63.5  833040384 true 42.2  31.9  807387136 true 68.2  61.2  829771776 true 38.9  27.5  798298112
loop-acceleration/underapprox_true-unreach-call2_true-termination.i true 14.1  8.34 463417344 true 14.4  8.47 479621120 true 13.7  8.19 454262784 true 14.6  8.56 459849728
loop-crafted/simple_array_index_value_false-unreach-call1_false-termination.i false 9.71 5.37 275804160 false 9.62 5.36 265441280 false 9.90 5.49 281698304 false 9.63 5.35 262668288
loop-crafted/simple_array_index_value_true-unreach-call1_true-termination.i timeout 121    103    1267687424 error: exception 16.0  10.7  343523328 timeout 121    103    1258913792 error: exception 15.8  10.6  351318016
loop-crafted/simple_array_index_value_true-unreach-call2_true-termination.i timeout 121    103    1274667008 error: exception 11.8  6.59 320737280 timeout 121    103    1222799360 error: exception 11.6  6.46 316588032
loop-crafted/simple_array_index_value_true-unreach-call3_true-termination.i timeout 121    103    1294659584 error: exception 11.2  6.29 329416704 timeout 121    103    1252237312 error: exception 11.3  6.34 318009344
loop-crafted/simple_array_index_value_true-unreach-call4_true-termination.i true 35.3  28.5  657633280 true 45.4  36.8  748924928 true 35.2  28.2  667185152 true 36.7  28.3  745910272
loop-crafted/simple_vardep_true-unreach-call1_true-termination.i true 18.7  12.5  411320320 true 10.8  6.04 288600064 true 18.9  12.8  427532288 true 10.4  5.85 276692992
loop-crafted/simple_vardep_true-unreach-call2_true-termination.i true 22.6  16.7  426688512 true 12.2  6.82 320827392 true 23.5  17.0  425824256 true 11.8  6.73 330784768
loop-crafted/simple_array_index_value_true-unreach-call4.i.v+lhb-reducer.c error: exception 28.1  22.1  517443584 true 44.2  31.0  829865984 error: exception 27.8  22.1  521117696 true 33.8  22.4  863457280
loop-crafted/simple_array_index_value_true-unreach-call4.i.v+nlh-reducer.c error: exception 28.6  23.0  507908096 true 42.9  31.9  811315200 true 36.2  29.3  665157632 true 39.0  28.3  830865408
loop-invgen/id_trans_false-unreach-call_true-termination.i false 14.5  8.66 394371072 false 12.9  7.44 410066944 false 14.1  8.62 396525568 false 13.5  7.78 412246016
loop-invgen/MADWiFi-encode_ie_ok_true-unreach-call_true-termination.i error: exception 7.26 4.10 247672832 true 17.4  10.5  652718080 error: exception 7.42 4.15 244629504 true 17.2  10.5  657178624
loop-invgen/NetBSD_loop_true-unreach-call_true-termination.i true 47.5  34.3  1100144640 true 14.9  9.06 578179072 true 47.0  33.9  1099788288 true 15.6  9.40 597389312
loop-invgen/SpamAssassin-loop_true-unreach-call_false-termination.i timeout 121    91.4  1373843456 true 33.2  22.0  981274624 timeout 121    91.9  1331896320 true 33.9  22.8  973029376
loop-invgen/apache-escape-absolute_true-unreach-call_true-termination.i true 58.7  45.2  1159413760 true 27.2  17.6  958447616 true 56.4  43.6  1151180800 true 28.0  18.0  935276544
loop-invgen/apache-get-tag_true-unreach-call_true-termination.i timeout 121    92.1  1368387584 true 23.5  14.9  828301312 timeout 121    93.1  1354452992 true 23.5  15.1  844013568
loop-invgen/down_true-unreach-call_true-termination.i timeout 121    93.8  1198702592 timeout 121    82.9  1490149376 timeout 121    94.8  1207316480 timeout 121    82.3  1401008128
loop-invgen/fragtest_simple_true-unreach-call_true-termination.i timeout 122    94.8  1323298816 timeout 121    83.6  1453060096 timeout 122    93.8  1258016768 timeout 120    82.5  1419874304
loop-invgen/half_2_true-unreach-call_true-termination.i timeout 121    109    1124605952 timeout 121    88.9  1397186560 timeout 121    109    1099849728 timeout 121    88.8  1408110592
loop-invgen/heapsort_true-unreach-call_true-termination.i timeout 121    111    866947072 timeout 120    90.0  1461886976 timeout 121    112    838922240 timeout 120    89.0  1408294912
loop-invgen/id_build_true-unreach-call_true-termination.i error: exception 6.88 3.80 240369664 true 12.7  7.32 378290176 error: exception 7.51 4.09 235892736 true 12.3  7.09 376549376
loop-invgen/large_const_true-unreach-call_true-termination.i true 27.6  17.9  842915840 true 20.5  12.5  802508800 true 26.5  17.4  828993536 true 20.4  12.5  779833344
loop-invgen/nest-if3_true-unreach-call_true-termination.i timeout 121    106    1219940352 true 10.7  6.10 319307776 timeout 121    107    1179541504 true 11.6  6.52 326750208
loop-invgen/nested6_true-unreach-call_true-termination.i timeout 120    90.2  1344176128 true 23.4  14.6  800915456 timeout 120    90.3  1268781056 true 23.4  14.6  802811904
loop-invgen/nested9_true-unreach-call_true-termination.i error: exception 7.66 4.27 248393728 true 24.0  15.4  832741376 error: exception 7.11 4.09 241614848 true 23.0  14.7  820084736
loop-invgen/sendmail-close-angle_true-unreach-call_true-termination.i timeout 121    92.8  1265266688 true 50.0  34.8  1119514624 timeout 121    92.1  1407193088 true 51.3  35.4  1164435456
loop-invgen/seq_true-unreach-call_true-termination.i timeout 122    94.6  1277587456 timeout 121    84.8  1432051712 timeout 121    95.9  1295507456 timeout 120    86.7  1431752704
loop-invgen/string_concat-noarr_true-unreach-call_true-termination.i timeout 121    103    1267367936 timeout 121    88.1  1507459072 timeout 121    103    1304719360 timeout 121    86.9  1478582272
loop-invgen/up_true-unreach-call_true-termination.i timeout 121    95.9  1268850688 timeout 121    83.4  1434079232 timeout 121    96.9  1240535040 timeout 121    83.2  1476112384
loop-invgen/SpamAssassin-loop_true-unreach-call.i.v+cfa-reducer.c timeout 121    93.4  1334837248 true 46.0  29.1  1052344320 timeout 120    95.3  1346248704 true 45.3  28.8  1029406720
loop-invgen/apache-escape-absolute_true-unreach-call.i.v+cfa-reducer.c timeout 121    98.2  1192308736 true 58.4  37.0  1167011840 timeout 121    97.9  1251143680 true 58.9  37.4  1134239744
loop-invgen/apache-get-tag_true-unreach-call.i.p+lhb-reducer.c timeout 120    96.4  1380737024 true 57.5  37.2  1152028672 timeout 121    95.0  1282441216 true 53.7  35.3  1107189760
loop-invgen/apache-get-tag_true-unreach-call.i.p+nlh-reducer.c timeout 120    95.0  1347596288 true 106    75.9  1418006528 timeout 121    94.1  1383952384 true 103    74.2  1415114752
loop-invgen/apache-get-tag_true-unreach-call.i.p+sep-reducer.c timeout 121    92.7  1430257664 true 113    78.3  1598103552 timeout 120    93.5  1403465728 true 118    80.8  1642127360
loop-invgen/apache-get-tag_true-unreach-call.i.v+lhb-reducer.c timeout 121    93.1  1311367168 true 45.8  29.6  1093296128 timeout 121    93.8  1347489792 true 48.4  31.1  1090772992
loop-invgen/apache-get-tag_true-unreach-call.i.v+nlh-reducer.c timeout 121    94.6  1302970368 true 42.2  26.9  1017626624 timeout 121    95.0  1270263808 true 43.7  27.7  997048320
loop-invgen/id_build_true-unreach-call.i.p+nlh-reducer.c error: exception 10.0  5.39 304873472 true 31.6  19.3  847486976 error: exception 10.1  5.46 306065408 true 32.9  19.8  853864448
loop-invgen/id_build_true-unreach-call.i.p+sep-reducer.c error: exception 10.1  5.40 305553408 true 33.5  20.2  847962112 error: exception 9.35 5.14 305049600 true 32.9  20.2  856809472
loop-invgen/id_build_true-unreach-call.i.v+lhb-reducer.c error: exception 7.25 4.03 253956096 true 13.2  7.72 391180288 error: exception 7.33 4.09 243507200 true 13.2  7.62 393531392
loop-lit/afnp2014_true-unreach-call_true-termination.c.i error: exception 10.2  5.89 323112960 true 13.8  8.06 431394816 error: exception 10.9  6.24 312082432 true 13.9  8.03 429326336
loop-lit/bhmr2007_true-unreach-call_true-termination.c.i timeout 121    111    1007865856 true 18.5  11.6  737484800 timeout 121    110    993177600 true 18.5  11.5  737660928
loop-lit/cggmp2005_true-unreach-call_true-termination.c.i true 21.7  15.4  528953344 true 15.6  9.54 586358784 true 21.5  15.2  537452544 true 16.3  9.76 583680000
loop-lit/cggmp2005_variant_true-unreach-call_true-termination.c.i timeout 121    109    1127170048 true 15.8  9.43 545906688 timeout 121    109    1074524160 true 15.5  9.36 549875712
loop-lit/cggmp2005b_true-unreach-call_true-termination.c.i true 12.1  6.91 363765760 true 14.8  8.76 489992192 true 11.6  6.67 357486592 true 14.8  8.66 485888000
loop-lit/css2003_true-unreach-call_true-termination.c.i true 17.9  11.3  509423616 true 11.4  6.46 325484544 true 17.5  11.2  496893952 true 11.5  6.47 316342272
loop-lit/ddlm2013_true-unreach-call.i error: exception 7.26 4.04 240476160 true 22.8  14.4  708898816 error: exception 7.32 4.07 243843072 true 24.2  15.3  706289664
loop-lit/gj2007_true-unreach-call_true-termination.c.i timeout 121    107    1177239552 timeout 121    82.1  1427415040 timeout 121    106    1227710464 timeout 121    83.2  1429749760
loop-lit/gj2007b_true-unreach-call_true-termination.c.i true 35.4  24.6  1000591360 true 16.3  9.86 573526016 true 33.9  24.3  1003835392 true 16.1  9.67 563884032
loop-lit/gr2006_true-unreach-call_true-termination.c.i timeout 120    96.9  1307414528 timeout 121    81.2  1556627456 timeout 120    97.7  1306431488 timeout 121    83.1  1518141440
loop-lit/gsv2008_true-unreach-call_true-termination.c.i error: exception 14.1  8.56 425873408 true 12.6  7.07 361906176 error: exception 14.0  8.52 407932928 true 12.2  7.04 363945984
loop-lit/hhk2008_true-unreach-call_true-termination.c.i timeout 120    112    862937088 true 13.7  7.98 442114048 timeout 120    112    859881472 true 14.2  8.18 436404224
loop-lit/jm2006_true-unreach-call_true-termination.c.i timeout 121    110    1117462528 true 18.2  11.3  727818240 timeout 121    111    1122586624 true 18.1  11.3  721276928
loop-lit/jm2006_variant_true-unreach-call_true-termination.c.i timeout 121    108    1235898368 true 19.6  12.3  801849344 timeout 121    107    1183821824 true 19.3  12.1  808026112
loop-lit/mcmillan2006_true-unreach-call_true-termination.c.i timeout 121    108    1168781312 timeout 120    103    1215451136 timeout 121    108    1186615296 timeout 120    104    1171324928
loop-lit/gcnr2008_false-unreach-call_false-termination.i false 9.24 5.20 267894784 false 9.02 5.10 262840320 false 9.30 5.25 269066240 false 9.27 5.20 265900032
loop-lit/gj2007_true-unreach-call.c.i.p+lhb-reducer.c timeout 120    102    1383907328 timeout 121    84.3  1451249664 timeout 120    102    1242787840 timeout 121    83.8  1408638976
loop-lit/gj2007_true-unreach-call.c.i.p+nlh-reducer.c timeout 120    98.5  1305759744 timeout 121    88.8  1397075968 timeout 120    98.2  1326923776 timeout 122    89.5  1327288320
loop-lit/gsv2008_true-unreach-call.c.i.p+cfa-reducer.c error: exception 9.32 5.46 271245312 true 12.0  6.71 326164480 error: exception 9.36 5.52 270721024 true 11.5  6.55 324825088
loop-lit/gsv2008_true-unreach-call.c.i.v+cfa-reducer.c error: exception 9.66 5.63 270995456 true 11.2  6.38 320299008 error: exception 9.27 5.54 275357696 true 12.5  6.92 319373312
loop-lit/gsv2008_true-unreach-call.c.i.v+lhb-reducer.c error: exception 72.0  64.2  872218624 true 14.1  8.03 371220480 error: exception 73.8  66.5  878166016 true 13.5  7.75 380149760
loop-lit/jm2006_true-unreach-call.c.i.v+cfa-reducer.c timeout 121    111    1058721792 true 16.5  9.91 554561536 timeout 121    111    1052782592 true 16.3  9.77 547831808
loop-new/count_by_1_true-unreach-call_true-termination.i true 14.7  8.96 508194816 true 13.7  7.99 435154944 true 15.1  9.19 505094144 true 13.3  7.81 435888128
loop-new/count_by_1_variant_true-unreach-call_true-termination.i true 13.1  7.53 386539520 true 14.2  8.45 483008512 true 13.6  7.77 394518528 true 14.2  8.37 488316928
loop-new/count_by_2_true-unreach-call_true-termination.i timeout 121    105    1211211776 timeout 121    84.3  1534636032 timeout 121    106    1225457664 timeout 121    84.5  1483431936
loop-new/count_by_k_true-unreach-call_true-termination.i timeout 121    112    869519360 timeout 122    91.5  1521590272 timeout 121    112    886267904 timeout 121    91.2  1444003840
loop-new/count_by_nondet_true-unreach-call_true-termination.i timeout 121    107    1236975616 timeout 121    82.6  1468542976 timeout 121    106    1245761536 timeout 121    81.8  1387577344
loop-new/gauss_sum_true-unreach-call_true-termination.i error: exception 63.7  57.1  737665024 timeout 121    94.1  1406341120 error: exception 68.5  61.9  736894976 timeout 121    94.3  1422843904
loop-new/half_true-unreach-call_true-termination.i timeout 121    108    1161539584 error: exception 13.4  7.73 409460736 timeout 121    108    1147744256 error: exception 13.8  8.01 414806016
loop-new/nested_true-unreach-call_true-termination.i timeout 121    105    1312473088 timeout 120    92.0  1499430912 timeout 121    105    1243824128 timeout 120    91.7  1558495232
loop-new/gauss_sum_true-unreach-call.i.p+cfa-reducer.c error: exception 50.8  44.6  576827392 timeout 121    93.1  1422385152 error: exception 50.1  44.0  587300864 timeout 121    92.2  1367711744
loop-new/gauss_sum_true-unreach-call.i.p+lhb-reducer.c error: exception 8.61 5.09 272330752 timeout 121    91.8  1442570240 error: exception 9.35 5.44 270757888 timeout 121    93.2  1406717952
loop-new/gauss_sum_true-unreach-call.i.v+cfa-reducer.c error: exception 42.7  36.7  564953088 timeout 121    94.3  1421963264 error: exception 42.4  36.2  576589824 timeout 121    94.4  1404588032
loop-industry-pattern/aiob_1_true-unreach-call.c error: exception 6.31 3.37 203026432 error: exception 6.47 3.40 199622656 error: exception 6.29 3.36 200204288 error: exception 6.08 3.28 199225344
loop-industry-pattern/aiob_2_true-unreach-call.c error: exception 6.34 3.36 202596352 error: exception 6.38 3.41 209756160 error: exception 6.42 3.40 200769536 error: exception 6.32 3.36 201252864
loop-industry-pattern/aiob_3_true-unreach-call.c error: exception 6.64 3.49 202563584 error: exception 6.23 3.34 198447104 error: exception 6.64 3.50 202756096 error: exception 6.28 3.40 202133504
loop-industry-pattern/aiob_4_true-unreach-call.c error: exception 6.41 3.39 213262336 error: exception 6.26 3.34 202219520 error: exception 6.77 3.56 207499264 error: exception 6.13 3.32 201859072
loop-industry-pattern/aiob_4_true-unreach-call.c.v+cfa-reducer.c timeout 121    107    1114062848 timeout 121    110    912760832 error: exception 8.80 4.89 296284160 timeout 121    109    947666944
loop-industry-pattern/aiob_4_true-unreach-call.c.v+lh-reducer.c timeout 121    106    1104789504 timeout 121    110    929804288 error: exception 9.18 5.05 279691264 timeout 121    109    900771840
loop-industry-pattern/aiob_4_true-unreach-call.c.v+lhb-reducer.c timeout 121    108    1056862208 timeout 121    103    1234980864 error: exception 9.69 5.22 300683264 timeout 121    100    1292484608
loop-industry-pattern/aiob_4_true-unreach-call.c.v+nlh-reducer.c timeout 121    107    1164292096 timeout 120    95.4  1422110720 error: exception 11.7  6.26 363786240 error: exception 67.5  36.9  1832079360
loop-industry-pattern/mod3_true-unreach-call.c timeout 120    115    477196288 true 28.2  20.9  442888192 timeout 120    115    464429056 true 32.2  24.4  435646464
loop-industry-pattern/mod3_true-unreach-call.c.v+cfa-reducer.c timeout 120    115    432959488 true 19.8  14.4  343101440 timeout 120    115    434733056 true 24.5  17.6  410939392
loop-industry-pattern/mod3_true-unreach-call.c.v+lhb-reducer.c timeout 120    115    386871296 true 16.7  11.0  334983168 timeout 120    115    385052672 true 20.5  14.7  331214848
loop-industry-pattern/mod3_true-unreach-call.c.v+sep-reducer.c timeout 120    116    456802304 true 18.6  13.2  338001920 timeout 120    115    458784768 true 20.4  14.3  346505216
loop-industry-pattern/nested_true-unreach-call.c timeout 121    103    1263599616 timeout 121    86.8  1605246976 timeout 120    103    1273413632 timeout 121    88.5  1608101888
loop-industry-pattern/ofuf_1_true-unreach-call.c error: exception 10.0  5.54 294039552 error: exception 10.1  5.58 274366464 error: exception 10.3  5.64 283373568 error: exception 10.0  5.53 272199680
loop-industry-pattern/ofuf_2_true-unreach-call.c error: exception 9.31 5.18 267161600 error: exception 9.43 5.27 270839808 error: exception 10.0  5.59 277147648 error: exception 9.28 5.13 272769024
loop-industry-pattern/ofuf_3_true-unreach-call.c error: exception 10.3  5.61 277741568 error: exception 9.43 5.21 277020672 error: exception 9.18 5.13 279830528 error: exception 9.09 5.09 264130560
loop-industry-pattern/ofuf_4_true-unreach-call.c error: exception 9.58 5.28 270327808 error: exception 9.87 5.44 274313216 error: exception 10.0  5.54 276463616 error: exception 9.76 5.40 273149952
loop-industry-pattern/ofuf_5_true-unreach-call.c error: exception 9.22 5.20 266301440 error: exception 9.47 5.23 271728640 error: exception 9.65 5.31 274636800 error: exception 9.37 5.18 275374080
loops/heavy_true-unreach-call.c timeout 121    70.1  7103631360 timeout 121    70.0  7595094016 error: exception 7.23 4.03 270233600 error: exception 12.2  6.79 317054976
loops/compact_false-unreach-call.c timeout 121    102    3137052672 timeout 121    103    3140046848 error: exception 6.85 3.88 234995712 error: exception 11.2  6.31 303706112
loops/heavy_false-unreach-call.c timeout 122    69.5  7067357184 timeout 122    73.3  7079428096 error: exception 7.72 4.30 266399744 error: exception 12.1  6.75 321622016
loops-crafted-1/Mono1_false-unreach-call1.c timeout 120    103    1355116544 timeout 121    109    846680064 timeout 120    102    1247707136 timeout 121    109    857632768
loops-crafted-1/Mono3_false-unreach-call1.c timeout 121    105    1198678016 timeout 121    108    1017860096 timeout 121    105    1185382400 timeout 121    108    987688960
loops-crafted-1/Mono4_false-unreach-call1.c timeout 120    101    1312374784 timeout 121    84.1  1467813888 timeout 121    99.2  1254092800 timeout 120    83.6  1522716672
loops-crafted-1/Mono5_false-unreach-call1.c timeout 121    107    1150623744 timeout 121    102    1146200064 timeout 121    106    1242488832 timeout 121    101    1125371904
loops-crafted-1/Mono6_false-unreach-call1.c timeout 121    106    1260949504 timeout 121    101    1267105792 timeout 121    107    1255108608 timeout 122    102    1273061376
loops-crafted-1/nested3_false-unreach-call.c timeout 121    105    1250488320 timeout 121    97.7  1097060352 timeout 121    106    1235423232 timeout 121    98.3  1113321472
loops-crafted-1/nested5_false-unreach-call.c timeout 121    105    1275437056 timeout 120    95.5  1103036416 timeout 121    105    1337307136 timeout 120    96.8  1171898368
loops-crafted-1/Mono1_true-unreach-call1.c timeout 120    102    1220038656 timeout 121    109    827486208 timeout 120    104    1292722176 timeout 120    110    827375616
loops-crafted-1/nested3_true-unreach-call.c timeout 121    103    1316642816 timeout 121    103    1137766400 timeout 121    101    1362055168 timeout 120    103    1135808512
loops-crafted-1/nested5_true-unreach-call.c true 16.4  10.0  595759104 true 34.7  27.8  677261312 true 16.9  10.4  600436736 true 66.1  58.2  703135744
loop-invariants/bin-suffix-5_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c true 12.5  7.16 366211072 false 8.83 4.91 260632576 true 12.3  7.06 360968192 false 9.05 5.08 267091968
loop-invariants/const_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c true 10.3  5.87 319471616 true 11.1  6.29 315985920 true 10.6  6.03 318922752 true 11.1  6.27 321486848
loop-invariants/eq1_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c true 10.4  5.99 309440512 true 9.76 5.54 287170560 true 10.8  6.10 318607360 true 10.5  5.92 289714176
loop-invariants/eq2_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c true 10.8  6.04 293400576 true 10.1  5.70 291741696 true 10.5  5.94 292179968 true 10.2  5.78 293507072
loop-invariants/even_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c true 12.7  7.22 369164288 true 10.8  6.09 291020800 true 12.6  7.21 373080064 true 10.3  5.83 311873536
loop-invariants/mod4_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c true 12.8  7.24 366403584 true 10.1  5.74 289210368 true 12.5  7.10 368771072 true 9.99 5.64 290160640
loop-invariants/odd_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c true 12.5  7.12 360206336 true 16.2  11.8  313126912 true 12.3  7.00 363749376 true 16.5  11.9  308858880
../../../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
total 775 59900 50500 755720871936 775 53600 40600 780711342080 775 56700 47800 696746467328 775 52900 40000 738462515200
local summary 23700 3680 34300 2980 21800 3470 33100 2900
    correct results 0 0 0 0
        correct true 0 0 0 0
        correct false 0 0 0 0
    incorrect results 0 0 0 0
        incorrect true 0 0 0 0
        incorrect false 0 0 0 0
Run set Bitvector.ReachSafety32 Default.ReachSafety32 Bitvector-ConstArray.ReachSafety32 Default-ConstArray.ReachSafety32