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

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

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15765.700 3600000.00 3599961.00 29.70 [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-158897508000060.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-04a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508000060
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 612K
-rw-r--r-- 1 mcc users 3.5K Mar 25 09:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 25 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 25 09:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K 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.4K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K 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.3K Mar 25 09:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 09:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 25 08:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K 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 436K 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-04a-CTLFireability-00
FORMULA_NAME ASLink-PT-04a-CTLFireability-01
FORMULA_NAME ASLink-PT-04a-CTLFireability-02
FORMULA_NAME ASLink-PT-04a-CTLFireability-03
FORMULA_NAME ASLink-PT-04a-CTLFireability-04
FORMULA_NAME ASLink-PT-04a-CTLFireability-05
FORMULA_NAME ASLink-PT-04a-CTLFireability-06
FORMULA_NAME ASLink-PT-04a-CTLFireability-07
FORMULA_NAME ASLink-PT-04a-CTLFireability-08
FORMULA_NAME ASLink-PT-04a-CTLFireability-09
FORMULA_NAME ASLink-PT-04a-CTLFireability-10
FORMULA_NAME ASLink-PT-04a-CTLFireability-11
FORMULA_NAME ASLink-PT-04a-CTLFireability-12
FORMULA_NAME ASLink-PT-04a-CTLFireability-13
FORMULA_NAME ASLink-PT-04a-CTLFireability-14
FORMULA_NAME ASLink-PT-04a-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589015388686

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 04a
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: 1016 places, 1554 transitions, 5858 arcs.
AT ITER 0 NEW BEST:: SOT 867032 SOS 592964 HAS SOPS 592964 HAS SOUS 372089 HAS SOUPS 372089 WITH SCORE 372681.964
AT ITER 1 NEW BEST:: SOT 867226 SOS 592993 HAS SOPS 592993 HAS SOUS 371550 HAS SOUPS 371550 WITH SCORE 372142.993
AT ITER 3 NEW BEST:: SOT 867196 SOS 592963 HAS SOPS 592963 HAS SOUS 371549 HAS SOUPS 371549 WITH SCORE 372141.963
AT ITER 9 NEW BEST:: SOT 867102 SOS 592869 HAS SOPS 592869 HAS SOUS 371452 HAS SOUPS 371452 WITH SCORE 372044.869
AT ITER 16 NEW BEST:: SOT 867102 SOS 592228 HAS SOPS 592228 HAS SOUS 371447 HAS SOUPS 371447 WITH SCORE 372039.228
AT ITER 21 NEW BEST:: SOT 867085 SOS 592198 HAS SOPS 592198 HAS SOUS 371417 HAS SOUPS 371417 WITH SCORE 372009.198
AT ITER 28 NEW BEST:: SOT 867085 SOS 592198 HAS SOPS 592198 HAS SOUS 371078 HAS SOUPS 371078 WITH SCORE 371670.198
AT ITER 29 NEW BEST:: SOT 867844 SOS 592704 HAS SOPS 592704 HAS SOUS 371052 HAS SOUPS 371052 WITH SCORE 371644.704
AT ITER 30 NEW BEST:: SOT 867404 SOS 592101 HAS SOPS 592101 HAS SOUS 370947 HAS SOUPS 370947 WITH SCORE 371539.101
AT ITER 38 NEW BEST:: SOT 862568 SOS 587265 HAS SOPS 587265 HAS SOUS 366111 HAS SOUPS 366111 WITH SCORE 366698.265
AT ITER 39 NEW BEST:: SOT 862357 SOS 587052 HAS SOPS 587052 HAS SOUS 366109 HAS SOUPS 366109 WITH SCORE 366696.052
AT ITER 41 NEW BEST:: SOT 862322 SOS 587017 HAS SOPS 587017 HAS SOUS 366105 HAS SOUPS 366105 WITH SCORE 366692.017
AT ITER 44 NEW BEST:: SOT 862134 SOS 586378 HAS SOPS 586378 HAS SOUS 365729 HAS SOUPS 365729 WITH SCORE 366315.378
AT ITER 45 NEW BEST:: SOT 862129 SOS 586190 HAS SOPS 586190 HAS SOUS 365706 HAS SOUPS 365706 WITH SCORE 366292.19
AT ITER 46 NEW BEST:: SOT 862129 SOS 586190 HAS SOPS 586190 HAS SOUS 365674 HAS SOUPS 365674 WITH SCORE 366260.19
AT ITER 48 NEW BEST:: SOT 862123 SOS 586178 HAS SOPS 586178 HAS SOUS 365668 HAS SOUPS 365668 WITH SCORE 366254.178
AT ITER 55 NEW BEST:: SOT 862330 SOS 585554 HAS SOPS 585554 HAS SOUS 365331 HAS SOUPS 365331 WITH SCORE 365916.554
AT ITER 68 NEW BEST:: SOT 856584 SOS 579808 HAS SOPS 579808 HAS SOUS 359584 HAS SOUPS 359584 WITH SCORE 360163.808
AT ITER 74 NEW BEST:: SOT 856584 SOS 578926 HAS SOPS 578926 HAS SOUS 359578 HAS SOUPS 359578 WITH SCORE 360156.926
AT ITER 77 NEW BEST:: SOT 855954 SOS 578537 HAS SOPS 578537 HAS SOUS 359066 HAS SOUPS 359066 WITH SCORE 359644.537
AT ITER 79 NEW BEST:: SOT 855954 SOS 577994 HAS SOPS 577994 HAS SOUS 358894 HAS SOUPS 358894 WITH SCORE 359471.994
AT ITER 81 NEW BEST:: SOT 855954 SOS 577720 HAS SOPS 577720 HAS SOUS 358620 HAS SOUPS 358620 WITH SCORE 359197.72
AT ITER 83 NEW BEST:: SOT 855660 SOS 577954 HAS SOPS 577954 HAS SOUS 358194 HAS SOUPS 358194 WITH SCORE 358771.954
AT ITER 84 NEW BEST:: SOT 852878 SOS 575163 HAS SOPS 575163 HAS SOUS 355403 HAS SOUPS 355403 WITH SCORE 355978.163
AT ITER 85 NEW BEST:: SOT 852878 SOS 575163 HAS SOPS 575163 HAS SOUS 355402 HAS SOUPS 355402 WITH SCORE 355977.163
AT ITER 86 NEW BEST:: SOT 852804 SOS 575089 HAS SOPS 575089 HAS SOUS 355328 HAS SOUPS 355328 WITH SCORE 355903.089
AT ITER 88 NEW BEST:: SOT 851244 SOS 573526 HAS SOPS 573526 HAS SOUS 353765 HAS SOUPS 353765 WITH SCORE 354338.526
AT ITER 90 NEW BEST:: SOT 851048 SOS 573798 HAS SOPS 573798 HAS SOUS 353452 HAS SOUPS 353452 WITH SCORE 354025.798
AT ITER 98 NEW BEST:: SOT 850278 SOS 573028 HAS SOPS 573028 HAS SOUS 352681 HAS SOUPS 352681 WITH SCORE 353254.028
AT ITER 99 NEW BEST:: SOT 850238 SOS 573015 HAS SOPS 573015 HAS SOUS 352667 HAS SOUPS 352667 WITH SCORE 353240.015
AT ITER 100 NEW BEST:: SOT 848848 SOS 571625 HAS SOPS 571625 HAS SOUS 351276 HAS SOUPS 351276 WITH SCORE 351847.625
AT ITER 114 NEW BEST:: SOT 849267 SOS 571068 HAS SOPS 571068 HAS SOUS 351254 HAS SOUPS 351254 WITH SCORE 351825.068
AT ITER 115 NEW BEST:: SOT 848661 SOS 570462 HAS SOPS 570462 HAS SOUS 350648 HAS SOUPS 350648 WITH SCORE 351218.462
AT ITER 119 NEW BEST:: SOT 848661 SOS 569073 HAS SOPS 569073 HAS SOUS 349866 HAS SOUPS 349866 WITH SCORE 350435.073
AT ITER 121 NEW BEST:: SOT 844026 SOS 564438 HAS SOPS 564438 HAS SOUS 345231 HAS SOUPS 345231 WITH SCORE 345795.438
AT ITER 123 NEW BEST:: SOT 844026 SOS 563045 HAS SOPS 563045 HAS SOUS 344833 HAS SOUPS 344833 WITH SCORE 345396.045
AT ITER 126 NEW BEST:: SOT 838596 SOS 557615 HAS SOPS 557615 HAS SOUS 338924 HAS SOUPS 338924 WITH SCORE 339481.615
AT ITER 131 NEW BEST:: SOT 838314 SOS 556085 HAS SOPS 556085 HAS SOUS 337842 HAS SOUPS 337842 WITH SCORE 338398.085
AT ITER 139 NEW BEST:: SOT 837890 SOS 555661 HAS SOPS 555661 HAS SOUS 337821 HAS SOUPS 337821 WITH SCORE 338376.661
AT ITER 142 NEW BEST:: SOT 835732 SOS 553164 HAS SOPS 553164 HAS SOUS 335273 HAS SOUPS 335273 WITH SCORE 335826.164
AT ITER 144 NEW BEST:: SOT 835327 SOS 552757 HAS SOPS 552757 HAS SOUS 335239 HAS SOUPS 335239 WITH SCORE 335791.757
AT ITER 146 NEW BEST:: SOT 835327 SOS 552183 HAS SOPS 552183 HAS SOUS 335234 HAS SOUPS 335234 WITH SCORE 335786.183
AT ITER 164 NEW BEST:: SOT 835230 SOS 551476 HAS SOPS 551476 HAS SOUS 335234 HAS SOUPS 335234 WITH SCORE 335785.476
AT ITER 167 NEW BEST:: SOT 828192 SOS 544438 HAS SOPS 544438 HAS SOUS 328196 HAS SOUPS 328196 WITH SCORE 328740.438
AT ITER 171 NEW BEST:: SOT 828192 SOS 544507 HAS SOPS 544507 HAS SOUS 328146 HAS SOUPS 328146 WITH SCORE 328690.507
AT ITER 179 NEW BEST:: SOT 828192 SOS 542619 HAS SOPS 542619 HAS SOUS 328140 HAS SOUPS 328140 WITH SCORE 328682.619
AT ITER 180 NEW BEST:: SOT 828192 SOS 542734 HAS SOPS 542734 HAS SOUS 328139 HAS SOUPS 328139 WITH SCORE 328681.734
AT ITER 192 NEW BEST:: SOT 828192 SOS 542393 HAS SOPS 542393 HAS SOUS 327798 HAS SOUPS 327798 WITH SCORE 328340.393
AT ITER 207 NEW BEST:: SOT 828192 SOS 542393 HAS SOPS 542393 HAS SOUS 327760 HAS SOUPS 327760 WITH SCORE 328302.393
AT ITER 215 NEW BEST:: SOT 828114 SOS 542315 HAS SOPS 542315 HAS SOUS 327759 HAS SOUPS 327759 WITH SCORE 328301.315
AT ITER 219 NEW BEST:: SOT 828611 SOS 542384 HAS SOPS 542384 HAS SOUS 327185 HAS SOUPS 327185 WITH SCORE 327727.384
AT ITER 221 NEW BEST:: SOT 827997 SOS 540650 HAS SOPS 540650 HAS SOUS 325451 HAS SOUPS 325451 WITH SCORE 325991.65
AT ITER 226 NEW BEST:: SOT 827997 SOS 540305 HAS SOPS 540305 HAS SOUS 325106 HAS SOUPS 325106 WITH SCORE 325646.305
AT ITER 228 NEW BEST:: SOT 827961 SOS 540005 HAS SOPS 540005 HAS SOUS 325015 HAS SOUPS 325015 WITH SCORE 325555.005
AT ITER 231 NEW BEST:: SOT 827961 SOS 540005 HAS SOPS 540005 HAS SOUS 325013 HAS SOUPS 325013 WITH SCORE 325553.005
AT ITER 240 NEW BEST:: SOT 827771 SOS 539625 HAS SOPS 539625 HAS SOUS 324629 HAS SOUPS 324629 WITH SCORE 325168.625
AT ITER 242 NEW BEST:: SOT 827315 SOS 539169 HAS SOPS 539169 HAS SOUS 324173 HAS SOUPS 324173 WITH SCORE 324712.169
AT ITER 244 NEW BEST:: SOT 827314 SOS 539168 HAS SOPS 539168 HAS SOUS 324171 HAS SOUPS 324171 WITH SCORE 324710.168
AT ITER 254 NEW BEST:: SOT 826905 SOS 535077 HAS SOPS 535077 HAS SOUS 324175 HAS SOUPS 324175 WITH SCORE 324710.077
AT ITER 263 NEW BEST:: SOT 826904 SOS 535076 HAS SOPS 535076 HAS SOUS 324173 HAS SOUPS 324173 WITH SCORE 324708.076
AT ITER 268 NEW BEST:: SOT 826761 SOS 535017 HAS SOPS 535017 HAS SOUS 324173 HAS SOUPS 324173 WITH SCORE 324708.017
AT ITER 269 NEW BEST:: SOT 826761 SOS 535017 HAS SOPS 535017 HAS SOUS 324172 HAS SOUPS 324172 WITH SCORE 324707.017
AT ITER 270 NEW BEST:: SOT 826713 SOS 534969 HAS SOPS 534969 HAS SOUS 324171 HAS SOUPS 324171 WITH SCORE 324705.969
AT ITER 271 NEW BEST:: SOT 826713 SOS 534961 HAS SOPS 534961 HAS SOUS 324163 HAS SOUPS 324163 WITH SCORE 324697.961
AT ITER 277 NEW BEST:: SOT 825971 SOS 534238 HAS SOPS 534238 HAS SOUS 323448 HAS SOUPS 323448 WITH SCORE 323982.238
AT ITER 283 NEW BEST:: SOT 825971 SOS 534262 HAS SOPS 534262 HAS SOUS 323428 HAS SOUPS 323428 WITH SCORE 323962.262
AT ITER 287 NEW BEST:: SOT 825386 SOS 533684 HAS SOPS 533684 HAS SOUS 322818 HAS SOUPS 322818 WITH SCORE 323351.684
AT ITER 295 NEW BEST:: SOT 825219 SOS 533517 HAS SOPS 533517 HAS SOUS 322810 HAS SOUPS 322810 WITH SCORE 323343.517
AT ITER 320 NEW BEST:: SOT 824833 SOS 533131 HAS SOPS 533131 HAS SOUS 322424 HAS SOUPS 322424 WITH SCORE 322957.131
AT ITER 325 NEW BEST:: SOT 824833 SOS 533101 HAS SOPS 533101 HAS SOUS 322394 HAS SOUPS 322394 WITH SCORE 322927.101
AT ITER 337 NEW BEST:: SOT 824939 SOS 532862 HAS SOPS 532862 HAS SOUS 322248 HAS SOUPS 322248 WITH SCORE 322780.862
AT ITER 353 NEW BEST:: SOT 824937 SOS 532812 HAS SOPS 532812 HAS SOUS 322244 HAS SOUPS 322244 WITH SCORE 322776.812
AT ITER 360 NEW BEST:: SOT 824614 SOS 535498 HAS SOPS 535498 HAS SOUS 322031 HAS SOUPS 322031 WITH SCORE 322566.498
AT ITER 362 NEW BEST:: SOT 824614 SOS 534779 HAS SOPS 534779 HAS SOUS 321312 HAS SOUPS 321312 WITH SCORE 321846.779
AT ITER 366 NEW BEST:: SOT 824281 SOS 534049 HAS SOPS 534049 HAS SOUS 321210 HAS SOUPS 321210 WITH SCORE 321744.049
AT ITER 368 NEW BEST:: SOT 824281 SOS 534847 HAS SOPS 534847 HAS SOUS 321176 HAS SOUPS 321176 WITH SCORE 321710.847
AT ITER 375 NEW BEST:: SOT 823740 SOS 534820 HAS SOPS 534820 HAS SOUS 320892 HAS SOUPS 320892 WITH SCORE 321426.82
AT ITER 387 NEW BEST:: SOT 823595 SOS 534675 HAS SOPS 534675 HAS SOUS 320746 HAS SOUPS 320746 WITH SCORE 321280.675
AT ITER 391 NEW BEST:: SOT 823615 SOS 534624 HAS SOPS 534624 HAS SOUS 320602 HAS SOUPS 320602 WITH SCORE 321136.624
AT ITER 395 NEW BEST:: SOT 823699 SOS 534707 HAS SOPS 534707 HAS SOUS 320581 HAS SOUPS 320581 WITH SCORE 321115.707
AT ITER 399 NEW BEST:: SOT 823620 SOS 533945 HAS SOPS 533945 HAS SOUS 320337 HAS SOUPS 320337 WITH SCORE 320870.945
AT ITER 418 NEW BEST:: SOT 821730 SOS 533291 HAS SOPS 533291 HAS SOUS 318414 HAS SOUPS 318414 WITH SCORE 318947.291
AT ITER 424 NEW BEST:: SOT 821730 SOS 530819 HAS SOPS 530819 HAS SOUS 318156 HAS SOUPS 318156 WITH SCORE 318686.819
AT ITER 427 NEW BEST:: SOT 821730 SOS 530600 HAS SOPS 530600 HAS SOUS 317937 HAS SOUPS 317937 WITH SCORE 318467.6
AT ITER 429 NEW BEST:: SOT 821718 SOS 530588 HAS SOPS 530588 HAS SOUS 317919 HAS SOUPS 317919 WITH SCORE 318449.588
AT ITER 433 NEW BEST:: SOT 821618 SOS 530382 HAS SOPS 530382 HAS SOUS 317761 HAS SOUPS 317761 WITH SCORE 318291.382
AT ITER 439 NEW BEST:: SOT 821447 SOS 530211 HAS SOPS 530211 HAS SOUS 317757 HAS SOUPS 317757 WITH SCORE 318287.211
AT ITER 446 NEW BEST:: SOT 821476 SOS 530195 HAS SOPS 530195 HAS SOUS 317638 HAS SOUPS 317638 WITH SCORE 318168.195
AT ITER 452 NEW BEST:: SOT 821411 SOS 530130 HAS SOPS 530130 HAS SOUS 317573 HAS SOUPS 317573 WITH SCORE 318103.13
AT ITER 455 NEW BEST:: SOT 821360 SOS 530079 HAS SOPS 530079 HAS SOUS 317522 HAS SOUPS 317522 WITH SCORE 318052.079
AT ITER 457 NEW BEST:: SOT 821360 SOS 530002 HAS SOPS 530002 HAS SOUS 317519 HAS SOUPS 317519 WITH SCORE 318049.002
AT ITER 458 NEW BEST:: SOT 812225 SOS 517988 HAS SOPS 517988 HAS SOUS 307638 HAS SOUPS 307638 WITH SCORE 308155.988
AT ITER 463 NEW BEST:: SOT 812167 SOS 517872 HAS SOPS 517872 HAS SOUS 307580 HAS SOUPS 307580 WITH SCORE 308097.872
AT ITER 467 NEW BEST:: SOT 812080 SOS 517865 HAS SOPS 517865 HAS SOUS 307573 HAS SOUPS 307573 WITH SCORE 308090.865
AT ITER 478 NEW BEST:: SOT 810192 SOS 516657 HAS SOPS 516657 HAS SOUS 305908 HAS SOUPS 305908 WITH SCORE 306424.657
AT ITER 485 NEW BEST:: SOT 809985 SOS 515544 HAS SOPS 515544 HAS SOUS 305628 HAS SOUPS 305628 WITH SCORE 306143.544
AT ITER 488 NEW BEST:: SOT 809787 SOS 515346 HAS SOPS 515346 HAS SOUS 305430 HAS SOUPS 305430 WITH SCORE 305945.346
AT ITER 500 NEW BEST:: SOT 810389 SOS 514702 HAS SOPS 514702 HAS SOUS 305266 HAS SOUPS 305266 WITH SCORE 305780.702
AT ITER 505 NEW BEST:: SOT 810276 SOS 514589 HAS SOPS 514589 HAS SOUS 305253 HAS SOUPS 305253 WITH SCORE 305767.589
AT ITER 508 NEW BEST:: SOT 810065 SOS 514134 HAS SOPS 514134 HAS SOUS 305042 HAS SOUPS 305042 WITH SCORE 305556.134
AT ITER 509 NEW BEST:: SOT 810494 SOS 514160 HAS SOPS 514160 HAS SOUS 304931 HAS SOUPS 304931 WITH SCORE 305445.16
AT ITER 524 NEW BEST:: SOT 810494 SOS 514173 HAS SOPS 514173 HAS SOUS 304554 HAS SOUPS 304554 WITH SCORE 305068.173
AT ITER 531 NEW BEST:: SOT 810358 SOS 513808 HAS SOPS 513808 HAS SOUS 304189 HAS SOUPS 304189 WITH SCORE 304702.808
AT ITER 535 NEW BEST:: SOT 810251 SOS 513701 HAS SOPS 513701 HAS SOUS 304082 HAS SOUPS 304082 WITH SCORE 304595.701
AT ITER 538 NEW BEST:: SOT 807407 SOS 513478 HAS SOPS 513478 HAS SOUS 302084 HAS SOUPS 302084 WITH SCORE 302597.478
AT ITER 539 NEW BEST:: SOT 807407 SOS 513392 HAS SOPS 513392 HAS SOUS 302036 HAS SOUPS 302036 WITH SCORE 302549.392
AT ITER 552 NEW BEST:: SOT 807246 SOS 513013 HAS SOPS 513013 HAS SOUS 301834 HAS SOUPS 301834 WITH SCORE 302347.013
AT ITER 553 NEW BEST:: SOT 806756 SOS 512817 HAS SOPS 512817 HAS SOUS 300857 HAS SOUPS 300857 WITH SCORE 301369.817
AT ITER 560 NEW BEST:: SOT 806478 SOS 512539 HAS SOPS 512539 HAS SOUS 300578 HAS SOUPS 300578 WITH SCORE 301090.539
AT ITER 563 NEW BEST:: SOT 806478 SOS 512216 HAS SOPS 512216 HAS SOUS 300474 HAS SOUPS 300474 WITH SCORE 300986.216
AT ITER 569 NEW BEST:: SOT 806478 SOS 512203 HAS SOPS 512203 HAS SOUS 300461 HAS SOUPS 300461 WITH SCORE 300973.203
AT ITER 572 NEW BEST:: SOT 806214 SOS 511939 HAS SOPS 511939 HAS SOUS 300196 HAS SOUPS 300196 WITH SCORE 300707.939
AT ITER 582 NEW BEST:: SOT 805897 SOS 511621 HAS SOPS 511621 HAS SOUS 299709 HAS SOUPS 299709 WITH SCORE 300220.621
AT ITER 589 NEW BEST:: SOT 805897 SOS 511621 HAS SOPS 511621 HAS SOUS 299708 HAS SOUPS 299708 WITH SCORE 300219.621
AT ITER 592 NEW BEST:: SOT 805897 SOS 511308 HAS SOPS 511308 HAS SOUS 299625 HAS SOUPS 299625 WITH SCORE 300136.308
AT ITER 606 NEW BEST:: SOT 805897 SOS 510213 HAS SOPS 510213 HAS SOUS 299244 HAS SOUPS 299244 WITH SCORE 299754.213
AT ITER 610 NEW BEST:: SOT 805897 SOS 509841 HAS SOPS 509841 HAS SOUS 299244 HAS SOUPS 299244 WITH SCORE 299753.841
AT ITER 615 NEW BEST:: SOT 805883 SOS 509827 HAS SOPS 509827 HAS SOUS 299240 HAS SOUPS 299240 WITH SCORE 299749.827
AT ITER 620 NEW BEST:: SOT 805631 SOS 509017 HAS SOPS 509017 HAS SOUS 298735 HAS SOUPS 298735 WITH SCORE 299244.017
AT ITER 626 NEW BEST:: SOT 804815 SOS 508201 HAS SOPS 508201 HAS SOUS 297919 HAS SOUPS 297919 WITH SCORE 298427.201
AT ITER 633 NEW BEST:: SOT 804283 SOS 506873 HAS SOPS 506873 HAS SOUS 296821 HAS SOUPS 296821 WITH SCORE 297327.873
AT ITER 634 NEW BEST:: SOT 804278 SOS 506401 HAS SOPS 506401 HAS SOUS 296477 HAS SOUPS 296477 WITH SCORE 296983.401
AT ITER 637 NEW BEST:: SOT 804130 SOS 505217 HAS SOPS 505217 HAS SOUS 296171 HAS SOUPS 296171 WITH SCORE 296676.217
AT ITER 653 NEW BEST:: SOT 804012 SOS 505099 HAS SOPS 505099 HAS SOUS 295890 HAS SOUPS 295890 WITH SCORE 296395.099
AT ITER 654 NEW BEST:: SOT 802542 SOS 503629 HAS SOPS 503629 HAS SOUS 294420 HAS SOUPS 294420 WITH SCORE 294923.629
AT ITER 658 NEW BEST:: SOT 800224 SOS 501205 HAS SOPS 501205 HAS SOUS 291320 HAS SOUPS 291320 WITH SCORE 291821.205
AT ITER 666 NEW BEST:: SOT 800220 SOS 500625 HAS SOPS 500625 HAS SOUS 291215 HAS SOUPS 291215 WITH SCORE 291715.625
AT ITER 677 NEW BEST:: SOT 800103 SOS 499771 HAS SOPS 499771 HAS SOUS 290850 HAS SOUPS 290850 WITH SCORE 291349.771
AT ITER 689 NEW BEST:: SOT 799916 SOS 499695 HAS SOPS 499695 HAS SOUS 290849 HAS SOUPS 290849 WITH SCORE 291348.695
AT ITER 691 NEW BEST:: SOT 799846 SOS 499625 HAS SOPS 499625 HAS SOUS 290821 HAS SOUPS 290821 WITH SCORE 291320.625
AT ITER 703 NEW BEST:: SOT 799925 SOS 499704 HAS SOPS 499704 HAS SOUS 290818 HAS SOUPS 290818 WITH SCORE 291317.704
AT ITER 704 NEW BEST:: SOT 799718 SOS 499739 HAS SOPS 499739 HAS SOUS 290761 HAS SOUPS 290761 WITH SCORE 291260.739
AT ITER 711 NEW BEST:: SOT 799202 SOS 498830 HAS SOPS 498830 HAS SOUS 290517 HAS SOUPS 290517 WITH SCORE 291015.83
AT ITER 714 NEW BEST:: SOT 799201 SOS 498829 HAS SOPS 498829 HAS SOUS 290516 HAS SOUPS 290516 WITH SCORE 291014.829
AT ITER 724 NEW BEST:: SOT 799200 SOS 497849 HAS SOPS 497849 HAS SOUS 290514 HAS SOUPS 290514 WITH SCORE 291011.849
AT ITER 727 NEW BEST:: SOT 796019 SOS 494351 HAS SOPS 494351 HAS SOUS 287016 HAS SOUPS 287016 WITH SCORE 287510.351
AT ITER 731 NEW BEST:: SOT 796018 SOS 494349 HAS SOPS 494349 HAS SOUS 287014 HAS SOUPS 287014 WITH SCORE 287508.349
AT ITER 738 NEW BEST:: SOT 795853 SOS 494184 HAS SOPS 494184 HAS SOUS 286949 HAS SOUPS 286949 WITH SCORE 287443.184
AT ITER 743 NEW BEST:: SOT 795546 SOS 493645 HAS SOPS 493645 HAS SOUS 286519 HAS SOUPS 286519 WITH SCORE 287012.645
AT ITER 744 NEW BEST:: SOT 795174 SOS 491870 HAS SOPS 491870 HAS SOUS 285857 HAS SOUPS 285857 WITH SCORE 286348.87
AT ITER 757 NEW BEST:: SOT 795044 SOS 491140 HAS SOPS 491140 HAS SOUS 285283 HAS SOUPS 285283 WITH SCORE 285774.14
AT ITER 759 NEW BEST:: SOT 791286 SOS 487382 HAS SOPS 487382 HAS SOUS 281525 HAS SOUPS 281525 WITH SCORE 282012.382
AT ITER 800 NEW BEST:: SOT 791118 SOS 487675 HAS SOPS 487675 HAS SOUS 281229 HAS SOUPS 281229 WITH SCORE 281716.675
AT ITER 811 NEW BEST:: SOT 791013 SOS 487465 HAS SOPS 487465 HAS SOUS 281019 HAS SOUPS 281019 WITH SCORE 281506.465
AT ITER 812 NEW BEST:: SOT 790988 SOS 487440 HAS SOPS 487440 HAS SOUS 280993 HAS SOUPS 280993 WITH SCORE 281480.44
AT ITER 813 NEW BEST:: SOT 790935 SOS 487334 HAS SOPS 487334 HAS SOUS 280982 HAS SOUPS 280982 WITH SCORE 281469.334
AT ITER 814 NEW BEST:: SOT 789377 SOS 484935 HAS SOPS 484935 HAS SOUS 278965 HAS SOUPS 278965 WITH SCORE 279449.935
AT ITER 818 NEW BEST:: SOT 788605 SOS 484385 HAS SOPS 484385 HAS SOUS 278415 HAS SOUPS 278415 WITH SCORE 278899.385
AT ITER 822 NEW BEST:: SOT 788573 SOS 484353 HAS SOPS 484353 HAS SOUS 278383 HAS SOUPS 278383 WITH SCORE 278867.353
AT ITER 823 NEW BEST:: SOT 788205 SOS 481335 HAS SOPS 481335 HAS SOUS 277083 HAS SOUPS 277083 WITH SCORE 277564.335
AT ITER 830 NEW BEST:: SOT 788204 SOS 481334 HAS SOPS 481334 HAS SOUS 277083 HAS SOUPS 277083 WITH SCORE 277564.334
AT ITER 841 NEW BEST:: SOT 787833 SOS 480963 HAS SOPS 480963 HAS SOUS 276712 HAS SOUPS 276712 WITH SCORE 277192.963
AT ITER 844 NEW BEST:: SOT 787743 SOS 480693 HAS SOPS 480693 HAS SOUS 276532 HAS SOUPS 276532 WITH SCORE 277012.693
AT ITER 856 NEW BEST:: SOT 787743 SOS 478487 HAS SOPS 478487 HAS SOUS 276344 HAS SOUPS 276344 WITH SCORE 276822.487
AT ITER 860 NEW BEST:: SOT 785469 SOS 477543 HAS SOPS 477543 HAS SOUS 274465 HAS SOUPS 274465 WITH SCORE 274942.543
AT ITER 867 NEW BEST:: SOT 785469 SOS 477426 HAS SOPS 477426 HAS SOUS 274152 HAS SOUPS 274152 WITH SCORE 274629.426
AT ITER 870 NEW BEST:: SOT 785469 SOS 477407 HAS SOPS 477407 HAS SOUS 273841 HAS SOUPS 273841 WITH SCORE 274318.407
AT ITER 878 NEW BEST:: SOT 785469 SOS 477313 HAS SOPS 477313 HAS SOUS 273747 HAS SOUPS 273747 WITH SCORE 274224.313
AT ITER 879 NEW BEST:: SOT 785114 SOS 476958 HAS SOPS 476958 HAS SOUS 273392 HAS SOUPS 273392 WITH SCORE 273868.958
AT ITER 882 NEW BEST:: SOT 785114 SOS 476702 HAS SOPS 476702 HAS SOUS 273387 HAS SOUPS 273387 WITH SCORE 273863.702
AT ITER 883 NEW BEST:: SOT 783834 SOS 475598 HAS SOPS 475598 HAS SOUS 272283 HAS SOUPS 272283 WITH SCORE 272758.598
AT ITER 884 NEW BEST:: SOT 783705 SOS 475469 HAS SOPS 475469 HAS SOUS 272154 HAS SOUPS 272154 WITH SCORE 272629.469
AT ITER 885 NEW BEST:: SOT 781617 SOS 474261 HAS SOPS 474261 HAS SOUS 270065 HAS SOUPS 270065 WITH SCORE 270539.261
AT ITER 889 NEW BEST:: SOT 781590 SOS 474154 HAS SOPS 474154 HAS SOUS 269998 HAS SOUPS 269998 WITH SCORE 270472.154
AT ITER 892 NEW BEST:: SOT 781549 SOS 473282 HAS SOPS 473282 HAS SOUS 269126 HAS SOUPS 269126 WITH SCORE 269599.282
AT ITER 901 NEW BEST:: SOT 781549 SOS 473066 HAS SOPS 473066 HAS SOUS 268962 HAS SOUPS 268962 WITH SCORE 269435.066
AT ITER 919 NEW BEST:: SOT 780212 SOS 471566 HAS SOPS 471566 HAS SOUS 267428 HAS SOUPS 267428 WITH SCORE 267899.566
AT ITER 922 NEW BEST:: SOT 780212 SOS 469797 HAS SOPS 469797 HAS SOUS 267374 HAS SOUPS 267374 WITH SCORE 267843.797
AT ITER 929 NEW BEST:: SOT 780195 SOS 469780 HAS SOPS 469780 HAS SOUS 267357 HAS SOUPS 267357 WITH SCORE 267826.78
AT ITER 931 NEW BEST:: SOT 780163 SOS 469748 HAS SOPS 469748 HAS SOUS 267325 HAS SOUPS 267325 WITH SCORE 267794.748
AT ITER 933 NEW BEST:: SOT 779862 SOS 469144 HAS SOPS 469144 HAS SOUS 266721 HAS SOUPS 266721 WITH SCORE 267190.144
AT ITER 940 NEW BEST:: SOT 779862 SOS 468581 HAS SOPS 468581 HAS SOUS 266391 HAS SOUPS 266391 WITH SCORE 266859.581
AT ITER 949 NEW BEST:: SOT 779699 SOS 468418 HAS SOPS 468418 HAS SOUS 266228 HAS SOUPS 266228 WITH SCORE 266696.418
AT ITER 955 NEW BEST:: SOT 779660 SOS 468379 HAS SOPS 468379 HAS SOUS 266189 HAS SOUPS 266189 WITH SCORE 266657.379
AT ITER 963 NEW BEST:: SOT 779660 SOS 468500 HAS SOPS 468500 HAS SOUS 266183 HAS SOUPS 266183 WITH SCORE 266651.5
AT ITER 967 NEW BEST:: SOT 779640 SOS 468193 HAS SOPS 468193 HAS SOUS 266183 HAS SOUPS 266183 WITH SCORE 266651.193
AT ITER 969 NEW BEST:: SOT 779293 SOS 469396 HAS SOPS 469396 HAS SOUS 266052 HAS SOUPS 266052 WITH SCORE 266521.396
AT ITER 984 NEW BEST:: SOT 779113 SOS 468274 HAS SOPS 468274 HAS SOUS 265744 HAS SOUPS 265744 WITH SCORE 266212.274
AT ITER 987 NEW BEST:: SOT 778930 SOS 465716 HAS SOPS 465716 HAS SOUS 265194 HAS SOUPS 265194 WITH SCORE 265659.716
AT ITER 988 NEW BEST:: SOT 778838 SOS 465474 HAS SOPS 465474 HAS SOUS 265034 HAS SOUPS 265034 WITH SCORE 265499.474
AT ITER 994 NEW BEST:: SOT 778838 SOS 465486 HAS SOPS 465486 HAS SOUS 264971 HAS SOUPS 264971 WITH SCORE 265436.486
AT ITER 1006 NEW BEST:: SOT 779077 SOS 465262 HAS SOPS 465262 HAS SOUS 264596 HAS SOUPS 264596 WITH SCORE 265061.262
AT ITER 1009 NEW BEST:: SOT 779077 SOS 465234 HAS SOPS 465234 HAS SOUS 264327 HAS SOUPS 264327 WITH SCORE 264792.234
AT ITER 1011 NEW BEST:: SOT 779087 SOS 465143 HAS SOPS 465143 HAS SOUS 264215 HAS SOUPS 264215 WITH SCORE 264680.143
AT ITER 1012 NEW BEST:: SOT 779021 SOS 465077 HAS SOPS 465077 HAS SOUS 264149 HAS SOUPS 264149 WITH SCORE 264614.077
AT ITER 1018 NEW BEST:: SOT 778863 SOS 464840 HAS SOPS 464840 HAS SOUS 263912 HAS SOUPS 263912 WITH SCORE 264376.84
AT ITER 1020 NEW BEST:: SOT 778699 SOS 464676 HAS SOPS 464676 HAS SOUS 263748 HAS SOUPS 263748 WITH SCORE 264212.676
AT ITER 1029 NEW BEST:: SOT 777563 SOS 464774 HAS SOPS 464774 HAS SOUS 262972 HAS SOUPS 262972 WITH SCORE 263436.774
AT ITER 1031 NEW BEST:: SOT 777336 SOS 464625 HAS SOPS 464625 HAS SOUS 262823 HAS SOUPS 262823 WITH SCORE 263287.625
AT ITER 1035 NEW BEST:: SOT 777336 SOS 464455 HAS SOPS 464455 HAS SOUS 262823 HAS SOUPS 262823 WITH SCORE 263287.455
AT ITER 1056 NEW BEST:: SOT 776748 SOS 463867 HAS SOPS 463867 HAS SOUS 261963 HAS SOUPS 261963 WITH SCORE 262426.867
AT ITER 1068 NEW BEST:: SOT 776748 SOS 465504 HAS SOPS 465504 HAS SOUS 261910 HAS SOUPS 261910 WITH SCORE 262375.504
AT ITER 1071 NEW BEST:: SOT 773117 SOS 461873 HAS SOPS 461873 HAS SOUS 258278 HAS SOUPS 258278 WITH SCORE 258739.873
AT ITER 1077 NEW BEST:: SOT 773106 SOS 461862 HAS SOPS 461862 HAS SOUS 258267 HAS SOUPS 258267 WITH SCORE 258728.862
AT ITER 1079 NEW BEST:: SOT 773060 SOS 461816 HAS SOPS 461816 HAS SOUS 258221 HAS SOUPS 258221 WITH SCORE 258682.816
AT ITER 1082 NEW BEST:: SOT 772935 SOS 461880 HAS SOPS 461880 HAS SOUS 257971 HAS SOUPS 257971 WITH SCORE 258432.88
AT ITER 1088 NEW BEST:: SOT 772674 SOS 461619 HAS SOPS 461619 HAS SOUS 257656 HAS SOUPS 257656 WITH SCORE 258117.619
AT ITER 1090 NEW BEST:: SOT 772674 SOS 461593 HAS SOPS 461593 HAS SOUS 257630 HAS SOUPS 257630 WITH SCORE 258091.593
AT ITER 1091 NEW BEST:: SOT 772650 SOS 461521 HAS SOPS 461521 HAS SOUS 257580 HAS SOUPS 257580 WITH SCORE 258041.521
AT ITER 1092 NEW BEST:: SOT 772645 SOS 461516 HAS SOPS 461516 HAS SOUS 257575 HAS SOUPS 257575 WITH SCORE 258036.516
AT ITER 1094 NEW BEST:: SOT 772644 SOS 461118 HAS SOPS 461118 HAS SOUS 257573 HAS SOUPS 257573 WITH SCORE 258034.118
AT ITER 1095 NEW BEST:: SOT 772644 SOS 460833 HAS SOPS 460833 HAS SOUS 257573 HAS SOUPS 257573 WITH SCORE 258033.833
AT ITER 1098 NEW BEST:: SOT 770036 SOS 460397 HAS SOPS 460397 HAS SOUS 255702 HAS SOUPS 255702 WITH SCORE 256162.397
AT ITER 1108 NEW BEST:: SOT 770041 SOS 460553 HAS SOPS 460553 HAS SOUS 255565 HAS SOUPS 255565 WITH SCORE 256025.553
AT ITER 1120 NEW BEST:: SOT 769676 SOS 460091 HAS SOPS 460091 HAS SOUS 255135 HAS SOUPS 255135 WITH SCORE 255595.091
AT ITER 1123 NEW BEST:: SOT 769317 SOS 459095 HAS SOPS 459095 HAS SOUS 254139 HAS SOUPS 254139 WITH SCORE 254598.095
AT ITER 1127 NEW BEST:: SOT 769083 SOS 458522 HAS SOPS 458522 HAS SOUS 253566 HAS SOUPS 253566 WITH SCORE 254024.522
AT ITER 1152 NEW BEST:: SOT 768983 SOS 458298 HAS SOPS 458298 HAS SOUS 253342 HAS SOUPS 253342 WITH SCORE 253800.298
AT ITER 1154 NEW BEST:: SOT 768791 SOS 458857 HAS SOPS 458857 HAS SOUS 253209 HAS SOUPS 253209 WITH SCORE 253667.857
AT ITER 1172 NEW BEST:: SOT 768791 SOS 457967 HAS SOPS 457967 HAS SOUS 252910 HAS SOUPS 252910 WITH SCORE 253367.967
AT ITER 1173 NEW BEST:: SOT 768791 SOS 457705 HAS SOPS 457705 HAS SOUS 252775 HAS SOUPS 252775 WITH SCORE 253232.705
AT ITER 1179 NEW BEST:: SOT 768178 SOS 457210 HAS SOPS 457210 HAS SOUS 252105 HAS SOUPS 252105 WITH SCORE 252562.21
AT ITER 1181 NEW BEST:: SOT 767952 SOS 456984 HAS SOPS 456984 HAS SOUS 251879 HAS SOUPS 251879 WITH SCORE 252335.984
AT ITER 1190 NEW BEST:: SOT 766729 SOS 456733 HAS SOPS 456733 HAS SOUS 251006 HAS SOUPS 251006 WITH SCORE 251462.733
AT ITER 1191 NEW BEST:: SOT 766721 SOS 456710 HAS SOPS 456710 HAS SOUS 250990 HAS SOUPS 250990 WITH SCORE 251446.71
AT ITER 1193 NEW BEST:: SOT 766526 SOS 456553 HAS SOPS 456553 HAS SOUS 250833 HAS SOUPS 250833 WITH SCORE 251289.553
AT ITER 1201 NEW BEST:: SOT 766525 SOS 456552 HAS SOPS 456552 HAS SOUS 250831 HAS SOUPS 250831 WITH SCORE 251287.552
AT ITER 1202 NEW BEST:: SOT 766450 SOS 456477 HAS SOPS 456477 HAS SOUS 250756 HAS SOUPS 250756 WITH SCORE 251212.477
AT ITER 1211 NEW BEST:: SOT 766450 SOS 456459 HAS SOPS 456459 HAS SOUS 250756 HAS SOUPS 250756 WITH SCORE 251212.459
AT ITER 1212 NEW BEST:: SOT 766106 SOS 455698 HAS SOPS 455698 HAS SOUS 249995 HAS SOUPS 249995 WITH SCORE 250450.698
AT ITER 1215 NEW BEST:: SOT 763896 SOS 453488 HAS SOPS 453488 HAS SOUS 247785 HAS SOUPS 247785 WITH SCORE 248238.488
AT ITER 1226 NEW BEST:: SOT 762352 SOS 452802 HAS SOPS 452802 HAS SOUS 246203 HAS SOUPS 246203 WITH SCORE 246655.802
AT ITER 1234 NEW BEST:: SOT 761727 SOS 452341 HAS SOPS 452341 HAS SOUS 245858 HAS SOUPS 245858 WITH SCORE 246310.341
AT ITER 1240 NEW BEST:: SOT 761855 SOS 452489 HAS SOPS 452489 HAS SOUS 245790 HAS SOUPS 245790 WITH SCORE 246242.489
AT ITER 1241 NEW BEST:: SOT 761562 SOS 452236 HAS SOPS 452236 HAS SOUS 245743 HAS SOUPS 245743 WITH SCORE 246195.236
AT ITER 1250 NEW BEST:: SOT 761562 SOS 452236 HAS SOPS 452236 HAS SOUS 245696 HAS SOUPS 245696 WITH SCORE 246148.236
AT ITER 1257 NEW BEST:: SOT 761472 SOS 452146 HAS SOPS 452146 HAS SOUS 245604 HAS SOUPS 245604 WITH SCORE 246056.146
AT ITER 1268 NEW BEST:: SOT 761475 SOS 452149 HAS SOPS 452149 HAS SOUS 245557 HAS SOUPS 245557 WITH SCORE 246009.149
AT ITER 1282 NEW BEST:: SOT 761268 SOS 451942 HAS SOPS 451942 HAS SOUS 245494 HAS SOUPS 245494 WITH SCORE 245945.942
AT ITER 1284 NEW BEST:: SOT 761140 SOS 451649 HAS SOPS 451649 HAS SOUS 245201 HAS SOUPS 245201 WITH SCORE 245652.649
AT ITER 1290 NEW BEST:: SOT 761159 SOS 451668 HAS SOPS 451668 HAS SOUS 245182 HAS SOUPS 245182 WITH SCORE 245633.668
AT ITER 1307 NEW BEST:: SOT 761154 SOS 451474 HAS SOPS 451474 HAS SOUS 245169 HAS SOUPS 245169 WITH SCORE 245620.474
AT ITER 1310 NEW BEST:: SOT 761119 SOS 450967 HAS SOPS 450967 HAS SOUS 244851 HAS SOUPS 244851 WITH SCORE 245301.967
AT ITER 1318 NEW BEST:: SOT 761119 SOS 450649 HAS SOPS 450649 HAS SOUS 244849 HAS SOUPS 244849 WITH SCORE 245299.649
AT ITER 1325 NEW BEST:: SOT 761094 SOS 450624 HAS SOPS 450624 HAS SOUS 244824 HAS SOUPS 244824 WITH SCORE 245274.624
AT ITER 1327 NEW BEST:: SOT 760903 SOS 450147 HAS SOPS 450147 HAS SOUS 244284 HAS SOUPS 244284 WITH SCORE 244734.147
AT ITER 1348 NEW BEST:: SOT 760900 SOS 450141 HAS SOPS 450141 HAS SOUS 244278 HAS SOUPS 244278 WITH SCORE 244728.141
AT ITER 1351 NEW BEST:: SOT 760906 SOS 450022 HAS SOPS 450022 HAS SOUS 244159 HAS SOUPS 244159 WITH SCORE 244609.022
AT ITER 1356 NEW BEST:: SOT 760690 SOS 449839 HAS SOPS 449839 HAS SOUS 243976 HAS SOUPS 243976 WITH SCORE 244425.839
AT ITER 1368 NEW BEST:: SOT 760641 SOS 449770 HAS SOPS 449770 HAS SOUS 243907 HAS SOUPS 243907 WITH SCORE 244356.77
AT ITER 1384 NEW BEST:: SOT 760074 SOS 450043 HAS SOPS 450043 HAS SOUS 243445 HAS SOUPS 243445 WITH SCORE 243895.043
AT ITER 1393 NEW BEST:: SOT 759952 SOS 449921 HAS SOPS 449921 HAS SOUS 243323 HAS SOUPS 243323 WITH SCORE 243772.921
AT ITER 1394 NEW BEST:: SOT 759876 SOS 449850 HAS SOPS 449850 HAS SOUS 243252 HAS SOUPS 243252 WITH SCORE 243701.85
AT ITER 1398 NEW BEST:: SOT 759869 SOS 449738 HAS SOPS 449738 HAS SOUS 243146 HAS SOUPS 243146 WITH SCORE 243595.738
AT ITER 1405 NEW BEST:: SOT 759863 SOS 449738 HAS SOPS 449738 HAS SOUS 243140 HAS SOUPS 243140 WITH SCORE 243589.738
AT ITER 1411 NEW BEST:: SOT 759668 SOS 449543 HAS SOPS 449543 HAS SOUS 243120 HAS SOUPS 243120 WITH SCORE 243569.543
AT ITER 1421 NEW BEST:: SOT 759412 SOS 449362 HAS SOPS 449362 HAS SOUS 243043 HAS SOUPS 243043 WITH SCORE 243492.362
AT ITER 1443 NEW BEST:: SOT 759387 SOS 449312 HAS SOPS 449312 HAS SOUS 242993 HAS SOUPS 242993 WITH SCORE 243442.312
AT ITER 1450 NEW BEST:: SOT 759489 SOS 447214 HAS SOPS 447214 HAS SOUS 242978 HAS SOUPS 242978 WITH SCORE 243425.214
AT ITER 1455 NEW BEST:: SOT 759632 SOS 447246 HAS SOPS 447246 HAS SOUS 242935 HAS SOUPS 242935 WITH SCORE 243382.246
AT ITER 1460 NEW BEST:: SOT 759592 SOS 447206 HAS SOPS 447206 HAS SOUS 242895 HAS SOUPS 242895 WITH SCORE 243342.206
AT ITER 1461 NEW BEST:: SOT 759538 SOS 447152 HAS SOPS 447152 HAS SOUS 242821 HAS SOUPS 242821 WITH SCORE 243268.152
AT ITER 1462 NEW BEST:: SOT 759485 SOS 447099 HAS SOPS 447099 HAS SOUS 242809 HAS SOUPS 242809 WITH SCORE 243256.099
AT ITER 1468 NEW BEST:: SOT 759477 SOS 447050 HAS SOPS 447050 HAS SOUS 242760 HAS SOUPS 242760 WITH SCORE 243207.05
AT ITER 1469 NEW BEST:: SOT 759365 SOS 446991 HAS SOPS 446991 HAS SOUS 242715 HAS SOUPS 242715 WITH SCORE 243161.991
AT ITER 1471 NEW BEST:: SOT 759360 SOS 446986 HAS SOPS 446986 HAS SOUS 242709 HAS SOUPS 242709 WITH SCORE 243155.986
AT ITER 1474 NEW BEST:: SOT 759157 SOS 446474 HAS SOPS 446474 HAS SOUS 242197 HAS SOUPS 242197 WITH SCORE 242643.474
AT ITER 1475 NEW BEST:: SOT 758630 SOS 444580 HAS SOPS 444580 HAS SOUS 241143 HAS SOUPS 241143 WITH SCORE 241587.58
AT ITER 1496 NEW BEST:: SOT 758494 SOS 444431 HAS SOPS 444431 HAS SOUS 240938 HAS SOUPS 240938 WITH SCORE 241382.431
AT ITER 1502 NEW BEST:: SOT 758338 SOS 444317 HAS SOPS 444317 HAS SOUS 240480 HAS SOUPS 240480 WITH SCORE 240924.317
AT ITER 1506 NEW BEST:: SOT 758338 SOS 443071 HAS SOPS 443071 HAS SOUS 240360 HAS SOUPS 240360 WITH SCORE 240803.071
AT ITER 1517 NEW BEST:: SOT 758204 SOS 442904 HAS SOPS 442904 HAS SOUS 240102 HAS SOUPS 240102 WITH SCORE 240544.904
AT ITER 1526 NEW BEST:: SOT 758204 SOS 442417 HAS SOPS 442417 HAS SOUS 239879 HAS SOUPS 239879 WITH SCORE 240321.417
AT ITER 1527 NEW BEST:: SOT 758114 SOS 442380 HAS SOPS 442380 HAS SOUS 239878 HAS SOUPS 239878 WITH SCORE 240320.38
AT ITER 1550 NEW BEST:: SOT 757976 SOS 442120 HAS SOPS 442120 HAS SOUS 239788 HAS SOUPS 239788 WITH SCORE 240230.12
AT ITER 1567 NEW BEST:: SOT 757840 SOS 441875 HAS SOPS 441875 HAS SOUS 239558 HAS SOUPS 239558 WITH SCORE 239999.875
AT ITER 1582 NEW BEST:: SOT 757825 SOS 441860 HAS SOPS 441860 HAS SOUS 239543 HAS SOUPS 239543 WITH SCORE 239984.86
AT ITER 1586 NEW BEST:: SOT 757818 SOS 440839 HAS SOPS 440839 HAS SOUS 239460 HAS SOUPS 239460 WITH SCORE 239900.839
AT ITER 1605 NEW BEST:: SOT 757828 SOS 440849 HAS SOPS 440849 HAS SOUS 239433 HAS SOUPS 239433 WITH SCORE 239873.849
AT ITER 1611 NEW BEST:: SOT 757823 SOS 440844 HAS SOPS 440844 HAS SOUS 239428 HAS SOUPS 239428 WITH SCORE 239868.844
AT ITER 1612 NEW BEST:: SOT 757737 SOS 440715 HAS SOPS 440715 HAS SOUS 239299 HAS SOUPS 239299 WITH SCORE 239739.715
AT ITER 1618 NEW BEST:: SOT 758323 SOS 443884 HAS SOPS 443884 HAS SOUS 238391 HAS SOUPS 238391 WITH SCORE 238834.884
AT ITER 1621 NEW BEST:: SOT 758115 SOS 443789 HAS SOPS 443789 HAS SOUS 238296 HAS SOUPS 238296 WITH SCORE 238739.789
AT ITER 1635 NEW BEST:: SOT 757995 SOS 443669 HAS SOPS 443669 HAS SOUS 238170 HAS SOUPS 238170 WITH SCORE 238613.669
AT ITER 1637 NEW BEST:: SOT 757911 SOS 443585 HAS SOPS 443585 HAS SOUS 238085 HAS SOUPS 238085 WITH SCORE 238528.585
AT ITER 1643 NEW BEST:: SOT 757911 SOS 443582 HAS SOPS 443582 HAS SOUS 238085 HAS SOUPS 238085 WITH SCORE 238528.582
AT ITER 1647 NEW BEST:: SOT 757900 SOS 443560 HAS SOPS 443560 HAS SOUS 238063 HAS SOUPS 238063 WITH SCORE 238506.56
AT ITER 1648 NEW BEST:: SOT 757824 SOS 443484 HAS SOPS 443484 HAS SOUS 238013 HAS SOUPS 238013 WITH SCORE 238456.484
AT ITER 1650 NEW BEST:: SOT 757822 SOS 443482 HAS SOPS 443482 HAS SOUS 238010 HAS SOUPS 238010 WITH SCORE 238453.482
AT ITER 1657 NEW BEST:: SOT 757783 SOS 443482 HAS SOPS 443482 HAS SOUS 238009 HAS SOUPS 238009 WITH SCORE 238452.482
AT ITER 1658 NEW BEST:: SOT 757731 SOS 443326 HAS SOPS 443326 HAS SOUS 237957 HAS SOUPS 237957 WITH SCORE 238400.326
AT ITER 1659 NEW BEST:: SOT 757704 SOS 442642 HAS SOPS 442642 HAS SOUS 237708 HAS SOUPS 237708 WITH SCORE 238150.642
AT ITER 1661 NEW BEST:: SOT 757704 SOS 442642 HAS SOPS 442642 HAS SOUS 237707 HAS SOUPS 237707 WITH SCORE 238149.642
AT ITER 1675 NEW BEST:: SOT 754048 SOS 439126 HAS SOPS 439126 HAS SOUS 234310 HAS SOUPS 234310 WITH SCORE 234749.126
AT ITER 1679 NEW BEST:: SOT 754200 SOS 438692 HAS SOPS 438692 HAS SOUS 233780 HAS SOUPS 233780 WITH SCORE 234218.692
AT ITER 1686 NEW BEST:: SOT 753148 SOS 438060 HAS SOPS 438060 HAS SOUS 232970 HAS SOUPS 232970 WITH SCORE 233408.06
AT ITER 1692 NEW BEST:: SOT 753178 SOS 438090 HAS SOPS 438090 HAS SOUS 232967 HAS SOUPS 232967 WITH SCORE 233405.09
AT ITER 1696 NEW BEST:: SOT 753076 SOS 437988 HAS SOPS 437988 HAS SOUS 232865 HAS SOUPS 232865 WITH SCORE 233302.988
AT ITER 1700 NEW BEST:: SOT 753366 SOS 437157 HAS SOPS 437157 HAS SOUS 232825 HAS SOUPS 232825 WITH SCORE 233262.157
AT ITER 1705 NEW BEST:: SOT 750475 SOS 439043 HAS SOPS 439043 HAS SOUS 230296 HAS SOUPS 230296 WITH SCORE 230735.043
AT ITER 1707 NEW BEST:: SOT 750720 SOS 436924 HAS SOPS 436924 HAS SOUS 230016 HAS SOUPS 230016 WITH SCORE 230452.924
AT ITER 1710 NEW BEST:: SOT 750802 SOS 436946 HAS SOPS 436946 HAS SOUS 229913 HAS SOUPS 229913 WITH SCORE 230349.946
AT ITER 1725 NEW BEST:: SOT 750802 SOS 437727 HAS SOPS 437727 HAS SOUS 229879 HAS SOUPS 229879 WITH SCORE 230316.727
AT ITER 1731 NEW BEST:: SOT 750136 SOS 437061 HAS SOPS 437061 HAS SOUS 229213 HAS SOUPS 229213 WITH SCORE 229650.061
AT ITER 1732 NEW BEST:: SOT 750136 SOS 437046 HAS SOPS 437046 HAS SOUS 229198 HAS SOUPS 229198 WITH SCORE 229635.046
AT ITER 1736 NEW BEST:: SOT 749951 SOS 436861 HAS SOPS 436861 HAS SOUS 229012 HAS SOUPS 229012 WITH SCORE 229448.861
AT ITER 1747 NEW BEST:: SOT 749882 SOS 436792 HAS SOPS 436792 HAS SOUS 229012 HAS SOUPS 229012 WITH SCORE 229448.792
AT ITER 1750 NEW BEST:: SOT 749485 SOS 436087 HAS SOPS 436087 HAS SOUS 228307 HAS SOUPS 228307 WITH SCORE 228743.087
AT ITER 1761 NEW BEST:: SOT 749441 SOS 435801 HAS SOPS 435801 HAS SOUS 228021 HAS SOUPS 228021 WITH SCORE 228456.801
AT ITER 1767 NEW BEST:: SOT 749418 SOS 435778 HAS SOPS 435778 HAS SOUS 227997 HAS SOUPS 227997 WITH SCORE 228432.778
AT ITER 1770 NEW BEST:: SOT 749418 SOS 435732 HAS SOPS 435732 HAS SOUS 227996 HAS SOUPS 227996 WITH SCORE 228431.732
AT ITER 1771 NEW BEST:: SOT 749234 SOS 435548 HAS SOPS 435548 HAS SOUS 227811 HAS SOUPS 227811 WITH SCORE 228246.548
AT ITER 1774 NEW BEST:: SOT 749223 SOS 435537 HAS SOPS 435537 HAS SOUS 227796 HAS SOUPS 227796 WITH SCORE 228231.537
AT ITER 1777 NEW BEST:: SOT 749222 SOS 435536 HAS SOPS 435536 HAS SOUS 227794 HAS SOUPS 227794 WITH SCORE 228229.536
AT ITER 1780 NEW BEST:: SOT 749215 SOS 435526 HAS SOPS 435526 HAS SOUS 227778 HAS SOUPS 227778 WITH SCORE 228213.526
AT ITER 1805 NEW BEST:: SOT 748880 SOS 434455 HAS SOPS 434455 HAS SOUS 227604 HAS SOUPS 227604 WITH SCORE 228038.455
AT ITER 1815 NEW BEST:: SOT 748854 SOS 434478 HAS SOPS 434478 HAS SOUS 227498 HAS SOUPS 227498 WITH SCORE 227932.478
AT ITER 1817 NEW BEST:: SOT 748834 SOS 434438 HAS SOPS 434438 HAS SOUS 227458 HAS SOUPS 227458 WITH SCORE 227892.438
AT ITER 1819 NEW BEST:: SOT 748716 SOS 434320 HAS SOPS 434320 HAS SOUS 227418 HAS SOUPS 227418 WITH SCORE 227852.32
AT ITER 1833 NEW BEST:: SOT 748697 SOS 434301 HAS SOPS 434301 HAS SOUS 227399 HAS SOUPS 227399 WITH SCORE 227833.301
AT ITER 1834 NEW BEST:: SOT 748697 SOS 434222 HAS SOPS 434222 HAS SOUS 227399 HAS SOUPS 227399 WITH SCORE 227833.222
AT ITER 1840 NEW BEST:: SOT 748456 SOS 433789 HAS SOPS 433789 HAS SOUS 226966 HAS SOUPS 226966 WITH SCORE 227399.789
AT ITER 1841 NEW BEST:: SOT 748456 SOS 433778 HAS SOPS 433778 HAS SOUS 226955 HAS SOUPS 226955 WITH SCORE 227388.778
AT ITER 1842 NEW BEST:: SOT 748379 SOS 433701 HAS SOPS 433701 HAS SOUS 226878 HAS SOUPS 226878 WITH SCORE 227311.701
AT ITER 1864 NEW BEST:: SOT 748379 SOS 433261 HAS SOPS 433261 HAS SOUS 226481 HAS SOUPS 226481 WITH SCORE 226914.261
AT ITER 1884 NEW BEST:: SOT 748201 SOS 433083 HAS SOPS 433083 HAS SOUS 226303 HAS SOUPS 226303 WITH SCORE 226736.083
AT ITER 1910 NEW BEST:: SOT 748283 SOS 432864 HAS SOPS 432864 HAS SOUS 226024 HAS SOUPS 226024 WITH SCORE 226456.864
AT ITER 1916 NEW BEST:: SOT 748122 SOS 432703 HAS SOPS 432703 HAS SOUS 225863 HAS SOUPS 225863 WITH SCORE 226295.703
AT ITER 1923 NEW BEST:: SOT 747788 SOS 432369 HAS SOPS 432369 HAS SOUS 225529 HAS SOUPS 225529 WITH SCORE 225961.369
AT ITER 1933 NEW BEST:: SOT 747787 SOS 432368 HAS SOPS 432368 HAS SOUS 225527 HAS SOUPS 225527 WITH SCORE 225959.368
AT ITER 1938 NEW BEST:: SOT 747787 SOS 432346 HAS SOPS 432346 HAS SOUS 225516 HAS SOUPS 225516 WITH SCORE 225948.346
AT ITER 1939 NEW BEST:: SOT 747787 SOS 432335 HAS SOPS 432335 HAS SOUS 225516 HAS SOUPS 225516 WITH SCORE 225948.335
AT ITER 1943 NEW BEST:: SOT 747975 SOS 432354 HAS SOPS 432354 HAS SOUS 225471 HAS SOUPS 225471 WITH SCORE 225903.354
AT ITER 1944 NEW BEST:: SOT 747975 SOS 432267 HAS SOPS 432267 HAS SOUS 225384 HAS SOUPS 225384 WITH SCORE 225816.267
AT ITER 1960 NEW BEST:: SOT 747960 SOS 432138 HAS SOPS 432138 HAS SOUS 225369 HAS SOUPS 225369 WITH SCORE 225801.138
AT ITER 1978 NEW BEST:: SOT 747890 SOS 432068 HAS SOPS 432068 HAS SOUS 225330 HAS SOUPS 225330 WITH SCORE 225762.068
AT ITER 1990 NEW BEST:: SOT 747746 SOS 431924 HAS SOPS 431924 HAS SOUS 225116 HAS SOUPS 225116 WITH SCORE 225547.924
AT ITER 1991 NEW BEST:: SOT 747613 SOS 431836 HAS SOPS 431836 HAS SOUS 224973 HAS SOUPS 224973 WITH SCORE 225404.836
AT ITER 2003 NEW BEST:: SOT 747582 SOS 431545 HAS SOPS 431545 HAS SOUS 224682 HAS SOUPS 224682 WITH SCORE 225113.545
AT ITER 2006 NEW BEST:: SOT 747582 SOS 433047 HAS SOPS 433047 HAS SOUS 224546 HAS SOUPS 224546 WITH SCORE 224979.047
AT ITER 2027 NEW BEST:: SOT 747542 SOS 433028 HAS SOPS 433028 HAS SOUS 224527 HAS SOUPS 224527 WITH SCORE 224960.028
AT ITER 2035 NEW BEST:: SOT 745805 SOS 431085 HAS SOPS 431085 HAS SOUS 222584 HAS SOUPS 222584 WITH SCORE 223015.085
AT ITER 2067 NEW BEST:: SOT 745805 SOS 431085 HAS SOPS 431085 HAS SOUS 222583 HAS SOUPS 222583 WITH SCORE 223014.085
AT ITER 2070 NEW BEST:: SOT 745513 SOS 430793 HAS SOPS 430793 HAS SOUS 222387 HAS SOUPS 222387 WITH SCORE 222817.793
AT ITER 2071 NEW BEST:: SOT 745245 SOS 429597 HAS SOPS 429597 HAS SOUS 222276 HAS SOUPS 222276 WITH SCORE 222705.597
AT ITER 2084 NEW BEST:: SOT 745370 SOS 429539 HAS SOPS 429539 HAS SOUS 222263 HAS SOUPS 222263 WITH SCORE 222692.539
AT ITER 2087 NEW BEST:: SOT 745319 SOS 429378 HAS SOPS 429378 HAS SOUS 222161 HAS SOUPS 222161 WITH SCORE 222590.378
AT ITER 2096 NEW BEST:: SOT 745199 SOS 429109 HAS SOPS 429109 HAS SOUS 221892 HAS SOUPS 221892 WITH SCORE 222321.109
AT ITER 2101 NEW BEST:: SOT 743448 SOS 430599 HAS SOPS 430599 HAS SOUS 219888 HAS SOUPS 219888 WITH SCORE 220318.599
AT ITER 2109 NEW BEST:: SOT 743159 SOS 430120 HAS SOPS 430120 HAS SOUS 219552 HAS SOUPS 219552 WITH SCORE 219982.12
AT ITER 2116 NEW BEST:: SOT 743087 SOS 430048 HAS SOPS 430048 HAS SOUS 219459 HAS SOUPS 219459 WITH SCORE 219889.048
AT ITER 2134 NEW BEST:: SOT 743069 SOS 430030 HAS SOPS 430030 HAS SOUS 219441 HAS SOUPS 219441 WITH SCORE 219871.03
AT ITER 2142 NEW BEST:: SOT 742971 SOS 429932 HAS SOPS 429932 HAS SOUS 219343 HAS SOUPS 219343 WITH SCORE 219772.932
AT ITER 2153 NEW BEST:: SOT 742831 SOS 429792 HAS SOPS 429792 HAS SOUS 219203 HAS SOUPS 219203 WITH SCORE 219632.792
AT ITER 2159 NEW BEST:: SOT 742958 SOS 429534 HAS SOPS 429534 HAS SOUS 219073 HAS SOUPS 219073 WITH SCORE 219502.534
AT ITER 2161 NEW BEST:: SOT 742778 SOS 429354 HAS SOPS 429354 HAS SOUS 219021 HAS SOUPS 219021 WITH SCORE 219450.354
AT ITER 2162 NEW BEST:: SOT 741658 SOS 428234 HAS SOPS 428234 HAS SOUS 217901 HAS SOUPS 217901 WITH SCORE 218329.234
AT ITER 2175 NEW BEST:: SOT 741822 SOS 428398 HAS SOPS 428398 HAS SOUS 217849 HAS SOUPS 217849 WITH SCORE 218277.398
AT ITER 2184 NEW BEST:: SOT 741822 SOS 428352 HAS SOPS 428352 HAS SOUS 217849 HAS SOUPS 217849 WITH SCORE 218277.352
AT ITER 2199 NEW BEST:: SOT 741822 SOS 428346 HAS SOPS 428346 HAS SOUS 217843 HAS SOUPS 217843 WITH SCORE 218271.346
AT ITER 2215 NEW BEST:: SOT 741094 SOS 427618 HAS SOPS 427618 HAS SOUS 217111 HAS SOUPS 217111 WITH SCORE 217538.618
AT ITER 2228 NEW BEST:: SOT 741119 SOS 427435 HAS SOPS 427435 HAS SOUS 216961 HAS SOUPS 216961 WITH SCORE 217388.435
AT ITER 2232 NEW BEST:: SOT 741183 SOS 427298 HAS SOPS 427298 HAS SOUS 216943 HAS SOUPS 216943 WITH SCORE 217370.298
AT ITER 2235 NEW BEST:: SOT 741157 SOS 427272 HAS SOPS 427272 HAS SOUS 216916 HAS SOUPS 216916 WITH SCORE 217343.272
AT ITER 2240 NEW BEST:: SOT 738681 SOS 424796 HAS SOPS 424796 HAS SOUS 214440 HAS SOUPS 214440 WITH SCORE 214864.796
AT ITER 2243 NEW BEST:: SOT 739324 SOS 425265 HAS SOPS 425265 HAS SOUS 214387 HAS SOUPS 214387 WITH SCORE 214812.265
AT ITER 2245 NEW BEST:: SOT 739387 SOS 423364 HAS SOPS 423364 HAS SOUS 214287 HAS SOUPS 214287 WITH SCORE 214710.364
AT ITER 2284 NEW BEST:: SOT 739234 SOS 423211 HAS SOPS 423211 HAS SOUS 213828 HAS SOUPS 213828 WITH SCORE 214251.211
AT ITER 2286 NEW BEST:: SOT 739224 SOS 423138 HAS SOPS 423138 HAS SOUS 213755 HAS SOUPS 213755 WITH SCORE 214178.138
AT ITER 2299 NEW BEST:: SOT 739224 SOS 423009 HAS SOPS 423009 HAS SOUS 213616 HAS SOUPS 213616 WITH SCORE 214039.009
AT ITER 2302 NEW BEST:: SOT 739222 SOS 423007 HAS SOPS 423007 HAS SOUS 213614 HAS SOUPS 213614 WITH SCORE 214037.007
AT ITER 2316 NEW BEST:: SOT 739264 SOS 422729 HAS SOPS 422729 HAS SOUS 213336 HAS SOUPS 213336 WITH SCORE 213758.729
AT ITER 2323 NEW BEST:: SOT 739438 SOS 422582 HAS SOPS 422582 HAS SOUS 213189 HAS SOUPS 213189 WITH SCORE 213611.582
AT ITER 2325 NEW BEST:: SOT 739034 SOS 422216 HAS SOPS 422216 HAS SOUS 212823 HAS SOUPS 212823 WITH SCORE 213245.216
AT ITER 2334 NEW BEST:: SOT 738650 SOS 421448 HAS SOPS 421448 HAS SOUS 212348 HAS SOUPS 212348 WITH SCORE 212769.448
AT ITER 2340 NEW BEST:: SOT 738569 SOS 421307 HAS SOPS 421307 HAS SOUS 212207 HAS SOUPS 212207 WITH SCORE 212628.307
AT ITER 2349 NEW BEST:: SOT 738213 SOS 421040 HAS SOPS 421040 HAS SOUS 212124 HAS SOUPS 212124 WITH SCORE 212545.04
AT ITER 2352 NEW BEST:: SOT 738167 SOS 420994 HAS SOPS 420994 HAS SOUS 212124 HAS SOUPS 212124 WITH SCORE 212544.994
AT ITER 2355 NEW BEST:: SOT 738022 SOS 420254 HAS SOPS 420254 HAS SOUS 211710 HAS SOUPS 211710 WITH SCORE 212130.254
AT ITER 2364 NEW BEST:: SOT 738018 SOS 420484 HAS SOPS 420484 HAS SOUS 211702 HAS SOUPS 211702 WITH SCORE 212122.484
AT ITER 2365 NEW BEST:: SOT 737911 SOS 420176 HAS SOPS 420176 HAS SOUS 211485 HAS SOUPS 211485 WITH SCORE 211905.176
AT ITER 2368 NEW BEST:: SOT 737835 SOS 420100 HAS SOPS 420100 HAS SOUS 211484 HAS SOUPS 211484 WITH SCORE 211904.1
AT ITER 2380 NEW BEST:: SOT 737809 SOS 420048 HAS SOPS 420048 HAS SOUS 211432 HAS SOUPS 211432 WITH SCORE 211852.048
AT ITER 2392 NEW BEST:: SOT 737729 SOS 419968 HAS SOPS 419968 HAS SOUS 211352 HAS SOUPS 211352 WITH SCORE 211771.968
AT ITER 2426 NEW BEST:: SOT 737725 SOS 418420 HAS SOPS 418420 HAS SOUS 211077 HAS SOUPS 211077 WITH SCORE 211495.42
AT ITER 2427 NEW BEST:: SOT 737725 SOS 418116 HAS SOPS 418116 HAS SOUS 210903 HAS SOUPS 210903 WITH SCORE 211321.116
AT ITER 2439 NEW BEST:: SOT 737714 SOS 418105 HAS SOPS 418105 HAS SOUS 210892 HAS SOUPS 210892 WITH SCORE 211310.105
AT ITER 2452 NEW BEST:: SOT 737685 SOS 418076 HAS SOPS 418076 HAS SOUS 210823 HAS SOUPS 210823 WITH SCORE 211241.076
AT ITER 2453 NEW BEST:: SOT 737407 SOS 417656 HAS SOPS 417656 HAS SOUS 210518 HAS SOUPS 210518 WITH SCORE 210935.656
AT ITER 2461 NEW BEST:: SOT 737233 SOS 417482 HAS SOPS 417482 HAS SOUS 210344 HAS SOUPS 210344 WITH SCORE 210761.482
AT ITER 2468 NEW BEST:: SOT 737233 SOS 417349 HAS SOPS 417349 HAS SOUS 210211 HAS SOUPS 210211 WITH SCORE 210628.349
AT ITER 2489 NEW BEST:: SOT 737292 SOS 416770 HAS SOPS 416770 HAS SOUS 209931 HAS SOUPS 209931 WITH SCORE 210347.77
AT ITER 2506 NEW BEST:: SOT 736729 SOS 416069 HAS SOPS 416069 HAS SOUS 209047 HAS SOUPS 209047 WITH SCORE 209463.069
AT ITER 2507 NEW BEST:: SOT 736721 SOS 415988 HAS SOPS 415988 HAS SOUS 209009 HAS SOUPS 209009 WITH SCORE 209424.988
AT ITER 2510 NEW BEST:: SOT 736712 SOS 415970 HAS SOPS 415970 HAS SOUS 209000 HAS SOUPS 209000 WITH SCORE 209415.97
AT ITER 2514 NEW BEST:: SOT 736676 SOS 415916 HAS SOPS 415916 HAS SOUS 208946 HAS SOUPS 208946 WITH SCORE 209361.916
AT ITER 2525 NEW BEST:: SOT 736676 SOS 415880 HAS SOPS 415880 HAS SOUS 208946 HAS SOUPS 208946 WITH SCORE 209361.88
AT ITER 2545 NEW BEST:: SOT 736558 SOS 415644 HAS SOPS 415644 HAS SOUS 208709 HAS SOUPS 208709 WITH SCORE 209124.644
AT ITER 2546 NEW BEST:: SOT 736542 SOS 415628 HAS SOPS 415628 HAS SOUS 208661 HAS SOUPS 208661 WITH SCORE 209076.628
AT ITER 2558 NEW BEST:: SOT 736554 SOS 415783 HAS SOPS 415783 HAS SOUS 208616 HAS SOUPS 208616 WITH SCORE 209031.783
AT ITER 2568 NEW BEST:: SOT 736444 SOS 415770 HAS SOPS 415770 HAS SOUS 208603 HAS SOUPS 208603 WITH SCORE 209018.77
AT ITER 2572 NEW BEST:: SOT 736440 SOS 415629 HAS SOPS 415629 HAS SOUS 208577 HAS SOUPS 208577 WITH SCORE 208992.629
AT ITER 2576 NEW BEST:: SOT 736425 SOS 415614 HAS SOPS 415614 HAS SOUS 208562 HAS SOUPS 208562 WITH SCORE 208977.614
AT ITER 2593 NEW BEST:: SOT 736385 SOS 415574 HAS SOPS 415574 HAS SOUS 208465 HAS SOUPS 208465 WITH SCORE 208880.574
AT ITER 2596 NEW BEST:: SOT 733441 SOS 412630 HAS SOPS 412630 HAS SOUS 205521 HAS SOUPS 205521 WITH SCORE 205933.63
AT ITER 2597 NEW BEST:: SOT 733441 SOS 412438 HAS SOPS 412438 HAS SOUS 205521 HAS SOUPS 205521 WITH SCORE 205933.438
AT ITER 2601 NEW BEST:: SOT 733392 SOS 412389 HAS SOPS 412389 HAS SOUS 205521 HAS SOUPS 205521 WITH SCORE 205933.389
AT ITER 2612 NEW BEST:: SOT 733292 SOS 412289 HAS SOPS 412289 HAS SOUS 205421 HAS SOUPS 205421 WITH SCORE 205833.289
AT ITER 2616 NEW BEST:: SOT 733217 SOS 412214 HAS SOPS 412214 HAS SOUS 205271 HAS SOUPS 205271 WITH SCORE 205683.214
AT ITER 2627 NEW BEST:: SOT 733114 SOS 412111 HAS SOPS 412111 HAS SOUS 204903 HAS SOUPS 204903 WITH SCORE 205315.111
AT ITER 2638 NEW BEST:: SOT 732886 SOS 412010 HAS SOPS 412010 HAS SOUS 204671 HAS SOUPS 204671 WITH SCORE 205083.01
AT ITER 2639 NEW BEST:: SOT 732480 SOS 411344 HAS SOPS 411344 HAS SOUS 204184 HAS SOUPS 204184 WITH SCORE 204595.344
AT ITER 2645 NEW BEST:: SOT 732324 SOS 410642 HAS SOPS 410642 HAS SOUS 203950 HAS SOUPS 203950 WITH SCORE 204360.642
AT ITER 2677 NEW BEST:: SOT 732465 SOS 412224 HAS SOPS 412224 HAS SOUS 203879 HAS SOUPS 203879 WITH SCORE 204291.224
AT ITER 2679 NEW BEST:: SOT 732615 SOS 413323 HAS SOPS 413323 HAS SOUS 203788 HAS SOUPS 203788 WITH SCORE 204201.323
AT ITER 2699 NEW BEST:: SOT 732608 SOS 413316 HAS SOPS 413316 HAS SOUS 203781 HAS SOUPS 203781 WITH SCORE 204194.316
AT ITER 2704 NEW BEST:: SOT 732004 SOS 413185 HAS SOPS 413185 HAS SOUS 203635 HAS SOUPS 203635 WITH SCORE 204048.185
AT ITER 2709 NEW BEST:: SOT 731983 SOS 413148 HAS SOPS 413148 HAS SOUS 203619 HAS SOUPS 203619 WITH SCORE 204032.148
AT ITER 2715 NEW BEST:: SOT 732131 SOS 410754 HAS SOPS 410754 HAS SOUS 203214 HAS SOUPS 203214 WITH SCORE 203624.754
AT ITER 2730 NEW BEST:: SOT 731971 SOS 409912 HAS SOPS 409912 HAS SOUS 202781 HAS SOUPS 202781 WITH SCORE 203190.912
AT ITER 2749 NEW BEST:: SOT 731790 SOS 409693 HAS SOPS 409693 HAS SOUS 202402 HAS SOUPS 202402 WITH SCORE 202811.693
AT ITER 2764 NEW BEST:: SOT 731788 SOS 409701 HAS SOPS 409701 HAS SOUS 202285 HAS SOUPS 202285 WITH SCORE 202694.701
AT ITER 2772 NEW BEST:: SOT 731678 SOS 409449 HAS SOPS 409449 HAS SOUS 201844 HAS SOUPS 201844 WITH SCORE 202253.449
AT ITER 2775 NEW BEST:: SOT 731660 SOS 409395 HAS SOPS 409395 HAS SOUS 201808 HAS SOUPS 201808 WITH SCORE 202217.395
AT ITER 2776 NEW BEST:: SOT 731660 SOS 409333 HAS SOPS 409333 HAS SOUS 201766 HAS SOUPS 201766 WITH SCORE 202175.333
AT ITER 2778 NEW BEST:: SOT 731610 SOS 409233 HAS SOPS 409233 HAS SOUS 201666 HAS SOUPS 201666 WITH SCORE 202075.233
AT ITER 2780 NEW BEST:: SOT 731610 SOS 409281 HAS SOPS 409281 HAS SOUS 201664 HAS SOUPS 201664 WITH SCORE 202073.281
AT ITER 2783 NEW BEST:: SOT 731610 SOS 409273 HAS SOPS 409273 HAS SOUS 201663 HAS SOUPS 201663 WITH SCORE 202072.273
AT ITER 2790 NEW BEST:: SOT 731602 SOS 409265 HAS SOPS 409265 HAS SOUS 201655 HAS SOUPS 201655 WITH SCORE 202064.265
AT ITER 2796 NEW BEST:: SOT 731602 SOS 407936 HAS SOPS 407936 HAS SOUS 201655 HAS SOUPS 201655 WITH SCORE 202062.936
AT ITER 2808 NEW BEST:: SOT 731616 SOS 407931 HAS SOPS 407931 HAS SOUS 201650 HAS SOUPS 201650 WITH SCORE 202057.931
AT ITER 2810 NEW BEST:: SOT 731568 SOS 407922 HAS SOPS 407922 HAS SOUS 201649 HAS SOUPS 201649 WITH SCORE 202056.922
AT ITER 2815 NEW BEST:: SOT 731133 SOS 407555 HAS SOPS 407555 HAS SOUS 201172 HAS SOUPS 201172 WITH SCORE 201579.555
AT ITER 2820 NEW BEST:: SOT 731119 SOS 407541 HAS SOPS 407541 HAS SOUS 201158 HAS SOUPS 201158 WITH SCORE 201565.541
AT ITER 2830 NEW BEST:: SOT 731117 SOS 407377 HAS SOPS 407377 HAS SOUS 200944 HAS SOUPS 200944 WITH SCORE 201351.377
AT ITER 2849 NEW BEST:: SOT 730861 SOS 406559 HAS SOPS 406559 HAS SOUS 200688 HAS SOUPS 200688 WITH SCORE 201094.559
AT ITER 2850 NEW BEST:: SOT 730861 SOS 406559 HAS SOPS 406559 HAS SOUS 200687 HAS SOUPS 200687 WITH SCORE 201093.559
AT ITER 2851 NEW BEST:: SOT 730792 SOS 406512 HAS SOPS 406512 HAS SOUS 200463 HAS SOUPS 200463 WITH SCORE 200869.512
AT ITER 2864 NEW BEST:: SOT 730791 SOS 406719 HAS SOPS 406719 HAS SOUS 200448 HAS SOUPS 200448 WITH SCORE 200854.719
AT ITER 2879 NEW BEST:: SOT 730791 SOS 406931 HAS SOPS 406931 HAS SOUS 200259 HAS SOUPS 200259 WITH SCORE 200665.931
AT ITER 2887 NEW BEST:: SOT 730763 SOS 406903 HAS SOPS 406903 HAS SOUS 200231 HAS SOUPS 200231 WITH SCORE 200637.903
AT ITER 2891 NEW BEST:: SOT 730763 SOS 406438 HAS SOPS 406438 HAS SOUS 200171 HAS SOUPS 200171 WITH SCORE 200577.438
AT ITER 2898 NEW BEST:: SOT 730724 SOS 406399 HAS SOPS 406399 HAS SOUS 200132 HAS SOUPS 200132 WITH SCORE 200538.399
AT ITER 2926 NEW BEST:: SOT 730938 SOS 406386 HAS SOPS 406386 HAS SOUS 199858 HAS SOUPS 199858 WITH SCORE 200264.386
AT ITER 2954 NEW BEST:: SOT 730641 SOS 405709 HAS SOPS 405709 HAS SOUS 199302 HAS SOUPS 199302 WITH SCORE 199707.709
AT ITER 2963 NEW BEST:: SOT 730641 SOS 405637 HAS SOPS 405637 HAS SOUS 199290 HAS SOUPS 199290 WITH SCORE 199695.637
AT ITER 2964 NEW BEST:: SOT 730460 SOS 405530 HAS SOPS 405530 HAS SOUS 199196 HAS SOUPS 199196 WITH SCORE 199601.53
AT ITER 2977 NEW BEST:: SOT 730460 SOS 405369 HAS SOPS 405369 HAS SOUS 199196 HAS SOUPS 199196 WITH SCORE 199601.369
AT ITER 2983 NEW BEST:: SOT 730175 SOS 405084 HAS SOPS 405084 HAS SOUS 198805 HAS SOUPS 198805 WITH SCORE 199210.084
AT ITER 2986 NEW BEST:: SOT 730171 SOS 405074 HAS SOPS 405074 HAS SOUS 198795 HAS SOUPS 198795 WITH SCORE 199200.074
AT ITER 2990 NEW BEST:: SOT 730117 SOS 405071 HAS SOPS 405071 HAS SOUS 198687 HAS SOUPS 198687 WITH SCORE 199092.071
AT ITER 3007 NEW BEST:: SOT 729992 SOS 404828 HAS SOPS 404828 HAS SOUS 198498 HAS SOUPS 198498 WITH SCORE 198902.828
AT ITER 3008 NEW BEST:: SOT 729957 SOS 404793 HAS SOPS 404793 HAS SOUS 198464 HAS SOUPS 198464 WITH SCORE 198868.793
AT ITER 3026 NEW BEST:: SOT 729564 SOS 404220 HAS SOPS 404220 HAS SOUS 198101 HAS SOUPS 198101 WITH SCORE 198505.22
AT ITER 3039 NEW BEST:: SOT 729304 SOS 403960 HAS SOPS 403960 HAS SOUS 197834 HAS SOUPS 197834 WITH SCORE 198237.96
AT ITER 3041 NEW BEST:: SOT 729304 SOS 403940 HAS SOPS 403940 HAS SOUS 197814 HAS SOUPS 197814 WITH SCORE 198217.94
AT ITER 3050 NEW BEST:: SOT 729092 SOS 403725 HAS SOPS 403725 HAS SOUS 197663 HAS SOUPS 197663 WITH SCORE 198066.725
AT ITER 3069 NEW BEST:: SOT 729091 SOS 403390 HAS SOPS 403390 HAS SOUS 197661 HAS SOUPS 197661 WITH SCORE 198064.39
AT ITER 3070 NEW BEST:: SOT 729044 SOS 403014 HAS SOPS 403014 HAS SOUS 197567 HAS SOUPS 197567 WITH SCORE 197970.014
AT ITER 3081 NEW BEST:: SOT 729020 SOS 402814 HAS SOPS 402814 HAS SOUS 197458 HAS SOUPS 197458 WITH SCORE 197860.814
AT ITER 3085 NEW BEST:: SOT 728659 SOS 402499 HAS SOPS 402499 HAS SOUS 197143 HAS SOUPS 197143 WITH SCORE 197545.499
AT ITER 3093 NEW BEST:: SOT 728618 SOS 402496 HAS SOPS 402496 HAS SOUS 197140 HAS SOUPS 197140 WITH SCORE 197542.496
AT ITER 3106 NEW BEST:: SOT 728562 SOS 401735 HAS SOPS 401735 HAS SOUS 196377 HAS SOUPS 196377 WITH SCORE 196778.735
AT ITER 3129 NEW BEST:: SOT 728402 SOS 401276 HAS SOPS 401276 HAS SOUS 195796 HAS SOUPS 195796 WITH SCORE 196197.276
AT ITER 3131 NEW BEST:: SOT 728488 SOS 401171 HAS SOPS 401171 HAS SOUS 195555 HAS SOUPS 195555 WITH SCORE 195956.171
AT ITER 3151 NEW BEST:: SOT 725649 SOS 397927 HAS SOPS 397927 HAS SOUS 192611 HAS SOUPS 192611 WITH SCORE 193008.927
AT ITER 3160 NEW BEST:: SOT 725895 SOS 397749 HAS SOPS 397749 HAS SOUS 192433 HAS SOUPS 192433 WITH SCORE 192830.749
AT ITER 3172 NEW BEST:: SOT 725850 SOS 397647 HAS SOPS 397647 HAS SOUS 192217 HAS SOUPS 192217 WITH SCORE 192614.647
AT ITER 3183 NEW BEST:: SOT 725850 SOS 397609 HAS SOPS 397609 HAS SOUS 192214 HAS SOUPS 192214 WITH SCORE 192611.609
AT ITER 3190 NEW BEST:: SOT 725741 SOS 397500 HAS SOPS 397500 HAS SOUS 192105 HAS SOUPS 192105 WITH SCORE 192502.5
AT ITER 3199 NEW BEST:: SOT 725741 SOS 397500 HAS SOPS 397500 HAS SOUS 192051 HAS SOUPS 192051 WITH SCORE 192448.5
AT ITER 3211 NEW BEST:: SOT 725740 SOS 397499 HAS SOPS 397499 HAS SOUS 192025 HAS SOUPS 192025 WITH SCORE 192422.499
AT ITER 3220 NEW BEST:: SOT 725658 SOS 397417 HAS SOPS 397417 HAS SOUS 191943 HAS SOUPS 191943 WITH SCORE 192340.417
AT ITER 3254 NEW BEST:: SOT 725319 SOS 396687 HAS SOPS 396687 HAS SOUS 191489 HAS SOUPS 191489 WITH SCORE 191885.687
AT ITER 3269 NEW BEST:: SOT 725301 SOS 396651 HAS SOPS 396651 HAS SOUS 191453 HAS SOUPS 191453 WITH SCORE 191849.651
AT ITER 3274 NEW BEST:: SOT 725227 SOS 396541 HAS SOPS 396541 HAS SOUS 191321 HAS SOUPS 191321 WITH SCORE 191717.541
AT ITER 3300 NEW BEST:: SOT 724613 SOS 395927 HAS SOPS 395927 HAS SOUS 190707 HAS SOUPS 190707 WITH SCORE 191102.927
AT ITER 3301 NEW BEST:: SOT 724451 SOS 395603 HAS SOPS 395603 HAS SOUS 190383 HAS SOUPS 190383 WITH SCORE 190778.603
AT ITER 3306 NEW BEST:: SOT 724276 SOS 395078 HAS SOPS 395078 HAS SOUS 190033 HAS SOUPS 190033 WITH SCORE 190428.078
AT ITER 3319 NEW BEST:: SOT 724138 SOS 394595 HAS SOPS 394595 HAS SOUS 189757 HAS SOUPS 189757 WITH SCORE 190151.595
AT ITER 3342 NEW BEST:: SOT 724130 SOS 394579 HAS SOPS 394579 HAS SOUS 189740 HAS SOUPS 189740 WITH SCORE 190134.579
AT ITER 3344 NEW BEST:: SOT 724177 SOS 394574 HAS SOPS 394574 HAS SOUS 189735 HAS SOUPS 189735 WITH SCORE 190129.574
AT ITER 3370 NEW BEST:: SOT 724175 SOS 394561 HAS SOPS 394561 HAS SOUS 189731 HAS SOUPS 189731 WITH SCORE 190125.561
AT ITER 3375 NEW BEST:: SOT 724111 SOS 394433 HAS SOPS 394433 HAS SOUS 189667 HAS SOUPS 189667 WITH SCORE 190061.433
AT ITER 3382 NEW BEST:: SOT 723859 SOS 394559 HAS SOPS 394559 HAS SOUS 189541 HAS SOUPS 189541 WITH SCORE 189935.559
AT ITER 3393 NEW BEST:: SOT 723657 SOS 394559 HAS SOPS 394559 HAS SOUS 189458 HAS SOUPS 189458 WITH SCORE 189852.559
AT ITER 3412 NEW BEST:: SOT 723656 SOS 394558 HAS SOPS 394558 HAS SOUS 189311 HAS SOUPS 189311 WITH SCORE 189705.558
AT ITER 3419 NEW BEST:: SOT 723650 SOS 394494 HAS SOPS 394494 HAS SOUS 189305 HAS SOUPS 189305 WITH SCORE 189699.494
AT ITER 3450 NEW BEST:: SOT 723650 SOS 394539 HAS SOPS 394539 HAS SOUS 189207 HAS SOUPS 189207 WITH SCORE 189601.539
AT ITER 3470 NEW BEST:: SOT 723663 SOS 394341 HAS SOPS 394341 HAS SOUS 189015 HAS SOUPS 189015 WITH SCORE 189409.341
AT ITER 3482 NEW BEST:: SOT 723663 SOS 394339 HAS SOPS 394339 HAS SOUS 189015 HAS SOUPS 189015 WITH SCORE 189409.339
AT ITER 3488 NEW BEST:: SOT 723591 SOS 394435 HAS SOPS 394435 HAS SOUS 188943 HAS SOUPS 188943 WITH SCORE 189337.435
AT ITER 3490 NEW BEST:: SOT 723591 SOS 394445 HAS SOPS 394445 HAS SOUS 188933 HAS SOUPS 188933 WITH SCORE 189327.445
AT ITER 3510 NEW BEST:: SOT 723591 SOS 394555 HAS SOPS 394555 HAS SOUS 188911 HAS SOUPS 188911 WITH SCORE 189305.555
AT ITER 3534 NEW BEST:: SOT 723467 SOS 394431 HAS SOPS 394431 HAS SOUS 188787 HAS SOUPS 188787 WITH SCORE 189181.431
AT ITER 3559 NEW BEST:: SOT 723463 SOS 394300 HAS SOPS 394300 HAS SOUS 188779 HAS SOUPS 188779 WITH SCORE 189173.3
AT ITER 3562 NEW BEST:: SOT 723475 SOS 394274 HAS SOPS 394274 HAS SOUS 188753 HAS SOUPS 188753 WITH SCORE 189147.274
AT ITER 3601 NEW BEST:: SOT 723424 SOS 394300 HAS SOPS 394300 HAS SOUS 188690 HAS SOUPS 188690 WITH SCORE 189084.3
AT ITER 3604 NEW BEST:: SOT 723424 SOS 394298 HAS SOPS 394298 HAS SOUS 188688 HAS SOUPS 188688 WITH SCORE 189082.298
AT ITER 3612 NEW BEST:: SOT 723376 SOS 394246 HAS SOPS 394246 HAS SOUS 188636 HAS SOUPS 188636 WITH SCORE 189030.246
AT ITER 3614 NEW BEST:: SOT 722813 SOS 393578 HAS SOPS 393578 HAS SOUS 187899 HAS SOUPS 187899 WITH SCORE 188292.578
AT ITER 3616 NEW BEST:: SOT 722813 SOS 393584 HAS SOPS 393584 HAS SOUS 187895 HAS SOUPS 187895 WITH SCORE 188288.584
AT ITER 3632 NEW BEST:: SOT 722813 SOS 393296 HAS SOPS 393296 HAS SOUS 187895 HAS SOUPS 187895 WITH SCORE 188288.296
AT ITER 3645 NEW BEST:: SOT 722806 SOS 393282 HAS SOPS 393282 HAS SOUS 187753 HAS SOUPS 187753 WITH SCORE 188146.282
AT ITER 3648 NEW BEST:: SOT 722540 SOS 393016 HAS SOPS 393016 HAS SOUS 187487 HAS SOUPS 187487 WITH SCORE 187880.016
AT ITER 3663 NEW BEST:: SOT 722532 SOS 393007 HAS SOPS 393007 HAS SOUS 187478 HAS SOUPS 187478 WITH SCORE 187871.007
AT ITER 3675 NEW BEST:: SOT 722466 SOS 392875 HAS SOPS 392875 HAS SOUS 187379 HAS SOUPS 187379 WITH SCORE 187771.875
AT ITER 3677 NEW BEST:: SOT 722462 SOS 393432 HAS SOPS 393432 HAS SOUS 187180 HAS SOUPS 187180 WITH SCORE 187573.432
AT ITER 3678 NEW BEST:: SOT 722438 SOS 393414 HAS SOPS 393414 HAS SOUS 187156 HAS SOUPS 187156 WITH SCORE 187549.414
AT ITER 3680 NEW BEST:: SOT 720374 SOS 391350 HAS SOPS 391350 HAS SOUS 185082 HAS SOUPS 185082 WITH SCORE 185473.35
AT ITER 3729 NEW BEST:: SOT 720303 SOS 391279 HAS SOPS 391279 HAS SOUS 185011 HAS SOUPS 185011 WITH SCORE 185402.279
AT ITER 3746 NEW BEST:: SOT 720285 SOS 391258 HAS SOPS 391258 HAS SOUS 184903 HAS SOUPS 184903 WITH SCORE 185294.258
AT ITER 3780 NEW BEST:: SOT 720285 SOS 391244 HAS SOPS 391244 HAS SOUS 184889 HAS SOUPS 184889 WITH SCORE 185280.244
AT ITER 3799 NEW BEST:: SOT 720683 SOS 391631 HAS SOPS 391631 HAS SOUS 184833 HAS SOUPS 184833 WITH SCORE 185224.631
AT ITER 3803 NEW BEST:: SOT 720683 SOS 391563 HAS SOPS 391563 HAS SOUS 184765 HAS SOUPS 184765 WITH SCORE 185156.563
AT ITER 3804 NEW BEST:: SOT 720654 SOS 391253 HAS SOPS 391253 HAS SOUS 184735 HAS SOUPS 184735 WITH SCORE 185126.253
AT ITER 3808 NEW BEST:: SOT 720427 SOS 391026 HAS SOPS 391026 HAS SOUS 184508 HAS SOUPS 184508 WITH SCORE 184899.026
AT ITER 3829 NEW BEST:: SOT 720474 SOS 390936 HAS SOPS 390936 HAS SOUS 184463 HAS SOUPS 184463 WITH SCORE 184853.936
AT ITER 3876 NEW BEST:: SOT 720475 SOS 390959 HAS SOPS 390959 HAS SOUS 184442 HAS SOUPS 184442 WITH SCORE 184832.959
AT ITER 3897 NEW BEST:: SOT 720469 SOS 390887 HAS SOPS 390887 HAS SOUS 184400 HAS SOUPS 184400 WITH SCORE 184790.887
AT ITER 3902 NEW BEST:: SOT 720640 SOS 390893 HAS SOPS 390893 HAS SOUS 184394 HAS SOUPS 184394 WITH SCORE 184784.893
AT ITER 3918 NEW BEST:: SOT 720640 SOS 390891 HAS SOPS 390891 HAS SOUS 184394 HAS SOUPS 184394 WITH SCORE 184784.891
AT ITER 3923 NEW BEST:: SOT 720631 SOS 390867 HAS SOPS 390867 HAS SOUS 184370 HAS SOUPS 184370 WITH SCORE 184760.867
AT ITER 3936 NEW BEST:: SOT 720315 SOS 389912 HAS SOPS 389912 HAS SOUS 183626 HAS SOUPS 183626 WITH SCORE 184015.912
AT ITER 3937 NEW BEST:: SOT 720063 SOS 389660 HAS SOPS 389660 HAS SOUS 183287 HAS SOUPS 183287 WITH SCORE 183676.66
AT ITER 3944 NEW BEST:: SOT 719632 SOS 389229 HAS SOPS 389229 HAS SOUS 182850 HAS SOUPS 182850 WITH SCORE 183239.229
AT ITER 3952 NEW BEST:: SOT 719535 SOS 389061 HAS SOPS 389061 HAS SOUS 182682 HAS SOUPS 182682 WITH SCORE 183071.061
AT ITER 3955 NEW BEST:: SOT 719535 SOS 389029 HAS SOPS 389029 HAS SOUS 182682 HAS SOUPS 182682 WITH SCORE 183071.029
AT ITER 3968 NEW BEST:: SOT 719535 SOS 388993 HAS SOPS 388993 HAS SOUS 182670 HAS SOUPS 182670 WITH SCORE 183058.993
AT ITER 3971 NEW BEST:: SOT 719517 SOS 388987 HAS SOPS 388987 HAS SOUS 182664 HAS SOUPS 182664 WITH SCORE 183052.987
AT ITER 3972 NEW BEST:: SOT 719566 SOS 389036 HAS SOPS 389036 HAS SOUS 182308 HAS SOUPS 182308 WITH SCORE 182697.036
AT ITER 3995 NEW BEST:: SOT 718937 SOS 388854 HAS SOPS 388854 HAS SOUS 182128 HAS SOUPS 182128 WITH SCORE 182516.854
AT ITER 3997 NEW BEST:: SOT 718802 SOS 388057 HAS SOPS 388057 HAS SOUS 181501 HAS SOUPS 181501 WITH SCORE 181889.057
AT ITER 4001 NEW BEST:: SOT 718797 SOS 388047 HAS SOPS 388047 HAS SOUS 181491 HAS SOUPS 181491 WITH SCORE 181879.047
AT ITER 4008 NEW BEST:: SOT 718796 SOS 388046 HAS SOPS 388046 HAS SOUS 181489 HAS SOUPS 181489 WITH SCORE 181877.046
AT ITER 4020 NEW BEST:: SOT 718417 SOS 386704 HAS SOPS 386704 HAS SOUS 180579 HAS SOUPS 180579 WITH SCORE 180965.704
AT ITER 4033 NEW BEST:: SOT 718321 SOS 386161 HAS SOPS 386161 HAS SOUS 180450 HAS SOUPS 180450 WITH SCORE 180836.161
AT ITER 4040 NEW BEST:: SOT 718127 SOS 385726 HAS SOPS 385726 HAS SOUS 180176 HAS SOUPS 180176 WITH SCORE 180561.726
AT ITER 4065 NEW BEST:: SOT 717329 SOS 384883 HAS SOPS 384883 HAS SOUS 179281 HAS SOUPS 179281 WITH SCORE 179665.883
AT ITER 4072 NEW BEST:: SOT 717216 SOS 384770 HAS SOPS 384770 HAS SOUS 179167 HAS SOUPS 179167 WITH SCORE 179551.77
AT ITER 4093 NEW BEST:: SOT 717177 SOS 384731 HAS SOPS 384731 HAS SOUS 179104 HAS SOUPS 179104 WITH SCORE 179488.731
AT ITER 4098 NEW BEST:: SOT 717172 SOS 384726 HAS SOPS 384726 HAS SOUS 179099 HAS SOUPS 179099 WITH SCORE 179483.726
AT ITER 4113 NEW BEST:: SOT 717204 SOS 384758 HAS SOPS 384758 HAS SOUS 179053 HAS SOUPS 179053 WITH SCORE 179437.758
AT ITER 4167 NEW BEST:: SOT 717204 SOS 384747 HAS SOPS 384747 HAS SOUS 179042 HAS SOUPS 179042 WITH SCORE 179426.747
AT ITER 4168 NEW BEST:: SOT 717150 SOS 384730 HAS SOPS 384730 HAS SOUS 179002 HAS SOUPS 179002 WITH SCORE 179386.73
AT ITER 4181 NEW BEST:: SOT 717150 SOS 382569 HAS SOPS 382569 HAS SOUS 178902 HAS SOUPS 178902 WITH SCORE 179284.569
AT ITER 4182 NEW BEST:: SOT 717105 SOS 382596 HAS SOPS 382596 HAS SOUS 178695 HAS SOUPS 178695 WITH SCORE 179077.596
AT ITER 4186 NEW BEST:: SOT 716783 SOS 382274 HAS SOPS 382274 HAS SOUS 178413 HAS SOUPS 178413 WITH SCORE 178795.274
AT ITER 4253 NEW BEST:: SOT 716773 SOS 382264 HAS SOPS 382264 HAS SOUS 178387 HAS SOUPS 178387 WITH SCORE 178769.264
AT ITER 4274 NEW BEST:: SOT 716773 SOS 382002 HAS SOPS 382002 HAS SOUS 178387 HAS SOUPS 178387 WITH SCORE 178769.002
AT ITER 4285 NEW BEST:: SOT 716823 SOS 381862 HAS SOPS 381862 HAS SOUS 178197 HAS SOUPS 178197 WITH SCORE 178578.862
AT ITER 4299 NEW BEST:: SOT 716799 SOS 381838 HAS SOPS 381838 HAS SOUS 178173 HAS SOUPS 178173 WITH SCORE 178554.838
AT ITER 4309 NEW BEST:: SOT 716799 SOS 381805 HAS SOPS 381805 HAS SOUS 178140 HAS SOUPS 178140 WITH SCORE 178521.805
AT ITER 4313 NEW BEST:: SOT 716647 SOS 380644 HAS SOPS 380644 HAS SOUS 177808 HAS SOUPS 177808 WITH SCORE 178188.644
AT ITER 4337 NEW BEST:: SOT 716423 SOS 381820 HAS SOPS 381820 HAS SOUS 177759 HAS SOUPS 177759 WITH SCORE 178140.82
AT ITER 4366 NEW BEST:: SOT 716419 SOS 381812 HAS SOPS 381812 HAS SOUS 177751 HAS SOUPS 177751 WITH SCORE 178132.812
AT ITER 4367 NEW BEST:: SOT 716411 SOS 381796 HAS SOPS 381796 HAS SOUS 177735 HAS SOUPS 177735 WITH SCORE 178116.796
AT ITER 4387 NEW BEST:: SOT 716426 SOS 381811 HAS SOPS 381811 HAS SOUS 177726 HAS SOUPS 177726 WITH SCORE 178107.811
AT ITER 4401 NEW BEST:: SOT 716202 SOS 381587 HAS SOPS 381587 HAS SOUS 177580 HAS SOUPS 177580 WITH SCORE 177961.587
AT ITER 4404 NEW BEST:: SOT 715898 SOS 381504 HAS SOPS 381504 HAS SOUS 177252 HAS SOUPS 177252 WITH SCORE 177633.504
AT ITER 4410 NEW BEST:: SOT 715796 SOS 381402 HAS SOPS 381402 HAS SOUS 177150 HAS SOUPS 177150 WITH SCORE 177531.402
AT ITER 4419 NEW BEST:: SOT 715723 SOS 381397 HAS SOPS 381397 HAS SOUS 177116 HAS SOUPS 177116 WITH SCORE 177497.397
AT ITER 4444 NEW BEST:: SOT 715717 SOS 381369 HAS SOPS 381369 HAS SOUS 177088 HAS SOUPS 177088 WITH SCORE 177469.369
AT ITER 4445 NEW BEST:: SOT 715614 SOS 381163 HAS SOPS 381163 HAS SOUS 176911 HAS SOUPS 176911 WITH SCORE 177292.163
AT ITER 4452 NEW BEST:: SOT 715587 SOS 381136 HAS SOPS 381136 HAS SOUS 176857 HAS SOUPS 176857 WITH SCORE 177238.136
AT ITER 4453 NEW BEST:: SOT 715547 SOS 381096 HAS SOPS 381096 HAS SOUS 176817 HAS SOUPS 176817 WITH SCORE 177198.096
AT ITER 4464 NEW BEST:: SOT 715547 SOS 380979 HAS SOPS 380979 HAS SOUS 176700 HAS SOUPS 176700 WITH SCORE 177080.979
AT ITER 4516 NEW BEST:: SOT 715522 SOS 380954 HAS SOPS 380954 HAS SOUS 176675 HAS SOUPS 176675 WITH SCORE 177055.954
AT ITER 4527 NEW BEST:: SOT 715522 SOS 380697 HAS SOPS 380697 HAS SOUS 176648 HAS SOUPS 176648 WITH SCORE 177028.697
AT ITER 4538 NEW BEST:: SOT 715454 SOS 380595 HAS SOPS 380595 HAS SOUS 176546 HAS SOUPS 176546 WITH SCORE 176926.595
AT ITER 4557 NEW BEST:: SOT 715404 SOS 380595 HAS SOPS 380595 HAS SOUS 176501 HAS SOUPS 176501 WITH SCORE 176881.595
AT ITER 4569 NEW BEST:: SOT 715351 SOS 380489 HAS SOPS 380489 HAS SOUS 176395 HAS SOUPS 176395 WITH SCORE 176775.489
AT ITER 4578 NEW BEST:: SOT 715302 SOS 380447 HAS SOPS 380447 HAS SOUS 176346 HAS SOUPS 176346 WITH SCORE 176726.447
AT ITER 4591 NEW BEST:: SOT 714920 SOS 379317 HAS SOPS 379317 HAS SOUS 175733 HAS SOUPS 175733 WITH SCORE 176112.317
AT ITER 4603 NEW BEST:: SOT 714761 SOS 378919 HAS SOPS 378919 HAS SOUS 175531 HAS SOUPS 175531 WITH SCORE 175909.919
AT ITER 4607 NEW BEST:: SOT 714820 SOS 378802 HAS SOPS 378802 HAS SOUS 175437 HAS SOUPS 175437 WITH SCORE 175815.802
AT ITER 4610 NEW BEST:: SOT 714425 SOS 377947 HAS SOPS 377947 HAS SOUS 174582 HAS SOUPS 174582 WITH SCORE 174959.947
AT ITER 4611 NEW BEST:: SOT 714425 SOS 377652 HAS SOPS 377652 HAS SOUS 174582 HAS SOUPS 174582 WITH SCORE 174959.652
AT ITER 4613 NEW BEST:: SOT 714351 SOS 377578 HAS SOPS 377578 HAS SOUS 174434 HAS SOUPS 174434 WITH SCORE 174811.578
AT ITER 4650 NEW BEST:: SOT 714351 SOS 377541 HAS SOPS 377541 HAS SOUS 174397 HAS SOUPS 174397 WITH SCORE 174774.541
AT ITER 4682 NEW BEST:: SOT 714277 SOS 377691 HAS SOPS 377691 HAS SOUS 174322 HAS SOUPS 174322 WITH SCORE 174699.691
AT ITER 4690 NEW BEST:: SOT 714246 SOS 377629 HAS SOPS 377629 HAS SOUS 174260 HAS SOUPS 174260 WITH SCORE 174637.629
AT ITER 4693 NEW BEST:: SOT 714243 SOS 377698 HAS SOPS 377698 HAS SOUS 174182 HAS SOUPS 174182 WITH SCORE 174559.698
AT ITER 4718 NEW BEST:: SOT 714219 SOS 377650 HAS SOPS 377650 HAS SOUS 174134 HAS SOUPS 174134 WITH SCORE 174511.65
AT ITER 4732 NEW BEST:: SOT 714209 SOS 377597 HAS SOPS 377597 HAS SOUS 174097 HAS SOUPS 174097 WITH SCORE 174474.597
AT ITER 4733 NEW BEST:: SOT 714119 SOS 377507 HAS SOPS 377507 HAS SOUS 173917 HAS SOUPS 173917 WITH SCORE 174294.507
AT ITER 4739 NEW BEST:: SOT 714123 SOS 377352 HAS SOPS 377352 HAS SOUS 173733 HAS SOUPS 173733 WITH SCORE 174110.352
AT ITER 4758 NEW BEST:: SOT 714007 SOS 377236 HAS SOPS 377236 HAS SOUS 173558 HAS SOUPS 173558 WITH SCORE 173935.236
AT ITER 4763 NEW BEST:: SOT 713983 SOS 377078 HAS SOPS 377078 HAS SOUS 173417 HAS SOUPS 173417 WITH SCORE 173794.078
AT ITER 4800 NEW BEST:: SOT 713961 SOS 377034 HAS SOPS 377034 HAS SOUS 173373 HAS SOUPS 173373 WITH SCORE 173750.034
AT ITER 4821 NEW BEST:: SOT 713875 SOS 376951 HAS SOPS 376951 HAS SOUS 173290 HAS SOUPS 173290 WITH SCORE 173666.951
AT ITER 4836 NEW BEST:: SOT 713846 SOS 376893 HAS SOPS 376893 HAS SOUS 173232 HAS SOUPS 173232 WITH SCORE 173608.893
AT ITER 4872 NEW BEST:: SOT 713721 SOS 376395 HAS SOPS 376395 HAS SOUS 172779 HAS SOUPS 172779 WITH SCORE 173155.395
AT ITER 4877 NEW BEST:: SOT 713701 SOS 376355 HAS SOPS 376355 HAS SOUS 172739 HAS SOUPS 172739 WITH SCORE 173115.355
AT ITER 4878 NEW BEST:: SOT 713756 SOS 376093 HAS SOPS 376093 HAS SOUS 172496 HAS SOUPS 172496 WITH SCORE 172872.093
AT ITER 4884 NEW BEST:: SOT 713751 SOS 376083 HAS SOPS 376083 HAS SOUS 172486 HAS SOUPS 172486 WITH SCORE 172862.083
AT ITER 4897 NEW BEST:: SOT 713753 SOS 376085 HAS SOPS 376085 HAS SOUS 172485 HAS SOUPS 172485 WITH SCORE 172861.085
AT ITER 4919 NEW BEST:: SOT 713742 SOS 376081 HAS SOPS 376081 HAS SOUS 172463 HAS SOUPS 172463 WITH SCORE 172839.081
AT ITER 4924 NEW BEST:: SOT 713608 SOS 376059 HAS SOPS 376059 HAS SOUS 172329 HAS SOUPS 172329 WITH SCORE 172705.059
AT ITER 4977 NEW BEST:: SOT 713619 SOS 375908 HAS SOPS 375908 HAS SOUS 172178 HAS SOUPS 172178 WITH SCORE 172553.908
AT ITER 4992 NEW BEST:: SOT 713619 SOS 375669 HAS SOPS 375669 HAS SOUS 172068 HAS SOUPS 172068 WITH SCORE 172443.669
Bounds file is: CTLFireability.xml
PROPERTY: ASLink-PT-04a-CTLFireability-00 (AF( ((potential((tk(P854)>=1) & (tk(P943)>=1))))))
PROPERTY: ASLink-PT-04a-CTLFireability-01 (AF( ( (! ( (! ((potential((tk(P445)>=1) & (tk(P519)>=1))))) & (! ((potential((tk(P635)>=1) & (tk(P827)>=1))))) )) & ((potential((tk(P628)>=1) & (tk(P835)>=1)))) )))
PROPERTY: ASLink-PT-04a-CTLFireability-02 (AF( (AU( (! ((potential((tk(P431)>=1) & (tk(P670)>=1))))) , ((potential((tk(P928)>=1) & (tk(P925)>=1)))) ))))
PROPERTY: ASLink-PT-04a-CTLFireability-03 (AF( ( (! (AX( ((potential((tk(P853)>=1) & (tk(P964)>=1))))))) & (! (! ((potential((tk(P532)>=1) & (tk(P529)>=1) & (tk(P535)>=1) & (tk(P618)>=1)))))) )))
PROPERTY: ASLink-PT-04a-CTLFireability-04 (EF( (AX( (AG( ((potential((tk(P833)>=1) & (tk(P884)>=1))))))))))
PROPERTY: ASLink-PT-04a-CTLFireability-05 (EX( (EF( ( ( ((potential((tk(P815)>=1) & (tk(P885)>=1)))) | ((potential((tk(P632)>=1) & (tk(P824)>=1)))) ) & ((potential((tk(P50)>=1) & (tk(P272)>=1)))) )))))
PROPERTY: ASLink-PT-04a-CTLFireability-06 (! (EU( (! ((potential((tk(P5)>=1) & (tk(P84)>=1))))) , ( ( ((potential((tk(P624)>=1) & (tk(P822)>=1)))) & ((potential((tk(P443)>=1) & (tk(P670)>=1)))) ) | ( ((potential((tk(P447)>=1) & (tk(P601)>=1)))) & ((potential((tk(P387)>=1)))) ) ) )))
PROPERTY: ASLink-PT-04a-CTLFireability-07 (AF( (AG( ( ( ((potential((tk(P636)>=1) & (tk(P849)>=1)))) & ((potential((tk(P383)>=1)))) ) | ((potential((tk(P513)>=1)))) )))))
PROPERTY: ASLink-PT-04a-CTLFireability-08 (AX( (EF( (EF( ((potential((tk(P235)>=1) & (tk(P476)>=1))))))))))
PROPERTY: ASLink-PT-04a-CTLFireability-09 (EX( ( ( (! (! ((potential((tk(P441)>=1) & (tk(P674)>=1)))))) & (EG( ((potential((tk(P624)>=1) & (tk(P843)>=1)))))) ) | (EG( (! ((potential((tk(P630)>=1) & (tk(P830)>=1))))))) )))
PROPERTY: ASLink-PT-04a-CTLFireability-10 (AU( (! (AX( ((potential((tk(P4)>=1) & (tk(P79)>=1))))))) , ( (EF( ((potential((tk(P627)>=1) & (tk(P848)>=1)))))) | (AG( ((potential((tk(P439)>=1) & (tk(P662)>=1)))))) ) ))
PROPERTY: ASLink-PT-04a-CTLFireability-11 (EG( (AF( ((potential((tk(P548)>=1) & (tk(P619)>=1))))))))
PROPERTY: ASLink-PT-04a-CTLFireability-12 (EG( (! (! (AF( ((potential((tk(P354)>=1) & (tk(P343)>=1))))))))))
PROPERTY: ASLink-PT-04a-CTLFireability-13 ( ( ( ((potential((tk(P193)>=1)))) & (! (AG( ((potential((tk(P625)>=1) & (tk(P834)>=1))))))) ) & ( ((potential((tk(P181)>=1)))) & (EG( ( ((potential((tk(P190)>=1) & (tk(P223)>=1)))) & ((potential((tk(P815)>=1) & (tk(P887)>=1)))) ))) ) ) | (AF( (AG( (! ((potential((tk(P425)>=1) & (tk(P497)>=1))))))))) )
PROPERTY: ASLink-PT-04a-CTLFireability-14 ( (EF( (AU( ((potential((tk(P3)>=1) & (tk(P32)>=1)))) , ((potential((tk(P689)>=1) & (tk(P814)>=1)))) )))) | (! (! ( (EX( ((potential((tk(P268)>=1) & (tk(P287)>=1)))))) | (EF( ((potential((tk(P438)>=1) & (tk(P663)>=1)))))) ))) )
PROPERTY: ASLink-PT-04a-CTLFireability-15 ( (EU( (! ( ((potential((tk(P443)>=1) & (tk(P664)>=1)))) & ((potential((tk(P12)>=1) & (tk(P77)>=1)))) )) , ( ( ((potential((tk(P907)>=1)))) | ((potential((tk(P638)>=1) & (tk(P843)>=1)))) ) & (! ((potential((tk(P54)>=1) & (tk(P276)>=1))))) ) )) | ((potential((tk(P428)>=1) & (tk(P661)>=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-04a"
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-04a, 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-158897508000060"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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