Tool Performance Data for Chiron DD Property p02

Property p02
Property Artists Events INCA INCA-Spin INCA-SMV INCA-NuSMV Native Spin FLAVERS
p02 02 02 1.3 3.8 0.4 0.5 2.6 5.7
p02 02 03 1.8 4.8 0.7 0.7 3.2 8.5
p02 02 04 2.8 6.4 1.3 1.2 3.7 12.6
p02 02 05 2.9 7.6 1.6 1.6 4.1 17.3
p02 02 06 3.4 9.0 2.0 1.9 4.6 22.7
p02 02 07 4.2 12.0 3.5 2.9 5.5 29.9
p02 02 08 4.7 13.9 4.4 3.5 6.1 37.5
p02 02 09 5.4 16.3 5.4 4.1 6.7 46.1
p02 02 10 6.0 21.9 8.1 6.8 8.6 56.0
p02 02 11 6.5 24.6 10.5 8.1 9.6 66.9
p02 02 12 6.8 28.3 13.4 9.4 10.6 78.4
p02 02 13 8.3 39.4 19.1 11.7 14.8 92.2
p02 02 14 8.5 44.4 22.8 13.1 17.2 105.3
p02 02 15 8.2 50.6 29.4 15.3 19.0 119.5
p02 02 16 10.3 72.3 44.7 19.7 31.8 136.8
p02 02 17 10.8 82.3 74.3 22.4 33.9 153.4
p02 02 18 11.6 93.2 96.0 24.8 38.6 171.2
p02 02 19 12.6 147.0 141.9 31.3 70.5 190.8
p02 02 20 13.3 164.7 198.0 34.8 76.6 216.3
p02 02 21 13.9 186.4 269.9 40.3 85.8 232.8
p02 02 22 15.6 315.0 380.3 46.9 168.4 254.6
p02 02 23 15.3 364.7 448.0 52.1 186.1 278.4
p02 02 24 15.6 405.6 493.3 57.6 208.1 301.3
p02 02 25 18.1 777.7 649.0 68.6 418.3 329.5
p02 02 26 17.9 870.4 728.6 73.8 463.0 355.1
Property Artists Events INCA INCA-Spin INCA-SMV INCA-NuSMV Native Spin FLAVERS
p02 02 27 19.4 977.0 926.2 80.8 503.6 382.5
p02 02 28 19.7 1966.0 1155.8 92.0 1042.8 411.9
p02 02 29 21.3 2129.0 1316.8 100.5 1136.5 442.5
p02 02 30 22.3 2359.2 1335.5 107.9 1220.0 471.4
p02 02 31 24.3 4723.1 1645.8 124.2 2714.8 511.4
p02 02 32 24.4 5169.5 1849.0 133.4 2764.9 538.6
p02 02 33 24.5 5715.8 2186.7 142.2 3138.5 576.0
p02 02 34 27.2 11862.7 2743.8 161.0 6429.1 608.9
p02 02 35 27.7 12996.4 3222.3 175.2 6915.5 649.2
p02 02 36 29.9 14355.2 3942.8 187.9 7453.6 681.8
p02 02 37 31.9 29377.2 4545.0 211.1
 
 723.7
p02 02 38 33.0 31627.0 5267.5 239.8
 
 764.0
p02 02 39 33.3 35425.8 6118.4 258.0
 
 803.4
p02 02 40 35.9
 
 8816.6 271.7
 
 847.1
p02 02 41 34.5
 
 9804.1 308.0
 
 888.5
p02 02 42 38.9
 
 10925.6 312.9
 
 931.4
p02 02 43 37.0
 
 11372.8 369.9
 
 1005.7
p02 02 44 41.5
 
 12735.5 394.2
 
 1026.8
p02 02 45 41.2
 
 14215.9 440.8
 
 1074.6
p02 02 46 42.8
 
 19436.8 465.7
 
 1124.8
