Execution Chart

Sorry, for this execution, no execution chart could be reported.

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r259-smll-167863534100104.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 NeighborGrid-PT-d4n3m2c23, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r259-smll-167863534100104
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 980K
-rw-r--r-- 1 mcc users 8.3K Feb 26 12:10 CTLCardinality.txt
-rw-r--r-- 1 mcc users 82K Feb 26 12:10 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 26 10:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 40K Feb 26 10:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:27 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 16:27 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Feb 25 16:27 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:27 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 26 13:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 150K Feb 26 13:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 16K Feb 26 12:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 99K Feb 26 12:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:27 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:27 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rwxr-xr-x 1 mcc users 469K 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 1678678089078

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=NeighborGrid-PT-d4n3m2c23
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NeighborGrid (PT), instance d4n3m2c23
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: 81 places, 1632 transitions, 3264 arcs.
AT ITER 0 NEW BEST:: SOT 82300 SOS 42236 HAS SOPS 42236 HAS SOUS 7228 HAS SOUPS 7228 WITH SCORE 7270.236
AT ITER 7 NEW BEST:: SOT 82400 SOS 42184 HAS SOPS 42184 HAS SOUS 7228 HAS SOUPS 7228 WITH SCORE 7270.184
AT ITER 10 NEW BEST:: SOT 81854 SOS 41972 HAS SOPS 41972 HAS SOUS 7198 HAS SOUPS 7198 WITH SCORE 7239.972
AT ITER 13 NEW BEST:: SOT 81600 SOS 41764 HAS SOPS 41764 HAS SOUS 7116 HAS SOUPS 7116 WITH SCORE 7157.764
AT ITER 14 NEW BEST:: SOT 81636 SOS 41584 HAS SOPS 41584 HAS SOUS 7116 HAS SOUPS 7116 WITH SCORE 7157.584
AT ITER 16 NEW BEST:: SOT 81686 SOS 41360 HAS SOPS 41360 HAS SOUS 7116 HAS SOUPS 7116 WITH SCORE 7157.36
AT ITER 17 NEW BEST:: SOT 81668 SOS 41324 HAS SOPS 41324 HAS SOUS 7116 HAS SOUPS 7116 WITH SCORE 7157.324
AT ITER 18 NEW BEST:: SOT 81724 SOS 41316 HAS SOPS 41316 HAS SOUS 7116 HAS SOUPS 7116 WITH SCORE 7157.316
AT ITER 19 NEW BEST:: SOT 81718 SOS 41178 HAS SOPS 41178 HAS SOUS 7116 HAS SOUPS 7116 WITH SCORE 7157.178
AT ITER 27 NEW BEST:: SOT 81760 SOS 41046 HAS SOPS 41046 HAS SOUS 7116 HAS SOUPS 7116 WITH SCORE 7157.046
AT ITER 31 NEW BEST:: SOT 81000 SOS 41638 HAS SOPS 41638 HAS SOUS 7092 HAS SOUPS 7092 WITH SCORE 7133.638
AT ITER 37 NEW BEST:: SOT 80810 SOS 41482 HAS SOPS 41482 HAS SOUS 7084 HAS SOUPS 7084 WITH SCORE 7125.482
AT ITER 38 NEW BEST:: SOT 80884 SOS 41414 HAS SOPS 41414 HAS SOUS 7084 HAS SOUPS 7084 WITH SCORE 7125.414
AT ITER 47 NEW BEST:: SOT 80640 SOS 41316 HAS SOPS 41316 HAS SOUS 7074 HAS SOUPS 7074 WITH SCORE 7115.316
AT ITER 54 NEW BEST:: SOT 80704 SOS 41132 HAS SOPS 41132 HAS SOUS 7074 HAS SOUPS 7074 WITH SCORE 7115.132
AT ITER 61 NEW BEST:: SOT 80536 SOS 41036 HAS SOPS 41036 HAS SOUS 7040 HAS SOUPS 7040 WITH SCORE 7081.036
AT ITER 64 NEW BEST:: SOT 80714 SOS 41392 HAS SOPS 41392 HAS SOUS 7024 HAS SOUPS 7024 WITH SCORE 7065.392
AT ITER 71 NEW BEST:: SOT 80864 SOS 41164 HAS SOPS 41164 HAS SOUS 7024 HAS SOUPS 7024 WITH SCORE 7065.164
AT ITER 79 NEW BEST:: SOT 80684 SOS 41028 HAS SOPS 41028 HAS SOUS 7016 HAS SOUPS 7016 WITH SCORE 7057.028
AT ITER 83 NEW BEST:: SOT 80692 SOS 40918 HAS SOPS 40918 HAS SOUS 7016 HAS SOUPS 7016 WITH SCORE 7056.918
AT ITER 85 NEW BEST:: SOT 80774 SOS 40854 HAS SOPS 40854 HAS SOUS 7016 HAS SOUPS 7016 WITH SCORE 7056.854
AT ITER 86 NEW BEST:: SOT 80922 SOS 42190 HAS SOPS 42190 HAS SOUS 7010 HAS SOUPS 7010 WITH SCORE 7052.19
AT ITER 89 NEW BEST:: SOT 80916 SOS 42178 HAS SOPS 42178 HAS SOUS 7010 HAS SOUPS 7010 WITH SCORE 7052.178
AT ITER 93 NEW BEST:: SOT 80544 SOS 41944 HAS SOPS 41944 HAS SOUS 6914 HAS SOUPS 6914 WITH SCORE 6955.944
AT ITER 96 NEW BEST:: SOT 80514 SOS 41884 HAS SOPS 41884 HAS SOUS 6914 HAS SOUPS 6914 WITH SCORE 6955.884
AT ITER 98 NEW BEST:: SOT 79948 SOS 41676 HAS SOPS 41676 HAS SOUS 6892 HAS SOUPS 6892 WITH SCORE 6933.676
AT ITER 99 NEW BEST:: SOT 79600 SOS 41412 HAS SOPS 41412 HAS SOUS 6834 HAS SOUPS 6834 WITH SCORE 6875.412
AT ITER 101 NEW BEST:: SOT 79906 SOS 41520 HAS SOPS 41520 HAS SOUS 6792 HAS SOUPS 6792 WITH SCORE 6833.52
AT ITER 106 NEW BEST:: SOT 79704 SOS 41692 HAS SOPS 41692 HAS SOUS 6790 HAS SOUPS 6790 WITH SCORE 6831.692
AT ITER 107 NEW BEST:: SOT 79714 SOS 41688 HAS SOPS 41688 HAS SOUS 6790 HAS SOUPS 6790 WITH SCORE 6831.688
AT ITER 111 NEW BEST:: SOT 79806 SOS 41680 HAS SOPS 41680 HAS SOUS 6744 HAS SOUPS 6744 WITH SCORE 6785.68
AT ITER 117 NEW BEST:: SOT 79812 SOS 41614 HAS SOPS 41614 HAS SOUS 6744 HAS SOUPS 6744 WITH SCORE 6785.614
AT ITER 120 NEW BEST:: SOT 80086 SOS 41742 HAS SOPS 41742 HAS SOUS 6742 HAS SOUPS 6742 WITH SCORE 6783.742
AT ITER 122 NEW BEST:: SOT 80146 SOS 41186 HAS SOPS 41186 HAS SOUS 6742 HAS SOUPS 6742 WITH SCORE 6783.186
AT ITER 123 NEW BEST:: SOT 80158 SOS 41138 HAS SOPS 41138 HAS SOUS 6742 HAS SOUPS 6742 WITH SCORE 6783.138
AT ITER 136 NEW BEST:: SOT 80138 SOS 41098 HAS SOPS 41098 HAS SOUS 6742 HAS SOUPS 6742 WITH SCORE 6783.098
AT ITER 138 NEW BEST:: SOT 80242 SOS 41306 HAS SOPS 41306 HAS SOUS 6664 HAS SOUPS 6664 WITH SCORE 6705.306
AT ITER 148 NEW BEST:: SOT 80222 SOS 41302 HAS SOPS 41302 HAS SOUS 6660 HAS SOUPS 6660 WITH SCORE 6701.302
AT ITER 150 NEW BEST:: SOT 80228 SOS 41260 HAS SOPS 41260 HAS SOUS 6660 HAS SOUPS 6660 WITH SCORE 6701.26
AT ITER 163 NEW BEST:: SOT 80238 SOS 41046 HAS SOPS 41046 HAS SOUS 6660 HAS SOUPS 6660 WITH SCORE 6701.046
AT ITER 170 NEW BEST:: SOT 80268 SOS 41052 HAS SOPS 41052 HAS SOUS 6642 HAS SOUPS 6642 WITH SCORE 6683.052
AT ITER 173 NEW BEST:: SOT 80294 SOS 41020 HAS SOPS 41020 HAS SOUS 6626 HAS SOUPS 6626 WITH SCORE 6667.02
AT ITER 178 NEW BEST:: SOT 80296 SOS 40934 HAS SOPS 40934 HAS SOUS 6626 HAS SOUPS 6626 WITH SCORE 6666.934
AT ITER 181 NEW BEST:: SOT 80288 SOS 40918 HAS SOPS 40918 HAS SOUS 6614 HAS SOUPS 6614 WITH SCORE 6654.918
AT ITER 200 NEW BEST:: SOT 80050 SOS 41718 HAS SOPS 41718 HAS SOUS 6610 HAS SOUPS 6610 WITH SCORE 6651.718
AT ITER 207 NEW BEST:: SOT 80380 SOS 41958 HAS SOPS 41958 HAS SOUS 6608 HAS SOUPS 6608 WITH SCORE 6649.958
AT ITER 216 NEW BEST:: SOT 80370 SOS 41938 HAS SOPS 41938 HAS SOUS 6602 HAS SOUPS 6602 WITH SCORE 6643.938
AT ITER 235 NEW BEST:: SOT 80378 SOS 41928 HAS SOPS 41928 HAS SOUS 6602 HAS SOUPS 6602 WITH SCORE 6643.928
AT ITER 236 NEW BEST:: SOT 80356 SOS 41884 HAS SOPS 41884 HAS SOUS 6602 HAS SOUPS 6602 WITH SCORE 6643.884
AT ITER 237 NEW BEST:: SOT 80280 SOS 41732 HAS SOPS 41732 HAS SOUS 6556 HAS SOUPS 6556 WITH SCORE 6597.732
AT ITER 239 NEW BEST:: SOT 80260 SOS 41692 HAS SOPS 41692 HAS SOUS 6548 HAS SOUPS 6548 WITH SCORE 6589.692
AT ITER 244 NEW BEST:: SOT 80218 SOS 41608 HAS SOPS 41608 HAS SOUS 6548 HAS SOUPS 6548 WITH SCORE 6589.608
AT ITER 254 NEW BEST:: SOT 80554 SOS 41614 HAS SOPS 41614 HAS SOUS 6468 HAS SOUPS 6468 WITH SCORE 6509.614
AT ITER 263 NEW BEST:: SOT 80542 SOS 41590 HAS SOPS 41590 HAS SOUS 6468 HAS SOUPS 6468 WITH SCORE 6509.59
AT ITER 264 NEW BEST:: SOT 80456 SOS 41418 HAS SOPS 41418 HAS SOUS 6468 HAS SOUPS 6468 WITH SCORE 6509.418
AT ITER 270 NEW BEST:: SOT 80458 SOS 41410 HAS SOPS 41410 HAS SOUS 6464 HAS SOUPS 6464 WITH SCORE 6505.41
AT ITER 272 NEW BEST:: SOT 80356 SOS 41492 HAS SOPS 41492 HAS SOUS 6450 HAS SOUPS 6450 WITH SCORE 6491.492
AT ITER 276 NEW BEST:: SOT 80126 SOS 41332 HAS SOPS 41332 HAS SOUS 6440 HAS SOUPS 6440 WITH SCORE 6481.332
AT ITER 279 NEW BEST:: SOT 80210 SOS 41240 HAS SOPS 41240 HAS SOUS 6440 HAS SOUPS 6440 WITH SCORE 6481.24
AT ITER 283 NEW BEST:: SOT 80208 SOS 41210 HAS SOPS 41210 HAS SOUS 6440 HAS SOUPS 6440 WITH SCORE 6481.21
AT ITER 285 NEW BEST:: SOT 80240 SOS 41022 HAS SOPS 41022 HAS SOUS 6336 HAS SOUPS 6336 WITH SCORE 6377.022
AT ITER 295 NEW BEST:: SOT 80212 SOS 40876 HAS SOPS 40876 HAS SOUS 6332 HAS SOUPS 6332 WITH SCORE 6372.876
AT ITER 300 NEW BEST:: SOT 80240 SOS 40680 HAS SOPS 40680 HAS SOUS 6332 HAS SOUPS 6332 WITH SCORE 6372.68
AT ITER 302 NEW BEST:: SOT 80224 SOS 40648 HAS SOPS 40648 HAS SOUS 6326 HAS SOUPS 6326 WITH SCORE 6366.648
AT ITER 311 NEW BEST:: SOT 80226 SOS 40274 HAS SOPS 40274 HAS SOUS 6326 HAS SOUPS 6326 WITH SCORE 6366.274
AT ITER 313 NEW BEST:: SOT 80172 SOS 40346 HAS SOPS 40346 HAS SOUS 6312 HAS SOUPS 6312 WITH SCORE 6352.346
AT ITER 322 NEW BEST:: SOT 80162 SOS 40326 HAS SOPS 40326 HAS SOUS 6272 HAS SOUPS 6272 WITH SCORE 6312.326
AT ITER 328 NEW BEST:: SOT 80168 SOS 39882 HAS SOPS 39882 HAS SOUS 6266 HAS SOUPS 6266 WITH SCORE 6305.882
AT ITER 343 NEW BEST:: SOT 80172 SOS 39786 HAS SOPS 39786 HAS SOUS 6266 HAS SOUPS 6266 WITH SCORE 6305.786
AT ITER 370 NEW BEST:: SOT 80164 SOS 39788 HAS SOPS 39788 HAS SOUS 6264 HAS SOUPS 6264 WITH SCORE 6303.788
AT ITER 371 NEW BEST:: SOT 80174 SOS 39736 HAS SOPS 39736 HAS SOUS 6264 HAS SOUPS 6264 WITH SCORE 6303.736
AT ITER 383 NEW BEST:: SOT 80026 SOS 39602 HAS SOPS 39602 HAS SOUS 6252 HAS SOUPS 6252 WITH SCORE 6291.602
AT ITER 389 NEW BEST:: SOT 80026 SOS 39650 HAS SOPS 39650 HAS SOUS 6244 HAS SOUPS 6244 WITH SCORE 6283.65
AT ITER 397 NEW BEST:: SOT 80162 SOS 39442 HAS SOPS 39442 HAS SOUS 6166 HAS SOUPS 6166 WITH SCORE 6205.442
AT ITER 402 NEW BEST:: SOT 80134 SOS 39386 HAS SOPS 39386 HAS SOUS 6136 HAS SOUPS 6136 WITH SCORE 6175.386
AT ITER 413 NEW BEST:: SOT 80070 SOS 39566 HAS SOPS 39566 HAS SOUS 6132 HAS SOUPS 6132 WITH SCORE 6171.566
AT ITER 428 NEW BEST:: SOT 80074 SOS 39916 HAS SOPS 39916 HAS SOUS 6122 HAS SOUPS 6122 WITH SCORE 6161.916
AT ITER 442 NEW BEST:: SOT 80118 SOS 40454 HAS SOPS 40454 HAS SOUS 6118 HAS SOUPS 6118 WITH SCORE 6158.454
AT ITER 448 NEW BEST:: SOT 79994 SOS 40530 HAS SOPS 40530 HAS SOUS 6102 HAS SOUPS 6102 WITH SCORE 6142.53
AT ITER 453 NEW BEST:: SOT 79968 SOS 40478 HAS SOPS 40478 HAS SOUS 6100 HAS SOUPS 6100 WITH SCORE 6140.478
AT ITER 454 NEW BEST:: SOT 80282 SOS 39026 HAS SOPS 39026 HAS SOUS 6100 HAS SOUPS 6100 WITH SCORE 6139.026
AT ITER 462 NEW BEST:: SOT 80398 SOS 38422 HAS SOPS 38422 HAS SOUS 6100 HAS SOUPS 6100 WITH SCORE 6138.422
AT ITER 464 NEW BEST:: SOT 80478 SOS 38582 HAS SOPS 38582 HAS SOUS 6096 HAS SOUPS 6096 WITH SCORE 6134.582
AT ITER 466 NEW BEST:: SOT 80444 SOS 38322 HAS SOPS 38322 HAS SOUS 6096 HAS SOUPS 6096 WITH SCORE 6134.322
AT ITER 468 NEW BEST:: SOT 80428 SOS 38290 HAS SOPS 38290 HAS SOUS 6096 HAS SOUPS 6096 WITH SCORE 6134.29
AT ITER 471 NEW BEST:: SOT 80356 SOS 38230 HAS SOPS 38230 HAS SOUS 6090 HAS SOUPS 6090 WITH SCORE 6128.23
AT ITER 492 NEW BEST:: SOT 80332 SOS 38182 HAS SOPS 38182 HAS SOUS 6090 HAS SOUPS 6090 WITH SCORE 6128.182
AT ITER 513 NEW BEST:: SOT 80392 SOS 38734 HAS SOPS 38734 HAS SOUS 6084 HAS SOUPS 6084 WITH SCORE 6122.734
AT ITER 526 NEW BEST:: SOT 80380 SOS 39016 HAS SOPS 39016 HAS SOUS 6070 HAS SOUPS 6070 WITH SCORE 6109.016
AT ITER 529 NEW BEST:: SOT 80140 SOS 38896 HAS SOPS 38896 HAS SOUS 6070 HAS SOUPS 6070 WITH SCORE 6108.896
AT ITER 537 NEW BEST:: SOT 80144 SOS 38760 HAS SOPS 38760 HAS SOUS 6054 HAS SOUPS 6054 WITH SCORE 6092.76
AT ITER 540 NEW BEST:: SOT 80140 SOS 38752 HAS SOPS 38752 HAS SOUS 6054 HAS SOUPS 6054 WITH SCORE 6092.752
AT ITER 543 NEW BEST:: SOT 80104 SOS 38680 HAS SOPS 38680 HAS SOUS 6054 HAS SOUPS 6054 WITH SCORE 6092.68
AT ITER 575 NEW BEST:: SOT 80092 SOS 38380 HAS SOPS 38380 HAS SOUS 6054 HAS SOUPS 6054 WITH SCORE 6092.38
AT ITER 576 NEW BEST:: SOT 80070 SOS 38336 HAS SOPS 38336 HAS SOUS 6054 HAS SOUPS 6054 WITH SCORE 6092.336
AT ITER 577 NEW BEST:: SOT 80126 SOS 38250 HAS SOPS 38250 HAS SOUS 6054 HAS SOUPS 6054 WITH SCORE 6092.25
AT ITER 581 NEW BEST:: SOT 80128 SOS 38228 HAS SOPS 38228 HAS SOUS 6054 HAS SOUPS 6054 WITH SCORE 6092.228
AT ITER 627 NEW BEST:: SOT 80088 SOS 38148 HAS SOPS 38148 HAS SOUS 6048 HAS SOUPS 6048 WITH SCORE 6086.148
AT ITER 637 NEW BEST:: SOT 80048 SOS 38068 HAS SOPS 38068 HAS SOUS 6048 HAS SOUPS 6048 WITH SCORE 6086.068
AT ITER 642 NEW BEST:: SOT 79986 SOS 38394 HAS SOPS 38394 HAS SOUS 6044 HAS SOUPS 6044 WITH SCORE 6082.394
AT ITER 653 NEW BEST:: SOT 79978 SOS 38378 HAS SOPS 38378 HAS SOUS 6044 HAS SOUPS 6044 WITH SCORE 6082.378
AT ITER 656 NEW BEST:: SOT 79990 SOS 38402 HAS SOPS 38402 HAS SOUS 6042 HAS SOUPS 6042 WITH SCORE 6080.402
AT ITER 690 NEW BEST:: SOT 79986 SOS 38394 HAS SOPS 38394 HAS SOUS 6042 HAS SOUPS 6042 WITH SCORE 6080.394
AT ITER 699 NEW BEST:: SOT 79896 SOS 38214 HAS SOPS 38214 HAS SOUS 6036 HAS SOUPS 6036 WITH SCORE 6074.214
AT ITER 709 NEW BEST:: SOT 79894 SOS 38210 HAS SOPS 38210 HAS SOUS 6036 HAS SOUPS 6036 WITH SCORE 6074.21
AT ITER 712 NEW BEST:: SOT 79882 SOS 38078 HAS SOPS 38078 HAS SOUS 6036 HAS SOUPS 6036 WITH SCORE 6074.078
AT ITER 726 NEW BEST:: SOT 80034 SOS 38094 HAS SOPS 38094 HAS SOUS 6022 HAS SOUPS 6022 WITH SCORE 6060.094
AT ITER 734 NEW BEST:: SOT 80054 SOS 38080 HAS SOPS 38080 HAS SOUS 6022 HAS SOUPS 6022 WITH SCORE 6060.08
AT ITER 736 NEW BEST:: SOT 80054 SOS 38092 HAS SOPS 38092 HAS SOUS 6018 HAS SOUPS 6018 WITH SCORE 6056.092
AT ITER 741 NEW BEST:: SOT 79924 SOS 38066 HAS SOPS 38066 HAS SOUS 6014 HAS SOUPS 6014 WITH SCORE 6052.066
AT ITER 746 NEW BEST:: SOT 79872 SOS 38052 HAS SOPS 38052 HAS SOUS 6008 HAS SOUPS 6008 WITH SCORE 6046.052
AT ITER 762 NEW BEST:: SOT 79896 SOS 38048 HAS SOPS 38048 HAS SOUS 6008 HAS SOUPS 6008 WITH SCORE 6046.048
AT ITER 766 NEW BEST:: SOT 79834 SOS 37924 HAS SOPS 37924 HAS SOUS 6006 HAS SOUPS 6006 WITH SCORE 6043.924
AT ITER 769 NEW BEST:: SOT 79756 SOS 37880 HAS SOPS 37880 HAS SOUS 5984 HAS SOUPS 5984 WITH SCORE 6021.88
AT ITER 793 NEW BEST:: SOT 79716 SOS 37800 HAS SOPS 37800 HAS SOUS 5984 HAS SOUPS 5984 WITH SCORE 6021.8
AT ITER 807 NEW BEST:: SOT 79708 SOS 37664 HAS SOPS 37664 HAS SOUS 5960 HAS SOUPS 5960 WITH SCORE 5997.664
AT ITER 812 NEW BEST:: SOT 79812 SOS 37584 HAS SOPS 37584 HAS SOUS 5940 HAS SOUPS 5940 WITH SCORE 5977.584
AT ITER 814 NEW BEST:: SOT 79828 SOS 37580 HAS SOPS 37580 HAS SOUS 5940 HAS SOUPS 5940 WITH SCORE 5977.58
AT ITER 823 NEW BEST:: SOT 79838 SOS 37574 HAS SOPS 37574 HAS SOUS 5940 HAS SOUPS 5940 WITH SCORE 5977.574
AT ITER 831 NEW BEST:: SOT 79806 SOS 37558 HAS SOPS 37558 HAS SOUS 5940 HAS SOUPS 5940 WITH SCORE 5977.558
AT ITER 833 NEW BEST:: SOT 79794 SOS 37586 HAS SOPS 37586 HAS SOUS 5936 HAS SOUPS 5936 WITH SCORE 5973.586
AT ITER 839 NEW BEST:: SOT 79846 SOS 37510 HAS SOPS 37510 HAS SOUS 5936 HAS SOUPS 5936 WITH SCORE 5973.51
AT ITER 847 NEW BEST:: SOT 79836 SOS 37490 HAS SOPS 37490 HAS SOUS 5936 HAS SOUPS 5936 WITH SCORE 5973.49
AT ITER 867 NEW BEST:: SOT 79804 SOS 38026 HAS SOPS 38026 HAS SOUS 5934 HAS SOUPS 5934 WITH SCORE 5972.026
AT ITER 916 NEW BEST:: SOT 79724 SOS 37962 HAS SOPS 37962 HAS SOUS 5932 HAS SOUPS 5932 WITH SCORE 5969.962
AT ITER 921 NEW BEST:: SOT 79646 SOS 38702 HAS SOPS 38702 HAS SOUS 5926 HAS SOUPS 5926 WITH SCORE 5964.702
AT ITER 933 NEW BEST:: SOT 79706 SOS 38690 HAS SOPS 38690 HAS SOUS 5926 HAS SOUPS 5926 WITH SCORE 5964.69
AT ITER 939 NEW BEST:: SOT 79706 SOS 38690 HAS SOPS 38690 HAS SOUS 5908 HAS SOUPS 5908 WITH SCORE 5946.69
AT ITER 947 NEW BEST:: SOT 79714 SOS 38446 HAS SOPS 38446 HAS SOUS 5908 HAS SOUPS 5908 WITH SCORE 5946.446
AT ITER 959 NEW BEST:: SOT 79696 SOS 38440 HAS SOPS 38440 HAS SOUS 5908 HAS SOUPS 5908 WITH SCORE 5946.44
AT ITER 969 NEW BEST:: SOT 79624 SOS 38296 HAS SOPS 38296 HAS SOUS 5908 HAS SOUPS 5908 WITH SCORE 5946.296
AT ITER 974 NEW BEST:: SOT 79656 SOS 38180 HAS SOPS 38180 HAS SOUS 5908 HAS SOUPS 5908 WITH SCORE 5946.18
AT ITER 978 NEW BEST:: SOT 79652 SOS 38172 HAS SOPS 38172 HAS SOUS 5908 HAS SOUPS 5908 WITH SCORE 5946.172
AT ITER 981 NEW BEST:: SOT 79650 SOS 38168 HAS SOPS 38168 HAS SOUS 5908 HAS SOUPS 5908 WITH SCORE 5946.168
AT ITER 990 NEW BEST:: SOT 79424 SOS 37968 HAS SOPS 37968 HAS SOUS 5908 HAS SOUPS 5908 WITH SCORE 5945.968
AT ITER 992 NEW BEST:: SOT 79400 SOS 37920 HAS SOPS 37920 HAS SOUS 5908 HAS SOUPS 5908 WITH SCORE 5945.92
AT ITER 994 NEW BEST:: SOT 79390 SOS 37912 HAS SOPS 37912 HAS SOUS 5906 HAS SOUPS 5906 WITH SCORE 5943.912
AT ITER 1006 NEW BEST:: SOT 79380 SOS 37892 HAS SOPS 37892 HAS SOUS 5906 HAS SOUPS 5906 WITH SCORE 5943.892
AT ITER 1028 NEW BEST:: SOT 79304 SOS 37902 HAS SOPS 37902 HAS SOUS 5900 HAS SOUPS 5900 WITH SCORE 5937.902
AT ITER 1069 NEW BEST:: SOT 79278 SOS 37850 HAS SOPS 37850 HAS SOUS 5898 HAS SOUPS 5898 WITH SCORE 5935.85
AT ITER 1074 NEW BEST:: SOT 79288 SOS 37906 HAS SOPS 37906 HAS SOUS 5894 HAS SOUPS 5894 WITH SCORE 5931.906
AT ITER 1076 NEW BEST:: SOT 79324 SOS 37888 HAS SOPS 37888 HAS SOUS 5868 HAS SOUPS 5868 WITH SCORE 5905.888
AT ITER 1079 NEW BEST:: SOT 79294 SOS 37828 HAS SOPS 37828 HAS SOUS 5868 HAS SOUPS 5868 WITH SCORE 5905.828
AT ITER 1090 NEW BEST:: SOT 79250 SOS 37800 HAS SOPS 37800 HAS SOUS 5866 HAS SOUPS 5866 WITH SCORE 5903.8
AT ITER 1121 NEW BEST:: SOT 79250 SOS 37722 HAS SOPS 37722 HAS SOUS 5866 HAS SOUPS 5866 WITH SCORE 5903.722
AT ITER 1133 NEW BEST:: SOT 79280 SOS 37632 HAS SOPS 37632 HAS SOUS 5824 HAS SOUPS 5824 WITH SCORE 5861.632
AT ITER 1152 NEW BEST:: SOT 79024 SOS 37604 HAS SOPS 37604 HAS SOUS 5798 HAS SOUPS 5798 WITH SCORE 5835.604
AT ITER 1170 NEW BEST:: SOT 79030 SOS 37562 HAS SOPS 37562 HAS SOUS 5798 HAS SOUPS 5798 WITH SCORE 5835.562
AT ITER 1181 NEW BEST:: SOT 79030 SOS 37550 HAS SOPS 37550 HAS SOUS 5798 HAS SOUPS 5798 WITH SCORE 5835.55
AT ITER 1196 NEW BEST:: SOT 79014 SOS 37694 HAS SOPS 37694 HAS SOUS 5796 HAS SOUPS 5796 WITH SCORE 5833.694
AT ITER 1204 NEW BEST:: SOT 79210 SOS 37678 HAS SOPS 37678 HAS SOUS 5796 HAS SOUPS 5796 WITH SCORE 5833.678
AT ITER 1217 NEW BEST:: SOT 79160 SOS 37638 HAS SOPS 37638 HAS SOUS 5786 HAS SOUPS 5786 WITH SCORE 5823.638
AT ITER 1243 NEW BEST:: SOT 79154 SOS 37626 HAS SOPS 37626 HAS SOUS 5786 HAS SOUPS 5786 WITH SCORE 5823.626
AT ITER 1246 NEW BEST:: SOT 79162 SOS 37590 HAS SOPS 37590 HAS SOUS 5786 HAS SOUPS 5786 WITH SCORE 5823.59
AT ITER 1250 NEW BEST:: SOT 79156 SOS 37578 HAS SOPS 37578 HAS SOUS 5786 HAS SOUPS 5786 WITH SCORE 5823.578
AT ITER 1259 NEW BEST:: SOT 79188 SOS 37582 HAS SOPS 37582 HAS SOUS 5782 HAS SOUPS 5782 WITH SCORE 5819.582
AT ITER 1260 NEW BEST:: SOT 79180 SOS 37746 HAS SOPS 37746 HAS SOUS 5778 HAS SOUPS 5778 WITH SCORE 5815.746
AT ITER 1272 NEW BEST:: SOT 79156 SOS 37842 HAS SOPS 37842 HAS SOUS 5776 HAS SOUPS 5776 WITH SCORE 5813.842
AT ITER 1281 NEW BEST:: SOT 79148 SOS 37994 HAS SOPS 37994 HAS SOUS 5772 HAS SOUPS 5772 WITH SCORE 5809.994
AT ITER 1347 NEW BEST:: SOT 79108 SOS 37614 HAS SOPS 37614 HAS SOUS 5772 HAS SOUPS 5772 WITH SCORE 5809.614
AT ITER 1353 NEW BEST:: SOT 79096 SOS 37590 HAS SOPS 37590 HAS SOUS 5772 HAS SOUPS 5772 WITH SCORE 5809.59
AT ITER 1361 NEW BEST:: SOT 79062 SOS 37756 HAS SOPS 37756 HAS SOUS 5770 HAS SOUPS 5770 WITH SCORE 5807.756
AT ITER 1367 NEW BEST:: SOT 78942 SOS 38300 HAS SOPS 38300 HAS SOUS 5768 HAS SOUPS 5768 WITH SCORE 5806.3
AT ITER 1401 NEW BEST:: SOT 78954 SOS 38298 HAS SOPS 38298 HAS SOUS 5768 HAS SOUPS 5768 WITH SCORE 5806.298
AT ITER 1407 NEW BEST:: SOT 78966 SOS 38322 HAS SOPS 38322 HAS SOUS 5756 HAS SOUPS 5756 WITH SCORE 5794.322
AT ITER 1409 NEW BEST:: SOT 78978 SOS 38294 HAS SOPS 38294 HAS SOUS 5756 HAS SOUPS 5756 WITH SCORE 5794.294
AT ITER 1413 NEW BEST:: SOT 78922 SOS 38182 HAS SOPS 38182 HAS SOUS 5750 HAS SOUPS 5750 WITH SCORE 5788.182
AT ITER 1416 NEW BEST:: SOT 78888 SOS 38114 HAS SOPS 38114 HAS SOUS 5750 HAS SOUPS 5750 WITH SCORE 5788.114
AT ITER 1419 NEW BEST:: SOT 78890 SOS 38046 HAS SOPS 38046 HAS SOUS 5750 HAS SOUPS 5750 WITH SCORE 5788.046
AT ITER 1447 NEW BEST:: SOT 78912 SOS 38038 HAS SOPS 38038 HAS SOUS 5750 HAS SOUPS 5750 WITH SCORE 5788.038
AT ITER 1448 NEW BEST:: SOT 78906 SOS 38026 HAS SOPS 38026 HAS SOUS 5750 HAS SOUPS 5750 WITH SCORE 5788.026
AT ITER 1465 NEW BEST:: SOT 78874 SOS 37962 HAS SOPS 37962 HAS SOUS 5750 HAS SOUPS 5750 WITH SCORE 5787.962
AT ITER 1468 NEW BEST:: SOT 78888 SOS 38250 HAS SOPS 38250 HAS SOUS 5746 HAS SOUPS 5746 WITH SCORE 5784.25
AT ITER 1491 NEW BEST:: SOT 79004 SOS 38830 HAS SOPS 38830 HAS SOUS 5742 HAS SOUPS 5742 WITH SCORE 5780.83
AT ITER 1508 NEW BEST:: SOT 78926 SOS 39466 HAS SOPS 39466 HAS SOUS 5740 HAS SOUPS 5740 WITH SCORE 5779.466
AT ITER 1553 NEW BEST:: SOT 78884 SOS 39490 HAS SOPS 39490 HAS SOUS 5738 HAS SOUPS 5738 WITH SCORE 5777.49
AT ITER 1558 NEW BEST:: SOT 78840 SOS 39402 HAS SOPS 39402 HAS SOUS 5738 HAS SOUPS 5738 WITH SCORE 5777.402
AT ITER 1610 NEW BEST:: SOT 78842 SOS 39380 HAS SOPS 39380 HAS SOUS 5738 HAS SOUPS 5738 WITH SCORE 5777.38
AT ITER 1627 NEW BEST:: SOT 78836 SOS 39368 HAS SOPS 39368 HAS SOUS 5738 HAS SOUPS 5738 WITH SCORE 5777.368
AT ITER 1643 NEW BEST:: SOT 78850 SOS 39594 HAS SOPS 39594 HAS SOUS 5736 HAS SOUPS 5736 WITH SCORE 5775.594
AT ITER 1660 NEW BEST:: SOT 78854 SOS 39576 HAS SOPS 39576 HAS SOUS 5736 HAS SOUPS 5736 WITH SCORE 5775.576
AT ITER 1753 NEW BEST:: SOT 78812 SOS 39612 HAS SOPS 39612 HAS SOUS 5728 HAS SOUPS 5728 WITH SCORE 5767.612
AT ITER 1757 NEW BEST:: SOT 78564 SOS 39836 HAS SOPS 39836 HAS SOUS 5724 HAS SOUPS 5724 WITH SCORE 5763.836
AT ITER 1768 NEW BEST:: SOT 78540 SOS 39812 HAS SOPS 39812 HAS SOUS 5706 HAS SOUPS 5706 WITH SCORE 5745.812
AT ITER 1803 NEW BEST:: SOT 78536 SOS 39804 HAS SOPS 39804 HAS SOUS 5706 HAS SOUPS 5706 WITH SCORE 5745.804
AT ITER 1810 NEW BEST:: SOT 78582 SOS 39792 HAS SOPS 39792 HAS SOUS 5704 HAS SOUPS 5704 WITH SCORE 5743.792
AT ITER 1857 NEW BEST:: SOT 78582 SOS 39740 HAS SOPS 39740 HAS SOUS 5704 HAS SOUPS 5704 WITH SCORE 5743.74
AT ITER 1861 NEW BEST:: SOT 78628 SOS 39682 HAS SOPS 39682 HAS SOUS 5702 HAS SOUPS 5702 WITH SCORE 5741.682
AT ITER 1883 NEW BEST:: SOT 78596 SOS 39618 HAS SOPS 39618 HAS SOUS 5680 HAS SOUPS 5680 WITH SCORE 5719.618
AT ITER 1900 NEW BEST:: SOT 78600 SOS 39514 HAS SOPS 39514 HAS SOUS 5680 HAS SOUPS 5680 WITH SCORE 5719.514
AT ITER 1912 NEW BEST:: SOT 78598 SOS 39510 HAS SOPS 39510 HAS SOUS 5680 HAS SOUPS 5680 WITH SCORE 5719.51
AT ITER 1926 NEW BEST:: SOT 78624 SOS 39484 HAS SOPS 39484 HAS SOUS 5680 HAS SOUPS 5680 WITH SCORE 5719.484
AT ITER 1962 NEW BEST:: SOT 78632 SOS 39422 HAS SOPS 39422 HAS SOUS 5680 HAS SOUPS 5680 WITH SCORE 5719.422
AT ITER 1970 NEW BEST:: SOT 78606 SOS 39370 HAS SOPS 39370 HAS SOUS 5674 HAS SOUPS 5674 WITH SCORE 5713.37
AT ITER 1991 NEW BEST:: SOT 78604 SOS 39366 HAS SOPS 39366 HAS SOUS 5674 HAS SOUPS 5674 WITH SCORE 5713.366
AT ITER 2012 NEW BEST:: SOT 78606 SOS 39310 HAS SOPS 39310 HAS SOUS 5674 HAS SOUPS 5674 WITH SCORE 5713.31
AT ITER 2028 NEW BEST:: SOT 78594 SOS 39316 HAS SOPS 39316 HAS SOUS 5672 HAS SOUPS 5672 WITH SCORE 5711.316
AT ITER 2058 NEW BEST:: SOT 78620 SOS 39314 HAS SOPS 39314 HAS SOUS 5672 HAS SOUPS 5672 WITH SCORE 5711.314
AT ITER 2125 NEW BEST:: SOT 78606 SOS 39286 HAS SOPS 39286 HAS SOUS 5672 HAS SOUPS 5672 WITH SCORE 5711.286
AT ITER 2151 NEW BEST:: SOT 78614 SOS 39152 HAS SOPS 39152 HAS SOUS 5672 HAS SOUPS 5672 WITH SCORE 5711.152
AT ITER 2156 NEW BEST:: SOT 78604 SOS 39144 HAS SOPS 39144 HAS SOUS 5672 HAS SOUPS 5672 WITH SCORE 5711.144
AT ITER 2159 NEW BEST:: SOT 78608 SOS 39152 HAS SOPS 39152 HAS SOUS 5668 HAS SOUPS 5668 WITH SCORE 5707.152
AT ITER 2193 NEW BEST:: SOT 78558 SOS 39052 HAS SOPS 39052 HAS SOUS 5666 HAS SOUPS 5666 WITH SCORE 5705.052
AT ITER 2260 NEW BEST:: SOT 78552 SOS 38992 HAS SOPS 38992 HAS SOUS 5666 HAS SOUPS 5666 WITH SCORE 5704.992
AT ITER 2331 NEW BEST:: SOT 78590 SOS 39020 HAS SOPS 39020 HAS SOUS 5664 HAS SOUPS 5664 WITH SCORE 5703.02
AT ITER 2340 NEW BEST:: SOT 78498 SOS 38638 HAS SOPS 38638 HAS SOUS 5664 HAS SOUPS 5664 WITH SCORE 5702.638
AT ITER 2377 NEW BEST:: SOT 78504 SOS 38590 HAS SOPS 38590 HAS SOUS 5664 HAS SOUPS 5664 WITH SCORE 5702.59
AT ITER 2439 NEW BEST:: SOT 78494 SOS 38596 HAS SOPS 38596 HAS SOUS 5662 HAS SOUPS 5662 WITH SCORE 5700.596
AT ITER 2465 NEW BEST:: SOT 78498 SOS 38604 HAS SOPS 38604 HAS SOUS 5660 HAS SOUPS 5660 WITH SCORE 5698.604
AT ITER 2495 NEW BEST:: SOT 78492 SOS 38592 HAS SOPS 38592 HAS SOUS 5660 HAS SOUPS 5660 WITH SCORE 5698.592
AT ITER 2539 NEW BEST:: SOT 78468 SOS 38580 HAS SOPS 38580 HAS SOUS 5660 HAS SOUPS 5660 WITH SCORE 5698.58
AT ITER 2542 NEW BEST:: SOT 78456 SOS 38574 HAS SOPS 38574 HAS SOUS 5660 HAS SOUPS 5660 WITH SCORE 5698.574
AT ITER 2573 NEW BEST:: SOT 78432 SOS 38598 HAS SOPS 38598 HAS SOUS 5658 HAS SOUPS 5658 WITH SCORE 5696.598
AT ITER 2609 NEW BEST:: SOT 78432 SOS 38598 HAS SOPS 38598 HAS SOUS 5652 HAS SOUPS 5652 WITH SCORE 5690.598
AT ITER 2661 NEW BEST:: SOT 78432 SOS 38622 HAS SOPS 38622 HAS SOUS 5648 HAS SOUPS 5648 WITH SCORE 5686.622
AT ITER 2688 NEW BEST:: SOT 78440 SOS 38612 HAS SOPS 38612 HAS SOUS 5648 HAS SOUPS 5648 WITH SCORE 5686.612
AT ITER 2742 NEW BEST:: SOT 78438 SOS 38608 HAS SOPS 38608 HAS SOUS 5644 HAS SOUPS 5644 WITH SCORE 5682.608
AT ITER 2755 NEW BEST:: SOT 78430 SOS 38592 HAS SOPS 38592 HAS SOUS 5644 HAS SOUPS 5644 WITH SCORE 5682.592
AT ITER 2774 NEW BEST:: SOT 78512 SOS 38516 HAS SOPS 38516 HAS SOUS 5644 HAS SOUPS 5644 WITH SCORE 5682.516
AT ITER 2775 NEW BEST:: SOT 78510 SOS 38486 HAS SOPS 38486 HAS SOUS 5644 HAS SOUPS 5644 WITH SCORE 5682.486
AT ITER 2826 NEW BEST:: SOT 78468 SOS 38582 HAS SOPS 38582 HAS SOUS 5642 HAS SOUPS 5642 WITH SCORE 5680.582
AT ITER 2830 NEW BEST:: SOT 78382 SOS 38542 HAS SOPS 38542 HAS SOUS 5632 HAS SOUPS 5632 WITH SCORE 5670.542
AT ITER 2891 NEW BEST:: SOT 78354 SOS 38838 HAS SOPS 38838 HAS SOUS 5630 HAS SOUPS 5630 WITH SCORE 5668.838
AT ITER 2941 NEW BEST:: SOT 78354 SOS 38766 HAS SOPS 38766 HAS SOUS 5630 HAS SOUPS 5630 WITH SCORE 5668.766
AT ITER 2969 NEW BEST:: SOT 78396 SOS 38746 HAS SOPS 38746 HAS SOUS 5628 HAS SOUPS 5628 WITH SCORE 5666.746
AT ITER 3036 NEW BEST:: SOT 78394 SOS 38742 HAS SOPS 38742 HAS SOUS 5628 HAS SOUPS 5628 WITH SCORE 5666.742
AT ITER 3046 NEW BEST:: SOT 78522 SOS 38818 HAS SOPS 38818 HAS SOUS 5622 HAS SOUPS 5622 WITH SCORE 5660.818
AT ITER 3053 NEW BEST:: SOT 78500 SOS 39390 HAS SOPS 39390 HAS SOUS 5620 HAS SOUPS 5620 WITH SCORE 5659.39
AT ITER 3065 NEW BEST:: SOT 78532 SOS 39376 HAS SOPS 39376 HAS SOUS 5620 HAS SOUPS 5620 WITH SCORE 5659.376
AT ITER 3199 NEW BEST:: SOT 78532 SOS 39376 HAS SOPS 39376 HAS SOUS 5618 HAS SOUPS 5618 WITH SCORE 5657.376
AT ITER 3201 NEW BEST:: SOT 78530 SOS 39342 HAS SOPS 39342 HAS SOUS 5618 HAS SOUPS 5618 WITH SCORE 5657.342
AT ITER 3234 NEW BEST:: SOT 78540 SOS 39338 HAS SOPS 39338 HAS SOUS 5618 HAS SOUPS 5618 WITH SCORE 5657.338
AT ITER 3246 NEW BEST:: SOT 78528 SOS 39332 HAS SOPS 39332 HAS SOUS 5616 HAS SOUPS 5616 WITH SCORE 5655.332
AT ITER 3265 NEW BEST:: SOT 78504 SOS 39308 HAS SOPS 39308 HAS SOUS 5590 HAS SOUPS 5590 WITH SCORE 5629.308
AT ITER 3275 NEW BEST:: SOT 78522 SOS 39136 HAS SOPS 39136 HAS SOUS 5590 HAS SOUPS 5590 WITH SCORE 5629.136
AT ITER 3362 NEW BEST:: SOT 78550 SOS 39192 HAS SOPS 39192 HAS SOUS 5588 HAS SOUPS 5588 WITH SCORE 5627.192
AT ITER 3385 NEW BEST:: SOT 78550 SOS 39162 HAS SOPS 39162 HAS SOUS 5588 HAS SOUPS 5588 WITH SCORE 5627.162
AT ITER 3397 NEW BEST:: SOT 78524 SOS 39110 HAS SOPS 39110 HAS SOUS 5588 HAS SOUPS 5588 WITH SCORE 5627.11
AT ITER 3461 NEW BEST:: SOT 78522 SOS 39106 HAS SOPS 39106 HAS SOUS 5582 HAS SOUPS 5582 WITH SCORE 5621.106
AT ITER 3496 NEW BEST:: SOT 78516 SOS 39094 HAS SOPS 39094 HAS SOUS 5582 HAS SOUPS 5582 WITH SCORE 5621.094
AT ITER 3521 NEW BEST:: SOT 78492 SOS 39100 HAS SOPS 39100 HAS SOUS 5576 HAS SOUPS 5576 WITH SCORE 5615.1
AT ITER 3551 NEW BEST:: SOT 78480 SOS 39088 HAS SOPS 39088 HAS SOUS 5564 HAS SOUPS 5564 WITH SCORE 5603.088
AT ITER 3601 NEW BEST:: SOT 78422 SOS 39152 HAS SOPS 39152 HAS SOUS 5560 HAS SOUPS 5560 WITH SCORE 5599.152
AT ITER 3621 NEW BEST:: SOT 78420 SOS 39148 HAS SOPS 39148 HAS SOUS 5560 HAS SOUPS 5560 WITH SCORE 5599.148
AT ITER 3625 NEW BEST:: SOT 78418 SOS 39084 HAS SOPS 39084 HAS SOUS 5560 HAS SOUPS 5560 WITH SCORE 5599.084
AT ITER 3654 NEW BEST:: SOT 78444 SOS 39316 HAS SOPS 39316 HAS SOUS 5558 HAS SOUPS 5558 WITH SCORE 5597.316
AT ITER 3675 NEW BEST:: SOT 78442 SOS 39300 HAS SOPS 39300 HAS SOUS 5556 HAS SOUPS 5556 WITH SCORE 5595.3
AT ITER 3754 NEW BEST:: SOT 78430 SOS 39294 HAS SOPS 39294 HAS SOUS 5556 HAS SOUPS 5556 WITH SCORE 5595.294
AT ITER 3756 NEW BEST:: SOT 78420 SOS 39298 HAS SOPS 39298 HAS SOUS 5554 HAS SOUPS 5554 WITH SCORE 5593.298
AT ITER 3762 NEW BEST:: SOT 78414 SOS 39286 HAS SOPS 39286 HAS SOUS 5554 HAS SOUPS 5554 WITH SCORE 5593.286
AT ITER 3770 NEW BEST:: SOT 78420 SOS 39268 HAS SOPS 39268 HAS SOUS 5552 HAS SOUPS 5552 WITH SCORE 5591.268
AT ITER 3801 NEW BEST:: SOT 78416 SOS 39260 HAS SOPS 39260 HAS SOUS 5550 HAS SOUPS 5550 WITH SCORE 5589.26
AT ITER 3823 NEW BEST:: SOT 78416 SOS 39234 HAS SOPS 39234 HAS SOUS 5550 HAS SOUPS 5550 WITH SCORE 5589.234
AT ITER 3865 NEW BEST:: SOT 78416 SOS 39182 HAS SOPS 39182 HAS SOUS 5550 HAS SOUPS 5550 WITH SCORE 5589.182
AT ITER 3870 NEW BEST:: SOT 78394 SOS 39162 HAS SOPS 39162 HAS SOUS 5540 HAS SOUPS 5540 WITH SCORE 5579.162
AT ITER 3898 NEW BEST:: SOT 78468 SOS 39154 HAS SOPS 39154 HAS SOUS 5540 HAS SOUPS 5540 WITH SCORE 5579.154
AT ITER 4006 NEW BEST:: SOT 78462 SOS 39124 HAS SOPS 39124 HAS SOUS 5540 HAS SOUPS 5540 WITH SCORE 5579.124
AT ITER 4098 NEW BEST:: SOT 78460 SOS 39120 HAS SOPS 39120 HAS SOUS 5540 HAS SOUPS 5540 WITH SCORE 5579.12
AT ITER 4189 NEW BEST:: SOT 78458 SOS 39086 HAS SOPS 39086 HAS SOUS 5538 HAS SOUPS 5538 WITH SCORE 5577.086
AT ITER 4234 NEW BEST:: SOT 78454 SOS 39078 HAS SOPS 39078 HAS SOUS 5538 HAS SOUPS 5538 WITH SCORE 5577.078
AT ITER 4280 NEW BEST:: SOT 78436 SOS 39042 HAS SOPS 39042 HAS SOUS 5538 HAS SOUPS 5538 WITH SCORE 5577.042
AT ITER 4399 NEW BEST:: SOT 78434 SOS 39038 HAS SOPS 39038 HAS SOUS 5538 HAS SOUPS 5538 WITH SCORE 5577.038
AT ITER 4457 NEW BEST:: SOT 78422 SOS 39032 HAS SOPS 39032 HAS SOUS 5538 HAS SOUPS 5538 WITH SCORE 5577.032
AT ITER 4459 NEW BEST:: SOT 78450 SOS 39016 HAS SOPS 39016 HAS SOUS 5536 HAS SOUPS 5536 WITH SCORE 5575.016
AT ITER 4472 NEW BEST:: SOT 78448 SOS 39012 HAS SOPS 39012 HAS SOUS 5536 HAS SOUPS 5536 WITH SCORE 5575.012
AT ITER 4634 NEW BEST:: SOT 78474 SOS 38974 HAS SOPS 38974 HAS SOUS 5536 HAS SOUPS 5536 WITH SCORE 5574.974
AT ITER 4736 NEW BEST:: SOT 78422 SOS 39134 HAS SOPS 39134 HAS SOUS 5534 HAS SOUPS 5534 WITH SCORE 5573.134
AT ITER 4790 NEW BEST:: SOT 78412 SOS 39138 HAS SOPS 39138 HAS SOUS 5528 HAS SOUPS 5528 WITH SCORE 5567.138
AT ITER 4843 NEW BEST:: SOT 78410 SOS 39190 HAS SOPS 39190 HAS SOUS 5526 HAS SOUPS 5526 WITH SCORE 5565.19
AT ITER 4952 NEW BEST:: SOT 78406 SOS 39182 HAS SOPS 39182 HAS SOUS 5526 HAS SOUPS 5526 WITH SCORE 5565.182
AT ITER 4966 NEW BEST:: SOT 78392 SOS 39178 HAS SOPS 39178 HAS SOUS 5520 HAS SOUPS 5520 WITH SCORE 5559.178
AT ITER 4994 NEW BEST:: SOT 78406 SOS 39154 HAS SOPS 39154 HAS SOUS 5520 HAS SOUPS 5520 WITH SCORE 5559.154
AT ITER 5178 NEW BEST:: SOT 78418 SOS 39066 HAS SOPS 39066 HAS SOUS 5516 HAS SOUPS 5516 WITH SCORE 5555.066
AT ITER 5228 NEW BEST:: SOT 78414 SOS 39058 HAS SOPS 39058 HAS SOUS 5516 HAS SOUPS 5516 WITH SCORE 5555.058
AT ITER 5283 NEW BEST:: SOT 78406 SOS 39042 HAS SOPS 39042 HAS SOUS 5516 HAS SOUPS 5516 WITH SCORE 5555.042
AT ITER 5296 NEW BEST:: SOT 78406 SOS 39042 HAS SOPS 39042 HAS SOUS 5514 HAS SOUPS 5514 WITH SCORE 5553.042
AT ITER 5310 NEW BEST:: SOT 78394 SOS 39070 HAS SOPS 39070 HAS SOUS 5512 HAS SOUPS 5512 WITH SCORE 5551.07
AT ITER 5438 NEW BEST:: SOT 78392 SOS 39066 HAS SOPS 39066 HAS SOUS 5512 HAS SOUPS 5512 WITH SCORE 5551.066
AT ITER 5821 NEW BEST:: SOT 78392 SOS 39066 HAS SOPS 39066 HAS SOUS 5506 HAS SOUPS 5506 WITH SCORE 5545.066
AT ITER 5903 NEW BEST:: SOT 78424 SOS 39052 HAS SOPS 39052 HAS SOUS 5506 HAS SOUPS 5506 WITH SCORE 5545.052
AT ITER 5923 NEW BEST:: SOT 78420 SOS 39044 HAS SOPS 39044 HAS SOUS 5506 HAS SOUPS 5506 WITH SCORE 5545.044
AT ITER 6025 NEW BEST:: SOT 78414 SOS 39002 HAS SOPS 39002 HAS SOUS 5506 HAS SOUPS 5506 WITH SCORE 5545.002
AT ITER 6115 NEW BEST:: SOT 78368 SOS 38970 HAS SOPS 38970 HAS SOUS 5504 HAS SOUPS 5504 WITH SCORE 5542.97
AT ITER 6219 NEW BEST:: SOT 78366 SOS 38966 HAS SOPS 38966 HAS SOUS 5504 HAS SOUPS 5504 WITH SCORE 5542.966
AT ITER 6442 NEW BEST:: SOT 78358 SOS 38950 HAS SOPS 38950 HAS SOUS 5504 HAS SOUPS 5504 WITH SCORE 5542.95
AT ITER 6486 NEW BEST:: SOT 78358 SOS 38890 HAS SOPS 38890 HAS SOUS 5504 HAS SOUPS 5504 WITH SCORE 5542.89
AT ITER 6546 NEW BEST:: SOT 78356 SOS 38886 HAS SOPS 38886 HAS SOUS 5492 HAS SOUPS 5492 WITH SCORE 5530.886
AT ITER 6786 NEW BEST:: SOT 78350 SOS 38874 HAS SOPS 38874 HAS SOUS 5492 HAS SOUPS 5492 WITH SCORE 5530.874
AT ITER 6823 NEW BEST:: SOT 78348 SOS 38888 HAS SOPS 38888 HAS SOUS 5490 HAS SOUPS 5490 WITH SCORE 5528.888
AT ITER 6880 NEW BEST:: SOT 78338 SOS 38868 HAS SOPS 38868 HAS SOUS 5488 HAS SOUPS 5488 WITH SCORE 5526.868
AT ITER 6988 NEW BEST:: SOT 78336 SOS 38864 HAS SOPS 38864 HAS SOUS 5488 HAS SOUPS 5488 WITH SCORE 5526.864
AT ITER 7060 NEW BEST:: SOT 78308 SOS 38844 HAS SOPS 38844 HAS SOUS 5488 HAS SOUPS 5488 WITH SCORE 5526.844
AT ITER 7106 NEW BEST:: SOT 78316 SOS 38842 HAS SOPS 38842 HAS SOUS 5488 HAS SOUPS 5488 WITH SCORE 5526.842
AT ITER 7374 NEW BEST:: SOT 78278 SOS 38814 HAS SOPS 38814 HAS SOUS 5482 HAS SOUPS 5482 WITH SCORE 5520.814
AT ITER 7394 NEW BEST:: SOT 78282 SOS 38792 HAS SOPS 38792 HAS SOUS 5482 HAS SOUPS 5482 WITH SCORE 5520.792
AT ITER 7660 NEW BEST:: SOT 78284 SOS 38770 HAS SOPS 38770 HAS SOUS 5482 HAS SOUPS 5482 WITH SCORE 5520.77
AT ITER 7664 NEW BEST:: SOT 78280 SOS 38762 HAS SOPS 38762 HAS SOUS 5482 HAS SOUPS 5482 WITH SCORE 5520.762
AT ITER 7749 NEW BEST:: SOT 78264 SOS 39402 HAS SOPS 39402 HAS SOUS 5480 HAS SOUPS 5480 WITH SCORE 5519.402
AT ITER 8024 NEW BEST:: SOT 78296 SOS 39466 HAS SOPS 39466 HAS SOUS 5478 HAS SOUPS 5478 WITH SCORE 5517.466
AT ITER 8183 NEW BEST:: SOT 78296 SOS 39414 HAS SOPS 39414 HAS SOUS 5478 HAS SOUPS 5478 WITH SCORE 5517.414
AT ITER 8267 NEW BEST:: SOT 78290 SOS 39402 HAS SOPS 39402 HAS SOUS 5478 HAS SOUPS 5478 WITH SCORE 5517.402
AT ITER 8311 NEW BEST:: SOT 78296 SOS 39388 HAS SOPS 39388 HAS SOUS 5478 HAS SOUPS 5478 WITH SCORE 5517.388
AT ITER 8325 NEW BEST:: SOT 78294 SOS 39384 HAS SOPS 39384 HAS SOUS 5478 HAS SOUPS 5478 WITH SCORE 5517.384
AT ITER 8373 NEW BEST:: SOT 78288 SOS 39372 HAS SOPS 39372 HAS SOUS 5478 HAS SOUPS 5478 WITH SCORE 5517.372
AT ITER 8415 NEW BEST:: SOT 78276 SOS 39360 HAS SOPS 39360 HAS SOUS 5464 HAS SOUPS 5464 WITH SCORE 5503.36
AT ITER 8454 NEW BEST:: SOT 78274 SOS 39356 HAS SOPS 39356 HAS SOUS 5464 HAS SOUPS 5464 WITH SCORE 5503.356
AT ITER 8832 NEW BEST:: SOT 78278 SOS 39260 HAS SOPS 39260 HAS SOUS 5464 HAS SOUPS 5464 WITH SCORE 5503.26
AT ITER 8878 NEW BEST:: SOT 78276 SOS 39256 HAS SOPS 39256 HAS SOUS 5464 HAS SOUPS 5464 WITH SCORE 5503.256
AT ITER 9114 NEW BEST:: SOT 78272 SOS 39248 HAS SOPS 39248 HAS SOUS 5464 HAS SOUPS 5464 WITH SCORE 5503.248
AT ITER 9179 NEW BEST:: SOT 78264 SOS 39232 HAS SOPS 39232 HAS SOUS 5464 HAS SOUPS 5464 WITH SCORE 5503.232

BK_STOP 1678679113016

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 369 Killed ${SMART}/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="NeighborGrid-PT-d4n3m2c23"
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 NeighborGrid-PT-d4n3m2c23, 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-167863534100104"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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