| pthread/fib_bench_BUG.cil.c | unknown | 1.26 | 0.76 | 0.507s | 0.030s |
| pthread/fib_bench_longer_BUG.cil.c | unknown | 1.31 | 0.76 | 0.520s | 0.023s |
| pthread/queue_BUG.cil.c | unknown | 1.56 | 0.89 | 0.633s | 0.094s |
| pthread/reorder_5_BUG.cil.c | unknown | 1.68 | 0.90 | 0.658s | 0.104s |
| pthread/twostage_3_BUG.cil.c | unknown | 1.91 | 1.04 | 0.785s | 0.145s |
| pthread/fib_bench.cil.c | unknown | 1.74 | 0.95 | 0.699s | 0.027s |
| pthread/fib_bench_longer.cil.c | unknown | 1.65 | 0.90 | 0.647s | 0.027s |
| pthread/queue_ok.cil.c | unknown | 1.80 | 0.94 | 0.689s | 0.090s |
| ntdrivers-simplified/cdaudio_simpl1_BUG.cil.c | unsafe | 14.78 | 8.83 | 8.475s | 5.906s |
| ntdrivers-simplified/floppy_simpl3_BUG.cil.c | unsafe | 8.18 | 4.26 | 3.892s | 1.966s |
| ntdrivers-simplified/floppy_simpl4_BUG.cil.c | unsafe | 9.41 | 4.57 | 4.236s | 2.327s |
| ntdrivers-simplified/kbfiltr_simpl2_BUG.cil.c | unsafe | 5.18 | 2.54 | 2.227s | 1.023s |
| ntdrivers-simplified/cdaudio_simpl1.cil.c | safe | 13.95 | 8.34 | 7.963s | 4.898s |
| ntdrivers-simplified/diskperf_simpl1.cil.c | safe | 9.50 | 7.42 | 5.904s | 3.206s |
| ntdrivers-simplified/floppy_simpl3.cil.c | safe | 9.51 | 9.04 | 8.707s | 3.338s |
| ntdrivers-simplified/floppy_simpl4.cil.c | safe | 11.06 | 7.73 | 7.374s | 3.783s |
| ntdrivers-simplified/kbfiltr_simpl1.cil.c | safe | 3.34 | 1.82 | 1.503s | 0.580s |
| ntdrivers-simplified/kbfiltr_simpl2.cil.c | safe | 4.71 | 2.52 | 2.235s | 0.985s |
| ntdrivers/cdaudio.BUG.i.cil.c | unsafe | 15.05 | 8.19 | 7.869s | 4.451s |
| ntdrivers/diskperf.BUG.i.cil.c | unsafe | 11.26 | 5.85 | 5.464s | 2.800s |
| ntdrivers/floppy.BUG.i.cil.c | unsafe | 12.72 | 6.67 | 6.219s | 3.058s |
| ntdrivers/kbfiltr.BUG.i.cil.c | unsafe | 7.66 | 3.71 | 3.388s | 1.467s |
| ntdrivers/parport.BUG.i.cil.c | unsafe | 21.05 | 12.85 | 12.449s | 7.103s |
| ntdrivers/cdaudio.i.cil.c | safe | 18.11 | 10.91 | 10.531s | 6.534s |
| ntdrivers/diskperf.i.cil.c | safe | 12.77 | 7.41 | 7.059s | 4.253s |
| ntdrivers/floppy.i.cil.c | safe | 15.37 | 9.51 | 9.122s | 4.780s |
| ntdrivers/parport.i.cil.c | safe | 28.41 | 19.51 | 19.063s | 11.618s |
| ssh-simplified/s3_clnt_1_BUG.cil.c | unsafe | 5.46 | 3.21 | 2.914s | 1.799s |
| ssh-simplified/s3_clnt_2_BUG.cil.c | unsafe | 4.96 | 2.75 | 2.479s | 1.386s |
| ssh-simplified/s3_clnt_3_BUG.cil.c | unsafe | 5.92 | 3.06 | 2.802s | 1.505s |
| ssh-simplified/s3_clnt_4_BUG.cil.c | unsafe | 4.45 | 2.46 | 2.179s | 1.016s |
| ssh-simplified/s3_srvr_10_BUG.cil.c | unsafe | 18.53 | 13.91 | 13.546s | 10.466s |
| ssh-simplified/s3_srvr_11_BUG.cil.c | unsafe | 63.93 | 57.44 | 56.896s | 51.581s |
| ssh-simplified/s3_srvr_12_BUG.cil.c | timeout | 119.68 | 115.54 | - | - |
| ssh-simplified/s3_srvr_14_BUG.cil.c | unsafe | 17.97 | 13.37 | 13.007s | 10.082s |
| ssh-simplified/s3_srvr_1_BUG.cil.c | unsafe | 3.71 | 2.01 | 1.751s | 0.824s |
| ssh-simplified/s3_srvr_2_BUG.cil.c | unsafe | 4.63 | 2.48 | 2.217s | 1.177s |
| ssh-simplified/s3_srvr_6_BUG.cil.c | unsafe | 2.11 | 1.04 | 0.791s | 0.059s |
| ssh-simplified/s3_clnt_1.cil.c | safe | 10.46 | 6.63 | 6.348s | 4.393s |
| ssh-simplified/s3_clnt_2.cil.c | safe | 9.17 | 5.71 | 5.415s | 3.363s |
| ssh-simplified/s3_clnt_3.cil.c | safe | 7.85 | 4.49 | 4.211s | 2.718s |
| ssh-simplified/s3_clnt_4.cil.c | safe | 11.90 | 8.53 | 8.223s | 5.306s |
| ssh-simplified/s3_srvr_1a.cil.c | safe | 4.49 | 2.37 | 2.089s | 1.353s |
| ssh-simplified/s3_srvr_1b.cil.c | safe | 1.98 | 1.06 | 0.809s | 0.227s |
| ssh-simplified/s3_srvr_1.cil.c | out of memory | 66.88 | 62.69 | - | - |
| ssh-simplified/s3_srvr_3.cil.c | safe | 25.12 | 19.72 | 19.282s | 14.070s |
| ssh-simplified/s3_srvr_4.cil.c | safe | 10.46 | 6.52 | 6.185s | 4.669s |
| ssh-simplified/s3_srvr_6.cil.c | timeout | 119.63 | 114.88 | - | - |
| ssh-simplified/s3_srvr_7.cil.c | unknown | 66.68 | 63.14 | 62.850s | 61.650s |
| ssh-simplified/s3_srvr_8.cil.c | safe | 16.19 | 11.56 | 11.217s | 8.129s |
| ssh/s3_clnt.blast.01.BUG.i.cil.c | unsafe | 6.42 | 3.34 | 3.036s | 1.639s |
| ssh/s3_clnt.blast.02.BUG.i.cil.c | unsafe | 5.16 | 2.77 | 2.496s | 1.198s |
| ssh/s3_clnt.blast.03.BUG.i.cil.c | unsafe | 4.37 | 2.27 | 2.006s | 0.916s |
| ssh/s3_clnt.blast.04.BUG.i.cil.c | unsafe | 5.56 | 2.83 | 2.556s | 1.266s |
| ssh/s3_srvr.blast.01.BUG.i.cil.c | unsafe | 5.58 | 2.72 | 2.427s | 1.247s |
| ssh/s3_srvr.blast.02.BUG.i.cil.c | unsafe | 4.55 | 2.53 | 2.267s | 1.096s |
| ssh/s3_srvr.blast.03.BUG.i.cil.c | unsafe | 4.70 | 2.46 | 2.199s | 1.052s |
| ssh/s3_srvr.blast.04.BUG.i.cil.c | unsafe | 4.80 | 2.57 | 2.294s | 1.088s |
| ssh/s3_srvr.blast.06.BUG.i.cil.c | unsafe | 5.53 | 3.06 | 2.787s | 1.356s |
| ssh/s3_srvr.blast.07.BUG.i.cil.c | unknown | 68.12 | 64.30 | 63.976s | 62.398s |
| ssh/s3_srvr.blast.08.BUG.i.cil.c | unsafe | 25.53 | 20.51 | 20.098s | 18.037s |
| ssh/s3_srvr.blast.10.BUG.i.cil.c | unsafe | 36.06 | 30.22 | 29.758s | 26.833s |
| ssh/s3_srvr.blast.11.BUG.i.cil.c | unsafe | 4.81 | 2.66 | 2.387s | 1.141s |
| ssh/s3_srvr.blast.12.BUG.i.cil.c | unsafe | 11.08 | 7.23 | 6.905s | 5.401s |
| ssh/s3_srvr.blast.13.BUG.i.cil.c | unsafe | 28.89 | 23.04 | 22.644s | 20.692s |
| ssh/s3_srvr.blast.14.BUG.i.cil.c | unsafe | 6.94 | 3.86 | 3.581s | 2.094s |
| ssh/s3_srvr.blast.15.BUG.i.cil.c | unsafe | 19.61 | 14.95 | 14.576s | 12.530s |
| ssh/s3_srvr.blast.16.BUG.i.cil.c | unsafe | 6.18 | 3.32 | 3.051s | 1.789s |
| ssh/s3_clnt.blast.01.i.cil.c | safe | 8.30 | 4.90 | 4.615s | 3.077s |
| ssh/s3_clnt.blast.03.i.cil.c | safe | 12.57 | 8.74 | 8.448s | 5.861s |
| ssh/s3_clnt.blast.04.i.cil.c | safe | 11.41 | 7.41 | 7.121s | 4.127s |
| ssh/s3_srvr.blast.01.i.cil.c | safe | 31.88 | 26.67 | 26.303s | 22.459s |
| ssh/s3_srvr.blast.06.i.cil.c | safe | 27.72 | 22.03 | 21.574s | 16.366s |
| ssh/s3_srvr.blast.07.i.cil.c | unknown | 65.49 | 61.89 | 61.537s | 59.922s |
| ssh/s3_srvr.blast.08.i.cil.c | safe | 25.43 | 20.03 | 19.523s | 15.418s |
| ssh/s3_srvr.blast.09.i.cil.c | unknown | 66.44 | 61.89 | 61.546s | 59.538s |
| ssh/s3_srvr.blast.10.i.cil.c | safe | 11.65 | 6.78 | 6.421s | 4.785s |
| ssh/s3_srvr.blast.12.i.cil.c | safe | 13.80 | 9.51 | 9.039s | 7.263s |
| ssh/s3_srvr.blast.13.i.cil.c | unknown | 67.48 | 63.38 | 63.078s | 61.028s |
| ssh/s3_srvr.blast.14.i.cil.c | safe | 39.17 | 33.08 | 32.630s | 26.716s |
| ssh/s3_srvr.blast.15.i.cil.c | safe | 17.46 | 12.38 | 11.990s | 6.496s |
| ssh/s3_srvr.blast.16.i.cil.c | safe | 46.59 | 41.15 | 40.584s | 28.498s |
| locks/test_locks_14.BUG.c | unsafe | 2.54 | 1.48 | 1.199s | 0.392s |
| locks/test_locks_15.BUG.c | unsafe | 2.62 | 1.48 | 1.219s | 0.450s |
| locks/test_locks_11.c | safe | 2.34 | 1.29 | 1.024s | 0.320s |
| locks/test_locks_12.c | safe | 2.58 | 1.50 | 1.201s | 0.367s |
| locks/test_locks_13.c | safe | 2.56 | 1.51 | 1.229s | 0.486s |
| locks/test_locks_14.c | safe | 2.85 | 1.69 | 1.429s | 0.558s |
| locks/test_locks_15.c | safe | 2.95 | 1.61 | 1.342s | 0.498s |
| locks/test_locks_5.c | safe | 1.76 | 0.96 | 0.713s | 0.119s |
| locks/test_locks_6.c | safe | 1.87 | 1.07 | 0.818s | 0.133s |
| locks/test_locks_7.c | safe | 2.03 | 1.23 | 0.930s | 0.227s |
| locks/test_locks_8.c | safe | 1.98 | 1.09 | 0.826s | 0.181s |
| locks/test_locks_9.c | safe | 2.15 | 1.36 | 1.091s | 0.282s |
| heap-manipulation/bubble_sort_linux_BUG.cil.c | unsafe | 2.56 | 1.44 | 1.177s | 0.225s |
| heap-manipulation/dll_of_dll_BUG.cil.c | unknown | 1.96 | 1.01 | 0.747s | 0.112s |
| heap-manipulation/merge_sort_BUG.cil.c | unsafe | 2.20 | 1.27 | 0.963s | 0.203s |
| heap-manipulation/bubble_sort_linux.cil.c | unsafe | 2.49 | 1.30 | 1.037s | 0.197s |
| heap-manipulation/dll_of_dll.cil.c | unknown | 1.98 | 1.07 | 0.793s | 0.125s |
| heap-manipulation/merge_sort.cil.c | safe | 2.27 | 1.26 | 0.976s | 0.107s |
| heap-manipulation/sll_to_dll_rev.cil.c | unknown | 14.37 | 12.42 | 12.147s | 9.353s |
| list-properties/alternating_list.cil.c | safe | 1.99 | 1.17 | 0.886s | 0.194s |
| list-properties/list.cil.c | safe | 2.32 | 1.38 | 1.059s | 0.293s |
| list-properties/list_flag.cil.c | safe | 2.10 | 1.16 | 0.893s | 0.191s |
| list-properties/simple.cil.c | unsafe | 1.90 | 1.14 | 0.884s | 0.200s |
| list-properties/simple_built_from_end.cil.c | unsafe | 2.14 | 1.24 | 0.972s | 0.180s |
| list-properties/splice.cil.c | unsafe | 3.53 | 2.32 | 2.027s | 0.765s |
| systemc/token_ring.01.BUG.cil.c | unsafe | 3.22 | 1.94 | 1.643s | 0.589s |
| systemc/token_ring.02.BUG.cil.c | unsafe | 5.86 | 3.29 | 2.975s | 1.361s |
| systemc/token_ring.03.BUG.cil.c | unsafe | 7.64 | 4.51 | 4.146s | 2.120s |
| systemc/transmitter.01.BUG.cil.c | unsafe | 3.09 | 1.74 | 1.381s | 0.395s |
| systemc/transmitter.02.BUG.cil.c | unsafe | 3.94 | 2.11 | 1.832s | 0.700s |
| systemc/transmitter.03.BUG.cil.c | unsafe | 5.12 | 2.88 | 2.562s | 1.117s |
| systemc/transmitter.04.BUG.cil.c | unsafe | 6.45 | 3.38 | 3.030s | 1.231s |
| systemc/bist_cell.cil.c | safe | 19.97 | 16.45 | 16.151s | 13.956s |
| systemc/kundu.cil.c | safe | 66.51 | 60.95 | 60.615s | 56.641s |
| systemc/mem_slave_tlm.1.cil.c | exception | 45.59 | 40.77 | - | - |
| systemc/mem_slave_tlm.2.cil.c | safe | 69.35 | 64.14 | 63.791s | 61.326s |
| systemc/pc_sfifo_1.cil.c | safe | 5.41 | 2.99 | 2.726s | 1.432s |
| systemc/pc_sfifo_2.cil.c | safe | 8.32 | 5.22 | 4.973s | 3.029s |
| systemc/pc_sfifo_3.cil.c | safe | 6.80 | 3.63 | 3.353s | 1.891s |
| systemc/token_ring.01.cil.c | safe | 8.54 | 5.25 | 5.006s | 2.790s |
| systemc/token_ring.04.cil.c | safe | 65.75 | 61.32 | 61.024s | 58.249s |
| systemc/toy.cil.c | safe | 67.20 | 61.72 | 61.418s | 59.117s |
| ldv-regression/1_3.c-unsafe.cil.c | unsafe | 1.40 | 0.80 | 0.555s | 0.029s |
| ldv-regression/alt_test.c-unsafe.cil.c | unsafe | 1.56 | 0.89 | 0.661s | 0.054s |
| ldv-regression/callfpointer.c-unsafe.cil.c | unsafe | 1.45 | 0.86 | 0.618s | 0.019s |
| ldv-regression/fo_test.c-unsafe.cil.c | unsafe | 1.46 | 0.83 | 0.595s | 0.049s |
| ldv-regression/mutex_lock_int.c-unsafe.cil.c | unsafe | 1.40 | 0.81 | 0.551s | 0.018s |
| ldv-regression/mutex_lock_struct.c-unsafe.cil.c | unsafe | 1.37 | 0.79 | 0.552s | 0.018s |
| ldv-regression/recursive_list.c-unsafe.cil.c | unsafe | 1.39 | 0.81 | 0.574s | 0.042s |
| ldv-regression/rule57_ebda_blast.c-unsafe.cil.c | unsafe | 1.44 | 0.85 | 0.598s | 0.034s |
| ldv-regression/rule60_list2.c-unsafe_1.cil.c | unsafe | 2.16 | 1.20 | 0.969s | 0.241s |
| ldv-regression/stateful_check-unsafe.cil.c | unsafe | 2.29 | 1.35 | 1.114s | 0.429s |
| ldv-regression/test_while_int.c-unsafe.cil.c | unsafe | 1.38 | 0.82 | 0.579s | 0.044s |
| ldv-regression/test_while_int.c-unsafe_1.cil.c | unsafe | 1.45 | 0.84 | 0.593s | 0.038s |
| ldv-regression/alias_of_return.c-safe.cil.c | safe | 1.36 | 0.80 | 0.545s | 0.030s |
| ldv-regression/alias_of_return.c-safe_1.cil.c | safe | 1.35 | 0.78 | 0.544s | 0.019s |
| ldv-regression/alias_of_return_2.c-safe.cil.c | safe | 1.42 | 0.84 | 0.592s | 0.041s |
| ldv-regression/alias_of_return_2.c-safe_1.cil.c | safe | 1.33 | 0.77 | 0.525s | 0.018s |
| ldv-regression/ex3_forlist.c-safe.cil.c | unsafe | 2.04 | 1.18 | 0.933s | 0.226s |
| ldv-regression/just_assert.c-safe.cil.c | safe | 1.37 | 0.77 | 0.520s | 0.010s |
| ldv-regression/mutex_lock_int.c-safe_1.cil.c | unsafe | 1.38 | 0.78 | 0.540s | 0.018s |
| ldv-regression/mutex_lock_struct.c-safe_1.cil.c | unsafe | 1.43 | 0.82 | 0.574s | 0.018s |
| ldv-regression/nested_structure-safe.cil.c | unsafe | 1.78 | 0.87 | 0.640s | 0.053s |
| ldv-regression/nested_structure.c-safe.cil.c | unsafe | 1.71 | 0.91 | 0.649s | 0.026s |
| ldv-regression/nested_structure_noptr-safe.cil.c | safe | 1.62 | 0.83 | 0.575s | 0.016s |
| ldv-regression/nested_structure_noptr.c-safe.cil.c | safe | 1.57 | 0.91 | 0.643s | 0.025s |
| ldv-regression/nested_structure_ptr-safe.cil.c | unsafe | 1.92 | 1.04 | 0.746s | 0.103s |
| ldv-regression/nested_structure_ptr.c-safe.cil.c | unsafe | 1.39 | 0.80 | 0.554s | 0.023s |
| ldv-regression/oomInt.c-safe.cil.c | safe | 1.41 | 0.81 | 0.576s | 0.032s |
| ldv-regression/oomInt.c-safe_1.cil.c | safe | 1.56 | 0.89 | 0.660s | 0.036s |
| ldv-regression/rule57_ebda_blast.c-safe_1.cil.c | unsafe | 1.67 | 0.98 | 0.750s | 0.057s |
| ldv-regression/rule60_list.c-safe.cil.c | unsafe | 1.39 | 0.81 | 0.575s | 0.024s |
| ldv-regression/rule60_list2.c-safe.cil.c | safe | 2.20 | 1.35 | 1.071s | 0.319s |
| ldv-regression/sizeofparameters_test.c-safe.cil.c | safe | 1.39 | 0.79 | 0.564s | 0.034s |
| ldv-regression/structure_assignment.c-safe.cil.c | unsafe | 1.36 | 0.79 | 0.548s | 0.017s |
| ldv-regression/test_address.c-safe.cil.c | unsafe | 1.51 | 0.83 | 0.595s | 0.029s |
| ldv-regression/test_cut_trace.c-safe.cil.c | safe | 1.54 | 0.84 | 0.611s | 0.020s |
| ldv-regression/test_malloc-1-safe.cil.c | safe | 1.40 | 0.85 | 0.577s | 0.033s |
| ldv-regression/test_malloc-2-safe.cil.c | safe | 1.55 | 1.01 | 0.735s | 0.029s |
| ldv-regression/test_overflow.c-safe.cil.c | safe | 1.40 | 0.80 | 0.568s | 0.029s |
| ldv-regression/test_union.c-safe.cil.c | safe | 1.47 | 0.85 | 0.619s | 0.021s |
| ldv-regression/test_union.c-safe_1.cil.c | unsafe | 1.41 | 0.85 | 0.581s | 0.026s |
| ldv-regression/test_union_cast-1-safe.cil.c | safe | 1.40 | 0.90 | 0.677s | 0.015s |
| ldv-regression/test_union_cast-2-safe.cil.c | safe | 1.38 | 0.81 | 0.554s | 0.031s |
| ldv-regression/test_union_cast.c-safe.cil.c | unsafe | 1.31 | 0.78 | 0.540s | 0.022s |
| ldv-regression/test_union_cast.c-safe_1.cil.c | safe | 1.40 | 0.83 | 0.596s | 0.025s |
| ldv-regression/volatile_alias.c-safe.cil.c | safe | 1.44 | 0.82 | 0.565s | 0.029s |
| ldv-regression/volatile_alias.c-safe_1.cil.c | safe | 1.58 | 0.94 | 0.678s | 0.028s |
| ddv-machzwd/ddv_machzwd_all_BUG.cil.c | unsafe | 3.76 | 2.13 | 1.869s | 0.378s |
| ddv-machzwd/ddv_machzwd_inw_BUG.cil.c | unsafe | 3.70 | 2.11 | 1.865s | 0.484s |
| ddv-machzwd/ddv_machzwd_outb_BUG.cil.c | unsafe | 3.83 | 1.96 | 1.685s | 0.366s |
| ddv-machzwd/ddv_machzwd_inb.cil.c | safe | 3.25 | 1.64 | 1.394s | 0.355s |
| ddv-machzwd/ddv_machzwd_inb_p.cil.c | safe | 3.52 | 1.84 | 1.586s | 0.360s |
| ddv-machzwd/ddv_machzwd_inl.cil.c | safe | 3.28 | 1.63 | 1.364s | 0.354s |
| ddv-machzwd/ddv_machzwd_inl_p.cil.c | safe | 3.48 | 1.81 | 1.555s | 0.438s |
| ddv-machzwd/ddv_machzwd_inw_p.cil.c | safe | 3.22 | 1.63 | 1.386s | 0.376s |
| ddv-machzwd/ddv_machzwd_outb_p.cil.c | safe | 3.25 | 1.67 | 1.430s | 0.360s |
| ddv-machzwd/ddv_machzwd_outl.cil.c | safe | 3.37 | 1.70 | 1.458s | 0.360s |
| ddv-machzwd/ddv_machzwd_outl_p.cil.c | safe | 3.63 | 1.87 | 1.627s | 0.428s |
| ddv-machzwd/ddv_machzwd_outw_p.cil.c | safe | 3.26 | 1.66 | 1.417s | 0.370s |
| ddv-machzwd/ddv_machzwd_pthread_mutex_unlock.cil.c | safe | 3.28 | 1.67 | 1.410s | 0.372s |
| ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 13.33 | 5.94 | 5.676s | 0.475s |
| ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 10.78 | 6.02 | 5.730s | 2.238s |
| ldv-drivers/module_get_put-drivers-block-pktcdvd.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 14.00 | 7.14 | 6.819s | 3.337s |
| ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 13.07 | 5.09 | 4.841s | 0.671s |
| ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 18.75 | 10.10 | 9.764s | 3.735s |
| ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 9.76 | 4.67 | 4.355s | 1.833s |
| ldv-drivers/module_get_put-drivers-net-wan-farsync.ko-unsafe.cil.out.iunsafe.cil.out.i.pp.cil.c | unsafe | 20.60 | 12.25 | 11.892s | 4.919s |
| ldv-drivers/module_get_put-drivers-tty-synclink_gt.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 7.40 | 3.07 | 2.806s | 0.210s |
| ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 17.12 | 6.58 | 6.296s | 1.075s |
| ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 11.03 | 6.44 | 6.106s | 2.835s |
| ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 43.69 | 28.26 | 27.889s | 9.547s |
| ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 6.95 | 3.45 | 3.130s | 0.693s |
| ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 17.43 | 11.01 | 10.646s | 3.686s |
| ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 5.34 | 2.76 | 2.469s | 0.880s |
| ldv-drivers/module_get_put-drivers-atm-eni.ko-safe.cil.out.i.pp.cil.c | safe | 18.69 | 10.47 | 10.138s | 7.421s |
| ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-safe.cil.out.i.pp.cil.c | safe | 14.79 | 6.53 | 6.237s | 0.958s |
| ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.c | safe | 37.49 | 21.00 | 20.600s | 12.359s |
| ldv-drivers/module_get_put-drivers-bluetooth-btmrvl.ko-safe.cil.out.i.pp.cil.c | safe | 10.52 | 5.49 | 5.166s | 3.408s |
| ldv-drivers/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko-safe.cil.out.i.pp.cil.c | safe | 13.07 | 6.79 | 6.438s | 3.826s |
| ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko-safe.cil.out.i.pp.cil.c | safe | 19.81 | 9.50 | 9.118s | 1.120s |
| ldv-drivers/module_get_put-drivers-hid-hid-magicmouse.ko-safe.cil.out.i.pp.cil.c | unknown | 4.32 | 2.26 | 2.012s | 0.676s |
| ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.c | safe | 7.53 | 3.69 | 3.397s | 1.631s |
| ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko-safe.cil.out.i.pp.cil.c | safe | 21.36 | 11.66 | 11.326s | 7.241s |
| ldv-drivers/module_get_put-drivers-net-pppox.ko-safe.cil.out.i.pp.cil.c | safe | 4.22 | 2.17 | 1.923s | 0.685s |
| ldv-drivers/module_get_put-drivers-net-sis900.ko-safe.cil.out.i.pp.cil.c | safe | 14.72 | 7.50 | 7.154s | 4.948s |
| ldv-drivers/module_get_put-drivers-scsi-megaraid.ko-safe.cil.out.i.pp.cil.c | unknown | 90.29 | 64.18 | 63.754s | 61.107s |
| ldv-drivers/module_get_put-drivers-staging-et131x-et131x.ko-safe.cil.out.i.pp.cil.c | safe | 21.77 | 10.79 | 10.454s | 7.589s |
| ldv-drivers/usb_urb-drivers-input-tablet-kbtab.ko-safe.cil.out.i.pp.cil.c | safe | 8.50 | 4.37 | 4.085s | 1.960s |
| ldv-drivers/usb_urb-drivers-media-video-c-qcam.ko-safe.cil.out.i.pp.cil.c | safe | 5.11 | 2.61 | 2.341s | 0.939s |
| ldv-drivers/usb_urb-drivers-media-video-msp3400.ko-safe.cil.out.i.pp.cil.c | safe | 8.10 | 3.68 | 3.374s | 1.599s |
| ldv-drivers/usb_urb-drivers-misc-c2port-core.ko-safe.cil.out.i.pp.cil.c | safe | 4.73 | 2.41 | 2.125s | 0.816s |
| ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.c | safe | 19.75 | 9.19 | 8.841s | 5.098s |
| ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko-safe.cil.out.i.pp.cil.c | unsafe | 4.68 | 2.29 | 2.024s | 0.535s |
| ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko-safe.cil.out.i.pp.cil.c | safe | 20.36 | 12.58 | 12.151s | 5.977s |
| ldv-drivers/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko-safe.cil.out.i.pp.cil.c | unsafe | 3.58 | 1.69 | 1.442s | 0.192s |
| ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.c | safe | 11.81 | 5.75 | 5.412s | 3.190s |
| ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.c | safe | 6.10 | 2.92 | 2.646s | 1.065s |