About the Execution of Smart+red for SafeBus-COL-10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15314.348 | 3600000.00 | 3640300.00 | 10717.30 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r363-smll-167891813900224.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 SafeBus-COL-10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r363-smll-167891813900224
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 456K
-rw-r--r-- 1 mcc users 6.5K Feb 26 01:40 CTLCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 26 01:40 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.9K Feb 26 01:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 66K Feb 26 01:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:49 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.8K Feb 26 01:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 97K Feb 26 01:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.0K Feb 26 01:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 26 01:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 42K 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 1679054825782
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=SafeBus-COL-10
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-17 12:07:09] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-17 12:07:09] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-17 12:07:09] [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-17 12:07:10] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-17 12:07:10] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1089 ms
[2023-03-17 12:07:10] [INFO ] Detected 1 constant HL places corresponding to 10 PT places.
[2023-03-17 12:07:10] [INFO ] Imported 20 HL places and 14 HL transitions for a total of 326 PT places and 12821.0 transition bindings in 38 ms.
[2023-03-17 12:07:10] [INFO ] Unfolded HLPN to a Petri net with 326 places and 1651 transitions 11294 arcs in 127 ms.
[2023-03-17 12:07:10] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-17 12:07:10] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 326 places, 1651 transitions and 11294 arcs took 43 ms.
Total runtime 1535 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SafeBus (COL), instance 10
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: 326 places, 1651 transitions, 11294 arcs.
AT ITER 0 NEW BEST:: SOT 285042 SOS 217262 HAS SOPS 216552 HAS SOUS 80504 HAS SOUPS 80245 WITH SCORE 80462.262
AT ITER 12 NEW BEST:: SOT 284972 SOS 217030 HAS SOPS 216320 HAS SOUS 80436 HAS SOUPS 80177 WITH SCORE 80394.03
AT ITER 13 NEW BEST:: SOT 284972 SOS 217030 HAS SOPS 216320 HAS SOUS 80435 HAS SOUPS 80176 WITH SCORE 80393.03
AT ITER 15 NEW BEST:: SOT 278899 SOS 211097 HAS SOPS 210558 HAS SOUS 73638 HAS SOUPS 73550 WITH SCORE 73761.097
AT ITER 37 NEW BEST:: SOT 278950 SOS 211148 HAS SOPS 210609 HAS SOUS 73629 HAS SOUPS 73541 WITH SCORE 73752.148
AT ITER 40 NEW BEST:: SOT 278898 SOS 211096 HAS SOPS 210557 HAS SOUS 73489 HAS SOUPS 73401 WITH SCORE 73612.096
AT ITER 47 NEW BEST:: SOT 278549 SOS 210710 HAS SOPS 210168 HAS SOUS 72653 HAS SOUPS 72562 WITH SCORE 72772.71
AT ITER 48 NEW BEST:: SOT 278528 SOS 210689 HAS SOPS 210147 HAS SOUS 72597 HAS SOUPS 72506 WITH SCORE 72716.689
AT ITER 52 NEW BEST:: SOT 278526 SOS 210687 HAS SOPS 210145 HAS SOUS 72595 HAS SOUPS 72504 WITH SCORE 72714.687
AT ITER 55 NEW BEST:: SOT 278526 SOS 208953 HAS SOPS 208411 HAS SOUS 72578 HAS SOUPS 72487 WITH SCORE 72695.953
AT ITER 60 NEW BEST:: SOT 278543 SOS 209174 HAS SOPS 208632 HAS SOUS 72517 HAS SOUPS 72426 WITH SCORE 72635.174
AT ITER 78 NEW BEST:: SOT 278541 SOS 209172 HAS SOPS 208630 HAS SOUS 72517 HAS SOUPS 72426 WITH SCORE 72635.172
AT ITER 81 NEW BEST:: SOT 278558 SOS 209189 HAS SOPS 208647 HAS SOUS 72398 HAS SOUPS 72307 WITH SCORE 72516.189
AT ITER 83 NEW BEST:: SOT 278558 SOS 222653 HAS SOPS 215311 HAS SOUS 72393 HAS SOUPS 72234 WITH SCORE 72456.653
AT ITER 85 NEW BEST:: SOT 278536 SOS 222631 HAS SOPS 215289 HAS SOUS 72365 HAS SOUPS 72206 WITH SCORE 72428.631
AT ITER 116 NEW BEST:: SOT 278528 SOS 222623 HAS SOPS 215281 HAS SOUS 72349 HAS SOUPS 72190 WITH SCORE 72412.623
AT ITER 117 NEW BEST:: SOT 278532 SOS 222618 HAS SOPS 215285 HAS SOUS 71915 HAS SOUPS 71765 WITH SCORE 71987.618
AT ITER 150 NEW BEST:: SOT 278512 SOS 222598 HAS SOPS 215265 HAS SOUS 71890 HAS SOUPS 71740 WITH SCORE 71962.598
AT ITER 156 NEW BEST:: SOT 278512 SOS 222577 HAS SOPS 215240 HAS SOUS 71580 HAS SOUPS 71426 WITH SCORE 71648.577
AT ITER 165 NEW BEST:: SOT 278512 SOS 224953 HAS SOPS 216416 HAS SOUS 71572 HAS SOUPS 71406 WITH SCORE 71630.953
AT ITER 175 NEW BEST:: SOT 278552 SOS 224993 HAS SOPS 216456 HAS SOUS 71556 HAS SOUPS 71390 WITH SCORE 71614.993
AT ITER 180 NEW BEST:: SOT 278526 SOS 225064 HAS SOPS 216527 HAS SOUS 71540 HAS SOUPS 71374 WITH SCORE 71599.064
AT ITER 217 NEW BEST:: SOT 278563 SOS 225101 HAS SOPS 216564 HAS SOUS 71512 HAS SOUPS 71346 WITH SCORE 71571.101
AT ITER 221 NEW BEST:: SOT 278472 SOS 225010 HAS SOPS 216473 HAS SOUS 71435 HAS SOUPS 71269 WITH SCORE 71494.01
AT ITER 243 NEW BEST:: SOT 278499 SOS 225037 HAS SOPS 216500 HAS SOUS 71414 HAS SOUPS 71248 WITH SCORE 71473.037
AT ITER 252 NEW BEST:: SOT 278600 SOS 225138 HAS SOPS 216601 HAS SOUS 71379 HAS SOUPS 71213 WITH SCORE 71438.138
AT ITER 256 NEW BEST:: SOT 278600 SOS 225138 HAS SOPS 216601 HAS SOUS 71378 HAS SOUPS 71212 WITH SCORE 71437.138
AT ITER 258 NEW BEST:: SOT 278656 SOS 225161 HAS SOPS 216622 HAS SOUS 70939 HAS SOUPS 70771 WITH SCORE 70996.161
AT ITER 264 NEW BEST:: SOT 278552 SOS 225057 HAS SOPS 216518 HAS SOUS 70831 HAS SOUPS 70663 WITH SCORE 70888.057
AT ITER 268 NEW BEST:: SOT 278422 SOS 224927 HAS SOPS 216388 HAS SOUS 70701 HAS SOUPS 70533 WITH SCORE 70757.927
AT ITER 271 NEW BEST:: SOT 277687 SOS 224192 HAS SOPS 215653 HAS SOUS 70056 HAS SOUPS 69888 WITH SCORE 70112.192
AT ITER 287 NEW BEST:: SOT 277593 SOS 224039 HAS SOPS 215413 HAS SOUS 69932 HAS SOUPS 69677 WITH SCORE 69901.039
AT ITER 314 NEW BEST:: SOT 277350 SOS 223796 HAS SOPS 215170 HAS SOUS 69689 HAS SOUPS 69434 WITH SCORE 69657.796
AT ITER 328 NEW BEST:: SOT 277350 SOS 223796 HAS SOPS 215170 HAS SOUS 69661 HAS SOUPS 69406 WITH SCORE 69629.796
AT ITER 342 NEW BEST:: SOT 277246 SOS 223673 HAS SOPS 215066 HAS SOUS 68161 HAS SOUPS 67925 WITH SCORE 68148.673
AT ITER 347 NEW BEST:: SOT 277188 SOS 223615 HAS SOPS 215008 HAS SOUS 68103 HAS SOUPS 67867 WITH SCORE 68090.615
AT ITER 350 NEW BEST:: SOT 277164 SOS 223591 HAS SOPS 214984 HAS SOUS 68095 HAS SOUPS 67859 WITH SCORE 68082.591
AT ITER 370 NEW BEST:: SOT 277164 SOS 223738 HAS SOPS 215131 HAS SOUS 68066 HAS SOUPS 67830 WITH SCORE 68053.738
AT ITER 386 NEW BEST:: SOT 277164 SOS 223738 HAS SOPS 215131 HAS SOUS 68062 HAS SOUPS 67826 WITH SCORE 68049.738
AT ITER 390 NEW BEST:: SOT 277012 SOS 223586 HAS SOPS 214979 HAS SOUS 68062 HAS SOUPS 67826 WITH SCORE 68049.586
AT ITER 402 NEW BEST:: SOT 276986 SOS 224299 HAS SOPS 215692 HAS SOUS 67910 HAS SOUPS 67674 WITH SCORE 67898.299
AT ITER 406 NEW BEST:: SOT 277057 SOS 224370 HAS SOPS 215763 HAS SOUS 67840 HAS SOUPS 67604 WITH SCORE 67828.37
AT ITER 428 NEW BEST:: SOT 277312 SOS 224616 HAS SOPS 216018 HAS SOUS 67537 HAS SOUPS 67310 WITH SCORE 67534.616
AT ITER 432 NEW BEST:: SOT 277308 SOS 224612 HAS SOPS 216014 HAS SOUS 67537 HAS SOUPS 67310 WITH SCORE 67534.612
AT ITER 465 NEW BEST:: SOT 277304 SOS 224608 HAS SOPS 216010 HAS SOUS 67531 HAS SOUPS 67304 WITH SCORE 67528.608
AT ITER 473 NEW BEST:: SOT 277287 SOS 224582 HAS SOPS 215984 HAS SOUS 67503 HAS SOUPS 67276 WITH SCORE 67500.582
AT ITER 486 NEW BEST:: SOT 277272 SOS 224832 HAS SOPS 216234 HAS SOUS 67468 HAS SOUPS 67241 WITH SCORE 67465.832
AT ITER 495 NEW BEST:: SOT 277236 SOS 224796 HAS SOPS 216198 HAS SOUS 67414 HAS SOUPS 67187 WITH SCORE 67411.796
AT ITER 498 NEW BEST:: SOT 277176 SOS 224710 HAS SOPS 216112 HAS SOUS 67228 HAS SOUPS 67001 WITH SCORE 67225.71
AT ITER 504 NEW BEST:: SOT 276289 SOS 223823 HAS SOPS 215225 HAS SOUS 66314 HAS SOUPS 66087 WITH SCORE 66310.823
AT ITER 520 NEW BEST:: SOT 276237 SOS 223771 HAS SOPS 215173 HAS SOUS 66314 HAS SOUPS 66087 WITH SCORE 66310.771
AT ITER 526 NEW BEST:: SOT 276227 SOS 223761 HAS SOPS 215163 HAS SOUS 66314 HAS SOUPS 66087 WITH SCORE 66310.761
AT ITER 542 NEW BEST:: SOT 276227 SOS 223761 HAS SOPS 215163 HAS SOUS 66313 HAS SOUPS 66086 WITH SCORE 66309.761
AT ITER 596 NEW BEST:: SOT 276132 SOS 223638 HAS SOPS 215030 HAS SOUS 66116 HAS SOUPS 65879 WITH SCORE 66102.638
AT ITER 600 NEW BEST:: SOT 276107 SOS 224404 HAS SOPS 215796 HAS SOUS 65977 HAS SOUPS 65740 WITH SCORE 65964.404
AT ITER 617 NEW BEST:: SOT 276120 SOS 224720 HAS SOPS 216112 HAS SOUS 65958 HAS SOUPS 65721 WITH SCORE 65945.72
AT ITER 622 NEW BEST:: SOT 276035 SOS 224639 HAS SOPS 216031 HAS SOUS 65877 HAS SOUPS 65640 WITH SCORE 65864.639
AT ITER 625 NEW BEST:: SOT 275928 SOS 224594 HAS SOPS 215973 HAS SOUS 65656 HAS SOUPS 65406 WITH SCORE 65630.594
AT ITER 628 NEW BEST:: SOT 276106 SOS 224750 HAS SOPS 216151 HAS SOUS 65570 HAS SOUPS 65342 WITH SCORE 65566.75
AT ITER 630 NEW BEST:: SOT 276080 SOS 224724 HAS SOPS 216125 HAS SOUS 65570 HAS SOUPS 65342 WITH SCORE 65566.724
AT ITER 642 NEW BEST:: SOT 276033 SOS 224677 HAS SOPS 216078 HAS SOUS 65525 HAS SOUPS 65297 WITH SCORE 65521.677
AT ITER 648 NEW BEST:: SOT 276033 SOS 224677 HAS SOPS 216078 HAS SOUS 65523 HAS SOUPS 65295 WITH SCORE 65519.677
AT ITER 650 NEW BEST:: SOT 275830 SOS 224466 HAS SOPS 215864 HAS SOUS 65019 HAS SOUPS 64788 WITH SCORE 65012.466
AT ITER 714 NEW BEST:: SOT 275830 SOS 224534 HAS SOPS 215944 HAS SOUS 65003 HAS SOUPS 64784 WITH SCORE 65008.534
AT ITER 728 NEW BEST:: SOT 275815 SOS 224519 HAS SOPS 215929 HAS SOUS 64976 HAS SOUPS 64757 WITH SCORE 64981.519
AT ITER 735 NEW BEST:: SOT 275926 SOS 224630 HAS SOPS 216040 HAS SOUS 64797 HAS SOUPS 64578 WITH SCORE 64802.63
AT ITER 775 NEW BEST:: SOT 275958 SOS 224694 HAS SOPS 216112 HAS SOUS 64785 HAS SOUPS 64574 WITH SCORE 64798.694
AT ITER 796 NEW BEST:: SOT 275995 SOS 224731 HAS SOPS 216149 HAS SOUS 64758 HAS SOUPS 64547 WITH SCORE 64771.731
AT ITER 799 NEW BEST:: SOT 276014 SOS 224750 HAS SOPS 216168 HAS SOUS 64739 HAS SOUPS 64528 WITH SCORE 64752.75
AT ITER 801 NEW BEST:: SOT 276014 SOS 224748 HAS SOPS 216166 HAS SOUS 64738 HAS SOUPS 64527 WITH SCORE 64751.748
AT ITER 804 NEW BEST:: SOT 276014 SOS 225217 HAS SOPS 216635 HAS SOUS 64658 HAS SOUPS 64447 WITH SCORE 64672.217
AT ITER 817 NEW BEST:: SOT 276014 SOS 225217 HAS SOPS 216635 HAS SOUS 64632 HAS SOUPS 64421 WITH SCORE 64646.217
AT ITER 820 NEW BEST:: SOT 275956 SOS 225159 HAS SOPS 216577 HAS SOUS 64618 HAS SOUPS 64407 WITH SCORE 64632.159
AT ITER 848 NEW BEST:: SOT 275921 SOS 225804 HAS SOPS 217222 HAS SOUS 64520 HAS SOUPS 64309 WITH SCORE 64534.804
AT ITER 863 NEW BEST:: SOT 276012 SOS 225878 HAS SOPS 217284 HAS SOUS 64127 HAS SOUPS 63904 WITH SCORE 64129.878
AT ITER 879 NEW BEST:: SOT 276010 SOS 225876 HAS SOPS 217282 HAS SOUS 64101 HAS SOUPS 63878 WITH SCORE 64103.876
AT ITER 897 NEW BEST:: SOT 276364 SOS 226226 HAS SOPS 217631 HAS SOUS 63954 HAS SOUPS 63730 WITH SCORE 63956.226
AT ITER 906 NEW BEST:: SOT 276364 SOS 226226 HAS SOPS 217631 HAS SOUS 63942 HAS SOUPS 63718 WITH SCORE 63944.226
AT ITER 907 NEW BEST:: SOT 268043 SOS 218089 HAS SOPS 217954 HAS SOUS 55748 HAS SOUPS 55613 WITH SCORE 55831.089
AT ITER 921 NEW BEST:: SOT 268235 SOS 219212 HAS SOPS 219077 HAS SOUS 55726 HAS SOUPS 55591 WITH SCORE 55810.212
AT ITER 928 NEW BEST:: SOT 268235 SOS 219148 HAS SOPS 219013 HAS SOUS 55726 HAS SOUPS 55591 WITH SCORE 55810.148
AT ITER 944 NEW BEST:: SOT 267585 SOS 218498 HAS SOPS 218363 HAS SOUS 54980 HAS SOUPS 54845 WITH SCORE 55063.498
AT ITER 964 NEW BEST:: SOT 267551 SOS 218464 HAS SOPS 218329 HAS SOUS 54946 HAS SOUPS 54811 WITH SCORE 55029.464
AT ITER 967 NEW BEST:: SOT 267532 SOS 218445 HAS SOPS 218310 HAS SOUS 54921 HAS SOUPS 54786 WITH SCORE 55004.445
AT ITER 981 NEW BEST:: SOT 267412 SOS 216861 HAS SOPS 216715 HAS SOUS 54791 HAS SOUPS 54645 WITH SCORE 54861.861
AT ITER 982 NEW BEST:: SOT 267230 SOS 213270 HAS SOPS 213020 HAS SOUS 54543 HAS SOUPS 54293 WITH SCORE 54506.27
AT ITER 984 NEW BEST:: SOT 267216 SOS 213250 HAS SOPS 213006 HAS SOUS 54519 HAS SOUPS 54275 WITH SCORE 54488.25
AT ITER 999 NEW BEST:: SOT 267375 SOS 213409 HAS SOPS 213165 HAS SOUS 54473 HAS SOUPS 54229 WITH SCORE 54442.409
AT ITER 1000 NEW BEST:: SOT 267371 SOS 213405 HAS SOPS 213161 HAS SOUS 54469 HAS SOUPS 54225 WITH SCORE 54438.405
AT ITER 1001 NEW BEST:: SOT 267350 SOS 213380 HAS SOPS 213140 HAS SOUS 54110 HAS SOUPS 53870 WITH SCORE 54083.38
AT ITER 1031 NEW BEST:: SOT 267196 SOS 213224 HAS SOPS 212984 HAS SOUS 53985 HAS SOUPS 53745 WITH SCORE 53958.224
AT ITER 1037 NEW BEST:: SOT 267180 SOS 213208 HAS SOPS 212968 HAS SOUS 53961 HAS SOUPS 53721 WITH SCORE 53934.208
AT ITER 1053 NEW BEST:: SOT 267158 SOS 213186 HAS SOPS 212946 HAS SOUS 53939 HAS SOUPS 53699 WITH SCORE 53912.186
AT ITER 1072 NEW BEST:: SOT 267158 SOS 213126 HAS SOPS 212886 HAS SOUS 53939 HAS SOUPS 53699 WITH SCORE 53912.126
AT ITER 1079 NEW BEST:: SOT 267158 SOS 213126 HAS SOPS 212886 HAS SOUS 53937 HAS SOUPS 53697 WITH SCORE 53910.126
AT ITER 1081 NEW BEST:: SOT 267258 SOS 213136 HAS SOPS 212886 HAS SOUS 53735 HAS SOUPS 53485 WITH SCORE 53698.136
AT ITER 1088 NEW BEST:: SOT 267241 SOS 213133 HAS SOPS 212883 HAS SOUS 53706 HAS SOUPS 53456 WITH SCORE 53669.133
AT ITER 1094 NEW BEST:: SOT 267241 SOS 213448 HAS SOPS 213198 HAS SOUS 53661 HAS SOUPS 53411 WITH SCORE 53624.448
AT ITER 1122 NEW BEST:: SOT 267177 SOS 213384 HAS SOPS 213134 HAS SOUS 53566 HAS SOUPS 53316 WITH SCORE 53529.384
AT ITER 1123 NEW BEST:: SOT 267141 SOS 213348 HAS SOPS 213098 HAS SOUS 53517 HAS SOUPS 53267 WITH SCORE 53480.348
AT ITER 1138 NEW BEST:: SOT 267141 SOS 213348 HAS SOPS 213098 HAS SOUS 53512 HAS SOUPS 53262 WITH SCORE 53475.348
AT ITER 1176 NEW BEST:: SOT 267101 SOS 213308 HAS SOPS 213058 HAS SOUS 53472 HAS SOUPS 53222 WITH SCORE 53435.308
AT ITER 1199 NEW BEST:: SOT 267113 SOS 213320 HAS SOPS 213070 HAS SOUS 53466 HAS SOUPS 53216 WITH SCORE 53429.32
AT ITER 1217 NEW BEST:: SOT 267113 SOS 213579 HAS SOPS 213329 HAS SOUS 53429 HAS SOUPS 53179 WITH SCORE 53392.579
AT ITER 1230 NEW BEST:: SOT 267113 SOS 213571 HAS SOPS 213321 HAS SOUS 53423 HAS SOUPS 53173 WITH SCORE 53386.571
AT ITER 1239 NEW BEST:: SOT 267096 SOS 213554 HAS SOPS 213304 HAS SOUS 53411 HAS SOUPS 53161 WITH SCORE 53374.554
AT ITER 1248 NEW BEST:: SOT 267090 SOS 213548 HAS SOPS 213298 HAS SOUS 53405 HAS SOUPS 53155 WITH SCORE 53368.548
AT ITER 1258 NEW BEST:: SOT 267069 SOS 213508 HAS SOPS 213279 HAS SOUS 53323 HAS SOUPS 53094 WITH SCORE 53307.508
AT ITER 1259 NEW BEST:: SOT 267046 SOS 213887 HAS SOPS 213676 HAS SOUS 53246 HAS SOUPS 53035 WITH SCORE 53248.887
AT ITER 1267 NEW BEST:: SOT 267125 SOS 213966 HAS SOPS 213755 HAS SOUS 53180 HAS SOUPS 52969 WITH SCORE 53182.966
AT ITER 1288 NEW BEST:: SOT 266921 SOS 213762 HAS SOPS 213551 HAS SOUS 53094 HAS SOUPS 52883 WITH SCORE 53096.762
AT ITER 1332 NEW BEST:: SOT 266935 SOS 213516 HAS SOPS 213251 HAS SOUS 52908 HAS SOUPS 52643 WITH SCORE 52856.516
AT ITER 1336 NEW BEST:: SOT 266846 SOS 213427 HAS SOPS 213162 HAS SOUS 52789 HAS SOUPS 52524 WITH SCORE 52737.427
AT ITER 1338 NEW BEST:: SOT 266640 SOS 213221 HAS SOPS 212956 HAS SOUS 52583 HAS SOUPS 52318 WITH SCORE 52531.221
AT ITER 1348 NEW BEST:: SOT 266640 SOS 213221 HAS SOPS 212956 HAS SOUS 52573 HAS SOUPS 52308 WITH SCORE 52521.221
AT ITER 1356 NEW BEST:: SOT 266565 SOS 213140 HAS SOPS 212875 HAS SOUS 52400 HAS SOUPS 52135 WITH SCORE 52348.14
AT ITER 1376 NEW BEST:: SOT 266598 SOS 213173 HAS SOPS 212908 HAS SOUS 52374 HAS SOUPS 52109 WITH SCORE 52322.173
AT ITER 1417 NEW BEST:: SOT 266574 SOS 213149 HAS SOPS 212884 HAS SOUS 52340 HAS SOUPS 52075 WITH SCORE 52288.149
AT ITER 1433 NEW BEST:: SOT 266544 SOS 213119 HAS SOPS 212854 HAS SOUS 52294 HAS SOUPS 52029 WITH SCORE 52242.119
AT ITER 1445 NEW BEST:: SOT 266366 SOS 212923 HAS SOPS 212676 HAS SOUS 52080 HAS SOUPS 51833 WITH SCORE 52045.923
AT ITER 1452 NEW BEST:: SOT 266519 SOS 213059 HAS SOPS 212829 HAS SOUS 51901 HAS SOUPS 51671 WITH SCORE 51884.059
AT ITER 1465 NEW BEST:: SOT 266519 SOS 213059 HAS SOPS 212829 HAS SOUS 51899 HAS SOUPS 51669 WITH SCORE 51882.059
AT ITER 1468 NEW BEST:: SOT 266519 SOS 213059 HAS SOPS 212829 HAS SOUS 51897 HAS SOUPS 51667 WITH SCORE 51880.059
AT ITER 1474 NEW BEST:: SOT 266505 SOS 213045 HAS SOPS 212815 HAS SOUS 51876 HAS SOUPS 51646 WITH SCORE 51859.045
AT ITER 1510 NEW BEST:: SOT 266509 SOS 213049 HAS SOPS 212819 HAS SOUS 51872 HAS SOUPS 51642 WITH SCORE 51855.049
AT ITER 1512 NEW BEST:: SOT 266109 SOS 212649 HAS SOPS 212419 HAS SOUS 51372 HAS SOUPS 51142 WITH SCORE 51354.649
AT ITER 1521 NEW BEST:: SOT 266118 SOS 212658 HAS SOPS 212428 HAS SOUS 51363 HAS SOUPS 51133 WITH SCORE 51345.658
AT ITER 1524 NEW BEST:: SOT 266078 SOS 212618 HAS SOPS 212388 HAS SOUS 51313 HAS SOUPS 51083 WITH SCORE 51295.618
AT ITER 1531 NEW BEST:: SOT 267123 SOS 213683 HAS SOPS 213433 HAS SOUS 51269 HAS SOUPS 51019 WITH SCORE 51232.683
AT ITER 1555 NEW BEST:: SOT 266993 SOS 213549 HAS SOPS 213303 HAS SOUS 51125 HAS SOUPS 50879 WITH SCORE 51092.549
AT ITER 1616 NEW BEST:: SOT 266993 SOS 213509 HAS SOPS 213263 HAS SOUS 51125 HAS SOUPS 50879 WITH SCORE 51092.509
AT ITER 1618 NEW BEST:: SOT 266992 SOS 213508 HAS SOPS 213262 HAS SOUS 51124 HAS SOUPS 50878 WITH SCORE 51091.508
AT ITER 1641 NEW BEST:: SOT 266957 SOS 213473 HAS SOPS 213227 HAS SOUS 51111 HAS SOUPS 50865 WITH SCORE 51078.473
AT ITER 1652 NEW BEST:: SOT 266896 SOS 213484 HAS SOPS 213238 HAS SOUS 51058 HAS SOUPS 50812 WITH SCORE 51025.484
AT ITER 1700 NEW BEST:: SOT 266896 SOS 213582 HAS SOPS 213336 HAS SOUS 51044 HAS SOUPS 50798 WITH SCORE 51011.582
AT ITER 1705 NEW BEST:: SOT 266896 SOS 213490 HAS SOPS 213244 HAS SOUS 51044 HAS SOUPS 50798 WITH SCORE 51011.49
AT ITER 1706 NEW BEST:: SOT 266866 SOS 213462 HAS SOPS 213216 HAS SOUS 51016 HAS SOUPS 50770 WITH SCORE 50983.462
AT ITER 1717 NEW BEST:: SOT 266930 SOS 213507 HAS SOPS 213280 HAS SOUS 50901 HAS SOUPS 50674 WITH SCORE 50887.507
AT ITER 1724 NEW BEST:: SOT 266858 SOS 213426 HAS SOPS 213208 HAS SOUS 50811 HAS SOUPS 50593 WITH SCORE 50806.426
AT ITER 1725 NEW BEST:: SOT 266854 SOS 213422 HAS SOPS 213204 HAS SOUS 50807 HAS SOUPS 50589 WITH SCORE 50802.422
AT ITER 1736 NEW BEST:: SOT 266854 SOS 213370 HAS SOPS 213152 HAS SOUS 50807 HAS SOUPS 50589 WITH SCORE 50802.37
AT ITER 1742 NEW BEST:: SOT 266473 SOS 212989 HAS SOPS 212771 HAS SOUS 50639 HAS SOUPS 50421 WITH SCORE 50633.989
AT ITER 1751 NEW BEST:: SOT 266515 SOS 213031 HAS SOPS 212813 HAS SOUS 50572 HAS SOUPS 50354 WITH SCORE 50567.031
AT ITER 1760 NEW BEST:: SOT 266167 SOS 212683 HAS SOPS 212465 HAS SOUS 50492 HAS SOUPS 50274 WITH SCORE 50486.683
AT ITER 1772 NEW BEST:: SOT 266399 SOS 212639 HAS SOPS 212345 HAS SOUS 50289 HAS SOUPS 49995 WITH SCORE 50207.639
AT ITER 1789 NEW BEST:: SOT 266788 SOS 212948 HAS SOPS 212634 HAS SOUS 50291 HAS SOUPS 49977 WITH SCORE 50189.948
AT ITER 1795 NEW BEST:: SOT 266844 SOS 213004 HAS SOPS 212698 HAS SOUS 50259 HAS SOUPS 49953 WITH SCORE 50166.004
AT ITER 1810 NEW BEST:: SOT 266826 SOS 212986 HAS SOPS 212680 HAS SOUS 50237 HAS SOUPS 49931 WITH SCORE 50143.986
AT ITER 1818 NEW BEST:: SOT 266826 SOS 212976 HAS SOPS 212670 HAS SOUS 50232 HAS SOUPS 49926 WITH SCORE 50138.976
AT ITER 1841 NEW BEST:: SOT 265925 SOS 212071 HAS SOPS 211769 HAS SOUS 50028 HAS SOUPS 49726 WITH SCORE 49938.071
AT ITER 1845 NEW BEST:: SOT 265913 SOS 212059 HAS SOPS 211757 HAS SOUS 49994 HAS SOUPS 49692 WITH SCORE 49904.059
AT ITER 1869 NEW BEST:: SOT 265878 SOS 211393 HAS SOPS 211001 HAS SOUS 49924 HAS SOUPS 49532 WITH SCORE 49743.393
AT ITER 1888 NEW BEST:: SOT 265871 SOS 211386 HAS SOPS 210994 HAS SOUS 49895 HAS SOUPS 49503 WITH SCORE 49714.386
AT ITER 1905 NEW BEST:: SOT 265871 SOS 211320 HAS SOPS 210928 HAS SOUS 49895 HAS SOUPS 49503 WITH SCORE 49714.32
AT ITER 1927 NEW BEST:: SOT 265868 SOS 211305 HAS SOPS 210913 HAS SOUS 49892 HAS SOUPS 49500 WITH SCORE 49711.305
AT ITER 1951 NEW BEST:: SOT 265742 SOS 211179 HAS SOPS 210787 HAS SOUS 49847 HAS SOUPS 49455 WITH SCORE 49666.179
AT ITER 1966 NEW BEST:: SOT 265738 SOS 211175 HAS SOPS 210783 HAS SOUS 49838 HAS SOUPS 49446 WITH SCORE 49657.175
AT ITER 1970 NEW BEST:: SOT 265738 SOS 211127 HAS SOPS 210735 HAS SOUS 49838 HAS SOUPS 49446 WITH SCORE 49657.127
AT ITER 1985 NEW BEST:: SOT 265828 SOS 211189 HAS SOPS 210825 HAS SOUS 49581 HAS SOUPS 49217 WITH SCORE 49428.189
AT ITER 2025 NEW BEST:: SOT 265819 SOS 211180 HAS SOPS 210816 HAS SOUS 49572 HAS SOUPS 49208 WITH SCORE 49419.18
AT ITER 2041 NEW BEST:: SOT 265647 SOS 211008 HAS SOPS 210644 HAS SOUS 49455 HAS SOUPS 49091 WITH SCORE 49302.008
AT ITER 2072 NEW BEST:: SOT 265653 SOS 211014 HAS SOPS 210650 HAS SOUS 49449 HAS SOUPS 49085 WITH SCORE 49296.014
AT ITER 2113 NEW BEST:: SOT 265659 SOS 211020 HAS SOPS 210656 HAS SOUS 49447 HAS SOUPS 49083 WITH SCORE 49294.02
AT ITER 2118 NEW BEST:: SOT 265652 SOS 211013 HAS SOPS 210649 HAS SOUS 49432 HAS SOUPS 49068 WITH SCORE 49279.013
AT ITER 2119 NEW BEST:: SOT 265646 SOS 211000 HAS SOPS 210636 HAS SOUS 49413 HAS SOUPS 49049 WITH SCORE 49260.0
AT ITER 2139 NEW BEST:: SOT 265592 SOS 210946 HAS SOPS 210582 HAS SOUS 49332 HAS SOUPS 48968 WITH SCORE 49178.946
AT ITER 2153 NEW BEST:: SOT 265574 SOS 210928 HAS SOPS 210564 HAS SOUS 49288 HAS SOUPS 48924 WITH SCORE 49134.928
AT ITER 2157 NEW BEST:: SOT 265228 SOS 210582 HAS SOPS 210218 HAS SOUS 48882 HAS SOUPS 48518 WITH SCORE 48728.582
AT ITER 2165 NEW BEST:: SOT 265116 SOS 210470 HAS SOPS 210106 HAS SOUS 48738 HAS SOUPS 48374 WITH SCORE 48584.47
AT ITER 2176 NEW BEST:: SOT 265116 SOS 210470 HAS SOPS 210106 HAS SOUS 48735 HAS SOUPS 48371 WITH SCORE 48581.47
AT ITER 2189 NEW BEST:: SOT 265109 SOS 210463 HAS SOPS 210099 HAS SOUS 48731 HAS SOUPS 48367 WITH SCORE 48577.463
AT ITER 2194 NEW BEST:: SOT 265131 SOS 210485 HAS SOPS 210121 HAS SOUS 48666 HAS SOUPS 48302 WITH SCORE 48512.485
AT ITER 2212 NEW BEST:: SOT 264785 SOS 210128 HAS SOPS 209775 HAS SOUS 48225 HAS SOUPS 47872 WITH SCORE 48082.128
AT ITER 2220 NEW BEST:: SOT 264785 SOS 210128 HAS SOPS 209775 HAS SOUS 48223 HAS SOUPS 47870 WITH SCORE 48080.128
AT ITER 2229 NEW BEST:: SOT 264688 SOS 210031 HAS SOPS 209678 HAS SOUS 48178 HAS SOUPS 47825 WITH SCORE 48035.031
AT ITER 2245 NEW BEST:: SOT 264919 SOS 210215 HAS SOPS 209909 HAS SOUS 48029 HAS SOUPS 47723 WITH SCORE 47933.215
AT ITER 2265 NEW BEST:: SOT 264919 SOS 208845 HAS SOPS 207369 HAS SOUS 48042 HAS SOUPS 47723 WITH SCORE 47931.845
AT ITER 2275 NEW BEST:: SOT 264919 SOS 208797 HAS SOPS 207321 HAS SOUS 48042 HAS SOUPS 47723 WITH SCORE 47931.797
AT ITER 2293 NEW BEST:: SOT 264988 SOS 208748 HAS SOPS 207140 HAS SOUS 48152 HAS SOUPS 47701 WITH SCORE 47909.748
AT ITER 2295 NEW BEST:: SOT 264988 SOS 208724 HAS SOPS 207116 HAS SOUS 48152 HAS SOUPS 47701 WITH SCORE 47909.724
AT ITER 2305 NEW BEST:: SOT 265043 SOS 208723 HAS SOPS 207115 HAS SOUS 48148 HAS SOUPS 47697 WITH SCORE 47905.723
AT ITER 2335 NEW BEST:: SOT 265038 SOS 208718 HAS SOPS 207110 HAS SOUS 48137 HAS SOUPS 47686 WITH SCORE 47894.718
AT ITER 2340 NEW BEST:: SOT 265010 SOS 208690 HAS SOPS 207082 HAS SOUS 48093 HAS SOUPS 47642 WITH SCORE 47850.69
AT ITER 2348 NEW BEST:: SOT 264982 SOS 208662 HAS SOPS 207054 HAS SOUS 48056 HAS SOUPS 47605 WITH SCORE 47813.662
AT ITER 2365 NEW BEST:: SOT 264664 SOS 208344 HAS SOPS 206736 HAS SOUS 47773 HAS SOUPS 47322 WITH SCORE 47530.344
AT ITER 2367 NEW BEST:: SOT 264638 SOS 208318 HAS SOPS 206710 HAS SOUS 47748 HAS SOUPS 47297 WITH SCORE 47505.318
AT ITER 2372 NEW BEST:: SOT 264898 SOS 208582 HAS SOPS 206970 HAS SOUS 47748 HAS SOUPS 47293 WITH SCORE 47501.582
AT ITER 2386 NEW BEST:: SOT 264888 SOS 208572 HAS SOPS 206960 HAS SOUS 47676 HAS SOUPS 47221 WITH SCORE 47429.572
AT ITER 2387 NEW BEST:: SOT 264884 SOS 208550 HAS SOPS 206938 HAS SOUS 47672 HAS SOUPS 47217 WITH SCORE 47425.55
AT ITER 2389 NEW BEST:: SOT 264896 SOS 208562 HAS SOPS 206950 HAS SOUS 47661 HAS SOUPS 47206 WITH SCORE 47414.562
AT ITER 2400 NEW BEST:: SOT 264896 SOS 208526 HAS SOPS 206914 HAS SOUS 47639 HAS SOUPS 47184 WITH SCORE 47392.526
AT ITER 2405 NEW BEST:: SOT 264881 SOS 208511 HAS SOPS 206899 HAS SOUS 47474 HAS SOUPS 47019 WITH SCORE 47227.511
AT ITER 2422 NEW BEST:: SOT 264658 SOS 208288 HAS SOPS 206676 HAS SOUS 47264 HAS SOUPS 46809 WITH SCORE 47017.288
AT ITER 2438 NEW BEST:: SOT 264658 SOS 208288 HAS SOPS 206676 HAS SOUS 47234 HAS SOUPS 46779 WITH SCORE 46987.288
AT ITER 2440 NEW BEST:: SOT 264542 SOS 208424 HAS SOPS 206812 HAS SOUS 47146 HAS SOUPS 46691 WITH SCORE 46899.424
AT ITER 2481 NEW BEST:: SOT 264536 SOS 208418 HAS SOPS 206806 HAS SOUS 47144 HAS SOUPS 46689 WITH SCORE 46897.418
AT ITER 2484 NEW BEST:: SOT 263659 SOS 207518 HAS SOPS 205929 HAS SOUS 46313 HAS SOUPS 45881 WITH SCORE 46088.518
AT ITER 2508 NEW BEST:: SOT 263649 SOS 207508 HAS SOPS 205919 HAS SOUS 46302 HAS SOUPS 45870 WITH SCORE 46077.508
AT ITER 2514 NEW BEST:: SOT 263643 SOS 207502 HAS SOPS 205913 HAS SOUS 46296 HAS SOUPS 45864 WITH SCORE 46071.502
AT ITER 2537 NEW BEST:: SOT 263461 SOS 207320 HAS SOPS 205731 HAS SOUS 46131 HAS SOUPS 45699 WITH SCORE 45906.32
AT ITER 2561 NEW BEST:: SOT 263453 SOS 207312 HAS SOPS 205723 HAS SOUS 46095 HAS SOUPS 45663 WITH SCORE 45870.312
AT ITER 2564 NEW BEST:: SOT 263432 SOS 207291 HAS SOPS 205702 HAS SOUS 46038 HAS SOUPS 45606 WITH SCORE 45813.291
AT ITER 2580 NEW BEST:: SOT 263401 SOS 207260 HAS SOPS 205671 HAS SOUS 46007 HAS SOUPS 45575 WITH SCORE 45782.26
AT ITER 2584 NEW BEST:: SOT 263387 SOS 207246 HAS SOPS 205657 HAS SOUS 45986 HAS SOUPS 45554 WITH SCORE 45761.246
AT ITER 2670 NEW BEST:: SOT 263258 SOS 207009 HAS SOPS 205420 HAS SOUS 45833 HAS SOUPS 45401 WITH SCORE 45608.009
AT ITER 2675 NEW BEST:: SOT 263261 SOS 207012 HAS SOPS 205423 HAS SOUS 45802 HAS SOUPS 45370 WITH SCORE 45577.012
AT ITER 2685 NEW BEST:: SOT 263261 SOS 206990 HAS SOPS 205401 HAS SOUS 45802 HAS SOUPS 45370 WITH SCORE 45576.99
AT ITER 2697 NEW BEST:: SOT 263261 SOS 206990 HAS SOPS 205401 HAS SOUS 45788 HAS SOUPS 45356 WITH SCORE 45562.99
AT ITER 2706 NEW BEST:: SOT 263261 SOS 206954 HAS SOPS 205365 HAS SOUS 45788 HAS SOUPS 45356 WITH SCORE 45562.954
AT ITER 2714 NEW BEST:: SOT 263111 SOS 206784 HAS SOPS 205195 HAS SOUS 45630 HAS SOUPS 45198 WITH SCORE 45404.784
AT ITER 2758 NEW BEST:: SOT 263003 SOS 206666 HAS SOPS 205087 HAS SOUS 45556 HAS SOUPS 45134 WITH SCORE 45340.666
AT ITER 2765 NEW BEST:: SOT 262992 SOS 206629 HAS SOPS 205050 HAS SOUS 45526 HAS SOUPS 45104 WITH SCORE 45310.629
AT ITER 2819 NEW BEST:: SOT 262962 SOS 206290 HAS SOPS 204690 HAS SOUS 45523 HAS SOUPS 45080 WITH SCORE 45286.29
AT ITER 2844 NEW BEST:: SOT 262922 SOS 206250 HAS SOPS 204650 HAS SOUS 45487 HAS SOUPS 45044 WITH SCORE 45250.25
AT ITER 2869 NEW BEST:: SOT 262947 SOS 206275 HAS SOPS 204675 HAS SOUS 45457 HAS SOUPS 45014 WITH SCORE 45220.275
AT ITER 2882 NEW BEST:: SOT 262947 SOS 206107 HAS SOPS 204507 HAS SOUS 45445 HAS SOUPS 45002 WITH SCORE 45208.107
AT ITER 2889 NEW BEST:: SOT 262955 SOS 206115 HAS SOPS 204515 HAS SOUS 45362 HAS SOUPS 44919 WITH SCORE 45125.115
AT ITER 2901 NEW BEST:: SOT 262939 SOS 206099 HAS SOPS 204499 HAS SOUS 45346 HAS SOUPS 44903 WITH SCORE 45109.099
AT ITER 2904 NEW BEST:: SOT 262939 SOS 204687 HAS SOPS 200907 HAS SOUS 45360 HAS SOUPS 44903 WITH SCORE 45107.687
AT ITER 2921 NEW BEST:: SOT 262950 SOS 204701 HAS SOPS 200948 HAS SOUS 45289 HAS SOUPS 44859 WITH SCORE 45063.701
AT ITER 2929 NEW BEST:: SOT 263049 SOS 204800 HAS SOPS 201047 HAS SOUS 45267 HAS SOUPS 44837 WITH SCORE 45041.8
AT ITER 2968 NEW BEST:: SOT 262966 SOS 204717 HAS SOPS 200964 HAS SOUS 45246 HAS SOUPS 44816 WITH SCORE 45020.717
AT ITER 2977 NEW BEST:: SOT 263102 SOS 204833 HAS SOPS 201103 HAS SOUS 45204 HAS SOUPS 44797 WITH SCORE 45001.833
AT ITER 2978 NEW BEST:: SOT 263102 SOS 204833 HAS SOPS 201203 HAS SOUS 45202 HAS SOUPS 44795 WITH SCORE 44999.833
AT ITER 2988 NEW BEST:: SOT 263096 SOS 204827 HAS SOPS 201197 HAS SOUS 45193 HAS SOUPS 44786 WITH SCORE 44990.827
AT ITER 3015 NEW BEST:: SOT 263080 SOS 204811 HAS SOPS 201181 HAS SOUS 45193 HAS SOUPS 44786 WITH SCORE 44990.811
AT ITER 3029 NEW BEST:: SOT 263073 SOS 204804 HAS SOPS 201174 HAS SOUS 45187 HAS SOUPS 44780 WITH SCORE 44984.804
AT ITER 3055 NEW BEST:: SOT 263120 SOS 204851 HAS SOPS 201221 HAS SOUS 45168 HAS SOUPS 44761 WITH SCORE 44965.851
AT ITER 3110 NEW BEST:: SOT 263066 SOS 204791 HAS SOPS 201167 HAS SOUS 45108 HAS SOUPS 44707 WITH SCORE 44911.791
AT ITER 3149 NEW BEST:: SOT 262732 SOS 204246 HAS SOPS 200622 HAS SOUS 45020 HAS SOUPS 44619 WITH SCORE 44823.246
AT ITER 3184 NEW BEST:: SOT 262732 SOS 204240 HAS SOPS 200616 HAS SOUS 45020 HAS SOUPS 44619 WITH SCORE 44823.24
AT ITER 3194 NEW BEST:: SOT 262642 SOS 204141 HAS SOPS 200526 HAS SOUS 44920 HAS SOUPS 44528 WITH SCORE 44732.141
AT ITER 3210 NEW BEST:: SOT 262659 SOS 204158 HAS SOPS 200543 HAS SOUS 44861 HAS SOUPS 44469 WITH SCORE 44673.158
AT ITER 3257 NEW BEST:: SOT 262623 SOS 204122 HAS SOPS 200507 HAS SOUS 44861 HAS SOUPS 44469 WITH SCORE 44673.122
AT ITER 3268 NEW BEST:: SOT 262369 SOS 203861 HAS SOPS 200253 HAS SOUS 44821 HAS SOUPS 44436 WITH SCORE 44639.861
AT ITER 3275 NEW BEST:: SOT 262369 SOS 203952 HAS SOPS 200344 HAS SOUS 44808 HAS SOUPS 44423 WITH SCORE 44626.952
AT ITER 3288 NEW BEST:: SOT 262277 SOS 203860 HAS SOPS 200274 HAS SOUS 44731 HAS SOUPS 44368 WITH SCORE 44571.86
AT ITER 3306 NEW BEST:: SOT 262277 SOS 203860 HAS SOPS 200274 HAS SOUS 44721 HAS SOUPS 44358 WITH SCORE 44561.86
AT ITER 3340 NEW BEST:: SOT 262277 SOS 203770 HAS SOPS 200054 HAS SOUS 44721 HAS SOUPS 44358 WITH SCORE 44561.77
AT ITER 3358 NEW BEST:: SOT 262295 SOS 203788 HAS SOPS 200072 HAS SOUS 44715 HAS SOUPS 44352 WITH SCORE 44555.788
AT ITER 3365 NEW BEST:: SOT 262205 SOS 203690 HAS SOPS 199974 HAS SOUS 44630 HAS SOUPS 44267 WITH SCORE 44470.69
AT ITER 3369 NEW BEST:: SOT 262205 SOS 204119 HAS SOPS 200133 HAS SOUS 44554 HAS SOUPS 44191 WITH SCORE 44395.119
AT ITER 3396 NEW BEST:: SOT 262205 SOS 204119 HAS SOPS 200133 HAS SOUS 44547 HAS SOUPS 44184 WITH SCORE 44388.119
AT ITER 3412 NEW BEST:: SOT 262127 SOS 204041 HAS SOPS 200055 HAS SOUS 44430 HAS SOUPS 44067 WITH SCORE 44271.041
AT ITER 3427 NEW BEST:: SOT 262127 SOS 204041 HAS SOPS 200055 HAS SOUS 44419 HAS SOUPS 44056 WITH SCORE 44260.041
AT ITER 3429 NEW BEST:: SOT 262127 SOS 204011 HAS SOPS 200025 HAS SOUS 44419 HAS SOUPS 44056 WITH SCORE 44260.011
AT ITER 3450 NEW BEST:: SOT 261893 SOS 203777 HAS SOPS 199791 HAS SOUS 44394 HAS SOUPS 44031 WITH SCORE 44234.777
AT ITER 3458 NEW BEST:: SOT 261893 SOS 203777 HAS SOPS 199791 HAS SOUS 44324 HAS SOUPS 43961 WITH SCORE 44164.777
AT ITER 3481 NEW BEST:: SOT 261885 SOS 203769 HAS SOPS 199783 HAS SOUS 44319 HAS SOUPS 43956 WITH SCORE 44159.769
AT ITER 3486 NEW BEST:: SOT 261885 SOS 204173 HAS SOPS 200187 HAS SOUS 44315 HAS SOUPS 43952 WITH SCORE 44156.173
AT ITER 3498 NEW BEST:: SOT 261835 SOS 203916 HAS SOPS 199930 HAS SOUS 44242 HAS SOUPS 43879 WITH SCORE 44082.916
AT ITER 3502 NEW BEST:: SOT 261835 SOS 203916 HAS SOPS 199930 HAS SOUS 44240 HAS SOUPS 43877 WITH SCORE 44080.916
AT ITER 3527 NEW BEST:: SOT 261835 SOS 203914 HAS SOPS 199928 HAS SOUS 44240 HAS SOUPS 43877 WITH SCORE 44080.914
AT ITER 3543 NEW BEST:: SOT 261835 SOS 204481 HAS SOPS 202845 HAS SOUS 44193 HAS SOUPS 43844 WITH SCORE 44048.481
AT ITER 3580 NEW BEST:: SOT 261887 SOS 204533 HAS SOPS 202897 HAS SOUS 44186 HAS SOUPS 43837 WITH SCORE 44041.533
AT ITER 3585 NEW BEST:: SOT 261887 SOS 204525 HAS SOPS 202889 HAS SOUS 44180 HAS SOUPS 43831 WITH SCORE 44035.525
AT ITER 3646 NEW BEST:: SOT 261966 SOS 202901 HAS SOPS 201128 HAS SOUS 44238 HAS SOUPS 43752 WITH SCORE 43954.901
AT ITER 3656 NEW BEST:: SOT 261966 SOS 202890 HAS SOPS 201128 HAS SOUS 44213 HAS SOUPS 43738 WITH SCORE 43940.89
AT ITER 3667 NEW BEST:: SOT 261996 SOS 202920 HAS SOPS 201158 HAS SOUS 44177 HAS SOUPS 43702 WITH SCORE 43904.92
AT ITER 3735 NEW BEST:: SOT 261996 SOS 202892 HAS SOPS 201130 HAS SOUS 44141 HAS SOUPS 43666 WITH SCORE 43868.892
AT ITER 3763 NEW BEST:: SOT 261996 SOS 202892 HAS SOPS 201130 HAS SOUS 44127 HAS SOUPS 43652 WITH SCORE 43854.892
AT ITER 3790 NEW BEST:: SOT 262010 SOS 202878 HAS SOPS 201144 HAS SOUS 44028 HAS SOUPS 43581 WITH SCORE 43783.878
AT ITER 3795 NEW BEST:: SOT 262007 SOS 202875 HAS SOPS 201141 HAS SOUS 44022 HAS SOUPS 43575 WITH SCORE 43777.875
AT ITER 3801 NEW BEST:: SOT 262007 SOS 202875 HAS SOPS 201141 HAS SOUS 44013 HAS SOUPS 43566 WITH SCORE 43768.875
AT ITER 3806 NEW BEST:: SOT 262007 SOS 201436 HAS SOPS 199102 HAS SOUS 44000 HAS SOUPS 43553 WITH SCORE 43754.436
AT ITER 3813 NEW BEST:: SOT 261933 SOS 201362 HAS SOPS 199028 HAS SOUS 43906 HAS SOUPS 43459 WITH SCORE 43660.362
AT ITER 3851 NEW BEST:: SOT 261919 SOS 201348 HAS SOPS 199014 HAS SOUS 43890 HAS SOUPS 43443 WITH SCORE 43644.348
AT ITER 3880 NEW BEST:: SOT 261907 SOS 201336 HAS SOPS 199002 HAS SOUS 43886 HAS SOUPS 43439 WITH SCORE 43640.336
AT ITER 3924 NEW BEST:: SOT 261895 SOS 201324 HAS SOPS 198990 HAS SOUS 43868 HAS SOUPS 43421 WITH SCORE 43622.324
AT ITER 3965 NEW BEST:: SOT 261902 SOS 201324 HAS SOPS 198997 HAS SOUS 43854 HAS SOUPS 43414 WITH SCORE 43615.324
AT ITER 3970 NEW BEST:: SOT 262068 SOS 201504 HAS SOPS 199163 HAS SOUS 43860 HAS SOUPS 43406 WITH SCORE 43607.504
AT ITER 3974 NEW BEST:: SOT 261915 SOS 201450 HAS SOPS 199109 HAS SOUS 43718 HAS SOUPS 43264 WITH SCORE 43465.45
AT ITER 3987 NEW BEST:: SOT 261934 SOS 201469 HAS SOPS 199128 HAS SOUS 43715 HAS SOUPS 43261 WITH SCORE 43462.469
AT ITER 4019 NEW BEST:: SOT 261934 SOS 201469 HAS SOPS 199148 HAS SOUS 43701 HAS SOUPS 43247 WITH SCORE 43448.469
AT ITER 4054 NEW BEST:: SOT 261786 SOS 201321 HAS SOPS 199000 HAS SOUS 43553 HAS SOUPS 43099 WITH SCORE 43300.321
AT ITER 4086 NEW BEST:: SOT 261762 SOS 201301 HAS SOPS 198976 HAS SOUS 43537 HAS SOUPS 43079 WITH SCORE 43280.301
AT ITER 4158 NEW BEST:: SOT 261752 SOS 201293 HAS SOPS 198968 HAS SOUS 43529 HAS SOUPS 43071 WITH SCORE 43272.293
AT ITER 4163 NEW BEST:: SOT 261726 SOS 201249 HAS SOPS 198924 HAS SOUS 43468 HAS SOUPS 43010 WITH SCORE 43211.249
AT ITER 4178 NEW BEST:: SOT 261726 SOS 201239 HAS SOPS 198914 HAS SOUS 43468 HAS SOUPS 43010 WITH SCORE 43211.239
AT ITER 4203 NEW BEST:: SOT 261728 SOS 201233 HAS SOPS 198908 HAS SOUS 43461 HAS SOUPS 43003 WITH SCORE 43204.233
AT ITER 4227 NEW BEST:: SOT 261728 SOS 201219 HAS SOPS 198874 HAS SOUS 43461 HAS SOUPS 43003 WITH SCORE 43204.219
AT ITER 4270 NEW BEST:: SOT 261728 SOS 201219 HAS SOPS 198874 HAS SOUS 43442 HAS SOUPS 42984 WITH SCORE 43185.219
AT ITER 4275 NEW BEST:: SOT 261714 SOS 201187 HAS SOPS 198842 HAS SOUS 43426 HAS SOUPS 42968 WITH SCORE 43169.187
AT ITER 4325 NEW BEST:: SOT 261714 SOS 201187 HAS SOPS 198842 HAS SOUS 43410 HAS SOUPS 42952 WITH SCORE 43153.187
AT ITER 4350 NEW BEST:: SOT 261930 SOS 201108 HAS SOPS 198443 HAS SOUS 43668 HAS SOUPS 42890 WITH SCORE 43091.108
AT ITER 4353 NEW BEST:: SOT 261928 SOS 201106 HAS SOPS 198441 HAS SOUS 43666 HAS SOUPS 42888 WITH SCORE 43089.106
AT ITER 4361 NEW BEST:: SOT 261928 SOS 209360 HAS SOPS 198565 HAS SOUS 43668 HAS SOUPS 42874 WITH SCORE 43083.36
AT ITER 4398 NEW BEST:: SOT 261875 SOS 209294 HAS SOPS 198512 HAS SOUS 43582 HAS SOUPS 42801 WITH SCORE 43010.294
AT ITER 4454 NEW BEST:: SOT 261859 SOS 209261 HAS SOPS 198496 HAS SOUS 43495 HAS SOUPS 42731 WITH SCORE 42940.261
AT ITER 4494 NEW BEST:: SOT 261859 SOS 209275 HAS SOPS 199910 HAS SOUS 43474 HAS SOUPS 42717 WITH SCORE 42926.275
AT ITER 4511 NEW BEST:: SOT 261859 SOS 209275 HAS SOPS 199910 HAS SOUS 43471 HAS SOUPS 42714 WITH SCORE 42923.275
AT ITER 4544 NEW BEST:: SOT 261836 SOS 209273 HAS SOPS 199961 HAS SOUS 43385 HAS SOUPS 42681 WITH SCORE 42890.273
AT ITER 4572 NEW BEST:: SOT 261601 SOS 208982 HAS SOPS 199670 HAS SOUS 43143 HAS SOUPS 42439 WITH SCORE 42647.982
AT ITER 4586 NEW BEST:: SOT 261463 SOS 208872 HAS SOPS 199560 HAS SOUS 43012 HAS SOUPS 42308 WITH SCORE 42516.872
AT ITER 4662 NEW BEST:: SOT 261621 SOS 208998 HAS SOPS 199718 HAS SOUS 42925 HAS SOUPS 42253 WITH SCORE 42461.998
AT ITER 4677 NEW BEST:: SOT 261595 SOS 208972 HAS SOPS 199692 HAS SOUS 42906 HAS SOUPS 42234 WITH SCORE 42442.972
AT ITER 4691 NEW BEST:: SOT 261595 SOS 208950 HAS SOPS 199670 HAS SOUS 42906 HAS SOUPS 42234 WITH SCORE 42442.95
AT ITER 4707 NEW BEST:: SOT 261595 SOS 208950 HAS SOPS 199670 HAS SOUS 42903 HAS SOUPS 42231 WITH SCORE 42439.95
AT ITER 4723 NEW BEST:: SOT 261659 SOS 209014 HAS SOPS 199734 HAS SOUS 42882 HAS SOUPS 42210 WITH SCORE 42419.014
AT ITER 4795 NEW BEST:: SOT 261652 SOS 209007 HAS SOPS 199727 HAS SOUS 42872 HAS SOUPS 42200 WITH SCORE 42409.007
AT ITER 4823 NEW BEST:: SOT 261652 SOS 209021 HAS SOPS 199741 HAS SOUS 42870 HAS SOUPS 42198 WITH SCORE 42407.021
AT ITER 4859 NEW BEST:: SOT 261652 SOS 209035 HAS SOPS 199755 HAS SOUS 42868 HAS SOUPS 42196 WITH SCORE 42405.035
AT ITER 4886 NEW BEST:: SOT 261676 SOS 209031 HAS SOPS 199739 HAS SOUS 42856 HAS SOUPS 42172 WITH SCORE 42381.031
AT ITER 4944 NEW BEST:: SOT 261672 SOS 209027 HAS SOPS 199735 HAS SOUS 42850 HAS SOUPS 42166 WITH SCORE 42375.027
AT ITER 4955 NEW BEST:: SOT 261657 SOS 209000 HAS SOPS 199720 HAS SOUS 42818 HAS SOUPS 42146 WITH SCORE 42355.0
AT ITER 4992 NEW BEST:: SOT 261602 SOS 208945 HAS SOPS 199665 HAS SOUS 42766 HAS SOUPS 42094 WITH SCORE 42302.945
AT ITER 5017 NEW BEST:: SOT 261598 SOS 208941 HAS SOPS 199661 HAS SOUS 42761 HAS SOUPS 42089 WITH SCORE 42297.941
AT ITER 5026 NEW BEST:: SOT 261589 SOS 208932 HAS SOPS 199652 HAS SOUS 42761 HAS SOUPS 42089 WITH SCORE 42297.932
AT ITER 5034 NEW BEST:: SOT 262042 SOS 209397 HAS SOPS 200117 HAS SOUS 42696 HAS SOUPS 42024 WITH SCORE 42233.397
AT ITER 5048 NEW BEST:: SOT 261916 SOS 209271 HAS SOPS 199991 HAS SOUS 42570 HAS SOUPS 41898 WITH SCORE 42107.271
AT ITER 5056 NEW BEST:: SOT 261908 SOS 209243 HAS SOPS 199963 HAS SOUS 42562 HAS SOUPS 41890 WITH SCORE 42099.243
AT ITER 5069 NEW BEST:: SOT 261880 SOS 209215 HAS SOPS 199935 HAS SOUS 42538 HAS SOUPS 41866 WITH SCORE 42075.215
AT ITER 5124 NEW BEST:: SOT 261817 SOS 209152 HAS SOPS 199872 HAS SOUS 42405 HAS SOUPS 41733 WITH SCORE 41942.152
AT ITER 5126 NEW BEST:: SOT 261817 SOS 209150 HAS SOPS 199872 HAS SOUS 42399 HAS SOUPS 41729 WITH SCORE 41938.15
AT ITER 5141 NEW BEST:: SOT 261821 SOS 209154 HAS SOPS 199876 HAS SOUS 42387 HAS SOUPS 41717 WITH SCORE 41926.154
AT ITER 5142 NEW BEST:: SOT 261781 SOS 209114 HAS SOPS 199836 HAS SOUS 42347 HAS SOUPS 41677 WITH SCORE 41886.114
AT ITER 5213 NEW BEST:: SOT 261773 SOS 209106 HAS SOPS 199828 HAS SOUS 42339 HAS SOUPS 41669 WITH SCORE 41878.106
AT ITER 5289 NEW BEST:: SOT 261773 SOS 209062 HAS SOPS 199784 HAS SOUS 42339 HAS SOUPS 41669 WITH SCORE 41878.062
AT ITER 5291 NEW BEST:: SOT 261832 SOS 209731 HAS SOPS 200453 HAS SOUS 42315 HAS SOUPS 41645 WITH SCORE 41854.731
AT ITER 5332 NEW BEST:: SOT 261817 SOS 209716 HAS SOPS 200438 HAS SOUS 42295 HAS SOUPS 41625 WITH SCORE 41834.716
AT ITER 5353 NEW BEST:: SOT 261817 SOS 209716 HAS SOPS 200438 HAS SOUS 42294 HAS SOUPS 41624 WITH SCORE 41833.716
AT ITER 5366 NEW BEST:: SOT 261817 SOS 209716 HAS SOPS 200438 HAS SOUS 42268 HAS SOUPS 41598 WITH SCORE 41807.716
AT ITER 5372 NEW BEST:: SOT 261725 SOS 209610 HAS SOPS 200332 HAS SOUS 42062 HAS SOUPS 41392 WITH SCORE 41601.61
AT ITER 5418 NEW BEST:: SOT 261725 SOS 209610 HAS SOPS 200332 HAS SOUS 42059 HAS SOUPS 41389 WITH SCORE 41598.61
AT ITER 5460 NEW BEST:: SOT 261753 SOS 209638 HAS SOPS 200360 HAS SOUS 42038 HAS SOUPS 41368 WITH SCORE 41577.638
AT ITER 5467 NEW BEST:: SOT 261726 SOS 209641 HAS SOPS 200396 HAS SOUS 41999 HAS SOUPS 41362 WITH SCORE 41571.641
AT ITER 5473 NEW BEST:: SOT 261725 SOS 209640 HAS SOPS 200395 HAS SOUS 41998 HAS SOUPS 41361 WITH SCORE 41570.64
AT ITER 5499 NEW BEST:: SOT 261771 SOS 209667 HAS SOPS 200366 HAS SOUS 42032 HAS SOUPS 41339 WITH SCORE 41548.667
AT ITER 5566 NEW BEST:: SOT 261771 SOS 209667 HAS SOPS 200366 HAS SOUS 42030 HAS SOUPS 41337 WITH SCORE 41546.667
AT ITER 5572 NEW BEST:: SOT 261771 SOS 209649 HAS SOPS 200348 HAS SOUS 42017 HAS SOUPS 41324 WITH SCORE 41533.649
AT ITER 5607 NEW BEST:: SOT 261715 SOS 209593 HAS SOPS 200292 HAS SOUS 41978 HAS SOUPS 41285 WITH SCORE 41494.593
AT ITER 5626 NEW BEST:: SOT 261694 SOS 209592 HAS SOPS 200251 HAS SOUS 42015 HAS SOUPS 41282 WITH SCORE 41491.592
AT ITER 5639 NEW BEST:: SOT 261688 SOS 209586 HAS SOPS 200245 HAS SOUS 42006 HAS SOUPS 41273 WITH SCORE 41482.586
AT ITER 5645 NEW BEST:: SOT 261688 SOS 209554 HAS SOPS 200213 HAS SOUS 42006 HAS SOUPS 41273 WITH SCORE 41482.554
AT ITER 5651 NEW BEST:: SOT 261688 SOS 209554 HAS SOPS 200213 HAS SOUS 42004 HAS SOUPS 41271 WITH SCORE 41480.554
AT ITER 5703 NEW BEST:: SOT 261637 SOS 209503 HAS SOPS 200162 HAS SOUS 41953 HAS SOUPS 41220 WITH SCORE 41429.503
AT ITER 5712 NEW BEST:: SOT 261637 SOS 209477 HAS SOPS 200136 HAS SOUS 41914 HAS SOUPS 41181 WITH SCORE 41390.477
AT ITER 5720 NEW BEST:: SOT 261601 SOS 209441 HAS SOPS 200100 HAS SOUS 41908 HAS SOUPS 41175 WITH SCORE 41384.441
AT ITER 5722 NEW BEST:: SOT 261601 SOS 209441 HAS SOPS 200100 HAS SOUS 41906 HAS SOUPS 41173 WITH SCORE 41382.441
AT ITER 5786 NEW BEST:: SOT 261593 SOS 209429 HAS SOPS 200096 HAS SOUS 41878 HAS SOUPS 41153 WITH SCORE 41362.429
AT ITER 5792 NEW BEST:: SOT 261614 SOS 209450 HAS SOPS 200117 HAS SOUS 41869 HAS SOUPS 41144 WITH SCORE 41353.45
AT ITER 5811 NEW BEST:: SOT 261614 SOS 209446 HAS SOPS 200117 HAS SOUS 41857 HAS SOUPS 41136 WITH SCORE 41345.446
AT ITER 5832 NEW BEST:: SOT 261614 SOS 209444 HAS SOPS 200115 HAS SOUS 41857 HAS SOUPS 41136 WITH SCORE 41345.444
AT ITER 5864 NEW BEST:: SOT 261614 SOS 209418 HAS SOPS 200089 HAS SOUS 41857 HAS SOUPS 41136 WITH SCORE 41345.418
AT ITER 5883 NEW BEST:: SOT 261600 SOS 209404 HAS SOPS 200075 HAS SOUS 41852 HAS SOUPS 41131 WITH SCORE 41340.404
AT ITER 5887 NEW BEST:: SOT 261592 SOS 209404 HAS SOPS 200067 HAS SOUS 41855 HAS SOUPS 41126 WITH SCORE 41335.404
AT ITER 5974 NEW BEST:: SOT 261592 SOS 209354 HAS SOPS 200017 HAS SOUS 41855 HAS SOUPS 41126 WITH SCORE 41335.354
AT ITER 6008 NEW BEST:: SOT 261576 SOS 209338 HAS SOPS 200001 HAS SOUS 41840 HAS SOUPS 41111 WITH SCORE 41320.338
AT ITER 6082 NEW BEST:: SOT 261576 SOS 209245 HAS SOPS 199908 HAS SOUS 41834 HAS SOUPS 41105 WITH SCORE 41314.245
AT ITER 6130 NEW BEST:: SOT 261576 SOS 209245 HAS SOPS 199908 HAS SOUS 41827 HAS SOUPS 41098 WITH SCORE 41307.245
AT ITER 6138 NEW BEST:: SOT 261492 SOS 209278 HAS SOPS 199941 HAS SOUS 41756 HAS SOUPS 41027 WITH SCORE 41236.278
AT ITER 6162 NEW BEST:: SOT 261403 SOS 208655 HAS SOPS 199318 HAS SOUS 41730 HAS SOUPS 41001 WITH SCORE 41209.655
AT ITER 6232 NEW BEST:: SOT 261104 SOS 208666 HAS SOPS 199329 HAS SOUS 41454 HAS SOUPS 40725 WITH SCORE 40933.666
AT ITER 6258 NEW BEST:: SOT 261087 SOS 208649 HAS SOPS 199312 HAS SOUS 41437 HAS SOUPS 40708 WITH SCORE 40916.649
AT ITER 6273 NEW BEST:: SOT 261064 SOS 208626 HAS SOPS 199289 HAS SOUS 41392 HAS SOUPS 40663 WITH SCORE 40871.626
AT ITER 6291 NEW BEST:: SOT 261036 SOS 208556 HAS SOPS 199219 HAS SOUS 41364 HAS SOUPS 40635 WITH SCORE 40843.556
AT ITER 6313 NEW BEST:: SOT 261032 SOS 208552 HAS SOPS 199215 HAS SOUS 41358 HAS SOUPS 40629 WITH SCORE 40837.552
AT ITER 6330 NEW BEST:: SOT 261028 SOS 208548 HAS SOPS 199211 HAS SOUS 41354 HAS SOUPS 40625 WITH SCORE 40833.548
AT ITER 6351 NEW BEST:: SOT 261028 SOS 208548 HAS SOPS 199211 HAS SOUS 41353 HAS SOUPS 40624 WITH SCORE 40832.548
AT ITER 6389 NEW BEST:: SOT 261046 SOS 208566 HAS SOPS 199229 HAS SOUS 41347 HAS SOUPS 40618 WITH SCORE 40826.566
AT ITER 6395 NEW BEST:: SOT 260987 SOS 208507 HAS SOPS 199170 HAS SOUS 41289 HAS SOUPS 40560 WITH SCORE 40768.507
AT ITER 6409 NEW BEST:: SOT 260987 SOS 208507 HAS SOPS 199170 HAS SOUS 41287 HAS SOUPS 40558 WITH SCORE 40766.507
AT ITER 6441 NEW BEST:: SOT 260987 SOS 208507 HAS SOPS 199170 HAS SOUS 41285 HAS SOUPS 40556 WITH SCORE 40764.507
AT ITER 6452 NEW BEST:: SOT 260915 SOS 208134 HAS SOPS 198797 HAS SOUS 41210 HAS SOUPS 40481 WITH SCORE 40689.134
AT ITER 6453 NEW BEST:: SOT 260923 SOS 208140 HAS SOPS 198795 HAS SOUS 41217 HAS SOUPS 40480 WITH SCORE 40688.14
AT ITER 6468 NEW BEST:: SOT 260937 SOS 208154 HAS SOPS 198809 HAS SOUS 41214 HAS SOUPS 40477 WITH SCORE 40685.154
AT ITER 6635 NEW BEST:: SOT 260930 SOS 208147 HAS SOPS 198802 HAS SOUS 41207 HAS SOUPS 40470 WITH SCORE 40678.147
AT ITER 6640 NEW BEST:: SOT 260912 SOS 208129 HAS SOPS 198784 HAS SOUS 41180 HAS SOUPS 40443 WITH SCORE 40651.129
AT ITER 6667 NEW BEST:: SOT 260912 SOS 208089 HAS SOPS 199244 HAS SOUS 41180 HAS SOUPS 40443 WITH SCORE 40651.089
AT ITER 6694 NEW BEST:: SOT 260906 SOS 208083 HAS SOPS 199238 HAS SOUS 41173 HAS SOUPS 40436 WITH SCORE 40644.083
AT ITER 6755 NEW BEST:: SOT 260906 SOS 208083 HAS SOPS 199238 HAS SOUS 41171 HAS SOUPS 40434 WITH SCORE 40642.083
AT ITER 6762 NEW BEST:: SOT 260889 SOS 208128 HAS SOPS 199283 HAS SOUS 41170 HAS SOUPS 40433 WITH SCORE 40641.128
AT ITER 6781 NEW BEST:: SOT 260889 SOS 208096 HAS SOPS 199251 HAS SOUS 41166 HAS SOUPS 40429 WITH SCORE 40637.096
AT ITER 6801 NEW BEST:: SOT 260889 SOS 208096 HAS SOPS 199251 HAS SOUS 41156 HAS SOUPS 40419 WITH SCORE 40627.096
AT ITER 6832 NEW BEST:: SOT 260966 SOS 208173 HAS SOPS 199328 HAS SOUS 41115 HAS SOUPS 40378 WITH SCORE 40586.173
AT ITER 6887 NEW BEST:: SOT 260962 SOS 208169 HAS SOPS 199324 HAS SOUS 41111 HAS SOUPS 40374 WITH SCORE 40582.169
AT ITER 6912 NEW BEST:: SOT 260962 SOS 208145 HAS SOPS 199300 HAS SOUS 41111 HAS SOUPS 40374 WITH SCORE 40582.145
AT ITER 6916 NEW BEST:: SOT 260962 SOS 208259 HAS SOPS 198814 HAS SOUS 41105 HAS SOUPS 40368 WITH SCORE 40576.259
AT ITER 6918 NEW BEST:: SOT 260958 SOS 208255 HAS SOPS 198810 HAS SOUS 41085 HAS SOUPS 40348 WITH SCORE 40556.255
AT ITER 7035 NEW BEST:: SOT 260895 SOS 208192 HAS SOPS 198747 HAS SOUS 41026 HAS SOUPS 40289 WITH SCORE 40497.192
AT ITER 7047 NEW BEST:: SOT 260879 SOS 208156 HAS SOPS 198731 HAS SOUS 40990 HAS SOUPS 40273 WITH SCORE 40481.156
AT ITER 7052 NEW BEST:: SOT 260877 SOS 208154 HAS SOPS 198729 HAS SOUS 40987 HAS SOUPS 40270 WITH SCORE 40478.154
AT ITER 7056 NEW BEST:: SOT 260827 SOS 208104 HAS SOPS 198679 HAS SOUS 40941 HAS SOUPS 40224 WITH SCORE 40432.104
AT ITER 7060 NEW BEST:: SOT 260827 SOS 208104 HAS SOPS 198679 HAS SOUS 40932 HAS SOUPS 40215 WITH SCORE 40423.104
AT ITER 7083 NEW BEST:: SOT 260827 SOS 208048 HAS SOPS 198533 HAS SOUS 40932 HAS SOUPS 40215 WITH SCORE 40423.048
AT ITER 7093 NEW BEST:: SOT 260825 SOS 208046 HAS SOPS 198531 HAS SOUS 40929 HAS SOUPS 40212 WITH SCORE 40420.046
AT ITER 7096 NEW BEST:: SOT 260659 SOS 207872 HAS SOPS 198380 HAS SOUS 40759 HAS SOUPS 40065 WITH SCORE 40272.872
AT ITER 7134 NEW BEST:: SOT 260659 SOS 207872 HAS SOPS 198380 HAS SOUS 40755 HAS SOUPS 40061 WITH SCORE 40268.872
AT ITER 7218 NEW BEST:: SOT 260659 SOS 207880 HAS SOPS 198388 HAS SOUS 40750 HAS SOUPS 40056 WITH SCORE 40263.88
AT ITER 7272 NEW BEST:: SOT 260659 SOS 207880 HAS SOPS 198388 HAS SOUS 40748 HAS SOUPS 40054 WITH SCORE 40261.88
AT ITER 7290 NEW BEST:: SOT 260659 SOS 207880 HAS SOPS 198388 HAS SOUS 40747 HAS SOUPS 40053 WITH SCORE 40260.88
AT ITER 7422 NEW BEST:: SOT 260689 SOS 207904 HAS SOPS 198418 HAS SOUS 40731 HAS SOUPS 40043 WITH SCORE 40250.904
AT ITER 7427 NEW BEST:: SOT 260681 SOS 207888 HAS SOPS 198410 HAS SOUS 40699 HAS SOUPS 40019 WITH SCORE 40226.888
AT ITER 7503 NEW BEST:: SOT 260681 SOS 207858 HAS SOPS 198380 HAS SOUS 40699 HAS SOUPS 40019 WITH SCORE 40226.858
AT ITER 7514 NEW BEST:: SOT 260678 SOS 207855 HAS SOPS 198377 HAS SOUS 40696 HAS SOUPS 40016 WITH SCORE 40223.855
AT ITER 7557 NEW BEST:: SOT 260678 SOS 207855 HAS SOPS 198377 HAS SOUS 40689 HAS SOUPS 40009 WITH SCORE 40216.855
AT ITER 7588 NEW BEST:: SOT 260664 SOS 207841 HAS SOPS 198363 HAS SOUS 40679 HAS SOUPS 39999 WITH SCORE 40206.841
AT ITER 7635 NEW BEST:: SOT 260604 SOS 207777 HAS SOPS 198305 HAS SOUS 40663 HAS SOUPS 39989 WITH SCORE 40196.777
AT ITER 7640 NEW BEST:: SOT 260554 SOS 207727 HAS SOPS 198255 HAS SOUS 40613 HAS SOUPS 39939 WITH SCORE 40146.727
AT ITER 7654 NEW BEST:: SOT 260502 SOS 207675 HAS SOPS 198203 HAS SOUS 40561 HAS SOUPS 39887 WITH SCORE 40094.675
AT ITER 7684 NEW BEST:: SOT 260444 SOS 207613 HAS SOPS 198141 HAS SOUS 40499 HAS SOUPS 39825 WITH SCORE 40032.613
AT ITER 7703 NEW BEST:: SOT 260446 SOS 207583 HAS SOPS 198151 HAS SOUS 40436 HAS SOUPS 39802 WITH SCORE 40009.583
AT ITER 7756 NEW BEST:: SOT 260428 SOS 207565 HAS SOPS 198133 HAS SOUS 40423 HAS SOUPS 39789 WITH SCORE 39996.565
AT ITER 7819 NEW BEST:: SOT 260428 SOS 207642 HAS SOPS 198210 HAS SOUS 40412 HAS SOUPS 39778 WITH SCORE 39985.642
AT ITER 7846 NEW BEST:: SOT 260428 SOS 207626 HAS SOPS 198194 HAS SOUS 40411 HAS SOUPS 39777 WITH SCORE 39984.626
AT ITER 7848 NEW BEST:: SOT 260440 SOS 207638 HAS SOPS 198206 HAS SOUS 40383 HAS SOUPS 39749 WITH SCORE 39956.638
AT ITER 7857 NEW BEST:: SOT 260440 SOS 207638 HAS SOPS 198206 HAS SOUS 40377 HAS SOUPS 39743 WITH SCORE 39950.638
AT ITER 7882 NEW BEST:: SOT 260390 SOS 207588 HAS SOPS 198161 HAS SOUS 40367 HAS SOUPS 39738 WITH SCORE 39945.588
AT ITER 7908 NEW BEST:: SOT 260396 SOS 207424 HAS SOPS 197997 HAS SOUS 40354 HAS SOUPS 39725 WITH SCORE 39932.424
AT ITER 7931 NEW BEST:: SOT 260390 SOS 207411 HAS SOPS 197991 HAS SOUS 40327 HAS SOUPS 39705 WITH SCORE 39912.411
AT ITER 8111 NEW BEST:: SOT 259912 SOS 206933 HAS SOPS 197513 HAS SOUS 40319 HAS SOUPS 39697 WITH SCORE 39903.933
AT ITER 8153 NEW BEST:: SOT 259962 SOS 206983 HAS SOPS 197563 HAS SOUS 40313 HAS SOUPS 39691 WITH SCORE 39897.983
AT ITER 8211 NEW BEST:: SOT 259967 SOS 206975 HAS SOPS 197568 HAS SOUS 40300 HAS SOUPS 39691 WITH SCORE 39897.975
AT ITER 8342 NEW BEST:: SOT 259932 SOS 206940 HAS SOPS 197533 HAS SOUS 40255 HAS SOUPS 39646 WITH SCORE 39852.94
AT ITER 8438 NEW BEST:: SOT 259932 SOS 206918 HAS SOPS 197511 HAS SOUS 40225 HAS SOUPS 39616 WITH SCORE 39822.918
AT ITER 8442 NEW BEST:: SOT 259968 SOS 206954 HAS SOPS 197547 HAS SOUS 40202 HAS SOUPS 39593 WITH SCORE 39799.954
AT ITER 8446 NEW BEST:: SOT 259967 SOS 206953 HAS SOPS 197546 HAS SOUS 40190 HAS SOUPS 39581 WITH SCORE 39787.953
AT ITER 8518 NEW BEST:: SOT 259944 SOS 206930 HAS SOPS 197523 HAS SOUS 40167 HAS SOUPS 39558 WITH SCORE 39764.93
AT ITER 8536 NEW BEST:: SOT 259914 SOS 206894 HAS SOPS 197487 HAS SOUS 40137 HAS SOUPS 39528 WITH SCORE 39734.894
AT ITER 8552 NEW BEST:: SOT 259920 SOS 206897 HAS SOPS 197500 HAS SOUS 40122 HAS SOUPS 39523 WITH SCORE 39729.897
AT ITER 8636 NEW BEST:: SOT 259920 SOS 206877 HAS SOPS 197450 HAS SOUS 40122 HAS SOUPS 39523 WITH SCORE 39729.877
AT ITER 8698 NEW BEST:: SOT 259911 SOS 206868 HAS SOPS 197441 HAS SOUS 40115 HAS SOUPS 39516 WITH SCORE 39722.868
AT ITER 8742 NEW BEST:: SOT 259821 SOS 206787 HAS SOPS 197351 HAS SOUS 40054 HAS SOUPS 39446 WITH SCORE 39652.787
AT ITER 8766 NEW BEST:: SOT 259831 SOS 206797 HAS SOPS 197361 HAS SOUS 40051 HAS SOUPS 39443 WITH SCORE 39649.797
AT ITER 8837 NEW BEST:: SOT 259842 SOS 206808 HAS SOPS 197372 HAS SOUS 40049 HAS SOUPS 39441 WITH SCORE 39647.808
AT ITER 8838 NEW BEST:: SOT 259842 SOS 206800 HAS SOPS 197364 HAS SOUS 40049 HAS SOUPS 39441 WITH SCORE 39647.8
AT ITER 8890 NEW BEST:: SOT 259842 SOS 206800 HAS SOPS 197364 HAS SOUS 40048 HAS SOUPS 39440 WITH SCORE 39646.8
AT ITER 8900 NEW BEST:: SOT 259655 SOS 206766 HAS SOPS 197330 HAS SOUS 39862 HAS SOUPS 39254 WITH SCORE 39460.766
AT ITER 8956 NEW BEST:: SOT 259658 SOS 206769 HAS SOPS 197333 HAS SOUS 39861 HAS SOUPS 39253 WITH SCORE 39459.769
AT ITER 9012 NEW BEST:: SOT 259640 SOS 206751 HAS SOPS 197315 HAS SOUS 39859 HAS SOUPS 39251 WITH SCORE 39457.751
AT ITER 9079 NEW BEST:: SOT 259640 SOS 206751 HAS SOPS 197315 HAS SOUS 39853 HAS SOUPS 39245 WITH SCORE 39451.751
AT ITER 9169 NEW BEST:: SOT 259682 SOS 206787 HAS SOPS 197357 HAS SOUS 39836 HAS SOUPS 39234 WITH SCORE 39440.787
AT ITER 9218 NEW BEST:: SOT 259639 SOS 206736 HAS SOPS 197306 HAS SOUS 39785 HAS SOUPS 39183 WITH SCORE 39389.736
AT ITER 9226 NEW BEST:: SOT 259615 SOS 206715 HAS SOPS 197288 HAS SOUS 39728 HAS SOUPS 39129 WITH SCORE 39335.715
AT ITER 9272 NEW BEST:: SOT 259609 SOS 206707 HAS SOPS 197286 HAS SOUS 39710 HAS SOUPS 39117 WITH SCORE 39323.707
AT ITER 9325 NEW BEST:: SOT 259605 SOS 206703 HAS SOPS 197282 HAS SOUS 39702 HAS SOUPS 39109 WITH SCORE 39315.703
AT ITER 9342 NEW BEST:: SOT 259575 SOS 206673 HAS SOPS 197252 HAS SOUS 39700 HAS SOUPS 39107 WITH SCORE 39313.673
AT ITER 9418 NEW BEST:: SOT 259575 SOS 206673 HAS SOPS 197252 HAS SOUS 39696 HAS SOUPS 39103 WITH SCORE 39309.673
AT ITER 9465 NEW BEST:: SOT 259575 SOS 206673 HAS SOPS 197252 HAS SOUS 39695 HAS SOUPS 39102 WITH SCORE 39308.673
AT ITER 9492 NEW BEST:: SOT 259565 SOS 206663 HAS SOPS 197242 HAS SOUS 39684 HAS SOUPS 39091 WITH SCORE 39297.663
AT ITER 9503 NEW BEST:: SOT 259568 SOS 206666 HAS SOPS 197245 HAS SOUS 39672 HAS SOUPS 39079 WITH SCORE 39285.666
AT ITER 9522 NEW BEST:: SOT 259534 SOS 206976 HAS SOPS 197571 HAS SOUS 39630 HAS SOUPS 39053 WITH SCORE 39259.976
AT ITER 9536 NEW BEST:: SOT 259534 SOS 206976 HAS SOPS 197571 HAS SOUS 39624 HAS SOUPS 39047 WITH SCORE 39253.976
AT ITER 9634 NEW BEST:: SOT 259544 SOS 206986 HAS SOPS 197581 HAS SOUS 39614 HAS SOUPS 39037 WITH SCORE 39243.986
AT ITER 9732 NEW BEST:: SOT 259544 SOS 206986 HAS SOPS 197572 HAS SOUS 39620 HAS SOUPS 39034 WITH SCORE 39240.986
AT ITER 9816 NEW BEST:: SOT 259538 SOS 206980 HAS SOPS 197566 HAS SOUS 39606 HAS SOUPS 39020 WITH SCORE 39226.98
AT ITER 9817 NEW BEST:: SOT 259538 SOS 206976 HAS SOPS 197562 HAS SOUS 39604 HAS SOUPS 39018 WITH SCORE 39224.976
AT ITER 9823 NEW BEST:: SOT 259538 SOS 206976 HAS SOPS 197562 HAS SOUS 39596 HAS SOUPS 39010 WITH SCORE 39216.976
AT ITER 9856 NEW BEST:: SOT 259609 SOS 207047 HAS SOPS 197633 HAS SOUS 39538 HAS SOUPS 38952 WITH SCORE 39159.047
AT ITER 9889 NEW BEST:: SOT 259448 SOS 206878 HAS SOPS 197476 HAS SOUS 39480 HAS SOUPS 38906 WITH SCORE 39112.878
AT ITER 9897 NEW BEST:: SOT 259440 SOS 206870 HAS SOPS 197468 HAS SOUS 39472 HAS SOUPS 38898 WITH SCORE 39104.87
AT ITER 9917 NEW BEST:: SOT 259437 SOS 206859 HAS SOPS 197457 HAS SOUS 39465 HAS SOUPS 38891 WITH SCORE 39097.859
AT ITER 9987 NEW BEST:: SOT 259427 SOS 206843 HAS SOPS 197441 HAS SOUS 39399 HAS SOUPS 38825 WITH SCORE 39031.843
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 847976 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16116760 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="SafeBus-COL-10"
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 SafeBus-COL-10, 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 r363-smll-167891813900224"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/SafeBus-COL-10.tgz
mv SafeBus-COL-10 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
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 ;