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.r207-tajo-159033469000120.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 ShieldIIPs-PT-005B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469000120
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 248K
-rw-r--r-- 1 mcc users 3.1K May 14 00:33 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K May 14 00:33 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 13 17:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 17:46 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 14 10:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 14 10:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 14 10:01 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 14 10:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 2.8K May 13 13:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 13K May 13 13:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 07:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 07:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 82K May 12 20:42 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 1590435527262

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

Filename model.pnml
Petri model created: 303 places, 298 transitions, 896 arcs.
AT ITER 0 NEW BEST:: SOT 50992 SOS 14714 HAS SOPS 14714 HAS SOUS 11998 HAS SOUPS 11998 WITH SCORE 12012.714
AT ITER 54 NEW BEST:: SOT 50992 SOS 14713 HAS SOPS 14713 HAS SOUS 11997 HAS SOUPS 11997 WITH SCORE 12011.713
AT ITER 68 NEW BEST:: SOT 50973 SOS 14694 HAS SOPS 14694 HAS SOUS 11978 HAS SOUPS 11978 WITH SCORE 11992.694
AT ITER 76 NEW BEST:: SOT 50961 SOS 14682 HAS SOPS 14682 HAS SOUS 11966 HAS SOUPS 11966 WITH SCORE 11980.682
AT ITER 80 NEW BEST:: SOT 50927 SOS 14682 HAS SOPS 14682 HAS SOUS 11942 HAS SOUPS 11942 WITH SCORE 11956.682
AT ITER 93 NEW BEST:: SOT 50923 SOS 14670 HAS SOPS 14670 HAS SOUS 11930 HAS SOUPS 11930 WITH SCORE 11944.67
AT ITER 115 NEW BEST:: SOT 50923 SOS 14653 HAS SOPS 14653 HAS SOUS 11930 HAS SOUPS 11930 WITH SCORE 11944.653
AT ITER 172 NEW BEST:: SOT 50923 SOS 14656 HAS SOPS 14656 HAS SOUS 11929 HAS SOUPS 11929 WITH SCORE 11943.656
AT ITER 200 NEW BEST:: SOT 50923 SOS 14640 HAS SOPS 14640 HAS SOUS 11929 HAS SOUPS 11929 WITH SCORE 11943.64
AT ITER 216 NEW BEST:: SOT 50904 SOS 14632 HAS SOPS 14632 HAS SOUS 11921 HAS SOUPS 11921 WITH SCORE 11935.632
AT ITER 222 NEW BEST:: SOT 50885 SOS 14632 HAS SOPS 14632 HAS SOUS 11920 HAS SOUPS 11920 WITH SCORE 11934.632
AT ITER 246 NEW BEST:: SOT 50846 SOS 14595 HAS SOPS 14595 HAS SOUS 11881 HAS SOUPS 11881 WITH SCORE 11895.595
AT ITER 252 NEW BEST:: SOT 50831 SOS 14517 HAS SOPS 14517 HAS SOUS 11875 HAS SOUPS 11875 WITH SCORE 11889.517
AT ITER 263 NEW BEST:: SOT 50770 SOS 14476 HAS SOPS 14476 HAS SOUS 11826 HAS SOUPS 11826 WITH SCORE 11840.476
AT ITER 289 NEW BEST:: SOT 50728 SOS 14445 HAS SOPS 14445 HAS SOUS 11795 HAS SOUPS 11795 WITH SCORE 11809.445
AT ITER 360 NEW BEST:: SOT 50728 SOS 14438 HAS SOPS 14438 HAS SOUS 11788 HAS SOUPS 11788 WITH SCORE 11802.438
AT ITER 361 NEW BEST:: SOT 50699 SOS 14433 HAS SOPS 14433 HAS SOUS 11761 HAS SOUPS 11761 WITH SCORE 11775.433
AT ITER 377 NEW BEST:: SOT 50690 SOS 14427 HAS SOPS 14427 HAS SOUS 11751 HAS SOUPS 11751 WITH SCORE 11765.427
AT ITER 426 NEW BEST:: SOT 50677 SOS 14388 HAS SOPS 14388 HAS SOUS 11724 HAS SOUPS 11724 WITH SCORE 11738.388
AT ITER 432 NEW BEST:: SOT 50665 SOS 14388 HAS SOPS 14388 HAS SOUS 11712 HAS SOUPS 11712 WITH SCORE 11726.388
AT ITER 451 NEW BEST:: SOT 50649 SOS 14356 HAS SOPS 14356 HAS SOUS 11696 HAS SOUPS 11696 WITH SCORE 11710.356
AT ITER 462 NEW BEST:: SOT 50649 SOS 14347 HAS SOPS 14347 HAS SOUS 11687 HAS SOUPS 11687 WITH SCORE 11701.347
AT ITER 472 NEW BEST:: SOT 50590 SOS 14288 HAS SOPS 14288 HAS SOUS 11628 HAS SOUPS 11628 WITH SCORE 11642.288
AT ITER 476 NEW BEST:: SOT 50596 SOS 14294 HAS SOPS 14294 HAS SOUS 11626 HAS SOUPS 11626 WITH SCORE 11640.294
AT ITER 484 NEW BEST:: SOT 50590 SOS 14286 HAS SOPS 14286 HAS SOUS 11619 HAS SOUPS 11619 WITH SCORE 11633.286
AT ITER 492 NEW BEST:: SOT 50592 SOS 14270 HAS SOPS 14270 HAS SOUS 11603 HAS SOUPS 11603 WITH SCORE 11617.27
AT ITER 493 NEW BEST:: SOT 50592 SOS 14269 HAS SOPS 14269 HAS SOUS 11602 HAS SOUPS 11602 WITH SCORE 11616.269
AT ITER 546 NEW BEST:: SOT 50592 SOS 14276 HAS SOPS 14276 HAS SOUS 11580 HAS SOUPS 11580 WITH SCORE 11594.276
AT ITER 549 NEW BEST:: SOT 50579 SOS 14250 HAS SOPS 14250 HAS SOUS 11541 HAS SOUPS 11541 WITH SCORE 11555.25
AT ITER 550 NEW BEST:: SOT 50591 SOS 14183 HAS SOPS 14183 HAS SOUS 11498 HAS SOUPS 11498 WITH SCORE 11512.183
AT ITER 555 NEW BEST:: SOT 50591 SOS 14153 HAS SOPS 14153 HAS SOUS 11468 HAS SOUPS 11468 WITH SCORE 11482.153
AT ITER 580 NEW BEST:: SOT 50545 SOS 14111 HAS SOPS 14111 HAS SOUS 11434 HAS SOUPS 11434 WITH SCORE 11448.111
AT ITER 591 NEW BEST:: SOT 50497 SOS 14076 HAS SOPS 14076 HAS SOUS 11370 HAS SOUPS 11370 WITH SCORE 11384.076
AT ITER 619 NEW BEST:: SOT 50370 SOS 13986 HAS SOPS 13986 HAS SOUS 11280 HAS SOUPS 11280 WITH SCORE 11293.986
AT ITER 625 NEW BEST:: SOT 50367 SOS 13983 HAS SOPS 13983 HAS SOUS 11280 HAS SOUPS 11280 WITH SCORE 11293.983
AT ITER 659 NEW BEST:: SOT 50331 SOS 14070 HAS SOPS 14070 HAS SOUS 11275 HAS SOUPS 11275 WITH SCORE 11289.07
AT ITER 665 NEW BEST:: SOT 50315 SOS 14054 HAS SOPS 14054 HAS SOUS 11269 HAS SOUPS 11269 WITH SCORE 11283.054
AT ITER 691 NEW BEST:: SOT 50273 SOS 14012 HAS SOPS 14012 HAS SOUS 11227 HAS SOUPS 11227 WITH SCORE 11241.012
AT ITER 694 NEW BEST:: SOT 50273 SOS 13995 HAS SOPS 13995 HAS SOUS 11210 HAS SOUPS 11210 WITH SCORE 11223.995
AT ITER 731 NEW BEST:: SOT 50271 SOS 13991 HAS SOPS 13991 HAS SOUS 11206 HAS SOUPS 11206 WITH SCORE 11219.991
AT ITER 772 NEW BEST:: SOT 50252 SOS 13735 HAS SOPS 13735 HAS SOUS 11101 HAS SOUPS 11101 WITH SCORE 11114.735
AT ITER 781 NEW BEST:: SOT 50252 SOS 13742 HAS SOPS 13742 HAS SOUS 11094 HAS SOUPS 11094 WITH SCORE 11107.742
AT ITER 799 NEW BEST:: SOT 50206 SOS 13696 HAS SOPS 13696 HAS SOUS 11086 HAS SOUPS 11086 WITH SCORE 11099.696
AT ITER 819 NEW BEST:: SOT 50204 SOS 13692 HAS SOPS 13692 HAS SOUS 11084 HAS SOUPS 11084 WITH SCORE 11097.692
AT ITER 832 NEW BEST:: SOT 50176 SOS 13683 HAS SOPS 13683 HAS SOUS 11072 HAS SOUPS 11072 WITH SCORE 11085.683
AT ITER 833 NEW BEST:: SOT 50132 SOS 13707 HAS SOPS 13707 HAS SOUS 10970 HAS SOUPS 10970 WITH SCORE 10983.707
AT ITER 844 NEW BEST:: SOT 50102 SOS 13601 HAS SOPS 13601 HAS SOUS 10969 HAS SOUPS 10969 WITH SCORE 10982.601
AT ITER 851 NEW BEST:: SOT 50099 SOS 13600 HAS SOPS 13600 HAS SOUS 10968 HAS SOUPS 10968 WITH SCORE 10981.6
AT ITER 901 NEW BEST:: SOT 50103 SOS 13596 HAS SOPS 13596 HAS SOUS 10964 HAS SOUPS 10964 WITH SCORE 10977.596
AT ITER 922 NEW BEST:: SOT 50073 SOS 13484 HAS SOPS 13484 HAS SOUS 10912 HAS SOUPS 10912 WITH SCORE 10925.484
AT ITER 923 NEW BEST:: SOT 50073 SOS 13423 HAS SOPS 13423 HAS SOUS 10846 HAS SOUPS 10846 WITH SCORE 10859.423
AT ITER 930 NEW BEST:: SOT 50073 SOS 13373 HAS SOPS 13373 HAS SOUS 10796 HAS SOUPS 10796 WITH SCORE 10809.373
AT ITER 933 NEW BEST:: SOT 50073 SOS 13359 HAS SOPS 13359 HAS SOUS 10796 HAS SOUPS 10796 WITH SCORE 10809.359
AT ITER 946 NEW BEST:: SOT 50073 SOS 13343 HAS SOPS 13343 HAS SOUS 10780 HAS SOUPS 10780 WITH SCORE 10793.343
AT ITER 959 NEW BEST:: SOT 50082 SOS 13395 HAS SOPS 13395 HAS SOUS 10760 HAS SOUPS 10760 WITH SCORE 10773.395
AT ITER 963 NEW BEST:: SOT 50082 SOS 13375 HAS SOPS 13375 HAS SOUS 10750 HAS SOUPS 10750 WITH SCORE 10763.375
AT ITER 990 NEW BEST:: SOT 50064 SOS 13371 HAS SOPS 13371 HAS SOUS 10746 HAS SOUPS 10746 WITH SCORE 10759.371
AT ITER 1002 NEW BEST:: SOT 50052 SOS 13353 HAS SOPS 13353 HAS SOUS 10729 HAS SOUPS 10729 WITH SCORE 10742.353
AT ITER 1057 NEW BEST:: SOT 50050 SOS 13346 HAS SOPS 13346 HAS SOUS 10727 HAS SOUPS 10727 WITH SCORE 10740.346
AT ITER 1085 NEW BEST:: SOT 50050 SOS 13332 HAS SOPS 13332 HAS SOUS 10727 HAS SOUPS 10727 WITH SCORE 10740.332
AT ITER 1109 NEW BEST:: SOT 50037 SOS 13303 HAS SOPS 13303 HAS SOUS 10704 HAS SOUPS 10704 WITH SCORE 10717.303
AT ITER 1118 NEW BEST:: SOT 50025 SOS 13275 HAS SOPS 13275 HAS SOUS 10673 HAS SOUPS 10673 WITH SCORE 10686.275
AT ITER 1142 NEW BEST:: SOT 50025 SOS 13274 HAS SOPS 13274 HAS SOUS 10672 HAS SOUPS 10672 WITH SCORE 10685.274
AT ITER 1188 NEW BEST:: SOT 50004 SOS 13232 HAS SOPS 13232 HAS SOUS 10630 HAS SOUPS 10630 WITH SCORE 10643.232
AT ITER 1203 NEW BEST:: SOT 49995 SOS 13214 HAS SOPS 13214 HAS SOUS 10609 HAS SOUPS 10609 WITH SCORE 10622.214
AT ITER 1207 NEW BEST:: SOT 49983 SOS 13196 HAS SOPS 13196 HAS SOUS 10595 HAS SOUPS 10595 WITH SCORE 10608.196
AT ITER 1208 NEW BEST:: SOT 49962 SOS 13154 HAS SOPS 13154 HAS SOUS 10574 HAS SOUPS 10574 WITH SCORE 10587.154
AT ITER 1220 NEW BEST:: SOT 49960 SOS 13152 HAS SOPS 13152 HAS SOUS 10572 HAS SOUPS 10572 WITH SCORE 10585.152
AT ITER 1228 NEW BEST:: SOT 49932 SOS 13135 HAS SOPS 13135 HAS SOUS 10555 HAS SOUPS 10555 WITH SCORE 10568.135
AT ITER 1237 NEW BEST:: SOT 49957 SOS 13185 HAS SOPS 13185 HAS SOUS 10553 HAS SOUPS 10553 WITH SCORE 10566.185
AT ITER 1252 NEW BEST:: SOT 49936 SOS 13162 HAS SOPS 13162 HAS SOUS 10531 HAS SOUPS 10531 WITH SCORE 10544.162
AT ITER 1290 NEW BEST:: SOT 49928 SOS 13154 HAS SOPS 13154 HAS SOUS 10523 HAS SOUPS 10523 WITH SCORE 10536.154
AT ITER 1303 NEW BEST:: SOT 49907 SOS 13133 HAS SOPS 13133 HAS SOUS 10502 HAS SOUPS 10502 WITH SCORE 10515.133
AT ITER 1310 NEW BEST:: SOT 49903 SOS 13131 HAS SOPS 13131 HAS SOUS 10498 HAS SOUPS 10498 WITH SCORE 10511.131
AT ITER 1319 NEW BEST:: SOT 49903 SOS 13122 HAS SOPS 13122 HAS SOUS 10489 HAS SOUPS 10489 WITH SCORE 10502.122
AT ITER 1326 NEW BEST:: SOT 49903 SOS 13121 HAS SOPS 13121 HAS SOUS 10488 HAS SOUPS 10488 WITH SCORE 10501.121
AT ITER 1344 NEW BEST:: SOT 49908 SOS 13157 HAS SOPS 13157 HAS SOUS 10475 HAS SOUPS 10475 WITH SCORE 10488.157
AT ITER 1350 NEW BEST:: SOT 49890 SOS 13217 HAS SOPS 13217 HAS SOUS 10447 HAS SOUPS 10447 WITH SCORE 10460.217
AT ITER 1351 NEW BEST:: SOT 49890 SOS 13215 HAS SOPS 13215 HAS SOUS 10446 HAS SOUPS 10446 WITH SCORE 10459.215
AT ITER 1363 NEW BEST:: SOT 49884 SOS 13196 HAS SOPS 13196 HAS SOUS 10419 HAS SOUPS 10419 WITH SCORE 10432.196
AT ITER 1369 NEW BEST:: SOT 49862 SOS 13185 HAS SOPS 13185 HAS SOUS 10411 HAS SOUPS 10411 WITH SCORE 10424.185
AT ITER 1436 NEW BEST:: SOT 49860 SOS 13182 HAS SOPS 13182 HAS SOUS 10409 HAS SOUPS 10409 WITH SCORE 10422.182
AT ITER 1439 NEW BEST:: SOT 49856 SOS 13174 HAS SOPS 13174 HAS SOUS 10401 HAS SOUPS 10401 WITH SCORE 10414.174
AT ITER 1478 NEW BEST:: SOT 49852 SOS 13166 HAS SOPS 13166 HAS SOUS 10393 HAS SOUPS 10393 WITH SCORE 10406.166
AT ITER 1481 NEW BEST:: SOT 49852 SOS 13165 HAS SOPS 13165 HAS SOUS 10392 HAS SOUPS 10392 WITH SCORE 10405.165
AT ITER 1511 NEW BEST:: SOT 49849 SOS 13131 HAS SOPS 13131 HAS SOUS 10392 HAS SOUPS 10392 WITH SCORE 10405.131
AT ITER 1517 NEW BEST:: SOT 49849 SOS 13178 HAS SOPS 13178 HAS SOUS 10377 HAS SOUPS 10377 WITH SCORE 10390.178
AT ITER 1531 NEW BEST:: SOT 49849 SOS 13172 HAS SOPS 13172 HAS SOUS 10375 HAS SOUPS 10375 WITH SCORE 10388.172
AT ITER 1537 NEW BEST:: SOT 49845 SOS 13155 HAS SOPS 13155 HAS SOUS 10370 HAS SOUPS 10370 WITH SCORE 10383.155
AT ITER 1557 NEW BEST:: SOT 49844 SOS 13019 HAS SOPS 13019 HAS SOUS 10369 HAS SOUPS 10369 WITH SCORE 10382.019
AT ITER 1559 NEW BEST:: SOT 49826 SOS 13013 HAS SOPS 13013 HAS SOUS 10349 HAS SOUPS 10349 WITH SCORE 10362.013
AT ITER 1562 NEW BEST:: SOT 49826 SOS 13013 HAS SOPS 13013 HAS SOUS 10346 HAS SOUPS 10346 WITH SCORE 10359.013
AT ITER 1578 NEW BEST:: SOT 49762 SOS 13011 HAS SOPS 13011 HAS SOUS 10290 HAS SOUPS 10290 WITH SCORE 10303.011
AT ITER 1608 NEW BEST:: SOT 49762 SOS 13000 HAS SOPS 13000 HAS SOUS 10288 HAS SOUPS 10288 WITH SCORE 10301.0
AT ITER 1631 NEW BEST:: SOT 49749 SOS 12949 HAS SOPS 12949 HAS SOUS 10265 HAS SOUPS 10265 WITH SCORE 10277.949
AT ITER 1638 NEW BEST:: SOT 49731 SOS 12930 HAS SOPS 12930 HAS SOUS 10246 HAS SOUPS 10246 WITH SCORE 10258.93
AT ITER 1650 NEW BEST:: SOT 49737 SOS 12929 HAS SOPS 12929 HAS SOUS 10239 HAS SOUPS 10239 WITH SCORE 10251.929
AT ITER 1668 NEW BEST:: SOT 49716 SOS 12845 HAS SOPS 12845 HAS SOUS 10193 HAS SOUPS 10193 WITH SCORE 10205.845
AT ITER 1760 NEW BEST:: SOT 49696 SOS 12809 HAS SOPS 12809 HAS SOUS 10156 HAS SOUPS 10156 WITH SCORE 10168.809
AT ITER 1799 NEW BEST:: SOT 49719 SOS 12794 HAS SOPS 12794 HAS SOUS 10141 HAS SOUPS 10141 WITH SCORE 10153.794
AT ITER 1850 NEW BEST:: SOT 49719 SOS 12776 HAS SOPS 12776 HAS SOUS 10123 HAS SOUPS 10123 WITH SCORE 10135.776
AT ITER 1880 NEW BEST:: SOT 49719 SOS 12756 HAS SOPS 12756 HAS SOUS 10123 HAS SOUPS 10123 WITH SCORE 10135.756
AT ITER 1882 NEW BEST:: SOT 49715 SOS 12808 HAS SOPS 12808 HAS SOUS 10098 HAS SOUPS 10098 WITH SCORE 10110.808
AT ITER 1884 NEW BEST:: SOT 49715 SOS 12691 HAS SOPS 12691 HAS SOUS 10098 HAS SOUPS 10098 WITH SCORE 10110.691
AT ITER 1890 NEW BEST:: SOT 49733 SOS 12689 HAS SOPS 12689 HAS SOUS 10096 HAS SOUPS 10096 WITH SCORE 10108.689
AT ITER 1898 NEW BEST:: SOT 49733 SOS 12689 HAS SOPS 12689 HAS SOUS 10086 HAS SOUPS 10086 WITH SCORE 10098.689
AT ITER 1927 NEW BEST:: SOT 49725 SOS 12681 HAS SOPS 12681 HAS SOUS 10066 HAS SOUPS 10066 WITH SCORE 10078.681
AT ITER 1928 NEW BEST:: SOT 49722 SOS 12672 HAS SOPS 12672 HAS SOUS 10060 HAS SOUPS 10060 WITH SCORE 10072.672
AT ITER 1945 NEW BEST:: SOT 49666 SOS 12517 HAS SOPS 12517 HAS SOUS 10036 HAS SOUPS 10036 WITH SCORE 10048.517
AT ITER 1946 NEW BEST:: SOT 49662 SOS 12521 HAS SOPS 12521 HAS SOUS 10032 HAS SOUPS 10032 WITH SCORE 10044.521
AT ITER 1948 NEW BEST:: SOT 49662 SOS 12519 HAS SOPS 12519 HAS SOUS 10030 HAS SOUPS 10030 WITH SCORE 10042.519
AT ITER 1965 NEW BEST:: SOT 49662 SOS 12518 HAS SOPS 12518 HAS SOUS 10029 HAS SOUPS 10029 WITH SCORE 10041.518
AT ITER 2031 NEW BEST:: SOT 49662 SOS 12578 HAS SOPS 12578 HAS SOUS 10028 HAS SOUPS 10028 WITH SCORE 10040.578
AT ITER 2051 NEW BEST:: SOT 49599 SOS 12530 HAS SOPS 12530 HAS SOUS 9980 HAS SOUPS 9980 WITH SCORE 9992.53
AT ITER 2065 NEW BEST:: SOT 49599 SOS 12528 HAS SOPS 12528 HAS SOUS 9976 HAS SOUPS 9976 WITH SCORE 9988.528
AT ITER 2108 NEW BEST:: SOT 49587 SOS 12475 HAS SOPS 12475 HAS SOUS 9935 HAS SOUPS 9935 WITH SCORE 9947.475
AT ITER 2178 NEW BEST:: SOT 49584 SOS 12472 HAS SOPS 12472 HAS SOUS 9932 HAS SOUPS 9932 WITH SCORE 9944.472
AT ITER 2191 NEW BEST:: SOT 49571 SOS 12459 HAS SOPS 12459 HAS SOUS 9919 HAS SOUPS 9919 WITH SCORE 9931.459
AT ITER 2208 NEW BEST:: SOT 49532 SOS 12434 HAS SOPS 12434 HAS SOUS 9911 HAS SOUPS 9911 WITH SCORE 9923.434
AT ITER 2217 NEW BEST:: SOT 49532 SOS 12433 HAS SOPS 12433 HAS SOUS 9910 HAS SOUPS 9910 WITH SCORE 9922.433
AT ITER 2237 NEW BEST:: SOT 49521 SOS 12411 HAS SOPS 12411 HAS SOUS 9899 HAS SOUPS 9899 WITH SCORE 9911.411
AT ITER 2252 NEW BEST:: SOT 49519 SOS 12407 HAS SOPS 12407 HAS SOUS 9892 HAS SOUPS 9892 WITH SCORE 9904.407
AT ITER 2272 NEW BEST:: SOT 49519 SOS 12400 HAS SOPS 12400 HAS SOUS 9885 HAS SOUPS 9885 WITH SCORE 9897.4
AT ITER 2273 NEW BEST:: SOT 49519 SOS 12384 HAS SOPS 12384 HAS SOUS 9867 HAS SOUPS 9867 WITH SCORE 9879.384
AT ITER 2281 NEW BEST:: SOT 49481 SOS 12381 HAS SOPS 12381 HAS SOUS 9867 HAS SOUPS 9867 WITH SCORE 9879.381
AT ITER 2325 NEW BEST:: SOT 49482 SOS 12382 HAS SOPS 12382 HAS SOUS 9866 HAS SOUPS 9866 WITH SCORE 9878.382
AT ITER 2341 NEW BEST:: SOT 49472 SOS 12360 HAS SOPS 12360 HAS SOUS 9819 HAS SOUPS 9819 WITH SCORE 9831.36
AT ITER 2386 NEW BEST:: SOT 49465 SOS 12353 HAS SOPS 12353 HAS SOUS 9819 HAS SOUPS 9819 WITH SCORE 9831.353
AT ITER 2410 NEW BEST:: SOT 49395 SOS 12185 HAS SOPS 12185 HAS SOUS 9743 HAS SOUPS 9743 WITH SCORE 9755.185
AT ITER 2478 NEW BEST:: SOT 49395 SOS 12174 HAS SOPS 12174 HAS SOUS 9743 HAS SOUPS 9743 WITH SCORE 9755.174
AT ITER 2514 NEW BEST:: SOT 49395 SOS 12165 HAS SOPS 12165 HAS SOUS 9743 HAS SOUPS 9743 WITH SCORE 9755.165
AT ITER 2532 NEW BEST:: SOT 49394 SOS 12164 HAS SOPS 12164 HAS SOUS 9742 HAS SOUPS 9742 WITH SCORE 9754.164
AT ITER 2541 NEW BEST:: SOT 49378 SOS 12124 HAS SOPS 12124 HAS SOUS 9739 HAS SOUPS 9739 WITH SCORE 9751.124
AT ITER 2559 NEW BEST:: SOT 49379 SOS 12120 HAS SOPS 12120 HAS SOUS 9735 HAS SOUPS 9735 WITH SCORE 9747.12
AT ITER 2567 NEW BEST:: SOT 49380 SOS 12116 HAS SOPS 12116 HAS SOUS 9734 HAS SOUPS 9734 WITH SCORE 9746.116
AT ITER 2575 NEW BEST:: SOT 49377 SOS 12113 HAS SOPS 12113 HAS SOUS 9731 HAS SOUPS 9731 WITH SCORE 9743.113
AT ITER 2608 NEW BEST:: SOT 49365 SOS 12106 HAS SOPS 12106 HAS SOUS 9724 HAS SOUPS 9724 WITH SCORE 9736.106
AT ITER 2629 NEW BEST:: SOT 49357 SOS 11969 HAS SOPS 11969 HAS SOUS 9680 HAS SOUPS 9680 WITH SCORE 9691.969
AT ITER 2714 NEW BEST:: SOT 49327 SOS 11921 HAS SOPS 11921 HAS SOUS 9676 HAS SOUPS 9676 WITH SCORE 9687.921
AT ITER 2720 NEW BEST:: SOT 49318 SOS 11888 HAS SOPS 11888 HAS SOUS 9662 HAS SOUPS 9662 WITH SCORE 9673.888
AT ITER 2723 NEW BEST:: SOT 49322 SOS 11858 HAS SOPS 11858 HAS SOUS 9657 HAS SOUPS 9657 WITH SCORE 9668.858
AT ITER 2775 NEW BEST:: SOT 49322 SOS 11822 HAS SOPS 11822 HAS SOUS 9641 HAS SOUPS 9641 WITH SCORE 9652.822
AT ITER 2847 NEW BEST:: SOT 49322 SOS 11820 HAS SOPS 11820 HAS SOUS 9641 HAS SOUPS 9641 WITH SCORE 9652.82
AT ITER 2856 NEW BEST:: SOT 49322 SOS 11798 HAS SOPS 11798 HAS SOUS 9641 HAS SOUPS 9641 WITH SCORE 9652.798
AT ITER 2863 NEW BEST:: SOT 49322 SOS 11764 HAS SOPS 11764 HAS SOUS 9631 HAS SOUPS 9631 WITH SCORE 9642.764
AT ITER 2865 NEW BEST:: SOT 49312 SOS 11783 HAS SOPS 11783 HAS SOUS 9621 HAS SOUPS 9621 WITH SCORE 9632.783
AT ITER 2871 NEW BEST:: SOT 49312 SOS 11777 HAS SOPS 11777 HAS SOUS 9618 HAS SOUPS 9618 WITH SCORE 9629.777
AT ITER 2919 NEW BEST:: SOT 49294 SOS 11741 HAS SOPS 11741 HAS SOUS 9582 HAS SOUPS 9582 WITH SCORE 9593.741
AT ITER 2964 NEW BEST:: SOT 49305 SOS 11736 HAS SOPS 11736 HAS SOUS 9536 HAS SOUPS 9536 WITH SCORE 9547.736
AT ITER 2993 NEW BEST:: SOT 49306 SOS 11619 HAS SOPS 11619 HAS SOUS 9518 HAS SOUPS 9518 WITH SCORE 9529.619
AT ITER 3037 NEW BEST:: SOT 49298 SOS 11611 HAS SOPS 11611 HAS SOUS 9510 HAS SOUPS 9510 WITH SCORE 9521.611
AT ITER 3046 NEW BEST:: SOT 49293 SOS 11606 HAS SOPS 11606 HAS SOUS 9505 HAS SOUPS 9505 WITH SCORE 9516.606
AT ITER 3062 NEW BEST:: SOT 49290 SOS 11591 HAS SOPS 11591 HAS SOUS 9490 HAS SOUPS 9490 WITH SCORE 9501.591
AT ITER 3074 NEW BEST:: SOT 49284 SOS 11607 HAS SOPS 11607 HAS SOUS 9477 HAS SOUPS 9477 WITH SCORE 9488.607
AT ITER 3081 NEW BEST:: SOT 49277 SOS 11585 HAS SOPS 11585 HAS SOUS 9468 HAS SOUPS 9468 WITH SCORE 9479.585
AT ITER 3082 NEW BEST:: SOT 49272 SOS 11560 HAS SOPS 11560 HAS SOUS 9458 HAS SOUPS 9458 WITH SCORE 9469.56
AT ITER 3084 NEW BEST:: SOT 49272 SOS 11551 HAS SOPS 11551 HAS SOUS 9449 HAS SOUPS 9449 WITH SCORE 9460.551
AT ITER 3147 NEW BEST:: SOT 49264 SOS 11511 HAS SOPS 11511 HAS SOUS 9433 HAS SOUPS 9433 WITH SCORE 9444.511
AT ITER 3181 NEW BEST:: SOT 49263 SOS 11510 HAS SOPS 11510 HAS SOUS 9432 HAS SOUPS 9432 WITH SCORE 9443.51
AT ITER 3183 NEW BEST:: SOT 49267 SOS 11499 HAS SOPS 11499 HAS SOUS 9427 HAS SOUPS 9427 WITH SCORE 9438.499
AT ITER 3187 NEW BEST:: SOT 49248 SOS 11467 HAS SOPS 11467 HAS SOUS 9404 HAS SOUPS 9404 WITH SCORE 9415.467
AT ITER 3199 NEW BEST:: SOT 49254 SOS 11418 HAS SOPS 11418 HAS SOUS 9355 HAS SOUPS 9355 WITH SCORE 9366.418
AT ITER 3222 NEW BEST:: SOT 49271 SOS 11328 HAS SOPS 11328 HAS SOUS 9353 HAS SOUPS 9353 WITH SCORE 9364.328
AT ITER 3246 NEW BEST:: SOT 49271 SOS 11300 HAS SOPS 11300 HAS SOUS 9337 HAS SOUPS 9337 WITH SCORE 9348.3
AT ITER 3332 NEW BEST:: SOT 49268 SOS 11291 HAS SOPS 11291 HAS SOUS 9331 HAS SOUPS 9331 WITH SCORE 9342.291
AT ITER 3351 NEW BEST:: SOT 49267 SOS 11261 HAS SOPS 11261 HAS SOUS 9321 HAS SOUPS 9321 WITH SCORE 9332.261
AT ITER 3482 NEW BEST:: SOT 49267 SOS 11259 HAS SOPS 11259 HAS SOUS 9319 HAS SOUPS 9319 WITH SCORE 9330.259
AT ITER 3491 NEW BEST:: SOT 49250 SOS 11243 HAS SOPS 11243 HAS SOUS 9303 HAS SOUPS 9303 WITH SCORE 9314.243
AT ITER 3526 NEW BEST:: SOT 49250 SOS 11233 HAS SOPS 11233 HAS SOUS 9293 HAS SOUPS 9293 WITH SCORE 9304.233
AT ITER 3580 NEW BEST:: SOT 49236 SOS 11226 HAS SOPS 11226 HAS SOUS 9282 HAS SOUPS 9282 WITH SCORE 9293.226
AT ITER 3646 NEW BEST:: SOT 49236 SOS 11213 HAS SOPS 11213 HAS SOUS 9269 HAS SOUPS 9269 WITH SCORE 9280.213
AT ITER 3662 NEW BEST:: SOT 49233 SOS 11200 HAS SOPS 11200 HAS SOUS 9259 HAS SOUPS 9259 WITH SCORE 9270.2
AT ITER 3666 NEW BEST:: SOT 49231 SOS 11198 HAS SOPS 11198 HAS SOUS 9255 HAS SOUPS 9255 WITH SCORE 9266.198
AT ITER 3675 NEW BEST:: SOT 49235 SOS 11208 HAS SOPS 11208 HAS SOUS 9253 HAS SOUPS 9253 WITH SCORE 9264.208
AT ITER 3677 NEW BEST:: SOT 49236 SOS 11210 HAS SOPS 11210 HAS SOUS 9222 HAS SOUPS 9222 WITH SCORE 9233.21
AT ITER 3697 NEW BEST:: SOT 49226 SOS 11205 HAS SOPS 11205 HAS SOUS 9217 HAS SOUPS 9217 WITH SCORE 9228.205
AT ITER 3700 NEW BEST:: SOT 49208 SOS 11187 HAS SOPS 11187 HAS SOUS 9208 HAS SOUPS 9208 WITH SCORE 9219.187
AT ITER 3713 NEW BEST:: SOT 49211 SOS 11187 HAS SOPS 11187 HAS SOUS 9207 HAS SOUPS 9207 WITH SCORE 9218.187
AT ITER 3730 NEW BEST:: SOT 49209 SOS 11172 HAS SOPS 11172 HAS SOUS 9194 HAS SOUPS 9194 WITH SCORE 9205.172
AT ITER 3774 NEW BEST:: SOT 49209 SOS 11168 HAS SOPS 11168 HAS SOUS 9190 HAS SOUPS 9190 WITH SCORE 9201.168
AT ITER 3780 NEW BEST:: SOT 49209 SOS 11168 HAS SOPS 11168 HAS SOUS 9180 HAS SOUPS 9180 WITH SCORE 9191.168
AT ITER 3798 NEW BEST:: SOT 49207 SOS 11162 HAS SOPS 11162 HAS SOUS 9179 HAS SOUPS 9179 WITH SCORE 9190.162
AT ITER 3801 NEW BEST:: SOT 49207 SOS 11122 HAS SOPS 11122 HAS SOUS 9177 HAS SOUPS 9177 WITH SCORE 9188.122
AT ITER 3802 NEW BEST:: SOT 49207 SOS 11081 HAS SOPS 11081 HAS SOUS 9136 HAS SOUPS 9136 WITH SCORE 9147.081
AT ITER 3804 NEW BEST:: SOT 49201 SOS 11089 HAS SOPS 11089 HAS SOUS 9128 HAS SOUPS 9128 WITH SCORE 9139.089
AT ITER 3821 NEW BEST:: SOT 49198 SOS 11077 HAS SOPS 11077 HAS SOUS 9128 HAS SOUPS 9128 WITH SCORE 9139.077
AT ITER 3850 NEW BEST:: SOT 49197 SOS 11069 HAS SOPS 11069 HAS SOUS 9120 HAS SOUPS 9120 WITH SCORE 9131.069
AT ITER 3857 NEW BEST:: SOT 49195 SOS 11061 HAS SOPS 11061 HAS SOUS 9116 HAS SOUPS 9116 WITH SCORE 9127.061
AT ITER 3879 NEW BEST:: SOT 49195 SOS 11041 HAS SOPS 11041 HAS SOUS 9096 HAS SOUPS 9096 WITH SCORE 9107.041
AT ITER 3891 NEW BEST:: SOT 49198 SOS 11039 HAS SOPS 11039 HAS SOUS 9095 HAS SOUPS 9095 WITH SCORE 9106.039
AT ITER 3924 NEW BEST:: SOT 49198 SOS 11000 HAS SOPS 11000 HAS SOUS 9095 HAS SOUPS 9095 WITH SCORE 9106.0
AT ITER 3934 NEW BEST:: SOT 49194 SOS 10979 HAS SOPS 10979 HAS SOUS 9074 HAS SOUPS 9074 WITH SCORE 9084.979
AT ITER 3959 NEW BEST:: SOT 49194 SOS 10959 HAS SOPS 10959 HAS SOUS 9069 HAS SOUPS 9069 WITH SCORE 9079.959
AT ITER 3968 NEW BEST:: SOT 49201 SOS 10955 HAS SOPS 10955 HAS SOUS 9065 HAS SOUPS 9065 WITH SCORE 9075.955
AT ITER 4004 NEW BEST:: SOT 49201 SOS 10931 HAS SOPS 10931 HAS SOUS 9057 HAS SOUPS 9057 WITH SCORE 9067.931
AT ITER 4013 NEW BEST:: SOT 49234 SOS 10935 HAS SOPS 10935 HAS SOUS 9052 HAS SOUPS 9052 WITH SCORE 9062.935
AT ITER 4131 NEW BEST:: SOT 49234 SOS 10954 HAS SOPS 10954 HAS SOUS 9045 HAS SOUPS 9045 WITH SCORE 9055.954
AT ITER 4141 NEW BEST:: SOT 49238 SOS 10973 HAS SOPS 10973 HAS SOUS 9031 HAS SOUPS 9031 WITH SCORE 9041.973
AT ITER 4174 NEW BEST:: SOT 49249 SOS 11027 HAS SOPS 11027 HAS SOUS 9020 HAS SOUPS 9020 WITH SCORE 9031.027
AT ITER 4183 NEW BEST:: SOT 49253 SOS 11016 HAS SOPS 11016 HAS SOUS 9013 HAS SOUPS 9013 WITH SCORE 9024.016
AT ITER 4189 NEW BEST:: SOT 49253 SOS 10991 HAS SOPS 10991 HAS SOUS 9005 HAS SOUPS 9005 WITH SCORE 9015.991
AT ITER 4190 NEW BEST:: SOT 49232 SOS 10978 HAS SOPS 10978 HAS SOUS 8992 HAS SOUPS 8992 WITH SCORE 9002.978
AT ITER 4217 NEW BEST:: SOT 49248 SOS 11040 HAS SOPS 11040 HAS SOUS 8978 HAS SOUPS 8978 WITH SCORE 8989.04
AT ITER 4222 NEW BEST:: SOT 49248 SOS 11040 HAS SOPS 11040 HAS SOUS 8976 HAS SOUPS 8976 WITH SCORE 8987.04
AT ITER 4227 NEW BEST:: SOT 49248 SOS 11036 HAS SOPS 11036 HAS SOUS 8976 HAS SOUPS 8976 WITH SCORE 8987.036
AT ITER 4264 NEW BEST:: SOT 49222 SOS 10995 HAS SOPS 10995 HAS SOUS 8935 HAS SOUPS 8935 WITH SCORE 8945.995
AT ITER 4300 NEW BEST:: SOT 49214 SOS 10981 HAS SOPS 10981 HAS SOUS 8921 HAS SOUPS 8921 WITH SCORE 8931.981
AT ITER 4348 NEW BEST:: SOT 49214 SOS 10981 HAS SOPS 10981 HAS SOUS 8915 HAS SOUPS 8915 WITH SCORE 8925.981
AT ITER 4354 NEW BEST:: SOT 49214 SOS 10971 HAS SOPS 10971 HAS SOUS 8910 HAS SOUPS 8910 WITH SCORE 8920.971
AT ITER 4370 NEW BEST:: SOT 49226 SOS 11004 HAS SOPS 11004 HAS SOUS 8909 HAS SOUPS 8909 WITH SCORE 8920.004
AT ITER 4372 NEW BEST:: SOT 49226 SOS 11004 HAS SOPS 11004 HAS SOUS 8881 HAS SOUPS 8881 WITH SCORE 8892.004
AT ITER 4391 NEW BEST:: SOT 49213 SOS 10989 HAS SOPS 10989 HAS SOUS 8866 HAS SOUPS 8866 WITH SCORE 8876.989
AT ITER 4422 NEW BEST:: SOT 49213 SOS 10971 HAS SOPS 10971 HAS SOUS 8866 HAS SOUPS 8866 WITH SCORE 8876.971
AT ITER 4447 NEW BEST:: SOT 49213 SOS 10955 HAS SOPS 10955 HAS SOUS 8866 HAS SOUPS 8866 WITH SCORE 8876.955
AT ITER 4459 NEW BEST:: SOT 49209 SOS 10959 HAS SOPS 10959 HAS SOUS 8862 HAS SOUPS 8862 WITH SCORE 8872.959
AT ITER 4494 NEW BEST:: SOT 49205 SOS 10955 HAS SOPS 10955 HAS SOUS 8857 HAS SOUPS 8857 WITH SCORE 8867.955
AT ITER 4514 NEW BEST:: SOT 49202 SOS 10951 HAS SOPS 10951 HAS SOUS 8838 HAS SOUPS 8838 WITH SCORE 8848.951
AT ITER 4535 NEW BEST:: SOT 49204 SOS 10949 HAS SOPS 10949 HAS SOUS 8836 HAS SOUPS 8836 WITH SCORE 8846.949
AT ITER 4543 NEW BEST:: SOT 49204 SOS 10962 HAS SOPS 10962 HAS SOUS 8835 HAS SOUPS 8835 WITH SCORE 8845.962
AT ITER 4676 NEW BEST:: SOT 49191 SOS 10953 HAS SOPS 10953 HAS SOUS 8826 HAS SOUPS 8826 WITH SCORE 8836.953
AT ITER 4696 NEW BEST:: SOT 49179 SOS 10941 HAS SOPS 10941 HAS SOUS 8798 HAS SOUPS 8798 WITH SCORE 8808.941
AT ITER 4752 NEW BEST:: SOT 49179 SOS 10940 HAS SOPS 10940 HAS SOUS 8798 HAS SOUPS 8798 WITH SCORE 8808.94
AT ITER 4783 NEW BEST:: SOT 49171 SOS 10932 HAS SOPS 10932 HAS SOUS 8790 HAS SOUPS 8790 WITH SCORE 8800.932
AT ITER 4789 NEW BEST:: SOT 49163 SOS 10916 HAS SOPS 10916 HAS SOUS 8782 HAS SOUPS 8782 WITH SCORE 8792.916
AT ITER 4796 NEW BEST:: SOT 49156 SOS 10900 HAS SOPS 10900 HAS SOUS 8775 HAS SOUPS 8775 WITH SCORE 8785.9
AT ITER 4859 NEW BEST:: SOT 49142 SOS 10882 HAS SOPS 10882 HAS SOUS 8753 HAS SOUPS 8753 WITH SCORE 8763.882
AT ITER 4861 NEW BEST:: SOT 49142 SOS 10877 HAS SOPS 10877 HAS SOUS 8753 HAS SOUPS 8753 WITH SCORE 8763.877
AT ITER 4886 NEW BEST:: SOT 49141 SOS 10876 HAS SOPS 10876 HAS SOUS 8752 HAS SOUPS 8752 WITH SCORE 8762.876
AT ITER 4929 NEW BEST:: SOT 49157 SOS 10906 HAS SOPS 10906 HAS SOUS 8749 HAS SOUPS 8749 WITH SCORE 8759.906
AT ITER 4943 NEW BEST:: SOT 49157 SOS 10906 HAS SOPS 10906 HAS SOUS 8743 HAS SOUPS 8743 WITH SCORE 8753.906
AT ITER 4946 NEW BEST:: SOT 49148 SOS 10888 HAS SOPS 10888 HAS SOUS 8728 HAS SOUPS 8728 WITH SCORE 8738.888
AT ITER 4948 NEW BEST:: SOT 49135 SOS 10821 HAS SOPS 10821 HAS SOUS 8715 HAS SOUPS 8715 WITH SCORE 8725.821
AT ITER 4963 NEW BEST:: SOT 49113 SOS 10818 HAS SOPS 10818 HAS SOUS 8715 HAS SOUPS 8715 WITH SCORE 8725.818
AT ITER 4980 NEW BEST:: SOT 49113 SOS 10802 HAS SOPS 10802 HAS SOUS 8699 HAS SOUPS 8699 WITH SCORE 8709.802
AT ITER 5034 NEW BEST:: SOT 49111 SOS 10800 HAS SOPS 10800 HAS SOUS 8697 HAS SOUPS 8697 WITH SCORE 8707.8
AT ITER 5040 NEW BEST:: SOT 49110 SOS 10799 HAS SOPS 10799 HAS SOUS 8697 HAS SOUPS 8697 WITH SCORE 8707.799
AT ITER 5044 NEW BEST:: SOT 49104 SOS 10787 HAS SOPS 10787 HAS SOUS 8691 HAS SOUPS 8691 WITH SCORE 8701.787
AT ITER 5047 NEW BEST:: SOT 49104 SOS 10768 HAS SOPS 10768 HAS SOUS 8691 HAS SOUPS 8691 WITH SCORE 8701.768
AT ITER 5057 NEW BEST:: SOT 49114 SOS 10767 HAS SOPS 10767 HAS SOUS 8690 HAS SOUPS 8690 WITH SCORE 8700.767
AT ITER 5154 NEW BEST:: SOT 49107 SOS 10757 HAS SOPS 10757 HAS SOUS 8683 HAS SOUPS 8683 WITH SCORE 8693.757
AT ITER 5162 NEW BEST:: SOT 49108 SOS 10744 HAS SOPS 10744 HAS SOUS 8677 HAS SOUPS 8677 WITH SCORE 8687.744
AT ITER 5200 NEW BEST:: SOT 49084 SOS 10720 HAS SOPS 10720 HAS SOUS 8653 HAS SOUPS 8653 WITH SCORE 8663.72
AT ITER 5204 NEW BEST:: SOT 49056 SOS 10678 HAS SOPS 10678 HAS SOUS 8625 HAS SOUPS 8625 WITH SCORE 8635.678
AT ITER 5224 NEW BEST:: SOT 49057 SOS 10670 HAS SOPS 10670 HAS SOUS 8617 HAS SOUPS 8617 WITH SCORE 8627.67
AT ITER 5292 NEW BEST:: SOT 49061 SOS 10673 HAS SOPS 10673 HAS SOUS 8612 HAS SOUPS 8612 WITH SCORE 8622.673
AT ITER 5342 NEW BEST:: SOT 49059 SOS 10669 HAS SOPS 10669 HAS SOUS 8610 HAS SOUPS 8610 WITH SCORE 8620.669
AT ITER 5359 NEW BEST:: SOT 49053 SOS 10666 HAS SOPS 10666 HAS SOUS 8607 HAS SOUPS 8607 WITH SCORE 8617.666
AT ITER 5369 NEW BEST:: SOT 49047 SOS 10662 HAS SOPS 10662 HAS SOUS 8591 HAS SOUPS 8591 WITH SCORE 8601.662
AT ITER 5401 NEW BEST:: SOT 49044 SOS 10659 HAS SOPS 10659 HAS SOUS 8588 HAS SOUPS 8588 WITH SCORE 8598.659
AT ITER 5418 NEW BEST:: SOT 49030 SOS 10645 HAS SOPS 10645 HAS SOUS 8574 HAS SOUPS 8574 WITH SCORE 8584.645
AT ITER 5436 NEW BEST:: SOT 49033 SOS 10643 HAS SOPS 10643 HAS SOUS 8573 HAS SOUPS 8573 WITH SCORE 8583.643
AT ITER 5439 NEW BEST:: SOT 49026 SOS 10642 HAS SOPS 10642 HAS SOUS 8572 HAS SOUPS 8572 WITH SCORE 8582.642
AT ITER 5501 NEW BEST:: SOT 49021 SOS 10632 HAS SOPS 10632 HAS SOUS 8562 HAS SOUPS 8562 WITH SCORE 8572.632
AT ITER 5630 NEW BEST:: SOT 49035 SOS 10600 HAS SOPS 10600 HAS SOUS 8556 HAS SOUPS 8556 WITH SCORE 8566.6
AT ITER 5688 NEW BEST:: SOT 49050 SOS 10597 HAS SOPS 10597 HAS SOUS 8553 HAS SOUPS 8553 WITH SCORE 8563.597
AT ITER 5694 NEW BEST:: SOT 49051 SOS 10603 HAS SOPS 10603 HAS SOUS 8550 HAS SOUPS 8550 WITH SCORE 8560.603
AT ITER 5792 NEW BEST:: SOT 49041 SOS 10597 HAS SOPS 10597 HAS SOUS 8538 HAS SOUPS 8538 WITH SCORE 8548.597
AT ITER 5835 NEW BEST:: SOT 49039 SOS 10601 HAS SOPS 10601 HAS SOUS 8513 HAS SOUPS 8513 WITH SCORE 8523.601
AT ITER 5849 NEW BEST:: SOT 49035 SOS 10597 HAS SOPS 10597 HAS SOUS 8509 HAS SOUPS 8509 WITH SCORE 8519.597
AT ITER 5878 NEW BEST:: SOT 49031 SOS 10593 HAS SOPS 10593 HAS SOUS 8498 HAS SOUPS 8498 WITH SCORE 8508.593
AT ITER 5945 NEW BEST:: SOT 49023 SOS 10585 HAS SOPS 10585 HAS SOUS 8490 HAS SOUPS 8490 WITH SCORE 8500.585
AT ITER 5961 NEW BEST:: SOT 49022 SOS 10564 HAS SOPS 10564 HAS SOUS 8474 HAS SOUPS 8474 WITH SCORE 8484.564
AT ITER 5990 NEW BEST:: SOT 49026 SOS 10567 HAS SOPS 10567 HAS SOUS 8473 HAS SOUPS 8473 WITH SCORE 8483.567
AT ITER 6029 NEW BEST:: SOT 49026 SOS 10565 HAS SOPS 10565 HAS SOUS 8471 HAS SOUPS 8471 WITH SCORE 8481.565
AT ITER 6041 NEW BEST:: SOT 49024 SOS 10563 HAS SOPS 10563 HAS SOUS 8465 HAS SOUPS 8465 WITH SCORE 8475.563
AT ITER 6102 NEW BEST:: SOT 49023 SOS 10561 HAS SOPS 10561 HAS SOUS 8464 HAS SOUPS 8464 WITH SCORE 8474.561
AT ITER 6132 NEW BEST:: SOT 49020 SOS 10522 HAS SOPS 10522 HAS SOUS 8464 HAS SOUPS 8464 WITH SCORE 8474.522
AT ITER 6154 NEW BEST:: SOT 49017 SOS 10522 HAS SOPS 10522 HAS SOUS 8455 HAS SOUPS 8455 WITH SCORE 8465.522
AT ITER 6166 NEW BEST:: SOT 49016 SOS 10517 HAS SOPS 10517 HAS SOUS 8450 HAS SOUPS 8450 WITH SCORE 8460.517
AT ITER 6176 NEW BEST:: SOT 49015 SOS 10479 HAS SOPS 10479 HAS SOUS 8448 HAS SOUPS 8448 WITH SCORE 8458.479
AT ITER 6178 NEW BEST:: SOT 48994 SOS 10458 HAS SOPS 10458 HAS SOUS 8427 HAS SOUPS 8427 WITH SCORE 8437.458
AT ITER 6191 NEW BEST:: SOT 48992 SOS 10454 HAS SOPS 10454 HAS SOUS 8427 HAS SOUPS 8427 WITH SCORE 8437.454
AT ITER 6222 NEW BEST:: SOT 48987 SOS 10432 HAS SOPS 10432 HAS SOUS 8405 HAS SOUPS 8405 WITH SCORE 8415.432
AT ITER 6321 NEW BEST:: SOT 48980 SOS 10429 HAS SOPS 10429 HAS SOUS 8402 HAS SOUPS 8402 WITH SCORE 8412.429
AT ITER 6343 NEW BEST:: SOT 48960 SOS 10389 HAS SOPS 10389 HAS SOUS 8382 HAS SOUPS 8382 WITH SCORE 8392.389
AT ITER 6359 NEW BEST:: SOT 48944 SOS 10382 HAS SOPS 10382 HAS SOUS 8381 HAS SOUPS 8381 WITH SCORE 8391.382
AT ITER 6380 NEW BEST:: SOT 48928 SOS 10356 HAS SOPS 10356 HAS SOUS 8354 HAS SOUPS 8354 WITH SCORE 8364.356
AT ITER 6394 NEW BEST:: SOT 48926 SOS 10352 HAS SOPS 10352 HAS SOUS 8350 HAS SOUPS 8350 WITH SCORE 8360.352
AT ITER 6469 NEW BEST:: SOT 48921 SOS 10350 HAS SOPS 10350 HAS SOUS 8349 HAS SOUPS 8349 WITH SCORE 8359.35
AT ITER 6495 NEW BEST:: SOT 48918 SOS 10349 HAS SOPS 10349 HAS SOUS 8348 HAS SOUPS 8348 WITH SCORE 8358.349
AT ITER 6548 NEW BEST:: SOT 48914 SOS 10349 HAS SOPS 10349 HAS SOUS 8344 HAS SOUPS 8344 WITH SCORE 8354.349
AT ITER 6572 NEW BEST:: SOT 48903 SOS 10338 HAS SOPS 10338 HAS SOUS 8332 HAS SOUPS 8332 WITH SCORE 8342.338
AT ITER 6592 NEW BEST:: SOT 48900 SOS 10328 HAS SOPS 10328 HAS SOUS 8329 HAS SOUPS 8329 WITH SCORE 8339.328
AT ITER 6605 NEW BEST:: SOT 48891 SOS 10319 HAS SOPS 10319 HAS SOUS 8320 HAS SOUPS 8320 WITH SCORE 8330.319
AT ITER 6617 NEW BEST:: SOT 48888 SOS 10316 HAS SOPS 10316 HAS SOUS 8317 HAS SOUPS 8317 WITH SCORE 8327.316
AT ITER 6632 NEW BEST:: SOT 48888 SOS 10310 HAS SOPS 10310 HAS SOUS 8314 HAS SOUPS 8314 WITH SCORE 8324.31
AT ITER 6639 NEW BEST:: SOT 48877 SOS 10299 HAS SOPS 10299 HAS SOUS 8303 HAS SOUPS 8303 WITH SCORE 8313.299
AT ITER 6650 NEW BEST:: SOT 48877 SOS 10278 HAS SOPS 10278 HAS SOUS 8296 HAS SOUPS 8296 WITH SCORE 8306.278
AT ITER 6680 NEW BEST:: SOT 48876 SOS 10277 HAS SOPS 10277 HAS SOUS 8295 HAS SOUPS 8295 WITH SCORE 8305.277
AT ITER 6685 NEW BEST:: SOT 48895 SOS 10263 HAS SOPS 10263 HAS SOUS 8291 HAS SOUPS 8291 WITH SCORE 8301.263
AT ITER 6696 NEW BEST:: SOT 48895 SOS 10252 HAS SOPS 10252 HAS SOUS 8280 HAS SOUPS 8280 WITH SCORE 8290.252
AT ITER 6746 NEW BEST:: SOT 48881 SOS 10226 HAS SOPS 10226 HAS SOUS 8260 HAS SOUPS 8260 WITH SCORE 8270.226
AT ITER 6754 NEW BEST:: SOT 48879 SOS 10222 HAS SOPS 10222 HAS SOUS 8256 HAS SOUPS 8256 WITH SCORE 8266.222
AT ITER 6760 NEW BEST:: SOT 48878 SOS 10220 HAS SOPS 10220 HAS SOUS 8254 HAS SOUPS 8254 WITH SCORE 8264.22
AT ITER 6825 NEW BEST:: SOT 48874 SOS 10216 HAS SOPS 10216 HAS SOUS 8252 HAS SOUPS 8252 WITH SCORE 8262.216
AT ITER 6883 NEW BEST:: SOT 48868 SOS 10210 HAS SOPS 10210 HAS SOUS 8246 HAS SOUPS 8246 WITH SCORE 8256.21
AT ITER 7027 NEW BEST:: SOT 48867 SOS 10209 HAS SOPS 10209 HAS SOUS 8245 HAS SOUPS 8245 WITH SCORE 8255.209
AT ITER 7060 NEW BEST:: SOT 48868 SOS 10218 HAS SOPS 10218 HAS SOUS 8232 HAS SOUPS 8232 WITH SCORE 8242.218
AT ITER 7115 NEW BEST:: SOT 48860 SOS 10210 HAS SOPS 10210 HAS SOUS 8224 HAS SOUPS 8224 WITH SCORE 8234.21
AT ITER 7158 NEW BEST:: SOT 48859 SOS 10208 HAS SOPS 10208 HAS SOUS 8222 HAS SOUPS 8222 WITH SCORE 8232.208
AT ITER 7206 NEW BEST:: SOT 48848 SOS 10197 HAS SOPS 10197 HAS SOUS 8211 HAS SOUPS 8211 WITH SCORE 8221.197
AT ITER 7232 NEW BEST:: SOT 48848 SOS 10194 HAS SOPS 10194 HAS SOUS 8208 HAS SOUPS 8208 WITH SCORE 8218.194
AT ITER 7344 NEW BEST:: SOT 48863 SOS 10187 HAS SOPS 10187 HAS SOUS 8201 HAS SOUPS 8201 WITH SCORE 8211.187
AT ITER 7453 NEW BEST:: SOT 48852 SOS 10176 HAS SOPS 10176 HAS SOUS 8190 HAS SOUPS 8190 WITH SCORE 8200.176
AT ITER 7479 NEW BEST:: SOT 48851 SOS 10174 HAS SOPS 10174 HAS SOUS 8189 HAS SOUPS 8189 WITH SCORE 8199.174
AT ITER 7524 NEW BEST:: SOT 48866 SOS 10187 HAS SOPS 10187 HAS SOUS 8182 HAS SOUPS 8182 WITH SCORE 8192.187
AT ITER 7578 NEW BEST:: SOT 48864 SOS 10185 HAS SOPS 10185 HAS SOUS 8180 HAS SOUPS 8180 WITH SCORE 8190.185
AT ITER 7599 NEW BEST:: SOT 48853 SOS 10199 HAS SOPS 10199 HAS SOUS 8176 HAS SOUPS 8176 WITH SCORE 8186.199
AT ITER 7662 NEW BEST:: SOT 48853 SOS 10198 HAS SOPS 10198 HAS SOUS 8175 HAS SOUPS 8175 WITH SCORE 8185.198
AT ITER 7695 NEW BEST:: SOT 48852 SOS 10204 HAS SOPS 10204 HAS SOUS 8174 HAS SOUPS 8174 WITH SCORE 8184.204
AT ITER 7760 NEW BEST:: SOT 48832 SOS 10194 HAS SOPS 10194 HAS SOUS 8164 HAS SOUPS 8164 WITH SCORE 8174.194
AT ITER 7809 NEW BEST:: SOT 48832 SOS 10190 HAS SOPS 10190 HAS SOUS 8160 HAS SOUPS 8160 WITH SCORE 8170.19
AT ITER 7835 NEW BEST:: SOT 48802 SOS 10177 HAS SOPS 10177 HAS SOUS 8139 HAS SOUPS 8139 WITH SCORE 8149.177
AT ITER 7887 NEW BEST:: SOT 48802 SOS 10175 HAS SOPS 10175 HAS SOUS 8137 HAS SOUPS 8137 WITH SCORE 8147.175
AT ITER 7936 NEW BEST:: SOT 48802 SOS 10203 HAS SOPS 10203 HAS SOUS 8133 HAS SOUPS 8133 WITH SCORE 8143.203
AT ITER 8076 NEW BEST:: SOT 48803 SOS 10191 HAS SOPS 10191 HAS SOUS 8121 HAS SOUPS 8121 WITH SCORE 8131.191
AT ITER 8103 NEW BEST:: SOT 48791 SOS 10172 HAS SOPS 10172 HAS SOUS 8109 HAS SOUPS 8109 WITH SCORE 8119.172
AT ITER 8122 NEW BEST:: SOT 48793 SOS 10147 HAS SOPS 10147 HAS SOUS 8095 HAS SOUPS 8095 WITH SCORE 8105.147
AT ITER 8142 NEW BEST:: SOT 48778 SOS 10135 HAS SOPS 10135 HAS SOUS 8083 HAS SOUPS 8083 WITH SCORE 8093.135
AT ITER 8189 NEW BEST:: SOT 48733 SOS 10173 HAS SOPS 10173 HAS SOUS 8072 HAS SOUPS 8072 WITH SCORE 8082.173
AT ITER 8192 NEW BEST:: SOT 48727 SOS 10149 HAS SOPS 10149 HAS SOUS 8066 HAS SOUPS 8066 WITH SCORE 8076.149
AT ITER 8208 NEW BEST:: SOT 48726 SOS 10147 HAS SOPS 10147 HAS SOUS 8065 HAS SOUPS 8065 WITH SCORE 8075.147
AT ITER 8312 NEW BEST:: SOT 48726 SOS 10119 HAS SOPS 10119 HAS SOUS 8037 HAS SOUPS 8037 WITH SCORE 8047.119
AT ITER 8405 NEW BEST:: SOT 48726 SOS 10118 HAS SOPS 10118 HAS SOUS 8033 HAS SOUPS 8033 WITH SCORE 8043.118
AT ITER 8446 NEW BEST:: SOT 48726 SOS 10118 HAS SOPS 10118 HAS SOUS 8032 HAS SOUPS 8032 WITH SCORE 8042.118
AT ITER 8485 NEW BEST:: SOT 48700 SOS 10084 HAS SOPS 10084 HAS SOUS 8028 HAS SOUPS 8028 WITH SCORE 8038.084
AT ITER 8499 NEW BEST:: SOT 48697 SOS 10071 HAS SOPS 10071 HAS SOUS 8011 HAS SOUPS 8011 WITH SCORE 8021.071
AT ITER 8521 NEW BEST:: SOT 48688 SOS 10061 HAS SOPS 10061 HAS SOUS 8001 HAS SOUPS 8001 WITH SCORE 8011.061
AT ITER 8534 NEW BEST:: SOT 48685 SOS 10057 HAS SOPS 10057 HAS SOUS 7998 HAS SOUPS 7998 WITH SCORE 8008.057
AT ITER 8538 NEW BEST:: SOT 48682 SOS 10053 HAS SOPS 10053 HAS SOUS 7994 HAS SOUPS 7994 WITH SCORE 8004.053
AT ITER 8554 NEW BEST:: SOT 48682 SOS 10051 HAS SOPS 10051 HAS SOUS 7992 HAS SOUPS 7992 WITH SCORE 8002.051
AT ITER 8578 NEW BEST:: SOT 48636 SOS 10028 HAS SOPS 10028 HAS SOUS 7969 HAS SOUPS 7969 WITH SCORE 7979.028
AT ITER 8604 NEW BEST:: SOT 48629 SOS 10017 HAS SOPS 10017 HAS SOUS 7957 HAS SOUPS 7957 WITH SCORE 7967.017
AT ITER 8623 NEW BEST:: SOT 48624 SOS 10014 HAS SOPS 10014 HAS SOUS 7954 HAS SOUPS 7954 WITH SCORE 7964.014
AT ITER 8627 NEW BEST:: SOT 48624 SOS 9998 HAS SOPS 9998 HAS SOUS 7940 HAS SOUPS 7940 WITH SCORE 7949.998
AT ITER 8684 NEW BEST:: SOT 48619 SOS 9989 HAS SOPS 9989 HAS SOUS 7939 HAS SOUPS 7939 WITH SCORE 7948.989
AT ITER 8696 NEW BEST:: SOT 48619 SOS 9967 HAS SOPS 9967 HAS SOUS 7928 HAS SOUPS 7928 WITH SCORE 7937.967
AT ITER 8716 NEW BEST:: SOT 48601 SOS 9931 HAS SOPS 9931 HAS SOUS 7910 HAS SOUPS 7910 WITH SCORE 7919.931
AT ITER 8727 NEW BEST:: SOT 48601 SOS 9924 HAS SOPS 9924 HAS SOUS 7910 HAS SOUPS 7910 WITH SCORE 7919.924
AT ITER 8770 NEW BEST:: SOT 48599 SOS 9927 HAS SOPS 9927 HAS SOUS 7908 HAS SOUPS 7908 WITH SCORE 7917.927
AT ITER 8806 NEW BEST:: SOT 48596 SOS 9925 HAS SOPS 9925 HAS SOUS 7903 HAS SOUPS 7903 WITH SCORE 7912.925
AT ITER 8824 NEW BEST:: SOT 48595 SOS 9916 HAS SOPS 9916 HAS SOUS 7893 HAS SOUPS 7893 WITH SCORE 7902.916
AT ITER 8953 NEW BEST:: SOT 48584 SOS 9905 HAS SOPS 9905 HAS SOUS 7882 HAS SOUPS 7882 WITH SCORE 7891.905
AT ITER 8991 NEW BEST:: SOT 48575 SOS 9878 HAS SOPS 9878 HAS SOUS 7864 HAS SOUPS 7864 WITH SCORE 7873.878
AT ITER 9060 NEW BEST:: SOT 48575 SOS 9876 HAS SOPS 9876 HAS SOUS 7862 HAS SOUPS 7862 WITH SCORE 7871.876
AT ITER 9081 NEW BEST:: SOT 48574 SOS 9875 HAS SOPS 9875 HAS SOUS 7861 HAS SOUPS 7861 WITH SCORE 7870.875
AT ITER 9139 NEW BEST:: SOT 48563 SOS 9873 HAS SOPS 9873 HAS SOUS 7859 HAS SOUPS 7859 WITH SCORE 7868.873
AT ITER 9211 NEW BEST:: SOT 48559 SOS 9865 HAS SOPS 9865 HAS SOUS 7853 HAS SOUPS 7853 WITH SCORE 7862.865
AT ITER 9253 NEW BEST:: SOT 48554 SOS 9865 HAS SOPS 9865 HAS SOUS 7848 HAS SOUPS 7848 WITH SCORE 7857.865
AT ITER 9258 NEW BEST:: SOT 48581 SOS 9993 HAS SOPS 9993 HAS SOUS 7846 HAS SOUPS 7846 WITH SCORE 7855.993
AT ITER 9261 NEW BEST:: SOT 48573 SOS 9977 HAS SOPS 9977 HAS SOUS 7834 HAS SOUPS 7834 WITH SCORE 7843.977
AT ITER 9287 NEW BEST:: SOT 48570 SOS 9974 HAS SOPS 9974 HAS SOUS 7831 HAS SOUPS 7831 WITH SCORE 7840.974
AT ITER 9292 NEW BEST:: SOT 48570 SOS 9958 HAS SOPS 9958 HAS SOUS 7823 HAS SOUPS 7823 WITH SCORE 7832.958
AT ITER 9306 NEW BEST:: SOT 48564 SOS 9952 HAS SOPS 9952 HAS SOUS 7817 HAS SOUPS 7817 WITH SCORE 7826.952
AT ITER 9324 NEW BEST:: SOT 48564 SOS 9947 HAS SOPS 9947 HAS SOUS 7813 HAS SOUPS 7813 WITH SCORE 7822.947
AT ITER 9397 NEW BEST:: SOT 48563 SOS 9947 HAS SOPS 9947 HAS SOUS 7811 HAS SOUPS 7811 WITH SCORE 7820.947
AT ITER 9400 NEW BEST:: SOT 48553 SOS 9917 HAS SOPS 9917 HAS SOUS 7801 HAS SOUPS 7801 WITH SCORE 7810.917
AT ITER 9456 NEW BEST:: SOT 48553 SOS 9784 HAS SOPS 9784 HAS SOUS 7798 HAS SOUPS 7798 WITH SCORE 7807.784
AT ITER 9461 NEW BEST:: SOT 48551 SOS 9782 HAS SOPS 9782 HAS SOUS 7796 HAS SOUPS 7796 WITH SCORE 7805.782
AT ITER 9470 NEW BEST:: SOT 48535 SOS 9740 HAS SOPS 9740 HAS SOUS 7783 HAS SOUPS 7783 WITH SCORE 7792.74
AT ITER 9525 NEW BEST:: SOT 48540 SOS 9727 HAS SOPS 9727 HAS SOUS 7770 HAS SOUPS 7770 WITH SCORE 7779.727
AT ITER 9532 NEW BEST:: SOT 48539 SOS 9726 HAS SOPS 9726 HAS SOUS 7770 HAS SOUPS 7770 WITH SCORE 7779.726
AT ITER 9687 NEW BEST:: SOT 48532 SOS 9723 HAS SOPS 9723 HAS SOUS 7763 HAS SOUPS 7763 WITH SCORE 7772.723
AT ITER 9742 NEW BEST:: SOT 48532 SOS 9705 HAS SOPS 9705 HAS SOUS 7754 HAS SOUPS 7754 WITH SCORE 7763.705
AT ITER 9799 NEW BEST:: SOT 48531 SOS 9704 HAS SOPS 9704 HAS SOUS 7753 HAS SOUPS 7753 WITH SCORE 7762.704
AT ITER 9830 NEW BEST:: SOT 48534 SOS 9693 HAS SOPS 9693 HAS SOUS 7752 HAS SOUPS 7752 WITH SCORE 7761.693
AT ITER 9865 NEW BEST:: SOT 48526 SOS 9684 HAS SOPS 9684 HAS SOUS 7751 HAS SOUPS 7751 WITH SCORE 7760.684
AT ITER 9933 NEW BEST:: SOT 48522 SOS 9680 HAS SOPS 9680 HAS SOUS 7747 HAS SOUPS 7747 WITH SCORE 7756.68

BK_STOP 1590438675255

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

terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 373 Aborted ${SMART} ${INPUT_SM}

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="ShieldIIPs-PT-005B"
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 ShieldIIPs-PT-005B, 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 r207-tajo-159033469000120"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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