Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 248K
-rw-r--r-- 1 mcc users 2.8K Mar 26 02:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 14K Mar 26 02:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 25 22:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 22:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 25 17:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 25 17:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 14:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 25 14:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 25 17:55 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 25 17:55 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 85K Mar 24 05:37 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 1589018428956

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 06
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 376 places, 297 transitions, 830 arcs.
AT ITER 0 NEW BEST:: SOT 72155 SOS 29734 HAS SOPS 29734 HAS SOUS 29620 HAS SOUPS 29620 WITH SCORE 29649.734
AT ITER 2 NEW BEST:: SOT 72153 SOS 29730 HAS SOPS 29730 HAS SOUS 29616 HAS SOUPS 29616 WITH SCORE 29645.73
AT ITER 5 NEW BEST:: SOT 72034 SOS 29616 HAS SOPS 29616 HAS SOUS 29502 HAS SOUPS 29502 WITH SCORE 29531.616
AT ITER 16 NEW BEST:: SOT 72034 SOS 29569 HAS SOPS 29569 HAS SOUS 29455 HAS SOUPS 29455 WITH SCORE 29484.569
AT ITER 17 NEW BEST:: SOT 71974 SOS 29508 HAS SOPS 29508 HAS SOUS 29394 HAS SOUPS 29394 WITH SCORE 29423.508
AT ITER 21 NEW BEST:: SOT 71903 SOS 29378 HAS SOPS 29378 HAS SOUS 29264 HAS SOUPS 29264 WITH SCORE 29293.378
AT ITER 26 NEW BEST:: SOT 71779 SOS 29125 HAS SOPS 29125 HAS SOUS 29011 HAS SOUPS 29011 WITH SCORE 29040.125
AT ITER 27 NEW BEST:: SOT 71778 SOS 29123 HAS SOPS 29123 HAS SOUS 29009 HAS SOUPS 29009 WITH SCORE 29038.123
AT ITER 40 NEW BEST:: SOT 71769 SOS 29114 HAS SOPS 29114 HAS SOUS 29000 HAS SOUPS 29000 WITH SCORE 29029.114
AT ITER 42 NEW BEST:: SOT 71768 SOS 29023 HAS SOPS 29023 HAS SOUS 28909 HAS SOUPS 28909 WITH SCORE 28938.023
AT ITER 50 NEW BEST:: SOT 71663 SOS 28896 HAS SOPS 28896 HAS SOUS 28782 HAS SOUPS 28782 WITH SCORE 28810.896
AT ITER 58 NEW BEST:: SOT 71589 SOS 28822 HAS SOPS 28822 HAS SOUS 28708 HAS SOUPS 28708 WITH SCORE 28736.822
AT ITER 67 NEW BEST:: SOT 71589 SOS 28740 HAS SOPS 28740 HAS SOUS 28670 HAS SOUPS 28670 WITH SCORE 28698.74
AT ITER 81 NEW BEST:: SOT 71549 SOS 28660 HAS SOPS 28660 HAS SOUS 28590 HAS SOUPS 28590 WITH SCORE 28618.66
AT ITER 89 NEW BEST:: SOT 71461 SOS 28520 HAS SOPS 28520 HAS SOUS 28450 HAS SOUPS 28450 WITH SCORE 28478.52
AT ITER 99 NEW BEST:: SOT 71355 SOS 28447 HAS SOPS 28447 HAS SOUS 28377 HAS SOUPS 28377 WITH SCORE 28405.447
AT ITER 109 NEW BEST:: SOT 71338 SOS 28446 HAS SOPS 28446 HAS SOUS 28376 HAS SOUPS 28376 WITH SCORE 28404.446
AT ITER 118 NEW BEST:: SOT 71221 SOS 28286 HAS SOPS 28286 HAS SOUS 28216 HAS SOUPS 28216 WITH SCORE 28244.286
AT ITER 122 NEW BEST:: SOT 71127 SOS 28165 HAS SOPS 28165 HAS SOUS 28095 HAS SOUPS 28095 WITH SCORE 28123.165
AT ITER 128 NEW BEST:: SOT 71058 SOS 27958 HAS SOPS 27958 HAS SOUS 27888 HAS SOUPS 27888 WITH SCORE 27915.958
AT ITER 130 NEW BEST:: SOT 71047 SOS 27898 HAS SOPS 27898 HAS SOUS 27828 HAS SOUPS 27828 WITH SCORE 27855.898
AT ITER 131 NEW BEST:: SOT 71047 SOS 27869 HAS SOPS 27869 HAS SOUS 27799 HAS SOUPS 27799 WITH SCORE 27826.869
AT ITER 139 NEW BEST:: SOT 71115 SOS 27752 HAS SOPS 27752 HAS SOUS 27682 HAS SOUPS 27682 WITH SCORE 27709.752
AT ITER 152 NEW BEST:: SOT 71090 SOS 27751 HAS SOPS 27751 HAS SOUS 27681 HAS SOUPS 27681 WITH SCORE 27708.751
AT ITER 162 NEW BEST:: SOT 71071 SOS 27756 HAS SOPS 27756 HAS SOUS 27636 HAS SOUPS 27636 WITH SCORE 27663.756
AT ITER 168 NEW BEST:: SOT 71064 SOS 27749 HAS SOPS 27749 HAS SOUS 27629 HAS SOUPS 27629 WITH SCORE 27656.749
AT ITER 174 NEW BEST:: SOT 71023 SOS 27690 HAS SOPS 27690 HAS SOUS 27570 HAS SOUPS 27570 WITH SCORE 27597.69
AT ITER 182 NEW BEST:: SOT 71022 SOS 27688 HAS SOPS 27688 HAS SOUS 27568 HAS SOUPS 27568 WITH SCORE 27595.688
AT ITER 185 NEW BEST:: SOT 70981 SOS 27647 HAS SOPS 27647 HAS SOUS 27527 HAS SOUPS 27527 WITH SCORE 27554.647
AT ITER 186 NEW BEST:: SOT 70905 SOS 27491 HAS SOPS 27491 HAS SOUS 27371 HAS SOUPS 27371 WITH SCORE 27398.491
AT ITER 193 NEW BEST:: SOT 70902 SOS 27451 HAS SOPS 27451 HAS SOUS 27331 HAS SOUPS 27331 WITH SCORE 27358.451
AT ITER 197 NEW BEST:: SOT 70901 SOS 27450 HAS SOPS 27450 HAS SOUS 27330 HAS SOUPS 27330 WITH SCORE 27357.45
AT ITER 203 NEW BEST:: SOT 70968 SOS 27432 HAS SOPS 27432 HAS SOUS 27312 HAS SOUPS 27312 WITH SCORE 27339.432
AT ITER 206 NEW BEST:: SOT 70967 SOS 27428 HAS SOPS 27428 HAS SOUS 27308 HAS SOUPS 27308 WITH SCORE 27335.428
AT ITER 217 NEW BEST:: SOT 70982 SOS 27394 HAS SOPS 27394 HAS SOUS 27274 HAS SOUPS 27274 WITH SCORE 27301.394
AT ITER 219 NEW BEST:: SOT 70981 SOS 27392 HAS SOPS 27392 HAS SOUS 27272 HAS SOUPS 27272 WITH SCORE 27299.392
AT ITER 235 NEW BEST:: SOT 70996 SOS 27353 HAS SOPS 27353 HAS SOUS 27233 HAS SOUPS 27233 WITH SCORE 27260.353
AT ITER 253 NEW BEST:: SOT 71003 SOS 27331 HAS SOPS 27331 HAS SOUS 27192 HAS SOUPS 27192 WITH SCORE 27219.331
AT ITER 261 NEW BEST:: SOT 71078 SOS 27312 HAS SOPS 27312 HAS SOUS 27173 HAS SOUPS 27173 WITH SCORE 27200.312
AT ITER 263 NEW BEST:: SOT 71049 SOS 27277 HAS SOPS 27277 HAS SOUS 27157 HAS SOUPS 27157 WITH SCORE 27184.277
AT ITER 276 NEW BEST:: SOT 71042 SOS 27270 HAS SOPS 27270 HAS SOUS 27150 HAS SOUPS 27150 WITH SCORE 27177.27
AT ITER 277 NEW BEST:: SOT 70993 SOS 27234 HAS SOPS 27234 HAS SOUS 27114 HAS SOUPS 27114 WITH SCORE 27141.234
AT ITER 328 NEW BEST:: SOT 70993 SOS 27233 HAS SOPS 27233 HAS SOUS 27113 HAS SOUPS 27113 WITH SCORE 27140.233
AT ITER 330 NEW BEST:: SOT 71015 SOS 27187 HAS SOPS 27187 HAS SOUS 27067 HAS SOUPS 27067 WITH SCORE 27094.187
AT ITER 344 NEW BEST:: SOT 70815 SOS 27002 HAS SOPS 27002 HAS SOUS 26882 HAS SOUPS 26882 WITH SCORE 26909.002
AT ITER 376 NEW BEST:: SOT 70889 SOS 27000 HAS SOPS 27000 HAS SOUS 26880 HAS SOUPS 26880 WITH SCORE 26907.0
AT ITER 392 NEW BEST:: SOT 70888 SOS 26998 HAS SOPS 26998 HAS SOUS 26878 HAS SOUPS 26878 WITH SCORE 26904.998
AT ITER 400 NEW BEST:: SOT 70833 SOS 26833 HAS SOPS 26833 HAS SOUS 26713 HAS SOUPS 26713 WITH SCORE 26739.833
AT ITER 404 NEW BEST:: SOT 70770 SOS 26818 HAS SOPS 26818 HAS SOUS 26698 HAS SOUPS 26698 WITH SCORE 26724.818
AT ITER 407 NEW BEST:: SOT 70775 SOS 26606 HAS SOPS 26606 HAS SOUS 26486 HAS SOUPS 26486 WITH SCORE 26512.606
AT ITER 410 NEW BEST:: SOT 70731 SOS 26580 HAS SOPS 26580 HAS SOUS 26460 HAS SOUPS 26460 WITH SCORE 26486.58
AT ITER 413 NEW BEST:: SOT 70731 SOS 26575 HAS SOPS 26575 HAS SOUS 26455 HAS SOUPS 26455 WITH SCORE 26481.575
AT ITER 422 NEW BEST:: SOT 70794 SOS 26525 HAS SOPS 26525 HAS SOUS 26405 HAS SOUPS 26405 WITH SCORE 26431.525
AT ITER 423 NEW BEST:: SOT 70790 SOS 26517 HAS SOPS 26517 HAS SOUS 26397 HAS SOUPS 26397 WITH SCORE 26423.517
AT ITER 424 NEW BEST:: SOT 70709 SOS 26468 HAS SOPS 26468 HAS SOUS 26348 HAS SOUPS 26348 WITH SCORE 26374.468
AT ITER 433 NEW BEST:: SOT 70675 SOS 26467 HAS SOPS 26467 HAS SOUS 26347 HAS SOUPS 26347 WITH SCORE 26373.467
AT ITER 436 NEW BEST:: SOT 68524 SOS 26011 HAS SOPS 26011 HAS SOUS 24429 HAS SOUPS 24429 WITH SCORE 24455.011
AT ITER 440 NEW BEST:: SOT 68549 SOS 25993 HAS SOPS 25993 HAS SOUS 24411 HAS SOUPS 24411 WITH SCORE 24436.993
AT ITER 448 NEW BEST:: SOT 68497 SOS 25889 HAS SOPS 25889 HAS SOUS 24307 HAS SOUPS 24307 WITH SCORE 24332.889
AT ITER 451 NEW BEST:: SOT 68493 SOS 25881 HAS SOPS 25881 HAS SOUS 24299 HAS SOUPS 24299 WITH SCORE 24324.881
AT ITER 455 NEW BEST:: SOT 68491 SOS 25879 HAS SOPS 25879 HAS SOUS 24299 HAS SOUPS 24299 WITH SCORE 24324.879
AT ITER 465 NEW BEST:: SOT 68448 SOS 25870 HAS SOPS 25870 HAS SOUS 24290 HAS SOUPS 24290 WITH SCORE 24315.87
AT ITER 486 NEW BEST:: SOT 68340 SOS 25654 HAS SOPS 25654 HAS SOUS 24182 HAS SOUPS 24182 WITH SCORE 24207.654
AT ITER 494 NEW BEST:: SOT 68312 SOS 25598 HAS SOPS 25598 HAS SOUS 24171 HAS SOUPS 24171 WITH SCORE 24196.598
AT ITER 505 NEW BEST:: SOT 68326 SOS 25626 HAS SOPS 25626 HAS SOUS 24137 HAS SOUPS 24137 WITH SCORE 24162.626
AT ITER 507 NEW BEST:: SOT 68331 SOS 25600 HAS SOPS 25600 HAS SOUS 24106 HAS SOUPS 24106 WITH SCORE 24131.6
AT ITER 528 NEW BEST:: SOT 68252 SOS 25423 HAS SOPS 25423 HAS SOUS 23929 HAS SOUPS 23929 WITH SCORE 23954.423
AT ITER 535 NEW BEST:: SOT 68281 SOS 25404 HAS SOPS 25404 HAS SOUS 23910 HAS SOUPS 23910 WITH SCORE 23935.404
AT ITER 537 NEW BEST:: SOT 68252 SOS 25375 HAS SOPS 25375 HAS SOUS 23910 HAS SOUPS 23910 WITH SCORE 23935.375
AT ITER 547 NEW BEST:: SOT 68251 SOS 25348 HAS SOPS 25348 HAS SOUS 23883 HAS SOUPS 23883 WITH SCORE 23908.348
AT ITER 549 NEW BEST:: SOT 68251 SOS 25289 HAS SOPS 25289 HAS SOUS 23821 HAS SOUPS 23821 WITH SCORE 23846.289
AT ITER 555 NEW BEST:: SOT 68250 SOS 25279 HAS SOPS 25279 HAS SOUS 23819 HAS SOUPS 23819 WITH SCORE 23844.279
AT ITER 566 NEW BEST:: SOT 68176 SOS 25174 HAS SOPS 25174 HAS SOUS 23714 HAS SOUPS 23714 WITH SCORE 23739.174
AT ITER 568 NEW BEST:: SOT 68206 SOS 25151 HAS SOPS 25151 HAS SOUS 23691 HAS SOUPS 23691 WITH SCORE 23716.151
AT ITER 574 NEW BEST:: SOT 68216 SOS 25155 HAS SOPS 25155 HAS SOUS 23689 HAS SOUPS 23689 WITH SCORE 23714.155
AT ITER 583 NEW BEST:: SOT 68297 SOS 25204 HAS SOPS 25204 HAS SOUS 23674 HAS SOUPS 23674 WITH SCORE 23699.204
AT ITER 586 NEW BEST:: SOT 68169 SOS 25015 HAS SOPS 25015 HAS SOUS 23531 HAS SOUPS 23531 WITH SCORE 23556.015
AT ITER 603 NEW BEST:: SOT 68176 SOS 24877 HAS SOPS 24877 HAS SOUS 23393 HAS SOUPS 23393 WITH SCORE 23417.877
AT ITER 608 NEW BEST:: SOT 68175 SOS 24773 HAS SOPS 24773 HAS SOUS 23289 HAS SOUPS 23289 WITH SCORE 23313.773
AT ITER 618 NEW BEST:: SOT 68127 SOS 24677 HAS SOPS 24677 HAS SOUS 23193 HAS SOUPS 23193 WITH SCORE 23217.677
AT ITER 632 NEW BEST:: SOT 68127 SOS 24635 HAS SOPS 24635 HAS SOUS 23151 HAS SOUPS 23151 WITH SCORE 23175.635
AT ITER 633 NEW BEST:: SOT 68183 SOS 24633 HAS SOPS 24633 HAS SOUS 23149 HAS SOUPS 23149 WITH SCORE 23173.633
AT ITER 644 NEW BEST:: SOT 68099 SOS 24448 HAS SOPS 24448 HAS SOUS 22964 HAS SOUPS 22964 WITH SCORE 22988.448
AT ITER 645 NEW BEST:: SOT 68041 SOS 24332 HAS SOPS 24332 HAS SOUS 22848 HAS SOUPS 22848 WITH SCORE 22872.332
AT ITER 654 NEW BEST:: SOT 68083 SOS 24245 HAS SOPS 24245 HAS SOUS 22761 HAS SOUPS 22761 WITH SCORE 22785.245
AT ITER 658 NEW BEST:: SOT 68081 SOS 24243 HAS SOPS 24243 HAS SOUS 22759 HAS SOUPS 22759 WITH SCORE 22783.243
AT ITER 668 NEW BEST:: SOT 68003 SOS 24175 HAS SOPS 24175 HAS SOUS 22691 HAS SOUPS 22691 WITH SCORE 22715.175
AT ITER 670 NEW BEST:: SOT 67996 SOS 24161 HAS SOPS 24161 HAS SOUS 22677 HAS SOUPS 22677 WITH SCORE 22701.161
AT ITER 671 NEW BEST:: SOT 67979 SOS 24159 HAS SOPS 24159 HAS SOUS 22675 HAS SOUPS 22675 WITH SCORE 22699.159
AT ITER 673 NEW BEST:: SOT 67978 SOS 24157 HAS SOPS 24157 HAS SOUS 22673 HAS SOUPS 22673 WITH SCORE 22697.157
AT ITER 677 NEW BEST:: SOT 67975 SOS 24154 HAS SOPS 24154 HAS SOUS 22670 HAS SOUPS 22670 WITH SCORE 22694.154
AT ITER 686 NEW BEST:: SOT 67975 SOS 24124 HAS SOPS 24124 HAS SOUS 22640 HAS SOUPS 22640 WITH SCORE 22664.124
AT ITER 695 NEW BEST:: SOT 67969 SOS 24118 HAS SOPS 24118 HAS SOUS 22634 HAS SOUPS 22634 WITH SCORE 22658.118
AT ITER 706 NEW BEST:: SOT 67969 SOS 24086 HAS SOPS 24086 HAS SOUS 22602 HAS SOUPS 22602 WITH SCORE 22626.086
AT ITER 707 NEW BEST:: SOT 67951 SOS 24083 HAS SOPS 24083 HAS SOUS 22599 HAS SOUPS 22599 WITH SCORE 22623.083
AT ITER 709 NEW BEST:: SOT 68026 SOS 24158 HAS SOPS 24158 HAS SOUS 22589 HAS SOUPS 22589 WITH SCORE 22613.158
AT ITER 713 NEW BEST:: SOT 68026 SOS 24080 HAS SOPS 24080 HAS SOUS 22511 HAS SOUPS 22511 WITH SCORE 22535.08
AT ITER 714 NEW BEST:: SOT 68025 SOS 24065 HAS SOPS 24065 HAS SOUS 22496 HAS SOUPS 22496 WITH SCORE 22520.065
AT ITER 719 NEW BEST:: SOT 68024 SOS 24062 HAS SOPS 24062 HAS SOUS 22493 HAS SOUPS 22493 WITH SCORE 22517.062
AT ITER 729 NEW BEST:: SOT 67894 SOS 23909 HAS SOPS 23909 HAS SOUS 22364 HAS SOUPS 22364 WITH SCORE 22387.909
AT ITER 738 NEW BEST:: SOT 67893 SOS 23908 HAS SOPS 23908 HAS SOUS 22363 HAS SOUPS 22363 WITH SCORE 22386.908
AT ITER 745 NEW BEST:: SOT 67845 SOS 23864 HAS SOPS 23864 HAS SOUS 22322 HAS SOUPS 22322 WITH SCORE 22345.864
AT ITER 746 NEW BEST:: SOT 67820 SOS 23814 HAS SOPS 23814 HAS SOUS 22272 HAS SOUPS 22272 WITH SCORE 22295.814
AT ITER 758 NEW BEST:: SOT 67733 SOS 23604 HAS SOPS 23604 HAS SOUS 22062 HAS SOUPS 22062 WITH SCORE 22085.604
AT ITER 760 NEW BEST:: SOT 67733 SOS 23507 HAS SOPS 23507 HAS SOUS 21965 HAS SOUPS 21965 WITH SCORE 21988.507
AT ITER 783 NEW BEST:: SOT 67732 SOS 23505 HAS SOPS 23505 HAS SOUS 21963 HAS SOUPS 21963 WITH SCORE 21986.505
AT ITER 788 NEW BEST:: SOT 67732 SOS 23505 HAS SOPS 23505 HAS SOUS 21870 HAS SOUPS 21870 WITH SCORE 21893.505
AT ITER 791 NEW BEST:: SOT 67870 SOS 23183 HAS SOPS 23183 HAS SOUS 21653 HAS SOUPS 21653 WITH SCORE 21676.183
AT ITER 828 NEW BEST:: SOT 67854 SOS 23151 HAS SOPS 23151 HAS SOUS 21621 HAS SOUPS 21621 WITH SCORE 21644.151
AT ITER 834 NEW BEST:: SOT 67803 SOS 23150 HAS SOPS 23150 HAS SOUS 21620 HAS SOUPS 21620 WITH SCORE 21643.15
AT ITER 840 NEW BEST:: SOT 67775 SOS 23094 HAS SOPS 23094 HAS SOUS 21564 HAS SOUPS 21564 WITH SCORE 21587.094
AT ITER 862 NEW BEST:: SOT 67621 SOS 25442 HAS SOPS 25442 HAS SOUS 21487 HAS SOUPS 21487 WITH SCORE 21512.442
AT ITER 866 NEW BEST:: SOT 67621 SOS 25428 HAS SOPS 25428 HAS SOUS 21473 HAS SOUPS 21473 WITH SCORE 21498.428
AT ITER 875 NEW BEST:: SOT 67552 SOS 25290 HAS SOPS 25290 HAS SOUS 21335 HAS SOUPS 21335 WITH SCORE 21360.29
AT ITER 876 NEW BEST:: SOT 67536 SOS 25258 HAS SOPS 25258 HAS SOUS 21303 HAS SOUPS 21303 WITH SCORE 21328.258
AT ITER 911 NEW BEST:: SOT 67496 SOS 25194 HAS SOPS 25194 HAS SOUS 21239 HAS SOUPS 21239 WITH SCORE 21264.194
AT ITER 916 NEW BEST:: SOT 67421 SOS 25044 HAS SOPS 25044 HAS SOUS 21089 HAS SOUPS 21089 WITH SCORE 21114.044
AT ITER 929 NEW BEST:: SOT 67427 SOS 25056 HAS SOPS 25056 HAS SOUS 21052 HAS SOUPS 21052 WITH SCORE 21077.056
AT ITER 935 NEW BEST:: SOT 67308 SOS 24969 HAS SOPS 24969 HAS SOUS 20975 HAS SOUPS 20975 WITH SCORE 20999.969
AT ITER 960 NEW BEST:: SOT 67249 SOS 24844 HAS SOPS 24844 HAS SOUS 20850 HAS SOUPS 20850 WITH SCORE 20874.844
AT ITER 962 NEW BEST:: SOT 67226 SOS 24797 HAS SOPS 24797 HAS SOUS 20803 HAS SOUPS 20803 WITH SCORE 20827.797
AT ITER 968 NEW BEST:: SOT 67226 SOS 24749 HAS SOPS 24749 HAS SOUS 20755 HAS SOUPS 20755 WITH SCORE 20779.749
AT ITER 972 NEW BEST:: SOT 67226 SOS 24729 HAS SOPS 24729 HAS SOUS 20735 HAS SOUPS 20735 WITH SCORE 20759.729
AT ITER 977 NEW BEST:: SOT 67200 SOS 24682 HAS SOPS 24682 HAS SOUS 20688 HAS SOUPS 20688 WITH SCORE 20712.682
AT ITER 984 NEW BEST:: SOT 67200 SOS 24648 HAS SOPS 24648 HAS SOUS 20654 HAS SOUPS 20654 WITH SCORE 20678.648
AT ITER 1009 NEW BEST:: SOT 67200 SOS 24645 HAS SOPS 24645 HAS SOUS 20651 HAS SOUPS 20651 WITH SCORE 20675.645
AT ITER 1044 NEW BEST:: SOT 67205 SOS 24625 HAS SOPS 24625 HAS SOUS 20631 HAS SOUPS 20631 WITH SCORE 20655.625
AT ITER 1045 NEW BEST:: SOT 67192 SOS 24620 HAS SOPS 24620 HAS SOUS 20626 HAS SOUPS 20626 WITH SCORE 20650.62
AT ITER 1071 NEW BEST:: SOT 67192 SOS 24600 HAS SOPS 24600 HAS SOUS 20606 HAS SOUPS 20606 WITH SCORE 20630.6
AT ITER 1076 NEW BEST:: SOT 67187 SOS 24595 HAS SOPS 24595 HAS SOUS 20601 HAS SOUPS 20601 WITH SCORE 20625.595
AT ITER 1090 NEW BEST:: SOT 67126 SOS 24443 HAS SOPS 24443 HAS SOUS 20449 HAS SOUPS 20449 WITH SCORE 20473.443
AT ITER 1097 NEW BEST:: SOT 67125 SOS 24406 HAS SOPS 24406 HAS SOUS 20412 HAS SOUPS 20412 WITH SCORE 20436.406
AT ITER 1101 NEW BEST:: SOT 67091 SOS 24338 HAS SOPS 24338 HAS SOUS 20378 HAS SOUPS 20378 WITH SCORE 20402.338
AT ITER 1103 NEW BEST:: SOT 67110 SOS 24357 HAS SOPS 24357 HAS SOUS 20377 HAS SOUPS 20377 WITH SCORE 20401.357
AT ITER 1142 NEW BEST:: SOT 67110 SOS 24343 HAS SOPS 24343 HAS SOUS 20363 HAS SOUPS 20363 WITH SCORE 20387.343
AT ITER 1147 NEW BEST:: SOT 67110 SOS 24340 HAS SOPS 24340 HAS SOUS 20360 HAS SOUPS 20360 WITH SCORE 20384.34
AT ITER 1148 NEW BEST:: SOT 67138 SOS 24342 HAS SOPS 24342 HAS SOUS 20342 HAS SOUPS 20342 WITH SCORE 20366.342
AT ITER 1149 NEW BEST:: SOT 67102 SOS 24310 HAS SOPS 24310 HAS SOUS 20310 HAS SOUPS 20310 WITH SCORE 20334.31
AT ITER 1151 NEW BEST:: SOT 67009 SOS 24129 HAS SOPS 24129 HAS SOUS 20129 HAS SOUPS 20129 WITH SCORE 20153.129
AT ITER 1155 NEW BEST:: SOT 67009 SOS 24121 HAS SOPS 24121 HAS SOUS 20121 HAS SOUPS 20121 WITH SCORE 20145.121
AT ITER 1170 NEW BEST:: SOT 66926 SOS 24037 HAS SOPS 24037 HAS SOUS 20037 HAS SOUPS 20037 WITH SCORE 20061.037
AT ITER 1178 NEW BEST:: SOT 66920 SOS 24025 HAS SOPS 24025 HAS SOUS 20025 HAS SOUPS 20025 WITH SCORE 20049.025
AT ITER 1201 NEW BEST:: SOT 66934 SOS 23919 HAS SOPS 23919 HAS SOUS 19924 HAS SOUPS 19924 WITH SCORE 19947.919
AT ITER 1207 NEW BEST:: SOT 66962 SOS 23913 HAS SOPS 23913 HAS SOUS 19918 HAS SOUPS 19918 WITH SCORE 19941.913
AT ITER 1224 NEW BEST:: SOT 66943 SOS 23891 HAS SOPS 23891 HAS SOUS 19911 HAS SOUPS 19911 WITH SCORE 19934.891
AT ITER 1237 NEW BEST:: SOT 66943 SOS 23828 HAS SOPS 23828 HAS SOUS 19848 HAS SOUPS 19848 WITH SCORE 19871.828
AT ITER 1259 NEW BEST:: SOT 66939 SOS 23820 HAS SOPS 23820 HAS SOUS 19840 HAS SOUPS 19840 WITH SCORE 19863.82
AT ITER 1271 NEW BEST:: SOT 66930 SOS 23801 HAS SOPS 23801 HAS SOUS 19821 HAS SOUPS 19821 WITH SCORE 19844.801
AT ITER 1281 NEW BEST:: SOT 66896 SOS 23761 HAS SOPS 23761 HAS SOUS 19809 HAS SOUPS 19809 WITH SCORE 19832.761
AT ITER 1284 NEW BEST:: SOT 66936 SOS 23744 HAS SOPS 23744 HAS SOUS 19792 HAS SOUPS 19792 WITH SCORE 19815.744
AT ITER 1291 NEW BEST:: SOT 66906 SOS 23624 HAS SOPS 23624 HAS SOUS 19672 HAS SOUPS 19672 WITH SCORE 19695.624
AT ITER 1298 NEW BEST:: SOT 66906 SOS 23555 HAS SOPS 23555 HAS SOUS 19651 HAS SOUPS 19651 WITH SCORE 19674.555
AT ITER 1299 NEW BEST:: SOT 66878 SOS 23528 HAS SOPS 23528 HAS SOUS 19624 HAS SOUPS 19624 WITH SCORE 19647.528
AT ITER 1307 NEW BEST:: SOT 66871 SOS 23461 HAS SOPS 23461 HAS SOUS 19557 HAS SOUPS 19557 WITH SCORE 19580.461
AT ITER 1323 NEW BEST:: SOT 66898 SOS 23334 HAS SOPS 23334 HAS SOUS 19430 HAS SOUPS 19430 WITH SCORE 19453.334
AT ITER 1336 NEW BEST:: SOT 66871 SOS 23319 HAS SOPS 23319 HAS SOUS 19415 HAS SOUPS 19415 WITH SCORE 19438.319
AT ITER 1340 NEW BEST:: SOT 66861 SOS 23304 HAS SOPS 23304 HAS SOUS 19400 HAS SOUPS 19400 WITH SCORE 19423.304
AT ITER 1344 NEW BEST:: SOT 66833 SOS 23276 HAS SOPS 23276 HAS SOUS 19344 HAS SOUPS 19344 WITH SCORE 19367.276
AT ITER 1346 NEW BEST:: SOT 66816 SOS 23242 HAS SOPS 23242 HAS SOUS 19310 HAS SOUPS 19310 WITH SCORE 19333.242
AT ITER 1352 NEW BEST:: SOT 66816 SOS 23228 HAS SOPS 23228 HAS SOUS 19296 HAS SOUPS 19296 WITH SCORE 19319.228
AT ITER 1389 NEW BEST:: SOT 66812 SOS 23220 HAS SOPS 23220 HAS SOUS 19288 HAS SOUPS 19288 WITH SCORE 19311.22
AT ITER 1394 NEW BEST:: SOT 66846 SOS 23209 HAS SOPS 23209 HAS SOUS 19277 HAS SOUPS 19277 WITH SCORE 19300.209
AT ITER 1402 NEW BEST:: SOT 66846 SOS 23195 HAS SOPS 23195 HAS SOUS 19263 HAS SOUPS 19263 WITH SCORE 19286.195
AT ITER 1415 NEW BEST:: SOT 66835 SOS 23173 HAS SOPS 23173 HAS SOUS 19256 HAS SOUPS 19256 WITH SCORE 19279.173
AT ITER 1424 NEW BEST:: SOT 66796 SOS 23173 HAS SOPS 23173 HAS SOUS 19247 HAS SOUPS 19247 WITH SCORE 19270.173
AT ITER 1431 NEW BEST:: SOT 66796 SOS 23172 HAS SOPS 23172 HAS SOUS 19246 HAS SOUPS 19246 WITH SCORE 19269.172
AT ITER 1443 NEW BEST:: SOT 66801 SOS 23136 HAS SOPS 23136 HAS SOUS 19210 HAS SOUPS 19210 WITH SCORE 19233.136
AT ITER 1469 NEW BEST:: SOT 66799 SOS 23134 HAS SOPS 23134 HAS SOUS 19208 HAS SOUPS 19208 WITH SCORE 19231.134
AT ITER 1478 NEW BEST:: SOT 66818 SOS 23136 HAS SOPS 23136 HAS SOUS 19196 HAS SOUPS 19196 WITH SCORE 19219.136
AT ITER 1480 NEW BEST:: SOT 66733 SOS 23051 HAS SOPS 23051 HAS SOUS 19171 HAS SOUPS 19171 WITH SCORE 19194.051
AT ITER 1497 NEW BEST:: SOT 66740 SOS 23036 HAS SOPS 23036 HAS SOUS 19156 HAS SOUPS 19156 WITH SCORE 19179.036
AT ITER 1504 NEW BEST:: SOT 66733 SOS 23022 HAS SOPS 23022 HAS SOUS 19142 HAS SOUPS 19142 WITH SCORE 19165.022
AT ITER 1511 NEW BEST:: SOT 66733 SOS 23021 HAS SOPS 23021 HAS SOUS 19141 HAS SOUPS 19141 WITH SCORE 19164.021
AT ITER 1514 NEW BEST:: SOT 66731 SOS 23008 HAS SOPS 23008 HAS SOUS 19128 HAS SOUPS 19128 WITH SCORE 19151.008
AT ITER 1529 NEW BEST:: SOT 66731 SOS 22942 HAS SOPS 22942 HAS SOUS 19076 HAS SOUPS 19076 WITH SCORE 19098.942
AT ITER 1534 NEW BEST:: SOT 66737 SOS 22911 HAS SOPS 22911 HAS SOUS 19045 HAS SOUPS 19045 WITH SCORE 19067.911
AT ITER 1537 NEW BEST:: SOT 66743 SOS 22903 HAS SOPS 22903 HAS SOUS 19037 HAS SOUPS 19037 WITH SCORE 19059.903
AT ITER 1539 NEW BEST:: SOT 66725 SOS 22917 HAS SOPS 22917 HAS SOUS 19001 HAS SOUPS 19001 WITH SCORE 19023.917
AT ITER 1553 NEW BEST:: SOT 66679 SOS 22865 HAS SOPS 22865 HAS SOUS 18995 HAS SOUPS 18995 WITH SCORE 19017.865
AT ITER 1571 NEW BEST:: SOT 66678 SOS 22863 HAS SOPS 22863 HAS SOUS 18953 HAS SOUPS 18953 WITH SCORE 18975.863
AT ITER 1580 NEW BEST:: SOT 66707 SOS 22892 HAS SOPS 22892 HAS SOUS 18929 HAS SOUPS 18929 WITH SCORE 18951.892
AT ITER 1605 NEW BEST:: SOT 66706 SOS 22890 HAS SOPS 22890 HAS SOUS 18927 HAS SOUPS 18927 WITH SCORE 18949.89
AT ITER 1607 NEW BEST:: SOT 66807 SOS 22874 HAS SOPS 22874 HAS SOUS 18911 HAS SOUPS 18911 WITH SCORE 18933.874
AT ITER 1644 NEW BEST:: SOT 66807 SOS 22869 HAS SOPS 22869 HAS SOUS 18906 HAS SOUPS 18906 WITH SCORE 18928.869
AT ITER 1646 NEW BEST:: SOT 66871 SOS 22943 HAS SOPS 22943 HAS SOUS 18892 HAS SOUPS 18892 WITH SCORE 18914.943
AT ITER 1658 NEW BEST:: SOT 66857 SOS 22915 HAS SOPS 22915 HAS SOUS 18878 HAS SOUPS 18878 WITH SCORE 18900.915
AT ITER 1679 NEW BEST:: SOT 66899 SOS 22845 HAS SOPS 22845 HAS SOUS 18848 HAS SOUPS 18848 WITH SCORE 18870.845
AT ITER 1681 NEW BEST:: SOT 66882 SOS 22828 HAS SOPS 22828 HAS SOUS 18848 HAS SOUPS 18848 WITH SCORE 18870.828
AT ITER 1684 NEW BEST:: SOT 66897 SOS 22843 HAS SOPS 22843 HAS SOUS 18815 HAS SOUPS 18815 WITH SCORE 18837.843
AT ITER 1687 NEW BEST:: SOT 66834 SOS 22701 HAS SOPS 22701 HAS SOUS 18673 HAS SOUPS 18673 WITH SCORE 18695.701
AT ITER 1689 NEW BEST:: SOT 66829 SOS 22648 HAS SOPS 22648 HAS SOUS 18673 HAS SOUPS 18673 WITH SCORE 18695.648
AT ITER 1704 NEW BEST:: SOT 66828 SOS 22645 HAS SOPS 22645 HAS SOUS 18670 HAS SOUPS 18670 WITH SCORE 18692.645
AT ITER 1705 NEW BEST:: SOT 66823 SOS 22636 HAS SOPS 22636 HAS SOUS 18666 HAS SOUPS 18666 WITH SCORE 18688.636
AT ITER 1713 NEW BEST:: SOT 66813 SOS 22626 HAS SOPS 22626 HAS SOUS 18656 HAS SOUPS 18656 WITH SCORE 18678.626
AT ITER 1723 NEW BEST:: SOT 66747 SOS 22555 HAS SOPS 22555 HAS SOUS 18585 HAS SOUPS 18585 WITH SCORE 18607.555
AT ITER 1727 NEW BEST:: SOT 66719 SOS 22526 HAS SOPS 22526 HAS SOUS 18583 HAS SOUPS 18583 WITH SCORE 18605.526
AT ITER 1734 NEW BEST:: SOT 66696 SOS 22515 HAS SOPS 22515 HAS SOUS 18572 HAS SOUPS 18572 WITH SCORE 18594.515
AT ITER 1766 NEW BEST:: SOT 66680 SOS 22501 HAS SOPS 22501 HAS SOUS 18558 HAS SOUPS 18558 WITH SCORE 18580.501
AT ITER 1784 NEW BEST:: SOT 66674 SOS 22486 HAS SOPS 22486 HAS SOUS 18543 HAS SOUPS 18543 WITH SCORE 18565.486
AT ITER 1789 NEW BEST:: SOT 66662 SOS 22256 HAS SOPS 22256 HAS SOUS 18389 HAS SOUPS 18389 WITH SCORE 18411.256
AT ITER 1805 NEW BEST:: SOT 66639 SOS 22210 HAS SOPS 22210 HAS SOUS 18284 HAS SOUPS 18284 WITH SCORE 18306.21
AT ITER 1809 NEW BEST:: SOT 66639 SOS 22200 HAS SOPS 22200 HAS SOUS 18274 HAS SOUPS 18274 WITH SCORE 18296.2
AT ITER 1818 NEW BEST:: SOT 66610 SOS 22170 HAS SOPS 22170 HAS SOUS 18272 HAS SOUPS 18272 WITH SCORE 18294.17
AT ITER 1849 NEW BEST:: SOT 66621 SOS 22176 HAS SOPS 22176 HAS SOUS 18267 HAS SOUPS 18267 WITH SCORE 18289.176
AT ITER 1897 NEW BEST:: SOT 66621 SOS 22167 HAS SOPS 22167 HAS SOUS 18258 HAS SOUPS 18258 WITH SCORE 18280.167
AT ITER 1927 NEW BEST:: SOT 66596 SOS 22158 HAS SOPS 22158 HAS SOUS 18249 HAS SOUPS 18249 WITH SCORE 18271.158
AT ITER 1947 NEW BEST:: SOT 66628 SOS 22191 HAS SOPS 22191 HAS SOUS 18241 HAS SOUPS 18241 WITH SCORE 18263.191
AT ITER 1954 NEW BEST:: SOT 66625 SOS 22188 HAS SOPS 22188 HAS SOUS 18238 HAS SOUPS 18238 WITH SCORE 18260.188
AT ITER 1958 NEW BEST:: SOT 66620 SOS 22183 HAS SOPS 22183 HAS SOUS 18233 HAS SOUPS 18233 WITH SCORE 18255.183
AT ITER 1985 NEW BEST:: SOT 66603 SOS 22167 HAS SOPS 22167 HAS SOUS 18217 HAS SOUPS 18217 WITH SCORE 18239.167
AT ITER 2012 NEW BEST:: SOT 66603 SOS 22164 HAS SOPS 22164 HAS SOUS 18214 HAS SOUPS 18214 WITH SCORE 18236.164
AT ITER 2024 NEW BEST:: SOT 66584 SOS 22148 HAS SOPS 22148 HAS SOUS 18198 HAS SOUPS 18198 WITH SCORE 18220.148
AT ITER 2045 NEW BEST:: SOT 66584 SOS 22132 HAS SOPS 22132 HAS SOUS 18182 HAS SOUPS 18182 WITH SCORE 18204.132
AT ITER 2059 NEW BEST:: SOT 66564 SOS 22095 HAS SOPS 22095 HAS SOUS 18145 HAS SOUPS 18145 WITH SCORE 18167.095
AT ITER 2071 NEW BEST:: SOT 66500 SOS 22045 HAS SOPS 22045 HAS SOUS 18095 HAS SOUPS 18095 WITH SCORE 18117.045
AT ITER 2076 NEW BEST:: SOT 66496 SOS 22041 HAS SOPS 22041 HAS SOUS 18091 HAS SOUPS 18091 WITH SCORE 18113.041
AT ITER 2082 NEW BEST:: SOT 66495 SOS 22039 HAS SOPS 22039 HAS SOUS 18089 HAS SOUPS 18089 WITH SCORE 18111.039
AT ITER 2103 NEW BEST:: SOT 66495 SOS 22008 HAS SOPS 22008 HAS SOUS 18058 HAS SOUPS 18058 WITH SCORE 18080.008
AT ITER 2109 NEW BEST:: SOT 66502 SOS 21936 HAS SOPS 21936 HAS SOUS 17986 HAS SOUPS 17986 WITH SCORE 18007.936
AT ITER 2146 NEW BEST:: SOT 66513 SOS 21915 HAS SOPS 21915 HAS SOUS 17965 HAS SOUPS 17965 WITH SCORE 17986.915
AT ITER 2186 NEW BEST:: SOT 66363 SOS 21700 HAS SOPS 21700 HAS SOUS 17859 HAS SOUPS 17859 WITH SCORE 17880.7
AT ITER 2206 NEW BEST:: SOT 66347 SOS 21699 HAS SOPS 21699 HAS SOUS 17858 HAS SOUPS 17858 WITH SCORE 17879.699
AT ITER 2224 NEW BEST:: SOT 66318 SOS 21652 HAS SOPS 21652 HAS SOUS 17811 HAS SOUPS 17811 WITH SCORE 17832.652
AT ITER 2240 NEW BEST:: SOT 66318 SOS 21652 HAS SOPS 21652 HAS SOUS 17806 HAS SOUPS 17806 WITH SCORE 17827.652
AT ITER 2254 NEW BEST:: SOT 66318 SOS 21613 HAS SOPS 21613 HAS SOUS 17767 HAS SOUPS 17767 WITH SCORE 17788.613
AT ITER 2266 NEW BEST:: SOT 66312 SOS 21593 HAS SOPS 21593 HAS SOUS 17747 HAS SOUPS 17747 WITH SCORE 17768.593
AT ITER 2272 NEW BEST:: SOT 66333 SOS 21560 HAS SOPS 21560 HAS SOUS 17714 HAS SOUPS 17714 WITH SCORE 17735.56
AT ITER 2278 NEW BEST:: SOT 66271 SOS 21542 HAS SOPS 21542 HAS SOUS 17710 HAS SOUPS 17710 WITH SCORE 17731.542
AT ITER 2282 NEW BEST:: SOT 66270 SOS 21540 HAS SOPS 21540 HAS SOUS 17697 HAS SOUPS 17697 WITH SCORE 17718.54
AT ITER 2296 NEW BEST:: SOT 66247 SOS 21506 HAS SOPS 21506 HAS SOUS 17683 HAS SOUPS 17683 WITH SCORE 17704.506
AT ITER 2307 NEW BEST:: SOT 66191 SOS 21449 HAS SOPS 21449 HAS SOUS 17626 HAS SOUPS 17626 WITH SCORE 17647.449
AT ITER 2327 NEW BEST:: SOT 66158 SOS 21416 HAS SOPS 21416 HAS SOUS 17626 HAS SOUPS 17626 WITH SCORE 17647.416
AT ITER 2342 NEW BEST:: SOT 66131 SOS 21402 HAS SOPS 21402 HAS SOUS 17612 HAS SOUPS 17612 WITH SCORE 17633.402
AT ITER 2347 NEW BEST:: SOT 66115 SOS 21386 HAS SOPS 21386 HAS SOUS 17596 HAS SOUPS 17596 WITH SCORE 17617.386
AT ITER 2370 NEW BEST:: SOT 66091 SOS 21293 HAS SOPS 21293 HAS SOUS 17510 HAS SOUPS 17510 WITH SCORE 17531.293
AT ITER 2376 NEW BEST:: SOT 66101 SOS 21290 HAS SOPS 21290 HAS SOUS 17507 HAS SOUPS 17507 WITH SCORE 17528.29
AT ITER 2391 NEW BEST:: SOT 66094 SOS 21264 HAS SOPS 21264 HAS SOUS 17481 HAS SOUPS 17481 WITH SCORE 17502.264
AT ITER 2413 NEW BEST:: SOT 66093 SOS 21262 HAS SOPS 21262 HAS SOUS 17479 HAS SOUPS 17479 WITH SCORE 17500.262
AT ITER 2424 NEW BEST:: SOT 66092 SOS 21261 HAS SOPS 21261 HAS SOUS 17478 HAS SOUPS 17478 WITH SCORE 17499.261
AT ITER 2457 NEW BEST:: SOT 65958 SOS 21149 HAS SOPS 21149 HAS SOUS 17444 HAS SOUPS 17444 WITH SCORE 17465.149
AT ITER 2470 NEW BEST:: SOT 65922 SOS 21127 HAS SOPS 21127 HAS SOUS 17422 HAS SOUPS 17422 WITH SCORE 17443.127
AT ITER 2476 NEW BEST:: SOT 65872 SOS 21040 HAS SOPS 21040 HAS SOUS 17335 HAS SOUPS 17335 WITH SCORE 17356.04
AT ITER 2520 NEW BEST:: SOT 65867 SOS 21035 HAS SOPS 21035 HAS SOUS 17330 HAS SOUPS 17330 WITH SCORE 17351.035
AT ITER 2544 NEW BEST:: SOT 65833 SOS 21001 HAS SOPS 21001 HAS SOUS 17296 HAS SOUPS 17296 WITH SCORE 17317.001
AT ITER 2556 NEW BEST:: SOT 65823 SOS 20962 HAS SOPS 20962 HAS SOUS 17257 HAS SOUPS 17257 WITH SCORE 17277.962
AT ITER 2577 NEW BEST:: SOT 65814 SOS 20944 HAS SOPS 20944 HAS SOUS 17239 HAS SOUPS 17239 WITH SCORE 17259.944
AT ITER 2581 NEW BEST:: SOT 65803 SOS 20938 HAS SOPS 20938 HAS SOUS 17233 HAS SOUPS 17233 WITH SCORE 17253.938
AT ITER 2592 NEW BEST:: SOT 65793 SOS 20918 HAS SOPS 20918 HAS SOUS 17213 HAS SOUPS 17213 WITH SCORE 17233.918
AT ITER 2614 NEW BEST:: SOT 65790 SOS 20912 HAS SOPS 20912 HAS SOUS 17207 HAS SOUPS 17207 WITH SCORE 17227.912
AT ITER 2656 NEW BEST:: SOT 65782 SOS 20896 HAS SOPS 20896 HAS SOUS 17191 HAS SOUPS 17191 WITH SCORE 17211.896
AT ITER 2670 NEW BEST:: SOT 65781 SOS 20895 HAS SOPS 20895 HAS SOUS 17190 HAS SOUPS 17190 WITH SCORE 17210.895
AT ITER 2710 NEW BEST:: SOT 65750 SOS 20884 HAS SOPS 20884 HAS SOUS 17179 HAS SOUPS 17179 WITH SCORE 17199.884
AT ITER 2714 NEW BEST:: SOT 65744 SOS 20875 HAS SOPS 20875 HAS SOUS 17173 HAS SOUPS 17173 WITH SCORE 17193.875
AT ITER 2717 NEW BEST:: SOT 65719 SOS 20850 HAS SOPS 20850 HAS SOUS 17148 HAS SOUPS 17148 WITH SCORE 17168.85
AT ITER 2737 NEW BEST:: SOT 65685 SOS 20767 HAS SOPS 20767 HAS SOUS 17065 HAS SOUPS 17065 WITH SCORE 17085.767
AT ITER 2768 NEW BEST:: SOT 65780 SOS 20742 HAS SOPS 20742 HAS SOUS 17040 HAS SOUPS 17040 WITH SCORE 17060.742
AT ITER 2850 NEW BEST:: SOT 65808 SOS 19866 HAS SOPS 19866 HAS SOUS 17040 HAS SOUPS 17040 WITH SCORE 17059.866
AT ITER 2865 NEW BEST:: SOT 65804 SOS 19858 HAS SOPS 19858 HAS SOUS 17032 HAS SOUPS 17032 WITH SCORE 17051.858
AT ITER 2867 NEW BEST:: SOT 65798 SOS 19855 HAS SOPS 19855 HAS SOUS 17029 HAS SOUPS 17029 WITH SCORE 17048.855
AT ITER 2873 NEW BEST:: SOT 65835 SOS 19845 HAS SOPS 19845 HAS SOUS 17019 HAS SOUPS 17019 WITH SCORE 17038.845
AT ITER 2898 NEW BEST:: SOT 65796 SOS 19840 HAS SOPS 19840 HAS SOUS 17014 HAS SOUPS 17014 WITH SCORE 17033.84
AT ITER 2900 NEW BEST:: SOT 65781 SOS 19812 HAS SOPS 19812 HAS SOUS 16986 HAS SOUPS 16986 WITH SCORE 17005.812
AT ITER 2966 NEW BEST:: SOT 65777 SOS 19799 HAS SOPS 19799 HAS SOUS 16973 HAS SOUPS 16973 WITH SCORE 16992.799
AT ITER 2981 NEW BEST:: SOT 65751 SOS 19805 HAS SOPS 19805 HAS SOUS 16926 HAS SOUPS 16926 WITH SCORE 16945.805
AT ITER 3004 NEW BEST:: SOT 65751 SOS 19804 HAS SOPS 19804 HAS SOUS 16925 HAS SOUPS 16925 WITH SCORE 16944.804
AT ITER 3088 NEW BEST:: SOT 65715 SOS 19774 HAS SOPS 19774 HAS SOUS 16895 HAS SOUPS 16895 WITH SCORE 16914.774
AT ITER 3104 NEW BEST:: SOT 65715 SOS 19763 HAS SOPS 19763 HAS SOUS 16884 HAS SOUPS 16884 WITH SCORE 16903.763
AT ITER 3113 NEW BEST:: SOT 65699 SOS 19727 HAS SOPS 19727 HAS SOUS 16848 HAS SOUPS 16848 WITH SCORE 16867.727
AT ITER 3160 NEW BEST:: SOT 65675 SOS 19647 HAS SOPS 19647 HAS SOUS 16768 HAS SOUPS 16768 WITH SCORE 16787.647
AT ITER 3200 NEW BEST:: SOT 65675 SOS 19642 HAS SOPS 19642 HAS SOUS 16763 HAS SOUPS 16763 WITH SCORE 16782.642
AT ITER 3221 NEW BEST:: SOT 65681 SOS 19645 HAS SOPS 19645 HAS SOUS 16759 HAS SOUPS 16759 WITH SCORE 16778.645
AT ITER 3259 NEW BEST:: SOT 65667 SOS 19617 HAS SOPS 19617 HAS SOUS 16731 HAS SOUPS 16731 WITH SCORE 16750.617
AT ITER 3282 NEW BEST:: SOT 65658 SOS 19608 HAS SOPS 19608 HAS SOUS 16722 HAS SOUPS 16722 WITH SCORE 16741.608
AT ITER 3297 NEW BEST:: SOT 65658 SOS 19608 HAS SOPS 19608 HAS SOUS 16714 HAS SOUPS 16714 WITH SCORE 16733.608
AT ITER 3311 NEW BEST:: SOT 65645 SOS 19582 HAS SOPS 19582 HAS SOUS 16688 HAS SOUPS 16688 WITH SCORE 16707.582
AT ITER 3318 NEW BEST:: SOT 65641 SOS 19574 HAS SOPS 19574 HAS SOUS 16680 HAS SOUPS 16680 WITH SCORE 16699.574
AT ITER 3356 NEW BEST:: SOT 65631 SOS 19568 HAS SOPS 19568 HAS SOUS 16674 HAS SOUPS 16674 WITH SCORE 16693.568
AT ITER 3364 NEW BEST:: SOT 65632 SOS 19538 HAS SOPS 19538 HAS SOUS 16644 HAS SOUPS 16644 WITH SCORE 16663.538
AT ITER 3406 NEW BEST:: SOT 65624 SOS 19530 HAS SOPS 19530 HAS SOUS 16636 HAS SOUPS 16636 WITH SCORE 16655.53
AT ITER 3422 NEW BEST:: SOT 65614 SOS 19510 HAS SOPS 19510 HAS SOUS 16632 HAS SOUPS 16632 WITH SCORE 16651.51
AT ITER 3446 NEW BEST:: SOT 65561 SOS 19415 HAS SOPS 19415 HAS SOUS 16537 HAS SOUPS 16537 WITH SCORE 16556.415
AT ITER 3508 NEW BEST:: SOT 65494 SOS 19323 HAS SOPS 19323 HAS SOUS 16487 HAS SOUPS 16487 WITH SCORE 16506.323
AT ITER 3576 NEW BEST:: SOT 65479 SOS 19308 HAS SOPS 19308 HAS SOUS 16472 HAS SOUPS 16472 WITH SCORE 16491.308
AT ITER 3605 NEW BEST:: SOT 65478 SOS 19306 HAS SOPS 19306 HAS SOUS 16470 HAS SOUPS 16470 WITH SCORE 16489.306
AT ITER 3632 NEW BEST:: SOT 65464 SOS 19304 HAS SOPS 19304 HAS SOUS 16468 HAS SOUPS 16468 WITH SCORE 16487.304
AT ITER 3649 NEW BEST:: SOT 65464 SOS 19284 HAS SOPS 19284 HAS SOUS 16448 HAS SOUPS 16448 WITH SCORE 16467.284
AT ITER 3695 NEW BEST:: SOT 65449 SOS 19280 HAS SOPS 19280 HAS SOUS 16440 HAS SOUPS 16440 WITH SCORE 16459.28
AT ITER 3727 NEW BEST:: SOT 65447 SOS 19276 HAS SOPS 19276 HAS SOUS 16436 HAS SOUPS 16436 WITH SCORE 16455.276
AT ITER 3738 NEW BEST:: SOT 65442 SOS 19271 HAS SOPS 19271 HAS SOUS 16431 HAS SOUPS 16431 WITH SCORE 16450.271
AT ITER 3744 NEW BEST:: SOT 65422 SOS 19269 HAS SOPS 19269 HAS SOUS 16429 HAS SOUPS 16429 WITH SCORE 16448.269
AT ITER 3771 NEW BEST:: SOT 65415 SOS 19262 HAS SOPS 19262 HAS SOUS 16422 HAS SOUPS 16422 WITH SCORE 16441.262
AT ITER 3795 NEW BEST:: SOT 65414 SOS 19260 HAS SOPS 19260 HAS SOUS 16420 HAS SOUPS 16420 WITH SCORE 16439.26
AT ITER 3847 NEW BEST:: SOT 65410 SOS 19253 HAS SOPS 19253 HAS SOUS 16410 HAS SOUPS 16410 WITH SCORE 16429.253
AT ITER 3851 NEW BEST:: SOT 65397 SOS 19228 HAS SOPS 19228 HAS SOUS 16385 HAS SOUPS 16385 WITH SCORE 16404.228
AT ITER 3857 NEW BEST:: SOT 65360 SOS 19213 HAS SOPS 19213 HAS SOUS 16370 HAS SOUPS 16370 WITH SCORE 16389.213
AT ITER 3904 NEW BEST:: SOT 65359 SOS 19203 HAS SOPS 19203 HAS SOUS 16360 HAS SOUPS 16360 WITH SCORE 16379.203
AT ITER 3948 NEW BEST:: SOT 65362 SOS 19209 HAS SOPS 19209 HAS SOUS 16359 HAS SOUPS 16359 WITH SCORE 16378.209
AT ITER 3962 NEW BEST:: SOT 65361 SOS 19208 HAS SOPS 19208 HAS SOUS 16358 HAS SOUPS 16358 WITH SCORE 16377.208
AT ITER 3968 NEW BEST:: SOT 65361 SOS 19192 HAS SOPS 19192 HAS SOUS 16342 HAS SOUPS 16342 WITH SCORE 16361.192
AT ITER 3983 NEW BEST:: SOT 65377 SOS 19189 HAS SOPS 19189 HAS SOUS 16339 HAS SOUPS 16339 WITH SCORE 16358.189
AT ITER 3986 NEW BEST:: SOT 65377 SOS 19179 HAS SOPS 19179 HAS SOUS 16329 HAS SOUPS 16329 WITH SCORE 16348.179
AT ITER 3989 NEW BEST:: SOT 65368 SOS 19158 HAS SOPS 19158 HAS SOUS 16308 HAS SOUPS 16308 WITH SCORE 16327.158
AT ITER 3998 NEW BEST:: SOT 65360 SOS 19150 HAS SOPS 19150 HAS SOUS 16308 HAS SOUPS 16308 WITH SCORE 16327.15
AT ITER 4014 NEW BEST:: SOT 65359 SOS 19148 HAS SOPS 19148 HAS SOUS 16306 HAS SOUPS 16306 WITH SCORE 16325.148
AT ITER 4050 NEW BEST:: SOT 65377 SOS 19168 HAS SOPS 19168 HAS SOUS 16293 HAS SOUPS 16293 WITH SCORE 16312.168
AT ITER 4093 NEW BEST:: SOT 65374 SOS 19162 HAS SOPS 19162 HAS SOUS 16287 HAS SOUPS 16287 WITH SCORE 16306.162
AT ITER 4096 NEW BEST:: SOT 65371 SOS 19156 HAS SOPS 19156 HAS SOUS 16281 HAS SOUPS 16281 WITH SCORE 16300.156
AT ITER 4162 NEW BEST:: SOT 65387 SOS 19134 HAS SOPS 19134 HAS SOUS 16259 HAS SOUPS 16259 WITH SCORE 16278.134
AT ITER 4198 NEW BEST:: SOT 65383 SOS 19109 HAS SOPS 19109 HAS SOUS 16234 HAS SOUPS 16234 WITH SCORE 16253.109
AT ITER 4203 NEW BEST:: SOT 65357 SOS 19083 HAS SOPS 19083 HAS SOUS 16208 HAS SOUPS 16208 WITH SCORE 16227.083
AT ITER 4223 NEW BEST:: SOT 65360 SOS 19047 HAS SOPS 19047 HAS SOUS 16176 HAS SOUPS 16176 WITH SCORE 16195.047
AT ITER 4224 NEW BEST:: SOT 65333 SOS 19020 HAS SOPS 19020 HAS SOUS 16149 HAS SOUPS 16149 WITH SCORE 16168.02
AT ITER 4258 NEW BEST:: SOT 65333 SOS 19019 HAS SOPS 19019 HAS SOUS 16148 HAS SOUPS 16148 WITH SCORE 16167.019
AT ITER 4272 NEW BEST:: SOT 65342 SOS 19012 HAS SOPS 19012 HAS SOUS 16141 HAS SOUPS 16141 WITH SCORE 16160.012
AT ITER 4274 NEW BEST:: SOT 65367 SOS 19016 HAS SOPS 19016 HAS SOUS 16127 HAS SOUPS 16127 WITH SCORE 16146.016
AT ITER 4287 NEW BEST:: SOT 65360 SOS 18998 HAS SOPS 18998 HAS SOUS 16109 HAS SOUPS 16109 WITH SCORE 16127.998
AT ITER 4316 NEW BEST:: SOT 65355 SOS 18995 HAS SOPS 18995 HAS SOUS 16106 HAS SOUPS 16106 WITH SCORE 16124.995
AT ITER 4323 NEW BEST:: SOT 65355 SOS 18979 HAS SOPS 18979 HAS SOUS 16090 HAS SOUPS 16090 WITH SCORE 16108.979
AT ITER 4350 NEW BEST:: SOT 65199 SOS 18918 HAS SOPS 18918 HAS SOUS 16049 HAS SOUPS 16049 WITH SCORE 16067.918
AT ITER 4353 NEW BEST:: SOT 65207 SOS 18917 HAS SOPS 18917 HAS SOUS 16045 HAS SOUPS 16045 WITH SCORE 16063.917
AT ITER 4361 NEW BEST:: SOT 65201 SOS 18911 HAS SOPS 18911 HAS SOUS 16045 HAS SOUPS 16045 WITH SCORE 16063.911
AT ITER 4363 NEW BEST:: SOT 65225 SOS 18909 HAS SOPS 18909 HAS SOUS 16043 HAS SOUPS 16043 WITH SCORE 16061.909
AT ITER 4384 NEW BEST:: SOT 65229 SOS 18880 HAS SOPS 18880 HAS SOUS 16014 HAS SOUPS 16014 WITH SCORE 16032.88
AT ITER 4389 NEW BEST:: SOT 65218 SOS 18872 HAS SOPS 18872 HAS SOUS 16006 HAS SOUPS 16006 WITH SCORE 16024.872
AT ITER 4412 NEW BEST:: SOT 65205 SOS 18841 HAS SOPS 18841 HAS SOUS 15993 HAS SOUPS 15993 WITH SCORE 16011.841
AT ITER 4454 NEW BEST:: SOT 65198 SOS 18834 HAS SOPS 18834 HAS SOUS 15986 HAS SOUPS 15986 WITH SCORE 16004.834
AT ITER 4465 NEW BEST:: SOT 65195 SOS 18828 HAS SOPS 18828 HAS SOUS 15980 HAS SOUPS 15980 WITH SCORE 15998.828
AT ITER 4468 NEW BEST:: SOT 65185 SOS 18799 HAS SOPS 18799 HAS SOUS 15951 HAS SOUPS 15951 WITH SCORE 15969.799
AT ITER 4487 NEW BEST:: SOT 65188 SOS 18785 HAS SOPS 18785 HAS SOUS 15937 HAS SOUPS 15937 WITH SCORE 15955.785
AT ITER 4499 NEW BEST:: SOT 65188 SOS 18779 HAS SOPS 18779 HAS SOUS 15931 HAS SOUPS 15931 WITH SCORE 15949.779
AT ITER 4521 NEW BEST:: SOT 65177 SOS 18757 HAS SOPS 18757 HAS SOUS 15909 HAS SOUPS 15909 WITH SCORE 15927.757
AT ITER 4525 NEW BEST:: SOT 65177 SOS 18754 HAS SOPS 18754 HAS SOUS 15909 HAS SOUPS 15909 WITH SCORE 15927.754
AT ITER 4611 NEW BEST:: SOT 65166 SOS 18743 HAS SOPS 18743 HAS SOUS 15898 HAS SOUPS 15898 WITH SCORE 15916.743
AT ITER 4625 NEW BEST:: SOT 65162 SOS 18735 HAS SOPS 18735 HAS SOUS 15890 HAS SOUPS 15890 WITH SCORE 15908.735
AT ITER 4642 NEW BEST:: SOT 65161 SOS 18733 HAS SOPS 18733 HAS SOUS 15888 HAS SOUPS 15888 WITH SCORE 15906.733
AT ITER 4664 NEW BEST:: SOT 65150 SOS 18716 HAS SOPS 18716 HAS SOUS 15871 HAS SOUPS 15871 WITH SCORE 15889.716
AT ITER 4701 NEW BEST:: SOT 65214 SOS 18758 HAS SOPS 18758 HAS SOUS 15852 HAS SOUPS 15852 WITH SCORE 15870.758
AT ITER 4704 NEW BEST:: SOT 65214 SOS 18752 HAS SOPS 18752 HAS SOUS 15846 HAS SOUPS 15846 WITH SCORE 15864.752
AT ITER 4709 NEW BEST:: SOT 65214 SOS 18750 HAS SOPS 18750 HAS SOUS 15844 HAS SOUPS 15844 WITH SCORE 15862.75
AT ITER 4780 NEW BEST:: SOT 65255 SOS 18779 HAS SOPS 18779 HAS SOUS 15835 HAS SOUPS 15835 WITH SCORE 15853.779
AT ITER 4805 NEW BEST:: SOT 65254 SOS 18778 HAS SOPS 18778 HAS SOUS 15834 HAS SOUPS 15834 WITH SCORE 15852.778
AT ITER 4829 NEW BEST:: SOT 65249 SOS 18773 HAS SOPS 18773 HAS SOUS 15829 HAS SOUPS 15829 WITH SCORE 15847.773
AT ITER 4846 NEW BEST:: SOT 65260 SOS 18784 HAS SOPS 18784 HAS SOUS 15821 HAS SOUPS 15821 WITH SCORE 15839.784
AT ITER 4922 NEW BEST:: SOT 65254 SOS 18783 HAS SOPS 18783 HAS SOUS 15820 HAS SOUPS 15820 WITH SCORE 15838.783
AT ITER 4940 NEW BEST:: SOT 65254 SOS 18776 HAS SOPS 18776 HAS SOUS 15813 HAS SOUPS 15813 WITH SCORE 15831.776
AT ITER 4982 NEW BEST:: SOT 65247 SOS 18762 HAS SOPS 18762 HAS SOUS 15799 HAS SOUPS 15799 WITH SCORE 15817.762
AT ITER 4984 NEW BEST:: SOT 65245 SOS 18760 HAS SOPS 18760 HAS SOUS 15797 HAS SOUPS 15797 WITH SCORE 15815.76
AT ITER 5000 NEW BEST:: SOT 65241 SOS 18742 HAS SOPS 18742 HAS SOUS 15779 HAS SOUPS 15779 WITH SCORE 15797.742
AT ITER 5006 NEW BEST:: SOT 65237 SOS 18730 HAS SOPS 18730 HAS SOUS 15771 HAS SOUPS 15771 WITH SCORE 15789.73
AT ITER 5017 NEW BEST:: SOT 65302 SOS 18760 HAS SOPS 18760 HAS SOUS 15751 HAS SOUPS 15751 WITH SCORE 15769.76
AT ITER 5026 NEW BEST:: SOT 65296 SOS 18746 HAS SOPS 18746 HAS SOUS 15720 HAS SOUPS 15720 WITH SCORE 15738.746
AT ITER 5049 NEW BEST:: SOT 65296 SOS 18735 HAS SOPS 18735 HAS SOUS 15709 HAS SOUPS 15709 WITH SCORE 15727.735
AT ITER 5052 NEW BEST:: SOT 65291 SOS 18718 HAS SOPS 18718 HAS SOUS 15692 HAS SOUPS 15692 WITH SCORE 15710.718
AT ITER 5073 NEW BEST:: SOT 65294 SOS 18716 HAS SOPS 18716 HAS SOUS 15690 HAS SOUPS 15690 WITH SCORE 15708.716
AT ITER 5099 NEW BEST:: SOT 65290 SOS 18710 HAS SOPS 18710 HAS SOUS 15686 HAS SOUPS 15686 WITH SCORE 15704.71
AT ITER 5112 NEW BEST:: SOT 65290 SOS 18703 HAS SOPS 18703 HAS SOUS 15679 HAS SOUPS 15679 WITH SCORE 15697.703
AT ITER 5123 NEW BEST:: SOT 65289 SOS 18700 HAS SOPS 18700 HAS SOUS 15677 HAS SOUPS 15677 WITH SCORE 15695.7
AT ITER 5172 NEW BEST:: SOT 65292 SOS 18693 HAS SOPS 18693 HAS SOUS 15670 HAS SOUPS 15670 WITH SCORE 15688.693
AT ITER 5185 NEW BEST:: SOT 65286 SOS 18687 HAS SOPS 18687 HAS SOUS 15670 HAS SOUPS 15670 WITH SCORE 15688.687
AT ITER 5194 NEW BEST:: SOT 65252 SOS 18653 HAS SOPS 18653 HAS SOUS 15658 HAS SOUPS 15658 WITH SCORE 15676.653
AT ITER 5200 NEW BEST:: SOT 65252 SOS 18650 HAS SOPS 18650 HAS SOUS 15655 HAS SOUPS 15655 WITH SCORE 15673.65
AT ITER 5243 NEW BEST:: SOT 65272 SOS 18646 HAS SOPS 18646 HAS SOUS 15655 HAS SOUPS 15655 WITH SCORE 15673.646
AT ITER 5287 NEW BEST:: SOT 65272 SOS 18630 HAS SOPS 18630 HAS SOUS 15639 HAS SOUPS 15639 WITH SCORE 15657.63
AT ITER 5296 NEW BEST:: SOT 65272 SOS 18630 HAS SOPS 18630 HAS SOUS 15630 HAS SOUPS 15630 WITH SCORE 15648.63
AT ITER 5300 NEW BEST:: SOT 65272 SOS 18584 HAS SOPS 18584 HAS SOUS 15584 HAS SOUPS 15584 WITH SCORE 15602.584
AT ITER 5305 NEW BEST:: SOT 65262 SOS 18564 HAS SOPS 18564 HAS SOUS 15553 HAS SOUPS 15553 WITH SCORE 15571.564
AT ITER 5363 NEW BEST:: SOT 65256 SOS 18545 HAS SOPS 18545 HAS SOUS 15534 HAS SOUPS 15534 WITH SCORE 15552.545
AT ITER 5364 NEW BEST:: SOT 65256 SOS 18537 HAS SOPS 18537 HAS SOUS 15526 HAS SOUPS 15526 WITH SCORE 15544.537
AT ITER 5386 NEW BEST:: SOT 65249 SOS 18523 HAS SOPS 18523 HAS SOUS 15512 HAS SOUPS 15512 WITH SCORE 15530.523
AT ITER 5421 NEW BEST:: SOT 65227 SOS 18500 HAS SOPS 18500 HAS SOUS 15510 HAS SOUPS 15510 WITH SCORE 15528.5
AT ITER 5429 NEW BEST:: SOT 65187 SOS 18459 HAS SOPS 18459 HAS SOUS 15508 HAS SOUPS 15508 WITH SCORE 15526.459
AT ITER 5433 NEW BEST:: SOT 65170 SOS 18425 HAS SOPS 18425 HAS SOUS 15478 HAS SOUPS 15478 WITH SCORE 15496.425
AT ITER 5441 NEW BEST:: SOT 65167 SOS 18419 HAS SOPS 18419 HAS SOUS 15472 HAS SOUPS 15472 WITH SCORE 15490.419
AT ITER 5451 NEW BEST:: SOT 65180 SOS 18374 HAS SOPS 18374 HAS SOUS 15427 HAS SOUPS 15427 WITH SCORE 15445.374
AT ITER 5468 NEW BEST:: SOT 65172 SOS 18362 HAS SOPS 18362 HAS SOUS 15415 HAS SOUPS 15415 WITH SCORE 15433.362
AT ITER 5479 NEW BEST:: SOT 65167 SOS 18352 HAS SOPS 18352 HAS SOUS 15410 HAS SOUPS 15410 WITH SCORE 15428.352
AT ITER 5496 NEW BEST:: SOT 65159 SOS 18329 HAS SOPS 18329 HAS SOUS 15387 HAS SOUPS 15387 WITH SCORE 15405.329
AT ITER 5530 NEW BEST:: SOT 65141 SOS 18293 HAS SOPS 18293 HAS SOUS 15351 HAS SOUPS 15351 WITH SCORE 15369.293
AT ITER 5533 NEW BEST:: SOT 65080 SOS 18285 HAS SOPS 18285 HAS SOUS 15343 HAS SOUPS 15343 WITH SCORE 15361.285
AT ITER 5537 NEW BEST:: SOT 65080 SOS 18277 HAS SOPS 18277 HAS SOUS 15335 HAS SOUPS 15335 WITH SCORE 15353.277
AT ITER 5552 NEW BEST:: SOT 65082 SOS 18274 HAS SOPS 18274 HAS SOUS 15332 HAS SOUPS 15332 WITH SCORE 15350.274
AT ITER 5591 NEW BEST:: SOT 65051 SOS 18238 HAS SOPS 18238 HAS SOUS 15322 HAS SOUPS 15322 WITH SCORE 15340.238
AT ITER 5596 NEW BEST:: SOT 65047 SOS 18230 HAS SOPS 18230 HAS SOUS 15318 HAS SOUPS 15318 WITH SCORE 15336.23
AT ITER 5665 NEW BEST:: SOT 65042 SOS 18225 HAS SOPS 18225 HAS SOUS 15313 HAS SOUPS 15313 WITH SCORE 15331.225
AT ITER 5713 NEW BEST:: SOT 65042 SOS 18215 HAS SOPS 18215 HAS SOUS 15303 HAS SOUPS 15303 WITH SCORE 15321.215
AT ITER 5760 NEW BEST:: SOT 65041 SOS 18206 HAS SOPS 18206 HAS SOUS 15294 HAS SOUPS 15294 WITH SCORE 15312.206
AT ITER 5781 NEW BEST:: SOT 65028 SOS 18214 HAS SOPS 18214 HAS SOUS 15288 HAS SOUPS 15288 WITH SCORE 15306.214
AT ITER 5793 NEW BEST:: SOT 65018 SOS 18194 HAS SOPS 18194 HAS SOUS 15281 HAS SOUPS 15281 WITH SCORE 15299.194
AT ITER 5806 NEW BEST:: SOT 65018 SOS 18190 HAS SOPS 18190 HAS SOUS 15277 HAS SOUPS 15277 WITH SCORE 15295.19
AT ITER 5824 NEW BEST:: SOT 65009 SOS 18189 HAS SOPS 18189 HAS SOUS 15276 HAS SOUPS 15276 WITH SCORE 15294.189
AT ITER 5830 NEW BEST:: SOT 65039 SOS 18203 HAS SOPS 18203 HAS SOUS 15265 HAS SOUPS 15265 WITH SCORE 15283.203
AT ITER 5839 NEW BEST:: SOT 64975 SOS 18174 HAS SOPS 18174 HAS SOUS 15236 HAS SOUPS 15236 WITH SCORE 15254.174
AT ITER 5877 NEW BEST:: SOT 64936 SOS 18136 HAS SOPS 18136 HAS SOUS 15218 HAS SOUPS 15218 WITH SCORE 15236.136
AT ITER 5896 NEW BEST:: SOT 64936 SOS 18127 HAS SOPS 18127 HAS SOUS 15200 HAS SOUPS 15200 WITH SCORE 15218.127
AT ITER 5917 NEW BEST:: SOT 64929 SOS 18113 HAS SOPS 18113 HAS SOUS 15186 HAS SOUPS 15186 WITH SCORE 15204.113
AT ITER 5944 NEW BEST:: SOT 64940 SOS 18111 HAS SOPS 18111 HAS SOUS 15184 HAS SOUPS 15184 WITH SCORE 15202.111
AT ITER 5950 NEW BEST:: SOT 64940 SOS 18110 HAS SOPS 18110 HAS SOUS 15183 HAS SOUPS 15183 WITH SCORE 15201.11
AT ITER 5952 NEW BEST:: SOT 64940 SOS 18081 HAS SOPS 18081 HAS SOUS 15154 HAS SOUPS 15154 WITH SCORE 15172.081
AT ITER 5962 NEW BEST:: SOT 64933 SOS 18067 HAS SOPS 18067 HAS SOUS 15140 HAS SOUPS 15140 WITH SCORE 15158.067
AT ITER 5972 NEW BEST:: SOT 64928 SOS 18066 HAS SOPS 18066 HAS SOUS 15139 HAS SOUPS 15139 WITH SCORE 15157.066
AT ITER 5992 NEW BEST:: SOT 64928 SOS 18050 HAS SOPS 18050 HAS SOUS 15123 HAS SOUPS 15123 WITH SCORE 15141.05
AT ITER 6015 NEW BEST:: SOT 64897 SOS 18030 HAS SOPS 18030 HAS SOUS 15103 HAS SOUPS 15103 WITH SCORE 15121.03
AT ITER 6045 NEW BEST:: SOT 64895 SOS 18029 HAS SOPS 18029 HAS SOUS 15102 HAS SOUPS 15102 WITH SCORE 15120.029
AT ITER 6048 NEW BEST:: SOT 64892 SOS 18023 HAS SOPS 18023 HAS SOUS 15096 HAS SOUPS 15096 WITH SCORE 15114.023
AT ITER 6130 NEW BEST:: SOT 64878 SOS 17971 HAS SOPS 17971 HAS SOUS 15082 HAS SOUPS 15082 WITH SCORE 15099.971
AT ITER 6156 NEW BEST:: SOT 64889 SOS 17933 HAS SOPS 17933 HAS SOUS 15055 HAS SOUPS 15055 WITH SCORE 15072.933
AT ITER 6209 NEW BEST:: SOT 64882 SOS 17931 HAS SOPS 17931 HAS SOUS 15053 HAS SOUPS 15053 WITH SCORE 15070.931
AT ITER 6237 NEW BEST:: SOT 64893 SOS 17928 HAS SOPS 17928 HAS SOUS 15050 HAS SOUPS 15050 WITH SCORE 15067.928
AT ITER 6293 NEW BEST:: SOT 64911 SOS 17923 HAS SOPS 17923 HAS SOUS 15045 HAS SOUPS 15045 WITH SCORE 15062.923
AT ITER 6308 NEW BEST:: SOT 64903 SOS 17907 HAS SOPS 17907 HAS SOUS 15021 HAS SOUPS 15021 WITH SCORE 15038.907
AT ITER 6331 NEW BEST:: SOT 64903 SOS 17895 HAS SOPS 17895 HAS SOUS 15013 HAS SOUPS 15013 WITH SCORE 15030.895
AT ITER 6344 NEW BEST:: SOT 64899 SOS 17891 HAS SOPS 17891 HAS SOUS 15009 HAS SOUPS 15009 WITH SCORE 15026.891
AT ITER 6367 NEW BEST:: SOT 64899 SOS 17888 HAS SOPS 17888 HAS SOUS 15006 HAS SOUPS 15006 WITH SCORE 15023.888
AT ITER 6382 NEW BEST:: SOT 64899 SOS 17866 HAS SOPS 17866 HAS SOUS 14962 HAS SOUPS 14962 WITH SCORE 14979.866
AT ITER 6419 NEW BEST:: SOT 64894 SOS 17857 HAS SOPS 17857 HAS SOUS 14953 HAS SOUPS 14953 WITH SCORE 14970.857
AT ITER 6426 NEW BEST:: SOT 64888 SOS 17855 HAS SOPS 17855 HAS SOUS 14951 HAS SOUPS 14951 WITH SCORE 14968.855
AT ITER 6458 NEW BEST:: SOT 64883 SOS 17852 HAS SOPS 17852 HAS SOUS 14948 HAS SOUPS 14948 WITH SCORE 14965.852
AT ITER 6501 NEW BEST:: SOT 64886 SOS 17842 HAS SOPS 17842 HAS SOUS 14938 HAS SOUPS 14938 WITH SCORE 14955.842
AT ITER 6505 NEW BEST:: SOT 64881 SOS 17837 HAS SOPS 17837 HAS SOUS 14933 HAS SOUPS 14933 WITH SCORE 14950.837
AT ITER 6524 NEW BEST:: SOT 64871 SOS 17824 HAS SOPS 17824 HAS SOUS 14927 HAS SOUPS 14927 WITH SCORE 14944.824
AT ITER 6564 NEW BEST:: SOT 64869 SOS 17822 HAS SOPS 17822 HAS SOUS 14925 HAS SOUPS 14925 WITH SCORE 14942.822
AT ITER 6565 NEW BEST:: SOT 64893 SOS 17846 HAS SOPS 17846 HAS SOUS 14914 HAS SOUPS 14914 WITH SCORE 14931.846
AT ITER 6663 NEW BEST:: SOT 64867 SOS 17794 HAS SOPS 17794 HAS SOUS 14861 HAS SOUPS 14861 WITH SCORE 14878.794
AT ITER 6707 NEW BEST:: SOT 64849 SOS 17791 HAS SOPS 17791 HAS SOUS 14858 HAS SOUPS 14858 WITH SCORE 14875.791
AT ITER 6735 NEW BEST:: SOT 64843 SOS 17785 HAS SOPS 17785 HAS SOUS 14852 HAS SOUPS 14852 WITH SCORE 14869.785
AT ITER 6827 NEW BEST:: SOT 64861 SOS 17773 HAS SOPS 17773 HAS SOUS 14840 HAS SOUPS 14840 WITH SCORE 14857.773
AT ITER 6873 NEW BEST:: SOT 64826 SOS 17703 HAS SOPS 17703 HAS SOUS 14770 HAS SOUPS 14770 WITH SCORE 14787.703
AT ITER 6891 NEW BEST:: SOT 64826 SOS 17699 HAS SOPS 17699 HAS SOUS 14766 HAS SOUPS 14766 WITH SCORE 14783.699
AT ITER 6920 NEW BEST:: SOT 64818 SOS 17683 HAS SOPS 17683 HAS SOUS 14750 HAS SOUPS 14750 WITH SCORE 14767.683
AT ITER 6921 NEW BEST:: SOT 64803 SOS 17653 HAS SOPS 17653 HAS SOUS 14720 HAS SOUPS 14720 WITH SCORE 14737.653
AT ITER 6951 NEW BEST:: SOT 64803 SOS 17652 HAS SOPS 17652 HAS SOUS 14719 HAS SOUPS 14719 WITH SCORE 14736.652
AT ITER 6958 NEW BEST:: SOT 64801 SOS 17650 HAS SOPS 17650 HAS SOUS 14717 HAS SOUPS 14717 WITH SCORE 14734.65
AT ITER 6981 NEW BEST:: SOT 64801 SOS 17648 HAS SOPS 17648 HAS SOUS 14715 HAS SOUPS 14715 WITH SCORE 14732.648
AT ITER 7011 NEW BEST:: SOT 64789 SOS 17646 HAS SOPS 17646 HAS SOUS 14713 HAS SOUPS 14713 WITH SCORE 14730.646
AT ITER 7049 NEW BEST:: SOT 64784 SOS 17630 HAS SOPS 17630 HAS SOUS 14697 HAS SOUPS 14697 WITH SCORE 14714.63
AT ITER 7058 NEW BEST:: SOT 64784 SOS 17622 HAS SOPS 17622 HAS SOUS 14689 HAS SOUPS 14689 WITH SCORE 14706.622
AT ITER 7070 NEW BEST:: SOT 64778 SOS 17607 HAS SOPS 17607 HAS SOUS 14674 HAS SOUPS 14674 WITH SCORE 14691.607
AT ITER 7074 NEW BEST:: SOT 64773 SOS 17597 HAS SOPS 17597 HAS SOUS 14664 HAS SOUPS 14664 WITH SCORE 14681.597
AT ITER 7102 NEW BEST:: SOT 64771 SOS 17593 HAS SOPS 17593 HAS SOUS 14660 HAS SOUPS 14660 WITH SCORE 14677.593
AT ITER 7174 NEW BEST:: SOT 64772 SOS 17585 HAS SOPS 17585 HAS SOUS 14652 HAS SOUPS 14652 WITH SCORE 14669.585
AT ITER 7226 NEW BEST:: SOT 64771 SOS 17583 HAS SOPS 17583 HAS SOUS 14650 HAS SOUPS 14650 WITH SCORE 14667.583
AT ITER 7237 NEW BEST:: SOT 64770 SOS 17582 HAS SOPS 17582 HAS SOUS 14649 HAS SOUPS 14649 WITH SCORE 14666.582
AT ITER 7265 NEW BEST:: SOT 64770 SOS 17576 HAS SOPS 17576 HAS SOUS 14643 HAS SOUPS 14643 WITH SCORE 14660.576
AT ITER 7401 NEW BEST:: SOT 64765 SOS 17571 HAS SOPS 17571 HAS SOUS 14638 HAS SOUPS 14638 WITH SCORE 14655.571
AT ITER 7530 NEW BEST:: SOT 64762 SOS 17570 HAS SOPS 17570 HAS SOUS 14637 HAS SOUPS 14637 WITH SCORE 14654.57
AT ITER 7607 NEW BEST:: SOT 64762 SOS 17567 HAS SOPS 17567 HAS SOUS 14627 HAS SOUPS 14627 WITH SCORE 14644.567
AT ITER 7618 NEW BEST:: SOT 64752 SOS 17547 HAS SOPS 17547 HAS SOUS 14607 HAS SOUPS 14607 WITH SCORE 14624.547
AT ITER 7686 NEW BEST:: SOT 64752 SOS 17540 HAS SOPS 17540 HAS SOUS 14607 HAS SOUPS 14607 WITH SCORE 14624.54
AT ITER 7729 NEW BEST:: SOT 64751 SOS 17539 HAS SOPS 17539 HAS SOUS 14606 HAS SOUPS 14606 WITH SCORE 14623.539
AT ITER 7757 NEW BEST:: SOT 64760 SOS 17275 HAS SOPS 17275 HAS SOUS 14606 HAS SOUPS 14606 WITH SCORE 14623.275
AT ITER 7765 NEW BEST:: SOT 64755 SOS 17253 HAS SOPS 17253 HAS SOUS 14584 HAS SOUPS 14584 WITH SCORE 14601.253
AT ITER 7776 NEW BEST:: SOT 64757 SOS 17250 HAS SOPS 17250 HAS SOUS 14581 HAS SOUPS 14581 WITH SCORE 14598.25
AT ITER 7815 NEW BEST:: SOT 64751 SOS 17219 HAS SOPS 17219 HAS SOUS 14536 HAS SOUPS 14536 WITH SCORE 14553.219
AT ITER 7851 NEW BEST:: SOT 64726 SOS 17194 HAS SOPS 17194 HAS SOUS 14511 HAS SOUPS 14511 WITH SCORE 14528.194
AT ITER 7855 NEW BEST:: SOT 64719 SOS 17191 HAS SOPS 17191 HAS SOUS 14508 HAS SOUPS 14508 WITH SCORE 14525.191
AT ITER 7881 NEW BEST:: SOT 64719 SOS 17188 HAS SOPS 17188 HAS SOUS 14505 HAS SOUPS 14505 WITH SCORE 14522.188
AT ITER 7932 NEW BEST:: SOT 64711 SOS 17180 HAS SOPS 17180 HAS SOUS 14497 HAS SOUPS 14497 WITH SCORE 14514.18
AT ITER 7954 NEW BEST:: SOT 64709 SOS 17176 HAS SOPS 17176 HAS SOUS 14493 HAS SOUPS 14493 WITH SCORE 14510.176
AT ITER 8043 NEW BEST:: SOT 64708 SOS 17174 HAS SOPS 17174 HAS SOUS 14491 HAS SOUPS 14491 WITH SCORE 14508.174
AT ITER 8046 NEW BEST:: SOT 64706 SOS 17170 HAS SOPS 17170 HAS SOUS 14487 HAS SOUPS 14487 WITH SCORE 14504.17
AT ITER 8068 NEW BEST:: SOT 64713 SOS 17156 HAS SOPS 17156 HAS SOUS 14473 HAS SOUPS 14473 WITH SCORE 14490.156
AT ITER 8106 NEW BEST:: SOT 64718 SOS 17153 HAS SOPS 17153 HAS SOUS 14452 HAS SOUPS 14452 WITH SCORE 14469.153
AT ITER 8141 NEW BEST:: SOT 64714 SOS 17125 HAS SOPS 17125 HAS SOUS 14444 HAS SOUPS 14444 WITH SCORE 14461.125
AT ITER 8161 NEW BEST:: SOT 64714 SOS 17081 HAS SOPS 17081 HAS SOUS 14400 HAS SOUPS 14400 WITH SCORE 14417.081
AT ITER 8164 NEW BEST:: SOT 64700 SOS 17067 HAS SOPS 17067 HAS SOUS 14386 HAS SOUPS 14386 WITH SCORE 14403.067
AT ITER 8166 NEW BEST:: SOT 64695 SOS 17060 HAS SOPS 17060 HAS SOUS 14382 HAS SOUPS 14382 WITH SCORE 14399.06
AT ITER 8210 NEW BEST:: SOT 64695 SOS 17042 HAS SOPS 17042 HAS SOUS 14364 HAS SOUPS 14364 WITH SCORE 14381.042
AT ITER 8216 NEW BEST:: SOT 64695 SOS 17012 HAS SOPS 17012 HAS SOUS 14334 HAS SOUPS 14334 WITH SCORE 14351.012
AT ITER 8270 NEW BEST:: SOT 64687 SOS 16986 HAS SOPS 16986 HAS SOUS 14308 HAS SOUPS 14308 WITH SCORE 14324.986
AT ITER 8352 NEW BEST:: SOT 64652 SOS 16940 HAS SOPS 16940 HAS SOUS 14262 HAS SOUPS 14262 WITH SCORE 14278.94
AT ITER 8419 NEW BEST:: SOT 64650 SOS 16938 HAS SOPS 16938 HAS SOUS 14260 HAS SOUPS 14260 WITH SCORE 14276.938
AT ITER 8426 NEW BEST:: SOT 64676 SOS 16919 HAS SOPS 16919 HAS SOUS 14241 HAS SOUPS 14241 WITH SCORE 14257.919
AT ITER 8453 NEW BEST:: SOT 64672 SOS 16975 HAS SOPS 16975 HAS SOUS 14239 HAS SOUPS 14239 WITH SCORE 14255.975
AT ITER 8472 NEW BEST:: SOT 64648 SOS 16940 HAS SOPS 16940 HAS SOUS 14204 HAS SOUPS 14204 WITH SCORE 14220.94
AT ITER 8509 NEW BEST:: SOT 64648 SOS 16940 HAS SOPS 16940 HAS SOUS 14203 HAS SOUPS 14203 WITH SCORE 14219.94
AT ITER 8511 NEW BEST:: SOT 64632 SOS 17201 HAS SOPS 17201 HAS SOUS 14196 HAS SOUPS 14196 WITH SCORE 14213.201
AT ITER 8514 NEW BEST:: SOT 64631 SOS 17199 HAS SOPS 17199 HAS SOUS 14175 HAS SOUPS 14175 WITH SCORE 14192.199
AT ITER 8554 NEW BEST:: SOT 64628 SOS 17193 HAS SOPS 17193 HAS SOUS 14169 HAS SOUPS 14169 WITH SCORE 14186.193
AT ITER 8615 NEW BEST:: SOT 64617 SOS 17171 HAS SOPS 17171 HAS SOUS 14147 HAS SOUPS 14147 WITH SCORE 14164.171
AT ITER 8620 NEW BEST:: SOT 64536 SOS 17047 HAS SOPS 17047 HAS SOUS 14023 HAS SOUPS 14023 WITH SCORE 14040.047
AT ITER 8646 NEW BEST:: SOT 64536 SOS 17046 HAS SOPS 17046 HAS SOUS 14022 HAS SOUPS 14022 WITH SCORE 14039.046
AT ITER 8695 NEW BEST:: SOT 64554 SOS 17015 HAS SOPS 17015 HAS SOUS 13991 HAS SOUPS 13991 WITH SCORE 14008.015
AT ITER 8705 NEW BEST:: SOT 64554 SOS 17015 HAS SOPS 17015 HAS SOUS 13963 HAS SOUPS 13963 WITH SCORE 13980.015
AT ITER 8723 NEW BEST:: SOT 64549 SOS 17041 HAS SOPS 17041 HAS SOUS 13958 HAS SOUPS 13958 WITH SCORE 13975.041
AT ITER 8738 NEW BEST:: SOT 64535 SOS 17027 HAS SOPS 17027 HAS SOUS 13951 HAS SOUPS 13951 WITH SCORE 13968.027
AT ITER 8785 NEW BEST:: SOT 64529 SOS 17010 HAS SOPS 17010 HAS SOUS 13934 HAS SOUPS 13934 WITH SCORE 13951.01
AT ITER 8893 NEW BEST:: SOT 64528 SOS 17009 HAS SOPS 17009 HAS SOUS 13933 HAS SOUPS 13933 WITH SCORE 13950.009
AT ITER 9071 NEW BEST:: SOT 64528 SOS 17000 HAS SOPS 17000 HAS SOUS 13924 HAS SOUPS 13924 WITH SCORE 13941.0
AT ITER 9088 NEW BEST:: SOT 64522 SOS 16982 HAS SOPS 16982 HAS SOUS 13912 HAS SOUPS 13912 WITH SCORE 13928.982
AT ITER 9090 NEW BEST:: SOT 64519 SOS 16976 HAS SOPS 16976 HAS SOUS 13906 HAS SOUPS 13906 WITH SCORE 13922.976
AT ITER 9121 NEW BEST:: SOT 64542 SOS 16952 HAS SOPS 16952 HAS SOUS 13882 HAS SOUPS 13882 WITH SCORE 13898.952
AT ITER 9142 NEW BEST:: SOT 64534 SOS 16940 HAS SOPS 16940 HAS SOUS 13870 HAS SOUPS 13870 WITH SCORE 13886.94
AT ITER 9167 NEW BEST:: SOT 64531 SOS 16939 HAS SOPS 16939 HAS SOUS 13869 HAS SOUPS 13869 WITH SCORE 13885.939
AT ITER 9172 NEW BEST:: SOT 64528 SOS 16928 HAS SOPS 16928 HAS SOUS 13858 HAS SOUPS 13858 WITH SCORE 13874.928
AT ITER 9244 NEW BEST:: SOT 64523 SOS 16918 HAS SOPS 16918 HAS SOUS 13848 HAS SOUPS 13848 WITH SCORE 13864.918
AT ITER 9323 NEW BEST:: SOT 64520 SOS 16915 HAS SOPS 16915 HAS SOUS 13845 HAS SOUPS 13845 WITH SCORE 13861.915
AT ITER 9357 NEW BEST:: SOT 64509 SOS 16903 HAS SOPS 16903 HAS SOUS 13843 HAS SOUPS 13843 WITH SCORE 13859.903
AT ITER 9429 NEW BEST:: SOT 64493 SOS 16898 HAS SOPS 16898 HAS SOUS 13838 HAS SOUPS 13838 WITH SCORE 13854.898
AT ITER 9471 NEW BEST:: SOT 64493 SOS 16897 HAS SOPS 16897 HAS SOUS 13837 HAS SOUPS 13837 WITH SCORE 13853.897
AT ITER 9510 NEW BEST:: SOT 64481 SOS 16885 HAS SOPS 16885 HAS SOUS 13825 HAS SOUPS 13825 WITH SCORE 13841.885
AT ITER 9514 NEW BEST:: SOT 64475 SOS 16875 HAS SOPS 16875 HAS SOUS 13815 HAS SOUPS 13815 WITH SCORE 13831.875
AT ITER 9584 NEW BEST:: SOT 64478 SOS 16881 HAS SOPS 16881 HAS SOUS 13807 HAS SOUPS 13807 WITH SCORE 13823.881
AT ITER 9765 NEW BEST:: SOT 64474 SOS 16873 HAS SOPS 16873 HAS SOUS 13799 HAS SOUPS 13799 WITH SCORE 13815.873
AT ITER 9904 NEW BEST:: SOT 64475 SOS 16867 HAS SOPS 16867 HAS SOUS 13793 HAS SOUPS 13793 WITH SCORE 13809.867

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="BusinessProcesses-PT-06"
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"

# 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 BusinessProcesses-PT-06, 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 r018-oct2-158897680100496"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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