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.r203-smll-167840349100120.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 smartxred
Input is GPUForwardProgress-PT-32a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r203-smll-167840349100120
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 428K
-rw-r--r-- 1 mcc users 8.5K Feb 25 14:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 99K Feb 25 14:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 25 14:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 25 14:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 16:12 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:12 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 6.5K Feb 25 14:43 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 60K Feb 25 14:43 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.2K Feb 25 14:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 25 14:39 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 50K 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 1678543620877

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=GPUForwardProgress-PT-32a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-11 14:07:04] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-11 14:07:04] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-11 14:07:04] [INFO ] Load time of PNML (sax parser for PT used): 230 ms
[2023-03-11 14:07:04] [INFO ] Transformed 136 places.
[2023-03-11 14:07:04] [INFO ] Transformed 169 transitions.
[2023-03-11 14:07:04] [INFO ] Found NUPN structural information;
[2023-03-11 14:07:04] [INFO ] Parsed PT model containing 136 places and 169 transitions and 661 arcs in 414 ms.
[2023-03-11 14:07:04] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 136 places, 169 transitions and 661 arcs took 10 ms.
Total runtime 487 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running GPUForwardProgress (PT), instance 32a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 136 places, 169 transitions, 661 arcs.
AT ITER 0 NEW BEST:: SOT 14992 SOS 12978 HAS SOPS 12976 HAS SOUS 9685 HAS SOUPS 9684 WITH SCORE 9696.978
AT ITER 1 NEW BEST:: SOT 15096 SOS 12986 HAS SOPS 12984 HAS SOUS 9671 HAS SOUPS 9670 WITH SCORE 9682.986
AT ITER 2 NEW BEST:: SOT 15123 SOS 12933 HAS SOPS 12931 HAS SOUS 9562 HAS SOUPS 9561 WITH SCORE 9573.933
AT ITER 5 NEW BEST:: SOT 15174 SOS 12844 HAS SOPS 12842 HAS SOUS 9398 HAS SOUPS 9397 WITH SCORE 9409.844
AT ITER 6 NEW BEST:: SOT 15168 SOS 12832 HAS SOPS 12830 HAS SOUS 9392 HAS SOUPS 9391 WITH SCORE 9403.832
AT ITER 7 NEW BEST:: SOT 15118 SOS 12693 HAS SOPS 12691 HAS SOUS 9303 HAS SOUPS 9302 WITH SCORE 9314.693
AT ITER 8 NEW BEST:: SOT 15086 SOS 12580 HAS SOPS 12578 HAS SOUS 9222 HAS SOUPS 9221 WITH SCORE 9233.58
AT ITER 9 NEW BEST:: SOT 15169 SOS 12663 HAS SOPS 12661 HAS SOUS 9212 HAS SOUPS 9211 WITH SCORE 9223.663
AT ITER 12 NEW BEST:: SOT 15169 SOS 12663 HAS SOPS 12661 HAS SOUS 9191 HAS SOUPS 9190 WITH SCORE 9202.663
AT ITER 13 NEW BEST:: SOT 15225 SOS 12691 HAS SOPS 12689 HAS SOUS 9175 HAS SOUPS 9174 WITH SCORE 9186.691
AT ITER 16 NEW BEST:: SOT 15223 SOS 12689 HAS SOPS 12687 HAS SOUS 9173 HAS SOUPS 9172 WITH SCORE 9184.689
AT ITER 18 NEW BEST:: SOT 15230 SOS 12646 HAS SOPS 12644 HAS SOUS 9144 HAS SOUPS 9143 WITH SCORE 9155.646
AT ITER 19 NEW BEST:: SOT 15308 SOS 12689 HAS SOPS 12687 HAS SOUS 9091 HAS SOUPS 9090 WITH SCORE 9102.689
AT ITER 24 NEW BEST:: SOT 15261 SOS 12538 HAS SOPS 12536 HAS SOUS 8926 HAS SOUPS 8925 WITH SCORE 8937.538
AT ITER 25 NEW BEST:: SOT 15383 SOS 12568 HAS SOPS 12566 HAS SOUS 8825 HAS SOUPS 8824 WITH SCORE 8836.568
AT ITER 27 NEW BEST:: SOT 15467 SOS 12638 HAS SOPS 12636 HAS SOUS 8811 HAS SOUPS 8810 WITH SCORE 8822.638
AT ITER 28 NEW BEST:: SOT 15467 SOS 12408 HAS SOPS 12406 HAS SOUS 8607 HAS SOUPS 8606 WITH SCORE 8618.408
AT ITER 29 NEW BEST:: SOT 15467 SOS 12408 HAS SOPS 12406 HAS SOUS 8602 HAS SOUPS 8601 WITH SCORE 8613.408
AT ITER 30 NEW BEST:: SOT 15612 SOS 12498 HAS SOPS 12496 HAS SOUS 8585 HAS SOUPS 8584 WITH SCORE 8596.498
AT ITER 31 NEW BEST:: SOT 15627 SOS 12370 HAS SOPS 12368 HAS SOUS 8387 HAS SOUPS 8386 WITH SCORE 8398.37
AT ITER 32 NEW BEST:: SOT 15670 SOS 12390 HAS SOPS 12388 HAS SOUS 8374 HAS SOUPS 8373 WITH SCORE 8385.39
AT ITER 33 NEW BEST:: SOT 15778 SOS 12349 HAS SOPS 12347 HAS SOUS 8266 HAS SOUPS 8265 WITH SCORE 8277.349
AT ITER 34 NEW BEST:: SOT 15724 SOS 12214 HAS SOPS 12212 HAS SOUS 8185 HAS SOUPS 8184 WITH SCORE 8196.214
AT ITER 35 NEW BEST:: SOT 15724 SOS 12214 HAS SOPS 12212 HAS SOUS 8183 HAS SOUPS 8182 WITH SCORE 8194.214
AT ITER 37 NEW BEST:: SOT 15672 SOS 12110 HAS SOPS 12108 HAS SOUS 8105 HAS SOUPS 8104 WITH SCORE 8116.11
AT ITER 38 NEW BEST:: SOT 15608 SOS 11982 HAS SOPS 11980 HAS SOUS 8062 HAS SOUPS 8061 WITH SCORE 8072.982
AT ITER 42 NEW BEST:: SOT 15570 SOS 11887 HAS SOPS 11885 HAS SOUS 8005 HAS SOUPS 8004 WITH SCORE 8015.887
AT ITER 44 NEW BEST:: SOT 15570 SOS 11841 HAS SOPS 11839 HAS SOUS 7982 HAS SOUPS 7981 WITH SCORE 7992.841
AT ITER 45 NEW BEST:: SOT 15570 SOS 11841 HAS SOPS 11839 HAS SOUS 7962 HAS SOUPS 7961 WITH SCORE 7972.841
AT ITER 47 NEW BEST:: SOT 15516 SOS 11693 HAS SOPS 11691 HAS SOUS 7805 HAS SOUPS 7804 WITH SCORE 7815.693
AT ITER 48 NEW BEST:: SOT 15503 SOS 11680 HAS SOPS 11678 HAS SOUS 7792 HAS SOUPS 7791 WITH SCORE 7802.68
AT ITER 52 NEW BEST:: SOT 15503 SOS 11534 HAS SOPS 11532 HAS SOUS 7786 HAS SOUPS 7785 WITH SCORE 7796.534
AT ITER 53 NEW BEST:: SOT 15339 SOS 11365 HAS SOPS 11363 HAS SOUS 7718 HAS SOUPS 7717 WITH SCORE 7728.365
AT ITER 54 NEW BEST:: SOT 15314 SOS 11363 HAS SOPS 11361 HAS SOUS 7717 HAS SOUPS 7716 WITH SCORE 7727.363
AT ITER 55 NEW BEST:: SOT 15284 SOS 11303 HAS SOPS 11301 HAS SOUS 7687 HAS SOUPS 7686 WITH SCORE 7697.303
AT ITER 56 NEW BEST:: SOT 15259 SOS 11278 HAS SOPS 11276 HAS SOUS 7632 HAS SOUPS 7631 WITH SCORE 7642.278
AT ITER 61 NEW BEST:: SOT 15259 SOS 11278 HAS SOPS 11276 HAS SOUS 7615 HAS SOUPS 7614 WITH SCORE 7625.278
AT ITER 62 NEW BEST:: SOT 15235 SOS 11254 HAS SOPS 11252 HAS SOUS 7607 HAS SOUPS 7606 WITH SCORE 7617.254
AT ITER 64 NEW BEST:: SOT 15261 SOS 11280 HAS SOPS 11278 HAS SOUS 7581 HAS SOUPS 7580 WITH SCORE 7591.28
AT ITER 66 NEW BEST:: SOT 15240 SOS 11259 HAS SOPS 11257 HAS SOUS 7571 HAS SOUPS 7570 WITH SCORE 7581.259
AT ITER 68 NEW BEST:: SOT 15256 SOS 11244 HAS SOPS 11242 HAS SOUS 7517 HAS SOUPS 7516 WITH SCORE 7527.244
AT ITER 69 NEW BEST:: SOT 15445 SOS 10515 HAS SOPS 10513 HAS SOUS 7406 HAS SOUPS 7405 WITH SCORE 7415.515
AT ITER 71 NEW BEST:: SOT 15469 SOS 10493 HAS SOPS 10491 HAS SOUS 7393 HAS SOUPS 7392 WITH SCORE 7402.493
AT ITER 73 NEW BEST:: SOT 15467 SOS 10476 HAS SOPS 10474 HAS SOUS 7381 HAS SOUPS 7380 WITH SCORE 7390.476
AT ITER 76 NEW BEST:: SOT 15451 SOS 10460 HAS SOPS 10458 HAS SOUS 7381 HAS SOUPS 7380 WITH SCORE 7390.46
AT ITER 80 NEW BEST:: SOT 15517 SOS 10446 HAS SOPS 10444 HAS SOUS 7365 HAS SOUPS 7364 WITH SCORE 7374.446
AT ITER 82 NEW BEST:: SOT 15559 SOS 10347 HAS SOPS 10345 HAS SOUS 7296 HAS SOUPS 7295 WITH SCORE 7305.347
AT ITER 84 NEW BEST:: SOT 15603 SOS 10354 HAS SOPS 10352 HAS SOUS 7259 HAS SOUPS 7258 WITH SCORE 7268.354
AT ITER 86 NEW BEST:: SOT 15582 SOS 10240 HAS SOPS 10238 HAS SOUS 7238 HAS SOUPS 7237 WITH SCORE 7247.24
AT ITER 89 NEW BEST:: SOT 15636 SOS 10145 HAS SOPS 10143 HAS SOUS 7197 HAS SOUPS 7196 WITH SCORE 7206.145
AT ITER 90 NEW BEST:: SOT 15636 SOS 10139 HAS SOPS 10137 HAS SOUS 7191 HAS SOUPS 7190 WITH SCORE 7200.139
AT ITER 94 NEW BEST:: SOT 15507 SOS 10050 HAS SOPS 10048 HAS SOUS 7141 HAS SOUPS 7140 WITH SCORE 7150.05
AT ITER 96 NEW BEST:: SOT 15545 SOS 10088 HAS SOPS 10086 HAS SOUS 7052 HAS SOUPS 7051 WITH SCORE 7061.088
AT ITER 99 NEW BEST:: SOT 15545 SOS 10060 HAS SOPS 10058 HAS SOUS 7038 HAS SOUPS 7037 WITH SCORE 7047.06
AT ITER 115 NEW BEST:: SOT 15545 SOS 9862 HAS SOPS 9860 HAS SOUS 6906 HAS SOUPS 6905 WITH SCORE 6914.862
AT ITER 116 NEW BEST:: SOT 15545 SOS 9814 HAS SOPS 9812 HAS SOUS 6888 HAS SOUPS 6887 WITH SCORE 6896.814
AT ITER 117 NEW BEST:: SOT 15545 SOS 9806 HAS SOPS 9804 HAS SOUS 6884 HAS SOUPS 6883 WITH SCORE 6892.806
AT ITER 118 NEW BEST:: SOT 15545 SOS 9734 HAS SOPS 9732 HAS SOUS 6812 HAS SOUPS 6811 WITH SCORE 6820.734
AT ITER 123 NEW BEST:: SOT 15547 SOS 9738 HAS SOPS 9736 HAS SOUS 6772 HAS SOUPS 6771 WITH SCORE 6780.738
AT ITER 128 NEW BEST:: SOT 15547 SOS 9668 HAS SOPS 9666 HAS SOUS 6772 HAS SOUPS 6771 WITH SCORE 6780.668
AT ITER 129 NEW BEST:: SOT 15513 SOS 9678 HAS SOPS 9676 HAS SOUS 6738 HAS SOUPS 6737 WITH SCORE 6746.678
AT ITER 130 NEW BEST:: SOT 15494 SOS 9571 HAS SOPS 9569 HAS SOUS 6670 HAS SOUPS 6669 WITH SCORE 6678.571
AT ITER 132 NEW BEST:: SOT 15381 SOS 9450 HAS SOPS 9448 HAS SOUS 6572 HAS SOUPS 6571 WITH SCORE 6580.45
AT ITER 135 NEW BEST:: SOT 15381 SOS 9432 HAS SOPS 9430 HAS SOUS 6520 HAS SOUPS 6519 WITH SCORE 6528.432
AT ITER 136 NEW BEST:: SOT 14791 SOS 9221 HAS SOPS 8909 HAS SOUS 6053 HAS SOUPS 6036 WITH SCORE 6045.221
AT ITER 147 NEW BEST:: SOT 14787 SOS 9120 HAS SOPS 8808 HAS SOUS 5953 HAS SOUPS 5936 WITH SCORE 5945.12
AT ITER 149 NEW BEST:: SOT 14504 SOS 8808 HAS SOPS 8496 HAS SOUS 5644 HAS SOUPS 5627 WITH SCORE 5635.808
AT ITER 151 NEW BEST:: SOT 14434 SOS 8745 HAS SOPS 8433 HAS SOUS 5552 HAS SOUPS 5535 WITH SCORE 5543.745
AT ITER 153 NEW BEST:: SOT 14500 SOS 8799 HAS SOPS 8487 HAS SOUS 5501 HAS SOUPS 5484 WITH SCORE 5492.799
AT ITER 158 NEW BEST:: SOT 14500 SOS 8793 HAS SOPS 8481 HAS SOUS 5495 HAS SOUPS 5478 WITH SCORE 5486.793
AT ITER 168 NEW BEST:: SOT 14473 SOS 8766 HAS SOPS 8454 HAS SOUS 5468 HAS SOUPS 5451 WITH SCORE 5459.766
AT ITER 170 NEW BEST:: SOT 14461 SOS 8748 HAS SOPS 8436 HAS SOUS 5456 HAS SOUPS 5439 WITH SCORE 5447.748
AT ITER 171 NEW BEST:: SOT 14419 SOS 8664 HAS SOPS 8352 HAS SOUS 5402 HAS SOUPS 5385 WITH SCORE 5393.664
AT ITER 177 NEW BEST:: SOT 14435 SOS 8676 HAS SOPS 8364 HAS SOUS 5398 HAS SOUPS 5381 WITH SCORE 5389.676
AT ITER 184 NEW BEST:: SOT 14445 SOS 8674 HAS SOPS 8347 HAS SOUS 5309 HAS SOUPS 5292 WITH SCORE 5300.674
AT ITER 185 NEW BEST:: SOT 14441 SOS 8668 HAS SOPS 8341 HAS SOUS 5301 HAS SOUPS 5284 WITH SCORE 5292.668
AT ITER 190 NEW BEST:: SOT 14382 SOS 8634 HAS SOPS 8307 HAS SOUS 5274 HAS SOUPS 5257 WITH SCORE 5265.634
AT ITER 196 NEW BEST:: SOT 14382 SOS 8617 HAS SOPS 8290 HAS SOUS 5274 HAS SOUPS 5257 WITH SCORE 5265.617
AT ITER 197 NEW BEST:: SOT 14364 SOS 8608 HAS SOPS 8281 HAS SOUS 5274 HAS SOUPS 5257 WITH SCORE 5265.608
AT ITER 198 NEW BEST:: SOT 14321 SOS 8518 HAS SOPS 8191 HAS SOUS 5188 HAS SOUPS 5171 WITH SCORE 5179.518
AT ITER 201 NEW BEST:: SOT 14288 SOS 8468 HAS SOPS 8141 HAS SOUS 5159 HAS SOUPS 5142 WITH SCORE 5150.468
AT ITER 203 NEW BEST:: SOT 14275 SOS 8429 HAS SOPS 8102 HAS SOUS 5133 HAS SOUPS 5116 WITH SCORE 5124.429
AT ITER 204 NEW BEST:: SOT 14373 SOS 8457 HAS SOPS 8121 HAS SOUS 5073 HAS SOUPS 5056 WITH SCORE 5064.457
AT ITER 207 NEW BEST:: SOT 14369 SOS 8457 HAS SOPS 8121 HAS SOUS 5069 HAS SOUPS 5052 WITH SCORE 5060.457
AT ITER 215 NEW BEST:: SOT 14313 SOS 8401 HAS SOPS 8065 HAS SOUS 4989 HAS SOUPS 4972 WITH SCORE 4980.401
AT ITER 216 NEW BEST:: SOT 14313 SOS 8279 HAS SOPS 7949 HAS SOUS 4928 HAS SOUPS 4911 WITH SCORE 4919.279
AT ITER 217 NEW BEST:: SOT 14311 SOS 8272 HAS SOPS 7942 HAS SOUS 4924 HAS SOUPS 4907 WITH SCORE 4915.272
AT ITER 224 NEW BEST:: SOT 14277 SOS 8206 HAS SOPS 7876 HAS SOUS 4874 HAS SOUPS 4857 WITH SCORE 4865.206
AT ITER 228 NEW BEST:: SOT 14235 SOS 8122 HAS SOPS 7792 HAS SOUS 4804 HAS SOUPS 4787 WITH SCORE 4795.122
AT ITER 230 NEW BEST:: SOT 14226 SOS 8039 HAS SOPS 7709 HAS SOUS 4749 HAS SOUPS 4732 WITH SCORE 4740.039
AT ITER 233 NEW BEST:: SOT 14032 SOS 7897 HAS SOPS 7567 HAS SOUS 4646 HAS SOUPS 4629 WITH SCORE 4636.897
AT ITER 239 NEW BEST:: SOT 13948 SOS 7813 HAS SOPS 7483 HAS SOUS 4562 HAS SOUPS 4545 WITH SCORE 4552.813
AT ITER 246 NEW BEST:: SOT 13954 SOS 7819 HAS SOPS 7480 HAS SOUS 4559 HAS SOUPS 4542 WITH SCORE 4549.819
AT ITER 249 NEW BEST:: SOT 13954 SOS 7819 HAS SOPS 7480 HAS SOUS 4553 HAS SOUPS 4536 WITH SCORE 4543.819
AT ITER 250 NEW BEST:: SOT 13954 SOS 7781 HAS SOPS 7444 HAS SOUS 4534 HAS SOUPS 4517 WITH SCORE 4524.781
AT ITER 255 NEW BEST:: SOT 13924 SOS 7738 HAS SOPS 7401 HAS SOUS 4504 HAS SOUPS 4487 WITH SCORE 4494.738
AT ITER 257 NEW BEST:: SOT 13326 SOS 7149 HAS SOPS 6982 HAS SOUS 3915 HAS SOUPS 3907 WITH SCORE 3914.149
AT ITER 259 NEW BEST:: SOT 13328 SOS 7125 HAS SOPS 6958 HAS SOUS 3906 HAS SOUPS 3898 WITH SCORE 3905.125
AT ITER 261 NEW BEST:: SOT 13324 SOS 7121 HAS SOPS 6954 HAS SOUS 3905 HAS SOUPS 3897 WITH SCORE 3904.121
AT ITER 266 NEW BEST:: SOT 13317 SOS 7091 HAS SOPS 6931 HAS SOUS 3857 HAS SOUPS 3849 WITH SCORE 3856.091
AT ITER 273 NEW BEST:: SOT 13269 SOS 7053 HAS SOPS 6893 HAS SOUS 3802 HAS SOUPS 3794 WITH SCORE 3801.053
AT ITER 274 NEW BEST:: SOT 13245 SOS 7029 HAS SOPS 6869 HAS SOUS 3778 HAS SOUPS 3770 WITH SCORE 3777.029
AT ITER 275 NEW BEST:: SOT 13213 SOS 6998 HAS SOPS 6838 HAS SOUS 3758 HAS SOUPS 3750 WITH SCORE 3756.998
AT ITER 293 NEW BEST:: SOT 13210 SOS 6988 HAS SOPS 6828 HAS SOUS 3754 HAS SOUPS 3746 WITH SCORE 3752.988
AT ITER 295 NEW BEST:: SOT 13213 SOS 6954 HAS SOPS 6794 HAS SOUS 3733 HAS SOUPS 3725 WITH SCORE 3731.954
AT ITER 304 NEW BEST:: SOT 13211 SOS 7020 HAS SOPS 6860 HAS SOUS 3730 HAS SOUPS 3722 WITH SCORE 3729.02
AT ITER 306 NEW BEST:: SOT 13209 SOS 7018 HAS SOPS 6858 HAS SOUS 3726 HAS SOUPS 3718 WITH SCORE 3725.018
AT ITER 307 NEW BEST:: SOT 13188 SOS 6961 HAS SOPS 6801 HAS SOUS 3684 HAS SOUPS 3676 WITH SCORE 3682.961
AT ITER 311 NEW BEST:: SOT 13199 SOS 6865 HAS SOPS 6705 HAS SOUS 3594 HAS SOUPS 3586 WITH SCORE 3592.865
AT ITER 312 NEW BEST:: SOT 13193 SOS 6863 HAS SOPS 6703 HAS SOUS 3591 HAS SOUPS 3583 WITH SCORE 3589.863
AT ITER 315 NEW BEST:: SOT 13169 SOS 6829 HAS SOPS 6669 HAS SOUS 3574 HAS SOUPS 3566 WITH SCORE 3572.829
AT ITER 316 NEW BEST:: SOT 13167 SOS 6825 HAS SOPS 6665 HAS SOUS 3573 HAS SOUPS 3565 WITH SCORE 3571.825
AT ITER 321 NEW BEST:: SOT 13164 SOS 6822 HAS SOPS 6662 HAS SOUS 3570 HAS SOUPS 3562 WITH SCORE 3568.822
AT ITER 325 NEW BEST:: SOT 13144 SOS 6802 HAS SOPS 6642 HAS SOUS 3553 HAS SOUPS 3545 WITH SCORE 3551.802
AT ITER 328 NEW BEST:: SOT 13142 SOS 6794 HAS SOPS 6634 HAS SOUS 3545 HAS SOUPS 3537 WITH SCORE 3543.794
AT ITER 331 NEW BEST:: SOT 13120 SOS 6772 HAS SOPS 6612 HAS SOUS 3534 HAS SOUPS 3526 WITH SCORE 3532.772
AT ITER 336 NEW BEST:: SOT 13122 SOS 6716 HAS SOPS 6556 HAS SOUS 3511 HAS SOUPS 3503 WITH SCORE 3509.716
AT ITER 337 NEW BEST:: SOT 13196 SOS 6788 HAS SOPS 6628 HAS SOUS 3509 HAS SOUPS 3501 WITH SCORE 3507.788
AT ITER 350 NEW BEST:: SOT 13169 SOS 6769 HAS SOPS 6609 HAS SOUS 3507 HAS SOUPS 3499 WITH SCORE 3505.769
AT ITER 387 NEW BEST:: SOT 13167 SOS 6761 HAS SOPS 6601 HAS SOUS 3501 HAS SOUPS 3493 WITH SCORE 3499.761
AT ITER 398 NEW BEST:: SOT 13164 SOS 6714 HAS SOPS 6554 HAS SOUS 3473 HAS SOUPS 3465 WITH SCORE 3471.714
AT ITER 402 NEW BEST:: SOT 13094 SOS 6634 HAS SOPS 6467 HAS SOUS 3397 HAS SOUPS 3389 WITH SCORE 3395.634
AT ITER 404 NEW BEST:: SOT 13084 SOS 6614 HAS SOPS 6447 HAS SOUS 3381 HAS SOUPS 3373 WITH SCORE 3379.614
AT ITER 408 NEW BEST:: SOT 13083 SOS 6613 HAS SOPS 6446 HAS SOUS 3379 HAS SOUPS 3371 WITH SCORE 3377.613
AT ITER 431 NEW BEST:: SOT 13091 SOS 6613 HAS SOPS 6446 HAS SOUS 3375 HAS SOUPS 3367 WITH SCORE 3373.613
AT ITER 433 NEW BEST:: SOT 13073 SOS 6559 HAS SOPS 6392 HAS SOUS 3366 HAS SOUPS 3358 WITH SCORE 3364.559
AT ITER 439 NEW BEST:: SOT 13141 SOS 6596 HAS SOPS 6428 HAS SOUS 3332 HAS SOUPS 3324 WITH SCORE 3330.596
AT ITER 440 NEW BEST:: SOT 13126 SOS 6609 HAS SOPS 6441 HAS SOUS 3330 HAS SOUPS 3322 WITH SCORE 3328.609
AT ITER 449 NEW BEST:: SOT 13111 SOS 6559 HAS SOPS 6395 HAS SOUS 3246 HAS SOUPS 3238 WITH SCORE 3244.559
AT ITER 452 NEW BEST:: SOT 13103 SOS 6543 HAS SOPS 6379 HAS SOUS 3229 HAS SOUPS 3221 WITH SCORE 3227.543
AT ITER 467 NEW BEST:: SOT 13087 SOS 6519 HAS SOPS 6355 HAS SOUS 3213 HAS SOUPS 3205 WITH SCORE 3211.519
AT ITER 477 NEW BEST:: SOT 13086 SOS 6508 HAS SOPS 6337 HAS SOUS 3188 HAS SOUPS 3180 WITH SCORE 3186.508
AT ITER 481 NEW BEST:: SOT 13082 SOS 6504 HAS SOPS 6333 HAS SOUS 3180 HAS SOUPS 3172 WITH SCORE 3178.504
AT ITER 491 NEW BEST:: SOT 13100 SOS 6516 HAS SOPS 6345 HAS SOUS 3164 HAS SOUPS 3156 WITH SCORE 3162.516
AT ITER 501 NEW BEST:: SOT 13102 SOS 6482 HAS SOPS 6311 HAS SOUS 3138 HAS SOUPS 3130 WITH SCORE 3136.482
AT ITER 513 NEW BEST:: SOT 13057 SOS 6399 HAS SOPS 6228 HAS SOUS 3105 HAS SOUPS 3097 WITH SCORE 3103.399
AT ITER 515 NEW BEST:: SOT 13053 SOS 6395 HAS SOPS 6224 HAS SOUS 3103 HAS SOUPS 3095 WITH SCORE 3101.395
AT ITER 539 NEW BEST:: SOT 13050 SOS 6399 HAS SOPS 6228 HAS SOUS 3102 HAS SOUPS 3094 WITH SCORE 3100.399
AT ITER 543 NEW BEST:: SOT 12994 SOS 6347 HAS SOPS 6176 HAS SOUS 3072 HAS SOUPS 3064 WITH SCORE 3070.347
AT ITER 557 NEW BEST:: SOT 12993 SOS 6346 HAS SOPS 6175 HAS SOUS 3070 HAS SOUPS 3062 WITH SCORE 3068.346
AT ITER 565 NEW BEST:: SOT 12985 SOS 6338 HAS SOPS 6167 HAS SOUS 3062 HAS SOUPS 3054 WITH SCORE 3060.338
AT ITER 570 NEW BEST:: SOT 12985 SOS 6370 HAS SOPS 6199 HAS SOUS 3050 HAS SOUPS 3042 WITH SCORE 3048.37
AT ITER 573 NEW BEST:: SOT 12973 SOS 6321 HAS SOPS 6150 HAS SOUS 2989 HAS SOUPS 2981 WITH SCORE 2987.321
AT ITER 577 NEW BEST:: SOT 12973 SOS 6318 HAS SOPS 6147 HAS SOUS 2986 HAS SOUPS 2978 WITH SCORE 2984.318
AT ITER 582 NEW BEST:: SOT 12976 SOS 6321 HAS SOPS 6150 HAS SOUS 2983 HAS SOUPS 2975 WITH SCORE 2981.321
AT ITER 583 NEW BEST:: SOT 12964 SOS 6286 HAS SOPS 6115 HAS SOUS 2936 HAS SOUPS 2928 WITH SCORE 2934.286
AT ITER 608 NEW BEST:: SOT 12943 SOS 6265 HAS SOPS 6094 HAS SOUS 2922 HAS SOUPS 2914 WITH SCORE 2920.265
AT ITER 647 NEW BEST:: SOT 12948 SOS 6266 HAS SOPS 6095 HAS SOUS 2916 HAS SOUPS 2908 WITH SCORE 2914.266
AT ITER 649 NEW BEST:: SOT 12941 SOS 6273 HAS SOPS 6102 HAS SOUS 2888 HAS SOUPS 2880 WITH SCORE 2886.273
AT ITER 651 NEW BEST:: SOT 12937 SOS 6260 HAS SOPS 6089 HAS SOUS 2888 HAS SOUPS 2880 WITH SCORE 2886.26
AT ITER 663 NEW BEST:: SOT 12936 SOS 6259 HAS SOPS 6088 HAS SOUS 2888 HAS SOUPS 2880 WITH SCORE 2886.259
AT ITER 698 NEW BEST:: SOT 12895 SOS 6236 HAS SOPS 6065 HAS SOUS 2852 HAS SOUPS 2844 WITH SCORE 2850.236
AT ITER 700 NEW BEST:: SOT 12874 SOS 6219 HAS SOPS 6048 HAS SOUS 2838 HAS SOUPS 2830 WITH SCORE 2836.219
AT ITER 724 NEW BEST:: SOT 12861 SOS 6224 HAS SOPS 6053 HAS SOUS 2836 HAS SOUPS 2828 WITH SCORE 2834.224
AT ITER 728 NEW BEST:: SOT 12787 SOS 6150 HAS SOPS 5979 HAS SOUS 2688 HAS SOUPS 2680 WITH SCORE 2686.15
AT ITER 730 NEW BEST:: SOT 12801 SOS 5851 HAS SOPS 5680 HAS SOUS 2680 HAS SOUPS 2672 WITH SCORE 2677.851
AT ITER 751 NEW BEST:: SOT 12801 SOS 5847 HAS SOPS 5676 HAS SOUS 2680 HAS SOUPS 2672 WITH SCORE 2677.847
AT ITER 752 NEW BEST:: SOT 12827 SOS 5843 HAS SOPS 5672 HAS SOUS 2678 HAS SOUPS 2670 WITH SCORE 2675.843
AT ITER 754 NEW BEST:: SOT 12805 SOS 5799 HAS SOPS 5628 HAS SOUS 2611 HAS SOUPS 2603 WITH SCORE 2608.799
AT ITER 759 NEW BEST:: SOT 12805 SOS 5795 HAS SOPS 5624 HAS SOUS 2607 HAS SOUPS 2599 WITH SCORE 2604.795
AT ITER 760 NEW BEST:: SOT 12793 SOS 5783 HAS SOPS 5612 HAS SOUS 2595 HAS SOUPS 2587 WITH SCORE 2592.783
AT ITER 775 NEW BEST:: SOT 12792 SOS 5782 HAS SOPS 5611 HAS SOUS 2594 HAS SOUPS 2586 WITH SCORE 2591.782
AT ITER 783 NEW BEST:: SOT 12786 SOS 5769 HAS SOPS 5598 HAS SOUS 2550 HAS SOUPS 2542 WITH SCORE 2547.769
AT ITER 791 NEW BEST:: SOT 12775 SOS 5754 HAS SOPS 5583 HAS SOUS 2532 HAS SOUPS 2524 WITH SCORE 2529.754
AT ITER 835 NEW BEST:: SOT 12779 SOS 5737 HAS SOPS 5566 HAS SOUS 2530 HAS SOUPS 2522 WITH SCORE 2527.737
AT ITER 845 NEW BEST:: SOT 12776 SOS 5734 HAS SOPS 5563 HAS SOUS 2524 HAS SOUPS 2516 WITH SCORE 2521.734
AT ITER 855 NEW BEST:: SOT 12776 SOS 5718 HAS SOPS 5547 HAS SOUS 2516 HAS SOUPS 2508 WITH SCORE 2513.718
AT ITER 865 NEW BEST:: SOT 12753 SOS 5683 HAS SOPS 5512 HAS SOUS 2504 HAS SOUPS 2496 WITH SCORE 2501.683
AT ITER 867 NEW BEST:: SOT 12752 SOS 5682 HAS SOPS 5511 HAS SOUS 2503 HAS SOUPS 2495 WITH SCORE 2500.682
AT ITER 872 NEW BEST:: SOT 12752 SOS 5667 HAS SOPS 5496 HAS SOUS 2494 HAS SOUPS 2486 WITH SCORE 2491.667
AT ITER 879 NEW BEST:: SOT 12734 SOS 5645 HAS SOPS 5474 HAS SOUS 2458 HAS SOUPS 2450 WITH SCORE 2455.645
AT ITER 900 NEW BEST:: SOT 12721 SOS 5628 HAS SOPS 5457 HAS SOUS 2444 HAS SOUPS 2436 WITH SCORE 2441.628
AT ITER 903 NEW BEST:: SOT 12713 SOS 5620 HAS SOPS 5449 HAS SOUS 2440 HAS SOUPS 2432 WITH SCORE 2437.62
AT ITER 908 NEW BEST:: SOT 12699 SOS 6146 HAS SOPS 5515 HAS SOUS 2456 HAS SOUPS 2431 WITH SCORE 2437.146
AT ITER 915 NEW BEST:: SOT 12699 SOS 6118 HAS SOPS 5487 HAS SOUS 2428 HAS SOUPS 2403 WITH SCORE 2409.118
AT ITER 916 NEW BEST:: SOT 12697 SOS 6116 HAS SOPS 5485 HAS SOUS 2428 HAS SOUPS 2403 WITH SCORE 2409.116
AT ITER 933 NEW BEST:: SOT 12697 SOS 6116 HAS SOPS 5484 HAS SOUS 2427 HAS SOUPS 2402 WITH SCORE 2408.116
AT ITER 944 NEW BEST:: SOT 12681 SOS 6082 HAS SOPS 5450 HAS SOUS 2400 HAS SOUPS 2375 WITH SCORE 2381.082
AT ITER 953 NEW BEST:: SOT 12534 SOS 6216 HAS SOPS 6214 HAS SOUS 2270 HAS SOUPS 2269 WITH SCORE 2275.216
AT ITER 954 NEW BEST:: SOT 12533 SOS 6214 HAS SOPS 6212 HAS SOUS 2270 HAS SOUPS 2269 WITH SCORE 2275.214
AT ITER 968 NEW BEST:: SOT 12517 SOS 6198 HAS SOPS 6196 HAS SOUS 2262 HAS SOUPS 2261 WITH SCORE 2267.198
AT ITER 984 NEW BEST:: SOT 12529 SOS 6174 HAS SOPS 6172 HAS SOUS 2262 HAS SOUPS 2261 WITH SCORE 2267.174
AT ITER 1027 NEW BEST:: SOT 12529 SOS 6170 HAS SOPS 6168 HAS SOUS 2262 HAS SOUPS 2261 WITH SCORE 2267.17
AT ITER 1039 NEW BEST:: SOT 12544 SOS 6160 HAS SOPS 6158 HAS SOUS 2252 HAS SOUPS 2251 WITH SCORE 2257.16
AT ITER 1052 NEW BEST:: SOT 12538 SOS 6151 HAS SOPS 6149 HAS SOUS 2240 HAS SOUPS 2239 WITH SCORE 2245.151
AT ITER 1055 NEW BEST:: SOT 12557 SOS 6112 HAS SOPS 6110 HAS SOUS 2213 HAS SOUPS 2212 WITH SCORE 2218.112
AT ITER 1064 NEW BEST:: SOT 12555 SOS 6097 HAS SOPS 6095 HAS SOUS 2188 HAS SOUPS 2187 WITH SCORE 2193.097
AT ITER 1091 NEW BEST:: SOT 12552 SOS 6085 HAS SOPS 6083 HAS SOUS 2174 HAS SOUPS 2173 WITH SCORE 2179.085
AT ITER 1137 NEW BEST:: SOT 12546 SOS 6084 HAS SOPS 6082 HAS SOUS 2173 HAS SOUPS 2172 WITH SCORE 2178.084
AT ITER 1169 NEW BEST:: SOT 12555 SOS 6054 HAS SOPS 6052 HAS SOUS 2143 HAS SOUPS 2142 WITH SCORE 2148.054
AT ITER 1175 NEW BEST:: SOT 12550 SOS 6055 HAS SOPS 6053 HAS SOUS 2139 HAS SOUPS 2138 WITH SCORE 2144.055
AT ITER 1187 NEW BEST:: SOT 12533 SOS 6039 HAS SOPS 6037 HAS SOUS 2129 HAS SOUPS 2128 WITH SCORE 2134.039
AT ITER 1191 NEW BEST:: SOT 12528 SOS 6032 HAS SOPS 6030 HAS SOUS 2123 HAS SOUPS 2122 WITH SCORE 2128.032
AT ITER 1195 NEW BEST:: SOT 12528 SOS 6030 HAS SOPS 6028 HAS SOUS 2119 HAS SOUPS 2118 WITH SCORE 2124.03
AT ITER 1209 NEW BEST:: SOT 12531 SOS 6025 HAS SOPS 6023 HAS SOUS 2119 HAS SOUPS 2118 WITH SCORE 2124.025
AT ITER 1215 NEW BEST:: SOT 12523 SOS 6021 HAS SOPS 6019 HAS SOUS 2107 HAS SOUPS 2106 WITH SCORE 2112.021
AT ITER 1295 NEW BEST:: SOT 12519 SOS 6023 HAS SOPS 6021 HAS SOUS 2100 HAS SOUPS 2099 WITH SCORE 2105.023
AT ITER 1297 NEW BEST:: SOT 12529 SOS 6013 HAS SOPS 6011 HAS SOUS 2088 HAS SOUPS 2087 WITH SCORE 2093.013
AT ITER 1312 NEW BEST:: SOT 12566 SOS 6036 HAS SOPS 6034 HAS SOUS 2086 HAS SOUPS 2085 WITH SCORE 2091.036
AT ITER 1353 NEW BEST:: SOT 12550 SOS 6019 HAS SOPS 6017 HAS SOUS 2078 HAS SOUPS 2077 WITH SCORE 2083.019
AT ITER 1355 NEW BEST:: SOT 12532 SOS 5999 HAS SOPS 5997 HAS SOUS 2052 HAS SOUPS 2051 WITH SCORE 2056.999
AT ITER 1372 NEW BEST:: SOT 12532 SOS 5998 HAS SOPS 5996 HAS SOUS 2049 HAS SOUPS 2048 WITH SCORE 2053.998
AT ITER 1375 NEW BEST:: SOT 12537 SOS 6002 HAS SOPS 6000 HAS SOUS 2047 HAS SOUPS 2046 WITH SCORE 2052.002
AT ITER 1397 NEW BEST:: SOT 12536 SOS 6000 HAS SOPS 5998 HAS SOUS 2044 HAS SOUPS 2043 WITH SCORE 2049.0
AT ITER 1422 NEW BEST:: SOT 12524 SOS 5987 HAS SOPS 5985 HAS SOUS 2034 HAS SOUPS 2033 WITH SCORE 2038.987
AT ITER 1442 NEW BEST:: SOT 12508 SOS 5971 HAS SOPS 5969 HAS SOUS 2002 HAS SOUPS 2001 WITH SCORE 2006.971
AT ITER 1444 NEW BEST:: SOT 12509 SOS 5969 HAS SOPS 5967 HAS SOUS 2002 HAS SOUPS 2001 WITH SCORE 2006.969
AT ITER 1448 NEW BEST:: SOT 12509 SOS 5923 HAS SOPS 5921 HAS SOUS 1980 HAS SOUPS 1979 WITH SCORE 1984.923
AT ITER 1462 NEW BEST:: SOT 12486 SOS 5891 HAS SOPS 5889 HAS SOUS 1934 HAS SOUPS 1933 WITH SCORE 1938.891
AT ITER 1493 NEW BEST:: SOT 12484 SOS 5891 HAS SOPS 5889 HAS SOUS 1933 HAS SOUPS 1932 WITH SCORE 1937.891
AT ITER 1502 NEW BEST:: SOT 12479 SOS 5884 HAS SOPS 5882 HAS SOUS 1925 HAS SOUPS 1924 WITH SCORE 1929.884
AT ITER 1521 NEW BEST:: SOT 12469 SOS 5876 HAS SOPS 5874 HAS SOUS 1913 HAS SOUPS 1912 WITH SCORE 1917.876
AT ITER 1523 NEW BEST:: SOT 12470 SOS 5869 HAS SOPS 5867 HAS SOUS 1911 HAS SOUPS 1910 WITH SCORE 1915.869
AT ITER 1529 NEW BEST:: SOT 12457 SOS 5884 HAS SOPS 5882 HAS SOUS 1907 HAS SOUPS 1906 WITH SCORE 1911.884
AT ITER 1543 NEW BEST:: SOT 12463 SOS 5882 HAS SOPS 5880 HAS SOUS 1906 HAS SOUPS 1905 WITH SCORE 1910.882
AT ITER 1548 NEW BEST:: SOT 12451 SOS 5867 HAS SOPS 5865 HAS SOUS 1894 HAS SOUPS 1893 WITH SCORE 1898.867
AT ITER 1583 NEW BEST:: SOT 12470 SOS 5818 HAS SOPS 5816 HAS SOUS 1877 HAS SOUPS 1876 WITH SCORE 1881.818
AT ITER 1604 NEW BEST:: SOT 12467 SOS 5815 HAS SOPS 5813 HAS SOUS 1874 HAS SOUPS 1873 WITH SCORE 1878.815
AT ITER 1619 NEW BEST:: SOT 12451 SOS 5783 HAS SOPS 5781 HAS SOUS 1826 HAS SOUPS 1825 WITH SCORE 1830.783
AT ITER 1653 NEW BEST:: SOT 12448 SOS 5776 HAS SOPS 5774 HAS SOUS 1816 HAS SOUPS 1815 WITH SCORE 1820.776
AT ITER 1659 NEW BEST:: SOT 12431 SOS 5759 HAS SOPS 5757 HAS SOUS 1800 HAS SOUPS 1799 WITH SCORE 1804.759
AT ITER 1661 NEW BEST:: SOT 12428 SOS 5748 HAS SOPS 5746 HAS SOUS 1794 HAS SOUPS 1793 WITH SCORE 1798.748
AT ITER 1739 NEW BEST:: SOT 12423 SOS 5762 HAS SOPS 5760 HAS SOUS 1792 HAS SOUPS 1791 WITH SCORE 1796.762
AT ITER 1756 NEW BEST:: SOT 12422 SOS 5757 HAS SOPS 5755 HAS SOUS 1790 HAS SOUPS 1789 WITH SCORE 1794.757
AT ITER 1776 NEW BEST:: SOT 12443 SOS 5706 HAS SOPS 5704 HAS SOUS 1784 HAS SOUPS 1783 WITH SCORE 1788.706
AT ITER 1777 NEW BEST:: SOT 12426 SOS 5562 HAS SOPS 5468 HAS SOUS 1778 HAS SOUPS 1774 WITH SCORE 1779.562
AT ITER 1789 NEW BEST:: SOT 12425 SOS 5561 HAS SOPS 5467 HAS SOUS 1776 HAS SOUPS 1772 WITH SCORE 1777.561
AT ITER 1812 NEW BEST:: SOT 12425 SOS 5562 HAS SOPS 5468 HAS SOUS 1775 HAS SOUPS 1771 WITH SCORE 1776.562
AT ITER 1813 NEW BEST:: SOT 12425 SOS 5560 HAS SOPS 5466 HAS SOUS 1770 HAS SOUPS 1766 WITH SCORE 1771.56
AT ITER 1815 NEW BEST:: SOT 12400 SOS 5579 HAS SOPS 5485 HAS SOUS 1748 HAS SOUPS 1744 WITH SCORE 1749.579
AT ITER 1821 NEW BEST:: SOT 12418 SOS 5587 HAS SOPS 5492 HAS SOUS 1740 HAS SOUPS 1736 WITH SCORE 1741.587
AT ITER 1855 NEW BEST:: SOT 12395 SOS 5596 HAS SOPS 5501 HAS SOUS 1731 HAS SOUPS 1727 WITH SCORE 1732.596
AT ITER 1876 NEW BEST:: SOT 12378 SOS 5599 HAS SOPS 5504 HAS SOUS 1721 HAS SOUPS 1717 WITH SCORE 1722.599
AT ITER 1889 NEW BEST:: SOT 12380 SOS 5601 HAS SOPS 5506 HAS SOUS 1719 HAS SOUPS 1715 WITH SCORE 1720.601
AT ITER 1909 NEW BEST:: SOT 12380 SOS 5598 HAS SOPS 5503 HAS SOUS 1716 HAS SOUPS 1712 WITH SCORE 1717.598
AT ITER 1914 NEW BEST:: SOT 12359 SOS 5567 HAS SOPS 5472 HAS SOUS 1694 HAS SOUPS 1690 WITH SCORE 1695.567
AT ITER 1982 NEW BEST:: SOT 12361 SOS 5562 HAS SOPS 5467 HAS SOUS 1692 HAS SOUPS 1688 WITH SCORE 1693.562
AT ITER 1988 NEW BEST:: SOT 12361 SOS 5559 HAS SOPS 5464 HAS SOUS 1689 HAS SOUPS 1685 WITH SCORE 1690.559
AT ITER 2010 NEW BEST:: SOT 12356 SOS 5547 HAS SOPS 5452 HAS SOUS 1685 HAS SOUPS 1681 WITH SCORE 1686.547
AT ITER 2015 NEW BEST:: SOT 12356 SOS 5541 HAS SOPS 5446 HAS SOUS 1682 HAS SOUPS 1678 WITH SCORE 1683.541
AT ITER 2028 NEW BEST:: SOT 12368 SOS 5536 HAS SOPS 5441 HAS SOUS 1669 HAS SOUPS 1665 WITH SCORE 1670.536
AT ITER 2036 NEW BEST:: SOT 12363 SOS 5544 HAS SOPS 5449 HAS SOUS 1665 HAS SOUPS 1661 WITH SCORE 1666.544
AT ITER 2050 NEW BEST:: SOT 12359 SOS 5551 HAS SOPS 5456 HAS SOUS 1651 HAS SOUPS 1647 WITH SCORE 1652.551
AT ITER 2096 NEW BEST:: SOT 12336 SOS 5533 HAS SOPS 5441 HAS SOUS 1642 HAS SOUPS 1638 WITH SCORE 1643.533
AT ITER 2137 NEW BEST:: SOT 12337 SOS 5533 HAS SOPS 5441 HAS SOUS 1641 HAS SOUPS 1637 WITH SCORE 1642.533
AT ITER 2155 NEW BEST:: SOT 12339 SOS 5531 HAS SOPS 5439 HAS SOUS 1641 HAS SOUPS 1637 WITH SCORE 1642.531
AT ITER 2202 NEW BEST:: SOT 12334 SOS 5526 HAS SOPS 5434 HAS SOUS 1631 HAS SOUPS 1627 WITH SCORE 1632.526
AT ITER 2212 NEW BEST:: SOT 12334 SOS 5522 HAS SOPS 5430 HAS SOUS 1631 HAS SOUPS 1627 WITH SCORE 1632.522
AT ITER 2253 NEW BEST:: SOT 12333 SOS 5519 HAS SOPS 5427 HAS SOUS 1629 HAS SOUPS 1625 WITH SCORE 1630.519
AT ITER 2364 NEW BEST:: SOT 12327 SOS 5515 HAS SOPS 5423 HAS SOUS 1627 HAS SOUPS 1623 WITH SCORE 1628.515
AT ITER 2384 NEW BEST:: SOT 12318 SOS 5500 HAS SOPS 5408 HAS SOUS 1618 HAS SOUPS 1614 WITH SCORE 1619.5
AT ITER 2455 NEW BEST:: SOT 12297 SOS 5465 HAS SOPS 5373 HAS SOUS 1590 HAS SOUPS 1586 WITH SCORE 1591.465
AT ITER 2482 NEW BEST:: SOT 12296 SOS 5425 HAS SOPS 5333 HAS SOUS 1575 HAS SOUPS 1571 WITH SCORE 1576.425
AT ITER 2489 NEW BEST:: SOT 12293 SOS 5422 HAS SOPS 5330 HAS SOUS 1572 HAS SOUPS 1568 WITH SCORE 1573.422
AT ITER 2511 NEW BEST:: SOT 12291 SOS 5420 HAS SOPS 5328 HAS SOUS 1568 HAS SOUPS 1564 WITH SCORE 1569.42
AT ITER 2525 NEW BEST:: SOT 12273 SOS 5412 HAS SOPS 5320 HAS SOUS 1558 HAS SOUPS 1554 WITH SCORE 1559.412
AT ITER 2567 NEW BEST:: SOT 12269 SOS 5408 HAS SOPS 5316 HAS SOUS 1552 HAS SOUPS 1548 WITH SCORE 1553.408
AT ITER 2600 NEW BEST:: SOT 12255 SOS 5394 HAS SOPS 5302 HAS SOUS 1531 HAS SOUPS 1527 WITH SCORE 1532.394
AT ITER 2624 NEW BEST:: SOT 12255 SOS 5393 HAS SOPS 5301 HAS SOUS 1530 HAS SOUPS 1526 WITH SCORE 1531.393
AT ITER 2628 NEW BEST:: SOT 12249 SOS 5387 HAS SOPS 5295 HAS SOUS 1524 HAS SOUPS 1520 WITH SCORE 1525.387
AT ITER 2631 NEW BEST:: SOT 12227 SOS 5365 HAS SOPS 5273 HAS SOUS 1480 HAS SOUPS 1476 WITH SCORE 1481.365
AT ITER 2663 NEW BEST:: SOT 12226 SOS 5362 HAS SOPS 5270 HAS SOUS 1479 HAS SOUPS 1475 WITH SCORE 1480.362
AT ITER 2671 NEW BEST:: SOT 12227 SOS 5361 HAS SOPS 5269 HAS SOUS 1478 HAS SOUPS 1474 WITH SCORE 1479.361
AT ITER 2719 NEW BEST:: SOT 12226 SOS 5360 HAS SOPS 5268 HAS SOUS 1477 HAS SOUPS 1473 WITH SCORE 1478.36
AT ITER 2757 NEW BEST:: SOT 12207 SOS 5345 HAS SOPS 5253 HAS SOUS 1456 HAS SOUPS 1452 WITH SCORE 1457.345
AT ITER 2807 NEW BEST:: SOT 12209 SOS 5347 HAS SOPS 5255 HAS SOUS 1454 HAS SOUPS 1450 WITH SCORE 1455.347
AT ITER 2841 NEW BEST:: SOT 12191 SOS 5298 HAS SOPS 5206 HAS SOUS 1431 HAS SOUPS 1427 WITH SCORE 1432.298
AT ITER 2868 NEW BEST:: SOT 12189 SOS 5300 HAS SOPS 5208 HAS SOUS 1428 HAS SOUPS 1424 WITH SCORE 1429.3
AT ITER 2870 NEW BEST:: SOT 12187 SOS 5296 HAS SOPS 5204 HAS SOUS 1427 HAS SOUPS 1423 WITH SCORE 1428.296
AT ITER 2871 NEW BEST:: SOT 12183 SOS 5289 HAS SOPS 5197 HAS SOUS 1421 HAS SOUPS 1417 WITH SCORE 1422.289
AT ITER 2902 NEW BEST:: SOT 12186 SOS 5297 HAS SOPS 5205 HAS SOUS 1415 HAS SOUPS 1411 WITH SCORE 1416.297
AT ITER 2971 NEW BEST:: SOT 12179 SOS 5293 HAS SOPS 5201 HAS SOUS 1415 HAS SOUPS 1411 WITH SCORE 1416.293
AT ITER 2973 NEW BEST:: SOT 12172 SOS 5286 HAS SOPS 5194 HAS SOUS 1401 HAS SOUPS 1397 WITH SCORE 1402.286
AT ITER 2990 NEW BEST:: SOT 12127 SOS 5251 HAS SOPS 5159 HAS SOUS 1382 HAS SOUPS 1378 WITH SCORE 1383.251
AT ITER 3082 NEW BEST:: SOT 12122 SOS 5246 HAS SOPS 5154 HAS SOUS 1382 HAS SOUPS 1378 WITH SCORE 1383.246
AT ITER 3084 NEW BEST:: SOT 12129 SOS 5231 HAS SOPS 5139 HAS SOUS 1382 HAS SOUPS 1378 WITH SCORE 1383.231
AT ITER 3103 NEW BEST:: SOT 12129 SOS 5230 HAS SOPS 5138 HAS SOUS 1382 HAS SOUPS 1378 WITH SCORE 1383.23
AT ITER 3122 NEW BEST:: SOT 12123 SOS 5222 HAS SOPS 5130 HAS SOUS 1370 HAS SOUPS 1366 WITH SCORE 1371.222
AT ITER 3128 NEW BEST:: SOT 12119 SOS 5218 HAS SOPS 5126 HAS SOUS 1368 HAS SOUPS 1364 WITH SCORE 1369.218
AT ITER 3129 NEW BEST:: SOT 12116 SOS 5215 HAS SOPS 5123 HAS SOUS 1368 HAS SOUPS 1364 WITH SCORE 1369.215
AT ITER 3151 NEW BEST:: SOT 12117 SOS 5212 HAS SOPS 5120 HAS SOUS 1363 HAS SOUPS 1359 WITH SCORE 1364.212
AT ITER 3177 NEW BEST:: SOT 12115 SOS 5208 HAS SOPS 5116 HAS SOUS 1359 HAS SOUPS 1355 WITH SCORE 1360.208
AT ITER 3178 NEW BEST:: SOT 12087 SOS 5209 HAS SOPS 5117 HAS SOUS 1355 HAS SOUPS 1351 WITH SCORE 1356.209
AT ITER 3196 NEW BEST:: SOT 12089 SOS 5207 HAS SOPS 5115 HAS SOUS 1353 HAS SOUPS 1349 WITH SCORE 1354.207
AT ITER 3245 NEW BEST:: SOT 12087 SOS 5206 HAS SOPS 5114 HAS SOUS 1353 HAS SOUPS 1349 WITH SCORE 1354.206
AT ITER 3301 NEW BEST:: SOT 12087 SOS 5208 HAS SOPS 5116 HAS SOUS 1351 HAS SOUPS 1347 WITH SCORE 1352.208
AT ITER 3304 NEW BEST:: SOT 12078 SOS 5199 HAS SOPS 5107 HAS SOUS 1333 HAS SOUPS 1329 WITH SCORE 1334.199
AT ITER 3309 NEW BEST:: SOT 12072 SOS 5193 HAS SOPS 5101 HAS SOUS 1321 HAS SOUPS 1317 WITH SCORE 1322.193
AT ITER 3324 NEW BEST:: SOT 12066 SOS 5177 HAS SOPS 5085 HAS SOUS 1307 HAS SOUPS 1303 WITH SCORE 1308.177
AT ITER 3416 NEW BEST:: SOT 12064 SOS 5175 HAS SOPS 5083 HAS SOUS 1305 HAS SOUPS 1301 WITH SCORE 1306.175
AT ITER 3458 NEW BEST:: SOT 12055 SOS 5163 HAS SOPS 5071 HAS SOUS 1299 HAS SOUPS 1295 WITH SCORE 1300.163
AT ITER 3503 NEW BEST:: SOT 12053 SOS 5162 HAS SOPS 5070 HAS SOUS 1299 HAS SOUPS 1295 WITH SCORE 1300.162
AT ITER 3553 NEW BEST:: SOT 12053 SOS 5156 HAS SOPS 5064 HAS SOUS 1293 HAS SOUPS 1289 WITH SCORE 1294.156
AT ITER 3555 NEW BEST:: SOT 12048 SOS 5151 HAS SOPS 5059 HAS SOUS 1293 HAS SOUPS 1289 WITH SCORE 1294.151
AT ITER 3563 NEW BEST:: SOT 12043 SOS 5136 HAS SOPS 5044 HAS SOUS 1283 HAS SOUPS 1279 WITH SCORE 1284.136
AT ITER 3577 NEW BEST:: SOT 12047 SOS 5136 HAS SOPS 5044 HAS SOUS 1282 HAS SOUPS 1278 WITH SCORE 1283.136
AT ITER 3603 NEW BEST:: SOT 12044 SOS 5136 HAS SOPS 5044 HAS SOUS 1279 HAS SOUPS 1275 WITH SCORE 1280.136
AT ITER 3609 NEW BEST:: SOT 12046 SOS 5129 HAS SOPS 5037 HAS SOUS 1274 HAS SOUPS 1270 WITH SCORE 1275.129
AT ITER 3617 NEW BEST:: SOT 12042 SOS 5125 HAS SOPS 5033 HAS SOUS 1266 HAS SOUPS 1262 WITH SCORE 1267.125
AT ITER 3652 NEW BEST:: SOT 12038 SOS 5121 HAS SOPS 5029 HAS SOUS 1260 HAS SOUPS 1256 WITH SCORE 1261.121
AT ITER 3778 NEW BEST:: SOT 12062 SOS 4998 HAS SOPS 4906 HAS SOUS 1259 HAS SOUPS 1255 WITH SCORE 1259.998
AT ITER 3887 NEW BEST:: SOT 12060 SOS 4996 HAS SOPS 4904 HAS SOUS 1255 HAS SOUPS 1251 WITH SCORE 1255.996
AT ITER 3983 NEW BEST:: SOT 12058 SOS 4994 HAS SOPS 4902 HAS SOUS 1254 HAS SOUPS 1250 WITH SCORE 1254.994
AT ITER 3986 NEW BEST:: SOT 12057 SOS 4992 HAS SOPS 4900 HAS SOUS 1252 HAS SOUPS 1248 WITH SCORE 1252.992
AT ITER 4016 NEW BEST:: SOT 12051 SOS 4990 HAS SOPS 4898 HAS SOUS 1248 HAS SOUPS 1244 WITH SCORE 1248.99
AT ITER 4022 NEW BEST:: SOT 12049 SOS 4988 HAS SOPS 4896 HAS SOUS 1246 HAS SOUPS 1242 WITH SCORE 1246.988
AT ITER 4045 NEW BEST:: SOT 12045 SOS 4990 HAS SOPS 4898 HAS SOUS 1244 HAS SOUPS 1240 WITH SCORE 1244.99
AT ITER 4149 NEW BEST:: SOT 12047 SOS 4992 HAS SOPS 4900 HAS SOUS 1243 HAS SOUPS 1239 WITH SCORE 1243.992
AT ITER 4194 NEW BEST:: SOT 12045 SOS 4989 HAS SOPS 4897 HAS SOUS 1240 HAS SOUPS 1236 WITH SCORE 1240.989
AT ITER 4221 NEW BEST:: SOT 12038 SOS 4983 HAS SOPS 4891 HAS SOUS 1234 HAS SOUPS 1230 WITH SCORE 1234.983
AT ITER 4300 NEW BEST:: SOT 12048 SOS 4992 HAS SOPS 4900 HAS SOUS 1233 HAS SOUPS 1229 WITH SCORE 1233.992
AT ITER 4304 NEW BEST:: SOT 12031 SOS 4981 HAS SOPS 4889 HAS SOUS 1232 HAS SOUPS 1228 WITH SCORE 1232.981
AT ITER 4352 NEW BEST:: SOT 12030 SOS 4979 HAS SOPS 4917 HAS SOUS 1230 HAS SOUPS 1227 WITH SCORE 1231.979
AT ITER 4446 NEW BEST:: SOT 12023 SOS 4972 HAS SOPS 4910 HAS SOUS 1224 HAS SOUPS 1221 WITH SCORE 1225.972
AT ITER 4554 NEW BEST:: SOT 12021 SOS 4971 HAS SOPS 4909 HAS SOUS 1224 HAS SOUPS 1221 WITH SCORE 1225.971
AT ITER 4597 NEW BEST:: SOT 12023 SOS 4968 HAS SOPS 4906 HAS SOUS 1220 HAS SOUPS 1217 WITH SCORE 1221.968
AT ITER 4633 NEW BEST:: SOT 12018 SOS 4961 HAS SOPS 4899 HAS SOUS 1212 HAS SOUPS 1209 WITH SCORE 1213.961
AT ITER 4713 NEW BEST:: SOT 12018 SOS 4959 HAS SOPS 4897 HAS SOUS 1211 HAS SOUPS 1208 WITH SCORE 1212.959
AT ITER 4722 NEW BEST:: SOT 12028 SOS 4961 HAS SOPS 4899 HAS SOUS 1210 HAS SOUPS 1207 WITH SCORE 1211.961
AT ITER 4754 NEW BEST:: SOT 12024 SOS 4956 HAS SOPS 4894 HAS SOUS 1209 HAS SOUPS 1206 WITH SCORE 1210.956
AT ITER 4800 NEW BEST:: SOT 12024 SOS 4947 HAS SOPS 4885 HAS SOUS 1203 HAS SOUPS 1200 WITH SCORE 1204.947
AT ITER 4801 NEW BEST:: SOT 12022 SOS 4945 HAS SOPS 4883 HAS SOUS 1199 HAS SOUPS 1196 WITH SCORE 1200.945
AT ITER 4831 NEW BEST:: SOT 12023 SOS 4943 HAS SOPS 4881 HAS SOUS 1197 HAS SOUPS 1194 WITH SCORE 1198.943
AT ITER 4873 NEW BEST:: SOT 12023 SOS 4939 HAS SOPS 4877 HAS SOUS 1195 HAS SOUPS 1192 WITH SCORE 1196.939
AT ITER 4902 NEW BEST:: SOT 12021 SOS 4938 HAS SOPS 4876 HAS SOUS 1193 HAS SOUPS 1190 WITH SCORE 1194.938
AT ITER 4983 NEW BEST:: SOT 12018 SOS 4931 HAS SOPS 4869 HAS SOUS 1187 HAS SOUPS 1184 WITH SCORE 1188.931
AT ITER 5069 NEW BEST:: SOT 12015 SOS 4927 HAS SOPS 4865 HAS SOUS 1181 HAS SOUPS 1178 WITH SCORE 1182.927
AT ITER 5116 NEW BEST:: SOT 12016 SOS 4923 HAS SOPS 4861 HAS SOUS 1178 HAS SOUPS 1175 WITH SCORE 1179.923
AT ITER 5117 NEW BEST:: SOT 12015 SOS 4922 HAS SOPS 4860 HAS SOUS 1176 HAS SOUPS 1173 WITH SCORE 1177.922
AT ITER 5153 NEW BEST:: SOT 12013 SOS 4920 HAS SOPS 4858 HAS SOUS 1172 HAS SOUPS 1169 WITH SCORE 1173.92
AT ITER 5211 NEW BEST:: SOT 12013 SOS 4918 HAS SOPS 4856 HAS SOUS 1171 HAS SOUPS 1168 WITH SCORE 1172.918
AT ITER 5225 NEW BEST:: SOT 12016 SOS 4921 HAS SOPS 4859 HAS SOUS 1168 HAS SOUPS 1165 WITH SCORE 1169.921
AT ITER 5280 NEW BEST:: SOT 11999 SOS 4908 HAS SOPS 4846 HAS SOUS 1159 HAS SOUPS 1156 WITH SCORE 1160.908
AT ITER 5427 NEW BEST:: SOT 11997 SOS 4905 HAS SOPS 4843 HAS SOUS 1157 HAS SOUPS 1154 WITH SCORE 1158.905
AT ITER 5479 NEW BEST:: SOT 11995 SOS 4901 HAS SOPS 4839 HAS SOUS 1151 HAS SOUPS 1148 WITH SCORE 1152.901
AT ITER 5484 NEW BEST:: SOT 11991 SOS 4895 HAS SOPS 4833 HAS SOUS 1149 HAS SOUPS 1146 WITH SCORE 1150.895
AT ITER 5551 NEW BEST:: SOT 11991 SOS 4893 HAS SOPS 4831 HAS SOUS 1148 HAS SOUPS 1145 WITH SCORE 1149.893
AT ITER 5605 NEW BEST:: SOT 11992 SOS 4890 HAS SOPS 4828 HAS SOUS 1148 HAS SOUPS 1145 WITH SCORE 1149.89
AT ITER 5608 NEW BEST:: SOT 11990 SOS 4888 HAS SOPS 4826 HAS SOUS 1146 HAS SOUPS 1143 WITH SCORE 1147.888
AT ITER 5647 NEW BEST:: SOT 11989 SOS 4887 HAS SOPS 4825 HAS SOUS 1145 HAS SOUPS 1142 WITH SCORE 1146.887
AT ITER 5653 NEW BEST:: SOT 11997 SOS 4875 HAS SOPS 4813 HAS SOUS 1145 HAS SOUPS 1142 WITH SCORE 1146.875
AT ITER 5666 NEW BEST:: SOT 11994 SOS 4873 HAS SOPS 4811 HAS SOUS 1141 HAS SOUPS 1138 WITH SCORE 1142.873
AT ITER 5740 NEW BEST:: SOT 11993 SOS 4873 HAS SOPS 4811 HAS SOUS 1140 HAS SOUPS 1137 WITH SCORE 1141.873
AT ITER 5745 NEW BEST:: SOT 11992 SOS 4870 HAS SOPS 4808 HAS SOUS 1138 HAS SOUPS 1135 WITH SCORE 1139.87
AT ITER 5780 NEW BEST:: SOT 11991 SOS 4869 HAS SOPS 4807 HAS SOUS 1136 HAS SOUPS 1133 WITH SCORE 1137.869
AT ITER 5972 NEW BEST:: SOT 12003 SOS 4873 HAS SOPS 4811 HAS SOUS 1135 HAS SOUPS 1132 WITH SCORE 1136.873
AT ITER 6018 NEW BEST:: SOT 12004 SOS 4874 HAS SOPS 4812 HAS SOUS 1134 HAS SOUPS 1131 WITH SCORE 1135.874
AT ITER 6034 NEW BEST:: SOT 11983 SOS 4867 HAS SOPS 4805 HAS SOUS 1127 HAS SOUPS 1124 WITH SCORE 1128.867
AT ITER 6092 NEW BEST:: SOT 11984 SOS 4867 HAS SOPS 4805 HAS SOUS 1126 HAS SOUPS 1123 WITH SCORE 1127.867
AT ITER 6148 NEW BEST:: SOT 11980 SOS 4865 HAS SOPS 4803 HAS SOUS 1126 HAS SOUPS 1123 WITH SCORE 1127.865
AT ITER 6231 NEW BEST:: SOT 11975 SOS 4861 HAS SOPS 4799 HAS SOUS 1125 HAS SOUPS 1122 WITH SCORE 1126.861
AT ITER 6266 NEW BEST:: SOT 11972 SOS 4858 HAS SOPS 4796 HAS SOUS 1122 HAS SOUPS 1119 WITH SCORE 1123.858
AT ITER 6327 NEW BEST:: SOT 11972 SOS 4857 HAS SOPS 4795 HAS SOUS 1118 HAS SOUPS 1115 WITH SCORE 1119.857
AT ITER 6336 NEW BEST:: SOT 11976 SOS 4859 HAS SOPS 4797 HAS SOUS 1116 HAS SOUPS 1113 WITH SCORE 1117.859
AT ITER 6353 NEW BEST:: SOT 11963 SOS 4844 HAS SOPS 4782 HAS SOUS 1104 HAS SOUPS 1101 WITH SCORE 1105.844
AT ITER 6698 NEW BEST:: SOT 11961 SOS 4840 HAS SOPS 4778 HAS SOUS 1092 HAS SOUPS 1089 WITH SCORE 1093.84
AT ITER 6784 NEW BEST:: SOT 11960 SOS 4837 HAS SOPS 4775 HAS SOUS 1089 HAS SOUPS 1086 WITH SCORE 1090.837
AT ITER 6800 NEW BEST:: SOT 11960 SOS 4827 HAS SOPS 4765 HAS SOUS 1084 HAS SOUPS 1081 WITH SCORE 1085.827
AT ITER 6805 NEW BEST:: SOT 11958 SOS 4827 HAS SOPS 4706 HAS SOUS 1083 HAS SOUPS 1078 WITH SCORE 1082.827
AT ITER 6988 NEW BEST:: SOT 11955 SOS 4824 HAS SOPS 4702 HAS SOUS 1075 HAS SOUPS 1070 WITH SCORE 1074.824
AT ITER 7056 NEW BEST:: SOT 11938 SOS 4809 HAS SOPS 4687 HAS SOUS 1072 HAS SOUPS 1067 WITH SCORE 1071.809
AT ITER 7153 NEW BEST:: SOT 11938 SOS 4808 HAS SOPS 4686 HAS SOUS 1072 HAS SOUPS 1067 WITH SCORE 1071.808
AT ITER 7182 NEW BEST:: SOT 11935 SOS 4804 HAS SOPS 4682 HAS SOUS 1068 HAS SOUPS 1063 WITH SCORE 1067.804
AT ITER 7331 NEW BEST:: SOT 11931 SOS 4801 HAS SOPS 4709 HAS SOUS 1066 HAS SOUPS 1062 WITH SCORE 1066.801
AT ITER 7443 NEW BEST:: SOT 11920 SOS 4792 HAS SOPS 4700 HAS SOUS 1066 HAS SOUPS 1062 WITH SCORE 1066.792
AT ITER 7508 NEW BEST:: SOT 11920 SOS 4790 HAS SOPS 4698 HAS SOUS 1064 HAS SOUPS 1060 WITH SCORE 1064.79
AT ITER 7572 NEW BEST:: SOT 11920 SOS 4785 HAS SOPS 4693 HAS SOUS 1054 HAS SOUPS 1050 WITH SCORE 1054.785
AT ITER 7721 NEW BEST:: SOT 11925 SOS 4789 HAS SOPS 4697 HAS SOUS 1052 HAS SOUPS 1048 WITH SCORE 1052.789
AT ITER 7786 NEW BEST:: SOT 11925 SOS 4787 HAS SOPS 4695 HAS SOUS 1050 HAS SOUPS 1046 WITH SCORE 1050.787
AT ITER 8013 NEW BEST:: SOT 11924 SOS 4786 HAS SOPS 4694 HAS SOUS 1049 HAS SOUPS 1045 WITH SCORE 1049.786
AT ITER 8119 NEW BEST:: SOT 11924 SOS 4783 HAS SOPS 4691 HAS SOUS 1049 HAS SOUPS 1045 WITH SCORE 1049.783
AT ITER 8141 NEW BEST:: SOT 11919 SOS 4774 HAS SOPS 4682 HAS SOUS 1045 HAS SOUPS 1041 WITH SCORE 1045.774
AT ITER 8392 NEW BEST:: SOT 11919 SOS 4774 HAS SOPS 4682 HAS SOUS 1044 HAS SOUPS 1040 WITH SCORE 1044.774
AT ITER 8510 NEW BEST:: SOT 11917 SOS 4772 HAS SOPS 4680 HAS SOUS 1044 HAS SOUPS 1040 WITH SCORE 1044.772
AT ITER 8557 NEW BEST:: SOT 11917 SOS 4772 HAS SOPS 4680 HAS SOUS 1043 HAS SOUPS 1039 WITH SCORE 1043.772
AT ITER 8856 NEW BEST:: SOT 11918 SOS 4771 HAS SOPS 4679 HAS SOUS 1043 HAS SOUPS 1039 WITH SCORE 1043.771
AT ITER 9327 NEW BEST:: SOT 11913 SOS 4769 HAS SOPS 4677 HAS SOUS 1043 HAS SOUPS 1039 WITH SCORE 1043.769
AT ITER 9355 NEW BEST:: SOT 11909 SOS 4768 HAS SOPS 4676 HAS SOUS 1041 HAS SOUPS 1037 WITH SCORE 1041.768
AT ITER 9570 NEW BEST:: SOT 11907 SOS 4764 HAS SOPS 4672 HAS SOUS 1035 HAS SOUPS 1031 WITH SCORE 1035.764
AT ITER 9680 NEW BEST:: SOT 11905 SOS 4762 HAS SOPS 4670 HAS SOUS 1033 HAS SOUPS 1029 WITH SCORE 1033.762
AT ITER 9919 NEW BEST:: SOT 11906 SOS 4760 HAS SOPS 4668 HAS SOUS 1032 HAS SOUPS 1028 WITH SCORE 1032.76
AT ITER 9920 NEW BEST:: SOT 11905 SOS 4759 HAS SOPS 4667 HAS SOUS 1031 HAS SOUPS 1027 WITH SCORE 1031.759
AT ITER 9932 NEW BEST:: SOT 11905 SOS 4758 HAS SOPS 4666 HAS SOUS 1030 HAS SOUPS 1026 WITH SCORE 1030.758
AT ITER 9965 NEW BEST:: SOT 11909 SOS 4760 HAS SOPS 4668 HAS SOUS 1026 HAS SOUPS 1022 WITH SCORE 1026.76
STATE_SPACE STATES 110676758401879606013 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 34 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 3172717681345578656438 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678543634509

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory

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-32a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is GPUForwardProgress-PT-32a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r203-smll-167840349100120"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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