Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r123-tajo-158961354800459.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is PolyORBLF-PT-S04J04T06, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r123-tajo-158961354800459
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.1M
-rw-r--r-- 1 mcc users 9.0K Apr 12 05:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 30K Apr 12 05:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 12K Apr 11 04:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Apr 11 04:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 12K Apr 14 12:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 47K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Apr 14 12:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 31K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.6K Apr 10 12:38 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 29K Apr 10 12:38 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 46K Apr 9 17:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 147K Apr 9 17:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.8K Apr 10 22:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.1K Apr 10 22:22 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 3.6M Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME PolyORBLF-PT-S04J04T06-CTLCardinality-00
FORMULA_NAME PolyORBLF-PT-S04J04T06-CTLCardinality-01
FORMULA_NAME PolyORBLF-PT-S04J04T06-CTLCardinality-02
FORMULA_NAME PolyORBLF-PT-S04J04T06-CTLCardinality-03
FORMULA_NAME PolyORBLF-PT-S04J04T06-CTLCardinality-04
FORMULA_NAME PolyORBLF-PT-S04J04T06-CTLCardinality-05
FORMULA_NAME PolyORBLF-PT-S04J04T06-CTLCardinality-06
FORMULA_NAME PolyORBLF-PT-S04J04T06-CTLCardinality-07
FORMULA_NAME PolyORBLF-PT-S04J04T06-CTLCardinality-08
FORMULA_NAME PolyORBLF-PT-S04J04T06-CTLCardinality-09
FORMULA_NAME PolyORBLF-PT-S04J04T06-CTLCardinality-10
FORMULA_NAME PolyORBLF-PT-S04J04T06-CTLCardinality-11
FORMULA_NAME PolyORBLF-PT-S04J04T06-CTLCardinality-12
FORMULA_NAME PolyORBLF-PT-S04J04T06-CTLCardinality-13
FORMULA_NAME PolyORBLF-PT-S04J04T06-CTLCardinality-14
FORMULA_NAME PolyORBLF-PT-S04J04T06-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589642780077

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S04J04T06
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 554 places, 2998 transitions, 20754 arcs.
AT ITER 0 NEW BEST:: SOT 1051008 SOS 614446 HAS SOPS 607150 HAS SOUS 195397 HAS SOUPS 194897 WITH SCORE 195511.446
AT ITER 4 NEW BEST:: SOT 1050978 SOS 614416 HAS SOPS 607120 HAS SOUS 195367 HAS SOUPS 194867 WITH SCORE 195481.416
AT ITER 8 NEW BEST:: SOT 1021659 SOS 585184 HAS SOPS 577888 HAS SOUS 189712 HAS SOUPS 189212 WITH SCORE 189797.184
AT ITER 9 NEW BEST:: SOT 1020402 SOS 584019 HAS SOPS 576723 HAS SOUS 188647 HAS SOUPS 188147 WITH SCORE 188731.019
AT ITER 10 NEW BEST:: SOT 1020230 SOS 583823 HAS SOPS 576527 HAS SOUS 188527 HAS SOUPS 188027 WITH SCORE 188610.823
AT ITER 11 NEW BEST:: SOT 1019898 SOS 583408 HAS SOPS 576112 HAS SOUS 188135 HAS SOUPS 187635 WITH SCORE 188218.408
AT ITER 18 NEW BEST:: SOT 1019786 SOS 583296 HAS SOPS 576000 HAS SOUS 188119 HAS SOUPS 187619 WITH SCORE 188202.296
AT ITER 26 NEW BEST:: SOT 1019525 SOS 583041 HAS SOPS 575745 HAS SOUS 187876 HAS SOUPS 187376 WITH SCORE 187959.041
AT ITER 29 NEW BEST:: SOT 1019465 SOS 582962 HAS SOPS 575666 HAS SOUS 187795 HAS SOUPS 187295 WITH SCORE 187877.962
AT ITER 34 NEW BEST:: SOT 1019465 SOS 582971 HAS SOPS 575675 HAS SOUS 187783 HAS SOUPS 187283 WITH SCORE 187865.971
AT ITER 36 NEW BEST:: SOT 988124 SOS 551723 HAS SOPS 544427 HAS SOUS 181738 HAS SOUPS 181238 WITH SCORE 181789.723
AT ITER 40 NEW BEST:: SOT 988100 SOS 551699 HAS SOPS 544344 HAS SOUS 181705 HAS SOUPS 181179 WITH SCORE 181730.699
AT ITER 49 NEW BEST:: SOT 988052 SOS 551651 HAS SOPS 544285 HAS SOUS 181694 HAS SOUPS 181168 WITH SCORE 181719.651
AT ITER 50 NEW BEST:: SOT 987243 SOS 550875 HAS SOPS 543509 HAS SOUS 180908 HAS SOUPS 180382 WITH SCORE 180932.875
AT ITER 52 NEW BEST:: SOT 986893 SOS 550336 HAS SOPS 542970 HAS SOUS 180550 HAS SOUPS 180024 WITH SCORE 180574.336
AT ITER 60 NEW BEST:: SOT 986880 SOS 550323 HAS SOPS 542957 HAS SOUS 180537 HAS SOUPS 180011 WITH SCORE 180561.323
AT ITER 72 NEW BEST:: SOT 965800 SOS 529119 HAS SOPS 521753 HAS SOUS 176197 HAS SOUPS 175671 WITH SCORE 176200.119
AT ITER 87 NEW BEST:: SOT 965210 SOS 528688 HAS SOPS 521322 HAS SOUS 175815 HAS SOUPS 175289 WITH SCORE 175817.688
AT ITER 99 NEW BEST:: SOT 965016 SOS 528486 HAS SOPS 521117 HAS SOUS 175500 HAS SOUPS 174974 WITH SCORE 175502.486
AT ITER 102 NEW BEST:: SOT 964931 SOS 528401 HAS SOPS 521026 HAS SOUS 175397 HAS SOUPS 174868 WITH SCORE 175396.401
AT ITER 104 NEW BEST:: SOT 959043 SOS 540137 HAS SOPS 537354 HAS SOUS 170711 HAS SOUPS 170352 WITH SCORE 170892.137
AT ITER 107 NEW BEST:: SOT 958771 SOS 539898 HAS SOPS 537115 HAS SOUS 170605 HAS SOUPS 170246 WITH SCORE 170785.898
AT ITER 118 NEW BEST:: SOT 958734 SOS 539707 HAS SOPS 536924 HAS SOUS 170503 HAS SOUPS 170144 WITH SCORE 170683.707
AT ITER 127 NEW BEST:: SOT 958903 SOS 540861 HAS SOPS 538078 HAS SOUS 170081 HAS SOUPS 169722 WITH SCORE 170262.861
AT ITER 130 NEW BEST:: SOT 958905 SOS 541067 HAS SOPS 538284 HAS SOUS 169803 HAS SOUPS 169444 WITH SCORE 169985.067
AT ITER 131 NEW BEST:: SOT 958900 SOS 541062 HAS SOPS 538274 HAS SOUS 169793 HAS SOUPS 169434 WITH SCORE 169975.062
AT ITER 133 NEW BEST:: SOT 958746 SOS 540912 HAS SOPS 538124 HAS SOUS 169722 HAS SOUPS 169363 WITH SCORE 169903.912
AT ITER 136 NEW BEST:: SOT 958603 SOS 540799 HAS SOPS 538011 HAS SOUS 169693 HAS SOUPS 169334 WITH SCORE 169874.799
AT ITER 147 NEW BEST:: SOT 958603 SOS 540799 HAS SOPS 538011 HAS SOUS 169677 HAS SOUPS 169318 WITH SCORE 169858.799
AT ITER 149 NEW BEST:: SOT 958596 SOS 540785 HAS SOPS 537997 HAS SOUS 169663 HAS SOUPS 169304 WITH SCORE 169844.785
AT ITER 151 NEW BEST:: SOT 958567 SOS 540727 HAS SOPS 537939 HAS SOUS 169605 HAS SOUPS 169246 WITH SCORE 169786.727
AT ITER 164 NEW BEST:: SOT 958546 SOS 540706 HAS SOPS 537918 HAS SOUS 169548 HAS SOUPS 169189 WITH SCORE 169729.706
AT ITER 168 NEW BEST:: SOT 958486 SOS 538756 HAS SOPS 535968 HAS SOUS 169473 HAS SOUPS 169114 WITH SCORE 169652.756
AT ITER 171 NEW BEST:: SOT 957931 SOS 538378 HAS SOPS 535590 HAS SOUS 169363 HAS SOUPS 169004 WITH SCORE 169542.378
AT ITER 181 NEW BEST:: SOT 957571 SOS 537779 HAS SOPS 534991 HAS SOUS 168908 HAS SOUPS 168549 WITH SCORE 169086.779
AT ITER 186 NEW BEST:: SOT 957553 SOS 537755 HAS SOPS 534967 HAS SOUS 168872 HAS SOUPS 168513 WITH SCORE 169050.755
AT ITER 201 NEW BEST:: SOT 957577 SOS 537821 HAS SOPS 535033 HAS SOUS 168721 HAS SOUPS 168362 WITH SCORE 168899.821
AT ITER 207 NEW BEST:: SOT 957503 SOS 537987 HAS SOPS 535210 HAS SOUS 168693 HAS SOUPS 168334 WITH SCORE 168871.987
AT ITER 209 NEW BEST:: SOT 957477 SOS 537768 HAS SOPS 534991 HAS SOUS 168641 HAS SOUPS 168282 WITH SCORE 168819.768
AT ITER 210 NEW BEST:: SOT 957131 SOS 537236 HAS SOPS 534459 HAS SOUS 168285 HAS SOUPS 167926 WITH SCORE 168463.236
AT ITER 240 NEW BEST:: SOT 956942 SOS 534114 HAS SOPS 531337 HAS SOUS 168053 HAS SOUPS 167694 WITH SCORE 168228.114
AT ITER 247 NEW BEST:: SOT 956600 SOS 533876 HAS SOPS 531099 HAS SOUS 167822 HAS SOUPS 167463 WITH SCORE 167996.876
AT ITER 256 NEW BEST:: SOT 956663 SOS 534527 HAS SOPS 531750 HAS SOUS 167364 HAS SOUPS 167005 WITH SCORE 167539.527
AT ITER 257 NEW BEST:: SOT 956651 SOS 534529 HAS SOPS 531752 HAS SOUS 167183 HAS SOUPS 166824 WITH SCORE 167358.529
AT ITER 283 NEW BEST:: SOT 956651 SOS 534529 HAS SOPS 531752 HAS SOUS 167174 HAS SOUPS 166815 WITH SCORE 167349.529
AT ITER 290 NEW BEST:: SOT 956447 SOS 534238 HAS SOPS 531461 HAS SOUS 166874 HAS SOUPS 166515 WITH SCORE 167049.238
AT ITER 300 NEW BEST:: SOT 954638 SOS 535442 HAS SOPS 531465 HAS SOUS 165129 HAS SOUPS 164522 WITH SCORE 165057.442
AT ITER 304 NEW BEST:: SOT 954650 SOS 535454 HAS SOPS 531477 HAS SOUS 165123 HAS SOUPS 164516 WITH SCORE 165051.454
AT ITER 310 NEW BEST:: SOT 954371 SOS 535071 HAS SOPS 531094 HAS SOUS 163602 HAS SOUPS 162995 WITH SCORE 163530.071
AT ITER 311 NEW BEST:: SOT 954314 SOS 534990 HAS SOPS 531013 HAS SOUS 163579 HAS SOUPS 162972 WITH SCORE 163506.99
AT ITER 319 NEW BEST:: SOT 950610 SOS 531286 HAS SOPS 527309 HAS SOUS 162856 HAS SOUPS 162249 WITH SCORE 162780.286
AT ITER 325 NEW BEST:: SOT 950610 SOS 531361 HAS SOPS 527384 HAS SOUS 162324 HAS SOUPS 161717 WITH SCORE 162248.361
AT ITER 340 NEW BEST:: SOT 950452 SOS 531123 HAS SOPS 527146 HAS SOUS 160971 HAS SOUPS 160364 WITH SCORE 160895.123
AT ITER 345 NEW BEST:: SOT 950336 SOS 531007 HAS SOPS 527030 HAS SOUS 160855 HAS SOUPS 160248 WITH SCORE 160779.007
AT ITER 352 NEW BEST:: SOT 950203 SOS 530874 HAS SOPS 526897 HAS SOUS 160162 HAS SOUPS 159555 WITH SCORE 160085.874
AT ITER 369 NEW BEST:: SOT 950200 SOS 530868 HAS SOPS 526891 HAS SOUS 160159 HAS SOUPS 159552 WITH SCORE 160082.868
AT ITER 376 NEW BEST:: SOT 949996 SOS 530566 HAS SOPS 526589 HAS SOUS 159857 HAS SOUPS 159250 WITH SCORE 159780.566
AT ITER 378 NEW BEST:: SOT 949996 SOS 530528 HAS SOPS 526513 HAS SOUS 159819 HAS SOUPS 159212 WITH SCORE 159742.528
AT ITER 379 NEW BEST:: SOT 949748 SOS 530374 HAS SOPS 526359 HAS SOUS 159772 HAS SOUPS 159165 WITH SCORE 159695.374
AT ITER 387 NEW BEST:: SOT 949718 SOS 530338 HAS SOPS 526323 HAS SOUS 159712 HAS SOUPS 159105 WITH SCORE 159635.338
AT ITER 389 NEW BEST:: SOT 949409 SOS 530150 HAS SOPS 526135 HAS SOUS 159640 HAS SOUPS 159033 WITH SCORE 159563.15
AT ITER 393 NEW BEST:: SOT 949430 SOS 530171 HAS SOPS 526132 HAS SOUS 159610 HAS SOUPS 158999 WITH SCORE 159529.171
AT ITER 395 NEW BEST:: SOT 949269 SOS 529715 HAS SOPS 523756 HAS SOUS 159477 HAS SOUPS 158546 WITH SCORE 159075.715
AT ITER 422 NEW BEST:: SOT 949058 SOS 529484 HAS SOPS 523525 HAS SOUS 159312 HAS SOUPS 158381 WITH SCORE 158910.484
AT ITER 446 NEW BEST:: SOT 948950 SOS 529367 HAS SOPS 523408 HAS SOUS 159275 HAS SOUPS 158344 WITH SCORE 158873.367
AT ITER 456 NEW BEST:: SOT 948943 SOS 529360 HAS SOPS 523401 HAS SOUS 159251 HAS SOUPS 158320 WITH SCORE 158849.36
AT ITER 465 NEW BEST:: SOT 948953 SOS 529370 HAS SOPS 523411 HAS SOUS 159155 HAS SOUPS 158224 WITH SCORE 158753.37
AT ITER 480 NEW BEST:: SOT 912108 SOS 492547 HAS SOPS 486588 HAS SOUS 152117 HAS SOUPS 151186 WITH SCORE 151678.547
AT ITER 507 NEW BEST:: SOT 912021 SOS 492390 HAS SOPS 486431 HAS SOUS 152048 HAS SOUPS 151117 WITH SCORE 151609.39
AT ITER 516 NEW BEST:: SOT 911838 SOS 492319 HAS SOPS 486360 HAS SOUS 152046 HAS SOUPS 151115 WITH SCORE 151607.319
AT ITER 521 NEW BEST:: SOT 911816 SOS 492187 HAS SOPS 486228 HAS SOUS 152046 HAS SOUPS 151115 WITH SCORE 151607.187
AT ITER 545 NEW BEST:: SOT 911708 SOS 492079 HAS SOPS 486120 HAS SOUS 151379 HAS SOUPS 150448 WITH SCORE 150940.079
AT ITER 550 NEW BEST:: SOT 911683 SOS 492029 HAS SOPS 486070 HAS SOUS 151329 HAS SOUPS 150398 WITH SCORE 150890.029
AT ITER 551 NEW BEST:: SOT 911632 SOS 491961 HAS SOPS 486002 HAS SOUS 151089 HAS SOUPS 150158 WITH SCORE 150649.961
AT ITER 559 NEW BEST:: SOT 911473 SOS 491800 HAS SOPS 485916 HAS SOUS 151023 HAS SOUPS 150092 WITH SCORE 150583.8
AT ITER 564 NEW BEST:: SOT 894889 SOS 475176 HAS SOPS 469292 HAS SOUS 147483 HAS SOUPS 146552 WITH SCORE 147027.176
AT ITER 573 NEW BEST:: SOT 894889 SOS 475176 HAS SOPS 469292 HAS SOUS 147480 HAS SOUPS 146549 WITH SCORE 147024.176
AT ITER 596 NEW BEST:: SOT 894877 SOS 475152 HAS SOPS 469268 HAS SOUS 147471 HAS SOUPS 146540 WITH SCORE 147015.152
AT ITER 607 NEW BEST:: SOT 894798 SOS 474936 HAS SOPS 469052 HAS SOUS 147332 HAS SOUPS 146401 WITH SCORE 146875.936
AT ITER 620 NEW BEST:: SOT 894805 SOS 474950 HAS SOPS 469066 HAS SOUS 147302 HAS SOUPS 146371 WITH SCORE 146845.95
AT ITER 625 NEW BEST:: SOT 894534 SOS 474679 HAS SOPS 468795 HAS SOUS 147085 HAS SOUPS 146154 WITH SCORE 146628.679
AT ITER 628 NEW BEST:: SOT 894534 SOS 474685 HAS SOPS 468801 HAS SOUS 147070 HAS SOUPS 146139 WITH SCORE 146613.685
AT ITER 638 NEW BEST:: SOT 894467 SOS 474650 HAS SOPS 468766 HAS SOUS 147012 HAS SOUPS 146081 WITH SCORE 146555.65
AT ITER 642 NEW BEST:: SOT 894330 SOS 474513 HAS SOPS 468629 HAS SOUS 146644 HAS SOUPS 145713 WITH SCORE 146187.513
AT ITER 650 NEW BEST:: SOT 894222 SOS 474351 HAS SOPS 468467 HAS SOUS 146482 HAS SOUPS 145551 WITH SCORE 146025.351
AT ITER 656 NEW BEST:: SOT 894382 SOS 474440 HAS SOPS 468556 HAS SOUS 145635 HAS SOUPS 144704 WITH SCORE 145178.44
AT ITER 659 NEW BEST:: SOT 894382 SOS 474262 HAS SOPS 468378 HAS SOUS 145629 HAS SOUPS 144698 WITH SCORE 145172.262
AT ITER 668 NEW BEST:: SOT 894232 SOS 474016 HAS SOPS 468132 HAS SOUS 145504 HAS SOUPS 144573 WITH SCORE 145047.016
AT ITER 669 NEW BEST:: SOT 894143 SOS 473875 HAS SOPS 468063 HAS SOUS 145501 HAS SOUPS 144570 WITH SCORE 145043.875
AT ITER 676 NEW BEST:: SOT 894046 SOS 473778 HAS SOPS 467966 HAS SOUS 145088 HAS SOUPS 144157 WITH SCORE 144630.778
AT ITER 678 NEW BEST:: SOT 889246 SOS 468980 HAS SOPS 463168 HAS SOUS 143982 HAS SOUPS 143051 WITH SCORE 143519.98
AT ITER 718 NEW BEST:: SOT 888964 SOS 468823 HAS SOPS 463011 HAS SOUS 143892 HAS SOUPS 142961 WITH SCORE 143429.823
AT ITER 730 NEW BEST:: SOT 888856 SOS 468715 HAS SOPS 462903 HAS SOUS 143709 HAS SOUPS 142778 WITH SCORE 143246.715
AT ITER 753 NEW BEST:: SOT 888776 SOS 468635 HAS SOPS 462823 HAS SOUS 143359 HAS SOUPS 142428 WITH SCORE 142896.635
AT ITER 756 NEW BEST:: SOT 888694 SOS 468495 HAS SOPS 462683 HAS SOUS 143188 HAS SOUPS 142257 WITH SCORE 142725.495
AT ITER 762 NEW BEST:: SOT 888643 SOS 468348 HAS SOPS 462536 HAS SOUS 143038 HAS SOUPS 142107 WITH SCORE 142575.348
AT ITER 769 NEW BEST:: SOT 888594 SOS 468348 HAS SOPS 462536 HAS SOUS 142347 HAS SOUPS 141416 WITH SCORE 141884.348
AT ITER 785 NEW BEST:: SOT 888591 SOS 468345 HAS SOPS 462533 HAS SOUS 142344 HAS SOUPS 141413 WITH SCORE 141881.345
AT ITER 791 NEW BEST:: SOT 888610 SOS 468364 HAS SOPS 462576 HAS SOUS 142333 HAS SOUPS 141402 WITH SCORE 141870.364
AT ITER 795 NEW BEST:: SOT 888550 SOS 468243 HAS SOPS 462455 HAS SOUS 142278 HAS SOUPS 141347 WITH SCORE 141815.243
AT ITER 807 NEW BEST:: SOT 888563 SOS 468256 HAS SOPS 462455 HAS SOUS 142286 HAS SOUPS 141342 WITH SCORE 141810.256
AT ITER 809 NEW BEST:: SOT 887627 SOS 467249 HAS SOPS 461448 HAS SOUS 141707 HAS SOUPS 140763 WITH SCORE 141230.249
AT ITER 812 NEW BEST:: SOT 875846 SOS 464533 HAS SOPS 458732 HAS SOUS 141095 HAS SOUPS 140151 WITH SCORE 140615.533
AT ITER 830 NEW BEST:: SOT 875681 SOS 464742 HAS SOPS 458941 HAS SOUS 140904 HAS SOUPS 139960 WITH SCORE 140424.742
AT ITER 837 NEW BEST:: SOT 875468 SOS 464285 HAS SOPS 458484 HAS SOUS 140835 HAS SOUPS 139891 WITH SCORE 140355.285
AT ITER 839 NEW BEST:: SOT 875431 SOS 464219 HAS SOPS 458418 HAS SOUS 140815 HAS SOUPS 139871 WITH SCORE 140335.219
AT ITER 842 NEW BEST:: SOT 874514 SOS 463302 HAS SOPS 457501 HAS SOUS 139945 HAS SOUPS 139001 WITH SCORE 139464.302
AT ITER 843 NEW BEST:: SOT 874370 SOS 463158 HAS SOPS 457357 HAS SOUS 139842 HAS SOUPS 138898 WITH SCORE 139361.158
AT ITER 856 NEW BEST:: SOT 874301 SOS 463049 HAS SOPS 457248 HAS SOUS 139526 HAS SOUPS 138582 WITH SCORE 139045.049
AT ITER 857 NEW BEST:: SOT 874257 SOS 462853 HAS SOPS 457052 HAS SOUS 139334 HAS SOUPS 138390 WITH SCORE 138852.853
AT ITER 872 NEW BEST:: SOT 874010 SOS 462739 HAS SOPS 456938 HAS SOUS 139159 HAS SOUPS 138215 WITH SCORE 138677.739
AT ITER 886 NEW BEST:: SOT 873749 SOS 462398 HAS SOPS 456597 HAS SOUS 138731 HAS SOUPS 137787 WITH SCORE 138249.398
AT ITER 899 NEW BEST:: SOT 873735 SOS 462361 HAS SOPS 456560 HAS SOUS 138699 HAS SOUPS 137755 WITH SCORE 138217.361
AT ITER 924 NEW BEST:: SOT 873750 SOS 462220 HAS SOPS 456419 HAS SOUS 138558 HAS SOUPS 137614 WITH SCORE 138076.22
AT ITER 925 NEW BEST:: SOT 873690 SOS 462160 HAS SOPS 456359 HAS SOUS 138443 HAS SOUPS 137499 WITH SCORE 137961.16
AT ITER 926 NEW BEST:: SOT 873692 SOS 462162 HAS SOPS 456350 HAS SOUS 138425 HAS SOUPS 137481 WITH SCORE 137943.162
AT ITER 932 NEW BEST:: SOT 873688 SOS 462158 HAS SOPS 456346 HAS SOUS 138421 HAS SOUPS 137477 WITH SCORE 137939.158
AT ITER 935 NEW BEST:: SOT 873618 SOS 462109 HAS SOPS 456297 HAS SOUS 138409 HAS SOUPS 137465 WITH SCORE 137927.109
AT ITER 936 NEW BEST:: SOT 873371 SOS 461862 HAS SOPS 456050 HAS SOUS 137970 HAS SOUPS 137026 WITH SCORE 137487.862
AT ITER 949 NEW BEST:: SOT 873160 SOS 461315 HAS SOPS 455503 HAS SOUS 137549 HAS SOUPS 136605 WITH SCORE 137066.315
AT ITER 954 NEW BEST:: SOT 873156 SOS 460435 HAS SOPS 454623 HAS SOUS 137513 HAS SOUPS 136569 WITH SCORE 137029.435
AT ITER 957 NEW BEST:: SOT 873155 SOS 460434 HAS SOPS 454622 HAS SOUS 137509 HAS SOUPS 136565 WITH SCORE 137025.434
AT ITER 966 NEW BEST:: SOT 873755 SOS 460329 HAS SOPS 454937 HAS SOUS 137208 HAS SOUPS 136334 WITH SCORE 136794.329
AT ITER 997 NEW BEST:: SOT 862875 SOS 449417 HAS SOPS 444025 HAS SOUS 134968 HAS SOUPS 134094 WITH SCORE 134543.417
AT ITER 998 NEW BEST:: SOT 835028 SOS 421586 HAS SOPS 416194 HAS SOUS 129667 HAS SOUPS 128793 WITH SCORE 129214.586
AT ITER 1017 NEW BEST:: SOT 834998 SOS 421510 HAS SOPS 416118 HAS SOUS 129653 HAS SOUPS 128779 WITH SCORE 129200.51
AT ITER 1031 NEW BEST:: SOT 834881 SOS 421393 HAS SOPS 416001 HAS SOUS 129229 HAS SOUPS 128355 WITH SCORE 128776.393
AT ITER 1050 NEW BEST:: SOT 834829 SOS 421341 HAS SOPS 415949 HAS SOUS 128398 HAS SOUPS 127524 WITH SCORE 127945.341
AT ITER 1056 NEW BEST:: SOT 834829 SOS 421308 HAS SOPS 415916 HAS SOUS 128365 HAS SOUPS 127491 WITH SCORE 127912.308
AT ITER 1071 NEW BEST:: SOT 834674 SOS 421153 HAS SOPS 415761 HAS SOUS 128210 HAS SOUPS 127336 WITH SCORE 127757.153
AT ITER 1075 NEW BEST:: SOT 834547 SOS 420737 HAS SOPS 415345 HAS SOUS 127956 HAS SOUPS 127082 WITH SCORE 127502.737
AT ITER 1077 NEW BEST:: SOT 834513 SOS 420657 HAS SOPS 415265 HAS SOUS 127876 HAS SOUPS 127002 WITH SCORE 127422.657
AT ITER 1089 NEW BEST:: SOT 834475 SOS 420409 HAS SOPS 415107 HAS SOUS 127345 HAS SOUPS 126486 WITH SCORE 126906.409
AT ITER 1100 NEW BEST:: SOT 828372 SOS 414305 HAS SOPS 409003 HAS SOUS 126137 HAS SOUPS 125278 WITH SCORE 125692.305
AT ITER 1131 NEW BEST:: SOT 826647 SOS 412580 HAS SOPS 407278 HAS SOUS 125702 HAS SOUPS 124843 WITH SCORE 125255.58
AT ITER 1150 NEW BEST:: SOT 821640 SOS 407528 HAS SOPS 402226 HAS SOUS 125014 HAS SOUPS 124155 WITH SCORE 124562.528
AT ITER 1157 NEW BEST:: SOT 821640 SOS 407524 HAS SOPS 402222 HAS SOUS 125014 HAS SOUPS 124155 WITH SCORE 124562.524
AT ITER 1182 NEW BEST:: SOT 821626 SOS 407510 HAS SOPS 402208 HAS SOUS 124986 HAS SOUPS 124127 WITH SCORE 124534.51
AT ITER 1186 NEW BEST:: SOT 821596 SOS 407480 HAS SOPS 402178 HAS SOUS 124871 HAS SOUPS 124012 WITH SCORE 124419.48
AT ITER 1206 NEW BEST:: SOT 821507 SOS 407391 HAS SOPS 402089 HAS SOUS 124808 HAS SOUPS 123949 WITH SCORE 124356.391
AT ITER 1225 NEW BEST:: SOT 821498 SOS 407382 HAS SOPS 402071 HAS SOUS 124790 HAS SOUPS 123931 WITH SCORE 124338.382
AT ITER 1229 NEW BEST:: SOT 821524 SOS 407408 HAS SOPS 402073 HAS SOUS 124742 HAS SOUPS 123883 WITH SCORE 124290.408
AT ITER 1233 NEW BEST:: SOT 821448 SOS 407332 HAS SOPS 401997 HAS SOUS 124663 HAS SOUPS 123804 WITH SCORE 124211.332
AT ITER 1242 NEW BEST:: SOT 821501 SOS 407463 HAS SOPS 402200 HAS SOUS 124562 HAS SOUPS 123703 WITH SCORE 124110.463
AT ITER 1252 NEW BEST:: SOT 821409 SOS 407435 HAS SOPS 402169 HAS SOUS 124414 HAS SOUPS 123555 WITH SCORE 123962.435
AT ITER 1263 NEW BEST:: SOT 821357 SOS 407383 HAS SOPS 402117 HAS SOUS 124362 HAS SOUPS 123503 WITH SCORE 123910.383
AT ITER 1283 NEW BEST:: SOT 821357 SOS 407383 HAS SOPS 402117 HAS SOUS 124361 HAS SOUPS 123502 WITH SCORE 123909.383
AT ITER 1285 NEW BEST:: SOT 821337 SOS 407329 HAS SOPS 402063 HAS SOUS 124283 HAS SOUPS 123424 WITH SCORE 123831.329
AT ITER 1292 NEW BEST:: SOT 821333 SOS 407325 HAS SOPS 402059 HAS SOUS 124263 HAS SOUPS 123404 WITH SCORE 123811.325
AT ITER 1295 NEW BEST:: SOT 821315 SOS 407320 HAS SOPS 402054 HAS SOUS 124258 HAS SOUPS 123399 WITH SCORE 123806.32
AT ITER 1308 NEW BEST:: SOT 821311 SOS 407312 HAS SOPS 402046 HAS SOUS 124243 HAS SOUPS 123384 WITH SCORE 123791.312
AT ITER 1314 NEW BEST:: SOT 821287 SOS 407297 HAS SOPS 402031 HAS SOUS 124210 HAS SOUPS 123351 WITH SCORE 123758.297
AT ITER 1317 NEW BEST:: SOT 821285 SOS 407295 HAS SOPS 402029 HAS SOUS 124207 HAS SOUPS 123348 WITH SCORE 123755.295
AT ITER 1325 NEW BEST:: SOT 821219 SOS 407229 HAS SOPS 401963 HAS SOUS 124095 HAS SOUPS 123236 WITH SCORE 123643.229
AT ITER 1327 NEW BEST:: SOT 821049 SOS 407985 HAS SOPS 402719 HAS SOUS 124018 HAS SOUPS 123159 WITH SCORE 123566.985
AT ITER 1337 NEW BEST:: SOT 821059 SOS 407976 HAS SOPS 402710 HAS SOUS 124004 HAS SOUPS 123145 WITH SCORE 123552.976
AT ITER 1346 NEW BEST:: SOT 820983 SOS 407943 HAS SOPS 402677 HAS SOUS 123924 HAS SOUPS 123065 WITH SCORE 123472.943
AT ITER 1354 NEW BEST:: SOT 820977 SOS 407937 HAS SOPS 402671 HAS SOUS 123918 HAS SOUPS 123059 WITH SCORE 123466.937
AT ITER 1362 NEW BEST:: SOT 821026 SOS 399872 HAS SOPS 394606 HAS SOUS 123446 HAS SOUPS 122587 WITH SCORE 122986.872
AT ITER 1383 NEW BEST:: SOT 821033 SOS 399862 HAS SOPS 394572 HAS SOUS 123436 HAS SOUPS 122577 WITH SCORE 122976.862
AT ITER 1388 NEW BEST:: SOT 821032 SOS 399860 HAS SOPS 394570 HAS SOUS 123434 HAS SOUPS 122575 WITH SCORE 122974.86
AT ITER 1390 NEW BEST:: SOT 821004 SOS 399825 HAS SOPS 394535 HAS SOUS 123378 HAS SOUPS 122519 WITH SCORE 122918.825
AT ITER 1395 NEW BEST:: SOT 814154 SOS 393008 HAS SOPS 387718 HAS SOUS 122028 HAS SOUPS 121169 WITH SCORE 121562.008
AT ITER 1416 NEW BEST:: SOT 814242 SOS 393152 HAS SOPS 387862 HAS SOUS 122018 HAS SOUPS 121159 WITH SCORE 121552.152
AT ITER 1435 NEW BEST:: SOT 814116 SOS 393043 HAS SOPS 387753 HAS SOUS 121972 HAS SOUPS 121113 WITH SCORE 121506.043
AT ITER 1444 NEW BEST:: SOT 814630 SOS 393557 HAS SOPS 388267 HAS SOUS 121269 HAS SOUPS 120410 WITH SCORE 120803.557
AT ITER 1447 NEW BEST:: SOT 813924 SOS 392801 HAS SOPS 387511 HAS SOUS 120563 HAS SOUPS 119704 WITH SCORE 120096.801
AT ITER 1473 NEW BEST:: SOT 813896 SOS 392754 HAS SOPS 387464 HAS SOUS 120507 HAS SOUPS 119648 WITH SCORE 120040.754
AT ITER 1476 NEW BEST:: SOT 813864 SOS 392765 HAS SOPS 387475 HAS SOUS 120314 HAS SOUPS 119455 WITH SCORE 119847.765
AT ITER 1485 NEW BEST:: SOT 813865 SOS 392942 HAS SOPS 387498 HAS SOUS 120314 HAS SOUPS 119448 WITH SCORE 119840.942
AT ITER 1495 NEW BEST:: SOT 813971 SOS 393092 HAS SOPS 387736 HAS SOUS 120306 HAS SOUPS 119440 WITH SCORE 119833.092
AT ITER 1511 NEW BEST:: SOT 813454 SOS 392591 HAS SOPS 387235 HAS SOUS 119899 HAS SOUPS 119033 WITH SCORE 119425.591
AT ITER 1512 NEW BEST:: SOT 813323 SOS 392428 HAS SOPS 387072 HAS SOUS 119688 HAS SOUPS 118822 WITH SCORE 119214.428
AT ITER 1515 NEW BEST:: SOT 813311 SOS 392416 HAS SOPS 387060 HAS SOUS 119664 HAS SOUPS 118798 WITH SCORE 119190.416
AT ITER 1519 NEW BEST:: SOT 813277 SOS 392382 HAS SOPS 387026 HAS SOUS 119596 HAS SOUPS 118730 WITH SCORE 119122.382
AT ITER 1521 NEW BEST:: SOT 812896 SOS 392052 HAS SOPS 386696 HAS SOUS 119262 HAS SOUPS 118396 WITH SCORE 118788.052
AT ITER 1539 NEW BEST:: SOT 813397 SOS 392608 HAS SOPS 387252 HAS SOUS 119048 HAS SOUPS 118182 WITH SCORE 118574.608
AT ITER 1558 NEW BEST:: SOT 813353 SOS 389779 HAS SOPS 385053 HAS SOUS 118901 HAS SOUPS 118140 WITH SCORE 118529.779
AT ITER 1572 NEW BEST:: SOT 813219 SOS 389645 HAS SOPS 384919 HAS SOUS 118799 HAS SOUPS 118038 WITH SCORE 118427.645
AT ITER 1574 NEW BEST:: SOT 813203 SOS 389700 HAS SOPS 385079 HAS SOUS 118468 HAS SOUPS 117707 WITH SCORE 118096.7
AT ITER 1586 NEW BEST:: SOT 813194 SOS 389705 HAS SOPS 385084 HAS SOUS 118400 HAS SOUPS 117639 WITH SCORE 118028.705
AT ITER 1602 NEW BEST:: SOT 813191 SOS 389702 HAS SOPS 385081 HAS SOUS 118397 HAS SOUPS 117636 WITH SCORE 118025.702
AT ITER 1603 NEW BEST:: SOT 813204 SOS 389715 HAS SOPS 385094 HAS SOUS 118324 HAS SOUPS 117563 WITH SCORE 117952.715
AT ITER 1608 NEW BEST:: SOT 813204 SOS 389715 HAS SOPS 385082 HAS SOUS 118324 HAS SOUPS 117551 WITH SCORE 117940.715
AT ITER 1611 NEW BEST:: SOT 813204 SOS 388851 HAS SOPS 384218 HAS SOUS 118324 HAS SOUPS 117551 WITH SCORE 117939.851
AT ITER 1636 NEW BEST:: SOT 813767 SOS 389486 HAS SOPS 384853 HAS SOUS 116939 HAS SOUPS 116166 WITH SCORE 116555.486
AT ITER 1651 NEW BEST:: SOT 813750 SOS 389473 HAS SOPS 384840 HAS SOUS 116928 HAS SOUPS 116155 WITH SCORE 116544.473
AT ITER 1654 NEW BEST:: SOT 813743 SOS 389466 HAS SOPS 384833 HAS SOUS 116900 HAS SOUPS 116127 WITH SCORE 116516.466
AT ITER 1668 NEW BEST:: SOT 813733 SOS 389446 HAS SOPS 384823 HAS SOUS 116880 HAS SOUPS 116117 WITH SCORE 116506.446
AT ITER 1669 NEW BEST:: SOT 813630 SOS 389343 HAS SOPS 384720 HAS SOUS 116752 HAS SOUPS 115989 WITH SCORE 116378.343
AT ITER 1671 NEW BEST:: SOT 813553 SOS 389228 HAS SOPS 384605 HAS SOUS 116670 HAS SOUPS 115907 WITH SCORE 116296.228
AT ITER 1698 NEW BEST:: SOT 775003 SOS 363711 HAS SOPS 359088 HAS SOUS 111467 HAS SOUPS 110704 WITH SCORE 111067.711
AT ITER 1710 NEW BEST:: SOT 774924 SOS 369075 HAS SOPS 364452 HAS SOUS 111419 HAS SOUPS 110656 WITH SCORE 111025.075
AT ITER 1717 NEW BEST:: SOT 774912 SOS 369063 HAS SOPS 364440 HAS SOUS 111413 HAS SOUPS 110650 WITH SCORE 111019.063
AT ITER 1744 NEW BEST:: SOT 774862 SOS 369063 HAS SOPS 364440 HAS SOUS 111313 HAS SOUPS 110550 WITH SCORE 110919.063
AT ITER 1748 NEW BEST:: SOT 774854 SOS 369062 HAS SOPS 364439 HAS SOUS 111297 HAS SOUPS 110534 WITH SCORE 110903.062
AT ITER 1750 NEW BEST:: SOT 774899 SOS 369370 HAS SOPS 364747 HAS SOUS 111274 HAS SOUPS 110511 WITH SCORE 110880.37
AT ITER 1759 NEW BEST:: SOT 774887 SOS 369358 HAS SOPS 364723 HAS SOUS 111250 HAS SOUPS 110487 WITH SCORE 110856.358
AT ITER 1761 NEW BEST:: SOT 774880 SOS 369351 HAS SOPS 364716 HAS SOUS 111236 HAS SOUPS 110473 WITH SCORE 110842.351
AT ITER 1768 NEW BEST:: SOT 774842 SOS 369307 HAS SOPS 364672 HAS SOUS 111168 HAS SOUPS 110405 WITH SCORE 110774.307
AT ITER 1778 NEW BEST:: SOT 774773 SOS 369434 HAS SOPS 364812 HAS SOUS 111153 HAS SOUPS 110390 WITH SCORE 110759.434
AT ITER 1783 NEW BEST:: SOT 774671 SOS 369410 HAS SOPS 364788 HAS SOUS 111129 HAS SOUPS 110366 WITH SCORE 110735.41
AT ITER 1789 NEW BEST:: SOT 774562 SOS 369301 HAS SOPS 364679 HAS SOUS 111004 HAS SOUPS 110241 WITH SCORE 110610.301
AT ITER 1791 NEW BEST:: SOT 770406 SOS 365134 HAS SOPS 360512 HAS SOUS 110137 HAS SOUPS 109374 WITH SCORE 109739.134
AT ITER 1798 NEW BEST:: SOT 770380 SOS 365108 HAS SOPS 360486 HAS SOUS 110124 HAS SOUPS 109361 WITH SCORE 109726.108
AT ITER 1804 NEW BEST:: SOT 770356 SOS 365084 HAS SOPS 360462 HAS SOUS 110088 HAS SOUPS 109325 WITH SCORE 109690.084
AT ITER 1813 NEW BEST:: SOT 769612 SOS 364433 HAS SOPS 359811 HAS SOUS 109554 HAS SOUPS 108791 WITH SCORE 109155.433
AT ITER 1825 NEW BEST:: SOT 769512 SOS 364308 HAS SOPS 359686 HAS SOUS 109404 HAS SOUPS 108641 WITH SCORE 109005.308
AT ITER 1846 NEW BEST:: SOT 769500 SOS 364284 HAS SOPS 359662 HAS SOUS 109380 HAS SOUPS 108617 WITH SCORE 108981.284
AT ITER 1879 NEW BEST:: SOT 768912 SOS 363738 HAS SOPS 359116 HAS SOUS 108834 HAS SOUPS 108071 WITH SCORE 108434.738
AT ITER 1885 NEW BEST:: SOT 768880 SOS 363706 HAS SOPS 359084 HAS SOUS 108770 HAS SOUPS 108007 WITH SCORE 108370.706
AT ITER 1892 NEW BEST:: SOT 768839 SOS 363565 HAS SOPS 358943 HAS SOUS 108737 HAS SOUPS 107974 WITH SCORE 108337.565
AT ITER 1900 NEW BEST:: SOT 768823 SOS 363533 HAS SOPS 358911 HAS SOUS 108721 HAS SOUPS 107958 WITH SCORE 108321.533
AT ITER 1903 NEW BEST:: SOT 768771 SOS 364335 HAS SOPS 359713 HAS SOUS 108657 HAS SOUPS 107894 WITH SCORE 108258.335
AT ITER 1931 NEW BEST:: SOT 768771 SOS 364289 HAS SOPS 359667 HAS SOUS 108657 HAS SOUPS 107894 WITH SCORE 108258.289
AT ITER 1933 NEW BEST:: SOT 768769 SOS 364287 HAS SOPS 359660 HAS SOUS 108653 HAS SOUPS 107886 WITH SCORE 108250.287
AT ITER 1942 NEW BEST:: SOT 768583 SOS 364149 HAS SOPS 359522 HAS SOUS 107243 HAS SOUPS 106476 WITH SCORE 106840.149
AT ITER 1951 NEW BEST:: SOT 768365 SOS 363890 HAS SOPS 359263 HAS SOUS 106984 HAS SOUPS 106217 WITH SCORE 106580.89
AT ITER 1953 NEW BEST:: SOT 768365 SOS 363863 HAS SOPS 359236 HAS SOUS 106957 HAS SOUPS 106190 WITH SCORE 106553.863
AT ITER 1958 NEW BEST:: SOT 768345 SOS 363833 HAS SOPS 359206 HAS SOUS 106937 HAS SOUPS 106170 WITH SCORE 106533.833
AT ITER 1972 NEW BEST:: SOT 768272 SOS 363660 HAS SOPS 358948 HAS SOUS 106778 HAS SOUPS 106011 WITH SCORE 106374.66
AT ITER 1990 NEW BEST:: SOT 768269 SOS 363657 HAS SOPS 358945 HAS SOUS 106772 HAS SOUPS 106005 WITH SCORE 106368.657
AT ITER 2002 NEW BEST:: SOT 768139 SOS 363527 HAS SOPS 358815 HAS SOUS 106642 HAS SOUPS 105875 WITH SCORE 106238.527
AT ITER 2042 NEW BEST:: SOT 772265 SOS 356550 HAS SOPS 351838 HAS SOUS 105686 HAS SOUPS 104919 WITH SCORE 105275.55
AT ITER 2066 NEW BEST:: SOT 772269 SOS 356554 HAS SOPS 351842 HAS SOUS 105672 HAS SOUPS 104905 WITH SCORE 105261.554
AT ITER 2088 NEW BEST:: SOT 772258 SOS 356584 HAS SOPS 351872 HAS SOUS 105200 HAS SOUPS 104433 WITH SCORE 104789.584
AT ITER 2124 NEW BEST:: SOT 772258 SOS 356564 HAS SOPS 351852 HAS SOUS 105200 HAS SOUPS 104433 WITH SCORE 104789.564
AT ITER 2125 NEW BEST:: SOT 775053 SOS 359359 HAS SOPS 354647 HAS SOUS 104463 HAS SOUPS 103696 WITH SCORE 104055.359
AT ITER 2170 NEW BEST:: SOT 774980 SOS 359286 HAS SOPS 354574 HAS SOUS 104389 HAS SOUPS 103622 WITH SCORE 103981.286
AT ITER 2184 NEW BEST:: SOT 775121 SOS 346651 HAS SOPS 338802 HAS SOUS 103922 HAS SOUPS 103039 WITH SCORE 103385.651
AT ITER 2199 NEW BEST:: SOT 775121 SOS 346678 HAS SOPS 338829 HAS SOUS 103841 HAS SOUPS 102958 WITH SCORE 103304.678
AT ITER 2207 NEW BEST:: SOT 775105 SOS 346654 HAS SOPS 338805 HAS SOUS 103817 HAS SOUPS 102934 WITH SCORE 103280.654
AT ITER 2212 NEW BEST:: SOT 775089 SOS 346542 HAS SOPS 338693 HAS SOUS 103785 HAS SOUPS 102902 WITH SCORE 103248.542
AT ITER 2219 NEW BEST:: SOT 775077 SOS 346516 HAS SOPS 338667 HAS SOUS 103759 HAS SOUPS 102876 WITH SCORE 103222.516
AT ITER 2221 NEW BEST:: SOT 775077 SOS 346360 HAS SOPS 338673 HAS SOUS 102750 HAS SOUPS 101894 WITH SCORE 102240.36
AT ITER 2225 NEW BEST:: SOT 775054 SOS 346337 HAS SOPS 338650 HAS SOUS 102686 HAS SOUPS 101830 WITH SCORE 102176.337
AT ITER 2251 NEW BEST:: SOT 775111 SOS 346394 HAS SOPS 338707 HAS SOUS 102668 HAS SOUPS 101812 WITH SCORE 102158.394
AT ITER 2275 NEW BEST:: SOT 775033 SOS 346316 HAS SOPS 338629 HAS SOUS 102590 HAS SOUPS 101734 WITH SCORE 102080.316
AT ITER 2290 NEW BEST:: SOT 775027 SOS 346340 HAS SOPS 338653 HAS SOUS 102578 HAS SOUPS 101722 WITH SCORE 102068.34
AT ITER 2325 NEW BEST:: SOT 775018 SOS 346337 HAS SOPS 338650 HAS SOUS 102551 HAS SOUPS 101695 WITH SCORE 102041.337
AT ITER 2334 NEW BEST:: SOT 774864 SOS 346135 HAS SOPS 338448 HAS SOUS 102477 HAS SOUPS 101621 WITH SCORE 101967.135
AT ITER 2341 NEW BEST:: SOT 774863 SOS 346134 HAS SOPS 338423 HAS SOUS 102430 HAS SOUPS 101574 WITH SCORE 101920.134
AT ITER 2379 NEW BEST:: SOT 774726 SOS 345712 HAS SOPS 338001 HAS SOUS 102397 HAS SOUPS 101541 WITH SCORE 101886.712
AT ITER 2380 NEW BEST:: SOT 774808 SOS 346034 HAS SOPS 338323 HAS SOUS 102140 HAS SOUPS 101284 WITH SCORE 101630.034
AT ITER 2382 NEW BEST:: SOT 774683 SOS 345819 HAS SOPS 338254 HAS SOUS 102056 HAS SOUPS 101200 WITH SCORE 101545.819
AT ITER 2512 NEW BEST:: SOT 775158 SOS 346210 HAS SOPS 338645 HAS SOUS 102003 HAS SOUPS 101147 WITH SCORE 101493.21
AT ITER 2521 NEW BEST:: SOT 775095 SOS 346147 HAS SOPS 338582 HAS SOUS 101979 HAS SOUPS 101123 WITH SCORE 101469.147
AT ITER 2573 NEW BEST:: SOT 775001 SOS 346286 HAS SOPS 338700 HAS SOUS 101826 HAS SOUPS 100970 WITH SCORE 101316.286
AT ITER 2588 NEW BEST:: SOT 774962 SOS 346247 HAS SOPS 338611 HAS SOUS 101789 HAS SOUPS 100933 WITH SCORE 101279.247
AT ITER 2598 NEW BEST:: SOT 774962 SOS 346245 HAS SOPS 338609 HAS SOUS 101789 HAS SOUPS 100933 WITH SCORE 101279.245
AT ITER 2602 NEW BEST:: SOT 774962 SOS 346131 HAS SOPS 338697 HAS SOUS 101785 HAS SOUPS 100929 WITH SCORE 101275.131
AT ITER 2609 NEW BEST:: SOT 773019 SOS 344188 HAS SOPS 336754 HAS SOUS 101571 HAS SOUPS 100715 WITH SCORE 101059.188
AT ITER 2613 NEW BEST:: SOT 773032 SOS 344254 HAS SOPS 336820 HAS SOUS 101533 HAS SOUPS 100677 WITH SCORE 101021.254
AT ITER 2618 NEW BEST:: SOT 770403 SOS 341625 HAS SOPS 333903 HAS SOUS 101124 HAS SOUPS 100220 WITH SCORE 100561.625
AT ITER 2638 NEW BEST:: SOT 770403 SOS 341049 HAS SOPS 333327 HAS SOUS 101124 HAS SOUPS 100220 WITH SCORE 100561.049
AT ITER 2643 NEW BEST:: SOT 770279 SOS 340925 HAS SOPS 333179 HAS SOUS 100950 HAS SOUPS 100046 WITH SCORE 100386.925
AT ITER 2649 NEW BEST:: SOT 770279 SOS 340925 HAS SOPS 333179 HAS SOUS 100921 HAS SOUPS 100017 WITH SCORE 100357.925
AT ITER 2650 NEW BEST:: SOT 770457 SOS 340969 HAS SOPS 333062 HAS SOUS 100919 HAS SOUPS 100015 WITH SCORE 100355.969
AT ITER 2655 NEW BEST:: SOT 770481 SOS 340930 HAS SOPS 333023 HAS SOUS 100880 HAS SOUPS 99976 WITH SCORE 100316.93
AT ITER 2658 NEW BEST:: SOT 770471 SOS 340920 HAS SOPS 333013 HAS SOUS 100870 HAS SOUPS 99966 WITH SCORE 100306.92
AT ITER 2663 NEW BEST:: SOT 770462 SOS 340937 HAS SOPS 333045 HAS SOUS 100847 HAS SOUPS 99946 WITH SCORE 100286.937
AT ITER 2667 NEW BEST:: SOT 770452 SOS 340927 HAS SOPS 333035 HAS SOUS 100836 HAS SOUPS 99935 WITH SCORE 100275.927
AT ITER 2697 NEW BEST:: SOT 770416 SOS 340891 HAS SOPS 332981 HAS SOUS 100770 HAS SOUPS 99869 WITH SCORE 100209.891
AT ITER 2698 NEW BEST:: SOT 770358 SOS 340806 HAS SOPS 332896 HAS SOUS 100727 HAS SOUPS 99826 WITH SCORE 100166.806
AT ITER 2709 NEW BEST:: SOT 770568 SOS 340999 HAS SOPS 333089 HAS SOUS 100481 HAS SOUPS 99580 WITH SCORE 99920.999
AT ITER 2713 NEW BEST:: SOT 761656 SOS 332119 HAS SOPS 324209 HAS SOUS 98644 HAS SOUPS 97743 WITH SCORE 98075.119
AT ITER 2715 NEW BEST:: SOT 761649 SOS 332112 HAS SOPS 324197 HAS SOUS 98632 HAS SOUPS 97731 WITH SCORE 98063.112
AT ITER 2720 NEW BEST:: SOT 761649 SOS 331992 HAS SOPS 324077 HAS SOUS 98632 HAS SOUPS 97731 WITH SCORE 98062.992
AT ITER 2734 NEW BEST:: SOT 761568 SOS 331911 HAS SOPS 323996 HAS SOUS 98544 HAS SOUPS 97643 WITH SCORE 97974.911
AT ITER 2748 NEW BEST:: SOT 761502 SOS 331845 HAS SOPS 323920 HAS SOUS 98462 HAS SOUPS 97551 WITH SCORE 97882.845
AT ITER 2761 NEW BEST:: SOT 761474 SOS 331802 HAS SOPS 323879 HAS SOUS 98436 HAS SOUPS 97525 WITH SCORE 97856.802
AT ITER 2787 NEW BEST:: SOT 761474 SOS 331802 HAS SOPS 323879 HAS SOUS 98420 HAS SOUPS 97509 WITH SCORE 97840.802
AT ITER 2788 NEW BEST:: SOT 761452 SOS 331787 HAS SOPS 323864 HAS SOUS 98414 HAS SOUPS 97503 WITH SCORE 97834.787
AT ITER 2794 NEW BEST:: SOT 761442 SOS 331767 HAS SOPS 323844 HAS SOUS 98394 HAS SOUPS 97483 WITH SCORE 97814.767
AT ITER 2807 NEW BEST:: SOT 761434 SOS 331759 HAS SOPS 323833 HAS SOUS 98378 HAS SOUPS 97467 WITH SCORE 97798.759
AT ITER 2813 NEW BEST:: SOT 761268 SOS 331536 HAS SOPS 323742 HAS SOUS 98331 HAS SOUPS 97420 WITH SCORE 97751.536
AT ITER 2815 NEW BEST:: SOT 761276 SOS 331485 HAS SOPS 323691 HAS SOUS 98299 HAS SOUPS 97388 WITH SCORE 97719.485
AT ITER 2858 NEW BEST:: SOT 761241 SOS 333150 HAS SOPS 325356 HAS SOUS 98285 HAS SOUPS 97374 WITH SCORE 97707.15
AT ITER 2881 NEW BEST:: SOT 761189 SOS 332856 HAS SOPS 325062 HAS SOUS 98285 HAS SOUPS 97374 WITH SCORE 97706.856
AT ITER 2885 NEW BEST:: SOT 761210 SOS 333003 HAS SOPS 325209 HAS SOUS 98264 HAS SOUPS 97353 WITH SCORE 97686.003
AT ITER 2896 NEW BEST:: SOT 761144 SOS 332847 HAS SOPS 325053 HAS SOUS 98222 HAS SOUPS 97311 WITH SCORE 97643.847
AT ITER 2898 NEW BEST:: SOT 760815 SOS 332606 HAS SOPS 324812 HAS SOUS 97942 HAS SOUPS 97031 WITH SCORE 97363.606
AT ITER 2901 NEW BEST:: SOT 760788 SOS 332571 HAS SOPS 324777 HAS SOUS 97941 HAS SOUPS 97030 WITH SCORE 97362.571
AT ITER 2904 NEW BEST:: SOT 760791 SOS 332590 HAS SOPS 324796 HAS SOUS 97936 HAS SOUPS 97025 WITH SCORE 97357.59
AT ITER 2935 NEW BEST:: SOT 760780 SOS 332579 HAS SOPS 324785 HAS SOUS 97925 HAS SOUPS 97014 WITH SCORE 97346.579
AT ITER 2961 NEW BEST:: SOT 760777 SOS 332576 HAS SOPS 324782 HAS SOUS 97917 HAS SOUPS 97006 WITH SCORE 97338.576
AT ITER 2965 NEW BEST:: SOT 760777 SOS 332574 HAS SOPS 324780 HAS SOUS 97909 HAS SOUPS 96998 WITH SCORE 97330.574
AT ITER 2970 NEW BEST:: SOT 760773 SOS 332570 HAS SOPS 324774 HAS SOUS 97901 HAS SOUPS 96990 WITH SCORE 97322.57
AT ITER 2985 NEW BEST:: SOT 760594 SOS 332391 HAS SOPS 324595 HAS SOUS 97661 HAS SOUPS 96750 WITH SCORE 97082.391
AT ITER 2996 NEW BEST:: SOT 760594 SOS 332365 HAS SOPS 324569 HAS SOUS 97661 HAS SOUPS 96750 WITH SCORE 97082.365
AT ITER 2999 NEW BEST:: SOT 760472 SOS 332155 HAS SOPS 324359 HAS SOUS 97407 HAS SOUPS 96496 WITH SCORE 96828.155
AT ITER 3004 NEW BEST:: SOT 760455 SOS 331877 HAS SOPS 324081 HAS SOUS 97377 HAS SOUPS 96466 WITH SCORE 96797.877
AT ITER 3006 NEW BEST:: SOT 760295 SOS 331645 HAS SOPS 323849 HAS SOUS 97207 HAS SOUPS 96296 WITH SCORE 96627.645
AT ITER 3056 NEW BEST:: SOT 760347 SOS 331697 HAS SOPS 323882 HAS SOUS 97185 HAS SOUPS 96274 WITH SCORE 96605.697
AT ITER 3061 NEW BEST:: SOT 760190 SOS 331416 HAS SOPS 323601 HAS SOUS 96966 HAS SOUPS 96055 WITH SCORE 96386.416
AT ITER 3067 NEW BEST:: SOT 760190 SOS 331413 HAS SOPS 323598 HAS SOUS 96957 HAS SOUPS 96046 WITH SCORE 96377.413
AT ITER 3075 NEW BEST:: SOT 760205 SOS 331382 HAS SOPS 323567 HAS SOUS 96921 HAS SOUPS 96010 WITH SCORE 96341.382
AT ITER 3107 NEW BEST:: SOT 760198 SOS 331352 HAS SOPS 323537 HAS SOUS 96895 HAS SOUPS 95984 WITH SCORE 96315.352
AT ITER 3112 NEW BEST:: SOT 760191 SOS 331345 HAS SOPS 323530 HAS SOUS 96886 HAS SOUPS 95975 WITH SCORE 96306.345
AT ITER 3134 NEW BEST:: SOT 759990 SOS 331192 HAS SOPS 323377 HAS SOUS 96733 HAS SOUPS 95822 WITH SCORE 96153.192
AT ITER 3139 NEW BEST:: SOT 759987 SOS 331189 HAS SOPS 323374 HAS SOUS 96529 HAS SOUPS 95618 WITH SCORE 95949.189
AT ITER 3148 NEW BEST:: SOT 760085 SOS 331221 HAS SOPS 323406 HAS SOUS 96426 HAS SOUPS 95515 WITH SCORE 95846.221
AT ITER 3164 NEW BEST:: SOT 760024 SOS 331163 HAS SOPS 323348 HAS SOUS 96420 HAS SOUPS 95509 WITH SCORE 95840.163
AT ITER 3212 NEW BEST:: SOT 760005 SOS 331238 HAS SOPS 323423 HAS SOUS 96369 HAS SOUPS 95458 WITH SCORE 95789.238
AT ITER 3220 NEW BEST:: SOT 759979 SOS 331122 HAS SOPS 323307 HAS SOUS 96331 HAS SOUPS 95420 WITH SCORE 95751.122
AT ITER 3246 NEW BEST:: SOT 759688 SOS 330685 HAS SOPS 322870 HAS SOUS 96018 HAS SOUPS 95107 WITH SCORE 95437.685
AT ITER 3257 NEW BEST:: SOT 759688 SOS 330685 HAS SOPS 322870 HAS SOUS 96004 HAS SOUPS 95093 WITH SCORE 95423.685
AT ITER 3271 NEW BEST:: SOT 759557 SOS 330670 HAS SOPS 322838 HAS SOUS 95951 HAS SOUPS 95023 WITH SCORE 95353.67
AT ITER 3295 NEW BEST:: SOT 759557 SOS 330357 HAS SOPS 322669 HAS SOUS 95879 HAS SOUPS 94975 WITH SCORE 95305.357
AT ITER 3317 NEW BEST:: SOT 759557 SOS 330353 HAS SOPS 322665 HAS SOUS 95879 HAS SOUPS 94975 WITH SCORE 95305.353
AT ITER 3328 NEW BEST:: SOT 756566 SOS 327362 HAS SOPS 319674 HAS SOUS 95596 HAS SOUPS 94692 WITH SCORE 95019.362
AT ITER 3337 NEW BEST:: SOT 756577 SOS 327373 HAS SOPS 319685 HAS SOUS 95574 HAS SOUPS 94670 WITH SCORE 94997.373
AT ITER 3354 NEW BEST:: SOT 756585 SOS 327381 HAS SOPS 319685 HAS SOUS 95566 HAS SOUPS 94662 WITH SCORE 94989.381
AT ITER 3360 NEW BEST:: SOT 756595 SOS 327363 HAS SOPS 319667 HAS SOUS 95554 HAS SOUPS 94650 WITH SCORE 94977.363
AT ITER 3385 NEW BEST:: SOT 756583 SOS 327351 HAS SOPS 319655 HAS SOUS 95542 HAS SOUPS 94638 WITH SCORE 94965.351
AT ITER 3395 NEW BEST:: SOT 756653 SOS 327489 HAS SOPS 319793 HAS SOUS 95523 HAS SOUPS 94619 WITH SCORE 94946.489
AT ITER 3416 NEW BEST:: SOT 756650 SOS 327483 HAS SOPS 319787 HAS SOUS 95519 HAS SOUPS 94615 WITH SCORE 94942.483
AT ITER 3419 NEW BEST:: SOT 756823 SOS 327629 HAS SOPS 319933 HAS SOUS 95455 HAS SOUPS 94551 WITH SCORE 94878.629
AT ITER 3432 NEW BEST:: SOT 756812 SOS 327607 HAS SOPS 319911 HAS SOUS 95433 HAS SOUPS 94529 WITH SCORE 94856.607
AT ITER 3472 NEW BEST:: SOT 756812 SOS 327615 HAS SOPS 319911 HAS SOUS 95425 HAS SOUPS 94521 WITH SCORE 94848.615
AT ITER 3497 NEW BEST:: SOT 756758 SOS 327471 HAS SOPS 319875 HAS SOUS 94229 HAS SOUPS 93343 WITH SCORE 93670.471
AT ITER 3507 NEW BEST:: SOT 756733 SOS 327421 HAS SOPS 319825 HAS SOUS 94179 HAS SOUPS 93293 WITH SCORE 93620.421
AT ITER 3513 NEW BEST:: SOT 756725 SOS 327413 HAS SOPS 319825 HAS SOUS 94179 HAS SOUPS 93293 WITH SCORE 93620.413
AT ITER 3519 NEW BEST:: SOT 756685 SOS 327333 HAS SOPS 319745 HAS SOUS 94099 HAS SOUPS 93213 WITH SCORE 93540.333
AT ITER 3561 NEW BEST:: SOT 760496 SOS 331294 HAS SOPS 323706 HAS SOUS 93998 HAS SOUPS 93112 WITH SCORE 93443.294
AT ITER 3575 NEW BEST:: SOT 760261 SOS 329887 HAS SOPS 322299 HAS SOUS 93808 HAS SOUPS 92922 WITH SCORE 93251.887
AT ITER 3580 NEW BEST:: SOT 760272 SOS 329898 HAS SOPS 322356 HAS SOUS 93765 HAS SOUPS 92879 WITH SCORE 93208.898
AT ITER 3601 NEW BEST:: SOT 760273 SOS 329899 HAS SOPS 322370 HAS SOUS 93741 HAS SOUPS 92855 WITH SCORE 93184.899
AT ITER 3612 NEW BEST:: SOT 760217 SOS 327049 HAS SOPS 319520 HAS SOUS 93655 HAS SOUPS 92769 WITH SCORE 93096.049
AT ITER 3676 NEW BEST:: SOT 760034 SOS 326854 HAS SOPS 319325 HAS SOUS 93387 HAS SOUPS 92501 WITH SCORE 92827.854
AT ITER 3698 NEW BEST:: SOT 760036 SOS 326856 HAS SOPS 319327 HAS SOUS 93321 HAS SOUPS 92435 WITH SCORE 92761.856
AT ITER 3700 NEW BEST:: SOT 758810 SOS 325690 HAS SOPS 318101 HAS SOUS 93115 HAS SOUPS 92219 WITH SCORE 92544.69
AT ITER 3753 NEW BEST:: SOT 758791 SOS 325671 HAS SOPS 318063 HAS SOUS 93114 HAS SOUPS 92218 WITH SCORE 92543.671
AT ITER 3761 NEW BEST:: SOT 758725 SOS 325576 HAS SOPS 317964 HAS SOUS 93015 HAS SOUPS 92119 WITH SCORE 92444.576
AT ITER 3769 NEW BEST:: SOT 758720 SOS 325571 HAS SOPS 317959 HAS SOUS 93005 HAS SOUPS 92109 WITH SCORE 92434.571
AT ITER 3807 NEW BEST:: SOT 758708 SOS 325553 HAS SOPS 317941 HAS SOUS 92981 HAS SOUPS 92085 WITH SCORE 92410.553
AT ITER 3811 NEW BEST:: SOT 758708 SOS 325553 HAS SOPS 317941 HAS SOUS 92929 HAS SOUPS 92033 WITH SCORE 92358.553
AT ITER 3815 NEW BEST:: SOT 758657 SOS 325502 HAS SOPS 317890 HAS SOUS 92878 HAS SOUPS 91982 WITH SCORE 92307.502
AT ITER 3847 NEW BEST:: SOT 758591 SOS 325436 HAS SOPS 317824 HAS SOUS 92762 HAS SOUPS 91866 WITH SCORE 92191.436
AT ITER 3876 NEW BEST:: SOT 758510 SOS 325334 HAS SOPS 317722 HAS SOUS 92600 HAS SOUPS 91704 WITH SCORE 92029.334
AT ITER 3889 NEW BEST:: SOT 758507 SOS 325326 HAS SOPS 317714 HAS SOUS 92592 HAS SOUPS 91696 WITH SCORE 92021.326
AT ITER 3912 NEW BEST:: SOT 758227 SOS 324982 HAS SOPS 317370 HAS SOUS 91980 HAS SOUPS 91084 WITH SCORE 91408.982
AT ITER 3921 NEW BEST:: SOT 758215 SOS 324958 HAS SOPS 317346 HAS SOUS 91956 HAS SOUPS 91060 WITH SCORE 91384.958
AT ITER 4055 NEW BEST:: SOT 758215 SOS 325044 HAS SOPS 317432 HAS SOUS 91930 HAS SOUPS 91034 WITH SCORE 91359.044
AT ITER 4060 NEW BEST:: SOT 758209 SOS 325038 HAS SOPS 317426 HAS SOUS 91924 HAS SOUPS 91028 WITH SCORE 91353.038
AT ITER 4075 NEW BEST:: SOT 758209 SOS 324929 HAS SOPS 317317 HAS SOUS 91915 HAS SOUPS 91019 WITH SCORE 91343.929
AT ITER 4097 NEW BEST:: SOT 758289 SOS 325399 HAS SOPS 317787 HAS SOUS 91815 HAS SOUPS 90919 WITH SCORE 91244.399
AT ITER 4136 NEW BEST:: SOT 758267 SOS 325375 HAS SOPS 317761 HAS SOUS 91797 HAS SOUPS 90901 WITH SCORE 91226.375
AT ITER 4139 NEW BEST:: SOT 758267 SOS 325375 HAS SOPS 317761 HAS SOUS 91792 HAS SOUPS 90896 WITH SCORE 91221.375
AT ITER 4149 NEW BEST:: SOT 758307 SOS 325637 HAS SOPS 318023 HAS SOUS 90978 HAS SOUPS 90082 WITH SCORE 90407.637
AT ITER 4163 NEW BEST:: SOT 752229 SOS 319503 HAS SOPS 311889 HAS SOUS 90477 HAS SOUPS 89581 WITH SCORE 89900.503
AT ITER 4167 NEW BEST:: SOT 752217 SOS 319491 HAS SOPS 311877 HAS SOUS 90466 HAS SOUPS 89570 WITH SCORE 89889.491
AT ITER 4177 NEW BEST:: SOT 752273 SOS 319253 HAS SOPS 311664 HAS SOUS 90428 HAS SOUPS 89532 WITH SCORE 89851.253
AT ITER 4238 NEW BEST:: SOT 752224 SOS 319179 HAS SOPS 311591 HAS SOUS 90380 HAS SOUPS 89484 WITH SCORE 89803.179
AT ITER 4270 NEW BEST:: SOT 752222 SOS 319177 HAS SOPS 311589 HAS SOUS 90378 HAS SOUPS 89482 WITH SCORE 89801.177
AT ITER 4312 NEW BEST:: SOT 752196 SOS 319119 HAS SOPS 311531 HAS SOUS 90326 HAS SOUPS 89430 WITH SCORE 89749.119
AT ITER 4318 NEW BEST:: SOT 752196 SOS 319119 HAS SOPS 311591 HAS SOUS 90096 HAS SOUPS 89210 WITH SCORE 89529.119
AT ITER 4331 NEW BEST:: SOT 751853 SOS 318791 HAS SOPS 311263 HAS SOUS 89966 HAS SOUPS 89080 WITH SCORE 89398.791
AT ITER 4341 NEW BEST:: SOT 751893 SOS 318736 HAS SOPS 311208 HAS SOUS 89920 HAS SOUPS 89034 WITH SCORE 89352.736
AT ITER 4400 NEW BEST:: SOT 751889 SOS 318687 HAS SOPS 311159 HAS SOUS 89915 HAS SOUPS 89029 WITH SCORE 89347.687
AT ITER 4412 NEW BEST:: SOT 751827 SOS 318583 HAS SOPS 311055 HAS SOUS 89845 HAS SOUPS 88959 WITH SCORE 89277.583
AT ITER 4440 NEW BEST:: SOT 751829 SOS 318566 HAS SOPS 311038 HAS SOUS 89828 HAS SOUPS 88942 WITH SCORE 89260.566
AT ITER 4456 NEW BEST:: SOT 751779 SOS 318586 HAS SOPS 311062 HAS SOUS 89459 HAS SOUPS 88573 WITH SCORE 88891.586
AT ITER 4473 NEW BEST:: SOT 751736 SOS 318567 HAS SOPS 311043 HAS SOUS 89440 HAS SOUPS 88554 WITH SCORE 88872.567
AT ITER 4499 NEW BEST:: SOT 751729 SOS 318560 HAS SOPS 311024 HAS SOUS 89450 HAS SOUPS 88552 WITH SCORE 88870.56
AT ITER 4507 NEW BEST:: SOT 751679 SOS 318510 HAS SOPS 310986 HAS SOUS 89443 HAS SOUPS 88545 WITH SCORE 88863.51
AT ITER 4520 NEW BEST:: SOT 751679 SOS 318510 HAS SOPS 310981 HAS SOUS 89433 HAS SOUPS 88535 WITH SCORE 88853.51
AT ITER 4541 NEW BEST:: SOT 751580 SOS 318411 HAS SOPS 310882 HAS SOUS 89289 HAS SOUPS 88391 WITH SCORE 88709.411
AT ITER 4543 NEW BEST:: SOT 751179 SOS 317370 HAS SOPS 309841 HAS SOUS 88901 HAS SOUPS 88003 WITH SCORE 88320.37
AT ITER 4584 NEW BEST:: SOT 751100 SOS 317358 HAS SOPS 309829 HAS SOUS 88843 HAS SOUPS 87945 WITH SCORE 88262.358
AT ITER 4612 NEW BEST:: SOT 751100 SOS 317396 HAS SOPS 309791 HAS SOUS 88881 HAS SOUPS 87907 WITH SCORE 88224.396
AT ITER 4631 NEW BEST:: SOT 751100 SOS 317396 HAS SOPS 309791 HAS SOUS 88864 HAS SOUPS 87890 WITH SCORE 88207.396
AT ITER 4632 NEW BEST:: SOT 750961 SOS 317060 HAS SOPS 309455 HAS SOUS 88832 HAS SOUPS 87858 WITH SCORE 88175.06
AT ITER 4640 NEW BEST:: SOT 750959 SOS 317058 HAS SOPS 309451 HAS SOUS 88826 HAS SOUPS 87852 WITH SCORE 88169.058
AT ITER 4668 NEW BEST:: SOT 750957 SOS 317056 HAS SOPS 309449 HAS SOUS 88824 HAS SOUPS 87850 WITH SCORE 88167.056
AT ITER 4687 NEW BEST:: SOT 750940 SOS 317088 HAS SOPS 309481 HAS SOUS 88788 HAS SOUPS 87814 WITH SCORE 88131.088
AT ITER 4741 NEW BEST:: SOT 750864 SOS 316998 HAS SOPS 309391 HAS SOUS 88698 HAS SOUPS 87724 WITH SCORE 88040.998
AT ITER 4771 NEW BEST:: SOT 750904 SOS 316909 HAS SOPS 309302 HAS SOUS 88589 HAS SOUPS 87615 WITH SCORE 87931.909
AT ITER 4807 NEW BEST:: SOT 750733 SOS 316681 HAS SOPS 309074 HAS SOUS 88361 HAS SOUPS 87387 WITH SCORE 87703.681
AT ITER 4829 NEW BEST:: SOT 750722 SOS 316675 HAS SOPS 309068 HAS SOUS 88350 HAS SOUPS 87376 WITH SCORE 87692.675
AT ITER 4850 NEW BEST:: SOT 750713 SOS 316669 HAS SOPS 309062 HAS SOUS 88332 HAS SOUPS 87358 WITH SCORE 87674.669
AT ITER 4922 NEW BEST:: SOT 750847 SOS 317022 HAS SOPS 309415 HAS SOUS 88247 HAS SOUPS 87273 WITH SCORE 87590.022
AT ITER 4925 NEW BEST:: SOT 750904 SOS 317079 HAS SOPS 309470 HAS SOUS 88243 HAS SOUPS 87269 WITH SCORE 87586.079
AT ITER 4934 NEW BEST:: SOT 750904 SOS 316772 HAS SOPS 309163 HAS SOUS 88219 HAS SOUPS 87245 WITH SCORE 87561.772
AT ITER 4953 NEW BEST:: SOT 750912 SOS 316750 HAS SOPS 309132 HAS SOUS 88216 HAS SOUPS 87242 WITH SCORE 87558.75
AT ITER 4961 NEW BEST:: SOT 750814 SOS 316709 HAS SOPS 309091 HAS SOUS 88162 HAS SOUPS 87188 WITH SCORE 87504.709
AT ITER 4969 NEW BEST:: SOT 750882 SOS 317167 HAS SOPS 309399 HAS SOUS 88093 HAS SOUPS 87094 WITH SCORE 87411.167
AT ITER 4977 NEW BEST:: SOT 750876 SOS 317139 HAS SOPS 309371 HAS SOUS 88077 HAS SOUPS 87078 WITH SCORE 87395.139
AT ITER 4979 NEW BEST:: SOT 750787 SOS 316970 HAS SOPS 309202 HAS SOUS 88066 HAS SOUPS 87067 WITH SCORE 87383.97
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: PolyORBLF-PT-S04J04T06-CTLCardinality-00 ( (EF((! ( potential( (tk(P58) + tk(P133) + tk(P193) + tk(P258) + tk(P497) + tk(P511)) <= (tk(P58) + tk(P133) + tk(P193) + tk(P258) + tk(P497) + tk(P511)) ) | potential( (tk(P243)) <= (tk(P116)) ) )))) & (! (! (! (! potential( ( 2 ) <= (tk(P129) + tk(P279) + tk(P330) + tk(P423) + tk(P499)) ))))) )
PROPERTY: PolyORBLF-PT-S04J04T06-CTLCardinality-01 (EG( ( ( potential( (tk(P72) + tk(P191) + tk(P206) + tk(P220) + tk(P252) + tk(P285)) <= (tk(P116)) ) & ( potential( (tk(P111) + tk(P147) + tk(P293) + tk(P353) + tk(P465) + tk(P548)) <= (tk(P2) + tk(P44) + tk(P51) + tk(P64) + tk(P66) + tk(P84) + tk(P132) + tk(P152) + tk(P201) + tk(P204) + tk(P214) + tk(P222) + tk(P256) + tk(P280) + tk(P303) + tk(P311) + tk(P337) + tk(P347) + tk(P352) + tk(P395) + tk(P396) + tk(P441) + tk(P446) + tk(P467) + tk(P474) + tk(P482) + tk(P525) + tk(P526) + tk(P531) + tk(P545)) ) & potential( (tk(P36) + tk(P47) + tk(P65) + tk(P101) + tk(P117) + tk(P156) + tk(P176) + tk(P188) + tk(P215) + tk(P225) + tk(P281) + tk(P283) + tk(P291) + tk(P318) + tk(P329) + tk(P364) + tk(P366) + tk(P378) + tk(P407) + tk(P447) + tk(P477) + tk(P491) + tk(P535) + tk(P538)) <= (tk(P2) + tk(P44) + tk(P51) + tk(P64) + tk(P66) + tk(P84) + tk(P132) + tk(P152) + tk(P201) + tk(P204) + tk(P214) + tk(P222) + tk(P256) + tk(P280) + tk(P303) + tk(P311) + tk(P337) + tk(P347) + tk(P352) + tk(P395) + tk(P396) + tk(P441) + tk(P446) + tk(P467) + tk(P474) + tk(P482) + tk(P525) + tk(P526) + tk(P531) + tk(P545)) ) ) ) | ( potential( ( 2 ) <= (tk(P547)) ) & ( potential( (tk(P194) + tk(P259) + tk(P399) + tk(P456) + tk(P498)) <= (tk(P22) + tk(P140) + tk(P205) + tk(P358) + tk(P439) + tk(P537)) ) & potential( (tk(P60) + tk(P169) + tk(P234) + tk(P257) + tk(P413) + tk(P415)) <= (tk(P13) + tk(P76) + tk(P248) + tk(P294) + tk(P331) + tk(P408)) ) ) ) )))
PROPERTY: PolyORBLF-PT-S04J04T06-CTLCardinality-02 (! (AG( (EF(potential( (tk(P5)) <= (tk(P56)) ))))))
PROPERTY: PolyORBLF-PT-S04J04T06-CTLCardinality-03 (AF((EG( ( potential( ( 2 ) <= (tk(P70) + tk(P103) + tk(P231) + tk(P398) + tk(P464) + tk(P533)) ) & potential( (tk(P153) + tk(P165) + tk(P190) + tk(P269) + tk(P335) + tk(P373)) <= (tk(P72) + tk(P191) + tk(P206) + tk(P220) + tk(P252) + tk(P285)) ) )))))
PROPERTY: PolyORBLF-PT-S04J04T06-CTLCardinality-04 (AF(potential( ( 3 ) <= (tk(P32) + tk(P48) + tk(P52) + tk(P57) + tk(P74) + tk(P130) + tk(P142) + tk(P145) + tk(P157) + tk(P180) + tk(P196) + tk(P245) + tk(P290) + tk(P323) + tk(P354) + tk(P372) + tk(P393) + tk(P397) + tk(P433) + tk(P445) + tk(P480) + tk(P501) + tk(P522) + tk(P550)) )))
PROPERTY: PolyORBLF-PT-S04J04T06-CTLCardinality-05 (EF((EG( (! potential( ( 2 ) <= (tk(P487)) ))))))
PROPERTY: PolyORBLF-PT-S04J04T06-CTLCardinality-06 (AG( ( (! ( potential( ( 2 ) <= (tk(P12)) ) | potential( ( 2 ) <= (tk(P243)) ) )) | ( potential( (tk(P23) + tk(P159) + tk(P235) + tk(P307) + tk(P371) + tk(P468)) <= (tk(P194) + tk(P259) + tk(P399) + tk(P456) + tk(P498)) ) | ( potential( (tk(P487)) <= (tk(P26) + tk(P63) + tk(P174) + tk(P253) + tk(P370) + tk(P436)) ) & potential( (tk(P70) + tk(P103) + tk(P231) + tk(P398) + tk(P464) + tk(P533)) <= (tk(P5)) ) ) ) )))
PROPERTY: PolyORBLF-PT-S04J04T06-CTLCardinality-07 (! ( ( (! potential( (tk(P277)) <= (tk(P29) + tk(P37) + tk(P135) + tk(P472) + tk(P544) + tk(P554)) )) | potential( ( 3 ) <= (tk(P26) + tk(P63) + tk(P174) + tk(P253) + tk(P370) + tk(P436)) ) ) | ( (EX( potential( (tk(P56)) <= (tk(P3) + tk(P118) + tk(P189) + tk(P244) + tk(P459) + tk(P552)) ))) | (EG( potential( (tk(P23) + tk(P159) + tk(P235) + tk(P307) + tk(P371) + tk(P468)) <= (tk(P58) + tk(P133) + tk(P193) + tk(P258) + tk(P497) + tk(P511)) ))) ) ))
PROPERTY: PolyORBLF-PT-S04J04T06-CTLCardinality-08 (AF((AU( potential( (tk(P314)) <= (tk(P199)) ),potential( ( 2 ) <= (tk(P350)) ) ))))
PROPERTY: PolyORBLF-PT-S04J04T06-CTLCardinality-09 (! (EF(( potential( ( 3 ) <= (tk(P232)) ) & ( potential( ( 1 ) <= (tk(P338)) ) | potential( (tk(P91)) <= (tk(P7)) ) ) ))))
PROPERTY: PolyORBLF-PT-S04J04T06-CTLCardinality-10 (! (AF(( ( potential( (tk(P310)) <= (tk(P147)) ) & potential( (tk(P165)) <= (tk(P124)) ) ) & ( potential( (tk(P36)) <= (tk(P273)) ) & potential( ( 2 ) <= (tk(P284)) ) ) ))))
PROPERTY: PolyORBLF-PT-S04J04T06-CTLCardinality-11 (AG( ( (AG( potential( (tk(P437)) <= (tk(P244)) ))) | potential( (tk(P31)) <= (tk(P363)) ) )))
PROPERTY: PolyORBLF-PT-S04J04T06-CTLCardinality-12 ( (AX( (EF(potential( ( 3 ) <= (tk(P279)) ))))) | ( (AG( (! potential( (tk(P544)) <= (tk(P57)) )))) & (EU( potential( ( 2 ) <= (tk(P157)) ),potential( (tk(P282)) <= (tk(P460)) ) )) ) )
PROPERTY: PolyORBLF-PT-S04J04T06-CTLCardinality-13 (! (EU( potential( (tk(P494)) <= (tk(P502)) ),potential( ( 3 ) <= (tk(P330)) ) )))
PROPERTY: PolyORBLF-PT-S04J04T06-CTLCardinality-14 (AU( (AX( potential( (tk(P183)) <= (tk(P15)) ))),(! potential( (tk(P512)) <= (tk(P197)) )) ))
PROPERTY: PolyORBLF-PT-S04J04T06-CTLCardinality-15 (AG( (EU( potential( ( 1 ) <= (tk(P304)) ),potential( (tk(P157)) <= (tk(P98)) ) ))))

BK_TIME_CONFINEMENT_REACHED

--------------------
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="PolyORBLF-PT-S04J04T06"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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-4028"
echo " Executing tool smart"
echo " Input is PolyORBLF-PT-S04J04T06, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r123-tajo-158961354800459"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-PT-S04J04T06.tgz
mv PolyORBLF-PT-S04J04T06 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;