Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r291-tall-167873942700328.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is PhilosophersDyn-PT-10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r291-tall-167873942700328
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 13M
-rw-r--r-- 1 mcc users 39K Feb 26 12:25 CTLCardinality.txt
-rw-r--r-- 1 mcc users 195K Feb 26 12:25 CTLCardinality.xml
-rw-r--r-- 1 mcc users 288K Feb 26 12:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 1.5M Feb 26 12:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 11K Feb 25 16:33 LTLCardinality.txt
-rw-r--r-- 1 mcc users 47K Feb 25 16:33 LTLCardinality.xml
-rw-r--r-- 1 mcc users 138K Feb 25 16:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 537K Feb 25 16:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 89K Feb 26 12:55 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 443K Feb 26 12:55 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 1.3M Feb 26 12:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 6.5M Feb 26 12:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 6.3K Feb 25 16:34 UpperBounds.txt
-rw-r--r-- 1 mcc users 14K Feb 25 16:34 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 1.8M Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678785987649

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PhilosophersDyn-PT-10
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PhilosophersDyn (PT), instance 10
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 170 places, 2310 transitions, 18190 arcs.
AT ITER 0 NEW BEST:: SOT 280768 SOS 249675 HAS SOPS 238517 HAS SOUS 150403 HAS SOUPS 149165 WITH SCORE 149414.675
AT ITER 1 NEW BEST:: SOT 283129 SOS 250206 HAS SOPS 239262 HAS SOUS 148111 HAS SOUPS 146653 WITH SCORE 146903.206
AT ITER 7 NEW BEST:: SOT 282547 SOS 249596 HAS SOPS 238680 HAS SOUS 147462 HAS SOUPS 146032 WITH SCORE 146281.596
AT ITER 10 NEW BEST:: SOT 282525 SOS 247438 HAS SOPS 237499 HAS SOUS 145442 HAS SOUPS 144104 WITH SCORE 144351.438
AT ITER 15 NEW BEST:: SOT 282711 SOS 247458 HAS SOPS 237465 HAS SOUS 144483 HAS SOUPS 143091 WITH SCORE 143338.458
AT ITER 23 NEW BEST:: SOT 282798 SOS 244720 HAS SOPS 236336 HAS SOUS 143036 HAS SOUPS 141696 WITH SCORE 141940.72
AT ITER 24 NEW BEST:: SOT 286568 SOS 246398 HAS SOPS 238166 HAS SOUS 140960 HAS SOUPS 139170 WITH SCORE 139416.398
AT ITER 37 NEW BEST:: SOT 287300 SOS 246033 HAS SOPS 237161 HAS SOUS 141032 HAS SOUPS 139106 WITH SCORE 139352.033
AT ITER 39 NEW BEST:: SOT 287256 SOS 243438 HAS SOPS 235923 HAS SOUS 139016 HAS SOUPS 137115 WITH SCORE 137358.438
AT ITER 49 NEW BEST:: SOT 287256 SOS 242627 HAS SOPS 234667 HAS SOUS 138798 HAS SOUPS 136891 WITH SCORE 137133.627
AT ITER 64 NEW BEST:: SOT 287108 SOS 242479 HAS SOPS 234519 HAS SOUS 138581 HAS SOUPS 136674 WITH SCORE 136916.479
AT ITER 68 NEW BEST:: SOT 286855 SOS 242238 HAS SOPS 234294 HAS SOUS 138189 HAS SOUPS 136282 WITH SCORE 136524.238
AT ITER 73 NEW BEST:: SOT 286702 SOS 242069 HAS SOPS 234141 HAS SOUS 137978 HAS SOUPS 136087 WITH SCORE 136329.069
AT ITER 93 NEW BEST:: SOT 285025 SOS 240322 HAS SOPS 232464 HAS SOUS 136111 HAS SOUPS 134290 WITH SCORE 134530.322
AT ITER 97 NEW BEST:: SOT 284497 SOS 240019 HAS SOPS 232383 HAS SOUS 135710 HAS SOUPS 134111 WITH SCORE 134351.019
AT ITER 99 NEW BEST:: SOT 279329 SOS 235219 HAS SOPS 227970 HAS SOUS 131759 HAS SOUPS 130521 WITH SCORE 130756.219
AT ITER 100 NEW BEST:: SOT 279156 SOS 235320 HAS SOPS 228071 HAS SOUS 131659 HAS SOUPS 130421 WITH SCORE 130656.32
AT ITER 103 NEW BEST:: SOT 279159 SOS 235323 HAS SOPS 228074 HAS SOUS 131647 HAS SOUPS 130409 WITH SCORE 130644.323
AT ITER 106 NEW BEST:: SOT 278826 SOS 234990 HAS SOPS 227743 HAS SOUS 131222 HAS SOUPS 129984 WITH SCORE 130218.99
AT ITER 116 NEW BEST:: SOT 278826 SOS 234536 HAS SOPS 227111 HAS SOUS 131176 HAS SOUPS 129932 WITH SCORE 130166.536
AT ITER 129 NEW BEST:: SOT 278373 SOS 234098 HAS SOPS 226708 HAS SOUS 130728 HAS SOUPS 129519 WITH SCORE 129753.098
AT ITER 132 NEW BEST:: SOT 278353 SOS 234078 HAS SOPS 226688 HAS SOUS 130708 HAS SOUPS 129499 WITH SCORE 129733.078
AT ITER 136 NEW BEST:: SOT 272637 SOS 228438 HAS SOPS 221076 HAS SOUS 125116 HAS SOUPS 123935 WITH SCORE 124163.438
AT ITER 142 NEW BEST:: SOT 272422 SOS 228203 HAS SOPS 220861 HAS SOUS 124869 HAS SOUPS 123708 WITH SCORE 123936.203
AT ITER 146 NEW BEST:: SOT 272329 SOS 228087 HAS SOPS 220768 HAS SOUS 124705 HAS SOUPS 123567 WITH SCORE 123795.087
AT ITER 152 NEW BEST:: SOT 271995 SOS 226574 HAS SOPS 218717 HAS SOUS 124488 HAS SOUPS 123346 WITH SCORE 123572.574
AT ITER 154 NEW BEST:: SOT 271952 SOS 226530 HAS SOPS 218674 HAS SOUS 124451 HAS SOUPS 123310 WITH SCORE 123536.53
AT ITER 155 NEW BEST:: SOT 271962 SOS 224138 HAS SOPS 217379 HAS SOUS 121900 HAS SOUPS 120727 WITH SCORE 120951.138
AT ITER 160 NEW BEST:: SOT 271953 SOS 224129 HAS SOPS 217370 HAS SOUS 121891 HAS SOUPS 120718 WITH SCORE 120942.129
AT ITER 173 NEW BEST:: SOT 270927 SOS 223103 HAS SOPS 216344 HAS SOUS 120742 HAS SOUPS 119569 WITH SCORE 119792.103
AT ITER 188 NEW BEST:: SOT 270774 SOS 222950 HAS SOPS 216191 HAS SOUS 120718 HAS SOUPS 119545 WITH SCORE 119767.95
AT ITER 191 NEW BEST:: SOT 270666 SOS 222837 HAS SOPS 216083 HAS SOUS 120681 HAS SOUPS 119513 WITH SCORE 119735.837
AT ITER 204 NEW BEST:: SOT 270492 SOS 222663 HAS SOPS 215909 HAS SOUS 120578 HAS SOUPS 119410 WITH SCORE 119632.663
AT ITER 207 NEW BEST:: SOT 270404 SOS 222575 HAS SOPS 215821 HAS SOUS 120572 HAS SOUPS 119404 WITH SCORE 119626.575
AT ITER 221 NEW BEST:: SOT 270342 SOS 222513 HAS SOPS 215759 HAS SOUS 120501 HAS SOUPS 119333 WITH SCORE 119555.513
AT ITER 227 NEW BEST:: SOT 269946 SOS 221756 HAS SOPS 215088 HAS SOUS 119736 HAS SOUPS 118660 WITH SCORE 118881.756
AT ITER 231 NEW BEST:: SOT 269904 SOS 221714 HAS SOPS 215046 HAS SOUS 119719 HAS SOUPS 118643 WITH SCORE 118864.714
AT ITER 237 NEW BEST:: SOT 267251 SOS 219061 HAS SOPS 212393 HAS SOUS 117659 HAS SOUPS 116583 WITH SCORE 116802.061
AT ITER 239 NEW BEST:: SOT 267063 SOS 218873 HAS SOPS 212205 HAS SOUS 117479 HAS SOUPS 116403 WITH SCORE 116621.873
AT ITER 250 NEW BEST:: SOT 267063 SOS 218836 HAS SOPS 211973 HAS SOUS 117399 HAS SOUPS 116319 WITH SCORE 116537.836
AT ITER 271 NEW BEST:: SOT 267122 SOS 218919 HAS SOPS 212032 HAS SOUS 117420 HAS SOUPS 116316 WITH SCORE 116534.919
AT ITER 282 NEW BEST:: SOT 266691 SOS 218499 HAS SOPS 211601 HAS SOUS 116801 HAS SOUPS 115686 WITH SCORE 115904.499
AT ITER 283 NEW BEST:: SOT 266692 SOS 218500 HAS SOPS 211602 HAS SOUS 116794 HAS SOUPS 115679 WITH SCORE 115897.5
AT ITER 290 NEW BEST:: SOT 266692 SOS 218523 HAS SOPS 211625 HAS SOUS 116790 HAS SOUPS 115675 WITH SCORE 115893.523
AT ITER 305 NEW BEST:: SOT 266681 SOS 218514 HAS SOPS 211614 HAS SOUS 116775 HAS SOUPS 115658 WITH SCORE 115876.514
AT ITER 317 NEW BEST:: SOT 266890 SOS 218796 HAS SOPS 211905 HAS SOUS 116756 HAS SOUPS 115648 WITH SCORE 115866.796
AT ITER 327 NEW BEST:: SOT 266888 SOS 218794 HAS SOPS 211903 HAS SOUS 116751 HAS SOUPS 115643 WITH SCORE 115861.794
AT ITER 341 NEW BEST:: SOT 266888 SOS 218793 HAS SOPS 211902 HAS SOUS 116750 HAS SOUPS 115642 WITH SCORE 115860.793
AT ITER 355 NEW BEST:: SOT 266826 SOS 218731 HAS SOPS 211840 HAS SOUS 116692 HAS SOUPS 115584 WITH SCORE 115802.731
AT ITER 371 NEW BEST:: SOT 266836 SOS 217088 HAS SOPS 211488 HAS SOUS 116429 HAS SOUPS 115378 WITH SCORE 115595.088
AT ITER 376 NEW BEST:: SOT 266462 SOS 216713 HAS SOPS 211114 HAS SOUS 115997 HAS SOUPS 114947 WITH SCORE 115163.713
AT ITER 377 NEW BEST:: SOT 266462 SOS 216616 HAS SOPS 210975 HAS SOUS 115985 HAS SOUPS 114933 WITH SCORE 115149.616
AT ITER 382 NEW BEST:: SOT 266390 SOS 216544 HAS SOPS 210903 HAS SOUS 115913 HAS SOUPS 114861 WITH SCORE 115077.544
AT ITER 386 NEW BEST:: SOT 266016 SOS 216170 HAS SOPS 210529 HAS SOUS 115782 HAS SOUPS 114730 WITH SCORE 114946.17
AT ITER 391 NEW BEST:: SOT 266016 SOS 215890 HAS SOPS 210159 HAS SOUS 115765 HAS SOUPS 114703 WITH SCORE 114918.89
AT ITER 400 NEW BEST:: SOT 266110 SOS 214268 HAS SOPS 210550 HAS SOUS 115492 HAS SOUPS 114447 WITH SCORE 114661.268
AT ITER 405 NEW BEST:: SOT 266094 SOS 214252 HAS SOPS 210534 HAS SOUS 115386 HAS SOUPS 114341 WITH SCORE 114555.252
AT ITER 413 NEW BEST:: SOT 266087 SOS 214245 HAS SOPS 210527 HAS SOUS 115379 HAS SOUPS 114334 WITH SCORE 114548.245
AT ITER 414 NEW BEST:: SOT 266136 SOS 214294 HAS SOPS 210576 HAS SOUS 115354 HAS SOUPS 114309 WITH SCORE 114523.294
AT ITER 417 NEW BEST:: SOT 266073 SOS 214231 HAS SOPS 210513 HAS SOUS 115298 HAS SOUPS 114253 WITH SCORE 114467.231
AT ITER 421 NEW BEST:: SOT 266048 SOS 214196 HAS SOPS 210470 HAS SOUS 115097 HAS SOUPS 114044 WITH SCORE 114258.196
AT ITER 424 NEW BEST:: SOT 265582 SOS 213720 HAS SOPS 210004 HAS SOUS 114619 HAS SOUPS 113576 WITH SCORE 113789.72
AT ITER 457 NEW BEST:: SOT 265056 SOS 213194 HAS SOPS 209478 HAS SOUS 113978 HAS SOUPS 112935 WITH SCORE 113148.194
AT ITER 463 NEW BEST:: SOT 265056 SOS 213146 HAS SOPS 209386 HAS SOUS 113965 HAS SOUPS 112923 WITH SCORE 113136.146
AT ITER 465 NEW BEST:: SOT 265052 SOS 215051 HAS SOPS 211612 HAS SOUS 113843 HAS SOUPS 112825 WITH SCORE 113040.051
AT ITER 480 NEW BEST:: SOT 264943 SOS 214942 HAS SOPS 211503 HAS SOUS 113725 HAS SOUPS 112707 WITH SCORE 112921.942
AT ITER 487 NEW BEST:: SOT 264762 SOS 214943 HAS SOPS 211504 HAS SOUS 113569 HAS SOUPS 112551 WITH SCORE 112765.943
AT ITER 491 NEW BEST:: SOT 264604 SOS 214785 HAS SOPS 211346 HAS SOUS 113411 HAS SOUPS 112393 WITH SCORE 112607.785
AT ITER 496 NEW BEST:: SOT 264612 SOS 214784 HAS SOPS 211345 HAS SOUS 113410 HAS SOUPS 112392 WITH SCORE 112606.784
AT ITER 510 NEW BEST:: SOT 264427 SOS 214585 HAS SOPS 211160 HAS SOUS 113163 HAS SOUPS 112159 WITH SCORE 112373.585
AT ITER 517 NEW BEST:: SOT 264044 SOS 214338 HAS SOPS 210997 HAS SOUS 112650 HAS SOUPS 111730 WITH SCORE 111944.338
AT ITER 534 NEW BEST:: SOT 263975 SOS 214269 HAS SOPS 210928 HAS SOUS 112578 HAS SOUPS 111658 WITH SCORE 111872.269
AT ITER 550 NEW BEST:: SOT 263954 SOS 214248 HAS SOPS 210907 HAS SOUS 112502 HAS SOUPS 111582 WITH SCORE 111796.248
AT ITER 552 NEW BEST:: SOT 263967 SOS 214261 HAS SOPS 210920 HAS SOUS 112486 HAS SOUPS 111566 WITH SCORE 111780.261
AT ITER 557 NEW BEST:: SOT 263856 SOS 214150 HAS SOPS 210809 HAS SOUS 112383 HAS SOUPS 111463 WITH SCORE 111677.15
AT ITER 564 NEW BEST:: SOT 263781 SOS 214075 HAS SOPS 210734 HAS SOUS 112285 HAS SOUPS 111365 WITH SCORE 111579.075
AT ITER 571 NEW BEST:: SOT 264499 SOS 214730 HAS SOPS 211236 HAS SOUS 111666 HAS SOUPS 110593 WITH SCORE 110807.73
AT ITER 578 NEW BEST:: SOT 264499 SOS 214826 HAS SOPS 212854 HAS SOUS 111123 HAS SOUPS 110132 WITH SCORE 110346.826
AT ITER 596 NEW BEST:: SOT 261485 SOS 213333 HAS SOPS 211202 HAS SOUS 110795 HAS SOUPS 109723 WITH SCORE 109936.333
AT ITER 598 NEW BEST:: SOT 261444 SOS 213292 HAS SOPS 211161 HAS SOUS 110754 HAS SOUPS 109682 WITH SCORE 109895.292
AT ITER 599 NEW BEST:: SOT 261270 SOS 212320 HAS SOPS 210265 HAS SOUS 110360 HAS SOUPS 109303 WITH SCORE 109515.32
AT ITER 603 NEW BEST:: SOT 261302 SOS 212352 HAS SOPS 210297 HAS SOUS 110353 HAS SOUPS 109296 WITH SCORE 109508.352
AT ITER 612 NEW BEST:: SOT 261238 SOS 212288 HAS SOPS 210233 HAS SOUS 110291 HAS SOUPS 109234 WITH SCORE 109446.288
AT ITER 620 NEW BEST:: SOT 261157 SOS 212207 HAS SOPS 210152 HAS SOUS 110124 HAS SOUPS 109067 WITH SCORE 109279.207
AT ITER 625 NEW BEST:: SOT 260460 SOS 211833 HAS SOPS 210094 HAS SOUS 109402 HAS SOUPS 108628 WITH SCORE 108839.833
AT ITER 633 NEW BEST:: SOT 260454 SOS 211833 HAS SOPS 210088 HAS SOUS 109403 HAS SOUPS 108623 WITH SCORE 108834.833
AT ITER 654 NEW BEST:: SOT 260765 SOS 217216 HAS SOPS 215679 HAS SOUS 109048 HAS SOUPS 108278 WITH SCORE 108495.216
AT ITER 655 NEW BEST:: SOT 260192 SOS 216643 HAS SOPS 215106 HAS SOUS 108388 HAS SOUPS 107618 WITH SCORE 107834.643
AT ITER 658 NEW BEST:: SOT 259748 SOS 216956 HAS SOPS 214625 HAS SOUS 108330 HAS SOUPS 107586 WITH SCORE 107802.956
AT ITER 669 NEW BEST:: SOT 259708 SOS 216916 HAS SOPS 214585 HAS SOUS 108253 HAS SOUPS 107509 WITH SCORE 107725.916
AT ITER 681 NEW BEST:: SOT 259362 SOS 216570 HAS SOPS 214239 HAS SOUS 108087 HAS SOUPS 107343 WITH SCORE 107559.57
AT ITER 684 NEW BEST:: SOT 258911 SOS 216072 HAS SOPS 213788 HAS SOUS 107477 HAS SOUPS 106780 WITH SCORE 106996.072
AT ITER 692 NEW BEST:: SOT 258890 SOS 216051 HAS SOPS 213767 HAS SOUS 107456 HAS SOUPS 106759 WITH SCORE 106975.051
AT ITER 716 NEW BEST:: SOT 258889 SOS 215387 HAS SOPS 213038 HAS SOUS 107456 HAS SOUPS 106756 WITH SCORE 106971.387
AT ITER 732 NEW BEST:: SOT 260394 SOS 216468 HAS SOPS 213948 HAS SOUS 107614 HAS SOUPS 106743 WITH SCORE 106959.468
AT ITER 733 NEW BEST:: SOT 260384 SOS 216458 HAS SOPS 213938 HAS SOUS 107604 HAS SOUPS 106733 WITH SCORE 106949.458
AT ITER 734 NEW BEST:: SOT 260357 SOS 216444 HAS SOPS 213911 HAS SOUS 107500 HAS SOUPS 106616 WITH SCORE 106832.444
AT ITER 750 NEW BEST:: SOT 260054 SOS 216113 HAS SOPS 213608 HAS SOUS 106931 HAS SOUPS 106075 WITH SCORE 106291.113
AT ITER 751 NEW BEST:: SOT 260054 SOS 216999 HAS SOPS 214541 HAS SOUS 106745 HAS SOUPS 105889 WITH SCORE 106105.999
AT ITER 763 NEW BEST:: SOT 260111 SOS 217057 HAS SOPS 214598 HAS SOUS 106735 HAS SOUPS 105878 WITH SCORE 106095.057
AT ITER 774 NEW BEST:: SOT 260114 SOS 217060 HAS SOPS 214601 HAS SOUS 106644 HAS SOUPS 105787 WITH SCORE 106004.06
AT ITER 780 NEW BEST:: SOT 260055 SOS 217001 HAS SOPS 214542 HAS SOUS 106490 HAS SOUPS 105633 WITH SCORE 105850.001
AT ITER 786 NEW BEST:: SOT 260055 SOS 217002 HAS SOPS 214542 HAS SOUS 106489 HAS SOUPS 105632 WITH SCORE 105849.002
AT ITER 791 NEW BEST:: SOT 260053 SOS 217026 HAS SOPS 214540 HAS SOUS 106227 HAS SOUPS 105370 WITH SCORE 105587.026
AT ITER 799 NEW BEST:: SOT 259610 SOS 216599 HAS SOPS 214097 HAS SOUS 105596 HAS SOUPS 104723 WITH SCORE 104939.599
AT ITER 806 NEW BEST:: SOT 259612 SOS 217270 HAS SOPS 214834 HAS SOUS 105565 HAS SOUPS 104695 WITH SCORE 104912.27
AT ITER 818 NEW BEST:: SOT 258498 SOS 216156 HAS SOPS 213720 HAS SOUS 104477 HAS SOUPS 103607 WITH SCORE 103823.156
AT ITER 821 NEW BEST:: SOT 258395 SOS 216067 HAS SOPS 213635 HAS SOUS 104383 HAS SOUPS 103517 WITH SCORE 103733.067
AT ITER 826 NEW BEST:: SOT 258238 SOS 215865 HAS SOPS 213478 HAS SOUS 103623 HAS SOUPS 102802 WITH SCORE 103017.865
AT ITER 833 NEW BEST:: SOT 257770 SOS 215407 HAS SOPS 213058 HAS SOUS 103269 HAS SOUPS 102486 WITH SCORE 102701.407
AT ITER 834 NEW BEST:: SOT 257770 SOS 215342 HAS SOPS 212998 HAS SOUS 103202 HAS SOUPS 102424 WITH SCORE 102639.342
AT ITER 838 NEW BEST:: SOT 257760 SOS 215332 HAS SOPS 212988 HAS SOUS 103192 HAS SOUPS 102414 WITH SCORE 102629.332
AT ITER 841 NEW BEST:: SOT 257466 SOS 215052 HAS SOPS 212718 HAS SOUS 102887 HAS SOUPS 102119 WITH SCORE 102334.052
AT ITER 869 NEW BEST:: SOT 257454 SOS 215040 HAS SOPS 212706 HAS SOUS 102865 HAS SOUPS 102097 WITH SCORE 102312.04
AT ITER 884 NEW BEST:: SOT 257440 SOS 215026 HAS SOPS 212692 HAS SOUS 102854 HAS SOUPS 102086 WITH SCORE 102301.026
AT ITER 887 NEW BEST:: SOT 257680 SOS 215642 HAS SOPS 213270 HAS SOUS 102757 HAS SOUPS 101936 WITH SCORE 102151.642
AT ITER 894 NEW BEST:: SOT 257573 SOS 216143 HAS SOPS 213797 HAS SOUS 102745 HAS SOUPS 101924 WITH SCORE 102140.143
AT ITER 895 NEW BEST:: SOT 257617 SOS 216171 HAS SOPS 213809 HAS SOUS 102593 HAS SOUPS 101756 WITH SCORE 101972.171
AT ITER 920 NEW BEST:: SOT 256841 SOS 215444 HAS SOPS 213121 HAS SOUS 102002 HAS SOUPS 101204 WITH SCORE 101419.444
AT ITER 943 NEW BEST:: SOT 256717 SOS 215320 HAS SOPS 212997 HAS SOUS 101877 HAS SOUPS 101079 WITH SCORE 101294.32
AT ITER 949 NEW BEST:: SOT 256711 SOS 215314 HAS SOPS 212991 HAS SOUS 101757 HAS SOUPS 100959 WITH SCORE 101174.314
AT ITER 954 NEW BEST:: SOT 256345 SOS 214948 HAS SOPS 212625 HAS SOUS 101376 HAS SOUPS 100578 WITH SCORE 100792.948
AT ITER 959 NEW BEST:: SOT 256174 SOS 214765 HAS SOPS 212454 HAS SOUS 101238 HAS SOUPS 100452 WITH SCORE 100666.765
AT ITER 981 NEW BEST:: SOT 256279 SOS 214902 HAS SOPS 212559 HAS SOUS 101228 HAS SOUPS 100415 WITH SCORE 100629.902
AT ITER 990 NEW BEST:: SOT 256279 SOS 215055 HAS SOPS 212712 HAS SOUS 101225 HAS SOUPS 100412 WITH SCORE 100627.055
AT ITER 995 NEW BEST:: SOT 256278 SOS 215054 HAS SOPS 212711 HAS SOUS 101224 HAS SOUPS 100411 WITH SCORE 100626.054
AT ITER 1000 NEW BEST:: SOT 256250 SOS 215026 HAS SOPS 212683 HAS SOUS 101077 HAS SOUPS 100264 WITH SCORE 100479.026
AT ITER 1037 NEW BEST:: SOT 256266 SOS 215151 HAS SOPS 212751 HAS SOUS 101098 HAS SOUPS 100263 WITH SCORE 100478.151
AT ITER 1043 NEW BEST:: SOT 256254 SOS 215139 HAS SOPS 212739 HAS SOUS 101084 HAS SOUPS 100249 WITH SCORE 100464.139
AT ITER 1048 NEW BEST:: SOT 256243 SOS 214606 HAS SOPS 212258 HAS SOUS 100701 HAS SOUPS 99885 WITH SCORE 100099.606
AT ITER 1053 NEW BEST:: SOT 256147 SOS 214534 HAS SOPS 212162 HAS SOUS 100579 HAS SOUPS 99750 WITH SCORE 99964.534
AT ITER 1068 NEW BEST:: SOT 256129 SOS 214516 HAS SOPS 212144 HAS SOUS 100552 HAS SOUPS 99723 WITH SCORE 99937.516
AT ITER 1077 NEW BEST:: SOT 256129 SOS 214943 HAS SOPS 212646 HAS SOUS 100468 HAS SOUPS 99646 WITH SCORE 99860.943
AT ITER 1100 NEW BEST:: SOT 256115 SOS 214929 HAS SOPS 212632 HAS SOUS 100435 HAS SOUPS 99613 WITH SCORE 99827.929
AT ITER 1101 NEW BEST:: SOT 256280 SOS 215134 HAS SOPS 212797 HAS SOUS 100439 HAS SOUPS 99577 WITH SCORE 99792.134
AT ITER 1127 NEW BEST:: SOT 256058 SOS 214466 HAS SOPS 212159 HAS SOUS 99952 HAS SOUPS 99096 WITH SCORE 99310.466
AT ITER 1132 NEW BEST:: SOT 255868 SOS 214276 HAS SOPS 211969 HAS SOUS 99739 HAS SOUPS 98883 WITH SCORE 99097.276
AT ITER 1135 NEW BEST:: SOT 256140 SOS 214499 HAS SOPS 212097 HAS SOUS 98775 HAS SOUPS 97824 WITH SCORE 98038.499
AT ITER 1137 NEW BEST:: SOT 256198 SOS 214566 HAS SOPS 212155 HAS SOUS 98773 HAS SOUPS 97813 WITH SCORE 98027.566
AT ITER 1141 NEW BEST:: SOT 256188 SOS 214556 HAS SOPS 212145 HAS SOUS 98763 HAS SOUPS 97803 WITH SCORE 98017.556
AT ITER 1153 NEW BEST:: SOT 256202 SOS 214572 HAS SOPS 212161 HAS SOUS 98705 HAS SOUPS 97745 WITH SCORE 97959.572
AT ITER 1156 NEW BEST:: SOT 256175 SOS 214545 HAS SOPS 212134 HAS SOUS 98648 HAS SOUPS 97688 WITH SCORE 97902.545
AT ITER 1165 NEW BEST:: SOT 256175 SOS 213747 HAS SOPS 211114 HAS SOUS 98462 HAS SOUPS 97500 WITH SCORE 97713.747
AT ITER 1166 NEW BEST:: SOT 256172 SOS 213822 HAS SOPS 211179 HAS SOUS 98410 HAS SOUPS 97445 WITH SCORE 97658.822
AT ITER 1174 NEW BEST:: SOT 256172 SOS 215807 HAS SOPS 213397 HAS SOUS 98336 HAS SOUPS 97384 WITH SCORE 97599.807
AT ITER 1177 NEW BEST:: SOT 256014 SOS 215669 HAS SOPS 213275 HAS SOUS 98184 HAS SOUPS 97248 WITH SCORE 97463.669
AT ITER 1202 NEW BEST:: SOT 256049 SOS 215300 HAS SOPS 213321 HAS SOUS 97933 HAS SOUPS 97011 WITH SCORE 97226.3
AT ITER 1247 NEW BEST:: SOT 256041 SOS 215196 HAS SOPS 213237 HAS SOUS 97895 HAS SOUPS 96973 WITH SCORE 97188.196
AT ITER 1275 NEW BEST:: SOT 255905 SOS 215105 HAS SOPS 213164 HAS SOUS 97819 HAS SOUPS 96915 WITH SCORE 97130.105
AT ITER 1289 NEW BEST:: SOT 255727 SOS 214922 HAS SOPS 212986 HAS SOUS 97394 HAS SOUPS 96495 WITH SCORE 96709.922
AT ITER 1300 NEW BEST:: SOT 255727 SOS 214922 HAS SOPS 212986 HAS SOUS 97386 HAS SOUPS 96487 WITH SCORE 96701.922
AT ITER 1305 NEW BEST:: SOT 255816 SOS 215012 HAS SOPS 213075 HAS SOUS 97349 HAS SOUPS 96449 WITH SCORE 96664.012
AT ITER 1326 NEW BEST:: SOT 255369 SOS 214509 HAS SOPS 212628 HAS SOUS 97168 HAS SOUPS 96324 WITH SCORE 96538.509
AT ITER 1334 NEW BEST:: SOT 255270 SOS 214410 HAS SOPS 212529 HAS SOUS 96947 HAS SOUPS 96103 WITH SCORE 96317.41
AT ITER 1359 NEW BEST:: SOT 254905 SOS 214044 HAS SOPS 212164 HAS SOUS 96620 HAS SOUPS 95777 WITH SCORE 95991.044
AT ITER 1366 NEW BEST:: SOT 254925 SOS 214064 HAS SOPS 212184 HAS SOUS 96591 HAS SOUPS 95748 WITH SCORE 95962.064
AT ITER 1375 NEW BEST:: SOT 254925 SOS 216691 HAS SOPS 214973 HAS SOUS 96481 HAS SOUPS 95667 WITH SCORE 95883.691
AT ITER 1402 NEW BEST:: SOT 254842 SOS 216608 HAS SOPS 214890 HAS SOUS 96398 HAS SOUPS 95584 WITH SCORE 95800.608
AT ITER 1404 NEW BEST:: SOT 254829 SOS 216593 HAS SOPS 214877 HAS SOUS 96394 HAS SOUPS 95582 WITH SCORE 95798.593
AT ITER 1414 NEW BEST:: SOT 254763 SOS 216527 HAS SOPS 214811 HAS SOUS 96310 HAS SOUPS 95498 WITH SCORE 95714.527
AT ITER 1418 NEW BEST:: SOT 254771 SOS 216535 HAS SOPS 214819 HAS SOUS 96286 HAS SOUPS 95474 WITH SCORE 95690.535
AT ITER 1424 NEW BEST:: SOT 254632 SOS 216394 HAS SOPS 214680 HAS SOUS 95893 HAS SOUPS 95083 WITH SCORE 95299.394
AT ITER 1455 NEW BEST:: SOT 254584 SOS 219927 HAS SOPS 218296 HAS SOUS 94973 HAS SOUPS 94169 WITH SCORE 94388.927
AT ITER 1470 NEW BEST:: SOT 254602 SOS 219892 HAS SOPS 218314 HAS SOUS 94833 HAS SOUPS 94082 WITH SCORE 94301.892
AT ITER 1499 NEW BEST:: SOT 254602 SOS 217906 HAS SOPS 216296 HAS SOUS 94764 HAS SOUPS 94010 WITH SCORE 94227.906
AT ITER 1508 NEW BEST:: SOT 254602 SOS 217328 HAS SOPS 215714 HAS SOUS 94739 HAS SOUPS 93983 WITH SCORE 94200.328
AT ITER 1525 NEW BEST:: SOT 254555 SOS 217247 HAS SOPS 215667 HAS SOUS 94661 HAS SOUPS 93939 WITH SCORE 94156.247
AT ITER 1538 NEW BEST:: SOT 254555 SOS 217248 HAS SOPS 215667 HAS SOUS 94660 HAS SOUPS 93937 WITH SCORE 94154.248
AT ITER 1551 NEW BEST:: SOT 254258 SOS 216922 HAS SOPS 215370 HAS SOUS 94489 HAS SOUPS 93795 WITH SCORE 94011.922
AT ITER 1572 NEW BEST:: SOT 254156 SOS 216820 HAS SOPS 215268 HAS SOUS 94411 HAS SOUPS 93717 WITH SCORE 93933.82
AT ITER 1608 NEW BEST:: SOT 254156 SOS 216823 HAS SOPS 215268 HAS SOUS 94405 HAS SOUPS 93708 WITH SCORE 93924.823
AT ITER 1609 NEW BEST:: SOT 254116 SOS 216783 HAS SOPS 215228 HAS SOUS 94365 HAS SOUPS 93668 WITH SCORE 93884.783
AT ITER 1634 NEW BEST:: SOT 254009 SOS 216688 HAS SOPS 215145 HAS SOUS 94272 HAS SOUPS 93587 WITH SCORE 93803.688
AT ITER 1646 NEW BEST:: SOT 254009 SOS 216288 HAS SOPS 214723 HAS SOUS 94263 HAS SOUPS 93578 WITH SCORE 93794.288
AT ITER 1671 NEW BEST:: SOT 254007 SOS 216286 HAS SOPS 214721 HAS SOUS 94261 HAS SOUPS 93576 WITH SCORE 93792.286
AT ITER 1688 NEW BEST:: SOT 253991 SOS 216270 HAS SOPS 214705 HAS SOUS 94237 HAS SOUPS 93552 WITH SCORE 93768.27
AT ITER 1709 NEW BEST:: SOT 253967 SOS 216246 HAS SOPS 214681 HAS SOUS 94213 HAS SOUPS 93528 WITH SCORE 93744.246
AT ITER 1734 NEW BEST:: SOT 253967 SOS 216246 HAS SOPS 214685 HAS SOUS 94118 HAS SOUPS 93437 WITH SCORE 93653.246
AT ITER 1736 NEW BEST:: SOT 253937 SOS 216216 HAS SOPS 214655 HAS SOUS 93988 HAS SOUPS 93307 WITH SCORE 93523.216
AT ITER 1750 NEW BEST:: SOT 253937 SOS 216410 HAS SOPS 214851 HAS SOUS 93978 HAS SOUPS 93298 WITH SCORE 93514.41
AT ITER 1806 NEW BEST:: SOT 253729 SOS 216202 HAS SOPS 214643 HAS SOUS 93720 HAS SOUPS 93040 WITH SCORE 93256.202
AT ITER 1807 NEW BEST:: SOT 253699 SOS 216172 HAS SOPS 214613 HAS SOUS 93690 HAS SOUPS 93010 WITH SCORE 93226.172
AT ITER 1826 NEW BEST:: SOT 253695 SOS 216166 HAS SOPS 214609 HAS SOUS 93685 HAS SOUPS 93007 WITH SCORE 93223.166
AT ITER 1856 NEW BEST:: SOT 253694 SOS 216165 HAS SOPS 214608 HAS SOUS 93684 HAS SOUPS 93006 WITH SCORE 93222.165
AT ITER 1918 NEW BEST:: SOT 253694 SOS 216365 HAS SOPS 214820 HAS SOUS 93679 HAS SOUPS 93001 WITH SCORE 93217.365
AT ITER 1923 NEW BEST:: SOT 253692 SOS 216376 HAS SOPS 214818 HAS SOUS 93653 HAS SOUPS 92962 WITH SCORE 93178.376
AT ITER 1944 NEW BEST:: SOT 253692 SOS 216184 HAS SOPS 214622 HAS SOUS 93641 HAS SOUPS 92950 WITH SCORE 93166.184
AT ITER 1949 NEW BEST:: SOT 253668 SOS 216160 HAS SOPS 214598 HAS SOUS 93596 HAS SOUPS 92905 WITH SCORE 93121.16
AT ITER 1983 NEW BEST:: SOT 253650 SOS 216142 HAS SOPS 214580 HAS SOUS 93555 HAS SOUPS 92864 WITH SCORE 93080.142
AT ITER 2004 NEW BEST:: SOT 253209 SOS 215734 HAS SOPS 214219 HAS SOUS 93456 HAS SOUPS 92812 WITH SCORE 93027.734
AT ITER 2014 NEW BEST:: SOT 253194 SOS 215719 HAS SOPS 214204 HAS SOUS 93444 HAS SOUPS 92800 WITH SCORE 93015.719
AT ITER 2022 NEW BEST:: SOT 252919 SOS 215438 HAS SOPS 213929 HAS SOUS 92939 HAS SOUPS 92301 WITH SCORE 92516.438
AT ITER 2031 NEW BEST:: SOT 252909 SOS 215426 HAS SOPS 213919 HAS SOUS 92909 HAS SOUPS 92273 WITH SCORE 92488.426
AT ITER 2073 NEW BEST:: SOT 252793 SOS 215308 HAS SOPS 213803 HAS SOUS 92777 HAS SOUPS 92143 WITH SCORE 92358.308
AT ITER 2091 NEW BEST:: SOT 252753 SOS 215268 HAS SOPS 213763 HAS SOUS 92737 HAS SOUPS 92103 WITH SCORE 92318.268
AT ITER 2131 NEW BEST:: SOT 252747 SOS 215262 HAS SOPS 213757 HAS SOUS 92736 HAS SOUPS 92102 WITH SCORE 92317.262
AT ITER 2132 NEW BEST:: SOT 252753 SOS 215271 HAS SOPS 213763 HAS SOUS 92703 HAS SOUPS 92066 WITH SCORE 92281.271
AT ITER 2134 NEW BEST:: SOT 252655 SOS 215159 HAS SOPS 213665 HAS SOUS 92513 HAS SOUPS 91890 WITH SCORE 92105.159
AT ITER 2155 NEW BEST:: SOT 252425 SOS 214929 HAS SOPS 213435 HAS SOUS 92417 HAS SOUPS 91794 WITH SCORE 92008.929
AT ITER 2196 NEW BEST:: SOT 252385 SOS 214887 HAS SOPS 213395 HAS SOUS 92351 HAS SOUPS 91730 WITH SCORE 91944.887
AT ITER 2198 NEW BEST:: SOT 252343 SOS 214859 HAS SOPS 213353 HAS SOUS 92217 HAS SOUPS 91582 WITH SCORE 91796.859
AT ITER 2212 NEW BEST:: SOT 252285 SOS 214813 HAS SOPS 213295 HAS SOUS 92186 HAS SOUPS 91539 WITH SCORE 91753.813
AT ITER 2219 NEW BEST:: SOT 252189 SOS 214723 HAS SOPS 213215 HAS SOUS 92168 HAS SOUPS 91531 WITH SCORE 91745.723
AT ITER 2238 NEW BEST:: SOT 252208 SOS 214742 HAS SOPS 213234 HAS SOUS 92140 HAS SOUPS 91503 WITH SCORE 91717.742
AT ITER 2243 NEW BEST:: SOT 252258 SOS 214827 HAS SOPS 213284 HAS SOUS 91844 HAS SOUPS 91172 WITH SCORE 91386.827
AT ITER 2247 NEW BEST:: SOT 252214 SOS 214792 HAS SOPS 213240 HAS SOUS 91526 HAS SOUPS 90845 WITH SCORE 91059.792
AT ITER 2255 NEW BEST:: SOT 252196 SOS 214772 HAS SOPS 213222 HAS SOUS 91482 HAS SOUPS 90803 WITH SCORE 91017.772
AT ITER 2265 NEW BEST:: SOT 252184 SOS 214760 HAS SOPS 213210 HAS SOUS 91431 HAS SOUPS 90752 WITH SCORE 90966.76
AT ITER 2275 NEW BEST:: SOT 252134 SOS 214728 HAS SOPS 213160 HAS SOUS 91420 HAS SOUPS 90723 WITH SCORE 90937.728
AT ITER 2280 NEW BEST:: SOT 252134 SOS 214618 HAS SOPS 213050 HAS SOUS 91420 HAS SOUPS 90723 WITH SCORE 90937.618
AT ITER 2291 NEW BEST:: SOT 252146 SOS 214630 HAS SOPS 213062 HAS SOUS 91401 HAS SOUPS 90704 WITH SCORE 90918.63
AT ITER 2300 NEW BEST:: SOT 252122 SOS 214606 HAS SOPS 213038 HAS SOUS 91377 HAS SOUPS 90680 WITH SCORE 90894.606
AT ITER 2311 NEW BEST:: SOT 252114 SOS 214598 HAS SOPS 213030 HAS SOUS 91365 HAS SOUPS 90668 WITH SCORE 90882.598
AT ITER 2338 NEW BEST:: SOT 251929 SOS 214408 HAS SOPS 212840 HAS SOUS 91226 HAS SOUPS 90529 WITH SCORE 90743.408
AT ITER 2343 NEW BEST:: SOT 251924 SOS 214404 HAS SOPS 212835 HAS SOUS 91213 HAS SOUPS 90515 WITH SCORE 90729.404
AT ITER 2345 NEW BEST:: SOT 252028 SOS 213758 HAS SOPS 212189 HAS SOUS 91125 HAS SOUPS 90427 WITH SCORE 90640.758
AT ITER 2346 NEW BEST:: SOT 252024 SOS 213759 HAS SOPS 212185 HAS SOUS 91100 HAS SOUPS 90397 WITH SCORE 90610.759
AT ITER 2382 NEW BEST:: SOT 252024 SOS 213214 HAS SOPS 211616 HAS SOUS 91082 HAS SOUPS 90379 WITH SCORE 90592.214
AT ITER 2384 NEW BEST:: SOT 252010 SOS 213200 HAS SOPS 211602 HAS SOUS 91063 HAS SOUPS 90360 WITH SCORE 90573.2
AT ITER 2400 NEW BEST:: SOT 251994 SOS 213184 HAS SOPS 211586 HAS SOUS 91016 HAS SOUPS 90313 WITH SCORE 90526.184
AT ITER 2412 NEW BEST:: SOT 251906 SOS 213096 HAS SOPS 211498 HAS SOUS 90888 HAS SOUPS 90185 WITH SCORE 90398.096
AT ITER 2439 NEW BEST:: SOT 251890 SOS 213080 HAS SOPS 211482 HAS SOUS 90872 HAS SOUPS 90169 WITH SCORE 90382.08
AT ITER 2473 NEW BEST:: SOT 251895 SOS 213086 HAS SOPS 211487 HAS SOUS 90870 HAS SOUPS 90166 WITH SCORE 90379.086
AT ITER 2488 NEW BEST:: SOT 251897 SOS 213088 HAS SOPS 211489 HAS SOUS 90850 HAS SOUPS 90146 WITH SCORE 90359.088
AT ITER 2506 NEW BEST:: SOT 251897 SOS 213088 HAS SOPS 211489 HAS SOUS 90848 HAS SOUPS 90144 WITH SCORE 90357.088
AT ITER 2558 NEW BEST:: SOT 251811 SOS 213002 HAS SOPS 211403 HAS SOUS 90762 HAS SOUPS 90058 WITH SCORE 90271.002
AT ITER 2566 NEW BEST:: SOT 251748 SOS 212987 HAS SOPS 211400 HAS SOUS 90713 HAS SOUPS 90021 WITH SCORE 90233.987
AT ITER 2575 NEW BEST:: SOT 251853 SOS 213151 HAS SOPS 211579 HAS SOUS 90677 HAS SOUPS 90000 WITH SCORE 90213.151
AT ITER 2598 NEW BEST:: SOT 251834 SOS 213131 HAS SOPS 211560 HAS SOUS 90646 HAS SOUPS 89970 WITH SCORE 90183.131
AT ITER 2602 NEW BEST:: SOT 251821 SOS 213118 HAS SOPS 211547 HAS SOUS 90632 HAS SOUPS 89956 WITH SCORE 90169.118
AT ITER 2608 NEW BEST:: SOT 251820 SOS 213118 HAS SOPS 211546 HAS SOUS 90628 HAS SOUPS 89951 WITH SCORE 90164.118
AT ITER 2642 NEW BEST:: SOT 251820 SOS 213118 HAS SOPS 211546 HAS SOUS 90622 HAS SOUPS 89945 WITH SCORE 90158.118
AT ITER 2647 NEW BEST:: SOT 251608 SOS 212905 HAS SOPS 211334 HAS SOUS 90401 HAS SOUPS 89725 WITH SCORE 89937.905
AT ITER 2656 NEW BEST:: SOT 251464 SOS 212721 HAS SOPS 211145 HAS SOUS 90373 HAS SOUPS 89692 WITH SCORE 89904.721
AT ITER 2663 NEW BEST:: SOT 251450 SOS 212707 HAS SOPS 211131 HAS SOUS 90355 HAS SOUPS 89674 WITH SCORE 89886.707
AT ITER 2668 NEW BEST:: SOT 251447 SOS 212704 HAS SOPS 211128 HAS SOUS 90312 HAS SOUPS 89631 WITH SCORE 89843.704
AT ITER 2691 NEW BEST:: SOT 251447 SOS 212474 HAS SOPS 210884 HAS SOUS 90306 HAS SOUPS 89625 WITH SCORE 89837.474
AT ITER 2702 NEW BEST:: SOT 251374 SOS 212392 HAS SOPS 210802 HAS SOUS 90251 HAS SOUPS 89570 WITH SCORE 89782.392
AT ITER 2724 NEW BEST:: SOT 251309 SOS 212286 HAS SOPS 210683 HAS SOUS 90162 HAS SOUPS 89468 WITH SCORE 89680.286
AT ITER 2745 NEW BEST:: SOT 251337 SOS 212321 HAS SOPS 210711 HAS SOUS 90134 HAS SOUPS 89433 WITH SCORE 89645.321
AT ITER 2900 NEW BEST:: SOT 251294 SOS 212278 HAS SOPS 210668 HAS SOUS 90055 HAS SOUPS 89354 WITH SCORE 89566.278
AT ITER 2901 NEW BEST:: SOT 251273 SOS 212257 HAS SOPS 210647 HAS SOUS 90034 HAS SOUPS 89333 WITH SCORE 89545.257
AT ITER 2926 NEW BEST:: SOT 251213 SOS 212197 HAS SOPS 210587 HAS SOUS 89974 HAS SOUPS 89273 WITH SCORE 89485.197
AT ITER 2933 NEW BEST:: SOT 251418 SOS 212561 HAS SOPS 210951 HAS SOUS 89958 HAS SOUPS 89257 WITH SCORE 89469.561
AT ITER 2943 NEW BEST:: SOT 251418 SOS 212558 HAS SOPS 210951 HAS SOUS 89884 HAS SOUPS 89186 WITH SCORE 89398.558
AT ITER 2960 NEW BEST:: SOT 251418 SOS 212558 HAS SOPS 210955 HAS SOUS 89792 HAS SOUPS 89098 WITH SCORE 89310.558
AT ITER 3073 NEW BEST:: SOT 251408 SOS 212548 HAS SOPS 210945 HAS SOUS 89782 HAS SOUPS 89088 WITH SCORE 89300.548
AT ITER 3095 NEW BEST:: SOT 251357 SOS 212497 HAS SOPS 210894 HAS SOUS 89731 HAS SOUPS 89037 WITH SCORE 89249.497
AT ITER 3098 NEW BEST:: SOT 251339 SOS 212483 HAS SOPS 210876 HAS SOUS 89703 HAS SOUPS 89005 WITH SCORE 89217.483
AT ITER 3111 NEW BEST:: SOT 251334 SOS 212477 HAS SOPS 210871 HAS SOUS 89683 HAS SOUPS 88986 WITH SCORE 89198.477
AT ITER 3142 NEW BEST:: SOT 251318 SOS 212461 HAS SOPS 210855 HAS SOUS 89667 HAS SOUPS 88970 WITH SCORE 89182.461
AT ITER 3180 NEW BEST:: SOT 251324 SOS 212541 HAS SOPS 210933 HAS SOUS 89640 HAS SOUPS 88943 WITH SCORE 89155.541
AT ITER 3181 NEW BEST:: SOT 251310 SOS 212527 HAS SOPS 210919 HAS SOUS 89620 HAS SOUPS 88923 WITH SCORE 89135.527
AT ITER 3185 NEW BEST:: SOT 251300 SOS 212517 HAS SOPS 210909 HAS SOUS 89610 HAS SOUPS 88913 WITH SCORE 89125.517
AT ITER 3194 NEW BEST:: SOT 251222 SOS 212439 HAS SOPS 210831 HAS SOUS 89532 HAS SOUPS 88835 WITH SCORE 89047.439
AT ITER 3203 NEW BEST:: SOT 251266 SOS 212479 HAS SOPS 210866 HAS SOUS 89525 HAS SOUPS 88823 WITH SCORE 89035.479
AT ITER 3215 NEW BEST:: SOT 251259 SOS 212473 HAS SOPS 210859 HAS SOUS 89510 HAS SOUPS 88807 WITH SCORE 89019.473
AT ITER 3267 NEW BEST:: SOT 251223 SOS 212432 HAS SOPS 210823 HAS SOUS 89419 HAS SOUPS 88721 WITH SCORE 88933.432
AT ITER 3284 NEW BEST:: SOT 251221 SOS 212428 HAS SOPS 210821 HAS SOUS 89417 HAS SOUPS 88721 WITH SCORE 88933.428
AT ITER 3307 NEW BEST:: SOT 251220 SOS 212427 HAS SOPS 210820 HAS SOUS 89415 HAS SOUPS 88719 WITH SCORE 88931.427
AT ITER 3314 NEW BEST:: SOT 251164 SOS 212367 HAS SOPS 210764 HAS SOUS 89360 HAS SOUPS 88668 WITH SCORE 88880.367
AT ITER 3402 NEW BEST:: SOT 251146 SOS 212349 HAS SOPS 210746 HAS SOUS 89332 HAS SOUPS 88640 WITH SCORE 88852.349
AT ITER 3451 NEW BEST:: SOT 252749 SOS 214294 HAS SOPS 212791 HAS SOUS 89229 HAS SOUPS 88637 WITH SCORE 88851.294
AT ITER 3471 NEW BEST:: SOT 252693 SOS 214238 HAS SOPS 212735 HAS SOUS 89173 HAS SOUPS 88581 WITH SCORE 88795.238
AT ITER 3472 NEW BEST:: SOT 252551 SOS 214116 HAS SOPS 212629 HAS SOUS 89028 HAS SOUPS 88452 WITH SCORE 88666.116
AT ITER 3485 NEW BEST:: SOT 252431 SOS 213996 HAS SOPS 212509 HAS SOUS 88855 HAS SOUPS 88279 WITH SCORE 88492.996
AT ITER 3514 NEW BEST:: SOT 252430 SOS 213996 HAS SOPS 212508 HAS SOUS 88846 HAS SOUPS 88269 WITH SCORE 88482.996
AT ITER 3569 NEW BEST:: SOT 252410 SOS 213976 HAS SOPS 212488 HAS SOUS 88791 HAS SOUPS 88214 WITH SCORE 88427.976
AT ITER 3607 NEW BEST:: SOT 252040 SOS 213592 HAS SOPS 212118 HAS SOUS 88774 HAS SOUPS 88211 WITH SCORE 88424.592
AT ITER 3628 NEW BEST:: SOT 251980 SOS 213532 HAS SOPS 212058 HAS SOUS 88714 HAS SOUPS 88151 WITH SCORE 88364.532
AT ITER 3638 NEW BEST:: SOT 251945 SOS 213497 HAS SOPS 212023 HAS SOUS 88628 HAS SOUPS 88065 WITH SCORE 88278.497
AT ITER 3667 NEW BEST:: SOT 251846 SOS 213398 HAS SOPS 211924 HAS SOUS 88590 HAS SOUPS 88027 WITH SCORE 88240.398
AT ITER 3703 NEW BEST:: SOT 251840 SOS 213392 HAS SOPS 211918 HAS SOUS 88581 HAS SOUPS 88018 WITH SCORE 88231.392
AT ITER 3771 NEW BEST:: SOT 251536 SOS 213088 HAS SOPS 211614 HAS SOUS 88369 HAS SOUPS 87806 WITH SCORE 88019.088
AT ITER 3797 NEW BEST:: SOT 251536 SOS 213078 HAS SOPS 211603 HAS SOUS 88368 HAS SOUPS 87805 WITH SCORE 88018.078
AT ITER 3817 NEW BEST:: SOT 251537 SOS 213079 HAS SOPS 211604 HAS SOUS 88348 HAS SOUPS 87785 WITH SCORE 87998.079
AT ITER 3917 NEW BEST:: SOT 251527 SOS 213069 HAS SOPS 211594 HAS SOUS 88347 HAS SOUPS 87784 WITH SCORE 87997.069
AT ITER 4032 NEW BEST:: SOT 251520 SOS 213062 HAS SOPS 211587 HAS SOUS 88267 HAS SOUPS 87704 WITH SCORE 87917.062
AT ITER 4042 NEW BEST:: SOT 251580 SOS 213133 HAS SOPS 211647 HAS SOUS 88244 HAS SOUPS 87670 WITH SCORE 87883.133
AT ITER 4107 NEW BEST:: SOT 251580 SOS 212582 HAS SOPS 211672 HAS SOUS 88236 HAS SOUPS 87670 WITH SCORE 87882.582
AT ITER 4220 NEW BEST:: SOT 251587 SOS 212589 HAS SOPS 211679 HAS SOUS 88201 HAS SOUPS 87635 WITH SCORE 87847.589
AT ITER 4229 NEW BEST:: SOT 251578 SOS 212580 HAS SOPS 211670 HAS SOUS 88170 HAS SOUPS 87604 WITH SCORE 87816.58
AT ITER 4287 NEW BEST:: SOT 251518 SOS 212520 HAS SOPS 211610 HAS SOUS 88051 HAS SOUPS 87485 WITH SCORE 87697.52
AT ITER 4292 NEW BEST:: SOT 251434 SOS 212436 HAS SOPS 211526 HAS SOUS 87959 HAS SOUPS 87393 WITH SCORE 87605.436
AT ITER 4318 NEW BEST:: SOT 251407 SOS 212411 HAS SOPS 211499 HAS SOUS 87899 HAS SOUPS 87331 WITH SCORE 87543.411
AT ITER 4328 NEW BEST:: SOT 251360 SOS 212378 HAS SOPS 211452 HAS SOUS 87716 HAS SOUPS 87134 WITH SCORE 87346.378
AT ITER 4380 NEW BEST:: SOT 251008 SOS 211702 HAS SOPS 210776 HAS SOUS 87211 HAS SOUPS 86629 WITH SCORE 86840.702
AT ITER 4393 NEW BEST:: SOT 251016 SOS 211714 HAS SOPS 210784 HAS SOUS 87200 HAS SOUPS 86614 WITH SCORE 86825.714
AT ITER 4406 NEW BEST:: SOT 251359 SOS 212006 HAS SOPS 211047 HAS SOUS 87010 HAS SOUPS 86395 WITH SCORE 86607.006
AT ITER 4408 NEW BEST:: SOT 251359 SOS 211375 HAS SOPS 210396 HAS SOUS 86982 HAS SOUPS 86367 WITH SCORE 86578.375
AT ITER 4422 NEW BEST:: SOT 250678 SOS 210583 HAS SOPS 209604 HAS SOUS 86178 HAS SOUPS 85563 WITH SCORE 85773.583
AT ITER 4432 NEW BEST:: SOT 250651 SOS 210548 HAS SOPS 209577 HAS SOUS 86134 HAS SOUPS 85527 WITH SCORE 85737.548
AT ITER 4444 NEW BEST:: SOT 250647 SOS 210541 HAS SOPS 209573 HAS SOUS 86129 HAS SOUPS 85525 WITH SCORE 85735.541
AT ITER 4445 NEW BEST:: SOT 250615 SOS 210509 HAS SOPS 209541 HAS SOUS 86091 HAS SOUPS 85487 WITH SCORE 85697.509
AT ITER 4459 NEW BEST:: SOT 250652 SOS 210546 HAS SOPS 209578 HAS SOUS 86070 HAS SOUPS 85466 WITH SCORE 85676.546
AT ITER 4485 NEW BEST:: SOT 250652 SOS 211521 HAS SOPS 210580 HAS SOUS 85952 HAS SOUPS 85359 WITH SCORE 85570.521
AT ITER 4495 NEW BEST:: SOT 250652 SOS 211521 HAS SOPS 210580 HAS SOUS 85928 HAS SOUPS 85335 WITH SCORE 85546.521
AT ITER 4503 NEW BEST:: SOT 250600 SOS 211466 HAS SOPS 210528 HAS SOUS 85844 HAS SOUPS 85254 WITH SCORE 85465.466
AT ITER 4530 NEW BEST:: SOT 250532 SOS 211401 HAS SOPS 210468 HAS SOUS 85803 HAS SOUPS 85218 WITH SCORE 85429.401
AT ITER 4554 NEW BEST:: SOT 250513 SOS 211382 HAS SOPS 210449 HAS SOUS 85768 HAS SOUPS 85183 WITH SCORE 85394.382
AT ITER 4567 NEW BEST:: SOT 250513 SOS 211027 HAS SOPS 210070 HAS SOUS 85756 HAS SOUPS 85171 WITH SCORE 85382.027
AT ITER 4579 NEW BEST:: SOT 250508 SOS 211023 HAS SOPS 210065 HAS SOUS 85729 HAS SOUPS 85143 WITH SCORE 85354.023
AT ITER 4631 NEW BEST:: SOT 250359 SOS 210922 HAS SOPS 209988 HAS SOUS 85638 HAS SOUPS 85076 WITH SCORE 85286.922
AT ITER 4643 NEW BEST:: SOT 250325 SOS 210888 HAS SOPS 209954 HAS SOUS 85608 HAS SOUPS 85046 WITH SCORE 85256.888
AT ITER 4646 NEW BEST:: SOT 250325 SOS 211244 HAS SOPS 209950 HAS SOUS 85610 HAS SOUPS 85043 WITH SCORE 85254.244
AT ITER 4680 NEW BEST:: SOT 250325 SOS 211253 HAS SOPS 209950 HAS SOUS 85610 HAS SOUPS 85034 WITH SCORE 85245.253
AT ITER 4730 NEW BEST:: SOT 250101 SOS 211019 HAS SOPS 209726 HAS SOUS 85336 HAS SOUPS 84770 WITH SCORE 84981.019
AT ITER 4756 NEW BEST:: SOT 250101 SOS 211019 HAS SOPS 209726 HAS SOUS 85330 HAS SOUPS 84764 WITH SCORE 84975.019
AT ITER 4791 NEW BEST:: SOT 249801 SOS 210719 HAS SOPS 209426 HAS SOUS 84833 HAS SOUPS 84267 WITH SCORE 84477.719
AT ITER 4809 NEW BEST:: SOT 249801 SOS 210717 HAS SOPS 209424 HAS SOUS 84723 HAS SOUPS 84157 WITH SCORE 84367.717
AT ITER 4810 NEW BEST:: SOT 249779 SOS 210689 HAS SOPS 209402 HAS SOUS 84669 HAS SOUPS 84109 WITH SCORE 84319.689
AT ITER 4818 NEW BEST:: SOT 249663 SOS 210573 HAS SOPS 209286 HAS SOUS 84546 HAS SOUPS 83986 WITH SCORE 84196.573
AT ITER 4843 NEW BEST:: SOT 249659 SOS 210569 HAS SOPS 209282 HAS SOUS 84532 HAS SOUPS 83972 WITH SCORE 84182.569
AT ITER 4900 NEW BEST:: SOT 249659 SOS 210569 HAS SOPS 209282 HAS SOUS 84526 HAS SOUPS 83966 WITH SCORE 84176.569
AT ITER 4943 NEW BEST:: SOT 249536 SOS 210446 HAS SOPS 209159 HAS SOUS 84492 HAS SOUPS 83932 WITH SCORE 84142.446
AT ITER 4944 NEW BEST:: SOT 249531 SOS 210440 HAS SOPS 209154 HAS SOUS 84481 HAS SOUPS 83922 WITH SCORE 84132.44
AT ITER 5045 NEW BEST:: SOT 249530 SOS 210439 HAS SOPS 209153 HAS SOUS 84473 HAS SOUPS 83914 WITH SCORE 84124.439
AT ITER 5195 NEW BEST:: SOT 249501 SOS 210410 HAS SOPS 209124 HAS SOUS 84408 HAS SOUPS 83849 WITH SCORE 84059.41
AT ITER 5241 NEW BEST:: SOT 249470 SOS 210379 HAS SOPS 209093 HAS SOUS 84389 HAS SOUPS 83830 WITH SCORE 84040.379
AT ITER 5271 NEW BEST:: SOT 249470 SOS 210352 HAS SOPS 209066 HAS SOUS 84389 HAS SOUPS 83830 WITH SCORE 84040.352
AT ITER 5289 NEW BEST:: SOT 249468 SOS 210351 HAS SOPS 209064 HAS SOUS 84383 HAS SOUPS 83823 WITH SCORE 84033.351
AT ITER 5327 NEW BEST:: SOT 249466 SOS 210349 HAS SOPS 209062 HAS SOUS 84375 HAS SOUPS 83815 WITH SCORE 84025.349
AT ITER 5363 NEW BEST:: SOT 248904 SOS 209841 HAS SOPS 208580 HAS SOUS 84193 HAS SOUPS 83659 WITH SCORE 83868.841
AT ITER 5402 NEW BEST:: SOT 248904 SOS 209241 HAS SOPS 207972 HAS SOUS 84169 HAS SOUPS 83633 WITH SCORE 83842.241
AT ITER 5466 NEW BEST:: SOT 249296 SOS 209856 HAS SOPS 208602 HAS SOUS 84153 HAS SOUPS 83632 WITH SCORE 83841.856
AT ITER 5474 NEW BEST:: SOT 249211 SOS 209771 HAS SOPS 208517 HAS SOUS 84001 HAS SOUPS 83480 WITH SCORE 83689.771
AT ITER 5531 NEW BEST:: SOT 249181 SOS 209741 HAS SOPS 208487 HAS SOUS 83971 HAS SOUPS 83450 WITH SCORE 83659.741
AT ITER 5587 NEW BEST:: SOT 249181 SOS 209740 HAS SOPS 208486 HAS SOUS 83970 HAS SOUPS 83449 WITH SCORE 83658.74
AT ITER 5619 NEW BEST:: SOT 249175 SOS 209734 HAS SOPS 208480 HAS SOUS 83958 HAS SOUPS 83437 WITH SCORE 83646.734
AT ITER 5650 NEW BEST:: SOT 249110 SOS 209662 HAS SOPS 208415 HAS SOUS 83913 HAS SOUPS 83399 WITH SCORE 83608.662
AT ITER 5665 NEW BEST:: SOT 249104 SOS 209656 HAS SOPS 208409 HAS SOUS 83907 HAS SOUPS 83393 WITH SCORE 83602.656
AT ITER 5715 NEW BEST:: SOT 249104 SOS 209651 HAS SOPS 208404 HAS SOUS 83907 HAS SOUPS 83393 WITH SCORE 83602.651
AT ITER 5716 NEW BEST:: SOT 249107 SOS 209655 HAS SOPS 208407 HAS SOUS 83903 HAS SOUPS 83388 WITH SCORE 83597.655
AT ITER 5726 NEW BEST:: SOT 249106 SOS 209654 HAS SOPS 208406 HAS SOUS 83902 HAS SOUPS 83387 WITH SCORE 83596.654
AT ITER 5762 NEW BEST:: SOT 249045 SOS 209604 HAS SOPS 208345 HAS SOUS 83850 HAS SOUPS 83324 WITH SCORE 83533.604
AT ITER 5771 NEW BEST:: SOT 248803 SOS 209450 HAS SOPS 208191 HAS SOUS 83633 HAS SOUPS 83107 WITH SCORE 83316.45
AT ITER 5827 NEW BEST:: SOT 248782 SOS 209429 HAS SOPS 208170 HAS SOUS 83615 HAS SOUPS 83089 WITH SCORE 83298.429
AT ITER 5839 NEW BEST:: SOT 248611 SOS 209258 HAS SOPS 207999 HAS SOUS 83507 HAS SOUPS 82981 WITH SCORE 83190.258
AT ITER 5859 NEW BEST:: SOT 248593 SOS 209240 HAS SOPS 207981 HAS SOUS 83453 HAS SOUPS 82927 WITH SCORE 83136.24
AT ITER 5881 NEW BEST:: SOT 248585 SOS 209232 HAS SOPS 207973 HAS SOUS 83447 HAS SOUPS 82921 WITH SCORE 83130.232
AT ITER 5911 NEW BEST:: SOT 248585 SOS 209232 HAS SOPS 207973 HAS SOUS 83438 HAS SOUPS 82912 WITH SCORE 83121.232
AT ITER 5920 NEW BEST:: SOT 248483 SOS 209130 HAS SOPS 207871 HAS SOUS 83348 HAS SOUPS 82822 WITH SCORE 83031.13
AT ITER 5991 NEW BEST:: SOT 248483 SOS 208730 HAS SOPS 207467 HAS SOUS 83332 HAS SOUPS 82804 WITH SCORE 83012.73
AT ITER 6021 NEW BEST:: SOT 248468 SOS 208715 HAS SOPS 207452 HAS SOUS 83296 HAS SOUPS 82768 WITH SCORE 82976.715
AT ITER 6022 NEW BEST:: SOT 248384 SOS 208631 HAS SOPS 207368 HAS SOUS 83143 HAS SOUPS 82615 WITH SCORE 82823.631
AT ITER 6060 NEW BEST:: SOT 248372 SOS 208619 HAS SOPS 207356 HAS SOUS 83140 HAS SOUPS 82612 WITH SCORE 82820.619
AT ITER 6100 NEW BEST:: SOT 248272 SOS 208519 HAS SOPS 207256 HAS SOUS 83040 HAS SOUPS 82512 WITH SCORE 82720.519
AT ITER 6159 NEW BEST:: SOT 248272 SOS 208509 HAS SOPS 207246 HAS SOUS 83039 HAS SOUPS 82511 WITH SCORE 82719.509
AT ITER 6170 NEW BEST:: SOT 248183 SOS 208420 HAS SOPS 207157 HAS SOUS 82968 HAS SOUPS 82440 WITH SCORE 82648.42
AT ITER 6180 NEW BEST:: SOT 248187 SOS 208424 HAS SOPS 207161 HAS SOUS 82904 HAS SOUPS 82376 WITH SCORE 82584.424
AT ITER 6185 NEW BEST:: SOT 248145 SOS 208382 HAS SOPS 207119 HAS SOUS 82872 HAS SOUPS 82344 WITH SCORE 82552.382
AT ITER 6209 NEW BEST:: SOT 248088 SOS 208317 HAS SOPS 207062 HAS SOUS 82807 HAS SOUPS 82287 WITH SCORE 82495.317
AT ITER 6220 NEW BEST:: SOT 248088 SOS 208376 HAS SOPS 207127 HAS SOUS 82674 HAS SOUPS 82160 WITH SCORE 82368.376
AT ITER 6229 NEW BEST:: SOT 248074 SOS 208355 HAS SOPS 207113 HAS SOUS 82648 HAS SOUPS 82141 WITH SCORE 82349.355
AT ITER 6234 NEW BEST:: SOT 248074 SOS 208355 HAS SOPS 207113 HAS SOUS 82645 HAS SOUPS 82138 WITH SCORE 82346.355
AT ITER 6299 NEW BEST:: SOT 247978 SOS 208259 HAS SOPS 207017 HAS SOUS 82479 HAS SOUPS 81972 WITH SCORE 82180.259
AT ITER 6359 NEW BEST:: SOT 247918 SOS 208196 HAS SOPS 206957 HAS SOUS 82359 HAS SOUPS 81855 WITH SCORE 82063.196
AT ITER 6465 NEW BEST:: SOT 247848 SOS 208126 HAS SOPS 206887 HAS SOUS 82281 HAS SOUPS 81777 WITH SCORE 81985.126
AT ITER 6479 NEW BEST:: SOT 247848 SOS 208124 HAS SOPS 206887 HAS SOUS 82279 HAS SOUPS 81777 WITH SCORE 81985.124
AT ITER 6666 NEW BEST:: SOT 247842 SOS 208118 HAS SOPS 206881 HAS SOUS 82268 HAS SOUPS 81766 WITH SCORE 81974.118
AT ITER 6667 NEW BEST:: SOT 247853 SOS 208133 HAS SOPS 206892 HAS SOUS 82254 HAS SOUPS 81748 WITH SCORE 81956.133
AT ITER 6689 NEW BEST:: SOT 247848 SOS 208134 HAS SOPS 206894 HAS SOUS 82242 HAS SOUPS 81737 WITH SCORE 81945.134
AT ITER 6754 NEW BEST:: SOT 247467 SOS 207773 HAS SOPS 206561 HAS SOUS 82057 HAS SOUPS 81580 WITH SCORE 81787.773
AT ITER 6756 NEW BEST:: SOT 247393 SOS 207699 HAS SOPS 206487 HAS SOUS 82003 HAS SOUPS 81526 WITH SCORE 81733.699
AT ITER 6825 NEW BEST:: SOT 247392 SOS 207702 HAS SOPS 206486 HAS SOUS 82000 HAS SOUPS 81519 WITH SCORE 81726.702
AT ITER 6835 NEW BEST:: SOT 247392 SOS 207568 HAS SOPS 206348 HAS SOUS 81992 HAS SOUPS 81511 WITH SCORE 81718.568
AT ITER 6875 NEW BEST:: SOT 247386 SOS 207562 HAS SOPS 206342 HAS SOUS 81986 HAS SOUPS 81505 WITH SCORE 81712.562
AT ITER 6878 NEW BEST:: SOT 247378 SOS 207551 HAS SOPS 206334 HAS SOUS 81981 HAS SOUPS 81503 WITH SCORE 81710.551
AT ITER 6962 NEW BEST:: SOT 247411 SOS 207580 HAS SOPS 206359 HAS SOUS 81952 HAS SOUPS 81470 WITH SCORE 81677.58
AT ITER 7000 NEW BEST:: SOT 247511 SOS 207665 HAS SOPS 206435 HAS SOUS 81958 HAS SOUPS 81467 WITH SCORE 81674.665
AT ITER 7033 NEW BEST:: SOT 247509 SOS 207663 HAS SOPS 206433 HAS SOUS 81957 HAS SOUPS 81466 WITH SCORE 81673.663
AT ITER 7035 NEW BEST:: SOT 247462 SOS 207616 HAS SOPS 206386 HAS SOUS 81885 HAS SOUPS 81394 WITH SCORE 81601.616
AT ITER 7062 NEW BEST:: SOT 247456 SOS 207610 HAS SOPS 206380 HAS SOUS 81835 HAS SOUPS 81344 WITH SCORE 81551.61
AT ITER 7077 NEW BEST:: SOT 247450 SOS 207604 HAS SOPS 206374 HAS SOUS 81820 HAS SOUPS 81329 WITH SCORE 81536.604
AT ITER 7107 NEW BEST:: SOT 247452 SOS 207605 HAS SOPS 206376 HAS SOUS 81813 HAS SOUPS 81323 WITH SCORE 81530.605
AT ITER 7264 NEW BEST:: SOT 247452 SOS 207569 HAS SOPS 206340 HAS SOUS 81813 HAS SOUPS 81323 WITH SCORE 81530.569
AT ITER 7270 NEW BEST:: SOT 247444 SOS 207560 HAS SOPS 206332 HAS SOUS 81812 HAS SOUPS 81323 WITH SCORE 81530.56
AT ITER 7410 NEW BEST:: SOT 247446 SOS 207566 HAS SOPS 206334 HAS SOUS 81810 HAS SOUPS 81317 WITH SCORE 81524.566
AT ITER 7425 NEW BEST:: SOT 247450 SOS 207570 HAS SOPS 206338 HAS SOUS 81778 HAS SOUPS 81285 WITH SCORE 81492.57
AT ITER 7452 NEW BEST:: SOT 247436 SOS 207556 HAS SOPS 206324 HAS SOUS 81739 HAS SOUPS 81246 WITH SCORE 81453.556
AT ITER 7563 NEW BEST:: SOT 247436 SOS 207556 HAS SOPS 206324 HAS SOUS 81730 HAS SOUPS 81237 WITH SCORE 81444.556
AT ITER 7594 NEW BEST:: SOT 247364 SOS 207481 HAS SOPS 206252 HAS SOUS 81618 HAS SOUPS 81128 WITH SCORE 81335.481
AT ITER 7711 NEW BEST:: SOT 247159 SOS 207276 HAS SOPS 206047 HAS SOUS 81596 HAS SOUPS 81106 WITH SCORE 81313.276
AT ITER 7768 NEW BEST:: SOT 247159 SOS 207253 HAS SOPS 206024 HAS SOUS 81591 HAS SOUPS 81101 WITH SCORE 81308.253
AT ITER 7842 NEW BEST:: SOT 247083 SOS 207173 HAS SOPS 205948 HAS SOUS 81487 HAS SOUPS 81001 WITH SCORE 81208.173
AT ITER 7852 NEW BEST:: SOT 247083 SOS 207151 HAS SOPS 205926 HAS SOUS 81487 HAS SOUPS 81001 WITH SCORE 81208.151
AT ITER 7910 NEW BEST:: SOT 247083 SOS 207151 HAS SOPS 205926 HAS SOUS 81485 HAS SOUPS 80999 WITH SCORE 81206.151
AT ITER 7976 NEW BEST:: SOT 246982 SOS 207039 HAS SOPS 205825 HAS SOUS 81427 HAS SOUPS 80952 WITH SCORE 81159.039
AT ITER 8055 NEW BEST:: SOT 246892 SOS 206949 HAS SOPS 205735 HAS SOUS 81397 HAS SOUPS 80922 WITH SCORE 81128.949
AT ITER 8245 NEW BEST:: SOT 246944 SOS 207001 HAS SOPS 205787 HAS SOUS 81391 HAS SOUPS 80916 WITH SCORE 81123.001
AT ITER 8295 NEW BEST:: SOT 246880 SOS 206937 HAS SOPS 205723 HAS SOUS 81333 HAS SOUPS 80858 WITH SCORE 81064.937
AT ITER 8335 NEW BEST:: SOT 246489 SOS 206546 HAS SOPS 205332 HAS SOUS 81310 HAS SOUPS 80835 WITH SCORE 81041.546
AT ITER 8379 NEW BEST:: SOT 246489 SOS 205896 HAS SOPS 204682 HAS SOUS 81310 HAS SOUPS 80835 WITH SCORE 81040.896
AT ITER 8414 NEW BEST:: SOT 246469 SOS 205876 HAS SOPS 204662 HAS SOUS 81290 HAS SOUPS 80815 WITH SCORE 81020.876
AT ITER 8454 NEW BEST:: SOT 246465 SOS 205872 HAS SOPS 204658 HAS SOUS 81282 HAS SOUPS 80807 WITH SCORE 81012.872
AT ITER 8469 NEW BEST:: SOT 246453 SOS 205858 HAS SOPS 204646 HAS SOUS 81270 HAS SOUPS 80797 WITH SCORE 81002.858
AT ITER 8540 NEW BEST:: SOT 246453 SOS 205875 HAS SOPS 204646 HAS SOUS 81262 HAS SOUPS 80772 WITH SCORE 80977.875
AT ITER 8562 NEW BEST:: SOT 246453 SOS 205875 HAS SOPS 204646 HAS SOUS 81260 HAS SOUPS 80770 WITH SCORE 80975.875
AT ITER 8638 NEW BEST:: SOT 246453 SOS 206305 HAS SOPS 205076 HAS SOUS 81258 HAS SOUPS 80768 WITH SCORE 80974.305
AT ITER 8641 NEW BEST:: SOT 246268 SOS 206140 HAS SOPS 204923 HAS SOUS 81168 HAS SOUPS 80690 WITH SCORE 80896.14
AT ITER 8642 NEW BEST:: SOT 246268 SOS 206140 HAS SOPS 204923 HAS SOUS 81164 HAS SOUPS 80686 WITH SCORE 80892.14
AT ITER 8694 NEW BEST:: SOT 246185 SOS 206053 HAS SOPS 204840 HAS SOUS 81023 HAS SOUPS 80549 WITH SCORE 80755.053
AT ITER 8710 NEW BEST:: SOT 246115 SOS 205983 HAS SOPS 204770 HAS SOUS 80926 HAS SOUPS 80452 WITH SCORE 80657.983
AT ITER 8726 NEW BEST:: SOT 246115 SOS 205983 HAS SOPS 204770 HAS SOUS 80920 HAS SOUPS 80446 WITH SCORE 80651.983
AT ITER 8730 NEW BEST:: SOT 246115 SOS 205972 HAS SOPS 204759 HAS SOUS 80920 HAS SOUPS 80446 WITH SCORE 80651.972
AT ITER 8801 NEW BEST:: SOT 246105 SOS 205962 HAS SOPS 204749 HAS SOUS 80910 HAS SOUPS 80436 WITH SCORE 80641.962
AT ITER 8888 NEW BEST:: SOT 246105 SOS 205962 HAS SOPS 204749 HAS SOUS 80909 HAS SOUPS 80435 WITH SCORE 80640.962
AT ITER 8937 NEW BEST:: SOT 245967 SOS 205819 HAS SOPS 204611 HAS SOUS 80732 HAS SOUPS 80263 WITH SCORE 80468.819
AT ITER 8942 NEW BEST:: SOT 245967 SOS 205819 HAS SOPS 204611 HAS SOUS 80730 HAS SOUPS 80261 WITH SCORE 80466.819
AT ITER 9066 NEW BEST:: SOT 245994 SOS 205831 HAS SOPS 204614 HAS SOUS 80584 HAS SOUPS 80106 WITH SCORE 80311.831
AT ITER 9206 NEW BEST:: SOT 245986 SOS 205821 HAS SOPS 204606 HAS SOUS 80560 HAS SOUPS 80084 WITH SCORE 80289.821
AT ITER 9321 NEW BEST:: SOT 245986 SOS 205821 HAS SOPS 204606 HAS SOUS 80499 HAS SOUPS 80023 WITH SCORE 80228.821
AT ITER 9350 NEW BEST:: SOT 245966 SOS 205801 HAS SOPS 204586 HAS SOUS 80479 HAS SOUPS 80003 WITH SCORE 80208.801
AT ITER 9467 NEW BEST:: SOT 245601 SOS 205436 HAS SOPS 204221 HAS SOUS 80309 HAS SOUPS 79833 WITH SCORE 80038.436
AT ITER 9539 NEW BEST:: SOT 245607 SOS 205447 HAS SOPS 204227 HAS SOUS 80273 HAS SOUPS 79792 WITH SCORE 79997.447
AT ITER 9594 NEW BEST:: SOT 245425 SOS 205251 HAS SOPS 204045 HAS SOUS 79977 HAS SOUPS 79510 WITH SCORE 79715.251
AT ITER 9599 NEW BEST:: SOT 245221 SOS 205053 HAS SOPS 203857 HAS SOUS 79772 HAS SOUPS 79315 WITH SCORE 79520.053
AT ITER 9762 NEW BEST:: SOT 245215 SOS 205047 HAS SOPS 203851 HAS SOUS 79754 HAS SOUPS 79297 WITH SCORE 79502.047
AT ITER 9809 NEW BEST:: SOT 245143 SOS 204971 HAS SOPS 203779 HAS SOUS 79606 HAS SOUPS 79153 WITH SCORE 79357.971
AT ITER 9840 NEW BEST:: SOT 245026 SOS 204799 HAS SOPS 203598 HAS SOUS 79480 HAS SOUPS 79018 WITH SCORE 79222.799
AT ITER 9880 NEW BEST:: SOT 245003 SOS 204776 HAS SOPS 203575 HAS SOUS 79473 HAS SOUPS 79011 WITH SCORE 79215.776
AT ITER 9923 NEW BEST:: SOT 245003 SOS 204598 HAS SOPS 203397 HAS SOUS 79473 HAS SOUPS 79011 WITH SCORE 79215.598
AT ITER 9986 NEW BEST:: SOT 244972 SOS 204560 HAS SOPS 203366 HAS SOUS 79394 HAS SOUPS 78939 WITH SCORE 79143.56
STATE_SPACE STATES 199051 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 20 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 10221400 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16137616 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PhilosophersDyn-PT-10"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is PhilosophersDyn-PT-10, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r291-tall-167873942700328"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PhilosophersDyn-PT-10.tgz
mv PhilosophersDyn-PT-10 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;