| pthread/fib_bench_BUG.cil.c | unknown | 1.27 | 0.77 | 0.543s | 0.030s |
| pthread/fib_bench_longer_BUG.cil.c | unknown | 1.31 | 0.77 | 0.528s | 0.030s |
| pthread/queue_BUG.cil.c | unknown | 1.64 | 0.93 | 0.667s | 0.091s |
| pthread/reorder_5_BUG.cil.c | unknown | 1.86 | 1.00 | 0.718s | 0.110s |
| pthread/twostage_3_BUG.cil.c | unknown | 1.97 | 1.12 | 0.885s | 0.147s |
| pthread/fib_bench.cil.c | unknown | 1.54 | 0.86 | 0.617s | 0.023s |
| pthread/fib_bench_longer.cil.c | unknown | 1.33 | 0.77 | 0.520s | 0.025s |
| pthread/queue_ok.cil.c | unknown | 1.95 | 1.03 | 0.784s | 0.113s |
| ntdrivers-simplified/cdaudio_simpl1_BUG.cil.c | unsafe | 18.43 | 12.06 | 11.641s | 8.251s |
| ntdrivers-simplified/floppy_simpl3_BUG.cil.c | unsafe | 7.48 | 3.62 | 3.316s | 1.737s |
| ntdrivers-simplified/floppy_simpl4_BUG.cil.c | unsafe | 9.48 | 4.70 | 4.390s | 2.435s |
| ntdrivers-simplified/kbfiltr_simpl2_BUG.cil.c | unsafe | 5.60 | 2.74 | 2.385s | 1.123s |
| ntdrivers-simplified/cdaudio_simpl1.cil.c | safe | 14.04 | 8.26 | 7.896s | 5.209s |
| ntdrivers-simplified/diskperf_simpl1.cil.c | safe | 10.39 | 5.87 | 5.561s | 3.647s |
| ntdrivers-simplified/floppy_simpl3.cil.c | safe | 10.03 | 5.23 | 4.881s | 2.983s |
| ntdrivers-simplified/floppy_simpl4.cil.c | safe | 11.72 | 6.33 | 5.948s | 3.818s |
| ntdrivers-simplified/kbfiltr_simpl1.cil.c | safe | 3.05 | 1.70 | 1.424s | 0.501s |
| ntdrivers-simplified/kbfiltr_simpl2.cil.c | safe | 4.58 | 2.31 | 2.001s | 0.936s |
| ntdrivers/cdaudio.BUG.i.cil.c | unsafe | 15.08 | 8.02 | 7.704s | 4.560s |
| ntdrivers/diskperf.BUG.i.cil.c | unsafe | 11.43 | 6.27 | 5.917s | 3.029s |
| ntdrivers/floppy.BUG.i.cil.c | unsafe | 12.68 | 6.81 | 6.362s | 3.296s |
| ntdrivers/kbfiltr.BUG.i.cil.c | unsafe | 7.86 | 4.06 | 3.753s | 1.633s |
| ntdrivers/parport.BUG.i.cil.c | unsafe | 21.42 | 13.23 | 12.843s | 7.256s |
| ntdrivers/cdaudio.i.cil.c | safe | 17.61 | 10.06 | 9.677s | 5.899s |
| ntdrivers/diskperf.i.cil.c | safe | 11.90 | 6.50 | 6.142s | 3.623s |
| ntdrivers/floppy.i.cil.c | safe | 15.16 | 8.77 | 8.390s | 4.454s |
| ntdrivers/parport.i.cil.c | safe | 28.24 | 19.42 | 18.964s | 11.745s |
| ssh-simplified/s3_clnt_1_BUG.cil.c | unsafe | 5.38 | 3.06 | 2.792s | 1.603s |
| ssh-simplified/s3_clnt_2_BUG.cil.c | unsafe | 4.89 | 2.65 | 2.375s | 1.272s |
| ssh-simplified/s3_clnt_3_BUG.cil.c | unsafe | 5.94 | 3.15 | 2.859s | 1.471s |
| ssh-simplified/s3_clnt_4_BUG.cil.c | unsafe | 4.67 | 2.76 | 2.477s | 1.120s |
| ssh-simplified/s3_srvr_10_BUG.cil.c | unsafe | 18.74 | 14.47 | 14.063s | 10.951s |
| ssh-simplified/s3_srvr_11_BUG.cil.c | unsafe | 63.14 | 56.65 | 56.157s | 50.653s |
| ssh-simplified/s3_srvr_12_BUG.cil.c | timeout | 119.60 | 115.59 | - | - |
| ssh-simplified/s3_srvr_14_BUG.cil.c | unsafe | 17.36 | 12.73 | 12.371s | 9.766s |
| ssh-simplified/s3_srvr_1_BUG.cil.c | unsafe | 4.20 | 2.40 | 2.106s | 0.934s |
| ssh-simplified/s3_srvr_2_BUG.cil.c | unsafe | 4.59 | 2.41 | 2.131s | 1.115s |
| ssh-simplified/s3_srvr_6_BUG.cil.c | unsafe | 2.06 | 1.07 | 0.793s | 0.058s |
| ssh-simplified/s3_clnt_1.cil.c | safe | 10.69 | 7.24 | 6.945s | 4.936s |
| ssh-simplified/s3_clnt_2.cil.c | safe | 9.12 | 5.76 | 5.456s | 3.210s |
| ssh-simplified/s3_clnt_3.cil.c | safe | 7.93 | 4.70 | 4.362s | 2.826s |
| ssh-simplified/s3_clnt_4.cil.c | safe | 11.98 | 8.48 | 8.180s | 5.167s |
| ssh-simplified/s3_srvr_1a.cil.c | safe | 4.77 | 2.48 | 2.158s | 1.389s |
| ssh-simplified/s3_srvr_1b.cil.c | safe | 2.14 | 1.18 | 0.913s | 0.223s |
| ssh-simplified/s3_srvr_1.cil.c | out of memory | 65.43 | 61.11 | - | - |
| ssh-simplified/s3_srvr_3.cil.c | safe | 24.29 | 19.33 | 18.922s | 13.583s |
| ssh-simplified/s3_srvr_4.cil.c | safe | 10.11 | 6.19 | 5.839s | 4.463s |
| ssh-simplified/s3_srvr_6.cil.c | timeout | 119.58 | 115.15 | - | - |
| ssh-simplified/s3_srvr_7.cil.c | unknown | 65.25 | 61.80 | 61.499s | 60.419s |
| ssh-simplified/s3_srvr_8.cil.c | safe | 15.43 | 11.44 | 11.123s | 8.289s |
| ssh/s3_clnt.blast.01.BUG.i.cil.c | unsafe | 6.77 | 3.71 | 3.449s | 1.865s |
| ssh/s3_clnt.blast.02.BUG.i.cil.c | unsafe | 5.29 | 2.89 | 2.579s | 1.199s |
| ssh/s3_clnt.blast.03.BUG.i.cil.c | unsafe | 5.20 | 2.76 | 2.483s | 1.099s |
| ssh/s3_clnt.blast.04.BUG.i.cil.c | unsafe | 5.67 | 2.62 | 2.362s | 1.183s |
| ssh/s3_srvr.blast.01.BUG.i.cil.c | unsafe | 5.42 | 2.63 | 2.365s | 1.287s |
| ssh/s3_srvr.blast.02.BUG.i.cil.c | unsafe | 4.90 | 2.51 | 2.244s | 1.108s |
| ssh/s3_srvr.blast.03.BUG.i.cil.c | unsafe | 5.04 | 2.47 | 2.199s | 1.054s |
| ssh/s3_srvr.blast.04.BUG.i.cil.c | unsafe | 4.80 | 2.50 | 2.235s | 1.006s |
| ssh/s3_srvr.blast.06.BUG.i.cil.c | unsafe | 5.74 | 3.04 | 2.767s | 1.377s |
| ssh/s3_srvr.blast.07.BUG.i.cil.c | unknown | 66.44 | 62.44 | 62.125s | 60.601s |
| ssh/s3_srvr.blast.08.BUG.i.cil.c | unsafe | 25.36 | 19.63 | 19.248s | 17.331s |
| ssh/s3_srvr.blast.10.BUG.i.cil.c | unsafe | 37.05 | 31.31 | 30.892s | 28.005s |
| ssh/s3_srvr.blast.11.BUG.i.cil.c | unsafe | 4.79 | 2.45 | 2.193s | 1.068s |
| ssh/s3_srvr.blast.12.BUG.i.cil.c | unsafe | 11.37 | 7.23 | 6.920s | 5.507s |
| ssh/s3_srvr.blast.13.BUG.i.cil.c | unsafe | 29.41 | 24.21 | 23.722s | 21.780s |
| ssh/s3_srvr.blast.14.BUG.i.cil.c | unsafe | 6.82 | 3.63 | 3.334s | 1.974s |
| ssh/s3_srvr.blast.15.BUG.i.cil.c | unsafe | 19.23 | 14.63 | 14.273s | 12.099s |
| ssh/s3_srvr.blast.16.BUG.i.cil.c | unsafe | 6.11 | 3.26 | 3.000s | 1.638s |
| ssh/s3_clnt.blast.01.i.cil.c | safe | 9.06 | 5.48 | 5.171s | 3.397s |
| ssh/s3_clnt.blast.03.i.cil.c | safe | 13.44 | 9.66 | 9.321s | 6.425s |
| ssh/s3_clnt.blast.04.i.cil.c | safe | 12.22 | 8.02 | 7.706s | 4.452s |
| ssh/s3_srvr.blast.01.i.cil.c | safe | 33.39 | 28.62 | 28.192s | 23.917s |
| ssh/s3_srvr.blast.06.i.cil.c | safe | 25.10 | 19.56 | 19.140s | 14.402s |
| ssh/s3_srvr.blast.07.i.cil.c | unknown | 67.38 | 63.65 | 63.314s | 61.741s |
| ssh/s3_srvr.blast.08.i.cil.c | safe | 23.99 | 18.73 | 18.293s | 14.815s |
| ssh/s3_srvr.blast.09.i.cil.c | unknown | 66.63 | 62.17 | 61.800s | 59.800s |
| ssh/s3_srvr.blast.10.i.cil.c | safe | 12.00 | 7.21 | 6.867s | 5.174s |
| ssh/s3_srvr.blast.12.i.cil.c | safe | 14.28 | 9.48 | 9.061s | 7.241s |
| ssh/s3_srvr.blast.13.i.cil.c | unknown | 66.77 | 62.78 | 62.453s | 60.689s |
| ssh/s3_srvr.blast.14.i.cil.c | safe | 39.63 | 33.83 | 33.375s | 27.173s |
| ssh/s3_srvr.blast.15.i.cil.c | safe | 18.77 | 13.69 | 13.278s | 7.239s |
| ssh/s3_srvr.blast.16.i.cil.c | safe | 45.31 | 39.95 | 39.468s | 27.838s |
| locks/test_locks_14.BUG.c | unsafe | 2.56 | 1.50 | 1.244s | 0.457s |
| locks/test_locks_15.BUG.c | unsafe | 2.75 | 1.67 | 1.313s | 0.513s |
| locks/test_locks_11.c | safe | 2.40 | 1.33 | 1.071s | 0.321s |
| locks/test_locks_12.c | safe | 2.41 | 1.41 | 1.156s | 0.369s |
| locks/test_locks_13.c | safe | 2.57 | 1.55 | 1.274s | 0.483s |
| locks/test_locks_14.c | safe | 2.64 | 1.56 | 1.233s | 0.454s |
| locks/test_locks_15.c | safe | 2.57 | 1.58 | 1.316s | 0.576s |
| locks/test_locks_5.c | safe | 1.79 | 1.21 | 0.862s | 0.119s |
| locks/test_locks_6.c | safe | 1.82 | 0.99 | 0.749s | 0.138s |
| locks/test_locks_7.c | safe | 1.89 | 1.03 | 0.779s | 0.158s |
| locks/test_locks_8.c | safe | 1.94 | 1.06 | 0.815s | 0.193s |
| locks/test_locks_9.c | safe | 1.94 | 1.12 | 0.856s | 0.225s |
| heap-manipulation/bubble_sort_linux_BUG.cil.c | unsafe | 2.62 | 1.31 | 1.053s | 0.220s |
| heap-manipulation/dll_of_dll_BUG.cil.c | unknown | 2.10 | 1.15 | 0.867s | 0.135s |
| heap-manipulation/merge_sort_BUG.cil.c | unsafe | 2.23 | 1.28 | 1.005s | 0.191s |
| heap-manipulation/bubble_sort_linux.cil.c | unsafe | 2.55 | 1.29 | 1.014s | 0.201s |
| heap-manipulation/dll_of_dll.cil.c | unknown | 1.95 | 1.05 | 0.773s | 0.133s |
| heap-manipulation/merge_sort.cil.c | safe | 1.97 | 1.03 | 0.761s | 0.085s |
| heap-manipulation/sll_to_dll_rev.cil.c | unknown | 13.85 | 11.81 | 11.553s | 8.816s |
| list-properties/alternating_list.cil.c | safe | 1.97 | 1.05 | 0.761s | 0.157s |
| list-properties/list.cil.c | safe | 2.42 | 1.23 | 0.928s | 0.266s |
| list-properties/list_flag.cil.c | safe | 2.27 | 1.18 | 0.915s | 0.190s |
| list-properties/simple.cil.c | unsafe | 2.22 | 1.30 | 0.996s | 0.186s |
| list-properties/simple_built_from_end.cil.c | unsafe | 2.00 | 1.02 | 0.759s | 0.146s |
| list-properties/splice.cil.c | unsafe | 3.68 | 2.27 | 1.937s | 0.805s |
| systemc/token_ring.01.BUG.cil.c | unsafe | 3.25 | 1.83 | 1.569s | 0.629s |
| systemc/token_ring.02.BUG.cil.c | unsafe | 6.30 | 3.14 | 2.819s | 1.465s |
| systemc/token_ring.03.BUG.cil.c | unsafe | 8.28 | 4.79 | 4.479s | 2.498s |
| systemc/transmitter.01.BUG.cil.c | unsafe | 2.75 | 1.47 | 1.219s | 0.386s |
| systemc/transmitter.02.BUG.cil.c | unsafe | 3.84 | 2.07 | 1.791s | 0.730s |
| systemc/transmitter.03.BUG.cil.c | unsafe | 4.93 | 2.65 | 2.350s | 0.957s |
| systemc/transmitter.04.BUG.cil.c | unsafe | 5.65 | 2.94 | 2.651s | 1.162s |
| systemc/bist_cell.cil.c | safe | 19.43 | 16.16 | 15.878s | 13.827s |
| systemc/kundu.cil.c | safe | 67.00 | 60.97 | 60.643s | 56.998s |
| systemc/mem_slave_tlm.1.cil.c | exception | 49.32 | 45.85 | - | - |
| systemc/mem_slave_tlm.2.cil.c | safe | 71.54 | 65.82 | 65.468s | 62.959s |
| systemc/pc_sfifo_1.cil.c | safe | 6.49 | 3.51 | 3.237s | 1.748s |
| systemc/pc_sfifo_2.cil.c | safe | 9.51 | 5.60 | 5.314s | 3.243s |
| systemc/pc_sfifo_3.cil.c | safe | 7.70 | 4.35 | 4.056s | 2.334s |
| systemc/token_ring.01.cil.c | safe | 9.49 | 5.54 | 5.245s | 2.999s |
| systemc/token_ring.04.cil.c | safe | 72.06 | 67.58 | 67.245s | 64.889s |
| systemc/toy.cil.c | safe | 69.56 | 62.11 | 61.717s | 59.313s |
| ldv-regression/1_3.c-unsafe.cil.c | unsafe | 1.81 | 1.05 | 0.763s | 0.034s |
| ldv-regression/alt_test.c-unsafe.cil.c | unsafe | 1.78 | 1.16 | 0.839s | 0.062s |
| ldv-regression/callfpointer.c-unsafe.cil.c | unsafe | 1.75 | 1.02 | 0.719s | 0.025s |
| ldv-regression/fo_test.c-unsafe.cil.c | unsafe | 1.63 | 0.90 | 0.646s | 0.065s |
| ldv-regression/mutex_lock_int.c-unsafe.cil.c | unsafe | 1.80 | 1.01 | 0.731s | 0.023s |
| ldv-regression/mutex_lock_struct.c-unsafe.cil.c | unsafe | 1.62 | 1.01 | 0.703s | 0.018s |
| ldv-regression/recursive_list.c-unsafe.cil.c | unsafe | 1.80 | 1.19 | 0.838s | 0.063s |
| ldv-regression/rule57_ebda_blast.c-unsafe.cil.c | unsafe | 1.78 | 0.99 | 0.728s | 0.043s |
| ldv-regression/rule60_list2.c-unsafe_1.cil.c | unsafe | 2.54 | 1.30 | 1.040s | 0.228s |
| ldv-regression/stateful_check-unsafe.cil.c | unsafe | 2.57 | 1.47 | 1.212s | 0.458s |
| ldv-regression/test_while_int.c-unsafe.cil.c | unsafe | 1.76 | 1.02 | 0.750s | 0.059s |
| ldv-regression/test_while_int.c-unsafe_1.cil.c | unsafe | 1.66 | 0.92 | 0.648s | 0.038s |
| ldv-regression/alias_of_return.c-safe.cil.c | safe | 1.66 | 1.01 | 0.767s | 0.038s |
| ldv-regression/alias_of_return.c-safe_1.cil.c | safe | 1.64 | 0.92 | 0.650s | 0.019s |
| ldv-regression/alias_of_return_2.c-safe.cil.c | safe | 1.87 | 0.98 | 0.715s | 0.046s |
| ldv-regression/alias_of_return_2.c-safe_1.cil.c | safe | 1.66 | 0.87 | 0.619s | 0.020s |
| ldv-regression/ex3_forlist.c-safe.cil.c | unsafe | 2.33 | 1.21 | 0.965s | 0.248s |
| ldv-regression/just_assert.c-safe.cil.c | safe | 1.58 | 0.86 | 0.532s | 0.011s |
| ldv-regression/mutex_lock_int.c-safe_1.cil.c | unsafe | 1.61 | 0.89 | 0.642s | 0.018s |
| ldv-regression/mutex_lock_struct.c-safe_1.cil.c | unsafe | 1.77 | 0.95 | 0.660s | 0.018s |
| ldv-regression/nested_structure-safe.cil.c | unsafe | 1.71 | 0.94 | 0.700s | 0.072s |
| ldv-regression/nested_structure.c-safe.cil.c | unsafe | 1.57 | 0.89 | 0.622s | 0.025s |
| ldv-regression/nested_structure_noptr-safe.cil.c | safe | 1.57 | 0.83 | 0.581s | 0.017s |
| ldv-regression/nested_structure_noptr.c-safe.cil.c | safe | 1.59 | 0.89 | 0.644s | 0.029s |
| ldv-regression/nested_structure_ptr-safe.cil.c | unsafe | 1.94 | 1.11 | 0.845s | 0.124s |
| ldv-regression/nested_structure_ptr.c-safe.cil.c | unsafe | 1.59 | 0.94 | 0.643s | 0.026s |
| ldv-regression/oomInt.c-safe.cil.c | safe | 1.67 | 0.91 | 0.634s | 0.031s |
| ldv-regression/oomInt.c-safe_1.cil.c | safe | 1.75 | 0.92 | 0.683s | 0.036s |
| ldv-regression/rule57_ebda_blast.c-safe_1.cil.c | unsafe | 1.80 | 0.98 | 0.720s | 0.062s |
| ldv-regression/rule60_list.c-safe.cil.c | unsafe | 1.61 | 0.85 | 0.611s | 0.025s |
| ldv-regression/rule60_list2.c-safe.cil.c | safe | 2.11 | 1.23 | 0.980s | 0.257s |
| ldv-regression/sizeofparameters_test.c-safe.cil.c | safe | 1.50 | 0.80 | 0.567s | 0.025s |
| ldv-regression/structure_assignment.c-safe.cil.c | unsafe | 1.65 | 0.95 | 0.682s | 0.021s |
| ldv-regression/test_address.c-safe.cil.c | unsafe | 1.61 | 0.87 | 0.613s | 0.028s |
| ldv-regression/test_cut_trace.c-safe.cil.c | safe | 1.65 | 0.92 | 0.670s | 0.025s |
| ldv-regression/test_malloc-1-safe.cil.c | safe | 1.66 | 0.86 | 0.625s | 0.046s |
| ldv-regression/test_malloc-2-safe.cil.c | safe | 1.75 | 0.92 | 0.657s | 0.035s |
| ldv-regression/test_overflow.c-safe.cil.c | safe | 1.56 | 0.83 | 0.591s | 0.035s |
| ldv-regression/test_union.c-safe.cil.c | safe | 1.47 | 0.84 | 0.601s | 0.021s |
| ldv-regression/test_union.c-safe_1.cil.c | unsafe | 1.55 | 0.80 | 0.558s | 0.016s |
| ldv-regression/test_union_cast-1-safe.cil.c | safe | 1.53 | 0.79 | 0.560s | 0.016s |
| ldv-regression/test_union_cast-2-safe.cil.c | safe | 1.62 | 0.86 | 0.612s | 0.031s |
| ldv-regression/test_union_cast.c-safe.cil.c | unsafe | 1.58 | 0.86 | 0.614s | 0.027s |
| ldv-regression/test_union_cast.c-safe_1.cil.c | safe | 1.60 | 0.85 | 0.607s | 0.020s |
| ldv-regression/volatile_alias.c-safe.cil.c | safe | 1.72 | 0.92 | 0.660s | 0.020s |
| ldv-regression/volatile_alias.c-safe_1.cil.c | safe | 1.67 | 0.95 | 0.692s | 0.017s |
| ddv-machzwd/ddv_machzwd_all_BUG.cil.c | unsafe | 4.19 | 2.25 | 1.976s | 0.435s |
| ddv-machzwd/ddv_machzwd_inw_BUG.cil.c | unsafe | 4.38 | 2.28 | 2.018s | 0.422s |
| ddv-machzwd/ddv_machzwd_outb_BUG.cil.c | unsafe | 4.58 | 2.40 | 2.102s | 0.454s |
| ddv-machzwd/ddv_machzwd_inb.cil.c | safe | 4.24 | 2.06 | 1.774s | 0.450s |
| ddv-machzwd/ddv_machzwd_inb_p.cil.c | safe | 4.13 | 2.05 | 1.748s | 0.389s |
| ddv-machzwd/ddv_machzwd_inl.cil.c | safe | 3.87 | 1.96 | 1.709s | 0.511s |
| ddv-machzwd/ddv_machzwd_inl_p.cil.c | safe | 3.86 | 1.99 | 1.690s | 0.440s |
| ddv-machzwd/ddv_machzwd_inw_p.cil.c | safe | 3.98 | 2.04 | 1.752s | 0.523s |
| ddv-machzwd/ddv_machzwd_outb_p.cil.c | safe | 4.02 | 2.14 | 1.796s | 0.475s |
| ddv-machzwd/ddv_machzwd_outl.cil.c | safe | 4.23 | 2.29 | 1.996s | 0.613s |
| ddv-machzwd/ddv_machzwd_outl_p.cil.c | safe | 4.00 | 2.33 | 1.976s | 0.541s |
| ddv-machzwd/ddv_machzwd_outw_p.cil.c | safe | 4.07 | 2.00 | 1.731s | 0.488s |
| ddv-machzwd/ddv_machzwd_pthread_mutex_unlock.cil.c | safe | 4.13 | 2.16 | 1.868s | 0.511s |
| ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 15.95 | 7.36 | 6.928s | 0.501s |
| ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 12.35 | 6.30 | 5.960s | 2.287s |
| ldv-drivers/module_get_put-drivers-block-pktcdvd.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 18.21 | 8.56 | 8.197s | 3.778s |
| ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 11.93 | 4.56 | 4.201s | 0.596s |
| ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 20.79 | 10.84 | 10.507s | 3.915s |
| ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 11.22 | 5.11 | 4.779s | 1.741s |
| ldv-drivers/module_get_put-drivers-net-wan-farsync.ko-unsafe.cil.out.iunsafe.cil.out.i.pp.cil.c | unsafe | 22.30 | 13.14 | 12.714s | 5.451s |
| ldv-drivers/module_get_put-drivers-tty-synclink_gt.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 8.28 | 3.59 | 3.308s | 0.266s |
| ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 21.46 | 8.30 | 7.997s | 1.306s |
| ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 12.90 | 7.09 | 6.721s | 3.068s |
| ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 47.08 | 31.07 | 30.696s | 10.662s |
| ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 7.51 | 3.34 | 3.051s | 0.668s |
| ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 19.05 | 11.60 | 11.245s | 4.083s |
| ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.c | unsafe | 6.74 | 3.41 | 3.126s | 1.154s |
| ldv-drivers/module_get_put-drivers-atm-eni.ko-safe.cil.out.i.pp.cil.c | safe | 20.38 | 11.08 | 10.716s | 8.042s |
| ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-safe.cil.out.i.pp.cil.c | safe | 17.33 | 7.94 | 7.624s | 1.437s |
| ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.c | safe | 41.25 | 23.48 | 23.001s | 15.867s |
| ldv-drivers/module_get_put-drivers-bluetooth-btmrvl.ko-safe.cil.out.i.pp.cil.c | safe | 11.80 | 5.88 | 5.495s | 3.559s |
| ldv-drivers/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko-safe.cil.out.i.pp.cil.c | safe | 15.76 | 8.22 | 7.851s | 4.921s |
| ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko-safe.cil.out.i.pp.cil.c | safe | 20.44 | 10.00 | 9.626s | 1.237s |
| ldv-drivers/module_get_put-drivers-hid-hid-magicmouse.ko-safe.cil.out.i.pp.cil.c | unknown | 4.55 | 2.20 | 1.919s | 0.784s |
| ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.c | safe | 8.26 | 4.27 | 3.963s | 1.595s |
| ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko-safe.cil.out.i.pp.cil.c | safe | 23.74 | 12.89 | 12.521s | 7.899s |
| ldv-drivers/module_get_put-drivers-net-pppox.ko-safe.cil.out.i.pp.cil.c | safe | 5.42 | 2.53 | 2.240s | 0.851s |
| ldv-drivers/module_get_put-drivers-net-sis900.ko-safe.cil.out.i.pp.cil.c | safe | 17.69 | 8.40 | 8.001s | 5.581s |
| ldv-drivers/module_get_put-drivers-scsi-megaraid.ko-safe.cil.out.i.pp.cil.c | unknown | 92.39 | 65.04 | 64.545s | 61.165s |
| ldv-drivers/module_get_put-drivers-staging-et131x-et131x.ko-safe.cil.out.i.pp.cil.c | safe | 22.12 | 11.72 | 11.310s | 8.035s |
| ldv-drivers/usb_urb-drivers-input-tablet-kbtab.ko-safe.cil.out.i.pp.cil.c | safe | 9.87 | 5.04 | 4.756s | 2.319s |
| ldv-drivers/usb_urb-drivers-media-video-c-qcam.ko-safe.cil.out.i.pp.cil.c | safe | 6.30 | 2.94 | 2.628s | 1.046s |
| ldv-drivers/usb_urb-drivers-media-video-msp3400.ko-safe.cil.out.i.pp.cil.c | safe | 9.68 | 4.18 | 3.860s | 1.839s |
| ldv-drivers/usb_urb-drivers-misc-c2port-core.ko-safe.cil.out.i.pp.cil.c | safe | 5.65 | 2.97 | 2.675s | 0.981s |
| ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.c | safe | 19.89 | 9.45 | 9.038s | 5.250s |
| ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko-safe.cil.out.i.pp.cil.c | unsafe | 5.34 | 2.55 | 2.245s | 0.636s |
| ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko-safe.cil.out.i.pp.cil.c | safe | 22.45 | 13.91 | 13.509s | 5.970s |
| ldv-drivers/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko-safe.cil.out.i.pp.cil.c | unsafe | 4.02 | 2.00 | 1.720s | 0.231s |
| ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.c | safe | 15.09 | 7.13 | 6.760s | 3.806s |
| ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.c | safe | 7.38 | 3.55 | 3.246s | 1.309s |