Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250900715.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off 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 Peterson-PT-3, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250900715
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 716K
-rw-r--r-- 1 mcc users 14K Apr 27 15:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 46K Apr 27 15:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 17K Apr 27 15:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Apr 27 15:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 27 15:14 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Apr 27 15:14 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 23K Apr 27 15:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 78K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 9.4K Apr 27 15:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 40K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Apr 27 15:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 37K Apr 27 15:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 15K Apr 27 15:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 54K Apr 27 15:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 5.8K Apr 27 15:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 12K Apr 27 15:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Apr 27 15:14 equiv_col
-rw-r--r-- 1 mcc users 2 Apr 27 15:14 instance
-rw-r--r-- 1 mcc users 6 Apr 27 15:14 iscolored
-rw-r--r-- 1 mcc users 248K Apr 27 15:14 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 Peterson-PT-3-CTLCardinality-00
FORMULA_NAME Peterson-PT-3-CTLCardinality-01
FORMULA_NAME Peterson-PT-3-CTLCardinality-02
FORMULA_NAME Peterson-PT-3-CTLCardinality-03
FORMULA_NAME Peterson-PT-3-CTLCardinality-04
FORMULA_NAME Peterson-PT-3-CTLCardinality-05
FORMULA_NAME Peterson-PT-3-CTLCardinality-06
FORMULA_NAME Peterson-PT-3-CTLCardinality-07
FORMULA_NAME Peterson-PT-3-CTLCardinality-08
FORMULA_NAME Peterson-PT-3-CTLCardinality-09
FORMULA_NAME Peterson-PT-3-CTLCardinality-10
FORMULA_NAME Peterson-PT-3-CTLCardinality-11
FORMULA_NAME Peterson-PT-3-CTLCardinality-12
FORMULA_NAME Peterson-PT-3-CTLCardinality-13
FORMULA_NAME Peterson-PT-3-CTLCardinality-14
FORMULA_NAME Peterson-PT-3-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589646430491

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Peterson (PT), instance 3
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: 244 places, 332 transitions, 1016 arcs.
AT ITER 0 NEW BEST:: SOT 54930 SOS 22154 HAS SOPS 20406 HAS SOUS 20904 HAS SOUPS 19885 WITH SCORE 19907.154
AT ITER 1 NEW BEST:: SOT 54930 SOS 22139 HAS SOPS 20406 HAS SOUS 20889 HAS SOUPS 19885 WITH SCORE 19907.139
AT ITER 2 NEW BEST:: SOT 54811 SOS 22072 HAS SOPS 20287 HAS SOUS 20853 HAS SOUPS 19810 WITH SCORE 19832.072
AT ITER 4 NEW BEST:: SOT 54774 SOS 21998 HAS SOPS 20102 HAS SOUS 20668 HAS SOUPS 19625 WITH SCORE 19646.998
AT ITER 5 NEW BEST:: SOT 54758 SOS 21966 HAS SOPS 20070 HAS SOUS 20636 HAS SOUPS 19593 WITH SCORE 19614.966
AT ITER 8 NEW BEST:: SOT 54758 SOS 21926 HAS SOPS 20070 HAS SOUS 20636 HAS SOUPS 19593 WITH SCORE 19614.926
AT ITER 10 NEW BEST:: SOT 54445 SOS 21664 HAS SOPS 19821 HAS SOUS 20325 HAS SOUPS 19299 WITH SCORE 19320.664
AT ITER 16 NEW BEST:: SOT 54421 SOS 21665 HAS SOPS 19822 HAS SOUS 20301 HAS SOUPS 19275 WITH SCORE 19296.665
AT ITER 19 NEW BEST:: SOT 54421 SOS 21608 HAS SOPS 19822 HAS SOUS 20301 HAS SOUPS 19275 WITH SCORE 19296.608
AT ITER 23 NEW BEST:: SOT 54411 SOS 21598 HAS SOPS 19822 HAS SOUS 20291 HAS SOUPS 19275 WITH SCORE 19296.598
AT ITER 32 NEW BEST:: SOT 54384 SOS 21544 HAS SOPS 19768 HAS SOUS 20237 HAS SOUPS 19221 WITH SCORE 19242.544
AT ITER 35 NEW BEST:: SOT 54384 SOS 21534 HAS SOPS 19758 HAS SOUS 20235 HAS SOUPS 19219 WITH SCORE 19240.534
AT ITER 36 NEW BEST:: SOT 54254 SOS 21529 HAS SOPS 19616 HAS SOUS 20252 HAS SOUPS 19176 WITH SCORE 19197.529
AT ITER 38 NEW BEST:: SOT 54235 SOS 21492 HAS SOPS 19605 HAS SOUS 20241 HAS SOUPS 19165 WITH SCORE 19186.492
AT ITER 39 NEW BEST:: SOT 54235 SOS 21452 HAS SOPS 19565 HAS SOUS 20241 HAS SOUPS 19165 WITH SCORE 19186.452
AT ITER 50 NEW BEST:: SOT 54222 SOS 21374 HAS SOPS 19539 HAS SOUS 20210 HAS SOUPS 19139 WITH SCORE 19160.374
AT ITER 53 NEW BEST:: SOT 54209 SOS 21361 HAS SOPS 19247 HAS SOUS 19948 HAS SOUPS 18799 WITH SCORE 18820.361
AT ITER 54 NEW BEST:: SOT 54202 SOS 21328 HAS SOPS 19235 HAS SOUS 19915 HAS SOUPS 18787 WITH SCORE 18808.328
AT ITER 55 NEW BEST:: SOT 54191 SOS 21317 HAS SOPS 19191 HAS SOUS 19860 HAS SOUPS 18732 WITH SCORE 18753.317
AT ITER 61 NEW BEST:: SOT 54162 SOS 21259 HAS SOPS 19133 HAS SOUS 19802 HAS SOUPS 18674 WITH SCORE 18695.259
AT ITER 64 NEW BEST:: SOT 54143 SOS 21176 HAS SOPS 19050 HAS SOUS 19764 HAS SOUPS 18636 WITH SCORE 18657.176
AT ITER 66 NEW BEST:: SOT 54135 SOS 21190 HAS SOPS 19034 HAS SOUS 19748 HAS SOUPS 18620 WITH SCORE 18641.19
AT ITER 69 NEW BEST:: SOT 54088 SOS 21096 HAS SOPS 18940 HAS SOUS 19654 HAS SOUPS 18526 WITH SCORE 18547.096
AT ITER 70 NEW BEST:: SOT 54082 SOS 21084 HAS SOPS 18928 HAS SOUS 19642 HAS SOUPS 18514 WITH SCORE 18535.084
AT ITER 73 NEW BEST:: SOT 54055 SOS 21087 HAS SOPS 18940 HAS SOUS 19622 HAS SOUPS 18494 WITH SCORE 18515.087
AT ITER 74 NEW BEST:: SOT 53974 SOS 20985 HAS SOPS 18869 HAS SOUS 19488 HAS SOUPS 18360 WITH SCORE 18380.985
AT ITER 77 NEW BEST:: SOT 53922 SOS 20881 HAS SOPS 18765 HAS SOUS 19384 HAS SOUPS 18256 WITH SCORE 18276.881
AT ITER 83 NEW BEST:: SOT 53664 SOS 20572 HAS SOPS 18663 HAS SOUS 19164 HAS SOUPS 18090 WITH SCORE 18110.572
AT ITER 88 NEW BEST:: SOT 53501 SOS 20524 HAS SOPS 18540 HAS SOUS 19190 HAS SOUPS 18083 WITH SCORE 18103.524
AT ITER 98 NEW BEST:: SOT 53732 SOS 20802 HAS SOPS 18539 HAS SOUS 19209 HAS SOUPS 18082 WITH SCORE 18102.802
AT ITER 109 NEW BEST:: SOT 53647 SOS 20713 HAS SOPS 18454 HAS SOUS 19118 HAS SOUPS 17991 WITH SCORE 18011.713
AT ITER 124 NEW BEST:: SOT 53616 SOS 20651 HAS SOPS 18392 HAS SOUS 19056 HAS SOUPS 17929 WITH SCORE 17949.651
AT ITER 127 NEW BEST:: SOT 53584 SOS 20640 HAS SOPS 18381 HAS SOUS 18992 HAS SOUPS 17865 WITH SCORE 17885.64
AT ITER 128 NEW BEST:: SOT 53548 SOS 20568 HAS SOPS 18309 HAS SOUS 18920 HAS SOUPS 17793 WITH SCORE 17813.568
AT ITER 132 NEW BEST:: SOT 53545 SOS 20562 HAS SOPS 18213 HAS SOUS 18824 HAS SOUPS 17697 WITH SCORE 17717.562
AT ITER 133 NEW BEST:: SOT 53357 SOS 20370 HAS SOPS 18134 HAS SOUS 18771 HAS SOUPS 17644 WITH SCORE 17664.37
AT ITER 134 NEW BEST:: SOT 53041 SOS 20538 HAS SOPS 18412 HAS SOUS 18672 HAS SOUPS 17545 WITH SCORE 17565.538
AT ITER 137 NEW BEST:: SOT 52996 SOS 20448 HAS SOPS 18322 HAS SOUS 18582 HAS SOUPS 17455 WITH SCORE 17475.448
AT ITER 149 NEW BEST:: SOT 52981 SOS 20438 HAS SOPS 18322 HAS SOUS 18577 HAS SOUPS 17450 WITH SCORE 17470.438
AT ITER 154 NEW BEST:: SOT 52950 SOS 20376 HAS SOPS 18260 HAS SOUS 18515 HAS SOUPS 17388 WITH SCORE 17408.376
AT ITER 156 NEW BEST:: SOT 52944 SOS 20364 HAS SOPS 18248 HAS SOUS 18503 HAS SOUPS 17376 WITH SCORE 17396.364
AT ITER 159 NEW BEST:: SOT 52944 SOS 20361 HAS SOPS 18245 HAS SOUS 18503 HAS SOUPS 17376 WITH SCORE 17396.361
AT ITER 162 NEW BEST:: SOT 52879 SOS 20248 HAS SOPS 18132 HAS SOUS 18449 HAS SOUPS 17322 WITH SCORE 17342.248
AT ITER 166 NEW BEST:: SOT 52853 SOS 20186 HAS SOPS 18106 HAS SOUS 18423 HAS SOUPS 17296 WITH SCORE 17316.186
AT ITER 172 NEW BEST:: SOT 52851 SOS 20182 HAS SOPS 18102 HAS SOUS 18419 HAS SOUPS 17292 WITH SCORE 17312.182
AT ITER 180 NEW BEST:: SOT 52829 SOS 20154 HAS SOPS 18067 HAS SOUS 18399 HAS SOUPS 17272 WITH SCORE 17292.154
AT ITER 183 NEW BEST:: SOT 52838 SOS 20151 HAS SOPS 18088 HAS SOUS 18371 HAS SOUPS 17268 WITH SCORE 17288.151
AT ITER 184 NEW BEST:: SOT 52779 SOS 20771 HAS SOPS 18049 HAS SOUS 18438 HAS SOUPS 17229 WITH SCORE 17249.771
AT ITER 185 NEW BEST:: SOT 52756 SOS 20718 HAS SOPS 18003 HAS SOUS 18392 HAS SOUPS 17183 WITH SCORE 17203.718
AT ITER 187 NEW BEST:: SOT 52756 SOS 20718 HAS SOPS 17934 HAS SOUS 18323 HAS SOUPS 17114 WITH SCORE 17134.718
AT ITER 190 NEW BEST:: SOT 52756 SOS 20718 HAS SOPS 17934 HAS SOUS 18312 HAS SOUPS 17103 WITH SCORE 17123.718
AT ITER 192 NEW BEST:: SOT 52711 SOS 20628 HAS SOPS 17844 HAS SOUS 18222 HAS SOUPS 17013 WITH SCORE 17033.628
AT ITER 193 NEW BEST:: SOT 52697 SOS 20585 HAS SOPS 17801 HAS SOUS 18194 HAS SOUPS 16985 WITH SCORE 17005.585
AT ITER 194 NEW BEST:: SOT 52523 SOS 20800 HAS SOPS 17570 HAS SOUS 18261 HAS SOUPS 16937 WITH SCORE 16957.8
AT ITER 198 NEW BEST:: SOT 52520 SOS 20764 HAS SOPS 17501 HAS SOUS 18225 HAS SOUPS 16868 WITH SCORE 16888.764
AT ITER 199 NEW BEST:: SOT 52636 SOS 20530 HAS SOPS 17160 HAS SOUS 18158 HAS SOUPS 16801 WITH SCORE 16821.53
AT ITER 204 NEW BEST:: SOT 52622 SOS 20515 HAS SOPS 17146 HAS SOUS 18143 HAS SOUPS 16787 WITH SCORE 16807.515
AT ITER 206 NEW BEST:: SOT 52622 SOS 20490 HAS SOPS 17146 HAS SOUS 18143 HAS SOUPS 16787 WITH SCORE 16807.49
AT ITER 209 NEW BEST:: SOT 52598 SOS 20411 HAS SOPS 17067 HAS SOUS 18069 HAS SOUPS 16713 WITH SCORE 16733.411
AT ITER 211 NEW BEST:: SOT 52584 SOS 20396 HAS SOPS 17056 HAS SOUS 18058 HAS SOUPS 16702 WITH SCORE 16722.396
AT ITER 221 NEW BEST:: SOT 52571 SOS 20258 HAS SOPS 17030 HAS SOUS 18006 HAS SOUPS 16663 WITH SCORE 16683.258
AT ITER 230 NEW BEST:: SOT 52571 SOS 20176 HAS SOPS 17030 HAS SOUS 18006 HAS SOUPS 16663 WITH SCORE 16683.176
AT ITER 237 NEW BEST:: SOT 52505 SOS 20114 HAS SOPS 17040 HAS SOUS 18000 HAS SOUPS 16657 WITH SCORE 16677.114
AT ITER 240 NEW BEST:: SOT 52503 SOS 20127 HAS SOPS 17036 HAS SOUS 17996 HAS SOUPS 16653 WITH SCORE 16673.127
AT ITER 244 NEW BEST:: SOT 52467 SOS 20082 HAS SOPS 16964 HAS SOUS 17924 HAS SOUPS 16581 WITH SCORE 16601.082
AT ITER 254 NEW BEST:: SOT 52340 SOS 19948 HAS SOPS 16860 HAS SOUS 17820 HAS SOUPS 16477 WITH SCORE 16496.948
AT ITER 257 NEW BEST:: SOT 52335 SOS 19943 HAS SOPS 16850 HAS SOUS 17810 HAS SOUPS 16467 WITH SCORE 16486.943
AT ITER 260 NEW BEST:: SOT 52284 SOS 19836 HAS SOPS 16743 HAS SOUS 17708 HAS SOUPS 16365 WITH SCORE 16384.836
AT ITER 262 NEW BEST:: SOT 52253 SOS 19817 HAS SOPS 16688 HAS SOUS 17685 HAS SOUPS 16310 WITH SCORE 16329.817
AT ITER 263 NEW BEST:: SOT 52243 SOS 19756 HAS SOPS 16668 HAS SOUS 17665 HAS SOUPS 16290 WITH SCORE 16309.756
AT ITER 271 NEW BEST:: SOT 52294 SOS 20458 HAS SOPS 16582 HAS SOUS 17797 HAS SOUPS 16280 WITH SCORE 16300.458
AT ITER 284 NEW BEST:: SOT 52250 SOS 20395 HAS SOPS 16523 HAS SOUS 17734 HAS SOUPS 16221 WITH SCORE 16241.395
AT ITER 285 NEW BEST:: SOT 52246 SOS 20373 HAS SOPS 16445 HAS SOUS 17656 HAS SOUPS 16143 WITH SCORE 16163.373
AT ITER 294 NEW BEST:: SOT 52236 SOS 20394 HAS SOPS 16433 HAS SOUS 17672 HAS SOUPS 16131 WITH SCORE 16151.394
AT ITER 296 NEW BEST:: SOT 52227 SOS 20376 HAS SOPS 16415 HAS SOUS 17654 HAS SOUPS 16113 WITH SCORE 16133.376
AT ITER 301 NEW BEST:: SOT 52227 SOS 20363 HAS SOPS 16415 HAS SOUS 17654 HAS SOUPS 16113 WITH SCORE 16133.363
AT ITER 306 NEW BEST:: SOT 52200 SOS 20335 HAS SOPS 16402 HAS SOUS 17641 HAS SOUPS 16100 WITH SCORE 16120.335
AT ITER 313 NEW BEST:: SOT 52199 SOS 20334 HAS SOPS 16401 HAS SOUS 17640 HAS SOUPS 16099 WITH SCORE 16119.334
AT ITER 314 NEW BEST:: SOT 52184 SOS 20304 HAS SOPS 16371 HAS SOUS 17610 HAS SOUPS 16069 WITH SCORE 16089.304
AT ITER 327 NEW BEST:: SOT 52051 SOS 19954 HAS SOPS 16351 HAS SOUS 17459 HAS SOUPS 15962 WITH SCORE 15981.954
AT ITER 332 NEW BEST:: SOT 52032 SOS 19919 HAS SOPS 16335 HAS SOUS 17443 HAS SOUPS 15946 WITH SCORE 15965.919
AT ITER 334 NEW BEST:: SOT 51847 SOS 19779 HAS SOPS 16202 HAS SOUS 17310 HAS SOUPS 15813 WITH SCORE 15832.779
AT ITER 336 NEW BEST:: SOT 51813 SOS 19596 HAS SOPS 16134 HAS SOUS 17242 HAS SOUPS 15745 WITH SCORE 15764.596
AT ITER 337 NEW BEST:: SOT 51798 SOS 19568 HAS SOPS 16108 HAS SOUS 17216 HAS SOUPS 15719 WITH SCORE 15738.568
AT ITER 343 NEW BEST:: SOT 51797 SOS 19564 HAS SOPS 16106 HAS SOUS 17214 HAS SOUPS 15717 WITH SCORE 15736.564
AT ITER 345 NEW BEST:: SOT 51755 SOS 19522 HAS SOPS 16064 HAS SOUS 17172 HAS SOUPS 15675 WITH SCORE 15694.522
AT ITER 353 NEW BEST:: SOT 51735 SOS 19422 HAS SOPS 15964 HAS SOUS 17072 HAS SOUPS 15575 WITH SCORE 15594.422
AT ITER 354 NEW BEST:: SOT 51645 SOS 19350 HAS SOPS 15861 HAS SOUS 16969 HAS SOUPS 15472 WITH SCORE 15491.35
AT ITER 356 NEW BEST:: SOT 51645 SOS 19319 HAS SOPS 15861 HAS SOUS 16969 HAS SOUPS 15472 WITH SCORE 15491.319
AT ITER 359 NEW BEST:: SOT 51627 SOS 19317 HAS SOPS 15834 HAS SOUS 16958 HAS SOUPS 15461 WITH SCORE 15480.317
AT ITER 370 NEW BEST:: SOT 51615 SOS 19293 HAS SOPS 15810 HAS SOUS 16934 HAS SOUPS 15437 WITH SCORE 15456.293
AT ITER 371 NEW BEST:: SOT 51615 SOS 19310 HAS SOPS 15790 HAS SOUS 16925 HAS SOUPS 15417 WITH SCORE 15436.31
AT ITER 375 NEW BEST:: SOT 51590 SOS 19368 HAS SOPS 15851 HAS SOUS 16903 HAS SOUPS 15395 WITH SCORE 15414.368
AT ITER 376 NEW BEST:: SOT 51481 SOS 19188 HAS SOPS 15671 HAS SOUS 16723 HAS SOUPS 15215 WITH SCORE 15234.188
AT ITER 382 NEW BEST:: SOT 51446 SOS 19210 HAS SOPS 15706 HAS SOUS 16699 HAS SOUPS 15191 WITH SCORE 15210.21
AT ITER 390 NEW BEST:: SOT 51401 SOS 19254 HAS SOPS 15750 HAS SOUS 16634 HAS SOUPS 15126 WITH SCORE 15145.254
AT ITER 392 NEW BEST:: SOT 51324 SOS 19196 HAS SOPS 15695 HAS SOUS 16576 HAS SOUPS 15071 WITH SCORE 15090.196
AT ITER 398 NEW BEST:: SOT 51319 SOS 19262 HAS SOPS 15775 HAS SOUS 16569 HAS SOUPS 15064 WITH SCORE 15083.262
AT ITER 406 NEW BEST:: SOT 51318 SOS 19257 HAS SOPS 15766 HAS SOUS 16560 HAS SOUPS 15055 WITH SCORE 15074.257
AT ITER 407 NEW BEST:: SOT 51298 SOS 19195 HAS SOPS 15704 HAS SOUS 16498 HAS SOUPS 14993 WITH SCORE 15012.195
AT ITER 409 NEW BEST:: SOT 51280 SOS 19141 HAS SOPS 15668 HAS SOUS 16462 HAS SOUPS 14957 WITH SCORE 14976.141
AT ITER 417 NEW BEST:: SOT 51208 SOS 18997 HAS SOPS 15524 HAS SOUS 16318 HAS SOUPS 14813 WITH SCORE 14831.997
AT ITER 427 NEW BEST:: SOT 51068 SOS 19255 HAS SOPS 15366 HAS SOUS 16279 HAS SOUPS 14690 WITH SCORE 14709.255
AT ITER 428 NEW BEST:: SOT 51006 SOS 19384 HAS SOPS 15255 HAS SOUS 16272 HAS SOUPS 14634 WITH SCORE 14653.384
AT ITER 432 NEW BEST:: SOT 50991 SOS 19369 HAS SOPS 15225 HAS SOUS 16242 HAS SOUPS 14604 WITH SCORE 14623.369
AT ITER 435 NEW BEST:: SOT 50986 SOS 19364 HAS SOPS 15220 HAS SOUS 16237 HAS SOUPS 14599 WITH SCORE 14618.364
AT ITER 438 NEW BEST:: SOT 50977 SOS 19353 HAS SOPS 15209 HAS SOUS 16228 HAS SOUPS 14590 WITH SCORE 14609.353
AT ITER 439 NEW BEST:: SOT 50979 SOS 19343 HAS SOPS 15217 HAS SOUS 16206 HAS SOUPS 14574 WITH SCORE 14593.343
AT ITER 443 NEW BEST:: SOT 50972 SOS 19329 HAS SOPS 15203 HAS SOUS 16192 HAS SOUPS 14560 WITH SCORE 14579.329
AT ITER 449 NEW BEST:: SOT 50958 SOS 19287 HAS SOPS 15175 HAS SOUS 16150 HAS SOUPS 14532 WITH SCORE 14551.287
AT ITER 451 NEW BEST:: SOT 50930 SOS 19270 HAS SOPS 15161 HAS SOUS 16133 HAS SOUPS 14518 WITH SCORE 14537.27
AT ITER 462 NEW BEST:: SOT 50914 SOS 19252 HAS SOPS 15143 HAS SOUS 16109 HAS SOUPS 14494 WITH SCORE 14513.252
AT ITER 464 NEW BEST:: SOT 50899 SOS 19237 HAS SOPS 15097 HAS SOUS 16087 HAS SOUPS 14472 WITH SCORE 14491.237
AT ITER 469 NEW BEST:: SOT 50896 SOS 19174 HAS SOPS 15034 HAS SOUS 16024 HAS SOUPS 14409 WITH SCORE 14428.174
AT ITER 483 NEW BEST:: SOT 50888 SOS 19170 HAS SOPS 15026 HAS SOUS 16016 HAS SOUPS 14401 WITH SCORE 14420.17
AT ITER 495 NEW BEST:: SOT 50819 SOS 19204 HAS SOPS 15069 HAS SOUS 15954 HAS SOUPS 14339 WITH SCORE 14358.204
AT ITER 497 NEW BEST:: SOT 50802 SOS 19170 HAS SOPS 15035 HAS SOUS 15920 HAS SOUPS 14305 WITH SCORE 14324.17
AT ITER 504 NEW BEST:: SOT 50709 SOS 19077 HAS SOPS 14910 HAS SOUS 15812 HAS SOUPS 14197 WITH SCORE 14216.077
AT ITER 506 NEW BEST:: SOT 50709 SOS 19081 HAS SOPS 14900 HAS SOUS 15802 HAS SOUPS 14187 WITH SCORE 14206.081
AT ITER 508 NEW BEST:: SOT 50710 SOS 19099 HAS SOPS 14846 HAS SOUS 15748 HAS SOUPS 14133 WITH SCORE 14152.099
AT ITER 515 NEW BEST:: SOT 50708 SOS 19017 HAS SOPS 14764 HAS SOUS 15666 HAS SOUPS 14051 WITH SCORE 14070.017
AT ITER 517 NEW BEST:: SOT 50681 SOS 18990 HAS SOPS 14737 HAS SOUS 15639 HAS SOUPS 14024 WITH SCORE 14042.99
AT ITER 519 NEW BEST:: SOT 50672 SOS 18972 HAS SOPS 14719 HAS SOUS 15621 HAS SOUPS 14006 WITH SCORE 14024.972
AT ITER 533 NEW BEST:: SOT 50672 SOS 18981 HAS SOPS 14688 HAS SOUS 15581 HAS SOUPS 13966 WITH SCORE 13984.981
AT ITER 535 NEW BEST:: SOT 50668 SOS 18914 HAS SOPS 14618 HAS SOUS 15564 HAS SOUPS 13949 WITH SCORE 13967.914
AT ITER 543 NEW BEST:: SOT 50669 SOS 18911 HAS SOPS 14615 HAS SOUS 15561 HAS SOUPS 13946 WITH SCORE 13964.911
AT ITER 552 NEW BEST:: SOT 50678 SOS 18890 HAS SOPS 14603 HAS SOUS 15549 HAS SOUPS 13934 WITH SCORE 13952.89
AT ITER 561 NEW BEST:: SOT 50662 SOS 18858 HAS SOPS 14571 HAS SOUS 15517 HAS SOUPS 13902 WITH SCORE 13920.858
AT ITER 582 NEW BEST:: SOT 50658 SOS 18850 HAS SOPS 14563 HAS SOUS 15511 HAS SOUPS 13896 WITH SCORE 13914.85
AT ITER 595 NEW BEST:: SOT 50643 SOS 18835 HAS SOPS 14548 HAS SOUS 15496 HAS SOUPS 13881 WITH SCORE 13899.835
AT ITER 601 NEW BEST:: SOT 50653 SOS 18696 HAS SOPS 14531 HAS SOUS 15429 HAS SOUPS 13836 WITH SCORE 13854.696
AT ITER 608 NEW BEST:: SOT 50653 SOS 18762 HAS SOPS 14581 HAS SOUS 15414 HAS SOUPS 13821 WITH SCORE 13839.762
AT ITER 615 NEW BEST:: SOT 50647 SOS 18823 HAS SOPS 14642 HAS SOUS 15402 HAS SOUPS 13809 WITH SCORE 13827.823
AT ITER 633 NEW BEST:: SOT 50647 SOS 18813 HAS SOPS 14632 HAS SOUS 15392 HAS SOUPS 13799 WITH SCORE 13817.813
AT ITER 675 NEW BEST:: SOT 50643 SOS 18805 HAS SOPS 14624 HAS SOUS 15384 HAS SOUPS 13791 WITH SCORE 13809.805
AT ITER 681 NEW BEST:: SOT 50621 SOS 18761 HAS SOPS 14580 HAS SOUS 15340 HAS SOUPS 13747 WITH SCORE 13765.761
AT ITER 699 NEW BEST:: SOT 50610 SOS 18689 HAS SOPS 14570 HAS SOUS 15302 HAS SOUPS 13734 WITH SCORE 13752.689
AT ITER 700 NEW BEST:: SOT 50557 SOS 18615 HAS SOPS 14496 HAS SOUS 15228 HAS SOUPS 13660 WITH SCORE 13678.615
AT ITER 715 NEW BEST:: SOT 50557 SOS 18568 HAS SOPS 14449 HAS SOUS 15181 HAS SOUPS 13613 WITH SCORE 13631.568
AT ITER 730 NEW BEST:: SOT 50551 SOS 18556 HAS SOPS 14437 HAS SOUS 15169 HAS SOUPS 13601 WITH SCORE 13619.556
AT ITER 731 NEW BEST:: SOT 50468 SOS 18480 HAS SOPS 14361 HAS SOUS 15093 HAS SOUPS 13525 WITH SCORE 13543.48
AT ITER 751 NEW BEST:: SOT 50518 SOS 18398 HAS SOPS 14443 HAS SOUS 15047 HAS SOUPS 13518 WITH SCORE 13536.398
AT ITER 758 NEW BEST:: SOT 50517 SOS 18396 HAS SOPS 14441 HAS SOUS 15045 HAS SOUPS 13516 WITH SCORE 13534.396
AT ITER 773 NEW BEST:: SOT 50511 SOS 18472 HAS SOPS 14429 HAS SOUS 15033 HAS SOUPS 13504 WITH SCORE 13522.472
AT ITER 776 NEW BEST:: SOT 50510 SOS 18470 HAS SOPS 14427 HAS SOUS 15031 HAS SOUPS 13502 WITH SCORE 13520.47
AT ITER 778 NEW BEST:: SOT 50503 SOS 18463 HAS SOPS 14420 HAS SOUS 15024 HAS SOUPS 13495 WITH SCORE 13513.463
AT ITER 790 NEW BEST:: SOT 50413 SOS 18388 HAS SOPS 14390 HAS SOUS 14980 HAS SOUPS 13451 WITH SCORE 13469.388
AT ITER 799 NEW BEST:: SOT 50413 SOS 18387 HAS SOPS 14389 HAS SOUS 14980 HAS SOUPS 13451 WITH SCORE 13469.387
AT ITER 819 NEW BEST:: SOT 50411 SOS 18385 HAS SOPS 14387 HAS SOUS 14976 HAS SOUPS 13449 WITH SCORE 13467.385
AT ITER 828 NEW BEST:: SOT 50381 SOS 18288 HAS SOPS 14279 HAS SOUS 14901 HAS SOUPS 13374 WITH SCORE 13392.288
AT ITER 829 NEW BEST:: SOT 50371 SOS 18268 HAS SOPS 14259 HAS SOUS 14881 HAS SOUPS 13354 WITH SCORE 13372.268
AT ITER 835 NEW BEST:: SOT 50358 SOS 18138 HAS SOPS 14233 HAS SOUS 14842 HAS SOUPS 13328 WITH SCORE 13346.138
AT ITER 849 NEW BEST:: SOT 50356 SOS 18153 HAS SOPS 14248 HAS SOUS 14840 HAS SOUPS 13326 WITH SCORE 13344.153
AT ITER 850 NEW BEST:: SOT 50352 SOS 18145 HAS SOPS 14240 HAS SOUS 14832 HAS SOUPS 13318 WITH SCORE 13336.145
AT ITER 855 NEW BEST:: SOT 50283 SOS 18272 HAS SOPS 14140 HAS SOUS 14819 HAS SOUPS 13247 WITH SCORE 13265.272
AT ITER 856 NEW BEST:: SOT 50334 SOS 18267 HAS SOPS 14037 HAS SOUS 14745 HAS SOUPS 13144 WITH SCORE 13162.267
AT ITER 860 NEW BEST:: SOT 50328 SOS 18273 HAS SOPS 14043 HAS SOUS 14739 HAS SOUPS 13138 WITH SCORE 13156.273
AT ITER 879 NEW BEST:: SOT 50262 SOS 18312 HAS SOPS 14004 HAS SOUS 14693 HAS SOUPS 13092 WITH SCORE 13110.312
AT ITER 885 NEW BEST:: SOT 50266 SOS 18300 HAS SOPS 14000 HAS SOUS 14669 HAS SOUPS 13072 WITH SCORE 13090.3
AT ITER 893 NEW BEST:: SOT 50265 SOS 18270 HAS SOPS 13957 HAS SOUS 14640 HAS SOUPS 13043 WITH SCORE 13061.27
AT ITER 894 NEW BEST:: SOT 50257 SOS 18286 HAS SOPS 13949 HAS SOUS 14638 HAS SOUPS 13033 WITH SCORE 13051.286
AT ITER 905 NEW BEST:: SOT 50203 SOS 18232 HAS SOPS 13895 HAS SOUS 14599 HAS SOUPS 12979 WITH SCORE 12997.232
AT ITER 918 NEW BEST:: SOT 50087 SOS 18116 HAS SOPS 13833 HAS SOUS 14520 HAS SOUPS 12900 WITH SCORE 12918.116
AT ITER 921 NEW BEST:: SOT 50080 SOS 18102 HAS SOPS 13819 HAS SOUS 14506 HAS SOUPS 12886 WITH SCORE 12904.102
AT ITER 929 NEW BEST:: SOT 50083 SOS 17907 HAS SOPS 13744 HAS SOUS 14367 HAS SOUPS 12776 WITH SCORE 12793.907
AT ITER 935 NEW BEST:: SOT 50073 SOS 17897 HAS SOPS 13724 HAS SOUS 14337 HAS SOUPS 12746 WITH SCORE 12763.897
AT ITER 948 NEW BEST:: SOT 50055 SOS 17807 HAS SOPS 13634 HAS SOUS 14301 HAS SOUPS 12710 WITH SCORE 12727.807
AT ITER 949 NEW BEST:: SOT 50050 SOS 17781 HAS SOPS 13608 HAS SOUS 14291 HAS SOUPS 12700 WITH SCORE 12717.781
AT ITER 950 NEW BEST:: SOT 49978 SOS 17718 HAS SOPS 13545 HAS SOUS 14219 HAS SOUPS 12628 WITH SCORE 12645.718
AT ITER 953 NEW BEST:: SOT 49967 SOS 17615 HAS SOPS 13442 HAS SOUS 14197 HAS SOUPS 12606 WITH SCORE 12623.615
AT ITER 954 NEW BEST:: SOT 49953 SOS 17601 HAS SOPS 13414 HAS SOUS 14183 HAS SOUPS 12578 WITH SCORE 12595.601
AT ITER 955 NEW BEST:: SOT 49963 SOS 17604 HAS SOPS 13391 HAS SOUS 14160 HAS SOUPS 12555 WITH SCORE 12572.604
AT ITER 958 NEW BEST:: SOT 49962 SOS 17613 HAS SOPS 13389 HAS SOUS 14158 HAS SOUPS 12553 WITH SCORE 12570.613
AT ITER 961 NEW BEST:: SOT 49960 SOS 17613 HAS SOPS 13387 HAS SOUS 14157 HAS SOUPS 12551 WITH SCORE 12568.613
AT ITER 971 NEW BEST:: SOT 49933 SOS 17559 HAS SOPS 13333 HAS SOUS 14103 HAS SOUPS 12497 WITH SCORE 12514.559
AT ITER 989 NEW BEST:: SOT 49943 SOS 17521 HAS SOPS 13338 HAS SOUS 14083 HAS SOUPS 12493 WITH SCORE 12510.521
AT ITER 1024 NEW BEST:: SOT 49935 SOS 17378 HAS SOPS 13315 HAS SOUS 14037 HAS SOUPS 12462 WITH SCORE 12479.378
AT ITER 1025 NEW BEST:: SOT 49903 SOS 17362 HAS SOPS 13299 HAS SOUS 14021 HAS SOUPS 12446 WITH SCORE 12463.362
AT ITER 1048 NEW BEST:: SOT 49880 SOS 17316 HAS SOPS 13253 HAS SOUS 13975 HAS SOUPS 12400 WITH SCORE 12417.316
AT ITER 1062 NEW BEST:: SOT 49852 SOS 17300 HAS SOPS 13242 HAS SOUS 13952 HAS SOUPS 12377 WITH SCORE 12394.3
AT ITER 1082 NEW BEST:: SOT 49847 SOS 17290 HAS SOPS 13232 HAS SOUS 13942 HAS SOUPS 12367 WITH SCORE 12384.29
AT ITER 1090 NEW BEST:: SOT 49891 SOS 17329 HAS SOPS 13185 HAS SOUS 13895 HAS SOUPS 12320 WITH SCORE 12337.329
AT ITER 1097 NEW BEST:: SOT 49898 SOS 17321 HAS SOPS 13186 HAS SOUS 13859 HAS SOUPS 12292 WITH SCORE 12309.321
AT ITER 1098 NEW BEST:: SOT 49895 SOS 17323 HAS SOPS 13180 HAS SOUS 13855 HAS SOUPS 12286 WITH SCORE 12303.323
AT ITER 1115 NEW BEST:: SOT 49887 SOS 17307 HAS SOPS 13164 HAS SOUS 13839 HAS SOUPS 12270 WITH SCORE 12287.307
AT ITER 1116 NEW BEST:: SOT 49886 SOS 17305 HAS SOPS 13162 HAS SOUS 13837 HAS SOUPS 12268 WITH SCORE 12285.305
AT ITER 1133 NEW BEST:: SOT 49869 SOS 17254 HAS SOPS 13128 HAS SOUS 13803 HAS SOUPS 12234 WITH SCORE 12251.254
AT ITER 1134 NEW BEST:: SOT 49829 SOS 17244 HAS SOPS 13073 HAS SOUS 13763 HAS SOUPS 12179 WITH SCORE 12196.244
AT ITER 1135 NEW BEST:: SOT 49814 SOS 17304 HAS SOPS 13043 HAS SOUS 13748 HAS SOUPS 12149 WITH SCORE 12166.304
AT ITER 1136 NEW BEST:: SOT 49798 SOS 17229 HAS SOPS 13011 HAS SOUS 13716 HAS SOUPS 12117 WITH SCORE 12134.229
AT ITER 1140 NEW BEST:: SOT 49793 SOS 17219 HAS SOPS 13001 HAS SOUS 13706 HAS SOUPS 12107 WITH SCORE 12124.219
AT ITER 1143 NEW BEST:: SOT 49809 SOS 17267 HAS SOPS 12991 HAS SOUS 13704 HAS SOUPS 12097 WITH SCORE 12114.267
AT ITER 1152 NEW BEST:: SOT 49801 SOS 17266 HAS SOPS 12992 HAS SOUS 13701 HAS SOUPS 12094 WITH SCORE 12111.266
AT ITER 1161 NEW BEST:: SOT 49801 SOS 17266 HAS SOPS 12992 HAS SOUS 13689 HAS SOUPS 12082 WITH SCORE 12099.266
AT ITER 1162 NEW BEST:: SOT 49801 SOS 17243 HAS SOPS 12992 HAS SOUS 13689 HAS SOUPS 12082 WITH SCORE 12099.243
AT ITER 1167 NEW BEST:: SOT 49745 SOS 17139 HAS SOPS 12890 HAS SOUS 13587 HAS SOUPS 11980 WITH SCORE 11997.139
AT ITER 1206 NEW BEST:: SOT 49710 SOS 17069 HAS SOPS 12820 HAS SOUS 13517 HAS SOUPS 11910 WITH SCORE 11927.069
AT ITER 1209 NEW BEST:: SOT 49676 SOS 17001 HAS SOPS 12752 HAS SOUS 13449 HAS SOUPS 11842 WITH SCORE 11859.001
AT ITER 1212 NEW BEST:: SOT 49675 SOS 17006 HAS SOPS 12750 HAS SOUS 13447 HAS SOUPS 11840 WITH SCORE 11857.006
AT ITER 1228 NEW BEST:: SOT 49676 SOS 17053 HAS SOPS 12753 HAS SOUS 13428 HAS SOUPS 11821 WITH SCORE 11838.053
AT ITER 1235 NEW BEST:: SOT 49573 SOS 16947 HAS SOPS 12692 HAS SOUS 13367 HAS SOUPS 11760 WITH SCORE 11776.947
AT ITER 1249 NEW BEST:: SOT 49557 SOS 16839 HAS SOPS 12627 HAS SOUS 13329 HAS SOUPS 11722 WITH SCORE 11738.839
AT ITER 1261 NEW BEST:: SOT 49516 SOS 16806 HAS SOPS 12597 HAS SOUS 13299 HAS SOUPS 11692 WITH SCORE 11708.806
AT ITER 1286 NEW BEST:: SOT 49506 SOS 16781 HAS SOPS 12577 HAS SOUS 13279 HAS SOUPS 11672 WITH SCORE 11688.781
AT ITER 1303 NEW BEST:: SOT 49490 SOS 16754 HAS SOPS 12554 HAS SOUS 13256 HAS SOUPS 11649 WITH SCORE 11665.754
AT ITER 1307 NEW BEST:: SOT 49480 SOS 16634 HAS SOPS 12496 HAS SOUS 13169 HAS SOUPS 11587 WITH SCORE 11603.634
AT ITER 1315 NEW BEST:: SOT 49482 SOS 16672 HAS SOPS 12464 HAS SOUS 13137 HAS SOUPS 11555 WITH SCORE 11571.672
AT ITER 1381 NEW BEST:: SOT 49482 SOS 16624 HAS SOPS 12464 HAS SOUS 13137 HAS SOUPS 11555 WITH SCORE 11571.624
AT ITER 1404 NEW BEST:: SOT 49482 SOS 16630 HAS SOPS 12464 HAS SOUS 13132 HAS SOUPS 11550 WITH SCORE 11566.63
AT ITER 1417 NEW BEST:: SOT 49464 SOS 16612 HAS SOPS 12446 HAS SOUS 13114 HAS SOUPS 11532 WITH SCORE 11548.612
AT ITER 1418 NEW BEST:: SOT 49463 SOS 16610 HAS SOPS 12444 HAS SOUS 13112 HAS SOUPS 11530 WITH SCORE 11546.61
AT ITER 1438 NEW BEST:: SOT 49451 SOS 16524 HAS SOPS 12358 HAS SOUS 13026 HAS SOUPS 11444 WITH SCORE 11460.524
AT ITER 1448 NEW BEST:: SOT 49447 SOS 16518 HAS SOPS 12323 HAS SOUS 12991 HAS SOUPS 11409 WITH SCORE 11425.518
AT ITER 1457 NEW BEST:: SOT 49433 SOS 16343 HAS SOPS 12168 HAS SOUS 12963 HAS SOUPS 11381 WITH SCORE 11397.343
AT ITER 1464 NEW BEST:: SOT 49293 SOS 16143 HAS SOPS 11980 HAS SOUS 12775 HAS SOUPS 11193 WITH SCORE 11209.143
AT ITER 1493 NEW BEST:: SOT 49266 SOS 16116 HAS SOPS 11953 HAS SOUS 12748 HAS SOUPS 11166 WITH SCORE 11182.116
AT ITER 1496 NEW BEST:: SOT 49265 SOS 16114 HAS SOPS 11951 HAS SOUS 12746 HAS SOUPS 11164 WITH SCORE 11180.114
AT ITER 1513 NEW BEST:: SOT 49261 SOS 16106 HAS SOPS 11943 HAS SOUS 12738 HAS SOUPS 11156 WITH SCORE 11172.106
AT ITER 1532 NEW BEST:: SOT 49255 SOS 16096 HAS SOPS 11935 HAS SOUS 12730 HAS SOUPS 11148 WITH SCORE 11164.096
AT ITER 1551 NEW BEST:: SOT 49234 SOS 16054 HAS SOPS 11872 HAS SOUS 12667 HAS SOUPS 11085 WITH SCORE 11101.054
AT ITER 1569 NEW BEST:: SOT 49232 SOS 16050 HAS SOPS 11868 HAS SOUS 12663 HAS SOUPS 11081 WITH SCORE 11097.05
AT ITER 1591 NEW BEST:: SOT 49227 SOS 16040 HAS SOPS 11858 HAS SOUS 12653 HAS SOUPS 11071 WITH SCORE 11087.04
AT ITER 1605 NEW BEST:: SOT 49222 SOS 16035 HAS SOPS 11848 HAS SOUS 12643 HAS SOUPS 11061 WITH SCORE 11077.035
AT ITER 1619 NEW BEST:: SOT 49222 SOS 15999 HAS SOPS 11860 HAS SOUS 12631 HAS SOUPS 11055 WITH SCORE 11070.999
AT ITER 1621 NEW BEST:: SOT 49222 SOS 15990 HAS SOPS 11859 HAS SOUS 12629 HAS SOUPS 11054 WITH SCORE 11069.99
AT ITER 1627 NEW BEST:: SOT 49214 SOS 15944 HAS SOPS 11813 HAS SOUS 12583 HAS SOUPS 11008 WITH SCORE 11023.944
AT ITER 1648 NEW BEST:: SOT 49144 SOS 15793 HAS SOPS 11673 HAS SOUS 12443 HAS SOUPS 10868 WITH SCORE 10883.793
AT ITER 1649 NEW BEST:: SOT 49123 SOS 15676 HAS SOPS 11631 HAS SOUS 12401 HAS SOUPS 10826 WITH SCORE 10841.676
AT ITER 1653 NEW BEST:: SOT 49092 SOS 15634 HAS SOPS 11608 HAS SOUS 12348 HAS SOUPS 10773 WITH SCORE 10788.634
AT ITER 1655 NEW BEST:: SOT 49093 SOS 15613 HAS SOPS 11587 HAS SOUS 12326 HAS SOUPS 10751 WITH SCORE 10766.613
AT ITER 1661 NEW BEST:: SOT 49072 SOS 15596 HAS SOPS 11570 HAS SOUS 12286 HAS SOUPS 10711 WITH SCORE 10726.596
AT ITER 1669 NEW BEST:: SOT 49072 SOS 15552 HAS SOPS 11570 HAS SOUS 12286 HAS SOUPS 10711 WITH SCORE 10726.552
AT ITER 1680 NEW BEST:: SOT 49019 SOS 15512 HAS SOPS 11530 HAS SOUS 12246 HAS SOUPS 10671 WITH SCORE 10686.512
AT ITER 1685 NEW BEST:: SOT 49019 SOS 15512 HAS SOPS 11529 HAS SOUS 12245 HAS SOUPS 10670 WITH SCORE 10685.512
AT ITER 1686 NEW BEST:: SOT 49013 SOS 15506 HAS SOPS 11521 HAS SOUS 12237 HAS SOUPS 10662 WITH SCORE 10677.506
AT ITER 1692 NEW BEST:: SOT 48983 SOS 15551 HAS SOPS 11476 HAS SOUS 12203 HAS SOUPS 10613 WITH SCORE 10628.551
AT ITER 1705 NEW BEST:: SOT 48981 SOS 15547 HAS SOPS 11472 HAS SOUS 12199 HAS SOUPS 10609 WITH SCORE 10624.547
AT ITER 1717 NEW BEST:: SOT 48964 SOS 15504 HAS SOPS 11429 HAS SOUS 12156 HAS SOUPS 10566 WITH SCORE 10581.504
AT ITER 1746 NEW BEST:: SOT 48957 SOS 15502 HAS SOPS 11427 HAS SOUS 12154 HAS SOUPS 10564 WITH SCORE 10579.502
AT ITER 1755 NEW BEST:: SOT 48879 SOS 15397 HAS SOPS 11271 HAS SOUS 11998 HAS SOUPS 10408 WITH SCORE 10423.397
AT ITER 1764 NEW BEST:: SOT 48839 SOS 15381 HAS SOPS 11207 HAS SOUS 11949 HAS SOUPS 10347 WITH SCORE 10362.381
AT ITER 1790 NEW BEST:: SOT 48810 SOS 15323 HAS SOPS 11149 HAS SOUS 11891 HAS SOUPS 10289 WITH SCORE 10304.323
AT ITER 1793 NEW BEST:: SOT 48703 SOS 15289 HAS SOPS 11045 HAS SOUS 11895 HAS SOUPS 10258 WITH SCORE 10273.289
AT ITER 1805 NEW BEST:: SOT 48702 SOS 15338 HAS SOPS 11034 HAS SOUS 11904 HAS SOUPS 10257 WITH SCORE 10272.338
AT ITER 1817 NEW BEST:: SOT 48664 SOS 15617 HAS SOPS 10840 HAS SOUS 11892 HAS SOUPS 10167 WITH SCORE 10182.617
AT ITER 1849 NEW BEST:: SOT 48705 SOS 15591 HAS SOPS 10886 HAS SOUS 11864 HAS SOUPS 10160 WITH SCORE 10175.591
AT ITER 1873 NEW BEST:: SOT 48704 SOS 15594 HAS SOPS 10884 HAS SOUS 11863 HAS SOUPS 10158 WITH SCORE 10173.594
AT ITER 1904 NEW BEST:: SOT 48751 SOS 15840 HAS SOPS 11009 HAS SOUS 11841 HAS SOUPS 10136 WITH SCORE 10151.84
AT ITER 1973 NEW BEST:: SOT 48747 SOS 15872 HAS SOPS 11044 HAS SOUS 11840 HAS SOUPS 10135 WITH SCORE 10150.872
AT ITER 1997 NEW BEST:: SOT 48739 SOS 15856 HAS SOPS 11028 HAS SOUS 11824 HAS SOUPS 10119 WITH SCORE 10134.856
AT ITER 2022 NEW BEST:: SOT 48727 SOS 15832 HAS SOPS 11004 HAS SOUS 11812 HAS SOUPS 10107 WITH SCORE 10122.832
AT ITER 2053 NEW BEST:: SOT 48728 SOS 15833 HAS SOPS 10992 HAS SOUS 11800 HAS SOUPS 10095 WITH SCORE 10110.833
AT ITER 2060 NEW BEST:: SOT 48728 SOS 15825 HAS SOPS 10984 HAS SOUS 11792 HAS SOUPS 10087 WITH SCORE 10102.825
AT ITER 2093 NEW BEST:: SOT 48686 SOS 15801 HAS SOPS 10980 HAS SOUS 11788 HAS SOUPS 10083 WITH SCORE 10098.801
AT ITER 2095 NEW BEST:: SOT 48686 SOS 15743 HAS SOPS 10922 HAS SOUS 11772 HAS SOUPS 10067 WITH SCORE 10082.743
AT ITER 2114 NEW BEST:: SOT 48681 SOS 15733 HAS SOPS 10912 HAS SOUS 11762 HAS SOUPS 10057 WITH SCORE 10072.733
AT ITER 2228 NEW BEST:: SOT 48674 SOS 15726 HAS SOPS 10898 HAS SOUS 11776 HAS SOUPS 10054 WITH SCORE 10069.726
AT ITER 2233 NEW BEST:: SOT 48661 SOS 15732 HAS SOPS 10886 HAS SOUS 11781 HAS SOUPS 10053 WITH SCORE 10068.732
AT ITER 2251 NEW BEST:: SOT 48659 SOS 15728 HAS SOPS 10882 HAS SOUS 11777 HAS SOUPS 10049 WITH SCORE 10064.728
AT ITER 2367 NEW BEST:: SOT 48601 SOS 15747 HAS SOPS 10957 HAS SOUS 11750 HAS SOUPS 10022 WITH SCORE 10037.747
AT ITER 2397 NEW BEST:: SOT 48593 SOS 15731 HAS SOPS 10941 HAS SOUS 11738 HAS SOUPS 10010 WITH SCORE 10025.731
AT ITER 2409 NEW BEST:: SOT 48607 SOS 15631 HAS SOPS 10938 HAS SOUS 11707 HAS SOUPS 10003 WITH SCORE 10018.631
AT ITER 2431 NEW BEST:: SOT 48618 SOS 15609 HAS SOPS 10927 HAS SOUS 11696 HAS SOUPS 9992 WITH SCORE 10007.609
AT ITER 2437 NEW BEST:: SOT 48602 SOS 15577 HAS SOPS 10895 HAS SOUS 11664 HAS SOUPS 9960 WITH SCORE 9975.577
AT ITER 2456 NEW BEST:: SOT 48602 SOS 15573 HAS SOPS 10891 HAS SOUS 11660 HAS SOUPS 9956 WITH SCORE 9971.573
AT ITER 2464 NEW BEST:: SOT 48600 SOS 15570 HAS SOPS 10888 HAS SOUS 11657 HAS SOUPS 9953 WITH SCORE 9968.57
AT ITER 2472 NEW BEST:: SOT 48603 SOS 15609 HAS SOPS 10890 HAS SOUS 11653 HAS SOUPS 9949 WITH SCORE 9964.609
AT ITER 2487 NEW BEST:: SOT 48588 SOS 15615 HAS SOPS 10896 HAS SOUS 11641 HAS SOUPS 9937 WITH SCORE 9952.615
AT ITER 2492 NEW BEST:: SOT 48586 SOS 15611 HAS SOPS 10892 HAS SOUS 11637 HAS SOUPS 9933 WITH SCORE 9948.611
AT ITER 2503 NEW BEST:: SOT 48586 SOS 15581 HAS SOPS 10862 HAS SOUS 11627 HAS SOUPS 9923 WITH SCORE 9938.581
AT ITER 2534 NEW BEST:: SOT 48588 SOS 15653 HAS SOPS 10880 HAS SOUS 11580 HAS SOUPS 9876 WITH SCORE 9891.653
AT ITER 2552 NEW BEST:: SOT 48580 SOS 15632 HAS SOPS 10877 HAS SOUS 11577 HAS SOUPS 9873 WITH SCORE 9888.632
AT ITER 2630 NEW BEST:: SOT 48559 SOS 15606 HAS SOPS 10851 HAS SOUS 11566 HAS SOUPS 9862 WITH SCORE 9877.606
AT ITER 2651 NEW BEST:: SOT 48556 SOS 15587 HAS SOPS 10832 HAS SOUS 11560 HAS SOUPS 9856 WITH SCORE 9871.587
AT ITER 2669 NEW BEST:: SOT 48557 SOS 15584 HAS SOPS 10829 HAS SOUS 11557 HAS SOUPS 9853 WITH SCORE 9868.584
AT ITER 2670 NEW BEST:: SOT 48552 SOS 15637 HAS SOPS 10807 HAS SOUS 11554 HAS SOUPS 9838 WITH SCORE 9853.637
AT ITER 2673 NEW BEST:: SOT 48552 SOS 15627 HAS SOPS 10797 HAS SOUS 11554 HAS SOUPS 9838 WITH SCORE 9853.627
AT ITER 2685 NEW BEST:: SOT 48497 SOS 15679 HAS SOPS 10742 HAS SOUS 11574 HAS SOUPS 9832 WITH SCORE 9847.679
AT ITER 2694 NEW BEST:: SOT 48488 SOS 15670 HAS SOPS 10733 HAS SOUS 11565 HAS SOUPS 9823 WITH SCORE 9838.67
AT ITER 2728 NEW BEST:: SOT 48548 SOS 15524 HAS SOPS 10783 HAS SOUS 11466 HAS SOUPS 9760 WITH SCORE 9775.524
AT ITER 2787 NEW BEST:: SOT 48536 SOS 15501 HAS SOPS 10759 HAS SOUS 11442 HAS SOUPS 9736 WITH SCORE 9751.501
AT ITER 2796 NEW BEST:: SOT 48536 SOS 15477 HAS SOPS 10711 HAS SOUS 11394 HAS SOUPS 9688 WITH SCORE 9703.477
AT ITER 2800 NEW BEST:: SOT 48531 SOS 15467 HAS SOPS 10701 HAS SOUS 11384 HAS SOUPS 9678 WITH SCORE 9693.467
AT ITER 2807 NEW BEST:: SOT 48547 SOS 15317 HAS SOPS 10531 HAS SOUS 11364 HAS SOUPS 9658 WITH SCORE 9673.317
AT ITER 2826 NEW BEST:: SOT 48529 SOS 15286 HAS SOPS 10508 HAS SOUS 11341 HAS SOUPS 9635 WITH SCORE 9650.286
AT ITER 2854 NEW BEST:: SOT 48527 SOS 15282 HAS SOPS 10504 HAS SOUS 11337 HAS SOUPS 9631 WITH SCORE 9646.282
AT ITER 2919 NEW BEST:: SOT 48395 SOS 15381 HAS SOPS 10613 HAS SOUS 11293 HAS SOUPS 9587 WITH SCORE 9602.381
AT ITER 2933 NEW BEST:: SOT 48395 SOS 15366 HAS SOPS 10598 HAS SOUS 11278 HAS SOUPS 9572 WITH SCORE 9587.366
AT ITER 2934 NEW BEST:: SOT 48377 SOS 15330 HAS SOPS 10580 HAS SOUS 11260 HAS SOUPS 9554 WITH SCORE 9569.33
AT ITER 2938 NEW BEST:: SOT 48349 SOS 15338 HAS SOPS 10588 HAS SOUS 11232 HAS SOUPS 9526 WITH SCORE 9541.338
AT ITER 2945 NEW BEST:: SOT 48358 SOS 15292 HAS SOPS 10574 HAS SOUS 11202 HAS SOUPS 9504 WITH SCORE 9519.292
AT ITER 2954 NEW BEST:: SOT 48291 SOS 15397 HAS SOPS 10556 HAS SOUS 11231 HAS SOUPS 9485 WITH SCORE 9500.397
AT ITER 2982 NEW BEST:: SOT 48291 SOS 15375 HAS SOPS 10547 HAS SOUS 11228 HAS SOUPS 9482 WITH SCORE 9497.375
AT ITER 2994 NEW BEST:: SOT 48291 SOS 15355 HAS SOPS 10547 HAS SOUS 11208 HAS SOUPS 9482 WITH SCORE 9497.355
AT ITER 3014 NEW BEST:: SOT 48290 SOS 15354 HAS SOPS 10545 HAS SOUS 11206 HAS SOUPS 9480 WITH SCORE 9495.354
AT ITER 3028 NEW BEST:: SOT 48259 SOS 15315 HAS SOPS 10519 HAS SOUS 11171 HAS SOUPS 9454 WITH SCORE 9469.315
AT ITER 3030 NEW BEST:: SOT 48262 SOS 15318 HAS SOPS 10514 HAS SOUS 11166 HAS SOUPS 9449 WITH SCORE 9464.318
AT ITER 3031 NEW BEST:: SOT 48261 SOS 15316 HAS SOPS 10512 HAS SOUS 11164 HAS SOUPS 9447 WITH SCORE 9462.316
AT ITER 3056 NEW BEST:: SOT 48260 SOS 15314 HAS SOPS 10510 HAS SOUS 11162 HAS SOUPS 9445 WITH SCORE 9460.314
AT ITER 3063 NEW BEST:: SOT 48239 SOS 15272 HAS SOPS 10468 HAS SOUS 11120 HAS SOUPS 9403 WITH SCORE 9418.272
AT ITER 3082 NEW BEST:: SOT 48239 SOS 15271 HAS SOPS 10468 HAS SOUS 11120 HAS SOUPS 9403 WITH SCORE 9418.271
AT ITER 3097 NEW BEST:: SOT 48224 SOS 15225 HAS SOPS 10422 HAS SOUS 11080 HAS SOUPS 9363 WITH SCORE 9378.225
AT ITER 3107 NEW BEST:: SOT 48225 SOS 15224 HAS SOPS 10421 HAS SOUS 11079 HAS SOUPS 9362 WITH SCORE 9377.224
AT ITER 3112 NEW BEST:: SOT 48210 SOS 15209 HAS SOPS 10412 HAS SOUS 11070 HAS SOUPS 9353 WITH SCORE 9368.209
AT ITER 3117 NEW BEST:: SOT 48210 SOS 15189 HAS SOPS 10392 HAS SOUS 11050 HAS SOUPS 9333 WITH SCORE 9348.189
AT ITER 3127 NEW BEST:: SOT 48233 SOS 15212 HAS SOPS 10384 HAS SOUS 11033 HAS SOUPS 9325 WITH SCORE 9340.212
AT ITER 3137 NEW BEST:: SOT 48263 SOS 15121 HAS SOPS 10416 HAS SOUS 10989 HAS SOUPS 9311 WITH SCORE 9326.121
AT ITER 3138 NEW BEST:: SOT 48260 SOS 15115 HAS SOPS 10413 HAS SOUS 10986 HAS SOUPS 9308 WITH SCORE 9323.115
AT ITER 3181 NEW BEST:: SOT 48297 SOS 15141 HAS SOPS 10330 HAS SOUS 10910 HAS SOUPS 9232 WITH SCORE 9247.141
AT ITER 3261 NEW BEST:: SOT 48297 SOS 15106 HAS SOPS 10295 HAS SOUS 10875 HAS SOUPS 9197 WITH SCORE 9212.106
AT ITER 3282 NEW BEST:: SOT 48234 SOS 15032 HAS SOPS 10221 HAS SOUS 10801 HAS SOUPS 9123 WITH SCORE 9138.032
AT ITER 3352 NEW BEST:: SOT 48225 SOS 15022 HAS SOPS 10211 HAS SOUS 10791 HAS SOUPS 9113 WITH SCORE 9128.022
AT ITER 3394 NEW BEST:: SOT 48212 SOS 15093 HAS SOPS 10184 HAS SOUS 10782 HAS SOUPS 9090 WITH SCORE 9105.093
AT ITER 3414 NEW BEST:: SOT 48209 SOS 15099 HAS SOPS 10169 HAS SOUS 10776 HAS SOUPS 9081 WITH SCORE 9096.099
AT ITER 3429 NEW BEST:: SOT 48239 SOS 15054 HAS SOPS 10199 HAS SOUS 10734 HAS SOUPS 9054 WITH SCORE 9069.054
AT ITER 3493 NEW BEST:: SOT 48208 SOS 15025 HAS SOPS 10170 HAS SOUS 10705 HAS SOUPS 9025 WITH SCORE 9040.025
AT ITER 3494 NEW BEST:: SOT 48204 SOS 15017 HAS SOPS 10162 HAS SOUS 10697 HAS SOUPS 9017 WITH SCORE 9032.017
AT ITER 3525 NEW BEST:: SOT 48198 SOS 15011 HAS SOPS 10162 HAS SOUS 10697 HAS SOUPS 9017 WITH SCORE 9032.011
AT ITER 3526 NEW BEST:: SOT 48199 SOS 15005 HAS SOPS 10156 HAS SOUS 10691 HAS SOUPS 9011 WITH SCORE 9026.005
AT ITER 3534 NEW BEST:: SOT 48198 SOS 15003 HAS SOPS 10155 HAS SOUS 10690 HAS SOUPS 9010 WITH SCORE 9025.003
AT ITER 3537 NEW BEST:: SOT 48190 SOS 14987 HAS SOPS 10139 HAS SOUS 10674 HAS SOUPS 8994 WITH SCORE 9008.987
AT ITER 3612 NEW BEST:: SOT 48188 SOS 15034 HAS SOPS 10135 HAS SOUS 10670 HAS SOUPS 8990 WITH SCORE 9005.034
AT ITER 3625 NEW BEST:: SOT 48183 SOS 15021 HAS SOPS 10122 HAS SOUS 10660 HAS SOUPS 8980 WITH SCORE 8995.021
AT ITER 3628 NEW BEST:: SOT 48177 SOS 15009 HAS SOPS 10110 HAS SOUS 10648 HAS SOUPS 8968 WITH SCORE 8983.009
AT ITER 3644 NEW BEST:: SOT 48161 SOS 15005 HAS SOPS 10086 HAS SOUS 10628 HAS SOUPS 8944 WITH SCORE 8959.005
AT ITER 3662 NEW BEST:: SOT 48157 SOS 14999 HAS SOPS 10080 HAS SOUS 10620 HAS SOUPS 8936 WITH SCORE 8950.999
AT ITER 3682 NEW BEST:: SOT 48153 SOS 14991 HAS SOPS 10072 HAS SOUS 10612 HAS SOUPS 8928 WITH SCORE 8942.991
AT ITER 3692 NEW BEST:: SOT 48147 SOS 14949 HAS SOPS 10030 HAS SOUS 10585 HAS SOUPS 8901 WITH SCORE 8915.949
AT ITER 3701 NEW BEST:: SOT 48134 SOS 14923 HAS SOPS 10004 HAS SOUS 10559 HAS SOUPS 8875 WITH SCORE 8889.923
AT ITER 3731 NEW BEST:: SOT 48133 SOS 14921 HAS SOPS 10002 HAS SOUS 10558 HAS SOUPS 8874 WITH SCORE 8888.921
AT ITER 3742 NEW BEST:: SOT 48111 SOS 14877 HAS SOPS 9958 HAS SOUS 10514 HAS SOUPS 8830 WITH SCORE 8844.877
AT ITER 3767 NEW BEST:: SOT 48056 SOS 15440 HAS SOPS 9917 HAS SOUS 10593 HAS SOUPS 8817 WITH SCORE 8832.44
AT ITER 3779 NEW BEST:: SOT 48040 SOS 15747 HAS SOPS 10224 HAS SOUS 10561 HAS SOUPS 8785 WITH SCORE 8800.747
AT ITER 3821 NEW BEST:: SOT 48040 SOS 15740 HAS SOPS 10224 HAS SOUS 10561 HAS SOUPS 8785 WITH SCORE 8800.74
AT ITER 3824 NEW BEST:: SOT 48040 SOS 15723 HAS SOPS 10224 HAS SOUS 10561 HAS SOUPS 8785 WITH SCORE 8800.723
AT ITER 3837 NEW BEST:: SOT 48023 SOS 15734 HAS SOPS 10206 HAS SOUS 10542 HAS SOUPS 8766 WITH SCORE 8781.734
AT ITER 3907 NEW BEST:: SOT 48023 SOS 15701 HAS SOPS 10173 HAS SOUS 10509 HAS SOUPS 8733 WITH SCORE 8748.701
AT ITER 3921 NEW BEST:: SOT 48023 SOS 15691 HAS SOPS 10173 HAS SOUS 10509 HAS SOUPS 8733 WITH SCORE 8748.691
AT ITER 3946 NEW BEST:: SOT 48022 SOS 15689 HAS SOPS 10171 HAS SOUS 10507 HAS SOUPS 8731 WITH SCORE 8746.689
AT ITER 3950 NEW BEST:: SOT 48104 SOS 15686 HAS SOPS 10168 HAS SOUS 10504 HAS SOUPS 8728 WITH SCORE 8743.686
AT ITER 3962 NEW BEST:: SOT 48101 SOS 15683 HAS SOPS 10165 HAS SOUS 10501 HAS SOUPS 8725 WITH SCORE 8740.683
AT ITER 4059 NEW BEST:: SOT 48101 SOS 15547 HAS SOPS 10063 HAS SOUS 10501 HAS SOUPS 8725 WITH SCORE 8740.547
AT ITER 4077 NEW BEST:: SOT 48100 SOS 15545 HAS SOPS 10061 HAS SOUS 10499 HAS SOUPS 8723 WITH SCORE 8738.545
AT ITER 4105 NEW BEST:: SOT 48134 SOS 15544 HAS SOPS 10060 HAS SOUS 10498 HAS SOUPS 8722 WITH SCORE 8737.544
AT ITER 4120 NEW BEST:: SOT 48130 SOS 15536 HAS SOPS 10052 HAS SOUS 10490 HAS SOUPS 8714 WITH SCORE 8729.536
AT ITER 4129 NEW BEST:: SOT 48123 SOS 15580 HAS SOPS 10040 HAS SOUS 10485 HAS SOUPS 8702 WITH SCORE 8717.58
AT ITER 4175 NEW BEST:: SOT 48085 SOS 15542 HAS SOPS 9987 HAS SOUS 10432 HAS SOUPS 8649 WITH SCORE 8664.542
AT ITER 4184 NEW BEST:: SOT 48089 SOS 15538 HAS SOPS 9983 HAS SOUS 10432 HAS SOUPS 8649 WITH SCORE 8664.538
AT ITER 4223 NEW BEST:: SOT 48086 SOS 15502 HAS SOPS 9947 HAS SOUS 10426 HAS SOUPS 8643 WITH SCORE 8658.502
AT ITER 4233 NEW BEST:: SOT 48104 SOS 15514 HAS SOPS 9964 HAS SOUS 10413 HAS SOUPS 8635 WITH SCORE 8650.514
AT ITER 4247 NEW BEST:: SOT 48120 SOS 15506 HAS SOPS 9970 HAS SOUS 10413 HAS SOUPS 8635 WITH SCORE 8650.506
AT ITER 4259 NEW BEST:: SOT 48098 SOS 15440 HAS SOPS 9926 HAS SOUS 10369 HAS SOUPS 8591 WITH SCORE 8606.44
AT ITER 4283 NEW BEST:: SOT 48088 SOS 15432 HAS SOPS 9918 HAS SOUS 10361 HAS SOUPS 8583 WITH SCORE 8598.432
AT ITER 4309 NEW BEST:: SOT 48080 SOS 15441 HAS SOPS 9902 HAS SOUS 10368 HAS SOUPS 8567 WITH SCORE 8582.441
AT ITER 4310 NEW BEST:: SOT 48070 SOS 15412 HAS SOPS 9898 HAS SOUS 10364 HAS SOUPS 8563 WITH SCORE 8578.412
AT ITER 4343 NEW BEST:: SOT 48070 SOS 15360 HAS SOPS 9898 HAS SOUS 10364 HAS SOUPS 8563 WITH SCORE 8578.36
AT ITER 4345 NEW BEST:: SOT 48067 SOS 15354 HAS SOPS 9889 HAS SOUS 10355 HAS SOUPS 8554 WITH SCORE 8569.354
AT ITER 4388 NEW BEST:: SOT 48063 SOS 15266 HAS SOPS 9853 HAS SOUS 10319 HAS SOUPS 8534 WITH SCORE 8549.266
AT ITER 4400 NEW BEST:: SOT 48067 SOS 15419 HAS SOPS 9845 HAS SOUS 10313 HAS SOUPS 8528 WITH SCORE 8543.419
AT ITER 4402 NEW BEST:: SOT 48019 SOS 15383 HAS SOPS 9842 HAS SOUS 10310 HAS SOUPS 8525 WITH SCORE 8540.383
AT ITER 4404 NEW BEST:: SOT 48018 SOS 15382 HAS SOPS 9840 HAS SOUS 10304 HAS SOUPS 8523 WITH SCORE 8538.382
AT ITER 4426 NEW BEST:: SOT 48061 SOS 15373 HAS SOPS 9831 HAS SOUS 10295 HAS SOUPS 8514 WITH SCORE 8529.373
AT ITER 4455 NEW BEST:: SOT 48058 SOS 15367 HAS SOPS 9825 HAS SOUS 10289 HAS SOUPS 8508 WITH SCORE 8523.367
AT ITER 4456 NEW BEST:: SOT 48057 SOS 15371 HAS SOPS 9824 HAS SOUS 10285 HAS SOUPS 8507 WITH SCORE 8522.371
AT ITER 4466 NEW BEST:: SOT 48046 SOS 15365 HAS SOPS 9814 HAS SOUS 10277 HAS SOUPS 8500 WITH SCORE 8515.365
AT ITER 4472 NEW BEST:: SOT 48019 SOS 15311 HAS SOPS 9760 HAS SOUS 10223 HAS SOUPS 8446 WITH SCORE 8461.311
AT ITER 4532 NEW BEST:: SOT 48028 SOS 15320 HAS SOPS 9747 HAS SOUS 10210 HAS SOUPS 8433 WITH SCORE 8448.32
AT ITER 4538 NEW BEST:: SOT 48028 SOS 15317 HAS SOPS 9744 HAS SOUS 10210 HAS SOUPS 8433 WITH SCORE 8448.317
AT ITER 4542 NEW BEST:: SOT 48022 SOS 15310 HAS SOPS 9737 HAS SOUS 10203 HAS SOUPS 8426 WITH SCORE 8441.31
AT ITER 4570 NEW BEST:: SOT 48030 SOS 15318 HAS SOPS 9729 HAS SOUS 10195 HAS SOUPS 8418 WITH SCORE 8433.318
AT ITER 4574 NEW BEST:: SOT 48000 SOS 15626 HAS SOPS 10047 HAS SOUS 10153 HAS SOUPS 8376 WITH SCORE 8391.626
AT ITER 4586 NEW BEST:: SOT 47996 SOS 15622 HAS SOPS 10043 HAS SOUS 10149 HAS SOUPS 8372 WITH SCORE 8387.622
AT ITER 4621 NEW BEST:: SOT 47979 SOS 15606 HAS SOPS 10036 HAS SOUS 10142 HAS SOUPS 8365 WITH SCORE 8380.606
AT ITER 4623 NEW BEST:: SOT 47965 SOS 15649 HAS SOPS 10022 HAS SOUS 10137 HAS SOUPS 8351 WITH SCORE 8366.649
AT ITER 4625 NEW BEST:: SOT 47963 SOS 15612 HAS SOPS 9985 HAS SOUS 10133 HAS SOUPS 8347 WITH SCORE 8362.612
AT ITER 4629 NEW BEST:: SOT 47956 SOS 15591 HAS SOPS 9964 HAS SOUS 10119 HAS SOUPS 8333 WITH SCORE 8348.591
AT ITER 4634 NEW BEST:: SOT 47945 SOS 15569 HAS SOPS 9942 HAS SOUS 10097 HAS SOUPS 8311 WITH SCORE 8326.569
AT ITER 4640 NEW BEST:: SOT 47942 SOS 15563 HAS SOPS 9936 HAS SOUS 10091 HAS SOUPS 8305 WITH SCORE 8320.563
AT ITER 4656 NEW BEST:: SOT 47863 SOS 15909 HAS SOPS 9857 HAS SOUS 10087 HAS SOUPS 8226 WITH SCORE 8241.909
AT ITER 4705 NEW BEST:: SOT 47852 SOS 15887 HAS SOPS 9835 HAS SOUS 10065 HAS SOUPS 8204 WITH SCORE 8219.887
AT ITER 4762 NEW BEST:: SOT 47806 SOS 15839 HAS SOPS 9781 HAS SOUS 10037 HAS SOUPS 8170 WITH SCORE 8185.839
AT ITER 4763 NEW BEST:: SOT 47808 SOS 15825 HAS SOPS 9776 HAS SOUS 10032 HAS SOUPS 8165 WITH SCORE 8180.825
AT ITER 4789 NEW BEST:: SOT 47808 SOS 15780 HAS SOPS 9734 HAS SOUS 10032 HAS SOUPS 8165 WITH SCORE 8180.78
AT ITER 4797 NEW BEST:: SOT 47804 SOS 15778 HAS SOPS 9726 HAS SOUS 10024 HAS SOUPS 8157 WITH SCORE 8172.778
AT ITER 4810 NEW BEST:: SOT 47803 SOS 15776 HAS SOPS 9724 HAS SOUS 10022 HAS SOUPS 8155 WITH SCORE 8170.776
AT ITER 4866 NEW BEST:: SOT 47803 SOS 15779 HAS SOPS 9721 HAS SOUS 10019 HAS SOUPS 8152 WITH SCORE 8167.779
AT ITER 4982 NEW BEST:: SOT 47806 SOS 15782 HAS SOPS 9721 HAS SOUS 10016 HAS SOUPS 8149 WITH SCORE 8164.782
AT ITER 4998 NEW BEST:: SOT 47805 SOS 15780 HAS SOPS 9719 HAS SOUS 10014 HAS SOUPS 8147 WITH SCORE 8162.78
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: Peterson-PT-3-CTLCardinality-00 (AG( (EX( (! potential( ( 2 ) <= (tk(P110) + tk(P118) + tk(P119) + tk(P120) + tk(P121) + tk(P122) + tk(P123) + tk(P124) + tk(P125) + tk(P126) + tk(P127) + tk(P128) + tk(P129) + tk(P130) + tk(P131) + tk(P132) + tk(P133) + tk(P134) + tk(P135) + tk(P136) + tk(P137) + tk(P138) + tk(P139) + tk(P140) + tk(P141) + tk(P142) + tk(P143) + tk(P144) + tk(P150) + tk(P151) + tk(P152) + tk(P153) + tk(P154) + tk(P155) + tk(P156) + tk(P157)) ))))))
PROPERTY: Peterson-PT-3-CTLCardinality-01 (AG( (EF((! potential( ( 2 ) <= (tk(P238) + tk(P239) + tk(P240) + tk(P242)) ))))))
PROPERTY: Peterson-PT-3-CTLCardinality-02 (AF((AG( ( potential( ( 2 ) <= (tk(P103) + tk(P111) + tk(P112) + tk(P113) + tk(P114) + tk(P115) + tk(P116) + tk(P117)) ) | potential( (tk(P231) + tk(P232) + tk(P233) + tk(P234)) <= (tk(P222) + tk(P223) + tk(P224) + tk(P225) + tk(P226) + tk(P227) + tk(P228) + tk(P229) + tk(P230) + tk(P241) + tk(P243) + tk(P244)) ) )))))
PROPERTY: Peterson-PT-3-CTLCardinality-03 (EF(potential( (tk(P103) + tk(P111) + tk(P112) + tk(P113) + tk(P114) + tk(P115) + tk(P116) + tk(P117)) <= (tk(P238) + tk(P239) + tk(P240) + tk(P242)) )))
PROPERTY: Peterson-PT-3-CTLCardinality-04 ( ( (AU( potential( (tk(P103) + tk(P111) + tk(P112) + tk(P113) + tk(P114) + tk(P115) + tk(P116) + tk(P117)) <= (tk(P238) + tk(P239) + tk(P240) + tk(P242)) ),potential( ( 2 ) <= (tk(P1) + tk(P2) + tk(P3) + tk(P4) + tk(P5) + tk(P6) + tk(P7) + tk(P8) + tk(P9) + tk(P10) + tk(P11) + tk(P12) + tk(P13) + tk(P14) + tk(P15) + tk(P16) + tk(P17) + tk(P18) + tk(P19) + tk(P20) + tk(P21) + tk(P22) + tk(P23) + tk(P24) + tk(P25) + tk(P26) + tk(P27) + tk(P28) + tk(P29) + tk(P30) + tk(P31) + tk(P32) + tk(P33) + tk(P34) + tk(P35) + tk(P36) + tk(P37) + tk(P38) + tk(P39) + tk(P40) + tk(P41) + tk(P42) + tk(P43) + tk(P44) + tk(P45) + tk(P47) + tk(P48) + tk(P49)) ) )) | (! (AG( potential( (tk(P206) + tk(P207) + tk(P208) + tk(P209) + tk(P210) + tk(P211) + tk(P212) + tk(P213) + tk(P217) + tk(P235) + tk(P236) + tk(P237)) <= (tk(P238) + tk(P239) + tk(P240) + tk(P242)) )))) ) & (EX( (EF(potential( ( 2 ) <= (tk(P110) + tk(P118) + tk(P119) + tk(P120) + tk(P121) + tk(P122) + tk(P123) + tk(P124) + tk(P125) + tk(P126) + tk(P127) + tk(P128) + tk(P129) + tk(P130) + tk(P131) + tk(P132) + tk(P133) + tk(P134) + tk(P135) + tk(P136) + tk(P137) + tk(P138) + tk(P139) + tk(P140) + tk(P141) + tk(P142) + tk(P143) + tk(P144) + tk(P150) + tk(P151) + tk(P152) + tk(P153) + tk(P154) + tk(P155) + tk(P156) + tk(P157)) ))))) )
PROPERTY: Peterson-PT-3-CTLCardinality-05 (AU( ( ( potential( ( 2 ) <= (tk(P110) + tk(P118) + tk(P119) + tk(P120) + tk(P121) + tk(P122) + tk(P123) + tk(P124) + tk(P125) + tk(P126) + tk(P127) + tk(P128) + tk(P129) + tk(P130) + tk(P131) + tk(P132) + tk(P133) + tk(P134) + tk(P135) + tk(P136) + tk(P137) + tk(P138) + tk(P139) + tk(P140) + tk(P141) + tk(P142) + tk(P143) + tk(P144) + tk(P150) + tk(P151) + tk(P152) + tk(P153) + tk(P154) + tk(P155) + tk(P156) + tk(P157)) ) & potential( (tk(P206) + tk(P207) + tk(P208) + tk(P209) + tk(P210) + tk(P211) + tk(P212) + tk(P213) + tk(P217) + tk(P235) + tk(P236) + tk(P237)) <= (tk(P58) + tk(P62) + tk(P63) + tk(P64) + tk(P65) + tk(P66) + tk(P67) + tk(P68) + tk(P69) + tk(P70) + tk(P71) + tk(P72) + tk(P73) + tk(P74) + tk(P75) + tk(P76) + tk(P77) + tk(P78) + tk(P79) + tk(P80) + tk(P81) + tk(P82) + tk(P83) + tk(P84) + tk(P85) + tk(P86) + tk(P87) + tk(P88) + tk(P89) + tk(P90) + tk(P91) + tk(P92) + tk(P93) + tk(P94) + tk(P95) + tk(P96) + tk(P97) + tk(P98) + tk(P99) + tk(P100) + tk(P101) + tk(P102) + tk(P104) + tk(P105) + tk(P106) + tk(P107) + tk(P108) + tk(P109)) ) ) | ( potential( ( 1 ) <= (tk(P103) + tk(P111) + tk(P112) + tk(P113) + tk(P114) + tk(P115) + tk(P116) + tk(P117)) ) | potential( ( 2 ) <= (tk(P206) + tk(P207) + tk(P208) + tk(P209) + tk(P210) + tk(P211) + tk(P212) + tk(P213) + tk(P217) + tk(P235) + tk(P236) + tk(P237)) ) ) ),(AG( potential( (tk(P238) + tk(P239) + tk(P240) + tk(P242)) <= (tk(P58) + tk(P62) + tk(P63) + tk(P64) + tk(P65) + tk(P66) + tk(P67) + tk(P68) + tk(P69) + tk(P70) + tk(P71) + tk(P72) + tk(P73) + tk(P74) + tk(P75) + tk(P76) + tk(P77) + tk(P78) + tk(P79) + tk(P80) + tk(P81) + tk(P82) + tk(P83) + tk(P84) + tk(P85) + tk(P86) + tk(P87) + tk(P88) + tk(P89) + tk(P90) + tk(P91) + tk(P92) + tk(P93) + tk(P94) + tk(P95) + tk(P96) + tk(P97) + tk(P98) + tk(P99) + tk(P100) + tk(P101) + tk(P102) + tk(P104) + tk(P105) + tk(P106) + tk(P107) + tk(P108) + tk(P109)) ))) ))
PROPERTY: Peterson-PT-3-CTLCardinality-06 (EG( (AU( potential( (tk(P1) + tk(P2) + tk(P3) + tk(P4) + tk(P5) + tk(P6) + tk(P7) + tk(P8) + tk(P9) + tk(P10) + tk(P11) + tk(P12) + tk(P13) + tk(P14) + tk(P15) + tk(P16) + tk(P17) + tk(P18) + tk(P19) + tk(P20) + tk(P21) + tk(P22) + tk(P23) + tk(P24) + tk(P25) + tk(P26) + tk(P27) + tk(P28) + tk(P29) + tk(P30) + tk(P31) + tk(P32) + tk(P33) + tk(P34) + tk(P35) + tk(P36) + tk(P37) + tk(P38) + tk(P39) + tk(P40) + tk(P41) + tk(P42) + tk(P43) + tk(P44) + tk(P45) + tk(P47) + tk(P48) + tk(P49)) <= (tk(P110) + tk(P118) + tk(P119) + tk(P120) + tk(P121) + tk(P122) + tk(P123) + tk(P124) + tk(P125) + tk(P126) + tk(P127) + tk(P128) + tk(P129) + tk(P130) + tk(P131) + tk(P132) + tk(P133) + tk(P134) + tk(P135) + tk(P136) + tk(P137) + tk(P138) + tk(P139) + tk(P140) + tk(P141) + tk(P142) + tk(P143) + tk(P144) + tk(P150) + tk(P151) + tk(P152) + tk(P153) + tk(P154) + tk(P155) + tk(P156) + tk(P157)) ),potential( (tk(P158) + tk(P159) + tk(P160) + tk(P161) + tk(P162) + tk(P163) + tk(P164) + tk(P165) + tk(P170) + tk(P174) + tk(P175) + tk(P176) + tk(P177) + tk(P178) + tk(P179) + tk(P180) + tk(P181) + tk(P182) + tk(P183) + tk(P184) + tk(P185) + tk(P186) + tk(P187) + tk(P188) + tk(P189) + tk(P190) + tk(P191) + tk(P192) + tk(P193) + tk(P194) + tk(P195) + tk(P196) + tk(P197) + tk(P198) + tk(P199) + tk(P200) + tk(P201) + tk(P202) + tk(P203) + tk(P204) + tk(P205) + tk(P214) + tk(P215) + tk(P216) + tk(P218) + tk(P219) + tk(P220) + tk(P221)) <= (tk(P110) + tk(P118) + tk(P119) + tk(P120) + tk(P121) + tk(P122) + tk(P123) + tk(P124) + tk(P125) + tk(P126) + tk(P127) + tk(P128) + tk(P129) + tk(P130) + tk(P131) + tk(P132) + tk(P133) + tk(P134) + tk(P135) + tk(P136) + tk(P137) + tk(P138) + tk(P139) + tk(P140) + tk(P141) + tk(P142) + tk(P143) + tk(P144) + tk(P150) + tk(P151) + tk(P152) + tk(P153) + tk(P154) + tk(P155) + tk(P156) + tk(P157)) ) ))))
PROPERTY: Peterson-PT-3-CTLCardinality-07 (EF(( (AG( potential( (tk(P103) + tk(P111) + tk(P112) + tk(P113) + tk(P114) + tk(P115) + tk(P116) + tk(P117)) <= (tk(P46) + tk(P50) + tk(P51) + tk(P52) + tk(P53) + tk(P54) + tk(P55) + tk(P56) + tk(P57) + tk(P59) + tk(P60) + tk(P61)) ))) & (AG( potential( (tk(P1) + tk(P2) + tk(P3) + tk(P4) + tk(P5) + tk(P6) + tk(P7) + tk(P8) + tk(P9) + tk(P10) + tk(P11) + tk(P12) + tk(P13) + tk(P14) + tk(P15) + tk(P16) + tk(P17) + tk(P18) + tk(P19) + tk(P20) + tk(P21) + tk(P22) + tk(P23) + tk(P24) + tk(P25) + tk(P26) + tk(P27) + tk(P28) + tk(P29) + tk(P30) + tk(P31) + tk(P32) + tk(P33) + tk(P34) + tk(P35) + tk(P36) + tk(P37) + tk(P38) + tk(P39) + tk(P40) + tk(P41) + tk(P42) + tk(P43) + tk(P44) + tk(P45) + tk(P47) + tk(P48) + tk(P49)) <= (tk(P103) + tk(P111) + tk(P112) + tk(P113) + tk(P114) + tk(P115) + tk(P116) + tk(P117)) ))) )))
PROPERTY: Peterson-PT-3-CTLCardinality-08 (EF((! (EF(potential( ( 2 ) <= (tk(P219)) ))))))
PROPERTY: Peterson-PT-3-CTLCardinality-09 ( (EX( (EF(potential( (tk(P80)) <= (tk(P32)) ))))) & ( potential( ( 3 ) <= (tk(P159)) ) | ( (EF(potential( ( 3 ) <= (tk(P27)) ))) & potential( (tk(P86)) <= (tk(P195)) ) ) ) )
PROPERTY: Peterson-PT-3-CTLCardinality-10 (! (EF(( potential( ( 3 ) <= (tk(P125)) ) & ( potential( (tk(P72)) <= (tk(P37)) ) | potential( (tk(P214)) <= (tk(P147)) ) ) ))))
PROPERTY: Peterson-PT-3-CTLCardinality-11 (! (EF((! ( potential( (tk(P86)) <= (tk(P231)) ) | potential( (tk(P23)) <= (tk(P18)) ) )))))
PROPERTY: Peterson-PT-3-CTLCardinality-12 (AF((EF(( potential( ( 3 ) <= (tk(P139)) ) | potential( ( 3 ) <= (tk(P163)) ) )))))
PROPERTY: Peterson-PT-3-CTLCardinality-13 ( (EG( (AG( potential( (tk(P235)) <= (tk(P22)) ))))) & ( (! (EX( potential( (tk(P42)) <= (tk(P174)) )))) | potential( (tk(P140)) <= (tk(P6)) ) ) )
PROPERTY: Peterson-PT-3-CTLCardinality-14 ( (! (! (! ( potential( ( 3 ) <= (tk(P175)) ) | potential( ( 3 ) <= (tk(P235)) ) )))) & (EF((AG( potential( (tk(P169)) <= (tk(P39)) ))))) )
PROPERTY: Peterson-PT-3-CTLCardinality-15 (EU( (EG( potential( (tk(P164)) <= (tk(P115)) ))),( ( potential( ( 2 ) <= (tk(P15)) ) | potential( (tk(P216)) <= (tk(P44)) ) ) & ( potential( ( 3 ) <= (tk(P37)) ) & potential( ( 3 ) <= (tk(P65)) ) ) ) ))

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="Peterson-PT-3"
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 Peterson-PT-3, 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 r108-csrt-158961250900715"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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