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.r227-tall-167856410100176.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 JoinFreeModules-PT-0020, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r227-tall-167856410100176
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 532K
-rw-r--r-- 1 mcc users 6.5K Feb 25 11:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 25 11:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 25 11:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 25 11:54 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:18 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:18 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:18 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:18 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 11:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 118K Feb 25 11:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 11:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 94K Feb 25 11:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:18 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 61K Mar 5 18:22 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 1678605198197

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=JoinFreeModules-PT-0020
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running JoinFreeModules (PT), instance 0020
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: 101 places, 161 transitions, 462 arcs.
AT ITER 0 NEW BEST:: SOT 11381 SOS 7781 HAS SOPS 7760 HAS SOUS 7781 HAS SOUPS 7760 WITH SCORE 7767.781
AT ITER 1 NEW BEST:: SOT 11359 SOS 7760 HAS SOPS 7738 HAS SOUS 7760 HAS SOUPS 7738 WITH SCORE 7745.76
AT ITER 3 NEW BEST:: SOT 11392 SOS 7717 HAS SOPS 7695 HAS SOUS 7686 HAS SOUPS 7664 WITH SCORE 7671.717
AT ITER 4 NEW BEST:: SOT 11379 SOS 7640 HAS SOPS 7618 HAS SOUS 7597 HAS SOUPS 7575 WITH SCORE 7582.64
AT ITER 7 NEW BEST:: SOT 11365 SOS 7631 HAS SOPS 7532 HAS SOUS 7554 HAS SOUPS 7455 WITH SCORE 7462.631
AT ITER 8 NEW BEST:: SOT 11345 SOS 7576 HAS SOPS 7477 HAS SOUS 7499 HAS SOUPS 7400 WITH SCORE 7407.576
AT ITER 11 NEW BEST:: SOT 11338 SOS 7505 HAS SOPS 7406 HAS SOUS 7395 HAS SOUPS 7296 WITH SCORE 7303.505
AT ITER 14 NEW BEST:: SOT 11318 SOS 7485 HAS SOPS 7386 HAS SOUS 7375 HAS SOUPS 7276 WITH SCORE 7283.485
AT ITER 15 NEW BEST:: SOT 11304 SOS 7471 HAS SOPS 7372 HAS SOUS 7361 HAS SOUPS 7262 WITH SCORE 7269.471
AT ITER 20 NEW BEST:: SOT 11241 SOS 7408 HAS SOPS 7309 HAS SOUS 7277 HAS SOUPS 7178 WITH SCORE 7185.408
AT ITER 23 NEW BEST:: SOT 11231 SOS 7398 HAS SOPS 7299 HAS SOUS 7267 HAS SOUPS 7168 WITH SCORE 7175.398
AT ITER 24 NEW BEST:: SOT 11189 SOS 7356 HAS SOPS 7257 HAS SOUS 7225 HAS SOUPS 7126 WITH SCORE 7133.356
AT ITER 25 NEW BEST:: SOT 11027 SOS 7005 HAS SOPS 6906 HAS SOUS 6907 HAS SOUPS 6808 WITH SCORE 6815.005
AT ITER 26 NEW BEST:: SOT 11017 SOS 6938 HAS SOPS 6839 HAS SOUS 6840 HAS SOUPS 6741 WITH SCORE 6747.938
AT ITER 30 NEW BEST:: SOT 10999 SOS 6844 HAS SOPS 6745 HAS SOUS 6742 HAS SOUPS 6643 WITH SCORE 6649.844
AT ITER 32 NEW BEST:: SOT 10992 SOS 6791 HAS SOPS 6692 HAS SOUS 6689 HAS SOUPS 6590 WITH SCORE 6596.791
AT ITER 33 NEW BEST:: SOT 11039 SOS 6768 HAS SOPS 6669 HAS SOUS 6627 HAS SOUPS 6528 WITH SCORE 6534.768
AT ITER 34 NEW BEST:: SOT 11036 SOS 6733 HAS SOPS 6634 HAS SOUS 6568 HAS SOUPS 6469 WITH SCORE 6475.733
AT ITER 37 NEW BEST:: SOT 11021 SOS 6648 HAS SOPS 6549 HAS SOUS 6473 HAS SOUPS 6374 WITH SCORE 6380.648
AT ITER 44 NEW BEST:: SOT 11035 SOS 6642 HAS SOPS 6543 HAS SOUS 6472 HAS SOUPS 6373 WITH SCORE 6379.642
AT ITER 45 NEW BEST:: SOT 10999 SOS 6558 HAS SOPS 6459 HAS SOUS 6388 HAS SOUPS 6289 WITH SCORE 6295.558
AT ITER 46 NEW BEST:: SOT 10999 SOS 6550 HAS SOPS 6451 HAS SOUS 6380 HAS SOUPS 6281 WITH SCORE 6287.55
AT ITER 47 NEW BEST:: SOT 11028 SOS 6471 HAS SOPS 6372 HAS SOUS 6323 HAS SOUPS 6224 WITH SCORE 6230.471
AT ITER 50 NEW BEST:: SOT 11020 SOS 6463 HAS SOPS 6364 HAS SOUS 6315 HAS SOUPS 6216 WITH SCORE 6222.463
AT ITER 51 NEW BEST:: SOT 10963 SOS 6249 HAS SOPS 6150 HAS SOUS 6056 HAS SOUPS 5957 WITH SCORE 5963.249
AT ITER 56 NEW BEST:: SOT 10930 SOS 6144 HAS SOPS 6045 HAS SOUS 5951 HAS SOUPS 5852 WITH SCORE 5858.144
AT ITER 58 NEW BEST:: SOT 10894 SOS 6090 HAS SOPS 5991 HAS SOUS 5897 HAS SOUPS 5798 WITH SCORE 5804.09
AT ITER 59 NEW BEST:: SOT 10877 SOS 6067 HAS SOPS 5968 HAS SOUS 5874 HAS SOUPS 5775 WITH SCORE 5781.067
AT ITER 62 NEW BEST:: SOT 10817 SOS 6002 HAS SOPS 5903 HAS SOUS 5801 HAS SOUPS 5702 WITH SCORE 5708.002
AT ITER 63 NEW BEST:: SOT 10753 SOS 5859 HAS SOPS 5760 HAS SOUS 5658 HAS SOUPS 5559 WITH SCORE 5564.859
AT ITER 66 NEW BEST:: SOT 10741 SOS 5792 HAS SOPS 5693 HAS SOUS 5622 HAS SOUPS 5523 WITH SCORE 5528.792
AT ITER 67 NEW BEST:: SOT 10772 SOS 5783 HAS SOPS 5684 HAS SOUS 5613 HAS SOUPS 5514 WITH SCORE 5519.783
AT ITER 70 NEW BEST:: SOT 10663 SOS 5510 HAS SOPS 5411 HAS SOUS 5378 HAS SOUPS 5279 WITH SCORE 5284.51
AT ITER 72 NEW BEST:: SOT 10682 SOS 5489 HAS SOPS 5390 HAS SOUS 5356 HAS SOUPS 5257 WITH SCORE 5262.489
AT ITER 83 NEW BEST:: SOT 10688 SOS 5463 HAS SOPS 5364 HAS SOUS 5330 HAS SOUPS 5231 WITH SCORE 5236.463
AT ITER 85 NEW BEST:: SOT 10674 SOS 5442 HAS SOPS 5343 HAS SOUS 5309 HAS SOUPS 5210 WITH SCORE 5215.442
AT ITER 87 NEW BEST:: SOT 10634 SOS 5422 HAS SOPS 5323 HAS SOUS 5289 HAS SOUPS 5190 WITH SCORE 5195.422
AT ITER 91 NEW BEST:: SOT 10690 SOS 5437 HAS SOPS 5338 HAS SOUS 5274 HAS SOUPS 5175 WITH SCORE 5180.437
AT ITER 93 NEW BEST:: SOT 10681 SOS 5425 HAS SOPS 5326 HAS SOUS 5272 HAS SOUPS 5173 WITH SCORE 5178.425
AT ITER 94 NEW BEST:: SOT 10677 SOS 5401 HAS SOPS 5302 HAS SOUS 5248 HAS SOUPS 5149 WITH SCORE 5154.401
AT ITER 95 NEW BEST:: SOT 10635 SOS 5344 HAS SOPS 5245 HAS SOUS 5191 HAS SOUPS 5092 WITH SCORE 5097.344
AT ITER 96 NEW BEST:: SOT 10635 SOS 5338 HAS SOPS 5239 HAS SOUS 5191 HAS SOUPS 5092 WITH SCORE 5097.338
AT ITER 104 NEW BEST:: SOT 10634 SOS 5337 HAS SOPS 5238 HAS SOUS 5190 HAS SOUPS 5091 WITH SCORE 5096.337
AT ITER 108 NEW BEST:: SOT 10634 SOS 5316 HAS SOPS 5217 HAS SOUS 5162 HAS SOUPS 5063 WITH SCORE 5068.316
AT ITER 110 NEW BEST:: SOT 10631 SOS 5304 HAS SOPS 5205 HAS SOUS 5153 HAS SOUPS 5054 WITH SCORE 5059.304
AT ITER 116 NEW BEST:: SOT 10592 SOS 5226 HAS SOPS 5127 HAS SOUS 5112 HAS SOUPS 5013 WITH SCORE 5018.226
AT ITER 119 NEW BEST:: SOT 10592 SOS 5220 HAS SOPS 5121 HAS SOUS 5106 HAS SOUPS 5007 WITH SCORE 5012.22
AT ITER 123 NEW BEST:: SOT 10593 SOS 5219 HAS SOPS 5120 HAS SOUS 5105 HAS SOUPS 5006 WITH SCORE 5011.219
AT ITER 131 NEW BEST:: SOT 10584 SOS 5177 HAS SOPS 5078 HAS SOUS 5063 HAS SOUPS 4964 WITH SCORE 4969.177
AT ITER 132 NEW BEST:: SOT 10581 SOS 5162 HAS SOPS 5063 HAS SOUS 5048 HAS SOUPS 4949 WITH SCORE 4954.162
AT ITER 136 NEW BEST:: SOT 10591 SOS 5163 HAS SOPS 5064 HAS SOUS 5000 HAS SOUPS 4901 WITH SCORE 4906.163
AT ITER 145 NEW BEST:: SOT 10600 SOS 5148 HAS SOPS 5049 HAS SOUS 4993 HAS SOUPS 4894 WITH SCORE 4899.148
AT ITER 146 NEW BEST:: SOT 10603 SOS 5121 HAS SOPS 5022 HAS SOUS 4966 HAS SOUPS 4867 WITH SCORE 4872.121
AT ITER 147 NEW BEST:: SOT 10539 SOS 4993 HAS SOPS 4894 HAS SOUS 4838 HAS SOUPS 4739 WITH SCORE 4743.993
AT ITER 148 NEW BEST:: SOT 10531 SOS 4985 HAS SOPS 4886 HAS SOUS 4830 HAS SOUPS 4731 WITH SCORE 4735.985
AT ITER 150 NEW BEST:: SOT 10535 SOS 4977 HAS SOPS 4878 HAS SOUS 4822 HAS SOUPS 4723 WITH SCORE 4727.977
AT ITER 152 NEW BEST:: SOT 10506 SOS 4885 HAS SOPS 4786 HAS SOUS 4730 HAS SOUPS 4631 WITH SCORE 4635.885
AT ITER 155 NEW BEST:: SOT 10465 SOS 4829 HAS SOPS 4730 HAS SOUS 4674 HAS SOUPS 4575 WITH SCORE 4579.829
AT ITER 159 NEW BEST:: SOT 10447 SOS 4799 HAS SOPS 4700 HAS SOUS 4641 HAS SOUPS 4542 WITH SCORE 4546.799
AT ITER 162 NEW BEST:: SOT 10397 SOS 4727 HAS SOPS 4628 HAS SOUS 4571 HAS SOUPS 4472 WITH SCORE 4476.727
AT ITER 164 NEW BEST:: SOT 10210 SOS 4449 HAS SOPS 4350 HAS SOUS 4254 HAS SOUPS 4155 WITH SCORE 4159.449
AT ITER 165 NEW BEST:: SOT 10160 SOS 4318 HAS SOPS 4219 HAS SOUS 4130 HAS SOUPS 4031 WITH SCORE 4035.318
AT ITER 170 NEW BEST:: SOT 10137 SOS 4262 HAS SOPS 4163 HAS SOUS 4092 HAS SOUPS 3993 WITH SCORE 3997.262
AT ITER 174 NEW BEST:: SOT 10121 SOS 4216 HAS SOPS 4117 HAS SOUS 4045 HAS SOUPS 3946 WITH SCORE 3950.216
AT ITER 178 NEW BEST:: SOT 10065 SOS 4145 HAS SOPS 4046 HAS SOUS 3993 HAS SOUPS 3894 WITH SCORE 3898.145
AT ITER 185 NEW BEST:: SOT 10062 SOS 4136 HAS SOPS 4037 HAS SOUS 3990 HAS SOUPS 3891 WITH SCORE 3895.136
AT ITER 186 NEW BEST:: SOT 10054 SOS 4105 HAS SOPS 4006 HAS SOUS 3952 HAS SOUPS 3853 WITH SCORE 3857.105
AT ITER 189 NEW BEST:: SOT 9992 SOS 3941 HAS SOPS 3842 HAS SOUS 3812 HAS SOUPS 3713 WITH SCORE 3716.941
AT ITER 191 NEW BEST:: SOT 9991 SOS 3939 HAS SOPS 3840 HAS SOUS 3810 HAS SOUPS 3711 WITH SCORE 3714.939
AT ITER 195 NEW BEST:: SOT 9991 SOS 3938 HAS SOPS 3839 HAS SOUS 3808 HAS SOUPS 3709 WITH SCORE 3712.938
AT ITER 202 NEW BEST:: SOT 9979 SOS 3914 HAS SOPS 3815 HAS SOUS 3790 HAS SOUPS 3691 WITH SCORE 3694.914
AT ITER 205 NEW BEST:: SOT 10025 SOS 3896 HAS SOPS 3797 HAS SOUS 3772 HAS SOUPS 3673 WITH SCORE 3676.896
AT ITER 218 NEW BEST:: SOT 9992 SOS 3852 HAS SOPS 3753 HAS SOUS 3728 HAS SOUPS 3629 WITH SCORE 3632.852
AT ITER 219 NEW BEST:: SOT 9933 SOS 3772 HAS SOPS 3673 HAS SOUS 3677 HAS SOUPS 3578 WITH SCORE 3581.772
AT ITER 232 NEW BEST:: SOT 9930 SOS 3760 HAS SOPS 3661 HAS SOUS 3668 HAS SOUPS 3569 WITH SCORE 3572.76
AT ITER 233 NEW BEST:: SOT 9915 SOS 3740 HAS SOPS 3641 HAS SOUS 3648 HAS SOUPS 3549 WITH SCORE 3552.74
AT ITER 236 NEW BEST:: SOT 9881 SOS 3672 HAS SOPS 3573 HAS SOUS 3580 HAS SOUPS 3481 WITH SCORE 3484.672
AT ITER 238 NEW BEST:: SOT 9917 SOS 3680 HAS SOPS 3581 HAS SOUS 3570 HAS SOUPS 3471 WITH SCORE 3474.68
AT ITER 242 NEW BEST:: SOT 9894 SOS 3657 HAS SOPS 3558 HAS SOUS 3547 HAS SOUPS 3448 WITH SCORE 3451.657
AT ITER 244 NEW BEST:: SOT 9886 SOS 3586 HAS SOPS 3487 HAS SOUS 3499 HAS SOUPS 3400 WITH SCORE 3403.586
AT ITER 249 NEW BEST:: SOT 9874 SOS 3530 HAS SOPS 3431 HAS SOUS 3443 HAS SOUPS 3344 WITH SCORE 3347.53
AT ITER 259 NEW BEST:: SOT 9889 SOS 3493 HAS SOPS 3394 HAS SOUS 3406 HAS SOUPS 3307 WITH SCORE 3310.493
AT ITER 271 NEW BEST:: SOT 9847 SOS 3351 HAS SOPS 3252 HAS SOUS 3271 HAS SOUPS 3172 WITH SCORE 3175.351
AT ITER 276 NEW BEST:: SOT 9839 SOS 3319 HAS SOPS 3220 HAS SOUS 3247 HAS SOUPS 3148 WITH SCORE 3151.319
AT ITER 283 NEW BEST:: SOT 9836 SOS 3316 HAS SOPS 3217 HAS SOUS 3244 HAS SOUPS 3145 WITH SCORE 3148.316
AT ITER 294 NEW BEST:: SOT 9824 SOS 3299 HAS SOPS 3200 HAS SOUS 3227 HAS SOUPS 3128 WITH SCORE 3131.299
AT ITER 299 NEW BEST:: SOT 9818 SOS 3292 HAS SOPS 3193 HAS SOUS 3221 HAS SOUPS 3122 WITH SCORE 3125.292
AT ITER 301 NEW BEST:: SOT 9816 SOS 3282 HAS SOPS 3183 HAS SOUS 3214 HAS SOUPS 3115 WITH SCORE 3118.282
AT ITER 302 NEW BEST:: SOT 9816 SOS 3278 HAS SOPS 3179 HAS SOUS 3210 HAS SOUPS 3111 WITH SCORE 3114.278
AT ITER 312 NEW BEST:: SOT 9780 SOS 3206 HAS SOPS 3107 HAS SOUS 3147 HAS SOUPS 3048 WITH SCORE 3051.206
AT ITER 317 NEW BEST:: SOT 9769 SOS 3162 HAS SOPS 3063 HAS SOUS 3114 HAS SOUPS 3015 WITH SCORE 3018.162
AT ITER 322 NEW BEST:: SOT 9733 SOS 3082 HAS SOPS 2983 HAS SOUS 3058 HAS SOUPS 2959 WITH SCORE 2962.082
AT ITER 323 NEW BEST:: SOT 9685 SOS 3018 HAS SOPS 2919 HAS SOUS 2994 HAS SOUPS 2895 WITH SCORE 2898.018
AT ITER 341 NEW BEST:: SOT 9673 SOS 3006 HAS SOPS 2907 HAS SOUS 2982 HAS SOUPS 2883 WITH SCORE 2886.006
AT ITER 364 NEW BEST:: SOT 9659 SOS 2979 HAS SOPS 2880 HAS SOUS 2955 HAS SOUPS 2856 WITH SCORE 2858.979
AT ITER 382 NEW BEST:: SOT 9657 SOS 2976 HAS SOPS 2877 HAS SOUS 2952 HAS SOUPS 2853 WITH SCORE 2855.976
AT ITER 387 NEW BEST:: SOT 9651 SOS 2968 HAS SOPS 2869 HAS SOUS 2944 HAS SOUPS 2845 WITH SCORE 2847.968
AT ITER 402 NEW BEST:: SOT 9630 SOS 2933 HAS SOPS 2834 HAS SOUS 2902 HAS SOUPS 2803 WITH SCORE 2805.933
AT ITER 408 NEW BEST:: SOT 9648 SOS 2944 HAS SOPS 2845 HAS SOUS 2900 HAS SOUPS 2801 WITH SCORE 2803.944
AT ITER 419 NEW BEST:: SOT 9636 SOS 2920 HAS SOPS 2821 HAS SOUS 2876 HAS SOUPS 2777 WITH SCORE 2779.92
AT ITER 426 NEW BEST:: SOT 9610 SOS 2855 HAS SOPS 2756 HAS SOUS 2824 HAS SOUPS 2725 WITH SCORE 2727.855
AT ITER 427 NEW BEST:: SOT 9608 SOS 2847 HAS SOPS 2748 HAS SOUS 2816 HAS SOUPS 2717 WITH SCORE 2719.847
AT ITER 440 NEW BEST:: SOT 9604 SOS 2839 HAS SOPS 2740 HAS SOUS 2808 HAS SOUPS 2709 WITH SCORE 2711.839
AT ITER 441 NEW BEST:: SOT 9587 SOS 2797 HAS SOPS 2698 HAS SOUS 2784 HAS SOUPS 2685 WITH SCORE 2687.797
AT ITER 445 NEW BEST:: SOT 9565 SOS 2763 HAS SOPS 2664 HAS SOUS 2752 HAS SOUPS 2653 WITH SCORE 2655.763
AT ITER 453 NEW BEST:: SOT 9562 SOS 2767 HAS SOPS 2668 HAS SOUS 2743 HAS SOUPS 2644 WITH SCORE 2646.767
AT ITER 491 NEW BEST:: SOT 9560 SOS 2765 HAS SOPS 2666 HAS SOUS 2741 HAS SOUPS 2642 WITH SCORE 2644.765
AT ITER 496 NEW BEST:: SOT 9540 SOS 2727 HAS SOPS 2628 HAS SOUS 2703 HAS SOUPS 2604 WITH SCORE 2606.727
AT ITER 502 NEW BEST:: SOT 9468 SOS 2647 HAS SOPS 2548 HAS SOUS 2623 HAS SOUPS 2524 WITH SCORE 2526.647
AT ITER 504 NEW BEST:: SOT 9415 SOS 2565 HAS SOPS 2466 HAS SOUS 2530 HAS SOUPS 2431 WITH SCORE 2433.565
AT ITER 510 NEW BEST:: SOT 9401 SOS 2533 HAS SOPS 2434 HAS SOUS 2479 HAS SOUPS 2380 WITH SCORE 2382.533
AT ITER 514 NEW BEST:: SOT 9311 SOS 2454 HAS SOPS 2355 HAS SOUS 2372 HAS SOUPS 2273 WITH SCORE 2275.454
AT ITER 574 NEW BEST:: SOT 9302 SOS 2445 HAS SOPS 2346 HAS SOUS 2363 HAS SOUPS 2264 WITH SCORE 2266.445
AT ITER 575 NEW BEST:: SOT 9292 SOS 2427 HAS SOPS 2328 HAS SOUS 2343 HAS SOUPS 2244 WITH SCORE 2246.427
AT ITER 590 NEW BEST:: SOT 9284 SOS 2373 HAS SOPS 2274 HAS SOUS 2275 HAS SOUPS 2176 WITH SCORE 2178.373
AT ITER 594 NEW BEST:: SOT 9283 SOS 2371 HAS SOPS 2272 HAS SOUS 2273 HAS SOUPS 2174 WITH SCORE 2176.371
AT ITER 599 NEW BEST:: SOT 9255 SOS 2264 HAS SOPS 2165 HAS SOUS 2209 HAS SOUPS 2110 WITH SCORE 2112.264
AT ITER 603 NEW BEST:: SOT 9238 SOS 2214 HAS SOPS 2115 HAS SOUS 2159 HAS SOUPS 2060 WITH SCORE 2062.214
AT ITER 607 NEW BEST:: SOT 9238 SOS 2211 HAS SOPS 2112 HAS SOUS 2153 HAS SOUPS 2054 WITH SCORE 2056.211
AT ITER 613 NEW BEST:: SOT 9230 SOS 2199 HAS SOPS 2100 HAS SOUS 2141 HAS SOUPS 2042 WITH SCORE 2044.199
AT ITER 615 NEW BEST:: SOT 9230 SOS 2198 HAS SOPS 2099 HAS SOUS 2140 HAS SOUPS 2041 WITH SCORE 2043.198
AT ITER 641 NEW BEST:: SOT 9204 SOS 2158 HAS SOPS 2059 HAS SOUS 2103 HAS SOUPS 2004 WITH SCORE 2006.158
AT ITER 648 NEW BEST:: SOT 9118 SOS 2057 HAS SOPS 1958 HAS SOUS 2002 HAS SOUPS 1903 WITH SCORE 1905.057
AT ITER 670 NEW BEST:: SOT 9085 SOS 2021 HAS SOPS 1922 HAS SOUS 1982 HAS SOUPS 1883 WITH SCORE 1885.021
AT ITER 673 NEW BEST:: SOT 9081 SOS 2020 HAS SOPS 1921 HAS SOUS 1980 HAS SOUPS 1881 WITH SCORE 1883.02
AT ITER 684 NEW BEST:: SOT 9075 SOS 2007 HAS SOPS 1908 HAS SOUS 1967 HAS SOUPS 1868 WITH SCORE 1870.007
AT ITER 689 NEW BEST:: SOT 9048 SOS 1979 HAS SOPS 1880 HAS SOUS 1939 HAS SOUPS 1840 WITH SCORE 1841.979
AT ITER 694 NEW BEST:: SOT 9048 SOS 1978 HAS SOPS 1879 HAS SOUS 1938 HAS SOUPS 1839 WITH SCORE 1840.978
AT ITER 702 NEW BEST:: SOT 9044 SOS 1974 HAS SOPS 1875 HAS SOUS 1934 HAS SOUPS 1835 WITH SCORE 1836.974
AT ITER 705 NEW BEST:: SOT 9036 SOS 1968 HAS SOPS 1869 HAS SOUS 1928 HAS SOUPS 1829 WITH SCORE 1830.968
AT ITER 711 NEW BEST:: SOT 9014 SOS 1960 HAS SOPS 1861 HAS SOUS 1920 HAS SOUPS 1821 WITH SCORE 1822.96
AT ITER 729 NEW BEST:: SOT 9006 SOS 1949 HAS SOPS 1850 HAS SOUS 1901 HAS SOUPS 1802 WITH SCORE 1803.949
AT ITER 734 NEW BEST:: SOT 9002 SOS 1943 HAS SOPS 1844 HAS SOUS 1895 HAS SOUPS 1796 WITH SCORE 1797.943
AT ITER 735 NEW BEST:: SOT 8990 SOS 1922 HAS SOPS 1823 HAS SOUS 1874 HAS SOUPS 1775 WITH SCORE 1776.922
AT ITER 746 NEW BEST:: SOT 8995 SOS 1922 HAS SOPS 1823 HAS SOUS 1871 HAS SOUPS 1772 WITH SCORE 1773.922
AT ITER 751 NEW BEST:: SOT 8991 SOS 1902 HAS SOPS 1803 HAS SOUS 1851 HAS SOUPS 1752 WITH SCORE 1753.902
AT ITER 781 NEW BEST:: SOT 8993 SOS 1906 HAS SOPS 1807 HAS SOUS 1850 HAS SOUPS 1751 WITH SCORE 1752.906
AT ITER 789 NEW BEST:: SOT 8997 SOS 1904 HAS SOPS 1805 HAS SOUS 1848 HAS SOUPS 1749 WITH SCORE 1750.904
AT ITER 821 NEW BEST:: SOT 8979 SOS 1877 HAS SOPS 1778 HAS SOUS 1821 HAS SOUPS 1722 WITH SCORE 1723.877
AT ITER 859 NEW BEST:: SOT 8976 SOS 1862 HAS SOPS 1763 HAS SOUS 1806 HAS SOUPS 1707 WITH SCORE 1708.862
AT ITER 882 NEW BEST:: SOT 8970 SOS 1851 HAS SOPS 1752 HAS SOUS 1795 HAS SOUPS 1696 WITH SCORE 1697.851
AT ITER 886 NEW BEST:: SOT 8960 SOS 1831 HAS SOPS 1732 HAS SOUS 1775 HAS SOUPS 1676 WITH SCORE 1677.831
AT ITER 896 NEW BEST:: SOT 8929 SOS 1777 HAS SOPS 1678 HAS SOUS 1721 HAS SOUPS 1622 WITH SCORE 1623.777
AT ITER 901 NEW BEST:: SOT 8919 SOS 1751 HAS SOPS 1652 HAS SOUS 1695 HAS SOUPS 1596 WITH SCORE 1597.751
AT ITER 908 NEW BEST:: SOT 8918 SOS 1750 HAS SOPS 1651 HAS SOUS 1693 HAS SOUPS 1594 WITH SCORE 1595.75
AT ITER 918 NEW BEST:: SOT 8905 SOS 1723 HAS SOPS 1624 HAS SOUS 1665 HAS SOUPS 1566 WITH SCORE 1567.723
AT ITER 941 NEW BEST:: SOT 8900 SOS 1720 HAS SOPS 1621 HAS SOUS 1664 HAS SOUPS 1565 WITH SCORE 1566.72
AT ITER 949 NEW BEST:: SOT 8894 SOS 1714 HAS SOPS 1615 HAS SOUS 1658 HAS SOUPS 1559 WITH SCORE 1560.714
AT ITER 967 NEW BEST:: SOT 8893 SOS 1681 HAS SOPS 1582 HAS SOUS 1637 HAS SOUPS 1538 WITH SCORE 1539.681
AT ITER 1003 NEW BEST:: SOT 8889 SOS 1673 HAS SOPS 1574 HAS SOUS 1629 HAS SOUPS 1530 WITH SCORE 1531.673
AT ITER 1007 NEW BEST:: SOT 8880 SOS 1657 HAS SOPS 1558 HAS SOUS 1613 HAS SOUPS 1514 WITH SCORE 1515.657
AT ITER 1008 NEW BEST:: SOT 8876 SOS 1649 HAS SOPS 1550 HAS SOUS 1607 HAS SOUPS 1508 WITH SCORE 1509.649
AT ITER 1014 NEW BEST:: SOT 8877 SOS 1647 HAS SOPS 1548 HAS SOUS 1604 HAS SOUPS 1505 WITH SCORE 1506.647
AT ITER 1022 NEW BEST:: SOT 8878 SOS 1646 HAS SOPS 1547 HAS SOUS 1603 HAS SOUPS 1504 WITH SCORE 1505.646
AT ITER 1151 NEW BEST:: SOT 8858 SOS 1621 HAS SOPS 1522 HAS SOUS 1579 HAS SOUPS 1480 WITH SCORE 1481.621
AT ITER 1159 NEW BEST:: SOT 8854 SOS 1617 HAS SOPS 1518 HAS SOUS 1575 HAS SOUPS 1476 WITH SCORE 1477.617
AT ITER 1166 NEW BEST:: SOT 8854 SOS 1612 HAS SOPS 1513 HAS SOUS 1575 HAS SOUPS 1476 WITH SCORE 1477.612
AT ITER 1204 NEW BEST:: SOT 8845 SOS 1569 HAS SOPS 1470 HAS SOUS 1543 HAS SOUPS 1444 WITH SCORE 1445.569
AT ITER 1211 NEW BEST:: SOT 8824 SOS 1533 HAS SOPS 1434 HAS SOUS 1504 HAS SOUPS 1405 WITH SCORE 1406.533
AT ITER 1218 NEW BEST:: SOT 8814 SOS 1523 HAS SOPS 1424 HAS SOUS 1494 HAS SOUPS 1395 WITH SCORE 1396.523
AT ITER 1220 NEW BEST:: SOT 8810 SOS 1516 HAS SOPS 1417 HAS SOUS 1487 HAS SOUPS 1388 WITH SCORE 1389.516
AT ITER 1238 NEW BEST:: SOT 8798 SOS 1490 HAS SOPS 1391 HAS SOUS 1461 HAS SOUPS 1362 WITH SCORE 1363.49
AT ITER 1293 NEW BEST:: SOT 8790 SOS 1476 HAS SOPS 1377 HAS SOUS 1447 HAS SOUPS 1348 WITH SCORE 1349.476
AT ITER 1321 NEW BEST:: SOT 8801 SOS 1475 HAS SOPS 1376 HAS SOUS 1444 HAS SOUPS 1345 WITH SCORE 1346.475
AT ITER 1327 NEW BEST:: SOT 8805 SOS 1469 HAS SOPS 1371 HAS SOUS 1438 HAS SOUPS 1340 WITH SCORE 1341.469
AT ITER 1340 NEW BEST:: SOT 8797 SOS 1455 HAS SOPS 1357 HAS SOUS 1424 HAS SOUPS 1326 WITH SCORE 1327.455
AT ITER 1348 NEW BEST:: SOT 8786 SOS 1440 HAS SOPS 1342 HAS SOUS 1409 HAS SOUPS 1311 WITH SCORE 1312.44
AT ITER 1433 NEW BEST:: SOT 8785 SOS 1436 HAS SOPS 1338 HAS SOUS 1405 HAS SOUPS 1307 WITH SCORE 1308.436
AT ITER 1506 NEW BEST:: SOT 8784 SOS 1429 HAS SOPS 1335 HAS SOUS 1396 HAS SOUPS 1302 WITH SCORE 1303.429
AT ITER 1534 NEW BEST:: SOT 8784 SOS 1414 HAS SOPS 1320 HAS SOUS 1381 HAS SOUPS 1287 WITH SCORE 1288.414
AT ITER 1545 NEW BEST:: SOT 8780 SOS 1410 HAS SOPS 1316 HAS SOUS 1377 HAS SOUPS 1283 WITH SCORE 1284.41
AT ITER 1546 NEW BEST:: SOT 8778 SOS 1408 HAS SOPS 1314 HAS SOUS 1375 HAS SOUPS 1281 WITH SCORE 1282.408
AT ITER 1551 NEW BEST:: SOT 8774 SOS 1404 HAS SOPS 1310 HAS SOUS 1371 HAS SOUPS 1277 WITH SCORE 1278.404
AT ITER 1562 NEW BEST:: SOT 8771 SOS 1393 HAS SOPS 1299 HAS SOUS 1362 HAS SOUPS 1268 WITH SCORE 1269.393
AT ITER 1564 NEW BEST:: SOT 8749 SOS 1360 HAS SOPS 1266 HAS SOUS 1318 HAS SOUPS 1224 WITH SCORE 1225.36
AT ITER 1571 NEW BEST:: SOT 8742 SOS 1347 HAS SOPS 1253 HAS SOUS 1305 HAS SOUPS 1211 WITH SCORE 1212.347
AT ITER 1577 NEW BEST:: SOT 8742 SOS 1346 HAS SOPS 1252 HAS SOUS 1304 HAS SOUPS 1210 WITH SCORE 1211.346
AT ITER 1587 NEW BEST:: SOT 8721 SOS 1302 HAS SOPS 1208 HAS SOUS 1266 HAS SOUPS 1172 WITH SCORE 1173.302
AT ITER 1600 NEW BEST:: SOT 8730 SOS 1290 HAS SOPS 1196 HAS SOUS 1254 HAS SOUPS 1160 WITH SCORE 1161.29
AT ITER 1612 NEW BEST:: SOT 8726 SOS 1280 HAS SOPS 1186 HAS SOUS 1246 HAS SOUPS 1152 WITH SCORE 1153.28
AT ITER 1636 NEW BEST:: SOT 8725 SOS 1276 HAS SOPS 1182 HAS SOUS 1243 HAS SOUPS 1149 WITH SCORE 1150.276
AT ITER 1638 NEW BEST:: SOT 8725 SOS 1277 HAS SOPS 1183 HAS SOUS 1241 HAS SOUPS 1147 WITH SCORE 1148.277
AT ITER 1645 NEW BEST:: SOT 8725 SOS 1275 HAS SOPS 1181 HAS SOUS 1239 HAS SOUPS 1145 WITH SCORE 1146.275
AT ITER 1678 NEW BEST:: SOT 8723 SOS 1269 HAS SOPS 1175 HAS SOUS 1233 HAS SOUPS 1139 WITH SCORE 1140.269
AT ITER 1679 NEW BEST:: SOT 8721 SOS 1264 HAS SOPS 1170 HAS SOUS 1228 HAS SOUPS 1134 WITH SCORE 1135.264
AT ITER 1691 NEW BEST:: SOT 8719 SOS 1260 HAS SOPS 1166 HAS SOUS 1224 HAS SOUPS 1130 WITH SCORE 1131.26
AT ITER 1709 NEW BEST:: SOT 8719 SOS 1246 HAS SOPS 1152 HAS SOUS 1210 HAS SOUPS 1116 WITH SCORE 1117.246
AT ITER 1745 NEW BEST:: SOT 8707 SOS 1225 HAS SOPS 1131 HAS SOUS 1189 HAS SOUPS 1095 WITH SCORE 1096.225
AT ITER 1785 NEW BEST:: SOT 8713 SOS 1221 HAS SOPS 1127 HAS SOUS 1188 HAS SOUPS 1094 WITH SCORE 1095.221
AT ITER 1789 NEW BEST:: SOT 8717 SOS 1217 HAS SOPS 1123 HAS SOUS 1184 HAS SOUPS 1090 WITH SCORE 1091.217
AT ITER 1808 NEW BEST:: SOT 8713 SOS 1207 HAS SOPS 1113 HAS SOUS 1174 HAS SOUPS 1080 WITH SCORE 1081.207
AT ITER 1848 NEW BEST:: SOT 8705 SOS 1199 HAS SOPS 1105 HAS SOUS 1166 HAS SOUPS 1072 WITH SCORE 1073.199
AT ITER 1891 NEW BEST:: SOT 8704 SOS 1197 HAS SOPS 1103 HAS SOUS 1164 HAS SOUPS 1070 WITH SCORE 1071.197
AT ITER 1917 NEW BEST:: SOT 8701 SOS 1193 HAS SOPS 1099 HAS SOUS 1160 HAS SOUPS 1066 WITH SCORE 1067.193
AT ITER 1944 NEW BEST:: SOT 8670 SOS 1137 HAS SOPS 1043 HAS SOUS 1111 HAS SOUPS 1017 WITH SCORE 1018.137
AT ITER 1953 NEW BEST:: SOT 8669 SOS 1132 HAS SOPS 1038 HAS SOUS 1106 HAS SOUPS 1012 WITH SCORE 1013.132
AT ITER 1988 NEW BEST:: SOT 8667 SOS 1128 HAS SOPS 1034 HAS SOUS 1102 HAS SOUPS 1008 WITH SCORE 1009.128
AT ITER 1995 NEW BEST:: SOT 8667 SOS 1127 HAS SOPS 1033 HAS SOUS 1101 HAS SOUPS 1007 WITH SCORE 1008.127
AT ITER 1999 NEW BEST:: SOT 8667 SOS 1127 HAS SOPS 1033 HAS SOUS 1097 HAS SOUPS 1003 WITH SCORE 1004.127
AT ITER 2029 NEW BEST:: SOT 8661 SOS 1124 HAS SOPS 1030 HAS SOUS 1094 HAS SOUPS 1000 WITH SCORE 1001.124
AT ITER 2033 NEW BEST:: SOT 8639 SOS 1107 HAS SOPS 1013 HAS SOUS 1077 HAS SOUPS 983 WITH SCORE 984.107
AT ITER 2046 NEW BEST:: SOT 8631 SOS 1092 HAS SOPS 998 HAS SOUS 1062 HAS SOUPS 968 WITH SCORE 969.092
AT ITER 2051 NEW BEST:: SOT 8626 SOS 1086 HAS SOPS 992 HAS SOUS 1056 HAS SOUPS 962 WITH SCORE 963.086
AT ITER 2062 NEW BEST:: SOT 8619 SOS 1074 HAS SOPS 980 HAS SOUS 1047 HAS SOUPS 953 WITH SCORE 954.074
AT ITER 2065 NEW BEST:: SOT 8617 SOS 1070 HAS SOPS 976 HAS SOUS 1043 HAS SOUPS 949 WITH SCORE 950.07
AT ITER 2098 NEW BEST:: SOT 8611 SOS 1063 HAS SOPS 969 HAS SOUS 1036 HAS SOUPS 942 WITH SCORE 943.063
AT ITER 2191 NEW BEST:: SOT 8611 SOS 1063 HAS SOPS 969 HAS SOUS 1035 HAS SOUPS 941 WITH SCORE 942.063
AT ITER 2197 NEW BEST:: SOT 8608 SOS 1062 HAS SOPS 968 HAS SOUS 1034 HAS SOUPS 940 WITH SCORE 941.062
AT ITER 2235 NEW BEST:: SOT 8605 SOS 1049 HAS SOPS 955 HAS SOUS 1025 HAS SOUPS 931 WITH SCORE 932.049
AT ITER 2285 NEW BEST:: SOT 8604 SOS 1048 HAS SOPS 954 HAS SOUS 1024 HAS SOUPS 930 WITH SCORE 931.048
AT ITER 2292 NEW BEST:: SOT 8592 SOS 1030 HAS SOPS 936 HAS SOUS 1005 HAS SOUPS 911 WITH SCORE 912.03
AT ITER 2384 NEW BEST:: SOT 8591 SOS 1029 HAS SOPS 935 HAS SOUS 1004 HAS SOUPS 910 WITH SCORE 911.029
AT ITER 2392 NEW BEST:: SOT 8588 SOS 1022 HAS SOPS 928 HAS SOUS 1001 HAS SOUPS 907 WITH SCORE 908.022
AT ITER 2434 NEW BEST:: SOT 8584 SOS 1027 HAS SOPS 933 HAS SOUS 1000 HAS SOUPS 906 WITH SCORE 907.027
AT ITER 2443 NEW BEST:: SOT 8577 SOS 1019 HAS SOPS 925 HAS SOUS 991 HAS SOUPS 897 WITH SCORE 898.019
AT ITER 2482 NEW BEST:: SOT 8575 SOS 1016 HAS SOPS 922 HAS SOUS 988 HAS SOUPS 894 WITH SCORE 895.016
AT ITER 2535 NEW BEST:: SOT 8571 SOS 1012 HAS SOPS 918 HAS SOUS 984 HAS SOUPS 890 WITH SCORE 891.012
AT ITER 2541 NEW BEST:: SOT 8566 SOS 1003 HAS SOPS 909 HAS SOUS 975 HAS SOUPS 881 WITH SCORE 882.003
AT ITER 2611 NEW BEST:: SOT 8560 SOS 1000 HAS SOPS 906 HAS SOUS 972 HAS SOUPS 878 WITH SCORE 879.0
AT ITER 2698 NEW BEST:: SOT 8552 SOS 985 HAS SOPS 891 HAS SOUS 957 HAS SOUPS 863 WITH SCORE 863.985
AT ITER 2707 NEW BEST:: SOT 8551 SOS 983 HAS SOPS 889 HAS SOUS 955 HAS SOUPS 861 WITH SCORE 861.983
AT ITER 2787 NEW BEST:: SOT 8551 SOS 983 HAS SOPS 889 HAS SOUS 954 HAS SOUPS 860 WITH SCORE 860.983
AT ITER 2819 NEW BEST:: SOT 8535 SOS 943 HAS SOPS 849 HAS SOUS 921 HAS SOUPS 827 WITH SCORE 827.943
AT ITER 2862 NEW BEST:: SOT 8533 SOS 931 HAS SOPS 837 HAS SOUS 914 HAS SOUPS 820 WITH SCORE 820.931
AT ITER 2864 NEW BEST:: SOT 8526 SOS 914 HAS SOPS 820 HAS SOUS 897 HAS SOUPS 803 WITH SCORE 803.914
AT ITER 2950 NEW BEST:: SOT 8524 SOS 912 HAS SOPS 818 HAS SOUS 895 HAS SOUPS 801 WITH SCORE 801.912
AT ITER 3044 NEW BEST:: SOT 8523 SOS 912 HAS SOPS 818 HAS SOUS 893 HAS SOUPS 799 WITH SCORE 799.912
AT ITER 3199 NEW BEST:: SOT 8520 SOS 905 HAS SOPS 811 HAS SOUS 886 HAS SOUPS 792 WITH SCORE 792.905
AT ITER 3210 NEW BEST:: SOT 8520 SOS 904 HAS SOPS 810 HAS SOUS 885 HAS SOUPS 791 WITH SCORE 791.904
AT ITER 3343 NEW BEST:: SOT 8519 SOS 901 HAS SOPS 807 HAS SOUS 883 HAS SOUPS 789 WITH SCORE 789.901
AT ITER 3360 NEW BEST:: SOT 8520 SOS 897 HAS SOPS 803 HAS SOUS 879 HAS SOUPS 785 WITH SCORE 785.897
AT ITER 3393 NEW BEST:: SOT 8521 SOS 897 HAS SOPS 803 HAS SOUS 877 HAS SOUPS 783 WITH SCORE 783.897
AT ITER 3419 NEW BEST:: SOT 8520 SOS 892 HAS SOPS 798 HAS SOUS 872 HAS SOUPS 778 WITH SCORE 778.892
AT ITER 3451 NEW BEST:: SOT 8517 SOS 887 HAS SOPS 793 HAS SOUS 869 HAS SOUPS 775 WITH SCORE 775.887
AT ITER 3474 NEW BEST:: SOT 8509 SOS 871 HAS SOPS 777 HAS SOUS 856 HAS SOUPS 762 WITH SCORE 762.871
AT ITER 3475 NEW BEST:: SOT 8509 SOS 870 HAS SOPS 776 HAS SOUS 855 HAS SOUPS 761 WITH SCORE 761.87
AT ITER 3524 NEW BEST:: SOT 8505 SOS 864 HAS SOPS 770 HAS SOUS 849 HAS SOUPS 755 WITH SCORE 755.864
AT ITER 3531 NEW BEST:: SOT 8504 SOS 863 HAS SOPS 769 HAS SOUS 848 HAS SOUPS 754 WITH SCORE 754.863
AT ITER 3681 NEW BEST:: SOT 8504 SOS 863 HAS SOPS 769 HAS SOUS 847 HAS SOUPS 753 WITH SCORE 753.863
AT ITER 3917 NEW BEST:: SOT 8503 SOS 862 HAS SOPS 768 HAS SOUS 846 HAS SOUPS 752 WITH SCORE 752.862
AT ITER 3928 NEW BEST:: SOT 8504 SOS 861 HAS SOPS 767 HAS SOUS 845 HAS SOUPS 751 WITH SCORE 751.861
AT ITER 3949 NEW BEST:: SOT 8499 SOS 852 HAS SOPS 758 HAS SOUS 837 HAS SOUPS 743 WITH SCORE 743.852
AT ITER 4001 NEW BEST:: SOT 8489 SOS 847 HAS SOPS 753 HAS SOUS 832 HAS SOUPS 738 WITH SCORE 738.847
AT ITER 4058 NEW BEST:: SOT 8485 SOS 839 HAS SOPS 745 HAS SOUS 824 HAS SOUPS 730 WITH SCORE 730.839
AT ITER 4071 NEW BEST:: SOT 8478 SOS 827 HAS SOPS 733 HAS SOUS 813 HAS SOUPS 719 WITH SCORE 719.827
AT ITER 4093 NEW BEST:: SOT 8476 SOS 824 HAS SOPS 730 HAS SOUS 810 HAS SOUPS 716 WITH SCORE 716.824
AT ITER 4112 NEW BEST:: SOT 8477 SOS 822 HAS SOPS 728 HAS SOUS 808 HAS SOUPS 714 WITH SCORE 714.822
AT ITER 4130 NEW BEST:: SOT 8470 SOS 811 HAS SOPS 717 HAS SOUS 797 HAS SOUPS 703 WITH SCORE 703.811
AT ITER 4153 NEW BEST:: SOT 8469 SOS 809 HAS SOPS 715 HAS SOUS 795 HAS SOUPS 701 WITH SCORE 701.809
AT ITER 4161 NEW BEST:: SOT 8468 SOS 807 HAS SOPS 713 HAS SOUS 793 HAS SOUPS 699 WITH SCORE 699.807
AT ITER 4177 NEW BEST:: SOT 8466 SOS 803 HAS SOPS 709 HAS SOUS 790 HAS SOUPS 696 WITH SCORE 696.803
AT ITER 4316 NEW BEST:: SOT 8466 SOS 801 HAS SOPS 707 HAS SOUS 788 HAS SOUPS 694 WITH SCORE 694.801
AT ITER 4352 NEW BEST:: SOT 8464 SOS 796 HAS SOPS 702 HAS SOUS 785 HAS SOUPS 691 WITH SCORE 691.796
AT ITER 4418 NEW BEST:: SOT 8464 SOS 795 HAS SOPS 701 HAS SOUS 784 HAS SOUPS 690 WITH SCORE 690.795
AT ITER 4513 NEW BEST:: SOT 8462 SOS 794 HAS SOPS 700 HAS SOUS 783 HAS SOUPS 689 WITH SCORE 689.794
AT ITER 4562 NEW BEST:: SOT 8462 SOS 792 HAS SOPS 698 HAS SOUS 781 HAS SOUPS 687 WITH SCORE 687.792
AT ITER 4568 NEW BEST:: SOT 8462 SOS 791 HAS SOPS 697 HAS SOUS 780 HAS SOUPS 686 WITH SCORE 686.791
AT ITER 4585 NEW BEST:: SOT 8462 SOS 790 HAS SOPS 696 HAS SOUS 778 HAS SOUPS 684 WITH SCORE 684.79
AT ITER 4609 NEW BEST:: SOT 8462 SOS 789 HAS SOPS 695 HAS SOUS 777 HAS SOUPS 683 WITH SCORE 683.789
AT ITER 4823 NEW BEST:: SOT 8452 SOS 770 HAS SOPS 676 HAS SOUS 758 HAS SOUPS 664 WITH SCORE 664.77
AT ITER 4970 NEW BEST:: SOT 8443 SOS 753 HAS SOPS 659 HAS SOUS 741 HAS SOUPS 647 WITH SCORE 647.753
AT ITER 4981 NEW BEST:: SOT 8442 SOS 752 HAS SOPS 658 HAS SOUS 740 HAS SOUPS 646 WITH SCORE 646.752
AT ITER 5279 NEW BEST:: SOT 8440 SOS 749 HAS SOPS 655 HAS SOUS 737 HAS SOUPS 643 WITH SCORE 643.749
AT ITER 5376 NEW BEST:: SOT 8440 SOS 749 HAS SOPS 655 HAS SOUS 736 HAS SOUPS 642 WITH SCORE 642.749
AT ITER 5396 NEW BEST:: SOT 8430 SOS 731 HAS SOPS 637 HAS SOUS 718 HAS SOUPS 624 WITH SCORE 624.731
AT ITER 5700 NEW BEST:: SOT 8429 SOS 729 HAS SOPS 635 HAS SOUS 716 HAS SOUPS 622 WITH SCORE 622.729
AT ITER 5721 NEW BEST:: SOT 8425 SOS 723 HAS SOPS 629 HAS SOUS 710 HAS SOUPS 616 WITH SCORE 616.723
AT ITER 5832 NEW BEST:: SOT 8424 SOS 721 HAS SOPS 627 HAS SOUS 708 HAS SOUPS 614 WITH SCORE 614.721
AT ITER 5898 NEW BEST:: SOT 8417 SOS 718 HAS SOPS 624 HAS SOUS 705 HAS SOUPS 611 WITH SCORE 611.718
AT ITER 5926 NEW BEST:: SOT 8417 SOS 717 HAS SOPS 623 HAS SOUS 704 HAS SOUPS 610 WITH SCORE 610.717
AT ITER 6131 NEW BEST:: SOT 8415 SOS 714 HAS SOPS 620 HAS SOUS 701 HAS SOUPS 607 WITH SCORE 607.714
AT ITER 6159 NEW BEST:: SOT 8412 SOS 710 HAS SOPS 615 HAS SOUS 696 HAS SOUPS 601 WITH SCORE 601.71
AT ITER 6192 NEW BEST:: SOT 8409 SOS 703 HAS SOPS 608 HAS SOUS 689 HAS SOUPS 594 WITH SCORE 594.703
AT ITER 6282 NEW BEST:: SOT 8408 SOS 701 HAS SOPS 606 HAS SOUS 686 HAS SOUPS 591 WITH SCORE 591.701
AT ITER 6449 NEW BEST:: SOT 8405 SOS 697 HAS SOPS 602 HAS SOUS 682 HAS SOUPS 587 WITH SCORE 587.697
AT ITER 6523 NEW BEST:: SOT 8404 SOS 696 HAS SOPS 601 HAS SOUS 681 HAS SOUPS 586 WITH SCORE 586.696
AT ITER 6527 NEW BEST:: SOT 8398 SOS 682 HAS SOPS 587 HAS SOUS 669 HAS SOUPS 574 WITH SCORE 574.682
AT ITER 6873 NEW BEST:: SOT 8395 SOS 676 HAS SOPS 581 HAS SOUS 663 HAS SOUPS 568 WITH SCORE 568.676
AT ITER 7178 NEW BEST:: SOT 8395 SOS 675 HAS SOPS 580 HAS SOUS 662 HAS SOUPS 567 WITH SCORE 567.675
AT ITER 7211 NEW BEST:: SOT 8394 SOS 674 HAS SOPS 579 HAS SOUS 661 HAS SOUPS 566 WITH SCORE 566.674
AT ITER 7307 NEW BEST:: SOT 8393 SOS 672 HAS SOPS 577 HAS SOUS 658 HAS SOUPS 563 WITH SCORE 563.672
AT ITER 7610 NEW BEST:: SOT 8396 SOS 671 HAS SOPS 576 HAS SOUS 657 HAS SOUPS 562 WITH SCORE 562.671
AT ITER 7828 NEW BEST:: SOT 8396 SOS 670 HAS SOPS 575 HAS SOUS 656 HAS SOUPS 561 WITH SCORE 561.67
AT ITER 7939 NEW BEST:: SOT 8394 SOS 668 HAS SOPS 573 HAS SOUS 654 HAS SOUPS 559 WITH SCORE 559.668
AT ITER 8171 NEW BEST:: SOT 8392 SOS 666 HAS SOPS 571 HAS SOUS 652 HAS SOUPS 557 WITH SCORE 557.666
AT ITER 8323 NEW BEST:: SOT 8391 SOS 663 HAS SOPS 568 HAS SOUS 649 HAS SOUPS 554 WITH SCORE 554.663
AT ITER 8425 NEW BEST:: SOT 8393 SOS 660 HAS SOPS 565 HAS SOUS 648 HAS SOUPS 553 WITH SCORE 553.66
AT ITER 8568 NEW BEST:: SOT 8389 SOS 655 HAS SOPS 560 HAS SOUS 643 HAS SOUPS 548 WITH SCORE 548.655
AT ITER 9277 NEW BEST:: SOT 8385 SOS 648 HAS SOPS 552 HAS SOUS 637 HAS SOUPS 541 WITH SCORE 541.648
AT ITER 9363 NEW BEST:: SOT 8385 SOS 646 HAS SOPS 550 HAS SOUS 635 HAS SOUPS 539 WITH SCORE 539.646
AT ITER 9545 NEW BEST:: SOT 8381 SOS 639 HAS SOPS 543 HAS SOUS 628 HAS SOUPS 532 WITH SCORE 532.639
STATE_SPACE STATES 4112314037805169805654823914935357103497231013314554080586913400100000000000000000000 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 23 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 461 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 403688534998652118840824513413230998907682324869643880291829982098000000000003486784401 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678605207391

--------------------
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="JoinFreeModules-PT-0020"
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 JoinFreeModules-PT-0020, 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 r227-tall-167856410100176"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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