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.r195-smll-167840342400440.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 HirschbergSinclair-PT-10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r195-smll-167840342400440
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 624K
-rw-r--r-- 1 mcc users 8.1K Feb 26 02:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 60K Feb 26 02:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.5K Feb 26 02:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 26 02:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.8K Feb 25 16:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:15 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:15 LTLFireability.xml
-rw-r--r-- 1 mcc users 21K Feb 26 02:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 164K Feb 26 02:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 02:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 59K Feb 26 02:16 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 16:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.1K Feb 25 16:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 136K 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 1678521690578

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=HirschbergSinclair-PT-10
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HirschbergSinclair (PT), instance 10
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 260 places, 236 transitions, 721 arcs.
AT ITER 0 NEW BEST:: SOT 45393 SOS 22764 HAS SOPS 22764 HAS SOUS 22630 HAS SOUPS 22630 WITH SCORE 22652.764
AT ITER 2 NEW BEST:: SOT 45393 SOS 22726 HAS SOPS 22726 HAS SOUS 22592 HAS SOUPS 22592 WITH SCORE 22614.726
AT ITER 9 NEW BEST:: SOT 45393 SOS 22703 HAS SOPS 22703 HAS SOUS 22569 HAS SOUPS 22569 WITH SCORE 22591.703
AT ITER 16 NEW BEST:: SOT 44591 SOS 23015 HAS SOPS 23015 HAS SOUS 21919 HAS SOUPS 21919 WITH SCORE 21942.015
AT ITER 18 NEW BEST:: SOT 44607 SOS 22985 HAS SOPS 22985 HAS SOUS 21909 HAS SOUPS 21909 WITH SCORE 21931.985
AT ITER 19 NEW BEST:: SOT 44607 SOS 22947 HAS SOPS 22947 HAS SOUS 21909 HAS SOUPS 21909 WITH SCORE 21931.947
AT ITER 20 NEW BEST:: SOT 44607 SOS 22806 HAS SOPS 22806 HAS SOUS 21768 HAS SOUPS 21768 WITH SCORE 21790.806
AT ITER 25 NEW BEST:: SOT 43392 SOS 21802 HAS SOPS 21802 HAS SOUS 20570 HAS SOUPS 20570 WITH SCORE 20591.802
AT ITER 28 NEW BEST:: SOT 43391 SOS 21799 HAS SOPS 21799 HAS SOUS 20569 HAS SOUPS 20569 WITH SCORE 20590.799
AT ITER 31 NEW BEST:: SOT 43391 SOS 21695 HAS SOPS 21695 HAS SOUS 20465 HAS SOUPS 20465 WITH SCORE 20486.695
AT ITER 35 NEW BEST:: SOT 43087 SOS 22034 HAS SOPS 22034 HAS SOUS 20260 HAS SOUPS 20260 WITH SCORE 20282.034
AT ITER 36 NEW BEST:: SOT 43025 SOS 21898 HAS SOPS 21898 HAS SOUS 20124 HAS SOUPS 20124 WITH SCORE 20145.898
AT ITER 37 NEW BEST:: SOT 42982 SOS 21812 HAS SOPS 21812 HAS SOUS 20038 HAS SOUPS 20038 WITH SCORE 20059.812
AT ITER 39 NEW BEST:: SOT 41989 SOS 20905 HAS SOPS 20905 HAS SOUS 19033 HAS SOUPS 19033 WITH SCORE 19053.905
AT ITER 47 NEW BEST:: SOT 41983 SOS 20893 HAS SOPS 20893 HAS SOUS 19027 HAS SOUPS 19027 WITH SCORE 19047.893
AT ITER 52 NEW BEST:: SOT 41956 SOS 20813 HAS SOPS 20813 HAS SOUS 18974 HAS SOUPS 18974 WITH SCORE 18994.813
AT ITER 60 NEW BEST:: SOT 40741 SOS 20735 HAS SOPS 20735 HAS SOUS 17828 HAS SOUPS 17828 WITH SCORE 17848.735
AT ITER 62 NEW BEST:: SOT 40719 SOS 20713 HAS SOPS 20713 HAS SOUS 17806 HAS SOUPS 17806 WITH SCORE 17826.713
AT ITER 65 NEW BEST:: SOT 40632 SOS 21120 HAS SOPS 21120 HAS SOUS 17780 HAS SOUPS 17780 WITH SCORE 17801.12
AT ITER 78 NEW BEST:: SOT 40601 SOS 21027 HAS SOPS 21027 HAS SOUS 17687 HAS SOUPS 17687 WITH SCORE 17708.027
AT ITER 79 NEW BEST:: SOT 40462 SOS 20819 HAS SOPS 20819 HAS SOUS 17494 HAS SOUPS 17494 WITH SCORE 17514.819
AT ITER 80 NEW BEST:: SOT 40462 SOS 20753 HAS SOPS 20753 HAS SOUS 17428 HAS SOUPS 17428 WITH SCORE 17448.753
AT ITER 87 NEW BEST:: SOT 40448 SOS 20739 HAS SOPS 20739 HAS SOUS 17395 HAS SOUPS 17395 WITH SCORE 17415.739
AT ITER 108 NEW BEST:: SOT 40378 SOS 20577 HAS SOPS 20577 HAS SOUS 17197 HAS SOUPS 17197 WITH SCORE 17217.577
AT ITER 109 NEW BEST:: SOT 40058 SOS 21001 HAS SOPS 21001 HAS SOUS 16972 HAS SOUPS 16972 WITH SCORE 16993.001
AT ITER 110 NEW BEST:: SOT 40058 SOS 21026 HAS SOPS 21026 HAS SOUS 16947 HAS SOUPS 16947 WITH SCORE 16968.026
AT ITER 129 NEW BEST:: SOT 40026 SOS 20886 HAS SOPS 20886 HAS SOUS 16943 HAS SOUPS 16943 WITH SCORE 16963.886
AT ITER 130 NEW BEST:: SOT 39997 SOS 20828 HAS SOPS 20828 HAS SOUS 16854 HAS SOUPS 16854 WITH SCORE 16874.828
AT ITER 139 NEW BEST:: SOT 39997 SOS 20786 HAS SOPS 20786 HAS SOUS 16812 HAS SOUPS 16812 WITH SCORE 16832.786
AT ITER 141 NEW BEST:: SOT 40034 SOS 20762 HAS SOPS 20762 HAS SOUS 16697 HAS SOUPS 16697 WITH SCORE 16717.762
AT ITER 152 NEW BEST:: SOT 40041 SOS 20775 HAS SOPS 20775 HAS SOUS 16690 HAS SOUPS 16690 WITH SCORE 16710.775
AT ITER 153 NEW BEST:: SOT 40027 SOS 20761 HAS SOPS 20761 HAS SOUS 16664 HAS SOUPS 16664 WITH SCORE 16684.761
AT ITER 156 NEW BEST:: SOT 40027 SOS 20761 HAS SOPS 20761 HAS SOUS 16656 HAS SOUPS 16656 WITH SCORE 16676.761
AT ITER 158 NEW BEST:: SOT 40063 SOS 20871 HAS SOPS 20871 HAS SOUS 16599 HAS SOUPS 16599 WITH SCORE 16619.871
AT ITER 177 NEW BEST:: SOT 40063 SOS 20871 HAS SOPS 20871 HAS SOUS 16572 HAS SOUPS 16572 WITH SCORE 16592.871
AT ITER 184 NEW BEST:: SOT 40041 SOS 20805 HAS SOPS 20805 HAS SOUS 16528 HAS SOUPS 16528 WITH SCORE 16548.805
AT ITER 185 NEW BEST:: SOT 40041 SOS 20776 HAS SOPS 20776 HAS SOUS 16513 HAS SOUPS 16513 WITH SCORE 16533.776
AT ITER 189 NEW BEST:: SOT 40041 SOS 20782 HAS SOPS 20782 HAS SOUS 16485 HAS SOUPS 16485 WITH SCORE 16505.782
AT ITER 191 NEW BEST:: SOT 40041 SOS 20752 HAS SOPS 20752 HAS SOUS 16455 HAS SOUPS 16455 WITH SCORE 16475.752
AT ITER 192 NEW BEST:: SOT 40022 SOS 20731 HAS SOPS 20731 HAS SOUS 16453 HAS SOUPS 16453 WITH SCORE 16473.731
AT ITER 198 NEW BEST:: SOT 40022 SOS 20699 HAS SOPS 20699 HAS SOUS 16421 HAS SOUPS 16421 WITH SCORE 16441.699
AT ITER 203 NEW BEST:: SOT 39928 SOS 20605 HAS SOPS 20605 HAS SOUS 16327 HAS SOUPS 16327 WITH SCORE 16347.605
AT ITER 204 NEW BEST:: SOT 39893 SOS 20570 HAS SOPS 20570 HAS SOUS 16172 HAS SOUPS 16172 WITH SCORE 16192.57
AT ITER 207 NEW BEST:: SOT 39898 SOS 20575 HAS SOPS 20575 HAS SOUS 16147 HAS SOUPS 16147 WITH SCORE 16167.575
AT ITER 218 NEW BEST:: SOT 39894 SOS 20645 HAS SOPS 20645 HAS SOUS 16096 HAS SOUPS 16096 WITH SCORE 16116.645
AT ITER 222 NEW BEST:: SOT 39838 SOS 20500 HAS SOPS 20500 HAS SOUS 16031 HAS SOUPS 16031 WITH SCORE 16051.5
AT ITER 223 NEW BEST:: SOT 39829 SOS 20490 HAS SOPS 20490 HAS SOUS 16021 HAS SOUPS 16021 WITH SCORE 16041.49
AT ITER 228 NEW BEST:: SOT 39829 SOS 20479 HAS SOPS 20479 HAS SOUS 15992 HAS SOUPS 15992 WITH SCORE 16012.479
AT ITER 230 NEW BEST:: SOT 39797 SOS 20733 HAS SOPS 20733 HAS SOUS 15984 HAS SOUPS 15984 WITH SCORE 16004.733
AT ITER 240 NEW BEST:: SOT 39797 SOS 20731 HAS SOPS 20731 HAS SOUS 15982 HAS SOUPS 15982 WITH SCORE 16002.731
AT ITER 250 NEW BEST:: SOT 38371 SOS 20119 HAS SOPS 20119 HAS SOUS 14757 HAS SOUPS 14757 WITH SCORE 14777.119
AT ITER 261 NEW BEST:: SOT 38439 SOS 20185 HAS SOPS 20185 HAS SOUS 14679 HAS SOUPS 14679 WITH SCORE 14699.185
AT ITER 268 NEW BEST:: SOT 38378 SOS 20088 HAS SOPS 20088 HAS SOUS 14601 HAS SOUPS 14601 WITH SCORE 14621.088
AT ITER 278 NEW BEST:: SOT 38292 SOS 19956 HAS SOPS 19956 HAS SOUS 14487 HAS SOUPS 14487 WITH SCORE 14506.956
AT ITER 279 NEW BEST:: SOT 38257 SOS 19874 HAS SOPS 19874 HAS SOUS 14405 HAS SOUPS 14405 WITH SCORE 14424.874
AT ITER 284 NEW BEST:: SOT 38246 SOS 19863 HAS SOPS 19863 HAS SOUS 14394 HAS SOUPS 14394 WITH SCORE 14413.863
AT ITER 285 NEW BEST:: SOT 38177 SOS 19700 HAS SOPS 19700 HAS SOUS 14322 HAS SOUPS 14322 WITH SCORE 14341.7
AT ITER 310 NEW BEST:: SOT 38147 SOS 19653 HAS SOPS 19653 HAS SOUS 14274 HAS SOUPS 14274 WITH SCORE 14293.653
AT ITER 321 NEW BEST:: SOT 38083 SOS 19560 HAS SOPS 19560 HAS SOUS 14244 HAS SOUPS 14244 WITH SCORE 14263.56
AT ITER 323 NEW BEST:: SOT 38089 SOS 19458 HAS SOPS 19458 HAS SOUS 14238 HAS SOUPS 14238 WITH SCORE 14257.458
AT ITER 343 NEW BEST:: SOT 38107 SOS 19476 HAS SOPS 19476 HAS SOUS 14230 HAS SOUPS 14230 WITH SCORE 14249.476
AT ITER 349 NEW BEST:: SOT 37830 SOS 19872 HAS SOPS 19872 HAS SOUS 14013 HAS SOUPS 14013 WITH SCORE 14032.872
AT ITER 358 NEW BEST:: SOT 37735 SOS 19777 HAS SOPS 19777 HAS SOUS 13939 HAS SOUPS 13939 WITH SCORE 13958.777
AT ITER 361 NEW BEST:: SOT 37711 SOS 19753 HAS SOPS 19753 HAS SOUS 13915 HAS SOUPS 13915 WITH SCORE 13934.753
AT ITER 366 NEW BEST:: SOT 37702 SOS 19736 HAS SOPS 19736 HAS SOUS 13911 HAS SOUPS 13911 WITH SCORE 13930.736
AT ITER 376 NEW BEST:: SOT 37702 SOS 19780 HAS SOPS 19780 HAS SOUS 13910 HAS SOUPS 13910 WITH SCORE 13929.78
AT ITER 377 NEW BEST:: SOT 37692 SOS 19770 HAS SOPS 19770 HAS SOUS 13900 HAS SOUPS 13900 WITH SCORE 13919.77
AT ITER 384 NEW BEST:: SOT 37630 SOS 19708 HAS SOPS 19708 HAS SOUS 13837 HAS SOUPS 13837 WITH SCORE 13856.708
AT ITER 388 NEW BEST:: SOT 37602 SOS 19680 HAS SOPS 19680 HAS SOUS 13781 HAS SOUPS 13781 WITH SCORE 13800.68
AT ITER 402 NEW BEST:: SOT 37563 SOS 19641 HAS SOPS 19641 HAS SOUS 13757 HAS SOUPS 13757 WITH SCORE 13776.641
AT ITER 408 NEW BEST:: SOT 37567 SOS 19568 HAS SOPS 19568 HAS SOUS 13752 HAS SOUPS 13752 WITH SCORE 13771.568
AT ITER 410 NEW BEST:: SOT 37560 SOS 19547 HAS SOPS 19547 HAS SOUS 13731 HAS SOUPS 13731 WITH SCORE 13750.547
AT ITER 414 NEW BEST:: SOT 37531 SOS 19479 HAS SOPS 19479 HAS SOUS 13684 HAS SOUPS 13684 WITH SCORE 13703.479
AT ITER 424 NEW BEST:: SOT 37507 SOS 19428 HAS SOPS 19428 HAS SOUS 13657 HAS SOUPS 13657 WITH SCORE 13676.428
AT ITER 446 NEW BEST:: SOT 37475 SOS 19410 HAS SOPS 19410 HAS SOUS 13512 HAS SOUPS 13512 WITH SCORE 13531.41
AT ITER 447 NEW BEST:: SOT 37521 SOS 19456 HAS SOPS 19456 HAS SOUS 13496 HAS SOUPS 13496 WITH SCORE 13515.456
AT ITER 449 NEW BEST:: SOT 37521 SOS 19417 HAS SOPS 19417 HAS SOUS 13496 HAS SOUPS 13496 WITH SCORE 13515.417
AT ITER 456 NEW BEST:: SOT 37514 SOS 18871 HAS SOPS 18871 HAS SOUS 13460 HAS SOUPS 13460 WITH SCORE 13478.871
AT ITER 457 NEW BEST:: SOT 37513 SOS 18578 HAS SOPS 18578 HAS SOUS 13454 HAS SOUPS 13454 WITH SCORE 13472.578
AT ITER 464 NEW BEST:: SOT 37502 SOS 18567 HAS SOPS 18567 HAS SOUS 13443 HAS SOUPS 13443 WITH SCORE 13461.567
AT ITER 467 NEW BEST:: SOT 37460 SOS 18556 HAS SOPS 18556 HAS SOUS 13358 HAS SOUPS 13358 WITH SCORE 13376.556
AT ITER 472 NEW BEST:: SOT 37460 SOS 18556 HAS SOPS 18556 HAS SOUS 13336 HAS SOUPS 13336 WITH SCORE 13354.556
AT ITER 476 NEW BEST:: SOT 37446 SOS 18542 HAS SOPS 18542 HAS SOUS 13308 HAS SOUPS 13308 WITH SCORE 13326.542
AT ITER 478 NEW BEST:: SOT 37427 SOS 18523 HAS SOPS 18523 HAS SOUS 13274 HAS SOUPS 13274 WITH SCORE 13292.523
AT ITER 492 NEW BEST:: SOT 37423 SOS 18532 HAS SOPS 18532 HAS SOUS 13253 HAS SOUPS 13253 WITH SCORE 13271.532
AT ITER 504 NEW BEST:: SOT 37369 SOS 19552 HAS SOPS 19552 HAS SOUS 13250 HAS SOUPS 13250 WITH SCORE 13269.552
AT ITER 514 NEW BEST:: SOT 36348 SOS 18760 HAS SOPS 18760 HAS SOUS 12367 HAS SOUPS 12367 WITH SCORE 12385.76
AT ITER 521 NEW BEST:: SOT 36344 SOS 18756 HAS SOPS 18756 HAS SOUS 12359 HAS SOUPS 12359 WITH SCORE 12377.756
AT ITER 525 NEW BEST:: SOT 36343 SOS 18755 HAS SOPS 18755 HAS SOUS 12335 HAS SOUPS 12335 WITH SCORE 12353.755
AT ITER 530 NEW BEST:: SOT 36242 SOS 18646 HAS SOPS 18646 HAS SOUS 12226 HAS SOUPS 12226 WITH SCORE 12244.646
AT ITER 547 NEW BEST:: SOT 36237 SOS 18641 HAS SOPS 18641 HAS SOUS 12221 HAS SOUPS 12221 WITH SCORE 12239.641
AT ITER 550 NEW BEST:: SOT 36237 SOS 18641 HAS SOPS 18641 HAS SOUS 12207 HAS SOUPS 12207 WITH SCORE 12225.641
AT ITER 583 NEW BEST:: SOT 36232 SOS 18662 HAS SOPS 18662 HAS SOUS 12197 HAS SOUPS 12197 WITH SCORE 12215.662
AT ITER 602 NEW BEST:: SOT 36232 SOS 18664 HAS SOPS 18664 HAS SOUS 12195 HAS SOUPS 12195 WITH SCORE 12213.664
AT ITER 608 NEW BEST:: SOT 36209 SOS 18618 HAS SOPS 18618 HAS SOUS 12172 HAS SOUPS 12172 WITH SCORE 12190.618
AT ITER 640 NEW BEST:: SOT 36209 SOS 18629 HAS SOPS 18629 HAS SOUS 12161 HAS SOUPS 12161 WITH SCORE 12179.629
AT ITER 647 NEW BEST:: SOT 36207 SOS 18644 HAS SOPS 18644 HAS SOUS 12159 HAS SOUPS 12159 WITH SCORE 12177.644
AT ITER 656 NEW BEST:: SOT 36202 SOS 18665 HAS SOPS 18665 HAS SOUS 12154 HAS SOUPS 12154 WITH SCORE 12172.665
AT ITER 667 NEW BEST:: SOT 36133 SOS 18524 HAS SOPS 18524 HAS SOUS 12018 HAS SOUPS 12018 WITH SCORE 12036.524
AT ITER 669 NEW BEST:: SOT 36180 SOS 18602 HAS SOPS 18602 HAS SOUS 11981 HAS SOUPS 11981 WITH SCORE 11999.602
AT ITER 689 NEW BEST:: SOT 36180 SOS 18602 HAS SOPS 18602 HAS SOUS 11969 HAS SOUPS 11969 WITH SCORE 11987.602
AT ITER 701 NEW BEST:: SOT 36110 SOS 18621 HAS SOPS 18621 HAS SOUS 11967 HAS SOUPS 11967 WITH SCORE 11985.621
AT ITER 721 NEW BEST:: SOT 36082 SOS 18593 HAS SOPS 18593 HAS SOUS 11939 HAS SOUPS 11939 WITH SCORE 11957.593
AT ITER 722 NEW BEST:: SOT 36083 SOS 18643 HAS SOPS 18643 HAS SOUS 11914 HAS SOUPS 11914 WITH SCORE 11932.643
AT ITER 723 NEW BEST:: SOT 36077 SOS 18637 HAS SOPS 18637 HAS SOUS 11896 HAS SOUPS 11896 WITH SCORE 11914.637
AT ITER 726 NEW BEST:: SOT 36049 SOS 18609 HAS SOPS 18609 HAS SOUS 11799 HAS SOUPS 11799 WITH SCORE 11817.609
AT ITER 739 NEW BEST:: SOT 36003 SOS 18563 HAS SOPS 18563 HAS SOUS 11754 HAS SOUPS 11754 WITH SCORE 11772.563
AT ITER 747 NEW BEST:: SOT 35991 SOS 18553 HAS SOPS 18553 HAS SOUS 11744 HAS SOUPS 11744 WITH SCORE 11762.553
AT ITER 759 NEW BEST:: SOT 35985 SOS 18564 HAS SOPS 18564 HAS SOUS 11732 HAS SOUPS 11732 WITH SCORE 11750.564
AT ITER 770 NEW BEST:: SOT 35985 SOS 18550 HAS SOPS 18550 HAS SOUS 11732 HAS SOUPS 11732 WITH SCORE 11750.55
AT ITER 773 NEW BEST:: SOT 35335 SOS 18196 HAS SOPS 18196 HAS SOUS 11138 HAS SOUPS 11138 WITH SCORE 11156.196
AT ITER 793 NEW BEST:: SOT 35335 SOS 18196 HAS SOPS 18196 HAS SOUS 11131 HAS SOUPS 11131 WITH SCORE 11149.196
AT ITER 829 NEW BEST:: SOT 35326 SOS 18187 HAS SOPS 18187 HAS SOUS 11128 HAS SOUPS 11128 WITH SCORE 11146.187
AT ITER 847 NEW BEST:: SOT 35288 SOS 18149 HAS SOPS 18149 HAS SOUS 11024 HAS SOUPS 11024 WITH SCORE 11042.149
AT ITER 883 NEW BEST:: SOT 35279 SOS 18140 HAS SOPS 18140 HAS SOUS 11006 HAS SOUPS 11006 WITH SCORE 11024.14
AT ITER 885 NEW BEST:: SOT 35279 SOS 18140 HAS SOPS 18140 HAS SOUS 11000 HAS SOUPS 11000 WITH SCORE 11018.14
AT ITER 895 NEW BEST:: SOT 35230 SOS 18105 HAS SOPS 18105 HAS SOUS 10969 HAS SOUPS 10969 WITH SCORE 10987.105
AT ITER 922 NEW BEST:: SOT 35044 SOS 18921 HAS SOPS 18921 HAS SOUS 10851 HAS SOUPS 10851 WITH SCORE 10869.921
AT ITER 938 NEW BEST:: SOT 35036 SOS 18905 HAS SOPS 18905 HAS SOUS 10843 HAS SOUPS 10843 WITH SCORE 10861.905
AT ITER 951 NEW BEST:: SOT 35036 SOS 18911 HAS SOPS 18911 HAS SOUS 10842 HAS SOUPS 10842 WITH SCORE 10860.911
AT ITER 953 NEW BEST:: SOT 35036 SOS 18909 HAS SOPS 18909 HAS SOUS 10840 HAS SOUPS 10840 WITH SCORE 10858.909
AT ITER 958 NEW BEST:: SOT 34778 SOS 18943 HAS SOPS 18943 HAS SOUS 10632 HAS SOUPS 10632 WITH SCORE 10650.943
AT ITER 966 NEW BEST:: SOT 34778 SOS 18943 HAS SOPS 18943 HAS SOUS 10620 HAS SOUPS 10620 WITH SCORE 10638.943
AT ITER 976 NEW BEST:: SOT 34789 SOS 18954 HAS SOPS 18954 HAS SOUS 10612 HAS SOUPS 10612 WITH SCORE 10630.954
AT ITER 984 NEW BEST:: SOT 34778 SOS 18943 HAS SOPS 18943 HAS SOUS 10601 HAS SOUPS 10601 WITH SCORE 10619.943
AT ITER 987 NEW BEST:: SOT 34778 SOS 18934 HAS SOPS 18934 HAS SOUS 10601 HAS SOUPS 10601 WITH SCORE 10619.934
AT ITER 1016 NEW BEST:: SOT 34780 SOS 18910 HAS SOPS 18910 HAS SOUS 10591 HAS SOUPS 10591 WITH SCORE 10609.91
AT ITER 1017 NEW BEST:: SOT 34771 SOS 18901 HAS SOPS 18901 HAS SOUS 10573 HAS SOUPS 10573 WITH SCORE 10591.901
AT ITER 1019 NEW BEST:: SOT 34789 SOS 18895 HAS SOPS 18895 HAS SOUS 10554 HAS SOUPS 10554 WITH SCORE 10572.895
AT ITER 1032 NEW BEST:: SOT 34785 SOS 18891 HAS SOPS 18891 HAS SOUS 10550 HAS SOUPS 10550 WITH SCORE 10568.891
AT ITER 1034 NEW BEST:: SOT 34791 SOS 18897 HAS SOPS 18897 HAS SOUS 10524 HAS SOUPS 10524 WITH SCORE 10542.897
AT ITER 1039 NEW BEST:: SOT 34777 SOS 18883 HAS SOPS 18883 HAS SOUS 10496 HAS SOUPS 10496 WITH SCORE 10514.883
AT ITER 1051 NEW BEST:: SOT 34786 SOS 18892 HAS SOPS 18892 HAS SOUS 10452 HAS SOUPS 10452 WITH SCORE 10470.892
AT ITER 1053 NEW BEST:: SOT 34786 SOS 18892 HAS SOPS 18892 HAS SOUS 10387 HAS SOUPS 10387 WITH SCORE 10405.892
AT ITER 1065 NEW BEST:: SOT 34784 SOS 18890 HAS SOPS 18890 HAS SOUS 10383 HAS SOUPS 10383 WITH SCORE 10401.89
AT ITER 1070 NEW BEST:: SOT 34600 SOS 19156 HAS SOPS 19156 HAS SOUS 10231 HAS SOUPS 10231 WITH SCORE 10250.156
AT ITER 1081 NEW BEST:: SOT 34588 SOS 19144 HAS SOPS 19144 HAS SOUS 10196 HAS SOUPS 10196 WITH SCORE 10215.144
AT ITER 1093 NEW BEST:: SOT 34572 SOS 19128 HAS SOPS 19128 HAS SOUS 10164 HAS SOUPS 10164 WITH SCORE 10183.128
AT ITER 1105 NEW BEST:: SOT 34566 SOS 19116 HAS SOPS 19116 HAS SOUS 10152 HAS SOUPS 10152 WITH SCORE 10171.116
AT ITER 1108 NEW BEST:: SOT 34561 SOS 19111 HAS SOPS 19111 HAS SOUS 10142 HAS SOUPS 10142 WITH SCORE 10161.111
AT ITER 1109 NEW BEST:: SOT 34565 SOS 19121 HAS SOPS 19121 HAS SOUS 10134 HAS SOUPS 10134 WITH SCORE 10153.121
AT ITER 1120 NEW BEST:: SOT 34578 SOS 19108 HAS SOPS 19108 HAS SOUS 10108 HAS SOUPS 10108 WITH SCORE 10127.108
AT ITER 1131 NEW BEST:: SOT 34578 SOS 19102 HAS SOPS 19102 HAS SOUS 10093 HAS SOUPS 10093 WITH SCORE 10112.102
AT ITER 1135 NEW BEST:: SOT 34558 SOS 19062 HAS SOPS 19062 HAS SOUS 10073 HAS SOUPS 10073 WITH SCORE 10092.062
AT ITER 1136 NEW BEST:: SOT 34561 SOS 19060 HAS SOPS 19060 HAS SOUS 10068 HAS SOUPS 10068 WITH SCORE 10087.06
AT ITER 1146 NEW BEST:: SOT 34587 SOS 18393 HAS SOPS 18393 HAS SOUS 10025 HAS SOUPS 10025 WITH SCORE 10043.393
AT ITER 1160 NEW BEST:: SOT 34592 SOS 18391 HAS SOPS 18391 HAS SOUS 10018 HAS SOUPS 10018 WITH SCORE 10036.391
AT ITER 1190 NEW BEST:: SOT 34594 SOS 18393 HAS SOPS 18393 HAS SOUS 10016 HAS SOUPS 10016 WITH SCORE 10034.393
AT ITER 1192 NEW BEST:: SOT 34714 SOS 18513 HAS SOPS 18513 HAS SOUS 9950 HAS SOUPS 9950 WITH SCORE 9968.513
AT ITER 1216 NEW BEST:: SOT 34714 SOS 18511 HAS SOPS 18511 HAS SOUS 9950 HAS SOUPS 9950 WITH SCORE 9968.511
AT ITER 1217 NEW BEST:: SOT 34708 SOS 18505 HAS SOPS 18505 HAS SOUS 9938 HAS SOUPS 9938 WITH SCORE 9956.505
AT ITER 1224 NEW BEST:: SOT 34709 SOS 18504 HAS SOPS 18504 HAS SOUS 9917 HAS SOUPS 9917 WITH SCORE 9935.504
AT ITER 1236 NEW BEST:: SOT 34716 SOS 18485 HAS SOPS 18485 HAS SOUS 9898 HAS SOUPS 9898 WITH SCORE 9916.485
AT ITER 1237 NEW BEST:: SOT 34704 SOS 18473 HAS SOPS 18473 HAS SOUS 9880 HAS SOUPS 9880 WITH SCORE 9898.473
AT ITER 1259 NEW BEST:: SOT 34704 SOS 18462 HAS SOPS 18462 HAS SOUS 9880 HAS SOUPS 9880 WITH SCORE 9898.462
AT ITER 1260 NEW BEST:: SOT 34693 SOS 18451 HAS SOPS 18451 HAS SOUS 9858 HAS SOUPS 9858 WITH SCORE 9876.451
AT ITER 1274 NEW BEST:: SOT 34674 SOS 18427 HAS SOPS 18427 HAS SOUS 9820 HAS SOUPS 9820 WITH SCORE 9838.427
AT ITER 1289 NEW BEST:: SOT 34674 SOS 18427 HAS SOPS 18427 HAS SOUS 9802 HAS SOUPS 9802 WITH SCORE 9820.427
AT ITER 1308 NEW BEST:: SOT 34672 SOS 18427 HAS SOPS 18427 HAS SOUS 9798 HAS SOUPS 9798 WITH SCORE 9816.427
AT ITER 1327 NEW BEST:: SOT 34672 SOS 18421 HAS SOPS 18421 HAS SOUS 9798 HAS SOUPS 9798 WITH SCORE 9816.421
AT ITER 1336 NEW BEST:: SOT 34662 SOS 18411 HAS SOPS 18411 HAS SOUS 9778 HAS SOUPS 9778 WITH SCORE 9796.411
AT ITER 1348 NEW BEST:: SOT 34656 SOS 18409 HAS SOPS 18409 HAS SOUS 9776 HAS SOUPS 9776 WITH SCORE 9794.409
AT ITER 1356 NEW BEST:: SOT 34656 SOS 18409 HAS SOPS 18409 HAS SOUS 9775 HAS SOUPS 9775 WITH SCORE 9793.409
AT ITER 1365 NEW BEST:: SOT 34643 SOS 18396 HAS SOPS 18396 HAS SOUS 9749 HAS SOUPS 9749 WITH SCORE 9767.396
AT ITER 1367 NEW BEST:: SOT 34640 SOS 18397 HAS SOPS 18397 HAS SOUS 9739 HAS SOUPS 9739 WITH SCORE 9757.397
AT ITER 1374 NEW BEST:: SOT 34638 SOS 18395 HAS SOPS 18395 HAS SOUS 9737 HAS SOUPS 9737 WITH SCORE 9755.395
AT ITER 1375 NEW BEST:: SOT 34616 SOS 18372 HAS SOPS 18372 HAS SOUS 9693 HAS SOUPS 9693 WITH SCORE 9711.372
AT ITER 1379 NEW BEST:: SOT 34606 SOS 18362 HAS SOPS 18362 HAS SOUS 9673 HAS SOUPS 9673 WITH SCORE 9691.362
AT ITER 1383 NEW BEST:: SOT 34580 SOS 18265 HAS SOPS 18265 HAS SOUS 9585 HAS SOUPS 9585 WITH SCORE 9603.265
AT ITER 1386 NEW BEST:: SOT 34565 SOS 18250 HAS SOPS 18250 HAS SOUS 9555 HAS SOUPS 9555 WITH SCORE 9573.25
AT ITER 1395 NEW BEST:: SOT 34565 SOS 18250 HAS SOPS 18250 HAS SOUS 9554 HAS SOUPS 9554 WITH SCORE 9572.25
AT ITER 1417 NEW BEST:: SOT 34561 SOS 18246 HAS SOPS 18246 HAS SOUS 9546 HAS SOUPS 9546 WITH SCORE 9564.246
AT ITER 1419 NEW BEST:: SOT 34560 SOS 18245 HAS SOPS 18245 HAS SOUS 9544 HAS SOUPS 9544 WITH SCORE 9562.245
AT ITER 1436 NEW BEST:: SOT 34541 SOS 18226 HAS SOPS 18226 HAS SOUS 9506 HAS SOUPS 9506 WITH SCORE 9524.226
AT ITER 1461 NEW BEST:: SOT 34542 SOS 18227 HAS SOPS 18227 HAS SOUS 9504 HAS SOUPS 9504 WITH SCORE 9522.227
AT ITER 1466 NEW BEST:: SOT 34482 SOS 18784 HAS SOPS 18784 HAS SOUS 9444 HAS SOUPS 9444 WITH SCORE 9462.784
AT ITER 1474 NEW BEST:: SOT 34494 SOS 18796 HAS SOPS 18796 HAS SOUS 9433 HAS SOUPS 9433 WITH SCORE 9451.796
AT ITER 1481 NEW BEST:: SOT 34488 SOS 18790 HAS SOPS 18790 HAS SOUS 9412 HAS SOUPS 9412 WITH SCORE 9430.79
AT ITER 1484 NEW BEST:: SOT 34485 SOS 18784 HAS SOPS 18784 HAS SOUS 9409 HAS SOUPS 9409 WITH SCORE 9427.784
AT ITER 1492 NEW BEST:: SOT 34475 SOS 18764 HAS SOPS 18764 HAS SOUS 9399 HAS SOUPS 9399 WITH SCORE 9417.764
AT ITER 1506 NEW BEST:: SOT 34486 SOS 18775 HAS SOPS 18775 HAS SOUS 9392 HAS SOUPS 9392 WITH SCORE 9410.775
AT ITER 1510 NEW BEST:: SOT 34485 SOS 18774 HAS SOPS 18774 HAS SOUS 9390 HAS SOUPS 9390 WITH SCORE 9408.774
AT ITER 1522 NEW BEST:: SOT 34488 SOS 18777 HAS SOPS 18777 HAS SOUS 9384 HAS SOUPS 9384 WITH SCORE 9402.777
AT ITER 1535 NEW BEST:: SOT 34488 SOS 18771 HAS SOPS 18771 HAS SOUS 9378 HAS SOUPS 9378 WITH SCORE 9396.771
AT ITER 1541 NEW BEST:: SOT 34466 SOS 18749 HAS SOPS 18749 HAS SOUS 9334 HAS SOUPS 9334 WITH SCORE 9352.749
AT ITER 1575 NEW BEST:: SOT 34444 SOS 18727 HAS SOPS 18727 HAS SOUS 9301 HAS SOUPS 9301 WITH SCORE 9319.727
AT ITER 1587 NEW BEST:: SOT 34433 SOS 18716 HAS SOPS 18716 HAS SOUS 9279 HAS SOUPS 9279 WITH SCORE 9297.716
AT ITER 1594 NEW BEST:: SOT 34426 SOS 18697 HAS SOPS 18697 HAS SOUS 9265 HAS SOUPS 9265 WITH SCORE 9283.697
AT ITER 1601 NEW BEST:: SOT 34422 SOS 18693 HAS SOPS 18693 HAS SOUS 9257 HAS SOUPS 9257 WITH SCORE 9275.693
AT ITER 1640 NEW BEST:: SOT 34414 SOS 18685 HAS SOPS 18685 HAS SOUS 9241 HAS SOUPS 9241 WITH SCORE 9259.685
AT ITER 1655 NEW BEST:: SOT 34397 SOS 18668 HAS SOPS 18668 HAS SOUS 9226 HAS SOUPS 9226 WITH SCORE 9244.668
AT ITER 1659 NEW BEST:: SOT 34388 SOS 18659 HAS SOPS 18659 HAS SOUS 9220 HAS SOUPS 9220 WITH SCORE 9238.659
AT ITER 1692 NEW BEST:: SOT 34387 SOS 18658 HAS SOPS 18658 HAS SOUS 9219 HAS SOUPS 9219 WITH SCORE 9237.658
AT ITER 1697 NEW BEST:: SOT 34387 SOS 18657 HAS SOPS 18657 HAS SOUS 9219 HAS SOUPS 9219 WITH SCORE 9237.657
AT ITER 1702 NEW BEST:: SOT 34374 SOS 18674 HAS SOPS 18674 HAS SOUS 9192 HAS SOUPS 9192 WITH SCORE 9210.674
AT ITER 1720 NEW BEST:: SOT 34376 SOS 18676 HAS SOPS 18676 HAS SOUS 9173 HAS SOUPS 9173 WITH SCORE 9191.676
AT ITER 1721 NEW BEST:: SOT 34376 SOS 18673 HAS SOPS 18673 HAS SOUS 9154 HAS SOUPS 9154 WITH SCORE 9172.673
AT ITER 1731 NEW BEST:: SOT 34365 SOS 18646 HAS SOPS 18646 HAS SOUS 9130 HAS SOUPS 9130 WITH SCORE 9148.646
AT ITER 1746 NEW BEST:: SOT 34335 SOS 18616 HAS SOPS 18616 HAS SOUS 9100 HAS SOUPS 9100 WITH SCORE 9118.616
AT ITER 1752 NEW BEST:: SOT 34312 SOS 18593 HAS SOPS 18593 HAS SOUS 9077 HAS SOUPS 9077 WITH SCORE 9095.593
AT ITER 1756 NEW BEST:: SOT 34309 SOS 18590 HAS SOPS 18590 HAS SOUS 9074 HAS SOUPS 9074 WITH SCORE 9092.59
AT ITER 1795 NEW BEST:: SOT 34309 SOS 18589 HAS SOPS 18589 HAS SOUS 9073 HAS SOUPS 9073 WITH SCORE 9091.589
AT ITER 1814 NEW BEST:: SOT 34302 SOS 18728 HAS SOPS 18728 HAS SOUS 9071 HAS SOUPS 9071 WITH SCORE 9089.728
AT ITER 1832 NEW BEST:: SOT 34300 SOS 18742 HAS SOPS 18742 HAS SOUS 9067 HAS SOUPS 9067 WITH SCORE 9085.742
AT ITER 1839 NEW BEST:: SOT 34248 SOS 18725 HAS SOPS 18725 HAS SOUS 8946 HAS SOUPS 8946 WITH SCORE 8964.725
AT ITER 1840 NEW BEST:: SOT 34242 SOS 18719 HAS SOPS 18719 HAS SOUS 8941 HAS SOUPS 8941 WITH SCORE 8959.719
AT ITER 1858 NEW BEST:: SOT 34222 SOS 19043 HAS SOPS 19043 HAS SOUS 8930 HAS SOUPS 8930 WITH SCORE 8949.043
AT ITER 1885 NEW BEST:: SOT 34233 SOS 18178 HAS SOPS 18178 HAS SOUS 8915 HAS SOUPS 8915 WITH SCORE 8933.178
AT ITER 1897 NEW BEST:: SOT 34215 SOS 18160 HAS SOPS 18160 HAS SOUS 8897 HAS SOUPS 8897 WITH SCORE 8915.16
AT ITER 1900 NEW BEST:: SOT 34206 SOS 18151 HAS SOPS 18151 HAS SOUS 8879 HAS SOUPS 8879 WITH SCORE 8897.151
AT ITER 1919 NEW BEST:: SOT 34206 SOS 18151 HAS SOPS 18151 HAS SOUS 8870 HAS SOUPS 8870 WITH SCORE 8888.151
AT ITER 1935 NEW BEST:: SOT 34202 SOS 18147 HAS SOPS 18147 HAS SOUS 8839 HAS SOUPS 8839 WITH SCORE 8857.147
AT ITER 1943 NEW BEST:: SOT 34170 SOS 18115 HAS SOPS 18115 HAS SOUS 8811 HAS SOUPS 8811 WITH SCORE 8829.115
AT ITER 1958 NEW BEST:: SOT 34169 SOS 18114 HAS SOPS 18114 HAS SOUS 8810 HAS SOUPS 8810 WITH SCORE 8828.114
AT ITER 1966 NEW BEST:: SOT 34172 SOS 18119 HAS SOPS 18119 HAS SOUS 8799 HAS SOUPS 8799 WITH SCORE 8817.119
AT ITER 1974 NEW BEST:: SOT 34166 SOS 18113 HAS SOPS 18113 HAS SOUS 8787 HAS SOUPS 8787 WITH SCORE 8805.113
AT ITER 2029 NEW BEST:: SOT 34150 SOS 18097 HAS SOPS 18097 HAS SOUS 8755 HAS SOUPS 8755 WITH SCORE 8773.097
AT ITER 2047 NEW BEST:: SOT 34138 SOS 18085 HAS SOPS 18085 HAS SOUS 8743 HAS SOUPS 8743 WITH SCORE 8761.085
AT ITER 2061 NEW BEST:: SOT 34146 SOS 18093 HAS SOPS 18093 HAS SOUS 8737 HAS SOUPS 8737 WITH SCORE 8755.093
AT ITER 2069 NEW BEST:: SOT 34140 SOS 18071 HAS SOPS 18071 HAS SOUS 8725 HAS SOUPS 8725 WITH SCORE 8743.071
AT ITER 2121 NEW BEST:: SOT 34133 SOS 18064 HAS SOPS 18064 HAS SOUS 8711 HAS SOUPS 8711 WITH SCORE 8729.064
AT ITER 2145 NEW BEST:: SOT 34126 SOS 18057 HAS SOPS 18057 HAS SOUS 8704 HAS SOUPS 8704 WITH SCORE 8722.057
AT ITER 2158 NEW BEST:: SOT 34126 SOS 18040 HAS SOPS 18040 HAS SOUS 8683 HAS SOUPS 8683 WITH SCORE 8701.04
AT ITER 2166 NEW BEST:: SOT 34124 SOS 18038 HAS SOPS 18038 HAS SOUS 8679 HAS SOUPS 8679 WITH SCORE 8697.038
AT ITER 2175 NEW BEST:: SOT 34133 SOS 18047 HAS SOPS 18047 HAS SOUS 8678 HAS SOUPS 8678 WITH SCORE 8696.047
AT ITER 2185 NEW BEST:: SOT 34131 SOS 18045 HAS SOPS 18045 HAS SOUS 8674 HAS SOUPS 8674 WITH SCORE 8692.045
AT ITER 2193 NEW BEST:: SOT 34126 SOS 18040 HAS SOPS 18040 HAS SOUS 8666 HAS SOUPS 8666 WITH SCORE 8684.04
AT ITER 2211 NEW BEST:: SOT 34120 SOS 18035 HAS SOPS 18035 HAS SOUS 8655 HAS SOUPS 8655 WITH SCORE 8673.035
AT ITER 2260 NEW BEST:: SOT 34118 SOS 18033 HAS SOPS 18033 HAS SOUS 8653 HAS SOUPS 8653 WITH SCORE 8671.033
AT ITER 2268 NEW BEST:: SOT 34117 SOS 18032 HAS SOPS 18032 HAS SOUS 8651 HAS SOUPS 8651 WITH SCORE 8669.032
AT ITER 2298 NEW BEST:: SOT 34103 SOS 17991 HAS SOPS 17991 HAS SOUS 8650 HAS SOUPS 8650 WITH SCORE 8667.991
AT ITER 2311 NEW BEST:: SOT 34102 SOS 17990 HAS SOPS 17990 HAS SOUS 8649 HAS SOUPS 8649 WITH SCORE 8666.99
AT ITER 2325 NEW BEST:: SOT 34102 SOS 17990 HAS SOPS 17990 HAS SOUS 8633 HAS SOUPS 8633 WITH SCORE 8650.99
AT ITER 2344 NEW BEST:: SOT 34096 SOS 17984 HAS SOPS 17984 HAS SOUS 8621 HAS SOUPS 8621 WITH SCORE 8638.984
AT ITER 2374 NEW BEST:: SOT 34096 SOS 17981 HAS SOPS 17981 HAS SOUS 8621 HAS SOUPS 8621 WITH SCORE 8638.981
AT ITER 2448 NEW BEST:: SOT 34094 SOS 17978 HAS SOPS 17978 HAS SOUS 8618 HAS SOUPS 8618 WITH SCORE 8635.978
AT ITER 2458 NEW BEST:: SOT 34100 SOS 17984 HAS SOPS 17984 HAS SOUS 8617 HAS SOUPS 8617 WITH SCORE 8634.984
AT ITER 2471 NEW BEST:: SOT 34100 SOS 17984 HAS SOPS 17984 HAS SOUS 8615 HAS SOUPS 8615 WITH SCORE 8632.984
AT ITER 2478 NEW BEST:: SOT 34085 SOS 17981 HAS SOPS 17981 HAS SOUS 8597 HAS SOUPS 8597 WITH SCORE 8614.981
AT ITER 2485 NEW BEST:: SOT 34082 SOS 17978 HAS SOPS 17978 HAS SOUS 8591 HAS SOUPS 8591 WITH SCORE 8608.978
AT ITER 2494 NEW BEST:: SOT 34082 SOS 17974 HAS SOPS 17974 HAS SOUS 8587 HAS SOUPS 8587 WITH SCORE 8604.974
AT ITER 2526 NEW BEST:: SOT 34128 SOS 18020 HAS SOPS 18020 HAS SOUS 8535 HAS SOUPS 8535 WITH SCORE 8553.02
AT ITER 2539 NEW BEST:: SOT 34126 SOS 18018 HAS SOPS 18018 HAS SOUS 8533 HAS SOUPS 8533 WITH SCORE 8551.018
AT ITER 2550 NEW BEST:: SOT 34141 SOS 17727 HAS SOPS 17727 HAS SOUS 8522 HAS SOUPS 8522 WITH SCORE 8539.727
AT ITER 2554 NEW BEST:: SOT 34115 SOS 17701 HAS SOPS 17701 HAS SOUS 8470 HAS SOUPS 8470 WITH SCORE 8487.701
AT ITER 2562 NEW BEST:: SOT 34104 SOS 17695 HAS SOPS 17695 HAS SOUS 8448 HAS SOUPS 8448 WITH SCORE 8465.695
AT ITER 2565 NEW BEST:: SOT 34042 SOS 17974 HAS SOPS 17974 HAS SOUS 8408 HAS SOUPS 8408 WITH SCORE 8425.974
AT ITER 2570 NEW BEST:: SOT 34042 SOS 17974 HAS SOPS 17974 HAS SOUS 8403 HAS SOUPS 8403 WITH SCORE 8420.974
AT ITER 2583 NEW BEST:: SOT 34041 SOS 17973 HAS SOPS 17973 HAS SOUS 8401 HAS SOUPS 8401 WITH SCORE 8418.973
AT ITER 2595 NEW BEST:: SOT 34041 SOS 17973 HAS SOPS 17973 HAS SOUS 8398 HAS SOUPS 8398 WITH SCORE 8415.973
AT ITER 2604 NEW BEST:: SOT 34031 SOS 17963 HAS SOPS 17963 HAS SOUS 8360 HAS SOUPS 8360 WITH SCORE 8377.963
AT ITER 2620 NEW BEST:: SOT 34016 SOS 17948 HAS SOPS 17948 HAS SOUS 8330 HAS SOUPS 8330 WITH SCORE 8347.948
AT ITER 2627 NEW BEST:: SOT 33994 SOS 17926 HAS SOPS 17926 HAS SOUS 8286 HAS SOUPS 8286 WITH SCORE 8303.926
AT ITER 2633 NEW BEST:: SOT 33992 SOS 17924 HAS SOPS 17924 HAS SOUS 8282 HAS SOUPS 8282 WITH SCORE 8299.924
AT ITER 2675 NEW BEST:: SOT 33992 SOS 17923 HAS SOPS 17923 HAS SOUS 8281 HAS SOUPS 8281 WITH SCORE 8298.923
AT ITER 2676 NEW BEST:: SOT 33982 SOS 17913 HAS SOPS 17913 HAS SOUS 8271 HAS SOUPS 8271 WITH SCORE 8288.913
AT ITER 2748 NEW BEST:: SOT 33979 SOS 17912 HAS SOPS 17912 HAS SOUS 8267 HAS SOUPS 8267 WITH SCORE 8284.912
AT ITER 2749 NEW BEST:: SOT 33970 SOS 17903 HAS SOPS 17903 HAS SOUS 8249 HAS SOUPS 8249 WITH SCORE 8266.903
AT ITER 2756 NEW BEST:: SOT 33958 SOS 17879 HAS SOPS 17879 HAS SOUS 8237 HAS SOUPS 8237 WITH SCORE 8254.879
AT ITER 2760 NEW BEST:: SOT 33955 SOS 17878 HAS SOPS 17878 HAS SOUS 8233 HAS SOUPS 8233 WITH SCORE 8250.878
AT ITER 2797 NEW BEST:: SOT 33950 SOS 17873 HAS SOPS 17873 HAS SOUS 8223 HAS SOUPS 8223 WITH SCORE 8240.873
AT ITER 2803 NEW BEST:: SOT 33942 SOS 17865 HAS SOPS 17865 HAS SOUS 8206 HAS SOUPS 8206 WITH SCORE 8223.865
AT ITER 2805 NEW BEST:: SOT 33927 SOS 17850 HAS SOPS 17850 HAS SOUS 8197 HAS SOUPS 8197 WITH SCORE 8214.85
AT ITER 2829 NEW BEST:: SOT 33924 SOS 17844 HAS SOPS 17844 HAS SOUS 8194 HAS SOUPS 8194 WITH SCORE 8211.844
AT ITER 2962 NEW BEST:: SOT 33887 SOS 17813 HAS SOPS 17813 HAS SOUS 8120 HAS SOUPS 8120 WITH SCORE 8137.813
AT ITER 2977 NEW BEST:: SOT 33885 SOS 17811 HAS SOPS 17811 HAS SOUS 8118 HAS SOUPS 8118 WITH SCORE 8135.811
AT ITER 2983 NEW BEST:: SOT 33879 SOS 17805 HAS SOPS 17805 HAS SOUS 8100 HAS SOUPS 8100 WITH SCORE 8117.805
AT ITER 2986 NEW BEST:: SOT 33874 SOS 17800 HAS SOPS 17800 HAS SOUS 8093 HAS SOUPS 8093 WITH SCORE 8110.8
AT ITER 2998 NEW BEST:: SOT 33864 SOS 17800 HAS SOPS 17800 HAS SOUS 8073 HAS SOUPS 8073 WITH SCORE 8090.8
AT ITER 2999 NEW BEST:: SOT 33856 SOS 17799 HAS SOPS 17799 HAS SOUS 8073 HAS SOUPS 8073 WITH SCORE 8090.799
AT ITER 3008 NEW BEST:: SOT 33856 SOS 17799 HAS SOPS 17799 HAS SOUS 8067 HAS SOUPS 8067 WITH SCORE 8084.799
AT ITER 3011 NEW BEST:: SOT 33852 SOS 17795 HAS SOPS 17795 HAS SOUS 8059 HAS SOUPS 8059 WITH SCORE 8076.795
AT ITER 3038 NEW BEST:: SOT 33830 SOS 18237 HAS SOPS 18237 HAS SOUS 8056 HAS SOUPS 8056 WITH SCORE 8074.237
AT ITER 3065 NEW BEST:: SOT 33830 SOS 18221 HAS SOPS 18221 HAS SOUS 8056 HAS SOUPS 8056 WITH SCORE 8074.221
AT ITER 3098 NEW BEST:: SOT 33794 SOS 18192 HAS SOPS 18192 HAS SOUS 8053 HAS SOUPS 8053 WITH SCORE 8071.192
AT ITER 3150 NEW BEST:: SOT 33815 SOS 18204 HAS SOPS 18204 HAS SOUS 8044 HAS SOUPS 8044 WITH SCORE 8062.204
AT ITER 3154 NEW BEST:: SOT 33811 SOS 18200 HAS SOPS 18200 HAS SOUS 8040 HAS SOUPS 8040 WITH SCORE 8058.2
AT ITER 3159 NEW BEST:: SOT 33820 SOS 18203 HAS SOPS 18203 HAS SOUS 8033 HAS SOUPS 8033 WITH SCORE 8051.203
AT ITER 3164 NEW BEST:: SOT 33822 SOS 18205 HAS SOPS 18205 HAS SOUS 8019 HAS SOUPS 8019 WITH SCORE 8037.205
AT ITER 3169 NEW BEST:: SOT 33818 SOS 18201 HAS SOPS 18201 HAS SOUS 8011 HAS SOUPS 8011 WITH SCORE 8029.201
AT ITER 3173 NEW BEST:: SOT 33822 SOS 18192 HAS SOPS 18192 HAS SOUS 8006 HAS SOUPS 8006 WITH SCORE 8024.192
AT ITER 3185 NEW BEST:: SOT 33820 SOS 18190 HAS SOPS 18190 HAS SOUS 8002 HAS SOUPS 8002 WITH SCORE 8020.19
AT ITER 3186 NEW BEST:: SOT 33808 SOS 18178 HAS SOPS 18178 HAS SOUS 7966 HAS SOUPS 7966 WITH SCORE 7984.178
AT ITER 3218 NEW BEST:: SOT 33796 SOS 18166 HAS SOPS 18166 HAS SOUS 7942 HAS SOUPS 7942 WITH SCORE 7960.166
AT ITER 3226 NEW BEST:: SOT 33795 SOS 18165 HAS SOPS 18165 HAS SOUS 7940 HAS SOUPS 7940 WITH SCORE 7958.165
AT ITER 3228 NEW BEST:: SOT 33794 SOS 18164 HAS SOPS 18164 HAS SOUS 7938 HAS SOUPS 7938 WITH SCORE 7956.164
AT ITER 3229 NEW BEST:: SOT 33794 SOS 18164 HAS SOPS 18164 HAS SOUS 7930 HAS SOUPS 7930 WITH SCORE 7948.164
AT ITER 3237 NEW BEST:: SOT 33788 SOS 18184 HAS SOPS 18184 HAS SOUS 7925 HAS SOUPS 7925 WITH SCORE 7943.184
AT ITER 3273 NEW BEST:: SOT 33788 SOS 18181 HAS SOPS 18181 HAS SOUS 7922 HAS SOUPS 7922 WITH SCORE 7940.181
AT ITER 3280 NEW BEST:: SOT 33785 SOS 18178 HAS SOPS 18178 HAS SOUS 7919 HAS SOUPS 7919 WITH SCORE 7937.178
AT ITER 3341 NEW BEST:: SOT 33781 SOS 18174 HAS SOPS 18174 HAS SOUS 7919 HAS SOUPS 7919 WITH SCORE 7937.174
AT ITER 3354 NEW BEST:: SOT 33781 SOS 18174 HAS SOPS 18174 HAS SOUS 7914 HAS SOUPS 7914 WITH SCORE 7932.174
AT ITER 3423 NEW BEST:: SOT 33781 SOS 18173 HAS SOPS 18173 HAS SOUS 7914 HAS SOUPS 7914 WITH SCORE 7932.173
AT ITER 3425 NEW BEST:: SOT 33770 SOS 18175 HAS SOPS 18175 HAS SOUS 7911 HAS SOUPS 7911 WITH SCORE 7929.175
AT ITER 3434 NEW BEST:: SOT 33770 SOS 18175 HAS SOPS 18175 HAS SOUS 7907 HAS SOUPS 7907 WITH SCORE 7925.175
AT ITER 3500 NEW BEST:: SOT 33753 SOS 18158 HAS SOPS 18158 HAS SOUS 7873 HAS SOUPS 7873 WITH SCORE 7891.158
AT ITER 3572 NEW BEST:: SOT 33753 SOS 18154 HAS SOPS 18154 HAS SOUS 7873 HAS SOUPS 7873 WITH SCORE 7891.154
AT ITER 3610 NEW BEST:: SOT 33750 SOS 18151 HAS SOPS 18151 HAS SOUS 7867 HAS SOUPS 7867 WITH SCORE 7885.151
AT ITER 3619 NEW BEST:: SOT 33745 SOS 18146 HAS SOPS 18146 HAS SOUS 7861 HAS SOUPS 7861 WITH SCORE 7879.146
AT ITER 3647 NEW BEST:: SOT 33743 SOS 18153 HAS SOPS 18153 HAS SOUS 7857 HAS SOUPS 7857 WITH SCORE 7875.153
AT ITER 3648 NEW BEST:: SOT 33728 SOS 18138 HAS SOPS 18138 HAS SOUS 7827 HAS SOUPS 7827 WITH SCORE 7845.138
AT ITER 3679 NEW BEST:: SOT 33721 SOS 18131 HAS SOPS 18131 HAS SOUS 7815 HAS SOUPS 7815 WITH SCORE 7833.131
AT ITER 3704 NEW BEST:: SOT 33728 SOS 18138 HAS SOPS 18138 HAS SOUS 7812 HAS SOUPS 7812 WITH SCORE 7830.138
AT ITER 3729 NEW BEST:: SOT 33728 SOS 18138 HAS SOPS 18138 HAS SOUS 7811 HAS SOUPS 7811 WITH SCORE 7829.138
AT ITER 3756 NEW BEST:: SOT 33724 SOS 18134 HAS SOPS 18134 HAS SOUS 7807 HAS SOUPS 7807 WITH SCORE 7825.134
AT ITER 3764 NEW BEST:: SOT 33696 SOS 18122 HAS SOPS 18122 HAS SOUS 7795 HAS SOUPS 7795 WITH SCORE 7813.122
AT ITER 3938 NEW BEST:: SOT 33691 SOS 18111 HAS SOPS 18111 HAS SOUS 7787 HAS SOUPS 7787 WITH SCORE 7805.111
AT ITER 3953 NEW BEST:: SOT 33682 SOS 18102 HAS SOPS 18102 HAS SOUS 7769 HAS SOUPS 7769 WITH SCORE 7787.102
AT ITER 3959 NEW BEST:: SOT 33681 SOS 18063 HAS SOPS 18063 HAS SOUS 7766 HAS SOUPS 7766 WITH SCORE 7784.063
AT ITER 3982 NEW BEST:: SOT 33675 SOS 18057 HAS SOPS 18057 HAS SOUS 7760 HAS SOUPS 7760 WITH SCORE 7778.057
AT ITER 4039 NEW BEST:: SOT 33671 SOS 18053 HAS SOPS 18053 HAS SOUS 7756 HAS SOUPS 7756 WITH SCORE 7774.053
AT ITER 4065 NEW BEST:: SOT 33669 SOS 18049 HAS SOPS 18049 HAS SOUS 7750 HAS SOUPS 7750 WITH SCORE 7768.049
AT ITER 4098 NEW BEST:: SOT 33667 SOS 18046 HAS SOPS 18046 HAS SOUS 7747 HAS SOUPS 7747 WITH SCORE 7765.046
AT ITER 4112 NEW BEST:: SOT 33667 SOS 18043 HAS SOPS 18043 HAS SOUS 7744 HAS SOUPS 7744 WITH SCORE 7762.043
AT ITER 4148 NEW BEST:: SOT 33670 SOS 18046 HAS SOPS 18046 HAS SOUS 7739 HAS SOUPS 7739 WITH SCORE 7757.046
AT ITER 4209 NEW BEST:: SOT 33669 SOS 18045 HAS SOPS 18045 HAS SOUS 7738 HAS SOUPS 7738 WITH SCORE 7756.045
AT ITER 4291 NEW BEST:: SOT 33669 SOS 18045 HAS SOPS 18045 HAS SOUS 7736 HAS SOUPS 7736 WITH SCORE 7754.045
AT ITER 4295 NEW BEST:: SOT 33672 SOS 18048 HAS SOPS 18048 HAS SOUS 7725 HAS SOUPS 7725 WITH SCORE 7743.048
AT ITER 4316 NEW BEST:: SOT 33658 SOS 18034 HAS SOPS 18034 HAS SOUS 7710 HAS SOUPS 7710 WITH SCORE 7728.034
AT ITER 4331 NEW BEST:: SOT 33653 SOS 18033 HAS SOPS 18033 HAS SOUS 7704 HAS SOUPS 7704 WITH SCORE 7722.033
AT ITER 4347 NEW BEST:: SOT 33654 SOS 17886 HAS SOPS 17886 HAS SOUS 7696 HAS SOUPS 7696 WITH SCORE 7713.886
AT ITER 4368 NEW BEST:: SOT 33654 SOS 17872 HAS SOPS 17872 HAS SOUS 7696 HAS SOUPS 7696 WITH SCORE 7713.872
AT ITER 4380 NEW BEST:: SOT 33608 SOS 17826 HAS SOPS 17826 HAS SOUS 7659 HAS SOUPS 7659 WITH SCORE 7676.826
AT ITER 4396 NEW BEST:: SOT 33577 SOS 17817 HAS SOPS 17817 HAS SOUS 7646 HAS SOUPS 7646 WITH SCORE 7663.817
AT ITER 4402 NEW BEST:: SOT 33597 SOS 17359 HAS SOPS 17359 HAS SOUS 7636 HAS SOUPS 7636 WITH SCORE 7653.359
AT ITER 4403 NEW BEST:: SOT 33597 SOS 17345 HAS SOPS 17345 HAS SOUS 7636 HAS SOUPS 7636 WITH SCORE 7653.345
AT ITER 4420 NEW BEST:: SOT 33597 SOS 17343 HAS SOPS 17343 HAS SOUS 7636 HAS SOUPS 7636 WITH SCORE 7653.343
AT ITER 4443 NEW BEST:: SOT 33597 SOS 17343 HAS SOPS 17343 HAS SOUS 7621 HAS SOUPS 7621 WITH SCORE 7638.343
AT ITER 4492 NEW BEST:: SOT 33597 SOS 17325 HAS SOPS 17325 HAS SOUS 7621 HAS SOUPS 7621 WITH SCORE 7638.325
AT ITER 4495 NEW BEST:: SOT 33587 SOS 17315 HAS SOPS 17315 HAS SOUS 7621 HAS SOUPS 7621 WITH SCORE 7638.315
AT ITER 4526 NEW BEST:: SOT 33627 SOS 17355 HAS SOPS 17355 HAS SOUS 7620 HAS SOUPS 7620 WITH SCORE 7637.355
AT ITER 4551 NEW BEST:: SOT 33623 SOS 17347 HAS SOPS 17347 HAS SOUS 7612 HAS SOUPS 7612 WITH SCORE 7629.347
AT ITER 4553 NEW BEST:: SOT 33620 SOS 17344 HAS SOPS 17344 HAS SOUS 7606 HAS SOUPS 7606 WITH SCORE 7623.344
AT ITER 4563 NEW BEST:: SOT 33630 SOS 17344 HAS SOPS 17344 HAS SOUS 7605 HAS SOUPS 7605 WITH SCORE 7622.344
AT ITER 4608 NEW BEST:: SOT 33629 SOS 17343 HAS SOPS 17343 HAS SOUS 7603 HAS SOUPS 7603 WITH SCORE 7620.343
AT ITER 4633 NEW BEST:: SOT 33624 SOS 17338 HAS SOPS 17338 HAS SOUS 7603 HAS SOUPS 7603 WITH SCORE 7620.338
AT ITER 4696 NEW BEST:: SOT 33624 SOS 17338 HAS SOPS 17338 HAS SOUS 7602 HAS SOUPS 7602 WITH SCORE 7619.338
AT ITER 4716 NEW BEST:: SOT 33628 SOS 17342 HAS SOPS 17342 HAS SOUS 7595 HAS SOUPS 7595 WITH SCORE 7612.342
AT ITER 4747 NEW BEST:: SOT 33627 SOS 17335 HAS SOPS 17335 HAS SOUS 7593 HAS SOUPS 7593 WITH SCORE 7610.335
AT ITER 4764 NEW BEST:: SOT 33621 SOS 17363 HAS SOPS 17363 HAS SOUS 7591 HAS SOUPS 7591 WITH SCORE 7608.363
AT ITER 4768 NEW BEST:: SOT 33616 SOS 17358 HAS SOPS 17358 HAS SOUS 7586 HAS SOUPS 7586 WITH SCORE 7603.358
AT ITER 4838 NEW BEST:: SOT 33638 SOS 17380 HAS SOPS 17380 HAS SOUS 7576 HAS SOUPS 7576 WITH SCORE 7593.38
AT ITER 4865 NEW BEST:: SOT 33636 SOS 17378 HAS SOPS 17378 HAS SOUS 7574 HAS SOUPS 7574 WITH SCORE 7591.378
AT ITER 4877 NEW BEST:: SOT 33642 SOS 17216 HAS SOPS 17216 HAS SOUS 7572 HAS SOUPS 7572 WITH SCORE 7589.216
AT ITER 4879 NEW BEST:: SOT 33642 SOS 17154 HAS SOPS 17154 HAS SOUS 7569 HAS SOUPS 7569 WITH SCORE 7586.154
AT ITER 4883 NEW BEST:: SOT 33645 SOS 17157 HAS SOPS 17157 HAS SOUS 7565 HAS SOUPS 7565 WITH SCORE 7582.157
AT ITER 4898 NEW BEST:: SOT 33638 SOS 17150 HAS SOPS 17150 HAS SOUS 7551 HAS SOUPS 7551 WITH SCORE 7568.15
AT ITER 4939 NEW BEST:: SOT 33632 SOS 17168 HAS SOPS 17168 HAS SOUS 7548 HAS SOUPS 7548 WITH SCORE 7565.168
AT ITER 4997 NEW BEST:: SOT 33629 SOS 17165 HAS SOPS 17165 HAS SOUS 7542 HAS SOUPS 7542 WITH SCORE 7559.165
AT ITER 5014 NEW BEST:: SOT 33616 SOS 17152 HAS SOPS 17152 HAS SOUS 7516 HAS SOUPS 7516 WITH SCORE 7533.152
AT ITER 5017 NEW BEST:: SOT 33606 SOS 17142 HAS SOPS 17142 HAS SOUS 7496 HAS SOUPS 7496 WITH SCORE 7513.142
AT ITER 5021 NEW BEST:: SOT 33606 SOS 17139 HAS SOPS 17139 HAS SOUS 7496 HAS SOUPS 7496 WITH SCORE 7513.139
AT ITER 5084 NEW BEST:: SOT 33601 SOS 17134 HAS SOPS 17134 HAS SOUS 7486 HAS SOUPS 7486 WITH SCORE 7503.134
AT ITER 5099 NEW BEST:: SOT 33601 SOS 17114 HAS SOPS 17114 HAS SOUS 7486 HAS SOUPS 7486 WITH SCORE 7503.114
AT ITER 5102 NEW BEST:: SOT 33601 SOS 17114 HAS SOPS 17114 HAS SOUS 7480 HAS SOUPS 7480 WITH SCORE 7497.114
AT ITER 5114 NEW BEST:: SOT 33586 SOS 17099 HAS SOPS 17099 HAS SOUS 7463 HAS SOUPS 7463 WITH SCORE 7480.099
AT ITER 5126 NEW BEST:: SOT 33583 SOS 17096 HAS SOPS 17096 HAS SOUS 7457 HAS SOUPS 7457 WITH SCORE 7474.096
AT ITER 5127 NEW BEST:: SOT 33583 SOS 17096 HAS SOPS 17096 HAS SOUS 7456 HAS SOUPS 7456 WITH SCORE 7473.096
AT ITER 5131 NEW BEST:: SOT 33582 SOS 17095 HAS SOPS 17095 HAS SOUS 7455 HAS SOUPS 7455 WITH SCORE 7472.095
AT ITER 5198 NEW BEST:: SOT 33577 SOS 17098 HAS SOPS 17098 HAS SOUS 7414 HAS SOUPS 7414 WITH SCORE 7431.098
AT ITER 5230 NEW BEST:: SOT 33560 SOS 17081 HAS SOPS 17081 HAS SOUS 7395 HAS SOUPS 7395 WITH SCORE 7412.081
AT ITER 5246 NEW BEST:: SOT 33555 SOS 17076 HAS SOPS 17076 HAS SOUS 7390 HAS SOUPS 7390 WITH SCORE 7407.076
AT ITER 5248 NEW BEST:: SOT 33532 SOS 17053 HAS SOPS 17053 HAS SOUS 7357 HAS SOUPS 7357 WITH SCORE 7374.053
AT ITER 5251 NEW BEST:: SOT 33530 SOS 17051 HAS SOPS 17051 HAS SOUS 7354 HAS SOUPS 7354 WITH SCORE 7371.051
AT ITER 5270 NEW BEST:: SOT 33530 SOS 17048 HAS SOPS 17048 HAS SOUS 7354 HAS SOUPS 7354 WITH SCORE 7371.048
AT ITER 5303 NEW BEST:: SOT 33531 SOS 16944 HAS SOPS 16944 HAS SOUS 7350 HAS SOUPS 7350 WITH SCORE 7366.944
AT ITER 5312 NEW BEST:: SOT 33531 SOS 16943 HAS SOPS 16943 HAS SOUS 7349 HAS SOUPS 7349 WITH SCORE 7365.943
AT ITER 5320 NEW BEST:: SOT 33524 SOS 16936 HAS SOPS 16936 HAS SOUS 7343 HAS SOUPS 7343 WITH SCORE 7359.936
AT ITER 5359 NEW BEST:: SOT 33521 SOS 16933 HAS SOPS 16933 HAS SOUS 7337 HAS SOUPS 7337 WITH SCORE 7353.933
AT ITER 5480 NEW BEST:: SOT 33517 SOS 16935 HAS SOPS 16935 HAS SOUS 7335 HAS SOUPS 7335 WITH SCORE 7351.935
AT ITER 5497 NEW BEST:: SOT 33507 SOS 16931 HAS SOPS 16931 HAS SOUS 7335 HAS SOUPS 7335 WITH SCORE 7351.931
AT ITER 5502 NEW BEST:: SOT 33501 SOS 16899 HAS SOPS 16899 HAS SOUS 7269 HAS SOUPS 7269 WITH SCORE 7285.899
AT ITER 5507 NEW BEST:: SOT 33499 SOS 16897 HAS SOPS 16897 HAS SOUS 7261 HAS SOUPS 7261 WITH SCORE 7277.897
AT ITER 5531 NEW BEST:: SOT 33498 SOS 16896 HAS SOPS 16896 HAS SOUS 7260 HAS SOUPS 7260 WITH SCORE 7276.896
AT ITER 5557 NEW BEST:: SOT 33495 SOS 16893 HAS SOPS 16893 HAS SOUS 7254 HAS SOUPS 7254 WITH SCORE 7270.893
AT ITER 5616 NEW BEST:: SOT 33503 SOS 16901 HAS SOPS 16901 HAS SOUS 7246 HAS SOUPS 7246 WITH SCORE 7262.901
AT ITER 5634 NEW BEST:: SOT 33501 SOS 16899 HAS SOPS 16899 HAS SOUS 7242 HAS SOUPS 7242 WITH SCORE 7258.899
AT ITER 5769 NEW BEST:: SOT 33501 SOS 16892 HAS SOPS 16892 HAS SOUS 7242 HAS SOUPS 7242 WITH SCORE 7258.892
AT ITER 5787 NEW BEST:: SOT 33498 SOS 16889 HAS SOPS 16889 HAS SOUS 7236 HAS SOUPS 7236 WITH SCORE 7252.889
AT ITER 5815 NEW BEST:: SOT 33498 SOS 16889 HAS SOPS 16889 HAS SOUS 7228 HAS SOUPS 7228 WITH SCORE 7244.889
AT ITER 5862 NEW BEST:: SOT 33505 SOS 16896 HAS SOPS 16896 HAS SOUS 7221 HAS SOUPS 7221 WITH SCORE 7237.896
AT ITER 5913 NEW BEST:: SOT 33500 SOS 16891 HAS SOPS 16891 HAS SOUS 7211 HAS SOUPS 7211 WITH SCORE 7227.891
AT ITER 5946 NEW BEST:: SOT 33498 SOS 16889 HAS SOPS 16889 HAS SOUS 7207 HAS SOUPS 7207 WITH SCORE 7223.889
AT ITER 5986 NEW BEST:: SOT 33488 SOS 16879 HAS SOPS 16879 HAS SOUS 7197 HAS SOUPS 7197 WITH SCORE 7213.879
AT ITER 6005 NEW BEST:: SOT 33504 SOS 16877 HAS SOPS 16877 HAS SOUS 7193 HAS SOUPS 7193 WITH SCORE 7209.877
AT ITER 6014 NEW BEST:: SOT 33499 SOS 16877 HAS SOPS 16877 HAS SOUS 7183 HAS SOUPS 7183 WITH SCORE 7199.877
AT ITER 6086 NEW BEST:: SOT 33483 SOS 16861 HAS SOPS 16861 HAS SOUS 7151 HAS SOUPS 7151 WITH SCORE 7167.861
AT ITER 6125 NEW BEST:: SOT 33492 SOS 16713 HAS SOPS 16713 HAS SOUS 7142 HAS SOUPS 7142 WITH SCORE 7158.713
AT ITER 6186 NEW BEST:: SOT 33487 SOS 16708 HAS SOPS 16708 HAS SOUS 7131 HAS SOUPS 7131 WITH SCORE 7147.708
AT ITER 6192 NEW BEST:: SOT 33487 SOS 16708 HAS SOPS 16708 HAS SOUS 7128 HAS SOUPS 7128 WITH SCORE 7144.708
AT ITER 6210 NEW BEST:: SOT 33490 SOS 16646 HAS SOPS 16646 HAS SOUS 7126 HAS SOUPS 7126 WITH SCORE 7142.646
AT ITER 6229 NEW BEST:: SOT 33490 SOS 16642 HAS SOPS 16642 HAS SOUS 7126 HAS SOUPS 7126 WITH SCORE 7142.642
AT ITER 6366 NEW BEST:: SOT 33488 SOS 16638 HAS SOPS 16638 HAS SOUS 7124 HAS SOUPS 7124 WITH SCORE 7140.638
AT ITER 6386 NEW BEST:: SOT 33490 SOS 16629 HAS SOPS 16629 HAS SOUS 7115 HAS SOUPS 7115 WITH SCORE 7131.629
AT ITER 6412 NEW BEST:: SOT 33487 SOS 16626 HAS SOPS 16626 HAS SOUS 7109 HAS SOUPS 7109 WITH SCORE 7125.626
AT ITER 6622 NEW BEST:: SOT 33482 SOS 16621 HAS SOPS 16621 HAS SOUS 7099 HAS SOUPS 7099 WITH SCORE 7115.621
AT ITER 6654 NEW BEST:: SOT 33484 SOS 16623 HAS SOPS 16623 HAS SOUS 7080 HAS SOUPS 7080 WITH SCORE 7096.623
AT ITER 6770 NEW BEST:: SOT 33482 SOS 16621 HAS SOPS 16621 HAS SOUS 7080 HAS SOUPS 7080 WITH SCORE 7096.621
AT ITER 6780 NEW BEST:: SOT 33482 SOS 16626 HAS SOPS 16626 HAS SOUS 7074 HAS SOUPS 7074 WITH SCORE 7090.626
AT ITER 6802 NEW BEST:: SOT 33481 SOS 16625 HAS SOPS 16625 HAS SOUS 7072 HAS SOUPS 7072 WITH SCORE 7088.625
AT ITER 6833 NEW BEST:: SOT 33479 SOS 16623 HAS SOPS 16623 HAS SOUS 7058 HAS SOUPS 7058 WITH SCORE 7074.623
AT ITER 6966 NEW BEST:: SOT 33479 SOS 16623 HAS SOPS 16623 HAS SOUS 7056 HAS SOUPS 7056 WITH SCORE 7072.623
AT ITER 6969 NEW BEST:: SOT 33481 SOS 16548 HAS SOPS 16548 HAS SOUS 7055 HAS SOUPS 7055 WITH SCORE 7071.548
AT ITER 6974 NEW BEST:: SOT 33462 SOS 16521 HAS SOPS 16521 HAS SOUS 7032 HAS SOUPS 7032 WITH SCORE 7048.521
AT ITER 6977 NEW BEST:: SOT 33455 SOS 16583 HAS SOPS 16583 HAS SOUS 7030 HAS SOUPS 7030 WITH SCORE 7046.583
AT ITER 6982 NEW BEST:: SOT 33453 SOS 16581 HAS SOPS 16581 HAS SOUS 7026 HAS SOUPS 7026 WITH SCORE 7042.581
AT ITER 6999 NEW BEST:: SOT 33453 SOS 16581 HAS SOPS 16581 HAS SOUS 7024 HAS SOUPS 7024 WITH SCORE 7040.581
AT ITER 7059 NEW BEST:: SOT 33449 SOS 16577 HAS SOPS 16577 HAS SOUS 7016 HAS SOUPS 7016 WITH SCORE 7032.577
AT ITER 7080 NEW BEST:: SOT 33398 SOS 16526 HAS SOPS 16526 HAS SOUS 6968 HAS SOUPS 6968 WITH SCORE 6984.526
AT ITER 7083 NEW BEST:: SOT 33398 SOS 16523 HAS SOPS 16523 HAS SOUS 6968 HAS SOUPS 6968 WITH SCORE 6984.523
AT ITER 7093 NEW BEST:: SOT 33397 SOS 16538 HAS SOPS 16538 HAS SOUS 6967 HAS SOUPS 6967 WITH SCORE 6983.538
AT ITER 7146 NEW BEST:: SOT 33398 SOS 16536 HAS SOPS 16536 HAS SOUS 6966 HAS SOUPS 6966 WITH SCORE 6982.536
AT ITER 7199 NEW BEST:: SOT 33411 SOS 16535 HAS SOPS 16535 HAS SOUS 6961 HAS SOUPS 6961 WITH SCORE 6977.535
AT ITER 7206 NEW BEST:: SOT 33404 SOS 16524 HAS SOPS 16524 HAS SOUS 6947 HAS SOUPS 6947 WITH SCORE 6963.524
AT ITER 7264 NEW BEST:: SOT 33399 SOS 16519 HAS SOPS 16519 HAS SOUS 6937 HAS SOUPS 6937 WITH SCORE 6953.519
AT ITER 7268 NEW BEST:: SOT 33397 SOS 16517 HAS SOPS 16517 HAS SOUS 6933 HAS SOUPS 6933 WITH SCORE 6949.517
AT ITER 7278 NEW BEST:: SOT 33384 SOS 16578 HAS SOPS 16578 HAS SOUS 6925 HAS SOUPS 6925 WITH SCORE 6941.578
AT ITER 7302 NEW BEST:: SOT 33380 SOS 16574 HAS SOPS 16574 HAS SOUS 6924 HAS SOUPS 6924 WITH SCORE 6940.574
AT ITER 7346 NEW BEST:: SOT 33364 SOS 16533 HAS SOPS 16533 HAS SOUS 6892 HAS SOUPS 6892 WITH SCORE 6908.533
AT ITER 7348 NEW BEST:: SOT 33368 SOS 16537 HAS SOPS 16537 HAS SOUS 6891 HAS SOUPS 6891 WITH SCORE 6907.537
AT ITER 7351 NEW BEST:: SOT 33367 SOS 16536 HAS SOPS 16536 HAS SOUS 6889 HAS SOUPS 6889 WITH SCORE 6905.536
AT ITER 7526 NEW BEST:: SOT 33365 SOS 16544 HAS SOPS 16544 HAS SOUS 6881 HAS SOUPS 6881 WITH SCORE 6897.544
AT ITER 7532 NEW BEST:: SOT 33364 SOS 16543 HAS SOPS 16543 HAS SOUS 6878 HAS SOUPS 6878 WITH SCORE 6894.543
AT ITER 7552 NEW BEST:: SOT 33363 SOS 16538 HAS SOPS 16538 HAS SOUS 6874 HAS SOUPS 6874 WITH SCORE 6890.538
AT ITER 7666 NEW BEST:: SOT 33363 SOS 16538 HAS SOPS 16538 HAS SOUS 6871 HAS SOUPS 6871 WITH SCORE 6887.538
AT ITER 7684 NEW BEST:: SOT 33364 SOS 16529 HAS SOPS 16529 HAS SOUS 6869 HAS SOUPS 6869 WITH SCORE 6885.529
AT ITER 7794 NEW BEST:: SOT 33363 SOS 16528 HAS SOPS 16528 HAS SOUS 6867 HAS SOUPS 6867 WITH SCORE 6883.528
AT ITER 7873 NEW BEST:: SOT 33376 SOS 16569 HAS SOPS 16569 HAS SOUS 6865 HAS SOUPS 6865 WITH SCORE 6881.569
AT ITER 7882 NEW BEST:: SOT 33375 SOS 16568 HAS SOPS 16568 HAS SOUS 6863 HAS SOUPS 6863 WITH SCORE 6879.568
AT ITER 7940 NEW BEST:: SOT 33374 SOS 16567 HAS SOPS 16567 HAS SOUS 6861 HAS SOUPS 6861 WITH SCORE 6877.567
AT ITER 8021 NEW BEST:: SOT 33364 SOS 16557 HAS SOPS 16557 HAS SOUS 6841 HAS SOUPS 6841 WITH SCORE 6857.557
AT ITER 8026 NEW BEST:: SOT 33362 SOS 16555 HAS SOPS 16555 HAS SOUS 6839 HAS SOUPS 6839 WITH SCORE 6855.555
AT ITER 8029 NEW BEST:: SOT 33355 SOS 16548 HAS SOPS 16548 HAS SOUS 6835 HAS SOUPS 6835 WITH SCORE 6851.548
AT ITER 8103 NEW BEST:: SOT 33345 SOS 16538 HAS SOPS 16538 HAS SOUS 6815 HAS SOUPS 6815 WITH SCORE 6831.538
AT ITER 8148 NEW BEST:: SOT 33344 SOS 16536 HAS SOPS 16536 HAS SOUS 6814 HAS SOUPS 6814 WITH SCORE 6830.536
AT ITER 8173 NEW BEST:: SOT 33343 SOS 16527 HAS SOPS 16527 HAS SOUS 6814 HAS SOUPS 6814 WITH SCORE 6830.527
AT ITER 8196 NEW BEST:: SOT 33341 SOS 16541 HAS SOPS 16541 HAS SOUS 6813 HAS SOUPS 6813 WITH SCORE 6829.541
AT ITER 8219 NEW BEST:: SOT 33331 SOS 16531 HAS SOPS 16531 HAS SOUS 6810 HAS SOUPS 6810 WITH SCORE 6826.531
AT ITER 8257 NEW BEST:: SOT 33332 SOS 16532 HAS SOPS 16532 HAS SOUS 6776 HAS SOUPS 6776 WITH SCORE 6792.532
AT ITER 8383 NEW BEST:: SOT 33330 SOS 16530 HAS SOPS 16530 HAS SOUS 6772 HAS SOUPS 6772 WITH SCORE 6788.53
AT ITER 8436 NEW BEST:: SOT 33330 SOS 16530 HAS SOPS 16530 HAS SOUS 6770 HAS SOUPS 6770 WITH SCORE 6786.53
AT ITER 8518 NEW BEST:: SOT 33330 SOS 16530 HAS SOPS 16530 HAS SOUS 6769 HAS SOUPS 6769 WITH SCORE 6785.53
AT ITER 8669 NEW BEST:: SOT 33330 SOS 16530 HAS SOPS 16530 HAS SOUS 6764 HAS SOUPS 6764 WITH SCORE 6780.53
AT ITER 8780 NEW BEST:: SOT 33329 SOS 16529 HAS SOPS 16529 HAS SOUS 6762 HAS SOUPS 6762 WITH SCORE 6778.529
AT ITER 8915 NEW BEST:: SOT 33326 SOS 16526 HAS SOPS 16526 HAS SOUS 6762 HAS SOUPS 6762 WITH SCORE 6778.526
AT ITER 8981 NEW BEST:: SOT 33325 SOS 16525 HAS SOPS 16525 HAS SOUS 6757 HAS SOUPS 6757 WITH SCORE 6773.525
AT ITER 9087 NEW BEST:: SOT 33325 SOS 16525 HAS SOPS 16525 HAS SOUS 6747 HAS SOUPS 6747 WITH SCORE 6763.525
AT ITER 9118 NEW BEST:: SOT 33325 SOS 16520 HAS SOPS 16520 HAS SOUS 6747 HAS SOUPS 6747 WITH SCORE 6763.52
AT ITER 9185 NEW BEST:: SOT 33329 SOS 16534 HAS SOPS 16534 HAS SOUS 6745 HAS SOUPS 6745 WITH SCORE 6761.534
AT ITER 9196 NEW BEST:: SOT 33323 SOS 16528 HAS SOPS 16528 HAS SOUS 6745 HAS SOUPS 6745 WITH SCORE 6761.528
AT ITER 9227 NEW BEST:: SOT 33322 SOS 16527 HAS SOPS 16527 HAS SOUS 6743 HAS SOUPS 6743 WITH SCORE 6759.527
AT ITER 9272 NEW BEST:: SOT 33323 SOS 16525 HAS SOPS 16525 HAS SOUS 6741 HAS SOUPS 6741 WITH SCORE 6757.525
AT ITER 9297 NEW BEST:: SOT 33328 SOS 16533 HAS SOPS 16533 HAS SOUS 6734 HAS SOUPS 6734 WITH SCORE 6750.533
AT ITER 9543 NEW BEST:: SOT 33329 SOS 16522 HAS SOPS 16522 HAS SOUS 6734 HAS SOUPS 6734 WITH SCORE 6750.522
AT ITER 9672 NEW BEST:: SOT 33329 SOS 16521 HAS SOPS 16521 HAS SOUS 6733 HAS SOUPS 6733 WITH SCORE 6749.521
AT ITER 9708 NEW BEST:: SOT 33327 SOS 16519 HAS SOPS 16519 HAS SOUS 6729 HAS SOUPS 6729 WITH SCORE 6745.519
AT ITER 9736 NEW BEST:: SOT 33317 SOS 16509 HAS SOPS 16509 HAS SOUS 6729 HAS SOUPS 6729 WITH SCORE 6745.509
AT ITER 9758 NEW BEST:: SOT 33316 SOS 16508 HAS SOPS 16508 HAS SOUS 6727 HAS SOUPS 6727 WITH SCORE 6743.508
AT ITER 9759 NEW BEST:: SOT 33316 SOS 16508 HAS SOPS 16508 HAS SOUS 6720 HAS SOUPS 6720 WITH SCORE 6736.508
AT ITER 9781 NEW BEST:: SOT 33307 SOS 16499 HAS SOPS 16499 HAS SOUS 6711 HAS SOUPS 6711 WITH SCORE 6727.499
AT ITER 9806 NEW BEST:: SOT 33307 SOS 16497 HAS SOPS 16497 HAS SOUS 6711 HAS SOUPS 6711 WITH SCORE 6727.497
AT ITER 9824 NEW BEST:: SOT 33307 SOS 16488 HAS SOPS 16488 HAS SOUS 6711 HAS SOUPS 6711 WITH SCORE 6727.488
AT ITER 9833 NEW BEST:: SOT 33307 SOS 16486 HAS SOPS 16486 HAS SOUS 6709 HAS SOUPS 6709 WITH SCORE 6725.486
STATE_SPACE STATES 6959447840118 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 9 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 30 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 70856659624579 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678521860623

--------------------
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="HirschbergSinclair-PT-10"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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

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