| pthread/fib_bench_BUG.cil.c | unknown | 1.25 | 0.72 | 0.506s | 0.025s |
| pthread/fib_bench_longer_BUG.cil.c | unknown | 1.23 | 0.73 | 0.508s | 0.025s |
| pthread/queue_BUG.cil.c | unknown | 1.74 | 0.99 | 0.725s | 0.098s |
| pthread/reorder_5_BUG.cil.c | unknown | 1.86 | 1.02 | 0.755s | 0.109s |
| pthread/twostage_3_BUG.cil.c | unknown | 1.90 | 0.99 | 0.746s | 0.114s |
| pthread/fib_bench.cil.c | unknown | 1.33 | 0.79 | 0.556s | 0.034s |
| pthread/fib_bench_longer.cil.c | unknown | 1.29 | 0.76 | 0.505s | 0.031s |
| pthread/queue_ok.cil.c | unknown | 1.90 | 1.05 | 0.769s | 0.088s |
| ntdrivers-simplified/cdaudio_simpl1_BUG.cil.c | unsafe | 16.30 | 9.94 | 9.577s | 6.513s |
| ntdrivers-simplified/floppy_simpl3_BUG.cil.c | unsafe | 7.18 | 3.63 | 3.348s | 1.713s |
| ntdrivers-simplified/floppy_simpl4_BUG.cil.c | unsafe | 9.04 | 4.30 | 3.988s | 2.132s |
| ntdrivers-simplified/kbfiltr_simpl2_BUG.cil.c | unsafe | 5.41 | 2.71 | 2.340s | 1.077s |
| ntdrivers-simplified/cdaudio_simpl1.cil.c | safe | 13.66 | 7.52 | 7.141s | 4.625s |
| ntdrivers-simplified/diskperf_simpl1.cil.c | safe | 10.52 | 5.86 | 5.544s | 3.557s |
| ntdrivers-simplified/floppy_simpl3.cil.c | safe | 9.98 | 5.24 | 4.922s | 3.054s |
| ntdrivers-simplified/floppy_simpl4.cil.c | safe | 11.61 | 6.07 | 5.737s | 3.625s |
| ntdrivers-simplified/kbfiltr_simpl1.cil.c | safe | 2.90 | 1.64 | 1.376s | 0.490s |
| ntdrivers-simplified/kbfiltr_simpl2.cil.c | safe | 4.73 | 2.48 | 2.163s | 0.933s |
| ntdrivers/cdaudio.BUG.i.cil.c | unsafe | 14.94 | 7.83 | 7.463s | 4.204s |
| ntdrivers/diskperf.BUG.i.cil.c | unsafe | 11.38 | 5.95 | 5.579s | 2.913s |
| ntdrivers/floppy.BUG.i.cil.c | unsafe | 12.91 | 6.89 | 6.419s | 2.917s |
| ntdrivers/kbfiltr.BUG.i.cil.c | unsafe | 7.66 | 3.98 | 3.576s | 1.451s |
| ntdrivers/parport.BUG.i.cil.c | unsafe | 20.07 | 11.65 | 11.232s | 5.687s |
| ntdrivers/cdaudio.i.cil.c | safe | 17.19 | 10.05 | 9.697s | 5.928s |
| ntdrivers/diskperf.i.cil.c | safe | 12.55 | 6.76 | 6.427s | 3.795s |
| ntdrivers/floppy.i.cil.c | safe | 15.39 | 9.23 | 8.866s | 4.691s |
| ntdrivers/parport.i.cil.c | safe | 27.77 | 18.84 | 18.398s | 11.692s |
| ssh-simplified/s3_clnt_1_BUG.cil.c | unsafe | 5.42 | 3.10 | 2.804s | 1.691s |
| ssh-simplified/s3_clnt_2_BUG.cil.c | unsafe | 4.93 | 2.83 | 2.517s | 1.302s |
| ssh-simplified/s3_clnt_3_BUG.cil.c | unsafe | 5.63 | 2.87 | 2.564s | 1.370s |
| ssh-simplified/s3_clnt_4_BUG.cil.c | unsafe | 4.28 | 2.35 | 2.058s | 0.930s |
| ssh-simplified/s3_srvr_10_BUG.cil.c | unsafe | 18.72 | 13.83 | 13.477s | 10.201s |
| ssh-simplified/s3_srvr_11_BUG.cil.c | unsafe | 64.59 | 58.33 | 57.850s | 51.657s |
| ssh-simplified/s3_srvr_12_BUG.cil.c | timeout | 119.58 | 115.08 | - | - |
| ssh-simplified/s3_srvr_14_BUG.cil.c | unsafe | 17.79 | 13.29 | 12.943s | 10.258s |
| ssh-simplified/s3_srvr_1_BUG.cil.c | unsafe | 4.18 | 2.39 | 2.141s | 0.959s |
| ssh-simplified/s3_srvr_2_BUG.cil.c | unsafe | 4.99 | 2.55 | 2.274s | 1.249s |
| ssh-simplified/s3_srvr_6_BUG.cil.c | unsafe | 2.12 | 1.11 | 0.852s | 0.057s |
| ssh-simplified/s3_clnt_1.cil.c | safe | 10.66 | 6.79 | 6.498s | 4.522s |
| ssh-simplified/s3_clnt_2.cil.c | safe | 8.78 | 5.50 | 5.228s | 3.148s |
| ssh-simplified/s3_clnt_3.cil.c | safe | 8.16 | 4.51 | 4.230s | 2.678s |
| ssh-simplified/s3_clnt_4.cil.c | safe | 11.80 | 8.15 | 7.880s | 5.041s |
| ssh-simplified/s3_srvr_1a.cil.c | safe | 4.52 | 2.33 | 2.021s | 1.298s |
| ssh-simplified/s3_srvr_1b.cil.c | safe | 1.98 | 1.07 | 0.814s | 0.217s |
| ssh-simplified/s3_srvr_1.cil.c | out of memory | 64.21 | 59.69 | - | - |
| ssh-simplified/s3_srvr_3.cil.c | safe | 24.80 | 19.44 | 18.995s | 13.854s |
| ssh-simplified/s3_srvr_4.cil.c | safe | 10.13 | 6.28 | 5.906s | 4.398s |
| ssh-simplified/s3_srvr_6.cil.c | timeout | 119.56 | 114.56 | - | - |
| ssh-simplified/s3_srvr_7.cil.c | unknown | 64.68 | 61.71 | 61.414s | 60.337s |
| ssh-simplified/s3_srvr_8.cil.c | safe | 14.89 | 10.72 | 10.375s | 7.659s |
| ssh/s3_clnt.blast.01.BUG.i.cil.c | unsafe | 6.23 | 2.97 | 2.692s | 1.403s |
| ssh/s3_clnt.blast.02.BUG.i.cil.c | unsafe | 4.74 | 2.41 | 2.148s | 0.996s |
| ssh/s3_clnt.blast.03.BUG.i.cil.c | unsafe | 4.80 | 2.49 | 2.213s | 1.073s |
| ssh/s3_clnt.blast.04.BUG.i.cil.c | unsafe | 5.66 | 2.67 | 2.393s | 1.172s |
| ssh/s3_srvr.blast.01.BUG.i.cil.c | unsafe | 5.91 | 2.87 | 2.603s | 1.273s |
| ssh/s3_srvr.blast.02.BUG.i.cil.c | unsafe | 4.77 | 2.47 | 2.164s | 0.957s |
| ssh/s3_srvr.blast.03.BUG.i.cil.c | unsafe | 4.65 | 2.26 | 1.995s | 0.963s |
| ssh/s3_srvr.blast.04.BUG.i.cil.c | unsafe | 4.73 | 2.27 | 1.998s | 0.927s |
| ssh/s3_srvr.blast.06.BUG.i.cil.c | unsafe | 5.74 | 3.12 | 2.840s | 1.431s |
| ssh/s3_srvr.blast.07.BUG.i.cil.c | unknown | 66.50 | 62.56 | 62.217s | 60.830s |
| ssh/s3_srvr.blast.08.BUG.i.cil.c | unsafe | 26.02 | 20.54 | 20.129s | 18.110s |
| ssh/s3_srvr.blast.10.BUG.i.cil.c | unsafe | 36.14 | 30.64 | 30.219s | 27.421s |
| ssh/s3_srvr.blast.11.BUG.i.cil.c | unsafe | 4.85 | 2.72 | 2.456s | 1.208s |
| ssh/s3_srvr.blast.12.BUG.i.cil.c | unsafe | 10.77 | 7.19 | 6.876s | 5.327s |
| ssh/s3_srvr.blast.13.BUG.i.cil.c | unsafe | 28.42 | 23.05 | 22.666s | 20.777s |
| ssh/s3_srvr.blast.14.BUG.i.cil.c | unsafe | 6.86 | 3.58 | 3.308s | 1.985s |
| ssh/s3_srvr.blast.15.BUG.i.cil.c | unsafe | 17.98 | 13.33 | 12.978s | 11.091s |
| ssh/s3_srvr.blast.16.BUG.i.cil.c | unsafe | 6.32 | 3.37 | 3.106s | 1.774s |
| ssh/s3_clnt.blast.01.i.cil.c | safe | 8.01 | 4.91 | 4.629s | 2.992s |
| ssh/s3_clnt.blast.03.i.cil.c | safe | 12.07 | 8.43 | 8.138s | 5.654s |
| ssh/s3_clnt.blast.04.i.cil.c | safe | 10.87 | 6.95 | 6.683s | 3.919s |
| ssh/s3_srvr.blast.01.i.cil.c | safe | 32.64 | 27.69 | 27.334s | 23.168s |
| ssh/s3_srvr.blast.06.i.cil.c | safe | 25.42 | 19.97 | 19.538s | 14.602s |
| ssh/s3_srvr.blast.07.i.cil.c | unknown | 66.09 | 62.18 | 61.888s | 60.435s |
| ssh/s3_srvr.blast.08.i.cil.c | safe | 23.43 | 18.37 | 17.978s | 14.386s |
| ssh/s3_srvr.blast.09.i.cil.c | unknown | 66.84 | 62.12 | 61.797s | 59.816s |
| ssh/s3_srvr.blast.10.i.cil.c | safe | 11.79 | 7.18 | 6.776s | 4.937s |
| ssh/s3_srvr.blast.12.i.cil.c | safe | 14.68 | 9.70 | 9.335s | 7.378s |
| ssh/s3_srvr.blast.13.i.cil.c | unknown | 66.75 | 61.91 | 61.582s | 59.855s |
| ssh/s3_srvr.blast.14.i.cil.c | safe | 36.12 | 30.92 | 30.491s | 24.539s |
| ssh/s3_srvr.blast.15.i.cil.c | safe | 15.16 | 10.68 | 10.297s | 5.523s |
| ssh/s3_srvr.blast.16.i.cil.c | safe | 42.40 | 37.09 | 36.666s | 26.843s |
| locks/test_locks_14.BUG.c | unsafe | 2.75 | 1.60 | 1.346s | 0.449s |
| locks/test_locks_15.BUG.c | unsafe | 2.78 | 1.61 | 1.353s | 0.515s |
| locks/test_locks_10.c | safe | 1.92 | 1.08 | 0.832s | 0.234s |
| locks/test_locks_11.c | safe | 2.25 | 1.29 | 1.018s | 0.308s |
| locks/test_locks_12.c | safe | 2.38 | 1.34 | 1.086s | 0.358s |
| locks/test_locks_13.c | safe | 2.32 | 1.31 | 1.061s | 0.372s |
| locks/test_locks_14.c | safe | 2.63 | 1.47 | 1.213s | 0.455s |
| locks/test_locks_15.c | safe | 2.74 | 1.57 | 1.319s | 0.527s |
| locks/test_locks_5.c | safe | 1.90 | 1.19 | 0.905s | 0.105s |
| locks/test_locks_6.c | safe | 1.86 | 1.07 | 0.802s | 0.123s |
| locks/test_locks_7.c | safe | 2.18 | 1.26 | 0.954s | 0.163s |
| locks/test_locks_8.c | safe | 2.07 | 1.23 | 0.976s | 0.197s |
| locks/test_locks_9.c | safe | 2.22 | 1.27 | 0.959s | 0.226s |
| heap-manipulation/bubble_sort_linux_BUG.cil.c | unsafe | 2.76 | 1.58 | 1.198s | 0.201s |
| heap-manipulation/dll_of_dll_BUG.cil.c | unknown | 2.16 | 1.19 | 0.869s | 0.112s |
| heap-manipulation/merge_sort_BUG.cil.c | unsafe | 2.32 | 1.38 | 1.118s | 0.238s |
| heap-manipulation/bubble_sort_linux.cil.c | unsafe | 2.75 | 1.56 | 1.287s | 0.256s |
| heap-manipulation/dll_of_dll.cil.c | unknown | 2.14 | 1.12 | 0.820s | 0.121s |
| heap-manipulation/merge_sort.cil.c | safe | 1.97 | 1.08 | 0.818s | 0.078s |
| heap-manipulation/sll_to_dll_rev.cil.c | unknown | 13.74 | 12.13 | 11.746s | 8.936s |
| list-properties/alternating_list.cil.c | safe | 2.22 | 1.19 | 0.907s | 0.182s |
| list-properties/list.cil.c | safe | 2.02 | 1.12 | 0.876s | 0.240s |
| list-properties/list_flag.cil.c | safe | 2.17 | 1.25 | 0.988s | 0.208s |
| list-properties/simple.cil.c | unsafe | 1.92 | 1.02 | 0.777s | 0.174s |
| list-properties/simple_built_from_end.cil.c | unsafe | 2.02 | 1.11 | 0.845s | 0.143s |
| list-properties/splice.cil.c | unsafe | 3.67 | 2.37 | 2.080s | 0.806s |
| systemc/token_ring.01.BUG.cil.c | unsafe | 3.07 | 1.68 | 1.413s | 0.511s |
| systemc/token_ring.02.BUG.cil.c | unsafe | 6.33 | 3.14 | 2.831s | 1.378s |
| systemc/token_ring.03.BUG.cil.c | unsafe | 7.26 | 3.85 | 3.581s | 1.997s |
| systemc/transmitter.01.BUG.cil.c | unsafe | 2.69 | 1.56 | 1.285s | 0.390s |
| systemc/transmitter.02.BUG.cil.c | unsafe | 3.87 | 2.21 | 1.914s | 0.789s |
| systemc/transmitter.03.BUG.cil.c | unsafe | 4.81 | 2.55 | 2.243s | 0.903s |
| systemc/transmitter.04.BUG.cil.c | unsafe | 6.33 | 3.21 | 2.924s | 1.209s |
| systemc/bist_cell.cil.c | safe | 20.39 | 16.88 | 16.583s | 14.482s |
| systemc/kundu.cil.c | safe | 68.82 | 61.07 | 60.734s | 56.517s |
| systemc/mem_slave_tlm.1.cil.c | exception | 37.41 | 31.60 | - | - |
| systemc/mem_slave_tlm.2.cil.c | safe | 68.01 | 63.19 | 62.765s | 60.251s |
| systemc/mem_slave_tlm.4.cil.c | timeout | 119.68 | 118.34 | - | - |
| systemc/pc_sfifo_1.cil.c | safe | 6.15 | 3.24 | 2.998s | 1.611s |
| systemc/pc_sfifo_2.cil.c | safe | 9.32 | 5.64 | 5.350s | 3.293s |
| systemc/pc_sfifo_3.cil.c | safe | 8.13 | 4.39 | 4.079s | 2.332s |
| systemc/token_ring.01.cil.c | safe | 9.74 | 5.61 | 5.356s | 2.991s |
| systemc/token_ring.04.cil.c | safe | 66.24 | 60.93 | 60.606s | 56.824s |
| systemc/toy.cil.c | safe | 74.29 | 66.40 | 66.007s | 63.497s |
| ldv-regression/1_3.c-unsafe.cil.c | unsafe | 1.71 | 0.97 | 0.724s | 0.039s |
| ldv-regression/alt_test.c-unsafe.cil.c | unsafe | 1.82 | 0.98 | 0.700s | 0.058s |
| ldv-regression/callfpointer.c-unsafe.cil.c | unsafe | 1.67 | 0.94 | 0.676s | 0.017s |
| ldv-regression/fo_test.c-unsafe.cil.c | unknown | 1.36 | 0.79 | - | - |
| ldv-regression/mutex_lock_int.c-unsafe.cil.c | unsafe | 1.60 | 0.89 | 0.623s | 0.018s |
| ldv-regression/mutex_lock_struct.c-unsafe.cil.c | unsafe | 1.72 | 0.95 | 0.689s | 0.020s |
| ldv-regression/recursive_list.c-unsafe.cil.c | unsafe | 1.61 | 0.92 | 0.663s | 0.042s |
| ldv-regression/rule57_ebda_blast.c-unsafe.cil.c | unsafe | 1.85 | 0.99 | 0.729s | 0.043s |
| ldv-regression/rule60_list2.c-unsafe_1.cil.c | unsafe | 2.44 | 1.40 | 1.094s | 0.276s |
| ldv-regression/stateful_check-unsafe.cil.c | unsafe | 2.65 | 1.58 | 1.263s | 0.515s |
| ldv-regression/test_while_int.c-unsafe.cil.c | unsafe | 1.68 | 0.96 | 0.701s | 0.050s |
| ldv-regression/test_while_int.c-unsafe_1.cil.c | unsafe | 1.56 | 0.89 | 0.626s | 0.038s |
| ldv-regression/alias_of_return.c-safe.cil.c | safe | 1.61 | 0.85 | 0.566s | 0.033s |
| ldv-regression/alias_of_return.c-safe_1.cil.c | safe | 1.54 | 0.87 | 0.616s | 0.021s |
| ldv-regression/alias_of_return_2.c-safe.cil.c | safe | 1.69 | 0.96 | 0.672s | 0.041s |
| ldv-regression/alias_of_return_2.c-safe_1.cil.c | safe | 1.55 | 0.87 | 0.621s | 0.022s |
| ldv-regression/ex3_forlist.c-safe.cil.c | unsafe | 2.20 | 1.24 | 0.988s | 0.234s |
| ldv-regression/just_assert.c-safe.cil.c | safe | 1.56 | 0.88 | 0.632s | 0.015s |
| ldv-regression/mutex_lock_int.c-safe_1.cil.c | unsafe | 1.64 | 0.88 | 0.618s | 0.023s |
| ldv-regression/mutex_lock_struct.c-safe_1.cil.c | unsafe | 1.67 | 0.95 | 0.679s | 0.026s |
| ldv-regression/nested_structure-safe.cil.c | unsafe | 1.56 | 0.84 | 0.601s | 0.044s |
| ldv-regression/nested_structure.c-safe.cil.c | unsafe | 1.64 | 0.91 | 0.644s | 0.021s |
| ldv-regression/nested_structure_noptr-safe.cil.c | safe | 1.70 | 0.85 | 0.612s | 0.017s |
| ldv-regression/nested_structure_noptr.c-safe.cil.c | safe | 1.53 | 0.86 | 0.595s | 0.025s |
| ldv-regression/nested_structure_ptr-safe.cil.c | unsafe | 1.90 | 1.03 | 0.742s | 0.094s |
| ldv-regression/nested_structure_ptr.c-safe.cil.c | unsafe | 1.91 | 1.08 | 0.791s | 0.031s |
| ldv-regression/oomInt.c-safe.cil.c | safe | 1.65 | 0.93 | 0.672s | 0.033s |
| ldv-regression/oomInt.c-safe_1.cil.c | safe | 1.70 | 0.93 | 0.660s | 0.039s |
| ldv-regression/rule57_ebda_blast.c-safe_1.cil.c | unsafe | 1.56 | 0.95 | 0.657s | 0.049s |
| ldv-regression/rule60_list.c-safe.cil.c | unsafe | 1.62 | 0.98 | 0.683s | 0.029s |
| ldv-regression/rule60_list2.c-safe.cil.c | safe | 2.22 | 1.33 | 1.001s | 0.261s |
| ldv-regression/sizeofparameters_test.c-safe.cil.c | safe | 1.68 | 0.89 | 0.622s | 0.030s |
| ldv-regression/structure_assignment.c-safe.cil.c | unsafe | 1.71 | 0.97 | 0.691s | 0.022s |
| ldv-regression/test_address.c-safe.cil.c | unsafe | 1.68 | 0.94 | 0.638s | 0.025s |
| ldv-regression/test_cut_trace.c-safe.cil.c | safe | 1.63 | 0.90 | 0.638s | 0.030s |
| ldv-regression/test_malloc-1-safe.cil.c | safe | 1.62 | 0.83 | 0.584s | 0.030s |
| ldv-regression/test_malloc-2-safe.cil.c | safe | 1.67 | 0.92 | 0.645s | 0.028s |
| ldv-regression/test_overflow.c-safe.cil.c | safe | 1.52 | 0.90 | 0.627s | 0.030s |
| ldv-regression/test_union.c-safe.cil.c | safe | 1.66 | 0.90 | 0.655s | 0.029s |
| ldv-regression/test_union.c-safe_1.cil.c | unsafe | 1.74 | 0.93 | 0.670s | 0.016s |
| ldv-regression/test_union_cast-1-safe.cil.c | safe | 1.82 | 1.00 | 0.695s | 0.024s |
| ldv-regression/test_union_cast-2-safe.cil.c | safe | 1.76 | 1.02 | 0.716s | 0.037s |
| ldv-regression/test_union_cast.c-safe.cil.c | unsafe | 1.82 | 0.98 | 0.687s | 0.032s |
| ldv-regression/test_union_cast.c-safe_1.cil.c | safe | 1.68 | 0.97 | 0.634s | 0.032s |
| ldv-regression/volatile_alias.c-safe.cil.c | safe | 1.73 | 0.95 | 0.622s | 0.017s |
| ldv-regression/volatile_alias.c-safe_1.cil.c | safe | 1.82 | 1.02 | 0.680s | 0.016s |
| ddv-machzwd/ddv_machzwd_all_BUG.cil.c | unsafe | 4.43 | 2.45 | 2.172s | 0.466s |
| ddv-machzwd/ddv_machzwd_inw_BUG.cil.c | unsafe | 4.31 | 2.34 | 2.030s | 0.453s |
| ddv-machzwd/ddv_machzwd_outb_BUG.cil.c | unsafe | 4.46 | 2.43 | 2.033s | 0.409s |
| ddv-machzwd/ddv_machzwd_inb.cil.c | safe | 3.88 | 1.94 | 1.673s | 0.422s |
| ddv-machzwd/ddv_machzwd_inb_p.cil.c | safe | 4.32 | 2.18 | 1.883s | 0.434s |
| ddv-machzwd/ddv_machzwd_inl.cil.c | safe | 3.60 | 1.81 | 1.473s | 0.348s |
| ddv-machzwd/ddv_machzwd_inl_p.cil.c | safe | 3.80 | 1.83 | 1.564s | 0.367s |
| ddv-machzwd/ddv_machzwd_inw_p.cil.c | safe | 3.68 | 1.78 | 1.485s | 0.353s |
| ddv-machzwd/ddv_machzwd_outb_p.cil.c | safe | 3.85 | 1.96 | 1.694s | 0.448s |
| ddv-machzwd/ddv_machzwd_outl.cil.c | safe | 3.74 | 1.77 | 1.501s | 0.374s |
| ddv-machzwd/ddv_machzwd_outl_p.cil.c | safe | 3.62 | 1.80 | 1.521s | 0.374s |
| ddv-machzwd/ddv_machzwd_outw_p.cil.c | safe | 3.74 | 1.89 | 1.632s | 0.435s |
| ddv-machzwd/ddv_machzwd_pthread_mutex_unlock.cil.c | safe | 3.73 | 1.81 | 1.538s | 0.355s |
| ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 16.77 | 7.26 | 6.937s | 0.540s |
| ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 12.85 | 6.49 | 6.158s | 2.186s |
| ldv-drivers/module_get_put-drivers-block-pktcdvd.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 15.73 | 7.12 | 6.709s | 2.855s |
| ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 15.42 | 5.57 | 5.308s | 0.598s |
| ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 21.47 | 10.95 | 10.593s | 3.898s |
| ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 11.89 | 5.26 | 4.952s | 1.890s |
| ldv-drivers/module_get_put-drivers-net-wan-farsync.ko-unsafe.cil.out.iunsafe.cil.out.i.pp.cil.c | unsafe | 22.81 | 13.65 | 12.226s | 5.101s |
| ldv-drivers/module_get_put-drivers-tty-synclink_gt.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 9.52 | 4.19 | 3.912s | 0.251s |
| ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 17.10 | 6.80 | 6.515s | 1.119s |
| ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 12.61 | 6.96 | 6.620s | 3.051s |
| ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 42.75 | 27.36 | 26.999s | 10.502s |
| ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 7.61 | 3.48 | 3.198s | 0.705s |
| ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 17.72 | 10.59 | 10.224s | 4.562s |
| ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 6.74 | 3.28 | 2.908s | 0.922s |
| ldv-drivers/module_get_put-drivers-atm-eni.ko-safe.cil.out.i.pp.cil.c | safe | 21.48 | 10.13 | 9.745s | 6.170s |
| ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-safe.cil.out.i.pp.cil.c | safe | 18.56 | 8.10 | 7.782s | 1.209s |
| ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.c | safe | 35.19 | 19.63 | 19.190s | 11.133s |
| ldv-drivers/module_get_put-drivers-bluetooth-btmrvl.ko-safe.cil.out.i.pp.cil.c | safe | 12.11 | 5.82 | 5.456s | 3.340s |
| ldv-drivers/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko-safe.cil.out.i.pp.cil.c | safe | 12.89 | 6.29 | 5.957s | 3.582s |
| ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko-safe.cil.out.i.pp.cil.c | safe | 21.02 | 9.44 | 9.068s | 1.157s |
| ldv-drivers/module_get_put-drivers-hid-hid-magicmouse.ko-safe.cil.out.i.pp.cil.c | unknown | 4.73 | 2.40 | 2.095s | 0.771s |
| ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.c | safe | 7.91 | 3.82 | 3.519s | 1.287s |
| ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko-safe.cil.out.i.pp.cil.c | safe | 20.54 | 10.19 | 9.801s | 6.291s |
| ldv-drivers/module_get_put-drivers-net-pppox.ko-safe.cil.out.i.pp.cil.c | safe | 5.12 | 2.67 | 2.278s | 0.766s |
| ldv-drivers/module_get_put-drivers-net-sis900.ko-safe.cil.out.i.pp.cil.c | safe | 15.70 | 7.65 | 7.290s | 4.504s |
| ldv-drivers/module_get_put-drivers-scsi-megaraid.ko-safe.cil.out.i.pp.cil.c | unknown | 87.64 | 63.94 | 63.513s | 60.545s |
| ldv-drivers/module_get_put-drivers-staging-et131x-et131x.ko-safe.cil.out.i.pp.cil.c | safe | 21.14 | 10.33 | 9.970s | 6.813s |
| ldv-drivers/usb_urb-drivers-input-tablet-kbtab.ko-safe.cil.out.i.pp.cil.c | safe | 9.89 | 4.69 | 4.388s | 2.224s |
| ldv-drivers/usb_urb-drivers-media-video-c-qcam.ko-safe.cil.out.i.pp.cil.c | safe | 6.02 | 2.75 | 2.466s | 0.863s |
| ldv-drivers/usb_urb-drivers-media-video-msp3400.ko-safe.cil.out.i.pp.cil.c | safe | 9.56 | 3.79 | 3.471s | 1.496s |
| ldv-drivers/usb_urb-drivers-misc-c2port-core.ko-safe.cil.out.i.pp.cil.c | safe | 4.86 | 2.42 | 2.145s | 0.722s |
| ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.c | safe | 19.48 | 8.24 | 7.857s | 3.543s |
| ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko-safe.cil.out.i.pp.cil.c | unsafe | 4.78 | 2.13 | 1.865s | 0.502s |
| ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko-safe.cil.out.i.pp.cil.c | safe | 26.77 | 15.35 | 14.961s | 5.518s |
| ldv-drivers/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko-safe.cil.out.i.pp.cil.c | unsafe | 3.90 | 1.92 | 1.613s | 0.217s |
| ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.c | safe | 14.22 | 6.35 | 5.954s | 3.007s |
| ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.c | safe | 7.38 | 3.51 | 3.126s | 1.016s |