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.r033-smll-158901926000308.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 CloudDeployment-PT-4b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r033-smll-158901926000308
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 760K
-rw-r--r-- 1 mcc users 3.2K Mar 30 01:17 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 30 01:17 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Mar 28 15:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 11K Mar 28 15:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Mar 27 08:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 27 08:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 26 07:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 26 07:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 591K 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 CloudDeployment-PT-4b-CTLFireability-00
FORMULA_NAME CloudDeployment-PT-4b-CTLFireability-01
FORMULA_NAME CloudDeployment-PT-4b-CTLFireability-02
FORMULA_NAME CloudDeployment-PT-4b-CTLFireability-03
FORMULA_NAME CloudDeployment-PT-4b-CTLFireability-04
FORMULA_NAME CloudDeployment-PT-4b-CTLFireability-05
FORMULA_NAME CloudDeployment-PT-4b-CTLFireability-06
FORMULA_NAME CloudDeployment-PT-4b-CTLFireability-07
FORMULA_NAME CloudDeployment-PT-4b-CTLFireability-08
FORMULA_NAME CloudDeployment-PT-4b-CTLFireability-09
FORMULA_NAME CloudDeployment-PT-4b-CTLFireability-10
FORMULA_NAME CloudDeployment-PT-4b-CTLFireability-11
FORMULA_NAME CloudDeployment-PT-4b-CTLFireability-12
FORMULA_NAME CloudDeployment-PT-4b-CTLFireability-13
FORMULA_NAME CloudDeployment-PT-4b-CTLFireability-14
FORMULA_NAME CloudDeployment-PT-4b-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589146433745

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudDeployment (PT), instance 4b
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: 1182 places, 1824 transitions, 8741 arcs.
AT ITER 0 NEW BEST:: SOT 1371630 SOS 370547 HAS SOPS 370547 HAS SOUS 239087 HAS SOUPS 239087 WITH SCORE 239457.547
AT ITER 3 NEW BEST:: SOT 1376641 SOS 376709 HAS SOPS 376709 HAS SOUS 234240 HAS SOUPS 234240 WITH SCORE 234616.709
AT ITER 7 NEW BEST:: SOT 1376420 SOS 377055 HAS SOPS 377055 HAS SOUS 234208 HAS SOUPS 234208 WITH SCORE 234585.055
AT ITER 12 NEW BEST:: SOT 1376419 SOS 376875 HAS SOPS 376875 HAS SOUS 234028 HAS SOUPS 234028 WITH SCORE 234404.875
AT ITER 13 NEW BEST:: SOT 1376390 SOS 377197 HAS SOPS 377197 HAS SOUS 233999 HAS SOUPS 233999 WITH SCORE 234376.197
AT ITER 18 NEW BEST:: SOT 1376390 SOS 377197 HAS SOPS 377197 HAS SOUS 233976 HAS SOUPS 233976 WITH SCORE 234353.197
AT ITER 23 NEW BEST:: SOT 1376389 SOS 377195 HAS SOPS 377195 HAS SOUS 233974 HAS SOUPS 233974 WITH SCORE 234351.195
AT ITER 29 NEW BEST:: SOT 1376486 SOS 377389 HAS SOPS 377389 HAS SOUS 233928 HAS SOUPS 233928 WITH SCORE 234305.389
AT ITER 55 NEW BEST:: SOT 1376371 SOS 377545 HAS SOPS 377545 HAS SOUS 233824 HAS SOUPS 233824 WITH SCORE 234201.545
AT ITER 66 NEW BEST:: SOT 1376122 SOS 377379 HAS SOPS 377379 HAS SOUS 233612 HAS SOUPS 233612 WITH SCORE 233989.379
AT ITER 77 NEW BEST:: SOT 1375972 SOS 377079 HAS SOPS 377079 HAS SOUS 233312 HAS SOUPS 233312 WITH SCORE 233689.079
AT ITER 83 NEW BEST:: SOT 1375692 SOS 377843 HAS SOPS 377843 HAS SOUS 233309 HAS SOUPS 233309 WITH SCORE 233686.843
AT ITER 99 NEW BEST:: SOT 1375787 SOS 378033 HAS SOPS 378033 HAS SOUS 233222 HAS SOUPS 233222 WITH SCORE 233600.033
AT ITER 100 NEW BEST:: SOT 1375755 SOS 377969 HAS SOPS 377969 HAS SOUS 233190 HAS SOUPS 233190 WITH SCORE 233567.969
AT ITER 115 NEW BEST:: SOT 1375744 SOS 377958 HAS SOPS 377958 HAS SOUS 233179 HAS SOUPS 233179 WITH SCORE 233556.958
AT ITER 136 NEW BEST:: SOT 1375564 SOS 377598 HAS SOPS 377598 HAS SOUS 232765 HAS SOUPS 232765 WITH SCORE 233142.598
AT ITER 140 NEW BEST:: SOT 1375309 SOS 381264 HAS SOPS 381264 HAS SOUS 232510 HAS SOUPS 232510 WITH SCORE 232891.264
AT ITER 141 NEW BEST:: SOT 1375246 SOS 381138 HAS SOPS 381138 HAS SOUS 232198 HAS SOUPS 232198 WITH SCORE 232579.138
AT ITER 145 NEW BEST:: SOT 1375157 SOS 380960 HAS SOPS 380960 HAS SOUS 231929 HAS SOUPS 231929 WITH SCORE 232309.96
AT ITER 175 NEW BEST:: SOT 1375088 SOS 380916 HAS SOPS 380916 HAS SOUS 231885 HAS SOUPS 231885 WITH SCORE 232265.916
AT ITER 183 NEW BEST:: SOT 1375049 SOS 380838 HAS SOPS 380838 HAS SOUS 231846 HAS SOUPS 231846 WITH SCORE 232226.838
AT ITER 184 NEW BEST:: SOT 1375198 SOS 381285 HAS SOPS 381285 HAS SOUS 231697 HAS SOUPS 231697 WITH SCORE 232078.285
AT ITER 199 NEW BEST:: SOT 1375113 SOS 381012 HAS SOPS 381012 HAS SOUS 231562 HAS SOUPS 231562 WITH SCORE 231943.012
AT ITER 200 NEW BEST:: SOT 1374850 SOS 380831 HAS SOPS 380831 HAS SOUS 231184 HAS SOUPS 231184 WITH SCORE 231564.831
AT ITER 211 NEW BEST:: SOT 1374690 SOS 380333 HAS SOPS 380333 HAS SOUS 230882 HAS SOUPS 230882 WITH SCORE 231262.333
AT ITER 217 NEW BEST:: SOT 1374419 SOS 381161 HAS SOPS 381161 HAS SOUS 230611 HAS SOUPS 230611 WITH SCORE 230992.161
AT ITER 219 NEW BEST:: SOT 1374266 SOS 380739 HAS SOPS 380739 HAS SOUS 230142 HAS SOUPS 230142 WITH SCORE 230522.739
AT ITER 227 NEW BEST:: SOT 1374048 SOS 380303 HAS SOPS 380303 HAS SOUS 229909 HAS SOUPS 229909 WITH SCORE 230289.303
AT ITER 246 NEW BEST:: SOT 1373990 SOS 380187 HAS SOPS 380187 HAS SOUS 229793 HAS SOUPS 229793 WITH SCORE 230173.187
AT ITER 251 NEW BEST:: SOT 1374051 SOS 380451 HAS SOPS 380451 HAS SOUS 229773 HAS SOUPS 229773 WITH SCORE 230153.451
AT ITER 272 NEW BEST:: SOT 1374051 SOS 380645 HAS SOPS 380645 HAS SOUS 229738 HAS SOUPS 229738 WITH SCORE 230118.645
AT ITER 285 NEW BEST:: SOT 1373984 SOS 380645 HAS SOPS 380645 HAS SOUS 229721 HAS SOUPS 229721 WITH SCORE 230101.645
AT ITER 297 NEW BEST:: SOT 1373983 SOS 380805 HAS SOPS 380805 HAS SOUS 229237 HAS SOUPS 229237 WITH SCORE 229617.805
AT ITER 311 NEW BEST:: SOT 1373982 SOS 380803 HAS SOPS 380803 HAS SOUS 229235 HAS SOUPS 229235 WITH SCORE 229615.803
AT ITER 316 NEW BEST:: SOT 1373857 SOS 381297 HAS SOPS 381297 HAS SOUS 229078 HAS SOUPS 229078 WITH SCORE 229459.297
AT ITER 319 NEW BEST:: SOT 1372754 SOS 382787 HAS SOPS 382787 HAS SOUS 228206 HAS SOUPS 228206 WITH SCORE 228588.787
AT ITER 326 NEW BEST:: SOT 1372521 SOS 382321 HAS SOPS 382321 HAS SOUS 227839 HAS SOUPS 227839 WITH SCORE 228221.321
AT ITER 329 NEW BEST:: SOT 1372520 SOS 382319 HAS SOPS 382319 HAS SOUS 227837 HAS SOUPS 227837 WITH SCORE 228219.319
AT ITER 333 NEW BEST:: SOT 1372412 SOS 382492 HAS SOPS 382492 HAS SOUS 227492 HAS SOUPS 227492 WITH SCORE 227874.492
AT ITER 366 NEW BEST:: SOT 1372377 SOS 382422 HAS SOPS 382422 HAS SOUS 227422 HAS SOUPS 227422 WITH SCORE 227804.422
AT ITER 373 NEW BEST:: SOT 1371854 SOS 382720 HAS SOPS 382720 HAS SOUS 227067 HAS SOUPS 227067 WITH SCORE 227449.72
AT ITER 389 NEW BEST:: SOT 1371854 SOS 382231 HAS SOPS 382231 HAS SOUS 227067 HAS SOUPS 227067 WITH SCORE 227449.231
AT ITER 394 NEW BEST:: SOT 1371854 SOS 382199 HAS SOPS 382199 HAS SOUS 227034 HAS SOUPS 227034 WITH SCORE 227416.199
AT ITER 400 NEW BEST:: SOT 1371924 SOS 382129 HAS SOPS 382129 HAS SOUS 227034 HAS SOUPS 227034 WITH SCORE 227416.129
AT ITER 405 NEW BEST:: SOT 1371876 SOS 382081 HAS SOPS 382081 HAS SOUS 226986 HAS SOUPS 226986 WITH SCORE 227368.081
AT ITER 408 NEW BEST:: SOT 1371753 SOS 381959 HAS SOPS 381959 HAS SOUS 226910 HAS SOUPS 226910 WITH SCORE 227291.959
AT ITER 422 NEW BEST:: SOT 1371723 SOS 382085 HAS SOPS 382085 HAS SOUS 226880 HAS SOUPS 226880 WITH SCORE 227262.085
AT ITER 423 NEW BEST:: SOT 1371723 SOS 382405 HAS SOPS 382405 HAS SOUS 226794 HAS SOUPS 226794 WITH SCORE 227176.405
AT ITER 449 NEW BEST:: SOT 1366624 SOS 377271 HAS SOPS 377271 HAS SOUS 224932 HAS SOUPS 224932 WITH SCORE 225309.271
AT ITER 504 NEW BEST:: SOT 1366652 SOS 377327 HAS SOPS 377327 HAS SOUS 224911 HAS SOUPS 224911 WITH SCORE 225288.327
AT ITER 530 NEW BEST:: SOT 1366398 SOS 377073 HAS SOPS 377073 HAS SOUS 220159 HAS SOUPS 220159 WITH SCORE 220536.073
AT ITER 540 NEW BEST:: SOT 1366336 SOS 376949 HAS SOPS 376949 HAS SOUS 220097 HAS SOUPS 220097 WITH SCORE 220473.949
AT ITER 546 NEW BEST:: SOT 1366288 SOS 376853 HAS SOPS 376853 HAS SOUS 220001 HAS SOUPS 220001 WITH SCORE 220377.853
AT ITER 547 NEW BEST:: SOT 1366264 SOS 376829 HAS SOPS 376829 HAS SOUS 219977 HAS SOUPS 219977 WITH SCORE 220353.829
AT ITER 559 NEW BEST:: SOT 1366274 SOS 376708 HAS SOPS 376708 HAS SOUS 219950 HAS SOUPS 219950 WITH SCORE 220326.708
AT ITER 560 NEW BEST:: SOT 1366274 SOS 376708 HAS SOPS 376708 HAS SOUS 219948 HAS SOUPS 219948 WITH SCORE 220324.708
AT ITER 587 NEW BEST:: SOT 1366274 SOS 376708 HAS SOPS 376708 HAS SOUS 219907 HAS SOUPS 219907 WITH SCORE 220283.708
AT ITER 591 NEW BEST:: SOT 1366230 SOS 376664 HAS SOPS 376664 HAS SOUS 219878 HAS SOUPS 219878 WITH SCORE 220254.664
AT ITER 607 NEW BEST:: SOT 1366191 SOS 376586 HAS SOPS 376586 HAS SOUS 219839 HAS SOUPS 219839 WITH SCORE 220215.586
AT ITER 610 NEW BEST:: SOT 1366098 SOS 376548 HAS SOPS 376548 HAS SOUS 219737 HAS SOUPS 219737 WITH SCORE 220113.548
AT ITER 611 NEW BEST:: SOT 1366162 SOS 376676 HAS SOPS 376676 HAS SOUS 219602 HAS SOUPS 219602 WITH SCORE 219978.676
AT ITER 616 NEW BEST:: SOT 1366048 SOS 376562 HAS SOPS 376562 HAS SOUS 219488 HAS SOUPS 219488 WITH SCORE 219864.562
AT ITER 618 NEW BEST:: SOT 1365885 SOS 376506 HAS SOPS 376506 HAS SOUS 219198 HAS SOUPS 219198 WITH SCORE 219574.506
AT ITER 621 NEW BEST:: SOT 1365939 SOS 376614 HAS SOPS 376614 HAS SOUS 219018 HAS SOUPS 219018 WITH SCORE 219394.614
AT ITER 625 NEW BEST:: SOT 1365744 SOS 377599 HAS SOPS 377599 HAS SOUS 218798 HAS SOUPS 218798 WITH SCORE 219175.599
AT ITER 626 NEW BEST:: SOT 1365387 SOS 377251 HAS SOPS 377251 HAS SOUS 218441 HAS SOUPS 218441 WITH SCORE 218818.251
AT ITER 633 NEW BEST:: SOT 1365351 SOS 377239 HAS SOPS 377239 HAS SOUS 218417 HAS SOUPS 218417 WITH SCORE 218794.239
AT ITER 636 NEW BEST:: SOT 1365187 SOS 376391 HAS SOPS 376391 HAS SOUS 218174 HAS SOUPS 218174 WITH SCORE 218550.391
AT ITER 644 NEW BEST:: SOT 1365187 SOS 378528 HAS SOPS 378528 HAS SOUS 218168 HAS SOUPS 218168 WITH SCORE 218546.528
AT ITER 648 NEW BEST:: SOT 1365118 SOS 379536 HAS SOPS 379536 HAS SOUS 217457 HAS SOUPS 217457 WITH SCORE 217836.536
AT ITER 665 NEW BEST:: SOT 1365118 SOS 379785 HAS SOPS 379785 HAS SOUS 217410 HAS SOUPS 217410 WITH SCORE 217789.785
AT ITER 673 NEW BEST:: SOT 1364827 SOS 379502 HAS SOPS 379502 HAS SOUS 217210 HAS SOUPS 217210 WITH SCORE 217589.502
AT ITER 679 NEW BEST:: SOT 1364763 SOS 380677 HAS SOPS 380677 HAS SOUS 217199 HAS SOUPS 217199 WITH SCORE 217579.677
AT ITER 687 NEW BEST:: SOT 1364737 SOS 380702 HAS SOPS 380702 HAS SOUS 217096 HAS SOUPS 217096 WITH SCORE 217476.702
AT ITER 702 NEW BEST:: SOT 1364661 SOS 380550 HAS SOPS 380550 HAS SOUS 216944 HAS SOUPS 216944 WITH SCORE 217324.55
AT ITER 704 NEW BEST:: SOT 1364531 SOS 380550 HAS SOPS 380550 HAS SOUS 216879 HAS SOUPS 216879 WITH SCORE 217259.55
AT ITER 709 NEW BEST:: SOT 1363571 SOS 392658 HAS SOPS 392658 HAS SOUS 216160 HAS SOUPS 216160 WITH SCORE 216552.658
AT ITER 746 NEW BEST:: SOT 1363571 SOS 392552 HAS SOPS 392552 HAS SOUS 216117 HAS SOUPS 216117 WITH SCORE 216509.552
AT ITER 763 NEW BEST:: SOT 1363509 SOS 392428 HAS SOPS 392428 HAS SOUS 215931 HAS SOUPS 215931 WITH SCORE 216323.428
AT ITER 767 NEW BEST:: SOT 1363234 SOS 392478 HAS SOPS 392478 HAS SOUS 215798 HAS SOUPS 215798 WITH SCORE 216190.478
AT ITER 772 NEW BEST:: SOT 1362615 SOS 394860 HAS SOPS 394860 HAS SOUS 215189 HAS SOUPS 215189 WITH SCORE 215583.86
AT ITER 775 NEW BEST:: SOT 1363064 SOS 395426 HAS SOPS 395426 HAS SOUS 214963 HAS SOUPS 214963 WITH SCORE 215358.426
AT ITER 777 NEW BEST:: SOT 1362986 SOS 395270 HAS SOPS 395270 HAS SOUS 214884 HAS SOUPS 214884 WITH SCORE 215279.27
AT ITER 778 NEW BEST:: SOT 1362903 SOS 395272 HAS SOPS 395272 HAS SOUS 214801 HAS SOUPS 214801 WITH SCORE 215196.272
AT ITER 787 NEW BEST:: SOT 1362657 SOS 395149 HAS SOPS 395149 HAS SOUS 214555 HAS SOUPS 214555 WITH SCORE 214950.149
AT ITER 791 NEW BEST:: SOT 1362750 SOS 395335 HAS SOPS 395335 HAS SOUS 214391 HAS SOUPS 214391 WITH SCORE 214786.335
AT ITER 796 NEW BEST:: SOT 1362581 SOS 395673 HAS SOPS 395673 HAS SOUS 214222 HAS SOUPS 214222 WITH SCORE 214617.673
AT ITER 801 NEW BEST:: SOT 1362462 SOS 395435 HAS SOPS 395435 HAS SOUS 214103 HAS SOUPS 214103 WITH SCORE 214498.435
AT ITER 802 NEW BEST:: SOT 1362462 SOS 395435 HAS SOPS 395435 HAS SOUS 214101 HAS SOUPS 214101 WITH SCORE 214496.435
AT ITER 811 NEW BEST:: SOT 1361516 SOS 395919 HAS SOPS 395919 HAS SOUS 213551 HAS SOUPS 213551 WITH SCORE 213946.919
AT ITER 827 NEW BEST:: SOT 1361504 SOS 395895 HAS SOPS 395895 HAS SOUS 213527 HAS SOUPS 213527 WITH SCORE 213922.895
AT ITER 830 NEW BEST:: SOT 1361504 SOS 395895 HAS SOPS 395895 HAS SOUS 213312 HAS SOUPS 213312 WITH SCORE 213707.895
AT ITER 840 NEW BEST:: SOT 1361468 SOS 395859 HAS SOPS 395859 HAS SOUS 213276 HAS SOUPS 213276 WITH SCORE 213671.859
AT ITER 844 NEW BEST:: SOT 1361468 SOS 395859 HAS SOPS 395859 HAS SOUS 213233 HAS SOUPS 213233 WITH SCORE 213628.859
AT ITER 851 NEW BEST:: SOT 1361318 SOS 395990 HAS SOPS 395990 HAS SOUS 209393 HAS SOUPS 209393 WITH SCORE 209788.99
AT ITER 877 NEW BEST:: SOT 1361263 SOS 395880 HAS SOPS 395880 HAS SOUS 209283 HAS SOUPS 209283 WITH SCORE 209678.88
AT ITER 880 NEW BEST:: SOT 1361291 SOS 395881 HAS SOPS 395881 HAS SOUS 209097 HAS SOUPS 209097 WITH SCORE 209492.881
AT ITER 898 NEW BEST:: SOT 1361191 SOS 395481 HAS SOPS 395481 HAS SOUS 208897 HAS SOUPS 208897 WITH SCORE 209292.481
AT ITER 932 NEW BEST:: SOT 1361100 SOS 395299 HAS SOPS 395299 HAS SOUS 208827 HAS SOUPS 208827 WITH SCORE 209222.299
AT ITER 935 NEW BEST:: SOT 1361100 SOS 395848 HAS SOPS 395848 HAS SOUS 208823 HAS SOUPS 208823 WITH SCORE 209218.848
AT ITER 956 NEW BEST:: SOT 1361036 SOS 395720 HAS SOPS 395720 HAS SOUS 208617 HAS SOUPS 208617 WITH SCORE 209012.72
AT ITER 998 NEW BEST:: SOT 1361033 SOS 395708 HAS SOPS 395708 HAS SOUS 208611 HAS SOUPS 208611 WITH SCORE 209006.708
AT ITER 1015 NEW BEST:: SOT 1361033 SOS 395708 HAS SOPS 395708 HAS SOUS 208453 HAS SOUPS 208453 WITH SCORE 208848.708
AT ITER 1018 NEW BEST:: SOT 1360934 SOS 395510 HAS SOPS 395510 HAS SOUS 208249 HAS SOUPS 208249 WITH SCORE 208644.51
AT ITER 1022 NEW BEST:: SOT 1360809 SOS 395260 HAS SOPS 395260 HAS SOUS 207911 HAS SOUPS 207911 WITH SCORE 208306.26
AT ITER 1030 NEW BEST:: SOT 1360787 SOS 395216 HAS SOPS 395216 HAS SOUS 207867 HAS SOUPS 207867 WITH SCORE 208262.216
AT ITER 1036 NEW BEST:: SOT 1360675 SOS 395104 HAS SOPS 395104 HAS SOUS 207809 HAS SOUPS 207809 WITH SCORE 208204.104
AT ITER 1053 NEW BEST:: SOT 1360623 SOS 395104 HAS SOPS 395104 HAS SOUS 207609 HAS SOUPS 207609 WITH SCORE 208004.104
AT ITER 1061 NEW BEST:: SOT 1360548 SOS 395236 HAS SOPS 395236 HAS SOUS 207534 HAS SOUPS 207534 WITH SCORE 207929.236
AT ITER 1086 NEW BEST:: SOT 1360542 SOS 395224 HAS SOPS 395224 HAS SOUS 207497 HAS SOUPS 207497 WITH SCORE 207892.224
AT ITER 1098 NEW BEST:: SOT 1360501 SOS 395183 HAS SOPS 395183 HAS SOUS 207497 HAS SOUPS 207497 WITH SCORE 207892.183
AT ITER 1103 NEW BEST:: SOT 1360389 SOS 395166 HAS SOPS 395166 HAS SOUS 207262 HAS SOUPS 207262 WITH SCORE 207657.166
AT ITER 1109 NEW BEST:: SOT 1360377 SOS 395142 HAS SOPS 395142 HAS SOUS 207247 HAS SOUPS 207247 WITH SCORE 207642.142
AT ITER 1132 NEW BEST:: SOT 1360336 SOS 395152 HAS SOPS 395152 HAS SOUS 207241 HAS SOUPS 207241 WITH SCORE 207636.152
AT ITER 1141 NEW BEST:: SOT 1360323 SOS 395152 HAS SOPS 395152 HAS SOUS 207235 HAS SOUPS 207235 WITH SCORE 207630.152
AT ITER 1151 NEW BEST:: SOT 1359850 SOS 396014 HAS SOPS 396014 HAS SOUS 206875 HAS SOUPS 206875 WITH SCORE 207271.014
AT ITER 1159 NEW BEST:: SOT 1359756 SOS 395826 HAS SOPS 395826 HAS SOUS 206781 HAS SOUPS 206781 WITH SCORE 207176.826
AT ITER 1160 NEW BEST:: SOT 1359740 SOS 395794 HAS SOPS 395794 HAS SOUS 206749 HAS SOUPS 206749 WITH SCORE 207144.794
AT ITER 1179 NEW BEST:: SOT 1359713 SOS 395620 HAS SOPS 395620 HAS SOUS 206553 HAS SOUPS 206553 WITH SCORE 206948.62
AT ITER 1192 NEW BEST:: SOT 1359555 SOS 395304 HAS SOPS 395304 HAS SOUS 206395 HAS SOUPS 206395 WITH SCORE 206790.304
AT ITER 1202 NEW BEST:: SOT 1359554 SOS 395302 HAS SOPS 395302 HAS SOUS 206393 HAS SOUPS 206393 WITH SCORE 206788.302
AT ITER 1204 NEW BEST:: SOT 1359209 SOS 410400 HAS SOPS 410400 HAS SOUS 205941 HAS SOUPS 205941 WITH SCORE 206351.4
AT ITER 1214 NEW BEST:: SOT 1359207 SOS 410336 HAS SOPS 410336 HAS SOUS 205907 HAS SOUPS 205907 WITH SCORE 206317.336
AT ITER 1216 NEW BEST:: SOT 1359207 SOS 410199 HAS SOPS 410199 HAS SOUS 205633 HAS SOUPS 205633 WITH SCORE 206043.199
AT ITER 1230 NEW BEST:: SOT 1359117 SOS 410154 HAS SOPS 410154 HAS SOUS 205543 HAS SOUPS 205543 WITH SCORE 205953.154
AT ITER 1277 NEW BEST:: SOT 1359029 SOS 409029 HAS SOPS 409029 HAS SOUS 205508 HAS SOUPS 205508 WITH SCORE 205917.029
AT ITER 1304 NEW BEST:: SOT 1358995 SOS 408961 HAS SOPS 408961 HAS SOUS 205473 HAS SOUPS 205473 WITH SCORE 205881.961
AT ITER 1312 NEW BEST:: SOT 1358966 SOS 408903 HAS SOPS 408903 HAS SOUS 205473 HAS SOUPS 205473 WITH SCORE 205881.903
AT ITER 1322 NEW BEST:: SOT 1358966 SOS 408847 HAS SOPS 408847 HAS SOUS 205417 HAS SOUPS 205417 WITH SCORE 205825.847
AT ITER 1330 NEW BEST:: SOT 1358966 SOS 408847 HAS SOPS 408847 HAS SOUS 205413 HAS SOUPS 205413 WITH SCORE 205821.847
AT ITER 1336 NEW BEST:: SOT 1358552 SOS 409283 HAS SOPS 409283 HAS SOUS 204999 HAS SOUPS 204999 WITH SCORE 205408.283
AT ITER 1346 NEW BEST:: SOT 1358272 SOS 409414 HAS SOPS 409414 HAS SOUS 204821 HAS SOUPS 204821 WITH SCORE 205230.414
AT ITER 1350 NEW BEST:: SOT 1358254 SOS 409378 HAS SOPS 409378 HAS SOUS 204745 HAS SOUPS 204745 WITH SCORE 205154.378
AT ITER 1357 NEW BEST:: SOT 1358196 SOS 409186 HAS SOPS 409186 HAS SOUS 204663 HAS SOUPS 204663 WITH SCORE 205072.186
AT ITER 1362 NEW BEST:: SOT 1358134 SOS 409124 HAS SOPS 409124 HAS SOUS 204539 HAS SOUPS 204539 WITH SCORE 204948.124
AT ITER 1370 NEW BEST:: SOT 1358090 SOS 409036 HAS SOPS 409036 HAS SOUS 204451 HAS SOUPS 204451 WITH SCORE 204860.036
AT ITER 1374 NEW BEST:: SOT 1358090 SOS 408901 HAS SOPS 408901 HAS SOUS 204403 HAS SOUPS 204403 WITH SCORE 204811.901
AT ITER 1379 NEW BEST:: SOT 1358111 SOS 408870 HAS SOPS 408870 HAS SOUS 204398 HAS SOUPS 204398 WITH SCORE 204806.87
AT ITER 1418 NEW BEST:: SOT 1357813 SOS 408760 HAS SOPS 408760 HAS SOUS 204126 HAS SOUPS 204126 WITH SCORE 204534.76
AT ITER 1467 NEW BEST:: SOT 1357725 SOS 408872 HAS SOPS 408872 HAS SOUS 204117 HAS SOUPS 204117 WITH SCORE 204525.872
AT ITER 1480 NEW BEST:: SOT 1357725 SOS 409016 HAS SOPS 409016 HAS SOUS 203973 HAS SOUPS 203973 WITH SCORE 204382.016
AT ITER 1494 NEW BEST:: SOT 1357650 SOS 408866 HAS SOPS 408866 HAS SOUS 203904 HAS SOUPS 203904 WITH SCORE 204312.866
AT ITER 1509 NEW BEST:: SOT 1357650 SOS 408866 HAS SOPS 408866 HAS SOUS 203870 HAS SOUPS 203870 WITH SCORE 204278.866
AT ITER 1526 NEW BEST:: SOT 1357594 SOS 408854 HAS SOPS 408854 HAS SOUS 203737 HAS SOUPS 203737 WITH SCORE 204145.854
AT ITER 1531 NEW BEST:: SOT 1357555 SOS 408850 HAS SOPS 408850 HAS SOUS 203659 HAS SOUPS 203659 WITH SCORE 204067.85
AT ITER 1538 NEW BEST:: SOT 1357402 SOS 408694 HAS SOPS 408694 HAS SOUS 203503 HAS SOUPS 203503 WITH SCORE 203911.694
AT ITER 1565 NEW BEST:: SOT 1357190 SOS 408289 HAS SOPS 408289 HAS SOUS 202318 HAS SOUPS 202318 WITH SCORE 202726.289
AT ITER 1588 NEW BEST:: SOT 1356964 SOS 408176 HAS SOPS 408176 HAS SOUS 201979 HAS SOUPS 201979 WITH SCORE 202387.176
AT ITER 1609 NEW BEST:: SOT 1356953 SOS 408154 HAS SOPS 408154 HAS SOUS 201957 HAS SOUPS 201957 WITH SCORE 202365.154
AT ITER 1631 NEW BEST:: SOT 1356892 SOS 407384 HAS SOPS 407384 HAS SOUS 201835 HAS SOUPS 201835 WITH SCORE 202242.384
AT ITER 1633 NEW BEST:: SOT 1356881 SOS 407362 HAS SOPS 407362 HAS SOUS 201824 HAS SOUPS 201824 WITH SCORE 202231.362
AT ITER 1653 NEW BEST:: SOT 1356815 SOS 407742 HAS SOPS 407742 HAS SOUS 201755 HAS SOUPS 201755 WITH SCORE 202162.742
AT ITER 1671 NEW BEST:: SOT 1356719 SOS 407550 HAS SOPS 407550 HAS SOUS 201671 HAS SOUPS 201671 WITH SCORE 202078.55
AT ITER 1674 NEW BEST:: SOT 1356622 SOS 407356 HAS SOPS 407356 HAS SOUS 201477 HAS SOUPS 201477 WITH SCORE 201884.356
AT ITER 1690 NEW BEST:: SOT 1356535 SOS 407298 HAS SOPS 407298 HAS SOUS 201390 HAS SOUPS 201390 WITH SCORE 201797.298
AT ITER 1692 NEW BEST:: SOT 1356468 SOS 407365 HAS SOPS 407365 HAS SOUS 201323 HAS SOUPS 201323 WITH SCORE 201730.365
AT ITER 1708 NEW BEST:: SOT 1356291 SOS 406774 HAS SOPS 406774 HAS SOUS 200985 HAS SOUPS 200985 WITH SCORE 201391.774
AT ITER 1711 NEW BEST:: SOT 1356291 SOS 406774 HAS SOPS 406774 HAS SOUS 200983 HAS SOUPS 200983 WITH SCORE 201389.774
AT ITER 1717 NEW BEST:: SOT 1356228 SOS 406648 HAS SOPS 406648 HAS SOUS 200940 HAS SOUPS 200940 WITH SCORE 201346.648
AT ITER 1741 NEW BEST:: SOT 1356230 SOS 408944 HAS SOPS 408944 HAS SOUS 200914 HAS SOUPS 200914 WITH SCORE 201322.944
AT ITER 1768 NEW BEST:: SOT 1356233 SOS 408893 HAS SOPS 408893 HAS SOUS 200898 HAS SOUPS 200898 WITH SCORE 201306.893
AT ITER 1773 NEW BEST:: SOT 1356233 SOS 408893 HAS SOPS 408893 HAS SOUS 200897 HAS SOUPS 200897 WITH SCORE 201305.893
AT ITER 1781 NEW BEST:: SOT 1356233 SOS 408893 HAS SOPS 408893 HAS SOUS 200848 HAS SOUPS 200848 WITH SCORE 201256.893
AT ITER 1782 NEW BEST:: SOT 1355673 SOS 411741 HAS SOPS 411741 HAS SOUS 200706 HAS SOUPS 200706 WITH SCORE 201117.741
AT ITER 1799 NEW BEST:: SOT 1355566 SOS 411527 HAS SOPS 411527 HAS SOUS 200599 HAS SOUPS 200599 WITH SCORE 201010.527
AT ITER 1803 NEW BEST:: SOT 1355566 SOS 412255 HAS SOPS 412255 HAS SOUS 200571 HAS SOUPS 200571 WITH SCORE 200983.255
AT ITER 1805 NEW BEST:: SOT 1355566 SOS 412407 HAS SOPS 412407 HAS SOUS 200540 HAS SOUPS 200540 WITH SCORE 200952.407
AT ITER 1807 NEW BEST:: SOT 1355525 SOS 412065 HAS SOPS 412065 HAS SOUS 200458 HAS SOUPS 200458 WITH SCORE 200870.065
AT ITER 1823 NEW BEST:: SOT 1355450 SOS 412153 HAS SOPS 412153 HAS SOUS 200420 HAS SOUPS 200420 WITH SCORE 200832.153
AT ITER 1830 NEW BEST:: SOT 1355352 SOS 412055 HAS SOPS 412055 HAS SOUS 200224 HAS SOUPS 200224 WITH SCORE 200636.055
AT ITER 1831 NEW BEST:: SOT 1355337 SOS 412040 HAS SOPS 412040 HAS SOUS 199990 HAS SOUPS 199990 WITH SCORE 200402.04
AT ITER 1835 NEW BEST:: SOT 1355326 SOS 412018 HAS SOPS 412018 HAS SOUS 199979 HAS SOUPS 199979 WITH SCORE 200391.018
AT ITER 1839 NEW BEST:: SOT 1355355 SOS 412154 HAS SOPS 412154 HAS SOUS 199977 HAS SOUPS 199977 WITH SCORE 200389.154
AT ITER 1846 NEW BEST:: SOT 1355355 SOS 412182 HAS SOPS 412182 HAS SOUS 199974 HAS SOUPS 199974 WITH SCORE 200386.182
AT ITER 1868 NEW BEST:: SOT 1355216 SOS 402236 HAS SOPS 402236 HAS SOUS 199669 HAS SOUPS 199669 WITH SCORE 200071.236
AT ITER 1869 NEW BEST:: SOT 1354975 SOS 402405 HAS SOPS 402405 HAS SOUS 199393 HAS SOUPS 199393 WITH SCORE 199795.405
AT ITER 1871 NEW BEST:: SOT 1355009 SOS 402329 HAS SOPS 402329 HAS SOUS 199322 HAS SOUPS 199322 WITH SCORE 199724.329
AT ITER 1877 NEW BEST:: SOT 1355007 SOS 402325 HAS SOPS 402325 HAS SOUS 199322 HAS SOUPS 199322 WITH SCORE 199724.325
AT ITER 1891 NEW BEST:: SOT 1355007 SOS 402325 HAS SOPS 402325 HAS SOUS 199321 HAS SOUPS 199321 WITH SCORE 199723.325
AT ITER 1895 NEW BEST:: SOT 1354854 SOS 402393 HAS SOPS 402393 HAS SOUS 199143 HAS SOUPS 199143 WITH SCORE 199545.393
AT ITER 1897 NEW BEST:: SOT 1354854 SOS 402242 HAS SOPS 402242 HAS SOUS 198992 HAS SOUPS 198992 WITH SCORE 199394.242
AT ITER 1915 NEW BEST:: SOT 1354784 SOS 402758 HAS SOPS 402758 HAS SOUS 198934 HAS SOUPS 198934 WITH SCORE 199336.758
AT ITER 1961 NEW BEST:: SOT 1354751 SOS 402890 HAS SOPS 402890 HAS SOUS 198897 HAS SOUPS 198897 WITH SCORE 199299.89
AT ITER 1967 NEW BEST:: SOT 1354697 SOS 402863 HAS SOPS 402863 HAS SOUS 198843 HAS SOUPS 198843 WITH SCORE 199245.863
AT ITER 1970 NEW BEST:: SOT 1354646 SOS 402566 HAS SOPS 402566 HAS SOUS 198791 HAS SOUPS 198791 WITH SCORE 199193.566
AT ITER 1977 NEW BEST:: SOT 1354601 SOS 402476 HAS SOPS 402476 HAS SOUS 198701 HAS SOUPS 198701 WITH SCORE 199103.476
AT ITER 1985 NEW BEST:: SOT 1354417 SOS 403570 HAS SOPS 403570 HAS SOUS 198687 HAS SOUPS 198687 WITH SCORE 199090.57
AT ITER 1995 NEW BEST:: SOT 1354329 SOS 403452 HAS SOPS 403452 HAS SOUS 198519 HAS SOUPS 198519 WITH SCORE 198922.452
AT ITER 2010 NEW BEST:: SOT 1354303 SOS 403400 HAS SOPS 403400 HAS SOUS 198415 HAS SOUPS 198415 WITH SCORE 198818.4
AT ITER 2023 NEW BEST:: SOT 1354303 SOS 403634 HAS SOPS 403634 HAS SOUS 198326 HAS SOUPS 198326 WITH SCORE 198729.634
AT ITER 2027 NEW BEST:: SOT 1354237 SOS 403628 HAS SOPS 403628 HAS SOUS 198260 HAS SOUPS 198260 WITH SCORE 198663.628
AT ITER 2034 NEW BEST:: SOT 1354336 SOS 401852 HAS SOPS 401852 HAS SOUS 198250 HAS SOUPS 198250 WITH SCORE 198651.852
AT ITER 2050 NEW BEST:: SOT 1354336 SOS 401852 HAS SOPS 401852 HAS SOUS 198130 HAS SOUPS 198130 WITH SCORE 198531.852
AT ITER 2096 NEW BEST:: SOT 1354382 SOS 401622 HAS SOPS 401622 HAS SOUS 197748 HAS SOUPS 197748 WITH SCORE 198149.622
AT ITER 2098 NEW BEST:: SOT 1354278 SOS 401466 HAS SOPS 401466 HAS SOUS 197540 HAS SOUPS 197540 WITH SCORE 197941.466
AT ITER 2117 NEW BEST:: SOT 1354276 SOS 401409 HAS SOPS 401409 HAS SOUS 197538 HAS SOUPS 197538 WITH SCORE 197939.409
AT ITER 2129 NEW BEST:: SOT 1354193 SOS 401326 HAS SOPS 401326 HAS SOUS 197455 HAS SOUPS 197455 WITH SCORE 197856.326
AT ITER 2139 NEW BEST:: SOT 1354193 SOS 401320 HAS SOPS 401320 HAS SOUS 197449 HAS SOUPS 197449 WITH SCORE 197850.32
AT ITER 2145 NEW BEST:: SOT 1354241 SOS 401416 HAS SOPS 401416 HAS SOUS 197411 HAS SOUPS 197411 WITH SCORE 197812.416
AT ITER 2152 NEW BEST:: SOT 1354166 SOS 401341 HAS SOPS 401341 HAS SOUS 197336 HAS SOUPS 197336 WITH SCORE 197737.341
AT ITER 2166 NEW BEST:: SOT 1354018 SOS 401653 HAS SOPS 401653 HAS SOUS 197180 HAS SOUPS 197180 WITH SCORE 197581.653
AT ITER 2212 NEW BEST:: SOT 1353971 SOS 401653 HAS SOPS 401653 HAS SOUS 197133 HAS SOUPS 197133 WITH SCORE 197534.653
AT ITER 2259 NEW BEST:: SOT 1353971 SOS 401653 HAS SOPS 401653 HAS SOUS 196981 HAS SOUPS 196981 WITH SCORE 197382.653
AT ITER 2277 NEW BEST:: SOT 1353971 SOS 401653 HAS SOPS 401653 HAS SOUS 196908 HAS SOUPS 196908 WITH SCORE 197309.653
AT ITER 2333 NEW BEST:: SOT 1354003 SOS 401621 HAS SOPS 401621 HAS SOUS 196908 HAS SOUPS 196908 WITH SCORE 197309.621
AT ITER 2340 NEW BEST:: SOT 1354003 SOS 401724 HAS SOPS 401724 HAS SOUS 196861 HAS SOUPS 196861 WITH SCORE 197262.724
AT ITER 2345 NEW BEST:: SOT 1354120 SOS 401812 HAS SOPS 401812 HAS SOUS 196832 HAS SOUPS 196832 WITH SCORE 197233.812
AT ITER 2368 NEW BEST:: SOT 1353984 SOS 401540 HAS SOPS 401540 HAS SOUS 196560 HAS SOUPS 196560 WITH SCORE 196961.54
AT ITER 2380 NEW BEST:: SOT 1353984 SOS 401385 HAS SOPS 401385 HAS SOUS 196388 HAS SOUPS 196388 WITH SCORE 196789.385
AT ITER 2392 NEW BEST:: SOT 1353984 SOS 401304 HAS SOPS 401304 HAS SOUS 196259 HAS SOUPS 196259 WITH SCORE 196660.304
AT ITER 2420 NEW BEST:: SOT 1353984 SOS 401157 HAS SOPS 401157 HAS SOUS 196208 HAS SOUPS 196208 WITH SCORE 196609.157
AT ITER 2441 NEW BEST:: SOT 1354018 SOS 401033 HAS SOPS 401033 HAS SOUS 196136 HAS SOUPS 196136 WITH SCORE 196537.033
AT ITER 2443 NEW BEST:: SOT 1353966 SOS 400929 HAS SOPS 400929 HAS SOUS 196083 HAS SOUPS 196083 WITH SCORE 196483.929
AT ITER 2444 NEW BEST:: SOT 1353966 SOS 401004 HAS SOPS 401004 HAS SOUS 196068 HAS SOUPS 196068 WITH SCORE 196469.004
AT ITER 2445 NEW BEST:: SOT 1353966 SOS 401004 HAS SOPS 401004 HAS SOUS 195962 HAS SOUPS 195962 WITH SCORE 196363.004
AT ITER 2452 NEW BEST:: SOT 1353966 SOS 401000 HAS SOPS 401000 HAS SOUS 195870 HAS SOUPS 195870 WITH SCORE 196271.0
AT ITER 2466 NEW BEST:: SOT 1353845 SOS 401077 HAS SOPS 401077 HAS SOUS 195594 HAS SOUPS 195594 WITH SCORE 195995.077
AT ITER 2482 NEW BEST:: SOT 1353844 SOS 401075 HAS SOPS 401075 HAS SOUS 195545 HAS SOUPS 195545 WITH SCORE 195946.075
AT ITER 2490 NEW BEST:: SOT 1353814 SOS 401015 HAS SOPS 401015 HAS SOUS 195456 HAS SOUPS 195456 WITH SCORE 195857.015
AT ITER 2507 NEW BEST:: SOT 1353814 SOS 401015 HAS SOPS 401015 HAS SOUS 195388 HAS SOUPS 195388 WITH SCORE 195789.015
AT ITER 2514 NEW BEST:: SOT 1353819 SOS 400951 HAS SOPS 400951 HAS SOUS 195324 HAS SOUPS 195324 WITH SCORE 195724.951
AT ITER 2525 NEW BEST:: SOT 1354056 SOS 400689 HAS SOPS 400689 HAS SOUS 195294 HAS SOUPS 195294 WITH SCORE 195694.689
AT ITER 2560 NEW BEST:: SOT 1354056 SOS 400505 HAS SOPS 400505 HAS SOUS 195133 HAS SOUPS 195133 WITH SCORE 195533.505
AT ITER 2573 NEW BEST:: SOT 1354056 SOS 400511 HAS SOPS 400511 HAS SOUS 195132 HAS SOUPS 195132 WITH SCORE 195532.511
AT ITER 2577 NEW BEST:: SOT 1354063 SOS 400525 HAS SOPS 400525 HAS SOUS 195103 HAS SOUPS 195103 WITH SCORE 195503.525
AT ITER 2599 NEW BEST:: SOT 1354063 SOS 400441 HAS SOPS 400441 HAS SOUS 195082 HAS SOUPS 195082 WITH SCORE 195482.441
AT ITER 2600 NEW BEST:: SOT 1354062 SOS 400439 HAS SOPS 400439 HAS SOUS 195080 HAS SOUPS 195080 WITH SCORE 195480.439
AT ITER 2607 NEW BEST:: SOT 1354446 SOS 401902 HAS SOPS 401902 HAS SOUS 194832 HAS SOUPS 194832 WITH SCORE 195233.902
AT ITER 2630 NEW BEST:: SOT 1354291 SOS 401608 HAS SOPS 401608 HAS SOUS 194556 HAS SOUPS 194556 WITH SCORE 194957.608
AT ITER 2637 NEW BEST:: SOT 1354291 SOS 401608 HAS SOPS 401608 HAS SOUS 194473 HAS SOUPS 194473 WITH SCORE 194874.608
AT ITER 2657 NEW BEST:: SOT 1354253 SOS 401325 HAS SOPS 401325 HAS SOUS 194248 HAS SOUPS 194248 WITH SCORE 194649.325
AT ITER 2667 NEW BEST:: SOT 1354199 SOS 401217 HAS SOPS 401217 HAS SOUS 194167 HAS SOUPS 194167 WITH SCORE 194568.217
AT ITER 2673 NEW BEST:: SOT 1354221 SOS 401215 HAS SOPS 401215 HAS SOUS 194154 HAS SOUPS 194154 WITH SCORE 194555.215
AT ITER 2696 NEW BEST:: SOT 1354195 SOS 401193 HAS SOPS 401193 HAS SOUS 194149 HAS SOUPS 194149 WITH SCORE 194550.193
AT ITER 2702 NEW BEST:: SOT 1354195 SOS 401143 HAS SOPS 401143 HAS SOUS 194136 HAS SOUPS 194136 WITH SCORE 194537.143
AT ITER 2713 NEW BEST:: SOT 1354228 SOS 400831 HAS SOPS 400831 HAS SOUS 194088 HAS SOUPS 194088 WITH SCORE 194488.831
AT ITER 2723 NEW BEST:: SOT 1354223 SOS 400821 HAS SOPS 400821 HAS SOUS 194072 HAS SOUPS 194072 WITH SCORE 194472.821
AT ITER 2724 NEW BEST:: SOT 1354233 SOS 400817 HAS SOPS 400817 HAS SOUS 194044 HAS SOUPS 194044 WITH SCORE 194444.817
AT ITER 2762 NEW BEST:: SOT 1353901 SOS 401623 HAS SOPS 401623 HAS SOUS 193758 HAS SOUPS 193758 WITH SCORE 194159.623
AT ITER 2780 NEW BEST:: SOT 1353831 SOS 401483 HAS SOPS 401483 HAS SOUS 193677 HAS SOUPS 193677 WITH SCORE 194078.483
AT ITER 2789 NEW BEST:: SOT 1353831 SOS 401418 HAS SOPS 401418 HAS SOUS 193677 HAS SOUPS 193677 WITH SCORE 194078.418
AT ITER 2822 NEW BEST:: SOT 1353831 SOS 401418 HAS SOPS 401418 HAS SOUS 193635 HAS SOUPS 193635 WITH SCORE 194036.418
AT ITER 2854 NEW BEST:: SOT 1353746 SOS 401248 HAS SOPS 401248 HAS SOUS 193550 HAS SOUPS 193550 WITH SCORE 193951.248
AT ITER 2892 NEW BEST:: SOT 1353748 SOS 401225 HAS SOPS 401225 HAS SOUS 193527 HAS SOUPS 193527 WITH SCORE 193928.225
AT ITER 2907 NEW BEST:: SOT 1353689 SOS 401238 HAS SOPS 401238 HAS SOUS 193472 HAS SOUPS 193472 WITH SCORE 193873.238
AT ITER 2909 NEW BEST:: SOT 1353587 SOS 401238 HAS SOPS 401238 HAS SOUS 193370 HAS SOUPS 193370 WITH SCORE 193771.238
AT ITER 2910 NEW BEST:: SOT 1353494 SOS 401052 HAS SOPS 401052 HAS SOUS 193034 HAS SOUPS 193034 WITH SCORE 193435.052
AT ITER 2925 NEW BEST:: SOT 1353584 SOS 401232 HAS SOPS 401232 HAS SOUS 192892 HAS SOUPS 192892 WITH SCORE 193293.232
AT ITER 2940 NEW BEST:: SOT 1353584 SOS 401231 HAS SOPS 401231 HAS SOUS 192891 HAS SOUPS 192891 WITH SCORE 193292.231
AT ITER 2956 NEW BEST:: SOT 1353568 SOS 401222 HAS SOPS 401222 HAS SOUS 192875 HAS SOUPS 192875 WITH SCORE 193276.222
AT ITER 2969 NEW BEST:: SOT 1353620 SOS 401241 HAS SOPS 401241 HAS SOUS 192842 HAS SOUPS 192842 WITH SCORE 193243.241
AT ITER 2980 NEW BEST:: SOT 1353620 SOS 401241 HAS SOPS 401241 HAS SOUS 192821 HAS SOUPS 192821 WITH SCORE 193222.241
AT ITER 2981 NEW BEST:: SOT 1353315 SOS 401912 HAS SOPS 401912 HAS SOUS 192699 HAS SOUPS 192699 WITH SCORE 193100.912
AT ITER 2982 NEW BEST:: SOT 1353295 SOS 401867 HAS SOPS 401867 HAS SOUS 192685 HAS SOUPS 192685 WITH SCORE 193086.867
AT ITER 2993 NEW BEST:: SOT 1353295 SOS 401867 HAS SOPS 401867 HAS SOUS 192655 HAS SOUPS 192655 WITH SCORE 193056.867
AT ITER 2998 NEW BEST:: SOT 1353294 SOS 401865 HAS SOPS 401865 HAS SOUS 192654 HAS SOUPS 192654 WITH SCORE 193055.865
AT ITER 3006 NEW BEST:: SOT 1353294 SOS 401766 HAS SOPS 401766 HAS SOUS 192654 HAS SOUPS 192654 WITH SCORE 193055.766
AT ITER 3016 NEW BEST:: SOT 1353294 SOS 401766 HAS SOPS 401766 HAS SOUS 192608 HAS SOUPS 192608 WITH SCORE 193009.766
AT ITER 3031 NEW BEST:: SOT 1353294 SOS 401766 HAS SOPS 401766 HAS SOUS 192555 HAS SOUPS 192555 WITH SCORE 192956.766
AT ITER 3047 NEW BEST:: SOT 1353307 SOS 401701 HAS SOPS 401701 HAS SOUS 192555 HAS SOUPS 192555 WITH SCORE 192956.701
AT ITER 3090 NEW BEST:: SOT 1353256 SOS 401445 HAS SOPS 401445 HAS SOUS 192554 HAS SOUPS 192554 WITH SCORE 192955.445
AT ITER 3110 NEW BEST:: SOT 1353359 SOS 401436 HAS SOPS 401436 HAS SOUS 192545 HAS SOUPS 192545 WITH SCORE 192946.436
AT ITER 3124 NEW BEST:: SOT 1353356 SOS 401430 HAS SOPS 401430 HAS SOUS 192539 HAS SOUPS 192539 WITH SCORE 192940.43
AT ITER 3125 NEW BEST:: SOT 1353244 SOS 401206 HAS SOPS 401206 HAS SOUS 192427 HAS SOUPS 192427 WITH SCORE 192828.206
AT ITER 3152 NEW BEST:: SOT 1353244 SOS 401206 HAS SOPS 401206 HAS SOUS 192375 HAS SOUPS 192375 WITH SCORE 192776.206
AT ITER 3158 NEW BEST:: SOT 1353244 SOS 401150 HAS SOPS 401150 HAS SOUS 192375 HAS SOUPS 192375 WITH SCORE 192776.15
AT ITER 3160 NEW BEST:: SOT 1353269 SOS 401200 HAS SOPS 401200 HAS SOUS 192334 HAS SOUPS 192334 WITH SCORE 192735.2
AT ITER 3176 NEW BEST:: SOT 1353204 SOS 401132 HAS SOPS 401132 HAS SOUS 192266 HAS SOUPS 192266 WITH SCORE 192667.132
AT ITER 3193 NEW BEST:: SOT 1353111 SOS 400491 HAS SOPS 400491 HAS SOUS 192080 HAS SOUPS 192080 WITH SCORE 192480.491
AT ITER 3202 NEW BEST:: SOT 1353111 SOS 400491 HAS SOPS 400491 HAS SOUS 192079 HAS SOUPS 192079 WITH SCORE 192479.491
AT ITER 3248 NEW BEST:: SOT 1353081 SOS 400481 HAS SOPS 400481 HAS SOUS 192059 HAS SOUPS 192059 WITH SCORE 192459.481
AT ITER 3253 NEW BEST:: SOT 1353007 SOS 400333 HAS SOPS 400333 HAS SOUS 191911 HAS SOUPS 191911 WITH SCORE 192311.333
AT ITER 3257 NEW BEST:: SOT 1353059 SOS 401066 HAS SOPS 401066 HAS SOUS 191819 HAS SOUPS 191819 WITH SCORE 192220.066
AT ITER 3268 NEW BEST:: SOT 1353059 SOS 401086 HAS SOPS 401086 HAS SOUS 191519 HAS SOUPS 191519 WITH SCORE 191920.086
AT ITER 3274 NEW BEST:: SOT 1353059 SOS 401035 HAS SOPS 401035 HAS SOUS 191468 HAS SOUPS 191468 WITH SCORE 191869.035
AT ITER 3276 NEW BEST:: SOT 1352983 SOS 401476 HAS SOPS 401476 HAS SOUS 191389 HAS SOUPS 191389 WITH SCORE 191790.476
AT ITER 3281 NEW BEST:: SOT 1352983 SOS 401476 HAS SOPS 401476 HAS SOUS 191348 HAS SOUPS 191348 WITH SCORE 191749.476
AT ITER 3312 NEW BEST:: SOT 1352995 SOS 401500 HAS SOPS 401500 HAS SOUS 191344 HAS SOUPS 191344 WITH SCORE 191745.5
AT ITER 3339 NEW BEST:: SOT 1353113 SOS 400482 HAS SOPS 400482 HAS SOUS 191340 HAS SOUPS 191340 WITH SCORE 191740.482
AT ITER 3367 NEW BEST:: SOT 1353128 SOS 400451 HAS SOPS 400451 HAS SOUS 191306 HAS SOUPS 191306 WITH SCORE 191706.451
AT ITER 3375 NEW BEST:: SOT 1352992 SOS 400179 HAS SOPS 400179 HAS SOUS 191034 HAS SOUPS 191034 WITH SCORE 191434.179
AT ITER 3409 NEW BEST:: SOT 1352992 SOS 400164 HAS SOPS 400164 HAS SOUS 191024 HAS SOUPS 191024 WITH SCORE 191424.164
AT ITER 3417 NEW BEST:: SOT 1352992 SOS 400061 HAS SOPS 400061 HAS SOUS 190921 HAS SOUPS 190921 WITH SCORE 191321.061
AT ITER 3421 NEW BEST:: SOT 1352992 SOS 400035 HAS SOPS 400035 HAS SOUS 190869 HAS SOUPS 190869 WITH SCORE 191269.035
AT ITER 3428 NEW BEST:: SOT 1352925 SOS 400311 HAS SOPS 400311 HAS SOUS 190843 HAS SOUPS 190843 WITH SCORE 191243.311
AT ITER 3440 NEW BEST:: SOT 1352838 SOS 400221 HAS SOPS 400221 HAS SOUS 190670 HAS SOUPS 190670 WITH SCORE 191070.221
AT ITER 3484 NEW BEST:: SOT 1352672 SOS 400283 HAS SOPS 400283 HAS SOUS 190526 HAS SOUPS 190526 WITH SCORE 190926.283
AT ITER 3488 NEW BEST:: SOT 1352428 SOS 400731 HAS SOPS 400731 HAS SOUS 190517 HAS SOUPS 190517 WITH SCORE 190917.731
AT ITER 3499 NEW BEST:: SOT 1352283 SOS 400230 HAS SOPS 400230 HAS SOUS 190375 HAS SOUPS 190375 WITH SCORE 190775.23
AT ITER 3505 NEW BEST:: SOT 1352204 SOS 400476 HAS SOPS 400476 HAS SOUS 190290 HAS SOUPS 190290 WITH SCORE 190690.476
AT ITER 3510 NEW BEST:: SOT 1352204 SOS 400303 HAS SOPS 400303 HAS SOUS 190290 HAS SOUPS 190290 WITH SCORE 190690.303
AT ITER 3552 NEW BEST:: SOT 1352149 SOS 400328 HAS SOPS 400328 HAS SOUS 190235 HAS SOUPS 190235 WITH SCORE 190635.328
AT ITER 3575 NEW BEST:: SOT 1352038 SOS 400574 HAS SOPS 400574 HAS SOUS 190220 HAS SOUPS 190220 WITH SCORE 190620.574
AT ITER 3589 NEW BEST:: SOT 1352063 SOS 400624 HAS SOPS 400624 HAS SOUS 190137 HAS SOUPS 190137 WITH SCORE 190537.624
AT ITER 3606 NEW BEST:: SOT 1352008 SOS 400730 HAS SOPS 400730 HAS SOUS 190133 HAS SOUPS 190133 WITH SCORE 190533.73
AT ITER 3610 NEW BEST:: SOT 1351993 SOS 400716 HAS SOPS 400716 HAS SOUS 190117 HAS SOUPS 190117 WITH SCORE 190517.716
AT ITER 3611 NEW BEST:: SOT 1351967 SOS 400690 HAS SOPS 400690 HAS SOUS 190091 HAS SOUPS 190091 WITH SCORE 190491.69
AT ITER 3631 NEW BEST:: SOT 1351939 SOS 400536 HAS SOPS 400536 HAS SOUS 190043 HAS SOUPS 190043 WITH SCORE 190443.536
AT ITER 3638 NEW BEST:: SOT 1351883 SOS 400424 HAS SOPS 400424 HAS SOUS 189964 HAS SOUPS 189964 WITH SCORE 190364.424
AT ITER 3665 NEW BEST:: SOT 1351883 SOS 400376 HAS SOPS 400376 HAS SOUS 189916 HAS SOUPS 189916 WITH SCORE 190316.376
AT ITER 3679 NEW BEST:: SOT 1351793 SOS 400196 HAS SOPS 400196 HAS SOUS 189826 HAS SOUPS 189826 WITH SCORE 190226.196
AT ITER 3699 NEW BEST:: SOT 1351793 SOS 400461 HAS SOPS 400461 HAS SOUS 189687 HAS SOUPS 189687 WITH SCORE 190087.461
AT ITER 3705 NEW BEST:: SOT 1351578 SOS 400152 HAS SOPS 400152 HAS SOUS 189472 HAS SOUPS 189472 WITH SCORE 189872.152
AT ITER 3758 NEW BEST:: SOT 1351578 SOS 400152 HAS SOPS 400152 HAS SOUS 189469 HAS SOUPS 189469 WITH SCORE 189869.152
AT ITER 3763 NEW BEST:: SOT 1351764 SOS 400249 HAS SOPS 400249 HAS SOUS 189338 HAS SOUPS 189338 WITH SCORE 189738.249
AT ITER 3782 NEW BEST:: SOT 1351764 SOS 400367 HAS SOPS 400367 HAS SOUS 188984 HAS SOUPS 188984 WITH SCORE 189384.367
AT ITER 3816 NEW BEST:: SOT 1351670 SOS 400179 HAS SOPS 400179 HAS SOUS 188926 HAS SOUPS 188926 WITH SCORE 189326.179
AT ITER 3851 NEW BEST:: SOT 1351642 SOS 400151 HAS SOPS 400151 HAS SOUS 188898 HAS SOUPS 188898 WITH SCORE 189298.151
AT ITER 3855 NEW BEST:: SOT 1351559 SOS 399601 HAS SOPS 399601 HAS SOUS 188796 HAS SOUPS 188796 WITH SCORE 189195.601
AT ITER 3861 NEW BEST:: SOT 1351524 SOS 399419 HAS SOPS 399419 HAS SOUS 188537 HAS SOUPS 188537 WITH SCORE 188936.419
AT ITER 3865 NEW BEST:: SOT 1351505 SOS 399381 HAS SOPS 399381 HAS SOUS 188499 HAS SOUPS 188499 WITH SCORE 188898.381
AT ITER 3895 NEW BEST:: SOT 1351505 SOS 399190 HAS SOPS 399190 HAS SOUS 188262 HAS SOUPS 188262 WITH SCORE 188661.19
AT ITER 3896 NEW BEST:: SOT 1351511 SOS 399202 HAS SOPS 399202 HAS SOUS 188153 HAS SOUPS 188153 WITH SCORE 188552.202
AT ITER 3902 NEW BEST:: SOT 1351511 SOS 435872 HAS SOPS 435872 HAS SOUS 188103 HAS SOUPS 188103 WITH SCORE 188538.872
AT ITER 3907 NEW BEST:: SOT 1351554 SOS 435856 HAS SOPS 435856 HAS SOUS 188091 HAS SOUPS 188091 WITH SCORE 188526.856
AT ITER 3950 NEW BEST:: SOT 1351459 SOS 435447 HAS SOPS 435447 HAS SOUS 188047 HAS SOUPS 188047 WITH SCORE 188482.447
AT ITER 3964 NEW BEST:: SOT 1351483 SOS 435375 HAS SOPS 435375 HAS SOUS 188047 HAS SOUPS 188047 WITH SCORE 188482.375
AT ITER 3970 NEW BEST:: SOT 1351437 SOS 435283 HAS SOPS 435283 HAS SOUS 187955 HAS SOUPS 187955 WITH SCORE 188390.283
AT ITER 3995 NEW BEST:: SOT 1351433 SOS 435279 HAS SOPS 435279 HAS SOUS 187951 HAS SOUPS 187951 WITH SCORE 188386.279
AT ITER 4065 NEW BEST:: SOT 1351412 SOS 435237 HAS SOPS 435237 HAS SOUS 187930 HAS SOUPS 187930 WITH SCORE 188365.237
AT ITER 4068 NEW BEST:: SOT 1351290 SOS 435569 HAS SOPS 435569 HAS SOUS 187858 HAS SOUPS 187858 WITH SCORE 188293.569
AT ITER 4070 NEW BEST:: SOT 1351217 SOS 435423 HAS SOPS 435423 HAS SOUS 187785 HAS SOUPS 187785 WITH SCORE 188220.423
AT ITER 4079 NEW BEST:: SOT 1351217 SOS 435361 HAS SOPS 435361 HAS SOUS 187785 HAS SOUPS 187785 WITH SCORE 188220.361
AT ITER 4091 NEW BEST:: SOT 1351176 SOS 435320 HAS SOPS 435320 HAS SOUS 187769 HAS SOUPS 187769 WITH SCORE 188204.32
AT ITER 4105 NEW BEST:: SOT 1351176 SOS 435166 HAS SOPS 435166 HAS SOUS 187637 HAS SOUPS 187637 WITH SCORE 188072.166
AT ITER 4106 NEW BEST:: SOT 1351178 SOS 435107 HAS SOPS 435107 HAS SOUS 187578 HAS SOUPS 187578 WITH SCORE 188013.107
AT ITER 4116 NEW BEST:: SOT 1351178 SOS 435062 HAS SOPS 435062 HAS SOUS 187563 HAS SOUPS 187563 WITH SCORE 187998.062
AT ITER 4122 NEW BEST:: SOT 1351176 SOS 435058 HAS SOPS 435058 HAS SOUS 187559 HAS SOUPS 187559 WITH SCORE 187994.058
AT ITER 4137 NEW BEST:: SOT 1351111 SOS 434928 HAS SOPS 434928 HAS SOUS 187494 HAS SOUPS 187494 WITH SCORE 187928.928
AT ITER 4161 NEW BEST:: SOT 1351114 SOS 434927 HAS SOPS 434927 HAS SOUS 187493 HAS SOUPS 187493 WITH SCORE 187927.927
AT ITER 4170 NEW BEST:: SOT 1351080 SOS 434889 HAS SOPS 434889 HAS SOUS 187455 HAS SOUPS 187455 WITH SCORE 187889.889
AT ITER 4203 NEW BEST:: SOT 1351080 SOS 434888 HAS SOPS 434888 HAS SOUS 187454 HAS SOUPS 187454 WITH SCORE 187888.888
AT ITER 4205 NEW BEST:: SOT 1350930 SOS 435050 HAS SOPS 435050 HAS SOUS 187205 HAS SOUPS 187205 WITH SCORE 187640.05
AT ITER 4265 NEW BEST:: SOT 1350903 SOS 435088 HAS SOPS 435088 HAS SOUS 187202 HAS SOUPS 187202 WITH SCORE 187637.088
AT ITER 4290 NEW BEST:: SOT 1350957 SOS 435068 HAS SOPS 435068 HAS SOUS 187065 HAS SOUPS 187065 WITH SCORE 187500.068
AT ITER 4292 NEW BEST:: SOT 1350883 SOS 434920 HAS SOPS 434920 HAS SOUS 186917 HAS SOUPS 186917 WITH SCORE 187351.92
AT ITER 4315 NEW BEST:: SOT 1350893 SOS 435086 HAS SOPS 435086 HAS SOUS 186799 HAS SOUPS 186799 WITH SCORE 187234.086
AT ITER 4317 NEW BEST:: SOT 1350841 SOS 435232 HAS SOPS 435232 HAS SOUS 186795 HAS SOUPS 186795 WITH SCORE 187230.232
AT ITER 4321 NEW BEST:: SOT 1350791 SOS 435144 HAS SOPS 435144 HAS SOUS 186748 HAS SOUPS 186748 WITH SCORE 187183.144
AT ITER 4334 NEW BEST:: SOT 1350787 SOS 435140 HAS SOPS 435140 HAS SOUS 186747 HAS SOUPS 186747 WITH SCORE 187182.14
AT ITER 4376 NEW BEST:: SOT 1350787 SOS 435105 HAS SOPS 435105 HAS SOUS 186712 HAS SOUPS 186712 WITH SCORE 187147.105
AT ITER 4389 NEW BEST:: SOT 1350785 SOS 435101 HAS SOPS 435101 HAS SOUS 186706 HAS SOUPS 186706 WITH SCORE 187141.101
AT ITER 4408 NEW BEST:: SOT 1350784 SOS 435100 HAS SOPS 435100 HAS SOUS 186687 HAS SOUPS 186687 WITH SCORE 187122.1
AT ITER 4435 NEW BEST:: SOT 1350784 SOS 435072 HAS SOPS 435072 HAS SOUS 186687 HAS SOUPS 186687 WITH SCORE 187122.072
AT ITER 4462 NEW BEST:: SOT 1350722 SOS 435105 HAS SOPS 435105 HAS SOUS 186675 HAS SOUPS 186675 WITH SCORE 187110.105
AT ITER 4470 NEW BEST:: SOT 1350802 SOS 435265 HAS SOPS 435265 HAS SOUS 186486 HAS SOUPS 186486 WITH SCORE 186921.265
AT ITER 4480 NEW BEST:: SOT 1350610 SOS 435073 HAS SOPS 435073 HAS SOUS 186294 HAS SOUPS 186294 WITH SCORE 186729.073
AT ITER 4485 NEW BEST:: SOT 1350557 SOS 434967 HAS SOPS 434967 HAS SOUS 186188 HAS SOUPS 186188 WITH SCORE 186622.967
AT ITER 4492 NEW BEST:: SOT 1350551 SOS 434955 HAS SOPS 434955 HAS SOUS 186176 HAS SOUPS 186176 WITH SCORE 186610.955
AT ITER 4513 NEW BEST:: SOT 1350537 SOS 434941 HAS SOPS 434941 HAS SOUS 186162 HAS SOUPS 186162 WITH SCORE 186596.941
AT ITER 4530 NEW BEST:: SOT 1350537 SOS 434941 HAS SOPS 434941 HAS SOUS 186146 HAS SOUPS 186146 WITH SCORE 186580.941
AT ITER 4548 NEW BEST:: SOT 1350481 SOS 434885 HAS SOPS 434885 HAS SOUS 186118 HAS SOUPS 186118 WITH SCORE 186552.885
AT ITER 4549 NEW BEST:: SOT 1350481 SOS 434885 HAS SOPS 434885 HAS SOUS 186028 HAS SOUPS 186028 WITH SCORE 186462.885
AT ITER 4568 NEW BEST:: SOT 1350414 SOS 434952 HAS SOPS 434952 HAS SOUS 185961 HAS SOUPS 185961 WITH SCORE 186395.952
AT ITER 4603 NEW BEST:: SOT 1350354 SOS 434931 HAS SOPS 434931 HAS SOUS 185951 HAS SOUPS 185951 WITH SCORE 186385.931
AT ITER 4608 NEW BEST:: SOT 1350308 SOS 434751 HAS SOPS 434751 HAS SOUS 185923 HAS SOUPS 185923 WITH SCORE 186357.751
AT ITER 4611 NEW BEST:: SOT 1350308 SOS 434823 HAS SOPS 434823 HAS SOUS 185880 HAS SOUPS 185880 WITH SCORE 186314.823
AT ITER 4618 NEW BEST:: SOT 1350308 SOS 434639 HAS SOPS 434639 HAS SOUS 185880 HAS SOUPS 185880 WITH SCORE 186314.639
AT ITER 4631 NEW BEST:: SOT 1350265 SOS 434619 HAS SOPS 434619 HAS SOUS 185858 HAS SOUPS 185858 WITH SCORE 186292.619
AT ITER 4643 NEW BEST:: SOT 1350249 SOS 434587 HAS SOPS 434587 HAS SOUS 185826 HAS SOUPS 185826 WITH SCORE 186260.587
AT ITER 4649 NEW BEST:: SOT 1350141 SOS 434429 HAS SOPS 434429 HAS SOUS 185776 HAS SOUPS 185776 WITH SCORE 186210.429
AT ITER 4666 NEW BEST:: SOT 1350083 SOS 434313 HAS SOPS 434313 HAS SOUS 185776 HAS SOUPS 185776 WITH SCORE 186210.313
AT ITER 4673 NEW BEST:: SOT 1350018 SOS 433923 HAS SOPS 433923 HAS SOUS 185711 HAS SOUPS 185711 WITH SCORE 186144.923
AT ITER 4683 NEW BEST:: SOT 1350018 SOS 433924 HAS SOPS 433924 HAS SOUS 185673 HAS SOUPS 185673 WITH SCORE 186106.924
AT ITER 4692 NEW BEST:: SOT 1350018 SOS 434204 HAS SOPS 434204 HAS SOUS 185603 HAS SOUPS 185603 WITH SCORE 186037.204
AT ITER 4700 NEW BEST:: SOT 1350014 SOS 434196 HAS SOPS 434196 HAS SOUS 185593 HAS SOUPS 185593 WITH SCORE 186027.196
AT ITER 4702 NEW BEST:: SOT 1350001 SOS 434126 HAS SOPS 434126 HAS SOUS 185523 HAS SOUPS 185523 WITH SCORE 185957.126
AT ITER 4706 NEW BEST:: SOT 1350001 SOS 434126 HAS SOPS 434126 HAS SOUS 185468 HAS SOUPS 185468 WITH SCORE 185902.126
AT ITER 4729 NEW BEST:: SOT 1349890 SOS 433904 HAS SOPS 433904 HAS SOUS 185246 HAS SOUPS 185246 WITH SCORE 185679.904
AT ITER 4730 NEW BEST:: SOT 1349890 SOS 433382 HAS SOPS 433382 HAS SOUS 185237 HAS SOUPS 185237 WITH SCORE 185670.382
AT ITER 4735 NEW BEST:: SOT 1349889 SOS 433380 HAS SOPS 433380 HAS SOUS 185235 HAS SOUPS 185235 WITH SCORE 185668.38
AT ITER 4768 NEW BEST:: SOT 1349889 SOS 433557 HAS SOPS 433557 HAS SOUS 185184 HAS SOUPS 185184 WITH SCORE 185617.557
AT ITER 4778 NEW BEST:: SOT 1349889 SOS 433528 HAS SOPS 433528 HAS SOUS 185155 HAS SOUPS 185155 WITH SCORE 185588.528
AT ITER 4806 NEW BEST:: SOT 1349840 SOS 433430 HAS SOPS 433430 HAS SOUS 185071 HAS SOUPS 185071 WITH SCORE 185504.43
AT ITER 4815 NEW BEST:: SOT 1349739 SOS 433703 HAS SOPS 433703 HAS SOUS 185034 HAS SOUPS 185034 WITH SCORE 185467.703
AT ITER 4841 NEW BEST:: SOT 1349739 SOS 433654 HAS SOPS 433654 HAS SOUS 184985 HAS SOUPS 184985 WITH SCORE 185418.654
AT ITER 4851 NEW BEST:: SOT 1349722 SOS 433620 HAS SOPS 433620 HAS SOUS 184951 HAS SOUPS 184951 WITH SCORE 185384.62
AT ITER 4852 NEW BEST:: SOT 1349707 SOS 433590 HAS SOPS 433590 HAS SOUS 184921 HAS SOUPS 184921 WITH SCORE 185354.59
AT ITER 4883 NEW BEST:: SOT 1349714 SOS 433590 HAS SOPS 433590 HAS SOUS 184914 HAS SOUPS 184914 WITH SCORE 185347.59
AT ITER 4887 NEW BEST:: SOT 1349604 SOS 433489 HAS SOPS 433489 HAS SOUS 184787 HAS SOUPS 184787 WITH SCORE 185220.489
AT ITER 4889 NEW BEST:: SOT 1349556 SOS 433529 HAS SOPS 433529 HAS SOUS 184759 HAS SOUPS 184759 WITH SCORE 185192.529
AT ITER 4890 NEW BEST:: SOT 1349526 SOS 433469 HAS SOPS 433469 HAS SOUS 184699 HAS SOUPS 184699 WITH SCORE 185132.469
AT ITER 4901 NEW BEST:: SOT 1349433 SOS 433314 HAS SOPS 433314 HAS SOUS 184619 HAS SOUPS 184619 WITH SCORE 185052.314
AT ITER 4904 NEW BEST:: SOT 1349397 SOS 433534 HAS SOPS 433534 HAS SOUS 184547 HAS SOUPS 184547 WITH SCORE 184980.534
AT ITER 4912 NEW BEST:: SOT 1349505 SOS 433592 HAS SOPS 433592 HAS SOUS 184473 HAS SOUPS 184473 WITH SCORE 184906.592
AT ITER 4927 NEW BEST:: SOT 1349480 SOS 433542 HAS SOPS 433542 HAS SOUS 184444 HAS SOUPS 184444 WITH SCORE 184877.542
AT ITER 4938 NEW BEST:: SOT 1349346 SOS 433341 HAS SOPS 433341 HAS SOUS 183946 HAS SOUPS 183946 WITH SCORE 184379.341
AT ITER 4940 NEW BEST:: SOT 1349752 SOS 433809 HAS SOPS 433809 HAS SOUS 183912 HAS SOUPS 183912 WITH SCORE 184345.809
AT ITER 4941 NEW BEST:: SOT 1349742 SOS 433799 HAS SOPS 433799 HAS SOUS 183902 HAS SOUPS 183902 WITH SCORE 184335.799
AT ITER 4955 NEW BEST:: SOT 1349734 SOS 433791 HAS SOPS 433791 HAS SOUS 183894 HAS SOUPS 183894 WITH SCORE 184327.791
AT ITER 4986 NEW BEST:: SOT 1349707 SOS 433710 HAS SOPS 433710 HAS SOUS 183867 HAS SOUPS 183867 WITH SCORE 184300.71
Bounds file is: CTLFireability.xml
PROPERTY: CloudDeployment-PT-4b-CTLFireability-00 (EX( (! (AF( ( ((potential((tk(P368)>=1)))) & ((potential((tk(P741)>=1)))) ))))))
PROPERTY: CloudDeployment-PT-4b-CTLFireability-01 (AF( ((potential((tk(P70)>=1) & (tk(P605)>=1))))))
PROPERTY: CloudDeployment-PT-4b-CTLFireability-02 (EX( (EF( ( (! ((potential((tk(P1131)>=1) & (tk(P610)>=1) & (tk(P587)>=1) & (tk(P648)>=1) & (tk(P86)>=1) & (tk(P12)>=1) & (tk(P48)>=1) & (tk(P367)>=1) & (tk(P293)>=1) & (tk(P333)>=1) & (tk(P929)>=1) & (tk(P868)>=1) & (tk(P891)>=1) & (tk(P1180)>=1))))) & ( ((potential((tk(P1131)>=1) & (tk(P614)>=1) & (tk(P574)>=1) & (tk(P648)>=1) & (tk(P86)>=1) & (tk(P25)>=1) & (tk(P48)>=1) & (tk(P367)>=1) & (tk(P306)>=1) & (tk(P333)>=1) & (tk(P929)>=1) & (tk(P868)>=1) & (tk(P895)>=1) & (tk(P1180)>=1)))) & ((potential((tk(P787)>=1)))) ) )))))
PROPERTY: CloudDeployment-PT-4b-CTLFireability-03 (EF( (AG( (EF( ((potential((tk(P464)>=1))))))))))
PROPERTY: CloudDeployment-PT-4b-CTLFireability-04 (! (AF( (EX( ( ((potential((tk(P994)>=1)))) & ((potential((tk(P416)>=1)))) ))))))
PROPERTY: CloudDeployment-PT-4b-CTLFireability-05 (EG( ( ( (AG( ((potential((tk(P359)>=1) & (tk(P402)>=1)))))) & (! (! ((potential((tk(P717)>=1)))))) ) | (! ((potential((tk(P1164)>=1) & (tk(P78)>=1) & (tk(P43)>=1) & (tk(P103)>=1) & (tk(P1179)>=1))))) )))
PROPERTY: CloudDeployment-PT-4b-CTLFireability-06 (EG( (AU( (! ((potential((tk(P1131)>=1) & (tk(P610)>=1) & (tk(P574)>=1) & (tk(P648)>=1) & (tk(P86)>=1) & (tk(P12)>=1) & (tk(P48)>=1) & (tk(P367)>=1) & (tk(P293)>=1) & (tk(P329)>=1) & (tk(P929)>=1) & (tk(P855)>=1) & (tk(P895)>=1) & (tk(P1180)>=1))))) , ( ((potential((tk(P204)>=1)))) & ((potential((tk(P253)>=1)))) ) ))))
PROPERTY: CloudDeployment-PT-4b-CTLFireability-07 (EG( (! (AG( ((potential((tk(P790)>=1)))))))))
PROPERTY: CloudDeployment-PT-4b-CTLFireability-08 ( ( (! (EG( ((potential((tk(P722)>=1))))))) | ((potential((tk(P489)>=1)))) ) & (AF( (AG( ( ((potential((tk(P1011)>=1)))) & ((potential((tk(P802)>=1)))) ))))) )
PROPERTY: CloudDeployment-PT-4b-CTLFireability-09 (! (EF( (AG( ((potential((tk(P627)>=1)))))))))
PROPERTY: CloudDeployment-PT-4b-CTLFireability-10 (AF( (EU( ((potential((tk(P1026)>=1)))) , ((potential((tk(P147)>=1)))) ))))
PROPERTY: CloudDeployment-PT-4b-CTLFireability-11 (EF( ((potential((tk(P595)>=1))))))
PROPERTY: CloudDeployment-PT-4b-CTLFireability-12 (EG( (! (EX( ( ((potential((tk(P1131)>=1) & (tk(P610)>=1) & (tk(P574)>=1) & (tk(P648)>=1) & (tk(P86)>=1) & (tk(P25)>=1) & (tk(P48)>=1) & (tk(P367)>=1) & (tk(P306)>=1) & (tk(P333)>=1) & (tk(P929)>=1) & (tk(P855)>=1) & (tk(P891)>=1) & (tk(P1180)>=1)))) & ((potential((tk(P338)>=1) & (tk(P900)>=1)))) ))))))
PROPERTY: CloudDeployment-PT-4b-CTLFireability-13 (EG( (AU( ( ((potential((tk(P978)>=1)))) & ((potential((tk(P867)>=1)))) ) , (! ((potential((tk(P247)>=1))))) ))))
PROPERTY: CloudDeployment-PT-4b-CTLFireability-14 ( (AG( (AF( (! ((potential((tk(P842)>=1))))))))) | (! (EF( (EG( ((potential((tk(P1131)>=1) & (tk(P610)>=1) & (tk(P574)>=1) & (tk(P648)>=1) & (tk(P86)>=1) & (tk(P25)>=1) & (tk(P52)>=1) & (tk(P367)>=1) & (tk(P293)>=1) & (tk(P329)>=1) & (tk(P929)>=1) & (tk(P855)>=1) & (tk(P895)>=1) & (tk(P1180)>=1))))))))) )
PROPERTY: CloudDeployment-PT-4b-CTLFireability-15 (AF( ( (EX( (! ((potential((tk(P703)>=1))))))) & (EX( ((potential((tk(P936)>=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="CloudDeployment-PT-4b"
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 CloudDeployment-PT-4b, 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 r033-smll-158901926000308"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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