fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r003-smll-158897508000076
Last Updated
Jun 28, 2020

About the Execution of smart for ASLink-PT-05a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15765.020 3600000.00 3599980.00 0.00 [undef] Time out reached

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r003-smll-158897508000076.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ASLink-PT-05a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508000076
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 688K
-rw-r--r-- 1 mcc users 2.9K Mar 25 09:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 25 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 09:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 09:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.0K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Mar 25 09:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 25 09:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 08:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 25 08:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 516K Mar 24 05:37 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 ASLink-PT-05a-CTLFireability-00
FORMULA_NAME ASLink-PT-05a-CTLFireability-01
FORMULA_NAME ASLink-PT-05a-CTLFireability-02
FORMULA_NAME ASLink-PT-05a-CTLFireability-03
FORMULA_NAME ASLink-PT-05a-CTLFireability-04
FORMULA_NAME ASLink-PT-05a-CTLFireability-05
FORMULA_NAME ASLink-PT-05a-CTLFireability-06
FORMULA_NAME ASLink-PT-05a-CTLFireability-07
FORMULA_NAME ASLink-PT-05a-CTLFireability-08
FORMULA_NAME ASLink-PT-05a-CTLFireability-09
FORMULA_NAME ASLink-PT-05a-CTLFireability-10
FORMULA_NAME ASLink-PT-05a-CTLFireability-11
FORMULA_NAME ASLink-PT-05a-CTLFireability-12
FORMULA_NAME ASLink-PT-05a-CTLFireability-13
FORMULA_NAME ASLink-PT-05a-CTLFireability-14
FORMULA_NAME ASLink-PT-05a-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589026353774

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 05a
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 1211 places, 1827 transitions, 6877 arcs.
AT ITER 0 NEW BEST:: SOT 1220961 SOS 839659 HAS SOPS 839659 HAS SOUS 531968 HAS SOUPS 531968 WITH SCORE 532807.659
AT ITER 10 NEW BEST:: SOT 1220961 SOS 839659 HAS SOPS 839659 HAS SOUS 531967 HAS SOUPS 531967 WITH SCORE 532806.659
AT ITER 13 NEW BEST:: SOT 1219944 SOS 838848 HAS SOPS 838848 HAS SOUS 531156 HAS SOUPS 531156 WITH SCORE 531994.848
AT ITER 18 NEW BEST:: SOT 1219572 SOS 838476 HAS SOPS 838476 HAS SOUS 531153 HAS SOUPS 531153 WITH SCORE 531991.476
AT ITER 24 NEW BEST:: SOT 1219034 SOS 837936 HAS SOPS 837936 HAS SOUS 530613 HAS SOUPS 530613 WITH SCORE 531450.936
AT ITER 41 NEW BEST:: SOT 1218744 SOS 837646 HAS SOPS 837646 HAS SOUS 530612 HAS SOUPS 530612 WITH SCORE 531449.646
AT ITER 43 NEW BEST:: SOT 1218744 SOS 836920 HAS SOPS 836920 HAS SOUS 530409 HAS SOUPS 530409 WITH SCORE 531245.92
AT ITER 51 NEW BEST:: SOT 1217752 SOS 836760 HAS SOPS 836760 HAS SOUS 529948 HAS SOUPS 529948 WITH SCORE 530784.76
AT ITER 53 NEW BEST:: SOT 1217247 SOS 836142 HAS SOPS 836142 HAS SOUS 529816 HAS SOUPS 529816 WITH SCORE 530652.142
AT ITER 55 NEW BEST:: SOT 1216582 SOS 835477 HAS SOPS 835477 HAS SOUS 529151 HAS SOUPS 529151 WITH SCORE 529986.477
AT ITER 58 NEW BEST:: SOT 1216582 SOS 835472 HAS SOPS 835472 HAS SOUS 529146 HAS SOUPS 529146 WITH SCORE 529981.472
AT ITER 68 NEW BEST:: SOT 1216356 SOS 835246 HAS SOPS 835246 HAS SOUS 528920 HAS SOUPS 528920 WITH SCORE 529755.246
AT ITER 69 NEW BEST:: SOT 1216355 SOS 834811 HAS SOPS 834811 HAS SOUS 528052 HAS SOUPS 528052 WITH SCORE 528886.811
AT ITER 74 NEW BEST:: SOT 1211805 SOS 830261 HAS SOPS 830261 HAS SOUS 523501 HAS SOUPS 523501 WITH SCORE 524331.261
AT ITER 88 NEW BEST:: SOT 1211808 SOS 829802 HAS SOPS 829802 HAS SOUS 523156 HAS SOUPS 523156 WITH SCORE 523985.802
AT ITER 89 NEW BEST:: SOT 1211808 SOS 826969 HAS SOPS 826969 HAS SOUS 522492 HAS SOUPS 522492 WITH SCORE 523318.969
AT ITER 92 NEW BEST:: SOT 1211714 SOS 826875 HAS SOPS 826875 HAS SOUS 522397 HAS SOUPS 522397 WITH SCORE 523223.875
AT ITER 95 NEW BEST:: SOT 1211134 SOS 826295 HAS SOPS 826295 HAS SOUS 521817 HAS SOUPS 521817 WITH SCORE 522643.295
AT ITER 98 NEW BEST:: SOT 1211134 SOS 825001 HAS SOPS 825001 HAS SOUS 521816 HAS SOUPS 521816 WITH SCORE 522641.001
AT ITER 106 NEW BEST:: SOT 1210835 SOS 824689 HAS SOPS 824689 HAS SOUS 521504 HAS SOUPS 521504 WITH SCORE 522328.689
AT ITER 107 NEW BEST:: SOT 1210514 SOS 823331 HAS SOPS 823331 HAS SOUS 520411 HAS SOUPS 520411 WITH SCORE 521234.331
AT ITER 108 NEW BEST:: SOT 1209938 SOS 823505 HAS SOPS 823505 HAS SOUS 519991 HAS SOUPS 519991 WITH SCORE 520814.505
AT ITER 117 NEW BEST:: SOT 1210061 SOS 823425 HAS SOPS 823425 HAS SOUS 519936 HAS SOUPS 519936 WITH SCORE 520759.425
AT ITER 122 NEW BEST:: SOT 1206659 SOS 820119 HAS SOPS 820119 HAS SOUS 516602 HAS SOUPS 516602 WITH SCORE 517422.119
AT ITER 126 NEW BEST:: SOT 1206510 SOS 819970 HAS SOPS 819970 HAS SOUS 516443 HAS SOUPS 516443 WITH SCORE 517262.97
AT ITER 139 NEW BEST:: SOT 1206510 SOS 819970 HAS SOPS 819970 HAS SOUS 516219 HAS SOUPS 516219 WITH SCORE 517038.97
AT ITER 146 NEW BEST:: SOT 1205889 SOS 818320 HAS SOPS 818320 HAS SOUS 514975 HAS SOUPS 514975 WITH SCORE 515793.32
AT ITER 147 NEW BEST:: SOT 1205851 SOS 818282 HAS SOPS 818282 HAS SOUS 514975 HAS SOUPS 514975 WITH SCORE 515793.282
AT ITER 153 NEW BEST:: SOT 1204721 SOS 817152 HAS SOPS 817152 HAS SOUS 513845 HAS SOUPS 513845 WITH SCORE 514662.152
AT ITER 162 NEW BEST:: SOT 1204721 SOS 818225 HAS SOPS 818225 HAS SOUS 513803 HAS SOUPS 513803 WITH SCORE 514621.225
AT ITER 167 NEW BEST:: SOT 1203858 SOS 815278 HAS SOPS 815278 HAS SOUS 513307 HAS SOUPS 513307 WITH SCORE 514122.278
AT ITER 168 NEW BEST:: SOT 1203568 SOS 814886 HAS SOPS 814886 HAS SOUS 513307 HAS SOUPS 513307 WITH SCORE 514121.886
AT ITER 169 NEW BEST:: SOT 1202918 SOS 815584 HAS SOPS 815584 HAS SOUS 512243 HAS SOUPS 512243 WITH SCORE 513058.584
AT ITER 171 NEW BEST:: SOT 1202918 SOS 815476 HAS SOPS 815476 HAS SOUS 512241 HAS SOUPS 512241 WITH SCORE 513056.476
AT ITER 177 NEW BEST:: SOT 1202622 SOS 815180 HAS SOPS 815180 HAS SOUS 512230 HAS SOUPS 512230 WITH SCORE 513045.18
AT ITER 187 NEW BEST:: SOT 1202409 SOS 814967 HAS SOPS 814967 HAS SOUS 512206 HAS SOUPS 512206 WITH SCORE 513020.967
AT ITER 189 NEW BEST:: SOT 1202257 SOS 814663 HAS SOPS 814663 HAS SOUS 512205 HAS SOUPS 512205 WITH SCORE 513019.663
AT ITER 194 NEW BEST:: SOT 1202140 SOS 814546 HAS SOPS 814546 HAS SOUS 512080 HAS SOUPS 512080 WITH SCORE 512894.546
AT ITER 195 NEW BEST:: SOT 1201457 SOS 812642 HAS SOPS 812642 HAS SOUS 511006 HAS SOUPS 511006 WITH SCORE 511818.642
AT ITER 198 NEW BEST:: SOT 1201457 SOS 812642 HAS SOPS 812642 HAS SOUS 510984 HAS SOUPS 510984 WITH SCORE 511796.642
AT ITER 202 NEW BEST:: SOT 1201457 SOS 810630 HAS SOPS 810630 HAS SOUS 510494 HAS SOUPS 510494 WITH SCORE 511304.63
AT ITER 205 NEW BEST:: SOT 1201457 SOS 807871 HAS SOPS 807871 HAS SOUS 510371 HAS SOUPS 510371 WITH SCORE 511178.871
AT ITER 207 NEW BEST:: SOT 1187710 SOS 795384 HAS SOPS 795384 HAS SOUS 495610 HAS SOUPS 495610 WITH SCORE 496405.384
AT ITER 208 NEW BEST:: SOT 1187710 SOS 795138 HAS SOPS 795138 HAS SOUS 495585 HAS SOUPS 495585 WITH SCORE 496380.138
AT ITER 209 NEW BEST:: SOT 1187549 SOS 794977 HAS SOPS 794977 HAS SOUS 495571 HAS SOUPS 495571 WITH SCORE 496365.977
AT ITER 211 NEW BEST:: SOT 1187549 SOS 794430 HAS SOPS 794430 HAS SOUS 495508 HAS SOUPS 495508 WITH SCORE 496302.43
AT ITER 215 NEW BEST:: SOT 1187350 SOS 793414 HAS SOPS 793414 HAS SOUS 495083 HAS SOUPS 495083 WITH SCORE 495876.414
AT ITER 225 NEW BEST:: SOT 1187355 SOS 793082 HAS SOPS 793082 HAS SOUS 494751 HAS SOUPS 494751 WITH SCORE 495544.082
AT ITER 226 NEW BEST:: SOT 1186928 SOS 792654 HAS SOPS 792654 HAS SOUS 494748 HAS SOUPS 494748 WITH SCORE 495540.654
AT ITER 230 NEW BEST:: SOT 1186245 SOS 792233 HAS SOPS 792233 HAS SOUS 494334 HAS SOUPS 494334 WITH SCORE 495126.233
AT ITER 233 NEW BEST:: SOT 1186245 SOS 789584 HAS SOPS 789584 HAS SOUS 494333 HAS SOUPS 494333 WITH SCORE 495122.584
AT ITER 237 NEW BEST:: SOT 1186245 SOS 789125 HAS SOPS 789125 HAS SOUS 494328 HAS SOUPS 494328 WITH SCORE 495117.125
AT ITER 243 NEW BEST:: SOT 1181077 SOS 783957 HAS SOPS 783957 HAS SOUS 489160 HAS SOUPS 489160 WITH SCORE 489943.957
AT ITER 244 NEW BEST:: SOT 1180805 SOS 783413 HAS SOPS 783413 HAS SOUS 488616 HAS SOUPS 488616 WITH SCORE 489399.413
AT ITER 263 NEW BEST:: SOT 1180283 SOS 782614 HAS SOPS 782614 HAS SOUS 487815 HAS SOUPS 487815 WITH SCORE 488597.614
AT ITER 266 NEW BEST:: SOT 1180055 SOS 782156 HAS SOPS 782156 HAS SOUS 486570 HAS SOUPS 486570 WITH SCORE 487352.156
AT ITER 272 NEW BEST:: SOT 1180055 SOS 779575 HAS SOPS 779575 HAS SOUS 485730 HAS SOUPS 485730 WITH SCORE 486509.575
AT ITER 273 NEW BEST:: SOT 1180055 SOS 780325 HAS SOPS 780325 HAS SOUS 485684 HAS SOUPS 485684 WITH SCORE 486464.325
AT ITER 280 NEW BEST:: SOT 1179833 SOS 779299 HAS SOPS 779299 HAS SOUS 485123 HAS SOUPS 485123 WITH SCORE 485902.299
AT ITER 282 NEW BEST:: SOT 1179047 SOS 778505 HAS SOPS 778505 HAS SOUS 484329 HAS SOUPS 484329 WITH SCORE 485107.505
AT ITER 283 NEW BEST:: SOT 1178477 SOS 777935 HAS SOPS 777935 HAS SOUS 483759 HAS SOUPS 483759 WITH SCORE 484536.935
AT ITER 285 NEW BEST:: SOT 1177510 SOS 776708 HAS SOPS 776708 HAS SOUS 482159 HAS SOUPS 482159 WITH SCORE 482935.708
AT ITER 292 NEW BEST:: SOT 1177368 SOS 776591 HAS SOPS 776591 HAS SOUS 481610 HAS SOUPS 481610 WITH SCORE 482386.591
AT ITER 293 NEW BEST:: SOT 1177367 SOS 776590 HAS SOPS 776590 HAS SOUS 481608 HAS SOUPS 481608 WITH SCORE 482384.59
AT ITER 299 NEW BEST:: SOT 1176748 SOS 775971 HAS SOPS 775971 HAS SOUS 480987 HAS SOUPS 480987 WITH SCORE 481762.971
AT ITER 301 NEW BEST:: SOT 1176748 SOS 775795 HAS SOPS 775795 HAS SOUS 480779 HAS SOUPS 480779 WITH SCORE 481554.795
AT ITER 306 NEW BEST:: SOT 1176505 SOS 775743 HAS SOPS 775743 HAS SOUS 480776 HAS SOUPS 480776 WITH SCORE 481551.743
AT ITER 318 NEW BEST:: SOT 1176412 SOS 775686 HAS SOPS 775686 HAS SOUS 480761 HAS SOUPS 480761 WITH SCORE 481536.686
AT ITER 323 NEW BEST:: SOT 1176118 SOS 776024 HAS SOPS 776024 HAS SOUS 480309 HAS SOUPS 480309 WITH SCORE 481085.024
AT ITER 335 NEW BEST:: SOT 1175831 SOS 775737 HAS SOPS 775737 HAS SOUS 480022 HAS SOUPS 480022 WITH SCORE 480797.737
AT ITER 337 NEW BEST:: SOT 1175511 SOS 774145 HAS SOPS 774145 HAS SOUS 478631 HAS SOUPS 478631 WITH SCORE 479405.145
AT ITER 339 NEW BEST:: SOT 1175511 SOS 774455 HAS SOPS 774455 HAS SOUS 478629 HAS SOUPS 478629 WITH SCORE 479403.455
AT ITER 340 NEW BEST:: SOT 1175019 SOS 773963 HAS SOPS 773963 HAS SOUS 478588 HAS SOUPS 478588 WITH SCORE 479361.963
AT ITER 342 NEW BEST:: SOT 1170353 SOS 769297 HAS SOPS 769297 HAS SOUS 473922 HAS SOUPS 473922 WITH SCORE 474691.297
AT ITER 344 NEW BEST:: SOT 1167403 SOS 766347 HAS SOPS 766347 HAS SOUS 470972 HAS SOUPS 470972 WITH SCORE 471738.347
AT ITER 356 NEW BEST:: SOT 1167447 SOS 765839 HAS SOPS 765839 HAS SOUS 470323 HAS SOUPS 470323 WITH SCORE 471088.839
AT ITER 361 NEW BEST:: SOT 1167446 SOS 765838 HAS SOPS 765838 HAS SOUS 470322 HAS SOUPS 470322 WITH SCORE 471087.838
AT ITER 364 NEW BEST:: SOT 1167028 SOS 765762 HAS SOPS 765762 HAS SOUS 470322 HAS SOUPS 470322 WITH SCORE 471087.762
AT ITER 367 NEW BEST:: SOT 1165618 SOS 764352 HAS SOPS 764352 HAS SOUS 468911 HAS SOUPS 468911 WITH SCORE 469675.352
AT ITER 370 NEW BEST:: SOT 1165654 SOS 764180 HAS SOPS 764180 HAS SOUS 468786 HAS SOUPS 468786 WITH SCORE 469550.18
AT ITER 377 NEW BEST:: SOT 1165643 SOS 764163 HAS SOPS 764163 HAS SOUS 468768 HAS SOUPS 468768 WITH SCORE 469532.163
AT ITER 378 NEW BEST:: SOT 1164390 SOS 764754 HAS SOPS 764754 HAS SOUS 467976 HAS SOUPS 467976 WITH SCORE 468740.754
AT ITER 381 NEW BEST:: SOT 1164482 SOS 764845 HAS SOPS 764845 HAS SOUS 467969 HAS SOUPS 467969 WITH SCORE 468733.845
AT ITER 383 NEW BEST:: SOT 1164482 SOS 764851 HAS SOPS 764851 HAS SOUS 467968 HAS SOUPS 467968 WITH SCORE 468732.851
AT ITER 385 NEW BEST:: SOT 1164482 SOS 764737 HAS SOPS 764737 HAS SOUS 467961 HAS SOUPS 467961 WITH SCORE 468725.737
AT ITER 388 NEW BEST:: SOT 1165009 SOS 765423 HAS SOPS 765423 HAS SOUS 467904 HAS SOUPS 467904 WITH SCORE 468669.423
AT ITER 389 NEW BEST:: SOT 1165009 SOS 765420 HAS SOPS 765420 HAS SOUS 467903 HAS SOUPS 467903 WITH SCORE 468668.42
AT ITER 405 NEW BEST:: SOT 1164801 SOS 765186 HAS SOPS 765186 HAS SOUS 467875 HAS SOUPS 467875 WITH SCORE 468640.186
AT ITER 406 NEW BEST:: SOT 1164598 SOS 764983 HAS SOPS 764983 HAS SOUS 467671 HAS SOUPS 467671 WITH SCORE 468435.983
AT ITER 408 NEW BEST:: SOT 1164509 SOS 764894 HAS SOPS 764894 HAS SOUS 467555 HAS SOUPS 467555 WITH SCORE 468319.894
AT ITER 409 NEW BEST:: SOT 1164376 SOS 764761 HAS SOPS 764761 HAS SOUS 467555 HAS SOUPS 467555 WITH SCORE 468319.761
AT ITER 415 NEW BEST:: SOT 1164376 SOS 764305 HAS SOPS 764305 HAS SOUS 467099 HAS SOUPS 467099 WITH SCORE 467863.305
AT ITER 416 NEW BEST:: SOT 1154175 SOS 754103 HAS SOPS 754103 HAS SOUS 456897 HAS SOUPS 456897 WITH SCORE 457651.103
AT ITER 432 NEW BEST:: SOT 1153391 SOS 753319 HAS SOPS 753319 HAS SOUS 456479 HAS SOUPS 456479 WITH SCORE 457232.319
AT ITER 437 NEW BEST:: SOT 1153298 SOS 753133 HAS SOPS 753133 HAS SOUS 456292 HAS SOUPS 456292 WITH SCORE 457045.133
AT ITER 446 NEW BEST:: SOT 1152311 SOS 752146 HAS SOPS 752146 HAS SOUS 455305 HAS SOUPS 455305 WITH SCORE 456057.146
AT ITER 449 NEW BEST:: SOT 1148961 SOS 752386 HAS SOPS 752386 HAS SOUS 452545 HAS SOUPS 452545 WITH SCORE 453297.386
AT ITER 455 NEW BEST:: SOT 1148961 SOS 752372 HAS SOPS 752372 HAS SOUS 452531 HAS SOUPS 452531 WITH SCORE 453283.372
AT ITER 457 NEW BEST:: SOT 1148739 SOS 751774 HAS SOPS 751774 HAS SOUS 452323 HAS SOUPS 452323 WITH SCORE 453074.774
AT ITER 459 NEW BEST:: SOT 1148739 SOS 750889 HAS SOPS 750889 HAS SOUS 451438 HAS SOUPS 451438 WITH SCORE 452188.889
AT ITER 469 NEW BEST:: SOT 1148311 SOS 750077 HAS SOPS 750077 HAS SOUS 451436 HAS SOUPS 451436 WITH SCORE 452186.077
AT ITER 480 NEW BEST:: SOT 1148307 SOS 750165 HAS SOPS 750165 HAS SOUS 451434 HAS SOUPS 451434 WITH SCORE 452184.165
AT ITER 483 NEW BEST:: SOT 1148262 SOS 750072 HAS SOPS 750072 HAS SOUS 451341 HAS SOUPS 451341 WITH SCORE 452091.072
AT ITER 486 NEW BEST:: SOT 1147060 SOS 754733 HAS SOPS 754733 HAS SOUS 450142 HAS SOUPS 450142 WITH SCORE 450896.733
AT ITER 503 NEW BEST:: SOT 1147060 SOS 754732 HAS SOPS 754732 HAS SOUS 450140 HAS SOUPS 450140 WITH SCORE 450894.732
AT ITER 510 NEW BEST:: SOT 1147060 SOS 755030 HAS SOPS 755030 HAS SOUS 450137 HAS SOUPS 450137 WITH SCORE 450892.03
AT ITER 514 NEW BEST:: SOT 1147060 SOS 754984 HAS SOPS 754984 HAS SOUS 450135 HAS SOUPS 450135 WITH SCORE 450889.984
AT ITER 515 NEW BEST:: SOT 1147225 SOS 753547 HAS SOPS 753547 HAS SOUS 449596 HAS SOUPS 449596 WITH SCORE 450349.547
AT ITER 516 NEW BEST:: SOT 1146695 SOS 749541 HAS SOPS 749541 HAS SOUS 448393 HAS SOUPS 448393 WITH SCORE 449142.541
AT ITER 518 NEW BEST:: SOT 1146375 SOS 749158 HAS SOPS 749158 HAS SOUS 448393 HAS SOUPS 448393 WITH SCORE 449142.158
AT ITER 526 NEW BEST:: SOT 1146375 SOS 749158 HAS SOPS 749158 HAS SOUS 448332 HAS SOUPS 448332 WITH SCORE 449081.158
AT ITER 530 NEW BEST:: SOT 1146126 SOS 749068 HAS SOPS 749068 HAS SOUS 448242 HAS SOUPS 448242 WITH SCORE 448991.068
AT ITER 531 NEW BEST:: SOT 1145803 SOS 748422 HAS SOPS 748422 HAS SOUS 447575 HAS SOUPS 447575 WITH SCORE 448323.422
AT ITER 534 NEW BEST:: SOT 1145803 SOS 747313 HAS SOPS 747313 HAS SOUS 447574 HAS SOUPS 447574 WITH SCORE 448321.313
AT ITER 544 NEW BEST:: SOT 1145794 SOS 747303 HAS SOPS 747303 HAS SOUS 447564 HAS SOUPS 447564 WITH SCORE 448311.303
AT ITER 548 NEW BEST:: SOT 1145793 SOS 747302 HAS SOPS 747302 HAS SOUS 447557 HAS SOUPS 447557 WITH SCORE 448304.302
AT ITER 563 NEW BEST:: SOT 1145791 SOS 747300 HAS SOPS 747300 HAS SOUS 447555 HAS SOUPS 447555 WITH SCORE 448302.3
AT ITER 581 NEW BEST:: SOT 1144607 SOS 746116 HAS SOPS 746116 HAS SOUS 446369 HAS SOUPS 446369 WITH SCORE 447115.116
AT ITER 589 NEW BEST:: SOT 1143704 SOS 745213 HAS SOPS 745213 HAS SOUS 445466 HAS SOUPS 445466 WITH SCORE 446211.213
AT ITER 592 NEW BEST:: SOT 1143703 SOS 745212 HAS SOPS 745212 HAS SOUS 445464 HAS SOUPS 445464 WITH SCORE 446209.212
AT ITER 602 NEW BEST:: SOT 1143528 SOS 745037 HAS SOPS 745037 HAS SOUS 445289 HAS SOUPS 445289 WITH SCORE 446034.037
AT ITER 607 NEW BEST:: SOT 1143528 SOS 744442 HAS SOPS 744442 HAS SOUS 445289 HAS SOUPS 445289 WITH SCORE 446033.442
AT ITER 614 NEW BEST:: SOT 1143528 SOS 742849 HAS SOPS 742849 HAS SOUS 445011 HAS SOUPS 445011 WITH SCORE 445753.849
AT ITER 618 NEW BEST:: SOT 1138243 SOS 737876 HAS SOPS 737876 HAS SOUS 439804 HAS SOUPS 439804 WITH SCORE 440541.876
AT ITER 619 NEW BEST:: SOT 1138219 SOS 737852 HAS SOPS 737852 HAS SOUS 439803 HAS SOUPS 439803 WITH SCORE 440540.852
AT ITER 627 NEW BEST:: SOT 1138219 SOS 737816 HAS SOPS 737816 HAS SOUS 439799 HAS SOUPS 439799 WITH SCORE 440536.816
AT ITER 630 NEW BEST:: SOT 1138007 SOS 737531 HAS SOPS 737531 HAS SOUS 439358 HAS SOUPS 439358 WITH SCORE 440095.531
AT ITER 657 NEW BEST:: SOT 1137402 SOS 739115 HAS SOPS 739115 HAS SOUS 437854 HAS SOUPS 437854 WITH SCORE 438593.115
AT ITER 662 NEW BEST:: SOT 1137304 SOS 739017 HAS SOPS 739017 HAS SOUS 437812 HAS SOUPS 437812 WITH SCORE 438551.017
AT ITER 673 NEW BEST:: SOT 1137167 SOS 738880 HAS SOPS 738880 HAS SOUS 437810 HAS SOUPS 437810 WITH SCORE 438548.88
AT ITER 683 NEW BEST:: SOT 1136753 SOS 738048 HAS SOPS 738048 HAS SOUS 436978 HAS SOUPS 436978 WITH SCORE 437716.048
AT ITER 688 NEW BEST:: SOT 1136692 SOS 737621 HAS SOPS 737621 HAS SOUS 436856 HAS SOUPS 436856 WITH SCORE 437593.621
AT ITER 693 NEW BEST:: SOT 1135078 SOS 735775 HAS SOPS 735775 HAS SOUS 434915 HAS SOUPS 434915 WITH SCORE 435650.775
AT ITER 697 NEW BEST:: SOT 1135084 SOS 735688 HAS SOPS 735688 HAS SOUS 434836 HAS SOUPS 434836 WITH SCORE 435571.688
AT ITER 699 NEW BEST:: SOT 1134975 SOS 734620 HAS SOPS 734620 HAS SOUS 434618 HAS SOUPS 434618 WITH SCORE 435352.62
AT ITER 701 NEW BEST:: SOT 1134484 SOS 734129 HAS SOPS 734129 HAS SOUS 434127 HAS SOUPS 434127 WITH SCORE 434861.129
AT ITER 702 NEW BEST:: SOT 1134484 SOS 734057 HAS SOPS 734057 HAS SOUS 434103 HAS SOUPS 434103 WITH SCORE 434837.057
AT ITER 706 NEW BEST:: SOT 1134539 SOS 733921 HAS SOPS 733921 HAS SOUS 433941 HAS SOUPS 433941 WITH SCORE 434674.921
AT ITER 708 NEW BEST:: SOT 1134508 SOS 733890 HAS SOPS 733890 HAS SOUS 433809 HAS SOUPS 433809 WITH SCORE 434542.89
AT ITER 714 NEW BEST:: SOT 1134487 SOS 732943 HAS SOPS 732943 HAS SOUS 433362 HAS SOUPS 433362 WITH SCORE 434094.943
AT ITER 715 NEW BEST:: SOT 1134487 SOS 734029 HAS SOPS 734029 HAS SOUS 433283 HAS SOUPS 433283 WITH SCORE 434017.029
AT ITER 732 NEW BEST:: SOT 1134242 SOS 733294 HAS SOPS 733294 HAS SOUS 432548 HAS SOUPS 432548 WITH SCORE 433281.294
AT ITER 741 NEW BEST:: SOT 1134241 SOS 733151 HAS SOPS 733151 HAS SOUS 432546 HAS SOUPS 432546 WITH SCORE 433279.151
AT ITER 744 NEW BEST:: SOT 1133839 SOS 732247 HAS SOPS 732247 HAS SOUS 431642 HAS SOUPS 431642 WITH SCORE 432374.247
AT ITER 745 NEW BEST:: SOT 1133769 SOS 732177 HAS SOPS 732177 HAS SOUS 431572 HAS SOUPS 431572 WITH SCORE 432304.177
AT ITER 752 NEW BEST:: SOT 1133358 SOS 731176 HAS SOPS 731176 HAS SOUS 430643 HAS SOUPS 430643 WITH SCORE 431374.176
AT ITER 754 NEW BEST:: SOT 1133216 SOS 731034 HAS SOPS 731034 HAS SOUS 430643 HAS SOUPS 430643 WITH SCORE 431374.034
AT ITER 755 NEW BEST:: SOT 1133204 SOS 731010 HAS SOPS 731010 HAS SOUS 430619 HAS SOUPS 430619 WITH SCORE 431350.01
AT ITER 760 NEW BEST:: SOT 1131726 SOS 729068 HAS SOPS 729068 HAS SOUS 428544 HAS SOUPS 428544 WITH SCORE 429273.068
AT ITER 771 NEW BEST:: SOT 1131199 SOS 728541 HAS SOPS 728541 HAS SOUS 428505 HAS SOUPS 428505 WITH SCORE 429233.541
AT ITER 780 NEW BEST:: SOT 1130894 SOS 727931 HAS SOPS 727931 HAS SOUS 427895 HAS SOUPS 427895 WITH SCORE 428622.931
AT ITER 782 NEW BEST:: SOT 1130586 SOS 727623 HAS SOPS 727623 HAS SOUS 427587 HAS SOUPS 427587 WITH SCORE 428314.623
AT ITER 797 NEW BEST:: SOT 1130494 SOS 727531 HAS SOPS 727531 HAS SOUS 427495 HAS SOUPS 427495 WITH SCORE 428222.531
AT ITER 801 NEW BEST:: SOT 1130459 SOS 727461 HAS SOPS 727461 HAS SOUS 427425 HAS SOUPS 427425 WITH SCORE 428152.461
AT ITER 802 NEW BEST:: SOT 1130459 SOS 727461 HAS SOPS 727461 HAS SOUS 427424 HAS SOUPS 427424 WITH SCORE 428151.461
AT ITER 812 NEW BEST:: SOT 1130431 SOS 726646 HAS SOPS 726646 HAS SOUS 427263 HAS SOUPS 427263 WITH SCORE 427989.646
AT ITER 827 NEW BEST:: SOT 1130431 SOS 726535 HAS SOPS 726535 HAS SOUS 427152 HAS SOUPS 427152 WITH SCORE 427878.535
AT ITER 828 NEW BEST:: SOT 1129926 SOS 726029 HAS SOPS 726029 HAS SOUS 426919 HAS SOUPS 426919 WITH SCORE 427645.029
AT ITER 832 NEW BEST:: SOT 1129711 SOS 725814 HAS SOPS 725814 HAS SOUS 426704 HAS SOUPS 426704 WITH SCORE 427429.814
AT ITER 839 NEW BEST:: SOT 1129711 SOS 725342 HAS SOPS 725342 HAS SOUS 426703 HAS SOUPS 426703 WITH SCORE 427428.342
AT ITER 842 NEW BEST:: SOT 1129628 SOS 725259 HAS SOPS 725259 HAS SOUS 426575 HAS SOUPS 426575 WITH SCORE 427300.259
AT ITER 858 NEW BEST:: SOT 1129628 SOS 725229 HAS SOPS 725229 HAS SOUS 426463 HAS SOUPS 426463 WITH SCORE 427188.229
AT ITER 861 NEW BEST:: SOT 1128930 SOS 725053 HAS SOPS 725053 HAS SOUS 425678 HAS SOUPS 425678 WITH SCORE 426403.053
AT ITER 874 NEW BEST:: SOT 1128953 SOS 724447 HAS SOPS 724447 HAS SOUS 425072 HAS SOUPS 425072 WITH SCORE 425796.447
AT ITER 879 NEW BEST:: SOT 1127007 SOS 723609 HAS SOPS 723609 HAS SOUS 423269 HAS SOUPS 423269 WITH SCORE 423992.609
AT ITER 889 NEW BEST:: SOT 1126599 SOS 723200 HAS SOPS 723200 HAS SOUS 423093 HAS SOUPS 423093 WITH SCORE 423816.2
AT ITER 897 NEW BEST:: SOT 1126581 SOS 723175 HAS SOPS 723175 HAS SOUS 423075 HAS SOUPS 423075 WITH SCORE 423798.175
AT ITER 908 NEW BEST:: SOT 1126505 SOS 723099 HAS SOPS 723099 HAS SOUS 422863 HAS SOUPS 422863 WITH SCORE 423586.099
AT ITER 911 NEW BEST:: SOT 1126442 SOS 722974 HAS SOPS 722974 HAS SOUS 422799 HAS SOUPS 422799 WITH SCORE 423521.974
AT ITER 912 NEW BEST:: SOT 1126442 SOS 722697 HAS SOPS 722697 HAS SOUS 422296 HAS SOUPS 422296 WITH SCORE 423018.697
AT ITER 916 NEW BEST:: SOT 1126442 SOS 722653 HAS SOPS 722653 HAS SOUS 422164 HAS SOUPS 422164 WITH SCORE 422886.653
AT ITER 921 NEW BEST:: SOT 1125947 SOS 722158 HAS SOPS 722158 HAS SOUS 421663 HAS SOUPS 421663 WITH SCORE 422385.158
AT ITER 924 NEW BEST:: SOT 1125629 SOS 721635 HAS SOPS 721635 HAS SOUS 421027 HAS SOUPS 421027 WITH SCORE 421748.635
AT ITER 932 NEW BEST:: SOT 1127241 SOS 723249 HAS SOPS 723249 HAS SOUS 420750 HAS SOUPS 420750 WITH SCORE 421473.249
AT ITER 933 NEW BEST:: SOT 1127179 SOS 723187 HAS SOPS 723187 HAS SOUS 420688 HAS SOUPS 420688 WITH SCORE 421411.187
AT ITER 936 NEW BEST:: SOT 1127179 SOS 723187 HAS SOPS 723187 HAS SOUS 420450 HAS SOUPS 420450 WITH SCORE 421173.187
AT ITER 946 NEW BEST:: SOT 1126619 SOS 722627 HAS SOPS 722627 HAS SOUS 420327 HAS SOUPS 420327 WITH SCORE 421049.627
AT ITER 958 NEW BEST:: SOT 1126619 SOS 722514 HAS SOPS 722514 HAS SOUS 420284 HAS SOUPS 420284 WITH SCORE 421006.514
AT ITER 965 NEW BEST:: SOT 1126619 SOS 722940 HAS SOPS 722940 HAS SOUS 420283 HAS SOUPS 420283 WITH SCORE 421005.94
AT ITER 968 NEW BEST:: SOT 1126353 SOS 721990 HAS SOPS 721990 HAS SOUS 419751 HAS SOUPS 419751 WITH SCORE 420472.99
AT ITER 977 NEW BEST:: SOT 1126353 SOS 721990 HAS SOPS 721990 HAS SOUS 419737 HAS SOUPS 419737 WITH SCORE 420458.99
AT ITER 979 NEW BEST:: SOT 1125875 SOS 718983 HAS SOPS 718983 HAS SOUS 418704 HAS SOUPS 418704 WITH SCORE 419422.983
AT ITER 988 NEW BEST:: SOT 1125805 SOS 718913 HAS SOPS 718913 HAS SOUS 418664 HAS SOUPS 418664 WITH SCORE 419382.913
AT ITER 991 NEW BEST:: SOT 1125792 SOS 719198 HAS SOPS 719198 HAS SOUS 418620 HAS SOUPS 418620 WITH SCORE 419339.198
AT ITER 997 NEW BEST:: SOT 1125395 SOS 718184 HAS SOPS 718184 HAS SOUS 417068 HAS SOUPS 417068 WITH SCORE 417786.184
AT ITER 1003 NEW BEST:: SOT 1125641 SOS 717003 HAS SOPS 717003 HAS SOUS 417049 HAS SOUPS 417049 WITH SCORE 417766.003
AT ITER 1012 NEW BEST:: SOT 1125532 SOS 716894 HAS SOPS 716894 HAS SOUS 416917 HAS SOUPS 416917 WITH SCORE 417633.894
AT ITER 1020 NEW BEST:: SOT 1125532 SOS 716796 HAS SOPS 716796 HAS SOUS 416917 HAS SOUPS 416917 WITH SCORE 417633.796
AT ITER 1025 NEW BEST:: SOT 1125514 SOS 716778 HAS SOPS 716778 HAS SOUS 416899 HAS SOUPS 416899 WITH SCORE 417615.778
AT ITER 1037 NEW BEST:: SOT 1125595 SOS 716686 HAS SOPS 716686 HAS SOUS 416807 HAS SOUPS 416807 WITH SCORE 417523.686
AT ITER 1050 NEW BEST:: SOT 1125595 SOS 716491 HAS SOPS 716491 HAS SOUS 416738 HAS SOUPS 416738 WITH SCORE 417454.491
AT ITER 1055 NEW BEST:: SOT 1126227 SOS 717123 HAS SOPS 717123 HAS SOUS 416610 HAS SOUPS 416610 WITH SCORE 417327.123
AT ITER 1057 NEW BEST:: SOT 1125768 SOS 716367 HAS SOPS 716367 HAS SOUS 415942 HAS SOUPS 415942 WITH SCORE 416658.367
AT ITER 1071 NEW BEST:: SOT 1122519 SOS 714221 HAS SOPS 714221 HAS SOUS 412830 HAS SOUPS 412830 WITH SCORE 413544.221
AT ITER 1075 NEW BEST:: SOT 1121458 SOS 715384 HAS SOPS 715384 HAS SOUS 412047 HAS SOUPS 412047 WITH SCORE 412762.384
AT ITER 1079 NEW BEST:: SOT 1121149 SOS 715212 HAS SOPS 715212 HAS SOUS 411959 HAS SOUPS 411959 WITH SCORE 412674.212
AT ITER 1080 NEW BEST:: SOT 1121149 SOS 715149 HAS SOPS 715149 HAS SOUS 411896 HAS SOUPS 411896 WITH SCORE 412611.149
AT ITER 1093 NEW BEST:: SOT 1121149 SOS 715139 HAS SOPS 715139 HAS SOUS 411890 HAS SOUPS 411890 WITH SCORE 412605.139
AT ITER 1101 NEW BEST:: SOT 1121271 SOS 715167 HAS SOPS 715167 HAS SOUS 411810 HAS SOUPS 411810 WITH SCORE 412525.167
AT ITER 1116 NEW BEST:: SOT 1118449 SOS 712889 HAS SOPS 712889 HAS SOUS 409079 HAS SOUPS 409079 WITH SCORE 409791.889
AT ITER 1122 NEW BEST:: SOT 1118146 SOS 712586 HAS SOPS 712586 HAS SOUS 409038 HAS SOUPS 409038 WITH SCORE 409750.586
AT ITER 1129 NEW BEST:: SOT 1117977 SOS 712417 HAS SOPS 712417 HAS SOUS 409036 HAS SOUPS 409036 WITH SCORE 409748.417
AT ITER 1153 NEW BEST:: SOT 1117977 SOS 712417 HAS SOPS 712417 HAS SOUS 409008 HAS SOUPS 409008 WITH SCORE 409720.417
AT ITER 1159 NEW BEST:: SOT 1118103 SOS 711150 HAS SOPS 711150 HAS SOUS 408984 HAS SOUPS 408984 WITH SCORE 409695.15
AT ITER 1160 NEW BEST:: SOT 1118265 SOS 711918 HAS SOPS 711918 HAS SOUS 408472 HAS SOUPS 408472 WITH SCORE 409183.918
AT ITER 1161 NEW BEST:: SOT 1118265 SOS 711396 HAS SOPS 711396 HAS SOUS 408467 HAS SOUPS 408467 WITH SCORE 409178.396
AT ITER 1163 NEW BEST:: SOT 1118265 SOS 711584 HAS SOPS 711584 HAS SOUS 408420 HAS SOUPS 408420 WITH SCORE 409131.584
AT ITER 1166 NEW BEST:: SOT 1116412 SOS 709731 HAS SOPS 709731 HAS SOUS 406567 HAS SOUPS 406567 WITH SCORE 407276.731
AT ITER 1169 NEW BEST:: SOT 1116194 SOS 709513 HAS SOPS 709513 HAS SOUS 406397 HAS SOUPS 406397 WITH SCORE 407106.513
AT ITER 1172 NEW BEST:: SOT 1115482 SOS 710875 HAS SOPS 710875 HAS SOUS 406370 HAS SOUPS 406370 WITH SCORE 407080.875
AT ITER 1182 NEW BEST:: SOT 1115439 SOS 710570 HAS SOPS 710570 HAS SOUS 406211 HAS SOUPS 406211 WITH SCORE 406921.57
AT ITER 1192 NEW BEST:: SOT 1115427 SOS 710558 HAS SOPS 710558 HAS SOUS 406199 HAS SOUPS 406199 WITH SCORE 406909.558
AT ITER 1197 NEW BEST:: SOT 1115040 SOS 710366 HAS SOPS 710366 HAS SOUS 405812 HAS SOUPS 405812 WITH SCORE 406522.366
AT ITER 1201 NEW BEST:: SOT 1114776 SOS 710102 HAS SOPS 710102 HAS SOUS 405607 HAS SOUPS 405607 WITH SCORE 406317.102
AT ITER 1208 NEW BEST:: SOT 1114719 SOS 710045 HAS SOPS 710045 HAS SOUS 405550 HAS SOUPS 405550 WITH SCORE 406260.045
AT ITER 1222 NEW BEST:: SOT 1114719 SOS 710256 HAS SOPS 710256 HAS SOUS 405156 HAS SOUPS 405156 WITH SCORE 405866.256
AT ITER 1224 NEW BEST:: SOT 1114868 SOS 709028 HAS SOPS 709028 HAS SOUS 405156 HAS SOUPS 405156 WITH SCORE 405865.028
AT ITER 1228 NEW BEST:: SOT 1114073 SOS 708081 HAS SOPS 708081 HAS SOUS 404930 HAS SOUPS 404930 WITH SCORE 405638.081
AT ITER 1233 NEW BEST:: SOT 1114065 SOS 707735 HAS SOPS 707735 HAS SOUS 404605 HAS SOUPS 404605 WITH SCORE 405312.735
AT ITER 1243 NEW BEST:: SOT 1114025 SOS 707655 HAS SOPS 707655 HAS SOUS 404485 HAS SOUPS 404485 WITH SCORE 405192.655
AT ITER 1248 NEW BEST:: SOT 1113576 SOS 707205 HAS SOPS 707205 HAS SOUS 404035 HAS SOUPS 404035 WITH SCORE 404742.205
AT ITER 1259 NEW BEST:: SOT 1113576 SOS 706841 HAS SOPS 706841 HAS SOUS 403671 HAS SOUPS 403671 WITH SCORE 404377.841
AT ITER 1261 NEW BEST:: SOT 1113071 SOS 706335 HAS SOPS 706335 HAS SOUS 403165 HAS SOUPS 403165 WITH SCORE 403871.335
AT ITER 1264 NEW BEST:: SOT 1112905 SOS 706003 HAS SOPS 706003 HAS SOUS 402833 HAS SOUPS 402833 WITH SCORE 403539.003
AT ITER 1269 NEW BEST:: SOT 1112691 SOS 705748 HAS SOPS 705748 HAS SOUS 402580 HAS SOUPS 402580 WITH SCORE 403285.748
AT ITER 1278 NEW BEST:: SOT 1112247 SOS 705304 HAS SOPS 705304 HAS SOUS 402136 HAS SOUPS 402136 WITH SCORE 402841.304
AT ITER 1280 NEW BEST:: SOT 1111617 SOS 704915 HAS SOPS 704915 HAS SOUS 402023 HAS SOUPS 402023 WITH SCORE 402727.915
AT ITER 1283 NEW BEST:: SOT 1110984 SOS 704282 HAS SOPS 704282 HAS SOUS 401447 HAS SOUPS 401447 WITH SCORE 402151.282
AT ITER 1287 NEW BEST:: SOT 1110496 SOS 703748 HAS SOPS 703748 HAS SOUS 401139 HAS SOUPS 401139 WITH SCORE 401842.748
AT ITER 1290 NEW BEST:: SOT 1110488 SOS 703613 HAS SOPS 703613 HAS SOUS 401004 HAS SOUPS 401004 WITH SCORE 401707.613
AT ITER 1293 NEW BEST:: SOT 1110488 SOS 704027 HAS SOPS 704027 HAS SOUS 400934 HAS SOUPS 400934 WITH SCORE 401638.027
AT ITER 1298 NEW BEST:: SOT 1111090 SOS 704047 HAS SOPS 704047 HAS SOUS 400917 HAS SOUPS 400917 WITH SCORE 401621.047
AT ITER 1301 NEW BEST:: SOT 1110637 SOS 703609 HAS SOPS 703609 HAS SOUS 400479 HAS SOUPS 400479 WITH SCORE 401182.609
AT ITER 1311 NEW BEST:: SOT 1110555 SOS 703527 HAS SOPS 703527 HAS SOUS 400397 HAS SOUPS 400397 WITH SCORE 401100.527
AT ITER 1312 NEW BEST:: SOT 1110535 SOS 703485 HAS SOPS 703485 HAS SOUS 400277 HAS SOUPS 400277 WITH SCORE 400980.485
AT ITER 1315 NEW BEST:: SOT 1110295 SOS 703245 HAS SOPS 703245 HAS SOUS 400037 HAS SOUPS 400037 WITH SCORE 400740.245
AT ITER 1338 NEW BEST:: SOT 1110065 SOS 701336 HAS SOPS 701336 HAS SOUS 399605 HAS SOUPS 399605 WITH SCORE 400306.336
AT ITER 1340 NEW BEST:: SOT 1110060 SOS 701331 HAS SOPS 701331 HAS SOUS 399593 HAS SOUPS 399593 WITH SCORE 400294.331
AT ITER 1342 NEW BEST:: SOT 1108931 SOS 700202 HAS SOPS 700202 HAS SOUS 398126 HAS SOUPS 398126 WITH SCORE 398826.202
AT ITER 1344 NEW BEST:: SOT 1108170 SOS 699518 HAS SOPS 699518 HAS SOUS 397442 HAS SOUPS 397442 WITH SCORE 398141.518
AT ITER 1356 NEW BEST:: SOT 1108170 SOS 699231 HAS SOPS 699231 HAS SOUS 397373 HAS SOUPS 397373 WITH SCORE 398072.231
AT ITER 1360 NEW BEST:: SOT 1107806 SOS 699271 HAS SOPS 699271 HAS SOUS 396435 HAS SOUPS 396435 WITH SCORE 397134.271
AT ITER 1374 NEW BEST:: SOT 1107750 SOS 699215 HAS SOPS 699215 HAS SOUS 396377 HAS SOUPS 396377 WITH SCORE 397076.215
AT ITER 1398 NEW BEST:: SOT 1107869 SOS 698820 HAS SOPS 698820 HAS SOUS 395982 HAS SOUPS 395982 WITH SCORE 396680.82
AT ITER 1404 NEW BEST:: SOT 1107869 SOS 698892 HAS SOPS 698892 HAS SOUS 395962 HAS SOUPS 395962 WITH SCORE 396660.892
AT ITER 1408 NEW BEST:: SOT 1107815 SOS 698825 HAS SOPS 698825 HAS SOUS 395895 HAS SOUPS 395895 WITH SCORE 396593.825
AT ITER 1415 NEW BEST:: SOT 1107806 SOS 698419 HAS SOPS 698419 HAS SOUS 395828 HAS SOUPS 395828 WITH SCORE 396526.419
AT ITER 1421 NEW BEST:: SOT 1107256 SOS 697796 HAS SOPS 697796 HAS SOUS 395754 HAS SOUPS 395754 WITH SCORE 396451.796
AT ITER 1424 NEW BEST:: SOT 1107278 SOS 697603 HAS SOPS 697603 HAS SOUS 395561 HAS SOUPS 395561 WITH SCORE 396258.603
AT ITER 1428 NEW BEST:: SOT 1100661 SOS 690986 HAS SOPS 690986 HAS SOUS 388896 HAS SOUPS 388896 WITH SCORE 389586.986
AT ITER 1432 NEW BEST:: SOT 1100589 SOS 690914 HAS SOPS 690914 HAS SOUS 388736 HAS SOUPS 388736 WITH SCORE 389426.914
AT ITER 1435 NEW BEST:: SOT 1100522 SOS 690780 HAS SOPS 690780 HAS SOUS 388602 HAS SOUPS 388602 WITH SCORE 389292.78
AT ITER 1437 NEW BEST:: SOT 1100491 SOS 690749 HAS SOPS 690749 HAS SOUS 388571 HAS SOUPS 388571 WITH SCORE 389261.749
AT ITER 1438 NEW BEST:: SOT 1100420 SOS 690678 HAS SOPS 690678 HAS SOUS 388557 HAS SOUPS 388557 WITH SCORE 389247.678
AT ITER 1439 NEW BEST:: SOT 1100535 SOS 690443 HAS SOPS 690443 HAS SOUS 388462 HAS SOUPS 388462 WITH SCORE 389152.443
AT ITER 1457 NEW BEST:: SOT 1100254 SOS 689843 HAS SOPS 689843 HAS SOUS 388291 HAS SOUPS 388291 WITH SCORE 388980.843
AT ITER 1458 NEW BEST:: SOT 1100004 SOS 689593 HAS SOPS 689593 HAS SOUS 388041 HAS SOUPS 388041 WITH SCORE 388730.593
AT ITER 1464 NEW BEST:: SOT 1099988 SOS 689520 HAS SOPS 689520 HAS SOUS 387968 HAS SOUPS 387968 WITH SCORE 388657.52
AT ITER 1470 NEW BEST:: SOT 1100018 SOS 688840 HAS SOPS 688840 HAS SOUS 387464 HAS SOUPS 387464 WITH SCORE 388152.84
AT ITER 1484 NEW BEST:: SOT 1099561 SOS 688383 HAS SOPS 688383 HAS SOUS 387007 HAS SOUPS 387007 WITH SCORE 387695.383
AT ITER 1489 NEW BEST:: SOT 1098917 SOS 689277 HAS SOPS 689277 HAS SOUS 386559 HAS SOUPS 386559 WITH SCORE 387248.277
AT ITER 1492 NEW BEST:: SOT 1098799 SOS 688923 HAS SOPS 688923 HAS SOUS 386323 HAS SOUPS 386323 WITH SCORE 387011.923
AT ITER 1501 NEW BEST:: SOT 1099018 SOS 688599 HAS SOPS 688599 HAS SOUS 386278 HAS SOUPS 386278 WITH SCORE 386966.599
AT ITER 1513 NEW BEST:: SOT 1099572 SOS 689100 HAS SOPS 689100 HAS SOUS 386220 HAS SOUPS 386220 WITH SCORE 386909.1
AT ITER 1529 NEW BEST:: SOT 1099323 SOS 688602 HAS SOPS 688602 HAS SOUS 385500 HAS SOUPS 385500 WITH SCORE 386188.602
AT ITER 1555 NEW BEST:: SOT 1099307 SOS 688586 HAS SOPS 688586 HAS SOUS 385484 HAS SOUPS 385484 WITH SCORE 386172.586
AT ITER 1557 NEW BEST:: SOT 1099427 SOS 688809 HAS SOPS 688809 HAS SOUS 385270 HAS SOUPS 385270 WITH SCORE 385958.809
AT ITER 1558 NEW BEST:: SOT 1099518 SOS 688961 HAS SOPS 688961 HAS SOUS 385216 HAS SOUPS 385216 WITH SCORE 385904.961
AT ITER 1561 NEW BEST:: SOT 1099457 SOS 687988 HAS SOPS 687988 HAS SOUS 385117 HAS SOUPS 385117 WITH SCORE 385804.988
AT ITER 1565 NEW BEST:: SOT 1092356 SOS 685140 HAS SOPS 685140 HAS SOUS 377395 HAS SOUPS 377395 WITH SCORE 378080.14
AT ITER 1588 NEW BEST:: SOT 1091476 SOS 684281 HAS SOPS 684281 HAS SOUS 376523 HAS SOUPS 376523 WITH SCORE 377207.281
AT ITER 1603 NEW BEST:: SOT 1091476 SOS 685541 HAS SOPS 685541 HAS SOUS 376433 HAS SOUPS 376433 WITH SCORE 377118.541
AT ITER 1619 NEW BEST:: SOT 1091418 SOS 685483 HAS SOPS 685483 HAS SOUS 376365 HAS SOUPS 376365 WITH SCORE 377050.483
AT ITER 1646 NEW BEST:: SOT 1091823 SOS 685450 HAS SOPS 685450 HAS SOUS 376332 HAS SOUPS 376332 WITH SCORE 377017.45
AT ITER 1657 NEW BEST:: SOT 1091622 SOS 679553 HAS SOPS 679553 HAS SOUS 375782 HAS SOUPS 375782 WITH SCORE 376461.553
AT ITER 1658 NEW BEST:: SOT 1091622 SOS 679523 HAS SOPS 679523 HAS SOUS 375761 HAS SOUPS 375761 WITH SCORE 376440.523
AT ITER 1665 NEW BEST:: SOT 1091975 SOS 679552 HAS SOPS 679552 HAS SOUS 375309 HAS SOUPS 375309 WITH SCORE 375988.552
AT ITER 1672 NEW BEST:: SOT 1090963 SOS 678540 HAS SOPS 678540 HAS SOUS 374441 HAS SOUPS 374441 WITH SCORE 375119.54
AT ITER 1673 NEW BEST:: SOT 1090811 SOS 678385 HAS SOPS 678385 HAS SOUS 374286 HAS SOUPS 374286 WITH SCORE 374964.385
AT ITER 1677 NEW BEST:: SOT 1090805 SOS 678361 HAS SOPS 678361 HAS SOUS 374256 HAS SOUPS 374256 WITH SCORE 374934.361
AT ITER 1682 NEW BEST:: SOT 1091707 SOS 678957 HAS SOPS 678957 HAS SOUS 373952 HAS SOUPS 373952 WITH SCORE 374630.957
AT ITER 1683 NEW BEST:: SOT 1091557 SOS 678807 HAS SOPS 678807 HAS SOUS 373802 HAS SOUPS 373802 WITH SCORE 374480.807
AT ITER 1686 NEW BEST:: SOT 1090855 SOS 680269 HAS SOPS 680269 HAS SOUS 373257 HAS SOUPS 373257 WITH SCORE 373937.269
AT ITER 1692 NEW BEST:: SOT 1090516 SOS 679871 HAS SOPS 679871 HAS SOUS 373137 HAS SOUPS 373137 WITH SCORE 373816.871
AT ITER 1704 NEW BEST:: SOT 1090521 SOS 679866 HAS SOPS 679866 HAS SOUS 373005 HAS SOUPS 373005 WITH SCORE 373684.866
AT ITER 1731 NEW BEST:: SOT 1090502 SOS 678997 HAS SOPS 678997 HAS SOUS 372136 HAS SOUPS 372136 WITH SCORE 372814.997
AT ITER 1733 NEW BEST:: SOT 1089657 SOS 678210 HAS SOPS 678210 HAS SOUS 371918 HAS SOUPS 371918 WITH SCORE 372596.21
AT ITER 1750 NEW BEST:: SOT 1089981 SOS 679954 HAS SOPS 679954 HAS SOUS 371270 HAS SOUPS 371270 WITH SCORE 371949.954
AT ITER 1751 NEW BEST:: SOT 1089961 SOS 679934 HAS SOPS 679934 HAS SOUS 371250 HAS SOUPS 371250 WITH SCORE 371929.934
AT ITER 1754 NEW BEST:: SOT 1089955 SOS 679928 HAS SOPS 679928 HAS SOUS 371244 HAS SOUPS 371244 WITH SCORE 371923.928
AT ITER 1757 NEW BEST:: SOT 1090129 SOS 680067 HAS SOPS 680067 HAS SOUS 371236 HAS SOUPS 371236 WITH SCORE 371916.067
AT ITER 1768 NEW BEST:: SOT 1090129 SOS 679242 HAS SOPS 679242 HAS SOUS 370607 HAS SOUPS 370607 WITH SCORE 371286.242
AT ITER 1769 NEW BEST:: SOT 1090296 SOS 679177 HAS SOPS 679177 HAS SOUS 370424 HAS SOUPS 370424 WITH SCORE 371103.177
AT ITER 1775 NEW BEST:: SOT 1090295 SOS 678792 HAS SOPS 678792 HAS SOUS 370414 HAS SOUPS 370414 WITH SCORE 371092.792
AT ITER 1784 NEW BEST:: SOT 1089911 SOS 678677 HAS SOPS 678677 HAS SOUS 370068 HAS SOUPS 370068 WITH SCORE 370746.677
AT ITER 1804 NEW BEST:: SOT 1088155 SOS 676921 HAS SOPS 676921 HAS SOUS 368312 HAS SOUPS 368312 WITH SCORE 368988.921
AT ITER 1807 NEW BEST:: SOT 1088045 SOS 676834 HAS SOPS 676834 HAS SOUS 368202 HAS SOUPS 368202 WITH SCORE 368878.834
AT ITER 1825 NEW BEST:: SOT 1087980 SOS 676639 HAS SOPS 676639 HAS SOUS 368062 HAS SOUPS 368062 WITH SCORE 368738.639
AT ITER 1841 NEW BEST:: SOT 1087980 SOS 676513 HAS SOPS 676513 HAS SOUS 367936 HAS SOUPS 367936 WITH SCORE 368612.513
AT ITER 1842 NEW BEST:: SOT 1087668 SOS 675889 HAS SOPS 675889 HAS SOUS 367312 HAS SOUPS 367312 WITH SCORE 367987.889
AT ITER 1845 NEW BEST:: SOT 1087557 SOS 675778 HAS SOPS 675778 HAS SOUS 367201 HAS SOUPS 367201 WITH SCORE 367876.778
AT ITER 1849 NEW BEST:: SOT 1087522 SOS 675708 HAS SOPS 675708 HAS SOUS 367095 HAS SOUPS 367095 WITH SCORE 367770.708
AT ITER 1850 NEW BEST:: SOT 1087520 SOS 675706 HAS SOPS 675706 HAS SOUS 367093 HAS SOUPS 367093 WITH SCORE 367768.706
AT ITER 1852 NEW BEST:: SOT 1087520 SOS 675678 HAS SOPS 675678 HAS SOUS 367065 HAS SOUPS 367065 WITH SCORE 367740.678
AT ITER 1853 NEW BEST:: SOT 1087520 SOS 675671 HAS SOPS 675671 HAS SOUS 367058 HAS SOUPS 367058 WITH SCORE 367733.671
AT ITER 1857 NEW BEST:: SOT 1087106 SOS 675658 HAS SOPS 675658 HAS SOUS 367045 HAS SOUPS 367045 WITH SCORE 367720.658
AT ITER 1867 NEW BEST:: SOT 1087106 SOS 674433 HAS SOPS 674433 HAS SOUS 367045 HAS SOUPS 367045 WITH SCORE 367719.433
AT ITER 1869 NEW BEST:: SOT 1087226 SOS 674196 HAS SOPS 674196 HAS SOUS 366808 HAS SOUPS 366808 WITH SCORE 367482.196
AT ITER 1871 NEW BEST:: SOT 1087226 SOS 673672 HAS SOPS 673672 HAS SOUS 366696 HAS SOUPS 366696 WITH SCORE 367369.672
AT ITER 1900 NEW BEST:: SOT 1087226 SOS 673711 HAS SOPS 673711 HAS SOUS 366695 HAS SOUPS 366695 WITH SCORE 367368.711
AT ITER 1914 NEW BEST:: SOT 1086315 SOS 674528 HAS SOPS 674528 HAS SOUS 365658 HAS SOUPS 365658 WITH SCORE 366332.528
AT ITER 1918 NEW BEST:: SOT 1086315 SOS 674520 HAS SOPS 674520 HAS SOUS 365657 HAS SOUPS 365657 WITH SCORE 366331.52
AT ITER 1925 NEW BEST:: SOT 1086315 SOS 674520 HAS SOPS 674520 HAS SOUS 365655 HAS SOUPS 365655 WITH SCORE 366329.52
AT ITER 1930 NEW BEST:: SOT 1086042 SOS 673055 HAS SOPS 673055 HAS SOUS 365530 HAS SOUPS 365530 WITH SCORE 366203.055
AT ITER 1950 NEW BEST:: SOT 1086064 SOS 672999 HAS SOPS 672999 HAS SOUS 365029 HAS SOUPS 365029 WITH SCORE 365701.999
AT ITER 1958 NEW BEST:: SOT 1086064 SOS 672923 HAS SOPS 672923 HAS SOUS 364991 HAS SOUPS 364991 WITH SCORE 365663.923
AT ITER 1960 NEW BEST:: SOT 1085796 SOS 672655 HAS SOPS 672655 HAS SOUS 364723 HAS SOUPS 364723 WITH SCORE 365395.655
AT ITER 1987 NEW BEST:: SOT 1085657 SOS 672516 HAS SOPS 672516 HAS SOUS 364584 HAS SOUPS 364584 WITH SCORE 365256.516
AT ITER 2036 NEW BEST:: SOT 1085482 SOS 672341 HAS SOPS 672341 HAS SOUS 364199 HAS SOUPS 364199 WITH SCORE 364871.341
AT ITER 2041 NEW BEST:: SOT 1085465 SOS 671048 HAS SOPS 671048 HAS SOUS 363863 HAS SOUPS 363863 WITH SCORE 364534.048
AT ITER 2049 NEW BEST:: SOT 1085395 SOS 670943 HAS SOPS 670943 HAS SOUS 363758 HAS SOUPS 363758 WITH SCORE 364428.943
AT ITER 2066 NEW BEST:: SOT 1085334 SOS 671051 HAS SOPS 671051 HAS SOUS 363666 HAS SOUPS 363666 WITH SCORE 364337.051
AT ITER 2068 NEW BEST:: SOT 1082907 SOS 668480 HAS SOPS 668480 HAS SOUS 363267 HAS SOUPS 363267 WITH SCORE 363935.48
AT ITER 2069 NEW BEST:: SOT 1078460 SOS 664033 HAS SOPS 664033 HAS SOUS 358819 HAS SOUPS 358819 WITH SCORE 359483.033
AT ITER 2073 NEW BEST:: SOT 1078450 SOS 664032 HAS SOPS 664032 HAS SOUS 358818 HAS SOUPS 358818 WITH SCORE 359482.032
AT ITER 2086 NEW BEST:: SOT 1078282 SOS 663742 HAS SOPS 663742 HAS SOUS 358528 HAS SOUPS 358528 WITH SCORE 359191.742
AT ITER 2090 NEW BEST:: SOT 1078281 SOS 663741 HAS SOPS 663741 HAS SOUS 358526 HAS SOUPS 358526 WITH SCORE 359189.741
AT ITER 2099 NEW BEST:: SOT 1078239 SOS 663699 HAS SOPS 663699 HAS SOUS 358488 HAS SOUPS 358488 WITH SCORE 359151.699
AT ITER 2103 NEW BEST:: SOT 1078161 SOS 662979 HAS SOPS 662979 HAS SOUS 358270 HAS SOUPS 358270 WITH SCORE 358932.979
AT ITER 2104 NEW BEST:: SOT 1076757 SOS 661566 HAS SOPS 661566 HAS SOUS 356857 HAS SOUPS 356857 WITH SCORE 357518.566
AT ITER 2106 NEW BEST:: SOT 1076697 SOS 661011 HAS SOPS 661011 HAS SOUS 356423 HAS SOUPS 356423 WITH SCORE 357084.011
AT ITER 2111 NEW BEST:: SOT 1076443 SOS 661549 HAS SOPS 661549 HAS SOUS 356070 HAS SOUPS 356070 WITH SCORE 356731.549
AT ITER 2116 NEW BEST:: SOT 1076382 SOS 661427 HAS SOPS 661427 HAS SOUS 355776 HAS SOUPS 355776 WITH SCORE 356437.427
AT ITER 2126 NEW BEST:: SOT 1076382 SOS 661407 HAS SOPS 661407 HAS SOUS 355776 HAS SOUPS 355776 WITH SCORE 356437.407
AT ITER 2143 NEW BEST:: SOT 1075954 SOS 660496 HAS SOPS 660496 HAS SOUS 355370 HAS SOUPS 355370 WITH SCORE 356030.496
AT ITER 2152 NEW BEST:: SOT 1075962 SOS 660876 HAS SOPS 660876 HAS SOUS 355200 HAS SOUPS 355200 WITH SCORE 355860.876
AT ITER 2160 NEW BEST:: SOT 1075962 SOS 660854 HAS SOPS 660854 HAS SOUS 355200 HAS SOUPS 355200 WITH SCORE 355860.854
AT ITER 2161 NEW BEST:: SOT 1075648 SOS 660540 HAS SOPS 660540 HAS SOUS 354886 HAS SOUPS 354886 WITH SCORE 355546.54
AT ITER 2163 NEW BEST:: SOT 1074780 SOS 658804 HAS SOPS 658804 HAS SOUS 353824 HAS SOUPS 353824 WITH SCORE 354482.804
AT ITER 2166 NEW BEST:: SOT 1074337 SOS 660062 HAS SOPS 660062 HAS SOUS 353697 HAS SOUPS 353697 WITH SCORE 354357.062
AT ITER 2172 NEW BEST:: SOT 1074322 SOS 659587 HAS SOPS 659587 HAS SOUS 353584 HAS SOUPS 353584 WITH SCORE 354243.587
AT ITER 2180 NEW BEST:: SOT 1074305 SOS 659876 HAS SOPS 659876 HAS SOUS 353550 HAS SOUPS 353550 WITH SCORE 354209.876
AT ITER 2185 NEW BEST:: SOT 1074138 SOS 659607 HAS SOPS 659607 HAS SOUS 353259 HAS SOUPS 353259 WITH SCORE 353918.607
AT ITER 2196 NEW BEST:: SOT 1074208 SOS 659506 HAS SOPS 659506 HAS SOUS 353158 HAS SOUPS 353158 WITH SCORE 353817.506
AT ITER 2199 NEW BEST:: SOT 1074208 SOS 659462 HAS SOPS 659462 HAS SOUS 353114 HAS SOUPS 353114 WITH SCORE 353773.462
AT ITER 2221 NEW BEST:: SOT 1074042 SOS 659296 HAS SOPS 659296 HAS SOUS 352936 HAS SOUPS 352936 WITH SCORE 353595.296
AT ITER 2229 NEW BEST:: SOT 1071811 SOS 657065 HAS SOPS 657065 HAS SOUS 350705 HAS SOUPS 350705 WITH SCORE 351362.065
AT ITER 2247 NEW BEST:: SOT 1071983 SOS 656624 HAS SOPS 656624 HAS SOUS 350652 HAS SOUPS 350652 WITH SCORE 351308.624
AT ITER 2248 NEW BEST:: SOT 1071693 SOS 656327 HAS SOPS 656327 HAS SOUS 350355 HAS SOUPS 350355 WITH SCORE 351011.327
AT ITER 2251 NEW BEST:: SOT 1071360 SOS 654465 HAS SOPS 654465 HAS SOUS 350015 HAS SOUPS 350015 WITH SCORE 350669.465
AT ITER 2253 NEW BEST:: SOT 1071297 SOS 654153 HAS SOPS 654153 HAS SOUS 349864 HAS SOUPS 349864 WITH SCORE 350518.153
AT ITER 2254 NEW BEST:: SOT 1069723 SOS 652579 HAS SOPS 652579 HAS SOUS 347630 HAS SOUPS 347630 WITH SCORE 348282.579
AT ITER 2266 NEW BEST:: SOT 1069719 SOS 651894 HAS SOPS 651894 HAS SOUS 347408 HAS SOUPS 347408 WITH SCORE 348059.894
AT ITER 2274 NEW BEST:: SOT 1069704 SOS 651879 HAS SOPS 651879 HAS SOUS 347389 HAS SOUPS 347389 WITH SCORE 348040.879
AT ITER 2276 NEW BEST:: SOT 1069611 SOS 651270 HAS SOPS 651270 HAS SOUS 347200 HAS SOUPS 347200 WITH SCORE 347851.27
AT ITER 2277 NEW BEST:: SOT 1069572 SOS 651231 HAS SOPS 651231 HAS SOUS 347200 HAS SOUPS 347200 WITH SCORE 347851.231
AT ITER 2279 NEW BEST:: SOT 1069572 SOS 651120 HAS SOPS 651120 HAS SOUS 347047 HAS SOUPS 347047 WITH SCORE 347698.12
AT ITER 2281 NEW BEST:: SOT 1069572 SOS 651354 HAS SOPS 651354 HAS SOUS 347029 HAS SOUPS 347029 WITH SCORE 347680.354
AT ITER 2286 NEW BEST:: SOT 1069572 SOS 651342 HAS SOPS 651342 HAS SOUS 347017 HAS SOUPS 347017 WITH SCORE 347668.342
AT ITER 2287 NEW BEST:: SOT 1069572 SOS 650783 HAS SOPS 650783 HAS SOUS 346309 HAS SOUPS 346309 WITH SCORE 346959.783
AT ITER 2290 NEW BEST:: SOT 1069448 SOS 650661 HAS SOPS 650661 HAS SOUS 346241 HAS SOUPS 346241 WITH SCORE 346891.661
AT ITER 2297 NEW BEST:: SOT 1069346 SOS 650183 HAS SOPS 650183 HAS SOUS 345987 HAS SOUPS 345987 WITH SCORE 346637.183
AT ITER 2305 NEW BEST:: SOT 1069296 SOS 650083 HAS SOPS 650083 HAS SOUS 345887 HAS SOUPS 345887 WITH SCORE 346537.083
AT ITER 2347 NEW BEST:: SOT 1069264 SOS 649904 HAS SOPS 649904 HAS SOUS 345798 HAS SOUPS 345798 WITH SCORE 346447.904
AT ITER 2356 NEW BEST:: SOT 1069118 SOS 649850 HAS SOPS 649850 HAS SOUS 345744 HAS SOUPS 345744 WITH SCORE 346393.85
AT ITER 2363 NEW BEST:: SOT 1069075 SOS 649506 HAS SOPS 649506 HAS SOUS 345701 HAS SOUPS 345701 WITH SCORE 346350.506
AT ITER 2375 NEW BEST:: SOT 1068658 SOS 649182 HAS SOPS 649182 HAS SOUS 345377 HAS SOUPS 345377 WITH SCORE 346026.182
AT ITER 2379 NEW BEST:: SOT 1064674 SOS 646708 HAS SOPS 646708 HAS SOUS 341783 HAS SOUPS 341783 WITH SCORE 342429.708
AT ITER 2382 NEW BEST:: SOT 1064612 SOS 646492 HAS SOPS 646492 HAS SOUS 341720 HAS SOUPS 341720 WITH SCORE 342366.492
AT ITER 2385 NEW BEST:: SOT 1064595 SOS 646475 HAS SOPS 646475 HAS SOUS 341703 HAS SOUPS 341703 WITH SCORE 342349.475
AT ITER 2388 NEW BEST:: SOT 1064521 SOS 646401 HAS SOPS 646401 HAS SOUS 341629 HAS SOUPS 341629 WITH SCORE 342275.401
AT ITER 2390 NEW BEST:: SOT 1064501 SOS 646381 HAS SOPS 646381 HAS SOUS 341609 HAS SOUPS 341609 WITH SCORE 342255.381
AT ITER 2391 NEW BEST:: SOT 1063319 SOS 644284 HAS SOPS 644284 HAS SOUS 341265 HAS SOUPS 341265 WITH SCORE 341909.284
AT ITER 2395 NEW BEST:: SOT 1063297 SOS 644262 HAS SOPS 644262 HAS SOUS 341237 HAS SOUPS 341237 WITH SCORE 341881.262
AT ITER 2418 NEW BEST:: SOT 1063297 SOS 644136 HAS SOPS 644136 HAS SOUS 341111 HAS SOUPS 341111 WITH SCORE 341755.136
AT ITER 2423 NEW BEST:: SOT 1063132 SOS 643960 HAS SOPS 643960 HAS SOUS 340850 HAS SOUPS 340850 WITH SCORE 341493.96
AT ITER 2438 NEW BEST:: SOT 1063340 SOS 643796 HAS SOPS 643796 HAS SOUS 340662 HAS SOUPS 340662 WITH SCORE 341305.796
AT ITER 2440 NEW BEST:: SOT 1063171 SOS 643627 HAS SOPS 643627 HAS SOUS 340493 HAS SOUPS 340493 WITH SCORE 341136.627
AT ITER 2445 NEW BEST:: SOT 1062928 SOS 643233 HAS SOPS 643233 HAS SOUS 340364 HAS SOUPS 340364 WITH SCORE 341007.233
AT ITER 2448 NEW BEST:: SOT 1062895 SOS 643200 HAS SOPS 643200 HAS SOUS 340313 HAS SOUPS 340313 WITH SCORE 340956.2
AT ITER 2461 NEW BEST:: SOT 1062647 SOS 642680 HAS SOPS 642680 HAS SOUS 339809 HAS SOUPS 339809 WITH SCORE 340451.68
AT ITER 2471 NEW BEST:: SOT 1062608 SOS 642602 HAS SOPS 642602 HAS SOUS 339731 HAS SOUPS 339731 WITH SCORE 340373.602
AT ITER 2485 NEW BEST:: SOT 1062608 SOS 642602 HAS SOPS 642602 HAS SOUS 339727 HAS SOUPS 339727 WITH SCORE 340369.602
AT ITER 2493 NEW BEST:: SOT 1062608 SOS 640944 HAS SOPS 640944 HAS SOUS 339674 HAS SOUPS 339674 WITH SCORE 340314.944
AT ITER 2507 NEW BEST:: SOT 1062608 SOS 640710 HAS SOPS 640710 HAS SOUS 339440 HAS SOUPS 339440 WITH SCORE 340080.71
AT ITER 2526 NEW BEST:: SOT 1062483 SOS 639596 HAS SOPS 639596 HAS SOUS 339021 HAS SOUPS 339021 WITH SCORE 339660.596
AT ITER 2527 NEW BEST:: SOT 1062456 SOS 639515 HAS SOPS 639515 HAS SOUS 338955 HAS SOUPS 338955 WITH SCORE 339594.515
AT ITER 2532 NEW BEST:: SOT 1061838 SOS 638189 HAS SOPS 638189 HAS SOUS 338046 HAS SOUPS 338046 WITH SCORE 338684.189
AT ITER 2535 NEW BEST:: SOT 1056947 SOS 633298 HAS SOPS 633298 HAS SOUS 333155 HAS SOUPS 333155 WITH SCORE 333788.298
AT ITER 2548 NEW BEST:: SOT 1056824 SOS 633175 HAS SOPS 633175 HAS SOUS 333155 HAS SOUPS 333155 WITH SCORE 333788.175
AT ITER 2561 NEW BEST:: SOT 1056824 SOS 633203 HAS SOPS 633203 HAS SOUS 333065 HAS SOUPS 333065 WITH SCORE 333698.203
AT ITER 2572 NEW BEST:: SOT 1056482 SOS 632770 HAS SOPS 632770 HAS SOUS 332632 HAS SOUPS 332632 WITH SCORE 333264.77
AT ITER 2579 NEW BEST:: SOT 1056451 SOS 632615 HAS SOPS 632615 HAS SOUS 332539 HAS SOUPS 332539 WITH SCORE 333171.615
AT ITER 2584 NEW BEST:: SOT 1056427 SOS 632601 HAS SOPS 632601 HAS SOUS 332521 HAS SOUPS 332521 WITH SCORE 333153.601
AT ITER 2591 NEW BEST:: SOT 1056108 SOS 631525 HAS SOPS 631525 HAS SOUS 331840 HAS SOUPS 331840 WITH SCORE 332471.525
AT ITER 2601 NEW BEST:: SOT 1056043 SOS 631525 HAS SOPS 631525 HAS SOUS 331775 HAS SOUPS 331775 WITH SCORE 332406.525
AT ITER 2603 NEW BEST:: SOT 1056042 SOS 631524 HAS SOPS 631524 HAS SOUS 331771 HAS SOUPS 331771 WITH SCORE 332402.524
AT ITER 2606 NEW BEST:: SOT 1056028 SOS 631496 HAS SOPS 631496 HAS SOUS 331742 HAS SOUPS 331742 WITH SCORE 332373.496
AT ITER 2618 NEW BEST:: SOT 1055020 SOS 631358 HAS SOPS 631358 HAS SOUS 331004 HAS SOUPS 331004 WITH SCORE 331635.358
AT ITER 2627 NEW BEST:: SOT 1054939 SOS 631271 HAS SOPS 631271 HAS SOUS 330917 HAS SOUPS 330917 WITH SCORE 331548.271
AT ITER 2628 NEW BEST:: SOT 1054502 SOS 631322 HAS SOPS 631322 HAS SOUS 330550 HAS SOUPS 330550 WITH SCORE 331181.322
AT ITER 2649 NEW BEST:: SOT 1052520 SOS 629340 HAS SOPS 629340 HAS SOUS 328568 HAS SOUPS 328568 WITH SCORE 329197.34
AT ITER 2669 NEW BEST:: SOT 1052309 SOS 629137 HAS SOPS 629137 HAS SOUS 328365 HAS SOUPS 328365 WITH SCORE 328994.137
AT ITER 2698 NEW BEST:: SOT 1052371 SOS 629199 HAS SOPS 629199 HAS SOUS 328362 HAS SOUPS 328362 WITH SCORE 328991.199
AT ITER 2699 NEW BEST:: SOT 1052359 SOS 629163 HAS SOPS 629163 HAS SOUS 328338 HAS SOUPS 328338 WITH SCORE 328967.163
AT ITER 2704 NEW BEST:: SOT 1052359 SOS 628971 HAS SOPS 628971 HAS SOUS 328132 HAS SOUPS 328132 WITH SCORE 328760.971
AT ITER 2707 NEW BEST:: SOT 1051237 SOS 628152 HAS SOPS 628152 HAS SOUS 327164 HAS SOUPS 327164 WITH SCORE 327792.152
AT ITER 2723 NEW BEST:: SOT 1051194 SOS 628023 HAS SOPS 628023 HAS SOUS 327078 HAS SOUPS 327078 WITH SCORE 327706.023
AT ITER 2725 NEW BEST:: SOT 1050392 SOS 627221 HAS SOPS 627221 HAS SOUS 326269 HAS SOUPS 326269 WITH SCORE 326896.221
AT ITER 2739 NEW BEST:: SOT 1050196 SOS 627025 HAS SOPS 627025 HAS SOUS 326073 HAS SOUPS 326073 WITH SCORE 326700.025
AT ITER 2744 NEW BEST:: SOT 1050196 SOS 627145 HAS SOPS 627145 HAS SOUS 326067 HAS SOUPS 326067 WITH SCORE 326694.145
AT ITER 2779 NEW BEST:: SOT 1050196 SOS 626645 HAS SOPS 626645 HAS SOUS 326058 HAS SOUPS 326058 WITH SCORE 326684.645
AT ITER 2780 NEW BEST:: SOT 1050196 SOS 626413 HAS SOPS 626413 HAS SOUS 326058 HAS SOUPS 326058 WITH SCORE 326684.413
AT ITER 2788 NEW BEST:: SOT 1050121 SOS 626263 HAS SOPS 626263 HAS SOUS 325908 HAS SOUPS 325908 WITH SCORE 326534.263
AT ITER 2789 NEW BEST:: SOT 1050121 SOS 627320 HAS SOPS 627320 HAS SOUS 325903 HAS SOUPS 325903 WITH SCORE 326530.32
AT ITER 2793 NEW BEST:: SOT 1050093 SOS 627292 HAS SOPS 627292 HAS SOUS 325903 HAS SOUPS 325903 WITH SCORE 326530.292
AT ITER 2806 NEW BEST:: SOT 1050066 SOS 627265 HAS SOPS 627265 HAS SOUS 325866 HAS SOUPS 325866 WITH SCORE 326493.265
AT ITER 2810 NEW BEST:: SOT 1050065 SOS 627264 HAS SOPS 627264 HAS SOUS 325864 HAS SOUPS 325864 WITH SCORE 326491.264
AT ITER 2848 NEW BEST:: SOT 1049973 SOS 627066 HAS SOPS 627066 HAS SOUS 325688 HAS SOUPS 325688 WITH SCORE 326315.066
AT ITER 2853 NEW BEST:: SOT 1049575 SOS 626668 HAS SOPS 626668 HAS SOUS 324892 HAS SOUPS 324892 WITH SCORE 325518.668
AT ITER 2882 NEW BEST:: SOT 1049575 SOS 626188 HAS SOPS 626188 HAS SOUS 324891 HAS SOUPS 324891 WITH SCORE 325517.188
AT ITER 2902 NEW BEST:: SOT 1049435 SOS 626065 HAS SOPS 626065 HAS SOUS 324628 HAS SOUPS 324628 WITH SCORE 325254.065
AT ITER 2906 NEW BEST:: SOT 1049420 SOS 626035 HAS SOPS 626035 HAS SOUS 324598 HAS SOUPS 324598 WITH SCORE 325224.035
AT ITER 2907 NEW BEST:: SOT 1049420 SOS 624025 HAS SOPS 624025 HAS SOUS 324597 HAS SOUPS 324597 WITH SCORE 325221.025
AT ITER 2916 NEW BEST:: SOT 1049404 SOS 624192 HAS SOPS 624192 HAS SOUS 324565 HAS SOUPS 324565 WITH SCORE 325189.192
AT ITER 2918 NEW BEST:: SOT 1049318 SOS 624106 HAS SOPS 624106 HAS SOUS 324472 HAS SOUPS 324472 WITH SCORE 325096.106
AT ITER 2927 NEW BEST:: SOT 1048709 SOS 623497 HAS SOPS 623497 HAS SOUS 323671 HAS SOUPS 323671 WITH SCORE 324294.497
AT ITER 2946 NEW BEST:: SOT 1048744 SOS 623647 HAS SOPS 623647 HAS SOUS 323584 HAS SOUPS 323584 WITH SCORE 324207.647
AT ITER 2949 NEW BEST:: SOT 1048735 SOS 623614 HAS SOPS 623614 HAS SOUS 323539 HAS SOUPS 323539 WITH SCORE 324162.614
AT ITER 2953 NEW BEST:: SOT 1048593 SOS 622996 HAS SOPS 622996 HAS SOUS 323506 HAS SOUPS 323506 WITH SCORE 324128.996
AT ITER 2956 NEW BEST:: SOT 1048419 SOS 622840 HAS SOPS 622840 HAS SOUS 323348 HAS SOUPS 323348 WITH SCORE 323970.84
AT ITER 2967 NEW BEST:: SOT 1044577 SOS 620175 HAS SOPS 620175 HAS SOUS 319779 HAS SOUPS 319779 WITH SCORE 320399.175
AT ITER 2980 NEW BEST:: SOT 1044041 SOS 619259 HAS SOPS 619259 HAS SOUS 318975 HAS SOUPS 318975 WITH SCORE 319594.259
AT ITER 2983 NEW BEST:: SOT 1044285 SOS 618886 HAS SOPS 618886 HAS SOUS 318878 HAS SOUPS 318878 WITH SCORE 319496.886
AT ITER 2995 NEW BEST:: SOT 1044147 SOS 618748 HAS SOPS 618748 HAS SOUS 318740 HAS SOUPS 318740 WITH SCORE 319358.748
AT ITER 3033 NEW BEST:: SOT 1044114 SOS 618301 HAS SOPS 618301 HAS SOUS 318707 HAS SOUPS 318707 WITH SCORE 319325.301
AT ITER 3039 NEW BEST:: SOT 1044045 SOS 618372 HAS SOPS 618372 HAS SOUS 318638 HAS SOUPS 318638 WITH SCORE 319256.372
AT ITER 3046 NEW BEST:: SOT 1044045 SOS 617912 HAS SOPS 617912 HAS SOUS 318638 HAS SOUPS 318638 WITH SCORE 319255.912
AT ITER 3059 NEW BEST:: SOT 1043939 SOS 617612 HAS SOPS 617612 HAS SOUS 318445 HAS SOUPS 318445 WITH SCORE 319062.612
AT ITER 3061 NEW BEST:: SOT 1043939 SOS 617408 HAS SOPS 617408 HAS SOUS 318445 HAS SOUPS 318445 WITH SCORE 319062.408
AT ITER 3071 NEW BEST:: SOT 1043882 SOS 617323 HAS SOPS 617323 HAS SOUS 318360 HAS SOUPS 318360 WITH SCORE 318977.323
AT ITER 3085 NEW BEST:: SOT 1044798 SOS 617006 HAS SOPS 617006 HAS SOUS 318043 HAS SOUPS 318043 WITH SCORE 318660.006
AT ITER 3087 NEW BEST:: SOT 1044792 SOS 616994 HAS SOPS 616994 HAS SOUS 318035 HAS SOUPS 318035 WITH SCORE 318651.994
AT ITER 3100 NEW BEST:: SOT 1044792 SOS 616687 HAS SOPS 616687 HAS SOUS 318035 HAS SOUPS 318035 WITH SCORE 318651.687
AT ITER 3101 NEW BEST:: SOT 1044524 SOS 616840 HAS SOPS 616840 HAS SOUS 317876 HAS SOUPS 317876 WITH SCORE 318492.84
AT ITER 3104 NEW BEST:: SOT 1044520 SOS 616832 HAS SOPS 616832 HAS SOUS 317868 HAS SOUPS 317868 WITH SCORE 318484.832
AT ITER 3116 NEW BEST:: SOT 1044513 SOS 616818 HAS SOPS 616818 HAS SOUS 317854 HAS SOUPS 317854 WITH SCORE 318470.818
AT ITER 3121 NEW BEST:: SOT 1044501 SOS 616806 HAS SOPS 616806 HAS SOUS 317842 HAS SOUPS 317842 WITH SCORE 318458.806
AT ITER 3137 NEW BEST:: SOT 1044516 SOS 614940 HAS SOPS 614940 HAS SOUS 317631 HAS SOUPS 317631 WITH SCORE 318245.94
AT ITER 3140 NEW BEST:: SOT 1044509 SOS 614933 HAS SOPS 614933 HAS SOUS 317624 HAS SOUPS 317624 WITH SCORE 318238.933
AT ITER 3145 NEW BEST:: SOT 1044326 SOS 614891 HAS SOPS 614891 HAS SOUS 317518 HAS SOUPS 317518 WITH SCORE 318132.891
AT ITER 3151 NEW BEST:: SOT 1044319 SOS 614815 HAS SOPS 614815 HAS SOUS 317473 HAS SOUPS 317473 WITH SCORE 318087.815
AT ITER 3164 NEW BEST:: SOT 1044241 SOS 614809 HAS SOPS 614809 HAS SOUS 317380 HAS SOUPS 317380 WITH SCORE 317994.809
AT ITER 3187 NEW BEST:: SOT 1043881 SOS 614449 HAS SOPS 614449 HAS SOUS 317020 HAS SOUPS 317020 WITH SCORE 317634.449
AT ITER 3192 NEW BEST:: SOT 1043140 SOS 613741 HAS SOPS 613741 HAS SOUS 316403 HAS SOUPS 316403 WITH SCORE 317016.741
AT ITER 3200 NEW BEST:: SOT 1042752 SOS 613259 HAS SOPS 613259 HAS SOUS 315921 HAS SOUPS 315921 WITH SCORE 316534.259
AT ITER 3205 NEW BEST:: SOT 1042752 SOS 613259 HAS SOPS 613259 HAS SOUS 315817 HAS SOUPS 315817 WITH SCORE 316430.259
AT ITER 3221 NEW BEST:: SOT 1042752 SOS 613204 HAS SOPS 613204 HAS SOUS 315815 HAS SOUPS 315815 WITH SCORE 316428.204
AT ITER 3222 NEW BEST:: SOT 1042817 SOS 613140 HAS SOPS 613140 HAS SOUS 315750 HAS SOUPS 315750 WITH SCORE 316363.14
AT ITER 3225 NEW BEST:: SOT 1042813 SOS 613140 HAS SOPS 613140 HAS SOUS 315746 HAS SOUPS 315746 WITH SCORE 316359.14
AT ITER 3241 NEW BEST:: SOT 1042496 SOS 613584 HAS SOPS 613584 HAS SOUS 315580 HAS SOUPS 315580 WITH SCORE 316193.584
AT ITER 3250 NEW BEST:: SOT 1042374 SOS 613456 HAS SOPS 613456 HAS SOUS 315451 HAS SOUPS 315451 WITH SCORE 316064.456
AT ITER 3265 NEW BEST:: SOT 1040772 SOS 615364 HAS SOPS 615364 HAS SOUS 314194 HAS SOUPS 314194 WITH SCORE 314809.364
AT ITER 3269 NEW BEST:: SOT 1040772 SOS 615365 HAS SOPS 615365 HAS SOUS 314192 HAS SOUPS 314192 WITH SCORE 314807.365
AT ITER 3272 NEW BEST:: SOT 1040680 SOS 615366 HAS SOPS 615366 HAS SOUS 314158 HAS SOUPS 314158 WITH SCORE 314773.366
AT ITER 3276 NEW BEST:: SOT 1040680 SOS 615355 HAS SOPS 615355 HAS SOUS 314158 HAS SOUPS 314158 WITH SCORE 314773.355
AT ITER 3278 NEW BEST:: SOT 1040680 SOS 615400 HAS SOPS 615400 HAS SOUS 314079 HAS SOUPS 314079 WITH SCORE 314694.4
AT ITER 3279 NEW BEST:: SOT 1040644 SOS 615664 HAS SOPS 615664 HAS SOUS 313967 HAS SOUPS 313967 WITH SCORE 314582.664
AT ITER 3284 NEW BEST:: SOT 1040212 SOS 615226 HAS SOPS 615226 HAS SOUS 313316 HAS SOUPS 313316 WITH SCORE 313931.226
AT ITER 3287 NEW BEST:: SOT 1040163 SOS 615030 HAS SOPS 615030 HAS SOUS 312869 HAS SOUPS 312869 WITH SCORE 313484.03
AT ITER 3297 NEW BEST:: SOT 1040163 SOS 615194 HAS SOPS 615194 HAS SOUS 312841 HAS SOUPS 312841 WITH SCORE 313456.194
AT ITER 3305 NEW BEST:: SOT 1040116 SOS 615025 HAS SOPS 615025 HAS SOUS 312823 HAS SOUPS 312823 WITH SCORE 313438.025
AT ITER 3314 NEW BEST:: SOT 1040212 SOS 615365 HAS SOPS 615365 HAS SOUS 312177 HAS SOUPS 312177 WITH SCORE 312792.365
AT ITER 3315 NEW BEST:: SOT 1040187 SOS 615340 HAS SOPS 615340 HAS SOUS 312127 HAS SOUPS 312127 WITH SCORE 312742.34
AT ITER 3344 NEW BEST:: SOT 1040306 SOS 615050 HAS SOPS 615050 HAS SOUS 311861 HAS SOUPS 311861 WITH SCORE 312476.05
AT ITER 3352 NEW BEST:: SOT 1040081 SOS 614606 HAS SOPS 614606 HAS SOUS 311417 HAS SOUPS 311417 WITH SCORE 312031.606
AT ITER 3364 NEW BEST:: SOT 1039947 SOS 614554 HAS SOPS 614554 HAS SOUS 311365 HAS SOUPS 311365 WITH SCORE 311979.554
AT ITER 3365 NEW BEST:: SOT 1039914 SOS 614521 HAS SOPS 614521 HAS SOUS 311332 HAS SOUPS 311332 WITH SCORE 311946.521
AT ITER 3380 NEW BEST:: SOT 1040012 SOS 614319 HAS SOPS 614319 HAS SOUS 311290 HAS SOUPS 311290 WITH SCORE 311904.319
AT ITER 3387 NEW BEST:: SOT 1039803 SOS 613882 HAS SOPS 613882 HAS SOUS 310937 HAS SOUPS 310937 WITH SCORE 311550.882
AT ITER 3406 NEW BEST:: SOT 1039763 SOS 613359 HAS SOPS 613359 HAS SOUS 310638 HAS SOUPS 310638 WITH SCORE 311251.359
AT ITER 3409 NEW BEST:: SOT 1039759 SOS 613352 HAS SOPS 613352 HAS SOUS 310630 HAS SOUPS 310630 WITH SCORE 311243.352
AT ITER 3416 NEW BEST:: SOT 1039599 SOS 612952 HAS SOPS 612952 HAS SOUS 310310 HAS SOUPS 310310 WITH SCORE 310922.952
AT ITER 3418 NEW BEST:: SOT 1039500 SOS 612853 HAS SOPS 612853 HAS SOUS 310079 HAS SOUPS 310079 WITH SCORE 310691.853
AT ITER 3419 NEW BEST:: SOT 1039498 SOS 612753 HAS SOPS 612753 HAS SOUS 310075 HAS SOUPS 310075 WITH SCORE 310687.753
AT ITER 3430 NEW BEST:: SOT 1038110 SOS 611291 HAS SOPS 611291 HAS SOUS 308285 HAS SOUPS 308285 WITH SCORE 308896.291
AT ITER 3433 NEW BEST:: SOT 1037695 SOS 610876 HAS SOPS 610876 HAS SOUS 307870 HAS SOUPS 307870 WITH SCORE 308480.876
AT ITER 3438 NEW BEST:: SOT 1037694 SOS 610829 HAS SOPS 610829 HAS SOUS 307823 HAS SOUPS 307823 WITH SCORE 308433.829
AT ITER 3469 NEW BEST:: SOT 1037437 SOS 609786 HAS SOPS 609786 HAS SOUS 306780 HAS SOUPS 306780 WITH SCORE 307389.786
AT ITER 3516 NEW BEST:: SOT 1037343 SOS 609692 HAS SOPS 609692 HAS SOUS 306686 HAS SOUPS 306686 WITH SCORE 307295.692
AT ITER 3529 NEW BEST:: SOT 1037343 SOS 609654 HAS SOPS 609654 HAS SOUS 306582 HAS SOUPS 306582 WITH SCORE 307191.654
AT ITER 3530 NEW BEST:: SOT 1037319 SOS 609646 HAS SOPS 609646 HAS SOUS 306574 HAS SOUPS 306574 WITH SCORE 307183.646
AT ITER 3549 NEW BEST:: SOT 1036985 SOS 609312 HAS SOPS 609312 HAS SOUS 306240 HAS SOUPS 306240 WITH SCORE 306849.312
AT ITER 3551 NEW BEST:: SOT 1036801 SOS 609118 HAS SOPS 609118 HAS SOUS 306035 HAS SOUPS 306035 WITH SCORE 306644.118
AT ITER 3560 NEW BEST:: SOT 1034855 SOS 607172 HAS SOPS 607172 HAS SOUS 304089 HAS SOUPS 304089 WITH SCORE 304696.172
AT ITER 3586 NEW BEST:: SOT 1034894 SOS 605060 HAS SOPS 605060 HAS SOUS 303763 HAS SOUPS 303763 WITH SCORE 304368.06
AT ITER 3589 NEW BEST:: SOT 1034738 SOS 604748 HAS SOPS 604748 HAS SOUS 303451 HAS SOUPS 303451 WITH SCORE 304055.748
AT ITER 3603 NEW BEST:: SOT 1034738 SOS 604720 HAS SOPS 604720 HAS SOUS 303437 HAS SOUPS 303437 WITH SCORE 304041.72
AT ITER 3604 NEW BEST:: SOT 1034684 SOS 604666 HAS SOPS 604666 HAS SOUS 303381 HAS SOUPS 303381 WITH SCORE 303985.666
AT ITER 3606 NEW BEST:: SOT 1034637 SOS 604314 HAS SOPS 604314 HAS SOUS 303287 HAS SOUPS 303287 WITH SCORE 303891.314
AT ITER 3619 NEW BEST:: SOT 1034581 SOS 604258 HAS SOPS 604258 HAS SOUS 303231 HAS SOUPS 303231 WITH SCORE 303835.258
AT ITER 3636 NEW BEST:: SOT 1034549 SOS 604055 HAS SOPS 604055 HAS SOUS 303018 HAS SOUPS 303018 WITH SCORE 303622.055
AT ITER 3644 NEW BEST:: SOT 1034422 SOS 603761 HAS SOPS 603761 HAS SOUS 302764 HAS SOUPS 302764 WITH SCORE 303367.761
AT ITER 3653 NEW BEST:: SOT 1034360 SOS 603699 HAS SOPS 603699 HAS SOUS 302702 HAS SOUPS 302702 WITH SCORE 303305.699
AT ITER 3664 NEW BEST:: SOT 1033943 SOS 603282 HAS SOPS 603282 HAS SOUS 302285 HAS SOUPS 302285 WITH SCORE 302888.282
AT ITER 3667 NEW BEST:: SOT 1032865 SOS 602159 HAS SOPS 602159 HAS SOUS 301162 HAS SOUPS 301162 WITH SCORE 301764.159
AT ITER 3681 NEW BEST:: SOT 1032862 SOS 602138 HAS SOPS 602138 HAS SOUS 301141 HAS SOUPS 301141 WITH SCORE 301743.138
AT ITER 3684 NEW BEST:: SOT 1032692 SOS 601883 HAS SOPS 601883 HAS SOUS 300886 HAS SOUPS 300886 WITH SCORE 301487.883
AT ITER 3685 NEW BEST:: SOT 1032331 SOS 600627 HAS SOPS 600627 HAS SOUS 299992 HAS SOUPS 299992 WITH SCORE 300592.627
AT ITER 3687 NEW BEST:: SOT 1032502 SOS 600544 HAS SOPS 600544 HAS SOUS 299928 HAS SOUPS 299928 WITH SCORE 300528.544
AT ITER 3699 NEW BEST:: SOT 1032471 SOS 600513 HAS SOPS 600513 HAS SOUS 299897 HAS SOUPS 299897 WITH SCORE 300497.513
AT ITER 3759 NEW BEST:: SOT 1032362 SOS 600404 HAS SOPS 600404 HAS SOUS 299663 HAS SOUPS 299663 WITH SCORE 300263.404
AT ITER 3776 NEW BEST:: SOT 1032438 SOS 600480 HAS SOPS 600480 HAS SOUS 299592 HAS SOUPS 299592 WITH SCORE 300192.48
AT ITER 3778 NEW BEST:: SOT 1032419 SOS 600461 HAS SOPS 600461 HAS SOUS 299573 HAS SOUPS 299573 WITH SCORE 300173.461
AT ITER 3783 NEW BEST:: SOT 1032272 SOS 600193 HAS SOPS 600193 HAS SOUS 299305 HAS SOUPS 299305 WITH SCORE 299905.193
AT ITER 3790 NEW BEST:: SOT 1032298 SOS 600219 HAS SOPS 600219 HAS SOUS 299269 HAS SOUPS 299269 WITH SCORE 299869.219
AT ITER 3800 NEW BEST:: SOT 1032263 SOS 600184 HAS SOPS 600184 HAS SOUS 299234 HAS SOUPS 299234 WITH SCORE 299834.184
AT ITER 3807 NEW BEST:: SOT 1032263 SOS 600116 HAS SOPS 600116 HAS SOUS 299169 HAS SOUPS 299169 WITH SCORE 299769.116
AT ITER 3808 NEW BEST:: SOT 1032126 SOS 599979 HAS SOPS 599979 HAS SOUS 298895 HAS SOUPS 298895 WITH SCORE 299494.979
AT ITER 3818 NEW BEST:: SOT 1032187 SOS 600040 HAS SOPS 600040 HAS SOUS 298648 HAS SOUPS 298648 WITH SCORE 299248.04
AT ITER 3825 NEW BEST:: SOT 1032209 SOS 599974 HAS SOPS 599974 HAS SOUS 298582 HAS SOUPS 298582 WITH SCORE 299181.974
AT ITER 3838 NEW BEST:: SOT 1033417 SOS 600921 HAS SOPS 600921 HAS SOUS 298392 HAS SOUPS 298392 WITH SCORE 298992.921
AT ITER 3851 NEW BEST:: SOT 1032901 SOS 600405 HAS SOPS 600405 HAS SOUS 297876 HAS SOUPS 297876 WITH SCORE 298476.405
AT ITER 3860 NEW BEST:: SOT 1032895 SOS 600399 HAS SOPS 600399 HAS SOUS 297868 HAS SOUPS 297868 WITH SCORE 298468.399
AT ITER 3866 NEW BEST:: SOT 1032870 SOS 600374 HAS SOPS 600374 HAS SOUS 297843 HAS SOUPS 297843 WITH SCORE 298443.374
AT ITER 3882 NEW BEST:: SOT 1032813 SOS 600329 HAS SOPS 600329 HAS SOUS 297838 HAS SOUPS 297838 WITH SCORE 298438.329
AT ITER 3883 NEW BEST:: SOT 1032846 SOS 600199 HAS SOPS 600199 HAS SOUS 297700 HAS SOUPS 297700 WITH SCORE 298300.199
AT ITER 3893 NEW BEST:: SOT 1032846 SOS 600199 HAS SOPS 600199 HAS SOUS 297446 HAS SOUPS 297446 WITH SCORE 298046.199
AT ITER 3901 NEW BEST:: SOT 1032757 SOS 600110 HAS SOPS 600110 HAS SOUS 297400 HAS SOUPS 297400 WITH SCORE 298000.11
AT ITER 3910 NEW BEST:: SOT 1032607 SOS 599670 HAS SOPS 599670 HAS SOUS 296558 HAS SOUPS 296558 WITH SCORE 297157.67
AT ITER 3911 NEW BEST:: SOT 1032516 SOS 598723 HAS SOPS 598723 HAS SOUS 296357 HAS SOUPS 296357 WITH SCORE 296955.723
AT ITER 3918 NEW BEST:: SOT 1032505 SOS 598701 HAS SOPS 598701 HAS SOUS 296335 HAS SOUPS 296335 WITH SCORE 296933.701
AT ITER 3919 NEW BEST:: SOT 1032276 SOS 598472 HAS SOPS 598472 HAS SOUS 296246 HAS SOUPS 296246 WITH SCORE 296844.472
AT ITER 3923 NEW BEST:: SOT 1032242 SOS 597994 HAS SOPS 597994 HAS SOUS 295990 HAS SOUPS 295990 WITH SCORE 296587.994
AT ITER 3929 NEW BEST:: SOT 1032188 SOS 598084 HAS SOPS 598084 HAS SOUS 295982 HAS SOUPS 295982 WITH SCORE 296580.084
AT ITER 3938 NEW BEST:: SOT 1032151 SOS 597821 HAS SOPS 597821 HAS SOUS 295908 HAS SOUPS 295908 WITH SCORE 296505.821
AT ITER 3941 NEW BEST:: SOT 1031673 SOS 596969 HAS SOPS 596969 HAS SOUS 295604 HAS SOUPS 295604 WITH SCORE 296200.969
AT ITER 3942 NEW BEST:: SOT 1031603 SOS 596511 HAS SOPS 596511 HAS SOUS 295561 HAS SOUPS 295561 WITH SCORE 296157.511
AT ITER 3946 NEW BEST:: SOT 1030855 SOS 595763 HAS SOPS 595763 HAS SOUS 294779 HAS SOUPS 294779 WITH SCORE 295374.763
AT ITER 3950 NEW BEST:: SOT 1030772 SOS 595525 HAS SOPS 595525 HAS SOUS 294630 HAS SOUPS 294630 WITH SCORE 295225.525
AT ITER 3954 NEW BEST:: SOT 1030772 SOS 595097 HAS SOPS 595097 HAS SOUS 294615 HAS SOUPS 294615 WITH SCORE 295210.097
AT ITER 3974 NEW BEST:: SOT 1030601 SOS 594675 HAS SOPS 594675 HAS SOUS 293933 HAS SOUPS 293933 WITH SCORE 294527.675
AT ITER 3992 NEW BEST:: SOT 1030600 SOS 594674 HAS SOPS 594674 HAS SOUS 293931 HAS SOUPS 293931 WITH SCORE 294525.674
AT ITER 4004 NEW BEST:: SOT 1030584 SOS 594418 HAS SOPS 594418 HAS SOUS 293915 HAS SOUPS 293915 WITH SCORE 294509.418
AT ITER 4005 NEW BEST:: SOT 1030734 SOS 594732 HAS SOPS 594732 HAS SOUS 293818 HAS SOUPS 293818 WITH SCORE 294412.732
AT ITER 4009 NEW BEST:: SOT 1030611 SOS 594523 HAS SOPS 594523 HAS SOUS 293572 HAS SOUPS 293572 WITH SCORE 294166.523
AT ITER 4011 NEW BEST:: SOT 1030467 SOS 594883 HAS SOPS 594883 HAS SOUS 293500 HAS SOUPS 293500 WITH SCORE 294094.883
AT ITER 4042 NEW BEST:: SOT 1030445 SOS 594839 HAS SOPS 594839 HAS SOUS 293478 HAS SOUPS 293478 WITH SCORE 294072.839
AT ITER 4052 NEW BEST:: SOT 1030431 SOS 594723 HAS SOPS 594723 HAS SOUS 293413 HAS SOUPS 293413 WITH SCORE 294007.723
AT ITER 4075 NEW BEST:: SOT 1030646 SOS 594611 HAS SOPS 594611 HAS SOUS 293301 HAS SOUPS 293301 WITH SCORE 293895.611
AT ITER 4080 NEW BEST:: SOT 1030555 SOS 594392 HAS SOPS 594392 HAS SOUS 293082 HAS SOUPS 293082 WITH SCORE 293676.392
AT ITER 4083 NEW BEST:: SOT 1030932 SOS 593324 HAS SOPS 593324 HAS SOUS 292765 HAS SOUPS 292765 WITH SCORE 293358.324
AT ITER 4093 NEW BEST:: SOT 1031716 SOS 593888 HAS SOPS 593888 HAS SOUS 292669 HAS SOUPS 292669 WITH SCORE 293262.888
AT ITER 4100 NEW BEST:: SOT 1031985 SOS 593727 HAS SOPS 593727 HAS SOUS 292508 HAS SOUPS 292508 WITH SCORE 293101.727
AT ITER 4113 NEW BEST:: SOT 1031985 SOS 593826 HAS SOPS 593826 HAS SOUS 292495 HAS SOUPS 292495 WITH SCORE 293088.826
AT ITER 4116 NEW BEST:: SOT 1031985 SOS 593385 HAS SOPS 593385 HAS SOUS 292428 HAS SOUPS 292428 WITH SCORE 293021.385
AT ITER 4126 NEW BEST:: SOT 1026328 SOS 587509 HAS SOPS 587509 HAS SOUS 286552 HAS SOUPS 286552 WITH SCORE 287139.509
AT ITER 4131 NEW BEST:: SOT 1026294 SOS 587581 HAS SOPS 587581 HAS SOUS 286411 HAS SOUPS 286411 WITH SCORE 286998.581
AT ITER 4144 NEW BEST:: SOT 1026291 SOS 587575 HAS SOPS 587575 HAS SOUS 286405 HAS SOUPS 286405 WITH SCORE 286992.575
AT ITER 4167 NEW BEST:: SOT 1026327 SOS 587447 HAS SOPS 587447 HAS SOUS 286365 HAS SOUPS 286365 WITH SCORE 286952.447
AT ITER 4183 NEW BEST:: SOT 1026272 SOS 587392 HAS SOPS 587392 HAS SOUS 286255 HAS SOUPS 286255 WITH SCORE 286842.392
AT ITER 4193 NEW BEST:: SOT 1026152 SOS 587164 HAS SOPS 587164 HAS SOUS 286027 HAS SOUPS 286027 WITH SCORE 286614.164
AT ITER 4195 NEW BEST:: SOT 1025923 SOS 586898 HAS SOPS 586898 HAS SOUS 285783 HAS SOUPS 285783 WITH SCORE 286369.898
AT ITER 4216 NEW BEST:: SOT 1025865 SOS 586671 HAS SOPS 586671 HAS SOUS 285710 HAS SOUPS 285710 WITH SCORE 286296.671
AT ITER 4241 NEW BEST:: SOT 1025865 SOS 586653 HAS SOPS 586653 HAS SOUS 285710 HAS SOUPS 285710 WITH SCORE 286296.653
AT ITER 4249 NEW BEST:: SOT 1025872 SOS 586644 HAS SOPS 586644 HAS SOUS 285708 HAS SOUPS 285708 WITH SCORE 286294.644
AT ITER 4259 NEW BEST:: SOT 1025631 SOS 586312 HAS SOPS 586312 HAS SOUS 285434 HAS SOUPS 285434 WITH SCORE 286020.312
AT ITER 4296 NEW BEST:: SOT 1025456 SOS 586137 HAS SOPS 586137 HAS SOUS 285251 HAS SOUPS 285251 WITH SCORE 285837.137
AT ITER 4305 NEW BEST:: SOT 1025456 SOS 586065 HAS SOPS 586065 HAS SOUS 285203 HAS SOUPS 285203 WITH SCORE 285789.065
AT ITER 4339 NEW BEST:: SOT 1025446 SOS 586046 HAS SOPS 586046 HAS SOUS 285192 HAS SOUPS 285192 WITH SCORE 285778.046
AT ITER 4346 NEW BEST:: SOT 1025143 SOS 585743 HAS SOPS 585743 HAS SOUS 284877 HAS SOUPS 284877 WITH SCORE 285462.743
AT ITER 4351 NEW BEST:: SOT 1025143 SOS 585751 HAS SOPS 585751 HAS SOUS 284818 HAS SOUPS 284818 WITH SCORE 285403.751
AT ITER 4365 NEW BEST:: SOT 1024931 SOS 584427 HAS SOPS 584427 HAS SOUS 284505 HAS SOUPS 284505 WITH SCORE 285089.427
AT ITER 4380 NEW BEST:: SOT 1024538 SOS 584034 HAS SOPS 584034 HAS SOUS 284112 HAS SOUPS 284112 WITH SCORE 284696.034
AT ITER 4385 NEW BEST:: SOT 1024527 SOS 584034 HAS SOPS 584034 HAS SOUS 284090 HAS SOUPS 284090 WITH SCORE 284674.034
AT ITER 4418 NEW BEST:: SOT 1024340 SOS 583399 HAS SOPS 583399 HAS SOUS 283625 HAS SOUPS 283625 WITH SCORE 284208.399
AT ITER 4456 NEW BEST:: SOT 1024340 SOS 582873 HAS SOPS 582873 HAS SOUS 283361 HAS SOUPS 283361 WITH SCORE 283943.873
AT ITER 4460 NEW BEST:: SOT 1024724 SOS 583393 HAS SOPS 583393 HAS SOUS 283238 HAS SOUPS 283238 WITH SCORE 283821.393
AT ITER 4480 NEW BEST:: SOT 1023948 SOS 582617 HAS SOPS 582617 HAS SOUS 282150 HAS SOUPS 282150 WITH SCORE 282732.617
AT ITER 4481 NEW BEST:: SOT 1023980 SOS 582585 HAS SOPS 582585 HAS SOUS 282150 HAS SOUPS 282150 WITH SCORE 282732.585
AT ITER 4483 NEW BEST:: SOT 1023984 SOS 582538 HAS SOPS 582538 HAS SOUS 282132 HAS SOUPS 282132 WITH SCORE 282714.538
AT ITER 4488 NEW BEST:: SOT 1023984 SOS 582497 HAS SOPS 582497 HAS SOUS 282072 HAS SOUPS 282072 WITH SCORE 282654.497
AT ITER 4490 NEW BEST:: SOT 1023940 SOS 582431 HAS SOPS 582431 HAS SOUS 282006 HAS SOUPS 282006 WITH SCORE 282588.431
AT ITER 4493 NEW BEST:: SOT 1023853 SOS 582054 HAS SOPS 582054 HAS SOUS 281936 HAS SOUPS 281936 WITH SCORE 282518.054
AT ITER 4539 NEW BEST:: SOT 1023853 SOS 582021 HAS SOPS 582021 HAS SOUS 281936 HAS SOUPS 281936 WITH SCORE 282518.021
AT ITER 4575 NEW BEST:: SOT 1023591 SOS 581759 HAS SOPS 581759 HAS SOUS 281793 HAS SOUPS 281793 WITH SCORE 282374.759
AT ITER 4600 NEW BEST:: SOT 1023583 SOS 581751 HAS SOPS 581751 HAS SOUS 281785 HAS SOUPS 281785 WITH SCORE 282366.751
AT ITER 4601 NEW BEST:: SOT 1023583 SOS 581501 HAS SOPS 581501 HAS SOUS 281785 HAS SOUPS 281785 WITH SCORE 282366.501
AT ITER 4618 NEW BEST:: SOT 1023469 SOS 581387 HAS SOPS 581387 HAS SOUS 281333 HAS SOUPS 281333 WITH SCORE 281914.387
AT ITER 4630 NEW BEST:: SOT 1023253 SOS 580249 HAS SOPS 580249 HAS SOUS 280843 HAS SOUPS 280843 WITH SCORE 281423.249
AT ITER 4639 NEW BEST:: SOT 1022920 SOS 579916 HAS SOPS 579916 HAS SOUS 280499 HAS SOUPS 280499 WITH SCORE 281078.916
AT ITER 4641 NEW BEST:: SOT 1022950 SOS 579901 HAS SOPS 579901 HAS SOUS 280484 HAS SOUPS 280484 WITH SCORE 281063.901
AT ITER 4650 NEW BEST:: SOT 1022920 SOS 579459 HAS SOPS 579459 HAS SOUS 280435 HAS SOUPS 280435 WITH SCORE 281014.459
AT ITER 4656 NEW BEST:: SOT 1023266 SOS 579448 HAS SOPS 579448 HAS SOUS 280386 HAS SOUPS 280386 WITH SCORE 280965.448
AT ITER 4676 NEW BEST:: SOT 1022964 SOS 579146 HAS SOPS 579146 HAS SOUS 280084 HAS SOUPS 280084 WITH SCORE 280663.146
AT ITER 4687 NEW BEST:: SOT 1022888 SOS 579070 HAS SOPS 579070 HAS SOUS 280007 HAS SOUPS 280007 WITH SCORE 280586.07
AT ITER 4706 NEW BEST:: SOT 1022941 SOS 579147 HAS SOPS 579147 HAS SOUS 279978 HAS SOUPS 279978 WITH SCORE 280557.147
AT ITER 4722 NEW BEST:: SOT 1022917 SOS 579099 HAS SOPS 579099 HAS SOUS 279930 HAS SOUPS 279930 WITH SCORE 280509.099
AT ITER 4725 NEW BEST:: SOT 1022856 SOS 578855 HAS SOPS 578855 HAS SOUS 279808 HAS SOUPS 279808 WITH SCORE 280386.855
AT ITER 4737 NEW BEST:: SOT 1022776 SOS 578775 HAS SOPS 578775 HAS SOUS 279728 HAS SOUPS 279728 WITH SCORE 280306.775
AT ITER 4742 NEW BEST:: SOT 1022893 SOS 578892 HAS SOPS 578892 HAS SOUS 279589 HAS SOUPS 279589 WITH SCORE 280167.892
AT ITER 4746 NEW BEST:: SOT 1022865 SOS 578836 HAS SOPS 578836 HAS SOUS 279533 HAS SOUPS 279533 WITH SCORE 280111.836
AT ITER 4753 NEW BEST:: SOT 1022348 SOS 578632 HAS SOPS 578632 HAS SOUS 279189 HAS SOUPS 279189 WITH SCORE 279767.632
AT ITER 4754 NEW BEST:: SOT 1022299 SOS 578485 HAS SOPS 578485 HAS SOUS 279169 HAS SOUPS 279169 WITH SCORE 279747.485
AT ITER 4764 NEW BEST:: SOT 1021922 SOS 578108 HAS SOPS 578108 HAS SOUS 278680 HAS SOUPS 278680 WITH SCORE 279258.108
AT ITER 4789 NEW BEST:: SOT 1021922 SOS 578107 HAS SOPS 578107 HAS SOUS 278679 HAS SOUPS 278679 WITH SCORE 279257.107
AT ITER 4791 NEW BEST:: SOT 1022001 SOS 574073 HAS SOPS 574073 HAS SOUS 278482 HAS SOUPS 278482 WITH SCORE 279056.073
AT ITER 4805 NEW BEST:: SOT 1022025 SOS 574893 HAS SOPS 574893 HAS SOUS 278457 HAS SOUPS 278457 WITH SCORE 279031.893
AT ITER 4809 NEW BEST:: SOT 1022025 SOS 574863 HAS SOPS 574863 HAS SOUS 278457 HAS SOUPS 278457 WITH SCORE 279031.863
AT ITER 4810 NEW BEST:: SOT 1022025 SOS 574843 HAS SOPS 574843 HAS SOUS 278437 HAS SOUPS 278437 WITH SCORE 279011.843
AT ITER 4813 NEW BEST:: SOT 1022074 SOS 574892 HAS SOPS 574892 HAS SOUS 278273 HAS SOUPS 278273 WITH SCORE 278847.892
AT ITER 4822 NEW BEST:: SOT 1021986 SOS 574804 HAS SOPS 574804 HAS SOUS 278065 HAS SOUPS 278065 WITH SCORE 278639.804
AT ITER 4876 NEW BEST:: SOT 1021955 SOS 574368 HAS SOPS 574368 HAS SOUS 277679 HAS SOUPS 277679 WITH SCORE 278253.368
AT ITER 4905 NEW BEST:: SOT 1022042 SOS 573390 HAS SOPS 573390 HAS SOUS 277367 HAS SOUPS 277367 WITH SCORE 277940.39
AT ITER 4931 NEW BEST:: SOT 1021360 SOS 572500 HAS SOPS 572500 HAS SOUS 276665 HAS SOUPS 276665 WITH SCORE 277237.5
AT ITER 4932 NEW BEST:: SOT 1021360 SOS 572201 HAS SOPS 572201 HAS SOUS 276629 HAS SOUPS 276629 WITH SCORE 277201.201
AT ITER 4954 NEW BEST:: SOT 1021347 SOS 572188 HAS SOPS 572188 HAS SOUS 276562 HAS SOUPS 276562 WITH SCORE 277134.188
AT ITER 4997 NEW BEST:: SOT 1021188 SOS 572230 HAS SOPS 572230 HAS SOUS 276530 HAS SOUPS 276530 WITH SCORE 277102.23
Bounds file is: CTLFireability.xml
PROPERTY: ASLink-PT-05a-CTLFireability-00 (AU( ( (EF( ((potential((tk(P119)>=1)))))) | (EG( ((potential((tk(P831)>=1) & (tk(P1017)>=1)))))) ) , ( (AX( ((potential((tk(P876)>=1)))))) & (AX( ((potential((tk(P632)>=1) & (tk(P869)>=1)))))) ) ))
PROPERTY: ASLink-PT-05a-CTLFireability-01 ( ( (EG( (AG( ((potential((tk(P233)>=1) & (tk(P478)>=1)))))))) | (EG( ((potential((tk(P770)>=1)))))) ) | ( ( ( (! ( ((potential((tk(P241)>=1) & (tk(P474)>=1)))) & ((potential((tk(P835)>=1) & (tk(P907)>=1)))) )) | (AF( ((potential((tk(P681)>=1) & (tk(P622)>=1)))))) ) | (! (! ((potential((tk(P819)>=1) & (tk(P1044)>=1)))))) ) & (EF( ( ( ((potential((tk(P825)>=1) & (tk(P1044)>=1)))) | ((potential((tk(P825)>=1) & (tk(P1027)>=1)))) ) & ( ((potential((tk(P896)>=1) & (tk(P893)>=1) & (tk(P899)>=1) & (tk(P1008)>=1)))) & ((potential((tk(P35)>=1) & (tk(P22)>=1)))) ) ))) ) )
PROPERTY: ASLink-PT-05a-CTLFireability-02 (EG( (! ((potential((tk(P1045)>=1) & (tk(P1148)>=1)))))))
PROPERTY: ASLink-PT-05a-CTLFireability-03 (EF( (AF( ( (! ((potential((tk(P548)>=1) & (tk(P619)>=1))))) & ( ((potential((tk(P1070)>=1) & (tk(P1168)>=1)))) | ((potential((tk(P630)>=1) & (tk(P857)>=1)))) ) )))))
PROPERTY: ASLink-PT-05a-CTLFireability-04 ( (! (AU( (! ((potential((tk(P242)>=1) & (tk(P479)>=1))))) , ( ((potential((tk(P6)>=1) & (tk(P85)>=1)))) & ((potential((tk(P233)>=1) & (tk(P474)>=1)))) ) ))) | ( (AG( (! ( ((potential((tk(P2)>=1) & (tk(P33)>=1)))) | ((potential((tk(P1071)>=1) & (tk(P1167)>=1)))) )))) & (EG( (! ((potential((tk(P231)>=1) & (tk(P286)>=1))))))) ) )
PROPERTY: ASLink-PT-05a-CTLFireability-05 (AU( ((potential((tk(P431)>=1) & (tk(P662)>=1)))) , (! (EF( ((potential((tk(P53)>=1) & (tk(P271)>=1))))))) ))
PROPERTY: ASLink-PT-05a-CTLFireability-06 ( (EF( ((potential((tk(P566)>=1) & (tk(P608)>=1)))))) | (EG( (! (AG( ((potential((tk(P401)>=1) & (tk(P404)>=1) & (tk(P219)>=1))))))))) )
PROPERTY: ASLink-PT-05a-CTLFireability-07 (EF( (EF( (EG( ((potential((tk(P179)>=1) & (tk(P229)>=1))))))))))
PROPERTY: ASLink-PT-05a-CTLFireability-08 ( (AG( (EU( ((potential((tk(P638)>=1) & (tk(P861)>=1)))) , ((potential((tk(P719)>=1) & (tk(P803)>=1)))) )))) | (EF( (! (EF( ((potential((tk(P1067)>=1) & (tk(P997)>=1))))))))) )
PROPERTY: ASLink-PT-05a-CTLFireability-09 (EU( ((potential((tk(P428)>=1) & (tk(P669)>=1)))) , ( (AF( ((potential((tk(P823)>=1) & (tk(P1027)>=1)))))) | ( ((potential((tk(P627)>=1) & (tk(P856)>=1)))) & ( ((potential((tk(P409)>=1) & (tk(P594)>=1)))) | ((potential((tk(P1067)>=1) & (tk(P1000)>=1)))) ) ) ) ))
PROPERTY: ASLink-PT-05a-CTLFireability-10 (EG( (AX( (! ( ((potential((tk(P968)>=1)))) & ((potential((tk(P634)>=1) & (tk(P867)>=1)))) ))))))
PROPERTY: ASLink-PT-05a-CTLFireability-11 ( (EG( ( (AG( ((potential((tk(P288)>=1) & (tk(P418)>=1)))))) | ( (! ((potential((tk(P827)>=1) & (tk(P1019)>=1))))) | ((potential((tk(P425)>=1) & (tk(P481)>=1)))) ) ))) & (EU( (AG( ((potential((tk(P17)>=1) & (tk(P86)>=1)))))) , (! ((potential((tk(P820)>=1) & (tk(P1041)>=1))))) )) )
PROPERTY: ASLink-PT-05a-CTLFireability-12 (AU( (! ( ((potential((tk(P675)>=1) & (tk(P806)>=1)))) & ((potential((tk(P826)>=1) & (tk(P1014)>=1)))) )) , (EX( ( ((potential((tk(P95)>=1) & (tk(P226)>=1)))) | ((potential((tk(P298)>=1) & (tk(P293)>=1)))) ))) ))
PROPERTY: ASLink-PT-05a-CTLFireability-13 (AF( (EX( ( ( ((potential((tk(P246)>=1) & (tk(P477)>=1)))) & ((potential((tk(P434)>=1) & (tk(P673)>=1)))) ) | ((potential((tk(P1045)>=1) & (tk(P1142)>=1)))) )))))
PROPERTY: ASLink-PT-05a-CTLFireability-14 (AU( ((potential((tk(P332)>=1) & (tk(P317)>=1)))) , (! (AF( ((potential((tk(P237)>=1) & (tk(P478)>=1))))))) ))
PROPERTY: ASLink-PT-05a-CTLFireability-15 (! (! (EU( (! ((potential((tk(P829)>=1) & (tk(P1032)>=1))))) , ( ((potential((tk(P985)>=1) & (tk(P1007)>=1)))) | ((potential((tk(P959)>=1) & (tk(P950)>=1)))) ) ))))

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="ASLink-PT-05a"
export BK_EXAMINATION="CTLFireability"
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 ASLink-PT-05a, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r003-smll-158897508000076"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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