About the Execution of Smart+red for NoC3x3-PT-2B
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4556.056 | 3600000.00 | 3626783.00 | 8507.60 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r267-smll-167863541600256.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-2B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r267-smll-167863541600256
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 964K
-rw-r--r-- 1 mcc users 5.8K Feb 26 10:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 59K Feb 26 10:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 26 10:05 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 26 10:05 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:28 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:28 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:28 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 16:28 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 10:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 121K Feb 26 10:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.1K Feb 26 10:06 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 26 10:06 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:28 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 548K 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 1678816022711
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-2B
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 17:47:05] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 17:47:05] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 17:47:05] [INFO ] Load time of PNML (sax parser for PT used): 242 ms
[2023-03-14 17:47:05] [INFO ] Transformed 2003 places.
[2023-03-14 17:47:05] [INFO ] Transformed 2292 transitions.
[2023-03-14 17:47:05] [INFO ] Found NUPN structural information;
[2023-03-14 17:47:05] [INFO ] Parsed PT model containing 2003 places and 2292 transitions and 5835 arcs in 370 ms.
[2023-03-14 17:47:05] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 2003 places, 2292 transitions and 5835 arcs took 26 ms.
Total runtime 439 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 2B
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: 2003 places, 2292 transitions, 5835 arcs.
AT ITER 0 NEW BEST:: SOT 2472764 SOS 328184 HAS SOPS 328184 HAS SOUS 274863 HAS SOUPS 274863 WITH SCORE 275191.184
AT ITER 15 NEW BEST:: SOT 2472566 SOS 328109 HAS SOPS 328109 HAS SOUS 274705 HAS SOUPS 274705 WITH SCORE 275033.109
AT ITER 36 NEW BEST:: SOT 2472545 SOS 328067 HAS SOPS 328067 HAS SOUS 274681 HAS SOUPS 274681 WITH SCORE 275009.067
AT ITER 66 NEW BEST:: SOT 2472434 SOS 327896 HAS SOPS 327896 HAS SOUS 274459 HAS SOUPS 274459 WITH SCORE 274786.896
AT ITER 102 NEW BEST:: SOT 2471927 SOS 328890 HAS SOPS 328890 HAS SOUS 274214 HAS SOUPS 274214 WITH SCORE 274542.89
AT ITER 109 NEW BEST:: SOT 2471648 SOS 328724 HAS SOPS 328724 HAS SOUS 273934 HAS SOUPS 273934 WITH SCORE 274262.724
AT ITER 144 NEW BEST:: SOT 2471648 SOS 328655 HAS SOPS 328655 HAS SOUS 273925 HAS SOUPS 273925 WITH SCORE 274253.655
AT ITER 163 NEW BEST:: SOT 2471617 SOS 328599 HAS SOPS 328599 HAS SOUS 273869 HAS SOUPS 273869 WITH SCORE 274197.599
AT ITER 199 NEW BEST:: SOT 2471617 SOS 328599 HAS SOPS 328599 HAS SOUS 273868 HAS SOUPS 273868 WITH SCORE 274196.599
AT ITER 222 NEW BEST:: SOT 2471536 SOS 328725 HAS SOPS 328725 HAS SOUS 273826 HAS SOUPS 273826 WITH SCORE 274154.725
AT ITER 237 NEW BEST:: SOT 2471469 SOS 328665 HAS SOPS 328665 HAS SOUS 273794 HAS SOUPS 273794 WITH SCORE 274122.665
AT ITER 242 NEW BEST:: SOT 2471403 SOS 328427 HAS SOPS 328427 HAS SOUS 273561 HAS SOUPS 273561 WITH SCORE 273889.427
AT ITER 262 NEW BEST:: SOT 2471323 SOS 328258 HAS SOPS 328258 HAS SOUS 273477 HAS SOUPS 273477 WITH SCORE 273805.258
AT ITER 269 NEW BEST:: SOT 2471316 SOS 328463 HAS SOPS 328463 HAS SOUS 273309 HAS SOUPS 273309 WITH SCORE 273637.463
AT ITER 328 NEW BEST:: SOT 2471381 SOS 328488 HAS SOPS 328488 HAS SOUS 273238 HAS SOUPS 273238 WITH SCORE 273566.488
AT ITER 332 NEW BEST:: SOT 2471381 SOS 328424 HAS SOPS 328424 HAS SOUS 273174 HAS SOUPS 273174 WITH SCORE 273502.424
AT ITER 343 NEW BEST:: SOT 2471381 SOS 328421 HAS SOPS 328421 HAS SOUS 273141 HAS SOUPS 273141 WITH SCORE 273469.421
AT ITER 373 NEW BEST:: SOT 2471346 SOS 328351 HAS SOPS 328351 HAS SOUS 273141 HAS SOUPS 273141 WITH SCORE 273469.351
AT ITER 384 NEW BEST:: SOT 2471231 SOS 327546 HAS SOPS 327546 HAS SOUS 272911 HAS SOUPS 272911 WITH SCORE 273238.546
AT ITER 399 NEW BEST:: SOT 2471096 SOS 327276 HAS SOPS 327276 HAS SOUS 272771 HAS SOUPS 272771 WITH SCORE 273098.276
AT ITER 404 NEW BEST:: SOT 2471095 SOS 327274 HAS SOPS 327274 HAS SOUS 272769 HAS SOUPS 272769 WITH SCORE 273096.274
AT ITER 411 NEW BEST:: SOT 2470802 SOS 329346 HAS SOPS 329346 HAS SOUS 272752 HAS SOUPS 272752 WITH SCORE 273081.346
AT ITER 416 NEW BEST:: SOT 2470747 SOS 329336 HAS SOPS 329336 HAS SOUS 272696 HAS SOUPS 272696 WITH SCORE 273025.336
AT ITER 436 NEW BEST:: SOT 2470683 SOS 329339 HAS SOPS 329339 HAS SOUS 272568 HAS SOUPS 272568 WITH SCORE 272897.339
AT ITER 444 NEW BEST:: SOT 2470668 SOS 329309 HAS SOPS 329309 HAS SOUS 272370 HAS SOUPS 272370 WITH SCORE 272699.309
AT ITER 451 NEW BEST:: SOT 2470654 SOS 329231 HAS SOPS 329231 HAS SOUS 272342 HAS SOUPS 272342 WITH SCORE 272671.231
AT ITER 472 NEW BEST:: SOT 2470465 SOS 329042 HAS SOPS 329042 HAS SOUS 272197 HAS SOUPS 272197 WITH SCORE 272526.042
AT ITER 481 NEW BEST:: SOT 2470378 SOS 328694 HAS SOPS 328694 HAS SOUS 272023 HAS SOUPS 272023 WITH SCORE 272351.694
AT ITER 483 NEW BEST:: SOT 2470365 SOS 328668 HAS SOPS 328668 HAS SOUS 271997 HAS SOUPS 271997 WITH SCORE 272325.668
AT ITER 487 NEW BEST:: SOT 2470357 SOS 328661 HAS SOPS 328661 HAS SOUS 271840 HAS SOUPS 271840 WITH SCORE 272168.661
AT ITER 489 NEW BEST:: SOT 2470374 SOS 328695 HAS SOPS 328695 HAS SOUS 271790 HAS SOUPS 271790 WITH SCORE 272118.695
AT ITER 506 NEW BEST:: SOT 2470247 SOS 328307 HAS SOPS 328307 HAS SOUS 271532 HAS SOUPS 271532 WITH SCORE 271860.307
AT ITER 510 NEW BEST:: SOT 2470201 SOS 328293 HAS SOPS 328293 HAS SOUS 271523 HAS SOUPS 271523 WITH SCORE 271851.293
AT ITER 520 NEW BEST:: SOT 2469973 SOS 328065 HAS SOPS 328065 HAS SOUS 271295 HAS SOUPS 271295 WITH SCORE 271623.065
AT ITER 529 NEW BEST:: SOT 2469923 SOS 327658 HAS SOPS 327658 HAS SOUS 271170 HAS SOUPS 271170 WITH SCORE 271497.658
AT ITER 546 NEW BEST:: SOT 2469923 SOS 327658 HAS SOPS 327658 HAS SOUS 271166 HAS SOUPS 271166 WITH SCORE 271493.658
AT ITER 551 NEW BEST:: SOT 2469800 SOS 327521 HAS SOPS 327521 HAS SOUS 271043 HAS SOUPS 271043 WITH SCORE 271370.521
AT ITER 556 NEW BEST:: SOT 2469769 SOS 327490 HAS SOPS 327490 HAS SOUS 271012 HAS SOUPS 271012 WITH SCORE 271339.49
AT ITER 583 NEW BEST:: SOT 2469741 SOS 327409 HAS SOPS 327409 HAS SOUS 270959 HAS SOUPS 270959 WITH SCORE 271286.409
AT ITER 606 NEW BEST:: SOT 2469687 SOS 327093 HAS SOPS 327093 HAS SOUS 270773 HAS SOUPS 270773 WITH SCORE 271100.093
AT ITER 618 NEW BEST:: SOT 2469622 SOS 327096 HAS SOPS 327096 HAS SOUS 270707 HAS SOUPS 270707 WITH SCORE 271034.096
AT ITER 620 NEW BEST:: SOT 2469622 SOS 327058 HAS SOPS 327058 HAS SOUS 270707 HAS SOUPS 270707 WITH SCORE 271034.058
AT ITER 634 NEW BEST:: SOT 2469585 SOS 326984 HAS SOPS 326984 HAS SOUS 270672 HAS SOUPS 270672 WITH SCORE 270998.984
AT ITER 638 NEW BEST:: SOT 2469118 SOS 326887 HAS SOPS 326887 HAS SOUS 270205 HAS SOUPS 270205 WITH SCORE 270531.887
AT ITER 652 NEW BEST:: SOT 2469117 SOS 326885 HAS SOPS 326885 HAS SOUS 270203 HAS SOUPS 270203 WITH SCORE 270529.885
AT ITER 667 NEW BEST:: SOT 2469117 SOS 326867 HAS SOPS 326867 HAS SOUS 270202 HAS SOUPS 270202 WITH SCORE 270528.867
AT ITER 672 NEW BEST:: SOT 2469108 SOS 326858 HAS SOPS 326858 HAS SOUS 270193 HAS SOUPS 270193 WITH SCORE 270519.858
AT ITER 675 NEW BEST:: SOT 2469062 SOS 326812 HAS SOPS 326812 HAS SOUS 270147 HAS SOUPS 270147 WITH SCORE 270473.812
AT ITER 685 NEW BEST:: SOT 2469056 SOS 327313 HAS SOPS 327313 HAS SOUS 270135 HAS SOUPS 270135 WITH SCORE 270462.313
AT ITER 735 NEW BEST:: SOT 2468822 SOS 327238 HAS SOPS 327238 HAS SOUS 270126 HAS SOUPS 270126 WITH SCORE 270453.238
AT ITER 756 NEW BEST:: SOT 2468822 SOS 327186 HAS SOPS 327186 HAS SOUS 270091 HAS SOUPS 270091 WITH SCORE 270418.186
AT ITER 766 NEW BEST:: SOT 2468415 SOS 326798 HAS SOPS 326798 HAS SOUS 269703 HAS SOUPS 269703 WITH SCORE 270029.798
AT ITER 773 NEW BEST:: SOT 2468405 SOS 326778 HAS SOPS 326778 HAS SOUS 269699 HAS SOUPS 269699 WITH SCORE 270025.778
AT ITER 781 NEW BEST:: SOT 2468275 SOS 326386 HAS SOPS 326386 HAS SOUS 269364 HAS SOUPS 269364 WITH SCORE 269690.386
AT ITER 783 NEW BEST:: SOT 2468211 SOS 326162 HAS SOPS 326162 HAS SOUS 269297 HAS SOUPS 269297 WITH SCORE 269623.162
AT ITER 802 NEW BEST:: SOT 2468165 SOS 326024 HAS SOPS 326024 HAS SOUS 269250 HAS SOUPS 269250 WITH SCORE 269576.024
AT ITER 836 NEW BEST:: SOT 2468113 SOS 326094 HAS SOPS 326094 HAS SOUS 269245 HAS SOUPS 269245 WITH SCORE 269571.094
AT ITER 863 NEW BEST:: SOT 2467660 SOS 325640 HAS SOPS 325640 HAS SOUS 268791 HAS SOUPS 268791 WITH SCORE 269116.64
AT ITER 897 NEW BEST:: SOT 2467660 SOS 325502 HAS SOPS 325502 HAS SOUS 268791 HAS SOUPS 268791 WITH SCORE 269116.502
AT ITER 905 NEW BEST:: SOT 2467595 SOS 325481 HAS SOPS 325481 HAS SOUS 268742 HAS SOUPS 268742 WITH SCORE 269067.481
AT ITER 913 NEW BEST:: SOT 2467404 SOS 325098 HAS SOPS 325098 HAS SOUS 268549 HAS SOUPS 268549 WITH SCORE 268874.098
AT ITER 923 NEW BEST:: SOT 2467212 SOS 324950 HAS SOPS 324950 HAS SOUS 268357 HAS SOUPS 268357 WITH SCORE 268681.95
AT ITER 951 NEW BEST:: SOT 2467096 SOS 324718 HAS SOPS 324718 HAS SOUS 268354 HAS SOUPS 268354 WITH SCORE 268678.718
AT ITER 998 NEW BEST:: SOT 2467052 SOS 324625 HAS SOPS 324625 HAS SOUS 268015 HAS SOUPS 268015 WITH SCORE 268339.625
AT ITER 1021 NEW BEST:: SOT 2466207 SOS 324705 HAS SOPS 324705 HAS SOUS 267288 HAS SOUPS 267288 WITH SCORE 267612.705
AT ITER 1036 NEW BEST:: SOT 2465931 SOS 324645 HAS SOPS 324645 HAS SOUS 267063 HAS SOUPS 267063 WITH SCORE 267387.645
AT ITER 1051 NEW BEST:: SOT 2465931 SOS 324549 HAS SOPS 324549 HAS SOUS 267063 HAS SOUPS 267063 WITH SCORE 267387.549
AT ITER 1059 NEW BEST:: SOT 2465858 SOS 324306 HAS SOPS 324306 HAS SOUS 266819 HAS SOUPS 266819 WITH SCORE 267143.306
AT ITER 1134 NEW BEST:: SOT 2465775 SOS 324183 HAS SOPS 324183 HAS SOUS 266741 HAS SOUPS 266741 WITH SCORE 267065.183
AT ITER 1144 NEW BEST:: SOT 2465774 SOS 324181 HAS SOPS 324181 HAS SOUS 266739 HAS SOUPS 266739 WITH SCORE 267063.181
AT ITER 1150 NEW BEST:: SOT 2465398 SOS 324449 HAS SOPS 324449 HAS SOUS 266518 HAS SOUPS 266518 WITH SCORE 266842.449
AT ITER 1175 NEW BEST:: SOT 2465325 SOS 324303 HAS SOPS 324303 HAS SOUS 266281 HAS SOUPS 266281 WITH SCORE 266605.303
AT ITER 1192 NEW BEST:: SOT 2465245 SOS 324971 HAS SOPS 324971 HAS SOUS 266224 HAS SOUPS 266224 WITH SCORE 266548.971
AT ITER 1203 NEW BEST:: SOT 2465174 SOS 324853 HAS SOPS 324853 HAS SOUS 266188 HAS SOUPS 266188 WITH SCORE 266512.853
AT ITER 1207 NEW BEST:: SOT 2465162 SOS 324820 HAS SOPS 324820 HAS SOUS 266171 HAS SOUPS 266171 WITH SCORE 266495.82
AT ITER 1213 NEW BEST:: SOT 2465162 SOS 324763 HAS SOPS 324763 HAS SOUS 266167 HAS SOUPS 266167 WITH SCORE 266491.763
AT ITER 1242 NEW BEST:: SOT 2465096 SOS 324212 HAS SOPS 324212 HAS SOUS 265850 HAS SOUPS 265850 WITH SCORE 266174.212
AT ITER 1296 NEW BEST:: SOT 2465064 SOS 324019 HAS SOPS 324019 HAS SOUS 265710 HAS SOUPS 265710 WITH SCORE 266034.019
AT ITER 1314 NEW BEST:: SOT 2464861 SOS 323515 HAS SOPS 323515 HAS SOUS 265585 HAS SOUPS 265585 WITH SCORE 265908.515
AT ITER 1331 NEW BEST:: SOT 2464649 SOS 322667 HAS SOPS 322667 HAS SOUS 265161 HAS SOUPS 265161 WITH SCORE 265483.667
AT ITER 1335 NEW BEST:: SOT 2464439 SOS 322541 HAS SOPS 322541 HAS SOUS 264951 HAS SOUPS 264951 WITH SCORE 265273.541
AT ITER 1337 NEW BEST:: SOT 2464380 SOS 322423 HAS SOPS 322423 HAS SOUS 264899 HAS SOUPS 264899 WITH SCORE 265221.423
AT ITER 1357 NEW BEST:: SOT 2464380 SOS 322272 HAS SOPS 322272 HAS SOUS 264899 HAS SOUPS 264899 WITH SCORE 265221.272
AT ITER 1399 NEW BEST:: SOT 2464356 SOS 322200 HAS SOPS 322200 HAS SOUS 264851 HAS SOUPS 264851 WITH SCORE 265173.2
AT ITER 1428 NEW BEST:: SOT 2464332 SOS 322152 HAS SOPS 322152 HAS SOUS 264753 HAS SOUPS 264753 WITH SCORE 265075.152
AT ITER 1456 NEW BEST:: SOT 2464332 SOS 322127 HAS SOPS 322127 HAS SOUS 264753 HAS SOUPS 264753 WITH SCORE 265075.127
AT ITER 1459 NEW BEST:: SOT 2464248 SOS 321784 HAS SOPS 321784 HAS SOUS 264452 HAS SOUPS 264452 WITH SCORE 264773.784
AT ITER 1565 NEW BEST:: SOT 2464004 SOS 322801 HAS SOPS 322801 HAS SOUS 264355 HAS SOUPS 264355 WITH SCORE 264677.801
AT ITER 1653 NEW BEST:: SOT 2464003 SOS 322800 HAS SOPS 322800 HAS SOUS 264353 HAS SOUPS 264353 WITH SCORE 264675.8
AT ITER 1683 NEW BEST:: SOT 2463987 SOS 322787 HAS SOPS 322787 HAS SOUS 264339 HAS SOUPS 264339 WITH SCORE 264661.787
AT ITER 1707 NEW BEST:: SOT 2463896 SOS 322605 HAS SOPS 322605 HAS SOUS 264337 HAS SOUPS 264337 WITH SCORE 264659.605
AT ITER 1811 NEW BEST:: SOT 2463869 SOS 322661 HAS SOPS 322661 HAS SOUS 264283 HAS SOUPS 264283 WITH SCORE 264605.661
AT ITER 1828 NEW BEST:: SOT 2463611 SOS 322585 HAS SOPS 322585 HAS SOUS 264029 HAS SOUPS 264029 WITH SCORE 264351.585
AT ITER 1875 NEW BEST:: SOT 2463577 SOS 322551 HAS SOPS 322551 HAS SOUS 263995 HAS SOUPS 263995 WITH SCORE 264317.551
AT ITER 1910 NEW BEST:: SOT 2463577 SOS 322533 HAS SOPS 322533 HAS SOUS 263977 HAS SOUPS 263977 WITH SCORE 264299.533
AT ITER 1935 NEW BEST:: SOT 2463506 SOS 322462 HAS SOPS 322462 HAS SOUS 263906 HAS SOUPS 263906 WITH SCORE 264228.462
AT ITER 1938 NEW BEST:: SOT 2463506 SOS 322462 HAS SOPS 322462 HAS SOUS 263905 HAS SOUPS 263905 WITH SCORE 264227.462
AT ITER 1946 NEW BEST:: SOT 2463427 SOS 322067 HAS SOPS 322067 HAS SOUS 263676 HAS SOUPS 263676 WITH SCORE 263998.067
AT ITER 1965 NEW BEST:: SOT 2462764 SOS 321820 HAS SOPS 321820 HAS SOUS 263099 HAS SOUPS 263099 WITH SCORE 263420.82
AT ITER 1973 NEW BEST:: SOT 2462755 SOS 321802 HAS SOPS 321802 HAS SOUS 263088 HAS SOUPS 263088 WITH SCORE 263409.802
AT ITER 2009 NEW BEST:: SOT 2462657 SOS 321617 HAS SOPS 321617 HAS SOUS 263063 HAS SOUPS 263063 WITH SCORE 263384.617
AT ITER 2052 NEW BEST:: SOT 2462018 SOS 321558 HAS SOPS 321558 HAS SOUS 262631 HAS SOUPS 262631 WITH SCORE 262952.558
AT ITER 2053 NEW BEST:: SOT 2462026 SOS 321564 HAS SOPS 321564 HAS SOUS 262629 HAS SOUPS 262629 WITH SCORE 262950.564
AT ITER 2065 NEW BEST:: SOT 2462115 SOS 321652 HAS SOPS 321652 HAS SOUS 262627 HAS SOUPS 262627 WITH SCORE 262948.652
AT ITER 2111 NEW BEST:: SOT 2462084 SOS 321559 HAS SOPS 321559 HAS SOUS 262559 HAS SOUPS 262559 WITH SCORE 262880.559
AT ITER 2122 NEW BEST:: SOT 2462049 SOS 321524 HAS SOPS 321524 HAS SOUS 262515 HAS SOUPS 262515 WITH SCORE 262836.524
AT ITER 2124 NEW BEST:: SOT 2462018 SOS 321493 HAS SOPS 321493 HAS SOUS 262514 HAS SOUPS 262514 WITH SCORE 262835.493
AT ITER 2192 NEW BEST:: SOT 2461956 SOS 321338 HAS SOPS 321338 HAS SOUS 262421 HAS SOUPS 262421 WITH SCORE 262742.338
AT ITER 2241 NEW BEST:: SOT 2461884 SOS 321148 HAS SOPS 321148 HAS SOUS 262277 HAS SOUPS 262277 WITH SCORE 262598.148
AT ITER 2265 NEW BEST:: SOT 2461841 SOS 321126 HAS SOPS 321126 HAS SOUS 262234 HAS SOUPS 262234 WITH SCORE 262555.126
AT ITER 2300 NEW BEST:: SOT 2461855 SOS 321154 HAS SOPS 321154 HAS SOUS 262213 HAS SOUPS 262213 WITH SCORE 262534.154
AT ITER 2345 NEW BEST:: SOT 2461884 SOS 321017 HAS SOPS 321017 HAS SOUS 262129 HAS SOUPS 262129 WITH SCORE 262450.017
AT ITER 2391 NEW BEST:: SOT 2461860 SOS 320943 HAS SOPS 320943 HAS SOUS 262093 HAS SOUPS 262093 WITH SCORE 262413.943
AT ITER 2396 NEW BEST:: SOT 2461790 SOS 320835 HAS SOPS 320835 HAS SOUS 261953 HAS SOUPS 261953 WITH SCORE 262273.835
AT ITER 2433 NEW BEST:: SOT 2461790 SOS 320772 HAS SOPS 320772 HAS SOUS 261953 HAS SOUPS 261953 WITH SCORE 262273.772
AT ITER 2460 NEW BEST:: SOT 2461790 SOS 320762 HAS SOPS 320762 HAS SOUS 261949 HAS SOUPS 261949 WITH SCORE 262269.762
AT ITER 2468 NEW BEST:: SOT 2461790 SOS 320762 HAS SOPS 320762 HAS SOUS 261883 HAS SOUPS 261883 WITH SCORE 262203.762
AT ITER 2509 NEW BEST:: SOT 2461716 SOS 320518 HAS SOPS 320518 HAS SOUS 261760 HAS SOUPS 261760 WITH SCORE 262080.518
AT ITER 2541 NEW BEST:: SOT 2461666 SOS 320468 HAS SOPS 320468 HAS SOUS 261710 HAS SOUPS 261710 WITH SCORE 262030.468
AT ITER 2568 NEW BEST:: SOT 2461666 SOS 320429 HAS SOPS 320429 HAS SOUS 261705 HAS SOUPS 261705 WITH SCORE 262025.429
AT ITER 2610 NEW BEST:: SOT 2461665 SOS 320382 HAS SOPS 320382 HAS SOUS 261658 HAS SOUPS 261658 WITH SCORE 261978.382
AT ITER 2654 NEW BEST:: SOT 2461345 SOS 320381 HAS SOPS 320381 HAS SOUS 261337 HAS SOUPS 261337 WITH SCORE 261657.381
AT ITER 2688 NEW BEST:: SOT 2461345 SOS 320376 HAS SOPS 320376 HAS SOUS 261335 HAS SOUPS 261335 WITH SCORE 261655.376
AT ITER 2696 NEW BEST:: SOT 2459833 SOS 329153 HAS SOPS 329153 HAS SOUS 260374 HAS SOUPS 260374 WITH SCORE 260703.153
AT ITER 2701 NEW BEST:: SOT 2459832 SOS 329136 HAS SOPS 329136 HAS SOUS 260357 HAS SOUPS 260357 WITH SCORE 260686.136
AT ITER 2724 NEW BEST:: SOT 2459832 SOS 329136 HAS SOPS 329136 HAS SOUS 260356 HAS SOUPS 260356 WITH SCORE 260685.136
AT ITER 2726 NEW BEST:: SOT 2459347 SOS 328989 HAS SOPS 328989 HAS SOUS 259713 HAS SOUPS 259713 WITH SCORE 260041.989
AT ITER 2748 NEW BEST:: SOT 2459332 SOS 328974 HAS SOPS 328974 HAS SOUS 259713 HAS SOUPS 259713 WITH SCORE 260041.974
AT ITER 2760 NEW BEST:: SOT 2459330 SOS 329050 HAS SOPS 329050 HAS SOUS 259710 HAS SOUPS 259710 WITH SCORE 260039.05
AT ITER 2777 NEW BEST:: SOT 2458735 SOS 328748 HAS SOPS 328748 HAS SOUS 259325 HAS SOUPS 259325 WITH SCORE 259653.748
AT ITER 2783 NEW BEST:: SOT 2458340 SOS 328656 HAS SOPS 328656 HAS SOUS 259131 HAS SOUPS 259131 WITH SCORE 259459.656
AT ITER 2848 NEW BEST:: SOT 2458235 SOS 328605 HAS SOPS 328605 HAS SOUS 259026 HAS SOUPS 259026 WITH SCORE 259354.605
AT ITER 2874 NEW BEST:: SOT 2458200 SOS 328465 HAS SOPS 328465 HAS SOUS 258956 HAS SOUPS 258956 WITH SCORE 259284.465
AT ITER 2876 NEW BEST:: SOT 2458107 SOS 328186 HAS SOPS 328186 HAS SOUS 258950 HAS SOUPS 258950 WITH SCORE 259278.186
AT ITER 2922 NEW BEST:: SOT 2458226 SOS 328226 HAS SOPS 328226 HAS SOUS 258889 HAS SOUPS 258889 WITH SCORE 259217.226
AT ITER 2932 NEW BEST:: SOT 2458016 SOS 328134 HAS SOPS 328134 HAS SOUS 258843 HAS SOUPS 258843 WITH SCORE 259171.134
AT ITER 2975 NEW BEST:: SOT 2457971 SOS 328120 HAS SOPS 328120 HAS SOUS 258797 HAS SOUPS 258797 WITH SCORE 259125.12
AT ITER 3006 NEW BEST:: SOT 2457958 SOS 328081 HAS SOPS 328081 HAS SOUS 258771 HAS SOUPS 258771 WITH SCORE 259099.081
AT ITER 3029 NEW BEST:: SOT 2457928 SOS 328138 HAS SOPS 328138 HAS SOUS 258683 HAS SOUPS 258683 WITH SCORE 259011.138
AT ITER 3063 NEW BEST:: SOT 2457887 SOS 327851 HAS SOPS 327851 HAS SOUS 258640 HAS SOUPS 258640 WITH SCORE 258967.851
AT ITER 3113 NEW BEST:: SOT 2457586 SOS 327745 HAS SOPS 327745 HAS SOUS 258471 HAS SOUPS 258471 WITH SCORE 258798.745
AT ITER 3140 NEW BEST:: SOT 2457561 SOS 327728 HAS SOPS 327728 HAS SOUS 258465 HAS SOUPS 258465 WITH SCORE 258792.728
AT ITER 3147 NEW BEST:: SOT 2457721 SOS 327728 HAS SOPS 327728 HAS SOUS 258381 HAS SOUPS 258381 WITH SCORE 258708.728
AT ITER 3157 NEW BEST:: SOT 2457503 SOS 327510 HAS SOPS 327510 HAS SOUS 258162 HAS SOUPS 258162 WITH SCORE 258489.51
AT ITER 3160 NEW BEST:: SOT 2457476 SOS 327456 HAS SOPS 327456 HAS SOUS 258108 HAS SOUPS 258108 WITH SCORE 258435.456
AT ITER 3193 NEW BEST:: SOT 2457402 SOS 327404 HAS SOPS 327404 HAS SOUS 258082 HAS SOUPS 258082 WITH SCORE 258409.404
AT ITER 3215 NEW BEST:: SOT 2457402 SOS 327404 HAS SOPS 327404 HAS SOUS 258069 HAS SOUPS 258069 WITH SCORE 258396.404
AT ITER 3220 NEW BEST:: SOT 2457072 SOS 327116 HAS SOPS 327116 HAS SOUS 257820 HAS SOUPS 257820 WITH SCORE 258147.116
AT ITER 3221 NEW BEST:: SOT 2457035 SOS 326862 HAS SOPS 326862 HAS SOUS 257755 HAS SOUPS 257755 WITH SCORE 258081.862
AT ITER 3233 NEW BEST:: SOT 2456992 SOS 326819 HAS SOPS 326819 HAS SOUS 257712 HAS SOUPS 257712 WITH SCORE 258038.819
AT ITER 3236 NEW BEST:: SOT 2456748 SOS 326575 HAS SOPS 326575 HAS SOUS 257468 HAS SOUPS 257468 WITH SCORE 257794.575
AT ITER 3268 NEW BEST:: SOT 2456705 SOS 326423 HAS SOPS 326423 HAS SOUS 257359 HAS SOUPS 257359 WITH SCORE 257685.423
AT ITER 3311 NEW BEST:: SOT 2456663 SOS 326285 HAS SOPS 326285 HAS SOUS 257282 HAS SOUPS 257282 WITH SCORE 257608.285
AT ITER 3320 NEW BEST:: SOT 2456659 SOS 326273 HAS SOPS 326273 HAS SOUS 257278 HAS SOUPS 257278 WITH SCORE 257604.273
AT ITER 3348 NEW BEST:: SOT 2456525 SOS 326243 HAS SOPS 326243 HAS SOUS 257212 HAS SOUPS 257212 WITH SCORE 257538.243
AT ITER 3390 NEW BEST:: SOT 2456461 SOS 326153 HAS SOPS 326153 HAS SOUS 257148 HAS SOUPS 257148 WITH SCORE 257474.153
AT ITER 3402 NEW BEST:: SOT 2456457 SOS 326149 HAS SOPS 326149 HAS SOUS 257144 HAS SOUPS 257144 WITH SCORE 257470.149
AT ITER 3413 NEW BEST:: SOT 2456485 SOS 326161 HAS SOPS 326161 HAS SOUS 257101 HAS SOUPS 257101 WITH SCORE 257427.161
AT ITER 3433 NEW BEST:: SOT 2456370 SOS 326057 HAS SOPS 326057 HAS SOUS 257033 HAS SOUPS 257033 WITH SCORE 257359.057
AT ITER 3456 NEW BEST:: SOT 2456211 SOS 325875 HAS SOPS 325875 HAS SOUS 256896 HAS SOUPS 256896 WITH SCORE 257221.875
AT ITER 3461 NEW BEST:: SOT 2456160 SOS 325854 HAS SOPS 325854 HAS SOUS 256856 HAS SOUPS 256856 WITH SCORE 257181.854
AT ITER 3467 NEW BEST:: SOT 2456160 SOS 325843 HAS SOPS 325843 HAS SOUS 256845 HAS SOUPS 256845 WITH SCORE 257170.843
AT ITER 3468 NEW BEST:: SOT 2456144 SOS 325600 HAS SOPS 325600 HAS SOUS 256508 HAS SOUPS 256508 WITH SCORE 256833.6
AT ITER 3498 NEW BEST:: SOT 2455975 SOS 325394 HAS SOPS 325394 HAS SOUS 256054 HAS SOUPS 256054 WITH SCORE 256379.394
AT ITER 3506 NEW BEST:: SOT 2455972 SOS 325376 HAS SOPS 325376 HAS SOUS 256045 HAS SOUPS 256045 WITH SCORE 256370.376
AT ITER 3537 NEW BEST:: SOT 2455964 SOS 325360 HAS SOPS 325360 HAS SOUS 256037 HAS SOUPS 256037 WITH SCORE 256362.36
AT ITER 3540 NEW BEST:: SOT 2455911 SOS 325235 HAS SOPS 325235 HAS SOUS 255912 HAS SOUPS 255912 WITH SCORE 256237.235
AT ITER 3554 NEW BEST:: SOT 2455869 SOS 325254 HAS SOPS 325254 HAS SOUS 255870 HAS SOUPS 255870 WITH SCORE 256195.254
AT ITER 3561 NEW BEST:: SOT 2455869 SOS 325253 HAS SOPS 325253 HAS SOUS 255868 HAS SOUPS 255868 WITH SCORE 256193.253
AT ITER 3588 NEW BEST:: SOT 2455849 SOS 325233 HAS SOPS 325233 HAS SOUS 255868 HAS SOUPS 255868 WITH SCORE 256193.233
AT ITER 3597 NEW BEST:: SOT 2455787 SOS 324892 HAS SOPS 324892 HAS SOUS 255754 HAS SOUPS 255754 WITH SCORE 256078.892
AT ITER 3617 NEW BEST:: SOT 2455297 SOS 324797 HAS SOPS 324797 HAS SOUS 255430 HAS SOUPS 255430 WITH SCORE 255754.797
AT ITER 3697 NEW BEST:: SOT 2455350 SOS 324844 HAS SOPS 324844 HAS SOUS 255424 HAS SOUPS 255424 WITH SCORE 255748.844
AT ITER 3702 NEW BEST:: SOT 2455276 SOS 324764 HAS SOPS 324764 HAS SOUS 255350 HAS SOUPS 255350 WITH SCORE 255674.764
AT ITER 3722 NEW BEST:: SOT 2455275 SOS 324727 HAS SOPS 324727 HAS SOUS 255280 HAS SOUPS 255280 WITH SCORE 255604.727
AT ITER 3734 NEW BEST:: SOT 2455162 SOS 324717 HAS SOPS 324717 HAS SOUS 255166 HAS SOUPS 255166 WITH SCORE 255490.717
AT ITER 3754 NEW BEST:: SOT 2455162 SOS 324717 HAS SOPS 324717 HAS SOUS 255085 HAS SOUPS 255085 WITH SCORE 255409.717
AT ITER 3757 NEW BEST:: SOT 2455149 SOS 324813 HAS SOPS 324813 HAS SOUS 255072 HAS SOUPS 255072 WITH SCORE 255396.813
AT ITER 3773 NEW BEST:: SOT 2454965 SOS 324629 HAS SOPS 324629 HAS SOUS 254888 HAS SOUPS 254888 WITH SCORE 255212.629
AT ITER 3800 NEW BEST:: SOT 2454965 SOS 324623 HAS SOPS 324623 HAS SOUS 254882 HAS SOUPS 254882 WITH SCORE 255206.623
AT ITER 3813 NEW BEST:: SOT 2454944 SOS 324581 HAS SOPS 324581 HAS SOUS 254881 HAS SOUPS 254881 WITH SCORE 255205.581
AT ITER 3857 NEW BEST:: SOT 2454807 SOS 324444 HAS SOPS 324444 HAS SOUS 254744 HAS SOUPS 254744 WITH SCORE 255068.444
AT ITER 3858 NEW BEST:: SOT 2454316 SOS 324475 HAS SOPS 324475 HAS SOUS 254253 HAS SOUPS 254253 WITH SCORE 254577.475
AT ITER 3882 NEW BEST:: SOT 2454265 SOS 324424 HAS SOPS 324424 HAS SOUS 254202 HAS SOUPS 254202 WITH SCORE 254526.424
AT ITER 3910 NEW BEST:: SOT 2454293 SOS 324480 HAS SOPS 324480 HAS SOUS 254084 HAS SOUPS 254084 WITH SCORE 254408.48
AT ITER 3945 NEW BEST:: SOT 2454285 SOS 324462 HAS SOPS 324462 HAS SOUS 254076 HAS SOUPS 254076 WITH SCORE 254400.462
AT ITER 3980 NEW BEST:: SOT 2454285 SOS 324461 HAS SOPS 324461 HAS SOUS 254075 HAS SOUPS 254075 WITH SCORE 254399.461
AT ITER 3984 NEW BEST:: SOT 2454278 SOS 324358 HAS SOPS 324358 HAS SOUS 254068 HAS SOUPS 254068 WITH SCORE 254392.358
AT ITER 4027 NEW BEST:: SOT 2454005 SOS 324838 HAS SOPS 324838 HAS SOUS 254018 HAS SOUPS 254018 WITH SCORE 254342.838
AT ITER 4078 NEW BEST:: SOT 2453999 SOS 324832 HAS SOPS 324832 HAS SOUS 254012 HAS SOUPS 254012 WITH SCORE 254336.832
AT ITER 4084 NEW BEST:: SOT 2453638 SOS 324561 HAS SOPS 324561 HAS SOUS 253681 HAS SOUPS 253681 WITH SCORE 254005.561
AT ITER 4090 NEW BEST:: SOT 2453638 SOS 324551 HAS SOPS 324551 HAS SOUS 253680 HAS SOUPS 253680 WITH SCORE 254004.551
AT ITER 4146 NEW BEST:: SOT 2453638 SOS 324541 HAS SOPS 324541 HAS SOUS 253679 HAS SOUPS 253679 WITH SCORE 254003.541
AT ITER 4293 NEW BEST:: SOT 2453682 SOS 324512 HAS SOPS 324512 HAS SOUS 253673 HAS SOUPS 253673 WITH SCORE 253997.512
AT ITER 4372 NEW BEST:: SOT 2453621 SOS 324116 HAS SOPS 324116 HAS SOUS 253610 HAS SOUPS 253610 WITH SCORE 253934.116
AT ITER 4378 NEW BEST:: SOT 2453594 SOS 324142 HAS SOPS 324142 HAS SOUS 253583 HAS SOUPS 253583 WITH SCORE 253907.142
AT ITER 4385 NEW BEST:: SOT 2452474 SOS 326279 HAS SOPS 326279 HAS SOUS 252945 HAS SOUPS 252945 WITH SCORE 253271.279
AT ITER 4468 NEW BEST:: SOT 2452429 SOS 326277 HAS SOPS 326277 HAS SOUS 252835 HAS SOUPS 252835 WITH SCORE 253161.277
AT ITER 4475 NEW BEST:: SOT 2452425 SOS 326272 HAS SOPS 326272 HAS SOUS 252830 HAS SOUPS 252830 WITH SCORE 253156.272
AT ITER 4480 NEW BEST:: SOT 2452425 SOS 325266 HAS SOPS 325266 HAS SOUS 252830 HAS SOUPS 252830 WITH SCORE 253155.266
AT ITER 4517 NEW BEST:: SOT 2452425 SOS 325214 HAS SOPS 325214 HAS SOUS 252830 HAS SOUPS 252830 WITH SCORE 253155.214
AT ITER 4545 NEW BEST:: SOT 2452414 SOS 325190 HAS SOPS 325190 HAS SOUS 252806 HAS SOUPS 252806 WITH SCORE 253131.19
AT ITER 4568 NEW BEST:: SOT 2452358 SOS 325134 HAS SOPS 325134 HAS SOUS 252742 HAS SOUPS 252742 WITH SCORE 253067.134
AT ITER 4610 NEW BEST:: SOT 2452311 SOS 325095 HAS SOPS 325095 HAS SOUS 252695 HAS SOUPS 252695 WITH SCORE 253020.095
AT ITER 4614 NEW BEST:: SOT 2452185 SOS 325005 HAS SOPS 325005 HAS SOUS 252569 HAS SOUPS 252569 WITH SCORE 252894.005
AT ITER 4639 NEW BEST:: SOT 2452153 SOS 325001 HAS SOPS 325001 HAS SOUS 252565 HAS SOUPS 252565 WITH SCORE 252890.001
AT ITER 4679 NEW BEST:: SOT 2452153 SOS 324812 HAS SOPS 324812 HAS SOUS 252538 HAS SOUPS 252538 WITH SCORE 252862.812
AT ITER 4686 NEW BEST:: SOT 2452152 SOS 324678 HAS SOPS 324678 HAS SOUS 252537 HAS SOUPS 252537 WITH SCORE 252861.678
AT ITER 4718 NEW BEST:: SOT 2452088 SOS 324633 HAS SOPS 324633 HAS SOUS 252385 HAS SOUPS 252385 WITH SCORE 252709.633
AT ITER 4745 NEW BEST:: SOT 2452107 SOS 324651 HAS SOPS 324651 HAS SOUS 252384 HAS SOUPS 252384 WITH SCORE 252708.651
AT ITER 4754 NEW BEST:: SOT 2452107 SOS 324650 HAS SOPS 324650 HAS SOUS 252383 HAS SOUPS 252383 WITH SCORE 252707.65
AT ITER 4799 NEW BEST:: SOT 2451889 SOS 324541 HAS SOPS 324541 HAS SOUS 252274 HAS SOUPS 252274 WITH SCORE 252598.541
AT ITER 4817 NEW BEST:: SOT 2451889 SOS 324541 HAS SOPS 324541 HAS SOUS 252270 HAS SOUPS 252270 WITH SCORE 252594.541
AT ITER 4818 NEW BEST:: SOT 2451856 SOS 324437 HAS SOPS 324437 HAS SOUS 252237 HAS SOUPS 252237 WITH SCORE 252561.437
AT ITER 4913 NEW BEST:: SOT 2451730 SOS 324274 HAS SOPS 324274 HAS SOUS 252026 HAS SOUPS 252026 WITH SCORE 252350.274
AT ITER 4947 NEW BEST:: SOT 2451877 SOS 324568 HAS SOPS 324568 HAS SOUS 252025 HAS SOUPS 252025 WITH SCORE 252349.568
AT ITER 4950 NEW BEST:: SOT 2451873 SOS 324560 HAS SOPS 324560 HAS SOUS 252025 HAS SOUPS 252025 WITH SCORE 252349.56
AT ITER 4962 NEW BEST:: SOT 2451860 SOS 324547 HAS SOPS 324547 HAS SOUS 252025 HAS SOUPS 252025 WITH SCORE 252349.547
AT ITER 4964 NEW BEST:: SOT 2451856 SOS 324535 HAS SOPS 324535 HAS SOUS 252017 HAS SOUPS 252017 WITH SCORE 252341.535
AT ITER 4973 NEW BEST:: SOT 2451856 SOS 324522 HAS SOPS 324522 HAS SOUS 252004 HAS SOUPS 252004 WITH SCORE 252328.522
AT ITER 5011 NEW BEST:: SOT 2451917 SOS 324430 HAS SOPS 324430 HAS SOUS 251984 HAS SOUPS 251984 WITH SCORE 252308.43
AT ITER 5109 NEW BEST:: SOT 2451894 SOS 324384 HAS SOPS 324384 HAS SOUS 251961 HAS SOUPS 251961 WITH SCORE 252285.384
AT ITER 5124 NEW BEST:: SOT 2451824 SOS 324256 HAS SOPS 324256 HAS SOUS 251833 HAS SOUPS 251833 WITH SCORE 252157.256
AT ITER 5154 NEW BEST:: SOT 2451759 SOS 324048 HAS SOPS 324048 HAS SOUS 251793 HAS SOUPS 251793 WITH SCORE 252117.048
AT ITER 5162 NEW BEST:: SOT 2451769 SOS 322538 HAS SOPS 322538 HAS SOUS 251652 HAS SOUPS 251652 WITH SCORE 251974.538
AT ITER 5198 NEW BEST:: SOT 2451697 SOS 322394 HAS SOPS 322394 HAS SOUS 251558 HAS SOUPS 251558 WITH SCORE 251880.394
AT ITER 5205 NEW BEST:: SOT 2451626 SOS 322255 HAS SOPS 322255 HAS SOUS 251416 HAS SOUPS 251416 WITH SCORE 251738.255
AT ITER 5209 NEW BEST:: SOT 2451416 SOS 321931 HAS SOPS 321931 HAS SOUS 251206 HAS SOUPS 251206 WITH SCORE 251527.931
AT ITER 5222 NEW BEST:: SOT 2451290 SOS 321867 HAS SOPS 321867 HAS SOUS 251041 HAS SOUPS 251041 WITH SCORE 251362.867
AT ITER 5261 NEW BEST:: SOT 2451172 SOS 321749 HAS SOPS 321749 HAS SOUS 250864 HAS SOUPS 250864 WITH SCORE 251185.749
AT ITER 5267 NEW BEST:: SOT 2450996 SOS 321623 HAS SOPS 321623 HAS SOUS 250688 HAS SOUPS 250688 WITH SCORE 251009.623
AT ITER 5309 NEW BEST:: SOT 2450866 SOS 321493 HAS SOPS 321493 HAS SOUS 250550 HAS SOUPS 250550 WITH SCORE 250871.493
AT ITER 5340 NEW BEST:: SOT 2450864 SOS 321537 HAS SOPS 321537 HAS SOUS 250546 HAS SOUPS 250546 WITH SCORE 250867.537
AT ITER 5357 NEW BEST:: SOT 2450805 SOS 321510 HAS SOPS 321510 HAS SOUS 250512 HAS SOUPS 250512 WITH SCORE 250833.51
AT ITER 5482 NEW BEST:: SOT 2450777 SOS 321454 HAS SOPS 321454 HAS SOUS 250445 HAS SOUPS 250445 WITH SCORE 250766.454
AT ITER 5517 NEW BEST:: SOT 2450728 SOS 321405 HAS SOPS 321405 HAS SOUS 250445 HAS SOUPS 250445 WITH SCORE 250766.405
AT ITER 5523 NEW BEST:: SOT 2450706 SOS 321361 HAS SOPS 321361 HAS SOUS 250412 HAS SOUPS 250412 WITH SCORE 250733.361
AT ITER 5524 NEW BEST:: SOT 2450648 SOS 321440 HAS SOPS 321440 HAS SOUS 250354 HAS SOUPS 250354 WITH SCORE 250675.44
AT ITER 5573 NEW BEST:: SOT 2450687 SOS 321579 HAS SOPS 321579 HAS SOUS 250339 HAS SOUPS 250339 WITH SCORE 250660.579
AT ITER 5575 NEW BEST:: SOT 2450578 SOS 321403 HAS SOPS 321403 HAS SOUS 250201 HAS SOUPS 250201 WITH SCORE 250522.403
AT ITER 5582 NEW BEST:: SOT 2450578 SOS 321361 HAS SOPS 321361 HAS SOUS 250180 HAS SOUPS 250180 WITH SCORE 250501.361
AT ITER 5585 NEW BEST:: SOT 2450471 SOS 321017 HAS SOPS 321017 HAS SOUS 249946 HAS SOUPS 249946 WITH SCORE 250267.017
AT ITER 5592 NEW BEST:: SOT 2450471 SOS 320959 HAS SOPS 320959 HAS SOUS 249888 HAS SOUPS 249888 WITH SCORE 250208.959
AT ITER 5608 NEW BEST:: SOT 2450447 SOS 320947 HAS SOPS 320947 HAS SOUS 249864 HAS SOUPS 249864 WITH SCORE 250184.947
AT ITER 5629 NEW BEST:: SOT 2450447 SOS 320902 HAS SOPS 320902 HAS SOUS 249859 HAS SOUPS 249859 WITH SCORE 250179.902
AT ITER 5687 NEW BEST:: SOT 2450418 SOS 320815 HAS SOPS 320815 HAS SOUS 249829 HAS SOUPS 249829 WITH SCORE 250149.815
AT ITER 5689 NEW BEST:: SOT 2450414 SOS 320807 HAS SOPS 320807 HAS SOUS 249821 HAS SOUPS 249821 WITH SCORE 250141.807
AT ITER 5696 NEW BEST:: SOT 2450398 SOS 320759 HAS SOPS 320759 HAS SOUS 249773 HAS SOUPS 249773 WITH SCORE 250093.759
AT ITER 5724 NEW BEST:: SOT 2450182 SOS 320471 HAS SOPS 320471 HAS SOUS 249557 HAS SOUPS 249557 WITH SCORE 249877.471
AT ITER 5731 NEW BEST:: SOT 2450182 SOS 320466 HAS SOPS 320466 HAS SOUS 249552 HAS SOUPS 249552 WITH SCORE 249872.466
AT ITER 5745 NEW BEST:: SOT 2450182 SOS 320398 HAS SOPS 320398 HAS SOUS 249513 HAS SOUPS 249513 WITH SCORE 249833.398
AT ITER 5747 NEW BEST:: SOT 2450197 SOS 313015 HAS SOPS 313015 HAS SOUS 249305 HAS SOUPS 249305 WITH SCORE 249618.015
AT ITER 5755 NEW BEST:: SOT 2450197 SOS 313014 HAS SOPS 313014 HAS SOUS 249304 HAS SOUPS 249304 WITH SCORE 249617.014
AT ITER 5786 NEW BEST:: SOT 2450167 SOS 312954 HAS SOPS 312954 HAS SOUS 249278 HAS SOUPS 249278 WITH SCORE 249590.954
AT ITER 5821 NEW BEST:: SOT 2450177 SOS 312817 HAS SOPS 312817 HAS SOUS 249235 HAS SOUPS 249235 WITH SCORE 249547.817
AT ITER 5870 NEW BEST:: SOT 2450156 SOS 312805 HAS SOPS 312805 HAS SOUS 249220 HAS SOUPS 249220 WITH SCORE 249532.805
AT ITER 5936 NEW BEST:: SOT 2449982 SOS 313201 HAS SOPS 313201 HAS SOUS 249169 HAS SOUPS 249169 WITH SCORE 249482.201
AT ITER 5999 NEW BEST:: SOT 2449982 SOS 313183 HAS SOPS 313183 HAS SOUS 249169 HAS SOUPS 249169 WITH SCORE 249482.183
AT ITER 6023 NEW BEST:: SOT 2449981 SOS 313182 HAS SOPS 313182 HAS SOUS 249169 HAS SOUPS 249169 WITH SCORE 249482.182
AT ITER 6035 NEW BEST:: SOT 2449981 SOS 313150 HAS SOPS 313150 HAS SOUS 249166 HAS SOUPS 249166 WITH SCORE 249479.15
AT ITER 6082 NEW BEST:: SOT 2449967 SOS 313136 HAS SOPS 313136 HAS SOUS 249146 HAS SOUPS 249146 WITH SCORE 249459.136
AT ITER 6093 NEW BEST:: SOT 2449725 SOS 313380 HAS SOPS 313380 HAS SOUS 248993 HAS SOUPS 248993 WITH SCORE 249306.38
AT ITER 6102 NEW BEST:: SOT 2449688 SOS 313343 HAS SOPS 313343 HAS SOUS 248956 HAS SOUPS 248956 WITH SCORE 249269.343
AT ITER 6112 NEW BEST:: SOT 2448638 SOS 313800 HAS SOPS 313800 HAS SOUS 248180 HAS SOUPS 248180 WITH SCORE 248493.8
AT ITER 6123 NEW BEST:: SOT 2448606 SOS 313764 HAS SOPS 313764 HAS SOUS 248148 HAS SOUPS 248148 WITH SCORE 248461.764
AT ITER 6129 NEW BEST:: SOT 2447999 SOS 313936 HAS SOPS 313936 HAS SOUS 247729 HAS SOUPS 247729 WITH SCORE 248042.936
AT ITER 6134 NEW BEST:: SOT 2447668 SOS 314734 HAS SOPS 314734 HAS SOUS 247398 HAS SOUPS 247398 WITH SCORE 247712.734
AT ITER 6154 NEW BEST:: SOT 2447591 SOS 314580 HAS SOPS 314580 HAS SOUS 247238 HAS SOUPS 247238 WITH SCORE 247552.58
AT ITER 6162 NEW BEST:: SOT 2447591 SOS 314470 HAS SOPS 314470 HAS SOUS 247194 HAS SOUPS 247194 WITH SCORE 247508.47
AT ITER 6183 NEW BEST:: SOT 2447580 SOS 314448 HAS SOPS 314448 HAS SOUS 247180 HAS SOUPS 247180 WITH SCORE 247494.448
AT ITER 6234 NEW BEST:: SOT 2447580 SOS 314618 HAS SOPS 314618 HAS SOUS 247155 HAS SOUPS 247155 WITH SCORE 247469.618
AT ITER 6237 NEW BEST:: SOT 2447142 SOS 314390 HAS SOPS 314390 HAS SOUS 246988 HAS SOUPS 246988 WITH SCORE 247302.39
AT ITER 6242 NEW BEST:: SOT 2447124 SOS 314372 HAS SOPS 314372 HAS SOUS 246982 HAS SOUPS 246982 WITH SCORE 247296.372
AT ITER 6255 NEW BEST:: SOT 2447117 SOS 314370 HAS SOPS 314370 HAS SOUS 246975 HAS SOUPS 246975 WITH SCORE 247289.37
AT ITER 6284 NEW BEST:: SOT 2447092 SOS 314354 HAS SOPS 314354 HAS SOUS 246959 HAS SOUPS 246959 WITH SCORE 247273.354
AT ITER 6309 NEW BEST:: SOT 2447133 SOS 314320 HAS SOPS 314320 HAS SOUS 246958 HAS SOUPS 246958 WITH SCORE 247272.32
AT ITER 6391 NEW BEST:: SOT 2447124 SOS 314302 HAS SOPS 314302 HAS SOUS 246949 HAS SOUPS 246949 WITH SCORE 247263.302
AT ITER 6408 NEW BEST:: SOT 2447153 SOS 314268 HAS SOPS 314268 HAS SOUS 246890 HAS SOUPS 246890 WITH SCORE 247204.268
AT ITER 6441 NEW BEST:: SOT 2447128 SOS 314168 HAS SOPS 314168 HAS SOUS 246815 HAS SOUPS 246815 WITH SCORE 247129.168
AT ITER 6457 NEW BEST:: SOT 2446144 SOS 314365 HAS SOPS 314365 HAS SOUS 245965 HAS SOUPS 245965 WITH SCORE 246279.365
AT ITER 6468 NEW BEST:: SOT 2446030 SOS 314340 HAS SOPS 314340 HAS SOUS 245839 HAS SOUPS 245839 WITH SCORE 246153.34
AT ITER 6503 NEW BEST:: SOT 2446036 SOS 314352 HAS SOPS 314352 HAS SOUS 245807 HAS SOUPS 245807 WITH SCORE 246121.352
AT ITER 6505 NEW BEST:: SOT 2445882 SOS 314044 HAS SOPS 314044 HAS SOUS 245653 HAS SOUPS 245653 WITH SCORE 245967.044
AT ITER 6567 NEW BEST:: SOT 2445743 SOS 313966 HAS SOPS 313966 HAS SOUS 245634 HAS SOUPS 245634 WITH SCORE 245947.966
AT ITER 6571 NEW BEST:: SOT 2445706 SOS 313970 HAS SOPS 313970 HAS SOUS 245614 HAS SOUPS 245614 WITH SCORE 245927.97
AT ITER 6598 NEW BEST:: SOT 2445667 SOS 313892 HAS SOPS 313892 HAS SOUS 245575 HAS SOUPS 245575 WITH SCORE 245888.892
AT ITER 6638 NEW BEST:: SOT 2445667 SOS 313834 HAS SOPS 313834 HAS SOUS 245573 HAS SOUPS 245573 WITH SCORE 245886.834
AT ITER 6662 NEW BEST:: SOT 2445562 SOS 313694 HAS SOPS 313694 HAS SOUS 245433 HAS SOUPS 245433 WITH SCORE 245746.694
AT ITER 6692 NEW BEST:: SOT 2445501 SOS 313517 HAS SOPS 313517 HAS SOUS 245307 HAS SOUPS 245307 WITH SCORE 245620.517
AT ITER 6733 NEW BEST:: SOT 2445155 SOS 313165 HAS SOPS 313165 HAS SOUS 244955 HAS SOUPS 244955 WITH SCORE 245268.165
AT ITER 6768 NEW BEST:: SOT 2445013 SOS 313096 HAS SOPS 313096 HAS SOUS 244809 HAS SOUPS 244809 WITH SCORE 245122.096
AT ITER 6771 NEW BEST:: SOT 2445012 SOS 313094 HAS SOPS 313094 HAS SOUS 244807 HAS SOUPS 244807 WITH SCORE 245120.094
AT ITER 6789 NEW BEST:: SOT 2445012 SOS 313094 HAS SOPS 313094 HAS SOUS 244749 HAS SOUPS 244749 WITH SCORE 245062.094
AT ITER 6838 NEW BEST:: SOT 2445009 SOS 313088 HAS SOPS 313088 HAS SOUS 244749 HAS SOUPS 244749 WITH SCORE 245062.088
AT ITER 6840 NEW BEST:: SOT 2444844 SOS 312554 HAS SOPS 312554 HAS SOUS 244317 HAS SOUPS 244317 WITH SCORE 244629.554
AT ITER 6841 NEW BEST:: SOT 2444743 SOS 312496 HAS SOPS 312496 HAS SOUS 244224 HAS SOUPS 244224 WITH SCORE 244536.496
AT ITER 6850 NEW BEST:: SOT 2444691 SOS 312557 HAS SOPS 312557 HAS SOUS 244222 HAS SOUPS 244222 WITH SCORE 244534.557
AT ITER 6852 NEW BEST:: SOT 2444729 SOS 312384 HAS SOPS 312384 HAS SOUS 244139 HAS SOUPS 244139 WITH SCORE 244451.384
AT ITER 6853 NEW BEST:: SOT 2444689 SOS 312344 HAS SOPS 312344 HAS SOUS 244118 HAS SOUPS 244118 WITH SCORE 244430.344
AT ITER 6875 NEW BEST:: SOT 2444715 SOS 312396 HAS SOPS 312396 HAS SOUS 244023 HAS SOUPS 244023 WITH SCORE 244335.396
AT ITER 6878 NEW BEST:: SOT 2444701 SOS 312301 HAS SOPS 312301 HAS SOUS 244021 HAS SOUPS 244021 WITH SCORE 244333.301
AT ITER 6899 NEW BEST:: SOT 2444629 SOS 312157 HAS SOPS 312157 HAS SOUS 243877 HAS SOUPS 243877 WITH SCORE 244189.157
AT ITER 6929 NEW BEST:: SOT 2444629 SOS 312109 HAS SOPS 312109 HAS SOUS 243865 HAS SOUPS 243865 WITH SCORE 244177.109
AT ITER 6995 NEW BEST:: SOT 2444593 SOS 312073 HAS SOPS 312073 HAS SOUS 243865 HAS SOUPS 243865 WITH SCORE 244177.073
AT ITER 7033 NEW BEST:: SOT 2444496 SOS 312289 HAS SOPS 312289 HAS SOUS 243686 HAS SOUPS 243686 WITH SCORE 243998.289
AT ITER 7083 NEW BEST:: SOT 2444315 SOS 312338 HAS SOPS 312338 HAS SOUS 243596 HAS SOUPS 243596 WITH SCORE 243908.338
AT ITER 7108 NEW BEST:: SOT 2444350 SOS 312304 HAS SOPS 312304 HAS SOUS 243596 HAS SOUPS 243596 WITH SCORE 243908.304
AT ITER 7116 NEW BEST:: SOT 2444350 SOS 312135 HAS SOPS 312135 HAS SOUS 243514 HAS SOUPS 243514 WITH SCORE 243826.135
AT ITER 7161 NEW BEST:: SOT 2444299 SOS 312093 HAS SOPS 312093 HAS SOUS 243463 HAS SOUPS 243463 WITH SCORE 243775.093
AT ITER 7162 NEW BEST:: SOT 2444252 SOS 311956 HAS SOPS 311956 HAS SOUS 243422 HAS SOUPS 243422 WITH SCORE 243733.956
AT ITER 7226 NEW BEST:: SOT 2444108 SOS 312263 HAS SOPS 312263 HAS SOUS 243324 HAS SOUPS 243324 WITH SCORE 243636.263
AT ITER 7240 NEW BEST:: SOT 2444117 SOS 312025 HAS SOPS 312025 HAS SOUS 243302 HAS SOUPS 243302 WITH SCORE 243614.025
AT ITER 7254 NEW BEST:: SOT 2444050 SOS 311713 HAS SOPS 311713 HAS SOUS 243215 HAS SOUPS 243215 WITH SCORE 243526.713
AT ITER 7271 NEW BEST:: SOT 2443956 SOS 311625 HAS SOPS 311625 HAS SOUS 243002 HAS SOUPS 243002 WITH SCORE 243313.625
AT ITER 7275 NEW BEST:: SOT 2443956 SOS 311568 HAS SOPS 311568 HAS SOUS 242945 HAS SOUPS 242945 WITH SCORE 243256.568
AT ITER 7276 NEW BEST:: SOT 2443989 SOS 311539 HAS SOPS 311539 HAS SOUS 242916 HAS SOUPS 242916 WITH SCORE 243227.539
AT ITER 7347 NEW BEST:: SOT 2443886 SOS 311385 HAS SOPS 311385 HAS SOUS 242813 HAS SOUPS 242813 WITH SCORE 243124.385
AT ITER 7368 NEW BEST:: SOT 2443892 SOS 311479 HAS SOPS 311479 HAS SOUS 242771 HAS SOUPS 242771 WITH SCORE 243082.479
AT ITER 7390 NEW BEST:: SOT 2443855 SOS 311368 HAS SOPS 311368 HAS SOUS 242660 HAS SOUPS 242660 WITH SCORE 242971.368
AT ITER 7438 NEW BEST:: SOT 2443769 SOS 311087 HAS SOPS 311087 HAS SOUS 242446 HAS SOUPS 242446 WITH SCORE 242757.087
AT ITER 7444 NEW BEST:: SOT 2443769 SOS 311087 HAS SOPS 311087 HAS SOUS 242443 HAS SOUPS 242443 WITH SCORE 242754.087
AT ITER 7479 NEW BEST:: SOT 2442982 SOS 312583 HAS SOPS 312583 HAS SOUS 242007 HAS SOUPS 242007 WITH SCORE 242319.583
AT ITER 7480 NEW BEST:: SOT 2442801 SOS 312378 HAS SOPS 312378 HAS SOUS 241802 HAS SOUPS 241802 WITH SCORE 242114.378
AT ITER 7521 NEW BEST:: SOT 2442863 SOS 312431 HAS SOPS 312431 HAS SOUS 241793 HAS SOUPS 241793 WITH SCORE 242105.431
AT ITER 7546 NEW BEST:: SOT 2442808 SOS 311250 HAS SOPS 311250 HAS SOUS 241618 HAS SOUPS 241618 WITH SCORE 241929.25
AT ITER 7570 NEW BEST:: SOT 2442652 SOS 311054 HAS SOPS 311054 HAS SOUS 241461 HAS SOUPS 241461 WITH SCORE 241772.054
AT ITER 7576 NEW BEST:: SOT 2441967 SOS 310704 HAS SOPS 310704 HAS SOUS 240878 HAS SOUPS 240878 WITH SCORE 241188.704
AT ITER 7598 NEW BEST:: SOT 2441904 SOS 310726 HAS SOPS 310726 HAS SOUS 240837 HAS SOUPS 240837 WITH SCORE 241147.726
AT ITER 7609 NEW BEST:: SOT 2441750 SOS 311000 HAS SOPS 311000 HAS SOUS 240683 HAS SOUPS 240683 WITH SCORE 240994.0
AT ITER 7625 NEW BEST:: SOT 2441746 SOS 310992 HAS SOPS 310992 HAS SOUS 240675 HAS SOUPS 240675 WITH SCORE 240985.992
AT ITER 7649 NEW BEST:: SOT 2441675 SOS 310981 HAS SOPS 310981 HAS SOUS 240655 HAS SOUPS 240655 WITH SCORE 240965.981
AT ITER 7732 NEW BEST:: SOT 2441623 SOS 310777 HAS SOPS 310777 HAS SOUS 240451 HAS SOUPS 240451 WITH SCORE 240761.777
AT ITER 7750 NEW BEST:: SOT 2441559 SOS 310713 HAS SOPS 310713 HAS SOUS 240305 HAS SOUPS 240305 WITH SCORE 240615.713
AT ITER 7756 NEW BEST:: SOT 2441373 SOS 310355 HAS SOPS 310355 HAS SOUS 240127 HAS SOUPS 240127 WITH SCORE 240437.355
AT ITER 7788 NEW BEST:: SOT 2441355 SOS 310254 HAS SOPS 310254 HAS SOUS 240026 HAS SOUPS 240026 WITH SCORE 240336.254
AT ITER 7806 NEW BEST:: SOT 2441322 SOS 310188 HAS SOPS 310188 HAS SOUS 239993 HAS SOUPS 239993 WITH SCORE 240303.188
AT ITER 7893 NEW BEST:: SOT 2441278 SOS 309928 HAS SOPS 309928 HAS SOUS 239905 HAS SOUPS 239905 WITH SCORE 240214.928
AT ITER 7899 NEW BEST:: SOT 2441278 SOS 309854 HAS SOPS 309854 HAS SOUS 239905 HAS SOUPS 239905 WITH SCORE 240214.854
AT ITER 7913 NEW BEST:: SOT 2441273 SOS 309857 HAS SOPS 309857 HAS SOUS 239903 HAS SOUPS 239903 WITH SCORE 240212.857
AT ITER 8004 NEW BEST:: SOT 2441162 SOS 309541 HAS SOPS 309541 HAS SOUS 239788 HAS SOUPS 239788 WITH SCORE 240097.541
AT ITER 8018 NEW BEST:: SOT 2441306 SOS 309734 HAS SOPS 309734 HAS SOUS 239756 HAS SOUPS 239756 WITH SCORE 240065.734
AT ITER 8020 NEW BEST:: SOT 2441302 SOS 309738 HAS SOPS 309738 HAS SOUS 239754 HAS SOUPS 239754 WITH SCORE 240063.738
AT ITER 8076 NEW BEST:: SOT 2441120 SOS 309633 HAS SOPS 309633 HAS SOUS 239649 HAS SOUPS 239649 WITH SCORE 239958.633
AT ITER 8084 NEW BEST:: SOT 2441111 SOS 309615 HAS SOPS 309615 HAS SOUS 239640 HAS SOUPS 239640 WITH SCORE 239949.615
AT ITER 8095 NEW BEST:: SOT 2441098 SOS 309574 HAS SOPS 309574 HAS SOUS 239636 HAS SOUPS 239636 WITH SCORE 239945.574
AT ITER 8097 NEW BEST:: SOT 2441098 SOS 309435 HAS SOPS 309435 HAS SOUS 239632 HAS SOUPS 239632 WITH SCORE 239941.435
AT ITER 8128 NEW BEST:: SOT 2440796 SOS 309086 HAS SOPS 309086 HAS SOUS 239437 HAS SOUPS 239437 WITH SCORE 239746.086
AT ITER 8142 NEW BEST:: SOT 2440774 SOS 309055 HAS SOPS 309055 HAS SOUS 239415 HAS SOUPS 239415 WITH SCORE 239724.055
AT ITER 8166 NEW BEST:: SOT 2440769 SOS 309050 HAS SOPS 309050 HAS SOUS 239410 HAS SOUPS 239410 WITH SCORE 239719.05
AT ITER 8181 NEW BEST:: SOT 2440593 SOS 308971 HAS SOPS 308971 HAS SOUS 239294 HAS SOUPS 239294 WITH SCORE 239602.971
AT ITER 8183 NEW BEST:: SOT 2440471 SOS 308872 HAS SOPS 308872 HAS SOUS 239195 HAS SOUPS 239195 WITH SCORE 239503.872
AT ITER 8207 NEW BEST:: SOT 2440203 SOS 308583 HAS SOPS 308583 HAS SOUS 238906 HAS SOUPS 238906 WITH SCORE 239214.583
AT ITER 8219 NEW BEST:: SOT 2440167 SOS 308537 HAS SOPS 308537 HAS SOUS 238895 HAS SOUPS 238895 WITH SCORE 239203.537
AT ITER 8221 NEW BEST:: SOT 2440166 SOS 308535 HAS SOPS 308535 HAS SOUS 238893 HAS SOUPS 238893 WITH SCORE 239201.535
AT ITER 8222 NEW BEST:: SOT 2439998 SOS 308184 HAS SOPS 308184 HAS SOUS 238676 HAS SOUPS 238676 WITH SCORE 238984.184
AT ITER 8317 NEW BEST:: SOT 2439700 SOS 310081 HAS SOPS 310081 HAS SOUS 238575 HAS SOUPS 238575 WITH SCORE 238885.081
AT ITER 8323 NEW BEST:: SOT 2439548 SOS 310329 HAS SOPS 310329 HAS SOUS 238394 HAS SOUPS 238394 WITH SCORE 238704.329
AT ITER 8324 NEW BEST:: SOT 2439394 SOS 310152 HAS SOPS 310152 HAS SOUS 238165 HAS SOUPS 238165 WITH SCORE 238475.152
AT ITER 8328 NEW BEST:: SOT 2439348 SOS 310105 HAS SOPS 310105 HAS SOUS 238164 HAS SOUPS 238164 WITH SCORE 238474.105
AT ITER 8413 NEW BEST:: SOT 2438758 SOS 311502 HAS SOPS 311502 HAS SOUS 237691 HAS SOUPS 237691 WITH SCORE 238002.502
AT ITER 8439 NEW BEST:: SOT 2438737 SOS 311715 HAS SOPS 311715 HAS SOUS 237685 HAS SOUPS 237685 WITH SCORE 237996.715
AT ITER 8447 NEW BEST:: SOT 2438597 SOS 311056 HAS SOPS 311056 HAS SOUS 237419 HAS SOUPS 237419 WITH SCORE 237730.056
AT ITER 8476 NEW BEST:: SOT 2438597 SOS 311056 HAS SOPS 311056 HAS SOUS 237418 HAS SOUPS 237418 WITH SCORE 237729.056
AT ITER 8494 NEW BEST:: SOT 2438447 SOS 310754 HAS SOPS 310754 HAS SOUS 237281 HAS SOUPS 237281 WITH SCORE 237591.754
AT ITER 8522 NEW BEST:: SOT 2438349 SOS 310674 HAS SOPS 310674 HAS SOUS 237213 HAS SOUPS 237213 WITH SCORE 237523.674
AT ITER 8554 NEW BEST:: SOT 2438164 SOS 310590 HAS SOPS 310590 HAS SOUS 237097 HAS SOUPS 237097 WITH SCORE 237407.59
AT ITER 8569 NEW BEST:: SOT 2438156 SOS 310582 HAS SOPS 310582 HAS SOUS 237097 HAS SOUPS 237097 WITH SCORE 237407.582
AT ITER 8580 NEW BEST:: SOT 2438105 SOS 310378 HAS SOPS 310378 HAS SOUS 236944 HAS SOUPS 236944 WITH SCORE 237254.378
AT ITER 8595 NEW BEST:: SOT 2438049 SOS 310321 HAS SOPS 310321 HAS SOUS 236943 HAS SOUPS 236943 WITH SCORE 237253.321
AT ITER 8603 NEW BEST:: SOT 2438011 SOS 310397 HAS SOPS 310397 HAS SOUS 236924 HAS SOUPS 236924 WITH SCORE 237234.397
AT ITER 8653 NEW BEST:: SOT 2437937 SOS 310175 HAS SOPS 310175 HAS SOUS 236776 HAS SOUPS 236776 WITH SCORE 237086.175
AT ITER 8669 NEW BEST:: SOT 2437834 SOS 310175 HAS SOPS 310175 HAS SOUS 236653 HAS SOUPS 236653 WITH SCORE 236963.175
AT ITER 8719 NEW BEST:: SOT 2437708 SOS 309943 HAS SOPS 309943 HAS SOUS 236559 HAS SOUPS 236559 WITH SCORE 236868.943
AT ITER 8724 NEW BEST:: SOT 2437646 SOS 309695 HAS SOPS 309695 HAS SOUS 236435 HAS SOUPS 236435 WITH SCORE 236744.695
AT ITER 8756 NEW BEST:: SOT 2437643 SOS 309770 HAS SOPS 309770 HAS SOUS 236315 HAS SOUPS 236315 WITH SCORE 236624.77
AT ITER 8791 NEW BEST:: SOT 2437626 SOS 309839 HAS SOPS 309839 HAS SOUS 236298 HAS SOUPS 236298 WITH SCORE 236607.839
AT ITER 8803 NEW BEST:: SOT 2437549 SOS 309685 HAS SOPS 309685 HAS SOUS 236221 HAS SOUPS 236221 WITH SCORE 236530.685
AT ITER 8808 NEW BEST:: SOT 2437509 SOS 309605 HAS SOPS 309605 HAS SOUS 236181 HAS SOUPS 236181 WITH SCORE 236490.605
AT ITER 8812 NEW BEST:: SOT 2437487 SOS 309583 HAS SOPS 309583 HAS SOUS 236180 HAS SOUPS 236180 WITH SCORE 236489.583
AT ITER 8823 NEW BEST:: SOT 2437266 SOS 309391 HAS SOPS 309391 HAS SOUS 236016 HAS SOUPS 236016 WITH SCORE 236325.391
AT ITER 8831 NEW BEST:: SOT 2437196 SOS 309210 HAS SOPS 309210 HAS SOUS 235924 HAS SOUPS 235924 WITH SCORE 236233.21
AT ITER 8844 NEW BEST:: SOT 2436938 SOS 308995 HAS SOPS 308995 HAS SOUS 235666 HAS SOUPS 235666 WITH SCORE 235974.995
AT ITER 8855 NEW BEST:: SOT 2436938 SOS 309183 HAS SOPS 309183 HAS SOUS 235644 HAS SOUPS 235644 WITH SCORE 235953.183
AT ITER 8861 NEW BEST:: SOT 2436939 SOS 309139 HAS SOPS 309139 HAS SOUS 235599 HAS SOUPS 235599 WITH SCORE 235908.139
AT ITER 8872 NEW BEST:: SOT 2436939 SOS 308598 HAS SOPS 308598 HAS SOUS 235489 HAS SOUPS 235489 WITH SCORE 235797.598
AT ITER 8901 NEW BEST:: SOT 2436939 SOS 308468 HAS SOPS 308468 HAS SOUS 235419 HAS SOUPS 235419 WITH SCORE 235727.468
AT ITER 8923 NEW BEST:: SOT 2436857 SOS 308386 HAS SOPS 308386 HAS SOUS 235336 HAS SOUPS 235336 WITH SCORE 235644.386
AT ITER 8942 NEW BEST:: SOT 2436837 SOS 308346 HAS SOPS 308346 HAS SOUS 235277 HAS SOUPS 235277 WITH SCORE 235585.346
AT ITER 8969 NEW BEST:: SOT 2436839 SOS 308337 HAS SOPS 308337 HAS SOUS 235268 HAS SOUPS 235268 WITH SCORE 235576.337
AT ITER 8971 NEW BEST:: SOT 2436781 SOS 308163 HAS SOPS 308163 HAS SOUS 235165 HAS SOUPS 235165 WITH SCORE 235473.163
AT ITER 9081 NEW BEST:: SOT 2436545 SOS 307660 HAS SOPS 307660 HAS SOUS 234780 HAS SOUPS 234780 WITH SCORE 235087.66
AT ITER 9140 NEW BEST:: SOT 2436386 SOS 308982 HAS SOPS 308982 HAS SOUS 234756 HAS SOUPS 234756 WITH SCORE 235064.982
AT ITER 9203 NEW BEST:: SOT 2436369 SOS 308805 HAS SOPS 308805 HAS SOUS 234513 HAS SOUPS 234513 WITH SCORE 234821.805
AT ITER 9247 NEW BEST:: SOT 2436365 SOS 308801 HAS SOPS 308801 HAS SOUS 234509 HAS SOUPS 234509 WITH SCORE 234817.801
AT ITER 9255 NEW BEST:: SOT 2436362 SOS 308795 HAS SOPS 308795 HAS SOUS 234505 HAS SOUPS 234505 WITH SCORE 234813.795
AT ITER 9275 NEW BEST:: SOT 2436461 SOS 308696 HAS SOPS 308696 HAS SOUS 234406 HAS SOUPS 234406 WITH SCORE 234714.696
AT ITER 9292 NEW BEST:: SOT 2436404 SOS 308291 HAS SOPS 308291 HAS SOUS 234285 HAS SOUPS 234285 WITH SCORE 234593.291
AT ITER 9337 NEW BEST:: SOT 2436299 SOS 307835 HAS SOPS 307835 HAS SOUS 234180 HAS SOUPS 234180 WITH SCORE 234487.835
AT ITER 9348 NEW BEST:: SOT 2436293 SOS 307865 HAS SOPS 307865 HAS SOUS 234174 HAS SOUPS 234174 WITH SCORE 234481.865
AT ITER 9352 NEW BEST:: SOT 2436254 SOS 307813 HAS SOPS 307813 HAS SOUS 234122 HAS SOUPS 234122 WITH SCORE 234429.813
AT ITER 9359 NEW BEST:: SOT 2436170 SOS 307659 HAS SOPS 307659 HAS SOUS 234009 HAS SOUPS 234009 WITH SCORE 234316.659
AT ITER 9376 NEW BEST:: SOT 2436170 SOS 307655 HAS SOPS 307655 HAS SOUS 234009 HAS SOUPS 234009 WITH SCORE 234316.655
AT ITER 9412 NEW BEST:: SOT 2436117 SOS 307584 HAS SOPS 307584 HAS SOUS 233938 HAS SOUPS 233938 WITH SCORE 234245.584
AT ITER 9435 NEW BEST:: SOT 2435930 SOS 307476 HAS SOPS 307476 HAS SOUS 233908 HAS SOUPS 233908 WITH SCORE 234215.476
AT ITER 9481 NEW BEST:: SOT 2435850 SOS 307316 HAS SOPS 307316 HAS SOUS 233807 HAS SOUPS 233807 WITH SCORE 234114.316
AT ITER 9525 NEW BEST:: SOT 2435850 SOS 307313 HAS SOPS 307313 HAS SOUS 233807 HAS SOUPS 233807 WITH SCORE 234114.313
AT ITER 9534 NEW BEST:: SOT 2435845 SOS 307232 HAS SOPS 307232 HAS SOUS 233724 HAS SOUPS 233724 WITH SCORE 234031.232
AT ITER 9565 NEW BEST:: SOT 2435705 SOS 307002 HAS SOPS 307002 HAS SOUS 233584 HAS SOUPS 233584 WITH SCORE 233891.002
AT ITER 9574 NEW BEST:: SOT 2435684 SOS 306967 HAS SOPS 306967 HAS SOUS 233557 HAS SOUPS 233557 WITH SCORE 233863.967
AT ITER 9580 NEW BEST:: SOT 2435576 SOS 306859 HAS SOPS 306859 HAS SOUS 233486 HAS SOUPS 233486 WITH SCORE 233792.859
AT ITER 9597 NEW BEST:: SOT 2435177 SOS 306964 HAS SOPS 306964 HAS SOUS 233423 HAS SOUPS 233423 WITH SCORE 233729.964
AT ITER 9612 NEW BEST:: SOT 2435184 SOS 307108 HAS SOPS 307108 HAS SOUS 233385 HAS SOUPS 233385 WITH SCORE 233692.108
AT ITER 9624 NEW BEST:: SOT 2435052 SOS 306683 HAS SOPS 306683 HAS SOUS 233154 HAS SOUPS 233154 WITH SCORE 233460.683
AT ITER 9630 NEW BEST:: SOT 2434983 SOS 306224 HAS SOPS 306224 HAS SOUS 232807 HAS SOUPS 232807 WITH SCORE 233113.224
AT ITER 9636 NEW BEST:: SOT 2434955 SOS 306282 HAS SOPS 306282 HAS SOUS 232681 HAS SOUPS 232681 WITH SCORE 232987.282
AT ITER 9641 NEW BEST:: SOT 2434977 SOS 305786 HAS SOPS 305786 HAS SOUS 232649 HAS SOUPS 232649 WITH SCORE 232954.786
AT ITER 9676 NEW BEST:: SOT 2434164 SOS 307347 HAS SOPS 307347 HAS SOUS 232236 HAS SOUPS 232236 WITH SCORE 232543.347
AT ITER 9678 NEW BEST:: SOT 2434186 SOS 307391 HAS SOPS 307391 HAS SOUS 232211 HAS SOUPS 232211 WITH SCORE 232518.391
AT ITER 9680 NEW BEST:: SOT 2434176 SOS 307381 HAS SOPS 307381 HAS SOUS 232201 HAS SOUPS 232201 WITH SCORE 232508.381
AT ITER 9710 NEW BEST:: SOT 2433814 SOS 307539 HAS SOPS 307539 HAS SOUS 231943 HAS SOUPS 231943 WITH SCORE 232250.539
AT ITER 9712 NEW BEST:: SOT 2433750 SOS 307513 HAS SOPS 307513 HAS SOUS 231932 HAS SOUPS 231932 WITH SCORE 232239.513
AT ITER 9740 NEW BEST:: SOT 2433738 SOS 307501 HAS SOPS 307501 HAS SOUS 231920 HAS SOUPS 231920 WITH SCORE 232227.501
AT ITER 9755 NEW BEST:: SOT 2433675 SOS 307375 HAS SOPS 307375 HAS SOUS 231792 HAS SOUPS 231792 WITH SCORE 232099.375
AT ITER 9776 NEW BEST:: SOT 2433486 SOS 307294 HAS SOPS 307294 HAS SOUS 231702 HAS SOUPS 231702 WITH SCORE 232009.294
AT ITER 9794 NEW BEST:: SOT 2433455 SOS 307232 HAS SOPS 307232 HAS SOUS 231615 HAS SOUPS 231615 WITH SCORE 231922.232
AT ITER 9820 NEW BEST:: SOT 2433455 SOS 307214 HAS SOPS 307214 HAS SOUS 231615 HAS SOUPS 231615 WITH SCORE 231922.214
AT ITER 9865 NEW BEST:: SOT 2433226 SOS 306954 HAS SOPS 306954 HAS SOUS 231353 HAS SOUPS 231353 WITH SCORE 231659.954
AT ITER 9866 NEW BEST:: SOT 2433199 SOS 306944 HAS SOPS 306944 HAS SOUS 231295 HAS SOUPS 231295 WITH SCORE 231601.944
AT ITER 9912 NEW BEST:: SOT 2432577 SOS 306087 HAS SOPS 306087 HAS SOUS 230428 HAS SOUPS 230428 WITH SCORE 230734.087
AT ITER 9927 NEW BEST:: SOT 2432491 SOS 306001 HAS SOPS 306001 HAS SOUS 230342 HAS SOUPS 230342 WITH SCORE 230648.001
AT ITER 9994 NEW BEST:: SOT 2432458 SOS 305934 HAS SOPS 305934 HAS SOUS 230336 HAS SOUPS 230336 WITH SCORE 230641.934
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 11612928 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16123600 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="NoC3x3-PT-2B"
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-2B, 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-167863541600256"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/NoC3x3-PT-2B.tgz
mv NoC3x3-PT-2B execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;