| memsafety-ext3/freeAlloca_false-valid-free.c |
valid-deref valid-free valid-memtrack |
true |
17.3 |
9.75 |
406200320 |
| memsafety-ext3/naturalNumbers1_false-valid-deref.c |
valid-deref valid-free valid-memtrack |
true |
11.2 |
5.27 |
340774912 |
| floats-esbmc-regression/copysign_true-unreach-call.i |
unreach-call |
false(unreach-call) |
18.7 |
8.27 |
375795712 |
| floats-esbmc-regression/isunordered_true-unreach-call.i |
unreach-call |
true |
17.6 |
7.71 |
355565568 |
| heap-manipulation/tree_false-unreach-call_false-valid-memcleanup.i |
unreach-call |
true |
27.6 |
13.6 |
640442368 |
| ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko_false-unreach-call.cil.i |
unreach-call |
timeout |
1800 |
961 |
13439496192 |
| ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko_false-unreach-call.cil.i |
unreach-call |
timeout |
1800 |
742 |
13334900736 |
| ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko_false-unreach-call.cil.i |
unreach-call |
error (7) |
266 |
161 |
4162506752 |
| ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko_false-unreach-call.cil.i |
unreach-call |
timeout |
1800 |
953 |
13422039040 |
| ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--iowarrior.ko_false-unreach-call.cil.i |
unreach-call |
timeout |
1800 |
912 |
13417312256 |
| loop-invariants/bin-suffix-5_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c |
unreach-call |
false(unreach-call) |
7.50 |
3.39 |
235638784 |
| loops/ludcmp_false-unreach-call.i |
unreach-call |
true |
268 |
224 |
4373782528 |
| loops/s3_false-unreach-call.i |
unreach-call |
false(unreach-call) |
320 |
254 |
1281228800 |
| pthread-atomic/read_write_lock_false-unreach-call.i |
unreach-call |
error (7) |
55.9 |
22.7 |
1542828032 |
| pthread/bigshot_s2_true-unreach-call.i |
unreach-call |
false(unreach-call) |
11.6 |
4.52 |
356741120 |
| pthread/bigshot_s_true-unreach-call.i |
unreach-call |
false(unreach-call) |
12.3 |
5.23 |
375771136 |
| pthread-divine/ring_1w1r_false-unreach-call.i |
unreach-call |
false(unreach-call) |
13.3 |
5.16 |
366600192 |
| pthread-divine/ring_2w1r_false-unreach-call.i |
unreach-call |
timeout |
1800 |
1430 |
8195874816 |
| pthread-ext/27_Boop_simple_vf_false-unreach-call.i |
unreach-call |
error (7) |
18.0 |
7.83 |
259112960 |
| pthread-ext/28_buggy_simple_loop1_vf_false-unreach-call.i |
unreach-call |
error (7) |
18.1 |
7.45 |
268378112 |
| pthread/lazy01_false-unreach-call.i |
unreach-call |
false(unreach-call) |
14.0 |
5.68 |
433819648 |
| pthread-lit/fkp2013_false-unreach-call.i |
unreach-call |
error (7) |
18.0 |
8.24 |
257241088 |
| pthread-lit/fkp2013_variant_false-unreach-call.i |
unreach-call |
error (7) |
18.0 |
7.75 |
254873600 |
| pthread-nondet/nondet-loop-bound_false-unreach-call.i |
unreach-call |
error (7) |
18.7 |
7.93 |
253079552 |
| pthread-nondet/nondet-loop-bound-variant_false-unreach-call.i |
unreach-call |
error (7) |
19.1 |
8.52 |
256733184 |
| pthread/queue_false-unreach-call.i |
unreach-call |
false(unreach-call) |
951 |
805 |
2959544320 |
| pthread/queue_longer_false-unreach-call.i |
unreach-call |
false(unreach-call) |
1750 |
1540 |
4677156864 |
| pthread/queue_longest_false-unreach-call.i |
unreach-call |
timeout |
1800 |
1600 |
4835192832 |
| pthread/stack_false-unreach-call.i |
unreach-call |
false(unreach-call) |
36.6 |
14.2 |
855482368 |
| pthread/stack_longer_false-unreach-call.i |
unreach-call |
false(unreach-call) |
55.6 |
24.2 |
1697034240 |
| pthread/stack_longest_false-unreach-call.i |
unreach-call |
false(unreach-call) |
78.6 |
35.6 |
3258093568 |
| pthread-wmm/rfi000_tso.oepc_true-unreach-call.i |
unreach-call |
false(unreach-call) |
192 |
106 |
6816501760 |
| pthread-wmm/rfi000_tso.opt_true-unreach-call.i |
unreach-call |
false(unreach-call) |
200 |
113 |
6681665536 |
| pthread-wmm/rfi003_tso.oepc_true-unreach-call.i |
unreach-call |
timeout |
1800 |
709 |
13549596672 |
| ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c |
unreach-call |
false(unreach-call) |
352 |
284 |
1271640064 |
| ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c |
unreach-call |
true |
1070 |
933 |
1590640640 |
| ldv-linux-3.0/usb_urb-drivers-hid-usbhid-usbmouse.ko_false-unreach-call.cil.out.i.pp.i |
unreach-call |
true |
108 |
47.1 |
921174016 |
| ldv-linux-3.14/linux-3.14__linux-drivers-clk1__drivers-net-can-mcp251x_false-unreach-call.cil.c |
unreach-call |
timeout |
1800 |
1690 |
5499846656 |
| 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 |
false(unreach-call) |
41.8 |
13.7 |
817700864 |
| 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 |
true |
482 |
376 |
2457591808 |
| 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 |
true |
1530 |
1470 |
1398554624 |
| 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 |
true |
74.6 |
29.0 |
931024896 |
| 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 |
false(unreach-call) |
43.0 |
14.5 |
784605184 |
| ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--iio--accel--kxcjk-1013.ko_false-unreach-call.cil.c |
unreach-call |
true |
1230 |
1080 |
4739858432 |
| 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 |
true |
1630 |
1460 |
6751830016 |
| 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 |
timeout |
1800 |
801 |
13713186816 |