Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r224-oct2-159033538700379.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.............................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is Sudoku-PT-AN09, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538700379
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.4M
-rw-r--r-- 1 mcc users 3.2K Jun 3 09:27 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Jun 3 09:27 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Jun 3 09:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Jun 3 09:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 103K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 351K May 14 10:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 310K May 14 10:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 1.2M May 14 10:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.9K Jun 3 09:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Jun 3 09:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Jun 3 09:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Jun 3 09:08 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Jun 3 09:17 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Jun 3 09:17 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 384K May 12 20:42 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME Sudoku-PT-AN09-CTLCardinality-00
FORMULA_NAME Sudoku-PT-AN09-CTLCardinality-01
FORMULA_NAME Sudoku-PT-AN09-CTLCardinality-02
FORMULA_NAME Sudoku-PT-AN09-CTLCardinality-03
FORMULA_NAME Sudoku-PT-AN09-CTLCardinality-04
FORMULA_NAME Sudoku-PT-AN09-CTLCardinality-05
FORMULA_NAME Sudoku-PT-AN09-CTLCardinality-06
FORMULA_NAME Sudoku-PT-AN09-CTLCardinality-07
FORMULA_NAME Sudoku-PT-AN09-CTLCardinality-08
FORMULA_NAME Sudoku-PT-AN09-CTLCardinality-09
FORMULA_NAME Sudoku-PT-AN09-CTLCardinality-10
FORMULA_NAME Sudoku-PT-AN09-CTLCardinality-11
FORMULA_NAME Sudoku-PT-AN09-CTLCardinality-12
FORMULA_NAME Sudoku-PT-AN09-CTLCardinality-13
FORMULA_NAME Sudoku-PT-AN09-CTLCardinality-14
FORMULA_NAME Sudoku-PT-AN09-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1591336624534

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Sudoku (PT), instance AN09
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 972 places, 729 transitions, 2916 arcs.
AT ITER 0 NEW BEST:: SOT 547100 SOS 276896 HAS SOPS 276896 HAS SOUS 276896 HAS SOUPS 276896 WITH SCORE 277172.896
AT ITER 20 NEW BEST:: SOT 546912 SOS 276708 HAS SOPS 276708 HAS SOUS 276708 HAS SOUPS 276708 WITH SCORE 276984.708
AT ITER 21 NEW BEST:: SOT 546970 SOS 276747 HAS SOPS 276747 HAS SOUS 276651 HAS SOUPS 276651 WITH SCORE 276927.747
AT ITER 28 NEW BEST:: SOT 546586 SOS 276363 HAS SOPS 276363 HAS SOUS 276267 HAS SOUPS 276267 WITH SCORE 276543.363
AT ITER 47 NEW BEST:: SOT 546270 SOS 276132 HAS SOPS 276132 HAS SOUS 276012 HAS SOUPS 276012 WITH SCORE 276288.132
AT ITER 48 NEW BEST:: SOT 545650 SOS 277753 HAS SOPS 277753 HAS SOUS 275477 HAS SOUPS 275477 WITH SCORE 275754.753
AT ITER 51 NEW BEST:: SOT 545726 SOS 277823 HAS SOPS 277823 HAS SOUS 275451 HAS SOUPS 275451 WITH SCORE 275728.823
AT ITER 62 NEW BEST:: SOT 545726 SOS 277554 HAS SOPS 277554 HAS SOUS 275182 HAS SOUPS 275182 WITH SCORE 275459.554
AT ITER 64 NEW BEST:: SOT 545026 SOS 276979 HAS SOPS 276979 HAS SOUS 274543 HAS SOUPS 274543 WITH SCORE 274819.979
AT ITER 77 NEW BEST:: SOT 545075 SOS 277004 HAS SOPS 277004 HAS SOUS 274528 HAS SOUPS 274528 WITH SCORE 274805.004
AT ITER 78 NEW BEST:: SOT 544299 SOS 279232 HAS SOPS 279232 HAS SOUS 273824 HAS SOUPS 273824 WITH SCORE 274103.232
AT ITER 79 NEW BEST:: SOT 544299 SOS 279138 HAS SOPS 279138 HAS SOUS 273824 HAS SOUPS 273824 WITH SCORE 274103.138
AT ITER 80 NEW BEST:: SOT 543543 SOS 279702 HAS SOPS 279702 HAS SOUS 273088 HAS SOUPS 273088 WITH SCORE 273367.702
AT ITER 84 NEW BEST:: SOT 543415 SOS 281664 HAS SOPS 281664 HAS SOUS 272986 HAS SOUPS 272986 WITH SCORE 273267.664
AT ITER 88 NEW BEST:: SOT 542726 SOS 282304 HAS SOPS 282304 HAS SOUS 272406 HAS SOUPS 272406 WITH SCORE 272688.304
AT ITER 97 NEW BEST:: SOT 542726 SOS 282119 HAS SOPS 282119 HAS SOUS 272221 HAS SOUPS 272221 WITH SCORE 272503.119
AT ITER 109 NEW BEST:: SOT 542726 SOS 280134 HAS SOPS 280134 HAS SOUS 272221 HAS SOUPS 272221 WITH SCORE 272501.134
AT ITER 124 NEW BEST:: SOT 542234 SOS 279752 HAS SOPS 279752 HAS SOUS 271775 HAS SOUPS 271775 WITH SCORE 272054.752
AT ITER 128 NEW BEST:: SOT 541723 SOS 280242 HAS SOPS 280242 HAS SOUS 271373 HAS SOUPS 271373 WITH SCORE 271653.242
AT ITER 129 NEW BEST:: SOT 541460 SOS 280406 HAS SOPS 280406 HAS SOUS 271181 HAS SOUPS 271181 WITH SCORE 271461.406
AT ITER 134 NEW BEST:: SOT 541256 SOS 280309 HAS SOPS 280309 HAS SOUS 271028 HAS SOUPS 271028 WITH SCORE 271308.309
AT ITER 150 NEW BEST:: SOT 541256 SOS 280031 HAS SOPS 280031 HAS SOUS 271028 HAS SOUPS 271028 WITH SCORE 271308.031
AT ITER 151 NEW BEST:: SOT 540858 SOS 279761 HAS SOPS 279761 HAS SOUS 270670 HAS SOUPS 270670 WITH SCORE 270949.761
AT ITER 155 NEW BEST:: SOT 540582 SOS 279508 HAS SOPS 279508 HAS SOUS 270417 HAS SOUPS 270417 WITH SCORE 270696.508
AT ITER 157 NEW BEST:: SOT 540344 SOS 279569 HAS SOPS 279569 HAS SOUS 270328 HAS SOUPS 270328 WITH SCORE 270607.569
AT ITER 162 NEW BEST:: SOT 540344 SOS 279417 HAS SOPS 279417 HAS SOUS 270328 HAS SOUPS 270328 WITH SCORE 270607.417
AT ITER 165 NEW BEST:: SOT 540344 SOS 279264 HAS SOPS 279264 HAS SOUS 270328 HAS SOUPS 270328 WITH SCORE 270607.264
AT ITER 180 NEW BEST:: SOT 540376 SOS 279256 HAS SOPS 279256 HAS SOUS 270264 HAS SOUPS 270264 WITH SCORE 270543.256
AT ITER 182 NEW BEST:: SOT 540376 SOS 279199 HAS SOPS 279199 HAS SOUS 270264 HAS SOUPS 270264 WITH SCORE 270543.199
AT ITER 184 NEW BEST:: SOT 540406 SOS 279144 HAS SOPS 279144 HAS SOUS 270160 HAS SOUPS 270160 WITH SCORE 270439.144
AT ITER 185 NEW BEST:: SOT 540202 SOS 279365 HAS SOPS 279365 HAS SOUS 270076 HAS SOUPS 270076 WITH SCORE 270355.365
AT ITER 189 NEW BEST:: SOT 540268 SOS 279128 HAS SOPS 279128 HAS SOUS 270032 HAS SOUPS 270032 WITH SCORE 270311.128
AT ITER 196 NEW BEST:: SOT 540122 SOS 278982 HAS SOPS 278982 HAS SOUS 269913 HAS SOUPS 269913 WITH SCORE 270191.982
AT ITER 199 NEW BEST:: SOT 540122 SOS 278798 HAS SOPS 278798 HAS SOUS 269913 HAS SOUPS 269913 WITH SCORE 270191.798
AT ITER 207 NEW BEST:: SOT 539994 SOS 279017 HAS SOPS 279017 HAS SOUS 269836 HAS SOUPS 269836 WITH SCORE 270115.017
AT ITER 220 NEW BEST:: SOT 539994 SOS 278670 HAS SOPS 278670 HAS SOUS 269836 HAS SOUPS 269836 WITH SCORE 270114.67
AT ITER 227 NEW BEST:: SOT 539171 SOS 278272 HAS SOPS 278272 HAS SOUS 269150 HAS SOUPS 269150 WITH SCORE 269428.272
AT ITER 238 NEW BEST:: SOT 539166 SOS 278243 HAS SOPS 278243 HAS SOUS 269113 HAS SOUPS 269113 WITH SCORE 269391.243
AT ITER 239 NEW BEST:: SOT 538577 SOS 278031 HAS SOPS 278031 HAS SOUS 268632 HAS SOUPS 268632 WITH SCORE 268910.031
AT ITER 241 NEW BEST:: SOT 538234 SOS 278087 HAS SOPS 278087 HAS SOUS 268475 HAS SOUPS 268475 WITH SCORE 268753.087
AT ITER 245 NEW BEST:: SOT 538086 SOS 278015 HAS SOPS 278015 HAS SOUS 268387 HAS SOUPS 268387 WITH SCORE 268665.015
AT ITER 264 NEW BEST:: SOT 538086 SOS 277992 HAS SOPS 277992 HAS SOUS 268364 HAS SOUPS 268364 WITH SCORE 268641.992
AT ITER 277 NEW BEST:: SOT 538136 SOS 277970 HAS SOPS 277970 HAS SOUS 268323 HAS SOUPS 268323 WITH SCORE 268600.97
AT ITER 278 NEW BEST:: SOT 537694 SOS 277742 HAS SOPS 277742 HAS SOUS 267988 HAS SOUPS 267988 WITH SCORE 268265.742
AT ITER 281 NEW BEST:: SOT 537503 SOS 277551 HAS SOPS 277551 HAS SOUS 267797 HAS SOUPS 267797 WITH SCORE 268074.551
AT ITER 283 NEW BEST:: SOT 537227 SOS 277379 HAS SOPS 277379 HAS SOUS 267593 HAS SOUPS 267593 WITH SCORE 267870.379
AT ITER 286 NEW BEST:: SOT 537348 SOS 277380 HAS SOPS 277380 HAS SOUS 267554 HAS SOUPS 267554 WITH SCORE 267831.38
AT ITER 300 NEW BEST:: SOT 536876 SOS 276970 HAS SOPS 276970 HAS SOUS 267104 HAS SOUPS 267104 WITH SCORE 267380.97
AT ITER 305 NEW BEST:: SOT 536190 SOS 276788 HAS SOPS 276788 HAS SOUS 266563 HAS SOUPS 266563 WITH SCORE 266839.788
AT ITER 317 NEW BEST:: SOT 536190 SOS 276650 HAS SOPS 276650 HAS SOUS 266563 HAS SOUPS 266563 WITH SCORE 266839.65
AT ITER 318 NEW BEST:: SOT 536006 SOS 276635 HAS SOPS 276635 HAS SOUS 266558 HAS SOUPS 266558 WITH SCORE 266834.635
AT ITER 319 NEW BEST:: SOT 536006 SOS 276647 HAS SOPS 276647 HAS SOUS 266514 HAS SOUPS 266514 WITH SCORE 266790.647
AT ITER 322 NEW BEST:: SOT 536097 SOS 276724 HAS SOPS 276724 HAS SOUS 266412 HAS SOUPS 266412 WITH SCORE 266688.724
AT ITER 324 NEW BEST:: SOT 535985 SOS 276800 HAS SOPS 276800 HAS SOUS 266370 HAS SOUPS 266370 WITH SCORE 266646.8
AT ITER 328 NEW BEST:: SOT 535356 SOS 276354 HAS SOPS 276354 HAS SOUS 265844 HAS SOUPS 265844 WITH SCORE 266120.354
AT ITER 331 NEW BEST:: SOT 535356 SOS 276188 HAS SOPS 276188 HAS SOUS 265844 HAS SOUPS 265844 WITH SCORE 266120.188
AT ITER 336 NEW BEST:: SOT 535252 SOS 276955 HAS SOPS 276955 HAS SOUS 265791 HAS SOUPS 265791 WITH SCORE 266067.955
AT ITER 346 NEW BEST:: SOT 534907 SOS 276668 HAS SOPS 276668 HAS SOUS 265447 HAS SOUPS 265447 WITH SCORE 265723.668
AT ITER 347 NEW BEST:: SOT 534808 SOS 276629 HAS SOPS 276629 HAS SOUS 265348 HAS SOUPS 265348 WITH SCORE 265624.629
AT ITER 352 NEW BEST:: SOT 534355 SOS 276251 HAS SOPS 276251 HAS SOUS 264962 HAS SOUPS 264962 WITH SCORE 265238.251
AT ITER 360 NEW BEST:: SOT 533847 SOS 276369 HAS SOPS 276369 HAS SOUS 264576 HAS SOUPS 264576 WITH SCORE 264852.369
AT ITER 367 NEW BEST:: SOT 533921 SOS 276441 HAS SOPS 276441 HAS SOUS 264568 HAS SOUPS 264568 WITH SCORE 264844.441
AT ITER 370 NEW BEST:: SOT 533921 SOS 276344 HAS SOPS 276344 HAS SOUS 264471 HAS SOUPS 264471 WITH SCORE 264747.344
AT ITER 380 NEW BEST:: SOT 533775 SOS 277981 HAS SOPS 277981 HAS SOUS 264444 HAS SOUPS 264444 WITH SCORE 264721.981
AT ITER 381 NEW BEST:: SOT 533723 SOS 279549 HAS SOPS 279549 HAS SOUS 264392 HAS SOUPS 264392 WITH SCORE 264671.549
AT ITER 398 NEW BEST:: SOT 533563 SOS 279872 HAS SOPS 279872 HAS SOUS 264274 HAS SOUPS 264274 WITH SCORE 264553.872
AT ITER 403 NEW BEST:: SOT 532978 SOS 279854 HAS SOPS 279854 HAS SOUS 263903 HAS SOUPS 263903 WITH SCORE 264182.854
AT ITER 406 NEW BEST:: SOT 532978 SOS 279803 HAS SOPS 279803 HAS SOUS 263903 HAS SOUPS 263903 WITH SCORE 264182.803
AT ITER 417 NEW BEST:: SOT 532978 SOS 279784 HAS SOPS 279784 HAS SOUS 263898 HAS SOUPS 263898 WITH SCORE 264177.784
AT ITER 420 NEW BEST:: SOT 532438 SOS 279378 HAS SOPS 279378 HAS SOUS 263387 HAS SOUPS 263387 WITH SCORE 263666.378
AT ITER 423 NEW BEST:: SOT 531906 SOS 280202 HAS SOPS 280202 HAS SOUS 262991 HAS SOUPS 262991 WITH SCORE 263271.202
AT ITER 424 NEW BEST:: SOT 531522 SOS 281107 HAS SOPS 281107 HAS SOUS 262646 HAS SOUPS 262646 WITH SCORE 262927.107
AT ITER 426 NEW BEST:: SOT 530853 SOS 282738 HAS SOPS 282738 HAS SOUS 262362 HAS SOUPS 262362 WITH SCORE 262644.738
AT ITER 427 NEW BEST:: SOT 530823 SOS 282734 HAS SOPS 282734 HAS SOUS 262315 HAS SOUPS 262315 WITH SCORE 262597.734
AT ITER 431 NEW BEST:: SOT 530823 SOS 282624 HAS SOPS 282624 HAS SOUS 262315 HAS SOUPS 262315 WITH SCORE 262597.624
AT ITER 444 NEW BEST:: SOT 530608 SOS 282409 HAS SOPS 282409 HAS SOUS 262100 HAS SOUPS 262100 WITH SCORE 262382.409
AT ITER 445 NEW BEST:: SOT 530608 SOS 282374 HAS SOPS 282374 HAS SOUS 262100 HAS SOUPS 262100 WITH SCORE 262382.374
AT ITER 448 NEW BEST:: SOT 530098 SOS 283380 HAS SOPS 283380 HAS SOUS 261957 HAS SOUPS 261957 WITH SCORE 262240.38
AT ITER 449 NEW BEST:: SOT 530098 SOS 283360 HAS SOPS 283360 HAS SOUS 261957 HAS SOUPS 261957 WITH SCORE 262240.36
AT ITER 458 NEW BEST:: SOT 530098 SOS 283289 HAS SOPS 283289 HAS SOUS 261957 HAS SOUPS 261957 WITH SCORE 262240.289
AT ITER 461 NEW BEST:: SOT 529699 SOS 283023 HAS SOPS 283023 HAS SOUS 261693 HAS SOUPS 261693 WITH SCORE 261976.023
AT ITER 477 NEW BEST:: SOT 529699 SOS 282721 HAS SOPS 282721 HAS SOUS 261693 HAS SOUPS 261693 WITH SCORE 261975.721
AT ITER 478 NEW BEST:: SOT 529666 SOS 282414 HAS SOPS 282414 HAS SOUS 261641 HAS SOUPS 261641 WITH SCORE 261923.414
AT ITER 486 NEW BEST:: SOT 529213 SOS 283389 HAS SOPS 283389 HAS SOUS 261388 HAS SOUPS 261388 WITH SCORE 261671.389
AT ITER 487 NEW BEST:: SOT 529213 SOS 283298 HAS SOPS 283298 HAS SOUS 261388 HAS SOUPS 261388 WITH SCORE 261671.298
AT ITER 493 NEW BEST:: SOT 529213 SOS 283152 HAS SOPS 283152 HAS SOUS 261388 HAS SOUPS 261388 WITH SCORE 261671.152
AT ITER 497 NEW BEST:: SOT 529213 SOS 283048 HAS SOPS 283048 HAS SOUS 261388 HAS SOUPS 261388 WITH SCORE 261671.048
AT ITER 512 NEW BEST:: SOT 529311 SOS 283002 HAS SOPS 283002 HAS SOUS 261294 HAS SOUPS 261294 WITH SCORE 261577.002
AT ITER 521 NEW BEST:: SOT 529311 SOS 282844 HAS SOPS 282844 HAS SOUS 261294 HAS SOUPS 261294 WITH SCORE 261576.844
AT ITER 524 NEW BEST:: SOT 529147 SOS 283130 HAS SOPS 283130 HAS SOUS 261279 HAS SOUPS 261279 WITH SCORE 261562.13
AT ITER 532 NEW BEST:: SOT 529147 SOS 282980 HAS SOPS 282980 HAS SOUS 261279 HAS SOUPS 261279 WITH SCORE 261561.98
AT ITER 537 NEW BEST:: SOT 529147 SOS 282907 HAS SOPS 282907 HAS SOUS 261279 HAS SOUPS 261279 WITH SCORE 261561.907
AT ITER 541 NEW BEST:: SOT 529147 SOS 282848 HAS SOPS 282848 HAS SOUS 261279 HAS SOUPS 261279 WITH SCORE 261561.848
AT ITER 544 NEW BEST:: SOT 528855 SOS 282492 HAS SOPS 282492 HAS SOUS 260961 HAS SOUPS 260961 WITH SCORE 261243.492
AT ITER 546 NEW BEST:: SOT 528495 SOS 283675 HAS SOPS 283675 HAS SOUS 260758 HAS SOUPS 260758 WITH SCORE 261041.675
AT ITER 547 NEW BEST:: SOT 528435 SOS 283328 HAS SOPS 283328 HAS SOUS 260663 HAS SOUPS 260663 WITH SCORE 260946.328
AT ITER 550 NEW BEST:: SOT 528435 SOS 283126 HAS SOPS 283126 HAS SOUS 260663 HAS SOUPS 260663 WITH SCORE 260946.126
AT ITER 551 NEW BEST:: SOT 527865 SOS 282844 HAS SOPS 282844 HAS SOUS 260536 HAS SOUPS 260536 WITH SCORE 260818.844
AT ITER 558 NEW BEST:: SOT 527867 SOS 282869 HAS SOPS 282869 HAS SOUS 260516 HAS SOUPS 260516 WITH SCORE 260798.869
AT ITER 561 NEW BEST:: SOT 527838 SOS 282840 HAS SOPS 282840 HAS SOUS 260487 HAS SOUPS 260487 WITH SCORE 260769.84
AT ITER 566 NEW BEST:: SOT 527838 SOS 282826 HAS SOPS 282826 HAS SOUS 260487 HAS SOUPS 260487 WITH SCORE 260769.826
AT ITER 567 NEW BEST:: SOT 527509 SOS 284662 HAS SOPS 284662 HAS SOUS 260352 HAS SOUPS 260352 WITH SCORE 260636.662
AT ITER 576 NEW BEST:: SOT 527509 SOS 285483 HAS SOPS 285483 HAS SOUS 260188 HAS SOUPS 260188 WITH SCORE 260473.483
AT ITER 577 NEW BEST:: SOT 527509 SOS 285409 HAS SOPS 285409 HAS SOUS 260188 HAS SOUPS 260188 WITH SCORE 260473.409
AT ITER 588 NEW BEST:: SOT 527190 SOS 285176 HAS SOPS 285176 HAS SOUS 260083 HAS SOUPS 260083 WITH SCORE 260368.176
AT ITER 591 NEW BEST:: SOT 527190 SOS 285123 HAS SOPS 285123 HAS SOUS 260083 HAS SOUPS 260083 WITH SCORE 260368.123
AT ITER 594 NEW BEST:: SOT 527114 SOS 284815 HAS SOPS 284815 HAS SOUS 259687 HAS SOUPS 259687 WITH SCORE 259971.815
AT ITER 595 NEW BEST:: SOT 527114 SOS 284761 HAS SOPS 284761 HAS SOUS 259687 HAS SOUPS 259687 WITH SCORE 259971.761
AT ITER 602 NEW BEST:: SOT 526746 SOS 284669 HAS SOPS 284669 HAS SOUS 259523 HAS SOUPS 259523 WITH SCORE 259807.669
AT ITER 610 NEW BEST:: SOT 526417 SOS 284439 HAS SOPS 284439 HAS SOUS 259293 HAS SOUPS 259293 WITH SCORE 259577.439
AT ITER 613 NEW BEST:: SOT 526417 SOS 284307 HAS SOPS 284307 HAS SOUS 259293 HAS SOUPS 259293 WITH SCORE 259577.307
AT ITER 616 NEW BEST:: SOT 526417 SOS 284252 HAS SOPS 284252 HAS SOUS 259293 HAS SOUPS 259293 WITH SCORE 259577.252
AT ITER 619 NEW BEST:: SOT 526249 SOS 284665 HAS SOPS 284665 HAS SOUS 259132 HAS SOUPS 259132 WITH SCORE 259416.665
AT ITER 620 NEW BEST:: SOT 526203 SOS 284520 HAS SOPS 284520 HAS SOUS 259044 HAS SOUPS 259044 WITH SCORE 259328.52
AT ITER 622 NEW BEST:: SOT 525961 SOS 284458 HAS SOPS 284458 HAS SOUS 258982 HAS SOUPS 258982 WITH SCORE 259266.458
AT ITER 628 NEW BEST:: SOT 525961 SOS 284365 HAS SOPS 284365 HAS SOUS 258982 HAS SOUPS 258982 WITH SCORE 259266.365
AT ITER 630 NEW BEST:: SOT 525961 SOS 284105 HAS SOPS 284105 HAS SOUS 258942 HAS SOUPS 258942 WITH SCORE 259226.105
AT ITER 634 NEW BEST:: SOT 525906 SOS 284053 HAS SOPS 284053 HAS SOUS 258887 HAS SOUPS 258887 WITH SCORE 259171.053
AT ITER 635 NEW BEST:: SOT 525906 SOS 283948 HAS SOPS 283948 HAS SOUS 258887 HAS SOUPS 258887 WITH SCORE 259170.948
AT ITER 646 NEW BEST:: SOT 525769 SOS 283702 HAS SOPS 283702 HAS SOUS 258771 HAS SOUPS 258771 WITH SCORE 259054.702
AT ITER 648 NEW BEST:: SOT 525769 SOS 282076 HAS SOPS 282076 HAS SOUS 258768 HAS SOUPS 258768 WITH SCORE 259050.076
AT ITER 652 NEW BEST:: SOT 525015 SOS 281558 HAS SOPS 281558 HAS SOUS 258093 HAS SOUPS 258093 WITH SCORE 258374.558
AT ITER 669 NEW BEST:: SOT 524343 SOS 282787 HAS SOPS 282787 HAS SOUS 257913 HAS SOUPS 257913 WITH SCORE 258195.787
AT ITER 670 NEW BEST:: SOT 524343 SOS 282772 HAS SOPS 282772 HAS SOUS 257913 HAS SOUPS 257913 WITH SCORE 258195.772
AT ITER 678 NEW BEST:: SOT 524343 SOS 282731 HAS SOPS 282731 HAS SOUS 257913 HAS SOUPS 257913 WITH SCORE 258195.731
AT ITER 690 NEW BEST:: SOT 524195 SOS 282728 HAS SOPS 282728 HAS SOUS 257910 HAS SOUPS 257910 WITH SCORE 258192.728
AT ITER 692 NEW BEST:: SOT 524195 SOS 282672 HAS SOPS 282672 HAS SOUS 257910 HAS SOUPS 257910 WITH SCORE 258192.672
AT ITER 702 NEW BEST:: SOT 524195 SOS 282663 HAS SOPS 282663 HAS SOUS 257848 HAS SOUPS 257848 WITH SCORE 258130.663
AT ITER 703 NEW BEST:: SOT 524133 SOS 282632 HAS SOPS 282632 HAS SOUS 257848 HAS SOUPS 257848 WITH SCORE 258130.632
AT ITER 707 NEW BEST:: SOT 523724 SOS 282736 HAS SOPS 282736 HAS SOUS 257682 HAS SOUPS 257682 WITH SCORE 257964.736
AT ITER 714 NEW BEST:: SOT 523053 SOS 282289 HAS SOPS 282289 HAS SOUS 257292 HAS SOUPS 257292 WITH SCORE 257574.289
AT ITER 717 NEW BEST:: SOT 523053 SOS 280686 HAS SOPS 280686 HAS SOUS 257053 HAS SOUPS 257053 WITH SCORE 257333.686
AT ITER 719 NEW BEST:: SOT 523053 SOS 280590 HAS SOPS 280590 HAS SOUS 257053 HAS SOUPS 257053 WITH SCORE 257333.59
AT ITER 723 NEW BEST:: SOT 523053 SOS 280454 HAS SOPS 280454 HAS SOUS 257053 HAS SOUPS 257053 WITH SCORE 257333.454
AT ITER 726 NEW BEST:: SOT 523088 SOS 280442 HAS SOPS 280442 HAS SOUS 257048 HAS SOUPS 257048 WITH SCORE 257328.442
AT ITER 740 NEW BEST:: SOT 523029 SOS 280573 HAS SOPS 280573 HAS SOUS 256989 HAS SOUPS 256989 WITH SCORE 257269.573
AT ITER 741 NEW BEST:: SOT 522673 SOS 280295 HAS SOPS 280295 HAS SOUS 256608 HAS SOUPS 256608 WITH SCORE 256888.295
AT ITER 744 NEW BEST:: SOT 522382 SOS 281295 HAS SOPS 281295 HAS SOUS 256571 HAS SOUPS 256571 WITH SCORE 256852.295
AT ITER 754 NEW BEST:: SOT 522459 SOS 281012 HAS SOPS 281012 HAS SOUS 256560 HAS SOUPS 256560 WITH SCORE 256841.012
AT ITER 765 NEW BEST:: SOT 522459 SOS 281052 HAS SOPS 281052 HAS SOUS 256520 HAS SOUPS 256520 WITH SCORE 256801.052
AT ITER 769 NEW BEST:: SOT 521965 SOS 280645 HAS SOPS 280645 HAS SOUS 256077 HAS SOUPS 256077 WITH SCORE 256357.645
AT ITER 771 NEW BEST:: SOT 521965 SOS 280399 HAS SOPS 280399 HAS SOUS 256077 HAS SOUPS 256077 WITH SCORE 256357.399
AT ITER 772 NEW BEST:: SOT 522048 SOS 280439 HAS SOPS 280439 HAS SOUS 256021 HAS SOUPS 256021 WITH SCORE 256301.439
AT ITER 776 NEW BEST:: SOT 522025 SOS 280416 HAS SOPS 280416 HAS SOUS 255942 HAS SOUPS 255942 WITH SCORE 256222.416
AT ITER 779 NEW BEST:: SOT 522011 SOS 280391 HAS SOPS 280391 HAS SOUS 255859 HAS SOUPS 255859 WITH SCORE 256139.391
AT ITER 783 NEW BEST:: SOT 522011 SOS 280255 HAS SOPS 280255 HAS SOUS 255859 HAS SOUPS 255859 WITH SCORE 256139.255
AT ITER 784 NEW BEST:: SOT 521431 SOS 278863 HAS SOPS 278863 HAS SOUS 255530 HAS SOUPS 255530 WITH SCORE 255808.863
AT ITER 785 NEW BEST:: SOT 521425 SOS 278919 HAS SOPS 278919 HAS SOUS 255507 HAS SOUPS 255507 WITH SCORE 255785.919
AT ITER 788 NEW BEST:: SOT 520962 SOS 279270 HAS SOPS 279270 HAS SOUS 255402 HAS SOUPS 255402 WITH SCORE 255681.27
AT ITER 799 NEW BEST:: SOT 520859 SOS 279023 HAS SOPS 279023 HAS SOUS 255107 HAS SOUPS 255107 WITH SCORE 255386.023
AT ITER 803 NEW BEST:: SOT 520758 SOS 278922 HAS SOPS 278922 HAS SOUS 255032 HAS SOUPS 255032 WITH SCORE 255310.922
AT ITER 805 NEW BEST:: SOT 520758 SOS 278047 HAS SOPS 278047 HAS SOUS 255032 HAS SOUPS 255032 WITH SCORE 255310.047
AT ITER 810 NEW BEST:: SOT 520790 SOS 278015 HAS SOPS 278015 HAS SOUS 255032 HAS SOUPS 255032 WITH SCORE 255310.015
AT ITER 812 NEW BEST:: SOT 520583 SOS 277880 HAS SOPS 277880 HAS SOUS 254955 HAS SOUPS 254955 WITH SCORE 255232.88
AT ITER 813 NEW BEST:: SOT 520375 SOS 278044 HAS SOPS 278044 HAS SOUS 254950 HAS SOUPS 254950 WITH SCORE 255228.044
AT ITER 815 NEW BEST:: SOT 520227 SOS 277934 HAS SOPS 277934 HAS SOUS 254751 HAS SOUPS 254751 WITH SCORE 255028.934
AT ITER 816 NEW BEST:: SOT 519954 SOS 280324 HAS SOPS 280324 HAS SOUS 254748 HAS SOUPS 254748 WITH SCORE 255028.324
AT ITER 818 NEW BEST:: SOT 519980 SOS 280362 HAS SOPS 280362 HAS SOUS 254684 HAS SOUPS 254684 WITH SCORE 254964.362
AT ITER 819 NEW BEST:: SOT 519980 SOS 280355 HAS SOPS 280355 HAS SOUS 254632 HAS SOUPS 254632 WITH SCORE 254912.355
AT ITER 826 NEW BEST:: SOT 519980 SOS 280089 HAS SOPS 280089 HAS SOUS 254629 HAS SOUPS 254629 WITH SCORE 254909.089
AT ITER 846 NEW BEST:: SOT 519956 SOS 280065 HAS SOPS 280065 HAS SOUS 254579 HAS SOUPS 254579 WITH SCORE 254859.065
AT ITER 853 NEW BEST:: SOT 519884 SOS 280019 HAS SOPS 280019 HAS SOUS 254481 HAS SOUPS 254481 WITH SCORE 254761.019
AT ITER 859 NEW BEST:: SOT 519884 SOS 279977 HAS SOPS 279977 HAS SOUS 254481 HAS SOUPS 254481 WITH SCORE 254760.977
AT ITER 860 NEW BEST:: SOT 519859 SOS 279952 HAS SOPS 279952 HAS SOUS 254452 HAS SOUPS 254452 WITH SCORE 254731.952
AT ITER 862 NEW BEST:: SOT 519731 SOS 281156 HAS SOPS 281156 HAS SOUS 254409 HAS SOUPS 254409 WITH SCORE 254690.156
AT ITER 867 NEW BEST:: SOT 519389 SOS 281286 HAS SOPS 281286 HAS SOUS 254385 HAS SOUPS 254385 WITH SCORE 254666.286
AT ITER 868 NEW BEST:: SOT 519354 SOS 281237 HAS SOPS 281237 HAS SOUS 254320 HAS SOUPS 254320 WITH SCORE 254601.237
AT ITER 870 NEW BEST:: SOT 519219 SOS 281513 HAS SOPS 281513 HAS SOUS 254283 HAS SOUPS 254283 WITH SCORE 254564.513
AT ITER 871 NEW BEST:: SOT 518845 SOS 281222 HAS SOPS 281222 HAS SOUS 253947 HAS SOUPS 253947 WITH SCORE 254228.222
AT ITER 874 NEW BEST:: SOT 518379 SOS 282940 HAS SOPS 282940 HAS SOUS 253680 HAS SOUPS 253680 WITH SCORE 253962.94
AT ITER 878 NEW BEST:: SOT 518379 SOS 282330 HAS SOPS 282330 HAS SOUS 253650 HAS SOUPS 253650 WITH SCORE 253932.33
AT ITER 886 NEW BEST:: SOT 517593 SOS 282388 HAS SOPS 282388 HAS SOUS 253244 HAS SOUPS 253244 WITH SCORE 253526.388
AT ITER 887 NEW BEST:: SOT 517128 SOS 282029 HAS SOPS 282029 HAS SOUS 252901 HAS SOUPS 252901 WITH SCORE 253183.029
AT ITER 892 NEW BEST:: SOT 517128 SOS 281142 HAS SOPS 281142 HAS SOUS 252808 HAS SOUPS 252808 WITH SCORE 253089.142
AT ITER 893 NEW BEST:: SOT 517138 SOS 280954 HAS SOPS 280954 HAS SOUS 252765 HAS SOUPS 252765 WITH SCORE 253045.954
AT ITER 896 NEW BEST:: SOT 517138 SOS 280904 HAS SOPS 280904 HAS SOUS 252722 HAS SOUPS 252722 WITH SCORE 253002.904
AT ITER 897 NEW BEST:: SOT 517138 SOS 280795 HAS SOPS 280795 HAS SOUS 252722 HAS SOUPS 252722 WITH SCORE 253002.795
AT ITER 900 NEW BEST:: SOT 517065 SOS 280842 HAS SOPS 280842 HAS SOUS 252709 HAS SOUPS 252709 WITH SCORE 252989.842
AT ITER 907 NEW BEST:: SOT 516621 SOS 280617 HAS SOPS 280617 HAS SOUS 252420 HAS SOUPS 252420 WITH SCORE 252700.617
AT ITER 913 NEW BEST:: SOT 516621 SOS 280591 HAS SOPS 280591 HAS SOUS 252420 HAS SOUPS 252420 WITH SCORE 252700.591
AT ITER 924 NEW BEST:: SOT 516658 SOS 280628 HAS SOPS 280628 HAS SOUS 252393 HAS SOUPS 252393 WITH SCORE 252673.628
AT ITER 930 NEW BEST:: SOT 516254 SOS 280456 HAS SOPS 280456 HAS SOUS 252340 HAS SOUPS 252340 WITH SCORE 252620.456
AT ITER 949 NEW BEST:: SOT 516198 SOS 280329 HAS SOPS 280329 HAS SOUS 252266 HAS SOUPS 252266 WITH SCORE 252546.329
AT ITER 953 NEW BEST:: SOT 516198 SOS 280007 HAS SOPS 280007 HAS SOUS 252232 HAS SOUPS 252232 WITH SCORE 252512.007
AT ITER 956 NEW BEST:: SOT 516198 SOS 279966 HAS SOPS 279966 HAS SOUS 252232 HAS SOUPS 252232 WITH SCORE 252511.966
AT ITER 971 NEW BEST:: SOT 516155 SOS 279783 HAS SOPS 279783 HAS SOUS 252108 HAS SOUPS 252108 WITH SCORE 252387.783
AT ITER 979 NEW BEST:: SOT 516155 SOS 279764 HAS SOPS 279764 HAS SOUS 252108 HAS SOUPS 252108 WITH SCORE 252387.764
AT ITER 981 NEW BEST:: SOT 516073 SOS 279758 HAS SOPS 279758 HAS SOUS 252026 HAS SOUPS 252026 WITH SCORE 252305.758
AT ITER 985 NEW BEST:: SOT 516062 SOS 279747 HAS SOPS 279747 HAS SOUS 251911 HAS SOUPS 251911 WITH SCORE 252190.747
AT ITER 989 NEW BEST:: SOT 516062 SOS 279741 HAS SOPS 279741 HAS SOUS 251911 HAS SOUPS 251911 WITH SCORE 252190.741
AT ITER 990 NEW BEST:: SOT 516062 SOS 279562 HAS SOPS 279562 HAS SOUS 251911 HAS SOUPS 251911 WITH SCORE 252190.562
AT ITER 1001 NEW BEST:: SOT 515796 SOS 279393 HAS SOPS 279393 HAS SOUS 251742 HAS SOUPS 251742 WITH SCORE 252021.393
AT ITER 1013 NEW BEST:: SOT 515796 SOS 279204 HAS SOPS 279204 HAS SOUS 251702 HAS SOUPS 251702 WITH SCORE 251981.204
AT ITER 1014 NEW BEST:: SOT 515269 SOS 278909 HAS SOPS 278909 HAS SOUS 251315 HAS SOUPS 251315 WITH SCORE 251593.909
AT ITER 1023 NEW BEST:: SOT 515269 SOS 278893 HAS SOPS 278893 HAS SOUS 251315 HAS SOUPS 251315 WITH SCORE 251593.893
AT ITER 1034 NEW BEST:: SOT 515269 SOS 278741 HAS SOPS 278741 HAS SOUS 251163 HAS SOUPS 251163 WITH SCORE 251441.741
AT ITER 1040 NEW BEST:: SOT 515102 SOS 278690 HAS SOPS 278690 HAS SOUS 251038 HAS SOUPS 251038 WITH SCORE 251316.69
AT ITER 1043 NEW BEST:: SOT 514737 SOS 278827 HAS SOPS 278827 HAS SOUS 250937 HAS SOUPS 250937 WITH SCORE 251215.827
AT ITER 1046 NEW BEST:: SOT 514737 SOS 278980 HAS SOPS 278980 HAS SOUS 250901 HAS SOUPS 250901 WITH SCORE 251179.98
AT ITER 1047 NEW BEST:: SOT 514606 SOS 279303 HAS SOPS 279303 HAS SOUS 250892 HAS SOUPS 250892 WITH SCORE 251171.303
AT ITER 1051 NEW BEST:: SOT 514069 SOS 278020 HAS SOPS 278020 HAS SOUS 250422 HAS SOUPS 250422 WITH SCORE 250700.02
AT ITER 1052 NEW BEST:: SOT 514029 SOS 277980 HAS SOPS 277980 HAS SOUS 250388 HAS SOUPS 250388 WITH SCORE 250665.98
AT ITER 1062 NEW BEST:: SOT 514211 SOS 278042 HAS SOPS 278042 HAS SOUS 250362 HAS SOUPS 250362 WITH SCORE 250640.042
AT ITER 1068 NEW BEST:: SOT 514171 SOS 278002 HAS SOPS 278002 HAS SOUS 250297 HAS SOUPS 250297 WITH SCORE 250575.002
AT ITER 1076 NEW BEST:: SOT 514171 SOS 277925 HAS SOPS 277925 HAS SOUS 250297 HAS SOUPS 250297 WITH SCORE 250574.925
AT ITER 1103 NEW BEST:: SOT 514051 SOS 277726 HAS SOPS 277726 HAS SOUS 250049 HAS SOUPS 250049 WITH SCORE 250326.726
AT ITER 1106 NEW BEST:: SOT 513875 SOS 277592 HAS SOPS 277592 HAS SOUS 249925 HAS SOUPS 249925 WITH SCORE 250202.592
AT ITER 1108 NEW BEST:: SOT 513875 SOS 277559 HAS SOPS 277559 HAS SOUS 249925 HAS SOUPS 249925 WITH SCORE 250202.559
AT ITER 1118 NEW BEST:: SOT 513824 SOS 277548 HAS SOPS 277548 HAS SOUS 249914 HAS SOUPS 249914 WITH SCORE 250191.548
AT ITER 1119 NEW BEST:: SOT 513824 SOS 277471 HAS SOPS 277471 HAS SOUS 249914 HAS SOUPS 249914 WITH SCORE 250191.471
AT ITER 1134 NEW BEST:: SOT 513632 SOS 277452 HAS SOPS 277452 HAS SOUS 249846 HAS SOUPS 249846 WITH SCORE 250123.452
AT ITER 1136 NEW BEST:: SOT 512711 SOS 276790 HAS SOPS 276790 HAS SOUS 249037 HAS SOUPS 249037 WITH SCORE 249313.79
AT ITER 1141 NEW BEST:: SOT 512384 SOS 277030 HAS SOPS 277030 HAS SOUS 248741 HAS SOUPS 248741 WITH SCORE 249018.03
AT ITER 1145 NEW BEST:: SOT 512152 SOS 276781 HAS SOPS 276781 HAS SOUS 248492 HAS SOUPS 248492 WITH SCORE 248768.781
AT ITER 1146 NEW BEST:: SOT 512102 SOS 276711 HAS SOPS 276711 HAS SOUS 248351 HAS SOUPS 248351 WITH SCORE 248627.711
AT ITER 1149 NEW BEST:: SOT 512102 SOS 276642 HAS SOPS 276642 HAS SOUS 248351 HAS SOUPS 248351 WITH SCORE 248627.642
AT ITER 1154 NEW BEST:: SOT 512087 SOS 276627 HAS SOPS 276627 HAS SOUS 248336 HAS SOUPS 248336 WITH SCORE 248612.627
AT ITER 1164 NEW BEST:: SOT 512253 SOS 276501 HAS SOPS 276501 HAS SOUS 248312 HAS SOUPS 248312 WITH SCORE 248588.501
AT ITER 1177 NEW BEST:: SOT 511417 SOS 277516 HAS SOPS 277516 HAS SOUS 248105 HAS SOUPS 248105 WITH SCORE 248382.516
AT ITER 1185 NEW BEST:: SOT 510794 SOS 277478 HAS SOPS 277478 HAS SOUS 247867 HAS SOUPS 247867 WITH SCORE 248144.478
AT ITER 1193 NEW BEST:: SOT 510794 SOS 277384 HAS SOPS 277384 HAS SOUS 247867 HAS SOUPS 247867 WITH SCORE 248144.384
AT ITER 1194 NEW BEST:: SOT 510794 SOS 277374 HAS SOPS 277374 HAS SOUS 247838 HAS SOUPS 247838 WITH SCORE 248115.374
AT ITER 1198 NEW BEST:: SOT 510579 SOS 277356 HAS SOPS 277356 HAS SOUS 247729 HAS SOUPS 247729 WITH SCORE 248006.356
AT ITER 1204 NEW BEST:: SOT 510662 SOS 277129 HAS SOPS 277129 HAS SOUS 247706 HAS SOUPS 247706 WITH SCORE 247983.129
AT ITER 1208 NEW BEST:: SOT 510473 SOS 277462 HAS SOPS 277462 HAS SOUS 247517 HAS SOUPS 247517 WITH SCORE 247794.462
AT ITER 1209 NEW BEST:: SOT 509663 SOS 278142 HAS SOPS 278142 HAS SOUS 247292 HAS SOUPS 247292 WITH SCORE 247570.142
AT ITER 1216 NEW BEST:: SOT 509663 SOS 278128 HAS SOPS 278128 HAS SOUS 247292 HAS SOUPS 247292 WITH SCORE 247570.128
AT ITER 1219 NEW BEST:: SOT 509634 SOS 278299 HAS SOPS 278299 HAS SOUS 247265 HAS SOUPS 247265 WITH SCORE 247543.299
AT ITER 1224 NEW BEST:: SOT 509657 SOS 278159 HAS SOPS 278159 HAS SOUS 247171 HAS SOUPS 247171 WITH SCORE 247449.159
AT ITER 1225 NEW BEST:: SOT 509749 SOS 276854 HAS SOPS 276854 HAS SOUS 247008 HAS SOUPS 247008 WITH SCORE 247284.854
AT ITER 1246 NEW BEST:: SOT 509652 SOS 277377 HAS SOPS 277377 HAS SOUS 246760 HAS SOUPS 246760 WITH SCORE 247037.377
AT ITER 1248 NEW BEST:: SOT 509652 SOS 277295 HAS SOPS 277295 HAS SOUS 246760 HAS SOUPS 246760 WITH SCORE 247037.295
AT ITER 1254 NEW BEST:: SOT 509440 SOS 277155 HAS SOPS 277155 HAS SOUS 246620 HAS SOUPS 246620 WITH SCORE 246897.155
AT ITER 1256 NEW BEST:: SOT 509167 SOS 277501 HAS SOPS 277501 HAS SOUS 246543 HAS SOUPS 246543 WITH SCORE 246820.501
AT ITER 1258 NEW BEST:: SOT 509199 SOS 277471 HAS SOPS 277471 HAS SOUS 246503 HAS SOUPS 246503 WITH SCORE 246780.471
AT ITER 1259 NEW BEST:: SOT 509127 SOS 277194 HAS SOPS 277194 HAS SOUS 246334 HAS SOUPS 246334 WITH SCORE 246611.194
AT ITER 1267 NEW BEST:: SOT 509113 SOS 277180 HAS SOPS 277180 HAS SOUS 246320 HAS SOUPS 246320 WITH SCORE 246597.18
AT ITER 1271 NEW BEST:: SOT 509113 SOS 276246 HAS SOPS 276246 HAS SOUS 246175 HAS SOUPS 246175 WITH SCORE 246451.246
AT ITER 1272 NEW BEST:: SOT 509113 SOS 276115 HAS SOPS 276115 HAS SOUS 246175 HAS SOUPS 246175 WITH SCORE 246451.115
AT ITER 1274 NEW BEST:: SOT 509123 SOS 276230 HAS SOPS 276230 HAS SOUS 246124 HAS SOUPS 246124 WITH SCORE 246400.23
AT ITER 1277 NEW BEST:: SOT 509105 SOS 276212 HAS SOPS 276212 HAS SOUS 246108 HAS SOUPS 246108 WITH SCORE 246384.212
AT ITER 1287 NEW BEST:: SOT 509105 SOS 275627 HAS SOPS 275627 HAS SOUS 246050 HAS SOUPS 246050 WITH SCORE 246325.627
AT ITER 1288 NEW BEST:: SOT 509105 SOS 275349 HAS SOPS 275349 HAS SOUS 246050 HAS SOUPS 246050 WITH SCORE 246325.349
AT ITER 1320 NEW BEST:: SOT 509186 SOS 275433 HAS SOPS 275433 HAS SOUS 246014 HAS SOUPS 246014 WITH SCORE 246289.433
AT ITER 1321 NEW BEST:: SOT 508941 SOS 275580 HAS SOPS 275580 HAS SOUS 245856 HAS SOUPS 245856 WITH SCORE 246131.58
AT ITER 1328 NEW BEST:: SOT 508941 SOS 275508 HAS SOPS 275508 HAS SOUS 245652 HAS SOUPS 245652 WITH SCORE 245927.508
AT ITER 1331 NEW BEST:: SOT 508869 SOS 275436 HAS SOPS 275436 HAS SOUS 245436 HAS SOUPS 245436 WITH SCORE 245711.436
AT ITER 1340 NEW BEST:: SOT 508809 SOS 275396 HAS SOPS 275396 HAS SOUS 245396 HAS SOUPS 245396 WITH SCORE 245671.396
AT ITER 1342 NEW BEST:: SOT 508809 SOS 275396 HAS SOPS 275396 HAS SOUS 245364 HAS SOUPS 245364 WITH SCORE 245639.396
AT ITER 1344 NEW BEST:: SOT 508251 SOS 276630 HAS SOPS 276630 HAS SOUS 245093 HAS SOUPS 245093 WITH SCORE 245369.63
AT ITER 1354 NEW BEST:: SOT 508251 SOS 276630 HAS SOPS 276630 HAS SOUS 245069 HAS SOUPS 245069 WITH SCORE 245345.63
AT ITER 1379 NEW BEST:: SOT 507715 SOS 277399 HAS SOPS 277399 HAS SOUS 245020 HAS SOUPS 245020 WITH SCORE 245297.399
AT ITER 1383 NEW BEST:: SOT 507693 SOS 277281 HAS SOPS 277281 HAS SOUS 244966 HAS SOUPS 244966 WITH SCORE 245243.281
AT ITER 1388 NEW BEST:: SOT 507657 SOS 277245 HAS SOPS 277245 HAS SOUS 244903 HAS SOUPS 244903 WITH SCORE 245180.245
AT ITER 1392 NEW BEST:: SOT 507542 SOS 277173 HAS SOPS 277173 HAS SOUS 244653 HAS SOUPS 244653 WITH SCORE 244930.173
AT ITER 1393 NEW BEST:: SOT 507230 SOS 278277 HAS SOPS 278277 HAS SOUS 244593 HAS SOUPS 244593 WITH SCORE 244871.277
AT ITER 1396 NEW BEST:: SOT 507230 SOS 278184 HAS SOPS 278184 HAS SOUS 244593 HAS SOUPS 244593 WITH SCORE 244871.184
AT ITER 1405 NEW BEST:: SOT 507230 SOS 278184 HAS SOPS 278184 HAS SOUS 244581 HAS SOUPS 244581 WITH SCORE 244859.184
AT ITER 1407 NEW BEST:: SOT 506878 SOS 280121 HAS SOPS 280121 HAS SOUS 244578 HAS SOUPS 244578 WITH SCORE 244858.121
AT ITER 1420 NEW BEST:: SOT 506878 SOS 280119 HAS SOPS 280119 HAS SOUS 244578 HAS SOUPS 244578 WITH SCORE 244858.119
AT ITER 1428 NEW BEST:: SOT 506832 SOS 279946 HAS SOPS 279946 HAS SOUS 244485 HAS SOUPS 244485 WITH SCORE 244764.946
AT ITER 1434 NEW BEST:: SOT 506832 SOS 279719 HAS SOPS 279719 HAS SOUS 244354 HAS SOUPS 244354 WITH SCORE 244633.719
AT ITER 1439 NEW BEST:: SOT 506472 SOS 279820 HAS SOPS 279820 HAS SOUS 244292 HAS SOUPS 244292 WITH SCORE 244571.82
AT ITER 1460 NEW BEST:: SOT 506472 SOS 279026 HAS SOPS 279026 HAS SOUS 244273 HAS SOUPS 244273 WITH SCORE 244552.026
AT ITER 1467 NEW BEST:: SOT 506469 SOS 279023 HAS SOPS 279023 HAS SOUS 244270 HAS SOUPS 244270 WITH SCORE 244549.023
AT ITER 1470 NEW BEST:: SOT 505921 SOS 279827 HAS SOPS 279827 HAS SOUS 244195 HAS SOUPS 244195 WITH SCORE 244474.827
AT ITER 1481 NEW BEST:: SOT 505464 SOS 279514 HAS SOPS 279514 HAS SOUS 243890 HAS SOUPS 243890 WITH SCORE 244169.514
AT ITER 1485 NEW BEST:: SOT 505175 SOS 279457 HAS SOPS 279457 HAS SOUS 243863 HAS SOUPS 243863 WITH SCORE 244142.457
AT ITER 1488 NEW BEST:: SOT 505175 SOS 279309 HAS SOPS 279309 HAS SOUS 243863 HAS SOUPS 243863 WITH SCORE 244142.309
AT ITER 1496 NEW BEST:: SOT 505091 SOS 279179 HAS SOPS 279179 HAS SOUS 243771 HAS SOUPS 243771 WITH SCORE 244050.179
AT ITER 1498 NEW BEST:: SOT 505091 SOS 279070 HAS SOPS 279070 HAS SOUS 243771 HAS SOUPS 243771 WITH SCORE 244050.07
AT ITER 1505 NEW BEST:: SOT 505091 SOS 278870 HAS SOPS 278870 HAS SOUS 243720 HAS SOUPS 243720 WITH SCORE 243998.87
AT ITER 1507 NEW BEST:: SOT 505091 SOS 278835 HAS SOPS 278835 HAS SOUS 243720 HAS SOUPS 243720 WITH SCORE 243998.835
AT ITER 1510 NEW BEST:: SOT 505091 SOS 278392 HAS SOPS 278392 HAS SOUS 243599 HAS SOUPS 243599 WITH SCORE 243877.392
AT ITER 1512 NEW BEST:: SOT 504179 SOS 278817 HAS SOPS 278817 HAS SOUS 243021 HAS SOUPS 243021 WITH SCORE 243299.817
AT ITER 1522 NEW BEST:: SOT 504059 SOS 280366 HAS SOPS 280366 HAS SOUS 243018 HAS SOUPS 243018 WITH SCORE 243298.366
AT ITER 1525 NEW BEST:: SOT 504059 SOS 280376 HAS SOPS 280376 HAS SOUS 242943 HAS SOUPS 242943 WITH SCORE 243223.376
AT ITER 1528 NEW BEST:: SOT 504059 SOS 280365 HAS SOPS 280365 HAS SOUS 242943 HAS SOUPS 242943 WITH SCORE 243223.365
AT ITER 1534 NEW BEST:: SOT 503985 SOS 280171 HAS SOPS 280171 HAS SOUS 242779 HAS SOUPS 242779 WITH SCORE 243059.171
AT ITER 1545 NEW BEST:: SOT 504075 SOS 280145 HAS SOPS 280145 HAS SOUS 242777 HAS SOUPS 242777 WITH SCORE 243057.145
AT ITER 1546 NEW BEST:: SOT 503927 SOS 280607 HAS SOPS 280607 HAS SOUS 242677 HAS SOUPS 242677 WITH SCORE 242957.607
AT ITER 1551 NEW BEST:: SOT 503111 SOS 281866 HAS SOPS 281866 HAS SOUS 242319 HAS SOUPS 242319 WITH SCORE 242600.866
AT ITER 1553 NEW BEST:: SOT 503027 SOS 281834 HAS SOPS 281834 HAS SOUS 242287 HAS SOUPS 242287 WITH SCORE 242568.834
AT ITER 1560 NEW BEST:: SOT 502568 SOS 281485 HAS SOPS 281485 HAS SOUS 241954 HAS SOUPS 241954 WITH SCORE 242235.485
AT ITER 1566 NEW BEST:: SOT 502472 SOS 281389 HAS SOPS 281389 HAS SOUS 241917 HAS SOUPS 241917 WITH SCORE 242198.389
AT ITER 1570 NEW BEST:: SOT 502430 SOS 281331 HAS SOPS 281331 HAS SOUS 241859 HAS SOUPS 241859 WITH SCORE 242140.331
AT ITER 1575 NEW BEST:: SOT 502274 SOS 281299 HAS SOPS 281299 HAS SOUS 241827 HAS SOUPS 241827 WITH SCORE 242108.299
AT ITER 1579 NEW BEST:: SOT 502255 SOS 281016 HAS SOPS 281016 HAS SOUS 241701 HAS SOUPS 241701 WITH SCORE 241982.016
AT ITER 1582 NEW BEST:: SOT 502315 SOS 281050 HAS SOPS 281050 HAS SOUS 241677 HAS SOUPS 241677 WITH SCORE 241958.05
AT ITER 1589 NEW BEST:: SOT 502125 SOS 281291 HAS SOPS 281291 HAS SOUS 241593 HAS SOUPS 241593 WITH SCORE 241874.291
AT ITER 1591 NEW BEST:: SOT 502125 SOS 280766 HAS SOPS 280766 HAS SOUS 241570 HAS SOUPS 241570 WITH SCORE 241850.766
AT ITER 1595 NEW BEST:: SOT 502119 SOS 280560 HAS SOPS 280560 HAS SOUS 241484 HAS SOUPS 241484 WITH SCORE 241764.56
AT ITER 1600 NEW BEST:: SOT 502119 SOS 280368 HAS SOPS 280368 HAS SOUS 241452 HAS SOUPS 241452 WITH SCORE 241732.368
AT ITER 1604 NEW BEST:: SOT 502119 SOS 280223 HAS SOPS 280223 HAS SOUS 241452 HAS SOUPS 241452 WITH SCORE 241732.223
AT ITER 1606 NEW BEST:: SOT 502089 SOS 280193 HAS SOPS 280193 HAS SOUS 241373 HAS SOUPS 241373 WITH SCORE 241653.193
AT ITER 1611 NEW BEST:: SOT 502090 SOS 279417 HAS SOPS 279417 HAS SOUS 241239 HAS SOUPS 241239 WITH SCORE 241518.417
AT ITER 1619 NEW BEST:: SOT 502090 SOS 279627 HAS SOPS 279627 HAS SOUS 241123 HAS SOUPS 241123 WITH SCORE 241402.627
AT ITER 1633 NEW BEST:: SOT 502090 SOS 279593 HAS SOPS 279593 HAS SOUS 241123 HAS SOUPS 241123 WITH SCORE 241402.593
AT ITER 1648 NEW BEST:: SOT 502090 SOS 279565 HAS SOPS 279565 HAS SOUS 241123 HAS SOUPS 241123 WITH SCORE 241402.565
AT ITER 1660 NEW BEST:: SOT 502090 SOS 279516 HAS SOPS 279516 HAS SOUS 241123 HAS SOUPS 241123 WITH SCORE 241402.516
AT ITER 1662 NEW BEST:: SOT 501542 SOS 279123 HAS SOPS 279123 HAS SOUS 240663 HAS SOUPS 240663 WITH SCORE 240942.123
AT ITER 1665 NEW BEST:: SOT 501473 SOS 279054 HAS SOPS 279054 HAS SOUS 240526 HAS SOUPS 240526 WITH SCORE 240805.054
AT ITER 1671 NEW BEST:: SOT 501473 SOS 279054 HAS SOPS 279054 HAS SOUS 240500 HAS SOUPS 240500 WITH SCORE 240779.054
AT ITER 1672 NEW BEST:: SOT 501411 SOS 278784 HAS SOPS 278784 HAS SOUS 240236 HAS SOUPS 240236 WITH SCORE 240514.784
AT ITER 1679 NEW BEST:: SOT 501574 SOS 278827 HAS SOPS 278827 HAS SOUS 240207 HAS SOUPS 240207 WITH SCORE 240485.827
AT ITER 1680 NEW BEST:: SOT 501574 SOS 278810 HAS SOPS 278810 HAS SOUS 240207 HAS SOUPS 240207 WITH SCORE 240485.81
AT ITER 1683 NEW BEST:: SOT 501183 SOS 278557 HAS SOPS 278557 HAS SOUS 239885 HAS SOUPS 239885 WITH SCORE 240163.557
AT ITER 1688 NEW BEST:: SOT 501183 SOS 278463 HAS SOPS 278463 HAS SOUS 239812 HAS SOUPS 239812 WITH SCORE 240090.463
AT ITER 1695 NEW BEST:: SOT 500540 SOS 277994 HAS SOPS 277994 HAS SOUS 239199 HAS SOUPS 239199 WITH SCORE 239476.994
AT ITER 1708 NEW BEST:: SOT 500540 SOS 277994 HAS SOPS 277994 HAS SOUS 239134 HAS SOUPS 239134 WITH SCORE 239411.994
AT ITER 1714 NEW BEST:: SOT 500526 SOS 277934 HAS SOPS 277934 HAS SOUS 239115 HAS SOUPS 239115 WITH SCORE 239392.934
AT ITER 1721 NEW BEST:: SOT 500526 SOS 277291 HAS SOPS 277291 HAS SOUS 238946 HAS SOUPS 238946 WITH SCORE 239223.291
AT ITER 1723 NEW BEST:: SOT 500154 SOS 277164 HAS SOPS 277164 HAS SOUS 238832 HAS SOUPS 238832 WITH SCORE 239109.164
AT ITER 1728 NEW BEST:: SOT 500154 SOS 277164 HAS SOPS 277164 HAS SOUS 238794 HAS SOUPS 238794 WITH SCORE 239071.164
AT ITER 1730 NEW BEST:: SOT 500154 SOS 277077 HAS SOPS 277077 HAS SOUS 238794 HAS SOUPS 238794 WITH SCORE 239071.077
AT ITER 1732 NEW BEST:: SOT 500154 SOS 277063 HAS SOPS 277063 HAS SOUS 238794 HAS SOUPS 238794 WITH SCORE 239071.063
AT ITER 1740 NEW BEST:: SOT 500154 SOS 277005 HAS SOPS 277005 HAS SOUS 238794 HAS SOUPS 238794 WITH SCORE 239071.005
AT ITER 1753 NEW BEST:: SOT 500154 SOS 276972 HAS SOPS 276972 HAS SOUS 238794 HAS SOUPS 238794 WITH SCORE 239070.972
AT ITER 1764 NEW BEST:: SOT 500154 SOS 276948 HAS SOPS 276948 HAS SOUS 238794 HAS SOUPS 238794 WITH SCORE 239070.948
AT ITER 1770 NEW BEST:: SOT 500194 SOS 276891 HAS SOPS 276891 HAS SOUS 238792 HAS SOUPS 238792 WITH SCORE 239068.891
AT ITER 1775 NEW BEST:: SOT 500168 SOS 276786 HAS SOPS 276786 HAS SOUS 238780 HAS SOUPS 238780 WITH SCORE 239056.786
AT ITER 1780 NEW BEST:: SOT 499660 SOS 278419 HAS SOPS 278419 HAS SOUS 238723 HAS SOUPS 238723 WITH SCORE 239001.419
AT ITER 1800 NEW BEST:: SOT 499580 SOS 278379 HAS SOPS 278379 HAS SOUS 238723 HAS SOUPS 238723 WITH SCORE 239001.379
AT ITER 1832 NEW BEST:: SOT 499580 SOS 278327 HAS SOPS 278327 HAS SOUS 238723 HAS SOUPS 238723 WITH SCORE 239001.327
AT ITER 1847 NEW BEST:: SOT 499580 SOS 277951 HAS SOPS 277951 HAS SOUS 238723 HAS SOUPS 238723 WITH SCORE 239000.951
AT ITER 1851 NEW BEST:: SOT 499580 SOS 277818 HAS SOPS 277818 HAS SOUS 238590 HAS SOUPS 238590 WITH SCORE 238867.818
AT ITER 1871 NEW BEST:: SOT 499580 SOS 277720 HAS SOPS 277720 HAS SOUS 238590 HAS SOUPS 238590 WITH SCORE 238867.72
AT ITER 1880 NEW BEST:: SOT 499465 SOS 279532 HAS SOPS 279532 HAS SOUS 238503 HAS SOUPS 238503 WITH SCORE 238782.532
AT ITER 1884 NEW BEST:: SOT 499283 SOS 279206 HAS SOPS 279206 HAS SOUS 238129 HAS SOUPS 238129 WITH SCORE 238408.206
AT ITER 1891 NEW BEST:: SOT 499283 SOS 279184 HAS SOPS 279184 HAS SOUS 238129 HAS SOUPS 238129 WITH SCORE 238408.184
AT ITER 1896 NEW BEST:: SOT 499397 SOS 279178 HAS SOPS 279178 HAS SOUS 238028 HAS SOUPS 238028 WITH SCORE 238307.178
AT ITER 1913 NEW BEST:: SOT 498975 SOS 280882 HAS SOPS 280882 HAS SOUS 237974 HAS SOUPS 237974 WITH SCORE 238254.882
AT ITER 1920 NEW BEST:: SOT 498975 SOS 279660 HAS SOPS 279660 HAS SOUS 237974 HAS SOUPS 237974 WITH SCORE 238253.66
AT ITER 1930 NEW BEST:: SOT 498468 SOS 280499 HAS SOPS 280499 HAS SOUS 237637 HAS SOUPS 237637 WITH SCORE 237917.499
AT ITER 1949 NEW BEST:: SOT 498556 SOS 279943 HAS SOPS 279943 HAS SOUS 237423 HAS SOUPS 237423 WITH SCORE 237702.943
AT ITER 1954 NEW BEST:: SOT 498555 SOS 279942 HAS SOPS 279942 HAS SOUS 237421 HAS SOUPS 237421 WITH SCORE 237700.942
AT ITER 1958 NEW BEST:: SOT 498555 SOS 279942 HAS SOPS 279942 HAS SOUS 237381 HAS SOUPS 237381 WITH SCORE 237660.942
AT ITER 1963 NEW BEST:: SOT 498523 SOS 279894 HAS SOPS 279894 HAS SOUS 237349 HAS SOUPS 237349 WITH SCORE 237628.894
AT ITER 1970 NEW BEST:: SOT 498523 SOS 279869 HAS SOPS 279869 HAS SOUS 237349 HAS SOUPS 237349 WITH SCORE 237628.869
AT ITER 1980 NEW BEST:: SOT 498523 SOS 279710 HAS SOPS 279710 HAS SOUS 237349 HAS SOUPS 237349 WITH SCORE 237628.71
AT ITER 1981 NEW BEST:: SOT 498579 SOS 279642 HAS SOPS 279642 HAS SOUS 237229 HAS SOUPS 237229 WITH SCORE 237508.642
AT ITER 1982 NEW BEST:: SOT 498329 SOS 279310 HAS SOPS 279310 HAS SOUS 236747 HAS SOUPS 236747 WITH SCORE 237026.31
AT ITER 1991 NEW BEST:: SOT 497918 SOS 279149 HAS SOPS 279149 HAS SOUS 236563 HAS SOUPS 236563 WITH SCORE 236842.149
AT ITER 2000 NEW BEST:: SOT 497817 SOS 279364 HAS SOPS 279364 HAS SOUS 236533 HAS SOUPS 236533 WITH SCORE 236812.364
AT ITER 2005 NEW BEST:: SOT 497909 SOS 279377 HAS SOPS 279377 HAS SOUS 236432 HAS SOUPS 236432 WITH SCORE 236711.377
AT ITER 2008 NEW BEST:: SOT 497980 SOS 279338 HAS SOPS 279338 HAS SOUS 236356 HAS SOUPS 236356 WITH SCORE 236635.338
AT ITER 2010 NEW BEST:: SOT 497986 SOS 279325 HAS SOPS 279325 HAS SOUS 236351 HAS SOUPS 236351 WITH SCORE 236630.325
AT ITER 2012 NEW BEST:: SOT 497778 SOS 278949 HAS SOPS 278949 HAS SOUS 235974 HAS SOUPS 235974 WITH SCORE 236252.949
AT ITER 2024 NEW BEST:: SOT 497778 SOS 278949 HAS SOPS 278949 HAS SOUS 235895 HAS SOUPS 235895 WITH SCORE 236173.949
AT ITER 2062 NEW BEST:: SOT 496616 SOS 278834 HAS SOPS 278834 HAS SOUS 235586 HAS SOUPS 235586 WITH SCORE 235864.834
AT ITER 2067 NEW BEST:: SOT 496616 SOS 278772 HAS SOPS 278772 HAS SOUS 235556 HAS SOUPS 235556 WITH SCORE 235834.772
AT ITER 2073 NEW BEST:: SOT 496616 SOS 278763 HAS SOPS 278763 HAS SOUS 235556 HAS SOUPS 235556 WITH SCORE 235834.763
AT ITER 2078 NEW BEST:: SOT 496616 SOS 278717 HAS SOPS 278717 HAS SOUS 235556 HAS SOUPS 235556 WITH SCORE 235834.717
AT ITER 2080 NEW BEST:: SOT 496616 SOS 278482 HAS SOPS 278482 HAS SOUS 235508 HAS SOUPS 235508 WITH SCORE 235786.482
AT ITER 2081 NEW BEST:: SOT 496443 SOS 278350 HAS SOPS 278350 HAS SOUS 235488 HAS SOUPS 235488 WITH SCORE 235766.35
AT ITER 2085 NEW BEST:: SOT 496443 SOS 278343 HAS SOPS 278343 HAS SOUS 235488 HAS SOUPS 235488 WITH SCORE 235766.343
AT ITER 2086 NEW BEST:: SOT 496414 SOS 278314 HAS SOPS 278314 HAS SOUS 235459 HAS SOUPS 235459 WITH SCORE 235737.314
AT ITER 2090 NEW BEST:: SOT 496414 SOS 278292 HAS SOPS 278292 HAS SOUS 235459 HAS SOUPS 235459 WITH SCORE 235737.292
AT ITER 2094 NEW BEST:: SOT 496451 SOS 278106 HAS SOPS 278106 HAS SOUS 235425 HAS SOUPS 235425 WITH SCORE 235703.106
AT ITER 2103 NEW BEST:: SOT 496438 SOS 278093 HAS SOPS 278093 HAS SOUS 235320 HAS SOUPS 235320 WITH SCORE 235598.093
AT ITER 2108 NEW BEST:: SOT 496240 SOS 277971 HAS SOPS 277971 HAS SOUS 235310 HAS SOUPS 235310 WITH SCORE 235587.971
AT ITER 2110 NEW BEST:: SOT 496240 SOS 278009 HAS SOPS 278009 HAS SOUS 235276 HAS SOUPS 235276 WITH SCORE 235554.009
AT ITER 2111 NEW BEST:: SOT 495919 SOS 277766 HAS SOPS 277766 HAS SOUS 235128 HAS SOUPS 235128 WITH SCORE 235405.766
AT ITER 2112 NEW BEST:: SOT 495944 SOS 277559 HAS SOPS 277559 HAS SOUS 234970 HAS SOUPS 234970 WITH SCORE 235247.559
AT ITER 2116 NEW BEST:: SOT 495944 SOS 277418 HAS SOPS 277418 HAS SOUS 234970 HAS SOUPS 234970 WITH SCORE 235247.418
AT ITER 2121 NEW BEST:: SOT 494823 SOS 277034 HAS SOPS 277034 HAS SOUS 234501 HAS SOUPS 234501 WITH SCORE 234778.034
AT ITER 2124 NEW BEST:: SOT 494738 SOS 277036 HAS SOPS 277036 HAS SOUS 234358 HAS SOUPS 234358 WITH SCORE 234635.036
AT ITER 2125 NEW BEST:: SOT 494738 SOS 277019 HAS SOPS 277019 HAS SOUS 234358 HAS SOUPS 234358 WITH SCORE 234635.019
AT ITER 2129 NEW BEST:: SOT 494226 SOS 276992 HAS SOPS 276992 HAS SOUS 234245 HAS SOUPS 234245 WITH SCORE 234521.992
AT ITER 2131 NEW BEST:: SOT 494226 SOS 276762 HAS SOPS 276762 HAS SOUS 234199 HAS SOUPS 234199 WITH SCORE 234475.762
AT ITER 2136 NEW BEST:: SOT 493537 SOS 277334 HAS SOPS 277334 HAS SOUS 233672 HAS SOUPS 233672 WITH SCORE 233949.334
AT ITER 2139 NEW BEST:: SOT 493473 SOS 277270 HAS SOPS 277270 HAS SOUS 233608 HAS SOUPS 233608 WITH SCORE 233885.27
AT ITER 2144 NEW BEST:: SOT 493473 SOS 277204 HAS SOPS 277204 HAS SOUS 233608 HAS SOUPS 233608 WITH SCORE 233885.204
AT ITER 2154 NEW BEST:: SOT 493473 SOS 277099 HAS SOPS 277099 HAS SOUS 233608 HAS SOUPS 233608 WITH SCORE 233885.099
AT ITER 2155 NEW BEST:: SOT 493271 SOS 276983 HAS SOPS 276983 HAS SOUS 233530 HAS SOUPS 233530 WITH SCORE 233806.983
AT ITER 2160 NEW BEST:: SOT 493271 SOS 276948 HAS SOPS 276948 HAS SOUS 233530 HAS SOUPS 233530 WITH SCORE 233806.948
AT ITER 2167 NEW BEST:: SOT 493241 SOS 276918 HAS SOPS 276918 HAS SOUS 233500 HAS SOUPS 233500 WITH SCORE 233776.918
AT ITER 2180 NEW BEST:: SOT 493190 SOS 276949 HAS SOPS 276949 HAS SOUS 233303 HAS SOUPS 233303 WITH SCORE 233579.949
AT ITER 2182 NEW BEST:: SOT 493190 SOS 276941 HAS SOPS 276941 HAS SOUS 233295 HAS SOUPS 233295 WITH SCORE 233571.941
AT ITER 2197 NEW BEST:: SOT 493150 SOS 276901 HAS SOPS 276901 HAS SOUS 233255 HAS SOUPS 233255 WITH SCORE 233531.901
AT ITER 2200 NEW BEST:: SOT 492631 SOS 276513 HAS SOPS 276513 HAS SOUS 232950 HAS SOUPS 232950 WITH SCORE 233226.513
AT ITER 2203 NEW BEST:: SOT 492631 SOS 276505 HAS SOPS 276505 HAS SOUS 232857 HAS SOUPS 232857 WITH SCORE 233133.505
AT ITER 2215 NEW BEST:: SOT 492631 SOS 276353 HAS SOPS 276353 HAS SOUS 232857 HAS SOUPS 232857 WITH SCORE 233133.353
AT ITER 2241 NEW BEST:: SOT 492632 SOS 276593 HAS SOPS 276593 HAS SOUS 232770 HAS SOUPS 232770 WITH SCORE 233046.593
AT ITER 2249 NEW BEST:: SOT 492575 SOS 276357 HAS SOPS 276357 HAS SOUS 232534 HAS SOUPS 232534 WITH SCORE 232810.357
AT ITER 2251 NEW BEST:: SOT 492480 SOS 276369 HAS SOPS 276369 HAS SOUS 232499 HAS SOUPS 232499 WITH SCORE 232775.369
AT ITER 2268 NEW BEST:: SOT 492480 SOS 276381 HAS SOPS 276381 HAS SOUS 232284 HAS SOUPS 232284 WITH SCORE 232560.381
AT ITER 2270 NEW BEST:: SOT 492271 SOS 276232 HAS SOPS 276232 HAS SOUS 232189 HAS SOUPS 232189 WITH SCORE 232465.232
AT ITER 2278 NEW BEST:: SOT 492266 SOS 276480 HAS SOPS 276480 HAS SOUS 232112 HAS SOUPS 232112 WITH SCORE 232388.48
AT ITER 2281 NEW BEST:: SOT 491670 SOS 276168 HAS SOPS 276168 HAS SOUS 231620 HAS SOUPS 231620 WITH SCORE 231896.168
AT ITER 2289 NEW BEST:: SOT 491670 SOS 276168 HAS SOPS 276168 HAS SOUS 231612 HAS SOUPS 231612 WITH SCORE 231888.168
AT ITER 2290 NEW BEST:: SOT 491670 SOS 276138 HAS SOPS 276138 HAS SOUS 231612 HAS SOUPS 231612 WITH SCORE 231888.138
AT ITER 2313 NEW BEST:: SOT 491548 SOS 276118 HAS SOPS 276118 HAS SOUS 231381 HAS SOUPS 231381 WITH SCORE 231657.118
AT ITER 2331 NEW BEST:: SOT 491455 SOS 275666 HAS SOPS 275666 HAS SOUS 231238 HAS SOUPS 231238 WITH SCORE 231513.666
AT ITER 2332 NEW BEST:: SOT 491517 SOS 275735 HAS SOPS 275735 HAS SOUS 231167 HAS SOUPS 231167 WITH SCORE 231442.735
AT ITER 2348 NEW BEST:: SOT 491404 SOS 275700 HAS SOPS 275700 HAS SOUS 231132 HAS SOUPS 231132 WITH SCORE 231407.7
AT ITER 2350 NEW BEST:: SOT 491400 SOS 275696 HAS SOPS 275696 HAS SOUS 231057 HAS SOUPS 231057 WITH SCORE 231332.696
AT ITER 2357 NEW BEST:: SOT 491102 SOS 275560 HAS SOPS 275560 HAS SOUS 230921 HAS SOUPS 230921 WITH SCORE 231196.56
AT ITER 2358 NEW BEST:: SOT 491082 SOS 275509 HAS SOPS 275509 HAS SOUS 230870 HAS SOUPS 230870 WITH SCORE 231145.509
AT ITER 2359 NEW BEST:: SOT 490994 SOS 275450 HAS SOPS 275450 HAS SOUS 230819 HAS SOUPS 230819 WITH SCORE 231094.45
AT ITER 2368 NEW BEST:: SOT 490994 SOS 275335 HAS SOPS 275335 HAS SOUS 230819 HAS SOUPS 230819 WITH SCORE 231094.335
AT ITER 2370 NEW BEST:: SOT 490276 SOS 274843 HAS SOPS 274843 HAS SOUS 230573 HAS SOUPS 230573 WITH SCORE 230847.843
AT ITER 2373 NEW BEST:: SOT 490344 SOS 274718 HAS SOPS 274718 HAS SOUS 230300 HAS SOUPS 230300 WITH SCORE 230574.718
AT ITER 2384 NEW BEST:: SOT 490230 SOS 274404 HAS SOPS 274404 HAS SOUS 230185 HAS SOUPS 230185 WITH SCORE 230459.404
AT ITER 2387 NEW BEST:: SOT 490230 SOS 274362 HAS SOPS 274362 HAS SOUS 230185 HAS SOUPS 230185 WITH SCORE 230459.362
AT ITER 2389 NEW BEST:: SOT 490230 SOS 274216 HAS SOPS 274216 HAS SOUS 230185 HAS SOUPS 230185 WITH SCORE 230459.216
AT ITER 2400 NEW BEST:: SOT 490037 SOS 274102 HAS SOPS 274102 HAS SOUS 230071 HAS SOUPS 230071 WITH SCORE 230345.102
AT ITER 2406 NEW BEST:: SOT 489939 SOS 274243 HAS SOPS 274243 HAS SOUS 229956 HAS SOUPS 229956 WITH SCORE 230230.243
AT ITER 2423 NEW BEST:: SOT 489405 SOS 273946 HAS SOPS 273946 HAS SOUS 229733 HAS SOUPS 229733 WITH SCORE 230006.946
AT ITER 2424 NEW BEST:: SOT 489405 SOS 273910 HAS SOPS 273910 HAS SOUS 229733 HAS SOUPS 229733 WITH SCORE 230006.91
AT ITER 2436 NEW BEST:: SOT 489405 SOS 273028 HAS SOPS 273028 HAS SOUS 229733 HAS SOUPS 229733 WITH SCORE 230006.028
AT ITER 2443 NEW BEST:: SOT 489309 SOS 272932 HAS SOPS 272932 HAS SOUS 229531 HAS SOUPS 229531 WITH SCORE 229803.932
AT ITER 2448 NEW BEST:: SOT 489254 SOS 272877 HAS SOPS 272877 HAS SOUS 229415 HAS SOUPS 229415 WITH SCORE 229687.877
AT ITER 2468 NEW BEST:: SOT 489055 SOS 272761 HAS SOPS 272761 HAS SOUS 229266 HAS SOUPS 229266 WITH SCORE 229538.761
AT ITER 2473 NEW BEST:: SOT 489055 SOS 272707 HAS SOPS 272707 HAS SOUS 229266 HAS SOUPS 229266 WITH SCORE 229538.707
AT ITER 2478 NEW BEST:: SOT 488963 SOS 272622 HAS SOPS 272622 HAS SOUS 229181 HAS SOUPS 229181 WITH SCORE 229453.622
AT ITER 2487 NEW BEST:: SOT 488882 SOS 272568 HAS SOPS 272568 HAS SOUS 228984 HAS SOUPS 228984 WITH SCORE 229256.568
AT ITER 2488 NEW BEST:: SOT 489069 SOS 272564 HAS SOPS 272564 HAS SOUS 228983 HAS SOUPS 228983 WITH SCORE 229255.564
AT ITER 2509 NEW BEST:: SOT 488993 SOS 272541 HAS SOPS 272541 HAS SOUS 228960 HAS SOUPS 228960 WITH SCORE 229232.541
AT ITER 2511 NEW BEST:: SOT 488978 SOS 272526 HAS SOPS 272526 HAS SOUS 228945 HAS SOUPS 228945 WITH SCORE 229217.526
AT ITER 2519 NEW BEST:: SOT 488946 SOS 272494 HAS SOPS 272494 HAS SOUS 228913 HAS SOUPS 228913 WITH SCORE 229185.494
AT ITER 2524 NEW BEST:: SOT 488438 SOS 272292 HAS SOPS 272292 HAS SOUS 228573 HAS SOUPS 228573 WITH SCORE 228845.292
AT ITER 2532 NEW BEST:: SOT 488523 SOS 272377 HAS SOPS 272377 HAS SOUS 228566 HAS SOUPS 228566 WITH SCORE 228838.377
AT ITER 2543 NEW BEST:: SOT 488471 SOS 272222 HAS SOPS 272222 HAS SOUS 228448 HAS SOUPS 228448 WITH SCORE 228720.222
AT ITER 2563 NEW BEST:: SOT 488471 SOS 272123 HAS SOPS 272123 HAS SOUS 228448 HAS SOUPS 228448 WITH SCORE 228720.123
AT ITER 2578 NEW BEST:: SOT 488392 SOS 271849 HAS SOPS 271849 HAS SOUS 228273 HAS SOUPS 228273 WITH SCORE 228544.849
AT ITER 2580 NEW BEST:: SOT 488216 SOS 271673 HAS SOPS 271673 HAS SOUS 228097 HAS SOUPS 228097 WITH SCORE 228368.673
AT ITER 2581 NEW BEST:: SOT 487579 SOS 272718 HAS SOPS 272718 HAS SOUS 227723 HAS SOUPS 227723 WITH SCORE 227995.718
AT ITER 2585 NEW BEST:: SOT 487560 SOS 272745 HAS SOPS 272745 HAS SOUS 227704 HAS SOUPS 227704 WITH SCORE 227976.745
AT ITER 2587 NEW BEST:: SOT 487560 SOS 272530 HAS SOPS 272530 HAS SOUS 227704 HAS SOUPS 227704 WITH SCORE 227976.53
AT ITER 2605 NEW BEST:: SOT 487197 SOS 272279 HAS SOPS 272279 HAS SOUS 227588 HAS SOUPS 227588 WITH SCORE 227860.279
AT ITER 2611 NEW BEST:: SOT 487197 SOS 272244 HAS SOPS 272244 HAS SOUS 227553 HAS SOUPS 227553 WITH SCORE 227825.244
AT ITER 2612 NEW BEST:: SOT 486923 SOS 272369 HAS SOPS 272369 HAS SOUS 227402 HAS SOUPS 227402 WITH SCORE 227674.369
AT ITER 2619 NEW BEST:: SOT 486914 SOS 272351 HAS SOPS 272351 HAS SOUS 227393 HAS SOUPS 227393 WITH SCORE 227665.351
AT ITER 2623 NEW BEST:: SOT 486914 SOS 272323 HAS SOPS 272323 HAS SOUS 227393 HAS SOUPS 227393 WITH SCORE 227665.323
AT ITER 2628 NEW BEST:: SOT 486953 SOS 272245 HAS SOPS 272245 HAS SOUS 227354 HAS SOUPS 227354 WITH SCORE 227626.245
AT ITER 2649 NEW BEST:: SOT 486935 SOS 272227 HAS SOPS 272227 HAS SOUS 227336 HAS SOUPS 227336 WITH SCORE 227608.227
AT ITER 2656 NEW BEST:: SOT 486935 SOS 272174 HAS SOPS 272174 HAS SOUS 227283 HAS SOUPS 227283 WITH SCORE 227555.174
AT ITER 2657 NEW BEST:: SOT 486935 SOS 271821 HAS SOPS 271821 HAS SOUS 227283 HAS SOUPS 227283 WITH SCORE 227554.821
AT ITER 2660 NEW BEST:: SOT 486935 SOS 271821 HAS SOPS 271821 HAS SOUS 227271 HAS SOUPS 227271 WITH SCORE 227542.821
AT ITER 2661 NEW BEST:: SOT 486878 SOS 271461 HAS SOPS 271461 HAS SOUS 227201 HAS SOUPS 227201 WITH SCORE 227472.461
AT ITER 2663 NEW BEST:: SOT 486224 SOS 271279 HAS SOPS 271279 HAS SOUS 226975 HAS SOUPS 226975 WITH SCORE 227246.279
AT ITER 2665 NEW BEST:: SOT 486289 SOS 271084 HAS SOPS 271084 HAS SOUS 226940 HAS SOUPS 226940 WITH SCORE 227211.084
AT ITER 2674 NEW BEST:: SOT 486231 SOS 271113 HAS SOPS 271113 HAS SOUS 226911 HAS SOUPS 226911 WITH SCORE 227182.113
AT ITER 2685 NEW BEST:: SOT 485953 SOS 270105 HAS SOPS 270105 HAS SOUS 226741 HAS SOUPS 226741 WITH SCORE 227011.105
AT ITER 2690 NEW BEST:: SOT 485953 SOS 270055 HAS SOPS 270055 HAS SOUS 226741 HAS SOUPS 226741 WITH SCORE 227011.055
AT ITER 2694 NEW BEST:: SOT 485969 SOS 270027 HAS SOPS 270027 HAS SOUS 226719 HAS SOUPS 226719 WITH SCORE 226989.027
AT ITER 2699 NEW BEST:: SOT 485969 SOS 270235 HAS SOPS 270235 HAS SOUS 226667 HAS SOUPS 226667 WITH SCORE 226937.235
AT ITER 2711 NEW BEST:: SOT 485329 SOS 270774 HAS SOPS 270774 HAS SOUS 226265 HAS SOUPS 226265 WITH SCORE 226535.774
AT ITER 2713 NEW BEST:: SOT 485285 SOS 270730 HAS SOPS 270730 HAS SOUS 226223 HAS SOUPS 226223 WITH SCORE 226493.73
AT ITER 2715 NEW BEST:: SOT 485285 SOS 270534 HAS SOPS 270534 HAS SOUS 226223 HAS SOUPS 226223 WITH SCORE 226493.534
AT ITER 2719 NEW BEST:: SOT 485223 SOS 270521 HAS SOPS 270521 HAS SOUS 226210 HAS SOUPS 226210 WITH SCORE 226480.521
AT ITER 2727 NEW BEST:: SOT 485158 SOS 270521 HAS SOPS 270521 HAS SOUS 226145 HAS SOUPS 226145 WITH SCORE 226415.521
AT ITER 2733 NEW BEST:: SOT 485158 SOS 270204 HAS SOPS 270204 HAS SOUS 226145 HAS SOUPS 226145 WITH SCORE 226415.204
AT ITER 2737 NEW BEST:: SOT 484995 SOS 270115 HAS SOPS 270115 HAS SOUS 226128 HAS SOUPS 226128 WITH SCORE 226398.115
AT ITER 2746 NEW BEST:: SOT 484585 SOS 270124 HAS SOPS 270124 HAS SOUS 226057 HAS SOUPS 226057 WITH SCORE 226327.124
AT ITER 2756 NEW BEST:: SOT 484366 SOS 270471 HAS SOPS 270471 HAS SOUS 226016 HAS SOUPS 226016 WITH SCORE 226286.471
AT ITER 2760 NEW BEST:: SOT 484326 SOS 270431 HAS SOPS 270431 HAS SOUS 225976 HAS SOUPS 225976 WITH SCORE 226246.431
AT ITER 2763 NEW BEST:: SOT 484326 SOS 270299 HAS SOPS 270299 HAS SOUS 225976 HAS SOUPS 225976 WITH SCORE 226246.299
AT ITER 2764 NEW BEST:: SOT 484282 SOS 270017 HAS SOPS 270017 HAS SOUS 225838 HAS SOUPS 225838 WITH SCORE 226108.017
AT ITER 2776 NEW BEST:: SOT 484282 SOS 269631 HAS SOPS 269631 HAS SOUS 225838 HAS SOUPS 225838 WITH SCORE 226107.631
AT ITER 2788 NEW BEST:: SOT 484368 SOS 269575 HAS SOPS 269575 HAS SOUS 225805 HAS SOUPS 225805 WITH SCORE 226074.575
AT ITER 2791 NEW BEST:: SOT 483938 SOS 269437 HAS SOPS 269437 HAS SOUS 225582 HAS SOUPS 225582 WITH SCORE 225851.437
AT ITER 2805 NEW BEST:: SOT 483927 SOS 269410 HAS SOPS 269410 HAS SOUS 225541 HAS SOUPS 225541 WITH SCORE 225810.41
AT ITER 2806 NEW BEST:: SOT 483900 SOS 269303 HAS SOPS 269303 HAS SOUS 225540 HAS SOUPS 225540 WITH SCORE 225809.303
AT ITER 2813 NEW BEST:: SOT 483756 SOS 269159 HAS SOPS 269159 HAS SOUS 225396 HAS SOUPS 225396 WITH SCORE 225665.159
AT ITER 2824 NEW BEST:: SOT 483651 SOS 269054 HAS SOPS 269054 HAS SOUS 225284 HAS SOUPS 225284 WITH SCORE 225553.054
AT ITER 2826 NEW BEST:: SOT 483651 SOS 269004 HAS SOPS 269004 HAS SOUS 225261 HAS SOUPS 225261 WITH SCORE 225530.004
AT ITER 2830 NEW BEST:: SOT 483571 SOS 268989 HAS SOPS 268989 HAS SOUS 225246 HAS SOUPS 225246 WITH SCORE 225514.989
AT ITER 2834 NEW BEST:: SOT 483493 SOS 268989 HAS SOPS 268989 HAS SOUS 225194 HAS SOUPS 225194 WITH SCORE 225462.989
AT ITER 2839 NEW BEST:: SOT 483493 SOS 268965 HAS SOPS 268965 HAS SOUS 225087 HAS SOUPS 225087 WITH SCORE 225355.965
AT ITER 2854 NEW BEST:: SOT 483383 SOS 268964 HAS SOPS 268964 HAS SOUS 225086 HAS SOUPS 225086 WITH SCORE 225354.964
AT ITER 2858 NEW BEST:: SOT 483292 SOS 268933 HAS SOPS 268933 HAS SOUS 225025 HAS SOUPS 225025 WITH SCORE 225293.933
AT ITER 2862 NEW BEST:: SOT 482692 SOS 268810 HAS SOPS 268810 HAS SOUS 224966 HAS SOUPS 224966 WITH SCORE 225234.81
AT ITER 2869 NEW BEST:: SOT 482423 SOS 268683 HAS SOPS 268683 HAS SOUS 224722 HAS SOUPS 224722 WITH SCORE 224990.683
AT ITER 2881 NEW BEST:: SOT 481784 SOS 268170 HAS SOPS 268170 HAS SOUS 224535 HAS SOUPS 224535 WITH SCORE 224803.17
AT ITER 2899 NEW BEST:: SOT 481784 SOS 268169 HAS SOPS 268169 HAS SOUS 224535 HAS SOUPS 224535 WITH SCORE 224803.169
AT ITER 2911 NEW BEST:: SOT 481784 SOS 268120 HAS SOPS 268120 HAS SOUS 224535 HAS SOUPS 224535 WITH SCORE 224803.12
AT ITER 2913 NEW BEST:: SOT 481588 SOS 268116 HAS SOPS 268116 HAS SOUS 224465 HAS SOUPS 224465 WITH SCORE 224733.116
AT ITER 2915 NEW BEST:: SOT 481588 SOS 268076 HAS SOPS 268076 HAS SOUS 224465 HAS SOUPS 224465 WITH SCORE 224733.076
AT ITER 2916 NEW BEST:: SOT 481588 SOS 267947 HAS SOPS 267947 HAS SOUS 224465 HAS SOUPS 224465 WITH SCORE 224732.947
AT ITER 2926 NEW BEST:: SOT 481568 SOS 268158 HAS SOPS 268158 HAS SOUS 224392 HAS SOUPS 224392 WITH SCORE 224660.158
AT ITER 2927 NEW BEST:: SOT 481631 SOS 268086 HAS SOPS 268086 HAS SOUS 224356 HAS SOUPS 224356 WITH SCORE 224624.086
AT ITER 2929 NEW BEST:: SOT 481631 SOS 267971 HAS SOPS 267971 HAS SOUS 224356 HAS SOUPS 224356 WITH SCORE 224623.971
AT ITER 2940 NEW BEST:: SOT 481631 SOS 267854 HAS SOPS 267854 HAS SOUS 224356 HAS SOUPS 224356 WITH SCORE 224623.854
AT ITER 2949 NEW BEST:: SOT 481631 SOS 267846 HAS SOPS 267846 HAS SOUS 224356 HAS SOUPS 224356 WITH SCORE 224623.846
AT ITER 2957 NEW BEST:: SOT 481631 SOS 267846 HAS SOPS 267846 HAS SOUS 224308 HAS SOUPS 224308 WITH SCORE 224575.846
AT ITER 2960 NEW BEST:: SOT 481529 SOS 267642 HAS SOPS 267642 HAS SOUS 223928 HAS SOUPS 223928 WITH SCORE 224195.642
AT ITER 2967 NEW BEST:: SOT 481329 SOS 268867 HAS SOPS 268867 HAS SOUS 223798 HAS SOUPS 223798 WITH SCORE 224066.867
AT ITER 2970 NEW BEST:: SOT 481032 SOS 268661 HAS SOPS 268661 HAS SOUS 223592 HAS SOUPS 223592 WITH SCORE 223860.661
AT ITER 2975 NEW BEST:: SOT 481032 SOS 268627 HAS SOPS 268627 HAS SOUS 223576 HAS SOUPS 223576 WITH SCORE 223844.627
AT ITER 2983 NEW BEST:: SOT 480698 SOS 268390 HAS SOPS 268390 HAS SOUS 223335 HAS SOUPS 223335 WITH SCORE 223603.39
AT ITER 2994 NEW BEST:: SOT 480617 SOS 268350 HAS SOPS 268350 HAS SOUS 223254 HAS SOUPS 223254 WITH SCORE 223522.35
AT ITER 2997 NEW BEST:: SOT 480617 SOS 268207 HAS SOPS 268207 HAS SOUS 223212 HAS SOUPS 223212 WITH SCORE 223480.207
AT ITER 3000 NEW BEST:: SOT 480524 SOS 268185 HAS SOPS 268185 HAS SOUS 223197 HAS SOUPS 223197 WITH SCORE 223465.185
AT ITER 3006 NEW BEST:: SOT 480291 SOS 268634 HAS SOPS 268634 HAS SOUS 223178 HAS SOUPS 223178 WITH SCORE 223446.634
AT ITER 3010 NEW BEST:: SOT 480048 SOS 268391 HAS SOPS 268391 HAS SOUS 222935 HAS SOUPS 222935 WITH SCORE 223203.391
AT ITER 3012 NEW BEST:: SOT 480069 SOS 268412 HAS SOPS 268412 HAS SOUS 222918 HAS SOUPS 222918 WITH SCORE 223186.412
AT ITER 3029 NEW BEST:: SOT 479899 SOS 267963 HAS SOPS 267963 HAS SOUS 222825 HAS SOUPS 222825 WITH SCORE 223092.963
AT ITER 3032 NEW BEST:: SOT 479822 SOS 267957 HAS SOPS 267957 HAS SOUS 222752 HAS SOUPS 222752 WITH SCORE 223019.957
AT ITER 3055 NEW BEST:: SOT 479822 SOS 267950 HAS SOPS 267950 HAS SOUS 222752 HAS SOUPS 222752 WITH SCORE 223019.95
AT ITER 3060 NEW BEST:: SOT 479822 SOS 267837 HAS SOPS 267837 HAS SOUS 222628 HAS SOUPS 222628 WITH SCORE 222895.837
AT ITER 3066 NEW BEST:: SOT 479822 SOS 267828 HAS SOPS 267828 HAS SOUS 222619 HAS SOUPS 222619 WITH SCORE 222886.828
AT ITER 3069 NEW BEST:: SOT 479822 SOS 267750 HAS SOPS 267750 HAS SOUS 222619 HAS SOUPS 222619 WITH SCORE 222886.75
AT ITER 3072 NEW BEST:: SOT 479805 SOS 267750 HAS SOPS 267750 HAS SOUS 222602 HAS SOUPS 222602 WITH SCORE 222869.75
AT ITER 3091 NEW BEST:: SOT 479780 SOS 267602 HAS SOPS 267602 HAS SOUS 222540 HAS SOUPS 222540 WITH SCORE 222807.602
AT ITER 3102 NEW BEST:: SOT 479855 SOS 267601 HAS SOPS 267601 HAS SOUS 222532 HAS SOUPS 222532 WITH SCORE 222799.601
AT ITER 3106 NEW BEST:: SOT 479848 SOS 267532 HAS SOPS 267532 HAS SOUS 222494 HAS SOUPS 222494 WITH SCORE 222761.532
AT ITER 3118 NEW BEST:: SOT 479848 SOS 267532 HAS SOPS 267532 HAS SOUS 222493 HAS SOUPS 222493 WITH SCORE 222760.532
AT ITER 3127 NEW BEST:: SOT 479881 SOS 267449 HAS SOPS 267449 HAS SOUS 222394 HAS SOUPS 222394 WITH SCORE 222661.449
AT ITER 3128 NEW BEST:: SOT 479874 SOS 267442 HAS SOPS 267442 HAS SOUS 222363 HAS SOUPS 222363 WITH SCORE 222630.442
AT ITER 3129 NEW BEST:: SOT 479521 SOS 268583 HAS SOPS 268583 HAS SOUS 222051 HAS SOUPS 222051 WITH SCORE 222319.583
AT ITER 3146 NEW BEST:: SOT 479521 SOS 268537 HAS SOPS 268537 HAS SOUS 222051 HAS SOUPS 222051 WITH SCORE 222319.537
AT ITER 3148 NEW BEST:: SOT 479422 SOS 268391 HAS SOPS 268391 HAS SOUS 221772 HAS SOUPS 221772 WITH SCORE 222040.391
AT ITER 3169 NEW BEST:: SOT 479422 SOS 268363 HAS SOPS 268363 HAS SOUS 221755 HAS SOUPS 221755 WITH SCORE 222023.363
AT ITER 3177 NEW BEST:: SOT 479422 SOS 268285 HAS SOPS 268285 HAS SOUS 221755 HAS SOUPS 221755 WITH SCORE 222023.285
AT ITER 3185 NEW BEST:: SOT 479412 SOS 268275 HAS SOPS 268275 HAS SOUS 221745 HAS SOUPS 221745 WITH SCORE 222013.275
AT ITER 3186 NEW BEST:: SOT 479412 SOS 268238 HAS SOPS 268238 HAS SOUS 221745 HAS SOUPS 221745 WITH SCORE 222013.238
AT ITER 3194 NEW BEST:: SOT 479412 SOS 268117 HAS SOPS 268117 HAS SOUS 221696 HAS SOUPS 221696 WITH SCORE 221964.117
AT ITER 3197 NEW BEST:: SOT 479394 SOS 268099 HAS SOPS 268099 HAS SOUS 221678 HAS SOUPS 221678 WITH SCORE 221946.099
AT ITER 3212 NEW BEST:: SOT 478034 SOS 269015 HAS SOPS 269015 HAS SOUS 220981 HAS SOUPS 220981 WITH SCORE 221250.015
AT ITER 3229 NEW BEST:: SOT 477906 SOS 268896 HAS SOPS 268896 HAS SOUS 220859 HAS SOUPS 220859 WITH SCORE 221127.896
AT ITER 3238 NEW BEST:: SOT 477944 SOS 268820 HAS SOPS 268820 HAS SOUS 220859 HAS SOUPS 220859 WITH SCORE 221127.82
AT ITER 3249 NEW BEST:: SOT 477944 SOS 268701 HAS SOPS 268701 HAS SOUS 220859 HAS SOUPS 220859 WITH SCORE 221127.701
AT ITER 3253 NEW BEST:: SOT 477940 SOS 268326 HAS SOPS 268326 HAS SOUS 220651 HAS SOUPS 220651 WITH SCORE 220919.326
AT ITER 3259 NEW BEST:: SOT 477940 SOS 268279 HAS SOPS 268279 HAS SOUS 220624 HAS SOUPS 220624 WITH SCORE 220892.279
AT ITER 3264 NEW BEST:: SOT 477826 SOS 268198 HAS SOPS 268198 HAS SOUS 220543 HAS SOUPS 220543 WITH SCORE 220811.198
AT ITER 3267 NEW BEST:: SOT 477826 SOS 268106 HAS SOPS 268106 HAS SOUS 220543 HAS SOUPS 220543 WITH SCORE 220811.106
AT ITER 3272 NEW BEST:: SOT 477717 SOS 268006 HAS SOPS 268006 HAS SOUS 220443 HAS SOUPS 220443 WITH SCORE 220711.006
AT ITER 3274 NEW BEST:: SOT 477717 SOS 267874 HAS SOPS 267874 HAS SOUS 220443 HAS SOUPS 220443 WITH SCORE 220710.874
AT ITER 3275 NEW BEST:: SOT 477311 SOS 267892 HAS SOPS 267892 HAS SOUS 220275 HAS SOUPS 220275 WITH SCORE 220542.892
AT ITER 3288 NEW BEST:: SOT 477300 SOS 267840 HAS SOPS 267840 HAS SOUS 220225 HAS SOUPS 220225 WITH SCORE 220492.84
AT ITER 3294 NEW BEST:: SOT 477300 SOS 267812 HAS SOPS 267812 HAS SOUS 220225 HAS SOUPS 220225 WITH SCORE 220492.812
AT ITER 3300 NEW BEST:: SOT 477100 SOS 267806 HAS SOPS 267806 HAS SOUS 220219 HAS SOUPS 220219 WITH SCORE 220486.806
AT ITER 3316 NEW BEST:: SOT 477100 SOS 267778 HAS SOPS 267778 HAS SOUS 220181 HAS SOUPS 220181 WITH SCORE 220448.778
AT ITER 3327 NEW BEST:: SOT 477068 SOS 267751 HAS SOPS 267751 HAS SOUS 220154 HAS SOUPS 220154 WITH SCORE 220421.751
AT ITER 3334 NEW BEST:: SOT 477068 SOS 267730 HAS SOPS 267730 HAS SOUS 220154 HAS SOUPS 220154 WITH SCORE 220421.73
AT ITER 3341 NEW BEST:: SOT 477026 SOS 267688 HAS SOPS 267688 HAS SOUS 220097 HAS SOUPS 220097 WITH SCORE 220364.688
AT ITER 3345 NEW BEST:: SOT 477024 SOS 267686 HAS SOPS 267686 HAS SOUS 220092 HAS SOUPS 220092 WITH SCORE 220359.686
AT ITER 3356 NEW BEST:: SOT 477024 SOS 266992 HAS SOPS 266992 HAS SOUS 220070 HAS SOUPS 220070 WITH SCORE 220336.992
AT ITER 3357 NEW BEST:: SOT 477024 SOS 266965 HAS SOPS 266965 HAS SOUS 220070 HAS SOUPS 220070 WITH SCORE 220336.965
AT ITER 3369 NEW BEST:: SOT 477024 SOS 266934 HAS SOPS 266934 HAS SOUS 220070 HAS SOUPS 220070 WITH SCORE 220336.934
AT ITER 3370 NEW BEST:: SOT 476992 SOS 266902 HAS SOPS 266902 HAS SOUS 220038 HAS SOUPS 220038 WITH SCORE 220304.902
AT ITER 3378 NEW BEST:: SOT 476992 SOS 266896 HAS SOPS 266896 HAS SOUS 220038 HAS SOUPS 220038 WITH SCORE 220304.896
AT ITER 3383 NEW BEST:: SOT 476972 SOS 266876 HAS SOPS 266876 HAS SOUS 220018 HAS SOUPS 220018 WITH SCORE 220284.876
AT ITER 3386 NEW BEST:: SOT 476319 SOS 268006 HAS SOPS 268006 HAS SOUS 219901 HAS SOUPS 219901 WITH SCORE 220169.006
AT ITER 3389 NEW BEST:: SOT 476309 SOS 267996 HAS SOPS 267996 HAS SOUS 219891 HAS SOUPS 219891 WITH SCORE 220158.996
AT ITER 3417 NEW BEST:: SOT 476309 SOS 267996 HAS SOPS 267996 HAS SOUS 219858 HAS SOUPS 219858 WITH SCORE 220125.996
AT ITER 3424 NEW BEST:: SOT 476189 SOS 267884 HAS SOPS 267884 HAS SOUS 219746 HAS SOUPS 219746 WITH SCORE 220013.884
AT ITER 3425 NEW BEST:: SOT 475898 SOS 267522 HAS SOPS 267522 HAS SOUS 219432 HAS SOUPS 219432 WITH SCORE 219699.522
AT ITER 3427 NEW BEST:: SOT 475898 SOS 267749 HAS SOPS 267749 HAS SOUS 219428 HAS SOUPS 219428 WITH SCORE 219695.749
AT ITER 3437 NEW BEST:: SOT 475873 SOS 267724 HAS SOPS 267724 HAS SOUS 219403 HAS SOUPS 219403 WITH SCORE 219670.724
AT ITER 3439 NEW BEST:: SOT 475873 SOS 267606 HAS SOPS 267606 HAS SOUS 219403 HAS SOUPS 219403 WITH SCORE 219670.606
AT ITER 3441 NEW BEST:: SOT 475850 SOS 267491 HAS SOPS 267491 HAS SOUS 219248 HAS SOUPS 219248 WITH SCORE 219515.491
AT ITER 3444 NEW BEST:: SOT 475915 SOS 267484 HAS SOPS 267484 HAS SOUS 219185 HAS SOUPS 219185 WITH SCORE 219452.484
AT ITER 3461 NEW BEST:: SOT 475915 SOS 267483 HAS SOPS 267483 HAS SOUS 219185 HAS SOUPS 219185 WITH SCORE 219452.483
AT ITER 3463 NEW BEST:: SOT 475859 SOS 267460 HAS SOPS 267460 HAS SOUS 219162 HAS SOUPS 219162 WITH SCORE 219429.46
AT ITER 3512 NEW BEST:: SOT 475831 SOS 267432 HAS SOPS 267432 HAS SOUS 219134 HAS SOUPS 219134 WITH SCORE 219401.432
AT ITER 3517 NEW BEST:: SOT 475738 SOS 267339 HAS SOPS 267339 HAS SOUS 218870 HAS SOUPS 218870 WITH SCORE 219137.339
AT ITER 3524 NEW BEST:: SOT 475686 SOS 267245 HAS SOPS 267245 HAS SOUS 218820 HAS SOUPS 218820 WITH SCORE 219087.245
AT ITER 3546 NEW BEST:: SOT 475686 SOS 267214 HAS SOPS 267214 HAS SOUS 218820 HAS SOUPS 218820 WITH SCORE 219087.214
AT ITER 3557 NEW BEST:: SOT 475653 SOS 267192 HAS SOPS 267192 HAS SOUS 218798 HAS SOUPS 218798 WITH SCORE 219065.192
AT ITER 3560 NEW BEST:: SOT 475240 SOS 266984 HAS SOPS 266984 HAS SOUS 218695 HAS SOUPS 218695 WITH SCORE 218961.984
AT ITER 3583 NEW BEST:: SOT 474857 SOS 266964 HAS SOPS 266964 HAS SOUS 218625 HAS SOUPS 218625 WITH SCORE 218891.964
AT ITER 3584 NEW BEST:: SOT 474855 SOS 266962 HAS SOPS 266962 HAS SOUS 218624 HAS SOUPS 218624 WITH SCORE 218890.962
AT ITER 3586 NEW BEST:: SOT 474782 SOS 266889 HAS SOPS 266889 HAS SOUS 218577 HAS SOUPS 218577 WITH SCORE 218843.889
AT ITER 3587 NEW BEST:: SOT 474769 SOS 266876 HAS SOPS 266876 HAS SOUS 218574 HAS SOUPS 218574 WITH SCORE 218840.876
AT ITER 3597 NEW BEST:: SOT 474769 SOS 266876 HAS SOPS 266876 HAS SOUS 218508 HAS SOUPS 218508 WITH SCORE 218774.876
AT ITER 3616 NEW BEST:: SOT 474180 SOS 267773 HAS SOPS 267773 HAS SOUS 218098 HAS SOUPS 218098 WITH SCORE 218365.773
AT ITER 3623 NEW BEST:: SOT 474217 SOS 267810 HAS SOPS 267810 HAS SOUS 218091 HAS SOUPS 218091 WITH SCORE 218358.81
AT ITER 3625 NEW BEST:: SOT 474217 SOS 267810 HAS SOPS 267810 HAS SOUS 218082 HAS SOUPS 218082 WITH SCORE 218349.81
AT ITER 3641 NEW BEST:: SOT 474217 SOS 267803 HAS SOPS 267803 HAS SOUS 218052 HAS SOUPS 218052 WITH SCORE 218319.803
AT ITER 3644 NEW BEST:: SOT 474222 SOS 267805 HAS SOPS 267805 HAS SOUS 218023 HAS SOUPS 218023 WITH SCORE 218290.805
AT ITER 3646 NEW BEST:: SOT 474222 SOS 267805 HAS SOPS 267805 HAS SOUS 217871 HAS SOUPS 217871 WITH SCORE 218138.805
AT ITER 3670 NEW BEST:: SOT 474129 SOS 267712 HAS SOPS 267712 HAS SOUS 217685 HAS SOUPS 217685 WITH SCORE 217952.712
AT ITER 3678 NEW BEST:: SOT 474129 SOS 267712 HAS SOPS 267712 HAS SOUS 217490 HAS SOUPS 217490 WITH SCORE 217757.712
AT ITER 3682 NEW BEST:: SOT 473533 SOS 267474 HAS SOPS 267474 HAS SOUS 217248 HAS SOUPS 217248 WITH SCORE 217515.474
AT ITER 3715 NEW BEST:: SOT 473264 SOS 267366 HAS SOPS 267366 HAS SOUS 217099 HAS SOUPS 217099 WITH SCORE 217366.366
AT ITER 3717 NEW BEST:: SOT 473264 SOS 267361 HAS SOPS 267361 HAS SOUS 217099 HAS SOUPS 217099 WITH SCORE 217366.361
AT ITER 3724 NEW BEST:: SOT 473155 SOS 267273 HAS SOPS 267273 HAS SOUS 217011 HAS SOUPS 217011 WITH SCORE 217278.273
AT ITER 3729 NEW BEST:: SOT 472603 SOS 266970 HAS SOPS 266970 HAS SOUS 216831 HAS SOUPS 216831 WITH SCORE 217097.97
AT ITER 3732 NEW BEST:: SOT 472103 SOS 266712 HAS SOPS 266712 HAS SOUS 216802 HAS SOUPS 216802 WITH SCORE 217068.712
AT ITER 3734 NEW BEST:: SOT 472103 SOS 266620 HAS SOPS 266620 HAS SOUS 216802 HAS SOUPS 216802 WITH SCORE 217068.62
AT ITER 3750 NEW BEST:: SOT 472060 SOS 266689 HAS SOPS 266689 HAS SOUS 216759 HAS SOUPS 216759 WITH SCORE 217025.689
AT ITER 3768 NEW BEST:: SOT 472060 SOS 266437 HAS SOPS 266437 HAS SOUS 216759 HAS SOUPS 216759 WITH SCORE 217025.437
AT ITER 3771 NEW BEST:: SOT 472027 SOS 266461 HAS SOPS 266461 HAS SOUS 216743 HAS SOUPS 216743 WITH SCORE 217009.461
AT ITER 3772 NEW BEST:: SOT 471702 SOS 266428 HAS SOPS 266428 HAS SOUS 216479 HAS SOUPS 216479 WITH SCORE 216745.428
AT ITER 3785 NEW BEST:: SOT 471328 SOS 266257 HAS SOPS 266257 HAS SOUS 216308 HAS SOUPS 216308 WITH SCORE 216574.257
AT ITER 3790 NEW BEST:: SOT 471468 SOS 266292 HAS SOPS 266292 HAS SOUS 216296 HAS SOUPS 216296 WITH SCORE 216562.292
AT ITER 3796 NEW BEST:: SOT 471479 SOS 266303 HAS SOPS 266303 HAS SOUS 216225 HAS SOUPS 216225 WITH SCORE 216491.303
AT ITER 3800 NEW BEST:: SOT 471387 SOS 266324 HAS SOPS 266324 HAS SOUS 216185 HAS SOUPS 216185 WITH SCORE 216451.324
AT ITER 3806 NEW BEST:: SOT 471384 SOS 266321 HAS SOPS 266321 HAS SOUS 216182 HAS SOUPS 216182 WITH SCORE 216448.321
AT ITER 3811 NEW BEST:: SOT 471396 SOS 266333 HAS SOPS 266333 HAS SOUS 216166 HAS SOUPS 216166 WITH SCORE 216432.333
AT ITER 3814 NEW BEST:: SOT 471132 SOS 266191 HAS SOPS 266191 HAS SOUS 216024 HAS SOUPS 216024 WITH SCORE 216290.191
AT ITER 3828 NEW BEST:: SOT 470920 SOS 266036 HAS SOPS 266036 HAS SOUS 215956 HAS SOUPS 215956 WITH SCORE 216222.036
AT ITER 3829 NEW BEST:: SOT 470788 SOS 265904 HAS SOPS 265904 HAS SOUS 215641 HAS SOUPS 215641 WITH SCORE 215906.904
AT ITER 3832 NEW BEST:: SOT 470788 SOS 265888 HAS SOPS 265888 HAS SOUS 215641 HAS SOUPS 215641 WITH SCORE 215906.888
AT ITER 3833 NEW BEST:: SOT 470788 SOS 265408 HAS SOPS 265408 HAS SOUS 215578 HAS SOUPS 215578 WITH SCORE 215843.408
AT ITER 3846 NEW BEST:: SOT 470568 SOS 265430 HAS SOPS 265430 HAS SOUS 215510 HAS SOUPS 215510 WITH SCORE 215775.43
AT ITER 3892 NEW BEST:: SOT 470684 SOS 265444 HAS SOPS 265444 HAS SOUS 215502 HAS SOUPS 215502 WITH SCORE 215767.444
AT ITER 3897 NEW BEST:: SOT 470684 SOS 265378 HAS SOPS 265378 HAS SOUS 215436 HAS SOUPS 215436 WITH SCORE 215701.378
AT ITER 3901 NEW BEST:: SOT 470684 SOS 265399 HAS SOPS 265399 HAS SOUS 215344 HAS SOUPS 215344 WITH SCORE 215609.399
AT ITER 3903 NEW BEST:: SOT 470684 SOS 265218 HAS SOPS 265218 HAS SOUS 215163 HAS SOUPS 215163 WITH SCORE 215428.218
AT ITER 3916 NEW BEST:: SOT 470585 SOS 265157 HAS SOPS 265157 HAS SOUS 215064 HAS SOUPS 215064 WITH SCORE 215329.157
AT ITER 3918 NEW BEST:: SOT 470585 SOS 265157 HAS SOPS 265157 HAS SOUS 215031 HAS SOUPS 215031 WITH SCORE 215296.157
AT ITER 3931 NEW BEST:: SOT 470566 SOS 265138 HAS SOPS 265138 HAS SOUS 215018 HAS SOUPS 215018 WITH SCORE 215283.138
AT ITER 3932 NEW BEST:: SOT 470566 SOS 265085 HAS SOPS 265085 HAS SOUS 214973 HAS SOUPS 214973 WITH SCORE 215238.085
AT ITER 3934 NEW BEST:: SOT 470497 SOS 264784 HAS SOPS 264784 HAS SOUS 214792 HAS SOUPS 214792 WITH SCORE 215056.784
AT ITER 3936 NEW BEST:: SOT 470550 SOS 264769 HAS SOPS 264769 HAS SOUS 214694 HAS SOUPS 214694 WITH SCORE 214958.769
AT ITER 3937 NEW BEST:: SOT 469216 SOS 263814 HAS SOPS 263814 HAS SOUS 214111 HAS SOUPS 214111 WITH SCORE 214374.814
AT ITER 3938 NEW BEST:: SOT 469296 SOS 263734 HAS SOPS 263734 HAS SOUS 214111 HAS SOUPS 214111 WITH SCORE 214374.734
AT ITER 3941 NEW BEST:: SOT 469296 SOS 263734 HAS SOPS 263734 HAS SOUS 214088 HAS SOUPS 214088 WITH SCORE 214351.734
AT ITER 3949 NEW BEST:: SOT 469296 SOS 263737 HAS SOPS 263737 HAS SOUS 214077 HAS SOUPS 214077 WITH SCORE 214340.737
AT ITER 3965 NEW BEST:: SOT 469656 SOS 263575 HAS SOPS 263575 HAS SOUS 213912 HAS SOUPS 213912 WITH SCORE 214175.575
AT ITER 3969 NEW BEST:: SOT 469656 SOS 263575 HAS SOPS 263575 HAS SOUS 213866 HAS SOUPS 213866 WITH SCORE 214129.575
AT ITER 3975 NEW BEST:: SOT 469656 SOS 263399 HAS SOPS 263399 HAS SOUS 213841 HAS SOUPS 213841 WITH SCORE 214104.399
AT ITER 3977 NEW BEST:: SOT 469502 SOS 263146 HAS SOPS 263146 HAS SOUS 213546 HAS SOUPS 213546 WITH SCORE 213809.146
AT ITER 3988 NEW BEST:: SOT 469393 SOS 263029 HAS SOPS 263029 HAS SOUS 213429 HAS SOUPS 213429 WITH SCORE 213692.029
AT ITER 4023 NEW BEST:: SOT 469393 SOS 262985 HAS SOPS 262985 HAS SOUS 213429 HAS SOUPS 213429 WITH SCORE 213691.985
AT ITER 4028 NEW BEST:: SOT 469409 SOS 262973 HAS SOPS 262973 HAS SOUS 213417 HAS SOUPS 213417 WITH SCORE 213679.973
AT ITER 4030 NEW BEST:: SOT 468864 SOS 262746 HAS SOPS 262746 HAS SOUS 213346 HAS SOUPS 213346 WITH SCORE 213608.746
AT ITER 4032 NEW BEST:: SOT 468864 SOS 262711 HAS SOPS 262711 HAS SOUS 213311 HAS SOUPS 213311 WITH SCORE 213573.711
AT ITER 4033 NEW BEST:: SOT 468864 SOS 262569 HAS SOPS 262569 HAS SOUS 213268 HAS SOUPS 213268 WITH SCORE 213530.569
AT ITER 4037 NEW BEST:: SOT 468447 SOS 262314 HAS SOPS 262314 HAS SOUS 213013 HAS SOUPS 213013 WITH SCORE 213275.314
AT ITER 4041 NEW BEST:: SOT 468414 SOS 262281 HAS SOPS 262281 HAS SOUS 212882 HAS SOUPS 212882 WITH SCORE 213144.281
AT ITER 4071 NEW BEST:: SOT 468438 SOS 262305 HAS SOPS 262305 HAS SOUS 212870 HAS SOUPS 212870 WITH SCORE 213132.305
AT ITER 4073 NEW BEST:: SOT 468441 SOS 262131 HAS SOPS 262131 HAS SOUS 212869 HAS SOUPS 212869 WITH SCORE 213131.131
AT ITER 4078 NEW BEST:: SOT 468230 SOS 262139 HAS SOPS 262139 HAS SOUS 212820 HAS SOUPS 212820 WITH SCORE 213082.139
AT ITER 4085 NEW BEST:: SOT 468187 SOS 262731 HAS SOPS 262731 HAS SOUS 212779 HAS SOUPS 212779 WITH SCORE 213041.731
AT ITER 4092 NEW BEST:: SOT 468169 SOS 262691 HAS SOPS 262691 HAS SOUS 212754 HAS SOUPS 212754 WITH SCORE 213016.691
AT ITER 4098 NEW BEST:: SOT 468194 SOS 262673 HAS SOPS 262673 HAS SOUS 212736 HAS SOUPS 212736 WITH SCORE 212998.673
AT ITER 4112 NEW BEST:: SOT 468194 SOS 262643 HAS SOPS 262643 HAS SOUS 212672 HAS SOUPS 212672 WITH SCORE 212934.643
AT ITER 4118 NEW BEST:: SOT 468194 SOS 262635 HAS SOPS 262635 HAS SOUS 212672 HAS SOUPS 212672 WITH SCORE 212934.635
AT ITER 4139 NEW BEST:: SOT 468194 SOS 262634 HAS SOPS 262634 HAS SOUS 212672 HAS SOUPS 212672 WITH SCORE 212934.634
AT ITER 4147 NEW BEST:: SOT 468118 SOS 263380 HAS SOPS 263380 HAS SOUS 212638 HAS SOUPS 212638 WITH SCORE 212901.38
AT ITER 4149 NEW BEST:: SOT 468118 SOS 263316 HAS SOPS 263316 HAS SOUS 212638 HAS SOUPS 212638 WITH SCORE 212901.316
AT ITER 4150 NEW BEST:: SOT 468088 SOS 263286 HAS SOPS 263286 HAS SOUS 212608 HAS SOUPS 212608 WITH SCORE 212871.286
AT ITER 4153 NEW BEST:: SOT 468054 SOS 263252 HAS SOPS 263252 HAS SOUS 212574 HAS SOUPS 212574 WITH SCORE 212837.252
AT ITER 4167 NEW BEST:: SOT 468042 SOS 263246 HAS SOPS 263246 HAS SOUS 212409 HAS SOUPS 212409 WITH SCORE 212672.246
AT ITER 4172 NEW BEST:: SOT 468042 SOS 263200 HAS SOPS 263200 HAS SOUS 212403 HAS SOUPS 212403 WITH SCORE 212666.2
AT ITER 4174 NEW BEST:: SOT 468042 SOS 263140 HAS SOPS 263140 HAS SOUS 212403 HAS SOUPS 212403 WITH SCORE 212666.14
AT ITER 4177 NEW BEST:: SOT 468028 SOS 263126 HAS SOPS 263126 HAS SOUS 212389 HAS SOUPS 212389 WITH SCORE 212652.126
AT ITER 4186 NEW BEST:: SOT 467813 SOS 263319 HAS SOPS 263319 HAS SOUS 212174 HAS SOUPS 212174 WITH SCORE 212437.319
AT ITER 4188 NEW BEST:: SOT 467485 SOS 263719 HAS SOPS 263719 HAS SOUS 212173 HAS SOUPS 212173 WITH SCORE 212436.719
AT ITER 4202 NEW BEST:: SOT 467448 SOS 263682 HAS SOPS 263682 HAS SOUS 212136 HAS SOUPS 212136 WITH SCORE 212399.682
AT ITER 4214 NEW BEST:: SOT 467440 SOS 263674 HAS SOPS 263674 HAS SOUS 212128 HAS SOUPS 212128 WITH SCORE 212391.674
AT ITER 4221 NEW BEST:: SOT 467440 SOS 263550 HAS SOPS 263550 HAS SOUS 212128 HAS SOUPS 212128 WITH SCORE 212391.55
AT ITER 4223 NEW BEST:: SOT 467330 SOS 263482 HAS SOPS 263482 HAS SOUS 212061 HAS SOUPS 212061 WITH SCORE 212324.482
AT ITER 4227 NEW BEST:: SOT 467327 SOS 263172 HAS SOPS 263172 HAS SOUS 211744 HAS SOUPS 211744 WITH SCORE 212007.172
AT ITER 4231 NEW BEST:: SOT 467327 SOS 263120 HAS SOPS 263120 HAS SOUS 211692 HAS SOUPS 211692 WITH SCORE 211955.12
AT ITER 4258 NEW BEST:: SOT 467327 SOS 263049 HAS SOPS 263049 HAS SOUS 211655 HAS SOUPS 211655 WITH SCORE 211918.049
AT ITER 4277 NEW BEST:: SOT 467327 SOS 262927 HAS SOPS 262927 HAS SOUS 211608 HAS SOUPS 211608 WITH SCORE 211870.927
AT ITER 4278 NEW BEST:: SOT 467164 SOS 262802 HAS SOPS 262802 HAS SOUS 211483 HAS SOUPS 211483 WITH SCORE 211745.802
AT ITER 4282 NEW BEST:: SOT 466926 SOS 262406 HAS SOPS 262406 HAS SOUS 211204 HAS SOUPS 211204 WITH SCORE 211466.406
AT ITER 4303 NEW BEST:: SOT 466888 SOS 262368 HAS SOPS 262368 HAS SOUS 211166 HAS SOUPS 211166 WITH SCORE 211428.368
AT ITER 4305 NEW BEST:: SOT 466888 SOS 262368 HAS SOPS 262368 HAS SOUS 211134 HAS SOUPS 211134 WITH SCORE 211396.368
AT ITER 4315 NEW BEST:: SOT 466884 SOS 262364 HAS SOPS 262364 HAS SOUS 211130 HAS SOUPS 211130 WITH SCORE 211392.364
AT ITER 4323 NEW BEST:: SOT 466829 SOS 262181 HAS SOPS 262181 HAS SOUS 211066 HAS SOUPS 211066 WITH SCORE 211328.181
AT ITER 4345 NEW BEST:: SOT 466786 SOS 262072 HAS SOPS 262072 HAS SOUS 210999 HAS SOUPS 210999 WITH SCORE 211261.072
AT ITER 4348 NEW BEST:: SOT 466718 SOS 262004 HAS SOPS 262004 HAS SOUS 210931 HAS SOUPS 210931 WITH SCORE 211193.004
AT ITER 4351 NEW BEST:: SOT 466770 SOS 262056 HAS SOPS 262056 HAS SOUS 210753 HAS SOUPS 210753 WITH SCORE 211015.056
AT ITER 4361 NEW BEST:: SOT 466770 SOS 261844 HAS SOPS 261844 HAS SOUS 210753 HAS SOUPS 210753 WITH SCORE 211014.844
AT ITER 4373 NEW BEST:: SOT 466770 SOS 261844 HAS SOPS 261844 HAS SOUS 210750 HAS SOUPS 210750 WITH SCORE 211011.844
AT ITER 4382 NEW BEST:: SOT 466805 SOS 261420 HAS SOPS 261420 HAS SOUS 210709 HAS SOUPS 210709 WITH SCORE 210970.42
AT ITER 4392 NEW BEST:: SOT 466805 SOS 261390 HAS SOPS 261390 HAS SOUS 210709 HAS SOUPS 210709 WITH SCORE 210970.39
AT ITER 4414 NEW BEST:: SOT 466694 SOS 261349 HAS SOPS 261349 HAS SOUS 210618 HAS SOUPS 210618 WITH SCORE 210879.349
AT ITER 4416 NEW BEST:: SOT 466694 SOS 261301 HAS SOPS 261301 HAS SOUS 210618 HAS SOUPS 210618 WITH SCORE 210879.301
AT ITER 4439 NEW BEST:: SOT 466694 SOS 261301 HAS SOPS 261301 HAS SOUS 210593 HAS SOUPS 210593 WITH SCORE 210854.301
AT ITER 4446 NEW BEST:: SOT 466356 SOS 261073 HAS SOPS 261073 HAS SOUS 210365 HAS SOUPS 210365 WITH SCORE 210626.073
AT ITER 4458 NEW BEST:: SOT 466321 SOS 261038 HAS SOPS 261038 HAS SOUS 210330 HAS SOUPS 210330 WITH SCORE 210591.038
AT ITER 4494 NEW BEST:: SOT 466311 SOS 261028 HAS SOPS 261028 HAS SOUS 210299 HAS SOUPS 210299 WITH SCORE 210560.028
AT ITER 4510 NEW BEST:: SOT 466311 SOS 261025 HAS SOPS 261025 HAS SOUS 210299 HAS SOUPS 210299 WITH SCORE 210560.025
AT ITER 4528 NEW BEST:: SOT 466311 SOS 261015 HAS SOPS 261015 HAS SOUS 210288 HAS SOUPS 210288 WITH SCORE 210549.015
AT ITER 4539 NEW BEST:: SOT 466226 SOS 260930 HAS SOPS 260930 HAS SOUS 210203 HAS SOUPS 210203 WITH SCORE 210463.93
AT ITER 4548 NEW BEST:: SOT 465983 SOS 260739 HAS SOPS 260739 HAS SOUS 210012 HAS SOUPS 210012 WITH SCORE 210272.739
AT ITER 4552 NEW BEST:: SOT 465983 SOS 260697 HAS SOPS 260697 HAS SOUS 210012 HAS SOUPS 210012 WITH SCORE 210272.697
AT ITER 4576 NEW BEST:: SOT 465983 SOS 260570 HAS SOPS 260570 HAS SOUS 210012 HAS SOUPS 210012 WITH SCORE 210272.57
AT ITER 4584 NEW BEST:: SOT 465983 SOS 260570 HAS SOPS 260570 HAS SOUS 209966 HAS SOUPS 209966 WITH SCORE 210226.57
AT ITER 4589 NEW BEST:: SOT 465983 SOS 260439 HAS SOPS 260439 HAS SOUS 209966 HAS SOUPS 209966 WITH SCORE 210226.439
AT ITER 4600 NEW BEST:: SOT 465983 SOS 260432 HAS SOPS 260432 HAS SOUS 209962 HAS SOUPS 209962 WITH SCORE 210222.432
AT ITER 4609 NEW BEST:: SOT 465958 SOS 260428 HAS SOPS 260428 HAS SOUS 209958 HAS SOUPS 209958 WITH SCORE 210218.428
AT ITER 4611 NEW BEST:: SOT 465774 SOS 260195 HAS SOPS 260195 HAS SOUS 209779 HAS SOUPS 209779 WITH SCORE 210039.195
AT ITER 4628 NEW BEST:: SOT 465774 SOS 259887 HAS SOPS 259887 HAS SOUS 209723 HAS SOUPS 209723 WITH SCORE 209982.887
AT ITER 4635 NEW BEST:: SOT 465536 SOS 259649 HAS SOPS 259649 HAS SOUS 209205 HAS SOUPS 209205 WITH SCORE 209464.649
AT ITER 4636 NEW BEST:: SOT 465456 SOS 259589 HAS SOPS 259589 HAS SOUS 209159 HAS SOUPS 209159 WITH SCORE 209418.589
AT ITER 4647 NEW BEST:: SOT 465153 SOS 259404 HAS SOPS 259404 HAS SOUS 208974 HAS SOUPS 208974 WITH SCORE 209233.404
AT ITER 4668 NEW BEST:: SOT 464881 SOS 259495 HAS SOPS 259495 HAS SOUS 208702 HAS SOUPS 208702 WITH SCORE 208961.495
AT ITER 4673 NEW BEST:: SOT 464897 SOS 259463 HAS SOPS 259463 HAS SOUS 208702 HAS SOUPS 208702 WITH SCORE 208961.463
AT ITER 4688 NEW BEST:: SOT 464897 SOS 259331 HAS SOPS 259331 HAS SOUS 208702 HAS SOUPS 208702 WITH SCORE 208961.331
AT ITER 4692 NEW BEST:: SOT 464844 SOS 259233 HAS SOPS 259233 HAS SOUS 208554 HAS SOUPS 208554 WITH SCORE 208813.233
AT ITER 4694 NEW BEST:: SOT 464844 SOS 259182 HAS SOPS 259182 HAS SOUS 208554 HAS SOUPS 208554 WITH SCORE 208813.182
AT ITER 4696 NEW BEST:: SOT 464821 SOS 258828 HAS SOPS 258828 HAS SOUS 208527 HAS SOUPS 208527 WITH SCORE 208785.828
AT ITER 4698 NEW BEST:: SOT 464814 SOS 258821 HAS SOPS 258821 HAS SOUS 208520 HAS SOUPS 208520 WITH SCORE 208778.821
AT ITER 4708 NEW BEST:: SOT 464814 SOS 258771 HAS SOPS 258771 HAS SOUS 208499 HAS SOUPS 208499 WITH SCORE 208757.771
AT ITER 4709 NEW BEST:: SOT 464762 SOS 258745 HAS SOPS 258745 HAS SOUS 208473 HAS SOUPS 208473 WITH SCORE 208731.745
AT ITER 4716 NEW BEST:: SOT 464762 SOS 258718 HAS SOPS 258718 HAS SOUS 208446 HAS SOUPS 208446 WITH SCORE 208704.718
AT ITER 4725 NEW BEST:: SOT 464683 SOS 258648 HAS SOPS 258648 HAS SOUS 208376 HAS SOUPS 208376 WITH SCORE 208634.648
AT ITER 4737 NEW BEST:: SOT 464683 SOS 258627 HAS SOPS 258627 HAS SOUS 208355 HAS SOUPS 208355 WITH SCORE 208613.627
AT ITER 4742 NEW BEST:: SOT 464658 SOS 258602 HAS SOPS 258602 HAS SOUS 208330 HAS SOUPS 208330 WITH SCORE 208588.602
AT ITER 4745 NEW BEST:: SOT 464620 SOS 258602 HAS SOPS 258602 HAS SOUS 208292 HAS SOUPS 208292 WITH SCORE 208550.602
AT ITER 4764 NEW BEST:: SOT 464620 SOS 258569 HAS SOPS 258569 HAS SOUS 208292 HAS SOUPS 208292 WITH SCORE 208550.569
AT ITER 4773 NEW BEST:: SOT 464476 SOS 258565 HAS SOPS 258565 HAS SOUS 208288 HAS SOUPS 208288 WITH SCORE 208546.565
AT ITER 4796 NEW BEST:: SOT 464476 SOS 258565 HAS SOPS 258565 HAS SOUS 208256 HAS SOUPS 208256 WITH SCORE 208514.565
AT ITER 4812 NEW BEST:: SOT 464370 SOS 258415 HAS SOPS 258415 HAS SOUS 208092 HAS SOUPS 208092 WITH SCORE 208350.415
AT ITER 4817 NEW BEST:: SOT 464370 SOS 257985 HAS SOPS 257985 HAS SOUS 208092 HAS SOUPS 208092 WITH SCORE 208349.985
AT ITER 4818 NEW BEST:: SOT 464333 SOS 257987 HAS SOPS 257987 HAS SOUS 208083 HAS SOUPS 208083 WITH SCORE 208340.987
AT ITER 4828 NEW BEST:: SOT 464330 SOS 257984 HAS SOPS 257984 HAS SOUS 208071 HAS SOUPS 208071 WITH SCORE 208328.984
AT ITER 4834 NEW BEST:: SOT 464282 SOS 257975 HAS SOPS 257975 HAS SOUS 208062 HAS SOUPS 208062 WITH SCORE 208319.975
AT ITER 4840 NEW BEST:: SOT 464208 SOS 257924 HAS SOPS 257924 HAS SOUS 208011 HAS SOUPS 208011 WITH SCORE 208268.924
AT ITER 4844 NEW BEST:: SOT 464208 SOS 257862 HAS SOPS 257862 HAS SOUS 208011 HAS SOUPS 208011 WITH SCORE 208268.862
AT ITER 4850 NEW BEST:: SOT 464144 SOS 257798 HAS SOPS 257798 HAS SOUS 207915 HAS SOUPS 207915 WITH SCORE 208172.798
AT ITER 4852 NEW BEST:: SOT 463963 SOS 257617 HAS SOPS 257617 HAS SOUS 207619 HAS SOUPS 207619 WITH SCORE 207876.617
AT ITER 4863 NEW BEST:: SOT 463957 SOS 257611 HAS SOPS 257611 HAS SOUS 207613 HAS SOUPS 207613 WITH SCORE 207870.611
AT ITER 4875 NEW BEST:: SOT 463892 SOS 257624 HAS SOPS 257624 HAS SOUS 207574 HAS SOUPS 207574 WITH SCORE 207831.624
AT ITER 4884 NEW BEST:: SOT 463754 SOS 257556 HAS SOPS 257556 HAS SOUS 207505 HAS SOUPS 207505 WITH SCORE 207762.556
AT ITER 4887 NEW BEST:: SOT 463700 SOS 257502 HAS SOPS 257502 HAS SOUS 207453 HAS SOUPS 207453 WITH SCORE 207710.502
AT ITER 4888 NEW BEST:: SOT 463612 SOS 258053 HAS SOPS 258053 HAS SOUS 207452 HAS SOUPS 207452 WITH SCORE 207710.053
AT ITER 4896 NEW BEST:: SOT 463106 SOS 258683 HAS SOPS 258683 HAS SOUS 207225 HAS SOUPS 207225 WITH SCORE 207483.683
AT ITER 4897 NEW BEST:: SOT 462858 SOS 258532 HAS SOPS 258532 HAS SOUS 207033 HAS SOUPS 207033 WITH SCORE 207291.532
AT ITER 4914 NEW BEST:: SOT 462597 SOS 258333 HAS SOPS 258333 HAS SOUS 206973 HAS SOUPS 206973 WITH SCORE 207231.333
AT ITER 4924 NEW BEST:: SOT 462597 SOS 258235 HAS SOPS 258235 HAS SOUS 206973 HAS SOUPS 206973 WITH SCORE 207231.235
AT ITER 4925 NEW BEST:: SOT 462383 SOS 259457 HAS SOPS 259457 HAS SOUS 206929 HAS SOUPS 206929 WITH SCORE 207188.457
AT ITER 4942 NEW BEST:: SOT 462328 SOS 259440 HAS SOPS 259440 HAS SOUS 206893 HAS SOUPS 206893 WITH SCORE 207152.44
AT ITER 4954 NEW BEST:: SOT 462281 SOS 259393 HAS SOPS 259393 HAS SOUS 206846 HAS SOUPS 206846 WITH SCORE 207105.393
AT ITER 4966 NEW BEST:: SOT 462281 SOS 258996 HAS SOPS 258996 HAS SOUS 206816 HAS SOUPS 206816 WITH SCORE 207074.996
AT ITER 4969 NEW BEST:: SOT 462123 SOS 258909 HAS SOPS 258909 HAS SOUS 206729 HAS SOUPS 206729 WITH SCORE 206987.909
AT ITER 4976 NEW BEST:: SOT 461725 SOS 258623 HAS SOPS 258623 HAS SOUS 206608 HAS SOUPS 206608 WITH SCORE 206866.623
AT ITER 4979 NEW BEST:: SOT 461751 SOS 258232 HAS SOPS 258232 HAS SOUS 206550 HAS SOUPS 206550 WITH SCORE 206808.232
AT ITER 4984 NEW BEST:: SOT 461732 SOS 258213 HAS SOPS 258213 HAS SOUS 206469 HAS SOUPS 206469 WITH SCORE 206727.213
AT ITER 4987 NEW BEST:: SOT 461810 SOS 257700 HAS SOPS 257700 HAS SOUS 206050 HAS SOUPS 206050 WITH SCORE 206307.7
AT ITER 4994 NEW BEST:: SOT 461810 SOS 257700 HAS SOPS 257700 HAS SOUS 205960 HAS SOUPS 205960 WITH SCORE 206217.7
AT ITER 4995 NEW BEST:: SOT 461806 SOS 257696 HAS SOPS 257696 HAS SOUS 205956 HAS SOUPS 205956 WITH SCORE 206213.696
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: Sudoku-PT-AN09-CTLCardinality-00 (EG( ( potential( (tk(P685)) <= (tk(P636)) ) | (AF(potential( (tk(P205)) <= (tk(P690)) ))) )))
PROPERTY: Sudoku-PT-AN09-CTLCardinality-01 ( ( (! (AF(potential( ( 2 ) <= (tk(P657)) )))) & (AF(( potential( ( 3 ) <= (tk(P483)) ) & potential( ( 2 ) <= (tk(P629)) ) ))) ) | (EG( (! potential( ( 3 ) <= (tk(P745)) )))) )
PROPERTY: Sudoku-PT-AN09-CTLCardinality-02 (AU( potential( ( 1 ) <= (tk(P124)) ),(AF(potential( (tk(P821)) <= (tk(P229)) ))) ))
PROPERTY: Sudoku-PT-AN09-CTLCardinality-03 (AF((! (EG( potential( (tk(P132)) <= (tk(P2)) ))))))
PROPERTY: Sudoku-PT-AN09-CTLCardinality-04 (EF((! (EX( potential( (tk(P283)) <= (tk(P268)) ))))))
PROPERTY: Sudoku-PT-AN09-CTLCardinality-05 (AF(( (EX( potential( (tk(P174)) <= (tk(P38)) ))) & (EG( potential( (tk(P562)) <= (tk(P404)) ))) )))
PROPERTY: Sudoku-PT-AN09-CTLCardinality-06 ( (AF((EF(potential( ( 3 ) <= (tk(P116)) ))))) | potential( ( 3 ) <= (tk(P566)) ) )
PROPERTY: Sudoku-PT-AN09-CTLCardinality-07 ( (! (EU( potential( (tk(P657)) <= (tk(P154)) ),potential( ( 2 ) <= (tk(P441)) ) ))) & (AF(( potential( ( 3 ) <= (tk(P830)) ) & potential( (tk(P801)) <= (tk(P435)) ) ))) )
PROPERTY: Sudoku-PT-AN09-CTLCardinality-08 (AF(( potential( (tk(P308)) <= (tk(P267)) ) & (! potential( (tk(P779)) <= (tk(P739)) )) )))
PROPERTY: Sudoku-PT-AN09-CTLCardinality-09 (AF((AF((! potential( (tk(P759)) <= (tk(P640)) ))))))
PROPERTY: Sudoku-PT-AN09-CTLCardinality-10 (AU( (! ( potential( ( 2 ) <= (tk(P559)) ) & potential( (tk(P262)) <= (tk(P565)) ) )),potential( ( 3 ) <= (tk(P922)) ) ))
PROPERTY: Sudoku-PT-AN09-CTLCardinality-11 (EF((AX( (! potential( (tk(P101)) <= (tk(P307)) ))))))
PROPERTY: Sudoku-PT-AN09-CTLCardinality-12 (! (AX( (AF(potential( (tk(P763)) <= (tk(P190)) ))))))
PROPERTY: Sudoku-PT-AN09-CTLCardinality-13 ( (AF((EX( potential( ( 2 ) <= (tk(P216)) ))))) | (EG( ( ( potential( (tk(P217)) <= (tk(P105)) ) | potential( ( 3 ) <= (tk(P304)) ) ) | ( potential( (tk(P704)) <= (tk(P922)) ) & potential( ( 2 ) <= (tk(P262)) ) ) ))) )
PROPERTY: Sudoku-PT-AN09-CTLCardinality-14 (EG( ( (EF(potential( (tk(P70)) <= (tk(P602)) ))) | ( (! potential( ( 2 ) <= (tk(P222)) )) | (! potential( ( 3 ) <= (tk(P436)) )) ) )))
PROPERTY: Sudoku-PT-AN09-CTLCardinality-15 (AF((EX( potential( ( 3 ) <= (tk(P265)) )))))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Sudoku-PT-AN09"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is Sudoku-PT-AN09, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r224-oct2-159033538700379"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Sudoku-PT-AN09.tgz
mv Sudoku-PT-AN09 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;