| pthread/fib_bench_BUG.cil.c | unknown | 1.72 | 2.20 | 0.738s | 0.040s |
| pthread/fib_bench_longer_BUG.cil.c | unknown | 1.65 | 0.99 | 0.702s | 0.050s |
| pthread/queue_BUG.cil.c | unknown | 1.93 | 1.12 | 0.868s | 0.086s |
| pthread/reorder_5_BUG.cil.c | unknown | 2.01 | 1.14 | 0.850s | 0.120s |
| pthread/twostage_3_BUG.cil.c | unknown | 1.98 | 1.09 | 0.829s | 0.141s |
| pthread/fib_bench.cil.c | unknown | 1.57 | 0.92 | 0.622s | 0.028s |
| pthread/fib_bench_longer.cil.c | unknown | 1.59 | 0.98 | 0.714s | 0.031s |
| pthread/queue_ok.cil.c | unknown | 2.02 | 1.32 | 0.986s | 0.125s |
| ntdrivers-simplified/cdaudio_simpl1_BUG.cil.c | unsafe | 16.21 | 9.98 | 9.616s | 6.664s |
| ntdrivers-simplified/floppy_simpl3_BUG.cil.c | unsafe | 7.58 | 3.47 | 3.193s | 1.683s |
| ntdrivers-simplified/floppy_simpl4_BUG.cil.c | unsafe | 8.94 | 3.89 | 3.553s | 1.971s |
| ntdrivers-simplified/kbfiltr_simpl2_BUG.cil.c | unsafe | 5.16 | 2.54 | 2.236s | 1.073s |
| ntdrivers-simplified/cdaudio_simpl1.cil.c | safe | 13.01 | 6.98 | 6.652s | 4.249s |
| ntdrivers-simplified/diskperf_simpl1.cil.c | safe | 10.82 | 5.47 | 5.167s | 3.457s |
| ntdrivers-simplified/floppy_simpl3.cil.c | safe | 10.00 | 4.80 | 4.510s | 2.789s |
| ntdrivers-simplified/floppy_simpl4.cil.c | safe | 11.56 | 6.10 | 5.755s | 3.635s |
| ntdrivers-simplified/kbfiltr_simpl1.cil.c | safe | 3.31 | 1.77 | 1.474s | 0.523s |
| ntdrivers-simplified/kbfiltr_simpl2.cil.c | safe | 4.42 | 2.28 | 1.968s | 0.881s |
| ntdrivers/cdaudio.BUG.i.cil.c | unsafe | 14.59 | 7.27 | 6.921s | 3.886s |
| ntdrivers/diskperf.BUG.i.cil.c | unsafe | 11.11 | 5.77 | 5.470s | 2.859s |
| ntdrivers/floppy.BUG.i.cil.c | unsafe | 12.18 | 6.74 | 6.242s | 3.032s |
| ntdrivers/kbfiltr.BUG.i.cil.c | unsafe | 7.09 | 3.57 | 3.194s | 1.365s |
| ntdrivers/parport.BUG.i.cil.c | unsafe | 20.56 | 12.11 | 11.685s | 6.080s |
| ntdrivers/cdaudio.i.cil.c | safe | 18.05 | 10.36 | 9.962s | 6.078s |
| ntdrivers/diskperf.i.cil.c | safe | 12.66 | 6.84 | 6.466s | 3.841s |
| ntdrivers/floppy.i.cil.c | safe | 16.31 | 9.48 | 9.129s | 4.657s |
| ntdrivers/parport.i.cil.c | safe | 28.96 | 19.84 | 19.327s | 11.315s |
| ssh-simplified/s3_clnt_1_BUG.cil.c | unsafe | 5.50 | 3.29 | 3.023s | 1.909s |
| ssh-simplified/s3_clnt_2_BUG.cil.c | unsafe | 5.13 | 2.95 | 2.574s | 1.392s |
| ssh-simplified/s3_clnt_3_BUG.cil.c | unsafe | 6.24 | 3.19 | 2.887s | 1.503s |
| ssh-simplified/s3_clnt_4_BUG.cil.c | unsafe | 4.48 | 2.51 | 2.228s | 0.928s |
| ssh-simplified/s3_srvr_10_BUG.cil.c | unsafe | 18.05 | 13.35 | 12.980s | 10.102s |
| ssh-simplified/s3_srvr_11_BUG.cil.c | unsafe | 60.32 | 53.41 | 52.959s | 47.814s |
| ssh-simplified/s3_srvr_12_BUG.cil.c | timeout | 119.51 | 115.46 | - | - |
| ssh-simplified/s3_srvr_14_BUG.cil.c | unsafe | 18.52 | 13.95 | 13.573s | 10.768s |
| ssh-simplified/s3_srvr_1_BUG.cil.c | unsafe | 4.07 | 2.26 | 1.979s | 0.960s |
| ssh-simplified/s3_srvr_2_BUG.cil.c | unsafe | 4.56 | 2.47 | 2.209s | 1.159s |
| ssh-simplified/s3_srvr_6_BUG.cil.c | unsafe | 2.34 | 1.29 | 0.976s | 0.092s |
| ssh-simplified/s3_clnt_1.cil.c | safe | 10.86 | 7.75 | 7.356s | 5.189s |
| ssh-simplified/s3_clnt_2.cil.c | safe | 9.92 | 6.08 | 5.775s | 3.574s |
| ssh-simplified/s3_clnt_3.cil.c | safe | 8.18 | 4.85 | 4.540s | 2.856s |
| ssh-simplified/s3_clnt_4.cil.c | safe | 12.12 | 8.61 | 8.338s | 5.327s |
| ssh-simplified/s3_srvr_1a.cil.c | safe | 5.01 | 2.61 | 2.289s | 1.483s |
| ssh-simplified/s3_srvr_1b.cil.c | safe | 2.06 | 1.22 | 0.916s | 0.257s |
| ssh-simplified/s3_srvr_1.cil.c | out of memory | 69.40 | 65.38 | - | - |
| ssh-simplified/s3_srvr_3.cil.c | safe | 26.44 | 20.66 | 20.187s | 14.662s |
| ssh-simplified/s3_srvr_4.cil.c | safe | 11.38 | 7.53 | 7.188s | 5.254s |
| ssh-simplified/s3_srvr_6.cil.c | timeout | 119.61 | 114.73 | - | - |
| ssh-simplified/s3_srvr_7.cil.c | unknown | 72.97 | 70.45 | 70.127s | 68.832s |
| ssh-simplified/s3_srvr_8.cil.c | safe | 16.47 | 11.36 | 11.023s | 8.123s |
| ssh/s3_clnt.blast.01.BUG.i.cil.c | unsafe | 7.34 | 3.25 | 2.937s | 1.459s |
| ssh/s3_clnt.blast.02.BUG.i.cil.c | unsafe | 5.11 | 2.58 | 2.306s | 1.087s |
| ssh/s3_clnt.blast.03.BUG.i.cil.c | unsafe | 5.16 | 2.68 | 2.404s | 1.119s |
| ssh/s3_clnt.blast.04.BUG.i.cil.c | unsafe | 6.25 | 3.08 | 2.738s | 1.345s |
| ssh/s3_srvr.blast.01.BUG.i.cil.c | unsafe | 5.76 | 2.68 | 2.396s | 1.230s |
| ssh/s3_srvr.blast.02.BUG.i.cil.c | unsafe | 5.40 | 3.00 | 2.621s | 1.238s |
| ssh/s3_srvr.blast.03.BUG.i.cil.c | unsafe | 5.11 | 2.60 | 2.333s | 1.132s |
| ssh/s3_srvr.blast.04.BUG.i.cil.c | unsafe | 4.89 | 2.60 | 2.294s | 0.998s |
| ssh/s3_srvr.blast.06.BUG.i.cil.c | unsafe | 6.17 | 3.21 | 2.917s | 1.434s |
| ssh/s3_srvr.blast.07.BUG.i.cil.c | unknown | 67.20 | 62.90 | 62.576s | 61.015s |
| ssh/s3_srvr.blast.08.BUG.i.cil.c | unsafe | 26.56 | 20.86 | 20.450s | 18.477s |
| ssh/s3_srvr.blast.10.BUG.i.cil.c | unsafe | 38.61 | 32.61 | 32.219s | 29.342s |
| ssh/s3_srvr.blast.11.BUG.i.cil.c | unsafe | 5.28 | 2.90 | 2.647s | 1.321s |
| ssh/s3_srvr.blast.12.BUG.i.cil.c | unsafe | 12.10 | 8.01 | 7.702s | 5.952s |
| ssh/s3_srvr.blast.13.BUG.i.cil.c | unsafe | 28.69 | 23.35 | 22.962s | 20.370s |
| ssh/s3_srvr.blast.14.BUG.i.cil.c | unsafe | 8.24 | 4.97 | 3.629s | 2.154s |
| ssh/s3_srvr.blast.15.BUG.i.cil.c | unsafe | 18.25 | 14.24 | 13.839s | 11.314s |
| ssh/s3_srvr.blast.16.BUG.i.cil.c | unsafe | 5.97 | 5.65 | 4.335s | 1.768s |
| ssh/s3_clnt.blast.01.i.cil.c | safe | 8.14 | 7.56 | 7.058s | 4.259s |
| ssh/s3_clnt.blast.03.i.cil.c | safe | 13.65 | 12.44 | 11.102s | 6.320s |
| ssh/s3_clnt.blast.04.i.cil.c | safe | 11.70 | 7.62 | 7.319s | 4.272s |
| ssh/s3_srvr.blast.01.i.cil.c | safe | 34.46 | 29.91 | 29.473s | 25.070s |
| ssh/s3_srvr.blast.06.i.cil.c | safe | 26.14 | 20.41 | 19.968s | 14.989s |
| ssh/s3_srvr.blast.07.i.cil.c | unknown | 69.82 | 66.11 | 65.805s | 64.277s |
| ssh/s3_srvr.blast.08.i.cil.c | safe | 24.39 | 19.14 | 18.734s | 15.375s |
| ssh/s3_srvr.blast.09.i.cil.c | unknown | 66.28 | 61.87 | 61.521s | 59.330s |
| ssh/s3_srvr.blast.10.i.cil.c | safe | 11.82 | 7.22 | 6.882s | 4.921s |
| ssh/s3_srvr.blast.12.i.cil.c | safe | 14.34 | 9.35 | 8.955s | 7.062s |
| ssh/s3_srvr.blast.13.i.cil.c | unknown | 65.92 | 61.51 | 61.168s | 59.281s |
| ssh/s3_srvr.blast.14.i.cil.c | safe | 37.57 | 32.06 | 31.625s | 25.829s |
| ssh/s3_srvr.blast.15.i.cil.c | safe | 15.99 | 11.36 | 10.966s | 5.656s |
| ssh/s3_srvr.blast.16.i.cil.c | safe | 41.37 | 35.70 | 35.277s | 25.025s |
| locks/test_locks_14.BUG.c | unsafe | 2.45 | 1.40 | 1.155s | 0.384s |
| locks/test_locks_15.BUG.c | unsafe | 2.62 | 1.51 | 1.255s | 0.481s |
| locks/test_locks_10.c | safe | 2.11 | 1.20 | 0.946s | 0.257s |
| locks/test_locks_11.c | safe | 2.08 | 1.17 | 0.915s | 0.277s |
| locks/test_locks_12.c | safe | 2.32 | 1.27 | 1.019s | 0.354s |
| locks/test_locks_13.c | safe | 2.53 | 1.44 | 1.180s | 0.401s |
| locks/test_locks_14.c | safe | 2.85 | 1.76 | 1.452s | 0.561s |
| locks/test_locks_15.c | safe | 2.70 | 1.58 | 1.255s | 0.480s |
| locks/test_locks_5.c | safe | 1.69 | 0.92 | 0.672s | 0.099s |
| locks/test_locks_6.c | safe | 1.76 | 1.03 | 0.791s | 0.138s |
| locks/test_locks_7.c | safe | 1.86 | 1.08 | 0.808s | 0.155s |
| locks/test_locks_8.c | safe | 1.85 | 1.05 | 0.807s | 0.178s |
| locks/test_locks_9.c | safe | 2.15 | 1.24 | 0.996s | 0.229s |
| heap-manipulation/bubble_sort_linux_BUG.cil.c | unsafe | 2.60 | 1.39 | 1.089s | 0.170s |
| heap-manipulation/dll_of_dll_BUG.cil.c | unknown | 2.20 | 1.17 | 0.911s | 0.107s |
| heap-manipulation/merge_sort_BUG.cil.c | unsafe | 2.29 | 1.25 | 0.965s | 0.173s |
| heap-manipulation/bubble_sort_linux.cil.c | unsafe | 2.64 | 1.45 | 1.181s | 0.194s |
| heap-manipulation/dll_of_dll.cil.c | unknown | 1.91 | 0.98 | 0.745s | 0.103s |
| heap-manipulation/merge_sort.cil.c | safe | 1.96 | 1.08 | 0.824s | 0.075s |
| heap-manipulation/sll_to_dll_rev.cil.c | unknown | 13.02 | 11.25 | 10.959s | 8.353s |
| list-properties/alternating_list.cil.c | safe | 1.87 | 0.98 | 0.744s | 0.151s |
| list-properties/list.cil.c | safe | 1.88 | 1.09 | 0.783s | 0.198s |
| list-properties/list_flag.cil.c | safe | 1.94 | 1.07 | 0.830s | 0.182s |
| list-properties/simple.cil.c | unsafe | 1.89 | 1.00 | 0.747s | 0.150s |
| list-properties/simple_built_from_end.cil.c | unsafe | 1.85 | 1.00 | 0.755s | 0.142s |
| list-properties/splice.cil.c | unsafe | 3.37 | 2.16 | 1.908s | 0.721s |
| systemc/token_ring.01.BUG.cil.c | unsafe | 3.01 | 1.72 | 1.464s | 0.532s |
| systemc/token_ring.02.BUG.cil.c | unsafe | 5.19 | 2.76 | 2.502s | 1.226s |
| systemc/token_ring.03.BUG.cil.c | unsafe | 7.12 | 3.88 | 3.597s | 2.030s |
| systemc/transmitter.01.BUG.cil.c | unsafe | 2.37 | 1.32 | 1.074s | 0.311s |
| systemc/transmitter.02.BUG.cil.c | unsafe | 3.43 | 1.89 | 1.636s | 0.656s |
| systemc/transmitter.03.BUG.cil.c | unsafe | 4.42 | 2.27 | 2.014s | 0.808s |
| systemc/transmitter.04.BUG.cil.c | unsafe | 5.56 | 2.72 | 2.466s | 1.009s |
| systemc/bist_cell.cil.c | safe | 19.18 | 15.86 | 15.592s | 13.530s |
| systemc/kundu.cil.c | safe | 68.40 | 60.94 | 60.598s | 57.260s |
| systemc/mem_slave_tlm.1.cil.c | exception | 45.22 | 39.65 | - | - |
| systemc/mem_slave_tlm.2.cil.c | safe | 66.16 | 61.07 | 60.685s | 58.325s |
| systemc/mem_slave_tlm.4.cil.c | safe | 67.66 | 62.03 | 61.658s | 58.706s |
| systemc/pc_sfifo_1.cil.c | safe | 5.90 | 3.11 | 2.845s | 1.567s |
| systemc/pc_sfifo_2.cil.c | safe | 9.29 | 5.04 | 4.759s | 2.932s |
| systemc/pc_sfifo_3.cil.c | safe | 7.66 | 3.98 | 3.715s | 2.160s |
| systemc/token_ring.01.cil.c | safe | 8.78 | 4.96 | 4.710s | 2.683s |
| systemc/token_ring.04.cil.c | safe | 66.27 | 60.93 | 60.618s | 57.280s |
| systemc/toy.cil.c | safe | 69.63 | 60.92 | 60.593s | 57.826s |
| ldv-regression/1_3.c-unsafe.cil.c | unsafe | 1.46 | 0.84 | 0.606s | 0.031s |
| ldv-regression/alt_test.c-unsafe.cil.c | unsafe | 1.54 | 0.85 | 0.624s | 0.052s |
| ldv-regression/callfpointer.c-unsafe.cil.c | unsafe | 1.47 | 0.80 | 0.564s | 0.016s |
| ldv-regression/fo_test.c-unsafe.cil.c | unknown | 1.09 | 0.62 | - | - |
| ldv-regression/mutex_lock_int.c-unsafe.cil.c | unsafe | 1.39 | 0.78 | 0.545s | 0.017s |
| ldv-regression/mutex_lock_struct.c-unsafe.cil.c | unsafe | 1.46 | 0.85 | 0.606s | 0.017s |
| ldv-regression/recursive_list.c-unsafe.cil.c | unsafe | 1.48 | 0.82 | 0.586s | 0.038s |
| ldv-regression/rule57_ebda_blast.c-unsafe.cil.c | unsafe | 1.49 | 0.86 | 0.624s | 0.034s |
| ldv-regression/rule60_list2.c-unsafe_1.cil.c | unsafe | 2.16 | 1.20 | 0.944s | 0.214s |
| ldv-regression/stateful_check-unsafe.cil.c | unsafe | 2.14 | 1.28 | 1.043s | 0.421s |
| ldv-regression/test_while_int.c-unsafe.cil.c | unsafe | 1.46 | 0.83 | 0.588s | 0.042s |
| ldv-regression/test_while_int.c-unsafe_1.cil.c | unsafe | 1.51 | 0.82 | 0.575s | 0.036s |
| ldv-regression/alias_of_return.c-safe.cil.c | safe | 1.52 | 0.81 | 0.577s | 0.029s |
| ldv-regression/alias_of_return.c-safe_1.cil.c | safe | 1.59 | 0.82 | 0.568s | 0.018s |
| ldv-regression/alias_of_return_2.c-safe.cil.c | safe | 1.59 | 0.92 | 0.666s | 0.039s |
| ldv-regression/alias_of_return_2.c-safe_1.cil.c | safe | 1.45 | 0.82 | 0.585s | 0.019s |
| ldv-regression/ex3_forlist.c-safe.cil.c | unsafe | 2.05 | 1.16 | 0.913s | 0.223s |
| ldv-regression/just_assert.c-safe.cil.c | safe | 1.41 | 0.75 | 0.521s | 0.010s |
| ldv-regression/mutex_lock_int.c-safe_1.cil.c | unsafe | 1.37 | 0.78 | 0.532s | 0.017s |
| ldv-regression/mutex_lock_struct.c-safe_1.cil.c | unsafe | 1.58 | 0.88 | 0.642s | 0.017s |
| ldv-regression/nested_structure-safe.cil.c | unsafe | 1.54 | 0.84 | 0.603s | 0.041s |
| ldv-regression/nested_structure.c-safe.cil.c | unsafe | 1.42 | 0.79 | 0.556s | 0.020s |
| ldv-regression/nested_structure_noptr-safe.cil.c | safe | 1.48 | 0.78 | 0.546s | 0.015s |
| ldv-regression/nested_structure_noptr.c-safe.cil.c | safe | 1.52 | 0.83 | 0.588s | 0.026s |
| ldv-regression/nested_structure_ptr-safe.cil.c | unsafe | 1.69 | 0.98 | 0.743s | 0.101s |
| ldv-regression/nested_structure_ptr.c-safe.cil.c | unsafe | 1.50 | 0.80 | 0.564s | 0.023s |
| ldv-regression/oomInt.c-safe.cil.c | safe | 1.46 | 0.80 | 0.564s | 0.030s |
| ldv-regression/oomInt.c-safe_1.cil.c | safe | 1.49 | 0.80 | 0.567s | 0.032s |
| ldv-regression/rule57_ebda_blast.c-safe_1.cil.c | unsafe | 1.52 | 0.86 | 0.632s | 0.048s |
| ldv-regression/rule60_list.c-safe.cil.c | unsafe | 1.47 | 0.80 | 0.571s | 0.023s |
| ldv-regression/rule60_list2.c-safe.cil.c | safe | 2.02 | 1.27 | 1.019s | 0.262s |
| ldv-regression/sizeofparameters_test.c-safe.cil.c | safe | 1.29 | 0.75 | 0.524s | 0.024s |
| ldv-regression/structure_assignment.c-safe.cil.c | unsafe | 1.48 | 0.79 | 0.547s | 0.017s |
| ldv-regression/test_address.c-safe.cil.c | unsafe | 1.46 | 0.80 | 0.555s | 0.021s |
| ldv-regression/test_cut_trace.c-safe.cil.c | safe | 1.44 | 0.78 | 0.547s | 0.018s |
| ldv-regression/test_malloc-1-safe.cil.c | safe | 1.50 | 0.79 | 0.557s | 0.029s |
| ldv-regression/test_malloc-2-safe.cil.c | safe | 1.49 | 0.79 | 0.554s | 0.026s |
| ldv-regression/test_overflow.c-safe.cil.c | safe | 1.49 | 0.80 | 0.566s | 0.029s |
| ldv-regression/test_union.c-safe.cil.c | safe | 1.51 | 0.81 | 0.582s | 0.018s |
| ldv-regression/test_union.c-safe_1.cil.c | unsafe | 1.48 | 0.78 | 0.547s | 0.015s |
| ldv-regression/test_union_cast-1-safe.cil.c | safe | 1.47 | 0.77 | 0.540s | 0.015s |
| ldv-regression/test_union_cast-2-safe.cil.c | safe | 1.46 | 0.86 | 0.617s | 0.023s |
| ldv-regression/test_union_cast.c-safe.cil.c | unsafe | 1.46 | 0.79 | 0.559s | 0.020s |
| ldv-regression/test_union_cast.c-safe_1.cil.c | safe | 1.57 | 0.86 | 0.615s | 0.019s |
| ldv-regression/volatile_alias.c-safe.cil.c | safe | 1.73 | 0.90 | 0.641s | 0.017s |
| ldv-regression/volatile_alias.c-safe_1.cil.c | safe | 1.66 | 0.89 | 0.632s | 0.017s |
| ddv-machzwd/ddv_machzwd_all_BUG.cil.c | unsafe | 4.27 | 2.23 | 1.966s | 0.418s |
| ddv-machzwd/ddv_machzwd_inw_BUG.cil.c | unsafe | 4.23 | 2.21 | 1.950s | 0.453s |
| ddv-machzwd/ddv_machzwd_outb_BUG.cil.c | unsafe | 3.94 | 2.00 | 1.730s | 0.358s |
| ddv-machzwd/ddv_machzwd_inb.cil.c | safe | 3.75 | 1.93 | 1.626s | 0.445s |
| ddv-machzwd/ddv_machzwd_inb_p.cil.c | safe | 3.79 | 1.84 | 1.581s | 0.443s |
| ddv-machzwd/ddv_machzwd_inl.cil.c | safe | 3.88 | 1.85 | 1.577s | 0.454s |
| ddv-machzwd/ddv_machzwd_inl_p.cil.c | safe | 4.20 | 2.15 | 1.783s | 0.478s |
| ddv-machzwd/ddv_machzwd_inw_p.cil.c | safe | 4.19 | 2.08 | 1.776s | 0.461s |
| ddv-machzwd/ddv_machzwd_outb_p.cil.c | safe | 3.87 | 1.92 | 1.598s | 0.448s |
| ddv-machzwd/ddv_machzwd_outl.cil.c | safe | 3.84 | 1.98 | 1.682s | 0.417s |
| ddv-machzwd/ddv_machzwd_outl_p.cil.c | safe | 3.84 | 1.84 | 1.585s | 0.417s |
| ddv-machzwd/ddv_machzwd_outw_p.cil.c | safe | 3.80 | 1.97 | 1.711s | 0.435s |
| ddv-machzwd/ddv_machzwd_pthread_mutex_unlock.cil.c | safe | 3.88 | 1.92 | 1.654s | 0.450s |
| ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 16.03 | 7.14 | 6.846s | 0.521s |
| ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 12.50 | 6.37 | 6.036s | 2.111s |
| ldv-drivers/module_get_put-drivers-block-pktcdvd.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 15.70 | 7.73 | 7.335s | 3.152s |
| ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 15.06 | 5.63 | 5.351s | 0.611s |
| ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 19.50 | 10.00 | 9.662s | 3.221s |
| ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 10.61 | 4.72 | 4.393s | 1.636s |
| ldv-drivers/module_get_put-drivers-net-wan-farsync.ko-unsafe.cil.out.iunsafe.cil.out.i.pp.cil.c | unsafe | 20.42 | 11.41 | 11.025s | 4.783s |
| ldv-drivers/module_get_put-drivers-tty-synclink_gt.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 9.47 | 3.77 | 3.432s | 0.268s |
| ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 22.90 | 8.85 | 8.557s | 1.377s |
| ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 13.26 | 7.11 | 6.748s | 3.122s |
| ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 45.54 | 29.68 | 29.285s | 12.275s |
| ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 7.50 | 3.50 | 3.130s | 0.704s |
| ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 18.49 | 11.53 | 11.127s | 4.415s |
| ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 6.18 | 2.89 | 2.591s | 0.792s |
| ldv-drivers/module_get_put-drivers-atm-eni.ko-safe.cil.out.i.pp.cil.c | safe | 19.29 | 9.49 | 9.076s | 6.372s |
| ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-safe.cil.out.i.pp.cil.c | safe | 18.16 | 8.08 | 7.715s | 1.284s |
| ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.c | safe | 39.64 | 21.97 | 21.486s | 11.768s |
| ldv-drivers/module_get_put-drivers-bluetooth-btmrvl.ko-safe.cil.out.i.pp.cil.c | safe | 13.70 | 6.94 | 6.586s | 4.152s |
| ldv-drivers/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko-safe.cil.out.i.pp.cil.c | safe | 15.24 | 7.97 | 7.566s | 4.412s |
| ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko-safe.cil.out.i.pp.cil.c | safe | 22.18 | 10.65 | 10.278s | 1.364s |
| ldv-drivers/module_get_put-drivers-hid-hid-magicmouse.ko-safe.cil.out.i.pp.cil.c | unknown | 4.92 | 2.40 | 2.095s | 0.759s |
| ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.c | safe | 8.32 | 3.96 | 3.612s | 1.494s |
| ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko-safe.cil.out.i.pp.cil.c | safe | 23.88 | 13.38 | 12.926s | 7.635s |
| ldv-drivers/module_get_put-drivers-net-pppox.ko-safe.cil.out.i.pp.cil.c | safe | 5.55 | 2.77 | 2.489s | 0.836s |
| ldv-drivers/module_get_put-drivers-net-sis900.ko-safe.cil.out.i.pp.cil.c | safe | 15.50 | 7.56 | 7.154s | 4.606s |
| ldv-drivers/module_get_put-drivers-scsi-megaraid.ko-safe.cil.out.i.pp.cil.c | unknown | 85.73 | 64.44 | 64.005s | 60.071s |
| ldv-drivers/module_get_put-drivers-staging-et131x-et131x.ko-safe.cil.out.i.pp.cil.c | safe | 21.41 | 10.40 | 9.799s | 6.112s |
| ldv-drivers/usb_urb-drivers-input-tablet-kbtab.ko-safe.cil.out.i.pp.cil.c | safe | 9.80 | 4.80 | 4.507s | 2.287s |
| ldv-drivers/usb_urb-drivers-media-video-c-qcam.ko-safe.cil.out.i.pp.cil.c | safe | 6.18 | 3.02 | 2.737s | 0.981s |
| ldv-drivers/usb_urb-drivers-media-video-msp3400.ko-safe.cil.out.i.pp.cil.c | safe | 8.68 | 3.57 | 3.254s | 1.447s |
| ldv-drivers/usb_urb-drivers-misc-c2port-core.ko-safe.cil.out.i.pp.cil.c | safe | 4.96 | 2.41 | 2.111s | 0.783s |
| ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.c | safe | 20.19 | 8.55 | 8.105s | 3.810s |
| ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko-safe.cil.out.i.pp.cil.c | unsafe | 4.95 | 2.24 | 1.977s | 0.536s |
| ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko-safe.cil.out.i.pp.cil.c | safe | 22.22 | 11.97 | 11.623s | 4.358s |
| ldv-drivers/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko-safe.cil.out.i.pp.cil.c | unsafe | 3.80 | 1.72 | 1.472s | 0.175s |
| ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.c | safe | 13.37 | 6.01 | 5.016s | 2.446s |
| ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.c | safe | 7.12 | 3.21 | 2.894s | 1.020s |