Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r033-smll-158901925900272.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is CloudDeployment-PT-2a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r033-smll-158901925900272
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 228K
-rw-r--r-- 1 mcc users 3.4K Mar 30 01:06 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 30 01:06 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 28 15:25 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 28 15:25 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Mar 27 08:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 27 08:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Mar 26 07:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 22K Mar 26 07:42 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 51K Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589131574770

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudDeployment (PT), instance 2a
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 69 places, 174 transitions, 821 arcs.
AT ITER 0 NEW BEST:: SOT 8183 SOS 4860 HAS SOPS 4416 HAS SOUS 3838 HAS SOUPS 3417 WITH SCORE 3421.86
AT ITER 12 NEW BEST:: SOT 8106 SOS 4794 HAS SOPS 4350 HAS SOUS 3771 HAS SOUPS 3350 WITH SCORE 3354.794
AT ITER 18 NEW BEST:: SOT 8116 SOS 4739 HAS SOPS 4295 HAS SOUS 3707 HAS SOUPS 3286 WITH SCORE 3290.739
AT ITER 22 NEW BEST:: SOT 8175 SOS 4699 HAS SOPS 4255 HAS SOUS 3617 HAS SOUPS 3196 WITH SCORE 3200.699
AT ITER 25 NEW BEST:: SOT 8133 SOS 4683 HAS SOPS 4239 HAS SOUS 3617 HAS SOUPS 3196 WITH SCORE 3200.683
AT ITER 26 NEW BEST:: SOT 8133 SOS 4683 HAS SOPS 4243 HAS SOUS 3605 HAS SOUPS 3188 WITH SCORE 3192.683
AT ITER 29 NEW BEST:: SOT 8130 SOS 4677 HAS SOPS 4243 HAS SOUS 3590 HAS SOUPS 3179 WITH SCORE 3183.677
AT ITER 30 NEW BEST:: SOT 8129 SOS 4670 HAS SOPS 4236 HAS SOUS 3581 HAS SOUPS 3170 WITH SCORE 3174.67
AT ITER 35 NEW BEST:: SOT 8141 SOS 4673 HAS SOPS 4260 HAS SOUS 3547 HAS SOUPS 3157 WITH SCORE 3161.673
AT ITER 42 NEW BEST:: SOT 8118 SOS 4740 HAS SOPS 4272 HAS SOUS 3515 HAS SOUPS 3156 WITH SCORE 3160.74
AT ITER 44 NEW BEST:: SOT 8091 SOS 4667 HAS SOPS 4176 HAS SOUS 3526 HAS SOUPS 3146 WITH SCORE 3150.667
AT ITER 51 NEW BEST:: SOT 8157 SOS 4634 HAS SOPS 4176 HAS SOUS 3472 HAS SOUPS 3125 WITH SCORE 3129.634
AT ITER 56 NEW BEST:: SOT 8178 SOS 4616 HAS SOPS 4126 HAS SOUS 3478 HAS SOUPS 3111 WITH SCORE 3115.616
AT ITER 64 NEW BEST:: SOT 7548 SOS 4793 HAS SOPS 3720 HAS SOUS 3070 HAS SOUPS 2775 WITH SCORE 2779.793
AT ITER 70 NEW BEST:: SOT 7541 SOS 4786 HAS SOPS 3713 HAS SOUS 3063 HAS SOUPS 2768 WITH SCORE 2772.786
AT ITER 71 NEW BEST:: SOT 7540 SOS 4783 HAS SOPS 3710 HAS SOUS 3061 HAS SOUPS 2766 WITH SCORE 2770.783
AT ITER 73 NEW BEST:: SOT 7566 SOS 4613 HAS SOPS 3672 HAS SOUS 2816 HAS SOUPS 2579 WITH SCORE 2583.613
AT ITER 76 NEW BEST:: SOT 7552 SOS 4599 HAS SOPS 3652 HAS SOUS 2812 HAS SOUPS 2568 WITH SCORE 2572.599
AT ITER 79 NEW BEST:: SOT 7560 SOS 4615 HAS SOPS 3668 HAS SOUS 2801 HAS SOUPS 2557 WITH SCORE 2561.615
AT ITER 82 NEW BEST:: SOT 7541 SOS 4553 HAS SOPS 3624 HAS SOUS 2780 HAS SOUPS 2536 WITH SCORE 2540.553
AT ITER 85 NEW BEST:: SOT 7462 SOS 4549 HAS SOPS 3653 HAS SOUS 2716 HAS SOUPS 2503 WITH SCORE 2507.549
AT ITER 90 NEW BEST:: SOT 7454 SOS 4547 HAS SOPS 3651 HAS SOUS 2714 HAS SOUPS 2501 WITH SCORE 2505.547
AT ITER 91 NEW BEST:: SOT 7446 SOS 4531 HAS SOPS 3635 HAS SOUS 2694 HAS SOUPS 2481 WITH SCORE 2485.531
AT ITER 92 NEW BEST:: SOT 7432 SOS 4514 HAS SOPS 3618 HAS SOUS 2674 HAS SOUPS 2461 WITH SCORE 2465.514
AT ITER 93 NEW BEST:: SOT 7428 SOS 4510 HAS SOPS 3614 HAS SOUS 2670 HAS SOUPS 2457 WITH SCORE 2461.51
AT ITER 97 NEW BEST:: SOT 7422 SOS 4504 HAS SOPS 3608 HAS SOUS 2664 HAS SOUPS 2451 WITH SCORE 2455.504
AT ITER 100 NEW BEST:: SOT 7362 SOS 4577 HAS SOPS 3457 HAS SOUS 2638 HAS SOUPS 2376 WITH SCORE 2380.577
AT ITER 107 NEW BEST:: SOT 7295 SOS 4536 HAS SOPS 3428 HAS SOUS 2604 HAS SOUPS 2342 WITH SCORE 2346.536
AT ITER 113 NEW BEST:: SOT 7294 SOS 4528 HAS SOPS 3420 HAS SOUS 2596 HAS SOUPS 2334 WITH SCORE 2338.528
AT ITER 114 NEW BEST:: SOT 7296 SOS 4538 HAS SOPS 3449 HAS SOUS 2594 HAS SOUPS 2333 WITH SCORE 2337.538
AT ITER 116 NEW BEST:: SOT 7294 SOS 4535 HAS SOPS 3447 HAS SOUS 2594 HAS SOUPS 2333 WITH SCORE 2337.535
AT ITER 117 NEW BEST:: SOT 7296 SOS 4530 HAS SOPS 3451 HAS SOUS 2570 HAS SOUPS 2316 WITH SCORE 2320.53
AT ITER 121 NEW BEST:: SOT 7359 SOS 4570 HAS SOPS 3491 HAS SOUS 2558 HAS SOUPS 2304 WITH SCORE 2308.57
AT ITER 122 NEW BEST:: SOT 7345 SOS 4542 HAS SOPS 3463 HAS SOUS 2558 HAS SOUPS 2304 WITH SCORE 2308.542
AT ITER 131 NEW BEST:: SOT 7254 SOS 4451 HAS SOPS 3432 HAS SOUS 2515 HAS SOUPS 2277 WITH SCORE 2281.451
AT ITER 132 NEW BEST:: SOT 7250 SOS 4445 HAS SOPS 3428 HAS SOUS 2509 HAS SOUPS 2271 WITH SCORE 2275.445
AT ITER 133 NEW BEST:: SOT 7250 SOS 4446 HAS SOPS 3453 HAS SOUS 2487 HAS SOUPS 2261 WITH SCORE 2265.446
AT ITER 135 NEW BEST:: SOT 7357 SOS 4456 HAS SOPS 3463 HAS SOUS 2423 HAS SOUPS 2197 WITH SCORE 2201.456
AT ITER 137 NEW BEST:: SOT 7359 SOS 4448 HAS SOPS 3455 HAS SOUS 2423 HAS SOUPS 2197 WITH SCORE 2201.448
AT ITER 142 NEW BEST:: SOT 7366 SOS 4408 HAS SOPS 3415 HAS SOUS 2408 HAS SOUPS 2182 WITH SCORE 2186.408
AT ITER 143 NEW BEST:: SOT 7358 SOS 4392 HAS SOPS 3399 HAS SOUS 2389 HAS SOUPS 2163 WITH SCORE 2167.392
AT ITER 154 NEW BEST:: SOT 7314 SOS 4368 HAS SOPS 3408 HAS SOUS 2357 HAS SOUPS 2143 WITH SCORE 2147.368
AT ITER 156 NEW BEST:: SOT 7326 SOS 4377 HAS SOPS 3414 HAS SOUS 2354 HAS SOUPS 2140 WITH SCORE 2144.377
AT ITER 157 NEW BEST:: SOT 7342 SOS 4327 HAS SOPS 3364 HAS SOUS 2284 HAS SOUPS 2070 WITH SCORE 2074.327
AT ITER 163 NEW BEST:: SOT 7333 SOS 4324 HAS SOPS 3358 HAS SOUS 2278 HAS SOUPS 2061 WITH SCORE 2065.324
AT ITER 169 NEW BEST:: SOT 6919 SOS 4147 HAS SOPS 3223 HAS SOUS 2065 HAS SOUPS 1880 WITH SCORE 1884.147
AT ITER 170 NEW BEST:: SOT 6915 SOS 4144 HAS SOPS 3221 HAS SOUS 2065 HAS SOUPS 1880 WITH SCORE 1884.144
AT ITER 174 NEW BEST:: SOT 6848 SOS 4094 HAS SOPS 3143 HAS SOUS 2015 HAS SOUPS 1816 WITH SCORE 1820.094
AT ITER 175 NEW BEST:: SOT 6845 SOS 4091 HAS SOPS 3140 HAS SOUS 2012 HAS SOUPS 1813 WITH SCORE 1817.091
AT ITER 178 NEW BEST:: SOT 6830 SOS 4073 HAS SOPS 3116 HAS SOUS 2006 HAS SOUPS 1804 WITH SCORE 1808.073
AT ITER 187 NEW BEST:: SOT 6813 SOS 4060 HAS SOPS 3103 HAS SOUS 2000 HAS SOUPS 1798 WITH SCORE 1802.06
AT ITER 191 NEW BEST:: SOT 6819 SOS 4097 HAS SOPS 3178 HAS SOUS 1992 HAS SOUPS 1792 WITH SCORE 1796.097
AT ITER 193 NEW BEST:: SOT 6813 SOS 4100 HAS SOPS 3175 HAS SOUS 1988 HAS SOUPS 1788 WITH SCORE 1792.1
AT ITER 196 NEW BEST:: SOT 6783 SOS 4051 HAS SOPS 3127 HAS SOUS 1958 HAS SOUPS 1758 WITH SCORE 1762.051
AT ITER 202 NEW BEST:: SOT 6777 SOS 4045 HAS SOPS 3128 HAS SOUS 1958 HAS SOUPS 1758 WITH SCORE 1762.045
AT ITER 204 NEW BEST:: SOT 6764 SOS 4019 HAS SOPS 3102 HAS SOUS 1922 HAS SOUPS 1722 WITH SCORE 1726.019
AT ITER 205 NEW BEST:: SOT 6691 SOS 3925 HAS SOPS 3060 HAS SOUS 1911 HAS SOUPS 1711 WITH SCORE 1714.925
AT ITER 209 NEW BEST:: SOT 6678 SOS 3908 HAS SOPS 3050 HAS SOUS 1901 HAS SOUPS 1708 WITH SCORE 1711.908
AT ITER 211 NEW BEST:: SOT 6684 SOS 3980 HAS SOPS 3181 HAS SOUS 1893 HAS SOUPS 1703 WITH SCORE 1706.98
AT ITER 216 NEW BEST:: SOT 6727 SOS 4019 HAS SOPS 3180 HAS SOUS 1868 HAS SOUPS 1678 WITH SCORE 1682.019
AT ITER 223 NEW BEST:: SOT 6693 SOS 3884 HAS SOPS 3070 HAS SOUS 1854 HAS SOUPS 1664 WITH SCORE 1667.884
AT ITER 224 NEW BEST:: SOT 6767 SOS 3890 HAS SOPS 3046 HAS SOUS 1861 HAS SOUPS 1656 WITH SCORE 1659.89
AT ITER 239 NEW BEST:: SOT 6759 SOS 3882 HAS SOPS 3046 HAS SOUS 1861 HAS SOUPS 1656 WITH SCORE 1659.882
AT ITER 243 NEW BEST:: SOT 6744 SOS 3862 HAS SOPS 3026 HAS SOUS 1846 HAS SOUPS 1641 WITH SCORE 1644.862
AT ITER 250 NEW BEST:: SOT 6749 SOS 3863 HAS SOPS 3025 HAS SOUS 1847 HAS SOUPS 1640 WITH SCORE 1643.863
AT ITER 253 NEW BEST:: SOT 6731 SOS 3827 HAS SOPS 2993 HAS SOUS 1829 HAS SOUPS 1622 WITH SCORE 1625.827
AT ITER 263 NEW BEST:: SOT 6645 SOS 3774 HAS SOPS 2931 HAS SOUS 1800 HAS SOUPS 1593 WITH SCORE 1596.774
AT ITER 264 NEW BEST:: SOT 6643 SOS 3766 HAS SOPS 2923 HAS SOUS 1792 HAS SOUPS 1585 WITH SCORE 1588.766
AT ITER 265 NEW BEST:: SOT 6625 SOS 3766 HAS SOPS 2923 HAS SOUS 1788 HAS SOUPS 1581 WITH SCORE 1584.766
AT ITER 268 NEW BEST:: SOT 6592 SOS 3777 HAS SOPS 2900 HAS SOUS 1797 HAS SOUPS 1567 WITH SCORE 1570.777
AT ITER 276 NEW BEST:: SOT 6591 SOS 3771 HAS SOPS 2896 HAS SOUS 1795 HAS SOUPS 1565 WITH SCORE 1568.771
AT ITER 289 NEW BEST:: SOT 6562 SOS 3760 HAS SOPS 2888 HAS SOUS 1784 HAS SOUPS 1551 WITH SCORE 1554.76
AT ITER 291 NEW BEST:: SOT 6565 SOS 3763 HAS SOPS 2888 HAS SOUS 1778 HAS SOUPS 1545 WITH SCORE 1548.763
AT ITER 309 NEW BEST:: SOT 6558 SOS 3756 HAS SOPS 2881 HAS SOUS 1771 HAS SOUPS 1538 WITH SCORE 1541.756
AT ITER 319 NEW BEST:: SOT 6553 SOS 3751 HAS SOPS 2877 HAS SOUS 1767 HAS SOUPS 1534 WITH SCORE 1537.751
AT ITER 321 NEW BEST:: SOT 6554 SOS 3749 HAS SOPS 2875 HAS SOUS 1766 HAS SOUPS 1533 WITH SCORE 1536.749
AT ITER 325 NEW BEST:: SOT 6551 SOS 3746 HAS SOPS 2872 HAS SOUS 1763 HAS SOUPS 1530 WITH SCORE 1533.746
AT ITER 329 NEW BEST:: SOT 6546 SOS 3739 HAS SOPS 2865 HAS SOUS 1757 HAS SOUPS 1524 WITH SCORE 1527.739
AT ITER 331 NEW BEST:: SOT 6535 SOS 3725 HAS SOPS 2855 HAS SOUS 1756 HAS SOUPS 1523 WITH SCORE 1526.725
AT ITER 351 NEW BEST:: SOT 6532 SOS 3716 HAS SOPS 2847 HAS SOUS 1748 HAS SOUPS 1515 WITH SCORE 1518.716
AT ITER 362 NEW BEST:: SOT 6523 SOS 3705 HAS SOPS 2836 HAS SOUS 1736 HAS SOUPS 1503 WITH SCORE 1506.705
AT ITER 368 NEW BEST:: SOT 6514 SOS 3695 HAS SOPS 2832 HAS SOUS 1730 HAS SOUPS 1496 WITH SCORE 1499.695
AT ITER 382 NEW BEST:: SOT 6481 SOS 3674 HAS SOPS 2820 HAS SOUS 1712 HAS SOUPS 1487 WITH SCORE 1490.674
AT ITER 390 NEW BEST:: SOT 6475 SOS 3644 HAS SOPS 2799 HAS SOUS 1690 HAS SOUPS 1466 WITH SCORE 1469.644
AT ITER 400 NEW BEST:: SOT 6466 SOS 3641 HAS SOPS 2796 HAS SOUS 1687 HAS SOUPS 1463 WITH SCORE 1466.641
AT ITER 408 NEW BEST:: SOT 6476 SOS 3636 HAS SOPS 2784 HAS SOUS 1681 HAS SOUPS 1450 WITH SCORE 1453.636
AT ITER 411 NEW BEST:: SOT 6465 SOS 3631 HAS SOPS 2778 HAS SOUS 1675 HAS SOUPS 1444 WITH SCORE 1447.631
AT ITER 413 NEW BEST:: SOT 6465 SOS 3635 HAS SOPS 2778 HAS SOUS 1675 HAS SOUPS 1440 WITH SCORE 1443.635
AT ITER 431 NEW BEST:: SOT 6469 SOS 3627 HAS SOPS 2770 HAS SOUS 1670 HAS SOUPS 1435 WITH SCORE 1438.627
AT ITER 434 NEW BEST:: SOT 6466 SOS 3605 HAS SOPS 2764 HAS SOUS 1657 HAS SOUPS 1430 WITH SCORE 1433.605
AT ITER 440 NEW BEST:: SOT 6461 SOS 3601 HAS SOPS 2758 HAS SOUS 1655 HAS SOUPS 1427 WITH SCORE 1430.601
AT ITER 449 NEW BEST:: SOT 6460 SOS 3600 HAS SOPS 2757 HAS SOUS 1655 HAS SOUPS 1427 WITH SCORE 1430.6
AT ITER 454 NEW BEST:: SOT 6429 SOS 3584 HAS SOPS 2741 HAS SOUS 1653 HAS SOUPS 1425 WITH SCORE 1428.584
AT ITER 467 NEW BEST:: SOT 6423 SOS 3578 HAS SOPS 2729 HAS SOUS 1641 HAS SOUPS 1413 WITH SCORE 1416.578
AT ITER 489 NEW BEST:: SOT 6417 SOS 3572 HAS SOPS 2726 HAS SOUS 1641 HAS SOUPS 1413 WITH SCORE 1416.572
AT ITER 491 NEW BEST:: SOT 6419 SOS 3528 HAS SOPS 2692 HAS SOUS 1632 HAS SOUPS 1404 WITH SCORE 1407.528
AT ITER 496 NEW BEST:: SOT 6405 SOS 3514 HAS SOPS 2690 HAS SOUS 1630 HAS SOUPS 1402 WITH SCORE 1405.514
AT ITER 501 NEW BEST:: SOT 6400 SOS 3509 HAS SOPS 2680 HAS SOUS 1620 HAS SOUPS 1392 WITH SCORE 1395.509
AT ITER 512 NEW BEST:: SOT 6397 SOS 3476 HAS SOPS 2661 HAS SOUS 1619 HAS SOUPS 1391 WITH SCORE 1394.476
AT ITER 515 NEW BEST:: SOT 6376 SOS 3437 HAS SOPS 2646 HAS SOUS 1599 HAS SOUPS 1383 WITH SCORE 1386.437
AT ITER 524 NEW BEST:: SOT 6376 SOS 3439 HAS SOPS 2646 HAS SOUS 1595 HAS SOUPS 1379 WITH SCORE 1382.439
AT ITER 528 NEW BEST:: SOT 6336 SOS 3506 HAS SOPS 2583 HAS SOUS 1596 HAS SOUPS 1362 WITH SCORE 1365.506
AT ITER 529 NEW BEST:: SOT 6336 SOS 3508 HAS SOPS 2585 HAS SOUS 1592 HAS SOUPS 1358 WITH SCORE 1361.508
AT ITER 530 NEW BEST:: SOT 6317 SOS 3488 HAS SOPS 2565 HAS SOUS 1588 HAS SOUPS 1354 WITH SCORE 1357.488
AT ITER 551 NEW BEST:: SOT 6316 SOS 3475 HAS SOPS 2563 HAS SOUS 1587 HAS SOUPS 1353 WITH SCORE 1356.475
AT ITER 552 NEW BEST:: SOT 6277 SOS 3425 HAS SOPS 2541 HAS SOUS 1587 HAS SOUPS 1353 WITH SCORE 1356.425
AT ITER 555 NEW BEST:: SOT 6279 SOS 3394 HAS SOPS 2510 HAS SOUS 1573 HAS SOUPS 1339 WITH SCORE 1342.394
AT ITER 569 NEW BEST:: SOT 6273 SOS 3386 HAS SOPS 2498 HAS SOUS 1563 HAS SOUPS 1329 WITH SCORE 1332.386
AT ITER 576 NEW BEST:: SOT 6279 SOS 3382 HAS SOPS 2493 HAS SOUS 1562 HAS SOUPS 1321 WITH SCORE 1324.382
AT ITER 604 NEW BEST:: SOT 6276 SOS 3388 HAS SOPS 2496 HAS SOUS 1556 HAS SOUPS 1315 WITH SCORE 1318.388
AT ITER 639 NEW BEST:: SOT 6277 SOS 3386 HAS SOPS 2345 HAS SOUS 1555 HAS SOUPS 1311 WITH SCORE 1314.386
AT ITER 654 NEW BEST:: SOT 6272 SOS 3381 HAS SOPS 2338 HAS SOUS 1550 HAS SOUPS 1305 WITH SCORE 1308.381
AT ITER 683 NEW BEST:: SOT 6270 SOS 3400 HAS SOPS 2378 HAS SOUS 1535 HAS SOUPS 1304 WITH SCORE 1307.4
AT ITER 695 NEW BEST:: SOT 6272 SOS 3400 HAS SOPS 2378 HAS SOUS 1533 HAS SOUPS 1302 WITH SCORE 1305.4
AT ITER 720 NEW BEST:: SOT 6266 SOS 3388 HAS SOPS 2366 HAS SOUS 1530 HAS SOUPS 1299 WITH SCORE 1302.388
AT ITER 726 NEW BEST:: SOT 6262 SOS 3384 HAS SOPS 2359 HAS SOUS 1524 HAS SOUPS 1291 WITH SCORE 1294.384
AT ITER 742 NEW BEST:: SOT 6260 SOS 3382 HAS SOPS 2357 HAS SOUS 1522 HAS SOUPS 1289 WITH SCORE 1292.382
AT ITER 748 NEW BEST:: SOT 6258 SOS 3380 HAS SOPS 2355 HAS SOUS 1520 HAS SOUPS 1287 WITH SCORE 1290.38
AT ITER 765 NEW BEST:: SOT 6250 SOS 3372 HAS SOPS 2347 HAS SOUS 1512 HAS SOUPS 1279 WITH SCORE 1282.372
AT ITER 767 NEW BEST:: SOT 6243 SOS 3366 HAS SOPS 2343 HAS SOUS 1501 HAS SOUPS 1270 WITH SCORE 1273.366
AT ITER 778 NEW BEST:: SOT 6190 SOS 3286 HAS SOPS 2263 HAS SOUS 1467 HAS SOUPS 1236 WITH SCORE 1239.286
AT ITER 787 NEW BEST:: SOT 6197 SOS 3283 HAS SOPS 2260 HAS SOUS 1456 HAS SOUPS 1225 WITH SCORE 1228.283
AT ITER 791 NEW BEST:: SOT 6193 SOS 3275 HAS SOPS 2254 HAS SOUS 1452 HAS SOUPS 1221 WITH SCORE 1224.275
AT ITER 815 NEW BEST:: SOT 6174 SOS 3400 HAS SOPS 2248 HAS SOUS 1454 HAS SOUPS 1219 WITH SCORE 1222.4
AT ITER 831 NEW BEST:: SOT 6152 SOS 3366 HAS SOPS 2224 HAS SOUS 1452 HAS SOUPS 1217 WITH SCORE 1220.366
AT ITER 837 NEW BEST:: SOT 6141 SOS 3356 HAS SOPS 2214 HAS SOUS 1442 HAS SOUPS 1207 WITH SCORE 1210.356
AT ITER 844 NEW BEST:: SOT 6143 SOS 3359 HAS SOPS 2213 HAS SOUS 1437 HAS SOUPS 1202 WITH SCORE 1205.359
AT ITER 856 NEW BEST:: SOT 6167 SOS 3385 HAS SOPS 2228 HAS SOUS 1425 HAS SOUPS 1190 WITH SCORE 1193.385
AT ITER 858 NEW BEST:: SOT 6161 SOS 3379 HAS SOPS 2222 HAS SOUS 1418 HAS SOUPS 1183 WITH SCORE 1186.379
AT ITER 867 NEW BEST:: SOT 6175 SOS 3383 HAS SOPS 2226 HAS SOUS 1416 HAS SOUPS 1181 WITH SCORE 1184.383
AT ITER 878 NEW BEST:: SOT 6175 SOS 3380 HAS SOPS 2223 HAS SOUS 1413 HAS SOUPS 1178 WITH SCORE 1181.38
AT ITER 894 NEW BEST:: SOT 6203 SOS 3389 HAS SOPS 2235 HAS SOUS 1395 HAS SOUPS 1160 WITH SCORE 1163.389
AT ITER 909 NEW BEST:: SOT 6148 SOS 3298 HAS SOPS 2163 HAS SOUS 1391 HAS SOUPS 1156 WITH SCORE 1159.298
AT ITER 911 NEW BEST:: SOT 6145 SOS 3295 HAS SOPS 2157 HAS SOUS 1385 HAS SOUPS 1150 WITH SCORE 1153.295
AT ITER 916 NEW BEST:: SOT 6145 SOS 3298 HAS SOPS 2153 HAS SOUS 1385 HAS SOUPS 1148 WITH SCORE 1151.298
AT ITER 931 NEW BEST:: SOT 6147 SOS 3292 HAS SOPS 2153 HAS SOUS 1385 HAS SOUPS 1148 WITH SCORE 1151.292
AT ITER 933 NEW BEST:: SOT 6139 SOS 3280 HAS SOPS 2145 HAS SOUS 1379 HAS SOUPS 1142 WITH SCORE 1145.28
AT ITER 966 NEW BEST:: SOT 6134 SOS 3280 HAS SOPS 2125 HAS SOUS 1381 HAS SOUPS 1140 WITH SCORE 1143.28
AT ITER 1029 NEW BEST:: SOT 6130 SOS 3266 HAS SOPS 2125 HAS SOUS 1377 HAS SOUPS 1140 WITH SCORE 1143.266
AT ITER 1030 NEW BEST:: SOT 6141 SOS 3268 HAS SOPS 2125 HAS SOUS 1373 HAS SOUPS 1136 WITH SCORE 1139.268
AT ITER 1109 NEW BEST:: SOT 6135 SOS 3256 HAS SOPS 2113 HAS SOUS 1358 HAS SOUPS 1121 WITH SCORE 1124.256
AT ITER 1160 NEW BEST:: SOT 6135 SOS 3253 HAS SOPS 2110 HAS SOUS 1355 HAS SOUPS 1118 WITH SCORE 1121.253
AT ITER 1164 NEW BEST:: SOT 6125 SOS 3243 HAS SOPS 2100 HAS SOUS 1345 HAS SOUPS 1108 WITH SCORE 1111.243
AT ITER 1194 NEW BEST:: SOT 6042 SOS 3356 HAS SOPS 2153 HAS SOUS 1372 HAS SOUPS 1097 WITH SCORE 1100.356
AT ITER 1211 NEW BEST:: SOT 6040 SOS 3354 HAS SOPS 2151 HAS SOUS 1370 HAS SOUPS 1095 WITH SCORE 1098.354
AT ITER 1212 NEW BEST:: SOT 6073 SOS 3363 HAS SOPS 2169 HAS SOUS 1364 HAS SOUPS 1089 WITH SCORE 1092.363
AT ITER 1216 NEW BEST:: SOT 6085 SOS 3379 HAS SOPS 2181 HAS SOUS 1363 HAS SOUPS 1088 WITH SCORE 1091.379
AT ITER 1220 NEW BEST:: SOT 6088 SOS 3371 HAS SOPS 2176 HAS SOUS 1358 HAS SOUPS 1083 WITH SCORE 1086.371
AT ITER 1227 NEW BEST:: SOT 6071 SOS 3337 HAS SOPS 2151 HAS SOUS 1357 HAS SOUPS 1079 WITH SCORE 1082.337
AT ITER 1236 NEW BEST:: SOT 6062 SOS 3333 HAS SOPS 2107 HAS SOUS 1357 HAS SOUPS 1078 WITH SCORE 1081.333
AT ITER 1245 NEW BEST:: SOT 6057 SOS 3328 HAS SOPS 2102 HAS SOUS 1352 HAS SOUPS 1073 WITH SCORE 1076.328
AT ITER 1326 NEW BEST:: SOT 6052 SOS 3323 HAS SOPS 2100 HAS SOUS 1348 HAS SOUPS 1072 WITH SCORE 1075.323
AT ITER 1634 NEW BEST:: SOT 6030 SOS 3279 HAS SOPS 2063 HAS SOUS 1342 HAS SOUPS 1066 WITH SCORE 1069.279
AT ITER 1636 NEW BEST:: SOT 6036 SOS 3288 HAS SOPS 2069 HAS SOUS 1339 HAS SOUPS 1063 WITH SCORE 1066.288
AT ITER 1669 NEW BEST:: SOT 6032 SOS 3284 HAS SOPS 2062 HAS SOUS 1334 HAS SOUPS 1058 WITH SCORE 1061.284
AT ITER 1696 NEW BEST:: SOT 6030 SOS 3282 HAS SOPS 2062 HAS SOUS 1330 HAS SOUPS 1054 WITH SCORE 1057.282
AT ITER 1737 NEW BEST:: SOT 6028 SOS 3272 HAS SOPS 2054 HAS SOUS 1328 HAS SOUPS 1052 WITH SCORE 1055.272
AT ITER 1775 NEW BEST:: SOT 6023 SOS 3268 HAS SOPS 2051 HAS SOUS 1325 HAS SOUPS 1050 WITH SCORE 1053.268
AT ITER 1836 NEW BEST:: SOT 6031 SOS 3276 HAS SOPS 2049 HAS SOUS 1324 HAS SOUPS 1048 WITH SCORE 1051.276
AT ITER 1907 NEW BEST:: SOT 6029 SOS 3278 HAS SOPS 2049 HAS SOUS 1324 HAS SOUPS 1046 WITH SCORE 1049.278
AT ITER 1961 NEW BEST:: SOT 6054 SOS 3297 HAS SOPS 2065 HAS SOUS 1323 HAS SOUPS 1045 WITH SCORE 1048.297
AT ITER 1984 NEW BEST:: SOT 6052 SOS 3296 HAS SOPS 2063 HAS SOUS 1322 HAS SOUPS 1044 WITH SCORE 1047.296
AT ITER 2015 NEW BEST:: SOT 6050 SOS 3286 HAS SOPS 2059 HAS SOUS 1316 HAS SOUPS 1038 WITH SCORE 1041.286
AT ITER 2051 NEW BEST:: SOT 6048 SOS 3286 HAS SOPS 2056 HAS SOUS 1316 HAS SOUPS 1036 WITH SCORE 1039.286
AT ITER 2079 NEW BEST:: SOT 6056 SOS 3280 HAS SOPS 2056 HAS SOUS 1313 HAS SOUPS 1034 WITH SCORE 1037.28
AT ITER 2141 NEW BEST:: SOT 6051 SOS 3272 HAS SOPS 2048 HAS SOUS 1309 HAS SOUPS 1030 WITH SCORE 1033.272
AT ITER 2189 NEW BEST:: SOT 6036 SOS 3257 HAS SOPS 2034 HAS SOUS 1308 HAS SOUPS 1029 WITH SCORE 1032.257
AT ITER 2214 NEW BEST:: SOT 6032 SOS 3251 HAS SOPS 2028 HAS SOUS 1305 HAS SOUPS 1026 WITH SCORE 1029.251
AT ITER 2217 NEW BEST:: SOT 6031 SOS 3245 HAS SOPS 2022 HAS SOUS 1302 HAS SOUPS 1023 WITH SCORE 1026.245
AT ITER 2230 NEW BEST:: SOT 6029 SOS 3243 HAS SOPS 2020 HAS SOUS 1301 HAS SOUPS 1022 WITH SCORE 1025.243
AT ITER 2260 NEW BEST:: SOT 6025 SOS 3239 HAS SOPS 2020 HAS SOUS 1301 HAS SOUPS 1022 WITH SCORE 1025.239
AT ITER 2266 NEW BEST:: SOT 6025 SOS 3236 HAS SOPS 2020 HAS SOUS 1301 HAS SOUPS 1022 WITH SCORE 1025.236
AT ITER 2324 NEW BEST:: SOT 6023 SOS 3235 HAS SOPS 2017 HAS SOUS 1301 HAS SOUPS 1020 WITH SCORE 1023.235
AT ITER 2452 NEW BEST:: SOT 6021 SOS 3225 HAS SOPS 2007 HAS SOUS 1295 HAS SOUPS 1014 WITH SCORE 1017.225
AT ITER 2555 NEW BEST:: SOT 6021 SOS 3222 HAS SOPS 2003 HAS SOUS 1291 HAS SOUPS 1010 WITH SCORE 1013.222
AT ITER 2563 NEW BEST:: SOT 6016 SOS 3216 HAS SOPS 1997 HAS SOUS 1288 HAS SOUPS 1007 WITH SCORE 1010.216
AT ITER 2575 NEW BEST:: SOT 6015 SOS 3208 HAS SOPS 2029 HAS SOUS 1286 HAS SOUPS 1006 WITH SCORE 1009.208
AT ITER 2626 NEW BEST:: SOT 6011 SOS 3204 HAS SOPS 2027 HAS SOUS 1286 HAS SOUPS 1006 WITH SCORE 1009.204
AT ITER 2633 NEW BEST:: SOT 6033 SOS 3221 HAS SOPS 2041 HAS SOUS 1285 HAS SOUPS 1005 WITH SCORE 1008.221
AT ITER 2690 NEW BEST:: SOT 6030 SOS 3218 HAS SOPS 2037 HAS SOUS 1284 HAS SOUPS 1004 WITH SCORE 1007.218
AT ITER 2856 NEW BEST:: SOT 6028 SOS 3214 HAS SOPS 2033 HAS SOUS 1282 HAS SOUPS 1002 WITH SCORE 1005.214
AT ITER 2992 NEW BEST:: SOT 6027 SOS 3213 HAS SOPS 2032 HAS SOUS 1281 HAS SOUPS 1001 WITH SCORE 1004.213
AT ITER 2997 NEW BEST:: SOT 6026 SOS 3211 HAS SOPS 2030 HAS SOUS 1278 HAS SOUPS 998 WITH SCORE 1001.211
AT ITER 3217 NEW BEST:: SOT 6028 SOS 3210 HAS SOPS 2029 HAS SOUS 1278 HAS SOUPS 998 WITH SCORE 1001.21
AT ITER 3320 NEW BEST:: SOT 6037 SOS 3220 HAS SOPS 2035 HAS SOUS 1279 HAS SOUPS 995 WITH SCORE 998.22
AT ITER 3454 NEW BEST:: SOT 6070 SOS 3264 HAS SOPS 2068 HAS SOUS 1278 HAS SOUPS 994 WITH SCORE 997.264
AT ITER 3886 NEW BEST:: SOT 6068 SOS 3262 HAS SOPS 2066 HAS SOUS 1276 HAS SOUPS 992 WITH SCORE 995.262
AT ITER 3925 NEW BEST:: SOT 6075 SOS 3270 HAS SOPS 2071 HAS SOUS 1274 HAS SOUPS 990 WITH SCORE 993.27
AT ITER 3998 NEW BEST:: SOT 6074 SOS 3271 HAS SOPS 2071 HAS SOUS 1272 HAS SOUPS 988 WITH SCORE 991.271
AT ITER 4004 NEW BEST:: SOT 6067 SOS 3269 HAS SOPS 2071 HAS SOUS 1270 HAS SOUPS 988 WITH SCORE 991.269
AT ITER 4140 NEW BEST:: SOT 6070 SOS 3250 HAS SOPS 2071 HAS SOUS 1271 HAS SOUPS 988 WITH SCORE 991.25
AT ITER 4193 NEW BEST:: SOT 6062 SOS 3238 HAS SOPS 2063 HAS SOUS 1271 HAS SOUPS 988 WITH SCORE 991.238
AT ITER 4270 NEW BEST:: SOT 6059 SOS 3238 HAS SOPS 2023 HAS SOUS 1269 HAS SOUPS 985 WITH SCORE 988.238
AT ITER 4288 NEW BEST:: SOT 6036 SOS 3210 HAS SOPS 1981 HAS SOUS 1277 HAS SOUPS 984 WITH SCORE 987.21
AT ITER 4392 NEW BEST:: SOT 6035 SOS 3214 HAS SOPS 1945 HAS SOUS 1277 HAS SOUPS 983 WITH SCORE 986.214
AT ITER 4509 NEW BEST:: SOT 6034 SOS 3207 HAS SOPS 1939 HAS SOUS 1273 HAS SOUPS 979 WITH SCORE 982.207
AT ITER 4533 NEW BEST:: SOT 6036 SOS 3208 HAS SOPS 1938 HAS SOUS 1270 HAS SOUPS 976 WITH SCORE 979.208
AT ITER 4643 NEW BEST:: SOT 6037 SOS 3209 HAS SOPS 1938 HAS SOUS 1268 HAS SOUPS 974 WITH SCORE 977.209
AT ITER 4654 NEW BEST:: SOT 6031 SOS 3197 HAS SOPS 1926 HAS SOUS 1263 HAS SOUPS 969 WITH SCORE 972.197
AT ITER 4739 NEW BEST:: SOT 6032 SOS 3193 HAS SOPS 1924 HAS SOUS 1263 HAS SOUPS 969 WITH SCORE 972.193
AT ITER 4876 NEW BEST:: SOT 6029 SOS 3189 HAS SOPS 1920 HAS SOUS 1261 HAS SOUPS 967 WITH SCORE 970.189
AT ITER 4945 NEW BEST:: SOT 6026 SOS 3187 HAS SOPS 1916 HAS SOUS 1261 HAS SOUPS 966 WITH SCORE 969.187
AT ITER 5168 NEW BEST:: SOT 6022 SOS 3183 HAS SOPS 1914 HAS SOUS 1261 HAS SOUPS 966 WITH SCORE 969.183
AT ITER 5275 NEW BEST:: SOT 6018 SOS 3187 HAS SOPS 1916 HAS SOUS 1259 HAS SOUPS 964 WITH SCORE 967.187
AT ITER 5291 NEW BEST:: SOT 6018 SOS 3185 HAS SOPS 1914 HAS SOUS 1258 HAS SOUPS 963 WITH SCORE 966.185
AT ITER 5329 NEW BEST:: SOT 6020 SOS 3183 HAS SOPS 1911 HAS SOUS 1257 HAS SOUPS 961 WITH SCORE 964.183
AT ITER 5364 NEW BEST:: SOT 6022 SOS 3183 HAS SOPS 1911 HAS SOUS 1257 HAS SOUPS 960 WITH SCORE 963.183
AT ITER 5445 NEW BEST:: SOT 6021 SOS 3184 HAS SOPS 1910 HAS SOUS 1255 HAS SOUPS 958 WITH SCORE 961.184
AT ITER 5766 NEW BEST:: SOT 6023 SOS 3187 HAS SOPS 1912 HAS SOUS 1254 HAS SOUPS 957 WITH SCORE 960.187
AT ITER 5811 NEW BEST:: SOT 6021 SOS 3186 HAS SOPS 1909 HAS SOUS 1250 HAS SOUPS 953 WITH SCORE 956.186
AT ITER 6039 NEW BEST:: SOT 6023 SOS 3186 HAS SOPS 1908 HAS SOUS 1247 HAS SOUPS 950 WITH SCORE 953.186
AT ITER 6231 NEW BEST:: SOT 6023 SOS 3186 HAS SOPS 1906 HAS SOUS 1245 HAS SOUPS 948 WITH SCORE 951.186
AT ITER 6417 NEW BEST:: SOT 6020 SOS 3184 HAS SOPS 1866 HAS SOUS 1247 HAS SOUPS 948 WITH SCORE 951.184
AT ITER 6647 NEW BEST:: SOT 6022 SOS 3183 HAS SOPS 1865 HAS SOUS 1247 HAS SOUPS 948 WITH SCORE 951.183
AT ITER 6798 NEW BEST:: SOT 6023 SOS 3184 HAS SOPS 1865 HAS SOUS 1247 HAS SOUPS 947 WITH SCORE 950.184
AT ITER 6916 NEW BEST:: SOT 6023 SOS 3183 HAS SOPS 1865 HAS SOUS 1247 HAS SOUPS 947 WITH SCORE 950.183
AT ITER 7384 NEW BEST:: SOT 6030 SOS 3190 HAS SOPS 1864 HAS SOUS 1246 HAS SOUPS 946 WITH SCORE 949.19
AT ITER 8110 NEW BEST:: SOT 6027 SOS 3190 HAS SOPS 1824 HAS SOUS 1242 HAS SOUPS 940 WITH SCORE 943.19
AT ITER 8215 NEW BEST:: SOT 6029 SOS 3193 HAS SOPS 1826 HAS SOUS 1241 HAS SOUPS 939 WITH SCORE 942.193
AT ITER 8357 NEW BEST:: SOT 6027 SOS 3191 HAS SOPS 1822 HAS SOUS 1237 HAS SOUPS 935 WITH SCORE 938.191
AT ITER 9715 NEW BEST:: SOT 6035 SOS 3199 HAS SOPS 1826 HAS SOUS 1235 HAS SOUPS 933 WITH SCORE 936.199
AT ITER 9746 NEW BEST:: SOT 6031 SOS 3197 HAS SOPS 1824 HAS SOUS 1235 HAS SOUPS 933 WITH SCORE 936.197
STATE_SPACE STATES 4807 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 9 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 87600 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589131591392

--------------------
content from stderr:

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CloudDeployment-PT-2a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is CloudDeployment-PT-2a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r033-smll-158901925900272"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/CloudDeployment-PT-2a.tgz
mv CloudDeployment-PT-2a execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;