| pthread/fib_bench_BUG.cil.c | unknown | 1.31 | 0.76 | 0.510s | 0.027s |
| pthread/fib_bench_longer_BUG.cil.c | unknown | 1.29 | 0.76 | 0.517s | 0.029s |
| pthread/queue_BUG.cil.c | unknown | 1.56 | 0.90 | 0.642s | 0.098s |
| pthread/reorder_5_BUG.cil.c | unknown | 1.88 | 1.08 | 0.818s | 0.144s |
| pthread/twostage_3_BUG.cil.c | unknown | 1.94 | 1.03 | 0.794s | 0.149s |
| pthread/fib_bench.cil.c | unknown | 1.55 | 0.89 | 0.648s | 0.024s |
| pthread/fib_bench_longer.cil.c | unknown | 1.38 | 0.77 | 0.540s | 0.023s |
| pthread/queue_ok.cil.c | unknown | 1.56 | 0.89 | 0.630s | 0.087s |
| ntdrivers-simplified/cdaudio_simpl1_BUG.cil.c | unsafe | 18.61 | 12.20 | 11.825s | 8.438s |
| ntdrivers-simplified/floppy_simpl3_BUG.cil.c | unsafe | 7.45 | 3.63 | 3.349s | 1.721s |
| ntdrivers-simplified/floppy_simpl4_BUG.cil.c | unsafe | 9.18 | 4.66 | 4.293s | 2.339s |
| ntdrivers-simplified/kbfiltr_simpl2_BUG.cil.c | unsafe | 5.36 | 2.68 | 2.344s | 1.076s |
| ntdrivers-simplified/cdaudio_simpl1.cil.c | safe | 13.75 | 8.10 | 7.685s | 4.966s |
| ntdrivers-simplified/diskperf_simpl1.cil.c | safe | 10.61 | 6.06 | 5.694s | 3.700s |
| ntdrivers-simplified/floppy_simpl3.cil.c | safe | 10.41 | 5.47 | 5.154s | 3.130s |
| ntdrivers-simplified/floppy_simpl4.cil.c | safe | 12.31 | 6.83 | 6.473s | 4.148s |
| ntdrivers-simplified/kbfiltr_simpl1.cil.c | safe | 3.19 | 1.85 | 1.519s | 0.545s |
| ntdrivers-simplified/kbfiltr_simpl2.cil.c | safe | 4.59 | 2.43 | 2.082s | 0.965s |
| ntdrivers/cdaudio.BUG.i.cil.c | unsafe | 15.51 | 8.13 | 7.736s | 4.450s |
| ntdrivers/diskperf.BUG.i.cil.c | unsafe | 11.50 | 6.25 | 5.919s | 3.114s |
| ntdrivers/floppy.BUG.i.cil.c | unsafe | 12.74 | 7.03 | 6.550s | 3.171s |
| ntdrivers/kbfiltr.BUG.i.cil.c | unsafe | 8.04 | 4.09 | 3.764s | 1.600s |
| ntdrivers/parport.BUG.i.cil.c | unsafe | 20.27 | 12.45 | 11.955s | 6.652s |
| ntdrivers/cdaudio.i.cil.c | safe | 17.95 | 10.40 | 10.036s | 6.341s |
| ntdrivers/diskperf.i.cil.c | safe | 12.52 | 6.90 | 6.547s | 4.019s |
| ntdrivers/floppy.i.cil.c | safe | 15.57 | 9.30 | 8.930s | 4.773s |
| ntdrivers/parport.i.cil.c | safe | 28.92 | 19.60 | 19.116s | 11.899s |
| ssh-simplified/s3_clnt_1_BUG.cil.c | unsafe | 5.37 | 3.05 | 2.753s | 1.608s |
| ssh-simplified/s3_clnt_2_BUG.cil.c | unsafe | 5.08 | 2.82 | 2.535s | 1.364s |
| ssh-simplified/s3_clnt_3_BUG.cil.c | unsafe | 6.01 | 3.24 | 2.954s | 1.394s |
| ssh-simplified/s3_clnt_4_BUG.cil.c | unsafe | 4.40 | 2.40 | 2.121s | 0.912s |
| ssh-simplified/s3_srvr_10_BUG.cil.c | unsafe | 19.00 | 14.59 | 14.255s | 10.810s |
| ssh-simplified/s3_srvr_11_BUG.cil.c | unsafe | 62.96 | 56.37 | 55.879s | 50.600s |
| ssh-simplified/s3_srvr_12_BUG.cil.c | timeout | 119.60 | 114.49 | - | - |
| ssh-simplified/s3_srvr_14_BUG.cil.c | unsafe | 17.62 | 12.97 | 12.630s | 10.204s |
| ssh-simplified/s3_srvr_1_BUG.cil.c | unsafe | 3.84 | 2.11 | 1.865s | 0.838s |
| ssh-simplified/s3_srvr_2_BUG.cil.c | unsafe | 4.83 | 2.62 | 2.352s | 1.309s |
| ssh-simplified/s3_srvr_6_BUG.cil.c | unsafe | 2.30 | 1.18 | 0.892s | 0.075s |
| ssh-simplified/s3_clnt_1.cil.c | safe | 10.78 | 7.34 | 6.949s | 4.663s |
| ssh-simplified/s3_clnt_2.cil.c | safe | 9.09 | 5.56 | 5.243s | 3.193s |
| ssh-simplified/s3_clnt_3.cil.c | safe | 8.32 | 4.92 | 4.575s | 2.910s |
| ssh-simplified/s3_clnt_4.cil.c | safe | 12.47 | 8.51 | 8.168s | 5.186s |
| ssh-simplified/s3_srvr_1a.cil.c | safe | 5.03 | 2.65 | 2.310s | 1.493s |
| ssh-simplified/s3_srvr_1b.cil.c | safe | 2.12 | 1.24 | 0.939s | 0.238s |
| ssh-simplified/s3_srvr_1.cil.c | unknown | 66.05 | 61.57 | - | - |
| ssh-simplified/s3_srvr_3.cil.c | safe | 25.25 | 19.50 | 19.089s | 14.089s |
| ssh-simplified/s3_srvr_4.cil.c | safe | 10.17 | 6.44 | 6.117s | 4.598s |
| ssh-simplified/s3_srvr_6.cil.c | timeout | 119.62 | 115.27 | - | - |
| ssh-simplified/s3_srvr_7.cil.c | unknown | 65.60 | 62.14 | 61.847s | 60.787s |
| ssh-simplified/s3_srvr_8.cil.c | safe | 16.38 | 11.67 | 11.291s | 8.526s |
| ssh/s3_clnt.blast.01.BUG.i.cil.c | unsafe | 6.88 | 3.72 | 3.421s | 1.836s |
| ssh/s3_clnt.blast.02.BUG.i.cil.c | unsafe | 4.81 | 2.55 | 2.261s | 1.031s |
| ssh/s3_clnt.blast.03.BUG.i.cil.c | unsafe | 4.72 | 2.57 | 2.286s | 1.075s |
| ssh/s3_clnt.blast.04.BUG.i.cil.c | unsafe | 5.50 | 2.84 | 2.558s | 1.287s |
| ssh/s3_srvr.blast.01.BUG.i.cil.c | unsafe | 5.21 | 2.57 | 2.299s | 1.087s |
| ssh/s3_srvr.blast.02.BUG.i.cil.c | unsafe | 4.54 | 2.38 | 2.109s | 0.961s |
| ssh/s3_srvr.blast.03.BUG.i.cil.c | unsafe | 4.63 | 2.45 | 2.186s | 1.038s |
| ssh/s3_srvr.blast.04.BUG.i.cil.c | unsafe | 4.80 | 2.55 | 2.278s | 1.075s |
| ssh/s3_srvr.blast.06.BUG.i.cil.c | unsafe | 6.16 | 3.07 | 2.815s | 1.454s |
| ssh/s3_srvr.blast.07.BUG.i.cil.c | unknown | 68.80 | 64.87 | 64.537s | 63.063s |
| ssh/s3_srvr.blast.08.BUG.i.cil.c | unsafe | 25.89 | 20.71 | 20.309s | 18.115s |
| ssh/s3_srvr.blast.10.BUG.i.cil.c | unsafe | 36.10 | 30.76 | 30.379s | 27.500s |
| ssh/s3_srvr.blast.11.BUG.i.cil.c | unsafe | 4.72 | 2.47 | 2.208s | 1.084s |
| ssh/s3_srvr.blast.12.BUG.i.cil.c | unsafe | 10.93 | 6.86 | 6.552s | 5.188s |
| ssh/s3_srvr.blast.13.BUG.i.cil.c | unsafe | 29.08 | 23.35 | 22.946s | 20.911s |
| ssh/s3_srvr.blast.14.BUG.i.cil.c | unsafe | 6.64 | 3.53 | 3.244s | 1.938s |
| ssh/s3_srvr.blast.15.BUG.i.cil.c | unsafe | 19.26 | 13.99 | 13.598s | 11.611s |
| ssh/s3_srvr.blast.16.BUG.i.cil.c | unsafe | 6.13 | 3.35 | 3.065s | 1.761s |
| ssh/s3_clnt.blast.01.i.cil.c | safe | 8.52 | 5.27 | 4.976s | 3.268s |
| ssh/s3_clnt.blast.03.i.cil.c | safe | 13.47 | 9.92 | 9.588s | 6.641s |
| ssh/s3_clnt.blast.04.i.cil.c | safe | 11.84 | 7.90 | 7.560s | 4.469s |
| ssh/s3_srvr.blast.01.i.cil.c | safe | 32.60 | 27.75 | 27.374s | 23.368s |
| ssh/s3_srvr.blast.06.i.cil.c | safe | 24.88 | 19.61 | 19.117s | 14.414s |
| ssh/s3_srvr.blast.07.i.cil.c | unknown | 68.66 | 64.89 | 64.563s | 62.990s |
| ssh/s3_srvr.blast.08.i.cil.c | safe | 25.49 | 20.50 | 20.006s | 15.938s |
| ssh/s3_srvr.blast.09.i.cil.c | unknown | 66.62 | 62.10 | 61.722s | 59.885s |
| ssh/s3_srvr.blast.10.i.cil.c | safe | 11.41 | 7.15 | 6.814s | 5.176s |
| ssh/s3_srvr.blast.12.i.cil.c | safe | 14.11 | 9.61 | 9.212s | 7.342s |
| ssh/s3_srvr.blast.13.i.cil.c | unknown | 65.60 | 61.70 | 61.391s | 59.669s |
| ssh/s3_srvr.blast.14.i.cil.c | safe | 40.03 | 34.00 | 33.455s | 27.331s |
| ssh/s3_srvr.blast.15.i.cil.c | safe | 18.49 | 13.30 | 12.895s | 7.171s |
| ssh/s3_srvr.blast.16.i.cil.c | safe | 46.47 | 40.77 | 40.317s | 28.607s |
| locks/test_locks_14.BUG.c | unsafe | 2.52 | 1.39 | 1.125s | 0.409s |
| locks/test_locks_15.BUG.c | unsafe | 2.71 | 1.45 | 1.195s | 0.456s |
| locks/test_locks_11.c | safe | 2.26 | 1.20 | 0.933s | 0.277s |
| locks/test_locks_12.c | safe | 2.32 | 1.32 | 1.065s | 0.343s |
| locks/test_locks_13.c | safe | 2.44 | 1.30 | 1.044s | 0.370s |
| locks/test_locks_14.c | safe | 2.57 | 1.38 | 1.131s | 0.439s |
| locks/test_locks_15.c | safe | 2.53 | 1.44 | 1.193s | 0.452s |
| locks/test_locks_5.c | safe | 1.86 | 0.99 | 0.737s | 0.111s |
| locks/test_locks_6.c | safe | 1.80 | 0.97 | 0.724s | 0.123s |
| locks/test_locks_7.c | safe | 1.97 | 1.11 | 0.851s | 0.151s |
| locks/test_locks_8.c | safe | 1.97 | 1.08 | 0.814s | 0.178s |
| locks/test_locks_9.c | safe | 2.00 | 1.09 | 0.847s | 0.216s |
| heap-manipulation/bubble_sort_linux_BUG.cil.c | unsafe | 2.56 | 1.30 | 1.037s | 0.202s |
| heap-manipulation/dll_of_dll_BUG.cil.c | unknown | 1.99 | 1.03 | 0.781s | 0.115s |
| heap-manipulation/merge_sort_BUG.cil.c | unsafe | 2.24 | 1.15 | 0.908s | 0.159s |
| heap-manipulation/bubble_sort_linux.cil.c | unsafe | 2.51 | 1.26 | 1.006s | 0.205s |
| heap-manipulation/dll_of_dll.cil.c | unknown | 1.92 | 1.04 | 0.788s | 0.108s |
| heap-manipulation/merge_sort.cil.c | safe | 1.92 | 1.04 | 0.795s | 0.085s |
| heap-manipulation/sll_to_dll_rev.cil.c | unknown | 14.57 | 12.63 | 12.381s | 9.702s |
| list-properties/alternating_list.cil.c | safe | 2.23 | 1.21 | 0.902s | 0.181s |
| list-properties/list.cil.c | safe | 2.26 | 1.37 | 1.034s | 0.263s |
| list-properties/list_flag.cil.c | safe | 2.10 | 1.16 | 0.890s | 0.197s |
| list-properties/simple.cil.c | unsafe | 1.97 | 1.02 | 0.759s | 0.152s |
| list-properties/simple_built_from_end.cil.c | unsafe | 1.91 | 1.00 | 0.761s | 0.140s |
| list-properties/splice.cil.c | unsafe | 3.41 | 2.11 | 1.854s | 0.693s |
| systemc/token_ring.01.BUG.cil.c | unsafe | 2.84 | 1.67 | 1.408s | 0.565s |
| systemc/token_ring.02.BUG.cil.c | unsafe | 5.57 | 2.80 | 2.546s | 1.271s |
| systemc/token_ring.03.BUG.cil.c | unsafe | 7.10 | 3.82 | 3.496s | 1.946s |
| systemc/transmitter.01.BUG.cil.c | unsafe | 2.65 | 1.49 | 1.220s | 0.366s |
| systemc/transmitter.02.BUG.cil.c | unsafe | 4.40 | 2.57 | 2.198s | 0.943s |
| systemc/transmitter.03.BUG.cil.c | unsafe | 4.47 | 2.35 | 2.072s | 0.860s |
| systemc/transmitter.04.BUG.cil.c | unsafe | 6.42 | 3.32 | 3.003s | 1.360s |
| systemc/bist_cell.cil.c | safe | 19.68 | 16.31 | 16.036s | 13.960s |
| systemc/kundu.cil.c | safe | 66.14 | 62.70 | 61.483s | 58.024s |
| systemc/mem_slave_tlm.1.cil.c | exception | 42.74 | 37.80 | - | - |
| systemc/mem_slave_tlm.2.cil.c | safe | 69.16 | 64.13 | 63.812s | 61.434s |
| systemc/pc_sfifo_1.cil.c | safe | 5.49 | 3.07 | 2.834s | 1.500s |
| systemc/pc_sfifo_2.cil.c | safe | 8.82 | 5.25 | 4.992s | 3.037s |
| systemc/pc_sfifo_3.cil.c | safe | 7.16 | 3.84 | 3.564s | 1.862s |
| systemc/token_ring.01.cil.c | safe | 8.16 | 4.72 | 4.485s | 2.547s |
| systemc/token_ring.04.cil.c | timeout | 119.74 | 112.34 | - | - |
| systemc/toy.cil.c | safe | 66.76 | 61.46 | 61.158s | 59.311s |
| ldv-regression/1_3.c-unsafe.cil.c | unsafe | 1.67 | 1.03 | 0.753s | 0.033s |
| ldv-regression/alt_test.c-unsafe.cil.c | unsafe | 1.50 | 0.91 | 0.631s | 0.055s |
| ldv-regression/callfpointer.c-unsafe.cil.c | unsafe | 1.39 | 0.79 | 0.551s | 0.015s |
| ldv-regression/fo_test.c-unsafe.cil.c | unsafe | 1.74 | 0.97 | 0.737s | 0.062s |
| ldv-regression/mutex_lock_int.c-unsafe.cil.c | unsafe | 1.33 | 0.77 | 0.531s | 0.018s |
| ldv-regression/mutex_lock_struct.c-unsafe.cil.c | unsafe | 1.40 | 0.81 | 0.547s | 0.017s |
| ldv-regression/recursive_list.c-unsafe.cil.c | unsafe | 1.37 | 0.81 | 0.578s | 0.040s |
| ldv-regression/rule57_ebda_blast.c-unsafe.cil.c | unsafe | 1.38 | 0.82 | 0.586s | 0.039s |
| ldv-regression/rule60_list2.c-unsafe_1.cil.c | unsafe | 2.06 | 1.18 | 0.921s | 0.218s |
| ldv-regression/stateful_check-unsafe.cil.c | unsafe | 2.26 | 1.32 | 1.069s | 0.423s |
| ldv-regression/test_while_int.c-unsafe.cil.c | unsafe | 1.42 | 0.84 | 0.590s | 0.043s |
| ldv-regression/test_while_int.c-unsafe_1.cil.c | unsafe | 1.38 | 0.81 | 0.568s | 0.036s |
| ldv-regression/alias_of_return.c-safe.cil.c | safe | 1.50 | 0.83 | 0.591s | 0.030s |
| ldv-regression/alias_of_return.c-safe_1.cil.c | safe | 1.37 | 0.80 | 0.539s | 0.018s |
| ldv-regression/alias_of_return_2.c-safe.cil.c | safe | 1.33 | 0.82 | 0.581s | 0.037s |
| ldv-regression/alias_of_return_2.c-safe_1.cil.c | safe | 1.34 | 0.78 | 0.535s | 0.019s |
| ldv-regression/ex3_forlist.c-safe.cil.c | unsafe | 1.98 | 1.16 | 0.897s | 0.223s |
| ldv-regression/just_assert.c-safe.cil.c | safe | 1.32 | 0.74 | 0.504s | 0.010s |
| ldv-regression/mutex_lock_int.c-safe_1.cil.c | unsafe | 1.38 | 0.80 | 0.558s | 0.020s |
| ldv-regression/mutex_lock_struct.c-safe_1.cil.c | unsafe | 1.34 | 0.78 | 0.530s | 0.018s |
| ldv-regression/nested_structure-safe.cil.c | unsafe | 1.47 | 0.83 | 0.587s | 0.051s |
| ldv-regression/nested_structure.c-safe.cil.c | unsafe | 1.42 | 0.82 | 0.583s | 0.023s |
| ldv-regression/nested_structure_noptr-safe.cil.c | safe | 1.31 | 0.75 | 0.513s | 0.015s |
| ldv-regression/nested_structure_noptr.c-safe.cil.c | safe | 1.49 | 0.80 | 0.551s | 0.020s |
| ldv-regression/nested_structure_ptr-safe.cil.c | unsafe | 1.66 | 0.96 | 0.716s | 0.107s |
| ldv-regression/nested_structure_ptr.c-safe.cil.c | unsafe | 1.33 | 0.77 | 0.542s | 0.023s |
| ldv-regression/oomInt.c-safe.cil.c | safe | 1.44 | 0.80 | 0.548s | 0.031s |
| ldv-regression/oomInt.c-safe_1.cil.c | safe | 1.44 | 0.82 | 0.588s | 0.032s |
| ldv-regression/rule57_ebda_blast.c-safe_1.cil.c | unsafe | 1.53 | 0.91 | 0.664s | 0.058s |
| ldv-regression/rule60_list.c-safe.cil.c | unsafe | 1.36 | 0.79 | 0.552s | 0.024s |
| ldv-regression/rule60_list2.c-safe.cil.c | safe | 1.92 | 1.14 | 0.883s | 0.216s |
| ldv-regression/sizeofparameters_test.c-safe.cil.c | safe | 1.37 | 0.79 | 0.556s | 0.025s |
| ldv-regression/structure_assignment.c-safe.cil.c | unsafe | 1.34 | 0.79 | 0.547s | 0.020s |
| ldv-regression/test_address.c-safe.cil.c | unsafe | 1.38 | 0.80 | 0.545s | 0.021s |
| ldv-regression/test_cut_trace.c-safe.cil.c | safe | 1.34 | 0.77 | 0.538s | 0.020s |
| ldv-regression/test_malloc-1-safe.cil.c | safe | 1.35 | 0.78 | 0.543s | 0.033s |
| ldv-regression/test_malloc-2-safe.cil.c | safe | 1.40 | 0.80 | 0.548s | 0.029s |
| ldv-regression/test_overflow.c-safe.cil.c | safe | 1.38 | 0.79 | 0.561s | 0.031s |
| ldv-regression/test_union.c-safe.cil.c | safe | 1.36 | 0.76 | 0.533s | 0.018s |
| ldv-regression/test_union.c-safe_1.cil.c | unsafe | 1.39 | 0.79 | 0.548s | 0.016s |
| ldv-regression/test_union_cast-1-safe.cil.c | safe | 1.36 | 0.77 | 0.532s | 0.015s |
| ldv-regression/test_union_cast-2-safe.cil.c | safe | 1.34 | 0.78 | 0.547s | 0.026s |
| ldv-regression/test_union_cast.c-safe.cil.c | unsafe | 1.46 | 0.82 | 0.587s | 0.022s |
| ldv-regression/test_union_cast.c-safe_1.cil.c | safe | 1.35 | 0.80 | 0.551s | 0.024s |
| ldv-regression/volatile_alias.c-safe.cil.c | safe | 1.34 | 0.77 | 0.527s | 0.018s |
| ldv-regression/volatile_alias.c-safe_1.cil.c | safe | 1.40 | 0.80 | 0.561s | 0.016s |
| ddv-machzwd/ddv_machzwd_all_BUG.cil.c | unsafe | 3.66 | 1.94 | 1.687s | 0.380s |
| ddv-machzwd/ddv_machzwd_inw_BUG.cil.c | unsafe | 4.05 | 2.07 | 1.825s | 0.355s |
| ddv-machzwd/ddv_machzwd_outb_BUG.cil.c | unsafe | 3.61 | 1.87 | 1.617s | 0.349s |
| ddv-machzwd/ddv_machzwd_inb.cil.c | safe | 3.69 | 1.92 | 1.661s | 0.472s |
| ddv-machzwd/ddv_machzwd_inb_p.cil.c | safe | 3.86 | 1.95 | 1.681s | 0.467s |
| ddv-machzwd/ddv_machzwd_inl.cil.c | safe | 3.92 | 1.91 | 1.625s | 0.431s |
| ddv-machzwd/ddv_machzwd_inl_p.cil.c | safe | 3.94 | 1.91 | 1.622s | 0.369s |
| ddv-machzwd/ddv_machzwd_inw_p.cil.c | safe | 3.56 | 1.73 | 1.471s | 0.370s |
| ddv-machzwd/ddv_machzwd_outb_p.cil.c | safe | 3.42 | 1.92 | 1.623s | 0.412s |
| ddv-machzwd/ddv_machzwd_outl.cil.c | safe | 3.54 | 1.81 | 1.570s | 0.440s |
| ddv-machzwd/ddv_machzwd_outl_p.cil.c | safe | 3.50 | 1.85 | 1.588s | 0.454s |
| ddv-machzwd/ddv_machzwd_outw_p.cil.c | safe | 3.66 | 1.90 | 1.649s | 0.440s |
| ddv-machzwd/ddv_machzwd_pthread_mutex_unlock.cil.c | safe | 3.66 | 1.85 | 1.572s | 0.386s |
| ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 15.08 | 6.78 | 6.515s | 0.435s |
| ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 11.60 | 6.21 | 5.899s | 2.230s |
| ldv-drivers/module_get_put-drivers-block-pktcdvd.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 14.94 | 7.62 | 7.263s | 3.418s |
| ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 12.46 | 4.71 | 4.459s | 0.537s |
| ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 15.67 | 8.13 | 7.819s | 2.660s |
| ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 9.18 | 4.56 | 4.260s | 1.737s |
| ldv-drivers/module_get_put-drivers-net-wan-farsync.ko-unsafe.cil.out.iunsafe.cil.out.i.pp.cil.c | unsafe | 19.34 | 11.40 | 11.063s | 4.384s |
| ldv-drivers/module_get_put-drivers-tty-synclink_gt.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 7.48 | 3.15 | 2.855s | 0.214s |
| ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 21.37 | 8.07 | 7.780s | 1.368s |
| ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 12.53 | 6.70 | 6.399s | 2.861s |
| ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 41.92 | 28.71 | 28.308s | 11.578s |
| ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 6.92 | 3.15 | 2.887s | 0.632s |
| ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 17.05 | 10.41 | 9.403s | 3.587s |
| ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 5.48 | 2.73 | 2.463s | 0.892s |
| ldv-drivers/module_get_put-drivers-atm-eni.ko-safe.cil.out.i.pp.cil.c | safe | 18.51 | 10.42 | 10.051s | 7.831s |
| ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-safe.cil.out.i.pp.cil.c | safe | 15.84 | 7.64 | 7.340s | 1.448s |
| ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.c | safe | 42.71 | 22.96 | 22.563s | 15.791s |
| ldv-drivers/module_get_put-drivers-bluetooth-btmrvl.ko-safe.cil.out.i.pp.cil.c | safe | 11.16 | 5.51 | 5.205s | 3.408s |
| ldv-drivers/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko-safe.cil.out.i.pp.cil.c | safe | 14.04 | 7.53 | 7.184s | 4.007s |
| ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko-safe.cil.out.i.pp.cil.c | safe | 18.33 | 8.37 | 8.037s | 1.113s |
| ldv-drivers/module_get_put-drivers-hid-hid-magicmouse.ko-safe.cil.out.i.pp.cil.c | unknown | 4.48 | 2.29 | 2.019s | 0.769s |
| ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.c | safe | 6.75 | 3.30 | 3.003s | 1.405s |
| ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko-safe.cil.out.i.pp.cil.c | safe | 21.16 | 11.59 | 11.223s | 7.146s |
| ldv-drivers/module_get_put-drivers-net-pppox.ko-safe.cil.out.i.pp.cil.c | safe | 4.58 | 2.41 | 2.141s | 0.783s |
| ldv-drivers/module_get_put-drivers-net-sis900.ko-safe.cil.out.i.pp.cil.c | safe | 15.70 | 8.17 | 7.747s | 5.360s |
| ldv-drivers/module_get_put-drivers-scsi-megaraid.ko-safe.cil.out.i.pp.cil.c | unknown | 92.08 | 65.03 | 64.600s | 61.979s |
| ldv-drivers/module_get_put-drivers-staging-et131x-et131x.ko-safe.cil.out.i.pp.cil.c | safe | 21.94 | 10.96 | 10.603s | 7.664s |
| ldv-drivers/usb_urb-drivers-input-tablet-kbtab.ko-safe.cil.out.i.pp.cil.c | safe | 8.44 | 4.40 | 4.102s | 2.023s |
| ldv-drivers/usb_urb-drivers-media-video-c-qcam.ko-safe.cil.out.i.pp.cil.c | safe | 5.20 | 2.68 | 2.408s | 1.027s |
| ldv-drivers/usb_urb-drivers-media-video-msp3400.ko-safe.cil.out.i.pp.cil.c | safe | 8.33 | 3.79 | 3.484s | 1.577s |
| ldv-drivers/usb_urb-drivers-misc-c2port-core.ko-safe.cil.out.i.pp.cil.c | safe | 4.20 | 2.19 | 1.905s | 0.698s |
| ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.c | safe | 17.68 | 8.64 | 8.298s | 5.117s |
| ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko-safe.cil.out.i.pp.cil.c | unsafe | 4.26 | 2.07 | 1.815s | 0.491s |
| ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko-safe.cil.out.i.pp.cil.c | safe | 20.66 | 12.35 | 12.021s | 5.342s |
| ldv-drivers/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko-safe.cil.out.i.pp.cil.c | unsafe | 3.96 | 1.82 | 1.563s | 0.224s |
| ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.c | safe | 12.57 | 6.19 | 5.849s | 3.301s |
| ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.c | safe | 6.77 | 3.40 | 3.085s | 1.190s |