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.r299-tall-167873953300648.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 PolyORBNT-COL-S05J30, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r299-tall-167873953300648
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 476K
-rw-r--r-- 1 mcc users 6.4K Feb 25 23:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 57K Feb 25 23:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 25 23:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 25 23:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.1K Feb 25 16:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 16:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 23:29 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 94K Feb 25 23:29 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.5K Feb 25 23:27 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 25 23:27 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:36 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 7 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 92K Mar 5 18:23 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 1679526502747

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=PolyORBNT-COL-S05J30
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 23:08:24] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 23:08:24] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 23:08:24] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-22 23:08:24] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-22 23:08:24] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 620 ms
[2023-03-22 23:08:24] [INFO ] Imported 48 HL places and 38 HL transitions for a total of 519 PT places and 1492.0 transition bindings in 17 ms.
[2023-03-22 23:08:24] [INFO ] Unfolded HLPN to a Petri net with 519 places and 1430 transitions 9824 arcs in 42 ms.
[2023-03-22 23:08:24] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-22 23:08:24] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 519 places, 1430 transitions and 9824 arcs took 27 ms.
Total runtime 785 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBNT (COL), instance S05J30
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: 519 places, 1430 transitions, 9824 arcs.
AT ITER 0 NEW BEST:: SOT 615188 SOS 173019 HAS SOPS 172990 HAS SOUS 89400 HAS SOUPS 89371 WITH SCORE 89544.019
AT ITER 10 NEW BEST:: SOT 615173 SOS 173019 HAS SOPS 172990 HAS SOUS 89393 HAS SOUPS 89364 WITH SCORE 89537.019
AT ITER 14 NEW BEST:: SOT 615047 SOS 172893 HAS SOPS 172864 HAS SOUS 89298 HAS SOUPS 89269 WITH SCORE 89441.893
AT ITER 20 NEW BEST:: SOT 614788 SOS 172646 HAS SOPS 172617 HAS SOUS 89122 HAS SOUPS 89093 WITH SCORE 89265.646
AT ITER 29 NEW BEST:: SOT 614464 SOS 172012 HAS SOPS 171983 HAS SOUS 88786 HAS SOUPS 88757 WITH SCORE 88929.012
AT ITER 40 NEW BEST:: SOT 614448 SOS 171916 HAS SOPS 171887 HAS SOUS 88748 HAS SOUPS 88719 WITH SCORE 88890.916
AT ITER 41 NEW BEST:: SOT 614071 SOS 171656 HAS SOPS 171627 HAS SOUS 88736 HAS SOUPS 88707 WITH SCORE 88878.656
AT ITER 55 NEW BEST:: SOT 613669 SOS 171372 HAS SOPS 171343 HAS SOUS 88455 HAS SOUPS 88426 WITH SCORE 88597.372
AT ITER 56 NEW BEST:: SOT 613357 SOS 171094 HAS SOPS 171065 HAS SOUS 88287 HAS SOUPS 88258 WITH SCORE 88429.094
AT ITER 57 NEW BEST:: SOT 610972 SOS 219309 HAS SOPS 219280 HAS SOUS 87543 HAS SOUPS 87514 WITH SCORE 87733.309
AT ITER 59 NEW BEST:: SOT 610954 SOS 219441 HAS SOPS 219412 HAS SOUS 87444 HAS SOUPS 87415 WITH SCORE 87634.441
AT ITER 61 NEW BEST:: SOT 610946 SOS 219393 HAS SOPS 219364 HAS SOUS 87420 HAS SOUPS 87391 WITH SCORE 87610.393
AT ITER 64 NEW BEST:: SOT 610946 SOS 219602 HAS SOPS 219573 HAS SOUS 87389 HAS SOUPS 87360 WITH SCORE 87579.602
AT ITER 67 NEW BEST:: SOT 610924 SOS 219470 HAS SOPS 219441 HAS SOUS 87323 HAS SOUPS 87294 WITH SCORE 87513.47
AT ITER 80 NEW BEST:: SOT 610907 SOS 219470 HAS SOPS 219441 HAS SOUS 87306 HAS SOUPS 87277 WITH SCORE 87496.47
AT ITER 86 NEW BEST:: SOT 610907 SOS 219688 HAS SOPS 219659 HAS SOUS 87275 HAS SOUPS 87246 WITH SCORE 87465.688
AT ITER 94 NEW BEST:: SOT 610915 SOS 219696 HAS SOPS 219667 HAS SOUS 87274 HAS SOUPS 87245 WITH SCORE 87464.696
AT ITER 97 NEW BEST:: SOT 610875 SOS 219696 HAS SOPS 219667 HAS SOUS 87234 HAS SOUPS 87205 WITH SCORE 87424.696
AT ITER 113 NEW BEST:: SOT 610765 SOS 219586 HAS SOPS 219557 HAS SOUS 87147 HAS SOUPS 87118 WITH SCORE 87337.586
AT ITER 119 NEW BEST:: SOT 610765 SOS 219543 HAS SOPS 219514 HAS SOUS 87105 HAS SOUPS 87076 WITH SCORE 87295.543
AT ITER 126 NEW BEST:: SOT 610718 SOS 219731 HAS SOPS 219702 HAS SOUS 86973 HAS SOUPS 86944 WITH SCORE 87163.731
AT ITER 144 NEW BEST:: SOT 610730 SOS 219687 HAS SOPS 219658 HAS SOUS 86913 HAS SOUPS 86884 WITH SCORE 87103.687
AT ITER 159 NEW BEST:: SOT 610695 SOS 219729 HAS SOPS 219700 HAS SOUS 86878 HAS SOUPS 86849 WITH SCORE 87068.729
AT ITER 161 NEW BEST:: SOT 608599 SOS 235673 HAS SOPS 235644 HAS SOUS 86250 HAS SOUPS 86221 WITH SCORE 86456.673
AT ITER 166 NEW BEST:: SOT 608411 SOS 235516 HAS SOPS 235487 HAS SOUS 86076 HAS SOUPS 86047 WITH SCORE 86282.516
AT ITER 172 NEW BEST:: SOT 608358 SOS 235463 HAS SOPS 235434 HAS SOUS 85877 HAS SOUPS 85848 WITH SCORE 86083.463
AT ITER 182 NEW BEST:: SOT 608332 SOS 235307 HAS SOPS 235278 HAS SOUS 85799 HAS SOUPS 85770 WITH SCORE 86005.307
AT ITER 184 NEW BEST:: SOT 608241 SOS 235852 HAS SOPS 235823 HAS SOUS 85708 HAS SOUPS 85679 WITH SCORE 85914.852
AT ITER 218 NEW BEST:: SOT 608159 SOS 235570 HAS SOPS 235541 HAS SOUS 85595 HAS SOUPS 85566 WITH SCORE 85801.57
AT ITER 238 NEW BEST:: SOT 608180 SOS 235505 HAS SOPS 235476 HAS SOUS 85417 HAS SOUPS 85388 WITH SCORE 85623.505
AT ITER 240 NEW BEST:: SOT 608128 SOS 235453 HAS SOPS 235424 HAS SOUS 85415 HAS SOUPS 85386 WITH SCORE 85621.453
AT ITER 245 NEW BEST:: SOT 607696 SOS 235148 HAS SOPS 235119 HAS SOUS 85189 HAS SOUPS 85160 WITH SCORE 85395.148
AT ITER 276 NEW BEST:: SOT 607691 SOS 235143 HAS SOPS 235114 HAS SOUS 85179 HAS SOUPS 85150 WITH SCORE 85385.143
AT ITER 279 NEW BEST:: SOT 607648 SOS 235310 HAS SOPS 235281 HAS SOUS 85105 HAS SOUPS 85076 WITH SCORE 85311.31
AT ITER 280 NEW BEST:: SOT 607552 SOS 235214 HAS SOPS 235185 HAS SOUS 85025 HAS SOUPS 84996 WITH SCORE 85231.214
AT ITER 297 NEW BEST:: SOT 607607 SOS 235228 HAS SOPS 235199 HAS SOUS 84932 HAS SOUPS 84903 WITH SCORE 85138.228
AT ITER 313 NEW BEST:: SOT 607574 SOS 235195 HAS SOPS 235166 HAS SOUS 84928 HAS SOUPS 84899 WITH SCORE 85134.195
AT ITER 315 NEW BEST:: SOT 607575 SOS 235132 HAS SOPS 235103 HAS SOUS 84834 HAS SOUPS 84805 WITH SCORE 85040.132
AT ITER 316 NEW BEST:: SOT 609204 SOS 209481 HAS SOPS 209452 HAS SOUS 84828 HAS SOUPS 84799 WITH SCORE 85008.481
AT ITER 318 NEW BEST:: SOT 609122 SOS 210074 HAS SOPS 210045 HAS SOUS 84688 HAS SOUPS 84659 WITH SCORE 84869.074
AT ITER 327 NEW BEST:: SOT 609122 SOS 210045 HAS SOPS 210016 HAS SOUS 84608 HAS SOUPS 84579 WITH SCORE 84789.045
AT ITER 331 NEW BEST:: SOT 609090 SOS 210045 HAS SOPS 210016 HAS SOUS 84576 HAS SOUPS 84547 WITH SCORE 84757.045
AT ITER 345 NEW BEST:: SOT 609090 SOS 210045 HAS SOPS 210016 HAS SOUS 84573 HAS SOUPS 84544 WITH SCORE 84754.045
AT ITER 347 NEW BEST:: SOT 609090 SOS 210033 HAS SOPS 210004 HAS SOUS 84537 HAS SOUPS 84508 WITH SCORE 84718.033
AT ITER 349 NEW BEST:: SOT 609058 SOS 210241 HAS SOPS 210212 HAS SOUS 84491 HAS SOUPS 84462 WITH SCORE 84672.241
AT ITER 354 NEW BEST:: SOT 609036 SOS 210241 HAS SOPS 210212 HAS SOUS 84465 HAS SOUPS 84436 WITH SCORE 84646.241
AT ITER 364 NEW BEST:: SOT 609001 SOS 210241 HAS SOPS 210212 HAS SOUS 84430 HAS SOUPS 84401 WITH SCORE 84611.241
AT ITER 377 NEW BEST:: SOT 608866 SOS 210087 HAS SOPS 210058 HAS SOUS 84289 HAS SOUPS 84260 WITH SCORE 84470.087
AT ITER 381 NEW BEST:: SOT 608738 SOS 209959 HAS SOPS 209930 HAS SOUS 84193 HAS SOUPS 84164 WITH SCORE 84373.959
AT ITER 395 NEW BEST:: SOT 608738 SOS 209943 HAS SOPS 209914 HAS SOUS 84185 HAS SOUPS 84156 WITH SCORE 84365.943
AT ITER 396 NEW BEST:: SOT 608504 SOS 209747 HAS SOPS 209718 HAS SOUS 84026 HAS SOUPS 83997 WITH SCORE 84206.747
AT ITER 422 NEW BEST:: SOT 608448 SOS 209779 HAS SOPS 209750 HAS SOUS 83982 HAS SOUPS 83953 WITH SCORE 84162.779
AT ITER 441 NEW BEST:: SOT 608448 SOS 209737 HAS SOPS 209708 HAS SOUS 83874 HAS SOUPS 83845 WITH SCORE 84054.737
AT ITER 445 NEW BEST:: SOT 608445 SOS 209744 HAS SOPS 209715 HAS SOUS 83840 HAS SOUPS 83811 WITH SCORE 84020.744
AT ITER 455 NEW BEST:: SOT 607988 SOS 209308 HAS SOPS 209279 HAS SOUS 83433 HAS SOUPS 83404 WITH SCORE 83613.308
AT ITER 459 NEW BEST:: SOT 607933 SOS 209626 HAS SOPS 209597 HAS SOUS 83323 HAS SOUPS 83294 WITH SCORE 83503.626
AT ITER 462 NEW BEST:: SOT 607130 SOS 208849 HAS SOPS 208794 HAS SOUS 82545 HAS SOUPS 82490 WITH SCORE 82698.849
AT ITER 469 NEW BEST:: SOT 607128 SOS 208852 HAS SOPS 208797 HAS SOUS 82463 HAS SOUPS 82408 WITH SCORE 82616.852
AT ITER 473 NEW BEST:: SOT 607052 SOS 208776 HAS SOPS 208721 HAS SOUS 82431 HAS SOUPS 82376 WITH SCORE 82584.776
AT ITER 474 NEW BEST:: SOT 607052 SOS 208776 HAS SOPS 208721 HAS SOUS 82429 HAS SOUPS 82374 WITH SCORE 82582.776
AT ITER 477 NEW BEST:: SOT 607036 SOS 208760 HAS SOPS 208705 HAS SOUS 82397 HAS SOUPS 82342 WITH SCORE 82550.76
AT ITER 495 NEW BEST:: SOT 607036 SOS 208465 HAS SOPS 208410 HAS SOUS 82311 HAS SOUPS 82256 WITH SCORE 82464.465
AT ITER 537 NEW BEST:: SOT 607036 SOS 208329 HAS SOPS 208274 HAS SOUS 82250 HAS SOUPS 82195 WITH SCORE 82403.329
AT ITER 539 NEW BEST:: SOT 607011 SOS 208329 HAS SOPS 208274 HAS SOUS 82225 HAS SOUPS 82170 WITH SCORE 82378.329
AT ITER 540 NEW BEST:: SOT 607011 SOS 208329 HAS SOPS 208274 HAS SOUS 82214 HAS SOUPS 82159 WITH SCORE 82367.329
AT ITER 561 NEW BEST:: SOT 607013 SOS 212596 HAS SOPS 212541 HAS SOUS 82145 HAS SOUPS 82090 WITH SCORE 82302.596
AT ITER 572 NEW BEST:: SOT 607014 SOS 212597 HAS SOPS 212542 HAS SOUS 82143 HAS SOUPS 82088 WITH SCORE 82300.597
AT ITER 608 NEW BEST:: SOT 606969 SOS 212552 HAS SOPS 212497 HAS SOUS 82116 HAS SOUPS 82061 WITH SCORE 82273.552
AT ITER 627 NEW BEST:: SOT 606770 SOS 212028 HAS SOPS 211973 HAS SOUS 82099 HAS SOUPS 82044 WITH SCORE 82256.028
AT ITER 636 NEW BEST:: SOT 606411 SOS 216261 HAS SOPS 216206 HAS SOUS 82019 HAS SOUPS 81964 WITH SCORE 82180.261
AT ITER 652 NEW BEST:: SOT 606306 SOS 217152 HAS SOPS 217097 HAS SOUS 81945 HAS SOUPS 81890 WITH SCORE 82107.152
AT ITER 663 NEW BEST:: SOT 606181 SOS 216757 HAS SOPS 216702 HAS SOUS 81834 HAS SOUPS 81779 WITH SCORE 81995.757
AT ITER 669 NEW BEST:: SOT 606181 SOS 215637 HAS SOPS 215582 HAS SOUS 81834 HAS SOUPS 81779 WITH SCORE 81994.637
AT ITER 692 NEW BEST:: SOT 606151 SOS 215487 HAS SOPS 215432 HAS SOUS 81804 HAS SOUPS 81749 WITH SCORE 81964.487
AT ITER 701 NEW BEST:: SOT 606151 SOS 215577 HAS SOPS 215522 HAS SOUS 81768 HAS SOUPS 81713 WITH SCORE 81928.577
AT ITER 711 NEW BEST:: SOT 606108 SOS 215582 HAS SOPS 215527 HAS SOUS 81766 HAS SOUPS 81711 WITH SCORE 81926.582
AT ITER 715 NEW BEST:: SOT 606136 SOS 215554 HAS SOPS 215499 HAS SOUS 81595 HAS SOUPS 81540 WITH SCORE 81755.554
AT ITER 720 NEW BEST:: SOT 605969 SOS 215498 HAS SOPS 215483 HAS SOUS 81535 HAS SOUPS 81520 WITH SCORE 81735.498
AT ITER 721 NEW BEST:: SOT 605329 SOS 214858 HAS SOPS 214843 HAS SOUS 80895 HAS SOUPS 80880 WITH SCORE 81094.858
AT ITER 726 NEW BEST:: SOT 605279 SOS 214808 HAS SOPS 214793 HAS SOUS 80867 HAS SOUPS 80852 WITH SCORE 81066.808
AT ITER 769 NEW BEST:: SOT 605234 SOS 216158 HAS SOPS 216143 HAS SOUS 80842 HAS SOUPS 80827 WITH SCORE 81043.158
AT ITER 770 NEW BEST:: SOT 605178 SOS 216129 HAS SOPS 216114 HAS SOUS 80578 HAS SOUPS 80563 WITH SCORE 80779.129
AT ITER 780 NEW BEST:: SOT 605154 SOS 216220 HAS SOPS 216205 HAS SOUS 80554 HAS SOUPS 80539 WITH SCORE 80755.22
AT ITER 782 NEW BEST:: SOT 600689 SOS 211818 HAS SOPS 211740 HAS SOUS 76152 HAS SOUPS 76074 WITH SCORE 76285.818
AT ITER 786 NEW BEST:: SOT 600452 SOS 211566 HAS SOPS 211488 HAS SOUS 75967 HAS SOUPS 75889 WITH SCORE 76100.566
AT ITER 791 NEW BEST:: SOT 600101 SOS 211215 HAS SOPS 211137 HAS SOUS 75625 HAS SOUPS 75547 WITH SCORE 75758.215
AT ITER 796 NEW BEST:: SOT 599916 SOS 211030 HAS SOPS 210952 HAS SOUS 75615 HAS SOUPS 75537 WITH SCORE 75748.03
AT ITER 801 NEW BEST:: SOT 599864 SOS 210978 HAS SOPS 210900 HAS SOUS 75537 HAS SOUPS 75459 WITH SCORE 75669.978
AT ITER 803 NEW BEST:: SOT 599792 SOS 210906 HAS SOPS 210828 HAS SOUS 75406 HAS SOUPS 75328 WITH SCORE 75538.906
AT ITER 813 NEW BEST:: SOT 599780 SOS 210894 HAS SOPS 210822 HAS SOUS 75388 HAS SOUPS 75316 WITH SCORE 75526.894
AT ITER 814 NEW BEST:: SOT 599685 SOS 210799 HAS SOPS 210727 HAS SOUS 75307 HAS SOUPS 75235 WITH SCORE 75445.799
AT ITER 831 NEW BEST:: SOT 599708 SOS 210819 HAS SOPS 210747 HAS SOUS 75301 HAS SOUPS 75229 WITH SCORE 75439.819
AT ITER 839 NEW BEST:: SOT 599670 SOS 210742 HAS SOPS 210670 HAS SOUS 75080 HAS SOUPS 75008 WITH SCORE 75218.742
AT ITER 842 NEW BEST:: SOT 599668 SOS 210742 HAS SOPS 210670 HAS SOUS 75078 HAS SOUPS 75006 WITH SCORE 75216.742
AT ITER 844 NEW BEST:: SOT 599654 SOS 210728 HAS SOPS 210656 HAS SOUS 75050 HAS SOUPS 74978 WITH SCORE 75188.728
AT ITER 850 NEW BEST:: SOT 599654 SOS 206204 HAS SOPS 206132 HAS SOUS 74993 HAS SOUPS 74921 WITH SCORE 75127.204
AT ITER 851 NEW BEST:: SOT 599649 SOS 206199 HAS SOPS 206127 HAS SOUS 74983 HAS SOUPS 74911 WITH SCORE 75117.199
AT ITER 863 NEW BEST:: SOT 599654 SOS 206165 HAS SOPS 206093 HAS SOUS 74907 HAS SOUPS 74835 WITH SCORE 75041.165
AT ITER 874 NEW BEST:: SOT 599532 SOS 206043 HAS SOPS 205971 HAS SOUS 74593 HAS SOUPS 74521 WITH SCORE 74727.043
AT ITER 899 NEW BEST:: SOT 599532 SOS 206043 HAS SOPS 205971 HAS SOUS 74560 HAS SOUPS 74488 WITH SCORE 74694.043
AT ITER 901 NEW BEST:: SOT 599442 SOS 205953 HAS SOPS 205881 HAS SOUS 74378 HAS SOUPS 74306 WITH SCORE 74511.953
AT ITER 917 NEW BEST:: SOT 599384 SOS 205895 HAS SOPS 205823 HAS SOUS 74262 HAS SOUPS 74190 WITH SCORE 74395.895
AT ITER 919 NEW BEST:: SOT 599308 SOS 205819 HAS SOPS 205747 HAS SOUS 74034 HAS SOUPS 73962 WITH SCORE 74167.819
AT ITER 940 NEW BEST:: SOT 599308 SOS 205794 HAS SOPS 205722 HAS SOUS 73984 HAS SOUPS 73912 WITH SCORE 74117.794
AT ITER 944 NEW BEST:: SOT 599288 SOS 205774 HAS SOPS 205702 HAS SOUS 73960 HAS SOUPS 73888 WITH SCORE 74093.774
AT ITER 947 NEW BEST:: SOT 599288 SOS 205586 HAS SOPS 205514 HAS SOUS 73939 HAS SOUPS 73867 WITH SCORE 74072.586
AT ITER 951 NEW BEST:: SOT 599265 SOS 205563 HAS SOPS 205491 HAS SOUS 73893 HAS SOUPS 73821 WITH SCORE 74026.563
AT ITER 955 NEW BEST:: SOT 599264 SOS 205561 HAS SOPS 205489 HAS SOUS 73888 HAS SOUPS 73816 WITH SCORE 74021.561
AT ITER 958 NEW BEST:: SOT 599226 SOS 205863 HAS SOPS 205791 HAS SOUS 73875 HAS SOUPS 73803 WITH SCORE 74008.863
AT ITER 973 NEW BEST:: SOT 599226 SOS 205859 HAS SOPS 205787 HAS SOUS 73875 HAS SOUPS 73803 WITH SCORE 74008.859
AT ITER 982 NEW BEST:: SOT 599078 SOS 205452 HAS SOPS 205380 HAS SOUS 73817 HAS SOUPS 73745 WITH SCORE 73950.452
AT ITER 986 NEW BEST:: SOT 598961 SOS 205342 HAS SOPS 205270 HAS SOUS 73707 HAS SOUPS 73635 WITH SCORE 73840.342
AT ITER 999 NEW BEST:: SOT 598892 SOS 205296 HAS SOPS 205224 HAS SOUS 73638 HAS SOUPS 73566 WITH SCORE 73771.296
AT ITER 1003 NEW BEST:: SOT 598892 SOS 205296 HAS SOPS 205224 HAS SOUS 73628 HAS SOUPS 73556 WITH SCORE 73761.296
AT ITER 1007 NEW BEST:: SOT 598883 SOS 205287 HAS SOPS 205215 HAS SOUS 73610 HAS SOUPS 73538 WITH SCORE 73743.287
AT ITER 1020 NEW BEST:: SOT 598883 SOS 205240 HAS SOPS 205168 HAS SOUS 73492 HAS SOUPS 73420 WITH SCORE 73625.24
AT ITER 1025 NEW BEST:: SOT 598858 SOS 205244 HAS SOPS 205172 HAS SOUS 73393 HAS SOUPS 73321 WITH SCORE 73526.244
AT ITER 1027 NEW BEST:: SOT 598757 SOS 205170 HAS SOPS 205098 HAS SOUS 73222 HAS SOUPS 73150 WITH SCORE 73355.17
AT ITER 1043 NEW BEST:: SOT 598579 SOS 205089 HAS SOPS 205017 HAS SOUS 73124 HAS SOUPS 73052 WITH SCORE 73257.089
AT ITER 1049 NEW BEST:: SOT 598663 SOS 205173 HAS SOPS 205101 HAS SOUS 73117 HAS SOUPS 73045 WITH SCORE 73250.173
AT ITER 1072 NEW BEST:: SOT 598567 SOS 204767 HAS SOPS 204695 HAS SOUS 73038 HAS SOUPS 72966 WITH SCORE 73170.767
AT ITER 1078 NEW BEST:: SOT 598550 SOS 204810 HAS SOPS 204738 HAS SOUS 72971 HAS SOUPS 72899 WITH SCORE 73103.81
AT ITER 1085 NEW BEST:: SOT 598558 SOS 204801 HAS SOPS 204729 HAS SOUS 72962 HAS SOUPS 72890 WITH SCORE 73094.801
AT ITER 1105 NEW BEST:: SOT 598558 SOS 204853 HAS SOPS 204781 HAS SOUS 72910 HAS SOUPS 72838 WITH SCORE 73042.853
AT ITER 1107 NEW BEST:: SOT 598215 SOS 201680 HAS SOPS 201608 HAS SOUS 72532 HAS SOUPS 72460 WITH SCORE 72661.68
AT ITER 1111 NEW BEST:: SOT 598243 SOS 201618 HAS SOPS 201546 HAS SOUS 72528 HAS SOUPS 72456 WITH SCORE 72657.618
AT ITER 1137 NEW BEST:: SOT 598272 SOS 201603 HAS SOPS 201531 HAS SOUS 72468 HAS SOUPS 72396 WITH SCORE 72597.603
AT ITER 1142 NEW BEST:: SOT 598244 SOS 201575 HAS SOPS 201503 HAS SOUS 72412 HAS SOUPS 72340 WITH SCORE 72541.575
AT ITER 1149 NEW BEST:: SOT 598289 SOS 201620 HAS SOPS 201548 HAS SOUS 72382 HAS SOUPS 72310 WITH SCORE 72511.62
AT ITER 1159 NEW BEST:: SOT 598285 SOS 201627 HAS SOPS 201555 HAS SOUS 72371 HAS SOUPS 72299 WITH SCORE 72500.627
AT ITER 1165 NEW BEST:: SOT 598256 SOS 201534 HAS SOPS 201462 HAS SOUS 72345 HAS SOUPS 72273 WITH SCORE 72474.534
AT ITER 1171 NEW BEST:: SOT 598049 SOS 200931 HAS SOPS 200859 HAS SOUS 72114 HAS SOUPS 72042 WITH SCORE 72242.931
AT ITER 1184 NEW BEST:: SOT 598049 SOS 200931 HAS SOPS 200859 HAS SOUS 72086 HAS SOUPS 72014 WITH SCORE 72214.931
AT ITER 1187 NEW BEST:: SOT 597466 SOS 200397 HAS SOPS 200325 HAS SOUS 71991 HAS SOUPS 71919 WITH SCORE 72119.397
AT ITER 1190 NEW BEST:: SOT 597460 SOS 200391 HAS SOPS 200319 HAS SOUS 71936 HAS SOUPS 71864 WITH SCORE 72064.391
AT ITER 1192 NEW BEST:: SOT 597225 SOS 200243 HAS SOPS 200171 HAS SOUS 71694 HAS SOUPS 71622 WITH SCORE 71822.243
AT ITER 1199 NEW BEST:: SOT 597199 SOS 200217 HAS SOPS 200145 HAS SOUS 71616 HAS SOUPS 71544 WITH SCORE 71744.217
AT ITER 1203 NEW BEST:: SOT 597191 SOS 200209 HAS SOPS 200137 HAS SOUS 71610 HAS SOUPS 71538 WITH SCORE 71738.209
AT ITER 1209 NEW BEST:: SOT 597193 SOS 200211 HAS SOPS 200139 HAS SOUS 71581 HAS SOUPS 71509 WITH SCORE 71709.211
AT ITER 1217 NEW BEST:: SOT 597156 SOS 200004 HAS SOPS 199932 HAS SOUS 71541 HAS SOUPS 71469 WITH SCORE 71669.004
AT ITER 1224 NEW BEST:: SOT 597125 SOS 199750 HAS SOPS 199678 HAS SOUS 71479 HAS SOUPS 71407 WITH SCORE 71606.75
AT ITER 1243 NEW BEST:: SOT 597125 SOS 199723 HAS SOPS 199651 HAS SOUS 71452 HAS SOUPS 71380 WITH SCORE 71579.723
AT ITER 1268 NEW BEST:: SOT 597119 SOS 199867 HAS SOPS 199795 HAS SOUS 71415 HAS SOUPS 71343 WITH SCORE 71542.867
AT ITER 1269 NEW BEST:: SOT 597061 SOS 199809 HAS SOPS 199737 HAS SOUS 71395 HAS SOUPS 71323 WITH SCORE 71522.809
AT ITER 1276 NEW BEST:: SOT 595988 SOS 210616 HAS SOPS 210544 HAS SOUS 71382 HAS SOUPS 71310 WITH SCORE 71520.616
AT ITER 1282 NEW BEST:: SOT 595952 SOS 210544 HAS SOPS 210472 HAS SOUS 70966 HAS SOUPS 70894 WITH SCORE 71104.544
AT ITER 1286 NEW BEST:: SOT 595916 SOS 210508 HAS SOPS 210436 HAS SOUS 70894 HAS SOUPS 70822 WITH SCORE 71032.508
AT ITER 1316 NEW BEST:: SOT 595863 SOS 210461 HAS SOPS 210389 HAS SOUS 70839 HAS SOUPS 70767 WITH SCORE 70977.461
AT ITER 1344 NEW BEST:: SOT 595812 SOS 210410 HAS SOPS 210338 HAS SOUS 70829 HAS SOUPS 70757 WITH SCORE 70967.41
AT ITER 1346 NEW BEST:: SOT 595786 SOS 210384 HAS SOPS 210312 HAS SOUS 70803 HAS SOUPS 70731 WITH SCORE 70941.384
AT ITER 1352 NEW BEST:: SOT 595786 SOS 210366 HAS SOPS 210294 HAS SOUS 70767 HAS SOUPS 70695 WITH SCORE 70905.366
AT ITER 1380 NEW BEST:: SOT 595704 SOS 210284 HAS SOPS 210212 HAS SOUS 70603 HAS SOUPS 70531 WITH SCORE 70741.284
AT ITER 1390 NEW BEST:: SOT 595628 SOS 209898 HAS SOPS 209826 HAS SOUS 70465 HAS SOUPS 70393 WITH SCORE 70602.898
AT ITER 1394 NEW BEST:: SOT 595583 SOS 209778 HAS SOPS 209706 HAS SOUS 70405 HAS SOUPS 70333 WITH SCORE 70542.778
AT ITER 1401 NEW BEST:: SOT 595520 SOS 209715 HAS SOPS 209643 HAS SOUS 70287 HAS SOUPS 70215 WITH SCORE 70424.715
AT ITER 1407 NEW BEST:: SOT 595512 SOS 209707 HAS SOPS 209635 HAS SOUS 70268 HAS SOUPS 70196 WITH SCORE 70405.707
AT ITER 1422 NEW BEST:: SOT 595490 SOS 210375 HAS SOPS 210303 HAS SOUS 70240 HAS SOUPS 70168 WITH SCORE 70378.375
AT ITER 1423 NEW BEST:: SOT 595490 SOS 210374 HAS SOPS 210302 HAS SOUS 70235 HAS SOUPS 70163 WITH SCORE 70373.374
AT ITER 1461 NEW BEST:: SOT 595464 SOS 210348 HAS SOPS 210276 HAS SOUS 70183 HAS SOUPS 70111 WITH SCORE 70321.348
AT ITER 1475 NEW BEST:: SOT 595269 SOS 210258 HAS SOPS 210186 HAS SOUS 70150 HAS SOUPS 70078 WITH SCORE 70288.258
AT ITER 1488 NEW BEST:: SOT 595233 SOS 210222 HAS SOPS 210150 HAS SOUS 70090 HAS SOUPS 70018 WITH SCORE 70228.222
AT ITER 1497 NEW BEST:: SOT 595172 SOS 210076 HAS SOPS 210004 HAS SOUS 70068 HAS SOUPS 69996 WITH SCORE 70206.076
AT ITER 1515 NEW BEST:: SOT 595172 SOS 210095 HAS SOPS 210023 HAS SOUS 70049 HAS SOUPS 69977 WITH SCORE 70187.095
AT ITER 1530 NEW BEST:: SOT 595160 SOS 210083 HAS SOPS 210017 HAS SOUS 70029 HAS SOUPS 69963 WITH SCORE 70173.083
AT ITER 1548 NEW BEST:: SOT 595161 SOS 210084 HAS SOPS 210018 HAS SOUS 69958 HAS SOUPS 69892 WITH SCORE 70102.084
AT ITER 1549 NEW BEST:: SOT 595208 SOS 210074 HAS SOPS 210008 HAS SOUS 69802 HAS SOUPS 69736 WITH SCORE 69946.074
AT ITER 1565 NEW BEST:: SOT 595241 SOS 210107 HAS SOPS 210041 HAS SOUS 69797 HAS SOUPS 69731 WITH SCORE 69941.107
AT ITER 1587 NEW BEST:: SOT 595193 SOS 210233 HAS SOPS 210167 HAS SOUS 69796 HAS SOUPS 69730 WITH SCORE 69940.233
AT ITER 1588 NEW BEST:: SOT 595169 SOS 210233 HAS SOPS 210167 HAS SOUS 69772 HAS SOUPS 69706 WITH SCORE 69916.233
AT ITER 1606 NEW BEST:: SOT 595037 SOS 210145 HAS SOPS 210079 HAS SOUS 69640 HAS SOUPS 69574 WITH SCORE 69784.145
AT ITER 1612 NEW BEST:: SOT 595028 SOS 210136 HAS SOPS 210070 HAS SOUS 69639 HAS SOUPS 69573 WITH SCORE 69783.136
AT ITER 1614 NEW BEST:: SOT 594989 SOS 210097 HAS SOPS 210031 HAS SOUS 69561 HAS SOUPS 69495 WITH SCORE 69705.097
AT ITER 1617 NEW BEST:: SOT 594992 SOS 210085 HAS SOPS 210019 HAS SOUS 69561 HAS SOUPS 69495 WITH SCORE 69705.085
AT ITER 1618 NEW BEST:: SOT 594796 SOS 209492 HAS SOPS 209426 HAS SOUS 69463 HAS SOUPS 69397 WITH SCORE 69606.492
AT ITER 1626 NEW BEST:: SOT 594766 SOS 208964 HAS SOPS 208898 HAS SOUS 69403 HAS SOUPS 69337 WITH SCORE 69545.964
AT ITER 1635 NEW BEST:: SOT 594660 SOS 208558 HAS SOPS 208492 HAS SOUS 69241 HAS SOUPS 69175 WITH SCORE 69383.558
AT ITER 1642 NEW BEST:: SOT 594640 SOS 208438 HAS SOPS 208372 HAS SOUS 69201 HAS SOUPS 69135 WITH SCORE 69343.438
AT ITER 1668 NEW BEST:: SOT 594626 SOS 208424 HAS SOPS 208358 HAS SOUS 69187 HAS SOUPS 69121 WITH SCORE 69329.424
AT ITER 1706 NEW BEST:: SOT 594626 SOS 208044 HAS SOPS 207978 HAS SOUS 69151 HAS SOUPS 69085 WITH SCORE 69293.044
AT ITER 1709 NEW BEST:: SOT 594586 SOS 208004 HAS SOPS 207938 HAS SOUS 69104 HAS SOUPS 69038 WITH SCORE 69246.004
AT ITER 1711 NEW BEST:: SOT 594581 SOS 207999 HAS SOPS 207933 HAS SOUS 69103 HAS SOUPS 69037 WITH SCORE 69244.999
AT ITER 1726 NEW BEST:: SOT 591146 SOS 204478 HAS SOPS 204412 HAS SOUS 65582 HAS SOUPS 65516 WITH SCORE 65720.478
AT ITER 1730 NEW BEST:: SOT 591062 SOS 204394 HAS SOPS 204328 HAS SOUS 65488 HAS SOUPS 65422 WITH SCORE 65626.394
AT ITER 1744 NEW BEST:: SOT 591021 SOS 204427 HAS SOPS 204361 HAS SOUS 65480 HAS SOUPS 65414 WITH SCORE 65618.427
AT ITER 1747 NEW BEST:: SOT 591044 SOS 204524 HAS SOPS 204458 HAS SOUS 65423 HAS SOUPS 65357 WITH SCORE 65561.524
AT ITER 1750 NEW BEST:: SOT 591135 SOS 204615 HAS SOPS 204549 HAS SOUS 65377 HAS SOUPS 65311 WITH SCORE 65515.615
AT ITER 1758 NEW BEST:: SOT 590921 SOS 204284 HAS SOPS 204218 HAS SOUS 65373 HAS SOUPS 65307 WITH SCORE 65511.284
AT ITER 1764 NEW BEST:: SOT 590876 SOS 203499 HAS SOPS 203433 HAS SOUS 65283 HAS SOUPS 65217 WITH SCORE 65420.499
AT ITER 1772 NEW BEST:: SOT 590798 SOS 203421 HAS SOPS 203355 HAS SOUS 65276 HAS SOUPS 65210 WITH SCORE 65413.421
AT ITER 1773 NEW BEST:: SOT 590784 SOS 203407 HAS SOPS 203341 HAS SOUS 65272 HAS SOUPS 65206 WITH SCORE 65409.407
AT ITER 1783 NEW BEST:: SOT 590784 SOS 203391 HAS SOPS 203325 HAS SOUS 65272 HAS SOUPS 65206 WITH SCORE 65409.391
AT ITER 1791 NEW BEST:: SOT 590763 SOS 203376 HAS SOPS 203310 HAS SOUS 65230 HAS SOUPS 65164 WITH SCORE 65367.376
AT ITER 1800 NEW BEST:: SOT 590754 SOS 203358 HAS SOPS 203292 HAS SOUS 65230 HAS SOUPS 65164 WITH SCORE 65367.358
AT ITER 1811 NEW BEST:: SOT 590691 SOS 203125 HAS SOPS 203059 HAS SOUS 65133 HAS SOUPS 65067 WITH SCORE 65270.125
AT ITER 1813 NEW BEST:: SOT 590649 SOS 203075 HAS SOPS 203009 HAS SOUS 65121 HAS SOUPS 65055 WITH SCORE 65258.075
AT ITER 1837 NEW BEST:: SOT 590602 SOS 203029 HAS SOPS 202963 HAS SOUS 65064 HAS SOUPS 64998 WITH SCORE 65201.029
AT ITER 1840 NEW BEST:: SOT 590602 SOS 202874 HAS SOPS 202808 HAS SOUS 64993 HAS SOUPS 64927 WITH SCORE 65129.874
AT ITER 1849 NEW BEST:: SOT 590567 SOS 202853 HAS SOPS 202787 HAS SOUS 64972 HAS SOUPS 64906 WITH SCORE 65108.853
AT ITER 1853 NEW BEST:: SOT 590567 SOS 202853 HAS SOPS 202787 HAS SOUS 64970 HAS SOUPS 64904 WITH SCORE 65106.853
AT ITER 1858 NEW BEST:: SOT 590535 SOS 202131 HAS SOPS 202065 HAS SOUS 64942 HAS SOUPS 64876 WITH SCORE 65078.131
AT ITER 1861 NEW BEST:: SOT 590481 SOS 202022 HAS SOPS 201956 HAS SOUS 64905 HAS SOUPS 64839 WITH SCORE 65041.022
AT ITER 1893 NEW BEST:: SOT 590600 SOS 202018 HAS SOPS 201952 HAS SOUS 64897 HAS SOUPS 64831 WITH SCORE 65033.018
AT ITER 1913 NEW BEST:: SOT 590505 SOS 201568 HAS SOPS 201502 HAS SOUS 64826 HAS SOUPS 64760 WITH SCORE 64961.568
AT ITER 1924 NEW BEST:: SOT 590485 SOS 201579 HAS SOPS 201513 HAS SOUS 64809 HAS SOUPS 64743 WITH SCORE 64944.579
AT ITER 1930 NEW BEST:: SOT 590366 SOS 201540 HAS SOPS 201474 HAS SOUS 64731 HAS SOUPS 64665 WITH SCORE 64866.54
AT ITER 1939 NEW BEST:: SOT 590470 SOS 201636 HAS SOPS 201570 HAS SOUS 64721 HAS SOUPS 64655 WITH SCORE 64856.636
AT ITER 1950 NEW BEST:: SOT 590470 SOS 201670 HAS SOPS 201604 HAS SOUS 64707 HAS SOUPS 64641 WITH SCORE 64842.67
AT ITER 1963 NEW BEST:: SOT 590447 SOS 201182 HAS SOPS 201116 HAS SOUS 64591 HAS SOUPS 64525 WITH SCORE 64726.182
AT ITER 1970 NEW BEST:: SOT 590408 SOS 201091 HAS SOPS 201025 HAS SOUS 64552 HAS SOUPS 64486 WITH SCORE 64687.091
AT ITER 2009 NEW BEST:: SOT 590397 SOS 201010 HAS SOPS 200944 HAS SOUS 64527 HAS SOUPS 64461 WITH SCORE 64662.01
AT ITER 2012 NEW BEST:: SOT 590397 SOS 200760 HAS SOPS 200694 HAS SOUS 64477 HAS SOUPS 64411 WITH SCORE 64611.76
AT ITER 2014 NEW BEST:: SOT 590245 SOS 200574 HAS SOPS 200508 HAS SOUS 64335 HAS SOUPS 64269 WITH SCORE 64469.574
AT ITER 2032 NEW BEST:: SOT 590192 SOS 200521 HAS SOPS 200455 HAS SOUS 64236 HAS SOUPS 64170 WITH SCORE 64370.521
AT ITER 2055 NEW BEST:: SOT 590199 SOS 200519 HAS SOPS 200453 HAS SOUS 64202 HAS SOUPS 64136 WITH SCORE 64336.519
AT ITER 2056 NEW BEST:: SOT 590261 SOS 201013 HAS SOPS 200947 HAS SOUS 64160 HAS SOUPS 64094 WITH SCORE 64295.013
AT ITER 2072 NEW BEST:: SOT 590204 SOS 200956 HAS SOPS 200890 HAS SOUS 64062 HAS SOUPS 63996 WITH SCORE 64196.956
AT ITER 2157 NEW BEST:: SOT 590162 SOS 200914 HAS SOPS 200848 HAS SOUS 63978 HAS SOUPS 63912 WITH SCORE 64112.914
AT ITER 2160 NEW BEST:: SOT 590139 SOS 200891 HAS SOPS 200825 HAS SOUS 63946 HAS SOUPS 63880 WITH SCORE 64080.891
AT ITER 2172 NEW BEST:: SOT 590111 SOS 200723 HAS SOPS 200657 HAS SOUS 63890 HAS SOUPS 63824 WITH SCORE 64024.723
AT ITER 2190 NEW BEST:: SOT 590039 SOS 200651 HAS SOPS 200585 HAS SOUS 63818 HAS SOUPS 63752 WITH SCORE 63952.651
AT ITER 2201 NEW BEST:: SOT 590027 SOS 200660 HAS SOPS 200594 HAS SOUS 63815 HAS SOUPS 63749 WITH SCORE 63949.66
AT ITER 2259 NEW BEST:: SOT 590027 SOS 200616 HAS SOPS 200550 HAS SOUS 63803 HAS SOUPS 63737 WITH SCORE 63937.616
AT ITER 2307 NEW BEST:: SOT 589915 SOS 200540 HAS SOPS 200410 HAS SOUS 63749 HAS SOUPS 63619 WITH SCORE 63819.54
AT ITER 2329 NEW BEST:: SOT 589915 SOS 200295 HAS SOPS 200165 HAS SOUS 63700 HAS SOUPS 63570 WITH SCORE 63770.295
AT ITER 2360 NEW BEST:: SOT 589882 SOS 200262 HAS SOPS 200132 HAS SOUS 63634 HAS SOUPS 63504 WITH SCORE 63704.262
AT ITER 2372 NEW BEST:: SOT 589878 SOS 200258 HAS SOPS 200128 HAS SOUS 63626 HAS SOUPS 63496 WITH SCORE 63696.258
AT ITER 2384 NEW BEST:: SOT 589879 SOS 200648 HAS SOPS 200518 HAS SOUS 63592 HAS SOUPS 63462 WITH SCORE 63662.648
AT ITER 2393 NEW BEST:: SOT 589919 SOS 200488 HAS SOPS 200358 HAS SOUS 63592 HAS SOUPS 63462 WITH SCORE 63662.488
AT ITER 2402 NEW BEST:: SOT 589783 SOS 200353 HAS SOPS 200223 HAS SOUS 63468 HAS SOUPS 63338 WITH SCORE 63538.353
AT ITER 2427 NEW BEST:: SOT 589770 SOS 200405 HAS SOPS 200275 HAS SOUS 63442 HAS SOUPS 63312 WITH SCORE 63512.405
AT ITER 2434 NEW BEST:: SOT 589770 SOS 200310 HAS SOPS 200211 HAS SOUS 63411 HAS SOUPS 63312 WITH SCORE 63512.31
AT ITER 2441 NEW BEST:: SOT 589574 SOS 200114 HAS SOPS 200015 HAS SOUS 63215 HAS SOUPS 63116 WITH SCORE 63316.114
AT ITER 2442 NEW BEST:: SOT 589574 SOS 200637 HAS SOPS 200538 HAS SOUS 63142 HAS SOUPS 63043 WITH SCORE 63243.637
AT ITER 2479 NEW BEST:: SOT 589484 SOS 200981 HAS SOPS 200882 HAS SOUS 62962 HAS SOUPS 62863 WITH SCORE 63063.981
AT ITER 2491 NEW BEST:: SOT 589502 SOS 200981 HAS SOPS 200882 HAS SOUS 62944 HAS SOUPS 62845 WITH SCORE 63045.981
AT ITER 2523 NEW BEST:: SOT 589466 SOS 200945 HAS SOPS 200846 HAS SOUS 62926 HAS SOUPS 62827 WITH SCORE 63027.945
AT ITER 2525 NEW BEST:: SOT 589421 SOS 200900 HAS SOPS 200801 HAS SOUS 62836 HAS SOUPS 62737 WITH SCORE 62937.9
AT ITER 2538 NEW BEST:: SOT 589421 SOS 200899 HAS SOPS 200800 HAS SOUS 62834 HAS SOUPS 62735 WITH SCORE 62935.899
AT ITER 2544 NEW BEST:: SOT 589419 SOS 200897 HAS SOPS 200798 HAS SOUS 62817 HAS SOUPS 62718 WITH SCORE 62918.897
AT ITER 2564 NEW BEST:: SOT 589496 SOS 200464 HAS SOPS 200365 HAS SOUS 62792 HAS SOUPS 62693 WITH SCORE 62893.464
AT ITER 2577 NEW BEST:: SOT 589482 SOS 200450 HAS SOPS 200351 HAS SOUS 62709 HAS SOUPS 62610 WITH SCORE 62810.45
AT ITER 2589 NEW BEST:: SOT 589482 SOS 200426 HAS SOPS 200327 HAS SOUS 62669 HAS SOUPS 62570 WITH SCORE 62770.426
AT ITER 2624 NEW BEST:: SOT 589482 SOS 200426 HAS SOPS 200327 HAS SOUS 62667 HAS SOUPS 62568 WITH SCORE 62768.426
AT ITER 2634 NEW BEST:: SOT 589131 SOS 200029 HAS SOPS 199930 HAS SOUS 62270 HAS SOUPS 62171 WITH SCORE 62371.029
AT ITER 2646 NEW BEST:: SOT 589072 SOS 199675 HAS SOPS 199576 HAS SOUS 62152 HAS SOUPS 62053 WITH SCORE 62252.675
AT ITER 2695 NEW BEST:: SOT 589065 SOS 199652 HAS SOPS 199553 HAS SOUS 62106 HAS SOUPS 62007 WITH SCORE 62206.652
AT ITER 2699 NEW BEST:: SOT 589042 SOS 199570 HAS SOPS 199471 HAS SOUS 62060 HAS SOUPS 61961 WITH SCORE 62160.57
AT ITER 2703 NEW BEST:: SOT 589013 SOS 200381 HAS SOPS 200282 HAS SOUS 62002 HAS SOUPS 61903 WITH SCORE 62103.381
AT ITER 2744 NEW BEST:: SOT 589031 SOS 200364 HAS SOPS 200265 HAS SOUS 61968 HAS SOUPS 61869 WITH SCORE 62069.364
AT ITER 2753 NEW BEST:: SOT 589029 SOS 200337 HAS SOPS 200238 HAS SOUS 61961 HAS SOUPS 61862 WITH SCORE 62062.337
AT ITER 2764 NEW BEST:: SOT 588849 SOS 200487 HAS SOPS 200388 HAS SOUS 61818 HAS SOUPS 61719 WITH SCORE 61919.487
AT ITER 2794 NEW BEST:: SOT 588849 SOS 200482 HAS SOPS 200383 HAS SOUS 61817 HAS SOUPS 61718 WITH SCORE 61918.482
AT ITER 2799 NEW BEST:: SOT 588823 SOS 200456 HAS SOPS 200357 HAS SOUS 61791 HAS SOUPS 61692 WITH SCORE 61892.456
AT ITER 2813 NEW BEST:: SOT 588793 SOS 200376 HAS SOPS 200277 HAS SOUS 61751 HAS SOUPS 61652 WITH SCORE 61852.376
AT ITER 2817 NEW BEST:: SOT 588756 SOS 200351 HAS SOPS 200240 HAS SOUS 61742 HAS SOUPS 61631 WITH SCORE 61831.351
AT ITER 2837 NEW BEST:: SOT 588756 SOS 200338 HAS SOPS 200227 HAS SOUS 61716 HAS SOUPS 61605 WITH SCORE 61805.338
AT ITER 2839 NEW BEST:: SOT 588755 SOS 199642 HAS SOPS 199531 HAS SOUS 61716 HAS SOUPS 61605 WITH SCORE 61804.642
AT ITER 2843 NEW BEST:: SOT 588608 SOS 199495 HAS SOPS 199384 HAS SOUS 61527 HAS SOUPS 61416 WITH SCORE 61615.495
AT ITER 2844 NEW BEST:: SOT 588590 SOS 199477 HAS SOPS 199366 HAS SOUS 61525 HAS SOUPS 61414 WITH SCORE 61613.477
AT ITER 2849 NEW BEST:: SOT 588593 SOS 199445 HAS SOPS 199334 HAS SOUS 61317 HAS SOUPS 61206 WITH SCORE 61405.445
AT ITER 2881 NEW BEST:: SOT 588572 SOS 199424 HAS SOPS 199313 HAS SOUS 61275 HAS SOUPS 61164 WITH SCORE 61363.424
AT ITER 2897 NEW BEST:: SOT 588512 SOS 199364 HAS SOPS 199253 HAS SOUS 61215 HAS SOUPS 61104 WITH SCORE 61303.364
AT ITER 2915 NEW BEST:: SOT 588488 SOS 199340 HAS SOPS 199229 HAS SOUS 61191 HAS SOUPS 61080 WITH SCORE 61279.34
AT ITER 2925 NEW BEST:: SOT 588488 SOS 199340 HAS SOPS 199229 HAS SOUS 61183 HAS SOUPS 61072 WITH SCORE 61271.34
AT ITER 2954 NEW BEST:: SOT 588429 SOS 199109 HAS SOPS 198998 HAS SOUS 61065 HAS SOUPS 60954 WITH SCORE 61153.109
AT ITER 2955 NEW BEST:: SOT 588411 SOS 199136 HAS SOPS 199025 HAS SOUS 61056 HAS SOUPS 60945 WITH SCORE 61144.136
AT ITER 2961 NEW BEST:: SOT 588404 SOS 199129 HAS SOPS 199018 HAS SOUS 61042 HAS SOUPS 60931 WITH SCORE 61130.129
AT ITER 2966 NEW BEST:: SOT 588381 SOS 199106 HAS SOPS 198995 HAS SOUS 61036 HAS SOUPS 60925 WITH SCORE 61124.106
AT ITER 2981 NEW BEST:: SOT 588368 SOS 199028 HAS SOPS 198917 HAS SOUS 61010 HAS SOUPS 60899 WITH SCORE 61098.028
AT ITER 2988 NEW BEST:: SOT 588355 SOS 199015 HAS SOPS 198904 HAS SOUS 60958 HAS SOUPS 60847 WITH SCORE 61046.015
AT ITER 3010 NEW BEST:: SOT 588326 SOS 198801 HAS SOPS 198690 HAS SOUS 60954 HAS SOUPS 60843 WITH SCORE 61041.801
AT ITER 3014 NEW BEST:: SOT 588301 SOS 200018 HAS SOPS 199907 HAS SOUS 60911 HAS SOUPS 60800 WITH SCORE 61000.018
AT ITER 3022 NEW BEST:: SOT 588293 SOS 200018 HAS SOPS 199907 HAS SOUS 60895 HAS SOUPS 60784 WITH SCORE 60984.018
AT ITER 3034 NEW BEST:: SOT 588289 SOS 199994 HAS SOPS 199883 HAS SOUS 60887 HAS SOUPS 60776 WITH SCORE 60975.994
AT ITER 3038 NEW BEST:: SOT 588212 SOS 199884 HAS SOPS 199773 HAS SOUS 60733 HAS SOUPS 60622 WITH SCORE 60821.884
AT ITER 3078 NEW BEST:: SOT 588117 SOS 199789 HAS SOPS 199678 HAS SOUS 60657 HAS SOUPS 60546 WITH SCORE 60745.789
AT ITER 3089 NEW BEST:: SOT 588117 SOS 199789 HAS SOPS 199678 HAS SOUS 60618 HAS SOUPS 60507 WITH SCORE 60706.789
AT ITER 3097 NEW BEST:: SOT 588080 SOS 199452 HAS SOPS 199341 HAS SOUS 60521 HAS SOUPS 60410 WITH SCORE 60609.452
AT ITER 3115 NEW BEST:: SOT 588072 SOS 199375 HAS SOPS 199264 HAS SOUS 60499 HAS SOUPS 60388 WITH SCORE 60587.375
AT ITER 3142 NEW BEST:: SOT 588073 SOS 199386 HAS SOPS 199275 HAS SOUS 60496 HAS SOUPS 60385 WITH SCORE 60584.386
AT ITER 3144 NEW BEST:: SOT 588024 SOS 199502 HAS SOPS 199391 HAS SOUS 60480 HAS SOUPS 60369 WITH SCORE 60568.502
AT ITER 3145 NEW BEST:: SOT 588024 SOS 199417 HAS SOPS 199306 HAS SOUS 60480 HAS SOUPS 60369 WITH SCORE 60568.417
AT ITER 3166 NEW BEST:: SOT 587999 SOS 199392 HAS SOPS 199281 HAS SOUS 60430 HAS SOUPS 60319 WITH SCORE 60518.392
AT ITER 3169 NEW BEST:: SOT 587971 SOS 199357 HAS SOPS 199246 HAS SOUS 60395 HAS SOUPS 60284 WITH SCORE 60483.357
AT ITER 3198 NEW BEST:: SOT 587955 SOS 199341 HAS SOPS 199230 HAS SOUS 60363 HAS SOUPS 60252 WITH SCORE 60451.341
AT ITER 3209 NEW BEST:: SOT 587880 SOS 199164 HAS SOPS 199053 HAS SOUS 60213 HAS SOUPS 60102 WITH SCORE 60301.164
AT ITER 3216 NEW BEST:: SOT 587879 SOS 199068 HAS SOPS 198957 HAS SOUS 60193 HAS SOUPS 60082 WITH SCORE 60281.068
AT ITER 3220 NEW BEST:: SOT 587864 SOS 199038 HAS SOPS 198927 HAS SOUS 60133 HAS SOUPS 60022 WITH SCORE 60221.038
AT ITER 3233 NEW BEST:: SOT 587847 SOS 199021 HAS SOPS 198910 HAS SOUS 60131 HAS SOUPS 60020 WITH SCORE 60219.021
AT ITER 3239 NEW BEST:: SOT 587729 SOS 198917 HAS SOPS 198806 HAS SOUS 60073 HAS SOUPS 59962 WITH SCORE 60160.917
AT ITER 3248 NEW BEST:: SOT 587729 SOS 198657 HAS SOPS 198546 HAS SOUS 60021 HAS SOUPS 59910 WITH SCORE 60108.657
AT ITER 3257 NEW BEST:: SOT 587725 SOS 198653 HAS SOPS 198542 HAS SOUS 60013 HAS SOUPS 59902 WITH SCORE 60100.653
AT ITER 3279 NEW BEST:: SOT 587725 SOS 198636 HAS SOPS 198525 HAS SOUS 59979 HAS SOUPS 59868 WITH SCORE 60066.636
AT ITER 3289 NEW BEST:: SOT 587715 SOS 198750 HAS SOPS 198639 HAS SOUS 59969 HAS SOUPS 59858 WITH SCORE 60056.75
AT ITER 3295 NEW BEST:: SOT 587711 SOS 198750 HAS SOPS 198639 HAS SOUS 59961 HAS SOUPS 59850 WITH SCORE 60048.75
AT ITER 3320 NEW BEST:: SOT 587696 SOS 198846 HAS SOPS 198735 HAS SOUS 59931 HAS SOUPS 59820 WITH SCORE 60018.846
AT ITER 3342 NEW BEST:: SOT 587696 SOS 198696 HAS SOPS 198585 HAS SOUS 59927 HAS SOUPS 59816 WITH SCORE 60014.696
AT ITER 3343 NEW BEST:: SOT 587686 SOS 198686 HAS SOPS 198575 HAS SOUS 59907 HAS SOUPS 59796 WITH SCORE 59994.686
AT ITER 3344 NEW BEST:: SOT 587667 SOS 198667 HAS SOPS 198556 HAS SOUS 59869 HAS SOUPS 59758 WITH SCORE 59956.667
AT ITER 3351 NEW BEST:: SOT 587532 SOS 198507 HAS SOPS 198396 HAS SOUS 59745 HAS SOUPS 59634 WITH SCORE 59832.507
AT ITER 3367 NEW BEST:: SOT 587456 SOS 198121 HAS SOPS 198010 HAS SOUS 59717 HAS SOUPS 59606 WITH SCORE 59804.121
AT ITER 3368 NEW BEST:: SOT 587350 SOS 198035 HAS SOPS 197924 HAS SOUS 59639 HAS SOUPS 59528 WITH SCORE 59726.035
AT ITER 3370 NEW BEST:: SOT 587316 SOS 198025 HAS SOPS 197914 HAS SOUS 59629 HAS SOUPS 59518 WITH SCORE 59716.025
AT ITER 3373 NEW BEST:: SOT 587284 SOS 198073 HAS SOPS 197962 HAS SOUS 59607 HAS SOUPS 59496 WITH SCORE 59694.073
AT ITER 3384 NEW BEST:: SOT 587272 SOS 197994 HAS SOPS 197883 HAS SOUS 59583 HAS SOUPS 59472 WITH SCORE 59669.994
AT ITER 3387 NEW BEST:: SOT 587275 SOS 197991 HAS SOPS 197880 HAS SOUS 59577 HAS SOUPS 59466 WITH SCORE 59663.991
AT ITER 3389 NEW BEST:: SOT 587271 SOS 197983 HAS SOPS 197872 HAS SOUS 59564 HAS SOUPS 59453 WITH SCORE 59650.983
AT ITER 3400 NEW BEST:: SOT 587241 SOS 197953 HAS SOPS 197842 HAS SOUS 59504 HAS SOUPS 59393 WITH SCORE 59590.953
AT ITER 3422 NEW BEST:: SOT 587241 SOS 197953 HAS SOPS 197842 HAS SOUS 59475 HAS SOUPS 59364 WITH SCORE 59561.953
AT ITER 3442 NEW BEST:: SOT 587234 SOS 197946 HAS SOPS 197835 HAS SOUS 59468 HAS SOUPS 59357 WITH SCORE 59554.946
AT ITER 3477 NEW BEST:: SOT 587198 SOS 197910 HAS SOPS 197799 HAS SOUS 59400 HAS SOUPS 59289 WITH SCORE 59486.91
AT ITER 3515 NEW BEST:: SOT 587174 SOS 197576 HAS SOPS 197465 HAS SOUS 59314 HAS SOUPS 59203 WITH SCORE 59400.576
AT ITER 3521 NEW BEST:: SOT 587152 SOS 197554 HAS SOPS 197443 HAS SOUS 59292 HAS SOUPS 59181 WITH SCORE 59378.554
AT ITER 3529 NEW BEST:: SOT 587152 SOS 197549 HAS SOPS 197438 HAS SOUS 59291 HAS SOUPS 59180 WITH SCORE 59377.549
AT ITER 3540 NEW BEST:: SOT 587152 SOS 197449 HAS SOPS 197338 HAS SOUS 59271 HAS SOUPS 59160 WITH SCORE 59357.449
AT ITER 3559 NEW BEST:: SOT 587152 SOS 197314 HAS SOPS 197203 HAS SOUS 59244 HAS SOUPS 59133 WITH SCORE 59330.314
AT ITER 3577 NEW BEST:: SOT 587122 SOS 197258 HAS SOPS 197147 HAS SOUS 59184 HAS SOUPS 59073 WITH SCORE 59270.258
AT ITER 3615 NEW BEST:: SOT 587102 SOS 197238 HAS SOPS 197127 HAS SOUS 59144 HAS SOUPS 59033 WITH SCORE 59230.238
AT ITER 3632 NEW BEST:: SOT 587094 SOS 197245 HAS SOPS 197134 HAS SOUS 59128 HAS SOUPS 59017 WITH SCORE 59214.245
AT ITER 3666 NEW BEST:: SOT 587077 SOS 196753 HAS SOPS 196642 HAS SOUS 59094 HAS SOUPS 58983 WITH SCORE 59179.753
AT ITER 3681 NEW BEST:: SOT 587055 SOS 196755 HAS SOPS 196644 HAS SOUS 59050 HAS SOUPS 58939 WITH SCORE 59135.755
AT ITER 3697 NEW BEST:: SOT 587051 SOS 196751 HAS SOPS 196640 HAS SOUS 59042 HAS SOUPS 58931 WITH SCORE 59127.751
AT ITER 3736 NEW BEST:: SOT 587051 SOS 196596 HAS SOPS 196485 HAS SOUS 59011 HAS SOUPS 58900 WITH SCORE 59096.596
AT ITER 3762 NEW BEST:: SOT 587077 SOS 196681 HAS SOPS 196570 HAS SOUS 59003 HAS SOUPS 58892 WITH SCORE 59088.681
AT ITER 3797 NEW BEST:: SOT 587067 SOS 196654 HAS SOPS 196543 HAS SOUS 58949 HAS SOUPS 58838 WITH SCORE 59034.654
AT ITER 3805 NEW BEST:: SOT 586961 SOS 196494 HAS SOPS 196383 HAS SOUS 58835 HAS SOUPS 58724 WITH SCORE 58920.494
AT ITER 3835 NEW BEST:: SOT 586951 SOS 196419 HAS SOPS 196308 HAS SOUS 58812 HAS SOUPS 58701 WITH SCORE 58897.419
AT ITER 3884 NEW BEST:: SOT 586884 SOS 196352 HAS SOPS 196241 HAS SOUS 58678 HAS SOUPS 58567 WITH SCORE 58763.352
AT ITER 3896 NEW BEST:: SOT 586327 SOS 195795 HAS SOPS 195684 HAS SOUS 58118 HAS SOUPS 58007 WITH SCORE 58202.795
AT ITER 3897 NEW BEST:: SOT 585924 SOS 195450 HAS SOPS 195339 HAS SOUS 58000 HAS SOUPS 57889 WITH SCORE 58084.45
AT ITER 3899 NEW BEST:: SOT 585917 SOS 195438 HAS SOPS 195327 HAS SOUS 57992 HAS SOUPS 57881 WITH SCORE 58076.438
AT ITER 3956 NEW BEST:: SOT 585805 SOS 195326 HAS SOPS 195215 HAS SOUS 57976 HAS SOUPS 57865 WITH SCORE 58060.326
AT ITER 3967 NEW BEST:: SOT 585769 SOS 196056 HAS SOPS 195945 HAS SOUS 57904 HAS SOUPS 57793 WITH SCORE 57989.056
AT ITER 3997 NEW BEST:: SOT 585738 SOS 196025 HAS SOPS 195914 HAS SOUS 57842 HAS SOUPS 57731 WITH SCORE 57927.025
AT ITER 4014 NEW BEST:: SOT 585577 SOS 195865 HAS SOPS 195754 HAS SOUS 57684 HAS SOUPS 57573 WITH SCORE 57768.865
AT ITER 4043 NEW BEST:: SOT 585545 SOS 195865 HAS SOPS 195754 HAS SOUS 57682 HAS SOUPS 57571 WITH SCORE 57766.865
AT ITER 4074 NEW BEST:: SOT 585479 SOS 195579 HAS SOPS 195468 HAS SOUS 57593 HAS SOUPS 57482 WITH SCORE 57677.579
AT ITER 4086 NEW BEST:: SOT 585556 SOS 196012 HAS SOPS 195901 HAS SOUS 57480 HAS SOUPS 57369 WITH SCORE 57565.012
AT ITER 4090 NEW BEST:: SOT 585540 SOS 195884 HAS SOPS 195773 HAS SOUS 57448 HAS SOUPS 57337 WITH SCORE 57532.884
AT ITER 4127 NEW BEST:: SOT 585446 SOS 196843 HAS SOPS 196620 HAS SOUS 57521 HAS SOUPS 57298 WITH SCORE 57494.843
AT ITER 4136 NEW BEST:: SOT 585343 SOS 196740 HAS SOPS 196517 HAS SOUS 57447 HAS SOUPS 57224 WITH SCORE 57420.74
AT ITER 4150 NEW BEST:: SOT 585074 SOS 196474 HAS SOPS 196251 HAS SOUS 57182 HAS SOUPS 56959 WITH SCORE 57155.474
AT ITER 4181 NEW BEST:: SOT 585067 SOS 196467 HAS SOPS 196244 HAS SOUS 57182 HAS SOUPS 56959 WITH SCORE 57155.467
AT ITER 4182 NEW BEST:: SOT 585052 SOS 196452 HAS SOPS 196229 HAS SOUS 57167 HAS SOUPS 56944 WITH SCORE 57140.452
AT ITER 4211 NEW BEST:: SOT 585025 SOS 196444 HAS SOPS 196221 HAS SOUS 57151 HAS SOUPS 56928 WITH SCORE 57124.444
AT ITER 4238 NEW BEST:: SOT 585025 SOS 196442 HAS SOPS 196221 HAS SOUS 57149 HAS SOUPS 56928 WITH SCORE 57124.442
AT ITER 4272 NEW BEST:: SOT 585022 SOS 196560 HAS SOPS 196339 HAS SOUS 57143 HAS SOUPS 56922 WITH SCORE 57118.56
AT ITER 4275 NEW BEST:: SOT 584951 SOS 196396 HAS SOPS 196175 HAS SOUS 57127 HAS SOUPS 56906 WITH SCORE 57102.396
AT ITER 4278 NEW BEST:: SOT 584945 SOS 196390 HAS SOPS 196169 HAS SOUS 57115 HAS SOUPS 56894 WITH SCORE 57090.39
AT ITER 4291 NEW BEST:: SOT 584900 SOS 196117 HAS SOPS 195896 HAS SOUS 57025 HAS SOUPS 56804 WITH SCORE 57000.117
AT ITER 4300 NEW BEST:: SOT 584820 SOS 196037 HAS SOPS 195816 HAS SOUS 56953 HAS SOUPS 56732 WITH SCORE 56928.037
AT ITER 4301 NEW BEST:: SOT 584807 SOS 196024 HAS SOPS 195803 HAS SOUS 56927 HAS SOUPS 56706 WITH SCORE 56902.024
AT ITER 4320 NEW BEST:: SOT 584750 SOS 195907 HAS SOPS 195686 HAS SOUS 56915 HAS SOUPS 56694 WITH SCORE 56889.907
AT ITER 4339 NEW BEST:: SOT 584750 SOS 195907 HAS SOPS 195686 HAS SOUS 56913 HAS SOUPS 56692 WITH SCORE 56887.907
AT ITER 4368 NEW BEST:: SOT 584828 SOS 195595 HAS SOPS 195374 HAS SOUS 56913 HAS SOUPS 56692 WITH SCORE 56887.595
AT ITER 4404 NEW BEST:: SOT 584775 SOS 195502 HAS SOPS 195281 HAS SOUS 56852 HAS SOUPS 56631 WITH SCORE 56826.502
AT ITER 4418 NEW BEST:: SOT 584775 SOS 195522 HAS SOPS 195301 HAS SOUS 56827 HAS SOUPS 56606 WITH SCORE 56801.522
AT ITER 4419 NEW BEST:: SOT 584761 SOS 195438 HAS SOPS 195217 HAS SOUS 56799 HAS SOUPS 56578 WITH SCORE 56773.438
AT ITER 4423 NEW BEST:: SOT 583324 SOS 194022 HAS SOPS 193801 HAS SOUS 55587 HAS SOUPS 55366 WITH SCORE 55560.022
AT ITER 4446 NEW BEST:: SOT 583289 SOS 193984 HAS SOPS 193763 HAS SOUS 55536 HAS SOUPS 55315 WITH SCORE 55508.984
AT ITER 4471 NEW BEST:: SOT 583295 SOS 193870 HAS SOPS 193649 HAS SOUS 55524 HAS SOUPS 55303 WITH SCORE 55496.87
AT ITER 4483 NEW BEST:: SOT 583240 SOS 193850 HAS SOPS 193629 HAS SOUS 55414 HAS SOUPS 55193 WITH SCORE 55386.85
AT ITER 4486 NEW BEST:: SOT 583164 SOS 193767 HAS SOPS 193546 HAS SOUS 55334 HAS SOUPS 55113 WITH SCORE 55306.767
AT ITER 4499 NEW BEST:: SOT 583164 SOS 193758 HAS SOPS 193537 HAS SOUS 55316 HAS SOUPS 55095 WITH SCORE 55288.758
AT ITER 4502 NEW BEST:: SOT 583163 SOS 193757 HAS SOPS 193536 HAS SOUS 55310 HAS SOUPS 55089 WITH SCORE 55282.757
AT ITER 4518 NEW BEST:: SOT 583163 SOS 193687 HAS SOPS 193466 HAS SOUS 55296 HAS SOUPS 55075 WITH SCORE 55268.687
AT ITER 4536 NEW BEST:: SOT 583065 SOS 193589 HAS SOPS 193368 HAS SOUS 55100 HAS SOUPS 54879 WITH SCORE 55072.589
AT ITER 4550 NEW BEST:: SOT 583064 SOS 193589 HAS SOPS 193368 HAS SOUS 55098 HAS SOUPS 54877 WITH SCORE 55070.589
AT ITER 4596 NEW BEST:: SOT 583066 SOS 193586 HAS SOPS 193365 HAS SOUS 55092 HAS SOUPS 54871 WITH SCORE 55064.586
AT ITER 4617 NEW BEST:: SOT 583066 SOS 193586 HAS SOPS 193365 HAS SOUS 55090 HAS SOUPS 54869 WITH SCORE 55062.586
AT ITER 4630 NEW BEST:: SOT 583059 SOS 193579 HAS SOPS 193358 HAS SOUS 55076 HAS SOUPS 54855 WITH SCORE 55048.579
AT ITER 4641 NEW BEST:: SOT 583059 SOS 193570 HAS SOPS 193349 HAS SOUS 55076 HAS SOUPS 54855 WITH SCORE 55048.57
AT ITER 4652 NEW BEST:: SOT 583059 SOS 193570 HAS SOPS 193349 HAS SOUS 55070 HAS SOUPS 54849 WITH SCORE 55042.57
AT ITER 4671 NEW BEST:: SOT 582925 SOS 193436 HAS SOPS 193215 HAS SOUS 55051 HAS SOUPS 54830 WITH SCORE 55023.436
AT ITER 4681 NEW BEST:: SOT 582841 SOS 192904 HAS SOPS 192683 HAS SOUS 54947 HAS SOUPS 54726 WITH SCORE 54918.904
AT ITER 4696 NEW BEST:: SOT 582824 SOS 192887 HAS SOPS 192666 HAS SOUS 54938 HAS SOUPS 54717 WITH SCORE 54909.887
AT ITER 4711 NEW BEST:: SOT 582795 SOS 192863 HAS SOPS 192642 HAS SOUS 54914 HAS SOUPS 54693 WITH SCORE 54885.863
AT ITER 4713 NEW BEST:: SOT 582778 SOS 192841 HAS SOPS 192620 HAS SOUS 54896 HAS SOUPS 54675 WITH SCORE 54867.841
AT ITER 4724 NEW BEST:: SOT 582772 SOS 192835 HAS SOPS 192614 HAS SOUS 54884 HAS SOUPS 54663 WITH SCORE 54855.835
AT ITER 4732 NEW BEST:: SOT 582798 SOS 193193 HAS SOPS 192972 HAS SOUS 54881 HAS SOUPS 54660 WITH SCORE 54853.193
AT ITER 4735 NEW BEST:: SOT 582733 SOS 193113 HAS SOPS 192892 HAS SOUS 54839 HAS SOUPS 54618 WITH SCORE 54811.113
AT ITER 4736 NEW BEST:: SOT 582680 SOS 193060 HAS SOPS 192839 HAS SOUS 54733 HAS SOUPS 54512 WITH SCORE 54705.06
AT ITER 4741 NEW BEST:: SOT 582677 SOS 193057 HAS SOPS 192836 HAS SOUS 54730 HAS SOUPS 54509 WITH SCORE 54702.057
AT ITER 4789 NEW BEST:: SOT 582628 SOS 193368 HAS SOPS 193147 HAS SOUS 54714 HAS SOUPS 54493 WITH SCORE 54686.368
AT ITER 4814 NEW BEST:: SOT 582557 SOS 193315 HAS SOPS 193094 HAS SOUS 54558 HAS SOUPS 54337 WITH SCORE 54530.315
AT ITER 4874 NEW BEST:: SOT 582480 SOS 193238 HAS SOPS 193017 HAS SOUS 54548 HAS SOUPS 54327 WITH SCORE 54520.238
AT ITER 4877 NEW BEST:: SOT 582343 SOS 193236 HAS SOPS 193015 HAS SOUS 54540 HAS SOUPS 54319 WITH SCORE 54512.236
AT ITER 4884 NEW BEST:: SOT 582336 SOS 193229 HAS SOPS 193008 HAS SOUS 54526 HAS SOUPS 54305 WITH SCORE 54498.229
AT ITER 4896 NEW BEST:: SOT 582336 SOS 193229 HAS SOPS 193008 HAS SOUS 54524 HAS SOUPS 54303 WITH SCORE 54496.229
AT ITER 4915 NEW BEST:: SOT 582291 SOS 193184 HAS SOPS 192963 HAS SOUS 54498 HAS SOUPS 54277 WITH SCORE 54470.184
AT ITER 4933 NEW BEST:: SOT 582286 SOS 193231 HAS SOPS 193010 HAS SOUS 54488 HAS SOUPS 54267 WITH SCORE 54460.231
AT ITER 5026 NEW BEST:: SOT 582286 SOS 193221 HAS SOPS 193000 HAS SOUS 54488 HAS SOUPS 54267 WITH SCORE 54460.221
AT ITER 5041 NEW BEST:: SOT 582264 SOS 193199 HAS SOPS 192978 HAS SOUS 54444 HAS SOUPS 54223 WITH SCORE 54416.199
AT ITER 5044 NEW BEST:: SOT 582244 SOS 193159 HAS SOPS 192938 HAS SOUS 54404 HAS SOUPS 54183 WITH SCORE 54376.159
AT ITER 5077 NEW BEST:: SOT 582244 SOS 193159 HAS SOPS 192938 HAS SOUS 54396 HAS SOUPS 54175 WITH SCORE 54368.159
AT ITER 5088 NEW BEST:: SOT 582233 SOS 193645 HAS SOPS 193424 HAS SOUS 54374 HAS SOUPS 54153 WITH SCORE 54346.645
AT ITER 5093 NEW BEST:: SOT 582177 SOS 193617 HAS SOPS 193396 HAS SOUS 54262 HAS SOUPS 54041 WITH SCORE 54234.617
AT ITER 5107 NEW BEST:: SOT 582127 SOS 193567 HAS SOPS 193346 HAS SOUS 54150 HAS SOUPS 53929 WITH SCORE 54122.567
AT ITER 5111 NEW BEST:: SOT 582103 SOS 193543 HAS SOPS 193322 HAS SOUS 54125 HAS SOUPS 53904 WITH SCORE 54097.543
AT ITER 5145 NEW BEST:: SOT 582100 SOS 193468 HAS SOPS 193247 HAS SOUS 54119 HAS SOUPS 53898 WITH SCORE 54091.468
AT ITER 5197 NEW BEST:: SOT 582018 SOS 193211 HAS SOPS 193051 HAS SOUS 54034 HAS SOUPS 53874 WITH SCORE 54067.211
AT ITER 5217 NEW BEST:: SOT 582000 SOS 193193 HAS SOPS 193033 HAS SOUS 53998 HAS SOUPS 53838 WITH SCORE 54031.193
AT ITER 5228 NEW BEST:: SOT 582043 SOS 193183 HAS SOPS 193023 HAS SOUS 53978 HAS SOUPS 53818 WITH SCORE 54011.183
AT ITER 5232 NEW BEST:: SOT 582038 SOS 193178 HAS SOPS 193018 HAS SOUS 53972 HAS SOUPS 53812 WITH SCORE 54005.178
AT ITER 5255 NEW BEST:: SOT 582074 SOS 193214 HAS SOPS 193054 HAS SOUS 53947 HAS SOUPS 53787 WITH SCORE 53980.214
AT ITER 5256 NEW BEST:: SOT 582010 SOS 193071 HAS SOPS 192911 HAS SOUS 53902 HAS SOUPS 53742 WITH SCORE 53935.071
AT ITER 5302 NEW BEST:: SOT 581973 SOS 193034 HAS SOPS 192874 HAS SOUS 53828 HAS SOUPS 53668 WITH SCORE 53861.034
AT ITER 5312 NEW BEST:: SOT 581967 SOS 193028 HAS SOPS 192868 HAS SOUS 53810 HAS SOUPS 53650 WITH SCORE 53843.028
AT ITER 5325 NEW BEST:: SOT 581965 SOS 193027 HAS SOPS 192867 HAS SOUS 53808 HAS SOUPS 53648 WITH SCORE 53841.027
AT ITER 5329 NEW BEST:: SOT 581914 SOS 193076 HAS SOPS 192916 HAS SOUS 53777 HAS SOUPS 53617 WITH SCORE 53810.076
AT ITER 5356 NEW BEST:: SOT 581914 SOS 193076 HAS SOPS 192916 HAS SOUS 53761 HAS SOUPS 53601 WITH SCORE 53794.076
AT ITER 5427 NEW BEST:: SOT 581895 SOS 192720 HAS SOPS 192560 HAS SOUS 53723 HAS SOUPS 53563 WITH SCORE 53755.72
AT ITER 5451 NEW BEST:: SOT 581921 SOS 192815 HAS SOPS 192629 HAS SOUS 53742 HAS SOUPS 53556 WITH SCORE 53748.815
AT ITER 5461 NEW BEST:: SOT 581897 SOS 192791 HAS SOPS 192605 HAS SOUS 53741 HAS SOUPS 53555 WITH SCORE 53747.791
AT ITER 5468 NEW BEST:: SOT 581896 SOS 192790 HAS SOPS 192604 HAS SOUS 53735 HAS SOUPS 53549 WITH SCORE 53741.79
AT ITER 5473 NEW BEST:: SOT 581597 SOS 199971 HAS SOPS 199785 HAS SOUS 53712 HAS SOUPS 53526 WITH SCORE 53725.971
AT ITER 5501 NEW BEST:: SOT 581609 SOS 199970 HAS SOPS 199784 HAS SOUS 53711 HAS SOUPS 53525 WITH SCORE 53724.97
AT ITER 5529 NEW BEST:: SOT 581582 SOS 199943 HAS SOPS 199757 HAS SOUS 53709 HAS SOUPS 53523 WITH SCORE 53722.943
AT ITER 5530 NEW BEST:: SOT 581577 SOS 199943 HAS SOPS 199757 HAS SOUS 53699 HAS SOUPS 53513 WITH SCORE 53712.943
AT ITER 5577 NEW BEST:: SOT 581561 SOS 199927 HAS SOPS 199741 HAS SOUS 53651 HAS SOUPS 53465 WITH SCORE 53664.927
AT ITER 5602 NEW BEST:: SOT 581528 SOS 199894 HAS SOPS 199708 HAS SOUS 53585 HAS SOUPS 53399 WITH SCORE 53598.894
AT ITER 5609 NEW BEST:: SOT 581528 SOS 199885 HAS SOPS 199699 HAS SOUS 53585 HAS SOUPS 53399 WITH SCORE 53598.885
AT ITER 5627 NEW BEST:: SOT 581485 SOS 199849 HAS SOPS 199663 HAS SOUS 53499 HAS SOUPS 53313 WITH SCORE 53512.849
AT ITER 5632 NEW BEST:: SOT 581466 SOS 199811 HAS SOPS 199625 HAS SOUS 53461 HAS SOUPS 53275 WITH SCORE 53474.811
AT ITER 5649 NEW BEST:: SOT 581439 SOS 199784 HAS SOPS 199598 HAS SOUS 53434 HAS SOUPS 53248 WITH SCORE 53447.784
AT ITER 5662 NEW BEST:: SOT 581429 SOS 199774 HAS SOPS 199588 HAS SOUS 53417 HAS SOUPS 53231 WITH SCORE 53430.774
AT ITER 5670 NEW BEST:: SOT 581345 SOS 199702 HAS SOPS 199516 HAS SOUS 53283 HAS SOUPS 53097 WITH SCORE 53296.702
AT ITER 5673 NEW BEST:: SOT 581275 SOS 199626 HAS SOPS 199440 HAS SOUS 53129 HAS SOUPS 52943 WITH SCORE 53142.626
AT ITER 5680 NEW BEST:: SOT 581261 SOS 199542 HAS SOPS 199356 HAS SOUS 53101 HAS SOUPS 52915 WITH SCORE 53114.542
AT ITER 5686 NEW BEST:: SOT 581261 SOS 199447 HAS SOPS 199261 HAS SOUS 53082 HAS SOUPS 52896 WITH SCORE 53095.447
AT ITER 5694 NEW BEST:: SOT 581261 SOS 199434 HAS SOPS 199248 HAS SOUS 53082 HAS SOUPS 52896 WITH SCORE 53095.434
AT ITER 5717 NEW BEST:: SOT 581245 SOS 199402 HAS SOPS 199216 HAS SOUS 53050 HAS SOUPS 52864 WITH SCORE 53063.402
AT ITER 5722 NEW BEST:: SOT 580234 SOS 198403 HAS SOPS 198205 HAS SOUS 52885 HAS SOUPS 52687 WITH SCORE 52885.403
AT ITER 5816 NEW BEST:: SOT 580231 SOS 198265 HAS SOPS 198067 HAS SOUS 52879 HAS SOUPS 52681 WITH SCORE 52879.265
AT ITER 5830 NEW BEST:: SOT 580227 SOS 198263 HAS SOPS 198065 HAS SOUS 52871 HAS SOUPS 52673 WITH SCORE 52871.263
AT ITER 5834 NEW BEST:: SOT 580226 SOS 198262 HAS SOPS 198064 HAS SOUS 52870 HAS SOUPS 52672 WITH SCORE 52870.262
AT ITER 5855 NEW BEST:: SOT 580224 SOS 198260 HAS SOPS 198062 HAS SOUS 52870 HAS SOUPS 52672 WITH SCORE 52870.26
AT ITER 5856 NEW BEST:: SOT 580213 SOS 198249 HAS SOPS 198051 HAS SOUS 52841 HAS SOUPS 52643 WITH SCORE 52841.249
AT ITER 5875 NEW BEST:: SOT 580172 SOS 198221 HAS SOPS 198023 HAS SOUS 52757 HAS SOUPS 52559 WITH SCORE 52757.221
AT ITER 5887 NEW BEST:: SOT 579944 SOS 197984 HAS SOPS 197786 HAS SOUS 52600 HAS SOUPS 52402 WITH SCORE 52599.984
AT ITER 5896 NEW BEST:: SOT 579946 SOS 198041 HAS SOPS 197843 HAS SOUS 52596 HAS SOUPS 52398 WITH SCORE 52596.041
AT ITER 5917 NEW BEST:: SOT 579334 SOS 197433 HAS SOPS 197231 HAS SOUS 52498 HAS SOUPS 52296 WITH SCORE 52493.433
AT ITER 5935 NEW BEST:: SOT 579344 SOS 197468 HAS SOPS 197266 HAS SOUS 52481 HAS SOUPS 52279 WITH SCORE 52476.468
AT ITER 5947 NEW BEST:: SOT 579326 SOS 197450 HAS SOPS 197248 HAS SOUS 52445 HAS SOUPS 52243 WITH SCORE 52440.45
AT ITER 5993 NEW BEST:: SOT 579326 SOS 197447 HAS SOPS 197245 HAS SOUS 52445 HAS SOUPS 52243 WITH SCORE 52440.447
AT ITER 5996 NEW BEST:: SOT 579322 SOS 197478 HAS SOPS 197276 HAS SOUS 52430 HAS SOUPS 52228 WITH SCORE 52425.478
AT ITER 6035 NEW BEST:: SOT 579319 SOS 197475 HAS SOPS 197273 HAS SOUS 52427 HAS SOUPS 52225 WITH SCORE 52422.475
AT ITER 6052 NEW BEST:: SOT 579353 SOS 197888 HAS SOPS 197686 HAS SOUS 52380 HAS SOUPS 52178 WITH SCORE 52375.888
AT ITER 6076 NEW BEST:: SOT 579353 SOS 197748 HAS SOPS 197546 HAS SOUS 52352 HAS SOUPS 52150 WITH SCORE 52347.748
AT ITER 6149 NEW BEST:: SOT 579339 SOS 197692 HAS SOPS 197490 HAS SOUS 52338 HAS SOUPS 52136 WITH SCORE 52333.692
AT ITER 6152 NEW BEST:: SOT 578377 SOS 196805 HAS SOPS 196542 HAS SOUS 52178 HAS SOUPS 51915 WITH SCORE 52111.805
AT ITER 6168 NEW BEST:: SOT 578376 SOS 196803 HAS SOPS 196540 HAS SOUS 52176 HAS SOUPS 51913 WITH SCORE 52109.803
AT ITER 6181 NEW BEST:: SOT 578377 SOS 196798 HAS SOPS 196535 HAS SOUS 52171 HAS SOUPS 51908 WITH SCORE 52104.798
AT ITER 6192 NEW BEST:: SOT 578322 SOS 196582 HAS SOPS 196319 HAS SOUS 52061 HAS SOUPS 51798 WITH SCORE 51994.582
AT ITER 6204 NEW BEST:: SOT 578322 SOS 196582 HAS SOPS 196319 HAS SOUS 52055 HAS SOUPS 51792 WITH SCORE 51988.582
AT ITER 6219 NEW BEST:: SOT 578304 SOS 196629 HAS SOPS 196366 HAS SOUS 52050 HAS SOUPS 51787 WITH SCORE 51983.629
AT ITER 6255 NEW BEST:: SOT 578282 SOS 196607 HAS SOPS 196344 HAS SOUS 52028 HAS SOUPS 51765 WITH SCORE 51961.607
AT ITER 6280 NEW BEST:: SOT 578269 SOS 196594 HAS SOPS 196331 HAS SOUS 52002 HAS SOUPS 51739 WITH SCORE 51935.594
AT ITER 6337 NEW BEST:: SOT 578224 SOS 196580 HAS SOPS 196317 HAS SOUS 51912 HAS SOUPS 51649 WITH SCORE 51845.58
AT ITER 6362 NEW BEST:: SOT 578205 SOS 196376 HAS SOPS 196113 HAS SOUS 51874 HAS SOUPS 51611 WITH SCORE 51807.376
AT ITER 6382 NEW BEST:: SOT 578180 SOS 196326 HAS SOPS 196063 HAS SOUS 51824 HAS SOUPS 51561 WITH SCORE 51757.326
AT ITER 6390 NEW BEST:: SOT 578179 SOS 196330 HAS SOPS 196067 HAS SOUS 51822 HAS SOUPS 51559 WITH SCORE 51755.33
AT ITER 6393 NEW BEST:: SOT 578176 SOS 196327 HAS SOPS 196064 HAS SOUS 51819 HAS SOUPS 51556 WITH SCORE 51752.327
AT ITER 6398 NEW BEST:: SOT 578169 SOS 196320 HAS SOPS 196057 HAS SOUS 51812 HAS SOUPS 51549 WITH SCORE 51745.32
AT ITER 6407 NEW BEST:: SOT 578139 SOS 196275 HAS SOPS 196012 HAS SOUS 51722 HAS SOUPS 51459 WITH SCORE 51655.275
AT ITER 6418 NEW BEST:: SOT 578092 SOS 195835 HAS SOPS 195572 HAS SOUS 51566 HAS SOUPS 51303 WITH SCORE 51498.835
AT ITER 6422 NEW BEST:: SOT 578066 SOS 195807 HAS SOPS 195544 HAS SOUS 51514 HAS SOUPS 51251 WITH SCORE 51446.807
AT ITER 6442 NEW BEST:: SOT 578036 SOS 195779 HAS SOPS 195516 HAS SOUS 51494 HAS SOUPS 51231 WITH SCORE 51426.779
AT ITER 6503 NEW BEST:: SOT 577989 SOS 195567 HAS SOPS 195304 HAS SOUS 51425 HAS SOUPS 51162 WITH SCORE 51357.567
AT ITER 6516 NEW BEST:: SOT 577501 SOS 195095 HAS SOPS 194832 HAS SOUS 51151 HAS SOUPS 50888 WITH SCORE 51083.095
AT ITER 6525 NEW BEST:: SOT 577554 SOS 194843 HAS SOPS 194580 HAS SOUS 51143 HAS SOUPS 50880 WITH SCORE 51074.843
AT ITER 6547 NEW BEST:: SOT 577532 SOS 194821 HAS SOPS 194558 HAS SOUS 51099 HAS SOUPS 50836 WITH SCORE 51030.821
AT ITER 6605 NEW BEST:: SOT 577461 SOS 195159 HAS SOPS 194896 HAS SOUS 51042 HAS SOUPS 50779 WITH SCORE 50974.159
AT ITER 6656 NEW BEST:: SOT 577438 SOS 195136 HAS SOPS 194873 HAS SOUS 51022 HAS SOUPS 50759 WITH SCORE 50954.136
AT ITER 6669 NEW BEST:: SOT 577419 SOS 195041 HAS SOPS 194778 HAS SOUS 51003 HAS SOUPS 50740 WITH SCORE 50935.041
AT ITER 6671 NEW BEST:: SOT 577419 SOS 195017 HAS SOPS 194754 HAS SOUS 51003 HAS SOUPS 50740 WITH SCORE 50935.017
AT ITER 6679 NEW BEST:: SOT 577359 SOS 194957 HAS SOPS 194694 HAS SOUS 50867 HAS SOUPS 50604 WITH SCORE 50798.957
AT ITER 6686 NEW BEST:: SOT 577323 SOS 194861 HAS SOPS 194598 HAS SOUS 50819 HAS SOUPS 50556 WITH SCORE 50750.861
AT ITER 6698 NEW BEST:: SOT 577323 SOS 194905 HAS SOPS 194642 HAS SOUS 50797 HAS SOUPS 50534 WITH SCORE 50728.905
AT ITER 6701 NEW BEST:: SOT 577298 SOS 194848 HAS SOPS 194585 HAS SOUS 50747 HAS SOUPS 50484 WITH SCORE 50678.848
AT ITER 6773 NEW BEST:: SOT 577236 SOS 194736 HAS SOPS 194473 HAS SOUS 50723 HAS SOUPS 50460 WITH SCORE 50654.736
AT ITER 6788 NEW BEST:: SOT 577278 SOS 194778 HAS SOPS 194515 HAS SOUS 50720 HAS SOUPS 50457 WITH SCORE 50651.778
AT ITER 6833 NEW BEST:: SOT 577263 SOS 194684 HAS SOPS 194421 HAS SOUS 50690 HAS SOUPS 50427 WITH SCORE 50621.684
AT ITER 6846 NEW BEST:: SOT 577289 SOS 194710 HAS SOPS 194447 HAS SOUS 50678 HAS SOUPS 50415 WITH SCORE 50609.71
AT ITER 6849 NEW BEST:: SOT 577249 SOS 194670 HAS SOPS 194407 HAS SOUS 50655 HAS SOUPS 50392 WITH SCORE 50586.67
AT ITER 6867 NEW BEST:: SOT 577249 SOS 194628 HAS SOPS 194365 HAS SOUS 50655 HAS SOUPS 50392 WITH SCORE 50586.628
AT ITER 6869 NEW BEST:: SOT 577225 SOS 194401 HAS SOPS 194138 HAS SOUS 50604 HAS SOUPS 50341 WITH SCORE 50535.401
AT ITER 6892 NEW BEST:: SOT 577225 SOS 194398 HAS SOPS 194135 HAS SOUS 50603 HAS SOUPS 50340 WITH SCORE 50534.398
AT ITER 6916 NEW BEST:: SOT 577222 SOS 194395 HAS SOPS 194132 HAS SOUS 50598 HAS SOUPS 50335 WITH SCORE 50529.395
AT ITER 6982 NEW BEST:: SOT 577181 SOS 194313 HAS SOPS 194050 HAS SOUS 50516 HAS SOUPS 50253 WITH SCORE 50447.313
AT ITER 6987 NEW BEST:: SOT 577164 SOS 194279 HAS SOPS 194016 HAS SOUS 50448 HAS SOUPS 50185 WITH SCORE 50379.279
AT ITER 7014 NEW BEST:: SOT 577164 SOS 194279 HAS SOPS 194016 HAS SOUS 50447 HAS SOUPS 50184 WITH SCORE 50378.279
AT ITER 7061 NEW BEST:: SOT 577162 SOS 194278 HAS SOPS 194015 HAS SOUS 50445 HAS SOUPS 50182 WITH SCORE 50376.278
AT ITER 7091 NEW BEST:: SOT 577163 SOS 194270 HAS SOPS 194007 HAS SOUS 50427 HAS SOUPS 50164 WITH SCORE 50358.27
AT ITER 7093 NEW BEST:: SOT 577156 SOS 194263 HAS SOPS 194000 HAS SOUS 50413 HAS SOUPS 50150 WITH SCORE 50344.263
AT ITER 7097 NEW BEST:: SOT 577141 SOS 194248 HAS SOPS 193985 HAS SOUS 50383 HAS SOUPS 50120 WITH SCORE 50314.248
AT ITER 7129 NEW BEST:: SOT 577130 SOS 194237 HAS SOPS 193974 HAS SOUS 50361 HAS SOUPS 50098 WITH SCORE 50292.237
AT ITER 7163 NEW BEST:: SOT 577128 SOS 193639 HAS SOPS 193376 HAS SOUS 50357 HAS SOUPS 50094 WITH SCORE 50287.639
AT ITER 7186 NEW BEST:: SOT 577103 SOS 193614 HAS SOPS 193351 HAS SOUS 50295 HAS SOUPS 50032 WITH SCORE 50225.614
AT ITER 7215 NEW BEST:: SOT 577116 SOS 193627 HAS SOPS 193364 HAS SOUS 50265 HAS SOUPS 50002 WITH SCORE 50195.627
AT ITER 7255 NEW BEST:: SOT 577122 SOS 193633 HAS SOPS 193370 HAS SOUS 50249 HAS SOUPS 49986 WITH SCORE 50179.633
AT ITER 7276 NEW BEST:: SOT 577122 SOS 193613 HAS SOPS 193350 HAS SOUS 50245 HAS SOUPS 49982 WITH SCORE 50175.613
AT ITER 7292 NEW BEST:: SOT 577104 SOS 193595 HAS SOPS 193332 HAS SOUS 50241 HAS SOUPS 49978 WITH SCORE 50171.595
AT ITER 7327 NEW BEST:: SOT 577074 SOS 193565 HAS SOPS 193302 HAS SOUS 50211 HAS SOUPS 49948 WITH SCORE 50141.565
AT ITER 7389 NEW BEST:: SOT 577066 SOS 193557 HAS SOPS 193294 HAS SOUS 50211 HAS SOUPS 49948 WITH SCORE 50141.557
AT ITER 7401 NEW BEST:: SOT 577067 SOS 193554 HAS SOPS 193291 HAS SOUS 50205 HAS SOUPS 49942 WITH SCORE 50135.554
AT ITER 7407 NEW BEST:: SOT 577079 SOS 193566 HAS SOPS 193303 HAS SOUS 50173 HAS SOUPS 49910 WITH SCORE 50103.566
AT ITER 7436 NEW BEST:: SOT 577080 SOS 193567 HAS SOPS 193304 HAS SOUS 50147 HAS SOUPS 49884 WITH SCORE 50077.567
AT ITER 7498 NEW BEST:: SOT 577043 SOS 193530 HAS SOPS 193267 HAS SOUS 50139 HAS SOUPS 49876 WITH SCORE 50069.53
AT ITER 7545 NEW BEST:: SOT 577060 SOS 193462 HAS SOPS 193199 HAS SOUS 50139 HAS SOUPS 49876 WITH SCORE 50069.462
AT ITER 7567 NEW BEST:: SOT 577048 SOS 193426 HAS SOPS 193163 HAS SOUS 50127 HAS SOUPS 49864 WITH SCORE 50057.426
AT ITER 7568 NEW BEST:: SOT 576992 SOS 193625 HAS SOPS 193362 HAS SOUS 50122 HAS SOUPS 49859 WITH SCORE 50052.625
AT ITER 7596 NEW BEST:: SOT 576992 SOS 193613 HAS SOPS 193350 HAS SOUS 50122 HAS SOUPS 49859 WITH SCORE 50052.613
AT ITER 7605 NEW BEST:: SOT 576992 SOS 193563 HAS SOPS 193300 HAS SOUS 50122 HAS SOUPS 49859 WITH SCORE 50052.563
AT ITER 7621 NEW BEST:: SOT 576961 SOS 193561 HAS SOPS 193298 HAS SOUS 50116 HAS SOUPS 49853 WITH SCORE 50046.561
AT ITER 7626 NEW BEST:: SOT 576946 SOS 193546 HAS SOPS 193283 HAS SOUS 50086 HAS SOUPS 49823 WITH SCORE 50016.546
AT ITER 7645 NEW BEST:: SOT 576943 SOS 193543 HAS SOPS 193280 HAS SOUS 50083 HAS SOUPS 49820 WITH SCORE 50013.543
AT ITER 7647 NEW BEST:: SOT 576922 SOS 193522 HAS SOPS 193259 HAS SOUS 50041 HAS SOUPS 49778 WITH SCORE 49971.522
AT ITER 7687 NEW BEST:: SOT 576921 SOS 193521 HAS SOPS 193258 HAS SOUS 50039 HAS SOUPS 49776 WITH SCORE 49969.521
AT ITER 7731 NEW BEST:: SOT 576919 SOS 193519 HAS SOPS 193256 HAS SOUS 50035 HAS SOUPS 49772 WITH SCORE 49965.519
AT ITER 7744 NEW BEST:: SOT 576919 SOS 193505 HAS SOPS 193242 HAS SOUS 50035 HAS SOUPS 49772 WITH SCORE 49965.505
AT ITER 7767 NEW BEST:: SOT 576909 SOS 193495 HAS SOPS 193232 HAS SOUS 50015 HAS SOUPS 49752 WITH SCORE 49945.495
AT ITER 7772 NEW BEST:: SOT 576872 SOS 193458 HAS SOPS 193195 HAS SOUS 49941 HAS SOUPS 49678 WITH SCORE 49871.458
AT ITER 7795 NEW BEST:: SOT 576866 SOS 193452 HAS SOPS 193189 HAS SOUS 49929 HAS SOUPS 49666 WITH SCORE 49859.452
AT ITER 7811 NEW BEST:: SOT 576862 SOS 193448 HAS SOPS 193185 HAS SOUS 49921 HAS SOUPS 49658 WITH SCORE 49851.448
AT ITER 7849 NEW BEST:: SOT 576862 SOS 193448 HAS SOPS 193185 HAS SOUS 49902 HAS SOUPS 49639 WITH SCORE 49832.448
AT ITER 7882 NEW BEST:: SOT 576800 SOS 193386 HAS SOPS 193123 HAS SOUS 49781 HAS SOUPS 49518 WITH SCORE 49711.386
AT ITER 7920 NEW BEST:: SOT 576800 SOS 193371 HAS SOPS 193108 HAS SOUS 49778 HAS SOUPS 49515 WITH SCORE 49708.371
AT ITER 7958 NEW BEST:: SOT 576790 SOS 193361 HAS SOPS 193098 HAS SOUS 49768 HAS SOUPS 49505 WITH SCORE 49698.361
AT ITER 7982 NEW BEST:: SOT 576761 SOS 193277 HAS SOPS 193014 HAS SOUS 49728 HAS SOUPS 49465 WITH SCORE 49658.277
AT ITER 8035 NEW BEST:: SOT 576758 SOS 193452 HAS SOPS 193189 HAS SOUS 49725 HAS SOUPS 49462 WITH SCORE 49655.452
AT ITER 8037 NEW BEST:: SOT 576733 SOS 193427 HAS SOPS 193164 HAS SOUS 49673 HAS SOUPS 49410 WITH SCORE 49603.427
AT ITER 8072 NEW BEST:: SOT 576701 SOS 193395 HAS SOPS 193132 HAS SOUS 49641 HAS SOUPS 49378 WITH SCORE 49571.395
AT ITER 8117 NEW BEST:: SOT 576615 SOS 193309 HAS SOPS 193046 HAS SOUS 49613 HAS SOUPS 49350 WITH SCORE 49543.309
AT ITER 8127 NEW BEST:: SOT 576626 SOS 193320 HAS SOPS 193057 HAS SOUS 49608 HAS SOUPS 49345 WITH SCORE 49538.32
AT ITER 8135 NEW BEST:: SOT 576559 SOS 193253 HAS SOPS 192990 HAS SOUS 49474 HAS SOUPS 49211 WITH SCORE 49404.253
AT ITER 8163 NEW BEST:: SOT 576550 SOS 193023 HAS SOPS 192760 HAS SOUS 49456 HAS SOUPS 49193 WITH SCORE 49386.023
AT ITER 8170 NEW BEST:: SOT 576469 SOS 192960 HAS SOPS 192697 HAS SOUS 49317 HAS SOUPS 49054 WITH SCORE 49246.96
AT ITER 8173 NEW BEST:: SOT 576457 SOS 192948 HAS SOPS 192685 HAS SOUS 49307 HAS SOUPS 49044 WITH SCORE 49236.948
AT ITER 8178 NEW BEST:: SOT 576462 SOS 192953 HAS SOPS 192690 HAS SOUS 49301 HAS SOUPS 49038 WITH SCORE 49230.953
AT ITER 8185 NEW BEST:: SOT 576457 SOS 192948 HAS SOPS 192685 HAS SOUS 49291 HAS SOUPS 49028 WITH SCORE 49220.948
AT ITER 8226 NEW BEST:: SOT 576451 SOS 192945 HAS SOPS 192682 HAS SOUS 49285 HAS SOUPS 49022 WITH SCORE 49214.945
AT ITER 8228 NEW BEST:: SOT 572726 SOS 190630 HAS SOPS 190325 HAS SOUS 49248 HAS SOUPS 48943 WITH SCORE 49133.63
AT ITER 8261 NEW BEST:: SOT 572700 SOS 190604 HAS SOPS 190299 HAS SOUS 49196 HAS SOUPS 48891 WITH SCORE 49081.604
AT ITER 8263 NEW BEST:: SOT 572698 SOS 190604 HAS SOPS 190299 HAS SOUS 49190 HAS SOUPS 48885 WITH SCORE 49075.604
AT ITER 8280 NEW BEST:: SOT 572690 SOS 190596 HAS SOPS 190291 HAS SOUS 49174 HAS SOUPS 48869 WITH SCORE 49059.596
AT ITER 8293 NEW BEST:: SOT 572427 SOS 190333 HAS SOPS 190028 HAS SOUS 49008 HAS SOUPS 48703 WITH SCORE 48893.333
AT ITER 8298 NEW BEST:: SOT 572437 SOS 190328 HAS SOPS 190023 HAS SOUS 48998 HAS SOUPS 48693 WITH SCORE 48883.328
AT ITER 8341 NEW BEST:: SOT 572437 SOS 190268 HAS SOPS 189963 HAS SOUS 48998 HAS SOUPS 48693 WITH SCORE 48883.268
AT ITER 8342 NEW BEST:: SOT 572444 SOS 190240 HAS SOPS 189935 HAS SOUS 48998 HAS SOUPS 48693 WITH SCORE 48883.24
AT ITER 8361 NEW BEST:: SOT 572366 SOS 190162 HAS SOPS 189857 HAS SOUS 48842 HAS SOUPS 48537 WITH SCORE 48727.162
AT ITER 8395 NEW BEST:: SOT 572429 SOS 190295 HAS SOPS 189990 HAS SOUS 48828 HAS SOUPS 48523 WITH SCORE 48713.295
AT ITER 8427 NEW BEST:: SOT 572429 SOS 190304 HAS SOPS 189999 HAS SOUS 48819 HAS SOUPS 48514 WITH SCORE 48704.304
AT ITER 8433 NEW BEST:: SOT 572396 SOS 190272 HAS SOPS 189967 HAS SOUS 48755 HAS SOUPS 48450 WITH SCORE 48640.272
AT ITER 8437 NEW BEST:: SOT 572394 SOS 190248 HAS SOPS 189943 HAS SOUS 48747 HAS SOUPS 48442 WITH SCORE 48632.248
AT ITER 8441 NEW BEST:: SOT 572355 SOS 190209 HAS SOPS 189904 HAS SOUS 48728 HAS SOUPS 48423 WITH SCORE 48613.209
AT ITER 8448 NEW BEST:: SOT 572347 SOS 190351 HAS SOPS 190046 HAS SOUS 48712 HAS SOUPS 48407 WITH SCORE 48597.351
AT ITER 8472 NEW BEST:: SOT 572313 SOS 190312 HAS SOPS 190007 HAS SOUS 48677 HAS SOUPS 48372 WITH SCORE 48562.312
AT ITER 8473 NEW BEST:: SOT 572002 SOS 190012 HAS SOPS 189707 HAS SOUS 48520 HAS SOUPS 48215 WITH SCORE 48405.012
AT ITER 8474 NEW BEST:: SOT 571985 SOS 189978 HAS SOPS 189673 HAS SOUS 48486 HAS SOUPS 48181 WITH SCORE 48370.978
AT ITER 8495 NEW BEST:: SOT 571876 SOS 189931 HAS SOPS 189626 HAS SOUS 48392 HAS SOUPS 48087 WITH SCORE 48276.931
AT ITER 8504 NEW BEST:: SOT 571793 SOS 189848 HAS SOPS 189543 HAS SOUS 48336 HAS SOUPS 48031 WITH SCORE 48220.848
AT ITER 8506 NEW BEST:: SOT 571793 SOS 189808 HAS SOPS 189503 HAS SOUS 48328 HAS SOUPS 48023 WITH SCORE 48212.808
AT ITER 8508 NEW BEST:: SOT 571798 SOS 189788 HAS SOPS 189483 HAS SOUS 48328 HAS SOUPS 48023 WITH SCORE 48212.788
AT ITER 8536 NEW BEST:: SOT 571791 SOS 189665 HAS SOPS 189360 HAS SOUS 48314 HAS SOUPS 48009 WITH SCORE 48198.665
AT ITER 8581 NEW BEST:: SOT 571791 SOS 189673 HAS SOPS 189368 HAS SOUS 48306 HAS SOUPS 48001 WITH SCORE 48190.673
AT ITER 8591 NEW BEST:: SOT 571784 SOS 189666 HAS SOPS 189361 HAS SOUS 48292 HAS SOUPS 47987 WITH SCORE 48176.666
AT ITER 8622 NEW BEST:: SOT 571775 SOS 189657 HAS SOPS 189352 HAS SOUS 48274 HAS SOUPS 47969 WITH SCORE 48158.657
AT ITER 8639 NEW BEST:: SOT 571789 SOS 189601 HAS SOPS 189296 HAS SOUS 48274 HAS SOUPS 47969 WITH SCORE 48158.601
AT ITER 8666 NEW BEST:: SOT 571775 SOS 189593 HAS SOPS 189288 HAS SOUS 48240 HAS SOUPS 47935 WITH SCORE 48124.593
AT ITER 8747 NEW BEST:: SOT 571724 SOS 189542 HAS SOPS 189237 HAS SOUS 48138 HAS SOUPS 47833 WITH SCORE 48022.542
AT ITER 8773 NEW BEST:: SOT 571724 SOS 189547 HAS SOPS 189242 HAS SOUS 48137 HAS SOUPS 47832 WITH SCORE 48021.547
AT ITER 8807 NEW BEST:: SOT 571592 SOS 188877 HAS SOPS 188572 HAS SOUS 48125 HAS SOUPS 47820 WITH SCORE 48008.877
AT ITER 8822 NEW BEST:: SOT 571545 SOS 188830 HAS SOPS 188525 HAS SOUS 48071 HAS SOUPS 47766 WITH SCORE 47954.83
AT ITER 8840 NEW BEST:: SOT 571528 SOS 188813 HAS SOPS 188508 HAS SOUS 48037 HAS SOUPS 47732 WITH SCORE 47920.813
AT ITER 8864 NEW BEST:: SOT 571539 SOS 189204 HAS SOPS 188899 HAS SOUS 48009 HAS SOUPS 47704 WITH SCORE 47893.204
AT ITER 8866 NEW BEST:: SOT 571520 SOS 189185 HAS SOPS 188880 HAS SOUS 47971 HAS SOUPS 47666 WITH SCORE 47855.185
AT ITER 8892 NEW BEST:: SOT 571503 SOS 189168 HAS SOPS 188863 HAS SOUS 47937 HAS SOUPS 47632 WITH SCORE 47821.168
AT ITER 8903 NEW BEST:: SOT 571399 SOS 189064 HAS SOPS 188759 HAS SOUS 47821 HAS SOUPS 47516 WITH SCORE 47705.064
AT ITER 8913 NEW BEST:: SOT 571379 SOS 189044 HAS SOPS 188739 HAS SOUS 47778 HAS SOUPS 47473 WITH SCORE 47662.044
AT ITER 8936 NEW BEST:: SOT 571377 SOS 189340 HAS SOPS 189035 HAS SOUS 47774 HAS SOUPS 47469 WITH SCORE 47658.34
AT ITER 8937 NEW BEST:: SOT 571390 SOS 189337 HAS SOPS 189032 HAS SOUS 47768 HAS SOUPS 47463 WITH SCORE 47652.337
AT ITER 8963 NEW BEST:: SOT 571390 SOS 189267 HAS SOPS 188962 HAS SOUS 47754 HAS SOUPS 47449 WITH SCORE 47638.267
AT ITER 9007 NEW BEST:: SOT 570657 SOS 188624 HAS SOPS 188229 HAS SOUS 47823 HAS SOUPS 47428 WITH SCORE 47616.624
AT ITER 9010 NEW BEST:: SOT 570652 SOS 188619 HAS SOPS 188224 HAS SOUS 47813 HAS SOUPS 47418 WITH SCORE 47606.619
AT ITER 9030 NEW BEST:: SOT 570580 SOS 188547 HAS SOPS 188152 HAS SOUS 47762 HAS SOUPS 47367 WITH SCORE 47555.547
AT ITER 9054 NEW BEST:: SOT 570569 SOS 188536 HAS SOPS 188141 HAS SOUS 47745 HAS SOUPS 47350 WITH SCORE 47538.536
AT ITER 9079 NEW BEST:: SOT 570573 SOS 188535 HAS SOPS 188140 HAS SOUS 47743 HAS SOUPS 47348 WITH SCORE 47536.535
AT ITER 9093 NEW BEST:: SOT 570544 SOS 188506 HAS SOPS 188111 HAS SOUS 47734 HAS SOUPS 47339 WITH SCORE 47527.506
AT ITER 9130 NEW BEST:: SOT 570544 SOS 188506 HAS SOPS 188111 HAS SOUS 47733 HAS SOUPS 47338 WITH SCORE 47526.506
AT ITER 9153 NEW BEST:: SOT 570532 SOS 188552 HAS SOPS 188157 HAS SOUS 47713 HAS SOUPS 47318 WITH SCORE 47506.552
AT ITER 9170 NEW BEST:: SOT 570409 SOS 188551 HAS SOPS 188156 HAS SOUS 47711 HAS SOUPS 47316 WITH SCORE 47504.551
AT ITER 9222 NEW BEST:: SOT 570405 SOS 188547 HAS SOPS 188152 HAS SOUS 47703 HAS SOUPS 47308 WITH SCORE 47496.547
AT ITER 9276 NEW BEST:: SOT 570405 SOS 188492 HAS SOPS 188097 HAS SOUS 47692 HAS SOUPS 47297 WITH SCORE 47485.492
AT ITER 9299 NEW BEST:: SOT 570378 SOS 188465 HAS SOPS 188070 HAS SOUS 47659 HAS SOUPS 47264 WITH SCORE 47452.465
AT ITER 9315 NEW BEST:: SOT 570359 SOS 188446 HAS SOPS 188051 HAS SOUS 47649 HAS SOUPS 47254 WITH SCORE 47442.446
AT ITER 9351 NEW BEST:: SOT 570299 SOS 188386 HAS SOPS 187991 HAS SOUS 47600 HAS SOUPS 47205 WITH SCORE 47393.386
AT ITER 9369 NEW BEST:: SOT 570292 SOS 188344 HAS SOPS 187949 HAS SOUS 47600 HAS SOUPS 47205 WITH SCORE 47393.344
AT ITER 9426 NEW BEST:: SOT 570333 SOS 188325 HAS SOPS 187930 HAS SOUS 47582 HAS SOUPS 47187 WITH SCORE 47375.325
AT ITER 9438 NEW BEST:: SOT 570263 SOS 188255 HAS SOPS 187860 HAS SOUS 47489 HAS SOUPS 47094 WITH SCORE 47282.255
AT ITER 9442 NEW BEST:: SOT 570239 SOS 188231 HAS SOPS 187836 HAS SOUS 47441 HAS SOUPS 47046 WITH SCORE 47234.231
AT ITER 9495 NEW BEST:: SOT 570079 SOS 188081 HAS SOPS 187686 HAS SOUS 47263 HAS SOUPS 46868 WITH SCORE 47056.081
AT ITER 9511 NEW BEST:: SOT 570003 SOS 187958 HAS SOPS 187563 HAS SOUS 47111 HAS SOUPS 46716 WITH SCORE 46903.958
AT ITER 9517 NEW BEST:: SOT 569985 SOS 187940 HAS SOPS 187545 HAS SOUS 47092 HAS SOUPS 46697 WITH SCORE 46884.94
AT ITER 9537 NEW BEST:: SOT 570001 SOS 187876 HAS SOPS 187481 HAS SOUS 47092 HAS SOUPS 46697 WITH SCORE 46884.876
AT ITER 9558 NEW BEST:: SOT 570001 SOS 187722 HAS SOPS 187327 HAS SOUS 47092 HAS SOUPS 46697 WITH SCORE 46884.722
AT ITER 9576 NEW BEST:: SOT 569944 SOS 188120 HAS SOPS 187725 HAS SOUS 47035 HAS SOUPS 46640 WITH SCORE 46828.12
AT ITER 9608 NEW BEST:: SOT 569941 SOS 188117 HAS SOPS 187722 HAS SOUS 47029 HAS SOUPS 46634 WITH SCORE 46822.117
AT ITER 9639 NEW BEST:: SOT 569941 SOS 188097 HAS SOPS 187702 HAS SOUS 47025 HAS SOUPS 46630 WITH SCORE 46818.097
AT ITER 9725 NEW BEST:: SOT 569913 SOS 188069 HAS SOPS 187674 HAS SOUS 46964 HAS SOUPS 46569 WITH SCORE 46757.069
AT ITER 9736 NEW BEST:: SOT 569913 SOS 187873 HAS SOPS 187478 HAS SOUS 46964 HAS SOUPS 46569 WITH SCORE 46756.873
AT ITER 9739 NEW BEST:: SOT 569885 SOS 187845 HAS SOPS 187450 HAS SOUS 46930 HAS SOUPS 46535 WITH SCORE 46722.845
AT ITER 9772 NEW BEST:: SOT 569879 SOS 187833 HAS SOPS 187438 HAS SOUS 46918 HAS SOUPS 46523 WITH SCORE 46710.833
AT ITER 9773 NEW BEST:: SOT 569874 SOS 187828 HAS SOPS 187433 HAS SOUS 46908 HAS SOUPS 46513 WITH SCORE 46700.828
AT ITER 9918 NEW BEST:: SOT 569874 SOS 187808 HAS SOPS 187413 HAS SOUS 46908 HAS SOUPS 46513 WITH SCORE 46700.808
AT ITER 9929 NEW BEST:: SOT 569846 SOS 187840 HAS SOPS 187445 HAS SOUS 46884 HAS SOUPS 46489 WITH SCORE 46676.84
AT ITER 9967 NEW BEST:: SOT 569838 SOS 187832 HAS SOPS 187437 HAS SOUS 46868 HAS SOUPS 46473 WITH SCORE 46660.832
AT ITER 9975 NEW BEST:: SOT 569817 SOS 187811 HAS SOPS 187416 HAS SOUS 46831 HAS SOUPS 46436 WITH SCORE 46623.811
AT ITER 9980 NEW BEST:: SOT 569808 SOS 187794 HAS SOPS 187399 HAS SOUS 46816 HAS SOUPS 46421 WITH SCORE 46608.794
AT ITER 9990 NEW BEST:: SOT 569805 SOS 187769 HAS SOPS 187374 HAS SOUS 46810 HAS SOUPS 46415 WITH SCORE 46602.769
AT ITER 9992 NEW BEST:: SOT 569805 SOS 187704 HAS SOPS 187309 HAS SOUS 46797 HAS SOUPS 46402 WITH SCORE 46589.704
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 10029364 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16114600 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
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.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /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
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBNT-COL-S05J30"
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 PolyORBNT-COL-S05J30, 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 r299-tall-167873953300648"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBNT-COL-S05J30.tgz
mv PolyORBNT-COL-S05J30 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 ;