Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r003-smll-158897508600489.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-4028
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-smll-158897508600489
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 708K
-rw-r--r-- 1 mcc users 3.8K Mar 25 23:31 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 25 23:31 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 18:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 18:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 25 15:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 25 15:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 10:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 25 10:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 17:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 25 17:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 538K Mar 24 05:37 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 1589176224651

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutoFlight (PT), instance 24b
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/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 52 NEW BEST:: SOT 2675048 SOS 377976 HAS SOPS 377976 HAS SOUS 349426 HAS SOUPS 349426 WITH SCORE 349803.976
AT ITER 65 NEW BEST:: SOT 2675048 SOS 377914 HAS SOPS 377914 HAS SOUS 349364 HAS SOUPS 349364 WITH SCORE 349741.914
AT ITER 96 NEW BEST:: SOT 2674908 SOS 377844 HAS SOPS 377844 HAS SOUS 349224 HAS SOUPS 349224 WITH SCORE 349601.844
AT ITER 139 NEW BEST:: SOT 2674738 SOS 377675 HAS SOPS 377675 HAS SOUS 349054 HAS SOUPS 349054 WITH SCORE 349431.675
AT ITER 140 NEW BEST:: SOT 2674740 SOS 377679 HAS SOPS 377679 HAS SOUS 349032 HAS SOUPS 349032 WITH SCORE 349409.679
AT ITER 160 NEW BEST:: SOT 2674602 SOS 377355 HAS SOPS 377355 HAS SOUS 348759 HAS SOUPS 348759 WITH SCORE 349136.355
AT ITER 166 NEW BEST:: SOT 2674454 SOS 377059 HAS SOPS 377059 HAS SOUS 348325 HAS SOUPS 348325 WITH SCORE 348702.059
AT ITER 168 NEW BEST:: SOT 2674454 SOS 376853 HAS SOPS 376853 HAS SOUS 348119 HAS SOUPS 348119 WITH SCORE 348495.853
AT ITER 174 NEW BEST:: SOT 2674395 SOS 376767 HAS SOPS 376767 HAS SOUS 348033 HAS SOUPS 348033 WITH SCORE 348409.767
AT ITER 217 NEW BEST:: SOT 2674382 SOS 376767 HAS SOPS 376767 HAS SOUS 348020 HAS SOUPS 348020 WITH SCORE 348396.767
AT ITER 271 NEW BEST:: SOT 2674382 SOS 376767 HAS SOPS 376767 HAS SOUS 348019 HAS SOUPS 348019 WITH SCORE 348395.767
AT ITER 280 NEW BEST:: SOT 2674200 SOS 376767 HAS SOPS 376767 HAS SOUS 347835 HAS SOUPS 347835 WITH SCORE 348211.767
AT ITER 314 NEW BEST:: SOT 2674199 SOS 376765 HAS SOPS 376765 HAS SOUS 347833 HAS SOUPS 347833 WITH SCORE 348209.765
AT ITER 318 NEW BEST:: SOT 2674199 SOS 376745 HAS SOPS 376745 HAS SOUS 347813 HAS SOUPS 347813 WITH SCORE 348189.745
AT ITER 374 NEW BEST:: SOT 2674061 SOS 376468 HAS SOPS 376468 HAS SOUS 347536 HAS SOUPS 347536 WITH SCORE 347912.468
AT ITER 405 NEW BEST:: SOT 2673962 SOS 376270 HAS SOPS 376270 HAS SOUS 347437 HAS SOUPS 347437 WITH SCORE 347813.27
AT ITER 415 NEW BEST:: SOT 2673900 SOS 376277 HAS SOPS 376277 HAS SOUS 347415 HAS SOUPS 347415 WITH SCORE 347791.277
AT ITER 429 NEW BEST:: SOT 2673884 SOS 376261 HAS SOPS 376261 HAS SOUS 347399 HAS SOUPS 347399 WITH SCORE 347775.261
AT ITER 446 NEW BEST:: SOT 2673974 SOS 376232 HAS SOPS 376232 HAS SOUS 347387 HAS SOUPS 347387 WITH SCORE 347763.232
AT ITER 458 NEW BEST:: SOT 2673988 SOS 376220 HAS SOPS 376220 HAS SOUS 347375 HAS SOUPS 347375 WITH SCORE 347751.22
AT ITER 492 NEW BEST:: SOT 2674098 SOS 376242 HAS SOPS 376242 HAS SOUS 347366 HAS SOUPS 347366 WITH SCORE 347742.242
AT ITER 499 NEW BEST:: SOT 2674059 SOS 376238 HAS SOPS 376238 HAS SOUS 347366 HAS SOUPS 347366 WITH SCORE 347742.238
AT ITER 531 NEW BEST:: SOT 2674059 SOS 376352 HAS SOPS 376352 HAS SOUS 347365 HAS SOUPS 347365 WITH SCORE 347741.352
AT ITER 536 NEW BEST:: SOT 2674059 SOS 376352 HAS SOPS 376352 HAS SOUS 347361 HAS SOUPS 347361 WITH SCORE 347737.352
AT ITER 549 NEW BEST:: SOT 2673642 SOS 375796 HAS SOPS 375796 HAS SOUS 346805 HAS SOUPS 346805 WITH SCORE 347180.796
AT ITER 580 NEW BEST:: SOT 2673642 SOS 375649 HAS SOPS 375649 HAS SOUS 346658 HAS SOUPS 346658 WITH SCORE 347033.649
AT ITER 628 NEW BEST:: SOT 2673616 SOS 375646 HAS SOPS 375646 HAS SOUS 346655 HAS SOUPS 346655 WITH SCORE 347030.646
AT ITER 630 NEW BEST:: SOT 2673492 SOS 375273 HAS SOPS 375273 HAS SOUS 346436 HAS SOUPS 346436 WITH SCORE 346811.273
AT ITER 631 NEW BEST:: SOT 2673492 SOS 375273 HAS SOPS 375273 HAS SOUS 346410 HAS SOUPS 346410 WITH SCORE 346785.273
AT ITER 634 NEW BEST:: SOT 2673388 SOS 375251 HAS SOPS 375251 HAS SOUS 346162 HAS SOUPS 346162 WITH SCORE 346537.251
AT ITER 646 NEW BEST:: SOT 2673388 SOS 375137 HAS SOPS 375137 HAS SOUS 346048 HAS SOUPS 346048 WITH SCORE 346423.137
AT ITER 656 NEW BEST:: SOT 2673340 SOS 374979 HAS SOPS 374979 HAS SOUS 345952 HAS SOUPS 345952 WITH SCORE 346326.979
AT ITER 660 NEW BEST:: SOT 2673340 SOS 374923 HAS SOPS 374923 HAS SOUS 345896 HAS SOUPS 345896 WITH SCORE 346270.923
AT ITER 685 NEW BEST:: SOT 2673201 SOS 374597 HAS SOPS 374597 HAS SOUS 345617 HAS SOUPS 345617 WITH SCORE 345991.597
AT ITER 688 NEW BEST:: SOT 2673290 SOS 374555 HAS SOPS 374555 HAS SOUS 345575 HAS SOUPS 345575 WITH SCORE 345949.555
AT ITER 719 NEW BEST:: SOT 2673290 SOS 374543 HAS SOPS 374543 HAS SOUS 345563 HAS SOUPS 345563 WITH SCORE 345937.543
AT ITER 720 NEW BEST:: SOT 2673286 SOS 374539 HAS SOPS 374539 HAS SOUS 345563 HAS SOUPS 345563 WITH SCORE 345937.539
AT ITER 778 NEW BEST:: SOT 2673283 SOS 374533 HAS SOPS 374533 HAS SOUS 345557 HAS SOUPS 345557 WITH SCORE 345931.533
AT ITER 809 NEW BEST:: SOT 2673178 SOS 374387 HAS SOPS 374387 HAS SOUS 345306 HAS SOUPS 345306 WITH SCORE 345680.387
AT ITER 823 NEW BEST:: SOT 2673221 SOS 374383 HAS SOPS 374383 HAS SOUS 345302 HAS SOUPS 345302 WITH SCORE 345676.383
AT ITER 882 NEW BEST:: SOT 2673221 SOS 374365 HAS SOPS 374365 HAS SOUS 345284 HAS SOUPS 345284 WITH SCORE 345658.365
AT ITER 913 NEW BEST:: SOT 2673060 SOS 374407 HAS SOPS 374407 HAS SOUS 345092 HAS SOUPS 345092 WITH SCORE 345466.407
AT ITER 934 NEW BEST:: SOT 2673026 SOS 374356 HAS SOPS 374356 HAS SOUS 345058 HAS SOUPS 345058 WITH SCORE 345432.356
AT ITER 947 NEW BEST:: SOT 2673000 SOS 374400 HAS SOPS 374400 HAS SOUS 345028 HAS SOUPS 345028 WITH SCORE 345402.4
AT ITER 988 NEW BEST:: SOT 2672894 SOS 374188 HAS SOPS 374188 HAS SOUS 344922 HAS SOUPS 344922 WITH SCORE 345296.188
AT ITER 1062 NEW BEST:: SOT 2672816 SOS 374136 HAS SOPS 374136 HAS SOUS 344870 HAS SOUPS 344870 WITH SCORE 345244.136
AT ITER 1115 NEW BEST:: SOT 2672816 SOS 374066 HAS SOPS 374066 HAS SOUS 344800 HAS SOUPS 344800 WITH SCORE 345174.066
AT ITER 1137 NEW BEST:: SOT 2672685 SOS 373935 HAS SOPS 373935 HAS SOUS 344669 HAS SOUPS 344669 WITH SCORE 345042.935
AT ITER 1141 NEW BEST:: SOT 2672533 SOS 373707 HAS SOPS 373707 HAS SOUS 344517 HAS SOUPS 344517 WITH SCORE 344890.707
AT ITER 1148 NEW BEST:: SOT 2672245 SOS 373227 HAS SOPS 373227 HAS SOUS 344037 HAS SOUPS 344037 WITH SCORE 344410.227
AT ITER 1168 NEW BEST:: SOT 2672245 SOS 373202 HAS SOPS 373202 HAS SOUS 344012 HAS SOUPS 344012 WITH SCORE 344385.202
AT ITER 1178 NEW BEST:: SOT 2672238 SOS 373181 HAS SOPS 373181 HAS SOUS 343991 HAS SOUPS 343991 WITH SCORE 344364.181
AT ITER 1195 NEW BEST:: SOT 2672154 SOS 373097 HAS SOPS 373097 HAS SOUS 343907 HAS SOUPS 343907 WITH SCORE 344280.097
AT ITER 1220 NEW BEST:: SOT 2672154 SOS 373058 HAS SOPS 373058 HAS SOUS 343900 HAS SOUPS 343900 WITH SCORE 344273.058
AT ITER 1242 NEW BEST:: SOT 2672072 SOS 373206 HAS SOPS 373206 HAS SOUS 343818 HAS SOUPS 343818 WITH SCORE 344191.206
AT ITER 1245 NEW BEST:: SOT 2672031 SOS 372889 HAS SOPS 372889 HAS SOUS 343708 HAS SOUPS 343708 WITH SCORE 344080.889
AT ITER 1297 NEW BEST:: SOT 2671838 SOS 372734 HAS SOPS 372734 HAS SOUS 343616 HAS SOUPS 343616 WITH SCORE 343988.734
AT ITER 1304 NEW BEST:: SOT 2671532 SOS 372379 HAS SOPS 372379 HAS SOUS 342923 HAS SOUPS 342923 WITH SCORE 343295.379
AT ITER 1324 NEW BEST:: SOT 2671532 SOS 372365 HAS SOPS 372365 HAS SOUS 342923 HAS SOUPS 342923 WITH SCORE 343295.365
AT ITER 1358 NEW BEST:: SOT 2671309 SOS 372176 HAS SOPS 372176 HAS SOUS 342598 HAS SOUPS 342598 WITH SCORE 342970.176
AT ITER 1472 NEW BEST:: SOT 2671238 SOS 371963 HAS SOPS 371963 HAS SOUS 342385 HAS SOUPS 342385 WITH SCORE 342756.963
AT ITER 1522 NEW BEST:: SOT 2671238 SOS 371904 HAS SOPS 371904 HAS SOUS 342326 HAS SOUPS 342326 WITH SCORE 342697.904
AT ITER 1538 NEW BEST:: SOT 2668990 SOS 373213 HAS SOPS 373213 HAS SOUS 340347 HAS SOUPS 340347 WITH SCORE 340720.213
AT ITER 1549 NEW BEST:: SOT 2668981 SOS 373355 HAS SOPS 373355 HAS SOUS 340320 HAS SOUPS 340320 WITH SCORE 340693.355
AT ITER 1567 NEW BEST:: SOT 2668981 SOS 373304 HAS SOPS 373304 HAS SOUS 340269 HAS SOUPS 340269 WITH SCORE 340642.304
AT ITER 1584 NEW BEST:: SOT 2668838 SOS 373260 HAS SOPS 373260 HAS SOUS 340204 HAS SOUPS 340204 WITH SCORE 340577.26
AT ITER 1595 NEW BEST:: SOT 2668746 SOS 373076 HAS SOPS 373076 HAS SOUS 339880 HAS SOUPS 339880 WITH SCORE 340253.076
AT ITER 1599 NEW BEST:: SOT 2668746 SOS 373056 HAS SOPS 373056 HAS SOUS 339860 HAS SOUPS 339860 WITH SCORE 340233.056
AT ITER 1600 NEW BEST:: SOT 2668641 SOS 373055 HAS SOPS 373055 HAS SOUS 339546 HAS SOUPS 339546 WITH SCORE 339919.055
AT ITER 1640 NEW BEST:: SOT 2668612 SOS 372997 HAS SOPS 372997 HAS SOUS 339517 HAS SOUPS 339517 WITH SCORE 339889.997
AT ITER 1645 NEW BEST:: SOT 2668612 SOS 372940 HAS SOPS 372940 HAS SOUS 339460 HAS SOUPS 339460 WITH SCORE 339832.94
AT ITER 1666 NEW BEST:: SOT 2668508 SOS 372849 HAS SOPS 372849 HAS SOUS 339364 HAS SOUPS 339364 WITH SCORE 339736.849
AT ITER 1670 NEW BEST:: SOT 2668508 SOS 372818 HAS SOPS 372818 HAS SOUS 339333 HAS SOUPS 339333 WITH SCORE 339705.818
AT ITER 1675 NEW BEST:: SOT 2668508 SOS 372816 HAS SOPS 372816 HAS SOUS 339332 HAS SOUPS 339332 WITH SCORE 339704.816
AT ITER 1712 NEW BEST:: SOT 2668508 SOS 372816 HAS SOPS 372816 HAS SOUS 339331 HAS SOUPS 339331 WITH SCORE 339703.816
AT ITER 1715 NEW BEST:: SOT 2668345 SOS 372490 HAS SOPS 372490 HAS SOUS 339168 HAS SOUPS 339168 WITH SCORE 339540.49
AT ITER 1720 NEW BEST:: SOT 2668267 SOS 372412 HAS SOPS 372412 HAS SOUS 339090 HAS SOUPS 339090 WITH SCORE 339462.412
AT ITER 1721 NEW BEST:: SOT 2668104 SOS 372503 HAS SOPS 372503 HAS SOUS 338927 HAS SOUPS 338927 WITH SCORE 339299.503
AT ITER 1738 NEW BEST:: SOT 2668069 SOS 372398 HAS SOPS 372398 HAS SOUS 338832 HAS SOUPS 338832 WITH SCORE 339204.398
AT ITER 1834 NEW BEST:: SOT 2668069 SOS 372398 HAS SOPS 372398 HAS SOUS 338604 HAS SOUPS 338604 WITH SCORE 338976.398
AT ITER 1862 NEW BEST:: SOT 2668069 SOS 372263 HAS SOPS 372263 HAS SOUS 338469 HAS SOUPS 338469 WITH SCORE 338841.263
AT ITER 1864 NEW BEST:: SOT 2668069 SOS 372263 HAS SOPS 372263 HAS SOUS 338429 HAS SOUPS 338429 WITH SCORE 338801.263
AT ITER 1888 NEW BEST:: SOT 2668069 SOS 372097 HAS SOPS 372097 HAS SOUS 338263 HAS SOUPS 338263 WITH SCORE 338635.097
AT ITER 1893 NEW BEST:: SOT 2668032 SOS 372450 HAS SOPS 372450 HAS SOUS 338110 HAS SOUPS 338110 WITH SCORE 338482.45
AT ITER 1902 NEW BEST:: SOT 2667955 SOS 372296 HAS SOPS 372296 HAS SOUS 338033 HAS SOUPS 338033 WITH SCORE 338405.296
AT ITER 1949 NEW BEST:: SOT 2667751 SOS 372572 HAS SOPS 372572 HAS SOUS 337672 HAS SOUPS 337672 WITH SCORE 338044.572
AT ITER 1990 NEW BEST:: SOT 2667751 SOS 372572 HAS SOPS 372572 HAS SOUS 337671 HAS SOUPS 337671 WITH SCORE 338043.572
AT ITER 2036 NEW BEST:: SOT 2667682 SOS 372434 HAS SOPS 372434 HAS SOUS 337533 HAS SOUPS 337533 WITH SCORE 337905.434
AT ITER 2067 NEW BEST:: SOT 2667682 SOS 372412 HAS SOPS 372412 HAS SOUS 337511 HAS SOUPS 337511 WITH SCORE 337883.412
AT ITER 2074 NEW BEST:: SOT 2667568 SOS 372298 HAS SOPS 372298 HAS SOUS 337397 HAS SOUPS 337397 WITH SCORE 337769.298
AT ITER 2109 NEW BEST:: SOT 2667384 SOS 372147 HAS SOPS 372147 HAS SOUS 337027 HAS SOUPS 337027 WITH SCORE 337399.147
AT ITER 2147 NEW BEST:: SOT 2667384 SOS 372116 HAS SOPS 372116 HAS SOUS 336996 HAS SOUPS 336996 WITH SCORE 337368.116
AT ITER 2151 NEW BEST:: SOT 2667418 SOS 372418 HAS SOPS 372418 HAS SOUS 336971 HAS SOUPS 336971 WITH SCORE 337343.418
AT ITER 2176 NEW BEST:: SOT 2667251 SOS 372328 HAS SOPS 372328 HAS SOUS 336804 HAS SOUPS 336804 WITH SCORE 337176.328
AT ITER 2212 NEW BEST:: SOT 2667250 SOS 372252 HAS SOPS 372252 HAS SOUS 336766 HAS SOUPS 336766 WITH SCORE 337138.252
AT ITER 2226 NEW BEST:: SOT 2667188 SOS 372380 HAS SOPS 372380 HAS SOUS 336623 HAS SOUPS 336623 WITH SCORE 336995.38
AT ITER 2234 NEW BEST:: SOT 2666938 SOS 372255 HAS SOPS 372255 HAS SOUS 336498 HAS SOUPS 336498 WITH SCORE 336870.255
AT ITER 2250 NEW BEST:: SOT 2666919 SOS 372217 HAS SOPS 372217 HAS SOUS 336453 HAS SOUPS 336453 WITH SCORE 336825.217
AT ITER 2292 NEW BEST:: SOT 2666918 SOS 372215 HAS SOPS 372215 HAS SOUS 336451 HAS SOUPS 336451 WITH SCORE 336823.215
AT ITER 2325 NEW BEST:: SOT 2666991 SOS 371969 HAS SOPS 371969 HAS SOUS 336387 HAS SOUPS 336387 WITH SCORE 336758.969
AT ITER 2333 NEW BEST:: SOT 2666975 SOS 371937 HAS SOPS 371937 HAS SOUS 336371 HAS SOUPS 336371 WITH SCORE 336742.937
AT ITER 2348 NEW BEST:: SOT 2666796 SOS 371482 HAS SOPS 371482 HAS SOUS 335916 HAS SOUPS 335916 WITH SCORE 336287.482
AT ITER 2396 NEW BEST:: SOT 2666796 SOS 371482 HAS SOPS 371482 HAS SOUS 335893 HAS SOUPS 335893 WITH SCORE 336264.482
AT ITER 2411 NEW BEST:: SOT 2666763 SOS 371466 HAS SOPS 371466 HAS SOUS 335893 HAS SOUPS 335893 WITH SCORE 336264.466
AT ITER 2441 NEW BEST:: SOT 2666651 SOS 371206 HAS SOPS 371206 HAS SOUS 335781 HAS SOUPS 335781 WITH SCORE 336152.206
AT ITER 2443 NEW BEST:: SOT 2666584 SOS 371139 HAS SOPS 371139 HAS SOUS 335781 HAS SOUPS 335781 WITH SCORE 336152.139
AT ITER 2454 NEW BEST:: SOT 2666644 SOS 371037 HAS SOPS 371037 HAS SOUS 335679 HAS SOUPS 335679 WITH SCORE 336050.037
AT ITER 2496 NEW BEST:: SOT 2666644 SOS 370901 HAS SOPS 370901 HAS SOUS 335543 HAS SOUPS 335543 WITH SCORE 335913.901
AT ITER 2518 NEW BEST:: SOT 2666561 SOS 371082 HAS SOPS 371082 HAS SOUS 335526 HAS SOUPS 335526 WITH SCORE 335897.082
AT ITER 2595 NEW BEST:: SOT 2666561 SOS 371082 HAS SOPS 371082 HAS SOUS 335457 HAS SOUPS 335457 WITH SCORE 335828.082
AT ITER 2600 NEW BEST:: SOT 2666513 SOS 371032 HAS SOPS 371032 HAS SOUS 335407 HAS SOUPS 335407 WITH SCORE 335778.032
AT ITER 2651 NEW BEST:: SOT 2666064 SOS 370648 HAS SOPS 370648 HAS SOUS 334922 HAS SOUPS 334922 WITH SCORE 335292.648
AT ITER 2712 NEW BEST:: SOT 2665993 SOS 370648 HAS SOPS 370648 HAS SOUS 334851 HAS SOUPS 334851 WITH SCORE 335221.648
AT ITER 2734 NEW BEST:: SOT 2665959 SOS 370597 HAS SOPS 370597 HAS SOUS 334800 HAS SOUPS 334800 WITH SCORE 335170.597
AT ITER 2764 NEW BEST:: SOT 2665790 SOS 370259 HAS SOPS 370259 HAS SOUS 334585 HAS SOUPS 334585 WITH SCORE 334955.259
AT ITER 2813 NEW BEST:: SOT 2665606 SOS 369891 HAS SOPS 369891 HAS SOUS 334217 HAS SOUPS 334217 WITH SCORE 334586.891
AT ITER 2823 NEW BEST:: SOT 2665553 SOS 369346 HAS SOPS 369346 HAS SOUS 334011 HAS SOUPS 334011 WITH SCORE 334380.346
AT ITER 2853 NEW BEST:: SOT 2665384 SOS 369008 HAS SOPS 369008 HAS SOUS 333718 HAS SOUPS 333718 WITH SCORE 334087.008
AT ITER 2961 NEW BEST:: SOT 2664999 SOS 368301 HAS SOPS 368301 HAS SOUS 333028 HAS SOUPS 333028 WITH SCORE 333396.301
AT ITER 2988 NEW BEST:: SOT 2664999 SOS 368283 HAS SOPS 368283 HAS SOUS 333010 HAS SOUPS 333010 WITH SCORE 333378.283
AT ITER 3009 NEW BEST:: SOT 2664999 SOS 368262 HAS SOPS 368262 HAS SOUS 332989 HAS SOUPS 332989 WITH SCORE 333357.262
AT ITER 3031 NEW BEST:: SOT 2664999 SOS 368262 HAS SOPS 368262 HAS SOUS 332988 HAS SOUPS 332988 WITH SCORE 333356.262
AT ITER 3040 NEW BEST:: SOT 2664999 SOS 368186 HAS SOPS 368186 HAS SOUS 332912 HAS SOUPS 332912 WITH SCORE 333280.186
AT ITER 3060 NEW BEST:: SOT 2664999 SOS 368178 HAS SOPS 368178 HAS SOUS 332904 HAS SOUPS 332904 WITH SCORE 333272.178
AT ITER 3074 NEW BEST:: SOT 2664999 SOS 368082 HAS SOPS 368082 HAS SOUS 332808 HAS SOUPS 332808 WITH SCORE 333176.082
AT ITER 3089 NEW BEST:: SOT 2665015 SOS 368060 HAS SOPS 368060 HAS SOUS 332780 HAS SOUPS 332780 WITH SCORE 333148.06
AT ITER 3110 NEW BEST:: SOT 2665028 SOS 368057 HAS SOPS 368057 HAS SOUS 332777 HAS SOUPS 332777 WITH SCORE 333145.057
AT ITER 3154 NEW BEST:: SOT 2665028 SOS 367976 HAS SOPS 367976 HAS SOUS 332696 HAS SOUPS 332696 WITH SCORE 333063.976
AT ITER 3164 NEW BEST:: SOT 2665028 SOS 367976 HAS SOPS 367976 HAS SOUS 332689 HAS SOUPS 332689 WITH SCORE 333056.976
AT ITER 3188 NEW BEST:: SOT 2665026 SOS 367972 HAS SOPS 367972 HAS SOUS 332685 HAS SOUPS 332685 WITH SCORE 333052.972
AT ITER 3211 NEW BEST:: SOT 2665023 SOS 367966 HAS SOPS 367966 HAS SOUS 332641 HAS SOUPS 332641 WITH SCORE 333008.966
AT ITER 3213 NEW BEST:: SOT 2665023 SOS 367995 HAS SOPS 367995 HAS SOUS 332626 HAS SOUPS 332626 WITH SCORE 332993.995
AT ITER 3231 NEW BEST:: SOT 2665023 SOS 367994 HAS SOPS 367994 HAS SOUS 332625 HAS SOUPS 332625 WITH SCORE 332992.994
AT ITER 3250 NEW BEST:: SOT 2664892 SOS 367860 HAS SOPS 367860 HAS SOUS 332499 HAS SOUPS 332499 WITH SCORE 332866.86
AT ITER 3264 NEW BEST:: SOT 2664807 SOS 367741 HAS SOPS 367741 HAS SOUS 332380 HAS SOUPS 332380 WITH SCORE 332747.741
AT ITER 3271 NEW BEST:: SOT 2664807 SOS 367713 HAS SOPS 367713 HAS SOUS 332352 HAS SOUPS 332352 WITH SCORE 332719.713
AT ITER 3316 NEW BEST:: SOT 2664676 SOS 367451 HAS SOPS 367451 HAS SOUS 332186 HAS SOUPS 332186 WITH SCORE 332553.451
AT ITER 3334 NEW BEST:: SOT 2664676 SOS 367419 HAS SOPS 367419 HAS SOUS 332154 HAS SOUPS 332154 WITH SCORE 332521.419
AT ITER 3354 NEW BEST:: SOT 2664633 SOS 367186 HAS SOPS 367186 HAS SOUS 332068 HAS SOUPS 332068 WITH SCORE 332435.186
AT ITER 3372 NEW BEST:: SOT 2664633 SOS 367186 HAS SOPS 367186 HAS SOUS 332067 HAS SOUPS 332067 WITH SCORE 332434.186
AT ITER 3388 NEW BEST:: SOT 2664633 SOS 367156 HAS SOPS 367156 HAS SOUS 332036 HAS SOUPS 332036 WITH SCORE 332403.156
AT ITER 3401 NEW BEST:: SOT 2664632 SOS 367154 HAS SOPS 367154 HAS SOUS 332034 HAS SOUPS 332034 WITH SCORE 332401.154
AT ITER 3419 NEW BEST:: SOT 2664547 SOS 366934 HAS SOPS 366934 HAS SOUS 331949 HAS SOUPS 331949 WITH SCORE 332315.934
AT ITER 3439 NEW BEST:: SOT 2664322 SOS 366484 HAS SOPS 366484 HAS SOUS 331499 HAS SOUPS 331499 WITH SCORE 331865.484
AT ITER 3493 NEW BEST:: SOT 2664321 SOS 366483 HAS SOPS 366483 HAS SOUS 331498 HAS SOUPS 331498 WITH SCORE 331864.483
AT ITER 3539 NEW BEST:: SOT 2664321 SOS 366362 HAS SOPS 366362 HAS SOUS 331498 HAS SOUPS 331498 WITH SCORE 331864.362
AT ITER 3541 NEW BEST:: SOT 2664310 SOS 366340 HAS SOPS 366340 HAS SOUS 331461 HAS SOUPS 331461 WITH SCORE 331827.34
AT ITER 3546 NEW BEST:: SOT 2664228 SOS 366176 HAS SOPS 366176 HAS SOUS 331461 HAS SOUPS 331461 WITH SCORE 331827.176
AT ITER 3548 NEW BEST:: SOT 2664127 SOS 366049 HAS SOPS 366049 HAS SOUS 331461 HAS SOUPS 331461 WITH SCORE 331827.049
AT ITER 3581 NEW BEST:: SOT 2664196 SOS 365994 HAS SOPS 365994 HAS SOUS 331406 HAS SOUPS 331406 WITH SCORE 331771.994
AT ITER 3590 NEW BEST:: SOT 2664168 SOS 365966 HAS SOPS 365966 HAS SOUS 331378 HAS SOUPS 331378 WITH SCORE 331743.966
AT ITER 3615 NEW BEST:: SOT 2664157 SOS 365944 HAS SOPS 365944 HAS SOUS 331367 HAS SOUPS 331367 WITH SCORE 331732.944
AT ITER 3630 NEW BEST:: SOT 2663997 SOS 365772 HAS SOPS 365772 HAS SOUS 331117 HAS SOUPS 331117 WITH SCORE 331482.772
AT ITER 3644 NEW BEST:: SOT 2663997 SOS 365712 HAS SOPS 365712 HAS SOUS 331057 HAS SOUPS 331057 WITH SCORE 331422.712
AT ITER 3689 NEW BEST:: SOT 2663974 SOS 365675 HAS SOPS 365675 HAS SOUS 331020 HAS SOUPS 331020 WITH SCORE 331385.675
AT ITER 3699 NEW BEST:: SOT 2663881 SOS 365534 HAS SOPS 365534 HAS SOUS 330879 HAS SOUPS 330879 WITH SCORE 331244.534
AT ITER 3729 NEW BEST:: SOT 2663711 SOS 365704 HAS SOPS 365704 HAS SOUS 330753 HAS SOUPS 330753 WITH SCORE 331118.704
AT ITER 3789 NEW BEST:: SOT 2663711 SOS 365701 HAS SOPS 365701 HAS SOUS 330750 HAS SOUPS 330750 WITH SCORE 331115.701
AT ITER 3801 NEW BEST:: SOT 2663711 SOS 365638 HAS SOPS 365638 HAS SOUS 330687 HAS SOUPS 330687 WITH SCORE 331052.638
AT ITER 3804 NEW BEST:: SOT 2663711 SOS 365573 HAS SOPS 365573 HAS SOUS 330622 HAS SOUPS 330622 WITH SCORE 330987.573
AT ITER 3833 NEW BEST:: SOT 2663560 SOS 365429 HAS SOPS 365429 HAS SOUS 330460 HAS SOUPS 330460 WITH SCORE 330825.429
AT ITER 3842 NEW BEST:: SOT 2663560 SOS 365429 HAS SOPS 365429 HAS SOUS 330222 HAS SOUPS 330222 WITH SCORE 330587.429
AT ITER 3862 NEW BEST:: SOT 2663555 SOS 365414 HAS SOPS 365414 HAS SOUS 330212 HAS SOUPS 330212 WITH SCORE 330577.414
AT ITER 3877 NEW BEST:: SOT 2663173 SOS 364846 HAS SOPS 364846 HAS SOUS 329636 HAS SOUPS 329636 WITH SCORE 330000.846
AT ITER 3901 NEW BEST:: SOT 2663001 SOS 364622 HAS SOPS 364622 HAS SOUS 329584 HAS SOUPS 329584 WITH SCORE 329948.622
AT ITER 3906 NEW BEST:: SOT 2663001 SOS 364547 HAS SOPS 364547 HAS SOUS 329509 HAS SOUPS 329509 WITH SCORE 329873.547
AT ITER 3931 NEW BEST:: SOT 2662553 SOS 363947 HAS SOPS 363947 HAS SOUS 328977 HAS SOUPS 328977 WITH SCORE 329340.947
AT ITER 3961 NEW BEST:: SOT 2662565 SOS 363971 HAS SOPS 363971 HAS SOUS 328911 HAS SOUPS 328911 WITH SCORE 329274.971
AT ITER 4038 NEW BEST:: SOT 2662468 SOS 363874 HAS SOPS 363874 HAS SOUS 328814 HAS SOUPS 328814 WITH SCORE 329177.874
AT ITER 4060 NEW BEST:: SOT 2662500 SOS 363794 HAS SOPS 363794 HAS SOUS 328806 HAS SOUPS 328806 WITH SCORE 329169.794
AT ITER 4062 NEW BEST:: SOT 2662468 SOS 363653 HAS SOPS 363653 HAS SOUS 328774 HAS SOUPS 328774 WITH SCORE 329137.653
AT ITER 4075 NEW BEST:: SOT 2662467 SOS 363652 HAS SOPS 363652 HAS SOUS 328773 HAS SOUPS 328773 WITH SCORE 329136.652
AT ITER 4084 NEW BEST:: SOT 2662140 SOS 363191 HAS SOPS 363191 HAS SOUS 328318 HAS SOUPS 328318 WITH SCORE 328681.191
AT ITER 4093 NEW BEST:: SOT 2661994 SOS 362899 HAS SOPS 362899 HAS SOUS 328026 HAS SOUPS 328026 WITH SCORE 328388.899
AT ITER 4097 NEW BEST:: SOT 2661994 SOS 362818 HAS SOPS 362818 HAS SOUS 327945 HAS SOUPS 327945 WITH SCORE 328307.818
AT ITER 4104 NEW BEST:: SOT 2661867 SOS 362758 HAS SOPS 362758 HAS SOUS 327818 HAS SOUPS 327818 WITH SCORE 328180.758
AT ITER 4145 NEW BEST:: SOT 2661897 SOS 362714 HAS SOPS 362714 HAS SOUS 327782 HAS SOUPS 327782 WITH SCORE 328144.714
AT ITER 4151 NEW BEST:: SOT 2661897 SOS 362653 HAS SOPS 362653 HAS SOUS 327721 HAS SOUPS 327721 WITH SCORE 328083.653
AT ITER 4177 NEW BEST:: SOT 2661919 SOS 362651 HAS SOPS 362651 HAS SOUS 327719 HAS SOUPS 327719 WITH SCORE 328081.651
AT ITER 4195 NEW BEST:: SOT 2661758 SOS 362725 HAS SOPS 362725 HAS SOUS 327558 HAS SOUPS 327558 WITH SCORE 327920.725
AT ITER 4206 NEW BEST:: SOT 2661758 SOS 362705 HAS SOPS 362705 HAS SOUS 327548 HAS SOUPS 327548 WITH SCORE 327910.705
AT ITER 4235 NEW BEST:: SOT 2661701 SOS 362591 HAS SOPS 362591 HAS SOUS 327434 HAS SOUPS 327434 WITH SCORE 327796.591
AT ITER 4257 NEW BEST:: SOT 2661519 SOS 362361 HAS SOPS 362361 HAS SOUS 327204 HAS SOUPS 327204 WITH SCORE 327566.361
AT ITER 4272 NEW BEST:: SOT 2661519 SOS 362361 HAS SOPS 362361 HAS SOUS 327203 HAS SOUPS 327203 WITH SCORE 327565.361
AT ITER 4288 NEW BEST:: SOT 2661519 SOS 362361 HAS SOPS 362361 HAS SOUS 327063 HAS SOUPS 327063 WITH SCORE 327425.361
AT ITER 4299 NEW BEST:: SOT 2661512 SOS 362297 HAS SOPS 362297 HAS SOUS 327006 HAS SOUPS 327006 WITH SCORE 327368.297
AT ITER 4300 NEW BEST:: SOT 2661477 SOS 362262 HAS SOPS 362262 HAS SOUS 326971 HAS SOUPS 326971 WITH SCORE 327333.262
AT ITER 4309 NEW BEST:: SOT 2661479 SOS 362233 HAS SOPS 362233 HAS SOUS 326945 HAS SOUPS 326945 WITH SCORE 327307.233
AT ITER 4315 NEW BEST:: SOT 2661467 SOS 362221 HAS SOPS 362221 HAS SOUS 326933 HAS SOUPS 326933 WITH SCORE 327295.221
AT ITER 4343 NEW BEST:: SOT 2661466 SOS 362220 HAS SOPS 362220 HAS SOUS 326932 HAS SOUPS 326932 WITH SCORE 327294.22
AT ITER 4379 NEW BEST:: SOT 2661146 SOS 361900 HAS SOPS 361900 HAS SOUS 326612 HAS SOUPS 326612 WITH SCORE 326973.9
AT ITER 4400 NEW BEST:: SOT 2661334 SOS 361912 HAS SOPS 361912 HAS SOUS 326448 HAS SOUPS 326448 WITH SCORE 326809.912
AT ITER 4403 NEW BEST:: SOT 2661303 SOS 361976 HAS SOPS 361976 HAS SOUS 326386 HAS SOUPS 326386 WITH SCORE 326747.976
AT ITER 4421 NEW BEST:: SOT 2661287 SOS 361944 HAS SOPS 361944 HAS SOUS 326354 HAS SOUPS 326354 WITH SCORE 326715.944
AT ITER 4472 NEW BEST:: SOT 2661115 SOS 361600 HAS SOPS 361600 HAS SOUS 326182 HAS SOUPS 326182 WITH SCORE 326543.6
AT ITER 4488 NEW BEST:: SOT 2661244 SOS 361433 HAS SOPS 361433 HAS SOUS 326015 HAS SOUPS 326015 WITH SCORE 326376.433
AT ITER 4493 NEW BEST:: SOT 2661244 SOS 361421 HAS SOPS 361421 HAS SOUS 326003 HAS SOUPS 326003 WITH SCORE 326364.421
AT ITER 4510 NEW BEST:: SOT 2661126 SOS 360882 HAS SOPS 360882 HAS SOUS 325767 HAS SOUPS 325767 WITH SCORE 326127.882
AT ITER 4546 NEW BEST:: SOT 2661157 SOS 360779 HAS SOPS 360779 HAS SOUS 325697 HAS SOUPS 325697 WITH SCORE 326057.779
AT ITER 4594 NEW BEST:: SOT 2660982 SOS 360717 HAS SOPS 360717 HAS SOUS 325521 HAS SOUPS 325521 WITH SCORE 325881.717
AT ITER 4615 NEW BEST:: SOT 2660934 SOS 360431 HAS SOPS 360431 HAS SOUS 325330 HAS SOUPS 325330 WITH SCORE 325690.431
AT ITER 4649 NEW BEST:: SOT 2660776 SOS 360184 HAS SOPS 360184 HAS SOUS 325083 HAS SOUPS 325083 WITH SCORE 325443.184
AT ITER 4721 NEW BEST:: SOT 2660728 SOS 360004 HAS SOPS 360004 HAS SOUS 324987 HAS SOUPS 324987 WITH SCORE 325347.004
AT ITER 4724 NEW BEST:: SOT 2660565 SOS 359944 HAS SOPS 359944 HAS SOUS 324824 HAS SOUPS 324824 WITH SCORE 325183.944
AT ITER 4738 NEW BEST:: SOT 2660565 SOS 359944 HAS SOPS 359944 HAS SOUS 324788 HAS SOUPS 324788 WITH SCORE 325147.944
AT ITER 4772 NEW BEST:: SOT 2660565 SOS 359921 HAS SOPS 359921 HAS SOUS 324765 HAS SOUPS 324765 WITH SCORE 325124.921
AT ITER 4775 NEW BEST:: SOT 2660213 SOS 359649 HAS SOPS 359649 HAS SOUS 324527 HAS SOUPS 324527 WITH SCORE 324886.649
AT ITER 4791 NEW BEST:: SOT 2660270 SOS 359648 HAS SOPS 359648 HAS SOUS 324525 HAS SOUPS 324525 WITH SCORE 324884.648
AT ITER 4805 NEW BEST:: SOT 2660244 SOS 359596 HAS SOPS 359596 HAS SOUS 324473 HAS SOUPS 324473 WITH SCORE 324832.596
AT ITER 4826 NEW BEST:: SOT 2660224 SOS 359556 HAS SOPS 359556 HAS SOUS 324433 HAS SOUPS 324433 WITH SCORE 324792.556
AT ITER 4828 NEW BEST:: SOT 2660273 SOS 359402 HAS SOPS 359402 HAS SOUS 324398 HAS SOUPS 324398 WITH SCORE 324757.402
AT ITER 4839 NEW BEST:: SOT 2660131 SOS 359191 HAS SOPS 359191 HAS SOUS 324247 HAS SOUPS 324247 WITH SCORE 324606.191
AT ITER 4891 NEW BEST:: SOT 2660131 SOS 359137 HAS SOPS 359137 HAS SOUS 324193 HAS SOUPS 324193 WITH SCORE 324552.137
AT ITER 4900 NEW BEST:: SOT 2660083 SOS 358967 HAS SOPS 358967 HAS SOUS 324097 HAS SOUPS 324097 WITH SCORE 324455.967
AT ITER 4918 NEW BEST:: SOT 2659939 SOS 358904 HAS SOPS 358904 HAS SOUS 324085 HAS SOUPS 324085 WITH SCORE 324443.904
AT ITER 4945 NEW BEST:: SOT 2659870 SOS 358766 HAS SOPS 358766 HAS SOUS 323947 HAS SOUPS 323947 WITH SCORE 324305.766
AT ITER 4960 NEW BEST:: SOT 2659858 SOS 358729 HAS SOPS 358729 HAS SOUS 323910 HAS SOUPS 323910 WITH SCORE 324268.729
AT ITER 4986 NEW BEST:: SOT 2659841 SOS 358481 HAS SOPS 358481 HAS SOUS 323871 HAS SOUPS 323871 WITH SCORE 324229.481
AT ITER 5038 NEW BEST:: SOT 2659841 SOS 358480 HAS SOPS 358480 HAS SOUS 323870 HAS SOUPS 323870 WITH SCORE 324228.48
AT ITER 5045 NEW BEST:: SOT 2659630 SOS 358087 HAS SOPS 358087 HAS SOUS 323477 HAS SOUPS 323477 WITH SCORE 323835.087
AT ITER 5091 NEW BEST:: SOT 2659585 SOS 357997 HAS SOPS 357997 HAS SOUS 323422 HAS SOUPS 323422 WITH SCORE 323779.997
AT ITER 5137 NEW BEST:: SOT 2659489 SOS 357660 HAS SOPS 357660 HAS SOUS 323205 HAS SOUPS 323205 WITH SCORE 323562.66
AT ITER 5150 NEW BEST:: SOT 2659488 SOS 357659 HAS SOPS 357659 HAS SOUS 323204 HAS SOUPS 323204 WITH SCORE 323561.659
AT ITER 5159 NEW BEST:: SOT 2659422 SOS 357527 HAS SOPS 357527 HAS SOUS 323072 HAS SOUPS 323072 WITH SCORE 323429.527
AT ITER 5162 NEW BEST:: SOT 2659396 SOS 357475 HAS SOPS 357475 HAS SOUS 323046 HAS SOUPS 323046 WITH SCORE 323403.475
AT ITER 5179 NEW BEST:: SOT 2659396 SOS 357470 HAS SOPS 357470 HAS SOUS 323041 HAS SOUPS 323041 WITH SCORE 323398.47
AT ITER 5200 NEW BEST:: SOT 2659379 SOS 357487 HAS SOPS 357487 HAS SOUS 323024 HAS SOUPS 323024 WITH SCORE 323381.487
AT ITER 5204 NEW BEST:: SOT 2659315 SOS 357423 HAS SOPS 357423 HAS SOUS 322960 HAS SOUPS 322960 WITH SCORE 323317.423
AT ITER 5214 NEW BEST:: SOT 2659374 SOS 357577 HAS SOPS 357577 HAS SOUS 322846 HAS SOUPS 322846 WITH SCORE 323203.577
AT ITER 5238 NEW BEST:: SOT 2659373 SOS 357576 HAS SOPS 357576 HAS SOUS 322845 HAS SOUPS 322845 WITH SCORE 323202.576
AT ITER 5291 NEW BEST:: SOT 2659352 SOS 357693 HAS SOPS 357693 HAS SOUS 322665 HAS SOUPS 322665 WITH SCORE 323022.693
AT ITER 5313 NEW BEST:: SOT 2659242 SOS 357642 HAS SOPS 357642 HAS SOUS 322616 HAS SOUPS 322616 WITH SCORE 322973.642
AT ITER 5412 NEW BEST:: SOT 2659455 SOS 357630 HAS SOPS 357630 HAS SOUS 322604 HAS SOUPS 322604 WITH SCORE 322961.63
AT ITER 5426 NEW BEST:: SOT 2659386 SOS 357354 HAS SOPS 357354 HAS SOUS 322466 HAS SOUPS 322466 WITH SCORE 322823.354
AT ITER 5437 NEW BEST:: SOT 2659369 SOS 357228 HAS SOPS 357228 HAS SOUS 322432 HAS SOUPS 322432 WITH SCORE 322789.228
AT ITER 5449 NEW BEST:: SOT 2659387 SOS 357024 HAS SOPS 357024 HAS SOUS 322352 HAS SOUPS 322352 WITH SCORE 322709.024
AT ITER 5488 NEW BEST:: SOT 2659344 SOS 356981 HAS SOPS 356981 HAS SOUS 322309 HAS SOUPS 322309 WITH SCORE 322665.981
AT ITER 5553 NEW BEST:: SOT 2659291 SOS 357014 HAS SOPS 357014 HAS SOUS 322235 HAS SOUPS 322235 WITH SCORE 322592.014
AT ITER 5554 NEW BEST:: SOT 2659291 SOS 357014 HAS SOPS 357014 HAS SOUS 322190 HAS SOUPS 322190 WITH SCORE 322547.014
AT ITER 5565 NEW BEST:: SOT 2659245 SOS 356922 HAS SOPS 356922 HAS SOUS 322143 HAS SOUPS 322143 WITH SCORE 322499.922
AT ITER 5622 NEW BEST:: SOT 2659245 SOS 356897 HAS SOPS 356897 HAS SOUS 322142 HAS SOUPS 322142 WITH SCORE 322498.897
AT ITER 5625 NEW BEST:: SOT 2659275 SOS 356877 HAS SOPS 356877 HAS SOUS 322122 HAS SOUPS 322122 WITH SCORE 322478.877
AT ITER 5673 NEW BEST:: SOT 2659345 SOS 357017 HAS SOPS 357017 HAS SOUS 322108 HAS SOUPS 322108 WITH SCORE 322465.017
AT ITER 5723 NEW BEST:: SOT 2659319 SOS 356981 HAS SOPS 356981 HAS SOUS 322072 HAS SOUPS 322072 WITH SCORE 322428.981
AT ITER 5754 NEW BEST:: SOT 2659352 SOS 356902 HAS SOPS 356902 HAS SOUS 321993 HAS SOUPS 321993 WITH SCORE 322349.902
AT ITER 5769 NEW BEST:: SOT 2659352 SOS 356902 HAS SOPS 356902 HAS SOUS 321990 HAS SOUPS 321990 WITH SCORE 322346.902
AT ITER 5810 NEW BEST:: SOT 2659364 SOS 356900 HAS SOPS 356900 HAS SOUS 321988 HAS SOUPS 321988 WITH SCORE 322344.9
AT ITER 5812 NEW BEST:: SOT 2659364 SOS 356805 HAS SOPS 356805 HAS SOUS 321893 HAS SOUPS 321893 WITH SCORE 322249.805
AT ITER 5836 NEW BEST:: SOT 2659198 SOS 356473 HAS SOPS 356473 HAS SOUS 321395 HAS SOUPS 321395 WITH SCORE 321751.473
AT ITER 5870 NEW BEST:: SOT 2659245 SOS 356352 HAS SOPS 356352 HAS SOUS 321274 HAS SOUPS 321274 WITH SCORE 321630.352
AT ITER 5901 NEW BEST:: SOT 2659239 SOS 356316 HAS SOPS 356316 HAS SOUS 321209 HAS SOUPS 321209 WITH SCORE 321565.316
AT ITER 5916 NEW BEST:: SOT 2659183 SOS 356288 HAS SOPS 356288 HAS SOUS 321153 HAS SOUPS 321153 WITH SCORE 321509.288
AT ITER 5944 NEW BEST:: SOT 2659183 SOS 356270 HAS SOPS 356270 HAS SOUS 321135 HAS SOUPS 321135 WITH SCORE 321491.27
AT ITER 5994 NEW BEST:: SOT 2659126 SOS 356028 HAS SOPS 356028 HAS SOUS 321024 HAS SOUPS 321024 WITH SCORE 321380.028
AT ITER 5997 NEW BEST:: SOT 2659078 SOS 356016 HAS SOPS 356016 HAS SOUS 321012 HAS SOUPS 321012 WITH SCORE 321368.016
AT ITER 6084 NEW BEST:: SOT 2658842 SOS 355662 HAS SOPS 355662 HAS SOUS 320656 HAS SOUPS 320656 WITH SCORE 321011.662
AT ITER 6106 NEW BEST:: SOT 2658661 SOS 355721 HAS SOPS 355721 HAS SOUS 320595 HAS SOUPS 320595 WITH SCORE 320950.721
AT ITER 6127 NEW BEST:: SOT 2658566 SOS 355599 HAS SOPS 355599 HAS SOUS 320473 HAS SOUPS 320473 WITH SCORE 320828.599
AT ITER 6130 NEW BEST:: SOT 2658524 SOS 355557 HAS SOPS 355557 HAS SOUS 320431 HAS SOUPS 320431 WITH SCORE 320786.557
AT ITER 6134 NEW BEST:: SOT 2658400 SOS 355433 HAS SOPS 355433 HAS SOUS 320245 HAS SOUPS 320245 WITH SCORE 320600.433
AT ITER 6135 NEW BEST:: SOT 2658400 SOS 355375 HAS SOPS 355375 HAS SOUS 320187 HAS SOUPS 320187 WITH SCORE 320542.375
AT ITER 6141 NEW BEST:: SOT 2658322 SOS 355171 HAS SOPS 355171 HAS SOUS 319983 HAS SOUPS 319983 WITH SCORE 320338.171
AT ITER 6151 NEW BEST:: SOT 2658294 SOS 355115 HAS SOPS 355115 HAS SOUS 319955 HAS SOUPS 319955 WITH SCORE 320310.115
AT ITER 6250 NEW BEST:: SOT 2658337 SOS 355201 HAS SOPS 355201 HAS SOUS 319843 HAS SOUPS 319843 WITH SCORE 320198.201
AT ITER 6254 NEW BEST:: SOT 2658337 SOS 355122 HAS SOPS 355122 HAS SOUS 319764 HAS SOUPS 319764 WITH SCORE 320119.122
AT ITER 6269 NEW BEST:: SOT 2658337 SOS 355121 HAS SOPS 355121 HAS SOUS 319763 HAS SOUPS 319763 WITH SCORE 320118.121
AT ITER 6312 NEW BEST:: SOT 2658337 SOS 355108 HAS SOPS 355108 HAS SOUS 319750 HAS SOUPS 319750 WITH SCORE 320105.108
AT ITER 6370 NEW BEST:: SOT 2658336 SOS 355107 HAS SOPS 355107 HAS SOUS 319749 HAS SOUPS 319749 WITH SCORE 320104.107
AT ITER 6371 NEW BEST:: SOT 2658260 SOS 355031 HAS SOPS 355031 HAS SOUS 319673 HAS SOUPS 319673 WITH SCORE 320028.031
AT ITER 6414 NEW BEST:: SOT 2658260 SOS 355011 HAS SOPS 355011 HAS SOUS 319653 HAS SOUPS 319653 WITH SCORE 320008.011
AT ITER 6420 NEW BEST:: SOT 2658260 SOS 354927 HAS SOPS 354927 HAS SOUS 319569 HAS SOUPS 319569 WITH SCORE 319923.927
AT ITER 6461 NEW BEST:: SOT 2658157 SOS 354462 HAS SOPS 354462 HAS SOUS 319424 HAS SOUPS 319424 WITH SCORE 319778.462
AT ITER 6505 NEW BEST:: SOT 2658157 SOS 354443 HAS SOPS 354443 HAS SOUS 319405 HAS SOUPS 319405 WITH SCORE 319759.443
AT ITER 6512 NEW BEST:: SOT 2658051 SOS 354491 HAS SOPS 354491 HAS SOUS 319263 HAS SOUPS 319263 WITH SCORE 319617.491
AT ITER 6562 NEW BEST:: SOT 2657986 SOS 354426 HAS SOPS 354426 HAS SOUS 319198 HAS SOUPS 319198 WITH SCORE 319552.426
AT ITER 6565 NEW BEST:: SOT 2657918 SOS 354290 HAS SOPS 354290 HAS SOUS 319198 HAS SOUPS 319198 WITH SCORE 319552.29
AT ITER 6570 NEW BEST:: SOT 2657826 SOS 354106 HAS SOPS 354106 HAS SOUS 318879 HAS SOUPS 318879 WITH SCORE 319233.106
AT ITER 6646 NEW BEST:: SOT 2657826 SOS 354041 HAS SOPS 354041 HAS SOUS 318879 HAS SOUPS 318879 WITH SCORE 319233.041
AT ITER 6660 NEW BEST:: SOT 2657676 SOS 353741 HAS SOPS 353741 HAS SOUS 318729 HAS SOUPS 318729 WITH SCORE 319082.741
AT ITER 6668 NEW BEST:: SOT 2657659 SOS 353740 HAS SOPS 353740 HAS SOUS 318728 HAS SOUPS 318728 WITH SCORE 319081.74
AT ITER 6719 NEW BEST:: SOT 2657531 SOS 353484 HAS SOPS 353484 HAS SOUS 318615 HAS SOUPS 318615 WITH SCORE 318968.484
AT ITER 6741 NEW BEST:: SOT 2657388 SOS 353198 HAS SOPS 353198 HAS SOUS 318508 HAS SOUPS 318508 WITH SCORE 318861.198
AT ITER 6782 NEW BEST:: SOT 2657388 SOS 353155 HAS SOPS 353155 HAS SOUS 318508 HAS SOUPS 318508 WITH SCORE 318861.155
AT ITER 6784 NEW BEST:: SOT 2657258 SOS 353155 HAS SOPS 353155 HAS SOUS 318378 HAS SOUPS 318378 WITH SCORE 318731.155
AT ITER 6801 NEW BEST:: SOT 2657258 SOS 353057 HAS SOPS 353057 HAS SOUS 318280 HAS SOUPS 318280 WITH SCORE 318633.057
AT ITER 6866 NEW BEST:: SOT 2657258 SOS 353057 HAS SOPS 353057 HAS SOUS 318257 HAS SOUPS 318257 WITH SCORE 318610.057
AT ITER 6872 NEW BEST:: SOT 2657166 SOS 352968 HAS SOPS 352968 HAS SOUS 318168 HAS SOUPS 318168 WITH SCORE 318520.968
AT ITER 6887 NEW BEST:: SOT 2657247 SOS 353002 HAS SOPS 353002 HAS SOUS 318155 HAS SOUPS 318155 WITH SCORE 318508.002
AT ITER 6932 NEW BEST:: SOT 2657253 SOS 352993 HAS SOPS 352993 HAS SOUS 318146 HAS SOUPS 318146 WITH SCORE 318498.993
AT ITER 6933 NEW BEST:: SOT 2657253 SOS 352992 HAS SOPS 352992 HAS SOUS 318145 HAS SOUPS 318145 WITH SCORE 318497.992
AT ITER 6935 NEW BEST:: SOT 2657206 SOS 352853 HAS SOPS 352853 HAS SOUS 318051 HAS SOUPS 318051 WITH SCORE 318403.853
AT ITER 6967 NEW BEST:: SOT 2657206 SOS 352911 HAS SOPS 352911 HAS SOUS 318033 HAS SOUPS 318033 WITH SCORE 318385.911
AT ITER 7045 NEW BEST:: SOT 2657206 SOS 352874 HAS SOPS 352874 HAS SOUS 317996 HAS SOUPS 317996 WITH SCORE 318348.874
AT ITER 7067 NEW BEST:: SOT 2657206 SOS 352874 HAS SOPS 352874 HAS SOUS 317930 HAS SOUPS 317930 WITH SCORE 318282.874
AT ITER 7146 NEW BEST:: SOT 2657143 SOS 353059 HAS SOPS 353059 HAS SOUS 317904 HAS SOUPS 317904 WITH SCORE 318257.059
AT ITER 7158 NEW BEST:: SOT 2657061 SOS 353049 HAS SOPS 353049 HAS SOUS 317904 HAS SOUPS 317904 WITH SCORE 318257.049
AT ITER 7253 NEW BEST:: SOT 2656996 SOS 352936 HAS SOPS 352936 HAS SOUS 317791 HAS SOUPS 317791 WITH SCORE 318143.936
AT ITER 7283 NEW BEST:: SOT 2656942 SOS 352876 HAS SOPS 352876 HAS SOUS 317731 HAS SOUPS 317731 WITH SCORE 318083.876
AT ITER 7308 NEW BEST:: SOT 2656837 SOS 352875 HAS SOPS 352875 HAS SOUS 317730 HAS SOUPS 317730 WITH SCORE 318082.875
AT ITER 7313 NEW BEST:: SOT 2656837 SOS 352867 HAS SOPS 352867 HAS SOUS 317722 HAS SOUPS 317722 WITH SCORE 318074.867
AT ITER 7384 NEW BEST:: SOT 2656831 SOS 352855 HAS SOPS 352855 HAS SOUS 317713 HAS SOUPS 317713 WITH SCORE 318065.855
AT ITER 7458 NEW BEST:: SOT 2656807 SOS 352807 HAS SOPS 352807 HAS SOUS 317665 HAS SOUPS 317665 WITH SCORE 318017.807
AT ITER 7468 NEW BEST:: SOT 2656573 SOS 352488 HAS SOPS 352488 HAS SOUS 317506 HAS SOUPS 317506 WITH SCORE 317858.488
AT ITER 7525 NEW BEST:: SOT 2656573 SOS 352386 HAS SOPS 352386 HAS SOUS 317404 HAS SOUPS 317404 WITH SCORE 317756.386
AT ITER 7633 NEW BEST:: SOT 2656505 SOS 352266 HAS SOPS 352266 HAS SOUS 317298 HAS SOUPS 317298 WITH SCORE 317650.266
AT ITER 7671 NEW BEST:: SOT 2656323 SOS 351753 HAS SOPS 351753 HAS SOUS 316967 HAS SOUPS 316967 WITH SCORE 317318.753
AT ITER 7679 NEW BEST:: SOT 2656089 SOS 351285 HAS SOPS 351285 HAS SOUS 316618 HAS SOUPS 316618 WITH SCORE 316969.285
AT ITER 7683 NEW BEST:: SOT 2655899 SOS 350905 HAS SOPS 350905 HAS SOUS 316174 HAS SOUPS 316174 WITH SCORE 316524.905
AT ITER 7747 NEW BEST:: SOT 2655889 SOS 350885 HAS SOPS 350885 HAS SOUS 316154 HAS SOUPS 316154 WITH SCORE 316504.885
AT ITER 7757 NEW BEST:: SOT 2655735 SOS 350174 HAS SOPS 350174 HAS SOUS 315436 HAS SOUPS 315436 WITH SCORE 315786.174
AT ITER 7796 NEW BEST:: SOT 2655734 SOS 350172 HAS SOPS 350172 HAS SOUS 315434 HAS SOUPS 315434 WITH SCORE 315784.172
AT ITER 7804 NEW BEST:: SOT 2655683 SOS 350070 HAS SOPS 350070 HAS SOUS 315366 HAS SOUPS 315366 WITH SCORE 315716.07
AT ITER 7832 NEW BEST:: SOT 2655604 SOS 349991 HAS SOPS 349991 HAS SOUS 315287 HAS SOUPS 315287 WITH SCORE 315636.991
AT ITER 7838 NEW BEST:: SOT 2655604 SOS 349991 HAS SOPS 349991 HAS SOUS 315221 HAS SOUPS 315221 WITH SCORE 315570.991
AT ITER 7875 NEW BEST:: SOT 2655602 SOS 349989 HAS SOPS 349989 HAS SOUS 315221 HAS SOUPS 315221 WITH SCORE 315570.989
AT ITER 7939 NEW BEST:: SOT 2655602 SOS 349983 HAS SOPS 349983 HAS SOUS 315215 HAS SOUPS 315215 WITH SCORE 315564.983
AT ITER 7948 NEW BEST:: SOT 2655547 SOS 349928 HAS SOPS 349928 HAS SOUS 315215 HAS SOUPS 315215 WITH SCORE 315564.928
AT ITER 7982 NEW BEST:: SOT 2655488 SOS 349801 HAS SOPS 349801 HAS SOUS 315156 HAS SOUPS 315156 WITH SCORE 315505.801
AT ITER 8026 NEW BEST:: SOT 2655447 SOS 349970 HAS SOPS 349970 HAS SOUS 315099 HAS SOUPS 315099 WITH SCORE 315448.97
AT ITER 8044 NEW BEST:: SOT 2655425 SOS 349926 HAS SOPS 349926 HAS SOUS 315066 HAS SOUPS 315066 WITH SCORE 315415.926
AT ITER 8046 NEW BEST:: SOT 2655557 SOS 349997 HAS SOPS 349997 HAS SOUS 315053 HAS SOUPS 315053 WITH SCORE 315402.997
AT ITER 8058 NEW BEST:: SOT 2655533 SOS 349949 HAS SOPS 349949 HAS SOUS 315005 HAS SOUPS 315005 WITH SCORE 315354.949
AT ITER 8066 NEW BEST:: SOT 2655337 SOS 349557 HAS SOPS 349557 HAS SOUS 314808 HAS SOUPS 314808 WITH SCORE 315157.557
AT ITER 8074 NEW BEST:: SOT 2655324 SOS 349621 HAS SOPS 349621 HAS SOUS 314795 HAS SOUPS 314795 WITH SCORE 315144.621
AT ITER 8092 NEW BEST:: SOT 2655293 SOS 349590 HAS SOPS 349590 HAS SOUS 314733 HAS SOUPS 314733 WITH SCORE 315082.59
AT ITER 8093 NEW BEST:: SOT 2655177 SOS 349597 HAS SOPS 349597 HAS SOUS 314617 HAS SOUPS 314617 WITH SCORE 314966.597
AT ITER 8101 NEW BEST:: SOT 2655246 SOS 349665 HAS SOPS 349665 HAS SOUS 314616 HAS SOUPS 314616 WITH SCORE 314965.665
AT ITER 8108 NEW BEST:: SOT 2655206 SOS 349625 HAS SOPS 349625 HAS SOUS 314576 HAS SOUPS 314576 WITH SCORE 314925.625
AT ITER 8113 NEW BEST:: SOT 2655189 SOS 349624 HAS SOPS 349624 HAS SOUS 314575 HAS SOUPS 314575 WITH SCORE 314924.624
AT ITER 8172 NEW BEST:: SOT 2655189 SOS 349604 HAS SOPS 349604 HAS SOUS 314555 HAS SOUPS 314555 WITH SCORE 314904.604
AT ITER 8287 NEW BEST:: SOT 2655184 SOS 349580 HAS SOPS 349580 HAS SOUS 314545 HAS SOUPS 314545 WITH SCORE 314894.58
AT ITER 8396 NEW BEST:: SOT 2654888 SOS 348840 HAS SOPS 348840 HAS SOUS 314248 HAS SOUPS 314248 WITH SCORE 314596.84
AT ITER 8419 NEW BEST:: SOT 2654730 SOS 348524 HAS SOPS 348524 HAS SOUS 314192 HAS SOUPS 314192 WITH SCORE 314540.524
AT ITER 8457 NEW BEST:: SOT 2654660 SOS 348384 HAS SOPS 348384 HAS SOUS 314087 HAS SOUPS 314087 WITH SCORE 314435.384
AT ITER 8462 NEW BEST:: SOT 2654454 SOS 348075 HAS SOPS 348075 HAS SOUS 313778 HAS SOUPS 313778 WITH SCORE 314126.075
AT ITER 8470 NEW BEST:: SOT 2654454 SOS 348045 HAS SOPS 348045 HAS SOUS 313778 HAS SOUPS 313778 WITH SCORE 314126.045
AT ITER 8495 NEW BEST:: SOT 2654454 SOS 347997 HAS SOPS 347997 HAS SOUS 313730 HAS SOUPS 313730 WITH SCORE 314077.997
AT ITER 8516 NEW BEST:: SOT 2654411 SOS 347911 HAS SOPS 347911 HAS SOUS 313668 HAS SOUPS 313668 WITH SCORE 314015.911
AT ITER 8521 NEW BEST:: SOT 2654345 SOS 347878 HAS SOPS 347878 HAS SOUS 313602 HAS SOUPS 313602 WITH SCORE 313949.878
AT ITER 8545 NEW BEST:: SOT 2654345 SOS 347796 HAS SOPS 347796 HAS SOUS 313520 HAS SOUPS 313520 WITH SCORE 313867.796
AT ITER 8596 NEW BEST:: SOT 2654343 SOS 347793 HAS SOPS 347793 HAS SOUS 313517 HAS SOUPS 313517 WITH SCORE 313864.793
AT ITER 8633 NEW BEST:: SOT 2654190 SOS 347678 HAS SOPS 347678 HAS SOUS 313402 HAS SOUPS 313402 WITH SCORE 313749.678
AT ITER 8679 NEW BEST:: SOT 2654065 SOS 347574 HAS SOPS 347574 HAS SOUS 313298 HAS SOUPS 313298 WITH SCORE 313645.574
AT ITER 8730 NEW BEST:: SOT 2654062 SOS 347569 HAS SOPS 347569 HAS SOUS 313293 HAS SOUPS 313293 WITH SCORE 313640.569
AT ITER 8751 NEW BEST:: SOT 2654050 SOS 347545 HAS SOPS 347545 HAS SOUS 313269 HAS SOUPS 313269 WITH SCORE 313616.545
AT ITER 8757 NEW BEST:: SOT 2654050 SOS 347488 HAS SOPS 347488 HAS SOUS 313212 HAS SOUPS 313212 WITH SCORE 313559.488
AT ITER 8769 NEW BEST:: SOT 2654149 SOS 346891 HAS SOPS 346891 HAS SOUS 313096 HAS SOUPS 313096 WITH SCORE 313442.891
AT ITER 8780 NEW BEST:: SOT 2654207 SOS 346387 HAS SOPS 346387 HAS SOUS 312899 HAS SOUPS 312899 WITH SCORE 313245.387
AT ITER 8786 NEW BEST:: SOT 2654158 SOS 346495 HAS SOPS 346495 HAS SOUS 312850 HAS SOUPS 312850 WITH SCORE 313196.495
AT ITER 8807 NEW BEST:: SOT 2654010 SOS 346199 HAS SOPS 346199 HAS SOUS 312554 HAS SOUPS 312554 WITH SCORE 312900.199
AT ITER 8820 NEW BEST:: SOT 2654010 SOS 346177 HAS SOPS 346177 HAS SOUS 312532 HAS SOUPS 312532 WITH SCORE 312878.177
AT ITER 8938 NEW BEST:: SOT 2653943 SOS 346114 HAS SOPS 346114 HAS SOUS 312469 HAS SOUPS 312469 WITH SCORE 312815.114
AT ITER 8986 NEW BEST:: SOT 2653931 SOS 346457 HAS SOPS 346457 HAS SOUS 312255 HAS SOUPS 312255 WITH SCORE 312601.457
AT ITER 9024 NEW BEST:: SOT 2653944 SOS 346456 HAS SOPS 346456 HAS SOUS 312254 HAS SOUPS 312254 WITH SCORE 312600.456
AT ITER 9043 NEW BEST:: SOT 2653944 SOS 346429 HAS SOPS 346429 HAS SOUS 312227 HAS SOUPS 312227 WITH SCORE 312573.429
AT ITER 9045 NEW BEST:: SOT 2653942 SOS 346427 HAS SOPS 346427 HAS SOUS 312225 HAS SOUPS 312225 WITH SCORE 312571.427
AT ITER 9051 NEW BEST:: SOT 2653942 SOS 346399 HAS SOPS 346399 HAS SOUS 312197 HAS SOUPS 312197 WITH SCORE 312543.399
AT ITER 9061 NEW BEST:: SOT 2653942 SOS 346398 HAS SOPS 346398 HAS SOUS 312196 HAS SOUPS 312196 WITH SCORE 312542.398
AT ITER 9072 NEW BEST:: SOT 2653942 SOS 346343 HAS SOPS 346343 HAS SOUS 312141 HAS SOUPS 312141 WITH SCORE 312487.343
AT ITER 9082 NEW BEST:: SOT 2653876 SOS 346211 HAS SOPS 346211 HAS SOUS 312068 HAS SOUPS 312068 WITH SCORE 312414.211
AT ITER 9159 NEW BEST:: SOT 2653876 SOS 346149 HAS SOPS 346149 HAS SOUS 312068 HAS SOUPS 312068 WITH SCORE 312414.149
AT ITER 9177 NEW BEST:: SOT 2653418 SOS 345441 HAS SOPS 345441 HAS SOUS 311425 HAS SOUPS 311425 WITH SCORE 311770.441
AT ITER 9178 NEW BEST:: SOT 2653349 SOS 345352 HAS SOPS 345352 HAS SOUS 311336 HAS SOUPS 311336 WITH SCORE 311681.352
AT ITER 9191 NEW BEST:: SOT 2653349 SOS 345346 HAS SOPS 345346 HAS SOUS 311330 HAS SOUPS 311330 WITH SCORE 311675.346
AT ITER 9201 NEW BEST:: SOT 2653349 SOS 345145 HAS SOPS 345145 HAS SOUS 311330 HAS SOUPS 311330 WITH SCORE 311675.145
AT ITER 9229 NEW BEST:: SOT 2653344 SOS 345146 HAS SOPS 345146 HAS SOUS 311323 HAS SOUPS 311323 WITH SCORE 311668.146
AT ITER 9259 NEW BEST:: SOT 2653342 SOS 345142 HAS SOPS 345142 HAS SOUS 311319 HAS SOUPS 311319 WITH SCORE 311664.142
AT ITER 9288 NEW BEST:: SOT 2653223 SOS 345141 HAS SOPS 345141 HAS SOUS 311318 HAS SOUPS 311318 WITH SCORE 311663.141
AT ITER 9305 NEW BEST:: SOT 2653001 SOS 344919 HAS SOPS 344919 HAS SOUS 311096 HAS SOUPS 311096 WITH SCORE 311440.919
AT ITER 9439 NEW BEST:: SOT 2653001 SOS 344871 HAS SOPS 344871 HAS SOUS 311096 HAS SOUPS 311096 WITH SCORE 311440.871
AT ITER 9474 NEW BEST:: SOT 2652984 SOS 344790 HAS SOPS 344790 HAS SOUS 311062 HAS SOUPS 311062 WITH SCORE 311406.79
AT ITER 9479 NEW BEST:: SOT 2653008 SOS 344838 HAS SOPS 344838 HAS SOUS 310994 HAS SOUPS 310994 WITH SCORE 311338.838
AT ITER 9484 NEW BEST:: SOT 2652843 SOS 344612 HAS SOPS 344612 HAS SOUS 310946 HAS SOUPS 310946 WITH SCORE 311290.612
AT ITER 9495 NEW BEST:: SOT 2652421 SOS 343693 HAS SOPS 343693 HAS SOUS 310449 HAS SOUPS 310449 WITH SCORE 310792.693
AT ITER 9500 NEW BEST:: SOT 2652278 SOS 343407 HAS SOPS 343407 HAS SOUS 310163 HAS SOUPS 310163 WITH SCORE 310506.407
AT ITER 9504 NEW BEST:: SOT 2652204 SOS 343296 HAS SOPS 343296 HAS SOUS 310052 HAS SOUPS 310052 WITH SCORE 310395.296
AT ITER 9511 NEW BEST:: SOT 2652186 SOS 343242 HAS SOPS 343242 HAS SOUS 309998 HAS SOUPS 309998 WITH SCORE 310341.242
AT ITER 9530 NEW BEST:: SOT 2652144 SOS 343200 HAS SOPS 343200 HAS SOUS 309956 HAS SOUPS 309956 WITH SCORE 310299.2
AT ITER 9551 NEW BEST:: SOT 2652009 SOS 343084 HAS SOPS 343084 HAS SOUS 309821 HAS SOUPS 309821 WITH SCORE 310164.084
AT ITER 9599 NEW BEST:: SOT 2652009 SOS 343014 HAS SOPS 343014 HAS SOUS 309751 HAS SOUPS 309751 WITH SCORE 310094.014
AT ITER 9678 NEW BEST:: SOT 2652047 SOS 343011 HAS SOPS 343011 HAS SOUS 309748 HAS SOUPS 309748 WITH SCORE 310091.011
AT ITER 9699 NEW BEST:: SOT 2651966 SOS 343004 HAS SOPS 343004 HAS SOUS 309741 HAS SOUPS 309741 WITH SCORE 310084.004
AT ITER 9709 NEW BEST:: SOT 2651966 SOS 343230 HAS SOPS 343230 HAS SOUS 309738 HAS SOUPS 309738 WITH SCORE 310081.23
AT ITER 9727 NEW BEST:: SOT 2651958 SOS 343109 HAS SOPS 343109 HAS SOUS 309674 HAS SOUPS 309674 WITH SCORE 310017.109
AT ITER 9779 NEW BEST:: SOT 2651958 SOS 343070 HAS SOPS 343070 HAS SOUS 309674 HAS SOUPS 309674 WITH SCORE 310017.07
AT ITER 9796 NEW BEST:: SOT 2651980 SOS 343000 HAS SOPS 343000 HAS SOUS 309477 HAS SOUPS 309477 WITH SCORE 309820.0
AT ITER 9808 NEW BEST:: SOT 2651885 SOS 342895 HAS SOPS 342895 HAS SOUS 309382 HAS SOUPS 309382 WITH SCORE 309724.895
AT ITER 9830 NEW BEST:: SOT 2651859 SOS 342843 HAS SOPS 342843 HAS SOUS 309330 HAS SOUPS 309330 WITH SCORE 309672.843
AT ITER 9843 NEW BEST:: SOT 2651859 SOS 342763 HAS SOPS 342763 HAS SOUS 309250 HAS SOUPS 309250 WITH SCORE 309592.763
AT ITER 9848 NEW BEST:: SOT 2651858 SOS 342762 HAS SOPS 342762 HAS SOUS 309249 HAS SOUPS 309249 WITH SCORE 309591.762
AT ITER 9871 NEW BEST:: SOT 2651858 SOS 342762 HAS SOPS 342762 HAS SOUS 309248 HAS SOUPS 309248 WITH SCORE 309590.762
AT ITER 9892 NEW BEST:: SOT 2651797 SOS 342640 HAS SOPS 342640 HAS SOUS 309187 HAS SOUPS 309187 WITH SCORE 309529.64
AT ITER 9914 NEW BEST:: SOT 2651798 SOS 342642 HAS SOPS 342642 HAS SOUS 309174 HAS SOUPS 309174 WITH SCORE 309516.642
AT ITER 9920 NEW BEST:: SOT 2651791 SOS 342628 HAS SOPS 342628 HAS SOUS 309158 HAS SOUPS 309158 WITH SCORE 309500.628
AT ITER 9926 NEW BEST:: SOT 2651742 SOS 342579 HAS SOPS 342579 HAS SOUS 309060 HAS SOUPS 309060 WITH SCORE 309402.579
AT ITER 9941 NEW BEST:: SOT 2651739 SOS 342528 HAS SOPS 342528 HAS SOUS 309009 HAS SOUPS 309009 WITH SCORE 309351.528
AT ITER 9963 NEW BEST:: SOT 2651739 SOS 342503 HAS SOPS 342503 HAS SOUS 308984 HAS SOUPS 308984 WITH SCORE 309326.503
AT ITER 9967 NEW BEST:: SOT 2651728 SOS 342481 HAS SOPS 342481 HAS SOUS 308882 HAS SOUPS 308882 WITH SCORE 309224.481
AT ITER 9974 NEW BEST:: SOT 2651720 SOS 342473 HAS SOPS 342473 HAS SOUS 308874 HAS SOUPS 308874 WITH SCORE 309216.473

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="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"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is 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-smll-158897508600489"
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 ;