| pthread/fib_bench_BUG.cil.c | unknown | 1.22 | 0.73 | 0.505s | 0.025s |
| pthread/fib_bench_longer_BUG.cil.c | unknown | 1.24 | 0.73 | 0.505s | 0.030s |
| pthread/queue_BUG.cil.c | unknown | 1.43 | 0.85 | 0.608s | 0.082s |
| pthread/reorder_5_BUG.cil.c | unknown | 1.56 | 0.91 | 0.665s | 0.107s |
| pthread/twostage_3_BUG.cil.c | unknown | 1.91 | 1.09 | 0.833s | 0.149s |
| pthread/fib_bench.cil.c | unknown | 1.39 | 0.77 | 0.548s | 0.025s |
| pthread/fib_bench_longer.cil.c | unknown | 1.53 | 0.91 | 0.644s | 0.030s |
| pthread/queue_ok.cil.c | unknown | 1.97 | 1.05 | 0.799s | 0.092s |
| ntdrivers-simplified/cdaudio_simpl1_BUG.cil.c | unsafe | 15.73 | 9.96 | 9.622s | 6.669s |
| ntdrivers-simplified/floppy_simpl3_BUG.cil.c | unsafe | 8.26 | 4.24 | 3.947s | 2.101s |
| ntdrivers-simplified/floppy_simpl4_BUG.cil.c | unsafe | 10.07 | 5.43 | 4.962s | 2.614s |
| ntdrivers-simplified/kbfiltr_simpl2_BUG.cil.c | unsafe | 5.09 | 2.53 | 2.176s | 0.976s |
| ntdrivers-simplified/cdaudio_simpl1.cil.c | safe | 13.92 | 8.03 | 7.605s | 4.957s |
| ntdrivers-simplified/diskperf_simpl1.cil.c | safe | 10.45 | 5.84 | 5.525s | 3.598s |
| ntdrivers-simplified/floppy_simpl3.cil.c | safe | 9.85 | 5.08 | 4.776s | 2.878s |
| ntdrivers-simplified/floppy_simpl4.cil.c | safe | 11.68 | 6.22 | 5.882s | 3.751s |
| ntdrivers-simplified/kbfiltr_simpl1.cil.c | safe | 3.16 | 1.81 | 1.444s | 0.506s |
| ntdrivers-simplified/kbfiltr_simpl2.cil.c | safe | 4.64 | 2.35 | 2.066s | 0.918s |
| ntdrivers/cdaudio.BUG.i.cil.c | unsafe | 14.88 | 7.96 | 7.600s | 4.247s |
| ntdrivers/diskperf.BUG.i.cil.c | unsafe | 11.32 | 6.11 | 5.775s | 2.969s |
| ntdrivers/floppy.BUG.i.cil.c | unsafe | 12.85 | 6.84 | 6.486s | 3.048s |
| ntdrivers/kbfiltr.BUG.i.cil.c | unsafe | 7.32 | 3.66 | 3.311s | 1.354s |
| ntdrivers/parport.BUG.i.cil.c | unsafe | 20.57 | 12.55 | 12.030s | 6.665s |
| ntdrivers/cdaudio.i.cil.c | safe | 17.42 | 10.24 | 9.868s | 6.154s |
| ntdrivers/diskperf.i.cil.c | safe | 11.71 | 6.46 | 6.132s | 3.679s |
| ntdrivers/floppy.i.cil.c | safe | 14.44 | 8.59 | 8.245s | 4.405s |
| ntdrivers/parport.i.cil.c | safe | 27.26 | 18.12 | 17.686s | 10.451s |
| ssh-simplified/s3_clnt_1_BUG.cil.c | unsafe | 5.72 | 3.25 | 2.981s | 1.860s |
| ssh-simplified/s3_clnt_2_BUG.cil.c | unsafe | 5.31 | 3.00 | 2.723s | 1.473s |
| ssh-simplified/s3_clnt_3_BUG.cil.c | unsafe | 5.78 | 3.01 | 2.710s | 1.419s |
| ssh-simplified/s3_clnt_4_BUG.cil.c | unsafe | 4.34 | 2.47 | 2.200s | 1.028s |
| ssh-simplified/s3_srvr_10_BUG.cil.c | unsafe | 19.14 | 14.78 | 14.338s | 11.034s |
| ssh-simplified/s3_srvr_11_BUG.cil.c | unsafe | 64.40 | 57.65 | 57.174s | 51.496s |
| ssh-simplified/s3_srvr_12_BUG.cil.c | timeout | 119.63 | 115.14 | - | - |
| ssh-simplified/s3_srvr_14_BUG.cil.c | unsafe | 18.42 | 13.21 | 12.853s | 10.080s |
| ssh-simplified/s3_srvr_1_BUG.cil.c | unsafe | 4.18 | 2.24 | 1.960s | 0.940s |
| ssh-simplified/s3_srvr_2_BUG.cil.c | unsafe | 4.92 | 2.58 | 2.309s | 1.258s |
| ssh-simplified/s3_srvr_6_BUG.cil.c | unsafe | 2.16 | 1.12 | 0.863s | 0.052s |
| ssh-simplified/s3_clnt_1.cil.c | safe | 10.88 | 7.25 | 6.964s | 4.843s |
| ssh-simplified/s3_clnt_2.cil.c | safe | 9.12 | 5.62 | 5.316s | 3.323s |
| ssh-simplified/s3_clnt_3.cil.c | safe | 7.92 | 4.44 | 4.151s | 2.617s |
| ssh-simplified/s3_clnt_4.cil.c | safe | 12.18 | 8.42 | 8.121s | 5.254s |
| ssh-simplified/s3_srvr_1a.cil.c | safe | 5.01 | 2.65 | 2.316s | 1.480s |
| ssh-simplified/s3_srvr_1b.cil.c | safe | 2.05 | 1.17 | 0.893s | 0.246s |
| ssh-simplified/s3_srvr_1.cil.c | out of memory | 64.66 | 60.28 | - | - |
| ssh-simplified/s3_srvr_3.cil.c | safe | 24.97 | 19.26 | 18.835s | 13.745s |
| ssh-simplified/s3_srvr_4.cil.c | safe | 9.81 | 6.09 | 5.737s | 4.341s |
| ssh-simplified/s3_srvr_6.cil.c | timeout | 119.64 | 114.78 | - | - |
| ssh-simplified/s3_srvr_7.cil.c | unknown | 65.03 | 61.67 | 61.368s | 60.277s |
| ssh-simplified/s3_srvr_8.cil.c | safe | 15.75 | 11.17 | 10.835s | 7.988s |
| ssh/s3_clnt.blast.01.BUG.i.cil.c | unsafe | 6.77 | 3.42 | 3.120s | 1.595s |
| ssh/s3_clnt.blast.02.BUG.i.cil.c | unsafe | 4.75 | 2.64 | 2.362s | 1.139s |
| ssh/s3_clnt.blast.03.BUG.i.cil.c | unsafe | 4.51 | 2.29 | 2.018s | 0.926s |
| ssh/s3_clnt.blast.04.BUG.i.cil.c | unsafe | 5.60 | 2.72 | 2.433s | 1.230s |
| ssh/s3_srvr.blast.01.BUG.i.cil.c | unsafe | 5.71 | 2.60 | 2.333s | 1.120s |
| ssh/s3_srvr.blast.02.BUG.i.cil.c | unsafe | 4.63 | 2.35 | 2.078s | 0.981s |
| ssh/s3_srvr.blast.03.BUG.i.cil.c | unsafe | 4.90 | 2.58 | 2.311s | 1.171s |
| ssh/s3_srvr.blast.04.BUG.i.cil.c | unsafe | 4.80 | 2.58 | 2.284s | 1.073s |
| ssh/s3_srvr.blast.06.BUG.i.cil.c | unsafe | 6.06 | 3.21 | 2.903s | 1.404s |
| ssh/s3_srvr.blast.07.BUG.i.cil.c | unknown | 65.73 | 61.53 | 61.221s | 59.862s |
| ssh/s3_srvr.blast.08.BUG.i.cil.c | unsafe | 24.94 | 19.73 | 19.328s | 17.326s |
| ssh/s3_srvr.blast.10.BUG.i.cil.c | unsafe | 36.25 | 29.99 | 29.559s | 26.730s |
| ssh/s3_srvr.blast.11.BUG.i.cil.c | unsafe | 4.90 | 2.68 | 2.429s | 1.192s |
| ssh/s3_srvr.blast.12.BUG.i.cil.c | unsafe | 11.02 | 7.05 | 6.746s | 5.380s |
| ssh/s3_srvr.blast.13.BUG.i.cil.c | unsafe | 27.68 | 22.28 | 21.842s | 19.843s |
| ssh/s3_srvr.blast.14.BUG.i.cil.c | unsafe | 6.99 | 3.45 | 3.173s | 1.917s |
| ssh/s3_srvr.blast.15.BUG.i.cil.c | unsafe | 17.99 | 13.24 | 12.880s | 11.020s |
| ssh/s3_srvr.blast.16.BUG.i.cil.c | unsafe | 6.22 | 3.30 | 3.036s | 1.790s |
| ssh/s3_clnt.blast.01.i.cil.c | safe | 8.01 | 4.84 | 4.557s | 2.928s |
| ssh/s3_clnt.blast.03.i.cil.c | safe | 12.74 | 8.63 | 8.353s | 5.844s |
| ssh/s3_clnt.blast.04.i.cil.c | safe | 11.16 | 7.05 | 6.781s | 3.922s |
| ssh/s3_srvr.blast.01.i.cil.c | safe | 33.73 | 28.58 | 28.207s | 23.913s |
| ssh/s3_srvr.blast.06.i.cil.c | safe | 24.85 | 19.51 | 19.072s | 14.258s |
| ssh/s3_srvr.blast.07.i.cil.c | unknown | 64.57 | 61.02 | 60.735s | 59.343s |
| ssh/s3_srvr.blast.08.i.cil.c | safe | 23.41 | 17.92 | 17.530s | 14.050s |
| ssh/s3_srvr.blast.09.i.cil.c | unknown | 65.51 | 61.15 | 60.821s | 58.914s |
| ssh/s3_srvr.blast.10.i.cil.c | safe | 12.13 | 7.68 | 7.333s | 5.257s |
| ssh/s3_srvr.blast.12.i.cil.c | safe | 14.98 | 9.95 | 9.548s | 7.525s |
| ssh/s3_srvr.blast.13.i.cil.c | unknown | 67.06 | 62.82 | 62.477s | 60.633s |
| ssh/s3_srvr.blast.14.i.cil.c | safe | 36.41 | 30.87 | 30.440s | 24.801s |
| ssh/s3_srvr.blast.15.i.cil.c | safe | 16.33 | 10.79 | 10.430s | 5.530s |
| ssh/s3_srvr.blast.16.i.cil.c | safe | 42.07 | 36.92 | 36.480s | 26.233s |
| locks/test_locks_14.BUG.c | unsafe | 2.68 | 1.55 | 1.286s | 0.437s |
| locks/test_locks_15.BUG.c | unsafe | 2.86 | 1.67 | 1.367s | 0.532s |
| locks/test_locks_10.c | safe | 2.22 | 1.29 | 1.011s | 0.270s |
| locks/test_locks_11.c | safe | 2.41 | 1.41 | 1.104s | 0.338s |
| locks/test_locks_12.c | safe | 2.61 | 1.51 | 1.145s | 0.376s |
| locks/test_locks_13.c | safe | 2.56 | 1.49 | 1.231s | 0.383s |
| locks/test_locks_14.c | safe | 2.48 | 1.44 | 1.190s | 0.424s |
| locks/test_locks_15.c | safe | 2.46 | 1.39 | 1.140s | 0.473s |
| locks/test_locks_5.c | safe | 1.84 | 1.02 | 0.743s | 0.105s |
| locks/test_locks_6.c | safe | 1.84 | 1.03 | 0.798s | 0.136s |
| locks/test_locks_7.c | safe | 1.95 | 1.14 | 0.887s | 0.188s |
| locks/test_locks_8.c | safe | 2.08 | 1.24 | 0.942s | 0.193s |
| locks/test_locks_9.c | safe | 2.20 | 1.32 | 1.053s | 0.257s |
| heap-manipulation/bubble_sort_linux_BUG.cil.c | unsafe | 2.64 | 1.50 | 1.249s | 0.244s |
| heap-manipulation/dll_of_dll_BUG.cil.c | unknown | 2.03 | 1.10 | 0.765s | 0.141s |
| heap-manipulation/merge_sort_BUG.cil.c | unsafe | 2.33 | 1.46 | 1.135s | 0.202s |
| heap-manipulation/bubble_sort_linux.cil.c | unsafe | 2.72 | 1.48 | 1.188s | 0.196s |
| heap-manipulation/dll_of_dll.cil.c | unknown | 2.12 | 1.23 | 0.873s | 0.113s |
| heap-manipulation/merge_sort.cil.c | safe | 2.19 | 1.17 | 0.891s | 0.088s |
| heap-manipulation/sll_to_dll_rev.cil.c | unknown | 14.05 | 12.33 | 12.071s | 9.015s |
| list-properties/alternating_list.cil.c | safe | 2.15 | 1.15 | 0.871s | 0.184s |
| list-properties/list.cil.c | safe | 2.44 | 1.36 | 1.073s | 0.249s |
| list-properties/list_flag.cil.c | safe | 2.20 | 1.18 | 0.872s | 0.218s |
| list-properties/simple.cil.c | unsafe | 2.26 | 1.23 | 0.962s | 0.172s |
| list-properties/simple_built_from_end.cil.c | unsafe | 2.04 | 1.18 | 0.879s | 0.172s |
| list-properties/splice.cil.c | unsafe | 3.90 | 2.62 | 2.352s | 0.946s |
| systemc/token_ring.01.BUG.cil.c | unsafe | 3.41 | 1.93 | 1.644s | 0.579s |
| systemc/token_ring.02.BUG.cil.c | unsafe | 5.34 | 2.85 | 2.589s | 1.279s |
| systemc/token_ring.03.BUG.cil.c | unsafe | 7.28 | 4.04 | 3.761s | 2.147s |
| systemc/transmitter.01.BUG.cil.c | unsafe | 2.59 | 1.41 | 1.155s | 0.341s |
| systemc/transmitter.02.BUG.cil.c | unsafe | 3.52 | 1.96 | 1.693s | 0.694s |
| systemc/transmitter.03.BUG.cil.c | unsafe | 4.91 | 2.69 | 2.362s | 0.994s |
| systemc/transmitter.04.BUG.cil.c | unsafe | 6.29 | 3.32 | 3.052s | 1.285s |
| systemc/bist_cell.cil.c | safe | 19.98 | 16.81 | 16.519s | 14.426s |
| systemc/kundu.cil.c | safe | 68.30 | 60.95 | 60.636s | 57.309s |
| systemc/mem_slave_tlm.1.cil.c | exception | 43.48 | 37.94 | - | - |
| systemc/mem_slave_tlm.2.cil.c | safe | 76.64 | 72.16 | 71.799s | 68.074s |
| systemc/mem_slave_tlm.4.cil.c | safe | 96.19 | 95.12 | 93.777s | 87.155s |
| systemc/pc_sfifo_1.cil.c | safe | 6.10 | 3.22 | 2.939s | 1.585s |
| systemc/pc_sfifo_2.cil.c | safe | 9.81 | 5.69 | 5.391s | 3.341s |
| systemc/pc_sfifo_3.cil.c | safe | 8.97 | 4.94 | 4.657s | 2.772s |
| systemc/token_ring.01.cil.c | safe | 9.44 | 5.34 | 5.080s | 2.880s |
| systemc/token_ring.04.cil.c | safe | 65.98 | 60.91 | 60.608s | 57.708s |
| systemc/toy.cil.c | safe | 70.34 | 62.79 | 62.450s | 60.310s |
| ldv-regression/1_3.c-unsafe.cil.c | unsafe | 1.57 | 0.89 | 0.619s | 0.031s |
| ldv-regression/alt_test.c-unsafe.cil.c | unsafe | 1.56 | 0.93 | 0.671s | 0.069s |
| ldv-regression/callfpointer.c-unsafe.cil.c | unsafe | 1.73 | 0.98 | 0.724s | 0.017s |
| ldv-regression/fo_test.c-unsafe.cil.c | unknown | 1.20 | 0.69 | - | - |
| ldv-regression/mutex_lock_int.c-unsafe.cil.c | unsafe | 1.78 | 0.96 | 0.682s | 0.023s |
| ldv-regression/mutex_lock_struct.c-unsafe.cil.c | unsafe | 1.73 | 0.93 | 0.688s | 0.031s |
| ldv-regression/recursive_list.c-unsafe.cil.c | unsafe | 1.57 | 0.86 | 0.606s | 0.040s |
| ldv-regression/rule57_ebda_blast.c-unsafe.cil.c | unsafe | 1.72 | 0.97 | 0.724s | 0.042s |
| ldv-regression/rule60_list2.c-unsafe_1.cil.c | unsafe | 2.50 | 1.43 | 1.125s | 0.281s |
| ldv-regression/stateful_check-unsafe.cil.c | unsafe | 2.45 | 1.41 | 1.154s | 0.450s |
| ldv-regression/test_while_int.c-unsafe.cil.c | unsafe | 1.65 | 0.92 | 0.666s | 0.055s |
| ldv-regression/test_while_int.c-unsafe_1.cil.c | unsafe | 1.51 | 0.86 | 0.615s | 0.041s |
| ldv-regression/alias_of_return.c-safe.cil.c | safe | 1.63 | 0.95 | 0.692s | 0.041s |
| ldv-regression/alias_of_return.c-safe_1.cil.c | safe | 1.71 | 0.99 | 0.674s | 0.020s |
| ldv-regression/alias_of_return_2.c-safe.cil.c | safe | 1.70 | 0.93 | 0.670s | 0.037s |
| ldv-regression/alias_of_return_2.c-safe_1.cil.c | safe | 1.58 | 0.88 | 0.621s | 0.028s |
| ldv-regression/ex3_forlist.c-safe.cil.c | unsafe | 2.25 | 1.27 | 0.965s | 0.240s |
| ldv-regression/just_assert.c-safe.cil.c | safe | 1.68 | 0.88 | 0.616s | 0.015s |
| ldv-regression/mutex_lock_int.c-safe_1.cil.c | unsafe | 1.87 | 0.97 | 0.690s | 0.021s |
| ldv-regression/mutex_lock_struct.c-safe_1.cil.c | unsafe | 1.60 | 0.93 | 0.660s | 0.027s |
| ldv-regression/nested_structure-safe.cil.c | unsafe | 1.73 | 1.04 | 0.741s | 0.049s |
| ldv-regression/nested_structure.c-safe.cil.c | unsafe | 1.82 | 0.99 | 0.724s | 0.026s |
| ldv-regression/nested_structure_noptr-safe.cil.c | safe | 1.78 | 0.96 | 0.701s | 0.016s |
| ldv-regression/nested_structure_noptr.c-safe.cil.c | safe | 1.76 | 0.96 | 0.684s | 0.020s |
| ldv-regression/nested_structure_ptr-safe.cil.c | unsafe | 2.00 | 1.14 | 0.862s | 0.109s |
| ldv-regression/nested_structure_ptr.c-safe.cil.c | unsafe | 1.65 | 0.90 | 0.660s | 0.028s |
| ldv-regression/oomInt.c-safe.cil.c | safe | 1.56 | 0.92 | 0.653s | 0.041s |
| ldv-regression/oomInt.c-safe_1.cil.c | safe | 1.64 | 0.94 | 0.610s | 0.034s |
| ldv-regression/rule57_ebda_blast.c-safe_1.cil.c | unsafe | 1.65 | 0.98 | 0.720s | 0.056s |
| ldv-regression/rule60_list.c-safe.cil.c | unsafe | 1.68 | 0.93 | 0.665s | 0.028s |
| ldv-regression/rule60_list2.c-safe.cil.c | safe | 2.20 | 1.26 | 0.986s | 0.229s |
| ldv-regression/sizeofparameters_test.c-safe.cil.c | safe | 1.61 | 0.86 | 0.587s | 0.029s |
| ldv-regression/structure_assignment.c-safe.cil.c | unsafe | 1.82 | 0.96 | 0.686s | 0.020s |
| ldv-regression/test_address.c-safe.cil.c | unsafe | 1.73 | 0.96 | 0.683s | 0.026s |
| ldv-regression/test_cut_trace.c-safe.cil.c | safe | 1.48 | 0.83 | 0.583s | 0.023s |
| ldv-regression/test_malloc-1-safe.cil.c | safe | 1.65 | 0.89 | 0.649s | 0.033s |
| ldv-regression/test_malloc-2-safe.cil.c | safe | 1.64 | 0.90 | 0.642s | 0.030s |
| ldv-regression/test_overflow.c-safe.cil.c | safe | 1.67 | 0.90 | 0.656s | 0.031s |
| ldv-regression/test_union.c-safe.cil.c | safe | 1.65 | 0.91 | 0.665s | 0.023s |
| ldv-regression/test_union.c-safe_1.cil.c | unsafe | 1.66 | 0.92 | 0.654s | 0.021s |
| ldv-regression/test_union_cast-1-safe.cil.c | safe | 1.39 | 0.78 | 0.538s | 0.015s |
| ldv-regression/test_union_cast-2-safe.cil.c | safe | 1.73 | 0.92 | 0.672s | 0.036s |
| ldv-regression/test_union_cast.c-safe.cil.c | unsafe | 1.76 | 0.97 | 0.709s | 0.032s |
| ldv-regression/test_union_cast.c-safe_1.cil.c | safe | 1.75 | 0.95 | 0.679s | 0.026s |
| ldv-regression/volatile_alias.c-safe.cil.c | safe | 1.71 | 1.01 | 0.703s | 0.023s |
| ldv-regression/volatile_alias.c-safe_1.cil.c | safe | 1.66 | 0.91 | 0.594s | 0.018s |
| ddv-machzwd/ddv_machzwd_all_BUG.cil.c | unsafe | 4.17 | 2.28 | 2.012s | 0.379s |
| ddv-machzwd/ddv_machzwd_inw_BUG.cil.c | unsafe | 4.49 | 2.59 | 2.332s | 0.548s |
| ddv-machzwd/ddv_machzwd_outb_BUG.cil.c | unsafe | 4.61 | 2.40 | 2.126s | 0.479s |
| ddv-machzwd/ddv_machzwd_inb.cil.c | safe | 4.08 | 2.10 | 1.772s | 0.445s |
| ddv-machzwd/ddv_machzwd_inb_p.cil.c | safe | 4.02 | 2.01 | 1.716s | 0.435s |
| ddv-machzwd/ddv_machzwd_inl.cil.c | safe | 3.87 | 2.05 | 1.757s | 0.433s |
| ddv-machzwd/ddv_machzwd_inl_p.cil.c | safe | 3.99 | 1.93 | 1.590s | 0.415s |
| ddv-machzwd/ddv_machzwd_inw_p.cil.c | safe | 4.14 | 2.12 | 1.842s | 0.415s |
| ddv-machzwd/ddv_machzwd_outb_p.cil.c | safe | 3.99 | 2.15 | 1.841s | 0.561s |
| ddv-machzwd/ddv_machzwd_outl.cil.c | safe | 3.86 | 1.95 | 1.656s | 0.443s |
| ddv-machzwd/ddv_machzwd_outl_p.cil.c | safe | 3.72 | 2.04 | 1.762s | 0.499s |
| ddv-machzwd/ddv_machzwd_outw_p.cil.c | safe | 3.80 | 1.91 | 1.634s | 0.407s |
| ddv-machzwd/ddv_machzwd_pthread_mutex_unlock.cil.c | safe | 3.90 | 1.93 | 1.651s | 0.400s |
| ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 15.36 | 7.10 | 6.786s | 0.569s |
| ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 12.04 | 6.03 | 5.727s | 2.220s |
| ldv-drivers/module_get_put-drivers-block-pktcdvd.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 14.47 | 7.05 | 6.719s | 2.898s |
| ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 15.22 | 5.83 | 5.517s | 0.701s |
| ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 20.73 | 10.58 | 10.240s | 3.253s |
| ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 11.77 | 5.25 | 4.887s | 1.776s |
| ldv-drivers/module_get_put-drivers-net-wan-farsync.ko-unsafe.cil.out.iunsafe.cil.out.i.pp.cil.c | unsafe | 22.23 | 13.15 | 11.958s | 5.047s |
| ldv-drivers/module_get_put-drivers-tty-synclink_gt.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 8.96 | 3.86 | 3.535s | 0.306s |
| ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 21.68 | 8.33 | 7.958s | 1.132s |
| ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 13.43 | 7.19 | 6.825s | 3.286s |
| ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 42.99 | 27.69 | 27.301s | 10.172s |
| ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 8.23 | 3.60 | 3.314s | 0.708s |
| ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 18.95 | 11.43 | 11.066s | 4.146s |
| ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 6.33 | 3.09 | 2.747s | 0.966s |
| ldv-drivers/module_get_put-drivers-atm-eni.ko-safe.cil.out.i.pp.cil.c | safe | 18.10 | 9.72 | 9.314s | 6.542s |
| ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-safe.cil.out.i.pp.cil.c | safe | 17.75 | 7.93 | 7.583s | 1.408s |
| ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.c | safe | 34.38 | 18.93 | 18.514s | 10.958s |
| ldv-drivers/module_get_put-drivers-bluetooth-btmrvl.ko-safe.cil.out.i.pp.cil.c | safe | 11.70 | 5.52 | 5.195s | 3.217s |
| ldv-drivers/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko-safe.cil.out.i.pp.cil.c | safe | 13.53 | 6.96 | 6.615s | 3.883s |
| ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko-safe.cil.out.i.pp.cil.c | safe | 21.73 | 10.07 | 9.715s | 1.257s |
| ldv-drivers/module_get_put-drivers-hid-hid-magicmouse.ko-safe.cil.out.i.pp.cil.c | unknown | 4.47 | 2.37 | 2.067s | 0.866s |
| ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.c | safe | 7.32 | 3.58 | 3.245s | 1.391s |
| ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko-safe.cil.out.i.pp.cil.c | safe | 19.73 | 9.75 | 9.342s | 6.049s |
| ldv-drivers/module_get_put-drivers-net-pppox.ko-safe.cil.out.i.pp.cil.c | safe | 5.26 | 2.59 | 2.301s | 0.795s |
| ldv-drivers/module_get_put-drivers-net-sis900.ko-safe.cil.out.i.pp.cil.c | safe | 15.77 | 7.52 | 7.133s | 4.351s |
| ldv-drivers/module_get_put-drivers-scsi-megaraid.ko-safe.cil.out.i.pp.cil.c | unknown | 88.23 | 64.32 | 63.901s | 60.426s |
| ldv-drivers/module_get_put-drivers-staging-et131x-et131x.ko-safe.cil.out.i.pp.cil.c | safe | 23.61 | 10.24 | 9.883s | 5.967s |
| ldv-drivers/usb_urb-drivers-input-tablet-kbtab.ko-safe.cil.out.i.pp.cil.c | safe | 9.41 | 4.62 | 4.326s | 2.109s |
| ldv-drivers/usb_urb-drivers-media-video-c-qcam.ko-safe.cil.out.i.pp.cil.c | safe | 5.96 | 2.79 | 2.497s | 0.940s |
| ldv-drivers/usb_urb-drivers-media-video-msp3400.ko-safe.cil.out.i.pp.cil.c | safe | 8.62 | 3.62 | 3.303s | 1.403s |
| ldv-drivers/usb_urb-drivers-misc-c2port-core.ko-safe.cil.out.i.pp.cil.c | safe | 4.61 | 2.21 | 1.929s | 0.661s |
| ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.c | safe | 19.40 | 8.37 | 8.028s | 3.700s |
| ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko-safe.cil.out.i.pp.cil.c | unsafe | 5.28 | 2.40 | 2.129s | 0.550s |
| ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko-safe.cil.out.i.pp.cil.c | safe | 22.70 | 13.21 | 12.847s | 5.061s |
| ldv-drivers/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko-safe.cil.out.i.pp.cil.c | unsafe | 4.26 | 2.10 | 1.837s | 0.202s |
| ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.c | safe | 14.28 | 6.53 | 6.159s | 3.227s |
| ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.c | safe | 7.48 | 3.57 | 3.281s | 1.408s |