loop-acceleration/array3_false-valid-deref.i |
timeout |
0 |
wit |
inspect |
900 |
800 |
13000 |
1700 |
2.3 |
0 |
error (invalid witness file) |
.66 |
.43 |
7.4 |
41 |
error (invalid witness file) |
6.2 |
3.3 |
110 |
310 |
- |
|
|
|
|
- |
|
|
|
|
ntdrivers/floppy_false-valid-deref.i.cil.c |
unknown |
0 |
wit |
inspect |
5.9 |
1.7 |
43 |
330 |
2.5 |
0 |
error (invalid witness file) |
.66 |
.42 |
8.7 |
41 |
error (invalid witness file) |
7.1 |
3.7 |
140 |
300 |
- |
|
|
|
|
- |
|
|
|
|
ntdrivers/kbfiltr_false-valid-deref.i.cil.c |
unknown |
0 |
wit |
inspect |
6.2 |
1.7 |
48 |
330 |
2.5 |
0 |
error (invalid witness file) |
.51 |
.34 |
7.9 |
41 |
error (invalid witness file) |
6.2 |
3.2 |
120 |
300 |
- |
|
|
|
|
- |
|
|
|
|
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
2 |
wit |
inspect |
8.1 |
2.4 |
63 |
450 |
3.3 |
0 |
- |
|
|
|
|
- |
|
|
|
|
true |
40 |
22 |
410 |
2400 |
true |
16 |
8.6 |
160 |
410 |
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
2 |
wit |
inspect |
9.2 |
2.5 |
63 |
460 |
3.3 |
0 |
- |
|
|
|
|
- |
|
|
|
|
true |
38 |
22 |
460 |
2200 |
true |
11 |
6.1 |
210 |
420 |
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
2 |
wit |
inspect |
7.3 |
2.2 |
61 |
350 |
2.9 |
0 |
- |
|
|
|
|
- |
|
|
|
|
out of memory |
180 |
100 |
1400 |
7000 |
true |
10 |
5.5 |
200 |
340 |
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
2 |
wit |
inspect |
7.4 |
2.2 |
58 |
350 |
2.9 |
0 |
- |
|
|
|
|
- |
|
|
|
|
true |
44 |
27 |
780 |
2800 |
true |
10 |
5.3 |
200 |
340 |
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
2 |
wit |
inspect |
7.8 |
2.1 |
63 |
370 |
2.9 |
0 |
- |
|
|
|
|
- |
|
|
|
|
true |
52 |
32 |
710 |
2700 |
true |
10 |
5.5 |
190 |
340 |
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
2 |
wit |
inspect |
7.7 |
2.3 |
69 |
400 |
3.4 |
0 |
- |
|
|
|
|
- |
|
|
|
|
true |
67 |
41 |
630 |
3400 |
true |
10 |
5.6 |
180 |
370 |
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
2 |
wit |
inspect |
7.6 |
2.2 |
57 |
420 |
3.1 |
0 |
- |
|
|
|
|
- |
|
|
|
|
true |
78 |
48 |
790 |
3500 |
true |
13 |
6.9 |
170 |
370 |
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
2 |
wit |
inspect |
6.0 |
1.9 |
54 |
320 |
2.7 |
0 |
- |
|
|
|
|
- |
|
|
|
|
true |
11 |
5.6 |
88 |
410 |
true |
12 |
6.4 |
150 |
320 |
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
2 |
wit |
inspect |
7.4 |
2.2 |
52 |
350 |
2.8 |
0 |
- |
|
|
|
|
- |
|
|
|
|
true |
21 |
11 |
200 |
980 |
true |
9.0 |
4.8 |
190 |
330 |
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
2 |
wit |
inspect |
6.4 |
2.1 |
51 |
330 |
2.8 |
0 |
- |
|
|
|
|
- |
|
|
|
|
true |
23 |
12 |
200 |
1100 |
true |
10 |
5.4 |
170 |
360 |
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
2 |
wit |
inspect |
5.9 |
1.8 |
48 |
330 |
2.6 |
0 |
- |
|
|
|
|
- |
|
|
|
|
timeout |
910 |
790 |
12000 |
6800 |
true |
6.7 |
3.6 |
130 |
330 |
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
2 |
wit |
inspect |
5.5 |
1.8 |
45 |
320 |
2.6 |
0 |
- |
|
|
|
|
- |
|
|
|
|
out of memory |
810 |
700 |
9500 |
7000 |
true |
7.3 |
3.9 |
140 |
310 |
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
2 |
wit |
inspect |
5.9 |
1.9 |
48 |
330 |
2.6 |
0 |
- |
|
|
|
|
- |
|
|
|
|
out of memory |
860 |
750 |
14000 |
7000 |
true |
7.7 |
4.1 |
150 |
320 |
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
2 |
wit |
inspect |
5.4 |
1.7 |
40 |
320 |
2.6 |
0 |
- |
|
|
|
|
- |
|
|
|
|
out of memory |
550 |
460 |
6700 |
7000 |
true |
7.5 |
4.0 |
160 |
320 |
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c |
true |
2 |
wit |
inspect |
5.6 |
1.8 |
47 |
320 |
2.6 |
0 |
- |
|
|
|
|
- |
|
|
|
|
out of memory |
600 |
530 |
7000 |
7000 |
true |
7.5 |
4.0 |
130 |
320 |
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
2 |
wit |
inspect |
6.3 |
1.8 |
47 |
350 |
2.6 |
0 |
- |
|
|
|
|
- |
|
|
|
|
out of memory |
850 |
760 |
13000 |
7000 |
true |
8.2 |
4.3 |
150 |
320 |
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c |
true |
2 |
wit |
inspect |
5.5 |
1.8 |
44 |
320 |
2.6 |
0 |
- |
|
|
|
|
- |
|
|
|
|
timeout |
950 |
870 |
13000 |
5900 |
true |
7.7 |
4.2 |
160 |
330 |
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
2 |
wit |
inspect |
5.8 |
1.9 |
49 |
310 |
2.8 |
0 |
- |
|
|
|
|
- |
|
|
|
|
timeout |
910 |
830 |
10000 |
6100 |
true |
7.7 |
4.2 |
160 |
320 |
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
2 |
wit |
inspect |
5.3 |
1.7 |
43 |
320 |
2.6 |
0 |
- |
|
|
|
|
- |
|
|
|
|
timeout |
910 |
790 |
15000 |
6600 |
true |
8.1 |
4.3 |
150 |
330 |
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
2 |
wit |
inspect |
5.4 |
1.7 |
43 |
320 |
2.6 |
0 |
- |
|
|
|
|
- |
|
|
|
|
timeout |
920 |
810 |
14000 |
6400 |
true |
7.4 |
4.0 |
130 |
310 |
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
2 |
wit |
inspect |
5.4 |
1.7 |
41 |
320 |
2.6 |
0 |
- |
|
|
|
|
- |
|
|
|
|
timeout |
910 |
830 |
13000 |
6300 |
true |
7.0 |
3.8 |
160 |
310 |
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
2 |
wit |
inspect |
5.7 |
1.8 |
43 |
320 |
2.6 |
0 |
- |
|
|
|
|
- |
|
|
|
|
timeout |
910 |
820 |
12000 |
6300 |
true |
7.6 |
4.0 |
160 |
320 |
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
2 |
wit |
inspect |
5.2 |
1.7 |
42 |
310 |
2.6 |
0 |
- |
|
|
|
|
- |
|
|
|
|
timeout |
960 |
850 |
12000 |
6400 |
true |
6.9 |
3.7 |
130 |
310 |