| ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c |
false(unreach-call) |
80.7 |
47.5 |
1104355328 |
| ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c |
false(unreach-call) |
54.0 |
30.7 |
785678336 |
| ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c |
false(unreach-call) |
61.8 |
35.9 |
940441600 |
| ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c |
false(unreach-call) |
42.3 |
23.1 |
601698304 |
| ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
136 |
90.7 |
1459638272 |
| ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
162 |
124 |
1640001536 |
| ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
117 |
84.1 |
1340174336 |
| ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
149 |
110 |
1523253248 |
| ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
22.4 |
12.5 |
522735616 |
| ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
29.9 |
16.6 |
598507520 |
| ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c |
false(unreach-call) |
14.9 |
8.76 |
515899392 |
| ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c |
false(unreach-call) |
15.3 |
8.91 |
516882432 |
| ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c |
false(unreach-call) |
15.7 |
9.18 |
524259328 |
| ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c |
false(unreach-call) |
15.4 |
8.94 |
509091840 |
| ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c |
false(unreach-call) |
16.0 |
9.31 |
456306688 |
| ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c |
false(unreach-call) |
56.1 |
31.7 |
909246464 |
| ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c |
false(unreach-call) |
44.9 |
25.5 |
741822464 |
| ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c |
false(unreach-call) |
35.5 |
20.1 |
689094656 |
| ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c |
false(unreach-call) |
27.6 |
15.5 |
594255872 |
| ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c |
false(unreach-call) |
29.6 |
16.7 |
604434432 |
| ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c |
false(unreach-call) |
26.4 |
15.1 |
600276992 |
| ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c |
false(unreach-call) |
9.82 |
5.83 |
278945792 |
| ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c |
true |
58.8 |
32.1 |
886939648 |
| ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c |
true |
49.0 |
27.6 |
1007210496 |
| ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c |
true |
58.6 |
32.2 |
1011724288 |
| ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c |
true |
57.3 |
31.1 |
948654080 |
| ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c |
true |
73.3 |
44.5 |
1697148928 |
| ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c |
true |
12.2 |
7.34 |
389402624 |
| ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c |
true |
10.4 |
6.16 |
291405824 |
| ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c |
true |
93.7 |
56.5 |
1418575872 |
| ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c |
true |
83.3 |
48.5 |
1312169984 |
| ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c |
true |
99.4 |
57.5 |
1223139328 |
| ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c |
true |
102 |
63.8 |
1926066176 |
| ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c |
true |
106 |
68.9 |
1483767808 |
| ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c |
true |
102 |
60.0 |
1492324352 |
| locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c |
false(unreach-call) |
9.77 |
5.79 |
275177472 |
| locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c |
false(unreach-call) |
10.2 |
5.99 |
284069888 |
| locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
27.7 |
15.2 |
798109696 |
| locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
34.6 |
19.5 |
1576812544 |
| locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
48.2 |
30.0 |
2806374400 |
| locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
76.7 |
53.0 |
4911710208 |
| locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
159 |
113 |
6803001344 |
| locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c |
out of memory |
325 |
249 |
8000000000 |
| locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
11.2 |
6.55 |
323366912 |
| locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
12.8 |
7.25 |
402665472 |
| locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
14.0 |
7.86 |
497700864 |
| locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
17.2 |
9.49 |
508022784 |
| locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
22.7 |
12.2 |
599359488 |
| ntdrivers/cdaudio_false-unreach-call.i.cil.c |
timeout |
901 |
844 |
2540941312 |
| ntdrivers/diskperf_false-unreach-call.i.cil.c |
false(unreach-call) |
340 |
309 |
2563891200 |
| ntdrivers/floppy_false-unreach-call.i.cil.c |
error (7) |
21.0 |
11.4 |
350318592 |
| ntdrivers/kbfiltr_false-unreach-call.i.cil.c |
timeout |
901 |
852 |
2634276864 |
| ntdrivers/parport_false-unreach-call.i.cil.c |
error (7) |
247 |
206 |
4618428416 |
| ntdrivers/cdaudio_true-unreach-call.i.cil.c |
true |
439 |
372 |
2981351424 |
| ntdrivers/diskperf_true-unreach-call.i.cil.c |
true |
811 |
722 |
3431571456 |
| ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c |
true |
498 |
382 |
5271683072 |
| ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c |
error (7) |
22.0 |
11.9 |
351629312 |
| ntdrivers/parport_true-unreach-call.i.cil.c |
timeout |
901 |
831 |
4818944000 |
| ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c |
error (7) |
15.1 |
8.24 |
234479616 |
| ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c |
error (7) |
15.0 |
8.23 |
234569728 |
| ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c |
error (7) |
15.2 |
8.41 |
234475520 |
| ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c |
error (7) |
15.4 |
8.40 |
242036736 |
| ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c |
error (7) |
16.8 |
9.12 |
244072448 |
| ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c |
error (7) |
15.0 |
8.28 |
237723648 |
| ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c |
error (7) |
15.9 |
8.67 |
237158400 |
| ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c |
error (7) |
16.1 |
8.76 |
242720768 |
| ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c |
error (7) |
15.7 |
8.63 |
230416384 |
| ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c |
error (7) |
15.1 |
8.28 |
232976384 |
| ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c |
error (7) |
16.0 |
8.73 |
239558656 |
| ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c |
error (7) |
15.6 |
8.45 |
234594304 |
| ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c |
error (7) |
15.0 |
8.25 |
242651136 |
| ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c |
error (7) |
16.9 |
9.28 |
245997568 |
| ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c |
error (7) |
15.7 |
8.55 |
235085824 |
| ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c |
error (7) |
14.9 |
8.30 |
237383680 |
| ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c |
error (7) |
14.9 |
8.32 |
231518208 |
| ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c |
error (7) |
16.4 |
8.85 |
231727104 |
| ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c |
error (7) |
15.3 |
8.32 |
245723136 |
| ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c |
error (7) |
13.8 |
7.72 |
239501312 |
| ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c |
error (7) |
15.1 |
8.46 |
233357312 |
| ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c |
error (7) |
16.0 |
8.75 |
237957120 |
| ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c |
error (7) |
15.4 |
8.48 |
235098112 |
| ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c |
error (7) |
14.5 |
7.92 |
235495424 |
| ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c |
error (7) |
15.5 |
8.51 |
232775680 |
| ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c |
error (7) |
16.1 |
8.81 |
237727744 |
| ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c |
error (7) |
15.5 |
8.41 |
232869888 |
| ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c |
error (7) |
14.0 |
7.80 |
234799104 |
| ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c |
error (7) |
15.0 |
8.23 |
229474304 |
| ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c |
error (7) |
16.2 |
8.81 |
243154944 |
| ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c |
error (7) |
16.8 |
9.08 |
230506496 |
| ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c |
error (7) |
13.7 |
7.71 |
238907392 |
| ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c |
error (7) |
15.5 |
8.58 |
237649920 |
| ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c |
error (7) |
15.4 |
8.41 |
236748800 |
| ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c |
error (7) |
16.1 |
8.71 |
239001600 |
| ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c |
error (7) |
14.4 |
8.03 |
232398848 |