Tool Performance Data for Chiron DD Property p09
| Property p09 |
| Property |
Artists |
Events |
INCA |
INCA-Spin |
INCA-SMV |
INCA-NuSMV |
Native Spin |
FLAVERS |
| p09 |
02 |
02 |
0.4 |
3.3 |
0.3 |
0.4 |
2.5 |
36.0 |
| p09 |
02 |
03 |
0.4 |
3.9 |
0.5 |
0.5 |
3.3 |
48.7 |
| p09 |
02 |
04 |
0.5 |
4.8 |
0.8 |
0.8 |
3.7 |
65.3 |
| p09 |
02 |
05 |
0.6 |
5.3 |
1.1 |
1.0 |
4.1 |
83.8 |
| p09 |
02 |
06 |
0.8 |
5.8 |
1.2 |
1.1 |
4.6 |
106.0 |
| p09 |
02 |
07 |
1.6 |
7.0 |
1.8 |
1.6 |
5.4 |
134.0 |
| p09 |
02 |
08 |
1.7 |
7.7 |
2.3 |
1.9 |
6.0 |
164.4 |
| p09 |
02 |
09 |
1.8 |
8.4 |
2.9 |
2.3 |
6.6 |
200.0 |
| p09 |
02 |
10 |
2.0 |
10.8 |
4.4 |
3.1 |
8.4 |
247.1 |
| p09 |
02 |
11 |
1.9 |
11.9 |
5.3 |
3.6 |
9.5 |
293.2 |
| p09 |
02 |
12 |
2.0 |
13.2 |
6.6 |
4.2 |
10.4 |
343.8 |
| p09 |
02 |
13 |
2.3 |
18.5 |
8.9 |
5.6 |
14.7 |
411.6 |
| p09 |
02 |
14 |
2.4 |
20.3 |
10.6 |
7.1 |
16.5 |
484.6 |
| p09 |
02 |
15 |
2.5 |
22.5 |
12.8 |
8.2 |
18.6 |
557.9 |
| p09 |
02 |
16 |
2.9 |
36.8 |
18.6 |
9.8 |
30.5 |
664.9 |
| p09 |
02 |
17 |
3.1 |
40.5 |
22.2 |
10.8 |
33.7 |
760.3 |
| p09 |
02 |
18 |
3.6 |
51.5 |
26.6 |
12.2 |
38.7 |
871.8 |
| p09 |
02 |
19 |
3.6 |
82.7 |
37.1 |
14.9 |
70.5 |
1018.4 |
| p09 |
02 |
20 |
4.0 |
94.8 |
46.6 |
16.7 |
77.0 |
1162.3 |
| p09 |
02 |
21 |
4.1 |
102.2 |
56.2 |
18.2 |
86.7 |
1325.2 |
| p09 |
02 |
22 |
4.5 |
205.0 |
96.6 |
22.0 |
169.0 |
1526.7 |
| p09 |
02 |
23 |
4.8 |
236.9 |
131.3 |
24.5 |
187.2 |
1703.7 |
| p09 |
02 |
24 |
5.2 |
255.4 |
171.0 |
26.3 |
205.0 |
1906.0 |
| p09 |
02 |
25 |
5.7 |
527.0 |
264.3 |
31.0 |
426.3 |
2163.8 |
| p09 |
02 |
26 |
6.1 |
582.3 |
306.8 |
33.7 |
481.4 |
2415.5 |
| Property |
Artists |
Events |
INCA |
INCA-Spin |
INCA-SMV |
INCA-NuSMV |
Native Spin |
FLAVERS |
| p09 |
02 |
27 |
6.5 |
624.0 |
340.0 |
36.7 |
507.7 |
2683.8 |
| p09 |
02 |
28 |
6.9 |
1355.2 |
401.5 |
41.9 |
1037.4 |
3022.2 |
| p09 |
02 |
29 |
7.1 |
1490.7 |
444.0 |
45.2 |
1143.0 |
3441.3 |
| p09 |
02 |
30 |
7.5 |
1595.7 |
509.0 |
51.7 |
1249.0 |
3725.7 |
| p09 |
02 |
31 |
8.1 |
3473.6 |
693.9 |
54.4 |
2601.8 |
4188.1 |
| p09 |
02 |
32 |
8.4 |
3753.4 |
752.5 |
58.7 |
2822.9 |
4615.2 |
| p09 |
02 |
33 |
8.8 |
4069.8 |
842.1 |
62.4 |
2994.9 |
5040.5 |
| p09 |
02 |
34 |
9.7 |
8621.0 |
916.2 |
69.4 |
6413.5 |
5644.4 |
| p09 |
02 |
35 |
10.4 |
9812.2 |
986.4 |
73.9 |
6873.7 |
6119.5 |
| p09 |
02 |
36 |
10.8 |
10675.3 |
1101.1 |
79.1 |
7312.6 |
6646.5 |
| p09 |
02 |
37 |
10.9 |
22712.0 |
1343.1 |
87.4 |
|
7344.4 |
| p09 |
02 |
38 |
11.2 |
23782.3 |
1413.3 |
92.2 |
|
8014.2 |
| p09 |
02 |
39 |
12.1 |
25672.8 |
1732.4 |
100.3 |
|
8657.2 |
| p09 |
02 |
40 |
13.2 |
|
2054.9 |
109.6 |
|
9518.4 |
| p09 |
02 |
41 |
13.1 |
|
2178.8 |
123.1 |
|
10342.3 |
| p09 |
02 |
42 |
14.5 |
|
2092.2 |
122.0 |
|
11167.4 |
| p09 |
02 |
43 |
14.8 |
|
2482.2 |
137.2 |
|
12205.2 |
| p09 |
02 |
44 |
16.2 |
|
2707.1 |
143.2 |
|
13163.4 |
| p09 |
02 |
45 |
16.3 |
|
3193.0 |
150.1 |
|
14107.3 |
| p09 |
02 |
46 |
18.3 |
|
3679.6 |
166.0 |
|
15328.9 |
| p09 |
02 |
47 |
19.2 |
|
4133.9 |
173.8 |
|
16461.3 |
| p09 |
02 |
48 |
20.0 |
|
4146.9 |
183.3 |
|
17527.9 |
| p09 |
02 |
49 |
20.1 |
|
5813.4 |
199.5 |
|
18851.6 |
| p09 |
02 |
50 |
21.8 |
|
5754.7 |
210.6 |
|
20215.0 |
| p09 |
02 |
51 |
22.7 |
|
7101.5 |
220.6 |
|
21554.1 |
| Property |
Artists |
Events |
INCA |
INCA-Spin |
INCA-SMV |
INCA-NuSMV |
Native Spin |
FLAVERS |
| p09 |
02 |
52 |
22.7 |
|
8365.4 |
242.3 |
|
23486.8 |
| p09 |
02 |
53 |
25.1 |
|
9095.5 |
251.3 |
|
24818.1 |
| p09 |
02 |
54 |
24.3 |
|
8575.9 |
266.5 |
|
error |
| p09 |
02 |
55 |
26.1 |
|
10033.2 |
285.8 |
|
|
| p09 |
02 |
56 |
26.4 |
|
10912.7 |
303.5 |
|
|
| p09 |
02 |
57 |
26.8 |
|
13183.2 |
318.2 |
|
|
| p09 |
02 |
58 |
27.8 |
|
15193.7 |
347.0 |
|
|
| p09 |
02 |
59 |
29.4 |
|
16463.7 |
359.4 |
|
|
| p09 |
02 |
60 |
31.0 |
|
15211.0 |
379.5 |
|
error |
| p09 |
02 |
61 |
32.7 |
|
|
409.2 |
|
|
| p09 |
02 |
62 |
31.6 |
|
|
429.0 |
|
|
| p09 |
02 |
63 |
34.5 |
|
|
448.6 |
|
|
| p09 |
02 |
64 |
35.1 |
|
|
478.5 |
|
|
| p09 |
02 |
65 |
37.0 |
|
|
499.7 |
|
|
| p09 |
02 |
66 |
37.8 |
|
|
515.7 |
|
|
| p09 |
02 |
67 |
39.3 |
|
|
560.2 |
|
|
| p09 |
02 |
68 |
40.5 |
|
|
582.9 |
|
|
| p09 |
02 |
69 |
41.6 |
|
|
604.6 |
|
|
| p09 |
02 |
70 |
43.0 |
|
|
649.0 |
|
|
| p09 |
02 |
71 |
43.5 |
|
|
676.3 |
|
|
| p09 |
02 |
72 |
45.4 |
|
|
703.7 |
|
|
| p09 |
02 |
73 |
47.7 |
|
|
748.8 |
|
|
| p09 |
02 |
74 |
51.1 |
|
|
836.8 |
|
|
| p09 |
02 |
75 |
52.1 |
|
|
863.5 |
|
|
| p09 |
02 |
76 |
58.3 |
|
|
919.8 |
|
|
| Property |
Artists |
Events |
INCA |
INCA-Spin |
INCA-SMV |
INCA-NuSMV |
Native Spin |
FLAVERS |
| p09 |
02 |
77 |
55.6 |
|
|
965.5 |
|
|
| p09 |
02 |
78 |
57.6 |
|
|
987.6 |
|
|
| p09 |
02 |
79 |
58.9 |
|
|
1049.2 |
|
|
| p09 |
02 |
80 |
65.6 |
|
|
1093.8 |
|
|
| p09 |
02 |
81 |
60.9 |
|
|
1129.5 |
|
|
| p09 |
02 |
82 |
64.4 |
|
|
1197.9 |
|
|
| p09 |
02 |
83 |
64.8 |
|
|
1243.1 |
|
|
| p09 |
02 |
84 |
66.8 |
|
|
1193.6 |
|
|
| p09 |
02 |
85 |
68.2 |
|
|
1264.9 |
|
|
| p09 |
02 |
86 |
72.9 |
|
|
1307.7 |
|
|
| p09 |
02 |
87 |
78.1 |
|
|
1360.7 |
|
|
| p09 |
02 |
88 |
79.4 |
|
|
1443.1 |
|
|
| p09 |
02 |
89 |
82.7 |
|
|
1501.7 |
|
|
| p09 |
02 |
90 |
82.0 |
|
|
1538.8 |
|
|
| p09 |
02 |
91 |
86.3 |
|
|
1745.7 |
|
|
| p09 |
02 |
92 |
87.2 |
|
|
1851.1 |
|
|
| p09 |
02 |
93 |
91.0 |
|
|
1830.0 |
|
|
| p09 |
02 |
94 |
91.1 |
|
|
1904.5 |
|
|
| p09 |
02 |
95 |
91.5 |
|
|
1956.4 |
|
|
| p09 |
02 |
96 |
94.5 |
|
|
2003.8 |
|
|
| p09 |
02 |
97 |
99.1 |
|
|
2108.3 |
|
|
| p09 |
02 |
98 |
104.5 |
|
|
2168.2 |
|
|
| p09 |
02 |
99 |
103.5 |
|
|
2214.8 |
|
|
| p09 |
03 |
02 |
1.1 |
5.6 |
1.1 |
1.2 |
3.2 |
134.7 |
| p09 |
04 |
02 |
5.4 |
20.1 |
6.5 |
5.0 |
4.0 |
|
| Property |
Artists |
Events |
INCA |
INCA-Spin |
INCA-SMV |
INCA-NuSMV |
Native Spin |
FLAVERS |
| p09 |
05 |
02 |
42.7 |
374.5 |
183.8 |
155.4 |
17.3 |
|
| p09 |
06 |
02 |
2426.4 |
|
15027.4 |
7652.3 |
109.1 |
|
| p09 |
07 |
02 |
|
|
|
|
3213.2 |
error |