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.r003-oct2-167813590900496.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 AutoFlight-PT-24b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-oct2-167813590900496
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 884K
-rw-r--r-- 1 mcc users 6.1K Feb 25 18:17 CTLCardinality.txt
-rw-r--r-- 1 mcc users 60K Feb 25 18:17 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 25 18:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 25 18:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:32 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:32 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 15:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.3K Feb 25 18:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 25 18:18 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Feb 25 18:17 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 25 18:17 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:32 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:32 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 538K 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 1678473004288

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=AutoFlight-PT-24b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutoFlight (PT), instance 24b
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: 2230 places, 2228 transitions, 5186 arcs.
AT ITER 0 NEW BEST:: SOT 2675094 SOS 377951 HAS SOPS 377951 HAS SOUS 349436 HAS SOUPS 349436 WITH SCORE 349813.951
AT ITER 5 NEW BEST:: SOT 2674909 SOS 377718 HAS SOPS 377718 HAS SOUS 349203 HAS SOUPS 349203 WITH SCORE 349580.718
AT ITER 13 NEW BEST:: SOT 2674909 SOS 377639 HAS SOPS 377639 HAS SOUS 349124 HAS SOUPS 349124 WITH SCORE 349501.639
AT ITER 15 NEW BEST:: SOT 2674797 SOS 377415 HAS SOPS 377415 HAS SOUS 349012 HAS SOUPS 349012 WITH SCORE 349389.415
AT ITER 55 NEW BEST:: SOT 2674797 SOS 377415 HAS SOPS 377415 HAS SOUS 348872 HAS SOUPS 348872 WITH SCORE 349249.415
AT ITER 112 NEW BEST:: SOT 2674791 SOS 377403 HAS SOPS 377403 HAS SOUS 348803 HAS SOUPS 348803 WITH SCORE 349180.403
AT ITER 114 NEW BEST:: SOT 2674791 SOS 377371 HAS SOPS 377371 HAS SOUS 348771 HAS SOUPS 348771 WITH SCORE 349148.371
AT ITER 116 NEW BEST:: SOT 2674588 SOS 377166 HAS SOPS 377166 HAS SOUS 348578 HAS SOUPS 348578 WITH SCORE 348955.166
AT ITER 155 NEW BEST:: SOT 2674587 SOS 377164 HAS SOPS 377164 HAS SOUS 348576 HAS SOUPS 348576 WITH SCORE 348953.164
AT ITER 173 NEW BEST:: SOT 2674362 SOS 376864 HAS SOPS 376864 HAS SOUS 348276 HAS SOUPS 348276 WITH SCORE 348652.864
AT ITER 218 NEW BEST:: SOT 2674141 SOS 376830 HAS SOPS 376830 HAS SOUS 347851 HAS SOUPS 347851 WITH SCORE 348227.83
AT ITER 231 NEW BEST:: SOT 2674141 SOS 376828 HAS SOPS 376828 HAS SOUS 347850 HAS SOUPS 347850 WITH SCORE 348226.828
AT ITER 265 NEW BEST:: SOT 2674131 SOS 376808 HAS SOPS 376808 HAS SOUS 347830 HAS SOUPS 347830 WITH SCORE 348206.808
AT ITER 304 NEW BEST:: SOT 2673740 SOS 376450 HAS SOPS 376450 HAS SOUS 347443 HAS SOUPS 347443 WITH SCORE 347819.45
AT ITER 309 NEW BEST:: SOT 2673649 SOS 376268 HAS SOPS 376268 HAS SOUS 347084 HAS SOUPS 347084 WITH SCORE 347460.268
AT ITER 325 NEW BEST:: SOT 2673657 SOS 376284 HAS SOPS 376284 HAS SOUS 346992 HAS SOUPS 346992 WITH SCORE 347368.284
AT ITER 342 NEW BEST:: SOT 2673517 SOS 374536 HAS SOPS 374536 HAS SOUS 346667 HAS SOUPS 346667 WITH SCORE 347041.536
AT ITER 379 NEW BEST:: SOT 2673517 SOS 374824 HAS SOPS 374824 HAS SOUS 346523 HAS SOUPS 346523 WITH SCORE 346897.824
AT ITER 396 NEW BEST:: SOT 2673361 SOS 374776 HAS SOPS 374776 HAS SOUS 346475 HAS SOUPS 346475 WITH SCORE 346849.776
AT ITER 425 NEW BEST:: SOT 2673361 SOS 374758 HAS SOPS 374758 HAS SOUS 346457 HAS SOUPS 346457 WITH SCORE 346831.758
AT ITER 439 NEW BEST:: SOT 2673301 SOS 374608 HAS SOPS 374608 HAS SOUS 346367 HAS SOUPS 346367 WITH SCORE 346741.608
AT ITER 457 NEW BEST:: SOT 2673223 SOS 374452 HAS SOPS 374452 HAS SOUS 346288 HAS SOUPS 346288 WITH SCORE 346662.452
AT ITER 469 NEW BEST:: SOT 2673223 SOS 374419 HAS SOPS 374419 HAS SOUS 346255 HAS SOUPS 346255 WITH SCORE 346629.419
AT ITER 470 NEW BEST:: SOT 2673223 SOS 374390 HAS SOPS 374390 HAS SOUS 346226 HAS SOUPS 346226 WITH SCORE 346600.39
AT ITER 473 NEW BEST:: SOT 2673223 SOS 374356 HAS SOPS 374356 HAS SOUS 346192 HAS SOUPS 346192 WITH SCORE 346566.356
AT ITER 477 NEW BEST:: SOT 2673179 SOS 374322 HAS SOPS 374322 HAS SOUS 346108 HAS SOUPS 346108 WITH SCORE 346482.322
AT ITER 480 NEW BEST:: SOT 2673179 SOS 374242 HAS SOPS 374242 HAS SOUS 346028 HAS SOUPS 346028 WITH SCORE 346402.242
AT ITER 485 NEW BEST:: SOT 2673086 SOS 374056 HAS SOPS 374056 HAS SOUS 345842 HAS SOUPS 345842 WITH SCORE 346216.056
AT ITER 501 NEW BEST:: SOT 2673074 SOS 374085 HAS SOPS 374085 HAS SOUS 345832 HAS SOUPS 345832 WITH SCORE 346206.085
AT ITER 508 NEW BEST:: SOT 2673074 SOS 374058 HAS SOPS 374058 HAS SOUS 345832 HAS SOUPS 345832 WITH SCORE 346206.058
AT ITER 530 NEW BEST:: SOT 2673108 SOS 374056 HAS SOPS 374056 HAS SOUS 345830 HAS SOUPS 345830 WITH SCORE 346204.056
AT ITER 551 NEW BEST:: SOT 2672961 SOS 374158 HAS SOPS 374158 HAS SOUS 345712 HAS SOUPS 345712 WITH SCORE 346086.158
AT ITER 554 NEW BEST:: SOT 2672961 SOS 374158 HAS SOPS 374158 HAS SOUS 345553 HAS SOUPS 345553 WITH SCORE 345927.158
AT ITER 572 NEW BEST:: SOT 2673025 SOS 374119 HAS SOPS 374119 HAS SOUS 345514 HAS SOUPS 345514 WITH SCORE 345888.119
AT ITER 605 NEW BEST:: SOT 2672880 SOS 373974 HAS SOPS 373974 HAS SOUS 345369 HAS SOUPS 345369 WITH SCORE 345742.974
AT ITER 621 NEW BEST:: SOT 2672775 SOS 374057 HAS SOPS 374057 HAS SOUS 345304 HAS SOUPS 345304 WITH SCORE 345678.057
AT ITER 644 NEW BEST:: SOT 2672775 SOS 373996 HAS SOPS 373996 HAS SOUS 345243 HAS SOUPS 345243 WITH SCORE 345616.996
AT ITER 693 NEW BEST:: SOT 2672691 SOS 373510 HAS SOPS 373510 HAS SOUS 345032 HAS SOUPS 345032 WITH SCORE 345405.51
AT ITER 729 NEW BEST:: SOT 2672690 SOS 373509 HAS SOPS 373509 HAS SOUS 345031 HAS SOUPS 345031 WITH SCORE 345404.509
AT ITER 759 NEW BEST:: SOT 2672509 SOS 373639 HAS SOPS 373639 HAS SOUS 344850 HAS SOUPS 344850 WITH SCORE 345223.639
AT ITER 793 NEW BEST:: SOT 2672478 SOS 373612 HAS SOPS 373612 HAS SOUS 344819 HAS SOUPS 344819 WITH SCORE 345192.612
AT ITER 810 NEW BEST:: SOT 2672326 SOS 373464 HAS SOPS 373464 HAS SOUS 344667 HAS SOUPS 344667 WITH SCORE 345040.464
AT ITER 812 NEW BEST:: SOT 2672326 SOS 373464 HAS SOPS 373464 HAS SOUS 344656 HAS SOUPS 344656 WITH SCORE 345029.464
AT ITER 852 NEW BEST:: SOT 2672112 SOS 373274 HAS SOPS 373274 HAS SOUS 344466 HAS SOUPS 344466 WITH SCORE 344839.274
AT ITER 883 NEW BEST:: SOT 2672046 SOS 373031 HAS SOPS 373031 HAS SOUS 344427 HAS SOUPS 344427 WITH SCORE 344800.031
AT ITER 893 NEW BEST:: SOT 2672007 SOS 372953 HAS SOPS 372953 HAS SOUS 344349 HAS SOUPS 344349 WITH SCORE 344721.953
AT ITER 896 NEW BEST:: SOT 2671776 SOS 372626 HAS SOPS 372626 HAS SOUS 344061 HAS SOUPS 344061 WITH SCORE 344433.626
AT ITER 926 NEW BEST:: SOT 2671776 SOS 372604 HAS SOPS 372604 HAS SOUS 344039 HAS SOUPS 344039 WITH SCORE 344411.604
AT ITER 934 NEW BEST:: SOT 2671651 SOS 372354 HAS SOPS 372354 HAS SOUS 343913 HAS SOUPS 343913 WITH SCORE 344285.354
AT ITER 957 NEW BEST:: SOT 2671751 SOS 372363 HAS SOPS 372363 HAS SOUS 343822 HAS SOUPS 343822 WITH SCORE 344194.363
AT ITER 978 NEW BEST:: SOT 2671623 SOS 372059 HAS SOPS 372059 HAS SOUS 343646 HAS SOUPS 343646 WITH SCORE 344018.059
AT ITER 985 NEW BEST:: SOT 2671582 SOS 371934 HAS SOPS 371934 HAS SOUS 343605 HAS SOUPS 343605 WITH SCORE 343976.934
AT ITER 1024 NEW BEST:: SOT 2671581 SOS 371900 HAS SOPS 371900 HAS SOUS 343571 HAS SOUPS 343571 WITH SCORE 343942.9
AT ITER 1066 NEW BEST:: SOT 2671613 SOS 371899 HAS SOPS 371899 HAS SOUS 343570 HAS SOUPS 343570 WITH SCORE 343941.899
AT ITER 1084 NEW BEST:: SOT 2671613 SOS 371899 HAS SOPS 371899 HAS SOUS 343411 HAS SOUPS 343411 WITH SCORE 343782.899
AT ITER 1177 NEW BEST:: SOT 2671563 SOS 371839 HAS SOPS 371839 HAS SOUS 343301 HAS SOUPS 343301 WITH SCORE 343672.839
AT ITER 1182 NEW BEST:: SOT 2671563 SOS 371839 HAS SOPS 371839 HAS SOUS 343268 HAS SOUPS 343268 WITH SCORE 343639.839
AT ITER 1185 NEW BEST:: SOT 2671379 SOS 371813 HAS SOPS 371813 HAS SOUS 343084 HAS SOUPS 343084 WITH SCORE 343455.813
AT ITER 1221 NEW BEST:: SOT 2671407 SOS 371699 HAS SOPS 371699 HAS SOUS 342970 HAS SOUPS 342970 WITH SCORE 343341.699
AT ITER 1268 NEW BEST:: SOT 2671475 SOS 371686 HAS SOPS 371686 HAS SOUS 342957 HAS SOUPS 342957 WITH SCORE 343328.686
AT ITER 1277 NEW BEST:: SOT 2671517 SOS 371680 HAS SOPS 371680 HAS SOUS 342951 HAS SOUPS 342951 WITH SCORE 343322.68
AT ITER 1298 NEW BEST:: SOT 2671494 SOS 371634 HAS SOPS 371634 HAS SOUS 342928 HAS SOUPS 342928 WITH SCORE 343299.634
AT ITER 1300 NEW BEST:: SOT 2671507 SOS 371945 HAS SOPS 371945 HAS SOUS 342768 HAS SOUPS 342768 WITH SCORE 343139.945
AT ITER 1303 NEW BEST:: SOT 2671507 SOS 371923 HAS SOPS 371923 HAS SOUS 342746 HAS SOUPS 342746 WITH SCORE 343117.923
AT ITER 1321 NEW BEST:: SOT 2671507 SOS 371879 HAS SOPS 371879 HAS SOUS 342702 HAS SOUPS 342702 WITH SCORE 343073.879
AT ITER 1407 NEW BEST:: SOT 2671353 SOS 371725 HAS SOPS 371725 HAS SOUS 342548 HAS SOUPS 342548 WITH SCORE 342919.725
AT ITER 1423 NEW BEST:: SOT 2671353 SOS 371725 HAS SOPS 371725 HAS SOUS 342419 HAS SOUPS 342419 WITH SCORE 342790.725
AT ITER 1427 NEW BEST:: SOT 2671272 SOS 371406 HAS SOPS 371406 HAS SOUS 342338 HAS SOUPS 342338 WITH SCORE 342709.406
AT ITER 1474 NEW BEST:: SOT 2671126 SOS 371321 HAS SOPS 371321 HAS SOUS 342192 HAS SOUPS 342192 WITH SCORE 342563.321
AT ITER 1559 NEW BEST:: SOT 2670964 SOS 371270 HAS SOPS 371270 HAS SOUS 342030 HAS SOUPS 342030 WITH SCORE 342401.27
AT ITER 1615 NEW BEST:: SOT 2670873 SOS 371088 HAS SOPS 371088 HAS SOUS 341939 HAS SOUPS 341939 WITH SCORE 342310.088
AT ITER 1620 NEW BEST:: SOT 2670838 SOS 371018 HAS SOPS 371018 HAS SOUS 341904 HAS SOUPS 341904 WITH SCORE 342275.018
AT ITER 1635 NEW BEST:: SOT 2670711 SOS 370918 HAS SOPS 370918 HAS SOUS 341623 HAS SOUPS 341623 WITH SCORE 341993.918
AT ITER 1663 NEW BEST:: SOT 2670616 SOS 370728 HAS SOPS 370728 HAS SOUS 341528 HAS SOUPS 341528 WITH SCORE 341898.728
AT ITER 1672 NEW BEST:: SOT 2670616 SOS 370727 HAS SOPS 370727 HAS SOUS 341527 HAS SOUPS 341527 WITH SCORE 341897.727
AT ITER 1727 NEW BEST:: SOT 2670485 SOS 370569 HAS SOPS 370569 HAS SOUS 341369 HAS SOUPS 341369 WITH SCORE 341739.569
AT ITER 1730 NEW BEST:: SOT 2670357 SOS 370377 HAS SOPS 370377 HAS SOUS 341177 HAS SOUPS 341177 WITH SCORE 341547.377
AT ITER 1735 NEW BEST:: SOT 2670086 SOS 370193 HAS SOPS 370193 HAS SOUS 340906 HAS SOUPS 340906 WITH SCORE 341276.193
AT ITER 1769 NEW BEST:: SOT 2670086 SOS 370154 HAS SOPS 370154 HAS SOUS 340876 HAS SOUPS 340876 WITH SCORE 341246.154
AT ITER 1829 NEW BEST:: SOT 2670043 SOS 370129 HAS SOPS 370129 HAS SOUS 340876 HAS SOUPS 340876 WITH SCORE 341246.129
AT ITER 1904 NEW BEST:: SOT 2669843 SOS 369929 HAS SOPS 369929 HAS SOUS 340576 HAS SOUPS 340576 WITH SCORE 340945.929
AT ITER 1919 NEW BEST:: SOT 2669653 SOS 369691 HAS SOPS 369691 HAS SOUS 340338 HAS SOUPS 340338 WITH SCORE 340707.691
AT ITER 1951 NEW BEST:: SOT 2669653 SOS 369594 HAS SOPS 369594 HAS SOUS 340241 HAS SOUPS 340241 WITH SCORE 340610.594
AT ITER 1969 NEW BEST:: SOT 2669494 SOS 369408 HAS SOPS 369408 HAS SOUS 340055 HAS SOUPS 340055 WITH SCORE 340424.408
AT ITER 1972 NEW BEST:: SOT 2669447 SOS 369267 HAS SOPS 369267 HAS SOUS 339961 HAS SOUPS 339961 WITH SCORE 340330.267
AT ITER 1981 NEW BEST:: SOT 2669511 SOS 369226 HAS SOPS 369226 HAS SOUS 339920 HAS SOUPS 339920 WITH SCORE 340289.226
AT ITER 1988 NEW BEST:: SOT 2669433 SOS 369227 HAS SOPS 369227 HAS SOUS 339882 HAS SOUPS 339882 WITH SCORE 340251.227
AT ITER 2044 NEW BEST:: SOT 2669433 SOS 369227 HAS SOPS 369227 HAS SOUS 339881 HAS SOUPS 339881 WITH SCORE 340250.227
AT ITER 2050 NEW BEST:: SOT 2669427 SOS 369218 HAS SOPS 369218 HAS SOUS 339875 HAS SOUPS 339875 WITH SCORE 340244.218
AT ITER 2055 NEW BEST:: SOT 2669177 SOS 368968 HAS SOPS 368968 HAS SOUS 339625 HAS SOUPS 339625 WITH SCORE 339993.968
AT ITER 2069 NEW BEST:: SOT 2669129 SOS 368935 HAS SOPS 368935 HAS SOUS 339592 HAS SOUPS 339592 WITH SCORE 339960.935
AT ITER 2092 NEW BEST:: SOT 2669024 SOS 368830 HAS SOPS 368830 HAS SOUS 339487 HAS SOUPS 339487 WITH SCORE 339855.83
AT ITER 2100 NEW BEST:: SOT 2669034 SOS 368850 HAS SOPS 368850 HAS SOUS 339291 HAS SOUPS 339291 WITH SCORE 339659.85
AT ITER 2114 NEW BEST:: SOT 2668884 SOS 368800 HAS SOPS 368800 HAS SOUS 338925 HAS SOUPS 338925 WITH SCORE 339293.8
AT ITER 2134 NEW BEST:: SOT 2668729 SOS 368618 HAS SOPS 368618 HAS SOUS 338743 HAS SOUPS 338743 WITH SCORE 339111.618
AT ITER 2143 NEW BEST:: SOT 2668729 SOS 368517 HAS SOPS 368517 HAS SOUS 338642 HAS SOUPS 338642 WITH SCORE 339010.517
AT ITER 2166 NEW BEST:: SOT 2668729 SOS 368516 HAS SOPS 368516 HAS SOUS 338641 HAS SOUPS 338641 WITH SCORE 339009.516
AT ITER 2173 NEW BEST:: SOT 2668681 SOS 368420 HAS SOPS 368420 HAS SOUS 338545 HAS SOUPS 338545 WITH SCORE 338913.42
AT ITER 2194 NEW BEST:: SOT 2668719 SOS 368416 HAS SOPS 368416 HAS SOUS 338541 HAS SOUPS 338541 WITH SCORE 338909.416
AT ITER 2216 NEW BEST:: SOT 2668694 SOS 368391 HAS SOPS 368391 HAS SOUS 338516 HAS SOUPS 338516 WITH SCORE 338884.391
AT ITER 2227 NEW BEST:: SOT 2668680 SOS 368377 HAS SOPS 368377 HAS SOUS 338502 HAS SOUPS 338502 WITH SCORE 338870.377
AT ITER 2235 NEW BEST:: SOT 2668671 SOS 368401 HAS SOPS 368401 HAS SOUS 338493 HAS SOUPS 338493 WITH SCORE 338861.401
AT ITER 2255 NEW BEST:: SOT 2668671 SOS 368246 HAS SOPS 368246 HAS SOUS 338338 HAS SOUPS 338338 WITH SCORE 338706.246
AT ITER 2262 NEW BEST:: SOT 2668701 SOS 368231 HAS SOPS 368231 HAS SOUS 338323 HAS SOUPS 338323 WITH SCORE 338691.231
AT ITER 2267 NEW BEST:: SOT 2668525 SOS 368055 HAS SOPS 368055 HAS SOUS 338147 HAS SOUPS 338147 WITH SCORE 338515.055
AT ITER 2279 NEW BEST:: SOT 2668530 SOS 367986 HAS SOPS 367986 HAS SOUS 338078 HAS SOUPS 338078 WITH SCORE 338445.986
AT ITER 2285 NEW BEST:: SOT 2668326 SOS 367782 HAS SOPS 367782 HAS SOUS 337772 HAS SOUPS 337772 WITH SCORE 338139.782
AT ITER 2294 NEW BEST:: SOT 2668308 SOS 367746 HAS SOPS 367746 HAS SOUS 337736 HAS SOUPS 337736 WITH SCORE 338103.746
AT ITER 2315 NEW BEST:: SOT 2668222 SOS 367660 HAS SOPS 367660 HAS SOUS 337650 HAS SOUPS 337650 WITH SCORE 338017.66
AT ITER 2340 NEW BEST:: SOT 2668803 SOS 367872 HAS SOPS 367872 HAS SOUS 337549 HAS SOUPS 337549 WITH SCORE 337916.872
AT ITER 2344 NEW BEST:: SOT 2668599 SOS 367677 HAS SOPS 367677 HAS SOUS 337309 HAS SOUPS 337309 WITH SCORE 337676.677
AT ITER 2356 NEW BEST:: SOT 2668569 SOS 367647 HAS SOPS 367647 HAS SOUS 337279 HAS SOUPS 337279 WITH SCORE 337646.647
AT ITER 2357 NEW BEST:: SOT 2668547 SOS 367603 HAS SOPS 367603 HAS SOUS 337257 HAS SOUPS 337257 WITH SCORE 337624.603
AT ITER 2365 NEW BEST:: SOT 2668545 SOS 367751 HAS SOPS 367751 HAS SOUS 337253 HAS SOUPS 337253 WITH SCORE 337620.751
AT ITER 2381 NEW BEST:: SOT 2668545 SOS 367751 HAS SOPS 367751 HAS SOUS 337140 HAS SOUPS 337140 WITH SCORE 337507.751
AT ITER 2452 NEW BEST:: SOT 2668555 SOS 367771 HAS SOPS 367771 HAS SOUS 336839 HAS SOUPS 336839 WITH SCORE 337206.771
AT ITER 2458 NEW BEST:: SOT 2668397 SOS 367613 HAS SOPS 367613 HAS SOUS 336681 HAS SOUPS 336681 WITH SCORE 337048.613
AT ITER 2476 NEW BEST:: SOT 2668397 SOS 367613 HAS SOPS 367613 HAS SOUS 336552 HAS SOUPS 336552 WITH SCORE 336919.613
AT ITER 2480 NEW BEST:: SOT 2668390 SOS 367599 HAS SOPS 367599 HAS SOUS 336538 HAS SOUPS 336538 WITH SCORE 336905.599
AT ITER 2499 NEW BEST:: SOT 2668241 SOS 367441 HAS SOPS 367441 HAS SOUS 336247 HAS SOUPS 336247 WITH SCORE 336614.441
AT ITER 2519 NEW BEST:: SOT 2668241 SOS 367441 HAS SOPS 367441 HAS SOUS 336123 HAS SOUPS 336123 WITH SCORE 336490.441
AT ITER 2522 NEW BEST:: SOT 2668195 SOS 367254 HAS SOPS 367254 HAS SOUS 335982 HAS SOUPS 335982 WITH SCORE 336349.254
AT ITER 2526 NEW BEST:: SOT 2668133 SOS 367192 HAS SOPS 367192 HAS SOUS 335920 HAS SOUPS 335920 WITH SCORE 336287.192
AT ITER 2559 NEW BEST:: SOT 2668133 SOS 367073 HAS SOPS 367073 HAS SOUS 335801 HAS SOUPS 335801 WITH SCORE 336168.073
AT ITER 2563 NEW BEST:: SOT 2667825 SOS 367065 HAS SOPS 367065 HAS SOUS 335164 HAS SOUPS 335164 WITH SCORE 335531.065
AT ITER 2605 NEW BEST:: SOT 2667703 SOS 366821 HAS SOPS 366821 HAS SOUS 335042 HAS SOUPS 335042 WITH SCORE 335408.821
AT ITER 2634 NEW BEST:: SOT 2667703 SOS 366748 HAS SOPS 366748 HAS SOUS 334969 HAS SOUPS 334969 WITH SCORE 335335.748
AT ITER 2644 NEW BEST:: SOT 2667578 SOS 366713 HAS SOPS 366713 HAS SOUS 334934 HAS SOUPS 334934 WITH SCORE 335300.713
AT ITER 2659 NEW BEST:: SOT 2667185 SOS 367389 HAS SOPS 367389 HAS SOUS 334677 HAS SOUPS 334677 WITH SCORE 335044.389
AT ITER 2665 NEW BEST:: SOT 2667201 SOS 367335 HAS SOPS 367335 HAS SOUS 334623 HAS SOUPS 334623 WITH SCORE 334990.335
AT ITER 2677 NEW BEST:: SOT 2666881 SOS 367015 HAS SOPS 367015 HAS SOUS 334303 HAS SOUPS 334303 WITH SCORE 334670.015
AT ITER 2689 NEW BEST:: SOT 2666880 SOS 367014 HAS SOPS 367014 HAS SOUS 334302 HAS SOUPS 334302 WITH SCORE 334669.014
AT ITER 2736 NEW BEST:: SOT 2666746 SOS 366880 HAS SOPS 366880 HAS SOUS 334168 HAS SOUPS 334168 WITH SCORE 334534.88
AT ITER 2743 NEW BEST:: SOT 2666604 SOS 366591 HAS SOPS 366591 HAS SOUS 334026 HAS SOUPS 334026 WITH SCORE 334392.591
AT ITER 2760 NEW BEST:: SOT 2666640 SOS 366663 HAS SOPS 366663 HAS SOUS 333938 HAS SOUPS 333938 WITH SCORE 334304.663
AT ITER 2766 NEW BEST:: SOT 2666507 SOS 366488 HAS SOPS 366488 HAS SOUS 333805 HAS SOUPS 333805 WITH SCORE 334171.488
AT ITER 2775 NEW BEST:: SOT 2666528 SOS 366402 HAS SOPS 366402 HAS SOUS 333719 HAS SOUPS 333719 WITH SCORE 334085.402
AT ITER 2781 NEW BEST:: SOT 2666528 SOS 366326 HAS SOPS 366326 HAS SOUS 333643 HAS SOUPS 333643 WITH SCORE 334009.326
AT ITER 2795 NEW BEST:: SOT 2666238 SOS 365746 HAS SOPS 365746 HAS SOUS 333353 HAS SOUPS 333353 WITH SCORE 333718.746
AT ITER 2808 NEW BEST:: SOT 2666134 SOS 365448 HAS SOPS 365448 HAS SOUS 333266 HAS SOUPS 333266 WITH SCORE 333631.448
AT ITER 2847 NEW BEST:: SOT 2665896 SOS 365230 HAS SOPS 365230 HAS SOUS 333028 HAS SOUPS 333028 WITH SCORE 333393.23
AT ITER 2859 NEW BEST:: SOT 2665688 SOS 365022 HAS SOPS 365022 HAS SOUS 332820 HAS SOUPS 332820 WITH SCORE 333185.022
AT ITER 2919 NEW BEST:: SOT 2665492 SOS 364847 HAS SOPS 364847 HAS SOUS 332419 HAS SOUPS 332419 WITH SCORE 332783.847
AT ITER 2951 NEW BEST:: SOT 2665234 SOS 364589 HAS SOPS 364589 HAS SOUS 332161 HAS SOUPS 332161 WITH SCORE 332525.589
AT ITER 2952 NEW BEST:: SOT 2665198 SOS 364604 HAS SOPS 364604 HAS SOUS 332089 HAS SOUPS 332089 WITH SCORE 332453.604
AT ITER 3064 NEW BEST:: SOT 2665152 SOS 364402 HAS SOPS 364402 HAS SOUS 331997 HAS SOUPS 331997 WITH SCORE 332361.402
AT ITER 3076 NEW BEST:: SOT 2665116 SOS 364302 HAS SOPS 364302 HAS SOUS 331950 HAS SOUPS 331950 WITH SCORE 332314.302
AT ITER 3086 NEW BEST:: SOT 2664802 SOS 364142 HAS SOPS 364142 HAS SOUS 331492 HAS SOUPS 331492 WITH SCORE 331856.142
AT ITER 3183 NEW BEST:: SOT 2664804 SOS 364172 HAS SOPS 364172 HAS SOUS 331475 HAS SOUPS 331475 WITH SCORE 331839.172
AT ITER 3198 NEW BEST:: SOT 2664776 SOS 364144 HAS SOPS 364144 HAS SOUS 331472 HAS SOUPS 331472 WITH SCORE 331836.144
AT ITER 3228 NEW BEST:: SOT 2664779 SOS 364115 HAS SOPS 364115 HAS SOUS 331444 HAS SOUPS 331444 WITH SCORE 331808.115
AT ITER 3245 NEW BEST:: SOT 2664894 SOS 364345 HAS SOPS 364345 HAS SOUS 331326 HAS SOUPS 331326 WITH SCORE 331690.345
AT ITER 3272 NEW BEST:: SOT 2664857 SOS 364399 HAS SOPS 364399 HAS SOUS 331289 HAS SOUPS 331289 WITH SCORE 331653.399
AT ITER 3296 NEW BEST:: SOT 2664676 SOS 364008 HAS SOPS 364008 HAS SOUS 331176 HAS SOUPS 331176 WITH SCORE 331540.008
AT ITER 3298 NEW BEST:: SOT 2664651 SOS 364002 HAS SOPS 364002 HAS SOUS 331170 HAS SOUPS 331170 WITH SCORE 331534.002
AT ITER 3327 NEW BEST:: SOT 2664541 SOS 363611 HAS SOPS 363611 HAS SOUS 330969 HAS SOUPS 330969 WITH SCORE 331332.611
AT ITER 3339 NEW BEST:: SOT 2664541 SOS 363591 HAS SOPS 363591 HAS SOUS 330949 HAS SOUPS 330949 WITH SCORE 331312.591
AT ITER 3346 NEW BEST:: SOT 2664526 SOS 363561 HAS SOPS 363561 HAS SOUS 330934 HAS SOUPS 330934 WITH SCORE 331297.561
AT ITER 3375 NEW BEST:: SOT 2664525 SOS 363560 HAS SOPS 363560 HAS SOUS 330933 HAS SOUPS 330933 WITH SCORE 331296.56
AT ITER 3429 NEW BEST:: SOT 2664399 SOS 363434 HAS SOPS 363434 HAS SOUS 330807 HAS SOUPS 330807 WITH SCORE 331170.434
AT ITER 3464 NEW BEST:: SOT 2664450 SOS 363741 HAS SOPS 363741 HAS SOUS 330779 HAS SOUPS 330779 WITH SCORE 331142.741
AT ITER 3487 NEW BEST:: SOT 2664537 SOS 363740 HAS SOPS 363740 HAS SOUS 330778 HAS SOUPS 330778 WITH SCORE 331141.74
AT ITER 3536 NEW BEST:: SOT 2664317 SOS 363520 HAS SOPS 363520 HAS SOUS 330558 HAS SOUPS 330558 WITH SCORE 330921.52
AT ITER 3576 NEW BEST:: SOT 2664317 SOS 363520 HAS SOPS 363520 HAS SOUS 330555 HAS SOUPS 330555 WITH SCORE 330918.52
AT ITER 3587 NEW BEST:: SOT 2664317 SOS 363441 HAS SOPS 363441 HAS SOUS 330476 HAS SOUPS 330476 WITH SCORE 330839.441
AT ITER 3661 NEW BEST:: SOT 2664297 SOS 363381 HAS SOPS 363381 HAS SOUS 330436 HAS SOUPS 330436 WITH SCORE 330799.381
AT ITER 3730 NEW BEST:: SOT 2664008 SOS 363545 HAS SOPS 363545 HAS SOUS 330053 HAS SOUPS 330053 WITH SCORE 330416.545
AT ITER 3749 NEW BEST:: SOT 2664008 SOS 363544 HAS SOPS 363544 HAS SOUS 330052 HAS SOUPS 330052 WITH SCORE 330415.544
AT ITER 3770 NEW BEST:: SOT 2663860 SOS 363556 HAS SOPS 363556 HAS SOUS 329979 HAS SOUPS 329979 WITH SCORE 330342.556
AT ITER 3787 NEW BEST:: SOT 2663860 SOS 363538 HAS SOPS 363538 HAS SOUS 329961 HAS SOUPS 329961 WITH SCORE 330324.538
AT ITER 3796 NEW BEST:: SOT 2663860 SOS 363498 HAS SOPS 363498 HAS SOUS 329921 HAS SOUPS 329921 WITH SCORE 330284.498
AT ITER 3830 NEW BEST:: SOT 2663830 SOS 363498 HAS SOPS 363498 HAS SOUS 329891 HAS SOUPS 329891 WITH SCORE 330254.498
AT ITER 3853 NEW BEST:: SOT 2663825 SOS 363488 HAS SOPS 363488 HAS SOUS 329881 HAS SOUPS 329881 WITH SCORE 330244.488
AT ITER 3863 NEW BEST:: SOT 2663839 SOS 363146 HAS SOPS 363146 HAS SOUS 329848 HAS SOUPS 329848 WITH SCORE 330211.146
AT ITER 3910 NEW BEST:: SOT 2663761 SOS 363068 HAS SOPS 363068 HAS SOUS 329770 HAS SOUPS 329770 WITH SCORE 330133.068
AT ITER 3914 NEW BEST:: SOT 2663653 SOS 362960 HAS SOPS 362960 HAS SOUS 329662 HAS SOUPS 329662 WITH SCORE 330024.96
AT ITER 3945 NEW BEST:: SOT 2663569 SOS 362862 HAS SOPS 362862 HAS SOUS 329564 HAS SOUPS 329564 WITH SCORE 329926.862
AT ITER 3946 NEW BEST:: SOT 2663569 SOS 362736 HAS SOPS 362736 HAS SOUS 329438 HAS SOUPS 329438 WITH SCORE 329800.736
AT ITER 3950 NEW BEST:: SOT 2663532 SOS 362662 HAS SOPS 362662 HAS SOUS 329364 HAS SOUPS 329364 WITH SCORE 329726.662
AT ITER 3993 NEW BEST:: SOT 2663507 SOS 362624 HAS SOPS 362624 HAS SOUS 329326 HAS SOUPS 329326 WITH SCORE 329688.624
AT ITER 4015 NEW BEST:: SOT 2663377 SOS 362364 HAS SOPS 362364 HAS SOUS 329196 HAS SOUPS 329196 WITH SCORE 329558.364
AT ITER 4043 NEW BEST:: SOT 2663377 SOS 362326 HAS SOPS 362326 HAS SOUS 329158 HAS SOUPS 329158 WITH SCORE 329520.326
AT ITER 4062 NEW BEST:: SOT 2663335 SOS 362242 HAS SOPS 362242 HAS SOUS 329116 HAS SOUPS 329116 WITH SCORE 329478.242
AT ITER 4066 NEW BEST:: SOT 2663335 SOS 362241 HAS SOPS 362241 HAS SOUS 329115 HAS SOUPS 329115 WITH SCORE 329477.241
AT ITER 4102 NEW BEST:: SOT 2663335 SOS 362143 HAS SOPS 362143 HAS SOUS 329017 HAS SOUPS 329017 WITH SCORE 329379.143
AT ITER 4140 NEW BEST:: SOT 2663309 SOS 362147 HAS SOPS 362147 HAS SOUS 328968 HAS SOUPS 328968 WITH SCORE 329330.147
AT ITER 4165 NEW BEST:: SOT 2663468 SOS 361958 HAS SOPS 361958 HAS SOUS 328923 HAS SOUPS 328923 WITH SCORE 329284.958
AT ITER 4186 NEW BEST:: SOT 2663468 SOS 361957 HAS SOPS 361957 HAS SOUS 328922 HAS SOUPS 328922 WITH SCORE 329283.957
AT ITER 4206 NEW BEST:: SOT 2663349 SOS 361719 HAS SOPS 361719 HAS SOUS 328656 HAS SOUPS 328656 WITH SCORE 329017.719
AT ITER 4226 NEW BEST:: SOT 2663349 SOS 361692 HAS SOPS 361692 HAS SOUS 328629 HAS SOUPS 328629 WITH SCORE 328990.692
AT ITER 4249 NEW BEST:: SOT 2663249 SOS 361492 HAS SOPS 361492 HAS SOUS 328429 HAS SOUPS 328429 WITH SCORE 328790.492
AT ITER 4251 NEW BEST:: SOT 2662996 SOS 361304 HAS SOPS 361304 HAS SOUS 328147 HAS SOUPS 328147 WITH SCORE 328508.304
AT ITER 4255 NEW BEST:: SOT 2662848 SOS 360897 HAS SOPS 360897 HAS SOUS 328058 HAS SOUPS 328058 WITH SCORE 328418.897
AT ITER 4288 NEW BEST:: SOT 2662762 SOS 360763 HAS SOPS 360763 HAS SOUS 327924 HAS SOUPS 327924 WITH SCORE 328284.763
AT ITER 4297 NEW BEST:: SOT 2662674 SOS 360675 HAS SOPS 360675 HAS SOUS 327836 HAS SOUPS 327836 WITH SCORE 328196.675
AT ITER 4343 NEW BEST:: SOT 2662495 SOS 360448 HAS SOPS 360448 HAS SOUS 327609 HAS SOUPS 327609 WITH SCORE 327969.448
AT ITER 4366 NEW BEST:: SOT 2662495 SOS 360416 HAS SOPS 360416 HAS SOUS 327577 HAS SOUPS 327577 WITH SCORE 327937.416
AT ITER 4368 NEW BEST:: SOT 2662500 SOS 360351 HAS SOPS 360351 HAS SOUS 327512 HAS SOUPS 327512 WITH SCORE 327872.351
AT ITER 4406 NEW BEST:: SOT 2662459 SOS 360269 HAS SOPS 360269 HAS SOUS 327430 HAS SOUPS 327430 WITH SCORE 327790.269
AT ITER 4442 NEW BEST:: SOT 2662387 SOS 360233 HAS SOPS 360233 HAS SOUS 327322 HAS SOUPS 327322 WITH SCORE 327682.233
AT ITER 4451 NEW BEST:: SOT 2662351 SOS 360161 HAS SOPS 360161 HAS SOUS 327269 HAS SOUPS 327269 WITH SCORE 327629.161
AT ITER 4458 NEW BEST:: SOT 2662240 SOS 360050 HAS SOPS 360050 HAS SOUS 327158 HAS SOUPS 327158 WITH SCORE 327518.05
AT ITER 4474 NEW BEST:: SOT 2662229 SOS 360039 HAS SOPS 360039 HAS SOUS 327147 HAS SOUPS 327147 WITH SCORE 327507.039
AT ITER 4488 NEW BEST:: SOT 2662207 SOS 359995 HAS SOPS 359995 HAS SOUS 327125 HAS SOUPS 327125 WITH SCORE 327484.995
AT ITER 4498 NEW BEST:: SOT 2662217 SOS 359987 HAS SOPS 359987 HAS SOUS 327117 HAS SOUPS 327117 WITH SCORE 327476.987
AT ITER 4537 NEW BEST:: SOT 2662199 SOS 359951 HAS SOPS 359951 HAS SOUS 326917 HAS SOUPS 326917 WITH SCORE 327276.951
AT ITER 4564 NEW BEST:: SOT 2662196 SOS 359948 HAS SOPS 359948 HAS SOUS 326914 HAS SOUPS 326914 WITH SCORE 327273.948
AT ITER 4602 NEW BEST:: SOT 2662195 SOS 359918 HAS SOPS 359918 HAS SOUS 326884 HAS SOUPS 326884 WITH SCORE 327243.918
AT ITER 4619 NEW BEST:: SOT 2662069 SOS 359666 HAS SOPS 359666 HAS SOUS 326632 HAS SOUPS 326632 WITH SCORE 326991.666
AT ITER 4640 NEW BEST:: SOT 2662070 SOS 359619 HAS SOPS 359619 HAS SOUS 326585 HAS SOUPS 326585 WITH SCORE 326944.619
AT ITER 4644 NEW BEST:: SOT 2661880 SOS 359429 HAS SOPS 359429 HAS SOUS 326395 HAS SOUPS 326395 WITH SCORE 326754.429
AT ITER 4681 NEW BEST:: SOT 2661880 SOS 359368 HAS SOPS 359368 HAS SOUS 326334 HAS SOUPS 326334 WITH SCORE 326693.368
AT ITER 4687 NEW BEST:: SOT 2661911 SOS 359430 HAS SOPS 359430 HAS SOUS 326325 HAS SOUPS 326325 WITH SCORE 326684.43
AT ITER 4707 NEW BEST:: SOT 2661911 SOS 359405 HAS SOPS 359405 HAS SOUS 326300 HAS SOUPS 326300 WITH SCORE 326659.405
AT ITER 4721 NEW BEST:: SOT 2661919 SOS 359421 HAS SOPS 359421 HAS SOUS 326142 HAS SOUPS 326142 WITH SCORE 326501.421
AT ITER 4727 NEW BEST:: SOT 2661919 SOS 359421 HAS SOPS 359421 HAS SOUS 326141 HAS SOUPS 326141 WITH SCORE 326500.421
AT ITER 4755 NEW BEST:: SOT 2661686 SOS 358998 HAS SOPS 358998 HAS SOUS 325741 HAS SOUPS 325741 WITH SCORE 326099.998
AT ITER 4787 NEW BEST:: SOT 2661624 SOS 358874 HAS SOPS 358874 HAS SOUS 325686 HAS SOUPS 325686 WITH SCORE 326044.874
AT ITER 4831 NEW BEST:: SOT 2661494 SOS 358679 HAS SOPS 358679 HAS SOUS 325491 HAS SOUPS 325491 WITH SCORE 325849.679
AT ITER 4837 NEW BEST:: SOT 2661494 SOS 358482 HAS SOPS 358482 HAS SOUS 325294 HAS SOUPS 325294 WITH SCORE 325652.482
AT ITER 4853 NEW BEST:: SOT 2661493 SOS 358481 HAS SOPS 358481 HAS SOUS 325292 HAS SOUPS 325292 WITH SCORE 325650.481
AT ITER 4854 NEW BEST:: SOT 2661491 SOS 358427 HAS SOPS 358427 HAS SOUS 325264 HAS SOUPS 325264 WITH SCORE 325622.427
AT ITER 4863 NEW BEST:: SOT 2661229 SOS 357903 HAS SOPS 357903 HAS SOUS 324935 HAS SOUPS 324935 WITH SCORE 325292.903
AT ITER 4893 NEW BEST:: SOT 2661156 SOS 357830 HAS SOPS 357830 HAS SOUS 324862 HAS SOUPS 324862 WITH SCORE 325219.83
AT ITER 4918 NEW BEST:: SOT 2660617 SOS 356932 HAS SOPS 356932 HAS SOUS 324559 HAS SOUPS 324559 WITH SCORE 324915.932
AT ITER 4933 NEW BEST:: SOT 2660620 SOS 356889 HAS SOPS 356889 HAS SOUS 324516 HAS SOUPS 324516 WITH SCORE 324872.889
AT ITER 4954 NEW BEST:: SOT 2660619 SOS 356887 HAS SOPS 356887 HAS SOUS 324514 HAS SOUPS 324514 WITH SCORE 324870.887
AT ITER 4955 NEW BEST:: SOT 2660619 SOS 356843 HAS SOPS 356843 HAS SOUS 324514 HAS SOUPS 324514 WITH SCORE 324870.843
AT ITER 4957 NEW BEST:: SOT 2660619 SOS 356839 HAS SOPS 356839 HAS SOUS 324510 HAS SOUPS 324510 WITH SCORE 324866.839
AT ITER 4988 NEW BEST:: SOT 2660572 SOS 356839 HAS SOPS 356839 HAS SOUS 324463 HAS SOUPS 324463 WITH SCORE 324819.839
AT ITER 5002 NEW BEST:: SOT 2660567 SOS 356829 HAS SOPS 356829 HAS SOUS 324458 HAS SOUPS 324458 WITH SCORE 324814.829
AT ITER 5012 NEW BEST:: SOT 2660567 SOS 356810 HAS SOPS 356810 HAS SOUS 324439 HAS SOUPS 324439 WITH SCORE 324795.81
AT ITER 5018 NEW BEST:: SOT 2660542 SOS 356454 HAS SOPS 356454 HAS SOUS 324389 HAS SOUPS 324389 WITH SCORE 324745.454
AT ITER 5021 NEW BEST:: SOT 2660419 SOS 356404 HAS SOPS 356404 HAS SOUS 324266 HAS SOUPS 324266 WITH SCORE 324622.404
AT ITER 5025 NEW BEST:: SOT 2660148 SOS 356355 HAS SOPS 356355 HAS SOUS 324217 HAS SOUPS 324217 WITH SCORE 324573.355
AT ITER 5031 NEW BEST:: SOT 2660066 SOS 356232 HAS SOPS 356232 HAS SOUS 324094 HAS SOUPS 324094 WITH SCORE 324450.232
AT ITER 5100 NEW BEST:: SOT 2659998 SOS 356231 HAS SOPS 356231 HAS SOUS 324093 HAS SOUPS 324093 WITH SCORE 324449.231
AT ITER 5117 NEW BEST:: SOT 2659956 SOS 356147 HAS SOPS 356147 HAS SOUS 324051 HAS SOUPS 324051 WITH SCORE 324407.147
AT ITER 5120 NEW BEST:: SOT 2659971 SOS 356081 HAS SOPS 356081 HAS SOUS 323985 HAS SOUPS 323985 WITH SCORE 324341.081
AT ITER 5140 NEW BEST:: SOT 2659909 SOS 356019 HAS SOPS 356019 HAS SOUS 323892 HAS SOUPS 323892 WITH SCORE 324248.019
AT ITER 5156 NEW BEST:: SOT 2659909 SOS 356016 HAS SOPS 356016 HAS SOUS 323892 HAS SOUPS 323892 WITH SCORE 324248.016
AT ITER 5247 NEW BEST:: SOT 2659853 SOS 355960 HAS SOPS 355960 HAS SOUS 323836 HAS SOUPS 323836 WITH SCORE 324191.96
AT ITER 5287 NEW BEST:: SOT 2659844 SOS 355942 HAS SOPS 355942 HAS SOUS 323818 HAS SOUPS 323818 WITH SCORE 324173.942
AT ITER 5288 NEW BEST:: SOT 2659806 SOS 355901 HAS SOPS 355901 HAS SOUS 323777 HAS SOUPS 323777 WITH SCORE 324132.901
AT ITER 5369 NEW BEST:: SOT 2659738 SOS 355833 HAS SOPS 355833 HAS SOUS 323709 HAS SOUPS 323709 WITH SCORE 324064.833
AT ITER 5372 NEW BEST:: SOT 2659703 SOS 355798 HAS SOPS 355798 HAS SOUS 323709 HAS SOUPS 323709 WITH SCORE 324064.798
AT ITER 5387 NEW BEST:: SOT 2660001 SOS 356128 HAS SOPS 356128 HAS SOUS 323654 HAS SOUPS 323654 WITH SCORE 324010.128
AT ITER 5393 NEW BEST:: SOT 2660001 SOS 356048 HAS SOPS 356048 HAS SOUS 323574 HAS SOUPS 323574 WITH SCORE 323930.048
AT ITER 5456 NEW BEST:: SOT 2660001 SOS 355968 HAS SOPS 355968 HAS SOUS 323494 HAS SOUPS 323494 WITH SCORE 323849.968
AT ITER 5484 NEW BEST:: SOT 2659811 SOS 355588 HAS SOPS 355588 HAS SOUS 323109 HAS SOUPS 323109 WITH SCORE 323464.588
AT ITER 5488 NEW BEST:: SOT 2659790 SOS 355546 HAS SOPS 355546 HAS SOUS 323067 HAS SOUPS 323067 WITH SCORE 323422.546
AT ITER 5500 NEW BEST:: SOT 2659788 SOS 355542 HAS SOPS 355542 HAS SOUS 323063 HAS SOUPS 323063 WITH SCORE 323418.542
AT ITER 5688 NEW BEST:: SOT 2659776 SOS 355530 HAS SOPS 355530 HAS SOUS 323051 HAS SOUPS 323051 WITH SCORE 323406.53
AT ITER 5695 NEW BEST:: SOT 2659772 SOS 355526 HAS SOPS 355526 HAS SOUS 323046 HAS SOUPS 323046 WITH SCORE 323401.526
AT ITER 5717 NEW BEST:: SOT 2659591 SOS 355323 HAS SOPS 355323 HAS SOUS 322848 HAS SOUPS 322848 WITH SCORE 323203.323
AT ITER 5735 NEW BEST:: SOT 2659458 SOS 355253 HAS SOPS 355253 HAS SOUS 322617 HAS SOUPS 322617 WITH SCORE 322972.253
AT ITER 5768 NEW BEST:: SOT 2659307 SOS 355067 HAS SOPS 355067 HAS SOUS 322581 HAS SOUPS 322581 WITH SCORE 322936.067
AT ITER 5785 NEW BEST:: SOT 2659280 SOS 355039 HAS SOPS 355039 HAS SOUS 322553 HAS SOUPS 322553 WITH SCORE 322908.039
AT ITER 5803 NEW BEST:: SOT 2659224 SOS 354686 HAS SOPS 354686 HAS SOUS 322231 HAS SOUPS 322231 WITH SCORE 322585.686
AT ITER 5823 NEW BEST:: SOT 2659126 SOS 354625 HAS SOPS 354625 HAS SOUS 322155 HAS SOUPS 322155 WITH SCORE 322509.625
AT ITER 5828 NEW BEST:: SOT 2659102 SOS 354520 HAS SOPS 354520 HAS SOUS 322050 HAS SOUPS 322050 WITH SCORE 322404.52
AT ITER 5840 NEW BEST:: SOT 2659102 SOS 354452 HAS SOPS 354452 HAS SOUS 321982 HAS SOUPS 321982 WITH SCORE 322336.452
AT ITER 5842 NEW BEST:: SOT 2659177 SOS 354602 HAS SOPS 354602 HAS SOUS 321795 HAS SOUPS 321795 WITH SCORE 322149.602
AT ITER 5865 NEW BEST:: SOT 2658912 SOS 354312 HAS SOPS 354312 HAS SOUS 321380 HAS SOUPS 321380 WITH SCORE 321734.312
AT ITER 5900 NEW BEST:: SOT 2658798 SOS 354184 HAS SOPS 354184 HAS SOUS 321252 HAS SOUPS 321252 WITH SCORE 321606.184
AT ITER 5919 NEW BEST:: SOT 2658754 SOS 354119 HAS SOPS 354119 HAS SOUS 321187 HAS SOUPS 321187 WITH SCORE 321541.119
AT ITER 5945 NEW BEST:: SOT 2658754 SOS 354107 HAS SOPS 354107 HAS SOUS 321175 HAS SOUPS 321175 WITH SCORE 321529.107
AT ITER 5957 NEW BEST:: SOT 2658654 SOS 354104 HAS SOPS 354104 HAS SOUS 321172 HAS SOUPS 321172 WITH SCORE 321526.104
AT ITER 5958 NEW BEST:: SOT 2658643 SOS 354082 HAS SOPS 354082 HAS SOUS 321150 HAS SOUPS 321150 WITH SCORE 321504.082
AT ITER 5961 NEW BEST:: SOT 2658570 SOS 354128 HAS SOPS 354128 HAS SOUS 321108 HAS SOUPS 321108 WITH SCORE 321462.128
AT ITER 5973 NEW BEST:: SOT 2658558 SOS 354116 HAS SOPS 354116 HAS SOUS 321096 HAS SOUPS 321096 WITH SCORE 321450.116
AT ITER 5993 NEW BEST:: SOT 2658320 SOS 354458 HAS SOPS 354458 HAS SOUS 320987 HAS SOUPS 320987 WITH SCORE 321341.458
AT ITER 6014 NEW BEST:: SOT 2658278 SOS 354916 HAS SOPS 354916 HAS SOUS 320945 HAS SOUPS 320945 WITH SCORE 321299.916
AT ITER 6040 NEW BEST:: SOT 2658230 SOS 354930 HAS SOPS 354930 HAS SOUS 320849 HAS SOUPS 320849 WITH SCORE 321203.93
AT ITER 6097 NEW BEST:: SOT 2658150 SOS 354585 HAS SOPS 354585 HAS SOUS 320399 HAS SOUPS 320399 WITH SCORE 320753.585
AT ITER 6111 NEW BEST:: SOT 2657643 SOS 353990 HAS SOPS 353990 HAS SOUS 319750 HAS SOUPS 319750 WITH SCORE 320103.99
AT ITER 6141 NEW BEST:: SOT 2657643 SOS 353990 HAS SOPS 353990 HAS SOUS 319740 HAS SOUPS 319740 WITH SCORE 320093.99
AT ITER 6142 NEW BEST:: SOT 2657643 SOS 353980 HAS SOPS 353980 HAS SOUS 319730 HAS SOUPS 319730 WITH SCORE 320083.98
AT ITER 6180 NEW BEST:: SOT 2657529 SOS 353752 HAS SOPS 353752 HAS SOUS 319487 HAS SOUPS 319487 WITH SCORE 319840.752
AT ITER 6181 NEW BEST:: SOT 2657529 SOS 353752 HAS SOPS 353752 HAS SOUS 319465 HAS SOUPS 319465 WITH SCORE 319818.752
AT ITER 6189 NEW BEST:: SOT 2657465 SOS 353751 HAS SOPS 353751 HAS SOUS 319464 HAS SOUPS 319464 WITH SCORE 319817.751
AT ITER 6214 NEW BEST:: SOT 2657448 SOS 353734 HAS SOPS 353734 HAS SOUS 319447 HAS SOUPS 319447 WITH SCORE 319800.734
AT ITER 6258 NEW BEST:: SOT 2657341 SOS 353569 HAS SOPS 353569 HAS SOUS 319316 HAS SOUPS 319316 WITH SCORE 319669.569
AT ITER 6317 NEW BEST:: SOT 2657276 SOS 353504 HAS SOPS 353504 HAS SOUS 319251 HAS SOUPS 319251 WITH SCORE 319604.504
AT ITER 6371 NEW BEST:: SOT 2657239 SOS 353419 HAS SOPS 353419 HAS SOUS 319214 HAS SOUPS 319214 WITH SCORE 319567.419
AT ITER 6391 NEW BEST:: SOT 2657263 SOS 353386 HAS SOPS 353386 HAS SOUS 319190 HAS SOUPS 319190 WITH SCORE 319543.386
AT ITER 6399 NEW BEST:: SOT 2657171 SOS 353264 HAS SOPS 353264 HAS SOUS 319068 HAS SOUPS 319068 WITH SCORE 319421.264
AT ITER 6401 NEW BEST:: SOT 2657127 SOS 353132 HAS SOPS 353132 HAS SOUS 318980 HAS SOUPS 318980 WITH SCORE 319333.132
AT ITER 6408 NEW BEST:: SOT 2657120 SOS 353125 HAS SOPS 353125 HAS SOUS 318980 HAS SOUPS 318980 WITH SCORE 319333.125
AT ITER 6453 NEW BEST:: SOT 2657098 SOS 353124 HAS SOPS 353124 HAS SOUS 318979 HAS SOUPS 318979 WITH SCORE 319332.124
AT ITER 6483 NEW BEST:: SOT 2657086 SOS 353112 HAS SOPS 353112 HAS SOUS 318967 HAS SOUPS 318967 WITH SCORE 319320.112
AT ITER 6518 NEW BEST:: SOT 2657086 SOS 353033 HAS SOPS 353033 HAS SOUS 318888 HAS SOUPS 318888 WITH SCORE 319241.033
AT ITER 6546 NEW BEST:: SOT 2657022 SOS 352969 HAS SOPS 352969 HAS SOUS 318760 HAS SOUPS 318760 WITH SCORE 319112.969
AT ITER 6548 NEW BEST:: SOT 2657014 SOS 352961 HAS SOPS 352961 HAS SOUS 318752 HAS SOUPS 318752 WITH SCORE 319104.961
AT ITER 6578 NEW BEST:: SOT 2656997 SOS 352950 HAS SOPS 352950 HAS SOUS 318701 HAS SOUPS 318701 WITH SCORE 319053.95
AT ITER 6595 NEW BEST:: SOT 2656997 SOS 352911 HAS SOPS 352911 HAS SOUS 318662 HAS SOUPS 318662 WITH SCORE 319014.911
AT ITER 6608 NEW BEST:: SOT 2656997 SOS 352779 HAS SOPS 352779 HAS SOUS 318662 HAS SOUPS 318662 WITH SCORE 319014.779
AT ITER 6635 NEW BEST:: SOT 2656997 SOS 352778 HAS SOPS 352778 HAS SOUS 318661 HAS SOUPS 318661 WITH SCORE 319013.778
AT ITER 6670 NEW BEST:: SOT 2656969 SOS 352722 HAS SOPS 352722 HAS SOUS 318660 HAS SOUPS 318660 WITH SCORE 319012.722
AT ITER 6680 NEW BEST:: SOT 2656968 SOS 352720 HAS SOPS 352720 HAS SOUS 318658 HAS SOUPS 318658 WITH SCORE 319010.72
AT ITER 6713 NEW BEST:: SOT 2656862 SOS 352719 HAS SOPS 352719 HAS SOUS 318657 HAS SOUPS 318657 WITH SCORE 319009.719
AT ITER 6716 NEW BEST:: SOT 2656840 SOS 352675 HAS SOPS 352675 HAS SOUS 318635 HAS SOUPS 318635 WITH SCORE 318987.675
AT ITER 6717 NEW BEST:: SOT 2656703 SOS 352401 HAS SOPS 352401 HAS SOUS 318498 HAS SOUPS 318498 WITH SCORE 318850.401
AT ITER 6759 NEW BEST:: SOT 2656679 SOS 352353 HAS SOPS 352353 HAS SOUS 318462 HAS SOUPS 318462 WITH SCORE 318814.353
AT ITER 6785 NEW BEST:: SOT 2656624 SOS 352336 HAS SOPS 352336 HAS SOUS 318445 HAS SOUPS 318445 WITH SCORE 318797.336
AT ITER 6800 NEW BEST:: SOT 2656576 SOS 352240 HAS SOPS 352240 HAS SOUS 318283 HAS SOUPS 318283 WITH SCORE 318635.24
AT ITER 6817 NEW BEST:: SOT 2656544 SOS 352124 HAS SOPS 352124 HAS SOUS 318167 HAS SOUPS 318167 WITH SCORE 318519.124
AT ITER 6953 NEW BEST:: SOT 2656416 SOS 351932 HAS SOPS 351932 HAS SOUS 317975 HAS SOUPS 317975 WITH SCORE 318326.932
AT ITER 6961 NEW BEST:: SOT 2656390 SOS 351904 HAS SOPS 351904 HAS SOUS 317947 HAS SOUPS 317947 WITH SCORE 318298.904
AT ITER 6962 NEW BEST:: SOT 2656360 SOS 351844 HAS SOPS 351844 HAS SOUS 317756 HAS SOUPS 317756 WITH SCORE 318107.844
AT ITER 6979 NEW BEST:: SOT 2656328 SOS 351780 HAS SOPS 351780 HAS SOUS 317692 HAS SOUPS 317692 WITH SCORE 318043.78
AT ITER 7068 NEW BEST:: SOT 2656268 SOS 351720 HAS SOPS 351720 HAS SOUS 317632 HAS SOUPS 317632 WITH SCORE 317983.72
AT ITER 7070 NEW BEST:: SOT 2656304 SOS 351396 HAS SOPS 351396 HAS SOUS 317586 HAS SOUPS 317586 WITH SCORE 317937.396
AT ITER 7073 NEW BEST:: SOT 2656240 SOS 351268 HAS SOPS 351268 HAS SOUS 317458 HAS SOUPS 317458 WITH SCORE 317809.268
AT ITER 7092 NEW BEST:: SOT 2656236 SOS 351264 HAS SOPS 351264 HAS SOUS 317454 HAS SOUPS 317454 WITH SCORE 317805.264
AT ITER 7114 NEW BEST:: SOT 2656236 SOS 351263 HAS SOPS 351263 HAS SOUS 317453 HAS SOUPS 317453 WITH SCORE 317804.263
AT ITER 7224 NEW BEST:: SOT 2656307 SOS 351376 HAS SOPS 351376 HAS SOUS 317412 HAS SOUPS 317412 WITH SCORE 317763.376
AT ITER 7236 NEW BEST:: SOT 2656020 SOS 351336 HAS SOPS 351336 HAS SOUS 317125 HAS SOUPS 317125 WITH SCORE 317476.336
AT ITER 7293 NEW BEST:: SOT 2656019 SOS 351335 HAS SOPS 351335 HAS SOUS 317124 HAS SOUPS 317124 WITH SCORE 317475.335
AT ITER 7343 NEW BEST:: SOT 2655998 SOS 351314 HAS SOPS 351314 HAS SOUS 317103 HAS SOUPS 317103 WITH SCORE 317454.314
AT ITER 7359 NEW BEST:: SOT 2656035 SOS 351199 HAS SOPS 351199 HAS SOUS 316988 HAS SOUPS 316988 WITH SCORE 317339.199
AT ITER 7410 NEW BEST:: SOT 2655929 SOS 350987 HAS SOPS 350987 HAS SOUS 316776 HAS SOUPS 316776 WITH SCORE 317126.987
AT ITER 7473 NEW BEST:: SOT 2655929 SOS 350534 HAS SOPS 350534 HAS SOUS 316625 HAS SOUPS 316625 WITH SCORE 316975.534
AT ITER 7498 NEW BEST:: SOT 2655878 SOS 350432 HAS SOPS 350432 HAS SOUS 316574 HAS SOUPS 316574 WITH SCORE 316924.432
AT ITER 7507 NEW BEST:: SOT 2655878 SOS 350432 HAS SOPS 350432 HAS SOUS 316495 HAS SOUPS 316495 WITH SCORE 316845.432
AT ITER 7525 NEW BEST:: SOT 2655804 SOS 350344 HAS SOPS 350344 HAS SOUS 316407 HAS SOUPS 316407 WITH SCORE 316757.344
AT ITER 7550 NEW BEST:: SOT 2655804 SOS 350342 HAS SOPS 350342 HAS SOUS 316405 HAS SOUPS 316405 WITH SCORE 316755.342
AT ITER 7561 NEW BEST:: SOT 2655803 SOS 350341 HAS SOPS 350341 HAS SOUS 316404 HAS SOUPS 316404 WITH SCORE 316754.341
AT ITER 7581 NEW BEST:: SOT 2655803 SOS 350301 HAS SOPS 350301 HAS SOUS 316364 HAS SOUPS 316364 WITH SCORE 316714.301
AT ITER 7591 NEW BEST:: SOT 2655799 SOS 350293 HAS SOPS 350293 HAS SOUS 316356 HAS SOUPS 316356 WITH SCORE 316706.293
AT ITER 7592 NEW BEST:: SOT 2655825 SOS 349939 HAS SOPS 349939 HAS SOUS 316341 HAS SOUPS 316341 WITH SCORE 316690.939
AT ITER 7668 NEW BEST:: SOT 2655778 SOS 349973 HAS SOPS 349973 HAS SOUS 316311 HAS SOUPS 316311 WITH SCORE 316660.973
AT ITER 7686 NEW BEST:: SOT 2655778 SOS 350015 HAS SOPS 350015 HAS SOUS 316276 HAS SOUPS 316276 WITH SCORE 316626.015
AT ITER 7718 NEW BEST:: SOT 2655910 SOS 349953 HAS SOPS 349953 HAS SOUS 316229 HAS SOUPS 316229 WITH SCORE 316578.953
AT ITER 7762 NEW BEST:: SOT 2655910 SOS 349953 HAS SOPS 349953 HAS SOUS 316225 HAS SOUPS 316225 WITH SCORE 316574.953
AT ITER 7805 NEW BEST:: SOT 2655847 SOS 349827 HAS SOPS 349827 HAS SOUS 316099 HAS SOUPS 316099 WITH SCORE 316448.827
AT ITER 7848 NEW BEST:: SOT 2655839 SOS 349811 HAS SOPS 349811 HAS SOUS 316072 HAS SOUPS 316072 WITH SCORE 316421.811
AT ITER 7859 NEW BEST:: SOT 2655839 SOS 349807 HAS SOPS 349807 HAS SOUS 316068 HAS SOUPS 316068 WITH SCORE 316417.807
AT ITER 7872 NEW BEST:: SOT 2655783 SOS 349585 HAS SOPS 349585 HAS SOUS 315985 HAS SOUPS 315985 WITH SCORE 316334.585
AT ITER 7883 NEW BEST:: SOT 2655634 SOS 349287 HAS SOPS 349287 HAS SOUS 315836 HAS SOUPS 315836 WITH SCORE 316185.287
AT ITER 7910 NEW BEST:: SOT 2655637 SOS 349247 HAS SOPS 349247 HAS SOUS 315796 HAS SOUPS 315796 WITH SCORE 316145.247
AT ITER 7924 NEW BEST:: SOT 2655629 SOS 349239 HAS SOPS 349239 HAS SOUS 315788 HAS SOUPS 315788 WITH SCORE 316137.239
AT ITER 8085 NEW BEST:: SOT 2655702 SOS 349385 HAS SOPS 349385 HAS SOUS 315712 HAS SOUPS 315712 WITH SCORE 316061.385
AT ITER 8090 NEW BEST:: SOT 2655702 SOS 349354 HAS SOPS 349354 HAS SOUS 315681 HAS SOUPS 315681 WITH SCORE 316030.354
AT ITER 8103 NEW BEST:: SOT 2655652 SOS 349254 HAS SOPS 349254 HAS SOUS 315536 HAS SOUPS 315536 WITH SCORE 315885.254
AT ITER 8125 NEW BEST:: SOT 2655306 SOS 348908 HAS SOPS 348908 HAS SOUS 315017 HAS SOUPS 315017 WITH SCORE 315365.908
AT ITER 8229 NEW BEST:: SOT 2655254 SOS 348700 HAS SOPS 348700 HAS SOUS 314913 HAS SOUPS 314913 WITH SCORE 315261.7
AT ITER 8317 NEW BEST:: SOT 2655030 SOS 348400 HAS SOPS 348400 HAS SOUS 314611 HAS SOUPS 314611 WITH SCORE 314959.4
AT ITER 8362 NEW BEST:: SOT 2655030 SOS 348398 HAS SOPS 348398 HAS SOUS 314609 HAS SOUPS 314609 WITH SCORE 314957.398
AT ITER 8368 NEW BEST:: SOT 2654988 SOS 348314 HAS SOPS 348314 HAS SOUS 314567 HAS SOUPS 314567 WITH SCORE 314915.314
AT ITER 8374 NEW BEST:: SOT 2654982 SOS 348248 HAS SOPS 348248 HAS SOUS 314555 HAS SOUPS 314555 WITH SCORE 314903.248
AT ITER 8420 NEW BEST:: SOT 2654896 SOS 348183 HAS SOPS 348183 HAS SOUS 314546 HAS SOUPS 314546 WITH SCORE 314894.183
AT ITER 8425 NEW BEST:: SOT 2654848 SOS 348191 HAS SOPS 348191 HAS SOUS 314450 HAS SOUPS 314450 WITH SCORE 314798.191
AT ITER 8439 NEW BEST:: SOT 2654567 SOS 347629 HAS SOPS 347629 HAS SOUS 314178 HAS SOUPS 314178 WITH SCORE 314525.629
AT ITER 8474 NEW BEST:: SOT 2654410 SOS 347472 HAS SOPS 347472 HAS SOUS 313864 HAS SOUPS 313864 WITH SCORE 314211.472
AT ITER 8476 NEW BEST:: SOT 2654295 SOS 347242 HAS SOPS 347242 HAS SOUS 313864 HAS SOUPS 313864 WITH SCORE 314211.242
AT ITER 8557 NEW BEST:: SOT 2654192 SOS 347305 HAS SOPS 347305 HAS SOUS 313777 HAS SOUPS 313777 WITH SCORE 314124.305
AT ITER 8572 NEW BEST:: SOT 2654136 SOS 347193 HAS SOPS 347193 HAS SOUS 313721 HAS SOUPS 313721 WITH SCORE 314068.193
AT ITER 8601 NEW BEST:: SOT 2654080 SOS 347081 HAS SOPS 347081 HAS SOUS 313608 HAS SOUPS 313608 WITH SCORE 313955.081
AT ITER 8612 NEW BEST:: SOT 2654058 SOS 347024 HAS SOPS 347024 HAS SOUS 313588 HAS SOUPS 313588 WITH SCORE 313935.024
AT ITER 8626 NEW BEST:: SOT 2653948 SOS 346804 HAS SOPS 346804 HAS SOUS 313400 HAS SOUPS 313400 WITH SCORE 313746.804
AT ITER 8648 NEW BEST:: SOT 2653920 SOS 346776 HAS SOPS 346776 HAS SOUS 313393 HAS SOUPS 313393 WITH SCORE 313739.776
AT ITER 8698 NEW BEST:: SOT 2653866 SOS 346738 HAS SOPS 346738 HAS SOUS 313329 HAS SOUPS 313329 WITH SCORE 313675.738
AT ITER 8717 NEW BEST:: SOT 2653866 SOS 346681 HAS SOPS 346681 HAS SOUS 313272 HAS SOUPS 313272 WITH SCORE 313618.681
AT ITER 8724 NEW BEST:: SOT 2653777 SOS 346414 HAS SOPS 346414 HAS SOUS 313272 HAS SOUPS 313272 WITH SCORE 313618.414
AT ITER 8829 NEW BEST:: SOT 2653746 SOS 346383 HAS SOPS 346383 HAS SOUS 313241 HAS SOUPS 313241 WITH SCORE 313587.383
AT ITER 8851 NEW BEST:: SOT 2653650 SOS 346191 HAS SOPS 346191 HAS SOUS 313049 HAS SOUPS 313049 WITH SCORE 313395.191
AT ITER 8864 NEW BEST:: SOT 2653553 SOS 346094 HAS SOPS 346094 HAS SOUS 312952 HAS SOUPS 312952 WITH SCORE 313298.094
AT ITER 8872 NEW BEST:: SOT 2653553 SOS 346015 HAS SOPS 346015 HAS SOUS 312873 HAS SOUPS 312873 WITH SCORE 313219.015
AT ITER 8882 NEW BEST:: SOT 2653544 SOS 345997 HAS SOPS 345997 HAS SOUS 312855 HAS SOUPS 312855 WITH SCORE 313200.997
AT ITER 8894 NEW BEST:: SOT 2653505 SOS 345982 HAS SOPS 345982 HAS SOUS 312840 HAS SOUPS 312840 WITH SCORE 313185.982
AT ITER 8899 NEW BEST:: SOT 2653446 SOS 346024 HAS SOPS 346024 HAS SOUS 312722 HAS SOUPS 312722 WITH SCORE 313068.024
AT ITER 8937 NEW BEST:: SOT 2653404 SOS 345982 HAS SOPS 345982 HAS SOUS 312680 HAS SOUPS 312680 WITH SCORE 313025.982
AT ITER 8947 NEW BEST:: SOT 2653373 SOS 345920 HAS SOPS 345920 HAS SOUS 312618 HAS SOUPS 312618 WITH SCORE 312963.92
AT ITER 8972 NEW BEST:: SOT 2653357 SOS 345888 HAS SOPS 345888 HAS SOUS 312586 HAS SOUPS 312586 WITH SCORE 312931.888
AT ITER 8984 NEW BEST:: SOT 2653260 SOS 345694 HAS SOPS 345694 HAS SOUS 312490 HAS SOUPS 312490 WITH SCORE 312835.694
AT ITER 8985 NEW BEST:: SOT 2653161 SOS 345574 HAS SOPS 345574 HAS SOUS 312370 HAS SOUPS 312370 WITH SCORE 312715.574
AT ITER 9000 NEW BEST:: SOT 2653112 SOS 345361 HAS SOPS 345361 HAS SOUS 312321 HAS SOUPS 312321 WITH SCORE 312666.361
AT ITER 9014 NEW BEST:: SOT 2653112 SOS 345284 HAS SOPS 345284 HAS SOUS 312321 HAS SOUPS 312321 WITH SCORE 312666.284
AT ITER 9031 NEW BEST:: SOT 2653091 SOS 345263 HAS SOPS 345263 HAS SOUS 312300 HAS SOUPS 312300 WITH SCORE 312645.263
AT ITER 9044 NEW BEST:: SOT 2653091 SOS 345172 HAS SOPS 345172 HAS SOUS 312209 HAS SOUPS 312209 WITH SCORE 312554.172
AT ITER 9079 NEW BEST:: SOT 2653089 SOS 345160 HAS SOPS 345160 HAS SOUS 312203 HAS SOUPS 312203 WITH SCORE 312548.16
AT ITER 9127 NEW BEST:: SOT 2653052 SOS 345038 HAS SOPS 345038 HAS SOUS 312118 HAS SOUPS 312118 WITH SCORE 312463.038
AT ITER 9181 NEW BEST:: SOT 2653052 SOS 345038 HAS SOPS 345038 HAS SOUS 311998 HAS SOUPS 311998 WITH SCORE 312343.038
AT ITER 9184 NEW BEST:: SOT 2653045 SOS 345024 HAS SOPS 345024 HAS SOUS 311984 HAS SOUPS 311984 WITH SCORE 312329.024
AT ITER 9190 NEW BEST:: SOT 2652991 SOS 344916 HAS SOPS 344916 HAS SOUS 311876 HAS SOUPS 311876 WITH SCORE 312220.916
AT ITER 9198 NEW BEST:: SOT 2652952 SOS 344838 HAS SOPS 344838 HAS SOUS 311795 HAS SOUPS 311795 WITH SCORE 312139.838
AT ITER 9249 NEW BEST:: SOT 2652904 SOS 344790 HAS SOPS 344790 HAS SOUS 311747 HAS SOUPS 311747 WITH SCORE 312091.79
AT ITER 9276 NEW BEST:: SOT 2652904 SOS 344717 HAS SOPS 344717 HAS SOUS 311674 HAS SOUPS 311674 WITH SCORE 312018.717
AT ITER 9283 NEW BEST:: SOT 2652651 SOS 344491 HAS SOPS 344491 HAS SOUS 311494 HAS SOUPS 311494 WITH SCORE 311838.491
AT ITER 9324 NEW BEST:: SOT 2652596 SOS 344414 HAS SOPS 344414 HAS SOUS 311417 HAS SOUPS 311417 WITH SCORE 311761.414
AT ITER 9350 NEW BEST:: SOT 2652551 SOS 344324 HAS SOPS 344324 HAS SOUS 311372 HAS SOUPS 311372 WITH SCORE 311716.324
AT ITER 9359 NEW BEST:: SOT 2652539 SOS 344300 HAS SOPS 344300 HAS SOUS 311360 HAS SOUPS 311360 WITH SCORE 311704.3
AT ITER 9365 NEW BEST:: SOT 2652526 SOS 344261 HAS SOPS 344261 HAS SOUS 311334 HAS SOUPS 311334 WITH SCORE 311678.261
AT ITER 9407 NEW BEST:: SOT 2652313 SOS 343835 HAS SOPS 343835 HAS SOUS 310793 HAS SOUPS 310793 WITH SCORE 311136.835
AT ITER 9416 NEW BEST:: SOT 2652245 SOS 343784 HAS SOPS 343784 HAS SOUS 310742 HAS SOUPS 310742 WITH SCORE 311085.784
AT ITER 9420 NEW BEST:: SOT 2652210 SOS 343658 HAS SOPS 343658 HAS SOUS 310707 HAS SOUPS 310707 WITH SCORE 311050.658
AT ITER 9441 NEW BEST:: SOT 2652205 SOS 343568 HAS SOPS 343568 HAS SOUS 310617 HAS SOUPS 310617 WITH SCORE 310960.568
AT ITER 9453 NEW BEST:: SOT 2652140 SOS 343532 HAS SOPS 343532 HAS SOUS 310610 HAS SOUPS 310610 WITH SCORE 310953.532
AT ITER 9454 NEW BEST:: SOT 2652105 SOS 343497 HAS SOPS 343497 HAS SOUS 310576 HAS SOUPS 310576 WITH SCORE 310919.497
AT ITER 9512 NEW BEST:: SOT 2652091 SOS 343483 HAS SOPS 343483 HAS SOUS 310562 HAS SOUPS 310562 WITH SCORE 310905.483
AT ITER 9526 NEW BEST:: SOT 2652091 SOS 343451 HAS SOPS 343451 HAS SOUS 310530 HAS SOUPS 310530 WITH SCORE 310873.451
AT ITER 9591 NEW BEST:: SOT 2652072 SOS 343431 HAS SOPS 343431 HAS SOUS 310510 HAS SOUPS 310510 WITH SCORE 310853.431
AT ITER 9634 NEW BEST:: SOT 2652072 SOS 343428 HAS SOPS 343428 HAS SOUS 310510 HAS SOUPS 310510 WITH SCORE 310853.428
AT ITER 9636 NEW BEST:: SOT 2652072 SOS 343406 HAS SOPS 343406 HAS SOUS 310510 HAS SOUPS 310510 WITH SCORE 310853.406
AT ITER 9705 NEW BEST:: SOT 2652058 SOS 343398 HAS SOPS 343398 HAS SOUS 310496 HAS SOUPS 310496 WITH SCORE 310839.398
AT ITER 9714 NEW BEST:: SOT 2651998 SOS 343217 HAS SOPS 343217 HAS SOUS 310492 HAS SOUPS 310492 WITH SCORE 310835.217
AT ITER 9729 NEW BEST:: SOT 2652052 SOS 343171 HAS SOPS 343171 HAS SOUS 310446 HAS SOUPS 310446 WITH SCORE 310789.171
AT ITER 9731 NEW BEST:: SOT 2652052 SOS 343126 HAS SOPS 343126 HAS SOUS 310401 HAS SOUPS 310401 WITH SCORE 310744.126
AT ITER 9775 NEW BEST:: SOT 2652041 SOS 343052 HAS SOPS 343052 HAS SOUS 310378 HAS SOUPS 310378 WITH SCORE 310721.052
AT ITER 9776 NEW BEST:: SOT 2652193 SOS 342976 HAS SOPS 342976 HAS SOUS 310302 HAS SOUPS 310302 WITH SCORE 310644.976
AT ITER 9812 NEW BEST:: SOT 2652131 SOS 342852 HAS SOPS 342852 HAS SOUS 310240 HAS SOUPS 310240 WITH SCORE 310582.852
AT ITER 9888 NEW BEST:: SOT 2652131 SOS 342804 HAS SOPS 342804 HAS SOUS 310192 HAS SOUPS 310192 WITH SCORE 310534.804
AT ITER 9917 NEW BEST:: SOT 2652131 SOS 342583 HAS SOPS 342583 HAS SOUS 310192 HAS SOUPS 310192 WITH SCORE 310534.583
AT ITER 9918 NEW BEST:: SOT 2652131 SOS 342564 HAS SOPS 342564 HAS SOUS 310154 HAS SOUPS 310154 WITH SCORE 310496.564
AT ITER 9939 NEW BEST:: SOT 2652106 SOS 342539 HAS SOPS 342539 HAS SOUS 310129 HAS SOUPS 310129 WITH SCORE 310471.539
AT ITER 9958 NEW BEST:: SOT 2652084 SOS 342488 HAS SOPS 342488 HAS SOUS 310078 HAS SOUPS 310078 WITH SCORE 310420.488
AT ITER 9986 NEW BEST:: SOT 2652084 SOS 342480 HAS SOPS 342480 HAS SOUS 310070 HAS SOUPS 310070 WITH SCORE 310412.48
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 11148424 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16153288 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="AutoFlight-PT-24b"
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 AutoFlight-PT-24b, 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 r003-oct2-167813590900496"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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