| pthread/fib_bench_BUG.cil.c | unknown | 1.60 | 0.90 | 0.625s | 0.028s |
| pthread/fib_bench_longer_BUG.cil.c | unknown | 1.70 | 0.96 | 0.679s | 0.026s |
| pthread/queue_BUG.cil.c | unknown | 1.90 | 1.09 | 0.823s | 0.124s |
| pthread/reorder_5_BUG.cil.c | unknown | 2.07 | 1.11 | 0.825s | 0.127s |
| pthread/twostage_3_BUG.cil.c | unknown | 2.07 | 1.17 | 0.883s | 0.136s |
| pthread/fib_bench.cil.c | unknown | 1.86 | 0.96 | 0.699s | 0.028s |
| pthread/fib_bench_longer.cil.c | unknown | 1.65 | 0.92 | 0.641s | 0.027s |
| pthread/queue_ok.cil.c | unknown | 1.88 | 1.07 | 0.786s | 0.104s |
| ntdrivers-simplified/cdaudio_simpl1_BUG.cil.c | unsafe | 16.51 | 10.15 | 9.766s | 6.849s |
| ntdrivers-simplified/floppy_simpl3_BUG.cil.c | unsafe | 8.74 | 4.59 | 4.226s | 2.215s |
| ntdrivers-simplified/floppy_simpl4_BUG.cil.c | unsafe | 9.43 | 4.81 | 4.459s | 2.332s |
| ntdrivers-simplified/kbfiltr_simpl2_BUG.cil.c | unsafe | 5.22 | 2.54 | 2.196s | 1.028s |
| ntdrivers-simplified/cdaudio_simpl1.cil.c | safe | 12.68 | 7.18 | 6.830s | 4.341s |
| ntdrivers-simplified/diskperf_simpl1.cil.c | safe | 10.74 | 5.74 | 5.428s | 3.574s |
| ntdrivers-simplified/floppy_simpl3.cil.c | safe | 10.32 | 5.15 | 4.840s | 3.049s |
| ntdrivers-simplified/floppy_simpl4.cil.c | safe | 11.96 | 6.40 | 5.996s | 3.821s |
| ntdrivers-simplified/kbfiltr_simpl1.cil.c | safe | 3.42 | 1.96 | 1.556s | 0.508s |
| ntdrivers-simplified/kbfiltr_simpl2.cil.c | safe | 5.19 | 2.75 | 2.373s | 0.987s |
| ntdrivers/cdaudio.BUG.i.cil.c | unsafe | 15.41 | 8.05 | 7.676s | 4.386s |
| ntdrivers/diskperf.BUG.i.cil.c | unsafe | 11.58 | 5.96 | 5.588s | 2.998s |
| ntdrivers/floppy.BUG.i.cil.c | unsafe | 12.73 | 6.65 | 6.233s | 2.971s |
| ntdrivers/kbfiltr.BUG.i.cil.c | unsafe | 7.26 | 3.57 | 3.239s | 1.389s |
| ntdrivers/parport.BUG.i.cil.c | unsafe | 20.50 | 12.72 | 12.284s | 6.403s |
| ntdrivers/cdaudio.i.cil.c | safe | 18.59 | 11.18 | 10.724s | 6.626s |
| ntdrivers/diskperf.i.cil.c | safe | 12.14 | 6.34 | 6.016s | 3.504s |
| ntdrivers/floppy.i.cil.c | safe | 15.01 | 8.74 | 8.378s | 4.454s |
| ntdrivers/parport.i.cil.c | safe | 28.24 | 18.99 | 18.494s | 11.495s |
| ssh-simplified/s3_clnt_1_BUG.cil.c | unsafe | 5.95 | 3.44 | 3.102s | 1.842s |
| ssh-simplified/s3_clnt_2_BUG.cil.c | unsafe | 5.84 | 3.29 | 2.894s | 1.509s |
| ssh-simplified/s3_clnt_3_BUG.cil.c | unsafe | 5.76 | 3.11 | 2.740s | 1.424s |
| ssh-simplified/s3_clnt_4_BUG.cil.c | unsafe | 4.19 | 2.22 | 1.943s | 0.914s |
| ssh-simplified/s3_srvr_10_BUG.cil.c | unsafe | 20.33 | 15.67 | 15.300s | 11.633s |
| ssh-simplified/s3_srvr_11_BUG.cil.c | unsafe | 62.41 | 57.85 | 57.375s | 52.045s |
| ssh-simplified/s3_srvr_12_BUG.cil.c | timeout | 119.55 | 119.58 | - | - |
| ssh-simplified/s3_srvr_14_BUG.cil.c | unsafe | 18.02 | 13.28 | 12.899s | 10.160s |
| ssh-simplified/s3_srvr_1_BUG.cil.c | unsafe | 4.30 | 2.39 | 2.096s | 0.987s |
| ssh-simplified/s3_srvr_2_BUG.cil.c | unsafe | 4.89 | 2.66 | 2.381s | 1.218s |
| ssh-simplified/s3_srvr_6_BUG.cil.c | unsafe | 2.15 | 1.23 | 0.958s | 0.050s |
| ssh-simplified/s3_clnt_1.cil.c | safe | 10.46 | 7.23 | 6.891s | 4.747s |
| ssh-simplified/s3_clnt_2.cil.c | safe | 9.44 | 5.95 | 5.653s | 3.643s |
| ssh-simplified/s3_clnt_3.cil.c | safe | 7.92 | 4.72 | 4.301s | 2.625s |
| ssh-simplified/s3_clnt_4.cil.c | safe | 11.79 | 8.11 | 7.771s | 5.018s |
| ssh-simplified/s3_srvr_1a.cil.c | safe | 4.66 | 2.48 | 2.142s | 1.302s |
| ssh-simplified/s3_srvr_1b.cil.c | safe | 2.04 | 1.16 | 0.909s | 0.237s |
| ssh-simplified/s3_srvr_1.cil.c | out of memory | 73.38 | 68.89 | - | - |
| ssh-simplified/s3_srvr_3.cil.c | safe | 25.71 | 20.24 | 19.785s | 14.512s |
| ssh-simplified/s3_srvr_4.cil.c | safe | 10.61 | 6.33 | 6.005s | 4.583s |
| ssh-simplified/s3_srvr_6.cil.c | timeout | 119.69 | 115.76 | - | - |
| ssh-simplified/s3_srvr_7.cil.c | unknown | 68.03 | 65.31 | 65.018s | 63.962s |
| ssh-simplified/s3_srvr_8.cil.c | safe | 16.13 | 11.82 | 11.445s | 8.416s |
| ssh/s3_clnt.blast.01.BUG.i.cil.c | unsafe | 6.60 | 3.53 | 3.208s | 1.628s |
| ssh/s3_clnt.blast.02.BUG.i.cil.c | unsafe | 4.80 | 2.63 | 2.347s | 1.060s |
| ssh/s3_clnt.blast.03.BUG.i.cil.c | unsafe | 4.99 | 2.47 | 2.201s | 1.036s |
| ssh/s3_clnt.blast.04.BUG.i.cil.c | unsafe | 5.83 | 2.71 | 2.424s | 1.186s |
| ssh/s3_srvr.blast.01.BUG.i.cil.c | unsafe | 5.79 | 2.69 | 2.396s | 1.195s |
| ssh/s3_srvr.blast.02.BUG.i.cil.c | unsafe | 5.00 | 2.40 | 2.141s | 1.072s |
| ssh/s3_srvr.blast.03.BUG.i.cil.c | unsafe | 5.01 | 2.46 | 2.198s | 1.107s |
| ssh/s3_srvr.blast.04.BUG.i.cil.c | unsafe | 4.66 | 2.39 | 2.118s | 0.961s |
| ssh/s3_srvr.blast.06.BUG.i.cil.c | unsafe | 6.20 | 2.99 | 2.724s | 1.392s |
| ssh/s3_srvr.blast.07.BUG.i.cil.c | unknown | 66.35 | 62.25 | 61.948s | 60.594s |
| ssh/s3_srvr.blast.08.BUG.i.cil.c | unsafe | 26.27 | 20.68 | 20.254s | 18.205s |
| ssh/s3_srvr.blast.10.BUG.i.cil.c | unsafe | 36.98 | 31.02 | 30.623s | 27.736s |
| ssh/s3_srvr.blast.11.BUG.i.cil.c | unsafe | 5.08 | 2.76 | 2.477s | 1.205s |
| ssh/s3_srvr.blast.12.BUG.i.cil.c | unsafe | 12.24 | 7.89 | 7.579s | 5.924s |
| ssh/s3_srvr.blast.13.BUG.i.cil.c | unsafe | 29.32 | 24.12 | 23.706s | 21.316s |
| ssh/s3_srvr.blast.14.BUG.i.cil.c | unsafe | 6.90 | 3.62 | 3.311s | 1.976s |
| ssh/s3_srvr.blast.15.BUG.i.cil.c | unsafe | 18.64 | 14.04 | 13.656s | 11.619s |
| ssh/s3_srvr.blast.16.BUG.i.cil.c | unsafe | 6.13 | 3.20 | 2.923s | 1.634s |
| ssh/s3_clnt.blast.01.i.cil.c | safe | 9.04 | 5.08 | 4.795s | 3.151s |
| ssh/s3_clnt.blast.03.i.cil.c | safe | 12.92 | 9.05 | 8.756s | 6.033s |
| ssh/s3_clnt.blast.04.i.cil.c | safe | 11.39 | 7.42 | 7.111s | 4.068s |
| ssh/s3_srvr.blast.01.i.cil.c | safe | 32.51 | 27.94 | 27.544s | 23.334s |
| ssh/s3_srvr.blast.06.i.cil.c | safe | 25.30 | 20.02 | 19.609s | 14.755s |
| ssh/s3_srvr.blast.07.i.cil.c | unknown | 67.16 | 63.82 | 63.527s | 61.960s |
| ssh/s3_srvr.blast.08.i.cil.c | safe | 23.65 | 18.13 | 17.741s | 14.111s |
| ssh/s3_srvr.blast.09.i.cil.c | unknown | 65.96 | 61.68 | 61.366s | 59.272s |
| ssh/s3_srvr.blast.10.i.cil.c | safe | 11.87 | 7.07 | 6.724s | 5.008s |
| ssh/s3_srvr.blast.12.i.cil.c | safe | 13.44 | 8.94 | 8.545s | 6.817s |
| ssh/s3_srvr.blast.13.i.cil.c | unknown | 65.67 | 61.47 | 61.170s | 59.212s |
| ssh/s3_srvr.blast.14.i.cil.c | safe | 36.47 | 31.19 | 30.778s | 24.735s |
| ssh/s3_srvr.blast.15.i.cil.c | safe | 15.86 | 11.17 | 10.808s | 5.770s |
| ssh/s3_srvr.blast.16.i.cil.c | safe | 40.51 | 35.20 | 34.765s | 24.516s |
| locks/test_locks_14.BUG.c | unsafe | 2.45 | 1.44 | 1.171s | 0.430s |
| locks/test_locks_15.BUG.c | unsafe | 2.59 | 1.49 | 1.201s | 0.479s |
| locks/test_locks_10.c | safe | 2.01 | 1.13 | 0.892s | 0.245s |
| locks/test_locks_11.c | safe | 2.15 | 1.21 | 0.958s | 0.282s |
| locks/test_locks_12.c | safe | 2.22 | 1.27 | 1.002s | 0.367s |
| locks/test_locks_13.c | safe | 2.38 | 1.34 | 1.092s | 0.387s |
| locks/test_locks_14.c | safe | 2.38 | 1.42 | 1.156s | 0.440s |
| locks/test_locks_15.c | safe | 2.64 | 1.49 | 1.242s | 0.479s |
| locks/test_locks_5.c | safe | 1.74 | 0.97 | 0.711s | 0.098s |
| locks/test_locks_6.c | safe | 1.82 | 1.02 | 0.785s | 0.128s |
| locks/test_locks_7.c | safe | 1.73 | 1.01 | 0.774s | 0.147s |
| locks/test_locks_8.c | safe | 1.92 | 1.11 | 0.860s | 0.193s |
| locks/test_locks_9.c | safe | 1.94 | 1.11 | 0.875s | 0.213s |
| heap-manipulation/bubble_sort_linux_BUG.cil.c | unsafe | 2.35 | 1.31 | 1.024s | 0.168s |
| heap-manipulation/dll_of_dll_BUG.cil.c | unknown | 1.86 | 0.96 | 0.719s | 0.085s |
| heap-manipulation/merge_sort_BUG.cil.c | unsafe | 2.02 | 1.07 | 0.833s | 0.151s |
| heap-manipulation/bubble_sort_linux.cil.c | unsafe | 2.48 | 1.33 | 1.083s | 0.213s |
| heap-manipulation/dll_of_dll.cil.c | unknown | 2.03 | 1.10 | 0.846s | 0.099s |
| heap-manipulation/merge_sort.cil.c | safe | 2.08 | 1.13 | 0.836s | 0.072s |
| heap-manipulation/sll_to_dll_rev.cil.c | unknown | 14.35 | 12.37 | 12.091s | 9.436s |
| list-properties/alternating_list.cil.c | safe | 2.02 | 1.12 | 0.839s | 0.170s |
| list-properties/list.cil.c | safe | 2.05 | 1.07 | 0.826s | 0.249s |
| list-properties/list_flag.cil.c | safe | 2.00 | 1.06 | 0.820s | 0.165s |
| list-properties/simple.cil.c | unsafe | 2.01 | 1.15 | 0.871s | 0.172s |
| list-properties/simple_built_from_end.cil.c | unsafe | 1.93 | 1.12 | 0.875s | 0.164s |
| list-properties/splice.cil.c | unsafe | 3.61 | 2.31 | 2.048s | 0.778s |
| systemc/token_ring.01.BUG.cil.c | unsafe | 3.36 | 1.91 | 1.634s | 0.542s |
| systemc/token_ring.02.BUG.cil.c | unsafe | 5.54 | 2.68 | 2.396s | 1.178s |
| systemc/token_ring.03.BUG.cil.c | unsafe | 7.26 | 3.93 | 3.663s | 1.938s |
| systemc/transmitter.01.BUG.cil.c | unsafe | 2.62 | 1.41 | 1.150s | 0.338s |
| systemc/transmitter.02.BUG.cil.c | unsafe | 3.51 | 2.07 | 1.797s | 0.707s |
| systemc/transmitter.03.BUG.cil.c | unsafe | 4.60 | 2.28 | 2.021s | 0.796s |
| systemc/transmitter.04.BUG.cil.c | unsafe | 5.61 | 2.77 | 2.497s | 1.078s |
| systemc/bist_cell.cil.c | safe | 19.31 | 15.46 | 15.171s | 13.151s |
| systemc/kundu.cil.c | safe | 67.93 | 60.98 | 60.632s | 56.993s |
| systemc/mem_slave_tlm.1.cil.c | exception | 44.13 | 38.40 | - | - |
| systemc/mem_slave_tlm.2.cil.c | safe | 66.46 | 61.48 | 61.128s | 58.885s |
| systemc/mem_slave_tlm.4.cil.c | timeout | 119.69 | 113.30 | - | - |
| systemc/pc_sfifo_1.cil.c | safe | 5.86 | 3.01 | 2.762s | 1.502s |
| systemc/pc_sfifo_2.cil.c | safe | 9.56 | 5.29 | 5.019s | 3.109s |
| systemc/pc_sfifo_3.cil.c | safe | 8.44 | 4.61 | 4.315s | 2.519s |
| systemc/token_ring.01.cil.c | safe | 9.62 | 5.52 | 5.248s | 3.065s |
| systemc/token_ring.04.cil.c | safe | 66.51 | 61.27 | 60.931s | 58.173s |
| systemc/toy.cil.c | safe | 66.76 | 61.17 | 60.841s | 58.367s |
| ldv-regression/1_3.c-unsafe.cil.c | unsafe | 1.47 | 3.21 | 1.578s | 0.032s |
| ldv-regression/alt_test.c-unsafe.cil.c | unsafe | 1.70 | 4.06 | 1.622s | 0.061s |
| ldv-regression/callfpointer.c-unsafe.cil.c | unsafe | 1.41 | 3.18 | 2.132s | 0.016s |
| ldv-regression/fo_test.c-unsafe.cil.c | unknown | 1.38 | 0.82 | - | - |
| ldv-regression/mutex_lock_int.c-unsafe.cil.c | unsafe | 1.84 | 1.28 | 0.951s | 0.024s |
| ldv-regression/mutex_lock_struct.c-unsafe.cil.c | unsafe | 1.70 | 0.91 | 0.629s | 0.017s |
| ldv-regression/recursive_list.c-unsafe.cil.c | unsafe | 1.63 | 0.93 | 0.671s | 0.042s |
| ldv-regression/rule57_ebda_blast.c-unsafe.cil.c | unsafe | 1.76 | 0.97 | 0.699s | 0.037s |
| ldv-regression/rule60_list2.c-unsafe_1.cil.c | unsafe | 2.56 | 1.40 | 1.127s | 0.253s |
| ldv-regression/stateful_check-unsafe.cil.c | unsafe | 2.86 | 1.71 | 1.380s | 0.533s |
| ldv-regression/test_while_int.c-unsafe.cil.c | unsafe | 1.72 | 0.96 | 0.688s | 0.044s |
| ldv-regression/test_while_int.c-unsafe_1.cil.c | unsafe | 1.60 | 0.96 | 0.686s | 0.040s |
| ldv-regression/alias_of_return.c-safe.cil.c | safe | 1.68 | 0.96 | 0.673s | 0.040s |
| ldv-regression/alias_of_return.c-safe_1.cil.c | safe | 1.73 | 0.95 | 0.648s | 0.025s |
| ldv-regression/alias_of_return_2.c-safe.cil.c | safe | 1.68 | 0.97 | 0.683s | 0.036s |
| ldv-regression/alias_of_return_2.c-safe_1.cil.c | safe | 1.72 | 0.97 | 0.689s | 0.018s |
| ldv-regression/ex3_forlist.c-safe.cil.c | unsafe | 2.37 | 1.44 | 1.168s | 0.301s |
| ldv-regression/just_assert.c-safe.cil.c | safe | 1.54 | 0.84 | 0.587s | 0.015s |
| ldv-regression/mutex_lock_int.c-safe_1.cil.c | unsafe | 1.56 | 0.87 | 0.624s | 0.017s |
| ldv-regression/mutex_lock_struct.c-safe_1.cil.c | unsafe | 1.64 | 1.02 | 0.764s | 0.024s |
| ldv-regression/nested_structure-safe.cil.c | unsafe | 1.72 | 0.99 | 0.721s | 0.046s |
| ldv-regression/nested_structure.c-safe.cil.c | unsafe | 1.67 | 0.96 | 0.672s | 0.022s |
| ldv-regression/nested_structure_noptr-safe.cil.c | safe | 1.55 | 0.91 | 0.627s | 0.020s |
| ldv-regression/nested_structure_noptr.c-safe.cil.c | safe | 1.80 | 1.08 | 0.766s | 0.030s |
| ldv-regression/nested_structure_ptr-safe.cil.c | unsafe | 2.14 | 1.36 | 1.021s | 0.107s |
| ldv-regression/nested_structure_ptr.c-safe.cil.c | unsafe | 1.84 | 1.11 | 0.787s | 0.029s |
| ldv-regression/oomInt.c-safe.cil.c | safe | 1.61 | 0.93 | 0.653s | 0.034s |
| ldv-regression/oomInt.c-safe_1.cil.c | safe | 1.73 | 1.04 | 0.754s | 0.032s |
| ldv-regression/rule57_ebda_blast.c-safe_1.cil.c | unsafe | 1.68 | 0.99 | 0.697s | 0.054s |
| ldv-regression/rule60_list.c-safe.cil.c | unsafe | 1.78 | 0.95 | 0.709s | 0.032s |
| ldv-regression/rule60_list2.c-safe.cil.c | safe | 2.32 | 1.32 | 1.062s | 0.257s |
| ldv-regression/sizeofparameters_test.c-safe.cil.c | safe | 1.66 | 0.94 | 0.681s | 0.033s |
| ldv-regression/structure_assignment.c-safe.cil.c | unsafe | 1.72 | 0.94 | 0.666s | 0.024s |
| ldv-regression/test_address.c-safe.cil.c | unsafe | 1.60 | 0.97 | 0.648s | 0.022s |
| ldv-regression/test_cut_trace.c-safe.cil.c | safe | 1.66 | 0.91 | 0.648s | 0.025s |
| ldv-regression/test_malloc-1-safe.cil.c | safe | 1.81 | 1.00 | 0.683s | 0.031s |
| ldv-regression/test_malloc-2-safe.cil.c | safe | 1.54 | 0.80 | 0.570s | 0.027s |
| ldv-regression/test_overflow.c-safe.cil.c | safe | 1.72 | 0.97 | 0.723s | 0.030s |
| ldv-regression/test_union.c-safe.cil.c | safe | 1.78 | 0.99 | 0.711s | 0.046s |
| ldv-regression/test_union.c-safe_1.cil.c | unsafe | 1.48 | 0.82 | 0.558s | 0.016s |
| ldv-regression/test_union_cast-1-safe.cil.c | safe | 1.74 | 0.98 | 0.697s | 0.020s |
| ldv-regression/test_union_cast-2-safe.cil.c | safe | 1.68 | 0.91 | 0.658s | 0.024s |
| ldv-regression/test_union_cast.c-safe.cil.c | unsafe | 1.77 | 0.96 | 0.704s | 0.021s |
| ldv-regression/test_union_cast.c-safe_1.cil.c | safe | 1.58 | 0.95 | 0.678s | 0.019s |
| ldv-regression/volatile_alias.c-safe.cil.c | safe | 1.59 | 0.86 | 0.615s | 0.023s |
| ldv-regression/volatile_alias.c-safe_1.cil.c | safe | 1.71 | 0.89 | 0.606s | 0.017s |
| ddv-machzwd/ddv_machzwd_all_BUG.cil.c | unsafe | 4.55 | 2.48 | 2.160s | 0.441s |
| ddv-machzwd/ddv_machzwd_inw_BUG.cil.c | unsafe | 4.52 | 2.35 | 2.058s | 0.428s |
| ddv-machzwd/ddv_machzwd_outb_BUG.cil.c | unsafe | 4.62 | 2.45 | 2.151s | 0.458s |
| ddv-machzwd/ddv_machzwd_inb.cil.c | safe | 4.13 | 2.14 | 1.788s | 0.493s |
| ddv-machzwd/ddv_machzwd_inb_p.cil.c | safe | 3.95 | 2.02 | 1.701s | 0.434s |
| ddv-machzwd/ddv_machzwd_inl.cil.c | safe | 4.08 | 2.04 | 1.748s | 0.475s |
| ddv-machzwd/ddv_machzwd_inl_p.cil.c | safe | 4.11 | 2.02 | 1.752s | 0.451s |
| ddv-machzwd/ddv_machzwd_inw_p.cil.c | safe | 3.93 | 2.07 | 1.740s | 0.429s |
| ddv-machzwd/ddv_machzwd_outb_p.cil.c | safe | 4.18 | 2.04 | 1.752s | 0.456s |
| ddv-machzwd/ddv_machzwd_outl.cil.c | safe | 4.09 | 2.00 | 1.727s | 0.456s |
| ddv-machzwd/ddv_machzwd_outl_p.cil.c | safe | 3.90 | 1.99 | 1.689s | 0.402s |
| ddv-machzwd/ddv_machzwd_outw_p.cil.c | safe | 4.01 | 2.03 | 1.701s | 0.433s |
| ddv-machzwd/ddv_machzwd_pthread_mutex_unlock.cil.c | safe | 4.00 | 1.98 | 1.680s | 0.437s |
| ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 16.97 | 7.75 | 7.386s | 0.575s |
| ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 13.07 | 6.61 | 6.200s | 2.214s |
| ldv-drivers/module_get_put-drivers-block-pktcdvd.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 16.09 | 7.80 | 7.450s | 3.142s |
| ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 15.79 | 5.84 | 5.538s | 0.686s |
| ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 20.85 | 10.95 | 10.564s | 3.571s |
| ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 11.10 | 4.81 | 4.463s | 1.565s |
| ldv-drivers/module_get_put-drivers-net-wan-farsync.ko-unsafe.cil.out.iunsafe.cil.out.i.pp.cil.c | unsafe | 20.41 | 11.38 | 10.927s | 4.800s |
| ldv-drivers/module_get_put-drivers-tty-synclink_gt.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 9.19 | 3.95 | 3.674s | 0.234s |
| ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 24.19 | 9.15 | 8.812s | 1.172s |
| ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 12.89 | 7.05 | 6.673s | 2.949s |
| ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 44.20 | 28.11 | 27.750s | 11.506s |
| ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 7.88 | 3.57 | 3.224s | 0.622s |
| ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 19.39 | 12.14 | 11.772s | 4.990s |
| ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 6.97 | 3.41 | 3.022s | 1.079s |
| ldv-drivers/module_get_put-drivers-atm-eni.ko-safe.cil.out.i.pp.cil.c | safe | 19.77 | 9.97 | 9.489s | 6.630s |
| ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-safe.cil.out.i.pp.cil.c | safe | 18.67 | 8.68 | 8.339s | 1.394s |
| ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.c | safe | 38.38 | 21.95 | 21.495s | 12.273s |
| ldv-drivers/module_get_put-drivers-bluetooth-btmrvl.ko-safe.cil.out.i.pp.cil.c | safe | 12.18 | 6.51 | 6.140s | 3.763s |
| ldv-drivers/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko-safe.cil.out.i.pp.cil.c | safe | 14.10 | 7.82 | 7.356s | 4.373s |
| ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko-safe.cil.out.i.pp.cil.c | safe | 21.18 | 10.26 | 9.914s | 1.229s |
| ldv-drivers/module_get_put-drivers-hid-hid-magicmouse.ko-safe.cil.out.i.pp.cil.c | unknown | 4.52 | 2.17 | 1.890s | 0.643s |
| ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.c | safe | 7.84 | 3.59 | 3.279s | 1.284s |
| ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko-safe.cil.out.i.pp.cil.c | safe | 20.94 | 10.70 | 9.082s | 5.915s |
| ldv-drivers/module_get_put-drivers-net-pppox.ko-safe.cil.out.i.pp.cil.c | safe | 5.38 | 2.67 | 2.405s | 0.822s |
| ldv-drivers/module_get_put-drivers-net-sis900.ko-safe.cil.out.i.pp.cil.c | safe | 16.05 | 7.49 | 7.094s | 4.548s |
| ldv-drivers/module_get_put-drivers-scsi-megaraid.ko-safe.cil.out.i.pp.cil.c | unknown | 86.47 | 63.21 | 62.713s | 59.509s |
| ldv-drivers/module_get_put-drivers-staging-et131x-et131x.ko-safe.cil.out.i.pp.cil.c | safe | 20.76 | 9.98 | 9.555s | 6.117s |
| ldv-drivers/usb_urb-drivers-input-tablet-kbtab.ko-safe.cil.out.i.pp.cil.c | safe | 10.08 | 4.88 | 4.560s | 2.149s |
| ldv-drivers/usb_urb-drivers-media-video-c-qcam.ko-safe.cil.out.i.pp.cil.c | safe | 6.34 | 2.94 | 2.623s | 1.014s |
| ldv-drivers/usb_urb-drivers-media-video-msp3400.ko-safe.cil.out.i.pp.cil.c | safe | 9.75 | 4.15 | 3.785s | 1.647s |
| ldv-drivers/usb_urb-drivers-misc-c2port-core.ko-safe.cil.out.i.pp.cil.c | safe | 5.16 | 2.58 | 2.261s | 0.876s |
| ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.c | safe | 20.45 | 8.85 | 8.500s | 3.880s |
| ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko-safe.cil.out.i.pp.cil.c | unsafe | 4.73 | 2.35 | 2.075s | 0.536s |
| ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko-safe.cil.out.i.pp.cil.c | safe | 24.90 | 15.34 | 14.985s | 4.935s |
| ldv-drivers/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko-safe.cil.out.i.pp.cil.c | unsafe | 3.96 | 2.11 | 1.799s | 0.272s |
| ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.c | safe | 14.02 | 6.41 | 5.422s | 2.582s |
| ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.c | safe | 7.34 | 3.09 | 2.821s | 1.141s |