| pthread/fib_bench_BUG.cil.c | unknown | 1.40 | 1.35 | 0.788s | 0.112s |
| pthread/fib_bench_longer_BUG.cil.c | unknown | 1.49 | 0.86 | 0.589s | 0.029s |
| pthread/queue_BUG.cil.c | unknown | 1.89 | 1.01 | 0.758s | 0.092s |
| pthread/reorder_5_BUG.cil.c | unknown | 1.89 | 1.06 | 0.802s | 0.113s |
| pthread/twostage_3_BUG.cil.c | unknown | 1.83 | 0.96 | 0.721s | 0.129s |
| pthread/fib_bench.cil.c | unknown | 1.29 | 0.75 | 0.515s | 0.027s |
| pthread/fib_bench_longer.cil.c | unknown | 1.66 | 0.91 | 0.654s | 0.030s |
| pthread/queue_ok.cil.c | unknown | 2.02 | 1.09 | 0.812s | 0.123s |
| ntdrivers-simplified/cdaudio_simpl1_BUG.cil.c | unsafe | 16.01 | 10.07 | 9.653s | 6.388s |
| ntdrivers-simplified/floppy_simpl3_BUG.cil.c | unsafe | 7.74 | 3.81 | 3.473s | 1.780s |
| ntdrivers-simplified/floppy_simpl4_BUG.cil.c | unsafe | 8.94 | 4.50 | 4.163s | 2.195s |
| ntdrivers-simplified/kbfiltr_simpl2_BUG.cil.c | unsafe | 5.47 | 4.96 | 4.583s | 1.127s |
| ntdrivers-simplified/cdaudio_simpl1.cil.c | safe | 13.02 | 9.41 | 9.037s | 4.586s |
| ntdrivers-simplified/diskperf_simpl1.cil.c | safe | 9.85 | 7.34 | 7.014s | 3.171s |
| ntdrivers-simplified/floppy_simpl3.cil.c | safe | 10.29 | 6.20 | 5.817s | 3.181s |
| ntdrivers-simplified/floppy_simpl4.cil.c | safe | 12.24 | 6.66 | 6.312s | 4.083s |
| ntdrivers-simplified/kbfiltr_simpl1.cil.c | safe | 3.04 | 1.69 | 1.417s | 0.525s |
| ntdrivers-simplified/kbfiltr_simpl2.cil.c | safe | 4.56 | 2.43 | 2.133s | 0.971s |
| ntdrivers/cdaudio.BUG.i.cil.c | unsafe | 14.81 | 7.82 | 7.479s | 4.211s |
| ntdrivers/diskperf.BUG.i.cil.c | unsafe | 11.47 | 5.87 | 5.505s | 2.886s |
| ntdrivers/floppy.BUG.i.cil.c | unsafe | 12.52 | 6.92 | 6.560s | 3.305s |
| ntdrivers/kbfiltr.BUG.i.cil.c | unsafe | 7.76 | 3.80 | 3.473s | 1.475s |
| ntdrivers/parport.BUG.i.cil.c | unsafe | 21.92 | 13.86 | 13.330s | 6.905s |
| ntdrivers/cdaudio.i.cil.c | safe | 18.97 | 11.35 | 10.878s | 6.902s |
| ntdrivers/diskperf.i.cil.c | safe | 12.78 | 6.83 | 6.463s | 3.794s |
| ntdrivers/floppy.i.cil.c | safe | 15.33 | 9.19 | 8.764s | 4.637s |
| ntdrivers/parport.i.cil.c | safe | 28.55 | 19.08 | 18.649s | 10.811s |
| ssh-simplified/s3_clnt_1_BUG.cil.c | unsafe | 5.52 | 3.17 | 2.904s | 1.726s |
| ssh-simplified/s3_clnt_2_BUG.cil.c | unsafe | 5.06 | 2.82 | 2.556s | 1.417s |
| ssh-simplified/s3_clnt_3_BUG.cil.c | unsafe | 6.08 | 2.91 | 2.623s | 1.303s |
| ssh-simplified/s3_clnt_4_BUG.cil.c | unsafe | 4.28 | 2.22 | 1.964s | 0.928s |
| ssh-simplified/s3_srvr_10_BUG.cil.c | unsafe | 17.83 | 13.36 | 13.017s | 10.161s |
| ssh-simplified/s3_srvr_11_BUG.cil.c | unsafe | 64.58 | 57.98 | 57.457s | 51.394s |
| ssh-simplified/s3_srvr_12_BUG.cil.c | timeout | 119.68 | 114.95 | - | - |
| ssh-simplified/s3_srvr_14_BUG.cil.c | unsafe | 19.03 | 13.76 | 13.364s | 10.542s |
| ssh-simplified/s3_srvr_1_BUG.cil.c | unsafe | 3.88 | 2.14 | 1.841s | 0.790s |
| ssh-simplified/s3_srvr_2_BUG.cil.c | unsafe | 4.87 | 2.64 | 2.358s | 1.241s |
| ssh-simplified/s3_srvr_6_BUG.cil.c | unsafe | 2.17 | 1.07 | 0.807s | 0.078s |
| ssh-simplified/s3_clnt_1.cil.c | safe | 10.13 | 7.04 | 6.753s | 4.625s |
| ssh-simplified/s3_clnt_2.cil.c | safe | 8.87 | 5.55 | 5.236s | 3.109s |
| ssh-simplified/s3_clnt_3.cil.c | safe | 8.05 | 4.45 | 4.155s | 2.704s |
| ssh-simplified/s3_clnt_4.cil.c | safe | 12.26 | 8.63 | 8.319s | 5.445s |
| ssh-simplified/s3_srvr_1a.cil.c | safe | 4.90 | 2.57 | 2.249s | 1.459s |
| ssh-simplified/s3_srvr_1b.cil.c | safe | 1.95 | 1.12 | 0.864s | 0.244s |
| ssh-simplified/s3_srvr_1.cil.c | out of memory | 65.67 | 61.56 | - | - |
| ssh-simplified/s3_srvr_3.cil.c | safe | 25.27 | 19.59 | 19.176s | 13.775s |
| ssh-simplified/s3_srvr_4.cil.c | safe | 10.40 | 6.35 | 6.024s | 4.497s |
| ssh-simplified/s3_srvr_6.cil.c | timeout | 119.64 | 115.10 | - | - |
| ssh-simplified/s3_srvr_7.cil.c | unknown | 64.57 | 61.47 | 61.183s | 60.053s |
| ssh-simplified/s3_srvr_8.cil.c | safe | 15.54 | 11.40 | 11.083s | 8.199s |
| ssh/s3_clnt.blast.01.BUG.i.cil.c | unsafe | 6.54 | 3.08 | 2.809s | 1.523s |
| ssh/s3_clnt.blast.02.BUG.i.cil.c | unsafe | 4.93 | 2.63 | 2.375s | 1.152s |
| ssh/s3_clnt.blast.03.BUG.i.cil.c | unsafe | 4.80 | 2.50 | 2.223s | 1.024s |
| ssh/s3_clnt.blast.04.BUG.i.cil.c | unsafe | 5.72 | 2.89 | 2.578s | 1.260s |
| ssh/s3_srvr.blast.01.BUG.i.cil.c | unsafe | 5.45 | 2.74 | 2.478s | 1.312s |
| ssh/s3_srvr.blast.02.BUG.i.cil.c | unsafe | 4.73 | 2.49 | 2.226s | 1.121s |
| ssh/s3_srvr.blast.03.BUG.i.cil.c | unsafe | 4.66 | 2.40 | 2.139s | 0.982s |
| ssh/s3_srvr.blast.04.BUG.i.cil.c | unsafe | 4.69 | 2.48 | 2.218s | 1.032s |
| ssh/s3_srvr.blast.06.BUG.i.cil.c | unsafe | 6.16 | 3.08 | 2.806s | 1.368s |
| ssh/s3_srvr.blast.07.BUG.i.cil.c | unknown | 65.42 | 61.34 | 60.980s | 59.307s |
| ssh/s3_srvr.blast.08.BUG.i.cil.c | unsafe | 25.81 | 20.44 | 20.036s | 17.991s |
| ssh/s3_srvr.blast.10.BUG.i.cil.c | unsafe | 36.65 | 31.18 | 30.736s | 28.006s |
| ssh/s3_srvr.blast.11.BUG.i.cil.c | unsafe | 4.90 | 2.72 | 2.430s | 1.188s |
| ssh/s3_srvr.blast.12.BUG.i.cil.c | unsafe | 10.87 | 6.91 | 6.614s | 5.179s |
| ssh/s3_srvr.blast.13.BUG.i.cil.c | unsafe | 28.77 | 23.40 | 23.011s | 20.921s |
| ssh/s3_srvr.blast.14.BUG.i.cil.c | unsafe | 6.75 | 3.62 | 3.346s | 1.972s |
| ssh/s3_srvr.blast.15.BUG.i.cil.c | unsafe | 19.29 | 14.21 | 13.847s | 11.875s |
| ssh/s3_srvr.blast.16.BUG.i.cil.c | unsafe | 5.94 | 3.24 | 2.970s | 1.703s |
| ssh/s3_clnt.blast.01.i.cil.c | safe | 8.25 | 5.11 | 4.810s | 3.161s |
| ssh/s3_clnt.blast.03.i.cil.c | safe | 12.40 | 8.90 | 8.562s | 6.015s |
| ssh/s3_clnt.blast.04.i.cil.c | safe | 11.38 | 7.15 | 6.871s | 3.973s |
| ssh/s3_srvr.blast.01.i.cil.c | safe | 33.21 | 28.21 | 27.828s | 23.067s |
| ssh/s3_srvr.blast.06.i.cil.c | safe | 25.48 | 20.05 | 19.623s | 14.759s |
| ssh/s3_srvr.blast.07.i.cil.c | unknown | 66.64 | 63.38 | 63.094s | 61.553s |
| ssh/s3_srvr.blast.08.i.cil.c | safe | 23.63 | 18.56 | 18.163s | 14.609s |
| ssh/s3_srvr.blast.09.i.cil.c | unknown | 66.48 | 61.63 | 61.310s | 59.417s |
| ssh/s3_srvr.blast.10.i.cil.c | safe | 11.56 | 7.28 | 6.931s | 5.097s |
| ssh/s3_srvr.blast.12.i.cil.c | safe | 14.78 | 9.90 | 9.506s | 7.703s |
| ssh/s3_srvr.blast.13.i.cil.c | unknown | 67.94 | 63.23 | 62.914s | 61.118s |
| ssh/s3_srvr.blast.14.i.cil.c | safe | 38.61 | 33.44 | 33.032s | 26.506s |
| ssh/s3_srvr.blast.15.i.cil.c | safe | 18.03 | 12.80 | 12.431s | 6.993s |
| ssh/s3_srvr.blast.16.i.cil.c | safe | 47.58 | 41.65 | 41.188s | 29.240s |
| locks/test_locks_14.BUG.c | unsafe | 2.89 | 1.77 | 1.488s | 0.506s |
| locks/test_locks_15.BUG.c | unsafe | 2.71 | 1.63 | 1.332s | 0.537s |
| locks/test_locks_11.c | safe | 2.37 | 1.37 | 1.103s | 0.296s |
| locks/test_locks_12.c | safe | 2.42 | 1.41 | 1.118s | 0.363s |
| locks/test_locks_13.c | safe | 2.58 | 1.57 | 1.261s | 0.481s |
| locks/test_locks_14.c | safe | 2.60 | 1.52 | 1.205s | 0.431s |
| locks/test_locks_15.c | safe | 2.83 | 1.60 | 1.335s | 0.610s |
| locks/test_locks_5.c | safe | 1.94 | 1.09 | 0.820s | 0.111s |
| locks/test_locks_6.c | safe | 1.76 | 1.08 | 0.759s | 0.142s |
| locks/test_locks_7.c | safe | 1.89 | 1.16 | 0.868s | 0.171s |
| locks/test_locks_8.c | safe | 2.03 | 1.24 | 0.955s | 0.230s |
| locks/test_locks_9.c | safe | 2.15 | 1.25 | 0.971s | 0.239s |
| heap-manipulation/bubble_sort_linux_BUG.cil.c | unsafe | 2.54 | 1.47 | 1.076s | 0.202s |
| heap-manipulation/dll_of_dll_BUG.cil.c | unknown | 2.08 | 1.09 | 0.780s | 0.137s |
| heap-manipulation/merge_sort_BUG.cil.c | unsafe | 2.35 | 1.48 | 1.043s | 0.162s |
| heap-manipulation/bubble_sort_linux.cil.c | unsafe | 2.60 | 1.33 | 1.074s | 0.203s |
| heap-manipulation/dll_of_dll.cil.c | unknown | 2.08 | 1.09 | 0.839s | 0.130s |
| heap-manipulation/merge_sort.cil.c | safe | 1.96 | 1.10 | 0.863s | 0.102s |
| heap-manipulation/sll_to_dll_rev.cil.c | unknown | 13.86 | 11.88 | 11.627s | 8.897s |
| list-properties/alternating_list.cil.c | safe | 1.94 | 1.04 | 0.800s | 0.156s |
| list-properties/list.cil.c | safe | 2.29 | 1.12 | 0.866s | 0.213s |
| list-properties/list_flag.cil.c | safe | 2.08 | 1.06 | 0.773s | 0.164s |
| list-properties/simple.cil.c | unsafe | 2.12 | 1.05 | 0.805s | 0.159s |
| list-properties/simple_built_from_end.cil.c | unsafe | 1.97 | 1.01 | 0.762s | 0.141s |
| list-properties/splice.cil.c | unsafe | 3.48 | 2.12 | 1.859s | 0.737s |
| systemc/token_ring.01.BUG.cil.c | unsafe | 3.12 | 1.75 | 1.489s | 0.580s |
| systemc/token_ring.02.BUG.cil.c | unsafe | 5.47 | 2.63 | 2.354s | 1.175s |
| systemc/token_ring.03.BUG.cil.c | unsafe | 6.77 | 3.59 | 3.329s | 1.836s |
| systemc/transmitter.01.BUG.cil.c | unsafe | 2.56 | 1.38 | 1.130s | 0.357s |
| systemc/transmitter.02.BUG.cil.c | unsafe | 3.68 | 2.05 | 1.765s | 0.754s |
| systemc/transmitter.03.BUG.cil.c | unsafe | 5.32 | 2.86 | 2.573s | 1.161s |
| systemc/transmitter.04.BUG.cil.c | unsafe | 6.53 | 3.39 | 3.039s | 1.216s |
| systemc/bist_cell.cil.c | safe | 20.89 | 17.25 | 16.851s | 14.412s |
| systemc/kundu.cil.c | exception | 7.19 | 3.82 | - | - |
| systemc/mem_slave_tlm.1.cil.c | exception | 45.76 | 41.07 | - | - |
| systemc/mem_slave_tlm.2.cil.c | safe | 65.72 | 62.91 | 62.609s | 58.598s |
| systemc/pc_sfifo_1.cil.c | safe | 5.26 | 2.82 | 2.565s | 1.371s |
| systemc/pc_sfifo_2.cil.c | safe | 7.91 | 4.82 | 4.556s | 2.782s |
| systemc/pc_sfifo_3.cil.c | safe | 7.57 | 4.22 | 3.953s | 2.260s |
| systemc/token_ring.01.cil.c | safe | 8.40 | 4.96 | 4.690s | 2.672s |
| systemc/token_ring.04.cil.c | safe | 69.28 | 64.00 | 63.691s | 61.105s |
| systemc/toy.cil.c | safe | 69.16 | 62.32 | 62.000s | 60.118s |
| ldv-regression/1_3.c-unsafe.cil.c | unsafe | 1.46 | 0.87 | 0.619s | 0.028s |
| ldv-regression/alt_test.c-unsafe.cil.c | unsafe | 1.53 | 0.94 | 0.684s | 0.053s |
| ldv-regression/callfpointer.c-unsafe.cil.c | unsafe | 1.69 | 1.04 | 0.751s | 0.020s |
| ldv-regression/fo_test.c-unsafe.cil.c | unsafe | 1.53 | 0.93 | 0.645s | 0.047s |
| ldv-regression/mutex_lock_int.c-unsafe.cil.c | unsafe | 1.46 | 0.85 | 0.590s | 0.018s |
| ldv-regression/mutex_lock_struct.c-unsafe.cil.c | unsafe | 1.63 | 0.93 | 0.660s | 0.026s |
| ldv-regression/recursive_list.c-unsafe.cil.c | unsafe | 1.59 | 0.87 | 0.619s | 0.065s |
| ldv-regression/rule57_ebda_blast.c-unsafe.cil.c | unsafe | 1.57 | 0.95 | 0.723s | 0.034s |
| ldv-regression/rule60_list2.c-unsafe_1.cil.c | unsafe | 2.42 | 1.44 | 1.123s | 0.265s |
| ldv-regression/stateful_check-unsafe.cil.c | unsafe | 2.38 | 1.51 | 1.271s | 0.598s |
| ldv-regression/test_while_int.c-unsafe.cil.c | unsafe | 1.72 | 1.07 | 0.776s | 0.044s |
| ldv-regression/test_while_int.c-unsafe_1.cil.c | unsafe | 1.67 | 1.08 | 0.745s | 0.039s |
| ldv-regression/alias_of_return.c-safe.cil.c | safe | 1.37 | 0.81 | 0.555s | 0.030s |
| ldv-regression/alias_of_return.c-safe_1.cil.c | safe | 1.51 | 0.94 | 0.681s | 0.030s |
| ldv-regression/alias_of_return_2.c-safe.cil.c | safe | 1.41 | 0.82 | 0.558s | 0.037s |
| ldv-regression/alias_of_return_2.c-safe_1.cil.c | safe | 1.39 | 0.81 | 0.558s | 0.019s |
| ldv-regression/ex3_forlist.c-safe.cil.c | unsafe | 1.94 | 1.11 | 0.872s | 0.220s |
| ldv-regression/just_assert.c-safe.cil.c | safe | 1.36 | 0.77 | 0.530s | 0.011s |
| ldv-regression/mutex_lock_int.c-safe_1.cil.c | unsafe | 1.35 | 0.78 | 0.531s | 0.018s |
| ldv-regression/mutex_lock_struct.c-safe_1.cil.c | unsafe | 1.35 | 0.79 | 0.538s | 0.018s |
| ldv-regression/nested_structure-safe.cil.c | unsafe | 1.54 | 0.86 | 0.629s | 0.058s |
| ldv-regression/nested_structure.c-safe.cil.c | unsafe | 1.34 | 0.77 | 0.535s | 0.020s |
| ldv-regression/nested_structure_noptr-safe.cil.c | safe | 1.45 | 0.82 | 0.564s | 0.015s |
| ldv-regression/nested_structure_noptr.c-safe.cil.c | safe | 1.38 | 0.80 | 0.560s | 0.021s |
| ldv-regression/nested_structure_ptr-safe.cil.c | unsafe | 1.60 | 0.94 | 0.676s | 0.100s |
| ldv-regression/nested_structure_ptr.c-safe.cil.c | unsafe | 1.37 | 0.79 | 0.547s | 0.023s |
| ldv-regression/oomInt.c-safe.cil.c | safe | 1.43 | 0.82 | 0.584s | 0.037s |
| ldv-regression/oomInt.c-safe_1.cil.c | safe | 1.34 | 0.79 | 0.559s | 0.032s |
| ldv-regression/rule57_ebda_blast.c-safe_1.cil.c | unsafe | 1.52 | 0.91 | 0.616s | 0.053s |
| ldv-regression/rule60_list.c-safe.cil.c | unsafe | 1.44 | 0.82 | 0.584s | 0.024s |
| ldv-regression/rule60_list2.c-safe.cil.c | safe | 1.91 | 1.13 | 0.866s | 0.224s |
| ldv-regression/sizeofparameters_test.c-safe.cil.c | safe | 1.38 | 0.79 | 0.561s | 0.026s |
| ldv-regression/structure_assignment.c-safe.cil.c | unsafe | 1.35 | 0.78 | 0.527s | 0.017s |
| ldv-regression/test_address.c-safe.cil.c | unsafe | 1.44 | 0.86 | 0.621s | 0.021s |
| ldv-regression/test_cut_trace.c-safe.cil.c | safe | 1.37 | 0.78 | 0.548s | 0.023s |
| ldv-regression/test_malloc-1-safe.cil.c | safe | 1.47 | 0.84 | 0.601s | 0.033s |
| ldv-regression/test_malloc-2-safe.cil.c | safe | 1.40 | 0.79 | 0.557s | 0.029s |
| ldv-regression/test_overflow.c-safe.cil.c | safe | 1.39 | 0.81 | 0.576s | 0.034s |
| ldv-regression/test_union.c-safe.cil.c | safe | 1.34 | 0.77 | 0.530s | 0.018s |
| ldv-regression/test_union.c-safe_1.cil.c | unsafe | 1.49 | 0.78 | 0.547s | 0.016s |
| ldv-regression/test_union_cast-1-safe.cil.c | safe | 1.38 | 0.78 | 0.548s | 0.017s |
| ldv-regression/test_union_cast-2-safe.cil.c | safe | 1.36 | 0.78 | 0.535s | 0.026s |
| ldv-regression/test_union_cast.c-safe.cil.c | unsafe | 1.59 | 0.89 | 0.664s | 0.022s |
| ldv-regression/test_union_cast.c-safe_1.cil.c | safe | 1.39 | 0.81 | 0.567s | 0.021s |
| ldv-regression/volatile_alias.c-safe.cil.c | safe | 1.42 | 0.83 | 0.592s | 0.022s |
| ldv-regression/volatile_alias.c-safe_1.cil.c | safe | 1.36 | 0.79 | 0.543s | 0.017s |
| ddv-machzwd/ddv_machzwd_all_BUG.cil.c | unsafe | 3.56 | 1.92 | 1.676s | 0.355s |
| ddv-machzwd/ddv_machzwd_inw_BUG.cil.c | unsafe | 3.58 | 1.91 | 1.665s | 0.383s |
| ddv-machzwd/ddv_machzwd_outb_BUG.cil.c | unsafe | 3.58 | 1.92 | 1.665s | 0.380s |
| ddv-machzwd/ddv_machzwd_inb.cil.c | safe | 3.24 | 1.65 | 1.386s | 0.358s |
| ddv-machzwd/ddv_machzwd_inb_p.cil.c | safe | 3.26 | 1.67 | 1.423s | 0.354s |
| ddv-machzwd/ddv_machzwd_inl.cil.c | safe | 3.60 | 1.73 | 1.461s | 0.382s |
| ddv-machzwd/ddv_machzwd_inl_p.cil.c | safe | 3.98 | 1.92 | 1.625s | 0.422s |
| ddv-machzwd/ddv_machzwd_inw_p.cil.c | safe | 3.75 | 1.89 | 1.606s | 0.433s |
| ddv-machzwd/ddv_machzwd_outb_p.cil.c | safe | 3.35 | 1.75 | 1.500s | 0.445s |
| ddv-machzwd/ddv_machzwd_outl.cil.c | safe | 3.54 | 1.76 | 1.488s | 0.370s |
| ddv-machzwd/ddv_machzwd_outl_p.cil.c | safe | 3.35 | 1.71 | 1.448s | 0.400s |
| ddv-machzwd/ddv_machzwd_outw_p.cil.c | safe | 3.73 | 1.86 | 1.612s | 0.407s |
| ddv-machzwd/ddv_machzwd_pthread_mutex_unlock.cil.c | safe | 3.48 | 1.78 | 1.503s | 0.351s |
| ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 14.50 | 6.69 | 6.380s | 0.538s |
| ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 11.50 | 6.11 | 5.806s | 2.246s |
| ldv-drivers/module_get_put-drivers-block-pktcdvd.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 14.93 | 7.63 | 7.289s | 3.657s |
| ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 12.53 | 4.72 | 4.456s | 0.524s |
| ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 17.35 | 9.27 | 8.958s | 2.987s |
| ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 9.13 | 4.14 | 3.846s | 1.555s |
| ldv-drivers/module_get_put-drivers-net-wan-farsync.ko-unsafe.cil.out.iunsafe.cil.out.i.pp.cil.c | unsafe | 19.69 | 11.49 | 11.153s | 5.155s |
| ldv-drivers/module_get_put-drivers-tty-synclink_gt.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 10.28 | 4.01 | 3.745s | 0.217s |
| ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 15.54 | 6.48 | 6.174s | 1.271s |
| ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 12.04 | 6.68 | 6.344s | 2.897s |
| ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 45.70 | 29.49 | 29.108s | 10.222s |
| ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 6.47 | 3.16 | 2.884s | 0.610s |
| ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 17.23 | 10.64 | 10.329s | 3.470s |
| ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 5.47 | 2.74 | 2.473s | 0.907s |
| ldv-drivers/module_get_put-drivers-atm-eni.ko-safe.cil.out.i.pp.cil.c | safe | 21.07 | 11.07 | 10.649s | 7.778s |
| ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-safe.cil.out.i.pp.cil.c | safe | 15.79 | 7.08 | 6.735s | 1.005s |
| ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.c | safe | 42.69 | 22.81 | 22.401s | 13.660s |
| ldv-drivers/module_get_put-drivers-bluetooth-btmrvl.ko-safe.cil.out.i.pp.cil.c | safe | 11.11 | 5.72 | 5.353s | 3.510s |
| ldv-drivers/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko-safe.cil.out.i.pp.cil.c | safe | 12.88 | 7.10 | 6.760s | 3.758s |
| ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko-safe.cil.out.i.pp.cil.c | safe | 17.67 | 8.28 | 7.965s | 1.075s |
| ldv-drivers/module_get_put-drivers-hid-hid-magicmouse.ko-safe.cil.out.i.pp.cil.c | unknown | 3.86 | 1.91 | 1.662s | 0.637s |
| ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.c | safe | 6.69 | 3.28 | 2.975s | 1.375s |
| ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko-safe.cil.out.i.pp.cil.c | safe | 19.93 | 10.30 | 9.951s | 6.850s |
| ldv-drivers/module_get_put-drivers-net-pppox.ko-safe.cil.out.i.pp.cil.c | safe | 4.90 | 2.31 | 2.008s | 0.711s |
| ldv-drivers/module_get_put-drivers-net-sis900.ko-safe.cil.out.i.pp.cil.c | safe | 16.15 | 8.04 | 7.671s | 5.197s |
| ldv-drivers/module_get_put-drivers-scsi-megaraid.ko-safe.cil.out.i.pp.cil.c | unknown | 90.66 | 62.93 | 62.468s | 59.548s |
| ldv-drivers/module_get_put-drivers-staging-et131x-et131x.ko-safe.cil.out.i.pp.cil.c | safe | 24.40 | 11.92 | 11.545s | 8.336s |
| ldv-drivers/usb_urb-drivers-input-tablet-kbtab.ko-safe.cil.out.i.pp.cil.c | safe | 8.36 | 4.37 | 4.083s | 1.991s |
| ldv-drivers/usb_urb-drivers-media-video-c-qcam.ko-safe.cil.out.i.pp.cil.c | safe | 5.19 | 2.65 | 2.388s | 0.989s |
| ldv-drivers/usb_urb-drivers-media-video-msp3400.ko-safe.cil.out.i.pp.cil.c | safe | 8.12 | 3.68 | 3.393s | 1.643s |
| ldv-drivers/usb_urb-drivers-misc-c2port-core.ko-safe.cil.out.i.pp.cil.c | safe | 4.27 | 2.18 | 1.916s | 0.725s |
| ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.c | safe | 18.09 | 8.43 | 8.095s | 4.664s |
| ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko-safe.cil.out.i.pp.cil.c | unsafe | 4.26 | 2.02 | 1.770s | 0.452s |
| ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko-safe.cil.out.i.pp.cil.c | safe | 19.93 | 11.68 | 11.345s | 4.806s |
| ldv-drivers/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko-safe.cil.out.i.pp.cil.c | unsafe | 3.44 | 1.65 | 1.408s | 0.179s |
| ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.c | safe | 12.54 | 5.95 | 5.581s | 3.333s |
| ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.c | safe | 6.75 | 3.21 | 2.884s | 1.144s |