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.r259-smll-167863534300256.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 NoC3x3-PT-2B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r259-smll-167863534300256
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 964K
-rw-r--r-- 1 mcc users 5.8K Feb 26 10:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 59K Feb 26 10:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 26 10:05 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 26 10:05 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:28 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:28 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:28 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 16:28 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 10:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 121K Feb 26 10:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.1K Feb 26 10:06 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 26 10:06 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 548K Mar 5 18:23 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 1678727087191

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=NoC3x3-PT-2B
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 2B
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: 2003 places, 2292 transitions, 5835 arcs.
AT ITER 0 NEW BEST:: SOT 2472764 SOS 328184 HAS SOPS 328184 HAS SOUS 274863 HAS SOUPS 274863 WITH SCORE 275191.184
AT ITER 7 NEW BEST:: SOT 2472766 SOS 328159 HAS SOPS 328159 HAS SOUS 274855 HAS SOUPS 274855 WITH SCORE 275183.159
AT ITER 32 NEW BEST:: SOT 2472765 SOS 328080 HAS SOPS 328080 HAS SOUS 274776 HAS SOUPS 274776 WITH SCORE 275104.08
AT ITER 65 NEW BEST:: SOT 2472740 SOS 328055 HAS SOPS 328055 HAS SOUS 274751 HAS SOUPS 274751 WITH SCORE 275079.055
AT ITER 108 NEW BEST:: SOT 2472701 SOS 327901 HAS SOPS 327901 HAS SOUS 274674 HAS SOUPS 274674 WITH SCORE 275001.901
AT ITER 148 NEW BEST:: SOT 2472701 SOS 327851 HAS SOPS 327851 HAS SOUS 274624 HAS SOUPS 274624 WITH SCORE 274951.851
AT ITER 150 NEW BEST:: SOT 2472701 SOS 327851 HAS SOPS 327851 HAS SOUS 274561 HAS SOUPS 274561 WITH SCORE 274888.851
AT ITER 155 NEW BEST:: SOT 2472727 SOS 327735 HAS SOPS 327735 HAS SOUS 274522 HAS SOUPS 274522 WITH SCORE 274849.735
AT ITER 170 NEW BEST:: SOT 2472715 SOS 327699 HAS SOPS 327699 HAS SOUS 274486 HAS SOUPS 274486 WITH SCORE 274813.699
AT ITER 198 NEW BEST:: SOT 2472711 SOS 327691 HAS SOPS 327691 HAS SOUS 274482 HAS SOUPS 274482 WITH SCORE 274809.691
AT ITER 252 NEW BEST:: SOT 2472594 SOS 327703 HAS SOPS 327703 HAS SOUS 274408 HAS SOUPS 274408 WITH SCORE 274735.703
AT ITER 256 NEW BEST:: SOT 2472586 SOS 327695 HAS SOPS 327695 HAS SOUS 274400 HAS SOUPS 274400 WITH SCORE 274727.695
AT ITER 262 NEW BEST:: SOT 2472580 SOS 327793 HAS SOPS 327793 HAS SOUS 274388 HAS SOUPS 274388 WITH SCORE 274715.793
AT ITER 272 NEW BEST:: SOT 2472519 SOS 327671 HAS SOPS 327671 HAS SOUS 274361 HAS SOUPS 274361 WITH SCORE 274688.671
AT ITER 276 NEW BEST:: SOT 2472240 SOS 329395 HAS SOPS 329395 HAS SOUS 274245 HAS SOUPS 274245 WITH SCORE 274574.395
AT ITER 286 NEW BEST:: SOT 2470731 SOS 335608 HAS SOPS 335608 HAS SOUS 273287 HAS SOUPS 273287 WITH SCORE 273622.608
AT ITER 292 NEW BEST:: SOT 2470619 SOS 335928 HAS SOPS 335928 HAS SOUS 273197 HAS SOUPS 273197 WITH SCORE 273532.928
AT ITER 318 NEW BEST:: SOT 2469636 SOS 337271 HAS SOPS 337271 HAS SOUS 272569 HAS SOUPS 272569 WITH SCORE 272906.271
AT ITER 425 NEW BEST:: SOT 2469646 SOS 337291 HAS SOPS 337291 HAS SOUS 272535 HAS SOUPS 272535 WITH SCORE 272872.291
AT ITER 429 NEW BEST:: SOT 2469644 SOS 337288 HAS SOPS 337288 HAS SOUS 272532 HAS SOUPS 272532 WITH SCORE 272869.288
AT ITER 456 NEW BEST:: SOT 2469485 SOS 337076 HAS SOPS 337076 HAS SOUS 272372 HAS SOUPS 272372 WITH SCORE 272709.076
AT ITER 457 NEW BEST:: SOT 2468781 SOS 338389 HAS SOPS 338389 HAS SOUS 272174 HAS SOUPS 272174 WITH SCORE 272512.389
AT ITER 458 NEW BEST:: SOT 2468875 SOS 338371 HAS SOPS 338371 HAS SOUS 272156 HAS SOUPS 272156 WITH SCORE 272494.371
AT ITER 468 NEW BEST:: SOT 2468853 SOS 338327 HAS SOPS 338327 HAS SOUS 272155 HAS SOUPS 272155 WITH SCORE 272493.327
AT ITER 528 NEW BEST:: SOT 2468828 SOS 338317 HAS SOPS 338317 HAS SOUS 272145 HAS SOUPS 272145 WITH SCORE 272483.317
AT ITER 531 NEW BEST:: SOT 2468847 SOS 338308 HAS SOPS 338308 HAS SOUS 272136 HAS SOUPS 272136 WITH SCORE 272474.308
AT ITER 536 NEW BEST:: SOT 2468820 SOS 338254 HAS SOPS 338254 HAS SOUS 272109 HAS SOUPS 272109 WITH SCORE 272447.254
AT ITER 573 NEW BEST:: SOT 2468677 SOS 338338 HAS SOPS 338338 HAS SOUS 272101 HAS SOUPS 272101 WITH SCORE 272439.338
AT ITER 582 NEW BEST:: SOT 2468560 SOS 338104 HAS SOPS 338104 HAS SOUS 271983 HAS SOUPS 271983 WITH SCORE 272321.104
AT ITER 634 NEW BEST:: SOT 2468436 SOS 337856 HAS SOPS 337856 HAS SOUS 271768 HAS SOUPS 271768 WITH SCORE 272105.856
AT ITER 645 NEW BEST:: SOT 2468476 SOS 337774 HAS SOPS 337774 HAS SOUS 271645 HAS SOUPS 271645 WITH SCORE 271982.774
AT ITER 699 NEW BEST:: SOT 2468381 SOS 337628 HAS SOPS 337628 HAS SOUS 271592 HAS SOUPS 271592 WITH SCORE 271929.628
AT ITER 706 NEW BEST:: SOT 2468059 SOS 337601 HAS SOPS 337601 HAS SOUS 271566 HAS SOUPS 271566 WITH SCORE 271903.601
AT ITER 707 NEW BEST:: SOT 2468059 SOS 337548 HAS SOPS 337548 HAS SOUS 271513 HAS SOUPS 271513 WITH SCORE 271850.548
AT ITER 735 NEW BEST:: SOT 2468059 SOS 337543 HAS SOPS 337543 HAS SOUS 271513 HAS SOUPS 271513 WITH SCORE 271850.543
AT ITER 776 NEW BEST:: SOT 2467939 SOS 337227 HAS SOPS 337227 HAS SOUS 271422 HAS SOUPS 271422 WITH SCORE 271759.227
AT ITER 794 NEW BEST:: SOT 2467853 SOS 337045 HAS SOPS 337045 HAS SOUS 271329 HAS SOUPS 271329 WITH SCORE 271666.045
AT ITER 824 NEW BEST:: SOT 2467708 SOS 336900 HAS SOPS 336900 HAS SOUS 271329 HAS SOUPS 271329 WITH SCORE 271665.9
AT ITER 834 NEW BEST:: SOT 2467594 SOS 336729 HAS SOPS 336729 HAS SOUS 271271 HAS SOUPS 271271 WITH SCORE 271607.729
AT ITER 838 NEW BEST:: SOT 2467594 SOS 336670 HAS SOPS 336670 HAS SOUS 271211 HAS SOUPS 271211 WITH SCORE 271547.67
AT ITER 843 NEW BEST:: SOT 2467408 SOS 336514 HAS SOPS 336514 HAS SOUS 271025 HAS SOUPS 271025 WITH SCORE 271361.514
AT ITER 849 NEW BEST:: SOT 2467343 SOS 336393 HAS SOPS 336393 HAS SOUS 270762 HAS SOUPS 270762 WITH SCORE 271098.393
AT ITER 859 NEW BEST:: SOT 2467299 SOS 336261 HAS SOPS 336261 HAS SOUS 270673 HAS SOUPS 270673 WITH SCORE 271009.261
AT ITER 862 NEW BEST:: SOT 2467251 SOS 336165 HAS SOPS 336165 HAS SOUS 270601 HAS SOUPS 270601 WITH SCORE 270937.165
AT ITER 904 NEW BEST:: SOT 2467251 SOS 336068 HAS SOPS 336068 HAS SOUS 270558 HAS SOUPS 270558 WITH SCORE 270894.068
AT ITER 920 NEW BEST:: SOT 2466118 SOS 337820 HAS SOPS 337820 HAS SOUS 269754 HAS SOUPS 269754 WITH SCORE 270091.82
AT ITER 928 NEW BEST:: SOT 2466118 SOS 337820 HAS SOPS 337820 HAS SOUS 269753 HAS SOUPS 269753 WITH SCORE 270090.82
AT ITER 939 NEW BEST:: SOT 2466118 SOS 337789 HAS SOPS 337789 HAS SOUS 269753 HAS SOUPS 269753 WITH SCORE 270090.789
AT ITER 970 NEW BEST:: SOT 2466072 SOS 337664 HAS SOPS 337664 HAS SOUS 269628 HAS SOUPS 269628 WITH SCORE 269965.664
AT ITER 986 NEW BEST:: SOT 2466072 SOS 337663 HAS SOPS 337663 HAS SOUS 269627 HAS SOUPS 269627 WITH SCORE 269964.663
AT ITER 993 NEW BEST:: SOT 2466072 SOS 337656 HAS SOPS 337656 HAS SOUS 269620 HAS SOUPS 269620 WITH SCORE 269957.656
AT ITER 1004 NEW BEST:: SOT 2465960 SOS 337328 HAS SOPS 337328 HAS SOUS 269329 HAS SOUPS 269329 WITH SCORE 269666.328
AT ITER 1102 NEW BEST:: SOT 2465960 SOS 337322 HAS SOPS 337322 HAS SOUS 269323 HAS SOUPS 269323 WITH SCORE 269660.322
AT ITER 1131 NEW BEST:: SOT 2465922 SOS 337264 HAS SOPS 337264 HAS SOUS 269265 HAS SOUPS 269265 WITH SCORE 269602.264
AT ITER 1141 NEW BEST:: SOT 2465921 SOS 337239 HAS SOPS 337239 HAS SOUS 269263 HAS SOUPS 269263 WITH SCORE 269600.239
AT ITER 1156 NEW BEST:: SOT 2465931 SOS 336988 HAS SOPS 336988 HAS SOUS 269262 HAS SOUPS 269262 WITH SCORE 269598.988
AT ITER 1187 NEW BEST:: SOT 2465931 SOS 336988 HAS SOPS 336988 HAS SOUS 269241 HAS SOUPS 269241 WITH SCORE 269577.988
AT ITER 1223 NEW BEST:: SOT 2465683 SOS 337012 HAS SOPS 337012 HAS SOUS 269166 HAS SOUPS 269166 WITH SCORE 269503.012
AT ITER 1240 NEW BEST:: SOT 2465683 SOS 336938 HAS SOPS 336938 HAS SOUS 269091 HAS SOUPS 269091 WITH SCORE 269427.938
AT ITER 1284 NEW BEST:: SOT 2465472 SOS 336727 HAS SOPS 336727 HAS SOUS 268901 HAS SOUPS 268901 WITH SCORE 269237.727
AT ITER 1308 NEW BEST:: SOT 2465051 SOS 336387 HAS SOPS 336387 HAS SOUS 268561 HAS SOUPS 268561 WITH SCORE 268897.387
AT ITER 1342 NEW BEST:: SOT 2465051 SOS 336259 HAS SOPS 336259 HAS SOUS 268561 HAS SOUPS 268561 WITH SCORE 268897.259
AT ITER 1343 NEW BEST:: SOT 2465034 SOS 336282 HAS SOPS 336282 HAS SOUS 268544 HAS SOUPS 268544 WITH SCORE 268880.282
AT ITER 1344 NEW BEST:: SOT 2465099 SOS 336412 HAS SOPS 336412 HAS SOUS 268463 HAS SOUPS 268463 WITH SCORE 268799.412
AT ITER 1388 NEW BEST:: SOT 2465094 SOS 336407 HAS SOPS 336407 HAS SOUS 268452 HAS SOUPS 268452 WITH SCORE 268788.407
AT ITER 1397 NEW BEST:: SOT 2464816 SOS 334961 HAS SOPS 334961 HAS SOUS 267947 HAS SOUPS 267947 WITH SCORE 268281.961
AT ITER 1485 NEW BEST:: SOT 2464659 SOS 334891 HAS SOPS 334891 HAS SOUS 267875 HAS SOUPS 267875 WITH SCORE 268209.891
AT ITER 1543 NEW BEST:: SOT 2464659 SOS 334878 HAS SOPS 334878 HAS SOUS 267862 HAS SOUPS 267862 WITH SCORE 268196.878
AT ITER 1566 NEW BEST:: SOT 2464319 SOS 329258 HAS SOPS 329258 HAS SOUS 267522 HAS SOUPS 267522 WITH SCORE 267851.258
AT ITER 1580 NEW BEST:: SOT 2464247 SOS 328920 HAS SOPS 328920 HAS SOUS 267372 HAS SOUPS 267372 WITH SCORE 267700.92
AT ITER 1586 NEW BEST:: SOT 2464237 SOS 328890 HAS SOPS 328890 HAS SOUS 267359 HAS SOUPS 267359 WITH SCORE 267687.89
AT ITER 1596 NEW BEST:: SOT 2464134 SOS 328684 HAS SOPS 328684 HAS SOUS 267196 HAS SOUPS 267196 WITH SCORE 267524.684
AT ITER 1606 NEW BEST:: SOT 2464104 SOS 328714 HAS SOPS 328714 HAS SOUS 267166 HAS SOUPS 267166 WITH SCORE 267494.714
AT ITER 1670 NEW BEST:: SOT 2463338 SOS 328470 HAS SOPS 328470 HAS SOUS 266555 HAS SOUPS 266555 WITH SCORE 266883.47
AT ITER 1680 NEW BEST:: SOT 2463387 SOS 328482 HAS SOPS 328482 HAS SOUS 266547 HAS SOUPS 266547 WITH SCORE 266875.482
AT ITER 1686 NEW BEST:: SOT 2463313 SOS 328449 HAS SOPS 328449 HAS SOUS 266383 HAS SOUPS 266383 WITH SCORE 266711.449
AT ITER 1697 NEW BEST:: SOT 2463213 SOS 328363 HAS SOPS 328363 HAS SOUS 266245 HAS SOUPS 266245 WITH SCORE 266573.363
AT ITER 1720 NEW BEST:: SOT 2463213 SOS 328363 HAS SOPS 328363 HAS SOUS 266243 HAS SOUPS 266243 WITH SCORE 266571.363
AT ITER 1727 NEW BEST:: SOT 2463213 SOS 328363 HAS SOPS 328363 HAS SOUS 266119 HAS SOUPS 266119 WITH SCORE 266447.363
AT ITER 1744 NEW BEST:: SOT 2463078 SOS 328093 HAS SOPS 328093 HAS SOUS 265901 HAS SOUPS 265901 WITH SCORE 266229.093
AT ITER 1757 NEW BEST:: SOT 2463058 SOS 327733 HAS SOPS 327733 HAS SOUS 265861 HAS SOUPS 265861 WITH SCORE 266188.733
AT ITER 1810 NEW BEST:: SOT 2463037 SOS 327690 HAS SOPS 327690 HAS SOUS 265818 HAS SOUPS 265818 WITH SCORE 266145.69
AT ITER 1858 NEW BEST:: SOT 2462638 SOS 327547 HAS SOPS 327547 HAS SOUS 265419 HAS SOUPS 265419 WITH SCORE 265746.547
AT ITER 1859 NEW BEST:: SOT 2462638 SOS 327547 HAS SOPS 327547 HAS SOUS 265418 HAS SOUPS 265418 WITH SCORE 265745.547
AT ITER 1899 NEW BEST:: SOT 2462359 SOS 327877 HAS SOPS 327877 HAS SOUS 265291 HAS SOUPS 265291 WITH SCORE 265618.877
AT ITER 1911 NEW BEST:: SOT 2462278 SOS 327796 HAS SOPS 327796 HAS SOUS 265208 HAS SOUPS 265208 WITH SCORE 265535.796
AT ITER 1971 NEW BEST:: SOT 2462278 SOS 327669 HAS SOPS 327669 HAS SOUS 265208 HAS SOUPS 265208 WITH SCORE 265535.669
AT ITER 1985 NEW BEST:: SOT 2461994 SOS 327403 HAS SOPS 327403 HAS SOUS 264931 HAS SOUPS 264931 WITH SCORE 265258.403
AT ITER 2016 NEW BEST:: SOT 2461786 SOS 327201 HAS SOPS 327201 HAS SOUS 264729 HAS SOUPS 264729 WITH SCORE 265056.201
AT ITER 2027 NEW BEST:: SOT 2461352 SOS 328295 HAS SOPS 328295 HAS SOUS 264640 HAS SOUPS 264640 WITH SCORE 264968.295
AT ITER 2038 NEW BEST:: SOT 2461289 SOS 328079 HAS SOPS 328079 HAS SOUS 264510 HAS SOUPS 264510 WITH SCORE 264838.079
AT ITER 2047 NEW BEST:: SOT 2461129 SOS 328574 HAS SOPS 328574 HAS SOUS 264454 HAS SOUPS 264454 WITH SCORE 264782.574
AT ITER 2071 NEW BEST:: SOT 2461016 SOS 328348 HAS SOPS 328348 HAS SOUS 264260 HAS SOUPS 264260 WITH SCORE 264588.348
AT ITER 2095 NEW BEST:: SOT 2460961 SOS 328306 HAS SOPS 328306 HAS SOUS 264217 HAS SOUPS 264217 WITH SCORE 264545.306
AT ITER 2121 NEW BEST:: SOT 2460818 SOS 328163 HAS SOPS 328163 HAS SOUS 264070 HAS SOUPS 264070 WITH SCORE 264398.163
AT ITER 2188 NEW BEST:: SOT 2460787 SOS 328100 HAS SOPS 328100 HAS SOUS 264007 HAS SOUPS 264007 WITH SCORE 264335.1
AT ITER 2242 NEW BEST:: SOT 2460730 SOS 328061 HAS SOPS 328061 HAS SOUS 263927 HAS SOUPS 263927 WITH SCORE 264255.061
AT ITER 2256 NEW BEST:: SOT 2460689 SOS 328007 HAS SOPS 328007 HAS SOUS 263873 HAS SOUPS 263873 WITH SCORE 264201.007
AT ITER 2257 NEW BEST:: SOT 2460599 SOS 327967 HAS SOPS 327967 HAS SOUS 263798 HAS SOUPS 263798 WITH SCORE 264125.967
AT ITER 2267 NEW BEST:: SOT 2460589 SOS 327929 HAS SOPS 327929 HAS SOUS 263767 HAS SOUPS 263767 WITH SCORE 264094.929
AT ITER 2293 NEW BEST:: SOT 2460674 SOS 327912 HAS SOPS 327912 HAS SOUS 263750 HAS SOUPS 263750 WITH SCORE 264077.912
AT ITER 2305 NEW BEST:: SOT 2460674 SOS 327894 HAS SOPS 327894 HAS SOUS 263732 HAS SOUPS 263732 WITH SCORE 264059.894
AT ITER 2392 NEW BEST:: SOT 2460613 SOS 327710 HAS SOPS 327710 HAS SOUS 263668 HAS SOUPS 263668 WITH SCORE 263995.71
AT ITER 2420 NEW BEST:: SOT 2460613 SOS 327653 HAS SOPS 327653 HAS SOUS 263581 HAS SOUPS 263581 WITH SCORE 263908.653
AT ITER 2452 NEW BEST:: SOT 2460608 SOS 327417 HAS SOPS 327417 HAS SOUS 263355 HAS SOUPS 263355 WITH SCORE 263682.417
AT ITER 2477 NEW BEST:: SOT 2460595 SOS 327404 HAS SOPS 327404 HAS SOUS 263324 HAS SOUPS 263324 WITH SCORE 263651.404
AT ITER 2484 NEW BEST:: SOT 2460595 SOS 327400 HAS SOPS 327400 HAS SOUS 263324 HAS SOUPS 263324 WITH SCORE 263651.4
AT ITER 2488 NEW BEST:: SOT 2460686 SOS 327298 HAS SOPS 327298 HAS SOUS 263234 HAS SOUPS 263234 WITH SCORE 263561.298
AT ITER 2507 NEW BEST:: SOT 2460596 SOS 327226 HAS SOPS 327226 HAS SOUS 263144 HAS SOUPS 263144 WITH SCORE 263471.226
AT ITER 2550 NEW BEST:: SOT 2460571 SOS 327101 HAS SOPS 327101 HAS SOUS 263094 HAS SOUPS 263094 WITH SCORE 263421.101
AT ITER 2562 NEW BEST:: SOT 2460571 SOS 327052 HAS SOPS 327052 HAS SOUS 263094 HAS SOUPS 263094 WITH SCORE 263421.052
AT ITER 2569 NEW BEST:: SOT 2460479 SOS 327148 HAS SOPS 327148 HAS SOUS 262989 HAS SOUPS 262989 WITH SCORE 263316.148
AT ITER 2615 NEW BEST:: SOT 2459933 SOS 328946 HAS SOPS 328946 HAS SOUS 262926 HAS SOUPS 262926 WITH SCORE 263254.946
AT ITER 2616 NEW BEST:: SOT 2459781 SOS 328870 HAS SOPS 328870 HAS SOUS 262850 HAS SOUPS 262850 WITH SCORE 263178.87
AT ITER 2621 NEW BEST:: SOT 2459657 SOS 328873 HAS SOPS 328873 HAS SOUS 262814 HAS SOUPS 262814 WITH SCORE 263142.873
AT ITER 2642 NEW BEST:: SOT 2459657 SOS 328873 HAS SOPS 328873 HAS SOUS 262813 HAS SOUPS 262813 WITH SCORE 263141.873
AT ITER 2688 NEW BEST:: SOT 2459605 SOS 328769 HAS SOPS 328769 HAS SOUS 262761 HAS SOUPS 262761 WITH SCORE 263089.769
AT ITER 2724 NEW BEST:: SOT 2459475 SOS 328534 HAS SOPS 328534 HAS SOUS 262456 HAS SOUPS 262456 WITH SCORE 262784.534
AT ITER 2750 NEW BEST:: SOT 2459389 SOS 328440 HAS SOPS 328440 HAS SOUS 262397 HAS SOUPS 262397 WITH SCORE 262725.44
AT ITER 2758 NEW BEST:: SOT 2459199 SOS 328325 HAS SOPS 328325 HAS SOUS 262390 HAS SOUPS 262390 WITH SCORE 262718.325
AT ITER 2770 NEW BEST:: SOT 2459357 SOS 328573 HAS SOPS 328573 HAS SOUS 262301 HAS SOUPS 262301 WITH SCORE 262629.573
AT ITER 2781 NEW BEST:: SOT 2459197 SOS 328042 HAS SOPS 328042 HAS SOUS 261996 HAS SOUPS 261996 WITH SCORE 262324.042
AT ITER 2795 NEW BEST:: SOT 2459168 SOS 327983 HAS SOPS 327983 HAS SOUS 261937 HAS SOUPS 261937 WITH SCORE 262264.983
AT ITER 2799 NEW BEST:: SOT 2459076 SOS 327846 HAS SOPS 327846 HAS SOUS 261800 HAS SOUPS 261800 WITH SCORE 262127.846
AT ITER 2816 NEW BEST:: SOT 2459049 SOS 327819 HAS SOPS 327819 HAS SOUS 261799 HAS SOUPS 261799 WITH SCORE 262126.819
AT ITER 2826 NEW BEST:: SOT 2458982 SOS 327897 HAS SOPS 327897 HAS SOUS 261743 HAS SOUPS 261743 WITH SCORE 262070.897
AT ITER 2839 NEW BEST:: SOT 2458982 SOS 327629 HAS SOPS 327629 HAS SOUS 261703 HAS SOUPS 261703 WITH SCORE 262030.629
AT ITER 2859 NEW BEST:: SOT 2458989 SOS 327523 HAS SOPS 327523 HAS SOUS 261686 HAS SOUPS 261686 WITH SCORE 262013.523
AT ITER 2894 NEW BEST:: SOT 2458931 SOS 327502 HAS SOPS 327502 HAS SOUS 261668 HAS SOUPS 261668 WITH SCORE 261995.502
AT ITER 2898 NEW BEST:: SOT 2458854 SOS 327374 HAS SOPS 327374 HAS SOUS 261545 HAS SOUPS 261545 WITH SCORE 261872.374
AT ITER 2924 NEW BEST:: SOT 2458837 SOS 327292 HAS SOPS 327292 HAS SOUS 261503 HAS SOUPS 261503 WITH SCORE 261830.292
AT ITER 3039 NEW BEST:: SOT 2458837 SOS 327181 HAS SOPS 327181 HAS SOUS 261465 HAS SOUPS 261465 WITH SCORE 261792.181
AT ITER 3048 NEW BEST:: SOT 2458836 SOS 327179 HAS SOPS 327179 HAS SOUS 261463 HAS SOUPS 261463 WITH SCORE 261790.179
AT ITER 3082 NEW BEST:: SOT 2458826 SOS 327159 HAS SOPS 327159 HAS SOUS 261443 HAS SOUPS 261443 WITH SCORE 261770.159
AT ITER 3086 NEW BEST:: SOT 2458821 SOS 327154 HAS SOPS 327154 HAS SOUS 261438 HAS SOUPS 261438 WITH SCORE 261765.154
AT ITER 3099 NEW BEST:: SOT 2458883 SOS 327278 HAS SOPS 327278 HAS SOUS 261437 HAS SOUPS 261437 WITH SCORE 261764.278
AT ITER 3152 NEW BEST:: SOT 2458823 SOS 327266 HAS SOPS 327266 HAS SOUS 261389 HAS SOUPS 261389 WITH SCORE 261716.266
AT ITER 3174 NEW BEST:: SOT 2458847 SOS 327100 HAS SOPS 327100 HAS SOUS 261045 HAS SOUPS 261045 WITH SCORE 261372.1
AT ITER 3179 NEW BEST:: SOT 2458847 SOS 327079 HAS SOPS 327079 HAS SOUS 261024 HAS SOUPS 261024 WITH SCORE 261351.079
AT ITER 3240 NEW BEST:: SOT 2458641 SOS 326498 HAS SOPS 326498 HAS SOUS 260938 HAS SOUPS 260938 WITH SCORE 261264.498
AT ITER 3247 NEW BEST:: SOT 2458602 SOS 326232 HAS SOPS 326232 HAS SOUS 260710 HAS SOUPS 260710 WITH SCORE 261036.232
AT ITER 3293 NEW BEST:: SOT 2458536 SOS 326187 HAS SOPS 326187 HAS SOUS 260504 HAS SOUPS 260504 WITH SCORE 260830.187
AT ITER 3295 NEW BEST:: SOT 2458470 SOS 326121 HAS SOPS 326121 HAS SOUS 260471 HAS SOUPS 260471 WITH SCORE 260797.121
AT ITER 3373 NEW BEST:: SOT 2458096 SOS 325939 HAS SOPS 325939 HAS SOUS 260097 HAS SOUPS 260097 WITH SCORE 260422.939
AT ITER 3393 NEW BEST:: SOT 2458088 SOS 325923 HAS SOPS 325923 HAS SOUS 260081 HAS SOUPS 260081 WITH SCORE 260406.923
AT ITER 3408 NEW BEST:: SOT 2457928 SOS 325763 HAS SOPS 325763 HAS SOUS 260001 HAS SOUPS 260001 WITH SCORE 260326.763
AT ITER 3421 NEW BEST:: SOT 2457928 SOS 325763 HAS SOPS 325763 HAS SOUS 259901 HAS SOUPS 259901 WITH SCORE 260226.763
AT ITER 3426 NEW BEST:: SOT 2458048 SOS 325764 HAS SOPS 325764 HAS SOUS 259715 HAS SOUPS 259715 WITH SCORE 260040.764
AT ITER 3427 NEW BEST:: SOT 2457589 SOS 325304 HAS SOPS 325304 HAS SOUS 259163 HAS SOUPS 259163 WITH SCORE 259488.304
AT ITER 3430 NEW BEST:: SOT 2457569 SOS 325264 HAS SOPS 325264 HAS SOUS 259132 HAS SOUPS 259132 WITH SCORE 259457.264
AT ITER 3463 NEW BEST:: SOT 2457047 SOS 324919 HAS SOPS 324919 HAS SOUS 258613 HAS SOUPS 258613 WITH SCORE 258937.919
AT ITER 3488 NEW BEST:: SOT 2456980 SOS 324829 HAS SOPS 324829 HAS SOUS 258545 HAS SOUPS 258545 WITH SCORE 258869.829
AT ITER 3511 NEW BEST:: SOT 2456857 SOS 325430 HAS SOPS 325430 HAS SOUS 258539 HAS SOUPS 258539 WITH SCORE 258864.43
AT ITER 3522 NEW BEST:: SOT 2456857 SOS 325466 HAS SOPS 325466 HAS SOUS 258518 HAS SOUPS 258518 WITH SCORE 258843.466
AT ITER 3551 NEW BEST:: SOT 2456653 SOS 325833 HAS SOPS 325833 HAS SOUS 258509 HAS SOUPS 258509 WITH SCORE 258834.833
AT ITER 3606 NEW BEST:: SOT 2456620 SOS 325729 HAS SOPS 325729 HAS SOUS 258440 HAS SOUPS 258440 WITH SCORE 258765.729
AT ITER 3621 NEW BEST:: SOT 2456460 SOS 325332 HAS SOPS 325332 HAS SOUS 258226 HAS SOUPS 258226 WITH SCORE 258551.332
AT ITER 3633 NEW BEST:: SOT 2456428 SOS 325235 HAS SOPS 325235 HAS SOUS 258161 HAS SOUPS 258161 WITH SCORE 258486.235
AT ITER 3656 NEW BEST:: SOT 2456384 SOS 325147 HAS SOPS 325147 HAS SOUS 258130 HAS SOUPS 258130 WITH SCORE 258455.147
AT ITER 3663 NEW BEST:: SOT 2456216 SOS 325051 HAS SOPS 325051 HAS SOUS 258008 HAS SOUPS 258008 WITH SCORE 258333.051
AT ITER 3670 NEW BEST:: SOT 2456170 SOS 324891 HAS SOPS 324891 HAS SOUS 257856 HAS SOUPS 257856 WITH SCORE 258180.891
AT ITER 3675 NEW BEST:: SOT 2456104 SOS 324759 HAS SOPS 324759 HAS SOUS 257724 HAS SOUPS 257724 WITH SCORE 258048.759
AT ITER 3690 NEW BEST:: SOT 2455900 SOS 324681 HAS SOPS 324681 HAS SOUS 257548 HAS SOUPS 257548 WITH SCORE 257872.681
AT ITER 3746 NEW BEST:: SOT 2455997 SOS 324986 HAS SOPS 324986 HAS SOUS 257463 HAS SOUPS 257463 WITH SCORE 257787.986
AT ITER 3768 NEW BEST:: SOT 2455957 SOS 324946 HAS SOPS 324946 HAS SOUS 257443 HAS SOUPS 257443 WITH SCORE 257767.946
AT ITER 3794 NEW BEST:: SOT 2455957 SOS 324895 HAS SOPS 324895 HAS SOUS 257393 HAS SOUPS 257393 WITH SCORE 257717.895
AT ITER 3849 NEW BEST:: SOT 2455851 SOS 324684 HAS SOPS 324684 HAS SOUS 257344 HAS SOUPS 257344 WITH SCORE 257668.684
AT ITER 3997 NEW BEST:: SOT 2455819 SOS 324652 HAS SOPS 324652 HAS SOUS 257312 HAS SOUPS 257312 WITH SCORE 257636.652
AT ITER 4017 NEW BEST:: SOT 2455819 SOS 324652 HAS SOPS 324652 HAS SOUS 257287 HAS SOUPS 257287 WITH SCORE 257611.652
AT ITER 4059 NEW BEST:: SOT 2455597 SOS 324393 HAS SOPS 324393 HAS SOUS 257028 HAS SOUPS 257028 WITH SCORE 257352.393
AT ITER 4092 NEW BEST:: SOT 2455572 SOS 324342 HAS SOPS 324342 HAS SOUS 257003 HAS SOUPS 257003 WITH SCORE 257327.342
AT ITER 4105 NEW BEST:: SOT 2455530 SOS 324174 HAS SOPS 324174 HAS SOUS 256919 HAS SOUPS 256919 WITH SCORE 257243.174
AT ITER 4148 NEW BEST:: SOT 2455496 SOS 324200 HAS SOPS 324200 HAS SOUS 256898 HAS SOUPS 256898 WITH SCORE 257222.2
AT ITER 4172 NEW BEST:: SOT 2455093 SOS 323860 HAS SOPS 323860 HAS SOUS 256494 HAS SOUPS 256494 WITH SCORE 256817.86
AT ITER 4179 NEW BEST:: SOT 2455089 SOS 323848 HAS SOPS 323848 HAS SOUS 256482 HAS SOUPS 256482 WITH SCORE 256805.848
AT ITER 4199 NEW BEST:: SOT 2455004 SOS 323389 HAS SOPS 323389 HAS SOUS 256355 HAS SOUPS 256355 WITH SCORE 256678.389
AT ITER 4254 NEW BEST:: SOT 2455001 SOS 323383 HAS SOPS 323383 HAS SOUS 256349 HAS SOUPS 256349 WITH SCORE 256672.383
AT ITER 4261 NEW BEST:: SOT 2454927 SOS 323292 HAS SOPS 323292 HAS SOUS 256332 HAS SOUPS 256332 WITH SCORE 256655.292
AT ITER 4281 NEW BEST:: SOT 2454902 SOS 323117 HAS SOPS 323117 HAS SOUS 256307 HAS SOUPS 256307 WITH SCORE 256630.117
AT ITER 4294 NEW BEST:: SOT 2454888 SOS 323089 HAS SOPS 323089 HAS SOUS 256286 HAS SOUPS 256286 WITH SCORE 256609.089
AT ITER 4315 NEW BEST:: SOT 2454806 SOS 322843 HAS SOPS 322843 HAS SOUS 256040 HAS SOUPS 256040 WITH SCORE 256362.843
AT ITER 4341 NEW BEST:: SOT 2454707 SOS 322471 HAS SOPS 322471 HAS SOUS 255977 HAS SOUPS 255977 WITH SCORE 256299.471
AT ITER 4359 NEW BEST:: SOT 2454662 SOS 322303 HAS SOPS 322303 HAS SOUS 255944 HAS SOUPS 255944 WITH SCORE 256266.303
AT ITER 4372 NEW BEST:: SOT 2454646 SOS 322287 HAS SOPS 322287 HAS SOUS 255908 HAS SOUPS 255908 WITH SCORE 256230.287
AT ITER 4376 NEW BEST:: SOT 2454528 SOS 322051 HAS SOPS 322051 HAS SOUS 255789 HAS SOUPS 255789 WITH SCORE 256111.051
AT ITER 4422 NEW BEST:: SOT 2454527 SOS 322049 HAS SOPS 322049 HAS SOUS 255787 HAS SOUPS 255787 WITH SCORE 256109.049
AT ITER 4423 NEW BEST:: SOT 2452527 SOS 322672 HAS SOPS 322672 HAS SOUS 254016 HAS SOUPS 254016 WITH SCORE 254338.672
AT ITER 4432 NEW BEST:: SOT 2452349 SOS 322785 HAS SOPS 322785 HAS SOUS 253905 HAS SOUPS 253905 WITH SCORE 254227.785
AT ITER 4437 NEW BEST:: SOT 2452284 SOS 322654 HAS SOPS 322654 HAS SOUS 253774 HAS SOUPS 253774 WITH SCORE 254096.654
AT ITER 4438 NEW BEST:: SOT 2452196 SOS 322397 HAS SOPS 322397 HAS SOUS 253686 HAS SOUPS 253686 WITH SCORE 254008.397
AT ITER 4439 NEW BEST:: SOT 2452088 SOS 322325 HAS SOPS 322325 HAS SOUS 253578 HAS SOUPS 253578 WITH SCORE 253900.325
AT ITER 4444 NEW BEST:: SOT 2451906 SOS 322059 HAS SOPS 322059 HAS SOUS 253394 HAS SOUPS 253394 WITH SCORE 253716.059
AT ITER 4514 NEW BEST:: SOT 2451851 SOS 321949 HAS SOPS 321949 HAS SOUS 253363 HAS SOUPS 253363 WITH SCORE 253684.949
AT ITER 4525 NEW BEST:: SOT 2451913 SOS 322073 HAS SOPS 322073 HAS SOUS 253352 HAS SOUPS 253352 WITH SCORE 253674.073
AT ITER 4538 NEW BEST:: SOT 2451913 SOS 322073 HAS SOPS 322073 HAS SOUS 253258 HAS SOUPS 253258 WITH SCORE 253580.073
AT ITER 4568 NEW BEST:: SOT 2451811 SOS 321920 HAS SOPS 321920 HAS SOUS 253054 HAS SOUPS 253054 WITH SCORE 253375.92
AT ITER 4575 NEW BEST:: SOT 2451604 SOS 321713 HAS SOPS 321713 HAS SOUS 252847 HAS SOUPS 252847 WITH SCORE 253168.713
AT ITER 4599 NEW BEST:: SOT 2451577 SOS 321632 HAS SOPS 321632 HAS SOUS 252793 HAS SOUPS 252793 WITH SCORE 253114.632
AT ITER 4607 NEW BEST:: SOT 2451539 SOS 321432 HAS SOPS 321432 HAS SOUS 252527 HAS SOUPS 252527 WITH SCORE 252848.432
AT ITER 4620 NEW BEST:: SOT 2451526 SOS 321406 HAS SOPS 321406 HAS SOUS 252527 HAS SOUPS 252527 WITH SCORE 252848.406
AT ITER 4646 NEW BEST:: SOT 2451514 SOS 321394 HAS SOPS 321394 HAS SOUS 252527 HAS SOUPS 252527 WITH SCORE 252848.394
AT ITER 4682 NEW BEST:: SOT 2451570 SOS 321669 HAS SOPS 321669 HAS SOUS 252521 HAS SOUPS 252521 WITH SCORE 252842.669
AT ITER 4838 NEW BEST:: SOT 2451570 SOS 321669 HAS SOPS 321669 HAS SOUS 252508 HAS SOUPS 252508 WITH SCORE 252829.669
AT ITER 4857 NEW BEST:: SOT 2451560 SOS 321651 HAS SOPS 321651 HAS SOUS 252476 HAS SOUPS 252476 WITH SCORE 252797.651
AT ITER 4865 NEW BEST:: SOT 2451529 SOS 321566 HAS SOPS 321566 HAS SOUS 252437 HAS SOUPS 252437 WITH SCORE 252758.566
AT ITER 4902 NEW BEST:: SOT 2451529 SOS 321430 HAS SOPS 321430 HAS SOUS 252429 HAS SOUPS 252429 WITH SCORE 252750.43
AT ITER 4918 NEW BEST:: SOT 2451455 SOS 321194 HAS SOPS 321194 HAS SOUS 252183 HAS SOUPS 252183 WITH SCORE 252504.194
AT ITER 4932 NEW BEST:: SOT 2451402 SOS 321141 HAS SOPS 321141 HAS SOUS 252130 HAS SOUPS 252130 WITH SCORE 252451.141
AT ITER 4970 NEW BEST:: SOT 2451373 SOS 320952 HAS SOPS 320952 HAS SOUS 252088 HAS SOUPS 252088 WITH SCORE 252408.952
AT ITER 4986 NEW BEST:: SOT 2451373 SOS 320924 HAS SOPS 320924 HAS SOUS 252088 HAS SOUPS 252088 WITH SCORE 252408.924
AT ITER 5009 NEW BEST:: SOT 2451160 SOS 320711 HAS SOPS 320711 HAS SOUS 251945 HAS SOUPS 251945 WITH SCORE 252265.711
AT ITER 5019 NEW BEST:: SOT 2451134 SOS 320702 HAS SOPS 320702 HAS SOUS 251802 HAS SOUPS 251802 WITH SCORE 252122.702
AT ITER 5028 NEW BEST:: SOT 2451126 SOS 320683 HAS SOPS 320683 HAS SOUS 251769 HAS SOUPS 251769 WITH SCORE 252089.683
AT ITER 5033 NEW BEST:: SOT 2451126 SOS 320683 HAS SOPS 320683 HAS SOUS 251763 HAS SOUPS 251763 WITH SCORE 252083.683
AT ITER 5073 NEW BEST:: SOT 2451060 SOS 320595 HAS SOPS 320595 HAS SOUS 251760 HAS SOUPS 251760 WITH SCORE 252080.595
AT ITER 5086 NEW BEST:: SOT 2450951 SOS 320745 HAS SOPS 320745 HAS SOUS 251651 HAS SOUPS 251651 WITH SCORE 251971.745
AT ITER 5100 NEW BEST:: SOT 2450951 SOS 320745 HAS SOPS 320745 HAS SOUS 251608 HAS SOUPS 251608 WITH SCORE 251928.745
AT ITER 5103 NEW BEST:: SOT 2450904 SOS 320644 HAS SOPS 320644 HAS SOUS 251496 HAS SOUPS 251496 WITH SCORE 251816.644
AT ITER 5106 NEW BEST:: SOT 2450893 SOS 320633 HAS SOPS 320633 HAS SOUS 251484 HAS SOUPS 251484 WITH SCORE 251804.633
AT ITER 5115 NEW BEST:: SOT 2450801 SOS 320633 HAS SOPS 320633 HAS SOUS 251392 HAS SOUPS 251392 WITH SCORE 251712.633
AT ITER 5123 NEW BEST:: SOT 2450603 SOS 320568 HAS SOPS 320568 HAS SOUS 251316 HAS SOUPS 251316 WITH SCORE 251636.568
AT ITER 5137 NEW BEST:: SOT 2450575 SOS 320512 HAS SOPS 320512 HAS SOUS 251260 HAS SOUPS 251260 WITH SCORE 251580.512
AT ITER 5143 NEW BEST:: SOT 2450628 SOS 320732 HAS SOPS 320732 HAS SOUS 251249 HAS SOUPS 251249 WITH SCORE 251569.732
AT ITER 5155 NEW BEST:: SOT 2450548 SOS 320652 HAS SOPS 320652 HAS SOUS 251169 HAS SOUPS 251169 WITH SCORE 251489.652
AT ITER 5182 NEW BEST:: SOT 2450533 SOS 320640 HAS SOPS 320640 HAS SOUS 251154 HAS SOUPS 251154 WITH SCORE 251474.64
AT ITER 5241 NEW BEST:: SOT 2450543 SOS 320636 HAS SOPS 320636 HAS SOUS 251140 HAS SOUPS 251140 WITH SCORE 251460.636
AT ITER 5245 NEW BEST:: SOT 2450393 SOS 320517 HAS SOPS 320517 HAS SOUS 251046 HAS SOUPS 251046 WITH SCORE 251366.517
AT ITER 5266 NEW BEST:: SOT 2450393 SOS 320517 HAS SOPS 320517 HAS SOUS 251012 HAS SOUPS 251012 WITH SCORE 251332.517
AT ITER 5269 NEW BEST:: SOT 2450172 SOS 320597 HAS SOPS 320597 HAS SOUS 250790 HAS SOUPS 250790 WITH SCORE 251110.597
AT ITER 5277 NEW BEST:: SOT 2450167 SOS 320592 HAS SOPS 320592 HAS SOUS 250785 HAS SOUPS 250785 WITH SCORE 251105.592
AT ITER 5286 NEW BEST:: SOT 2450142 SOS 320768 HAS SOPS 320768 HAS SOUS 250760 HAS SOUPS 250760 WITH SCORE 251080.768
AT ITER 5384 NEW BEST:: SOT 2450066 SOS 320692 HAS SOPS 320692 HAS SOUS 250684 HAS SOUPS 250684 WITH SCORE 251004.692
AT ITER 5386 NEW BEST:: SOT 2449967 SOS 320591 HAS SOPS 320591 HAS SOUS 250676 HAS SOUPS 250676 WITH SCORE 250996.591
AT ITER 5390 NEW BEST:: SOT 2449975 SOS 320579 HAS SOPS 320579 HAS SOUS 250614 HAS SOUPS 250614 WITH SCORE 250934.579
AT ITER 5429 NEW BEST:: SOT 2449843 SOS 320417 HAS SOPS 320417 HAS SOUS 250439 HAS SOUPS 250439 WITH SCORE 250759.417
AT ITER 5443 NEW BEST:: SOT 2449733 SOS 320258 HAS SOPS 320258 HAS SOUS 250237 HAS SOUPS 250237 WITH SCORE 250557.258
AT ITER 5456 NEW BEST:: SOT 2449491 SOS 319924 HAS SOPS 319924 HAS SOUS 249776 HAS SOUPS 249776 WITH SCORE 250095.924
AT ITER 5503 NEW BEST:: SOT 2449408 SOS 319675 HAS SOPS 319675 HAS SOUS 249609 HAS SOUPS 249609 WITH SCORE 249928.675
AT ITER 5510 NEW BEST:: SOT 2449424 SOS 319666 HAS SOPS 319666 HAS SOUS 249584 HAS SOUPS 249584 WITH SCORE 249903.666
AT ITER 5518 NEW BEST:: SOT 2449416 SOS 319658 HAS SOPS 319658 HAS SOUS 249573 HAS SOUPS 249573 WITH SCORE 249892.658
AT ITER 5572 NEW BEST:: SOT 2449416 SOS 319658 HAS SOPS 319658 HAS SOUS 249572 HAS SOUPS 249572 WITH SCORE 249891.658
AT ITER 5589 NEW BEST:: SOT 2449533 SOS 319456 HAS SOPS 319456 HAS SOUS 249427 HAS SOUPS 249427 WITH SCORE 249746.456
AT ITER 5606 NEW BEST:: SOT 2449477 SOS 319288 HAS SOPS 319288 HAS SOUS 249315 HAS SOUPS 249315 WITH SCORE 249634.288
AT ITER 5663 NEW BEST:: SOT 2449514 SOS 319175 HAS SOPS 319175 HAS SOUS 249276 HAS SOUPS 249276 WITH SCORE 249595.175
AT ITER 5675 NEW BEST:: SOT 2449492 SOS 319164 HAS SOPS 319164 HAS SOUS 249265 HAS SOUPS 249265 WITH SCORE 249584.164
AT ITER 5676 NEW BEST:: SOT 2449408 SOS 319140 HAS SOPS 319140 HAS SOUS 249229 HAS SOUPS 249229 WITH SCORE 249548.14
AT ITER 5695 NEW BEST:: SOT 2448939 SOS 323113 HAS SOPS 323113 HAS SOUS 249045 HAS SOUPS 249045 WITH SCORE 249368.113
AT ITER 5708 NEW BEST:: SOT 2448936 SOS 323077 HAS SOPS 323077 HAS SOUS 249039 HAS SOUPS 249039 WITH SCORE 249362.077
AT ITER 5725 NEW BEST:: SOT 2448936 SOS 323060 HAS SOPS 323060 HAS SOUS 249039 HAS SOUPS 249039 WITH SCORE 249362.06
AT ITER 5744 NEW BEST:: SOT 2448936 SOS 323060 HAS SOPS 323060 HAS SOUS 249038 HAS SOUPS 249038 WITH SCORE 249361.06
AT ITER 5766 NEW BEST:: SOT 2448801 SOS 322861 HAS SOPS 322861 HAS SOUS 248976 HAS SOUPS 248976 WITH SCORE 249298.861
AT ITER 5772 NEW BEST:: SOT 2448515 SOS 322729 HAS SOPS 322729 HAS SOUS 248841 HAS SOUPS 248841 WITH SCORE 249163.729
AT ITER 5783 NEW BEST:: SOT 2448198 SOS 322121 HAS SOPS 322121 HAS SOUS 248312 HAS SOUPS 248312 WITH SCORE 248634.121
AT ITER 5804 NEW BEST:: SOT 2447861 SOS 323542 HAS SOPS 323542 HAS SOUS 248051 HAS SOUPS 248051 WITH SCORE 248374.542
AT ITER 5821 NEW BEST:: SOT 2447785 SOS 323390 HAS SOPS 323390 HAS SOUS 247899 HAS SOUPS 247899 WITH SCORE 248222.39
AT ITER 5828 NEW BEST:: SOT 2447375 SOS 322818 HAS SOPS 322818 HAS SOUS 247489 HAS SOUPS 247489 WITH SCORE 247811.818
AT ITER 5934 NEW BEST:: SOT 2447375 SOS 322782 HAS SOPS 322782 HAS SOUS 247489 HAS SOUPS 247489 WITH SCORE 247811.782
AT ITER 5940 NEW BEST:: SOT 2447375 SOS 322783 HAS SOPS 322783 HAS SOUS 247453 HAS SOUPS 247453 WITH SCORE 247775.783
AT ITER 5974 NEW BEST:: SOT 2447382 SOS 322654 HAS SOPS 322654 HAS SOUS 247234 HAS SOUPS 247234 WITH SCORE 247556.654
AT ITER 5984 NEW BEST:: SOT 2447382 SOS 322599 HAS SOPS 322599 HAS SOUS 247234 HAS SOUPS 247234 WITH SCORE 247556.599
AT ITER 5992 NEW BEST:: SOT 2447302 SOS 322519 HAS SOPS 322519 HAS SOUS 247154 HAS SOUPS 247154 WITH SCORE 247476.519
AT ITER 5996 NEW BEST:: SOT 2447245 SOS 322410 HAS SOPS 322410 HAS SOUS 247152 HAS SOUPS 247152 WITH SCORE 247474.41
AT ITER 6003 NEW BEST:: SOT 2447284 SOS 322371 HAS SOPS 322371 HAS SOUS 247152 HAS SOUPS 247152 WITH SCORE 247474.371
AT ITER 6030 NEW BEST:: SOT 2447244 SOS 322291 HAS SOPS 322291 HAS SOUS 247112 HAS SOUPS 247112 WITH SCORE 247434.291
AT ITER 6041 NEW BEST:: SOT 2447231 SOS 322278 HAS SOPS 322278 HAS SOUS 247099 HAS SOUPS 247099 WITH SCORE 247421.278
AT ITER 6053 NEW BEST:: SOT 2447231 SOS 322226 HAS SOPS 322226 HAS SOUS 247047 HAS SOUPS 247047 WITH SCORE 247369.226
AT ITER 6088 NEW BEST:: SOT 2447231 SOS 322170 HAS SOPS 322170 HAS SOUS 246884 HAS SOUPS 246884 WITH SCORE 247206.17
AT ITER 6114 NEW BEST:: SOT 2447131 SOS 322070 HAS SOPS 322070 HAS SOUS 246784 HAS SOUPS 246784 WITH SCORE 247106.07
AT ITER 6136 NEW BEST:: SOT 2447059 SOS 321828 HAS SOPS 321828 HAS SOUS 246687 HAS SOUPS 246687 WITH SCORE 247008.828
AT ITER 6170 NEW BEST:: SOT 2447079 SOS 321868 HAS SOPS 321868 HAS SOUS 246643 HAS SOUPS 246643 WITH SCORE 246964.868
AT ITER 6206 NEW BEST:: SOT 2446896 SOS 321519 HAS SOPS 321519 HAS SOUS 246426 HAS SOUPS 246426 WITH SCORE 246747.519
AT ITER 6213 NEW BEST:: SOT 2446896 SOS 321518 HAS SOPS 321518 HAS SOUS 246425 HAS SOUPS 246425 WITH SCORE 246746.518
AT ITER 6231 NEW BEST:: SOT 2446842 SOS 321356 HAS SOPS 321356 HAS SOUS 246288 HAS SOUPS 246288 WITH SCORE 246609.356
AT ITER 6237 NEW BEST:: SOT 2446812 SOS 321235 HAS SOPS 321235 HAS SOUS 246174 HAS SOUPS 246174 WITH SCORE 246495.235
AT ITER 6244 NEW BEST:: SOT 2446702 SOS 321235 HAS SOPS 321235 HAS SOUS 246171 HAS SOUPS 246171 WITH SCORE 246492.235
AT ITER 6252 NEW BEST:: SOT 2446702 SOS 321205 HAS SOPS 321205 HAS SOUS 246171 HAS SOUPS 246171 WITH SCORE 246492.205
AT ITER 6255 NEW BEST:: SOT 2446542 SOS 321045 HAS SOPS 321045 HAS SOUS 245979 HAS SOUPS 245979 WITH SCORE 246300.045
AT ITER 6306 NEW BEST:: SOT 2446547 SOS 321043 HAS SOPS 321043 HAS SOUS 245829 HAS SOUPS 245829 WITH SCORE 246150.043
AT ITER 6311 NEW BEST:: SOT 2446502 SOS 320901 HAS SOPS 320901 HAS SOUS 245787 HAS SOUPS 245787 WITH SCORE 246107.901
AT ITER 6344 NEW BEST:: SOT 2446301 SOS 321029 HAS SOPS 321029 HAS SOUS 245769 HAS SOUPS 245769 WITH SCORE 246090.029
AT ITER 6349 NEW BEST:: SOT 2446192 SOS 320811 HAS SOPS 320811 HAS SOUS 245657 HAS SOUPS 245657 WITH SCORE 245977.811
AT ITER 6423 NEW BEST:: SOT 2446188 SOS 321011 HAS SOPS 321011 HAS SOUS 245464 HAS SOUPS 245464 WITH SCORE 245785.011
AT ITER 6441 NEW BEST:: SOT 2446176 SOS 320987 HAS SOPS 320987 HAS SOUS 245440 HAS SOUPS 245440 WITH SCORE 245760.987
AT ITER 6444 NEW BEST:: SOT 2446139 SOS 320959 HAS SOPS 320959 HAS SOUS 245411 HAS SOUPS 245411 WITH SCORE 245731.959
AT ITER 6445 NEW BEST:: SOT 2445770 SOS 320467 HAS SOPS 320467 HAS SOUS 244976 HAS SOUPS 244976 WITH SCORE 245296.467
AT ITER 6455 NEW BEST:: SOT 2445694 SOS 320350 HAS SOPS 320350 HAS SOUS 244858 HAS SOUPS 244858 WITH SCORE 245178.35
AT ITER 6463 NEW BEST:: SOT 2445642 SOS 320265 HAS SOPS 320265 HAS SOUS 244800 HAS SOUPS 244800 WITH SCORE 245120.265
AT ITER 6484 NEW BEST:: SOT 2445605 SOS 320233 HAS SOPS 320233 HAS SOUS 244674 HAS SOUPS 244674 WITH SCORE 244994.233
AT ITER 6490 NEW BEST:: SOT 2445036 SOS 320110 HAS SOPS 320110 HAS SOUS 244395 HAS SOUPS 244395 WITH SCORE 244715.11
AT ITER 6512 NEW BEST:: SOT 2444846 SOS 320302 HAS SOPS 320302 HAS SOUS 244282 HAS SOUPS 244282 WITH SCORE 244602.302
AT ITER 6536 NEW BEST:: SOT 2444727 SOS 320183 HAS SOPS 320183 HAS SOUS 244277 HAS SOUPS 244277 WITH SCORE 244597.183
AT ITER 6553 NEW BEST:: SOT 2444664 SOS 320057 HAS SOPS 320057 HAS SOUS 243979 HAS SOUPS 243979 WITH SCORE 244299.057
AT ITER 6555 NEW BEST:: SOT 2444535 SOS 319885 HAS SOPS 319885 HAS SOUS 243807 HAS SOUPS 243807 WITH SCORE 244126.885
AT ITER 6562 NEW BEST:: SOT 2444603 SOS 319749 HAS SOPS 319749 HAS SOUS 243772 HAS SOUPS 243772 WITH SCORE 244091.749
AT ITER 6606 NEW BEST:: SOT 2444439 SOS 319551 HAS SOPS 319551 HAS SOUS 243696 HAS SOUPS 243696 WITH SCORE 244015.551
AT ITER 6654 NEW BEST:: SOT 2444408 SOS 319567 HAS SOPS 319567 HAS SOUS 243665 HAS SOUPS 243665 WITH SCORE 243984.567
AT ITER 6674 NEW BEST:: SOT 2444365 SOS 319537 HAS SOPS 319537 HAS SOUS 243538 HAS SOUPS 243538 WITH SCORE 243857.537
AT ITER 6703 NEW BEST:: SOT 2444365 SOS 319642 HAS SOPS 319642 HAS SOUS 243535 HAS SOUPS 243535 WITH SCORE 243854.642
AT ITER 6764 NEW BEST:: SOT 2444365 SOS 319637 HAS SOPS 319637 HAS SOUS 243530 HAS SOUPS 243530 WITH SCORE 243849.637
AT ITER 6856 NEW BEST:: SOT 2444294 SOS 319515 HAS SOPS 319515 HAS SOUS 243500 HAS SOUPS 243500 WITH SCORE 243819.515
AT ITER 6874 NEW BEST:: SOT 2444281 SOS 319480 HAS SOPS 319480 HAS SOUS 243489 HAS SOUPS 243489 WITH SCORE 243808.48
AT ITER 6986 NEW BEST:: SOT 2444126 SOS 319170 HAS SOPS 319170 HAS SOUS 243204 HAS SOUPS 243204 WITH SCORE 243523.17
AT ITER 7004 NEW BEST:: SOT 2444000 SOS 319111 HAS SOPS 319111 HAS SOUS 243085 HAS SOUPS 243085 WITH SCORE 243404.111
AT ITER 7016 NEW BEST:: SOT 2443958 SOS 318998 HAS SOPS 318998 HAS SOUS 242912 HAS SOUPS 242912 WITH SCORE 243230.998
AT ITER 7037 NEW BEST:: SOT 2443886 SOS 318854 HAS SOPS 318854 HAS SOUS 242768 HAS SOUPS 242768 WITH SCORE 243086.854
AT ITER 7097 NEW BEST:: SOT 2443896 SOS 319013 HAS SOPS 319013 HAS SOUS 242741 HAS SOUPS 242741 WITH SCORE 243060.013
AT ITER 7130 NEW BEST:: SOT 2443882 SOS 318956 HAS SOPS 318956 HAS SOUS 242713 HAS SOUPS 242713 WITH SCORE 243031.956
AT ITER 7151 NEW BEST:: SOT 2443871 SOS 318928 HAS SOPS 318928 HAS SOUS 242685 HAS SOUPS 242685 WITH SCORE 243003.928
AT ITER 7202 NEW BEST:: SOT 2443871 SOS 318817 HAS SOPS 318817 HAS SOUS 242633 HAS SOUPS 242633 WITH SCORE 242951.817
AT ITER 7210 NEW BEST:: SOT 2443856 SOS 318787 HAS SOPS 318787 HAS SOUS 242603 HAS SOUPS 242603 WITH SCORE 242921.787
AT ITER 7284 NEW BEST:: SOT 2443810 SOS 318694 HAS SOPS 318694 HAS SOUS 242602 HAS SOUPS 242602 WITH SCORE 242920.694
AT ITER 7316 NEW BEST:: SOT 2443810 SOS 318694 HAS SOPS 318694 HAS SOUS 242601 HAS SOUPS 242601 WITH SCORE 242919.694
AT ITER 7322 NEW BEST:: SOT 2443808 SOS 318692 HAS SOPS 318692 HAS SOUS 242601 HAS SOUPS 242601 WITH SCORE 242919.692
AT ITER 7323 NEW BEST:: SOT 2443398 SOS 318582 HAS SOPS 318582 HAS SOUS 242259 HAS SOUPS 242259 WITH SCORE 242577.582
AT ITER 7325 NEW BEST:: SOT 2443364 SOS 318514 HAS SOPS 318514 HAS SOUS 242225 HAS SOUPS 242225 WITH SCORE 242543.514
AT ITER 7358 NEW BEST:: SOT 2443261 SOS 318367 HAS SOPS 318367 HAS SOUS 242203 HAS SOUPS 242203 WITH SCORE 242521.367
AT ITER 7393 NEW BEST:: SOT 2443252 SOS 318215 HAS SOPS 318215 HAS SOUS 242194 HAS SOUPS 242194 WITH SCORE 242512.215
AT ITER 7408 NEW BEST:: SOT 2443171 SOS 317470 HAS SOPS 317470 HAS SOUS 242060 HAS SOUPS 242060 WITH SCORE 242377.47
AT ITER 7460 NEW BEST:: SOT 2443121 SOS 317420 HAS SOPS 317420 HAS SOUS 242060 HAS SOUPS 242060 WITH SCORE 242377.42
AT ITER 7491 NEW BEST:: SOT 2442965 SOS 317366 HAS SOPS 317366 HAS SOUS 241941 HAS SOUPS 241941 WITH SCORE 242258.366
AT ITER 7499 NEW BEST:: SOT 2442861 SOS 317234 HAS SOPS 317234 HAS SOUS 241823 HAS SOUPS 241823 WITH SCORE 242140.234
AT ITER 7518 NEW BEST:: SOT 2442783 SOS 317150 HAS SOPS 317150 HAS SOUS 241774 HAS SOUPS 241774 WITH SCORE 242091.15
AT ITER 7520 NEW BEST:: SOT 2442713 SOS 317010 HAS SOPS 317010 HAS SOUS 241459 HAS SOUPS 241459 WITH SCORE 241776.01
AT ITER 7543 NEW BEST:: SOT 2442679 SOS 316834 HAS SOPS 316834 HAS SOUS 241371 HAS SOUPS 241371 WITH SCORE 241687.834
AT ITER 7559 NEW BEST:: SOT 2442679 SOS 316834 HAS SOPS 316834 HAS SOUS 241367 HAS SOUPS 241367 WITH SCORE 241683.834
AT ITER 7590 NEW BEST:: SOT 2442678 SOS 316832 HAS SOPS 316832 HAS SOUS 241365 HAS SOUPS 241365 WITH SCORE 241681.832
AT ITER 7592 NEW BEST:: SOT 2442678 SOS 316782 HAS SOPS 316782 HAS SOUS 241364 HAS SOUPS 241364 WITH SCORE 241680.782
AT ITER 7597 NEW BEST:: SOT 2442456 SOS 316411 HAS SOPS 316411 HAS SOUS 241105 HAS SOUPS 241105 WITH SCORE 241421.411
AT ITER 7600 NEW BEST:: SOT 2442337 SOS 316638 HAS SOPS 316638 HAS SOUS 241075 HAS SOUPS 241075 WITH SCORE 241391.638
AT ITER 7627 NEW BEST:: SOT 2442307 SOS 316607 HAS SOPS 316607 HAS SOUS 241044 HAS SOUPS 241044 WITH SCORE 241360.607
AT ITER 7652 NEW BEST:: SOT 2442247 SOS 316381 HAS SOPS 316381 HAS SOUS 240828 HAS SOUPS 240828 WITH SCORE 241144.381
AT ITER 7675 NEW BEST:: SOT 2442246 SOS 316376 HAS SOPS 316376 HAS SOUS 240827 HAS SOUPS 240827 WITH SCORE 241143.376
AT ITER 7704 NEW BEST:: SOT 2442084 SOS 316987 HAS SOPS 316987 HAS SOUS 240752 HAS SOUPS 240752 WITH SCORE 241068.987
AT ITER 7741 NEW BEST:: SOT 2442047 SOS 316903 HAS SOPS 316903 HAS SOUS 240679 HAS SOUPS 240679 WITH SCORE 240995.903
AT ITER 7775 NEW BEST:: SOT 2442010 SOS 316850 HAS SOPS 316850 HAS SOUS 240530 HAS SOUPS 240530 WITH SCORE 240846.85
AT ITER 7782 NEW BEST:: SOT 2441903 SOS 316636 HAS SOPS 316636 HAS SOUS 240449 HAS SOUPS 240449 WITH SCORE 240765.636
AT ITER 7840 NEW BEST:: SOT 2441897 SOS 316630 HAS SOPS 316630 HAS SOUS 240449 HAS SOUPS 240449 WITH SCORE 240765.63
AT ITER 7842 NEW BEST:: SOT 2441864 SOS 316577 HAS SOPS 316577 HAS SOUS 240377 HAS SOUPS 240377 WITH SCORE 240693.577
AT ITER 7845 NEW BEST:: SOT 2441864 SOS 316569 HAS SOPS 316569 HAS SOUS 240372 HAS SOUPS 240372 WITH SCORE 240688.569
AT ITER 7853 NEW BEST:: SOT 2441843 SOS 316559 HAS SOPS 316559 HAS SOUS 240362 HAS SOUPS 240362 WITH SCORE 240678.559
AT ITER 7858 NEW BEST:: SOT 2441763 SOS 316517 HAS SOPS 316517 HAS SOUS 240313 HAS SOUPS 240313 WITH SCORE 240629.517
AT ITER 7893 NEW BEST:: SOT 2441763 SOS 316540 HAS SOPS 316540 HAS SOUS 240302 HAS SOUPS 240302 WITH SCORE 240618.54
AT ITER 7914 NEW BEST:: SOT 2441698 SOS 316383 HAS SOPS 316383 HAS SOUS 240145 HAS SOUPS 240145 WITH SCORE 240461.383
AT ITER 7950 NEW BEST:: SOT 2441506 SOS 316191 HAS SOPS 316191 HAS SOUS 239908 HAS SOUPS 239908 WITH SCORE 240224.191
AT ITER 7978 NEW BEST:: SOT 2441470 SOS 316143 HAS SOPS 316143 HAS SOUS 239860 HAS SOUPS 239860 WITH SCORE 240176.143
AT ITER 7989 NEW BEST:: SOT 2441443 SOS 316035 HAS SOPS 316035 HAS SOUS 239806 HAS SOUPS 239806 WITH SCORE 240122.035
AT ITER 8086 NEW BEST:: SOT 2441422 SOS 315987 HAS SOPS 315987 HAS SOUS 239765 HAS SOUPS 239765 WITH SCORE 240080.987
AT ITER 8106 NEW BEST:: SOT 2441358 SOS 315703 HAS SOPS 315703 HAS SOUS 239577 HAS SOUPS 239577 WITH SCORE 239892.703
AT ITER 8121 NEW BEST:: SOT 2441318 SOS 315663 HAS SOPS 315663 HAS SOUS 239536 HAS SOUPS 239536 WITH SCORE 239851.663
AT ITER 8125 NEW BEST:: SOT 2441313 SOS 315658 HAS SOPS 315658 HAS SOUS 239529 HAS SOUPS 239529 WITH SCORE 239844.658
AT ITER 8139 NEW BEST:: SOT 2441271 SOS 315532 HAS SOPS 315532 HAS SOUS 239449 HAS SOUPS 239449 WITH SCORE 239764.532
AT ITER 8150 NEW BEST:: SOT 2441252 SOS 315513 HAS SOPS 315513 HAS SOUS 239430 HAS SOUPS 239430 WITH SCORE 239745.513
AT ITER 8168 NEW BEST:: SOT 2441209 SOS 315427 HAS SOPS 315427 HAS SOUS 239387 HAS SOUPS 239387 WITH SCORE 239702.427
AT ITER 8174 NEW BEST:: SOT 2441189 SOS 315367 HAS SOPS 315367 HAS SOUS 239366 HAS SOUPS 239366 WITH SCORE 239681.367
AT ITER 8190 NEW BEST:: SOT 2441189 SOS 315370 HAS SOPS 315370 HAS SOUS 239351 HAS SOUPS 239351 WITH SCORE 239666.37
AT ITER 8214 NEW BEST:: SOT 2441107 SOS 315076 HAS SOPS 315076 HAS SOUS 239287 HAS SOUPS 239287 WITH SCORE 239602.076
AT ITER 8235 NEW BEST:: SOT 2441085 SOS 315032 HAS SOPS 315032 HAS SOUS 239243 HAS SOUPS 239243 WITH SCORE 239558.032
AT ITER 8283 NEW BEST:: SOT 2440942 SOS 314792 HAS SOPS 314792 HAS SOUS 239003 HAS SOUPS 239003 WITH SCORE 239317.792
AT ITER 8324 NEW BEST:: SOT 2440875 SOS 314733 HAS SOPS 314733 HAS SOUS 238953 HAS SOUPS 238953 WITH SCORE 239267.733
AT ITER 8327 NEW BEST:: SOT 2440872 SOS 314718 HAS SOPS 314718 HAS SOUS 238944 HAS SOUPS 238944 WITH SCORE 239258.718
AT ITER 8366 NEW BEST:: SOT 2440834 SOS 314647 HAS SOPS 314647 HAS SOUS 238873 HAS SOUPS 238873 WITH SCORE 239187.647
AT ITER 8414 NEW BEST:: SOT 2440753 SOS 314484 HAS SOPS 314484 HAS SOUS 238827 HAS SOUPS 238827 WITH SCORE 239141.484
AT ITER 8442 NEW BEST:: SOT 2440623 SOS 314367 HAS SOPS 314367 HAS SOUS 238697 HAS SOUPS 238697 WITH SCORE 239011.367
AT ITER 8467 NEW BEST:: SOT 2440623 SOS 314367 HAS SOPS 314367 HAS SOUS 238680 HAS SOUPS 238680 WITH SCORE 238994.367
AT ITER 8481 NEW BEST:: SOT 2440544 SOS 314044 HAS SOPS 314044 HAS SOUS 238506 HAS SOUPS 238506 WITH SCORE 238820.044
AT ITER 8488 NEW BEST:: SOT 2440499 SOS 313925 HAS SOPS 313925 HAS SOUS 238416 HAS SOUPS 238416 WITH SCORE 238729.925
AT ITER 8525 NEW BEST:: SOT 2440478 SOS 313904 HAS SOPS 313904 HAS SOUS 238395 HAS SOUPS 238395 WITH SCORE 238708.904
AT ITER 8571 NEW BEST:: SOT 2440362 SOS 313787 HAS SOPS 313787 HAS SOUS 238305 HAS SOUPS 238305 WITH SCORE 238618.787
AT ITER 8573 NEW BEST:: SOT 2440304 SOS 313729 HAS SOPS 313729 HAS SOUS 238247 HAS SOUPS 238247 WITH SCORE 238560.729
AT ITER 8589 NEW BEST:: SOT 2440318 SOS 313695 HAS SOPS 313695 HAS SOUS 238125 HAS SOUPS 238125 WITH SCORE 238438.695
AT ITER 8606 NEW BEST:: SOT 2440301 SOS 313599 HAS SOPS 313599 HAS SOUS 238091 HAS SOUPS 238091 WITH SCORE 238404.599
AT ITER 8633 NEW BEST:: SOT 2440324 SOS 313585 HAS SOPS 313585 HAS SOUS 238077 HAS SOUPS 238077 WITH SCORE 238390.585
AT ITER 8661 NEW BEST:: SOT 2440347 SOS 313774 HAS SOPS 313774 HAS SOUS 238059 HAS SOUPS 238059 WITH SCORE 238372.774
AT ITER 8662 NEW BEST:: SOT 2440337 SOS 313754 HAS SOPS 313754 HAS SOUS 238039 HAS SOUPS 238039 WITH SCORE 238352.754
AT ITER 8686 NEW BEST:: SOT 2440250 SOS 313303 HAS SOPS 313303 HAS SOUS 237935 HAS SOUPS 237935 WITH SCORE 238248.303
AT ITER 8700 NEW BEST:: SOT 2440250 SOS 313301 HAS SOPS 313301 HAS SOUS 237932 HAS SOUPS 237932 WITH SCORE 238245.301
AT ITER 8786 NEW BEST:: SOT 2440251 SOS 313617 HAS SOPS 313617 HAS SOUS 237779 HAS SOUPS 237779 WITH SCORE 238092.617
AT ITER 8792 NEW BEST:: SOT 2440176 SOS 313564 HAS SOPS 313564 HAS SOUS 237704 HAS SOUPS 237704 WITH SCORE 238017.564
AT ITER 8810 NEW BEST:: SOT 2440076 SOS 313514 HAS SOPS 313514 HAS SOUS 237629 HAS SOUPS 237629 WITH SCORE 237942.514
AT ITER 8879 NEW BEST:: SOT 2440043 SOS 313481 HAS SOPS 313481 HAS SOUS 237596 HAS SOUPS 237596 WITH SCORE 237909.481
AT ITER 8884 NEW BEST:: SOT 2439976 SOS 313347 HAS SOPS 313347 HAS SOUS 237573 HAS SOUPS 237573 WITH SCORE 237886.347
AT ITER 8894 NEW BEST:: SOT 2439976 SOS 313311 HAS SOPS 313311 HAS SOUS 237573 HAS SOUPS 237573 WITH SCORE 237886.311
AT ITER 8961 NEW BEST:: SOT 2439881 SOS 313102 HAS SOPS 313102 HAS SOUS 237383 HAS SOUPS 237383 WITH SCORE 237696.102
AT ITER 8970 NEW BEST:: SOT 2439858 SOS 312836 HAS SOPS 312836 HAS SOUS 237236 HAS SOUPS 237236 WITH SCORE 237548.836
AT ITER 8986 NEW BEST:: SOT 2439845 SOS 312833 HAS SOPS 312833 HAS SOUS 237231 HAS SOUPS 237231 WITH SCORE 237543.833
AT ITER 9024 NEW BEST:: SOT 2439845 SOS 312802 HAS SOPS 312802 HAS SOUS 237200 HAS SOUPS 237200 WITH SCORE 237512.802
AT ITER 9043 NEW BEST:: SOT 2439790 SOS 312988 HAS SOPS 312988 HAS SOUS 237026 HAS SOUPS 237026 WITH SCORE 237338.988
AT ITER 9060 NEW BEST:: SOT 2439790 SOS 312987 HAS SOPS 312987 HAS SOUS 237024 HAS SOUPS 237024 WITH SCORE 237336.987
AT ITER 9061 NEW BEST:: SOT 2439218 SOS 317601 HAS SOPS 317601 HAS SOUS 236902 HAS SOUPS 236902 WITH SCORE 237219.601
AT ITER 9073 NEW BEST:: SOT 2439177 SOS 317598 HAS SOPS 317598 HAS SOUS 236819 HAS SOUPS 236819 WITH SCORE 237136.598
AT ITER 9097 NEW BEST:: SOT 2439156 SOS 317493 HAS SOPS 317493 HAS SOUS 236777 HAS SOUPS 236777 WITH SCORE 237094.493
AT ITER 9122 NEW BEST:: SOT 2439131 SOS 317468 HAS SOPS 317468 HAS SOUS 236750 HAS SOUPS 236750 WITH SCORE 237067.468
AT ITER 9151 NEW BEST:: SOT 2438999 SOS 317449 HAS SOPS 317449 HAS SOUS 236730 HAS SOUPS 236730 WITH SCORE 237047.449
AT ITER 9152 NEW BEST:: SOT 2438985 SOS 317435 HAS SOPS 317435 HAS SOUS 236723 HAS SOUPS 236723 WITH SCORE 237040.435
AT ITER 9203 NEW BEST:: SOT 2438816 SOS 317622 HAS SOPS 317622 HAS SOUS 236671 HAS SOUPS 236671 WITH SCORE 236988.622
AT ITER 9237 NEW BEST:: SOT 2438815 SOS 317404 HAS SOPS 317404 HAS SOUS 236549 HAS SOUPS 236549 WITH SCORE 236866.404
AT ITER 9280 NEW BEST:: SOT 2438422 SOS 317193 HAS SOPS 317193 HAS SOUS 236338 HAS SOUPS 236338 WITH SCORE 236655.193
AT ITER 9320 NEW BEST:: SOT 2438322 SOS 318323 HAS SOPS 318323 HAS SOUS 236308 HAS SOUPS 236308 WITH SCORE 236626.323
AT ITER 9336 NEW BEST:: SOT 2438280 SOS 318043 HAS SOPS 318043 HAS SOUS 236243 HAS SOUPS 236243 WITH SCORE 236561.043
AT ITER 9338 NEW BEST:: SOT 2438289 SOS 318143 HAS SOPS 318143 HAS SOUS 236135 HAS SOUPS 236135 WITH SCORE 236453.143
AT ITER 9361 NEW BEST:: SOT 2438213 SOS 318067 HAS SOPS 318067 HAS SOUS 236059 HAS SOUPS 236059 WITH SCORE 236377.067
AT ITER 9452 NEW BEST:: SOT 2438205 SOS 318051 HAS SOPS 318051 HAS SOUS 236043 HAS SOUPS 236043 WITH SCORE 236361.051
AT ITER 9466 NEW BEST:: SOT 2438205 SOS 318023 HAS SOPS 318023 HAS SOUS 236043 HAS SOUPS 236043 WITH SCORE 236361.023
AT ITER 9485 NEW BEST:: SOT 2438127 SOS 317945 HAS SOPS 317945 HAS SOUS 236030 HAS SOUPS 236030 WITH SCORE 236347.945
AT ITER 9547 NEW BEST:: SOT 2438074 SOS 317892 HAS SOPS 317892 HAS SOUS 235977 HAS SOUPS 235977 WITH SCORE 236294.892
AT ITER 9551 NEW BEST:: SOT 2438059 SOS 317877 HAS SOPS 317877 HAS SOUS 235975 HAS SOUPS 235975 WITH SCORE 236292.877
AT ITER 9599 NEW BEST:: SOT 2438058 SOS 317778 HAS SOPS 317778 HAS SOUS 235876 HAS SOUPS 235876 WITH SCORE 236193.778
AT ITER 9617 NEW BEST:: SOT 2438049 SOS 317769 HAS SOPS 317769 HAS SOUS 235867 HAS SOUPS 235867 WITH SCORE 236184.769
AT ITER 9642 NEW BEST:: SOT 2438011 SOS 317693 HAS SOPS 317693 HAS SOUS 235791 HAS SOUPS 235791 WITH SCORE 236108.693
AT ITER 9648 NEW BEST:: SOT 2438001 SOS 317673 HAS SOPS 317673 HAS SOUS 235781 HAS SOUPS 235781 WITH SCORE 236098.673
AT ITER 9652 NEW BEST:: SOT 2438021 SOS 317644 HAS SOPS 317644 HAS SOUS 235732 HAS SOUPS 235732 WITH SCORE 236049.644
AT ITER 9670 NEW BEST:: SOT 2437909 SOS 317308 HAS SOPS 317308 HAS SOUS 235587 HAS SOUPS 235587 WITH SCORE 235904.308
AT ITER 9678 NEW BEST:: SOT 2437898 SOS 317290 HAS SOPS 317290 HAS SOUS 235580 HAS SOUPS 235580 WITH SCORE 235897.29
AT ITER 9693 NEW BEST:: SOT 2437930 SOS 317249 HAS SOPS 317249 HAS SOUS 235543 HAS SOUPS 235543 WITH SCORE 235860.249
AT ITER 9709 NEW BEST:: SOT 2437862 SOS 317072 HAS SOPS 317072 HAS SOUS 235403 HAS SOUPS 235403 WITH SCORE 235720.072
AT ITER 9720 NEW BEST:: SOT 2437837 SOS 317055 HAS SOPS 317055 HAS SOUS 235353 HAS SOUPS 235353 WITH SCORE 235670.055
AT ITER 9738 NEW BEST:: SOT 2437833 SOS 317047 HAS SOPS 317047 HAS SOUS 235345 HAS SOUPS 235345 WITH SCORE 235662.047
AT ITER 9776 NEW BEST:: SOT 2437735 SOS 316753 HAS SOPS 316753 HAS SOUS 235168 HAS SOUPS 235168 WITH SCORE 235484.753
AT ITER 9809 NEW BEST:: SOT 2437638 SOS 316659 HAS SOPS 316659 HAS SOUS 235036 HAS SOUPS 235036 WITH SCORE 235352.659
AT ITER 9817 NEW BEST:: SOT 2437592 SOS 316450 HAS SOPS 316450 HAS SOUS 234958 HAS SOUPS 234958 WITH SCORE 235274.45
AT ITER 9844 NEW BEST:: SOT 2437431 SOS 316298 HAS SOPS 316298 HAS SOUS 234878 HAS SOUPS 234878 WITH SCORE 235194.298
AT ITER 9925 NEW BEST:: SOT 2437376 SOS 316216 HAS SOPS 316216 HAS SOUS 234856 HAS SOUPS 234856 WITH SCORE 235172.216
AT ITER 9952 NEW BEST:: SOT 2437338 SOS 316140 HAS SOPS 316140 HAS SOUS 234780 HAS SOUPS 234780 WITH SCORE 235096.14
AT ITER 9975 NEW BEST:: SOT 2437258 SOS 315837 HAS SOPS 315837 HAS SOUS 234659 HAS SOUPS 234659 WITH SCORE 234974.837
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 12058040 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16153604 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="NoC3x3-PT-2B"
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 NoC3x3-PT-2B, 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 r259-smll-167863534300256"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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