Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r299-tall-167873953600896.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 QuasiCertifProtocol-PT-22, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r299-tall-167873953600896
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.2M
-rw-r--r-- 1 mcc users 33K Feb 26 01:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 225K Feb 26 01:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 15K Feb 26 01:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 100K Feb 26 01:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 49K Feb 25 16:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 214K Feb 25 16:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 6.6K Feb 25 16:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 31K Feb 25 16:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 102K Feb 26 01:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 667K Feb 26 01:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 20K Feb 26 01:31 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 117K Feb 26 01:31 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 8.0K Feb 25 16:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 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 503K 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 1679563154846

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=QuasiCertifProtocol-PT-22
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 09:19:16] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 09:19:16] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 09:19:16] [INFO ] Load time of PNML (sax parser for PT used): 84 ms
[2023-03-23 09:19:16] [INFO ] Transformed 1966 places.
[2023-03-23 09:19:16] [INFO ] Transformed 356 transitions.
[2023-03-23 09:19:16] [INFO ] Parsed PT model containing 1966 places and 356 transitions and 4323 arcs in 151 ms.
[2023-03-23 09:19:16] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1966 places, 356 transitions and 4323 arcs took 12 ms.
Total runtime 191 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running QuasiCertifProtocol (PT), instance 22
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: 1966 places, 356 transitions, 4323 arcs.
AT ITER 0 NEW BEST:: SOT 426080 SOS 328492 HAS SOPS 328492 HAS SOUS 275162 HAS SOUPS 275162 WITH SCORE 275490.492
AT ITER 18 NEW BEST:: SOT 426080 SOS 327349 HAS SOPS 327349 HAS SOUS 274301 HAS SOUPS 274301 WITH SCORE 274628.349
AT ITER 23 NEW BEST:: SOT 426076 SOS 327345 HAS SOPS 327345 HAS SOUS 274297 HAS SOUPS 274297 WITH SCORE 274624.345
AT ITER 30 NEW BEST:: SOT 426067 SOS 327336 HAS SOPS 327336 HAS SOUS 274288 HAS SOUPS 274288 WITH SCORE 274615.336
AT ITER 66 NEW BEST:: SOT 426067 SOS 327307 HAS SOPS 327307 HAS SOUS 274193 HAS SOUPS 274193 WITH SCORE 274520.307
AT ITER 74 NEW BEST:: SOT 426067 SOS 326704 HAS SOPS 326704 HAS SOUS 274153 HAS SOUPS 274153 WITH SCORE 274479.704
AT ITER 80 NEW BEST:: SOT 426067 SOS 326703 HAS SOPS 326703 HAS SOUS 274152 HAS SOUPS 274152 WITH SCORE 274478.703
AT ITER 88 NEW BEST:: SOT 426056 SOS 326692 HAS SOPS 326692 HAS SOUS 274141 HAS SOUPS 274141 WITH SCORE 274467.692
AT ITER 98 NEW BEST:: SOT 426056 SOS 326666 HAS SOPS 326666 HAS SOUS 274062 HAS SOUPS 274062 WITH SCORE 274388.666
AT ITER 101 NEW BEST:: SOT 426041 SOS 326651 HAS SOPS 326651 HAS SOUS 274047 HAS SOUPS 274047 WITH SCORE 274373.651
AT ITER 111 NEW BEST:: SOT 426041 SOS 326388 HAS SOPS 326388 HAS SOUS 273693 HAS SOUPS 273693 WITH SCORE 274019.388
AT ITER 123 NEW BEST:: SOT 426012 SOS 326359 HAS SOPS 326359 HAS SOUS 273664 HAS SOUPS 273664 WITH SCORE 273990.359
AT ITER 128 NEW BEST:: SOT 425995 SOS 326342 HAS SOPS 326342 HAS SOUS 273647 HAS SOUPS 273647 WITH SCORE 273973.342
AT ITER 141 NEW BEST:: SOT 425939 SOS 326156 HAS SOPS 326156 HAS SOUS 273526 HAS SOUPS 273526 WITH SCORE 273852.156
AT ITER 158 NEW BEST:: SOT 425942 SOS 326144 HAS SOPS 326144 HAS SOUS 273490 HAS SOUPS 273490 WITH SCORE 273816.144
AT ITER 196 NEW BEST:: SOT 425942 SOS 324888 HAS SOPS 324888 HAS SOUS 272514 HAS SOUPS 272514 WITH SCORE 272838.888
AT ITER 216 NEW BEST:: SOT 425625 SOS 324571 HAS SOPS 324571 HAS SOUS 272197 HAS SOUPS 272197 WITH SCORE 272521.571
AT ITER 228 NEW BEST:: SOT 425625 SOS 324567 HAS SOPS 324567 HAS SOUS 272193 HAS SOUPS 272193 WITH SCORE 272517.567
AT ITER 237 NEW BEST:: SOT 425601 SOS 324543 HAS SOPS 324543 HAS SOUS 272169 HAS SOUPS 272169 WITH SCORE 272493.543
AT ITER 256 NEW BEST:: SOT 425601 SOS 323237 HAS SOPS 323237 HAS SOUS 271296 HAS SOUPS 271296 WITH SCORE 271619.237
AT ITER 261 NEW BEST:: SOT 425601 SOS 322953 HAS SOPS 322953 HAS SOUS 271008 HAS SOUPS 271008 WITH SCORE 271330.953
AT ITER 268 NEW BEST:: SOT 425661 SOS 321616 HAS SOPS 321616 HAS SOUS 270216 HAS SOUPS 270216 WITH SCORE 270537.616
AT ITER 275 NEW BEST:: SOT 425661 SOS 321453 HAS SOPS 321453 HAS SOUS 269968 HAS SOUPS 269968 WITH SCORE 270289.453
AT ITER 286 NEW BEST:: SOT 425648 SOS 321440 HAS SOPS 321440 HAS SOUS 269955 HAS SOUPS 269955 WITH SCORE 270276.44
AT ITER 294 NEW BEST:: SOT 425537 SOS 321329 HAS SOPS 321329 HAS SOUS 269844 HAS SOUPS 269844 WITH SCORE 270165.329
AT ITER 297 NEW BEST:: SOT 425537 SOS 321329 HAS SOPS 321329 HAS SOUS 269829 HAS SOUPS 269829 WITH SCORE 270150.329
AT ITER 298 NEW BEST:: SOT 425530 SOS 321322 HAS SOPS 321322 HAS SOUS 269822 HAS SOUPS 269822 WITH SCORE 270143.322
AT ITER 310 NEW BEST:: SOT 425530 SOS 321133 HAS SOPS 321133 HAS SOUS 269723 HAS SOUPS 269723 WITH SCORE 270044.133
AT ITER 322 NEW BEST:: SOT 425530 SOS 321086 HAS SOPS 321086 HAS SOUS 269603 HAS SOUPS 269603 WITH SCORE 269924.086
AT ITER 353 NEW BEST:: SOT 425530 SOS 321086 HAS SOPS 321086 HAS SOUS 269591 HAS SOUPS 269591 WITH SCORE 269912.086
AT ITER 364 NEW BEST:: SOT 425671 SOS 320752 HAS SOPS 320752 HAS SOUS 269258 HAS SOUPS 269258 WITH SCORE 269578.752
AT ITER 403 NEW BEST:: SOT 425665 SOS 320746 HAS SOPS 320746 HAS SOUS 269252 HAS SOUPS 269252 WITH SCORE 269572.746
AT ITER 410 NEW BEST:: SOT 425643 SOS 320724 HAS SOPS 320724 HAS SOUS 269230 HAS SOUPS 269230 WITH SCORE 269550.724
AT ITER 412 NEW BEST:: SOT 425626 SOS 320707 HAS SOPS 320707 HAS SOUS 269213 HAS SOUPS 269213 WITH SCORE 269533.707
AT ITER 439 NEW BEST:: SOT 425844 SOS 320224 HAS SOPS 320224 HAS SOUS 268746 HAS SOUPS 268746 WITH SCORE 269066.224
AT ITER 457 NEW BEST:: SOT 425833 SOS 320213 HAS SOPS 320213 HAS SOUS 268735 HAS SOUPS 268735 WITH SCORE 269055.213
AT ITER 458 NEW BEST:: SOT 425833 SOS 320197 HAS SOPS 320197 HAS SOUS 268719 HAS SOUPS 268719 WITH SCORE 269039.197
AT ITER 483 NEW BEST:: SOT 425819 SOS 320183 HAS SOPS 320183 HAS SOUS 268705 HAS SOUPS 268705 WITH SCORE 269025.183
AT ITER 485 NEW BEST:: SOT 425819 SOS 318342 HAS SOPS 318342 HAS SOUS 267948 HAS SOUPS 267948 WITH SCORE 268266.342
AT ITER 486 NEW BEST:: SOT 425819 SOS 317914 HAS SOPS 317914 HAS SOUS 267734 HAS SOUPS 267734 WITH SCORE 268051.914
AT ITER 498 NEW BEST:: SOT 425811 SOS 317906 HAS SOPS 317906 HAS SOUS 267726 HAS SOUPS 267726 WITH SCORE 268043.906
AT ITER 509 NEW BEST:: SOT 425799 SOS 317894 HAS SOPS 317894 HAS SOUS 267714 HAS SOUPS 267714 WITH SCORE 268031.894
AT ITER 515 NEW BEST:: SOT 425785 SOS 317880 HAS SOPS 317880 HAS SOUS 267700 HAS SOUPS 267700 WITH SCORE 268017.88
AT ITER 528 NEW BEST:: SOT 425764 SOS 317859 HAS SOPS 317859 HAS SOUS 267679 HAS SOUPS 267679 WITH SCORE 267996.859
AT ITER 533 NEW BEST:: SOT 425764 SOS 316383 HAS SOPS 316383 HAS SOUS 266941 HAS SOUPS 266941 WITH SCORE 267257.383
AT ITER 541 NEW BEST:: SOT 425475 SOS 316094 HAS SOPS 316094 HAS SOUS 266652 HAS SOUPS 266652 WITH SCORE 266968.094
AT ITER 597 NEW BEST:: SOT 425457 SOS 316076 HAS SOPS 316076 HAS SOUS 266634 HAS SOUPS 266634 WITH SCORE 266950.076
AT ITER 633 NEW BEST:: SOT 425548 SOS 314283 HAS SOPS 314283 HAS SOUS 265515 HAS SOUPS 265515 WITH SCORE 265829.283
AT ITER 635 NEW BEST:: SOT 425548 SOS 314161 HAS SOPS 314161 HAS SOUS 265402 HAS SOUPS 265402 WITH SCORE 265716.161
AT ITER 665 NEW BEST:: SOT 425134 SOS 313747 HAS SOPS 313747 HAS SOUS 264988 HAS SOUPS 264988 WITH SCORE 265301.747
AT ITER 684 NEW BEST:: SOT 425134 SOS 313133 HAS SOPS 313133 HAS SOUS 264776 HAS SOUPS 264776 WITH SCORE 265089.133
AT ITER 692 NEW BEST:: SOT 425117 SOS 313116 HAS SOPS 313116 HAS SOUS 264759 HAS SOUPS 264759 WITH SCORE 265072.116
AT ITER 698 NEW BEST:: SOT 425111 SOS 313110 HAS SOPS 313110 HAS SOUS 264753 HAS SOUPS 264753 WITH SCORE 265066.11
AT ITER 734 NEW BEST:: SOT 425301 SOS 311222 HAS SOPS 311222 HAS SOUS 263643 HAS SOUPS 263643 WITH SCORE 263954.222
AT ITER 737 NEW BEST:: SOT 425301 SOS 311209 HAS SOPS 311209 HAS SOUS 263630 HAS SOUPS 263630 WITH SCORE 263941.209
AT ITER 763 NEW BEST:: SOT 425301 SOS 310814 HAS SOPS 310814 HAS SOUS 263235 HAS SOUPS 263235 WITH SCORE 263545.814
AT ITER 833 NEW BEST:: SOT 425240 SOS 310753 HAS SOPS 310753 HAS SOUS 263174 HAS SOUPS 263174 WITH SCORE 263484.753
AT ITER 847 NEW BEST:: SOT 425388 SOS 310563 HAS SOPS 310563 HAS SOUS 263139 HAS SOUPS 263139 WITH SCORE 263449.563
AT ITER 857 NEW BEST:: SOT 425388 SOS 309690 HAS SOPS 309690 HAS SOUS 262859 HAS SOUPS 262859 WITH SCORE 263168.69
AT ITER 939 NEW BEST:: SOT 425317 SOS 309619 HAS SOPS 309619 HAS SOUS 262788 HAS SOUPS 262788 WITH SCORE 263097.619
AT ITER 995 NEW BEST:: SOT 425317 SOS 309529 HAS SOPS 309529 HAS SOUS 262698 HAS SOUPS 262698 WITH SCORE 263007.529
AT ITER 996 NEW BEST:: SOT 425317 SOS 309528 HAS SOPS 309528 HAS SOUS 262697 HAS SOUPS 262697 WITH SCORE 263006.528
AT ITER 1004 NEW BEST:: SOT 425296 SOS 309507 HAS SOPS 309507 HAS SOUS 262676 HAS SOUPS 262676 WITH SCORE 262985.507
AT ITER 1026 NEW BEST:: SOT 425296 SOS 309262 HAS SOPS 309262 HAS SOUS 262584 HAS SOUPS 262584 WITH SCORE 262893.262
AT ITER 1043 NEW BEST:: SOT 425518 SOS 308437 HAS SOPS 308437 HAS SOUS 261695 HAS SOUPS 261695 WITH SCORE 262003.437
AT ITER 1061 NEW BEST:: SOT 425776 SOS 307558 HAS SOPS 307558 HAS SOUS 260831 HAS SOUPS 260831 WITH SCORE 261138.558
AT ITER 1105 NEW BEST:: SOT 425827 SOS 306211 HAS SOPS 306211 HAS SOUS 260019 HAS SOUPS 260019 WITH SCORE 260325.211
AT ITER 1106 NEW BEST:: SOT 425787 SOS 306171 HAS SOPS 306171 HAS SOUS 259979 HAS SOUPS 259979 WITH SCORE 260285.171
AT ITER 1113 NEW BEST:: SOT 425787 SOS 306147 HAS SOPS 306147 HAS SOUS 259949 HAS SOUPS 259949 WITH SCORE 260255.147
AT ITER 1119 NEW BEST:: SOT 425638 SOS 305998 HAS SOPS 305998 HAS SOUS 259800 HAS SOUPS 259800 WITH SCORE 260105.998
AT ITER 1149 NEW BEST:: SOT 425627 SOS 305987 HAS SOPS 305987 HAS SOUS 259789 HAS SOUPS 259789 WITH SCORE 260094.987
AT ITER 1152 NEW BEST:: SOT 425627 SOS 305807 HAS SOPS 305807 HAS SOUS 259457 HAS SOUPS 259457 WITH SCORE 259762.807
AT ITER 1156 NEW BEST:: SOT 425619 SOS 305799 HAS SOPS 305799 HAS SOUS 259449 HAS SOUPS 259449 WITH SCORE 259754.799
AT ITER 1164 NEW BEST:: SOT 425649 SOS 305799 HAS SOPS 305799 HAS SOUS 259441 HAS SOUPS 259441 WITH SCORE 259746.799
AT ITER 1165 NEW BEST:: SOT 425649 SOS 305512 HAS SOPS 305512 HAS SOUS 259154 HAS SOUPS 259154 WITH SCORE 259459.512
AT ITER 1171 NEW BEST:: SOT 425748 SOS 303354 HAS SOPS 303354 HAS SOUS 257931 HAS SOUPS 257931 WITH SCORE 258234.354
AT ITER 1191 NEW BEST:: SOT 425700 SOS 303337 HAS SOPS 303337 HAS SOUS 257911 HAS SOUPS 257911 WITH SCORE 258214.337
AT ITER 1213 NEW BEST:: SOT 425219 SOS 302864 HAS SOPS 302864 HAS SOUS 257438 HAS SOUPS 257438 WITH SCORE 257740.864
AT ITER 1221 NEW BEST:: SOT 425205 SOS 302850 HAS SOPS 302850 HAS SOUS 257424 HAS SOUPS 257424 WITH SCORE 257726.85
AT ITER 1226 NEW BEST:: SOT 425205 SOS 302654 HAS SOPS 302654 HAS SOUS 257326 HAS SOUPS 257326 WITH SCORE 257628.654
AT ITER 1246 NEW BEST:: SOT 425182 SOS 302631 HAS SOPS 302631 HAS SOUS 257303 HAS SOUPS 257303 WITH SCORE 257605.631
AT ITER 1250 NEW BEST:: SOT 425182 SOS 302618 HAS SOPS 302618 HAS SOUS 257290 HAS SOUPS 257290 WITH SCORE 257592.618
AT ITER 1253 NEW BEST:: SOT 425155 SOS 302591 HAS SOPS 302591 HAS SOUS 257263 HAS SOUPS 257263 WITH SCORE 257565.591
AT ITER 1272 NEW BEST:: SOT 425155 SOS 302591 HAS SOPS 302591 HAS SOUS 257208 HAS SOUPS 257208 WITH SCORE 257510.591
AT ITER 1283 NEW BEST:: SOT 425056 SOS 302492 HAS SOPS 302492 HAS SOUS 257109 HAS SOUPS 257109 WITH SCORE 257411.492
AT ITER 1284 NEW BEST:: SOT 425020 SOS 302456 HAS SOPS 302456 HAS SOUS 257073 HAS SOUPS 257073 WITH SCORE 257375.456
AT ITER 1305 NEW BEST:: SOT 425020 SOS 301534 HAS SOPS 301534 HAS SOUS 256257 HAS SOUPS 256257 WITH SCORE 256558.534
AT ITER 1322 NEW BEST:: SOT 425020 SOS 301534 HAS SOPS 301534 HAS SOUS 256245 HAS SOUPS 256245 WITH SCORE 256546.534
AT ITER 1323 NEW BEST:: SOT 425405 SOS 301527 HAS SOPS 301527 HAS SOUS 256238 HAS SOUPS 256238 WITH SCORE 256539.527
AT ITER 1329 NEW BEST:: SOT 425405 SOS 301010 HAS SOPS 301010 HAS SOUS 255633 HAS SOUPS 255633 WITH SCORE 255934.01
AT ITER 1342 NEW BEST:: SOT 425405 SOS 301010 HAS SOPS 301010 HAS SOUS 255627 HAS SOUPS 255627 WITH SCORE 255928.01
AT ITER 1349 NEW BEST:: SOT 425405 SOS 301009 HAS SOPS 301009 HAS SOUS 255626 HAS SOUPS 255626 WITH SCORE 255927.009
AT ITER 1361 NEW BEST:: SOT 425405 SOS 300609 HAS SOPS 300609 HAS SOUS 255129 HAS SOUPS 255129 WITH SCORE 255429.609
AT ITER 1373 NEW BEST:: SOT 425503 SOS 300556 HAS SOPS 300556 HAS SOUS 255047 HAS SOUPS 255047 WITH SCORE 255347.556
AT ITER 1378 NEW BEST:: SOT 425503 SOS 300243 HAS SOPS 300243 HAS SOUS 254734 HAS SOUPS 254734 WITH SCORE 255034.243
AT ITER 1386 NEW BEST:: SOT 425293 SOS 300033 HAS SOPS 300033 HAS SOUS 254524 HAS SOUPS 254524 WITH SCORE 254824.033
AT ITER 1389 NEW BEST:: SOT 425538 SOS 299652 HAS SOPS 299652 HAS SOUS 254456 HAS SOUPS 254456 WITH SCORE 254755.652
AT ITER 1392 NEW BEST:: SOT 425516 SOS 299630 HAS SOPS 299630 HAS SOUS 254434 HAS SOUPS 254434 WITH SCORE 254733.63
AT ITER 1409 NEW BEST:: SOT 426404 SOS 300102 HAS SOPS 300102 HAS SOUS 254423 HAS SOUPS 254423 WITH SCORE 254723.102
AT ITER 1423 NEW BEST:: SOT 426393 SOS 300091 HAS SOPS 300091 HAS SOUS 254412 HAS SOUPS 254412 WITH SCORE 254712.091
AT ITER 1462 NEW BEST:: SOT 426393 SOS 300099 HAS SOPS 300099 HAS SOUS 254325 HAS SOUPS 254325 WITH SCORE 254625.099
AT ITER 1490 NEW BEST:: SOT 426393 SOS 299739 HAS SOPS 299739 HAS SOUS 254136 HAS SOUPS 254136 WITH SCORE 254435.739
AT ITER 1505 NEW BEST:: SOT 426429 SOS 299703 HAS SOPS 299703 HAS SOUS 254136 HAS SOUPS 254136 WITH SCORE 254435.703
AT ITER 1507 NEW BEST:: SOT 426403 SOS 299677 HAS SOPS 299677 HAS SOUS 254110 HAS SOUPS 254110 WITH SCORE 254409.677
AT ITER 1513 NEW BEST:: SOT 426664 SOS 299224 HAS SOPS 299224 HAS SOUS 253678 HAS SOUPS 253678 WITH SCORE 253977.224
AT ITER 1565 NEW BEST:: SOT 426644 SOS 299204 HAS SOPS 299204 HAS SOUS 253658 HAS SOUPS 253658 WITH SCORE 253957.204
AT ITER 1588 NEW BEST:: SOT 426644 SOS 299203 HAS SOPS 299203 HAS SOUS 253657 HAS SOUPS 253657 WITH SCORE 253956.203
AT ITER 1591 NEW BEST:: SOT 426622 SOS 299181 HAS SOPS 299181 HAS SOUS 253635 HAS SOUPS 253635 WITH SCORE 253934.181
AT ITER 1700 NEW BEST:: SOT 426622 SOS 298799 HAS SOPS 298799 HAS SOUS 253253 HAS SOUPS 253253 WITH SCORE 253551.799
AT ITER 1706 NEW BEST:: SOT 426387 SOS 298564 HAS SOPS 298564 HAS SOUS 253018 HAS SOUPS 253018 WITH SCORE 253316.564
AT ITER 1711 NEW BEST:: SOT 426373 SOS 298550 HAS SOPS 298550 HAS SOUS 253004 HAS SOUPS 253004 WITH SCORE 253302.55
AT ITER 1726 NEW BEST:: SOT 426372 SOS 298549 HAS SOPS 298549 HAS SOUS 253003 HAS SOUPS 253003 WITH SCORE 253301.549
AT ITER 1748 NEW BEST:: SOT 426372 SOS 298326 HAS SOPS 298326 HAS SOUS 252780 HAS SOUPS 252780 WITH SCORE 253078.326
AT ITER 1763 NEW BEST:: SOT 426407 SOS 298326 HAS SOPS 298326 HAS SOUS 252745 HAS SOUPS 252745 WITH SCORE 253043.326
AT ITER 1791 NEW BEST:: SOT 426407 SOS 298331 HAS SOPS 298331 HAS SOUS 252658 HAS SOUPS 252658 WITH SCORE 252956.331
AT ITER 1800 NEW BEST:: SOT 426313 SOS 298237 HAS SOPS 298237 HAS SOUS 252564 HAS SOUPS 252564 WITH SCORE 252862.237
AT ITER 1805 NEW BEST:: SOT 426298 SOS 298222 HAS SOPS 298222 HAS SOUS 252549 HAS SOUPS 252549 WITH SCORE 252847.222
AT ITER 1815 NEW BEST:: SOT 426298 SOS 298222 HAS SOPS 298222 HAS SOUS 252522 HAS SOUPS 252522 WITH SCORE 252820.222
AT ITER 1816 NEW BEST:: SOT 425897 SOS 297821 HAS SOPS 297821 HAS SOUS 252121 HAS SOUPS 252121 WITH SCORE 252418.821
AT ITER 1852 NEW BEST:: SOT 425916 SOS 297458 HAS SOPS 297458 HAS SOUS 251758 HAS SOUPS 251758 WITH SCORE 252055.458
AT ITER 1857 NEW BEST:: SOT 426446 SOS 297772 HAS SOPS 297772 HAS SOUS 251644 HAS SOUPS 251644 WITH SCORE 251941.772
AT ITER 1884 NEW BEST:: SOT 427026 SOS 297967 HAS SOPS 297967 HAS SOUS 251340 HAS SOUPS 251340 WITH SCORE 251637.967
AT ITER 1902 NEW BEST:: SOT 427009 SOS 297950 HAS SOPS 297950 HAS SOUS 251323 HAS SOUPS 251323 WITH SCORE 251620.95
AT ITER 1924 NEW BEST:: SOT 426949 SOS 297890 HAS SOPS 297890 HAS SOUS 251263 HAS SOUPS 251263 WITH SCORE 251560.89
AT ITER 1953 NEW BEST:: SOT 426952 SOS 297880 HAS SOPS 297880 HAS SOUS 251253 HAS SOUPS 251253 WITH SCORE 251550.88
AT ITER 2007 NEW BEST:: SOT 426947 SOS 297875 HAS SOPS 297875 HAS SOUS 251248 HAS SOUPS 251248 WITH SCORE 251545.875
AT ITER 2031 NEW BEST:: SOT 426867 SOS 297774 HAS SOPS 297774 HAS SOUS 251168 HAS SOUPS 251168 WITH SCORE 251465.774
AT ITER 2047 NEW BEST:: SOT 426653 SOS 297560 HAS SOPS 297560 HAS SOUS 251076 HAS SOUPS 251076 WITH SCORE 251373.56
AT ITER 2051 NEW BEST:: SOT 426653 SOS 297490 HAS SOPS 297490 HAS SOUS 250901 HAS SOUPS 250901 WITH SCORE 251198.49
AT ITER 2061 NEW BEST:: SOT 426653 SOS 296780 HAS SOPS 296780 HAS SOUS 250587 HAS SOUPS 250587 WITH SCORE 250883.78
AT ITER 2104 NEW BEST:: SOT 426880 SOS 296315 HAS SOPS 296315 HAS SOUS 250122 HAS SOUPS 250122 WITH SCORE 250418.315
AT ITER 2160 NEW BEST:: SOT 426880 SOS 296227 HAS SOPS 296227 HAS SOUS 250034 HAS SOUPS 250034 WITH SCORE 250330.227
AT ITER 2181 NEW BEST:: SOT 426880 SOS 296227 HAS SOPS 296227 HAS SOUS 250017 HAS SOUPS 250017 WITH SCORE 250313.227
AT ITER 2182 NEW BEST:: SOT 426872 SOS 296219 HAS SOPS 296219 HAS SOUS 250009 HAS SOUPS 250009 WITH SCORE 250305.219
AT ITER 2196 NEW BEST:: SOT 426945 SOS 296139 HAS SOPS 296139 HAS SOUS 249960 HAS SOUPS 249960 WITH SCORE 250256.139
AT ITER 2197 NEW BEST:: SOT 426945 SOS 294795 HAS SOPS 294795 HAS SOUS 249671 HAS SOUPS 249671 WITH SCORE 249965.795
AT ITER 2207 NEW BEST:: SOT 427583 SOS 294723 HAS SOPS 294723 HAS SOUS 249612 HAS SOUPS 249612 WITH SCORE 249906.723
AT ITER 2237 NEW BEST:: SOT 427578 SOS 294718 HAS SOPS 294718 HAS SOUS 249607 HAS SOUPS 249607 WITH SCORE 249901.718
AT ITER 2260 NEW BEST:: SOT 427569 SOS 294709 HAS SOPS 294709 HAS SOUS 249598 HAS SOUPS 249598 WITH SCORE 249892.709
AT ITER 2282 NEW BEST:: SOT 427569 SOS 294393 HAS SOPS 294393 HAS SOUS 249282 HAS SOUPS 249282 WITH SCORE 249576.393
AT ITER 2290 NEW BEST:: SOT 427531 SOS 294355 HAS SOPS 294355 HAS SOUS 249244 HAS SOUPS 249244 WITH SCORE 249538.355
AT ITER 2298 NEW BEST:: SOT 427531 SOS 294354 HAS SOPS 294354 HAS SOUS 249243 HAS SOUPS 249243 WITH SCORE 249537.354
AT ITER 2315 NEW BEST:: SOT 427531 SOS 294354 HAS SOPS 294354 HAS SOUS 249230 HAS SOUPS 249230 WITH SCORE 249524.354
AT ITER 2320 NEW BEST:: SOT 427531 SOS 294322 HAS SOPS 294322 HAS SOUS 249214 HAS SOUPS 249214 WITH SCORE 249508.322
AT ITER 2324 NEW BEST:: SOT 427517 SOS 294308 HAS SOPS 294308 HAS SOUS 249200 HAS SOUPS 249200 WITH SCORE 249494.308
AT ITER 2331 NEW BEST:: SOT 427508 SOS 294299 HAS SOPS 294299 HAS SOUS 249191 HAS SOUPS 249191 WITH SCORE 249485.299
AT ITER 2338 NEW BEST:: SOT 427508 SOS 294298 HAS SOPS 294298 HAS SOUS 249190 HAS SOUPS 249190 WITH SCORE 249484.298
AT ITER 2344 NEW BEST:: SOT 427503 SOS 294293 HAS SOPS 294293 HAS SOUS 249185 HAS SOUPS 249185 WITH SCORE 249479.293
AT ITER 2352 NEW BEST:: SOT 427542 SOS 294095 HAS SOPS 294095 HAS SOUS 249146 HAS SOUPS 249146 WITH SCORE 249440.095
AT ITER 2365 NEW BEST:: SOT 427906 SOS 294216 HAS SOPS 294216 HAS SOUS 249024 HAS SOUPS 249024 WITH SCORE 249318.216
AT ITER 2367 NEW BEST:: SOT 427892 SOS 294202 HAS SOPS 294202 HAS SOUS 249010 HAS SOUPS 249010 WITH SCORE 249304.202
AT ITER 2392 NEW BEST:: SOT 427890 SOS 294200 HAS SOPS 294200 HAS SOUS 249008 HAS SOUPS 249008 WITH SCORE 249302.2
AT ITER 2393 NEW BEST:: SOT 427890 SOS 294130 HAS SOPS 294130 HAS SOUS 248938 HAS SOUPS 248938 WITH SCORE 249232.13
AT ITER 2394 NEW BEST:: SOT 427891 SOS 291883 HAS SOPS 291883 HAS SOUS 247777 HAS SOUPS 247777 WITH SCORE 248068.883
AT ITER 2399 NEW BEST:: SOT 427907 SOS 291878 HAS SOPS 291878 HAS SOUS 247772 HAS SOUPS 247772 WITH SCORE 248063.878
AT ITER 2408 NEW BEST:: SOT 427886 SOS 291857 HAS SOPS 291857 HAS SOUS 247751 HAS SOUPS 247751 WITH SCORE 248042.857
AT ITER 2429 NEW BEST:: SOT 427886 SOS 290504 HAS SOPS 290504 HAS SOUS 247201 HAS SOUPS 247201 WITH SCORE 247491.504
AT ITER 2442 NEW BEST:: SOT 427714 SOS 290332 HAS SOPS 290332 HAS SOUS 247029 HAS SOUPS 247029 WITH SCORE 247319.332
AT ITER 2447 NEW BEST:: SOT 427714 SOS 289868 HAS SOPS 289868 HAS SOUS 246797 HAS SOUPS 246797 WITH SCORE 247086.868
AT ITER 2463 NEW BEST:: SOT 427783 SOS 289025 HAS SOPS 289025 HAS SOUS 246085 HAS SOUPS 246085 WITH SCORE 246374.025
AT ITER 2465 NEW BEST:: SOT 427426 SOS 288668 HAS SOPS 288668 HAS SOUS 245728 HAS SOUPS 245728 WITH SCORE 246016.668
AT ITER 2486 NEW BEST:: SOT 427492 SOS 288448 HAS SOPS 288448 HAS SOUS 245508 HAS SOUPS 245508 WITH SCORE 245796.448
AT ITER 2488 NEW BEST:: SOT 427485 SOS 288441 HAS SOPS 288441 HAS SOUS 245501 HAS SOUPS 245501 WITH SCORE 245789.441
AT ITER 2490 NEW BEST:: SOT 427485 SOS 288441 HAS SOPS 288441 HAS SOUS 245403 HAS SOUPS 245403 WITH SCORE 245691.441
AT ITER 2491 NEW BEST:: SOT 427485 SOS 288259 HAS SOPS 288259 HAS SOUS 245221 HAS SOUPS 245221 WITH SCORE 245509.259
AT ITER 2570 NEW BEST:: SOT 427533 SOS 287876 HAS SOPS 287876 HAS SOUS 244838 HAS SOUPS 244838 WITH SCORE 245125.876
AT ITER 2581 NEW BEST:: SOT 427260 SOS 287603 HAS SOPS 287603 HAS SOUS 244565 HAS SOUPS 244565 WITH SCORE 244852.603
AT ITER 2616 NEW BEST:: SOT 427188 SOS 287531 HAS SOPS 287531 HAS SOUS 244493 HAS SOUPS 244493 WITH SCORE 244780.531
AT ITER 2662 NEW BEST:: SOT 427188 SOS 287380 HAS SOPS 287380 HAS SOUS 244342 HAS SOUPS 244342 WITH SCORE 244629.38
AT ITER 2672 NEW BEST:: SOT 427184 SOS 287376 HAS SOPS 287376 HAS SOUS 244338 HAS SOUPS 244338 WITH SCORE 244625.376
AT ITER 2686 NEW BEST:: SOT 427184 SOS 287364 HAS SOPS 287364 HAS SOUS 244326 HAS SOUPS 244326 WITH SCORE 244613.364
AT ITER 2687 NEW BEST:: SOT 427166 SOS 287346 HAS SOPS 287346 HAS SOUS 244308 HAS SOUPS 244308 WITH SCORE 244595.346
AT ITER 2705 NEW BEST:: SOT 427101 SOS 287281 HAS SOPS 287281 HAS SOUS 244243 HAS SOUPS 244243 WITH SCORE 244530.281
AT ITER 2731 NEW BEST:: SOT 427093 SOS 287273 HAS SOPS 287273 HAS SOUS 244235 HAS SOUPS 244235 WITH SCORE 244522.273
AT ITER 2736 NEW BEST:: SOT 427093 SOS 287157 HAS SOPS 287157 HAS SOUS 244119 HAS SOUPS 244119 WITH SCORE 244406.157
AT ITER 2843 NEW BEST:: SOT 426985 SOS 287049 HAS SOPS 287049 HAS SOUS 244011 HAS SOUPS 244011 WITH SCORE 244298.049
AT ITER 2904 NEW BEST:: SOT 426984 SOS 287048 HAS SOPS 287048 HAS SOUS 244010 HAS SOUPS 244010 WITH SCORE 244297.048
AT ITER 2931 NEW BEST:: SOT 426984 SOS 287047 HAS SOPS 287047 HAS SOUS 244009 HAS SOUPS 244009 WITH SCORE 244296.047
AT ITER 2971 NEW BEST:: SOT 426984 SOS 287046 HAS SOPS 287046 HAS SOUS 244008 HAS SOUPS 244008 WITH SCORE 244295.046
AT ITER 2979 NEW BEST:: SOT 426926 SOS 286988 HAS SOPS 286988 HAS SOUS 244008 HAS SOUPS 244008 WITH SCORE 244294.988
AT ITER 2980 NEW BEST:: SOT 426926 SOS 286974 HAS SOPS 286974 HAS SOUS 243994 HAS SOUPS 243994 WITH SCORE 244280.974
AT ITER 2991 NEW BEST:: SOT 426989 SOS 286951 HAS SOPS 286951 HAS SOUS 243971 HAS SOUPS 243971 WITH SCORE 244257.951
AT ITER 2995 NEW BEST:: SOT 426975 SOS 286948 HAS SOPS 286948 HAS SOUS 243968 HAS SOUPS 243968 WITH SCORE 244254.948
AT ITER 3024 NEW BEST:: SOT 426965 SOS 286938 HAS SOPS 286938 HAS SOUS 243958 HAS SOUPS 243958 WITH SCORE 244244.938
AT ITER 3058 NEW BEST:: SOT 426965 SOS 286556 HAS SOPS 286556 HAS SOUS 243576 HAS SOUPS 243576 WITH SCORE 243862.556
AT ITER 3073 NEW BEST:: SOT 426958 SOS 286549 HAS SOPS 286549 HAS SOUS 243569 HAS SOUPS 243569 WITH SCORE 243855.549
AT ITER 3086 NEW BEST:: SOT 426956 SOS 286547 HAS SOPS 286547 HAS SOUS 243567 HAS SOUPS 243567 WITH SCORE 243853.547
AT ITER 3097 NEW BEST:: SOT 426956 SOS 286539 HAS SOPS 286539 HAS SOUS 243559 HAS SOUPS 243559 WITH SCORE 243845.539
AT ITER 3099 NEW BEST:: SOT 426838 SOS 286375 HAS SOPS 286375 HAS SOUS 243416 HAS SOUPS 243416 WITH SCORE 243702.375
AT ITER 3107 NEW BEST:: SOT 426838 SOS 286375 HAS SOPS 286375 HAS SOUS 243390 HAS SOUPS 243390 WITH SCORE 243676.375
AT ITER 3110 NEW BEST:: SOT 427168 SOS 286691 HAS SOPS 286691 HAS SOUS 243376 HAS SOUPS 243376 WITH SCORE 243662.691
AT ITER 3114 NEW BEST:: SOT 427168 SOS 286681 HAS SOPS 286681 HAS SOUS 243366 HAS SOUPS 243366 WITH SCORE 243652.681
AT ITER 3119 NEW BEST:: SOT 427167 SOS 286680 HAS SOPS 286680 HAS SOUS 243365 HAS SOUPS 243365 WITH SCORE 243651.68
AT ITER 3127 NEW BEST:: SOT 427112 SOS 286625 HAS SOPS 286625 HAS SOUS 243310 HAS SOUPS 243310 WITH SCORE 243596.625
AT ITER 3131 NEW BEST:: SOT 427112 SOS 286625 HAS SOPS 286625 HAS SOUS 243299 HAS SOUPS 243299 WITH SCORE 243585.625
AT ITER 3159 NEW BEST:: SOT 426795 SOS 286308 HAS SOPS 286308 HAS SOUS 242982 HAS SOUPS 242982 WITH SCORE 243268.308
AT ITER 3185 NEW BEST:: SOT 426766 SOS 286265 HAS SOPS 286265 HAS SOUS 242953 HAS SOUPS 242953 WITH SCORE 243239.265
AT ITER 3196 NEW BEST:: SOT 426576 SOS 286066 HAS SOPS 286066 HAS SOUS 242748 HAS SOUPS 242748 WITH SCORE 243034.066
AT ITER 3226 NEW BEST:: SOT 427098 SOS 285867 HAS SOPS 285867 HAS SOUS 242680 HAS SOUPS 242680 WITH SCORE 242965.867
AT ITER 3316 NEW BEST:: SOT 427086 SOS 285812 HAS SOPS 285812 HAS SOUS 242668 HAS SOUPS 242668 WITH SCORE 242953.812
AT ITER 3335 NEW BEST:: SOT 427035 SOS 285761 HAS SOPS 285761 HAS SOUS 242617 HAS SOUPS 242617 WITH SCORE 242902.761
AT ITER 3364 NEW BEST:: SOT 427035 SOS 284392 HAS SOPS 284392 HAS SOUS 241727 HAS SOUPS 241727 WITH SCORE 242011.392
AT ITER 3381 NEW BEST:: SOT 426598 SOS 283955 HAS SOPS 283955 HAS SOUS 241290 HAS SOUPS 241290 WITH SCORE 241573.955
AT ITER 3417 NEW BEST:: SOT 426186 SOS 283543 HAS SOPS 283543 HAS SOUS 240878 HAS SOUPS 240878 WITH SCORE 241161.543
AT ITER 3435 NEW BEST:: SOT 426186 SOS 283504 HAS SOPS 283504 HAS SOUS 240878 HAS SOUPS 240878 WITH SCORE 241161.504
AT ITER 3450 NEW BEST:: SOT 426169 SOS 283487 HAS SOPS 283487 HAS SOUS 240861 HAS SOUPS 240861 WITH SCORE 241144.487
AT ITER 3469 NEW BEST:: SOT 426176 SOS 282196 HAS SOPS 282196 HAS SOUS 240534 HAS SOUPS 240534 WITH SCORE 240816.196
AT ITER 3499 NEW BEST:: SOT 426137 SOS 282174 HAS SOPS 282174 HAS SOUS 240512 HAS SOUPS 240512 WITH SCORE 240794.174
AT ITER 3500 NEW BEST:: SOT 426137 SOS 282002 HAS SOPS 282002 HAS SOUS 240317 HAS SOUPS 240317 WITH SCORE 240599.002
AT ITER 3539 NEW BEST:: SOT 426261 SOS 281612 HAS SOPS 281612 HAS SOUS 240184 HAS SOUPS 240184 WITH SCORE 240465.612
AT ITER 3556 NEW BEST:: SOT 426261 SOS 281408 HAS SOPS 281408 HAS SOUS 239980 HAS SOUPS 239980 WITH SCORE 240261.408
AT ITER 3560 NEW BEST:: SOT 426224 SOS 281371 HAS SOPS 281371 HAS SOUS 239943 HAS SOUPS 239943 WITH SCORE 240224.371
AT ITER 3588 NEW BEST:: SOT 426224 SOS 281353 HAS SOPS 281353 HAS SOUS 239925 HAS SOUPS 239925 WITH SCORE 240206.353
AT ITER 3602 NEW BEST:: SOT 426224 SOS 254739 HAS SOPS 254739 HAS SOUS 239139 HAS SOUPS 239139 WITH SCORE 239393.739
AT ITER 3609 NEW BEST:: SOT 426224 SOS 254095 HAS SOPS 254095 HAS SOUS 238686 HAS SOUPS 238686 WITH SCORE 238940.095
AT ITER 3626 NEW BEST:: SOT 426206 SOS 254077 HAS SOPS 254077 HAS SOUS 238668 HAS SOUPS 238668 WITH SCORE 238922.077
AT ITER 3628 NEW BEST:: SOT 426357 SOS 253888 HAS SOPS 253888 HAS SOUS 238649 HAS SOUPS 238649 WITH SCORE 238902.888
AT ITER 3677 NEW BEST:: SOT 426262 SOS 253793 HAS SOPS 253793 HAS SOUS 238554 HAS SOUPS 238554 WITH SCORE 238807.793
AT ITER 3685 NEW BEST:: SOT 426174 SOS 253705 HAS SOPS 253705 HAS SOUS 238466 HAS SOUPS 238466 WITH SCORE 238719.705
AT ITER 3703 NEW BEST:: SOT 426174 SOS 253701 HAS SOPS 253701 HAS SOUS 238462 HAS SOUPS 238462 WITH SCORE 238715.701
AT ITER 3721 NEW BEST:: SOT 426174 SOS 253684 HAS SOPS 253684 HAS SOUS 238419 HAS SOUPS 238419 WITH SCORE 238672.684
AT ITER 3761 NEW BEST:: SOT 426164 SOS 253674 HAS SOPS 253674 HAS SOUS 238409 HAS SOUPS 238409 WITH SCORE 238662.674
AT ITER 3785 NEW BEST:: SOT 426108 SOS 253618 HAS SOPS 253618 HAS SOUS 238353 HAS SOUPS 238353 WITH SCORE 238606.618
AT ITER 3786 NEW BEST:: SOT 427155 SOS 253614 HAS SOPS 253614 HAS SOUS 238349 HAS SOUPS 238349 WITH SCORE 238602.614
AT ITER 3810 NEW BEST:: SOT 427154 SOS 253613 HAS SOPS 253613 HAS SOUS 238348 HAS SOUPS 238348 WITH SCORE 238601.613
AT ITER 3833 NEW BEST:: SOT 427154 SOS 253367 HAS SOPS 253367 HAS SOUS 238102 HAS SOUPS 238102 WITH SCORE 238355.367
AT ITER 3933 NEW BEST:: SOT 427079 SOS 253292 HAS SOPS 253292 HAS SOUS 238102 HAS SOUPS 238102 WITH SCORE 238355.292
AT ITER 3949 NEW BEST:: SOT 427079 SOS 253277 HAS SOPS 253277 HAS SOUS 238087 HAS SOUPS 238087 WITH SCORE 238340.277
AT ITER 3959 NEW BEST:: SOT 427159 SOS 253292 HAS SOPS 253292 HAS SOUS 238022 HAS SOUPS 238022 WITH SCORE 238275.292
AT ITER 4007 NEW BEST:: SOT 427093 SOS 253226 HAS SOPS 253226 HAS SOUS 237956 HAS SOUPS 237956 WITH SCORE 238209.226
AT ITER 4022 NEW BEST:: SOT 427079 SOS 253212 HAS SOPS 253212 HAS SOUS 237942 HAS SOUPS 237942 WITH SCORE 238195.212
AT ITER 4056 NEW BEST:: SOT 427079 SOS 253195 HAS SOPS 253195 HAS SOUS 237925 HAS SOUPS 237925 WITH SCORE 238178.195
AT ITER 4073 NEW BEST:: SOT 427079 SOS 253194 HAS SOPS 253194 HAS SOUS 237924 HAS SOUPS 237924 WITH SCORE 238177.194
AT ITER 4077 NEW BEST:: SOT 427249 SOS 252274 HAS SOPS 252274 HAS SOUS 237549 HAS SOUPS 237549 WITH SCORE 237801.274
AT ITER 4161 NEW BEST:: SOT 427466 SOS 252233 HAS SOPS 252233 HAS SOUS 237508 HAS SOUPS 237508 WITH SCORE 237760.233
AT ITER 4201 NEW BEST:: SOT 427684 SOS 251247 HAS SOPS 251247 HAS SOUS 236611 HAS SOUPS 236611 WITH SCORE 236862.247
AT ITER 4283 NEW BEST:: SOT 427684 SOS 251247 HAS SOPS 251247 HAS SOUS 236593 HAS SOUPS 236593 WITH SCORE 236844.247
AT ITER 4318 NEW BEST:: SOT 428455 SOS 251169 HAS SOPS 251169 HAS SOUS 236545 HAS SOUPS 236545 WITH SCORE 236796.169
AT ITER 4331 NEW BEST:: SOT 428477 SOS 249177 HAS SOPS 249177 HAS SOUS 235650 HAS SOUPS 235650 WITH SCORE 235899.177
AT ITER 4357 NEW BEST:: SOT 428782 SOS 249415 HAS SOPS 249415 HAS SOUS 235583 HAS SOUPS 235583 WITH SCORE 235832.415
AT ITER 4359 NEW BEST:: SOT 429905 SOS 249224 HAS SOPS 249224 HAS SOUS 235531 HAS SOUPS 235531 WITH SCORE 235780.224
AT ITER 4370 NEW BEST:: SOT 430198 SOS 249178 HAS SOPS 249178 HAS SOUS 235503 HAS SOUPS 235503 WITH SCORE 235752.178
AT ITER 4389 NEW BEST:: SOT 430158 SOS 249138 HAS SOPS 249138 HAS SOUS 235463 HAS SOUPS 235463 WITH SCORE 235712.138
AT ITER 4509 NEW BEST:: SOT 431037 SOS 249111 HAS SOPS 249111 HAS SOUS 235463 HAS SOUPS 235463 WITH SCORE 235712.111
AT ITER 4577 NEW BEST:: SOT 431037 SOS 248852 HAS SOPS 248852 HAS SOUS 235204 HAS SOUPS 235204 WITH SCORE 235452.852
AT ITER 4633 NEW BEST:: SOT 431037 SOS 248841 HAS SOPS 248841 HAS SOUS 235193 HAS SOUPS 235193 WITH SCORE 235441.841
AT ITER 4651 NEW BEST:: SOT 431037 SOS 248186 HAS SOPS 248186 HAS SOUS 234862 HAS SOUPS 234862 WITH SCORE 235110.186
AT ITER 4653 NEW BEST:: SOT 431020 SOS 248169 HAS SOPS 248169 HAS SOUS 234845 HAS SOUPS 234845 WITH SCORE 235093.169
AT ITER 4685 NEW BEST:: SOT 431028 SOS 248161 HAS SOPS 248161 HAS SOUS 234837 HAS SOUPS 234837 WITH SCORE 235085.161
AT ITER 4845 NEW BEST:: SOT 431022 SOS 248155 HAS SOPS 248155 HAS SOUS 234831 HAS SOUPS 234831 WITH SCORE 235079.155
AT ITER 4889 NEW BEST:: SOT 431022 SOS 248147 HAS SOPS 248147 HAS SOUS 234823 HAS SOUPS 234823 WITH SCORE 235071.147
AT ITER 4942 NEW BEST:: SOT 430984 SOS 248150 HAS SOPS 248150 HAS SOUS 234785 HAS SOUPS 234785 WITH SCORE 235033.15
AT ITER 4949 NEW BEST:: SOT 430984 SOS 248085 HAS SOPS 248085 HAS SOUS 234720 HAS SOUPS 234720 WITH SCORE 234968.085
AT ITER 5015 NEW BEST:: SOT 431008 SOS 248084 HAS SOPS 248084 HAS SOUS 234719 HAS SOUPS 234719 WITH SCORE 234967.084
AT ITER 5019 NEW BEST:: SOT 431007 SOS 248083 HAS SOPS 248083 HAS SOUS 234718 HAS SOUPS 234718 WITH SCORE 234966.083
AT ITER 5055 NEW BEST:: SOT 431004 SOS 248080 HAS SOPS 248080 HAS SOUS 234715 HAS SOUPS 234715 WITH SCORE 234963.08
AT ITER 5081 NEW BEST:: SOT 430871 SOS 247956 HAS SOPS 247956 HAS SOUS 234714 HAS SOUPS 234714 WITH SCORE 234961.956
AT ITER 5169 NEW BEST:: SOT 430871 SOS 247939 HAS SOPS 247939 HAS SOUS 234697 HAS SOUPS 234697 WITH SCORE 234944.939
AT ITER 5209 NEW BEST:: SOT 430871 SOS 247857 HAS SOPS 247857 HAS SOUS 234615 HAS SOUPS 234615 WITH SCORE 234862.857
AT ITER 5253 NEW BEST:: SOT 430587 SOS 247573 HAS SOPS 247573 HAS SOUS 234331 HAS SOUPS 234331 WITH SCORE 234578.573
AT ITER 5285 NEW BEST:: SOT 430515 SOS 247572 HAS SOPS 247572 HAS SOUS 234330 HAS SOUPS 234330 WITH SCORE 234577.572
AT ITER 5290 NEW BEST:: SOT 430515 SOS 247538 HAS SOPS 247538 HAS SOUS 234296 HAS SOUPS 234296 WITH SCORE 234543.538
AT ITER 5345 NEW BEST:: SOT 430522 SOS 247538 HAS SOPS 247538 HAS SOUS 234289 HAS SOUPS 234289 WITH SCORE 234536.538
AT ITER 5348 NEW BEST:: SOT 430522 SOS 247506 HAS SOPS 247506 HAS SOUS 234257 HAS SOUPS 234257 WITH SCORE 234504.506
AT ITER 5350 NEW BEST:: SOT 430522 SOS 247499 HAS SOPS 247499 HAS SOUS 234250 HAS SOUPS 234250 WITH SCORE 234497.499
AT ITER 5354 NEW BEST:: SOT 430743 SOS 247254 HAS SOPS 247254 HAS SOUS 234005 HAS SOUPS 234005 WITH SCORE 234252.254
AT ITER 5383 NEW BEST:: SOT 430743 SOS 246126 HAS SOPS 246126 HAS SOUS 233644 HAS SOUPS 233644 WITH SCORE 233890.126
AT ITER 5428 NEW BEST:: SOT 430693 SOS 246076 HAS SOPS 246076 HAS SOUS 233594 HAS SOUPS 233594 WITH SCORE 233840.076
AT ITER 5470 NEW BEST:: SOT 430489 SOS 245872 HAS SOPS 245872 HAS SOUS 233390 HAS SOUPS 233390 WITH SCORE 233635.872
AT ITER 5595 NEW BEST:: SOT 430489 SOS 245265 HAS SOPS 245265 HAS SOUS 233084 HAS SOUPS 233084 WITH SCORE 233329.265
AT ITER 5603 NEW BEST:: SOT 430489 SOS 245264 HAS SOPS 245264 HAS SOUS 233083 HAS SOUPS 233083 WITH SCORE 233328.264
AT ITER 5612 NEW BEST:: SOT 430489 SOS 245107 HAS SOPS 245107 HAS SOUS 232926 HAS SOUPS 232926 WITH SCORE 233171.107
AT ITER 5640 NEW BEST:: SOT 430485 SOS 243430 HAS SOPS 243430 HAS SOUS 232249 HAS SOUPS 232249 WITH SCORE 232492.43
AT ITER 5644 NEW BEST:: SOT 430471 SOS 243416 HAS SOPS 243416 HAS SOUS 232235 HAS SOUPS 232235 WITH SCORE 232478.416
AT ITER 5664 NEW BEST:: SOT 430471 SOS 243395 HAS SOPS 243395 HAS SOUS 232214 HAS SOUPS 232214 WITH SCORE 232457.395
AT ITER 5692 NEW BEST:: SOT 430471 SOS 243210 HAS SOPS 243210 HAS SOUS 232029 HAS SOUPS 232029 WITH SCORE 232272.21
AT ITER 5703 NEW BEST:: SOT 430471 SOS 242859 HAS SOPS 242859 HAS SOUS 231678 HAS SOUPS 231678 WITH SCORE 231920.859
AT ITER 5747 NEW BEST:: SOT 430471 SOS 242836 HAS SOPS 242836 HAS SOUS 231655 HAS SOUPS 231655 WITH SCORE 231897.836
AT ITER 5770 NEW BEST:: SOT 430453 SOS 242718 HAS SOPS 242718 HAS SOUS 231637 HAS SOUPS 231637 WITH SCORE 231879.718
AT ITER 5787 NEW BEST:: SOT 430453 SOS 242592 HAS SOPS 242592 HAS SOUS 231581 HAS SOUPS 231581 WITH SCORE 231823.592
AT ITER 5792 NEW BEST:: SOT 430414 SOS 242553 HAS SOPS 242553 HAS SOUS 231542 HAS SOUPS 231542 WITH SCORE 231784.553
AT ITER 5819 NEW BEST:: SOT 430176 SOS 242315 HAS SOPS 242315 HAS SOUS 231440 HAS SOUPS 231440 WITH SCORE 231682.315
AT ITER 5854 NEW BEST:: SOT 430159 SOS 242298 HAS SOPS 242298 HAS SOUS 231423 HAS SOUPS 231423 WITH SCORE 231665.298
AT ITER 5936 NEW BEST:: SOT 430158 SOS 242297 HAS SOPS 242297 HAS SOUS 231422 HAS SOUPS 231422 WITH SCORE 231664.297
AT ITER 5989 NEW BEST:: SOT 430014 SOS 242225 HAS SOPS 242225 HAS SOUS 231422 HAS SOUPS 231422 WITH SCORE 231664.225
AT ITER 5995 NEW BEST:: SOT 430016 SOS 242212 HAS SOPS 242212 HAS SOUS 231409 HAS SOUPS 231409 WITH SCORE 231651.212
AT ITER 6002 NEW BEST:: SOT 430268 SOS 242190 HAS SOPS 242190 HAS SOUS 231387 HAS SOUPS 231387 WITH SCORE 231629.19
AT ITER 6023 NEW BEST:: SOT 430260 SOS 242182 HAS SOPS 242182 HAS SOUS 231379 HAS SOUPS 231379 WITH SCORE 231621.182
AT ITER 6047 NEW BEST:: SOT 430255 SOS 242177 HAS SOPS 242177 HAS SOUS 231374 HAS SOUPS 231374 WITH SCORE 231616.177
AT ITER 6076 NEW BEST:: SOT 430410 SOS 242154 HAS SOPS 242154 HAS SOUS 231351 HAS SOUPS 231351 WITH SCORE 231593.154
AT ITER 6117 NEW BEST:: SOT 430522 SOS 241676 HAS SOPS 241676 HAS SOUS 231168 HAS SOUPS 231168 WITH SCORE 231409.676
AT ITER 6142 NEW BEST:: SOT 431441 SOS 241615 HAS SOPS 241615 HAS SOUS 231126 HAS SOUPS 231126 WITH SCORE 231367.615
AT ITER 6147 NEW BEST:: SOT 431437 SOS 241611 HAS SOPS 241611 HAS SOUS 231122 HAS SOUPS 231122 WITH SCORE 231363.611
AT ITER 6168 NEW BEST:: SOT 431500 SOS 241667 HAS SOPS 241667 HAS SOUS 231115 HAS SOUPS 231115 WITH SCORE 231356.667
AT ITER 6185 NEW BEST:: SOT 431500 SOS 241667 HAS SOPS 241667 HAS SOUS 231068 HAS SOUPS 231068 WITH SCORE 231309.667
AT ITER 6191 NEW BEST:: SOT 431499 SOS 241666 HAS SOPS 241666 HAS SOUS 231067 HAS SOUPS 231067 WITH SCORE 231308.666
AT ITER 6213 NEW BEST:: SOT 431576 SOS 240397 HAS SOPS 240397 HAS SOUS 230471 HAS SOUPS 230471 WITH SCORE 230711.397
AT ITER 6278 NEW BEST:: SOT 431457 SOS 240278 HAS SOPS 240278 HAS SOUS 230352 HAS SOUPS 230352 WITH SCORE 230592.278
AT ITER 6294 NEW BEST:: SOT 431458 SOS 240278 HAS SOPS 240278 HAS SOUS 230351 HAS SOUPS 230351 WITH SCORE 230591.278
AT ITER 6310 NEW BEST:: SOT 431584 SOS 240319 HAS SOPS 240319 HAS SOUS 230272 HAS SOUPS 230272 WITH SCORE 230512.319
AT ITER 6322 NEW BEST:: SOT 431726 SOS 240316 HAS SOPS 240316 HAS SOUS 230269 HAS SOUPS 230269 WITH SCORE 230509.316
AT ITER 6342 NEW BEST:: SOT 431690 SOS 240280 HAS SOPS 240280 HAS SOUS 230233 HAS SOUPS 230233 WITH SCORE 230473.28
AT ITER 6375 NEW BEST:: SOT 431678 SOS 240268 HAS SOPS 240268 HAS SOUS 230221 HAS SOUPS 230221 WITH SCORE 230461.268
AT ITER 6382 NEW BEST:: SOT 431678 SOS 240287 HAS SOPS 240287 HAS SOUS 230191 HAS SOUPS 230191 WITH SCORE 230431.287
AT ITER 6385 NEW BEST:: SOT 431850 SOS 239989 HAS SOPS 239989 HAS SOUS 230128 HAS SOUPS 230128 WITH SCORE 230367.989
AT ITER 6391 NEW BEST:: SOT 431850 SOS 239989 HAS SOPS 239989 HAS SOUS 230105 HAS SOUPS 230105 WITH SCORE 230344.989
AT ITER 6397 NEW BEST:: SOT 431833 SOS 239972 HAS SOPS 239972 HAS SOUS 230088 HAS SOUPS 230088 WITH SCORE 230327.972
AT ITER 6407 NEW BEST:: SOT 431833 SOS 239962 HAS SOPS 239962 HAS SOUS 230078 HAS SOUPS 230078 WITH SCORE 230317.962
AT ITER 6468 NEW BEST:: SOT 431833 SOS 239949 HAS SOPS 239949 HAS SOUS 230065 HAS SOUPS 230065 WITH SCORE 230304.949
AT ITER 6472 NEW BEST:: SOT 431670 SOS 239786 HAS SOPS 239786 HAS SOUS 229902 HAS SOUPS 229902 WITH SCORE 230141.786
AT ITER 6499 NEW BEST:: SOT 431670 SOS 239586 HAS SOPS 239586 HAS SOUS 229802 HAS SOUPS 229802 WITH SCORE 230041.586
AT ITER 6539 NEW BEST:: SOT 431425 SOS 239333 HAS SOPS 239333 HAS SOUS 229549 HAS SOUPS 229549 WITH SCORE 229788.333
AT ITER 6551 NEW BEST:: SOT 431421 SOS 239329 HAS SOPS 239329 HAS SOUS 229545 HAS SOUPS 229545 WITH SCORE 229784.329
AT ITER 6591 NEW BEST:: SOT 431665 SOS 238895 HAS SOPS 238895 HAS SOUS 229450 HAS SOUPS 229450 WITH SCORE 229688.895
AT ITER 6614 NEW BEST:: SOT 431780 SOS 238750 HAS SOPS 238750 HAS SOUS 229435 HAS SOUPS 229435 WITH SCORE 229673.75
AT ITER 6806 NEW BEST:: SOT 431776 SOS 238746 HAS SOPS 238746 HAS SOUS 229431 HAS SOUPS 229431 WITH SCORE 229669.746
AT ITER 6834 NEW BEST:: SOT 431506 SOS 238476 HAS SOPS 238476 HAS SOUS 229161 HAS SOUPS 229161 WITH SCORE 229399.476
AT ITER 6852 NEW BEST:: SOT 431506 SOS 238443 HAS SOPS 238443 HAS SOUS 229128 HAS SOUPS 229128 WITH SCORE 229366.443
AT ITER 6853 NEW BEST:: SOT 431498 SOS 238435 HAS SOPS 238435 HAS SOUS 229120 HAS SOUPS 229120 WITH SCORE 229358.435
AT ITER 6879 NEW BEST:: SOT 431459 SOS 238396 HAS SOPS 238396 HAS SOUS 229081 HAS SOUPS 229081 WITH SCORE 229319.396
AT ITER 6893 NEW BEST:: SOT 431459 SOS 238294 HAS SOPS 238294 HAS SOUS 228979 HAS SOUPS 228979 WITH SCORE 229217.294
AT ITER 6897 NEW BEST:: SOT 431457 SOS 238292 HAS SOPS 238292 HAS SOUS 228977 HAS SOUPS 228977 WITH SCORE 229215.292
AT ITER 6900 NEW BEST:: SOT 430868 SOS 237941 HAS SOPS 237941 HAS SOUS 228822 HAS SOUPS 228822 WITH SCORE 229059.941
AT ITER 6915 NEW BEST:: SOT 430868 SOS 237941 HAS SOPS 237941 HAS SOUS 228812 HAS SOUPS 228812 WITH SCORE 229049.941
AT ITER 6938 NEW BEST:: SOT 431321 SOS 237930 HAS SOPS 237930 HAS SOUS 228801 HAS SOUPS 228801 WITH SCORE 229038.93
AT ITER 6951 NEW BEST:: SOT 431313 SOS 237922 HAS SOPS 237922 HAS SOUS 228793 HAS SOUPS 228793 WITH SCORE 229030.922
AT ITER 7007 NEW BEST:: SOT 431313 SOS 237892 HAS SOPS 237892 HAS SOUS 228763 HAS SOUPS 228763 WITH SCORE 229000.892
AT ITER 7012 NEW BEST:: SOT 431310 SOS 237886 HAS SOPS 237886 HAS SOUS 228757 HAS SOUPS 228757 WITH SCORE 228994.886
AT ITER 7068 NEW BEST:: SOT 431310 SOS 237867 HAS SOPS 237867 HAS SOUS 228738 HAS SOUPS 228738 WITH SCORE 228975.867
AT ITER 7092 NEW BEST:: SOT 431534 SOS 237355 HAS SOPS 237355 HAS SOUS 228594 HAS SOUPS 228594 WITH SCORE 228831.355
AT ITER 7104 NEW BEST:: SOT 431500 SOS 237321 HAS SOPS 237321 HAS SOUS 228560 HAS SOUPS 228560 WITH SCORE 228797.321
AT ITER 7204 NEW BEST:: SOT 431794 SOS 237278 HAS SOPS 237278 HAS SOUS 228517 HAS SOUPS 228517 WITH SCORE 228754.278
AT ITER 7275 NEW BEST:: SOT 431794 SOS 236604 HAS SOPS 236604 HAS SOUS 228180 HAS SOUPS 228180 WITH SCORE 228416.604
AT ITER 7350 NEW BEST:: SOT 431793 SOS 236622 HAS SOPS 236622 HAS SOUS 228168 HAS SOUPS 228168 WITH SCORE 228404.622
AT ITER 7354 NEW BEST:: SOT 431793 SOS 236604 HAS SOPS 236604 HAS SOUS 228150 HAS SOUPS 228150 WITH SCORE 228386.604
AT ITER 7454 NEW BEST:: SOT 431793 SOS 235731 HAS SOPS 235731 HAS SOUS 227741 HAS SOUPS 227741 WITH SCORE 227976.731
AT ITER 7476 NEW BEST:: SOT 431803 SOS 235297 HAS SOPS 235297 HAS SOUS 227529 HAS SOUPS 227529 WITH SCORE 227764.297
AT ITER 7513 NEW BEST:: SOT 431829 SOS 235321 HAS SOPS 235321 HAS SOUS 227382 HAS SOUPS 227382 WITH SCORE 227617.321
AT ITER 7554 NEW BEST:: SOT 432042 SOS 235052 HAS SOPS 235052 HAS SOUS 227354 HAS SOUPS 227354 WITH SCORE 227589.052
AT ITER 7566 NEW BEST:: SOT 431987 SOS 234997 HAS SOPS 234997 HAS SOUS 227299 HAS SOUPS 227299 WITH SCORE 227533.997
AT ITER 7618 NEW BEST:: SOT 431748 SOS 234979 HAS SOPS 234979 HAS SOUS 227281 HAS SOUPS 227281 WITH SCORE 227515.979
AT ITER 7641 NEW BEST:: SOT 431748 SOS 233724 HAS SOPS 233724 HAS SOUS 226632 HAS SOUPS 226632 WITH SCORE 226865.724
AT ITER 7719 NEW BEST:: SOT 431507 SOS 233483 HAS SOPS 233483 HAS SOUS 226632 HAS SOUPS 226632 WITH SCORE 226865.483
AT ITER 7791 NEW BEST:: SOT 431481 SOS 233457 HAS SOPS 233457 HAS SOUS 226606 HAS SOUPS 226606 WITH SCORE 226839.457
AT ITER 7799 NEW BEST:: SOT 431475 SOS 233451 HAS SOPS 233451 HAS SOUS 226600 HAS SOUPS 226600 WITH SCORE 226833.451
AT ITER 7834 NEW BEST:: SOT 431454 SOS 233430 HAS SOPS 233430 HAS SOUS 226579 HAS SOUPS 226579 WITH SCORE 226812.43
AT ITER 7852 NEW BEST:: SOT 430976 SOS 232955 HAS SOPS 232955 HAS SOUS 226095 HAS SOUPS 226095 WITH SCORE 226327.955
AT ITER 7861 NEW BEST:: SOT 431219 SOS 232444 HAS SOPS 232444 HAS SOUS 225961 HAS SOUPS 225961 WITH SCORE 226193.444
AT ITER 7863 NEW BEST:: SOT 431217 SOS 232442 HAS SOPS 232442 HAS SOUS 225959 HAS SOUPS 225959 WITH SCORE 226191.442
AT ITER 7899 NEW BEST:: SOT 431207 SOS 232432 HAS SOPS 232432 HAS SOUS 225949 HAS SOUPS 225949 WITH SCORE 226181.432
AT ITER 7908 NEW BEST:: SOT 431202 SOS 232427 HAS SOPS 232427 HAS SOUS 225944 HAS SOUPS 225944 WITH SCORE 226176.427
AT ITER 7940 NEW BEST:: SOT 431202 SOS 232043 HAS SOPS 232043 HAS SOUS 225680 HAS SOUPS 225680 WITH SCORE 225912.043
AT ITER 8045 NEW BEST:: SOT 431202 SOS 232038 HAS SOPS 232038 HAS SOUS 225675 HAS SOUPS 225675 WITH SCORE 225907.038
AT ITER 8046 NEW BEST:: SOT 431202 SOS 232034 HAS SOPS 232034 HAS SOUS 225671 HAS SOUPS 225671 WITH SCORE 225903.034
AT ITER 8179 NEW BEST:: SOT 431202 SOS 232026 HAS SOPS 232026 HAS SOUS 225663 HAS SOUPS 225663 WITH SCORE 225895.026
AT ITER 8183 NEW BEST:: SOT 431183 SOS 231985 HAS SOPS 231985 HAS SOUS 225622 HAS SOUPS 225622 WITH SCORE 225853.985
AT ITER 8264 NEW BEST:: SOT 431172 SOS 231974 HAS SOPS 231974 HAS SOUS 225611 HAS SOUPS 225611 WITH SCORE 225842.974
AT ITER 8392 NEW BEST:: SOT 431172 SOS 231974 HAS SOPS 231974 HAS SOUS 225585 HAS SOUPS 225585 WITH SCORE 225816.974
AT ITER 8406 NEW BEST:: SOT 431172 SOS 231949 HAS SOPS 231949 HAS SOUS 225560 HAS SOUPS 225560 WITH SCORE 225791.949
AT ITER 8410 NEW BEST:: SOT 431172 SOS 231929 HAS SOPS 231929 HAS SOUS 225540 HAS SOUPS 225540 WITH SCORE 225771.929
AT ITER 8413 NEW BEST:: SOT 431202 SOS 231907 HAS SOPS 231907 HAS SOUS 225518 HAS SOUPS 225518 WITH SCORE 225749.907
AT ITER 8425 NEW BEST:: SOT 431243 SOS 231866 HAS SOPS 231866 HAS SOUS 225518 HAS SOUPS 225518 WITH SCORE 225749.866
AT ITER 8433 NEW BEST:: SOT 431241 SOS 231864 HAS SOPS 231864 HAS SOUS 225516 HAS SOUPS 225516 WITH SCORE 225747.864
AT ITER 8442 NEW BEST:: SOT 431241 SOS 231848 HAS SOPS 231848 HAS SOUS 225500 HAS SOUPS 225500 WITH SCORE 225731.848
AT ITER 8475 NEW BEST:: SOT 431237 SOS 231844 HAS SOPS 231844 HAS SOUS 225496 HAS SOUPS 225496 WITH SCORE 225727.844
AT ITER 8514 NEW BEST:: SOT 431307 SOS 231774 HAS SOPS 231774 HAS SOUS 225496 HAS SOUPS 225496 WITH SCORE 225727.774
AT ITER 8536 NEW BEST:: SOT 431307 SOS 231750 HAS SOPS 231750 HAS SOUS 225472 HAS SOUPS 225472 WITH SCORE 225703.75
AT ITER 8563 NEW BEST:: SOT 431307 SOS 231743 HAS SOPS 231743 HAS SOUS 225465 HAS SOUPS 225465 WITH SCORE 225696.743
AT ITER 8630 NEW BEST:: SOT 431282 SOS 231718 HAS SOPS 231718 HAS SOUS 225440 HAS SOUPS 225440 WITH SCORE 225671.718
AT ITER 8664 NEW BEST:: SOT 431276 SOS 231712 HAS SOPS 231712 HAS SOUS 225434 HAS SOUPS 225434 WITH SCORE 225665.712
AT ITER 8672 NEW BEST:: SOT 431249 SOS 231685 HAS SOPS 231685 HAS SOUS 225407 HAS SOUPS 225407 WITH SCORE 225638.685
AT ITER 8695 NEW BEST:: SOT 431164 SOS 231600 HAS SOPS 231600 HAS SOUS 225322 HAS SOUPS 225322 WITH SCORE 225553.6
AT ITER 8696 NEW BEST:: SOT 431160 SOS 231596 HAS SOPS 231596 HAS SOUS 225318 HAS SOUPS 225318 WITH SCORE 225549.596
AT ITER 8718 NEW BEST:: SOT 431160 SOS 231653 HAS SOPS 231653 HAS SOUS 225305 HAS SOUPS 225305 WITH SCORE 225536.653
AT ITER 8728 NEW BEST:: SOT 431160 SOS 231565 HAS SOPS 231565 HAS SOUS 225217 HAS SOUPS 225217 WITH SCORE 225448.565
AT ITER 8781 NEW BEST:: SOT 431160 SOS 231538 HAS SOPS 231538 HAS SOUS 225190 HAS SOUPS 225190 WITH SCORE 225421.538
AT ITER 8868 NEW BEST:: SOT 431159 SOS 231537 HAS SOPS 231537 HAS SOUS 225189 HAS SOUPS 225189 WITH SCORE 225420.537
AT ITER 8879 NEW BEST:: SOT 431129 SOS 231507 HAS SOPS 231507 HAS SOUS 225159 HAS SOUPS 225159 WITH SCORE 225390.507
AT ITER 8932 NEW BEST:: SOT 431445 SOS 231285 HAS SOPS 231285 HAS SOUS 225118 HAS SOUPS 225118 WITH SCORE 225349.285
AT ITER 8939 NEW BEST:: SOT 431445 SOS 231279 HAS SOPS 231279 HAS SOUS 225112 HAS SOUPS 225112 WITH SCORE 225343.279
AT ITER 8957 NEW BEST:: SOT 431358 SOS 231261 HAS SOPS 231261 HAS SOUS 225094 HAS SOUPS 225094 WITH SCORE 225325.261
AT ITER 8990 NEW BEST:: SOT 431358 SOS 231250 HAS SOPS 231250 HAS SOUS 225083 HAS SOUPS 225083 WITH SCORE 225314.25
AT ITER 9049 NEW BEST:: SOT 431226 SOS 231118 HAS SOPS 231118 HAS SOUS 224951 HAS SOUPS 224951 WITH SCORE 225182.118
AT ITER 9053 NEW BEST:: SOT 431226 SOS 231059 HAS SOPS 231059 HAS SOUS 224892 HAS SOUPS 224892 WITH SCORE 225123.059
AT ITER 9071 NEW BEST:: SOT 431226 SOS 231058 HAS SOPS 231058 HAS SOUS 224891 HAS SOUPS 224891 WITH SCORE 225122.058
AT ITER 9082 NEW BEST:: SOT 431237 SOS 230520 HAS SOPS 230520 HAS SOUS 224353 HAS SOUPS 224353 WITH SCORE 224583.52
AT ITER 9108 NEW BEST:: SOT 431314 SOS 230413 HAS SOPS 230413 HAS SOUS 224338 HAS SOUPS 224338 WITH SCORE 224568.413
AT ITER 9160 NEW BEST:: SOT 431267 SOS 230366 HAS SOPS 230366 HAS SOUS 224291 HAS SOUPS 224291 WITH SCORE 224521.366
AT ITER 9178 NEW BEST:: SOT 431267 SOS 230352 HAS SOPS 230352 HAS SOUS 224277 HAS SOUPS 224277 WITH SCORE 224507.352
AT ITER 9189 NEW BEST:: SOT 431216 SOS 230352 HAS SOPS 230352 HAS SOUS 224226 HAS SOUPS 224226 WITH SCORE 224456.352
AT ITER 9258 NEW BEST:: SOT 431203 SOS 230339 HAS SOPS 230339 HAS SOUS 224213 HAS SOUPS 224213 WITH SCORE 224443.339
AT ITER 9278 NEW BEST:: SOT 431188 SOS 230324 HAS SOPS 230324 HAS SOUS 224198 HAS SOUPS 224198 WITH SCORE 224428.324
AT ITER 9282 NEW BEST:: SOT 431163 SOS 230299 HAS SOPS 230299 HAS SOUS 224173 HAS SOUPS 224173 WITH SCORE 224403.299
AT ITER 9337 NEW BEST:: SOT 431163 SOS 230282 HAS SOPS 230282 HAS SOUS 224156 HAS SOUPS 224156 WITH SCORE 224386.282
AT ITER 9359 NEW BEST:: SOT 431163 SOS 230267 HAS SOPS 230267 HAS SOUS 224141 HAS SOUPS 224141 WITH SCORE 224371.267
AT ITER 9375 NEW BEST:: SOT 431163 SOS 230252 HAS SOPS 230252 HAS SOUS 224126 HAS SOUPS 224126 WITH SCORE 224356.252
AT ITER 9462 NEW BEST:: SOT 431126 SOS 230215 HAS SOPS 230215 HAS SOUS 224089 HAS SOUPS 224089 WITH SCORE 224319.215
AT ITER 9556 NEW BEST:: SOT 431120 SOS 230209 HAS SOPS 230209 HAS SOUS 224083 HAS SOUPS 224083 WITH SCORE 224313.209
AT ITER 9604 NEW BEST:: SOT 431120 SOS 230191 HAS SOPS 230191 HAS SOUS 224065 HAS SOUPS 224065 WITH SCORE 224295.191
AT ITER 9625 NEW BEST:: SOT 431180 SOS 230191 HAS SOPS 230191 HAS SOUS 224005 HAS SOUPS 224005 WITH SCORE 224235.191
AT ITER 9819 NEW BEST:: SOT 431537 SOS 230153 HAS SOPS 230153 HAS SOUS 224005 HAS SOUPS 224005 WITH SCORE 224235.153
AT ITER 9825 NEW BEST:: SOT 431537 SOS 230139 HAS SOPS 230139 HAS SOUS 223991 HAS SOUPS 223991 WITH SCORE 224221.139
AT ITER 9852 NEW BEST:: SOT 431571 SOS 229668 HAS SOPS 229668 HAS SOUS 223520 HAS SOUPS 223520 WITH SCORE 223749.668
AT ITER 9873 NEW BEST:: SOT 431540 SOS 229637 HAS SOPS 229637 HAS SOUS 223489 HAS SOUPS 223489 WITH SCORE 223718.637
AT ITER 9960 NEW BEST:: SOT 431523 SOS 229623 HAS SOPS 229623 HAS SOUS 223475 HAS SOUPS 223475 WITH SCORE 223704.623
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 11102780 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16118096 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="QuasiCertifProtocol-PT-22"
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 QuasiCertifProtocol-PT-22, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r299-tall-167873953600896"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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