p02 02 47 44.5
 
 21228.7 495.3
 
 1183.3
p02 02 48 46.6
 
 23805.6 527.0
 
 1229.7
p02 02 49 48.2
 
 24034.7 578.3
 
 1283.5
p02 02 50 50.4
 
 27297.4 612.7
 
 1339.2
p02 02 51 51.8
 
 29282.9 654.5
 
 1386.7
Property Artists Events INCA INCA-Spin INCA-SMV INCA-NuSMV Native Spin FLAVERS
p02 02 52 53.3
 
 39520.7 723.1
 
 1450.8
p02 02 53 56.3
 
 42623.7 747.6
 
 1516.0
p02 02 54 56.3
 
 49197.4 801.7
 
 error
p02 02 55 64.2
 
 46324.2 868.2
 
 
p02 02 56 62.2
 
 52777.4 907.3
 
 
p02 02 57 63.9
 
 57789.8 965.4
 
 
p02 02 58 63.8
 
 74316.4 1054.7
 
 
p02 02 59 67.0
 
 83044.3 1114.8
 
 
p02 02 60 70.2
 
 89372.2 1170.1
 
 error
p02 02 61 72.0
 
 
 1269.2
 
 
p02 02 62 73.5
 
 
 1331.9
 
 
p02 02 63 75.0
 
 
 1395.9
 
 
p02 02 64 79.8
 
 
 1503.6
 
 
p02 02 65 82.8
 
 
 1590.3
 
 
p02 02 66 84.6
 
 
 1664.2
 
 
p02 02 67 88.0
 
 
 1801.9
 
 
p02 02 68 90.0
 
 
 1899.1
 
 
p02 02 69 92.5
 
 
 1993.7
 
 
p02 02 70 95.4
 
 
 2125.6
 
 
p02 02 71 95.5
 
 
 2280.8
 
 
p02 02 72 100.1
 
 
 2411.7
 
 
p02 02 73 100.8
 
 
 2700.2
 
 
p02 02 74 109.0
 
 
 2898.0
 
 
p02 02 75 111.3
 
 
 
 
 
p02 02 76 119.7
 
 
 
 
 
Property Artists Events INCA INCA-Spin INCA-SMV INCA-NuSMV Native Spin FLAVERS
p02 02 77 115.3
 
 
 
 
 
p02 02 78 120.6
 
 
 
 
 
p02 02 79 120.2
 
 
 
 
 
p02 02 80 130.7
 
 
 
 
 
p02 02 81 127.3
 
 
 
 
 
p02 02 82 133.7
 
 
 
 
 
p02 02 83 139.6
 
 
 
 
 
p02 02 84 144.9
 
 
 
 
 
p02 02 85 140.8
 
 
 
 
 
p02 02 86 146.2
 
 
 
 
 
p02 02 87 151.0
 
 
 
 
 
p02 02 88 156.1
 
 
 
 
 
p02 02 89 160.3
 
 
 
 
 
p02 02 90 159.9
 
 
 
 
 
p02 02 91 165.6
 
 
 
 
 
p02 02 92 169.4
 
 
 
 
 
p02 02 93 177.3
 
 
 
 
 
p02 02 94 177.8
 
 
 
 
 
p02 02 95 177.5
 
 
 
 
 
p02 02 96 182.2
 
 
 
 
 
p02 02 97 186.1
 
 
 
 
 
p02 02 98 193.9
 
 
 
 
 
p02 02 99 198.4
 
 
 
 
 
p02 03 02 3.5 7.5 1.6 1.6 3.2 59.1
p02 04 02 14.2 31.7 8.1 6.3 4.0 2005.6
Property Artists Events INCA INCA-Spin INCA-SMV INCA-NuSMV Native Spin FLAVERS
p02 05 02 170.6 679.6 199.0 161.5 17.4
 
p02 06 02 8718.9
 
 12566.6 8169.6 114.8
 
p02 07 02
 
 
 
 
 3462.4