Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r063-tajo-158922808401040.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/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 Eratosthenes-PT-100, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922808401040
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 308K
-rw-r--r-- 1 mcc users 3.3K Apr 14 12:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 14 12:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 14 12:26 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 14 12:26 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.1K Apr 8 15:19 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 15:19 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Apr 14 12:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 14 12:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Apr 14 12:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 21K Apr 14 12:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 14 12:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 14 12:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 134K 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 1589369556995

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

Filename model.pnml
Petri model created: 99 places, 283 transitions, 849 arcs.
AT ITER 0 NEW BEST:: SOT 16268 SOS 6429 HAS SOPS 2049 HAS SOUS 3049 HAS SOUPS 1725 WITH SCORE 1731.429
AT ITER 1 NEW BEST:: SOT 16588 SOS 6685 HAS SOPS 1985 HAS SOUS 3155 HAS SOUPS 1705 WITH SCORE 1711.685
AT ITER 4 NEW BEST:: SOT 16647 SOS 6723 HAS SOPS 2004 HAS SOUS 3162 HAS SOUPS 1700 WITH SCORE 1706.723
AT ITER 5 NEW BEST:: SOT 16833 SOS 6878 HAS SOPS 1973 HAS SOUS 3283 HAS SOUPS 1676 WITH SCORE 1682.878
AT ITER 6 NEW BEST:: SOT 16829 SOS 6890 HAS SOPS 1969 HAS SOUS 3299 HAS SOUPS 1672 WITH SCORE 1678.89
AT ITER 12 NEW BEST:: SOT 16829 SOS 6884 HAS SOPS 1963 HAS SOUS 3299 HAS SOUPS 1672 WITH SCORE 1678.884
AT ITER 19 NEW BEST:: SOT 16935 SOS 6972 HAS SOPS 1945 HAS SOUS 3290 HAS SOUPS 1662 WITH SCORE 1668.972
AT ITER 20 NEW BEST:: SOT 17088 SOS 7088 HAS SOPS 1908 HAS SOUS 3288 HAS SOUPS 1640 WITH SCORE 1647.088
AT ITER 23 NEW BEST:: SOT 17026 SOS 7012 HAS SOPS 1894 HAS SOUS 3223 HAS SOUPS 1635 WITH SCORE 1642.012
AT ITER 28 NEW BEST:: SOT 17050 SOS 6880 HAS SOPS 1990 HAS SOUS 3216 HAS SOUPS 1635 WITH SCORE 1641.88
AT ITER 33 NEW BEST:: SOT 17056 SOS 6853 HAS SOPS 2035 HAS SOUS 3212 HAS SOUPS 1635 WITH SCORE 1641.853
AT ITER 34 NEW BEST:: SOT 17084 SOS 6873 HAS SOPS 2039 HAS SOUS 3220 HAS SOUPS 1631 WITH SCORE 1637.873
AT ITER 35 NEW BEST:: SOT 17081 SOS 6861 HAS SOPS 2036 HAS SOUS 3217 HAS SOUPS 1628 WITH SCORE 1634.861
AT ITER 37 NEW BEST:: SOT 17080 SOS 6859 HAS SOPS 2035 HAS SOUS 3217 HAS SOUPS 1628 WITH SCORE 1634.859
AT ITER 47 NEW BEST:: SOT 17047 SOS 6809 HAS SOPS 2066 HAS SOUS 3201 HAS SOUPS 1628 WITH SCORE 1634.809
AT ITER 60 NEW BEST:: SOT 17135 SOS 6889 HAS SOPS 2058 HAS SOUS 3194 HAS SOUPS 1621 WITH SCORE 1627.889
AT ITER 69 NEW BEST:: SOT 17278 SOS 6834 HAS SOPS 2201 HAS SOUS 3131 HAS SOUPS 1590 WITH SCORE 1596.834
AT ITER 76 NEW BEST:: SOT 17269 SOS 6816 HAS SOPS 2195 HAS SOUS 3131 HAS SOUPS 1590 WITH SCORE 1596.816
AT ITER 79 NEW BEST:: SOT 17608 SOS 7098 HAS SOPS 2182 HAS SOUS 3282 HAS SOUPS 1568 WITH SCORE 1575.098
AT ITER 82 NEW BEST:: SOT 17745 SOS 7186 HAS SOPS 2133 HAS SOUS 3290 HAS SOUPS 1541 WITH SCORE 1548.186
AT ITER 88 NEW BEST:: SOT 17757 SOS 7182 HAS SOPS 2145 HAS SOUS 3262 HAS SOUPS 1537 WITH SCORE 1544.182
AT ITER 89 NEW BEST:: SOT 17717 SOS 7126 HAS SOPS 2105 HAS SOUS 3214 HAS SOUPS 1521 WITH SCORE 1528.126
AT ITER 92 NEW BEST:: SOT 17861 SOS 7246 HAS SOPS 2081 HAS SOUS 3195 HAS SOUPS 1502 WITH SCORE 1509.246
AT ITER 95 NEW BEST:: SOT 17860 SOS 7320 HAS SOPS 2004 HAS SOUS 3192 HAS SOUPS 1480 WITH SCORE 1487.32
AT ITER 97 NEW BEST:: SOT 17860 SOS 7317 HAS SOPS 1998 HAS SOUS 3192 HAS SOUPS 1480 WITH SCORE 1487.317
AT ITER 98 NEW BEST:: SOT 18175 SOS 7623 HAS SOPS 1953 HAS SOUS 3282 HAS SOUPS 1445 WITH SCORE 1452.623
AT ITER 99 NEW BEST:: SOT 18294 SOS 7721 HAS SOPS 1932 HAS SOUS 3269 HAS SOUPS 1432 WITH SCORE 1439.721
AT ITER 101 NEW BEST:: SOT 18351 SOS 7788 HAS SOPS 1895 HAS SOUS 3289 HAS SOUPS 1405 WITH SCORE 1412.788
AT ITER 104 NEW BEST:: SOT 18422 SOS 7845 HAS SOPS 1881 HAS SOUS 3292 HAS SOUPS 1391 WITH SCORE 1398.845
AT ITER 105 NEW BEST:: SOT 18405 SOS 7773 HAS SOPS 1921 HAS SOUS 3254 HAS SOUPS 1391 WITH SCORE 1398.773
AT ITER 106 NEW BEST:: SOT 18397 SOS 7519 HAS SOPS 1964 HAS SOUS 3254 HAS SOUPS 1391 WITH SCORE 1398.519
AT ITER 109 NEW BEST:: SOT 18392 SOS 7509 HAS SOPS 1959 HAS SOUS 3247 HAS SOUPS 1384 WITH SCORE 1391.509
AT ITER 110 NEW BEST:: SOT 18391 SOS 7477 HAS SOPS 1918 HAS SOUS 3255 HAS SOUPS 1384 WITH SCORE 1391.477
AT ITER 114 NEW BEST:: SOT 18375 SOS 7461 HAS SOPS 1918 HAS SOUS 3255 HAS SOUPS 1384 WITH SCORE 1391.461
AT ITER 115 NEW BEST:: SOT 18375 SOS 7459 HAS SOPS 1918 HAS SOUS 3253 HAS SOUPS 1382 WITH SCORE 1389.459
AT ITER 117 NEW BEST:: SOT 18355 SOS 7424 HAS SOPS 1918 HAS SOUS 3253 HAS SOUPS 1382 WITH SCORE 1389.424
AT ITER 120 NEW BEST:: SOT 18464 SOS 7467 HAS SOPS 1877 HAS SOUS 3217 HAS SOUPS 1357 WITH SCORE 1364.467
AT ITER 124 NEW BEST:: SOT 18374 SOS 7377 HAS SOPS 1877 HAS SOUS 3210 HAS SOUPS 1357 WITH SCORE 1364.377
AT ITER 131 NEW BEST:: SOT 18363 SOS 7391 HAS SOPS 1866 HAS SOUS 3209 HAS SOUPS 1356 WITH SCORE 1363.391
AT ITER 133 NEW BEST:: SOT 18380 SOS 7425 HAS SOPS 1833 HAS SOUS 3216 HAS SOUPS 1338 WITH SCORE 1345.425
AT ITER 135 NEW BEST:: SOT 18381 SOS 7422 HAS SOPS 1834 HAS SOUS 3215 HAS SOUPS 1338 WITH SCORE 1345.422
AT ITER 137 NEW BEST:: SOT 18426 SOS 7488 HAS SOPS 1831 HAS SOUS 3236 HAS SOUPS 1335 WITH SCORE 1342.488
AT ITER 144 NEW BEST:: SOT 18426 SOS 7474 HAS SOPS 1831 HAS SOUS 3236 HAS SOUPS 1335 WITH SCORE 1342.474
AT ITER 145 NEW BEST:: SOT 18426 SOS 7439 HAS SOPS 1831 HAS SOUS 3236 HAS SOUPS 1335 WITH SCORE 1342.439
AT ITER 147 NEW BEST:: SOT 18806 SOS 7769 HAS SOPS 1781 HAS SOUS 3341 HAS SOUPS 1298 WITH SCORE 1305.769
AT ITER 160 NEW BEST:: SOT 18953 SOS 7721 HAS SOPS 1852 HAS SOUS 3265 HAS SOUPS 1260 WITH SCORE 1267.721
AT ITER 164 NEW BEST:: SOT 18955 SOS 7749 HAS SOPS 1848 HAS SOUS 3261 HAS SOUPS 1256 WITH SCORE 1263.749
AT ITER 167 NEW BEST:: SOT 18996 SOS 7743 HAS SOPS 1812 HAS SOUS 3249 HAS SOUPS 1245 WITH SCORE 1252.743
AT ITER 168 NEW BEST:: SOT 19070 SOS 7723 HAS SOPS 1844 HAS SOUS 3207 HAS SOUPS 1224 WITH SCORE 1231.723
AT ITER 175 NEW BEST:: SOT 18229 SOS 8777 HAS SOPS 1003 HAS SOUS 2655 HAS SOUPS 668 WITH SCORE 676.777
AT ITER 177 NEW BEST:: SOT 18203 SOS 8751 HAS SOPS 1003 HAS SOUS 2655 HAS SOUPS 668 WITH SCORE 676.751
AT ITER 178 NEW BEST:: SOT 18234 SOS 8842 HAS SOPS 976 HAS SOUS 2667 HAS SOUPS 651 WITH SCORE 659.842
AT ITER 188 NEW BEST:: SOT 18232 SOS 8839 HAS SOPS 974 HAS SOUS 2667 HAS SOUPS 651 WITH SCORE 659.839
AT ITER 189 NEW BEST:: SOT 18127 SOS 8731 HAS SOPS 971 HAS SOUS 2578 HAS SOUPS 648 WITH SCORE 656.731
AT ITER 198 NEW BEST:: SOT 18106 SOS 8913 HAS SOPS 950 HAS SOUS 2579 HAS SOUPS 642 WITH SCORE 650.913
AT ITER 199 NEW BEST:: SOT 18018 SOS 8825 HAS SOPS 950 HAS SOUS 2537 HAS SOUPS 642 WITH SCORE 650.825
AT ITER 202 NEW BEST:: SOT 17977 SOS 8824 HAS SOPS 936 HAS SOUS 2533 HAS SOUPS 638 WITH SCORE 646.824
AT ITER 205 NEW BEST:: SOT 18018 SOS 8811 HAS SOPS 863 HAS SOUS 2541 HAS SOUPS 619 WITH SCORE 627.811
AT ITER 210 NEW BEST:: SOT 17961 SOS 8781 HAS SOPS 862 HAS SOUS 2566 HAS SOUPS 618 WITH SCORE 626.781
AT ITER 215 NEW BEST:: SOT 17981 SOS 8797 HAS SOPS 858 HAS SOUS 2566 HAS SOUPS 614 WITH SCORE 622.797
AT ITER 220 NEW BEST:: SOT 17969 SOS 8701 HAS SOPS 846 HAS SOUS 2554 HAS SOUPS 602 WITH SCORE 610.701
AT ITER 221 NEW BEST:: SOT 17959 SOS 8741 HAS SOPS 836 HAS SOUS 2556 HAS SOUPS 594 WITH SCORE 602.741
AT ITER 223 NEW BEST:: SOT 17955 SOS 8845 HAS SOPS 816 HAS SOUS 2556 HAS SOUPS 590 WITH SCORE 598.845
AT ITER 231 NEW BEST:: SOT 17940 SOS 8865 HAS SOPS 801 HAS SOUS 2576 HAS SOUPS 575 WITH SCORE 583.865
AT ITER 235 NEW BEST:: SOT 18069 SOS 8959 HAS SOPS 766 HAS SOUS 2559 HAS SOUPS 558 WITH SCORE 566.959
AT ITER 248 NEW BEST:: SOT 18023 SOS 8933 HAS SOPS 731 HAS SOUS 2531 HAS SOUPS 530 WITH SCORE 538.933
AT ITER 253 NEW BEST:: SOT 18172 SOS 9015 HAS SOPS 664 HAS SOUS 2477 HAS SOUPS 503 WITH SCORE 512.015
AT ITER 255 NEW BEST:: SOT 18067 SOS 9146 HAS SOPS 559 HAS SOUS 2488 HAS SOUPS 483 WITH SCORE 492.146
AT ITER 268 NEW BEST:: SOT 18076 SOS 9142 HAS SOPS 524 HAS SOUS 2500 HAS SOUPS 483 WITH SCORE 492.142
AT ITER 281 NEW BEST:: SOT 18076 SOS 9912 HAS SOPS 489 HAS SOUS 2478 HAS SOUPS 461 WITH SCORE 470.912
AT ITER 288 NEW BEST:: SOT 18075 SOS 9928 HAS SOPS 488 HAS SOUS 2483 HAS SOUPS 460 WITH SCORE 469.928
AT ITER 300 NEW BEST:: SOT 18079 SOS 10062 HAS SOPS 436 HAS SOUS 2450 HAS SOUPS 427 WITH SCORE 437.062
AT ITER 306 NEW BEST:: SOT 18283 SOS 10318 HAS SOPS 450 HAS SOUS 2516 HAS SOUPS 419 WITH SCORE 429.318
AT ITER 309 NEW BEST:: SOT 18262 SOS 10297 HAS SOPS 450 HAS SOUS 2513 HAS SOUPS 419 WITH SCORE 429.297
AT ITER 336 NEW BEST:: SOT 18194 SOS 10195 HAS SOPS 450 HAS SOUS 2445 HAS SOUPS 419 WITH SCORE 429.195
AT ITER 337 NEW BEST:: SOT 18218 SOS 10174 HAS SOPS 405 HAS SOUS 2370 HAS SOUPS 396 WITH SCORE 406.174
AT ITER 342 NEW BEST:: SOT 18185 SOS 10141 HAS SOPS 405 HAS SOUS 2378 HAS SOUPS 396 WITH SCORE 406.141
AT ITER 347 NEW BEST:: SOT 18185 SOS 10133 HAS SOPS 405 HAS SOUS 2377 HAS SOUPS 396 WITH SCORE 406.133
AT ITER 353 NEW BEST:: SOT 18210 SOS 10153 HAS SOPS 400 HAS SOUS 2372 HAS SOUPS 391 WITH SCORE 401.153
AT ITER 359 NEW BEST:: SOT 18216 SOS 10099 HAS SOPS 406 HAS SOUS 2343 HAS SOUPS 384 WITH SCORE 394.099
AT ITER 360 NEW BEST:: SOT 18204 SOS 10075 HAS SOPS 406 HAS SOUS 2337 HAS SOUPS 384 WITH SCORE 394.075
AT ITER 373 NEW BEST:: SOT 18179 SOS 10025 HAS SOPS 399 HAS SOUS 2312 HAS SOUPS 377 WITH SCORE 387.025
AT ITER 415 NEW BEST:: SOT 18173 SOS 10019 HAS SOPS 399 HAS SOUS 2312 HAS SOUPS 377 WITH SCORE 387.019
AT ITER 433 NEW BEST:: SOT 18167 SOS 10016 HAS SOPS 399 HAS SOUS 2318 HAS SOUPS 377 WITH SCORE 387.016
AT ITER 436 NEW BEST:: SOT 18187 SOS 10034 HAS SOPS 397 HAS SOUS 2316 HAS SOUPS 375 WITH SCORE 385.034
AT ITER 458 NEW BEST:: SOT 18235 SOS 10072 HAS SOPS 387 HAS SOUS 2362 HAS SOUPS 365 WITH SCORE 375.072
AT ITER 468 NEW BEST:: SOT 18216 SOS 10055 HAS SOPS 386 HAS SOUS 2364 HAS SOUPS 364 WITH SCORE 374.055
AT ITER 485 NEW BEST:: SOT 18202 SOS 10034 HAS SOPS 386 HAS SOUS 2357 HAS SOUPS 364 WITH SCORE 374.034
AT ITER 492 NEW BEST:: SOT 18193 SOS 11045 HAS SOPS 377 HAS SOUS 2369 HAS SOUPS 355 WITH SCORE 366.045
AT ITER 494 NEW BEST:: SOT 18204 SOS 10792 HAS SOPS 377 HAS SOUS 2358 HAS SOUPS 355 WITH SCORE 365.792
AT ITER 498 NEW BEST:: SOT 18172 SOS 10760 HAS SOPS 377 HAS SOUS 2337 HAS SOUPS 355 WITH SCORE 365.76
AT ITER 513 NEW BEST:: SOT 18165 SOS 10710 HAS SOPS 370 HAS SOUS 2280 HAS SOUPS 346 WITH SCORE 356.71
AT ITER 536 NEW BEST:: SOT 18245 SOS 10789 HAS SOPS 342 HAS SOUS 2295 HAS SOUPS 331 WITH SCORE 341.789
AT ITER 542 NEW BEST:: SOT 18239 SOS 10783 HAS SOPS 342 HAS SOUS 2295 HAS SOUPS 331 WITH SCORE 341.783
AT ITER 550 NEW BEST:: SOT 18263 SOS 10916 HAS SOPS 332 HAS SOUS 2319 HAS SOUPS 321 WITH SCORE 331.916
AT ITER 553 NEW BEST:: SOT 18185 SOS 10877 HAS SOPS 332 HAS SOUS 2376 HAS SOUPS 321 WITH SCORE 331.877
AT ITER 562 NEW BEST:: SOT 18168 SOS 10963 HAS SOPS 327 HAS SOUS 2372 HAS SOUPS 317 WITH SCORE 327.963
AT ITER 581 NEW BEST:: SOT 18168 SOS 10961 HAS SOPS 327 HAS SOUS 2368 HAS SOUPS 317 WITH SCORE 327.961
AT ITER 592 NEW BEST:: SOT 18006 SOS 10880 HAS SOPS 327 HAS SOUS 2449 HAS SOUPS 317 WITH SCORE 327.88
AT ITER 598 NEW BEST:: SOT 17990 SOS 10864 HAS SOPS 327 HAS SOUS 2449 HAS SOUPS 317 WITH SCORE 327.864
AT ITER 603 NEW BEST:: SOT 17962 SOS 10836 HAS SOPS 327 HAS SOUS 2428 HAS SOUPS 317 WITH SCORE 327.836
AT ITER 614 NEW BEST:: SOT 18082 SOS 10940 HAS SOPS 311 HAS SOUS 2446 HAS SOUPS 303 WITH SCORE 313.94
AT ITER 638 NEW BEST:: SOT 18083 SOS 10936 HAS SOPS 312 HAS SOUS 2445 HAS SOUPS 303 WITH SCORE 313.936
AT ITER 642 NEW BEST:: SOT 18088 SOS 10986 HAS SOPS 307 HAS SOUS 2450 HAS SOUPS 298 WITH SCORE 308.986
AT ITER 651 NEW BEST:: SOT 18147 SOS 11065 HAS SOPS 288 HAS SOUS 2479 HAS SOUPS 288 WITH SCORE 299.065
AT ITER 675 NEW BEST:: SOT 18146 SOS 11059 HAS SOPS 288 HAS SOUS 2478 HAS SOUPS 288 WITH SCORE 299.059
AT ITER 676 NEW BEST:: SOT 18140 SOS 11053 HAS SOPS 288 HAS SOUS 2475 HAS SOUPS 288 WITH SCORE 299.053
AT ITER 678 NEW BEST:: SOT 18140 SOS 11046 HAS SOPS 288 HAS SOUS 2468 HAS SOUPS 288 WITH SCORE 299.046
AT ITER 706 NEW BEST:: SOT 18138 SOS 11044 HAS SOPS 288 HAS SOUS 2468 HAS SOUPS 288 WITH SCORE 299.044
AT ITER 711 NEW BEST:: SOT 18002 SOS 10874 HAS SOPS 288 HAS SOUS 2362 HAS SOUPS 288 WITH SCORE 298.874
AT ITER 746 NEW BEST:: SOT 17878 SOS 10750 HAS SOPS 288 HAS SOUS 2340 HAS SOUPS 288 WITH SCORE 298.75
AT ITER 752 NEW BEST:: SOT 17878 SOS 10728 HAS SOPS 286 HAS SOUS 2336 HAS SOUPS 286 WITH SCORE 296.728
AT ITER 763 NEW BEST:: SOT 17790 SOS 10640 HAS SOPS 286 HAS SOUS 2320 HAS SOUPS 286 WITH SCORE 296.64
AT ITER 770 NEW BEST:: SOT 17786 SOS 10636 HAS SOPS 286 HAS SOUS 2320 HAS SOUPS 286 WITH SCORE 296.636
AT ITER 783 NEW BEST:: SOT 17770 SOS 10620 HAS SOPS 286 HAS SOUS 2312 HAS SOUPS 286 WITH SCORE 296.62
AT ITER 788 NEW BEST:: SOT 17766 SOS 10616 HAS SOPS 286 HAS SOUS 2312 HAS SOUPS 286 WITH SCORE 296.616
AT ITER 803 NEW BEST:: SOT 17758 SOS 10610 HAS SOPS 286 HAS SOUS 2312 HAS SOUPS 286 WITH SCORE 296.61
AT ITER 814 NEW BEST:: SOT 17732 SOS 10584 HAS SOPS 286 HAS SOUS 2312 HAS SOUPS 286 WITH SCORE 296.584
AT ITER 817 NEW BEST:: SOT 17720 SOS 10572 HAS SOPS 286 HAS SOUS 2303 HAS SOUPS 286 WITH SCORE 296.572
AT ITER 822 NEW BEST:: SOT 17708 SOS 10563 HAS SOPS 286 HAS SOUS 2306 HAS SOUPS 286 WITH SCORE 296.563
AT ITER 831 NEW BEST:: SOT 17676 SOS 10531 HAS SOPS 286 HAS SOUS 2293 HAS SOUPS 286 WITH SCORE 296.531
AT ITER 861 NEW BEST:: SOT 17550 SOS 10405 HAS SOPS 286 HAS SOUS 2293 HAS SOUPS 286 WITH SCORE 296.405
AT ITER 865 NEW BEST:: SOT 17548 SOS 10401 HAS SOPS 286 HAS SOUS 2293 HAS SOUPS 286 WITH SCORE 296.401
AT ITER 890 NEW BEST:: SOT 17516 SOS 10369 HAS SOPS 286 HAS SOUS 2289 HAS SOUPS 286 WITH SCORE 296.369
AT ITER 916 NEW BEST:: SOT 17510 SOS 10360 HAS SOPS 286 HAS SOUS 2283 HAS SOUPS 286 WITH SCORE 296.36
AT ITER 922 NEW BEST:: SOT 17504 SOS 10352 HAS SOPS 286 HAS SOUS 2280 HAS SOUPS 286 WITH SCORE 296.352
AT ITER 929 NEW BEST:: SOT 17488 SOS 10336 HAS SOPS 286 HAS SOUS 2280 HAS SOUPS 286 WITH SCORE 296.336
AT ITER 935 NEW BEST:: SOT 17472 SOS 10320 HAS SOPS 286 HAS SOUS 2280 HAS SOUPS 286 WITH SCORE 296.32
AT ITER 945 NEW BEST:: SOT 17364 SOS 10212 HAS SOPS 286 HAS SOUS 2226 HAS SOUPS 286 WITH SCORE 296.212
AT ITER 956 NEW BEST:: SOT 17360 SOS 10204 HAS SOPS 286 HAS SOUS 2225 HAS SOUPS 286 WITH SCORE 296.204
AT ITER 960 NEW BEST:: SOT 17344 SOS 10188 HAS SOPS 286 HAS SOUS 2209 HAS SOUPS 286 WITH SCORE 296.188
AT ITER 979 NEW BEST:: SOT 17344 SOS 10118 HAS SOPS 286 HAS SOUS 2209 HAS SOUPS 286 WITH SCORE 296.118
AT ITER 980 NEW BEST:: SOT 17259 SOS 10050 HAS SOPS 286 HAS SOUS 2242 HAS SOUPS 286 WITH SCORE 296.05
AT ITER 1004 NEW BEST:: SOT 17217 SOS 10008 HAS SOPS 286 HAS SOUS 2204 HAS SOUPS 286 WITH SCORE 296.008
AT ITER 1008 NEW BEST:: SOT 17117 SOS 9908 HAS SOPS 286 HAS SOUS 2104 HAS SOUPS 286 WITH SCORE 295.908
AT ITER 1024 NEW BEST:: SOT 17117 SOS 9904 HAS SOPS 286 HAS SOUS 2100 HAS SOUPS 286 WITH SCORE 295.904
AT ITER 1082 NEW BEST:: SOT 16987 SOS 9774 HAS SOPS 286 HAS SOUS 2034 HAS SOUPS 286 WITH SCORE 295.774
AT ITER 1138 NEW BEST:: SOT 16941 SOS 9636 HAS SOPS 286 HAS SOUS 1988 HAS SOUPS 286 WITH SCORE 295.636
AT ITER 1143 NEW BEST:: SOT 16901 SOS 9592 HAS SOPS 286 HAS SOUS 1964 HAS SOUPS 286 WITH SCORE 295.592
AT ITER 1150 NEW BEST:: SOT 16877 SOS 9586 HAS SOPS 286 HAS SOUS 1970 HAS SOUPS 286 WITH SCORE 295.586
AT ITER 1227 NEW BEST:: SOT 16880 SOS 9571 HAS SOPS 286 HAS SOUS 1969 HAS SOUPS 285 WITH SCORE 294.571
AT ITER 1292 NEW BEST:: SOT 16880 SOS 9522 HAS SOPS 286 HAS SOUS 1962 HAS SOUPS 285 WITH SCORE 294.522
AT ITER 1304 NEW BEST:: SOT 16891 SOS 9523 HAS SOPS 283 HAS SOUS 1960 HAS SOUPS 283 WITH SCORE 292.523
AT ITER 1345 NEW BEST:: SOT 16871 SOS 9503 HAS SOPS 283 HAS SOUS 1950 HAS SOUPS 283 WITH SCORE 292.503
AT ITER 1365 NEW BEST:: SOT 16850 SOS 9470 HAS SOPS 283 HAS SOUS 1941 HAS SOUPS 283 WITH SCORE 292.47
AT ITER 1401 NEW BEST:: SOT 16846 SOS 9464 HAS SOPS 283 HAS SOUS 1939 HAS SOUPS 283 WITH SCORE 292.464
AT ITER 1403 NEW BEST:: SOT 16842 SOS 9460 HAS SOPS 283 HAS SOUS 1939 HAS SOUPS 283 WITH SCORE 292.46
AT ITER 1486 NEW BEST:: SOT 16800 SOS 9418 HAS SOPS 283 HAS SOUS 1960 HAS SOUPS 283 WITH SCORE 292.418
AT ITER 1506 NEW BEST:: SOT 16792 SOS 9410 HAS SOPS 283 HAS SOUS 1956 HAS SOUPS 283 WITH SCORE 292.41
AT ITER 1569 NEW BEST:: SOT 16786 SOS 9404 HAS SOPS 283 HAS SOUS 1953 HAS SOUPS 283 WITH SCORE 292.404
AT ITER 1588 NEW BEST:: SOT 16762 SOS 9372 HAS SOPS 283 HAS SOUS 1945 HAS SOUPS 283 WITH SCORE 292.372
AT ITER 1589 NEW BEST:: SOT 16760 SOS 9370 HAS SOPS 283 HAS SOUS 1943 HAS SOUPS 283 WITH SCORE 292.37
AT ITER 1590 NEW BEST:: SOT 16700 SOS 9340 HAS SOPS 283 HAS SOUS 1973 HAS SOUPS 283 WITH SCORE 292.34
AT ITER 1681 NEW BEST:: SOT 16676 SOS 9244 HAS SOPS 283 HAS SOUS 1973 HAS SOUPS 283 WITH SCORE 292.244
AT ITER 1694 NEW BEST:: SOT 16652 SOS 9211 HAS SOPS 283 HAS SOUS 1967 HAS SOUPS 283 WITH SCORE 292.211
AT ITER 1745 NEW BEST:: SOT 16646 SOS 9167 HAS SOPS 283 HAS SOUS 1965 HAS SOUPS 283 WITH SCORE 292.167
AT ITER 1758 NEW BEST:: SOT 16625 SOS 9125 HAS SOPS 283 HAS SOUS 1944 HAS SOUPS 283 WITH SCORE 292.125
AT ITER 1769 NEW BEST:: SOT 16603 SOS 9103 HAS SOPS 283 HAS SOUS 1927 HAS SOUPS 283 WITH SCORE 292.103
AT ITER 1862 NEW BEST:: SOT 16595 SOS 9095 HAS SOPS 283 HAS SOUS 1927 HAS SOUPS 283 WITH SCORE 292.095
AT ITER 1883 NEW BEST:: SOT 16553 SOS 9053 HAS SOPS 283 HAS SOUS 1927 HAS SOUPS 283 WITH SCORE 292.053
AT ITER 1952 NEW BEST:: SOT 16537 SOS 9029 HAS SOPS 283 HAS SOUS 1895 HAS SOUPS 283 WITH SCORE 292.029
AT ITER 2001 NEW BEST:: SOT 16537 SOS 9023 HAS SOPS 283 HAS SOUS 1895 HAS SOUPS 283 WITH SCORE 292.023
AT ITER 2024 NEW BEST:: SOT 16531 SOS 9015 HAS SOPS 283 HAS SOUS 1893 HAS SOUPS 283 WITH SCORE 292.015
AT ITER 2043 NEW BEST:: SOT 16531 SOS 9010 HAS SOPS 283 HAS SOUS 1893 HAS SOUPS 283 WITH SCORE 292.01
AT ITER 2094 NEW BEST:: SOT 16511 SOS 8990 HAS SOPS 283 HAS SOUS 1893 HAS SOUPS 283 WITH SCORE 291.99
AT ITER 2132 NEW BEST:: SOT 16507 SOS 8985 HAS SOPS 283 HAS SOUS 1890 HAS SOUPS 283 WITH SCORE 291.985
AT ITER 2133 NEW BEST:: SOT 16501 SOS 8973 HAS SOPS 283 HAS SOUS 1888 HAS SOUPS 283 WITH SCORE 291.973
AT ITER 2156 NEW BEST:: SOT 16443 SOS 8915 HAS SOPS 283 HAS SOUS 1859 HAS SOUPS 283 WITH SCORE 291.915
AT ITER 2189 NEW BEST:: SOT 16443 SOS 8907 HAS SOPS 283 HAS SOUS 1843 HAS SOUPS 283 WITH SCORE 291.907
AT ITER 2191 NEW BEST:: SOT 16419 SOS 8887 HAS SOPS 283 HAS SOUS 1850 HAS SOUPS 283 WITH SCORE 291.887
AT ITER 2201 NEW BEST:: SOT 16409 SOS 8877 HAS SOPS 283 HAS SOUS 1843 HAS SOUPS 283 WITH SCORE 291.877
AT ITER 2283 NEW BEST:: SOT 16409 SOS 8848 HAS SOPS 283 HAS SOUS 1785 HAS SOUPS 283 WITH SCORE 291.848
AT ITER 2313 NEW BEST:: SOT 16393 SOS 8832 HAS SOPS 283 HAS SOUS 1771 HAS SOUPS 283 WITH SCORE 291.832
AT ITER 2320 NEW BEST:: SOT 16402 SOS 8826 HAS SOPS 283 HAS SOUS 1768 HAS SOUPS 283 WITH SCORE 291.826
AT ITER 2366 NEW BEST:: SOT 16396 SOS 8781 HAS SOPS 283 HAS SOUS 1762 HAS SOUPS 283 WITH SCORE 291.781
AT ITER 2467 NEW BEST:: SOT 16394 SOS 8779 HAS SOPS 283 HAS SOUS 1762 HAS SOUPS 283 WITH SCORE 291.779
AT ITER 2515 NEW BEST:: SOT 16378 SOS 8763 HAS SOPS 283 HAS SOUS 1762 HAS SOUPS 283 WITH SCORE 291.763
AT ITER 2590 NEW BEST:: SOT 16368 SOS 8753 HAS SOPS 283 HAS SOUS 1761 HAS SOUPS 283 WITH SCORE 291.753
AT ITER 2694 NEW BEST:: SOT 16332 SOS 8717 HAS SOPS 283 HAS SOUS 1740 HAS SOUPS 283 WITH SCORE 291.717
AT ITER 2773 NEW BEST:: SOT 16329 SOS 8705 HAS SOPS 283 HAS SOUS 1740 HAS SOUPS 283 WITH SCORE 291.705
AT ITER 3036 NEW BEST:: SOT 16323 SOS 8693 HAS SOPS 283 HAS SOUS 1740 HAS SOUPS 283 WITH SCORE 291.693
AT ITER 3095 NEW BEST:: SOT 16317 SOS 8687 HAS SOPS 283 HAS SOUS 1737 HAS SOUPS 283 WITH SCORE 291.687
AT ITER 3293 NEW BEST:: SOT 16317 SOS 8639 HAS SOPS 283 HAS SOUS 1713 HAS SOUPS 283 WITH SCORE 291.639
AT ITER 3392 NEW BEST:: SOT 16316 SOS 8638 HAS SOPS 283 HAS SOUS 1713 HAS SOUPS 283 WITH SCORE 291.638
AT ITER 3396 NEW BEST:: SOT 16316 SOS 8632 HAS SOPS 283 HAS SOUS 1701 HAS SOUPS 283 WITH SCORE 291.632
AT ITER 3424 NEW BEST:: SOT 16316 SOS 8627 HAS SOPS 283 HAS SOUS 1691 HAS SOUPS 283 WITH SCORE 291.627
AT ITER 3469 NEW BEST:: SOT 16312 SOS 8623 HAS SOPS 283 HAS SOUS 1689 HAS SOUPS 283 WITH SCORE 291.623
AT ITER 3502 NEW BEST:: SOT 16312 SOS 8621 HAS SOPS 283 HAS SOUS 1689 HAS SOUPS 283 WITH SCORE 291.621
AT ITER 3528 NEW BEST:: SOT 16310 SOS 8619 HAS SOPS 283 HAS SOUS 1691 HAS SOUPS 283 WITH SCORE 291.619
AT ITER 3642 NEW BEST:: SOT 16300 SOS 8609 HAS SOPS 283 HAS SOUS 1686 HAS SOUPS 283 WITH SCORE 291.609
AT ITER 3712 NEW BEST:: SOT 16298 SOS 8608 HAS SOPS 283 HAS SOUS 1686 HAS SOUPS 283 WITH SCORE 291.608
AT ITER 3729 NEW BEST:: SOT 16295 SOS 8556 HAS SOPS 283 HAS SOUS 1685 HAS SOUPS 283 WITH SCORE 291.556
AT ITER 4064 NEW BEST:: SOT 16295 SOS 8554 HAS SOPS 283 HAS SOUS 1685 HAS SOUPS 283 WITH SCORE 291.554
AT ITER 4195 NEW BEST:: SOT 16207 SOS 8466 HAS SOPS 283 HAS SOUS 1658 HAS SOUPS 283 WITH SCORE 291.466
AT ITER 4226 NEW BEST:: SOT 16201 SOS 8454 HAS SOPS 283 HAS SOUS 1646 HAS SOUPS 283 WITH SCORE 291.454
AT ITER 4232 NEW BEST:: SOT 16201 SOS 8412 HAS SOPS 283 HAS SOUS 1639 HAS SOUPS 283 WITH SCORE 291.412
AT ITER 4260 NEW BEST:: SOT 16200 SOS 8410 HAS SOPS 283 HAS SOUS 1639 HAS SOUPS 283 WITH SCORE 291.41
AT ITER 4321 NEW BEST:: SOT 16128 SOS 8314 HAS SOPS 283 HAS SOUS 1603 HAS SOUPS 283 WITH SCORE 291.314
AT ITER 4519 NEW BEST:: SOT 16128 SOS 8309 HAS SOPS 283 HAS SOUS 1598 HAS SOUPS 283 WITH SCORE 291.309
AT ITER 4520 NEW BEST:: SOT 16120 SOS 8301 HAS SOPS 283 HAS SOUS 1591 HAS SOUPS 283 WITH SCORE 291.301
AT ITER 4605 NEW BEST:: SOT 16052 SOS 8267 HAS SOPS 283 HAS SOUS 1625 HAS SOUPS 283 WITH SCORE 291.267
AT ITER 4679 NEW BEST:: SOT 16048 SOS 8251 HAS SOPS 283 HAS SOUS 1625 HAS SOUPS 283 WITH SCORE 291.251
AT ITER 4760 NEW BEST:: SOT 16048 SOS 8250 HAS SOPS 283 HAS SOUS 1623 HAS SOUPS 283 WITH SCORE 291.25
AT ITER 4822 NEW BEST:: SOT 16040 SOS 8242 HAS SOPS 283 HAS SOUS 1619 HAS SOUPS 283 WITH SCORE 291.242
AT ITER 4839 NEW BEST:: SOT 16038 SOS 8240 HAS SOPS 283 HAS SOUS 1619 HAS SOUPS 283 WITH SCORE 291.24
AT ITER 4848 NEW BEST:: SOT 16034 SOS 8236 HAS SOPS 283 HAS SOUS 1615 HAS SOUPS 283 WITH SCORE 291.236
AT ITER 5070 NEW BEST:: SOT 16034 SOS 8191 HAS SOPS 283 HAS SOUS 1615 HAS SOUPS 283 WITH SCORE 291.191
AT ITER 5178 NEW BEST:: SOT 16034 SOS 8176 HAS SOPS 283 HAS SOUS 1585 HAS SOUPS 283 WITH SCORE 291.176
AT ITER 5467 NEW BEST:: SOT 16006 SOS 8144 HAS SOPS 283 HAS SOUS 1585 HAS SOUPS 283 WITH SCORE 291.144
AT ITER 5563 NEW BEST:: SOT 15970 SOS 8120 HAS SOPS 283 HAS SOUS 1591 HAS SOUPS 283 WITH SCORE 291.12
AT ITER 5860 NEW BEST:: SOT 15970 SOS 8119 HAS SOPS 283 HAS SOUS 1589 HAS SOUPS 283 WITH SCORE 291.119
AT ITER 5996 NEW BEST:: SOT 15967 SOS 8113 HAS SOPS 283 HAS SOUS 1580 HAS SOUPS 283 WITH SCORE 291.113
AT ITER 6009 NEW BEST:: SOT 15965 SOS 8111 HAS SOPS 283 HAS SOUS 1580 HAS SOUPS 283 WITH SCORE 291.111
AT ITER 6026 NEW BEST:: SOT 15963 SOS 8110 HAS SOPS 283 HAS SOUS 1583 HAS SOUPS 283 WITH SCORE 291.11
AT ITER 6219 NEW BEST:: SOT 15927 SOS 8074 HAS SOPS 283 HAS SOUS 1565 HAS SOUPS 283 WITH SCORE 291.074
AT ITER 6288 NEW BEST:: SOT 15887 SOS 8029 HAS SOPS 283 HAS SOUS 1565 HAS SOUPS 283 WITH SCORE 291.029
AT ITER 6735 NEW BEST:: SOT 15877 SOS 7984 HAS SOPS 283 HAS SOUS 1565 HAS SOUPS 283 WITH SCORE 290.984
AT ITER 6890 NEW BEST:: SOT 15875 SOS 7982 HAS SOPS 283 HAS SOUS 1563 HAS SOUPS 283 WITH SCORE 290.982
AT ITER 6951 NEW BEST:: SOT 15865 SOS 7972 HAS SOPS 283 HAS SOUS 1562 HAS SOUPS 283 WITH SCORE 290.972
AT ITER 7101 NEW BEST:: SOT 15853 SOS 7960 HAS SOPS 283 HAS SOUS 1565 HAS SOUPS 283 WITH SCORE 290.96
AT ITER 7282 NEW BEST:: SOT 15845 SOS 7952 HAS SOPS 283 HAS SOUS 1563 HAS SOUPS 283 WITH SCORE 290.952
AT ITER 7889 NEW BEST:: SOT 15835 SOS 7920 HAS SOPS 283 HAS SOUS 1557 HAS SOUPS 283 WITH SCORE 290.92
AT ITER 7996 NEW BEST:: SOT 15799 SOS 7884 HAS SOPS 283 HAS SOUS 1539 HAS SOUPS 283 WITH SCORE 290.884
AT ITER 8012 NEW BEST:: SOT 15796 SOS 7880 HAS SOPS 283 HAS SOUS 1539 HAS SOUPS 283 WITH SCORE 290.88
AT ITER 8039 NEW BEST:: SOT 15764 SOS 7848 HAS SOPS 283 HAS SOUS 1515 HAS SOUPS 283 WITH SCORE 290.848
AT ITER 8131 NEW BEST:: SOT 15762 SOS 7846 HAS SOPS 283 HAS SOUS 1513 HAS SOUPS 283 WITH SCORE 290.846
AT ITER 8149 NEW BEST:: SOT 15754 SOS 7838 HAS SOPS 283 HAS SOUS 1513 HAS SOUPS 283 WITH SCORE 290.838
AT ITER 8270 NEW BEST:: SOT 15742 SOS 7826 HAS SOPS 283 HAS SOUS 1507 HAS SOUPS 283 WITH SCORE 290.826
AT ITER 8419 NEW BEST:: SOT 15742 SOS 7823 HAS SOPS 283 HAS SOUS 1505 HAS SOUPS 283 WITH SCORE 290.823
AT ITER 8602 NEW BEST:: SOT 15741 SOS 7812 HAS SOPS 283 HAS SOUS 1504 HAS SOUPS 283 WITH SCORE 290.812
AT ITER 8611 NEW BEST:: SOT 15741 SOS 7805 HAS SOPS 283 HAS SOUS 1504 HAS SOUPS 283 WITH SCORE 290.805
AT ITER 9008 NEW BEST:: SOT 15741 SOS 7789 HAS SOPS 283 HAS SOUS 1472 HAS SOUPS 283 WITH SCORE 290.789
AT ITER 9110 NEW BEST:: SOT 15739 SOS 7787 HAS SOPS 283 HAS SOUS 1471 HAS SOUPS 283 WITH SCORE 290.787
AT ITER 9405 NEW BEST:: SOT 15735 SOS 7782 HAS SOPS 283 HAS SOUS 1469 HAS SOUPS 283 WITH SCORE 290.782
STATE_SPACE STATES 18889465931478580854784 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 99 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 2025895221151077796675584 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589369565416

--------------------
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="Eratosthenes-PT-100"
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 Eratosthenes-PT-100, 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 r063-tajo-158922808401040"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Eratosthenes-PT-100.tgz
mv Eratosthenes-PT-100 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 ;