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.r195-smll-167840342100192.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...........................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is GlobalResAllocation-COL-07, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r195-smll-167840342100192
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 460K
-rw-r--r-- 1 mcc users 8.2K Feb 25 16:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Feb 25 16:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 25 16:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 41K Feb 25 16:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.4K Feb 25 16:12 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:12 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:12 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:12 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 16:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 120K Feb 25 16:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.1K Feb 25 16:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 25 16:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 16:12 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:12 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_pt
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 28K 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 1678476408274

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=GlobalResAllocation-COL-07
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-10 19:26:53] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-10 19:26:53] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-10 19:26:53] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-10 19:26:54] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-10 19:26:54] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 941 ms
[2023-03-10 19:26:54] [INFO ] Imported 5 HL places and 7 HL transitions for a total of 133 PT places and 291067.0 transition bindings in 30 ms.
[2023-03-10 19:27:00] [INFO ] Unfolded HLPN to a Petri net with 133 places and 291067 transitions 2652580 arcs in 6043 ms.
[2023-03-10 19:27:00] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Ensure Unique test removed 268814 transitions
Reduce isomorphic transitions removed 268814 transitions.
Reduce isomorphic (modulo) transitions removed 196 transitions.
[2023-03-10 19:27:07] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 133 places, 22155 transitions and 185087 arcs took 342 ms.
Total runtime 14052 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running GlobalResAllocation (COL), instance 07
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: 133 places, 22155 transitions, 185087 arcs.
AT ITER 0 NEW BEST:: SOT 2560105 SOS 2180740 HAS SOPS 2180740 HAS SOUS 1027040 HAS SOUPS 1027040 WITH SCORE 1029220.74
AT ITER 1 NEW BEST:: SOT 2560105 SOS 2180740 HAS SOPS 2180740 HAS SOUS 1026539 HAS SOUPS 1026539 WITH SCORE 1028719.74
AT ITER 9 NEW BEST:: SOT 2560105 SOS 2180740 HAS SOPS 2180740 HAS SOUS 1021188 HAS SOUPS 1021188 WITH SCORE 1023368.74
AT ITER 10 NEW BEST:: SOT 2560105 SOS 2180740 HAS SOPS 2180740 HAS SOUS 1020181 HAS SOUPS 1020181 WITH SCORE 1022361.74
AT ITER 16 NEW BEST:: SOT 2560105 SOS 2180740 HAS SOPS 2180740 HAS SOUS 1002955 HAS SOUPS 1002955 WITH SCORE 1005135.74
AT ITER 17 NEW BEST:: SOT 2559923 SOS 2183907 HAS SOPS 2183907 HAS SOUS 1002112 HAS SOUPS 1002112 WITH SCORE 1004295.907
AT ITER 19 NEW BEST:: SOT 2559923 SOS 2183907 HAS SOPS 2183907 HAS SOUS 996181 HAS SOUPS 996181 WITH SCORE 998364.907
AT ITER 20 NEW BEST:: SOT 2548203 SOS 2199034 HAS SOPS 2199034 HAS SOUS 985663 HAS SOUPS 985663 WITH SCORE 987862.034
AT ITER 21 NEW BEST:: SOT 2548123 SOS 2198954 HAS SOPS 2198954 HAS SOUS 969525 HAS SOUPS 969525 WITH SCORE 971723.954
AT ITER 22 NEW BEST:: SOT 2548123 SOS 2198954 HAS SOPS 2198954 HAS SOUS 964688 HAS SOUPS 964688 WITH SCORE 966886.954
AT ITER 23 NEW BEST:: SOT 2540861 SOS 2231605 HAS SOPS 2231605 HAS SOUS 945946 HAS SOUPS 945946 WITH SCORE 948177.605
AT ITER 24 NEW BEST:: SOT 2515963 SOS 2234316 HAS SOPS 2234316 HAS SOUS 917436 HAS SOUPS 917436 WITH SCORE 919670.316
AT ITER 25 NEW BEST:: SOT 2526209 SOS 2262514 HAS SOPS 2262514 HAS SOUS 903026 HAS SOUPS 903026 WITH SCORE 905288.514
AT ITER 29 NEW BEST:: SOT 2526209 SOS 2262514 HAS SOPS 2262514 HAS SOUS 886028 HAS SOUPS 886028 WITH SCORE 888290.514
AT ITER 30 NEW BEST:: SOT 2526209 SOS 2262514 HAS SOPS 2262514 HAS SOUS 885862 HAS SOUPS 885862 WITH SCORE 888124.514
AT ITER 31 NEW BEST:: SOT 2516410 SOS 2253653 HAS SOPS 2253653 HAS SOUS 874976 HAS SOUPS 874976 WITH SCORE 877229.653
AT ITER 32 NEW BEST:: SOT 2515845 SOS 2253088 HAS SOPS 2253088 HAS SOUS 858397 HAS SOUPS 858397 WITH SCORE 860650.088
AT ITER 35 NEW BEST:: SOT 2515845 SOS 2253088 HAS SOPS 2253088 HAS SOUS 854685 HAS SOUPS 854685 WITH SCORE 856938.088
AT ITER 36 NEW BEST:: SOT 2515845 SOS 2253088 HAS SOPS 2253088 HAS SOUS 845750 HAS SOUPS 845750 WITH SCORE 848003.088
AT ITER 39 NEW BEST:: SOT 2515845 SOS 2253088 HAS SOPS 2253088 HAS SOUS 823888 HAS SOUPS 823888 WITH SCORE 826141.088
AT ITER 40 NEW BEST:: SOT 2515845 SOS 2253088 HAS SOPS 2253088 HAS SOUS 819694 HAS SOUPS 819694 WITH SCORE 821947.088
AT ITER 47 NEW BEST:: SOT 2515845 SOS 2253088 HAS SOPS 2253088 HAS SOUS 801206 HAS SOUPS 801206 WITH SCORE 803459.088
AT ITER 50 NEW BEST:: SOT 2515845 SOS 2253088 HAS SOPS 2253088 HAS SOUS 791607 HAS SOUPS 791607 WITH SCORE 793860.088
AT ITER 55 NEW BEST:: SOT 2515799 SOS 2253042 HAS SOPS 2253042 HAS SOUS 790868 HAS SOUPS 790868 WITH SCORE 793121.042
AT ITER 56 NEW BEST:: SOT 2525737 SOS 2292362 HAS SOPS 2292362 HAS SOUS 772391 HAS SOUPS 772391 WITH SCORE 774683.362
AT ITER 57 NEW BEST:: SOT 2525423 SOS 2292048 HAS SOPS 2292048 HAS SOUS 772077 HAS SOUPS 772077 WITH SCORE 774369.048
AT ITER 60 NEW BEST:: SOT 2525423 SOS 2292048 HAS SOPS 2292048 HAS SOUS 766300 HAS SOUPS 766300 WITH SCORE 768592.048
AT ITER 63 NEW BEST:: SOT 2525358 SOS 2291983 HAS SOPS 2291983 HAS SOUS 763844 HAS SOUPS 763844 WITH SCORE 766135.983
AT ITER 64 NEW BEST:: SOT 2497418 SOS 2268352 HAS SOPS 2268352 HAS SOUS 756291 HAS SOUPS 756291 WITH SCORE 758559.352
AT ITER 67 NEW BEST:: SOT 2497004 SOS 2267938 HAS SOPS 2267938 HAS SOUS 745106 HAS SOUPS 745106 WITH SCORE 747373.938
AT ITER 72 NEW BEST:: SOT 2480594 SOS 2255692 HAS SOPS 2255692 HAS SOUS 734025 HAS SOUPS 734025 WITH SCORE 736280.692
AT ITER 74 NEW BEST:: SOT 2476130 SOS 2252283 HAS SOPS 2252283 HAS SOUS 732049 HAS SOUPS 732049 WITH SCORE 734301.283
AT ITER 77 NEW BEST:: SOT 2476070 SOS 2252223 HAS SOPS 2252223 HAS SOUS 730844 HAS SOUPS 730844 WITH SCORE 733096.223
AT ITER 81 NEW BEST:: SOT 2475601 SOS 2251754 HAS SOPS 2251754 HAS SOUS 720625 HAS SOUPS 720625 WITH SCORE 722876.754
AT ITER 96 NEW BEST:: SOT 2475601 SOS 2251754 HAS SOPS 2251754 HAS SOUS 715733 HAS SOUPS 715733 WITH SCORE 717984.754
AT ITER 99 NEW BEST:: SOT 2475601 SOS 2251754 HAS SOPS 2251754 HAS SOUS 709446 HAS SOUPS 709446 WITH SCORE 711697.754
AT ITER 104 NEW BEST:: SOT 2473677 SOS 2249830 HAS SOPS 2249830 HAS SOUS 705678 HAS SOUPS 705678 WITH SCORE 707927.83
AT ITER 105 NEW BEST:: SOT 2473677 SOS 2249830 HAS SOPS 2249830 HAS SOUS 705591 HAS SOUPS 705591 WITH SCORE 707840.83
AT ITER 111 NEW BEST:: SOT 2473677 SOS 2249830 HAS SOPS 2249830 HAS SOUS 702905 HAS SOUPS 702905 WITH SCORE 705154.83
AT ITER 120 NEW BEST:: SOT 2479148 SOS 2250992 HAS SOPS 2250992 HAS SOUS 692878 HAS SOUPS 692878 WITH SCORE 695128.992
AT ITER 123 NEW BEST:: SOT 2479148 SOS 2250992 HAS SOPS 2250992 HAS SOUS 691852 HAS SOUPS 691852 WITH SCORE 694102.992
AT ITER 125 NEW BEST:: SOT 2479148 SOS 2250992 HAS SOPS 2250992 HAS SOUS 688053 HAS SOUPS 688053 WITH SCORE 690303.992
AT ITER 129 NEW BEST:: SOT 2479383 SOS 2245136 HAS SOPS 2245136 HAS SOUS 685224 HAS SOUPS 685224 WITH SCORE 687469.136
AT ITER 130 NEW BEST:: SOT 2472485 SOS 2240256 HAS SOPS 2240256 HAS SOUS 675223 HAS SOUPS 675223 WITH SCORE 677463.256
AT ITER 131 NEW BEST:: SOT 2472365 SOS 2240136 HAS SOPS 2240136 HAS SOUS 669607 HAS SOUPS 669607 WITH SCORE 671847.136
AT ITER 132 NEW BEST:: SOT 2472161 SOS 2239932 HAS SOPS 2239932 HAS SOUS 669403 HAS SOUPS 669403 WITH SCORE 671642.932
AT ITER 133 NEW BEST:: SOT 2471730 SOS 2239501 HAS SOPS 2239501 HAS SOUS 660690 HAS SOUPS 660690 WITH SCORE 662929.501
AT ITER 139 NEW BEST:: SOT 2471682 SOS 2239453 HAS SOPS 2239453 HAS SOUS 659253 HAS SOUPS 659253 WITH SCORE 661492.453
AT ITER 140 NEW BEST:: SOT 2471682 SOS 2239453 HAS SOPS 2239453 HAS SOUS 659068 HAS SOUPS 659068 WITH SCORE 661307.453
AT ITER 147 NEW BEST:: SOT 2471682 SOS 2239453 HAS SOPS 2239453 HAS SOUS 658922 HAS SOUPS 658922 WITH SCORE 661161.453
AT ITER 148 NEW BEST:: SOT 2471752 SOS 2239523 HAS SOPS 2239523 HAS SOUS 658425 HAS SOUPS 658425 WITH SCORE 660664.523
AT ITER 157 NEW BEST:: SOT 2471983 SOS 2239754 HAS SOPS 2239754 HAS SOUS 657972 HAS SOUPS 657972 WITH SCORE 660211.754
AT ITER 158 NEW BEST:: SOT 2472524 SOS 2240295 HAS SOPS 2240295 HAS SOUS 656936 HAS SOUPS 656936 WITH SCORE 659176.295
AT ITER 162 NEW BEST:: SOT 2476562 SOS 2255397 HAS SOPS 2255397 HAS SOUS 646962 HAS SOUPS 646962 WITH SCORE 649217.397
AT ITER 170 NEW BEST:: SOT 2482665 SOS 2266818 HAS SOPS 2266818 HAS SOUS 644823 HAS SOUPS 644823 WITH SCORE 647089.818
AT ITER 173 NEW BEST:: SOT 2476738 SOS 2260987 HAS SOPS 2260987 HAS SOUS 640925 HAS SOUPS 640925 WITH SCORE 643185.987
AT ITER 174 NEW BEST:: SOT 2480862 SOS 2295619 HAS SOPS 2295619 HAS SOUS 637307 HAS SOUPS 637307 WITH SCORE 639602.619
AT ITER 180 NEW BEST:: SOT 2485139 SOS 2296536 HAS SOPS 2296536 HAS SOUS 628609 HAS SOUPS 628609 WITH SCORE 630905.536
AT ITER 193 NEW BEST:: SOT 2485749 SOS 2297146 HAS SOPS 2297146 HAS SOUS 624436 HAS SOUPS 624436 WITH SCORE 626733.146
AT ITER 196 NEW BEST:: SOT 2477272 SOS 2288669 HAS SOPS 2288669 HAS SOUS 621996 HAS SOUPS 621996 WITH SCORE 624284.669
AT ITER 201 NEW BEST:: SOT 2475905 SOS 2287302 HAS SOPS 2287302 HAS SOUS 620629 HAS SOUPS 620629 WITH SCORE 622916.302
AT ITER 203 NEW BEST:: SOT 2475905 SOS 2287302 HAS SOPS 2287302 HAS SOUS 620095 HAS SOUPS 620095 WITH SCORE 622382.302
AT ITER 207 NEW BEST:: SOT 2475386 SOS 2286783 HAS SOPS 2286783 HAS SOUS 617497 HAS SOUPS 617497 WITH SCORE 619783.783
AT ITER 216 NEW BEST:: SOT 2475362 SOS 2286759 HAS SOPS 2286759 HAS SOUS 617127 HAS SOUPS 617127 WITH SCORE 619413.759
AT ITER 217 NEW BEST:: SOT 2474727 SOS 2286124 HAS SOPS 2286124 HAS SOUS 614280 HAS SOUPS 614280 WITH SCORE 616566.124
AT ITER 220 NEW BEST:: SOT 2474727 SOS 2286124 HAS SOPS 2286124 HAS SOUS 613786 HAS SOUPS 613786 WITH SCORE 616072.124
AT ITER 229 NEW BEST:: SOT 2474727 SOS 2293859 HAS SOPS 2293859 HAS SOUS 613508 HAS SOUPS 613508 WITH SCORE 615801.859
AT ITER 233 NEW BEST:: SOT 2474727 SOS 2293859 HAS SOPS 2293859 HAS SOUS 606762 HAS SOUPS 606762 WITH SCORE 609055.859
AT ITER 234 NEW BEST:: SOT 2474727 SOS 2293859 HAS SOPS 2293859 HAS SOUS 606730 HAS SOUPS 606730 WITH SCORE 609023.859
AT ITER 235 NEW BEST:: SOT 2474727 SOS 2293859 HAS SOPS 2293859 HAS SOUS 606697 HAS SOUPS 606697 WITH SCORE 608990.859
AT ITER 236 NEW BEST:: SOT 2474811 SOS 2293943 HAS SOPS 2293943 HAS SOUS 606381 HAS SOUPS 606381 WITH SCORE 608674.943
AT ITER 239 NEW BEST:: SOT 2479467 SOS 2350401 HAS SOPS 2350401 HAS SOUS 601164 HAS SOUPS 601164 WITH SCORE 603514.401
AT ITER 243 NEW BEST:: SOT 2479467 SOS 2352081 HAS SOPS 2352081 HAS SOUS 600209 HAS SOUPS 600209 WITH SCORE 602561.081
AT ITER 257 NEW BEST:: SOT 2479467 SOS 2352081 HAS SOPS 2352081 HAS SOUS 595927 HAS SOUPS 595927 WITH SCORE 598279.081
AT ITER 261 NEW BEST:: SOT 2479279 SOS 2351893 HAS SOPS 2351893 HAS SOUS 592980 HAS SOUPS 592980 WITH SCORE 595331.893
AT ITER 265 NEW BEST:: SOT 2478584 SOS 2351198 HAS SOPS 2351198 HAS SOUS 592285 HAS SOUPS 592285 WITH SCORE 594636.198
AT ITER 267 NEW BEST:: SOT 2478584 SOS 2351198 HAS SOPS 2351198 HAS SOUS 592214 HAS SOUPS 592214 WITH SCORE 594565.198
AT ITER 268 NEW BEST:: SOT 2476600 SOS 2349214 HAS SOPS 2349214 HAS SOUS 588844 HAS SOUPS 588844 WITH SCORE 591193.214
AT ITER 279 NEW BEST:: SOT 2476600 SOS 2349214 HAS SOPS 2349214 HAS SOUS 585040 HAS SOUPS 585040 WITH SCORE 587389.214
AT ITER 280 NEW BEST:: SOT 2478202 SOS 2350816 HAS SOPS 2350816 HAS SOUS 582026 HAS SOUPS 582026 WITH SCORE 584376.816
AT ITER 281 NEW BEST:: SOT 2477308 SOS 2349922 HAS SOPS 2349922 HAS SOUS 581189 HAS SOUPS 581189 WITH SCORE 583538.922
AT ITER 296 NEW BEST:: SOT 2477308 SOS 2333899 HAS SOPS 2333899 HAS SOUS 581156 HAS SOUPS 581156 WITH SCORE 583489.899
AT ITER 297 NEW BEST:: SOT 2477308 SOS 2333899 HAS SOPS 2333899 HAS SOUS 580735 HAS SOUPS 580735 WITH SCORE 583068.899
AT ITER 299 NEW BEST:: SOT 2477257 SOS 2333848 HAS SOPS 2333848 HAS SOUS 577460 HAS SOUPS 577460 WITH SCORE 579793.848
AT ITER 301 NEW BEST:: SOT 2474519 SOS 2331110 HAS SOPS 2331110 HAS SOUS 575915 HAS SOUPS 575915 WITH SCORE 578246.11
AT ITER 309 NEW BEST:: SOT 2483176 SOS 2343372 HAS SOPS 2343372 HAS SOUS 571560 HAS SOUPS 571560 WITH SCORE 573903.372
AT ITER 311 NEW BEST:: SOT 2483175 SOS 2343371 HAS SOPS 2343371 HAS SOUS 571547 HAS SOUPS 571547 WITH SCORE 573890.371
AT ITER 315 NEW BEST:: SOT 2481735 SOS 2341931 HAS SOPS 2341931 HAS SOUS 561782 HAS SOUPS 561782 WITH SCORE 564123.931
AT ITER 318 NEW BEST:: SOT 2481735 SOS 2340566 HAS SOPS 2340566 HAS SOUS 561734 HAS SOUPS 561734 WITH SCORE 564074.566
AT ITER 319 NEW BEST:: SOT 2487650 SOS 2349211 HAS SOPS 2349211 HAS SOUS 552605 HAS SOUPS 552605 WITH SCORE 554954.211
AT ITER 332 NEW BEST:: SOT 2487650 SOS 2349211 HAS SOPS 2349211 HAS SOUS 551983 HAS SOUPS 551983 WITH SCORE 554332.211
AT ITER 338 NEW BEST:: SOT 2487183 SOS 2348744 HAS SOPS 2348744 HAS SOUS 549147 HAS SOUPS 549147 WITH SCORE 551495.744
AT ITER 340 NEW BEST:: SOT 2484846 SOS 2346407 HAS SOPS 2346407 HAS SOUS 547383 HAS SOUPS 547383 WITH SCORE 549729.407
AT ITER 341 NEW BEST:: SOT 2484800 SOS 2346361 HAS SOPS 2346361 HAS SOUS 547337 HAS SOUPS 547337 WITH SCORE 549683.361
AT ITER 355 NEW BEST:: SOT 2481935 SOS 2343496 HAS SOPS 2343496 HAS SOUS 544472 HAS SOUPS 544472 WITH SCORE 546815.496
AT ITER 367 NEW BEST:: SOT 2481694 SOS 2343255 HAS SOPS 2343255 HAS SOUS 544293 HAS SOUPS 544293 WITH SCORE 546636.255
AT ITER 369 NEW BEST:: SOT 2479835 SOS 2341396 HAS SOPS 2341396 HAS SOUS 536293 HAS SOUPS 536293 WITH SCORE 538634.396
AT ITER 370 NEW BEST:: SOT 2479835 SOS 2341396 HAS SOPS 2341396 HAS SOUS 536075 HAS SOUPS 536075 WITH SCORE 538416.396
AT ITER 379 NEW BEST:: SOT 2479835 SOS 2341396 HAS SOPS 2341396 HAS SOUS 535955 HAS SOUPS 535955 WITH SCORE 538296.396
AT ITER 384 NEW BEST:: SOT 2479835 SOS 2341396 HAS SOPS 2341396 HAS SOUS 535873 HAS SOUPS 535873 WITH SCORE 538214.396
AT ITER 400 NEW BEST:: SOT 2483291 SOS 2344852 HAS SOPS 2344852 HAS SOUS 524208 HAS SOUPS 524208 WITH SCORE 526552.852
AT ITER 403 NEW BEST:: SOT 2481513 SOS 2343074 HAS SOPS 2343074 HAS SOUS 522430 HAS SOUPS 522430 WITH SCORE 524773.074
AT ITER 404 NEW BEST:: SOT 2481507 SOS 2328794 HAS SOPS 2328794 HAS SOUS 522412 HAS SOUPS 522412 WITH SCORE 524740.794
AT ITER 405 NEW BEST:: SOT 2483322 SOS 2330609 HAS SOPS 2330609 HAS SOUS 522095 HAS SOUPS 522095 WITH SCORE 524425.609
AT ITER 416 NEW BEST:: SOT 2483322 SOS 2330609 HAS SOPS 2330609 HAS SOUS 519791 HAS SOUPS 519791 WITH SCORE 522121.609
AT ITER 433 NEW BEST:: SOT 2483322 SOS 2330609 HAS SOPS 2330609 HAS SOUS 519367 HAS SOUPS 519367 WITH SCORE 521697.609
AT ITER 437 NEW BEST:: SOT 2483393 SOS 2330680 HAS SOPS 2330680 HAS SOUS 512386 HAS SOUPS 512386 WITH SCORE 514716.68
AT ITER 440 NEW BEST:: SOT 2482602 SOS 2329889 HAS SOPS 2329889 HAS SOUS 507845 HAS SOUPS 507845 WITH SCORE 510174.889
AT ITER 453 NEW BEST:: SOT 2482605 SOS 2322755 HAS SOPS 2322755 HAS SOUS 507842 HAS SOUPS 507842 WITH SCORE 510164.755
AT ITER 456 NEW BEST:: SOT 2482605 SOS 2322755 HAS SOPS 2322755 HAS SOUS 507617 HAS SOUPS 507617 WITH SCORE 509939.755
AT ITER 459 NEW BEST:: SOT 2482605 SOS 2322755 HAS SOPS 2322755 HAS SOUS 507551 HAS SOUPS 507551 WITH SCORE 509873.755
AT ITER 479 NEW BEST:: SOT 2482605 SOS 2322755 HAS SOPS 2322755 HAS SOUS 507485 HAS SOUPS 507485 WITH SCORE 509807.755
AT ITER 499 NEW BEST:: SOT 2482605 SOS 2322755 HAS SOPS 2322755 HAS SOUS 507463 HAS SOUPS 507463 WITH SCORE 509785.755
AT ITER 502 NEW BEST:: SOT 2481653 SOS 2321803 HAS SOPS 2321803 HAS SOUS 506511 HAS SOUPS 506511 WITH SCORE 508832.803
AT ITER 511 NEW BEST:: SOT 2481653 SOS 2321803 HAS SOPS 2321803 HAS SOUS 506416 HAS SOUPS 506416 WITH SCORE 508737.803
AT ITER 517 NEW BEST:: SOT 2474543 SOS 2314693 HAS SOPS 2314693 HAS SOUS 505385 HAS SOUPS 505385 WITH SCORE 507699.693
AT ITER 526 NEW BEST:: SOT 2473509 SOS 2313659 HAS SOPS 2313659 HAS SOUS 500673 HAS SOUPS 500673 WITH SCORE 502986.659
AT ITER 533 NEW BEST:: SOT 2473503 SOS 2313647 HAS SOPS 2313647 HAS SOUS 500661 HAS SOUPS 500661 WITH SCORE 502974.647
AT ITER 534 NEW BEST:: SOT 2471894 SOS 2312038 HAS SOPS 2312038 HAS SOUS 499052 HAS SOUPS 499052 WITH SCORE 501364.038
AT ITER 538 NEW BEST:: SOT 2471894 SOS 2312038 HAS SOPS 2312038 HAS SOUS 498932 HAS SOUPS 498932 WITH SCORE 501244.038
AT ITER 566 NEW BEST:: SOT 2471894 SOS 2312038 HAS SOPS 2312038 HAS SOUS 498878 HAS SOUPS 498878 WITH SCORE 501190.038
AT ITER 568 NEW BEST:: SOT 2469486 SOS 2309630 HAS SOPS 2309630 HAS SOUS 493387 HAS SOUPS 493387 WITH SCORE 495696.63
AT ITER 576 NEW BEST:: SOT 2467822 SOS 2307966 HAS SOPS 2307966 HAS SOUS 486301 HAS SOUPS 486301 WITH SCORE 488608.966
AT ITER 577 NEW BEST:: SOT 2460324 SOS 2300468 HAS SOPS 2300468 HAS SOUS 479052 HAS SOUPS 479052 WITH SCORE 481352.468
AT ITER 581 NEW BEST:: SOT 2460153 SOS 2300297 HAS SOPS 2300297 HAS SOUS 476915 HAS SOUPS 476915 WITH SCORE 479215.297
AT ITER 586 NEW BEST:: SOT 2461216 SOS 2302452 HAS SOPS 2302452 HAS SOUS 464881 HAS SOUPS 464881 WITH SCORE 467183.452
AT ITER 592 NEW BEST:: SOT 2461216 SOS 2299995 HAS SOPS 2299995 HAS SOUS 464739 HAS SOUPS 464739 WITH SCORE 467038.995
AT ITER 601 NEW BEST:: SOT 2461186 SOS 2299965 HAS SOPS 2299965 HAS SOUS 464709 HAS SOUPS 464709 WITH SCORE 467008.965
AT ITER 618 NEW BEST:: SOT 2461186 SOS 2299965 HAS SOPS 2299965 HAS SOUS 464541 HAS SOUPS 464541 WITH SCORE 466840.965
AT ITER 625 NEW BEST:: SOT 2461186 SOS 2299965 HAS SOPS 2299965 HAS SOUS 464419 HAS SOUPS 464419 WITH SCORE 466718.965
AT ITER 626 NEW BEST:: SOT 2461186 SOS 2299965 HAS SOPS 2299965 HAS SOUS 464375 HAS SOUPS 464375 WITH SCORE 466674.965
AT ITER 627 NEW BEST:: SOT 2461184 SOS 2298183 HAS SOPS 2298183 HAS SOUS 464355 HAS SOUPS 464355 WITH SCORE 466653.183
AT ITER 636 NEW BEST:: SOT 2460635 SOS 2296269 HAS SOPS 2296269 HAS SOUS 461433 HAS SOUPS 461433 WITH SCORE 463729.269
AT ITER 637 NEW BEST:: SOT 2459972 SOS 2295606 HAS SOPS 2295606 HAS SOUS 461016 HAS SOUPS 461016 WITH SCORE 463311.606
AT ITER 641 NEW BEST:: SOT 2459972 SOS 2295606 HAS SOPS 2295606 HAS SOUS 460987 HAS SOUPS 460987 WITH SCORE 463282.606
AT ITER 645 NEW BEST:: SOT 2459911 SOS 2295545 HAS SOPS 2295545 HAS SOUS 460697 HAS SOUPS 460697 WITH SCORE 462992.545
AT ITER 664 NEW BEST:: SOT 2459911 SOS 2295545 HAS SOPS 2295545 HAS SOUS 460558 HAS SOUPS 460558 WITH SCORE 462853.545
AT ITER 672 NEW BEST:: SOT 2451270 SOS 2286904 HAS SOPS 2286904 HAS SOUS 455564 HAS SOUPS 455564 WITH SCORE 457850.904
AT ITER 675 NEW BEST:: SOT 2451097 SOS 2286731 HAS SOPS 2286731 HAS SOUS 455016 HAS SOUPS 455016 WITH SCORE 457302.731
AT ITER 684 NEW BEST:: SOT 2446698 SOS 2282332 HAS SOPS 2282332 HAS SOUS 452822 HAS SOUPS 452822 WITH SCORE 455104.332
AT ITER 698 NEW BEST:: SOT 2444836 SOS 2280470 HAS SOPS 2280470 HAS SOUS 446733 HAS SOUPS 446733 WITH SCORE 449013.47
AT ITER 699 NEW BEST:: SOT 2444923 SOS 2280557 HAS SOPS 2280557 HAS SOUS 446390 HAS SOUPS 446390 WITH SCORE 448670.557
AT ITER 711 NEW BEST:: SOT 2444923 SOS 2280557 HAS SOPS 2280557 HAS SOUS 445082 HAS SOUPS 445082 WITH SCORE 447362.557
AT ITER 713 NEW BEST:: SOT 2444923 SOS 2280557 HAS SOPS 2280557 HAS SOUS 444916 HAS SOUPS 444916 WITH SCORE 447196.557
AT ITER 735 NEW BEST:: SOT 2441936 SOS 2277570 HAS SOPS 2277570 HAS SOUS 439488 HAS SOUPS 439488 WITH SCORE 441765.57
AT ITER 749 NEW BEST:: SOT 2441936 SOS 2283030 HAS SOPS 2283030 HAS SOUS 439428 HAS SOUPS 439428 WITH SCORE 441711.03
AT ITER 767 NEW BEST:: SOT 2441936 SOS 2282848 HAS SOPS 2282848 HAS SOUS 439412 HAS SOUPS 439412 WITH SCORE 441694.848
AT ITER 768 NEW BEST:: SOT 2441936 SOS 2282536 HAS SOPS 2282536 HAS SOUS 439400 HAS SOUPS 439400 WITH SCORE 441682.536
AT ITER 777 NEW BEST:: SOT 2441906 SOS 2282506 HAS SOPS 2282506 HAS SOUS 439370 HAS SOUPS 439370 WITH SCORE 441652.506
AT ITER 780 NEW BEST:: SOT 2440246 SOS 2280846 HAS SOPS 2280846 HAS SOUS 439361 HAS SOUPS 439361 WITH SCORE 441641.846
AT ITER 798 NEW BEST:: SOT 2440246 SOS 2255410 HAS SOPS 2255410 HAS SOUS 439359 HAS SOUPS 439359 WITH SCORE 441614.41
AT ITER 817 NEW BEST:: SOT 2440246 SOS 2255410 HAS SOPS 2255410 HAS SOUS 438908 HAS SOUPS 438908 WITH SCORE 441163.41
AT ITER 836 NEW BEST:: SOT 2440717 SOS 2255881 HAS SOPS 2255881 HAS SOUS 438686 HAS SOUPS 438686 WITH SCORE 440941.881
AT ITER 862 NEW BEST:: SOT 2440717 SOS 2255881 HAS SOPS 2255881 HAS SOUS 438620 HAS SOUPS 438620 WITH SCORE 440875.881
AT ITER 878 NEW BEST:: SOT 2440708 SOS 2263152 HAS SOPS 2263152 HAS SOUS 438515 HAS SOUPS 438515 WITH SCORE 440778.152
AT ITER 891 NEW BEST:: SOT 2440672 SOS 2263116 HAS SOPS 2263116 HAS SOUS 438098 HAS SOUPS 438098 WITH SCORE 440361.116
AT ITER 897 NEW BEST:: SOT 2440672 SOS 2263116 HAS SOPS 2263116 HAS SOUS 437987 HAS SOUPS 437987 WITH SCORE 440250.116
AT ITER 909 NEW BEST:: SOT 2440668 SOS 2260966 HAS SOPS 2260966 HAS SOUS 437980 HAS SOUPS 437980 WITH SCORE 440240.966
AT ITER 921 NEW BEST:: SOT 2440668 SOS 2260966 HAS SOPS 2260966 HAS SOUS 437893 HAS SOUPS 437893 WITH SCORE 440153.966
AT ITER 946 NEW BEST:: SOT 2440334 SOS 2260632 HAS SOPS 2260632 HAS SOUS 436732 HAS SOUPS 436732 WITH SCORE 438992.632
AT ITER 950 NEW BEST:: SOT 2440334 SOS 2260632 HAS SOPS 2260632 HAS SOUS 436083 HAS SOUPS 436083 WITH SCORE 438343.632
AT ITER 959 NEW BEST:: SOT 2438854 SOS 2259152 HAS SOPS 2259152 HAS SOUS 435445 HAS SOUPS 435445 WITH SCORE 437704.152
AT ITER 976 NEW BEST:: SOT 2438177 SOS 2258475 HAS SOPS 2258475 HAS SOUS 431235 HAS SOUPS 431235 WITH SCORE 433493.475
AT ITER 985 NEW BEST:: SOT 2437312 SOS 2257610 HAS SOPS 2257610 HAS SOUS 429609 HAS SOUPS 429609 WITH SCORE 431866.61
AT ITER 1018 NEW BEST:: SOT 2437312 SOS 2257610 HAS SOPS 2257610 HAS SOUS 428930 HAS SOUPS 428930 WITH SCORE 431187.61
AT ITER 1058 NEW BEST:: SOT 2436946 SOS 2257244 HAS SOPS 2257244 HAS SOUS 427190 HAS SOUPS 427190 WITH SCORE 429447.244
AT ITER 1059 NEW BEST:: SOT 2436946 SOS 2257244 HAS SOPS 2257244 HAS SOUS 425832 HAS SOUPS 425832 WITH SCORE 428089.244
AT ITER 1060 NEW BEST:: SOT 2436946 SOS 2257244 HAS SOPS 2257244 HAS SOUS 425679 HAS SOUPS 425679 WITH SCORE 427936.244
AT ITER 1078 NEW BEST:: SOT 2435930 SOS 2256228 HAS SOPS 2256228 HAS SOUS 422719 HAS SOUPS 422719 WITH SCORE 424975.228
AT ITER 1124 NEW BEST:: SOT 2435930 SOS 2257908 HAS SOPS 2257908 HAS SOUS 422697 HAS SOUPS 422697 WITH SCORE 424954.908
AT ITER 1126 NEW BEST:: SOT 2435924 SOS 2257905 HAS SOPS 2257905 HAS SOUS 422694 HAS SOUPS 422694 WITH SCORE 424951.905
AT ITER 1141 NEW BEST:: SOT 2435924 SOS 2257905 HAS SOPS 2257905 HAS SOUS 421510 HAS SOUPS 421510 WITH SCORE 423767.905
AT ITER 1168 NEW BEST:: SOT 2435730 SOS 2257711 HAS SOPS 2257711 HAS SOUS 421260 HAS SOUPS 421260 WITH SCORE 423517.711
AT ITER 1187 NEW BEST:: SOT 2435725 SOS 2257706 HAS SOPS 2257706 HAS SOUS 421232 HAS SOUPS 421232 WITH SCORE 423489.706
AT ITER 1197 NEW BEST:: SOT 2435528 SOS 2257509 HAS SOPS 2257509 HAS SOUS 420309 HAS SOUPS 420309 WITH SCORE 422566.509
AT ITER 1277 NEW BEST:: SOT 2435524 SOS 2258080 HAS SOPS 2258080 HAS SOUS 420299 HAS SOUPS 420299 WITH SCORE 422557.08
AT ITER 1313 NEW BEST:: SOT 2434957 SOS 2257513 HAS SOPS 2257513 HAS SOUS 416104 HAS SOUPS 416104 WITH SCORE 418361.513
AT ITER 1341 NEW BEST:: SOT 2432667 SOS 2255223 HAS SOPS 2255223 HAS SOUS 409512 HAS SOUPS 409512 WITH SCORE 411767.223
AT ITER 1344 NEW BEST:: SOT 2431860 SOS 2254416 HAS SOPS 2254416 HAS SOUS 408705 HAS SOUPS 408705 WITH SCORE 410959.416
AT ITER 1359 NEW BEST:: SOT 2431860 SOS 2254416 HAS SOPS 2254416 HAS SOUS 408330 HAS SOUPS 408330 WITH SCORE 410584.416
AT ITER 1365 NEW BEST:: SOT 2434662 SOS 2257218 HAS SOPS 2257218 HAS SOUS 407694 HAS SOUPS 407694 WITH SCORE 409951.218
AT ITER 1367 NEW BEST:: SOT 2434660 SOS 2257216 HAS SOPS 2257216 HAS SOUS 407692 HAS SOUPS 407692 WITH SCORE 409949.216
AT ITER 1379 NEW BEST:: SOT 2434660 SOS 2257216 HAS SOPS 2257216 HAS SOUS 407575 HAS SOUPS 407575 WITH SCORE 409832.216
AT ITER 1460 NEW BEST:: SOT 2433797 SOS 2256353 HAS SOPS 2256353 HAS SOUS 407399 HAS SOUPS 407399 WITH SCORE 409655.353
AT ITER 1461 NEW BEST:: SOT 2433485 SOS 2256041 HAS SOPS 2256041 HAS SOUS 407381 HAS SOUPS 407381 WITH SCORE 409637.041
AT ITER 1472 NEW BEST:: SOT 2430363 SOS 2252919 HAS SOPS 2252919 HAS SOUS 404513 HAS SOUPS 404513 WITH SCORE 406765.919
AT ITER 1514 NEW BEST:: SOT 2423811 SOS 2246367 HAS SOPS 2246367 HAS SOUS 399101 HAS SOUPS 399101 WITH SCORE 401347.367
AT ITER 1515 NEW BEST:: SOT 2422880 SOS 2245436 HAS SOPS 2245436 HAS SOUS 395348 HAS SOUPS 395348 WITH SCORE 397593.436
AT ITER 1518 NEW BEST:: SOT 2422880 SOS 2245436 HAS SOPS 2245436 HAS SOUS 395250 HAS SOUPS 395250 WITH SCORE 397495.436
AT ITER 1532 NEW BEST:: SOT 2418854 SOS 2241410 HAS SOPS 2241410 HAS SOUS 393934 HAS SOUPS 393934 WITH SCORE 396175.41
AT ITER 1554 NEW BEST:: SOT 2420072 SOS 2242628 HAS SOPS 2242628 HAS SOUS 393810 HAS SOUPS 393810 WITH SCORE 396052.628
AT ITER 1654 NEW BEST:: SOT 2418469 SOS 2241025 HAS SOPS 2241025 HAS SOUS 390692 HAS SOUPS 390692 WITH SCORE 392933.025
AT ITER 1668 NEW BEST:: SOT 2418173 SOS 2240729 HAS SOPS 2240729 HAS SOUS 389929 HAS SOUPS 389929 WITH SCORE 392169.729
AT ITER 1670 NEW BEST:: SOT 2418141 SOS 2240697 HAS SOPS 2240697 HAS SOUS 389860 HAS SOUPS 389860 WITH SCORE 392100.697
AT ITER 1695 NEW BEST:: SOT 2418057 SOS 2240613 HAS SOPS 2240613 HAS SOUS 389470 HAS SOUPS 389470 WITH SCORE 391710.613
AT ITER 1696 NEW BEST:: SOT 2418057 SOS 2240613 HAS SOPS 2240613 HAS SOUS 389332 HAS SOUPS 389332 WITH SCORE 391572.613
AT ITER 1734 NEW BEST:: SOT 2418059 SOS 2239620 HAS SOPS 2239620 HAS SOUS 389320 HAS SOUPS 389320 WITH SCORE 391559.62
AT ITER 1760 NEW BEST:: SOT 2417939 SOS 2239500 HAS SOPS 2239500 HAS SOUS 389200 HAS SOUPS 389200 WITH SCORE 391439.5
AT ITER 1762 NEW BEST:: SOT 2417937 SOS 2238138 HAS SOPS 2238138 HAS SOUS 389200 HAS SOUPS 389200 WITH SCORE 391438.138
AT ITER 1773 NEW BEST:: SOT 2417937 SOS 2238138 HAS SOPS 2238138 HAS SOUS 389097 HAS SOUPS 389097 WITH SCORE 391335.138
AT ITER 1854 NEW BEST:: SOT 2417937 SOS 2238138 HAS SOPS 2238138 HAS SOUS 389081 HAS SOUPS 389081 WITH SCORE 391319.138
AT ITER 1865 NEW BEST:: SOT 2417937 SOS 2238138 HAS SOPS 2238138 HAS SOUS 388737 HAS SOUPS 388737 WITH SCORE 390975.138
AT ITER 1873 NEW BEST:: SOT 2409649 SOS 2229850 HAS SOPS 2229850 HAS SOUS 388367 HAS SOUPS 388367 WITH SCORE 390596.85
AT ITER 1889 NEW BEST:: SOT 2409305 SOS 2229506 HAS SOPS 2229506 HAS SOUS 387135 HAS SOUPS 387135 WITH SCORE 389364.506
AT ITER 1893 NEW BEST:: SOT 2409305 SOS 2229506 HAS SOPS 2229506 HAS SOUS 387127 HAS SOUPS 387127 WITH SCORE 389356.506
AT ITER 1921 NEW BEST:: SOT 2408045 SOS 2228246 HAS SOPS 2228246 HAS SOUS 382661 HAS SOUPS 382661 WITH SCORE 384889.246
AT ITER 1926 NEW BEST:: SOT 2408044 SOS 2225186 HAS SOPS 2225186 HAS SOUS 382659 HAS SOUPS 382659 WITH SCORE 384884.186
AT ITER 1927 NEW BEST:: SOT 2408044 SOS 2225186 HAS SOPS 2225186 HAS SOUS 382497 HAS SOUPS 382497 WITH SCORE 384722.186
AT ITER 1961 NEW BEST:: SOT 2408044 SOS 2225186 HAS SOPS 2225186 HAS SOUS 382481 HAS SOUPS 382481 WITH SCORE 384706.186
AT ITER 1968 NEW BEST:: SOT 2407698 SOS 2224840 HAS SOPS 2224840 HAS SOUS 381820 HAS SOUPS 381820 WITH SCORE 384044.84
AT ITER 1983 NEW BEST:: SOT 2407698 SOS 2224840 HAS SOPS 2224840 HAS SOUS 381733 HAS SOUPS 381733 WITH SCORE 383957.84
AT ITER 1992 NEW BEST:: SOT 2410232 SOS 2227374 HAS SOPS 2227374 HAS SOUS 381495 HAS SOUPS 381495 WITH SCORE 383722.374
AT ITER 2001 NEW BEST:: SOT 2410232 SOS 2226590 HAS SOPS 2226590 HAS SOUS 381492 HAS SOUPS 381492 WITH SCORE 383718.59
AT ITER 2024 NEW BEST:: SOT 2410235 SOS 2229025 HAS SOPS 2229025 HAS SOUS 381469 HAS SOUPS 381469 WITH SCORE 383698.025
AT ITER 2037 NEW BEST:: SOT 2410219 SOS 2229009 HAS SOPS 2229009 HAS SOUS 381280 HAS SOUPS 381280 WITH SCORE 383509.009
AT ITER 2075 NEW BEST:: SOT 2409340 SOS 2228130 HAS SOPS 2228130 HAS SOUS 380401 HAS SOUPS 380401 WITH SCORE 382629.13
AT ITER 2092 NEW BEST:: SOT 2408959 SOS 2227749 HAS SOPS 2227749 HAS SOUS 379885 HAS SOUPS 379885 WITH SCORE 382112.749
AT ITER 2132 NEW BEST:: SOT 2408610 SOS 2227400 HAS SOPS 2227400 HAS SOUS 379792 HAS SOUPS 379792 WITH SCORE 382019.4
AT ITER 2135 NEW BEST:: SOT 2408256 SOS 2227046 HAS SOPS 2227046 HAS SOUS 378745 HAS SOUPS 378745 WITH SCORE 380972.046
AT ITER 2161 NEW BEST:: SOT 2408256 SOS 2225366 HAS SOPS 2225366 HAS SOUS 378745 HAS SOUPS 378745 WITH SCORE 380970.366
AT ITER 2162 NEW BEST:: SOT 2408256 SOS 2225366 HAS SOPS 2225366 HAS SOUS 378687 HAS SOUPS 378687 WITH SCORE 380912.366
AT ITER 2184 NEW BEST:: SOT 2408233 SOS 2225343 HAS SOPS 2225343 HAS SOUS 378500 HAS SOUPS 378500 WITH SCORE 380725.343
AT ITER 2201 NEW BEST:: SOT 2408233 SOS 2223748 HAS SOPS 2223748 HAS SOUS 378501 HAS SOUPS 378501 WITH SCORE 380724.748
AT ITER 2202 NEW BEST:: SOT 2407543 SOS 2223058 HAS SOPS 2223058 HAS SOUS 378351 HAS SOUPS 378351 WITH SCORE 380574.058
AT ITER 2203 NEW BEST:: SOT 2407032 SOS 2222547 HAS SOPS 2222547 HAS SOUS 375188 HAS SOUPS 375188 WITH SCORE 377410.547
AT ITER 2250 NEW BEST:: SOT 2406986 SOS 2222501 HAS SOPS 2222501 HAS SOUS 375073 HAS SOUPS 375073 WITH SCORE 377295.501
AT ITER 2276 NEW BEST:: SOT 2406986 SOS 2222501 HAS SOPS 2222501 HAS SOUS 375068 HAS SOUPS 375068 WITH SCORE 377290.501
AT ITER 2287 NEW BEST:: SOT 2406880 SOS 2222395 HAS SOPS 2222395 HAS SOUS 374962 HAS SOUPS 374962 WITH SCORE 377184.395
AT ITER 2302 NEW BEST:: SOT 2406453 SOS 2221968 HAS SOPS 2221968 HAS SOUS 373646 HAS SOUPS 373646 WITH SCORE 375867.968
AT ITER 2333 NEW BEST:: SOT 2406453 SOS 2221968 HAS SOPS 2221968 HAS SOUS 373624 HAS SOUPS 373624 WITH SCORE 375845.968
AT ITER 2358 NEW BEST:: SOT 2406453 SOS 2221968 HAS SOPS 2221968 HAS SOUS 372528 HAS SOUPS 372528 WITH SCORE 374749.968
AT ITER 2400 NEW BEST:: SOT 2406453 SOS 2221968 HAS SOPS 2221968 HAS SOUS 372330 HAS SOUPS 372330 WITH SCORE 374551.968
AT ITER 2471 NEW BEST:: SOT 2406336 SOS 2221851 HAS SOPS 2221851 HAS SOUS 371832 HAS SOUPS 371832 WITH SCORE 374053.851
AT ITER 2500 NEW BEST:: SOT 2406094 SOS 2221609 HAS SOPS 2221609 HAS SOUS 371590 HAS SOUPS 371590 WITH SCORE 373811.609
AT ITER 2525 NEW BEST:: SOT 2406071 SOS 2221586 HAS SOPS 2221586 HAS SOUS 371477 HAS SOUPS 371477 WITH SCORE 373698.586
AT ITER 2526 NEW BEST:: SOT 2406071 SOS 2221586 HAS SOPS 2221586 HAS SOUS 371450 HAS SOUPS 371450 WITH SCORE 373671.586
AT ITER 2528 NEW BEST:: SOT 2405898 SOS 2221413 HAS SOPS 2221413 HAS SOUS 370981 HAS SOUPS 370981 WITH SCORE 373202.413
AT ITER 2564 NEW BEST:: SOT 2405829 SOS 2221344 HAS SOPS 2221344 HAS SOUS 370642 HAS SOUPS 370642 WITH SCORE 372863.344
AT ITER 2568 NEW BEST:: SOT 2407605 SOS 2223120 HAS SOPS 2223120 HAS SOUS 370076 HAS SOUPS 370076 WITH SCORE 372299.12
AT ITER 2585 NEW BEST:: SOT 2407605 SOS 2223120 HAS SOPS 2223120 HAS SOUS 370060 HAS SOUPS 370060 WITH SCORE 372283.12
AT ITER 2627 NEW BEST:: SOT 2407049 SOS 2222564 HAS SOPS 2222564 HAS SOUS 367561 HAS SOUPS 367561 WITH SCORE 369783.564
AT ITER 2650 NEW BEST:: SOT 2407255 SOS 2222770 HAS SOPS 2222770 HAS SOUS 367407 HAS SOUPS 367407 WITH SCORE 369629.77
AT ITER 2717 NEW BEST:: SOT 2407128 SOS 2222643 HAS SOPS 2222643 HAS SOUS 366939 HAS SOUPS 366939 WITH SCORE 369161.643
AT ITER 2761 NEW BEST:: SOT 2407128 SOS 2222643 HAS SOPS 2222643 HAS SOUS 366893 HAS SOUPS 366893 WITH SCORE 369115.643
AT ITER 2763 NEW BEST:: SOT 2407042 SOS 2222557 HAS SOPS 2222557 HAS SOUS 365301 HAS SOUPS 365301 WITH SCORE 367523.557
AT ITER 2782 NEW BEST:: SOT 2407042 SOS 2218842 HAS SOPS 2218842 HAS SOUS 365291 HAS SOUPS 365291 WITH SCORE 367509.842
AT ITER 2880 NEW BEST:: SOT 2407042 SOS 2218842 HAS SOPS 2218842 HAS SOUS 365287 HAS SOUPS 365287 WITH SCORE 367505.842
AT ITER 2904 NEW BEST:: SOT 2406292 SOS 2218092 HAS SOPS 2218092 HAS SOUS 364537 HAS SOUPS 364537 WITH SCORE 366755.092
AT ITER 2908 NEW BEST:: SOT 2406257 SOS 2218057 HAS SOPS 2218057 HAS SOUS 364367 HAS SOUPS 364367 WITH SCORE 366585.057
AT ITER 2913 NEW BEST:: SOT 2403083 SOS 2214883 HAS SOPS 2214883 HAS SOUS 358676 HAS SOUPS 358676 WITH SCORE 360890.883
AT ITER 2926 NEW BEST:: SOT 2403083 SOS 2214883 HAS SOPS 2214883 HAS SOUS 358671 HAS SOUPS 358671 WITH SCORE 360885.883
AT ITER 2935 NEW BEST:: SOT 2403014 SOS 2214814 HAS SOPS 2214814 HAS SOUS 358436 HAS SOUPS 358436 WITH SCORE 360650.814
AT ITER 2950 NEW BEST:: SOT 2403014 SOS 2214814 HAS SOPS 2214814 HAS SOUS 358311 HAS SOUPS 358311 WITH SCORE 360525.814
AT ITER 3008 NEW BEST:: SOT 2402651 SOS 2214451 HAS SOPS 2214451 HAS SOUS 357948 HAS SOUPS 357948 WITH SCORE 360162.451
AT ITER 3009 NEW BEST:: SOT 2402105 SOS 2213905 HAS SOPS 2213905 HAS SOUS 357402 HAS SOUPS 357402 WITH SCORE 359615.905
AT ITER 3043 NEW BEST:: SOT 2398918 SOS 2210718 HAS SOPS 2210718 HAS SOUS 355764 HAS SOUPS 355764 WITH SCORE 357974.718
AT ITER 3045 NEW BEST:: SOT 2398918 SOS 2210718 HAS SOPS 2210718 HAS SOUS 355725 HAS SOUPS 355725 WITH SCORE 357935.718
AT ITER 3064 NEW BEST:: SOT 2398918 SOS 2210718 HAS SOPS 2210718 HAS SOUS 355475 HAS SOUPS 355475 WITH SCORE 357685.718
AT ITER 3096 NEW BEST:: SOT 2398184 SOS 2209984 HAS SOPS 2209984 HAS SOUS 355005 HAS SOUPS 355005 WITH SCORE 357214.984
AT ITER 3120 NEW BEST:: SOT 2398172 SOS 2209972 HAS SOPS 2209972 HAS SOUS 354903 HAS SOUPS 354903 WITH SCORE 357112.972
AT ITER 3134 NEW BEST:: SOT 2398169 SOS 2207929 HAS SOPS 2207929 HAS SOUS 354903 HAS SOUPS 354903 WITH SCORE 357110.929
AT ITER 3142 NEW BEST:: SOT 2398169 SOS 2204789 HAS SOPS 2204789 HAS SOUS 354887 HAS SOUPS 354887 WITH SCORE 357091.789
AT ITER 3152 NEW BEST:: SOT 2400833 SOS 2207453 HAS SOPS 2207453 HAS SOUS 353624 HAS SOUPS 353624 WITH SCORE 355831.453
AT ITER 3196 NEW BEST:: SOT 2399688 SOS 2206308 HAS SOPS 2206308 HAS SOUS 350738 HAS SOUPS 350738 WITH SCORE 352944.308
AT ITER 3241 NEW BEST:: SOT 2399688 SOS 2201758 HAS SOPS 2201758 HAS SOUS 350742 HAS SOUPS 350742 WITH SCORE 352943.758
AT ITER 3253 NEW BEST:: SOT 2399618 SOS 2201688 HAS SOPS 2201688 HAS SOUS 350594 HAS SOUPS 350594 WITH SCORE 352795.688
AT ITER 3296 NEW BEST:: SOT 2399579 SOS 2201649 HAS SOPS 2201649 HAS SOUS 350465 HAS SOUPS 350465 WITH SCORE 352666.649
AT ITER 3315 NEW BEST:: SOT 2399519 SOS 2201589 HAS SOPS 2201589 HAS SOUS 350405 HAS SOUPS 350405 WITH SCORE 352606.589
AT ITER 3366 NEW BEST:: SOT 2399277 SOS 2201347 HAS SOPS 2201347 HAS SOUS 350163 HAS SOUPS 350163 WITH SCORE 352364.347
AT ITER 3375 NEW BEST:: SOT 2398488 SOS 2200558 HAS SOPS 2200558 HAS SOUS 349730 HAS SOUPS 349730 WITH SCORE 351930.558
AT ITER 3386 NEW BEST:: SOT 2398488 SOS 2200558 HAS SOPS 2200558 HAS SOUS 349335 HAS SOUPS 349335 WITH SCORE 351535.558
AT ITER 3429 NEW BEST:: SOT 2398488 SOS 2200558 HAS SOPS 2200558 HAS SOUS 349215 HAS SOUPS 349215 WITH SCORE 351415.558
AT ITER 3444 NEW BEST:: SOT 2398644 SOS 2200714 HAS SOPS 2200714 HAS SOUS 349176 HAS SOUPS 349176 WITH SCORE 351376.714
AT ITER 3466 NEW BEST:: SOT 2398640 SOS 2198564 HAS SOPS 2198564 HAS SOUS 349169 HAS SOUPS 349169 WITH SCORE 351367.564
AT ITER 3500 NEW BEST:: SOT 2398640 SOS 2198564 HAS SOPS 2198564 HAS SOUS 349063 HAS SOUPS 349063 WITH SCORE 351261.564
AT ITER 3508 NEW BEST:: SOT 2397322 SOS 2197246 HAS SOPS 2197246 HAS SOUS 348518 HAS SOUPS 348518 WITH SCORE 350715.246
AT ITER 3515 NEW BEST:: SOT 2395263 SOS 2195187 HAS SOPS 2195187 HAS SOUS 346789 HAS SOUPS 346789 WITH SCORE 348984.187
AT ITER 3525 NEW BEST:: SOT 2395178 SOS 2195102 HAS SOPS 2195102 HAS SOUS 346492 HAS SOUPS 346492 WITH SCORE 348687.102
AT ITER 3655 NEW BEST:: SOT 2395178 SOS 2195102 HAS SOPS 2195102 HAS SOUS 346470 HAS SOUPS 346470 WITH SCORE 348665.102
AT ITER 3662 NEW BEST:: SOT 2394936 SOS 2194860 HAS SOPS 2194860 HAS SOUS 346228 HAS SOUPS 346228 WITH SCORE 348422.86
AT ITER 3692 NEW BEST:: SOT 2394867 SOS 2194791 HAS SOPS 2194791 HAS SOUS 345889 HAS SOUPS 345889 WITH SCORE 348083.791
AT ITER 3720 NEW BEST:: SOT 2394867 SOS 2194791 HAS SOPS 2194791 HAS SOUS 345867 HAS SOUPS 345867 WITH SCORE 348061.791
AT ITER 3774 NEW BEST:: SOT 2394867 SOS 2194791 HAS SOPS 2194791 HAS SOUS 345809 HAS SOUPS 345809 WITH SCORE 348003.791
AT ITER 3776 NEW BEST:: SOT 2394867 SOS 2194791 HAS SOPS 2194791 HAS SOUS 345774 HAS SOUPS 345774 WITH SCORE 347968.791
AT ITER 3783 NEW BEST:: SOT 2394798 SOS 2194722 HAS SOPS 2194722 HAS SOUS 345522 HAS SOUPS 345522 WITH SCORE 347716.722
AT ITER 3785 NEW BEST:: SOT 2394720 SOS 2194644 HAS SOPS 2194644 HAS SOUS 345264 HAS SOUPS 345264 WITH SCORE 347458.644
AT ITER 3842 NEW BEST:: SOT 2394720 SOS 2192369 HAS SOPS 2192369 HAS SOUS 345266 HAS SOUPS 345266 WITH SCORE 347458.369
AT ITER 3883 NEW BEST:: SOT 2394660 SOS 2192309 HAS SOPS 2192309 HAS SOUS 345206 HAS SOUPS 345206 WITH SCORE 347398.309
AT ITER 3946 NEW BEST:: SOT 2394658 SOS 2192203 HAS SOPS 2192203 HAS SOUS 345200 HAS SOUPS 345200 WITH SCORE 347392.203
AT ITER 3966 NEW BEST:: SOT 2394658 SOS 2192203 HAS SOPS 2192203 HAS SOUS 345061 HAS SOUPS 345061 WITH SCORE 347253.203
AT ITER 3973 NEW BEST:: SOT 2394658 SOS 2189928 HAS SOPS 2189928 HAS SOUS 345063 HAS SOUPS 345063 WITH SCORE 347252.928
AT ITER 3979 NEW BEST:: SOT 2392826 SOS 2188096 HAS SOPS 2188096 HAS SOUS 344573 HAS SOUPS 344573 WITH SCORE 346761.096
AT ITER 4006 NEW BEST:: SOT 2393773 SOS 2189043 HAS SOPS 2189043 HAS SOUS 344374 HAS SOUPS 344374 WITH SCORE 346563.043
AT ITER 4044 NEW BEST:: SOT 2393773 SOS 2189043 HAS SOPS 2189043 HAS SOUS 344358 HAS SOUPS 344358 WITH SCORE 346547.043
AT ITER 4076 NEW BEST:: SOT 2393775 SOS 2184390 HAS SOPS 2184390 HAS SOUS 344359 HAS SOUPS 344359 WITH SCORE 346543.39
AT ITER 4105 NEW BEST:: SOT 2393353 SOS 2183968 HAS SOPS 2183968 HAS SOUS 344297 HAS SOUPS 344297 WITH SCORE 346480.968
AT ITER 4119 NEW BEST:: SOT 2393348 SOS 2183963 HAS SOPS 2183963 HAS SOUS 344253 HAS SOUPS 344253 WITH SCORE 346436.963
AT ITER 4122 NEW BEST:: SOT 2393279 SOS 2183894 HAS SOPS 2183894 HAS SOUS 344001 HAS SOUPS 344001 WITH SCORE 346184.894
AT ITER 4246 NEW BEST:: SOT 2393152 SOS 2183767 HAS SOPS 2183767 HAS SOUS 343645 HAS SOUPS 343645 WITH SCORE 345828.767
AT ITER 4250 NEW BEST:: SOT 2392585 SOS 2183200 HAS SOPS 2183200 HAS SOUS 343078 HAS SOUPS 343078 WITH SCORE 345261.2
AT ITER 4259 NEW BEST:: SOT 2392570 SOS 2183185 HAS SOPS 2183185 HAS SOUS 342994 HAS SOUPS 342994 WITH SCORE 345177.185
AT ITER 4271 NEW BEST:: SOT 2391532 SOS 2182147 HAS SOPS 2182147 HAS SOUS 341889 HAS SOUPS 341889 WITH SCORE 344071.147
AT ITER 4273 NEW BEST:: SOT 2392092 SOS 2182707 HAS SOPS 2182707 HAS SOUS 338291 HAS SOUPS 338291 WITH SCORE 340473.707
AT ITER 4287 NEW BEST:: SOT 2392056 SOS 2182671 HAS SOPS 2182671 HAS SOUS 338154 HAS SOUPS 338154 WITH SCORE 340336.671
AT ITER 4340 NEW BEST:: SOT 2392056 SOS 2182671 HAS SOPS 2182671 HAS SOUS 338087 HAS SOUPS 338087 WITH SCORE 340269.671
AT ITER 4378 NEW BEST:: SOT 2392056 SOS 2182671 HAS SOPS 2182671 HAS SOUS 338065 HAS SOUPS 338065 WITH SCORE 340247.671
AT ITER 4593 NEW BEST:: SOT 2391917 SOS 2182532 HAS SOPS 2182532 HAS SOUS 337545 HAS SOUPS 337545 WITH SCORE 339727.532
AT ITER 4594 NEW BEST:: SOT 2392007 SOS 2182622 HAS SOPS 2182622 HAS SOUS 337486 HAS SOUPS 337486 WITH SCORE 339668.622
AT ITER 4621 NEW BEST:: SOT 2388893 SOS 2179508 HAS SOPS 2179508 HAS SOUS 335880 HAS SOUPS 335880 WITH SCORE 338059.508
AT ITER 4645 NEW BEST:: SOT 2388893 SOS 2179508 HAS SOPS 2179508 HAS SOUS 335855 HAS SOUPS 335855 WITH SCORE 338034.508
AT ITER 4724 NEW BEST:: SOT 2388893 SOS 2179508 HAS SOPS 2179508 HAS SOUS 334829 HAS SOUPS 334829 WITH SCORE 337008.508
AT ITER 4816 NEW BEST:: SOT 2387709 SOS 2178324 HAS SOPS 2178324 HAS SOUS 331777 HAS SOUPS 331777 WITH SCORE 333955.324
AT ITER 4822 NEW BEST:: SOT 2387709 SOS 2178324 HAS SOPS 2178324 HAS SOUS 331719 HAS SOUPS 331719 WITH SCORE 333897.324
AT ITER 4865 NEW BEST:: SOT 2387709 SOS 2178324 HAS SOPS 2178324 HAS SOUS 331609 HAS SOUPS 331609 WITH SCORE 333787.324
AT ITER 4896 NEW BEST:: SOT 2387582 SOS 2178197 HAS SOPS 2178197 HAS SOUS 331253 HAS SOUPS 331253 WITH SCORE 333431.197
AT ITER 4898 NEW BEST:: SOT 2387517 SOS 2178132 HAS SOPS 2178132 HAS SOUS 331165 HAS SOUPS 331165 WITH SCORE 333343.132
AT ITER 4911 NEW BEST:: SOT 2387456 SOS 2178071 HAS SOPS 2178071 HAS SOUS 330977 HAS SOUPS 330977 WITH SCORE 333155.071
AT ITER 4978 NEW BEST:: SOT 2387456 SOS 2178071 HAS SOPS 2178071 HAS SOUS 330793 HAS SOUPS 330793 WITH SCORE 332971.071
AT ITER 5050 NEW BEST:: SOT 2387408 SOS 2178023 HAS SOPS 2178023 HAS SOUS 330501 HAS SOUPS 330501 WITH SCORE 332679.023
AT ITER 5089 NEW BEST:: SOT 2386716 SOS 2177331 HAS SOPS 2177331 HAS SOUS 328692 HAS SOUPS 328692 WITH SCORE 330869.331
AT ITER 5111 NEW BEST:: SOT 2386440 SOS 2177055 HAS SOPS 2177055 HAS SOUS 328673 HAS SOUPS 328673 WITH SCORE 330850.055
AT ITER 5139 NEW BEST:: SOT 2386644 SOS 2177259 HAS SOPS 2177259 HAS SOUS 328620 HAS SOUPS 328620 WITH SCORE 330797.259
AT ITER 5194 NEW BEST:: SOT 2385064 SOS 2175679 HAS SOPS 2175679 HAS SOUS 327040 HAS SOUPS 327040 WITH SCORE 329215.679
AT ITER 5492 NEW BEST:: SOT 2382880 SOS 2173495 HAS SOPS 2173495 HAS SOUS 324856 HAS SOUPS 324856 WITH SCORE 327029.495
AT ITER 5499 NEW BEST:: SOT 2382880 SOS 2168840 HAS SOPS 2168840 HAS SOUS 324855 HAS SOUPS 324855 WITH SCORE 327023.84
AT ITER 5549 NEW BEST:: SOT 2382505 SOS 2168465 HAS SOPS 2168465 HAS SOUS 323907 HAS SOUPS 323907 WITH SCORE 326075.465
AT ITER 5628 NEW BEST:: SOT 2381875 SOS 2167835 HAS SOPS 2167835 HAS SOUS 321674 HAS SOUPS 321674 WITH SCORE 323841.835
AT ITER 5630 NEW BEST:: SOT 2381838 SOS 2167798 HAS SOPS 2167798 HAS SOUS 321637 HAS SOUPS 321637 WITH SCORE 323804.798
AT ITER 5633 NEW BEST:: SOT 2381833 SOS 2167793 HAS SOPS 2167793 HAS SOUS 321609 HAS SOUPS 321609 WITH SCORE 323776.793
AT ITER 5635 NEW BEST:: SOT 2381833 SOS 2167793 HAS SOPS 2167793 HAS SOUS 321542 HAS SOUPS 321542 WITH SCORE 323709.793
AT ITER 5655 NEW BEST:: SOT 2381833 SOS 2167793 HAS SOPS 2167793 HAS SOUS 321531 HAS SOUPS 321531 WITH SCORE 323698.793
AT ITER 5719 NEW BEST:: SOT 2381626 SOS 2167586 HAS SOPS 2167586 HAS SOUS 321507 HAS SOUPS 321507 WITH SCORE 323674.586
AT ITER 5727 NEW BEST:: SOT 2381565 SOS 2167525 HAS SOPS 2167525 HAS SOUS 321319 HAS SOUPS 321319 WITH SCORE 323486.525
AT ITER 5746 NEW BEST:: SOT 2381565 SOS 2167525 HAS SOPS 2167525 HAS SOUS 321276 HAS SOUPS 321276 WITH SCORE 323443.525
AT ITER 5813 NEW BEST:: SOT 2381565 SOS 2167525 HAS SOPS 2167525 HAS SOUS 321197 HAS SOUPS 321197 WITH SCORE 323364.525
AT ITER 5816 NEW BEST:: SOT 2381321 SOS 2167281 HAS SOPS 2167281 HAS SOUS 320445 HAS SOUPS 320445 WITH SCORE 322612.281
AT ITER 5833 NEW BEST:: SOT 2380729 SOS 2166689 HAS SOPS 2166689 HAS SOUS 318919 HAS SOUPS 318919 WITH SCORE 321085.689
AT ITER 5843 NEW BEST:: SOT 2380651 SOS 2166611 HAS SOPS 2166611 HAS SOUS 318719 HAS SOUPS 318719 WITH SCORE 320885.611
AT ITER 5861 NEW BEST:: SOT 2379964 SOS 2165924 HAS SOPS 2165924 HAS SOUS 317029 HAS SOUPS 317029 WITH SCORE 319194.924
AT ITER 5864 NEW BEST:: SOT 2379964 SOS 2163649 HAS SOPS 2163649 HAS SOUS 317031 HAS SOUPS 317031 WITH SCORE 319194.649
AT ITER 5925 NEW BEST:: SOT 2379874 SOS 2163559 HAS SOPS 2163559 HAS SOUS 316768 HAS SOUPS 316768 WITH SCORE 318931.559
AT ITER 5936 NEW BEST:: SOT 2379694 SOS 2163379 HAS SOPS 2163379 HAS SOUS 316472 HAS SOUPS 316472 WITH SCORE 318635.379
AT ITER 6015 NEW BEST:: SOT 2379671 SOS 2163356 HAS SOPS 2163356 HAS SOUS 316388 HAS SOUPS 316388 WITH SCORE 318551.356
AT ITER 6033 NEW BEST:: SOT 2379659 SOS 2163344 HAS SOPS 2163344 HAS SOUS 316375 HAS SOUPS 316375 WITH SCORE 318538.344
AT ITER 6129 NEW BEST:: SOT 2379455 SOS 2163140 HAS SOPS 2163140 HAS SOUS 316210 HAS SOUPS 316210 WITH SCORE 318373.14
AT ITER 6150 NEW BEST:: SOT 2379333 SOS 2163018 HAS SOPS 2163018 HAS SOUS 315834 HAS SOUPS 315834 WITH SCORE 317997.018
AT ITER 6160 NEW BEST:: SOT 2379331 SOS 2161551 HAS SOPS 2161551 HAS SOUS 315829 HAS SOUPS 315829 WITH SCORE 317990.551
AT ITER 6164 NEW BEST:: SOT 2379308 SOS 2161528 HAS SOPS 2161528 HAS SOUS 315745 HAS SOUPS 315745 WITH SCORE 317906.528
AT ITER 6238 NEW BEST:: SOT 2378801 SOS 2161021 HAS SOPS 2161021 HAS SOUS 315119 HAS SOUPS 315119 WITH SCORE 317280.021
AT ITER 6275 NEW BEST:: SOT 2378801 SOS 2161021 HAS SOPS 2161021 HAS SOUS 315073 HAS SOUPS 315073 WITH SCORE 317234.021
AT ITER 6432 NEW BEST:: SOT 2378801 SOS 2161021 HAS SOPS 2161021 HAS SOUS 314889 HAS SOUPS 314889 WITH SCORE 317050.021
AT ITER 6483 NEW BEST:: SOT 2381214 SOS 2163434 HAS SOPS 2163434 HAS SOUS 310372 HAS SOUPS 310372 WITH SCORE 312535.434
AT ITER 6589 NEW BEST:: SOT 2381041 SOS 2163261 HAS SOPS 2163261 HAS SOUS 309903 HAS SOUPS 309903 WITH SCORE 312066.261
AT ITER 6625 NEW BEST:: SOT 2380995 SOS 2163215 HAS SOPS 2163215 HAS SOUS 309713 HAS SOUPS 309713 WITH SCORE 311876.215
AT ITER 6721 NEW BEST:: SOT 2380965 SOS 2163185 HAS SOPS 2163185 HAS SOUS 309683 HAS SOUPS 309683 WITH SCORE 311846.185
AT ITER 6737 NEW BEST:: SOT 2380965 SOS 2163185 HAS SOPS 2163185 HAS SOUS 309671 HAS SOUPS 309671 WITH SCORE 311834.185
AT ITER 6773 NEW BEST:: SOT 2380919 SOS 2163139 HAS SOPS 2163139 HAS SOUS 309503 HAS SOUPS 309503 WITH SCORE 311666.139
AT ITER 6978 NEW BEST:: SOT 2378968 SOS 2161188 HAS SOPS 2161188 HAS SOUS 307552 HAS SOUPS 307552 WITH SCORE 309713.188
AT ITER 7010 NEW BEST:: SOT 2378663 SOS 2160883 HAS SOPS 2160883 HAS SOUS 306612 HAS SOUPS 306612 WITH SCORE 308772.883
AT ITER 7019 NEW BEST:: SOT 2377922 SOS 2160142 HAS SOPS 2160142 HAS SOUS 306542 HAS SOUPS 306542 WITH SCORE 308702.142
AT ITER 7259 NEW BEST:: SOT 2377547 SOS 2159767 HAS SOPS 2159767 HAS SOUS 305594 HAS SOUPS 305594 WITH SCORE 307753.767
AT ITER 7352 NEW BEST:: SOT 2376336 SOS 2158556 HAS SOPS 2158556 HAS SOUS 305595 HAS SOUPS 305595 WITH SCORE 307753.556
AT ITER 7379 NEW BEST:: SOT 2376334 SOS 2157089 HAS SOPS 2157089 HAS SOUS 305590 HAS SOUPS 305590 WITH SCORE 307747.089
AT ITER 7569 NEW BEST:: SOT 2376329 SOS 2157084 HAS SOPS 2157084 HAS SOUS 305562 HAS SOUPS 305562 WITH SCORE 307719.084
AT ITER 7641 NEW BEST:: SOT 2376208 SOS 2156963 HAS SOPS 2156963 HAS SOUS 305441 HAS SOUPS 305441 WITH SCORE 307597.963
AT ITER 7887 NEW BEST:: SOT 2376169 SOS 2156924 HAS SOPS 2156924 HAS SOUS 305312 HAS SOUPS 305312 WITH SCORE 307468.924
AT ITER 8075 NEW BEST:: SOT 2376133 SOS 2156888 HAS SOPS 2156888 HAS SOUS 305143 HAS SOUPS 305143 WITH SCORE 307299.888
AT ITER 8563 NEW BEST:: SOT 2376133 SOS 2156888 HAS SOPS 2156888 HAS SOUS 305095 HAS SOUPS 305095 WITH SCORE 307251.888
AT ITER 8737 NEW BEST:: SOT 2376133 SOS 2156888 HAS SOPS 2156888 HAS SOUS 305073 HAS SOUPS 305073 WITH SCORE 307229.888
AT ITER 8952 NEW BEST:: SOT 2376018 SOS 2156773 HAS SOPS 2156773 HAS SOUS 305019 HAS SOUPS 305019 WITH SCORE 307175.773
AT ITER 8997 NEW BEST:: SOT 2376018 SOS 2156773 HAS SOPS 2156773 HAS SOUS 304952 HAS SOUPS 304952 WITH SCORE 307108.773
AT ITER 9094 NEW BEST:: SOT 2375845 SOS 2156600 HAS SOPS 2156600 HAS SOUS 304684 HAS SOUPS 304684 WITH SCORE 306840.6
AT ITER 9488 NEW BEST:: SOT 2375845 SOS 2156600 HAS SOPS 2156600 HAS SOUS 304617 HAS SOUPS 304617 WITH SCORE 306773.6
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15905196 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16108128 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="GlobalResAllocation-COL-07"
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 GlobalResAllocation-COL-07, 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 r195-smll-167840342100192"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/GlobalResAllocation-COL-07.tgz
mv GlobalResAllocation-COL-07 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 ;