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.r195-smll-167840341900104.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 GPUForwardProgress-PT-28a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r195-smll-167840341900104
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 560K
-rw-r--r-- 1 mcc users 7.0K Feb 25 14:30 CTLCardinality.txt
-rw-r--r-- 1 mcc users 78K Feb 25 14:30 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 25 14:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 25 14:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:11 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:12 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:12 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Feb 25 14:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 202K Feb 25 14:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Feb 25 14:33 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 25 14:33 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:12 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:12 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 44K 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 1678451643487

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=GPUForwardProgress-PT-28a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running GPUForwardProgress (PT), instance 28a
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: 120 places, 149 transitions, 581 arcs.
AT ITER 0 NEW BEST:: SOT 11668 SOS 10072 HAS SOPS 10070 HAS SOUS 7522 HAS SOUPS 7521 WITH SCORE 7531.072
AT ITER 2 NEW BEST:: SOT 11700 SOS 10047 HAS SOPS 10045 HAS SOUS 7495 HAS SOUPS 7494 WITH SCORE 7504.047
AT ITER 3 NEW BEST:: SOT 11674 SOS 9982 HAS SOPS 9980 HAS SOUS 7456 HAS SOUPS 7455 WITH SCORE 7464.982
AT ITER 7 NEW BEST:: SOT 11714 SOS 9980 HAS SOPS 9978 HAS SOUS 7396 HAS SOUPS 7395 WITH SCORE 7404.98
AT ITER 8 NEW BEST:: SOT 11699 SOS 9965 HAS SOPS 9963 HAS SOUS 7381 HAS SOUPS 7380 WITH SCORE 7389.965
AT ITER 10 NEW BEST:: SOT 11727 SOS 9879 HAS SOPS 9877 HAS SOUS 7229 HAS SOUPS 7228 WITH SCORE 7237.879
AT ITER 13 NEW BEST:: SOT 11799 SOS 9951 HAS SOPS 9949 HAS SOUS 7220 HAS SOUPS 7219 WITH SCORE 7228.951
AT ITER 14 NEW BEST:: SOT 11849 SOS 9857 HAS SOPS 9855 HAS SOUS 7031 HAS SOUPS 7030 WITH SCORE 7039.857
AT ITER 17 NEW BEST:: SOT 11904 SOS 9777 HAS SOPS 9775 HAS SOUS 6891 HAS SOUPS 6890 WITH SCORE 6899.777
AT ITER 18 NEW BEST:: SOT 11904 SOS 9777 HAS SOPS 9775 HAS SOUS 6882 HAS SOUPS 6881 WITH SCORE 6890.777
AT ITER 19 NEW BEST:: SOT 11955 SOS 9828 HAS SOPS 9826 HAS SOUS 6827 HAS SOUPS 6826 WITH SCORE 6835.828
AT ITER 20 NEW BEST:: SOT 11907 SOS 9708 HAS SOPS 9706 HAS SOUS 6737 HAS SOUPS 6736 WITH SCORE 6745.708
AT ITER 21 NEW BEST:: SOT 11876 SOS 9677 HAS SOPS 9675 HAS SOUS 6706 HAS SOUPS 6705 WITH SCORE 6714.677
AT ITER 23 NEW BEST:: SOT 11870 SOS 9671 HAS SOPS 9669 HAS SOUS 6703 HAS SOUPS 6702 WITH SCORE 6711.671
AT ITER 24 NEW BEST:: SOT 11807 SOS 9635 HAS SOPS 9633 HAS SOUS 6700 HAS SOUPS 6699 WITH SCORE 6708.635
AT ITER 26 NEW BEST:: SOT 11735 SOS 9563 HAS SOPS 9561 HAS SOUS 6642 HAS SOUPS 6641 WITH SCORE 6650.563
AT ITER 31 NEW BEST:: SOT 11759 SOS 8902 HAS SOPS 8900 HAS SOUS 6086 HAS SOUPS 6085 WITH SCORE 6093.902
AT ITER 32 NEW BEST:: SOT 11745 SOS 8832 HAS SOPS 8830 HAS SOUS 6069 HAS SOUPS 6068 WITH SCORE 6076.832
AT ITER 33 NEW BEST:: SOT 11720 SOS 8807 HAS SOPS 8805 HAS SOUS 6044 HAS SOUPS 6043 WITH SCORE 6051.807
AT ITER 34 NEW BEST:: SOT 11685 SOS 8772 HAS SOPS 8770 HAS SOUS 6005 HAS SOUPS 6004 WITH SCORE 6012.772
AT ITER 36 NEW BEST:: SOT 11673 SOS 8685 HAS SOPS 8683 HAS SOUS 5972 HAS SOUPS 5971 WITH SCORE 5979.685
AT ITER 38 NEW BEST:: SOT 11691 SOS 8657 HAS SOPS 8655 HAS SOUS 5938 HAS SOUPS 5937 WITH SCORE 5945.657
AT ITER 47 NEW BEST:: SOT 11634 SOS 8581 HAS SOPS 8579 HAS SOUS 5887 HAS SOUPS 5886 WITH SCORE 5894.581
AT ITER 50 NEW BEST:: SOT 11634 SOS 8525 HAS SOPS 8523 HAS SOUS 5887 HAS SOUPS 5886 WITH SCORE 5894.525
AT ITER 54 NEW BEST:: SOT 11719 SOS 8464 HAS SOPS 8462 HAS SOUS 5842 HAS SOUPS 5841 WITH SCORE 5849.464
AT ITER 63 NEW BEST:: SOT 11719 SOS 8452 HAS SOPS 8450 HAS SOUS 5842 HAS SOUPS 5841 WITH SCORE 5849.452
AT ITER 64 NEW BEST:: SOT 11714 SOS 8407 HAS SOPS 8405 HAS SOUS 5809 HAS SOUPS 5808 WITH SCORE 5816.407
AT ITER 65 NEW BEST:: SOT 11687 SOS 8380 HAS SOPS 8378 HAS SOUS 5782 HAS SOUPS 5781 WITH SCORE 5789.38
AT ITER 67 NEW BEST:: SOT 11687 SOS 8379 HAS SOPS 8377 HAS SOUS 5781 HAS SOUPS 5780 WITH SCORE 5788.379
AT ITER 68 NEW BEST:: SOT 11674 SOS 8379 HAS SOPS 8377 HAS SOUS 5773 HAS SOUPS 5772 WITH SCORE 5780.379
AT ITER 69 NEW BEST:: SOT 11666 SOS 8355 HAS SOPS 8353 HAS SOUS 5765 HAS SOUPS 5764 WITH SCORE 5772.355
AT ITER 71 NEW BEST:: SOT 11793 SOS 8348 HAS SOPS 8346 HAS SOUS 5724 HAS SOUPS 5723 WITH SCORE 5731.348
AT ITER 74 NEW BEST:: SOT 11847 SOS 8416 HAS SOPS 8414 HAS SOUS 5717 HAS SOUPS 5716 WITH SCORE 5724.416
AT ITER 75 NEW BEST:: SOT 11809 SOS 8340 HAS SOPS 8338 HAS SOUS 5677 HAS SOUPS 5676 WITH SCORE 5684.34
AT ITER 77 NEW BEST:: SOT 11809 SOS 8312 HAS SOPS 8310 HAS SOUS 5669 HAS SOUPS 5668 WITH SCORE 5676.312
AT ITER 79 NEW BEST:: SOT 11813 SOS 8312 HAS SOPS 8310 HAS SOUS 5661 HAS SOUPS 5660 WITH SCORE 5668.312
AT ITER 81 NEW BEST:: SOT 11799 SOS 8284 HAS SOPS 8282 HAS SOUS 5651 HAS SOUPS 5650 WITH SCORE 5658.284
AT ITER 85 NEW BEST:: SOT 11740 SOS 8111 HAS SOPS 8109 HAS SOUS 5491 HAS SOUPS 5490 WITH SCORE 5498.111
AT ITER 86 NEW BEST:: SOT 11713 SOS 8095 HAS SOPS 8093 HAS SOUS 5475 HAS SOUPS 5474 WITH SCORE 5482.095
AT ITER 87 NEW BEST:: SOT 11713 SOS 8037 HAS SOPS 8035 HAS SOUS 5442 HAS SOUPS 5441 WITH SCORE 5449.037
AT ITER 88 NEW BEST:: SOT 11692 SOS 8016 HAS SOPS 8014 HAS SOUS 5432 HAS SOUPS 5431 WITH SCORE 5439.016
AT ITER 89 NEW BEST:: SOT 11692 SOS 8014 HAS SOPS 8012 HAS SOUS 5432 HAS SOUPS 5431 WITH SCORE 5439.014
AT ITER 94 NEW BEST:: SOT 11687 SOS 7792 HAS SOPS 7790 HAS SOUS 5383 HAS SOUPS 5382 WITH SCORE 5389.792
AT ITER 96 NEW BEST:: SOT 11683 SOS 7768 HAS SOPS 7766 HAS SOUS 5363 HAS SOUPS 5362 WITH SCORE 5369.768
AT ITER 98 NEW BEST:: SOT 11685 SOS 7689 HAS SOPS 7687 HAS SOUS 5336 HAS SOUPS 5335 WITH SCORE 5342.689
AT ITER 101 NEW BEST:: SOT 11623 SOS 7627 HAS SOPS 7625 HAS SOUS 5277 HAS SOUPS 5276 WITH SCORE 5283.627
AT ITER 102 NEW BEST:: SOT 11396 SOS 7395 HAS SOPS 7393 HAS SOUS 5045 HAS SOUPS 5044 WITH SCORE 5051.395
AT ITER 104 NEW BEST:: SOT 11392 SOS 7393 HAS SOPS 7391 HAS SOUS 5045 HAS SOUPS 5044 WITH SCORE 5051.393
AT ITER 107 NEW BEST:: SOT 11392 SOS 7326 HAS SOPS 7324 HAS SOUS 5011 HAS SOUPS 5010 WITH SCORE 5017.326
AT ITER 110 NEW BEST:: SOT 11368 SOS 7317 HAS SOPS 7315 HAS SOUS 4990 HAS SOUPS 4989 WITH SCORE 4996.317
AT ITER 111 NEW BEST:: SOT 11424 SOS 7255 HAS SOPS 7253 HAS SOUS 4917 HAS SOUPS 4916 WITH SCORE 4923.255
AT ITER 115 NEW BEST:: SOT 11414 SOS 7235 HAS SOPS 7233 HAS SOUS 4907 HAS SOUPS 4906 WITH SCORE 4913.235
AT ITER 123 NEW BEST:: SOT 11408 SOS 7223 HAS SOPS 7221 HAS SOUS 4901 HAS SOUPS 4900 WITH SCORE 4907.223
AT ITER 124 NEW BEST:: SOT 11455 SOS 7170 HAS SOPS 7168 HAS SOUS 4813 HAS SOUPS 4812 WITH SCORE 4819.17
AT ITER 127 NEW BEST:: SOT 11480 SOS 7176 HAS SOPS 7174 HAS SOUS 4755 HAS SOUPS 4754 WITH SCORE 4761.176
AT ITER 142 NEW BEST:: SOT 11473 SOS 7169 HAS SOPS 7167 HAS SOUS 4741 HAS SOUPS 4740 WITH SCORE 4747.169
AT ITER 145 NEW BEST:: SOT 11466 SOS 7155 HAS SOPS 7153 HAS SOUS 4727 HAS SOUPS 4726 WITH SCORE 4733.155
AT ITER 146 NEW BEST:: SOT 11469 SOS 7149 HAS SOPS 7147 HAS SOUS 4721 HAS SOUPS 4720 WITH SCORE 4727.149
AT ITER 150 NEW BEST:: SOT 11409 SOS 7089 HAS SOPS 7087 HAS SOUS 4661 HAS SOUPS 4660 WITH SCORE 4667.089
AT ITER 151 NEW BEST:: SOT 11409 SOS 7029 HAS SOPS 7027 HAS SOUS 4659 HAS SOUPS 4658 WITH SCORE 4665.029
AT ITER 152 NEW BEST:: SOT 11317 SOS 6922 HAS SOPS 6920 HAS SOUS 4518 HAS SOUPS 4517 WITH SCORE 4523.922
AT ITER 158 NEW BEST:: SOT 11307 SOS 6886 HAS SOPS 6884 HAS SOUS 4482 HAS SOUPS 4481 WITH SCORE 4487.886
AT ITER 162 NEW BEST:: SOT 11307 SOS 6823 HAS SOPS 6821 HAS SOUS 4447 HAS SOUPS 4446 WITH SCORE 4452.823
AT ITER 163 NEW BEST:: SOT 11307 SOS 6747 HAS SOPS 6745 HAS SOUS 4379 HAS SOUPS 4378 WITH SCORE 4384.747
AT ITER 165 NEW BEST:: SOT 11301 SOS 6738 HAS SOPS 6736 HAS SOUS 4370 HAS SOUPS 4369 WITH SCORE 4375.738
AT ITER 166 NEW BEST:: SOT 11279 SOS 6694 HAS SOPS 6692 HAS SOUS 4348 HAS SOUPS 4347 WITH SCORE 4353.694
AT ITER 175 NEW BEST:: SOT 11239 SOS 6654 HAS SOPS 6652 HAS SOUS 4330 HAS SOUPS 4329 WITH SCORE 4335.654
AT ITER 177 NEW BEST:: SOT 11235 SOS 6631 HAS SOPS 6629 HAS SOUS 4324 HAS SOUPS 4323 WITH SCORE 4329.631
AT ITER 182 NEW BEST:: SOT 11219 SOS 6583 HAS SOPS 6581 HAS SOUS 4307 HAS SOUPS 4306 WITH SCORE 4312.583
AT ITER 198 NEW BEST:: SOT 11181 SOS 6469 HAS SOPS 6467 HAS SOUS 4250 HAS SOUPS 4249 WITH SCORE 4255.469
AT ITER 200 NEW BEST:: SOT 11101 SOS 6403 HAS SOPS 6401 HAS SOUS 4234 HAS SOUPS 4233 WITH SCORE 4239.403
AT ITER 208 NEW BEST:: SOT 11086 SOS 6354 HAS SOPS 6352 HAS SOUS 4192 HAS SOUPS 4191 WITH SCORE 4197.354
AT ITER 211 NEW BEST:: SOT 11095 SOS 6372 HAS SOPS 6370 HAS SOUS 4174 HAS SOUPS 4173 WITH SCORE 4179.372
AT ITER 213 NEW BEST:: SOT 11203 SOS 6426 HAS SOPS 6424 HAS SOUS 4169 HAS SOUPS 4168 WITH SCORE 4174.426
AT ITER 216 NEW BEST:: SOT 11187 SOS 6424 HAS SOPS 6422 HAS SOUS 4159 HAS SOUPS 4158 WITH SCORE 4164.424
AT ITER 219 NEW BEST:: SOT 11191 SOS 6402 HAS SOPS 6400 HAS SOUS 4154 HAS SOUPS 4153 WITH SCORE 4159.402
AT ITER 220 NEW BEST:: SOT 11178 SOS 6375 HAS SOPS 6373 HAS SOUS 4114 HAS SOUPS 4113 WITH SCORE 4119.375
AT ITER 221 NEW BEST:: SOT 11152 SOS 6323 HAS SOPS 6321 HAS SOUS 4104 HAS SOUPS 4103 WITH SCORE 4109.323
AT ITER 227 NEW BEST:: SOT 11146 SOS 6287 HAS SOPS 6285 HAS SOUS 4095 HAS SOUPS 4094 WITH SCORE 4100.287
AT ITER 237 NEW BEST:: SOT 11146 SOS 6269 HAS SOPS 6267 HAS SOUS 4077 HAS SOUPS 4076 WITH SCORE 4082.269
AT ITER 238 NEW BEST:: SOT 11146 SOS 6232 HAS SOPS 6230 HAS SOUS 4046 HAS SOUPS 4045 WITH SCORE 4051.232
AT ITER 240 NEW BEST:: SOT 11116 SOS 6202 HAS SOPS 6200 HAS SOUS 4031 HAS SOUPS 4030 WITH SCORE 4036.202
AT ITER 241 NEW BEST:: SOT 10829 SOS 6250 HAS SOPS 6248 HAS SOUS 3829 HAS SOUPS 3828 WITH SCORE 3834.25
AT ITER 247 NEW BEST:: SOT 10816 SOS 6167 HAS SOPS 6165 HAS SOUS 3765 HAS SOUPS 3764 WITH SCORE 3770.167
AT ITER 253 NEW BEST:: SOT 10815 SOS 6166 HAS SOPS 6164 HAS SOUS 3765 HAS SOUPS 3764 WITH SCORE 3770.166
AT ITER 256 NEW BEST:: SOT 10798 SOS 6128 HAS SOPS 6126 HAS SOUS 3685 HAS SOUPS 3684 WITH SCORE 3690.128
AT ITER 259 NEW BEST:: SOT 10797 SOS 6126 HAS SOPS 6124 HAS SOUS 3681 HAS SOUPS 3680 WITH SCORE 3686.126
AT ITER 266 NEW BEST:: SOT 10446 SOS 5775 HAS SOPS 5773 HAS SOUS 3309 HAS SOUPS 3308 WITH SCORE 3313.775
AT ITER 270 NEW BEST:: SOT 10444 SOS 5758 HAS SOPS 5756 HAS SOUS 3294 HAS SOUPS 3293 WITH SCORE 3298.758
AT ITER 281 NEW BEST:: SOT 10461 SOS 5775 HAS SOPS 5773 HAS SOUS 3277 HAS SOUPS 3276 WITH SCORE 3281.775
AT ITER 286 NEW BEST:: SOT 10427 SOS 5703 HAS SOPS 5701 HAS SOUS 3247 HAS SOUPS 3246 WITH SCORE 3251.703
AT ITER 288 NEW BEST:: SOT 10427 SOS 5703 HAS SOPS 5701 HAS SOUS 3231 HAS SOUPS 3230 WITH SCORE 3235.703
AT ITER 305 NEW BEST:: SOT 10424 SOS 5700 HAS SOPS 5698 HAS SOUS 3228 HAS SOUPS 3227 WITH SCORE 3232.7
AT ITER 324 NEW BEST:: SOT 10393 SOS 5669 HAS SOPS 5667 HAS SOUS 3161 HAS SOUPS 3160 WITH SCORE 3165.669
AT ITER 327 NEW BEST:: SOT 10399 SOS 5603 HAS SOPS 5601 HAS SOUS 3106 HAS SOUPS 3105 WITH SCORE 3110.603
AT ITER 328 NEW BEST:: SOT 10405 SOS 5615 HAS SOPS 5613 HAS SOUS 3102 HAS SOUPS 3101 WITH SCORE 3106.615
AT ITER 331 NEW BEST:: SOT 10384 SOS 5594 HAS SOPS 5592 HAS SOUS 3088 HAS SOUPS 3087 WITH SCORE 3092.594
AT ITER 332 NEW BEST:: SOT 10381 SOS 5535 HAS SOPS 5533 HAS SOUS 3054 HAS SOUPS 3053 WITH SCORE 3058.535
AT ITER 334 NEW BEST:: SOT 10373 SOS 5519 HAS SOPS 5517 HAS SOUS 3046 HAS SOUPS 3045 WITH SCORE 3050.519
AT ITER 339 NEW BEST:: SOT 10374 SOS 5487 HAS SOPS 5485 HAS SOUS 3028 HAS SOUPS 3027 WITH SCORE 3032.487
AT ITER 344 NEW BEST:: SOT 10374 SOS 5479 HAS SOPS 5477 HAS SOUS 3028 HAS SOUPS 3027 WITH SCORE 3032.479
AT ITER 349 NEW BEST:: SOT 10374 SOS 5479 HAS SOPS 5477 HAS SOUS 3026 HAS SOUPS 3025 WITH SCORE 3030.479
AT ITER 351 NEW BEST:: SOT 10347 SOS 5425 HAS SOPS 5423 HAS SOUS 2986 HAS SOUPS 2985 WITH SCORE 2990.425
AT ITER 357 NEW BEST:: SOT 10335 SOS 5401 HAS SOPS 5399 HAS SOUS 2972 HAS SOUPS 2971 WITH SCORE 2976.401
AT ITER 361 NEW BEST:: SOT 10340 SOS 5411 HAS SOPS 5409 HAS SOUS 2954 HAS SOUPS 2953 WITH SCORE 2958.411
AT ITER 362 NEW BEST:: SOT 10334 SOS 5405 HAS SOPS 5403 HAS SOUS 2948 HAS SOUPS 2947 WITH SCORE 2952.405
AT ITER 364 NEW BEST:: SOT 10346 SOS 5017 HAS SOPS 5015 HAS SOUS 2930 HAS SOUPS 2929 WITH SCORE 2934.017
AT ITER 369 NEW BEST:: SOT 10360 SOS 5025 HAS SOPS 5023 HAS SOUS 2928 HAS SOUPS 2927 WITH SCORE 2932.025
AT ITER 374 NEW BEST:: SOT 10359 SOS 5022 HAS SOPS 5020 HAS SOUS 2925 HAS SOUPS 2924 WITH SCORE 2929.022
AT ITER 380 NEW BEST:: SOT 10352 SOS 4999 HAS SOPS 4997 HAS SOUS 2891 HAS SOUPS 2890 WITH SCORE 2894.999
AT ITER 386 NEW BEST:: SOT 10342 SOS 4984 HAS SOPS 4982 HAS SOUS 2881 HAS SOUPS 2880 WITH SCORE 2884.984
AT ITER 391 NEW BEST:: SOT 10329 SOS 4905 HAS SOPS 4903 HAS SOUS 2802 HAS SOUPS 2801 WITH SCORE 2805.905
AT ITER 392 NEW BEST:: SOT 10307 SOS 4883 HAS SOPS 4881 HAS SOUS 2787 HAS SOUPS 2786 WITH SCORE 2790.883
AT ITER 401 NEW BEST:: SOT 10310 SOS 4881 HAS SOPS 4879 HAS SOUS 2787 HAS SOUPS 2786 WITH SCORE 2790.881
AT ITER 414 NEW BEST:: SOT 10312 SOS 4871 HAS SOPS 4869 HAS SOUS 2779 HAS SOUPS 2778 WITH SCORE 2782.871
AT ITER 416 NEW BEST:: SOT 10304 SOS 4863 HAS SOPS 4861 HAS SOUS 2763 HAS SOUPS 2762 WITH SCORE 2766.863
AT ITER 422 NEW BEST:: SOT 10283 SOS 4851 HAS SOPS 4849 HAS SOUS 2737 HAS SOUPS 2736 WITH SCORE 2740.851
AT ITER 423 NEW BEST:: SOT 10283 SOS 4837 HAS SOPS 4835 HAS SOUS 2730 HAS SOUPS 2729 WITH SCORE 2733.837
AT ITER 425 NEW BEST:: SOT 10292 SOS 4828 HAS SOPS 4826 HAS SOUS 2730 HAS SOUPS 2729 WITH SCORE 2733.828
AT ITER 430 NEW BEST:: SOT 10291 SOS 4823 HAS SOPS 4821 HAS SOUS 2725 HAS SOUPS 2724 WITH SCORE 2728.823
AT ITER 439 NEW BEST:: SOT 10308 SOS 4777 HAS SOPS 4775 HAS SOUS 2656 HAS SOUPS 2655 WITH SCORE 2659.777
AT ITER 442 NEW BEST:: SOT 10349 SOS 4669 HAS SOPS 4667 HAS SOUS 2655 HAS SOUPS 2654 WITH SCORE 2658.669
AT ITER 444 NEW BEST:: SOT 10303 SOS 4755 HAS SOPS 4753 HAS SOUS 2637 HAS SOUPS 2636 WITH SCORE 2640.755
AT ITER 449 NEW BEST:: SOT 10301 SOS 4751 HAS SOPS 4749 HAS SOUS 2630 HAS SOUPS 2629 WITH SCORE 2633.751
AT ITER 459 NEW BEST:: SOT 10279 SOS 4740 HAS SOPS 4738 HAS SOUS 2630 HAS SOUPS 2629 WITH SCORE 2633.74
AT ITER 468 NEW BEST:: SOT 10269 SOS 4666 HAS SOPS 4664 HAS SOUS 2556 HAS SOUPS 2555 WITH SCORE 2559.666
AT ITER 497 NEW BEST:: SOT 10270 SOS 4662 HAS SOPS 4660 HAS SOUS 2554 HAS SOUPS 2553 WITH SCORE 2557.662
AT ITER 500 NEW BEST:: SOT 10272 SOS 4664 HAS SOPS 4662 HAS SOUS 2552 HAS SOUPS 2551 WITH SCORE 2555.664
AT ITER 503 NEW BEST:: SOT 10275 SOS 4658 HAS SOPS 4656 HAS SOUS 2550 HAS SOUPS 2549 WITH SCORE 2553.658
AT ITER 509 NEW BEST:: SOT 10320 SOS 4694 HAS SOPS 4692 HAS SOUS 2546 HAS SOUPS 2545 WITH SCORE 2549.694
AT ITER 513 NEW BEST:: SOT 10328 SOS 4696 HAS SOPS 4694 HAS SOUS 2540 HAS SOUPS 2539 WITH SCORE 2543.696
AT ITER 518 NEW BEST:: SOT 10365 SOS 4675 HAS SOPS 4673 HAS SOUS 2532 HAS SOUPS 2531 WITH SCORE 2535.675
AT ITER 520 NEW BEST:: SOT 10365 SOS 4659 HAS SOPS 4657 HAS SOUS 2521 HAS SOUPS 2520 WITH SCORE 2524.659
AT ITER 521 NEW BEST:: SOT 10361 SOS 4647 HAS SOPS 4645 HAS SOUS 2509 HAS SOUPS 2508 WITH SCORE 2512.647
AT ITER 522 NEW BEST:: SOT 10362 SOS 4645 HAS SOPS 4643 HAS SOUS 2506 HAS SOUPS 2505 WITH SCORE 2509.645
AT ITER 525 NEW BEST:: SOT 10281 SOS 4467 HAS SOPS 4465 HAS SOUS 2344 HAS SOUPS 2343 WITH SCORE 2347.467
AT ITER 533 NEW BEST:: SOT 10264 SOS 4449 HAS SOPS 4447 HAS SOUS 2325 HAS SOUPS 2324 WITH SCORE 2328.449
AT ITER 547 NEW BEST:: SOT 10204 SOS 4399 HAS SOPS 4397 HAS SOUS 2324 HAS SOUPS 2323 WITH SCORE 2327.399
AT ITER 586 NEW BEST:: SOT 10200 SOS 4385 HAS SOPS 4383 HAS SOUS 2321 HAS SOUPS 2320 WITH SCORE 2324.385
AT ITER 588 NEW BEST:: SOT 10203 SOS 4355 HAS SOPS 4353 HAS SOUS 2305 HAS SOUPS 2304 WITH SCORE 2308.355
AT ITER 594 NEW BEST:: SOT 10199 SOS 4338 HAS SOPS 4336 HAS SOUS 2301 HAS SOUPS 2300 WITH SCORE 2304.338
AT ITER 600 NEW BEST:: SOT 10199 SOS 4272 HAS SOPS 4270 HAS SOUS 2285 HAS SOUPS 2284 WITH SCORE 2288.272
AT ITER 603 NEW BEST:: SOT 10199 SOS 4270 HAS SOPS 4268 HAS SOUS 2283 HAS SOUPS 2282 WITH SCORE 2286.27
AT ITER 615 NEW BEST:: SOT 10208 SOS 4260 HAS SOPS 4258 HAS SOUS 2278 HAS SOUPS 2277 WITH SCORE 2281.26
AT ITER 617 NEW BEST:: SOT 10307 SOS 4333 HAS SOPS 4331 HAS SOUS 2276 HAS SOUPS 2275 WITH SCORE 2279.333
AT ITER 618 NEW BEST:: SOT 10307 SOS 4333 HAS SOPS 4331 HAS SOUS 2274 HAS SOUPS 2273 WITH SCORE 2277.333
AT ITER 640 NEW BEST:: SOT 10305 SOS 4329 HAS SOPS 4327 HAS SOUS 2272 HAS SOUPS 2271 WITH SCORE 2275.329
AT ITER 663 NEW BEST:: SOT 10274 SOS 4300 HAS SOPS 4298 HAS SOUS 2258 HAS SOUPS 2257 WITH SCORE 2261.3
AT ITER 668 NEW BEST:: SOT 10276 SOS 4297 HAS SOPS 4295 HAS SOUS 2255 HAS SOUPS 2254 WITH SCORE 2258.297
AT ITER 670 NEW BEST:: SOT 10020 SOS 4285 HAS SOPS 4059 HAS SOUS 1989 HAS SOUPS 1978 WITH SCORE 1982.285
AT ITER 676 NEW BEST:: SOT 10015 SOS 4275 HAS SOPS 4115 HAS SOUS 1979 HAS SOUPS 1971 WITH SCORE 1975.275
AT ITER 677 NEW BEST:: SOT 10017 SOS 4275 HAS SOPS 4115 HAS SOUS 1977 HAS SOUPS 1969 WITH SCORE 1973.275
AT ITER 682 NEW BEST:: SOT 10036 SOS 4275 HAS SOPS 4115 HAS SOUS 1925 HAS SOUPS 1917 WITH SCORE 1921.275
AT ITER 710 NEW BEST:: SOT 10042 SOS 4251 HAS SOPS 4091 HAS SOUS 1922 HAS SOUPS 1914 WITH SCORE 1918.251
AT ITER 720 NEW BEST:: SOT 10030 SOS 4239 HAS SOPS 4079 HAS SOUS 1916 HAS SOUPS 1908 WITH SCORE 1912.239
AT ITER 724 NEW BEST:: SOT 10006 SOS 4241 HAS SOPS 4081 HAS SOUS 1906 HAS SOUPS 1898 WITH SCORE 1902.241
AT ITER 740 NEW BEST:: SOT 10007 SOS 4241 HAS SOPS 4081 HAS SOUS 1904 HAS SOUPS 1896 WITH SCORE 1900.241
AT ITER 752 NEW BEST:: SOT 10018 SOS 4263 HAS SOPS 4103 HAS SOUS 1902 HAS SOUPS 1894 WITH SCORE 1898.263
AT ITER 754 NEW BEST:: SOT 10018 SOS 4256 HAS SOPS 4096 HAS SOUS 1895 HAS SOUPS 1887 WITH SCORE 1891.256
AT ITER 802 NEW BEST:: SOT 10014 SOS 4250 HAS SOPS 4090 HAS SOUS 1887 HAS SOUPS 1879 WITH SCORE 1883.25
AT ITER 822 NEW BEST:: SOT 10014 SOS 4182 HAS SOPS 4068 HAS SOUS 1882 HAS SOUPS 1876 WITH SCORE 1880.182
AT ITER 827 NEW BEST:: SOT 10013 SOS 4181 HAS SOPS 4067 HAS SOUS 1881 HAS SOUPS 1875 WITH SCORE 1879.181
AT ITER 849 NEW BEST:: SOT 9977 SOS 4138 HAS SOPS 4024 HAS SOUS 1842 HAS SOUPS 1836 WITH SCORE 1840.138
AT ITER 868 NEW BEST:: SOT 9997 SOS 4152 HAS SOPS 4038 HAS SOUS 1840 HAS SOUPS 1834 WITH SCORE 1838.152
AT ITER 939 NEW BEST:: SOT 9993 SOS 4148 HAS SOPS 4034 HAS SOUS 1836 HAS SOUPS 1830 WITH SCORE 1834.148
AT ITER 959 NEW BEST:: SOT 9985 SOS 4140 HAS SOPS 4026 HAS SOUS 1818 HAS SOUPS 1812 WITH SCORE 1816.14
AT ITER 968 NEW BEST:: SOT 9897 SOS 4061 HAS SOPS 3947 HAS SOUS 1794 HAS SOUPS 1788 WITH SCORE 1792.061
AT ITER 987 NEW BEST:: SOT 9892 SOS 4066 HAS SOPS 3952 HAS SOUS 1789 HAS SOUPS 1783 WITH SCORE 1787.066
AT ITER 994 NEW BEST:: SOT 9889 SOS 4061 HAS SOPS 3947 HAS SOUS 1787 HAS SOUPS 1781 WITH SCORE 1785.061
AT ITER 1002 NEW BEST:: SOT 9887 SOS 4059 HAS SOPS 3945 HAS SOUS 1785 HAS SOUPS 1779 WITH SCORE 1783.059
AT ITER 1010 NEW BEST:: SOT 9901 SOS 4073 HAS SOPS 3959 HAS SOUS 1766 HAS SOUPS 1760 WITH SCORE 1764.073
AT ITER 1017 NEW BEST:: SOT 9900 SOS 4064 HAS SOPS 3950 HAS SOUS 1760 HAS SOUPS 1754 WITH SCORE 1758.064
AT ITER 1018 NEW BEST:: SOT 9895 SOS 4051 HAS SOPS 3937 HAS SOUS 1745 HAS SOUPS 1739 WITH SCORE 1743.051
AT ITER 1057 NEW BEST:: SOT 9891 SOS 4047 HAS SOPS 3933 HAS SOUS 1743 HAS SOUPS 1737 WITH SCORE 1741.047
AT ITER 1067 NEW BEST:: SOT 9876 SOS 4036 HAS SOPS 3922 HAS SOUS 1720 HAS SOUPS 1714 WITH SCORE 1718.036
AT ITER 1075 NEW BEST:: SOT 9874 SOS 4008 HAS SOPS 3894 HAS SOUS 1716 HAS SOUPS 1710 WITH SCORE 1714.008
AT ITER 1102 NEW BEST:: SOT 9872 SOS 4005 HAS SOPS 3891 HAS SOUS 1712 HAS SOUPS 1706 WITH SCORE 1710.005
AT ITER 1117 NEW BEST:: SOT 9926 SOS 4049 HAS SOPS 3935 HAS SOUS 1694 HAS SOUPS 1688 WITH SCORE 1692.049
AT ITER 1125 NEW BEST:: SOT 9867 SOS 3990 HAS SOPS 3876 HAS SOUS 1668 HAS SOUPS 1662 WITH SCORE 1665.99
AT ITER 1148 NEW BEST:: SOT 9857 SOS 3980 HAS SOPS 3866 HAS SOUS 1661 HAS SOUPS 1655 WITH SCORE 1658.98
AT ITER 1155 NEW BEST:: SOT 9844 SOS 3955 HAS SOPS 3841 HAS SOUS 1653 HAS SOUPS 1647 WITH SCORE 1650.955
AT ITER 1158 NEW BEST:: SOT 9825 SOS 3936 HAS SOPS 3822 HAS SOUS 1636 HAS SOUPS 1630 WITH SCORE 1633.936
AT ITER 1177 NEW BEST:: SOT 9821 SOS 3928 HAS SOPS 3814 HAS SOUS 1624 HAS SOUPS 1618 WITH SCORE 1621.928
AT ITER 1186 NEW BEST:: SOT 9815 SOS 3906 HAS SOPS 3792 HAS SOUS 1609 HAS SOUPS 1603 WITH SCORE 1606.906
AT ITER 1191 NEW BEST:: SOT 9816 SOS 3905 HAS SOPS 3791 HAS SOUS 1607 HAS SOUPS 1601 WITH SCORE 1604.905
AT ITER 1219 NEW BEST:: SOT 9793 SOS 3882 HAS SOPS 3768 HAS SOUS 1581 HAS SOUPS 1575 WITH SCORE 1578.882
AT ITER 1227 NEW BEST:: SOT 9788 SOS 3877 HAS SOPS 3763 HAS SOUS 1576 HAS SOUPS 1570 WITH SCORE 1573.877
AT ITER 1240 NEW BEST:: SOT 9802 SOS 3891 HAS SOPS 3777 HAS SOUS 1574 HAS SOUPS 1568 WITH SCORE 1571.891
AT ITER 1263 NEW BEST:: SOT 9795 SOS 3884 HAS SOPS 3770 HAS SOUS 1568 HAS SOUPS 1562 WITH SCORE 1565.884
AT ITER 1287 NEW BEST:: SOT 9782 SOS 3967 HAS SOPS 3965 HAS SOUS 1557 HAS SOUPS 1556 WITH SCORE 1559.967
AT ITER 1310 NEW BEST:: SOT 9784 SOS 3957 HAS SOPS 3955 HAS SOUS 1552 HAS SOUPS 1551 WITH SCORE 1554.957
AT ITER 1316 NEW BEST:: SOT 9783 SOS 3932 HAS SOPS 3930 HAS SOUS 1539 HAS SOUPS 1538 WITH SCORE 1541.932
AT ITER 1335 NEW BEST:: SOT 9779 SOS 3936 HAS SOPS 3934 HAS SOUS 1538 HAS SOUPS 1537 WITH SCORE 1540.936
AT ITER 1355 NEW BEST:: SOT 9763 SOS 3915 HAS SOPS 3913 HAS SOUS 1522 HAS SOUPS 1521 WITH SCORE 1524.915
AT ITER 1369 NEW BEST:: SOT 9757 SOS 3921 HAS SOPS 3919 HAS SOUS 1516 HAS SOUPS 1515 WITH SCORE 1518.921
AT ITER 1382 NEW BEST:: SOT 9758 SOS 4004 HAS SOPS 4002 HAS SOUS 1505 HAS SOUPS 1504 WITH SCORE 1508.004
AT ITER 1411 NEW BEST:: SOT 9756 SOS 4002 HAS SOPS 4000 HAS SOUS 1501 HAS SOUPS 1500 WITH SCORE 1504.002
AT ITER 1427 NEW BEST:: SOT 9748 SOS 4001 HAS SOPS 3999 HAS SOUS 1497 HAS SOUPS 1496 WITH SCORE 1500.001
AT ITER 1451 NEW BEST:: SOT 9748 SOS 3994 HAS SOPS 3992 HAS SOUS 1497 HAS SOUPS 1496 WITH SCORE 1499.994
AT ITER 1453 NEW BEST:: SOT 9741 SOS 3989 HAS SOPS 3987 HAS SOUS 1493 HAS SOUPS 1492 WITH SCORE 1495.989
AT ITER 1454 NEW BEST:: SOT 9741 SOS 3989 HAS SOPS 3987 HAS SOUS 1491 HAS SOUPS 1490 WITH SCORE 1493.989
AT ITER 1491 NEW BEST:: SOT 9737 SOS 3985 HAS SOPS 3983 HAS SOUS 1489 HAS SOUPS 1488 WITH SCORE 1491.985
AT ITER 1501 NEW BEST:: SOT 9736 SOS 3984 HAS SOPS 3982 HAS SOUS 1488 HAS SOUPS 1487 WITH SCORE 1490.984
AT ITER 1539 NEW BEST:: SOT 9746 SOS 3976 HAS SOPS 3974 HAS SOUS 1484 HAS SOUPS 1483 WITH SCORE 1486.976
AT ITER 1562 NEW BEST:: SOT 9726 SOS 3974 HAS SOPS 3972 HAS SOUS 1468 HAS SOUPS 1467 WITH SCORE 1470.974
AT ITER 1583 NEW BEST:: SOT 9725 SOS 3973 HAS SOPS 3971 HAS SOUS 1466 HAS SOUPS 1465 WITH SCORE 1468.973
AT ITER 1586 NEW BEST:: SOT 9708 SOS 3960 HAS SOPS 3958 HAS SOUS 1449 HAS SOUPS 1448 WITH SCORE 1451.96
AT ITER 1623 NEW BEST:: SOT 9703 SOS 3950 HAS SOPS 3948 HAS SOUS 1434 HAS SOUPS 1433 WITH SCORE 1436.95
AT ITER 1634 NEW BEST:: SOT 9688 SOS 3937 HAS SOPS 3935 HAS SOUS 1419 HAS SOUPS 1418 WITH SCORE 1421.937
AT ITER 1701 NEW BEST:: SOT 9700 SOS 3934 HAS SOPS 3932 HAS SOUS 1419 HAS SOUPS 1418 WITH SCORE 1421.934
AT ITER 1728 NEW BEST:: SOT 9697 SOS 3930 HAS SOPS 3928 HAS SOUS 1416 HAS SOUPS 1415 WITH SCORE 1418.93
AT ITER 1758 NEW BEST:: SOT 9691 SOS 3924 HAS SOPS 3922 HAS SOUS 1404 HAS SOUPS 1403 WITH SCORE 1406.924
AT ITER 1775 NEW BEST:: SOT 9692 SOS 3915 HAS SOPS 3913 HAS SOUS 1386 HAS SOUPS 1385 WITH SCORE 1388.915
AT ITER 1788 NEW BEST:: SOT 9691 SOS 3913 HAS SOPS 3911 HAS SOUS 1383 HAS SOUPS 1382 WITH SCORE 1385.913
AT ITER 1791 NEW BEST:: SOT 9700 SOS 3880 HAS SOPS 3878 HAS SOUS 1365 HAS SOUPS 1364 WITH SCORE 1367.88
AT ITER 1793 NEW BEST:: SOT 9710 SOS 3881 HAS SOPS 3879 HAS SOUS 1364 HAS SOUPS 1363 WITH SCORE 1366.881
AT ITER 1812 NEW BEST:: SOT 9710 SOS 3876 HAS SOPS 3874 HAS SOUS 1363 HAS SOUPS 1362 WITH SCORE 1365.876
AT ITER 1819 NEW BEST:: SOT 9706 SOS 3872 HAS SOPS 3870 HAS SOUS 1355 HAS SOUPS 1354 WITH SCORE 1357.872
AT ITER 1820 NEW BEST:: SOT 9697 SOS 3865 HAS SOPS 3863 HAS SOUS 1352 HAS SOUPS 1351 WITH SCORE 1354.865
AT ITER 1823 NEW BEST:: SOT 9679 SOS 3853 HAS SOPS 3851 HAS SOUS 1343 HAS SOUPS 1342 WITH SCORE 1345.853
AT ITER 1860 NEW BEST:: SOT 9673 SOS 3841 HAS SOPS 3839 HAS SOUS 1335 HAS SOUPS 1334 WITH SCORE 1337.841
AT ITER 1861 NEW BEST:: SOT 9661 SOS 3816 HAS SOPS 3814 HAS SOUS 1298 HAS SOUPS 1297 WITH SCORE 1300.816
AT ITER 1863 NEW BEST:: SOT 9654 SOS 3809 HAS SOPS 3807 HAS SOUS 1284 HAS SOUPS 1283 WITH SCORE 1286.809
AT ITER 1883 NEW BEST:: SOT 9650 SOS 3808 HAS SOPS 3806 HAS SOUS 1282 HAS SOUPS 1281 WITH SCORE 1284.808
AT ITER 1910 NEW BEST:: SOT 9648 SOS 3806 HAS SOPS 3804 HAS SOUS 1278 HAS SOUPS 1277 WITH SCORE 1280.806
AT ITER 2010 NEW BEST:: SOT 9645 SOS 3786 HAS SOPS 3784 HAS SOUS 1261 HAS SOUPS 1260 WITH SCORE 1263.786
AT ITER 2044 NEW BEST:: SOT 9636 SOS 3787 HAS SOPS 3785 HAS SOUS 1254 HAS SOUPS 1253 WITH SCORE 1256.787
AT ITER 2066 NEW BEST:: SOT 9633 SOS 3784 HAS SOPS 3782 HAS SOUS 1248 HAS SOUPS 1247 WITH SCORE 1250.784
AT ITER 2077 NEW BEST:: SOT 9620 SOS 3776 HAS SOPS 3774 HAS SOUS 1240 HAS SOUPS 1239 WITH SCORE 1242.776
AT ITER 2102 NEW BEST:: SOT 9616 SOS 3772 HAS SOPS 3770 HAS SOUS 1232 HAS SOUPS 1231 WITH SCORE 1234.772
AT ITER 2122 NEW BEST:: SOT 9621 SOS 3770 HAS SOPS 3768 HAS SOUS 1225 HAS SOUPS 1224 WITH SCORE 1227.77
AT ITER 2140 NEW BEST:: SOT 9609 SOS 3763 HAS SOPS 3761 HAS SOUS 1214 HAS SOUPS 1213 WITH SCORE 1216.763
AT ITER 2160 NEW BEST:: SOT 9606 SOS 3760 HAS SOPS 3758 HAS SOUS 1208 HAS SOUPS 1207 WITH SCORE 1210.76
AT ITER 2167 NEW BEST:: SOT 9612 SOS 3766 HAS SOPS 3764 HAS SOUS 1202 HAS SOUPS 1201 WITH SCORE 1204.766
AT ITER 2204 NEW BEST:: SOT 9592 SOS 3750 HAS SOPS 3748 HAS SOUS 1192 HAS SOUPS 1191 WITH SCORE 1194.75
AT ITER 2254 NEW BEST:: SOT 9596 SOS 3748 HAS SOPS 3746 HAS SOUS 1191 HAS SOUPS 1190 WITH SCORE 1193.748
AT ITER 2285 NEW BEST:: SOT 9593 SOS 3742 HAS SOPS 3740 HAS SOUS 1182 HAS SOUPS 1181 WITH SCORE 1184.742
AT ITER 2299 NEW BEST:: SOT 9584 SOS 3728 HAS SOPS 3726 HAS SOUS 1172 HAS SOUPS 1171 WITH SCORE 1174.728
AT ITER 2355 NEW BEST:: SOT 9582 SOS 3726 HAS SOPS 3724 HAS SOUS 1172 HAS SOUPS 1171 WITH SCORE 1174.726
AT ITER 2383 NEW BEST:: SOT 9579 SOS 3722 HAS SOPS 3720 HAS SOUS 1169 HAS SOUPS 1168 WITH SCORE 1171.722
AT ITER 2389 NEW BEST:: SOT 9567 SOS 3710 HAS SOPS 3708 HAS SOUS 1152 HAS SOUPS 1151 WITH SCORE 1154.71
AT ITER 2424 NEW BEST:: SOT 9568 SOS 3708 HAS SOPS 3706 HAS SOUS 1151 HAS SOUPS 1150 WITH SCORE 1153.708
AT ITER 2436 NEW BEST:: SOT 9556 SOS 3696 HAS SOPS 3694 HAS SOUS 1141 HAS SOUPS 1140 WITH SCORE 1143.696
AT ITER 2492 NEW BEST:: SOT 9569 SOS 3685 HAS SOPS 3683 HAS SOUS 1139 HAS SOUPS 1138 WITH SCORE 1141.685
AT ITER 2559 NEW BEST:: SOT 9590 SOS 3670 HAS SOPS 3668 HAS SOUS 1136 HAS SOUPS 1135 WITH SCORE 1138.67
AT ITER 2564 NEW BEST:: SOT 9587 SOS 3667 HAS SOPS 3665 HAS SOUS 1135 HAS SOUPS 1134 WITH SCORE 1137.667
AT ITER 2572 NEW BEST:: SOT 9587 SOS 3658 HAS SOPS 3656 HAS SOUS 1129 HAS SOUPS 1128 WITH SCORE 1131.658
AT ITER 2586 NEW BEST:: SOT 9583 SOS 3654 HAS SOPS 3652 HAS SOUS 1127 HAS SOUPS 1126 WITH SCORE 1129.654
AT ITER 2606 NEW BEST:: SOT 9581 SOS 3654 HAS SOPS 3652 HAS SOUS 1125 HAS SOUPS 1124 WITH SCORE 1127.654
AT ITER 2614 NEW BEST:: SOT 9581 SOS 3652 HAS SOPS 3650 HAS SOUS 1125 HAS SOUPS 1124 WITH SCORE 1127.652
AT ITER 2642 NEW BEST:: SOT 9581 SOS 3651 HAS SOPS 3649 HAS SOUS 1124 HAS SOUPS 1123 WITH SCORE 1126.651
AT ITER 2653 NEW BEST:: SOT 9579 SOS 3650 HAS SOPS 3648 HAS SOUS 1124 HAS SOUPS 1123 WITH SCORE 1126.65
AT ITER 2677 NEW BEST:: SOT 9559 SOS 3694 HAS SOPS 3692 HAS SOUS 1122 HAS SOUPS 1121 WITH SCORE 1124.694
AT ITER 2702 NEW BEST:: SOT 9557 SOS 3687 HAS SOPS 3685 HAS SOUS 1122 HAS SOUPS 1121 WITH SCORE 1124.687
AT ITER 2708 NEW BEST:: SOT 9558 SOS 3684 HAS SOPS 3682 HAS SOUS 1120 HAS SOUPS 1119 WITH SCORE 1122.684
AT ITER 2722 NEW BEST:: SOT 9555 SOS 3681 HAS SOPS 3679 HAS SOUS 1114 HAS SOUPS 1113 WITH SCORE 1116.681
AT ITER 2754 NEW BEST:: SOT 9548 SOS 3674 HAS SOPS 3672 HAS SOUS 1100 HAS SOUPS 1099 WITH SCORE 1102.674
AT ITER 2770 NEW BEST:: SOT 9549 SOS 3671 HAS SOPS 3669 HAS SOUS 1097 HAS SOUPS 1096 WITH SCORE 1099.671
AT ITER 2782 NEW BEST:: SOT 9547 SOS 3668 HAS SOPS 3666 HAS SOUS 1095 HAS SOUPS 1094 WITH SCORE 1097.668
AT ITER 2788 NEW BEST:: SOT 9547 SOS 3668 HAS SOPS 3666 HAS SOUS 1093 HAS SOUPS 1092 WITH SCORE 1095.668
AT ITER 2845 NEW BEST:: SOT 9541 SOS 3666 HAS SOPS 3664 HAS SOUS 1089 HAS SOUPS 1088 WITH SCORE 1091.666
AT ITER 2895 NEW BEST:: SOT 9530 SOS 3660 HAS SOPS 3658 HAS SOUS 1087 HAS SOUPS 1086 WITH SCORE 1089.66
AT ITER 2914 NEW BEST:: SOT 9526 SOS 3656 HAS SOPS 3654 HAS SOUS 1079 HAS SOUPS 1078 WITH SCORE 1081.656
AT ITER 2941 NEW BEST:: SOT 9525 SOS 3655 HAS SOPS 3653 HAS SOUS 1078 HAS SOUPS 1077 WITH SCORE 1080.655
AT ITER 3007 NEW BEST:: SOT 9529 SOS 3654 HAS SOPS 3652 HAS SOUS 1076 HAS SOUPS 1075 WITH SCORE 1078.654
AT ITER 3052 NEW BEST:: SOT 9528 SOS 3650 HAS SOPS 3648 HAS SOUS 1073 HAS SOUPS 1072 WITH SCORE 1075.65
AT ITER 3085 NEW BEST:: SOT 9529 SOS 3647 HAS SOPS 3645 HAS SOUS 1072 HAS SOUPS 1071 WITH SCORE 1074.647
AT ITER 3129 NEW BEST:: SOT 9522 SOS 3664 HAS SOPS 3662 HAS SOUS 1069 HAS SOUPS 1068 WITH SCORE 1071.664
AT ITER 3151 NEW BEST:: SOT 9521 SOS 3663 HAS SOPS 3661 HAS SOUS 1067 HAS SOUPS 1066 WITH SCORE 1069.663
AT ITER 3185 NEW BEST:: SOT 9516 SOS 3662 HAS SOPS 3660 HAS SOUS 1067 HAS SOUPS 1066 WITH SCORE 1069.662
AT ITER 3230 NEW BEST:: SOT 9479 SOS 3654 HAS SOPS 3652 HAS SOUS 1047 HAS SOUPS 1046 WITH SCORE 1049.654
AT ITER 3273 NEW BEST:: SOT 9478 SOS 3653 HAS SOPS 3651 HAS SOUS 1046 HAS SOUPS 1045 WITH SCORE 1048.653
AT ITER 3282 NEW BEST:: SOT 9476 SOS 3651 HAS SOPS 3649 HAS SOUS 1046 HAS SOUPS 1045 WITH SCORE 1048.651
AT ITER 3328 NEW BEST:: SOT 9473 SOS 3633 HAS SOPS 3631 HAS SOUS 1041 HAS SOUPS 1040 WITH SCORE 1043.633
AT ITER 3341 NEW BEST:: SOT 9472 SOS 3634 HAS SOPS 3632 HAS SOUS 1040 HAS SOUPS 1039 WITH SCORE 1042.634
AT ITER 3358 NEW BEST:: SOT 9470 SOS 3630 HAS SOPS 3628 HAS SOUS 1038 HAS SOUPS 1037 WITH SCORE 1040.63
AT ITER 3459 NEW BEST:: SOT 9469 SOS 3629 HAS SOPS 3627 HAS SOUS 1036 HAS SOUPS 1035 WITH SCORE 1038.629
AT ITER 3465 NEW BEST:: SOT 9464 SOS 3624 HAS SOPS 3622 HAS SOUS 1026 HAS SOUPS 1025 WITH SCORE 1028.624
AT ITER 3498 NEW BEST:: SOT 9458 SOS 3622 HAS SOPS 3620 HAS SOUS 1025 HAS SOUPS 1024 WITH SCORE 1027.622
AT ITER 3532 NEW BEST:: SOT 9456 SOS 3620 HAS SOPS 3618 HAS SOUS 1023 HAS SOUPS 1022 WITH SCORE 1025.62
AT ITER 3548 NEW BEST:: SOT 9456 SOS 3620 HAS SOPS 3618 HAS SOUS 1021 HAS SOUPS 1020 WITH SCORE 1023.62
AT ITER 3575 NEW BEST:: SOT 9462 SOS 3626 HAS SOPS 3624 HAS SOUS 1015 HAS SOUPS 1014 WITH SCORE 1017.626
AT ITER 3590 NEW BEST:: SOT 9462 SOS 3620 HAS SOPS 3618 HAS SOUS 1011 HAS SOUPS 1010 WITH SCORE 1013.62
AT ITER 3695 NEW BEST:: SOT 9475 SOS 3605 HAS SOPS 3603 HAS SOUS 1007 HAS SOUPS 1006 WITH SCORE 1009.605
AT ITER 3793 NEW BEST:: SOT 9470 SOS 3600 HAS SOPS 3598 HAS SOUS 997 HAS SOUPS 996 WITH SCORE 999.6
AT ITER 3811 NEW BEST:: SOT 9468 SOS 3597 HAS SOPS 3595 HAS SOUS 993 HAS SOUPS 992 WITH SCORE 995.597
AT ITER 3824 NEW BEST:: SOT 9470 SOS 3597 HAS SOPS 3595 HAS SOUS 991 HAS SOUPS 990 WITH SCORE 993.597
AT ITER 3834 NEW BEST:: SOT 9470 SOS 3596 HAS SOPS 3594 HAS SOUS 990 HAS SOUPS 989 WITH SCORE 992.596
AT ITER 3909 NEW BEST:: SOT 9471 SOS 3597 HAS SOPS 3595 HAS SOUS 989 HAS SOUPS 988 WITH SCORE 991.597
AT ITER 3941 NEW BEST:: SOT 9468 SOS 3594 HAS SOPS 3592 HAS SOUS 983 HAS SOUPS 982 WITH SCORE 985.594
AT ITER 3996 NEW BEST:: SOT 9465 SOS 3592 HAS SOPS 3590 HAS SOUS 980 HAS SOUPS 979 WITH SCORE 982.592
AT ITER 4003 NEW BEST:: SOT 9471 SOS 3592 HAS SOPS 3590 HAS SOUS 977 HAS SOUPS 976 WITH SCORE 979.592
AT ITER 4033 NEW BEST:: SOT 9467 SOS 3586 HAS SOPS 3584 HAS SOUS 971 HAS SOUPS 970 WITH SCORE 973.586
AT ITER 4059 NEW BEST:: SOT 9457 SOS 3582 HAS SOPS 3580 HAS SOUS 966 HAS SOUPS 965 WITH SCORE 968.582
AT ITER 4061 NEW BEST:: SOT 9453 SOS 3580 HAS SOPS 3578 HAS SOUS 964 HAS SOUPS 963 WITH SCORE 966.58
AT ITER 4069 NEW BEST:: SOT 9453 SOS 3576 HAS SOPS 3574 HAS SOUS 962 HAS SOUPS 961 WITH SCORE 964.576
AT ITER 4075 NEW BEST:: SOT 9442 SOS 3572 HAS SOPS 3570 HAS SOUS 960 HAS SOUPS 959 WITH SCORE 962.572
AT ITER 4132 NEW BEST:: SOT 9442 SOS 3564 HAS SOPS 3562 HAS SOUS 957 HAS SOUPS 956 WITH SCORE 959.564
AT ITER 4390 NEW BEST:: SOT 9444 SOS 3562 HAS SOPS 3560 HAS SOUS 957 HAS SOUPS 956 WITH SCORE 959.562
AT ITER 4395 NEW BEST:: SOT 9446 SOS 3559 HAS SOPS 3557 HAS SOUS 956 HAS SOUPS 955 WITH SCORE 958.559
AT ITER 4396 NEW BEST:: SOT 9444 SOS 3557 HAS SOPS 3555 HAS SOUS 954 HAS SOUPS 953 WITH SCORE 956.557
AT ITER 4421 NEW BEST:: SOT 9451 SOS 3562 HAS SOPS 3560 HAS SOUS 952 HAS SOUPS 951 WITH SCORE 954.562
AT ITER 4467 NEW BEST:: SOT 9450 SOS 3557 HAS SOPS 3555 HAS SOUS 949 HAS SOUPS 948 WITH SCORE 951.557
AT ITER 4491 NEW BEST:: SOT 9449 SOS 3555 HAS SOPS 3553 HAS SOUS 947 HAS SOUPS 946 WITH SCORE 949.555
AT ITER 4598 NEW BEST:: SOT 9443 SOS 3547 HAS SOPS 3545 HAS SOUS 935 HAS SOUPS 934 WITH SCORE 937.547
AT ITER 4710 NEW BEST:: SOT 9437 SOS 3543 HAS SOPS 3541 HAS SOUS 929 HAS SOUPS 928 WITH SCORE 931.543
AT ITER 4717 NEW BEST:: SOT 9440 SOS 3520 HAS SOPS 3518 HAS SOUS 928 HAS SOUPS 927 WITH SCORE 930.52
AT ITER 4862 NEW BEST:: SOT 9439 SOS 3519 HAS SOPS 3517 HAS SOUS 926 HAS SOUPS 925 WITH SCORE 928.519
AT ITER 5035 NEW BEST:: SOT 9434 SOS 3519 HAS SOPS 3517 HAS SOUS 924 HAS SOUPS 923 WITH SCORE 926.519
AT ITER 5132 NEW BEST:: SOT 9433 SOS 3518 HAS SOPS 3516 HAS SOUS 922 HAS SOUPS 921 WITH SCORE 924.518
AT ITER 5178 NEW BEST:: SOT 9428 SOS 3511 HAS SOPS 3509 HAS SOUS 914 HAS SOUPS 913 WITH SCORE 916.511
AT ITER 5295 NEW BEST:: SOT 9422 SOS 3504 HAS SOPS 3502 HAS SOUS 902 HAS SOUPS 901 WITH SCORE 904.504
AT ITER 5316 NEW BEST:: SOT 9413 SOS 3495 HAS SOPS 3493 HAS SOUS 889 HAS SOUPS 888 WITH SCORE 891.495
AT ITER 5529 NEW BEST:: SOT 9413 SOS 3494 HAS SOPS 3492 HAS SOUS 889 HAS SOUPS 888 WITH SCORE 891.494
AT ITER 5596 NEW BEST:: SOT 9412 SOS 3493 HAS SOPS 3491 HAS SOUS 888 HAS SOUPS 887 WITH SCORE 890.493
AT ITER 5937 NEW BEST:: SOT 9410 SOS 3491 HAS SOPS 3489 HAS SOUS 888 HAS SOUPS 887 WITH SCORE 890.491
AT ITER 6272 NEW BEST:: SOT 9409 SOS 3482 HAS SOPS 3480 HAS SOUS 886 HAS SOUPS 885 WITH SCORE 888.482
AT ITER 6343 NEW BEST:: SOT 9407 SOS 3480 HAS SOPS 3478 HAS SOUS 886 HAS SOUPS 885 WITH SCORE 888.48
AT ITER 6368 NEW BEST:: SOT 9407 SOS 3479 HAS SOPS 3477 HAS SOUS 885 HAS SOUPS 884 WITH SCORE 887.479
AT ITER 6396 NEW BEST:: SOT 9406 SOS 3478 HAS SOPS 3476 HAS SOUS 883 HAS SOUPS 882 WITH SCORE 885.478
AT ITER 6417 NEW BEST:: SOT 9405 SOS 3476 HAS SOPS 3474 HAS SOUS 880 HAS SOUPS 879 WITH SCORE 882.476
AT ITER 6448 NEW BEST:: SOT 9398 SOS 3469 HAS SOPS 3467 HAS SOUS 874 HAS SOUPS 873 WITH SCORE 876.469
AT ITER 6540 NEW BEST:: SOT 9397 SOS 3465 HAS SOPS 3463 HAS SOUS 871 HAS SOUPS 870 WITH SCORE 873.465
AT ITER 6896 NEW BEST:: SOT 9396 SOS 3465 HAS SOPS 3463 HAS SOUS 870 HAS SOUPS 869 WITH SCORE 872.465
AT ITER 7450 NEW BEST:: SOT 9398 SOS 3464 HAS SOPS 3462 HAS SOUS 870 HAS SOUPS 869 WITH SCORE 872.464
AT ITER 7608 NEW BEST:: SOT 9400 SOS 3390 HAS SOPS 3388 HAS SOUS 867 HAS SOUPS 866 WITH SCORE 869.39
AT ITER 7823 NEW BEST:: SOT 9395 SOS 3389 HAS SOPS 3387 HAS SOUS 867 HAS SOUPS 866 WITH SCORE 869.389
AT ITER 7846 NEW BEST:: SOT 9392 SOS 3390 HAS SOPS 3388 HAS SOUS 866 HAS SOUPS 865 WITH SCORE 868.39
AT ITER 7953 NEW BEST:: SOT 9391 SOS 3389 HAS SOPS 3387 HAS SOUS 865 HAS SOUPS 864 WITH SCORE 867.389
AT ITER 8026 NEW BEST:: SOT 9389 SOS 3387 HAS SOPS 3385 HAS SOUS 861 HAS SOUPS 860 WITH SCORE 863.387
AT ITER 8036 NEW BEST:: SOT 9389 SOS 3383 HAS SOPS 3381 HAS SOUS 861 HAS SOUPS 860 WITH SCORE 863.383
AT ITER 8091 NEW BEST:: SOT 9388 SOS 3382 HAS SOPS 3380 HAS SOUS 861 HAS SOUPS 860 WITH SCORE 863.382
AT ITER 8216 NEW BEST:: SOT 9389 SOS 3381 HAS SOPS 3379 HAS SOUS 861 HAS SOUPS 860 WITH SCORE 863.381
AT ITER 8242 NEW BEST:: SOT 9385 SOS 3381 HAS SOPS 3379 HAS SOUS 858 HAS SOUPS 857 WITH SCORE 860.381
AT ITER 8355 NEW BEST:: SOT 9385 SOS 3378 HAS SOPS 3376 HAS SOUS 856 HAS SOUPS 855 WITH SCORE 858.378
AT ITER 8532 NEW BEST:: SOT 9385 SOS 3376 HAS SOPS 3374 HAS SOUS 854 HAS SOUPS 853 WITH SCORE 856.376
AT ITER 8634 NEW BEST:: SOT 9386 SOS 3375 HAS SOPS 3373 HAS SOUS 852 HAS SOUPS 851 WITH SCORE 854.375
AT ITER 8670 NEW BEST:: SOT 9389 SOS 3374 HAS SOPS 3372 HAS SOUS 850 HAS SOUPS 849 WITH SCORE 852.374
AT ITER 8784 NEW BEST:: SOT 9389 SOS 3373 HAS SOPS 3371 HAS SOUS 850 HAS SOUPS 849 WITH SCORE 852.373
AT ITER 8805 NEW BEST:: SOT 9384 SOS 3369 HAS SOPS 3367 HAS SOUS 844 HAS SOUPS 843 WITH SCORE 846.369
AT ITER 9696 NEW BEST:: SOT 9382 SOS 3369 HAS SOPS 3367 HAS SOUS 842 HAS SOUPS 841 WITH SCORE 844.369
STATE_SPACE STATES 432299810642657693 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 30 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 10951427439802658526 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678451651826

--------------------
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="GPUForwardProgress-PT-28a"
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 GPUForwardProgress-PT-28a, 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 r195-smll-167840341900104"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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