Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r259-smll-167863534700544.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is PermAdmissibility-PT-20, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r259-smll-167863534700544
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.5M
-rw-r--r-- 1 mcc users 7.7K Feb 26 01:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 26 01:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 45K Feb 26 01:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 230K Feb 26 01:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.6K Feb 25 16:31 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K Feb 25 16:31 LTLCardinality.xml
-rw-r--r-- 1 mcc users 17K Feb 25 16:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 72K Feb 25 16:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 01:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 119K Feb 26 01:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 76K Feb 26 01:26 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 374K Feb 26 01:26 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.1K Feb 25 16:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 336K Mar 5 18:23 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 1678813875203

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PermAdmissibility-PT-20
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PermAdmissibility (PT), instance 20
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 168 places, 592 transitions, 3456 arcs.
AT ITER 0 NEW BEST:: SOT 73798 SOS 47388 HAS SOPS 47388 HAS SOUS 29064 HAS SOUPS 29064 WITH SCORE 29111.388
AT ITER 4 NEW BEST:: SOT 73534 SOS 47424 HAS SOPS 47424 HAS SOUS 28890 HAS SOUPS 28890 WITH SCORE 28937.424
AT ITER 5 NEW BEST:: SOT 73328 SOS 47608 HAS SOPS 47608 HAS SOUS 28502 HAS SOUPS 28502 WITH SCORE 28549.608
AT ITER 14 NEW BEST:: SOT 73116 SOS 47420 HAS SOPS 47420 HAS SOUS 28306 HAS SOUPS 28306 WITH SCORE 28353.42
AT ITER 16 NEW BEST:: SOT 73116 SOS 47420 HAS SOPS 47420 HAS SOUS 28304 HAS SOUPS 28304 WITH SCORE 28351.42
AT ITER 22 NEW BEST:: SOT 73116 SOS 47420 HAS SOPS 47420 HAS SOUS 28241 HAS SOUPS 28241 WITH SCORE 28288.42
AT ITER 26 NEW BEST:: SOT 73116 SOS 48021 HAS SOPS 48021 HAS SOUS 28220 HAS SOUPS 28220 WITH SCORE 28268.021
AT ITER 28 NEW BEST:: SOT 73115 SOS 48020 HAS SOPS 48020 HAS SOUS 28219 HAS SOUPS 28219 WITH SCORE 28267.02
AT ITER 30 NEW BEST:: SOT 73031 SOS 47936 HAS SOPS 47936 HAS SOUS 28128 HAS SOUPS 28128 WITH SCORE 28175.936
AT ITER 31 NEW BEST:: SOT 72727 SOS 48492 HAS SOPS 48492 HAS SOUS 28095 HAS SOUPS 28095 WITH SCORE 28143.492
AT ITER 33 NEW BEST:: SOT 72727 SOS 48492 HAS SOPS 48492 HAS SOUS 28035 HAS SOUPS 28035 WITH SCORE 28083.492
AT ITER 38 NEW BEST:: SOT 72532 SOS 48505 HAS SOPS 48505 HAS SOUS 27741 HAS SOUPS 27741 WITH SCORE 27789.505
AT ITER 48 NEW BEST:: SOT 72440 SOS 48653 HAS SOPS 48653 HAS SOUS 27682 HAS SOUPS 27682 WITH SCORE 27730.653
AT ITER 50 NEW BEST:: SOT 72436 SOS 48649 HAS SOPS 48649 HAS SOUS 27509 HAS SOUPS 27509 WITH SCORE 27557.649
AT ITER 53 NEW BEST:: SOT 72436 SOS 48649 HAS SOPS 48649 HAS SOUS 27482 HAS SOUPS 27482 WITH SCORE 27530.649
AT ITER 57 NEW BEST:: SOT 72384 SOS 48649 HAS SOPS 48649 HAS SOUS 27449 HAS SOUPS 27449 WITH SCORE 27497.649
AT ITER 62 NEW BEST:: SOT 72384 SOS 48649 HAS SOPS 48649 HAS SOUS 27419 HAS SOUPS 27419 WITH SCORE 27467.649
AT ITER 68 NEW BEST:: SOT 72384 SOS 48649 HAS SOPS 48649 HAS SOUS 27409 HAS SOUPS 27409 WITH SCORE 27457.649
AT ITER 74 NEW BEST:: SOT 72384 SOS 48649 HAS SOPS 48649 HAS SOUS 27288 HAS SOUPS 27288 WITH SCORE 27336.649
AT ITER 91 NEW BEST:: SOT 72384 SOS 55617 HAS SOPS 55617 HAS SOUS 27066 HAS SOUPS 27066 WITH SCORE 27121.617
AT ITER 94 NEW BEST:: SOT 72384 SOS 56085 HAS SOPS 56085 HAS SOUS 26903 HAS SOUPS 26903 WITH SCORE 26959.085
AT ITER 101 NEW BEST:: SOT 72384 SOS 56085 HAS SOPS 56085 HAS SOUS 26884 HAS SOUPS 26884 WITH SCORE 26940.085
AT ITER 121 NEW BEST:: SOT 72199 SOS 55900 HAS SOPS 55900 HAS SOUS 26788 HAS SOUPS 26788 WITH SCORE 26843.9
AT ITER 127 NEW BEST:: SOT 71753 SOS 55526 HAS SOPS 55526 HAS SOUS 26378 HAS SOUPS 26378 WITH SCORE 26433.526
AT ITER 129 NEW BEST:: SOT 71463 SOS 55256 HAS SOPS 55256 HAS SOUS 26134 HAS SOUPS 26134 WITH SCORE 26189.256
AT ITER 136 NEW BEST:: SOT 71282 SOS 55075 HAS SOPS 55075 HAS SOUS 25843 HAS SOUPS 25843 WITH SCORE 25898.075
AT ITER 148 NEW BEST:: SOT 71287 SOS 55080 HAS SOPS 55080 HAS SOUS 25746 HAS SOUPS 25746 WITH SCORE 25801.08
AT ITER 151 NEW BEST:: SOT 71287 SOS 55080 HAS SOPS 55080 HAS SOUS 25685 HAS SOUPS 25685 WITH SCORE 25740.08
AT ITER 169 NEW BEST:: SOT 71291 SOS 55084 HAS SOPS 55084 HAS SOUS 25622 HAS SOUPS 25622 WITH SCORE 25677.084
AT ITER 172 NEW BEST:: SOT 71091 SOS 54984 HAS SOPS 54984 HAS SOUS 25454 HAS SOUPS 25454 WITH SCORE 25508.984
AT ITER 174 NEW BEST:: SOT 71087 SOS 54980 HAS SOPS 54980 HAS SOUS 25330 HAS SOUPS 25330 WITH SCORE 25384.98
AT ITER 179 NEW BEST:: SOT 71087 SOS 54980 HAS SOPS 54980 HAS SOUS 25205 HAS SOUPS 25205 WITH SCORE 25259.98
AT ITER 186 NEW BEST:: SOT 70864 SOS 55467 HAS SOPS 55467 HAS SOUS 25053 HAS SOUPS 25053 WITH SCORE 25108.467
AT ITER 196 NEW BEST:: SOT 70778 SOS 55381 HAS SOPS 55381 HAS SOUS 24971 HAS SOUPS 24971 WITH SCORE 25026.381
AT ITER 200 NEW BEST:: SOT 70554 SOS 55157 HAS SOPS 55157 HAS SOUS 24871 HAS SOUPS 24871 WITH SCORE 24926.157
AT ITER 208 NEW BEST:: SOT 70514 SOS 55135 HAS SOPS 55135 HAS SOUS 24840 HAS SOUPS 24840 WITH SCORE 24895.135
AT ITER 212 NEW BEST:: SOT 70476 SOS 55129 HAS SOPS 55129 HAS SOUS 24818 HAS SOUPS 24818 WITH SCORE 24873.129
AT ITER 220 NEW BEST:: SOT 70084 SOS 54269 HAS SOPS 54269 HAS SOUS 24672 HAS SOUPS 24672 WITH SCORE 24726.269
AT ITER 232 NEW BEST:: SOT 69884 SOS 54105 HAS SOPS 54105 HAS SOUS 24583 HAS SOUPS 24583 WITH SCORE 24637.105
AT ITER 235 NEW BEST:: SOT 69885 SOS 54106 HAS SOPS 54106 HAS SOUS 24568 HAS SOUPS 24568 WITH SCORE 24622.106
AT ITER 244 NEW BEST:: SOT 69885 SOS 54106 HAS SOPS 54106 HAS SOUS 24560 HAS SOUPS 24560 WITH SCORE 24614.106
AT ITER 260 NEW BEST:: SOT 69890 SOS 54111 HAS SOPS 54111 HAS SOUS 24498 HAS SOUPS 24498 WITH SCORE 24552.111
AT ITER 265 NEW BEST:: SOT 69628 SOS 53929 HAS SOPS 53929 HAS SOUS 24143 HAS SOUPS 24143 WITH SCORE 24196.929
AT ITER 293 NEW BEST:: SOT 69628 SOS 53929 HAS SOPS 53929 HAS SOUS 24120 HAS SOUPS 24120 WITH SCORE 24173.929
AT ITER 294 NEW BEST:: SOT 69628 SOS 53931 HAS SOPS 53931 HAS SOUS 24117 HAS SOUPS 24117 WITH SCORE 24170.931
AT ITER 297 NEW BEST:: SOT 69574 SOS 53877 HAS SOPS 53877 HAS SOUS 24075 HAS SOUPS 24075 WITH SCORE 24128.877
AT ITER 317 NEW BEST:: SOT 69412 SOS 53799 HAS SOPS 53799 HAS SOUS 23964 HAS SOUPS 23964 WITH SCORE 24017.799
AT ITER 329 NEW BEST:: SOT 69412 SOS 54189 HAS SOPS 54189 HAS SOUS 23957 HAS SOUPS 23957 WITH SCORE 24011.189
AT ITER 336 NEW BEST:: SOT 69391 SOS 54168 HAS SOPS 54168 HAS SOUS 23934 HAS SOUPS 23934 WITH SCORE 23988.168
AT ITER 337 NEW BEST:: SOT 69391 SOS 53528 HAS SOPS 53528 HAS SOUS 23929 HAS SOUPS 23929 WITH SCORE 23982.528
AT ITER 338 NEW BEST:: SOT 69373 SOS 53510 HAS SOPS 53510 HAS SOUS 23929 HAS SOUPS 23929 WITH SCORE 23982.51
AT ITER 351 NEW BEST:: SOT 69277 SOS 53372 HAS SOPS 53372 HAS SOUS 23849 HAS SOUPS 23849 WITH SCORE 23902.372
AT ITER 355 NEW BEST:: SOT 69170 SOS 53265 HAS SOPS 53265 HAS SOUS 23815 HAS SOUPS 23815 WITH SCORE 23868.265
AT ITER 356 NEW BEST:: SOT 69170 SOS 53265 HAS SOPS 53265 HAS SOUS 23808 HAS SOUPS 23808 WITH SCORE 23861.265
AT ITER 406 NEW BEST:: SOT 69110 SOS 52997 HAS SOPS 52997 HAS SOUS 23770 HAS SOUPS 23770 WITH SCORE 23822.997
AT ITER 424 NEW BEST:: SOT 69110 SOS 52997 HAS SOPS 52997 HAS SOUS 23736 HAS SOUPS 23736 WITH SCORE 23788.997
AT ITER 429 NEW BEST:: SOT 69104 SOS 52991 HAS SOPS 52991 HAS SOUS 23702 HAS SOUPS 23702 WITH SCORE 23754.991
AT ITER 442 NEW BEST:: SOT 69077 SOS 52964 HAS SOPS 52964 HAS SOUS 23611 HAS SOUPS 23611 WITH SCORE 23663.964
AT ITER 448 NEW BEST:: SOT 69054 SOS 52941 HAS SOPS 52941 HAS SOUS 23588 HAS SOUPS 23588 WITH SCORE 23640.941
AT ITER 449 NEW BEST:: SOT 69054 SOS 52469 HAS SOPS 52469 HAS SOUS 23588 HAS SOUPS 23588 WITH SCORE 23640.469
AT ITER 453 NEW BEST:: SOT 69196 SOS 52005 HAS SOPS 52005 HAS SOUS 23550 HAS SOUPS 23550 WITH SCORE 23602.005
AT ITER 457 NEW BEST:: SOT 69100 SOS 51895 HAS SOPS 51895 HAS SOUS 23472 HAS SOUPS 23472 WITH SCORE 23523.895
AT ITER 458 NEW BEST:: SOT 69135 SOS 55556 HAS SOPS 55556 HAS SOUS 23124 HAS SOUPS 23124 WITH SCORE 23179.556
AT ITER 463 NEW BEST:: SOT 69123 SOS 55544 HAS SOPS 55544 HAS SOUS 23082 HAS SOUPS 23082 WITH SCORE 23137.544
AT ITER 466 NEW BEST:: SOT 69123 SOS 55544 HAS SOPS 55544 HAS SOUS 23056 HAS SOUPS 23056 WITH SCORE 23111.544
AT ITER 467 NEW BEST:: SOT 68986 SOS 55408 HAS SOPS 55408 HAS SOUS 22951 HAS SOUPS 22951 WITH SCORE 23006.408
AT ITER 494 NEW BEST:: SOT 68982 SOS 55404 HAS SOPS 55404 HAS SOUS 22931 HAS SOUPS 22931 WITH SCORE 22986.404
AT ITER 525 NEW BEST:: SOT 68982 SOS 53244 HAS SOPS 53244 HAS SOUS 22931 HAS SOUPS 22931 WITH SCORE 22984.244
AT ITER 540 NEW BEST:: SOT 68892 SOS 53222 HAS SOPS 53222 HAS SOUS 22772 HAS SOUPS 22772 WITH SCORE 22825.222
AT ITER 546 NEW BEST:: SOT 68894 SOS 53215 HAS SOPS 53215 HAS SOUS 22744 HAS SOUPS 22744 WITH SCORE 22797.215
AT ITER 550 NEW BEST:: SOT 68712 SOS 53123 HAS SOPS 53123 HAS SOUS 22621 HAS SOUPS 22621 WITH SCORE 22674.123
AT ITER 576 NEW BEST:: SOT 68712 SOS 52355 HAS SOPS 52355 HAS SOUS 22615 HAS SOUPS 22615 WITH SCORE 22667.355
AT ITER 589 NEW BEST:: SOT 68712 SOS 52995 HAS SOPS 52995 HAS SOUS 22575 HAS SOUPS 22575 WITH SCORE 22627.995
AT ITER 604 NEW BEST:: SOT 68712 SOS 52995 HAS SOPS 52995 HAS SOUS 22560 HAS SOUPS 22560 WITH SCORE 22612.995
AT ITER 605 NEW BEST:: SOT 68456 SOS 52776 HAS SOPS 52776 HAS SOUS 22286 HAS SOUPS 22286 WITH SCORE 22338.776
AT ITER 613 NEW BEST:: SOT 68456 SOS 52776 HAS SOPS 52776 HAS SOUS 22283 HAS SOUPS 22283 WITH SCORE 22335.776
AT ITER 623 NEW BEST:: SOT 68454 SOS 52770 HAS SOPS 52770 HAS SOUS 22281 HAS SOUPS 22281 WITH SCORE 22333.77
AT ITER 627 NEW BEST:: SOT 68444 SOS 52760 HAS SOPS 52760 HAS SOUS 22279 HAS SOUPS 22279 WITH SCORE 22331.76
AT ITER 638 NEW BEST:: SOT 68388 SOS 53260 HAS SOPS 53260 HAS SOUS 22276 HAS SOUPS 22276 WITH SCORE 22329.26
AT ITER 674 NEW BEST:: SOT 68372 SOS 53244 HAS SOPS 53244 HAS SOUS 22266 HAS SOUPS 22266 WITH SCORE 22319.244
AT ITER 681 NEW BEST:: SOT 68372 SOS 53271 HAS SOPS 53271 HAS SOUS 22241 HAS SOUPS 22241 WITH SCORE 22294.271
AT ITER 685 NEW BEST:: SOT 68195 SOS 53094 HAS SOPS 53094 HAS SOUS 22192 HAS SOUPS 22192 WITH SCORE 22245.094
AT ITER 694 NEW BEST:: SOT 68097 SOS 52971 HAS SOPS 52971 HAS SOUS 22151 HAS SOUPS 22151 WITH SCORE 22203.971
AT ITER 708 NEW BEST:: SOT 67930 SOS 52804 HAS SOPS 52804 HAS SOUS 21989 HAS SOUPS 21989 WITH SCORE 22041.804
AT ITER 773 NEW BEST:: SOT 67930 SOS 52804 HAS SOPS 52804 HAS SOUS 21977 HAS SOUPS 21977 WITH SCORE 22029.804
AT ITER 782 NEW BEST:: SOT 67835 SOS 52880 HAS SOPS 52880 HAS SOUS 21867 HAS SOUPS 21867 WITH SCORE 21919.88
AT ITER 806 NEW BEST:: SOT 67835 SOS 52880 HAS SOPS 52880 HAS SOUS 21808 HAS SOUPS 21808 WITH SCORE 21860.88
AT ITER 823 NEW BEST:: SOT 67831 SOS 52882 HAS SOPS 52882 HAS SOUS 21802 HAS SOUPS 21802 WITH SCORE 21854.882
AT ITER 831 NEW BEST:: SOT 67729 SOS 52780 HAS SOPS 52780 HAS SOUS 21733 HAS SOUPS 21733 WITH SCORE 21785.78
AT ITER 838 NEW BEST:: SOT 67729 SOS 52780 HAS SOPS 52780 HAS SOUS 21732 HAS SOUPS 21732 WITH SCORE 21784.78
AT ITER 840 NEW BEST:: SOT 67729 SOS 52780 HAS SOPS 52780 HAS SOUS 21690 HAS SOUPS 21690 WITH SCORE 21742.78
AT ITER 850 NEW BEST:: SOT 67729 SOS 52780 HAS SOPS 52780 HAS SOUS 21685 HAS SOUPS 21685 WITH SCORE 21737.78
AT ITER 864 NEW BEST:: SOT 67553 SOS 52604 HAS SOPS 52604 HAS SOUS 21503 HAS SOUPS 21503 WITH SCORE 21555.604
AT ITER 876 NEW BEST:: SOT 67553 SOS 52604 HAS SOPS 52604 HAS SOUS 21493 HAS SOUPS 21493 WITH SCORE 21545.604
AT ITER 904 NEW BEST:: SOT 67529 SOS 52581 HAS SOPS 52581 HAS SOUS 21475 HAS SOUPS 21475 WITH SCORE 21527.581
AT ITER 910 NEW BEST:: SOT 67572 SOS 52624 HAS SOPS 52624 HAS SOUS 21426 HAS SOUPS 21426 WITH SCORE 21478.624
AT ITER 916 NEW BEST:: SOT 67556 SOS 54467 HAS SOPS 54467 HAS SOUS 21143 HAS SOUPS 21143 WITH SCORE 21197.467
AT ITER 984 NEW BEST:: SOT 67556 SOS 54739 HAS SOPS 54739 HAS SOUS 21083 HAS SOUPS 21083 WITH SCORE 21137.739
AT ITER 1006 NEW BEST:: SOT 67446 SOS 53802 HAS SOPS 53802 HAS SOUS 21073 HAS SOUPS 21073 WITH SCORE 21126.802
AT ITER 1017 NEW BEST:: SOT 67345 SOS 53701 HAS SOPS 53701 HAS SOUS 20932 HAS SOUPS 20932 WITH SCORE 20985.701
AT ITER 1041 NEW BEST:: SOT 67345 SOS 53701 HAS SOPS 53701 HAS SOUS 20918 HAS SOUPS 20918 WITH SCORE 20971.701
AT ITER 1043 NEW BEST:: SOT 67257 SOS 53613 HAS SOPS 53613 HAS SOUS 20830 HAS SOUPS 20830 WITH SCORE 20883.613
AT ITER 1054 NEW BEST:: SOT 67257 SOS 53613 HAS SOPS 53613 HAS SOUS 20824 HAS SOUPS 20824 WITH SCORE 20877.613
AT ITER 1056 NEW BEST:: SOT 67237 SOS 53635 HAS SOPS 53635 HAS SOUS 20794 HAS SOUPS 20794 WITH SCORE 20847.635
AT ITER 1058 NEW BEST:: SOT 67237 SOS 53635 HAS SOPS 53635 HAS SOUS 20793 HAS SOUPS 20793 WITH SCORE 20846.635
AT ITER 1078 NEW BEST:: SOT 67298 SOS 56187 HAS SOPS 56187 HAS SOUS 20719 HAS SOUPS 20719 WITH SCORE 20775.187
AT ITER 1091 NEW BEST:: SOT 67438 SOS 56569 HAS SOPS 56569 HAS SOUS 20670 HAS SOUPS 20670 WITH SCORE 20726.569
AT ITER 1100 NEW BEST:: SOT 67392 SOS 56523 HAS SOPS 56523 HAS SOUS 20616 HAS SOUPS 20616 WITH SCORE 20672.523
AT ITER 1101 NEW BEST:: SOT 67386 SOS 56517 HAS SOPS 56517 HAS SOUS 20610 HAS SOUPS 20610 WITH SCORE 20666.517
AT ITER 1112 NEW BEST:: SOT 67386 SOS 56517 HAS SOPS 56517 HAS SOUS 20603 HAS SOUPS 20603 WITH SCORE 20659.517
AT ITER 1118 NEW BEST:: SOT 67374 SOS 56505 HAS SOPS 56505 HAS SOUS 20575 HAS SOUPS 20575 WITH SCORE 20631.505
AT ITER 1143 NEW BEST:: SOT 67413 SOS 56544 HAS SOPS 56544 HAS SOUS 20527 HAS SOUPS 20527 WITH SCORE 20583.544
AT ITER 1148 NEW BEST:: SOT 67287 SOS 56410 HAS SOPS 56410 HAS SOUS 20506 HAS SOUPS 20506 WITH SCORE 20562.41
AT ITER 1152 NEW BEST:: SOT 67332 SOS 56455 HAS SOPS 56455 HAS SOUS 20490 HAS SOUPS 20490 WITH SCORE 20546.455
AT ITER 1159 NEW BEST:: SOT 67336 SOS 56459 HAS SOPS 56459 HAS SOUS 20480 HAS SOUPS 20480 WITH SCORE 20536.459
AT ITER 1162 NEW BEST:: SOT 67330 SOS 56450 HAS SOPS 56450 HAS SOUS 20469 HAS SOUPS 20469 WITH SCORE 20525.45
AT ITER 1171 NEW BEST:: SOT 67416 SOS 56604 HAS SOPS 56604 HAS SOUS 20413 HAS SOUPS 20413 WITH SCORE 20469.604
AT ITER 1177 NEW BEST:: SOT 67413 SOS 56313 HAS SOPS 56313 HAS SOUS 20398 HAS SOUPS 20398 WITH SCORE 20454.313
AT ITER 1181 NEW BEST:: SOT 67404 SOS 56304 HAS SOPS 56304 HAS SOUS 20389 HAS SOUPS 20389 WITH SCORE 20445.304
AT ITER 1241 NEW BEST:: SOT 67393 SOS 56293 HAS SOPS 56293 HAS SOUS 20303 HAS SOUPS 20303 WITH SCORE 20359.293
AT ITER 1243 NEW BEST:: SOT 67375 SOS 56275 HAS SOPS 56275 HAS SOUS 20298 HAS SOUPS 20298 WITH SCORE 20354.275
AT ITER 1247 NEW BEST:: SOT 67375 SOS 56275 HAS SOPS 56275 HAS SOUS 20270 HAS SOUPS 20270 WITH SCORE 20326.275
AT ITER 1274 NEW BEST:: SOT 67310 SOS 56210 HAS SOPS 56210 HAS SOUS 20148 HAS SOUPS 20148 WITH SCORE 20204.21
AT ITER 1299 NEW BEST:: SOT 67293 SOS 56193 HAS SOPS 56193 HAS SOUS 20079 HAS SOUPS 20079 WITH SCORE 20135.193
AT ITER 1313 NEW BEST:: SOT 67291 SOS 56191 HAS SOPS 56191 HAS SOUS 20077 HAS SOUPS 20077 WITH SCORE 20133.191
AT ITER 1364 NEW BEST:: SOT 67307 SOS 56207 HAS SOPS 56207 HAS SOUS 20053 HAS SOUPS 20053 WITH SCORE 20109.207
AT ITER 1378 NEW BEST:: SOT 67307 SOS 56207 HAS SOPS 56207 HAS SOUS 20021 HAS SOUPS 20021 WITH SCORE 20077.207
AT ITER 1384 NEW BEST:: SOT 67307 SOS 56207 HAS SOPS 56207 HAS SOUS 20011 HAS SOUPS 20011 WITH SCORE 20067.207
AT ITER 1413 NEW BEST:: SOT 67253 SOS 56153 HAS SOPS 56153 HAS SOUS 19992 HAS SOUPS 19992 WITH SCORE 20048.153
AT ITER 1459 NEW BEST:: SOT 67278 SOS 56178 HAS SOPS 56178 HAS SOUS 19963 HAS SOUPS 19963 WITH SCORE 20019.178
AT ITER 1467 NEW BEST:: SOT 67278 SOS 56258 HAS SOPS 56258 HAS SOUS 19958 HAS SOUPS 19958 WITH SCORE 20014.258
AT ITER 1500 NEW BEST:: SOT 67278 SOS 56562 HAS SOPS 56562 HAS SOUS 19949 HAS SOUPS 19949 WITH SCORE 20005.562
AT ITER 1519 NEW BEST:: SOT 67278 SOS 56610 HAS SOPS 56610 HAS SOUS 19948 HAS SOUPS 19948 WITH SCORE 20004.61
AT ITER 1523 NEW BEST:: SOT 67206 SOS 56538 HAS SOPS 56538 HAS SOUS 19901 HAS SOUPS 19901 WITH SCORE 19957.538
AT ITER 1546 NEW BEST:: SOT 67229 SOS 56561 HAS SOPS 56561 HAS SOUS 19900 HAS SOUPS 19900 WITH SCORE 19956.561
AT ITER 1559 NEW BEST:: SOT 67153 SOS 56485 HAS SOPS 56485 HAS SOUS 19787 HAS SOUPS 19787 WITH SCORE 19843.485
AT ITER 1570 NEW BEST:: SOT 67153 SOS 56485 HAS SOPS 56485 HAS SOUS 19785 HAS SOUPS 19785 WITH SCORE 19841.485
AT ITER 1609 NEW BEST:: SOT 67237 SOS 56680 HAS SOPS 56680 HAS SOUS 19571 HAS SOUPS 19571 WITH SCORE 19627.68
AT ITER 1624 NEW BEST:: SOT 67225 SOS 56668 HAS SOPS 56668 HAS SOUS 19491 HAS SOUPS 19491 WITH SCORE 19547.668
AT ITER 1634 NEW BEST:: SOT 67225 SOS 56668 HAS SOPS 56668 HAS SOUS 19466 HAS SOUPS 19466 WITH SCORE 19522.668
AT ITER 1644 NEW BEST:: SOT 67235 SOS 56678 HAS SOPS 56678 HAS SOUS 19415 HAS SOUPS 19415 WITH SCORE 19471.678
AT ITER 1685 NEW BEST:: SOT 67245 SOS 56694 HAS SOPS 56694 HAS SOUS 19393 HAS SOUPS 19393 WITH SCORE 19449.694
AT ITER 1733 NEW BEST:: SOT 67245 SOS 56694 HAS SOPS 56694 HAS SOUS 19380 HAS SOUPS 19380 WITH SCORE 19436.694
AT ITER 1737 NEW BEST:: SOT 67219 SOS 56666 HAS SOPS 56666 HAS SOUS 19349 HAS SOUPS 19349 WITH SCORE 19405.666
AT ITER 1795 NEW BEST:: SOT 67219 SOS 56610 HAS SOPS 56610 HAS SOUS 19329 HAS SOUPS 19329 WITH SCORE 19385.61
AT ITER 1828 NEW BEST:: SOT 67219 SOS 56610 HAS SOPS 56610 HAS SOUS 19283 HAS SOUPS 19283 WITH SCORE 19339.61
AT ITER 1834 NEW BEST:: SOT 67219 SOS 56166 HAS SOPS 56166 HAS SOUS 19283 HAS SOUPS 19283 WITH SCORE 19339.166
AT ITER 1864 NEW BEST:: SOT 67207 SOS 56154 HAS SOPS 56154 HAS SOUS 19273 HAS SOUPS 19273 WITH SCORE 19329.154
AT ITER 1870 NEW BEST:: SOT 67237 SOS 56666 HAS SOPS 56666 HAS SOUS 19258 HAS SOUPS 19258 WITH SCORE 19314.666
AT ITER 1878 NEW BEST:: SOT 67217 SOS 56646 HAS SOPS 56646 HAS SOUS 19232 HAS SOUPS 19232 WITH SCORE 19288.646
AT ITER 1884 NEW BEST:: SOT 67217 SOS 56646 HAS SOPS 56646 HAS SOUS 19228 HAS SOUPS 19228 WITH SCORE 19284.646
AT ITER 1889 NEW BEST:: SOT 67217 SOS 56646 HAS SOPS 56646 HAS SOUS 19180 HAS SOUPS 19180 WITH SCORE 19236.646
AT ITER 1920 NEW BEST:: SOT 67213 SOS 56644 HAS SOPS 56644 HAS SOUS 19178 HAS SOUPS 19178 WITH SCORE 19234.644
AT ITER 2003 NEW BEST:: SOT 67243 SOS 56674 HAS SOPS 56674 HAS SOUS 19169 HAS SOUPS 19169 WITH SCORE 19225.674
AT ITER 2007 NEW BEST:: SOT 67247 SOS 56678 HAS SOPS 56678 HAS SOUS 19165 HAS SOUPS 19165 WITH SCORE 19221.678
AT ITER 2027 NEW BEST:: SOT 67247 SOS 56678 HAS SOPS 56678 HAS SOUS 19154 HAS SOUPS 19154 WITH SCORE 19210.678
AT ITER 2076 NEW BEST:: SOT 67443 SOS 56874 HAS SOPS 56874 HAS SOUS 19153 HAS SOUPS 19153 WITH SCORE 19209.874
AT ITER 2082 NEW BEST:: SOT 67437 SOS 56868 HAS SOPS 56868 HAS SOUS 19145 HAS SOUPS 19145 WITH SCORE 19201.868
AT ITER 2098 NEW BEST:: SOT 67437 SOS 56868 HAS SOPS 56868 HAS SOUS 19143 HAS SOUPS 19143 WITH SCORE 19199.868
AT ITER 2149 NEW BEST:: SOT 67437 SOS 56836 HAS SOPS 56836 HAS SOUS 19143 HAS SOUPS 19143 WITH SCORE 19199.836
AT ITER 2156 NEW BEST:: SOT 67425 SOS 56824 HAS SOPS 56824 HAS SOUS 19131 HAS SOUPS 19131 WITH SCORE 19187.824
AT ITER 2160 NEW BEST:: SOT 67400 SOS 56799 HAS SOPS 56799 HAS SOUS 19131 HAS SOUPS 19131 WITH SCORE 19187.799
AT ITER 2211 NEW BEST:: SOT 67400 SOS 56799 HAS SOPS 56799 HAS SOUS 19103 HAS SOUPS 19103 WITH SCORE 19159.799
AT ITER 2249 NEW BEST:: SOT 67340 SOS 56739 HAS SOPS 56739 HAS SOUS 19103 HAS SOUPS 19103 WITH SCORE 19159.739
AT ITER 2285 NEW BEST:: SOT 67344 SOS 56743 HAS SOPS 56743 HAS SOUS 19093 HAS SOUPS 19093 WITH SCORE 19149.743
AT ITER 2307 NEW BEST:: SOT 67344 SOS 56183 HAS SOPS 56183 HAS SOUS 19090 HAS SOUPS 19090 WITH SCORE 19146.183
AT ITER 2343 NEW BEST:: SOT 67134 SOS 55926 HAS SOPS 55926 HAS SOUS 19021 HAS SOUPS 19021 WITH SCORE 19076.926
AT ITER 2387 NEW BEST:: SOT 67145 SOS 55937 HAS SOPS 55937 HAS SOUS 19018 HAS SOUPS 19018 WITH SCORE 19073.937
AT ITER 2402 NEW BEST:: SOT 67121 SOS 55913 HAS SOPS 55913 HAS SOUS 18994 HAS SOUPS 18994 WITH SCORE 19049.913
AT ITER 2409 NEW BEST:: SOT 67113 SOS 55905 HAS SOPS 55905 HAS SOUS 18982 HAS SOUPS 18982 WITH SCORE 19037.905
AT ITER 2475 NEW BEST:: SOT 67111 SOS 55916 HAS SOPS 55916 HAS SOUS 18979 HAS SOUPS 18979 WITH SCORE 19034.916
AT ITER 2476 NEW BEST:: SOT 67109 SOS 55914 HAS SOPS 55914 HAS SOUS 18961 HAS SOUPS 18961 WITH SCORE 19016.914
AT ITER 2510 NEW BEST:: SOT 67101 SOS 55904 HAS SOPS 55904 HAS SOUS 18952 HAS SOUPS 18952 WITH SCORE 19007.904
AT ITER 2594 NEW BEST:: SOT 67101 SOS 55904 HAS SOPS 55904 HAS SOUS 18949 HAS SOUPS 18949 WITH SCORE 19004.904
AT ITER 2658 NEW BEST:: SOT 67101 SOS 55904 HAS SOPS 55904 HAS SOUS 18943 HAS SOUPS 18943 WITH SCORE 18998.904
AT ITER 2681 NEW BEST:: SOT 67105 SOS 55912 HAS SOPS 55912 HAS SOUS 18937 HAS SOUPS 18937 WITH SCORE 18992.912
AT ITER 2695 NEW BEST:: SOT 67093 SOS 55900 HAS SOPS 55900 HAS SOUS 18921 HAS SOUPS 18921 WITH SCORE 18976.9
AT ITER 2697 NEW BEST:: SOT 67095 SOS 55892 HAS SOPS 55892 HAS SOUS 18918 HAS SOUPS 18918 WITH SCORE 18973.892
AT ITER 2719 NEW BEST:: SOT 67077 SOS 55874 HAS SOPS 55874 HAS SOUS 18907 HAS SOUPS 18907 WITH SCORE 18962.874
AT ITER 2749 NEW BEST:: SOT 67077 SOS 55986 HAS SOPS 55986 HAS SOUS 18886 HAS SOUPS 18886 WITH SCORE 18941.986
AT ITER 2774 NEW BEST:: SOT 67077 SOS 56114 HAS SOPS 56114 HAS SOUS 18884 HAS SOUPS 18884 WITH SCORE 18940.114
AT ITER 2860 NEW BEST:: SOT 67077 SOS 54090 HAS SOPS 54090 HAS SOUS 18875 HAS SOUPS 18875 WITH SCORE 18929.09
AT ITER 2882 NEW BEST:: SOT 67077 SOS 53897 HAS SOPS 53897 HAS SOUS 18857 HAS SOUPS 18857 WITH SCORE 18910.897
AT ITER 2916 NEW BEST:: SOT 67079 SOS 53875 HAS SOPS 53875 HAS SOUS 18841 HAS SOUPS 18841 WITH SCORE 18894.875
AT ITER 2921 NEW BEST:: SOT 67079 SOS 53875 HAS SOPS 53875 HAS SOUS 18827 HAS SOUPS 18827 WITH SCORE 18880.875
AT ITER 2977 NEW BEST:: SOT 67079 SOS 53643 HAS SOPS 53643 HAS SOUS 18827 HAS SOUPS 18827 WITH SCORE 18880.643
AT ITER 2996 NEW BEST:: SOT 67075 SOS 53639 HAS SOPS 53639 HAS SOUS 18811 HAS SOUPS 18811 WITH SCORE 18864.639
AT ITER 3028 NEW BEST:: SOT 67075 SOS 53615 HAS SOPS 53615 HAS SOUS 18811 HAS SOUPS 18811 WITH SCORE 18864.615
AT ITER 3056 NEW BEST:: SOT 67055 SOS 53582 HAS SOPS 53582 HAS SOUS 18744 HAS SOUPS 18744 WITH SCORE 18797.582
AT ITER 3081 NEW BEST:: SOT 67045 SOS 53572 HAS SOPS 53572 HAS SOUS 18716 HAS SOUPS 18716 WITH SCORE 18769.572
AT ITER 3174 NEW BEST:: SOT 67037 SOS 53564 HAS SOPS 53564 HAS SOUS 18708 HAS SOUPS 18708 WITH SCORE 18761.564
AT ITER 3198 NEW BEST:: SOT 67037 SOS 53564 HAS SOPS 53564 HAS SOUS 18694 HAS SOUPS 18694 WITH SCORE 18747.564
AT ITER 3211 NEW BEST:: SOT 67023 SOS 53540 HAS SOPS 53540 HAS SOUS 18690 HAS SOUPS 18690 WITH SCORE 18743.54
AT ITER 3276 NEW BEST:: SOT 67033 SOS 53550 HAS SOPS 53550 HAS SOUS 18652 HAS SOUPS 18652 WITH SCORE 18705.55
AT ITER 3342 NEW BEST:: SOT 67014 SOS 53531 HAS SOPS 53531 HAS SOUS 18647 HAS SOUPS 18647 WITH SCORE 18700.531
AT ITER 3374 NEW BEST:: SOT 67012 SOS 53529 HAS SOPS 53529 HAS SOUS 18641 HAS SOUPS 18641 WITH SCORE 18694.529
AT ITER 3434 NEW BEST:: SOT 67016 SOS 53533 HAS SOPS 53533 HAS SOUS 18637 HAS SOUPS 18637 WITH SCORE 18690.533
AT ITER 3453 NEW BEST:: SOT 66984 SOS 53501 HAS SOPS 53501 HAS SOUS 18589 HAS SOUPS 18589 WITH SCORE 18642.501
AT ITER 3466 NEW BEST:: SOT 66984 SOS 53505 HAS SOPS 53505 HAS SOUS 18585 HAS SOUPS 18585 WITH SCORE 18638.505
AT ITER 3501 NEW BEST:: SOT 67031 SOS 53552 HAS SOPS 53552 HAS SOUS 18571 HAS SOUPS 18571 WITH SCORE 18624.552
AT ITER 3504 NEW BEST:: SOT 67031 SOS 53520 HAS SOPS 53520 HAS SOUS 18571 HAS SOUPS 18571 WITH SCORE 18624.52
AT ITER 3517 NEW BEST:: SOT 67039 SOS 53528 HAS SOPS 53528 HAS SOUS 18555 HAS SOUPS 18555 WITH SCORE 18608.528
AT ITER 3539 NEW BEST:: SOT 67039 SOS 54016 HAS SOPS 54016 HAS SOUS 18547 HAS SOUPS 18547 WITH SCORE 18601.016
AT ITER 3543 NEW BEST:: SOT 67039 SOS 54016 HAS SOPS 54016 HAS SOUS 18536 HAS SOUPS 18536 WITH SCORE 18590.016
AT ITER 3556 NEW BEST:: SOT 66957 SOS 53894 HAS SOPS 53894 HAS SOUS 18526 HAS SOUPS 18526 WITH SCORE 18579.894
AT ITER 3616 NEW BEST:: SOT 66942 SOS 53879 HAS SOPS 53879 HAS SOUS 18507 HAS SOUPS 18507 WITH SCORE 18560.879
AT ITER 3708 NEW BEST:: SOT 66962 SOS 53943 HAS SOPS 53943 HAS SOUS 18490 HAS SOUPS 18490 WITH SCORE 18543.943
AT ITER 3716 NEW BEST:: SOT 66962 SOS 53943 HAS SOPS 53943 HAS SOUS 18484 HAS SOUPS 18484 WITH SCORE 18537.943
AT ITER 3867 NEW BEST:: SOT 66953 SOS 53934 HAS SOPS 53934 HAS SOUS 18451 HAS SOUPS 18451 WITH SCORE 18504.934
AT ITER 3914 NEW BEST:: SOT 66953 SOS 53934 HAS SOPS 53934 HAS SOUS 18446 HAS SOUPS 18446 WITH SCORE 18499.934
AT ITER 3984 NEW BEST:: SOT 66956 SOS 53937 HAS SOPS 53937 HAS SOUS 18442 HAS SOUPS 18442 WITH SCORE 18495.937
AT ITER 4025 NEW BEST:: SOT 66956 SOS 53937 HAS SOPS 53937 HAS SOUS 18438 HAS SOUPS 18438 WITH SCORE 18491.937
AT ITER 4029 NEW BEST:: SOT 66956 SOS 54013 HAS SOPS 54013 HAS SOUS 18392 HAS SOUPS 18392 WITH SCORE 18446.013
AT ITER 4094 NEW BEST:: SOT 66956 SOS 53925 HAS SOPS 53925 HAS SOUS 18392 HAS SOUPS 18392 WITH SCORE 18445.925
AT ITER 4108 NEW BEST:: SOT 67049 SOS 54018 HAS SOPS 54018 HAS SOUS 18349 HAS SOUPS 18349 WITH SCORE 18403.018
AT ITER 4264 NEW BEST:: SOT 67029 SOS 53998 HAS SOPS 53998 HAS SOUS 18337 HAS SOUPS 18337 WITH SCORE 18390.998
AT ITER 4408 NEW BEST:: SOT 67017 SOS 54006 HAS SOPS 54006 HAS SOUS 18335 HAS SOUPS 18335 WITH SCORE 18389.006
AT ITER 4445 NEW BEST:: SOT 67067 SOS 54132 HAS SOPS 54132 HAS SOUS 18332 HAS SOUPS 18332 WITH SCORE 18386.132
AT ITER 4598 NEW BEST:: SOT 67043 SOS 54028 HAS SOPS 54028 HAS SOUS 18309 HAS SOUPS 18309 WITH SCORE 18363.028
AT ITER 4613 NEW BEST:: SOT 67037 SOS 54022 HAS SOPS 54022 HAS SOUS 18301 HAS SOUPS 18301 WITH SCORE 18355.022
AT ITER 4671 NEW BEST:: SOT 67037 SOS 54022 HAS SOPS 54022 HAS SOUS 18289 HAS SOUPS 18289 WITH SCORE 18343.022
AT ITER 4734 NEW BEST:: SOT 67021 SOS 54006 HAS SOPS 54006 HAS SOUS 18269 HAS SOUPS 18269 WITH SCORE 18323.006
AT ITER 4778 NEW BEST:: SOT 67021 SOS 54006 HAS SOPS 54006 HAS SOUS 18265 HAS SOUPS 18265 WITH SCORE 18319.006
AT ITER 4793 NEW BEST:: SOT 67021 SOS 54006 HAS SOPS 54006 HAS SOUS 18257 HAS SOUPS 18257 WITH SCORE 18311.006
AT ITER 4835 NEW BEST:: SOT 67021 SOS 53942 HAS SOPS 53942 HAS SOUS 18257 HAS SOUPS 18257 WITH SCORE 18310.942
AT ITER 4851 NEW BEST:: SOT 67031 SOS 53952 HAS SOPS 53952 HAS SOUS 18256 HAS SOUPS 18256 WITH SCORE 18309.952
AT ITER 4895 NEW BEST:: SOT 67036 SOS 53957 HAS SOPS 53957 HAS SOUS 18237 HAS SOUPS 18237 WITH SCORE 18290.957
AT ITER 4938 NEW BEST:: SOT 67007 SOS 53928 HAS SOPS 53928 HAS SOUS 18208 HAS SOUPS 18208 WITH SCORE 18261.928
AT ITER 5080 NEW BEST:: SOT 67007 SOS 53924 HAS SOPS 53924 HAS SOUS 18200 HAS SOUPS 18200 WITH SCORE 18253.924
AT ITER 5112 NEW BEST:: SOT 66984 SOS 53902 HAS SOPS 53902 HAS SOUS 18187 HAS SOUPS 18187 WITH SCORE 18240.902
AT ITER 5195 NEW BEST:: SOT 66961 SOS 53879 HAS SOPS 53879 HAS SOUS 18173 HAS SOUPS 18173 WITH SCORE 18226.879
AT ITER 5237 NEW BEST:: SOT 66957 SOS 53863 HAS SOPS 53863 HAS SOUS 18166 HAS SOUPS 18166 WITH SCORE 18219.863
AT ITER 5325 NEW BEST:: SOT 66874 SOS 53780 HAS SOPS 53780 HAS SOUS 18107 HAS SOUPS 18107 WITH SCORE 18160.78
AT ITER 5370 NEW BEST:: SOT 66871 SOS 53777 HAS SOPS 53777 HAS SOUS 18104 HAS SOUPS 18104 WITH SCORE 18157.777
AT ITER 5394 NEW BEST:: SOT 66871 SOS 53777 HAS SOPS 53777 HAS SOUS 18100 HAS SOUPS 18100 WITH SCORE 18153.777
AT ITER 5494 NEW BEST:: SOT 67007 SOS 54169 HAS SOPS 54169 HAS SOUS 18085 HAS SOUPS 18085 WITH SCORE 18139.169
AT ITER 5570 NEW BEST:: SOT 67013 SOS 54175 HAS SOPS 54175 HAS SOUS 18083 HAS SOUPS 18083 WITH SCORE 18137.175
AT ITER 5610 NEW BEST:: SOT 67009 SOS 54169 HAS SOPS 54169 HAS SOUS 18078 HAS SOUPS 18078 WITH SCORE 18132.169
AT ITER 5666 NEW BEST:: SOT 67009 SOS 54169 HAS SOPS 54169 HAS SOUS 18063 HAS SOUPS 18063 WITH SCORE 18117.169
AT ITER 5697 NEW BEST:: SOT 66955 SOS 54115 HAS SOPS 54115 HAS SOUS 18007 HAS SOUPS 18007 WITH SCORE 18061.115
AT ITER 5719 NEW BEST:: SOT 67001 SOS 54205 HAS SOPS 54205 HAS SOUS 17999 HAS SOUPS 17999 WITH SCORE 18053.205
AT ITER 5728 NEW BEST:: SOT 67001 SOS 54205 HAS SOPS 54205 HAS SOUS 17988 HAS SOUPS 17988 WITH SCORE 18042.205
AT ITER 5738 NEW BEST:: SOT 67003 SOS 54207 HAS SOPS 54207 HAS SOUS 17986 HAS SOUPS 17986 WITH SCORE 18040.207
AT ITER 5746 NEW BEST:: SOT 66965 SOS 54169 HAS SOPS 54169 HAS SOUS 17923 HAS SOUPS 17923 WITH SCORE 17977.169
AT ITER 5751 NEW BEST:: SOT 66965 SOS 54169 HAS SOPS 54169 HAS SOUS 17919 HAS SOUPS 17919 WITH SCORE 17973.169
AT ITER 5765 NEW BEST:: SOT 66945 SOS 54179 HAS SOPS 54179 HAS SOUS 17915 HAS SOUPS 17915 WITH SCORE 17969.179
AT ITER 5800 NEW BEST:: SOT 66945 SOS 54179 HAS SOPS 54179 HAS SOUS 17914 HAS SOUPS 17914 WITH SCORE 17968.179
AT ITER 5816 NEW BEST:: SOT 66945 SOS 54179 HAS SOPS 54179 HAS SOUS 17907 HAS SOUPS 17907 WITH SCORE 17961.179
AT ITER 5915 NEW BEST:: SOT 66925 SOS 54159 HAS SOPS 54159 HAS SOUS 17887 HAS SOUPS 17887 WITH SCORE 17941.159
AT ITER 5921 NEW BEST:: SOT 66871 SOS 54105 HAS SOPS 54105 HAS SOUS 17833 HAS SOUPS 17833 WITH SCORE 17887.105
AT ITER 5940 NEW BEST:: SOT 66871 SOS 54105 HAS SOPS 54105 HAS SOUS 17832 HAS SOUPS 17832 WITH SCORE 17886.105
AT ITER 5961 NEW BEST:: SOT 66871 SOS 53257 HAS SOPS 53257 HAS SOUS 17825 HAS SOUPS 17825 WITH SCORE 17878.257
AT ITER 5976 NEW BEST:: SOT 66856 SOS 53243 HAS SOPS 53243 HAS SOUS 17821 HAS SOUPS 17821 WITH SCORE 17874.243
AT ITER 6006 NEW BEST:: SOT 66852 SOS 53239 HAS SOPS 53239 HAS SOUS 17819 HAS SOUPS 17819 WITH SCORE 17872.239
AT ITER 6025 NEW BEST:: SOT 66852 SOS 53223 HAS SOPS 53223 HAS SOUS 17819 HAS SOUPS 17819 WITH SCORE 17872.223
AT ITER 6056 NEW BEST:: SOT 66852 SOS 53223 HAS SOPS 53223 HAS SOUS 17805 HAS SOUPS 17805 WITH SCORE 17858.223
AT ITER 6100 NEW BEST:: SOT 66852 SOS 53223 HAS SOPS 53223 HAS SOUS 17804 HAS SOUPS 17804 WITH SCORE 17857.223
AT ITER 6241 NEW BEST:: SOT 66852 SOS 53163 HAS SOPS 53163 HAS SOUS 17804 HAS SOUPS 17804 WITH SCORE 17857.163
AT ITER 6259 NEW BEST:: SOT 66852 SOS 53163 HAS SOPS 53163 HAS SOUS 17803 HAS SOUPS 17803 WITH SCORE 17856.163
AT ITER 6271 NEW BEST:: SOT 66852 SOS 53163 HAS SOPS 53163 HAS SOUS 17793 HAS SOUPS 17793 WITH SCORE 17846.163
AT ITER 6278 NEW BEST:: SOT 66937 SOS 53248 HAS SOPS 53248 HAS SOUS 17784 HAS SOUPS 17784 WITH SCORE 17837.248
AT ITER 6299 NEW BEST:: SOT 66937 SOS 52488 HAS SOPS 52488 HAS SOUS 17784 HAS SOUPS 17784 WITH SCORE 17836.488
AT ITER 6319 NEW BEST:: SOT 66937 SOS 52120 HAS SOPS 52120 HAS SOUS 17781 HAS SOUPS 17781 WITH SCORE 17833.12
AT ITER 6358 NEW BEST:: SOT 66929 SOS 52088 HAS SOPS 52088 HAS SOUS 17765 HAS SOUPS 17765 WITH SCORE 17817.088
AT ITER 6425 NEW BEST:: SOT 66929 SOS 52120 HAS SOPS 52120 HAS SOUS 17763 HAS SOUPS 17763 WITH SCORE 17815.12
AT ITER 6453 NEW BEST:: SOT 66919 SOS 52110 HAS SOPS 52110 HAS SOUS 17754 HAS SOUPS 17754 WITH SCORE 17806.11
AT ITER 6536 NEW BEST:: SOT 66923 SOS 52104 HAS SOPS 52104 HAS SOUS 17753 HAS SOUPS 17753 WITH SCORE 17805.104
AT ITER 6553 NEW BEST:: SOT 66923 SOS 52132 HAS SOPS 52132 HAS SOUS 17742 HAS SOUPS 17742 WITH SCORE 17794.132
AT ITER 6554 NEW BEST:: SOT 66923 SOS 52164 HAS SOPS 52164 HAS SOUS 17740 HAS SOUPS 17740 WITH SCORE 17792.164
AT ITER 6556 NEW BEST:: SOT 66923 SOS 52036 HAS SOPS 52036 HAS SOUS 17739 HAS SOUPS 17739 WITH SCORE 17791.036
AT ITER 6642 NEW BEST:: SOT 66917 SOS 52030 HAS SOPS 52030 HAS SOUS 17701 HAS SOUPS 17701 WITH SCORE 17753.03
AT ITER 6644 NEW BEST:: SOT 66912 SOS 52022 HAS SOPS 52022 HAS SOUS 17697 HAS SOUPS 17697 WITH SCORE 17749.022
AT ITER 6675 NEW BEST:: SOT 66850 SOS 52003 HAS SOPS 52003 HAS SOUS 17693 HAS SOUPS 17693 WITH SCORE 17745.003
AT ITER 6839 NEW BEST:: SOT 66840 SOS 51993 HAS SOPS 51993 HAS SOUS 17669 HAS SOUPS 17669 WITH SCORE 17720.993
AT ITER 6896 NEW BEST:: SOT 66768 SOS 51841 HAS SOPS 51841 HAS SOUS 17638 HAS SOUPS 17638 WITH SCORE 17689.841
AT ITER 6919 NEW BEST:: SOT 66768 SOS 51809 HAS SOPS 51809 HAS SOUS 17638 HAS SOUPS 17638 WITH SCORE 17689.809
AT ITER 7120 NEW BEST:: SOT 66710 SOS 51751 HAS SOPS 51751 HAS SOUS 17594 HAS SOUPS 17594 WITH SCORE 17645.751
AT ITER 7168 NEW BEST:: SOT 66710 SOS 51751 HAS SOPS 51751 HAS SOUS 17572 HAS SOUPS 17572 WITH SCORE 17623.751
AT ITER 7197 NEW BEST:: SOT 66640 SOS 51633 HAS SOPS 51633 HAS SOUS 17441 HAS SOUPS 17441 WITH SCORE 17492.633
AT ITER 7265 NEW BEST:: SOT 66594 SOS 51587 HAS SOPS 51587 HAS SOUS 17398 HAS SOUPS 17398 WITH SCORE 17449.587
AT ITER 7294 NEW BEST:: SOT 66586 SOS 51579 HAS SOPS 51579 HAS SOUS 17366 HAS SOUPS 17366 WITH SCORE 17417.579
AT ITER 7342 NEW BEST:: SOT 66502 SOS 51495 HAS SOPS 51495 HAS SOUS 17295 HAS SOUPS 17295 WITH SCORE 17346.495
AT ITER 7381 NEW BEST:: SOT 66502 SOS 51495 HAS SOPS 51495 HAS SOUS 17286 HAS SOUPS 17286 WITH SCORE 17337.495
AT ITER 7402 NEW BEST:: SOT 66502 SOS 51479 HAS SOPS 51479 HAS SOUS 17285 HAS SOUPS 17285 WITH SCORE 17336.479
AT ITER 7424 NEW BEST:: SOT 66502 SOS 51223 HAS SOPS 51223 HAS SOUS 17285 HAS SOUPS 17285 WITH SCORE 17336.223
AT ITER 7437 NEW BEST:: SOT 66502 SOS 51511 HAS SOPS 51511 HAS SOUS 17247 HAS SOUPS 17247 WITH SCORE 17298.511
AT ITER 7534 NEW BEST:: SOT 66502 SOS 50879 HAS SOPS 50879 HAS SOUS 17244 HAS SOUPS 17244 WITH SCORE 17294.879
AT ITER 7606 NEW BEST:: SOT 66498 SOS 50875 HAS SOPS 50875 HAS SOUS 17238 HAS SOUPS 17238 WITH SCORE 17288.875
AT ITER 7635 NEW BEST:: SOT 66498 SOS 50875 HAS SOPS 50875 HAS SOUS 17233 HAS SOUPS 17233 WITH SCORE 17283.875
AT ITER 7693 NEW BEST:: SOT 66458 SOS 50835 HAS SOPS 50835 HAS SOUS 17193 HAS SOUPS 17193 WITH SCORE 17243.835
AT ITER 7694 NEW BEST:: SOT 66458 SOS 50827 HAS SOPS 50827 HAS SOUS 17192 HAS SOUPS 17192 WITH SCORE 17242.827
AT ITER 7698 NEW BEST:: SOT 66458 SOS 50827 HAS SOPS 50827 HAS SOUS 17190 HAS SOUPS 17190 WITH SCORE 17240.827
AT ITER 7716 NEW BEST:: SOT 66458 SOS 50907 HAS SOPS 50907 HAS SOUS 17187 HAS SOUPS 17187 WITH SCORE 17237.907
AT ITER 7747 NEW BEST:: SOT 66392 SOS 50825 HAS SOPS 50825 HAS SOUS 17091 HAS SOUPS 17091 WITH SCORE 17141.825
AT ITER 7750 NEW BEST:: SOT 66358 SOS 50778 HAS SOPS 50778 HAS SOUS 17075 HAS SOUPS 17075 WITH SCORE 17125.778
AT ITER 7762 NEW BEST:: SOT 66359 SOS 50775 HAS SOPS 50775 HAS SOUS 17074 HAS SOUPS 17074 WITH SCORE 17124.775
AT ITER 7822 NEW BEST:: SOT 66328 SOS 50732 HAS SOPS 50732 HAS SOUS 17037 HAS SOUPS 17037 WITH SCORE 17087.732
AT ITER 8094 NEW BEST:: SOT 66326 SOS 50730 HAS SOPS 50730 HAS SOUS 17027 HAS SOUPS 17027 WITH SCORE 17077.73
AT ITER 8109 NEW BEST:: SOT 66290 SOS 50694 HAS SOPS 50694 HAS SOUS 17021 HAS SOUPS 17021 WITH SCORE 17071.694
AT ITER 8229 NEW BEST:: SOT 66294 SOS 50686 HAS SOPS 50686 HAS SOUS 17012 HAS SOUPS 17012 WITH SCORE 17062.686
AT ITER 8242 NEW BEST:: SOT 66244 SOS 50380 HAS SOPS 50380 HAS SOUS 16946 HAS SOUPS 16946 WITH SCORE 16996.38
AT ITER 8258 NEW BEST:: SOT 66194 SOS 50330 HAS SOPS 50330 HAS SOUS 16902 HAS SOUPS 16902 WITH SCORE 16952.33
AT ITER 8259 NEW BEST:: SOT 66200 SOS 50336 HAS SOPS 50336 HAS SOUS 16900 HAS SOUPS 16900 WITH SCORE 16950.336
AT ITER 8260 NEW BEST:: SOT 66098 SOS 50234 HAS SOPS 50234 HAS SOUS 16894 HAS SOUPS 16894 WITH SCORE 16944.234
AT ITER 8262 NEW BEST:: SOT 66098 SOS 50178 HAS SOPS 50178 HAS SOUS 16894 HAS SOUPS 16894 WITH SCORE 16944.178
AT ITER 8320 NEW BEST:: SOT 66050 SOS 50130 HAS SOPS 50130 HAS SOUS 16840 HAS SOUPS 16840 WITH SCORE 16890.13
AT ITER 8375 NEW BEST:: SOT 66050 SOS 50130 HAS SOPS 50130 HAS SOUS 16836 HAS SOUPS 16836 WITH SCORE 16886.13
AT ITER 8441 NEW BEST:: SOT 66050 SOS 50130 HAS SOPS 50130 HAS SOUS 16830 HAS SOUPS 16830 WITH SCORE 16880.13
AT ITER 8488 NEW BEST:: SOT 66042 SOS 50122 HAS SOPS 50122 HAS SOUS 16822 HAS SOUPS 16822 WITH SCORE 16872.122
AT ITER 8549 NEW BEST:: SOT 66042 SOS 50122 HAS SOPS 50122 HAS SOUS 16812 HAS SOUPS 16812 WITH SCORE 16862.122
AT ITER 8630 NEW BEST:: SOT 66036 SOS 50116 HAS SOPS 50116 HAS SOUS 16798 HAS SOUPS 16798 WITH SCORE 16848.116
AT ITER 8718 NEW BEST:: SOT 66020 SOS 50100 HAS SOPS 50100 HAS SOUS 16770 HAS SOUPS 16770 WITH SCORE 16820.1
AT ITER 9009 NEW BEST:: SOT 66032 SOS 50208 HAS SOPS 50208 HAS SOUS 16760 HAS SOUPS 16760 WITH SCORE 16810.208
AT ITER 9187 NEW BEST:: SOT 66032 SOS 49728 HAS SOPS 49728 HAS SOUS 16760 HAS SOUPS 16760 WITH SCORE 16809.728
AT ITER 9255 NEW BEST:: SOT 66004 SOS 49700 HAS SOPS 49700 HAS SOUS 16736 HAS SOUPS 16736 WITH SCORE 16785.7
AT ITER 9309 NEW BEST:: SOT 65982 SOS 49668 HAS SOPS 49668 HAS SOUS 16716 HAS SOUPS 16716 WITH SCORE 16765.668
AT ITER 9330 NEW BEST:: SOT 65976 SOS 49662 HAS SOPS 49662 HAS SOUS 16702 HAS SOUPS 16702 WITH SCORE 16751.662
AT ITER 9472 NEW BEST:: SOT 65944 SOS 49622 HAS SOPS 49622 HAS SOUS 16692 HAS SOUPS 16692 WITH SCORE 16741.622
AT ITER 9479 NEW BEST:: SOT 65938 SOS 49616 HAS SOPS 49616 HAS SOUS 16684 HAS SOUPS 16684 WITH SCORE 16733.616
AT ITER 9650 NEW BEST:: SOT 65930 SOS 49608 HAS SOPS 49608 HAS SOUS 16684 HAS SOUPS 16684 WITH SCORE 16733.608
AT ITER 9837 NEW BEST:: SOT 65928 SOS 49607 HAS SOPS 49607 HAS SOUS 16682 HAS SOUPS 16682 WITH SCORE 16731.607
AT ITER 9863 NEW BEST:: SOT 65928 SOS 49543 HAS SOPS 49543 HAS SOUS 16682 HAS SOUPS 16682 WITH SCORE 16731.543
AT ITER 9890 NEW BEST:: SOT 65819 SOS 49419 HAS SOPS 49419 HAS SOUS 16603 HAS SOUPS 16603 WITH SCORE 16652.419
AT ITER 9927 NEW BEST:: SOT 65779 SOS 49379 HAS SOPS 49379 HAS SOUS 16594 HAS SOUPS 16594 WITH SCORE 16643.379
AT ITER 9930 NEW BEST:: SOT 65773 SOS 49373 HAS SOPS 49373 HAS SOUS 16580 HAS SOUPS 16580 WITH SCORE 16629.373
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 151684 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16260060 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

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="PermAdmissibility-PT-20"
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"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smart"
echo " Input is PermAdmissibility-PT-20, 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 r259-smll-167863534700544"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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