fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r207-tajo-159033469800648
Last Updated
Jun 28, 2020

About the Execution of smart for ShieldPPPt-PT-005B

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15765.980 3600000.00 3600010.00 0.00 [undef] Time out reached

Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r207-tajo-159033469800648.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ShieldPPPt-PT-005B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469800648
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 280K
-rw-r--r-- 1 mcc users 4.2K May 14 01:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 14 01:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 13 19:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K May 13 19:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K May 14 10:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 14 10:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 14 10:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.8K May 13 14:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 13 14:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 13 08:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 08:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 92K May 12 20:42 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 1590446659199

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

Filename model.pnml
Petri model created: 393 places, 358 transitions, 896 arcs.
AT ITER 0 NEW BEST:: SOT 77150 SOS 20642 HAS SOPS 20642 HAS SOUS 19102 HAS SOUPS 19102 WITH SCORE 19122.642
AT ITER 7 NEW BEST:: SOT 77150 SOS 20639 HAS SOPS 20639 HAS SOUS 19099 HAS SOUPS 19099 WITH SCORE 19119.639
AT ITER 30 NEW BEST:: SOT 77124 SOS 20629 HAS SOPS 20629 HAS SOUS 19089 HAS SOUPS 19089 WITH SCORE 19109.629
AT ITER 32 NEW BEST:: SOT 77183 SOS 20738 HAS SOPS 20738 HAS SOUS 19075 HAS SOUPS 19075 WITH SCORE 19095.738
AT ITER 70 NEW BEST:: SOT 77183 SOS 20735 HAS SOPS 20735 HAS SOUS 19072 HAS SOUPS 19072 WITH SCORE 19092.735
AT ITER 91 NEW BEST:: SOT 77183 SOS 20718 HAS SOPS 20718 HAS SOUS 19055 HAS SOUPS 19055 WITH SCORE 19075.718
AT ITER 98 NEW BEST:: SOT 77158 SOS 20668 HAS SOPS 20668 HAS SOUS 18969 HAS SOUPS 18969 WITH SCORE 18989.668
AT ITER 112 NEW BEST:: SOT 77162 SOS 20670 HAS SOPS 20670 HAS SOUS 18953 HAS SOUPS 18953 WITH SCORE 18973.67
AT ITER 118 NEW BEST:: SOT 77119 SOS 20667 HAS SOPS 20667 HAS SOUS 18950 HAS SOUPS 18950 WITH SCORE 18970.667
AT ITER 133 NEW BEST:: SOT 77113 SOS 20661 HAS SOPS 20661 HAS SOUS 18950 HAS SOUPS 18950 WITH SCORE 18970.661
AT ITER 144 NEW BEST:: SOT 77070 SOS 20568 HAS SOPS 20568 HAS SOUS 18907 HAS SOUPS 18907 WITH SCORE 18927.568
AT ITER 146 NEW BEST:: SOT 77029 SOS 20486 HAS SOPS 20486 HAS SOUS 18830 HAS SOUPS 18830 WITH SCORE 18850.486
AT ITER 169 NEW BEST:: SOT 77029 SOS 20467 HAS SOPS 20467 HAS SOUS 18811 HAS SOUPS 18811 WITH SCORE 18831.467
AT ITER 181 NEW BEST:: SOT 77029 SOS 20467 HAS SOPS 20467 HAS SOUS 18810 HAS SOUPS 18810 WITH SCORE 18830.467
AT ITER 219 NEW BEST:: SOT 77007 SOS 20442 HAS SOPS 20442 HAS SOUS 18785 HAS SOUPS 18785 WITH SCORE 18805.442
AT ITER 222 NEW BEST:: SOT 77007 SOS 20436 HAS SOPS 20436 HAS SOUS 18779 HAS SOUPS 18779 WITH SCORE 18799.436
AT ITER 227 NEW BEST:: SOT 76996 SOS 20403 HAS SOPS 20403 HAS SOUS 18757 HAS SOUPS 18757 WITH SCORE 18777.403
AT ITER 235 NEW BEST:: SOT 76988 SOS 20387 HAS SOPS 20387 HAS SOUS 18741 HAS SOUPS 18741 WITH SCORE 18761.387
AT ITER 256 NEW BEST:: SOT 76949 SOS 20304 HAS SOPS 20304 HAS SOUS 18658 HAS SOUPS 18658 WITH SCORE 18678.304
AT ITER 282 NEW BEST:: SOT 76897 SOS 20135 HAS SOPS 20135 HAS SOUS 18560 HAS SOUPS 18560 WITH SCORE 18580.135
AT ITER 283 NEW BEST:: SOT 76897 SOS 20134 HAS SOPS 20134 HAS SOUS 18559 HAS SOUPS 18559 WITH SCORE 18579.134
AT ITER 292 NEW BEST:: SOT 76896 SOS 20133 HAS SOPS 20133 HAS SOUS 18558 HAS SOUPS 18558 WITH SCORE 18578.133
AT ITER 296 NEW BEST:: SOT 76836 SOS 20073 HAS SOPS 20073 HAS SOUS 18498 HAS SOUPS 18498 WITH SCORE 18518.073
AT ITER 338 NEW BEST:: SOT 76756 SOS 19993 HAS SOPS 19993 HAS SOUS 18418 HAS SOUPS 18418 WITH SCORE 18437.993
AT ITER 349 NEW BEST:: SOT 76820 SOS 19992 HAS SOPS 19992 HAS SOUS 18417 HAS SOUPS 18417 WITH SCORE 18436.992
AT ITER 382 NEW BEST:: SOT 76838 SOS 19978 HAS SOPS 19978 HAS SOUS 18329 HAS SOUPS 18329 WITH SCORE 18348.978
AT ITER 386 NEW BEST:: SOT 76812 SOS 19926 HAS SOPS 19926 HAS SOUS 18257 HAS SOUPS 18257 WITH SCORE 18276.926
AT ITER 404 NEW BEST:: SOT 76757 SOS 20004 HAS SOPS 20004 HAS SOUS 18244 HAS SOUPS 18244 WITH SCORE 18264.004
AT ITER 411 NEW BEST:: SOT 76745 SOS 20024 HAS SOPS 20024 HAS SOUS 18239 HAS SOUPS 18239 WITH SCORE 18259.024
AT ITER 413 NEW BEST:: SOT 76745 SOS 20024 HAS SOPS 20024 HAS SOUS 18187 HAS SOUPS 18187 WITH SCORE 18207.024
AT ITER 419 NEW BEST:: SOT 76715 SOS 20004 HAS SOPS 20004 HAS SOUS 18167 HAS SOUPS 18167 WITH SCORE 18187.004
AT ITER 425 NEW BEST:: SOT 76715 SOS 19989 HAS SOPS 19989 HAS SOUS 18152 HAS SOUPS 18152 WITH SCORE 18171.989
AT ITER 449 NEW BEST:: SOT 76690 SOS 19920 HAS SOPS 19920 HAS SOUS 18083 HAS SOUPS 18083 WITH SCORE 18102.92
AT ITER 469 NEW BEST:: SOT 76690 SOS 19911 HAS SOPS 19911 HAS SOUS 18070 HAS SOUPS 18070 WITH SCORE 18089.911
AT ITER 485 NEW BEST:: SOT 76690 SOS 19910 HAS SOPS 19910 HAS SOUS 18069 HAS SOUPS 18069 WITH SCORE 18088.91
AT ITER 500 NEW BEST:: SOT 76638 SOS 19696 HAS SOPS 19696 HAS SOUS 17950 HAS SOUPS 17950 WITH SCORE 17969.696
AT ITER 503 NEW BEST:: SOT 76612 SOS 19670 HAS SOPS 19670 HAS SOUS 17924 HAS SOUPS 17924 WITH SCORE 17943.67
AT ITER 509 NEW BEST:: SOT 76611 SOS 19658 HAS SOPS 19658 HAS SOUS 17922 HAS SOUPS 17922 WITH SCORE 17941.658
AT ITER 516 NEW BEST:: SOT 76611 SOS 19654 HAS SOPS 19654 HAS SOUS 17918 HAS SOUPS 17918 WITH SCORE 17937.654
AT ITER 527 NEW BEST:: SOT 76610 SOS 19635 HAS SOPS 19635 HAS SOUS 17916 HAS SOUPS 17916 WITH SCORE 17935.635
AT ITER 530 NEW BEST:: SOT 76609 SOS 19631 HAS SOPS 19631 HAS SOUS 17912 HAS SOUPS 17912 WITH SCORE 17931.631
AT ITER 536 NEW BEST:: SOT 76643 SOS 19692 HAS SOPS 19692 HAS SOUS 17911 HAS SOUPS 17911 WITH SCORE 17930.692
AT ITER 547 NEW BEST:: SOT 76642 SOS 19632 HAS SOPS 19632 HAS SOUS 17909 HAS SOUPS 17909 WITH SCORE 17928.632
AT ITER 550 NEW BEST:: SOT 76634 SOS 19624 HAS SOPS 19624 HAS SOUS 17901 HAS SOUPS 17901 WITH SCORE 17920.624
AT ITER 554 NEW BEST:: SOT 76634 SOS 19592 HAS SOPS 19592 HAS SOUS 17869 HAS SOUPS 17869 WITH SCORE 17888.592
AT ITER 568 NEW BEST:: SOT 76634 SOS 19574 HAS SOPS 19574 HAS SOUS 17868 HAS SOUPS 17868 WITH SCORE 17887.574
AT ITER 586 NEW BEST:: SOT 76622 SOS 19550 HAS SOPS 19550 HAS SOUS 17864 HAS SOUPS 17864 WITH SCORE 17883.55
AT ITER 630 NEW BEST:: SOT 76604 SOS 19514 HAS SOPS 19514 HAS SOUS 17846 HAS SOUPS 17846 WITH SCORE 17865.514
AT ITER 635 NEW BEST:: SOT 76607 SOS 19515 HAS SOPS 19515 HAS SOUS 17844 HAS SOUPS 17844 WITH SCORE 17863.515
AT ITER 639 NEW BEST:: SOT 76550 SOS 19493 HAS SOPS 19493 HAS SOUS 17822 HAS SOUPS 17822 WITH SCORE 17841.493
AT ITER 668 NEW BEST:: SOT 76550 SOS 19492 HAS SOPS 19492 HAS SOUS 17821 HAS SOUPS 17821 WITH SCORE 17840.492
AT ITER 679 NEW BEST:: SOT 76550 SOS 19489 HAS SOPS 19489 HAS SOUS 17821 HAS SOUPS 17821 WITH SCORE 17840.489
AT ITER 696 NEW BEST:: SOT 76474 SOS 19362 HAS SOPS 19362 HAS SOUS 17720 HAS SOUPS 17720 WITH SCORE 17739.362
AT ITER 699 NEW BEST:: SOT 76473 SOS 19360 HAS SOPS 19360 HAS SOUS 17720 HAS SOUPS 17720 WITH SCORE 17739.36
AT ITER 705 NEW BEST:: SOT 76463 SOS 19252 HAS SOPS 19252 HAS SOUS 17700 HAS SOUPS 17700 WITH SCORE 17719.252
AT ITER 719 NEW BEST:: SOT 76465 SOS 19231 HAS SOPS 19231 HAS SOUS 17670 HAS SOUPS 17670 WITH SCORE 17689.231
AT ITER 753 NEW BEST:: SOT 76438 SOS 19137 HAS SOPS 19137 HAS SOUS 17576 HAS SOUPS 17576 WITH SCORE 17595.137
AT ITER 761 NEW BEST:: SOT 76438 SOS 19110 HAS SOPS 19110 HAS SOUS 17549 HAS SOUPS 17549 WITH SCORE 17568.11
AT ITER 762 NEW BEST:: SOT 76323 SOS 19117 HAS SOPS 19117 HAS SOUS 17533 HAS SOUPS 17533 WITH SCORE 17552.117
AT ITER 770 NEW BEST:: SOT 76323 SOS 19118 HAS SOPS 19118 HAS SOUS 17531 HAS SOUPS 17531 WITH SCORE 17550.118
AT ITER 787 NEW BEST:: SOT 76316 SOS 19111 HAS SOPS 19111 HAS SOUS 17531 HAS SOUPS 17531 WITH SCORE 17550.111
AT ITER 802 NEW BEST:: SOT 76275 SOS 19081 HAS SOPS 19081 HAS SOUS 17490 HAS SOUPS 17490 WITH SCORE 17509.081
AT ITER 809 NEW BEST:: SOT 76274 SOS 19071 HAS SOPS 19071 HAS SOUS 17480 HAS SOUPS 17480 WITH SCORE 17499.071
AT ITER 837 NEW BEST:: SOT 76289 SOS 19101 HAS SOPS 19101 HAS SOUS 17471 HAS SOUPS 17471 WITH SCORE 17490.101
AT ITER 900 NEW BEST:: SOT 76288 SOS 19067 HAS SOPS 19067 HAS SOUS 17437 HAS SOUPS 17437 WITH SCORE 17456.067
AT ITER 903 NEW BEST:: SOT 76288 SOS 19064 HAS SOPS 19064 HAS SOUS 17434 HAS SOUPS 17434 WITH SCORE 17453.064
AT ITER 906 NEW BEST:: SOT 76306 SOS 19106 HAS SOPS 19106 HAS SOUS 17426 HAS SOUPS 17426 WITH SCORE 17445.106
AT ITER 969 NEW BEST:: SOT 76300 SOS 19077 HAS SOPS 19077 HAS SOUS 17420 HAS SOUPS 17420 WITH SCORE 17439.077
AT ITER 977 NEW BEST:: SOT 76300 SOS 19043 HAS SOPS 19043 HAS SOUS 17352 HAS SOUPS 17352 WITH SCORE 17371.043
AT ITER 981 NEW BEST:: SOT 76217 SOS 18890 HAS SOPS 18890 HAS SOUS 17241 HAS SOUPS 17241 WITH SCORE 17259.89
AT ITER 996 NEW BEST:: SOT 76176 SOS 18767 HAS SOPS 18767 HAS SOUS 17118 HAS SOUPS 17118 WITH SCORE 17136.767
AT ITER 1011 NEW BEST:: SOT 76176 SOS 18766 HAS SOPS 18766 HAS SOUS 17117 HAS SOUPS 17117 WITH SCORE 17135.766
AT ITER 1017 NEW BEST:: SOT 76171 SOS 18761 HAS SOPS 18761 HAS SOUS 17117 HAS SOUPS 17117 WITH SCORE 17135.761
AT ITER 1052 NEW BEST:: SOT 76171 SOS 18752 HAS SOPS 18752 HAS SOUS 17108 HAS SOUPS 17108 WITH SCORE 17126.752
AT ITER 1074 NEW BEST:: SOT 76186 SOS 18751 HAS SOPS 18751 HAS SOUS 17107 HAS SOUPS 17107 WITH SCORE 17125.751
AT ITER 1095 NEW BEST:: SOT 76176 SOS 18675 HAS SOPS 18675 HAS SOUS 17059 HAS SOUPS 17059 WITH SCORE 17077.675
AT ITER 1115 NEW BEST:: SOT 76176 SOS 18650 HAS SOPS 18650 HAS SOUS 17034 HAS SOUPS 17034 WITH SCORE 17052.65
AT ITER 1119 NEW BEST:: SOT 76150 SOS 18588 HAS SOPS 18588 HAS SOUS 16999 HAS SOUPS 16999 WITH SCORE 17017.588
AT ITER 1121 NEW BEST:: SOT 76106 SOS 18568 HAS SOPS 18568 HAS SOUS 16975 HAS SOUPS 16975 WITH SCORE 16993.568
AT ITER 1131 NEW BEST:: SOT 76098 SOS 18566 HAS SOPS 18566 HAS SOUS 16967 HAS SOUPS 16967 WITH SCORE 16985.566
AT ITER 1140 NEW BEST:: SOT 76098 SOS 18558 HAS SOPS 18558 HAS SOUS 16951 HAS SOUPS 16951 WITH SCORE 16969.558
AT ITER 1207 NEW BEST:: SOT 76064 SOS 18525 HAS SOPS 18525 HAS SOUS 16918 HAS SOUPS 16918 WITH SCORE 16936.525
AT ITER 1225 NEW BEST:: SOT 76095 SOS 18531 HAS SOPS 18531 HAS SOUS 16855 HAS SOUPS 16855 WITH SCORE 16873.531
AT ITER 1261 NEW BEST:: SOT 76056 SOS 18576 HAS SOPS 18576 HAS SOUS 16839 HAS SOUPS 16839 WITH SCORE 16857.576
AT ITER 1286 NEW BEST:: SOT 76056 SOS 18576 HAS SOPS 18576 HAS SOUS 16836 HAS SOUPS 16836 WITH SCORE 16854.576
AT ITER 1293 NEW BEST:: SOT 76052 SOS 18571 HAS SOPS 18571 HAS SOUS 16831 HAS SOUPS 16831 WITH SCORE 16849.571
AT ITER 1307 NEW BEST:: SOT 76040 SOS 18570 HAS SOPS 18570 HAS SOUS 16830 HAS SOUPS 16830 WITH SCORE 16848.57
AT ITER 1348 NEW BEST:: SOT 76019 SOS 18561 HAS SOPS 18561 HAS SOUS 16820 HAS SOUPS 16820 WITH SCORE 16838.561
AT ITER 1356 NEW BEST:: SOT 75998 SOS 18522 HAS SOPS 18522 HAS SOUS 16801 HAS SOUPS 16801 WITH SCORE 16819.522
AT ITER 1367 NEW BEST:: SOT 75998 SOS 18522 HAS SOPS 18522 HAS SOUS 16798 HAS SOUPS 16798 WITH SCORE 16816.522
AT ITER 1392 NEW BEST:: SOT 76021 SOS 18481 HAS SOPS 18481 HAS SOUS 16788 HAS SOUPS 16788 WITH SCORE 16806.481
AT ITER 1430 NEW BEST:: SOT 76021 SOS 18467 HAS SOPS 18467 HAS SOUS 16781 HAS SOUPS 16781 WITH SCORE 16799.467
AT ITER 1432 NEW BEST:: SOT 76021 SOS 18467 HAS SOPS 18467 HAS SOUS 16772 HAS SOUPS 16772 WITH SCORE 16790.467
AT ITER 1449 NEW BEST:: SOT 76008 SOS 18419 HAS SOPS 18419 HAS SOUS 16724 HAS SOUPS 16724 WITH SCORE 16742.419
AT ITER 1471 NEW BEST:: SOT 75991 SOS 18402 HAS SOPS 18402 HAS SOUS 16707 HAS SOUPS 16707 WITH SCORE 16725.402
AT ITER 1490 NEW BEST:: SOT 75991 SOS 18403 HAS SOPS 18403 HAS SOUS 16702 HAS SOUPS 16702 WITH SCORE 16720.403
AT ITER 1493 NEW BEST:: SOT 75977 SOS 18374 HAS SOPS 18374 HAS SOUS 16673 HAS SOUPS 16673 WITH SCORE 16691.374
AT ITER 1497 NEW BEST:: SOT 75977 SOS 18395 HAS SOPS 18395 HAS SOUS 16665 HAS SOUPS 16665 WITH SCORE 16683.395
AT ITER 1529 NEW BEST:: SOT 75978 SOS 18392 HAS SOPS 18392 HAS SOUS 16665 HAS SOUPS 16665 WITH SCORE 16683.392
AT ITER 1546 NEW BEST:: SOT 75925 SOS 18286 HAS SOPS 18286 HAS SOUS 16604 HAS SOUPS 16604 WITH SCORE 16622.286
AT ITER 1550 NEW BEST:: SOT 75916 SOS 18285 HAS SOPS 18285 HAS SOUS 16587 HAS SOUPS 16587 WITH SCORE 16605.285
AT ITER 1568 NEW BEST:: SOT 75910 SOS 18273 HAS SOPS 18273 HAS SOUS 16575 HAS SOUPS 16575 WITH SCORE 16593.273
AT ITER 1583 NEW BEST:: SOT 75896 SOS 18271 HAS SOPS 18271 HAS SOUS 16561 HAS SOUPS 16561 WITH SCORE 16579.271
AT ITER 1604 NEW BEST:: SOT 75896 SOS 18256 HAS SOPS 18256 HAS SOUS 16546 HAS SOUPS 16546 WITH SCORE 16564.256
AT ITER 1608 NEW BEST:: SOT 75896 SOS 18251 HAS SOPS 18251 HAS SOUS 16546 HAS SOUPS 16546 WITH SCORE 16564.251
AT ITER 1609 NEW BEST:: SOT 75881 SOS 18231 HAS SOPS 18231 HAS SOUS 16543 HAS SOUPS 16543 WITH SCORE 16561.231
AT ITER 1623 NEW BEST:: SOT 75847 SOS 18198 HAS SOPS 18198 HAS SOUS 16510 HAS SOUPS 16510 WITH SCORE 16528.198
AT ITER 1630 NEW BEST:: SOT 75843 SOS 18190 HAS SOPS 18190 HAS SOUS 16485 HAS SOUPS 16485 WITH SCORE 16503.19
AT ITER 1633 NEW BEST:: SOT 75832 SOS 18184 HAS SOPS 18184 HAS SOUS 16471 HAS SOUPS 16471 WITH SCORE 16489.184
AT ITER 1677 NEW BEST:: SOT 75871 SOS 18254 HAS SOPS 18254 HAS SOUS 16464 HAS SOUPS 16464 WITH SCORE 16482.254
AT ITER 1693 NEW BEST:: SOT 75871 SOS 18248 HAS SOPS 18248 HAS SOUS 16458 HAS SOUPS 16458 WITH SCORE 16476.248
AT ITER 1705 NEW BEST:: SOT 75872 SOS 18204 HAS SOPS 18204 HAS SOUS 16414 HAS SOUPS 16414 WITH SCORE 16432.204
AT ITER 1710 NEW BEST:: SOT 75872 SOS 18144 HAS SOPS 18144 HAS SOUS 16384 HAS SOUPS 16384 WITH SCORE 16402.144
AT ITER 1715 NEW BEST:: SOT 75869 SOS 18138 HAS SOPS 18138 HAS SOUS 16378 HAS SOUPS 16378 WITH SCORE 16396.138
AT ITER 1745 NEW BEST:: SOT 75851 SOS 18103 HAS SOPS 18103 HAS SOUS 16362 HAS SOUPS 16362 WITH SCORE 16380.103
AT ITER 1754 NEW BEST:: SOT 75849 SOS 18100 HAS SOPS 18100 HAS SOUS 16359 HAS SOUPS 16359 WITH SCORE 16377.1
AT ITER 1779 NEW BEST:: SOT 75849 SOS 18097 HAS SOPS 18097 HAS SOUS 16356 HAS SOUPS 16356 WITH SCORE 16374.097
AT ITER 1798 NEW BEST:: SOT 75884 SOS 18144 HAS SOPS 18144 HAS SOUS 16349 HAS SOUPS 16349 WITH SCORE 16367.144
AT ITER 1813 NEW BEST:: SOT 75875 SOS 18117 HAS SOPS 18117 HAS SOUS 16331 HAS SOUPS 16331 WITH SCORE 16349.117
AT ITER 1814 NEW BEST:: SOT 75884 SOS 18135 HAS SOPS 18135 HAS SOUS 16325 HAS SOUPS 16325 WITH SCORE 16343.135
AT ITER 1818 NEW BEST:: SOT 75882 SOS 18129 HAS SOPS 18129 HAS SOUS 16321 HAS SOUPS 16321 WITH SCORE 16339.129
AT ITER 1823 NEW BEST:: SOT 75878 SOS 18101 HAS SOPS 18101 HAS SOUS 16293 HAS SOUPS 16293 WITH SCORE 16311.101
AT ITER 1849 NEW BEST:: SOT 75878 SOS 18095 HAS SOPS 18095 HAS SOUS 16293 HAS SOUPS 16293 WITH SCORE 16311.095
AT ITER 1878 NEW BEST:: SOT 75865 SOS 18056 HAS SOPS 18056 HAS SOUS 16280 HAS SOUPS 16280 WITH SCORE 16298.056
AT ITER 1927 NEW BEST:: SOT 75834 SOS 17922 HAS SOPS 17922 HAS SOUS 16185 HAS SOUPS 16185 WITH SCORE 16202.922
AT ITER 1929 NEW BEST:: SOT 75834 SOS 17888 HAS SOPS 17888 HAS SOUS 16151 HAS SOUPS 16151 WITH SCORE 16168.888
AT ITER 1957 NEW BEST:: SOT 75828 SOS 17866 HAS SOPS 17866 HAS SOUS 16148 HAS SOUPS 16148 WITH SCORE 16165.866
AT ITER 1960 NEW BEST:: SOT 75828 SOS 17829 HAS SOPS 17829 HAS SOUS 16111 HAS SOUPS 16111 WITH SCORE 16128.829
AT ITER 2067 NEW BEST:: SOT 75828 SOS 17850 HAS SOPS 17850 HAS SOUS 16105 HAS SOUPS 16105 WITH SCORE 16122.85
AT ITER 2128 NEW BEST:: SOT 75848 SOS 17840 HAS SOPS 17840 HAS SOUS 16091 HAS SOUPS 16091 WITH SCORE 16108.84
AT ITER 2167 NEW BEST:: SOT 75832 SOS 17837 HAS SOPS 17837 HAS SOUS 16079 HAS SOUPS 16079 WITH SCORE 16096.837
AT ITER 2194 NEW BEST:: SOT 75799 SOS 17757 HAS SOPS 17757 HAS SOUS 15999 HAS SOUPS 15999 WITH SCORE 16016.757
AT ITER 2197 NEW BEST:: SOT 75798 SOS 17756 HAS SOPS 17756 HAS SOUS 15998 HAS SOUPS 15998 WITH SCORE 16015.756
AT ITER 2225 NEW BEST:: SOT 75798 SOS 17697 HAS SOPS 17697 HAS SOUS 15939 HAS SOUPS 15939 WITH SCORE 15956.697
AT ITER 2250 NEW BEST:: SOT 75804 SOS 17697 HAS SOPS 17697 HAS SOUS 15933 HAS SOUPS 15933 WITH SCORE 15950.697
AT ITER 2305 NEW BEST:: SOT 75819 SOS 17727 HAS SOPS 17727 HAS SOUS 15915 HAS SOUPS 15915 WITH SCORE 15932.727
AT ITER 2314 NEW BEST:: SOT 75799 SOS 17717 HAS SOPS 17717 HAS SOUS 15895 HAS SOUPS 15895 WITH SCORE 15912.717
AT ITER 2361 NEW BEST:: SOT 75799 SOS 17714 HAS SOPS 17714 HAS SOUS 15892 HAS SOUPS 15892 WITH SCORE 15909.714
AT ITER 2385 NEW BEST:: SOT 75796 SOS 17706 HAS SOPS 17706 HAS SOUS 15884 HAS SOUPS 15884 WITH SCORE 15901.706
AT ITER 2456 NEW BEST:: SOT 75796 SOS 17705 HAS SOPS 17705 HAS SOUS 15883 HAS SOUPS 15883 WITH SCORE 15900.705
AT ITER 2457 NEW BEST:: SOT 75796 SOS 17709 HAS SOPS 17709 HAS SOUS 15880 HAS SOUPS 15880 WITH SCORE 15897.709
AT ITER 2460 NEW BEST:: SOT 75796 SOS 17709 HAS SOPS 17709 HAS SOUS 15871 HAS SOUPS 15871 WITH SCORE 15888.709
AT ITER 2500 NEW BEST:: SOT 75796 SOS 17706 HAS SOPS 17706 HAS SOUS 15868 HAS SOUPS 15868 WITH SCORE 15885.706
AT ITER 2528 NEW BEST:: SOT 75796 SOS 17705 HAS SOPS 17705 HAS SOUS 15867 HAS SOUPS 15867 WITH SCORE 15884.705
AT ITER 2583 NEW BEST:: SOT 75782 SOS 17639 HAS SOPS 17639 HAS SOUS 15841 HAS SOUPS 15841 WITH SCORE 15858.639
AT ITER 2585 NEW BEST:: SOT 75776 SOS 17621 HAS SOPS 17621 HAS SOUS 15839 HAS SOUPS 15839 WITH SCORE 15856.621
AT ITER 2595 NEW BEST:: SOT 75756 SOS 17611 HAS SOPS 17611 HAS SOUS 15829 HAS SOUPS 15829 WITH SCORE 15846.611
AT ITER 2618 NEW BEST:: SOT 75748 SOS 17574 HAS SOPS 17574 HAS SOUS 15792 HAS SOUPS 15792 WITH SCORE 15809.574
AT ITER 2630 NEW BEST:: SOT 75762 SOS 17568 HAS SOPS 17568 HAS SOUS 15786 HAS SOUPS 15786 WITH SCORE 15803.568
AT ITER 2634 NEW BEST:: SOT 75750 SOS 17574 HAS SOPS 17574 HAS SOUS 15784 HAS SOUPS 15784 WITH SCORE 15801.574
AT ITER 2635 NEW BEST:: SOT 75742 SOS 17542 HAS SOPS 17542 HAS SOUS 15760 HAS SOUPS 15760 WITH SCORE 15777.542
AT ITER 2669 NEW BEST:: SOT 75764 SOS 17555 HAS SOPS 17555 HAS SOUS 15727 HAS SOUPS 15727 WITH SCORE 15744.555
AT ITER 2691 NEW BEST:: SOT 75722 SOS 17537 HAS SOPS 17537 HAS SOUS 15709 HAS SOUPS 15709 WITH SCORE 15726.537
AT ITER 2708 NEW BEST:: SOT 75722 SOS 17536 HAS SOPS 17536 HAS SOUS 15708 HAS SOUPS 15708 WITH SCORE 15725.536
AT ITER 2712 NEW BEST:: SOT 75746 SOS 17512 HAS SOPS 17512 HAS SOUS 15684 HAS SOUPS 15684 WITH SCORE 15701.512
AT ITER 2752 NEW BEST:: SOT 75746 SOS 17512 HAS SOPS 17512 HAS SOUS 15682 HAS SOUPS 15682 WITH SCORE 15699.512
AT ITER 2759 NEW BEST:: SOT 75746 SOS 17512 HAS SOPS 17512 HAS SOUS 15671 HAS SOUPS 15671 WITH SCORE 15688.512
AT ITER 2770 NEW BEST:: SOT 75740 SOS 17511 HAS SOPS 17511 HAS SOUS 15665 HAS SOUPS 15665 WITH SCORE 15682.511
AT ITER 2774 NEW BEST:: SOT 75740 SOS 17510 HAS SOPS 17510 HAS SOUS 15664 HAS SOUPS 15664 WITH SCORE 15681.51
AT ITER 2814 NEW BEST:: SOT 75740 SOS 17484 HAS SOPS 17484 HAS SOUS 15664 HAS SOUPS 15664 WITH SCORE 15681.484
AT ITER 2820 NEW BEST:: SOT 75757 SOS 17468 HAS SOPS 17468 HAS SOUS 15648 HAS SOUPS 15648 WITH SCORE 15665.468
AT ITER 2828 NEW BEST:: SOT 75759 SOS 17452 HAS SOPS 17452 HAS SOUS 15614 HAS SOUPS 15614 WITH SCORE 15631.452
AT ITER 2847 NEW BEST:: SOT 75759 SOS 17451 HAS SOPS 17451 HAS SOUS 15613 HAS SOUPS 15613 WITH SCORE 15630.451
AT ITER 2853 NEW BEST:: SOT 75725 SOS 17334 HAS SOPS 17334 HAS SOUS 15584 HAS SOUPS 15584 WITH SCORE 15601.334
AT ITER 2862 NEW BEST:: SOT 75724 SOS 17328 HAS SOPS 17328 HAS SOUS 15578 HAS SOUPS 15578 WITH SCORE 15595.328
AT ITER 2896 NEW BEST:: SOT 75724 SOS 17316 HAS SOPS 17316 HAS SOUS 15572 HAS SOUPS 15572 WITH SCORE 15589.316
AT ITER 2922 NEW BEST:: SOT 75712 SOS 17303 HAS SOPS 17303 HAS SOUS 15560 HAS SOUPS 15560 WITH SCORE 15577.303
AT ITER 2931 NEW BEST:: SOT 75710 SOS 17297 HAS SOPS 17297 HAS SOUS 15556 HAS SOUPS 15556 WITH SCORE 15573.297
AT ITER 2971 NEW BEST:: SOT 75709 SOS 17292 HAS SOPS 17292 HAS SOUS 15549 HAS SOUPS 15549 WITH SCORE 15566.292
AT ITER 2996 NEW BEST:: SOT 75693 SOS 17236 HAS SOPS 17236 HAS SOUS 15481 HAS SOUPS 15481 WITH SCORE 15498.236
AT ITER 3061 NEW BEST:: SOT 75660 SOS 17170 HAS SOPS 17170 HAS SOUS 15429 HAS SOUPS 15429 WITH SCORE 15446.17
AT ITER 3083 NEW BEST:: SOT 75642 SOS 17158 HAS SOPS 17158 HAS SOUS 15413 HAS SOUPS 15413 WITH SCORE 15430.158
AT ITER 3148 NEW BEST:: SOT 75631 SOS 17145 HAS SOPS 17145 HAS SOUS 15400 HAS SOUPS 15400 WITH SCORE 15417.145
AT ITER 3180 NEW BEST:: SOT 75626 SOS 17141 HAS SOPS 17141 HAS SOUS 15396 HAS SOUPS 15396 WITH SCORE 15413.141
AT ITER 3191 NEW BEST:: SOT 75626 SOS 17134 HAS SOPS 17134 HAS SOUS 15387 HAS SOUPS 15387 WITH SCORE 15404.134
AT ITER 3247 NEW BEST:: SOT 75613 SOS 17082 HAS SOPS 17082 HAS SOUS 15367 HAS SOUPS 15367 WITH SCORE 15384.082
AT ITER 3255 NEW BEST:: SOT 75612 SOS 17080 HAS SOPS 17080 HAS SOUS 15365 HAS SOUPS 15365 WITH SCORE 15382.08
AT ITER 3281 NEW BEST:: SOT 75605 SOS 17059 HAS SOPS 17059 HAS SOUS 15351 HAS SOUPS 15351 WITH SCORE 15368.059
AT ITER 3292 NEW BEST:: SOT 75597 SOS 17017 HAS SOPS 17017 HAS SOUS 15337 HAS SOUPS 15337 WITH SCORE 15354.017
AT ITER 3309 NEW BEST:: SOT 75573 SOS 16896 HAS SOPS 16896 HAS SOUS 15289 HAS SOUPS 15289 WITH SCORE 15305.896
AT ITER 3316 NEW BEST:: SOT 75568 SOS 16868 HAS SOPS 16868 HAS SOUS 15261 HAS SOUPS 15261 WITH SCORE 15277.868
AT ITER 3360 NEW BEST:: SOT 75566 SOS 16870 HAS SOPS 16870 HAS SOUS 15259 HAS SOUPS 15259 WITH SCORE 15275.87
AT ITER 3368 NEW BEST:: SOT 75566 SOS 16835 HAS SOPS 16835 HAS SOUS 15224 HAS SOUPS 15224 WITH SCORE 15240.835
AT ITER 3456 NEW BEST:: SOT 75545 SOS 16791 HAS SOPS 16791 HAS SOUS 15180 HAS SOUPS 15180 WITH SCORE 15196.791
AT ITER 3465 NEW BEST:: SOT 75544 SOS 16789 HAS SOPS 16789 HAS SOUS 15178 HAS SOUPS 15178 WITH SCORE 15194.789
AT ITER 3479 NEW BEST:: SOT 75531 SOS 16781 HAS SOPS 16781 HAS SOUS 15165 HAS SOUPS 15165 WITH SCORE 15181.781
AT ITER 3481 NEW BEST:: SOT 75531 SOS 16779 HAS SOPS 16779 HAS SOUS 15163 HAS SOUPS 15163 WITH SCORE 15179.779
AT ITER 3507 NEW BEST:: SOT 75531 SOS 16773 HAS SOPS 16773 HAS SOUS 15152 HAS SOUPS 15152 WITH SCORE 15168.773
AT ITER 3531 NEW BEST:: SOT 75543 SOS 16765 HAS SOPS 16765 HAS SOUS 15144 HAS SOUPS 15144 WITH SCORE 15160.765
AT ITER 3546 NEW BEST:: SOT 75543 SOS 16752 HAS SOPS 16752 HAS SOUS 15131 HAS SOUPS 15131 WITH SCORE 15147.752
AT ITER 3585 NEW BEST:: SOT 75543 SOS 16752 HAS SOPS 16752 HAS SOUS 15128 HAS SOUPS 15128 WITH SCORE 15144.752
AT ITER 3631 NEW BEST:: SOT 75543 SOS 16752 HAS SOPS 16752 HAS SOUS 15094 HAS SOUPS 15094 WITH SCORE 15110.752
AT ITER 3646 NEW BEST:: SOT 75543 SOS 16684 HAS SOPS 16684 HAS SOUS 15065 HAS SOUPS 15065 WITH SCORE 15081.684
AT ITER 3737 NEW BEST:: SOT 75588 SOS 16618 HAS SOPS 16618 HAS SOUS 15059 HAS SOUPS 15059 WITH SCORE 15075.618
AT ITER 3744 NEW BEST:: SOT 75588 SOS 16655 HAS SOPS 16655 HAS SOUS 15057 HAS SOUPS 15057 WITH SCORE 15073.655
AT ITER 3776 NEW BEST:: SOT 75562 SOS 16629 HAS SOPS 16629 HAS SOUS 15031 HAS SOUPS 15031 WITH SCORE 15047.629
AT ITER 3813 NEW BEST:: SOT 75554 SOS 16623 HAS SOPS 16623 HAS SOUS 15025 HAS SOUPS 15025 WITH SCORE 15041.623
AT ITER 3850 NEW BEST:: SOT 75554 SOS 16621 HAS SOPS 16621 HAS SOUS 15025 HAS SOUPS 15025 WITH SCORE 15041.621
AT ITER 3851 NEW BEST:: SOT 75585 SOS 16607 HAS SOPS 16607 HAS SOUS 15011 HAS SOUPS 15011 WITH SCORE 15027.607
AT ITER 3853 NEW BEST:: SOT 75618 SOS 16600 HAS SOPS 16600 HAS SOUS 15004 HAS SOUPS 15004 WITH SCORE 15020.6
AT ITER 3874 NEW BEST:: SOT 75618 SOS 16594 HAS SOPS 16594 HAS SOUS 15001 HAS SOUPS 15001 WITH SCORE 15017.594
AT ITER 3903 NEW BEST:: SOT 75584 SOS 16552 HAS SOPS 16552 HAS SOUS 14967 HAS SOUPS 14967 WITH SCORE 14983.552
AT ITER 3943 NEW BEST:: SOT 75582 SOS 16542 HAS SOPS 16542 HAS SOUS 14959 HAS SOUPS 14959 WITH SCORE 14975.542
AT ITER 4023 NEW BEST:: SOT 75577 SOS 16540 HAS SOPS 16540 HAS SOUS 14957 HAS SOUPS 14957 WITH SCORE 14973.54
AT ITER 4036 NEW BEST:: SOT 75577 SOS 16538 HAS SOPS 16538 HAS SOUS 14957 HAS SOUPS 14957 WITH SCORE 14973.538
AT ITER 4038 NEW BEST:: SOT 75582 SOS 16543 HAS SOPS 16543 HAS SOUS 14932 HAS SOUPS 14932 WITH SCORE 14948.543
AT ITER 4060 NEW BEST:: SOT 75582 SOS 16543 HAS SOPS 16543 HAS SOUS 14929 HAS SOUPS 14929 WITH SCORE 14945.543
AT ITER 4072 NEW BEST:: SOT 75616 SOS 16598 HAS SOPS 16598 HAS SOUS 14920 HAS SOUPS 14920 WITH SCORE 14936.598
AT ITER 4108 NEW BEST:: SOT 75616 SOS 16575 HAS SOPS 16575 HAS SOUS 14874 HAS SOUPS 14874 WITH SCORE 14890.575
AT ITER 4130 NEW BEST:: SOT 75622 SOS 16565 HAS SOPS 16565 HAS SOUS 14864 HAS SOUPS 14864 WITH SCORE 14880.565
AT ITER 4138 NEW BEST:: SOT 75595 SOS 16563 HAS SOPS 16563 HAS SOUS 14862 HAS SOUPS 14862 WITH SCORE 14878.563
AT ITER 4155 NEW BEST:: SOT 75590 SOS 16558 HAS SOPS 16558 HAS SOUS 14860 HAS SOUPS 14860 WITH SCORE 14876.558
AT ITER 4208 NEW BEST:: SOT 75573 SOS 16524 HAS SOPS 16524 HAS SOUS 14842 HAS SOUPS 14842 WITH SCORE 14858.524
AT ITER 4221 NEW BEST:: SOT 75565 SOS 16516 HAS SOPS 16516 HAS SOUS 14832 HAS SOUPS 14832 WITH SCORE 14848.516
AT ITER 4247 NEW BEST:: SOT 75547 SOS 16483 HAS SOPS 16483 HAS SOUS 14805 HAS SOUPS 14805 WITH SCORE 14821.483
AT ITER 4267 NEW BEST:: SOT 75507 SOS 16463 HAS SOPS 16463 HAS SOUS 14785 HAS SOUPS 14785 WITH SCORE 14801.463
AT ITER 4275 NEW BEST:: SOT 75531 SOS 16500 HAS SOPS 16500 HAS SOUS 14778 HAS SOUPS 14778 WITH SCORE 14794.5
AT ITER 4289 NEW BEST:: SOT 75528 SOS 16494 HAS SOPS 16494 HAS SOUS 14766 HAS SOUPS 14766 WITH SCORE 14782.494
AT ITER 4294 NEW BEST:: SOT 75520 SOS 16478 HAS SOPS 16478 HAS SOUS 14749 HAS SOUPS 14749 WITH SCORE 14765.478
AT ITER 4311 NEW BEST:: SOT 75510 SOS 16462 HAS SOPS 16462 HAS SOUS 14746 HAS SOUPS 14746 WITH SCORE 14762.462
AT ITER 4315 NEW BEST:: SOT 75534 SOS 16483 HAS SOPS 16483 HAS SOUS 14745 HAS SOUPS 14745 WITH SCORE 14761.483
AT ITER 4339 NEW BEST:: SOT 75534 SOS 16447 HAS SOPS 16447 HAS SOUS 14709 HAS SOUPS 14709 WITH SCORE 14725.447
AT ITER 4367 NEW BEST:: SOT 75513 SOS 16453 HAS SOPS 16453 HAS SOUS 14688 HAS SOUPS 14688 WITH SCORE 14704.453
AT ITER 4392 NEW BEST:: SOT 75507 SOS 16449 HAS SOPS 16449 HAS SOUS 14684 HAS SOUPS 14684 WITH SCORE 14700.449
AT ITER 4423 NEW BEST:: SOT 75508 SOS 16441 HAS SOPS 16441 HAS SOUS 14677 HAS SOUPS 14677 WITH SCORE 14693.441
AT ITER 4487 NEW BEST:: SOT 75542 SOS 16473 HAS SOPS 16473 HAS SOUS 14675 HAS SOUPS 14675 WITH SCORE 14691.473
AT ITER 4489 NEW BEST:: SOT 75542 SOS 16461 HAS SOPS 16461 HAS SOUS 14663 HAS SOUPS 14663 WITH SCORE 14679.461
AT ITER 4496 NEW BEST:: SOT 75527 SOS 16431 HAS SOPS 16431 HAS SOUS 14633 HAS SOUPS 14633 WITH SCORE 14649.431
AT ITER 4511 NEW BEST:: SOT 75525 SOS 16427 HAS SOPS 16427 HAS SOUS 14631 HAS SOUPS 14631 WITH SCORE 14647.427
AT ITER 4528 NEW BEST:: SOT 75508 SOS 16393 HAS SOPS 16393 HAS SOUS 14631 HAS SOUPS 14631 WITH SCORE 14647.393
AT ITER 4625 NEW BEST:: SOT 75507 SOS 16367 HAS SOPS 16367 HAS SOUS 14617 HAS SOUPS 14617 WITH SCORE 14633.367
AT ITER 4685 NEW BEST:: SOT 75514 SOS 16346 HAS SOPS 16346 HAS SOUS 14596 HAS SOUPS 14596 WITH SCORE 14612.346
AT ITER 4739 NEW BEST:: SOT 75510 SOS 16338 HAS SOPS 16338 HAS SOUS 14592 HAS SOUPS 14592 WITH SCORE 14608.338
AT ITER 4777 NEW BEST:: SOT 75504 SOS 16326 HAS SOPS 16326 HAS SOUS 14575 HAS SOUPS 14575 WITH SCORE 14591.326
AT ITER 4779 NEW BEST:: SOT 75488 SOS 16288 HAS SOPS 16288 HAS SOUS 14542 HAS SOUPS 14542 WITH SCORE 14558.288
AT ITER 4791 NEW BEST:: SOT 75486 SOS 16284 HAS SOPS 16284 HAS SOUS 14540 HAS SOUPS 14540 WITH SCORE 14556.284
AT ITER 4820 NEW BEST:: SOT 75484 SOS 16280 HAS SOPS 16280 HAS SOUS 14538 HAS SOUPS 14538 WITH SCORE 14554.28
AT ITER 4827 NEW BEST:: SOT 75493 SOS 16263 HAS SOPS 16263 HAS SOUS 14520 HAS SOUPS 14520 WITH SCORE 14536.263
AT ITER 4833 NEW BEST:: SOT 75486 SOS 16254 HAS SOPS 16254 HAS SOUS 14518 HAS SOUPS 14518 WITH SCORE 14534.254
AT ITER 4847 NEW BEST:: SOT 75418 SOS 16118 HAS SOPS 16118 HAS SOUS 14382 HAS SOUPS 14382 WITH SCORE 14398.118
AT ITER 4881 NEW BEST:: SOT 75397 SOS 16076 HAS SOPS 16076 HAS SOUS 14361 HAS SOUPS 14361 WITH SCORE 14377.076
AT ITER 4884 NEW BEST:: SOT 75397 SOS 16071 HAS SOPS 16071 HAS SOUS 14356 HAS SOUPS 14356 WITH SCORE 14372.071
AT ITER 4993 NEW BEST:: SOT 75391 SOS 16065 HAS SOPS 16065 HAS SOUS 14350 HAS SOUPS 14350 WITH SCORE 14366.065
AT ITER 5051 NEW BEST:: SOT 75386 SOS 16027 HAS SOPS 16027 HAS SOUS 14326 HAS SOUPS 14326 WITH SCORE 14342.027
AT ITER 5120 NEW BEST:: SOT 75366 SOS 15987 HAS SOPS 15987 HAS SOUS 14300 HAS SOUPS 14300 WITH SCORE 14315.987
AT ITER 5146 NEW BEST:: SOT 75355 SOS 15982 HAS SOPS 15982 HAS SOUS 14295 HAS SOUPS 14295 WITH SCORE 14310.982
AT ITER 5191 NEW BEST:: SOT 75355 SOS 15954 HAS SOPS 15954 HAS SOUS 14295 HAS SOUPS 14295 WITH SCORE 14310.954
AT ITER 5200 NEW BEST:: SOT 75350 SOS 15944 HAS SOPS 15944 HAS SOUS 14285 HAS SOUPS 14285 WITH SCORE 14300.944
AT ITER 5222 NEW BEST:: SOT 75349 SOS 15943 HAS SOPS 15943 HAS SOUS 14283 HAS SOUPS 14283 WITH SCORE 14298.943
AT ITER 5240 NEW BEST:: SOT 75349 SOS 15943 HAS SOPS 15943 HAS SOUS 14275 HAS SOUPS 14275 WITH SCORE 14290.943
AT ITER 5253 NEW BEST:: SOT 75343 SOS 15934 HAS SOPS 15934 HAS SOUS 14266 HAS SOUPS 14266 WITH SCORE 14281.934
AT ITER 5320 NEW BEST:: SOT 75343 SOS 15935 HAS SOPS 15935 HAS SOUS 14265 HAS SOUPS 14265 WITH SCORE 14280.935
AT ITER 5330 NEW BEST:: SOT 75336 SOS 15881 HAS SOPS 15881 HAS SOUS 14240 HAS SOUPS 14240 WITH SCORE 14255.881
AT ITER 5369 NEW BEST:: SOT 75336 SOS 15871 HAS SOPS 15871 HAS SOUS 14230 HAS SOUPS 14230 WITH SCORE 14245.871
AT ITER 5419 NEW BEST:: SOT 75328 SOS 15841 HAS SOPS 15841 HAS SOUS 14200 HAS SOUPS 14200 WITH SCORE 14215.841
AT ITER 5459 NEW BEST:: SOT 75328 SOS 15841 HAS SOPS 15841 HAS SOUS 14192 HAS SOUPS 14192 WITH SCORE 14207.841
AT ITER 5467 NEW BEST:: SOT 75316 SOS 15817 HAS SOPS 15817 HAS SOUS 14165 HAS SOUPS 14165 WITH SCORE 14180.817
AT ITER 5482 NEW BEST:: SOT 75307 SOS 15799 HAS SOPS 15799 HAS SOUS 14146 HAS SOUPS 14146 WITH SCORE 14161.799
AT ITER 5505 NEW BEST:: SOT 75307 SOS 15794 HAS SOPS 15794 HAS SOUS 14141 HAS SOUPS 14141 WITH SCORE 14156.794
AT ITER 5523 NEW BEST:: SOT 75305 SOS 15792 HAS SOPS 15792 HAS SOUS 14139 HAS SOUPS 14139 WITH SCORE 14154.792
AT ITER 5554 NEW BEST:: SOT 75271 SOS 15758 HAS SOPS 15758 HAS SOUS 14098 HAS SOUPS 14098 WITH SCORE 14113.758
AT ITER 5559 NEW BEST:: SOT 75271 SOS 15758 HAS SOPS 15758 HAS SOUS 14094 HAS SOUPS 14094 WITH SCORE 14109.758
AT ITER 5581 NEW BEST:: SOT 75316 SOS 15799 HAS SOPS 15799 HAS SOUS 14089 HAS SOUPS 14089 WITH SCORE 14104.799
AT ITER 5585 NEW BEST:: SOT 75303 SOS 15789 HAS SOPS 15789 HAS SOUS 14069 HAS SOUPS 14069 WITH SCORE 14084.789
AT ITER 5596 NEW BEST:: SOT 75297 SOS 15787 HAS SOPS 15787 HAS SOUS 14067 HAS SOUPS 14067 WITH SCORE 14082.787
AT ITER 5608 NEW BEST:: SOT 75299 SOS 15774 HAS SOPS 15774 HAS SOUS 14067 HAS SOUPS 14067 WITH SCORE 14082.774
AT ITER 5616 NEW BEST:: SOT 75297 SOS 15763 HAS SOPS 15763 HAS SOUS 14056 HAS SOUPS 14056 WITH SCORE 14071.763
AT ITER 5623 NEW BEST:: SOT 75272 SOS 15737 HAS SOPS 15737 HAS SOUS 14030 HAS SOUPS 14030 WITH SCORE 14045.737
AT ITER 5657 NEW BEST:: SOT 75251 SOS 15674 HAS SOPS 15674 HAS SOUS 14009 HAS SOUPS 14009 WITH SCORE 14024.674
AT ITER 5714 NEW BEST:: SOT 75256 SOS 15662 HAS SOPS 15662 HAS SOUS 13997 HAS SOUPS 13997 WITH SCORE 14012.662
AT ITER 5732 NEW BEST:: SOT 75262 SOS 15661 HAS SOPS 15661 HAS SOUS 13996 HAS SOUPS 13996 WITH SCORE 14011.661
AT ITER 5736 NEW BEST:: SOT 75256 SOS 15655 HAS SOPS 15655 HAS SOUS 13990 HAS SOUPS 13990 WITH SCORE 14005.655
AT ITER 5737 NEW BEST:: SOT 75255 SOS 15654 HAS SOPS 15654 HAS SOUS 13989 HAS SOUPS 13989 WITH SCORE 14004.654
AT ITER 5754 NEW BEST:: SOT 75279 SOS 15631 HAS SOPS 15631 HAS SOUS 13969 HAS SOUPS 13969 WITH SCORE 13984.631
AT ITER 5773 NEW BEST:: SOT 75270 SOS 15677 HAS SOPS 15677 HAS SOUS 13953 HAS SOUPS 13953 WITH SCORE 13968.677
AT ITER 5776 NEW BEST:: SOT 75279 SOS 15687 HAS SOPS 15687 HAS SOUS 13952 HAS SOUPS 13952 WITH SCORE 13967.687
AT ITER 5816 NEW BEST:: SOT 75275 SOS 15674 HAS SOPS 15674 HAS SOUS 13938 HAS SOUPS 13938 WITH SCORE 13953.674
AT ITER 5872 NEW BEST:: SOT 75254 SOS 15653 HAS SOPS 15653 HAS SOUS 13917 HAS SOUPS 13917 WITH SCORE 13932.653
AT ITER 5893 NEW BEST:: SOT 75255 SOS 15636 HAS SOPS 15636 HAS SOUS 13913 HAS SOUPS 13913 WITH SCORE 13928.636
AT ITER 5961 NEW BEST:: SOT 75251 SOS 15632 HAS SOPS 15632 HAS SOUS 13909 HAS SOUPS 13909 WITH SCORE 13924.632
AT ITER 5966 NEW BEST:: SOT 75251 SOS 15617 HAS SOPS 15617 HAS SOUS 13899 HAS SOUPS 13899 WITH SCORE 13914.617
AT ITER 5986 NEW BEST:: SOT 75249 SOS 15613 HAS SOPS 15613 HAS SOUS 13897 HAS SOUPS 13897 WITH SCORE 13912.613
AT ITER 6029 NEW BEST:: SOT 75247 SOS 15610 HAS SOPS 15610 HAS SOUS 13895 HAS SOUPS 13895 WITH SCORE 13910.61
AT ITER 6040 NEW BEST:: SOT 75239 SOS 15614 HAS SOPS 15614 HAS SOUS 13891 HAS SOUPS 13891 WITH SCORE 13906.614
AT ITER 6066 NEW BEST:: SOT 75228 SOS 15612 HAS SOPS 15612 HAS SOUS 13882 HAS SOUPS 13882 WITH SCORE 13897.612
AT ITER 6084 NEW BEST:: SOT 75228 SOS 15589 HAS SOPS 15589 HAS SOUS 13882 HAS SOUPS 13882 WITH SCORE 13897.589
AT ITER 6094 NEW BEST:: SOT 75223 SOS 15584 HAS SOPS 15584 HAS SOUS 13877 HAS SOUPS 13877 WITH SCORE 13892.584
AT ITER 6130 NEW BEST:: SOT 75218 SOS 15574 HAS SOPS 15574 HAS SOUS 13868 HAS SOUPS 13868 WITH SCORE 13883.574
AT ITER 6135 NEW BEST:: SOT 75218 SOS 15576 HAS SOPS 15576 HAS SOUS 13864 HAS SOUPS 13864 WITH SCORE 13879.576
AT ITER 6147 NEW BEST:: SOT 75218 SOS 15575 HAS SOPS 15575 HAS SOUS 13863 HAS SOUPS 13863 WITH SCORE 13878.575
AT ITER 6242 NEW BEST:: SOT 75209 SOS 15568 HAS SOPS 15568 HAS SOUS 13845 HAS SOUPS 13845 WITH SCORE 13860.568
AT ITER 6248 NEW BEST:: SOT 75209 SOS 15566 HAS SOPS 15566 HAS SOUS 13843 HAS SOUPS 13843 WITH SCORE 13858.566
AT ITER 6251 NEW BEST:: SOT 75202 SOS 15564 HAS SOPS 15564 HAS SOUS 13841 HAS SOUPS 13841 WITH SCORE 13856.564
AT ITER 6282 NEW BEST:: SOT 75172 SOS 15504 HAS SOPS 15504 HAS SOUS 13832 HAS SOUPS 13832 WITH SCORE 13847.504
AT ITER 6304 NEW BEST:: SOT 75166 SOS 15498 HAS SOPS 15498 HAS SOUS 13826 HAS SOUPS 13826 WITH SCORE 13841.498
AT ITER 6442 NEW BEST:: SOT 75146 SOS 15477 HAS SOPS 15477 HAS SOUS 13815 HAS SOUPS 13815 WITH SCORE 13830.477
AT ITER 6505 NEW BEST:: SOT 75146 SOS 15459 HAS SOPS 15459 HAS SOUS 13806 HAS SOUPS 13806 WITH SCORE 13821.459
AT ITER 6534 NEW BEST:: SOT 75146 SOS 15451 HAS SOPS 15451 HAS SOUS 13802 HAS SOUPS 13802 WITH SCORE 13817.451
AT ITER 6535 NEW BEST:: SOT 75146 SOS 15446 HAS SOPS 15446 HAS SOUS 13797 HAS SOUPS 13797 WITH SCORE 13812.446
AT ITER 6539 NEW BEST:: SOT 75151 SOS 15438 HAS SOPS 15438 HAS SOUS 13789 HAS SOUPS 13789 WITH SCORE 13804.438
AT ITER 6551 NEW BEST:: SOT 75135 SOS 15398 HAS SOPS 15398 HAS SOUS 13749 HAS SOUPS 13749 WITH SCORE 13764.398
AT ITER 6606 NEW BEST:: SOT 75123 SOS 15374 HAS SOPS 15374 HAS SOUS 13749 HAS SOUPS 13749 WITH SCORE 13764.374
AT ITER 6607 NEW BEST:: SOT 75135 SOS 15362 HAS SOPS 15362 HAS SOUS 13737 HAS SOUPS 13737 WITH SCORE 13752.362
AT ITER 6635 NEW BEST:: SOT 75130 SOS 15318 HAS SOPS 15318 HAS SOUS 13710 HAS SOUPS 13710 WITH SCORE 13725.318
AT ITER 6636 NEW BEST:: SOT 75134 SOS 15322 HAS SOPS 15322 HAS SOUS 13704 HAS SOUPS 13704 WITH SCORE 13719.322
AT ITER 6673 NEW BEST:: SOT 75130 SOS 15318 HAS SOPS 15318 HAS SOUS 13700 HAS SOUPS 13700 WITH SCORE 13715.318
AT ITER 6707 NEW BEST:: SOT 75130 SOS 15342 HAS SOPS 15342 HAS SOUS 13673 HAS SOUPS 13673 WITH SCORE 13688.342
AT ITER 6713 NEW BEST:: SOT 75134 SOS 15338 HAS SOPS 15338 HAS SOUS 13673 HAS SOUPS 13673 WITH SCORE 13688.338
AT ITER 6731 NEW BEST:: SOT 75130 SOS 15336 HAS SOPS 15336 HAS SOUS 13671 HAS SOUPS 13671 WITH SCORE 13686.336
AT ITER 6765 NEW BEST:: SOT 75134 SOS 15314 HAS SOPS 15314 HAS SOUS 13660 HAS SOUPS 13660 WITH SCORE 13675.314
AT ITER 6767 NEW BEST:: SOT 75133 SOS 15309 HAS SOPS 15309 HAS SOUS 13655 HAS SOUPS 13655 WITH SCORE 13670.309
AT ITER 6815 NEW BEST:: SOT 75120 SOS 15296 HAS SOPS 15296 HAS SOUS 13642 HAS SOUPS 13642 WITH SCORE 13657.296
AT ITER 6873 NEW BEST:: SOT 75120 SOS 15287 HAS SOPS 15287 HAS SOUS 13633 HAS SOUPS 13633 WITH SCORE 13648.287
AT ITER 6891 NEW BEST:: SOT 75117 SOS 15306 HAS SOPS 15306 HAS SOUS 13630 HAS SOUPS 13630 WITH SCORE 13645.306
AT ITER 6969 NEW BEST:: SOT 75116 SOS 15305 HAS SOPS 15305 HAS SOUS 13629 HAS SOUPS 13629 WITH SCORE 13644.305
AT ITER 6999 NEW BEST:: SOT 75115 SOS 15305 HAS SOPS 15305 HAS SOUS 13628 HAS SOUPS 13628 WITH SCORE 13643.305
AT ITER 7012 NEW BEST:: SOT 75117 SOS 15302 HAS SOPS 15302 HAS SOUS 13628 HAS SOUPS 13628 WITH SCORE 13643.302
AT ITER 7050 NEW BEST:: SOT 75143 SOS 15291 HAS SOPS 15291 HAS SOUS 13617 HAS SOUPS 13617 WITH SCORE 13632.291
AT ITER 7079 NEW BEST:: SOT 75125 SOS 15287 HAS SOPS 15287 HAS SOUS 13613 HAS SOUPS 13613 WITH SCORE 13628.287
AT ITER 7120 NEW BEST:: SOT 75117 SOS 15273 HAS SOPS 15273 HAS SOUS 13607 HAS SOUPS 13607 WITH SCORE 13622.273
AT ITER 7138 NEW BEST:: SOT 75117 SOS 15272 HAS SOPS 15272 HAS SOUS 13607 HAS SOUPS 13607 WITH SCORE 13622.272
AT ITER 7153 NEW BEST:: SOT 75105 SOS 15264 HAS SOPS 15264 HAS SOUS 13599 HAS SOUPS 13599 WITH SCORE 13614.264
AT ITER 7165 NEW BEST:: SOT 75109 SOS 15182 HAS SOPS 15182 HAS SOUS 13562 HAS SOUPS 13562 WITH SCORE 13577.182
AT ITER 7168 NEW BEST:: SOT 75108 SOS 15180 HAS SOPS 15180 HAS SOUS 13560 HAS SOUPS 13560 WITH SCORE 13575.18
AT ITER 7252 NEW BEST:: SOT 75100 SOS 15177 HAS SOPS 15177 HAS SOUS 13557 HAS SOUPS 13557 WITH SCORE 13572.177
AT ITER 7292 NEW BEST:: SOT 75100 SOS 15176 HAS SOPS 15176 HAS SOUS 13556 HAS SOUPS 13556 WITH SCORE 13571.176
AT ITER 7314 NEW BEST:: SOT 75083 SOS 15142 HAS SOPS 15142 HAS SOUS 13537 HAS SOUPS 13537 WITH SCORE 13552.142
AT ITER 7335 NEW BEST:: SOT 75067 SOS 15126 HAS SOPS 15126 HAS SOUS 13521 HAS SOUPS 13521 WITH SCORE 13536.126
AT ITER 7406 NEW BEST:: SOT 75087 SOS 15132 HAS SOPS 15132 HAS SOUS 13513 HAS SOUPS 13513 WITH SCORE 13528.132
AT ITER 7419 NEW BEST:: SOT 75084 SOS 15119 HAS SOPS 15119 HAS SOUS 13505 HAS SOUPS 13505 WITH SCORE 13520.119
AT ITER 7439 NEW BEST:: SOT 75084 SOS 15118 HAS SOPS 15118 HAS SOUS 13504 HAS SOUPS 13504 WITH SCORE 13519.118
AT ITER 7471 NEW BEST:: SOT 75077 SOS 15104 HAS SOPS 15104 HAS SOUS 13497 HAS SOUPS 13497 WITH SCORE 13512.104
AT ITER 7500 NEW BEST:: SOT 75077 SOS 15089 HAS SOPS 15089 HAS SOUS 13497 HAS SOUPS 13497 WITH SCORE 13512.089
AT ITER 7519 NEW BEST:: SOT 75076 SOS 15017 HAS SOPS 15017 HAS SOUS 13495 HAS SOUPS 13495 WITH SCORE 13510.017
AT ITER 7535 NEW BEST:: SOT 75043 SOS 15004 HAS SOPS 15004 HAS SOUS 13482 HAS SOUPS 13482 WITH SCORE 13497.004
AT ITER 7597 NEW BEST:: SOT 75039 SOS 14984 HAS SOPS 14984 HAS SOUS 13462 HAS SOUPS 13462 WITH SCORE 13476.984
AT ITER 7675 NEW BEST:: SOT 75035 SOS 14978 HAS SOPS 14978 HAS SOUS 13462 HAS SOUPS 13462 WITH SCORE 13476.978
AT ITER 7698 NEW BEST:: SOT 75043 SOS 14973 HAS SOPS 14973 HAS SOUS 13457 HAS SOUPS 13457 WITH SCORE 13471.973
AT ITER 7764 NEW BEST:: SOT 75043 SOS 14968 HAS SOPS 14968 HAS SOUS 13457 HAS SOUPS 13457 WITH SCORE 13471.968
AT ITER 7812 NEW BEST:: SOT 75043 SOS 14968 HAS SOPS 14968 HAS SOUS 13455 HAS SOUPS 13455 WITH SCORE 13469.968
AT ITER 7887 NEW BEST:: SOT 75046 SOS 14916 HAS SOPS 14916 HAS SOUS 13432 HAS SOUPS 13432 WITH SCORE 13446.916
AT ITER 7965 NEW BEST:: SOT 75041 SOS 14905 HAS SOPS 14905 HAS SOUS 13421 HAS SOUPS 13421 WITH SCORE 13435.905
AT ITER 8014 NEW BEST:: SOT 75037 SOS 14893 HAS SOPS 14893 HAS SOUS 13409 HAS SOUPS 13409 WITH SCORE 13423.893
AT ITER 8031 NEW BEST:: SOT 75037 SOS 14888 HAS SOPS 14888 HAS SOUS 13404 HAS SOUPS 13404 WITH SCORE 13418.888
AT ITER 8049 NEW BEST:: SOT 75037 SOS 14850 HAS SOPS 14850 HAS SOUS 13366 HAS SOUPS 13366 WITH SCORE 13380.85
AT ITER 8121 NEW BEST:: SOT 75032 SOS 14840 HAS SOPS 14840 HAS SOUS 13366 HAS SOUPS 13366 WITH SCORE 13380.84
AT ITER 8145 NEW BEST:: SOT 75030 SOS 14785 HAS SOPS 14785 HAS SOUS 13319 HAS SOUPS 13319 WITH SCORE 13333.785
AT ITER 8171 NEW BEST:: SOT 75032 SOS 14738 HAS SOPS 14738 HAS SOUS 13318 HAS SOUPS 13318 WITH SCORE 13332.738
AT ITER 8186 NEW BEST:: SOT 74999 SOS 14713 HAS SOPS 14713 HAS SOUS 13293 HAS SOUPS 13293 WITH SCORE 13307.713
AT ITER 8243 NEW BEST:: SOT 74998 SOS 14712 HAS SOPS 14712 HAS SOUS 13292 HAS SOUPS 13292 WITH SCORE 13306.712
AT ITER 8246 NEW BEST:: SOT 74984 SOS 14698 HAS SOPS 14698 HAS SOUS 13278 HAS SOUPS 13278 WITH SCORE 13292.698
AT ITER 8298 NEW BEST:: SOT 74980 SOS 14672 HAS SOPS 14672 HAS SOUS 13270 HAS SOUPS 13270 WITH SCORE 13284.672
AT ITER 8315 NEW BEST:: SOT 74965 SOS 14636 HAS SOPS 14636 HAS SOUS 13234 HAS SOUPS 13234 WITH SCORE 13248.636
AT ITER 8375 NEW BEST:: SOT 74933 SOS 14572 HAS SOPS 14572 HAS SOUS 13170 HAS SOUPS 13170 WITH SCORE 13184.572
AT ITER 8411 NEW BEST:: SOT 74938 SOS 14569 HAS SOPS 14569 HAS SOUS 13167 HAS SOUPS 13167 WITH SCORE 13181.569
AT ITER 8501 NEW BEST:: SOT 74959 SOS 14555 HAS SOPS 14555 HAS SOUS 13153 HAS SOUPS 13153 WITH SCORE 13167.555
AT ITER 8532 NEW BEST:: SOT 74959 SOS 14540 HAS SOPS 14540 HAS SOUS 13148 HAS SOUPS 13148 WITH SCORE 13162.54
AT ITER 8597 NEW BEST:: SOT 74955 SOS 14540 HAS SOPS 14540 HAS SOUS 13144 HAS SOUPS 13144 WITH SCORE 13158.54
AT ITER 8626 NEW BEST:: SOT 74997 SOS 14464 HAS SOPS 14464 HAS SOUS 13082 HAS SOUPS 13082 WITH SCORE 13096.464
AT ITER 8663 NEW BEST:: SOT 74997 SOS 14398 HAS SOPS 14398 HAS SOUS 13049 HAS SOUPS 13049 WITH SCORE 13063.398
AT ITER 8780 NEW BEST:: SOT 74995 SOS 14342 HAS SOPS 14342 HAS SOUS 13018 HAS SOUPS 13018 WITH SCORE 13032.342
AT ITER 8825 NEW BEST:: SOT 74993 SOS 14336 HAS SOPS 14336 HAS SOUS 13012 HAS SOUPS 13012 WITH SCORE 13026.336
AT ITER 8833 NEW BEST:: SOT 74993 SOS 14334 HAS SOPS 14334 HAS SOUS 13010 HAS SOUPS 13010 WITH SCORE 13024.334
AT ITER 8843 NEW BEST:: SOT 74990 SOS 14319 HAS SOPS 14319 HAS SOUS 12995 HAS SOUPS 12995 WITH SCORE 13009.319
AT ITER 8854 NEW BEST:: SOT 74990 SOS 14319 HAS SOPS 14319 HAS SOUS 12993 HAS SOUPS 12993 WITH SCORE 13007.319
AT ITER 9206 NEW BEST:: SOT 74982 SOS 14303 HAS SOPS 14303 HAS SOUS 12981 HAS SOUPS 12981 WITH SCORE 12995.303
AT ITER 9265 NEW BEST:: SOT 74974 SOS 14309 HAS SOPS 14309 HAS SOUS 12971 HAS SOUPS 12971 WITH SCORE 12985.309
AT ITER 9280 NEW BEST:: SOT 74976 SOS 14305 HAS SOPS 14305 HAS SOUS 12967 HAS SOUPS 12967 WITH SCORE 12981.305
AT ITER 9453 NEW BEST:: SOT 74974 SOS 14307 HAS SOPS 14307 HAS SOUS 12964 HAS SOUPS 12964 WITH SCORE 12978.307
AT ITER 9457 NEW BEST:: SOT 74974 SOS 14290 HAS SOPS 14290 HAS SOUS 12964 HAS SOUPS 12964 WITH SCORE 12978.29
AT ITER 9477 NEW BEST:: SOT 74974 SOS 14288 HAS SOPS 14288 HAS SOUS 12962 HAS SOUPS 12962 WITH SCORE 12976.288
AT ITER 9484 NEW BEST:: SOT 74957 SOS 14254 HAS SOPS 14254 HAS SOUS 12933 HAS SOUPS 12933 WITH SCORE 12947.254
AT ITER 9541 NEW BEST:: SOT 74956 SOS 14252 HAS SOPS 14252 HAS SOUS 12930 HAS SOUPS 12930 WITH SCORE 12944.252
AT ITER 9583 NEW BEST:: SOT 74964 SOS 14268 HAS SOPS 14268 HAS SOUS 12917 HAS SOUPS 12917 WITH SCORE 12931.268
AT ITER 9588 NEW BEST:: SOT 74965 SOS 14259 HAS SOPS 14259 HAS SOUS 12908 HAS SOUPS 12908 WITH SCORE 12922.259
AT ITER 9611 NEW BEST:: SOT 74964 SOS 14257 HAS SOPS 14257 HAS SOUS 12906 HAS SOUPS 12906 WITH SCORE 12920.257
AT ITER 9643 NEW BEST:: SOT 74951 SOS 14255 HAS SOPS 14255 HAS SOUS 12902 HAS SOUPS 12902 WITH SCORE 12916.255
AT ITER 9652 NEW BEST:: SOT 74951 SOS 14244 HAS SOPS 14244 HAS SOUS 12891 HAS SOUPS 12891 WITH SCORE 12905.244
AT ITER 9709 NEW BEST:: SOT 74952 SOS 14243 HAS SOPS 14243 HAS SOUS 12890 HAS SOUPS 12890 WITH SCORE 12904.243
AT ITER 9769 NEW BEST:: SOT 74925 SOS 14228 HAS SOPS 14228 HAS SOUS 12875 HAS SOUPS 12875 WITH SCORE 12889.228
AT ITER 9772 NEW BEST:: SOT 74913 SOS 14204 HAS SOPS 14204 HAS SOUS 12875 HAS SOUPS 12875 WITH SCORE 12889.204
AT ITER 9780 NEW BEST:: SOT 74906 SOS 14189 HAS SOPS 14189 HAS SOUS 12860 HAS SOUPS 12860 WITH SCORE 12874.189
AT ITER 9782 NEW BEST:: SOT 74905 SOS 14187 HAS SOPS 14187 HAS SOUS 12859 HAS SOUPS 12859 WITH SCORE 12873.187
AT ITER 9829 NEW BEST:: SOT 74897 SOS 14156 HAS SOPS 14156 HAS SOUS 12858 HAS SOUPS 12858 WITH SCORE 12872.156
AT ITER 9854 NEW BEST:: SOT 74894 SOS 14150 HAS SOPS 14150 HAS SOUS 12852 HAS SOUPS 12852 WITH SCORE 12866.15
AT ITER 9937 NEW BEST:: SOT 74894 SOS 14092 HAS SOPS 14092 HAS SOUS 12826 HAS SOUPS 12826 WITH SCORE 12840.092
AT ITER 9984 NEW BEST:: SOT 74883 SOS 14081 HAS SOPS 14081 HAS SOUS 12815 HAS SOUPS 12815 WITH SCORE 12829.081
AT ITER 9999 NEW BEST:: SOT 74892 SOS 14079 HAS SOPS 14079 HAS SOUS 12800 HAS SOUPS 12800 WITH SCORE 12814.079

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldPPPt-PT-005B"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is ShieldPPPt-PT-005B, 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 r207-tajo-159033469800648"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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