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-159033469500472.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 ShieldPPPs-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-159033469500472
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 264K
-rw-r--r-- 1 mcc users 3.5K May 14 01:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 14 01:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 18:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 18:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K May 14 10:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 14 10:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 14 10:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 14 10:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 4.1K May 13 13:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K May 13 13:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 08:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 08:38 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 86K 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 1590442928960

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPs (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: 343 places, 318 transitions, 876 arcs.
AT ITER 0 NEW BEST:: SOT 60713 SOS 16292 HAS SOPS 16292 HAS SOUS 14662 HAS SOUPS 14662 WITH SCORE 14678.292
AT ITER 12 NEW BEST:: SOT 60677 SOS 16319 HAS SOPS 16319 HAS SOUS 14659 HAS SOUPS 14659 WITH SCORE 14675.319
AT ITER 40 NEW BEST:: SOT 60677 SOS 16305 HAS SOPS 16305 HAS SOUS 14631 HAS SOUPS 14631 WITH SCORE 14647.305
AT ITER 41 NEW BEST:: SOT 60692 SOS 16290 HAS SOPS 16290 HAS SOUS 14617 HAS SOUPS 14617 WITH SCORE 14633.29
AT ITER 51 NEW BEST:: SOT 60692 SOS 16238 HAS SOPS 16238 HAS SOUS 14591 HAS SOUPS 14591 WITH SCORE 14607.238
AT ITER 59 NEW BEST:: SOT 60691 SOS 16237 HAS SOPS 16237 HAS SOUS 14590 HAS SOUPS 14590 WITH SCORE 14606.237
AT ITER 66 NEW BEST:: SOT 60672 SOS 16219 HAS SOPS 16219 HAS SOUS 14572 HAS SOUPS 14572 WITH SCORE 14588.219
AT ITER 91 NEW BEST:: SOT 60671 SOS 16213 HAS SOPS 16213 HAS SOUS 14566 HAS SOUPS 14566 WITH SCORE 14582.213
AT ITER 118 NEW BEST:: SOT 60635 SOS 16201 HAS SOPS 16201 HAS SOUS 14539 HAS SOUPS 14539 WITH SCORE 14555.201
AT ITER 131 NEW BEST:: SOT 60703 SOS 16029 HAS SOPS 16029 HAS SOUS 14525 HAS SOUPS 14525 WITH SCORE 14541.029
AT ITER 140 NEW BEST:: SOT 60726 SOS 16060 HAS SOPS 16060 HAS SOUS 14522 HAS SOUPS 14522 WITH SCORE 14538.06
AT ITER 166 NEW BEST:: SOT 60688 SOS 16041 HAS SOPS 16041 HAS SOUS 14503 HAS SOUPS 14503 WITH SCORE 14519.041
AT ITER 193 NEW BEST:: SOT 60688 SOS 16036 HAS SOPS 16036 HAS SOUS 14498 HAS SOUPS 14498 WITH SCORE 14514.036
AT ITER 204 NEW BEST:: SOT 60688 SOS 16024 HAS SOPS 16024 HAS SOUS 14486 HAS SOUPS 14486 WITH SCORE 14502.024
AT ITER 207 NEW BEST:: SOT 60683 SOS 16059 HAS SOPS 16059 HAS SOUS 14481 HAS SOUPS 14481 WITH SCORE 14497.059
AT ITER 221 NEW BEST:: SOT 60643 SOS 16029 HAS SOPS 16029 HAS SOUS 14451 HAS SOUPS 14451 WITH SCORE 14467.029
AT ITER 227 NEW BEST:: SOT 60620 SOS 16033 HAS SOPS 16033 HAS SOUS 14420 HAS SOUPS 14420 WITH SCORE 14436.033
AT ITER 242 NEW BEST:: SOT 60618 SOS 16031 HAS SOPS 16031 HAS SOUS 14418 HAS SOUPS 14418 WITH SCORE 14434.031
AT ITER 244 NEW BEST:: SOT 60617 SOS 16030 HAS SOPS 16030 HAS SOUS 14417 HAS SOUPS 14417 WITH SCORE 14433.03
AT ITER 250 NEW BEST:: SOT 60612 SOS 16024 HAS SOPS 16024 HAS SOUS 14415 HAS SOUPS 14415 WITH SCORE 14431.024
AT ITER 251 NEW BEST:: SOT 60612 SOS 16018 HAS SOPS 16018 HAS SOUS 14409 HAS SOUPS 14409 WITH SCORE 14425.018
AT ITER 252 NEW BEST:: SOT 60603 SOS 16012 HAS SOPS 16012 HAS SOUS 14406 HAS SOUPS 14406 WITH SCORE 14422.012
AT ITER 260 NEW BEST:: SOT 60603 SOS 15987 HAS SOPS 15987 HAS SOUS 14406 HAS SOUPS 14406 WITH SCORE 14421.987
AT ITER 271 NEW BEST:: SOT 60577 SOS 15985 HAS SOPS 15985 HAS SOUS 14365 HAS SOUPS 14365 WITH SCORE 14380.985
AT ITER 280 NEW BEST:: SOT 60593 SOS 15997 HAS SOPS 15997 HAS SOUS 14336 HAS SOUPS 14336 WITH SCORE 14351.997
AT ITER 289 NEW BEST:: SOT 60572 SOS 15976 HAS SOPS 15976 HAS SOUS 14336 HAS SOUPS 14336 WITH SCORE 14351.976
AT ITER 297 NEW BEST:: SOT 60559 SOS 15942 HAS SOPS 15942 HAS SOUS 14323 HAS SOUPS 14323 WITH SCORE 14338.942
AT ITER 321 NEW BEST:: SOT 60574 SOS 15941 HAS SOPS 15941 HAS SOUS 14322 HAS SOUPS 14322 WITH SCORE 14337.941
AT ITER 358 NEW BEST:: SOT 60573 SOS 15840 HAS SOPS 15840 HAS SOUS 14290 HAS SOUPS 14290 WITH SCORE 14305.84
AT ITER 375 NEW BEST:: SOT 60541 SOS 15613 HAS SOPS 15613 HAS SOUS 14186 HAS SOUPS 14186 WITH SCORE 14201.613
AT ITER 379 NEW BEST:: SOT 60500 SOS 15531 HAS SOPS 15531 HAS SOUS 14145 HAS SOUPS 14145 WITH SCORE 14160.531
AT ITER 388 NEW BEST:: SOT 60500 SOS 15513 HAS SOPS 15513 HAS SOUS 14127 HAS SOUPS 14127 WITH SCORE 14142.513
AT ITER 401 NEW BEST:: SOT 60468 SOS 15475 HAS SOPS 15475 HAS SOUS 14095 HAS SOUPS 14095 WITH SCORE 14110.475
AT ITER 410 NEW BEST:: SOT 60440 SOS 15470 HAS SOPS 15470 HAS SOUS 14090 HAS SOUPS 14090 WITH SCORE 14105.47
AT ITER 413 NEW BEST:: SOT 60428 SOS 15446 HAS SOPS 15446 HAS SOUS 14075 HAS SOUPS 14075 WITH SCORE 14090.446
AT ITER 423 NEW BEST:: SOT 60426 SOS 15444 HAS SOPS 15444 HAS SOUS 14073 HAS SOUPS 14073 WITH SCORE 14088.444
AT ITER 431 NEW BEST:: SOT 60418 SOS 15436 HAS SOPS 15436 HAS SOUS 14065 HAS SOUPS 14065 WITH SCORE 14080.436
AT ITER 450 NEW BEST:: SOT 60418 SOS 15420 HAS SOPS 15420 HAS SOUS 14048 HAS SOUPS 14048 WITH SCORE 14063.42
AT ITER 453 NEW BEST:: SOT 60429 SOS 15489 HAS SOPS 15489 HAS SOUS 14035 HAS SOUPS 14035 WITH SCORE 14050.489
AT ITER 455 NEW BEST:: SOT 60429 SOS 15479 HAS SOPS 15479 HAS SOUS 14025 HAS SOUPS 14025 WITH SCORE 14040.479
AT ITER 484 NEW BEST:: SOT 60419 SOS 15487 HAS SOPS 15487 HAS SOUS 14023 HAS SOUPS 14023 WITH SCORE 14038.487
AT ITER 489 NEW BEST:: SOT 60419 SOS 15501 HAS SOPS 15501 HAS SOUS 14019 HAS SOUPS 14019 WITH SCORE 14034.501
AT ITER 522 NEW BEST:: SOT 60380 SOS 15458 HAS SOPS 15458 HAS SOUS 14009 HAS SOUPS 14009 WITH SCORE 14024.458
AT ITER 556 NEW BEST:: SOT 60380 SOS 15441 HAS SOPS 15441 HAS SOUS 13992 HAS SOUPS 13992 WITH SCORE 14007.441
AT ITER 578 NEW BEST:: SOT 60380 SOS 15439 HAS SOPS 15439 HAS SOUS 13990 HAS SOUPS 13990 WITH SCORE 14005.439
AT ITER 601 NEW BEST:: SOT 60360 SOS 15434 HAS SOPS 15434 HAS SOUS 13985 HAS SOUPS 13985 WITH SCORE 14000.434
AT ITER 622 NEW BEST:: SOT 60357 SOS 15429 HAS SOPS 15429 HAS SOUS 13983 HAS SOUPS 13983 WITH SCORE 13998.429
AT ITER 623 NEW BEST:: SOT 60361 SOS 15463 HAS SOPS 15463 HAS SOUS 13958 HAS SOUPS 13958 WITH SCORE 13973.463
AT ITER 627 NEW BEST:: SOT 60361 SOS 15439 HAS SOPS 15439 HAS SOUS 13925 HAS SOUPS 13925 WITH SCORE 13940.439
AT ITER 657 NEW BEST:: SOT 60360 SOS 15432 HAS SOPS 15432 HAS SOUS 13918 HAS SOUPS 13918 WITH SCORE 13933.432
AT ITER 658 NEW BEST:: SOT 60365 SOS 15478 HAS SOPS 15478 HAS SOUS 13855 HAS SOUPS 13855 WITH SCORE 13870.478
AT ITER 667 NEW BEST:: SOT 60372 SOS 15529 HAS SOPS 15529 HAS SOUS 13844 HAS SOUPS 13844 WITH SCORE 13859.529
AT ITER 671 NEW BEST:: SOT 60345 SOS 15529 HAS SOPS 15529 HAS SOUS 13817 HAS SOUPS 13817 WITH SCORE 13832.529
AT ITER 676 NEW BEST:: SOT 60345 SOS 15505 HAS SOPS 15505 HAS SOUS 13793 HAS SOUPS 13793 WITH SCORE 13808.505
AT ITER 686 NEW BEST:: SOT 60345 SOS 15517 HAS SOPS 15517 HAS SOUS 13784 HAS SOUPS 13784 WITH SCORE 13799.517
AT ITER 706 NEW BEST:: SOT 60345 SOS 15477 HAS SOPS 15477 HAS SOUS 13768 HAS SOUPS 13768 WITH SCORE 13783.477
AT ITER 713 NEW BEST:: SOT 60345 SOS 15475 HAS SOPS 15475 HAS SOUS 13766 HAS SOUPS 13766 WITH SCORE 13781.475
AT ITER 771 NEW BEST:: SOT 60337 SOS 15463 HAS SOPS 15463 HAS SOUS 13754 HAS SOUPS 13754 WITH SCORE 13769.463
AT ITER 782 NEW BEST:: SOT 60317 SOS 15447 HAS SOPS 15447 HAS SOUS 13708 HAS SOUPS 13708 WITH SCORE 13723.447
AT ITER 786 NEW BEST:: SOT 60281 SOS 15400 HAS SOPS 15400 HAS SOUS 13654 HAS SOUPS 13654 WITH SCORE 13669.4
AT ITER 816 NEW BEST:: SOT 60267 SOS 15270 HAS SOPS 15270 HAS SOUS 13610 HAS SOUPS 13610 WITH SCORE 13625.27
AT ITER 841 NEW BEST:: SOT 60267 SOS 15268 HAS SOPS 15268 HAS SOUS 13609 HAS SOUPS 13609 WITH SCORE 13624.268
AT ITER 856 NEW BEST:: SOT 60255 SOS 15232 HAS SOPS 15232 HAS SOUS 13591 HAS SOUPS 13591 WITH SCORE 13606.232
AT ITER 861 NEW BEST:: SOT 60264 SOS 15237 HAS SOPS 15237 HAS SOUS 13572 HAS SOUPS 13572 WITH SCORE 13587.237
AT ITER 893 NEW BEST:: SOT 60255 SOS 15219 HAS SOPS 15219 HAS SOUS 13563 HAS SOUPS 13563 WITH SCORE 13578.219
AT ITER 911 NEW BEST:: SOT 60251 SOS 15187 HAS SOPS 15187 HAS SOUS 13545 HAS SOUPS 13545 WITH SCORE 13560.187
AT ITER 915 NEW BEST:: SOT 60239 SOS 15179 HAS SOPS 15179 HAS SOUS 13512 HAS SOUPS 13512 WITH SCORE 13527.179
AT ITER 923 NEW BEST:: SOT 60234 SOS 15169 HAS SOPS 15169 HAS SOUS 13507 HAS SOUPS 13507 WITH SCORE 13522.169
AT ITER 942 NEW BEST:: SOT 60198 SOS 15146 HAS SOPS 15146 HAS SOUS 13479 HAS SOUPS 13479 WITH SCORE 13494.146
AT ITER 957 NEW BEST:: SOT 60199 SOS 15122 HAS SOPS 15122 HAS SOUS 13455 HAS SOUPS 13455 WITH SCORE 13470.122
AT ITER 963 NEW BEST:: SOT 60195 SOS 15118 HAS SOPS 15118 HAS SOUS 13449 HAS SOUPS 13449 WITH SCORE 13464.118
AT ITER 974 NEW BEST:: SOT 60173 SOS 15099 HAS SOPS 15099 HAS SOUS 13409 HAS SOUPS 13409 WITH SCORE 13424.099
AT ITER 1004 NEW BEST:: SOT 60172 SOS 15100 HAS SOPS 15100 HAS SOUS 13407 HAS SOUPS 13407 WITH SCORE 13422.1
AT ITER 1005 NEW BEST:: SOT 60172 SOS 15100 HAS SOPS 15100 HAS SOUS 13405 HAS SOUPS 13405 WITH SCORE 13420.1
AT ITER 1010 NEW BEST:: SOT 60170 SOS 15098 HAS SOPS 15098 HAS SOUS 13403 HAS SOUPS 13403 WITH SCORE 13418.098
AT ITER 1022 NEW BEST:: SOT 60157 SOS 15068 HAS SOPS 15068 HAS SOUS 13369 HAS SOUPS 13369 WITH SCORE 13384.068
AT ITER 1029 NEW BEST:: SOT 60156 SOS 15066 HAS SOPS 15066 HAS SOUS 13367 HAS SOUPS 13367 WITH SCORE 13382.066
AT ITER 1037 NEW BEST:: SOT 60168 SOS 15070 HAS SOPS 15070 HAS SOUS 13359 HAS SOUPS 13359 WITH SCORE 13374.07
AT ITER 1042 NEW BEST:: SOT 60140 SOS 15041 HAS SOPS 15041 HAS SOUS 13330 HAS SOUPS 13330 WITH SCORE 13345.041
AT ITER 1045 NEW BEST:: SOT 60070 SOS 14973 HAS SOPS 14973 HAS SOUS 13274 HAS SOUPS 13274 WITH SCORE 13288.973
AT ITER 1087 NEW BEST:: SOT 60103 SOS 15032 HAS SOPS 15032 HAS SOUS 13270 HAS SOUPS 13270 WITH SCORE 13285.032
AT ITER 1103 NEW BEST:: SOT 60103 SOS 14990 HAS SOPS 14990 HAS SOUS 13235 HAS SOUPS 13235 WITH SCORE 13249.99
AT ITER 1111 NEW BEST:: SOT 60089 SOS 14976 HAS SOPS 14976 HAS SOUS 13221 HAS SOUPS 13221 WITH SCORE 13235.976
AT ITER 1117 NEW BEST:: SOT 60089 SOS 14975 HAS SOPS 14975 HAS SOUS 13220 HAS SOUPS 13220 WITH SCORE 13234.975
AT ITER 1147 NEW BEST:: SOT 60071 SOS 14939 HAS SOPS 14939 HAS SOUS 13184 HAS SOUPS 13184 WITH SCORE 13198.939
AT ITER 1208 NEW BEST:: SOT 60068 SOS 14936 HAS SOPS 14936 HAS SOUS 13181 HAS SOUPS 13181 WITH SCORE 13195.936
AT ITER 1223 NEW BEST:: SOT 60025 SOS 14964 HAS SOPS 14964 HAS SOUS 13165 HAS SOUPS 13165 WITH SCORE 13179.964
AT ITER 1230 NEW BEST:: SOT 60009 SOS 14971 HAS SOPS 14971 HAS SOUS 13149 HAS SOUPS 13149 WITH SCORE 13163.971
AT ITER 1231 NEW BEST:: SOT 59997 SOS 14935 HAS SOPS 14935 HAS SOUS 13137 HAS SOUPS 13137 WITH SCORE 13151.935
AT ITER 1245 NEW BEST:: SOT 59995 SOS 14931 HAS SOPS 14931 HAS SOUS 13135 HAS SOUPS 13135 WITH SCORE 13149.931
AT ITER 1254 NEW BEST:: SOT 59972 SOS 14869 HAS SOPS 14869 HAS SOUS 13120 HAS SOUPS 13120 WITH SCORE 13134.869
AT ITER 1291 NEW BEST:: SOT 59997 SOS 14887 HAS SOPS 14887 HAS SOUS 13112 HAS SOUPS 13112 WITH SCORE 13126.887
AT ITER 1300 NEW BEST:: SOT 59993 SOS 14891 HAS SOPS 14891 HAS SOUS 13108 HAS SOUPS 13108 WITH SCORE 13122.891
AT ITER 1309 NEW BEST:: SOT 59968 SOS 14884 HAS SOPS 14884 HAS SOUS 13101 HAS SOUPS 13101 WITH SCORE 13115.884
AT ITER 1329 NEW BEST:: SOT 59967 SOS 14900 HAS SOPS 14900 HAS SOUS 13082 HAS SOUPS 13082 WITH SCORE 13096.9
AT ITER 1357 NEW BEST:: SOT 59967 SOS 14889 HAS SOPS 14889 HAS SOUS 13071 HAS SOUPS 13071 WITH SCORE 13085.889
AT ITER 1384 NEW BEST:: SOT 59950 SOS 14855 HAS SOPS 14855 HAS SOUS 13012 HAS SOUPS 13012 WITH SCORE 13026.855
AT ITER 1390 NEW BEST:: SOT 59949 SOS 14853 HAS SOPS 14853 HAS SOUS 13010 HAS SOUPS 13010 WITH SCORE 13024.853
AT ITER 1395 NEW BEST:: SOT 59942 SOS 14839 HAS SOPS 14839 HAS SOUS 13003 HAS SOUPS 13003 WITH SCORE 13017.839
AT ITER 1422 NEW BEST:: SOT 59938 SOS 14829 HAS SOPS 14829 HAS SOUS 12995 HAS SOUPS 12995 WITH SCORE 13009.829
AT ITER 1424 NEW BEST:: SOT 59888 SOS 14779 HAS SOPS 14779 HAS SOUS 12945 HAS SOUPS 12945 WITH SCORE 12959.779
AT ITER 1427 NEW BEST:: SOT 59888 SOS 14764 HAS SOPS 14764 HAS SOUS 12930 HAS SOUPS 12930 WITH SCORE 12944.764
AT ITER 1434 NEW BEST:: SOT 59888 SOS 14762 HAS SOPS 14762 HAS SOUS 12928 HAS SOUPS 12928 WITH SCORE 12942.762
AT ITER 1475 NEW BEST:: SOT 59887 SOS 14747 HAS SOPS 14747 HAS SOUS 12920 HAS SOUPS 12920 WITH SCORE 12934.747
AT ITER 1497 NEW BEST:: SOT 59904 SOS 14739 HAS SOPS 14739 HAS SOUS 12912 HAS SOUPS 12912 WITH SCORE 12926.739
AT ITER 1515 NEW BEST:: SOT 59903 SOS 14750 HAS SOPS 14750 HAS SOUS 12911 HAS SOUPS 12911 WITH SCORE 12925.75
AT ITER 1525 NEW BEST:: SOT 59865 SOS 14712 HAS SOPS 14712 HAS SOUS 12873 HAS SOUPS 12873 WITH SCORE 12887.712
AT ITER 1542 NEW BEST:: SOT 59839 SOS 14677 HAS SOPS 14677 HAS SOUS 12833 HAS SOUPS 12833 WITH SCORE 12847.677
AT ITER 1578 NEW BEST:: SOT 59802 SOS 14479 HAS SOPS 14479 HAS SOUS 12734 HAS SOUPS 12734 WITH SCORE 12748.479
AT ITER 1597 NEW BEST:: SOT 59850 SOS 14489 HAS SOPS 14489 HAS SOUS 12724 HAS SOUPS 12724 WITH SCORE 12738.489
AT ITER 1599 NEW BEST:: SOT 59839 SOS 14491 HAS SOPS 14491 HAS SOUS 12720 HAS SOUPS 12720 WITH SCORE 12734.491
AT ITER 1610 NEW BEST:: SOT 59841 SOS 14522 HAS SOPS 14522 HAS SOUS 12715 HAS SOUPS 12715 WITH SCORE 12729.522
AT ITER 1670 NEW BEST:: SOT 59821 SOS 14505 HAS SOPS 14505 HAS SOUS 12686 HAS SOUPS 12686 WITH SCORE 12700.505
AT ITER 1681 NEW BEST:: SOT 59814 SOS 14490 HAS SOPS 14490 HAS SOUS 12671 HAS SOUPS 12671 WITH SCORE 12685.49
AT ITER 1747 NEW BEST:: SOT 59832 SOS 14226 HAS SOPS 14226 HAS SOUS 12613 HAS SOUPS 12613 WITH SCORE 12627.226
AT ITER 1763 NEW BEST:: SOT 59848 SOS 14223 HAS SOPS 14223 HAS SOUS 12588 HAS SOUPS 12588 WITH SCORE 12602.223
AT ITER 1771 NEW BEST:: SOT 59843 SOS 14217 HAS SOPS 14217 HAS SOUS 12582 HAS SOUPS 12582 WITH SCORE 12596.217
AT ITER 1778 NEW BEST:: SOT 59837 SOS 14209 HAS SOPS 14209 HAS SOUS 12580 HAS SOUPS 12580 WITH SCORE 12594.209
AT ITER 1780 NEW BEST:: SOT 59818 SOS 14143 HAS SOPS 14143 HAS SOUS 12544 HAS SOUPS 12544 WITH SCORE 12558.143
AT ITER 1783 NEW BEST:: SOT 59804 SOS 14131 HAS SOPS 14131 HAS SOUS 12540 HAS SOUPS 12540 WITH SCORE 12554.131
AT ITER 1937 NEW BEST:: SOT 59794 SOS 14126 HAS SOPS 14126 HAS SOUS 12535 HAS SOUPS 12535 WITH SCORE 12549.126
AT ITER 1999 NEW BEST:: SOT 59784 SOS 14116 HAS SOPS 14116 HAS SOUS 12525 HAS SOUPS 12525 WITH SCORE 12539.116
AT ITER 2023 NEW BEST:: SOT 59781 SOS 14110 HAS SOPS 14110 HAS SOUS 12519 HAS SOUPS 12519 WITH SCORE 12533.11
AT ITER 2025 NEW BEST:: SOT 59781 SOS 14098 HAS SOPS 14098 HAS SOUS 12507 HAS SOUPS 12507 WITH SCORE 12521.098
AT ITER 2034 NEW BEST:: SOT 59782 SOS 14104 HAS SOPS 14104 HAS SOUS 12505 HAS SOUPS 12505 WITH SCORE 12519.104
AT ITER 2077 NEW BEST:: SOT 59782 SOS 14098 HAS SOPS 14098 HAS SOUS 12499 HAS SOUPS 12499 WITH SCORE 12513.098
AT ITER 2084 NEW BEST:: SOT 59765 SOS 14094 HAS SOPS 14094 HAS SOUS 12495 HAS SOUPS 12495 WITH SCORE 12509.094
AT ITER 2085 NEW BEST:: SOT 59777 SOS 14078 HAS SOPS 14078 HAS SOUS 12491 HAS SOUPS 12491 WITH SCORE 12505.078
AT ITER 2091 NEW BEST:: SOT 59775 SOS 14115 HAS SOPS 14115 HAS SOUS 12489 HAS SOUPS 12489 WITH SCORE 12503.115
AT ITER 2125 NEW BEST:: SOT 59775 SOS 14115 HAS SOPS 14115 HAS SOUS 12487 HAS SOUPS 12487 WITH SCORE 12501.115
AT ITER 2133 NEW BEST:: SOT 59761 SOS 14061 HAS SOPS 14061 HAS SOUS 12473 HAS SOUPS 12473 WITH SCORE 12487.061
AT ITER 2143 NEW BEST:: SOT 59753 SOS 14053 HAS SOPS 14053 HAS SOUS 12473 HAS SOUPS 12473 WITH SCORE 12487.053
AT ITER 2161 NEW BEST:: SOT 59752 SOS 14051 HAS SOPS 14051 HAS SOUS 12471 HAS SOUPS 12471 WITH SCORE 12485.051
AT ITER 2185 NEW BEST:: SOT 59752 SOS 14051 HAS SOPS 14051 HAS SOUS 12469 HAS SOUPS 12469 WITH SCORE 12483.051
AT ITER 2187 NEW BEST:: SOT 59746 SOS 14039 HAS SOPS 14039 HAS SOUS 12457 HAS SOUPS 12457 WITH SCORE 12471.039
AT ITER 2199 NEW BEST:: SOT 59752 SOS 14031 HAS SOPS 14031 HAS SOUS 12450 HAS SOUPS 12450 WITH SCORE 12464.031
AT ITER 2205 NEW BEST:: SOT 59741 SOS 14022 HAS SOPS 14022 HAS SOUS 12437 HAS SOUPS 12437 WITH SCORE 12451.022
AT ITER 2223 NEW BEST:: SOT 59687 SOS 13984 HAS SOPS 13984 HAS SOUS 12426 HAS SOUPS 12426 WITH SCORE 12439.984
AT ITER 2229 NEW BEST:: SOT 59688 SOS 13955 HAS SOPS 13955 HAS SOUS 12425 HAS SOUPS 12425 WITH SCORE 12438.955
AT ITER 2311 NEW BEST:: SOT 59688 SOS 13954 HAS SOPS 13954 HAS SOUS 12424 HAS SOUPS 12424 WITH SCORE 12437.954
AT ITER 2312 NEW BEST:: SOT 59654 SOS 13870 HAS SOPS 13870 HAS SOUS 12390 HAS SOUPS 12390 WITH SCORE 12403.87
AT ITER 2377 NEW BEST:: SOT 59649 SOS 13851 HAS SOPS 13851 HAS SOUS 12380 HAS SOUPS 12380 WITH SCORE 12393.851
AT ITER 2388 NEW BEST:: SOT 59666 SOS 13825 HAS SOPS 13825 HAS SOUS 12367 HAS SOUPS 12367 WITH SCORE 12380.825
AT ITER 2415 NEW BEST:: SOT 59652 SOS 13836 HAS SOPS 13836 HAS SOUS 12366 HAS SOUPS 12366 WITH SCORE 12379.836
AT ITER 2450 NEW BEST:: SOT 59645 SOS 13822 HAS SOPS 13822 HAS SOUS 12359 HAS SOUPS 12359 WITH SCORE 12372.822
AT ITER 2511 NEW BEST:: SOT 59642 SOS 13808 HAS SOPS 13808 HAS SOUS 12340 HAS SOUPS 12340 WITH SCORE 12353.808
AT ITER 2527 NEW BEST:: SOT 59642 SOS 13831 HAS SOPS 13831 HAS SOUS 12337 HAS SOUPS 12337 WITH SCORE 12350.831
AT ITER 2558 NEW BEST:: SOT 59637 SOS 13816 HAS SOPS 13816 HAS SOUS 12322 HAS SOUPS 12322 WITH SCORE 12335.816
AT ITER 2619 NEW BEST:: SOT 59637 SOS 13815 HAS SOPS 13815 HAS SOUS 12322 HAS SOUPS 12322 WITH SCORE 12335.815
AT ITER 2656 NEW BEST:: SOT 59621 SOS 13786 HAS SOPS 13786 HAS SOUS 12309 HAS SOUPS 12309 WITH SCORE 12322.786
AT ITER 2691 NEW BEST:: SOT 59621 SOS 13735 HAS SOPS 13735 HAS SOUS 12309 HAS SOUPS 12309 WITH SCORE 12322.735
AT ITER 2693 NEW BEST:: SOT 59621 SOS 13730 HAS SOPS 13730 HAS SOUS 12304 HAS SOUPS 12304 WITH SCORE 12317.73
AT ITER 2697 NEW BEST:: SOT 59619 SOS 13728 HAS SOPS 13728 HAS SOUS 12304 HAS SOUPS 12304 WITH SCORE 12317.728
AT ITER 2724 NEW BEST:: SOT 59619 SOS 13715 HAS SOPS 13715 HAS SOUS 12291 HAS SOUPS 12291 WITH SCORE 12304.715
AT ITER 2749 NEW BEST:: SOT 59612 SOS 13706 HAS SOPS 13706 HAS SOUS 12277 HAS SOUPS 12277 WITH SCORE 12290.706
AT ITER 2769 NEW BEST:: SOT 59619 SOS 13699 HAS SOPS 13699 HAS SOUS 12275 HAS SOUPS 12275 WITH SCORE 12288.699
AT ITER 2773 NEW BEST:: SOT 59594 SOS 13690 HAS SOPS 13690 HAS SOUS 12259 HAS SOUPS 12259 WITH SCORE 12272.69
AT ITER 2824 NEW BEST:: SOT 59569 SOS 13678 HAS SOPS 13678 HAS SOUS 12247 HAS SOUPS 12247 WITH SCORE 12260.678
AT ITER 2826 NEW BEST:: SOT 59563 SOS 13671 HAS SOPS 13671 HAS SOUS 12246 HAS SOUPS 12246 WITH SCORE 12259.671
AT ITER 2857 NEW BEST:: SOT 59499 SOS 13581 HAS SOPS 13581 HAS SOUS 12156 HAS SOUPS 12156 WITH SCORE 12169.581
AT ITER 2876 NEW BEST:: SOT 59448 SOS 13530 HAS SOPS 13530 HAS SOUS 12105 HAS SOUPS 12105 WITH SCORE 12118.53
AT ITER 2912 NEW BEST:: SOT 59462 SOS 13544 HAS SOPS 13544 HAS SOUS 12076 HAS SOUPS 12076 WITH SCORE 12089.544
AT ITER 2913 NEW BEST:: SOT 59458 SOS 13537 HAS SOPS 13537 HAS SOUS 12069 HAS SOUPS 12069 WITH SCORE 12082.537
AT ITER 2946 NEW BEST:: SOT 59453 SOS 13527 HAS SOPS 13527 HAS SOUS 12059 HAS SOUPS 12059 WITH SCORE 12072.527
AT ITER 2948 NEW BEST:: SOT 59453 SOS 13521 HAS SOPS 13521 HAS SOUS 12053 HAS SOUPS 12053 WITH SCORE 12066.521
AT ITER 3037 NEW BEST:: SOT 59449 SOS 13513 HAS SOPS 13513 HAS SOUS 12048 HAS SOUPS 12048 WITH SCORE 12061.513
AT ITER 3062 NEW BEST:: SOT 59449 SOS 13505 HAS SOPS 13505 HAS SOUS 12048 HAS SOUPS 12048 WITH SCORE 12061.505
AT ITER 3068 NEW BEST:: SOT 59419 SOS 13488 HAS SOPS 13488 HAS SOUS 11981 HAS SOUPS 11981 WITH SCORE 11994.488
AT ITER 3078 NEW BEST:: SOT 59419 SOS 13480 HAS SOPS 13480 HAS SOUS 11973 HAS SOUPS 11973 WITH SCORE 11986.48
AT ITER 3102 NEW BEST:: SOT 59408 SOS 13454 HAS SOPS 13454 HAS SOUS 11928 HAS SOUPS 11928 WITH SCORE 11941.454
AT ITER 3180 NEW BEST:: SOT 59406 SOS 13452 HAS SOPS 13452 HAS SOUS 11926 HAS SOUPS 11926 WITH SCORE 11939.452
AT ITER 3190 NEW BEST:: SOT 59404 SOS 13451 HAS SOPS 13451 HAS SOUS 11912 HAS SOUPS 11912 WITH SCORE 11925.451
AT ITER 3219 NEW BEST:: SOT 59393 SOS 13440 HAS SOPS 13440 HAS SOUS 11901 HAS SOUPS 11901 WITH SCORE 11914.44
AT ITER 3235 NEW BEST:: SOT 59378 SOS 13410 HAS SOPS 13410 HAS SOUS 11870 HAS SOUPS 11870 WITH SCORE 11883.41
AT ITER 3244 NEW BEST:: SOT 59378 SOS 13413 HAS SOPS 13413 HAS SOUS 11865 HAS SOUPS 11865 WITH SCORE 11878.413
AT ITER 3246 NEW BEST:: SOT 59368 SOS 13403 HAS SOPS 13403 HAS SOUS 11855 HAS SOUPS 11855 WITH SCORE 11868.403
AT ITER 3261 NEW BEST:: SOT 59366 SOS 13399 HAS SOPS 13399 HAS SOUS 11851 HAS SOUPS 11851 WITH SCORE 11864.399
AT ITER 3264 NEW BEST:: SOT 59366 SOS 13393 HAS SOPS 13393 HAS SOUS 11845 HAS SOUPS 11845 WITH SCORE 11858.393
AT ITER 3292 NEW BEST:: SOT 59357 SOS 13375 HAS SOPS 13375 HAS SOUS 11836 HAS SOUPS 11836 WITH SCORE 11849.375
AT ITER 3306 NEW BEST:: SOT 59356 SOS 13373 HAS SOPS 13373 HAS SOUS 11834 HAS SOUPS 11834 WITH SCORE 11847.373
AT ITER 3309 NEW BEST:: SOT 59350 SOS 13367 HAS SOPS 13367 HAS SOUS 11834 HAS SOUPS 11834 WITH SCORE 11847.367
AT ITER 3360 NEW BEST:: SOT 59341 SOS 13358 HAS SOPS 13358 HAS SOUS 11827 HAS SOUPS 11827 WITH SCORE 11840.358
AT ITER 3361 NEW BEST:: SOT 59304 SOS 13173 HAS SOPS 13173 HAS SOUS 11753 HAS SOUPS 11753 WITH SCORE 11766.173
AT ITER 3370 NEW BEST:: SOT 59304 SOS 13173 HAS SOPS 13173 HAS SOUS 11751 HAS SOUPS 11751 WITH SCORE 11764.173
AT ITER 3386 NEW BEST:: SOT 59304 SOS 13173 HAS SOPS 13173 HAS SOUS 11750 HAS SOUPS 11750 WITH SCORE 11763.173
AT ITER 3429 NEW BEST:: SOT 59285 SOS 13171 HAS SOPS 13171 HAS SOUS 11749 HAS SOUPS 11749 WITH SCORE 11762.171
AT ITER 3491 NEW BEST:: SOT 59281 SOS 13167 HAS SOPS 13167 HAS SOUS 11745 HAS SOUPS 11745 WITH SCORE 11758.167
AT ITER 3499 NEW BEST:: SOT 59273 SOS 13155 HAS SOPS 13155 HAS SOUS 11735 HAS SOUPS 11735 WITH SCORE 11748.155
AT ITER 3525 NEW BEST:: SOT 59263 SOS 13129 HAS SOPS 13129 HAS SOUS 11680 HAS SOUPS 11680 WITH SCORE 11693.129
AT ITER 3566 NEW BEST:: SOT 59263 SOS 13117 HAS SOPS 13117 HAS SOUS 11668 HAS SOUPS 11668 WITH SCORE 11681.117
AT ITER 3606 NEW BEST:: SOT 59263 SOS 13115 HAS SOPS 13115 HAS SOUS 11666 HAS SOUPS 11666 WITH SCORE 11679.115
AT ITER 3610 NEW BEST:: SOT 59259 SOS 13111 HAS SOPS 13111 HAS SOUS 11666 HAS SOUPS 11666 WITH SCORE 11679.111
AT ITER 3668 NEW BEST:: SOT 59263 SOS 13108 HAS SOPS 13108 HAS SOUS 11666 HAS SOUPS 11666 WITH SCORE 11679.108
AT ITER 3680 NEW BEST:: SOT 59260 SOS 13101 HAS SOPS 13101 HAS SOUS 11661 HAS SOUPS 11661 WITH SCORE 11674.101
AT ITER 3745 NEW BEST:: SOT 59243 SOS 13084 HAS SOPS 13084 HAS SOUS 11660 HAS SOUPS 11660 WITH SCORE 11673.084
AT ITER 3759 NEW BEST:: SOT 59243 SOS 13077 HAS SOPS 13077 HAS SOUS 11660 HAS SOUPS 11660 WITH SCORE 11673.077
AT ITER 3773 NEW BEST:: SOT 59243 SOS 13074 HAS SOPS 13074 HAS SOUS 11657 HAS SOUPS 11657 WITH SCORE 11670.074
AT ITER 3829 NEW BEST:: SOT 59178 SOS 13043 HAS SOPS 13043 HAS SOUS 11626 HAS SOUPS 11626 WITH SCORE 11639.043
AT ITER 3837 NEW BEST:: SOT 59174 SOS 13039 HAS SOPS 13039 HAS SOUS 11622 HAS SOUPS 11622 WITH SCORE 11635.039
AT ITER 3871 NEW BEST:: SOT 59174 SOS 13052 HAS SOPS 13052 HAS SOUS 11621 HAS SOUPS 11621 WITH SCORE 11634.052
AT ITER 3878 NEW BEST:: SOT 59144 SOS 13056 HAS SOPS 13056 HAS SOUS 11605 HAS SOUPS 11605 WITH SCORE 11618.056
AT ITER 3888 NEW BEST:: SOT 59115 SOS 13054 HAS SOPS 13054 HAS SOUS 11593 HAS SOUPS 11593 WITH SCORE 11606.054
AT ITER 3931 NEW BEST:: SOT 59136 SOS 13081 HAS SOPS 13081 HAS SOUS 11589 HAS SOUPS 11589 WITH SCORE 11602.081
AT ITER 3957 NEW BEST:: SOT 59130 SOS 13075 HAS SOPS 13075 HAS SOUS 11583 HAS SOUPS 11583 WITH SCORE 11596.075
AT ITER 3962 NEW BEST:: SOT 59127 SOS 13072 HAS SOPS 13072 HAS SOUS 11580 HAS SOUPS 11580 WITH SCORE 11593.072
AT ITER 3964 NEW BEST:: SOT 59117 SOS 13057 HAS SOPS 13057 HAS SOUS 11565 HAS SOUPS 11565 WITH SCORE 11578.057
AT ITER 4004 NEW BEST:: SOT 59117 SOS 13059 HAS SOPS 13059 HAS SOUS 11555 HAS SOUPS 11555 WITH SCORE 11568.059
AT ITER 4023 NEW BEST:: SOT 59117 SOS 13056 HAS SOPS 13056 HAS SOUS 11552 HAS SOUPS 11552 WITH SCORE 11565.056
AT ITER 4030 NEW BEST:: SOT 59085 SOS 13034 HAS SOPS 13034 HAS SOUS 11520 HAS SOUPS 11520 WITH SCORE 11533.034
AT ITER 4032 NEW BEST:: SOT 59091 SOS 13030 HAS SOPS 13030 HAS SOUS 11516 HAS SOUPS 11516 WITH SCORE 11529.03
AT ITER 4037 NEW BEST:: SOT 59094 SOS 13025 HAS SOPS 13025 HAS SOUS 11508 HAS SOUPS 11508 WITH SCORE 11521.025
AT ITER 4053 NEW BEST:: SOT 59073 SOS 12974 HAS SOPS 12974 HAS SOUS 11481 HAS SOUPS 11481 WITH SCORE 11493.974
AT ITER 4070 NEW BEST:: SOT 59062 SOS 12952 HAS SOPS 12952 HAS SOUS 11470 HAS SOUPS 11470 WITH SCORE 11482.952
AT ITER 4079 NEW BEST:: SOT 59062 SOS 12946 HAS SOPS 12946 HAS SOUS 11470 HAS SOUPS 11470 WITH SCORE 11482.946
AT ITER 4121 NEW BEST:: SOT 59062 SOS 12945 HAS SOPS 12945 HAS SOUS 11469 HAS SOUPS 11469 WITH SCORE 11481.945
AT ITER 4173 NEW BEST:: SOT 59086 SOS 12960 HAS SOPS 12960 HAS SOUS 11454 HAS SOUPS 11454 WITH SCORE 11466.96
AT ITER 4228 NEW BEST:: SOT 59066 SOS 12916 HAS SOPS 12916 HAS SOUS 11392 HAS SOUPS 11392 WITH SCORE 11404.916
AT ITER 4234 NEW BEST:: SOT 59069 SOS 12915 HAS SOPS 12915 HAS SOUS 11388 HAS SOUPS 11388 WITH SCORE 11400.915
AT ITER 4239 NEW BEST:: SOT 59069 SOS 12907 HAS SOPS 12907 HAS SOUS 11380 HAS SOUPS 11380 WITH SCORE 11392.907
AT ITER 4261 NEW BEST:: SOT 59066 SOS 12899 HAS SOPS 12899 HAS SOUS 11375 HAS SOUPS 11375 WITH SCORE 11387.899
AT ITER 4289 NEW BEST:: SOT 59060 SOS 12887 HAS SOPS 12887 HAS SOUS 11369 HAS SOUPS 11369 WITH SCORE 11381.887
AT ITER 4322 NEW BEST:: SOT 59060 SOS 12884 HAS SOPS 12884 HAS SOUS 11366 HAS SOUPS 11366 WITH SCORE 11378.884
AT ITER 4337 NEW BEST:: SOT 59059 SOS 12882 HAS SOPS 12882 HAS SOUS 11364 HAS SOUPS 11364 WITH SCORE 11376.882
AT ITER 4375 NEW BEST:: SOT 59059 SOS 12866 HAS SOPS 12866 HAS SOUS 11360 HAS SOUPS 11360 WITH SCORE 11372.866
AT ITER 4389 NEW BEST:: SOT 59058 SOS 12864 HAS SOPS 12864 HAS SOUS 11358 HAS SOUPS 11358 WITH SCORE 11370.864
AT ITER 4402 NEW BEST:: SOT 59056 SOS 12862 HAS SOPS 12862 HAS SOUS 11356 HAS SOUPS 11356 WITH SCORE 11368.862
AT ITER 4422 NEW BEST:: SOT 59060 SOS 12866 HAS SOPS 12866 HAS SOUS 11353 HAS SOUPS 11353 WITH SCORE 11365.866
AT ITER 4431 NEW BEST:: SOT 59053 SOS 12851 HAS SOPS 12851 HAS SOUS 11338 HAS SOUPS 11338 WITH SCORE 11350.851
AT ITER 4449 NEW BEST:: SOT 59052 SOS 12840 HAS SOPS 12840 HAS SOUS 11338 HAS SOUPS 11338 WITH SCORE 11350.84
AT ITER 4491 NEW BEST:: SOT 59061 SOS 12810 HAS SOPS 12810 HAS SOUS 11323 HAS SOUPS 11323 WITH SCORE 11335.81
AT ITER 4496 NEW BEST:: SOT 59011 SOS 12678 HAS SOPS 12678 HAS SOUS 11238 HAS SOUPS 11238 WITH SCORE 11250.678
AT ITER 4537 NEW BEST:: SOT 59005 SOS 12666 HAS SOPS 12666 HAS SOUS 11232 HAS SOUPS 11232 WITH SCORE 11244.666
AT ITER 4629 NEW BEST:: SOT 59005 SOS 12628 HAS SOPS 12628 HAS SOUS 11217 HAS SOUPS 11217 WITH SCORE 11229.628
AT ITER 4632 NEW BEST:: SOT 59005 SOS 12598 HAS SOPS 12598 HAS SOUS 11212 HAS SOUPS 11212 WITH SCORE 11224.598
AT ITER 4681 NEW BEST:: SOT 59002 SOS 12596 HAS SOPS 12596 HAS SOUS 11210 HAS SOUPS 11210 WITH SCORE 11222.596
AT ITER 4699 NEW BEST:: SOT 58973 SOS 12567 HAS SOPS 12567 HAS SOUS 11181 HAS SOUPS 11181 WITH SCORE 11193.567
AT ITER 4738 NEW BEST:: SOT 58962 SOS 12545 HAS SOPS 12545 HAS SOUS 11170 HAS SOUPS 11170 WITH SCORE 11182.545
AT ITER 4808 NEW BEST:: SOT 58965 SOS 12548 HAS SOPS 12548 HAS SOUS 11166 HAS SOUPS 11166 WITH SCORE 11178.548
AT ITER 4871 NEW BEST:: SOT 58961 SOS 12541 HAS SOPS 12541 HAS SOUS 11159 HAS SOUPS 11159 WITH SCORE 11171.541
AT ITER 4986 NEW BEST:: SOT 58962 SOS 12531 HAS SOPS 12531 HAS SOUS 11155 HAS SOUPS 11155 WITH SCORE 11167.531
AT ITER 5028 NEW BEST:: SOT 58965 SOS 12528 HAS SOPS 12528 HAS SOUS 11152 HAS SOUPS 11152 WITH SCORE 11164.528
AT ITER 5055 NEW BEST:: SOT 58963 SOS 12527 HAS SOPS 12527 HAS SOUS 11151 HAS SOUPS 11151 WITH SCORE 11163.527
AT ITER 5077 NEW BEST:: SOT 58963 SOS 12520 HAS SOPS 12520 HAS SOUS 11144 HAS SOUPS 11144 WITH SCORE 11156.52
AT ITER 5111 NEW BEST:: SOT 58951 SOS 12472 HAS SOPS 12472 HAS SOUS 11098 HAS SOUPS 11098 WITH SCORE 11110.472
AT ITER 5171 NEW BEST:: SOT 58960 SOS 12480 HAS SOPS 12480 HAS SOUS 11097 HAS SOUPS 11097 WITH SCORE 11109.48
AT ITER 5225 NEW BEST:: SOT 58994 SOS 12440 HAS SOPS 12440 HAS SOUS 11094 HAS SOUPS 11094 WITH SCORE 11106.44
AT ITER 5240 NEW BEST:: SOT 58994 SOS 12437 HAS SOPS 12437 HAS SOUS 11094 HAS SOUPS 11094 WITH SCORE 11106.437
AT ITER 5280 NEW BEST:: SOT 58979 SOS 12422 HAS SOPS 12422 HAS SOUS 11049 HAS SOUPS 11049 WITH SCORE 11061.422
AT ITER 5314 NEW BEST:: SOT 59001 SOS 12446 HAS SOPS 12446 HAS SOUS 11046 HAS SOUPS 11046 WITH SCORE 11058.446
AT ITER 5318 NEW BEST:: SOT 59001 SOS 12435 HAS SOPS 12435 HAS SOUS 11035 HAS SOUPS 11035 WITH SCORE 11047.435
AT ITER 5512 NEW BEST:: SOT 59005 SOS 12436 HAS SOPS 12436 HAS SOUS 11034 HAS SOUPS 11034 WITH SCORE 11046.436
AT ITER 5522 NEW BEST:: SOT 59010 SOS 12431 HAS SOPS 12431 HAS SOUS 11027 HAS SOUPS 11027 WITH SCORE 11039.431
AT ITER 5531 NEW BEST:: SOT 59018 SOS 12429 HAS SOPS 12429 HAS SOUS 11025 HAS SOUPS 11025 WITH SCORE 11037.429
AT ITER 5593 NEW BEST:: SOT 59009 SOS 12461 HAS SOPS 12461 HAS SOUS 11010 HAS SOUPS 11010 WITH SCORE 11022.461
AT ITER 5772 NEW BEST:: SOT 59009 SOS 12458 HAS SOPS 12458 HAS SOUS 11007 HAS SOUPS 11007 WITH SCORE 11019.458
AT ITER 5779 NEW BEST:: SOT 59012 SOS 12460 HAS SOPS 12460 HAS SOUS 11006 HAS SOUPS 11006 WITH SCORE 11018.46
AT ITER 5783 NEW BEST:: SOT 59008 SOS 12447 HAS SOPS 12447 HAS SOUS 10993 HAS SOUPS 10993 WITH SCORE 11005.447
AT ITER 5859 NEW BEST:: SOT 59004 SOS 12443 HAS SOPS 12443 HAS SOUS 10989 HAS SOUPS 10989 WITH SCORE 11001.443
AT ITER 5869 NEW BEST:: SOT 58977 SOS 12433 HAS SOPS 12433 HAS SOUS 10979 HAS SOUPS 10979 WITH SCORE 10991.433
AT ITER 5877 NEW BEST:: SOT 58973 SOS 12427 HAS SOPS 12427 HAS SOUS 10975 HAS SOUPS 10975 WITH SCORE 10987.427
AT ITER 5879 NEW BEST:: SOT 58920 SOS 12235 HAS SOPS 12235 HAS SOUS 10931 HAS SOUPS 10931 WITH SCORE 10943.235
AT ITER 5923 NEW BEST:: SOT 58912 SOS 12227 HAS SOPS 12227 HAS SOUS 10923 HAS SOUPS 10923 WITH SCORE 10935.227
AT ITER 5951 NEW BEST:: SOT 58908 SOS 12208 HAS SOPS 12208 HAS SOUS 10905 HAS SOUPS 10905 WITH SCORE 10917.208
AT ITER 5968 NEW BEST:: SOT 58908 SOS 12205 HAS SOPS 12205 HAS SOUS 10902 HAS SOUPS 10902 WITH SCORE 10914.205
AT ITER 5974 NEW BEST:: SOT 58899 SOS 12196 HAS SOPS 12196 HAS SOUS 10893 HAS SOUPS 10893 WITH SCORE 10905.196
AT ITER 5983 NEW BEST:: SOT 58896 SOS 12184 HAS SOPS 12184 HAS SOUS 10890 HAS SOUPS 10890 WITH SCORE 10902.184
AT ITER 6014 NEW BEST:: SOT 58896 SOS 12164 HAS SOPS 12164 HAS SOUS 10870 HAS SOUPS 10870 WITH SCORE 10882.164
AT ITER 6015 NEW BEST:: SOT 58892 SOS 12152 HAS SOPS 12152 HAS SOUS 10862 HAS SOUPS 10862 WITH SCORE 10874.152
AT ITER 6017 NEW BEST:: SOT 58904 SOS 12143 HAS SOPS 12143 HAS SOUS 10853 HAS SOUPS 10853 WITH SCORE 10865.143
AT ITER 6040 NEW BEST:: SOT 58905 SOS 12151 HAS SOPS 12151 HAS SOUS 10851 HAS SOUPS 10851 WITH SCORE 10863.151
AT ITER 6070 NEW BEST:: SOT 58905 SOS 12138 HAS SOPS 12138 HAS SOUS 10849 HAS SOUPS 10849 WITH SCORE 10861.138
AT ITER 6182 NEW BEST:: SOT 58872 SOS 12137 HAS SOPS 12137 HAS SOUS 10842 HAS SOUPS 10842 WITH SCORE 10854.137
AT ITER 6183 NEW BEST:: SOT 58870 SOS 12135 HAS SOPS 12135 HAS SOUS 10840 HAS SOUPS 10840 WITH SCORE 10852.135
AT ITER 6247 NEW BEST:: SOT 58868 SOS 12108 HAS SOPS 12108 HAS SOUS 10832 HAS SOUPS 10832 WITH SCORE 10844.108
AT ITER 6305 NEW BEST:: SOT 58868 SOS 12103 HAS SOPS 12103 HAS SOUS 10830 HAS SOUPS 10830 WITH SCORE 10842.103
AT ITER 6375 NEW BEST:: SOT 58873 SOS 12081 HAS SOPS 12081 HAS SOUS 10824 HAS SOUPS 10824 WITH SCORE 10836.081
AT ITER 6396 NEW BEST:: SOT 58870 SOS 12081 HAS SOPS 12081 HAS SOUS 10821 HAS SOUPS 10821 WITH SCORE 10833.081
AT ITER 6410 NEW BEST:: SOT 58873 SOS 12080 HAS SOPS 12080 HAS SOUS 10820 HAS SOUPS 10820 WITH SCORE 10832.08
AT ITER 6465 NEW BEST:: SOT 58869 SOS 12073 HAS SOPS 12073 HAS SOUS 10818 HAS SOUPS 10818 WITH SCORE 10830.073
AT ITER 6471 NEW BEST:: SOT 58859 SOS 12063 HAS SOPS 12063 HAS SOUS 10818 HAS SOUPS 10818 WITH SCORE 10830.063
AT ITER 6505 NEW BEST:: SOT 58863 SOS 12088 HAS SOPS 12088 HAS SOUS 10813 HAS SOUPS 10813 WITH SCORE 10825.088
AT ITER 6583 NEW BEST:: SOT 58865 SOS 12068 HAS SOPS 12068 HAS SOUS 10803 HAS SOUPS 10803 WITH SCORE 10815.068
AT ITER 6644 NEW BEST:: SOT 58859 SOS 12056 HAS SOPS 12056 HAS SOUS 10797 HAS SOUPS 10797 WITH SCORE 10809.056
AT ITER 6712 NEW BEST:: SOT 58859 SOS 12044 HAS SOPS 12044 HAS SOUS 10791 HAS SOUPS 10791 WITH SCORE 10803.044
AT ITER 6719 NEW BEST:: SOT 58868 SOS 12030 HAS SOPS 12030 HAS SOUS 10790 HAS SOUPS 10790 WITH SCORE 10802.03
AT ITER 6737 NEW BEST:: SOT 58865 SOS 12035 HAS SOPS 12035 HAS SOUS 10787 HAS SOUPS 10787 WITH SCORE 10799.035
AT ITER 6766 NEW BEST:: SOT 58859 SOS 12029 HAS SOPS 12029 HAS SOUS 10781 HAS SOUPS 10781 WITH SCORE 10793.029
AT ITER 6804 NEW BEST:: SOT 58848 SOS 12020 HAS SOPS 12020 HAS SOUS 10763 HAS SOUPS 10763 WITH SCORE 10775.02
AT ITER 6811 NEW BEST:: SOT 58838 SOS 12015 HAS SOPS 12015 HAS SOUS 10758 HAS SOUPS 10758 WITH SCORE 10770.015
AT ITER 6854 NEW BEST:: SOT 58838 SOS 12004 HAS SOPS 12004 HAS SOUS 10758 HAS SOUPS 10758 WITH SCORE 10770.004
AT ITER 6872 NEW BEST:: SOT 58830 SOS 11996 HAS SOPS 11996 HAS SOUS 10750 HAS SOUPS 10750 WITH SCORE 10761.996
AT ITER 6885 NEW BEST:: SOT 58830 SOS 11996 HAS SOPS 11996 HAS SOUS 10745 HAS SOUPS 10745 WITH SCORE 10756.996
AT ITER 6909 NEW BEST:: SOT 58829 SOS 12002 HAS SOPS 12002 HAS SOUS 10744 HAS SOUPS 10744 WITH SCORE 10756.002
AT ITER 7035 NEW BEST:: SOT 58829 SOS 12000 HAS SOPS 12000 HAS SOUS 10742 HAS SOUPS 10742 WITH SCORE 10754.0
AT ITER 7057 NEW BEST:: SOT 58830 SOS 11990 HAS SOPS 11990 HAS SOUS 10741 HAS SOUPS 10741 WITH SCORE 10752.99
AT ITER 7077 NEW BEST:: SOT 58830 SOS 11963 HAS SOPS 11963 HAS SOUS 10741 HAS SOUPS 10741 WITH SCORE 10752.963
AT ITER 7105 NEW BEST:: SOT 58829 SOS 11958 HAS SOPS 11958 HAS SOUS 10738 HAS SOUPS 10738 WITH SCORE 10749.958
AT ITER 7107 NEW BEST:: SOT 58822 SOS 11951 HAS SOPS 11951 HAS SOUS 10731 HAS SOUPS 10731 WITH SCORE 10742.951
AT ITER 7109 NEW BEST:: SOT 58822 SOS 11936 HAS SOPS 11936 HAS SOUS 10716 HAS SOUPS 10716 WITH SCORE 10727.936
AT ITER 7132 NEW BEST:: SOT 58822 SOS 11933 HAS SOPS 11933 HAS SOUS 10713 HAS SOUPS 10713 WITH SCORE 10724.933
AT ITER 7181 NEW BEST:: SOT 58822 SOS 11933 HAS SOPS 11933 HAS SOUS 10708 HAS SOUPS 10708 WITH SCORE 10719.933
AT ITER 7185 NEW BEST:: SOT 58822 SOS 11922 HAS SOPS 11922 HAS SOUS 10697 HAS SOUPS 10697 WITH SCORE 10708.922
AT ITER 7188 NEW BEST:: SOT 58819 SOS 11920 HAS SOPS 11920 HAS SOUS 10695 HAS SOUPS 10695 WITH SCORE 10706.92
AT ITER 7263 NEW BEST:: SOT 58815 SOS 11916 HAS SOPS 11916 HAS SOUS 10695 HAS SOUPS 10695 WITH SCORE 10706.916
AT ITER 7288 NEW BEST:: SOT 58815 SOS 11910 HAS SOPS 11910 HAS SOUS 10689 HAS SOUPS 10689 WITH SCORE 10700.91
AT ITER 7303 NEW BEST:: SOT 58804 SOS 11913 HAS SOPS 11913 HAS SOUS 10685 HAS SOUPS 10685 WITH SCORE 10696.913
AT ITER 7324 NEW BEST:: SOT 58804 SOS 11906 HAS SOPS 11906 HAS SOUS 10677 HAS SOUPS 10677 WITH SCORE 10688.906
AT ITER 7373 NEW BEST:: SOT 58792 SOS 11897 HAS SOPS 11897 HAS SOUS 10671 HAS SOUPS 10671 WITH SCORE 10682.897
AT ITER 7412 NEW BEST:: SOT 58793 SOS 11903 HAS SOPS 11903 HAS SOUS 10668 HAS SOUPS 10668 WITH SCORE 10679.903
AT ITER 7503 NEW BEST:: SOT 58793 SOS 11894 HAS SOPS 11894 HAS SOUS 10668 HAS SOUPS 10668 WITH SCORE 10679.894
AT ITER 7541 NEW BEST:: SOT 58782 SOS 11880 HAS SOPS 11880 HAS SOUS 10661 HAS SOUPS 10661 WITH SCORE 10672.88
AT ITER 7567 NEW BEST:: SOT 58779 SOS 11874 HAS SOPS 11874 HAS SOUS 10658 HAS SOUPS 10658 WITH SCORE 10669.874
AT ITER 7630 NEW BEST:: SOT 58766 SOS 11848 HAS SOPS 11848 HAS SOUS 10646 HAS SOUPS 10646 WITH SCORE 10657.848
AT ITER 7655 NEW BEST:: SOT 58764 SOS 11847 HAS SOPS 11847 HAS SOUS 10646 HAS SOUPS 10646 WITH SCORE 10657.847
AT ITER 7708 NEW BEST:: SOT 58766 SOS 11867 HAS SOPS 11867 HAS SOUS 10637 HAS SOUPS 10637 WITH SCORE 10648.867
AT ITER 7741 NEW BEST:: SOT 58771 SOS 11856 HAS SOPS 11856 HAS SOUS 10626 HAS SOUPS 10626 WITH SCORE 10637.856
AT ITER 7928 NEW BEST:: SOT 58769 SOS 11810 HAS SOPS 11810 HAS SOUS 10622 HAS SOUPS 10622 WITH SCORE 10633.81
AT ITER 7984 NEW BEST:: SOT 58766 SOS 11804 HAS SOPS 11804 HAS SOUS 10621 HAS SOUPS 10621 WITH SCORE 10632.804
AT ITER 8097 NEW BEST:: SOT 58765 SOS 11803 HAS SOPS 11803 HAS SOUS 10620 HAS SOUPS 10620 WITH SCORE 10631.803
AT ITER 8100 NEW BEST:: SOT 58758 SOS 11787 HAS SOPS 11787 HAS SOUS 10613 HAS SOUPS 10613 WITH SCORE 10624.787
AT ITER 8137 NEW BEST:: SOT 58752 SOS 11780 HAS SOPS 11780 HAS SOUS 10592 HAS SOUPS 10592 WITH SCORE 10603.78
AT ITER 8180 NEW BEST:: SOT 58781 SOS 11785 HAS SOPS 11785 HAS SOUS 10568 HAS SOUPS 10568 WITH SCORE 10579.785
AT ITER 8437 NEW BEST:: SOT 58741 SOS 11763 HAS SOPS 11763 HAS SOUS 10555 HAS SOUPS 10555 WITH SCORE 10566.763
AT ITER 8448 NEW BEST:: SOT 58742 SOS 11761 HAS SOPS 11761 HAS SOUS 10552 HAS SOUPS 10552 WITH SCORE 10563.761
AT ITER 8459 NEW BEST:: SOT 58726 SOS 11745 HAS SOPS 11745 HAS SOUS 10531 HAS SOUPS 10531 WITH SCORE 10542.745
AT ITER 8483 NEW BEST:: SOT 58723 SOS 11725 HAS SOPS 11725 HAS SOUS 10524 HAS SOUPS 10524 WITH SCORE 10535.725
AT ITER 8491 NEW BEST:: SOT 58722 SOS 11722 HAS SOPS 11722 HAS SOUS 10522 HAS SOUPS 10522 WITH SCORE 10533.722
AT ITER 8492 NEW BEST:: SOT 58720 SOS 11722 HAS SOPS 11722 HAS SOUS 10520 HAS SOUPS 10520 WITH SCORE 10531.722
AT ITER 8499 NEW BEST:: SOT 58720 SOS 11721 HAS SOPS 11721 HAS SOUS 10519 HAS SOUPS 10519 WITH SCORE 10530.721
AT ITER 8501 NEW BEST:: SOT 58720 SOS 11733 HAS SOPS 11733 HAS SOUS 10516 HAS SOUPS 10516 WITH SCORE 10527.733
AT ITER 8505 NEW BEST:: SOT 58701 SOS 11695 HAS SOPS 11695 HAS SOUS 10478 HAS SOUPS 10478 WITH SCORE 10489.695
AT ITER 8506 NEW BEST:: SOT 58700 SOS 11694 HAS SOPS 11694 HAS SOUS 10477 HAS SOUPS 10477 WITH SCORE 10488.694
AT ITER 8517 NEW BEST:: SOT 58695 SOS 11689 HAS SOPS 11689 HAS SOUS 10477 HAS SOUPS 10477 WITH SCORE 10488.689
AT ITER 8528 NEW BEST:: SOT 58696 SOS 11688 HAS SOPS 11688 HAS SOUS 10477 HAS SOUPS 10477 WITH SCORE 10488.688
AT ITER 8557 NEW BEST:: SOT 58695 SOS 11686 HAS SOPS 11686 HAS SOUS 10475 HAS SOUPS 10475 WITH SCORE 10486.686
AT ITER 8561 NEW BEST:: SOT 58680 SOS 11671 HAS SOPS 11671 HAS SOUS 10445 HAS SOUPS 10445 WITH SCORE 10456.671
AT ITER 8613 NEW BEST:: SOT 58671 SOS 11643 HAS SOPS 11643 HAS SOUS 10441 HAS SOUPS 10441 WITH SCORE 10452.643
AT ITER 8622 NEW BEST:: SOT 58669 SOS 11641 HAS SOPS 11641 HAS SOUS 10439 HAS SOUPS 10439 WITH SCORE 10450.641
AT ITER 8635 NEW BEST:: SOT 58669 SOS 11644 HAS SOPS 11644 HAS SOUS 10436 HAS SOUPS 10436 WITH SCORE 10447.644
AT ITER 8655 NEW BEST:: SOT 58654 SOS 11619 HAS SOPS 11619 HAS SOUS 10436 HAS SOUPS 10436 WITH SCORE 10447.619
AT ITER 8667 NEW BEST:: SOT 58655 SOS 11597 HAS SOPS 11597 HAS SOUS 10431 HAS SOUPS 10431 WITH SCORE 10442.597
AT ITER 8686 NEW BEST:: SOT 58654 SOS 11594 HAS SOPS 11594 HAS SOUS 10431 HAS SOUPS 10431 WITH SCORE 10442.594
AT ITER 8738 NEW BEST:: SOT 58660 SOS 11583 HAS SOPS 11583 HAS SOUS 10420 HAS SOUPS 10420 WITH SCORE 10431.583
AT ITER 8739 NEW BEST:: SOT 58656 SOS 11589 HAS SOPS 11589 HAS SOUS 10416 HAS SOUPS 10416 WITH SCORE 10427.589
AT ITER 8745 NEW BEST:: SOT 58659 SOS 11583 HAS SOPS 11583 HAS SOUS 10410 HAS SOUPS 10410 WITH SCORE 10421.583
AT ITER 8746 NEW BEST:: SOT 58649 SOS 11568 HAS SOPS 11568 HAS SOUS 10395 HAS SOUPS 10395 WITH SCORE 10406.568
AT ITER 8773 NEW BEST:: SOT 58643 SOS 11562 HAS SOPS 11562 HAS SOUS 10389 HAS SOUPS 10389 WITH SCORE 10400.562
AT ITER 8774 NEW BEST:: SOT 58633 SOS 11549 HAS SOPS 11549 HAS SOUS 10373 HAS SOUPS 10373 WITH SCORE 10384.549
AT ITER 8788 NEW BEST:: SOT 58621 SOS 11553 HAS SOPS 11553 HAS SOUS 10371 HAS SOUPS 10371 WITH SCORE 10382.553
AT ITER 8863 NEW BEST:: SOT 58622 SOS 11547 HAS SOPS 11547 HAS SOUS 10365 HAS SOUPS 10365 WITH SCORE 10376.547
AT ITER 8871 NEW BEST:: SOT 58613 SOS 11541 HAS SOPS 11541 HAS SOUS 10349 HAS SOUPS 10349 WITH SCORE 10360.541
AT ITER 8945 NEW BEST:: SOT 58605 SOS 11528 HAS SOPS 11528 HAS SOUS 10340 HAS SOUPS 10340 WITH SCORE 10351.528
AT ITER 9000 NEW BEST:: SOT 58595 SOS 11522 HAS SOPS 11522 HAS SOUS 10334 HAS SOUPS 10334 WITH SCORE 10345.522
AT ITER 9019 NEW BEST:: SOT 58589 SOS 11510 HAS SOPS 11510 HAS SOUS 10328 HAS SOUPS 10328 WITH SCORE 10339.51
AT ITER 9043 NEW BEST:: SOT 58600 SOS 11521 HAS SOPS 11521 HAS SOUS 10323 HAS SOUPS 10323 WITH SCORE 10334.521
AT ITER 9080 NEW BEST:: SOT 58600 SOS 11520 HAS SOPS 11520 HAS SOUS 10322 HAS SOUPS 10322 WITH SCORE 10333.52
AT ITER 9298 NEW BEST:: SOT 58600 SOS 11515 HAS SOPS 11515 HAS SOUS 10317 HAS SOUPS 10317 WITH SCORE 10328.515
AT ITER 9341 NEW BEST:: SOT 58597 SOS 11528 HAS SOPS 11528 HAS SOUS 10314 HAS SOUPS 10314 WITH SCORE 10325.528
AT ITER 9424 NEW BEST:: SOT 58590 SOS 11521 HAS SOPS 11521 HAS SOUS 10314 HAS SOUPS 10314 WITH SCORE 10325.521
AT ITER 9437 NEW BEST:: SOT 58590 SOS 11511 HAS SOPS 11511 HAS SOUS 10304 HAS SOUPS 10304 WITH SCORE 10315.511
AT ITER 9540 NEW BEST:: SOT 58594 SOS 11511 HAS SOPS 11511 HAS SOUS 10296 HAS SOUPS 10296 WITH SCORE 10307.511
AT ITER 9670 NEW BEST:: SOT 58589 SOS 11530 HAS SOPS 11530 HAS SOUS 10291 HAS SOUPS 10291 WITH SCORE 10302.53
AT ITER 9715 NEW BEST:: SOT 58587 SOS 11523 HAS SOPS 11523 HAS SOUS 10284 HAS SOUPS 10284 WITH SCORE 10295.523
AT ITER 9740 NEW BEST:: SOT 58586 SOS 11537 HAS SOPS 11537 HAS SOUS 10283 HAS SOUPS 10283 WITH SCORE 10294.537
AT ITER 9813 NEW BEST:: SOT 58584 SOS 11535 HAS SOPS 11535 HAS SOUS 10282 HAS SOUPS 10282 WITH SCORE 10293.535
AT ITER 9892 NEW BEST:: SOT 58583 SOS 11534 HAS SOPS 11534 HAS SOUS 10282 HAS SOUPS 10282 WITH SCORE 10293.534
AT ITER 9897 NEW BEST:: SOT 58583 SOS 11529 HAS SOPS 11529 HAS SOUS 10277 HAS SOUPS 10277 WITH SCORE 10288.529
AT ITER 9916 NEW BEST:: SOT 58561 SOS 11501 HAS SOPS 11501 HAS SOUS 10256 HAS SOUPS 10256 WITH SCORE 10267.501
AT ITER 9969 NEW BEST:: SOT 58564 SOS 11445 HAS SOPS 11445 HAS SOUS 10245 HAS SOUPS 10245 WITH SCORE 10256.445

BK_TIME_CONFINEMENT_REACHED

--------------------
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="ShieldPPPs-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 ShieldPPPs-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-159033469500472"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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