| pthread/fib_bench_BUG.cil.c | unknown | 1.77 | 2.85 | 1.506s | 0.029s |
| pthread/fib_bench_longer_BUG.cil.c | unknown | 1.70 | 3.17 | 1.582s | 0.033s |
| pthread/queue_BUG.cil.c | unknown | 1.98 | 1.44 | 1.133s | 0.084s |
| pthread/reorder_5_BUG.cil.c | unknown | 1.93 | 1.09 | 0.800s | 0.130s |
| pthread/twostage_3_BUG.cil.c | unknown | 2.06 | 1.20 | 0.907s | 0.148s |
| pthread/fib_bench.cil.c | unknown | 1.67 | 1.03 | 0.780s | 0.046s |
| pthread/fib_bench_longer.cil.c | unknown | 1.51 | 0.90 | 0.617s | 0.028s |
| pthread/queue_ok.cil.c | unknown | 1.79 | 0.99 | 0.744s | 0.087s |
| ntdrivers-simplified/cdaudio_simpl1_BUG.cil.c | unsafe | 14.29 | 8.21 | 7.842s | 5.037s |
| ntdrivers-simplified/floppy_simpl3_BUG.cil.c | unsafe | 7.19 | 3.56 | 3.255s | 1.731s |
| ntdrivers-simplified/floppy_simpl4_BUG.cil.c | unsafe | 8.56 | 4.13 | 3.672s | 2.050s |
| ntdrivers-simplified/kbfiltr_simpl2_BUG.cil.c | unsafe | 4.83 | 2.52 | 2.226s | 0.909s |
| ntdrivers-simplified/cdaudio_simpl1.cil.c | safe | 13.66 | 7.81 | 7.469s | 4.961s |
| ntdrivers-simplified/diskperf_simpl1.cil.c | safe | 9.94 | 5.57 | 5.213s | 3.405s |
| ntdrivers-simplified/floppy_simpl3.cil.c | safe | 9.71 | 4.93 | 4.634s | 2.889s |
| ntdrivers-simplified/floppy_simpl4.cil.c | safe | 11.22 | 5.59 | 5.268s | 3.303s |
| ntdrivers-simplified/kbfiltr_simpl1.cil.c | safe | 2.70 | 1.52 | 1.256s | 0.464s |
| ntdrivers-simplified/kbfiltr_simpl2.cil.c | safe | 4.15 | 2.06 | 1.777s | 0.788s |
| ntdrivers/cdaudio.BUG.i.cil.c | unsafe | 13.89 | 6.85 | 6.515s | 3.712s |
| ntdrivers/diskperf.BUG.i.cil.c | unsafe | 10.70 | 5.51 | 5.189s | 2.717s |
| ntdrivers/floppy.BUG.i.cil.c | unsafe | 12.72 | 6.66 | 6.292s | 3.025s |
| ntdrivers/kbfiltr.BUG.i.cil.c | unsafe | 7.30 | 3.38 | 3.071s | 1.306s |
| ntdrivers/parport.BUG.i.cil.c | unsafe | 20.50 | 13.01 | 12.610s | 7.155s |
| ntdrivers/cdaudio.i.cil.c | safe | 18.15 | 10.52 | 10.110s | 6.268s |
| ntdrivers/diskperf.i.cil.c | safe | 11.92 | 6.33 | 6.000s | 3.527s |
| ntdrivers/floppy.i.cil.c | safe | 15.83 | 8.79 | 8.451s | 4.366s |
| ntdrivers/parport.i.cil.c | safe | 27.41 | 18.96 | 18.539s | 11.868s |
| ssh-simplified/s3_clnt_1_BUG.cil.c | unsafe | 5.72 | 3.13 | 2.849s | 1.720s |
| ssh-simplified/s3_clnt_2_BUG.cil.c | unsafe | 5.19 | 2.83 | 2.537s | 1.353s |
| ssh-simplified/s3_clnt_3_BUG.cil.c | unsafe | 6.18 | 3.24 | 2.927s | 1.476s |
| ssh-simplified/s3_clnt_4_BUG.cil.c | unsafe | 4.42 | 2.53 | 2.233s | 1.056s |
| ssh-simplified/s3_srvr_10_BUG.cil.c | unsafe | 18.70 | 14.63 | 14.255s | 10.969s |
| ssh-simplified/s3_srvr_11_BUG.cil.c | unsafe | 61.12 | 53.66 | 53.189s | 47.872s |
| ssh-simplified/s3_srvr_12_BUG.cil.c | timeout | 119.60 | 115.44 | - | - |
| ssh-simplified/s3_srvr_14_BUG.cil.c | unsafe | 17.63 | 12.99 | 12.627s | 9.886s |
| ssh-simplified/s3_srvr_1_BUG.cil.c | unsafe | 3.90 | 2.06 | 1.784s | 0.833s |
| ssh-simplified/s3_srvr_2_BUG.cil.c | unsafe | 4.79 | 2.50 | 2.217s | 1.172s |
| ssh-simplified/s3_srvr_6_BUG.cil.c | unsafe | 2.34 | 1.30 | 0.981s | 0.068s |
| ssh-simplified/s3_clnt_1.cil.c | safe | 11.11 | 7.96 | 7.667s | 5.211s |
| ssh-simplified/s3_clnt_2.cil.c | safe | 9.78 | 6.01 | 5.685s | 3.654s |
| ssh-simplified/s3_clnt_3.cil.c | safe | 8.24 | 4.97 | 4.661s | 3.002s |
| ssh-simplified/s3_clnt_4.cil.c | safe | 12.16 | 8.76 | 8.442s | 5.437s |
| ssh-simplified/s3_srvr_1a.cil.c | safe | 4.72 | 2.59 | 2.264s | 1.558s |
| ssh-simplified/s3_srvr_1b.cil.c | safe | 2.02 | 1.07 | 0.819s | 0.212s |
| ssh-simplified/s3_srvr_1.cil.c | out of memory | 63.90 | 59.55 | - | - |
| ssh-simplified/s3_srvr_3.cil.c | safe | 25.81 | 19.95 | 19.523s | 14.395s |
| ssh-simplified/s3_srvr_4.cil.c | safe | 10.38 | 6.20 | 5.876s | 4.478s |
| ssh-simplified/s3_srvr_6.cil.c | timeout | 119.66 | 115.49 | - | - |
| ssh-simplified/s3_srvr_7.cil.c | unknown | 68.33 | 66.29 | 66.004s | 64.195s |
| ssh-simplified/s3_srvr_8.cil.c | safe | 16.47 | 11.91 | 11.559s | 8.540s |
| ssh/s3_clnt.blast.01.BUG.i.cil.c | unsafe | 6.59 | 3.62 | 3.336s | 1.718s |
| ssh/s3_clnt.blast.02.BUG.i.cil.c | unsafe | 5.21 | 2.98 | 2.687s | 1.339s |
| ssh/s3_clnt.blast.03.BUG.i.cil.c | unsafe | 5.09 | 2.65 | 2.376s | 1.163s |
| ssh/s3_clnt.blast.04.BUG.i.cil.c | unsafe | 6.04 | 3.44 | 3.004s | 1.404s |
| ssh/s3_srvr.blast.01.BUG.i.cil.c | unsafe | 6.61 | 3.44 | 3.023s | 1.478s |
| ssh/s3_srvr.blast.02.BUG.i.cil.c | unsafe | 4.93 | 2.42 | 2.123s | 0.988s |
| ssh/s3_srvr.blast.03.BUG.i.cil.c | unsafe | 4.87 | 2.44 | 2.167s | 1.033s |
| ssh/s3_srvr.blast.04.BUG.i.cil.c | unsafe | 5.53 | 2.86 | 2.554s | 1.118s |
| ssh/s3_srvr.blast.06.BUG.i.cil.c | unsafe | 5.64 | 2.79 | 2.512s | 1.202s |
| ssh/s3_srvr.blast.07.BUG.i.cil.c | unknown | 66.22 | 61.89 | 61.536s | 59.936s |
| ssh/s3_srvr.blast.08.BUG.i.cil.c | unsafe | 25.85 | 20.18 | 19.799s | 17.730s |
| ssh/s3_srvr.blast.10.BUG.i.cil.c | unsafe | 37.86 | 31.62 | 31.227s | 28.288s |
| ssh/s3_srvr.blast.11.BUG.i.cil.c | unsafe | 5.01 | 2.60 | 2.327s | 1.075s |
| ssh/s3_srvr.blast.12.BUG.i.cil.c | unsafe | 11.39 | 7.35 | 7.049s | 5.504s |
| ssh/s3_srvr.blast.13.BUG.i.cil.c | unsafe | 30.05 | 24.56 | 24.148s | 21.920s |
| ssh/s3_srvr.blast.14.BUG.i.cil.c | unsafe | 7.02 | 3.67 | 3.314s | 1.959s |
| ssh/s3_srvr.blast.15.BUG.i.cil.c | unsafe | 19.45 | 14.81 | 14.431s | 12.187s |
| ssh/s3_srvr.blast.16.BUG.i.cil.c | unsafe | 6.29 | 3.50 | 3.203s | 1.742s |
| ssh/s3_clnt.blast.01.i.cil.c | safe | 8.86 | 5.41 | 5.045s | 3.234s |
| ssh/s3_clnt.blast.03.i.cil.c | safe | 13.37 | 9.46 | 9.131s | 6.285s |
| ssh/s3_clnt.blast.04.i.cil.c | safe | 12.06 | 7.54 | 7.265s | 4.204s |
| ssh/s3_srvr.blast.01.i.cil.c | safe | 32.57 | 28.10 | 27.721s | 23.382s |
| ssh/s3_srvr.blast.06.i.cil.c | safe | 24.82 | 18.95 | 18.543s | 14.025s |
| ssh/s3_srvr.blast.07.i.cil.c | unknown | 68.52 | 64.63 | 64.341s | 62.846s |
| ssh/s3_srvr.blast.08.i.cil.c | safe | 25.67 | 20.68 | 20.245s | 16.484s |
| ssh/s3_srvr.blast.09.i.cil.c | unknown | 64.52 | 61.38 | 61.057s | 59.106s |
| ssh/s3_srvr.blast.10.i.cil.c | safe | 10.28 | 6.47 | 6.160s | 4.572s |
| ssh/s3_srvr.blast.12.i.cil.c | safe | 12.29 | 8.34 | 7.995s | 6.399s |
| ssh/s3_srvr.blast.13.i.cil.c | unknown | 65.14 | 61.24 | 60.953s | 59.335s |
| ssh/s3_srvr.blast.14.i.cil.c | safe | 33.39 | 28.92 | 28.542s | 23.198s |
| ssh/s3_srvr.blast.15.i.cil.c | safe | 13.81 | 9.89 | 9.534s | 5.024s |
| ssh/s3_srvr.blast.16.i.cil.c | safe | 37.09 | 32.85 | 32.476s | 23.183s |
| locks/test_locks_14.BUG.c | unsafe | 2.09 | 1.24 | 1.006s | 0.357s |
| locks/test_locks_15.BUG.c | unsafe | 2.14 | 1.26 | 1.038s | 0.404s |
| locks/test_locks_10.c | safe | 1.78 | 1.05 | 0.825s | 0.238s |
| locks/test_locks_11.c | safe | 2.06 | 1.18 | 0.946s | 0.280s |
| locks/test_locks_12.c | safe | 1.94 | 1.12 | 0.893s | 0.300s |
| locks/test_locks_13.c | safe | 2.15 | 1.18 | 0.951s | 0.320s |
| locks/test_locks_14.c | safe | 2.02 | 1.22 | 0.992s | 0.385s |
| locks/test_locks_15.c | safe | 2.18 | 1.28 | 1.046s | 0.415s |
| locks/test_locks_5.c | safe | 1.44 | 0.86 | 0.620s | 0.092s |
| locks/test_locks_6.c | safe | 1.47 | 0.87 | 0.648s | 0.113s |
| locks/test_locks_7.c | safe | 1.53 | 0.93 | 0.685s | 0.139s |
| locks/test_locks_8.c | safe | 1.60 | 0.95 | 0.723s | 0.165s |
| locks/test_locks_9.c | safe | 1.70 | 1.04 | 0.817s | 0.196s |
| heap-manipulation/bubble_sort_linux_BUG.cil.c | unsafe | 2.15 | 1.18 | 0.938s | 0.159s |
| heap-manipulation/dll_of_dll_BUG.cil.c | unknown | 1.72 | 0.96 | 0.717s | 0.083s |
| heap-manipulation/merge_sort_BUG.cil.c | unsafe | 2.13 | 1.22 | 0.931s | 0.157s |
| heap-manipulation/bubble_sort_linux.cil.c | unsafe | 2.23 | 1.19 | 0.946s | 0.157s |
| heap-manipulation/dll_of_dll.cil.c | unknown | 1.64 | 0.91 | 0.670s | 0.085s |
| heap-manipulation/merge_sort.cil.c | safe | 1.60 | 0.91 | 0.682s | 0.070s |
| heap-manipulation/sll_to_dll_rev.cil.c | unknown | 11.74 | 10.27 | 10.018s | 7.783s |
| list-properties/alternating_list.cil.c | safe | 1.67 | 0.93 | 0.694s | 0.142s |
| list-properties/list.cil.c | safe | 1.82 | 1.05 | 0.810s | 0.207s |
| list-properties/list_flag.cil.c | safe | 1.82 | 1.03 | 0.772s | 0.158s |
| list-properties/simple.cil.c | unsafe | 1.80 | 0.97 | 0.715s | 0.141s |
| list-properties/simple_built_from_end.cil.c | unsafe | 1.86 | 1.18 | 0.946s | 0.185s |
| list-properties/splice.cil.c | unsafe | 2.82 | 1.83 | 1.598s | 0.589s |
| systemc/token_ring.01.BUG.cil.c | unsafe | 2.53 | 1.46 | 1.223s | 0.437s |
| systemc/token_ring.02.BUG.cil.c | unsafe | 4.44 | 2.33 | 2.081s | 1.017s |
| systemc/token_ring.03.BUG.cil.c | unsafe | 6.05 | 3.58 | 3.330s | 1.894s |
| systemc/transmitter.01.BUG.cil.c | unsafe | 2.07 | 1.24 | 0.996s | 0.307s |
| systemc/transmitter.02.BUG.cil.c | unsafe | 2.93 | 1.70 | 1.460s | 0.584s |
| systemc/transmitter.03.BUG.cil.c | unsafe | 3.70 | 1.99 | 1.765s | 0.714s |
| systemc/transmitter.04.BUG.cil.c | unsafe | 4.69 | 2.43 | 2.179s | 0.914s |
| systemc/bist_cell.cil.c | safe | 17.53 | 14.71 | 14.447s | 12.634s |
| systemc/kundu.cil.c | safe | 67.70 | 61.01 | 60.648s | 57.315s |
| systemc/mem_slave_tlm.1.cil.c | exception | 32.83 | 28.19 | - | - |
| systemc/mem_slave_tlm.2.cil.c | safe | 67.94 | 62.92 | 62.558s | 60.443s |
| systemc/mem_slave_tlm.4.cil.c | timeout | 119.73 | 113.77 | - | - |
| systemc/pc_sfifo_1.cil.c | safe | 4.87 | 2.65 | 2.417s | 1.283s |
| systemc/pc_sfifo_2.cil.c | safe | 9.24 | 5.19 | 4.941s | 3.037s |
| systemc/pc_sfifo_3.cil.c | safe | 6.64 | 3.77 | 3.498s | 2.035s |
| systemc/token_ring.01.cil.c | safe | 7.49 | 4.38 | 4.145s | 2.298s |
| systemc/token_ring.04.cil.c | safe | 67.06 | 60.89 | 60.560s | 54.398s |
| systemc/toy.cil.c | safe | 106.42 | 100.45 | 100.036s | 98.408s |
| ldv-regression/1_3.c-unsafe.cil.c | unsafe | 1.30 | 0.76 | 0.537s | 0.027s |
| ldv-regression/alt_test.c-unsafe.cil.c | unsafe | 1.35 | 0.81 | 0.587s | 0.049s |
| ldv-regression/callfpointer.c-unsafe.cil.c | unsafe | 1.26 | 0.74 | 0.511s | 0.016s |
| ldv-regression/fo_test.c-unsafe.cil.c | unknown | 1.07 | 0.61 | - | - |
| ldv-regression/mutex_lock_int.c-unsafe.cil.c | unsafe | 1.49 | 0.83 | 0.555s | 0.017s |
| ldv-regression/mutex_lock_struct.c-unsafe.cil.c | unsafe | 1.49 | 0.88 | 0.618s | 0.025s |
| ldv-regression/recursive_list.c-unsafe.cil.c | unsafe | 1.38 | 0.80 | 0.564s | 0.038s |
| ldv-regression/rule57_ebda_blast.c-unsafe.cil.c | unsafe | 1.40 | 0.82 | 0.565s | 0.033s |
| ldv-regression/rule60_list2.c-unsafe_1.cil.c | unsafe | 2.02 | 1.15 | 0.885s | 0.212s |
| ldv-regression/stateful_check-unsafe.cil.c | unsafe | 2.44 | 1.35 | 1.119s | 0.459s |
| ldv-regression/test_while_int.c-unsafe.cil.c | unsafe | 1.52 | 0.85 | 0.613s | 0.042s |
| ldv-regression/test_while_int.c-unsafe_1.cil.c | unsafe | 1.46 | 0.85 | 0.605s | 0.035s |
| ldv-regression/alias_of_return.c-safe.cil.c | safe | 1.51 | 0.83 | 0.573s | 0.030s |
| ldv-regression/alias_of_return.c-safe_1.cil.c | safe | 1.40 | 0.76 | 0.521s | 0.017s |
| ldv-regression/alias_of_return_2.c-safe.cil.c | safe | 1.50 | 0.89 | 0.641s | 0.038s |
| ldv-regression/alias_of_return_2.c-safe_1.cil.c | safe | 1.56 | 0.89 | 0.626s | 0.018s |
| ldv-regression/ex3_forlist.c-safe.cil.c | unsafe | 2.07 | 1.16 | 0.896s | 0.207s |
| ldv-regression/just_assert.c-safe.cil.c | safe | 1.33 | 0.74 | 0.507s | 0.011s |
| ldv-regression/mutex_lock_int.c-safe_1.cil.c | unsafe | 1.48 | 0.84 | 0.589s | 0.018s |
| ldv-regression/mutex_lock_struct.c-safe_1.cil.c | unsafe | 1.41 | 0.79 | 0.551s | 0.018s |
| ldv-regression/nested_structure-safe.cil.c | unsafe | 1.48 | 0.83 | 0.590s | 0.042s |
| ldv-regression/nested_structure.c-safe.cil.c | unsafe | 1.45 | 0.83 | 0.562s | 0.020s |
| ldv-regression/nested_structure_noptr-safe.cil.c | safe | 1.39 | 0.76 | 0.528s | 0.016s |
| ldv-regression/nested_structure_noptr.c-safe.cil.c | safe | 1.47 | 0.79 | 0.544s | 0.019s |
| ldv-regression/nested_structure_ptr-safe.cil.c | unsafe | 1.59 | 0.91 | 0.679s | 0.090s |
| ldv-regression/nested_structure_ptr.c-safe.cil.c | unsafe | 1.39 | 0.80 | 0.564s | 0.023s |
| ldv-regression/oomInt.c-safe.cil.c | safe | 1.38 | 0.80 | 0.561s | 0.030s |
| ldv-regression/oomInt.c-safe_1.cil.c | safe | 1.49 | 0.84 | 0.598s | 0.032s |
| ldv-regression/rule57_ebda_blast.c-safe_1.cil.c | unsafe | 1.58 | 0.90 | 0.624s | 0.048s |
| ldv-regression/rule60_list.c-safe.cil.c | unsafe | 1.44 | 0.83 | 0.591s | 0.023s |
| ldv-regression/rule60_list2.c-safe.cil.c | safe | 2.03 | 1.20 | 0.964s | 0.227s |
| ldv-regression/sizeofparameters_test.c-safe.cil.c | safe | 1.48 | 0.82 | 0.580s | 0.023s |
| ldv-regression/structure_assignment.c-safe.cil.c | unsafe | 1.46 | 0.79 | 0.541s | 0.016s |
| ldv-regression/test_address.c-safe.cil.c | unsafe | 1.50 | 0.87 | 0.629s | 0.021s |
| ldv-regression/test_cut_trace.c-safe.cil.c | safe | 1.36 | 0.81 | 0.540s | 0.018s |
| ldv-regression/test_malloc-1-safe.cil.c | safe | 1.54 | 0.87 | 0.626s | 0.029s |
| ldv-regression/test_malloc-2-safe.cil.c | safe | 1.48 | 0.84 | 0.601s | 0.029s |
| ldv-regression/test_overflow.c-safe.cil.c | safe | 1.40 | 0.77 | 0.544s | 0.029s |
| ldv-regression/test_union.c-safe.cil.c | safe | 1.49 | 0.86 | 0.574s | 0.018s |
| ldv-regression/test_union.c-safe_1.cil.c | unsafe | 1.50 | 0.85 | 0.600s | 0.017s |
| ldv-regression/test_union_cast-1-safe.cil.c | safe | 1.33 | 0.76 | 0.530s | 0.020s |
| ldv-regression/test_union_cast-2-safe.cil.c | safe | 1.35 | 0.77 | 0.536s | 0.024s |
| ldv-regression/test_union_cast.c-safe.cil.c | unsafe | 1.43 | 0.79 | 0.557s | 0.022s |
| ldv-regression/test_union_cast.c-safe_1.cil.c | safe | 1.44 | 0.81 | 0.573s | 0.019s |
| ldv-regression/volatile_alias.c-safe.cil.c | safe | 1.45 | 0.78 | 0.523s | 0.022s |
| ldv-regression/volatile_alias.c-safe_1.cil.c | safe | 1.42 | 0.79 | 0.545s | 0.016s |
| ddv-machzwd/ddv_machzwd_all_BUG.cil.c | unsafe | 3.77 | 1.92 | 1.664s | 0.366s |
| ddv-machzwd/ddv_machzwd_inw_BUG.cil.c | unsafe | 3.97 | 2.08 | 1.843s | 0.369s |
| ddv-machzwd/ddv_machzwd_outb_BUG.cil.c | unsafe | 3.86 | 2.00 | 1.723s | 0.359s |
| ddv-machzwd/ddv_machzwd_inb.cil.c | safe | 3.66 | 1.85 | 1.572s | 0.340s |
| ddv-machzwd/ddv_machzwd_inb_p.cil.c | safe | 3.70 | 1.80 | 1.546s | 0.414s |
| ddv-machzwd/ddv_machzwd_inl.cil.c | safe | 3.62 | 1.81 | 1.549s | 0.343s |
| ddv-machzwd/ddv_machzwd_inl_p.cil.c | safe | 3.64 | 1.75 | 1.510s | 0.439s |
| ddv-machzwd/ddv_machzwd_inw_p.cil.c | safe | 3.40 | 1.68 | 1.441s | 0.372s |
| ddv-machzwd/ddv_machzwd_outb_p.cil.c | safe | 3.65 | 1.79 | 1.536s | 0.418s |
| ddv-machzwd/ddv_machzwd_outl.cil.c | safe | 3.48 | 1.76 | 1.491s | 0.353s |
| ddv-machzwd/ddv_machzwd_outl_p.cil.c | safe | 3.70 | 1.84 | 1.555s | 0.384s |
| ddv-machzwd/ddv_machzwd_outw_p.cil.c | safe | 3.63 | 1.80 | 1.518s | 0.341s |
| ddv-machzwd/ddv_machzwd_pthread_mutex_unlock.cil.c | safe | 3.41 | 1.79 | 1.515s | 0.337s |
| ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 15.26 | 6.81 | 6.525s | 0.441s |
| ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 11.98 | 6.31 | 5.978s | 2.159s |
| ldv-drivers/module_get_put-drivers-block-pktcdvd.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 14.07 | 6.85 | 6.505s | 2.940s |
| ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 12.77 | 4.90 | 4.598s | 0.533s |
| ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 15.96 | 8.38 | 8.052s | 2.668s |
| ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 9.46 | 4.24 | 3.885s | 1.469s |
| ldv-drivers/module_get_put-drivers-net-wan-farsync.ko-unsafe.cil.out.iunsafe.cil.out.i.pp.cil.c | unsafe | 18.19 | 10.27 | 9.927s | 4.327s |
| ldv-drivers/module_get_put-drivers-tty-synclink_gt.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 8.18 | 3.26 | 2.980s | 0.212s |
| ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 24.41 | 9.14 | 8.860s | 1.335s |
| ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 12.80 | 7.07 | 6.772s | 3.167s |
| ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 43.65 | 28.88 | 28.443s | 10.655s |
| ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 7.86 | 3.60 | 3.256s | 0.692s |
| ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 17.96 | 10.70 | 10.374s | 3.595s |
| ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 6.49 | 3.10 | 2.811s | 0.854s |
| ldv-drivers/module_get_put-drivers-atm-eni.ko-safe.cil.out.i.pp.cil.c | safe | 17.84 | 8.97 | 8.561s | 5.861s |
| ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-safe.cil.out.i.pp.cil.c | safe | 17.61 | 7.67 | 7.369s | 1.243s |
| ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.c | safe | 34.35 | 19.88 | 19.395s | 11.411s |
| ldv-drivers/module_get_put-drivers-bluetooth-btmrvl.ko-safe.cil.out.i.pp.cil.c | safe | 13.10 | 6.56 | 6.215s | 4.017s |
| ldv-drivers/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko-safe.cil.out.i.pp.cil.c | safe | 14.19 | 7.36 | 6.960s | 4.125s |
| ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko-safe.cil.out.i.pp.cil.c | safe | 20.75 | 9.91 | 9.551s | 1.261s |
| ldv-drivers/module_get_put-drivers-hid-hid-magicmouse.ko-safe.cil.out.i.pp.cil.c | unknown | 4.71 | 2.24 | 1.916s | 0.619s |
| ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.c | safe | 7.31 | 3.48 | 3.181s | 1.389s |
| ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko-safe.cil.out.i.pp.cil.c | safe | 19.55 | 9.54 | 9.142s | 5.710s |
| ldv-drivers/module_get_put-drivers-net-pppox.ko-safe.cil.out.i.pp.cil.c | safe | 4.94 | 2.38 | 2.085s | 0.717s |
| ldv-drivers/module_get_put-drivers-net-sis900.ko-safe.cil.out.i.pp.cil.c | safe | 15.74 | 7.40 | 7.030s | 4.487s |
| ldv-drivers/module_get_put-drivers-scsi-megaraid.ko-safe.cil.out.i.pp.cil.c | unknown | 87.80 | 65.23 | 64.743s | 61.435s |
| ldv-drivers/module_get_put-drivers-staging-et131x-et131x.ko-safe.cil.out.i.pp.cil.c | safe | 22.23 | 10.96 | 10.554s | 6.797s |
| ldv-drivers/usb_urb-drivers-input-tablet-kbtab.ko-safe.cil.out.i.pp.cil.c | safe | 10.14 | 5.11 | 4.811s | 2.356s |
| ldv-drivers/usb_urb-drivers-media-video-c-qcam.ko-safe.cil.out.i.pp.cil.c | safe | 6.52 | 3.13 | 2.831s | 1.051s |
| ldv-drivers/usb_urb-drivers-media-video-msp3400.ko-safe.cil.out.i.pp.cil.c | safe | 8.64 | 3.67 | 3.364s | 1.397s |
| ldv-drivers/usb_urb-drivers-misc-c2port-core.ko-safe.cil.out.i.pp.cil.c | safe | 5.18 | 2.59 | 2.224s | 0.742s |
| ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.c | safe | 18.89 | 8.07 | 7.668s | 3.313s |
| ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko-safe.cil.out.i.pp.cil.c | unsafe | 5.14 | 2.58 | 2.227s | 0.608s |
| ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko-safe.cil.out.i.pp.cil.c | safe | 24.07 | 14.42 | 14.051s | 5.158s |
| ldv-drivers/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko-safe.cil.out.i.pp.cil.c | unsafe | 4.37 | 2.07 | 1.770s | 0.210s |
| ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.c | safe | 13.96 | 6.49 | 5.532s | 2.633s |
| ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.c | safe | 7.10 | 3.34 | 3.019s | 1.096s |