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.r523-tall-167987247800232.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 smartxred
Input is EisenbergMcGuire-PT-04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r523-tall-167987247800232
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 624K
-rw-r--r-- 1 mcc users 7.3K Mar 23 15:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 71K Mar 23 15:20 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Mar 23 15:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 40K Mar 23 15:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 23 07:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 23 07:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 23 07:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 23 07:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 26 22:42 NewModel
-rw-r--r-- 1 mcc users 11K Mar 23 15:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 96K Mar 23 15:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.8K Mar 23 15:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 48K Mar 23 15:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 23 07:07 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 23 07:07 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 26 22:42 instance
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 iscolored
-rw-r--r-- 1 mcc users 255K Mar 31 16:48 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 1680811337898

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=EisenbergMcGuire-PT-04
Applying reductions before tool smart
Invoking reducer
Running Version 202304061127
[2023-04-06 20:02:19] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-04-06 20:02:19] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-04-06 20:02:20] [INFO ] Load time of PNML (sax parser for PT used): 73 ms
[2023-04-06 20:02:20] [INFO ] Transformed 196 places.
[2023-04-06 20:02:20] [INFO ] Transformed 448 transitions.
[2023-04-06 20:02:20] [INFO ] Found NUPN structural information;
[2023-04-06 20:02:20] [INFO ] Parsed PT model containing 196 places and 448 transitions and 1952 arcs in 255 ms.
[2023-04-06 20:02:20] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 196 places, 448 transitions and 1952 arcs took 7 ms.
Total runtime 296 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running EisenbergMcGuire (PT), instance 04
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 196 places, 448 transitions, 1952 arcs.
AT ITER 0 NEW BEST:: SOT 77014 SOS 54610 HAS SOPS 54080 HAS SOUS 32031 HAS SOUPS 31835 WITH SCORE 31889.61
AT ITER 2 NEW BEST:: SOT 77014 SOS 54338 HAS SOPS 53808 HAS SOUS 32005 HAS SOUPS 31809 WITH SCORE 31863.338
AT ITER 4 NEW BEST:: SOT 77014 SOS 54329 HAS SOPS 53799 HAS SOUS 32005 HAS SOUPS 31809 WITH SCORE 31863.329
AT ITER 5 NEW BEST:: SOT 77008 SOS 54396 HAS SOPS 53866 HAS SOUS 31974 HAS SOUPS 31778 WITH SCORE 31832.396
AT ITER 6 NEW BEST:: SOT 77025 SOS 54620 HAS SOPS 54032 HAS SOUS 32004 HAS SOUPS 31756 WITH SCORE 31810.62
AT ITER 7 NEW BEST:: SOT 76976 SOS 54435 HAS SOPS 53847 HAS SOUS 31882 HAS SOUPS 31634 WITH SCORE 31688.435
AT ITER 8 NEW BEST:: SOT 76961 SOS 54416 HAS SOPS 53828 HAS SOUS 31863 HAS SOUPS 31615 WITH SCORE 31669.416
AT ITER 10 NEW BEST:: SOT 76961 SOS 54611 HAS SOPS 53846 HAS SOUS 31808 HAS SOUPS 31526 WITH SCORE 31580.611
AT ITER 12 NEW BEST:: SOT 76961 SOS 54404 HAS SOPS 53639 HAS SOUS 31796 HAS SOUPS 31514 WITH SCORE 31568.404
AT ITER 16 NEW BEST:: SOT 76762 SOS 54216 HAS SOPS 53440 HAS SOUS 31789 HAS SOUPS 31491 WITH SCORE 31545.216
AT ITER 19 NEW BEST:: SOT 76617 SOS 54077 HAS SOPS 53295 HAS SOUS 31770 HAS SOUPS 31465 WITH SCORE 31519.077
AT ITER 24 NEW BEST:: SOT 76582 SOS 53969 HAS SOPS 53187 HAS SOUS 31689 HAS SOUPS 31384 WITH SCORE 31437.969
AT ITER 29 NEW BEST:: SOT 76556 SOS 53917 HAS SOPS 53135 HAS SOUS 31637 HAS SOUPS 31332 WITH SCORE 31385.917
AT ITER 30 NEW BEST:: SOT 76556 SOS 53955 HAS SOPS 53142 HAS SOUS 31527 HAS SOUPS 31222 WITH SCORE 31275.955
AT ITER 33 NEW BEST:: SOT 76556 SOS 53893 HAS SOPS 53080 HAS SOUS 31465 HAS SOUPS 31160 WITH SCORE 31213.893
AT ITER 34 NEW BEST:: SOT 76464 SOS 53786 HAS SOPS 52973 HAS SOUS 31144 HAS SOUPS 30839 WITH SCORE 30892.786
AT ITER 37 NEW BEST:: SOT 76431 SOS 53507 HAS SOPS 52694 HAS SOUS 31078 HAS SOUPS 30773 WITH SCORE 30826.507
AT ITER 40 NEW BEST:: SOT 76431 SOS 53282 HAS SOPS 52412 HAS SOUS 31010 HAS SOUPS 30705 WITH SCORE 30758.282
AT ITER 41 NEW BEST:: SOT 76431 SOS 53258 HAS SOPS 52364 HAS SOUS 30986 HAS SOUPS 30681 WITH SCORE 30734.258
AT ITER 43 NEW BEST:: SOT 76431 SOS 53117 HAS SOPS 52494 HAS SOUS 30774 HAS SOUPS 30496 WITH SCORE 30549.117
AT ITER 44 NEW BEST:: SOT 77065 SOS 53636 HAS SOPS 53276 HAS SOUS 29265 HAS SOUPS 29049 WITH SCORE 29102.636
AT ITER 45 NEW BEST:: SOT 77080 SOS 53897 HAS SOPS 53548 HAS SOUS 29172 HAS SOUPS 28967 WITH SCORE 29020.897
AT ITER 46 NEW BEST:: SOT 77028 SOS 53897 HAS SOPS 53548 HAS SOUS 29120 HAS SOUPS 28915 WITH SCORE 28968.897
AT ITER 50 NEW BEST:: SOT 77076 SOS 53956 HAS SOPS 53526 HAS SOUS 29114 HAS SOUPS 28909 WITH SCORE 28962.956
AT ITER 54 NEW BEST:: SOT 77074 SOS 53967 HAS SOPS 53537 HAS SOUS 29110 HAS SOUPS 28905 WITH SCORE 28958.967
AT ITER 55 NEW BEST:: SOT 76994 SOS 53742 HAS SOPS 53288 HAS SOUS 29018 HAS SOUPS 28813 WITH SCORE 28866.742
AT ITER 56 NEW BEST:: SOT 76994 SOS 53704 HAS SOPS 53250 HAS SOUS 28980 HAS SOUPS 28775 WITH SCORE 28828.704
AT ITER 59 NEW BEST:: SOT 76994 SOS 53701 HAS SOPS 53247 HAS SOUS 28977 HAS SOUPS 28772 WITH SCORE 28825.701
AT ITER 61 NEW BEST:: SOT 76917 SOS 53558 HAS SOPS 53104 HAS SOUS 28774 HAS SOUPS 28569 WITH SCORE 28622.558
AT ITER 65 NEW BEST:: SOT 76917 SOS 53542 HAS SOPS 53088 HAS SOUS 28774 HAS SOUPS 28569 WITH SCORE 28622.542
AT ITER 66 NEW BEST:: SOT 76898 SOS 53576 HAS SOPS 53107 HAS SOUS 28768 HAS SOUPS 28563 WITH SCORE 28616.576
AT ITER 74 NEW BEST:: SOT 76875 SOS 53599 HAS SOPS 53130 HAS SOUS 28745 HAS SOUPS 28540 WITH SCORE 28593.599
AT ITER 76 NEW BEST:: SOT 76803 SOS 53350 HAS SOPS 52881 HAS SOUS 28621 HAS SOUPS 28416 WITH SCORE 28469.35
AT ITER 81 NEW BEST:: SOT 76743 SOS 52750 HAS SOPS 52281 HAS SOUS 28526 HAS SOUPS 28321 WITH SCORE 28373.75
AT ITER 83 NEW BEST:: SOT 76731 SOS 52738 HAS SOPS 52269 HAS SOUS 28514 HAS SOUPS 28309 WITH SCORE 28361.738
AT ITER 84 NEW BEST:: SOT 76731 SOS 52732 HAS SOPS 52263 HAS SOUS 28514 HAS SOUPS 28309 WITH SCORE 28361.732
AT ITER 90 NEW BEST:: SOT 76731 SOS 52712 HAS SOPS 52243 HAS SOUS 28503 HAS SOUPS 28298 WITH SCORE 28350.712
AT ITER 91 NEW BEST:: SOT 76731 SOS 52672 HAS SOPS 52203 HAS SOUS 28503 HAS SOUPS 28298 WITH SCORE 28350.672
AT ITER 95 NEW BEST:: SOT 76731 SOS 52741 HAS SOPS 52272 HAS SOUS 28392 HAS SOUPS 28187 WITH SCORE 28239.741
AT ITER 97 NEW BEST:: SOT 76713 SOS 52737 HAS SOPS 52268 HAS SOUS 28370 HAS SOUPS 28165 WITH SCORE 28217.737
AT ITER 98 NEW BEST:: SOT 76711 SOS 52733 HAS SOPS 52264 HAS SOUS 28366 HAS SOUPS 28161 WITH SCORE 28213.733
AT ITER 102 NEW BEST:: SOT 76711 SOS 52721 HAS SOPS 52252 HAS SOUS 28366 HAS SOUPS 28161 WITH SCORE 28213.721
AT ITER 104 NEW BEST:: SOT 76711 SOS 52583 HAS SOPS 52114 HAS SOUS 28136 HAS SOUPS 27931 WITH SCORE 27983.583
AT ITER 107 NEW BEST:: SOT 76711 SOS 52562 HAS SOPS 52093 HAS SOUS 28120 HAS SOUPS 27915 WITH SCORE 27967.562
AT ITER 108 NEW BEST:: SOT 76711 SOS 52555 HAS SOPS 52086 HAS SOUS 28120 HAS SOUPS 27915 WITH SCORE 27967.555
AT ITER 109 NEW BEST:: SOT 76629 SOS 53458 HAS SOPS 53039 HAS SOUS 28064 HAS SOUPS 27890 WITH SCORE 27943.458
AT ITER 111 NEW BEST:: SOT 76620 SOS 53521 HAS SOPS 53102 HAS SOUS 27932 HAS SOUPS 27758 WITH SCORE 27811.521
AT ITER 116 NEW BEST:: SOT 76594 SOS 53531 HAS SOPS 53028 HAS SOUS 27858 HAS SOUPS 27684 WITH SCORE 27737.531
AT ITER 117 NEW BEST:: SOT 76565 SOS 53472 HAS SOPS 52969 HAS SOUS 27834 HAS SOUPS 27660 WITH SCORE 27713.472
AT ITER 118 NEW BEST:: SOT 76527 SOS 53434 HAS SOPS 52931 HAS SOUS 27796 HAS SOUPS 27622 WITH SCORE 27675.434
AT ITER 121 NEW BEST:: SOT 76527 SOS 53457 HAS SOPS 52954 HAS SOUS 27555 HAS SOUPS 27381 WITH SCORE 27434.457
AT ITER 132 NEW BEST:: SOT 76527 SOS 53402 HAS SOPS 52899 HAS SOUS 27457 HAS SOUPS 27283 WITH SCORE 27336.402
AT ITER 133 NEW BEST:: SOT 76490 SOS 53194 HAS SOPS 52677 HAS SOUS 27395 HAS SOUPS 27221 WITH SCORE 27274.194
AT ITER 135 NEW BEST:: SOT 76396 SOS 52616 HAS SOPS 52099 HAS SOUS 27219 HAS SOUPS 27045 WITH SCORE 27097.616
AT ITER 137 NEW BEST:: SOT 76396 SOS 52616 HAS SOPS 52099 HAS SOUS 27175 HAS SOUPS 27001 WITH SCORE 27053.616
AT ITER 145 NEW BEST:: SOT 76401 SOS 52352 HAS SOPS 51835 HAS SOUS 27124 HAS SOUPS 26950 WITH SCORE 27002.352
AT ITER 148 NEW BEST:: SOT 76359 SOS 52315 HAS SOPS 51798 HAS SOUS 27087 HAS SOUPS 26913 WITH SCORE 26965.315
AT ITER 152 NEW BEST:: SOT 76351 SOS 52299 HAS SOPS 51792 HAS SOUS 27081 HAS SOUPS 26907 WITH SCORE 26959.299
AT ITER 155 NEW BEST:: SOT 76351 SOS 52320 HAS SOPS 51813 HAS SOUS 26963 HAS SOUPS 26789 WITH SCORE 26841.32
AT ITER 156 NEW BEST:: SOT 76303 SOS 52304 HAS SOPS 51797 HAS SOUS 26887 HAS SOUPS 26713 WITH SCORE 26765.304
AT ITER 157 NEW BEST:: SOT 76281 SOS 52207 HAS SOPS 51700 HAS SOUS 26863 HAS SOUPS 26689 WITH SCORE 26741.207
AT ITER 161 NEW BEST:: SOT 76281 SOS 52240 HAS SOPS 51733 HAS SOUS 26856 HAS SOUPS 26682 WITH SCORE 26734.24
AT ITER 162 NEW BEST:: SOT 76278 SOS 52256 HAS SOPS 51749 HAS SOUS 26850 HAS SOUPS 26676 WITH SCORE 26728.256
AT ITER 165 NEW BEST:: SOT 76292 SOS 52284 HAS SOPS 51777 HAS SOUS 26844 HAS SOUPS 26670 WITH SCORE 26722.284
AT ITER 166 NEW BEST:: SOT 76264 SOS 52188 HAS SOPS 51681 HAS SOUS 26768 HAS SOUPS 26594 WITH SCORE 26646.188
AT ITER 168 NEW BEST:: SOT 76264 SOS 52152 HAS SOPS 51645 HAS SOUS 26739 HAS SOUPS 26565 WITH SCORE 26617.152
AT ITER 169 NEW BEST:: SOT 76255 SOS 52125 HAS SOPS 51618 HAS SOUS 26730 HAS SOUPS 26556 WITH SCORE 26608.125
AT ITER 170 NEW BEST:: SOT 76255 SOS 52123 HAS SOPS 51616 HAS SOUS 26730 HAS SOUPS 26556 WITH SCORE 26608.123
AT ITER 171 NEW BEST:: SOT 76227 SOS 51624 HAS SOPS 51117 HAS SOUS 26654 HAS SOUPS 26480 WITH SCORE 26531.624
AT ITER 176 NEW BEST:: SOT 77199 SOS 52310 HAS SOPS 52245 HAS SOUS 26025 HAS SOUPS 25960 WITH SCORE 26012.31
AT ITER 178 NEW BEST:: SOT 77199 SOS 52314 HAS SOPS 52249 HAS SOUS 26023 HAS SOUPS 25958 WITH SCORE 26010.314
AT ITER 179 NEW BEST:: SOT 77184 SOS 52284 HAS SOPS 52219 HAS SOUS 25993 HAS SOUPS 25928 WITH SCORE 25980.284
AT ITER 187 NEW BEST:: SOT 77184 SOS 52281 HAS SOPS 52216 HAS SOUS 25886 HAS SOUPS 25821 WITH SCORE 25873.281
AT ITER 192 NEW BEST:: SOT 77103 SOS 52149 HAS SOPS 52084 HAS SOUS 25724 HAS SOUPS 25659 WITH SCORE 25711.149
AT ITER 195 NEW BEST:: SOT 77103 SOS 51872 HAS SOPS 51807 HAS SOUS 25720 HAS SOUPS 25655 WITH SCORE 25706.872
AT ITER 196 NEW BEST:: SOT 76962 SOS 51692 HAS SOPS 51627 HAS SOUS 25554 HAS SOUPS 25489 WITH SCORE 25540.692
AT ITER 203 NEW BEST:: SOT 76962 SOS 51644 HAS SOPS 51579 HAS SOUS 25554 HAS SOUPS 25489 WITH SCORE 25540.644
AT ITER 204 NEW BEST:: SOT 76932 SOS 51577 HAS SOPS 51512 HAS SOUS 25487 HAS SOUPS 25422 WITH SCORE 25473.577
AT ITER 210 NEW BEST:: SOT 76932 SOS 51358 HAS SOPS 51293 HAS SOUS 25487 HAS SOUPS 25422 WITH SCORE 25473.358
AT ITER 213 NEW BEST:: SOT 76927 SOS 51348 HAS SOPS 51283 HAS SOUS 25477 HAS SOUPS 25412 WITH SCORE 25463.348
AT ITER 218 NEW BEST:: SOT 76897 SOS 51347 HAS SOPS 51282 HAS SOUS 25476 HAS SOUPS 25411 WITH SCORE 25462.347
AT ITER 220 NEW BEST:: SOT 76897 SOS 51258 HAS SOPS 51193 HAS SOUS 25444 HAS SOUPS 25379 WITH SCORE 25430.258
AT ITER 227 NEW BEST:: SOT 76874 SOS 51232 HAS SOPS 51167 HAS SOUS 25408 HAS SOUPS 25343 WITH SCORE 25394.232
AT ITER 236 NEW BEST:: SOT 76856 SOS 51257 HAS SOPS 51192 HAS SOUS 25335 HAS SOUPS 25270 WITH SCORE 25321.257
AT ITER 239 NEW BEST:: SOT 76629 SOS 51043 HAS SOPS 50965 HAS SOUS 25283 HAS SOUPS 25205 WITH SCORE 25256.043
AT ITER 246 NEW BEST:: SOT 76733 SOS 51210 HAS SOPS 51132 HAS SOUS 25273 HAS SOUPS 25195 WITH SCORE 25246.21
AT ITER 248 NEW BEST:: SOT 76678 SOS 51045 HAS SOPS 50967 HAS SOUS 25163 HAS SOUPS 25085 WITH SCORE 25136.045
AT ITER 250 NEW BEST:: SOT 76671 SOS 50869 HAS SOPS 50791 HAS SOUS 25067 HAS SOUPS 24989 WITH SCORE 25039.869
AT ITER 254 NEW BEST:: SOT 76642 SOS 50861 HAS SOPS 50783 HAS SOUS 24850 HAS SOUPS 24772 WITH SCORE 24822.861
AT ITER 255 NEW BEST:: SOT 76642 SOS 50861 HAS SOPS 50783 HAS SOUS 24844 HAS SOUPS 24766 WITH SCORE 24816.861
AT ITER 257 NEW BEST:: SOT 76642 SOS 50855 HAS SOPS 50777 HAS SOUS 24838 HAS SOUPS 24760 WITH SCORE 24810.855
AT ITER 265 NEW BEST:: SOT 76809 SOS 51651 HAS SOPS 51651 HAS SOUS 24750 HAS SOUPS 24750 WITH SCORE 24801.651
AT ITER 268 NEW BEST:: SOT 76729 SOS 51488 HAS SOPS 51488 HAS SOUS 24571 HAS SOUPS 24571 WITH SCORE 24622.488
AT ITER 270 NEW BEST:: SOT 76729 SOS 51473 HAS SOPS 51473 HAS SOUS 24556 HAS SOUPS 24556 WITH SCORE 24607.473
AT ITER 275 NEW BEST:: SOT 76635 SOS 51335 HAS SOPS 51335 HAS SOUS 24218 HAS SOUPS 24218 WITH SCORE 24269.335
AT ITER 284 NEW BEST:: SOT 76610 SOS 51248 HAS SOPS 51248 HAS SOUS 24168 HAS SOUPS 24168 WITH SCORE 24219.248
AT ITER 287 NEW BEST:: SOT 76610 SOS 51196 HAS SOPS 51196 HAS SOUS 24168 HAS SOUPS 24168 WITH SCORE 24219.196
AT ITER 288 NEW BEST:: SOT 76586 SOS 51082 HAS SOPS 51082 HAS SOUS 24088 HAS SOUPS 24088 WITH SCORE 24139.082
AT ITER 289 NEW BEST:: SOT 76549 SOS 50952 HAS SOPS 50952 HAS SOUS 24034 HAS SOUPS 24034 WITH SCORE 24084.952
AT ITER 290 NEW BEST:: SOT 76543 SOS 50928 HAS SOPS 50928 HAS SOUS 24022 HAS SOUPS 24022 WITH SCORE 24072.928
AT ITER 293 NEW BEST:: SOT 76529 SOS 50930 HAS SOPS 50930 HAS SOUS 23911 HAS SOUPS 23911 WITH SCORE 23961.93
AT ITER 295 NEW BEST:: SOT 75918 SOS 50239 HAS SOPS 50239 HAS SOUS 23864 HAS SOUPS 23864 WITH SCORE 23914.239
AT ITER 302 NEW BEST:: SOT 75904 SOS 50021 HAS SOPS 50021 HAS SOUS 23804 HAS SOUPS 23804 WITH SCORE 23854.021
AT ITER 303 NEW BEST:: SOT 75901 SOS 49972 HAS SOPS 49972 HAS SOUS 23801 HAS SOUPS 23801 WITH SCORE 23850.972
AT ITER 307 NEW BEST:: SOT 75821 SOS 49740 HAS SOPS 49740 HAS SOUS 23730 HAS SOUPS 23730 WITH SCORE 23779.74
AT ITER 309 NEW BEST:: SOT 75816 SOS 49725 HAS SOPS 49725 HAS SOUS 23730 HAS SOUPS 23730 WITH SCORE 23779.725
AT ITER 310 NEW BEST:: SOT 75816 SOS 49717 HAS SOPS 49682 HAS SOUS 23722 HAS SOUPS 23687 WITH SCORE 23736.717
AT ITER 315 NEW BEST:: SOT 75802 SOS 49675 HAS SOPS 49640 HAS SOUS 23694 HAS SOUPS 23659 WITH SCORE 23708.675
AT ITER 332 NEW BEST:: SOT 75797 SOS 49650 HAS SOPS 49615 HAS SOUS 23679 HAS SOUPS 23644 WITH SCORE 23693.65
AT ITER 333 NEW BEST:: SOT 75790 SOS 49589 HAS SOPS 49554 HAS SOUS 23615 HAS SOUPS 23580 WITH SCORE 23629.589
AT ITER 336 NEW BEST:: SOT 75783 SOS 49582 HAS SOPS 49547 HAS SOUS 23601 HAS SOUPS 23566 WITH SCORE 23615.582
AT ITER 341 NEW BEST:: SOT 75827 SOS 49438 HAS SOPS 49403 HAS SOUS 23590 HAS SOUPS 23555 WITH SCORE 23604.438
AT ITER 344 NEW BEST:: SOT 75827 SOS 49306 HAS SOPS 49271 HAS SOUS 23572 HAS SOUPS 23537 WITH SCORE 23586.306
AT ITER 349 NEW BEST:: SOT 75827 SOS 49420 HAS SOPS 49385 HAS SOUS 23448 HAS SOUPS 23413 WITH SCORE 23462.42
AT ITER 350 NEW BEST:: SOT 75826 SOS 49414 HAS SOPS 49379 HAS SOUS 23446 HAS SOUPS 23411 WITH SCORE 23460.414
AT ITER 351 NEW BEST:: SOT 75803 SOS 49395 HAS SOPS 49360 HAS SOUS 23400 HAS SOUPS 23365 WITH SCORE 23414.395
AT ITER 354 NEW BEST:: SOT 75802 SOS 49394 HAS SOPS 49359 HAS SOUS 23397 HAS SOUPS 23362 WITH SCORE 23411.394
AT ITER 364 NEW BEST:: SOT 75799 SOS 49236 HAS SOPS 49201 HAS SOUS 23391 HAS SOUPS 23356 WITH SCORE 23405.236
AT ITER 371 NEW BEST:: SOT 75809 SOS 49194 HAS SOPS 49159 HAS SOUS 23378 HAS SOUPS 23343 WITH SCORE 23392.194
AT ITER 373 NEW BEST:: SOT 75809 SOS 49069 HAS SOPS 49034 HAS SOUS 23347 HAS SOUPS 23312 WITH SCORE 23361.069
AT ITER 377 NEW BEST:: SOT 75784 SOS 49065 HAS SOPS 49030 HAS SOUS 23287 HAS SOUPS 23252 WITH SCORE 23301.065
AT ITER 382 NEW BEST:: SOT 75784 SOS 49031 HAS SOPS 48996 HAS SOUS 23269 HAS SOUPS 23234 WITH SCORE 23283.031
AT ITER 383 NEW BEST:: SOT 75783 SOS 49030 HAS SOPS 48995 HAS SOUS 23267 HAS SOUPS 23232 WITH SCORE 23281.03
AT ITER 387 NEW BEST:: SOT 75761 SOS 49008 HAS SOPS 48973 HAS SOUS 23223 HAS SOUPS 23188 WITH SCORE 23237.008
AT ITER 394 NEW BEST:: SOT 75749 SOS 48982 HAS SOPS 48947 HAS SOUS 23205 HAS SOUPS 23170 WITH SCORE 23218.982
AT ITER 405 NEW BEST:: SOT 75749 SOS 48830 HAS SOPS 48795 HAS SOUS 23147 HAS SOUPS 23112 WITH SCORE 23160.83
AT ITER 406 NEW BEST:: SOT 75751 SOS 48826 HAS SOPS 48791 HAS SOUS 23143 HAS SOUPS 23108 WITH SCORE 23156.826
AT ITER 407 NEW BEST:: SOT 75741 SOS 48757 HAS SOPS 48722 HAS SOUS 23133 HAS SOUPS 23098 WITH SCORE 23146.757
AT ITER 410 NEW BEST:: SOT 75741 SOS 48733 HAS SOPS 48698 HAS SOUS 23121 HAS SOUPS 23086 WITH SCORE 23134.733
AT ITER 411 NEW BEST:: SOT 75741 SOS 48533 HAS SOPS 48498 HAS SOUS 23121 HAS SOUPS 23086 WITH SCORE 23134.533
AT ITER 412 NEW BEST:: SOT 75707 SOS 48518 HAS SOPS 48510 HAS SOUS 23064 HAS SOUPS 23056 WITH SCORE 23104.518
AT ITER 416 NEW BEST:: SOT 75735 SOS 48516 HAS SOPS 48508 HAS SOUS 23062 HAS SOUPS 23054 WITH SCORE 23102.516
AT ITER 417 NEW BEST:: SOT 75735 SOS 48514 HAS SOPS 48506 HAS SOUS 23021 HAS SOUPS 23013 WITH SCORE 23061.514
AT ITER 419 NEW BEST:: SOT 75729 SOS 48520 HAS SOPS 48512 HAS SOUS 23015 HAS SOUPS 23007 WITH SCORE 23055.52
AT ITER 421 NEW BEST:: SOT 75729 SOS 48464 HAS SOPS 48456 HAS SOUS 22987 HAS SOUPS 22979 WITH SCORE 23027.464
AT ITER 424 NEW BEST:: SOT 75667 SOS 48404 HAS SOPS 48396 HAS SOUS 22898 HAS SOUPS 22890 WITH SCORE 22938.404
AT ITER 434 NEW BEST:: SOT 75646 SOS 48341 HAS SOPS 48333 HAS SOUS 22856 HAS SOUPS 22848 WITH SCORE 22896.341
AT ITER 435 NEW BEST:: SOT 75664 SOS 48361 HAS SOPS 48353 HAS SOUS 22842 HAS SOUPS 22834 WITH SCORE 22882.361
AT ITER 440 NEW BEST:: SOT 75664 SOS 48329 HAS SOPS 48321 HAS SOUS 22832 HAS SOUPS 22824 WITH SCORE 22872.329
AT ITER 443 NEW BEST:: SOT 75677 SOS 48280 HAS SOPS 48268 HAS SOUS 22821 HAS SOUPS 22813 WITH SCORE 22861.28
AT ITER 444 NEW BEST:: SOT 75650 SOS 48011 HAS SOPS 47999 HAS SOUS 22684 HAS SOUPS 22676 WITH SCORE 22724.011
AT ITER 447 NEW BEST:: SOT 75629 SOS 48021 HAS SOPS 48009 HAS SOUS 22642 HAS SOUPS 22634 WITH SCORE 22682.021
AT ITER 454 NEW BEST:: SOT 75617 SOS 48009 HAS SOPS 47997 HAS SOUS 22606 HAS SOUPS 22598 WITH SCORE 22646.009
AT ITER 456 NEW BEST:: SOT 75640 SOS 48075 HAS SOPS 48063 HAS SOUS 22598 HAS SOUPS 22590 WITH SCORE 22638.075
AT ITER 461 NEW BEST:: SOT 74828 SOS 47260 HAS SOPS 47248 HAS SOUS 22476 HAS SOUPS 22468 WITH SCORE 22515.26
AT ITER 465 NEW BEST:: SOT 74821 SOS 47267 HAS SOPS 47255 HAS SOUS 22469 HAS SOUPS 22461 WITH SCORE 22508.267
AT ITER 468 NEW BEST:: SOT 74821 SOS 47255 HAS SOPS 47243 HAS SOUS 22469 HAS SOUPS 22461 WITH SCORE 22508.255
AT ITER 470 NEW BEST:: SOT 74779 SOS 47275 HAS SOPS 47263 HAS SOUS 22217 HAS SOUPS 22209 WITH SCORE 22256.275
AT ITER 479 NEW BEST:: SOT 74748 SOS 47153 HAS SOPS 47141 HAS SOUS 22210 HAS SOUPS 22202 WITH SCORE 22249.153
AT ITER 481 NEW BEST:: SOT 74748 SOS 47149 HAS SOPS 47137 HAS SOUS 22210 HAS SOUPS 22202 WITH SCORE 22249.149
AT ITER 482 NEW BEST:: SOT 74748 SOS 47148 HAS SOPS 47136 HAS SOUS 22209 HAS SOUPS 22201 WITH SCORE 22248.148
AT ITER 483 NEW BEST:: SOT 74748 SOS 47125 HAS SOPS 47113 HAS SOUS 22199 HAS SOUPS 22191 WITH SCORE 22238.125
AT ITER 488 NEW BEST:: SOT 74738 SOS 47173 HAS SOPS 47161 HAS SOUS 22179 HAS SOUPS 22171 WITH SCORE 22218.173
AT ITER 489 NEW BEST:: SOT 74718 SOS 47121 HAS SOPS 47109 HAS SOUS 22151 HAS SOUPS 22143 WITH SCORE 22190.121
AT ITER 491 NEW BEST:: SOT 74718 SOS 47102 HAS SOPS 47090 HAS SOUS 22132 HAS SOUPS 22124 WITH SCORE 22171.102
AT ITER 492 NEW BEST:: SOT 74162 SOS 46517 HAS SOPS 46505 HAS SOUS 22012 HAS SOUPS 22004 WITH SCORE 22050.517
AT ITER 496 NEW BEST:: SOT 74128 SOS 46503 HAS SOPS 46495 HAS SOUS 22002 HAS SOUPS 21994 WITH SCORE 22040.503
AT ITER 499 NEW BEST:: SOT 74074 SOS 46501 HAS SOPS 46493 HAS SOUS 21959 HAS SOUPS 21951 WITH SCORE 21997.501
AT ITER 503 NEW BEST:: SOT 73772 SOS 46199 HAS SOPS 46191 HAS SOUS 21747 HAS SOUPS 21739 WITH SCORE 21785.199
AT ITER 504 NEW BEST:: SOT 73751 SOS 46035 HAS SOPS 46010 HAS SOUS 21652 HAS SOUPS 21627 WITH SCORE 21673.035
AT ITER 509 NEW BEST:: SOT 73758 SOS 45997 HAS SOPS 45972 HAS SOUS 21640 HAS SOUPS 21615 WITH SCORE 21660.997
AT ITER 511 NEW BEST:: SOT 73795 SOS 45718 HAS SOPS 45693 HAS SOUS 21528 HAS SOUPS 21503 WITH SCORE 21548.718
AT ITER 513 NEW BEST:: SOT 73775 SOS 45746 HAS SOPS 45721 HAS SOUS 21467 HAS SOUPS 21442 WITH SCORE 21487.746
AT ITER 517 NEW BEST:: SOT 73775 SOS 45758 HAS SOPS 45733 HAS SOUS 21434 HAS SOUPS 21409 WITH SCORE 21454.758
AT ITER 518 NEW BEST:: SOT 73791 SOS 45754 HAS SOPS 45729 HAS SOUS 21389 HAS SOUPS 21364 WITH SCORE 21409.754
AT ITER 525 NEW BEST:: SOT 73791 SOS 44669 HAS SOPS 44644 HAS SOUS 21358 HAS SOUPS 21333 WITH SCORE 21377.669
AT ITER 527 NEW BEST:: SOT 73802 SOS 44601 HAS SOPS 44576 HAS SOUS 21324 HAS SOUPS 21299 WITH SCORE 21343.601
AT ITER 533 NEW BEST:: SOT 73785 SOS 44568 HAS SOPS 44543 HAS SOUS 21290 HAS SOUPS 21265 WITH SCORE 21309.568
AT ITER 538 NEW BEST:: SOT 73794 SOS 44585 HAS SOPS 44560 HAS SOUS 21228 HAS SOUPS 21203 WITH SCORE 21247.585
AT ITER 543 NEW BEST:: SOT 73794 SOS 44413 HAS SOPS 44388 HAS SOUS 21176 HAS SOUPS 21151 WITH SCORE 21195.413
AT ITER 548 NEW BEST:: SOT 73794 SOS 44405 HAS SOPS 44380 HAS SOUS 21168 HAS SOUPS 21143 WITH SCORE 21187.405
AT ITER 555 NEW BEST:: SOT 73716 SOS 44116 HAS SOPS 44091 HAS SOUS 20949 HAS SOUPS 20924 WITH SCORE 20968.116
AT ITER 566 NEW BEST:: SOT 73711 SOS 44002 HAS SOPS 43977 HAS SOUS 20939 HAS SOUPS 20914 WITH SCORE 20958.002
AT ITER 579 NEW BEST:: SOT 73734 SOS 43993 HAS SOPS 43968 HAS SOUS 20907 HAS SOUPS 20882 WITH SCORE 20925.993
AT ITER 582 NEW BEST:: SOT 73684 SOS 43893 HAS SOPS 43868 HAS SOUS 20802 HAS SOUPS 20777 WITH SCORE 20820.893
AT ITER 584 NEW BEST:: SOT 73682 SOS 43892 HAS SOPS 43867 HAS SOUS 20799 HAS SOUPS 20774 WITH SCORE 20817.892
AT ITER 588 NEW BEST:: SOT 73682 SOS 43585 HAS SOPS 43560 HAS SOUS 20799 HAS SOUPS 20774 WITH SCORE 20817.585
AT ITER 591 NEW BEST:: SOT 73682 SOS 43560 HAS SOPS 43535 HAS SOUS 20799 HAS SOUPS 20774 WITH SCORE 20817.56
AT ITER 592 NEW BEST:: SOT 73680 SOS 43544 HAS SOPS 43519 HAS SOUS 20783 HAS SOUPS 20758 WITH SCORE 20801.544
AT ITER 594 NEW BEST:: SOT 73658 SOS 43531 HAS SOPS 43506 HAS SOUS 20770 HAS SOUPS 20745 WITH SCORE 20788.531
AT ITER 598 NEW BEST:: SOT 73644 SOS 43545 HAS SOPS 43520 HAS SOUS 20756 HAS SOUPS 20731 WITH SCORE 20774.545
AT ITER 603 NEW BEST:: SOT 73561 SOS 42634 HAS SOPS 42577 HAS SOUS 20585 HAS SOUPS 20543 WITH SCORE 20585.634
AT ITER 614 NEW BEST:: SOT 73550 SOS 42630 HAS SOPS 42573 HAS SOUS 20557 HAS SOUPS 20515 WITH SCORE 20557.63
AT ITER 615 NEW BEST:: SOT 73518 SOS 42439 HAS SOPS 42382 HAS SOUS 20462 HAS SOUPS 20420 WITH SCORE 20462.439
AT ITER 623 NEW BEST:: SOT 73518 SOS 42409 HAS SOPS 42352 HAS SOUS 20403 HAS SOUPS 20361 WITH SCORE 20403.409
AT ITER 629 NEW BEST:: SOT 73514 SOS 42405 HAS SOPS 42348 HAS SOUS 20399 HAS SOUPS 20357 WITH SCORE 20399.405
AT ITER 641 NEW BEST:: SOT 73514 SOS 42149 HAS SOPS 42092 HAS SOUS 20399 HAS SOUPS 20357 WITH SCORE 20399.149
AT ITER 643 NEW BEST:: SOT 73471 SOS 42062 HAS SOPS 42005 HAS SOUS 20312 HAS SOUPS 20270 WITH SCORE 20312.062
AT ITER 646 NEW BEST:: SOT 73468 SOS 41516 HAS SOPS 41459 HAS SOUS 20246 HAS SOUPS 20204 WITH SCORE 20245.516
AT ITER 654 NEW BEST:: SOT 73462 SOS 41504 HAS SOPS 41447 HAS SOUS 20234 HAS SOUPS 20192 WITH SCORE 20233.504
AT ITER 656 NEW BEST:: SOT 73558 SOS 41715 HAS SOPS 41658 HAS SOUS 20221 HAS SOUPS 20179 WITH SCORE 20220.715
AT ITER 663 NEW BEST:: SOT 73526 SOS 41683 HAS SOPS 41626 HAS SOUS 20157 HAS SOUPS 20115 WITH SCORE 20156.683
AT ITER 664 NEW BEST:: SOT 73267 SOS 41407 HAS SOPS 41343 HAS SOUS 20079 HAS SOUPS 20030 WITH SCORE 20071.407
AT ITER 669 NEW BEST:: SOT 73243 SOS 41503 HAS SOPS 41439 HAS SOUS 19929 HAS SOUPS 19880 WITH SCORE 19921.503
AT ITER 681 NEW BEST:: SOT 73238 SOS 41367 HAS SOPS 41303 HAS SOUS 19919 HAS SOUPS 19870 WITH SCORE 19911.367
AT ITER 685 NEW BEST:: SOT 73222 SOS 41354 HAS SOPS 41290 HAS SOUS 19898 HAS SOUPS 19849 WITH SCORE 19890.354
AT ITER 690 NEW BEST:: SOT 73222 SOS 41354 HAS SOPS 41290 HAS SOUS 19896 HAS SOUPS 19847 WITH SCORE 19888.354
AT ITER 696 NEW BEST:: SOT 73185 SOS 41241 HAS SOPS 41177 HAS SOUS 19787 HAS SOUPS 19738 WITH SCORE 19779.241
AT ITER 698 NEW BEST:: SOT 73070 SOS 41163 HAS SOPS 41103 HAS SOUS 19707 HAS SOUPS 19662 WITH SCORE 19703.163
AT ITER 711 NEW BEST:: SOT 73089 SOS 41201 HAS SOPS 41141 HAS SOUS 19702 HAS SOUPS 19657 WITH SCORE 19698.201
AT ITER 727 NEW BEST:: SOT 73072 SOS 41191 HAS SOPS 41131 HAS SOUS 19702 HAS SOUPS 19657 WITH SCORE 19698.191
AT ITER 733 NEW BEST:: SOT 73065 SOS 41098 HAS SOPS 40989 HAS SOUS 19658 HAS SOUPS 19571 WITH SCORE 19612.098
AT ITER 738 NEW BEST:: SOT 73065 SOS 41098 HAS SOPS 40989 HAS SOUS 19601 HAS SOUPS 19514 WITH SCORE 19555.098
AT ITER 739 NEW BEST:: SOT 73044 SOS 41164 HAS SOPS 41055 HAS SOUS 19579 HAS SOUPS 19492 WITH SCORE 19533.164
AT ITER 740 NEW BEST:: SOT 72989 SOS 41100 HAS SOPS 40991 HAS SOUS 19538 HAS SOUPS 19451 WITH SCORE 19492.1
AT ITER 743 NEW BEST:: SOT 72989 SOS 41074 HAS SOPS 40965 HAS SOUS 19521 HAS SOUPS 19434 WITH SCORE 19475.074
AT ITER 747 NEW BEST:: SOT 72989 SOS 41080 HAS SOPS 40974 HAS SOUS 19519 HAS SOUPS 19433 WITH SCORE 19474.08
AT ITER 769 NEW BEST:: SOT 72989 SOS 41062 HAS SOPS 40956 HAS SOUS 19507 HAS SOUPS 19421 WITH SCORE 19462.062
AT ITER 772 NEW BEST:: SOT 72983 SOS 41056 HAS SOPS 40950 HAS SOUS 19501 HAS SOUPS 19415 WITH SCORE 19456.056
AT ITER 773 NEW BEST:: SOT 72975 SOS 41084 HAS SOPS 40978 HAS SOUS 19496 HAS SOUPS 19410 WITH SCORE 19451.084
AT ITER 777 NEW BEST:: SOT 72974 SOS 41082 HAS SOPS 40976 HAS SOUS 19494 HAS SOUPS 19408 WITH SCORE 19449.082
AT ITER 778 NEW BEST:: SOT 72968 SOS 41078 HAS SOPS 40972 HAS SOUS 19485 HAS SOUPS 19399 WITH SCORE 19440.078
AT ITER 779 NEW BEST:: SOT 73000 SOS 40948 HAS SOPS 40842 HAS SOUS 19478 HAS SOUPS 19392 WITH SCORE 19432.948
AT ITER 780 NEW BEST:: SOT 73000 SOS 40876 HAS SOPS 40770 HAS SOUS 19442 HAS SOUPS 19356 WITH SCORE 19396.876
AT ITER 807 NEW BEST:: SOT 73005 SOS 40869 HAS SOPS 40763 HAS SOUS 19429 HAS SOUPS 19343 WITH SCORE 19383.869
AT ITER 816 NEW BEST:: SOT 73006 SOS 40871 HAS SOPS 40765 HAS SOUS 19404 HAS SOUPS 19318 WITH SCORE 19358.871
AT ITER 864 NEW BEST:: SOT 73001 SOS 41035 HAS SOPS 40929 HAS SOUS 19390 HAS SOUPS 19304 WITH SCORE 19345.035
AT ITER 878 NEW BEST:: SOT 72975 SOS 41059 HAS SOPS 40953 HAS SOUS 19364 HAS SOUPS 19278 WITH SCORE 19319.059
AT ITER 881 NEW BEST:: SOT 72956 SOS 41049 HAS SOPS 40943 HAS SOUS 19343 HAS SOUPS 19257 WITH SCORE 19298.049
AT ITER 888 NEW BEST:: SOT 72932 SOS 41025 HAS SOPS 40919 HAS SOUS 19319 HAS SOUPS 19233 WITH SCORE 19274.025
AT ITER 893 NEW BEST:: SOT 72932 SOS 41006 HAS SOPS 40900 HAS SOUS 19319 HAS SOUPS 19233 WITH SCORE 19274.006
AT ITER 901 NEW BEST:: SOT 72905 SOS 40979 HAS SOPS 40873 HAS SOUS 19319 HAS SOUPS 19233 WITH SCORE 19273.979
AT ITER 907 NEW BEST:: SOT 72866 SOS 40923 HAS SOPS 40817 HAS SOUS 19223 HAS SOUPS 19137 WITH SCORE 19177.923
AT ITER 925 NEW BEST:: SOT 72847 SOS 40904 HAS SOPS 40798 HAS SOUS 19185 HAS SOUPS 19099 WITH SCORE 19139.904
AT ITER 928 NEW BEST:: SOT 72845 SOS 40965 HAS SOPS 40867 HAS SOUS 19158 HAS SOUPS 19072 WITH SCORE 19112.965
AT ITER 936 NEW BEST:: SOT 72835 SOS 41098 HAS SOPS 41000 HAS SOUS 19147 HAS SOUPS 19061 WITH SCORE 19102.098
AT ITER 939 NEW BEST:: SOT 72822 SOS 41012 HAS SOPS 40914 HAS SOUS 19091 HAS SOUPS 19005 WITH SCORE 19046.012
AT ITER 947 NEW BEST:: SOT 72819 SOS 41051 HAS SOPS 40953 HAS SOUS 19085 HAS SOUPS 18999 WITH SCORE 19040.051
AT ITER 949 NEW BEST:: SOT 72819 SOS 41039 HAS SOPS 40941 HAS SOUS 19073 HAS SOUPS 18987 WITH SCORE 19028.039
AT ITER 955 NEW BEST:: SOT 72817 SOS 40985 HAS SOPS 40887 HAS SOUS 19069 HAS SOUPS 18983 WITH SCORE 19023.985
AT ITER 967 NEW BEST:: SOT 72817 SOS 40963 HAS SOPS 40865 HAS SOUS 19061 HAS SOUPS 18975 WITH SCORE 19015.963
AT ITER 973 NEW BEST:: SOT 72840 SOS 41062 HAS SOPS 40964 HAS SOUS 18987 HAS SOUPS 18901 WITH SCORE 18942.062
AT ITER 983 NEW BEST:: SOT 72794 SOS 41093 HAS SOPS 40995 HAS SOUS 18939 HAS SOUPS 18853 WITH SCORE 18894.093
AT ITER 986 NEW BEST:: SOT 72786 SOS 40815 HAS SOPS 40717 HAS SOUS 18933 HAS SOUPS 18847 WITH SCORE 18887.815
AT ITER 991 NEW BEST:: SOT 72786 SOS 40785 HAS SOPS 40687 HAS SOUS 18923 HAS SOUPS 18837 WITH SCORE 18877.785
AT ITER 995 NEW BEST:: SOT 72758 SOS 40742 HAS SOPS 40644 HAS SOUS 18895 HAS SOUPS 18809 WITH SCORE 18849.742
AT ITER 999 NEW BEST:: SOT 72786 SOS 40658 HAS SOPS 40560 HAS SOUS 18895 HAS SOUPS 18809 WITH SCORE 18849.658
AT ITER 1002 NEW BEST:: SOT 72786 SOS 40394 HAS SOPS 40296 HAS SOUS 18883 HAS SOUPS 18797 WITH SCORE 18837.394
AT ITER 1006 NEW BEST:: SOT 72766 SOS 40290 HAS SOPS 40192 HAS SOUS 18842 HAS SOUPS 18756 WITH SCORE 18796.29
AT ITER 1018 NEW BEST:: SOT 72758 SOS 40218 HAS SOPS 40120 HAS SOUS 18826 HAS SOUPS 18740 WITH SCORE 18780.218
AT ITER 1028 NEW BEST:: SOT 72758 SOS 40249 HAS SOPS 40151 HAS SOUS 18733 HAS SOUPS 18647 WITH SCORE 18687.249
AT ITER 1030 NEW BEST:: SOT 72751 SOS 40235 HAS SOPS 40137 HAS SOUS 18726 HAS SOUPS 18640 WITH SCORE 18680.235
AT ITER 1032 NEW BEST:: SOT 72748 SOS 40232 HAS SOPS 40134 HAS SOUS 18720 HAS SOUPS 18634 WITH SCORE 18674.232
AT ITER 1035 NEW BEST:: SOT 72746 SOS 40258 HAS SOPS 40160 HAS SOUS 18718 HAS SOUPS 18632 WITH SCORE 18672.258
AT ITER 1044 NEW BEST:: SOT 72727 SOS 40375 HAS SOPS 40280 HAS SOUS 18704 HAS SOUPS 18621 WITH SCORE 18661.375
AT ITER 1048 NEW BEST:: SOT 72713 SOS 40305 HAS SOPS 40210 HAS SOUS 18690 HAS SOUPS 18607 WITH SCORE 18647.305
AT ITER 1064 NEW BEST:: SOT 72315 SOS 39941 HAS SOPS 39812 HAS SOUS 18415 HAS SOUPS 18308 WITH SCORE 18347.941
AT ITER 1067 NEW BEST:: SOT 72318 SOS 39960 HAS SOPS 39831 HAS SOUS 18408 HAS SOUPS 18301 WITH SCORE 18340.96
AT ITER 1081 NEW BEST:: SOT 72284 SOS 39939 HAS SOPS 39859 HAS SOUS 18335 HAS SOUPS 18271 WITH SCORE 18310.939
AT ITER 1103 NEW BEST:: SOT 72284 SOS 39932 HAS SOPS 39852 HAS SOUS 18328 HAS SOUPS 18264 WITH SCORE 18303.932
AT ITER 1114 NEW BEST:: SOT 72284 SOS 39846 HAS SOPS 39766 HAS SOUS 18328 HAS SOUPS 18264 WITH SCORE 18303.846
AT ITER 1121 NEW BEST:: SOT 72286 SOS 39830 HAS SOPS 39741 HAS SOUS 18332 HAS SOUPS 18262 WITH SCORE 18301.83
AT ITER 1131 NEW BEST:: SOT 72250 SOS 39340 HAS SOPS 39251 HAS SOUS 18253 HAS SOUPS 18183 WITH SCORE 18222.34
AT ITER 1134 NEW BEST:: SOT 72222 SOS 39141 HAS SOPS 39052 HAS SOUS 18186 HAS SOUPS 18116 WITH SCORE 18155.141
AT ITER 1135 NEW BEST:: SOT 72209 SOS 39120 HAS SOPS 39024 HAS SOUS 18160 HAS SOUPS 18088 WITH SCORE 18127.12
AT ITER 1136 NEW BEST:: SOT 72207 SOS 39116 HAS SOPS 39020 HAS SOUS 18156 HAS SOUPS 18084 WITH SCORE 18123.116
AT ITER 1142 NEW BEST:: SOT 72189 SOS 39082 HAS SOPS 38986 HAS SOUS 18156 HAS SOUPS 18084 WITH SCORE 18123.082
AT ITER 1148 NEW BEST:: SOT 72125 SOS 39018 HAS SOPS 38922 HAS SOUS 18148 HAS SOUPS 18076 WITH SCORE 18115.018
AT ITER 1157 NEW BEST:: SOT 72122 SOS 39003 HAS SOPS 38907 HAS SOUS 18146 HAS SOUPS 18074 WITH SCORE 18113.003
AT ITER 1160 NEW BEST:: SOT 72108 SOS 38979 HAS SOPS 38871 HAS SOUS 18143 HAS SOUPS 18068 WITH SCORE 18106.979
AT ITER 1162 NEW BEST:: SOT 72087 SOS 38961 HAS SOPS 38853 HAS SOUS 18125 HAS SOUPS 18050 WITH SCORE 18088.961
AT ITER 1165 NEW BEST:: SOT 72084 SOS 38920 HAS SOPS 38812 HAS SOUS 18119 HAS SOUPS 18044 WITH SCORE 18082.92
AT ITER 1177 NEW BEST:: SOT 72077 SOS 38906 HAS SOPS 38798 HAS SOUS 18072 HAS SOUPS 17997 WITH SCORE 18035.906
AT ITER 1196 NEW BEST:: SOT 72063 SOS 38892 HAS SOPS 38784 HAS SOUS 18044 HAS SOUPS 17969 WITH SCORE 18007.892
AT ITER 1202 NEW BEST:: SOT 72062 SOS 38890 HAS SOPS 38782 HAS SOUS 18041 HAS SOUPS 17966 WITH SCORE 18004.89
AT ITER 1208 NEW BEST:: SOT 72061 SOS 38881 HAS SOPS 38773 HAS SOUS 18040 HAS SOUPS 17965 WITH SCORE 18003.881
AT ITER 1234 NEW BEST:: SOT 72056 SOS 38771 HAS SOPS 38663 HAS SOUS 18035 HAS SOUPS 17960 WITH SCORE 17998.771
AT ITER 1243 NEW BEST:: SOT 72168 SOS 38883 HAS SOPS 38775 HAS SOUS 17926 HAS SOUPS 17851 WITH SCORE 17889.883
AT ITER 1257 NEW BEST:: SOT 72184 SOS 38913 HAS SOPS 38805 HAS SOUS 17923 HAS SOUPS 17848 WITH SCORE 17886.913
AT ITER 1261 NEW BEST:: SOT 72184 SOS 38906 HAS SOPS 38798 HAS SOUS 17916 HAS SOUPS 17841 WITH SCORE 17879.906
AT ITER 1267 NEW BEST:: SOT 72013 SOS 38757 HAS SOPS 38627 HAS SOUS 17923 HAS SOUPS 17826 WITH SCORE 17864.757
AT ITER 1269 NEW BEST:: SOT 71980 SOS 38817 HAS SOPS 38687 HAS SOUS 17907 HAS SOUPS 17810 WITH SCORE 17848.817
AT ITER 1270 NEW BEST:: SOT 71931 SOS 38761 HAS SOPS 38617 HAS SOUS 17905 HAS SOUPS 17794 WITH SCORE 17832.761
AT ITER 1283 NEW BEST:: SOT 71932 SOS 38762 HAS SOPS 38618 HAS SOUS 17903 HAS SOUPS 17792 WITH SCORE 17830.762
AT ITER 1285 NEW BEST:: SOT 71926 SOS 38756 HAS SOPS 38612 HAS SOUS 17830 HAS SOUPS 17719 WITH SCORE 17757.756
AT ITER 1297 NEW BEST:: SOT 71917 SOS 38747 HAS SOPS 38603 HAS SOUS 17825 HAS SOUPS 17714 WITH SCORE 17752.747
AT ITER 1300 NEW BEST:: SOT 71950 SOS 38746 HAS SOPS 38602 HAS SOUS 17824 HAS SOUPS 17713 WITH SCORE 17751.746
AT ITER 1324 NEW BEST:: SOT 71930 SOS 38640 HAS SOPS 38496 HAS SOUS 17784 HAS SOUPS 17673 WITH SCORE 17711.64
AT ITER 1330 NEW BEST:: SOT 71878 SOS 38443 HAS SOPS 38299 HAS SOUS 17721 HAS SOUPS 17610 WITH SCORE 17648.443
AT ITER 1331 NEW BEST:: SOT 71859 SOS 38222 HAS SOPS 38078 HAS SOUS 17708 HAS SOUPS 17597 WITH SCORE 17635.222
AT ITER 1336 NEW BEST:: SOT 71859 SOS 37346 HAS SOPS 37202 HAS SOUS 17707 HAS SOUPS 17596 WITH SCORE 17633.346
AT ITER 1348 NEW BEST:: SOT 71859 SOS 37367 HAS SOPS 37223 HAS SOUS 17686 HAS SOUPS 17575 WITH SCORE 17612.367
AT ITER 1356 NEW BEST:: SOT 71846 SOS 37300 HAS SOPS 37156 HAS SOUS 17655 HAS SOUPS 17544 WITH SCORE 17581.3
AT ITER 1359 NEW BEST:: SOT 71846 SOS 36670 HAS SOPS 36521 HAS SOUS 17622 HAS SOUPS 17531 WITH SCORE 17567.67
AT ITER 1367 NEW BEST:: SOT 71841 SOS 36638 HAS SOPS 36489 HAS SOUS 17605 HAS SOUPS 17514 WITH SCORE 17550.638
AT ITER 1372 NEW BEST:: SOT 71853 SOS 36575 HAS SOPS 36420 HAS SOUS 17571 HAS SOUPS 17480 WITH SCORE 17516.575
AT ITER 1386 NEW BEST:: SOT 71853 SOS 36572 HAS SOPS 36417 HAS SOUS 17568 HAS SOUPS 17477 WITH SCORE 17513.572
AT ITER 1388 NEW BEST:: SOT 71833 SOS 36437 HAS SOPS 36282 HAS SOUS 17551 HAS SOUPS 17460 WITH SCORE 17496.437
AT ITER 1393 NEW BEST:: SOT 71826 SOS 36340 HAS SOPS 36177 HAS SOUS 17550 HAS SOUPS 17451 WITH SCORE 17487.34
AT ITER 1396 NEW BEST:: SOT 71826 SOS 36364 HAS SOPS 36201 HAS SOUS 17546 HAS SOUPS 17447 WITH SCORE 17483.364
AT ITER 1415 NEW BEST:: SOT 71824 SOS 36362 HAS SOPS 36199 HAS SOUS 17544 HAS SOUPS 17445 WITH SCORE 17481.362
AT ITER 1424 NEW BEST:: SOT 71823 SOS 36361 HAS SOPS 36198 HAS SOUS 17543 HAS SOUPS 17444 WITH SCORE 17480.361
AT ITER 1445 NEW BEST:: SOT 71812 SOS 36339 HAS SOPS 36176 HAS SOUS 17521 HAS SOUPS 17422 WITH SCORE 17458.339
AT ITER 1448 NEW BEST:: SOT 71808 SOS 36331 HAS SOPS 36168 HAS SOUS 17513 HAS SOUPS 17414 WITH SCORE 17450.331
AT ITER 1450 NEW BEST:: SOT 71797 SOS 36252 HAS SOPS 36089 HAS SOUS 17491 HAS SOUPS 17392 WITH SCORE 17428.252
AT ITER 1462 NEW BEST:: SOT 71787 SOS 36253 HAS SOPS 36090 HAS SOUS 17471 HAS SOUPS 17372 WITH SCORE 17408.253
AT ITER 1464 NEW BEST:: SOT 71787 SOS 36235 HAS SOPS 36072 HAS SOUS 17471 HAS SOUPS 17372 WITH SCORE 17408.235
AT ITER 1479 NEW BEST:: SOT 71787 SOS 36255 HAS SOPS 36092 HAS SOUS 17459 HAS SOUPS 17360 WITH SCORE 17396.255
AT ITER 1481 NEW BEST:: SOT 71787 SOS 36254 HAS SOPS 36091 HAS SOUS 17459 HAS SOUPS 17360 WITH SCORE 17396.254
AT ITER 1500 NEW BEST:: SOT 71787 SOS 36297 HAS SOPS 36134 HAS SOUS 17456 HAS SOUPS 17357 WITH SCORE 17393.297
AT ITER 1514 NEW BEST:: SOT 71137 SOS 35396 HAS SOPS 34669 HAS SOUS 17254 HAS SOUPS 17006 WITH SCORE 17041.396
AT ITER 1518 NEW BEST:: SOT 71132 SOS 35374 HAS SOPS 34647 HAS SOUS 17244 HAS SOUPS 16996 WITH SCORE 17031.374
AT ITER 1580 NEW BEST:: SOT 71132 SOS 35362 HAS SOPS 34635 HAS SOUS 17244 HAS SOUPS 16996 WITH SCORE 17031.362
AT ITER 1604 NEW BEST:: SOT 71128 SOS 35347 HAS SOPS 34620 HAS SOUS 17226 HAS SOUPS 16978 WITH SCORE 17013.347
AT ITER 1625 NEW BEST:: SOT 71124 SOS 35339 HAS SOPS 34612 HAS SOUS 17218 HAS SOUPS 16970 WITH SCORE 17005.339
AT ITER 1646 NEW BEST:: SOT 71121 SOS 35333 HAS SOPS 34606 HAS SOUS 17212 HAS SOUPS 16964 WITH SCORE 16999.333
AT ITER 1674 NEW BEST:: SOT 71121 SOS 35329 HAS SOPS 34602 HAS SOUS 17212 HAS SOUPS 16964 WITH SCORE 16999.329
AT ITER 1677 NEW BEST:: SOT 71121 SOS 35325 HAS SOPS 34598 HAS SOUS 17204 HAS SOUPS 16956 WITH SCORE 16991.325
AT ITER 1684 NEW BEST:: SOT 71122 SOS 35359 HAS SOPS 34632 HAS SOUS 17190 HAS SOUPS 16942 WITH SCORE 16977.359
AT ITER 1729 NEW BEST:: SOT 71122 SOS 35359 HAS SOPS 34632 HAS SOUS 17189 HAS SOUPS 16941 WITH SCORE 16976.359
AT ITER 1732 NEW BEST:: SOT 71117 SOS 35364 HAS SOPS 34637 HAS SOUS 17184 HAS SOUPS 16936 WITH SCORE 16971.364
AT ITER 1742 NEW BEST:: SOT 71117 SOS 35352 HAS SOPS 34625 HAS SOUS 17184 HAS SOUPS 16936 WITH SCORE 16971.352
AT ITER 1750 NEW BEST:: SOT 70777 SOS 35110 HAS SOPS 34265 HAS SOUS 16784 HAS SOUPS 16520 WITH SCORE 16555.11
AT ITER 1771 NEW BEST:: SOT 70767 SOS 35110 HAS SOPS 34265 HAS SOUS 16774 HAS SOUPS 16510 WITH SCORE 16545.11
AT ITER 1775 NEW BEST:: SOT 70767 SOS 34693 HAS SOPS 33848 HAS SOUS 16748 HAS SOUPS 16484 WITH SCORE 16518.693
AT ITER 1776 NEW BEST:: SOT 70755 SOS 34621 HAS SOPS 33776 HAS SOUS 16736 HAS SOUPS 16472 WITH SCORE 16506.621
AT ITER 1794 NEW BEST:: SOT 70756 SOS 34579 HAS SOPS 33734 HAS SOUS 16727 HAS SOUPS 16463 WITH SCORE 16497.579
AT ITER 1800 NEW BEST:: SOT 70756 SOS 34578 HAS SOPS 33733 HAS SOUS 16726 HAS SOUPS 16462 WITH SCORE 16496.578
AT ITER 1817 NEW BEST:: SOT 70871 SOS 34693 HAS SOPS 33848 HAS SOUS 16707 HAS SOUPS 16443 WITH SCORE 16477.693
AT ITER 1822 NEW BEST:: SOT 70868 SOS 34713 HAS SOPS 33868 HAS SOUS 16703 HAS SOUPS 16439 WITH SCORE 16473.713
AT ITER 1826 NEW BEST:: SOT 70864 SOS 34693 HAS SOPS 33848 HAS SOUS 16695 HAS SOUPS 16431 WITH SCORE 16465.693
AT ITER 1849 NEW BEST:: SOT 70290 SOS 34123 HAS SOPS 33274 HAS SOUS 16512 HAS SOUPS 16222 WITH SCORE 16256.123
AT ITER 1869 NEW BEST:: SOT 70290 SOS 34126 HAS SOPS 33277 HAS SOUS 16509 HAS SOUPS 16219 WITH SCORE 16253.126
AT ITER 1886 NEW BEST:: SOT 70289 SOS 34127 HAS SOPS 33278 HAS SOUS 16507 HAS SOUPS 16217 WITH SCORE 16251.127
AT ITER 1928 NEW BEST:: SOT 70201 SOS 34039 HAS SOPS 33190 HAS SOUS 16489 HAS SOUPS 16199 WITH SCORE 16233.039
AT ITER 1957 NEW BEST:: SOT 70083 SOS 33988 HAS SOPS 33072 HAS SOUS 16362 HAS SOUPS 16065 WITH SCORE 16098.988
AT ITER 1976 NEW BEST:: SOT 70082 SOS 33994 HAS SOPS 33078 HAS SOUS 16360 HAS SOUPS 16063 WITH SCORE 16096.994
AT ITER 1983 NEW BEST:: SOT 70143 SOS 34081 HAS SOPS 33064 HAS SOUS 16277 HAS SOUPS 16021 WITH SCORE 16055.081
AT ITER 1988 NEW BEST:: SOT 70145 SOS 34344 HAS SOPS 33327 HAS SOUS 16276 HAS SOUPS 16020 WITH SCORE 16054.344
AT ITER 1993 NEW BEST:: SOT 69738 SOS 34156 HAS SOPS 32881 HAS SOUS 16295 HAS SOUPS 15988 WITH SCORE 16022.156
AT ITER 1997 NEW BEST:: SOT 69738 SOS 34137 HAS SOPS 32862 HAS SOUS 16295 HAS SOUPS 15988 WITH SCORE 16022.137
AT ITER 2024 NEW BEST:: SOT 69623 SOS 34022 HAS SOPS 32747 HAS SOUS 16160 HAS SOUPS 15851 WITH SCORE 15885.022
AT ITER 2036 NEW BEST:: SOT 69625 SOS 34002 HAS SOPS 32727 HAS SOUS 16158 HAS SOUPS 15849 WITH SCORE 15883.002
AT ITER 2043 NEW BEST:: SOT 69605 SOS 33989 HAS SOPS 32714 HAS SOUS 16145 HAS SOUPS 15836 WITH SCORE 15869.989
AT ITER 2071 NEW BEST:: SOT 69599 SOS 33997 HAS SOPS 32722 HAS SOUS 16141 HAS SOUPS 15832 WITH SCORE 15865.997
AT ITER 2080 NEW BEST:: SOT 69119 SOS 33535 HAS SOPS 32260 HAS SOUS 16008 HAS SOUPS 15699 WITH SCORE 15732.535
AT ITER 2121 NEW BEST:: SOT 69122 SOS 33541 HAS SOPS 32266 HAS SOUS 16001 HAS SOUPS 15692 WITH SCORE 15725.541
AT ITER 2127 NEW BEST:: SOT 69122 SOS 33538 HAS SOPS 32263 HAS SOUS 16001 HAS SOUPS 15692 WITH SCORE 15725.538
AT ITER 2129 NEW BEST:: SOT 69122 SOS 33537 HAS SOPS 32262 HAS SOUS 16001 HAS SOUPS 15692 WITH SCORE 15725.537
AT ITER 2132 NEW BEST:: SOT 69111 SOS 33500 HAS SOPS 32225 HAS SOUS 15990 HAS SOUPS 15681 WITH SCORE 15714.5
AT ITER 2149 NEW BEST:: SOT 69111 SOS 33459 HAS SOPS 32184 HAS SOUS 15990 HAS SOUPS 15681 WITH SCORE 15714.459
AT ITER 2167 NEW BEST:: SOT 69099 SOS 33489 HAS SOPS 32214 HAS SOUS 15966 HAS SOUPS 15657 WITH SCORE 15690.489
AT ITER 2178 NEW BEST:: SOT 69160 SOS 33550 HAS SOPS 32275 HAS SOUS 15957 HAS SOUPS 15648 WITH SCORE 15681.55
AT ITER 2183 NEW BEST:: SOT 69160 SOS 33934 HAS SOPS 32659 HAS SOUS 15951 HAS SOUPS 15642 WITH SCORE 15675.934
AT ITER 2187 NEW BEST:: SOT 69160 SOS 33925 HAS SOPS 32650 HAS SOUS 15951 HAS SOUPS 15642 WITH SCORE 15675.925
AT ITER 2197 NEW BEST:: SOT 69153 SOS 33895 HAS SOPS 32620 HAS SOUS 15937 HAS SOUPS 15628 WITH SCORE 15661.895
AT ITER 2207 NEW BEST:: SOT 69152 SOS 33893 HAS SOPS 32618 HAS SOUS 15935 HAS SOUPS 15626 WITH SCORE 15659.893
AT ITER 2216 NEW BEST:: SOT 69156 SOS 33868 HAS SOPS 32593 HAS SOUS 15932 HAS SOUPS 15623 WITH SCORE 15656.868
AT ITER 2218 NEW BEST:: SOT 68684 SOS 33472 HAS SOPS 32088 HAS SOUS 15854 HAS SOUPS 15500 WITH SCORE 15533.472
AT ITER 2221 NEW BEST:: SOT 68682 SOS 33517 HAS SOPS 32133 HAS SOUS 15850 HAS SOUPS 15496 WITH SCORE 15529.517
AT ITER 2229 NEW BEST:: SOT 68472 SOS 33307 HAS SOPS 31923 HAS SOUS 15807 HAS SOUPS 15435 WITH SCORE 15468.307
AT ITER 2258 NEW BEST:: SOT 68472 SOS 33304 HAS SOPS 31920 HAS SOUS 15806 HAS SOUPS 15434 WITH SCORE 15467.304
AT ITER 2261 NEW BEST:: SOT 68303 SOS 33271 HAS SOPS 31699 HAS SOUS 15738 HAS SOUPS 15340 WITH SCORE 15373.271
AT ITER 2266 NEW BEST:: SOT 68075 SOS 33092 HAS SOPS 31447 HAS SOUS 15684 HAS SOUPS 15272 WITH SCORE 15305.092
AT ITER 2271 NEW BEST:: SOT 68075 SOS 33090 HAS SOPS 31445 HAS SOUS 15684 HAS SOUPS 15272 WITH SCORE 15305.09
AT ITER 2295 NEW BEST:: SOT 68073 SOS 33092 HAS SOPS 31447 HAS SOUS 15680 HAS SOUPS 15268 WITH SCORE 15301.092
AT ITER 2317 NEW BEST:: SOT 68073 SOS 33089 HAS SOPS 31444 HAS SOUS 15677 HAS SOUPS 15265 WITH SCORE 15298.089
AT ITER 2343 NEW BEST:: SOT 67960 SOS 32979 HAS SOPS 31331 HAS SOUS 15535 HAS SOUPS 15120 WITH SCORE 15152.979
AT ITER 2352 NEW BEST:: SOT 67956 SOS 32992 HAS SOPS 31344 HAS SOUS 15527 HAS SOUPS 15112 WITH SCORE 15144.992
AT ITER 2355 NEW BEST:: SOT 67951 SOS 32947 HAS SOPS 31299 HAS SOUS 15522 HAS SOUPS 15107 WITH SCORE 15139.947
AT ITER 2366 NEW BEST:: SOT 67951 SOS 32843 HAS SOPS 31195 HAS SOUS 15522 HAS SOUPS 15107 WITH SCORE 15139.843
AT ITER 2370 NEW BEST:: SOT 67950 SOS 32836 HAS SOPS 31188 HAS SOUS 15520 HAS SOUPS 15105 WITH SCORE 15137.836
AT ITER 2376 NEW BEST:: SOT 67941 SOS 32836 HAS SOPS 31161 HAS SOUS 15493 HAS SOUPS 15069 WITH SCORE 15101.836
AT ITER 2386 NEW BEST:: SOT 67941 SOS 32776 HAS SOPS 31101 HAS SOUS 15493 HAS SOUPS 15069 WITH SCORE 15101.776
AT ITER 2396 NEW BEST:: SOT 67867 SOS 32238 HAS SOPS 30370 HAS SOUS 15387 HAS SOUPS 14940 WITH SCORE 14972.238
AT ITER 2400 NEW BEST:: SOT 67867 SOS 32230 HAS SOPS 30362 HAS SOUS 15387 HAS SOUPS 14940 WITH SCORE 14972.23
AT ITER 2402 NEW BEST:: SOT 67758 SOS 32010 HAS SOPS 30276 HAS SOUS 15308 HAS SOUPS 14849 WITH SCORE 14881.01
AT ITER 2416 NEW BEST:: SOT 67754 SOS 31981 HAS SOPS 30247 HAS SOUS 15300 HAS SOUPS 14841 WITH SCORE 14872.981
AT ITER 2417 NEW BEST:: SOT 67754 SOS 31973 HAS SOPS 30227 HAS SOUS 15297 HAS SOUPS 14838 WITH SCORE 14869.973
AT ITER 2422 NEW BEST:: SOT 67753 SOS 31974 HAS SOPS 30228 HAS SOUS 15295 HAS SOUPS 14836 WITH SCORE 14867.974
AT ITER 2434 NEW BEST:: SOT 67712 SOS 31906 HAS SOPS 30160 HAS SOUS 15250 HAS SOUPS 14791 WITH SCORE 14822.906
AT ITER 2474 NEW BEST:: SOT 67710 SOS 31904 HAS SOPS 30158 HAS SOUS 15244 HAS SOUPS 14785 WITH SCORE 14816.904
AT ITER 2480 NEW BEST:: SOT 67735 SOS 31929 HAS SOPS 30183 HAS SOUS 15239 HAS SOUPS 14780 WITH SCORE 14811.929
AT ITER 2496 NEW BEST:: SOT 67720 SOS 31911 HAS SOPS 30159 HAS SOUS 15231 HAS SOUPS 14768 WITH SCORE 14799.911
AT ITER 2503 NEW BEST:: SOT 67694 SOS 31851 HAS SOPS 30136 HAS SOUS 15208 HAS SOUPS 14745 WITH SCORE 14776.851
AT ITER 2517 NEW BEST:: SOT 67694 SOS 31849 HAS SOPS 30134 HAS SOUS 15207 HAS SOUPS 14744 WITH SCORE 14775.849
AT ITER 2534 NEW BEST:: SOT 67679 SOS 31819 HAS SOPS 30104 HAS SOUS 15192 HAS SOUPS 14729 WITH SCORE 14760.819
AT ITER 2537 NEW BEST:: SOT 67679 SOS 31801 HAS SOPS 30086 HAS SOUS 15192 HAS SOUPS 14729 WITH SCORE 14760.801
AT ITER 2575 NEW BEST:: SOT 67669 SOS 31791 HAS SOPS 30074 HAS SOUS 15190 HAS SOUPS 14725 WITH SCORE 14756.791
AT ITER 2586 NEW BEST:: SOT 67587 SOS 31700 HAS SOPS 29910 HAS SOUS 15171 HAS SOUPS 14703 WITH SCORE 14734.7
AT ITER 2602 NEW BEST:: SOT 67545 SOS 31657 HAS SOPS 29848 HAS SOUS 15163 HAS SOUPS 14679 WITH SCORE 14710.657
AT ITER 2608 NEW BEST:: SOT 67549 SOS 31661 HAS SOPS 29848 HAS SOUS 15155 HAS SOUPS 14671 WITH SCORE 14702.661
AT ITER 2618 NEW BEST:: SOT 67571 SOS 31758 HAS SOPS 29850 HAS SOUS 15101 HAS SOUPS 14617 WITH SCORE 14648.758
AT ITER 2625 NEW BEST:: SOT 67563 SOS 31750 HAS SOPS 29841 HAS SOUS 15102 HAS SOUPS 14616 WITH SCORE 14647.75
AT ITER 2631 NEW BEST:: SOT 67569 SOS 31767 HAS SOPS 29858 HAS SOUS 15094 HAS SOUPS 14608 WITH SCORE 14639.767
AT ITER 2678 NEW BEST:: SOT 67575 SOS 31788 HAS SOPS 29854 HAS SOUS 15085 HAS SOUPS 14599 WITH SCORE 14630.788
AT ITER 2679 NEW BEST:: SOT 67611 SOS 31824 HAS SOPS 29891 HAS SOUS 15076 HAS SOUPS 14596 WITH SCORE 14627.824
AT ITER 2683 NEW BEST:: SOT 67599 SOS 31810 HAS SOPS 29875 HAS SOUS 15068 HAS SOUPS 14588 WITH SCORE 14619.81
AT ITER 2723 NEW BEST:: SOT 67599 SOS 31804 HAS SOPS 29869 HAS SOUS 15068 HAS SOUPS 14588 WITH SCORE 14619.804
AT ITER 2725 NEW BEST:: SOT 67544 SOS 31756 HAS SOPS 29814 HAS SOUS 15028 HAS SOUPS 14544 WITH SCORE 14575.756
AT ITER 2731 NEW BEST:: SOT 67543 SOS 31761 HAS SOPS 29819 HAS SOUS 15026 HAS SOUPS 14542 WITH SCORE 14573.761
AT ITER 2776 NEW BEST:: SOT 67548 SOS 31753 HAS SOPS 29811 HAS SOUS 15018 HAS SOUPS 14534 WITH SCORE 14565.753
AT ITER 2798 NEW BEST:: SOT 67542 SOS 31741 HAS SOPS 29799 HAS SOUS 15006 HAS SOUPS 14522 WITH SCORE 14553.741
AT ITER 2808 NEW BEST:: SOT 67540 SOS 31741 HAS SOPS 29799 HAS SOUS 15002 HAS SOUPS 14518 WITH SCORE 14549.741
AT ITER 2828 NEW BEST:: SOT 67511 SOS 31678 HAS SOPS 29801 HAS SOUS 14976 HAS SOUPS 14495 WITH SCORE 14526.678
AT ITER 2894 NEW BEST:: SOT 67508 SOS 31676 HAS SOPS 29799 HAS SOUS 14974 HAS SOUPS 14493 WITH SCORE 14524.676
AT ITER 2896 NEW BEST:: SOT 67504 SOS 31668 HAS SOPS 29791 HAS SOUS 14970 HAS SOUPS 14489 WITH SCORE 14520.668
AT ITER 2903 NEW BEST:: SOT 67491 SOS 31655 HAS SOPS 29777 HAS SOUS 14957 HAS SOUPS 14475 WITH SCORE 14506.655
AT ITER 2918 NEW BEST:: SOT 67459 SOS 31656 HAS SOPS 29745 HAS SOUS 14958 HAS SOUPS 14471 WITH SCORE 14502.656
AT ITER 2919 NEW BEST:: SOT 67467 SOS 31712 HAS SOPS 29801 HAS SOUS 14955 HAS SOUPS 14468 WITH SCORE 14499.712
AT ITER 2927 NEW BEST:: SOT 67451 SOS 31698 HAS SOPS 29787 HAS SOUS 14947 HAS SOUPS 14460 WITH SCORE 14491.698
AT ITER 2932 NEW BEST:: SOT 67451 SOS 31679 HAS SOPS 29768 HAS SOUS 14946 HAS SOUPS 14459 WITH SCORE 14490.679
AT ITER 2938 NEW BEST:: SOT 67456 SOS 31649 HAS SOPS 29738 HAS SOUS 14946 HAS SOUPS 14459 WITH SCORE 14490.649
AT ITER 2980 NEW BEST:: SOT 67227 SOS 31538 HAS SOPS 29515 HAS SOUS 14915 HAS SOUPS 14380 WITH SCORE 14411.538
AT ITER 3023 NEW BEST:: SOT 67208 SOS 31517 HAS SOPS 29433 HAS SOUS 14886 HAS SOUPS 14298 WITH SCORE 14329.517
AT ITER 3031 NEW BEST:: SOT 67178 SOS 31487 HAS SOPS 29403 HAS SOUS 14884 HAS SOUPS 14296 WITH SCORE 14327.487
AT ITER 3044 NEW BEST:: SOT 67202 SOS 31506 HAS SOPS 29422 HAS SOUS 14879 HAS SOUPS 14291 WITH SCORE 14322.506
AT ITER 3056 NEW BEST:: SOT 67171 SOS 31396 HAS SOPS 29312 HAS SOUS 14855 HAS SOUPS 14267 WITH SCORE 14298.396
AT ITER 3070 NEW BEST:: SOT 67168 SOS 31444 HAS SOPS 29360 HAS SOUS 14849 HAS SOUPS 14261 WITH SCORE 14292.444
AT ITER 3111 NEW BEST:: SOT 67185 SOS 31441 HAS SOPS 29225 HAS SOUS 14861 HAS SOUPS 14260 WITH SCORE 14291.441
AT ITER 3148 NEW BEST:: SOT 67180 SOS 31455 HAS SOPS 29239 HAS SOUS 14851 HAS SOUPS 14250 WITH SCORE 14281.455
AT ITER 3178 NEW BEST:: SOT 67179 SOS 31453 HAS SOPS 29237 HAS SOUS 14849 HAS SOUPS 14248 WITH SCORE 14279.453
AT ITER 3201 NEW BEST:: SOT 67177 SOS 31449 HAS SOPS 29233 HAS SOUS 14849 HAS SOUPS 14248 WITH SCORE 14279.449
AT ITER 3244 NEW BEST:: SOT 67174 SOS 31446 HAS SOPS 29230 HAS SOUS 14846 HAS SOUPS 14245 WITH SCORE 14276.446
AT ITER 3254 NEW BEST:: SOT 67174 SOS 31270 HAS SOPS 29054 HAS SOUS 14846 HAS SOUPS 14245 WITH SCORE 14276.27
AT ITER 3281 NEW BEST:: SOT 67237 SOS 31264 HAS SOPS 29144 HAS SOUS 14741 HAS SOUPS 14152 WITH SCORE 14183.264
AT ITER 3305 NEW BEST:: SOT 67237 SOS 31381 HAS SOPS 29261 HAS SOUS 14738 HAS SOUPS 14149 WITH SCORE 14180.381
AT ITER 3308 NEW BEST:: SOT 67235 SOS 31393 HAS SOPS 29273 HAS SOUS 14736 HAS SOUPS 14147 WITH SCORE 14178.393
AT ITER 3315 NEW BEST:: SOT 67124 SOS 31161 HAS SOPS 29041 HAS SOUS 14702 HAS SOUPS 14113 WITH SCORE 14144.161
AT ITER 3347 NEW BEST:: SOT 67108 SOS 31149 HAS SOPS 29018 HAS SOUS 14696 HAS SOUPS 14107 WITH SCORE 14138.149
AT ITER 3370 NEW BEST:: SOT 67104 SOS 31139 HAS SOPS 29008 HAS SOUS 14692 HAS SOUPS 14103 WITH SCORE 14134.139
AT ITER 3405 NEW BEST:: SOT 67103 SOS 31141 HAS SOPS 29010 HAS SOUS 14690 HAS SOUPS 14101 WITH SCORE 14132.141
AT ITER 3435 NEW BEST:: SOT 67099 SOS 31173 HAS SOPS 29042 HAS SOUS 14686 HAS SOUPS 14097 WITH SCORE 14128.173
AT ITER 3505 NEW BEST:: SOT 67099 SOS 31170 HAS SOPS 29039 HAS SOUS 14683 HAS SOUPS 14094 WITH SCORE 14125.17
AT ITER 3511 NEW BEST:: SOT 67099 SOS 31164 HAS SOPS 29033 HAS SOUS 14683 HAS SOUPS 14094 WITH SCORE 14125.164
AT ITER 3529 NEW BEST:: SOT 67108 SOS 31173 HAS SOPS 29056 HAS SOUS 14656 HAS SOUPS 14081 WITH SCORE 14112.173
AT ITER 3531 NEW BEST:: SOT 67093 SOS 31158 HAS SOPS 29041 HAS SOUS 14645 HAS SOUPS 14070 WITH SCORE 14101.158
AT ITER 3545 NEW BEST:: SOT 67164 SOS 31195 HAS SOPS 29096 HAS SOUS 14620 HAS SOUPS 14054 WITH SCORE 14085.195
AT ITER 3574 NEW BEST:: SOT 66975 SOS 30955 HAS SOPS 28836 HAS SOUS 14640 HAS SOUPS 14054 WITH SCORE 14084.955
AT ITER 3578 NEW BEST:: SOT 66975 SOS 30944 HAS SOPS 28825 HAS SOUS 14640 HAS SOUPS 14054 WITH SCORE 14084.944
AT ITER 3581 NEW BEST:: SOT 66943 SOS 30899 HAS SOPS 28761 HAS SOUS 14634 HAS SOUPS 14048 WITH SCORE 14078.899
AT ITER 3596 NEW BEST:: SOT 66941 SOS 30946 HAS SOPS 28808 HAS SOUS 14630 HAS SOUPS 14044 WITH SCORE 14074.946
AT ITER 3600 NEW BEST:: SOT 66932 SOS 30955 HAS SOPS 28817 HAS SOUS 14621 HAS SOUPS 14035 WITH SCORE 14065.955
AT ITER 3617 NEW BEST:: SOT 66931 SOS 30954 HAS SOPS 28816 HAS SOUS 14621 HAS SOUPS 14035 WITH SCORE 14065.954
AT ITER 3717 NEW BEST:: SOT 66951 SOS 30974 HAS SOPS 28515 HAS SOUS 14641 HAS SOUPS 13959 WITH SCORE 13989.974
AT ITER 3724 NEW BEST:: SOT 66948 SOS 30971 HAS SOPS 28512 HAS SOUS 14638 HAS SOUPS 13956 WITH SCORE 13986.971
AT ITER 3753 NEW BEST:: SOT 66934 SOS 30931 HAS SOPS 28503 HAS SOUS 14608 HAS SOUPS 13933 WITH SCORE 13963.931
AT ITER 3816 NEW BEST:: SOT 66933 SOS 30925 HAS SOPS 28497 HAS SOUS 14606 HAS SOUPS 13931 WITH SCORE 13961.925
AT ITER 3821 NEW BEST:: SOT 66760 SOS 30870 HAS SOPS 28324 HAS SOUS 14607 HAS SOUPS 13915 WITH SCORE 13945.87
AT ITER 3832 NEW BEST:: SOT 66603 SOS 30733 HAS SOPS 28173 HAS SOUS 14519 HAS SOUPS 13807 WITH SCORE 13837.733
AT ITER 3867 NEW BEST:: SOT 66482 SOS 30663 HAS SOPS 28066 HAS SOUS 14520 HAS SOUPS 13793 WITH SCORE 13823.663
AT ITER 3880 NEW BEST:: SOT 66480 SOS 30659 HAS SOPS 28062 HAS SOUS 14516 HAS SOUPS 13789 WITH SCORE 13819.659
AT ITER 3888 NEW BEST:: SOT 66478 SOS 30663 HAS SOPS 28066 HAS SOUS 14513 HAS SOUPS 13786 WITH SCORE 13816.663
AT ITER 3904 NEW BEST:: SOT 66478 SOS 30671 HAS SOPS 28074 HAS SOUS 14512 HAS SOUPS 13785 WITH SCORE 13815.671
AT ITER 3961 NEW BEST:: SOT 66470 SOS 30660 HAS SOPS 28054 HAS SOUS 14504 HAS SOUPS 13777 WITH SCORE 13807.66
AT ITER 3964 NEW BEST:: SOT 66470 SOS 30666 HAS SOPS 28060 HAS SOUS 14501 HAS SOUPS 13774 WITH SCORE 13804.666
AT ITER 4035 NEW BEST:: SOT 66467 SOS 30663 HAS SOPS 28057 HAS SOUS 14492 HAS SOUPS 13765 WITH SCORE 13795.663
AT ITER 4081 NEW BEST:: SOT 66452 SOS 30634 HAS SOPS 28028 HAS SOUS 14491 HAS SOUPS 13764 WITH SCORE 13794.634
AT ITER 4142 NEW BEST:: SOT 66448 SOS 30720 HAS SOPS 28114 HAS SOUS 14468 HAS SOUPS 13741 WITH SCORE 13771.72
AT ITER 4154 NEW BEST:: SOT 66448 SOS 30740 HAS SOPS 28134 HAS SOUS 14463 HAS SOUPS 13736 WITH SCORE 13766.74
AT ITER 4188 NEW BEST:: SOT 66404 SOS 30660 HAS SOPS 28054 HAS SOUS 14401 HAS SOUPS 13674 WITH SCORE 13704.66
AT ITER 4274 NEW BEST:: SOT 66396 SOS 30650 HAS SOPS 28038 HAS SOUS 14389 HAS SOUPS 13662 WITH SCORE 13692.65
AT ITER 4295 NEW BEST:: SOT 66376 SOS 30620 HAS SOPS 28008 HAS SOUS 14379 HAS SOUPS 13652 WITH SCORE 13682.62
AT ITER 4311 NEW BEST:: SOT 66376 SOS 30618 HAS SOPS 28006 HAS SOUS 14379 HAS SOUPS 13652 WITH SCORE 13682.618
AT ITER 4324 NEW BEST:: SOT 66354 SOS 30596 HAS SOPS 27984 HAS SOUS 14379 HAS SOUPS 13652 WITH SCORE 13682.596
AT ITER 4377 NEW BEST:: SOT 66417 SOS 30634 HAS SOPS 27685 HAS SOUS 14364 HAS SOUPS 13618 WITH SCORE 13648.634
AT ITER 4541 NEW BEST:: SOT 66416 SOS 30647 HAS SOPS 27680 HAS SOUS 14348 HAS SOUPS 13602 WITH SCORE 13632.647
AT ITER 4562 NEW BEST:: SOT 66415 SOS 30631 HAS SOPS 27664 HAS SOUS 14348 HAS SOUPS 13602 WITH SCORE 13632.631
AT ITER 4601 NEW BEST:: SOT 66414 SOS 30629 HAS SOPS 27662 HAS SOUS 14346 HAS SOUPS 13600 WITH SCORE 13630.629
AT ITER 4614 NEW BEST:: SOT 66400 SOS 30601 HAS SOPS 27634 HAS SOUS 14339 HAS SOUPS 13593 WITH SCORE 13623.601
AT ITER 4621 NEW BEST:: SOT 66393 SOS 30552 HAS SOPS 27585 HAS SOUS 14332 HAS SOUPS 13586 WITH SCORE 13616.552
AT ITER 4636 NEW BEST:: SOT 66357 SOS 30516 HAS SOPS 27549 HAS SOUS 14296 HAS SOUPS 13550 WITH SCORE 13580.516
AT ITER 4727 NEW BEST:: SOT 66357 SOS 30504 HAS SOPS 27537 HAS SOUS 14296 HAS SOUPS 13550 WITH SCORE 13580.504
AT ITER 4743 NEW BEST:: SOT 66353 SOS 30486 HAS SOPS 27519 HAS SOUS 14288 HAS SOUPS 13542 WITH SCORE 13572.486
AT ITER 4791 NEW BEST:: SOT 66380 SOS 30515 HAS SOPS 27592 HAS SOUS 14226 HAS SOUPS 13523 WITH SCORE 13553.515
AT ITER 4792 NEW BEST:: SOT 66380 SOS 30495 HAS SOPS 27572 HAS SOUS 14226 HAS SOUPS 13523 WITH SCORE 13553.495
AT ITER 4817 NEW BEST:: SOT 66380 SOS 30501 HAS SOPS 27583 HAS SOUS 14221 HAS SOUPS 13518 WITH SCORE 13548.501
AT ITER 4919 NEW BEST:: SOT 66351 SOS 30488 HAS SOPS 27555 HAS SOUS 14206 HAS SOUPS 13498 WITH SCORE 13528.488
AT ITER 4936 NEW BEST:: SOT 66354 SOS 30458 HAS SOPS 27525 HAS SOUS 14203 HAS SOUPS 13495 WITH SCORE 13525.458
AT ITER 4998 NEW BEST:: SOT 66341 SOS 30447 HAS SOPS 27510 HAS SOUS 14188 HAS SOUPS 13478 WITH SCORE 13508.447
AT ITER 5016 NEW BEST:: SOT 66341 SOS 30446 HAS SOPS 27509 HAS SOUS 14187 HAS SOUPS 13477 WITH SCORE 13507.446
AT ITER 5026 NEW BEST:: SOT 66337 SOS 30442 HAS SOPS 27505 HAS SOUS 14183 HAS SOUPS 13473 WITH SCORE 13503.442
AT ITER 5036 NEW BEST:: SOT 66337 SOS 30441 HAS SOPS 27504 HAS SOUS 14182 HAS SOUPS 13472 WITH SCORE 13502.441
AT ITER 5049 NEW BEST:: SOT 66335 SOS 30439 HAS SOPS 27502 HAS SOUS 14178 HAS SOUPS 13468 WITH SCORE 13498.439
AT ITER 5075 NEW BEST:: SOT 66334 SOS 30438 HAS SOPS 27501 HAS SOUS 14178 HAS SOUPS 13468 WITH SCORE 13498.438
AT ITER 5102 NEW BEST:: SOT 66330 SOS 30450 HAS SOPS 27513 HAS SOUS 14174 HAS SOUPS 13464 WITH SCORE 13494.45
AT ITER 5103 NEW BEST:: SOT 66329 SOS 30466 HAS SOPS 27529 HAS SOUS 14172 HAS SOUPS 13462 WITH SCORE 13492.466
AT ITER 5120 NEW BEST:: SOT 66328 SOS 30448 HAS SOPS 27511 HAS SOUS 14172 HAS SOUPS 13462 WITH SCORE 13492.448
AT ITER 5131 NEW BEST:: SOT 66322 SOS 30450 HAS SOPS 27513 HAS SOUS 14160 HAS SOUPS 13450 WITH SCORE 13480.45
AT ITER 5138 NEW BEST:: SOT 66320 SOS 30447 HAS SOPS 27510 HAS SOUS 14157 HAS SOUPS 13447 WITH SCORE 13477.447
AT ITER 5170 NEW BEST:: SOT 66318 SOS 30443 HAS SOPS 27506 HAS SOUS 14153 HAS SOUPS 13443 WITH SCORE 13473.443
AT ITER 5175 NEW BEST:: SOT 66217 SOS 30473 HAS SOPS 27381 HAS SOUS 14034 HAS SOUPS 13318 WITH SCORE 13348.473
AT ITER 5224 NEW BEST:: SOT 66205 SOS 30458 HAS SOPS 27369 HAS SOUS 14031 HAS SOUPS 13312 WITH SCORE 13342.458
AT ITER 5225 NEW BEST:: SOT 66205 SOS 30448 HAS SOPS 27359 HAS SOUS 14029 HAS SOUPS 13310 WITH SCORE 13340.448
AT ITER 5231 NEW BEST:: SOT 66208 SOS 30454 HAS SOPS 27365 HAS SOUS 14023 HAS SOUPS 13304 WITH SCORE 13334.454
AT ITER 5271 NEW BEST:: SOT 66208 SOS 30419 HAS SOPS 27330 HAS SOUS 14023 HAS SOUPS 13304 WITH SCORE 13334.419
AT ITER 5327 NEW BEST:: SOT 66079 SOS 30495 HAS SOPS 27199 HAS SOUS 13929 HAS SOUPS 13201 WITH SCORE 13231.495
AT ITER 5359 NEW BEST:: SOT 66076 SOS 30486 HAS SOPS 27190 HAS SOUS 13926 HAS SOUPS 13198 WITH SCORE 13228.486
AT ITER 5362 NEW BEST:: SOT 66040 SOS 30421 HAS SOPS 27125 HAS SOUS 13861 HAS SOUPS 13133 WITH SCORE 13163.421
AT ITER 5430 NEW BEST:: SOT 66040 SOS 30413 HAS SOPS 27117 HAS SOUS 13861 HAS SOUPS 13133 WITH SCORE 13163.413
AT ITER 5495 NEW BEST:: SOT 66094 SOS 30390 HAS SOPS 27182 HAS SOUS 13849 HAS SOUPS 13132 WITH SCORE 13162.39
AT ITER 5521 NEW BEST:: SOT 66092 SOS 30388 HAS SOPS 27180 HAS SOUS 13847 HAS SOUPS 13130 WITH SCORE 13160.388
AT ITER 5563 NEW BEST:: SOT 66102 SOS 30398 HAS SOPS 27190 HAS SOUS 13846 HAS SOUPS 13129 WITH SCORE 13159.398
AT ITER 5572 NEW BEST:: SOT 66105 SOS 30401 HAS SOPS 27193 HAS SOUS 13844 HAS SOUPS 13127 WITH SCORE 13157.401
AT ITER 5594 NEW BEST:: SOT 66082 SOS 30377 HAS SOPS 27169 HAS SOUS 13822 HAS SOUPS 13105 WITH SCORE 13135.377
AT ITER 5620 NEW BEST:: SOT 66081 SOS 30377 HAS SOPS 27169 HAS SOUS 13820 HAS SOUPS 13103 WITH SCORE 13133.377
AT ITER 5663 NEW BEST:: SOT 66079 SOS 30429 HAS SOPS 27221 HAS SOUS 13816 HAS SOUPS 13099 WITH SCORE 13129.429
AT ITER 5665 NEW BEST:: SOT 65939 SOS 30294 HAS SOPS 27081 HAS SOUS 13666 HAS SOUPS 12939 WITH SCORE 12969.294
AT ITER 5745 NEW BEST:: SOT 65943 SOS 30298 HAS SOPS 27069 HAS SOUS 13660 HAS SOUPS 12933 WITH SCORE 12963.298
AT ITER 5789 NEW BEST:: SOT 65942 SOS 30350 HAS SOPS 27121 HAS SOUS 13658 HAS SOUPS 12931 WITH SCORE 12961.35
AT ITER 5803 NEW BEST:: SOT 65937 SOS 30328 HAS SOPS 27099 HAS SOUS 13654 HAS SOUPS 12927 WITH SCORE 12957.328
AT ITER 5847 NEW BEST:: SOT 65936 SOS 30326 HAS SOPS 27097 HAS SOUS 13652 HAS SOUPS 12925 WITH SCORE 12955.326
AT ITER 5889 NEW BEST:: SOT 65913 SOS 30334 HAS SOPS 27088 HAS SOUS 13606 HAS SOUPS 12879 WITH SCORE 12909.334
AT ITER 5921 NEW BEST:: SOT 65913 SOS 30222 HAS SOPS 26976 HAS SOUS 13606 HAS SOUPS 12879 WITH SCORE 12909.222
AT ITER 5933 NEW BEST:: SOT 65913 SOS 30219 HAS SOPS 26973 HAS SOUS 13606 HAS SOUPS 12879 WITH SCORE 12909.219
AT ITER 6019 NEW BEST:: SOT 65897 SOS 30179 HAS SOPS 26957 HAS SOUS 13559 HAS SOUPS 12832 WITH SCORE 12862.179
AT ITER 6052 NEW BEST:: SOT 65432 SOS 29731 HAS SOPS 26462 HAS SOUS 13485 HAS SOUPS 12698 WITH SCORE 12727.731
AT ITER 6061 NEW BEST:: SOT 65421 SOS 29626 HAS SOPS 26357 HAS SOUS 13485 HAS SOUPS 12698 WITH SCORE 12727.626
AT ITER 6084 NEW BEST:: SOT 65421 SOS 29590 HAS SOPS 26321 HAS SOUS 13485 HAS SOUPS 12698 WITH SCORE 12727.59
AT ITER 6129 NEW BEST:: SOT 65421 SOS 29524 HAS SOPS 26255 HAS SOUS 13485 HAS SOUPS 12698 WITH SCORE 12727.524
AT ITER 6233 NEW BEST:: SOT 65427 SOS 29530 HAS SOPS 26249 HAS SOUS 13482 HAS SOUPS 12695 WITH SCORE 12724.53
AT ITER 6237 NEW BEST:: SOT 65424 SOS 29500 HAS SOPS 26219 HAS SOUS 13482 HAS SOUPS 12695 WITH SCORE 12724.5
AT ITER 6277 NEW BEST:: SOT 65412 SOS 29590 HAS SOPS 26309 HAS SOUS 13477 HAS SOUPS 12690 WITH SCORE 12719.59
AT ITER 6280 NEW BEST:: SOT 65425 SOS 29603 HAS SOPS 26322 HAS SOUS 13470 HAS SOUPS 12683 WITH SCORE 12712.603
AT ITER 6289 NEW BEST:: SOT 65275 SOS 29463 HAS SOPS 26132 HAS SOUS 13451 HAS SOUPS 12624 WITH SCORE 12653.463
AT ITER 6323 NEW BEST:: SOT 65247 SOS 29435 HAS SOPS 26104 HAS SOUS 13447 HAS SOUPS 12620 WITH SCORE 12649.435
AT ITER 6326 NEW BEST:: SOT 65247 SOS 29339 HAS SOPS 26008 HAS SOUS 13447 HAS SOUPS 12620 WITH SCORE 12649.339
AT ITER 6370 NEW BEST:: SOT 65248 SOS 29369 HAS SOPS 26038 HAS SOUS 13445 HAS SOUPS 12618 WITH SCORE 12647.369
AT ITER 6432 NEW BEST:: SOT 65204 SOS 29308 HAS SOPS 25977 HAS SOUS 13393 HAS SOUPS 12566 WITH SCORE 12595.308
AT ITER 6463 NEW BEST:: SOT 64715 SOS 29052 HAS SOPS 25435 HAS SOUS 13300 HAS SOUPS 12390 WITH SCORE 12419.052
AT ITER 6472 NEW BEST:: SOT 64722 SOS 29059 HAS SOPS 25442 HAS SOUS 13283 HAS SOUPS 12373 WITH SCORE 12402.059
AT ITER 6490 NEW BEST:: SOT 64721 SOS 29052 HAS SOPS 25435 HAS SOUS 13282 HAS SOUPS 12372 WITH SCORE 12401.052
AT ITER 6524 NEW BEST:: SOT 64720 SOS 28978 HAS SOPS 25361 HAS SOUS 13280 HAS SOUPS 12370 WITH SCORE 12398.978
AT ITER 6553 NEW BEST:: SOT 64720 SOS 28975 HAS SOPS 25358 HAS SOUS 13280 HAS SOUPS 12370 WITH SCORE 12398.975
AT ITER 6596 NEW BEST:: SOT 64711 SOS 28966 HAS SOPS 25340 HAS SOUS 13259 HAS SOUPS 12352 WITH SCORE 12380.966
AT ITER 6604 NEW BEST:: SOT 64746 SOS 29031 HAS SOPS 25405 HAS SOUS 13257 HAS SOUPS 12350 WITH SCORE 12379.031
AT ITER 6647 NEW BEST:: SOT 64753 SOS 28848 HAS SOPS 25412 HAS SOUS 13036 HAS SOUPS 12159 WITH SCORE 12187.848
AT ITER 6664 NEW BEST:: SOT 64753 SOS 28878 HAS SOPS 25442 HAS SOUS 13030 HAS SOUPS 12153 WITH SCORE 12181.878
AT ITER 6670 NEW BEST:: SOT 64753 SOS 28878 HAS SOPS 25442 HAS SOUS 13029 HAS SOUPS 12152 WITH SCORE 12180.878
AT ITER 6727 NEW BEST:: SOT 64749 SOS 28870 HAS SOPS 25434 HAS SOUS 13021 HAS SOUPS 12144 WITH SCORE 12172.87
AT ITER 6830 NEW BEST:: SOT 64746 SOS 28846 HAS SOPS 25410 HAS SOUS 13018 HAS SOUPS 12141 WITH SCORE 12169.846
AT ITER 6877 NEW BEST:: SOT 64743 SOS 28828 HAS SOPS 25392 HAS SOUS 13015 HAS SOUPS 12138 WITH SCORE 12166.828
AT ITER 6917 NEW BEST:: SOT 64444 SOS 28699 HAS SOPS 25029 HAS SOUS 12945 HAS SOUPS 12017 WITH SCORE 12045.699
AT ITER 6981 NEW BEST:: SOT 64444 SOS 28695 HAS SOPS 25025 HAS SOUS 12945 HAS SOUPS 12017 WITH SCORE 12045.695
AT ITER 7044 NEW BEST:: SOT 64443 SOS 28693 HAS SOPS 25023 HAS SOUS 12943 HAS SOUPS 12015 WITH SCORE 12043.693
AT ITER 7122 NEW BEST:: SOT 64443 SOS 28669 HAS SOPS 24999 HAS SOUS 12943 HAS SOUPS 12015 WITH SCORE 12043.669
AT ITER 7184 NEW BEST:: SOT 64436 SOS 28600 HAS SOPS 24930 HAS SOUS 12940 HAS SOUPS 12012 WITH SCORE 12040.6
AT ITER 7238 NEW BEST:: SOT 64477 SOS 28627 HAS SOPS 24978 HAS SOUS 12897 HAS SOUPS 11990 WITH SCORE 12018.627
AT ITER 7274 NEW BEST:: SOT 64465 SOS 28615 HAS SOPS 24950 HAS SOUS 12885 HAS SOUPS 11978 WITH SCORE 12006.615
AT ITER 7277 NEW BEST:: SOT 64465 SOS 28589 HAS SOPS 24924 HAS SOUS 12885 HAS SOUPS 11978 WITH SCORE 12006.589
AT ITER 7285 NEW BEST:: SOT 64465 SOS 28517 HAS SOPS 24852 HAS SOUS 12885 HAS SOUPS 11978 WITH SCORE 12006.517
AT ITER 7321 NEW BEST:: SOT 64436 SOS 28614 HAS SOPS 24949 HAS SOUS 12858 HAS SOUPS 11951 WITH SCORE 11979.614
AT ITER 7330 NEW BEST:: SOT 64436 SOS 28610 HAS SOPS 24945 HAS SOUS 12858 HAS SOUPS 11951 WITH SCORE 11979.61
AT ITER 7346 NEW BEST:: SOT 64436 SOS 28608 HAS SOPS 24943 HAS SOUS 12858 HAS SOUPS 11951 WITH SCORE 11979.608
AT ITER 7359 NEW BEST:: SOT 64433 SOS 28602 HAS SOPS 24937 HAS SOUS 12855 HAS SOUPS 11948 WITH SCORE 11976.602
AT ITER 7370 NEW BEST:: SOT 64434 SOS 28588 HAS SOPS 24923 HAS SOUS 12853 HAS SOUPS 11946 WITH SCORE 11974.588
AT ITER 7423 NEW BEST:: SOT 64436 SOS 28605 HAS SOPS 24940 HAS SOUS 12844 HAS SOUPS 11937 WITH SCORE 11965.605
AT ITER 7488 NEW BEST:: SOT 64433 SOS 28566 HAS SOPS 24901 HAS SOUS 12838 HAS SOUPS 11931 WITH SCORE 11959.566
AT ITER 7523 NEW BEST:: SOT 64460 SOS 28593 HAS SOPS 24895 HAS SOUS 12832 HAS SOUPS 11925 WITH SCORE 11953.593
AT ITER 7537 NEW BEST:: SOT 64480 SOS 28566 HAS SOPS 24915 HAS SOUS 12801 HAS SOUPS 11898 WITH SCORE 11926.566
AT ITER 7540 NEW BEST:: SOT 64326 SOS 28472 HAS SOPS 24769 HAS SOUS 12722 HAS SOUPS 11804 WITH SCORE 11832.472
AT ITER 7578 NEW BEST:: SOT 64324 SOS 28485 HAS SOPS 24782 HAS SOUS 12718 HAS SOUPS 11800 WITH SCORE 11828.485
AT ITER 7590 NEW BEST:: SOT 64324 SOS 28484 HAS SOPS 24781 HAS SOUS 12718 HAS SOUPS 11800 WITH SCORE 11828.484
AT ITER 7599 NEW BEST:: SOT 64324 SOS 28480 HAS SOPS 24777 HAS SOUS 12716 HAS SOUPS 11798 WITH SCORE 11826.48
AT ITER 7602 NEW BEST:: SOT 64324 SOS 28440 HAS SOPS 24737 HAS SOUS 12708 HAS SOUPS 11790 WITH SCORE 11818.44
AT ITER 7610 NEW BEST:: SOT 64317 SOS 28433 HAS SOPS 24730 HAS SOUS 12701 HAS SOUPS 11783 WITH SCORE 11811.433
AT ITER 7612 NEW BEST:: SOT 64323 SOS 28442 HAS SOPS 24739 HAS SOUS 12696 HAS SOUPS 11778 WITH SCORE 11806.442
AT ITER 7642 NEW BEST:: SOT 64323 SOS 28420 HAS SOPS 24717 HAS SOUS 12696 HAS SOUPS 11778 WITH SCORE 11806.42
AT ITER 7699 NEW BEST:: SOT 64321 SOS 28404 HAS SOPS 24701 HAS SOUS 12692 HAS SOUPS 11774 WITH SCORE 11802.404
AT ITER 7708 NEW BEST:: SOT 64322 SOS 28400 HAS SOPS 24697 HAS SOUS 12692 HAS SOUPS 11774 WITH SCORE 11802.4
AT ITER 7712 NEW BEST:: SOT 64321 SOS 28402 HAS SOPS 24699 HAS SOUS 12683 HAS SOUPS 11765 WITH SCORE 11793.402
AT ITER 7814 NEW BEST:: SOT 64320 SOS 28408 HAS SOPS 24705 HAS SOUS 12681 HAS SOUPS 11763 WITH SCORE 11791.408
AT ITER 7874 NEW BEST:: SOT 64286 SOS 28400 HAS SOPS 24673 HAS SOUS 12670 HAS SOUPS 11749 WITH SCORE 11777.4
AT ITER 7888 NEW BEST:: SOT 64282 SOS 28406 HAS SOPS 24679 HAS SOUS 12669 HAS SOUPS 11748 WITH SCORE 11776.406
AT ITER 8002 NEW BEST:: SOT 64281 SOS 28396 HAS SOPS 24669 HAS SOUS 12669 HAS SOUPS 11748 WITH SCORE 11776.396
AT ITER 8125 NEW BEST:: SOT 64300 SOS 28401 HAS SOPS 24647 HAS SOUS 12674 HAS SOUPS 11740 WITH SCORE 11768.401
AT ITER 8137 NEW BEST:: SOT 64300 SOS 28399 HAS SOPS 24645 HAS SOUS 12674 HAS SOUPS 11740 WITH SCORE 11768.399
AT ITER 8256 NEW BEST:: SOT 64326 SOS 28381 HAS SOPS 24528 HAS SOUS 12659 HAS SOUPS 11725 WITH SCORE 11753.381
AT ITER 8328 NEW BEST:: SOT 64276 SOS 28378 HAS SOPS 24476 HAS SOUS 12660 HAS SOUPS 11715 WITH SCORE 11743.378
AT ITER 8373 NEW BEST:: SOT 64265 SOS 28382 HAS SOPS 24463 HAS SOUS 12660 HAS SOUPS 11713 WITH SCORE 11741.382
AT ITER 8385 NEW BEST:: SOT 64263 SOS 28380 HAS SOPS 24459 HAS SOUS 12658 HAS SOUPS 11709 WITH SCORE 11737.38
AT ITER 8441 NEW BEST:: SOT 64262 SOS 28379 HAS SOPS 24458 HAS SOUS 12658 HAS SOUPS 11709 WITH SCORE 11737.379
AT ITER 8450 NEW BEST:: SOT 64195 SOS 28333 HAS SOPS 24391 HAS SOUS 12651 HAS SOUPS 11688 WITH SCORE 11716.333
AT ITER 8452 NEW BEST:: SOT 64087 SOS 28418 HAS SOPS 24271 HAS SOUS 12681 HAS SOUPS 11683 WITH SCORE 11711.418
AT ITER 8455 NEW BEST:: SOT 64096 SOS 28429 HAS SOPS 24265 HAS SOUS 12673 HAS SOUPS 11675 WITH SCORE 11703.429
AT ITER 8527 NEW BEST:: SOT 64096 SOS 28423 HAS SOPS 24259 HAS SOUS 12673 HAS SOUPS 11675 WITH SCORE 11703.423
AT ITER 8547 NEW BEST:: SOT 64108 SOS 28459 HAS SOPS 24285 HAS SOUS 12668 HAS SOUPS 11670 WITH SCORE 11698.459
AT ITER 8556 NEW BEST:: SOT 64037 SOS 28498 HAS SOPS 24209 HAS SOUS 12592 HAS SOUPS 11589 WITH SCORE 11617.498
AT ITER 8566 NEW BEST:: SOT 64022 SOS 28548 HAS SOPS 24259 HAS SOUS 12585 HAS SOUPS 11582 WITH SCORE 11610.548
AT ITER 8630 NEW BEST:: SOT 64019 SOS 28552 HAS SOPS 24263 HAS SOUS 12584 HAS SOUPS 11581 WITH SCORE 11609.552
AT ITER 8653 NEW BEST:: SOT 64010 SOS 28543 HAS SOPS 24254 HAS SOUS 12575 HAS SOUPS 11572 WITH SCORE 11600.543
AT ITER 8686 NEW BEST:: SOT 64003 SOS 28538 HAS SOPS 24246 HAS SOUS 12566 HAS SOUPS 11561 WITH SCORE 11589.538
AT ITER 8707 NEW BEST:: SOT 63971 SOS 28218 HAS SOPS 23926 HAS SOUS 12566 HAS SOUPS 11561 WITH SCORE 11589.218
AT ITER 8722 NEW BEST:: SOT 63933 SOS 28195 HAS SOPS 23888 HAS SOUS 12570 HAS SOUPS 11555 WITH SCORE 11583.195
AT ITER 8785 NEW BEST:: SOT 63927 SOS 28203 HAS SOPS 23896 HAS SOUS 12558 HAS SOUPS 11543 WITH SCORE 11571.203
AT ITER 8786 NEW BEST:: SOT 63841 SOS 28128 HAS SOPS 23799 HAS SOUS 12515 HAS SOUPS 11478 WITH SCORE 11506.128
AT ITER 8846 NEW BEST:: SOT 63829 SOS 28092 HAS SOPS 23763 HAS SOUS 12515 HAS SOUPS 11478 WITH SCORE 11506.092
AT ITER 8876 NEW BEST:: SOT 63821 SOS 28084 HAS SOPS 23757 HAS SOUS 12509 HAS SOUPS 11472 WITH SCORE 11500.084
AT ITER 8890 NEW BEST:: SOT 63800 SOS 28063 HAS SOPS 23736 HAS SOUS 12516 HAS SOUPS 11472 WITH SCORE 11500.063
AT ITER 8943 NEW BEST:: SOT 63792 SOS 27935 HAS SOPS 23607 HAS SOUS 12500 HAS SOUPS 11456 WITH SCORE 11483.935
AT ITER 8951 NEW BEST:: SOT 63785 SOS 27922 HAS SOPS 23601 HAS SOUS 12493 HAS SOUPS 11449 WITH SCORE 11476.922
AT ITER 8975 NEW BEST:: SOT 63803 SOS 27936 HAS SOPS 23549 HAS SOUS 12447 HAS SOUPS 11398 WITH SCORE 11425.936
AT ITER 8984 NEW BEST:: SOT 63803 SOS 27968 HAS SOPS 23581 HAS SOUS 12441 HAS SOUPS 11392 WITH SCORE 11419.968
AT ITER 9021 NEW BEST:: SOT 63802 SOS 27975 HAS SOPS 23588 HAS SOUS 12439 HAS SOUPS 11390 WITH SCORE 11417.975
AT ITER 9071 NEW BEST:: SOT 63801 SOS 27973 HAS SOPS 23586 HAS SOUS 12437 HAS SOUPS 11388 WITH SCORE 11415.973
AT ITER 9086 NEW BEST:: SOT 63824 SOS 28011 HAS SOPS 23624 HAS SOUS 12431 HAS SOUPS 11382 WITH SCORE 11410.011
AT ITER 9107 NEW BEST:: SOT 63822 SOS 27983 HAS SOPS 23596 HAS SOUS 12427 HAS SOUPS 11378 WITH SCORE 11405.983
AT ITER 9142 NEW BEST:: SOT 63798 SOS 27947 HAS SOPS 23572 HAS SOUS 12424 HAS SOUPS 11375 WITH SCORE 11402.947
AT ITER 9236 NEW BEST:: SOT 63810 SOS 27959 HAS SOPS 23560 HAS SOUS 12412 HAS SOUPS 11363 WITH SCORE 11390.959
AT ITER 9259 NEW BEST:: SOT 63758 SOS 27907 HAS SOPS 23508 HAS SOUS 12396 HAS SOUPS 11347 WITH SCORE 11374.907
AT ITER 9270 NEW BEST:: SOT 63758 SOS 27901 HAS SOPS 23502 HAS SOUS 12396 HAS SOUPS 11347 WITH SCORE 11374.901
AT ITER 9282 NEW BEST:: SOT 63758 SOS 27883 HAS SOPS 23484 HAS SOUS 12395 HAS SOUPS 11346 WITH SCORE 11373.883
AT ITER 9296 NEW BEST:: SOT 63758 SOS 27881 HAS SOPS 23482 HAS SOUS 12392 HAS SOUPS 11343 WITH SCORE 11370.881
AT ITER 9489 NEW BEST:: SOT 63757 SOS 27882 HAS SOPS 23483 HAS SOUS 12390 HAS SOUPS 11341 WITH SCORE 11368.882
AT ITER 9508 NEW BEST:: SOT 63761 SOS 27886 HAS SOPS 23487 HAS SOUS 12382 HAS SOUPS 11333 WITH SCORE 11360.886
AT ITER 9552 NEW BEST:: SOT 63802 SOS 27819 HAS SOPS 23530 HAS SOUS 12322 HAS SOUPS 11283 WITH SCORE 11310.819
AT ITER 9780 NEW BEST:: SOT 63802 SOS 27816 HAS SOPS 23530 HAS SOUS 12319 HAS SOUPS 11283 WITH SCORE 11310.816
AT ITER 9798 NEW BEST:: SOT 63800 SOS 27814 HAS SOPS 23552 HAS SOUS 12308 HAS SOUPS 11282 WITH SCORE 11309.814
AT ITER 9862 NEW BEST:: SOT 63800 SOS 27813 HAS SOPS 23551 HAS SOUS 12308 HAS SOUPS 11282 WITH SCORE 11309.813
AT ITER 9863 NEW BEST:: SOT 63807 SOS 27820 HAS SOPS 23551 HAS SOUS 12287 HAS SOUPS 11261 WITH SCORE 11288.82
AT ITER 9865 NEW BEST:: SOT 63794 SOS 27840 HAS SOPS 23538 HAS SOUS 12288 HAS SOUPS 11259 WITH SCORE 11286.84
AT ITER 9882 NEW BEST:: SOT 63732 SOS 27813 HAS SOPS 23476 HAS SOUS 12289 HAS SOUPS 11241 WITH SCORE 11268.813
AT ITER 9905 NEW BEST:: SOT 63732 SOS 27693 HAS SOPS 23356 HAS SOUS 12289 HAS SOUPS 11241 WITH SCORE 11268.693
AT ITER 9910 NEW BEST:: SOT 63724 SOS 27681 HAS SOPS 23344 HAS SOUS 12289 HAS SOUPS 11241 WITH SCORE 11268.681
AT ITER 9925 NEW BEST:: SOT 63709 SOS 27666 HAS SOPS 23329 HAS SOUS 12286 HAS SOUPS 11238 WITH SCORE 11265.666
AT ITER 9950 NEW BEST:: SOT 63709 SOS 27474 HAS SOPS 23137 HAS SOUS 12286 HAS SOUPS 11238 WITH SCORE 11265.474
AT ITER 9993 NEW BEST:: SOT 63710 SOS 27467 HAS SOPS 23130 HAS SOUS 12285 HAS SOUPS 11237 WITH SCORE 11264.467
STATE_SPACE STATES 1762378 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 9 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 7049512 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1680812545884

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202304061127.jar
+ VERSION=202304061127
+ echo 'Running Version 202304061127'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory

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="EisenbergMcGuire-PT-04"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is EisenbergMcGuire-PT-04, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r523-tall-167987247800232"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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