benchmarks/ntdrivers/cdaudio_false-unreach-call.i.cil.c |
unreach-call |
timeout |
62.8 |
37.7 |
error |
669163520 |
24,28 |
node-06 |
38.2 |
2 |
3000000000 |
0 |
0 |
[Processor{24, core=9, socket=2}, Processor{28, core=24, socket=2}] |
{2=3.0 GB} |
benchmarks/ntdrivers/diskperf_false-unreach-call.i.cil.c |
unreach-call |
false(reach) |
38.7 |
27.7 |
correct |
531505152 |
23,26 |
node-01 |
28.2 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/ntdrivers/floppy_false-unreach-call.i.cil.c |
unreach-call |
false(reach) |
55.2 |
46.9 |
correct |
712351744 |
30,37 |
node-09 |
47.8 |
3 |
3000000000 |
0 |
0 |
[Processor{30, core=0, socket=3}, Processor{37, core=18, socket=3}] |
{3=3.0 GB} |
benchmarks/ntdrivers/kbfiltr_false-unreach-call.i.cil.c |
unreach-call |
false(reach) |
14.5 |
8.26 |
correct |
339230720 |
44,49 |
node-13 |
9.05 |
0 |
3000000000 |
0 |
0 |
[Processor{44, core=9, socket=0}, Processor{49, core=25, socket=0}] |
{0=3.0 GB} |
benchmarks/ntdrivers/parport_false-unreach-call.i.cil.c |
unreach-call |
error (recursion) |
11.6 |
7.16 |
error |
379740160 |
21,25 |
node-25 |
8.11 |
2 |
3000000000 |
0 |
0 |
[Processor{21, core=1, socket=2}, Processor{25, core=16, socket=2}] |
{2=3.0 GB} |
benchmarks/ntdrivers/cdaudio_true-unreach-call.i.cil.c |
unreach-call |
true |
54.6 |
54.8 |
correct |
647647232 |
41,45 |
node-01 |
55.7 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/ntdrivers/diskperf_true-unreach-call.i.cil.c |
unreach-call |
true |
19.5 |
11.2 |
correct |
555622400 |
21,25 |
node-24 |
11.9 |
2 |
3000000000 |
0 |
0 |
[Processor{21, core=1, socket=2}, Processor{25, core=16, socket=2}] |
{2=3.0 GB} |
benchmarks/ntdrivers/floppy2_true-unreach-call.i.cil.c |
unreach-call |
timeout |
61.6 |
34.9 |
error |
823676928 |
20,29 |
node-25 |
35.8 |
2 |
3000000000 |
0 |
0 |
[Processor{20, core=0, socket=2}, Processor{29, core=25, socket=2}] |
{2=3.0 GB} |
benchmarks/ntdrivers/floppy_true-unreach-call.i.cil.c |
unreach-call |
timeout |
62.5 |
38.1 |
error |
717180928 |
23,26 |
node-11 |
38.5 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/ntdrivers/parport_true-unreach-call.i.cil.c |
unreach-call |
error (recursion) |
19.9 |
23.2 |
error |
376000512 |
22,27 |
node-09 |
24.0 |
2 |
3000000000 |
0 |
0 |
[Processor{22, core=2, socket=2}, Processor{27, core=18, socket=2}] |
{2=3.0 GB} |
benchmarks/ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c |
unreach-call |
false(reach) |
39.4 |
30.0 |
correct |
624975872 |
24,28 |
node-07 |
30.6 |
2 |
3000000000 |
0 |
0 |
[Processor{24, core=9, socket=2}, Processor{28, core=24, socket=2}] |
{2=3.0 GB} |
benchmarks/ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c |
unreach-call |
false(reach) |
37.5 |
42.1 |
correct |
617783296 |
33,39 |
node-09 |
42.9 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c |
unreach-call |
false(reach) |
34.3 |
28.1 |
correct |
551223296 |
41,45 |
node-06 |
28.7 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c |
unreach-call |
false(reach) |
43.9 |
27.9 |
correct |
637038592 |
23,26 |
node-14 |
28.7 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c |
unreach-call |
false(reach) |
23.4 |
24.2 |
correct |
351584256 |
42,47 |
node-01 |
24.7 |
0 |
3000000000 |
0 |
0 |
[Processor{42, core=2, socket=0}, Processor{47, core=18, socket=0}] |
{0=3.0 GB} |
benchmarks/ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c |
unreach-call |
false(reach) |
13.6 |
7.87 |
correct |
348061696 |
42,47 |
node-13 |
9.17 |
0 |
3000000000 |
0 |
0 |
[Processor{42, core=2, socket=0}, Processor{47, core=18, socket=0}] |
{0=3.0 GB} |
benchmarks/ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c |
unreach-call |
false(reach) |
21.8 |
17.6 |
correct |
347320320 |
40,46 |
node-16 |
18.1 |
0 |
3000000000 |
0 |
0 |
[Processor{40, core=0, socket=0}, Processor{46, core=17, socket=0}] |
{0=3.0 GB} |
benchmarks/ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c |
unreach-call |
false(reach) |
22.5 |
15.3 |
correct |
345038848 |
33,39 |
node-20 |
15.7 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c |
unreach-call |
false(reach) |
37.3 |
21.6 |
correct |
646963200 |
33,39 |
node-12 |
22.2 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c |
unreach-call |
false(reach) |
29.5 |
16.1 |
correct |
627695616 |
43,48 |
node-25 |
17.1 |
0 |
3000000000 |
0 |
0 |
[Processor{43, core=8, socket=0}, Processor{48, core=24, socket=0}] |
{0=3.0 GB} |
benchmarks/ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c |
unreach-call |
timeout |
61.2 |
41.5 |
error |
674009088 |
21,25 |
node-22 |
42.2 |
2 |
3000000000 |
0 |
0 |
[Processor{21, core=1, socket=2}, Processor{25, core=16, socket=2}] |
{2=3.0 GB} |
benchmarks/ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c |
unreach-call |
false(reach) |
32.6 |
28.3 |
correct |
531066880 |
41,45 |
node-05 |
28.7 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c |
unreach-call |
false(reach) |
56.0 |
43.1 |
correct |
692813824 |
41,45 |
node-12 |
44.4 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c |
unreach-call |
false(reach) |
22.8 |
12.7 |
correct |
634085376 |
20,29 |
node-24 |
13.3 |
2 |
3000000000 |
0 |
0 |
[Processor{20, core=0, socket=2}, Processor{29, core=25, socket=2}] |
{2=3.0 GB} |
benchmarks/ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c |
unreach-call |
false(reach) |
15.6 |
8.88 |
correct |
469676032 |
41,45 |
node-24 |
9.95 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c |
unreach-call |
false(reach) |
46.0 |
32.1 |
correct |
649109504 |
33,39 |
node-16 |
32.9 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c |
unreach-call |
false(reach) |
39.8 |
29.0 |
correct |
650956800 |
42,47 |
node-22 |
29.4 |
0 |
3000000000 |
0 |
0 |
[Processor{42, core=2, socket=0}, Processor{47, core=18, socket=0}] |
{0=3.0 GB} |
benchmarks/ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c |
unreach-call |
false(reach) |
48.2 |
31.6 |
correct |
681455616 |
33,39 |
node-21 |
32.2 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c |
unreach-call |
false(reach) |
37.1 |
23.5 |
correct |
653107200 |
20,29 |
node-22 |
24.3 |
2 |
3000000000 |
0 |
0 |
[Processor{20, core=0, socket=2}, Processor{29, core=25, socket=2}] |
{2=3.0 GB} |
benchmarks/ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c |
unreach-call |
true |
53.8 |
40.8 |
correct |
681680896 |
20,29 |
node-01 |
41.3 |
2 |
3000000000 |
0 |
0 |
[Processor{20, core=0, socket=2}, Processor{29, core=25, socket=2}] |
{2=3.0 GB} |
benchmarks/ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c |
unreach-call |
true |
57.8 |
38.4 |
correct |
690212864 |
33,39 |
node-10 |
38.8 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c |
unreach-call |
true |
27.0 |
16.2 |
correct |
676605952 |
23,26 |
node-13 |
16.8 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c |
unreach-call |
true |
49.8 |
31.0 |
correct |
656592896 |
36,38 |
node-23 |
31.5 |
3 |
3000000000 |
0 |
0 |
[Processor{36, core=17, socket=3}, Processor{38, core=24, socket=3}] |
{3=3.0 GB} |
benchmarks/ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c |
unreach-call |
timeout |
61.7 |
56.4 |
error |
693600256 |
41,45 |
node-22 |
56.7 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c |
unreach-call |
timeout |
61.6 |
55.7 |
error |
699994112 |
43,48 |
node-01 |
56.1 |
0 |
3000000000 |
0 |
0 |
[Processor{43, core=8, socket=0}, Processor{48, core=24, socket=0}] |
{0=3.0 GB} |
benchmarks/ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c |
unreach-call |
timeout |
61.8 |
40.1 |
error |
693657600 |
23,26 |
node-15 |
40.6 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c |
unreach-call |
true |
59.4 |
45.6 |
correct |
716263424 |
23,26 |
node-17 |
46.6 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c |
unreach-call |
timeout |
61.8 |
51.9 |
error |
691638272 |
43,48 |
node-02 |
52.3 |
0 |
3000000000 |
0 |
0 |
[Processor{43, core=8, socket=0}, Processor{48, core=24, socket=0}] |
{0=3.0 GB} |
benchmarks/ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c |
unreach-call |
timeout |
60.8 |
44.4 |
error |
701181952 |
30,37 |
node-17 |
45.0 |
3 |
3000000000 |
0 |
0 |
[Processor{30, core=0, socket=3}, Processor{37, core=18, socket=3}] |
{3=3.0 GB} |
benchmarks/ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c |
unreach-call |
timeout |
62.7 |
45.7 |
error |
683188224 |
22,27 |
node-10 |
46.2 |
2 |
3000000000 |
0 |
0 |
[Processor{22, core=2, socket=2}, Processor{27, core=18, socket=2}] |
{2=3.0 GB} |
benchmarks/ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c |
unreach-call |
timeout |
61.2 |
43.6 |
error |
677273600 |
31,32 |
node-12 |
44.4 |
3 |
3000000000 |
0 |
0 |
[Processor{31, core=1, socket=3}, Processor{32, core=2, socket=3}] |
{3=3.0 GB} |
benchmarks/ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c |
unreach-call |
timeout |
61.7 |
51.2 |
error |
678715392 |
30,37 |
node-16 |
52.0 |
3 |
3000000000 |
0 |
0 |
[Processor{30, core=0, socket=3}, Processor{37, core=18, socket=3}] |
{3=3.0 GB} |
benchmarks/ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c |
unreach-call |
timeout |
61.5 |
48.6 |
error |
705114112 |
41,45 |
node-19 |
49.0 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c |
unreach-call |
timeout |
61.6 |
61.8 |
error |
683630592 |
41,45 |
node-02 |
62.2 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
simple/bitvectors/implicitfloatconversion_false-unreach-label.i |
unreach-label |
false(reach) |
5.62 |
4.40 |
correct |
177827840 |
31,32 |
node-12 |
5.30 |
3 |
3000000000 |
0 |
0 |
[Processor{31, core=1, socket=3}, Processor{32, core=2, socket=3}] |
{3=3.0 GB} |
simple/bitvectors/implicitunsignedconversion_false-unreach-label.i |
unreach-label |
true |
3.38 |
8.55 |
wrong |
173608960 |
23,26 |
node-21 |
9.11 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
simple/bitvectors/integerpromotion_false-unreach-label.i |
unreach-label |
false(reach) |
5.15 |
3.08 |
correct |
189771776 |
43,48 |
node-25 |
3.83 |
0 |
3000000000 |
0 |
0 |
[Processor{43, core=8, socket=0}, Processor{48, core=24, socket=0}] |
{0=3.0 GB} |
simple/bitvectors/pointer_extension2_false-unreach-label.i |
unreach-label |
false(reach) |
4.82 |
3.37 |
correct |
189575168 |
33,39 |
node-25 |
5.15 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
simple/bitvectors/pointer_extension3_false-unreach-label.i |
unreach-label |
false(reach) |
6.56 |
6.14 |
correct |
184881152 |
33,39 |
node-02 |
7.15 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
simple/bitvectors/pointer_extension_false-unreach-label.i |
unreach-label |
false(reach) |
7.55 |
6.27 |
correct |
191225856 |
23,26 |
node-11 |
7.19 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
simple/bitvectors/signextension2_false-unreach-label.i |
unreach-label |
true |
6.46 |
10.9 |
wrong |
172748800 |
23,26 |
node-07 |
11.3 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
simple/bitvectors/signextension_false-unreach-label.i |
unreach-label |
true |
7.85 |
6.51 |
wrong |
177778688 |
24,28 |
node-06 |
6.98 |
2 |
3000000000 |
0 |
0 |
[Processor{24, core=9, socket=2}, Processor{28, core=24, socket=2}] |
{2=3.0 GB} |
simple/bitvectors/struct_false-unreach-label.i |
unreach-label |
false(reach) |
8.45 |
7.27 |
correct |
195227648 |
23,26 |
node-16 |
7.86 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
simple/bitvectors/struct_pointer_simple_false-unreach-label.i |
unreach-label |
false(reach) |
8.24 |
9.07 |
correct |
188436480 |
33,39 |
node-07 |
9.49 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
simple/bitvectors/struct_simple.2.again_false-unreach-label.i |
unreach-label |
false(reach) |
7.49 |
6.97 |
correct |
192081920 |
40,46 |
node-18 |
7.58 |
0 |
3000000000 |
0 |
0 |
[Processor{40, core=0, socket=0}, Processor{46, core=17, socket=0}] |
{0=3.0 GB} |
simple/bitvectors/struct_simple.2_false-unreach-label.i |
unreach-label |
false(reach) |
7.57 |
6.47 |
correct |
196255744 |
23,26 |
node-01 |
7.21 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
simple/bitvectors/struct_simple_false-unreach-label.i |
unreach-label |
false(reach) |
4.47 |
2.98 |
correct |
194326528 |
41,45 |
node-13 |
3.67 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
simple/bitvectors/implicitunsignedconversion_true-unreach-label.i |
unreach-label |
unknown |
3.44 |
2.45 |
unknown |
184176640 |
41,45 |
node-17 |
3.32 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
simple/bitvectors/integerpromotion_true-unreach-label.i |
unreach-label |
unknown |
8.05 |
6.65 |
unknown |
186789888 |
22,27 |
node-06 |
7.50 |
2 |
3000000000 |
0 |
0 |
[Processor{22, core=2, socket=2}, Processor{27, core=18, socket=2}] |
{2=3.0 GB} |
simple/bitvectors/pointer_extension_true-unreach-label.i |
unreach-label |
false(reach) |
7.64 |
6.57 |
wrong |
188170240 |
23,26 |
node-19 |
7.00 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
simple/bitvectors/signextension2_true-unreach-label.i |
unreach-label |
unknown |
7.17 |
5.78 |
unknown |
192241664 |
33,39 |
node-12 |
6.42 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
simple/bitvectors/signextension_true-unreach-label.i |
unreach-label |
unknown |
7.69 |
6.58 |
unknown |
187359232 |
33,39 |
node-18 |
7.03 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
simple/bitvectors/struct_pointer_cast.indirect_true-unreach-label.i |
unreach-label |
true |
6.54 |
5.41 |
correct |
181567488 |
23,26 |
node-15 |
5.98 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
simple/bitvectors/struct_pointer_cast_simplified.indirect_true-unreach-label.i |
unreach-label |
true |
6.76 |
5.36 |
correct |
182677504 |
23,26 |
node-15 |
5.87 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
simple/bitvectors/struct_pointer_cast_true-unreach-label.i |
unreach-label |
true |
7.14 |
5.64 |
correct |
181239808 |
42,47 |
node-01 |
6.39 |
0 |
3000000000 |
0 |
0 |
[Processor{42, core=2, socket=0}, Processor{47, core=18, socket=0}] |
{0=3.0 GB} |
simple/bitvectors/struct_pointer_simple_assignbeforeset_simplified_true-unreach-label.i |
unreach-label |
true |
7.15 |
5.72 |
correct |
177078272 |
33,39 |
node-10 |
6.21 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
simple/bitvectors/struct_pointer_simple_assignbeforeset_true-unreach-label.i |
unreach-label |
true |
6.46 |
6.33 |
correct |
179625984 |
33,39 |
node-09 |
6.88 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
simple/bitvectors/struct_pointer_simple_change_simplified_true-unreach-label.i |
unreach-label |
true |
6.43 |
7.21 |
correct |
178028544 |
42,47 |
node-02 |
8.25 |
0 |
3000000000 |
0 |
0 |
[Processor{42, core=2, socket=0}, Processor{47, core=18, socket=0}] |
{0=3.0 GB} |
simple/bitvectors/struct_pointer_simple_change_true-unreach-label.i |
unreach-label |
true |
6.95 |
7.35 |
correct |
174657536 |
41,45 |
node-22 |
7.81 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
simple/bitvectors/struct_pointer_simple_pointerchange_simplified_true-unreach-label.i |
unreach-label |
true |
7.22 |
6.07 |
correct |
180609024 |
23,26 |
node-02 |
6.56 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
simple/bitvectors/struct_pointer_simple_pointerchange_true-unreach-label.i |
unreach-label |
true |
3.89 |
2.72 |
correct |
178335744 |
40,46 |
node-13 |
3.42 |
0 |
3000000000 |
0 |
0 |
[Processor{40, core=0, socket=0}, Processor{46, core=17, socket=0}] |
{0=3.0 GB} |
simple/bitvectors/struct_pointer_simple_reverse_simplified_true-unreach-label.i |
unreach-label |
true |
4.28 |
3.00 |
correct |
186834944 |
23,26 |
node-21 |
3.75 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
simple/bitvectors/struct_pointer_simple_reverse_true-unreach-label.i |
unreach-label |
true |
6.61 |
5.26 |
correct |
181886976 |
33,39 |
node-11 |
5.69 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
simple/bitvectors/struct_pointer_simple_simplified_true-unreach-label.i |
unreach-label |
true |
7.23 |
11.7 |
correct |
181768192 |
41,45 |
node-10 |
12.5 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
simple/bitvectors/struct_pointer_simple_true-unreach-label.i |
unreach-label |
true |
3.74 |
8.87 |
correct |
190476288 |
33,39 |
node-17 |
9.99 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
simple/bitvectors/struct_ptrCast_reverse_true-unreach-label.i |
unreach-label |
true |
3.96 |
2.61 |
correct |
181968896 |
33,39 |
node-13 |
3.48 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
simple/bitvectors/struct_ptrCast_reverse_typesafe_true-unreach-label.i |
unreach-label |
true |
6.44 |
5.58 |
correct |
176078848 |
23,26 |
node-22 |
6.03 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
simple/bitvectors/struct_ptrCast_true-unreach-label.i |
unreach-label |
true |
6.46 |
10.4 |
correct |
180064256 |
31,32 |
node-09 |
10.9 |
3 |
3000000000 |
0 |
0 |
[Processor{31, core=1, socket=3}, Processor{32, core=2, socket=3}] |
{3=3.0 GB} |
simple/bitvectors/struct_simple_true-unreach-label.i |
unreach-label |
true |
7.53 |
6.35 |
correct |
175734784 |
23,26 |
node-07 |
6.83 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
simple/bitvectors/struct_true-unreach-label.i |
unreach-label |
true |
7.63 |
5.60 |
correct |
187105280 |
23,26 |
node-23 |
6.18 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
simple/bitvectors/structproblem_casts_true-unreach-label.i |
unreach-label |
true |
6.74 |
6.10 |
correct |
180166656 |
21,25 |
node-01 |
7.03 |
2 |
3000000000 |
0 |
0 |
[Processor{21, core=1, socket=2}, Processor{25, core=16, socket=2}] |
{2=3.0 GB} |
simple/bitvectors/structproblem_simple_true-unreach-label.i |
unreach-label |
true |
6.59 |
5.84 |
correct |
175005696 |
41,45 |
node-11 |
6.34 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
simple/pointer_aliasing/malloc_compare_false-unreach-label.i |
unreach-label |
false(reach) |
6.81 |
7.71 |
correct |
200966144 |
44,49 |
node-16 |
8.76 |
0 |
3000000000 |
0 |
0 |
[Processor{44, core=9, socket=0}, Processor{49, core=25, socket=0}] |
{0=3.0 GB} |
simple/pointer_aliasing/pointer_reflection_false-unreach-label.i |
unreach-label |
false(reach) |
6.57 |
7.18 |
correct |
179855360 |
44,49 |
node-18 |
7.64 |
0 |
3000000000 |
0 |
0 |
[Processor{44, core=9, socket=0}, Processor{49, core=25, socket=0}] |
{0=3.0 GB} |
simple/pointer_aliasing/aliasing_true-unreach-label.i |
unreach-label |
true |
6.10 |
5.93 |
correct |
178941952 |
41,45 |
node-16 |
6.38 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
simple/pointer_aliasing/high_degree_of_indirection_true-unreach-label.i |
unreach-label |
true |
5.99 |
6.33 |
correct |
170201088 |
41,45 |
node-02 |
6.73 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
simple/pointer_aliasing/indirect_assignment_true-unreach-label.i |
unreach-label |
true |
5.96 |
4.90 |
correct |
175529984 |
33,39 |
node-20 |
5.35 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
simple/pointer_aliasing/malloc_compare_true-unreach-label.i |
unreach-label |
true |
7.02 |
5.15 |
correct |
178458624 |
23,26 |
node-22 |
5.82 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
simple/pointer_aliasing/return_pointer_true-unreach-label.i |
unreach-label |
true |
4.69 |
3.02 |
correct |
177242112 |
43,48 |
node-25 |
3.67 |
0 |
3000000000 |
0 |
0 |
[Processor{43, core=8, socket=0}, Processor{48, core=24, socket=0}] |
{0=3.0 GB} |
simple/arrays/arrays2_false-unreach-label.i |
unreach-label |
unknown |
8.05 |
6.62 |
unknown |
192929792 |
23,26 |
node-08 |
7.11 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
simple/arrays/arrays_false-unreach-label.i |
unreach-label |
unknown |
7.71 |
6.12 |
unknown |
187699200 |
23,26 |
node-07 |
6.85 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
simple/arrays/array_of_structs_true-unreach-label.i |
unreach-label |
true |
6.68 |
6.20 |
correct |
178733056 |
33,39 |
node-02 |
6.63 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
simple/arrays/arrays2_true-unreach-label.i |
unreach-label |
unknown |
7.41 |
12.2 |
unknown |
192655360 |
41,45 |
node-14 |
12.8 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
simple/arrays/arrays_true-unreach-label.i |
unreach-label |
unknown |
6.49 |
10.7 |
unknown |
189915136 |
41,45 |
node-14 |
11.3 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
simple/arrays/structproblem_advanced_true-unreach-label.i |
unreach-label |
unknown |
8.12 |
8.34 |
unknown |
197963776 |
42,47 |
node-01 |
8.78 |
0 |
3000000000 |
0 |
0 |
[Processor{42, core=2, socket=0}, Processor{47, core=18, socket=0}] |
{0=3.0 GB} |
simple/SSAMap-bug2_false-unreach-label.c |
unreach-label |
false(reach) |
4.41 |
3.02 |
correct |
189906944 |
43,48 |
node-13 |
4.44 |
0 |
3000000000 |
0 |
0 |
[Processor{43, core=8, socket=0}, Processor{48, core=24, socket=0}] |
{0=3.0 GB} |
simple/SSAMap-bug_false-unreach-label.c |
unreach-label |
false(reach) |
6.98 |
5.47 |
correct |
182489088 |
33,39 |
node-18 |
5.86 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
simple/functionPointer-hiding-function_false-unreach-label.c |
unreach-label |
false(reach) |
6.25 |
5.91 |
correct |
184131584 |
22,27 |
node-10 |
6.41 |
2 |
3000000000 |
0 |
0 |
[Processor{22, core=2, socket=2}, Processor{27, core=18, socket=2}] |
{2=3.0 GB} |
simple/functionPointer-recursion_false-unreach-label.c |
unreach-label |
error (recursion) |
5.70 |
5.95 |
error |
171282432 |
22,27 |
node-01 |
6.35 |
2 |
3000000000 |
0 |
0 |
[Processor{22, core=2, socket=2}, Processor{27, core=18, socket=2}] |
{2=3.0 GB} |
simple/globalVariableInitialValue_false-unreach-label.c |
unreach-label |
false(reach) |
8.42 |
6.60 |
correct |
184721408 |
22,27 |
node-06 |
7.09 |
2 |
3000000000 |
0 |
0 |
[Processor{22, core=2, socket=2}, Processor{27, core=18, socket=2}] |
{2=3.0 GB} |
simple/struct-initializer-for-composite-field_false-unreach-label.c |
unreach-label |
false(reach) |
6.48 |
5.31 |
correct |
181071872 |
43,48 |
node-01 |
6.42 |
0 |
3000000000 |
0 |
0 |
[Processor{43, core=8, socket=0}, Processor{48, core=24, socket=0}] |
{0=3.0 GB} |
simple/struct-selfreference_false-unreach-label.c |
unreach-label |
false(reach) |
3.45 |
2.46 |
correct |
181440512 |
21,25 |
node-24 |
3.47 |
2 |
3000000000 |
0 |
0 |
[Processor{21, core=1, socket=2}, Processor{25, core=16, socket=2}] |
{2=3.0 GB} |
simple/switch_test_default_fallthrough_false-unreach-label.c |
unreach-label |
false(reach) |
5.80 |
5.60 |
correct |
178118656 |
31,32 |
node-18 |
6.00 |
3 |
3000000000 |
0 |
0 |
[Processor{31, core=1, socket=3}, Processor{32, core=2, socket=3}] |
{3=3.0 GB} |
simple/switch_test_false-unreach-label.c |
unreach-label |
false(reach) |
7.12 |
16.3 |
correct |
189779968 |
23,26 |
node-03 |
16.8 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
simple/variable-binding-scope_false-unreach-label.c |
unreach-label |
false(reach) |
6.02 |
6.79 |
correct |
177557504 |
44,49 |
node-18 |
7.46 |
0 |
3000000000 |
0 |
0 |
[Processor{44, core=9, socket=0}, Processor{49, core=25, socket=0}] |
{0=3.0 GB} |
simple/FunctionPredicatesTest_true-unreach-label.c |
unreach-label |
true |
3.99 |
2.84 |
correct |
174276608 |
23,26 |
node-21 |
4.06 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
simple/PredicateMergeTest_true-unreach-label.c |
unreach-label |
true |
5.28 |
8.85 |
correct |
172822528 |
23,26 |
node-21 |
9.82 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
simple/__VERIFIER_assume_true-unreach-label.c |
unreach-label |
true |
5.80 |
10.2 |
correct |
167579648 |
23,26 |
node-07 |
10.7 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
simple/array_in_global_struct_init_true-unreach-label.c |
unreach-label |
true |
6.40 |
5.31 |
correct |
175939584 |
20,29 |
node-01 |
5.91 |
2 |
3000000000 |
0 |
0 |
[Processor{20, core=0, socket=2}, Processor{29, core=25, socket=2}] |
{2=3.0 GB} |
simple/bdd_inteq_compression_test_true-unreach-label.c |
unreach-label |
true |
5.47 |
4.52 |
correct |
175124480 |
33,39 |
node-06 |
5.16 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
simple/builtin_expect_true-unreach-label.c |
unreach-label |
true |
3.13 |
2.25 |
correct |
171393024 |
21,25 |
node-24 |
4.25 |
2 |
3000000000 |
0 |
0 |
[Processor{21, core=1, socket=2}, Processor{25, core=16, socket=2}] |
{2=3.0 GB} |
simple/compoundLiteral_true-unreach-label.c |
unreach-label |
true |
5.67 |
5.11 |
correct |
168005632 |
30,37 |
node-18 |
5.97 |
3 |
3000000000 |
0 |
0 |
[Processor{30, core=0, socket=3}, Processor{37, core=18, socket=3}] |
{3=3.0 GB} |
simple/designatedRangeInitializer_true-unreach-label.c |
unreach-label |
true |
6.64 |
5.80 |
correct |
173150208 |
23,26 |
node-20 |
6.16 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
simple/functionPointer-hiding-function_true-unreach-label.c |
unreach-label |
true |
3.01 |
2.16 |
correct |
171696128 |
21,25 |
node-24 |
2.84 |
2 |
3000000000 |
0 |
0 |
[Processor{21, core=1, socket=2}, Processor{25, core=16, socket=2}] |
{2=3.0 GB} |
simple/globalVariableInitialValue_true-unreach-label.c |
unreach-label |
true |
5.37 |
5.27 |
correct |
167604224 |
42,47 |
node-22 |
5.72 |
0 |
3000000000 |
0 |
0 |
[Processor{42, core=2, socket=0}, Processor{47, core=18, socket=0}] |
{0=3.0 GB} |
simple/inner_structure_field_true-unreach-label.c |
unreach-label |
true |
5.82 |
9.91 |
correct |
173342720 |
23,26 |
node-01 |
12.8 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
simple/merge-bases-union_true-unreach-label.c |
unreach-label |
false(reach) |
6.64 |
5.57 |
wrong |
189272064 |
33,39 |
node-11 |
6.07 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
simple/shortcut-operators_true-unreach-label.c |
unreach-label |
true |
6.69 |
4.86 |
correct |
194060288 |
44,49 |
node-21 |
5.44 |
0 |
3000000000 |
0 |
0 |
[Processor{44, core=9, socket=0}, Processor{49, core=25, socket=0}] |
{0=3.0 GB} |
simple/simple_bitshift_true-unreach-label.c |
unreach-label |
unknown |
3.53 |
2.47 |
unknown |
180019200 |
20,29 |
node-25 |
3.67 |
2 |
3000000000 |
0 |
0 |
[Processor{20, core=0, socket=2}, Processor{29, core=25, socket=2}] |
{2=3.0 GB} |
simple/simplify-casts_true-unreach-label.c |
unreach-label |
true |
3.37 |
2.34 |
correct |
173199360 |
23,26 |
node-24 |
3.55 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
simple/struct-char-array-initializer_true-unreach-label.c |
unreach-label |
false(reach) |
6.81 |
5.98 |
wrong |
192020480 |
41,45 |
node-15 |
6.40 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
simple/struct-initializer-with-type-id-expression_true-unreach-label.c |
unreach-label |
true |
5.64 |
5.01 |
correct |
176201728 |
33,39 |
node-15 |
5.53 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
simple/struct_initializers_true-unreach-label.c |
unreach-label |
true |
3.34 |
2.32 |
correct |
177123328 |
23,26 |
node-17 |
3.47 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
simple/substructure_addressing_true-unreach-label.c |
unreach-label |
true |
6.47 |
5.93 |
correct |
175616000 |
23,26 |
node-20 |
6.40 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
simple/ternary-operator-without-positive-exp_true-unreach-label.c |
unreach-label |
true |
6.20 |
12.0 |
correct |
172339200 |
41,45 |
node-01 |
15.0 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-termination.cil.c |
unreach-call |
false(reach) |
36.9 |
25.6 |
correct |
561139712 |
33,39 |
node-05 |
26.0 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-termination.cil.c |
unreach-call |
false(reach) |
29.1 |
17.6 |
correct |
389455872 |
33,39 |
node-12 |
18.0 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-termination.cil.c |
unreach-call |
false(reach) |
36.3 |
23.7 |
correct |
445353984 |
23,26 |
node-23 |
24.2 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-termination.cil.c |
unreach-call |
false(reach) |
17.3 |
15.7 |
correct |
293216256 |
41,45 |
node-06 |
16.5 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-termination.cil.c |
unreach-call |
true |
34.0 |
21.6 |
correct |
560234496 |
36,38 |
node-12 |
22.5 |
3 |
3000000000 |
0 |
0 |
[Processor{36, core=17, socket=3}, Processor{38, core=24, socket=3}] |
{3=3.0 GB} |
benchmarks/ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-termination.cil.c |
unreach-call |
true |
32.9 |
21.4 |
correct |
431726592 |
23,26 |
node-01 |
23.0 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-termination.cil.c |
unreach-call |
true |
21.2 |
21.6 |
correct |
333975552 |
41,45 |
node-08 |
22.1 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-termination.cil.c |
unreach-call |
true |
26.0 |
24.8 |
correct |
392126464 |
44,49 |
node-08 |
25.2 |
0 |
3000000000 |
0 |
0 |
[Processor{44, core=9, socket=0}, Processor{49, core=25, socket=0}] |
{0=3.0 GB} |
benchmarks/ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-termination.cil.c |
unreach-call |
true |
7.91 |
6.11 |
correct |
195969024 |
33,39 |
node-22 |
6.61 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-termination.cil.c |
unreach-call |
true |
10.2 |
8.16 |
correct |
220385280 |
33,39 |
node-11 |
8.57 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/ssh-simplified/s3_clnt_1_false-unreach-call.cil.c |
unreach-call |
false(reach) |
17.1 |
9.59 |
correct |
478486528 |
41,45 |
node-13 |
11.1 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c |
unreach-call |
false(reach) |
28.6 |
17.4 |
correct |
536428544 |
36,38 |
node-12 |
17.9 |
3 |
3000000000 |
0 |
0 |
[Processor{36, core=17, socket=3}, Processor{38, core=24, socket=3}] |
{3=3.0 GB} |
benchmarks/ssh-simplified/s3_clnt_3_false-unreach-call.cil.c |
unreach-call |
false(reach) |
39.2 |
31.8 |
correct |
633626624 |
33,39 |
node-01 |
34.6 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/ssh-simplified/s3_clnt_4_false-unreach-call.cil.c |
unreach-call |
false(reach) |
31.0 |
20.7 |
correct |
499662848 |
31,32 |
node-18 |
21.3 |
3 |
3000000000 |
0 |
0 |
[Processor{31, core=1, socket=3}, Processor{32, core=2, socket=3}] |
{3=3.0 GB} |
benchmarks/ssh-simplified/s3_srvr_10_false-unreach-call.cil.c |
unreach-call |
false(reach) |
6.37 |
9.15 |
correct |
233787392 |
41,45 |
node-17 |
10.1 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/ssh-simplified/s3_srvr_12_false-unreach-call.cil.c |
unreach-call |
timeout |
61.4 |
40.1 |
error |
688640000 |
33,39 |
node-04 |
40.7 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/ssh-simplified/s3_srvr_13_false-unreach-call.cil.c |
unreach-call |
false(reach) |
48.7 |
44.1 |
correct |
659017728 |
43,48 |
node-02 |
45.1 |
0 |
3000000000 |
0 |
0 |
[Processor{43, core=8, socket=0}, Processor{48, core=24, socket=0}] |
{0=3.0 GB} |
benchmarks/ssh-simplified/s3_srvr_14_false-unreach-call.cil.c |
unreach-call |
false(reach) |
26.3 |
27.0 |
correct |
395956224 |
41,45 |
node-05 |
27.5 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/ssh-simplified/s3_srvr_1_false-unreach-call.cil.c |
unreach-call |
false(reach) |
22.3 |
22.0 |
correct |
330072064 |
40,46 |
node-18 |
22.8 |
0 |
3000000000 |
0 |
0 |
[Processor{40, core=0, socket=0}, Processor{46, core=17, socket=0}] |
{0=3.0 GB} |
benchmarks/ssh-simplified/s3_srvr_2_false-unreach-call.cil.c |
unreach-call |
false(reach) |
19.3 |
12.7 |
correct |
336654336 |
33,39 |
node-03 |
13.2 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/ssh-simplified/s3_srvr_6_false-unreach-call.cil.c |
unreach-call |
false(reach) |
4.54 |
3.18 |
correct |
203640832 |
41,45 |
node-24 |
3.91 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/ssh-simplified/s3_clnt_1_true-unreach-call.cil.c |
unreach-call |
timeout |
62.5 |
39.6 |
error |
716038144 |
24,28 |
node-06 |
40.0 |
2 |
3000000000 |
0 |
0 |
[Processor{24, core=9, socket=2}, Processor{28, core=24, socket=2}] |
{2=3.0 GB} |
benchmarks/ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c |
unreach-call |
true |
42.4 |
30.3 |
correct |
628260864 |
31,32 |
node-23 |
30.7 |
3 |
3000000000 |
0 |
0 |
[Processor{31, core=1, socket=3}, Processor{32, core=2, socket=3}] |
{3=3.0 GB} |
benchmarks/ssh-simplified/s3_clnt_3_true-unreach-call.cil.c |
unreach-call |
true |
43.7 |
27.7 |
correct |
642379776 |
23,26 |
node-14 |
28.2 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/ssh-simplified/s3_clnt_4_true-unreach-call.cil.c |
unreach-call |
true |
36.5 |
21.7 |
correct |
675258368 |
23,26 |
node-25 |
22.8 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/ssh-simplified/s3_srvr_1_true-unreach-call.cil.c |
unreach-call |
timeout |
61.7 |
42.0 |
error |
687554560 |
33,39 |
node-12 |
42.6 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/ssh-simplified/s3_srvr_1a_true-unreach-call.cil.c |
unreach-call |
true |
30.5 |
24.2 |
correct |
439033856 |
41,45 |
node-14 |
24.8 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c |
unreach-call |
true |
9.32 |
7.01 |
correct |
210800640 |
23,26 |
node-10 |
7.45 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/ssh-simplified/s3_srvr_2_true-unreach-call.cil.c |
unreach-call |
true |
49.4 |
28.4 |
correct |
692408320 |
41,45 |
node-25 |
30.7 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/ssh-simplified/s3_srvr_3_true-unreach-call.cil.c |
unreach-call |
timeout |
61.7 |
42.2 |
error |
680534016 |
23,26 |
node-08 |
42.6 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/ssh-simplified/s3_srvr_4_true-unreach-call.cil.c |
unreach-call |
timeout |
61.4 |
56.1 |
error |
678088704 |
44,49 |
node-01 |
56.9 |
0 |
3000000000 |
0 |
0 |
[Processor{44, core=9, socket=0}, Processor{49, core=25, socket=0}] |
{0=3.0 GB} |
benchmarks/ssh-simplified/s3_srvr_6_true-unreach-call.cil.c |
unreach-call |
timeout |
61.8 |
40.3 |
error |
677580800 |
33,39 |
node-19 |
40.9 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/ssh-simplified/s3_srvr_7_true-unreach-call.cil.c |
unreach-call |
timeout |
61.1 |
38.8 |
error |
688660480 |
42,47 |
node-25 |
41.3 |
0 |
3000000000 |
0 |
0 |
[Processor{42, core=2, socket=0}, Processor{47, core=18, socket=0}] |
{0=3.0 GB} |
benchmarks/ssh-simplified/s3_srvr_8_true-unreach-call.cil.c |
unreach-call |
timeout |
61.7 |
40.9 |
error |
688111616 |
34,35 |
node-12 |
41.4 |
3 |
3000000000 |
0 |
0 |
[Processor{34, core=9, socket=3}, Processor{35, core=16, socket=3}] |
{3=3.0 GB} |
benchmarks/locks/test_locks_14_false-unreach-call.c |
unreach-call |
false(reach) |
8.16 |
16.6 |
correct |
204652544 |
30,37 |
node-23 |
17.6 |
3 |
3000000000 |
0 |
0 |
[Processor{30, core=0, socket=3}, Processor{37, core=18, socket=3}] |
{3=3.0 GB} |
benchmarks/locks/test_locks_15_false-unreach-call.c |
unreach-call |
false(reach) |
10.1 |
8.20 |
correct |
219258880 |
33,39 |
node-07 |
8.70 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/locks/test_locks_10_true-unreach-call.c |
unreach-call |
true |
6.34 |
5.73 |
correct |
174706688 |
33,39 |
node-22 |
6.43 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/locks/test_locks_11_true-unreach-call_false-termination.c |
unreach-call |
true |
3.74 |
2.63 |
correct |
181399552 |
23,26 |
node-25 |
3.35 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/locks/test_locks_12_true-unreach-call_false-termination.c |
unreach-call |
true |
3.57 |
3.65 |
correct |
183853056 |
33,39 |
node-17 |
4.29 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/locks/test_locks_13_true-unreach-call.c |
unreach-call |
true |
3.59 |
2.73 |
correct |
181493760 |
41,45 |
node-13 |
4.16 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/locks/test_locks_14_true-unreach-call.c |
unreach-call |
true |
6.45 |
5.93 |
correct |
182919168 |
33,39 |
node-14 |
6.81 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/locks/test_locks_15_true-unreach-call_false-termination.c |
unreach-call |
true |
5.92 |
6.29 |
correct |
178102272 |
41,45 |
node-08 |
6.70 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/locks/test_locks_5_true-unreach-call_false-termination.c |
unreach-call |
true |
6.07 |
5.64 |
correct |
177115136 |
24,28 |
node-10 |
6.18 |
2 |
3000000000 |
0 |
0 |
[Processor{24, core=9, socket=2}, Processor{28, core=24, socket=2}] |
{2=3.0 GB} |
benchmarks/locks/test_locks_6_true-unreach-call_false-termination.c |
unreach-call |
true |
3.46 |
3.55 |
correct |
177221632 |
23,26 |
node-13 |
4.16 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/locks/test_locks_7_true-unreach-call_false-termination.c |
unreach-call |
true |
3.76 |
2.61 |
correct |
182226944 |
41,45 |
node-17 |
3.51 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/locks/test_locks_8_true-unreach-call_false-termination.c |
unreach-call |
true |
6.49 |
5.54 |
correct |
178630656 |
24,28 |
node-10 |
6.08 |
2 |
3000000000 |
0 |
0 |
[Processor{24, core=9, socket=2}, Processor{28, core=24, socket=2}] |
{2=3.0 GB} |
benchmarks/locks/test_locks_9_true-unreach-call.c |
unreach-call |
true |
3.88 |
2.58 |
correct |
179453952 |
23,26 |
node-25 |
3.25 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/heap-manipulation/bubble_sort_linux_false-unreach-call.i |
unreach-call |
false(reach) |
7.53 |
4.72 |
correct |
236752896 |
23,26 |
node-13 |
5.85 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/heap-manipulation/dll_of_dll_false-unreach-call.i |
unreach-call |
error (recursion) |
7.04 |
6.28 |
error |
178819072 |
23,26 |
node-19 |
6.72 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/heap-manipulation/merge_sort_false-unreach-call.i |
unreach-call |
false(reach) |
9.33 |
7.81 |
correct |
211668992 |
33,39 |
node-08 |
8.37 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/heap-manipulation/sll_to_dll_rev_false-unreach-call.i |
unreach-call |
false(reach) |
6.61 |
4.35 |
correct |
236150784 |
21,25 |
node-24 |
5.17 |
2 |
3000000000 |
0 |
0 |
[Processor{21, core=1, socket=2}, Processor{25, core=16, socket=2}] |
{2=3.0 GB} |
benchmarks/heap-manipulation/bubble_sort_linux_true-unreach-call.i |
unreach-call |
timeout |
61.7 |
41.5 |
error |
684023808 |
33,39 |
node-08 |
41.9 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/heap-manipulation/dancing_true-unreach-call.i |
unreach-call |
error (recursion) |
3.96 |
2.81 |
error |
181514240 |
44,49 |
node-13 |
3.53 |
0 |
3000000000 |
0 |
0 |
[Processor{44, core=9, socket=0}, Processor{49, core=25, socket=0}] |
{0=3.0 GB} |
benchmarks/heap-manipulation/dll_of_dll_true-unreach-call.i |
unreach-call |
error (recursion) |
6.82 |
6.96 |
error |
184459264 |
40,46 |
node-08 |
7.38 |
0 |
3000000000 |
0 |
0 |
[Processor{40, core=0, socket=0}, Processor{46, core=17, socket=0}] |
{0=3.0 GB} |
benchmarks/heap-manipulation/merge_sort_true-unreach-call.i |
unreach-call |
timeout |
61.3 |
46.0 |
error |
774123520 |
23,26 |
node-13 |
46.5 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/heap-manipulation/sll_to_dll_rev_true-unreach-call.i |
unreach-call |
timeout |
61.3 |
52.5 |
error |
674684928 |
30,37 |
node-23 |
52.9 |
3 |
3000000000 |
0 |
0 |
[Processor{30, core=0, socket=3}, Processor{37, core=18, socket=3}] |
{3=3.0 GB} |
benchmarks/list-properties/alternating_list_false-unreach-call.i |
unreach-call |
false(reach) |
8.84 |
14.5 |
correct |
211050496 |
40,46 |
node-09 |
15.0 |
0 |
3000000000 |
0 |
0 |
[Processor{40, core=0, socket=0}, Processor{46, core=17, socket=0}] |
{0=3.0 GB} |
benchmarks/list-properties/list_false-unreach-call.i |
unreach-call |
timeout |
61.6 |
45.7 |
error |
758767616 |
41,45 |
node-21 |
46.7 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/list-properties/list_flag_false-unreach-call.i |
unreach-call |
false(reach) |
8.18 |
6.44 |
correct |
207499264 |
33,39 |
node-11 |
6.95 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/list-properties/list_search_false-unreach-call.i |
unreach-call |
false(reach) |
8.28 |
5.23 |
correct |
283119616 |
30,37 |
node-17 |
6.60 |
3 |
3000000000 |
0 |
0 |
[Processor{30, core=0, socket=3}, Processor{37, core=18, socket=3}] |
{3=3.0 GB} |
benchmarks/list-properties/simple_false-unreach-call.i |
unreach-call |
false(reach) |
7.91 |
7.20 |
correct |
209436672 |
31,32 |
node-23 |
8.71 |
3 |
3000000000 |
0 |
0 |
[Processor{31, core=1, socket=3}, Processor{32, core=2, socket=3}] |
{3=3.0 GB} |
benchmarks/list-properties/splice_false-unreach-call.i |
unreach-call |
false(reach) |
11.0 |
8.95 |
correct |
215994368 |
23,26 |
node-19 |
9.50 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/list-properties/alternating_list_true-unreach-call.i |
unreach-call |
timeout |
61.3 |
62.0 |
error |
700190720 |
41,45 |
node-08 |
62.5 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/list-properties/list_flag_true-unreach-call.i |
unreach-call |
timeout |
61.3 |
46.6 |
error |
768942080 |
41,45 |
node-11 |
47.1 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/list-properties/list_search_true-unreach-call.i |
unreach-call |
true |
29.3 |
19.4 |
correct |
407224320 |
23,26 |
node-20 |
20.1 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/list-properties/list_true-unreach-call.i |
unreach-call |
timeout |
61.4 |
44.7 |
error |
698388480 |
33,39 |
node-22 |
45.2 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/list-properties/simple_built_from_end_true-unreach-call.i |
unreach-call |
timeout |
62.5 |
57.6 |
error |
674762752 |
23,26 |
node-03 |
58.2 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/list-properties/simple_true-unreach-call.i |
unreach-call |
timeout |
61.3 |
47.8 |
error |
803987456 |
33,39 |
node-22 |
48.2 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/list-properties/splice_true-unreach-call.i |
unreach-call |
timeout |
61.1 |
52.2 |
error |
687816704 |
41,45 |
node-18 |
52.7 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/ldv-regression/1_3.c_false-unreach-call.i |
unreach-call |
false(reach) |
6.74 |
6.83 |
correct |
194138112 |
41,45 |
node-03 |
7.35 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/ldv-regression/alt_test.c_false-unreach-call.i |
unreach-call |
false(reach) |
10.4 |
8.00 |
correct |
197775360 |
24,28 |
node-06 |
8.41 |
2 |
3000000000 |
0 |
0 |
[Processor{24, core=9, socket=2}, Processor{28, core=24, socket=2}] |
{2=3.0 GB} |
benchmarks/ldv-regression/callfpointer.c_false-unreach-call.i |
unreach-call |
false(reach) |
6.00 |
11.7 |
correct |
181063680 |
31,32 |
node-09 |
12.3 |
3 |
3000000000 |
0 |
0 |
[Processor{31, core=1, socket=3}, Processor{32, core=2, socket=3}] |
{3=3.0 GB} |
benchmarks/ldv-regression/fo_test.c_false-unreach-call.i |
unreach-call |
false(reach) |
7.85 |
13.9 |
correct |
192638976 |
23,26 |
node-09 |
14.5 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/ldv-regression/mutex_lock_int.c_false-unreach-call.i |
unreach-call |
false(reach) |
6.12 |
5.79 |
correct |
191471616 |
33,39 |
node-23 |
6.23 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/ldv-regression/mutex_lock_struct.c_false-unreach-call.i |
unreach-call |
false(reach) |
6.14 |
5.91 |
correct |
186081280 |
33,39 |
node-05 |
6.52 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/ldv-regression/recursive_list.c_false-unreach-call.i |
unreach-call |
false(reach) |
6.44 |
6.51 |
correct |
191557632 |
23,26 |
node-01 |
7.27 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/ldv-regression/rule57_ebda_blast.c_false-unreach-call.i |
unreach-call |
false(reach) |
6.85 |
7.39 |
correct |
194252800 |
43,48 |
node-02 |
7.99 |
0 |
3000000000 |
0 |
0 |
[Processor{43, core=8, socket=0}, Processor{48, core=24, socket=0}] |
{0=3.0 GB} |
benchmarks/ldv-regression/rule60_list2.c_false-unreach-call_1.i |
unreach-call |
false(reach) |
8.33 |
8.82 |
correct |
209223680 |
41,45 |
node-09 |
9.36 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/ldv-regression/stateful_check_false-unreach-call.i |
unreach-call |
false(reach) |
12.0 |
19.2 |
correct |
230928384 |
23,26 |
node-07 |
19.7 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/ldv-regression/test_while_int.c_false-unreach-call.i |
unreach-call |
false(reach) |
6.52 |
5.18 |
correct |
188596224 |
23,26 |
node-08 |
6.14 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/ldv-regression/test_while_int.c_false-unreach-call_1.i |
unreach-call |
false(reach) |
3.82 |
2.81 |
correct |
189632512 |
41,45 |
node-13 |
3.51 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/ldv-regression/alias_of_return.c_true-unreach-call.i |
unreach-call |
true |
6.57 |
9.81 |
correct |
175689728 |
23,26 |
node-10 |
10.4 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/ldv-regression/alias_of_return.c_true-unreach-call_1.i |
unreach-call |
true |
3.45 |
2.39 |
correct |
174428160 |
40,46 |
node-13 |
4.00 |
0 |
3000000000 |
0 |
0 |
[Processor{40, core=0, socket=0}, Processor{46, core=17, socket=0}] |
{0=3.0 GB} |
benchmarks/ldv-regression/alias_of_return_2.c_true-unreach-call.i |
unreach-call |
true |
6.52 |
5.65 |
correct |
174137344 |
33,39 |
node-18 |
6.12 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/ldv-regression/alias_of_return_2.c_true-unreach-call_1.i |
unreach-call |
true |
5.81 |
5.59 |
correct |
178827264 |
41,45 |
node-23 |
7.27 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/ldv-regression/ex3_forlist.c_true-unreach-call.i |
unreach-call |
true |
17.9 |
18.4 |
correct |
346738688 |
41,45 |
node-06 |
18.8 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/ldv-regression/just_assert.c_true-unreach-call.i |
unreach-call |
true |
5.83 |
5.37 |
correct |
173088768 |
33,39 |
node-09 |
6.68 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/ldv-regression/mutex_lock_int.c_true-unreach-call_1.i |
unreach-call |
true |
6.12 |
6.77 |
correct |
168108032 |
33,39 |
node-07 |
7.54 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/ldv-regression/mutex_lock_struct.c_true-unreach-call_1.i |
unreach-call |
true |
3.10 |
2.18 |
correct |
171216896 |
41,45 |
node-24 |
2.80 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/ldv-regression/nested_structure.c_true-unreach-call.i |
unreach-call |
true |
5.40 |
10.3 |
correct |
175013888 |
33,39 |
node-03 |
10.8 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/ldv-regression/nested_structure_noptr.c_true-unreach-call.i |
unreach-call |
true |
4.13 |
2.76 |
correct |
172638208 |
42,47 |
node-25 |
3.71 |
0 |
3000000000 |
0 |
0 |
[Processor{42, core=2, socket=0}, Processor{47, core=18, socket=0}] |
{0=3.0 GB} |
benchmarks/ldv-regression/nested_structure_noptr_true-unreach-call.i |
unreach-call |
true |
6.06 |
5.63 |
correct |
173850624 |
43,48 |
node-01 |
6.81 |
0 |
3000000000 |
0 |
0 |
[Processor{43, core=8, socket=0}, Processor{48, core=24, socket=0}] |
{0=3.0 GB} |
benchmarks/ldv-regression/nested_structure_ptr.c_true-unreach-call.i |
unreach-call |
true |
6.00 |
4.62 |
correct |
173568000 |
30,37 |
node-12 |
5.38 |
3 |
3000000000 |
0 |
0 |
[Processor{30, core=0, socket=3}, Processor{37, core=18, socket=3}] |
{3=3.0 GB} |
benchmarks/ldv-regression/nested_structure_ptr_true-unreach-call.i |
unreach-call |
true |
4.32 |
3.11 |
correct |
177500160 |
44,49 |
node-21 |
4.29 |
0 |
3000000000 |
0 |
0 |
[Processor{44, core=9, socket=0}, Processor{49, core=25, socket=0}] |
{0=3.0 GB} |
benchmarks/ldv-regression/nested_structure_true-unreach-call.i |
unreach-call |
true |
4.61 |
3.12 |
correct |
176861184 |
44,49 |
node-21 |
3.70 |
0 |
3000000000 |
0 |
0 |
[Processor{44, core=9, socket=0}, Processor{49, core=25, socket=0}] |
{0=3.0 GB} |
benchmarks/ldv-regression/oomInt.c_true-unreach-call.i |
unreach-call |
true |
5.58 |
5.32 |
correct |
177352704 |
42,47 |
node-01 |
6.71 |
0 |
3000000000 |
0 |
0 |
[Processor{42, core=2, socket=0}, Processor{47, core=18, socket=0}] |
{0=3.0 GB} |
benchmarks/ldv-regression/oomInt.c_true-unreach-call_1.i |
unreach-call |
true |
6.05 |
5.06 |
correct |
174129152 |
23,26 |
node-23 |
5.47 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/ldv-regression/rule57_ebda_blast.c_true-unreach-call_1.i |
unreach-call |
true |
5.89 |
5.13 |
correct |
175632384 |
33,39 |
node-06 |
5.56 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/ldv-regression/rule60_list.c_true-unreach-call.i |
unreach-call |
true |
7.40 |
6.29 |
correct |
181878784 |
22,27 |
node-06 |
6.72 |
2 |
3000000000 |
0 |
0 |
[Processor{22, core=2, socket=2}, Processor{27, core=18, socket=2}] |
{2=3.0 GB} |
benchmarks/ldv-regression/rule60_list2.c_true-unreach-call.i |
unreach-call |
true |
3.95 |
2.76 |
correct |
190365696 |
41,45 |
node-17 |
3.55 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/ldv-regression/sizeofparameters_test.c_true-unreach-call.i |
unreach-call |
true |
5.90 |
4.84 |
correct |
176607232 |
30,37 |
node-12 |
5.30 |
3 |
3000000000 |
0 |
0 |
[Processor{30, core=0, socket=3}, Processor{37, core=18, socket=3}] |
{3=3.0 GB} |
benchmarks/ldv-regression/structure_assignment.c_true-unreach-call.i |
unreach-call |
true |
5.01 |
5.59 |
correct |
169136128 |
40,46 |
node-22 |
6.01 |
0 |
3000000000 |
0 |
0 |
[Processor{40, core=0, socket=0}, Processor{46, core=17, socket=0}] |
{0=3.0 GB} |
benchmarks/ldv-regression/test_address.c_true-unreach-call.i |
unreach-call |
true |
5.80 |
10.5 |
correct |
180318208 |
33,39 |
node-23 |
11.2 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/ldv-regression/test_cut_trace.c_true-unreach-call.i |
unreach-call |
true |
5.68 |
4.58 |
correct |
174149632 |
31,32 |
node-09 |
5.27 |
3 |
3000000000 |
0 |
0 |
[Processor{31, core=1, socket=3}, Processor{32, core=2, socket=3}] |
{3=3.0 GB} |
benchmarks/ldv-regression/test_malloc-1_true-unreach-call.i |
unreach-call |
true |
5.69 |
9.05 |
correct |
180436992 |
44,49 |
node-21 |
9.65 |
0 |
3000000000 |
0 |
0 |
[Processor{44, core=9, socket=0}, Processor{49, core=25, socket=0}] |
{0=3.0 GB} |
benchmarks/ldv-regression/test_malloc-2_true-unreach-call.i |
unreach-call |
true |
6.31 |
5.29 |
correct |
175779840 |
23,26 |
node-22 |
5.67 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/ldv-regression/test_overflow.c_true-unreach-call.i |
unreach-call |
true |
7.07 |
7.14 |
correct |
176132096 |
41,45 |
node-14 |
7.66 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/ldv-regression/test_union.c_true-unreach-call.i |
unreach-call |
true |
5.33 |
4.15 |
correct |
172306432 |
23,26 |
node-08 |
4.70 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/ldv-regression/test_union.c_true-unreach-call_1.i |
unreach-call |
unknown |
6.76 |
5.73 |
unknown |
180789248 |
23,26 |
node-19 |
6.20 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/ldv-regression/test_union_cast-1_true-unreach-call.i |
unreach-call |
true |
6.02 |
5.47 |
correct |
169971712 |
23,26 |
node-05 |
5.91 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/ldv-regression/test_union_cast-2_true-unreach-call.i |
unreach-call |
true |
6.02 |
4.99 |
correct |
176836608 |
23,26 |
node-15 |
5.41 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/ldv-regression/test_union_cast.c_true-unreach-call.i |
unreach-call |
true |
5.46 |
4.99 |
correct |
174436352 |
33,39 |
node-11 |
5.72 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/ldv-regression/test_union_cast.c_true-unreach-call_1.i |
unreach-call |
true |
5.41 |
5.91 |
correct |
172568576 |
41,45 |
node-02 |
6.35 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/ldv-regression/volatile_alias.c_true-unreach-call.i |
unreach-call |
true |
6.24 |
5.45 |
correct |
171327488 |
23,26 |
node-02 |
5.90 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/ldv-regression/volatile_alias.c_true-unreach-call_1.i |
unreach-call |
true |
5.52 |
10.4 |
correct |
171995136 |
31,32 |
node-09 |
11.5 |
3 |
3000000000 |
0 |
0 |
[Processor{31, core=1, socket=3}, Processor{32, core=2, socket=3}] |
{3=3.0 GB} |
benchmarks/ddv-machzwd/ddv_machzwd_all_false-unreach-call.i |
unreach-call |
false(reach) |
36.1 |
28.5 |
correct |
530038784 |
23,26 |
node-14 |
29.0 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/ddv-machzwd/ddv_machzwd_inw_false-unreach-call.i |
unreach-call |
false(reach) |
18.9 |
15.8 |
correct |
527749120 |
23,26 |
node-21 |
16.4 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/ddv-machzwd/ddv_machzwd_outb_false-unreach-call.i |
unreach-call |
false(reach) |
35.5 |
23.2 |
correct |
523128832 |
21,25 |
node-18 |
23.7 |
2 |
3000000000 |
0 |
0 |
[Processor{21, core=1, socket=2}, Processor{25, core=16, socket=2}] |
{2=3.0 GB} |
benchmarks/ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call.i |
unreach-call |
true |
14.8 |
12.4 |
correct |
265629696 |
21,25 |
node-18 |
13.0 |
2 |
3000000000 |
0 |
0 |
[Processor{21, core=1, socket=2}, Processor{25, core=16, socket=2}] |
{2=3.0 GB} |
benchmarks/ddv-machzwd/ddv_machzwd_inb_true-unreach-call.i |
unreach-call |
true |
13.9 |
16.9 |
correct |
267964416 |
31,32 |
node-16 |
17.6 |
3 |
3000000000 |
0 |
0 |
[Processor{31, core=1, socket=3}, Processor{32, core=2, socket=3}] |
{3=3.0 GB} |
benchmarks/ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call.i |
unreach-call |
true |
8.43 |
5.34 |
correct |
271261696 |
41,45 |
node-13 |
6.03 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/ddv-machzwd/ddv_machzwd_inl_true-unreach-call.i |
unreach-call |
true |
15.3 |
17.0 |
correct |
270893056 |
23,26 |
node-16 |
17.9 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call.i |
unreach-call |
true |
7.52 |
7.61 |
correct |
272367616 |
33,39 |
node-17 |
8.22 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call.i |
unreach-call |
true |
14.4 |
11.0 |
correct |
272130048 |
33,39 |
node-03 |
11.5 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call.i |
unreach-call |
true |
14.0 |
11.9 |
correct |
273371136 |
36,38 |
node-23 |
13.4 |
3 |
3000000000 |
0 |
0 |
[Processor{36, core=17, socket=3}, Processor{38, core=24, socket=3}] |
{3=3.0 GB} |
benchmarks/ddv-machzwd/ddv_machzwd_outl_true-unreach-call.i |
unreach-call |
true |
8.50 |
5.41 |
correct |
270196736 |
44,49 |
node-13 |
6.99 |
0 |
3000000000 |
0 |
0 |
[Processor{44, core=9, socket=0}, Processor{49, core=25, socket=0}] |
{0=3.0 GB} |
benchmarks/ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call.i |
unreach-call |
true |
13.6 |
14.4 |
correct |
269824000 |
42,47 |
node-02 |
14.8 |
0 |
3000000000 |
0 |
0 |
[Processor{42, core=2, socket=0}, Processor{47, core=18, socket=0}] |
{0=3.0 GB} |
benchmarks/ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call.i |
unreach-call |
true |
11.0 |
6.52 |
correct |
274763776 |
43,48 |
node-25 |
8.57 |
0 |
3000000000 |
0 |
0 |
[Processor{43, core=8, socket=0}, Processor{48, core=24, socket=0}] |
{0=3.0 GB} |
benchmarks/loops/array_false-unreach-call.i |
unreach-call |
false(reach) |
7.00 |
12.7 |
correct |
199380992 |
41,45 |
node-23 |
13.8 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/loops/bubble_sort_false-unreach-call.i |
unreach-call |
false(reach) |
8.25 |
10.8 |
correct |
213385216 |
44,49 |
node-21 |
11.6 |
0 |
3000000000 |
0 |
0 |
[Processor{44, core=9, socket=0}, Processor{49, core=25, socket=0}] |
{0=3.0 GB} |
benchmarks/loops/count_up_down_false-unreach-call_true-termination.i |
unreach-call |
false(reach) |
3.53 |
2.52 |
correct |
187285504 |
21,25 |
node-24 |
3.33 |
2 |
3000000000 |
0 |
0 |
[Processor{21, core=1, socket=2}, Processor{25, core=16, socket=2}] |
{2=3.0 GB} |
benchmarks/loops/eureka_01_false-unreach-call.i |
unreach-call |
timeout |
62.7 |
49.3 |
error |
682786816 |
40,46 |
node-16 |
50.2 |
0 |
3000000000 |
0 |
0 |
[Processor{40, core=0, socket=0}, Processor{46, core=17, socket=0}] |
{0=3.0 GB} |
benchmarks/loops/for_bounded_loop1_false-unreach-call_true-termination.i |
unreach-call |
false(reach) |
7.77 |
8.61 |
correct |
192212992 |
41,45 |
node-06 |
9.07 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/loops/insertion_sort_false-unreach-call.i |
unreach-call |
timeout |
61.3 |
37.8 |
error |
706121728 |
33,39 |
node-06 |
38.3 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/loops/invert_string_false-unreach-call.i |
unreach-call |
false(reach) |
15.6 |
10.7 |
correct |
328945664 |
33,39 |
node-15 |
11.4 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/loops/linear_search_false-unreach-call.i |
unreach-call |
unknown |
4.94 |
3.35 |
unknown |
194699264 |
41,45 |
node-25 |
5.43 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/loops/ludcmp_false-unreach-call.i |
unreach-call |
false(reach) |
33.2 |
19.2 |
correct |
689254400 |
41,45 |
node-17 |
20.0 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/loops/matrix_false-unreach-call_true-termination.i |
unreach-call |
false(reach) |
14.3 |
14.4 |
correct |
600739840 |
43,48 |
node-02 |
14.9 |
0 |
3000000000 |
0 |
0 |
[Processor{43, core=8, socket=0}, Processor{48, core=24, socket=0}] |
{0=3.0 GB} |
benchmarks/loops/n.c24_false-unreach-call.i |
unreach-call |
timeout |
61.7 |
39.5 |
error |
696397824 |
23,26 |
node-02 |
40.8 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/loops/nec11_false-unreach-call.i |
unreach-call |
false(reach) |
6.05 |
6.50 |
correct |
188792832 |
41,45 |
node-10 |
7.11 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/loops/nec20_false-unreach-call.i |
unreach-call |
false(reach) |
7.14 |
11.3 |
correct |
186929152 |
23,26 |
node-07 |
11.7 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/loops/s3_false-unreach-call.i |
unreach-call |
false(reach) |
51.1 |
30.9 |
correct |
654028800 |
33,39 |
node-19 |
31.5 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/loops/string_false-unreach-call.i |
unreach-call |
unknown |
10.0 |
6.31 |
unknown |
258428928 |
43,48 |
node-25 |
7.05 |
0 |
3000000000 |
0 |
0 |
[Processor{43, core=8, socket=0}, Processor{48, core=24, socket=0}] |
{0=3.0 GB} |
benchmarks/loops/sum01_bug02_false-unreach-call_true-termination.i |
unreach-call |
false(reach) |
14.6 |
11.9 |
correct |
287145984 |
42,47 |
node-01 |
12.4 |
0 |
3000000000 |
0 |
0 |
[Processor{42, core=2, socket=0}, Processor{47, core=18, socket=0}] |
{0=3.0 GB} |
benchmarks/loops/sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.i |
unreach-call |
false(reach) |
4.87 |
3.27 |
correct |
211161088 |
20,29 |
node-24 |
3.92 |
2 |
3000000000 |
0 |
0 |
[Processor{20, core=0, socket=2}, Processor{29, core=25, socket=2}] |
{2=3.0 GB} |
benchmarks/loops/sum01_false-unreach-call_true-termination.i |
unreach-call |
false(reach) |
15.7 |
13.7 |
correct |
314183680 |
41,45 |
node-15 |
14.1 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/loops/sum03_false-unreach-call_true-termination.i |
unreach-call |
false(reach) |
27.6 |
27.1 |
correct |
430637056 |
40,46 |
node-18 |
27.6 |
0 |
3000000000 |
0 |
0 |
[Processor{40, core=0, socket=0}, Processor{46, core=17, socket=0}] |
{0=3.0 GB} |
benchmarks/loops/sum04_false-unreach-call_true-termination.i |
unreach-call |
false(reach) |
10.9 |
11.2 |
correct |
224108544 |
40,46 |
node-18 |
11.6 |
0 |
3000000000 |
0 |
0 |
[Processor{40, core=0, socket=0}, Processor{46, core=17, socket=0}] |
{0=3.0 GB} |
benchmarks/loops/sum_array_false-unreach-call.i |
unreach-call |
false(reach) |
10.2 |
7.64 |
correct |
239349760 |
23,26 |
node-10 |
8.09 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/loops/terminator_01_false-unreach-call_false-termination.i |
unreach-call |
false(reach) |
6.29 |
4.88 |
correct |
185401344 |
23,26 |
node-22 |
5.35 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/loops/terminator_02_false-unreach-call_true-termination.i |
unreach-call |
false(reach) |
6.22 |
4.91 |
correct |
186761216 |
23,26 |
node-10 |
5.53 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/loops/terminator_03_false-unreach-call_true-termination.i |
unreach-call |
false(reach) |
6.91 |
5.68 |
correct |
188121088 |
33,39 |
node-22 |
6.16 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/loops/verisec_NetBSD-libc__loop_false-unreach-call.i |
unreach-call |
false(reach) |
3.65 |
2.55 |
correct |
189546496 |
20,29 |
node-24 |
3.22 |
2 |
3000000000 |
0 |
0 |
[Processor{20, core=0, socket=2}, Processor{29, core=25, socket=2}] |
{2=3.0 GB} |
benchmarks/loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call.i |
unreach-call |
false(reach) |
9.00 |
8.99 |
correct |
210149376 |
41,45 |
node-02 |
9.40 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call.i |
unreach-call |
true |
5.35 |
3.80 |
wrong |
185745408 |
40,46 |
node-21 |
4.98 |
0 |
3000000000 |
0 |
0 |
[Processor{40, core=0, socket=0}, Processor{46, core=17, socket=0}] |
{0=3.0 GB} |
benchmarks/loops/vogal_false-unreach-call.i |
unreach-call |
false(reach) |
38.4 |
38.6 |
correct |
585027584 |
41,45 |
node-20 |
39.2 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/loops/while_infinite_loop_4_false-unreach-call_true-termination.i |
unreach-call |
false(reach) |
7.53 |
5.81 |
correct |
185131008 |
22,27 |
node-06 |
6.22 |
2 |
3000000000 |
0 |
0 |
[Processor{22, core=2, socket=2}, Processor{27, core=18, socket=2}] |
{2=3.0 GB} |
benchmarks/loops/array_true-unreach-call.i |
unreach-call |
true |
7.13 |
7.60 |
correct |
184352768 |
40,46 |
node-08 |
8.13 |
0 |
3000000000 |
0 |
0 |
[Processor{40, core=0, socket=0}, Processor{46, core=17, socket=0}] |
{0=3.0 GB} |
benchmarks/loops/bubble_sort_true-unreach-call.i |
unreach-call |
true |
4.07 |
2.83 |
correct |
178905088 |
20,29 |
node-25 |
5.23 |
2 |
3000000000 |
0 |
0 |
[Processor{20, core=0, socket=2}, Processor{29, core=25, socket=2}] |
{2=3.0 GB} |
benchmarks/loops/count_up_down_true-unreach-call_true-termination.i |
unreach-call |
unknown |
6.53 |
5.55 |
unknown |
186765312 |
24,28 |
node-01 |
6.78 |
2 |
3000000000 |
0 |
0 |
[Processor{24, core=9, socket=2}, Processor{28, core=24, socket=2}] |
{2=3.0 GB} |
benchmarks/loops/eureka_01_true-unreach-call.i |
unreach-call |
timeout |
61.0 |
37.7 |
error |
786636800 |
31,32 |
node-17 |
39.1 |
3 |
3000000000 |
0 |
0 |
[Processor{31, core=1, socket=3}, Processor{32, core=2, socket=3}] |
{3=3.0 GB} |
benchmarks/loops/eureka_05_true-unreach-call.i |
unreach-call |
true |
22.4 |
12.3 |
correct |
641290240 |
20,29 |
node-24 |
13.7 |
2 |
3000000000 |
0 |
0 |
[Processor{20, core=0, socket=2}, Processor{29, core=25, socket=2}] |
{2=3.0 GB} |
benchmarks/loops/for_infinite_loop_1_true-unreach-call_false-termination.i |
unreach-call |
true |
5.97 |
4.98 |
correct |
174936064 |
43,48 |
node-22 |
5.64 |
0 |
3000000000 |
0 |
0 |
[Processor{43, core=8, socket=0}, Processor{48, core=24, socket=0}] |
{0=3.0 GB} |
benchmarks/loops/for_infinite_loop_2_true-unreach-call_false-termination.i |
unreach-call |
true |
3.98 |
2.74 |
correct |
176619520 |
33,39 |
node-25 |
3.77 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/loops/insertion_sort_true-unreach-call.i |
unreach-call |
timeout |
61.3 |
48.2 |
error |
690954240 |
33,39 |
node-20 |
48.8 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/loops/invert_string_true-unreach-call.i |
unreach-call |
true |
36.5 |
24.9 |
correct |
589340672 |
31,32 |
node-18 |
25.6 |
3 |
3000000000 |
0 |
0 |
[Processor{31, core=1, socket=3}, Processor{32, core=2, socket=3}] |
{3=3.0 GB} |
benchmarks/loops/linear_sea.ch_true-unreach-call.i |
unreach-call |
unknown |
7.05 |
7.61 |
unknown |
191647744 |
42,47 |
node-22 |
8.06 |
0 |
3000000000 |
0 |
0 |
[Processor{42, core=2, socket=0}, Processor{47, core=18, socket=0}] |
{0=3.0 GB} |
benchmarks/loops/lu.cmp_true-unreach-call.i |
unreach-call |
timeout |
61.6 |
58.7 |
error |
683847680 |
33,39 |
node-07 |
59.2 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/loops/matrix_true-unreach-call_true-termination.i |
unreach-call |
true |
14.1 |
16.2 |
correct |
292433920 |
41,45 |
node-09 |
16.8 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/loops/n.c11_true-unreach-call.i |
unreach-call |
true |
8.04 |
6.31 |
correct |
200974336 |
23,26 |
node-15 |
6.76 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/loops/n.c40_true-unreach-call.i |
unreach-call |
true |
6.90 |
6.57 |
correct |
189440000 |
33,39 |
node-16 |
7.49 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/loops/nec40_true-unreach-call.i |
unreach-call |
true |
4.48 |
8.30 |
correct |
185405440 |
23,26 |
node-21 |
8.84 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/loops/string_true-unreach-call.i |
unreach-call |
true |
5.33 |
9.57 |
correct |
178237440 |
22,27 |
node-01 |
12.1 |
2 |
3000000000 |
0 |
0 |
[Processor{22, core=2, socket=2}, Processor{27, core=18, socket=2}] |
{2=3.0 GB} |
benchmarks/loops/sum01_true-unreach-call_true-termination.i |
unreach-call |
true |
6.48 |
5.72 |
correct |
180387840 |
33,39 |
node-08 |
6.62 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/loops/sum03_true-unreach-call_false-termination.i |
unreach-call |
true |
5.82 |
5.34 |
correct |
177311744 |
33,39 |
node-11 |
5.74 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/loops/sum04_true-unreach-call_true-termination.i |
unreach-call |
true |
12.4 |
8.58 |
correct |
257708032 |
23,26 |
node-12 |
9.22 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/loops/sum_array_true-unreach-call.i |
unreach-call |
timeout |
61.6 |
43.2 |
error |
700084224 |
41,45 |
node-14 |
43.7 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/loops/terminator_02_true-unreach-call_true-termination.i |
unreach-call |
true |
3.50 |
2.55 |
correct |
180269056 |
41,45 |
node-13 |
3.24 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/loops/terminator_03_true-unreach-call_true-termination.i |
unreach-call |
true |
4.64 |
3.13 |
correct |
174551040 |
41,45 |
node-25 |
4.07 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/loops/veris.c_NetBSD-libc__loop_true-unreach-call.i |
unreach-call |
true |
6.80 |
5.35 |
correct |
181841920 |
23,26 |
node-14 |
5.86 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/loops/veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call.i |
unreach-call |
true |
6.36 |
5.82 |
correct |
177135616 |
33,39 |
node-04 |
6.24 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/loops/veris.c_sendmail__tTflag_arr_one_loop_true-unreach-call.i |
unreach-call |
true |
5.95 |
5.32 |
correct |
174772224 |
40,46 |
node-18 |
5.86 |
0 |
3000000000 |
0 |
0 |
[Processor{40, core=0, socket=0}, Processor{46, core=17, socket=0}] |
{0=3.0 GB} |
benchmarks/loops/vogal_true-unreach-call.i |
unreach-call |
timeout |
61.6 |
50.8 |
error |
691703808 |
43,48 |
node-22 |
51.6 |
0 |
3000000000 |
0 |
0 |
[Processor{43, core=8, socket=0}, Processor{48, core=24, socket=0}] |
{0=3.0 GB} |
benchmarks/loops/while_infinite_loop_1_true-unreach-call_false-termination.i |
unreach-call |
true |
6.61 |
5.60 |
correct |
180883456 |
24,28 |
node-07 |
6.09 |
2 |
3000000000 |
0 |
0 |
[Processor{24, core=9, socket=2}, Processor{28, core=24, socket=2}] |
{2=3.0 GB} |
benchmarks/loops/while_infinite_loop_2_true-unreach-call_false-termination.i |
unreach-call |
true |
6.02 |
4.63 |
correct |
177565696 |
23,26 |
node-15 |
5.16 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/loops/while_infinite_loop_3_true-unreach-call_false-termination.i |
unreach-call |
true |
5.84 |
11.0 |
correct |
175636480 |
41,45 |
node-16 |
11.4 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/loop-acceleration/array_false-unreach-call1.i |
unreach-call |
timeout |
61.6 |
62.2 |
error |
678350848 |
41,45 |
node-10 |
62.7 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/loop-acceleration/array_false-unreach-call2.i |
unreach-call |
timeout |
61.4 |
58.7 |
error |
706359296 |
41,45 |
node-16 |
59.3 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/loop-acceleration/array_false-unreach-call3.i |
unreach-call |
timeout |
60.8 |
41.4 |
error |
763715584 |
33,39 |
node-25 |
42.3 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/loop-acceleration/const_false-unreach-call1.i |
unreach-call |
timeout |
60.9 |
43.1 |
error |
791494656 |
33,39 |
node-25 |
45.0 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/loop-acceleration/diamond_false-unreach-call1.i |
unreach-call |
timeout |
61.8 |
51.3 |
error |
686022656 |
41,45 |
node-15 |
51.7 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/loop-acceleration/functions_false-unreach-call1.i |
unreach-call |
timeout |
61.3 |
40.8 |
error |
684371968 |
41,45 |
node-03 |
41.4 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/loop-acceleration/multivar_false-unreach-call1.i |
unreach-call |
false(reach) |
6.38 |
6.69 |
correct |
184561664 |
41,45 |
node-06 |
7.27 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/loop-acceleration/nested_false-unreach-call1.i |
unreach-call |
timeout |
61.1 |
39.3 |
error |
762789888 |
41,45 |
node-25 |
40.0 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/loop-acceleration/phases_false-unreach-call1.i |
unreach-call |
timeout |
61.6 |
62.4 |
error |
689238016 |
41,45 |
node-04 |
62.9 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/loop-acceleration/phases_false-unreach-call2.i |
unreach-call |
false(reach) |
6.36 |
10.4 |
correct |
186605568 |
40,46 |
node-01 |
12.4 |
0 |
3000000000 |
0 |
0 |
[Processor{40, core=0, socket=0}, Processor{46, core=17, socket=0}] |
{0=3.0 GB} |
benchmarks/loop-acceleration/simple_false-unreach-call1.i |
unreach-call |
timeout |
61.6 |
46.1 |
error |
680824832 |
23,26 |
node-05 |
46.8 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/loop-acceleration/simple_false-unreach-call2.i |
unreach-call |
false(reach) |
3.53 |
3.63 |
correct |
185204736 |
23,26 |
node-13 |
4.41 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/loop-acceleration/simple_false-unreach-call3.i |
unreach-call |
false(reach) |
3.46 |
3.57 |
correct |
190648320 |
33,39 |
node-17 |
4.64 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/loop-acceleration/simple_false-unreach-call4.i |
unreach-call |
timeout |
61.4 |
53.0 |
error |
706465792 |
42,47 |
node-22 |
53.6 |
0 |
3000000000 |
0 |
0 |
[Processor{42, core=2, socket=0}, Processor{47, core=18, socket=0}] |
{0=3.0 GB} |
benchmarks/loop-acceleration/underapprox_false-unreach-call1.i |
unreach-call |
false(reach) |
4.50 |
3.23 |
correct |
202309632 |
21,25 |
node-25 |
5.53 |
2 |
3000000000 |
0 |
0 |
[Processor{21, core=1, socket=2}, Processor{25, core=16, socket=2}] |
{2=3.0 GB} |
benchmarks/loop-acceleration/underapprox_false-unreach-call2.i |
unreach-call |
false(reach) |
4.85 |
3.35 |
correct |
199991296 |
21,25 |
node-25 |
4.30 |
2 |
3000000000 |
0 |
0 |
[Processor{21, core=1, socket=2}, Processor{25, core=16, socket=2}] |
{2=3.0 GB} |
benchmarks/loop-acceleration/array_true-unreach-call1.i |
unreach-call |
timeout |
61.3 |
44.4 |
error |
696438784 |
44,49 |
node-16 |
44.9 |
0 |
3000000000 |
0 |
0 |
[Processor{44, core=9, socket=0}, Processor{49, core=25, socket=0}] |
{0=3.0 GB} |
benchmarks/loop-acceleration/array_true-unreach-call2.i |
unreach-call |
timeout |
61.9 |
37.0 |
error |
684359680 |
23,26 |
node-18 |
37.6 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/loop-acceleration/array_true-unreach-call3.i |
unreach-call |
true |
7.13 |
11.4 |
correct |
178515968 |
23,26 |
node-16 |
11.8 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/loop-acceleration/array_true-unreach-call4.i |
unreach-call |
timeout |
61.1 |
40.0 |
error |
776634368 |
43,48 |
node-25 |
41.8 |
0 |
3000000000 |
0 |
0 |
[Processor{43, core=8, socket=0}, Processor{48, core=24, socket=0}] |
{0=3.0 GB} |
benchmarks/loop-acceleration/const_true-unreach-call1.i |
unreach-call |
true |
5.70 |
5.09 |
correct |
175476736 |
43,48 |
node-22 |
5.69 |
0 |
3000000000 |
0 |
0 |
[Processor{43, core=8, socket=0}, Processor{48, core=24, socket=0}] |
{0=3.0 GB} |
benchmarks/loop-acceleration/diamond_true-unreach-call1.i |
unreach-call |
timeout |
60.8 |
42.0 |
error |
790372352 |
41,45 |
node-13 |
42.6 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/loop-acceleration/diamond_true-unreach-call2.i |
unreach-call |
true |
19.3 |
12.0 |
correct |
446525440 |
30,37 |
node-12 |
13.2 |
3 |
3000000000 |
0 |
0 |
[Processor{30, core=0, socket=3}, Processor{37, core=18, socket=3}] |
{3=3.0 GB} |
benchmarks/loop-acceleration/functions_true-unreach-call1.i |
unreach-call |
timeout |
61.2 |
36.0 |
error |
644268032 |
23,26 |
node-05 |
36.4 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/loop-acceleration/multivar_true-unreach-call1.i |
unreach-call |
true |
6.36 |
12.1 |
correct |
178860032 |
23,26 |
node-09 |
13.7 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/loop-acceleration/nested_true-unreach-call1.i |
unreach-call |
timeout |
61.1 |
41.9 |
error |
786767872 |
23,26 |
node-24 |
42.5 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/loop-acceleration/overflow_true-unreach-call1.i |
unreach-call |
true |
6.32 |
6.85 |
correct |
173264896 |
40,46 |
node-22 |
7.33 |
0 |
3000000000 |
0 |
0 |
[Processor{40, core=0, socket=0}, Processor{46, core=17, socket=0}] |
{0=3.0 GB} |
benchmarks/loop-acceleration/phases_true-unreach-call1.i |
unreach-call |
timeout |
61.4 |
51.4 |
error |
676024320 |
44,49 |
node-08 |
51.9 |
0 |
3000000000 |
0 |
0 |
[Processor{44, core=9, socket=0}, Processor{49, core=25, socket=0}] |
{0=3.0 GB} |
benchmarks/loop-acceleration/phases_true-unreach-call2.i |
unreach-call |
unknown |
7.24 |
5.88 |
unknown |
187076608 |
33,39 |
node-18 |
6.26 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/loop-acceleration/simple_true-unreach-call1.i |
unreach-call |
timeout |
62.1 |
37.3 |
error |
639660032 |
22,27 |
node-06 |
37.8 |
2 |
3000000000 |
0 |
0 |
[Processor{22, core=2, socket=2}, Processor{27, core=18, socket=2}] |
{2=3.0 GB} |
benchmarks/loop-acceleration/simple_true-unreach-call2.i |
unreach-call |
true |
6.02 |
4.71 |
correct |
174702592 |
33,39 |
node-12 |
5.80 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/loop-acceleration/simple_true-unreach-call3.i |
unreach-call |
timeout |
61.6 |
40.5 |
error |
695775232 |
20,29 |
node-18 |
41.0 |
2 |
3000000000 |
0 |
0 |
[Processor{20, core=0, socket=2}, Processor{29, core=25, socket=2}] |
{2=3.0 GB} |
benchmarks/loop-acceleration/simple_true-unreach-call4.i |
unreach-call |
timeout |
61.7 |
60.8 |
error |
705159168 |
43,48 |
node-22 |
61.3 |
0 |
3000000000 |
0 |
0 |
[Processor{43, core=8, socket=0}, Processor{48, core=24, socket=0}] |
{0=3.0 GB} |
benchmarks/loop-acceleration/underapprox_true-unreach-call1.i |
unreach-call |
true |
5.99 |
4.04 |
correct |
226988032 |
23,26 |
node-21 |
4.59 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/loop-acceleration/underapprox_true-unreach-call2.i |
unreach-call |
true |
6.72 |
7.29 |
correct |
187072512 |
41,45 |
node-05 |
7.73 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/loop-invgen/id_trans_false-unreach-call.i |
unreach-call |
false(reach) |
6.60 |
7.21 |
correct |
188719104 |
41,45 |
node-01 |
7.71 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/loop-invgen/MADWiFi-encode_ie_ok_true-unreach-call.i |
unreach-call |
true |
6.79 |
4.87 |
correct |
180813824 |
41,45 |
node-11 |
5.35 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/loop-invgen/NetBSD_loop_true-unreach-call.i |
unreach-call |
true |
7.91 |
7.00 |
correct |
182755328 |
23,26 |
node-06 |
7.50 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/loop-invgen/SpamAssassin-loop_true-unreach-call.i |
unreach-call |
true |
7.50 |
6.34 |
correct |
196169728 |
41,45 |
node-15 |
6.76 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/loop-invgen/apache-escape-absolute_true-unreach-call.i |
unreach-call |
true |
8.15 |
7.29 |
correct |
199528448 |
33,39 |
node-20 |
7.69 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/loop-invgen/apache-get-tag_true-unreach-call.i |
unreach-call |
true |
7.69 |
6.52 |
correct |
180482048 |
33,39 |
node-18 |
6.94 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/loop-invgen/down_true-unreach-call.i |
unreach-call |
timeout |
61.3 |
50.0 |
error |
685273088 |
40,46 |
node-09 |
50.4 |
0 |
3000000000 |
0 |
0 |
[Processor{40, core=0, socket=0}, Processor{46, core=17, socket=0}] |
{0=3.0 GB} |
benchmarks/loop-invgen/fragtest_simple_true-unreach-call.i |
unreach-call |
timeout |
61.7 |
51.4 |
error |
691449856 |
23,26 |
node-09 |
52.0 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/loop-invgen/half_2_true-unreach-call.i |
unreach-call |
timeout |
60.9 |
38.1 |
error |
783982592 |
42,47 |
node-25 |
38.8 |
0 |
3000000000 |
0 |
0 |
[Processor{42, core=2, socket=0}, Processor{47, core=18, socket=0}] |
{0=3.0 GB} |
benchmarks/loop-invgen/heapsort_true-unreach-call.i |
unreach-call |
true |
15.9 |
18.7 |
correct |
310644736 |
41,45 |
node-03 |
19.4 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/loop-invgen/id_build_true-unreach-call.i |
unreach-call |
true |
7.13 |
6.75 |
correct |
173969408 |
23,26 |
node-06 |
7.23 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/loop-invgen/large_const_true-unreach-call.i |
unreach-call |
true |
9.56 |
7.94 |
correct |
218193920 |
24,28 |
node-01 |
8.38 |
2 |
3000000000 |
0 |
0 |
[Processor{24, core=9, socket=2}, Processor{28, core=24, socket=2}] |
{2=3.0 GB} |
benchmarks/loop-invgen/nest-if3_true-unreach-call.i |
unreach-call |
true |
10.6 |
13.4 |
correct |
224706560 |
33,39 |
node-04 |
13.8 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/loop-invgen/nested6_true-unreach-call.i |
unreach-call |
true |
18.1 |
10.2 |
correct |
572059648 |
20,29 |
node-25 |
11.4 |
2 |
3000000000 |
0 |
0 |
[Processor{20, core=0, socket=2}, Processor{29, core=25, socket=2}] |
{2=3.0 GB} |
benchmarks/loop-invgen/nested9_true-unreach-call.i |
unreach-call |
true |
50.3 |
29.8 |
correct |
660070400 |
30,37 |
node-18 |
30.3 |
3 |
3000000000 |
0 |
0 |
[Processor{30, core=0, socket=3}, Processor{37, core=18, socket=3}] |
{3=3.0 GB} |
benchmarks/loop-invgen/sendmail-close-angle_true-unreach-call.i |
unreach-call |
true |
9.39 |
6.55 |
correct |
204546048 |
23,26 |
node-10 |
6.99 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/loop-invgen/seq_true-unreach-call.i |
unreach-call |
timeout |
61.6 |
46.5 |
error |
674004992 |
34,35 |
node-23 |
47.3 |
3 |
3000000000 |
0 |
0 |
[Processor{34, core=9, socket=3}, Processor{35, core=16, socket=3}] |
{3=3.0 GB} |
benchmarks/loop-invgen/string_concat-noarr_true-unreach-call.i |
unreach-call |
timeout |
61.8 |
40.1 |
error |
806772736 |
21,25 |
node-25 |
40.8 |
2 |
3000000000 |
0 |
0 |
[Processor{21, core=1, socket=2}, Processor{25, core=16, socket=2}] |
{2=3.0 GB} |
benchmarks/loop-invgen/up_true-unreach-call.i |
unreach-call |
timeout |
61.6 |
39.7 |
error |
686010368 |
23,26 |
node-16 |
40.2 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/loop-lit/afnp2014_true-unreach-call.c.i |
unreach-call |
timeout |
61.1 |
61.5 |
error |
770633728 |
42,47 |
node-02 |
61.9 |
0 |
3000000000 |
0 |
0 |
[Processor{42, core=2, socket=0}, Processor{47, core=18, socket=0}] |
{0=3.0 GB} |
benchmarks/loop-lit/bhmr2007_true-unreach-call.c.i |
unreach-call |
true |
5.28 |
9.63 |
correct |
172195840 |
41,45 |
node-05 |
10.1 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/loop-lit/cggmp2005_true-unreach-call.c.i |
unreach-call |
true |
8.43 |
7.05 |
correct |
199225344 |
33,39 |
node-08 |
7.51 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/loop-lit/cggmp2005_variant_true-unreach-call.c.i |
unreach-call |
true |
6.64 |
6.21 |
correct |
177721344 |
20,29 |
node-18 |
6.90 |
2 |
3000000000 |
0 |
0 |
[Processor{20, core=0, socket=2}, Processor{29, core=25, socket=2}] |
{2=3.0 GB} |
benchmarks/loop-lit/cggmp2005b_true-unreach-call.c.i |
unreach-call |
true |
4.50 |
3.06 |
correct |
183029760 |
41,45 |
node-25 |
3.93 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/loop-lit/css2003_true-unreach-call.c.i |
unreach-call |
true |
6.25 |
5.53 |
correct |
181182464 |
42,47 |
node-01 |
5.99 |
0 |
3000000000 |
0 |
0 |
[Processor{42, core=2, socket=0}, Processor{47, core=18, socket=0}] |
{0=3.0 GB} |
benchmarks/loop-lit/ddlm2013_true-unreach-call.c.i |
unreach-call |
timeout |
61.5 |
45.1 |
error |
702283776 |
30,37 |
node-18 |
45.6 |
3 |
3000000000 |
0 |
0 |
[Processor{30, core=0, socket=3}, Processor{37, core=18, socket=3}] |
{3=3.0 GB} |
benchmarks/loop-lit/gj2007_true-unreach-call.c.i |
unreach-call |
timeout |
61.6 |
43.7 |
error |
782684160 |
23,26 |
node-21 |
44.3 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/loop-lit/gj2007b_true-unreach-call.c.i |
unreach-call |
true |
4.07 |
2.96 |
correct |
189644800 |
30,37 |
node-17 |
4.00 |
3 |
3000000000 |
0 |
0 |
[Processor{30, core=0, socket=3}, Processor{37, core=18, socket=3}] |
{3=3.0 GB} |
benchmarks/loop-lit/gr2006_true-unreach-call.c.i |
unreach-call |
timeout |
61.7 |
42.5 |
error |
686034944 |
22,27 |
node-07 |
42.9 |
2 |
3000000000 |
0 |
0 |
[Processor{22, core=2, socket=2}, Processor{27, core=18, socket=2}] |
{2=3.0 GB} |
benchmarks/loop-lit/gsv2008_true-unreach-call.c.i |
unreach-call |
true |
4.53 |
2.97 |
correct |
204410880 |
41,45 |
node-24 |
3.64 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/loop-lit/hhk2008_true-unreach-call.c.i |
unreach-call |
true |
5.45 |
16.0 |
correct |
169111552 |
24,28 |
node-09 |
16.5 |
2 |
3000000000 |
0 |
0 |
[Processor{24, core=9, socket=2}, Processor{28, core=24, socket=2}] |
{2=3.0 GB} |
benchmarks/loop-lit/jm2006_true-unreach-call.c.i |
unreach-call |
true |
6.43 |
6.64 |
correct |
189206528 |
43,48 |
node-01 |
7.73 |
0 |
3000000000 |
0 |
0 |
[Processor{43, core=8, socket=0}, Processor{48, core=24, socket=0}] |
{0=3.0 GB} |
benchmarks/loop-lit/jm2006_variant_true-unreach-call.c.i |
unreach-call |
true |
8.84 |
7.04 |
correct |
195432448 |
33,39 |
node-18 |
7.76 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/loop-lit/mcmillan2006_true-unreach-call.c.i |
unreach-call |
false(reach) |
11.0 |
8.65 |
wrong |
242024448 |
22,27 |
node-01 |
9.16 |
2 |
3000000000 |
0 |
0 |
[Processor{22, core=2, socket=2}, Processor{27, core=18, socket=2}] |
{2=3.0 GB} |
benchmarks/loop-new/count_by_1_true-unreach-call.i |
unreach-call |
timeout |
61.1 |
42.8 |
error |
795045888 |
33,39 |
node-13 |
44.3 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/loop-new/count_by_1_variant_true-unreach-call.i |
unreach-call |
timeout |
60.6 |
42.5 |
error |
793186304 |
33,39 |
node-24 |
43.9 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/loop-new/count_by_2_true-unreach-call.i |
unreach-call |
timeout |
61.5 |
37.9 |
error |
684523520 |
23,26 |
node-12 |
38.5 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/loop-new/count_by_k_true-unreach-call.i |
unreach-call |
timeout |
61.3 |
59.2 |
error |
722268160 |
33,39 |
node-09 |
59.7 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/loop-new/count_by_nondet_true-unreach-call.i |
unreach-call |
timeout |
61.3 |
37.8 |
error |
680259584 |
41,45 |
node-21 |
38.4 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/loop-new/gauss_sum_true-unreach-call.i |
unreach-call |
unknown |
3.62 |
3.75 |
unknown |
189317120 |
23,26 |
node-25 |
6.07 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/loop-new/half_true-unreach-call.i |
unreach-call |
true |
12.5 |
8.14 |
correct |
260767744 |
23,26 |
node-15 |
8.55 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/loop-new/nested_true-unreach-call.i |
unreach-call |
timeout |
61.4 |
43.3 |
error |
693624832 |
33,39 |
node-21 |
44.1 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/systemc/kundu1_false-unreach-call_false-termination.cil.c |
unreach-call |
false(reach) |
55.0 |
32.4 |
correct |
650887168 |
23,26 |
node-12 |
33.1 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/systemc/kundu2_false-unreach-call_false-termination.cil.c |
unreach-call |
false(reach) |
42.5 |
26.8 |
correct |
646217728 |
33,39 |
node-11 |
27.2 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c |
unreach-call |
false(reach) |
7.13 |
5.74 |
correct |
191803392 |
23,26 |
node-22 |
6.19 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c |
unreach-call |
false(reach) |
8.30 |
12.3 |
correct |
201273344 |
23,26 |
node-16 |
13.3 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/systemc/pipeline_false-unreach-call_false-termination.cil.c |
unreach-call |
timeout |
62.2 |
45.4 |
error |
709849088 |
31,32 |
node-23 |
46.7 |
3 |
3000000000 |
0 |
0 |
[Processor{31, core=1, socket=3}, Processor{32, core=2, socket=3}] |
{3=3.0 GB} |
benchmarks/systemc/token_ring.01_false-unreach-call_false-termination.cil.c |
unreach-call |
false(reach) |
9.86 |
5.88 |
correct |
291770368 |
21,25 |
node-25 |
6.51 |
2 |
3000000000 |
0 |
0 |
[Processor{21, core=1, socket=2}, Processor{25, core=16, socket=2}] |
{2=3.0 GB} |
benchmarks/systemc/token_ring.02_false-unreach-call_false-termination.cil.c |
unreach-call |
false(reach) |
19.5 |
11.0 |
correct |
447856640 |
42,47 |
node-25 |
12.9 |
0 |
3000000000 |
0 |
0 |
[Processor{42, core=2, socket=0}, Processor{47, core=18, socket=0}] |
{0=3.0 GB} |
benchmarks/systemc/token_ring.03_false-unreach-call_false-termination.cil.c |
unreach-call |
false(reach) |
37.9 |
25.1 |
correct |
624508928 |
33,39 |
node-18 |
25.7 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/systemc/token_ring.04_false-unreach-call_false-termination.cil.c |
unreach-call |
false(reach) |
39.7 |
25.1 |
correct |
656240640 |
24,28 |
node-10 |
25.6 |
2 |
3000000000 |
0 |
0 |
[Processor{24, core=9, socket=2}, Processor{28, core=24, socket=2}] |
{2=3.0 GB} |
benchmarks/systemc/token_ring.05_false-unreach-call_false-termination.cil.c |
unreach-call |
false(reach) |
28.0 |
17.6 |
correct |
673067008 |
23,26 |
node-24 |
19.5 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/systemc/token_ring.06_false-unreach-call_false-termination.cil.c |
unreach-call |
false(reach) |
42.9 |
30.1 |
correct |
680189952 |
41,45 |
node-13 |
30.7 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/systemc/token_ring.07_false-unreach-call_false-termination.cil.c |
unreach-call |
timeout |
61.4 |
50.8 |
error |
679190528 |
30,37 |
node-23 |
51.4 |
3 |
3000000000 |
0 |
0 |
[Processor{30, core=0, socket=3}, Processor{37, core=18, socket=3}] |
{3=3.0 GB} |
benchmarks/systemc/token_ring.08_false-unreach-call_false-termination.cil.c |
unreach-call |
timeout |
61.2 |
62.1 |
error |
686952448 |
41,45 |
node-22 |
62.6 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/systemc/token_ring.09_false-unreach-call_false-termination.cil.c |
unreach-call |
timeout |
61.8 |
50.9 |
error |
663207936 |
23,26 |
node-04 |
51.4 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/systemc/token_ring.10_false-unreach-call_false-termination.cil.c |
unreach-call |
timeout |
61.5 |
49.2 |
error |
698454016 |
41,45 |
node-12 |
50.3 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/systemc/token_ring.11_false-unreach-call_false-termination.cil.c |
unreach-call |
timeout |
71.2 |
56.3 |
error |
684777472 |
23,26 |
node-20 |
56.8 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/systemc/token_ring.12_false-unreach-call_false-termination.cil.c |
unreach-call |
timeout |
71.9 |
72.3 |
error |
689000448 |
40,46 |
node-01 |
73.7 |
0 |
3000000000 |
256 |
1 |
[Processor{40, core=0, socket=0}, Processor{46, core=17, socket=0}] |
{0=3.0 GB} |
benchmarks/systemc/token_ring.13_false-unreach-call_false-termination.cil.c |
unreach-call |
timeout |
65.8 |
57.6 |
error |
729583616 |
33,39 |
node-17 |
58.3 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/systemc/token_ring.14_false-unreach-call_false-termination.cil.c |
unreach-call |
timeout |
60.9 |
46.9 |
error |
739573760 |
33,39 |
node-24 |
48.8 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/systemc/token_ring.15_false-unreach-call_false-termination.cil.c |
unreach-call |
timeout |
61.5 |
49.1 |
error |
626917376 |
23,26 |
node-19 |
50.0 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/systemc/toy1_false-unreach-call_false-termination.cil.c |
unreach-call |
timeout |
61.5 |
41.0 |
error |
670289920 |
23,26 |
node-18 |
41.9 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/systemc/toy2_false-unreach-call_false-termination.cil.c |
unreach-call |
false(reach) |
36.3 |
23.4 |
correct |
689537024 |
41,45 |
node-24 |
24.2 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/systemc/transmitter.01_false-unreach-call_false-termination.cil.c |
unreach-call |
false(reach) |
9.64 |
8.21 |
correct |
216469504 |
22,27 |
node-10 |
8.74 |
2 |
3000000000 |
0 |
0 |
[Processor{22, core=2, socket=2}, Processor{27, core=18, socket=2}] |
{2=3.0 GB} |
benchmarks/systemc/transmitter.02_false-unreach-call_false-termination.cil.c |
unreach-call |
false(reach) |
15.8 |
11.2 |
correct |
266870784 |
33,39 |
node-08 |
11.6 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/systemc/transmitter.03_false-unreach-call_false-termination.cil.c |
unreach-call |
false(reach) |
18.1 |
19.1 |
correct |
305803264 |
41,45 |
node-20 |
20.0 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/systemc/transmitter.04_false-unreach-call_false-termination.cil.c |
unreach-call |
false(reach) |
23.9 |
15.4 |
correct |
380989440 |
33,39 |
node-15 |
15.8 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/systemc/transmitter.05_false-unreach-call_false-termination.cil.c |
unreach-call |
false(reach) |
29.5 |
21.4 |
correct |
516579328 |
33,39 |
node-04 |
21.8 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/systemc/transmitter.06_false-unreach-call_false-termination.cil.c |
unreach-call |
false(reach) |
34.1 |
34.6 |
correct |
642469888 |
41,45 |
node-18 |
35.3 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/systemc/transmitter.07_false-unreach-call_false-termination.cil.c |
unreach-call |
false(reach) |
42.4 |
34.6 |
correct |
655482880 |
33,39 |
node-14 |
35.1 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/systemc/transmitter.08_false-unreach-call_false-termination.cil.c |
unreach-call |
timeout |
62.5 |
42.4 |
error |
685940736 |
23,26 |
node-06 |
43.0 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/systemc/transmitter.09_false-unreach-call_false-termination.cil.c |
unreach-call |
timeout |
63.3 |
60.5 |
error |
694886400 |
41,45 |
node-07 |
60.9 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/systemc/transmitter.10_false-unreach-call_false-termination.cil.c |
unreach-call |
false(reach) |
46.8 |
30.2 |
correct |
685371392 |
21,25 |
node-25 |
30.9 |
2 |
3000000000 |
0 |
0 |
[Processor{21, core=1, socket=2}, Processor{25, core=16, socket=2}] |
{2=3.0 GB} |
benchmarks/systemc/transmitter.11_false-unreach-call_false-termination.cil.c |
unreach-call |
timeout |
63.3 |
47.2 |
error |
749387776 |
41,45 |
node-17 |
47.9 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/systemc/transmitter.12_false-unreach-call_false-termination.cil.c |
unreach-call |
timeout |
61.1 |
47.2 |
error |
731099136 |
40,46 |
node-13 |
47.9 |
0 |
3000000000 |
0 |
0 |
[Processor{40, core=0, socket=0}, Processor{46, core=17, socket=0}] |
{0=3.0 GB} |
benchmarks/systemc/transmitter.13_false-unreach-call_false-termination.cil.c |
unreach-call |
timeout |
62.4 |
56.0 |
error |
655691776 |
41,45 |
node-01 |
56.5 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/systemc/transmitter.15_false-unreach-call_false-termination.cil.c |
unreach-call |
false(reach) |
19.8 |
23.5 |
correct |
315432960 |
44,49 |
node-01 |
26.7 |
0 |
3000000000 |
0 |
0 |
[Processor{44, core=9, socket=0}, Processor{49, core=25, socket=0}] |
{0=3.0 GB} |
benchmarks/systemc/transmitter.16_false-unreach-call_false-termination.cil.c |
unreach-call |
false(reach) |
23.5 |
17.1 |
correct |
322138112 |
23,26 |
node-06 |
17.9 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/systemc/bist_cell_true-unreach-call_false-termination.cil.c |
unreach-call |
true |
10.0 |
6.25 |
correct |
339259392 |
23,26 |
node-24 |
7.08 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/systemc/kundu_true-unreach-call_false-termination.cil.c |
unreach-call |
timeout |
61.8 |
42.1 |
error |
693088256 |
33,39 |
node-02 |
42.6 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c |
unreach-call |
true |
38.6 |
21.5 |
correct |
697462784 |
41,45 |
node-24 |
23.5 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c |
unreach-call |
timeout |
61.3 |
37.6 |
error |
802107392 |
23,26 |
node-17 |
38.3 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c |
unreach-call |
timeout |
61.8 |
38.4 |
error |
677048320 |
23,26 |
node-03 |
39.3 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c |
unreach-call |
timeout |
61.8 |
42.9 |
error |
697569280 |
31,32 |
node-09 |
43.4 |
3 |
3000000000 |
0 |
0 |
[Processor{31, core=1, socket=3}, Processor{32, core=2, socket=3}] |
{3=3.0 GB} |
benchmarks/systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c |
unreach-call |
timeout |
62.8 |
38.5 |
error |
684294144 |
23,26 |
node-06 |
39.0 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c |
unreach-call |
true |
30.0 |
20.8 |
correct |
545865728 |
22,27 |
node-01 |
21.3 |
2 |
3000000000 |
0 |
0 |
[Processor{22, core=2, socket=2}, Processor{27, core=18, socket=2}] |
{2=3.0 GB} |
benchmarks/systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c |
unreach-call |
true |
39.3 |
31.7 |
correct |
633040896 |
33,39 |
node-03 |
32.1 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c |
unreach-call |
true |
8.18 |
8.35 |
correct |
260599808 |
23,26 |
node-13 |
9.70 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/systemc/pipeline_true-unreach-call_false-termination.cil.c |
unreach-call |
timeout |
61.8 |
37.6 |
error |
698118144 |
33,39 |
node-15 |
37.9 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/systemc/token_ring.01_true-unreach-call_false-termination.cil.c |
unreach-call |
true |
30.7 |
20.2 |
correct |
532353024 |
23,26 |
node-02 |
20.6 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/systemc/token_ring.02_true-unreach-call_false-termination.cil.c |
unreach-call |
true |
45.6 |
32.6 |
correct |
707764224 |
21,25 |
node-24 |
33.3 |
2 |
3000000000 |
0 |
0 |
[Processor{21, core=1, socket=2}, Processor{25, core=16, socket=2}] |
{2=3.0 GB} |
benchmarks/systemc/token_ring.04_true-unreach-call_false-termination.cil.c |
unreach-call |
timeout |
62.0 |
43.9 |
error |
765767680 |
33,39 |
node-17 |
44.6 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/systemc/token_ring.05_true-unreach-call_false-termination.cil.c |
unreach-call |
timeout |
61.5 |
54.7 |
error |
673832960 |
44,49 |
node-18 |
55.1 |
0 |
3000000000 |
0 |
0 |
[Processor{44, core=9, socket=0}, Processor{49, core=25, socket=0}] |
{0=3.0 GB} |
benchmarks/systemc/token_ring.06_true-unreach-call_false-termination.cil.c |
unreach-call |
timeout |
61.7 |
56.2 |
error |
666218496 |
44,49 |
node-09 |
56.8 |
0 |
3000000000 |
0 |
0 |
[Processor{44, core=9, socket=0}, Processor{49, core=25, socket=0}] |
{0=3.0 GB} |
benchmarks/systemc/token_ring.07_true-unreach-call_false-termination.cil.c |
unreach-call |
timeout |
61.9 |
50.1 |
error |
675643392 |
33,39 |
node-01 |
50.7 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/systemc/token_ring.08_true-unreach-call_false-termination.cil.c |
unreach-call |
timeout |
61.5 |
53.1 |
error |
682487808 |
33,39 |
node-23 |
53.8 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/systemc/token_ring.09_true-unreach-call_false-termination.cil.c |
unreach-call |
timeout |
61.1 |
49.4 |
error |
676900864 |
23,26 |
node-25 |
50.1 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/systemc/token_ring.10_true-unreach-call_false-termination.cil.c |
unreach-call |
timeout |
67.3 |
67.0 |
error |
699568128 |
41,45 |
node-04 |
67.6 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/systemc/token_ring.11_true-unreach-call_false-termination.cil.c |
unreach-call |
timeout |
61.3 |
46.6 |
error |
744808448 |
44,49 |
node-13 |
47.3 |
0 |
3000000000 |
0 |
0 |
[Processor{44, core=9, socket=0}, Processor{49, core=25, socket=0}] |
{0=3.0 GB} |
benchmarks/systemc/token_ring.12_true-unreach-call_false-termination.cil.c |
unreach-call |
timeout |
61.7 |
49.5 |
error |
631226368 |
33,39 |
node-14 |
50.0 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/systemc/token_ring.13_true-unreach-call_false-termination.cil.c |
unreach-call |
timeout |
61.9 |
48.7 |
error |
660516864 |
23,26 |
node-11 |
49.1 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/systemc/toy_true-unreach-call_false-termination.cil.c |
unreach-call |
timeout |
61.4 |
41.1 |
error |
680914944 |
22,27 |
node-01 |
41.7 |
2 |
3000000000 |
0 |
0 |
[Processor{22, core=2, socket=2}, Processor{27, core=18, socket=2}] |
{2=3.0 GB} |
benchmarks/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_false-unreach-call.cil.out.i.pp.cil.c |
unreach-call |
false(reach) |
38.4 |
21.2 |
correct |
842797056 |
20,29 |
node-25 |
21.9 |
2 |
3000000000 |
0 |
0 |
[Processor{20, core=0, socket=2}, Processor{29, core=25, socket=2}] |
{2=3.0 GB} |
benchmarks/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_true-unreach-call.cil.out.i.pp.cil.c |
unreach-call |
timeout |
62.3 |
40.2 |
error |
840892416 |
23,26 |
node-10 |
40.6 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/ldv-linux-3.0/module_get_put-drivers-block-loop.ko_false-unreach-call.cil.out.i.pp.cil.c |
unreach-call |
timeout |
62.0 |
41.8 |
error |
713359360 |
24,28 |
node-01 |
42.8 |
2 |
3000000000 |
0 |
0 |
[Processor{24, core=9, socket=2}, Processor{28, core=24, socket=2}] |
{2=3.0 GB} |
benchmarks/ldv-linux-3.0/module_get_put-drivers-block-pktcdvd.ko_false-unreach-call.cil.out.i.pp.cil.c |
unreach-call |
timeout |
62.1 |
52.5 |
error |
712716288 |
41,45 |
node-19 |
53.2 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/ldv-linux-3.0/module_get_put-drivers-isdn-gigaset-gigaset.ko_false-unreach-call.cil.out.i.pp.cil.c |
unreach-call |
timeout |
61.9 |
54.5 |
error |
686702592 |
41,45 |
node-20 |
55.0 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/ldv-linux-3.0/module_get_put-drivers-net-ppp_generic.ko_false-unreach-call.cil.out.i.pp.cil.c |
unreach-call |
false(reach) |
58.1 |
36.4 |
correct |
676687872 |
33,39 |
node-16 |
36.9 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/ldv-linux-3.0/module_get_put-drivers-net-wan-farsync.ko_false-unreach-call.cil.out.i.pp.cil.c |
unreach-call |
timeout |
62.0 |
37.9 |
error |
729325568 |
23,26 |
node-22 |
38.4 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/ldv-linux-3.0/module_get_put-drivers-tty-synclink_gt.ko_false-unreach-call.cil.out.i.pp.cil.c |
unreach-call |
timeout |
63.0 |
50.0 |
error |
810278912 |
23,26 |
node-04 |
50.5 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko_false-unreach-call.cil.out.i.pp.cil.c |
unreach-call |
timeout |
62.2 |
50.4 |
error |
787169280 |
41,45 |
node-11 |
50.8 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/ldv-linux-3.0/usb_urb-drivers-hid-usbhid-usbmouse.ko_false-unreach-call.cil.out.i.pp.cil.c |
unreach-call |
false(reach) |
37.5 |
40.3 |
correct |
639975424 |
41,45 |
node-09 |
40.8 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/ldv-linux-3.0/usb_urb-drivers-input-misc-keyspan_remote.ko_false-unreach-call.cil.out.i.pp.cil.c |
unreach-call |
timeout |
61.6 |
38.8 |
error |
690180096 |
33,39 |
node-06 |
39.5 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/ldv-linux-3.0/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko_false-unreach-call.cil.out.i.pp.cil.c |
unreach-call |
false(reach) |
45.0 |
28.5 |
correct |
656740352 |
23,26 |
node-08 |
28.9 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/ldv-linux-3.0/usb_urb-drivers-staging-lirc-lirc_imon.ko_false-unreach-call.cil.out.i.pp.cil.c |
unreach-call |
false(reach) |
41.3 |
34.1 |
correct |
653594624 |
41,45 |
node-23 |
34.6 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/ldv-linux-3.0/usb_urb-drivers-usb-misc-iowarrior.ko_false-unreach-call.cil.out.i.pp.cil.c |
unreach-call |
timeout |
62.0 |
37.6 |
error |
659800064 |
22,27 |
node-06 |
38.1 |
2 |
3000000000 |
0 |
0 |
[Processor{22, core=2, socket=2}, Processor{27, core=18, socket=2}] |
{2=3.0 GB} |
benchmarks/ldv-linux-3.0/module_get_put-drivers-atm-eni.ko_true-unreach-call.cil.out.i.pp.cil.c |
unreach-call |
timeout |
62.3 |
42.6 |
error |
859848704 |
40,46 |
node-21 |
43.1 |
0 |
3000000000 |
0 |
0 |
[Processor{40, core=0, socket=0}, Processor{46, core=17, socket=0}] |
{0=3.0 GB} |
benchmarks/ldv-linux-3.0/module_get_put-drivers-block-paride-pt.ko_true-unreach-call.cil.out.i.pp.cil.c |
unreach-call |
timeout |
62.7 |
55.2 |
error |
920403968 |
30,37 |
node-09 |
55.8 |
3 |
3000000000 |
0 |
0 |
[Processor{30, core=0, socket=3}, Processor{37, core=18, socket=3}] |
{3=3.0 GB} |
benchmarks/ldv-linux-3.0/module_get_put-drivers-bluetooth-btmrvl.ko_true-unreach-call.cil.out.i.pp.cil.c |
unreach-call |
true |
47.9 |
44.2 |
correct |
672198656 |
41,45 |
node-23 |
44.7 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/ldv-linux-3.0/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko_true-unreach-call.cil.out.i.pp.cil.c |
unreach-call |
true |
49.0 |
49.2 |
correct |
665632768 |
41,45 |
node-08 |
49.8 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/ldv-linux-3.0/module_get_put-drivers-hid-hid-magicmouse.ko_true-unreach-call.cil.out.i.pp.cil.c |
unreach-call |
true |
24.7 |
24.3 |
correct |
383295488 |
41,45 |
node-09 |
24.9 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/ldv-linux-3.0/module_get_put-drivers-hwmon-it87.ko_true-unreach-call.cil.out.i.pp.cil.c |
unreach-call |
timeout |
61.9 |
48.5 |
error |
707088384 |
33,39 |
node-05 |
49.3 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/ldv-linux-3.0/module_get_put-drivers-net-atl1c-atl1c.ko_true-unreach-call.cil.out.i.pp.cil.c |
unreach-call |
timeout |
62.0 |
39.7 |
error |
804642816 |
33,39 |
node-13 |
40.5 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/ldv-linux-3.0/module_get_put-drivers-net-pppox.ko_true-unreach-call.cil.out.i.pp.cil.c |
unreach-call |
true |
11.6 |
11.1 |
correct |
240001024 |
41,45 |
node-03 |
12.0 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/ldv-linux-3.0/module_get_put-drivers-net-sis900.ko_true-unreach-call.cil.out.i.pp.cil.c |
unreach-call |
timeout |
62.3 |
59.3 |
error |
791384064 |
41,45 |
node-07 |
59.7 |
0 |
3000000000 |
0 |
0 |
[Processor{41, core=1, socket=0}, Processor{45, core=16, socket=0}] |
{0=3.0 GB} |
benchmarks/ldv-linux-3.0/module_get_put-drivers-scsi-megaraid.ko_true-unreach-call.cil.out.i.pp.cil.c |
unreach-call |
timeout |
63.7 |
45.1 |
error |
774520832 |
33,39 |
node-10 |
46.2 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/ldv-linux-3.0/module_get_put-drivers-staging-et131x-et131x.ko_true-unreach-call.cil.out.i.pp.cil.c |
unreach-call |
timeout |
62.5 |
52.0 |
error |
787709952 |
33,39 |
node-23 |
52.4 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/ldv-linux-3.0/usb_urb-drivers-input-tablet-kbtab.ko_true-unreach-call.cil.out.i.pp.cil.c |
unreach-call |
true |
22.3 |
12.5 |
correct |
637120512 |
20,29 |
node-24 |
13.7 |
2 |
3000000000 |
0 |
0 |
[Processor{20, core=0, socket=2}, Processor{29, core=25, socket=2}] |
{2=3.0 GB} |
benchmarks/ldv-linux-3.0/usb_urb-drivers-media-video-c-qcam.ko_true-unreach-call.cil.out.i.pp.cil.c |
unreach-call |
timeout |
63.2 |
51.0 |
error |
1022537728 |
21,25 |
node-01 |
51.8 |
2 |
3000000000 |
0 |
0 |
[Processor{21, core=1, socket=2}, Processor{25, core=16, socket=2}] |
{2=3.0 GB} |
benchmarks/ldv-linux-3.0/usb_urb-drivers-media-video-msp3400.ko_true-unreach-call.cil.out.i.pp.cil.c |
unreach-call |
timeout |
62.0 |
35.0 |
error |
719216640 |
30,37 |
node-12 |
35.9 |
3 |
3000000000 |
0 |
0 |
[Processor{30, core=0, socket=3}, Processor{37, core=18, socket=3}] |
{3=3.0 GB} |
benchmarks/ldv-linux-3.0/usb_urb-drivers-misc-c2port-core.ko_true-unreach-call.cil.out.i.pp.cil.c |
unreach-call |
true |
47.3 |
31.1 |
correct |
671211520 |
33,39 |
node-02 |
31.7 |
3 |
3000000000 |
0 |
0 |
[Processor{33, core=8, socket=3}, Processor{39, core=25, socket=3}] |
{3=3.0 GB} |
benchmarks/ldv-linux-3.0/usb_urb-drivers-scsi-dc395x.ko_true-unreach-call.cil.out.i.pp.cil.c |
unreach-call |
timeout |
63.5 |
39.8 |
error |
759848960 |
23,26 |
node-23 |
41.2 |
2 |
3000000000 |
0 |
0 |
[Processor{23, core=8, socket=2}, Processor{26, core=17, socket=2}] |
{2=3.0 GB} |
benchmarks/ldv-linux-3.0/usb_urb-drivers-usb-serial-ir-usb.ko_true-unreach-call.cil.out.i.pp.cil.c |
unreach-call |
true |
18.2 |
19.5 |
correct |
303374336 |
24,28 |
node-01 |
21.8 |
2 |
3000000000 |
0 |
0 |
[Processor{24, core=9, socket=2}, Processor{28, core=24, socket=2}] |
{2=3.0 GB} |
benchmarks/ldv-linux-3.0/usb_urb-drivers-usb-serial-whiteheat.ko_true-unreach-call.cil.out.i.pp.cil.c |
unreach-call |
timeout |
61.6 |
54.3 |
error |
717860864 |
40,46 |
node-08 |
54.7 |
0 |
3000000000 |
0 |
0 |
[Processor{40, core=0, socket=0}, Processor{46, core=17, socket=0}] |
{0=3.0 GB} |
benchmarks/ldv-linux-3.0/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko_true-unreach-call.cil.out.i.pp.cil.c |
unreach-call |
timeout |
63.2 |
50.1 |
error |
853594112 |
24,28 |
node-07 |
50.5 |
2 |
3000000000 |
0 |
0 |
[Processor{24, core=9, socket=2}, Processor{28, core=24, socket=2}] |
{2=3.0 GB} |
benchmarks/ldv-linux-3.0/usb_urb-drivers-vhost-vhost_net.ko_true-unreach-call.cil.out.i.pp.cil.c |
unreach-call |
timeout |
63.7 |
50.0 |
error |
777027584 |
44,49 |
node-22 |
50.9 |
0 |
3000000000 |
0 |
0 |
[Processor{44, core=9, socket=0}, Processor{49, core=25, socket=0}] |
{0=3.0 GB} |
benchmarks/ldv-linux-3.0/usb_urb-drivers-video-arkfb.ko_true-unreach-call.cil.out.i.pp.cil.c |
unreach-call |
error |
21.3 |
19.8 |
error |
343613440 |
22,27 |
node-07 |
20.3 |
2 |
3000000000 |
0 |
0 |
[Processor{22, core=2, socket=2}, Processor{27, core=18, socket=2}] |
{2=3.0 GB} |