id
|
% true
|
#total STML
|
#true STML
|
#false STML
|
Exec. times
|
---|
|
PBLSTL
|
μ
|
σ
|
μ
|
σ
|
μ
|
σ
|
μ
|
σ
|
---|
9
|
100
|
28
|
0
|
28
|
0
|
0
|
0
|
0:22.04
|
0:0.13
|
10
|
100
|
14
|
0
|
14
|
0
|
0
|
0
|
0:11.50
|
0:0.08
|
11
|
100
|
58
|
0
|
0
|
0
|
58
|
0
|
0:44.87
|
0:0.44
|
12
|
100
|
10.96
|
0.18
|
10.92
|
0.37
|
0.03
|
0.18
|
0:9.27
|
0:0.16
|
13
|
95.6
|
17.04
|
73.33
|
9.57
|
40.67
|
7.46
|
32.73
|
0:13.73
|
0:55.45
|
14
|
100
|
28
|
0
|
0
|
0
|
28
|
0
|
0:22.10
|
0:0.20
|
- Entries in the “id” column represent the numeric identifiers placed at the right of each PBLSTL statement. The “% true PBLSTL” column describes what percentage of the 500 executions concluded that the PBLSTL statement is true. “#total STML” represents the total number of STML files evaluated for the PBLSTL statement; columns “#true STML” and “#false STML” represent the number of STML files for which the PBLSTL statement was evaluated true, respectively false.“ μ” and “ σ” represent the mean and standard deviation. “Exec. times” presents the average model checking execution time for each PBLSTL evaluation using the “minutes:seconds” format.