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.r331-tall-167889204300320.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 Raft-PT-05, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r331-tall-167889204300320
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 528K
-rw-r--r-- 1 mcc users 5.7K Feb 26 17:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 60K Feb 26 17:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 26 17:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 26 17:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Feb 25 16:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:41 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 16:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:41 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 17:25 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 118K Feb 26 17:25 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 17:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 111K Feb 26 17:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 16:41 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:41 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 62K 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 1679138128943

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=Raft-PT-05
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-18 11:15:30] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-18 11:15:30] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-18 11:15:30] [INFO ] Load time of PNML (sax parser for PT used): 53 ms
[2023-03-18 11:15:30] [INFO ] Transformed 133 places.
[2023-03-18 11:15:30] [INFO ] Transformed 238 transitions.
[2023-03-18 11:15:30] [INFO ] Found NUPN structural information;
[2023-03-18 11:15:30] [INFO ] Parsed PT model containing 133 places and 238 transitions and 864 arcs in 123 ms.
[2023-03-18 11:15:30] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 133 places, 238 transitions and 864 arcs took 8 ms.
Total runtime 279 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Raft (PT), instance 05
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: 133 places, 238 transitions, 864 arcs.
AT ITER 0 NEW BEST:: SOT 27317 SOS 17522 HAS SOPS 17502 HAS SOUS 13979 HAS SOUPS 13974 WITH SCORE 13991.522
AT ITER 2 NEW BEST:: SOT 26386 SOS 17737 HAS SOPS 16665 HAS SOUS 13704 HAS SOUPS 13625 WITH SCORE 13642.737
AT ITER 6 NEW BEST:: SOT 26386 SOS 17737 HAS SOPS 16596 HAS SOUS 13697 HAS SOUPS 13607 WITH SCORE 13624.737
AT ITER 7 NEW BEST:: SOT 26063 SOS 17172 HAS SOPS 16048 HAS SOUS 13362 HAS SOUPS 13272 WITH SCORE 13289.172
AT ITER 9 NEW BEST:: SOT 26063 SOS 17195 HAS SOPS 16048 HAS SOUS 13344 HAS SOUPS 13254 WITH SCORE 13271.195
AT ITER 10 NEW BEST:: SOT 25858 SOS 16964 HAS SOPS 15875 HAS SOUS 13168 HAS SOUPS 13068 WITH SCORE 13084.964
AT ITER 13 NEW BEST:: SOT 25556 SOS 16595 HAS SOPS 15509 HAS SOUS 12814 HAS SOUPS 12705 WITH SCORE 12721.595
AT ITER 16 NEW BEST:: SOT 25448 SOS 16480 HAS SOPS 15375 HAS SOUS 12693 HAS SOUPS 12571 WITH SCORE 12587.48
AT ITER 17 NEW BEST:: SOT 25228 SOS 16228 HAS SOPS 15287 HAS SOUS 12539 HAS SOUPS 12417 WITH SCORE 12433.228
AT ITER 18 NEW BEST:: SOT 25164 SOS 16249 HAS SOPS 15308 HAS SOUS 12510 HAS SOUPS 12388 WITH SCORE 12404.249
AT ITER 19 NEW BEST:: SOT 25032 SOS 16277 HAS SOPS 15328 HAS SOUS 12425 HAS SOUPS 12303 WITH SCORE 12319.277
AT ITER 20 NEW BEST:: SOT 24973 SOS 16249 HAS SOPS 15300 HAS SOUS 12386 HAS SOUPS 12264 WITH SCORE 12280.249
AT ITER 22 NEW BEST:: SOT 23922 SOS 16104 HAS SOPS 14346 HAS SOUS 11728 HAS SOUPS 11536 WITH SCORE 11552.104
AT ITER 25 NEW BEST:: SOT 23920 SOS 16102 HAS SOPS 14342 HAS SOUS 11726 HAS SOUPS 11534 WITH SCORE 11550.102
AT ITER 27 NEW BEST:: SOT 23717 SOS 15960 HAS SOPS 14223 HAS SOUS 11614 HAS SOUPS 11424 WITH SCORE 11439.96
AT ITER 29 NEW BEST:: SOT 23717 SOS 15864 HAS SOPS 14127 HAS SOUS 11594 HAS SOUPS 11404 WITH SCORE 11419.864
AT ITER 30 NEW BEST:: SOT 24169 SOS 16142 HAS SOPS 13468 HAS SOUS 11979 HAS SOUPS 10846 WITH SCORE 10862.142
AT ITER 31 NEW BEST:: SOT 24169 SOS 16131 HAS SOPS 13457 HAS SOUS 11979 HAS SOUPS 10846 WITH SCORE 10862.131
AT ITER 32 NEW BEST:: SOT 24169 SOS 16053 HAS SOPS 13457 HAS SOUS 11979 HAS SOUPS 10846 WITH SCORE 10862.053
AT ITER 34 NEW BEST:: SOT 24161 SOS 16044 HAS SOPS 13445 HAS SOUS 11968 HAS SOUPS 10834 WITH SCORE 10850.044
AT ITER 37 NEW BEST:: SOT 24011 SOS 15894 HAS SOPS 13295 HAS SOUS 11800 HAS SOUPS 10666 WITH SCORE 10681.894
AT ITER 38 NEW BEST:: SOT 24011 SOS 15883 HAS SOPS 13284 HAS SOUS 11783 HAS SOUPS 10649 WITH SCORE 10664.883
AT ITER 39 NEW BEST:: SOT 23950 SOS 15830 HAS SOPS 13231 HAS SOUS 11733 HAS SOUPS 10599 WITH SCORE 10614.83
AT ITER 40 NEW BEST:: SOT 23950 SOS 15828 HAS SOPS 13229 HAS SOUS 11733 HAS SOUPS 10599 WITH SCORE 10614.828
AT ITER 41 NEW BEST:: SOT 23757 SOS 15447 HAS SOPS 13061 HAS SOUS 11525 HAS SOUPS 10523 WITH SCORE 10538.447
AT ITER 42 NEW BEST:: SOT 23611 SOS 15282 HAS SOPS 12879 HAS SOUS 11359 HAS SOUPS 10341 WITH SCORE 10356.282
AT ITER 48 NEW BEST:: SOT 23611 SOS 15188 HAS SOPS 12832 HAS SOUS 11359 HAS SOUPS 10341 WITH SCORE 10356.188
AT ITER 49 NEW BEST:: SOT 23611 SOS 15214 HAS SOPS 12832 HAS SOUS 11343 HAS SOUPS 10324 WITH SCORE 10339.214
AT ITER 52 NEW BEST:: SOT 23611 SOS 15065 HAS SOPS 12731 HAS SOUS 11269 HAS SOUPS 10298 WITH SCORE 10313.065
AT ITER 54 NEW BEST:: SOT 23567 SOS 15021 HAS SOPS 12663 HAS SOUS 11225 HAS SOUPS 10230 WITH SCORE 10245.021
AT ITER 56 NEW BEST:: SOT 23435 SOS 14889 HAS SOPS 12531 HAS SOUS 11093 HAS SOUPS 10098 WITH SCORE 10112.889
AT ITER 59 NEW BEST:: SOT 23455 SOS 14908 HAS SOPS 12511 HAS SOUS 11115 HAS SOUPS 10073 WITH SCORE 10087.908
AT ITER 60 NEW BEST:: SOT 23308 SOS 14804 HAS SOPS 12406 HAS SOUS 10967 HAS SOUPS 9925 WITH SCORE 9939.804
AT ITER 62 NEW BEST:: SOT 23299 SOS 14790 HAS SOPS 12383 HAS SOUS 10951 HAS SOUPS 9902 WITH SCORE 9916.79
AT ITER 63 NEW BEST:: SOT 23255 SOS 14658 HAS SOPS 12251 HAS SOUS 10863 HAS SOUPS 9814 WITH SCORE 9828.658
AT ITER 66 NEW BEST:: SOT 23227 SOS 14591 HAS SOPS 12171 HAS SOUS 10804 HAS SOUPS 9755 WITH SCORE 9769.591
AT ITER 71 NEW BEST:: SOT 23092 SOS 14438 HAS SOPS 12030 HAS SOUS 10641 HAS SOUPS 9614 WITH SCORE 9628.438
AT ITER 73 NEW BEST:: SOT 23080 SOS 14423 HAS SOPS 12006 HAS SOUS 10616 HAS SOUPS 9589 WITH SCORE 9603.423
AT ITER 77 NEW BEST:: SOT 23231 SOS 14445 HAS SOPS 11995 HAS SOUS 10597 HAS SOUPS 9566 WITH SCORE 9580.445
AT ITER 78 NEW BEST:: SOT 23139 SOS 14261 HAS SOPS 11811 HAS SOUS 10413 HAS SOUPS 9382 WITH SCORE 9396.261
AT ITER 79 NEW BEST:: SOT 23139 SOS 14251 HAS SOPS 11811 HAS SOUS 10413 HAS SOUPS 9382 WITH SCORE 9396.251
AT ITER 96 NEW BEST:: SOT 23143 SOS 14207 HAS SOPS 11797 HAS SOUS 10369 HAS SOUPS 9364 WITH SCORE 9378.207
AT ITER 98 NEW BEST:: SOT 23010 SOS 14426 HAS SOPS 12303 HAS SOUS 10339 HAS SOUPS 9353 WITH SCORE 9367.426
AT ITER 99 NEW BEST:: SOT 23010 SOS 14397 HAS SOPS 12288 HAS SOUS 10291 HAS SOUPS 9319 WITH SCORE 9333.397
AT ITER 104 NEW BEST:: SOT 23010 SOS 14366 HAS SOPS 12257 HAS SOUS 10291 HAS SOUPS 9319 WITH SCORE 9333.366
AT ITER 105 NEW BEST:: SOT 22973 SOS 14331 HAS SOPS 12230 HAS SOUS 10260 HAS SOUPS 9295 WITH SCORE 9309.331
AT ITER 106 NEW BEST:: SOT 22973 SOS 14333 HAS SOPS 12200 HAS SOUS 10230 HAS SOUPS 9265 WITH SCORE 9279.333
AT ITER 107 NEW BEST:: SOT 22973 SOS 14293 HAS SOPS 12160 HAS SOUS 10230 HAS SOUPS 9265 WITH SCORE 9279.293
AT ITER 114 NEW BEST:: SOT 22908 SOS 14263 HAS SOPS 12233 HAS SOUS 10163 HAS SOUPS 9198 WITH SCORE 9212.263
AT ITER 117 NEW BEST:: SOT 22904 SOS 14255 HAS SOPS 12225 HAS SOUS 10159 HAS SOUPS 9194 WITH SCORE 9208.255
AT ITER 120 NEW BEST:: SOT 22922 SOS 14316 HAS SOPS 12252 HAS SOUS 10161 HAS SOUPS 9177 WITH SCORE 9191.316
AT ITER 122 NEW BEST:: SOT 22895 SOS 14289 HAS SOPS 12198 HAS SOUS 10113 HAS SOUPS 9129 WITH SCORE 9143.289
AT ITER 125 NEW BEST:: SOT 22334 SOS 14125 HAS SOPS 11868 HAS SOUS 9851 HAS SOUPS 8834 WITH SCORE 8848.125
AT ITER 127 NEW BEST:: SOT 22332 SOS 14120 HAS SOPS 11859 HAS SOUS 9846 HAS SOUPS 8829 WITH SCORE 8843.12
AT ITER 129 NEW BEST:: SOT 22344 SOS 14076 HAS SOPS 11853 HAS SOUS 9844 HAS SOUPS 8829 WITH SCORE 8843.076
AT ITER 130 NEW BEST:: SOT 22344 SOS 14076 HAS SOPS 11853 HAS SOUS 9840 HAS SOUPS 8825 WITH SCORE 8839.076
AT ITER 133 NEW BEST:: SOT 22337 SOS 14048 HAS SOPS 11797 HAS SOUS 9826 HAS SOUPS 8811 WITH SCORE 8825.048
AT ITER 135 NEW BEST:: SOT 22299 SOS 14040 HAS SOPS 11739 HAS SOUS 9777 HAS SOUPS 8759 WITH SCORE 8773.04
AT ITER 137 NEW BEST:: SOT 21148 SOS 15626 HAS SOPS 11843 HAS SOUS 9424 HAS SOUPS 8302 WITH SCORE 8317.626
AT ITER 138 NEW BEST:: SOT 21126 SOS 15361 HAS SOPS 11587 HAS SOUS 9380 HAS SOUPS 8258 WITH SCORE 8273.361
AT ITER 142 NEW BEST:: SOT 21074 SOS 15309 HAS SOPS 11477 HAS SOUS 9223 HAS SOUPS 8101 WITH SCORE 8116.309
AT ITER 148 NEW BEST:: SOT 21003 SOS 15359 HAS SOPS 11443 HAS SOUS 9208 HAS SOUPS 8086 WITH SCORE 8101.359
AT ITER 152 NEW BEST:: SOT 21000 SOS 15356 HAS SOPS 11440 HAS SOUS 9203 HAS SOUPS 8081 WITH SCORE 8096.356
AT ITER 159 NEW BEST:: SOT 20990 SOS 15216 HAS SOPS 11322 HAS SOUS 9198 HAS SOUPS 8076 WITH SCORE 8091.216
AT ITER 161 NEW BEST:: SOT 20990 SOS 15210 HAS SOPS 11316 HAS SOUS 9198 HAS SOUPS 8076 WITH SCORE 8091.21
AT ITER 165 NEW BEST:: SOT 19882 SOS 14679 HAS SOPS 10632 HAS SOUS 8498 HAS SOUPS 7337 WITH SCORE 7351.679
AT ITER 170 NEW BEST:: SOT 19548 SOS 14335 HAS SOPS 10341 HAS SOUS 8218 HAS SOUPS 7063 WITH SCORE 7077.335
AT ITER 171 NEW BEST:: SOT 19549 SOS 14336 HAS SOPS 10342 HAS SOUS 8216 HAS SOUPS 7061 WITH SCORE 7075.336
AT ITER 172 NEW BEST:: SOT 19542 SOS 14329 HAS SOPS 10328 HAS SOUS 8216 HAS SOUPS 7054 WITH SCORE 7068.329
AT ITER 173 NEW BEST:: SOT 19518 SOS 14305 HAS SOPS 10304 HAS SOUS 8180 HAS SOUPS 7018 WITH SCORE 7032.305
AT ITER 174 NEW BEST:: SOT 19542 SOS 14329 HAS SOPS 10328 HAS SOUS 8170 HAS SOUPS 7008 WITH SCORE 7022.329
AT ITER 180 NEW BEST:: SOT 19556 SOS 14224 HAS SOPS 10228 HAS SOUS 8133 HAS SOUPS 6971 WITH SCORE 6985.224
AT ITER 181 NEW BEST:: SOT 19499 SOS 14167 HAS SOPS 10149 HAS SOUS 8018 HAS SOUPS 6856 WITH SCORE 6870.167
AT ITER 184 NEW BEST:: SOT 19481 SOS 14149 HAS SOPS 10124 HAS SOUS 7981 HAS SOUPS 6819 WITH SCORE 6833.149
AT ITER 189 NEW BEST:: SOT 19449 SOS 14117 HAS SOPS 10124 HAS SOUS 7955 HAS SOUPS 6793 WITH SCORE 6807.117
AT ITER 192 NEW BEST:: SOT 19230 SOS 14310 HAS SOPS 10052 HAS SOUS 7883 HAS SOUPS 6700 WITH SCORE 6714.31
AT ITER 197 NEW BEST:: SOT 19208 SOS 14288 HAS SOPS 10030 HAS SOUS 7864 HAS SOUPS 6681 WITH SCORE 6695.288
AT ITER 201 NEW BEST:: SOT 19162 SOS 14226 HAS SOPS 9980 HAS SOUS 7832 HAS SOUPS 6649 WITH SCORE 6663.226
AT ITER 204 NEW BEST:: SOT 19101 SOS 14149 HAS SOPS 9868 HAS SOUS 7724 HAS SOUPS 6541 WITH SCORE 6555.149
AT ITER 207 NEW BEST:: SOT 19065 SOS 14113 HAS SOPS 9844 HAS SOUS 7693 HAS SOUPS 6513 WITH SCORE 6527.113
AT ITER 208 NEW BEST:: SOT 19049 SOS 14097 HAS SOPS 9828 HAS SOUS 7681 HAS SOUPS 6501 WITH SCORE 6515.097
AT ITER 212 NEW BEST:: SOT 19046 SOS 14094 HAS SOPS 9813 HAS SOUS 7666 HAS SOUPS 6486 WITH SCORE 6500.094
AT ITER 215 NEW BEST:: SOT 19011 SOS 13847 HAS SOPS 9510 HAS SOUS 7608 HAS SOUPS 6428 WITH SCORE 6441.847
AT ITER 219 NEW BEST:: SOT 19001 SOS 13758 HAS SOPS 9461 HAS SOUS 7553 HAS SOUPS 6409 WITH SCORE 6422.758
AT ITER 220 NEW BEST:: SOT 18993 SOS 13662 HAS SOPS 9365 HAS SOUS 7519 HAS SOUPS 6375 WITH SCORE 6388.662
AT ITER 221 NEW BEST:: SOT 18979 SOS 13648 HAS SOPS 9344 HAS SOUS 7479 HAS SOUPS 6335 WITH SCORE 6348.648
AT ITER 222 NEW BEST:: SOT 18979 SOS 13646 HAS SOPS 9344 HAS SOUS 7478 HAS SOUPS 6335 WITH SCORE 6348.646
AT ITER 225 NEW BEST:: SOT 19006 SOS 13673 HAS SOPS 9292 HAS SOUS 7465 HAS SOUPS 6322 WITH SCORE 6335.673
AT ITER 226 NEW BEST:: SOT 19006 SOS 13661 HAS SOPS 9292 HAS SOUS 7465 HAS SOUPS 6322 WITH SCORE 6335.661
AT ITER 235 NEW BEST:: SOT 18979 SOS 13634 HAS SOPS 9238 HAS SOUS 7439 HAS SOUPS 6296 WITH SCORE 6309.634
AT ITER 240 NEW BEST:: SOT 18979 SOS 13634 HAS SOPS 9238 HAS SOUS 7426 HAS SOUPS 6283 WITH SCORE 6296.634
AT ITER 243 NEW BEST:: SOT 18945 SOS 13600 HAS SOPS 9204 HAS SOUS 7395 HAS SOUPS 6252 WITH SCORE 6265.6
AT ITER 244 NEW BEST:: SOT 18795 SOS 13450 HAS SOPS 9154 HAS SOUS 7295 HAS SOUPS 6152 WITH SCORE 6165.45
AT ITER 245 NEW BEST:: SOT 18828 SOS 13569 HAS SOPS 9286 HAS SOUS 7263 HAS SOUPS 6120 WITH SCORE 6133.569
AT ITER 250 NEW BEST:: SOT 18773 SOS 13519 HAS SOPS 9236 HAS SOUS 7213 HAS SOUPS 6070 WITH SCORE 6083.519
AT ITER 252 NEW BEST:: SOT 18754 SOS 13448 HAS SOPS 9115 HAS SOUS 7152 HAS SOUPS 6009 WITH SCORE 6022.448
AT ITER 253 NEW BEST:: SOT 18738 SOS 13432 HAS SOPS 9106 HAS SOUS 7131 HAS SOUPS 5993 WITH SCORE 6006.432
AT ITER 265 NEW BEST:: SOT 18716 SOS 13410 HAS SOPS 9073 HAS SOUS 7074 HAS SOUPS 5936 WITH SCORE 5949.41
AT ITER 272 NEW BEST:: SOT 18668 SOS 13362 HAS SOPS 9025 HAS SOUS 7026 HAS SOUPS 5896 WITH SCORE 5909.362
AT ITER 276 NEW BEST:: SOT 18665 SOS 13357 HAS SOPS 9033 HAS SOUS 7022 HAS SOUPS 5892 WITH SCORE 5905.357
AT ITER 277 NEW BEST:: SOT 18623 SOS 13315 HAS SOPS 8985 HAS SOUS 6944 HAS SOUPS 5814 WITH SCORE 5827.315
AT ITER 289 NEW BEST:: SOT 18701 SOS 12762 HAS SOPS 8778 HAS SOUS 6917 HAS SOUPS 5803 WITH SCORE 5815.762
AT ITER 307 NEW BEST:: SOT 18548 SOS 12859 HAS SOPS 8713 HAS SOUS 6848 HAS SOUPS 5722 WITH SCORE 5734.859
AT ITER 318 NEW BEST:: SOT 18540 SOS 12842 HAS SOPS 8697 HAS SOUS 6836 HAS SOUPS 5710 WITH SCORE 5722.842
AT ITER 319 NEW BEST:: SOT 18514 SOS 12826 HAS SOPS 8655 HAS SOUS 6796 HAS SOUPS 5670 WITH SCORE 5682.826
AT ITER 323 NEW BEST:: SOT 18510 SOS 12820 HAS SOPS 8647 HAS SOUS 6788 HAS SOUPS 5662 WITH SCORE 5674.82
AT ITER 329 NEW BEST:: SOT 18510 SOS 12820 HAS SOPS 8647 HAS SOUS 6775 HAS SOUPS 5649 WITH SCORE 5661.82
AT ITER 330 NEW BEST:: SOT 18520 SOS 12799 HAS SOPS 8667 HAS SOUS 6739 HAS SOUPS 5644 WITH SCORE 5656.799
AT ITER 331 NEW BEST:: SOT 18520 SOS 12663 HAS SOPS 8560 HAS SOUS 6739 HAS SOUPS 5644 WITH SCORE 5656.663
AT ITER 333 NEW BEST:: SOT 18520 SOS 12663 HAS SOPS 8560 HAS SOUS 6736 HAS SOUPS 5641 WITH SCORE 5653.663
AT ITER 334 NEW BEST:: SOT 18510 SOS 12648 HAS SOPS 8550 HAS SOUS 6721 HAS SOUPS 5631 WITH SCORE 5643.648
AT ITER 341 NEW BEST:: SOT 18514 SOS 12644 HAS SOPS 8546 HAS SOUS 6717 HAS SOUPS 5627 WITH SCORE 5639.644
AT ITER 343 NEW BEST:: SOT 18500 SOS 12630 HAS SOPS 8524 HAS SOUS 6703 HAS SOUPS 5613 WITH SCORE 5625.63
AT ITER 345 NEW BEST:: SOT 18478 SOS 12359 HAS SOPS 8168 HAS SOUS 6657 HAS SOUPS 5567 WITH SCORE 5579.359
AT ITER 346 NEW BEST:: SOT 18478 SOS 12359 HAS SOPS 8168 HAS SOUS 6654 HAS SOUPS 5564 WITH SCORE 5576.359
AT ITER 348 NEW BEST:: SOT 18478 SOS 12239 HAS SOPS 8106 HAS SOUS 6654 HAS SOUPS 5564 WITH SCORE 5576.239
AT ITER 351 NEW BEST:: SOT 18464 SOS 12244 HAS SOPS 8111 HAS SOUS 6618 HAS SOUPS 5528 WITH SCORE 5540.244
AT ITER 354 NEW BEST:: SOT 18454 SOS 12234 HAS SOPS 8091 HAS SOUS 6592 HAS SOUPS 5502 WITH SCORE 5514.234
AT ITER 360 NEW BEST:: SOT 18438 SOS 12218 HAS SOPS 8059 HAS SOUS 6544 HAS SOUPS 5454 WITH SCORE 5466.218
AT ITER 375 NEW BEST:: SOT 18434 SOS 12214 HAS SOPS 8053 HAS SOUS 6538 HAS SOUPS 5448 WITH SCORE 5460.214
AT ITER 379 NEW BEST:: SOT 18372 SOS 12152 HAS SOPS 8043 HAS SOUS 6447 HAS SOUPS 5382 WITH SCORE 5394.152
AT ITER 384 NEW BEST:: SOT 18371 SOS 12136 HAS SOPS 8041 HAS SOUS 6444 HAS SOUPS 5379 WITH SCORE 5391.136
AT ITER 392 NEW BEST:: SOT 18713 SOS 10702 HAS SOPS 7601 HAS SOUS 6389 HAS SOUPS 5376 WITH SCORE 5386.702
AT ITER 399 NEW BEST:: SOT 18653 SOS 10636 HAS SOPS 7549 HAS SOUS 6337 HAS SOUPS 5324 WITH SCORE 5334.636
AT ITER 407 NEW BEST:: SOT 18653 SOS 10636 HAS SOPS 7549 HAS SOUS 6330 HAS SOUPS 5317 WITH SCORE 5327.636
AT ITER 408 NEW BEST:: SOT 18641 SOS 10622 HAS SOPS 7533 HAS SOUS 6315 HAS SOUPS 5302 WITH SCORE 5312.622
AT ITER 415 NEW BEST:: SOT 18631 SOS 10612 HAS SOPS 7538 HAS SOUS 6310 HAS SOUPS 5297 WITH SCORE 5307.612
AT ITER 420 NEW BEST:: SOT 18603 SOS 10583 HAS SOPS 7532 HAS SOUS 6304 HAS SOUPS 5291 WITH SCORE 5301.583
AT ITER 422 NEW BEST:: SOT 18414 SOS 10394 HAS SOPS 7426 HAS SOUS 6184 HAS SOUPS 5171 WITH SCORE 5181.394
AT ITER 446 NEW BEST:: SOT 18394 SOS 10374 HAS SOPS 7459 HAS SOUS 6154 HAS SOUPS 5159 WITH SCORE 5169.374
AT ITER 451 NEW BEST:: SOT 18378 SOS 10358 HAS SOPS 7427 HAS SOUS 6119 HAS SOUPS 5116 WITH SCORE 5126.358
AT ITER 453 NEW BEST:: SOT 18377 SOS 10357 HAS SOPS 7425 HAS SOUS 6119 HAS SOUPS 5115 WITH SCORE 5125.357
AT ITER 455 NEW BEST:: SOT 18373 SOS 10340 HAS SOPS 7401 HAS SOUS 6113 HAS SOUPS 5109 WITH SCORE 5119.34
AT ITER 473 NEW BEST:: SOT 18373 SOS 10340 HAS SOPS 7377 HAS SOUS 6104 HAS SOUPS 5095 WITH SCORE 5105.34
AT ITER 482 NEW BEST:: SOT 18373 SOS 10336 HAS SOPS 7353 HAS SOUS 6104 HAS SOUPS 5095 WITH SCORE 5105.336
AT ITER 486 NEW BEST:: SOT 18342 SOS 10285 HAS SOPS 7314 HAS SOUS 5999 HAS SOUPS 4990 WITH SCORE 5000.285
AT ITER 487 NEW BEST:: SOT 18342 SOS 10285 HAS SOPS 7314 HAS SOUS 5996 HAS SOUPS 4987 WITH SCORE 4997.285
AT ITER 489 NEW BEST:: SOT 18302 SOS 10205 HAS SOPS 7234 HAS SOUS 5976 HAS SOUPS 4967 WITH SCORE 4977.205
AT ITER 496 NEW BEST:: SOT 18156 SOS 10915 HAS SOPS 7452 HAS SOUS 5963 HAS SOUPS 4954 WITH SCORE 4964.915
AT ITER 504 NEW BEST:: SOT 18156 SOS 10906 HAS SOPS 7443 HAS SOUS 5963 HAS SOUPS 4954 WITH SCORE 4964.906
AT ITER 506 NEW BEST:: SOT 18160 SOS 10944 HAS SOPS 7393 HAS SOUS 5923 HAS SOUPS 4914 WITH SCORE 4924.944
AT ITER 507 NEW BEST:: SOT 18140 SOS 10914 HAS SOPS 7353 HAS SOUS 5887 HAS SOUPS 4878 WITH SCORE 4888.914
AT ITER 516 NEW BEST:: SOT 18135 SOS 10909 HAS SOPS 7343 HAS SOUS 5877 HAS SOUPS 4868 WITH SCORE 4878.909
AT ITER 544 NEW BEST:: SOT 18131 SOS 10905 HAS SOPS 7339 HAS SOUS 5875 HAS SOUPS 4866 WITH SCORE 4876.905
AT ITER 545 NEW BEST:: SOT 18113 SOS 10867 HAS SOPS 7383 HAS SOUS 5839 HAS SOUPS 4859 WITH SCORE 4869.867
AT ITER 548 NEW BEST:: SOT 18113 SOS 10867 HAS SOPS 7350 HAS SOUS 5848 HAS SOUPS 4857 WITH SCORE 4867.867
AT ITER 549 NEW BEST:: SOT 18123 SOS 10877 HAS SOPS 7294 HAS SOUS 5866 HAS SOUPS 4847 WITH SCORE 4857.877
AT ITER 557 NEW BEST:: SOT 18034 SOS 10790 HAS SOPS 7204 HAS SOUS 5771 HAS SOUPS 4752 WITH SCORE 4762.79
AT ITER 558 NEW BEST:: SOT 18034 SOS 10790 HAS SOPS 7204 HAS SOUS 5760 HAS SOUPS 4741 WITH SCORE 4751.79
AT ITER 576 NEW BEST:: SOT 18026 SOS 10782 HAS SOPS 7204 HAS SOUS 5750 HAS SOUPS 4735 WITH SCORE 4745.782
AT ITER 580 NEW BEST:: SOT 18020 SOS 10776 HAS SOPS 7204 HAS SOUS 5747 HAS SOUPS 4735 WITH SCORE 4745.776
AT ITER 583 NEW BEST:: SOT 17981 SOS 10764 HAS SOPS 7147 HAS SOUS 5728 HAS SOUPS 4678 WITH SCORE 4688.764
AT ITER 589 NEW BEST:: SOT 17974 SOS 10737 HAS SOPS 7132 HAS SOUS 5702 HAS SOUPS 4663 WITH SCORE 4673.737
AT ITER 590 NEW BEST:: SOT 17968 SOS 10731 HAS SOPS 7126 HAS SOUS 5702 HAS SOUPS 4663 WITH SCORE 4673.731
AT ITER 595 NEW BEST:: SOT 17979 SOS 10670 HAS SOPS 7065 HAS SOUS 5676 HAS SOUPS 4637 WITH SCORE 4647.67
AT ITER 605 NEW BEST:: SOT 17955 SOS 10646 HAS SOPS 7042 HAS SOUS 5642 HAS SOUPS 4603 WITH SCORE 4613.646
AT ITER 606 NEW BEST:: SOT 17931 SOS 10598 HAS SOPS 6947 HAS SOUS 5588 HAS SOUPS 4549 WITH SCORE 4559.598
AT ITER 608 NEW BEST:: SOT 17926 SOS 10589 HAS SOPS 6919 HAS SOUS 5562 HAS SOUPS 4523 WITH SCORE 4533.589
AT ITER 609 NEW BEST:: SOT 17869 SOS 10725 HAS SOPS 6944 HAS SOUS 5560 HAS SOUPS 4514 WITH SCORE 4524.725
AT ITER 638 NEW BEST:: SOT 17838 SOS 10694 HAS SOPS 6913 HAS SOUS 5518 HAS SOUPS 4472 WITH SCORE 4482.694
AT ITER 645 NEW BEST:: SOT 17804 SOS 10660 HAS SOPS 6862 HAS SOUS 5480 HAS SOUPS 4434 WITH SCORE 4444.66
AT ITER 656 NEW BEST:: SOT 17796 SOS 10652 HAS SOPS 6854 HAS SOUS 5457 HAS SOUPS 4411 WITH SCORE 4421.652
AT ITER 661 NEW BEST:: SOT 17805 SOS 10661 HAS SOPS 6862 HAS SOUS 5455 HAS SOUPS 4409 WITH SCORE 4419.661
AT ITER 666 NEW BEST:: SOT 17795 SOS 10636 HAS SOPS 6850 HAS SOUS 5443 HAS SOUPS 4397 WITH SCORE 4407.636
AT ITER 675 NEW BEST:: SOT 17643 SOS 11044 HAS SOPS 6940 HAS SOUS 5418 HAS SOUPS 4353 WITH SCORE 4364.044
AT ITER 698 NEW BEST:: SOT 17643 SOS 11014 HAS SOPS 6920 HAS SOUS 5408 HAS SOUPS 4353 WITH SCORE 4364.014
AT ITER 701 NEW BEST:: SOT 17635 SOS 11006 HAS SOPS 6912 HAS SOUS 5408 HAS SOUPS 4353 WITH SCORE 4364.006
AT ITER 706 NEW BEST:: SOT 17635 SOS 11005 HAS SOPS 6896 HAS SOUS 5408 HAS SOUPS 4353 WITH SCORE 4364.005
AT ITER 712 NEW BEST:: SOT 17587 SOS 10957 HAS SOPS 6824 HAS SOUS 5336 HAS SOUPS 4281 WITH SCORE 4291.957
AT ITER 716 NEW BEST:: SOT 17586 SOS 11023 HAS SOPS 6879 HAS SOUS 5335 HAS SOUPS 4280 WITH SCORE 4291.023
AT ITER 717 NEW BEST:: SOT 17582 SOS 11019 HAS SOPS 6875 HAS SOUS 5334 HAS SOUPS 4279 WITH SCORE 4290.019
AT ITER 719 NEW BEST:: SOT 17563 SOS 11000 HAS SOPS 6856 HAS SOUS 5330 HAS SOUPS 4275 WITH SCORE 4286.0
AT ITER 728 NEW BEST:: SOT 17557 SOS 10994 HAS SOPS 6850 HAS SOUS 5324 HAS SOUPS 4269 WITH SCORE 4279.994
AT ITER 730 NEW BEST:: SOT 17532 SOS 10976 HAS SOPS 6811 HAS SOUS 5310 HAS SOUPS 4234 WITH SCORE 4244.976
AT ITER 768 NEW BEST:: SOT 17532 SOS 10967 HAS SOPS 6805 HAS SOUS 5305 HAS SOUPS 4229 WITH SCORE 4239.967
AT ITER 775 NEW BEST:: SOT 17530 SOS 10965 HAS SOPS 6802 HAS SOUS 5301 HAS SOUPS 4225 WITH SCORE 4235.965
AT ITER 783 NEW BEST:: SOT 17514 SOS 10953 HAS SOPS 6778 HAS SOUS 5285 HAS SOUPS 4201 WITH SCORE 4211.953
AT ITER 796 NEW BEST:: SOT 17513 SOS 10900 HAS SOPS 6620 HAS SOUS 5231 HAS SOUPS 4147 WITH SCORE 4157.9
AT ITER 798 NEW BEST:: SOT 17483 SOS 10880 HAS SOPS 6575 HAS SOUS 5185 HAS SOUPS 4101 WITH SCORE 4111.88
AT ITER 801 NEW BEST:: SOT 17474 SOS 10871 HAS SOPS 6593 HAS SOUS 5176 HAS SOUPS 4101 WITH SCORE 4111.871
AT ITER 808 NEW BEST:: SOT 17457 SOS 10871 HAS SOPS 6573 HAS SOUS 5170 HAS SOUPS 4081 WITH SCORE 4091.871
AT ITER 809 NEW BEST:: SOT 17455 SOS 10869 HAS SOPS 6569 HAS SOUS 5138 HAS SOUPS 4049 WITH SCORE 4059.869
AT ITER 822 NEW BEST:: SOT 17436 SOS 10866 HAS SOPS 6543 HAS SOUS 5115 HAS SOUPS 4014 WITH SCORE 4024.866
AT ITER 848 NEW BEST:: SOT 17433 SOS 10863 HAS SOPS 6540 HAS SOUS 5100 HAS SOUPS 3999 WITH SCORE 4009.863
AT ITER 874 NEW BEST:: SOT 17427 SOS 10860 HAS SOPS 6531 HAS SOUS 5088 HAS SOUPS 3987 WITH SCORE 3997.86
AT ITER 878 NEW BEST:: SOT 17405 SOS 10838 HAS SOPS 6467 HAS SOUS 5061 HAS SOUPS 3960 WITH SCORE 3970.838
AT ITER 885 NEW BEST:: SOT 17399 SOS 10832 HAS SOPS 6458 HAS SOUS 5056 HAS SOUPS 3955 WITH SCORE 3965.832
AT ITER 887 NEW BEST:: SOT 17365 SOS 10837 HAS SOPS 6424 HAS SOUS 5092 HAS SOUPS 3952 WITH SCORE 3962.837
AT ITER 908 NEW BEST:: SOT 17363 SOS 10834 HAS SOPS 6420 HAS SOUS 5088 HAS SOUPS 3948 WITH SCORE 3958.834
AT ITER 923 NEW BEST:: SOT 17349 SOS 10723 HAS SOPS 6316 HAS SOUS 5083 HAS SOUPS 3943 WITH SCORE 3953.723
AT ITER 929 NEW BEST:: SOT 17349 SOS 10723 HAS SOPS 6316 HAS SOUS 5082 HAS SOUPS 3942 WITH SCORE 3952.723
AT ITER 935 NEW BEST:: SOT 17349 SOS 10723 HAS SOPS 6316 HAS SOUS 5079 HAS SOUPS 3939 WITH SCORE 3949.723
AT ITER 943 NEW BEST:: SOT 17349 SOS 10723 HAS SOPS 6316 HAS SOUS 5076 HAS SOUPS 3936 WITH SCORE 3946.723
AT ITER 961 NEW BEST:: SOT 17329 SOS 10703 HAS SOPS 6296 HAS SOUS 5005 HAS SOUPS 3865 WITH SCORE 3875.703
AT ITER 967 NEW BEST:: SOT 17341 SOS 10723 HAS SOPS 6223 HAS SOUS 5025 HAS SOUPS 3863 WITH SCORE 3873.723
AT ITER 974 NEW BEST:: SOT 17313 SOS 10707 HAS SOPS 6207 HAS SOUS 5009 HAS SOUPS 3847 WITH SCORE 3857.707
AT ITER 989 NEW BEST:: SOT 17269 SOS 10663 HAS SOPS 6155 HAS SOUS 4961 HAS SOUPS 3799 WITH SCORE 3809.663
AT ITER 1026 NEW BEST:: SOT 17279 SOS 10673 HAS SOPS 6133 HAS SOUS 4954 HAS SOUPS 3781 WITH SCORE 3791.673
AT ITER 1032 NEW BEST:: SOT 17271 SOS 10665 HAS SOPS 6105 HAS SOUS 4940 HAS SOUPS 3765 WITH SCORE 3775.665
AT ITER 1042 NEW BEST:: SOT 17255 SOS 10639 HAS SOPS 6067 HAS SOUS 4909 HAS SOUPS 3734 WITH SCORE 3744.639
AT ITER 1058 NEW BEST:: SOT 17117 SOS 11264 HAS SOPS 6255 HAS SOUS 4924 HAS SOUPS 3726 WITH SCORE 3737.264
AT ITER 1061 NEW BEST:: SOT 17107 SOS 11254 HAS SOPS 6235 HAS SOUS 4911 HAS SOUPS 3708 WITH SCORE 3719.254
AT ITER 1067 NEW BEST:: SOT 17112 SOS 11259 HAS SOPS 6230 HAS SOUS 4908 HAS SOUPS 3705 WITH SCORE 3716.259
AT ITER 1128 NEW BEST:: SOT 17112 SOS 11259 HAS SOPS 6230 HAS SOUS 4901 HAS SOUPS 3698 WITH SCORE 3709.259
AT ITER 1130 NEW BEST:: SOT 17108 SOS 11250 HAS SOPS 6222 HAS SOUS 4895 HAS SOUPS 3692 WITH SCORE 3703.25
AT ITER 1134 NEW BEST:: SOT 17095 SOS 11242 HAS SOPS 6232 HAS SOUS 4874 HAS SOUPS 3689 WITH SCORE 3700.242
AT ITER 1138 NEW BEST:: SOT 17095 SOS 11242 HAS SOPS 6232 HAS SOUS 4870 HAS SOUPS 3685 WITH SCORE 3696.242
AT ITER 1142 NEW BEST:: SOT 17093 SOS 11240 HAS SOPS 6232 HAS SOUS 4870 HAS SOUPS 3685 WITH SCORE 3696.24
AT ITER 1158 NEW BEST:: SOT 17171 SOS 11318 HAS SOPS 6139 HAS SOUS 4854 HAS SOUPS 3655 WITH SCORE 3666.318
AT ITER 1170 NEW BEST:: SOT 17161 SOS 11308 HAS SOPS 6092 HAS SOUS 4847 HAS SOUPS 3639 WITH SCORE 3650.308
AT ITER 1174 NEW BEST:: SOT 17159 SOS 11306 HAS SOPS 6037 HAS SOUS 4829 HAS SOUPS 3621 WITH SCORE 3632.306
AT ITER 1186 NEW BEST:: SOT 17153 SOS 11300 HAS SOPS 6040 HAS SOUS 4826 HAS SOUPS 3618 WITH SCORE 3629.3
AT ITER 1213 NEW BEST:: SOT 17149 SOS 11296 HAS SOPS 6034 HAS SOUS 4820 HAS SOUPS 3612 WITH SCORE 3623.296
AT ITER 1224 NEW BEST:: SOT 17126 SOS 11273 HAS SOPS 5993 HAS SOUS 4775 HAS SOUPS 3567 WITH SCORE 3578.273
AT ITER 1233 NEW BEST:: SOT 17122 SOS 11269 HAS SOPS 5986 HAS SOUS 4767 HAS SOUPS 3559 WITH SCORE 3570.269
AT ITER 1239 NEW BEST:: SOT 17096 SOS 11245 HAS SOPS 5952 HAS SOUS 4728 HAS SOUPS 3520 WITH SCORE 3531.245
AT ITER 1255 NEW BEST:: SOT 17096 SOS 11233 HAS SOPS 5952 HAS SOUS 4716 HAS SOUPS 3520 WITH SCORE 3531.233
AT ITER 1267 NEW BEST:: SOT 17128 SOS 11248 HAS SOPS 5978 HAS SOUS 4709 HAS SOUPS 3513 WITH SCORE 3524.248
AT ITER 1282 NEW BEST:: SOT 17112 SOS 11232 HAS SOPS 5922 HAS SOUS 4667 HAS SOUPS 3463 WITH SCORE 3474.232
AT ITER 1299 NEW BEST:: SOT 17102 SOS 11222 HAS SOPS 5907 HAS SOUS 4666 HAS SOUPS 3462 WITH SCORE 3473.222
AT ITER 1330 NEW BEST:: SOT 17086 SOS 11206 HAS SOPS 5870 HAS SOUS 4642 HAS SOUPS 3438 WITH SCORE 3449.206
AT ITER 1343 NEW BEST:: SOT 17087 SOS 11207 HAS SOPS 5864 HAS SOUS 4641 HAS SOUPS 3437 WITH SCORE 3448.207
AT ITER 1347 NEW BEST:: SOT 17086 SOS 11217 HAS SOPS 5870 HAS SOUS 4643 HAS SOUPS 3436 WITH SCORE 3447.217
AT ITER 1355 NEW BEST:: SOT 17086 SOS 11217 HAS SOPS 5870 HAS SOUS 4631 HAS SOUPS 3424 WITH SCORE 3435.217
AT ITER 1468 NEW BEST:: SOT 17096 SOS 11227 HAS SOPS 5866 HAS SOUS 4622 HAS SOUPS 3415 WITH SCORE 3426.227
AT ITER 1513 NEW BEST:: SOT 17090 SOS 11221 HAS SOPS 5856 HAS SOUS 4619 HAS SOUPS 3412 WITH SCORE 3423.221
AT ITER 1541 NEW BEST:: SOT 17085 SOS 11211 HAS SOPS 5841 HAS SOUS 4585 HAS SOUPS 3378 WITH SCORE 3389.211
AT ITER 1542 NEW BEST:: SOT 17065 SOS 11191 HAS SOPS 5822 HAS SOUS 4576 HAS SOUPS 3369 WITH SCORE 3380.191
AT ITER 1558 NEW BEST:: SOT 17064 SOS 11219 HAS SOPS 5864 HAS SOUS 4561 HAS SOUPS 3368 WITH SCORE 3379.219
AT ITER 1570 NEW BEST:: SOT 17064 SOS 11219 HAS SOPS 5864 HAS SOUS 4557 HAS SOUPS 3364 WITH SCORE 3375.219
AT ITER 1574 NEW BEST:: SOT 17058 SOS 11207 HAS SOPS 5846 HAS SOUS 4548 HAS SOUPS 3355 WITH SCORE 3366.207
AT ITER 1584 NEW BEST:: SOT 17069 SOS 11225 HAS SOPS 5833 HAS SOUS 4552 HAS SOUPS 3352 WITH SCORE 3363.225
AT ITER 1591 NEW BEST:: SOT 17036 SOS 11192 HAS SOPS 5827 HAS SOUS 4517 HAS SOUPS 3326 WITH SCORE 3337.192
AT ITER 1612 NEW BEST:: SOT 17036 SOS 11192 HAS SOPS 5827 HAS SOUS 4514 HAS SOUPS 3323 WITH SCORE 3334.192
AT ITER 1614 NEW BEST:: SOT 17034 SOS 11190 HAS SOPS 5825 HAS SOUS 4513 HAS SOUPS 3322 WITH SCORE 3333.19
AT ITER 1633 NEW BEST:: SOT 17034 SOS 11190 HAS SOPS 5821 HAS SOUS 4513 HAS SOUPS 3318 WITH SCORE 3329.19
AT ITER 1638 NEW BEST:: SOT 16792 SOS 11587 HAS SOPS 5905 HAS SOUS 4441 HAS SOUPS 3224 WITH SCORE 3235.587
AT ITER 1642 NEW BEST:: SOT 16819 SOS 11327 HAS SOPS 5804 HAS SOUS 4424 HAS SOUPS 3215 WITH SCORE 3226.327
AT ITER 1643 NEW BEST:: SOT 16813 SOS 11321 HAS SOPS 5795 HAS SOUS 4409 HAS SOUPS 3200 WITH SCORE 3211.321
AT ITER 1662 NEW BEST:: SOT 16804 SOS 11312 HAS SOPS 5785 HAS SOUS 4391 HAS SOUPS 3182 WITH SCORE 3193.312
AT ITER 1665 NEW BEST:: SOT 16786 SOS 11294 HAS SOPS 5758 HAS SOUS 4364 HAS SOUPS 3155 WITH SCORE 3166.294
AT ITER 1675 NEW BEST:: SOT 16780 SOS 11288 HAS SOPS 5746 HAS SOUS 4352 HAS SOUPS 3143 WITH SCORE 3154.288
AT ITER 1702 NEW BEST:: SOT 16779 SOS 11287 HAS SOPS 5744 HAS SOUS 4351 HAS SOUPS 3142 WITH SCORE 3153.287
AT ITER 1720 NEW BEST:: SOT 16769 SOS 11277 HAS SOPS 5734 HAS SOUS 4346 HAS SOUPS 3137 WITH SCORE 3148.277
AT ITER 1731 NEW BEST:: SOT 16769 SOS 11275 HAS SOPS 5736 HAS SOUS 4346 HAS SOUPS 3137 WITH SCORE 3148.275
AT ITER 1743 NEW BEST:: SOT 16768 SOS 11274 HAS SOPS 5739 HAS SOUS 4344 HAS SOUPS 3137 WITH SCORE 3148.274
AT ITER 1751 NEW BEST:: SOT 16744 SOS 11250 HAS SOPS 5755 HAS SOUS 4332 HAS SOUPS 3125 WITH SCORE 3136.25
AT ITER 1811 NEW BEST:: SOT 16648 SOS 11771 HAS SOPS 5986 HAS SOUS 4347 HAS SOUPS 3124 WITH SCORE 3135.771
AT ITER 1823 NEW BEST:: SOT 16644 SOS 11731 HAS SOPS 5978 HAS SOUS 4298 HAS SOUPS 3107 WITH SCORE 3118.731
AT ITER 1831 NEW BEST:: SOT 16720 SOS 11048 HAS SOPS 5656 HAS SOUS 4241 HAS SOUPS 3069 WITH SCORE 3080.048
AT ITER 1858 NEW BEST:: SOT 16720 SOS 11048 HAS SOPS 5656 HAS SOUS 4238 HAS SOUPS 3066 WITH SCORE 3077.048
AT ITER 1890 NEW BEST:: SOT 16720 SOS 11070 HAS SOPS 5656 HAS SOUS 4259 HAS SOUPS 3065 WITH SCORE 3076.07
AT ITER 1899 NEW BEST:: SOT 16704 SOS 11054 HAS SOPS 5639 HAS SOUS 4242 HAS SOUPS 3048 WITH SCORE 3059.054
AT ITER 1923 NEW BEST:: SOT 16709 SOS 11064 HAS SOPS 5629 HAS SOUS 4242 HAS SOUPS 3043 WITH SCORE 3054.064
AT ITER 1958 NEW BEST:: SOT 16707 SOS 11062 HAS SOPS 5625 HAS SOUS 4239 HAS SOUPS 3040 WITH SCORE 3051.062
AT ITER 1973 NEW BEST:: SOT 16709 SOS 11064 HAS SOPS 5598 HAS SOUS 4218 HAS SOUPS 3019 WITH SCORE 3030.064
AT ITER 1990 NEW BEST:: SOT 16735 SOS 10920 HAS SOPS 5559 HAS SOUS 4217 HAS SOUPS 3018 WITH SCORE 3028.92
AT ITER 2006 NEW BEST:: SOT 16725 SOS 10910 HAS SOPS 5544 HAS SOUS 4202 HAS SOUPS 3003 WITH SCORE 3013.91
AT ITER 2029 NEW BEST:: SOT 16721 SOS 10906 HAS SOPS 5536 HAS SOUS 4197 HAS SOUPS 2998 WITH SCORE 3008.906
AT ITER 2062 NEW BEST:: SOT 16705 SOS 10890 HAS SOPS 5504 HAS SOUS 4165 HAS SOUPS 2966 WITH SCORE 2976.89
AT ITER 2076 NEW BEST:: SOT 16829 SOS 10293 HAS SOPS 5235 HAS SOUS 4144 HAS SOUPS 2964 WITH SCORE 2974.293
AT ITER 2078 NEW BEST:: SOT 16825 SOS 10289 HAS SOPS 5231 HAS SOUS 4144 HAS SOUPS 2964 WITH SCORE 2974.289
AT ITER 2107 NEW BEST:: SOT 16823 SOS 10287 HAS SOPS 5232 HAS SOUS 4144 HAS SOUPS 2964 WITH SCORE 2974.287
AT ITER 2123 NEW BEST:: SOT 16823 SOS 10287 HAS SOPS 5232 HAS SOUS 4143 HAS SOUPS 2963 WITH SCORE 2973.287
AT ITER 2144 NEW BEST:: SOT 16832 SOS 10296 HAS SOPS 5177 HAS SOUS 4112 HAS SOUPS 2932 WITH SCORE 2942.296
AT ITER 2165 NEW BEST:: SOT 16736 SOS 10644 HAS SOPS 5327 HAS SOUS 4105 HAS SOUPS 2913 WITH SCORE 2923.644
AT ITER 2189 NEW BEST:: SOT 16741 SOS 10649 HAS SOPS 5310 HAS SOUS 4097 HAS SOUPS 2905 WITH SCORE 2915.649
AT ITER 2243 NEW BEST:: SOT 16723 SOS 10647 HAS SOPS 5292 HAS SOUS 4101 HAS SOUPS 2893 WITH SCORE 2903.647
AT ITER 2261 NEW BEST:: SOT 16714 SOS 10638 HAS SOPS 5278 HAS SOUS 4093 HAS SOUPS 2880 WITH SCORE 2890.638
AT ITER 2284 NEW BEST:: SOT 16714 SOS 10638 HAS SOPS 5278 HAS SOUS 4088 HAS SOUPS 2875 WITH SCORE 2885.638
AT ITER 2299 NEW BEST:: SOT 16701 SOS 10645 HAS SOPS 5262 HAS SOUS 4094 HAS SOUPS 2868 WITH SCORE 2878.645
AT ITER 2335 NEW BEST:: SOT 16701 SOS 10645 HAS SOPS 5262 HAS SOUS 4085 HAS SOUPS 2859 WITH SCORE 2869.645
AT ITER 2343 NEW BEST:: SOT 16704 SOS 10657 HAS SOPS 5275 HAS SOUS 4079 HAS SOUPS 2853 WITH SCORE 2863.657
AT ITER 2388 NEW BEST:: SOT 16706 SOS 10659 HAS SOPS 5260 HAS SOUS 4067 HAS SOUPS 2841 WITH SCORE 2851.659
AT ITER 2400 NEW BEST:: SOT 16706 SOS 10659 HAS SOPS 5248 HAS SOUS 4061 HAS SOUPS 2832 WITH SCORE 2842.659
AT ITER 2418 NEW BEST:: SOT 16706 SOS 10659 HAS SOPS 5248 HAS SOUS 4059 HAS SOUPS 2830 WITH SCORE 2840.659
AT ITER 2429 NEW BEST:: SOT 16700 SOS 10653 HAS SOPS 5236 HAS SOUS 4047 HAS SOUPS 2818 WITH SCORE 2828.653
AT ITER 2430 NEW BEST:: SOT 16696 SOS 10649 HAS SOPS 5234 HAS SOUS 4044 HAS SOUPS 2815 WITH SCORE 2825.649
AT ITER 2431 NEW BEST:: SOT 16683 SOS 10636 HAS SOPS 5221 HAS SOUS 4043 HAS SOUPS 2814 WITH SCORE 2824.636
AT ITER 2456 NEW BEST:: SOT 16669 SOS 10622 HAS SOPS 5200 HAS SOUS 4009 HAS SOUPS 2780 WITH SCORE 2790.622
AT ITER 2480 NEW BEST:: SOT 16669 SOS 10622 HAS SOPS 5200 HAS SOUS 4007 HAS SOUPS 2778 WITH SCORE 2788.622
AT ITER 2500 NEW BEST:: SOT 16665 SOS 10618 HAS SOPS 5193 HAS SOUS 4005 HAS SOUPS 2776 WITH SCORE 2786.618
AT ITER 2517 NEW BEST:: SOT 16659 SOS 10613 HAS SOPS 5175 HAS SOUS 3998 HAS SOUPS 2763 WITH SCORE 2773.613
AT ITER 2538 NEW BEST:: SOT 16659 SOS 10613 HAS SOPS 5175 HAS SOUS 3997 HAS SOUPS 2762 WITH SCORE 2772.613
AT ITER 2553 NEW BEST:: SOT 16635 SOS 10607 HAS SOPS 5184 HAS SOUS 3973 HAS SOUPS 2738 WITH SCORE 2748.607
AT ITER 2564 NEW BEST:: SOT 16624 SOS 10661 HAS SOPS 5194 HAS SOUS 3973 HAS SOUPS 2736 WITH SCORE 2746.661
AT ITER 2624 NEW BEST:: SOT 16623 SOS 10656 HAS SOPS 5183 HAS SOUS 3973 HAS SOUPS 2733 WITH SCORE 2743.656
AT ITER 2692 NEW BEST:: SOT 16617 SOS 10650 HAS SOPS 5171 HAS SOUS 3961 HAS SOUPS 2724 WITH SCORE 2734.65
AT ITER 2720 NEW BEST:: SOT 16611 SOS 10644 HAS SOPS 5163 HAS SOUS 3961 HAS SOUPS 2724 WITH SCORE 2734.644
AT ITER 2731 NEW BEST:: SOT 16611 SOS 10634 HAS SOPS 5161 HAS SOUS 3949 HAS SOUPS 2720 WITH SCORE 2730.634
AT ITER 2740 NEW BEST:: SOT 16605 SOS 10628 HAS SOPS 5152 HAS SOUS 3942 HAS SOUPS 2713 WITH SCORE 2723.628
AT ITER 2811 NEW BEST:: SOT 16601 SOS 10611 HAS SOPS 5135 HAS SOUS 3937 HAS SOUPS 2708 WITH SCORE 2718.611
AT ITER 2816 NEW BEST:: SOT 16619 SOS 10628 HAS SOPS 5136 HAS SOUS 3899 HAS SOUPS 2670 WITH SCORE 2680.628
AT ITER 2830 NEW BEST:: SOT 16619 SOS 10628 HAS SOPS 5128 HAS SOUS 3897 HAS SOUPS 2668 WITH SCORE 2678.628
AT ITER 2837 NEW BEST:: SOT 16618 SOS 10626 HAS SOPS 5126 HAS SOUS 3896 HAS SOUPS 2667 WITH SCORE 2677.626
AT ITER 2890 NEW BEST:: SOT 16618 SOS 10626 HAS SOPS 5126 HAS SOUS 3895 HAS SOUPS 2666 WITH SCORE 2676.626
AT ITER 2918 NEW BEST:: SOT 16614 SOS 10622 HAS SOPS 5100 HAS SOUS 3870 HAS SOUPS 2641 WITH SCORE 2651.622
AT ITER 2923 NEW BEST:: SOT 16607 SOS 10608 HAS SOPS 5100 HAS SOUS 3856 HAS SOUPS 2641 WITH SCORE 2651.608
AT ITER 3003 NEW BEST:: SOT 16601 SOS 10602 HAS SOPS 5091 HAS SOUS 3844 HAS SOUPS 2629 WITH SCORE 2639.602
AT ITER 3011 NEW BEST:: SOT 16605 SOS 10606 HAS SOPS 5089 HAS SOUS 3841 HAS SOUPS 2626 WITH SCORE 2636.606
AT ITER 3079 NEW BEST:: SOT 16597 SOS 10594 HAS SOPS 5077 HAS SOUS 3829 HAS SOUPS 2614 WITH SCORE 2624.594
AT ITER 3101 NEW BEST:: SOT 16597 SOS 10594 HAS SOPS 5077 HAS SOUS 3826 HAS SOUPS 2611 WITH SCORE 2621.594
AT ITER 3102 NEW BEST:: SOT 16587 SOS 10584 HAS SOPS 5022 HAS SOUS 3790 HAS SOUPS 2565 WITH SCORE 2575.584
AT ITER 3137 NEW BEST:: SOT 16585 SOS 10572 HAS SOPS 5008 HAS SOUS 3789 HAS SOUPS 2562 WITH SCORE 2572.572
AT ITER 3178 NEW BEST:: SOT 16597 SOS 10584 HAS SOPS 4998 HAS SOUS 3786 HAS SOUPS 2559 WITH SCORE 2569.584
AT ITER 3181 NEW BEST:: SOT 16599 SOS 10586 HAS SOPS 4994 HAS SOUS 3785 HAS SOUPS 2558 WITH SCORE 2568.586
AT ITER 3250 NEW BEST:: SOT 16596 SOS 10583 HAS SOPS 4992 HAS SOUS 3776 HAS SOUPS 2549 WITH SCORE 2559.583
AT ITER 3276 NEW BEST:: SOT 16590 SOS 10577 HAS SOPS 4980 HAS SOUS 3766 HAS SOUPS 2539 WITH SCORE 2549.577
AT ITER 3309 NEW BEST:: SOT 16588 SOS 10593 HAS SOPS 4980 HAS SOUS 3776 HAS SOUPS 2537 WITH SCORE 2547.593
AT ITER 3331 NEW BEST:: SOT 16602 SOS 10607 HAS SOPS 4994 HAS SOUS 3760 HAS SOUPS 2521 WITH SCORE 2531.607
AT ITER 3359 NEW BEST:: SOT 16594 SOS 10600 HAS SOPS 4987 HAS SOUS 3753 HAS SOUPS 2514 WITH SCORE 2524.6
AT ITER 3431 NEW BEST:: SOT 16580 SOS 10586 HAS SOPS 4973 HAS SOUS 3727 HAS SOUPS 2488 WITH SCORE 2498.586
AT ITER 3437 NEW BEST:: SOT 16579 SOS 10585 HAS SOPS 4971 HAS SOUS 3727 HAS SOUPS 2488 WITH SCORE 2498.585
AT ITER 3489 NEW BEST:: SOT 16569 SOS 10575 HAS SOPS 4920 HAS SOUS 3704 HAS SOUPS 2462 WITH SCORE 2472.575
AT ITER 3529 NEW BEST:: SOT 16571 SOS 10565 HAS SOPS 4920 HAS SOUS 3698 HAS SOUPS 2462 WITH SCORE 2472.565
AT ITER 3547 NEW BEST:: SOT 16549 SOS 10543 HAS SOPS 4887 HAS SOUS 3666 HAS SOUPS 2430 WITH SCORE 2440.543
AT ITER 3554 NEW BEST:: SOT 16547 SOS 10540 HAS SOPS 4880 HAS SOUS 3660 HAS SOUPS 2424 WITH SCORE 2434.54
AT ITER 3589 NEW BEST:: SOT 16546 SOS 10543 HAS SOPS 4877 HAS SOUS 3655 HAS SOUPS 2419 WITH SCORE 2429.543
AT ITER 3723 NEW BEST:: SOT 16544 SOS 10541 HAS SOPS 4877 HAS SOUS 3655 HAS SOUPS 2419 WITH SCORE 2429.541
AT ITER 3793 NEW BEST:: SOT 16542 SOS 10539 HAS SOPS 4874 HAS SOUS 3651 HAS SOUPS 2415 WITH SCORE 2425.539
AT ITER 3815 NEW BEST:: SOT 16539 SOS 10536 HAS SOPS 4873 HAS SOUS 3640 HAS SOUPS 2404 WITH SCORE 2414.536
AT ITER 3897 NEW BEST:: SOT 16529 SOS 10521 HAS SOPS 4858 HAS SOUS 3629 HAS SOUPS 2393 WITH SCORE 2403.521
AT ITER 3898 NEW BEST:: SOT 16518 SOS 10511 HAS SOPS 4848 HAS SOUS 3620 HAS SOUPS 2384 WITH SCORE 2394.511
AT ITER 3947 NEW BEST:: SOT 16475 SOS 10691 HAS SOPS 4880 HAS SOUS 3616 HAS SOUPS 2373 WITH SCORE 2383.691
AT ITER 3988 NEW BEST:: SOT 16467 SOS 10688 HAS SOPS 4864 HAS SOUS 3617 HAS SOUPS 2369 WITH SCORE 2379.688
AT ITER 4033 NEW BEST:: SOT 16467 SOS 10688 HAS SOPS 4864 HAS SOUS 3616 HAS SOUPS 2368 WITH SCORE 2378.688
AT ITER 4099 NEW BEST:: SOT 16463 SOS 10685 HAS SOPS 4861 HAS SOUS 3611 HAS SOUPS 2363 WITH SCORE 2373.685
AT ITER 4230 NEW BEST:: SOT 16451 SOS 10649 HAS SOPS 4837 HAS SOUS 3563 HAS SOUPS 2327 WITH SCORE 2337.649
AT ITER 4235 NEW BEST:: SOT 16451 SOS 10649 HAS SOPS 4836 HAS SOUS 3562 HAS SOUPS 2326 WITH SCORE 2336.649
AT ITER 4288 NEW BEST:: SOT 16449 SOS 10647 HAS SOPS 4832 HAS SOUS 3559 HAS SOUPS 2323 WITH SCORE 2333.647
AT ITER 4365 NEW BEST:: SOT 16449 SOS 10647 HAS SOPS 4832 HAS SOUS 3556 HAS SOUPS 2320 WITH SCORE 2330.647
AT ITER 4392 NEW BEST:: SOT 16446 SOS 10635 HAS SOPS 4809 HAS SOUS 3544 HAS SOUPS 2308 WITH SCORE 2318.635
AT ITER 4449 NEW BEST:: SOT 16444 SOS 10632 HAS SOPS 4806 HAS SOUS 3542 HAS SOUPS 2306 WITH SCORE 2316.632
AT ITER 4471 NEW BEST:: SOT 16440 SOS 10626 HAS SOPS 4800 HAS SOUS 3536 HAS SOUPS 2300 WITH SCORE 2310.626
AT ITER 4540 NEW BEST:: SOT 16440 SOS 10612 HAS SOPS 4786 HAS SOUS 3522 HAS SOUPS 2286 WITH SCORE 2296.612
AT ITER 4581 NEW BEST:: SOT 16432 SOS 10604 HAS SOPS 4785 HAS SOUS 3519 HAS SOUPS 2283 WITH SCORE 2293.604
AT ITER 4678 NEW BEST:: SOT 16425 SOS 10597 HAS SOPS 4764 HAS SOUS 3512 HAS SOUPS 2276 WITH SCORE 2286.597
AT ITER 4909 NEW BEST:: SOT 16419 SOS 10585 HAS SOPS 4758 HAS SOUS 3500 HAS SOUPS 2270 WITH SCORE 2280.585
AT ITER 5079 NEW BEST:: SOT 16415 SOS 10581 HAS SOPS 4760 HAS SOUS 3500 HAS SOUPS 2270 WITH SCORE 2280.581
AT ITER 5096 NEW BEST:: SOT 16407 SOS 10573 HAS SOPS 4754 HAS SOUS 3494 HAS SOUPS 2264 WITH SCORE 2274.573
AT ITER 5217 NEW BEST:: SOT 16405 SOS 10571 HAS SOPS 4754 HAS SOUS 3493 HAS SOUPS 2263 WITH SCORE 2273.571
AT ITER 5370 NEW BEST:: SOT 16405 SOS 10567 HAS SOPS 4754 HAS SOUS 3493 HAS SOUPS 2263 WITH SCORE 2273.567
AT ITER 5393 NEW BEST:: SOT 16404 SOS 10566 HAS SOPS 4748 HAS SOUS 3493 HAS SOUPS 2261 WITH SCORE 2271.566
AT ITER 5480 NEW BEST:: SOT 16400 SOS 10562 HAS SOPS 4740 HAS SOUS 3484 HAS SOUPS 2252 WITH SCORE 2262.562
AT ITER 5612 NEW BEST:: SOT 16398 SOS 10560 HAS SOPS 4735 HAS SOUS 3480 HAS SOUPS 2248 WITH SCORE 2258.56
AT ITER 5675 NEW BEST:: SOT 16397 SOS 10559 HAS SOPS 4729 HAS SOUS 3479 HAS SOUPS 2247 WITH SCORE 2257.559
AT ITER 5819 NEW BEST:: SOT 16398 SOS 10560 HAS SOPS 4736 HAS SOUS 3477 HAS SOUPS 2245 WITH SCORE 2255.56
AT ITER 5950 NEW BEST:: SOT 16398 SOS 10560 HAS SOPS 4736 HAS SOUS 3475 HAS SOUPS 2243 WITH SCORE 2253.56
AT ITER 5972 NEW BEST:: SOT 16391 SOS 10572 HAS SOPS 4722 HAS SOUS 3478 HAS SOUPS 2236 WITH SCORE 2246.572
AT ITER 6062 NEW BEST:: SOT 16391 SOS 10572 HAS SOPS 4722 HAS SOUS 3476 HAS SOUPS 2234 WITH SCORE 2244.572
AT ITER 6097 NEW BEST:: SOT 16389 SOS 10570 HAS SOPS 4719 HAS SOUS 3473 HAS SOUPS 2232 WITH SCORE 2242.57
AT ITER 6408 NEW BEST:: SOT 16395 SOS 10576 HAS SOPS 4708 HAS SOUS 3467 HAS SOUPS 2226 WITH SCORE 2236.576
AT ITER 6468 NEW BEST:: SOT 16403 SOS 10584 HAS SOPS 4713 HAS SOUS 3466 HAS SOUPS 2225 WITH SCORE 2235.584
AT ITER 6586 NEW BEST:: SOT 16401 SOS 10582 HAS SOPS 4710 HAS SOUS 3463 HAS SOUPS 2222 WITH SCORE 2232.582
AT ITER 6691 NEW BEST:: SOT 16399 SOS 10580 HAS SOPS 4703 HAS SOUS 3457 HAS SOUPS 2216 WITH SCORE 2226.58
AT ITER 6928 NEW BEST:: SOT 16421 SOS 10602 HAS SOPS 4709 HAS SOUS 3452 HAS SOUPS 2211 WITH SCORE 2221.602
AT ITER 6984 NEW BEST:: SOT 16417 SOS 10598 HAS SOPS 4706 HAS SOUS 3448 HAS SOUPS 2207 WITH SCORE 2217.598
AT ITER 6986 NEW BEST:: SOT 16407 SOS 10588 HAS SOPS 4691 HAS SOUS 3432 HAS SOUPS 2191 WITH SCORE 2201.588
AT ITER 7064 NEW BEST:: SOT 16417 SOS 10598 HAS SOPS 4687 HAS SOUS 3435 HAS SOUPS 2188 WITH SCORE 2198.598
AT ITER 7249 NEW BEST:: SOT 16411 SOS 10594 HAS SOPS 4677 HAS SOUS 3431 HAS SOUPS 2184 WITH SCORE 2194.594
AT ITER 7259 NEW BEST:: SOT 16411 SOS 10594 HAS SOPS 4677 HAS SOUS 3430 HAS SOUPS 2183 WITH SCORE 2193.594
AT ITER 7362 NEW BEST:: SOT 16417 SOS 10600 HAS SOPS 4672 HAS SOUS 3427 HAS SOUPS 2180 WITH SCORE 2190.6
AT ITER 7377 NEW BEST:: SOT 16423 SOS 10609 HAS SOPS 4672 HAS SOUS 3427 HAS SOUPS 2177 WITH SCORE 2187.609
AT ITER 7573 NEW BEST:: SOT 16420 SOS 10606 HAS SOPS 4667 HAS SOUS 3425 HAS SOUPS 2175 WITH SCORE 2185.606
AT ITER 7585 NEW BEST:: SOT 16452 SOS 10606 HAS SOPS 4667 HAS SOUS 3423 HAS SOUPS 2173 WITH SCORE 2183.606
AT ITER 7588 NEW BEST:: SOT 16454 SOS 10608 HAS SOPS 4655 HAS SOUS 3414 HAS SOUPS 2164 WITH SCORE 2174.608
AT ITER 7709 NEW BEST:: SOT 16447 SOS 10587 HAS SOPS 4641 HAS SOUS 3407 HAS SOUPS 2164 WITH SCORE 2174.587
AT ITER 7722 NEW BEST:: SOT 16445 SOS 10586 HAS SOPS 4640 HAS SOUS 3406 HAS SOUPS 2163 WITH SCORE 2173.586
AT ITER 7919 NEW BEST:: SOT 16443 SOS 10584 HAS SOPS 4637 HAS SOUS 3403 HAS SOUPS 2160 WITH SCORE 2170.584
AT ITER 8376 NEW BEST:: SOT 16441 SOS 10580 HAS SOPS 4635 HAS SOUS 3401 HAS SOUPS 2160 WITH SCORE 2170.58
AT ITER 8662 NEW BEST:: SOT 16438 SOS 10575 HAS SOPS 4630 HAS SOUS 3399 HAS SOUPS 2158 WITH SCORE 2168.575
AT ITER 8739 NEW BEST:: SOT 16430 SOS 10564 HAS SOPS 4626 HAS SOUS 3395 HAS SOUPS 2157 WITH SCORE 2167.564
AT ITER 8792 NEW BEST:: SOT 16428 SOS 10562 HAS SOPS 4623 HAS SOUS 3394 HAS SOUPS 2156 WITH SCORE 2166.562
AT ITER 9104 NEW BEST:: SOT 16422 SOS 10556 HAS SOPS 4611 HAS SOUS 3382 HAS SOUPS 2144 WITH SCORE 2154.556
AT ITER 9163 NEW BEST:: SOT 16420 SOS 10552 HAS SOPS 4610 HAS SOUS 3378 HAS SOUPS 2143 WITH SCORE 2153.552
AT ITER 9190 NEW BEST:: SOT 16426 SOS 10558 HAS SOPS 4610 HAS SOUS 3375 HAS SOUPS 2140 WITH SCORE 2150.558
AT ITER 9503 NEW BEST:: SOT 16422 SOS 10554 HAS SOPS 4602 HAS SOUS 3368 HAS SOUPS 2133 WITH SCORE 2143.554
AT ITER 9518 NEW BEST:: SOT 16422 SOS 10555 HAS SOPS 4602 HAS SOUS 3368 HAS SOUPS 2132 WITH SCORE 2142.555
AT ITER 9676 NEW BEST:: SOT 16406 SOS 10615 HAS SOPS 4619 HAS SOUS 3359 HAS SOUPS 2121 WITH SCORE 2131.615
AT ITER 9914 NEW BEST:: SOT 16400 SOS 10609 HAS SOPS 4610 HAS SOUS 3348 HAS SOUPS 2110 WITH SCORE 2120.609
AT ITER 9932 NEW BEST:: SOT 16399 SOS 10609 HAS SOPS 4609 HAS SOUS 3348 HAS SOUPS 2109 WITH SCORE 2119.609
STATE_SPACE STATES 5937946479402210021 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 27 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 110949304473756838378 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679138143040

--------------------
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//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ 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

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="Raft-PT-05"
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 Raft-PT-05, 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 r331-tall-167889204300320"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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