loop-acceleration/array3_false-valid-deref.i |
timeout |
0 |
wit |
inspect |
900 |
760 |
12000 |
1600 |
2.3 |
0 |
error (invalid witness file) |
.52 |
.35 |
11 |
40 |
error (invalid witness file) |
7.0 |
3.7 |
130 |
330 |
- |
|
|
|
|
- |
|
|
|
|
ntdrivers/floppy_false-valid-deref.i.cil.c |
unknown |
0 |
wit |
inspect |
7.3 |
1.9 |
48 |
340 |
2.5 |
0 |
error (invalid witness file) |
.51 |
.34 |
13 |
40 |
error (invalid witness file) |
7.0 |
3.7 |
140 |
310 |
- |
|
|
|
|
- |
|
|
|
|
ntdrivers/kbfiltr_false-valid-deref.i.cil.c |
unknown |
0 |
wit |
inspect |
5.3 |
1.7 |
46 |
310 |
2.5 |
0 |
error (invalid witness file) |
.52 |
.33 |
12 |
40 |
error (invalid witness file) |
6.9 |
3.6 |
130 |
300 |
- |
|
|
|
|
- |
|
|
|
|
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
2 |
wit |
inspect |
8.0 |
2.4 |
66 |
460 |
3.3 |
0 |
- |
|
|
|
|
- |
|
|
|
|
true |
36 |
21 |
660 |
2400 |
true |
11 |
6.0 |
170 |
410 |
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
2 |
wit |
inspect |
8.7 |
2.5 |
64 |
460 |
3.3 |
0 |
- |
|
|
|
|
- |
|
|
|
|
true |
40 |
22 |
600 |
2200 |
true |
11 |
6.0 |
170 |
430 |
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
2 |
wit |
inspect |
7.1 |
2.1 |
52 |
360 |
2.9 |
0 |
- |
|
|
|
|
- |
|
|
|
|
out of memory |
210 |
120 |
1800 |
7000 |
true |
9.7 |
5.2 |
150 |
340 |
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
2 |
wit |
inspect |
7.1 |
2.2 |
57 |
350 |
2.9 |
0 |
- |
|
|
|
|
- |
|
|
|
|
true |
44 |
27 |
760 |
2700 |
true |
9.8 |
5.2 |
150 |
330 |
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
2 |
wit |
inspect |
7.4 |
2.2 |
52 |
360 |
2.9 |
0 |
- |
|
|
|
|
- |
|
|
|
|
true |
42 |
26 |
720 |
2600 |
true |
9.8 |
5.2 |
180 |
330 |
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
2 |
wit |
inspect |
8.1 |
2.3 |
57 |
410 |
3.1 |
0 |
- |
|
|
|
|
- |
|
|
|
|
true |
66 |
41 |
740 |
3600 |
true |
11 |
5.7 |
150 |
360 |
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
2 |
wit |
inspect |
8.1 |
2.3 |
61 |
430 |
3.1 |
0 |
- |
|
|
|
|
- |
|
|
|
|
true |
74 |
45 |
1000 |
3400 |
true |
10 |
5.6 |
200 |
370 |
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
2 |
wit |
inspect |
6.3 |
1.9 |
46 |
320 |
2.7 |
0 |
- |
|
|
|
|
- |
|
|
|
|
true |
11 |
5.5 |
170 |
380 |
true |
8.1 |
4.4 |
150 |
320 |
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
2 |
wit |
inspect |
6.8 |
2.1 |
52 |
330 |
2.8 |
0 |
- |
|
|
|
|
- |
|
|
|
|
true |
23 |
12 |
370 |
960 |
true |
9.4 |
5.0 |
150 |
330 |
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
2 |
wit |
inspect |
6.9 |
2.1 |
53 |
330 |
2.8 |
0 |
- |
|
|
|
|
- |
|
|
|
|
true |
21 |
11 |
360 |
1100 |
true |
9.5 |
5.1 |
190 |
320 |
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
2 |
wit |
inspect |
6.1 |
1.9 |
48 |
330 |
2.6 |
0 |
- |
|
|
|
|
- |
|
|
|
|
timeout |
910 |
810 |
16000 |
7000 |
true |
7.7 |
4.1 |
160 |
320 |
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
2 |
wit |
inspect |
5.6 |
1.8 |
41 |
320 |
2.6 |
0 |
- |
|
|
|
|
- |
|
|
|
|
out of memory |
780 |
660 |
14000 |
7000 |
true |
7.3 |
3.9 |
130 |
320 |
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
2 |
wit |
inspect |
6.3 |
1.7 |
46 |
340 |
2.6 |
0 |
- |
|
|
|
|
- |
|
|
|
|
out of memory |
730 |
610 |
7900 |
7000 |
true |
7.2 |
3.9 |
130 |
320 |
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
2 |
wit |
inspect |
6.2 |
1.8 |
53 |
330 |
2.6 |
0 |
- |
|
|
|
|
- |
|
|
|
|
out of memory |
640 |
550 |
11000 |
7000 |
true |
8.7 |
4.7 |
100 |
320 |
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c |
true |
2 |
wit |
inspect |
6.7 |
1.9 |
53 |
360 |
2.6 |
0 |
- |
|
|
|
|
- |
|
|
|
|
out of memory |
630 |
550 |
8200 |
7000 |
true |
7.5 |
4.0 |
110 |
310 |
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
2 |
wit |
inspect |
6.3 |
1.9 |
46 |
340 |
2.6 |
0 |
- |
|
|
|
|
- |
|
|
|
|
timeout |
960 |
850 |
19000 |
6700 |
true |
6.7 |
3.7 |
99 |
320 |
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c |
true |
2 |
wit |
inspect |
6.0 |
1.8 |
51 |
330 |
2.6 |
0 |
- |
|
|
|
|
- |
|
|
|
|
timeout |
910 |
830 |
14000 |
6000 |
true |
7.8 |
4.1 |
140 |
320 |
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
2 |
wit |
inspect |
5.8 |
1.8 |
44 |
310 |
2.6 |
0 |
- |
|
|
|
|
- |
|
|
|
|
timeout |
960 |
860 |
12000 |
6500 |
true |
7.5 |
4.0 |
150 |
310 |
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
2 |
wit |
inspect |
5.5 |
1.7 |
43 |
310 |
2.6 |
0 |
- |
|
|
|
|
- |
|
|
|
|
out of memory |
830 |
740 |
10000 |
7000 |
true |
6.7 |
3.7 |
130 |
310 |
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
2 |
wit |
inspect |
6.3 |
1.8 |
47 |
330 |
2.6 |
0 |
- |
|
|
|
|
- |
|
|
|
|
timeout |
910 |
810 |
14000 |
6700 |
true |
7.2 |
3.8 |
140 |
320 |
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
2 |
wit |
inspect |
5.5 |
1.8 |
38 |
320 |
2.6 |
0 |
- |
|
|
|
|
- |
|
|
|
|
timeout |
910 |
810 |
12000 |
6500 |
true |
7.8 |
4.1 |
150 |
320 |
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
2 |
wit |
inspect |
5.3 |
1.8 |
43 |
320 |
2.6 |
0 |
- |
|
|
|
|
- |
|
|
|
|
timeout |
910 |
820 |
15000 |
6500 |
true |
7.3 |
3.9 |
150 |
310 |
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
2 |
wit |
inspect |
5.8 |
1.8 |
46 |
340 |
2.6 |
0 |
- |
|
|
|
|
- |
|
|
|
|
timeout |
920 |
820 |
14000 |
6700 |
true |
6.7 |
3.7 |
140 |
300 |