Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r099-tall-167814472500496.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is DES-PT-60a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472500496
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 600K
-rw-r--r-- 1 mcc users 8.8K Feb 26 15:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 107K Feb 26 15:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 15:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 26 15:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 15:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:51 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.4K Feb 26 15:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 85K Feb 26 15:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 15:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 109K Feb 26 15:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 15:51 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:51 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 110K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678245454703

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DES-PT-60a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 60a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 354 places, 311 transitions, 1496 arcs.
AT ITER 0 NEW BEST:: SOT 95725 SOS 91385 HAS SOPS 91385 HAS SOUS 46913 HAS SOUPS 46913 WITH SCORE 47004.385
AT ITER 14 NEW BEST:: SOT 95728 SOS 91379 HAS SOPS 91379 HAS SOUS 46910 HAS SOUPS 46910 WITH SCORE 47001.379
AT ITER 23 NEW BEST:: SOT 94028 SOS 89716 HAS SOPS 89716 HAS SOUS 45246 HAS SOUPS 45246 WITH SCORE 45335.716
AT ITER 42 NEW BEST:: SOT 94025 SOS 89713 HAS SOPS 89713 HAS SOUS 45242 HAS SOUPS 45242 WITH SCORE 45331.713
AT ITER 45 NEW BEST:: SOT 93212 SOS 89021 HAS SOPS 89021 HAS SOUS 45199 HAS SOUPS 45199 WITH SCORE 45288.021
AT ITER 49 NEW BEST:: SOT 93047 SOS 88945 HAS SOPS 88945 HAS SOUS 45125 HAS SOUPS 45125 WITH SCORE 45213.945
AT ITER 58 NEW BEST:: SOT 89749 SOS 85647 HAS SOPS 85647 HAS SOUS 41826 HAS SOUPS 41826 WITH SCORE 41911.647
AT ITER 70 NEW BEST:: SOT 89746 SOS 85644 HAS SOPS 85644 HAS SOUS 41823 HAS SOUPS 41823 WITH SCORE 41908.644
AT ITER 76 NEW BEST:: SOT 89643 SOS 85541 HAS SOPS 85541 HAS SOUS 41708 HAS SOUPS 41708 WITH SCORE 41793.541
AT ITER 87 NEW BEST:: SOT 89591 SOS 85489 HAS SOPS 85489 HAS SOUS 41654 HAS SOUPS 41654 WITH SCORE 41739.489
AT ITER 91 NEW BEST:: SOT 89551 SOS 85485 HAS SOPS 85485 HAS SOUS 41650 HAS SOUPS 41650 WITH SCORE 41735.485
AT ITER 93 NEW BEST:: SOT 89365 SOS 85299 HAS SOPS 85299 HAS SOUS 41463 HAS SOUPS 41463 WITH SCORE 41548.299
AT ITER 98 NEW BEST:: SOT 89216 SOS 85248 HAS SOPS 85248 HAS SOUS 41197 HAS SOUPS 41197 WITH SCORE 41282.248
AT ITER 102 NEW BEST:: SOT 89216 SOS 85248 HAS SOPS 85248 HAS SOUS 41196 HAS SOUPS 41196 WITH SCORE 41281.248
AT ITER 111 NEW BEST:: SOT 89216 SOS 85248 HAS SOPS 85248 HAS SOUS 41195 HAS SOUPS 41195 WITH SCORE 41280.248
AT ITER 115 NEW BEST:: SOT 80585 SOS 76638 HAS SOPS 76638 HAS SOUS 32518 HAS SOUPS 32518 WITH SCORE 32594.638
AT ITER 117 NEW BEST:: SOT 80563 SOS 76616 HAS SOPS 76616 HAS SOUS 32495 HAS SOUPS 32495 WITH SCORE 32571.616
AT ITER 121 NEW BEST:: SOT 80480 SOS 76616 HAS SOPS 76616 HAS SOUS 32494 HAS SOUPS 32494 WITH SCORE 32570.616
AT ITER 145 NEW BEST:: SOT 77289 SOS 73425 HAS SOPS 73425 HAS SOUS 29240 HAS SOUPS 29240 WITH SCORE 29313.425
AT ITER 147 NEW BEST:: SOT 77293 SOS 73429 HAS SOPS 73429 HAS SOUS 29215 HAS SOUPS 29215 WITH SCORE 29288.429
AT ITER 148 NEW BEST:: SOT 77255 SOS 73390 HAS SOPS 73390 HAS SOUS 29176 HAS SOUPS 29176 WITH SCORE 29249.39
AT ITER 169 NEW BEST:: SOT 77251 SOS 73386 HAS SOPS 73386 HAS SOUS 29172 HAS SOUPS 29172 WITH SCORE 29245.386
AT ITER 171 NEW BEST:: SOT 77242 SOS 73377 HAS SOPS 73377 HAS SOUS 29154 HAS SOUPS 29154 WITH SCORE 29227.377
AT ITER 182 NEW BEST:: SOT 76961 SOS 73096 HAS SOPS 73096 HAS SOUS 29090 HAS SOUPS 29090 WITH SCORE 29163.096
AT ITER 197 NEW BEST:: SOT 76712 SOS 72847 HAS SOPS 72847 HAS SOUS 28954 HAS SOUPS 28954 WITH SCORE 29026.847
AT ITER 214 NEW BEST:: SOT 76636 SOS 72771 HAS SOPS 72771 HAS SOUS 28731 HAS SOUPS 28731 WITH SCORE 28803.771
AT ITER 229 NEW BEST:: SOT 76636 SOS 72791 HAS SOPS 72791 HAS SOUS 28720 HAS SOUPS 28720 WITH SCORE 28792.791
AT ITER 230 NEW BEST:: SOT 76556 SOS 72711 HAS SOPS 72711 HAS SOUS 28681 HAS SOUPS 28681 WITH SCORE 28753.711
AT ITER 242 NEW BEST:: SOT 74193 SOS 70348 HAS SOPS 70348 HAS SOUS 26317 HAS SOUPS 26317 WITH SCORE 26387.348
AT ITER 262 NEW BEST:: SOT 74217 SOS 70372 HAS SOPS 70372 HAS SOUS 26295 HAS SOUPS 26295 WITH SCORE 26365.372
AT ITER 264 NEW BEST:: SOT 74209 SOS 70364 HAS SOPS 70364 HAS SOUS 26286 HAS SOUPS 26286 WITH SCORE 26356.364
AT ITER 267 NEW BEST:: SOT 74208 SOS 70363 HAS SOPS 70363 HAS SOUS 26284 HAS SOUPS 26284 WITH SCORE 26354.363
AT ITER 305 NEW BEST:: SOT 74081 SOS 69998 HAS SOPS 69998 HAS SOUS 25997 HAS SOUPS 25997 WITH SCORE 26066.998
AT ITER 312 NEW BEST:: SOT 74057 SOS 69988 HAS SOPS 69988 HAS SOUS 25987 HAS SOUPS 25987 WITH SCORE 26056.988
AT ITER 320 NEW BEST:: SOT 74034 SOS 69965 HAS SOPS 69965 HAS SOUS 25987 HAS SOUPS 25987 WITH SCORE 26056.965
AT ITER 324 NEW BEST:: SOT 74026 SOS 69957 HAS SOPS 69957 HAS SOUS 25979 HAS SOUPS 25979 WITH SCORE 26048.957
AT ITER 331 NEW BEST:: SOT 70902 SOS 66833 HAS SOPS 66833 HAS SOUS 22855 HAS SOUPS 22855 WITH SCORE 22921.833
AT ITER 334 NEW BEST:: SOT 70902 SOS 66931 HAS SOPS 66931 HAS SOUS 22854 HAS SOUPS 22854 WITH SCORE 22920.931
AT ITER 350 NEW BEST:: SOT 70901 SOS 66906 HAS SOPS 66906 HAS SOUS 22852 HAS SOUPS 22852 WITH SCORE 22918.906
AT ITER 365 NEW BEST:: SOT 70901 SOS 66906 HAS SOPS 66906 HAS SOUS 22851 HAS SOUPS 22851 WITH SCORE 22917.906
AT ITER 366 NEW BEST:: SOT 70814 SOS 66819 HAS SOPS 66819 HAS SOUS 22844 HAS SOUPS 22844 WITH SCORE 22910.819
AT ITER 367 NEW BEST:: SOT 70797 SOS 66802 HAS SOPS 66802 HAS SOUS 22810 HAS SOUPS 22810 WITH SCORE 22876.802
AT ITER 403 NEW BEST:: SOT 70603 SOS 66608 HAS SOPS 66608 HAS SOUS 22710 HAS SOUPS 22710 WITH SCORE 22776.608
AT ITER 406 NEW BEST:: SOT 70603 SOS 66608 HAS SOPS 66608 HAS SOUS 22702 HAS SOUPS 22702 WITH SCORE 22768.608
AT ITER 423 NEW BEST:: SOT 70293 SOS 66281 HAS SOPS 66281 HAS SOUS 22375 HAS SOUPS 22375 WITH SCORE 22441.281
AT ITER 455 NEW BEST:: SOT 70076 SOS 66064 HAS SOPS 66064 HAS SOUS 22309 HAS SOUPS 22309 WITH SCORE 22375.064
AT ITER 493 NEW BEST:: SOT 70124 SOS 66117 HAS SOPS 66117 HAS SOUS 22303 HAS SOUPS 22303 WITH SCORE 22369.117
AT ITER 513 NEW BEST:: SOT 70124 SOS 59854 HAS SOPS 59854 HAS SOUS 22293 HAS SOUPS 22293 WITH SCORE 22352.854
AT ITER 515 NEW BEST:: SOT 70110 SOS 59806 HAS SOPS 59806 HAS SOUS 22279 HAS SOUPS 22279 WITH SCORE 22338.806
AT ITER 517 NEW BEST:: SOT 70099 SOS 59795 HAS SOPS 59795 HAS SOUS 22257 HAS SOUPS 22257 WITH SCORE 22316.795
AT ITER 538 NEW BEST:: SOT 70099 SOS 59794 HAS SOPS 59794 HAS SOUS 22256 HAS SOUPS 22256 WITH SCORE 22315.794
AT ITER 542 NEW BEST:: SOT 69990 SOS 59680 HAS SOPS 59680 HAS SOUS 22246 HAS SOUPS 22246 WITH SCORE 22305.68
AT ITER 543 NEW BEST:: SOT 69996 SOS 59685 HAS SOPS 59685 HAS SOUS 22243 HAS SOUPS 22243 WITH SCORE 22302.685
AT ITER 553 NEW BEST:: SOT 69956 SOS 59685 HAS SOPS 59685 HAS SOUS 22242 HAS SOUPS 22242 WITH SCORE 22301.685
AT ITER 555 NEW BEST:: SOT 69956 SOS 59610 HAS SOPS 59610 HAS SOUS 22216 HAS SOUPS 22216 WITH SCORE 22275.61
AT ITER 562 NEW BEST:: SOT 69956 SOS 59473 HAS SOPS 59473 HAS SOUS 22149 HAS SOUPS 22149 WITH SCORE 22208.473
AT ITER 581 NEW BEST:: SOT 69843 SOS 59360 HAS SOPS 59360 HAS SOUS 22035 HAS SOUPS 22035 WITH SCORE 22094.36
AT ITER 591 NEW BEST:: SOT 69841 SOS 59358 HAS SOPS 59358 HAS SOUS 22031 HAS SOUPS 22031 WITH SCORE 22090.358
AT ITER 608 NEW BEST:: SOT 69660 SOS 59177 HAS SOPS 59177 HAS SOUS 22007 HAS SOUPS 22007 WITH SCORE 22066.177
AT ITER 615 NEW BEST:: SOT 69461 SOS 58963 HAS SOPS 58963 HAS SOUS 21793 HAS SOUPS 21793 WITH SCORE 21851.963
AT ITER 620 NEW BEST:: SOT 69398 SOS 58940 HAS SOPS 58940 HAS SOUS 21770 HAS SOUPS 21770 WITH SCORE 21828.94
AT ITER 622 NEW BEST:: SOT 69378 SOS 58920 HAS SOPS 58920 HAS SOUS 21750 HAS SOUPS 21750 WITH SCORE 21808.92
AT ITER 660 NEW BEST:: SOT 69214 SOS 58740 HAS SOPS 58740 HAS SOUS 21593 HAS SOUPS 21593 WITH SCORE 21651.74
AT ITER 675 NEW BEST:: SOT 69213 SOS 58739 HAS SOPS 58739 HAS SOUS 21591 HAS SOUPS 21591 WITH SCORE 21649.739
AT ITER 679 NEW BEST:: SOT 68798 SOS 58327 HAS SOPS 58327 HAS SOUS 21510 HAS SOUPS 21510 WITH SCORE 21568.327
AT ITER 691 NEW BEST:: SOT 68777 SOS 58474 HAS SOPS 58474 HAS SOUS 21501 HAS SOUPS 21501 WITH SCORE 21559.474
AT ITER 703 NEW BEST:: SOT 68626 SOS 58323 HAS SOPS 58323 HAS SOUS 21349 HAS SOUPS 21349 WITH SCORE 21407.323
AT ITER 710 NEW BEST:: SOT 68596 SOS 58293 HAS SOPS 58293 HAS SOUS 21328 HAS SOUPS 21328 WITH SCORE 21386.293
AT ITER 715 NEW BEST:: SOT 68592 SOS 58235 HAS SOPS 58235 HAS SOUS 21270 HAS SOUPS 21270 WITH SCORE 21328.235
AT ITER 720 NEW BEST:: SOT 68572 SOS 58101 HAS SOPS 58101 HAS SOUS 21136 HAS SOUPS 21136 WITH SCORE 21194.101
AT ITER 729 NEW BEST:: SOT 68571 SOS 58100 HAS SOPS 58100 HAS SOUS 21134 HAS SOUPS 21134 WITH SCORE 21192.1
AT ITER 739 NEW BEST:: SOT 68569 SOS 58098 HAS SOPS 58098 HAS SOUS 21130 HAS SOUPS 21130 WITH SCORE 21188.098
AT ITER 744 NEW BEST:: SOT 68568 SOS 58097 HAS SOPS 58097 HAS SOUS 21128 HAS SOUPS 21128 WITH SCORE 21186.097
AT ITER 760 NEW BEST:: SOT 68330 SOS 57859 HAS SOPS 57859 HAS SOUS 20890 HAS SOUPS 20890 WITH SCORE 20947.859
AT ITER 763 NEW BEST:: SOT 68318 SOS 57847 HAS SOPS 57847 HAS SOUS 20866 HAS SOUPS 20866 WITH SCORE 20923.847
AT ITER 765 NEW BEST:: SOT 68318 SOS 57848 HAS SOPS 57848 HAS SOUS 20862 HAS SOUPS 20862 WITH SCORE 20919.848
AT ITER 766 NEW BEST:: SOT 68318 SOS 57846 HAS SOPS 57846 HAS SOUS 20860 HAS SOUPS 20860 WITH SCORE 20917.846
AT ITER 773 NEW BEST:: SOT 68245 SOS 57769 HAS SOPS 57769 HAS SOUS 20783 HAS SOUPS 20783 WITH SCORE 20840.769
AT ITER 806 NEW BEST:: SOT 68153 SOS 57677 HAS SOPS 57677 HAS SOUS 20691 HAS SOUPS 20691 WITH SCORE 20748.677
AT ITER 841 NEW BEST:: SOT 68153 SOS 57699 HAS SOPS 57699 HAS SOUS 20663 HAS SOUPS 20663 WITH SCORE 20720.699
AT ITER 843 NEW BEST:: SOT 68167 SOS 57713 HAS SOPS 57713 HAS SOUS 20643 HAS SOUPS 20643 WITH SCORE 20700.713
AT ITER 856 NEW BEST:: SOT 68166 SOS 57712 HAS SOPS 57712 HAS SOUS 20641 HAS SOUPS 20641 WITH SCORE 20698.712
AT ITER 857 NEW BEST:: SOT 68155 SOS 57701 HAS SOPS 57701 HAS SOUS 20619 HAS SOUPS 20619 WITH SCORE 20676.701
AT ITER 865 NEW BEST:: SOT 67882 SOS 57417 HAS SOPS 57417 HAS SOUS 20517 HAS SOUPS 20517 WITH SCORE 20574.417
AT ITER 868 NEW BEST:: SOT 67787 SOS 57322 HAS SOPS 57322 HAS SOUS 20385 HAS SOUPS 20385 WITH SCORE 20442.322
AT ITER 913 NEW BEST:: SOT 67819 SOS 57354 HAS SOPS 57354 HAS SOUS 20360 HAS SOUPS 20360 WITH SCORE 20417.354
AT ITER 965 NEW BEST:: SOT 67819 SOS 57350 HAS SOPS 57350 HAS SOUS 20356 HAS SOUPS 20356 WITH SCORE 20413.35
AT ITER 980 NEW BEST:: SOT 67818 SOS 57349 HAS SOPS 57349 HAS SOUS 20354 HAS SOUPS 20354 WITH SCORE 20411.349
AT ITER 984 NEW BEST:: SOT 67769 SOS 57300 HAS SOPS 57300 HAS SOUS 20305 HAS SOUPS 20305 WITH SCORE 20362.3
AT ITER 1004 NEW BEST:: SOT 67768 SOS 57299 HAS SOPS 57299 HAS SOUS 20303 HAS SOUPS 20303 WITH SCORE 20360.299
AT ITER 1011 NEW BEST:: SOT 67785 SOS 57316 HAS SOPS 57316 HAS SOUS 20266 HAS SOUPS 20266 WITH SCORE 20323.316
AT ITER 1026 NEW BEST:: SOT 67683 SOS 57214 HAS SOPS 57214 HAS SOUS 20062 HAS SOUPS 20062 WITH SCORE 20119.214
AT ITER 1028 NEW BEST:: SOT 67129 SOS 56660 HAS SOPS 56660 HAS SOUS 19508 HAS SOUPS 19508 WITH SCORE 19564.66
AT ITER 1056 NEW BEST:: SOT 67124 SOS 56655 HAS SOPS 56655 HAS SOUS 19503 HAS SOUPS 19503 WITH SCORE 19559.655
AT ITER 1057 NEW BEST:: SOT 67124 SOS 56586 HAS SOPS 56586 HAS SOUS 19501 HAS SOUPS 19501 WITH SCORE 19557.586
AT ITER 1064 NEW BEST:: SOT 67122 SOS 56575 HAS SOPS 56575 HAS SOUS 19501 HAS SOUPS 19501 WITH SCORE 19557.575
AT ITER 1066 NEW BEST:: SOT 67121 SOS 56574 HAS SOPS 56574 HAS SOUS 19499 HAS SOUPS 19499 WITH SCORE 19555.574
AT ITER 1076 NEW BEST:: SOT 67050 SOS 56503 HAS SOPS 56503 HAS SOUS 19428 HAS SOUPS 19428 WITH SCORE 19484.503
AT ITER 1106 NEW BEST:: SOT 67034 SOS 56487 HAS SOPS 56487 HAS SOUS 19396 HAS SOUPS 19396 WITH SCORE 19452.487
AT ITER 1129 NEW BEST:: SOT 67021 SOS 56474 HAS SOPS 56474 HAS SOUS 19396 HAS SOUPS 19396 WITH SCORE 19452.474
AT ITER 1158 NEW BEST:: SOT 67014 SOS 56467 HAS SOPS 56467 HAS SOUS 19382 HAS SOUPS 19382 WITH SCORE 19438.467
AT ITER 1161 NEW BEST:: SOT 66991 SOS 56444 HAS SOPS 56444 HAS SOUS 19336 HAS SOUPS 19336 WITH SCORE 19392.444
AT ITER 1170 NEW BEST:: SOT 66991 SOS 56444 HAS SOPS 56444 HAS SOUS 19308 HAS SOUPS 19308 WITH SCORE 19364.444
AT ITER 1197 NEW BEST:: SOT 66988 SOS 56441 HAS SOPS 56441 HAS SOUS 19304 HAS SOUPS 19304 WITH SCORE 19360.441
AT ITER 1204 NEW BEST:: SOT 66988 SOS 56450 HAS SOPS 56450 HAS SOUS 19280 HAS SOUPS 19280 WITH SCORE 19336.45
AT ITER 1207 NEW BEST:: SOT 66959 SOS 56421 HAS SOPS 56421 HAS SOUS 19251 HAS SOUPS 19251 WITH SCORE 19307.421
AT ITER 1209 NEW BEST:: SOT 66958 SOS 56420 HAS SOPS 56420 HAS SOUS 19249 HAS SOUPS 19249 WITH SCORE 19305.42
AT ITER 1210 NEW BEST:: SOT 66958 SOS 56439 HAS SOPS 56439 HAS SOUS 19209 HAS SOUPS 19209 WITH SCORE 19265.439
AT ITER 1219 NEW BEST:: SOT 66956 SOS 56377 HAS SOPS 56377 HAS SOUS 19206 HAS SOUPS 19206 WITH SCORE 19262.377
AT ITER 1255 NEW BEST:: SOT 66958 SOS 56379 HAS SOPS 56379 HAS SOUS 19204 HAS SOUPS 19204 WITH SCORE 19260.379
AT ITER 1260 NEW BEST:: SOT 66923 SOS 56344 HAS SOPS 56344 HAS SOUS 19134 HAS SOUPS 19134 WITH SCORE 19190.344
AT ITER 1289 NEW BEST:: SOT 66920 SOS 56338 HAS SOPS 56338 HAS SOUS 19128 HAS SOUPS 19128 WITH SCORE 19184.338
AT ITER 1295 NEW BEST:: SOT 66916 SOS 56334 HAS SOPS 56334 HAS SOUS 19124 HAS SOUPS 19124 WITH SCORE 19180.334
AT ITER 1306 NEW BEST:: SOT 65998 SOS 55416 HAS SOPS 55416 HAS SOUS 18982 HAS SOUPS 18982 WITH SCORE 19037.416
AT ITER 1331 NEW BEST:: SOT 65954 SOS 55372 HAS SOPS 55372 HAS SOUS 18894 HAS SOUPS 18894 WITH SCORE 18949.372
AT ITER 1338 NEW BEST:: SOT 65897 SOS 55315 HAS SOPS 55315 HAS SOUS 18864 HAS SOUPS 18864 WITH SCORE 18919.315
AT ITER 1343 NEW BEST:: SOT 65897 SOS 55315 HAS SOPS 55315 HAS SOUS 18863 HAS SOUPS 18863 WITH SCORE 18918.315
AT ITER 1349 NEW BEST:: SOT 65897 SOS 55315 HAS SOPS 55315 HAS SOUS 18829 HAS SOUPS 18829 WITH SCORE 18884.315
AT ITER 1353 NEW BEST:: SOT 65897 SOS 55299 HAS SOPS 55299 HAS SOUS 18829 HAS SOUPS 18829 WITH SCORE 18884.299
AT ITER 1367 NEW BEST:: SOT 65920 SOS 55322 HAS SOPS 55322 HAS SOUS 18723 HAS SOUPS 18723 WITH SCORE 18778.322
AT ITER 1380 NEW BEST:: SOT 65918 SOS 55320 HAS SOPS 55320 HAS SOUS 18721 HAS SOUPS 18721 WITH SCORE 18776.32
AT ITER 1391 NEW BEST:: SOT 65851 SOS 55186 HAS SOPS 55186 HAS SOUS 18654 HAS SOUPS 18654 WITH SCORE 18709.186
AT ITER 1401 NEW BEST:: SOT 65792 SOS 55127 HAS SOPS 55127 HAS SOUS 18604 HAS SOUPS 18604 WITH SCORE 18659.127
AT ITER 1407 NEW BEST:: SOT 65792 SOS 55117 HAS SOPS 55117 HAS SOUS 18594 HAS SOUPS 18594 WITH SCORE 18649.117
AT ITER 1410 NEW BEST:: SOT 65734 SOS 55133 HAS SOPS 55133 HAS SOUS 18524 HAS SOUPS 18524 WITH SCORE 18579.133
AT ITER 1418 NEW BEST:: SOT 65250 SOS 54649 HAS SOPS 54649 HAS SOUS 18202 HAS SOUPS 18202 WITH SCORE 18256.649
AT ITER 1424 NEW BEST:: SOT 65390 SOS 54789 HAS SOPS 54789 HAS SOUS 18190 HAS SOUPS 18190 WITH SCORE 18244.789
AT ITER 1429 NEW BEST:: SOT 65402 SOS 54801 HAS SOPS 54801 HAS SOUS 18168 HAS SOUPS 18168 WITH SCORE 18222.801
AT ITER 1440 NEW BEST:: SOT 65387 SOS 54771 HAS SOPS 54771 HAS SOUS 18138 HAS SOUPS 18138 WITH SCORE 18192.771
AT ITER 1451 NEW BEST:: SOT 65382 SOS 54766 HAS SOPS 54766 HAS SOUS 18136 HAS SOUPS 18136 WITH SCORE 18190.766
AT ITER 1455 NEW BEST:: SOT 65380 SOS 54764 HAS SOPS 54764 HAS SOUS 18132 HAS SOUPS 18132 WITH SCORE 18186.764
AT ITER 1460 NEW BEST:: SOT 65352 SOS 54736 HAS SOPS 54736 HAS SOUS 18103 HAS SOUPS 18103 WITH SCORE 18157.736
AT ITER 1462 NEW BEST:: SOT 65337 SOS 54721 HAS SOPS 54721 HAS SOUS 18087 HAS SOUPS 18087 WITH SCORE 18141.721
AT ITER 1465 NEW BEST:: SOT 65335 SOS 54719 HAS SOPS 54719 HAS SOUS 18083 HAS SOUPS 18083 WITH SCORE 18137.719
AT ITER 1469 NEW BEST:: SOT 65335 SOS 54676 HAS SOPS 54676 HAS SOUS 18040 HAS SOUPS 18040 WITH SCORE 18094.676
AT ITER 1470 NEW BEST:: SOT 65331 SOS 54672 HAS SOPS 54672 HAS SOUS 18038 HAS SOUPS 18038 WITH SCORE 18092.672
AT ITER 1488 NEW BEST:: SOT 65331 SOS 54661 HAS SOPS 54661 HAS SOUS 18027 HAS SOUPS 18027 WITH SCORE 18081.661
AT ITER 1498 NEW BEST:: SOT 65262 SOS 54523 HAS SOPS 54523 HAS SOUS 17958 HAS SOUPS 17958 WITH SCORE 18012.523
AT ITER 1500 NEW BEST:: SOT 65279 SOS 54540 HAS SOPS 54540 HAS SOUS 17952 HAS SOUPS 17952 WITH SCORE 18006.54
AT ITER 1510 NEW BEST:: SOT 65278 SOS 54539 HAS SOPS 54539 HAS SOUS 17950 HAS SOUPS 17950 WITH SCORE 18004.539
AT ITER 1547 NEW BEST:: SOT 65393 SOS 54679 HAS SOPS 54679 HAS SOUS 17836 HAS SOUPS 17836 WITH SCORE 17890.679
AT ITER 1549 NEW BEST:: SOT 65388 SOS 54674 HAS SOPS 54674 HAS SOUS 17821 HAS SOUPS 17821 WITH SCORE 17875.674
AT ITER 1577 NEW BEST:: SOT 65388 SOS 54778 HAS SOPS 54778 HAS SOUS 17805 HAS SOUPS 17805 WITH SCORE 17859.778
AT ITER 1591 NEW BEST:: SOT 65388 SOS 54778 HAS SOPS 54778 HAS SOUS 17802 HAS SOUPS 17802 WITH SCORE 17856.778
AT ITER 1600 NEW BEST:: SOT 65383 SOS 54773 HAS SOPS 54773 HAS SOUS 17801 HAS SOUPS 17801 WITH SCORE 17855.773
AT ITER 1613 NEW BEST:: SOT 65258 SOS 54812 HAS SOPS 54812 HAS SOUS 17790 HAS SOUPS 17790 WITH SCORE 17844.812
AT ITER 1615 NEW BEST:: SOT 65257 SOS 54811 HAS SOPS 54811 HAS SOUS 17788 HAS SOUPS 17788 WITH SCORE 17842.811
AT ITER 1635 NEW BEST:: SOT 65042 SOS 54596 HAS SOPS 54596 HAS SOUS 17714 HAS SOUPS 17714 WITH SCORE 17768.596
AT ITER 1638 NEW BEST:: SOT 64747 SOS 54191 HAS SOPS 54191 HAS SOUS 17441 HAS SOUPS 17441 WITH SCORE 17495.191
AT ITER 1647 NEW BEST:: SOT 64631 SOS 53896 HAS SOPS 53896 HAS SOUS 17388 HAS SOUPS 17388 WITH SCORE 17441.896
AT ITER 1667 NEW BEST:: SOT 64630 SOS 53753 HAS SOPS 53753 HAS SOUS 17386 HAS SOUPS 17386 WITH SCORE 17439.753
AT ITER 1671 NEW BEST:: SOT 64584 SOS 53707 HAS SOPS 53707 HAS SOUS 17315 HAS SOUPS 17315 WITH SCORE 17368.707
AT ITER 1677 NEW BEST:: SOT 64584 SOS 53707 HAS SOPS 53707 HAS SOUS 17292 HAS SOUPS 17292 WITH SCORE 17345.707
AT ITER 1698 NEW BEST:: SOT 61983 SOS 51156 HAS SOPS 51156 HAS SOUS 14741 HAS SOUPS 14741 WITH SCORE 14792.156
AT ITER 1719 NEW BEST:: SOT 61968 SOS 51141 HAS SOPS 51141 HAS SOUS 14733 HAS SOUPS 14733 WITH SCORE 14784.141
AT ITER 1725 NEW BEST:: SOT 61967 SOS 51140 HAS SOPS 51140 HAS SOUS 14731 HAS SOUPS 14731 WITH SCORE 14782.14
AT ITER 1768 NEW BEST:: SOT 61981 SOS 51154 HAS SOPS 51154 HAS SOUS 14730 HAS SOUPS 14730 WITH SCORE 14781.154
AT ITER 1784 NEW BEST:: SOT 61981 SOS 51172 HAS SOPS 51172 HAS SOUS 14704 HAS SOUPS 14704 WITH SCORE 14755.172
AT ITER 1785 NEW BEST:: SOT 61980 SOS 51171 HAS SOPS 51171 HAS SOUS 14702 HAS SOUPS 14702 WITH SCORE 14753.171
AT ITER 1797 NEW BEST:: SOT 61999 SOS 51151 HAS SOPS 51151 HAS SOUS 14702 HAS SOUPS 14702 WITH SCORE 14753.151
AT ITER 1817 NEW BEST:: SOT 61993 SOS 51145 HAS SOPS 51145 HAS SOUS 14690 HAS SOUPS 14690 WITH SCORE 14741.145
AT ITER 1828 NEW BEST:: SOT 61993 SOS 51145 HAS SOPS 51145 HAS SOUS 14688 HAS SOUPS 14688 WITH SCORE 14739.145
AT ITER 1830 NEW BEST:: SOT 61927 SOS 50801 HAS SOPS 50801 HAS SOUS 14670 HAS SOUPS 14670 WITH SCORE 14720.801
AT ITER 1835 NEW BEST:: SOT 61621 SOS 50495 HAS SOPS 50495 HAS SOUS 14415 HAS SOUPS 14415 WITH SCORE 14465.495
AT ITER 1838 NEW BEST:: SOT 61646 SOS 50523 HAS SOPS 50523 HAS SOUS 14388 HAS SOUPS 14388 WITH SCORE 14438.523
AT ITER 1862 NEW BEST:: SOT 61645 SOS 50522 HAS SOPS 50522 HAS SOUS 14386 HAS SOUPS 14386 WITH SCORE 14436.522
AT ITER 1865 NEW BEST:: SOT 61638 SOS 50515 HAS SOPS 50515 HAS SOUS 14378 HAS SOUPS 14378 WITH SCORE 14428.515
AT ITER 1872 NEW BEST:: SOT 61480 SOS 50200 HAS SOPS 50200 HAS SOUS 14376 HAS SOUPS 14376 WITH SCORE 14426.2
AT ITER 1893 NEW BEST:: SOT 61469 SOS 50189 HAS SOPS 50189 HAS SOUS 14354 HAS SOUPS 14354 WITH SCORE 14404.189
AT ITER 1899 NEW BEST:: SOT 61483 SOS 50165 HAS SOPS 50165 HAS SOUS 14330 HAS SOUPS 14330 WITH SCORE 14380.165
AT ITER 1904 NEW BEST:: SOT 61441 SOS 50101 HAS SOPS 50101 HAS SOUS 14266 HAS SOUPS 14266 WITH SCORE 14316.101
AT ITER 1911 NEW BEST:: SOT 61440 SOS 50340 HAS SOPS 50340 HAS SOUS 14259 HAS SOUPS 14259 WITH SCORE 14309.34
AT ITER 1917 NEW BEST:: SOT 61440 SOS 50253 HAS SOPS 50253 HAS SOUS 14172 HAS SOUPS 14172 WITH SCORE 14222.253
AT ITER 1922 NEW BEST:: SOT 61439 SOS 50252 HAS SOPS 50252 HAS SOUS 14170 HAS SOUPS 14170 WITH SCORE 14220.252
AT ITER 1929 NEW BEST:: SOT 61398 SOS 50211 HAS SOPS 50211 HAS SOUS 14088 HAS SOUPS 14088 WITH SCORE 14138.211
AT ITER 1939 NEW BEST:: SOT 61415 SOS 50295 HAS SOPS 50295 HAS SOUS 14050 HAS SOUPS 14050 WITH SCORE 14100.295
AT ITER 1946 NEW BEST:: SOT 61400 SOS 50278 HAS SOPS 50278 HAS SOUS 14033 HAS SOUPS 14033 WITH SCORE 14083.278
AT ITER 1950 NEW BEST:: SOT 61399 SOS 50277 HAS SOPS 50277 HAS SOUS 14031 HAS SOUPS 14031 WITH SCORE 14081.277
AT ITER 1974 NEW BEST:: SOT 61301 SOS 50179 HAS SOPS 50179 HAS SOUS 13932 HAS SOUPS 13932 WITH SCORE 13982.179
AT ITER 1987 NEW BEST:: SOT 61259 SOS 50101 HAS SOPS 50101 HAS SOUS 13901 HAS SOUPS 13901 WITH SCORE 13951.101
AT ITER 1989 NEW BEST:: SOT 61254 SOS 50099 HAS SOPS 50099 HAS SOUS 13883 HAS SOUPS 13883 WITH SCORE 13933.099
AT ITER 2016 NEW BEST:: SOT 61253 SOS 50098 HAS SOPS 50098 HAS SOUS 13881 HAS SOUPS 13881 WITH SCORE 13931.098
AT ITER 2058 NEW BEST:: SOT 61233 SOS 50079 HAS SOPS 50079 HAS SOUS 13784 HAS SOUPS 13784 WITH SCORE 13834.079
AT ITER 2071 NEW BEST:: SOT 61221 SOS 50067 HAS SOPS 50067 HAS SOUS 13772 HAS SOUPS 13772 WITH SCORE 13822.067
AT ITER 2090 NEW BEST:: SOT 61212 SOS 50058 HAS SOPS 50058 HAS SOUS 13754 HAS SOUPS 13754 WITH SCORE 13804.058
AT ITER 2112 NEW BEST:: SOT 61181 SOS 50027 HAS SOPS 50027 HAS SOUS 13713 HAS SOUPS 13713 WITH SCORE 13763.027
AT ITER 2115 NEW BEST:: SOT 61173 SOS 50010 HAS SOPS 50010 HAS SOUS 13706 HAS SOUPS 13706 WITH SCORE 13756.01
AT ITER 2118 NEW BEST:: SOT 61125 SOS 49955 HAS SOPS 49955 HAS SOUS 13667 HAS SOUPS 13667 WITH SCORE 13716.955
AT ITER 2147 NEW BEST:: SOT 61088 SOS 49918 HAS SOPS 49918 HAS SOUS 13593 HAS SOUPS 13593 WITH SCORE 13642.918
AT ITER 2151 NEW BEST:: SOT 61061 SOS 49891 HAS SOPS 49891 HAS SOUS 13539 HAS SOUPS 13539 WITH SCORE 13588.891
AT ITER 2156 NEW BEST:: SOT 61061 SOS 49891 HAS SOPS 49891 HAS SOUS 13537 HAS SOUPS 13537 WITH SCORE 13586.891
AT ITER 2173 NEW BEST:: SOT 61008 SOS 49781 HAS SOPS 49781 HAS SOUS 13495 HAS SOUPS 13495 WITH SCORE 13544.781
AT ITER 2180 NEW BEST:: SOT 60999 SOS 49777 HAS SOPS 49777 HAS SOUS 13487 HAS SOUPS 13487 WITH SCORE 13536.777
AT ITER 2191 NEW BEST:: SOT 60997 SOS 49775 HAS SOPS 49775 HAS SOUS 13485 HAS SOUPS 13485 WITH SCORE 13534.775
AT ITER 2196 NEW BEST:: SOT 60992 SOS 49770 HAS SOPS 49770 HAS SOUS 13485 HAS SOUPS 13485 WITH SCORE 13534.77
AT ITER 2211 NEW BEST:: SOT 60984 SOS 49762 HAS SOPS 49762 HAS SOUS 13469 HAS SOUPS 13469 WITH SCORE 13518.762
AT ITER 2217 NEW BEST:: SOT 60981 SOS 49759 HAS SOPS 49759 HAS SOUS 13463 HAS SOUPS 13463 WITH SCORE 13512.759
AT ITER 2225 NEW BEST:: SOT 60980 SOS 49758 HAS SOPS 49758 HAS SOUS 13461 HAS SOUPS 13461 WITH SCORE 13510.758
AT ITER 2241 NEW BEST:: SOT 60834 SOS 49612 HAS SOPS 49612 HAS SOUS 13304 HAS SOUPS 13304 WITH SCORE 13353.612
AT ITER 2257 NEW BEST:: SOT 60824 SOS 49601 HAS SOPS 49601 HAS SOUS 13303 HAS SOUPS 13303 WITH SCORE 13352.601
AT ITER 2259 NEW BEST:: SOT 60797 SOS 49574 HAS SOPS 49574 HAS SOUS 13276 HAS SOUPS 13276 WITH SCORE 13325.574
AT ITER 2298 NEW BEST:: SOT 60812 SOS 49663 HAS SOPS 49663 HAS SOUS 13270 HAS SOUPS 13270 WITH SCORE 13319.663
AT ITER 2312 NEW BEST:: SOT 60810 SOS 49661 HAS SOPS 49661 HAS SOUS 13266 HAS SOUPS 13266 WITH SCORE 13315.661
AT ITER 2382 NEW BEST:: SOT 60806 SOS 49655 HAS SOPS 49655 HAS SOUS 13260 HAS SOUPS 13260 WITH SCORE 13309.655
AT ITER 2401 NEW BEST:: SOT 60760 SOS 49609 HAS SOPS 49609 HAS SOUS 13168 HAS SOUPS 13168 WITH SCORE 13217.609
AT ITER 2405 NEW BEST:: SOT 60743 SOS 49592 HAS SOPS 49592 HAS SOUS 13119 HAS SOUPS 13119 WITH SCORE 13168.592
AT ITER 2436 NEW BEST:: SOT 60743 SOS 49596 HAS SOPS 49596 HAS SOUS 13115 HAS SOUPS 13115 WITH SCORE 13164.596
AT ITER 2442 NEW BEST:: SOT 60735 SOS 49588 HAS SOPS 49588 HAS SOUS 13099 HAS SOUPS 13099 WITH SCORE 13148.588
AT ITER 2461 NEW BEST:: SOT 60735 SOS 47133 HAS SOPS 47133 HAS SOUS 13066 HAS SOUPS 13066 WITH SCORE 13113.133
AT ITER 2479 NEW BEST:: SOT 60731 SOS 47129 HAS SOPS 47129 HAS SOUS 13065 HAS SOUPS 13065 WITH SCORE 13112.129
AT ITER 2483 NEW BEST:: SOT 60729 SOS 47096 HAS SOPS 47096 HAS SOUS 13032 HAS SOUPS 13032 WITH SCORE 13079.096
AT ITER 2491 NEW BEST:: SOT 60729 SOS 47071 HAS SOPS 47071 HAS SOUS 12747 HAS SOUPS 12747 WITH SCORE 12794.071
AT ITER 2500 NEW BEST:: SOT 60728 SOS 47070 HAS SOPS 47070 HAS SOUS 12746 HAS SOUPS 12746 WITH SCORE 12793.07
AT ITER 2569 NEW BEST:: SOT 60727 SOS 47069 HAS SOPS 47069 HAS SOUS 12744 HAS SOUPS 12744 WITH SCORE 12791.069
AT ITER 2617 NEW BEST:: SOT 60712 SOS 47058 HAS SOPS 47058 HAS SOUS 12696 HAS SOUPS 12696 WITH SCORE 12743.058
AT ITER 2672 NEW BEST:: SOT 60706 SOS 47052 HAS SOPS 47052 HAS SOUS 12684 HAS SOUPS 12684 WITH SCORE 12731.052
AT ITER 2719 NEW BEST:: SOT 60660 SOS 47006 HAS SOPS 47006 HAS SOUS 12658 HAS SOUPS 12658 WITH SCORE 12705.006
AT ITER 2741 NEW BEST:: SOT 60672 SOS 47075 HAS SOPS 47075 HAS SOUS 12655 HAS SOUPS 12655 WITH SCORE 12702.075
AT ITER 2773 NEW BEST:: SOT 60664 SOS 47059 HAS SOPS 47059 HAS SOUS 12647 HAS SOUPS 12647 WITH SCORE 12694.059
AT ITER 2775 NEW BEST:: SOT 60664 SOS 47059 HAS SOPS 47059 HAS SOUS 12627 HAS SOUPS 12627 WITH SCORE 12674.059
AT ITER 2816 NEW BEST:: SOT 60663 SOS 47058 HAS SOPS 47058 HAS SOUS 12625 HAS SOUPS 12625 WITH SCORE 12672.058
AT ITER 2843 NEW BEST:: SOT 60673 SOS 47031 HAS SOPS 47031 HAS SOUS 12607 HAS SOUPS 12607 WITH SCORE 12654.031
AT ITER 2857 NEW BEST:: SOT 60639 SOS 46967 HAS SOPS 46967 HAS SOUS 12543 HAS SOUPS 12543 WITH SCORE 12589.967
AT ITER 2882 NEW BEST:: SOT 60639 SOS 46967 HAS SOPS 46967 HAS SOUS 12534 HAS SOUPS 12534 WITH SCORE 12580.967
AT ITER 2888 NEW BEST:: SOT 60731 SOS 47059 HAS SOPS 47059 HAS SOUS 12507 HAS SOUPS 12507 WITH SCORE 12554.059
AT ITER 2909 NEW BEST:: SOT 60727 SOS 47047 HAS SOPS 47047 HAS SOUS 12507 HAS SOUPS 12507 WITH SCORE 12554.047
AT ITER 2915 NEW BEST:: SOT 60725 SOS 47045 HAS SOPS 47045 HAS SOUS 12503 HAS SOUPS 12503 WITH SCORE 12550.045
AT ITER 2953 NEW BEST:: SOT 60724 SOS 47044 HAS SOPS 47044 HAS SOUS 12501 HAS SOUPS 12501 WITH SCORE 12548.044
AT ITER 2968 NEW BEST:: SOT 60598 SOS 46887 HAS SOPS 46887 HAS SOUS 12344 HAS SOUPS 12344 WITH SCORE 12390.887
AT ITER 2986 NEW BEST:: SOT 60598 SOS 46887 HAS SOPS 46887 HAS SOUS 12343 HAS SOUPS 12343 WITH SCORE 12389.887
AT ITER 3014 NEW BEST:: SOT 60508 SOS 46797 HAS SOPS 46797 HAS SOUS 12341 HAS SOUPS 12341 WITH SCORE 12387.797
AT ITER 3069 NEW BEST:: SOT 60502 SOS 46791 HAS SOPS 46791 HAS SOUS 12333 HAS SOUPS 12333 WITH SCORE 12379.791
AT ITER 3072 NEW BEST:: SOT 60479 SOS 46723 HAS SOPS 46723 HAS SOUS 12332 HAS SOUPS 12332 WITH SCORE 12378.723
AT ITER 3075 NEW BEST:: SOT 60393 SOS 46637 HAS SOPS 46637 HAS SOUS 12332 HAS SOUPS 12332 WITH SCORE 12378.637
AT ITER 3124 NEW BEST:: SOT 60309 SOS 46550 HAS SOPS 46550 HAS SOUS 12245 HAS SOUPS 12245 WITH SCORE 12291.55
AT ITER 3144 NEW BEST:: SOT 60301 SOS 46542 HAS SOPS 46542 HAS SOUS 12237 HAS SOUPS 12237 WITH SCORE 12283.542
AT ITER 3150 NEW BEST:: SOT 60301 SOS 46516 HAS SOPS 46516 HAS SOUS 12237 HAS SOUPS 12237 WITH SCORE 12283.516
AT ITER 3156 NEW BEST:: SOT 60300 SOS 46515 HAS SOPS 46515 HAS SOUS 12235 HAS SOUPS 12235 WITH SCORE 12281.515
AT ITER 3163 NEW BEST:: SOT 60292 SOS 46499 HAS SOPS 46499 HAS SOUS 12221 HAS SOUPS 12221 WITH SCORE 12267.499
AT ITER 3183 NEW BEST:: SOT 60287 SOS 46494 HAS SOPS 46494 HAS SOUS 12216 HAS SOUPS 12216 WITH SCORE 12262.494
AT ITER 3196 NEW BEST:: SOT 60284 SOS 46491 HAS SOPS 46491 HAS SOUS 12210 HAS SOUPS 12210 WITH SCORE 12256.491
AT ITER 3225 NEW BEST:: SOT 60267 SOS 46477 HAS SOPS 46477 HAS SOUS 12188 HAS SOUPS 12188 WITH SCORE 12234.477
AT ITER 3232 NEW BEST:: SOT 60286 SOS 46496 HAS SOPS 46496 HAS SOUS 12176 HAS SOUPS 12176 WITH SCORE 12222.496
AT ITER 3302 NEW BEST:: SOT 60186 SOS 46338 HAS SOPS 46338 HAS SOUS 12115 HAS SOUPS 12115 WITH SCORE 12161.338
AT ITER 3314 NEW BEST:: SOT 60166 SOS 46318 HAS SOPS 46318 HAS SOUS 12075 HAS SOUPS 12075 WITH SCORE 12121.318
AT ITER 3329 NEW BEST:: SOT 60170 SOS 46322 HAS SOPS 46322 HAS SOUS 12060 HAS SOUPS 12060 WITH SCORE 12106.322
AT ITER 3334 NEW BEST:: SOT 60165 SOS 46317 HAS SOPS 46317 HAS SOUS 12050 HAS SOUPS 12050 WITH SCORE 12096.317
AT ITER 3339 NEW BEST:: SOT 60157 SOS 46309 HAS SOPS 46309 HAS SOUS 12034 HAS SOUPS 12034 WITH SCORE 12080.309
AT ITER 3366 NEW BEST:: SOT 60155 SOS 46307 HAS SOPS 46307 HAS SOUS 12032 HAS SOUPS 12032 WITH SCORE 12078.307
AT ITER 3389 NEW BEST:: SOT 60149 SOS 46301 HAS SOPS 46301 HAS SOUS 12020 HAS SOUPS 12020 WITH SCORE 12066.301
AT ITER 3399 NEW BEST:: SOT 60143 SOS 46289 HAS SOPS 46289 HAS SOUS 12014 HAS SOUPS 12014 WITH SCORE 12060.289
AT ITER 3488 NEW BEST:: SOT 60117 SOS 46214 HAS SOPS 46214 HAS SOUS 11963 HAS SOUPS 11963 WITH SCORE 12009.214
AT ITER 3491 NEW BEST:: SOT 60104 SOS 45426 HAS SOPS 45426 HAS SOUS 11941 HAS SOUPS 11941 WITH SCORE 11986.426
AT ITER 3513 NEW BEST:: SOT 60103 SOS 45425 HAS SOPS 45425 HAS SOUS 11938 HAS SOUPS 11938 WITH SCORE 11983.425
AT ITER 3550 NEW BEST:: SOT 60102 SOS 45424 HAS SOPS 45424 HAS SOUS 11936 HAS SOUPS 11936 WITH SCORE 11981.424
AT ITER 3569 NEW BEST:: SOT 60102 SOS 45424 HAS SOPS 45424 HAS SOUS 11929 HAS SOUPS 11929 WITH SCORE 11974.424
AT ITER 3577 NEW BEST:: SOT 60102 SOS 45424 HAS SOPS 45424 HAS SOUS 11927 HAS SOUPS 11927 WITH SCORE 11972.424
AT ITER 3588 NEW BEST:: SOT 60105 SOS 45427 HAS SOPS 45427 HAS SOUS 11918 HAS SOUPS 11918 WITH SCORE 11963.427
AT ITER 3608 NEW BEST:: SOT 60089 SOS 45411 HAS SOPS 45411 HAS SOUS 11886 HAS SOUPS 11886 WITH SCORE 11931.411
AT ITER 3616 NEW BEST:: SOT 60091 SOS 45429 HAS SOPS 45429 HAS SOUS 11847 HAS SOUPS 11847 WITH SCORE 11892.429
AT ITER 3654 NEW BEST:: SOT 60109 SOS 45448 HAS SOPS 45448 HAS SOUS 11829 HAS SOUPS 11829 WITH SCORE 11874.448
AT ITER 3664 NEW BEST:: SOT 60091 SOS 45430 HAS SOPS 45430 HAS SOUS 11793 HAS SOUPS 11793 WITH SCORE 11838.43
AT ITER 3692 NEW BEST:: SOT 60051 SOS 45424 HAS SOPS 45424 HAS SOUS 11740 HAS SOUPS 11740 WITH SCORE 11785.424
AT ITER 3693 NEW BEST:: SOT 60050 SOS 45424 HAS SOPS 45424 HAS SOUS 11739 HAS SOUPS 11739 WITH SCORE 11784.424
AT ITER 3773 NEW BEST:: SOT 60044 SOS 45418 HAS SOPS 45418 HAS SOUS 11733 HAS SOUPS 11733 WITH SCORE 11778.418
AT ITER 3776 NEW BEST:: SOT 60029 SOS 45366 HAS SOPS 45366 HAS SOUS 11681 HAS SOUPS 11681 WITH SCORE 11726.366
AT ITER 3838 NEW BEST:: SOT 60042 SOS 45379 HAS SOPS 45379 HAS SOUS 11669 HAS SOUPS 11669 WITH SCORE 11714.379
AT ITER 3862 NEW BEST:: SOT 60027 SOS 45364 HAS SOPS 45364 HAS SOUS 11639 HAS SOUPS 11639 WITH SCORE 11684.364
AT ITER 3865 NEW BEST:: SOT 60025 SOS 45362 HAS SOPS 45362 HAS SOUS 11635 HAS SOUPS 11635 WITH SCORE 11680.362
AT ITER 3906 NEW BEST:: SOT 60024 SOS 45361 HAS SOPS 45361 HAS SOUS 11633 HAS SOUPS 11633 WITH SCORE 11678.361
AT ITER 3914 NEW BEST:: SOT 60024 SOS 45373 HAS SOPS 45373 HAS SOUS 11632 HAS SOUPS 11632 WITH SCORE 11677.373
AT ITER 3919 NEW BEST:: SOT 60049 SOS 45398 HAS SOPS 45398 HAS SOUS 11565 HAS SOUPS 11565 WITH SCORE 11610.398
AT ITER 3922 NEW BEST:: SOT 60047 SOS 45396 HAS SOPS 45396 HAS SOUS 11561 HAS SOUPS 11561 WITH SCORE 11606.396
AT ITER 3927 NEW BEST:: SOT 60047 SOS 45240 HAS SOPS 45240 HAS SOUS 11405 HAS SOUPS 11405 WITH SCORE 11450.24
AT ITER 3967 NEW BEST:: SOT 60023 SOS 45191 HAS SOPS 45191 HAS SOUS 11390 HAS SOUPS 11390 WITH SCORE 11435.191
AT ITER 3971 NEW BEST:: SOT 59993 SOS 45161 HAS SOPS 45161 HAS SOUS 11375 HAS SOUPS 11375 WITH SCORE 11420.161
AT ITER 3980 NEW BEST:: SOT 59993 SOS 45120 HAS SOPS 45120 HAS SOUS 11334 HAS SOUPS 11334 WITH SCORE 11379.12
AT ITER 4036 NEW BEST:: SOT 59987 SOS 45114 HAS SOPS 45114 HAS SOUS 11264 HAS SOUPS 11264 WITH SCORE 11309.114
AT ITER 4043 NEW BEST:: SOT 59978 SOS 45043 HAS SOPS 45043 HAS SOUS 11257 HAS SOUPS 11257 WITH SCORE 11302.043
AT ITER 4055 NEW BEST:: SOT 59978 SOS 45028 HAS SOPS 45028 HAS SOUS 11242 HAS SOUPS 11242 WITH SCORE 11287.028
AT ITER 4077 NEW BEST:: SOT 59949 SOS 44279 HAS SOPS 44279 HAS SOUS 11214 HAS SOUPS 11214 WITH SCORE 11258.279
AT ITER 4081 NEW BEST:: SOT 59935 SOS 44265 HAS SOPS 44265 HAS SOUS 11186 HAS SOUPS 11186 WITH SCORE 11230.265
AT ITER 4114 NEW BEST:: SOT 59905 SOS 44235 HAS SOPS 44235 HAS SOUS 11156 HAS SOUPS 11156 WITH SCORE 11200.235
AT ITER 4118 NEW BEST:: SOT 59875 SOS 44205 HAS SOPS 44205 HAS SOUS 11111 HAS SOUPS 11111 WITH SCORE 11155.205
AT ITER 4146 NEW BEST:: SOT 59891 SOS 44221 HAS SOPS 44221 HAS SOUS 11073 HAS SOUPS 11073 WITH SCORE 11117.221
AT ITER 4210 NEW BEST:: SOT 59857 SOS 44187 HAS SOPS 44187 HAS SOUS 11005 HAS SOUPS 11005 WITH SCORE 11049.187
AT ITER 4232 NEW BEST:: SOT 59846 SOS 44176 HAS SOPS 44176 HAS SOUS 10983 HAS SOUPS 10983 WITH SCORE 11027.176
AT ITER 4254 NEW BEST:: SOT 59794 SOS 44124 HAS SOPS 44124 HAS SOUS 10879 HAS SOUPS 10879 WITH SCORE 10923.124
AT ITER 4296 NEW BEST:: SOT 59789 SOS 44119 HAS SOPS 44119 HAS SOUS 10869 HAS SOUPS 10869 WITH SCORE 10913.119
AT ITER 4298 NEW BEST:: SOT 59694 SOS 43887 HAS SOPS 43887 HAS SOUS 10637 HAS SOUPS 10637 WITH SCORE 10680.887
AT ITER 4304 NEW BEST:: SOT 59627 SOS 43815 HAS SOPS 43815 HAS SOUS 10621 HAS SOUPS 10621 WITH SCORE 10664.815
AT ITER 4350 NEW BEST:: SOT 59627 SOS 43810 HAS SOPS 43810 HAS SOUS 10616 HAS SOUPS 10616 WITH SCORE 10659.81
AT ITER 4376 NEW BEST:: SOT 59605 SOS 43769 HAS SOPS 43769 HAS SOUS 10591 HAS SOUPS 10591 WITH SCORE 10634.769
AT ITER 4379 NEW BEST:: SOT 59605 SOS 43766 HAS SOPS 43766 HAS SOUS 10588 HAS SOUPS 10588 WITH SCORE 10631.766
AT ITER 4397 NEW BEST:: SOT 59555 SOS 43751 HAS SOPS 43751 HAS SOUS 10573 HAS SOUPS 10573 WITH SCORE 10616.751
AT ITER 4410 NEW BEST:: SOT 59555 SOS 43750 HAS SOPS 43750 HAS SOUS 10573 HAS SOUPS 10573 WITH SCORE 10616.75
AT ITER 4426 NEW BEST:: SOT 59547 SOS 43742 HAS SOPS 43742 HAS SOUS 10557 HAS SOUPS 10557 WITH SCORE 10600.742
AT ITER 4440 NEW BEST:: SOT 59544 SOS 43739 HAS SOPS 43739 HAS SOUS 10551 HAS SOUPS 10551 WITH SCORE 10594.739
AT ITER 4515 NEW BEST:: SOT 59538 SOS 43733 HAS SOPS 43733 HAS SOUS 10533 HAS SOUPS 10533 WITH SCORE 10576.733
AT ITER 4520 NEW BEST:: SOT 59522 SOS 43692 HAS SOPS 43692 HAS SOUS 10513 HAS SOUPS 10513 WITH SCORE 10556.692
AT ITER 4540 NEW BEST:: SOT 59520 SOS 43690 HAS SOPS 43690 HAS SOUS 10511 HAS SOUPS 10511 WITH SCORE 10554.69
AT ITER 4579 NEW BEST:: SOT 59517 SOS 43687 HAS SOPS 43687 HAS SOUS 10511 HAS SOUPS 10511 WITH SCORE 10554.687
AT ITER 4580 NEW BEST:: SOT 59513 SOS 43706 HAS SOPS 43706 HAS SOUS 10501 HAS SOUPS 10501 WITH SCORE 10544.706
AT ITER 4598 NEW BEST:: SOT 59505 SOS 43698 HAS SOPS 43698 HAS SOUS 10501 HAS SOUPS 10501 WITH SCORE 10544.698
AT ITER 4657 NEW BEST:: SOT 59496 SOS 43689 HAS SOPS 43689 HAS SOUS 10483 HAS SOUPS 10483 WITH SCORE 10526.689
AT ITER 4673 NEW BEST:: SOT 59478 SOS 43671 HAS SOPS 43671 HAS SOUS 10447 HAS SOUPS 10447 WITH SCORE 10490.671
AT ITER 4679 NEW BEST:: SOT 59452 SOS 43645 HAS SOPS 43645 HAS SOUS 10430 HAS SOUPS 10430 WITH SCORE 10473.645
AT ITER 4703 NEW BEST:: SOT 59433 SOS 43626 HAS SOPS 43626 HAS SOUS 10392 HAS SOUPS 10392 WITH SCORE 10435.626
AT ITER 4708 NEW BEST:: SOT 59421 SOS 43614 HAS SOPS 43614 HAS SOUS 10368 HAS SOUPS 10368 WITH SCORE 10411.614
AT ITER 4710 NEW BEST:: SOT 59431 SOS 43766 HAS SOPS 43766 HAS SOUS 10362 HAS SOUPS 10362 WITH SCORE 10405.766
AT ITER 4715 NEW BEST:: SOT 59420 SOS 43755 HAS SOPS 43755 HAS SOUS 10351 HAS SOUPS 10351 WITH SCORE 10394.755
AT ITER 4746 NEW BEST:: SOT 59405 SOS 43741 HAS SOPS 43741 HAS SOUS 10337 HAS SOUPS 10337 WITH SCORE 10380.741
AT ITER 4780 NEW BEST:: SOT 59351 SOS 43646 HAS SOPS 43646 HAS SOUS 10284 HAS SOUPS 10284 WITH SCORE 10327.646
AT ITER 4784 NEW BEST:: SOT 59347 SOS 43642 HAS SOPS 43642 HAS SOUS 10276 HAS SOUPS 10276 WITH SCORE 10319.642
AT ITER 4812 NEW BEST:: SOT 59337 SOS 43632 HAS SOPS 43632 HAS SOUS 10276 HAS SOUPS 10276 WITH SCORE 10319.632
AT ITER 4818 NEW BEST:: SOT 59317 SOS 43610 HAS SOPS 43610 HAS SOUS 10270 HAS SOUPS 10270 WITH SCORE 10313.61
AT ITER 4822 NEW BEST:: SOT 59270 SOS 43559 HAS SOPS 43559 HAS SOUS 10266 HAS SOUPS 10266 WITH SCORE 10309.559
AT ITER 4837 NEW BEST:: SOT 59231 SOS 43470 HAS SOPS 43470 HAS SOUS 10238 HAS SOUPS 10238 WITH SCORE 10281.47
AT ITER 4856 NEW BEST:: SOT 59222 SOS 43463 HAS SOPS 43463 HAS SOUS 10237 HAS SOUPS 10237 WITH SCORE 10280.463
AT ITER 4858 NEW BEST:: SOT 59182 SOS 43403 HAS SOPS 43403 HAS SOUS 10217 HAS SOUPS 10217 WITH SCORE 10260.403
AT ITER 4997 NEW BEST:: SOT 59180 SOS 43410 HAS SOPS 43410 HAS SOUS 10205 HAS SOUPS 10205 WITH SCORE 10248.41
AT ITER 5008 NEW BEST:: SOT 59180 SOS 43409 HAS SOPS 43409 HAS SOUS 10202 HAS SOUPS 10202 WITH SCORE 10245.409
AT ITER 5009 NEW BEST:: SOT 59197 SOS 43426 HAS SOPS 43426 HAS SOUS 10196 HAS SOUPS 10196 WITH SCORE 10239.426
AT ITER 5049 NEW BEST:: SOT 59197 SOS 43401 HAS SOPS 43401 HAS SOUS 10179 HAS SOUPS 10179 WITH SCORE 10222.401
AT ITER 5092 NEW BEST:: SOT 59193 SOS 43397 HAS SOPS 43397 HAS SOUS 10171 HAS SOUPS 10171 WITH SCORE 10214.397
AT ITER 5143 NEW BEST:: SOT 59193 SOS 43408 HAS SOPS 43408 HAS SOUS 10169 HAS SOUPS 10169 WITH SCORE 10212.408
AT ITER 5179 NEW BEST:: SOT 59189 SOS 43399 HAS SOPS 43399 HAS SOUS 10166 HAS SOUPS 10166 WITH SCORE 10209.399
AT ITER 5187 NEW BEST:: SOT 59179 SOS 43389 HAS SOPS 43389 HAS SOUS 10156 HAS SOUPS 10156 WITH SCORE 10199.389
AT ITER 5190 NEW BEST:: SOT 59169 SOS 43379 HAS SOPS 43379 HAS SOUS 10136 HAS SOUPS 10136 WITH SCORE 10179.379
AT ITER 5212 NEW BEST:: SOT 59162 SOS 43371 HAS SOPS 43371 HAS SOUS 10128 HAS SOUPS 10128 WITH SCORE 10171.371
AT ITER 5220 NEW BEST:: SOT 59159 SOS 43368 HAS SOPS 43368 HAS SOUS 10122 HAS SOUPS 10122 WITH SCORE 10165.368
AT ITER 5223 NEW BEST:: SOT 59135 SOS 43365 HAS SOPS 43365 HAS SOUS 10081 HAS SOUPS 10081 WITH SCORE 10124.365
AT ITER 5230 NEW BEST:: SOT 59134 SOS 43364 HAS SOPS 43364 HAS SOUS 10079 HAS SOUPS 10079 WITH SCORE 10122.364
AT ITER 5249 NEW BEST:: SOT 59134 SOS 43364 HAS SOPS 43364 HAS SOUS 10077 HAS SOUPS 10077 WITH SCORE 10120.364
AT ITER 5294 NEW BEST:: SOT 59113 SOS 43313 HAS SOPS 43313 HAS SOUS 10065 HAS SOUPS 10065 WITH SCORE 10108.313
AT ITER 5360 NEW BEST:: SOT 59111 SOS 43311 HAS SOPS 43311 HAS SOUS 10061 HAS SOUPS 10061 WITH SCORE 10104.311
AT ITER 5374 NEW BEST:: SOT 59110 SOS 43310 HAS SOPS 43310 HAS SOUS 10058 HAS SOUPS 10058 WITH SCORE 10101.31
AT ITER 5384 NEW BEST:: SOT 59102 SOS 43302 HAS SOPS 43302 HAS SOUS 10058 HAS SOUPS 10058 WITH SCORE 10101.302
AT ITER 5392 NEW BEST:: SOT 59099 SOS 43299 HAS SOPS 43299 HAS SOUS 10052 HAS SOUPS 10052 WITH SCORE 10095.299
AT ITER 5403 NEW BEST:: SOT 59098 SOS 43298 HAS SOPS 43298 HAS SOUS 10051 HAS SOUPS 10051 WITH SCORE 10094.298
AT ITER 5431 NEW BEST:: SOT 59099 SOS 43299 HAS SOPS 43299 HAS SOUS 10038 HAS SOUPS 10038 WITH SCORE 10081.299
AT ITER 5451 NEW BEST:: SOT 59075 SOS 43275 HAS SOPS 43275 HAS SOUS 9990 HAS SOUPS 9990 WITH SCORE 10033.275
AT ITER 5454 NEW BEST:: SOT 59072 SOS 43272 HAS SOPS 43272 HAS SOUS 9984 HAS SOUPS 9984 WITH SCORE 10027.272
AT ITER 5465 NEW BEST:: SOT 59077 SOS 43277 HAS SOPS 43277 HAS SOUS 9968 HAS SOUPS 9968 WITH SCORE 10011.277
AT ITER 5478 NEW BEST:: SOT 59057 SOS 43247 HAS SOPS 43247 HAS SOUS 9938 HAS SOUPS 9938 WITH SCORE 9981.247
AT ITER 5543 NEW BEST:: SOT 59033 SOS 43223 HAS SOPS 43223 HAS SOUS 9932 HAS SOUPS 9932 WITH SCORE 9975.223
AT ITER 5557 NEW BEST:: SOT 58990 SOS 41578 HAS SOPS 41578 HAS SOUS 9873 HAS SOUPS 9873 WITH SCORE 9914.578
AT ITER 5595 NEW BEST:: SOT 58994 SOS 41582 HAS SOPS 41582 HAS SOUS 9841 HAS SOUPS 9841 WITH SCORE 9882.582
AT ITER 5617 NEW BEST:: SOT 58991 SOS 41579 HAS SOPS 41579 HAS SOUS 9835 HAS SOUPS 9835 WITH SCORE 9876.579
AT ITER 5639 NEW BEST:: SOT 58983 SOS 41571 HAS SOPS 41571 HAS SOUS 9827 HAS SOUPS 9827 WITH SCORE 9868.571
AT ITER 5660 NEW BEST:: SOT 58962 SOS 41550 HAS SOPS 41550 HAS SOUS 9825 HAS SOUPS 9825 WITH SCORE 9866.55
AT ITER 5663 NEW BEST:: SOT 58961 SOS 41549 HAS SOPS 41549 HAS SOUS 9823 HAS SOUPS 9823 WITH SCORE 9864.549
AT ITER 5696 NEW BEST:: SOT 58960 SOS 41547 HAS SOPS 41547 HAS SOUS 9822 HAS SOUPS 9822 WITH SCORE 9863.547
AT ITER 5732 NEW BEST:: SOT 58902 SOS 41489 HAS SOPS 41489 HAS SOUS 9822 HAS SOUPS 9822 WITH SCORE 9863.489
AT ITER 5774 NEW BEST:: SOT 58875 SOS 41462 HAS SOPS 41462 HAS SOUS 9816 HAS SOUPS 9816 WITH SCORE 9857.462
AT ITER 5786 NEW BEST:: SOT 58868 SOS 41455 HAS SOPS 41455 HAS SOUS 9802 HAS SOUPS 9802 WITH SCORE 9843.455
AT ITER 5795 NEW BEST:: SOT 58868 SOS 41455 HAS SOPS 41455 HAS SOUS 9801 HAS SOUPS 9801 WITH SCORE 9842.455
AT ITER 5986 NEW BEST:: SOT 58852 SOS 41439 HAS SOPS 41439 HAS SOUS 9785 HAS SOUPS 9785 WITH SCORE 9826.439
AT ITER 5993 NEW BEST:: SOT 58791 SOS 41313 HAS SOPS 41313 HAS SOUS 9783 HAS SOUPS 9783 WITH SCORE 9824.313
AT ITER 5998 NEW BEST:: SOT 58825 SOS 41346 HAS SOPS 41346 HAS SOUS 9728 HAS SOUPS 9728 WITH SCORE 9769.346
AT ITER 6041 NEW BEST:: SOT 58806 SOS 41257 HAS SOPS 41257 HAS SOUS 9692 HAS SOUPS 9692 WITH SCORE 9733.257
AT ITER 6048 NEW BEST:: SOT 58815 SOS 41266 HAS SOPS 41266 HAS SOUS 9599 HAS SOUPS 9599 WITH SCORE 9640.266
AT ITER 6074 NEW BEST:: SOT 58786 SOS 41237 HAS SOPS 41237 HAS SOUS 9541 HAS SOUPS 9541 WITH SCORE 9582.237
AT ITER 6159 NEW BEST:: SOT 58785 SOS 41236 HAS SOPS 41236 HAS SOUS 9539 HAS SOUPS 9539 WITH SCORE 9580.236
AT ITER 6173 NEW BEST:: SOT 58767 SOS 41218 HAS SOPS 41218 HAS SOUS 9535 HAS SOUPS 9535 WITH SCORE 9576.218
AT ITER 6186 NEW BEST:: SOT 58767 SOS 41398 HAS SOPS 41398 HAS SOUS 9532 HAS SOUPS 9532 WITH SCORE 9573.398
AT ITER 6197 NEW BEST:: SOT 58763 SOS 41394 HAS SOPS 41394 HAS SOUS 9524 HAS SOUPS 9524 WITH SCORE 9565.394
AT ITER 6229 NEW BEST:: SOT 58763 SOS 41388 HAS SOPS 41388 HAS SOUS 9524 HAS SOUPS 9524 WITH SCORE 9565.388
AT ITER 6281 NEW BEST:: SOT 58785 SOS 41405 HAS SOPS 41405 HAS SOUS 9522 HAS SOUPS 9522 WITH SCORE 9563.405
AT ITER 6283 NEW BEST:: SOT 58779 SOS 41399 HAS SOPS 41399 HAS SOUS 9514 HAS SOUPS 9514 WITH SCORE 9555.399
AT ITER 6285 NEW BEST:: SOT 58765 SOS 41385 HAS SOPS 41385 HAS SOUS 9486 HAS SOUPS 9486 WITH SCORE 9527.385
AT ITER 6310 NEW BEST:: SOT 58749 SOS 41325 HAS SOPS 41325 HAS SOUS 9460 HAS SOUPS 9460 WITH SCORE 9501.325
AT ITER 6328 NEW BEST:: SOT 58742 SOS 41317 HAS SOPS 41317 HAS SOUS 9454 HAS SOUPS 9454 WITH SCORE 9495.317
AT ITER 6419 NEW BEST:: SOT 58739 SOS 41314 HAS SOPS 41314 HAS SOUS 9452 HAS SOUPS 9452 WITH SCORE 9493.314
AT ITER 6432 NEW BEST:: SOT 58756 SOS 41331 HAS SOPS 41331 HAS SOUS 9433 HAS SOUPS 9433 WITH SCORE 9474.331
AT ITER 6504 NEW BEST:: SOT 58755 SOS 41330 HAS SOPS 41330 HAS SOUS 9431 HAS SOUPS 9431 WITH SCORE 9472.33
AT ITER 6507 NEW BEST:: SOT 58674 SOS 41249 HAS SOPS 41249 HAS SOUS 9370 HAS SOUPS 9370 WITH SCORE 9411.249
AT ITER 6536 NEW BEST:: SOT 58668 SOS 41243 HAS SOPS 41243 HAS SOUS 9356 HAS SOUPS 9356 WITH SCORE 9397.243
AT ITER 6557 NEW BEST:: SOT 58632 SOS 41143 HAS SOPS 41143 HAS SOUS 9352 HAS SOUPS 9352 WITH SCORE 9393.143
AT ITER 6662 NEW BEST:: SOT 58442 SOS 40953 HAS SOPS 40953 HAS SOUS 9314 HAS SOUPS 9314 WITH SCORE 9354.953
AT ITER 6666 NEW BEST:: SOT 58442 SOS 40961 HAS SOPS 40961 HAS SOUS 9306 HAS SOUPS 9306 WITH SCORE 9346.961
AT ITER 6697 NEW BEST:: SOT 58442 SOS 40957 HAS SOPS 40957 HAS SOUS 9306 HAS SOUPS 9306 WITH SCORE 9346.957
AT ITER 6757 NEW BEST:: SOT 58440 SOS 40955 HAS SOPS 40955 HAS SOUS 9304 HAS SOUPS 9304 WITH SCORE 9344.955
AT ITER 6864 NEW BEST:: SOT 58443 SOS 40986 HAS SOPS 40986 HAS SOUS 9299 HAS SOUPS 9299 WITH SCORE 9339.986
AT ITER 6872 NEW BEST:: SOT 58461 SOS 41004 HAS SOPS 41004 HAS SOUS 9291 HAS SOUPS 9291 WITH SCORE 9332.004
AT ITER 6901 NEW BEST:: SOT 58460 SOS 41003 HAS SOPS 41003 HAS SOUS 9289 HAS SOUPS 9289 WITH SCORE 9330.003
AT ITER 6907 NEW BEST:: SOT 58442 SOS 40985 HAS SOPS 40985 HAS SOUS 9278 HAS SOUPS 9278 WITH SCORE 9318.985
AT ITER 6919 NEW BEST:: SOT 58423 SOS 40966 HAS SOPS 40966 HAS SOUS 9271 HAS SOUPS 9271 WITH SCORE 9311.966
AT ITER 7010 NEW BEST:: SOT 58414 SOS 40957 HAS SOPS 40957 HAS SOUS 9253 HAS SOUPS 9253 WITH SCORE 9293.957
AT ITER 7016 NEW BEST:: SOT 58402 SOS 40945 HAS SOPS 40945 HAS SOUS 9253 HAS SOUPS 9253 WITH SCORE 9293.945
AT ITER 7188 NEW BEST:: SOT 58400 SOS 40942 HAS SOPS 40942 HAS SOUS 9250 HAS SOUPS 9250 WITH SCORE 9290.942
AT ITER 7270 NEW BEST:: SOT 58395 SOS 40937 HAS SOPS 40937 HAS SOUS 9240 HAS SOUPS 9240 WITH SCORE 9280.937
AT ITER 7280 NEW BEST:: SOT 58394 SOS 40936 HAS SOPS 40936 HAS SOUS 9238 HAS SOUPS 9238 WITH SCORE 9278.936
AT ITER 7306 NEW BEST:: SOT 58394 SOS 40936 HAS SOPS 40936 HAS SOUS 9224 HAS SOUPS 9224 WITH SCORE 9264.936
AT ITER 7324 NEW BEST:: SOT 58396 SOS 40938 HAS SOPS 40938 HAS SOUS 9222 HAS SOUPS 9222 WITH SCORE 9262.938
AT ITER 7337 NEW BEST:: SOT 58395 SOS 40913 HAS SOPS 40913 HAS SOUS 9197 HAS SOUPS 9197 WITH SCORE 9237.913
AT ITER 7411 NEW BEST:: SOT 58393 SOS 40911 HAS SOPS 40911 HAS SOUS 9193 HAS SOUPS 9193 WITH SCORE 9233.911
AT ITER 7458 NEW BEST:: SOT 58382 SOS 40900 HAS SOPS 40900 HAS SOUS 9171 HAS SOUPS 9171 WITH SCORE 9211.9
AT ITER 7568 NEW BEST:: SOT 58350 SOS 40852 HAS SOPS 40852 HAS SOUS 9123 HAS SOUPS 9123 WITH SCORE 9163.852
AT ITER 7584 NEW BEST:: SOT 58346 SOS 40848 HAS SOPS 40848 HAS SOUS 9119 HAS SOUPS 9119 WITH SCORE 9159.848
AT ITER 7602 NEW BEST:: SOT 58340 SOS 40842 HAS SOPS 40842 HAS SOUS 9107 HAS SOUPS 9107 WITH SCORE 9147.842
AT ITER 7642 NEW BEST:: SOT 58340 SOS 40784 HAS SOPS 40784 HAS SOUS 9107 HAS SOUPS 9107 WITH SCORE 9147.784
AT ITER 7663 NEW BEST:: SOT 58319 SOS 40763 HAS SOPS 40763 HAS SOUS 9103 HAS SOUPS 9103 WITH SCORE 9143.763
AT ITER 7686 NEW BEST:: SOT 58315 SOS 40759 HAS SOPS 40759 HAS SOUS 9099 HAS SOUPS 9099 WITH SCORE 9139.759
AT ITER 7750 NEW BEST:: SOT 58312 SOS 40756 HAS SOPS 40756 HAS SOUS 9096 HAS SOUPS 9096 WITH SCORE 9136.756
AT ITER 7786 NEW BEST:: SOT 58306 SOS 40750 HAS SOPS 40750 HAS SOUS 9084 HAS SOUPS 9084 WITH SCORE 9124.75
AT ITER 7821 NEW BEST:: SOT 58305 SOS 40749 HAS SOPS 40749 HAS SOUS 9082 HAS SOUPS 9082 WITH SCORE 9122.749
AT ITER 7888 NEW BEST:: SOT 58304 SOS 40748 HAS SOPS 40748 HAS SOUS 9062 HAS SOUPS 9062 WITH SCORE 9102.748
AT ITER 7918 NEW BEST:: SOT 58278 SOS 40722 HAS SOPS 40722 HAS SOUS 9058 HAS SOUPS 9058 WITH SCORE 9098.722
AT ITER 7930 NEW BEST:: SOT 58278 SOS 40721 HAS SOPS 40721 HAS SOUS 9057 HAS SOUPS 9057 WITH SCORE 9097.721
AT ITER 7946 NEW BEST:: SOT 58255 SOS 40685 HAS SOPS 40685 HAS SOUS 9038 HAS SOUPS 9038 WITH SCORE 9078.685
AT ITER 7951 NEW BEST:: SOT 58253 SOS 40683 HAS SOPS 40683 HAS SOUS 9034 HAS SOUPS 9034 WITH SCORE 9074.683
AT ITER 7978 NEW BEST:: SOT 58247 SOS 40677 HAS SOPS 40677 HAS SOUS 9022 HAS SOUPS 9022 WITH SCORE 9062.677
AT ITER 8061 NEW BEST:: SOT 58239 SOS 40669 HAS SOPS 40669 HAS SOUS 9006 HAS SOUPS 9006 WITH SCORE 9046.669
AT ITER 8088 NEW BEST:: SOT 58231 SOS 40661 HAS SOPS 40661 HAS SOUS 9006 HAS SOUPS 9006 WITH SCORE 9046.661
AT ITER 8172 NEW BEST:: SOT 58203 SOS 40624 HAS SOPS 40624 HAS SOUS 9005 HAS SOUPS 9005 WITH SCORE 9045.624
AT ITER 8173 NEW BEST:: SOT 58194 SOS 40615 HAS SOPS 40615 HAS SOUS 8978 HAS SOUPS 8978 WITH SCORE 9018.615
AT ITER 8198 NEW BEST:: SOT 58174 SOS 40585 HAS SOPS 40585 HAS SOUS 8948 HAS SOUPS 8948 WITH SCORE 8988.585
AT ITER 8244 NEW BEST:: SOT 58189 SOS 40600 HAS SOPS 40600 HAS SOUS 8943 HAS SOUPS 8943 WITH SCORE 8983.6
AT ITER 8312 NEW BEST:: SOT 58186 SOS 40597 HAS SOPS 40597 HAS SOUS 8937 HAS SOUPS 8937 WITH SCORE 8977.597
AT ITER 8335 NEW BEST:: SOT 58157 SOS 40469 HAS SOPS 40469 HAS SOUS 8912 HAS SOUPS 8912 WITH SCORE 8952.469
AT ITER 8358 NEW BEST:: SOT 58157 SOS 40469 HAS SOPS 40469 HAS SOUS 8901 HAS SOUPS 8901 WITH SCORE 8941.469
AT ITER 8400 NEW BEST:: SOT 58157 SOS 40474 HAS SOPS 40474 HAS SOUS 8899 HAS SOUPS 8899 WITH SCORE 8939.474
AT ITER 8412 NEW BEST:: SOT 58148 SOS 40465 HAS SOPS 40465 HAS SOUS 8895 HAS SOUPS 8895 WITH SCORE 8935.465
AT ITER 8447 NEW BEST:: SOT 58148 SOS 40453 HAS SOPS 40453 HAS SOUS 8883 HAS SOUPS 8883 WITH SCORE 8923.453
AT ITER 8455 NEW BEST:: SOT 58148 SOS 40453 HAS SOPS 40453 HAS SOUS 8879 HAS SOUPS 8879 WITH SCORE 8919.453
AT ITER 8491 NEW BEST:: SOT 58152 SOS 40435 HAS SOPS 40435 HAS SOUS 8870 HAS SOUPS 8870 WITH SCORE 8910.435
AT ITER 8494 NEW BEST:: SOT 58155 SOS 40438 HAS SOPS 40438 HAS SOUS 8867 HAS SOUPS 8867 WITH SCORE 8907.438
AT ITER 8629 NEW BEST:: SOT 58152 SOS 40439 HAS SOPS 40439 HAS SOUS 8857 HAS SOUPS 8857 WITH SCORE 8897.439
AT ITER 8630 NEW BEST:: SOT 58113 SOS 40400 HAS SOPS 40400 HAS SOUS 8852 HAS SOUPS 8852 WITH SCORE 8892.4
AT ITER 8668 NEW BEST:: SOT 58101 SOS 40388 HAS SOPS 40388 HAS SOUS 8828 HAS SOUPS 8828 WITH SCORE 8868.388
AT ITER 8693 NEW BEST:: SOT 58105 SOS 40561 HAS SOPS 40561 HAS SOUS 8827 HAS SOUPS 8827 WITH SCORE 8867.561
AT ITER 8721 NEW BEST:: SOT 58090 SOS 40546 HAS SOPS 40546 HAS SOUS 8812 HAS SOUPS 8812 WITH SCORE 8852.546
AT ITER 8725 NEW BEST:: SOT 58086 SOS 40542 HAS SOPS 40542 HAS SOUS 8808 HAS SOUPS 8808 WITH SCORE 8848.542
AT ITER 8760 NEW BEST:: SOT 58084 SOS 40540 HAS SOPS 40540 HAS SOUS 8806 HAS SOUPS 8806 WITH SCORE 8846.54
AT ITER 8816 NEW BEST:: SOT 58070 SOS 40496 HAS SOPS 40496 HAS SOUS 8792 HAS SOUPS 8792 WITH SCORE 8832.496
AT ITER 8844 NEW BEST:: SOT 58069 SOS 40495 HAS SOPS 40495 HAS SOUS 8790 HAS SOUPS 8790 WITH SCORE 8830.495
AT ITER 8897 NEW BEST:: SOT 58067 SOS 40493 HAS SOPS 40493 HAS SOUS 8773 HAS SOUPS 8773 WITH SCORE 8813.493
AT ITER 8916 NEW BEST:: SOT 58063 SOS 40489 HAS SOPS 40489 HAS SOUS 8765 HAS SOUPS 8765 WITH SCORE 8805.489
AT ITER 8949 NEW BEST:: SOT 58052 SOS 40478 HAS SOPS 40478 HAS SOUS 8743 HAS SOUPS 8743 WITH SCORE 8783.478
AT ITER 8979 NEW BEST:: SOT 58074 SOS 40522 HAS SOPS 40522 HAS SOUS 8735 HAS SOUPS 8735 WITH SCORE 8775.522
AT ITER 8987 NEW BEST:: SOT 58073 SOS 40520 HAS SOPS 40520 HAS SOUS 8735 HAS SOUPS 8735 WITH SCORE 8775.52
AT ITER 9016 NEW BEST:: SOT 58072 SOS 40519 HAS SOPS 40519 HAS SOUS 8735 HAS SOUPS 8735 WITH SCORE 8775.519
AT ITER 9071 NEW BEST:: SOT 58069 SOS 40516 HAS SOPS 40516 HAS SOUS 8729 HAS SOUPS 8729 WITH SCORE 8769.516
AT ITER 9075 NEW BEST:: SOT 58069 SOS 40514 HAS SOPS 40514 HAS SOUS 8727 HAS SOUPS 8727 WITH SCORE 8767.514
AT ITER 9182 NEW BEST:: SOT 58039 SOS 40471 HAS SOPS 40471 HAS SOUS 8716 HAS SOUPS 8716 WITH SCORE 8756.471
AT ITER 9204 NEW BEST:: SOT 58038 SOS 40470 HAS SOPS 40470 HAS SOUS 8714 HAS SOUPS 8714 WITH SCORE 8754.47
AT ITER 9210 NEW BEST:: SOT 58046 SOS 40478 HAS SOPS 40478 HAS SOUS 8699 HAS SOUPS 8699 WITH SCORE 8739.478
AT ITER 9240 NEW BEST:: SOT 58044 SOS 40488 HAS SOPS 40488 HAS SOUS 8695 HAS SOUPS 8695 WITH SCORE 8735.488
AT ITER 9319 NEW BEST:: SOT 58020 SOS 40464 HAS SOPS 40464 HAS SOUS 8691 HAS SOUPS 8691 WITH SCORE 8731.464
AT ITER 9348 NEW BEST:: SOT 58023 SOS 40475 HAS SOPS 40475 HAS SOUS 8689 HAS SOUPS 8689 WITH SCORE 8729.475
AT ITER 9355 NEW BEST:: SOT 58022 SOS 40474 HAS SOPS 40474 HAS SOUS 8687 HAS SOUPS 8687 WITH SCORE 8727.474
AT ITER 9356 NEW BEST:: SOT 58021 SOS 40473 HAS SOPS 40473 HAS SOUS 8685 HAS SOUPS 8685 WITH SCORE 8725.473
AT ITER 9358 NEW BEST:: SOT 58020 SOS 40472 HAS SOPS 40472 HAS SOUS 8683 HAS SOUPS 8683 WITH SCORE 8723.472
AT ITER 9395 NEW BEST:: SOT 58002 SOS 40432 HAS SOPS 40432 HAS SOUS 8643 HAS SOUPS 8643 WITH SCORE 8683.432
AT ITER 9450 NEW BEST:: SOT 58008 SOS 40381 HAS SOPS 40381 HAS SOUS 8592 HAS SOUPS 8592 WITH SCORE 8632.381
AT ITER 9461 NEW BEST:: SOT 58006 SOS 40379 HAS SOPS 40379 HAS SOUS 8588 HAS SOUPS 8588 WITH SCORE 8628.379
AT ITER 9593 NEW BEST:: SOT 57994 SOS 40367 HAS SOPS 40367 HAS SOUS 8576 HAS SOUPS 8576 WITH SCORE 8616.367
AT ITER 9638 NEW BEST:: SOT 57993 SOS 40366 HAS SOPS 40366 HAS SOUS 8574 HAS SOUPS 8574 WITH SCORE 8614.366
AT ITER 9647 NEW BEST:: SOT 58003 SOS 40394 HAS SOPS 40394 HAS SOUS 8568 HAS SOUPS 8568 WITH SCORE 8608.394
AT ITER 9687 NEW BEST:: SOT 58000 SOS 40391 HAS SOPS 40391 HAS SOUS 8562 HAS SOUPS 8562 WITH SCORE 8602.391
AT ITER 9752 NEW BEST:: SOT 57974 SOS 40395 HAS SOPS 40395 HAS SOUS 8510 HAS SOUPS 8510 WITH SCORE 8550.395
AT ITER 9780 NEW BEST:: SOT 57972 SOS 40393 HAS SOPS 40393 HAS SOUS 8506 HAS SOUPS 8506 WITH SCORE 8546.393
AT ITER 9796 NEW BEST:: SOT 57968 SOS 40389 HAS SOPS 40389 HAS SOUS 8498 HAS SOUPS 8498 WITH SCORE 8538.389
AT ITER 9830 NEW BEST:: SOT 57967 SOS 40388 HAS SOPS 40388 HAS SOUS 8495 HAS SOUPS 8495 WITH SCORE 8535.388
AT ITER 9936 NEW BEST:: SOT 57965 SOS 40386 HAS SOPS 40386 HAS SOUS 8491 HAS SOUPS 8491 WITH SCORE 8531.386
AT ITER 9985 NEW BEST:: SOT 57947 SOS 40368 HAS SOPS 40368 HAS SOUS 8485 HAS SOUPS 8485 WITH SCORE 8525.368
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 8767928 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16153564 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

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="DES-PT-60a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is DES-PT-60a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r099-tall-167814472500496"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DES-PT-60a.tgz
mv DES-PT-60a execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;