Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 488K
-rw-r--r-- 1 mcc users 6.4K Feb 26 15:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 26 15:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 26 15:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 15:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:50 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 15:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 123K Feb 26 15:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 26 15:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 26 15:45 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 15:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:50 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 83K Mar 5 18:22 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 1678244459542

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

Filename model.pnml
Petri model created: 274 places, 231 transitions, 1116 arcs.
AT ITER 0 NEW BEST:: SOT 53145 SOS 49047 HAS SOPS 49047 HAS SOUS 26971 HAS SOUPS 26971 WITH SCORE 27020.047
AT ITER 4 NEW BEST:: SOT 52625 SOS 48625 HAS SOPS 48625 HAS SOUS 26965 HAS SOUPS 26965 WITH SCORE 27013.625
AT ITER 25 NEW BEST:: SOT 52625 SOS 48619 HAS SOPS 48619 HAS SOUS 26959 HAS SOUPS 26959 WITH SCORE 27007.619
AT ITER 28 NEW BEST:: SOT 52624 SOS 48618 HAS SOPS 48618 HAS SOUS 26957 HAS SOUPS 26957 WITH SCORE 27005.618
AT ITER 33 NEW BEST:: SOT 52391 SOS 48438 HAS SOPS 48438 HAS SOUS 26776 HAS SOUPS 26776 WITH SCORE 26824.438
AT ITER 37 NEW BEST:: SOT 52288 SOS 48335 HAS SOPS 48335 HAS SOUS 26665 HAS SOUPS 26665 WITH SCORE 26713.335
AT ITER 44 NEW BEST:: SOT 52285 SOS 48332 HAS SOPS 48332 HAS SOUS 26652 HAS SOUPS 26652 WITH SCORE 26700.332
AT ITER 50 NEW BEST:: SOT 52276 SOS 48323 HAS SOPS 48323 HAS SOUS 26642 HAS SOUPS 26642 WITH SCORE 26690.323
AT ITER 51 NEW BEST:: SOT 52276 SOS 48273 HAS SOPS 48273 HAS SOUS 26641 HAS SOUPS 26641 WITH SCORE 26689.273
AT ITER 57 NEW BEST:: SOT 52187 SOS 48224 HAS SOPS 48224 HAS SOUS 26591 HAS SOUPS 26591 WITH SCORE 26639.224
AT ITER 58 NEW BEST:: SOT 52161 SOS 48198 HAS SOPS 48198 HAS SOUS 26521 HAS SOUPS 26521 WITH SCORE 26569.198
AT ITER 63 NEW BEST:: SOT 52133 SOS 48170 HAS SOPS 48170 HAS SOUS 26492 HAS SOUPS 26492 WITH SCORE 26540.17
AT ITER 64 NEW BEST:: SOT 52084 SOS 48167 HAS SOPS 48167 HAS SOUS 26484 HAS SOUPS 26484 WITH SCORE 26532.167
AT ITER 66 NEW BEST:: SOT 51654 SOS 47737 HAS SOPS 47737 HAS SOUS 26397 HAS SOUPS 26397 WITH SCORE 26444.737
AT ITER 67 NEW BEST:: SOT 51659 SOS 47742 HAS SOPS 47742 HAS SOUS 26382 HAS SOUPS 26382 WITH SCORE 26429.742
AT ITER 69 NEW BEST:: SOT 51607 SOS 47690 HAS SOPS 47690 HAS SOUS 26329 HAS SOUPS 26329 WITH SCORE 26376.69
AT ITER 75 NEW BEST:: SOT 51601 SOS 47684 HAS SOPS 47684 HAS SOUS 26320 HAS SOUPS 26320 WITH SCORE 26367.684
AT ITER 76 NEW BEST:: SOT 48297 SOS 44594 HAS SOPS 44594 HAS SOUS 22990 HAS SOUPS 22990 WITH SCORE 23034.594
AT ITER 78 NEW BEST:: SOT 48240 SOS 44537 HAS SOPS 44537 HAS SOUS 22933 HAS SOUPS 22933 WITH SCORE 22977.537
AT ITER 80 NEW BEST:: SOT 47705 SOS 44002 HAS SOPS 44002 HAS SOUS 22834 HAS SOUPS 22834 WITH SCORE 22878.002
AT ITER 84 NEW BEST:: SOT 47768 SOS 44162 HAS SOPS 44162 HAS SOUS 22776 HAS SOUPS 22776 WITH SCORE 22820.162
AT ITER 85 NEW BEST:: SOT 47768 SOS 44162 HAS SOPS 44162 HAS SOUS 22775 HAS SOUPS 22775 WITH SCORE 22819.162
AT ITER 87 NEW BEST:: SOT 47612 SOS 44006 HAS SOPS 44006 HAS SOUS 22676 HAS SOUPS 22676 WITH SCORE 22720.006
AT ITER 89 NEW BEST:: SOT 47606 SOS 44000 HAS SOPS 44000 HAS SOUS 22671 HAS SOUPS 22671 WITH SCORE 22715.0
AT ITER 90 NEW BEST:: SOT 47581 SOS 43975 HAS SOPS 43975 HAS SOUS 22644 HAS SOUPS 22644 WITH SCORE 22687.975
AT ITER 93 NEW BEST:: SOT 47581 SOS 43959 HAS SOPS 43959 HAS SOUS 22628 HAS SOUPS 22628 WITH SCORE 22671.959
AT ITER 100 NEW BEST:: SOT 47601 SOS 44030 HAS SOPS 44030 HAS SOUS 22533 HAS SOUPS 22533 WITH SCORE 22577.03
AT ITER 105 NEW BEST:: SOT 47450 SOS 43879 HAS SOPS 43879 HAS SOUS 22499 HAS SOUPS 22499 WITH SCORE 22542.879
AT ITER 109 NEW BEST:: SOT 47240 SOS 43660 HAS SOPS 43660 HAS SOUS 22280 HAS SOUPS 22280 WITH SCORE 22323.66
AT ITER 117 NEW BEST:: SOT 47198 SOS 43618 HAS SOPS 43618 HAS SOUS 22251 HAS SOUPS 22251 WITH SCORE 22294.618
AT ITER 126 NEW BEST:: SOT 47048 SOS 43468 HAS SOPS 43468 HAS SOUS 21941 HAS SOUPS 21941 WITH SCORE 21984.468
AT ITER 129 NEW BEST:: SOT 47048 SOS 42762 HAS SOPS 42762 HAS SOUS 21941 HAS SOUPS 21941 WITH SCORE 21983.762
AT ITER 133 NEW BEST:: SOT 46536 SOS 42250 HAS SOPS 42250 HAS SOUS 21597 HAS SOUPS 21597 WITH SCORE 21639.25
AT ITER 143 NEW BEST:: SOT 46514 SOS 42228 HAS SOPS 42228 HAS SOUS 21575 HAS SOUPS 21575 WITH SCORE 21617.228
AT ITER 145 NEW BEST:: SOT 46498 SOS 42212 HAS SOPS 42212 HAS SOUS 21558 HAS SOUPS 21558 WITH SCORE 21600.212
AT ITER 156 NEW BEST:: SOT 46498 SOS 42212 HAS SOPS 42212 HAS SOUS 21557 HAS SOUPS 21557 WITH SCORE 21599.212
AT ITER 161 NEW BEST:: SOT 46445 SOS 42159 HAS SOPS 42159 HAS SOUS 21504 HAS SOUPS 21504 WITH SCORE 21546.159
AT ITER 171 NEW BEST:: SOT 46394 SOS 42124 HAS SOPS 42124 HAS SOUS 21469 HAS SOUPS 21469 WITH SCORE 21511.124
AT ITER 176 NEW BEST:: SOT 46394 SOS 42124 HAS SOPS 42124 HAS SOUS 21468 HAS SOUPS 21468 WITH SCORE 21510.124
AT ITER 187 NEW BEST:: SOT 46394 SOS 42110 HAS SOPS 42110 HAS SOUS 21454 HAS SOUPS 21454 WITH SCORE 21496.11
AT ITER 213 NEW BEST:: SOT 46394 SOS 42110 HAS SOPS 42110 HAS SOUS 21453 HAS SOUPS 21453 WITH SCORE 21495.11
AT ITER 220 NEW BEST:: SOT 46394 SOS 42092 HAS SOPS 42092 HAS SOUS 21449 HAS SOUPS 21449 WITH SCORE 21491.092
AT ITER 221 NEW BEST:: SOT 46394 SOS 42092 HAS SOPS 42092 HAS SOUS 21406 HAS SOUPS 21406 WITH SCORE 21448.092
AT ITER 223 NEW BEST:: SOT 46389 SOS 42087 HAS SOPS 42087 HAS SOUS 21400 HAS SOUPS 21400 WITH SCORE 21442.087
AT ITER 227 NEW BEST:: SOT 46278 SOS 42166 HAS SOPS 42166 HAS SOUS 21274 HAS SOUPS 21274 WITH SCORE 21316.166
AT ITER 229 NEW BEST:: SOT 46254 SOS 42174 HAS SOPS 42174 HAS SOUS 21218 HAS SOUPS 21218 WITH SCORE 21260.174
AT ITER 234 NEW BEST:: SOT 46246 SOS 42166 HAS SOPS 42166 HAS SOUS 21210 HAS SOUPS 21210 WITH SCORE 21252.166
AT ITER 237 NEW BEST:: SOT 46250 SOS 42170 HAS SOPS 42170 HAS SOUS 21209 HAS SOUPS 21209 WITH SCORE 21251.17
AT ITER 250 NEW BEST:: SOT 46217 SOS 42137 HAS SOPS 42137 HAS SOUS 21175 HAS SOUPS 21175 WITH SCORE 21217.137
AT ITER 254 NEW BEST:: SOT 41951 SOS 37915 HAS SOPS 37915 HAS SOUS 16952 HAS SOUPS 16952 WITH SCORE 16989.915
AT ITER 259 NEW BEST:: SOT 41977 SOS 37941 HAS SOPS 37941 HAS SOUS 16929 HAS SOUPS 16929 WITH SCORE 16966.941
AT ITER 262 NEW BEST:: SOT 41977 SOS 37974 HAS SOPS 37974 HAS SOUS 16928 HAS SOUPS 16928 WITH SCORE 16965.974
AT ITER 266 NEW BEST:: SOT 41977 SOS 37834 HAS SOPS 37834 HAS SOUS 16788 HAS SOUPS 16788 WITH SCORE 16825.834
AT ITER 273 NEW BEST:: SOT 41977 SOS 37834 HAS SOPS 37834 HAS SOUS 16787 HAS SOUPS 16787 WITH SCORE 16824.834
AT ITER 276 NEW BEST:: SOT 41976 SOS 37829 HAS SOPS 37829 HAS SOUS 16782 HAS SOUPS 16782 WITH SCORE 16819.829
AT ITER 279 NEW BEST:: SOT 41944 SOS 37797 HAS SOPS 37797 HAS SOUS 16712 HAS SOUPS 16712 WITH SCORE 16749.797
AT ITER 288 NEW BEST:: SOT 41944 SOS 36403 HAS SOPS 36403 HAS SOUS 16675 HAS SOUPS 16675 WITH SCORE 16711.403
AT ITER 289 NEW BEST:: SOT 41894 SOS 36353 HAS SOPS 36353 HAS SOUS 16588 HAS SOUPS 16588 WITH SCORE 16624.353
AT ITER 301 NEW BEST:: SOT 41886 SOS 36345 HAS SOPS 36345 HAS SOUS 16580 HAS SOUPS 16580 WITH SCORE 16616.345
AT ITER 311 NEW BEST:: SOT 41774 SOS 36233 HAS SOPS 36233 HAS SOUS 16444 HAS SOUPS 16444 WITH SCORE 16480.233
AT ITER 314 NEW BEST:: SOT 41774 SOS 36256 HAS SOPS 36256 HAS SOUS 16443 HAS SOUPS 16443 WITH SCORE 16479.256
AT ITER 315 NEW BEST:: SOT 41755 SOS 36233 HAS SOPS 36233 HAS SOUS 16427 HAS SOUPS 16427 WITH SCORE 16463.233
AT ITER 326 NEW BEST:: SOT 41550 SOS 36004 HAS SOPS 36004 HAS SOUS 16060 HAS SOUPS 16060 WITH SCORE 16096.004
AT ITER 327 NEW BEST:: SOT 41495 SOS 35949 HAS SOPS 35949 HAS SOUS 15950 HAS SOUPS 15950 WITH SCORE 15985.949
AT ITER 330 NEW BEST:: SOT 41485 SOS 35929 HAS SOPS 35929 HAS SOUS 15930 HAS SOUPS 15930 WITH SCORE 15965.929
AT ITER 342 NEW BEST:: SOT 41470 SOS 35914 HAS SOPS 35914 HAS SOUS 15913 HAS SOUPS 15913 WITH SCORE 15948.914
AT ITER 345 NEW BEST:: SOT 41459 SOS 35903 HAS SOPS 35903 HAS SOUS 15891 HAS SOUPS 15891 WITH SCORE 15926.903
AT ITER 358 NEW BEST:: SOT 41456 SOS 35900 HAS SOPS 35900 HAS SOUS 15888 HAS SOUPS 15888 WITH SCORE 15923.9
AT ITER 361 NEW BEST:: SOT 41456 SOS 35900 HAS SOPS 35900 HAS SOUS 15877 HAS SOUPS 15877 WITH SCORE 15912.9
AT ITER 380 NEW BEST:: SOT 41352 SOS 35796 HAS SOPS 35796 HAS SOUS 15857 HAS SOUPS 15857 WITH SCORE 15892.796
AT ITER 390 NEW BEST:: SOT 41343 SOS 35740 HAS SOPS 35740 HAS SOUS 15847 HAS SOUPS 15847 WITH SCORE 15882.74
AT ITER 393 NEW BEST:: SOT 41342 SOS 35739 HAS SOPS 35739 HAS SOUS 15845 HAS SOUPS 15845 WITH SCORE 15880.739
AT ITER 398 NEW BEST:: SOT 41309 SOS 35692 HAS SOPS 35692 HAS SOUS 15803 HAS SOUPS 15803 WITH SCORE 15838.692
AT ITER 400 NEW BEST:: SOT 41196 SOS 35688 HAS SOPS 35688 HAS SOUS 15799 HAS SOUPS 15799 WITH SCORE 15834.688
AT ITER 407 NEW BEST:: SOT 40262 SOS 34754 HAS SOPS 34754 HAS SOUS 14790 HAS SOUPS 14790 WITH SCORE 14824.754
AT ITER 408 NEW BEST:: SOT 40214 SOS 34674 HAS SOPS 34674 HAS SOUS 14710 HAS SOUPS 14710 WITH SCORE 14744.674
AT ITER 419 NEW BEST:: SOT 39699 SOS 34159 HAS SOPS 34159 HAS SOUS 14518 HAS SOUPS 14518 WITH SCORE 14552.159
AT ITER 430 NEW BEST:: SOT 37862 SOS 32451 HAS SOPS 32451 HAS SOUS 12335 HAS SOUPS 12335 WITH SCORE 12367.451
AT ITER 432 NEW BEST:: SOT 37849 SOS 32438 HAS SOPS 32438 HAS SOUS 12322 HAS SOUPS 12322 WITH SCORE 12354.438
AT ITER 434 NEW BEST:: SOT 37833 SOS 32414 HAS SOPS 32414 HAS SOUS 12298 HAS SOUPS 12298 WITH SCORE 12330.414
AT ITER 437 NEW BEST:: SOT 37817 SOS 32289 HAS SOPS 32289 HAS SOUS 12173 HAS SOUPS 12173 WITH SCORE 12205.289
AT ITER 451 NEW BEST:: SOT 37707 SOS 32174 HAS SOPS 32174 HAS SOUS 12150 HAS SOUPS 12150 WITH SCORE 12182.174
AT ITER 452 NEW BEST:: SOT 37705 SOS 32172 HAS SOPS 32172 HAS SOUS 12148 HAS SOUPS 12148 WITH SCORE 12180.172
AT ITER 456 NEW BEST:: SOT 37805 SOS 32169 HAS SOPS 32169 HAS SOUS 12098 HAS SOUPS 12098 WITH SCORE 12130.169
AT ITER 457 NEW BEST:: SOT 37530 SOS 31972 HAS SOPS 31972 HAS SOUS 12097 HAS SOUPS 12097 WITH SCORE 12128.972
AT ITER 463 NEW BEST:: SOT 37350 SOS 31717 HAS SOPS 31717 HAS SOUS 11920 HAS SOUPS 11920 WITH SCORE 11951.717
AT ITER 486 NEW BEST:: SOT 37264 SOS 31630 HAS SOPS 31630 HAS SOUS 11876 HAS SOUPS 11876 WITH SCORE 11907.63
AT ITER 487 NEW BEST:: SOT 37292 SOS 31830 HAS SOPS 31830 HAS SOUS 11723 HAS SOUPS 11723 WITH SCORE 11754.83
AT ITER 491 NEW BEST:: SOT 37292 SOS 31829 HAS SOPS 31829 HAS SOUS 11722 HAS SOUPS 11722 WITH SCORE 11753.829
AT ITER 496 NEW BEST:: SOT 37220 SOS 31790 HAS SOPS 31790 HAS SOUS 11715 HAS SOUPS 11715 WITH SCORE 11746.79
AT ITER 499 NEW BEST:: SOT 37229 SOS 31799 HAS SOPS 31799 HAS SOUS 11713 HAS SOUPS 11713 WITH SCORE 11744.799
AT ITER 536 NEW BEST:: SOT 37300 SOS 31877 HAS SOPS 31877 HAS SOUS 11710 HAS SOUPS 11710 WITH SCORE 11741.877
AT ITER 540 NEW BEST:: SOT 37286 SOS 31776 HAS SOPS 31776 HAS SOUS 11609 HAS SOUPS 11609 WITH SCORE 11640.776
AT ITER 544 NEW BEST:: SOT 37286 SOS 31776 HAS SOPS 31776 HAS SOUS 11598 HAS SOUPS 11598 WITH SCORE 11629.776
AT ITER 550 NEW BEST:: SOT 37248 SOS 31738 HAS SOPS 31738 HAS SOUS 11518 HAS SOUPS 11518 WITH SCORE 11549.738
AT ITER 569 NEW BEST:: SOT 37290 SOS 31608 HAS SOPS 31608 HAS SOUS 11388 HAS SOUPS 11388 WITH SCORE 11419.608
AT ITER 571 NEW BEST:: SOT 37278 SOS 31596 HAS SOPS 31596 HAS SOUS 11382 HAS SOUPS 11382 WITH SCORE 11413.596
AT ITER 592 NEW BEST:: SOT 37026 SOS 31344 HAS SOPS 31344 HAS SOUS 11296 HAS SOUPS 11296 WITH SCORE 11327.344
AT ITER 595 NEW BEST:: SOT 37025 SOS 31343 HAS SOPS 31343 HAS SOUS 11294 HAS SOUPS 11294 WITH SCORE 11325.343
AT ITER 611 NEW BEST:: SOT 37024 SOS 31342 HAS SOPS 31342 HAS SOUS 11293 HAS SOUPS 11293 WITH SCORE 11324.342
AT ITER 612 NEW BEST:: SOT 37002 SOS 31276 HAS SOPS 31276 HAS SOUS 11283 HAS SOUPS 11283 WITH SCORE 11314.276
AT ITER 627 NEW BEST:: SOT 36759 SOS 31035 HAS SOPS 31035 HAS SOUS 11042 HAS SOUPS 11042 WITH SCORE 11073.035
AT ITER 633 NEW BEST:: SOT 36758 SOS 31034 HAS SOPS 31034 HAS SOUS 11040 HAS SOUPS 11040 WITH SCORE 11071.034
AT ITER 649 NEW BEST:: SOT 36757 SOS 31033 HAS SOPS 31033 HAS SOUS 11040 HAS SOUPS 11040 WITH SCORE 11071.033
AT ITER 662 NEW BEST:: SOT 36736 SOS 30954 HAS SOPS 30954 HAS SOUS 11019 HAS SOUPS 11019 WITH SCORE 11049.954
AT ITER 673 NEW BEST:: SOT 36589 SOS 30828 HAS SOPS 30828 HAS SOUS 10825 HAS SOUPS 10825 WITH SCORE 10855.828
AT ITER 679 NEW BEST:: SOT 36547 SOS 30784 HAS SOPS 30784 HAS SOUS 10822 HAS SOUPS 10822 WITH SCORE 10852.784
AT ITER 682 NEW BEST:: SOT 36543 SOS 30780 HAS SOPS 30780 HAS SOUS 10818 HAS SOUPS 10818 WITH SCORE 10848.78
AT ITER 696 NEW BEST:: SOT 36475 SOS 30712 HAS SOPS 30712 HAS SOUS 10750 HAS SOUPS 10750 WITH SCORE 10780.712
AT ITER 710 NEW BEST:: SOT 36397 SOS 30634 HAS SOPS 30634 HAS SOUS 10594 HAS SOUPS 10594 WITH SCORE 10624.634
AT ITER 755 NEW BEST:: SOT 36376 SOS 30592 HAS SOPS 30592 HAS SOUS 10552 HAS SOUPS 10552 WITH SCORE 10582.592
AT ITER 767 NEW BEST:: SOT 36365 SOS 30551 HAS SOPS 30551 HAS SOUS 10533 HAS SOUPS 10533 WITH SCORE 10563.551
AT ITER 773 NEW BEST:: SOT 36351 SOS 30537 HAS SOPS 30537 HAS SOUS 10519 HAS SOUPS 10519 WITH SCORE 10549.537
AT ITER 774 NEW BEST:: SOT 36346 SOS 30531 HAS SOPS 30531 HAS SOUS 10517 HAS SOUPS 10517 WITH SCORE 10547.531
AT ITER 785 NEW BEST:: SOT 36345 SOS 30530 HAS SOPS 30530 HAS SOUS 10515 HAS SOUPS 10515 WITH SCORE 10545.53
AT ITER 786 NEW BEST:: SOT 36346 SOS 30525 HAS SOPS 30525 HAS SOUS 10510 HAS SOUPS 10510 WITH SCORE 10540.525
AT ITER 804 NEW BEST:: SOT 36230 SOS 30401 HAS SOPS 30401 HAS SOUS 10386 HAS SOUPS 10386 WITH SCORE 10416.401
AT ITER 824 NEW BEST:: SOT 36154 SOS 30280 HAS SOPS 30280 HAS SOUS 10341 HAS SOUPS 10341 WITH SCORE 10371.28
AT ITER 834 NEW BEST:: SOT 36102 SOS 30256 HAS SOPS 30256 HAS SOUS 10287 HAS SOUPS 10287 WITH SCORE 10317.256
AT ITER 868 NEW BEST:: SOT 36096 SOS 30250 HAS SOPS 30250 HAS SOUS 10281 HAS SOUPS 10281 WITH SCORE 10311.25
AT ITER 874 NEW BEST:: SOT 36097 SOS 30258 HAS SOPS 30258 HAS SOUS 10276 HAS SOUPS 10276 WITH SCORE 10306.258
AT ITER 877 NEW BEST:: SOT 36095 SOS 30256 HAS SOPS 30256 HAS SOUS 10272 HAS SOUPS 10272 WITH SCORE 10302.256
AT ITER 884 NEW BEST:: SOT 36060 SOS 30221 HAS SOPS 30221 HAS SOUS 10202 HAS SOUPS 10202 WITH SCORE 10232.221
AT ITER 887 NEW BEST:: SOT 36059 SOS 30220 HAS SOPS 30220 HAS SOUS 10200 HAS SOUPS 10200 WITH SCORE 10230.22
AT ITER 891 NEW BEST:: SOT 36057 SOS 30214 HAS SOPS 30214 HAS SOUS 10196 HAS SOUPS 10196 WITH SCORE 10226.214
AT ITER 895 NEW BEST:: SOT 36052 SOS 30209 HAS SOPS 30209 HAS SOUS 10186 HAS SOUPS 10186 WITH SCORE 10216.209
AT ITER 926 NEW BEST:: SOT 36076 SOS 30267 HAS SOPS 30267 HAS SOUS 10151 HAS SOUPS 10151 WITH SCORE 10181.267
AT ITER 928 NEW BEST:: SOT 36053 SOS 30244 HAS SOPS 30244 HAS SOUS 10105 HAS SOUPS 10105 WITH SCORE 10135.244
AT ITER 939 NEW BEST:: SOT 36044 SOS 30210 HAS SOPS 30210 HAS SOUS 10071 HAS SOUPS 10071 WITH SCORE 10101.21
AT ITER 949 NEW BEST:: SOT 36032 SOS 30198 HAS SOPS 30198 HAS SOUS 10047 HAS SOUPS 10047 WITH SCORE 10077.198
AT ITER 956 NEW BEST:: SOT 36031 SOS 30197 HAS SOPS 30197 HAS SOUS 10046 HAS SOUPS 10046 WITH SCORE 10076.197
AT ITER 967 NEW BEST:: SOT 36005 SOS 30171 HAS SOPS 30171 HAS SOUS 9994 HAS SOUPS 9994 WITH SCORE 10024.171
AT ITER 980 NEW BEST:: SOT 35979 SOS 30145 HAS SOPS 30145 HAS SOUS 9968 HAS SOUPS 9968 WITH SCORE 9998.145
AT ITER 986 NEW BEST:: SOT 36188 SOS 30354 HAS SOPS 30354 HAS SOUS 9940 HAS SOUPS 9940 WITH SCORE 9970.354
AT ITER 996 NEW BEST:: SOT 36137 SOS 30303 HAS SOPS 30303 HAS SOUS 9889 HAS SOUPS 9889 WITH SCORE 9919.303
AT ITER 1007 NEW BEST:: SOT 36162 SOS 30328 HAS SOPS 30328 HAS SOUS 9873 HAS SOUPS 9873 WITH SCORE 9903.328
AT ITER 1012 NEW BEST:: SOT 36144 SOS 30310 HAS SOPS 30310 HAS SOUS 9855 HAS SOUPS 9855 WITH SCORE 9885.31
AT ITER 1030 NEW BEST:: SOT 36136 SOS 30302 HAS SOPS 30302 HAS SOUS 9839 HAS SOUPS 9839 WITH SCORE 9869.302
AT ITER 1034 NEW BEST:: SOT 36120 SOS 30286 HAS SOPS 30286 HAS SOUS 9823 HAS SOUPS 9823 WITH SCORE 9853.286
AT ITER 1074 NEW BEST:: SOT 36607 SOS 30813 HAS SOPS 30813 HAS SOUS 9819 HAS SOUPS 9819 WITH SCORE 9849.813
AT ITER 1097 NEW BEST:: SOT 36585 SOS 30780 HAS SOPS 30780 HAS SOUS 9786 HAS SOUPS 9786 WITH SCORE 9816.78
AT ITER 1104 NEW BEST:: SOT 36541 SOS 30731 HAS SOPS 30731 HAS SOUS 9772 HAS SOUPS 9772 WITH SCORE 9802.731
AT ITER 1105 NEW BEST:: SOT 36524 SOS 30714 HAS SOPS 30714 HAS SOUS 9738 HAS SOUPS 9738 WITH SCORE 9768.714
AT ITER 1108 NEW BEST:: SOT 36518 SOS 30708 HAS SOPS 30708 HAS SOUS 9734 HAS SOUPS 9734 WITH SCORE 9764.708
AT ITER 1125 NEW BEST:: SOT 36547 SOS 30737 HAS SOPS 30737 HAS SOUS 9720 HAS SOUPS 9720 WITH SCORE 9750.737
AT ITER 1152 NEW BEST:: SOT 36562 SOS 30761 HAS SOPS 30761 HAS SOUS 9707 HAS SOUPS 9707 WITH SCORE 9737.761
AT ITER 1154 NEW BEST:: SOT 36496 SOS 30695 HAS SOPS 30695 HAS SOUS 9707 HAS SOUPS 9707 WITH SCORE 9737.695
AT ITER 1156 NEW BEST:: SOT 36394 SOS 30491 HAS SOPS 30491 HAS SOUS 9605 HAS SOUPS 9605 WITH SCORE 9635.491
AT ITER 1165 NEW BEST:: SOT 36374 SOS 30461 HAS SOPS 30461 HAS SOUS 9575 HAS SOUPS 9575 WITH SCORE 9605.461
AT ITER 1197 NEW BEST:: SOT 36374 SOS 30395 HAS SOPS 30395 HAS SOUS 9575 HAS SOUPS 9575 WITH SCORE 9605.395
AT ITER 1202 NEW BEST:: SOT 36361 SOS 30382 HAS SOPS 30382 HAS SOUS 9575 HAS SOUPS 9575 WITH SCORE 9605.382
AT ITER 1205 NEW BEST:: SOT 36334 SOS 30355 HAS SOPS 30355 HAS SOUS 9569 HAS SOUPS 9569 WITH SCORE 9599.355
AT ITER 1207 NEW BEST:: SOT 36359 SOS 30400 HAS SOPS 30400 HAS SOUS 9561 HAS SOUPS 9561 WITH SCORE 9591.4
AT ITER 1208 NEW BEST:: SOT 36330 SOS 30371 HAS SOPS 30371 HAS SOUS 9553 HAS SOUPS 9553 WITH SCORE 9583.371
AT ITER 1209 NEW BEST:: SOT 36238 SOS 30279 HAS SOPS 30279 HAS SOUS 9461 HAS SOUPS 9461 WITH SCORE 9491.279
AT ITER 1219 NEW BEST:: SOT 36217 SOS 30276 HAS SOPS 30276 HAS SOUS 9458 HAS SOUPS 9458 WITH SCORE 9488.276
AT ITER 1225 NEW BEST:: SOT 36191 SOS 30249 HAS SOPS 30249 HAS SOUS 9441 HAS SOUPS 9441 WITH SCORE 9471.249
AT ITER 1229 NEW BEST:: SOT 36187 SOS 30245 HAS SOPS 30245 HAS SOUS 9437 HAS SOUPS 9437 WITH SCORE 9467.245
AT ITER 1237 NEW BEST:: SOT 36186 SOS 30244 HAS SOPS 30244 HAS SOUS 9435 HAS SOUPS 9435 WITH SCORE 9465.244
AT ITER 1268 NEW BEST:: SOT 36186 SOS 30220 HAS SOPS 30220 HAS SOUS 9429 HAS SOUPS 9429 WITH SCORE 9459.22
AT ITER 1278 NEW BEST:: SOT 36169 SOS 30203 HAS SOPS 30203 HAS SOUS 9395 HAS SOUPS 9395 WITH SCORE 9425.203
AT ITER 1284 NEW BEST:: SOT 36151 SOS 30185 HAS SOPS 30185 HAS SOUS 9393 HAS SOUPS 9393 WITH SCORE 9423.185
AT ITER 1285 NEW BEST:: SOT 36151 SOS 30185 HAS SOPS 30185 HAS SOUS 9382 HAS SOUPS 9382 WITH SCORE 9412.185
AT ITER 1302 NEW BEST:: SOT 36139 SOS 30149 HAS SOPS 30149 HAS SOUS 9346 HAS SOUPS 9346 WITH SCORE 9376.149
AT ITER 1362 NEW BEST:: SOT 36085 SOS 30095 HAS SOPS 30095 HAS SOUS 9318 HAS SOUPS 9318 WITH SCORE 9348.095
AT ITER 1377 NEW BEST:: SOT 35990 SOS 30000 HAS SOPS 30000 HAS SOUS 9128 HAS SOUPS 9128 WITH SCORE 9158.0
AT ITER 1383 NEW BEST:: SOT 35989 SOS 29999 HAS SOPS 29999 HAS SOUS 9123 HAS SOUPS 9123 WITH SCORE 9152.999
AT ITER 1394 NEW BEST:: SOT 35976 SOS 29973 HAS SOPS 29973 HAS SOUS 9110 HAS SOUPS 9110 WITH SCORE 9139.973
AT ITER 1406 NEW BEST:: SOT 35968 SOS 29965 HAS SOPS 29965 HAS SOUS 9094 HAS SOUPS 9094 WITH SCORE 9123.965
AT ITER 1465 NEW BEST:: SOT 35964 SOS 29961 HAS SOPS 29961 HAS SOUS 9079 HAS SOUPS 9079 WITH SCORE 9108.961
AT ITER 1497 NEW BEST:: SOT 35949 SOS 29946 HAS SOPS 29946 HAS SOUS 9049 HAS SOUPS 9049 WITH SCORE 9078.946
AT ITER 1524 NEW BEST:: SOT 35964 SOS 29875 HAS SOPS 29875 HAS SOUS 8996 HAS SOUPS 8996 WITH SCORE 9025.875
AT ITER 1537 NEW BEST:: SOT 35964 SOS 29870 HAS SOPS 29870 HAS SOUS 8996 HAS SOUPS 8996 WITH SCORE 9025.87
AT ITER 1543 NEW BEST:: SOT 35962 SOS 29868 HAS SOPS 29868 HAS SOUS 8986 HAS SOUPS 8986 WITH SCORE 9015.868
AT ITER 1606 NEW BEST:: SOT 35899 SOS 29797 HAS SOPS 29797 HAS SOUS 8915 HAS SOUPS 8915 WITH SCORE 8944.797
AT ITER 1617 NEW BEST:: SOT 35896 SOS 29762 HAS SOPS 29762 HAS SOUS 8909 HAS SOUPS 8909 WITH SCORE 8938.762
AT ITER 1625 NEW BEST:: SOT 35887 SOS 29753 HAS SOPS 29753 HAS SOUS 8900 HAS SOUPS 8900 WITH SCORE 8929.753
AT ITER 1649 NEW BEST:: SOT 35874 SOS 29740 HAS SOPS 29740 HAS SOUS 8874 HAS SOUPS 8874 WITH SCORE 8903.74
AT ITER 1650 NEW BEST:: SOT 35870 SOS 29736 HAS SOPS 29736 HAS SOUS 8866 HAS SOUPS 8866 WITH SCORE 8895.736
AT ITER 1669 NEW BEST:: SOT 35869 SOS 29735 HAS SOPS 29735 HAS SOUS 8864 HAS SOUPS 8864 WITH SCORE 8893.735
AT ITER 1681 NEW BEST:: SOT 35867 SOS 29733 HAS SOPS 29733 HAS SOUS 8862 HAS SOUPS 8862 WITH SCORE 8891.733
AT ITER 1695 NEW BEST:: SOT 35858 SOS 29724 HAS SOPS 29724 HAS SOUS 8856 HAS SOUPS 8856 WITH SCORE 8885.724
AT ITER 1719 NEW BEST:: SOT 35844 SOS 29710 HAS SOPS 29710 HAS SOUS 8828 HAS SOUPS 8828 WITH SCORE 8857.71
AT ITER 1733 NEW BEST:: SOT 35843 SOS 29709 HAS SOPS 29709 HAS SOUS 8826 HAS SOUPS 8826 WITH SCORE 8855.709
AT ITER 1743 NEW BEST:: SOT 35802 SOS 29668 HAS SOPS 29668 HAS SOUS 8819 HAS SOUPS 8819 WITH SCORE 8848.668
AT ITER 1750 NEW BEST:: SOT 35799 SOS 29662 HAS SOPS 29662 HAS SOUS 8816 HAS SOUPS 8816 WITH SCORE 8845.662
AT ITER 1769 NEW BEST:: SOT 35797 SOS 29660 HAS SOPS 29660 HAS SOUS 8812 HAS SOUPS 8812 WITH SCORE 8841.66
AT ITER 1778 NEW BEST:: SOT 35796 SOS 29660 HAS SOPS 29660 HAS SOUS 8810 HAS SOUPS 8810 WITH SCORE 8839.66
AT ITER 1816 NEW BEST:: SOT 35713 SOS 29508 HAS SOPS 29508 HAS SOUS 8713 HAS SOUPS 8713 WITH SCORE 8742.508
AT ITER 1839 NEW BEST:: SOT 35683 SOS 29478 HAS SOPS 29478 HAS SOUS 8653 HAS SOUPS 8653 WITH SCORE 8682.478
AT ITER 1865 NEW BEST:: SOT 35677 SOS 29472 HAS SOPS 29472 HAS SOUS 8641 HAS SOUPS 8641 WITH SCORE 8670.472
AT ITER 1867 NEW BEST:: SOT 35641 SOS 29369 HAS SOPS 29369 HAS SOUS 8638 HAS SOUPS 8638 WITH SCORE 8667.369
AT ITER 1890 NEW BEST:: SOT 35600 SOS 29330 HAS SOPS 29330 HAS SOUS 8499 HAS SOUPS 8499 WITH SCORE 8528.33
AT ITER 1906 NEW BEST:: SOT 35599 SOS 29328 HAS SOPS 29328 HAS SOUS 8498 HAS SOUPS 8498 WITH SCORE 8527.328
AT ITER 1929 NEW BEST:: SOT 35592 SOS 29321 HAS SOPS 29321 HAS SOUS 8484 HAS SOUPS 8484 WITH SCORE 8513.321
AT ITER 2006 NEW BEST:: SOT 35590 SOS 29319 HAS SOPS 29319 HAS SOUS 8484 HAS SOUPS 8484 WITH SCORE 8513.319
AT ITER 2029 NEW BEST:: SOT 35572 SOS 29301 HAS SOPS 29301 HAS SOUS 8448 HAS SOUPS 8448 WITH SCORE 8477.301
AT ITER 2032 NEW BEST:: SOT 35548 SOS 29277 HAS SOPS 29277 HAS SOUS 8393 HAS SOUPS 8393 WITH SCORE 8422.277
AT ITER 2033 NEW BEST:: SOT 35538 SOS 29257 HAS SOPS 29257 HAS SOUS 8383 HAS SOUPS 8383 WITH SCORE 8412.257
AT ITER 2052 NEW BEST:: SOT 35622 SOS 29341 HAS SOPS 29341 HAS SOUS 8333 HAS SOUPS 8333 WITH SCORE 8362.341
AT ITER 2055 NEW BEST:: SOT 35611 SOS 29333 HAS SOPS 29333 HAS SOUS 8325 HAS SOUPS 8325 WITH SCORE 8354.333
AT ITER 2075 NEW BEST:: SOT 35625 SOS 29347 HAS SOPS 29347 HAS SOUS 8322 HAS SOUPS 8322 WITH SCORE 8351.347
AT ITER 2115 NEW BEST:: SOT 35619 SOS 29301 HAS SOPS 29301 HAS SOUS 8276 HAS SOUPS 8276 WITH SCORE 8305.301
AT ITER 2117 NEW BEST:: SOT 35454 SOS 29136 HAS SOPS 29136 HAS SOUS 8166 HAS SOUPS 8166 WITH SCORE 8195.136
AT ITER 2137 NEW BEST:: SOT 35453 SOS 29135 HAS SOPS 29135 HAS SOUS 8164 HAS SOUPS 8164 WITH SCORE 8193.135
AT ITER 2157 NEW BEST:: SOT 35403 SOS 29085 HAS SOPS 29085 HAS SOUS 8114 HAS SOUPS 8114 WITH SCORE 8143.085
AT ITER 2213 NEW BEST:: SOT 35400 SOS 29061 HAS SOPS 29061 HAS SOUS 8090 HAS SOUPS 8090 WITH SCORE 8119.061
AT ITER 2263 NEW BEST:: SOT 35458 SOS 27359 HAS SOPS 27359 HAS SOUS 8078 HAS SOUPS 8078 WITH SCORE 8105.359
AT ITER 2269 NEW BEST:: SOT 35469 SOS 27370 HAS SOPS 27370 HAS SOUS 8070 HAS SOUPS 8070 WITH SCORE 8097.37
AT ITER 2282 NEW BEST:: SOT 35458 SOS 27347 HAS SOPS 27347 HAS SOUS 8060 HAS SOUPS 8060 WITH SCORE 8087.347
AT ITER 2295 NEW BEST:: SOT 35283 SOS 27172 HAS SOPS 27172 HAS SOUS 8057 HAS SOUPS 8057 WITH SCORE 8084.172
AT ITER 2316 NEW BEST:: SOT 35282 SOS 27171 HAS SOPS 27171 HAS SOUS 8055 HAS SOUPS 8055 WITH SCORE 8082.171
AT ITER 2326 NEW BEST:: SOT 35280 SOS 27169 HAS SOPS 27169 HAS SOUS 8051 HAS SOUPS 8051 WITH SCORE 8078.169
AT ITER 2332 NEW BEST:: SOT 35285 SOS 27174 HAS SOPS 27174 HAS SOUS 8043 HAS SOUPS 8043 WITH SCORE 8070.174
AT ITER 2336 NEW BEST:: SOT 35278 SOS 27167 HAS SOPS 27167 HAS SOUS 8029 HAS SOUPS 8029 WITH SCORE 8056.167
AT ITER 2367 NEW BEST:: SOT 35240 SOS 27129 HAS SOPS 27129 HAS SOUS 8011 HAS SOUPS 8011 WITH SCORE 8038.129
AT ITER 2401 NEW BEST:: SOT 35248 SOS 27138 HAS SOPS 27138 HAS SOUS 7979 HAS SOUPS 7979 WITH SCORE 8006.138
AT ITER 2406 NEW BEST:: SOT 35239 SOS 27129 HAS SOPS 27129 HAS SOUS 7961 HAS SOUPS 7961 WITH SCORE 7988.129
AT ITER 2433 NEW BEST:: SOT 35237 SOS 27127 HAS SOPS 27127 HAS SOUS 7953 HAS SOUPS 7953 WITH SCORE 7980.127
AT ITER 2475 NEW BEST:: SOT 35231 SOS 27121 HAS SOPS 27121 HAS SOUS 7947 HAS SOUPS 7947 WITH SCORE 7974.121
AT ITER 2490 NEW BEST:: SOT 35227 SOS 27117 HAS SOPS 27117 HAS SOUS 7945 HAS SOUPS 7945 WITH SCORE 7972.117
AT ITER 2494 NEW BEST:: SOT 35226 SOS 27116 HAS SOPS 27116 HAS SOUS 7943 HAS SOUPS 7943 WITH SCORE 7970.116
AT ITER 2500 NEW BEST:: SOT 35220 SOS 27110 HAS SOPS 27110 HAS SOUS 7937 HAS SOUPS 7937 WITH SCORE 7964.11
AT ITER 2505 NEW BEST:: SOT 35184 SOS 27074 HAS SOPS 27074 HAS SOUS 7865 HAS SOUPS 7865 WITH SCORE 7892.074
AT ITER 2506 NEW BEST:: SOT 35143 SOS 27033 HAS SOPS 27033 HAS SOUS 7846 HAS SOUPS 7846 WITH SCORE 7873.033
AT ITER 2514 NEW BEST:: SOT 35142 SOS 27032 HAS SOPS 27032 HAS SOUS 7844 HAS SOUPS 7844 WITH SCORE 7871.032
AT ITER 2521 NEW BEST:: SOT 35063 SOS 26953 HAS SOPS 26953 HAS SOUS 7810 HAS SOUPS 7810 WITH SCORE 7836.953
AT ITER 2531 NEW BEST:: SOT 35049 SOS 26939 HAS SOPS 26939 HAS SOUS 7803 HAS SOUPS 7803 WITH SCORE 7829.939
AT ITER 2540 NEW BEST:: SOT 34940 SOS 26830 HAS SOPS 26830 HAS SOUS 7775 HAS SOUPS 7775 WITH SCORE 7801.83
AT ITER 2554 NEW BEST:: SOT 34935 SOS 26825 HAS SOPS 26825 HAS SOUS 7765 HAS SOUPS 7765 WITH SCORE 7791.825
AT ITER 2589 NEW BEST:: SOT 34924 SOS 26814 HAS SOPS 26814 HAS SOUS 7743 HAS SOUPS 7743 WITH SCORE 7769.814
AT ITER 2605 NEW BEST:: SOT 34932 SOS 26810 HAS SOPS 26810 HAS SOUS 7740 HAS SOUPS 7740 WITH SCORE 7766.81
AT ITER 2661 NEW BEST:: SOT 34934 SOS 26812 HAS SOPS 26812 HAS SOUS 7737 HAS SOUPS 7737 WITH SCORE 7763.812
AT ITER 2664 NEW BEST:: SOT 34933 SOS 26823 HAS SOPS 26823 HAS SOUS 7726 HAS SOUPS 7726 WITH SCORE 7752.823
AT ITER 2694 NEW BEST:: SOT 34928 SOS 26818 HAS SOPS 26818 HAS SOUS 7716 HAS SOUPS 7716 WITH SCORE 7742.818
AT ITER 2714 NEW BEST:: SOT 34927 SOS 26817 HAS SOPS 26817 HAS SOUS 7714 HAS SOUPS 7714 WITH SCORE 7740.817
AT ITER 2725 NEW BEST:: SOT 34921 SOS 26811 HAS SOPS 26811 HAS SOUS 7702 HAS SOUPS 7702 WITH SCORE 7728.811
AT ITER 2735 NEW BEST:: SOT 34893 SOS 26783 HAS SOPS 26783 HAS SOUS 7702 HAS SOUPS 7702 WITH SCORE 7728.783
AT ITER 2743 NEW BEST:: SOT 34895 SOS 26785 HAS SOPS 26785 HAS SOUS 7662 HAS SOUPS 7662 WITH SCORE 7688.785
AT ITER 2754 NEW BEST:: SOT 34895 SOS 27545 HAS SOPS 27545 HAS SOUS 7649 HAS SOUPS 7649 WITH SCORE 7676.545
AT ITER 2756 NEW BEST:: SOT 34892 SOS 27538 HAS SOPS 27538 HAS SOUS 7647 HAS SOUPS 7647 WITH SCORE 7674.538
AT ITER 2778 NEW BEST:: SOT 34885 SOS 27465 HAS SOPS 27465 HAS SOUS 7642 HAS SOUPS 7642 WITH SCORE 7669.465
AT ITER 2789 NEW BEST:: SOT 34882 SOS 27371 HAS SOPS 27371 HAS SOUS 7548 HAS SOUPS 7548 WITH SCORE 7575.371
AT ITER 2796 NEW BEST:: SOT 34862 SOS 27351 HAS SOPS 27351 HAS SOUS 7528 HAS SOUPS 7528 WITH SCORE 7555.351
AT ITER 2799 NEW BEST:: SOT 34839 SOS 27328 HAS SOPS 27328 HAS SOUS 7522 HAS SOUPS 7522 WITH SCORE 7549.328
AT ITER 2800 NEW BEST:: SOT 34882 SOS 27327 HAS SOPS 27327 HAS SOUS 7513 HAS SOUPS 7513 WITH SCORE 7540.327
AT ITER 2801 NEW BEST:: SOT 34855 SOS 26540 HAS SOPS 26540 HAS SOUS 7501 HAS SOUPS 7501 WITH SCORE 7527.54
AT ITER 2836 NEW BEST:: SOT 34853 SOS 26538 HAS SOPS 26538 HAS SOUS 7499 HAS SOUPS 7499 WITH SCORE 7525.538
AT ITER 2843 NEW BEST:: SOT 34849 SOS 26534 HAS SOPS 26534 HAS SOUS 7491 HAS SOUPS 7491 WITH SCORE 7517.534
AT ITER 2863 NEW BEST:: SOT 34913 SOS 26627 HAS SOPS 26627 HAS SOUS 7490 HAS SOUPS 7490 WITH SCORE 7516.627
AT ITER 2875 NEW BEST:: SOT 34909 SOS 26621 HAS SOPS 26621 HAS SOUS 7484 HAS SOUPS 7484 WITH SCORE 7510.621
AT ITER 2885 NEW BEST:: SOT 34906 SOS 26618 HAS SOPS 26618 HAS SOUS 7478 HAS SOUPS 7478 WITH SCORE 7504.618
AT ITER 2891 NEW BEST:: SOT 34902 SOS 26614 HAS SOPS 26614 HAS SOUS 7470 HAS SOUPS 7470 WITH SCORE 7496.614
AT ITER 2913 NEW BEST:: SOT 34902 SOS 26614 HAS SOPS 26614 HAS SOUS 7462 HAS SOUPS 7462 WITH SCORE 7488.614
AT ITER 2914 NEW BEST:: SOT 34880 SOS 26624 HAS SOPS 26624 HAS SOUS 7459 HAS SOUPS 7459 WITH SCORE 7485.624
AT ITER 2938 NEW BEST:: SOT 34863 SOS 26607 HAS SOPS 26607 HAS SOUS 7425 HAS SOUPS 7425 WITH SCORE 7451.607
AT ITER 2949 NEW BEST:: SOT 34787 SOS 26530 HAS SOPS 26530 HAS SOUS 7411 HAS SOUPS 7411 WITH SCORE 7437.53
AT ITER 2998 NEW BEST:: SOT 34787 SOS 26533 HAS SOPS 26533 HAS SOUS 7408 HAS SOUPS 7408 WITH SCORE 7434.533
AT ITER 3034 NEW BEST:: SOT 34781 SOS 26527 HAS SOPS 26527 HAS SOUS 7396 HAS SOUPS 7396 WITH SCORE 7422.527
AT ITER 3060 NEW BEST:: SOT 34782 SOS 26531 HAS SOPS 26531 HAS SOUS 7395 HAS SOUPS 7395 WITH SCORE 7421.531
AT ITER 3092 NEW BEST:: SOT 34772 SOS 26511 HAS SOPS 26511 HAS SOUS 7385 HAS SOUPS 7385 WITH SCORE 7411.511
AT ITER 3121 NEW BEST:: SOT 34770 SOS 26509 HAS SOPS 26509 HAS SOUS 7381 HAS SOUPS 7381 WITH SCORE 7407.509
AT ITER 3141 NEW BEST:: SOT 34772 SOS 26496 HAS SOPS 26496 HAS SOUS 7368 HAS SOUPS 7368 WITH SCORE 7394.496
AT ITER 3149 NEW BEST:: SOT 34759 SOS 26364 HAS SOPS 26364 HAS SOUS 7351 HAS SOUPS 7351 WITH SCORE 7377.364
AT ITER 3155 NEW BEST:: SOT 34733 SOS 26313 HAS SOPS 26313 HAS SOUS 7324 HAS SOUPS 7324 WITH SCORE 7350.313
AT ITER 3196 NEW BEST:: SOT 34726 SOS 26306 HAS SOPS 26306 HAS SOUS 7310 HAS SOUPS 7310 WITH SCORE 7336.306
AT ITER 3217 NEW BEST:: SOT 34703 SOS 26219 HAS SOPS 26219 HAS SOUS 7307 HAS SOUPS 7307 WITH SCORE 7333.219
AT ITER 3244 NEW BEST:: SOT 34698 SOS 26209 HAS SOPS 26209 HAS SOUS 7297 HAS SOUPS 7297 WITH SCORE 7323.209
AT ITER 3249 NEW BEST:: SOT 34698 SOS 26169 HAS SOPS 26169 HAS SOUS 7297 HAS SOUPS 7297 WITH SCORE 7323.169
AT ITER 3252 NEW BEST:: SOT 34679 SOS 26150 HAS SOPS 26150 HAS SOUS 7248 HAS SOUPS 7248 WITH SCORE 7274.15
AT ITER 3278 NEW BEST:: SOT 34663 SOS 26134 HAS SOPS 26134 HAS SOUS 7216 HAS SOUPS 7216 WITH SCORE 7242.134
AT ITER 3280 NEW BEST:: SOT 34635 SOS 26106 HAS SOPS 26106 HAS SOUS 7195 HAS SOUPS 7195 WITH SCORE 7221.106
AT ITER 3327 NEW BEST:: SOT 34630 SOS 26101 HAS SOPS 26101 HAS SOUS 7185 HAS SOUPS 7185 WITH SCORE 7211.101
AT ITER 3378 NEW BEST:: SOT 34508 SOS 25979 HAS SOPS 25979 HAS SOUS 7154 HAS SOUPS 7154 WITH SCORE 7179.979
AT ITER 3383 NEW BEST:: SOT 34466 SOS 25937 HAS SOPS 25937 HAS SOUS 7154 HAS SOUPS 7154 WITH SCORE 7179.937
AT ITER 3387 NEW BEST:: SOT 34465 SOS 25936 HAS SOPS 25936 HAS SOUS 7152 HAS SOUPS 7152 WITH SCORE 7177.936
AT ITER 3397 NEW BEST:: SOT 34464 SOS 25935 HAS SOPS 25935 HAS SOUS 7150 HAS SOUPS 7150 WITH SCORE 7175.935
AT ITER 3414 NEW BEST:: SOT 34434 SOS 25890 HAS SOPS 25890 HAS SOUS 7105 HAS SOUPS 7105 WITH SCORE 7130.89
AT ITER 3423 NEW BEST:: SOT 34427 SOS 25883 HAS SOPS 25883 HAS SOUS 7091 HAS SOUPS 7091 WITH SCORE 7116.883
AT ITER 3428 NEW BEST:: SOT 34420 SOS 25876 HAS SOPS 25876 HAS SOUS 7077 HAS SOUPS 7077 WITH SCORE 7102.876
AT ITER 3433 NEW BEST:: SOT 34429 SOS 25885 HAS SOPS 25885 HAS SOUS 7013 HAS SOUPS 7013 WITH SCORE 7038.885
AT ITER 3439 NEW BEST:: SOT 34275 SOS 25731 HAS SOPS 25731 HAS SOUS 6971 HAS SOUPS 6971 WITH SCORE 6996.731
AT ITER 3446 NEW BEST:: SOT 34271 SOS 25727 HAS SOPS 25727 HAS SOUS 6965 HAS SOUPS 6965 WITH SCORE 6990.727
AT ITER 3466 NEW BEST:: SOT 34350 SOS 25806 HAS SOPS 25806 HAS SOUS 6950 HAS SOUPS 6950 WITH SCORE 6975.806
AT ITER 3505 NEW BEST:: SOT 34347 SOS 25803 HAS SOPS 25803 HAS SOUS 6944 HAS SOUPS 6944 WITH SCORE 6969.803
AT ITER 3506 NEW BEST:: SOT 34340 SOS 25796 HAS SOPS 25796 HAS SOUS 6937 HAS SOUPS 6937 WITH SCORE 6962.796
AT ITER 3520 NEW BEST:: SOT 34323 SOS 25779 HAS SOPS 25779 HAS SOUS 6903 HAS SOUPS 6903 WITH SCORE 6928.779
AT ITER 3525 NEW BEST:: SOT 34321 SOS 25777 HAS SOPS 25777 HAS SOUS 6901 HAS SOUPS 6901 WITH SCORE 6926.777
AT ITER 3545 NEW BEST:: SOT 34320 SOS 25776 HAS SOPS 25776 HAS SOUS 6899 HAS SOUPS 6899 WITH SCORE 6924.776
AT ITER 3554 NEW BEST:: SOT 34258 SOS 25594 HAS SOPS 25594 HAS SOUS 6858 HAS SOUPS 6858 WITH SCORE 6883.594
AT ITER 3571 NEW BEST:: SOT 34194 SOS 25530 HAS SOPS 25530 HAS SOUS 6730 HAS SOUPS 6730 WITH SCORE 6755.53
AT ITER 3590 NEW BEST:: SOT 34197 SOS 25527 HAS SOPS 25527 HAS SOUS 6727 HAS SOUPS 6727 WITH SCORE 6752.527
AT ITER 3601 NEW BEST:: SOT 34170 SOS 25476 HAS SOPS 25476 HAS SOUS 6723 HAS SOUPS 6723 WITH SCORE 6748.476
AT ITER 3617 NEW BEST:: SOT 34186 SOS 25426 HAS SOPS 25426 HAS SOUS 6700 HAS SOUPS 6700 WITH SCORE 6725.426
AT ITER 3621 NEW BEST:: SOT 34194 SOS 25422 HAS SOPS 25422 HAS SOUS 6684 HAS SOUPS 6684 WITH SCORE 6709.422
AT ITER 3624 NEW BEST:: SOT 34192 SOS 25396 HAS SOPS 25396 HAS SOUS 6658 HAS SOUPS 6658 WITH SCORE 6683.396
AT ITER 3644 NEW BEST:: SOT 34192 SOS 25396 HAS SOPS 25396 HAS SOUS 6655 HAS SOUPS 6655 WITH SCORE 6680.396
AT ITER 3652 NEW BEST:: SOT 34191 SOS 25382 HAS SOPS 25382 HAS SOUS 6655 HAS SOUPS 6655 WITH SCORE 6680.382
AT ITER 3666 NEW BEST:: SOT 34189 SOS 25380 HAS SOPS 25380 HAS SOUS 6651 HAS SOUPS 6651 WITH SCORE 6676.38
AT ITER 3726 NEW BEST:: SOT 34186 SOS 25377 HAS SOPS 25377 HAS SOUS 6645 HAS SOUPS 6645 WITH SCORE 6670.377
AT ITER 3772 NEW BEST:: SOT 34186 SOS 25373 HAS SOPS 25373 HAS SOUS 6641 HAS SOUPS 6641 WITH SCORE 6666.373
AT ITER 3787 NEW BEST:: SOT 34184 SOS 25367 HAS SOPS 25367 HAS SOUS 6639 HAS SOUPS 6639 WITH SCORE 6664.367
AT ITER 3792 NEW BEST:: SOT 34178 SOS 25335 HAS SOPS 25335 HAS SOUS 6636 HAS SOUPS 6636 WITH SCORE 6661.335
AT ITER 3796 NEW BEST:: SOT 34158 SOS 25313 HAS SOPS 25313 HAS SOUS 6585 HAS SOUPS 6585 WITH SCORE 6610.313
AT ITER 3803 NEW BEST:: SOT 34156 SOS 25311 HAS SOPS 25311 HAS SOUS 6581 HAS SOUPS 6581 WITH SCORE 6606.311
AT ITER 3830 NEW BEST:: SOT 34145 SOS 25301 HAS SOPS 25301 HAS SOUS 6578 HAS SOUPS 6578 WITH SCORE 6603.301
AT ITER 3835 NEW BEST:: SOT 34139 SOS 25309 HAS SOPS 25309 HAS SOUS 6534 HAS SOUPS 6534 WITH SCORE 6559.309
AT ITER 3836 NEW BEST:: SOT 34138 SOS 25308 HAS SOPS 25308 HAS SOUS 6532 HAS SOUPS 6532 WITH SCORE 6557.308
AT ITER 3837 NEW BEST:: SOT 34132 SOS 25302 HAS SOPS 25302 HAS SOUS 6528 HAS SOUPS 6528 WITH SCORE 6553.302
AT ITER 3843 NEW BEST:: SOT 34121 SOS 25297 HAS SOPS 25297 HAS SOUS 6500 HAS SOUPS 6500 WITH SCORE 6525.297
AT ITER 3885 NEW BEST:: SOT 34095 SOS 25261 HAS SOPS 25261 HAS SOUS 6492 HAS SOUPS 6492 WITH SCORE 6517.261
AT ITER 3886 NEW BEST:: SOT 34000 SOS 25095 HAS SOPS 25095 HAS SOUS 6402 HAS SOUPS 6402 WITH SCORE 6427.095
AT ITER 3901 NEW BEST:: SOT 34000 SOS 25095 HAS SOPS 25095 HAS SOUS 6398 HAS SOUPS 6398 WITH SCORE 6423.095
AT ITER 3905 NEW BEST:: SOT 33997 SOS 25092 HAS SOPS 25092 HAS SOUS 6392 HAS SOUPS 6392 WITH SCORE 6417.092
AT ITER 3917 NEW BEST:: SOT 34001 SOS 25304 HAS SOPS 25304 HAS SOUS 6383 HAS SOUPS 6383 WITH SCORE 6408.304
AT ITER 3925 NEW BEST:: SOT 34002 SOS 25305 HAS SOPS 25305 HAS SOUS 6337 HAS SOUPS 6337 WITH SCORE 6362.305
AT ITER 3929 NEW BEST:: SOT 33999 SOS 25302 HAS SOPS 25302 HAS SOUS 6334 HAS SOUPS 6334 WITH SCORE 6359.302
AT ITER 3948 NEW BEST:: SOT 33987 SOS 25290 HAS SOPS 25290 HAS SOUS 6310 HAS SOUPS 6310 WITH SCORE 6335.29
AT ITER 3960 NEW BEST:: SOT 33995 SOS 25318 HAS SOPS 25318 HAS SOUS 6306 HAS SOUPS 6306 WITH SCORE 6331.318
AT ITER 3962 NEW BEST:: SOT 33990 SOS 25306 HAS SOPS 25306 HAS SOUS 6294 HAS SOUPS 6294 WITH SCORE 6319.306
AT ITER 4011 NEW BEST:: SOT 33989 SOS 25305 HAS SOPS 25305 HAS SOUS 6292 HAS SOUPS 6292 WITH SCORE 6317.305
AT ITER 4044 NEW BEST:: SOT 33985 SOS 25293 HAS SOPS 25293 HAS SOUS 6291 HAS SOUPS 6291 WITH SCORE 6316.293
AT ITER 4104 NEW BEST:: SOT 33981 SOS 25289 HAS SOPS 25289 HAS SOUS 6291 HAS SOUPS 6291 WITH SCORE 6316.289
AT ITER 4110 NEW BEST:: SOT 33974 SOS 25282 HAS SOPS 25282 HAS SOUS 6269 HAS SOUPS 6269 WITH SCORE 6294.282
AT ITER 4127 NEW BEST:: SOT 33918 SOS 25226 HAS SOPS 25226 HAS SOUS 6183 HAS SOUPS 6183 WITH SCORE 6208.226
AT ITER 4149 NEW BEST:: SOT 33916 SOS 25225 HAS SOPS 25225 HAS SOUS 6182 HAS SOUPS 6182 WITH SCORE 6207.225
AT ITER 4154 NEW BEST:: SOT 33915 SOS 25224 HAS SOPS 25224 HAS SOUS 6179 HAS SOUPS 6179 WITH SCORE 6204.224
AT ITER 4180 NEW BEST:: SOT 33915 SOS 25222 HAS SOPS 25222 HAS SOUS 6178 HAS SOUPS 6178 WITH SCORE 6203.222
AT ITER 4200 NEW BEST:: SOT 33915 SOS 25220 HAS SOPS 25220 HAS SOUS 6176 HAS SOUPS 6176 WITH SCORE 6201.22
AT ITER 4231 NEW BEST:: SOT 33913 SOS 25218 HAS SOPS 25218 HAS SOUS 6172 HAS SOUPS 6172 WITH SCORE 6197.218
AT ITER 4255 NEW BEST:: SOT 33899 SOS 25204 HAS SOPS 25204 HAS SOUS 6158 HAS SOUPS 6158 WITH SCORE 6183.204
AT ITER 4286 NEW BEST:: SOT 33902 SOS 25207 HAS SOPS 25207 HAS SOUS 6150 HAS SOUPS 6150 WITH SCORE 6175.207
AT ITER 4305 NEW BEST:: SOT 33891 SOS 25196 HAS SOPS 25196 HAS SOUS 6132 HAS SOUPS 6132 WITH SCORE 6157.196
AT ITER 4321 NEW BEST:: SOT 33906 SOS 25211 HAS SOPS 25211 HAS SOUS 6119 HAS SOUPS 6119 WITH SCORE 6144.211
AT ITER 4330 NEW BEST:: SOT 33906 SOS 25207 HAS SOPS 25207 HAS SOUS 6117 HAS SOUPS 6117 WITH SCORE 6142.207
AT ITER 4340 NEW BEST:: SOT 33904 SOS 25205 HAS SOPS 25205 HAS SOUS 6113 HAS SOUPS 6113 WITH SCORE 6138.205
AT ITER 4352 NEW BEST:: SOT 33901 SOS 25202 HAS SOPS 25202 HAS SOUS 6110 HAS SOUPS 6110 WITH SCORE 6135.202
AT ITER 4378 NEW BEST:: SOT 33913 SOS 25214 HAS SOPS 25214 HAS SOUS 6102 HAS SOUPS 6102 WITH SCORE 6127.214
AT ITER 4431 NEW BEST:: SOT 33899 SOS 25186 HAS SOPS 25186 HAS SOUS 6088 HAS SOUPS 6088 WITH SCORE 6113.186
AT ITER 4452 NEW BEST:: SOT 33898 SOS 25185 HAS SOPS 25185 HAS SOUS 6086 HAS SOUPS 6086 WITH SCORE 6111.185
AT ITER 4465 NEW BEST:: SOT 33888 SOS 25186 HAS SOPS 25186 HAS SOUS 6085 HAS SOUPS 6085 WITH SCORE 6110.186
AT ITER 4511 NEW BEST:: SOT 33883 SOS 24701 HAS SOPS 24701 HAS SOUS 6085 HAS SOUPS 6085 WITH SCORE 6109.701
AT ITER 4547 NEW BEST:: SOT 33873 SOS 24691 HAS SOPS 24691 HAS SOUS 6080 HAS SOUPS 6080 WITH SCORE 6104.691
AT ITER 4559 NEW BEST:: SOT 33868 SOS 24681 HAS SOPS 24681 HAS SOUS 6075 HAS SOUPS 6075 WITH SCORE 6099.681
AT ITER 4569 NEW BEST:: SOT 33855 SOS 24668 HAS SOPS 24668 HAS SOUS 6057 HAS SOUPS 6057 WITH SCORE 6081.668
AT ITER 4575 NEW BEST:: SOT 33855 SOS 24668 HAS SOPS 24668 HAS SOUS 6053 HAS SOUPS 6053 WITH SCORE 6077.668
AT ITER 4590 NEW BEST:: SOT 33853 SOS 24666 HAS SOPS 24666 HAS SOUS 6049 HAS SOUPS 6049 WITH SCORE 6073.666
AT ITER 4612 NEW BEST:: SOT 33840 SOS 24653 HAS SOPS 24653 HAS SOUS 6043 HAS SOUPS 6043 WITH SCORE 6067.653
AT ITER 4632 NEW BEST:: SOT 33838 SOS 24651 HAS SOPS 24651 HAS SOUS 6041 HAS SOUPS 6041 WITH SCORE 6065.651
AT ITER 4633 NEW BEST:: SOT 33836 SOS 24649 HAS SOPS 24649 HAS SOUS 6037 HAS SOUPS 6037 WITH SCORE 6061.649
AT ITER 4727 NEW BEST:: SOT 33835 SOS 24648 HAS SOPS 24648 HAS SOUS 6035 HAS SOUPS 6035 WITH SCORE 6059.648
AT ITER 4769 NEW BEST:: SOT 33833 SOS 24646 HAS SOPS 24646 HAS SOUS 6024 HAS SOUPS 6024 WITH SCORE 6048.646
AT ITER 4782 NEW BEST:: SOT 33832 SOS 24645 HAS SOPS 24645 HAS SOUS 6022 HAS SOUPS 6022 WITH SCORE 6046.645
AT ITER 4784 NEW BEST:: SOT 33807 SOS 24605 HAS SOPS 24605 HAS SOUS 6001 HAS SOUPS 6001 WITH SCORE 6025.605
AT ITER 4805 NEW BEST:: SOT 33815 SOS 24613 HAS SOPS 24613 HAS SOUS 5997 HAS SOUPS 5997 WITH SCORE 6021.613
AT ITER 4815 NEW BEST:: SOT 33817 SOS 24605 HAS SOPS 24605 HAS SOUS 5997 HAS SOUPS 5997 WITH SCORE 6021.605
AT ITER 4816 NEW BEST:: SOT 33815 SOS 24603 HAS SOPS 24603 HAS SOUS 5995 HAS SOUPS 5995 WITH SCORE 6019.603
AT ITER 4872 NEW BEST:: SOT 33823 SOS 24599 HAS SOPS 24599 HAS SOUS 5993 HAS SOUPS 5993 WITH SCORE 6017.599
AT ITER 4899 NEW BEST:: SOT 33820 SOS 24596 HAS SOPS 24596 HAS SOUS 5987 HAS SOUPS 5987 WITH SCORE 6011.596
AT ITER 4900 NEW BEST:: SOT 33817 SOS 24593 HAS SOPS 24593 HAS SOUS 5981 HAS SOUPS 5981 WITH SCORE 6005.593
AT ITER 4903 NEW BEST:: SOT 33839 SOS 24588 HAS SOPS 24588 HAS SOUS 5976 HAS SOUPS 5976 WITH SCORE 6000.588
AT ITER 4921 NEW BEST:: SOT 33827 SOS 24579 HAS SOPS 24579 HAS SOUS 5969 HAS SOUPS 5969 WITH SCORE 5993.579
AT ITER 4975 NEW BEST:: SOT 33825 SOS 24577 HAS SOPS 24577 HAS SOUS 5965 HAS SOUPS 5965 WITH SCORE 5989.577
AT ITER 4994 NEW BEST:: SOT 33835 SOS 24598 HAS SOPS 24598 HAS SOUS 5959 HAS SOUPS 5959 WITH SCORE 5983.598
AT ITER 5005 NEW BEST:: SOT 33832 SOS 24589 HAS SOPS 24589 HAS SOUS 5959 HAS SOUPS 5959 WITH SCORE 5983.589
AT ITER 5021 NEW BEST:: SOT 33827 SOS 24584 HAS SOPS 24584 HAS SOUS 5954 HAS SOUPS 5954 WITH SCORE 5978.584
AT ITER 5086 NEW BEST:: SOT 33826 SOS 24583 HAS SOPS 24583 HAS SOUS 5923 HAS SOUPS 5923 WITH SCORE 5947.583
AT ITER 5112 NEW BEST:: SOT 33823 SOS 24580 HAS SOPS 24580 HAS SOUS 5921 HAS SOUPS 5921 WITH SCORE 5945.58
AT ITER 5130 NEW BEST:: SOT 33823 SOS 24579 HAS SOPS 24579 HAS SOUS 5920 HAS SOUPS 5920 WITH SCORE 5944.579
AT ITER 5145 NEW BEST:: SOT 33821 SOS 24571 HAS SOPS 24571 HAS SOUS 5918 HAS SOUPS 5918 WITH SCORE 5942.571
AT ITER 5164 NEW BEST:: SOT 33816 SOS 24562 HAS SOPS 24562 HAS SOUS 5912 HAS SOUPS 5912 WITH SCORE 5936.562
AT ITER 5215 NEW BEST:: SOT 33813 SOS 24559 HAS SOPS 24559 HAS SOUS 5906 HAS SOUPS 5906 WITH SCORE 5930.559
AT ITER 5231 NEW BEST:: SOT 33811 SOS 24557 HAS SOPS 24557 HAS SOUS 5906 HAS SOUPS 5906 WITH SCORE 5930.557
AT ITER 5292 NEW BEST:: SOT 33811 SOS 24552 HAS SOPS 24552 HAS SOUS 5903 HAS SOUPS 5903 WITH SCORE 5927.552
AT ITER 5433 NEW BEST:: SOT 33804 SOS 24538 HAS SOPS 24538 HAS SOUS 5899 HAS SOUPS 5899 WITH SCORE 5923.538
AT ITER 5438 NEW BEST:: SOT 33771 SOS 24505 HAS SOPS 24505 HAS SOUS 5887 HAS SOUPS 5887 WITH SCORE 5911.505
AT ITER 5495 NEW BEST:: SOT 33765 SOS 24493 HAS SOPS 24493 HAS SOUS 5881 HAS SOUPS 5881 WITH SCORE 5905.493
AT ITER 5510 NEW BEST:: SOT 33729 SOS 24439 HAS SOPS 24439 HAS SOUS 5868 HAS SOUPS 5868 WITH SCORE 5892.439
AT ITER 5599 NEW BEST:: SOT 33725 SOS 24427 HAS SOPS 24427 HAS SOUS 5868 HAS SOUPS 5868 WITH SCORE 5892.427
AT ITER 5654 NEW BEST:: SOT 33720 SOS 24422 HAS SOPS 24422 HAS SOUS 5865 HAS SOUPS 5865 WITH SCORE 5889.422
AT ITER 5912 NEW BEST:: SOT 33715 SOS 24417 HAS SOPS 24417 HAS SOUS 5860 HAS SOUPS 5860 WITH SCORE 5884.417
AT ITER 5918 NEW BEST:: SOT 33715 SOS 24417 HAS SOPS 24417 HAS SOUS 5859 HAS SOUPS 5859 WITH SCORE 5883.417
AT ITER 5928 NEW BEST:: SOT 33721 SOS 24423 HAS SOPS 24423 HAS SOUS 5858 HAS SOUPS 5858 WITH SCORE 5882.423
AT ITER 5953 NEW BEST:: SOT 33720 SOS 24422 HAS SOPS 24422 HAS SOUS 5857 HAS SOUPS 5857 WITH SCORE 5881.422
AT ITER 5983 NEW BEST:: SOT 33718 SOS 24422 HAS SOPS 24422 HAS SOUS 5856 HAS SOUPS 5856 WITH SCORE 5880.422
AT ITER 5985 NEW BEST:: SOT 33690 SOS 24366 HAS SOPS 24366 HAS SOUS 5826 HAS SOUPS 5826 WITH SCORE 5850.366
AT ITER 6035 NEW BEST:: SOT 33637 SOS 24325 HAS SOPS 24325 HAS SOUS 5813 HAS SOUPS 5813 WITH SCORE 5837.325
AT ITER 6044 NEW BEST:: SOT 33639 SOS 24319 HAS SOPS 24319 HAS SOUS 5802 HAS SOUPS 5802 WITH SCORE 5826.319
AT ITER 6136 NEW BEST:: SOT 33638 SOS 24318 HAS SOPS 24318 HAS SOUS 5800 HAS SOUPS 5800 WITH SCORE 5824.318
AT ITER 6147 NEW BEST:: SOT 33637 SOS 24317 HAS SOPS 24317 HAS SOUS 5798 HAS SOUPS 5798 WITH SCORE 5822.317
AT ITER 6179 NEW BEST:: SOT 33636 SOS 24316 HAS SOPS 24316 HAS SOUS 5796 HAS SOUPS 5796 WITH SCORE 5820.316
AT ITER 6201 NEW BEST:: SOT 33635 SOS 24320 HAS SOPS 24320 HAS SOUS 5765 HAS SOUPS 5765 WITH SCORE 5789.32
AT ITER 6237 NEW BEST:: SOT 33635 SOS 24320 HAS SOPS 24320 HAS SOUS 5757 HAS SOUPS 5757 WITH SCORE 5781.32
AT ITER 6313 NEW BEST:: SOT 33620 SOS 24305 HAS SOPS 24305 HAS SOUS 5742 HAS SOUPS 5742 WITH SCORE 5766.305
AT ITER 6333 NEW BEST:: SOT 33619 SOS 24304 HAS SOPS 24304 HAS SOUS 5740 HAS SOUPS 5740 WITH SCORE 5764.304
AT ITER 6346 NEW BEST:: SOT 33619 SOS 24302 HAS SOPS 24302 HAS SOUS 5738 HAS SOUPS 5738 WITH SCORE 5762.302
AT ITER 6375 NEW BEST:: SOT 33612 SOS 24289 HAS SOPS 24289 HAS SOUS 5728 HAS SOUPS 5728 WITH SCORE 5752.289
AT ITER 6412 NEW BEST:: SOT 33599 SOS 24276 HAS SOPS 24276 HAS SOUS 5724 HAS SOUPS 5724 WITH SCORE 5748.276
AT ITER 6540 NEW BEST:: SOT 33599 SOS 24266 HAS SOPS 24266 HAS SOUS 5714 HAS SOUPS 5714 WITH SCORE 5738.266
AT ITER 6588 NEW BEST:: SOT 33599 SOS 24257 HAS SOPS 24257 HAS SOUS 5705 HAS SOUPS 5705 WITH SCORE 5729.257
AT ITER 6645 NEW BEST:: SOT 33592 SOS 24250 HAS SOPS 24250 HAS SOUS 5691 HAS SOUPS 5691 WITH SCORE 5715.25
AT ITER 6696 NEW BEST:: SOT 33589 SOS 24247 HAS SOPS 24247 HAS SOUS 5685 HAS SOUPS 5685 WITH SCORE 5709.247
AT ITER 6741 NEW BEST:: SOT 33583 SOS 24238 HAS SOPS 24238 HAS SOUS 5678 HAS SOUPS 5678 WITH SCORE 5702.238
AT ITER 6843 NEW BEST:: SOT 33582 SOS 24237 HAS SOPS 24237 HAS SOUS 5676 HAS SOUPS 5676 WITH SCORE 5700.237
AT ITER 6873 NEW BEST:: SOT 33580 SOS 24235 HAS SOPS 24235 HAS SOUS 5676 HAS SOUPS 5676 WITH SCORE 5700.235
AT ITER 6874 NEW BEST:: SOT 33568 SOS 24223 HAS SOPS 24223 HAS SOUS 5652 HAS SOUPS 5652 WITH SCORE 5676.223
AT ITER 6882 NEW BEST:: SOT 33563 SOS 24218 HAS SOPS 24218 HAS SOUS 5642 HAS SOUPS 5642 WITH SCORE 5666.218
AT ITER 6901 NEW BEST:: SOT 33562 SOS 24204 HAS SOPS 24204 HAS SOUS 5628 HAS SOUPS 5628 WITH SCORE 5652.204
AT ITER 6915 NEW BEST:: SOT 33548 SOS 24190 HAS SOPS 24190 HAS SOUS 5624 HAS SOUPS 5624 WITH SCORE 5648.19
AT ITER 6921 NEW BEST:: SOT 33549 SOS 24185 HAS SOPS 24185 HAS SOUS 5607 HAS SOUPS 5607 WITH SCORE 5631.185
AT ITER 6925 NEW BEST:: SOT 33549 SOS 24173 HAS SOPS 24173 HAS SOUS 5595 HAS SOUPS 5595 WITH SCORE 5619.173
AT ITER 6942 NEW BEST:: SOT 33549 SOS 24157 HAS SOPS 24157 HAS SOUS 5587 HAS SOUPS 5587 WITH SCORE 5611.157
AT ITER 6977 NEW BEST:: SOT 33548 SOS 24012 HAS SOPS 24012 HAS SOUS 5578 HAS SOUPS 5578 WITH SCORE 5602.012
AT ITER 6983 NEW BEST:: SOT 33546 SOS 24010 HAS SOPS 24010 HAS SOUS 5578 HAS SOUPS 5578 WITH SCORE 5602.01
AT ITER 6986 NEW BEST:: SOT 33545 SOS 24011 HAS SOPS 24011 HAS SOUS 5573 HAS SOUPS 5573 WITH SCORE 5597.011
AT ITER 7018 NEW BEST:: SOT 33550 SOS 24028 HAS SOPS 24028 HAS SOUS 5572 HAS SOUPS 5572 WITH SCORE 5596.028
AT ITER 7030 NEW BEST:: SOT 33532 SOS 24010 HAS SOPS 24010 HAS SOUS 5554 HAS SOUPS 5554 WITH SCORE 5578.01
AT ITER 7043 NEW BEST:: SOT 33532 SOS 24010 HAS SOPS 24010 HAS SOUS 5545 HAS SOUPS 5545 WITH SCORE 5569.01
AT ITER 7091 NEW BEST:: SOT 33529 SOS 24007 HAS SOPS 24007 HAS SOUS 5539 HAS SOUPS 5539 WITH SCORE 5563.007
AT ITER 7147 NEW BEST:: SOT 33527 SOS 24005 HAS SOPS 24005 HAS SOUS 5535 HAS SOUPS 5535 WITH SCORE 5559.005
AT ITER 7152 NEW BEST:: SOT 33502 SOS 23957 HAS SOPS 23957 HAS SOUS 5508 HAS SOUPS 5508 WITH SCORE 5531.957
AT ITER 7310 NEW BEST:: SOT 33507 SOS 23962 HAS SOPS 23962 HAS SOUS 5506 HAS SOUPS 5506 WITH SCORE 5529.962
AT ITER 7325 NEW BEST:: SOT 33507 SOS 23954 HAS SOPS 23954 HAS SOUS 5498 HAS SOUPS 5498 WITH SCORE 5521.954
AT ITER 7455 NEW BEST:: SOT 33498 SOS 23945 HAS SOPS 23945 HAS SOUS 5498 HAS SOUPS 5498 WITH SCORE 5521.945
AT ITER 7547 NEW BEST:: SOT 33487 SOS 23943 HAS SOPS 23943 HAS SOUS 5496 HAS SOUPS 5496 WITH SCORE 5519.943
AT ITER 7588 NEW BEST:: SOT 33479 SOS 23935 HAS SOPS 23935 HAS SOUS 5494 HAS SOUPS 5494 WITH SCORE 5517.935
AT ITER 7606 NEW BEST:: SOT 33477 SOS 23933 HAS SOPS 23933 HAS SOUS 5490 HAS SOUPS 5490 WITH SCORE 5513.933
AT ITER 7694 NEW BEST:: SOT 33475 SOS 23931 HAS SOPS 23931 HAS SOUS 5490 HAS SOUPS 5490 WITH SCORE 5513.931
AT ITER 7757 NEW BEST:: SOT 33472 SOS 23928 HAS SOPS 23928 HAS SOUS 5490 HAS SOUPS 5490 WITH SCORE 5513.928
AT ITER 7809 NEW BEST:: SOT 33471 SOS 23927 HAS SOPS 23927 HAS SOUS 5488 HAS SOUPS 5488 WITH SCORE 5511.927
AT ITER 7860 NEW BEST:: SOT 33466 SOS 23912 HAS SOPS 23912 HAS SOUS 5485 HAS SOUPS 5485 WITH SCORE 5508.912
AT ITER 7868 NEW BEST:: SOT 33460 SOS 23890 HAS SOPS 23890 HAS SOUS 5483 HAS SOUPS 5483 WITH SCORE 5506.89
AT ITER 7989 NEW BEST:: SOT 33445 SOS 23875 HAS SOPS 23875 HAS SOUS 5453 HAS SOUPS 5453 WITH SCORE 5476.875
AT ITER 8036 NEW BEST:: SOT 33444 SOS 23880 HAS SOPS 23880 HAS SOUS 5445 HAS SOUPS 5445 WITH SCORE 5468.88
AT ITER 8100 NEW BEST:: SOT 33443 SOS 23879 HAS SOPS 23879 HAS SOUS 5443 HAS SOUPS 5443 WITH SCORE 5466.879
AT ITER 8139 NEW BEST:: SOT 33438 SOS 23874 HAS SOPS 23874 HAS SOUS 5433 HAS SOUPS 5433 WITH SCORE 5456.874
AT ITER 8161 NEW BEST:: SOT 33428 SOS 23864 HAS SOPS 23864 HAS SOUS 5413 HAS SOUPS 5413 WITH SCORE 5436.864
AT ITER 8177 NEW BEST:: SOT 33427 SOS 23863 HAS SOPS 23863 HAS SOUS 5411 HAS SOUPS 5411 WITH SCORE 5434.863
AT ITER 8196 NEW BEST:: SOT 33427 SOS 23860 HAS SOPS 23860 HAS SOUS 5411 HAS SOUPS 5411 WITH SCORE 5434.86
AT ITER 8197 NEW BEST:: SOT 33425 SOS 23858 HAS SOPS 23858 HAS SOUS 5407 HAS SOUPS 5407 WITH SCORE 5430.858
AT ITER 8218 NEW BEST:: SOT 33403 SOS 23836 HAS SOPS 23836 HAS SOUS 5363 HAS SOUPS 5363 WITH SCORE 5386.836
AT ITER 8228 NEW BEST:: SOT 33403 SOS 23850 HAS SOPS 23850 HAS SOUS 5349 HAS SOUPS 5349 WITH SCORE 5372.85
AT ITER 8341 NEW BEST:: SOT 33393 SOS 23840 HAS SOPS 23840 HAS SOUS 5339 HAS SOUPS 5339 WITH SCORE 5362.84
AT ITER 8463 NEW BEST:: SOT 33390 SOS 23837 HAS SOPS 23837 HAS SOUS 5336 HAS SOUPS 5336 WITH SCORE 5359.837
AT ITER 8467 NEW BEST:: SOT 33388 SOS 23835 HAS SOPS 23835 HAS SOUS 5332 HAS SOUPS 5332 WITH SCORE 5355.835
AT ITER 8519 NEW BEST:: SOT 33386 SOS 23833 HAS SOPS 23833 HAS SOUS 5328 HAS SOUPS 5328 WITH SCORE 5351.833
AT ITER 8552 NEW BEST:: SOT 33386 SOS 23792 HAS SOPS 23792 HAS SOUS 5325 HAS SOUPS 5325 WITH SCORE 5348.792
AT ITER 8583 NEW BEST:: SOT 33381 SOS 23787 HAS SOPS 23787 HAS SOUS 5320 HAS SOUPS 5320 WITH SCORE 5343.787
AT ITER 8625 NEW BEST:: SOT 33379 SOS 23785 HAS SOPS 23785 HAS SOUS 5316 HAS SOUPS 5316 WITH SCORE 5339.785
AT ITER 8630 NEW BEST:: SOT 33378 SOS 23784 HAS SOPS 23784 HAS SOUS 5316 HAS SOUPS 5316 WITH SCORE 5339.784
AT ITER 8635 NEW BEST:: SOT 33381 SOS 23783 HAS SOPS 23783 HAS SOUS 5315 HAS SOUPS 5315 WITH SCORE 5338.783
AT ITER 8695 NEW BEST:: SOT 33366 SOS 23751 HAS SOPS 23751 HAS SOUS 5312 HAS SOUPS 5312 WITH SCORE 5335.751
AT ITER 8708 NEW BEST:: SOT 33363 SOS 23748 HAS SOPS 23748 HAS SOUS 5309 HAS SOUPS 5309 WITH SCORE 5332.748
AT ITER 8710 NEW BEST:: SOT 33363 SOS 23746 HAS SOPS 23746 HAS SOUS 5309 HAS SOUPS 5309 WITH SCORE 5332.746
AT ITER 8789 NEW BEST:: SOT 33361 SOS 23744 HAS SOPS 23744 HAS SOUS 5305 HAS SOUPS 5305 WITH SCORE 5328.744
AT ITER 8816 NEW BEST:: SOT 33365 SOS 23740 HAS SOPS 23740 HAS SOUS 5301 HAS SOUPS 5301 WITH SCORE 5324.74
AT ITER 8848 NEW BEST:: SOT 33365 SOS 23744 HAS SOPS 23744 HAS SOUS 5299 HAS SOUPS 5299 WITH SCORE 5322.744
AT ITER 9004 NEW BEST:: SOT 33365 SOS 23744 HAS SOPS 23744 HAS SOUS 5294 HAS SOUPS 5294 WITH SCORE 5317.744
AT ITER 9029 NEW BEST:: SOT 33362 SOS 23741 HAS SOPS 23741 HAS SOUS 5288 HAS SOUPS 5288 WITH SCORE 5311.741
AT ITER 9070 NEW BEST:: SOT 33359 SOS 23738 HAS SOPS 23738 HAS SOUS 5285 HAS SOUPS 5285 WITH SCORE 5308.738
AT ITER 9101 NEW BEST:: SOT 33358 SOS 23737 HAS SOPS 23737 HAS SOUS 5283 HAS SOUPS 5283 WITH SCORE 5306.737
AT ITER 9210 NEW BEST:: SOT 33354 SOS 23737 HAS SOPS 23737 HAS SOUS 5275 HAS SOUPS 5275 WITH SCORE 5298.737
AT ITER 9249 NEW BEST:: SOT 33351 SOS 23734 HAS SOPS 23734 HAS SOUS 5269 HAS SOUPS 5269 WITH SCORE 5292.734
AT ITER 9318 NEW BEST:: SOT 33344 SOS 23727 HAS SOPS 23727 HAS SOUS 5255 HAS SOUPS 5255 WITH SCORE 5278.727
AT ITER 9344 NEW BEST:: SOT 33337 SOS 23720 HAS SOPS 23720 HAS SOUS 5255 HAS SOUPS 5255 WITH SCORE 5278.72
AT ITER 9370 NEW BEST:: SOT 33335 SOS 23718 HAS SOPS 23718 HAS SOUS 5251 HAS SOUPS 5251 WITH SCORE 5274.718
AT ITER 9385 NEW BEST:: SOT 33323 SOS 23706 HAS SOPS 23706 HAS SOUS 5239 HAS SOUPS 5239 WITH SCORE 5262.706
AT ITER 9411 NEW BEST:: SOT 33322 SOS 23705 HAS SOPS 23705 HAS SOUS 5237 HAS SOUPS 5237 WITH SCORE 5260.705
AT ITER 9435 NEW BEST:: SOT 33319 SOS 23700 HAS SOPS 23700 HAS SOUS 5232 HAS SOUPS 5232 WITH SCORE 5255.7
AT ITER 9519 NEW BEST:: SOT 33339 SOS 23729 HAS SOPS 23729 HAS SOUS 5206 HAS SOUPS 5206 WITH SCORE 5229.729
AT ITER 9594 NEW BEST:: SOT 33337 SOS 23727 HAS SOPS 23727 HAS SOUS 5204 HAS SOUPS 5204 WITH SCORE 5227.727
AT ITER 9599 NEW BEST:: SOT 33337 SOS 23612 HAS SOPS 23612 HAS SOUS 5203 HAS SOUPS 5203 WITH SCORE 5226.612
AT ITER 9622 NEW BEST:: SOT 33302 SOS 23577 HAS SOPS 23577 HAS SOUS 5198 HAS SOUPS 5198 WITH SCORE 5221.577
AT ITER 9652 NEW BEST:: SOT 33301 SOS 23576 HAS SOPS 23576 HAS SOUS 5197 HAS SOUPS 5197 WITH SCORE 5220.576
AT ITER 9693 NEW BEST:: SOT 33298 SOS 23573 HAS SOPS 23573 HAS SOUS 5191 HAS SOUPS 5191 WITH SCORE 5214.573
AT ITER 9700 NEW BEST:: SOT 33296 SOS 23571 HAS SOPS 23571 HAS SOUS 5187 HAS SOUPS 5187 WITH SCORE 5210.571
AT ITER 9746 NEW BEST:: SOT 33295 SOS 23569 HAS SOPS 23569 HAS SOUS 5185 HAS SOUPS 5185 WITH SCORE 5208.569
AT ITER 9751 NEW BEST:: SOT 33290 SOS 23564 HAS SOPS 23564 HAS SOUS 5184 HAS SOUPS 5184 WITH SCORE 5207.564
AT ITER 9954 NEW BEST:: SOT 33287 SOS 23561 HAS SOPS 23561 HAS SOUS 5178 HAS SOUPS 5178 WITH SCORE 5201.561
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 6352928 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16154232 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is DES-PT-40a, 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 r099-tall-167814472400464"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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