float-benchs/sin_interpolated_index_false-unreach-call_true-termination.c |
unreach-call |
false(unreach-call) |
750 |
739 |
2058711040 |
float-benchs/sin_interpolated_index_true-unreach-call_true-termination.c |
unreach-call |
timeout |
1800 |
1790 |
2485346304 |
float-newlib/double_req_bl_0870a_false-unreach-call.c |
unreach-call |
false(unreach-call) |
99.6 |
86.3 |
1553833984 |
floats-cbmc-regression/float1_true-unreach-call_true-termination.i |
unreach-call |
true |
15.5 |
9.70 |
252694528 |
floats-cbmc-regression/float4_true-unreach-call.i |
unreach-call |
true |
103 |
93.7 |
478220288 |
floats-cbmc-regression/float-no-simp2_true-unreach-call.i |
unreach-call |
true |
57.6 |
48.5 |
459784192 |
floats-cbmc-regression/float-rounding1_true-unreach-call.i |
unreach-call |
false(unreach-call) |
17.6 |
10.2 |
374095872 |
floats-esbmc-regression/copysign_true-unreach-call.i |
unreach-call |
error (7) |
14.2 |
7.91 |
202240000 |
floats-esbmc-regression/isunordered_true-unreach-call.i |
unreach-call |
true |
17.4 |
10.1 |
348397568 |
floats-esbmc-regression/trunc_nondet_2_true-unreach-call.i |
unreach-call |
true |
76.9 |
69.0 |
494858240 |
heap-manipulation/tree_false-unreach-call_false-valid-deref.i |
unreach-call |
false(unreach-call) |
34.6 |
24.1 |
616009728 |
heap-manipulation/tree_false-unreach-call_false-valid-memcleanup.i |
unreach-call |
true |
30.8 |
20.0 |
651866112 |
ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko_false-unreach-call.cil.i |
unreach-call |
error (7) |
27.4 |
15.3 |
356954112 |
ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko_false-unreach-call.cil.i |
unreach-call |
out of memory |
242 |
178 |
8000000000 |
ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko_false-unreach-call.cil.i |
unreach-call |
error (7) |
302 |
224 |
4311564288 |
ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko_false-unreach-call.cil.i |
unreach-call |
out of memory |
292 |
225 |
8000000000 |
ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--iowarrior.ko_false-unreach-call.cil.i |
unreach-call |
out of memory |
270 |
215 |
8000000000 |
loop-invariants/bin-suffix-5_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c |
unreach-call |
true |
16.9 |
10.2 |
255328256 |
loops/ludcmp_false-unreach-call.i |
unreach-call |
true |
61.3 |
46.3 |
861552640 |
loops/s3_false-unreach-call.i |
unreach-call |
error (7) |
15.5 |
8.57 |
231100416 |
pthread-atomic/read_write_lock_false-unreach-call.i |
unreach-call |
error (7) |
72.6 |
39.2 |
1557676032 |
pthread/bigshot_s2_true-unreach-call.i |
unreach-call |
error (7) |
8.21 |
4.53 |
225599488 |
pthread/bigshot_s_true-unreach-call.i |
unreach-call |
error (7) |
8.09 |
4.50 |
223232000 |
pthread-divine/ring_1w1r_false-unreach-call.i |
unreach-call |
false(unreach-call) |
12.6 |
7.32 |
354443264 |
pthread-divine/ring_2w1r_false-unreach-call.i |
unreach-call |
out of memory |
1580 |
1340 |
8000000000 |
pthread-ext/27_Boop_simple_vf_false-unreach-call.i |
unreach-call |
error (7) |
19.8 |
11.4 |
246812672 |
pthread-ext/28_buggy_simple_loop1_vf_false-unreach-call.i |
unreach-call |
error (7) |
18.7 |
10.9 |
247136256 |
pthread/lazy01_false-unreach-call.i |
unreach-call |
false(unreach-call) |
15.6 |
8.57 |
418652160 |
pthread-lit/fkp2013_false-unreach-call.i |
unreach-call |
error (7) |
18.9 |
10.9 |
252575744 |
pthread-lit/fkp2013_variant_false-unreach-call.i |
unreach-call |
error (7) |
17.9 |
10.3 |
258686976 |
pthread-nondet/nondet-loop-bound_false-unreach-call.i |
unreach-call |
error (7) |
19.4 |
11.0 |
252518400 |
pthread-nondet/nondet-loop-bound-variant_false-unreach-call.i |
unreach-call |
error (7) |
18.2 |
10.5 |
249032704 |
pthread/queue_false-unreach-call.i |
unreach-call |
error (7) |
16.3 |
9.04 |
220504064 |
pthread/queue_longer_false-unreach-call.i |
unreach-call |
error (7) |
15.6 |
8.61 |
225615872 |
pthread/queue_longest_false-unreach-call.i |
unreach-call |
error (7) |
15.6 |
8.61 |
235536384 |
pthread/stack_false-unreach-call.i |
unreach-call |
false(unreach-call) |
39.8 |
23.5 |
814211072 |
pthread/stack_longer_false-unreach-call.i |
unreach-call |
false(unreach-call) |
47.4 |
28.6 |
970530816 |
pthread/stack_longest_false-unreach-call.i |
unreach-call |
false(unreach-call) |
53.7 |
31.8 |
945065984 |
pthread-wmm/rfi000_tso.oepc_true-unreach-call.i |
unreach-call |
false(unreach-call) |
220 |
152 |
6317035520 |
pthread-wmm/rfi000_tso.opt_true-unreach-call.i |
unreach-call |
false(unreach-call) |
263 |
177 |
7071813632 |
pthread-wmm/rfi003_tso.oepc_true-unreach-call.i |
unreach-call |
out of memory |
234 |
170 |
8000000000 |
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c |
unreach-call |
error (7) |
16.3 |
8.76 |
231534592 |
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c |
unreach-call |
error (7) |
16.7 |
9.10 |
228450304 |
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c |
unreach-call |
error (7) |
15.6 |
8.59 |
232464384 |
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c |
unreach-call |
error (7) |
16.3 |
8.83 |
235581440 |
ldv-challenges/linux-3.14__complex_emg__linux-usb-dev__drivers-media-usb-hdpvr-hdpvr_false-unreach-call.cil.c |
unreach-call |
unknown |
6.59 |
3.83 |
196599808 |
ldv-commit-tester/m0_false-unreach-call_drivers-usb-gadget-g_printer-ko--106_1a--2b9ec6c.c |
unreach-call |
unknown |
6.17 |
3.76 |
190427136 |
ldv-linux-3.0/module_get_put-drivers-net-wan-farsync.ko_false-unreach-call.cil.out.i.pp.i |
unreach-call |
timeout |
1800 |
1680 |
5291593728 |
ldv-linux-3.0/usb_urb-drivers-hid-usbhid-usbmouse.ko_false-unreach-call.cil.out.i.pp.i |
unreach-call |
error (7) |
74.8 |
40.7 |
858898432 |
ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--input--misc--ims-pcu.ko-entry_point_false-unreach-call.cil.out.c |
unreach-call |
unknown |
6.39 |
3.77 |
196210688 |
ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--media--usb--stk1160--stk1160.ko-entry_point_false-unreach-call.cil.out.c |
unreach-call |
unknown |
6.60 |
3.78 |
202141696 |
ldv-linux-3.14/linux-3.14__linux-drivers-clk1__drivers-net-can-mcp251x_false-unreach-call.cil.c |
unreach-call |
unknown |
6.75 |
3.87 |
196759552 |
ldv-linux-3.16-rc1/205_9a_array_safes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wan--lapbether.ko-entry_point_true-unreach-call.cil.out.c |
unreach-call |
unknown |
6.40 |
3.84 |
196030464 |
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--ethernet--8390--8390.ko-entry_point_false-unreach-call.cil.out.c |
unreach-call |
unknown |
6.04 |
3.71 |
196386816 |
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--ethernet--renesas--sh_eth.ko-entry_point_false-unreach-call.cil.out.c |
unreach-call |
unknown |
6.55 |
3.81 |
198205440 |
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--usb--cx82310_eth.ko-entry_point_false-unreach-call.cil.out.c |
unreach-call |
unknown |
6.10 |
3.67 |
194637824 |
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--usb--gl620a.ko-entry_point_false-unreach-call.cil.out.c |
unreach-call |
unknown |
6.35 |
3.88 |
190447616 |
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wan--hdlc_x25.ko-entry_point_true-unreach-call.cil.out.c |
unreach-call |
unknown |
6.01 |
3.70 |
189616128 |
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wireless--mwifiex--mwifiex_pcie.ko-entry_point_false-unreach-call.cil.out.c |
unreach-call |
unknown |
6.73 |
3.92 |
195702784 |
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wireless--mwifiex--mwifiex_sdio.ko-entry_point_false-unreach-call.cil.out.c |
unreach-call |
unknown |
6.15 |
3.69 |
195973120 |
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wireless--rtl818x--rtl8187--rtl8187.ko-entry_point_false-unreach-call.cil.out.c |
unreach-call |
unknown |
7.07 |
3.99 |
192798720 |
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--input--mousedev_true-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unreach-call |
timeout |
1800 |
1690 |
7667425280 |
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--input--mouse--synaptics_usb_false-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unreach-call |
error (7) |
123 |
68.2 |
2290159616 |
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--iio--accel--kxcjk-1013.ko_false-unreach-call.cil.c |
unreach-call |
unknown |
6.71 |
3.80 |
198062080 |
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--input--touchscreen--usbtouchscreen.ko_false-unreach-call.cil.c |
unreach-call |
unknown |
6.49 |
3.74 |
198955008 |
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--memstick--core--ms_block.ko_false-unreach-call.cil.c |
unreach-call |
unknown |
6.71 |
3.90 |
196558848 |
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--mtd--sm_ftl.ko_false-unreach-call.cil.c |
unreach-call |
unknown |
6.67 |
3.93 |
194338816 |
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--net--ethernet--atheros--alx--alx.ko_false-unreach-call.cil.c |
unreach-call |
unknown |
6.93 |
3.94 |
198426624 |
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--net--ethernet--qlogic--netxen--netxen_nic.ko_false-unreach-call.cil.c |
unreach-call |
unknown |
7.24 |
3.89 |
210079744 |
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--s3fb.ko_false-unreach-call.cil.c |
unreach-call |
unknown |
6.84 |
3.91 |
194744320 |
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---sound--core--seq--oss--snd-seq-oss.ko_false-unreach-call.cil.c |
unreach-call |
unknown |
6.10 |
3.56 |
195657728 |
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--iio--accel--kxcjk-1013.ko-entry_point_false-unreach-call.cil.out.c |
unreach-call |
unknown |
5.92 |
3.66 |
188542976 |
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--iio--imu--inv_mpu6050--inv-mpu6050.ko-entry_point_false-unreach-call.cil.out.c |
unreach-call |
unknown |
6.25 |
3.71 |
196239360 |
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--input--gameport--gameport.ko-entry_point_false-unreach-call.cil.out.c |
unreach-call |
unknown |
6.28 |
3.37 |
193732608 |
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--gpu--drm--mgag200--mgag200.ko-entry_point_false-unreach-call.cil.out.c |
unreach-call |
unknown |
6.01 |
3.62 |
190439424 |
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--input--mousedev.ko-entry_point_false-unreach-call.cil.out.c |
unreach-call |
unknown |
6.35 |
3.83 |
194408448 |
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--media--usb--hdpvr--hdpvr.ko-entry_point_false-unreach-call.cil.out.c |
unreach-call |
unknown |
6.87 |
3.92 |
196972544 |
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--net--usb--r8152.ko-entry_point_true-unreach-call.cil.out.c |
unreach-call |
unknown |
6.89 |
3.77 |
195436544 |
ldv-validator-v0.8/linux-stable-064368f-1-111_1a-drivers--media--radio--si4713-i2c.ko-entry_point_ldv-val-v0.8_false-unreach-call.cil.out.c |
unreach-call |
unknown |
5.93 |
3.72 |
197242880 |
ldv-validator-v0.8/linux-stable-a450319-1-144_1a-drivers--input--tablet--acecad.ko-entry_point_ldv-val-v0.8_false-unreach-call.cil.out.c |
unreach-call |
unknown |
5.94 |
3.27 |
195985408 |
ldv-validator-v0.8/linux-stable-a450319-1-144_2a-drivers--input--tablet--acecad.ko-entry_point_ldv-val-v0.8_false-unreach-call.cil.out.c |
unreach-call |
unknown |
5.75 |
3.16 |
195551232 |
heap-manipulation/merge_sort_false-unreach-call_false-valid-memcleanup.i |
valid-memcleanup |
true |
40.5 |
25.4 |
649371648 |
list-ext-properties/simple-ext_false-unreach-call_false-valid-memcleanup_true-termination.i |
valid-memcleanup |
true |
24.7 |
15.9 |
585502720 |
list-properties/alternating_list_false-unreach-call_false-valid-memcleanup.i |
valid-memcleanup |
true |
39.2 |
25.1 |
680964096 |
list-properties/list_search_false-unreach-call_false-valid-memcleanup.i |
valid-memcleanup |
true |
707 |
671 |
798556160 |
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i |
valid-deref valid-free valid-memtrack |
false(valid-deref) |
180 |
162 |
746934272 |
memsafety-ext3/freeAlloca_false-valid-free.c |
valid-deref valid-free valid-memtrack |
true |
18.6 |
12.9 |
389144576 |
memsafety-ext3/naturalNumbers1_false-valid-deref.c |
valid-deref valid-free valid-memtrack |
true |
12.5 |
7.39 |
334610432 |
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i |
valid-deref valid-free valid-memtrack |
timeout |
1800 |
1690 |
2061455360 |