| pthread/fib_bench_BUG.cil.c | unknown | 1.59 | 0.99 | 0.717s | 0.037s |
| pthread/fib_bench_longer_BUG.cil.c | unknown | 1.48 | 1.69 | 1.414s | 0.030s |
| pthread/queue_BUG.cil.c | unknown | 2.04 | 1.37 | 0.947s | 0.121s |
| pthread/reorder_5_BUG.cil.c | unknown | 2.07 | 1.16 | 0.880s | 0.127s |
| pthread/twostage_3_BUG.cil.c | unknown | 2.07 | 1.10 | 0.815s | 0.144s |
| pthread/fib_bench.cil.c | unknown | 1.62 | 2.00 | 0.668s | 0.035s |
| pthread/fib_bench_longer.cil.c | unknown | 1.59 | 0.90 | 0.647s | 0.027s |
| pthread/queue_ok.cil.c | unknown | 1.92 | 1.23 | 0.953s | 0.114s |
| ntdrivers-simplified/cdaudio_simpl1_BUG.cil.c | unsafe | 13.48 | 7.78 | 7.421s | 4.896s |
| ntdrivers-simplified/floppy_simpl3_BUG.cil.c | unsafe | 7.20 | 3.42 | 3.144s | 1.647s |
| ntdrivers-simplified/floppy_simpl4_BUG.cil.c | unsafe | 8.94 | 4.01 | 3.707s | 2.081s |
| ntdrivers-simplified/kbfiltr_simpl2_BUG.cil.c | unsafe | 4.82 | 2.25 | 1.975s | 0.947s |
| ntdrivers-simplified/cdaudio_simpl1.cil.c | safe | 12.65 | 7.11 | 6.800s | 4.381s |
| ntdrivers-simplified/diskperf_simpl1.cil.c | safe | 10.30 | 5.53 | 5.189s | 3.417s |
| ntdrivers-simplified/floppy_simpl3.cil.c | safe | 9.51 | 4.92 | 4.606s | 2.834s |
| ntdrivers-simplified/floppy_simpl4.cil.c | safe | 11.92 | 6.26 | 5.890s | 3.697s |
| ntdrivers-simplified/kbfiltr_simpl1.cil.c | safe | 3.32 | 1.91 | 1.552s | 0.582s |
| ntdrivers-simplified/kbfiltr_simpl2.cil.c | safe | 4.93 | 2.66 | 2.333s | 1.036s |
| ntdrivers/cdaudio.BUG.i.cil.c | unsafe | 14.60 | 7.68 | 7.283s | 4.146s |
| ntdrivers/diskperf.BUG.i.cil.c | unsafe | 11.09 | 6.01 | 5.672s | 2.937s |
| ntdrivers/floppy.BUG.i.cil.c | unsafe | 12.50 | 6.49 | 6.099s | 3.102s |
| ntdrivers/kbfiltr.BUG.i.cil.c | unsafe | 7.69 | 3.70 | 3.364s | 1.377s |
| ntdrivers/parport.BUG.i.cil.c | unsafe | 20.22 | 11.79 | 11.407s | 6.272s |
| ntdrivers/cdaudio.i.cil.c | safe | 18.20 | 10.60 | 10.220s | 6.360s |
| ntdrivers/diskperf.i.cil.c | safe | 11.86 | 6.49 | 6.179s | 3.606s |
| ntdrivers/floppy.i.cil.c | safe | 15.18 | 8.87 | 8.501s | 4.319s |
| ntdrivers/parport.i.cil.c | safe | 29.29 | 20.01 | 19.579s | 11.788s |
| ssh-simplified/s3_clnt_1_BUG.cil.c | unsafe | 5.31 | 3.27 | 3.002s | 1.747s |
| ssh-simplified/s3_clnt_2_BUG.cil.c | unsafe | 5.08 | 2.69 | 2.414s | 1.278s |
| ssh-simplified/s3_clnt_3_BUG.cil.c | unsafe | 6.07 | 2.75 | 2.476s | 1.247s |
| ssh-simplified/s3_clnt_4_BUG.cil.c | unsafe | 4.28 | 2.41 | 2.127s | 0.994s |
| ssh-simplified/s3_srvr_10_BUG.cil.c | unsafe | 18.01 | 13.36 | 13.012s | 10.111s |
| ssh-simplified/s3_srvr_11_BUG.cil.c | unsafe | 62.01 | 55.01 | 54.541s | 49.269s |
| ssh-simplified/s3_srvr_12_BUG.cil.c | timeout | 119.73 | 115.52 | - | - |
| ssh-simplified/s3_srvr_14_BUG.cil.c | unsafe | 18.45 | 14.13 | 13.787s | 10.640s |
| ssh-simplified/s3_srvr_1_BUG.cil.c | unsafe | 3.84 | 2.11 | 1.812s | 0.782s |
| ssh-simplified/s3_srvr_2_BUG.cil.c | unsafe | 4.82 | 2.50 | 2.198s | 1.228s |
| ssh-simplified/s3_srvr_6_BUG.cil.c | unsafe | 2.23 | 1.09 | 0.818s | 0.055s |
| ssh-simplified/s3_clnt_1.cil.c | safe | 10.36 | 6.91 | 6.607s | 4.551s |
| ssh-simplified/s3_clnt_2.cil.c | safe | 9.38 | 5.46 | 5.172s | 3.151s |
| ssh-simplified/s3_clnt_3.cil.c | safe | 7.92 | 4.67 | 4.353s | 2.709s |
| ssh-simplified/s3_clnt_4.cil.c | safe | 12.56 | 8.37 | 8.087s | 5.117s |
| ssh-simplified/s3_srvr_1a.cil.c | safe | 4.74 | 2.37 | 2.058s | 1.377s |
| ssh-simplified/s3_srvr_1b.cil.c | safe | 2.02 | 1.08 | 0.817s | 0.221s |
| ssh-simplified/s3_srvr_1.cil.c | out of memory | 67.95 | 63.28 | - | - |
| ssh-simplified/s3_srvr_3.cil.c | safe | 25.43 | 19.96 | 19.517s | 14.191s |
| ssh-simplified/s3_srvr_4.cil.c | safe | 10.70 | 6.91 | 6.420s | 4.925s |
| ssh-simplified/s3_srvr_6.cil.c | timeout | 119.63 | 114.91 | - | - |
| ssh-simplified/s3_srvr_7.cil.c | unknown | 68.76 | 66.24 | 65.941s | 64.739s |
| ssh-simplified/s3_srvr_8.cil.c | safe | 16.81 | 12.22 | 11.820s | 8.491s |
| ssh/s3_clnt.blast.01.BUG.i.cil.c | unsafe | 6.84 | 3.84 | 3.546s | 1.946s |
| ssh/s3_clnt.blast.02.BUG.i.cil.c | unsafe | 5.20 | 2.90 | 2.607s | 1.212s |
| ssh/s3_clnt.blast.03.BUG.i.cil.c | unsafe | 4.96 | 2.73 | 2.385s | 1.105s |
| ssh/s3_clnt.blast.04.BUG.i.cil.c | unsafe | 6.39 | 3.60 | 3.290s | 1.768s |
| ssh/s3_srvr.blast.01.BUG.i.cil.c | unsafe | 6.02 | 2.96 | 2.618s | 1.280s |
| ssh/s3_srvr.blast.02.BUG.i.cil.c | unsafe | 4.84 | 2.54 | 2.247s | 1.033s |
| ssh/s3_srvr.blast.03.BUG.i.cil.c | unsafe | 5.14 | 2.74 | 2.464s | 1.250s |
| ssh/s3_srvr.blast.04.BUG.i.cil.c | unsafe | 4.77 | 2.45 | 2.141s | 0.992s |
| ssh/s3_srvr.blast.06.BUG.i.cil.c | unsafe | 5.98 | 3.03 | 2.762s | 1.417s |
| ssh/s3_srvr.blast.07.BUG.i.cil.c | unknown | 68.01 | 63.66 | 63.339s | 61.803s |
| ssh/s3_srvr.blast.08.BUG.i.cil.c | unsafe | 25.70 | 20.03 | 19.644s | 17.536s |
| ssh/s3_srvr.blast.10.BUG.i.cil.c | unsafe | 39.04 | 32.63 | 32.184s | 29.008s |
| ssh/s3_srvr.blast.11.BUG.i.cil.c | unsafe | 5.30 | 2.85 | 2.564s | 1.249s |
| ssh/s3_srvr.blast.12.BUG.i.cil.c | unsafe | 11.19 | 7.45 | 7.099s | 5.572s |
| ssh/s3_srvr.blast.13.BUG.i.cil.c | unsafe | 29.07 | 23.40 | 22.958s | 20.831s |
| ssh/s3_srvr.blast.14.BUG.i.cil.c | unsafe | 6.84 | 3.51 | 3.229s | 1.884s |
| ssh/s3_srvr.blast.15.BUG.i.cil.c | unsafe | 19.34 | 14.50 | 14.091s | 12.053s |
| ssh/s3_srvr.blast.16.BUG.i.cil.c | unsafe | 7.33 | 4.20 | 3.867s | 2.253s |
| ssh/s3_clnt.blast.01.i.cil.c | safe | 9.38 | 6.16 | 5.680s | 3.586s |
| ssh/s3_clnt.blast.03.i.cil.c | safe | 12.70 | 9.09 | 8.793s | 5.954s |
| ssh/s3_clnt.blast.04.i.cil.c | safe | 12.92 | 8.54 | 8.201s | 4.759s |
| ssh/s3_srvr.blast.01.i.cil.c | safe | 33.56 | 29.33 | 28.857s | 24.344s |
| ssh/s3_srvr.blast.06.i.cil.c | safe | 27.28 | 21.42 | 21.007s | 15.916s |
| ssh/s3_srvr.blast.07.i.cil.c | unknown | 69.28 | 65.50 | 65.168s | 63.623s |
| ssh/s3_srvr.blast.08.i.cil.c | safe | 24.97 | 20.01 | 19.616s | 15.813s |
| ssh/s3_srvr.blast.09.i.cil.c | unknown | 65.58 | 62.30 | 61.955s | 59.841s |
| ssh/s3_srvr.blast.10.i.cil.c | safe | 10.72 | 6.77 | 6.398s | 4.418s |
| ssh/s3_srvr.blast.12.i.cil.c | safe | 12.86 | 11.46 | 11.064s | 6.514s |
| ssh/s3_srvr.blast.13.i.cil.c | unknown | 64.34 | 64.08 | 62.706s | 60.176s |
| ssh/s3_srvr.blast.14.i.cil.c | safe | 36.06 | 31.06 | 30.633s | 24.896s |
| ssh/s3_srvr.blast.15.i.cil.c | safe | 14.76 | 10.74 | 10.361s | 5.419s |
| ssh/s3_srvr.blast.16.i.cil.c | safe | 41.27 | 36.83 | 36.381s | 26.553s |
| locks/test_locks_14.BUG.c | unsafe | 2.27 | 1.30 | 1.061s | 0.391s |
| locks/test_locks_15.BUG.c | unsafe | 2.27 | 1.33 | 1.090s | 0.431s |
| locks/test_locks_11.c | safe | 1.96 | 1.14 | 0.898s | 0.273s |
| locks/test_locks_12.c | safe | 2.08 | 1.21 | 0.971s | 0.344s |
| locks/test_locks_13.c | safe | 2.12 | 1.23 | 1.000s | 0.350s |
| locks/test_locks_14.c | safe | 2.16 | 1.25 | 1.017s | 0.375s |
| locks/test_locks_15.c | safe | 2.50 | 1.48 | 1.247s | 0.463s |
| locks/test_locks_5.c | safe | 1.54 | 0.91 | 0.667s | 0.108s |
| locks/test_locks_6.c | safe | 1.52 | 0.91 | 0.669s | 0.118s |
| locks/test_locks_7.c | safe | 1.63 | 0.96 | 0.716s | 0.140s |
| locks/test_locks_8.c | safe | 1.70 | 1.01 | 0.770s | 0.180s |
| locks/test_locks_9.c | safe | 1.76 | 1.05 | 0.816s | 0.209s |
| heap-manipulation/bubble_sort_linux_BUG.cil.c | unsafe | 2.12 | 1.17 | 0.931s | 0.163s |
| heap-manipulation/dll_of_dll_BUG.cil.c | unknown | 1.72 | 0.95 | 0.704s | 0.093s |
| heap-manipulation/merge_sort_BUG.cil.c | unsafe | 1.87 | 1.05 | 0.802s | 0.141s |
| heap-manipulation/bubble_sort_linux.cil.c | unsafe | 2.15 | 1.20 | 0.947s | 0.166s |
| heap-manipulation/dll_of_dll.cil.c | unknown | 1.74 | 0.96 | 0.702s | 0.084s |
| heap-manipulation/merge_sort.cil.c | safe | 1.70 | 0.95 | 0.714s | 0.071s |
| heap-manipulation/sll_to_dll_rev.cil.c | unknown | 12.34 | 10.81 | 10.557s | 8.072s |
| list-properties/alternating_list.cil.c | safe | 1.69 | 0.96 | 0.710s | 0.156s |
| list-properties/list.cil.c | safe | 1.75 | 1.00 | 0.761s | 0.202s |
| list-properties/list_flag.cil.c | safe | 1.87 | 0.98 | 0.727s | 0.153s |
| list-properties/simple.cil.c | unsafe | 1.66 | 0.95 | 0.716s | 0.144s |
| list-properties/simple_built_from_end.cil.c | unsafe | 1.66 | 0.97 | 0.734s | 0.141s |
| list-properties/splice.cil.c | unsafe | 2.93 | 1.91 | 1.667s | 0.625s |
| systemc/token_ring.01.BUG.cil.c | unsafe | 2.76 | 1.62 | 1.350s | 0.500s |
| systemc/token_ring.02.BUG.cil.c | unsafe | 4.70 | 2.45 | 2.183s | 1.084s |
| systemc/token_ring.03.BUG.cil.c | unsafe | 6.06 | 3.38 | 3.121s | 1.742s |
| systemc/transmitter.01.BUG.cil.c | unsafe | 2.19 | 1.29 | 1.046s | 0.299s |
| systemc/transmitter.02.BUG.cil.c | unsafe | 3.00 | 1.79 | 1.534s | 0.624s |
| systemc/transmitter.03.BUG.cil.c | unsafe | 3.93 | 2.10 | 1.844s | 0.758s |
| systemc/transmitter.04.BUG.cil.c | unsafe | 5.00 | 2.59 | 2.328s | 0.961s |
| systemc/bist_cell.cil.c | safe | 18.09 | 14.94 | 14.652s | 12.798s |
| systemc/kundu.cil.c | exception | 5.87 | 3.16 | - | - |
| systemc/mem_slave_tlm.1.cil.c | exception | 40.95 | 35.95 | - | - |
| systemc/mem_slave_tlm.2.cil.c | safe | 66.30 | 61.81 | 61.470s | 59.290s |
| systemc/pc_sfifo_1.cil.c | safe | 5.86 | 3.11 | 2.866s | 1.526s |
| systemc/pc_sfifo_2.cil.c | safe | 7.90 | 4.72 | 4.475s | 2.740s |
| systemc/pc_sfifo_3.cil.c | safe | 6.87 | 3.69 | 3.437s | 1.984s |
| systemc/token_ring.01.cil.c | safe | 7.74 | 4.49 | 4.248s | 2.392s |
| systemc/token_ring.04.cil.c | safe | 65.42 | 60.84 | 60.552s | 57.667s |
| systemc/toy.cil.c | timeout | 119.60 | 112.96 | - | - |
| ldv-regression/1_3.c-unsafe.cil.c | unsafe | 1.28 | 0.75 | 0.529s | 0.026s |
| ldv-regression/alt_test.c-unsafe.cil.c | unsafe | 1.34 | 0.80 | 0.583s | 0.050s |
| ldv-regression/callfpointer.c-unsafe.cil.c | unsafe | 1.26 | 0.73 | 0.508s | 0.015s |
| ldv-regression/fo_test.c-unsafe.cil.c | unknown | 0.98 | 0.57 | - | - |
| ldv-regression/mutex_lock_int.c-unsafe.cil.c | unsafe | 1.27 | 0.74 | 0.511s | 0.016s |
| ldv-regression/mutex_lock_struct.c-unsafe.cil.c | unsafe | 1.29 | 0.76 | 0.518s | 0.017s |
| ldv-regression/recursive_list.c-unsafe.cil.c | unsafe | 1.31 | 0.77 | 0.546s | 0.037s |
| ldv-regression/rule57_ebda_blast.c-unsafe.cil.c | unsafe | 1.32 | 0.81 | 0.566s | 0.032s |
| ldv-regression/rule60_list2.c-unsafe_1.cil.c | unsafe | 1.93 | 1.13 | 0.873s | 0.202s |
| ldv-regression/stateful_check-unsafe.cil.c | unsafe | 2.09 | 1.26 | 1.037s | 0.432s |
| ldv-regression/test_while_int.c-unsafe.cil.c | unsafe | 1.30 | 0.78 | 0.550s | 0.042s |
| ldv-regression/test_while_int.c-unsafe_1.cil.c | unsafe | 1.35 | 0.77 | 0.541s | 0.033s |
| ldv-regression/alias_of_return.c-safe.cil.c | safe | 1.28 | 0.75 | 0.524s | 0.029s |
| ldv-regression/alias_of_return.c-safe_1.cil.c | safe | 1.27 | 0.73 | 0.505s | 0.018s |
| ldv-regression/alias_of_return_2.c-safe.cil.c | safe | 1.28 | 0.76 | 0.534s | 0.033s |
| ldv-regression/alias_of_return_2.c-safe_1.cil.c | safe | 1.26 | 0.74 | 0.509s | 0.017s |
| ldv-regression/ex3_forlist.c-safe.cil.c | unsafe | 1.77 | 1.06 | 0.820s | 0.197s |
| ldv-regression/just_assert.c-safe.cil.c | safe | 1.27 | 0.71 | 0.486s | 0.009s |
| ldv-regression/mutex_lock_int.c-safe_1.cil.c | unsafe | 1.26 | 0.74 | 0.510s | 0.016s |
| ldv-regression/mutex_lock_struct.c-safe_1.cil.c | unsafe | 1.29 | 0.75 | 0.515s | 0.017s |
| ldv-regression/nested_structure-safe.cil.c | unsafe | 1.32 | 0.79 | 0.567s | 0.039s |
| ldv-regression/nested_structure.c-safe.cil.c | unsafe | 1.32 | 0.75 | 0.522s | 0.021s |
| ldv-regression/nested_structure_noptr-safe.cil.c | safe | 1.60 | 0.88 | 0.633s | 0.016s |
| ldv-regression/nested_structure_noptr.c-safe.cil.c | safe | 1.53 | 0.86 | 0.621s | 0.018s |
| ldv-regression/nested_structure_ptr-safe.cil.c | unsafe | 1.56 | 0.90 | 0.674s | 0.088s |
| ldv-regression/nested_structure_ptr.c-safe.cil.c | unsafe | 1.32 | 0.76 | 0.535s | 0.022s |
| ldv-regression/oomInt.c-safe.cil.c | safe | 1.29 | 0.77 | 0.527s | 0.030s |
| ldv-regression/oomInt.c-safe_1.cil.c | safe | 1.36 | 0.76 | 0.533s | 0.031s |
| ldv-regression/rule57_ebda_blast.c-safe_1.cil.c | unsafe | 1.46 | 0.86 | 0.633s | 0.047s |
| ldv-regression/rule60_list.c-safe.cil.c | unsafe | 1.48 | 0.79 | 0.569s | 0.023s |
| ldv-regression/rule60_list2.c-safe.cil.c | safe | 1.84 | 1.09 | 0.856s | 0.211s |
| ldv-regression/sizeofparameters_test.c-safe.cil.c | safe | 1.37 | 0.78 | 0.555s | 0.027s |
| ldv-regression/structure_assignment.c-safe.cil.c | unsafe | 1.56 | 0.88 | 0.623s | 0.018s |
| ldv-regression/test_address.c-safe.cil.c | unsafe | 1.64 | 0.91 | 0.649s | 0.022s |
| ldv-regression/test_cut_trace.c-safe.cil.c | safe | 1.39 | 0.81 | 0.538s | 0.019s |
| ldv-regression/test_malloc-1-safe.cil.c | safe | 1.31 | 0.76 | 0.534s | 0.028s |
| ldv-regression/test_malloc-2-safe.cil.c | safe | 1.30 | 0.75 | 0.524s | 0.026s |
| ldv-regression/test_overflow.c-safe.cil.c | safe | 1.55 | 0.90 | 0.666s | 0.028s |
| ldv-regression/test_union.c-safe.cil.c | safe | 1.28 | 0.74 | 0.516s | 0.016s |
| ldv-regression/test_union.c-safe_1.cil.c | unsafe | 1.33 | 0.77 | 0.543s | 0.016s |
| ldv-regression/test_union_cast-1-safe.cil.c | safe | 1.30 | 0.74 | 0.514s | 0.015s |
| ldv-regression/test_union_cast-2-safe.cil.c | safe | 1.30 | 0.75 | 0.526s | 0.023s |
| ldv-regression/test_union_cast.c-safe.cil.c | unsafe | 1.36 | 0.77 | 0.546s | 0.020s |
| ldv-regression/test_union_cast.c-safe_1.cil.c | safe | 1.31 | 0.76 | 0.527s | 0.018s |
| ldv-regression/volatile_alias.c-safe.cil.c | safe | 1.30 | 0.74 | 0.515s | 0.017s |
| ldv-regression/volatile_alias.c-safe_1.cil.c | safe | 1.30 | 0.75 | 0.512s | 0.016s |
| ddv-machzwd/ddv_machzwd_all_BUG.cil.c | unsafe | 3.49 | 1.84 | 1.593s | 0.332s |
| ddv-machzwd/ddv_machzwd_inw_BUG.cil.c | unsafe | 3.33 | 1.80 | 1.560s | 0.336s |
| ddv-machzwd/ddv_machzwd_outb_BUG.cil.c | unsafe | 3.32 | 1.80 | 1.565s | 0.338s |
| ddv-machzwd/ddv_machzwd_inb.cil.c | safe | 3.09 | 1.56 | 1.321s | 0.337s |
| ddv-machzwd/ddv_machzwd_inb_p.cil.c | safe | 3.01 | 1.56 | 1.325s | 0.331s |
| ddv-machzwd/ddv_machzwd_inl.cil.c | safe | 3.05 | 1.56 | 1.327s | 0.331s |
| ddv-machzwd/ddv_machzwd_inl_p.cil.c | safe | 3.05 | 1.56 | 1.328s | 0.330s |
| ddv-machzwd/ddv_machzwd_inw_p.cil.c | safe | 3.02 | 1.55 | 1.310s | 0.328s |
| ddv-machzwd/ddv_machzwd_outb_p.cil.c | safe | 3.29 | 1.74 | 1.507s | 0.412s |
| ddv-machzwd/ddv_machzwd_outl.cil.c | safe | 3.06 | 1.57 | 1.333s | 0.330s |
| ddv-machzwd/ddv_machzwd_outl_p.cil.c | safe | 3.08 | 1.58 | 1.343s | 0.348s |
| ddv-machzwd/ddv_machzwd_outw_p.cil.c | safe | 3.13 | 1.57 | 1.337s | 0.336s |
| ddv-machzwd/ddv_machzwd_pthread_mutex_unlock.cil.c | safe | 3.06 | 1.57 | 1.333s | 0.331s |
| ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 13.05 | 5.72 | 5.452s | 0.432s |
| ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 9.94 | 5.35 | 5.063s | 1.841s |
| ldv-drivers/module_get_put-drivers-block-pktcdvd.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 14.24 | 6.66 | 6.264s | 2.646s |
| ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 11.92 | 4.51 | 4.228s | 0.511s |
| ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 16.50 | 8.62 | 8.315s | 3.114s |
| ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 8.46 | 3.77 | 3.482s | 1.290s |
| ldv-drivers/module_get_put-drivers-net-wan-farsync.ko-unsafe.cil.out.iunsafe.cil.out.i.pp.cil.c | unsafe | 17.37 | 9.77 | 9.444s | 3.948s |
| ldv-drivers/module_get_put-drivers-tty-synclink_gt.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 8.36 | 3.53 | 3.263s | 0.258s |
| ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 13.61 | 5.37 | 5.099s | 0.986s |
| ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 10.71 | 5.99 | 5.684s | 2.534s |
| ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 41.41 | 24.61 | 24.234s | 9.920s |
| ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 6.12 | 2.93 | 2.664s | 0.558s |
| ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 17.22 | 10.40 | 10.066s | 4.311s |
| ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 5.92 | 2.74 | 2.456s | 0.852s |
| ldv-drivers/module_get_put-drivers-atm-eni.ko-safe.cil.out.i.pp.cil.c | safe | 15.49 | 7.72 | 7.362s | 5.253s |
| ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-safe.cil.out.i.pp.cil.c | safe | 15.16 | 6.66 | 6.349s | 1.167s |
| ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.c | safe | 35.04 | 18.02 | 17.594s | 10.445s |
| ldv-drivers/module_get_put-drivers-bluetooth-btmrvl.ko-safe.cil.out.i.pp.cil.c | safe | 9.95 | 4.98 | 4.679s | 2.980s |
| ldv-drivers/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko-safe.cil.out.i.pp.cil.c | safe | 11.04 | 5.80 | 5.469s | 3.276s |
| ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko-safe.cil.out.i.pp.cil.c | safe | 16.21 | 7.66 | 7.341s | 0.981s |
| ldv-drivers/module_get_put-drivers-hid-hid-magicmouse.ko-safe.cil.out.i.pp.cil.c | unknown | 3.81 | 1.92 | 1.671s | 0.650s |
| ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.c | safe | 6.01 | 2.85 | 2.579s | 1.051s |
| ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko-safe.cil.out.i.pp.cil.c | safe | 16.84 | 8.03 | 7.692s | 5.014s |
| ldv-drivers/module_get_put-drivers-net-pppox.ko-safe.cil.out.i.pp.cil.c | safe | 4.04 | 2.14 | 1.895s | 0.677s |
| ldv-drivers/module_get_put-drivers-net-sis900.ko-safe.cil.out.i.pp.cil.c | safe | 12.72 | 6.14 | 5.793s | 3.629s |
| ldv-drivers/module_get_put-drivers-scsi-megaraid.ko-safe.cil.out.i.pp.cil.c | unknown | 87.97 | 63.38 | 62.962s | 60.119s |
| ldv-drivers/module_get_put-drivers-staging-et131x-et131x.ko-safe.cil.out.i.pp.cil.c | safe | 18.20 | 8.56 | 8.206s | 5.588s |
| ldv-drivers/usb_urb-drivers-input-tablet-kbtab.ko-safe.cil.out.i.pp.cil.c | safe | 7.83 | 4.06 | 3.784s | 1.820s |
| ldv-drivers/usb_urb-drivers-media-video-c-qcam.ko-safe.cil.out.i.pp.cil.c | safe | 5.85 | 2.73 | 2.479s | 0.921s |
| ldv-drivers/usb_urb-drivers-media-video-msp3400.ko-safe.cil.out.i.pp.cil.c | safe | 7.98 | 3.53 | 3.221s | 1.499s |
| ldv-drivers/usb_urb-drivers-misc-c2port-core.ko-safe.cil.out.i.pp.cil.c | safe | 4.26 | 2.07 | 1.795s | 0.630s |
| ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.c | safe | 16.85 | 7.28 | 6.899s | 3.505s |
| ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko-safe.cil.out.i.pp.cil.c | unsafe | 4.46 | 2.06 | 1.813s | 0.487s |
| ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko-safe.cil.out.i.pp.cil.c | safe | 19.25 | 10.68 | 9.370s | 3.719s |
| ldv-drivers/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko-safe.cil.out.i.pp.cil.c | unsafe | 3.65 | 1.76 | 1.476s | 0.166s |
| ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.c | safe | 11.66 | 5.32 | 4.422s | 2.084s |
| ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.c | safe | 6.06 | 2.89 | 2.609s | 0.911s |