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.r267-smll-167863541700344.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 NoC3x3-PT-8A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r267-smll-167863541700344
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 7.5K Feb 26 09:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 81K Feb 26 09:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 26 09:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 26 09:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 10:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 125K Feb 26 10:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.3K Feb 26 10:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 81K Feb 26 10:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 16:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:29 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 745K 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 1678864075818

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=NoC3x3-PT-8A
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-15 07:07:58] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-15 07:07:58] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-15 07:07:59] [INFO ] Load time of PNML (sax parser for PT used): 289 ms
[2023-03-15 07:07:59] [INFO ] Transformed 317 places.
[2023-03-15 07:07:59] [INFO ] Transformed 4293 transitions.
[2023-03-15 07:07:59] [INFO ] Found NUPN structural information;
[2023-03-15 07:07:59] [INFO ] Parsed PT model containing 317 places and 4293 transitions and 9691 arcs in 485 ms.
[2023-03-15 07:07:59] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 317 places, 4293 transitions and 9691 arcs took 37 ms.
Total runtime 567 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 8A
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: 317 places, 4293 transitions, 9691 arcs.
AT ITER 0 NEW BEST:: SOT 302177 SOS 230273 HAS SOPS 230273 HAS SOUS 77216 HAS SOUPS 77216 WITH SCORE 77446.273
AT ITER 2 NEW BEST:: SOT 301419 SOS 229605 HAS SOPS 229605 HAS SOUS 76517 HAS SOUPS 76517 WITH SCORE 76746.605
AT ITER 6 NEW BEST:: SOT 300376 SOS 227479 HAS SOPS 227479 HAS SOUS 76510 HAS SOUPS 76510 WITH SCORE 76737.479
AT ITER 10 NEW BEST:: SOT 300376 SOS 227209 HAS SOPS 227209 HAS SOUS 76510 HAS SOUPS 76510 WITH SCORE 76737.209
AT ITER 18 NEW BEST:: SOT 300376 SOS 227143 HAS SOPS 227143 HAS SOUS 76510 HAS SOUPS 76510 WITH SCORE 76737.143
AT ITER 21 NEW BEST:: SOT 300298 SOS 226649 HAS SOPS 226649 HAS SOUS 76337 HAS SOUPS 76337 WITH SCORE 76563.649
AT ITER 26 NEW BEST:: SOT 305566 SOS 228873 HAS SOPS 228873 HAS SOUS 76333 HAS SOUPS 76333 WITH SCORE 76561.873
AT ITER 29 NEW BEST:: SOT 305566 SOS 228860 HAS SOPS 228860 HAS SOUS 76333 HAS SOUPS 76333 WITH SCORE 76561.86
AT ITER 33 NEW BEST:: SOT 305223 SOS 228517 HAS SOPS 228517 HAS SOUS 76135 HAS SOUPS 76135 WITH SCORE 76363.517
AT ITER 34 NEW BEST:: SOT 304878 SOS 228172 HAS SOPS 228172 HAS SOUS 75842 HAS SOUPS 75842 WITH SCORE 76070.172
AT ITER 39 NEW BEST:: SOT 335555 SOS 254250 HAS SOPS 254250 HAS SOUS 75253 HAS SOUPS 75253 WITH SCORE 75507.25
AT ITER 41 NEW BEST:: SOT 335196 SOS 253891 HAS SOPS 253891 HAS SOUS 74804 HAS SOUPS 74804 WITH SCORE 75057.891
AT ITER 44 NEW BEST:: SOT 334688 SOS 253532 HAS SOPS 253532 HAS SOUS 74678 HAS SOUPS 74678 WITH SCORE 74931.532
AT ITER 45 NEW BEST:: SOT 334520 SOS 253364 HAS SOPS 253364 HAS SOUS 74538 HAS SOUPS 74538 WITH SCORE 74791.364
AT ITER 46 NEW BEST:: SOT 332136 SOS 248366 HAS SOPS 248366 HAS SOUS 74522 HAS SOUPS 74522 WITH SCORE 74770.366
AT ITER 47 NEW BEST:: SOT 331801 SOS 248031 HAS SOPS 248031 HAS SOUS 74218 HAS SOUPS 74218 WITH SCORE 74466.031
AT ITER 50 NEW BEST:: SOT 331877 SOS 247462 HAS SOPS 247462 HAS SOUS 74183 HAS SOUPS 74183 WITH SCORE 74430.462
AT ITER 52 NEW BEST:: SOT 331685 SOS 247270 HAS SOPS 247270 HAS SOUS 73978 HAS SOUPS 73978 WITH SCORE 74225.27
AT ITER 55 NEW BEST:: SOT 331476 SOS 247061 HAS SOPS 247061 HAS SOUS 73768 HAS SOUPS 73768 WITH SCORE 74015.061
AT ITER 57 NEW BEST:: SOT 331319 SOS 246807 HAS SOPS 246807 HAS SOUS 73657 HAS SOUPS 73657 WITH SCORE 73903.807
AT ITER 65 NEW BEST:: SOT 331290 SOS 246778 HAS SOPS 246778 HAS SOUS 73591 HAS SOUPS 73591 WITH SCORE 73837.778
AT ITER 66 NEW BEST:: SOT 360007 SOS 274512 HAS SOPS 274512 HAS SOUS 73348 HAS SOUPS 73348 WITH SCORE 73622.512
AT ITER 70 NEW BEST:: SOT 359406 SOS 273911 HAS SOPS 273911 HAS SOUS 73018 HAS SOUPS 73018 WITH SCORE 73291.911
AT ITER 71 NEW BEST:: SOT 359420 SOS 273925 HAS SOPS 273925 HAS SOUS 72989 HAS SOUPS 72989 WITH SCORE 73262.925
AT ITER 72 NEW BEST:: SOT 358454 SOS 272959 HAS SOPS 272959 HAS SOUS 72466 HAS SOUPS 72466 WITH SCORE 72738.959
AT ITER 73 NEW BEST:: SOT 389312 SOS 302685 HAS SOPS 302685 HAS SOUS 71124 HAS SOUPS 71124 WITH SCORE 71426.685
AT ITER 76 NEW BEST:: SOT 389312 SOS 302685 HAS SOPS 302685 HAS SOUS 71071 HAS SOUPS 71071 WITH SCORE 71373.685
AT ITER 77 NEW BEST:: SOT 389040 SOS 302413 HAS SOPS 302413 HAS SOUS 70797 HAS SOUPS 70797 WITH SCORE 71099.413
AT ITER 80 NEW BEST:: SOT 389029 SOS 302402 HAS SOPS 302402 HAS SOUS 70775 HAS SOUPS 70775 WITH SCORE 71077.402
AT ITER 86 NEW BEST:: SOT 388761 SOS 302134 HAS SOPS 302134 HAS SOUS 70603 HAS SOUPS 70603 WITH SCORE 70905.134
AT ITER 87 NEW BEST:: SOT 388287 SOS 301660 HAS SOPS 301660 HAS SOUS 69918 HAS SOUPS 69918 WITH SCORE 70219.66
AT ITER 93 NEW BEST:: SOT 387915 SOS 301288 HAS SOPS 301288 HAS SOUS 69345 HAS SOUPS 69345 WITH SCORE 69646.288
AT ITER 94 NEW BEST:: SOT 386723 SOS 298779 HAS SOPS 298779 HAS SOUS 69337 HAS SOUPS 69337 WITH SCORE 69635.779
AT ITER 96 NEW BEST:: SOT 386590 SOS 298646 HAS SOPS 298646 HAS SOUS 69204 HAS SOUPS 69204 WITH SCORE 69502.646
AT ITER 97 NEW BEST:: SOT 386534 SOS 298536 HAS SOPS 298536 HAS SOUS 68981 HAS SOUPS 68981 WITH SCORE 69279.536
AT ITER 100 NEW BEST:: SOT 386510 SOS 298512 HAS SOPS 298512 HAS SOUS 68949 HAS SOUPS 68949 WITH SCORE 69247.512
AT ITER 101 NEW BEST:: SOT 385760 SOS 297762 HAS SOPS 297762 HAS SOUS 68505 HAS SOUPS 68505 WITH SCORE 68802.762
AT ITER 102 NEW BEST:: SOT 385705 SOS 297707 HAS SOPS 297707 HAS SOUS 68458 HAS SOUPS 68458 WITH SCORE 68755.707
AT ITER 104 NEW BEST:: SOT 385703 SOS 297705 HAS SOPS 297705 HAS SOUS 68288 HAS SOUPS 68288 WITH SCORE 68585.705
AT ITER 105 NEW BEST:: SOT 384694 SOS 296696 HAS SOPS 296696 HAS SOUS 67600 HAS SOUPS 67600 WITH SCORE 67896.696
AT ITER 106 NEW BEST:: SOT 384763 SOS 297215 HAS SOPS 297215 HAS SOUS 67596 HAS SOUPS 67596 WITH SCORE 67893.215
AT ITER 109 NEW BEST:: SOT 384754 SOS 297206 HAS SOPS 297206 HAS SOUS 67587 HAS SOUPS 67587 WITH SCORE 67884.206
AT ITER 113 NEW BEST:: SOT 384908 SOS 297360 HAS SOPS 297360 HAS SOUS 67556 HAS SOUPS 67556 WITH SCORE 67853.36
AT ITER 114 NEW BEST:: SOT 384563 SOS 296927 HAS SOPS 296927 HAS SOUS 67065 HAS SOUPS 67065 WITH SCORE 67361.927
AT ITER 116 NEW BEST:: SOT 386023 SOS 298357 HAS SOPS 298357 HAS SOUS 67048 HAS SOUPS 67048 WITH SCORE 67346.357
AT ITER 117 NEW BEST:: SOT 385526 SOS 297863 HAS SOPS 297863 HAS SOUS 66617 HAS SOUPS 66617 WITH SCORE 66914.863
AT ITER 121 NEW BEST:: SOT 385608 SOS 297435 HAS SOPS 297435 HAS SOUS 66417 HAS SOUPS 66417 WITH SCORE 66714.435
AT ITER 122 NEW BEST:: SOT 384957 SOS 296784 HAS SOPS 296784 HAS SOUS 65806 HAS SOUPS 65806 WITH SCORE 66102.784
AT ITER 123 NEW BEST:: SOT 384650 SOS 296477 HAS SOPS 296477 HAS SOUS 65637 HAS SOUPS 65637 WITH SCORE 65933.477
AT ITER 132 NEW BEST:: SOT 384593 SOS 296324 HAS SOPS 296324 HAS SOUS 65394 HAS SOUPS 65394 WITH SCORE 65690.324
AT ITER 133 NEW BEST:: SOT 384107 SOS 295909 HAS SOPS 295909 HAS SOUS 64963 HAS SOUPS 64963 WITH SCORE 65258.909
AT ITER 136 NEW BEST:: SOT 384158 SOS 295889 HAS SOPS 295889 HAS SOUS 64858 HAS SOUPS 64858 WITH SCORE 65153.889
AT ITER 140 NEW BEST:: SOT 384293 SOS 295935 HAS SOPS 295935 HAS SOUS 64433 HAS SOUPS 64433 WITH SCORE 64728.935
AT ITER 145 NEW BEST:: SOT 384306 SOS 295860 HAS SOPS 295860 HAS SOUS 64120 HAS SOUPS 64120 WITH SCORE 64415.86
AT ITER 155 NEW BEST:: SOT 384318 SOS 295872 HAS SOPS 295872 HAS SOUS 63980 HAS SOUPS 63980 WITH SCORE 64275.872
AT ITER 158 NEW BEST:: SOT 383767 SOS 295321 HAS SOPS 295321 HAS SOUS 63549 HAS SOUPS 63549 WITH SCORE 63844.321
AT ITER 159 NEW BEST:: SOT 383174 SOS 294325 HAS SOPS 294325 HAS SOUS 62937 HAS SOUPS 62937 WITH SCORE 63231.325
AT ITER 165 NEW BEST:: SOT 382601 SOS 293752 HAS SOPS 293752 HAS SOUS 62209 HAS SOUPS 62209 WITH SCORE 62502.752
AT ITER 170 NEW BEST:: SOT 382500 SOS 293651 HAS SOPS 293651 HAS SOUS 61984 HAS SOUPS 61984 WITH SCORE 62277.651
AT ITER 171 NEW BEST:: SOT 382394 SOS 293129 HAS SOPS 293129 HAS SOUS 61814 HAS SOUPS 61814 WITH SCORE 62107.129
AT ITER 179 NEW BEST:: SOT 381953 SOS 292688 HAS SOPS 292688 HAS SOUS 61373 HAS SOUPS 61373 WITH SCORE 61665.688
AT ITER 181 NEW BEST:: SOT 357070 SOS 243302 HAS SOPS 243302 HAS SOUS 61171 HAS SOUPS 61171 WITH SCORE 61414.302
AT ITER 183 NEW BEST:: SOT 357028 SOS 237002 HAS SOPS 237002 HAS SOUS 61129 HAS SOUPS 61129 WITH SCORE 61366.002
AT ITER 185 NEW BEST:: SOT 357227 SOS 237113 HAS SOPS 237113 HAS SOUS 61064 HAS SOUPS 61064 WITH SCORE 61301.113
AT ITER 186 NEW BEST:: SOT 357145 SOS 237031 HAS SOPS 237031 HAS SOUS 60988 HAS SOUPS 60988 WITH SCORE 61225.031
AT ITER 189 NEW BEST:: SOT 356795 SOS 236681 HAS SOPS 236681 HAS SOUS 60638 HAS SOUPS 60638 WITH SCORE 60874.681
AT ITER 191 NEW BEST:: SOT 356349 SOS 237069 HAS SOPS 237069 HAS SOUS 60630 HAS SOUPS 60630 WITH SCORE 60867.069
AT ITER 193 NEW BEST:: SOT 356378 SOS 237098 HAS SOPS 237098 HAS SOUS 60624 HAS SOUPS 60624 WITH SCORE 60861.098
AT ITER 197 NEW BEST:: SOT 356420 SOS 237140 HAS SOPS 237140 HAS SOUS 60606 HAS SOUPS 60606 WITH SCORE 60843.14
AT ITER 205 NEW BEST:: SOT 355849 SOS 236569 HAS SOPS 236569 HAS SOUS 59743 HAS SOUPS 59743 WITH SCORE 59979.569
AT ITER 207 NEW BEST:: SOT 393680 SOS 269630 HAS SOPS 269630 HAS SOUS 59306 HAS SOUPS 59306 WITH SCORE 59575.63
AT ITER 208 NEW BEST:: SOT 393613 SOS 269563 HAS SOPS 269563 HAS SOUS 59275 HAS SOUPS 59275 WITH SCORE 59544.563
AT ITER 211 NEW BEST:: SOT 393613 SOS 269563 HAS SOPS 269563 HAS SOUS 59270 HAS SOUPS 59270 WITH SCORE 59539.563
AT ITER 219 NEW BEST:: SOT 393554 SOS 269504 HAS SOPS 269504 HAS SOUS 59085 HAS SOUPS 59085 WITH SCORE 59354.504
AT ITER 221 NEW BEST:: SOT 393406 SOS 269356 HAS SOPS 269356 HAS SOUS 58817 HAS SOUPS 58817 WITH SCORE 59086.356
AT ITER 223 NEW BEST:: SOT 388252 SOS 263879 HAS SOPS 263879 HAS SOUS 58782 HAS SOUPS 58782 WITH SCORE 59045.879
AT ITER 225 NEW BEST:: SOT 388378 SOS 264005 HAS SOPS 264005 HAS SOUS 58762 HAS SOUPS 58762 WITH SCORE 59026.005
AT ITER 227 NEW BEST:: SOT 388008 SOS 261372 HAS SOPS 261372 HAS SOUS 58043 HAS SOUPS 58043 WITH SCORE 58304.372
AT ITER 231 NEW BEST:: SOT 387824 SOS 261188 HAS SOPS 261188 HAS SOUS 57942 HAS SOUPS 57942 WITH SCORE 58203.188
AT ITER 238 NEW BEST:: SOT 386632 SOS 258804 HAS SOPS 258804 HAS SOUS 57934 HAS SOUPS 57934 WITH SCORE 58192.804
AT ITER 239 NEW BEST:: SOT 386594 SOS 255954 HAS SOPS 255954 HAS SOUS 57934 HAS SOUPS 57934 WITH SCORE 58189.954
AT ITER 247 NEW BEST:: SOT 386410 SOS 255770 HAS SOPS 255770 HAS SOUS 57713 HAS SOUPS 57713 WITH SCORE 57968.77
AT ITER 249 NEW BEST:: SOT 386424 SOS 255696 HAS SOPS 255696 HAS SOUS 57713 HAS SOUPS 57713 WITH SCORE 57968.696
AT ITER 252 NEW BEST:: SOT 386215 SOS 255487 HAS SOPS 255487 HAS SOUS 57584 HAS SOUPS 57584 WITH SCORE 57839.487
AT ITER 253 NEW BEST:: SOT 385971 SOS 255243 HAS SOPS 255243 HAS SOUS 57347 HAS SOUPS 57347 WITH SCORE 57602.243
AT ITER 254 NEW BEST:: SOT 385539 SOS 254904 HAS SOPS 254904 HAS SOUS 57242 HAS SOUPS 57242 WITH SCORE 57496.904
AT ITER 258 NEW BEST:: SOT 385527 SOS 254892 HAS SOPS 254892 HAS SOUS 57212 HAS SOUPS 57212 WITH SCORE 57466.892
AT ITER 260 NEW BEST:: SOT 385016 SOS 254670 HAS SOPS 254670 HAS SOUS 55951 HAS SOUPS 55951 WITH SCORE 56205.67
AT ITER 263 NEW BEST:: SOT 385016 SOS 254670 HAS SOPS 254670 HAS SOUS 55940 HAS SOUPS 55940 WITH SCORE 56194.67
AT ITER 265 NEW BEST:: SOT 384956 SOS 254555 HAS SOPS 254555 HAS SOUS 55819 HAS SOUPS 55819 WITH SCORE 56073.555
AT ITER 268 NEW BEST:: SOT 385020 SOS 254570 HAS SOPS 254570 HAS SOUS 55555 HAS SOUPS 55555 WITH SCORE 55809.57
AT ITER 272 NEW BEST:: SOT 385070 SOS 254570 HAS SOPS 254570 HAS SOUS 55255 HAS SOUPS 55255 WITH SCORE 55509.57
AT ITER 274 NEW BEST:: SOT 385409 SOS 254909 HAS SOPS 254909 HAS SOUS 55236 HAS SOUPS 55236 WITH SCORE 55490.909
AT ITER 278 NEW BEST:: SOT 385405 SOS 254905 HAS SOPS 254905 HAS SOUS 55203 HAS SOUPS 55203 WITH SCORE 55457.905
AT ITER 281 NEW BEST:: SOT 384954 SOS 254454 HAS SOPS 254454 HAS SOUS 54752 HAS SOUPS 54752 WITH SCORE 55006.454
AT ITER 285 NEW BEST:: SOT 384604 SOS 254163 HAS SOPS 254163 HAS SOUS 54460 HAS SOUPS 54460 WITH SCORE 54714.163
AT ITER 292 NEW BEST:: SOT 384820 SOS 254379 HAS SOPS 254379 HAS SOUS 54411 HAS SOUPS 54411 WITH SCORE 54665.379
AT ITER 293 NEW BEST:: SOT 384707 SOS 254266 HAS SOPS 254266 HAS SOUS 54303 HAS SOUPS 54303 WITH SCORE 54557.266
AT ITER 301 NEW BEST:: SOT 384040 SOS 253599 HAS SOPS 253599 HAS SOUS 53742 HAS SOUPS 53742 WITH SCORE 53995.599
AT ITER 304 NEW BEST:: SOT 405057 SOS 268710 HAS SOPS 268710 HAS SOUS 53688 HAS SOUPS 53688 WITH SCORE 53956.71
AT ITER 305 NEW BEST:: SOT 404978 SOS 268631 HAS SOPS 268631 HAS SOUS 53399 HAS SOUPS 53399 WITH SCORE 53667.631
AT ITER 311 NEW BEST:: SOT 404820 SOS 268309 HAS SOPS 268309 HAS SOUS 53224 HAS SOUPS 53224 WITH SCORE 53492.309
AT ITER 313 NEW BEST:: SOT 412905 SOS 276563 HAS SOPS 276563 HAS SOUS 53215 HAS SOUPS 53215 WITH SCORE 53491.563
AT ITER 314 NEW BEST:: SOT 412666 SOS 276324 HAS SOPS 276324 HAS SOUS 53059 HAS SOUPS 53059 WITH SCORE 53335.324
AT ITER 316 NEW BEST:: SOT 434887 SOS 298659 HAS SOPS 298659 HAS SOUS 52838 HAS SOUPS 52838 WITH SCORE 53136.659
AT ITER 320 NEW BEST:: SOT 434949 SOS 298721 HAS SOPS 298721 HAS SOUS 52739 HAS SOUPS 52739 WITH SCORE 53037.721
AT ITER 321 NEW BEST:: SOT 434275 SOS 298047 HAS SOPS 298047 HAS SOUS 52179 HAS SOUPS 52179 WITH SCORE 52477.047
AT ITER 323 NEW BEST:: SOT 434265 SOS 298037 HAS SOPS 298037 HAS SOUS 52159 HAS SOUPS 52159 WITH SCORE 52457.037
AT ITER 327 NEW BEST:: SOT 433946 SOS 297670 HAS SOPS 297670 HAS SOUS 51760 HAS SOUPS 51760 WITH SCORE 52057.67
AT ITER 328 NEW BEST:: SOT 433946 SOS 297526 HAS SOPS 297526 HAS SOUS 51760 HAS SOUPS 51760 WITH SCORE 52057.526
AT ITER 329 NEW BEST:: SOT 433795 SOS 297353 HAS SOPS 297353 HAS SOUS 51453 HAS SOUPS 51453 WITH SCORE 51750.353
AT ITER 337 NEW BEST:: SOT 433739 SOS 297297 HAS SOPS 297297 HAS SOUS 51257 HAS SOUPS 51257 WITH SCORE 51554.297
AT ITER 344 NEW BEST:: SOT 433256 SOS 296814 HAS SOPS 296814 HAS SOUS 50726 HAS SOUPS 50726 WITH SCORE 51022.814
AT ITER 347 NEW BEST:: SOT 433204 SOS 296762 HAS SOPS 296762 HAS SOUS 50622 HAS SOUPS 50622 WITH SCORE 50918.762
AT ITER 351 NEW BEST:: SOT 433204 SOS 294702 HAS SOPS 294702 HAS SOUS 50441 HAS SOUPS 50441 WITH SCORE 50735.702
AT ITER 352 NEW BEST:: SOT 433192 SOS 294886 HAS SOPS 294886 HAS SOUS 50426 HAS SOUPS 50426 WITH SCORE 50720.886
AT ITER 353 NEW BEST:: SOT 433122 SOS 294816 HAS SOPS 294816 HAS SOUS 50101 HAS SOUPS 50101 WITH SCORE 50395.816
AT ITER 354 NEW BEST:: SOT 433061 SOS 294755 HAS SOPS 294755 HAS SOUS 50025 HAS SOUPS 50025 WITH SCORE 50319.755
AT ITER 360 NEW BEST:: SOT 433061 SOS 294731 HAS SOPS 294731 HAS SOUS 50025 HAS SOUPS 50025 WITH SCORE 50319.731
AT ITER 362 NEW BEST:: SOT 432519 SOS 294189 HAS SOPS 294189 HAS SOUS 49521 HAS SOUPS 49521 WITH SCORE 49815.189
AT ITER 364 NEW BEST:: SOT 432638 SOS 294308 HAS SOPS 294308 HAS SOUS 49470 HAS SOUPS 49470 WITH SCORE 49764.308
AT ITER 371 NEW BEST:: SOT 432622 SOS 294292 HAS SOPS 294292 HAS SOUS 49426 HAS SOUPS 49426 WITH SCORE 49720.292
AT ITER 374 NEW BEST:: SOT 432597 SOS 294267 HAS SOPS 294267 HAS SOUS 49371 HAS SOUPS 49371 WITH SCORE 49665.267
AT ITER 377 NEW BEST:: SOT 432458 SOS 293616 HAS SOPS 293616 HAS SOUS 49243 HAS SOUPS 49243 WITH SCORE 49536.616
AT ITER 387 NEW BEST:: SOT 432432 SOS 293406 HAS SOPS 293406 HAS SOUS 49003 HAS SOUPS 49003 WITH SCORE 49296.406
AT ITER 396 NEW BEST:: SOT 432277 SOS 293251 HAS SOPS 293251 HAS SOUS 48636 HAS SOUPS 48636 WITH SCORE 48929.251
AT ITER 408 NEW BEST:: SOT 432330 SOS 293435 HAS SOPS 293304 HAS SOUS 48710 HAS SOUPS 48579 WITH SCORE 48872.435
AT ITER 414 NEW BEST:: SOT 432328 SOS 293433 HAS SOPS 293302 HAS SOUS 48706 HAS SOUPS 48575 WITH SCORE 48868.433
AT ITER 421 NEW BEST:: SOT 432292 SOS 293397 HAS SOPS 293266 HAS SOUS 48670 HAS SOUPS 48539 WITH SCORE 48832.397
AT ITER 423 NEW BEST:: SOT 432310 SOS 293472 HAS SOPS 293341 HAS SOUS 48631 HAS SOUPS 48500 WITH SCORE 48793.472
AT ITER 426 NEW BEST:: SOT 431924 SOS 293086 HAS SOPS 292955 HAS SOUS 48247 HAS SOUPS 48116 WITH SCORE 48409.086
AT ITER 427 NEW BEST:: SOT 431863 SOS 292946 HAS SOPS 292815 HAS SOUS 48176 HAS SOUPS 48045 WITH SCORE 48337.946
AT ITER 428 NEW BEST:: SOT 431905 SOS 293000 HAS SOPS 292869 HAS SOUS 48170 HAS SOUPS 48039 WITH SCORE 48332.0
AT ITER 429 NEW BEST:: SOT 434731 SOS 295528 HAS SOPS 295397 HAS SOUS 48163 HAS SOUPS 48032 WITH SCORE 48327.528
AT ITER 430 NEW BEST:: SOT 434868 SOS 295756 HAS SOPS 295625 HAS SOUS 47936 HAS SOUPS 47805 WITH SCORE 48100.756
AT ITER 433 NEW BEST:: SOT 435202 SOS 296181 HAS SOPS 296050 HAS SOUS 47764 HAS SOUPS 47633 WITH SCORE 47929.181
AT ITER 434 NEW BEST:: SOT 434990 SOS 297245 HAS SOPS 297114 HAS SOUS 47738 HAS SOUPS 47607 WITH SCORE 47904.245
AT ITER 444 NEW BEST:: SOT 434990 SOS 297245 HAS SOPS 297114 HAS SOUS 47726 HAS SOUPS 47595 WITH SCORE 47892.245
AT ITER 446 NEW BEST:: SOT 434932 SOS 297187 HAS SOPS 297056 HAS SOUS 47700 HAS SOUPS 47569 WITH SCORE 47866.187
AT ITER 460 NEW BEST:: SOT 434844 SOS 297099 HAS SOPS 296968 HAS SOUS 47700 HAS SOUPS 47569 WITH SCORE 47866.099
AT ITER 464 NEW BEST:: SOT 434840 SOS 297095 HAS SOPS 296964 HAS SOUS 47688 HAS SOUPS 47557 WITH SCORE 47854.095
AT ITER 465 NEW BEST:: SOT 434800 SOS 296735 HAS SOPS 296604 HAS SOUS 47608 HAS SOUPS 47477 WITH SCORE 47773.735
AT ITER 470 NEW BEST:: SOT 434799 SOS 296734 HAS SOPS 296603 HAS SOUS 47608 HAS SOUPS 47477 WITH SCORE 47773.734
AT ITER 480 NEW BEST:: SOT 434652 SOS 287669 HAS SOPS 287538 HAS SOUS 47558 HAS SOUPS 47427 WITH SCORE 47714.669
AT ITER 485 NEW BEST:: SOT 434632 SOS 287649 HAS SOPS 287518 HAS SOUS 47435 HAS SOUPS 47304 WITH SCORE 47591.649
AT ITER 489 NEW BEST:: SOT 435022 SOS 288357 HAS SOPS 288226 HAS SOUS 47360 HAS SOUPS 47229 WITH SCORE 47517.357
AT ITER 492 NEW BEST:: SOT 435001 SOS 288336 HAS SOPS 288205 HAS SOUS 47318 HAS SOUPS 47187 WITH SCORE 47475.336
AT ITER 493 NEW BEST:: SOT 434973 SOS 288308 HAS SOPS 288177 HAS SOUS 47298 HAS SOUPS 47167 WITH SCORE 47455.308
AT ITER 494 NEW BEST:: SOT 433467 SOS 286772 HAS SOPS 286631 HAS SOUS 47202 HAS SOUPS 47061 WITH SCORE 47347.772
AT ITER 496 NEW BEST:: SOT 433417 SOS 286722 HAS SOPS 286581 HAS SOUS 47152 HAS SOUPS 47011 WITH SCORE 47297.722
AT ITER 507 NEW BEST:: SOT 433621 SOS 286845 HAS SOPS 286704 HAS SOUS 47150 HAS SOUPS 47009 WITH SCORE 47295.845
AT ITER 511 NEW BEST:: SOT 432510 SOS 285619 HAS SOPS 285478 HAS SOUS 45713 HAS SOUPS 45572 WITH SCORE 45857.619
AT ITER 514 NEW BEST:: SOT 432466 SOS 285575 HAS SOPS 285434 HAS SOUS 45645 HAS SOUPS 45504 WITH SCORE 45789.575
AT ITER 518 NEW BEST:: SOT 432442 SOS 285551 HAS SOPS 285410 HAS SOUS 45591 HAS SOUPS 45450 WITH SCORE 45735.551
AT ITER 523 NEW BEST:: SOT 454422 SOS 307451 HAS SOPS 307310 HAS SOUS 45463 HAS SOUPS 45322 WITH SCORE 45629.451
AT ITER 526 NEW BEST:: SOT 454062 SOS 307091 HAS SOPS 306950 HAS SOUS 45215 HAS SOUPS 45074 WITH SCORE 45381.091
AT ITER 535 NEW BEST:: SOT 454098 SOS 307136 HAS SOPS 306995 HAS SOUS 45197 HAS SOUPS 45056 WITH SCORE 45363.136
AT ITER 539 NEW BEST:: SOT 453986 SOS 307064 HAS SOPS 306923 HAS SOUS 45197 HAS SOUPS 45056 WITH SCORE 45363.064
AT ITER 542 NEW BEST:: SOT 453894 SOS 307182 HAS SOPS 307041 HAS SOUS 45011 HAS SOUPS 44870 WITH SCORE 45177.182
AT ITER 547 NEW BEST:: SOT 453886 SOS 307174 HAS SOPS 307033 HAS SOUS 44991 HAS SOUPS 44850 WITH SCORE 45157.174
AT ITER 551 NEW BEST:: SOT 453886 SOS 307009 HAS SOPS 306868 HAS SOUS 44991 HAS SOUPS 44850 WITH SCORE 45157.009
AT ITER 560 NEW BEST:: SOT 453860 SOS 306983 HAS SOPS 306842 HAS SOUS 44952 HAS SOUPS 44811 WITH SCORE 45117.983
AT ITER 562 NEW BEST:: SOT 453505 SOS 306628 HAS SOPS 306487 HAS SOUS 44668 HAS SOUPS 44527 WITH SCORE 44833.628
AT ITER 569 NEW BEST:: SOT 453495 SOS 306618 HAS SOPS 306477 HAS SOUS 44658 HAS SOUPS 44517 WITH SCORE 44823.618
AT ITER 570 NEW BEST:: SOT 453567 SOS 305581 HAS SOPS 305440 HAS SOUS 44547 HAS SOUPS 44406 WITH SCORE 44711.581
AT ITER 572 NEW BEST:: SOT 453497 SOS 305511 HAS SOPS 305370 HAS SOUS 44407 HAS SOUPS 44266 WITH SCORE 44571.511
AT ITER 575 NEW BEST:: SOT 453144 SOS 305158 HAS SOPS 305017 HAS SOUS 43705 HAS SOUPS 43564 WITH SCORE 43869.158
AT ITER 577 NEW BEST:: SOT 453078 SOS 305092 HAS SOPS 304951 HAS SOUS 43573 HAS SOUPS 43432 WITH SCORE 43737.092
AT ITER 581 NEW BEST:: SOT 453220 SOS 305154 HAS SOPS 305013 HAS SOUS 43402 HAS SOUPS 43261 WITH SCORE 43566.154
AT ITER 585 NEW BEST:: SOT 453156 SOS 305090 HAS SOPS 304949 HAS SOUS 43322 HAS SOUPS 43181 WITH SCORE 43486.09
AT ITER 591 NEW BEST:: SOT 449580 SOS 297476 HAS SOPS 297335 HAS SOUS 43298 HAS SOUPS 43157 WITH SCORE 43454.476
AT ITER 592 NEW BEST:: SOT 449496 SOS 297412 HAS SOPS 297271 HAS SOUS 43188 HAS SOUPS 43047 WITH SCORE 43344.412
AT ITER 597 NEW BEST:: SOT 449746 SOS 297662 HAS SOPS 297521 HAS SOUS 43156 HAS SOUPS 43015 WITH SCORE 43312.662
AT ITER 600 NEW BEST:: SOT 449700 SOS 294396 HAS SOPS 294255 HAS SOUS 43135 HAS SOUPS 42994 WITH SCORE 43288.396
AT ITER 603 NEW BEST:: SOT 449701 SOS 294397 HAS SOPS 294256 HAS SOUS 42973 HAS SOUPS 42832 WITH SCORE 43126.397
AT ITER 609 NEW BEST:: SOT 449519 SOS 294215 HAS SOPS 294074 HAS SOUS 42926 HAS SOUPS 42785 WITH SCORE 43079.215
AT ITER 617 NEW BEST:: SOT 449548 SOS 294244 HAS SOPS 294103 HAS SOUS 42906 HAS SOUPS 42765 WITH SCORE 43059.244
AT ITER 620 NEW BEST:: SOT 449578 SOS 294274 HAS SOPS 294133 HAS SOUS 42882 HAS SOUPS 42741 WITH SCORE 43035.274
AT ITER 622 NEW BEST:: SOT 449179 SOS 294087 HAS SOPS 293946 HAS SOUS 42605 HAS SOUPS 42464 WITH SCORE 42758.087
AT ITER 624 NEW BEST:: SOT 449117 SOS 294025 HAS SOPS 293884 HAS SOUS 42543 HAS SOUPS 42402 WITH SCORE 42696.025
AT ITER 625 NEW BEST:: SOT 448808 SOS 292617 HAS SOPS 292476 HAS SOUS 42225 HAS SOUPS 42084 WITH SCORE 42376.617
AT ITER 626 NEW BEST:: SOT 448817 SOS 263869 HAS SOPS 263728 HAS SOUS 41916 HAS SOUPS 41775 WITH SCORE 42038.869
AT ITER 629 NEW BEST:: SOT 448817 SOS 263869 HAS SOPS 263728 HAS SOUS 41832 HAS SOUPS 41691 WITH SCORE 41954.869
AT ITER 633 NEW BEST:: SOT 448969 SOS 264135 HAS SOPS 263994 HAS SOUS 41794 HAS SOUPS 41653 WITH SCORE 41917.135
AT ITER 635 NEW BEST:: SOT 449001 SOS 264167 HAS SOPS 264026 HAS SOUS 41702 HAS SOUPS 41561 WITH SCORE 41825.167
AT ITER 664 NEW BEST:: SOT 448793 SOS 263959 HAS SOPS 263818 HAS SOUS 41447 HAS SOUPS 41306 WITH SCORE 41569.959
AT ITER 672 NEW BEST:: SOT 472813 SOS 287599 HAS SOPS 287458 HAS SOUS 41364 HAS SOUPS 41223 WITH SCORE 41510.599
AT ITER 681 NEW BEST:: SOT 508032 SOS 322491 HAS SOPS 322350 HAS SOUS 41220 HAS SOUPS 41079 WITH SCORE 41401.491
AT ITER 688 NEW BEST:: SOT 508062 SOS 322455 HAS SOPS 322314 HAS SOUS 41016 HAS SOUPS 40875 WITH SCORE 41197.455
AT ITER 690 NEW BEST:: SOT 508049 SOS 322442 HAS SOPS 322301 HAS SOUS 41003 HAS SOUPS 40862 WITH SCORE 41184.442
AT ITER 692 NEW BEST:: SOT 505403 SOS 319664 HAS SOPS 319523 HAS SOUS 41001 HAS SOUPS 40860 WITH SCORE 41179.664
AT ITER 710 NEW BEST:: SOT 519791 SOS 334169 HAS SOPS 334028 HAS SOUS 40889 HAS SOUPS 40748 WITH SCORE 41082.169
AT ITER 712 NEW BEST:: SOT 519527 SOS 333817 HAS SOPS 333676 HAS SOUS 40669 HAS SOUPS 40528 WITH SCORE 40861.817
AT ITER 714 NEW BEST:: SOT 519521 SOS 333811 HAS SOPS 333670 HAS SOUS 40669 HAS SOUPS 40528 WITH SCORE 40861.811
AT ITER 720 NEW BEST:: SOT 519441 SOS 333731 HAS SOPS 333590 HAS SOUS 40497 HAS SOUPS 40356 WITH SCORE 40689.731
AT ITER 724 NEW BEST:: SOT 519391 SOS 333681 HAS SOPS 333540 HAS SOUS 40363 HAS SOUPS 40222 WITH SCORE 40555.681
AT ITER 744 NEW BEST:: SOT 530782 SOS 344874 HAS SOPS 344733 HAS SOUS 40250 HAS SOUPS 40109 WITH SCORE 40453.874
AT ITER 755 NEW BEST:: SOT 529936 SOS 343758 HAS SOPS 343617 HAS SOUS 39629 HAS SOUPS 39488 WITH SCORE 39831.758
AT ITER 756 NEW BEST:: SOT 529912 SOS 343525 HAS SOPS 343384 HAS SOUS 39538 HAS SOUPS 39397 WITH SCORE 39740.525
AT ITER 759 NEW BEST:: SOT 529898 SOS 343385 HAS SOPS 343244 HAS SOUS 39516 HAS SOUPS 39375 WITH SCORE 39718.385
AT ITER 765 NEW BEST:: SOT 529601 SOS 343088 HAS SOPS 342947 HAS SOUS 39447 HAS SOUPS 39306 WITH SCORE 39649.088
AT ITER 767 NEW BEST:: SOT 529583 SOS 340685 HAS SOPS 340544 HAS SOUS 39446 HAS SOUPS 39305 WITH SCORE 39645.685
AT ITER 773 NEW BEST:: SOT 529583 SOS 340623 HAS SOPS 340482 HAS SOUS 39444 HAS SOUPS 39303 WITH SCORE 39643.623
AT ITER 783 NEW BEST:: SOT 529549 SOS 340589 HAS SOPS 340448 HAS SOUS 39376 HAS SOUPS 39235 WITH SCORE 39575.589
AT ITER 806 NEW BEST:: SOT 529541 SOS 340581 HAS SOPS 340440 HAS SOUS 39360 HAS SOUPS 39219 WITH SCORE 39559.581
AT ITER 810 NEW BEST:: SOT 529573 SOS 340613 HAS SOPS 340472 HAS SOUS 39331 HAS SOUPS 39190 WITH SCORE 39530.613
AT ITER 813 NEW BEST:: SOT 529497 SOS 340537 HAS SOPS 340396 HAS SOUS 39179 HAS SOUPS 39038 WITH SCORE 39378.537
AT ITER 814 NEW BEST:: SOT 527521 SOS 338561 HAS SOPS 338420 HAS SOUS 39101 HAS SOUPS 38960 WITH SCORE 39298.561
AT ITER 817 NEW BEST:: SOT 527736 SOS 338776 HAS SOPS 338635 HAS SOUS 38987 HAS SOUPS 38846 WITH SCORE 39184.776
AT ITER 821 NEW BEST:: SOT 527737 SOS 338516 HAS SOPS 338375 HAS SOUS 38911 HAS SOUPS 38770 WITH SCORE 39108.516
AT ITER 836 NEW BEST:: SOT 527653 SOS 338432 HAS SOPS 338291 HAS SOUS 38811 HAS SOUPS 38670 WITH SCORE 39008.432
AT ITER 839 NEW BEST:: SOT 527575 SOS 338354 HAS SOPS 338213 HAS SOUS 38739 HAS SOUPS 38598 WITH SCORE 38936.354
AT ITER 841 NEW BEST:: SOT 527614 SOS 338393 HAS SOPS 338252 HAS SOUS 38712 HAS SOUPS 38571 WITH SCORE 38909.393
AT ITER 842 NEW BEST:: SOT 527610 SOS 338389 HAS SOPS 338248 HAS SOUS 38712 HAS SOUPS 38571 WITH SCORE 38909.389
AT ITER 845 NEW BEST:: SOT 526982 SOS 336735 HAS SOPS 336594 HAS SOUS 38277 HAS SOUPS 38136 WITH SCORE 38472.735
AT ITER 848 NEW BEST:: SOT 526896 SOS 335870 HAS SOPS 335724 HAS SOUS 38203 HAS SOUPS 38057 WITH SCORE 38392.87
AT ITER 865 NEW BEST:: SOT 526767 SOS 314781 HAS SOPS 314635 HAS SOUS 38221 HAS SOUPS 38075 WITH SCORE 38389.781
AT ITER 866 NEW BEST:: SOT 526839 SOS 314829 HAS SOPS 314683 HAS SOUS 38197 HAS SOUPS 38051 WITH SCORE 38365.829
AT ITER 869 NEW BEST:: SOT 526830 SOS 314775 HAS SOPS 314629 HAS SOUS 38152 HAS SOUPS 38006 WITH SCORE 38320.775
AT ITER 871 NEW BEST:: SOT 526830 SOS 314883 HAS SOPS 314737 HAS SOUS 38128 HAS SOUPS 37982 WITH SCORE 38296.883
AT ITER 884 NEW BEST:: SOT 526856 SOS 314909 HAS SOPS 314763 HAS SOUS 37935 HAS SOUPS 37789 WITH SCORE 38103.909
AT ITER 886 NEW BEST:: SOT 526848 SOS 313127 HAS SOPS 312981 HAS SOUS 37795 HAS SOUPS 37649 WITH SCORE 37962.127
AT ITER 898 NEW BEST:: SOT 526877 SOS 312276 HAS SOPS 312130 HAS SOUS 37640 HAS SOUPS 37494 WITH SCORE 37806.276
AT ITER 906 NEW BEST:: SOT 526745 SOS 312168 HAS SOPS 312022 HAS SOUS 37558 HAS SOUPS 37412 WITH SCORE 37724.168
AT ITER 913 NEW BEST:: SOT 526774 SOS 312197 HAS SOPS 312051 HAS SOUS 37529 HAS SOUPS 37383 WITH SCORE 37695.197
AT ITER 914 NEW BEST:: SOT 526692 SOS 311746 HAS SOPS 311600 HAS SOUS 37406 HAS SOUPS 37260 WITH SCORE 37571.746
AT ITER 924 NEW BEST:: SOT 526692 SOS 311642 HAS SOPS 311496 HAS SOUS 37398 HAS SOUPS 37252 WITH SCORE 37563.642
AT ITER 930 NEW BEST:: SOT 526755 SOS 314634 HAS SOPS 314477 HAS SOUS 37386 HAS SOUPS 37229 WITH SCORE 37543.634
AT ITER 933 NEW BEST:: SOT 532584 SOS 319343 HAS SOPS 319186 HAS SOUS 37307 HAS SOUPS 37150 WITH SCORE 37469.343
AT ITER 948 NEW BEST:: SOT 532560 SOS 319319 HAS SOPS 319162 HAS SOUS 37271 HAS SOUPS 37114 WITH SCORE 37433.319
AT ITER 954 NEW BEST:: SOT 532510 SOS 319269 HAS SOPS 319112 HAS SOUS 37221 HAS SOUPS 37064 WITH SCORE 37383.269
AT ITER 961 NEW BEST:: SOT 532471 SOS 319217 HAS SOPS 319073 HAS SOUS 37143 HAS SOUPS 36999 WITH SCORE 37318.217
AT ITER 969 NEW BEST:: SOT 532302 SOS 319048 HAS SOPS 318904 HAS SOUS 37092 HAS SOUPS 36948 WITH SCORE 37267.048
AT ITER 990 NEW BEST:: SOT 532236 SOS 318934 HAS SOPS 318790 HAS SOUS 37050 HAS SOUPS 36906 WITH SCORE 37224.934
AT ITER 992 NEW BEST:: SOT 532236 SOS 318934 HAS SOPS 318790 HAS SOUS 37041 HAS SOUPS 36897 WITH SCORE 37215.934
AT ITER 1002 NEW BEST:: SOT 506464 SOS 267081 HAS SOPS 266937 HAS SOUS 36881 HAS SOUPS 36737 WITH SCORE 37004.081
AT ITER 1003 NEW BEST:: SOT 505123 SOS 273087 HAS SOPS 272943 HAS SOUS 36727 HAS SOUPS 36583 WITH SCORE 36856.087
AT ITER 1005 NEW BEST:: SOT 505113 SOS 273077 HAS SOPS 272933 HAS SOUS 36695 HAS SOUPS 36551 WITH SCORE 36824.077
AT ITER 1014 NEW BEST:: SOT 505107 SOS 273071 HAS SOPS 272927 HAS SOUS 36657 HAS SOUPS 36513 WITH SCORE 36786.071
AT ITER 1026 NEW BEST:: SOT 504983 SOS 273003 HAS SOPS 272859 HAS SOUS 36500 HAS SOUPS 36356 WITH SCORE 36629.003
AT ITER 1035 NEW BEST:: SOT 504970 SOS 273023 HAS SOPS 272879 HAS SOUS 36366 HAS SOUPS 36222 WITH SCORE 36495.023
AT ITER 1043 NEW BEST:: SOT 504958 SOS 273011 HAS SOPS 272867 HAS SOUS 36342 HAS SOUPS 36198 WITH SCORE 36471.011
AT ITER 1046 NEW BEST:: SOT 505030 SOS 273158 HAS SOPS 273014 HAS SOUS 36339 HAS SOUPS 36195 WITH SCORE 36468.158
AT ITER 1062 NEW BEST:: SOT 505071 SOS 273194 HAS SOPS 273055 HAS SOUS 36332 HAS SOUPS 36193 WITH SCORE 36466.194
AT ITER 1068 NEW BEST:: SOT 504863 SOS 272315 HAS SOPS 272139 HAS SOUS 36114 HAS SOUPS 35938 WITH SCORE 36210.315
AT ITER 1069 NEW BEST:: SOT 500095 SOS 267515 HAS SOPS 267339 HAS SOUS 36082 HAS SOUPS 35906 WITH SCORE 36173.515
AT ITER 1079 NEW BEST:: SOT 499971 SOS 266815 HAS SOPS 266639 HAS SOUS 35566 HAS SOUPS 35390 WITH SCORE 35656.815
AT ITER 1099 NEW BEST:: SOT 499914 SOS 269543 HAS SOPS 269367 HAS SOUS 35441 HAS SOUPS 35265 WITH SCORE 35534.543
AT ITER 1109 NEW BEST:: SOT 499794 SOS 269454 HAS SOPS 269278 HAS SOUS 35418 HAS SOUPS 35242 WITH SCORE 35511.454
AT ITER 1112 NEW BEST:: SOT 499760 SOS 269260 HAS SOPS 269062 HAS SOUS 35313 HAS SOUPS 35115 WITH SCORE 35384.26
AT ITER 1117 NEW BEST:: SOT 499463 SOS 268963 HAS SOPS 268765 HAS SOUS 35202 HAS SOUPS 35004 WITH SCORE 35272.963
AT ITER 1118 NEW BEST:: SOT 499441 SOS 268941 HAS SOPS 268743 HAS SOUS 35174 HAS SOUPS 34976 WITH SCORE 35244.941
AT ITER 1121 NEW BEST:: SOT 499405 SOS 269139 HAS SOPS 268941 HAS SOUS 35156 HAS SOUPS 34958 WITH SCORE 35227.139
AT ITER 1128 NEW BEST:: SOT 499401 SOS 269123 HAS SOPS 268921 HAS SOUS 35128 HAS SOUPS 34926 WITH SCORE 35195.123
AT ITER 1150 NEW BEST:: SOT 499336 SOS 269058 HAS SOPS 268856 HAS SOUS 35113 HAS SOUPS 34911 WITH SCORE 35180.058
AT ITER 1153 NEW BEST:: SOT 499336 SOS 269042 HAS SOPS 268856 HAS SOUS 35062 HAS SOUPS 34876 WITH SCORE 35145.042
AT ITER 1167 NEW BEST:: SOT 499328 SOS 269034 HAS SOPS 268848 HAS SOUS 35054 HAS SOUPS 34868 WITH SCORE 35137.034
AT ITER 1173 NEW BEST:: SOT 499317 SOS 268536 HAS SOPS 268304 HAS SOUS 34985 HAS SOUPS 34799 WITH SCORE 35067.536
AT ITER 1183 NEW BEST:: SOT 499615 SOS 269072 HAS SOPS 268840 HAS SOUS 34972 HAS SOUPS 34786 WITH SCORE 35055.072
AT ITER 1195 NEW BEST:: SOT 499612 SOS 269069 HAS SOPS 268837 HAS SOUS 34972 HAS SOUPS 34786 WITH SCORE 35055.069
AT ITER 1202 NEW BEST:: SOT 499584 SOS 269009 HAS SOPS 268777 HAS SOUS 34946 HAS SOUPS 34760 WITH SCORE 35029.009
AT ITER 1206 NEW BEST:: SOT 499564 SOS 268951 HAS SOPS 268719 HAS SOUS 34944 HAS SOUPS 34758 WITH SCORE 35026.951
AT ITER 1223 NEW BEST:: SOT 499508 SOS 268895 HAS SOPS 268663 HAS SOUS 34870 HAS SOUPS 34684 WITH SCORE 34952.895
AT ITER 1244 NEW BEST:: SOT 499482 SOS 268989 HAS SOPS 268757 HAS SOUS 34840 HAS SOUPS 34654 WITH SCORE 34922.989
AT ITER 1246 NEW BEST:: SOT 499470 SOS 269025 HAS SOPS 268793 HAS SOUS 34816 HAS SOUPS 34630 WITH SCORE 34899.025
AT ITER 1255 NEW BEST:: SOT 498868 SOS 268277 HAS SOPS 268045 HAS SOUS 34761 HAS SOUPS 34575 WITH SCORE 34843.277
AT ITER 1260 NEW BEST:: SOT 511312 SOS 280913 HAS SOPS 280681 HAS SOUS 34732 HAS SOUPS 34546 WITH SCORE 34826.913
AT ITER 1265 NEW BEST:: SOT 509952 SOS 279553 HAS SOPS 279321 HAS SOUS 34704 HAS SOUPS 34518 WITH SCORE 34797.553
AT ITER 1271 NEW BEST:: SOT 509922 SOS 279500 HAS SOPS 279268 HAS SOUS 34674 HAS SOUPS 34488 WITH SCORE 34767.5
AT ITER 1284 NEW BEST:: SOT 509914 SOS 279492 HAS SOPS 279260 HAS SOUS 34658 HAS SOUPS 34472 WITH SCORE 34751.492
AT ITER 1292 NEW BEST:: SOT 509894 SOS 279431 HAS SOPS 279199 HAS SOUS 34619 HAS SOUPS 34433 WITH SCORE 34712.431
AT ITER 1318 NEW BEST:: SOT 509816 SOS 279353 HAS SOPS 279121 HAS SOUS 34541 HAS SOUPS 34355 WITH SCORE 34634.353
AT ITER 1322 NEW BEST:: SOT 505643 SOS 271020 HAS SOPS 270788 HAS SOUS 34479 HAS SOUPS 34293 WITH SCORE 34564.02
AT ITER 1323 NEW BEST:: SOT 505543 SOS 270920 HAS SOPS 270688 HAS SOUS 34383 HAS SOUPS 34197 WITH SCORE 34467.92
AT ITER 1342 NEW BEST:: SOT 505556 SOS 270863 HAS SOPS 270631 HAS SOUS 34366 HAS SOUPS 34180 WITH SCORE 34450.863
AT ITER 1346 NEW BEST:: SOT 505581 SOS 270860 HAS SOPS 270628 HAS SOUS 34355 HAS SOUPS 34169 WITH SCORE 34439.86
AT ITER 1370 NEW BEST:: SOT 505621 SOS 270971 HAS SOPS 270739 HAS SOUS 34315 HAS SOUPS 34129 WITH SCORE 34399.971
AT ITER 1374 NEW BEST:: SOT 505633 SOS 271007 HAS SOPS 270775 HAS SOUS 34309 HAS SOUPS 34123 WITH SCORE 34394.007
AT ITER 1385 NEW BEST:: SOT 505610 SOS 270984 HAS SOPS 270752 HAS SOUS 34298 HAS SOUPS 34112 WITH SCORE 34382.984
AT ITER 1401 NEW BEST:: SOT 505536 SOS 270910 HAS SOPS 270678 HAS SOUS 34150 HAS SOUPS 33964 WITH SCORE 34234.91
AT ITER 1418 NEW BEST:: SOT 505534 SOS 270908 HAS SOPS 270676 HAS SOUS 34146 HAS SOUPS 33960 WITH SCORE 34230.908
AT ITER 1424 NEW BEST:: SOT 505529 SOS 270903 HAS SOPS 270671 HAS SOUS 34140 HAS SOUPS 33954 WITH SCORE 34224.903
AT ITER 1427 NEW BEST:: SOT 511889 SOS 277275 HAS SOPS 277043 HAS SOUS 34132 HAS SOUPS 33946 WITH SCORE 34223.275
AT ITER 1433 NEW BEST:: SOT 510429 SOS 275833 HAS SOPS 275601 HAS SOUS 34128 HAS SOUPS 33942 WITH SCORE 34217.833
AT ITER 1435 NEW BEST:: SOT 510181 SOS 275367 HAS SOPS 275135 HAS SOUS 33941 HAS SOUPS 33755 WITH SCORE 34030.367
AT ITER 1438 NEW BEST:: SOT 515462 SOS 273333 HAS SOPS 273101 HAS SOUS 33900 HAS SOUPS 33714 WITH SCORE 33987.333
AT ITER 1461 NEW BEST:: SOT 515393 SOS 273264 HAS SOPS 273032 HAS SOUS 33864 HAS SOUPS 33678 WITH SCORE 33951.264
AT ITER 1473 NEW BEST:: SOT 515271 SOS 273142 HAS SOPS 272910 HAS SOUS 33761 HAS SOUPS 33575 WITH SCORE 33848.142
AT ITER 1483 NEW BEST:: SOT 515346 SOS 268836 HAS SOPS 268604 HAS SOUS 33756 HAS SOUPS 33570 WITH SCORE 33838.836
AT ITER 1490 NEW BEST:: SOT 515321 SOS 267026 HAS SOPS 266794 HAS SOUS 33749 HAS SOUPS 33563 WITH SCORE 33830.026
AT ITER 1512 NEW BEST:: SOT 515319 SOS 267028 HAS SOPS 266792 HAS SOUS 33745 HAS SOUPS 33557 WITH SCORE 33824.028
AT ITER 1515 NEW BEST:: SOT 515237 SOS 266946 HAS SOPS 266710 HAS SOUS 33637 HAS SOUPS 33449 WITH SCORE 33715.946
AT ITER 1519 NEW BEST:: SOT 515241 SOS 266950 HAS SOPS 266714 HAS SOUS 33605 HAS SOUPS 33417 WITH SCORE 33683.95
AT ITER 1526 NEW BEST:: SOT 515193 SOS 266987 HAS SOPS 266751 HAS SOUS 33572 HAS SOUPS 33384 WITH SCORE 33650.987
AT ITER 1548 NEW BEST:: SOT 515525 SOS 267226 HAS SOPS 266990 HAS SOUS 33558 HAS SOUPS 33370 WITH SCORE 33637.226
AT ITER 1553 NEW BEST:: SOT 515518 SOS 267219 HAS SOPS 266983 HAS SOUS 33551 HAS SOUPS 33363 WITH SCORE 33630.219
AT ITER 1571 NEW BEST:: SOT 515518 SOS 267190 HAS SOPS 266954 HAS SOUS 33503 HAS SOUPS 33315 WITH SCORE 33582.19
AT ITER 1572 NEW BEST:: SOT 515192 SOS 268806 HAS SOPS 268570 HAS SOUS 33473 HAS SOUPS 33285 WITH SCORE 33553.806
AT ITER 1581 NEW BEST:: SOT 515099 SOS 263269 HAS SOPS 263033 HAS SOUS 33400 HAS SOUPS 33212 WITH SCORE 33475.269
AT ITER 1583 NEW BEST:: SOT 515221 SOS 263391 HAS SOPS 263155 HAS SOUS 33322 HAS SOUPS 33134 WITH SCORE 33397.391
AT ITER 1590 NEW BEST:: SOT 520374 SOS 266010 HAS SOPS 265774 HAS SOUS 33261 HAS SOUPS 33073 WITH SCORE 33339.01
AT ITER 1592 NEW BEST:: SOT 520358 SOS 265994 HAS SOPS 265758 HAS SOUS 33179 HAS SOUPS 32991 WITH SCORE 33256.994
AT ITER 1597 NEW BEST:: SOT 520032 SOS 265668 HAS SOPS 265432 HAS SOUS 33137 HAS SOUPS 32949 WITH SCORE 33214.668
AT ITER 1609 NEW BEST:: SOT 520022 SOS 265658 HAS SOPS 265422 HAS SOUS 33117 HAS SOUPS 32929 WITH SCORE 33194.658
AT ITER 1619 NEW BEST:: SOT 520004 SOS 265640 HAS SOPS 265404 HAS SOUS 33081 HAS SOUPS 32893 WITH SCORE 33158.64
AT ITER 1621 NEW BEST:: SOT 519557 SOS 265193 HAS SOPS 264957 HAS SOUS 33072 HAS SOUPS 32884 WITH SCORE 33149.193
AT ITER 1628 NEW BEST:: SOT 519703 SOS 265336 HAS SOPS 265100 HAS SOUS 33070 HAS SOUPS 32882 WITH SCORE 33147.336
AT ITER 1643 NEW BEST:: SOT 519610 SOS 265515 HAS SOPS 265279 HAS SOUS 33027 HAS SOUPS 32839 WITH SCORE 33104.515
AT ITER 1649 NEW BEST:: SOT 519586 SOS 265500 HAS SOPS 265264 HAS SOUS 33019 HAS SOUPS 32831 WITH SCORE 33096.5
AT ITER 1653 NEW BEST:: SOT 519572 SOS 265522 HAS SOPS 265250 HAS SOUS 32991 HAS SOUPS 32785 WITH SCORE 33050.522
AT ITER 1654 NEW BEST:: SOT 519588 SOS 265522 HAS SOPS 265250 HAS SOUS 32943 HAS SOUPS 32737 WITH SCORE 33002.522
AT ITER 1661 NEW BEST:: SOT 501876 SOS 247810 HAS SOPS 247538 HAS SOUS 32798 HAS SOUPS 32592 WITH SCORE 32839.81
AT ITER 1669 NEW BEST:: SOT 501872 SOS 247770 HAS SOPS 247498 HAS SOUS 32790 HAS SOUPS 32584 WITH SCORE 32831.77
AT ITER 1684 NEW BEST:: SOT 501819 SOS 247800 HAS SOPS 247528 HAS SOUS 32776 HAS SOUPS 32570 WITH SCORE 32817.8
AT ITER 1689 NEW BEST:: SOT 501774 SOS 247699 HAS SOPS 247427 HAS SOUS 32743 HAS SOUPS 32537 WITH SCORE 32784.699
AT ITER 1700 NEW BEST:: SOT 501738 SOS 247519 HAS SOPS 247247 HAS SOUS 32707 HAS SOUPS 32501 WITH SCORE 32748.519
AT ITER 1702 NEW BEST:: SOT 501677 SOS 247458 HAS SOPS 247186 HAS SOUS 32648 HAS SOUPS 32442 WITH SCORE 32689.458
AT ITER 1706 NEW BEST:: SOT 501565 SOS 247346 HAS SOPS 247074 HAS SOUS 32464 HAS SOUPS 32258 WITH SCORE 32505.346
AT ITER 1712 NEW BEST:: SOT 501539 SOS 247294 HAS SOPS 247022 HAS SOUS 32464 HAS SOUPS 32258 WITH SCORE 32505.294
AT ITER 1716 NEW BEST:: SOT 501511 SOS 247266 HAS SOPS 246994 HAS SOUS 32415 HAS SOUPS 32209 WITH SCORE 32456.266
AT ITER 1720 NEW BEST:: SOT 501543 SOS 247215 HAS SOPS 246943 HAS SOUS 32408 HAS SOUPS 32202 WITH SCORE 32449.215
AT ITER 1726 NEW BEST:: SOT 501567 SOS 247226 HAS SOPS 246954 HAS SOUS 32396 HAS SOUPS 32190 WITH SCORE 32437.226
AT ITER 1760 NEW BEST:: SOT 501563 SOS 247222 HAS SOPS 246950 HAS SOUS 32390 HAS SOUPS 32184 WITH SCORE 32431.222
AT ITER 1767 NEW BEST:: SOT 501666 SOS 247001 HAS SOPS 246729 HAS SOUS 32355 HAS SOUPS 32149 WITH SCORE 32396.001
AT ITER 1776 NEW BEST:: SOT 501687 SOS 246958 HAS SOPS 246648 HAS SOUS 32338 HAS SOUPS 32113 WITH SCORE 32359.958
AT ITER 1780 NEW BEST:: SOT 498600 SOS 243871 HAS SOPS 243561 HAS SOUS 32338 HAS SOUPS 32113 WITH SCORE 32356.871
AT ITER 1794 NEW BEST:: SOT 498472 SOS 243802 HAS SOPS 243492 HAS SOUS 32140 HAS SOUPS 31915 WITH SCORE 32158.802
AT ITER 1796 NEW BEST:: SOT 498416 SOS 243890 HAS SOPS 243580 HAS SOUS 32046 HAS SOUPS 31821 WITH SCORE 32064.89
AT ITER 1810 NEW BEST:: SOT 498146 SOS 242490 HAS SOPS 242134 HAS SOUS 31794 HAS SOUPS 31523 WITH SCORE 31765.49
AT ITER 1822 NEW BEST:: SOT 497696 SOS 242034 HAS SOPS 241678 HAS SOUS 31773 HAS SOUPS 31502 WITH SCORE 31744.034
AT ITER 1830 NEW BEST:: SOT 497673 SOS 242196 HAS SOPS 241840 HAS SOUS 31664 HAS SOUPS 31393 WITH SCORE 31635.196
AT ITER 1833 NEW BEST:: SOT 497633 SOS 242156 HAS SOPS 241800 HAS SOUS 31604 HAS SOUPS 31333 WITH SCORE 31575.156
AT ITER 1844 NEW BEST:: SOT 497591 SOS 242114 HAS SOPS 241758 HAS SOUS 31562 HAS SOUPS 31291 WITH SCORE 31533.114
AT ITER 1849 NEW BEST:: SOT 497570 SOS 241991 HAS SOPS 241626 HAS SOUS 31562 HAS SOUPS 31282 WITH SCORE 31523.991
AT ITER 1880 NEW BEST:: SOT 497163 SOS 240570 HAS SOPS 239797 HAS SOUS 31544 HAS SOUPS 31106 WITH SCORE 31346.57
AT ITER 1883 NEW BEST:: SOT 497171 SOS 240586 HAS SOPS 239813 HAS SOUS 31528 HAS SOUPS 31090 WITH SCORE 31330.586
AT ITER 1901 NEW BEST:: SOT 497165 SOS 240580 HAS SOPS 239807 HAS SOUS 31516 HAS SOUPS 31078 WITH SCORE 31318.58
AT ITER 1921 NEW BEST:: SOT 497134 SOS 240681 HAS SOPS 239908 HAS SOUS 31336 HAS SOUPS 30898 WITH SCORE 31138.681
AT ITER 1926 NEW BEST:: SOT 497879 SOS 237776 HAS SOPS 237003 HAS SOUS 31336 HAS SOUPS 30898 WITH SCORE 31135.776
AT ITER 1956 NEW BEST:: SOT 497751 SOS 237529 HAS SOPS 236756 HAS SOUS 31200 HAS SOUPS 30762 WITH SCORE 30999.529
AT ITER 1960 NEW BEST:: SOT 497696 SOS 237474 HAS SOPS 236701 HAS SOUS 31030 HAS SOUPS 30592 WITH SCORE 30829.474
AT ITER 1973 NEW BEST:: SOT 497621 SOS 237399 HAS SOPS 236626 HAS SOUS 31005 HAS SOUPS 30567 WITH SCORE 30804.399
AT ITER 1988 NEW BEST:: SOT 497552 SOS 237330 HAS SOPS 236557 HAS SOUS 30848 HAS SOUPS 30410 WITH SCORE 30647.33
AT ITER 1992 NEW BEST:: SOT 497762 SOS 237628 HAS SOPS 236855 HAS SOUS 30752 HAS SOUPS 30314 WITH SCORE 30551.628
AT ITER 1993 NEW BEST:: SOT 497631 SOS 237523 HAS SOPS 236750 HAS SOUS 30616 HAS SOUPS 30178 WITH SCORE 30415.523
AT ITER 2004 NEW BEST:: SOT 497653 SOS 210698 HAS SOPS 209925 HAS SOUS 30568 HAS SOUPS 30130 WITH SCORE 30340.698
AT ITER 2010 NEW BEST:: SOT 497655 SOS 210700 HAS SOPS 209927 HAS SOUS 30531 HAS SOUPS 30093 WITH SCORE 30303.7
AT ITER 2024 NEW BEST:: SOT 497701 SOS 210703 HAS SOPS 209973 HAS SOUS 30436 HAS SOUPS 30041 WITH SCORE 30251.703
AT ITER 2059 NEW BEST:: SOT 497557 SOS 210547 HAS SOPS 209817 HAS SOUS 30278 HAS SOUPS 29883 WITH SCORE 30093.547
AT ITER 2066 NEW BEST:: SOT 497551 SOS 206719 HAS SOPS 205989 HAS SOUS 30258 HAS SOUPS 29863 WITH SCORE 30069.719
AT ITER 2075 NEW BEST:: SOT 497551 SOS 206699 HAS SOPS 205969 HAS SOUS 30253 HAS SOUPS 29858 WITH SCORE 30064.699
AT ITER 2086 NEW BEST:: SOT 497527 SOS 206675 HAS SOPS 205945 HAS SOUS 30229 HAS SOUPS 29834 WITH SCORE 30040.675
AT ITER 2096 NEW BEST:: SOT 497500 SOS 206570 HAS SOPS 205840 HAS SOUS 30154 HAS SOUPS 29759 WITH SCORE 29965.57
AT ITER 2155 NEW BEST:: SOT 497480 SOS 206550 HAS SOPS 205820 HAS SOUS 30114 HAS SOUPS 29719 WITH SCORE 29925.55
AT ITER 2193 NEW BEST:: SOT 497587 SOS 206637 HAS SOPS 205907 HAS SOUS 30091 HAS SOUPS 29696 WITH SCORE 29902.637
AT ITER 2195 NEW BEST:: SOT 497529 SOS 206759 HAS SOPS 206029 HAS SOUS 30065 HAS SOUPS 29670 WITH SCORE 29876.759
AT ITER 2200 NEW BEST:: SOT 497721 SOS 206907 HAS SOPS 206177 HAS SOUS 30047 HAS SOUPS 29652 WITH SCORE 29858.907
AT ITER 2204 NEW BEST:: SOT 497721 SOS 196032 HAS SOPS 195302 HAS SOUS 30047 HAS SOUPS 29652 WITH SCORE 29848.032
AT ITER 2217 NEW BEST:: SOT 497688 SOS 195999 HAS SOPS 195269 HAS SOUS 30000 HAS SOUPS 29605 WITH SCORE 29800.999
AT ITER 2220 NEW BEST:: SOT 497611 SOS 195922 HAS SOPS 195192 HAS SOUS 29922 HAS SOUPS 29527 WITH SCORE 29722.922
AT ITER 2223 NEW BEST:: SOT 497597 SOS 195908 HAS SOPS 195178 HAS SOUS 29896 HAS SOUPS 29501 WITH SCORE 29696.908
AT ITER 2225 NEW BEST:: SOT 497597 SOS 195908 HAS SOPS 195178 HAS SOUS 29875 HAS SOUPS 29480 WITH SCORE 29675.908
AT ITER 2240 NEW BEST:: SOT 497590 SOS 195901 HAS SOPS 195171 HAS SOUS 29872 HAS SOUPS 29477 WITH SCORE 29672.901
AT ITER 2241 NEW BEST:: SOT 497572 SOS 195883 HAS SOPS 195153 HAS SOUS 29866 HAS SOUPS 29471 WITH SCORE 29666.883
AT ITER 2244 NEW BEST:: SOT 497572 SOS 195863 HAS SOPS 195133 HAS SOUS 29840 HAS SOUPS 29445 WITH SCORE 29640.863
AT ITER 2272 NEW BEST:: SOT 497571 SOS 195740 HAS SOPS 194984 HAS SOUS 29798 HAS SOUPS 29377 WITH SCORE 29572.74
AT ITER 2328 NEW BEST:: SOT 497416 SOS 195473 HAS SOPS 194717 HAS SOUS 29581 HAS SOUPS 29160 WITH SCORE 29355.473
AT ITER 2330 NEW BEST:: SOT 497408 SOS 195465 HAS SOPS 194709 HAS SOUS 29559 HAS SOUPS 29138 WITH SCORE 29333.465
AT ITER 2340 NEW BEST:: SOT 497408 SOS 197879 HAS SOPS 197191 HAS SOUS 29525 HAS SOUPS 29121 WITH SCORE 29318.879
AT ITER 2354 NEW BEST:: SOT 497353 SOS 194418 HAS SOPS 193730 HAS SOUS 29506 HAS SOUPS 29102 WITH SCORE 29296.418
AT ITER 2360 NEW BEST:: SOT 494969 SOS 189702 HAS SOPS 189014 HAS SOUS 29490 HAS SOUPS 29086 WITH SCORE 29275.702
AT ITER 2371 NEW BEST:: SOT 494959 SOS 189662 HAS SOPS 188974 HAS SOUS 29490 HAS SOUPS 29086 WITH SCORE 29275.662
AT ITER 2402 NEW BEST:: SOT 494948 SOS 189640 HAS SOPS 188963 HAS SOUS 29479 HAS SOUPS 29086 WITH SCORE 29275.64
AT ITER 2412 NEW BEST:: SOT 494918 SOS 189608 HAS SOPS 188931 HAS SOUS 29469 HAS SOUPS 29076 WITH SCORE 29265.608
AT ITER 2433 NEW BEST:: SOT 494914 SOS 189604 HAS SOPS 188927 HAS SOUS 29465 HAS SOUPS 29072 WITH SCORE 29261.604
AT ITER 2435 NEW BEST:: SOT 494952 SOS 190067 HAS SOPS 189581 HAS SOUS 29377 HAS SOUPS 29049 WITH SCORE 29239.067
AT ITER 2450 NEW BEST:: SOT 494489 SOS 189184 HAS SOPS 188698 HAS SOUS 29370 HAS SOUPS 29042 WITH SCORE 29231.184
AT ITER 2453 NEW BEST:: SOT 500449 SOS 200956 HAS SOPS 200470 HAS SOUS 29338 HAS SOUPS 29010 WITH SCORE 29210.956
AT ITER 2459 NEW BEST:: SOT 500465 SOS 200738 HAS SOPS 200252 HAS SOUS 29292 HAS SOUPS 28964 WITH SCORE 29164.738
AT ITER 2469 NEW BEST:: SOT 500321 SOS 200601 HAS SOPS 200115 HAS SOUS 29158 HAS SOUPS 28830 WITH SCORE 29030.601
AT ITER 2520 NEW BEST:: SOT 500321 SOS 200593 HAS SOPS 200107 HAS SOUS 29154 HAS SOUPS 28826 WITH SCORE 29026.593
AT ITER 2523 NEW BEST:: SOT 500341 SOS 200613 HAS SOPS 200127 HAS SOUS 29135 HAS SOUPS 28807 WITH SCORE 29007.613
AT ITER 2545 NEW BEST:: SOT 500330 SOS 200612 HAS SOPS 200126 HAS SOUS 29132 HAS SOUPS 28804 WITH SCORE 29004.612
AT ITER 2547 NEW BEST:: SOT 500277 SOS 200449 HAS SOPS 199963 HAS SOUS 29104 HAS SOUPS 28776 WITH SCORE 28976.449
AT ITER 2554 NEW BEST:: SOT 500355 SOS 200527 HAS SOPS 200041 HAS SOUS 29030 HAS SOUPS 28702 WITH SCORE 28902.527
AT ITER 2564 NEW BEST:: SOT 500305 SOS 200452 HAS SOPS 199991 HAS SOUS 28955 HAS SOUPS 28652 WITH SCORE 28852.452
AT ITER 2567 NEW BEST:: SOT 500273 SOS 200420 HAS SOPS 199959 HAS SOUS 28886 HAS SOUPS 28583 WITH SCORE 28783.42
AT ITER 2598 NEW BEST:: SOT 500210 SOS 200357 HAS SOPS 199896 HAS SOUS 28802 HAS SOUPS 28499 WITH SCORE 28699.357
AT ITER 2602 NEW BEST:: SOT 500216 SOS 200363 HAS SOPS 199902 HAS SOUS 28789 HAS SOUPS 28486 WITH SCORE 28686.363
AT ITER 2619 NEW BEST:: SOT 500228 SOS 200369 HAS SOPS 199908 HAS SOUS 28759 HAS SOUPS 28456 WITH SCORE 28656.369
AT ITER 2624 NEW BEST:: SOT 498182 SOS 198565 HAS SOPS 198104 HAS SOUS 28750 HAS SOUPS 28447 WITH SCORE 28645.565
AT ITER 2629 NEW BEST:: SOT 497125 SOS 197522 HAS SOPS 197061 HAS SOUS 28750 HAS SOUPS 28447 WITH SCORE 28644.522
AT ITER 2641 NEW BEST:: SOT 497127 SOS 197524 HAS SOPS 197063 HAS SOUS 28727 HAS SOUPS 28424 WITH SCORE 28621.524
AT ITER 2661 NEW BEST:: SOT 496889 SOS 197286 HAS SOPS 196825 HAS SOUS 28551 HAS SOUPS 28248 WITH SCORE 28445.286
AT ITER 2693 NEW BEST:: SOT 496838 SOS 197228 HAS SOPS 196767 HAS SOUS 28502 HAS SOUPS 28199 WITH SCORE 28396.228
AT ITER 2697 NEW BEST:: SOT 496824 SOS 196908 HAS SOPS 196447 HAS SOUS 28496 HAS SOUPS 28193 WITH SCORE 28389.908
AT ITER 2716 NEW BEST:: SOT 494426 SOS 194404 HAS SOPS 193943 HAS SOUS 28473 HAS SOUPS 28170 WITH SCORE 28364.404
AT ITER 2725 NEW BEST:: SOT 494542 SOS 194366 HAS SOPS 193905 HAS SOUS 28439 HAS SOUPS 28136 WITH SCORE 28330.366
AT ITER 2748 NEW BEST:: SOT 494542 SOS 194366 HAS SOPS 193905 HAS SOUS 28402 HAS SOUPS 28099 WITH SCORE 28293.366
AT ITER 2777 NEW BEST:: SOT 494542 SOS 194359 HAS SOPS 193898 HAS SOUS 28401 HAS SOUPS 28098 WITH SCORE 28292.359
AT ITER 2802 NEW BEST:: SOT 486635 SOS 186452 HAS SOPS 185991 HAS SOUS 28324 HAS SOUPS 28021 WITH SCORE 28207.452
AT ITER 2810 NEW BEST:: SOT 486635 SOS 186414 HAS SOPS 185953 HAS SOUS 28322 HAS SOUPS 28019 WITH SCORE 28205.414
AT ITER 2814 NEW BEST:: SOT 486707 SOS 186452 HAS SOPS 185991 HAS SOUS 28228 HAS SOUPS 27925 WITH SCORE 28111.452
AT ITER 2815 NEW BEST:: SOT 486849 SOS 186594 HAS SOPS 186133 HAS SOUS 28090 HAS SOUPS 27787 WITH SCORE 27973.594
AT ITER 2825 NEW BEST:: SOT 486838 SOS 186601 HAS SOPS 186140 HAS SOUS 28089 HAS SOUPS 27786 WITH SCORE 27972.601
AT ITER 2837 NEW BEST:: SOT 486830 SOS 186594 HAS SOPS 186133 HAS SOUS 27993 HAS SOUPS 27690 WITH SCORE 27876.594
AT ITER 2838 NEW BEST:: SOT 486832 SOS 186904 HAS SOPS 186443 HAS SOUS 27991 HAS SOUPS 27688 WITH SCORE 27874.904
AT ITER 2842 NEW BEST:: SOT 486808 SOS 186784 HAS SOPS 186323 HAS SOUS 27967 HAS SOUPS 27664 WITH SCORE 27850.784
AT ITER 2843 NEW BEST:: SOT 479507 SOS 172173 HAS SOPS 171712 HAS SOUS 27904 HAS SOUPS 27601 WITH SCORE 27773.173
AT ITER 2872 NEW BEST:: SOT 479489 SOS 171275 HAS SOPS 170814 HAS SOUS 27900 HAS SOUPS 27597 WITH SCORE 27768.275
AT ITER 2890 NEW BEST:: SOT 477469 SOS 170224 HAS SOPS 169763 HAS SOUS 27885 HAS SOUPS 27582 WITH SCORE 27752.224
AT ITER 2909 NEW BEST:: SOT 477465 SOS 170218 HAS SOPS 169757 HAS SOUS 27880 HAS SOUPS 27577 WITH SCORE 27747.218
AT ITER 2918 NEW BEST:: SOT 477472 SOS 170217 HAS SOPS 169756 HAS SOUS 27876 HAS SOUPS 27573 WITH SCORE 27743.217
AT ITER 2925 NEW BEST:: SOT 477464 SOS 170209 HAS SOPS 169748 HAS SOUS 27860 HAS SOUPS 27557 WITH SCORE 27727.209
AT ITER 2943 NEW BEST:: SOT 477402 SOS 170147 HAS SOPS 169686 HAS SOUS 27849 HAS SOUPS 27546 WITH SCORE 27716.147
AT ITER 2968 NEW BEST:: SOT 477402 SOS 170099 HAS SOPS 169638 HAS SOUS 27849 HAS SOUPS 27546 WITH SCORE 27716.099
AT ITER 2993 NEW BEST:: SOT 477396 SOS 170085 HAS SOPS 169624 HAS SOUS 27833 HAS SOUPS 27530 WITH SCORE 27700.085
AT ITER 3101 NEW BEST:: SOT 477306 SOS 169968 HAS SOPS 169507 HAS SOUS 27824 HAS SOUPS 27521 WITH SCORE 27690.968
AT ITER 3103 NEW BEST:: SOT 477290 SOS 169962 HAS SOPS 169501 HAS SOUS 27821 HAS SOUPS 27518 WITH SCORE 27687.962
AT ITER 3129 NEW BEST:: SOT 477316 SOS 170116 HAS SOPS 169655 HAS SOUS 27789 HAS SOUPS 27486 WITH SCORE 27656.116
AT ITER 3152 NEW BEST:: SOT 477310 SOS 170110 HAS SOPS 169649 HAS SOUS 27773 HAS SOUPS 27470 WITH SCORE 27640.11
AT ITER 3156 NEW BEST:: SOT 477310 SOS 170110 HAS SOPS 169649 HAS SOUS 27697 HAS SOUPS 27394 WITH SCORE 27564.11
AT ITER 3168 NEW BEST:: SOT 477243 SOS 169994 HAS SOPS 169522 HAS SOUS 27615 HAS SOUPS 27312 WITH SCORE 27481.994
AT ITER 3174 NEW BEST:: SOT 473386 SOS 166030 HAS SOPS 165558 HAS SOUS 27586 HAS SOUPS 27283 WITH SCORE 27449.03
AT ITER 3198 NEW BEST:: SOT 473469 SOS 165815 HAS SOPS 165492 HAS SOUS 27471 HAS SOUPS 27244 WITH SCORE 27409.815
AT ITER 3217 NEW BEST:: SOT 473550 SOS 166087 HAS SOPS 165764 HAS SOUS 27469 HAS SOUPS 27242 WITH SCORE 27408.087
AT ITER 3222 NEW BEST:: SOT 473550 SOS 166097 HAS SOPS 165774 HAS SOUS 27462 HAS SOUPS 27235 WITH SCORE 27401.097
AT ITER 3226 NEW BEST:: SOT 473550 SOS 166089 HAS SOPS 165766 HAS SOUS 27460 HAS SOUPS 27233 WITH SCORE 27399.089
AT ITER 3244 NEW BEST:: SOT 473548 SOS 166005 HAS SOPS 165682 HAS SOUS 27448 HAS SOUPS 27221 WITH SCORE 27387.005
AT ITER 3265 NEW BEST:: SOT 473566 SOS 166001 HAS SOPS 165678 HAS SOUS 27433 HAS SOUPS 27206 WITH SCORE 27372.001
AT ITER 3274 NEW BEST:: SOT 475332 SOS 167767 HAS SOPS 167444 HAS SOUS 27419 HAS SOUPS 27192 WITH SCORE 27359.767
AT ITER 3286 NEW BEST:: SOT 475330 SOS 167755 HAS SOPS 167432 HAS SOUS 27414 HAS SOUPS 27187 WITH SCORE 27354.755
AT ITER 3292 NEW BEST:: SOT 475250 SOS 167659 HAS SOPS 167336 HAS SOUS 27258 HAS SOUPS 27031 WITH SCORE 27198.659
AT ITER 3313 NEW BEST:: SOT 475245 SOS 167654 HAS SOPS 167331 HAS SOUS 27251 HAS SOUPS 27024 WITH SCORE 27191.654
AT ITER 3329 NEW BEST:: SOT 475227 SOS 167636 HAS SOPS 167313 HAS SOUS 27195 HAS SOUPS 26968 WITH SCORE 27135.636
AT ITER 3341 NEW BEST:: SOT 475137 SOS 167510 HAS SOPS 167187 HAS SOUS 27123 HAS SOUPS 26896 WITH SCORE 27063.51
AT ITER 3363 NEW BEST:: SOT 475141 SOS 167486 HAS SOPS 167155 HAS SOUS 27119 HAS SOUPS 26884 WITH SCORE 27051.486
AT ITER 3378 NEW BEST:: SOT 475144 SOS 167489 HAS SOPS 167158 HAS SOUS 27116 HAS SOUPS 26881 WITH SCORE 27048.489
AT ITER 3434 NEW BEST:: SOT 475134 SOS 167479 HAS SOPS 167148 HAS SOUS 27091 HAS SOUPS 26856 WITH SCORE 27023.479
AT ITER 3446 NEW BEST:: SOT 475134 SOS 166387 HAS SOPS 166056 HAS SOUS 27091 HAS SOUPS 26856 WITH SCORE 27022.387
AT ITER 3449 NEW BEST:: SOT 468937 SOS 160178 HAS SOPS 159847 HAS SOUS 27077 HAS SOUPS 26842 WITH SCORE 27002.178
AT ITER 3456 NEW BEST:: SOT 468943 SOS 160184 HAS SOPS 159853 HAS SOUS 27063 HAS SOUPS 26828 WITH SCORE 26988.184
AT ITER 3475 NEW BEST:: SOT 468964 SOS 160159 HAS SOPS 159828 HAS SOUS 27050 HAS SOUPS 26815 WITH SCORE 26975.159
AT ITER 3499 NEW BEST:: SOT 468962 SOS 160159 HAS SOPS 159828 HAS SOUS 27044 HAS SOUPS 26809 WITH SCORE 26969.159
AT ITER 3504 NEW BEST:: SOT 468962 SOS 157621 HAS SOPS 157290 HAS SOUS 27030 HAS SOUPS 26795 WITH SCORE 26952.621
AT ITER 3532 NEW BEST:: SOT 468900 SOS 157559 HAS SOPS 157228 HAS SOUS 27002 HAS SOUPS 26767 WITH SCORE 26924.559
AT ITER 3542 NEW BEST:: SOT 468904 SOS 157563 HAS SOPS 157232 HAS SOUS 26999 HAS SOUPS 26764 WITH SCORE 26921.563
AT ITER 3543 NEW BEST:: SOT 468883 SOS 157510 HAS SOPS 157179 HAS SOUS 26978 HAS SOUPS 26743 WITH SCORE 26900.51
AT ITER 3549 NEW BEST:: SOT 468835 SOS 157462 HAS SOPS 157131 HAS SOUS 26942 HAS SOUPS 26707 WITH SCORE 26864.462
AT ITER 3551 NEW BEST:: SOT 468727 SOS 157266 HAS SOPS 156935 HAS SOUS 26942 HAS SOUPS 26707 WITH SCORE 26864.266
AT ITER 3552 NEW BEST:: SOT 468723 SOS 157262 HAS SOPS 156931 HAS SOUS 26924 HAS SOUPS 26689 WITH SCORE 26846.262
AT ITER 3560 NEW BEST:: SOT 468689 SOS 156313 HAS SOPS 155982 HAS SOUS 26891 HAS SOUPS 26656 WITH SCORE 26812.313
AT ITER 3617 NEW BEST:: SOT 468692 SOS 156316 HAS SOPS 155985 HAS SOUS 26885 HAS SOUPS 26650 WITH SCORE 26806.316
AT ITER 3625 NEW BEST:: SOT 468685 SOS 156309 HAS SOPS 155978 HAS SOUS 26878 HAS SOUPS 26643 WITH SCORE 26799.309
AT ITER 3633 NEW BEST:: SOT 468748 SOS 156141 HAS SOPS 155810 HAS SOUS 26876 HAS SOUPS 26641 WITH SCORE 26797.141
AT ITER 3644 NEW BEST:: SOT 468746 SOS 156081 HAS SOPS 155750 HAS SOUS 26866 HAS SOUPS 26631 WITH SCORE 26787.081
AT ITER 3650 NEW BEST:: SOT 468779 SOS 156114 HAS SOPS 155783 HAS SOUS 26844 HAS SOUPS 26609 WITH SCORE 26765.114
AT ITER 3662 NEW BEST:: SOT 467299 SOS 154591 HAS SOPS 154260 HAS SOUS 26829 HAS SOUPS 26594 WITH SCORE 26748.591
AT ITER 3667 NEW BEST:: SOT 467299 SOS 154543 HAS SOPS 154212 HAS SOUS 26826 HAS SOUPS 26591 WITH SCORE 26745.543
AT ITER 3670 NEW BEST:: SOT 467282 SOS 154526 HAS SOPS 154195 HAS SOUS 26810 HAS SOUPS 26575 WITH SCORE 26729.526
AT ITER 3673 NEW BEST:: SOT 467280 SOS 154524 HAS SOPS 154193 HAS SOUS 26809 HAS SOUPS 26574 WITH SCORE 26728.524
AT ITER 3693 NEW BEST:: SOT 467241 SOS 154459 HAS SOPS 154128 HAS SOUS 26770 HAS SOUPS 26535 WITH SCORE 26689.459
AT ITER 3698 NEW BEST:: SOT 467237 SOS 154765 HAS SOPS 154434 HAS SOUS 26768 HAS SOUPS 26533 WITH SCORE 26687.765
AT ITER 3710 NEW BEST:: SOT 467233 SOS 154755 HAS SOPS 154424 HAS SOUS 26765 HAS SOUPS 26530 WITH SCORE 26684.755
AT ITER 3715 NEW BEST:: SOT 467236 SOS 154758 HAS SOPS 154427 HAS SOUS 26750 HAS SOUPS 26515 WITH SCORE 26669.758
AT ITER 3738 NEW BEST:: SOT 467162 SOS 154684 HAS SOPS 154353 HAS SOUS 26723 HAS SOUPS 26488 WITH SCORE 26642.684
AT ITER 3784 NEW BEST:: SOT 470236 SOS 157235 HAS SOPS 156887 HAS SOUS 26606 HAS SOUPS 26371 WITH SCORE 26528.235
AT ITER 3793 NEW BEST:: SOT 470227 SOS 157226 HAS SOPS 156878 HAS SOUS 26597 HAS SOUPS 26362 WITH SCORE 26519.226
AT ITER 3804 NEW BEST:: SOT 468169 SOS 155084 HAS SOPS 154736 HAS SOUS 26597 HAS SOUPS 26362 WITH SCORE 26517.084
AT ITER 3818 NEW BEST:: SOT 468236 SOS 155093 HAS SOPS 154779 HAS SOUS 26469 HAS SOUPS 26251 WITH SCORE 26406.093
AT ITER 3845 NEW BEST:: SOT 467789 SOS 154199 HAS SOPS 153885 HAS SOUS 26466 HAS SOUPS 26248 WITH SCORE 26402.199
AT ITER 3846 NEW BEST:: SOT 467770 SOS 154180 HAS SOPS 153866 HAS SOUS 26462 HAS SOUPS 26244 WITH SCORE 26398.18
AT ITER 3860 NEW BEST:: SOT 467767 SOS 154177 HAS SOPS 153863 HAS SOUS 26462 HAS SOUPS 26244 WITH SCORE 26398.177
AT ITER 3879 NEW BEST:: SOT 467765 SOS 154178 HAS SOPS 153864 HAS SOUS 26460 HAS SOUPS 26242 WITH SCORE 26396.178
AT ITER 3904 NEW BEST:: SOT 467765 SOS 153970 HAS SOPS 153656 HAS SOUS 26460 HAS SOUPS 26242 WITH SCORE 26395.97
AT ITER 3938 NEW BEST:: SOT 467733 SOS 153782 HAS SOPS 153468 HAS SOUS 26444 HAS SOUPS 26226 WITH SCORE 26379.782
AT ITER 3940 NEW BEST:: SOT 467706 SOS 153600 HAS SOPS 153286 HAS SOUS 26398 HAS SOUPS 26180 WITH SCORE 26333.6
AT ITER 3976 NEW BEST:: SOT 467738 SOS 153632 HAS SOPS 153318 HAS SOUS 26390 HAS SOUPS 26172 WITH SCORE 26325.632
AT ITER 3977 NEW BEST:: SOT 469198 SOS 155092 HAS SOPS 154778 HAS SOUS 26380 HAS SOUPS 26162 WITH SCORE 26317.092
AT ITER 4016 NEW BEST:: SOT 469896 SOS 151554 HAS SOPS 151240 HAS SOUS 26323 HAS SOUPS 26105 WITH SCORE 26256.554
AT ITER 4037 NEW BEST:: SOT 469801 SOS 151459 HAS SOPS 151145 HAS SOUS 26225 HAS SOUPS 26007 WITH SCORE 26158.459
AT ITER 4072 NEW BEST:: SOT 469803 SOS 151435 HAS SOPS 151121 HAS SOUS 26201 HAS SOUPS 25983 WITH SCORE 26134.435
AT ITER 4099 NEW BEST:: SOT 469802 SOS 151434 HAS SOPS 151120 HAS SOUS 26200 HAS SOUPS 25982 WITH SCORE 26133.434
AT ITER 4126 NEW BEST:: SOT 469646 SOS 151126 HAS SOPS 150964 HAS SOUS 26059 HAS SOUPS 25917 WITH SCORE 26068.126
AT ITER 4133 NEW BEST:: SOT 469742 SOS 151222 HAS SOPS 151060 HAS SOUS 26031 HAS SOUPS 25889 WITH SCORE 26040.222
AT ITER 4136 NEW BEST:: SOT 469753 SOS 151392 HAS SOPS 151230 HAS SOUS 25944 HAS SOUPS 25802 WITH SCORE 25953.392
AT ITER 4169 NEW BEST:: SOT 469495 SOS 150946 HAS SOPS 150784 HAS SOUS 25863 HAS SOUPS 25721 WITH SCORE 25871.946
AT ITER 4199 NEW BEST:: SOT 468539 SOS 149262 HAS SOPS 149100 HAS SOUS 25857 HAS SOUPS 25715 WITH SCORE 25864.262
AT ITER 4242 NEW BEST:: SOT 475484 SOS 153038 HAS SOPS 152876 HAS SOUS 25726 HAS SOUPS 25584 WITH SCORE 25737.038
AT ITER 4246 NEW BEST:: SOT 475492 SOS 153036 HAS SOPS 152874 HAS SOUS 25713 HAS SOUPS 25571 WITH SCORE 25724.036
AT ITER 4254 NEW BEST:: SOT 475498 SOS 153033 HAS SOPS 152871 HAS SOUS 25707 HAS SOUPS 25565 WITH SCORE 25718.033
AT ITER 4255 NEW BEST:: SOT 475573 SOS 153196 HAS SOPS 153034 HAS SOUS 25706 HAS SOUPS 25564 WITH SCORE 25717.196
AT ITER 4256 NEW BEST:: SOT 475869 SOS 153480 HAS SOPS 153318 HAS SOUS 25702 HAS SOUPS 25560 WITH SCORE 25713.48
AT ITER 4294 NEW BEST:: SOT 475864 SOS 153475 HAS SOPS 153313 HAS SOUS 25690 HAS SOUPS 25548 WITH SCORE 25701.475
AT ITER 4299 NEW BEST:: SOT 479272 SOS 156883 HAS SOPS 156721 HAS SOUS 25659 HAS SOUPS 25517 WITH SCORE 25673.883
AT ITER 4312 NEW BEST:: SOT 471971 SOS 149582 HAS SOPS 149420 HAS SOUS 25464 HAS SOUPS 25322 WITH SCORE 25471.582
AT ITER 4350 NEW BEST:: SOT 473322 SOS 152124 HAS SOPS 151962 HAS SOUS 25454 HAS SOUPS 25312 WITH SCORE 25464.124
AT ITER 4368 NEW BEST:: SOT 473310 SOS 152100 HAS SOPS 151938 HAS SOUS 25442 HAS SOUPS 25300 WITH SCORE 25452.1
AT ITER 4371 NEW BEST:: SOT 473189 SOS 152062 HAS SOPS 151900 HAS SOUS 25430 HAS SOUPS 25288 WITH SCORE 25440.062
AT ITER 4429 NEW BEST:: SOT 473172 SOS 152045 HAS SOPS 151883 HAS SOUS 25420 HAS SOUPS 25278 WITH SCORE 25430.045
AT ITER 4455 NEW BEST:: SOT 473172 SOS 152021 HAS SOPS 151859 HAS SOUS 25420 HAS SOUPS 25278 WITH SCORE 25430.021
AT ITER 4477 NEW BEST:: SOT 473172 SOS 152131 HAS SOPS 151969 HAS SOUS 25410 HAS SOUPS 25268 WITH SCORE 25420.131
AT ITER 4487 NEW BEST:: SOT 471237 SOS 150184 HAS SOPS 150022 HAS SOUS 25395 HAS SOUPS 25253 WITH SCORE 25403.184
AT ITER 4501 NEW BEST:: SOT 466993 SOS 147854 HAS SOPS 147692 HAS SOUS 25385 HAS SOUPS 25243 WITH SCORE 25390.854
AT ITER 4503 NEW BEST:: SOT 466889 SOS 148157 HAS SOPS 147995 HAS SOUS 25307 HAS SOUPS 25165 WITH SCORE 25313.157
AT ITER 4509 NEW BEST:: SOT 466790 SOS 148092 HAS SOPS 147930 HAS SOUS 25200 HAS SOUPS 25058 WITH SCORE 25206.092
AT ITER 4514 NEW BEST:: SOT 465760 SOS 148195 HAS SOPS 148033 HAS SOUS 25178 HAS SOUPS 25036 WITH SCORE 25184.195
AT ITER 4638 NEW BEST:: SOT 467633 SOS 151984 HAS SOPS 151822 HAS SOUS 25162 HAS SOUPS 25020 WITH SCORE 25171.984
AT ITER 4646 NEW BEST:: SOT 467482 SOS 151755 HAS SOPS 151593 HAS SOUS 25157 HAS SOUPS 25015 WITH SCORE 25166.755
AT ITER 4675 NEW BEST:: SOT 467602 SOS 151786 HAS SOPS 151624 HAS SOUS 25109 HAS SOUPS 24967 WITH SCORE 25118.786
AT ITER 4699 NEW BEST:: SOT 467635 SOS 151819 HAS SOPS 151657 HAS SOUS 25108 HAS SOUPS 24966 WITH SCORE 25117.819
AT ITER 4706 NEW BEST:: SOT 467615 SOS 151799 HAS SOPS 151637 HAS SOUS 25061 HAS SOUPS 24919 WITH SCORE 25070.799
AT ITER 4708 NEW BEST:: SOT 454572 SOS 138759 HAS SOPS 138597 HAS SOUS 24962 HAS SOUPS 24820 WITH SCORE 24958.759
AT ITER 4716 NEW BEST:: SOT 454498 SOS 138685 HAS SOPS 138523 HAS SOUS 24943 HAS SOUPS 24801 WITH SCORE 24939.685
AT ITER 4734 NEW BEST:: SOT 454927 SOS 139114 HAS SOPS 138952 HAS SOUS 24930 HAS SOUPS 24788 WITH SCORE 24927.114
AT ITER 4740 NEW BEST:: SOT 454868 SOS 139055 HAS SOPS 138893 HAS SOUS 24839 HAS SOUPS 24697 WITH SCORE 24836.055
AT ITER 4757 NEW BEST:: SOT 458830 SOS 143054 HAS SOPS 142892 HAS SOUS 24825 HAS SOUPS 24683 WITH SCORE 24826.054
AT ITER 4769 NEW BEST:: SOT 460652 SOS 146460 HAS SOPS 146298 HAS SOUS 24820 HAS SOUPS 24678 WITH SCORE 24824.46
AT ITER 4795 NEW BEST:: SOT 460558 SOS 146346 HAS SOPS 146184 HAS SOUS 24732 HAS SOUPS 24590 WITH SCORE 24736.346
AT ITER 4847 NEW BEST:: SOT 460704 SOS 146492 HAS SOPS 146330 HAS SOUS 24731 HAS SOUPS 24589 WITH SCORE 24735.492
AT ITER 4865 NEW BEST:: SOT 460607 SOS 146395 HAS SOPS 146233 HAS SOUS 24544 HAS SOUPS 24402 WITH SCORE 24548.395
AT ITER 4869 NEW BEST:: SOT 460604 SOS 146392 HAS SOPS 146230 HAS SOUS 24541 HAS SOUPS 24399 WITH SCORE 24545.392
AT ITER 4872 NEW BEST:: SOT 460537 SOS 146325 HAS SOPS 146163 HAS SOUS 24487 HAS SOUPS 24345 WITH SCORE 24491.325
AT ITER 4883 NEW BEST:: SOT 460499 SOS 146287 HAS SOPS 146125 HAS SOUS 24435 HAS SOUPS 24293 WITH SCORE 24439.287
AT ITER 4924 NEW BEST:: SOT 460465 SOS 146229 HAS SOPS 146091 HAS SOUS 24375 HAS SOUPS 24257 WITH SCORE 24403.229
AT ITER 4960 NEW BEST:: SOT 460469 SOS 146233 HAS SOPS 146095 HAS SOUS 24363 HAS SOUPS 24245 WITH SCORE 24391.233
AT ITER 4976 NEW BEST:: SOT 460432 SOS 146192 HAS SOPS 146054 HAS SOUS 24342 HAS SOUPS 24224 WITH SCORE 24370.192
AT ITER 4979 NEW BEST:: SOT 460432 SOS 146197 HAS SOPS 146059 HAS SOUS 24340 HAS SOUPS 24222 WITH SCORE 24368.197
AT ITER 4988 NEW BEST:: SOT 460432 SOS 142255 HAS SOPS 142117 HAS SOUS 24340 HAS SOUPS 24222 WITH SCORE 24364.255
AT ITER 5007 NEW BEST:: SOT 460428 SOS 142251 HAS SOPS 142113 HAS SOUS 24332 HAS SOUPS 24214 WITH SCORE 24356.251
AT ITER 5066 NEW BEST:: SOT 460418 SOS 142241 HAS SOPS 142103 HAS SOUS 24328 HAS SOUPS 24210 WITH SCORE 24352.241
AT ITER 5077 NEW BEST:: SOT 461173 SOS 143631 HAS SOPS 143493 HAS SOUS 24320 HAS SOUPS 24202 WITH SCORE 24345.631
AT ITER 5081 NEW BEST:: SOT 461192 SOS 143650 HAS SOPS 143512 HAS SOUS 24317 HAS SOUPS 24199 WITH SCORE 24342.65
AT ITER 5111 NEW BEST:: SOT 461184 SOS 143642 HAS SOPS 143504 HAS SOUS 24316 HAS SOUPS 24198 WITH SCORE 24341.642
AT ITER 5153 NEW BEST:: SOT 464220 SOS 144940 HAS SOPS 144802 HAS SOUS 24244 HAS SOUPS 24126 WITH SCORE 24270.94
AT ITER 5158 NEW BEST:: SOT 464199 SOS 144919 HAS SOPS 144781 HAS SOUS 24229 HAS SOUPS 24111 WITH SCORE 24255.919
AT ITER 5190 NEW BEST:: SOT 464197 SOS 144917 HAS SOPS 144779 HAS SOUS 24223 HAS SOUPS 24105 WITH SCORE 24249.917
AT ITER 5192 NEW BEST:: SOT 464235 SOS 144903 HAS SOPS 144765 HAS SOUS 24219 HAS SOUPS 24101 WITH SCORE 24245.903
AT ITER 5194 NEW BEST:: SOT 468357 SOS 145881 HAS SOPS 145743 HAS SOUS 24200 HAS SOUPS 24082 WITH SCORE 24227.881
AT ITER 5198 NEW BEST:: SOT 466145 SOS 143681 HAS SOPS 143543 HAS SOUS 24200 HAS SOUPS 24082 WITH SCORE 24225.681
AT ITER 5218 NEW BEST:: SOT 466133 SOS 143669 HAS SOPS 143531 HAS SOUS 24186 HAS SOUPS 24068 WITH SCORE 24211.669
AT ITER 5233 NEW BEST:: SOT 466127 SOS 143653 HAS SOPS 143515 HAS SOUS 24185 HAS SOUPS 24067 WITH SCORE 24210.653
AT ITER 5243 NEW BEST:: SOT 466124 SOS 143650 HAS SOPS 143512 HAS SOUS 24182 HAS SOUPS 24064 WITH SCORE 24207.65
AT ITER 5275 NEW BEST:: SOT 466106 SOS 143656 HAS SOPS 143518 HAS SOUS 24176 HAS SOUPS 24058 WITH SCORE 24201.656
AT ITER 5327 NEW BEST:: SOT 466404 SOS 144196 HAS SOPS 144058 HAS SOUS 24139 HAS SOUPS 24021 WITH SCORE 24165.196
AT ITER 5352 NEW BEST:: SOT 469826 SOS 147450 HAS SOPS 147312 HAS SOUS 24129 HAS SOUPS 24011 WITH SCORE 24158.45
AT ITER 5370 NEW BEST:: SOT 469819 SOS 147457 HAS SOPS 147319 HAS SOUS 24108 HAS SOUPS 23990 WITH SCORE 24137.457
AT ITER 5372 NEW BEST:: SOT 469819 SOS 147457 HAS SOPS 147319 HAS SOUS 24104 HAS SOUPS 23986 WITH SCORE 24133.457
AT ITER 5374 NEW BEST:: SOT 472433 SOS 150107 HAS SOPS 149969 HAS SOUS 24097 HAS SOUPS 23979 WITH SCORE 24129.107
AT ITER 5401 NEW BEST:: SOT 472394 SOS 150077 HAS SOPS 149939 HAS SOUS 24089 HAS SOUPS 23971 WITH SCORE 24121.077
AT ITER 5434 NEW BEST:: SOT 472394 SOS 150077 HAS SOPS 149939 HAS SOUS 24082 HAS SOUPS 23964 WITH SCORE 24114.077
AT ITER 5441 NEW BEST:: SOT 472377 SOS 150026 HAS SOPS 149888 HAS SOUS 24078 HAS SOUPS 23960 WITH SCORE 24110.026
AT ITER 5457 NEW BEST:: SOT 472361 SOS 150010 HAS SOPS 149872 HAS SOUS 24072 HAS SOUPS 23954 WITH SCORE 24104.01
AT ITER 5528 NEW BEST:: SOT 471470 SOS 149119 HAS SOPS 148981 HAS SOUS 24061 HAS SOUPS 23943 WITH SCORE 24092.119
AT ITER 5555 NEW BEST:: SOT 471488 SOS 149137 HAS SOPS 148999 HAS SOUS 24058 HAS SOUPS 23940 WITH SCORE 24089.137
AT ITER 5561 NEW BEST:: SOT 471445 SOS 149098 HAS SOPS 148960 HAS SOUS 23951 HAS SOUPS 23833 WITH SCORE 23982.098
AT ITER 5563 NEW BEST:: SOT 471274 SOS 148829 HAS SOPS 148691 HAS SOUS 23939 HAS SOUPS 23821 WITH SCORE 23969.829
AT ITER 5593 NEW BEST:: SOT 471244 SOS 148799 HAS SOPS 148661 HAS SOUS 23911 HAS SOUPS 23793 WITH SCORE 23941.799
AT ITER 5619 NEW BEST:: SOT 471278 SOS 145853 HAS SOPS 145715 HAS SOUS 23904 HAS SOUPS 23786 WITH SCORE 23931.853
AT ITER 5623 NEW BEST:: SOT 471296 SOS 145769 HAS SOPS 145629 HAS SOUS 23905 HAS SOUPS 23785 WITH SCORE 23930.769
AT ITER 5626 NEW BEST:: SOT 471296 SOS 145769 HAS SOPS 145629 HAS SOUS 23903 HAS SOUPS 23783 WITH SCORE 23928.769
AT ITER 5654 NEW BEST:: SOT 471288 SOS 145763 HAS SOPS 145623 HAS SOUS 23894 HAS SOUPS 23774 WITH SCORE 23919.763
AT ITER 5657 NEW BEST:: SOT 471291 SOS 145784 HAS SOPS 145644 HAS SOUS 23893 HAS SOUPS 23773 WITH SCORE 23918.784
AT ITER 5686 NEW BEST:: SOT 471161 SOS 145654 HAS SOPS 145514 HAS SOUS 23889 HAS SOUPS 23769 WITH SCORE 23914.654
AT ITER 5707 NEW BEST:: SOT 471159 SOS 145505 HAS SOPS 145365 HAS SOUS 23888 HAS SOUPS 23768 WITH SCORE 23913.505
AT ITER 5718 NEW BEST:: SOT 470259 SOS 144593 HAS SOPS 144453 HAS SOUS 23870 HAS SOUPS 23750 WITH SCORE 23894.593
AT ITER 5723 NEW BEST:: SOT 470250 SOS 143455 HAS SOPS 143315 HAS SOUS 23868 HAS SOUPS 23748 WITH SCORE 23891.455
AT ITER 5734 NEW BEST:: SOT 470294 SOS 143457 HAS SOPS 143317 HAS SOUS 23831 HAS SOUPS 23711 WITH SCORE 23854.457
AT ITER 5811 NEW BEST:: SOT 470276 SOS 143439 HAS SOPS 143299 HAS SOUS 23811 HAS SOUPS 23691 WITH SCORE 23834.439
AT ITER 5845 NEW BEST:: SOT 473400 SOS 143803 HAS SOPS 143663 HAS SOUS 23806 HAS SOUPS 23686 WITH SCORE 23829.803
AT ITER 5853 NEW BEST:: SOT 473398 SOS 143801 HAS SOPS 143661 HAS SOUS 23802 HAS SOUPS 23682 WITH SCORE 23825.801
AT ITER 5861 NEW BEST:: SOT 473398 SOS 143802 HAS SOPS 143661 HAS SOUS 23801 HAS SOUPS 23681 WITH SCORE 23824.802
AT ITER 5889 NEW BEST:: SOT 473333 SOS 138946 HAS SOPS 138805 HAS SOUS 23767 HAS SOUPS 23647 WITH SCORE 23785.946
AT ITER 5909 NEW BEST:: SOT 473317 SOS 138902 HAS SOPS 138761 HAS SOUS 23755 HAS SOUPS 23635 WITH SCORE 23773.902
AT ITER 5912 NEW BEST:: SOT 473305 SOS 138936 HAS SOPS 138795 HAS SOUS 23747 HAS SOUPS 23627 WITH SCORE 23765.936
AT ITER 5933 NEW BEST:: SOT 473262 SOS 138927 HAS SOPS 138786 HAS SOUS 23732 HAS SOUPS 23612 WITH SCORE 23750.927
AT ITER 5934 NEW BEST:: SOT 473258 SOS 138923 HAS SOPS 138782 HAS SOUS 23724 HAS SOUPS 23604 WITH SCORE 23742.923
AT ITER 5944 NEW BEST:: SOT 473263 SOS 138914 HAS SOPS 138773 HAS SOUS 23715 HAS SOUPS 23595 WITH SCORE 23733.914
AT ITER 5947 NEW BEST:: SOT 468674 SOS 134315 HAS SOPS 134174 HAS SOUS 23665 HAS SOUPS 23545 WITH SCORE 23679.315
AT ITER 5952 NEW BEST:: SOT 465674 SOS 132125 HAS SOPS 131984 HAS SOUS 23633 HAS SOUPS 23513 WITH SCORE 23645.125
AT ITER 5985 NEW BEST:: SOT 465002 SOS 130849 HAS SOPS 130708 HAS SOUS 23584 HAS SOUPS 23464 WITH SCORE 23594.849
AT ITER 5991 NEW BEST:: SOT 464992 SOS 130719 HAS SOPS 130578 HAS SOUS 23572 HAS SOUPS 23452 WITH SCORE 23582.719
AT ITER 6001 NEW BEST:: SOT 465002 SOS 130579 HAS SOPS 130438 HAS SOUS 23544 HAS SOUPS 23424 WITH SCORE 23554.579
AT ITER 6005 NEW BEST:: SOT 463522 SOS 129079 HAS SOPS 128938 HAS SOUS 23534 HAS SOUPS 23414 WITH SCORE 23543.079
AT ITER 6035 NEW BEST:: SOT 463515 SOS 129072 HAS SOPS 128931 HAS SOUS 23529 HAS SOUPS 23409 WITH SCORE 23538.072
AT ITER 6039 NEW BEST:: SOT 462609 SOS 128166 HAS SOPS 128025 HAS SOUS 23523 HAS SOUPS 23403 WITH SCORE 23531.166
AT ITER 6062 NEW BEST:: SOT 462593 SOS 128150 HAS SOPS 128009 HAS SOUS 23485 HAS SOUPS 23365 WITH SCORE 23493.15
AT ITER 6091 NEW BEST:: SOT 462593 SOS 128118 HAS SOPS 127977 HAS SOUS 23451 HAS SOUPS 23331 WITH SCORE 23459.118
AT ITER 6131 NEW BEST:: SOT 462589 SOS 128106 HAS SOPS 127965 HAS SOUS 23449 HAS SOUPS 23329 WITH SCORE 23457.106
AT ITER 6224 NEW BEST:: SOT 462565 SOS 128082 HAS SOPS 127941 HAS SOUS 23447 HAS SOUPS 23327 WITH SCORE 23455.082
AT ITER 6245 NEW BEST:: SOT 462552 SOS 128095 HAS SOPS 127928 HAS SOUS 23421 HAS SOUPS 23288 WITH SCORE 23416.095
AT ITER 6248 NEW BEST:: SOT 462526 SOS 128033 HAS SOPS 127866 HAS SOUS 23373 HAS SOUPS 23240 WITH SCORE 23368.033
AT ITER 6279 NEW BEST:: SOT 462512 SOS 127874 HAS SOPS 127707 HAS SOUS 23354 HAS SOUPS 23221 WITH SCORE 23348.874
AT ITER 6280 NEW BEST:: SOT 462512 SOS 127840 HAS SOPS 127673 HAS SOUS 23353 HAS SOUPS 23220 WITH SCORE 23347.84
AT ITER 6335 NEW BEST:: SOT 462475 SOS 127689 HAS SOPS 127522 HAS SOUS 23341 HAS SOUPS 23208 WITH SCORE 23335.689
AT ITER 6370 NEW BEST:: SOT 462504 SOS 127654 HAS SOPS 127487 HAS SOUS 23317 HAS SOUPS 23184 WITH SCORE 23311.654
AT ITER 6392 NEW BEST:: SOT 460239 SOS 123172 HAS SOPS 123005 HAS SOUS 23299 HAS SOUPS 23166 WITH SCORE 23289.172
AT ITER 6446 NEW BEST:: SOT 460243 SOS 123086 HAS SOPS 122919 HAS SOUS 23266 HAS SOUPS 23133 WITH SCORE 23256.086
AT ITER 6501 NEW BEST:: SOT 458316 SOS 119111 HAS SOPS 118944 HAS SOUS 23226 HAS SOUPS 23093 WITH SCORE 23212.111
AT ITER 6517 NEW BEST:: SOT 458294 SOS 118879 HAS SOPS 118712 HAS SOUS 23226 HAS SOUPS 23093 WITH SCORE 23211.879
AT ITER 6535 NEW BEST:: SOT 458294 SOS 118851 HAS SOPS 118684 HAS SOUS 23226 HAS SOUPS 23093 WITH SCORE 23211.851
AT ITER 6542 NEW BEST:: SOT 458294 SOS 118847 HAS SOPS 118680 HAS SOUS 23226 HAS SOUPS 23093 WITH SCORE 23211.847
AT ITER 6546 NEW BEST:: SOT 458290 SOS 118843 HAS SOPS 118676 HAS SOUS 23224 HAS SOUPS 23091 WITH SCORE 23209.843
AT ITER 6577 NEW BEST:: SOT 458238 SOS 118747 HAS SOPS 118580 HAS SOUS 23165 HAS SOUPS 23032 WITH SCORE 23150.747
AT ITER 6600 NEW BEST:: SOT 459516 SOS 119143 HAS SOPS 118976 HAS SOUS 23147 HAS SOUPS 23014 WITH SCORE 23133.143
AT ITER 6616 NEW BEST:: SOT 459532 SOS 118939 HAS SOPS 118772 HAS SOUS 23047 HAS SOUPS 22914 WITH SCORE 23032.939
AT ITER 6747 NEW BEST:: SOT 459925 SOS 119261 HAS SOPS 119094 HAS SOUS 23000 HAS SOUPS 22867 WITH SCORE 22986.261
AT ITER 6748 NEW BEST:: SOT 459874 SOS 119210 HAS SOPS 119043 HAS SOUS 22946 HAS SOUPS 22813 WITH SCORE 22932.21
AT ITER 6761 NEW BEST:: SOT 459872 SOS 119206 HAS SOPS 119039 HAS SOUS 22940 HAS SOUPS 22807 WITH SCORE 22926.206
AT ITER 6806 NEW BEST:: SOT 459896 SOS 119206 HAS SOPS 119039 HAS SOUS 22936 HAS SOUPS 22803 WITH SCORE 22922.206
AT ITER 6843 NEW BEST:: SOT 459862 SOS 119195 HAS SOPS 119028 HAS SOUS 22932 HAS SOUPS 22799 WITH SCORE 22918.195
AT ITER 6893 NEW BEST:: SOT 459877 SOS 119240 HAS SOPS 119043 HAS SOUS 22887 HAS SOUPS 22739 WITH SCORE 22858.24
AT ITER 6894 NEW BEST:: SOT 459873 SOS 119252 HAS SOPS 119055 HAS SOUS 22885 HAS SOUPS 22737 WITH SCORE 22856.252
AT ITER 6920 NEW BEST:: SOT 459887 SOS 119216 HAS SOPS 119019 HAS SOUS 22857 HAS SOUPS 22709 WITH SCORE 22828.216
AT ITER 6950 NEW BEST:: SOT 459896 SOS 119225 HAS SOPS 119028 HAS SOUS 22854 HAS SOUPS 22706 WITH SCORE 22825.225
AT ITER 6982 NEW BEST:: SOT 459896 SOS 119363 HAS SOPS 119166 HAS SOUS 22850 HAS SOUPS 22702 WITH SCORE 22821.363
AT ITER 6995 NEW BEST:: SOT 459883 SOS 119350 HAS SOPS 119153 HAS SOUS 22837 HAS SOUPS 22689 WITH SCORE 22808.35
AT ITER 7017 NEW BEST:: SOT 459870 SOS 119337 HAS SOPS 119140 HAS SOUS 22837 HAS SOUPS 22689 WITH SCORE 22808.337
AT ITER 7033 NEW BEST:: SOT 459864 SOS 119331 HAS SOPS 119134 HAS SOUS 22823 HAS SOUPS 22675 WITH SCORE 22794.331
AT ITER 7084 NEW BEST:: SOT 459862 SOS 119327 HAS SOPS 119130 HAS SOUS 22813 HAS SOUPS 22665 WITH SCORE 22784.327
AT ITER 7108 NEW BEST:: SOT 459881 SOS 119246 HAS SOPS 119049 HAS SOUS 22772 HAS SOUPS 22624 WITH SCORE 22743.246
AT ITER 7118 NEW BEST:: SOT 459880 SOS 119245 HAS SOPS 119048 HAS SOUS 22768 HAS SOUPS 22620 WITH SCORE 22739.245
AT ITER 7124 NEW BEST:: SOT 459894 SOS 119247 HAS SOPS 119050 HAS SOUS 22766 HAS SOUPS 22618 WITH SCORE 22737.247
AT ITER 7153 NEW BEST:: SOT 459892 SOS 119245 HAS SOPS 119048 HAS SOUS 22765 HAS SOUPS 22617 WITH SCORE 22736.245
AT ITER 7177 NEW BEST:: SOT 459890 SOS 119243 HAS SOPS 119046 HAS SOUS 22751 HAS SOUPS 22603 WITH SCORE 22722.243
AT ITER 7188 NEW BEST:: SOT 459917 SOS 119298 HAS SOPS 119073 HAS SOUS 22756 HAS SOUPS 22594 WITH SCORE 22713.298
AT ITER 7204 NEW BEST:: SOT 459913 SOS 119290 HAS SOPS 119065 HAS SOUS 22756 HAS SOUPS 22594 WITH SCORE 22713.29
AT ITER 7215 NEW BEST:: SOT 459930 SOS 119293 HAS SOPS 119068 HAS SOUS 22722 HAS SOUPS 22560 WITH SCORE 22679.293
AT ITER 7218 NEW BEST:: SOT 459930 SOS 119280 HAS SOPS 119055 HAS SOUS 22722 HAS SOUPS 22560 WITH SCORE 22679.28
AT ITER 7224 NEW BEST:: SOT 459930 SOS 119280 HAS SOPS 119055 HAS SOUS 22713 HAS SOUPS 22551 WITH SCORE 22670.28
AT ITER 7237 NEW BEST:: SOT 459934 SOS 119278 HAS SOPS 119053 HAS SOUS 22703 HAS SOUPS 22541 WITH SCORE 22660.278
AT ITER 7257 NEW BEST:: SOT 459850 SOS 119176 HAS SOPS 118951 HAS SOUS 22624 HAS SOUPS 22462 WITH SCORE 22581.176
AT ITER 7258 NEW BEST:: SOT 459844 SOS 119170 HAS SOPS 118945 HAS SOUS 22624 HAS SOUPS 22462 WITH SCORE 22581.17
AT ITER 7261 NEW BEST:: SOT 459798 SOS 119070 HAS SOPS 118845 HAS SOUS 22586 HAS SOUPS 22424 WITH SCORE 22543.07
AT ITER 7306 NEW BEST:: SOT 458904 SOS 118474 HAS SOPS 118249 HAS SOUS 22580 HAS SOUPS 22418 WITH SCORE 22536.474
AT ITER 7351 NEW BEST:: SOT 458867 SOS 118386 HAS SOPS 118161 HAS SOUS 22527 HAS SOUPS 22365 WITH SCORE 22483.386
AT ITER 7369 NEW BEST:: SOT 457689 SOS 117429 HAS SOPS 117204 HAS SOUS 22514 HAS SOUPS 22352 WITH SCORE 22469.429
AT ITER 7391 NEW BEST:: SOT 456660 SOS 121577 HAS SOPS 121352 HAS SOUS 22507 HAS SOUPS 22345 WITH SCORE 22466.577
AT ITER 7411 NEW BEST:: SOT 456643 SOS 121598 HAS SOPS 121373 HAS SOUS 22454 HAS SOUPS 22292 WITH SCORE 22413.598
AT ITER 7422 NEW BEST:: SOT 456789 SOS 121744 HAS SOPS 121519 HAS SOUS 22451 HAS SOUPS 22289 WITH SCORE 22410.744
AT ITER 7428 NEW BEST:: SOT 456777 SOS 121678 HAS SOPS 121453 HAS SOUS 22445 HAS SOUPS 22283 WITH SCORE 22404.678
AT ITER 7452 NEW BEST:: SOT 456768 SOS 121669 HAS SOPS 121444 HAS SOUS 22430 HAS SOUPS 22268 WITH SCORE 22389.669
AT ITER 7502 NEW BEST:: SOT 456768 SOS 121669 HAS SOPS 121444 HAS SOUS 22429 HAS SOUPS 22267 WITH SCORE 22388.669
AT ITER 7519 NEW BEST:: SOT 456768 SOS 121670 HAS SOPS 121445 HAS SOUS 22428 HAS SOUPS 22266 WITH SCORE 22387.67
AT ITER 7593 NEW BEST:: SOT 456761 SOS 121631 HAS SOPS 121406 HAS SOUS 22401 HAS SOUPS 22239 WITH SCORE 22360.631
AT ITER 7659 NEW BEST:: SOT 456473 SOS 121345 HAS SOPS 121120 HAS SOUS 22401 HAS SOUPS 22239 WITH SCORE 22360.345
AT ITER 7672 NEW BEST:: SOT 456467 SOS 121339 HAS SOPS 121114 HAS SOUS 22386 HAS SOUPS 22224 WITH SCORE 22345.339
AT ITER 7675 NEW BEST:: SOT 456318 SOS 121008 HAS SOPS 120783 HAS SOUS 22385 HAS SOUPS 22223 WITH SCORE 22344.008
AT ITER 7692 NEW BEST:: SOT 456320 SOS 121000 HAS SOPS 120773 HAS SOUS 22381 HAS SOUPS 22219 WITH SCORE 22340.0
AT ITER 7708 NEW BEST:: SOT 456409 SOS 120401 HAS SOPS 120174 HAS SOUS 22381 HAS SOUPS 22219 WITH SCORE 22339.401
AT ITER 7709 NEW BEST:: SOT 456424 SOS 120358 HAS SOPS 120131 HAS SOUS 22359 HAS SOUPS 22197 WITH SCORE 22317.358
AT ITER 7727 NEW BEST:: SOT 456409 SOS 120343 HAS SOPS 120116 HAS SOUS 22322 HAS SOUPS 22160 WITH SCORE 22280.343
AT ITER 7760 NEW BEST:: SOT 456403 SOS 120337 HAS SOPS 120110 HAS SOUS 22313 HAS SOUPS 22151 WITH SCORE 22271.337
AT ITER 7765 NEW BEST:: SOT 456402 SOS 120338 HAS SOPS 120109 HAS SOUS 22311 HAS SOUPS 22148 WITH SCORE 22268.338
AT ITER 7772 NEW BEST:: SOT 456328 SOS 119840 HAS SOPS 119611 HAS SOUS 22274 HAS SOUPS 22111 WITH SCORE 22230.84
AT ITER 7813 NEW BEST:: SOT 456278 SOS 119790 HAS SOPS 119561 HAS SOUS 22239 HAS SOUPS 22076 WITH SCORE 22195.79
AT ITER 7840 NEW BEST:: SOT 456278 SOS 119740 HAS SOPS 119511 HAS SOUS 22239 HAS SOUPS 22076 WITH SCORE 22195.74
AT ITER 7865 NEW BEST:: SOT 456274 SOS 119587 HAS SOPS 119358 HAS SOUS 22234 HAS SOUPS 22071 WITH SCORE 22190.587
AT ITER 7881 NEW BEST:: SOT 456275 SOS 119614 HAS SOPS 119385 HAS SOUS 22218 HAS SOUPS 22055 WITH SCORE 22174.614
AT ITER 7966 NEW BEST:: SOT 456277 SOS 119635 HAS SOPS 119406 HAS SOUS 22210 HAS SOUPS 22047 WITH SCORE 22166.635
AT ITER 7997 NEW BEST:: SOT 453043 SOS 116403 HAS SOPS 116174 HAS SOUS 22188 HAS SOUPS 22025 WITH SCORE 22141.403
AT ITER 8016 NEW BEST:: SOT 450361 SOS 117303 HAS SOPS 117074 HAS SOUS 22071 HAS SOUPS 21908 WITH SCORE 22025.303
AT ITER 8054 NEW BEST:: SOT 450355 SOS 117264 HAS SOPS 117035 HAS SOUS 22050 HAS SOUPS 21887 WITH SCORE 22004.264
AT ITER 8083 NEW BEST:: SOT 450207 SOS 117110 HAS SOPS 116881 HAS SOUS 22046 HAS SOUPS 21883 WITH SCORE 22000.11
AT ITER 8088 NEW BEST:: SOT 450181 SOS 117062 HAS SOPS 116833 HAS SOUS 22020 HAS SOUPS 21857 WITH SCORE 21974.062
AT ITER 8116 NEW BEST:: SOT 450171 SOS 117052 HAS SOPS 116823 HAS SOUS 22020 HAS SOUPS 21857 WITH SCORE 21974.052
AT ITER 8132 NEW BEST:: SOT 450057 SOS 116894 HAS SOPS 116665 HAS SOUS 22011 HAS SOUPS 21848 WITH SCORE 21964.894
AT ITER 8137 NEW BEST:: SOT 450476 SOS 114863 HAS SOPS 114634 HAS SOUS 21995 HAS SOUPS 21832 WITH SCORE 21946.863
AT ITER 8157 NEW BEST:: SOT 450476 SOS 114863 HAS SOPS 114634 HAS SOUS 21994 HAS SOUPS 21831 WITH SCORE 21945.863
AT ITER 8183 NEW BEST:: SOT 450454 SOS 114848 HAS SOPS 114619 HAS SOUS 21969 HAS SOUPS 21806 WITH SCORE 21920.848
AT ITER 8215 NEW BEST:: SOT 450509 SOS 114864 HAS SOPS 114635 HAS SOUS 21861 HAS SOUPS 21698 WITH SCORE 21812.864
AT ITER 8256 NEW BEST:: SOT 450211 SOS 114268 HAS SOPS 114039 HAS SOUS 21857 HAS SOUPS 21694 WITH SCORE 21808.268
AT ITER 8333 NEW BEST:: SOT 450213 SOS 114270 HAS SOPS 114041 HAS SOUS 21853 HAS SOUPS 21690 WITH SCORE 21804.27
AT ITER 8390 NEW BEST:: SOT 450209 SOS 114266 HAS SOPS 114037 HAS SOUS 21843 HAS SOUPS 21680 WITH SCORE 21794.266
AT ITER 8474 NEW BEST:: SOT 450196 SOS 113505 HAS SOPS 113276 HAS SOUS 21832 HAS SOUPS 21669 WITH SCORE 21782.505
AT ITER 8484 NEW BEST:: SOT 450181 SOS 113490 HAS SOPS 113261 HAS SOUS 21815 HAS SOUPS 21652 WITH SCORE 21765.49
AT ITER 8487 NEW BEST:: SOT 450177 SOS 113462 HAS SOPS 113231 HAS SOUS 21813 HAS SOUPS 21648 WITH SCORE 21761.462
AT ITER 8492 NEW BEST:: SOT 450167 SOS 113452 HAS SOPS 113221 HAS SOUS 21797 HAS SOUPS 21632 WITH SCORE 21745.452
AT ITER 8582 NEW BEST:: SOT 450172 SOS 113501 HAS SOPS 113270 HAS SOUS 21776 HAS SOUPS 21611 WITH SCORE 21724.501
AT ITER 8643 NEW BEST:: SOT 450070 SOS 113399 HAS SOPS 113168 HAS SOUS 21710 HAS SOUPS 21545 WITH SCORE 21658.399
AT ITER 8666 NEW BEST:: SOT 450075 SOS 113404 HAS SOPS 113173 HAS SOUS 21694 HAS SOUPS 21529 WITH SCORE 21642.404
AT ITER 8699 NEW BEST:: SOT 449926 SOS 113241 HAS SOPS 113010 HAS SOUS 21691 HAS SOUPS 21526 WITH SCORE 21639.241
AT ITER 8718 NEW BEST:: SOT 450077 SOS 113044 HAS SOPS 112813 HAS SOUS 21671 HAS SOUPS 21506 WITH SCORE 21619.044
AT ITER 8762 NEW BEST:: SOT 450087 SOS 113023 HAS SOPS 112792 HAS SOUS 21639 HAS SOUPS 21474 WITH SCORE 21587.023
AT ITER 8788 NEW BEST:: SOT 450381 SOS 113317 HAS SOPS 113086 HAS SOUS 21637 HAS SOUPS 21472 WITH SCORE 21585.317
AT ITER 8830 NEW BEST:: SOT 450371 SOS 113301 HAS SOPS 113070 HAS SOUS 21632 HAS SOUPS 21467 WITH SCORE 21580.301
AT ITER 8846 NEW BEST:: SOT 450386 SOS 113333 HAS SOPS 113085 HAS SOUS 21645 HAS SOUPS 21463 WITH SCORE 21576.333
AT ITER 8851 NEW BEST:: SOT 449907 SOS 114129 HAS SOPS 113881 HAS SOUS 21621 HAS SOUPS 21439 WITH SCORE 21553.129
AT ITER 8857 NEW BEST:: SOT 449896 SOS 114118 HAS SOPS 113870 HAS SOUS 21612 HAS SOUPS 21430 WITH SCORE 21544.118
AT ITER 8860 NEW BEST:: SOT 449868 SOS 114090 HAS SOPS 113842 HAS SOUS 21598 HAS SOUPS 21416 WITH SCORE 21530.09
AT ITER 8861 NEW BEST:: SOT 449854 SOS 113981 HAS SOPS 113638 HAS SOUS 21656 HAS SOUPS 21379 WITH SCORE 21492.981
AT ITER 8891 NEW BEST:: SOT 449854 SOS 113971 HAS SOPS 113628 HAS SOUS 21656 HAS SOUPS 21379 WITH SCORE 21492.971
AT ITER 8929 NEW BEST:: SOT 449854 SOS 113961 HAS SOPS 113618 HAS SOUS 21581 HAS SOUPS 21304 WITH SCORE 21417.961
AT ITER 8947 NEW BEST:: SOT 449844 SOS 113951 HAS SOPS 113608 HAS SOUS 21573 HAS SOUPS 21296 WITH SCORE 21409.951
AT ITER 8962 NEW BEST:: SOT 449822 SOS 114033 HAS SOPS 113690 HAS SOUS 21529 HAS SOUPS 21252 WITH SCORE 21366.033
AT ITER 8986 NEW BEST:: SOT 449520 SOS 113739 HAS SOPS 113396 HAS SOUS 21523 HAS SOUPS 21246 WITH SCORE 21359.739
AT ITER 9069 NEW BEST:: SOT 449566 SOS 113813 HAS SOPS 113470 HAS SOUS 21496 HAS SOUPS 21219 WITH SCORE 21332.813
AT ITER 9158 NEW BEST:: SOT 449568 SOS 113803 HAS SOPS 113460 HAS SOUS 21494 HAS SOUPS 21217 WITH SCORE 21330.803
AT ITER 9276 NEW BEST:: SOT 451493 SOS 115656 HAS SOPS 115313 HAS SOUS 21470 HAS SOUPS 21193 WITH SCORE 21308.656
AT ITER 9289 NEW BEST:: SOT 451493 SOS 115648 HAS SOPS 115305 HAS SOUS 21470 HAS SOUPS 21193 WITH SCORE 21308.648
AT ITER 9447 NEW BEST:: SOT 451498 SOS 115653 HAS SOPS 115310 HAS SOUS 21465 HAS SOUPS 21188 WITH SCORE 21303.653
AT ITER 9461 NEW BEST:: SOT 451492 SOS 115647 HAS SOPS 115304 HAS SOUS 21445 HAS SOUPS 21168 WITH SCORE 21283.647
AT ITER 9530 NEW BEST:: SOT 451490 SOS 115636 HAS SOPS 115293 HAS SOUS 21443 HAS SOUPS 21166 WITH SCORE 21281.636
AT ITER 9585 NEW BEST:: SOT 451475 SOS 115621 HAS SOPS 115281 HAS SOUS 21433 HAS SOUPS 21156 WITH SCORE 21271.621
AT ITER 9628 NEW BEST:: SOT 451483 SOS 115629 HAS SOPS 115289 HAS SOUS 21413 HAS SOUPS 21136 WITH SCORE 21251.629
AT ITER 9675 NEW BEST:: SOT 451189 SOS 115351 HAS SOPS 115011 HAS SOUS 21409 HAS SOUPS 21132 WITH SCORE 21247.351
AT ITER 9701 NEW BEST:: SOT 451158 SOS 115320 HAS SOPS 114980 HAS SOUS 21390 HAS SOUPS 21113 WITH SCORE 21228.32
AT ITER 9711 NEW BEST:: SOT 451156 SOS 115316 HAS SOPS 114976 HAS SOUS 21382 HAS SOUPS 21105 WITH SCORE 21220.316
AT ITER 9766 NEW BEST:: SOT 451153 SOS 115281 HAS SOPS 114941 HAS SOUS 21379 HAS SOUPS 21102 WITH SCORE 21217.281
AT ITER 9861 NEW BEST:: SOT 451161 SOS 115289 HAS SOPS 114949 HAS SOUS 21373 HAS SOUPS 21096 WITH SCORE 21211.289
AT ITER 9868 NEW BEST:: SOT 451170 SOS 115568 HAS SOPS 115228 HAS SOUS 21364 HAS SOUPS 21087 WITH SCORE 21202.568
AT ITER 9871 NEW BEST:: SOT 451166 SOS 115564 HAS SOPS 115224 HAS SOUS 21360 HAS SOUPS 21083 WITH SCORE 21198.564
AT ITER 9907 NEW BEST:: SOT 451160 SOS 115558 HAS SOPS 115218 HAS SOUS 21352 HAS SOUPS 21075 WITH SCORE 21190.558
AT ITER 9958 NEW BEST:: SOT 450140 SOS 114824 HAS SOPS 114484 HAS SOUS 21348 HAS SOUPS 21071 WITH SCORE 21185.824
AT ITER 9964 NEW BEST:: SOT 449702 SOS 114374 HAS SOPS 114034 HAS SOUS 21345 HAS SOUPS 21068 WITH SCORE 21182.374

BK_STOP 1678865382680

--------------------
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
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 487 Killed ${SMART}/smart ${INPUT_SM}

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="NoC3x3-PT-8A"
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 NoC3x3-PT-8A, 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 r267-smll-167863541700344"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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