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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 564K
-rw-r--r-- 1 mcc users 8.1K Feb 26 15:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 89K Feb 26 15:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 26 15:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 26 15:46 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:15 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:15 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K 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 14K Feb 26 15:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 155K Feb 26 15:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 26 15:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 26 15:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K 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 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 78K 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 1678551474236

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=HospitalTriage-PT-none
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HospitalTriage (PT), instance none
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: 245 places, 228 transitions, 680 arcs.
AT ITER 0 NEW BEST:: SOT 37187 SOS 16015 HAS SOPS 16015 HAS SOUS 12195 HAS SOUPS 12195 WITH SCORE 12211.015
AT ITER 17 NEW BEST:: SOT 37164 SOS 15992 HAS SOPS 15992 HAS SOUS 12180 HAS SOUPS 12180 WITH SCORE 12195.992
AT ITER 18 NEW BEST:: SOT 37110 SOS 15884 HAS SOPS 15884 HAS SOUS 12056 HAS SOUPS 12056 WITH SCORE 12071.884
AT ITER 23 NEW BEST:: SOT 37077 SOS 15851 HAS SOPS 15851 HAS SOUS 11973 HAS SOUPS 11973 WITH SCORE 11988.851
AT ITER 26 NEW BEST:: SOT 37053 SOS 15803 HAS SOPS 15803 HAS SOUS 11925 HAS SOUPS 11925 WITH SCORE 11940.803
AT ITER 27 NEW BEST:: SOT 37036 SOS 15786 HAS SOPS 15786 HAS SOUS 11908 HAS SOUPS 11908 WITH SCORE 11923.786
AT ITER 32 NEW BEST:: SOT 37009 SOS 15792 HAS SOPS 15792 HAS SOUS 11876 HAS SOUPS 11876 WITH SCORE 11891.792
AT ITER 40 NEW BEST:: SOT 34994 SOS 22605 HAS SOPS 22605 HAS SOUS 10884 HAS SOUPS 10884 WITH SCORE 10906.605
AT ITER 41 NEW BEST:: SOT 34977 SOS 22645 HAS SOPS 22645 HAS SOUS 10860 HAS SOUPS 10860 WITH SCORE 10882.645
AT ITER 50 NEW BEST:: SOT 34970 SOS 22620 HAS SOPS 22620 HAS SOUS 10835 HAS SOUPS 10835 WITH SCORE 10857.62
AT ITER 54 NEW BEST:: SOT 34915 SOS 22565 HAS SOPS 22565 HAS SOUS 10832 HAS SOUPS 10832 WITH SCORE 10854.565
AT ITER 57 NEW BEST:: SOT 34907 SOS 22557 HAS SOPS 22557 HAS SOUS 10810 HAS SOUPS 10810 WITH SCORE 10832.557
AT ITER 60 NEW BEST:: SOT 34877 SOS 22477 HAS SOPS 22477 HAS SOUS 10750 HAS SOUPS 10750 WITH SCORE 10772.477
AT ITER 68 NEW BEST:: SOT 34854 SOS 22415 HAS SOPS 22415 HAS SOUS 10688 HAS SOUPS 10688 WITH SCORE 10710.415
AT ITER 69 NEW BEST:: SOT 34860 SOS 22421 HAS SOPS 22421 HAS SOUS 10671 HAS SOUPS 10671 WITH SCORE 10693.421
AT ITER 77 NEW BEST:: SOT 34860 SOS 22421 HAS SOPS 22421 HAS SOUS 10665 HAS SOUPS 10665 WITH SCORE 10687.421
AT ITER 84 NEW BEST:: SOT 34901 SOS 22390 HAS SOPS 22390 HAS SOUS 10643 HAS SOUPS 10643 WITH SCORE 10665.39
AT ITER 94 NEW BEST:: SOT 34875 SOS 22364 HAS SOPS 22364 HAS SOUS 10617 HAS SOUPS 10617 WITH SCORE 10639.364
AT ITER 105 NEW BEST:: SOT 34875 SOS 22364 HAS SOPS 22364 HAS SOUS 10616 HAS SOUPS 10616 WITH SCORE 10638.364
AT ITER 106 NEW BEST:: SOT 34875 SOS 22340 HAS SOPS 22340 HAS SOUS 10604 HAS SOUPS 10604 WITH SCORE 10626.34
AT ITER 109 NEW BEST:: SOT 34875 SOS 22327 HAS SOPS 22327 HAS SOUS 10601 HAS SOUPS 10601 WITH SCORE 10623.327
AT ITER 112 NEW BEST:: SOT 34865 SOS 22307 HAS SOPS 22307 HAS SOUS 10582 HAS SOUPS 10582 WITH SCORE 10604.307
AT ITER 126 NEW BEST:: SOT 34865 SOS 22203 HAS SOPS 22203 HAS SOUS 10543 HAS SOUPS 10543 WITH SCORE 10565.203
AT ITER 132 NEW BEST:: SOT 34857 SOS 22156 HAS SOPS 22156 HAS SOUS 10496 HAS SOUPS 10496 WITH SCORE 10518.156
AT ITER 134 NEW BEST:: SOT 34857 SOS 22148 HAS SOPS 22148 HAS SOUS 10488 HAS SOUPS 10488 WITH SCORE 10510.148
AT ITER 135 NEW BEST:: SOT 34859 SOS 22144 HAS SOPS 22144 HAS SOUS 10484 HAS SOUPS 10484 WITH SCORE 10506.144
AT ITER 141 NEW BEST:: SOT 34828 SOS 22113 HAS SOPS 22113 HAS SOUS 10459 HAS SOUPS 10459 WITH SCORE 10481.113
AT ITER 145 NEW BEST:: SOT 34812 SOS 22105 HAS SOPS 22105 HAS SOUS 10443 HAS SOUPS 10443 WITH SCORE 10465.105
AT ITER 146 NEW BEST:: SOT 34798 SOS 22091 HAS SOPS 22091 HAS SOUS 10429 HAS SOUPS 10429 WITH SCORE 10451.091
AT ITER 148 NEW BEST:: SOT 34798 SOS 22057 HAS SOPS 22057 HAS SOUS 10429 HAS SOUPS 10429 WITH SCORE 10451.057
AT ITER 153 NEW BEST:: SOT 34798 SOS 22043 HAS SOPS 22043 HAS SOUS 10422 HAS SOUPS 10422 WITH SCORE 10444.043
AT ITER 154 NEW BEST:: SOT 34811 SOS 22002 HAS SOPS 22002 HAS SOUS 10394 HAS SOUPS 10394 WITH SCORE 10416.002
AT ITER 162 NEW BEST:: SOT 34801 SOS 22025 HAS SOPS 22025 HAS SOUS 10374 HAS SOUPS 10374 WITH SCORE 10396.025
AT ITER 165 NEW BEST:: SOT 34801 SOS 22024 HAS SOPS 22024 HAS SOUS 10373 HAS SOUPS 10373 WITH SCORE 10395.024
AT ITER 167 NEW BEST:: SOT 34772 SOS 21928 HAS SOPS 21928 HAS SOUS 10346 HAS SOUPS 10346 WITH SCORE 10367.928
AT ITER 178 NEW BEST:: SOT 34738 SOS 21894 HAS SOPS 21894 HAS SOUS 10278 HAS SOUPS 10278 WITH SCORE 10299.894
AT ITER 179 NEW BEST:: SOT 34722 SOS 21804 HAS SOPS 21804 HAS SOUS 10209 HAS SOUPS 10209 WITH SCORE 10230.804
AT ITER 181 NEW BEST:: SOT 34662 SOS 17459 HAS SOPS 17459 HAS SOUS 10064 HAS SOUPS 10064 WITH SCORE 10081.459
AT ITER 186 NEW BEST:: SOT 34645 SOS 17478 HAS SOPS 17478 HAS SOUS 10057 HAS SOUPS 10057 WITH SCORE 10074.478
AT ITER 187 NEW BEST:: SOT 34617 SOS 17422 HAS SOPS 17422 HAS SOUS 10029 HAS SOUPS 10029 WITH SCORE 10046.422
AT ITER 189 NEW BEST:: SOT 34596 SOS 17327 HAS SOPS 17327 HAS SOUS 9987 HAS SOUPS 9987 WITH SCORE 10004.327
AT ITER 196 NEW BEST:: SOT 34564 SOS 17305 HAS SOPS 17305 HAS SOUS 9957 HAS SOUPS 9957 WITH SCORE 9974.305
AT ITER 198 NEW BEST:: SOT 34564 SOS 17305 HAS SOPS 17305 HAS SOUS 9953 HAS SOUPS 9953 WITH SCORE 9970.305
AT ITER 201 NEW BEST:: SOT 34562 SOS 17303 HAS SOPS 17303 HAS SOUS 9949 HAS SOUPS 9949 WITH SCORE 9966.303
AT ITER 210 NEW BEST:: SOT 34521 SOS 17225 HAS SOPS 17225 HAS SOUS 9891 HAS SOUPS 9891 WITH SCORE 9908.225
AT ITER 211 NEW BEST:: SOT 34507 SOS 17239 HAS SOPS 17239 HAS SOUS 9864 HAS SOUPS 9864 WITH SCORE 9881.239
AT ITER 213 NEW BEST:: SOT 34498 SOS 17241 HAS SOPS 17241 HAS SOUS 9846 HAS SOUPS 9846 WITH SCORE 9863.241
AT ITER 217 NEW BEST:: SOT 34485 SOS 17228 HAS SOPS 17228 HAS SOUS 9833 HAS SOUPS 9833 WITH SCORE 9850.228
AT ITER 231 NEW BEST:: SOT 34445 SOS 14383 HAS SOPS 14383 HAS SOUS 9736 HAS SOUPS 9736 WITH SCORE 9750.383
AT ITER 233 NEW BEST:: SOT 34440 SOS 14442 HAS SOPS 14442 HAS SOUS 9726 HAS SOUPS 9726 WITH SCORE 9740.442
AT ITER 251 NEW BEST:: SOT 34437 SOS 14439 HAS SOPS 14439 HAS SOUS 9720 HAS SOUPS 9720 WITH SCORE 9734.439
AT ITER 259 NEW BEST:: SOT 34429 SOS 14430 HAS SOPS 14430 HAS SOUS 9712 HAS SOUPS 9712 WITH SCORE 9726.43
AT ITER 269 NEW BEST:: SOT 34429 SOS 14429 HAS SOPS 14429 HAS SOUS 9712 HAS SOUPS 9712 WITH SCORE 9726.429
AT ITER 278 NEW BEST:: SOT 34440 SOS 14345 HAS SOPS 14345 HAS SOUS 9698 HAS SOUPS 9698 WITH SCORE 9712.345
AT ITER 303 NEW BEST:: SOT 34475 SOS 13635 HAS SOPS 13635 HAS SOUS 9691 HAS SOUPS 9691 WITH SCORE 9704.635
AT ITER 306 NEW BEST:: SOT 34475 SOS 13628 HAS SOPS 13628 HAS SOUS 9684 HAS SOUPS 9684 WITH SCORE 9697.628
AT ITER 312 NEW BEST:: SOT 34487 SOS 13638 HAS SOPS 13638 HAS SOUS 9676 HAS SOUPS 9676 WITH SCORE 9689.638
AT ITER 325 NEW BEST:: SOT 34502 SOS 13653 HAS SOPS 13653 HAS SOUS 9604 HAS SOUPS 9604 WITH SCORE 9617.653
AT ITER 327 NEW BEST:: SOT 34497 SOS 13642 HAS SOPS 13642 HAS SOUS 9595 HAS SOUPS 9595 WITH SCORE 9608.642
AT ITER 349 NEW BEST:: SOT 34473 SOS 13618 HAS SOPS 13618 HAS SOUS 9547 HAS SOUPS 9547 WITH SCORE 9560.618
AT ITER 365 NEW BEST:: SOT 34459 SOS 13590 HAS SOPS 13590 HAS SOUS 9539 HAS SOUPS 9539 WITH SCORE 9552.59
AT ITER 367 NEW BEST:: SOT 34459 SOS 13574 HAS SOPS 13574 HAS SOUS 9531 HAS SOUPS 9531 WITH SCORE 9544.574
AT ITER 371 NEW BEST:: SOT 34453 SOS 13579 HAS SOPS 13579 HAS SOUS 9528 HAS SOUPS 9528 WITH SCORE 9541.579
AT ITER 372 NEW BEST:: SOT 34445 SOS 13563 HAS SOPS 13563 HAS SOUS 9499 HAS SOUPS 9499 WITH SCORE 9512.563
AT ITER 379 NEW BEST:: SOT 34445 SOS 13545 HAS SOPS 13545 HAS SOUS 9481 HAS SOUPS 9481 WITH SCORE 9494.545
AT ITER 386 NEW BEST:: SOT 34418 SOS 13518 HAS SOPS 13518 HAS SOUS 9454 HAS SOUPS 9454 WITH SCORE 9467.518
AT ITER 392 NEW BEST:: SOT 34385 SOS 13651 HAS SOPS 13651 HAS SOUS 9421 HAS SOUPS 9421 WITH SCORE 9434.651
AT ITER 399 NEW BEST:: SOT 34377 SOS 13635 HAS SOPS 13635 HAS SOUS 9405 HAS SOUPS 9405 WITH SCORE 9418.635
AT ITER 422 NEW BEST:: SOT 34383 SOS 13641 HAS SOPS 13641 HAS SOUS 9381 HAS SOUPS 9381 WITH SCORE 9394.641
AT ITER 428 NEW BEST:: SOT 34339 SOS 13597 HAS SOPS 13597 HAS SOUS 9381 HAS SOUPS 9381 WITH SCORE 9394.597
AT ITER 429 NEW BEST:: SOT 34320 SOS 13597 HAS SOPS 13597 HAS SOUS 9376 HAS SOUPS 9376 WITH SCORE 9389.597
AT ITER 440 NEW BEST:: SOT 34336 SOS 13613 HAS SOPS 13613 HAS SOUS 9358 HAS SOUPS 9358 WITH SCORE 9371.613
AT ITER 473 NEW BEST:: SOT 34314 SOS 13591 HAS SOPS 13591 HAS SOUS 9352 HAS SOUPS 9352 WITH SCORE 9365.591
AT ITER 479 NEW BEST:: SOT 34318 SOS 13595 HAS SOPS 13595 HAS SOUS 9323 HAS SOUPS 9323 WITH SCORE 9336.595
AT ITER 509 NEW BEST:: SOT 34320 SOS 13597 HAS SOPS 13597 HAS SOUS 9318 HAS SOUPS 9318 WITH SCORE 9331.597
AT ITER 516 NEW BEST:: SOT 34320 SOS 13597 HAS SOPS 13597 HAS SOUS 9315 HAS SOUPS 9315 WITH SCORE 9328.597
AT ITER 517 NEW BEST:: SOT 34332 SOS 13618 HAS SOPS 13618 HAS SOUS 9296 HAS SOUPS 9296 WITH SCORE 9309.618
AT ITER 521 NEW BEST:: SOT 34332 SOS 13610 HAS SOPS 13610 HAS SOUS 9296 HAS SOUPS 9296 WITH SCORE 9309.61
AT ITER 523 NEW BEST:: SOT 34319 SOS 13631 HAS SOPS 13631 HAS SOUS 9274 HAS SOUPS 9274 WITH SCORE 9287.631
AT ITER 528 NEW BEST:: SOT 34307 SOS 13619 HAS SOPS 13619 HAS SOUS 9250 HAS SOUPS 9250 WITH SCORE 9263.619
AT ITER 529 NEW BEST:: SOT 34298 SOS 13610 HAS SOPS 13610 HAS SOUS 9240 HAS SOUPS 9240 WITH SCORE 9253.61
AT ITER 537 NEW BEST:: SOT 34298 SOS 13610 HAS SOPS 13610 HAS SOUS 9239 HAS SOUPS 9239 WITH SCORE 9252.61
AT ITER 541 NEW BEST:: SOT 34297 SOS 13609 HAS SOPS 13609 HAS SOUS 9237 HAS SOUPS 9237 WITH SCORE 9250.609
AT ITER 548 NEW BEST:: SOT 34295 SOS 13607 HAS SOPS 13607 HAS SOUS 9231 HAS SOUPS 9231 WITH SCORE 9244.607
AT ITER 563 NEW BEST:: SOT 34295 SOS 13607 HAS SOPS 13607 HAS SOUS 9220 HAS SOUPS 9220 WITH SCORE 9233.607
AT ITER 565 NEW BEST:: SOT 34295 SOS 13602 HAS SOPS 13602 HAS SOUS 9220 HAS SOUPS 9220 WITH SCORE 9233.602
AT ITER 570 NEW BEST:: SOT 34295 SOS 13316 HAS SOPS 13316 HAS SOUS 9220 HAS SOUPS 9220 WITH SCORE 9233.316
AT ITER 585 NEW BEST:: SOT 34291 SOS 13320 HAS SOPS 13320 HAS SOUS 9216 HAS SOUPS 9216 WITH SCORE 9229.32
AT ITER 593 NEW BEST:: SOT 34288 SOS 13314 HAS SOPS 13314 HAS SOUS 9213 HAS SOUPS 9213 WITH SCORE 9226.314
AT ITER 611 NEW BEST:: SOT 34284 SOS 13314 HAS SOPS 13314 HAS SOUS 9205 HAS SOUPS 9205 WITH SCORE 9218.314
AT ITER 617 NEW BEST:: SOT 34246 SOS 13215 HAS SOPS 13215 HAS SOUS 9163 HAS SOUPS 9163 WITH SCORE 9176.215
AT ITER 618 NEW BEST:: SOT 34246 SOS 13207 HAS SOPS 13207 HAS SOUS 9155 HAS SOUPS 9155 WITH SCORE 9168.207
AT ITER 639 NEW BEST:: SOT 34246 SOS 13207 HAS SOPS 13207 HAS SOUS 9152 HAS SOUPS 9152 WITH SCORE 9165.207
AT ITER 644 NEW BEST:: SOT 34242 SOS 13203 HAS SOPS 13203 HAS SOUS 9133 HAS SOUPS 9133 WITH SCORE 9146.203
AT ITER 650 NEW BEST:: SOT 34242 SOS 13203 HAS SOPS 13203 HAS SOUS 9129 HAS SOUPS 9129 WITH SCORE 9142.203
AT ITER 663 NEW BEST:: SOT 34242 SOS 13203 HAS SOPS 13203 HAS SOUS 9110 HAS SOUPS 9110 WITH SCORE 9123.203
AT ITER 684 NEW BEST:: SOT 34222 SOS 13176 HAS SOPS 13176 HAS SOUS 9084 HAS SOUPS 9084 WITH SCORE 9097.176
AT ITER 696 NEW BEST:: SOT 34195 SOS 13149 HAS SOPS 13149 HAS SOUS 9030 HAS SOUPS 9030 WITH SCORE 9043.149
AT ITER 712 NEW BEST:: SOT 34195 SOS 13132 HAS SOPS 13132 HAS SOUS 9023 HAS SOUPS 9023 WITH SCORE 9036.132
AT ITER 731 NEW BEST:: SOT 34195 SOS 13132 HAS SOPS 13132 HAS SOUS 9019 HAS SOUPS 9019 WITH SCORE 9032.132
AT ITER 741 NEW BEST:: SOT 34163 SOS 13107 HAS SOPS 13107 HAS SOUS 8978 HAS SOUPS 8978 WITH SCORE 8991.107
AT ITER 779 NEW BEST:: SOT 34128 SOS 13095 HAS SOPS 13095 HAS SOUS 8970 HAS SOUPS 8970 WITH SCORE 8983.095
AT ITER 780 NEW BEST:: SOT 34122 SOS 13090 HAS SOPS 13090 HAS SOUS 8967 HAS SOUPS 8967 WITH SCORE 8980.09
AT ITER 795 NEW BEST:: SOT 34094 SOS 13062 HAS SOPS 13062 HAS SOUS 8907 HAS SOUPS 8907 WITH SCORE 8920.062
AT ITER 797 NEW BEST:: SOT 34057 SOS 13027 HAS SOPS 13027 HAS SOUS 8814 HAS SOUPS 8814 WITH SCORE 8827.027
AT ITER 803 NEW BEST:: SOT 34057 SOS 12996 HAS SOPS 12996 HAS SOUS 8807 HAS SOUPS 8807 WITH SCORE 8819.996
AT ITER 808 NEW BEST:: SOT 34073 SOS 12548 HAS SOPS 12548 HAS SOUS 8767 HAS SOUPS 8767 WITH SCORE 8779.548
AT ITER 810 NEW BEST:: SOT 34067 SOS 12546 HAS SOPS 12546 HAS SOUS 8733 HAS SOUPS 8733 WITH SCORE 8745.546
AT ITER 850 NEW BEST:: SOT 34078 SOS 12530 HAS SOPS 12530 HAS SOUS 8728 HAS SOUPS 8728 WITH SCORE 8740.53
AT ITER 885 NEW BEST:: SOT 34078 SOS 12524 HAS SOPS 12524 HAS SOUS 8722 HAS SOUPS 8722 WITH SCORE 8734.524
AT ITER 886 NEW BEST:: SOT 34064 SOS 12510 HAS SOPS 12510 HAS SOUS 8711 HAS SOUPS 8711 WITH SCORE 8723.51
AT ITER 887 NEW BEST:: SOT 34041 SOS 12499 HAS SOPS 12499 HAS SOUS 8682 HAS SOUPS 8682 WITH SCORE 8694.499
AT ITER 903 NEW BEST:: SOT 34040 SOS 12498 HAS SOPS 12498 HAS SOUS 8679 HAS SOUPS 8679 WITH SCORE 8691.498
AT ITER 928 NEW BEST:: SOT 34042 SOS 12500 HAS SOPS 12500 HAS SOUS 8677 HAS SOUPS 8677 WITH SCORE 8689.5
AT ITER 934 NEW BEST:: SOT 34035 SOS 12502 HAS SOPS 12502 HAS SOUS 8663 HAS SOUPS 8663 WITH SCORE 8675.502
AT ITER 940 NEW BEST:: SOT 34012 SOS 12494 HAS SOPS 12494 HAS SOUS 8629 HAS SOUPS 8629 WITH SCORE 8641.494
AT ITER 947 NEW BEST:: SOT 33996 SOS 12478 HAS SOPS 12478 HAS SOUS 8597 HAS SOUPS 8597 WITH SCORE 8609.478
AT ITER 955 NEW BEST:: SOT 33961 SOS 12438 HAS SOPS 12438 HAS SOUS 8561 HAS SOUPS 8561 WITH SCORE 8573.438
AT ITER 960 NEW BEST:: SOT 33957 SOS 12434 HAS SOPS 12434 HAS SOUS 8557 HAS SOUPS 8557 WITH SCORE 8569.434
AT ITER 966 NEW BEST:: SOT 33949 SOS 12420 HAS SOPS 12420 HAS SOUS 8541 HAS SOUPS 8541 WITH SCORE 8553.42
AT ITER 982 NEW BEST:: SOT 33945 SOS 12408 HAS SOPS 12408 HAS SOUS 8533 HAS SOUPS 8533 WITH SCORE 8545.408
AT ITER 985 NEW BEST:: SOT 33944 SOS 12407 HAS SOPS 12407 HAS SOUS 8532 HAS SOUPS 8532 WITH SCORE 8544.407
AT ITER 1001 NEW BEST:: SOT 33939 SOS 12402 HAS SOPS 12402 HAS SOUS 8527 HAS SOUPS 8527 WITH SCORE 8539.402
AT ITER 1003 NEW BEST:: SOT 33939 SOS 12398 HAS SOPS 12398 HAS SOUS 8523 HAS SOUPS 8523 WITH SCORE 8535.398
AT ITER 1020 NEW BEST:: SOT 33922 SOS 12381 HAS SOPS 12381 HAS SOUS 8489 HAS SOUPS 8489 WITH SCORE 8501.381
AT ITER 1064 NEW BEST:: SOT 33892 SOS 12441 HAS SOPS 12441 HAS SOUS 8488 HAS SOUPS 8488 WITH SCORE 8500.441
AT ITER 1088 NEW BEST:: SOT 33892 SOS 12440 HAS SOPS 12440 HAS SOUS 8487 HAS SOUPS 8487 WITH SCORE 8499.44
AT ITER 1101 NEW BEST:: SOT 33892 SOS 12440 HAS SOPS 12440 HAS SOUS 8486 HAS SOUPS 8486 WITH SCORE 8498.44
AT ITER 1106 NEW BEST:: SOT 33839 SOS 12386 HAS SOPS 12386 HAS SOUS 8379 HAS SOUPS 8379 WITH SCORE 8391.386
AT ITER 1118 NEW BEST:: SOT 33839 SOS 12386 HAS SOPS 12386 HAS SOUS 8371 HAS SOUPS 8371 WITH SCORE 8383.386
AT ITER 1131 NEW BEST:: SOT 33848 SOS 12395 HAS SOPS 12395 HAS SOUS 8360 HAS SOUPS 8360 WITH SCORE 8372.395
AT ITER 1133 NEW BEST:: SOT 33831 SOS 12361 HAS SOPS 12361 HAS SOUS 8330 HAS SOUPS 8330 WITH SCORE 8342.361
AT ITER 1142 NEW BEST:: SOT 33831 SOS 12371 HAS SOPS 12371 HAS SOUS 8313 HAS SOUPS 8313 WITH SCORE 8325.371
AT ITER 1146 NEW BEST:: SOT 33828 SOS 12368 HAS SOPS 12368 HAS SOUS 8307 HAS SOUPS 8307 WITH SCORE 8319.368
AT ITER 1156 NEW BEST:: SOT 33825 SOS 12365 HAS SOPS 12365 HAS SOUS 8304 HAS SOUPS 8304 WITH SCORE 8316.365
AT ITER 1174 NEW BEST:: SOT 33783 SOS 12323 HAS SOPS 12323 HAS SOUS 8262 HAS SOUPS 8262 WITH SCORE 8274.323
AT ITER 1181 NEW BEST:: SOT 33783 SOS 12317 HAS SOPS 12317 HAS SOUS 8262 HAS SOUPS 8262 WITH SCORE 8274.317
AT ITER 1194 NEW BEST:: SOT 33783 SOS 12306 HAS SOPS 12306 HAS SOUS 8262 HAS SOUPS 8262 WITH SCORE 8274.306
AT ITER 1229 NEW BEST:: SOT 33761 SOS 12284 HAS SOPS 12284 HAS SOUS 8235 HAS SOUPS 8235 WITH SCORE 8247.284
AT ITER 1255 NEW BEST:: SOT 33756 SOS 12271 HAS SOPS 12271 HAS SOUS 8222 HAS SOUPS 8222 WITH SCORE 8234.271
AT ITER 1270 NEW BEST:: SOT 33751 SOS 12266 HAS SOPS 12266 HAS SOUS 8206 HAS SOUPS 8206 WITH SCORE 8218.266
AT ITER 1281 NEW BEST:: SOT 33749 SOS 12265 HAS SOPS 12265 HAS SOUS 8202 HAS SOUPS 8202 WITH SCORE 8214.265
AT ITER 1288 NEW BEST:: SOT 33739 SOS 12267 HAS SOPS 12267 HAS SOUS 8182 HAS SOUPS 8182 WITH SCORE 8194.267
AT ITER 1290 NEW BEST:: SOT 33732 SOS 12270 HAS SOPS 12270 HAS SOUS 8168 HAS SOUPS 8168 WITH SCORE 8180.27
AT ITER 1322 NEW BEST:: SOT 33724 SOS 12262 HAS SOPS 12262 HAS SOUS 8144 HAS SOUPS 8144 WITH SCORE 8156.262
AT ITER 1323 NEW BEST:: SOT 33727 SOS 12265 HAS SOPS 12265 HAS SOUS 8134 HAS SOUPS 8134 WITH SCORE 8146.265
AT ITER 1329 NEW BEST:: SOT 33742 SOS 12231 HAS SOPS 12231 HAS SOUS 8127 HAS SOUPS 8127 WITH SCORE 8139.231
AT ITER 1346 NEW BEST:: SOT 33748 SOS 12237 HAS SOPS 12237 HAS SOUS 8112 HAS SOUPS 8112 WITH SCORE 8124.237
AT ITER 1355 NEW BEST:: SOT 33744 SOS 12237 HAS SOPS 12237 HAS SOUS 8104 HAS SOUPS 8104 WITH SCORE 8116.237
AT ITER 1357 NEW BEST:: SOT 33674 SOS 12091 HAS SOPS 12091 HAS SOUS 8009 HAS SOUPS 8009 WITH SCORE 8021.091
AT ITER 1358 NEW BEST:: SOT 33676 SOS 12075 HAS SOPS 12075 HAS SOUS 8003 HAS SOUPS 8003 WITH SCORE 8015.075
AT ITER 1367 NEW BEST:: SOT 33659 SOS 12058 HAS SOPS 12058 HAS SOUS 7982 HAS SOUPS 7982 WITH SCORE 7994.058
AT ITER 1381 NEW BEST:: SOT 33690 SOS 11813 HAS SOPS 11813 HAS SOUS 7972 HAS SOUPS 7972 WITH SCORE 7983.813
AT ITER 1401 NEW BEST:: SOT 33677 SOS 11916 HAS SOPS 11916 HAS SOUS 7970 HAS SOUPS 7970 WITH SCORE 7981.916
AT ITER 1414 NEW BEST:: SOT 33656 SOS 11943 HAS SOPS 11943 HAS SOUS 7965 HAS SOUPS 7965 WITH SCORE 7976.943
AT ITER 1432 NEW BEST:: SOT 33645 SOS 11938 HAS SOPS 11938 HAS SOUS 7928 HAS SOUPS 7928 WITH SCORE 7939.938
AT ITER 1438 NEW BEST:: SOT 33657 SOS 11873 HAS SOPS 11873 HAS SOUS 7927 HAS SOUPS 7927 WITH SCORE 7938.873
AT ITER 1454 NEW BEST:: SOT 33659 SOS 11883 HAS SOPS 11883 HAS SOUS 7925 HAS SOUPS 7925 WITH SCORE 7936.883
AT ITER 1469 NEW BEST:: SOT 33646 SOS 11867 HAS SOPS 11867 HAS SOUS 7909 HAS SOUPS 7909 WITH SCORE 7920.867
AT ITER 1483 NEW BEST:: SOT 33632 SOS 11922 HAS SOPS 11922 HAS SOUS 7905 HAS SOUPS 7905 WITH SCORE 7916.922
AT ITER 1493 NEW BEST:: SOT 33624 SOS 11914 HAS SOPS 11914 HAS SOUS 7897 HAS SOUPS 7897 WITH SCORE 7908.914
AT ITER 1494 NEW BEST:: SOT 33624 SOS 11912 HAS SOPS 11912 HAS SOUS 7897 HAS SOUPS 7897 WITH SCORE 7908.912
AT ITER 1517 NEW BEST:: SOT 33624 SOS 11912 HAS SOPS 11912 HAS SOUS 7892 HAS SOUPS 7892 WITH SCORE 7903.912
AT ITER 1520 NEW BEST:: SOT 33624 SOS 11908 HAS SOPS 11908 HAS SOUS 7892 HAS SOUPS 7892 WITH SCORE 7903.908
AT ITER 1525 NEW BEST:: SOT 33624 SOS 11897 HAS SOPS 11897 HAS SOUS 7888 HAS SOUPS 7888 WITH SCORE 7899.897
AT ITER 1537 NEW BEST:: SOT 33624 SOS 11894 HAS SOPS 11894 HAS SOUS 7885 HAS SOUPS 7885 WITH SCORE 7896.894
AT ITER 1541 NEW BEST:: SOT 33631 SOS 11901 HAS SOPS 11901 HAS SOUS 7855 HAS SOUPS 7855 WITH SCORE 7866.901
AT ITER 1546 NEW BEST:: SOT 33621 SOS 11891 HAS SOPS 11891 HAS SOUS 7842 HAS SOUPS 7842 WITH SCORE 7853.891
AT ITER 1552 NEW BEST:: SOT 33612 SOS 11905 HAS SOPS 11905 HAS SOUS 7840 HAS SOUPS 7840 WITH SCORE 7851.905
AT ITER 1596 NEW BEST:: SOT 33610 SOS 11896 HAS SOPS 11896 HAS SOUS 7827 HAS SOUPS 7827 WITH SCORE 7838.896
AT ITER 1600 NEW BEST:: SOT 33602 SOS 11888 HAS SOPS 11888 HAS SOUS 7823 HAS SOUPS 7823 WITH SCORE 7834.888
AT ITER 1601 NEW BEST:: SOT 33601 SOS 11887 HAS SOPS 11887 HAS SOUS 7821 HAS SOUPS 7821 WITH SCORE 7832.887
AT ITER 1603 NEW BEST:: SOT 33600 SOS 11892 HAS SOPS 11892 HAS SOUS 7820 HAS SOUPS 7820 WITH SCORE 7831.892
AT ITER 1607 NEW BEST:: SOT 33649 SOS 11896 HAS SOPS 11896 HAS SOUS 7817 HAS SOUPS 7817 WITH SCORE 7828.896
AT ITER 1618 NEW BEST:: SOT 33647 SOS 11886 HAS SOPS 11886 HAS SOUS 7813 HAS SOUPS 7813 WITH SCORE 7824.886
AT ITER 1653 NEW BEST:: SOT 33647 SOS 11884 HAS SOPS 11884 HAS SOUS 7813 HAS SOUPS 7813 WITH SCORE 7824.884
AT ITER 1654 NEW BEST:: SOT 33647 SOS 11878 HAS SOPS 11878 HAS SOUS 7807 HAS SOUPS 7807 WITH SCORE 7818.878
AT ITER 1688 NEW BEST:: SOT 33645 SOS 11876 HAS SOPS 11876 HAS SOUS 7805 HAS SOUPS 7805 WITH SCORE 7816.876
AT ITER 1697 NEW BEST:: SOT 33641 SOS 11872 HAS SOPS 11872 HAS SOUS 7792 HAS SOUPS 7792 WITH SCORE 7803.872
AT ITER 1748 NEW BEST:: SOT 33641 SOS 11866 HAS SOPS 11866 HAS SOUS 7788 HAS SOUPS 7788 WITH SCORE 7799.866
AT ITER 1766 NEW BEST:: SOT 33632 SOS 11846 HAS SOPS 11846 HAS SOUS 7770 HAS SOUPS 7770 WITH SCORE 7781.846
AT ITER 1786 NEW BEST:: SOT 33632 SOS 11827 HAS SOPS 11827 HAS SOUS 7736 HAS SOUPS 7736 WITH SCORE 7747.827
AT ITER 1792 NEW BEST:: SOT 33623 SOS 11818 HAS SOPS 11818 HAS SOUS 7727 HAS SOUPS 7727 WITH SCORE 7738.818
AT ITER 1802 NEW BEST:: SOT 33629 SOS 11847 HAS SOPS 11847 HAS SOUS 7691 HAS SOUPS 7691 WITH SCORE 7702.847
AT ITER 1822 NEW BEST:: SOT 33628 SOS 11861 HAS SOPS 11861 HAS SOUS 7689 HAS SOUPS 7689 WITH SCORE 7700.861
AT ITER 1836 NEW BEST:: SOT 33628 SOS 11859 HAS SOPS 11859 HAS SOUS 7687 HAS SOUPS 7687 WITH SCORE 7698.859
AT ITER 1846 NEW BEST:: SOT 33597 SOS 11828 HAS SOPS 11828 HAS SOUS 7664 HAS SOUPS 7664 WITH SCORE 7675.828
AT ITER 1871 NEW BEST:: SOT 33596 SOS 11827 HAS SOPS 11827 HAS SOUS 7662 HAS SOUPS 7662 WITH SCORE 7673.827
AT ITER 1905 NEW BEST:: SOT 33627 SOS 11826 HAS SOPS 11826 HAS SOUS 7660 HAS SOUPS 7660 WITH SCORE 7671.826
AT ITER 1919 NEW BEST:: SOT 33614 SOS 11813 HAS SOPS 11813 HAS SOUS 7621 HAS SOUPS 7621 WITH SCORE 7632.813
AT ITER 1922 NEW BEST:: SOT 33610 SOS 11813 HAS SOPS 11813 HAS SOUS 7617 HAS SOUPS 7617 WITH SCORE 7628.813
AT ITER 1931 NEW BEST:: SOT 33602 SOS 11805 HAS SOPS 11805 HAS SOUS 7609 HAS SOUPS 7609 WITH SCORE 7620.805
AT ITER 1960 NEW BEST:: SOT 33597 SOS 11786 HAS SOPS 11786 HAS SOUS 7578 HAS SOUPS 7578 WITH SCORE 7589.786
AT ITER 1968 NEW BEST:: SOT 33595 SOS 11784 HAS SOPS 11784 HAS SOUS 7574 HAS SOUPS 7574 WITH SCORE 7585.784
AT ITER 1970 NEW BEST:: SOT 33591 SOS 11780 HAS SOPS 11780 HAS SOUS 7567 HAS SOUPS 7567 WITH SCORE 7578.78
AT ITER 1998 NEW BEST:: SOT 33589 SOS 11778 HAS SOPS 11778 HAS SOUS 7565 HAS SOUPS 7565 WITH SCORE 7576.778
AT ITER 2003 NEW BEST:: SOT 33587 SOS 11786 HAS SOPS 11786 HAS SOUS 7561 HAS SOUPS 7561 WITH SCORE 7572.786
AT ITER 2013 NEW BEST:: SOT 33573 SOS 11772 HAS SOPS 11772 HAS SOUS 7558 HAS SOUPS 7558 WITH SCORE 7569.772
AT ITER 2032 NEW BEST:: SOT 33569 SOS 11772 HAS SOPS 11772 HAS SOUS 7550 HAS SOUPS 7550 WITH SCORE 7561.772
AT ITER 2061 NEW BEST:: SOT 33564 SOS 11767 HAS SOPS 11767 HAS SOUS 7550 HAS SOUPS 7550 WITH SCORE 7561.767
AT ITER 2062 NEW BEST:: SOT 33564 SOS 11746 HAS SOPS 11746 HAS SOUS 7550 HAS SOUPS 7550 WITH SCORE 7561.746
AT ITER 2076 NEW BEST:: SOT 33557 SOS 11750 HAS SOPS 11750 HAS SOUS 7543 HAS SOUPS 7543 WITH SCORE 7554.75
AT ITER 2114 NEW BEST:: SOT 33557 SOS 11745 HAS SOPS 11745 HAS SOUS 7543 HAS SOUPS 7543 WITH SCORE 7554.745
AT ITER 2138 NEW BEST:: SOT 33557 SOS 11733 HAS SOPS 11733 HAS SOUS 7543 HAS SOUPS 7543 WITH SCORE 7554.733
AT ITER 2170 NEW BEST:: SOT 33554 SOS 11727 HAS SOPS 11727 HAS SOUS 7537 HAS SOUPS 7537 WITH SCORE 7548.727
AT ITER 2173 NEW BEST:: SOT 33554 SOS 11716 HAS SOPS 11716 HAS SOUS 7526 HAS SOUPS 7526 WITH SCORE 7537.716
AT ITER 2181 NEW BEST:: SOT 33554 SOS 11716 HAS SOPS 11716 HAS SOUS 7513 HAS SOUPS 7513 WITH SCORE 7524.716
AT ITER 2183 NEW BEST:: SOT 33554 SOS 11716 HAS SOPS 11716 HAS SOUS 7509 HAS SOUPS 7509 WITH SCORE 7520.716
AT ITER 2189 NEW BEST:: SOT 33549 SOS 11706 HAS SOPS 11706 HAS SOUS 7504 HAS SOUPS 7504 WITH SCORE 7515.706
AT ITER 2196 NEW BEST:: SOT 33544 SOS 11701 HAS SOPS 11701 HAS SOUS 7494 HAS SOUPS 7494 WITH SCORE 7505.701
AT ITER 2231 NEW BEST:: SOT 33534 SOS 11695 HAS SOPS 11695 HAS SOUS 7473 HAS SOUPS 7473 WITH SCORE 7484.695
AT ITER 2234 NEW BEST:: SOT 33532 SOS 11693 HAS SOPS 11693 HAS SOUS 7471 HAS SOUPS 7471 WITH SCORE 7482.693
AT ITER 2245 NEW BEST:: SOT 33528 SOS 11689 HAS SOPS 11689 HAS SOUS 7463 HAS SOUPS 7463 WITH SCORE 7474.689
AT ITER 2273 NEW BEST:: SOT 33520 SOS 11676 HAS SOPS 11676 HAS SOUS 7437 HAS SOUPS 7437 WITH SCORE 7448.676
AT ITER 2295 NEW BEST:: SOT 33518 SOS 11643 HAS SOPS 11643 HAS SOUS 7433 HAS SOUPS 7433 WITH SCORE 7444.643
AT ITER 2308 NEW BEST:: SOT 33518 SOS 11634 HAS SOPS 11634 HAS SOUS 7422 HAS SOUPS 7422 WITH SCORE 7433.634
AT ITER 2381 NEW BEST:: SOT 33502 SOS 11624 HAS SOPS 11624 HAS SOUS 7399 HAS SOUPS 7399 WITH SCORE 7410.624
AT ITER 2385 NEW BEST:: SOT 33478 SOS 11621 HAS SOPS 11621 HAS SOUS 7376 HAS SOUPS 7376 WITH SCORE 7387.621
AT ITER 2494 NEW BEST:: SOT 33477 SOS 11601 HAS SOPS 11601 HAS SOUS 7374 HAS SOUPS 7374 WITH SCORE 7385.601
AT ITER 2529 NEW BEST:: SOT 33477 SOS 11588 HAS SOPS 11588 HAS SOUS 7340 HAS SOUPS 7340 WITH SCORE 7351.588
AT ITER 2555 NEW BEST:: SOT 33470 SOS 11574 HAS SOPS 11574 HAS SOUS 7322 HAS SOUPS 7322 WITH SCORE 7333.574
AT ITER 2562 NEW BEST:: SOT 33493 SOS 11548 HAS SOPS 11548 HAS SOUS 7295 HAS SOUPS 7295 WITH SCORE 7306.548
AT ITER 2604 NEW BEST:: SOT 33493 SOS 11547 HAS SOPS 11547 HAS SOUS 7294 HAS SOUPS 7294 WITH SCORE 7305.547
AT ITER 2609 NEW BEST:: SOT 33482 SOS 11536 HAS SOPS 11536 HAS SOUS 7285 HAS SOUPS 7285 WITH SCORE 7296.536
AT ITER 2617 NEW BEST:: SOT 33482 SOS 11536 HAS SOPS 11536 HAS SOUS 7284 HAS SOUPS 7284 WITH SCORE 7295.536
AT ITER 2625 NEW BEST:: SOT 33501 SOS 11565 HAS SOPS 11565 HAS SOUS 7265 HAS SOUPS 7265 WITH SCORE 7276.565
AT ITER 2631 NEW BEST:: SOT 33504 SOS 11554 HAS SOPS 11554 HAS SOUS 7258 HAS SOUPS 7258 WITH SCORE 7269.554
AT ITER 2647 NEW BEST:: SOT 33501 SOS 11557 HAS SOPS 11557 HAS SOUS 7255 HAS SOUPS 7255 WITH SCORE 7266.557
AT ITER 2660 NEW BEST:: SOT 33514 SOS 11523 HAS SOPS 11523 HAS SOUS 7231 HAS SOUPS 7231 WITH SCORE 7242.523
AT ITER 2688 NEW BEST:: SOT 33514 SOS 11522 HAS SOPS 11522 HAS SOUS 7230 HAS SOUPS 7230 WITH SCORE 7241.522
AT ITER 2701 NEW BEST:: SOT 33514 SOS 11522 HAS SOPS 11522 HAS SOUS 7223 HAS SOUPS 7223 WITH SCORE 7234.522
AT ITER 2723 NEW BEST:: SOT 33514 SOS 11522 HAS SOPS 11522 HAS SOUS 7222 HAS SOUPS 7222 WITH SCORE 7233.522
AT ITER 2747 NEW BEST:: SOT 33540 SOS 11514 HAS SOPS 11514 HAS SOUS 7214 HAS SOUPS 7214 WITH SCORE 7225.514
AT ITER 2761 NEW BEST:: SOT 33531 SOS 11505 HAS SOPS 11505 HAS SOUS 7194 HAS SOUPS 7194 WITH SCORE 7205.505
AT ITER 2763 NEW BEST:: SOT 33529 SOS 11503 HAS SOPS 11503 HAS SOUS 7190 HAS SOUPS 7190 WITH SCORE 7201.503
AT ITER 2770 NEW BEST:: SOT 33524 SOS 11498 HAS SOPS 11498 HAS SOUS 7181 HAS SOUPS 7181 WITH SCORE 7192.498
AT ITER 2778 NEW BEST:: SOT 33522 SOS 11483 HAS SOPS 11483 HAS SOUS 7166 HAS SOUPS 7166 WITH SCORE 7177.483
AT ITER 2792 NEW BEST:: SOT 33530 SOS 11491 HAS SOPS 11491 HAS SOUS 7164 HAS SOUPS 7164 WITH SCORE 7175.491
AT ITER 2797 NEW BEST:: SOT 33548 SOS 11468 HAS SOPS 11468 HAS SOUS 7162 HAS SOUPS 7162 WITH SCORE 7173.468
AT ITER 2801 NEW BEST:: SOT 33533 SOS 11450 HAS SOPS 11450 HAS SOUS 7144 HAS SOUPS 7144 WITH SCORE 7155.45
AT ITER 2828 NEW BEST:: SOT 33533 SOS 11448 HAS SOPS 11448 HAS SOUS 7142 HAS SOUPS 7142 WITH SCORE 7153.448
AT ITER 2844 NEW BEST:: SOT 33536 SOS 11451 HAS SOPS 11451 HAS SOUS 7139 HAS SOUPS 7139 WITH SCORE 7150.451
AT ITER 2866 NEW BEST:: SOT 33536 SOS 11448 HAS SOPS 11448 HAS SOUS 7138 HAS SOUPS 7138 WITH SCORE 7149.448
AT ITER 2897 NEW BEST:: SOT 33532 SOS 11440 HAS SOPS 11440 HAS SOUS 7130 HAS SOUPS 7130 WITH SCORE 7141.44
AT ITER 2932 NEW BEST:: SOT 33507 SOS 11453 HAS SOPS 11453 HAS SOUS 7105 HAS SOUPS 7105 WITH SCORE 7116.453
AT ITER 2937 NEW BEST:: SOT 33507 SOS 11445 HAS SOPS 11445 HAS SOUS 7099 HAS SOUPS 7099 WITH SCORE 7110.445
AT ITER 2941 NEW BEST:: SOT 33509 SOS 11437 HAS SOPS 11437 HAS SOUS 7091 HAS SOUPS 7091 WITH SCORE 7102.437
AT ITER 2976 NEW BEST:: SOT 33506 SOS 11434 HAS SOPS 11434 HAS SOUS 7082 HAS SOUPS 7082 WITH SCORE 7093.434
AT ITER 3012 NEW BEST:: SOT 33503 SOS 11420 HAS SOPS 11420 HAS SOUS 7076 HAS SOUPS 7076 WITH SCORE 7087.42
AT ITER 3063 NEW BEST:: SOT 33499 SOS 11403 HAS SOPS 11403 HAS SOUS 7063 HAS SOUPS 7063 WITH SCORE 7074.403
AT ITER 3085 NEW BEST:: SOT 33495 SOS 11424 HAS SOPS 11424 HAS SOUS 7059 HAS SOUPS 7059 WITH SCORE 7070.424
AT ITER 3116 NEW BEST:: SOT 33481 SOS 11361 HAS SOPS 11361 HAS SOUS 7032 HAS SOUPS 7032 WITH SCORE 7043.361
AT ITER 3156 NEW BEST:: SOT 33481 SOS 11361 HAS SOPS 11361 HAS SOUS 7031 HAS SOUPS 7031 WITH SCORE 7042.361
AT ITER 3170 NEW BEST:: SOT 33466 SOS 11340 HAS SOPS 11340 HAS SOUS 7010 HAS SOUPS 7010 WITH SCORE 7021.34
AT ITER 3172 NEW BEST:: SOT 33466 SOS 11320 HAS SOPS 11320 HAS SOUS 7010 HAS SOUPS 7010 WITH SCORE 7021.32
AT ITER 3181 NEW BEST:: SOT 33454 SOS 11308 HAS SOPS 11308 HAS SOUS 6998 HAS SOUPS 6998 WITH SCORE 7009.308
AT ITER 3191 NEW BEST:: SOT 33454 SOS 11302 HAS SOPS 11302 HAS SOUS 6998 HAS SOUPS 6998 WITH SCORE 7009.302
AT ITER 3227 NEW BEST:: SOT 33449 SOS 11351 HAS SOPS 11351 HAS SOUS 6993 HAS SOUPS 6993 WITH SCORE 7004.351
AT ITER 3279 NEW BEST:: SOT 33440 SOS 11342 HAS SOPS 11342 HAS SOUS 6984 HAS SOUPS 6984 WITH SCORE 6995.342
AT ITER 3293 NEW BEST:: SOT 33439 SOS 11340 HAS SOPS 11340 HAS SOUS 6982 HAS SOUPS 6982 WITH SCORE 6993.34
AT ITER 3298 NEW BEST:: SOT 33429 SOS 11330 HAS SOPS 11330 HAS SOUS 6972 HAS SOUPS 6972 WITH SCORE 6983.33
AT ITER 3307 NEW BEST:: SOT 33415 SOS 11316 HAS SOPS 11316 HAS SOUS 6955 HAS SOUPS 6955 WITH SCORE 6966.316
AT ITER 3308 NEW BEST:: SOT 33418 SOS 11319 HAS SOPS 11319 HAS SOUS 6920 HAS SOUPS 6920 WITH SCORE 6931.319
AT ITER 3312 NEW BEST:: SOT 33417 SOS 11283 HAS SOPS 11283 HAS SOUS 6917 HAS SOUPS 6917 WITH SCORE 6928.283
AT ITER 3327 NEW BEST:: SOT 33417 SOS 11276 HAS SOPS 11276 HAS SOUS 6910 HAS SOUPS 6910 WITH SCORE 6921.276
AT ITER 3332 NEW BEST:: SOT 33402 SOS 11291 HAS SOPS 11291 HAS SOUS 6898 HAS SOUPS 6898 WITH SCORE 6909.291
AT ITER 3333 NEW BEST:: SOT 33390 SOS 11270 HAS SOPS 11270 HAS SOUS 6881 HAS SOUPS 6881 WITH SCORE 6892.27
AT ITER 3359 NEW BEST:: SOT 33390 SOS 11258 HAS SOPS 11258 HAS SOUS 6881 HAS SOUPS 6881 WITH SCORE 6892.258
AT ITER 3408 NEW BEST:: SOT 33386 SOS 11254 HAS SOPS 11254 HAS SOUS 6873 HAS SOUPS 6873 WITH SCORE 6884.254
AT ITER 3412 NEW BEST:: SOT 33386 SOS 11250 HAS SOPS 11250 HAS SOUS 6873 HAS SOUPS 6873 WITH SCORE 6884.25
AT ITER 3423 NEW BEST:: SOT 33386 SOS 11256 HAS SOPS 11256 HAS SOUS 6870 HAS SOUPS 6870 WITH SCORE 6881.256
AT ITER 3454 NEW BEST:: SOT 33377 SOS 11253 HAS SOPS 11253 HAS SOUS 6849 HAS SOUPS 6849 WITH SCORE 6860.253
AT ITER 3496 NEW BEST:: SOT 33351 SOS 11227 HAS SOPS 11227 HAS SOUS 6797 HAS SOUPS 6797 WITH SCORE 6808.227
AT ITER 3498 NEW BEST:: SOT 33341 SOS 11210 HAS SOPS 11210 HAS SOUS 6784 HAS SOUPS 6784 WITH SCORE 6795.21
AT ITER 3500 NEW BEST:: SOT 33341 SOS 11188 HAS SOPS 11188 HAS SOUS 6773 HAS SOUPS 6773 WITH SCORE 6784.188
AT ITER 3556 NEW BEST:: SOT 33340 SOS 11187 HAS SOPS 11187 HAS SOUS 6773 HAS SOUPS 6773 WITH SCORE 6784.187
AT ITER 3572 NEW BEST:: SOT 33327 SOS 11261 HAS SOPS 11261 HAS SOUS 6770 HAS SOUPS 6770 WITH SCORE 6781.261
AT ITER 3578 NEW BEST:: SOT 33329 SOS 11258 HAS SOPS 11258 HAS SOUS 6767 HAS SOUPS 6767 WITH SCORE 6778.258
AT ITER 3618 NEW BEST:: SOT 33326 SOS 11238 HAS SOPS 11238 HAS SOUS 6747 HAS SOUPS 6747 WITH SCORE 6758.238
AT ITER 3626 NEW BEST:: SOT 33327 SOS 11239 HAS SOPS 11239 HAS SOUS 6729 HAS SOUPS 6729 WITH SCORE 6740.239
AT ITER 3634 NEW BEST:: SOT 33324 SOS 11245 HAS SOPS 11245 HAS SOUS 6723 HAS SOUPS 6723 WITH SCORE 6734.245
AT ITER 3647 NEW BEST:: SOT 33324 SOS 11245 HAS SOPS 11245 HAS SOUS 6720 HAS SOUPS 6720 WITH SCORE 6731.245
AT ITER 3655 NEW BEST:: SOT 33324 SOS 11231 HAS SOPS 11231 HAS SOUS 6713 HAS SOUPS 6713 WITH SCORE 6724.231
AT ITER 3663 NEW BEST:: SOT 33324 SOS 11231 HAS SOPS 11231 HAS SOUS 6698 HAS SOUPS 6698 WITH SCORE 6709.231
AT ITER 3689 NEW BEST:: SOT 33310 SOS 11217 HAS SOPS 11217 HAS SOUS 6697 HAS SOUPS 6697 WITH SCORE 6708.217
AT ITER 3743 NEW BEST:: SOT 33311 SOS 11180 HAS SOPS 11180 HAS SOUS 6683 HAS SOUPS 6683 WITH SCORE 6694.18
AT ITER 3756 NEW BEST:: SOT 33311 SOS 11188 HAS SOPS 11188 HAS SOUS 6682 HAS SOUPS 6682 WITH SCORE 6693.188
AT ITER 3789 NEW BEST:: SOT 33308 SOS 11177 HAS SOPS 11177 HAS SOUS 6682 HAS SOUPS 6682 WITH SCORE 6693.177
AT ITER 3799 NEW BEST:: SOT 33305 SOS 11163 HAS SOPS 11163 HAS SOUS 6672 HAS SOUPS 6672 WITH SCORE 6683.163
AT ITER 3835 NEW BEST:: SOT 33304 SOS 11162 HAS SOPS 11162 HAS SOUS 6670 HAS SOUPS 6670 WITH SCORE 6681.162
AT ITER 3837 NEW BEST:: SOT 33303 SOS 11161 HAS SOPS 11161 HAS SOUS 6670 HAS SOUPS 6670 WITH SCORE 6681.161
AT ITER 3845 NEW BEST:: SOT 33303 SOS 11147 HAS SOPS 11147 HAS SOUS 6666 HAS SOUPS 6666 WITH SCORE 6677.147
AT ITER 3863 NEW BEST:: SOT 33295 SOS 11139 HAS SOPS 11139 HAS SOUS 6657 HAS SOUPS 6657 WITH SCORE 6668.139
AT ITER 3894 NEW BEST:: SOT 33293 SOS 11137 HAS SOPS 11137 HAS SOUS 6653 HAS SOUPS 6653 WITH SCORE 6664.137
AT ITER 3902 NEW BEST:: SOT 33288 SOS 11132 HAS SOPS 11132 HAS SOUS 6644 HAS SOUPS 6644 WITH SCORE 6655.132
AT ITER 3976 NEW BEST:: SOT 33287 SOS 11315 HAS SOPS 11315 HAS SOUS 6643 HAS SOUPS 6643 WITH SCORE 6654.315
AT ITER 4010 NEW BEST:: SOT 33326 SOS 11295 HAS SOPS 11295 HAS SOUS 6633 HAS SOUPS 6633 WITH SCORE 6644.295
AT ITER 4012 NEW BEST:: SOT 33326 SOS 11295 HAS SOPS 11295 HAS SOUS 6625 HAS SOUPS 6625 WITH SCORE 6636.295
AT ITER 4024 NEW BEST:: SOT 33326 SOS 11296 HAS SOPS 11296 HAS SOUS 6621 HAS SOUPS 6621 WITH SCORE 6632.296
AT ITER 4047 NEW BEST:: SOT 33326 SOS 11296 HAS SOPS 11296 HAS SOUS 6618 HAS SOUPS 6618 WITH SCORE 6629.296
AT ITER 4140 NEW BEST:: SOT 33332 SOS 11285 HAS SOPS 11285 HAS SOUS 6613 HAS SOUPS 6613 WITH SCORE 6624.285
AT ITER 4149 NEW BEST:: SOT 33331 SOS 11277 HAS SOPS 11277 HAS SOUS 6604 HAS SOUPS 6604 WITH SCORE 6615.277
AT ITER 4167 NEW BEST:: SOT 33326 SOS 11278 HAS SOPS 11278 HAS SOUS 6599 HAS SOUPS 6599 WITH SCORE 6610.278
AT ITER 4187 NEW BEST:: SOT 33331 SOS 11282 HAS SOPS 11282 HAS SOUS 6597 HAS SOUPS 6597 WITH SCORE 6608.282
AT ITER 4227 NEW BEST:: SOT 33330 SOS 11281 HAS SOPS 11281 HAS SOUS 6593 HAS SOUPS 6593 WITH SCORE 6604.281
AT ITER 4241 NEW BEST:: SOT 33328 SOS 11277 HAS SOPS 11277 HAS SOUS 6589 HAS SOUPS 6589 WITH SCORE 6600.277
AT ITER 4269 NEW BEST:: SOT 33328 SOS 11150 HAS SOPS 11150 HAS SOUS 6589 HAS SOUPS 6589 WITH SCORE 6600.15
AT ITER 4287 NEW BEST:: SOT 33327 SOS 11145 HAS SOPS 11145 HAS SOUS 6587 HAS SOUPS 6587 WITH SCORE 6598.145
AT ITER 4318 NEW BEST:: SOT 33327 SOS 11141 HAS SOPS 11141 HAS SOUS 6582 HAS SOUPS 6582 WITH SCORE 6593.141
AT ITER 4341 NEW BEST:: SOT 33328 SOS 11152 HAS SOPS 11152 HAS SOUS 6558 HAS SOUPS 6558 WITH SCORE 6569.152
AT ITER 4360 NEW BEST:: SOT 33303 SOS 11127 HAS SOPS 11127 HAS SOUS 6557 HAS SOUPS 6557 WITH SCORE 6568.127
AT ITER 4370 NEW BEST:: SOT 33301 SOS 11125 HAS SOPS 11125 HAS SOUS 6548 HAS SOUPS 6548 WITH SCORE 6559.125
AT ITER 4371 NEW BEST:: SOT 33301 SOS 11120 HAS SOPS 11120 HAS SOUS 6548 HAS SOUPS 6548 WITH SCORE 6559.12
AT ITER 4442 NEW BEST:: SOT 33301 SOS 11116 HAS SOPS 11116 HAS SOUS 6544 HAS SOUPS 6544 WITH SCORE 6555.116
AT ITER 4504 NEW BEST:: SOT 33298 SOS 11113 HAS SOPS 11113 HAS SOUS 6541 HAS SOUPS 6541 WITH SCORE 6552.113
AT ITER 4515 NEW BEST:: SOT 33298 SOS 11108 HAS SOPS 11108 HAS SOUS 6541 HAS SOUPS 6541 WITH SCORE 6552.108
AT ITER 4523 NEW BEST:: SOT 33298 SOS 11108 HAS SOPS 11108 HAS SOUS 6540 HAS SOUPS 6540 WITH SCORE 6551.108
AT ITER 4561 NEW BEST:: SOT 33294 SOS 11108 HAS SOPS 11108 HAS SOUS 6532 HAS SOUPS 6532 WITH SCORE 6543.108
AT ITER 4582 NEW BEST:: SOT 33294 SOS 11104 HAS SOPS 11104 HAS SOUS 6524 HAS SOUPS 6524 WITH SCORE 6535.104
AT ITER 4594 NEW BEST:: SOT 33295 SOS 11105 HAS SOPS 11105 HAS SOUS 6514 HAS SOUPS 6514 WITH SCORE 6525.105
AT ITER 4606 NEW BEST:: SOT 33297 SOS 11107 HAS SOPS 11107 HAS SOUS 6513 HAS SOUPS 6513 WITH SCORE 6524.107
AT ITER 4652 NEW BEST:: SOT 33301 SOS 10740 HAS SOPS 10740 HAS SOUS 6512 HAS SOUPS 6512 WITH SCORE 6522.74
AT ITER 4656 NEW BEST:: SOT 33282 SOS 10740 HAS SOPS 10740 HAS SOUS 6495 HAS SOUPS 6495 WITH SCORE 6505.74
AT ITER 4693 NEW BEST:: SOT 33282 SOS 10740 HAS SOPS 10740 HAS SOUS 6489 HAS SOUPS 6489 WITH SCORE 6499.74
AT ITER 4781 NEW BEST:: SOT 33278 SOS 10736 HAS SOPS 10736 HAS SOUS 6482 HAS SOUPS 6482 WITH SCORE 6492.736
AT ITER 4790 NEW BEST:: SOT 33283 SOS 10741 HAS SOPS 10741 HAS SOUS 6478 HAS SOUPS 6478 WITH SCORE 6488.741
AT ITER 4804 NEW BEST:: SOT 33283 SOS 10725 HAS SOPS 10725 HAS SOUS 6478 HAS SOUPS 6478 WITH SCORE 6488.725
AT ITER 4883 NEW BEST:: SOT 33280 SOS 10706 HAS SOPS 10706 HAS SOUS 6467 HAS SOUPS 6467 WITH SCORE 6477.706
AT ITER 4927 NEW BEST:: SOT 33280 SOS 10706 HAS SOPS 10706 HAS SOUS 6466 HAS SOUPS 6466 WITH SCORE 6476.706
AT ITER 4943 NEW BEST:: SOT 33280 SOS 10709 HAS SOPS 10709 HAS SOUS 6463 HAS SOUPS 6463 WITH SCORE 6473.709
AT ITER 4953 NEW BEST:: SOT 33282 SOS 10710 HAS SOPS 10710 HAS SOUS 6462 HAS SOUPS 6462 WITH SCORE 6472.71
AT ITER 4987 NEW BEST:: SOT 33282 SOS 10694 HAS SOPS 10694 HAS SOUS 6462 HAS SOUPS 6462 WITH SCORE 6472.694
AT ITER 5002 NEW BEST:: SOT 33277 SOS 10693 HAS SOPS 10693 HAS SOUS 6456 HAS SOUPS 6456 WITH SCORE 6466.693
AT ITER 5017 NEW BEST:: SOT 33277 SOS 10689 HAS SOPS 10689 HAS SOUS 6456 HAS SOUPS 6456 WITH SCORE 6466.689
AT ITER 5018 NEW BEST:: SOT 33274 SOS 10680 HAS SOPS 10680 HAS SOUS 6450 HAS SOUPS 6450 WITH SCORE 6460.68
AT ITER 5035 NEW BEST:: SOT 33239 SOS 10705 HAS SOPS 10705 HAS SOUS 6424 HAS SOUPS 6424 WITH SCORE 6434.705
AT ITER 5077 NEW BEST:: SOT 33237 SOS 10699 HAS SOPS 10699 HAS SOUS 6417 HAS SOUPS 6417 WITH SCORE 6427.699
AT ITER 5121 NEW BEST:: SOT 33234 SOS 10696 HAS SOPS 10696 HAS SOUS 6414 HAS SOUPS 6414 WITH SCORE 6424.696
AT ITER 5138 NEW BEST:: SOT 33234 SOS 10690 HAS SOPS 10690 HAS SOUS 6414 HAS SOUPS 6414 WITH SCORE 6424.69
AT ITER 5177 NEW BEST:: SOT 33234 SOS 10672 HAS SOPS 10672 HAS SOUS 6396 HAS SOUPS 6396 WITH SCORE 6406.672
AT ITER 5178 NEW BEST:: SOT 33234 SOS 10670 HAS SOPS 10670 HAS SOUS 6396 HAS SOUPS 6396 WITH SCORE 6406.67
AT ITER 5183 NEW BEST:: SOT 33200 SOS 10636 HAS SOPS 10636 HAS SOUS 6362 HAS SOUPS 6362 WITH SCORE 6372.636
AT ITER 5190 NEW BEST:: SOT 33201 SOS 10631 HAS SOPS 10631 HAS SOUS 6352 HAS SOUPS 6352 WITH SCORE 6362.631
AT ITER 5290 NEW BEST:: SOT 33200 SOS 10633 HAS SOPS 10633 HAS SOUS 6350 HAS SOUPS 6350 WITH SCORE 6360.633
AT ITER 5359 NEW BEST:: SOT 33195 SOS 10652 HAS SOPS 10652 HAS SOUS 6348 HAS SOUPS 6348 WITH SCORE 6358.652
AT ITER 5363 NEW BEST:: SOT 33183 SOS 10627 HAS SOPS 10627 HAS SOUS 6336 HAS SOUPS 6336 WITH SCORE 6346.627
AT ITER 5405 NEW BEST:: SOT 33183 SOS 10626 HAS SOPS 10626 HAS SOUS 6336 HAS SOUPS 6336 WITH SCORE 6346.626
AT ITER 5466 NEW BEST:: SOT 33176 SOS 10619 HAS SOPS 10619 HAS SOUS 6324 HAS SOUPS 6324 WITH SCORE 6334.619
AT ITER 5483 NEW BEST:: SOT 33175 SOS 10618 HAS SOPS 10618 HAS SOUS 6322 HAS SOUPS 6322 WITH SCORE 6332.618
AT ITER 5491 NEW BEST:: SOT 33173 SOS 10612 HAS SOPS 10612 HAS SOUS 6318 HAS SOUPS 6318 WITH SCORE 6328.612
AT ITER 5556 NEW BEST:: SOT 33154 SOS 10611 HAS SOPS 10611 HAS SOUS 6298 HAS SOUPS 6298 WITH SCORE 6308.611
AT ITER 5591 NEW BEST:: SOT 33150 SOS 10602 HAS SOPS 10602 HAS SOUS 6292 HAS SOUPS 6292 WITH SCORE 6302.602
AT ITER 5691 NEW BEST:: SOT 33148 SOS 10596 HAS SOPS 10596 HAS SOUS 6288 HAS SOUPS 6288 WITH SCORE 6298.596
AT ITER 5703 NEW BEST:: SOT 33152 SOS 10578 HAS SOPS 10578 HAS SOUS 6274 HAS SOUPS 6274 WITH SCORE 6284.578
AT ITER 5708 NEW BEST:: SOT 33143 SOS 10569 HAS SOPS 10569 HAS SOUS 6256 HAS SOUPS 6256 WITH SCORE 6266.569
AT ITER 5775 NEW BEST:: SOT 33140 SOS 10566 HAS SOPS 10566 HAS SOUS 6250 HAS SOUPS 6250 WITH SCORE 6260.566
AT ITER 5821 NEW BEST:: SOT 33132 SOS 10558 HAS SOPS 10558 HAS SOUS 6242 HAS SOUPS 6242 WITH SCORE 6252.558
AT ITER 5830 NEW BEST:: SOT 33133 SOS 10557 HAS SOPS 10557 HAS SOUS 6242 HAS SOUPS 6242 WITH SCORE 6252.557
AT ITER 5865 NEW BEST:: SOT 33129 SOS 10553 HAS SOPS 10553 HAS SOUS 6238 HAS SOUPS 6238 WITH SCORE 6248.553
AT ITER 5891 NEW BEST:: SOT 33124 SOS 10548 HAS SOPS 10548 HAS SOUS 6228 HAS SOUPS 6228 WITH SCORE 6238.548
AT ITER 5906 NEW BEST:: SOT 33121 SOS 10545 HAS SOPS 10545 HAS SOUS 6222 HAS SOUPS 6222 WITH SCORE 6232.545
AT ITER 5992 NEW BEST:: SOT 33121 SOS 10536 HAS SOPS 10536 HAS SOUS 6218 HAS SOUPS 6218 WITH SCORE 6228.536
AT ITER 6112 NEW BEST:: SOT 33121 SOS 10533 HAS SOPS 10533 HAS SOUS 6217 HAS SOUPS 6217 WITH SCORE 6227.533
AT ITER 6128 NEW BEST:: SOT 33116 SOS 10531 HAS SOPS 10531 HAS SOUS 6212 HAS SOUPS 6212 WITH SCORE 6222.531
AT ITER 6146 NEW BEST:: SOT 33113 SOS 10528 HAS SOPS 10528 HAS SOUS 6209 HAS SOUPS 6209 WITH SCORE 6219.528
AT ITER 6169 NEW BEST:: SOT 33110 SOS 10525 HAS SOPS 10525 HAS SOUS 6203 HAS SOUPS 6203 WITH SCORE 6213.525
AT ITER 6174 NEW BEST:: SOT 33109 SOS 10524 HAS SOPS 10524 HAS SOUS 6201 HAS SOUPS 6201 WITH SCORE 6211.524
AT ITER 6184 NEW BEST:: SOT 33109 SOS 10516 HAS SOPS 10516 HAS SOUS 6195 HAS SOUPS 6195 WITH SCORE 6205.516
AT ITER 6256 NEW BEST:: SOT 33108 SOS 10532 HAS SOPS 10532 HAS SOUS 6193 HAS SOUPS 6193 WITH SCORE 6203.532
AT ITER 6276 NEW BEST:: SOT 33099 SOS 10518 HAS SOPS 10518 HAS SOUS 6175 HAS SOUPS 6175 WITH SCORE 6185.518
AT ITER 6293 NEW BEST:: SOT 33091 SOS 10467 HAS SOPS 10467 HAS SOUS 6170 HAS SOUPS 6170 WITH SCORE 6180.467
AT ITER 6298 NEW BEST:: SOT 33083 SOS 10459 HAS SOPS 10459 HAS SOUS 6145 HAS SOUPS 6145 WITH SCORE 6155.459
AT ITER 6360 NEW BEST:: SOT 33079 SOS 10435 HAS SOPS 10435 HAS SOUS 6121 HAS SOUPS 6121 WITH SCORE 6131.435
AT ITER 6383 NEW BEST:: SOT 33056 SOS 10597 HAS SOPS 10597 HAS SOUS 6109 HAS SOUPS 6109 WITH SCORE 6119.597
AT ITER 6576 NEW BEST:: SOT 33055 SOS 10596 HAS SOPS 10596 HAS SOUS 6108 HAS SOUPS 6108 WITH SCORE 6118.596
AT ITER 6582 NEW BEST:: SOT 33055 SOS 10595 HAS SOPS 10595 HAS SOUS 6107 HAS SOUPS 6107 WITH SCORE 6117.595
AT ITER 6609 NEW BEST:: SOT 33050 SOS 10580 HAS SOPS 10580 HAS SOUS 6102 HAS SOUPS 6102 WITH SCORE 6112.58
AT ITER 6612 NEW BEST:: SOT 33050 SOS 10574 HAS SOPS 10574 HAS SOUS 6102 HAS SOUPS 6102 WITH SCORE 6112.574
AT ITER 6666 NEW BEST:: SOT 33052 SOS 10414 HAS SOPS 10414 HAS SOUS 6101 HAS SOUPS 6101 WITH SCORE 6111.414
AT ITER 6725 NEW BEST:: SOT 33052 SOS 10411 HAS SOPS 10411 HAS SOUS 6097 HAS SOUPS 6097 WITH SCORE 6107.411
AT ITER 6788 NEW BEST:: SOT 33054 SOS 10375 HAS SOPS 10375 HAS SOUS 6097 HAS SOUPS 6097 WITH SCORE 6107.375
AT ITER 6825 NEW BEST:: SOT 33060 SOS 10375 HAS SOPS 10375 HAS SOUS 6091 HAS SOUPS 6091 WITH SCORE 6101.375
AT ITER 6833 NEW BEST:: SOT 33058 SOS 10373 HAS SOPS 10373 HAS SOUS 6087 HAS SOUPS 6087 WITH SCORE 6097.373
AT ITER 6834 NEW BEST:: SOT 33057 SOS 10372 HAS SOPS 10372 HAS SOUS 6085 HAS SOUPS 6085 WITH SCORE 6095.372
AT ITER 6859 NEW BEST:: SOT 33055 SOS 10370 HAS SOPS 10370 HAS SOUS 6084 HAS SOUPS 6084 WITH SCORE 6094.37
AT ITER 6867 NEW BEST:: SOT 33054 SOS 10369 HAS SOPS 10369 HAS SOUS 6082 HAS SOUPS 6082 WITH SCORE 6092.369
AT ITER 6879 NEW BEST:: SOT 33054 SOS 10362 HAS SOPS 10362 HAS SOUS 6082 HAS SOUPS 6082 WITH SCORE 6092.362
AT ITER 6883 NEW BEST:: SOT 33059 SOS 10363 HAS SOPS 10363 HAS SOUS 6078 HAS SOUPS 6078 WITH SCORE 6088.363
AT ITER 6896 NEW BEST:: SOT 33059 SOS 10357 HAS SOPS 10357 HAS SOUS 6078 HAS SOUPS 6078 WITH SCORE 6088.357
AT ITER 6917 NEW BEST:: SOT 33057 SOS 10296 HAS SOPS 10296 HAS SOUS 6074 HAS SOUPS 6074 WITH SCORE 6084.296
AT ITER 6924 NEW BEST:: SOT 33057 SOS 10291 HAS SOPS 10291 HAS SOUS 6074 HAS SOUPS 6074 WITH SCORE 6084.291
AT ITER 6964 NEW BEST:: SOT 33049 SOS 10283 HAS SOPS 10283 HAS SOUS 6074 HAS SOUPS 6074 WITH SCORE 6084.283
AT ITER 7014 NEW BEST:: SOT 33050 SOS 10284 HAS SOPS 10284 HAS SOUS 6067 HAS SOUPS 6067 WITH SCORE 6077.284
AT ITER 7050 NEW BEST:: SOT 33052 SOS 10282 HAS SOPS 10282 HAS SOUS 6067 HAS SOUPS 6067 WITH SCORE 6077.282
AT ITER 7055 NEW BEST:: SOT 33049 SOS 10279 HAS SOPS 10279 HAS SOUS 6067 HAS SOUPS 6067 WITH SCORE 6077.279
AT ITER 7073 NEW BEST:: SOT 33049 SOS 10275 HAS SOPS 10275 HAS SOUS 6067 HAS SOUPS 6067 WITH SCORE 6077.275
AT ITER 7117 NEW BEST:: SOT 33049 SOS 10267 HAS SOPS 10267 HAS SOUS 6067 HAS SOUPS 6067 WITH SCORE 6077.267
AT ITER 7155 NEW BEST:: SOT 33047 SOS 10269 HAS SOPS 10269 HAS SOUS 6065 HAS SOUPS 6065 WITH SCORE 6075.269
AT ITER 7209 NEW BEST:: SOT 33047 SOS 10269 HAS SOPS 10269 HAS SOUS 6064 HAS SOUPS 6064 WITH SCORE 6074.269
AT ITER 7221 NEW BEST:: SOT 33045 SOS 10263 HAS SOPS 10263 HAS SOUS 6060 HAS SOUPS 6060 WITH SCORE 6070.263
AT ITER 7264 NEW BEST:: SOT 33046 SOS 10264 HAS SOPS 10264 HAS SOUS 6058 HAS SOUPS 6058 WITH SCORE 6068.264
AT ITER 7284 NEW BEST:: SOT 33046 SOS 10261 HAS SOPS 10261 HAS SOUS 6055 HAS SOUPS 6055 WITH SCORE 6065.261
AT ITER 7394 NEW BEST:: SOT 33045 SOS 10260 HAS SOPS 10260 HAS SOUS 6053 HAS SOUPS 6053 WITH SCORE 6063.26
AT ITER 7470 NEW BEST:: SOT 33038 SOS 10253 HAS SOPS 10253 HAS SOUS 6051 HAS SOUPS 6051 WITH SCORE 6061.253
AT ITER 7529 NEW BEST:: SOT 33016 SOS 10231 HAS SOPS 10231 HAS SOUS 6028 HAS SOUPS 6028 WITH SCORE 6038.231
AT ITER 7577 NEW BEST:: SOT 33015 SOS 10230 HAS SOPS 10230 HAS SOUS 6023 HAS SOUPS 6023 WITH SCORE 6033.23
AT ITER 7771 NEW BEST:: SOT 33011 SOS 10219 HAS SOPS 10219 HAS SOUS 6015 HAS SOUPS 6015 WITH SCORE 6025.219
AT ITER 7776 NEW BEST:: SOT 33009 SOS 10215 HAS SOPS 10215 HAS SOUS 6009 HAS SOUPS 6009 WITH SCORE 6019.215
AT ITER 7871 NEW BEST:: SOT 33007 SOS 10215 HAS SOPS 10215 HAS SOUS 6007 HAS SOUPS 6007 WITH SCORE 6017.215
AT ITER 7902 NEW BEST:: SOT 33007 SOS 10210 HAS SOPS 10210 HAS SOUS 6002 HAS SOUPS 6002 WITH SCORE 6012.21
AT ITER 7973 NEW BEST:: SOT 33007 SOS 10206 HAS SOPS 10206 HAS SOUS 6002 HAS SOUPS 6002 WITH SCORE 6012.206
AT ITER 7983 NEW BEST:: SOT 33008 SOS 10207 HAS SOPS 10207 HAS SOUS 6000 HAS SOUPS 6000 WITH SCORE 6010.207
AT ITER 8062 NEW BEST:: SOT 33001 SOS 10200 HAS SOPS 10200 HAS SOUS 5994 HAS SOUPS 5994 WITH SCORE 6004.2
AT ITER 8073 NEW BEST:: SOT 33000 SOS 10199 HAS SOPS 10199 HAS SOUS 5991 HAS SOUPS 5991 WITH SCORE 6001.199
AT ITER 8135 NEW BEST:: SOT 33003 SOS 10187 HAS SOPS 10187 HAS SOUS 5982 HAS SOUPS 5982 WITH SCORE 5992.187
AT ITER 8153 NEW BEST:: SOT 33000 SOS 10158 HAS SOPS 10158 HAS SOUS 5953 HAS SOUPS 5953 WITH SCORE 5963.158
AT ITER 8167 NEW BEST:: SOT 32980 SOS 10138 HAS SOPS 10138 HAS SOUS 5936 HAS SOUPS 5936 WITH SCORE 5946.138
AT ITER 8200 NEW BEST:: SOT 32980 SOS 10138 HAS SOPS 10138 HAS SOUS 5926 HAS SOUPS 5926 WITH SCORE 5936.138
AT ITER 8221 NEW BEST:: SOT 32979 SOS 10137 HAS SOPS 10137 HAS SOUS 5924 HAS SOUPS 5924 WITH SCORE 5934.137
AT ITER 8222 NEW BEST:: SOT 32978 SOS 10136 HAS SOPS 10136 HAS SOUS 5924 HAS SOUPS 5924 WITH SCORE 5934.136
AT ITER 8230 NEW BEST:: SOT 32976 SOS 10121 HAS SOPS 10121 HAS SOUS 5920 HAS SOUPS 5920 WITH SCORE 5930.121
AT ITER 8237 NEW BEST:: SOT 32976 SOS 10118 HAS SOPS 10118 HAS SOUS 5920 HAS SOUPS 5920 WITH SCORE 5930.118
AT ITER 8321 NEW BEST:: SOT 32976 SOS 10103 HAS SOPS 10103 HAS SOUS 5920 HAS SOUPS 5920 WITH SCORE 5930.103
AT ITER 8332 NEW BEST:: SOT 32976 SOS 10089 HAS SOPS 10089 HAS SOUS 5906 HAS SOUPS 5906 WITH SCORE 5916.089
AT ITER 8360 NEW BEST:: SOT 32979 SOS 10052 HAS SOPS 10052 HAS SOUS 5906 HAS SOUPS 5906 WITH SCORE 5916.052
AT ITER 8364 NEW BEST:: SOT 32976 SOS 10049 HAS SOPS 10049 HAS SOUS 5900 HAS SOUPS 5900 WITH SCORE 5910.049
AT ITER 8365 NEW BEST:: SOT 32974 SOS 10048 HAS SOPS 10048 HAS SOUS 5897 HAS SOUPS 5897 WITH SCORE 5907.048
AT ITER 8400 NEW BEST:: SOT 32974 SOS 10046 HAS SOPS 10046 HAS SOUS 5897 HAS SOUPS 5897 WITH SCORE 5907.046
AT ITER 8415 NEW BEST:: SOT 32971 SOS 10037 HAS SOPS 10037 HAS SOUS 5891 HAS SOUPS 5891 WITH SCORE 5901.037
AT ITER 8422 NEW BEST:: SOT 32954 SOS 10045 HAS SOPS 10045 HAS SOUS 5881 HAS SOUPS 5881 WITH SCORE 5891.045
AT ITER 8423 NEW BEST:: SOT 32954 SOS 10046 HAS SOPS 10046 HAS SOUS 5880 HAS SOUPS 5880 WITH SCORE 5890.046
AT ITER 8440 NEW BEST:: SOT 32952 SOS 10044 HAS SOPS 10044 HAS SOUS 5880 HAS SOUPS 5880 WITH SCORE 5890.044
AT ITER 8468 NEW BEST:: SOT 32943 SOS 10035 HAS SOPS 10035 HAS SOUS 5862 HAS SOUPS 5862 WITH SCORE 5872.035
AT ITER 8500 NEW BEST:: SOT 32933 SOS 10025 HAS SOPS 10025 HAS SOUS 5844 HAS SOUPS 5844 WITH SCORE 5854.025
AT ITER 8633 NEW BEST:: SOT 32933 SOS 10023 HAS SOPS 10023 HAS SOUS 5842 HAS SOUPS 5842 WITH SCORE 5852.023
AT ITER 8658 NEW BEST:: SOT 32931 SOS 10021 HAS SOPS 10021 HAS SOUS 5833 HAS SOUPS 5833 WITH SCORE 5843.021
AT ITER 8823 NEW BEST:: SOT 32931 SOS 10017 HAS SOPS 10017 HAS SOUS 5833 HAS SOUPS 5833 WITH SCORE 5843.017
AT ITER 8865 NEW BEST:: SOT 32929 SOS 10015 HAS SOPS 10015 HAS SOUS 5831 HAS SOUPS 5831 WITH SCORE 5841.015
AT ITER 8891 NEW BEST:: SOT 32928 SOS 10010 HAS SOPS 10010 HAS SOUS 5826 HAS SOUPS 5826 WITH SCORE 5836.01
AT ITER 8936 NEW BEST:: SOT 32913 SOS 9980 HAS SOPS 9980 HAS SOUS 5796 HAS SOUPS 5796 WITH SCORE 5805.98
AT ITER 8952 NEW BEST:: SOT 32913 SOS 9980 HAS SOPS 9980 HAS SOUS 5795 HAS SOUPS 5795 WITH SCORE 5804.98
AT ITER 8972 NEW BEST:: SOT 32914 SOS 9979 HAS SOPS 9979 HAS SOUS 5795 HAS SOUPS 5795 WITH SCORE 5804.979
AT ITER 9036 NEW BEST:: SOT 32913 SOS 9977 HAS SOPS 9977 HAS SOUS 5793 HAS SOUPS 5793 WITH SCORE 5802.977
AT ITER 9053 NEW BEST:: SOT 32906 SOS 9970 HAS SOPS 9970 HAS SOUS 5786 HAS SOUPS 5786 WITH SCORE 5795.97
AT ITER 9076 NEW BEST:: SOT 32912 SOS 9976 HAS SOPS 9976 HAS SOUS 5774 HAS SOUPS 5774 WITH SCORE 5783.976
AT ITER 9244 NEW BEST:: SOT 32912 SOS 9976 HAS SOPS 9976 HAS SOUS 5767 HAS SOUPS 5767 WITH SCORE 5776.976
AT ITER 9323 NEW BEST:: SOT 32910 SOS 9976 HAS SOPS 9976 HAS SOUS 5763 HAS SOUPS 5763 WITH SCORE 5772.976
AT ITER 9375 NEW BEST:: SOT 32910 SOS 9967 HAS SOPS 9967 HAS SOUS 5763 HAS SOUPS 5763 WITH SCORE 5772.967
AT ITER 9444 NEW BEST:: SOT 32914 SOS 9971 HAS SOPS 9971 HAS SOUS 5762 HAS SOUPS 5762 WITH SCORE 5771.971
AT ITER 9510 NEW BEST:: SOT 32914 SOS 9963 HAS SOPS 9963 HAS SOUS 5762 HAS SOUPS 5762 WITH SCORE 5771.963
AT ITER 9513 NEW BEST:: SOT 32909 SOS 9953 HAS SOPS 9953 HAS SOUS 5751 HAS SOUPS 5751 WITH SCORE 5760.953
AT ITER 9572 NEW BEST:: SOT 32903 SOS 9947 HAS SOPS 9947 HAS SOUS 5739 HAS SOUPS 5739 WITH SCORE 5748.947
AT ITER 9628 NEW BEST:: SOT 32902 SOS 9946 HAS SOPS 9946 HAS SOUS 5738 HAS SOUPS 5738 WITH SCORE 5747.946
AT ITER 9647 NEW BEST:: SOT 32903 SOS 9953 HAS SOPS 9953 HAS SOUS 5737 HAS SOUPS 5737 WITH SCORE 5746.953
AT ITER 9775 NEW BEST:: SOT 32903 SOS 9936 HAS SOPS 9936 HAS SOUS 5737 HAS SOUPS 5737 WITH SCORE 5746.936
AT ITER 9859 NEW BEST:: SOT 32901 SOS 9934 HAS SOPS 9934 HAS SOUS 5735 HAS SOUPS 5735 WITH SCORE 5744.934
AT ITER 9970 NEW BEST:: SOT 32901 SOS 9933 HAS SOPS 9933 HAS SOUS 5735 HAS SOUPS 5735 WITH SCORE 5744.933
AT ITER 9985 NEW BEST:: SOT 32879 SOS 9912 HAS SOPS 9912 HAS SOUS 5734 HAS SOUPS 5734 WITH SCORE 5743.912
STATE_SPACE STATES 173415703035332100000 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 4 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 61 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 3503620994848669590000 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678551756460

--------------------
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="HospitalTriage-PT-none"
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 HospitalTriage-PT-none, 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-167840342500512"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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