Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r224-oct2-159033538900532.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.........................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ViralEpidemic-PT-S04D1C1A03, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538900532
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 728K
-rw-r--r-- 1 mcc users 3.6K May 14 05:07 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 14 05:07 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K May 13 23:06 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 23:06 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K May 14 10:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 14 10:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 14 10:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 14 10:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 4.6K May 13 16:12 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K May 13 16:12 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.9K May 13 11:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 23K May 13 11:56 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K May 13 16:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K May 13 16:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 11 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 535K May 12 20:42 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 ViralEpidemic-PT-S04D1C1A03-CTLFireability-00
FORMULA_NAME ViralEpidemic-PT-S04D1C1A03-CTLFireability-01
FORMULA_NAME ViralEpidemic-PT-S04D1C1A03-CTLFireability-02
FORMULA_NAME ViralEpidemic-PT-S04D1C1A03-CTLFireability-03
FORMULA_NAME ViralEpidemic-PT-S04D1C1A03-CTLFireability-04
FORMULA_NAME ViralEpidemic-PT-S04D1C1A03-CTLFireability-05
FORMULA_NAME ViralEpidemic-PT-S04D1C1A03-CTLFireability-06
FORMULA_NAME ViralEpidemic-PT-S04D1C1A03-CTLFireability-07
FORMULA_NAME ViralEpidemic-PT-S04D1C1A03-CTLFireability-08
FORMULA_NAME ViralEpidemic-PT-S04D1C1A03-CTLFireability-09
FORMULA_NAME ViralEpidemic-PT-S04D1C1A03-CTLFireability-10
FORMULA_NAME ViralEpidemic-PT-S04D1C1A03-CTLFireability-11
FORMULA_NAME ViralEpidemic-PT-S04D1C1A03-CTLFireability-12
FORMULA_NAME ViralEpidemic-PT-S04D1C1A03-CTLFireability-13
FORMULA_NAME ViralEpidemic-PT-S04D1C1A03-CTLFireability-14
FORMULA_NAME ViralEpidemic-PT-S04D1C1A03-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590473749776

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ViralEpidemic (PT), instance S04D1C1A03
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 511 places, 765 transitions, 1785 arcs.
AT ITER 0 NEW BEST:: SOT 265901 SOS 169631 HAS SOPS 169631 HAS SOUS 51932 HAS SOUPS 51932 WITH SCORE 52101.631
AT ITER 4 NEW BEST:: SOT 265849 SOS 169500 HAS SOPS 169500 HAS SOUS 51931 HAS SOUPS 51931 WITH SCORE 52100.5
AT ITER 13 NEW BEST:: SOT 265413 SOS 168410 HAS SOPS 168410 HAS SOUS 51931 HAS SOUPS 51931 WITH SCORE 52099.41
AT ITER 14 NEW BEST:: SOT 265217 SOS 167919 HAS SOPS 167919 HAS SOUS 51930 HAS SOUPS 51930 WITH SCORE 52097.919
AT ITER 17 NEW BEST:: SOT 264439 SOS 166357 HAS SOPS 166357 HAS SOUS 51831 HAS SOUPS 51831 WITH SCORE 51997.357
AT ITER 31 NEW BEST:: SOT 264051 SOS 165386 HAS SOPS 165386 HAS SOUS 51830 HAS SOUPS 51830 WITH SCORE 51995.386
AT ITER 38 NEW BEST:: SOT 263869 SOS 164930 HAS SOPS 164930 HAS SOUS 51829 HAS SOUPS 51829 WITH SCORE 51993.93
AT ITER 56 NEW BEST:: SOT 263624 SOS 164209 HAS SOPS 164209 HAS SOUS 51749 HAS SOUPS 51749 WITH SCORE 51913.209
AT ITER 60 NEW BEST:: SOT 263188 SOS 163118 HAS SOPS 163118 HAS SOUS 51748 HAS SOUPS 51748 WITH SCORE 51911.118
AT ITER 64 NEW BEST:: SOT 262678 SOS 161842 HAS SOPS 161842 HAS SOUS 51747 HAS SOUPS 51747 WITH SCORE 51908.842
AT ITER 69 NEW BEST:: SOT 262500 SOS 161395 HAS SOPS 161395 HAS SOUS 51745 HAS SOUPS 51745 WITH SCORE 51906.395
AT ITER 72 NEW BEST:: SOT 262222 SOS 160699 HAS SOPS 160699 HAS SOUS 51744 HAS SOUPS 51744 WITH SCORE 51904.699
AT ITER 76 NEW BEST:: SOT 262138 SOS 160486 HAS SOPS 160486 HAS SOUS 51739 HAS SOUPS 51739 WITH SCORE 51899.486
AT ITER 81 NEW BEST:: SOT 261674 SOS 159324 HAS SOPS 159324 HAS SOUS 51737 HAS SOUPS 51737 WITH SCORE 51896.324
AT ITER 83 NEW BEST:: SOT 261504 SOS 158899 HAS SOPS 158899 HAS SOUS 51737 HAS SOUPS 51737 WITH SCORE 51895.899
AT ITER 94 NEW BEST:: SOT 261188 SOS 158108 HAS SOPS 158108 HAS SOUS 51736 HAS SOUPS 51736 WITH SCORE 51894.108
AT ITER 106 NEW BEST:: SOT 260756 SOS 157028 HAS SOPS 157028 HAS SOUS 51736 HAS SOUPS 51736 WITH SCORE 51893.028
AT ITER 132 NEW BEST:: SOT 260756 SOS 157026 HAS SOPS 157026 HAS SOUS 51734 HAS SOUPS 51734 WITH SCORE 51891.026
AT ITER 145 NEW BEST:: SOT 260756 SOS 156818 HAS SOPS 156818 HAS SOUS 51526 HAS SOUPS 51526 WITH SCORE 51682.818
AT ITER 148 NEW BEST:: SOT 260386 SOS 155893 HAS SOPS 155893 HAS SOUS 51526 HAS SOUPS 51526 WITH SCORE 51681.893
AT ITER 152 NEW BEST:: SOT 259988 SOS 154895 HAS SOPS 154895 HAS SOUS 51521 HAS SOUPS 51521 WITH SCORE 51675.895
AT ITER 155 NEW BEST:: SOT 259854 SOS 154560 HAS SOPS 154560 HAS SOUS 51521 HAS SOUPS 51521 WITH SCORE 51675.56
AT ITER 171 NEW BEST:: SOT 259718 SOS 154187 HAS SOPS 154187 HAS SOUS 51484 HAS SOUPS 51484 WITH SCORE 51638.187
AT ITER 189 NEW BEST:: SOT 259708 SOS 154162 HAS SOPS 154162 HAS SOUS 51484 HAS SOUPS 51484 WITH SCORE 51638.162
AT ITER 206 NEW BEST:: SOT 259504 SOS 153560 HAS SOPS 153560 HAS SOUS 51392 HAS SOUPS 51392 WITH SCORE 51545.56
AT ITER 213 NEW BEST:: SOT 259249 SOS 153048 HAS SOPS 153048 HAS SOUS 51305 HAS SOUPS 51305 WITH SCORE 51458.048
AT ITER 238 NEW BEST:: SOT 259119 SOS 152720 HAS SOPS 152720 HAS SOUS 51300 HAS SOUPS 51300 WITH SCORE 51452.72
AT ITER 241 NEW BEST:: SOT 258839 SOS 151924 HAS SOPS 151924 HAS SOUS 51234 HAS SOUPS 51234 WITH SCORE 51385.924
AT ITER 247 NEW BEST:: SOT 258475 SOS 151013 HAS SOPS 151013 HAS SOUS 51233 HAS SOUPS 51233 WITH SCORE 51384.013
AT ITER 248 NEW BEST:: SOT 258149 SOS 150195 HAS SOPS 150195 HAS SOUS 51228 HAS SOUPS 51228 WITH SCORE 51378.195
AT ITER 256 NEW BEST:: SOT 257771 SOS 149249 HAS SOPS 149249 HAS SOUS 51227 HAS SOUPS 51227 WITH SCORE 51376.249
AT ITER 262 NEW BEST:: SOT 257495 SOS 148556 HAS SOPS 148556 HAS SOUS 51222 HAS SOUPS 51222 WITH SCORE 51370.556
AT ITER 275 NEW BEST:: SOT 257495 SOS 148421 HAS SOPS 148421 HAS SOUS 51151 HAS SOUPS 51151 WITH SCORE 51299.421
AT ITER 283 NEW BEST:: SOT 257433 SOS 148266 HAS SOPS 148266 HAS SOUS 51151 HAS SOUPS 51151 WITH SCORE 51299.266
AT ITER 296 NEW BEST:: SOT 257427 SOS 148251 HAS SOPS 148251 HAS SOUS 51151 HAS SOUPS 51151 WITH SCORE 51299.251
AT ITER 300 NEW BEST:: SOT 257229 SOS 147756 HAS SOPS 147756 HAS SOUS 51151 HAS SOUPS 51151 WITH SCORE 51298.756
AT ITER 319 NEW BEST:: SOT 257211 SOS 147711 HAS SOPS 147711 HAS SOUS 51151 HAS SOUPS 51151 WITH SCORE 51298.711
AT ITER 354 NEW BEST:: SOT 256797 SOS 146488 HAS SOPS 146488 HAS SOUS 50961 HAS SOUPS 50961 WITH SCORE 51107.488
AT ITER 359 NEW BEST:: SOT 256403 SOS 145502 HAS SOPS 145502 HAS SOUS 50960 HAS SOUPS 50960 WITH SCORE 51105.502
AT ITER 375 NEW BEST:: SOT 256259 SOS 145141 HAS SOPS 145141 HAS SOUS 50959 HAS SOUPS 50959 WITH SCORE 51104.141
AT ITER 376 NEW BEST:: SOT 255638 SOS 143881 HAS SOPS 143881 HAS SOUS 50882 HAS SOUPS 50882 WITH SCORE 51025.881
AT ITER 380 NEW BEST:: SOT 255526 SOS 143545 HAS SOPS 143545 HAS SOUS 50824 HAS SOUPS 50824 WITH SCORE 50967.545
AT ITER 390 NEW BEST:: SOT 255440 SOS 143261 HAS SOPS 143261 HAS SOUS 50799 HAS SOUPS 50799 WITH SCORE 50942.261
AT ITER 399 NEW BEST:: SOT 255062 SOS 142315 HAS SOPS 142315 HAS SOUS 50798 HAS SOUPS 50798 WITH SCORE 50940.315
AT ITER 401 NEW BEST:: SOT 254878 SOS 141763 HAS SOPS 141763 HAS SOUS 50706 HAS SOUPS 50706 WITH SCORE 50847.763
AT ITER 411 NEW BEST:: SOT 255093 SOS 142076 HAS SOPS 142076 HAS SOUS 50698 HAS SOUPS 50698 WITH SCORE 50840.076
AT ITER 412 NEW BEST:: SOT 254887 SOS 141527 HAS SOPS 141527 HAS SOUS 50600 HAS SOUPS 50600 WITH SCORE 50741.527
AT ITER 416 NEW BEST:: SOT 254549 SOS 140679 HAS SOPS 140679 HAS SOUS 50595 HAS SOUPS 50595 WITH SCORE 50735.679
AT ITER 418 NEW BEST:: SOT 254469 SOS 140439 HAS SOPS 140439 HAS SOUS 50555 HAS SOUPS 50555 WITH SCORE 50695.439
AT ITER 421 NEW BEST:: SOT 254469 SOS 140298 HAS SOPS 140298 HAS SOUS 50414 HAS SOUPS 50414 WITH SCORE 50554.298
AT ITER 436 NEW BEST:: SOT 254429 SOS 140198 HAS SOPS 140198 HAS SOUS 50414 HAS SOUPS 50414 WITH SCORE 50554.198
AT ITER 441 NEW BEST:: SOT 254077 SOS 139142 HAS SOPS 139142 HAS SOUS 50238 HAS SOUPS 50238 WITH SCORE 50377.142
AT ITER 453 NEW BEST:: SOT 253627 SOS 138236 HAS SOPS 138236 HAS SOUS 50179 HAS SOUPS 50179 WITH SCORE 50317.236
AT ITER 454 NEW BEST:: SOT 253627 SOS 138210 HAS SOPS 138210 HAS SOUS 50101 HAS SOUPS 50101 WITH SCORE 50239.21
AT ITER 459 NEW BEST:: SOT 253495 SOS 137879 HAS SOPS 137879 HAS SOUS 50100 HAS SOUPS 50100 WITH SCORE 50237.879
AT ITER 465 NEW BEST:: SOT 253290 SOS 137245 HAS SOPS 137245 HAS SOUS 49895 HAS SOUPS 49895 WITH SCORE 50032.245
AT ITER 466 NEW BEST:: SOT 253137 SOS 136769 HAS SOPS 136769 HAS SOUS 49884 HAS SOUPS 49884 WITH SCORE 50020.769
AT ITER 472 NEW BEST:: SOT 253137 SOS 136767 HAS SOPS 136767 HAS SOUS 49882 HAS SOUPS 49882 WITH SCORE 50018.767
AT ITER 479 NEW BEST:: SOT 253137 SOS 136757 HAS SOPS 136757 HAS SOUS 49872 HAS SOUPS 49872 WITH SCORE 50008.757
AT ITER 485 NEW BEST:: SOT 252578 SOS 135503 HAS SOPS 135503 HAS SOUS 49832 HAS SOUPS 49832 WITH SCORE 49967.503
AT ITER 493 NEW BEST:: SOT 252413 SOS 134913 HAS SOPS 134913 HAS SOUS 49791 HAS SOUPS 49791 WITH SCORE 49925.913
AT ITER 511 NEW BEST:: SOT 252179 SOS 134081 HAS SOPS 134081 HAS SOUS 49737 HAS SOUPS 49737 WITH SCORE 49871.081
AT ITER 512 NEW BEST:: SOT 252028 SOS 133511 HAS SOPS 133511 HAS SOUS 49720 HAS SOUPS 49720 WITH SCORE 49853.511
AT ITER 520 NEW BEST:: SOT 251992 SOS 133439 HAS SOPS 133439 HAS SOUS 49625 HAS SOUPS 49625 WITH SCORE 49758.439
AT ITER 533 NEW BEST:: SOT 251924 SOS 133269 HAS SOPS 133269 HAS SOUS 49625 HAS SOUPS 49625 WITH SCORE 49758.269
AT ITER 538 NEW BEST:: SOT 251376 SOS 131879 HAS SOPS 131879 HAS SOUS 49329 HAS SOUPS 49329 WITH SCORE 49460.879
AT ITER 541 NEW BEST:: SOT 251274 SOS 131573 HAS SOPS 131573 HAS SOUS 49278 HAS SOUPS 49278 WITH SCORE 49409.573
AT ITER 543 NEW BEST:: SOT 251250 SOS 131513 HAS SOPS 131513 HAS SOUS 49278 HAS SOUPS 49278 WITH SCORE 49409.513
AT ITER 576 NEW BEST:: SOT 251133 SOS 131279 HAS SOPS 131279 HAS SOUS 49220 HAS SOUPS 49220 WITH SCORE 49351.279
AT ITER 577 NEW BEST:: SOT 251057 SOS 131088 HAS SOPS 131088 HAS SOUS 49219 HAS SOUPS 49219 WITH SCORE 49350.088
AT ITER 585 NEW BEST:: SOT 251023 SOS 131003 HAS SOPS 131003 HAS SOUS 49219 HAS SOUPS 49219 WITH SCORE 49350.003
AT ITER 651 NEW BEST:: SOT 250867 SOS 130585 HAS SOPS 130585 HAS SOUS 49191 HAS SOUPS 49191 WITH SCORE 49321.585
AT ITER 653 NEW BEST:: SOT 250596 SOS 130043 HAS SOPS 130043 HAS SOUS 49106 HAS SOUPS 49106 WITH SCORE 49236.043
AT ITER 654 NEW BEST:: SOT 250281 SOS 129171 HAS SOPS 129171 HAS SOUS 49069 HAS SOUPS 49069 WITH SCORE 49198.171
AT ITER 655 NEW BEST:: SOT 250031 SOS 128545 HAS SOPS 128545 HAS SOUS 49068 HAS SOUPS 49068 WITH SCORE 49196.545
AT ITER 696 NEW BEST:: SOT 249953 SOS 128389 HAS SOPS 128389 HAS SOUS 49042 HAS SOUPS 49042 WITH SCORE 49170.389
AT ITER 699 NEW BEST:: SOT 249899 SOS 128254 HAS SOPS 128254 HAS SOUS 49042 HAS SOUPS 49042 WITH SCORE 49170.254
AT ITER 706 NEW BEST:: SOT 249817 SOS 128036 HAS SOPS 128036 HAS SOUS 49027 HAS SOUPS 49027 WITH SCORE 49155.036
AT ITER 708 NEW BEST:: SOT 249393 SOS 126841 HAS SOPS 126841 HAS SOUS 49009 HAS SOUPS 49009 WITH SCORE 49135.841
AT ITER 714 NEW BEST:: SOT 249069 SOS 126031 HAS SOPS 126031 HAS SOUS 49009 HAS SOUPS 49009 WITH SCORE 49135.031
AT ITER 728 NEW BEST:: SOT 249228 SOS 126445 HAS SOPS 126445 HAS SOUS 48976 HAS SOUPS 48976 WITH SCORE 49102.445
AT ITER 742 NEW BEST:: SOT 248896 SOS 125454 HAS SOPS 125454 HAS SOUS 48815 HAS SOUPS 48815 WITH SCORE 48940.454
AT ITER 764 NEW BEST:: SOT 248666 SOS 124876 HAS SOPS 124876 HAS SOUS 48810 HAS SOUPS 48810 WITH SCORE 48934.876
AT ITER 769 NEW BEST:: SOT 248423 SOS 124234 HAS SOPS 124234 HAS SOUS 48792 HAS SOUPS 48792 WITH SCORE 48916.234
AT ITER 771 NEW BEST:: SOT 248423 SOS 124219 HAS SOPS 124219 HAS SOUS 48775 HAS SOUPS 48775 WITH SCORE 48899.219
AT ITER 778 NEW BEST:: SOT 248458 SOS 124203 HAS SOPS 124203 HAS SOUS 48738 HAS SOUPS 48738 WITH SCORE 48862.203
AT ITER 782 NEW BEST:: SOT 248360 SOS 123955 HAS SOPS 123955 HAS SOUS 48733 HAS SOUPS 48733 WITH SCORE 48856.955
AT ITER 790 NEW BEST:: SOT 248380 SOS 124015 HAS SOPS 124015 HAS SOUS 48713 HAS SOUPS 48713 WITH SCORE 48837.015
AT ITER 800 NEW BEST:: SOT 248124 SOS 123372 HAS SOPS 123372 HAS SOUS 48708 HAS SOUPS 48708 WITH SCORE 48831.372
AT ITER 807 NEW BEST:: SOT 248124 SOS 123370 HAS SOPS 123370 HAS SOUS 48706 HAS SOUPS 48706 WITH SCORE 48829.37
AT ITER 811 NEW BEST:: SOT 247856 SOS 122450 HAS SOPS 122450 HAS SOUS 48430 HAS SOUPS 48430 WITH SCORE 48552.45
AT ITER 818 NEW BEST:: SOT 247744 SOS 122170 HAS SOPS 122170 HAS SOUS 48430 HAS SOUPS 48430 WITH SCORE 48552.17
AT ITER 862 NEW BEST:: SOT 247827 SOS 122404 HAS SOPS 122404 HAS SOUS 48422 HAS SOUPS 48422 WITH SCORE 48544.404
AT ITER 874 NEW BEST:: SOT 247799 SOS 122348 HAS SOPS 122348 HAS SOUS 48422 HAS SOUPS 48422 WITH SCORE 48544.348
AT ITER 882 NEW BEST:: SOT 247578 SOS 121711 HAS SOPS 121711 HAS SOUS 48408 HAS SOUPS 48408 WITH SCORE 48529.711
AT ITER 885 NEW BEST:: SOT 247236 SOS 120671 HAS SOPS 120671 HAS SOUS 48289 HAS SOUPS 48289 WITH SCORE 48409.671
AT ITER 886 NEW BEST:: SOT 246972 SOS 119900 HAS SOPS 119900 HAS SOUS 48271 HAS SOUPS 48271 WITH SCORE 48390.9
AT ITER 896 NEW BEST:: SOT 246926 SOS 119808 HAS SOPS 119808 HAS SOUS 48225 HAS SOUPS 48225 WITH SCORE 48344.808
AT ITER 900 NEW BEST:: SOT 246856 SOS 119621 HAS SOPS 119621 HAS SOUS 48216 HAS SOUPS 48216 WITH SCORE 48335.621
AT ITER 905 NEW BEST:: SOT 246703 SOS 119313 HAS SOPS 119313 HAS SOUS 48163 HAS SOUPS 48163 WITH SCORE 48282.313
AT ITER 916 NEW BEST:: SOT 246642 SOS 119091 HAS SOPS 119091 HAS SOUS 48152 HAS SOUPS 48152 WITH SCORE 48271.091
AT ITER 920 NEW BEST:: SOT 246642 SOS 119026 HAS SOPS 119026 HAS SOUS 48087 HAS SOUPS 48087 WITH SCORE 48206.026
AT ITER 943 NEW BEST:: SOT 246356 SOS 118201 HAS SOPS 118201 HAS SOUS 47977 HAS SOUPS 47977 WITH SCORE 48095.201
AT ITER 983 NEW BEST:: SOT 246065 SOS 117398 HAS SOPS 117398 HAS SOUS 47954 HAS SOUPS 47954 WITH SCORE 48071.398
AT ITER 996 NEW BEST:: SOT 245837 SOS 116602 HAS SOPS 116602 HAS SOUS 47884 HAS SOUPS 47884 WITH SCORE 48000.602
AT ITER 999 NEW BEST:: SOT 245839 SOS 116608 HAS SOPS 116608 HAS SOUS 47882 HAS SOUPS 47882 WITH SCORE 47998.608
AT ITER 1015 NEW BEST:: SOT 245859 SOS 116596 HAS SOPS 116596 HAS SOUS 47680 HAS SOUPS 47680 WITH SCORE 47796.596
AT ITER 1048 NEW BEST:: SOT 245859 SOS 116596 HAS SOPS 116596 HAS SOUS 47678 HAS SOUPS 47678 WITH SCORE 47794.596
AT ITER 1078 NEW BEST:: SOT 245735 SOS 116388 HAS SOPS 116388 HAS SOUS 47514 HAS SOUPS 47514 WITH SCORE 47630.388
AT ITER 1084 NEW BEST:: SOT 245635 SOS 116188 HAS SOPS 116188 HAS SOUS 47514 HAS SOUPS 47514 WITH SCORE 47630.188
AT ITER 1113 NEW BEST:: SOT 245595 SOS 116042 HAS SOPS 116042 HAS SOUS 47493 HAS SOUPS 47493 WITH SCORE 47609.042
AT ITER 1114 NEW BEST:: SOT 245628 SOS 116130 HAS SOPS 116130 HAS SOUS 47482 HAS SOUPS 47482 WITH SCORE 47598.13
AT ITER 1137 NEW BEST:: SOT 245626 SOS 116114 HAS SOPS 116114 HAS SOUS 47468 HAS SOUPS 47468 WITH SCORE 47584.114
AT ITER 1163 NEW BEST:: SOT 245626 SOS 116088 HAS SOPS 116088 HAS SOUS 47442 HAS SOUPS 47442 WITH SCORE 47558.088
AT ITER 1198 NEW BEST:: SOT 245587 SOS 116010 HAS SOPS 116010 HAS SOUS 47403 HAS SOUPS 47403 WITH SCORE 47519.01
AT ITER 1233 NEW BEST:: SOT 245731 SOS 116398 HAS SOPS 116398 HAS SOUS 47401 HAS SOUPS 47401 WITH SCORE 47517.398
AT ITER 1243 NEW BEST:: SOT 245491 SOS 115796 HAS SOPS 115796 HAS SOUS 47399 HAS SOUPS 47399 WITH SCORE 47514.796
AT ITER 1247 NEW BEST:: SOT 245396 SOS 115492 HAS SOPS 115492 HAS SOUS 47361 HAS SOUPS 47361 WITH SCORE 47476.492
AT ITER 1254 NEW BEST:: SOT 245314 SOS 115405 HAS SOPS 115405 HAS SOUS 47325 HAS SOUPS 47325 WITH SCORE 47440.405
AT ITER 1270 NEW BEST:: SOT 245275 SOS 115327 HAS SOPS 115327 HAS SOUS 47312 HAS SOUPS 47312 WITH SCORE 47427.327
AT ITER 1275 NEW BEST:: SOT 245079 SOS 114749 HAS SOPS 114749 HAS SOUS 47222 HAS SOUPS 47222 WITH SCORE 47336.749
AT ITER 1277 NEW BEST:: SOT 244974 SOS 114510 HAS SOPS 114510 HAS SOUS 47156 HAS SOUPS 47156 WITH SCORE 47270.51
AT ITER 1281 NEW BEST:: SOT 244974 SOS 114510 HAS SOPS 114510 HAS SOUS 46976 HAS SOUPS 46976 WITH SCORE 47090.51
AT ITER 1296 NEW BEST:: SOT 244807 SOS 114171 HAS SOPS 114171 HAS SOUS 46952 HAS SOUPS 46952 WITH SCORE 47066.171
AT ITER 1310 NEW BEST:: SOT 244790 SOS 114137 HAS SOPS 114137 HAS SOUS 46935 HAS SOUPS 46935 WITH SCORE 47049.137
AT ITER 1331 NEW BEST:: SOT 244780 SOS 114095 HAS SOPS 114095 HAS SOUS 46903 HAS SOUPS 46903 WITH SCORE 47017.095
AT ITER 1350 NEW BEST:: SOT 244640 SOS 113579 HAS SOPS 113579 HAS SOUS 46837 HAS SOUPS 46837 WITH SCORE 46950.579
AT ITER 1352 NEW BEST:: SOT 244640 SOS 113575 HAS SOPS 113575 HAS SOUS 46831 HAS SOUPS 46831 WITH SCORE 46944.575
AT ITER 1358 NEW BEST:: SOT 244584 SOS 113434 HAS SOPS 113434 HAS SOUS 46830 HAS SOUPS 46830 WITH SCORE 46943.434
AT ITER 1360 NEW BEST:: SOT 244537 SOS 113324 HAS SOPS 113324 HAS SOUS 46799 HAS SOUPS 46799 WITH SCORE 46912.324
AT ITER 1362 NEW BEST:: SOT 243938 SOS 111955 HAS SOPS 111955 HAS SOUS 46710 HAS SOUPS 46710 WITH SCORE 46821.955
AT ITER 1369 NEW BEST:: SOT 243950 SOS 111992 HAS SOPS 111992 HAS SOUS 46699 HAS SOUPS 46699 WITH SCORE 46810.992
AT ITER 1397 NEW BEST:: SOT 243950 SOS 111982 HAS SOPS 111982 HAS SOUS 46689 HAS SOUPS 46689 WITH SCORE 46800.982
AT ITER 1402 NEW BEST:: SOT 243676 SOS 111171 HAS SOPS 111171 HAS SOUS 46563 HAS SOUPS 46563 WITH SCORE 46674.171
AT ITER 1414 NEW BEST:: SOT 243676 SOS 111152 HAS SOPS 111152 HAS SOUS 46542 HAS SOUPS 46542 WITH SCORE 46653.152
AT ITER 1429 NEW BEST:: SOT 243330 SOS 110114 HAS SOPS 110114 HAS SOUS 46369 HAS SOUPS 46369 WITH SCORE 46479.114
AT ITER 1432 NEW BEST:: SOT 243460 SOS 110483 HAS SOPS 110483 HAS SOUS 46320 HAS SOUPS 46320 WITH SCORE 46430.483
AT ITER 1443 NEW BEST:: SOT 243510 SOS 110653 HAS SOPS 110653 HAS SOUS 46242 HAS SOUPS 46242 WITH SCORE 46352.653
AT ITER 1450 NEW BEST:: SOT 243510 SOS 110626 HAS SOPS 110626 HAS SOUS 46155 HAS SOUPS 46155 WITH SCORE 46265.626
AT ITER 1453 NEW BEST:: SOT 243540 SOS 110626 HAS SOPS 110626 HAS SOUS 46133 HAS SOUPS 46133 WITH SCORE 46243.626
AT ITER 1475 NEW BEST:: SOT 243540 SOS 110623 HAS SOPS 110623 HAS SOUS 46130 HAS SOUPS 46130 WITH SCORE 46240.623
AT ITER 1480 NEW BEST:: SOT 243446 SOS 110341 HAS SOPS 110341 HAS SOUS 46083 HAS SOUPS 46083 WITH SCORE 46193.341
AT ITER 1487 NEW BEST:: SOT 243410 SOS 110249 HAS SOPS 110249 HAS SOUS 46081 HAS SOUPS 46081 WITH SCORE 46191.249
AT ITER 1490 NEW BEST:: SOT 243369 SOS 110167 HAS SOPS 110167 HAS SOUS 46081 HAS SOUPS 46081 WITH SCORE 46191.167
AT ITER 1500 NEW BEST:: SOT 243296 SOS 109933 HAS SOPS 109933 HAS SOUS 46040 HAS SOUPS 46040 WITH SCORE 46149.933
AT ITER 1522 NEW BEST:: SOT 243244 SOS 109803 HAS SOPS 109803 HAS SOUS 46040 HAS SOUPS 46040 WITH SCORE 46149.803
AT ITER 1524 NEW BEST:: SOT 243126 SOS 109449 HAS SOPS 109449 HAS SOUS 45981 HAS SOUPS 45981 WITH SCORE 46090.449
AT ITER 1554 NEW BEST:: SOT 242986 SOS 109029 HAS SOPS 109029 HAS SOUS 45911 HAS SOUPS 45911 WITH SCORE 46020.029
AT ITER 1558 NEW BEST:: SOT 242976 SOS 108999 HAS SOPS 108999 HAS SOUS 45906 HAS SOUPS 45906 WITH SCORE 46014.999
AT ITER 1559 NEW BEST:: SOT 242976 SOS 108984 HAS SOPS 108984 HAS SOUS 45887 HAS SOUPS 45887 WITH SCORE 45995.984
AT ITER 1569 NEW BEST:: SOT 242588 SOS 107859 HAS SOPS 107859 HAS SOUS 45783 HAS SOUPS 45783 WITH SCORE 45890.859
AT ITER 1580 NEW BEST:: SOT 242449 SOS 107450 HAS SOPS 107450 HAS SOUS 45768 HAS SOUPS 45768 WITH SCORE 45875.45
AT ITER 1628 NEW BEST:: SOT 241885 SOS 106251 HAS SOPS 106251 HAS SOUS 45652 HAS SOUPS 45652 WITH SCORE 45758.251
AT ITER 1633 NEW BEST:: SOT 241867 SOS 106204 HAS SOPS 106204 HAS SOUS 45650 HAS SOUPS 45650 WITH SCORE 45756.204
AT ITER 1640 NEW BEST:: SOT 241893 SOS 106256 HAS SOPS 106256 HAS SOUS 45637 HAS SOUPS 45637 WITH SCORE 45743.256
AT ITER 1662 NEW BEST:: SOT 241883 SOS 106216 HAS SOPS 106216 HAS SOUS 45637 HAS SOUPS 45637 WITH SCORE 45743.216
AT ITER 1670 NEW BEST:: SOT 241745 SOS 105871 HAS SOPS 105871 HAS SOUS 45637 HAS SOUPS 45637 WITH SCORE 45742.871
AT ITER 1677 NEW BEST:: SOT 241737 SOS 105839 HAS SOPS 105839 HAS SOUS 45637 HAS SOUPS 45637 WITH SCORE 45742.839
AT ITER 1681 NEW BEST:: SOT 241671 SOS 105633 HAS SOPS 105633 HAS SOUS 45608 HAS SOUPS 45608 WITH SCORE 45713.633
AT ITER 1691 NEW BEST:: SOT 241251 SOS 104409 HAS SOPS 104409 HAS SOUS 45518 HAS SOUPS 45518 WITH SCORE 45622.409
AT ITER 1703 NEW BEST:: SOT 241165 SOS 104185 HAS SOPS 104185 HAS SOUS 45495 HAS SOUPS 45495 WITH SCORE 45599.185
AT ITER 1706 NEW BEST:: SOT 241027 SOS 103771 HAS SOPS 103771 HAS SOUS 45350 HAS SOUPS 45350 WITH SCORE 45453.771
AT ITER 1711 NEW BEST:: SOT 241046 SOS 103837 HAS SOPS 103837 HAS SOUS 45340 HAS SOUPS 45340 WITH SCORE 45443.837
AT ITER 1715 NEW BEST:: SOT 240588 SOS 102906 HAS SOPS 102906 HAS SOUS 45275 HAS SOUPS 45275 WITH SCORE 45377.906
AT ITER 1722 NEW BEST:: SOT 240588 SOS 102856 HAS SOPS 102856 HAS SOUS 45225 HAS SOUPS 45225 WITH SCORE 45327.856
AT ITER 1734 NEW BEST:: SOT 240427 SOS 102340 HAS SOPS 102340 HAS SOUS 45161 HAS SOUPS 45161 WITH SCORE 45263.34
AT ITER 1735 NEW BEST:: SOT 240427 SOS 102323 HAS SOPS 102323 HAS SOUS 45144 HAS SOUPS 45144 WITH SCORE 45246.323
AT ITER 1748 NEW BEST:: SOT 240447 SOS 102383 HAS SOPS 102383 HAS SOUS 45124 HAS SOUPS 45124 WITH SCORE 45226.383
AT ITER 1754 NEW BEST:: SOT 240447 SOS 102381 HAS SOPS 102381 HAS SOUS 45122 HAS SOUPS 45122 WITH SCORE 45224.381
AT ITER 1767 NEW BEST:: SOT 240414 SOS 102315 HAS SOPS 102315 HAS SOUS 45089 HAS SOUPS 45089 WITH SCORE 45191.315
AT ITER 1768 NEW BEST:: SOT 240064 SOS 101275 HAS SOPS 101275 HAS SOUS 44924 HAS SOUPS 44924 WITH SCORE 45025.275
AT ITER 1789 NEW BEST:: SOT 240064 SOS 101268 HAS SOPS 101268 HAS SOUS 44871 HAS SOUPS 44871 WITH SCORE 44972.268
AT ITER 1807 NEW BEST:: SOT 239719 SOS 100232 HAS SOPS 100232 HAS SOUS 44716 HAS SOUPS 44716 WITH SCORE 44816.232
AT ITER 1810 NEW BEST:: SOT 239552 SOS 99698 HAS SOPS 99698 HAS SOUS 44677 HAS SOUPS 44677 WITH SCORE 44776.698
AT ITER 1813 NEW BEST:: SOT 239334 SOS 99152 HAS SOPS 99152 HAS SOUS 44676 HAS SOUPS 44676 WITH SCORE 44775.152
AT ITER 1814 NEW BEST:: SOT 239334 SOS 99123 HAS SOPS 99123 HAS SOUS 44647 HAS SOUPS 44647 WITH SCORE 44746.123
AT ITER 1815 NEW BEST:: SOT 239214 SOS 98883 HAS SOPS 98883 HAS SOUS 44613 HAS SOUPS 44613 WITH SCORE 44711.883
AT ITER 1817 NEW BEST:: SOT 239136 SOS 98688 HAS SOPS 98688 HAS SOUS 44613 HAS SOUPS 44613 WITH SCORE 44711.688
AT ITER 1830 NEW BEST:: SOT 239058 SOS 98477 HAS SOPS 98477 HAS SOUS 44480 HAS SOUPS 44480 WITH SCORE 44578.477
AT ITER 1837 NEW BEST:: SOT 239056 SOS 98475 HAS SOPS 98475 HAS SOUS 44478 HAS SOUPS 44478 WITH SCORE 44576.475
AT ITER 1840 NEW BEST:: SOT 238926 SOS 98215 HAS SOPS 98215 HAS SOUS 44317 HAS SOUPS 44317 WITH SCORE 44415.215
AT ITER 1867 NEW BEST:: SOT 238920 SOS 98197 HAS SOPS 98197 HAS SOUS 44314 HAS SOUPS 44314 WITH SCORE 44412.197
AT ITER 1873 NEW BEST:: SOT 238886 SOS 98129 HAS SOPS 98129 HAS SOUS 44280 HAS SOUPS 44280 WITH SCORE 44378.129
AT ITER 1875 NEW BEST:: SOT 238886 SOS 98129 HAS SOPS 98129 HAS SOUS 44276 HAS SOUPS 44276 WITH SCORE 44374.129
AT ITER 1879 NEW BEST:: SOT 238837 SOS 98046 HAS SOPS 98046 HAS SOUS 44242 HAS SOUPS 44242 WITH SCORE 44340.046
AT ITER 1886 NEW BEST:: SOT 238829 SOS 97960 HAS SOPS 97960 HAS SOUS 44108 HAS SOUPS 44108 WITH SCORE 44205.96
AT ITER 1889 NEW BEST:: SOT 238829 SOS 97949 HAS SOPS 97949 HAS SOUS 44097 HAS SOUPS 44097 WITH SCORE 44194.949
AT ITER 1905 NEW BEST:: SOT 238597 SOS 97313 HAS SOPS 97313 HAS SOUS 43681 HAS SOUPS 43681 WITH SCORE 43778.313
AT ITER 1920 NEW BEST:: SOT 238296 SOS 96464 HAS SOPS 96464 HAS SOUS 43649 HAS SOUPS 43649 WITH SCORE 43745.464
AT ITER 1935 NEW BEST:: SOT 238290 SOS 96447 HAS SOPS 96447 HAS SOUS 43647 HAS SOUPS 43647 WITH SCORE 43743.447
AT ITER 1945 NEW BEST:: SOT 238063 SOS 95808 HAS SOPS 95808 HAS SOUS 43625 HAS SOUPS 43625 WITH SCORE 43720.808
AT ITER 1946 NEW BEST:: SOT 238003 SOS 95628 HAS SOPS 95628 HAS SOUS 43553 HAS SOUPS 43553 WITH SCORE 43648.628
AT ITER 1957 NEW BEST:: SOT 238031 SOS 95712 HAS SOPS 95712 HAS SOUS 43525 HAS SOUPS 43525 WITH SCORE 43620.712
AT ITER 1958 NEW BEST:: SOT 238030 SOS 95661 HAS SOPS 95661 HAS SOUS 43466 HAS SOUPS 43466 WITH SCORE 43561.661
AT ITER 1960 NEW BEST:: SOT 238020 SOS 95631 HAS SOPS 95631 HAS SOUS 43461 HAS SOUPS 43461 WITH SCORE 43556.631
AT ITER 1962 NEW BEST:: SOT 237950 SOS 95421 HAS SOPS 95421 HAS SOUS 43426 HAS SOUPS 43426 WITH SCORE 43521.421
AT ITER 1965 NEW BEST:: SOT 237948 SOS 95417 HAS SOPS 95417 HAS SOUS 43424 HAS SOUPS 43424 WITH SCORE 43519.417
AT ITER 1987 NEW BEST:: SOT 237948 SOS 95404 HAS SOPS 95404 HAS SOUS 43405 HAS SOUPS 43405 WITH SCORE 43500.404
AT ITER 1992 NEW BEST:: SOT 237705 SOS 94696 HAS SOPS 94696 HAS SOUS 43227 HAS SOUPS 43227 WITH SCORE 43321.696
AT ITER 1993 NEW BEST:: SOT 237685 SOS 94646 HAS SOPS 94646 HAS SOUS 43227 HAS SOUPS 43227 WITH SCORE 43321.646
AT ITER 1998 NEW BEST:: SOT 237653 SOS 94684 HAS SOPS 94684 HAS SOUS 43208 HAS SOUPS 43208 WITH SCORE 43302.684
AT ITER 2001 NEW BEST:: SOT 237653 SOS 94643 HAS SOPS 94643 HAS SOUS 43179 HAS SOUPS 43179 WITH SCORE 43273.643
AT ITER 2014 NEW BEST:: SOT 237300 SOS 93723 HAS SOPS 93723 HAS SOUS 43179 HAS SOUPS 43179 WITH SCORE 43272.723
AT ITER 2017 NEW BEST:: SOT 237048 SOS 93093 HAS SOPS 93093 HAS SOUS 43179 HAS SOUPS 43179 WITH SCORE 43272.093
AT ITER 2023 NEW BEST:: SOT 237048 SOS 93093 HAS SOPS 93093 HAS SOUS 43169 HAS SOUPS 43169 WITH SCORE 43262.093
AT ITER 2045 NEW BEST:: SOT 237025 SOS 93047 HAS SOPS 93047 HAS SOUS 43169 HAS SOUPS 43169 WITH SCORE 43262.047
AT ITER 2057 NEW BEST:: SOT 237026 SOS 93022 HAS SOPS 93022 HAS SOUS 43143 HAS SOUPS 43143 WITH SCORE 43236.022
AT ITER 2060 NEW BEST:: SOT 237240 SOS 93034 HAS SOPS 93034 HAS SOUS 43072 HAS SOUPS 43072 WITH SCORE 43165.034
AT ITER 2073 NEW BEST:: SOT 237230 SOS 93004 HAS SOPS 93004 HAS SOUS 43067 HAS SOUPS 43067 WITH SCORE 43160.004
AT ITER 2080 NEW BEST:: SOT 237185 SOS 92914 HAS SOPS 92914 HAS SOUS 43020 HAS SOUPS 43020 WITH SCORE 43112.914
AT ITER 2082 NEW BEST:: SOT 237183 SOS 92912 HAS SOPS 92912 HAS SOUS 43014 HAS SOUPS 43014 WITH SCORE 43106.912
AT ITER 2085 NEW BEST:: SOT 237054 SOS 92492 HAS SOPS 92492 HAS SOUS 42966 HAS SOUPS 42966 WITH SCORE 43058.492
AT ITER 2099 NEW BEST:: SOT 236920 SOS 92080 HAS SOPS 92080 HAS SOUS 42931 HAS SOUPS 42931 WITH SCORE 43023.08
AT ITER 2101 NEW BEST:: SOT 236898 SOS 92036 HAS SOPS 92036 HAS SOUS 42905 HAS SOUPS 42905 WITH SCORE 42997.036
AT ITER 2113 NEW BEST:: SOT 236862 SOS 91910 HAS SOPS 91910 HAS SOUS 42896 HAS SOUPS 42896 WITH SCORE 42987.91
AT ITER 2122 NEW BEST:: SOT 236849 SOS 91788 HAS SOPS 91788 HAS SOUS 42877 HAS SOUPS 42877 WITH SCORE 42968.788
AT ITER 2147 NEW BEST:: SOT 236866 SOS 91839 HAS SOPS 91839 HAS SOUS 42869 HAS SOUPS 42869 WITH SCORE 42960.839
AT ITER 2215 NEW BEST:: SOT 236730 SOS 91466 HAS SOPS 91466 HAS SOUS 42836 HAS SOUPS 42836 WITH SCORE 42927.466
AT ITER 2222 NEW BEST:: SOT 236730 SOS 91459 HAS SOPS 91459 HAS SOUS 42829 HAS SOUPS 42829 WITH SCORE 42920.459
AT ITER 2223 NEW BEST:: SOT 236271 SOS 90062 HAS SOPS 90062 HAS SOUS 42679 HAS SOUPS 42679 WITH SCORE 42769.062
AT ITER 2231 NEW BEST:: SOT 236257 SOS 90020 HAS SOPS 90020 HAS SOUS 42672 HAS SOUPS 42672 WITH SCORE 42762.02
AT ITER 2232 NEW BEST:: SOT 236235 SOS 89954 HAS SOPS 89954 HAS SOUS 42661 HAS SOUPS 42661 WITH SCORE 42750.954
AT ITER 2260 NEW BEST:: SOT 236248 SOS 89993 HAS SOPS 89993 HAS SOUS 42648 HAS SOUPS 42648 WITH SCORE 42737.993
AT ITER 2261 NEW BEST:: SOT 236248 SOS 89993 HAS SOPS 89993 HAS SOUS 42638 HAS SOUPS 42638 WITH SCORE 42727.993
AT ITER 2271 NEW BEST:: SOT 236171 SOS 89757 HAS SOPS 89757 HAS SOUS 42590 HAS SOUPS 42590 WITH SCORE 42679.757
AT ITER 2274 NEW BEST:: SOT 235979 SOS 89370 HAS SOPS 89370 HAS SOUS 42587 HAS SOUPS 42587 WITH SCORE 42676.37
AT ITER 2302 NEW BEST:: SOT 235967 SOS 89391 HAS SOPS 89391 HAS SOUS 42569 HAS SOUPS 42569 WITH SCORE 42658.391
AT ITER 2310 NEW BEST:: SOT 235967 SOS 89384 HAS SOPS 89384 HAS SOUS 42562 HAS SOUPS 42562 WITH SCORE 42651.384
AT ITER 2321 NEW BEST:: SOT 235913 SOS 89274 HAS SOPS 89274 HAS SOUS 42542 HAS SOUPS 42542 WITH SCORE 42631.274
AT ITER 2322 NEW BEST:: SOT 235913 SOS 89237 HAS SOPS 89237 HAS SOUS 42369 HAS SOUPS 42369 WITH SCORE 42458.237
AT ITER 2399 NEW BEST:: SOT 235855 SOS 89063 HAS SOPS 89063 HAS SOUS 42340 HAS SOUPS 42340 WITH SCORE 42429.063
AT ITER 2403 NEW BEST:: SOT 235787 SOS 88859 HAS SOPS 88859 HAS SOUS 42306 HAS SOUPS 42306 WITH SCORE 42394.859
AT ITER 2406 NEW BEST:: SOT 235731 SOS 88691 HAS SOPS 88691 HAS SOUS 42276 HAS SOUPS 42276 WITH SCORE 42364.691
AT ITER 2410 NEW BEST:: SOT 235731 SOS 88691 HAS SOPS 88691 HAS SOUS 42272 HAS SOUPS 42272 WITH SCORE 42360.691
AT ITER 2423 NEW BEST:: SOT 235721 SOS 88671 HAS SOPS 88671 HAS SOUS 42272 HAS SOUPS 42272 WITH SCORE 42360.671
AT ITER 2430 NEW BEST:: SOT 235222 SOS 87230 HAS SOPS 87230 HAS SOUS 42048 HAS SOUPS 42048 WITH SCORE 42135.23
AT ITER 2433 NEW BEST:: SOT 235210 SOS 87182 HAS SOPS 87182 HAS SOUS 42048 HAS SOUPS 42048 WITH SCORE 42135.182
AT ITER 2434 NEW BEST:: SOT 235198 SOS 87146 HAS SOPS 87146 HAS SOUS 42048 HAS SOUPS 42048 WITH SCORE 42135.146
AT ITER 2443 NEW BEST:: SOT 235198 SOS 87146 HAS SOPS 87146 HAS SOUS 42042 HAS SOUPS 42042 WITH SCORE 42129.146
AT ITER 2447 NEW BEST:: SOT 235190 SOS 87122 HAS SOPS 87122 HAS SOUS 42038 HAS SOUPS 42038 WITH SCORE 42125.122
AT ITER 2460 NEW BEST:: SOT 235190 SOS 87104 HAS SOPS 87104 HAS SOUS 41984 HAS SOUPS 41984 WITH SCORE 42071.104
AT ITER 2477 NEW BEST:: SOT 235143 SOS 87010 HAS SOPS 87010 HAS SOUS 41937 HAS SOUPS 41937 WITH SCORE 42024.01
AT ITER 2478 NEW BEST:: SOT 235012 SOS 86576 HAS SOPS 86576 HAS SOUS 41892 HAS SOUPS 41892 WITH SCORE 41978.576
AT ITER 2500 NEW BEST:: SOT 235012 SOS 86550 HAS SOPS 86550 HAS SOUS 41886 HAS SOUPS 41886 WITH SCORE 41972.55
AT ITER 2508 NEW BEST:: SOT 235006 SOS 86535 HAS SOPS 86535 HAS SOUS 41880 HAS SOUPS 41880 WITH SCORE 41966.535
AT ITER 2509 NEW BEST:: SOT 235006 SOS 86533 HAS SOPS 86533 HAS SOUS 41750 HAS SOUPS 41750 WITH SCORE 41836.533
AT ITER 2513 NEW BEST:: SOT 234984 SOS 86457 HAS SOPS 86457 HAS SOUS 41707 HAS SOUPS 41707 WITH SCORE 41793.457
AT ITER 2517 NEW BEST:: SOT 234984 SOS 86457 HAS SOPS 86457 HAS SOUS 41637 HAS SOUPS 41637 WITH SCORE 41723.457
AT ITER 2553 NEW BEST:: SOT 234882 SOS 86151 HAS SOPS 86151 HAS SOUS 41586 HAS SOUPS 41586 WITH SCORE 41672.151
AT ITER 2563 NEW BEST:: SOT 234897 SOS 86163 HAS SOPS 86163 HAS SOUS 41583 HAS SOUPS 41583 WITH SCORE 41669.163
AT ITER 2567 NEW BEST:: SOT 234880 SOS 86129 HAS SOPS 86129 HAS SOUS 41559 HAS SOUPS 41559 WITH SCORE 41645.129
AT ITER 2597 NEW BEST:: SOT 234894 SOS 86189 HAS SOPS 86189 HAS SOUS 41557 HAS SOUPS 41557 WITH SCORE 41643.189
AT ITER 2600 NEW BEST:: SOT 234899 SOS 86203 HAS SOPS 86203 HAS SOUS 41554 HAS SOUPS 41554 WITH SCORE 41640.203
AT ITER 2615 NEW BEST:: SOT 234871 SOS 86111 HAS SOPS 86111 HAS SOUS 41542 HAS SOUPS 41542 WITH SCORE 41628.111
AT ITER 2630 NEW BEST:: SOT 234846 SOS 86061 HAS SOPS 86061 HAS SOUS 41517 HAS SOUPS 41517 WITH SCORE 41603.061
AT ITER 2634 NEW BEST:: SOT 234768 SOS 85905 HAS SOPS 85905 HAS SOUS 41517 HAS SOUPS 41517 WITH SCORE 41602.905
AT ITER 2639 NEW BEST:: SOT 234664 SOS 85566 HAS SOPS 85566 HAS SOUS 41472 HAS SOUPS 41472 WITH SCORE 41557.566
AT ITER 2645 NEW BEST:: SOT 234434 SOS 84824 HAS SOPS 84824 HAS SOUS 41367 HAS SOUPS 41367 WITH SCORE 41451.824
AT ITER 2646 NEW BEST:: SOT 234219 SOS 84201 HAS SOPS 84201 HAS SOUS 41242 HAS SOUPS 41242 WITH SCORE 41326.201
AT ITER 2658 NEW BEST:: SOT 234134 SOS 84025 HAS SOPS 84025 HAS SOUS 41236 HAS SOUPS 41236 WITH SCORE 41320.025
AT ITER 2679 NEW BEST:: SOT 234079 SOS 83915 HAS SOPS 83915 HAS SOUS 41235 HAS SOUPS 41235 WITH SCORE 41318.915
AT ITER 2687 NEW BEST:: SOT 234044 SOS 83845 HAS SOPS 83845 HAS SOUS 41233 HAS SOUPS 41233 WITH SCORE 41316.845
AT ITER 2702 NEW BEST:: SOT 234025 SOS 83781 HAS SOPS 83781 HAS SOUS 41195 HAS SOUPS 41195 WITH SCORE 41278.781
AT ITER 2719 NEW BEST:: SOT 233987 SOS 83705 HAS SOPS 83705 HAS SOUS 41187 HAS SOUPS 41187 WITH SCORE 41270.705
AT ITER 2735 NEW BEST:: SOT 233825 SOS 83282 HAS SOPS 83282 HAS SOUS 41151 HAS SOUPS 41151 WITH SCORE 41234.282
AT ITER 2756 NEW BEST:: SOT 233900 SOS 83485 HAS SOPS 83485 HAS SOUS 41132 HAS SOUPS 41132 WITH SCORE 41215.485
AT ITER 2759 NEW BEST:: SOT 233882 SOS 83443 HAS SOPS 83443 HAS SOUS 41078 HAS SOUPS 41078 WITH SCORE 41161.443
AT ITER 2766 NEW BEST:: SOT 233823 SOS 83265 HAS SOPS 83265 HAS SOUS 41049 HAS SOUPS 41049 WITH SCORE 41132.265
AT ITER 2776 NEW BEST:: SOT 233826 SOS 83259 HAS SOPS 83259 HAS SOUS 41038 HAS SOUPS 41038 WITH SCORE 41121.259
AT ITER 2812 NEW BEST:: SOT 233766 SOS 83021 HAS SOPS 83021 HAS SOUS 40992 HAS SOUPS 40992 WITH SCORE 41075.021
AT ITER 2813 NEW BEST:: SOT 233766 SOS 83015 HAS SOPS 83015 HAS SOUS 40984 HAS SOUPS 40984 WITH SCORE 41067.015
AT ITER 2816 NEW BEST:: SOT 233504 SOS 82134 HAS SOPS 82134 HAS SOUS 40925 HAS SOUPS 40925 WITH SCORE 41007.134
AT ITER 2829 NEW BEST:: SOT 233530 SOS 82186 HAS SOPS 82186 HAS SOUS 40911 HAS SOUPS 40911 WITH SCORE 40993.186
AT ITER 2838 NEW BEST:: SOT 233569 SOS 82225 HAS SOPS 82225 HAS SOUS 40826 HAS SOUPS 40826 WITH SCORE 40908.225
AT ITER 2841 NEW BEST:: SOT 233551 SOS 82189 HAS SOPS 82189 HAS SOUS 40808 HAS SOUPS 40808 WITH SCORE 40890.189
AT ITER 2849 NEW BEST:: SOT 233627 SOS 82386 HAS SOPS 82386 HAS SOUS 40777 HAS SOUPS 40777 WITH SCORE 40859.386
AT ITER 2859 NEW BEST:: SOT 233608 SOS 82335 HAS SOPS 82335 HAS SOUS 40773 HAS SOUPS 40773 WITH SCORE 40855.335
AT ITER 2870 NEW BEST:: SOT 233572 SOS 82209 HAS SOPS 82209 HAS SOUS 40713 HAS SOUPS 40713 WITH SCORE 40795.209
AT ITER 2873 NEW BEST:: SOT 233572 SOS 82209 HAS SOPS 82209 HAS SOUS 40709 HAS SOUPS 40709 WITH SCORE 40791.209
AT ITER 2885 NEW BEST:: SOT 233532 SOS 82089 HAS SOPS 82089 HAS SOUS 40649 HAS SOUPS 40649 WITH SCORE 40731.089
AT ITER 2890 NEW BEST:: SOT 233481 SOS 82026 HAS SOPS 82026 HAS SOUS 40520 HAS SOUPS 40520 WITH SCORE 40602.026
AT ITER 2895 NEW BEST:: SOT 233434 SOS 81896 HAS SOPS 81896 HAS SOUS 40437 HAS SOUPS 40437 WITH SCORE 40518.896
AT ITER 2905 NEW BEST:: SOT 233524 SOS 82099 HAS SOPS 82099 HAS SOUS 40422 HAS SOUPS 40422 WITH SCORE 40504.099
AT ITER 2906 NEW BEST:: SOT 233448 SOS 81905 HAS SOPS 81905 HAS SOUS 40418 HAS SOUPS 40418 WITH SCORE 40499.905
AT ITER 2908 NEW BEST:: SOT 233415 SOS 81828 HAS SOPS 81828 HAS SOUS 40312 HAS SOUPS 40312 WITH SCORE 40393.828
AT ITER 2911 NEW BEST:: SOT 233197 SOS 81201 HAS SOPS 81201 HAS SOUS 40230 HAS SOUPS 40230 WITH SCORE 40311.201
AT ITER 2931 NEW BEST:: SOT 233101 SOS 80913 HAS SOPS 80913 HAS SOUS 40182 HAS SOUPS 40182 WITH SCORE 40262.913
AT ITER 2956 NEW BEST:: SOT 233035 SOS 80685 HAS SOPS 80685 HAS SOUS 40161 HAS SOUPS 40161 WITH SCORE 40241.685
AT ITER 2963 NEW BEST:: SOT 232959 SOS 80495 HAS SOPS 80495 HAS SOUS 40161 HAS SOUPS 40161 WITH SCORE 40241.495
AT ITER 2979 NEW BEST:: SOT 232919 SOS 80361 HAS SOPS 80361 HAS SOUS 40147 HAS SOUPS 40147 WITH SCORE 40227.361
AT ITER 3003 NEW BEST:: SOT 232911 SOS 80337 HAS SOPS 80337 HAS SOUS 40143 HAS SOUPS 40143 WITH SCORE 40223.337
AT ITER 3036 NEW BEST:: SOT 232747 SOS 79845 HAS SOPS 79845 HAS SOUS 39967 HAS SOUPS 39967 WITH SCORE 40046.845
AT ITER 3042 NEW BEST:: SOT 232697 SOS 79704 HAS SOPS 79704 HAS SOUS 39948 HAS SOUPS 39948 WITH SCORE 40027.704
AT ITER 3044 NEW BEST:: SOT 232661 SOS 79580 HAS SOPS 79580 HAS SOUS 39938 HAS SOUPS 39938 WITH SCORE 40017.58
AT ITER 3047 NEW BEST:: SOT 232649 SOS 79544 HAS SOPS 79544 HAS SOUS 39932 HAS SOUPS 39932 WITH SCORE 40011.544
AT ITER 3052 NEW BEST:: SOT 232515 SOS 79160 HAS SOPS 79160 HAS SOUS 39825 HAS SOUPS 39825 WITH SCORE 39904.16
AT ITER 3092 NEW BEST:: SOT 232351 SOS 78652 HAS SOPS 78652 HAS SOUS 39766 HAS SOUPS 39766 WITH SCORE 39844.652
AT ITER 3106 NEW BEST:: SOT 232345 SOS 78638 HAS SOPS 78638 HAS SOUS 39760 HAS SOUPS 39760 WITH SCORE 39838.638
AT ITER 3112 NEW BEST:: SOT 232001 SOS 77607 HAS SOPS 77607 HAS SOUS 39647 HAS SOUPS 39647 WITH SCORE 39724.607
AT ITER 3154 NEW BEST:: SOT 231938 SOS 77615 HAS SOPS 77615 HAS SOUS 39545 HAS SOUPS 39545 WITH SCORE 39622.615
AT ITER 3195 NEW BEST:: SOT 231923 SOS 77585 HAS SOPS 77585 HAS SOUS 39530 HAS SOUPS 39530 WITH SCORE 39607.585
AT ITER 3210 NEW BEST:: SOT 231800 SOS 77098 HAS SOPS 77098 HAS SOUS 39473 HAS SOUPS 39473 WITH SCORE 39550.098
AT ITER 3213 NEW BEST:: SOT 231668 SOS 76749 HAS SOPS 76749 HAS SOUS 39454 HAS SOUPS 39454 WITH SCORE 39530.749
AT ITER 3218 NEW BEST:: SOT 231622 SOS 76657 HAS SOPS 76657 HAS SOUS 39408 HAS SOUPS 39408 WITH SCORE 39484.657
AT ITER 3219 NEW BEST:: SOT 231590 SOS 76593 HAS SOPS 76593 HAS SOUS 39376 HAS SOUPS 39376 WITH SCORE 39452.593
AT ITER 3222 NEW BEST:: SOT 231240 SOS 75673 HAS SOPS 75673 HAS SOUS 39331 HAS SOUPS 39331 WITH SCORE 39406.673
AT ITER 3236 NEW BEST:: SOT 231234 SOS 75661 HAS SOPS 75661 HAS SOUS 39325 HAS SOUPS 39325 WITH SCORE 39400.661
AT ITER 3246 NEW BEST:: SOT 231202 SOS 75565 HAS SOPS 75565 HAS SOUS 39325 HAS SOUPS 39325 WITH SCORE 39400.565
AT ITER 3253 NEW BEST:: SOT 231138 SOS 75403 HAS SOPS 75403 HAS SOUS 39323 HAS SOUPS 39323 WITH SCORE 39398.403
AT ITER 3264 NEW BEST:: SOT 231120 SOS 75364 HAS SOPS 75364 HAS SOUS 39256 HAS SOUPS 39256 WITH SCORE 39331.364
AT ITER 3285 NEW BEST:: SOT 230976 SOS 74874 HAS SOPS 74874 HAS SOUS 39213 HAS SOUPS 39213 WITH SCORE 39287.874
AT ITER 3292 NEW BEST:: SOT 230976 SOS 74874 HAS SOPS 74874 HAS SOUS 39067 HAS SOUPS 39067 WITH SCORE 39141.874
AT ITER 3314 NEW BEST:: SOT 230675 SOS 74060 HAS SOPS 74060 HAS SOUS 39067 HAS SOUPS 39067 WITH SCORE 39141.06
AT ITER 3318 NEW BEST:: SOT 230675 SOS 74028 HAS SOPS 74028 HAS SOUS 39015 HAS SOUPS 39015 WITH SCORE 39089.028
AT ITER 3332 NEW BEST:: SOT 230522 SOS 73570 HAS SOPS 73570 HAS SOUS 38885 HAS SOUPS 38885 WITH SCORE 38958.57
AT ITER 3347 NEW BEST:: SOT 230335 SOS 73440 HAS SOPS 73440 HAS SOUS 38450 HAS SOUPS 38450 WITH SCORE 38523.44
AT ITER 3350 NEW BEST:: SOT 230267 SOS 73253 HAS SOPS 73253 HAS SOUS 38433 HAS SOUPS 38433 WITH SCORE 38506.253
AT ITER 3361 NEW BEST:: SOT 230252 SOS 73206 HAS SOPS 73206 HAS SOUS 38402 HAS SOUPS 38402 WITH SCORE 38475.206
AT ITER 3364 NEW BEST:: SOT 230228 SOS 73102 HAS SOPS 73102 HAS SOUS 38389 HAS SOUPS 38389 WITH SCORE 38462.102
AT ITER 3380 NEW BEST:: SOT 230206 SOS 73044 HAS SOPS 73044 HAS SOUS 38384 HAS SOUPS 38384 WITH SCORE 38457.044
AT ITER 3392 NEW BEST:: SOT 230194 SOS 73004 HAS SOPS 73004 HAS SOUS 38360 HAS SOUPS 38360 WITH SCORE 38433.004
AT ITER 3394 NEW BEST:: SOT 230194 SOS 73004 HAS SOPS 73004 HAS SOUS 38316 HAS SOUPS 38316 WITH SCORE 38389.004
AT ITER 3397 NEW BEST:: SOT 230144 SOS 72877 HAS SOPS 72877 HAS SOUS 38243 HAS SOUPS 38243 WITH SCORE 38315.877
AT ITER 3402 NEW BEST:: SOT 229831 SOS 72061 HAS SOPS 72061 HAS SOUS 38054 HAS SOUPS 38054 WITH SCORE 38126.061
AT ITER 3411 NEW BEST:: SOT 229547 SOS 71420 HAS SOPS 71420 HAS SOUS 37923 HAS SOUPS 37923 WITH SCORE 37994.42
AT ITER 3428 NEW BEST:: SOT 229489 SOS 71246 HAS SOPS 71246 HAS SOUS 37894 HAS SOUPS 37894 WITH SCORE 37965.246
AT ITER 3453 NEW BEST:: SOT 229411 SOS 71012 HAS SOPS 71012 HAS SOUS 37855 HAS SOUPS 37855 WITH SCORE 37926.012
AT ITER 3454 NEW BEST:: SOT 229327 SOS 70760 HAS SOPS 70760 HAS SOUS 37813 HAS SOUPS 37813 WITH SCORE 37883.76
AT ITER 3462 NEW BEST:: SOT 229332 SOS 70626 HAS SOPS 70626 HAS SOUS 37746 HAS SOUPS 37746 WITH SCORE 37816.626
AT ITER 3474 NEW BEST:: SOT 229283 SOS 70452 HAS SOPS 70452 HAS SOUS 37735 HAS SOUPS 37735 WITH SCORE 37805.452
AT ITER 3477 NEW BEST:: SOT 229158 SOS 70202 HAS SOPS 70202 HAS SOUS 37735 HAS SOUPS 37735 WITH SCORE 37805.202
AT ITER 3494 NEW BEST:: SOT 229335 SOS 70556 HAS SOPS 70556 HAS SOUS 37721 HAS SOUPS 37721 WITH SCORE 37791.556
AT ITER 3507 NEW BEST:: SOT 229296 SOS 70439 HAS SOPS 70439 HAS SOUS 37721 HAS SOUPS 37721 WITH SCORE 37791.439
AT ITER 3532 NEW BEST:: SOT 229302 SOS 70537 HAS SOPS 70537 HAS SOUS 37716 HAS SOUPS 37716 WITH SCORE 37786.537
AT ITER 3549 NEW BEST:: SOT 229292 SOS 70516 HAS SOPS 70516 HAS SOUS 37715 HAS SOUPS 37715 WITH SCORE 37785.516
AT ITER 3565 NEW BEST:: SOT 229242 SOS 70390 HAS SOPS 70390 HAS SOUS 37714 HAS SOUPS 37714 WITH SCORE 37784.39
AT ITER 3577 NEW BEST:: SOT 229162 SOS 70150 HAS SOPS 70150 HAS SOUS 37674 HAS SOUPS 37674 WITH SCORE 37744.15
AT ITER 3594 NEW BEST:: SOT 229177 SOS 70237 HAS SOPS 70237 HAS SOUS 37597 HAS SOUPS 37597 WITH SCORE 37667.237
AT ITER 3644 NEW BEST:: SOT 229012 SOS 70042 HAS SOPS 70042 HAS SOUS 37543 HAS SOUPS 37543 WITH SCORE 37613.042
AT ITER 3665 NEW BEST:: SOT 229017 SOS 70123 HAS SOPS 70123 HAS SOUS 37520 HAS SOUPS 37520 WITH SCORE 37590.123
AT ITER 3676 NEW BEST:: SOT 228915 SOS 69824 HAS SOPS 69824 HAS SOUS 37476 HAS SOUPS 37476 WITH SCORE 37545.824
AT ITER 3693 NEW BEST:: SOT 228837 SOS 69590 HAS SOPS 69590 HAS SOUS 37437 HAS SOUPS 37437 WITH SCORE 37506.59
AT ITER 3712 NEW BEST:: SOT 228672 SOS 69120 HAS SOPS 69120 HAS SOUS 37380 HAS SOUPS 37380 WITH SCORE 37449.12
AT ITER 3725 NEW BEST:: SOT 228657 SOS 69090 HAS SOPS 69090 HAS SOUS 37365 HAS SOUPS 37365 WITH SCORE 37434.09
AT ITER 3733 NEW BEST:: SOT 228611 SOS 68683 HAS SOPS 68683 HAS SOUS 37345 HAS SOUPS 37345 WITH SCORE 37413.683
AT ITER 3744 NEW BEST:: SOT 228602 SOS 68647 HAS SOPS 68647 HAS SOUS 37343 HAS SOUPS 37343 WITH SCORE 37411.647
AT ITER 3754 NEW BEST:: SOT 228560 SOS 68563 HAS SOPS 68563 HAS SOUS 37301 HAS SOUPS 37301 WITH SCORE 37369.563
AT ITER 3755 NEW BEST:: SOT 228439 SOS 68321 HAS SOPS 68321 HAS SOUS 37263 HAS SOUPS 37263 WITH SCORE 37331.321
AT ITER 3801 NEW BEST:: SOT 228318 SOS 68233 HAS SOPS 68233 HAS SOUS 37184 HAS SOUPS 37184 WITH SCORE 37252.233
AT ITER 3814 NEW BEST:: SOT 228288 SOS 68136 HAS SOPS 68136 HAS SOUS 37091 HAS SOUPS 37091 WITH SCORE 37159.136
AT ITER 3824 NEW BEST:: SOT 228013 SOS 67364 HAS SOPS 67364 HAS SOUS 37033 HAS SOUPS 37033 WITH SCORE 37100.364
AT ITER 3830 NEW BEST:: SOT 227980 SOS 67298 HAS SOPS 67298 HAS SOUS 37033 HAS SOUPS 37033 WITH SCORE 37100.298
AT ITER 3855 NEW BEST:: SOT 227970 SOS 67278 HAS SOPS 67278 HAS SOUS 37028 HAS SOUPS 37028 WITH SCORE 37095.278
AT ITER 3858 NEW BEST:: SOT 227970 SOS 67271 HAS SOPS 67271 HAS SOUS 37014 HAS SOUPS 37014 WITH SCORE 37081.271
AT ITER 3871 NEW BEST:: SOT 227956 SOS 67028 HAS SOPS 67028 HAS SOUS 36993 HAS SOUPS 36993 WITH SCORE 37060.028
AT ITER 3907 NEW BEST:: SOT 227936 SOS 66988 HAS SOPS 66988 HAS SOUS 36983 HAS SOUPS 36983 WITH SCORE 37049.988
AT ITER 3919 NEW BEST:: SOT 227926 SOS 66968 HAS SOPS 66968 HAS SOUS 36978 HAS SOUPS 36978 WITH SCORE 37044.968
AT ITER 3929 NEW BEST:: SOT 227936 SOS 67000 HAS SOPS 67000 HAS SOUS 36966 HAS SOUPS 36966 WITH SCORE 37033.0
AT ITER 3938 NEW BEST:: SOT 227844 SOS 66815 HAS SOPS 66815 HAS SOUS 36951 HAS SOUPS 36951 WITH SCORE 37017.815
AT ITER 3940 NEW BEST:: SOT 227691 SOS 66509 HAS SOPS 66509 HAS SOUS 36798 HAS SOUPS 36798 WITH SCORE 36864.509
AT ITER 3944 NEW BEST:: SOT 227674 SOS 66475 HAS SOPS 66475 HAS SOUS 36780 HAS SOUPS 36780 WITH SCORE 36846.475
AT ITER 3956 NEW BEST:: SOT 227689 SOS 66475 HAS SOPS 66475 HAS SOUS 36765 HAS SOUPS 36765 WITH SCORE 36831.475
AT ITER 3961 NEW BEST:: SOT 227582 SOS 66164 HAS SOPS 66164 HAS SOUS 36680 HAS SOUPS 36680 WITH SCORE 36746.164
AT ITER 3982 NEW BEST:: SOT 227564 SOS 66123 HAS SOPS 66123 HAS SOUS 36666 HAS SOUPS 36666 WITH SCORE 36732.123
AT ITER 3986 NEW BEST:: SOT 227564 SOS 66105 HAS SOPS 66105 HAS SOUS 36572 HAS SOUPS 36572 WITH SCORE 36638.105
AT ITER 4009 NEW BEST:: SOT 227537 SOS 66013 HAS SOPS 66013 HAS SOUS 36564 HAS SOUPS 36564 WITH SCORE 36630.013
AT ITER 4045 NEW BEST:: SOT 227537 SOS 66013 HAS SOPS 66013 HAS SOUS 36550 HAS SOUPS 36550 WITH SCORE 36616.013
AT ITER 4047 NEW BEST:: SOT 227474 SOS 65792 HAS SOPS 65792 HAS SOUS 36489 HAS SOUPS 36489 WITH SCORE 36554.792
AT ITER 4064 NEW BEST:: SOT 227472 SOS 65806 HAS SOPS 65806 HAS SOUS 36478 HAS SOUPS 36478 WITH SCORE 36543.806
AT ITER 4066 NEW BEST:: SOT 227472 SOS 65806 HAS SOPS 65806 HAS SOUS 36416 HAS SOUPS 36416 WITH SCORE 36481.806
AT ITER 4070 NEW BEST:: SOT 227458 SOS 65764 HAS SOPS 65764 HAS SOUS 36416 HAS SOUPS 36416 WITH SCORE 36481.764
AT ITER 4075 NEW BEST:: SOT 227457 SOS 65762 HAS SOPS 65762 HAS SOUS 36415 HAS SOUPS 36415 WITH SCORE 36480.762
AT ITER 4096 NEW BEST:: SOT 227376 SOS 65308 HAS SOPS 65308 HAS SOUS 36154 HAS SOUPS 36154 WITH SCORE 36219.308
AT ITER 4111 NEW BEST:: SOT 227332 SOS 65220 HAS SOPS 65220 HAS SOUS 36099 HAS SOUPS 36099 WITH SCORE 36164.22
AT ITER 4125 NEW BEST:: SOT 227336 SOS 65191 HAS SOPS 65191 HAS SOUS 36041 HAS SOUPS 36041 WITH SCORE 36106.191
AT ITER 4137 NEW BEST:: SOT 227299 SOS 65079 HAS SOPS 65079 HAS SOUS 36023 HAS SOUPS 36023 WITH SCORE 36088.079
AT ITER 4173 NEW BEST:: SOT 227329 SOS 65248 HAS SOPS 65248 HAS SOUS 36001 HAS SOUPS 36001 WITH SCORE 36066.248
AT ITER 4182 NEW BEST:: SOT 227329 SOS 65248 HAS SOPS 65248 HAS SOUS 35851 HAS SOUPS 35851 WITH SCORE 35916.248
AT ITER 4200 NEW BEST:: SOT 227319 SOS 65218 HAS SOPS 65218 HAS SOUS 35844 HAS SOUPS 35844 WITH SCORE 35909.218
AT ITER 4211 NEW BEST:: SOT 227131 SOS 64654 HAS SOPS 64654 HAS SOUS 35696 HAS SOUPS 35696 WITH SCORE 35760.654
AT ITER 4232 NEW BEST:: SOT 227107 SOS 64582 HAS SOPS 64582 HAS SOUS 35684 HAS SOUPS 35684 WITH SCORE 35748.582
AT ITER 4282 NEW BEST:: SOT 227102 SOS 64564 HAS SOPS 64564 HAS SOUS 35683 HAS SOUPS 35683 WITH SCORE 35747.564
AT ITER 4288 NEW BEST:: SOT 227087 SOS 64574 HAS SOPS 64574 HAS SOUS 35588 HAS SOUPS 35588 WITH SCORE 35652.574
AT ITER 4310 NEW BEST:: SOT 227109 SOS 64618 HAS SOPS 64618 HAS SOUS 35581 HAS SOUPS 35581 WITH SCORE 35645.618
AT ITER 4321 NEW BEST:: SOT 226910 SOS 64240 HAS SOPS 64240 HAS SOUS 35349 HAS SOUPS 35349 WITH SCORE 35413.24
AT ITER 4332 NEW BEST:: SOT 226821 SOS 64020 HAS SOPS 64020 HAS SOUS 35215 HAS SOUPS 35215 WITH SCORE 35279.02
AT ITER 4341 NEW BEST:: SOT 226767 SOS 63912 HAS SOPS 63912 HAS SOUS 35154 HAS SOUPS 35154 WITH SCORE 35217.912
AT ITER 4352 NEW BEST:: SOT 226870 SOS 64007 HAS SOPS 64007 HAS SOUS 35104 HAS SOUPS 35104 WITH SCORE 35168.007
AT ITER 4363 NEW BEST:: SOT 226869 SOS 64005 HAS SOPS 64005 HAS SOUS 35104 HAS SOUPS 35104 WITH SCORE 35168.005
AT ITER 4365 NEW BEST:: SOT 226869 SOS 64005 HAS SOPS 64005 HAS SOUS 35080 HAS SOUPS 35080 WITH SCORE 35144.005
AT ITER 4366 NEW BEST:: SOT 226810 SOS 63972 HAS SOPS 63972 HAS SOUS 35005 HAS SOUPS 35005 WITH SCORE 35068.972
AT ITER 4386 NEW BEST:: SOT 226811 SOS 63975 HAS SOPS 63975 HAS SOUS 35004 HAS SOUPS 35004 WITH SCORE 35067.975
AT ITER 4400 NEW BEST:: SOT 226811 SOS 63956 HAS SOPS 63956 HAS SOUS 34935 HAS SOUPS 34935 WITH SCORE 34998.956
AT ITER 4432 NEW BEST:: SOT 226755 SOS 63816 HAS SOPS 63816 HAS SOUS 34909 HAS SOUPS 34909 WITH SCORE 34972.816
AT ITER 4446 NEW BEST:: SOT 226715 SOS 63772 HAS SOPS 63772 HAS SOUS 34841 HAS SOUPS 34841 WITH SCORE 34904.772
AT ITER 4475 NEW BEST:: SOT 226715 SOS 63772 HAS SOPS 63772 HAS SOUS 34759 HAS SOUPS 34759 WITH SCORE 34822.772
AT ITER 4503 NEW BEST:: SOT 226479 SOS 63064 HAS SOPS 63064 HAS SOUS 34641 HAS SOUPS 34641 WITH SCORE 34704.064
AT ITER 4511 NEW BEST:: SOT 226467 SOS 63040 HAS SOPS 63040 HAS SOUS 34626 HAS SOUPS 34626 WITH SCORE 34689.04
AT ITER 4515 NEW BEST:: SOT 226386 SOS 62878 HAS SOPS 62878 HAS SOUS 34545 HAS SOUPS 34545 WITH SCORE 34607.878
AT ITER 4530 NEW BEST:: SOT 226334 SOS 62722 HAS SOPS 62722 HAS SOUS 34519 HAS SOUPS 34519 WITH SCORE 34581.722
AT ITER 4548 NEW BEST:: SOT 226276 SOS 62606 HAS SOPS 62606 HAS SOUS 34519 HAS SOUPS 34519 WITH SCORE 34581.606
AT ITER 4556 NEW BEST:: SOT 226424 SOS 63090 HAS SOPS 63090 HAS SOUS 34418 HAS SOUPS 34418 WITH SCORE 34481.09
AT ITER 4567 NEW BEST:: SOT 226400 SOS 63042 HAS SOPS 63042 HAS SOUS 34381 HAS SOUPS 34381 WITH SCORE 34444.042
AT ITER 4568 NEW BEST:: SOT 226364 SOS 62990 HAS SOPS 62990 HAS SOUS 34365 HAS SOUPS 34365 WITH SCORE 34427.99
AT ITER 4603 NEW BEST:: SOT 226362 SOS 62982 HAS SOPS 62982 HAS SOUS 34363 HAS SOUPS 34363 WITH SCORE 34425.982
AT ITER 4604 NEW BEST:: SOT 226387 SOS 63007 HAS SOPS 63007 HAS SOUS 34341 HAS SOUPS 34341 WITH SCORE 34404.007
AT ITER 4666 NEW BEST:: SOT 226338 SOS 62890 HAS SOPS 62890 HAS SOUS 34269 HAS SOUPS 34269 WITH SCORE 34331.89
AT ITER 4688 NEW BEST:: SOT 226308 SOS 62800 HAS SOPS 62800 HAS SOUS 34254 HAS SOUPS 34254 WITH SCORE 34316.8
AT ITER 4692 NEW BEST:: SOT 226257 SOS 62606 HAS SOPS 62606 HAS SOUS 34249 HAS SOUPS 34249 WITH SCORE 34311.606
AT ITER 4693 NEW BEST:: SOT 225912 SOS 61570 HAS SOPS 61570 HAS SOUS 34077 HAS SOUPS 34077 WITH SCORE 34138.57
AT ITER 4700 NEW BEST:: SOT 225683 SOS 61112 HAS SOPS 61112 HAS SOUS 33848 HAS SOUPS 33848 WITH SCORE 33909.112
AT ITER 4735 NEW BEST:: SOT 225630 SOS 60965 HAS SOPS 60965 HAS SOUS 33835 HAS SOUPS 33835 WITH SCORE 33895.965
AT ITER 4749 NEW BEST:: SOT 225506 SOS 60663 HAS SOPS 60663 HAS SOUS 33781 HAS SOUPS 33781 WITH SCORE 33841.663
AT ITER 4750 NEW BEST:: SOT 225505 SOS 60661 HAS SOPS 60661 HAS SOUS 33780 HAS SOUPS 33780 WITH SCORE 33840.661
AT ITER 4758 NEW BEST:: SOT 225481 SOS 60613 HAS SOPS 60613 HAS SOUS 33756 HAS SOUPS 33756 WITH SCORE 33816.613
AT ITER 4765 NEW BEST:: SOT 225293 SOS 60058 HAS SOPS 60058 HAS SOUS 33611 HAS SOUPS 33611 WITH SCORE 33671.058
AT ITER 4805 NEW BEST:: SOT 225261 SOS 59923 HAS SOPS 59923 HAS SOUS 33564 HAS SOUPS 33564 WITH SCORE 33623.923
AT ITER 4842 NEW BEST:: SOT 225233 SOS 59839 HAS SOPS 59839 HAS SOUS 33550 HAS SOUPS 33550 WITH SCORE 33609.839
AT ITER 4854 NEW BEST:: SOT 225191 SOS 59714 HAS SOPS 59714 HAS SOUS 33509 HAS SOUPS 33509 WITH SCORE 33568.714
AT ITER 4884 NEW BEST:: SOT 225194 SOS 59723 HAS SOPS 59723 HAS SOUS 33506 HAS SOUPS 33506 WITH SCORE 33565.723
AT ITER 4910 NEW BEST:: SOT 225173 SOS 59669 HAS SOPS 59669 HAS SOUS 33469 HAS SOUPS 33469 WITH SCORE 33528.669
AT ITER 4950 NEW BEST:: SOT 225140 SOS 59591 HAS SOPS 59591 HAS SOUS 33201 HAS SOUPS 33201 WITH SCORE 33260.591
AT ITER 4956 NEW BEST:: SOT 225090 SOS 59441 HAS SOPS 59441 HAS SOUS 33148 HAS SOUPS 33148 WITH SCORE 33207.441
AT ITER 4967 NEW BEST:: SOT 224932 SOS 58965 HAS SOPS 58965 HAS SOUS 32988 HAS SOUPS 32988 WITH SCORE 33046.965
AT ITER 4970 NEW BEST:: SOT 224890 SOS 58791 HAS SOPS 58791 HAS SOUS 32948 HAS SOUPS 32948 WITH SCORE 33006.791
AT ITER 4987 NEW BEST:: SOT 224893 SOS 58800 HAS SOPS 58800 HAS SOUS 32945 HAS SOUPS 32945 WITH SCORE 33003.8
Bounds file is: CTLFireability.xml
PROPERTY: ViralEpidemic-PT-S04D1C1A03-CTLFireability-00 (AG( (EF( (! (! ((potential((tk(P132)>=1) & (tk(P165)>=1))))))))))
PROPERTY: ViralEpidemic-PT-S04D1C1A03-CTLFireability-01 (EF( (AG( ( (! ((potential((tk(P189)>=1))))) | ((potential((tk(P160)>=1) & (tk(P164)>=1)))) )))))
PROPERTY: ViralEpidemic-PT-S04D1C1A03-CTLFireability-02 (EF( (AG( ( ( ((potential((tk(P31)>=1)))) | ((potential((tk(P454)>=1) & (tk(P457)>=1)))) ) & ( ((potential((tk(P438)>=1) & (tk(P439)>=1)))) | ((potential((tk(P231)>=1) & (tk(P234)>=1)))) ) )))))
PROPERTY: ViralEpidemic-PT-S04D1C1A03-CTLFireability-03 (AF( (EU( ( ((potential((tk(P43)>=1) & (tk(P46)>=1)))) & ((potential((tk(P262)>=1) & (tk(P285)>=1)))) ) , ( ((potential((tk(P414)>=1) & (tk(P415)>=1)))) & ((potential((tk(P455)>=1) & (tk(P459)>=1)))) ) ))))
PROPERTY: ViralEpidemic-PT-S04D1C1A03-CTLFireability-04 (AU( ( (EX( ((potential((tk(P18)>=1) & (tk(P22)>=1)))))) | ( ( ((potential((tk(P380)>=1) & (tk(P383)>=1)))) | ((potential((tk(P485)>=1) & (tk(P489)>=1)))) ) | ((potential((tk(P177)>=1) & (tk(P181)>=1)))) ) ) , ( (AF( ((potential((tk(P238)>=1) & (tk(P243)>=1)))))) | (AX( ((potential((tk(P246)>=1) & (tk(P248)>=1)))))) ) ))
PROPERTY: ViralEpidemic-PT-S04D1C1A03-CTLFireability-05 (EF( (EX( (AG( ((potential((tk(P260)>=1) & (tk(P261)>=1))))))))))
PROPERTY: ViralEpidemic-PT-S04D1C1A03-CTLFireability-06 ( (EF( ( ((potential((tk(P48)>=1)))) & ( ((potential((tk(P355)>=1) & (tk(P378)>=1)))) & ((potential((tk(P419)>=1)))) ) ))) | (! (! (EU( ((potential((tk(P246)>=1) & (tk(P249)>=1)))) , ((potential((tk(P380)>=1) & (tk(P381)>=1)))) )))) )
PROPERTY: ViralEpidemic-PT-S04D1C1A03-CTLFireability-07 ( (EG( ( ( ((potential((tk(P407)>=1) & (tk(P408)>=1)))) | ( ((potential((tk(P111)>=1) & (tk(P114)>=1)))) | ((potential((tk(P139)>=1) & (tk(P140)>=1)))) ) ) | (AF( ((potential((tk(P8)>=1) & (tk(P17)>=1)))))) ))) & ( (AF( ( ( ((potential((tk(P324)>=1) & (tk(P326)>=1)))) | ((potential((tk(P112)>=1) & (tk(P116)>=1)))) ) & (! ((potential((tk(P317)>=1) & (tk(P322)>=1))))) ))) | ((potential((tk(P43)>=1) & (tk(P44)>=1)))) ) )
PROPERTY: ViralEpidemic-PT-S04D1C1A03-CTLFireability-08 ( (AF( ((potential((tk(P468)>=1) & (tk(P472)>=1)))))) | (EU( ( (! ((potential((tk(P371)>=1))))) | ( ((potential((tk(P33)>=1) & (tk(P34)>=1)))) & ((potential((tk(P302)>=1)))) ) ) , (EG( ((potential((tk(P388)>=1)))))) )) )
PROPERTY: ViralEpidemic-PT-S04D1C1A03-CTLFireability-09 ( (! ( (AF( ( ((potential((tk(P112)>=1) & (tk(P114)>=1)))) & ((potential((tk(P475)>=1) & (tk(P480)>=1)))) ))) & (! (AG( ((potential((tk(P43)>=1) & (tk(P47)>=1))))))) )) | ((potential((tk(P324)>=1) & (tk(P326)>=1)))) )
PROPERTY: ViralEpidemic-PT-S04D1C1A03-CTLFireability-10 (AF( ( ( ((potential((tk(P372)>=1) & (tk(P376)>=1)))) & (EX( ((potential((tk(P483)>=1) & (tk(P484)>=1)))))) ) & ( ( ( ((potential((tk(P286)>=1) & (tk(P289)>=1)))) & ((potential((tk(P94)>=1) & (tk(P98)>=1)))) ) & (! ((potential((tk(P296)>=1) & (tk(P300)>=1))))) ) | ( ((potential((tk(P42)>=1) & (tk(P45)>=1)))) & ( ((potential((tk(P25)>=1) & (tk(P30)>=1)))) & ((potential((tk(P359)>=1) & (tk(P363)>=1)))) ) ) ) )))
PROPERTY: ViralEpidemic-PT-S04D1C1A03-CTLFireability-11 ( (EF( ( ( ((potential((tk(P293)>=1) & (tk(P309)>=1)))) & ( ((potential((tk(P184)>=1) & (tk(P187)>=1)))) & ((potential((tk(P259)>=1) & (tk(P323)>=1)))) ) ) & ( ((potential((tk(P182)>=1)))) | ((potential((tk(P349)>=1) & (tk(P352)>=1)))) ) ))) | ((potential((tk(P386)>=1) & (tk(P481)>=1)))) )
PROPERTY: ViralEpidemic-PT-S04D1C1A03-CTLFireability-12 (AF( (AX( (AG( ((potential((tk(P297)>=1) & (tk(P298)>=1))))))))))
PROPERTY: ViralEpidemic-PT-S04D1C1A03-CTLFireability-13 (EF( (EG( ((potential((tk(P73)>=1) & (tk(P77)>=1))))))))
PROPERTY: ViralEpidemic-PT-S04D1C1A03-CTLFireability-14 (AG( (EX( (EF( ((potential((tk(P335)>=1) & (tk(P339)>=1))))))))))
PROPERTY: ViralEpidemic-PT-S04D1C1A03-CTLFireability-15 (! ( (AF( (AX( ((potential((tk(P481)>=1)))))))) & ( ((potential((tk(P102)>=1) & (tk(P103)>=1)))) | (AF( ( ((potential((tk(P39)>=1) & (tk(P48)>=1)))) | ((potential((tk(P201)>=1) & (tk(P202)>=1)))) ))) ) ))

BK_STOP 1590475345469

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

terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 466 Aborted ${SMART} ${INPUT_SM}

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ViralEpidemic-PT-S04D1C1A03"
export BK_EXAMINATION="CTLFireability"
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 ViralEpidemic-PT-S04D1C1A03, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r224-oct2-159033538900532"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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