Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r043-tajo-167813697000528.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is BusinessProcesses-PT-10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r043-tajo-167813697000528
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 572K
-rw-r--r-- 1 mcc users 6.2K Feb 25 16:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 65K Feb 25 16:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 25 16:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K 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 3.3K Feb 25 15:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 15:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 25 16:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 149K Feb 25 16:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.6K Feb 25 16:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 25 16:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:39 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:39 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 131K 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 1678791670092

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=BusinessProcesses-PT-10
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 11:01:11] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 11:01:11] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 11:01:11] [INFO ] Load time of PNML (sax parser for PT used): 59 ms
[2023-03-14 11:01:11] [INFO ] Transformed 518 places.
[2023-03-14 11:01:11] [INFO ] Transformed 471 transitions.
[2023-03-14 11:01:11] [INFO ] Found NUPN structural information;
[2023-03-14 11:01:11] [INFO ] Parsed PT model containing 518 places and 471 transitions and 1415 arcs in 116 ms.
[2023-03-14 11:01:11] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 518 places, 471 transitions and 1415 arcs took 6 ms.
Total runtime 148 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 10
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 518 places, 471 transitions, 1415 arcs.
AT ITER 0 NEW BEST:: SOT 157270 SOS 64272 HAS SOPS 64272 HAS SOUS 61445 HAS SOUPS 61445 WITH SCORE 61509.272
AT ITER 1 NEW BEST:: SOT 157269 SOS 64270 HAS SOPS 64270 HAS SOUS 61443 HAS SOUPS 61443 WITH SCORE 61507.27
AT ITER 5 NEW BEST:: SOT 157172 SOS 64179 HAS SOPS 64179 HAS SOUS 61431 HAS SOUPS 61431 WITH SCORE 61495.179
AT ITER 11 NEW BEST:: SOT 153719 SOS 75413 HAS SOPS 75413 HAS SOUS 58500 HAS SOUPS 58500 WITH SCORE 58575.413
AT ITER 13 NEW BEST:: SOT 153719 SOS 75408 HAS SOPS 75408 HAS SOUS 58495 HAS SOUPS 58495 WITH SCORE 58570.408
AT ITER 15 NEW BEST:: SOT 153548 SOS 75050 HAS SOPS 75050 HAS SOUS 58357 HAS SOUPS 58357 WITH SCORE 58432.05
AT ITER 19 NEW BEST:: SOT 153438 SOS 74830 HAS SOPS 74830 HAS SOUS 58247 HAS SOUPS 58247 WITH SCORE 58321.83
AT ITER 26 NEW BEST:: SOT 153438 SOS 74537 HAS SOPS 74537 HAS SOUS 58133 HAS SOUPS 58133 WITH SCORE 58207.537
AT ITER 36 NEW BEST:: SOT 153438 SOS 74382 HAS SOPS 74382 HAS SOUS 58058 HAS SOUPS 58058 WITH SCORE 58132.382
AT ITER 48 NEW BEST:: SOT 153438 SOS 74356 HAS SOPS 74356 HAS SOUS 58058 HAS SOUPS 58058 WITH SCORE 58132.356
AT ITER 57 NEW BEST:: SOT 153377 SOS 74330 HAS SOPS 74330 HAS SOUS 58031 HAS SOUPS 58031 WITH SCORE 58105.33
AT ITER 72 NEW BEST:: SOT 153419 SOS 74190 HAS SOPS 74190 HAS SOUS 57971 HAS SOUPS 57971 WITH SCORE 58045.19
AT ITER 73 NEW BEST:: SOT 153374 SOS 74086 HAS SOPS 74086 HAS SOUS 57940 HAS SOUPS 57940 WITH SCORE 58014.086
AT ITER 81 NEW BEST:: SOT 153294 SOS 73990 HAS SOPS 73990 HAS SOUS 57843 HAS SOUPS 57843 WITH SCORE 57916.99
AT ITER 85 NEW BEST:: SOT 153182 SOS 73766 HAS SOPS 73766 HAS SOUS 57730 HAS SOUPS 57730 WITH SCORE 57803.766
AT ITER 90 NEW BEST:: SOT 152597 SOS 73142 HAS SOPS 73142 HAS SOUS 57145 HAS SOUPS 57145 WITH SCORE 57218.142
AT ITER 93 NEW BEST:: SOT 152574 SOS 73119 HAS SOPS 73119 HAS SOUS 57122 HAS SOUPS 57122 WITH SCORE 57195.119
AT ITER 99 NEW BEST:: SOT 152551 SOS 73073 HAS SOPS 73073 HAS SOUS 57076 HAS SOUPS 57076 WITH SCORE 57149.073
AT ITER 115 NEW BEST:: SOT 152551 SOS 72896 HAS SOPS 72896 HAS SOUS 57004 HAS SOUPS 57004 WITH SCORE 57076.896
AT ITER 117 NEW BEST:: SOT 152414 SOS 72622 HAS SOPS 72622 HAS SOUS 56975 HAS SOUPS 56975 WITH SCORE 57047.622
AT ITER 137 NEW BEST:: SOT 152414 SOS 72592 HAS SOPS 72592 HAS SOUS 56975 HAS SOUPS 56975 WITH SCORE 57047.592
AT ITER 142 NEW BEST:: SOT 152340 SOS 72444 HAS SOPS 72444 HAS SOUS 56901 HAS SOUPS 56901 WITH SCORE 56973.444
AT ITER 148 NEW BEST:: SOT 152340 SOS 72404 HAS SOPS 72404 HAS SOUS 56861 HAS SOUPS 56861 WITH SCORE 56933.404
AT ITER 150 NEW BEST:: SOT 151780 SOS 71809 HAS SOPS 71809 HAS SOUS 56301 HAS SOUPS 56301 WITH SCORE 56372.809
AT ITER 160 NEW BEST:: SOT 151539 SOS 71428 HAS SOPS 71428 HAS SOUS 56151 HAS SOUPS 56151 WITH SCORE 56222.428
AT ITER 165 NEW BEST:: SOT 151498 SOS 71346 HAS SOPS 71346 HAS SOUS 56135 HAS SOUPS 56135 WITH SCORE 56206.346
AT ITER 172 NEW BEST:: SOT 151496 SOS 71389 HAS SOPS 71389 HAS SOUS 56131 HAS SOUPS 56131 WITH SCORE 56202.389
AT ITER 175 NEW BEST:: SOT 151371 SOS 71139 HAS SOPS 71139 HAS SOUS 55881 HAS SOUPS 55881 WITH SCORE 55952.139
AT ITER 181 NEW BEST:: SOT 151009 SOS 71052 HAS SOPS 71052 HAS SOUS 55517 HAS SOUPS 55517 WITH SCORE 55588.052
AT ITER 184 NEW BEST:: SOT 151041 SOS 71087 HAS SOPS 71087 HAS SOUS 55486 HAS SOUPS 55486 WITH SCORE 55557.087
AT ITER 194 NEW BEST:: SOT 151016 SOS 71037 HAS SOPS 71037 HAS SOUS 55436 HAS SOUPS 55436 WITH SCORE 55507.037
AT ITER 198 NEW BEST:: SOT 151010 SOS 71025 HAS SOPS 71025 HAS SOUS 55424 HAS SOUPS 55424 WITH SCORE 55495.025
AT ITER 202 NEW BEST:: SOT 151010 SOS 71020 HAS SOPS 71020 HAS SOUS 55419 HAS SOUPS 55419 WITH SCORE 55490.02
AT ITER 203 NEW BEST:: SOT 151006 SOS 71018 HAS SOPS 71018 HAS SOUS 55417 HAS SOUPS 55417 WITH SCORE 55488.018
AT ITER 221 NEW BEST:: SOT 150762 SOS 70854 HAS SOPS 70854 HAS SOUS 55255 HAS SOUPS 55255 WITH SCORE 55325.854
AT ITER 232 NEW BEST:: SOT 150734 SOS 70799 HAS SOPS 70799 HAS SOUS 55200 HAS SOUPS 55200 WITH SCORE 55270.799
AT ITER 245 NEW BEST:: SOT 150502 SOS 70451 HAS SOPS 70451 HAS SOUS 54968 HAS SOUPS 54968 WITH SCORE 55038.451
AT ITER 254 NEW BEST:: SOT 150381 SOS 70330 HAS SOPS 70330 HAS SOUS 54894 HAS SOUPS 54894 WITH SCORE 54964.33
AT ITER 256 NEW BEST:: SOT 147731 SOS 68458 HAS SOPS 68458 HAS SOUS 52294 HAS SOUPS 52294 WITH SCORE 52362.458
AT ITER 260 NEW BEST:: SOT 147694 SOS 68428 HAS SOPS 68428 HAS SOUS 52264 HAS SOUPS 52264 WITH SCORE 52332.428
AT ITER 262 NEW BEST:: SOT 147715 SOS 68523 HAS SOPS 68523 HAS SOUS 52257 HAS SOUPS 52257 WITH SCORE 52325.523
AT ITER 265 NEW BEST:: SOT 147596 SOS 68355 HAS SOPS 68355 HAS SOUS 52138 HAS SOUPS 52138 WITH SCORE 52206.355
AT ITER 268 NEW BEST:: SOT 147596 SOS 68293 HAS SOPS 68293 HAS SOUS 52076 HAS SOUPS 52076 WITH SCORE 52144.293
AT ITER 282 NEW BEST:: SOT 147638 SOS 68090 HAS SOPS 68090 HAS SOUS 52063 HAS SOUPS 52063 WITH SCORE 52131.09
AT ITER 285 NEW BEST:: SOT 147625 SOS 68077 HAS SOPS 68077 HAS SOUS 52050 HAS SOUPS 52050 WITH SCORE 52118.077
AT ITER 289 NEW BEST:: SOT 147471 SOS 67763 HAS SOPS 67763 HAS SOUS 51936 HAS SOUPS 51936 WITH SCORE 52003.763
AT ITER 300 NEW BEST:: SOT 147471 SOS 67763 HAS SOPS 67763 HAS SOUS 51869 HAS SOUPS 51869 WITH SCORE 51936.763
AT ITER 304 NEW BEST:: SOT 147471 SOS 67747 HAS SOPS 67747 HAS SOUS 51853 HAS SOUPS 51853 WITH SCORE 51920.747
AT ITER 322 NEW BEST:: SOT 147420 SOS 67535 HAS SOPS 67535 HAS SOUS 51740 HAS SOUPS 51740 WITH SCORE 51807.535
AT ITER 333 NEW BEST:: SOT 147420 SOS 67510 HAS SOPS 67510 HAS SOUS 51690 HAS SOUPS 51690 WITH SCORE 51757.51
AT ITER 336 NEW BEST:: SOT 147419 SOS 67443 HAS SOPS 67443 HAS SOUS 51665 HAS SOUPS 51665 WITH SCORE 51732.443
AT ITER 338 NEW BEST:: SOT 147393 SOS 67411 HAS SOPS 67411 HAS SOUS 51633 HAS SOUPS 51633 WITH SCORE 51700.411
AT ITER 342 NEW BEST:: SOT 147295 SOS 67215 HAS SOPS 67215 HAS SOUS 51437 HAS SOUPS 51437 WITH SCORE 51504.215
AT ITER 355 NEW BEST:: SOT 147270 SOS 66790 HAS SOPS 66790 HAS SOUS 51387 HAS SOUPS 51387 WITH SCORE 51453.79
AT ITER 356 NEW BEST:: SOT 146985 SOS 66529 HAS SOPS 66529 HAS SOUS 51371 HAS SOUPS 51371 WITH SCORE 51437.529
AT ITER 359 NEW BEST:: SOT 146803 SOS 66165 HAS SOPS 66165 HAS SOUS 51186 HAS SOUPS 51186 WITH SCORE 51252.165
AT ITER 363 NEW BEST:: SOT 146708 SOS 66078 HAS SOPS 66078 HAS SOUS 51099 HAS SOUPS 51099 WITH SCORE 51165.078
AT ITER 372 NEW BEST:: SOT 146715 SOS 66032 HAS SOPS 66032 HAS SOUS 51053 HAS SOUPS 51053 WITH SCORE 51119.032
AT ITER 380 NEW BEST:: SOT 146707 SOS 66024 HAS SOPS 66024 HAS SOUS 51036 HAS SOUPS 51036 WITH SCORE 51102.024
AT ITER 393 NEW BEST:: SOT 146709 SOS 65944 HAS SOPS 65944 HAS SOUS 50956 HAS SOUPS 50956 WITH SCORE 51021.944
AT ITER 395 NEW BEST:: SOT 146709 SOS 65909 HAS SOPS 65909 HAS SOUS 50921 HAS SOUPS 50921 WITH SCORE 50986.909
AT ITER 396 NEW BEST:: SOT 146709 SOS 65730 HAS SOPS 65730 HAS SOUS 50847 HAS SOUPS 50847 WITH SCORE 50912.73
AT ITER 400 NEW BEST:: SOT 146770 SOS 65434 HAS SOPS 65434 HAS SOUS 50679 HAS SOUPS 50679 WITH SCORE 50744.434
AT ITER 402 NEW BEST:: SOT 146689 SOS 65289 HAS SOPS 65289 HAS SOUS 50609 HAS SOUPS 50609 WITH SCORE 50674.289
AT ITER 423 NEW BEST:: SOT 146688 SOS 65288 HAS SOPS 65288 HAS SOUS 50608 HAS SOUPS 50608 WITH SCORE 50673.288
AT ITER 424 NEW BEST:: SOT 146847 SOS 65330 HAS SOPS 65330 HAS SOUS 50511 HAS SOUPS 50511 WITH SCORE 50576.33
AT ITER 429 NEW BEST:: SOT 146750 SOS 65233 HAS SOPS 65233 HAS SOUS 50511 HAS SOUPS 50511 WITH SCORE 50576.233
AT ITER 442 NEW BEST:: SOT 146634 SOS 65117 HAS SOPS 65117 HAS SOUS 50453 HAS SOUPS 50453 WITH SCORE 50518.117
AT ITER 448 NEW BEST:: SOT 146634 SOS 65225 HAS SOPS 65225 HAS SOUS 50447 HAS SOUPS 50447 WITH SCORE 50512.225
AT ITER 454 NEW BEST:: SOT 146550 SOS 65184 HAS SOPS 65184 HAS SOUS 50406 HAS SOUPS 50406 WITH SCORE 50471.184
AT ITER 455 NEW BEST:: SOT 146430 SOS 64944 HAS SOPS 64944 HAS SOUS 50285 HAS SOUPS 50285 WITH SCORE 50349.944
AT ITER 460 NEW BEST:: SOT 144880 SOS 63348 HAS SOPS 63348 HAS SOUS 48689 HAS SOUPS 48689 WITH SCORE 48752.348
AT ITER 467 NEW BEST:: SOT 144833 SOS 63301 HAS SOPS 63301 HAS SOUS 48681 HAS SOUPS 48681 WITH SCORE 48744.301
AT ITER 469 NEW BEST:: SOT 144786 SOS 63205 HAS SOPS 63205 HAS SOUS 48585 HAS SOUPS 48585 WITH SCORE 48648.205
AT ITER 475 NEW BEST:: SOT 144397 SOS 63039 HAS SOPS 63039 HAS SOUS 48286 HAS SOUPS 48286 WITH SCORE 48349.039
AT ITER 479 NEW BEST:: SOT 144331 SOS 62890 HAS SOPS 62890 HAS SOUS 48196 HAS SOUPS 48196 WITH SCORE 48258.89
AT ITER 482 NEW BEST:: SOT 143767 SOS 62441 HAS SOPS 62441 HAS SOUS 47747 HAS SOUPS 47747 WITH SCORE 47809.441
AT ITER 492 NEW BEST:: SOT 143762 SOS 62435 HAS SOPS 62435 HAS SOUS 47741 HAS SOUPS 47741 WITH SCORE 47803.435
AT ITER 496 NEW BEST:: SOT 143719 SOS 62349 HAS SOPS 62349 HAS SOUS 47655 HAS SOUPS 47655 WITH SCORE 47717.349
AT ITER 502 NEW BEST:: SOT 143672 SOS 62255 HAS SOPS 62255 HAS SOUS 47608 HAS SOUPS 47608 WITH SCORE 47670.255
AT ITER 512 NEW BEST:: SOT 143668 SOS 62276 HAS SOPS 62276 HAS SOUS 47574 HAS SOUPS 47574 WITH SCORE 47636.276
AT ITER 515 NEW BEST:: SOT 143562 SOS 62210 HAS SOPS 62210 HAS SOUS 47508 HAS SOUPS 47508 WITH SCORE 47570.21
AT ITER 518 NEW BEST:: SOT 143411 SOS 66000 HAS SOPS 66000 HAS SOUS 47435 HAS SOUPS 47435 WITH SCORE 47501.0
AT ITER 534 NEW BEST:: SOT 143364 SOS 65952 HAS SOPS 65952 HAS SOUS 47387 HAS SOUPS 47387 WITH SCORE 47452.952
AT ITER 550 NEW BEST:: SOT 143361 SOS 65946 HAS SOPS 65946 HAS SOUS 47381 HAS SOUPS 47381 WITH SCORE 47446.946
AT ITER 552 NEW BEST:: SOT 143451 SOS 65940 HAS SOPS 65940 HAS SOUS 47375 HAS SOUPS 47375 WITH SCORE 47440.94
AT ITER 554 NEW BEST:: SOT 143450 SOS 65938 HAS SOPS 65938 HAS SOUS 47373 HAS SOUPS 47373 WITH SCORE 47438.938
AT ITER 572 NEW BEST:: SOT 143460 SOS 65861 HAS SOPS 65861 HAS SOUS 47296 HAS SOUPS 47296 WITH SCORE 47361.861
AT ITER 573 NEW BEST:: SOT 143434 SOS 65810 HAS SOPS 65810 HAS SOUS 47245 HAS SOUPS 47245 WITH SCORE 47310.81
AT ITER 580 NEW BEST:: SOT 143381 SOS 65757 HAS SOPS 65757 HAS SOUS 47217 HAS SOUPS 47217 WITH SCORE 47282.757
AT ITER 591 NEW BEST:: SOT 143364 SOS 65723 HAS SOPS 65723 HAS SOUS 47183 HAS SOUPS 47183 WITH SCORE 47248.723
AT ITER 599 NEW BEST:: SOT 143412 SOS 65608 HAS SOPS 65608 HAS SOUS 47120 HAS SOUPS 47120 WITH SCORE 47185.608
AT ITER 610 NEW BEST:: SOT 143408 SOS 65600 HAS SOPS 65600 HAS SOUS 47112 HAS SOUPS 47112 WITH SCORE 47177.6
AT ITER 615 NEW BEST:: SOT 143405 SOS 65594 HAS SOPS 65594 HAS SOUS 47106 HAS SOUPS 47106 WITH SCORE 47171.594
AT ITER 616 NEW BEST:: SOT 143454 SOS 65638 HAS SOPS 65638 HAS SOUS 47103 HAS SOUPS 47103 WITH SCORE 47168.638
AT ITER 631 NEW BEST:: SOT 143454 SOS 65613 HAS SOPS 65613 HAS SOUS 47078 HAS SOUPS 47078 WITH SCORE 47143.613
AT ITER 632 NEW BEST:: SOT 143439 SOS 65598 HAS SOPS 65598 HAS SOUS 47063 HAS SOUPS 47063 WITH SCORE 47128.598
AT ITER 642 NEW BEST:: SOT 143320 SOS 65474 HAS SOPS 65474 HAS SOUS 46939 HAS SOUPS 46939 WITH SCORE 47004.474
AT ITER 660 NEW BEST:: SOT 143320 SOS 65468 HAS SOPS 65468 HAS SOUS 46939 HAS SOUPS 46939 WITH SCORE 47004.468
AT ITER 673 NEW BEST:: SOT 143364 SOS 65470 HAS SOPS 65470 HAS SOUS 46907 HAS SOUPS 46907 WITH SCORE 46972.47
AT ITER 676 NEW BEST:: SOT 143364 SOS 65467 HAS SOPS 65467 HAS SOUS 46904 HAS SOUPS 46904 WITH SCORE 46969.467
AT ITER 686 NEW BEST:: SOT 143217 SOS 65082 HAS SOPS 65082 HAS SOUS 46719 HAS SOUPS 46719 WITH SCORE 46784.082
AT ITER 692 NEW BEST:: SOT 142877 SOS 64579 HAS SOPS 64579 HAS SOUS 46216 HAS SOUPS 46216 WITH SCORE 46280.579
AT ITER 697 NEW BEST:: SOT 142861 SOS 64547 HAS SOPS 64547 HAS SOUS 46184 HAS SOUPS 46184 WITH SCORE 46248.547
AT ITER 709 NEW BEST:: SOT 142863 SOS 64484 HAS SOPS 64484 HAS SOUS 46170 HAS SOUPS 46170 WITH SCORE 46234.484
AT ITER 717 NEW BEST:: SOT 142829 SOS 64304 HAS SOPS 64304 HAS SOUS 45990 HAS SOUPS 45990 WITH SCORE 46054.304
AT ITER 726 NEW BEST:: SOT 142785 SOS 64216 HAS SOPS 64216 HAS SOUS 45946 HAS SOUPS 45946 WITH SCORE 46010.216
AT ITER 741 NEW BEST:: SOT 142782 SOS 64213 HAS SOPS 64213 HAS SOUS 45943 HAS SOUPS 45943 WITH SCORE 46007.213
AT ITER 749 NEW BEST:: SOT 142782 SOS 64129 HAS SOPS 64129 HAS SOUS 45943 HAS SOUPS 45943 WITH SCORE 46007.129
AT ITER 762 NEW BEST:: SOT 142710 SOS 64043 HAS SOPS 64043 HAS SOUS 45857 HAS SOUPS 45857 WITH SCORE 45921.043
AT ITER 763 NEW BEST:: SOT 142666 SOS 63961 HAS SOPS 63961 HAS SOUS 45775 HAS SOUPS 45775 WITH SCORE 45838.961
AT ITER 766 NEW BEST:: SOT 142567 SOS 63748 HAS SOPS 63748 HAS SOUS 45562 HAS SOUPS 45562 WITH SCORE 45625.748
AT ITER 770 NEW BEST:: SOT 142586 SOS 63730 HAS SOPS 63730 HAS SOUS 45512 HAS SOUPS 45512 WITH SCORE 45575.73
AT ITER 775 NEW BEST:: SOT 142574 SOS 63799 HAS SOPS 63799 HAS SOUS 45468 HAS SOUPS 45468 WITH SCORE 45531.799
AT ITER 777 NEW BEST:: SOT 142426 SOS 63497 HAS SOPS 63497 HAS SOUS 45283 HAS SOUPS 45283 WITH SCORE 45346.497
AT ITER 782 NEW BEST:: SOT 142399 SOS 63475 HAS SOPS 63475 HAS SOUS 45231 HAS SOUPS 45231 WITH SCORE 45294.475
AT ITER 784 NEW BEST:: SOT 142317 SOS 63358 HAS SOPS 63358 HAS SOUS 45114 HAS SOUPS 45114 WITH SCORE 45177.358
AT ITER 787 NEW BEST:: SOT 142236 SOS 63003 HAS SOPS 63003 HAS SOUS 45032 HAS SOUPS 45032 WITH SCORE 45095.003
AT ITER 804 NEW BEST:: SOT 142167 SOS 62865 HAS SOPS 62865 HAS SOUS 44998 HAS SOUPS 44998 WITH SCORE 45060.865
AT ITER 808 NEW BEST:: SOT 142285 SOS 62747 HAS SOPS 62747 HAS SOUS 44631 HAS SOUPS 44631 WITH SCORE 44693.747
AT ITER 825 NEW BEST:: SOT 142193 SOS 62659 HAS SOPS 62659 HAS SOUS 44518 HAS SOUPS 44518 WITH SCORE 44580.659
AT ITER 826 NEW BEST:: SOT 142189 SOS 62582 HAS SOPS 62582 HAS SOUS 44513 HAS SOUPS 44513 WITH SCORE 44575.582
AT ITER 854 NEW BEST:: SOT 142145 SOS 62494 HAS SOPS 62494 HAS SOUS 44425 HAS SOUPS 44425 WITH SCORE 44487.494
AT ITER 861 NEW BEST:: SOT 142104 SOS 62298 HAS SOPS 62298 HAS SOUS 44270 HAS SOUPS 44270 WITH SCORE 44332.298
AT ITER 866 NEW BEST:: SOT 142091 SOS 62255 HAS SOPS 62255 HAS SOUS 44227 HAS SOUPS 44227 WITH SCORE 44289.255
AT ITER 897 NEW BEST:: SOT 142088 SOS 62252 HAS SOPS 62252 HAS SOUS 44224 HAS SOUPS 44224 WITH SCORE 44286.252
AT ITER 935 NEW BEST:: SOT 142088 SOS 62192 HAS SOPS 62192 HAS SOUS 44219 HAS SOUPS 44219 WITH SCORE 44281.192
AT ITER 936 NEW BEST:: SOT 140651 SOS 60886 HAS SOPS 60886 HAS SOUS 42645 HAS SOUPS 42645 WITH SCORE 42705.886
AT ITER 956 NEW BEST:: SOT 140775 SOS 60871 HAS SOPS 60871 HAS SOUS 42491 HAS SOUPS 42491 WITH SCORE 42551.871
AT ITER 961 NEW BEST:: SOT 140493 SOS 60667 HAS SOPS 60667 HAS SOUS 42354 HAS SOUPS 42354 WITH SCORE 42414.667
AT ITER 965 NEW BEST:: SOT 140506 SOS 60678 HAS SOPS 60678 HAS SOUS 42350 HAS SOUPS 42350 WITH SCORE 42410.678
AT ITER 966 NEW BEST:: SOT 140522 SOS 60614 HAS SOPS 60614 HAS SOUS 42286 HAS SOUPS 42286 WITH SCORE 42346.614
AT ITER 973 NEW BEST:: SOT 140522 SOS 60531 HAS SOPS 60531 HAS SOUS 42282 HAS SOUPS 42282 WITH SCORE 42342.531
AT ITER 982 NEW BEST:: SOT 140520 SOS 60529 HAS SOPS 60529 HAS SOUS 42280 HAS SOUPS 42280 WITH SCORE 42340.529
AT ITER 989 NEW BEST:: SOT 140494 SOS 60490 HAS SOPS 60490 HAS SOUS 42254 HAS SOUPS 42254 WITH SCORE 42314.49
AT ITER 1019 NEW BEST:: SOT 140405 SOS 60312 HAS SOPS 60312 HAS SOUS 42129 HAS SOUPS 42129 WITH SCORE 42189.312
AT ITER 1024 NEW BEST:: SOT 140405 SOS 60262 HAS SOPS 60262 HAS SOUS 42128 HAS SOUPS 42128 WITH SCORE 42188.262
AT ITER 1031 NEW BEST:: SOT 140403 SOS 60258 HAS SOPS 60258 HAS SOUS 42124 HAS SOUPS 42124 WITH SCORE 42184.258
AT ITER 1038 NEW BEST:: SOT 140480 SOS 60210 HAS SOPS 60210 HAS SOUS 42034 HAS SOUPS 42034 WITH SCORE 42094.21
AT ITER 1063 NEW BEST:: SOT 140386 SOS 60356 HAS SOPS 60356 HAS SOUS 41989 HAS SOUPS 41989 WITH SCORE 42049.356
AT ITER 1065 NEW BEST:: SOT 140317 SOS 60214 HAS SOPS 60214 HAS SOUS 41847 HAS SOUPS 41847 WITH SCORE 41907.214
AT ITER 1070 NEW BEST:: SOT 140308 SOS 60197 HAS SOPS 60197 HAS SOUS 41830 HAS SOUPS 41830 WITH SCORE 41890.197
AT ITER 1074 NEW BEST:: SOT 140306 SOS 60192 HAS SOPS 60192 HAS SOUS 41827 HAS SOUPS 41827 WITH SCORE 41887.192
AT ITER 1105 NEW BEST:: SOT 140306 SOS 60187 HAS SOPS 60187 HAS SOUS 41822 HAS SOUPS 41822 WITH SCORE 41882.187
AT ITER 1108 NEW BEST:: SOT 140374 SOS 60177 HAS SOPS 60177 HAS SOUS 41516 HAS SOUPS 41516 WITH SCORE 41576.177
AT ITER 1139 NEW BEST:: SOT 140313 SOS 60040 HAS SOPS 60040 HAS SOUS 41442 HAS SOUPS 41442 WITH SCORE 41502.04
AT ITER 1153 NEW BEST:: SOT 140313 SOS 60040 HAS SOPS 60040 HAS SOUS 41439 HAS SOUPS 41439 WITH SCORE 41499.04
AT ITER 1170 NEW BEST:: SOT 140298 SOS 60191 HAS SOPS 60191 HAS SOUS 41387 HAS SOUPS 41387 WITH SCORE 41447.191
AT ITER 1171 NEW BEST:: SOT 140298 SOS 60191 HAS SOPS 60191 HAS SOUS 41331 HAS SOUPS 41331 WITH SCORE 41391.191
AT ITER 1184 NEW BEST:: SOT 140298 SOS 60187 HAS SOPS 60187 HAS SOUS 41330 HAS SOUPS 41330 WITH SCORE 41390.187
AT ITER 1200 NEW BEST:: SOT 140236 SOS 60125 HAS SOPS 60125 HAS SOUS 41268 HAS SOUPS 41268 WITH SCORE 41328.125
AT ITER 1211 NEW BEST:: SOT 140260 SOS 60062 HAS SOPS 60062 HAS SOUS 41205 HAS SOUPS 41205 WITH SCORE 41265.062
AT ITER 1213 NEW BEST:: SOT 140125 SOS 59759 HAS SOPS 59759 HAS SOUS 41036 HAS SOUPS 41036 WITH SCORE 41095.759
AT ITER 1220 NEW BEST:: SOT 140125 SOS 59717 HAS SOPS 59717 HAS SOUS 41036 HAS SOUPS 41036 WITH SCORE 41095.717
AT ITER 1227 NEW BEST:: SOT 140180 SOS 59827 HAS SOPS 59827 HAS SOUS 41029 HAS SOUPS 41029 WITH SCORE 41088.827
AT ITER 1248 NEW BEST:: SOT 140180 SOS 59822 HAS SOPS 59822 HAS SOUS 40970 HAS SOUPS 40970 WITH SCORE 41029.822
AT ITER 1251 NEW BEST:: SOT 140209 SOS 59822 HAS SOPS 59822 HAS SOUS 40941 HAS SOUPS 40941 WITH SCORE 41000.822
AT ITER 1269 NEW BEST:: SOT 140240 SOS 59863 HAS SOPS 59863 HAS SOUS 40858 HAS SOUPS 40858 WITH SCORE 40917.863
AT ITER 1276 NEW BEST:: SOT 140253 SOS 59855 HAS SOPS 59855 HAS SOUS 40850 HAS SOUPS 40850 WITH SCORE 40909.855
AT ITER 1280 NEW BEST:: SOT 140212 SOS 59814 HAS SOPS 59814 HAS SOUS 40850 HAS SOUPS 40850 WITH SCORE 40909.814
AT ITER 1287 NEW BEST:: SOT 140174 SOS 59622 HAS SOPS 59622 HAS SOUS 40731 HAS SOUPS 40731 WITH SCORE 40790.622
AT ITER 1296 NEW BEST:: SOT 140012 SOS 59294 HAS SOPS 59294 HAS SOUS 40569 HAS SOUPS 40569 WITH SCORE 40628.294
AT ITER 1300 NEW BEST:: SOT 139938 SOS 59251 HAS SOPS 59251 HAS SOUS 40526 HAS SOUPS 40526 WITH SCORE 40585.251
AT ITER 1304 NEW BEST:: SOT 139938 SOS 59238 HAS SOPS 59238 HAS SOUS 40513 HAS SOUPS 40513 WITH SCORE 40572.238
AT ITER 1320 NEW BEST:: SOT 139909 SOS 59180 HAS SOPS 59180 HAS SOUS 40455 HAS SOUPS 40455 WITH SCORE 40514.18
AT ITER 1324 NEW BEST:: SOT 139882 SOS 59045 HAS SOPS 59045 HAS SOUS 40401 HAS SOUPS 40401 WITH SCORE 40460.045
AT ITER 1326 NEW BEST:: SOT 139728 SOS 58855 HAS SOPS 58855 HAS SOUS 40288 HAS SOUPS 40288 WITH SCORE 40346.855
AT ITER 1329 NEW BEST:: SOT 139718 SOS 58835 HAS SOPS 58835 HAS SOUS 40287 HAS SOUPS 40287 WITH SCORE 40345.835
AT ITER 1344 NEW BEST:: SOT 139608 SOS 58670 HAS SOPS 58670 HAS SOUS 40177 HAS SOUPS 40177 WITH SCORE 40235.67
AT ITER 1346 NEW BEST:: SOT 139560 SOS 58574 HAS SOPS 58574 HAS SOUS 40105 HAS SOUPS 40105 WITH SCORE 40163.574
AT ITER 1353 NEW BEST:: SOT 139548 SOS 58562 HAS SOPS 58562 HAS SOUS 40093 HAS SOUPS 40093 WITH SCORE 40151.562
AT ITER 1359 NEW BEST:: SOT 139530 SOS 58544 HAS SOPS 58544 HAS SOUS 40055 HAS SOUPS 40055 WITH SCORE 40113.544
AT ITER 1375 NEW BEST:: SOT 139518 SOS 58532 HAS SOPS 58532 HAS SOUS 40043 HAS SOUPS 40043 WITH SCORE 40101.532
AT ITER 1379 NEW BEST:: SOT 139508 SOS 58481 HAS SOPS 58481 HAS SOUS 39992 HAS SOUPS 39992 WITH SCORE 40050.481
AT ITER 1383 NEW BEST:: SOT 139489 SOS 58373 HAS SOPS 58373 HAS SOUS 39890 HAS SOUPS 39890 WITH SCORE 39948.373
AT ITER 1385 NEW BEST:: SOT 139467 SOS 58357 HAS SOPS 58357 HAS SOUS 39874 HAS SOUPS 39874 WITH SCORE 39932.357
AT ITER 1387 NEW BEST:: SOT 139517 SOS 58350 HAS SOPS 58350 HAS SOUS 39867 HAS SOUPS 39867 WITH SCORE 39925.35
AT ITER 1421 NEW BEST:: SOT 139487 SOS 58320 HAS SOPS 58320 HAS SOUS 39837 HAS SOUPS 39837 WITH SCORE 39895.32
AT ITER 1422 NEW BEST:: SOT 139524 SOS 58302 HAS SOPS 58302 HAS SOUS 39833 HAS SOUPS 39833 WITH SCORE 39891.302
AT ITER 1429 NEW BEST:: SOT 139360 SOS 57974 HAS SOPS 57974 HAS SOUS 39684 HAS SOUPS 39684 WITH SCORE 39741.974
AT ITER 1435 NEW BEST:: SOT 139310 SOS 57624 HAS SOPS 57624 HAS SOUS 39475 HAS SOUPS 39475 WITH SCORE 39532.624
AT ITER 1437 NEW BEST:: SOT 139256 SOS 57428 HAS SOPS 57428 HAS SOUS 39279 HAS SOUPS 39279 WITH SCORE 39336.428
AT ITER 1453 NEW BEST:: SOT 139130 SOS 57177 HAS SOPS 57177 HAS SOUS 39128 HAS SOUPS 39128 WITH SCORE 39185.177
AT ITER 1462 NEW BEST:: SOT 139129 SOS 57157 HAS SOPS 57157 HAS SOUS 39114 HAS SOUPS 39114 WITH SCORE 39171.157
AT ITER 1469 NEW BEST:: SOT 139092 SOS 57124 HAS SOPS 57124 HAS SOUS 39081 HAS SOUPS 39081 WITH SCORE 39138.124
AT ITER 1472 NEW BEST:: SOT 139080 SOS 57112 HAS SOPS 57112 HAS SOUS 39069 HAS SOUPS 39069 WITH SCORE 39126.112
AT ITER 1479 NEW BEST:: SOT 139080 SOS 57033 HAS SOPS 57033 HAS SOUS 38990 HAS SOUPS 38990 WITH SCORE 39047.033
AT ITER 1526 NEW BEST:: SOT 139242 SOS 56891 HAS SOPS 56891 HAS SOUS 38964 HAS SOUPS 38964 WITH SCORE 39020.891
AT ITER 1530 NEW BEST:: SOT 139230 SOS 56745 HAS SOPS 56745 HAS SOUS 38809 HAS SOUPS 38809 WITH SCORE 38865.745
AT ITER 1531 NEW BEST:: SOT 139211 SOS 56707 HAS SOPS 56707 HAS SOUS 38771 HAS SOUPS 38771 WITH SCORE 38827.707
AT ITER 1537 NEW BEST:: SOT 139216 SOS 56424 HAS SOPS 56424 HAS SOUS 38560 HAS SOUPS 38560 WITH SCORE 38616.424
AT ITER 1543 NEW BEST:: SOT 139178 SOS 56348 HAS SOPS 56348 HAS SOUS 38484 HAS SOUPS 38484 WITH SCORE 38540.348
AT ITER 1560 NEW BEST:: SOT 139144 SOS 56314 HAS SOPS 56314 HAS SOUS 38450 HAS SOUPS 38450 WITH SCORE 38506.314
AT ITER 1565 NEW BEST:: SOT 139143 SOS 56312 HAS SOPS 56312 HAS SOUS 38448 HAS SOUPS 38448 WITH SCORE 38504.312
AT ITER 1572 NEW BEST:: SOT 139135 SOS 56304 HAS SOPS 56304 HAS SOUS 38448 HAS SOUPS 38448 WITH SCORE 38504.304
AT ITER 1596 NEW BEST:: SOT 139118 SOS 56270 HAS SOPS 56270 HAS SOUS 38448 HAS SOUPS 38448 WITH SCORE 38504.27
AT ITER 1597 NEW BEST:: SOT 139118 SOS 56217 HAS SOPS 56217 HAS SOUS 38395 HAS SOUPS 38395 WITH SCORE 38451.217
AT ITER 1603 NEW BEST:: SOT 138901 SOS 55852 HAS SOPS 55852 HAS SOUS 38162 HAS SOUPS 38162 WITH SCORE 38217.852
AT ITER 1608 NEW BEST:: SOT 138780 SOS 55564 HAS SOPS 55564 HAS SOUS 38046 HAS SOUPS 38046 WITH SCORE 38101.564
AT ITER 1611 NEW BEST:: SOT 138712 SOS 55428 HAS SOPS 55428 HAS SOUS 37910 HAS SOUPS 37910 WITH SCORE 37965.428
AT ITER 1618 NEW BEST:: SOT 138708 SOS 55420 HAS SOPS 55420 HAS SOUS 37902 HAS SOUPS 37902 WITH SCORE 37957.42
AT ITER 1628 NEW BEST:: SOT 138688 SOS 55400 HAS SOPS 55400 HAS SOUS 37891 HAS SOUPS 37891 WITH SCORE 37946.4
AT ITER 1631 NEW BEST:: SOT 138651 SOS 54892 HAS SOPS 54892 HAS SOUS 37863 HAS SOUPS 37863 WITH SCORE 37917.892
AT ITER 1644 NEW BEST:: SOT 138651 SOS 54860 HAS SOPS 54860 HAS SOUS 37832 HAS SOUPS 37832 WITH SCORE 37886.86
AT ITER 1658 NEW BEST:: SOT 138508 SOS 54715 HAS SOPS 54715 HAS SOUS 37687 HAS SOUPS 37687 WITH SCORE 37741.715
AT ITER 1665 NEW BEST:: SOT 138488 SOS 54685 HAS SOPS 54685 HAS SOUS 37657 HAS SOUPS 37657 WITH SCORE 37711.685
AT ITER 1682 NEW BEST:: SOT 138416 SOS 54603 HAS SOPS 54603 HAS SOUS 37637 HAS SOUPS 37637 WITH SCORE 37691.603
AT ITER 1709 NEW BEST:: SOT 138450 SOS 54492 HAS SOPS 54492 HAS SOUS 37603 HAS SOUPS 37603 WITH SCORE 37657.492
AT ITER 1717 NEW BEST:: SOT 138390 SOS 54432 HAS SOPS 54432 HAS SOUS 37525 HAS SOUPS 37525 WITH SCORE 37579.432
AT ITER 1721 NEW BEST:: SOT 138325 SOS 54302 HAS SOPS 54302 HAS SOUS 37460 HAS SOUPS 37460 WITH SCORE 37514.302
AT ITER 1729 NEW BEST:: SOT 138253 SOS 54282 HAS SOPS 54282 HAS SOUS 37440 HAS SOUPS 37440 WITH SCORE 37494.282
AT ITER 1751 NEW BEST:: SOT 138247 SOS 54270 HAS SOPS 54270 HAS SOUS 37428 HAS SOUPS 37428 WITH SCORE 37482.27
AT ITER 1755 NEW BEST:: SOT 137957 SOS 53984 HAS SOPS 53984 HAS SOUS 37142 HAS SOUPS 37142 WITH SCORE 37195.984
AT ITER 1769 NEW BEST:: SOT 137848 SOS 53766 HAS SOPS 53766 HAS SOUS 37046 HAS SOUPS 37046 WITH SCORE 37099.766
AT ITER 1771 NEW BEST:: SOT 137825 SOS 53720 HAS SOPS 53720 HAS SOUS 37000 HAS SOUPS 37000 WITH SCORE 37053.72
AT ITER 1800 NEW BEST:: SOT 137838 SOS 53746 HAS SOPS 53746 HAS SOUS 36997 HAS SOUPS 36997 WITH SCORE 37050.746
AT ITER 1811 NEW BEST:: SOT 137770 SOS 53659 HAS SOPS 53659 HAS SOUS 36851 HAS SOUPS 36851 WITH SCORE 36904.659
AT ITER 1813 NEW BEST:: SOT 137805 SOS 53570 HAS SOPS 53570 HAS SOUS 36808 HAS SOUPS 36808 WITH SCORE 36861.57
AT ITER 1838 NEW BEST:: SOT 137799 SOS 53558 HAS SOPS 53558 HAS SOUS 36801 HAS SOUPS 36801 WITH SCORE 36854.558
AT ITER 1839 NEW BEST:: SOT 137799 SOS 53556 HAS SOPS 53556 HAS SOUS 36791 HAS SOUPS 36791 WITH SCORE 36844.556
AT ITER 1848 NEW BEST:: SOT 137758 SOS 53474 HAS SOPS 53474 HAS SOUS 36790 HAS SOUPS 36790 WITH SCORE 36843.474
AT ITER 1850 NEW BEST:: SOT 137758 SOS 53442 HAS SOPS 53442 HAS SOUS 36788 HAS SOUPS 36788 WITH SCORE 36841.442
AT ITER 1868 NEW BEST:: SOT 137717 SOS 53401 HAS SOPS 53401 HAS SOUS 36747 HAS SOUPS 36747 WITH SCORE 36800.401
AT ITER 1875 NEW BEST:: SOT 137749 SOS 53397 HAS SOPS 53397 HAS SOUS 36743 HAS SOUPS 36743 WITH SCORE 36796.397
AT ITER 1918 NEW BEST:: SOT 137714 SOS 53327 HAS SOPS 53327 HAS SOUS 36673 HAS SOUPS 36673 WITH SCORE 36726.327
AT ITER 1931 NEW BEST:: SOT 137651 SOS 53244 HAS SOPS 53244 HAS SOUS 36598 HAS SOUPS 36598 WITH SCORE 36651.244
AT ITER 1988 NEW BEST:: SOT 137626 SOS 53219 HAS SOPS 53219 HAS SOUS 36573 HAS SOUPS 36573 WITH SCORE 36626.219
AT ITER 1996 NEW BEST:: SOT 137588 SOS 53143 HAS SOPS 53143 HAS SOUS 36497 HAS SOUPS 36497 WITH SCORE 36550.143
AT ITER 2019 NEW BEST:: SOT 137568 SOS 53123 HAS SOPS 53123 HAS SOUS 36477 HAS SOUPS 36477 WITH SCORE 36530.123
AT ITER 2039 NEW BEST:: SOT 137565 SOS 53116 HAS SOPS 53116 HAS SOUS 36474 HAS SOUPS 36474 WITH SCORE 36527.116
AT ITER 2048 NEW BEST:: SOT 137444 SOS 53022 HAS SOPS 53022 HAS SOUS 36468 HAS SOUPS 36468 WITH SCORE 36521.022
AT ITER 2051 NEW BEST:: SOT 137491 SOS 53069 HAS SOPS 53069 HAS SOUS 36450 HAS SOUPS 36450 WITH SCORE 36503.069
AT ITER 2054 NEW BEST:: SOT 137250 SOS 52790 HAS SOPS 52790 HAS SOUS 36358 HAS SOUPS 36358 WITH SCORE 36410.79
AT ITER 2069 NEW BEST:: SOT 137170 SOS 53525 HAS SOPS 53525 HAS SOUS 36297 HAS SOUPS 36297 WITH SCORE 36350.525
AT ITER 2079 NEW BEST:: SOT 137137 SOS 53391 HAS SOPS 53391 HAS SOUS 36163 HAS SOUPS 36163 WITH SCORE 36216.391
AT ITER 2080 NEW BEST:: SOT 136935 SOS 53189 HAS SOPS 53189 HAS SOUS 36156 HAS SOUPS 36156 WITH SCORE 36209.189
AT ITER 2089 NEW BEST:: SOT 136935 SOS 53176 HAS SOPS 53176 HAS SOUS 36143 HAS SOUPS 36143 WITH SCORE 36196.176
AT ITER 2097 NEW BEST:: SOT 136759 SOS 52818 HAS SOPS 52818 HAS SOUS 36016 HAS SOUPS 36016 WITH SCORE 36068.818
AT ITER 2103 NEW BEST:: SOT 136758 SOS 52816 HAS SOPS 52816 HAS SOUS 36014 HAS SOUPS 36014 WITH SCORE 36066.816
AT ITER 2105 NEW BEST:: SOT 136755 SOS 52810 HAS SOPS 52810 HAS SOUS 36011 HAS SOUPS 36011 WITH SCORE 36063.81
AT ITER 2121 NEW BEST:: SOT 136780 SOS 52806 HAS SOPS 52806 HAS SOUS 36010 HAS SOUPS 36010 WITH SCORE 36062.806
AT ITER 2124 NEW BEST:: SOT 136780 SOS 52768 HAS SOPS 52768 HAS SOUS 35947 HAS SOUPS 35947 WITH SCORE 35999.768
AT ITER 2130 NEW BEST:: SOT 136772 SOS 52752 HAS SOPS 52752 HAS SOUS 35917 HAS SOUPS 35917 WITH SCORE 35969.752
AT ITER 2144 NEW BEST:: SOT 136766 SOS 52734 HAS SOPS 52734 HAS SOUS 35899 HAS SOUPS 35899 WITH SCORE 35951.734
AT ITER 2158 NEW BEST:: SOT 136771 SOS 52670 HAS SOPS 52670 HAS SOUS 35835 HAS SOUPS 35835 WITH SCORE 35887.67
AT ITER 2170 NEW BEST:: SOT 136771 SOS 52386 HAS SOPS 52386 HAS SOUS 35835 HAS SOUPS 35835 WITH SCORE 35887.386
AT ITER 2178 NEW BEST:: SOT 136768 SOS 52380 HAS SOPS 52380 HAS SOUS 35829 HAS SOUPS 35829 WITH SCORE 35881.38
AT ITER 2192 NEW BEST:: SOT 136763 SOS 52375 HAS SOPS 52375 HAS SOUS 35824 HAS SOUPS 35824 WITH SCORE 35876.375
AT ITER 2230 NEW BEST:: SOT 136613 SOS 52034 HAS SOPS 52034 HAS SOUS 35783 HAS SOUPS 35783 WITH SCORE 35835.034
AT ITER 2231 NEW BEST:: SOT 136613 SOS 52034 HAS SOPS 52034 HAS SOUS 35775 HAS SOUPS 35775 WITH SCORE 35827.034
AT ITER 2232 NEW BEST:: SOT 136593 SOS 51995 HAS SOPS 51995 HAS SOUS 35736 HAS SOUPS 35736 WITH SCORE 35787.995
AT ITER 2238 NEW BEST:: SOT 136592 SOS 51937 HAS SOPS 51937 HAS SOUS 35678 HAS SOUPS 35678 WITH SCORE 35729.937
AT ITER 2257 NEW BEST:: SOT 136599 SOS 51874 HAS SOPS 51874 HAS SOUS 35658 HAS SOUPS 35658 WITH SCORE 35709.874
AT ITER 2259 NEW BEST:: SOT 136599 SOS 51882 HAS SOPS 51882 HAS SOUS 35652 HAS SOUPS 35652 WITH SCORE 35703.882
AT ITER 2263 NEW BEST:: SOT 136610 SOS 51893 HAS SOPS 51893 HAS SOUS 35598 HAS SOUPS 35598 WITH SCORE 35649.893
AT ITER 2275 NEW BEST:: SOT 136584 SOS 51841 HAS SOPS 51841 HAS SOUS 35546 HAS SOUPS 35546 WITH SCORE 35597.841
AT ITER 2278 NEW BEST:: SOT 136571 SOS 51789 HAS SOPS 51789 HAS SOUS 35494 HAS SOUPS 35494 WITH SCORE 35545.789
AT ITER 2291 NEW BEST:: SOT 136572 SOS 51703 HAS SOPS 51703 HAS SOUS 35408 HAS SOUPS 35408 WITH SCORE 35459.703
AT ITER 2315 NEW BEST:: SOT 136572 SOS 51697 HAS SOPS 51697 HAS SOUS 35405 HAS SOUPS 35405 WITH SCORE 35456.697
AT ITER 2319 NEW BEST:: SOT 136539 SOS 51631 HAS SOPS 51631 HAS SOUS 35339 HAS SOUPS 35339 WITH SCORE 35390.631
AT ITER 2324 NEW BEST:: SOT 136524 SOS 51621 HAS SOPS 51621 HAS SOUS 35329 HAS SOUPS 35329 WITH SCORE 35380.621
AT ITER 2334 NEW BEST:: SOT 136524 SOS 51607 HAS SOPS 51607 HAS SOUS 35315 HAS SOUPS 35315 WITH SCORE 35366.607
AT ITER 2345 NEW BEST:: SOT 136500 SOS 51590 HAS SOPS 51590 HAS SOUS 35298 HAS SOUPS 35298 WITH SCORE 35349.59
AT ITER 2348 NEW BEST:: SOT 136502 SOS 51547 HAS SOPS 51547 HAS SOUS 35269 HAS SOUPS 35269 WITH SCORE 35320.547
AT ITER 2357 NEW BEST:: SOT 136528 SOS 51512 HAS SOPS 51512 HAS SOUS 35234 HAS SOUPS 35234 WITH SCORE 35285.512
AT ITER 2363 NEW BEST:: SOT 136476 SOS 51460 HAS SOPS 51460 HAS SOUS 35190 HAS SOUPS 35190 WITH SCORE 35241.46
AT ITER 2375 NEW BEST:: SOT 136476 SOS 51452 HAS SOPS 51452 HAS SOUS 35188 HAS SOUPS 35188 WITH SCORE 35239.452
AT ITER 2406 NEW BEST:: SOT 136471 SOS 51452 HAS SOPS 51452 HAS SOUS 35183 HAS SOUPS 35183 WITH SCORE 35234.452
AT ITER 2412 NEW BEST:: SOT 136461 SOS 51442 HAS SOPS 51442 HAS SOUS 35164 HAS SOUPS 35164 WITH SCORE 35215.442
AT ITER 2434 NEW BEST:: SOT 136436 SOS 51417 HAS SOPS 51417 HAS SOUS 35139 HAS SOUPS 35139 WITH SCORE 35190.417
AT ITER 2439 NEW BEST:: SOT 136431 SOS 51416 HAS SOPS 51416 HAS SOUS 35138 HAS SOUPS 35138 WITH SCORE 35189.416
AT ITER 2458 NEW BEST:: SOT 136403 SOS 51388 HAS SOPS 51388 HAS SOUS 35110 HAS SOUPS 35110 WITH SCORE 35161.388
AT ITER 2500 NEW BEST:: SOT 136427 SOS 51436 HAS SOPS 51436 HAS SOUS 35093 HAS SOUPS 35093 WITH SCORE 35144.436
AT ITER 2502 NEW BEST:: SOT 136015 SOS 51055 HAS SOPS 51055 HAS SOUS 34751 HAS SOUPS 34751 WITH SCORE 34802.055
AT ITER 2512 NEW BEST:: SOT 135971 SOS 51003 HAS SOPS 51003 HAS SOUS 34730 HAS SOUPS 34730 WITH SCORE 34781.003
AT ITER 2530 NEW BEST:: SOT 135948 SOS 50957 HAS SOPS 50957 HAS SOUS 34663 HAS SOUPS 34663 WITH SCORE 34713.957
AT ITER 2531 NEW BEST:: SOT 135948 SOS 50957 HAS SOPS 50957 HAS SOUS 34648 HAS SOUPS 34648 WITH SCORE 34698.957
AT ITER 2537 NEW BEST:: SOT 135943 SOS 50952 HAS SOPS 50952 HAS SOUS 34643 HAS SOUPS 34643 WITH SCORE 34693.952
AT ITER 2539 NEW BEST:: SOT 135918 SOS 50938 HAS SOPS 50938 HAS SOUS 34629 HAS SOUPS 34629 WITH SCORE 34679.938
AT ITER 2543 NEW BEST:: SOT 135901 SOS 50921 HAS SOPS 50921 HAS SOUS 34607 HAS SOUPS 34607 WITH SCORE 34657.921
AT ITER 2546 NEW BEST:: SOT 135901 SOS 50921 HAS SOPS 50921 HAS SOUS 34596 HAS SOUPS 34596 WITH SCORE 34646.921
AT ITER 2548 NEW BEST:: SOT 135890 SOS 50910 HAS SOPS 50910 HAS SOUS 34584 HAS SOUPS 34584 WITH SCORE 34634.91
AT ITER 2584 NEW BEST:: SOT 135900 SOS 50904 HAS SOPS 50904 HAS SOUS 34578 HAS SOUPS 34578 WITH SCORE 34628.904
AT ITER 2598 NEW BEST:: SOT 135888 SOS 50880 HAS SOPS 50880 HAS SOUS 34566 HAS SOUPS 34566 WITH SCORE 34616.88
AT ITER 2619 NEW BEST:: SOT 135890 SOS 50857 HAS SOPS 50857 HAS SOUS 34543 HAS SOUPS 34543 WITH SCORE 34593.857
AT ITER 2621 NEW BEST:: SOT 135875 SOS 50832 HAS SOPS 50832 HAS SOUS 34472 HAS SOUPS 34472 WITH SCORE 34522.832
AT ITER 2637 NEW BEST:: SOT 135926 SOS 50727 HAS SOPS 50727 HAS SOUS 34391 HAS SOUPS 34391 WITH SCORE 34441.727
AT ITER 2667 NEW BEST:: SOT 135914 SOS 50799 HAS SOPS 50799 HAS SOUS 34385 HAS SOUPS 34385 WITH SCORE 34435.799
AT ITER 2673 NEW BEST:: SOT 135847 SOS 50719 HAS SOPS 50719 HAS SOUS 34305 HAS SOUPS 34305 WITH SCORE 34355.719
AT ITER 2677 NEW BEST:: SOT 135774 SOS 50603 HAS SOPS 50603 HAS SOUS 34189 HAS SOUPS 34189 WITH SCORE 34239.603
AT ITER 2680 NEW BEST:: SOT 135804 SOS 50721 HAS SOPS 50721 HAS SOUS 34128 HAS SOUPS 34128 WITH SCORE 34178.721
AT ITER 2702 NEW BEST:: SOT 135804 SOS 50606 HAS SOPS 50606 HAS SOUS 34123 HAS SOUPS 34123 WITH SCORE 34173.606
AT ITER 2712 NEW BEST:: SOT 135800 SOS 50605 HAS SOPS 50605 HAS SOUS 34122 HAS SOUPS 34122 WITH SCORE 34172.605
AT ITER 2713 NEW BEST:: SOT 135799 SOS 50604 HAS SOPS 50604 HAS SOUS 34121 HAS SOUPS 34121 WITH SCORE 34171.604
AT ITER 2718 NEW BEST:: SOT 135799 SOS 50557 HAS SOPS 50557 HAS SOUS 34027 HAS SOUPS 34027 WITH SCORE 34077.557
AT ITER 2719 NEW BEST:: SOT 135785 SOS 50529 HAS SOPS 50529 HAS SOUS 33999 HAS SOUPS 33999 WITH SCORE 34049.529
AT ITER 2730 NEW BEST:: SOT 135907 SOS 50445 HAS SOPS 50445 HAS SOUS 33915 HAS SOUPS 33915 WITH SCORE 33965.445
AT ITER 2752 NEW BEST:: SOT 135887 SOS 50425 HAS SOPS 50425 HAS SOUS 33895 HAS SOUPS 33895 WITH SCORE 33945.425
AT ITER 2765 NEW BEST:: SOT 135828 SOS 50278 HAS SOPS 50278 HAS SOUS 33871 HAS SOUPS 33871 WITH SCORE 33921.278
AT ITER 2774 NEW BEST:: SOT 135800 SOS 50239 HAS SOPS 50239 HAS SOUS 33832 HAS SOUPS 33832 WITH SCORE 33882.239
AT ITER 2790 NEW BEST:: SOT 135797 SOS 50230 HAS SOPS 50230 HAS SOUS 33823 HAS SOUPS 33823 WITH SCORE 33873.23
AT ITER 2796 NEW BEST:: SOT 135795 SOS 50228 HAS SOPS 50228 HAS SOUS 33821 HAS SOUPS 33821 WITH SCORE 33871.228
AT ITER 2804 NEW BEST:: SOT 135781 SOS 50200 HAS SOPS 50200 HAS SOUS 33793 HAS SOUPS 33793 WITH SCORE 33843.2
AT ITER 2819 NEW BEST:: SOT 135780 SOS 50198 HAS SOPS 50198 HAS SOUS 33791 HAS SOUPS 33791 WITH SCORE 33841.198
AT ITER 2848 NEW BEST:: SOT 135753 SOS 50171 HAS SOPS 50171 HAS SOUS 33737 HAS SOUPS 33737 WITH SCORE 33787.171
AT ITER 2859 NEW BEST:: SOT 135808 SOS 50141 HAS SOPS 50141 HAS SOUS 33716 HAS SOUPS 33716 WITH SCORE 33766.141
AT ITER 2875 NEW BEST:: SOT 135785 SOS 50127 HAS SOPS 50127 HAS SOUS 33702 HAS SOUPS 33702 WITH SCORE 33752.127
AT ITER 2915 NEW BEST:: SOT 135729 SOS 50013 HAS SOPS 50013 HAS SOUS 33702 HAS SOUPS 33702 WITH SCORE 33752.013
AT ITER 2945 NEW BEST:: SOT 135729 SOS 50001 HAS SOPS 50001 HAS SOUS 33690 HAS SOUPS 33690 WITH SCORE 33740.001
AT ITER 2977 NEW BEST:: SOT 135750 SOS 49949 HAS SOPS 49949 HAS SOUS 33638 HAS SOUPS 33638 WITH SCORE 33687.949
AT ITER 2982 NEW BEST:: SOT 135735 SOS 49934 HAS SOPS 49934 HAS SOUS 33638 HAS SOUPS 33638 WITH SCORE 33687.934
AT ITER 2987 NEW BEST:: SOT 135735 SOS 49933 HAS SOPS 49933 HAS SOUS 33638 HAS SOUPS 33638 WITH SCORE 33687.933
AT ITER 3007 NEW BEST:: SOT 135697 SOS 49893 HAS SOPS 49893 HAS SOUS 33627 HAS SOUPS 33627 WITH SCORE 33676.893
AT ITER 3030 NEW BEST:: SOT 135677 SOS 49853 HAS SOPS 49853 HAS SOUS 33587 HAS SOUPS 33587 WITH SCORE 33636.853
AT ITER 3042 NEW BEST:: SOT 135695 SOS 49831 HAS SOPS 49831 HAS SOUS 33449 HAS SOUPS 33449 WITH SCORE 33498.831
AT ITER 3050 NEW BEST:: SOT 135695 SOS 50045 HAS SOPS 50045 HAS SOUS 33438 HAS SOUPS 33438 WITH SCORE 33488.045
AT ITER 3083 NEW BEST:: SOT 135688 SOS 49999 HAS SOPS 49999 HAS SOUS 33392 HAS SOUPS 33392 WITH SCORE 33441.999
AT ITER 3097 NEW BEST:: SOT 135681 SOS 49978 HAS SOPS 49978 HAS SOUS 33378 HAS SOUPS 33378 WITH SCORE 33427.978
AT ITER 3101 NEW BEST:: SOT 135681 SOS 49970 HAS SOPS 49970 HAS SOUS 33378 HAS SOUPS 33378 WITH SCORE 33427.97
AT ITER 3105 NEW BEST:: SOT 135646 SOS 49935 HAS SOPS 49935 HAS SOUS 33378 HAS SOUPS 33378 WITH SCORE 33427.935
AT ITER 3127 NEW BEST:: SOT 135595 SOS 49884 HAS SOPS 49884 HAS SOUS 33361 HAS SOUPS 33361 WITH SCORE 33410.884
AT ITER 3138 NEW BEST:: SOT 135571 SOS 49860 HAS SOPS 49860 HAS SOUS 33361 HAS SOUPS 33361 WITH SCORE 33410.86
AT ITER 3180 NEW BEST:: SOT 135562 SOS 49844 HAS SOPS 49844 HAS SOUS 33345 HAS SOUPS 33345 WITH SCORE 33394.844
AT ITER 3181 NEW BEST:: SOT 135562 SOS 49839 HAS SOPS 49839 HAS SOUS 33340 HAS SOUPS 33340 WITH SCORE 33389.839
AT ITER 3185 NEW BEST:: SOT 135555 SOS 49832 HAS SOPS 49832 HAS SOUS 33335 HAS SOUPS 33335 WITH SCORE 33384.832
AT ITER 3188 NEW BEST:: SOT 135533 SOS 49798 HAS SOPS 49798 HAS SOUS 33301 HAS SOUPS 33301 WITH SCORE 33350.798
AT ITER 3221 NEW BEST:: SOT 135474 SOS 49745 HAS SOPS 49745 HAS SOUS 33248 HAS SOUPS 33248 WITH SCORE 33297.745
AT ITER 3234 NEW BEST:: SOT 135474 SOS 49719 HAS SOPS 49719 HAS SOUS 33225 HAS SOUPS 33225 WITH SCORE 33274.719
AT ITER 3243 NEW BEST:: SOT 135475 SOS 49690 HAS SOPS 49690 HAS SOUS 33196 HAS SOUPS 33196 WITH SCORE 33245.69
AT ITER 3263 NEW BEST:: SOT 135462 SOS 49677 HAS SOPS 49677 HAS SOUS 33183 HAS SOUPS 33183 WITH SCORE 33232.677
AT ITER 3283 NEW BEST:: SOT 135481 SOS 49694 HAS SOPS 49694 HAS SOUS 33181 HAS SOUPS 33181 WITH SCORE 33230.694
AT ITER 3290 NEW BEST:: SOT 135475 SOS 49682 HAS SOPS 49682 HAS SOUS 33151 HAS SOUPS 33151 WITH SCORE 33200.682
AT ITER 3298 NEW BEST:: SOT 135449 SOS 49630 HAS SOPS 49630 HAS SOUS 33127 HAS SOUPS 33127 WITH SCORE 33176.63
AT ITER 3301 NEW BEST:: SOT 135468 SOS 49649 HAS SOPS 49649 HAS SOUS 33117 HAS SOUPS 33117 WITH SCORE 33166.649
AT ITER 3322 NEW BEST:: SOT 135386 SOS 49528 HAS SOPS 49528 HAS SOUS 33079 HAS SOUPS 33079 WITH SCORE 33128.528
AT ITER 3326 NEW BEST:: SOT 135319 SOS 49397 HAS SOPS 49397 HAS SOUS 33015 HAS SOUPS 33015 WITH SCORE 33064.397
AT ITER 3366 NEW BEST:: SOT 135307 SOS 49372 HAS SOPS 49372 HAS SOUS 32990 HAS SOUPS 32990 WITH SCORE 33039.372
AT ITER 3371 NEW BEST:: SOT 135326 SOS 49337 HAS SOPS 49337 HAS SOUS 32979 HAS SOUPS 32979 WITH SCORE 33028.337
AT ITER 3374 NEW BEST:: SOT 135324 SOS 49339 HAS SOPS 49339 HAS SOUS 32963 HAS SOUPS 32963 WITH SCORE 33012.339
AT ITER 3380 NEW BEST:: SOT 135324 SOS 49343 HAS SOPS 49343 HAS SOUS 32961 HAS SOUPS 32961 WITH SCORE 33010.343
AT ITER 3395 NEW BEST:: SOT 135346 SOS 49334 HAS SOPS 49334 HAS SOUS 32899 HAS SOUPS 32899 WITH SCORE 32948.334
AT ITER 3453 NEW BEST:: SOT 135330 SOS 49310 HAS SOPS 49310 HAS SOUS 32875 HAS SOUPS 32875 WITH SCORE 32924.31
AT ITER 3477 NEW BEST:: SOT 135328 SOS 49306 HAS SOPS 49306 HAS SOUS 32871 HAS SOUPS 32871 WITH SCORE 32920.306
AT ITER 3485 NEW BEST:: SOT 135321 SOS 49299 HAS SOPS 49299 HAS SOUS 32864 HAS SOUPS 32864 WITH SCORE 32913.299
AT ITER 3486 NEW BEST:: SOT 135311 SOS 49236 HAS SOPS 49236 HAS SOUS 32825 HAS SOUPS 32825 WITH SCORE 32874.236
AT ITER 3493 NEW BEST:: SOT 135197 SOS 49008 HAS SOPS 49008 HAS SOUS 32670 HAS SOUPS 32670 WITH SCORE 32719.008
AT ITER 3501 NEW BEST:: SOT 135185 SOS 48996 HAS SOPS 48996 HAS SOUS 32670 HAS SOUPS 32670 WITH SCORE 32718.996
AT ITER 3508 NEW BEST:: SOT 135082 SOS 48893 HAS SOPS 48893 HAS SOUS 32595 HAS SOUPS 32595 WITH SCORE 32643.893
AT ITER 3534 NEW BEST:: SOT 135037 SOS 48837 HAS SOPS 48837 HAS SOUS 32571 HAS SOUPS 32571 WITH SCORE 32619.837
AT ITER 3543 NEW BEST:: SOT 134963 SOS 48763 HAS SOPS 48763 HAS SOUS 32571 HAS SOUPS 32571 WITH SCORE 32619.763
AT ITER 3545 NEW BEST:: SOT 134949 SOS 48735 HAS SOPS 48735 HAS SOUS 32557 HAS SOUPS 32557 WITH SCORE 32605.735
AT ITER 3548 NEW BEST:: SOT 134916 SOS 48732 HAS SOPS 48732 HAS SOUS 32554 HAS SOUPS 32554 WITH SCORE 32602.732
AT ITER 3562 NEW BEST:: SOT 134919 SOS 48569 HAS SOPS 48569 HAS SOUS 32379 HAS SOUPS 32379 WITH SCORE 32427.569
AT ITER 3572 NEW BEST:: SOT 134821 SOS 48461 HAS SOPS 48461 HAS SOUS 32273 HAS SOUPS 32273 WITH SCORE 32321.461
AT ITER 3587 NEW BEST:: SOT 134821 SOS 48438 HAS SOPS 48438 HAS SOUS 32250 HAS SOUPS 32250 WITH SCORE 32298.438
AT ITER 3589 NEW BEST:: SOT 134757 SOS 48353 HAS SOPS 48353 HAS SOUS 32165 HAS SOUPS 32165 WITH SCORE 32213.353
AT ITER 3590 NEW BEST:: SOT 134754 SOS 48340 HAS SOPS 48340 HAS SOUS 32152 HAS SOUPS 32152 WITH SCORE 32200.34
AT ITER 3633 NEW BEST:: SOT 134734 SOS 48320 HAS SOPS 48320 HAS SOUS 32132 HAS SOUPS 32132 WITH SCORE 32180.32
AT ITER 3645 NEW BEST:: SOT 134666 SOS 48268 HAS SOPS 48268 HAS SOUS 32122 HAS SOUPS 32122 WITH SCORE 32170.268
AT ITER 3694 NEW BEST:: SOT 134657 SOS 48209 HAS SOPS 48209 HAS SOUS 32025 HAS SOUPS 32025 WITH SCORE 32073.209
AT ITER 3698 NEW BEST:: SOT 134660 SOS 48171 HAS SOPS 48171 HAS SOUS 31987 HAS SOUPS 31987 WITH SCORE 32035.171
AT ITER 3702 NEW BEST:: SOT 134677 SOS 48135 HAS SOPS 48135 HAS SOUS 31951 HAS SOUPS 31951 WITH SCORE 31999.135
AT ITER 3723 NEW BEST:: SOT 134600 SOS 48018 HAS SOPS 48018 HAS SOUS 31834 HAS SOUPS 31834 WITH SCORE 31882.018
AT ITER 3728 NEW BEST:: SOT 134586 SOS 48017 HAS SOPS 48017 HAS SOUS 31833 HAS SOUPS 31833 WITH SCORE 31881.017
AT ITER 3734 NEW BEST:: SOT 134581 SOS 48007 HAS SOPS 48007 HAS SOUS 31828 HAS SOUPS 31828 WITH SCORE 31876.007
AT ITER 3735 NEW BEST:: SOT 134574 SOS 47993 HAS SOPS 47993 HAS SOUS 31814 HAS SOUPS 31814 WITH SCORE 31861.993
AT ITER 3765 NEW BEST:: SOT 134572 SOS 47989 HAS SOPS 47989 HAS SOUS 31810 HAS SOUPS 31810 WITH SCORE 31857.989
AT ITER 3767 NEW BEST:: SOT 134571 SOS 47987 HAS SOPS 47987 HAS SOUS 31808 HAS SOUPS 31808 WITH SCORE 31855.987
AT ITER 3793 NEW BEST:: SOT 134507 SOS 47896 HAS SOPS 47896 HAS SOUS 31754 HAS SOUPS 31754 WITH SCORE 31801.896
AT ITER 3821 NEW BEST:: SOT 134499 SOS 47880 HAS SOPS 47880 HAS SOUS 31747 HAS SOUPS 31747 WITH SCORE 31794.88
AT ITER 3838 NEW BEST:: SOT 134477 SOS 47858 HAS SOPS 47858 HAS SOUS 31747 HAS SOUPS 31747 WITH SCORE 31794.858
AT ITER 3841 NEW BEST:: SOT 134469 SOS 47842 HAS SOPS 47842 HAS SOUS 31737 HAS SOUPS 31737 WITH SCORE 31784.842
AT ITER 3858 NEW BEST:: SOT 134524 SOS 47839 HAS SOPS 47839 HAS SOUS 31734 HAS SOUPS 31734 WITH SCORE 31781.839
AT ITER 3876 NEW BEST:: SOT 134530 SOS 47798 HAS SOPS 47798 HAS SOUS 31693 HAS SOUPS 31693 WITH SCORE 31740.798
AT ITER 3887 NEW BEST:: SOT 134523 SOS 47788 HAS SOPS 47788 HAS SOUS 31650 HAS SOUPS 31650 WITH SCORE 31697.788
AT ITER 3919 NEW BEST:: SOT 134517 SOS 47782 HAS SOPS 47782 HAS SOUS 31644 HAS SOUPS 31644 WITH SCORE 31691.782
AT ITER 3923 NEW BEST:: SOT 134518 SOS 47952 HAS SOPS 47952 HAS SOUS 31605 HAS SOUPS 31605 WITH SCORE 31652.952
AT ITER 3925 NEW BEST:: SOT 134450 SOS 47884 HAS SOPS 47884 HAS SOUS 31489 HAS SOUPS 31489 WITH SCORE 31536.884
AT ITER 3962 NEW BEST:: SOT 134449 SOS 47882 HAS SOPS 47882 HAS SOUS 31487 HAS SOUPS 31487 WITH SCORE 31534.882
AT ITER 3976 NEW BEST:: SOT 134441 SOS 47866 HAS SOPS 47866 HAS SOUS 31471 HAS SOUPS 31471 WITH SCORE 31518.866
AT ITER 3983 NEW BEST:: SOT 134370 SOS 47765 HAS SOPS 47765 HAS SOUS 31370 HAS SOUPS 31370 WITH SCORE 31417.765
AT ITER 3985 NEW BEST:: SOT 134367 SOS 47751 HAS SOPS 47751 HAS SOUS 31356 HAS SOUPS 31356 WITH SCORE 31403.751
AT ITER 3989 NEW BEST:: SOT 134436 SOS 47820 HAS SOPS 47820 HAS SOUS 31346 HAS SOUPS 31346 WITH SCORE 31393.82
AT ITER 3993 NEW BEST:: SOT 134417 SOS 47798 HAS SOPS 47798 HAS SOUS 31324 HAS SOUPS 31324 WITH SCORE 31371.798
AT ITER 4026 NEW BEST:: SOT 134383 SOS 47771 HAS SOPS 47771 HAS SOUS 31297 HAS SOUPS 31297 WITH SCORE 31344.771
AT ITER 4039 NEW BEST:: SOT 134383 SOS 47711 HAS SOPS 47711 HAS SOUS 31292 HAS SOUPS 31292 WITH SCORE 31339.711
AT ITER 4047 NEW BEST:: SOT 134383 SOS 47703 HAS SOPS 47703 HAS SOUS 31292 HAS SOUPS 31292 WITH SCORE 31339.703
AT ITER 4070 NEW BEST:: SOT 134423 SOS 47730 HAS SOPS 47730 HAS SOUS 31266 HAS SOUPS 31266 WITH SCORE 31313.73
AT ITER 4082 NEW BEST:: SOT 134407 SOS 47714 HAS SOPS 47714 HAS SOUS 31250 HAS SOUPS 31250 WITH SCORE 31297.714
AT ITER 4093 NEW BEST:: SOT 134404 SOS 47711 HAS SOPS 47711 HAS SOUS 31247 HAS SOUPS 31247 WITH SCORE 31294.711
AT ITER 4105 NEW BEST:: SOT 134404 SOS 47709 HAS SOPS 47709 HAS SOUS 31247 HAS SOUPS 31247 WITH SCORE 31294.709
AT ITER 4115 NEW BEST:: SOT 134401 SOS 47703 HAS SOPS 47703 HAS SOUS 31241 HAS SOUPS 31241 WITH SCORE 31288.703
AT ITER 4125 NEW BEST:: SOT 134373 SOS 47656 HAS SOPS 47656 HAS SOUS 31213 HAS SOUPS 31213 WITH SCORE 31260.656
AT ITER 4132 NEW BEST:: SOT 134371 SOS 47613 HAS SOPS 47613 HAS SOUS 31167 HAS SOUPS 31167 WITH SCORE 31214.613
AT ITER 4138 NEW BEST:: SOT 134369 SOS 47609 HAS SOPS 47609 HAS SOUS 31165 HAS SOUPS 31165 WITH SCORE 31212.609
AT ITER 4189 NEW BEST:: SOT 134345 SOS 47492 HAS SOPS 47492 HAS SOUS 31072 HAS SOUPS 31072 WITH SCORE 31119.492
AT ITER 4200 NEW BEST:: SOT 134347 SOS 47472 HAS SOPS 47472 HAS SOUS 31052 HAS SOUPS 31052 WITH SCORE 31099.472
AT ITER 4209 NEW BEST:: SOT 134522 SOS 47647 HAS SOPS 47647 HAS SOUS 31040 HAS SOUPS 31040 WITH SCORE 31087.647
AT ITER 4227 NEW BEST:: SOT 134494 SOS 47591 HAS SOPS 47591 HAS SOUS 31029 HAS SOUPS 31029 WITH SCORE 31076.591
AT ITER 4240 NEW BEST:: SOT 134491 SOS 47588 HAS SOPS 47588 HAS SOUS 31026 HAS SOUPS 31026 WITH SCORE 31073.588
AT ITER 4241 NEW BEST:: SOT 134478 SOS 47575 HAS SOPS 47575 HAS SOUS 31026 HAS SOUPS 31026 WITH SCORE 31073.575
AT ITER 4249 NEW BEST:: SOT 134466 SOS 47565 HAS SOPS 47565 HAS SOUS 31016 HAS SOUPS 31016 WITH SCORE 31063.565
AT ITER 4268 NEW BEST:: SOT 134465 SOS 47563 HAS SOPS 47563 HAS SOUS 31014 HAS SOUPS 31014 WITH SCORE 31061.563
AT ITER 4297 NEW BEST:: SOT 134452 SOS 47569 HAS SOPS 47569 HAS SOUS 30990 HAS SOUPS 30990 WITH SCORE 31037.569
AT ITER 4324 NEW BEST:: SOT 134452 SOS 47561 HAS SOPS 47561 HAS SOUS 30990 HAS SOUPS 30990 WITH SCORE 31037.561
AT ITER 4390 NEW BEST:: SOT 134452 SOS 47549 HAS SOPS 47549 HAS SOUS 30966 HAS SOUPS 30966 WITH SCORE 31013.549
AT ITER 4405 NEW BEST:: SOT 134402 SOS 47516 HAS SOPS 47516 HAS SOUS 30957 HAS SOUPS 30957 WITH SCORE 31004.516
AT ITER 4448 NEW BEST:: SOT 134325 SOS 47464 HAS SOPS 47464 HAS SOUS 30905 HAS SOUPS 30905 WITH SCORE 30952.464
AT ITER 4455 NEW BEST:: SOT 134278 SOS 47417 HAS SOPS 47417 HAS SOUS 30848 HAS SOUPS 30848 WITH SCORE 30895.417
AT ITER 4537 NEW BEST:: SOT 134278 SOS 47394 HAS SOPS 47394 HAS SOUS 30834 HAS SOUPS 30834 WITH SCORE 30881.394
AT ITER 4538 NEW BEST:: SOT 134267 SOS 47372 HAS SOPS 47372 HAS SOUS 30812 HAS SOUPS 30812 WITH SCORE 30859.372
AT ITER 4547 NEW BEST:: SOT 134256 SOS 47394 HAS SOPS 47394 HAS SOUS 30808 HAS SOUPS 30808 WITH SCORE 30855.394
AT ITER 4553 NEW BEST:: SOT 134239 SOS 47382 HAS SOPS 47382 HAS SOUS 30796 HAS SOUPS 30796 WITH SCORE 30843.382
AT ITER 4597 NEW BEST:: SOT 134239 SOS 47340 HAS SOPS 47340 HAS SOUS 30796 HAS SOUPS 30796 WITH SCORE 30843.34
AT ITER 4639 NEW BEST:: SOT 134224 SOS 47300 HAS SOPS 47300 HAS SOUS 30756 HAS SOUPS 30756 WITH SCORE 30803.3
AT ITER 4666 NEW BEST:: SOT 134222 SOS 47198 HAS SOPS 47198 HAS SOUS 30735 HAS SOUPS 30735 WITH SCORE 30782.198
AT ITER 4705 NEW BEST:: SOT 134210 SOS 47192 HAS SOPS 47192 HAS SOUS 30729 HAS SOUPS 30729 WITH SCORE 30776.192
AT ITER 4727 NEW BEST:: SOT 134199 SOS 47180 HAS SOPS 47180 HAS SOUS 30717 HAS SOUPS 30717 WITH SCORE 30764.18
AT ITER 4729 NEW BEST:: SOT 134146 SOS 47064 HAS SOPS 47064 HAS SOUS 30601 HAS SOUPS 30601 WITH SCORE 30648.064
AT ITER 4763 NEW BEST:: SOT 134146 SOS 47034 HAS SOPS 47034 HAS SOUS 30562 HAS SOUPS 30562 WITH SCORE 30609.034
AT ITER 4773 NEW BEST:: SOT 134120 SOS 47162 HAS SOPS 47162 HAS SOUS 30556 HAS SOUPS 30556 WITH SCORE 30603.162
AT ITER 4802 NEW BEST:: SOT 134120 SOS 47155 HAS SOPS 47155 HAS SOUS 30556 HAS SOUPS 30556 WITH SCORE 30603.155
AT ITER 4808 NEW BEST:: SOT 134120 SOS 47143 HAS SOPS 47143 HAS SOUS 30556 HAS SOUPS 30556 WITH SCORE 30603.143
AT ITER 4816 NEW BEST:: SOT 134122 SOS 47232 HAS SOPS 47232 HAS SOUS 30555 HAS SOUPS 30555 WITH SCORE 30602.232
AT ITER 4890 NEW BEST:: SOT 134121 SOS 47231 HAS SOPS 47231 HAS SOUS 30540 HAS SOUPS 30540 WITH SCORE 30587.231
AT ITER 4901 NEW BEST:: SOT 134121 SOS 47151 HAS SOPS 47151 HAS SOUS 30540 HAS SOUPS 30540 WITH SCORE 30587.151
AT ITER 4913 NEW BEST:: SOT 134068 SOS 47329 HAS SOPS 47329 HAS SOUS 30442 HAS SOUPS 30442 WITH SCORE 30489.329
AT ITER 4934 NEW BEST:: SOT 134068 SOS 47320 HAS SOPS 47320 HAS SOUS 30424 HAS SOUPS 30424 WITH SCORE 30471.32
AT ITER 4949 NEW BEST:: SOT 134072 SOS 47306 HAS SOPS 47306 HAS SOUS 30388 HAS SOUPS 30388 WITH SCORE 30435.306
AT ITER 4956 NEW BEST:: SOT 134066 SOS 47294 HAS SOPS 47294 HAS SOUS 30376 HAS SOUPS 30376 WITH SCORE 30423.294
AT ITER 4960 NEW BEST:: SOT 134066 SOS 47162 HAS SOPS 47162 HAS SOUS 30376 HAS SOUPS 30376 WITH SCORE 30423.162
AT ITER 4975 NEW BEST:: SOT 134066 SOS 47159 HAS SOPS 47159 HAS SOUS 30373 HAS SOUPS 30373 WITH SCORE 30420.159
AT ITER 4982 NEW BEST:: SOT 134066 SOS 47142 HAS SOPS 47142 HAS SOUS 30339 HAS SOUPS 30339 WITH SCORE 30386.142
AT ITER 4988 NEW BEST:: SOT 134060 SOS 47136 HAS SOPS 47136 HAS SOUS 30333 HAS SOUPS 30333 WITH SCORE 30380.136
AT ITER 5006 NEW BEST:: SOT 134070 SOS 47182 HAS SOPS 47182 HAS SOUS 30332 HAS SOUPS 30332 WITH SCORE 30379.182
AT ITER 5034 NEW BEST:: SOT 134070 SOS 47171 HAS SOPS 47171 HAS SOUS 30332 HAS SOUPS 30332 WITH SCORE 30379.171
AT ITER 5044 NEW BEST:: SOT 134070 SOS 47129 HAS SOPS 47129 HAS SOUS 30332 HAS SOUPS 30332 WITH SCORE 30379.129
AT ITER 5050 NEW BEST:: SOT 134087 SOS 47163 HAS SOPS 47163 HAS SOUS 30308 HAS SOUPS 30308 WITH SCORE 30355.163
AT ITER 5072 NEW BEST:: SOT 134121 SOS 47141 HAS SOPS 47141 HAS SOUS 30297 HAS SOUPS 30297 WITH SCORE 30344.141
AT ITER 5080 NEW BEST:: SOT 134053 SOS 47094 HAS SOPS 47094 HAS SOUS 30250 HAS SOUPS 30250 WITH SCORE 30297.094
AT ITER 5101 NEW BEST:: SOT 134027 SOS 47068 HAS SOPS 47068 HAS SOUS 30224 HAS SOUPS 30224 WITH SCORE 30271.068
AT ITER 5106 NEW BEST:: SOT 134027 SOS 47067 HAS SOPS 47067 HAS SOUS 30223 HAS SOUPS 30223 WITH SCORE 30270.067
AT ITER 5136 NEW BEST:: SOT 134009 SOS 46933 HAS SOPS 46933 HAS SOUS 30169 HAS SOUPS 30169 WITH SCORE 30215.933
AT ITER 5143 NEW BEST:: SOT 134004 SOS 46923 HAS SOPS 46923 HAS SOUS 30159 HAS SOUPS 30159 WITH SCORE 30205.923
AT ITER 5146 NEW BEST:: SOT 133879 SOS 46850 HAS SOPS 46850 HAS SOUS 30086 HAS SOUPS 30086 WITH SCORE 30132.85
AT ITER 5218 NEW BEST:: SOT 133855 SOS 46826 HAS SOPS 46826 HAS SOUS 30062 HAS SOUPS 30062 WITH SCORE 30108.826
AT ITER 5231 NEW BEST:: SOT 133855 SOS 46820 HAS SOPS 46820 HAS SOUS 30056 HAS SOUPS 30056 WITH SCORE 30102.82
AT ITER 5236 NEW BEST:: SOT 133855 SOS 46791 HAS SOPS 46791 HAS SOUS 29998 HAS SOUPS 29998 WITH SCORE 30044.791
AT ITER 5243 NEW BEST:: SOT 133854 SOS 46790 HAS SOPS 46790 HAS SOUS 29997 HAS SOUPS 29997 WITH SCORE 30043.79
AT ITER 5244 NEW BEST:: SOT 133843 SOS 46757 HAS SOPS 46757 HAS SOUS 29964 HAS SOUPS 29964 WITH SCORE 30010.757
AT ITER 5255 NEW BEST:: SOT 133842 SOS 46746 HAS SOPS 46746 HAS SOUS 29953 HAS SOUPS 29953 WITH SCORE 29999.746
AT ITER 5258 NEW BEST:: SOT 133841 SOS 46709 HAS SOPS 46709 HAS SOUS 29949 HAS SOUPS 29949 WITH SCORE 29995.709
AT ITER 5276 NEW BEST:: SOT 133847 SOS 46683 HAS SOPS 46683 HAS SOUS 29923 HAS SOUPS 29923 WITH SCORE 29969.683
AT ITER 5305 NEW BEST:: SOT 133860 SOS 46685 HAS SOPS 46685 HAS SOUS 29875 HAS SOUPS 29875 WITH SCORE 29921.685
AT ITER 5339 NEW BEST:: SOT 133855 SOS 46675 HAS SOPS 46675 HAS SOUS 29870 HAS SOUPS 29870 WITH SCORE 29916.675
AT ITER 5348 NEW BEST:: SOT 133846 SOS 46658 HAS SOPS 46658 HAS SOUS 29853 HAS SOUPS 29853 WITH SCORE 29899.658
AT ITER 5418 NEW BEST:: SOT 133846 SOS 46639 HAS SOPS 46639 HAS SOUS 29834 HAS SOUPS 29834 WITH SCORE 29880.639
AT ITER 5419 NEW BEST:: SOT 133757 SOS 46354 HAS SOPS 46354 HAS SOUS 29728 HAS SOUPS 29728 WITH SCORE 29774.354
AT ITER 5474 NEW BEST:: SOT 133730 SOS 46327 HAS SOPS 46327 HAS SOUS 29701 HAS SOUPS 29701 WITH SCORE 29747.327
AT ITER 5489 NEW BEST:: SOT 133730 SOS 46281 HAS SOPS 46281 HAS SOUS 29655 HAS SOUPS 29655 WITH SCORE 29701.281
AT ITER 5490 NEW BEST:: SOT 133728 SOS 46277 HAS SOPS 46277 HAS SOUS 29653 HAS SOUPS 29653 WITH SCORE 29699.277
AT ITER 5495 NEW BEST:: SOT 133723 SOS 46075 HAS SOPS 46075 HAS SOUS 29599 HAS SOUPS 29599 WITH SCORE 29645.075
AT ITER 5537 NEW BEST:: SOT 133746 SOS 46126 HAS SOPS 46126 HAS SOUS 29546 HAS SOUPS 29546 WITH SCORE 29592.126
AT ITER 5541 NEW BEST:: SOT 133738 SOS 46124 HAS SOPS 46124 HAS SOUS 29544 HAS SOUPS 29544 WITH SCORE 29590.124
AT ITER 5556 NEW BEST:: SOT 133684 SOS 46011 HAS SOPS 46011 HAS SOUS 29431 HAS SOUPS 29431 WITH SCORE 29477.011
AT ITER 5577 NEW BEST:: SOT 133683 SOS 46010 HAS SOPS 46010 HAS SOUS 29430 HAS SOUPS 29430 WITH SCORE 29476.01
AT ITER 5600 NEW BEST:: SOT 133619 SOS 45848 HAS SOPS 45848 HAS SOUS 29383 HAS SOUPS 29383 WITH SCORE 29428.848
AT ITER 5621 NEW BEST:: SOT 133590 SOS 45789 HAS SOPS 45789 HAS SOUS 29324 HAS SOUPS 29324 WITH SCORE 29369.789
AT ITER 5648 NEW BEST:: SOT 133607 SOS 45788 HAS SOPS 45788 HAS SOUS 29323 HAS SOUPS 29323 WITH SCORE 29368.788
AT ITER 5662 NEW BEST:: SOT 133602 SOS 45778 HAS SOPS 45778 HAS SOUS 29313 HAS SOUPS 29313 WITH SCORE 29358.778
AT ITER 5667 NEW BEST:: SOT 133604 SOS 45747 HAS SOPS 45747 HAS SOUS 29249 HAS SOUPS 29249 WITH SCORE 29294.747
AT ITER 5706 NEW BEST:: SOT 133606 SOS 45744 HAS SOPS 45744 HAS SOUS 29246 HAS SOUPS 29246 WITH SCORE 29291.744
AT ITER 5733 NEW BEST:: SOT 133569 SOS 45672 HAS SOPS 45672 HAS SOUS 29174 HAS SOUPS 29174 WITH SCORE 29219.672
AT ITER 5743 NEW BEST:: SOT 133564 SOS 45662 HAS SOPS 45662 HAS SOUS 29164 HAS SOUPS 29164 WITH SCORE 29209.662
AT ITER 5760 NEW BEST:: SOT 133564 SOS 45660 HAS SOPS 45660 HAS SOUS 29162 HAS SOUPS 29162 WITH SCORE 29207.66
AT ITER 5767 NEW BEST:: SOT 133563 SOS 45651 HAS SOPS 45651 HAS SOUS 29153 HAS SOUPS 29153 WITH SCORE 29198.651
AT ITER 5783 NEW BEST:: SOT 133563 SOS 45648 HAS SOPS 45648 HAS SOUS 29150 HAS SOUPS 29150 WITH SCORE 29195.648
AT ITER 5810 NEW BEST:: SOT 133557 SOS 45618 HAS SOPS 45618 HAS SOUS 29131 HAS SOUPS 29131 WITH SCORE 29176.618
AT ITER 5831 NEW BEST:: SOT 133531 SOS 45610 HAS SOPS 45610 HAS SOUS 29123 HAS SOUPS 29123 WITH SCORE 29168.61
AT ITER 5849 NEW BEST:: SOT 133505 SOS 45514 HAS SOPS 45514 HAS SOUS 29027 HAS SOUPS 29027 WITH SCORE 29072.514
AT ITER 5869 NEW BEST:: SOT 133501 SOS 45510 HAS SOPS 45510 HAS SOUS 29023 HAS SOUPS 29023 WITH SCORE 29068.51
AT ITER 5884 NEW BEST:: SOT 133487 SOS 45492 HAS SOPS 45492 HAS SOUS 29015 HAS SOUPS 29015 WITH SCORE 29060.492
AT ITER 5977 NEW BEST:: SOT 133459 SOS 45436 HAS SOPS 45436 HAS SOUS 28997 HAS SOUPS 28997 WITH SCORE 29042.436
AT ITER 5982 NEW BEST:: SOT 133459 SOS 45432 HAS SOPS 45432 HAS SOUS 28995 HAS SOUPS 28995 WITH SCORE 29040.432
AT ITER 5992 NEW BEST:: SOT 133436 SOS 45420 HAS SOPS 45420 HAS SOUS 28983 HAS SOUPS 28983 WITH SCORE 29028.42
AT ITER 6026 NEW BEST:: SOT 133427 SOS 45411 HAS SOPS 45411 HAS SOUS 28974 HAS SOUPS 28974 WITH SCORE 29019.411
AT ITER 6031 NEW BEST:: SOT 133427 SOS 45409 HAS SOPS 45409 HAS SOUS 28972 HAS SOUPS 28972 WITH SCORE 29017.409
AT ITER 6041 NEW BEST:: SOT 133485 SOS 45471 HAS SOPS 45471 HAS SOUS 28959 HAS SOUPS 28959 WITH SCORE 29004.471
AT ITER 6048 NEW BEST:: SOT 133472 SOS 45452 HAS SOPS 45452 HAS SOUS 28929 HAS SOUPS 28929 WITH SCORE 28974.452
AT ITER 6057 NEW BEST:: SOT 133449 SOS 45429 HAS SOPS 45429 HAS SOUS 28906 HAS SOUPS 28906 WITH SCORE 28951.429
AT ITER 6085 NEW BEST:: SOT 133442 SOS 45349 HAS SOPS 45349 HAS SOUS 28820 HAS SOUPS 28820 WITH SCORE 28865.349
AT ITER 6087 NEW BEST:: SOT 133442 SOS 45349 HAS SOPS 45349 HAS SOUS 28809 HAS SOUPS 28809 WITH SCORE 28854.349
AT ITER 6103 NEW BEST:: SOT 133435 SOS 45335 HAS SOPS 45335 HAS SOUS 28802 HAS SOUPS 28802 WITH SCORE 28847.335
AT ITER 6105 NEW BEST:: SOT 133434 SOS 45333 HAS SOPS 45333 HAS SOUS 28800 HAS SOUPS 28800 WITH SCORE 28845.333
AT ITER 6106 NEW BEST:: SOT 133431 SOS 45332 HAS SOPS 45332 HAS SOUS 28799 HAS SOUPS 28799 WITH SCORE 28844.332
AT ITER 6132 NEW BEST:: SOT 133431 SOS 45324 HAS SOPS 45324 HAS SOUS 28753 HAS SOUPS 28753 WITH SCORE 28798.324
AT ITER 6148 NEW BEST:: SOT 133444 SOS 45326 HAS SOPS 45326 HAS SOUS 28747 HAS SOUPS 28747 WITH SCORE 28792.326
AT ITER 6152 NEW BEST:: SOT 133360 SOS 45225 HAS SOPS 45225 HAS SOUS 28646 HAS SOUPS 28646 WITH SCORE 28691.225
AT ITER 6181 NEW BEST:: SOT 133333 SOS 45140 HAS SOPS 45140 HAS SOUS 28630 HAS SOUPS 28630 WITH SCORE 28675.14
AT ITER 6203 NEW BEST:: SOT 133321 SOS 45128 HAS SOPS 45128 HAS SOUS 28618 HAS SOUPS 28618 WITH SCORE 28663.128
AT ITER 6208 NEW BEST:: SOT 133384 SOS 45186 HAS SOPS 45186 HAS SOUS 28608 HAS SOUPS 28608 WITH SCORE 28653.186
AT ITER 6243 NEW BEST:: SOT 133383 SOS 45184 HAS SOPS 45184 HAS SOUS 28606 HAS SOUPS 28606 WITH SCORE 28651.184
AT ITER 6250 NEW BEST:: SOT 133239 SOS 45052 HAS SOPS 45052 HAS SOUS 28474 HAS SOUPS 28474 WITH SCORE 28519.052
AT ITER 6265 NEW BEST:: SOT 133218 SOS 45043 HAS SOPS 45043 HAS SOUS 28465 HAS SOUPS 28465 WITH SCORE 28510.043
AT ITER 6272 NEW BEST:: SOT 133186 SOS 45015 HAS SOPS 45015 HAS SOUS 28437 HAS SOUPS 28437 WITH SCORE 28482.015
AT ITER 6328 NEW BEST:: SOT 133176 SOS 44993 HAS SOPS 44993 HAS SOUS 28415 HAS SOUPS 28415 WITH SCORE 28459.993
AT ITER 6370 NEW BEST:: SOT 133155 SOS 44964 HAS SOPS 44964 HAS SOUS 28399 HAS SOUPS 28399 WITH SCORE 28443.964
AT ITER 6392 NEW BEST:: SOT 133154 SOS 44962 HAS SOPS 44962 HAS SOUS 28397 HAS SOUPS 28397 WITH SCORE 28441.962
AT ITER 6411 NEW BEST:: SOT 133148 SOS 44988 HAS SOPS 44988 HAS SOUS 28393 HAS SOUPS 28393 WITH SCORE 28437.988
AT ITER 6496 NEW BEST:: SOT 133151 SOS 44985 HAS SOPS 44985 HAS SOUS 28390 HAS SOUPS 28390 WITH SCORE 28434.985
AT ITER 6507 NEW BEST:: SOT 133151 SOS 44975 HAS SOPS 44975 HAS SOUS 28390 HAS SOUPS 28390 WITH SCORE 28434.975
AT ITER 6537 NEW BEST:: SOT 133139 SOS 44963 HAS SOPS 44963 HAS SOUS 28378 HAS SOUPS 28378 WITH SCORE 28422.963
AT ITER 6544 NEW BEST:: SOT 133057 SOS 44836 HAS SOPS 44836 HAS SOUS 28296 HAS SOUPS 28296 WITH SCORE 28340.836
AT ITER 6548 NEW BEST:: SOT 133042 SOS 44821 HAS SOPS 44821 HAS SOUS 28281 HAS SOUPS 28281 WITH SCORE 28325.821
AT ITER 6569 NEW BEST:: SOT 133041 SOS 44819 HAS SOPS 44819 HAS SOUS 28279 HAS SOUPS 28279 WITH SCORE 28323.819
AT ITER 6595 NEW BEST:: SOT 133022 SOS 44757 HAS SOPS 44757 HAS SOUS 28240 HAS SOUPS 28240 WITH SCORE 28284.757
AT ITER 6613 NEW BEST:: SOT 133012 SOS 44747 HAS SOPS 44747 HAS SOUS 28230 HAS SOUPS 28230 WITH SCORE 28274.747
AT ITER 6672 NEW BEST:: SOT 133010 SOS 44745 HAS SOPS 44745 HAS SOUS 28228 HAS SOUPS 28228 WITH SCORE 28272.745
AT ITER 6674 NEW BEST:: SOT 132998 SOS 44721 HAS SOPS 44721 HAS SOUS 28204 HAS SOUPS 28204 WITH SCORE 28248.721
AT ITER 6679 NEW BEST:: SOT 132989 SOS 44703 HAS SOPS 44703 HAS SOUS 28168 HAS SOUPS 28168 WITH SCORE 28212.703
AT ITER 6683 NEW BEST:: SOT 132983 SOS 44697 HAS SOPS 44697 HAS SOUS 28162 HAS SOUPS 28162 WITH SCORE 28206.697
AT ITER 6685 NEW BEST:: SOT 132962 SOS 44676 HAS SOPS 44676 HAS SOUS 28141 HAS SOUPS 28141 WITH SCORE 28185.676
AT ITER 6690 NEW BEST:: SOT 132923 SOS 44598 HAS SOPS 44598 HAS SOUS 28074 HAS SOUPS 28074 WITH SCORE 28118.598
AT ITER 6716 NEW BEST:: SOT 132915 SOS 44567 HAS SOPS 44567 HAS SOUS 28043 HAS SOUPS 28043 WITH SCORE 28087.567
AT ITER 6744 NEW BEST:: SOT 132896 SOS 44559 HAS SOPS 44559 HAS SOUS 28035 HAS SOUPS 28035 WITH SCORE 28079.559
AT ITER 6751 NEW BEST:: SOT 132887 SOS 44528 HAS SOPS 44528 HAS SOUS 28004 HAS SOUPS 28004 WITH SCORE 28048.528
AT ITER 6783 NEW BEST:: SOT 132843 SOS 44440 HAS SOPS 44440 HAS SOUS 27983 HAS SOUPS 27983 WITH SCORE 28027.44
AT ITER 6790 NEW BEST:: SOT 132840 SOS 44437 HAS SOPS 44437 HAS SOUS 27980 HAS SOUPS 27980 WITH SCORE 28024.437
AT ITER 6911 NEW BEST:: SOT 132881 SOS 44454 HAS SOPS 44454 HAS SOUS 27963 HAS SOUPS 27963 WITH SCORE 28007.454
AT ITER 6938 NEW BEST:: SOT 132831 SOS 44402 HAS SOPS 44402 HAS SOUS 27959 HAS SOUPS 27959 WITH SCORE 28003.402
AT ITER 6954 NEW BEST:: SOT 132824 SOS 44395 HAS SOPS 44395 HAS SOUS 27952 HAS SOUPS 27952 WITH SCORE 27996.395
AT ITER 6965 NEW BEST:: SOT 132841 SOS 44366 HAS SOPS 44366 HAS SOUS 27923 HAS SOUPS 27923 WITH SCORE 27967.366
AT ITER 6968 NEW BEST:: SOT 132841 SOS 44357 HAS SOPS 44357 HAS SOUS 27906 HAS SOUPS 27906 WITH SCORE 27950.357
AT ITER 6998 NEW BEST:: SOT 132874 SOS 44390 HAS SOPS 44390 HAS SOUS 27904 HAS SOUPS 27904 WITH SCORE 27948.39
AT ITER 7036 NEW BEST:: SOT 132862 SOS 44326 HAS SOPS 44326 HAS SOUS 27843 HAS SOUPS 27843 WITH SCORE 27887.326
AT ITER 7099 NEW BEST:: SOT 132851 SOS 44304 HAS SOPS 44304 HAS SOUS 27795 HAS SOUPS 27795 WITH SCORE 27839.304
AT ITER 7138 NEW BEST:: SOT 132851 SOS 44301 HAS SOPS 44301 HAS SOUS 27789 HAS SOUPS 27789 WITH SCORE 27833.301
AT ITER 7147 NEW BEST:: SOT 132847 SOS 44297 HAS SOPS 44297 HAS SOUS 27785 HAS SOUPS 27785 WITH SCORE 27829.297
AT ITER 7187 NEW BEST:: SOT 132824 SOS 44248 HAS SOPS 44248 HAS SOUS 27762 HAS SOUPS 27762 WITH SCORE 27806.248
AT ITER 7192 NEW BEST:: SOT 132821 SOS 44245 HAS SOPS 44245 HAS SOUS 27759 HAS SOUPS 27759 WITH SCORE 27803.245
AT ITER 7236 NEW BEST:: SOT 132813 SOS 44230 HAS SOPS 44230 HAS SOUS 27745 HAS SOUPS 27745 WITH SCORE 27789.23
AT ITER 7238 NEW BEST:: SOT 132819 SOS 44221 HAS SOPS 44221 HAS SOUS 27744 HAS SOUPS 27744 WITH SCORE 27788.221
AT ITER 7254 NEW BEST:: SOT 132814 SOS 44211 HAS SOPS 44211 HAS SOUS 27734 HAS SOUPS 27734 WITH SCORE 27778.211
AT ITER 7276 NEW BEST:: SOT 132816 SOS 44215 HAS SOPS 44215 HAS SOUS 27709 HAS SOUPS 27709 WITH SCORE 27753.215
AT ITER 7284 NEW BEST:: SOT 132816 SOS 44203 HAS SOPS 44203 HAS SOUS 27685 HAS SOUPS 27685 WITH SCORE 27729.203
AT ITER 7293 NEW BEST:: SOT 132816 SOS 44202 HAS SOPS 44202 HAS SOUS 27684 HAS SOUPS 27684 WITH SCORE 27728.202
AT ITER 7298 NEW BEST:: SOT 132811 SOS 44197 HAS SOPS 44197 HAS SOUS 27679 HAS SOUPS 27679 WITH SCORE 27723.197
AT ITER 7301 NEW BEST:: SOT 132809 SOS 44193 HAS SOPS 44193 HAS SOUS 27589 HAS SOUPS 27589 WITH SCORE 27633.193
AT ITER 7303 NEW BEST:: SOT 132801 SOS 44168 HAS SOPS 44168 HAS SOUS 27584 HAS SOUPS 27584 WITH SCORE 27628.168
AT ITER 7346 NEW BEST:: SOT 132801 SOS 44162 HAS SOPS 44162 HAS SOUS 27584 HAS SOUPS 27584 WITH SCORE 27628.162
AT ITER 7414 NEW BEST:: SOT 132656 SOS 43943 HAS SOPS 43943 HAS SOUS 27479 HAS SOUPS 27479 WITH SCORE 27522.943
AT ITER 7429 NEW BEST:: SOT 132641 SOS 43928 HAS SOPS 43928 HAS SOUS 27464 HAS SOUPS 27464 WITH SCORE 27507.928
AT ITER 7432 NEW BEST:: SOT 132629 SOS 43916 HAS SOPS 43916 HAS SOUS 27464 HAS SOUPS 27464 WITH SCORE 27507.916
AT ITER 7470 NEW BEST:: SOT 132557 SOS 43844 HAS SOPS 43844 HAS SOUS 27464 HAS SOUPS 27464 WITH SCORE 27507.844
AT ITER 7475 NEW BEST:: SOT 132534 SOS 43823 HAS SOPS 43823 HAS SOUS 27443 HAS SOUPS 27443 WITH SCORE 27486.823
AT ITER 7512 NEW BEST:: SOT 132527 SOS 43816 HAS SOPS 43816 HAS SOUS 27436 HAS SOUPS 27436 WITH SCORE 27479.816
AT ITER 7515 NEW BEST:: SOT 132537 SOS 43809 HAS SOPS 43809 HAS SOUS 27429 HAS SOUPS 27429 WITH SCORE 27472.809
AT ITER 7537 NEW BEST:: SOT 132533 SOS 43805 HAS SOPS 43805 HAS SOUS 27425 HAS SOUPS 27425 WITH SCORE 27468.805
AT ITER 7546 NEW BEST:: SOT 132533 SOS 43797 HAS SOPS 43797 HAS SOUS 27417 HAS SOUPS 27417 WITH SCORE 27460.797
AT ITER 7569 NEW BEST:: SOT 132531 SOS 43793 HAS SOPS 43793 HAS SOUS 27413 HAS SOUPS 27413 WITH SCORE 27456.793
AT ITER 7595 NEW BEST:: SOT 132553 SOS 43793 HAS SOPS 43793 HAS SOUS 27391 HAS SOUPS 27391 WITH SCORE 27434.793
AT ITER 7604 NEW BEST:: SOT 132553 SOS 43788 HAS SOPS 43788 HAS SOUS 27386 HAS SOUPS 27386 WITH SCORE 27429.788
AT ITER 7619 NEW BEST:: SOT 132552 SOS 43784 HAS SOPS 43784 HAS SOUS 27382 HAS SOUPS 27382 WITH SCORE 27425.784
AT ITER 7634 NEW BEST:: SOT 132548 SOS 43780 HAS SOPS 43780 HAS SOUS 27374 HAS SOUPS 27374 WITH SCORE 27417.78
AT ITER 7745 NEW BEST:: SOT 132535 SOS 43747 HAS SOPS 43747 HAS SOUS 27341 HAS SOUPS 27341 WITH SCORE 27384.747
AT ITER 7759 NEW BEST:: SOT 132518 SOS 43713 HAS SOPS 43713 HAS SOUS 27306 HAS SOUPS 27306 WITH SCORE 27349.713
AT ITER 7783 NEW BEST:: SOT 132496 SOS 43691 HAS SOPS 43691 HAS SOUS 27284 HAS SOUPS 27284 WITH SCORE 27327.691
AT ITER 7791 NEW BEST:: SOT 132496 SOS 43694 HAS SOPS 43694 HAS SOUS 27281 HAS SOUPS 27281 WITH SCORE 27324.694
AT ITER 7811 NEW BEST:: SOT 132495 SOS 43692 HAS SOPS 43692 HAS SOUS 27279 HAS SOUPS 27279 WITH SCORE 27322.692
AT ITER 7834 NEW BEST:: SOT 132493 SOS 43666 HAS SOPS 43666 HAS SOUS 27253 HAS SOUPS 27253 WITH SCORE 27296.666
AT ITER 7851 NEW BEST:: SOT 132477 SOS 43650 HAS SOPS 43650 HAS SOUS 27237 HAS SOUPS 27237 WITH SCORE 27280.65
AT ITER 7856 NEW BEST:: SOT 132450 SOS 43626 HAS SOPS 43626 HAS SOUS 27213 HAS SOUPS 27213 WITH SCORE 27256.626
AT ITER 7895 NEW BEST:: SOT 132448 SOS 43620 HAS SOPS 43620 HAS SOUS 27207 HAS SOUPS 27207 WITH SCORE 27250.62
AT ITER 7896 NEW BEST:: SOT 132422 SOS 43594 HAS SOPS 43594 HAS SOUS 27181 HAS SOUPS 27181 WITH SCORE 27224.594
AT ITER 7931 NEW BEST:: SOT 132423 SOS 43583 HAS SOPS 43583 HAS SOUS 27170 HAS SOUPS 27170 WITH SCORE 27213.583
AT ITER 7992 NEW BEST:: SOT 132483 SOS 43634 HAS SOPS 43634 HAS SOUS 27152 HAS SOUPS 27152 WITH SCORE 27195.634
AT ITER 8012 NEW BEST:: SOT 132530 SOS 43656 HAS SOPS 43656 HAS SOUS 27148 HAS SOUPS 27148 WITH SCORE 27191.656
AT ITER 8078 NEW BEST:: SOT 132530 SOS 43652 HAS SOPS 43652 HAS SOUS 27144 HAS SOUPS 27144 WITH SCORE 27187.652
AT ITER 8158 NEW BEST:: SOT 132513 SOS 43618 HAS SOPS 43618 HAS SOUS 27110 HAS SOUPS 27110 WITH SCORE 27153.618
AT ITER 8185 NEW BEST:: SOT 132511 SOS 43614 HAS SOPS 43614 HAS SOUS 27106 HAS SOUPS 27106 WITH SCORE 27149.614
AT ITER 8200 NEW BEST:: SOT 132510 SOS 43612 HAS SOPS 43612 HAS SOUS 27104 HAS SOUPS 27104 WITH SCORE 27147.612
AT ITER 8245 NEW BEST:: SOT 132519 SOS 43624 HAS SOPS 43624 HAS SOUS 27043 HAS SOUPS 27043 WITH SCORE 27086.624
AT ITER 8267 NEW BEST:: SOT 132517 SOS 43610 HAS SOPS 43610 HAS SOUS 27029 HAS SOUPS 27029 WITH SCORE 27072.61
AT ITER 8289 NEW BEST:: SOT 132505 SOS 43469 HAS SOPS 43469 HAS SOUS 26965 HAS SOUPS 26965 WITH SCORE 27008.469
AT ITER 8299 NEW BEST:: SOT 132486 SOS 43445 HAS SOPS 43445 HAS SOUS 26941 HAS SOUPS 26941 WITH SCORE 26984.445
AT ITER 8363 NEW BEST:: SOT 132476 SOS 43435 HAS SOPS 43435 HAS SOUS 26931 HAS SOUPS 26931 WITH SCORE 26974.435
AT ITER 8373 NEW BEST:: SOT 132455 SOS 43426 HAS SOPS 43426 HAS SOUS 26922 HAS SOUPS 26922 WITH SCORE 26965.426
AT ITER 8405 NEW BEST:: SOT 132441 SOS 43412 HAS SOPS 43412 HAS SOUS 26922 HAS SOUPS 26922 WITH SCORE 26965.412
AT ITER 8408 NEW BEST:: SOT 132452 SOS 43406 HAS SOPS 43406 HAS SOUS 26916 HAS SOUPS 26916 WITH SCORE 26959.406
AT ITER 8409 NEW BEST:: SOT 132448 SOS 43402 HAS SOPS 43402 HAS SOUS 26912 HAS SOUPS 26912 WITH SCORE 26955.402
AT ITER 8415 NEW BEST:: SOT 132441 SOS 43395 HAS SOPS 43395 HAS SOUS 26905 HAS SOUPS 26905 WITH SCORE 26948.395
AT ITER 8420 NEW BEST:: SOT 132401 SOS 43364 HAS SOPS 43364 HAS SOUS 26874 HAS SOUPS 26874 WITH SCORE 26917.364
AT ITER 8464 NEW BEST:: SOT 132396 SOS 43354 HAS SOPS 43354 HAS SOUS 26864 HAS SOUPS 26864 WITH SCORE 26907.354
AT ITER 8527 NEW BEST:: SOT 132395 SOS 43352 HAS SOPS 43352 HAS SOUS 26862 HAS SOUPS 26862 WITH SCORE 26905.352
AT ITER 8531 NEW BEST:: SOT 132376 SOS 43333 HAS SOPS 43333 HAS SOUS 26843 HAS SOUPS 26843 WITH SCORE 26886.333
AT ITER 8540 NEW BEST:: SOT 132408 SOS 43325 HAS SOPS 43325 HAS SOUS 26835 HAS SOUPS 26835 WITH SCORE 26878.325
AT ITER 8579 NEW BEST:: SOT 132369 SOS 43278 HAS SOPS 43278 HAS SOUS 26788 HAS SOUPS 26788 WITH SCORE 26831.278
AT ITER 8604 NEW BEST:: SOT 132342 SOS 43277 HAS SOPS 43277 HAS SOUS 26788 HAS SOUPS 26788 WITH SCORE 26831.277
AT ITER 8666 NEW BEST:: SOT 132348 SOS 43296 HAS SOPS 43296 HAS SOUS 26787 HAS SOUPS 26787 WITH SCORE 26830.296
AT ITER 8668 NEW BEST:: SOT 132339 SOS 43290 HAS SOPS 43290 HAS SOUS 26781 HAS SOUPS 26781 WITH SCORE 26824.29
AT ITER 8718 NEW BEST:: SOT 132325 SOS 43279 HAS SOPS 43279 HAS SOUS 26770 HAS SOUPS 26770 WITH SCORE 26813.279
AT ITER 8767 NEW BEST:: SOT 132325 SOS 43259 HAS SOPS 43259 HAS SOUS 26750 HAS SOUPS 26750 WITH SCORE 26793.259
AT ITER 8801 NEW BEST:: SOT 132325 SOS 43259 HAS SOPS 43259 HAS SOUS 26748 HAS SOUPS 26748 WITH SCORE 26791.259
AT ITER 8803 NEW BEST:: SOT 132316 SOS 43241 HAS SOPS 43241 HAS SOUS 26730 HAS SOUPS 26730 WITH SCORE 26773.241
AT ITER 8852 NEW BEST:: SOT 132298 SOS 43220 HAS SOPS 43220 HAS SOUS 26709 HAS SOUPS 26709 WITH SCORE 26752.22
AT ITER 8873 NEW BEST:: SOT 132291 SOS 43203 HAS SOPS 43203 HAS SOUS 26692 HAS SOUPS 26692 WITH SCORE 26735.203
AT ITER 8883 NEW BEST:: SOT 132287 SOS 43195 HAS SOPS 43195 HAS SOUS 26684 HAS SOUPS 26684 WITH SCORE 26727.195
AT ITER 8920 NEW BEST:: SOT 132280 SOS 43181 HAS SOPS 43181 HAS SOUS 26677 HAS SOUPS 26677 WITH SCORE 26720.181
AT ITER 8936 NEW BEST:: SOT 132274 SOS 43169 HAS SOPS 43169 HAS SOUS 26665 HAS SOUPS 26665 WITH SCORE 26708.169
AT ITER 8992 NEW BEST:: SOT 132083 SOS 42966 HAS SOPS 42966 HAS SOUS 26659 HAS SOUPS 26659 WITH SCORE 26701.966
AT ITER 9066 NEW BEST:: SOT 132072 SOS 42954 HAS SOPS 42954 HAS SOUS 26657 HAS SOUPS 26657 WITH SCORE 26699.954
AT ITER 9120 NEW BEST:: SOT 132028 SOS 42910 HAS SOPS 42910 HAS SOUS 26657 HAS SOUPS 26657 WITH SCORE 26699.91
AT ITER 9129 NEW BEST:: SOT 132015 SOS 42874 HAS SOPS 42874 HAS SOUS 26621 HAS SOUPS 26621 WITH SCORE 26663.874
AT ITER 9148 NEW BEST:: SOT 131998 SOS 42873 HAS SOPS 42873 HAS SOUS 26620 HAS SOUPS 26620 WITH SCORE 26662.873
AT ITER 9172 NEW BEST:: SOT 131992 SOS 42874 HAS SOPS 42874 HAS SOUS 26610 HAS SOUPS 26610 WITH SCORE 26652.874
AT ITER 9206 NEW BEST:: SOT 131988 SOS 42870 HAS SOPS 42870 HAS SOUS 26606 HAS SOUPS 26606 WITH SCORE 26648.87
AT ITER 9235 NEW BEST:: SOT 131987 SOS 42828 HAS SOPS 42828 HAS SOUS 26604 HAS SOUPS 26604 WITH SCORE 26646.828
AT ITER 9268 NEW BEST:: SOT 131913 SOS 42748 HAS SOPS 42748 HAS SOUS 26592 HAS SOUPS 26592 WITH SCORE 26634.748
AT ITER 9275 NEW BEST:: SOT 131910 SOS 42742 HAS SOPS 42742 HAS SOUS 26589 HAS SOUPS 26589 WITH SCORE 26631.742
AT ITER 9283 NEW BEST:: SOT 131883 SOS 42688 HAS SOPS 42688 HAS SOUS 26562 HAS SOUPS 26562 WITH SCORE 26604.688
AT ITER 9322 NEW BEST:: SOT 131876 SOS 42676 HAS SOPS 42676 HAS SOUS 26550 HAS SOUPS 26550 WITH SCORE 26592.676
AT ITER 9329 NEW BEST:: SOT 131876 SOS 42674 HAS SOPS 42674 HAS SOUS 26549 HAS SOUPS 26549 WITH SCORE 26591.674
AT ITER 9354 NEW BEST:: SOT 131873 SOS 42668 HAS SOPS 42668 HAS SOUS 26543 HAS SOUPS 26543 WITH SCORE 26585.668
AT ITER 9397 NEW BEST:: SOT 131863 SOS 42648 HAS SOPS 42648 HAS SOUS 26533 HAS SOUPS 26533 WITH SCORE 26575.648
AT ITER 9400 NEW BEST:: SOT 131847 SOS 42616 HAS SOPS 42616 HAS SOUS 26482 HAS SOUPS 26482 WITH SCORE 26524.616
AT ITER 9464 NEW BEST:: SOT 131846 SOS 42614 HAS SOPS 42614 HAS SOUS 26480 HAS SOUPS 26480 WITH SCORE 26522.614
AT ITER 9474 NEW BEST:: SOT 131841 SOS 42609 HAS SOPS 42609 HAS SOUS 26475 HAS SOUPS 26475 WITH SCORE 26517.609
AT ITER 9475 NEW BEST:: SOT 131836 SOS 42606 HAS SOPS 42606 HAS SOUS 26472 HAS SOUPS 26472 WITH SCORE 26514.606
AT ITER 9484 NEW BEST:: SOT 131775 SOS 42481 HAS SOPS 42481 HAS SOUS 26408 HAS SOUPS 26408 WITH SCORE 26450.481
AT ITER 9488 NEW BEST:: SOT 131774 SOS 42414 HAS SOPS 42414 HAS SOUS 26341 HAS SOUPS 26341 WITH SCORE 26383.414
AT ITER 9521 NEW BEST:: SOT 131767 SOS 42426 HAS SOPS 42426 HAS SOUS 26336 HAS SOUPS 26336 WITH SCORE 26378.426
AT ITER 9563 NEW BEST:: SOT 131751 SOS 42413 HAS SOPS 42413 HAS SOUS 26323 HAS SOUPS 26323 WITH SCORE 26365.413
AT ITER 9571 NEW BEST:: SOT 131669 SOS 42316 HAS SOPS 42316 HAS SOUS 26287 HAS SOUPS 26287 WITH SCORE 26329.316
AT ITER 9603 NEW BEST:: SOT 131667 SOS 42314 HAS SOPS 42314 HAS SOUS 26285 HAS SOUPS 26285 WITH SCORE 26327.314
AT ITER 9688 NEW BEST:: SOT 131657 SOS 42294 HAS SOPS 42294 HAS SOUS 26273 HAS SOUPS 26273 WITH SCORE 26315.294
AT ITER 9690 NEW BEST:: SOT 131645 SOS 42287 HAS SOPS 42287 HAS SOUS 26245 HAS SOUPS 26245 WITH SCORE 26287.287
AT ITER 9701 NEW BEST:: SOT 131645 SOS 42282 HAS SOPS 42282 HAS SOUS 26240 HAS SOUPS 26240 WITH SCORE 26282.282
AT ITER 9723 NEW BEST:: SOT 131638 SOS 42268 HAS SOPS 42268 HAS SOUS 26220 HAS SOUPS 26220 WITH SCORE 26262.268
AT ITER 9726 NEW BEST:: SOT 131625 SOS 42242 HAS SOPS 42242 HAS SOUS 26194 HAS SOUPS 26194 WITH SCORE 26236.242
AT ITER 9762 NEW BEST:: SOT 131593 SOS 42210 HAS SOPS 42210 HAS SOUS 26187 HAS SOUPS 26187 WITH SCORE 26229.21
AT ITER 9773 NEW BEST:: SOT 131593 SOS 42200 HAS SOPS 42200 HAS SOUS 26177 HAS SOUPS 26177 WITH SCORE 26219.2
AT ITER 9838 NEW BEST:: SOT 131605 SOS 42193 HAS SOPS 42193 HAS SOUS 26139 HAS SOUPS 26139 WITH SCORE 26181.193
AT ITER 9840 NEW BEST:: SOT 131594 SOS 42182 HAS SOPS 42182 HAS SOUS 26128 HAS SOUPS 26128 WITH SCORE 26170.182
AT ITER 9847 NEW BEST:: SOT 131582 SOS 42170 HAS SOPS 42170 HAS SOUS 26116 HAS SOUPS 26116 WITH SCORE 26158.17
AT ITER 9876 NEW BEST:: SOT 131579 SOS 42164 HAS SOPS 42164 HAS SOUS 26110 HAS SOUPS 26110 WITH SCORE 26152.164
AT ITER 9931 NEW BEST:: SOT 131576 SOS 42158 HAS SOPS 42158 HAS SOUS 26104 HAS SOUPS 26104 WITH SCORE 26146.158
AT ITER 9984 NEW BEST:: SOT 131589 SOS 42166 HAS SOPS 42166 HAS SOUS 26082 HAS SOUPS 26082 WITH SCORE 26124.166
AT ITER 9987 NEW BEST:: SOT 131617 SOS 42145 HAS SOPS 42145 HAS SOUS 26061 HAS SOUPS 26061 WITH SCORE 26103.145
AT ITER 9997 NEW BEST:: SOT 131606 SOS 42134 HAS SOPS 42134 HAS SOUS 26057 HAS SOUPS 26057 WITH SCORE 26099.134
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393340 kB
MemFree: 13026156 kB
After kill :
MemTotal: 16393340 kB
MemFree: 16121960 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
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="BusinessProcesses-PT-10"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is BusinessProcesses-PT-10, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r043-tajo-167813697000528"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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