fond

jQuery Multi Level CSS Menu Css3Menu.com

Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r107-tall-167814484000248
Last Updated
May 14, 2023

About the Execution of Smart+red for DBSingleClientW-PT-d1m05

Execution Summary
Max Memory
Used (MB)		 Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
7905.588 3600000.00 3651132.00 8996.00 [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.r107-tall-167814484000248.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 DBSingleClientW-PT-d1m05, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484000248
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 832K
-rw-r--r-- 1 mcc users 8.7K Feb 26 15:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 96K Feb 26 15:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 26 15:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 26 15:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:49 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 15:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 106K Feb 26 15:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 26 15:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 37K Feb 26 15:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 432K Mar 5 18:22 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 1678348683937

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=DBSingleClientW-PT-d1m05
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 07:58:05] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 07:58:05] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 07:58:05] [INFO ] Load time of PNML (sax parser for PT used): 82 ms
[2023-03-09 07:58:05] [INFO ] Transformed 1440 places.
[2023-03-09 07:58:05] [INFO ] Transformed 672 transitions.
[2023-03-09 07:58:05] [INFO ] Parsed PT model containing 1440 places and 672 transitions and 2688 arcs in 145 ms.
[2023-03-09 07:58:05] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1440 places, 672 transitions and 2688 arcs took 10 ms.
Total runtime 182 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DBSingleClientW (PT), instance d1m05
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: 1440 places, 672 transitions, 2688 arcs.
AT ITER 0 NEW BEST:: SOT 229313 SOS 216647 HAS SOPS 216632 HAS SOUS 158140 HAS SOUPS 158125 WITH SCORE 158341.647
AT ITER 11 NEW BEST:: SOT 229497 SOS 216831 HAS SOPS 216816 HAS SOUS 158118 HAS SOUPS 158103 WITH SCORE 158319.831
AT ITER 27 NEW BEST:: SOT 229497 SOS 216996 HAS SOPS 216981 HAS SOUS 158102 HAS SOUPS 158087 WITH SCORE 158303.996
AT ITER 51 NEW BEST:: SOT 229497 SOS 215278 HAS SOPS 215263 HAS SOUS 157972 HAS SOUPS 157957 WITH SCORE 158172.278
AT ITER 116 NEW BEST:: SOT 229537 SOS 215318 HAS SOPS 215303 HAS SOUS 157606 HAS SOUPS 157591 WITH SCORE 157806.318
AT ITER 148 NEW BEST:: SOT 229599 SOS 215380 HAS SOPS 215365 HAS SOUS 157511 HAS SOUPS 157496 WITH SCORE 157711.38
AT ITER 157 NEW BEST:: SOT 229649 SOS 215430 HAS SOPS 215415 HAS SOUS 157397 HAS SOUPS 157382 WITH SCORE 157597.43
AT ITER 177 NEW BEST:: SOT 229856 SOS 215637 HAS SOPS 215622 HAS SOUS 157179 HAS SOUPS 157164 WITH SCORE 157379.637
AT ITER 178 NEW BEST:: SOT 230072 SOS 215853 HAS SOPS 215838 HAS SOUS 156801 HAS SOUPS 156786 WITH SCORE 157001.853
AT ITER 184 NEW BEST:: SOT 230072 SOS 215709 HAS SOPS 215694 HAS SOUS 156801 HAS SOUPS 156786 WITH SCORE 157001.709
AT ITER 208 NEW BEST:: SOT 230072 SOS 215714 HAS SOPS 215699 HAS SOUS 156493 HAS SOUPS 156478 WITH SCORE 156693.714
AT ITER 235 NEW BEST:: SOT 230072 SOS 215374 HAS SOPS 215359 HAS SOUS 154963 HAS SOUPS 154948 WITH SCORE 155163.374
AT ITER 240 NEW BEST:: SOT 230918 SOS 215977 HAS SOPS 215962 HAS SOUS 153134 HAS SOUPS 153119 WITH SCORE 153334.977
AT ITER 245 NEW BEST:: SOT 230918 SOS 216127 HAS SOPS 216112 HAS SOUS 152959 HAS SOUPS 152944 WITH SCORE 153160.127
AT ITER 313 NEW BEST:: SOT 231174 SOS 216383 HAS SOPS 216368 HAS SOUS 152789 HAS SOUPS 152774 WITH SCORE 152990.383
AT ITER 353 NEW BEST:: SOT 231354 SOS 213806 HAS SOPS 213771 HAS SOUS 152563 HAS SOUPS 152539 WITH SCORE 152752.806
AT ITER 401 NEW BEST:: SOT 231690 SOS 212508 HAS SOPS 212452 HAS SOUS 152484 HAS SOUPS 152453 WITH SCORE 152665.508
AT ITER 442 NEW BEST:: SOT 232412 SOS 211374 HAS SOPS 211281 HAS SOUS 147570 HAS SOUPS 147523 WITH SCORE 147734.374
AT ITER 450 NEW BEST:: SOT 235051 SOS 212168 HAS SOPS 211977 HAS SOUS 144268 HAS SOUPS 144160 WITH SCORE 144372.168
AT ITER 480 NEW BEST:: SOT 235057 SOS 211953 HAS SOPS 211759 HAS SOUS 143823 HAS SOUPS 143715 WITH SCORE 143926.953
AT ITER 486 NEW BEST:: SOT 235057 SOS 211889 HAS SOPS 211695 HAS SOUS 143759 HAS SOUPS 143651 WITH SCORE 143862.889
AT ITER 492 NEW BEST:: SOT 235057 SOS 211599 HAS SOPS 211405 HAS SOUS 143703 HAS SOUPS 143595 WITH SCORE 143806.599
AT ITER 573 NEW BEST:: SOT 235057 SOS 211519 HAS SOPS 211325 HAS SOUS 143703 HAS SOUPS 143595 WITH SCORE 143806.519
AT ITER 602 NEW BEST:: SOT 235099 SOS 211561 HAS SOPS 211367 HAS SOUS 143070 HAS SOUPS 142962 WITH SCORE 143173.561
AT ITER 607 NEW BEST:: SOT 235889 SOS 211490 HAS SOPS 211141 HAS SOUS 141163 HAS SOUPS 141044 WITH SCORE 141255.49
AT ITER 651 NEW BEST:: SOT 235889 SOS 211286 HAS SOPS 210937 HAS SOUS 140908 HAS SOUPS 140789 WITH SCORE 141000.286
AT ITER 708 NEW BEST:: SOT 235889 SOS 211286 HAS SOPS 210937 HAS SOUS 140906 HAS SOUPS 140787 WITH SCORE 140998.286
AT ITER 715 NEW BEST:: SOT 235889 SOS 209977 HAS SOPS 209628 HAS SOUS 140816 HAS SOUPS 140697 WITH SCORE 140906.977
AT ITER 800 NEW BEST:: SOT 235889 SOS 209977 HAS SOPS 209628 HAS SOUS 140782 HAS SOUPS 140663 WITH SCORE 140872.977
AT ITER 847 NEW BEST:: SOT 236012 SOS 210100 HAS SOPS 209751 HAS SOUS 140471 HAS SOUPS 140352 WITH SCORE 140562.1
AT ITER 881 NEW BEST:: SOT 236012 SOS 209907 HAS SOPS 209558 HAS SOUS 139936 HAS SOUPS 139817 WITH SCORE 140026.907
AT ITER 911 NEW BEST:: SOT 236012 SOS 209791 HAS SOPS 209442 HAS SOUS 139936 HAS SOUPS 139817 WITH SCORE 140026.791
AT ITER 926 NEW BEST:: SOT 237143 SOS 210329 HAS SOPS 209811 HAS SOUS 139368 HAS SOUPS 139235 WITH SCORE 139445.329
AT ITER 927 NEW BEST:: SOT 237143 SOS 210271 HAS SOPS 209753 HAS SOUS 139368 HAS SOUPS 139235 WITH SCORE 139445.271
AT ITER 949 NEW BEST:: SOT 237143 SOS 206235 HAS SOPS 205717 HAS SOUS 139368 HAS SOUPS 139235 WITH SCORE 139441.235
AT ITER 977 NEW BEST:: SOT 237143 SOS 206235 HAS SOPS 205717 HAS SOUS 139239 HAS SOUPS 139106 WITH SCORE 139312.235
AT ITER 985 NEW BEST:: SOT 237203 SOS 206261 HAS SOPS 205743 HAS SOUS 139045 HAS SOUPS 138912 WITH SCORE 139118.261
AT ITER 988 NEW BEST:: SOT 237203 SOS 206250 HAS SOPS 205732 HAS SOUS 139044 HAS SOUPS 138911 WITH SCORE 139117.25
AT ITER 999 NEW BEST:: SOT 237203 SOS 206213 HAS SOPS 205695 HAS SOUS 138907 HAS SOUPS 138774 WITH SCORE 138980.213
AT ITER 1005 NEW BEST:: SOT 237253 SOS 206107 HAS SOPS 205589 HAS SOUS 138876 HAS SOUPS 138743 WITH SCORE 138949.107
AT ITER 1012 NEW BEST:: SOT 237253 SOS 205926 HAS SOPS 205408 HAS SOUS 138839 HAS SOUPS 138706 WITH SCORE 138911.926
AT ITER 1025 NEW BEST:: SOT 237285 SOS 205915 HAS SOPS 205365 HAS SOUS 138796 HAS SOUPS 138663 WITH SCORE 138868.915
AT ITER 1038 NEW BEST:: SOT 239986 SOS 207701 HAS SOPS 206982 HAS SOUS 138392 HAS SOUPS 138259 WITH SCORE 138466.701
AT ITER 1057 NEW BEST:: SOT 240176 SOS 207887 HAS SOPS 207168 HAS SOUS 138279 HAS SOUPS 138146 WITH SCORE 138353.887
AT ITER 1063 NEW BEST:: SOT 240176 SOS 207042 HAS SOPS 206323 HAS SOUS 137342 HAS SOUPS 137209 WITH SCORE 137416.042
AT ITER 1069 NEW BEST:: SOT 240332 SOS 207198 HAS SOPS 206479 HAS SOUS 137318 HAS SOUPS 137185 WITH SCORE 137392.198
AT ITER 1099 NEW BEST:: SOT 240610 SOS 205702 HAS SOPS 204892 HAS SOUS 135824 HAS SOUPS 135691 WITH SCORE 135896.702
AT ITER 1111 NEW BEST:: SOT 241321 SOS 206350 HAS SOPS 205540 HAS SOUS 135707 HAS SOUPS 135574 WITH SCORE 135780.35
AT ITER 1115 NEW BEST:: SOT 245252 SOS 208962 HAS SOPS 207983 HAS SOUS 135463 HAS SOUPS 135330 WITH SCORE 135538.962
AT ITER 1156 NEW BEST:: SOT 245358 SOS 209068 HAS SOPS 208089 HAS SOUS 135394 HAS SOUPS 135261 WITH SCORE 135470.068
AT ITER 1193 NEW BEST:: SOT 245358 SOS 209061 HAS SOPS 208082 HAS SOUS 135387 HAS SOUPS 135254 WITH SCORE 135463.061
AT ITER 1198 NEW BEST:: SOT 245358 SOS 209048 HAS SOPS 208069 HAS SOUS 135361 HAS SOUPS 135228 WITH SCORE 135437.048
AT ITER 1257 NEW BEST:: SOT 245358 SOS 206814 HAS SOPS 205835 HAS SOUS 133495 HAS SOUPS 133362 WITH SCORE 133568.814
AT ITER 1303 NEW BEST:: SOT 245339 SOS 206795 HAS SOPS 205835 HAS SOUS 133495 HAS SOUPS 133362 WITH SCORE 133568.795
AT ITER 1491 NEW BEST:: SOT 245339 SOS 206795 HAS SOPS 205835 HAS SOUS 133486 HAS SOUPS 133353 WITH SCORE 133559.795
AT ITER 1543 NEW BEST:: SOT 245339 SOS 206810 HAS SOPS 205850 HAS SOUS 133479 HAS SOUPS 133346 WITH SCORE 133552.81
AT ITER 1551 NEW BEST:: SOT 245339 SOS 205523 HAS SOPS 204563 HAS SOUS 132890 HAS SOUPS 132757 WITH SCORE 132962.523
AT ITER 1578 NEW BEST:: SOT 245339 SOS 205468 HAS SOPS 204508 HAS SOUS 132775 HAS SOUPS 132642 WITH SCORE 132847.468
AT ITER 1582 NEW BEST:: SOT 245465 SOS 205594 HAS SOPS 204634 HAS SOUS 132701 HAS SOUPS 132568 WITH SCORE 132773.594
AT ITER 1621 NEW BEST:: SOT 246079 SOS 204766 HAS SOPS 203673 HAS SOUS 130958 HAS SOUPS 130825 WITH SCORE 131029.766
AT ITER 1670 NEW BEST:: SOT 246079 SOS 204686 HAS SOPS 203593 HAS SOUS 130804 HAS SOUPS 130671 WITH SCORE 130875.686
AT ITER 1671 NEW BEST:: SOT 243819 SOS 202426 HAS SOPS 201333 HAS SOUS 129368 HAS SOUPS 129235 WITH SCORE 129437.426
AT ITER 1672 NEW BEST:: SOT 243819 SOS 202315 HAS SOPS 201222 HAS SOUS 129368 HAS SOUPS 129235 WITH SCORE 129437.315
AT ITER 1688 NEW BEST:: SOT 244174 SOS 201360 HAS SOPS 200172 HAS SOUS 127512 HAS SOUPS 127379 WITH SCORE 127580.36
AT ITER 1735 NEW BEST:: SOT 244174 SOS 201321 HAS SOPS 200133 HAS SOUS 127363 HAS SOUPS 127230 WITH SCORE 127431.321
AT ITER 1805 NEW BEST:: SOT 244520 SOS 201413 HAS SOPS 200215 HAS SOUS 126716 HAS SOUPS 126583 WITH SCORE 126784.413
AT ITER 1816 NEW BEST:: SOT 244588 SOS 201481 HAS SOPS 200283 HAS SOUS 126676 HAS SOUPS 126543 WITH SCORE 126744.481
AT ITER 1827 NEW BEST:: SOT 244588 SOS 201456 HAS SOPS 200258 HAS SOUS 126614 HAS SOUPS 126481 WITH SCORE 126682.456
AT ITER 1849 NEW BEST:: SOT 249050 SOS 202400 HAS SOPS 200230 HAS SOUS 126343 HAS SOUPS 126043 WITH SCORE 126245.4
AT ITER 1854 NEW BEST:: SOT 249104 SOS 202454 HAS SOPS 200284 HAS SOUS 126254 HAS SOUPS 125954 WITH SCORE 126156.454
AT ITER 1866 NEW BEST:: SOT 249104 SOS 202454 HAS SOPS 200284 HAS SOUS 126175 HAS SOUPS 125875 WITH SCORE 126077.454
AT ITER 1929 NEW BEST:: SOT 250476 SOS 200289 HAS SOPS 197420 HAS SOUS 122983 HAS SOUPS 122683 WITH SCORE 122883.289
AT ITER 1960 NEW BEST:: SOT 250476 SOS 200249 HAS SOPS 197380 HAS SOUS 122833 HAS SOUPS 122533 WITH SCORE 122733.249
AT ITER 2008 NEW BEST:: SOT 255130 SOS 202661 HAS SOPS 198839 HAS SOUS 120582 HAS SOUPS 120282 WITH SCORE 120484.661
AT ITER 2022 NEW BEST:: SOT 255225 SOS 202756 HAS SOPS 198934 HAS SOUS 120103 HAS SOUPS 119803 WITH SCORE 120005.756
AT ITER 2072 NEW BEST:: SOT 253628 SOS 201159 HAS SOPS 197790 HAS SOUS 119156 HAS SOUPS 118958 WITH SCORE 119159.159
AT ITER 2077 NEW BEST:: SOT 254274 SOS 199283 HAS SOPS 195410 HAS SOUS 118315 HAS SOUPS 118117 WITH SCORE 118316.283
AT ITER 2082 NEW BEST:: SOT 254482 SOS 199491 HAS SOPS 195618 HAS SOUS 118294 HAS SOUPS 118096 WITH SCORE 118295.491
AT ITER 2101 NEW BEST:: SOT 254482 SOS 199336 HAS SOPS 195463 HAS SOUS 117984 HAS SOUPS 117786 WITH SCORE 117985.336
AT ITER 2118 NEW BEST:: SOT 254482 SOS 199336 HAS SOPS 195463 HAS SOUS 117960 HAS SOUPS 117762 WITH SCORE 117961.336
AT ITER 2130 NEW BEST:: SOT 254588 SOS 198822 HAS SOPS 194846 HAS SOUS 117329 HAS SOUPS 117131 WITH SCORE 117329.822
AT ITER 2159 NEW BEST:: SOT 254588 SOS 198821 HAS SOPS 194845 HAS SOUS 117328 HAS SOUPS 117130 WITH SCORE 117328.821
AT ITER 2167 NEW BEST:: SOT 254588 SOS 196636 HAS SOPS 192660 HAS SOUS 117200 HAS SOUPS 117002 WITH SCORE 117198.636
AT ITER 2204 NEW BEST:: SOT 254612 SOS 196660 HAS SOPS 192684 HAS SOUS 117046 HAS SOUPS 116848 WITH SCORE 117044.66
AT ITER 2216 NEW BEST:: SOT 254612 SOS 196660 HAS SOPS 192684 HAS SOUS 116953 HAS SOUPS 116755 WITH SCORE 116951.66
AT ITER 2242 NEW BEST:: SOT 254592 SOS 196640 HAS SOPS 192664 HAS SOUS 116933 HAS SOUPS 116735 WITH SCORE 116931.64
AT ITER 2258 NEW BEST:: SOT 254618 SOS 196441 HAS SOPS 192465 HAS SOUS 116907 HAS SOUPS 116709 WITH SCORE 116905.441
AT ITER 2267 NEW BEST:: SOT 254618 SOS 196298 HAS SOPS 192322 HAS SOUS 116621 HAS SOUPS 116423 WITH SCORE 116619.298
AT ITER 2289 NEW BEST:: SOT 254618 SOS 196218 HAS SOPS 192242 HAS SOUS 116525 HAS SOUPS 116327 WITH SCORE 116523.218
AT ITER 2336 NEW BEST:: SOT 254618 SOS 196218 HAS SOPS 192242 HAS SOUS 115907 HAS SOUPS 115709 WITH SCORE 115905.218
AT ITER 2405 NEW BEST:: SOT 254634 SOS 196234 HAS SOPS 192258 HAS SOUS 115900 HAS SOUPS 115702 WITH SCORE 115898.234
AT ITER 2416 NEW BEST:: SOT 254644 SOS 196244 HAS SOPS 192268 HAS SOUS 115897 HAS SOUPS 115699 WITH SCORE 115895.244
AT ITER 2444 NEW BEST:: SOT 254610 SOS 196151 HAS SOPS 192141 HAS SOUS 115770 HAS SOUPS 115572 WITH SCORE 115768.151
AT ITER 2493 NEW BEST:: SOT 254610 SOS 196023 HAS SOPS 192013 HAS SOUS 115655 HAS SOUPS 115457 WITH SCORE 115653.023
AT ITER 2520 NEW BEST:: SOT 254610 SOS 196023 HAS SOPS 192013 HAS SOUS 115615 HAS SOUPS 115417 WITH SCORE 115613.023
AT ITER 2537 NEW BEST:: SOT 254610 SOS 195910 HAS SOPS 191900 HAS SOUS 115615 HAS SOUPS 115417 WITH SCORE 115612.91
AT ITER 2539 NEW BEST:: SOT 254610 SOS 195753 HAS SOPS 191743 HAS SOUS 115218 HAS SOUPS 115020 WITH SCORE 115215.753
AT ITER 2540 NEW BEST:: SOT 258401 SOS 195680 HAS SOPS 190787 HAS SOUS 112258 HAS SOUPS 112060 WITH SCORE 112255.68
AT ITER 2550 NEW BEST:: SOT 259228 SOS 193939 HAS SOPS 188199 HAS SOUS 111854 HAS SOUPS 111654 WITH SCORE 111847.939
AT ITER 2588 NEW BEST:: SOT 259228 SOS 193863 HAS SOPS 188123 HAS SOUS 111580 HAS SOUPS 111380 WITH SCORE 111573.863
AT ITER 2589 NEW BEST:: SOT 259228 SOS 193801 HAS SOPS 188061 HAS SOUS 111379 HAS SOUPS 111179 WITH SCORE 111372.801
AT ITER 2632 NEW BEST:: SOT 259228 SOS 193823 HAS SOPS 188083 HAS SOUS 111373 HAS SOUPS 111173 WITH SCORE 111366.823
AT ITER 2643 NEW BEST:: SOT 259216 SOS 193811 HAS SOPS 188071 HAS SOUS 111367 HAS SOUPS 111167 WITH SCORE 111360.811
AT ITER 2645 NEW BEST:: SOT 259216 SOS 193811 HAS SOPS 188071 HAS SOUS 111356 HAS SOUPS 111156 WITH SCORE 111349.811
AT ITER 2669 NEW BEST:: SOT 259216 SOS 193715 HAS SOPS 187975 HAS SOUS 111122 HAS SOUPS 110922 WITH SCORE 111115.715
AT ITER 2691 NEW BEST:: SOT 259222 SOS 193721 HAS SOPS 187981 HAS SOUS 111035 HAS SOUPS 110835 WITH SCORE 111028.721
AT ITER 2724 NEW BEST:: SOT 259222 SOS 193414 HAS SOPS 187674 HAS SOUS 111035 HAS SOUPS 110835 WITH SCORE 111028.414
AT ITER 2734 NEW BEST:: SOT 259222 SOS 193414 HAS SOPS 187674 HAS SOUS 111033 HAS SOUPS 110833 WITH SCORE 111026.414
AT ITER 2752 NEW BEST:: SOT 259297 SOS 193481 HAS SOPS 187741 HAS SOUS 110950 HAS SOUPS 110750 WITH SCORE 110943.481
AT ITER 2754 NEW BEST:: SOT 259297 SOS 193462 HAS SOPS 187722 HAS SOUS 110912 HAS SOUPS 110712 WITH SCORE 110905.462
AT ITER 2776 NEW BEST:: SOT 259297 SOS 193352 HAS SOPS 187612 HAS SOUS 110802 HAS SOUPS 110602 WITH SCORE 110795.352
AT ITER 2784 NEW BEST:: SOT 259705 SOS 193724 HAS SOPS 187984 HAS SOUS 110643 HAS SOUPS 110443 WITH SCORE 110636.724
AT ITER 2802 NEW BEST:: SOT 261103 SOS 192690 HAS SOPS 185938 HAS SOUS 110624 HAS SOUPS 110369 WITH SCORE 110561.69
AT ITER 2808 NEW BEST:: SOT 261103 SOS 192690 HAS SOPS 185938 HAS SOUS 110606 HAS SOUPS 110351 WITH SCORE 110543.69
AT ITER 2819 NEW BEST:: SOT 261299 SOS 192851 HAS SOPS 186099 HAS SOUS 110559 HAS SOUPS 110304 WITH SCORE 110496.851
AT ITER 2822 NEW BEST:: SOT 261454 SOS 192961 HAS SOPS 186054 HAS SOUS 110501 HAS SOUPS 110246 WITH SCORE 110438.961
AT ITER 2824 NEW BEST:: SOT 261454 SOS 192805 HAS SOPS 185898 HAS SOUS 110189 HAS SOUPS 109934 WITH SCORE 110126.805
AT ITER 2843 NEW BEST:: SOT 261529 SOS 192828 HAS SOPS 185846 HAS SOUS 110137 HAS SOUPS 109882 WITH SCORE 110074.828
AT ITER 2849 NEW BEST:: SOT 261563 SOS 192997 HAS SOPS 186015 HAS SOUS 110085 HAS SOUPS 109830 WITH SCORE 110022.997
AT ITER 2877 NEW BEST:: SOT 261563 SOS 192967 HAS SOPS 185985 HAS SOUS 110059 HAS SOUPS 109804 WITH SCORE 109996.967
AT ITER 2879 NEW BEST:: SOT 261655 SOS 193059 HAS SOPS 186077 HAS SOUS 109950 HAS SOUPS 109695 WITH SCORE 109888.059
AT ITER 2880 NEW BEST:: SOT 261749 SOS 193153 HAS SOPS 186171 HAS SOUS 109804 HAS SOUPS 109549 WITH SCORE 109742.153
AT ITER 2896 NEW BEST:: SOT 261797 SOS 193198 HAS SOPS 186216 HAS SOUS 109515 HAS SOUPS 109260 WITH SCORE 109453.198
AT ITER 2916 NEW BEST:: SOT 261797 SOS 189544 HAS SOPS 182562 HAS SOUS 108212 HAS SOUPS 107957 WITH SCORE 108146.544
AT ITER 2922 NEW BEST:: SOT 261852 SOS 189599 HAS SOPS 182617 HAS SOUS 108182 HAS SOUPS 107927 WITH SCORE 108116.599
AT ITER 2953 NEW BEST:: SOT 262215 SOS 187554 HAS SOPS 179981 HAS SOUS 107881 HAS SOUPS 107626 WITH SCORE 107813.554
AT ITER 3003 NEW BEST:: SOT 262315 SOS 187582 HAS SOPS 180009 HAS SOUS 107768 HAS SOUPS 107513 WITH SCORE 107700.582
AT ITER 3032 NEW BEST:: SOT 262297 SOS 187564 HAS SOPS 180009 HAS SOUS 107768 HAS SOUPS 107513 WITH SCORE 107700.564
AT ITER 3063 NEW BEST:: SOT 262297 SOS 187378 HAS SOPS 179823 HAS SOUS 107589 HAS SOUPS 107334 WITH SCORE 107521.378
AT ITER 3184 NEW BEST:: SOT 262297 SOS 187369 HAS SOPS 179814 HAS SOUS 107331 HAS SOUPS 107076 WITH SCORE 107263.369
AT ITER 3189 NEW BEST:: SOT 262263 SOS 187335 HAS SOPS 179780 HAS SOUS 107297 HAS SOUPS 107042 WITH SCORE 107229.335
AT ITER 3200 NEW BEST:: SOT 262263 SOS 187335 HAS SOPS 179780 HAS SOUS 107276 HAS SOUPS 107021 WITH SCORE 107208.335
AT ITER 3226 NEW BEST:: SOT 262417 SOS 187489 HAS SOPS 179934 HAS SOUS 107229 HAS SOUPS 106974 WITH SCORE 107161.489
AT ITER 3233 NEW BEST:: SOT 262417 SOS 187458 HAS SOPS 179903 HAS SOUS 107209 HAS SOUPS 106954 WITH SCORE 107141.458
AT ITER 3257 NEW BEST:: SOT 262417 SOS 187326 HAS SOPS 179771 HAS SOUS 107209 HAS SOUPS 106954 WITH SCORE 107141.326
AT ITER 3405 NEW BEST:: SOT 262145 SOS 187054 HAS SOPS 179499 HAS SOUS 107131 HAS SOUPS 106876 WITH SCORE 107063.054
AT ITER 3446 NEW BEST:: SOT 262145 SOS 187054 HAS SOPS 179499 HAS SOUS 107127 HAS SOUPS 106872 WITH SCORE 107059.054
AT ITER 3474 NEW BEST:: SOT 262145 SOS 187124 HAS SOPS 179569 HAS SOUS 107057 HAS SOUPS 106802 WITH SCORE 106989.124
AT ITER 3478 NEW BEST:: SOT 262501 SOS 187135 HAS SOPS 179570 HAS SOUS 106923 HAS SOUPS 106668 WITH SCORE 106855.135
AT ITER 3480 NEW BEST:: SOT 262915 SOS 187447 HAS SOPS 179882 HAS SOUS 106712 HAS SOUPS 106457 WITH SCORE 106644.447
AT ITER 3503 NEW BEST:: SOT 263106 SOS 187214 HAS SOPS 179639 HAS SOUS 106460 HAS SOUPS 106205 WITH SCORE 106392.214
AT ITER 3539 NEW BEST:: SOT 263106 SOS 187214 HAS SOPS 179639 HAS SOUS 106317 HAS SOUPS 106062 WITH SCORE 106249.214
AT ITER 3636 NEW BEST:: SOT 263106 SOS 187290 HAS SOPS 179715 HAS SOUS 106278 HAS SOUPS 106023 WITH SCORE 106210.29
AT ITER 3660 NEW BEST:: SOT 263850 SOS 188034 HAS SOPS 180459 HAS SOUS 106082 HAS SOUPS 105827 WITH SCORE 106015.034
AT ITER 3735 NEW BEST:: SOT 264026 SOS 188210 HAS SOPS 180635 HAS SOUS 106038 HAS SOUPS 105783 WITH SCORE 105971.21
AT ITER 3770 NEW BEST:: SOT 264026 SOS 188210 HAS SOPS 180635 HAS SOUS 106037 HAS SOUPS 105782 WITH SCORE 105970.21
AT ITER 3802 NEW BEST:: SOT 264026 SOS 188080 HAS SOPS 180505 HAS SOUS 106020 HAS SOUPS 105765 WITH SCORE 105953.08
AT ITER 3823 NEW BEST:: SOT 264414 SOS 188468 HAS SOPS 180893 HAS SOUS 105920 HAS SOUPS 105665 WITH SCORE 105853.468
AT ITER 3848 NEW BEST:: SOT 264414 SOS 188193 HAS SOPS 180618 HAS SOUS 105742 HAS SOUPS 105487 WITH SCORE 105675.193
AT ITER 3888 NEW BEST:: SOT 265070 SOS 188849 HAS SOPS 181274 HAS SOUS 105354 HAS SOUPS 105099 WITH SCORE 105287.849
AT ITER 3925 NEW BEST:: SOT 265078 SOS 188868 HAS SOPS 181293 HAS SOUS 105098 HAS SOUPS 104843 WITH SCORE 105031.868
AT ITER 3966 NEW BEST:: SOT 265078 SOS 188808 HAS SOPS 181233 HAS SOUS 105038 HAS SOUPS 104783 WITH SCORE 104971.808
AT ITER 3986 NEW BEST:: SOT 265322 SOS 188949 HAS SOPS 181364 HAS SOUS 104910 HAS SOUPS 104655 WITH SCORE 104843.949
AT ITER 3998 NEW BEST:: SOT 265322 SOS 188949 HAS SOPS 181364 HAS SOUS 104563 HAS SOUPS 104308 WITH SCORE 104496.949
AT ITER 4019 NEW BEST:: SOT 265374 SOS 189001 HAS SOPS 181416 HAS SOUS 104317 HAS SOUPS 104062 WITH SCORE 104251.001
AT ITER 4033 NEW BEST:: SOT 265374 SOS 189095 HAS SOPS 181510 HAS SOUS 104226 HAS SOUPS 103971 WITH SCORE 104160.095
AT ITER 4054 NEW BEST:: SOT 265406 SOS 189127 HAS SOPS 181478 HAS SOUS 104210 HAS SOUPS 103955 WITH SCORE 104144.127
AT ITER 4092 NEW BEST:: SOT 263272 SOS 186993 HAS SOPS 179478 HAS SOUS 104076 HAS SOUPS 103821 WITH SCORE 104007.993
AT ITER 4125 NEW BEST:: SOT 263157 SOS 186878 HAS SOPS 179363 HAS SOUS 103928 HAS SOUPS 103673 WITH SCORE 103859.878
AT ITER 4132 NEW BEST:: SOT 263251 SOS 186633 HAS SOPS 179118 HAS SOUS 103755 HAS SOUPS 103500 WITH SCORE 103686.633
AT ITER 4168 NEW BEST:: SOT 263307 SOS 186689 HAS SOPS 179174 HAS SOUS 103694 HAS SOUPS 103439 WITH SCORE 103625.689
AT ITER 4172 NEW BEST:: SOT 263425 SOS 186807 HAS SOPS 179292 HAS SOUS 103668 HAS SOUPS 103413 WITH SCORE 103599.807
AT ITER 4226 NEW BEST:: SOT 263425 SOS 186608 HAS SOPS 179093 HAS SOUS 103656 HAS SOUPS 103401 WITH SCORE 103587.608
AT ITER 4261 NEW BEST:: SOT 264753 SOS 187936 HAS SOPS 180421 HAS SOUS 103462 HAS SOUPS 103207 WITH SCORE 103394.936
AT ITER 4295 NEW BEST:: SOT 264753 SOS 187936 HAS SOPS 180421 HAS SOUS 103405 HAS SOUPS 103150 WITH SCORE 103337.936
AT ITER 4334 NEW BEST:: SOT 264496 SOS 187679 HAS SOPS 180164 HAS SOUS 103385 HAS SOUPS 103130 WITH SCORE 103317.679
AT ITER 4338 NEW BEST:: SOT 264734 SOS 187901 HAS SOPS 180386 HAS SOUS 103152 HAS SOUPS 102897 WITH SCORE 103084.901
AT ITER 4377 NEW BEST:: SOT 264734 SOS 187901 HAS SOPS 180386 HAS SOUS 103116 HAS SOUPS 102861 WITH SCORE 103048.901
AT ITER 4392 NEW BEST:: SOT 264887 SOS 188047 HAS SOPS 180532 HAS SOUS 102996 HAS SOUPS 102741 WITH SCORE 102929.047
AT ITER 4408 NEW BEST:: SOT 264887 SOS 187954 HAS SOPS 180439 HAS SOUS 102944 HAS SOUPS 102689 WITH SCORE 102876.954
AT ITER 4416 NEW BEST:: SOT 264887 SOS 188240 HAS SOPS 180725 HAS SOUS 102597 HAS SOUPS 102342 WITH SCORE 102530.24
AT ITER 4442 NEW BEST:: SOT 264887 SOS 188070 HAS SOPS 180555 HAS SOUS 102554 HAS SOUPS 102299 WITH SCORE 102487.07
AT ITER 4454 NEW BEST:: SOT 264887 SOS 188070 HAS SOPS 180555 HAS SOUS 102541 HAS SOUPS 102286 WITH SCORE 102474.07
AT ITER 4506 NEW BEST:: SOT 265613 SOS 188684 HAS SOPS 181169 HAS SOUS 102217 HAS SOUPS 101962 WITH SCORE 102150.684
AT ITER 4629 NEW BEST:: SOT 265613 SOS 188595 HAS SOPS 181080 HAS SOUS 102138 HAS SOUPS 101883 WITH SCORE 102071.595
AT ITER 4667 NEW BEST:: SOT 265613 SOS 188574 HAS SOPS 181059 HAS SOUS 102117 HAS SOUPS 101862 WITH SCORE 102050.574
AT ITER 4677 NEW BEST:: SOT 265613 SOS 188574 HAS SOPS 181059 HAS SOUS 102103 HAS SOUPS 101848 WITH SCORE 102036.574
AT ITER 4697 NEW BEST:: SOT 265613 SOS 188523 HAS SOPS 181008 HAS SOUS 102103 HAS SOUPS 101848 WITH SCORE 102036.523
AT ITER 4709 NEW BEST:: SOT 265872 SOS 187471 HAS SOPS 179575 HAS SOUS 101934 HAS SOUPS 101679 WITH SCORE 101866.471
AT ITER 4713 NEW BEST:: SOT 266001 SOS 187600 HAS SOPS 179704 HAS SOUS 101759 HAS SOUPS 101504 WITH SCORE 101691.6
AT ITER 4717 NEW BEST:: SOT 266001 SOS 187513 HAS SOPS 179617 HAS SOUS 101249 HAS SOUPS 100994 WITH SCORE 101181.513
AT ITER 4756 NEW BEST:: SOT 266001 SOS 187482 HAS SOPS 179586 HAS SOUS 101248 HAS SOUPS 100993 WITH SCORE 101180.482
AT ITER 4759 NEW BEST:: SOT 266001 SOS 185487 HAS SOPS 177591 HAS SOUS 101150 HAS SOUPS 100895 WITH SCORE 101080.487
AT ITER 4763 NEW BEST:: SOT 266001 SOS 185457 HAS SOPS 177561 HAS SOUS 101150 HAS SOUPS 100895 WITH SCORE 101080.457
AT ITER 4798 NEW BEST:: SOT 266081 SOS 185086 HAS SOPS 177190 HAS SOUS 101131 HAS SOUPS 100876 WITH SCORE 101061.086
AT ITER 4829 NEW BEST:: SOT 266081 SOS 185078 HAS SOPS 177182 HAS SOUS 100928 HAS SOUPS 100673 WITH SCORE 100858.078
AT ITER 4856 NEW BEST:: SOT 266081 SOS 185078 HAS SOPS 177182 HAS SOUS 100923 HAS SOUPS 100668 WITH SCORE 100853.078
AT ITER 4891 NEW BEST:: SOT 265366 SOS 184363 HAS SOPS 177044 HAS SOUS 100855 HAS SOUPS 100600 WITH SCORE 100784.363
AT ITER 4908 NEW BEST:: SOT 265376 SOS 184308 HAS SOPS 176979 HAS SOUS 100794 HAS SOUPS 100539 WITH SCORE 100723.308
AT ITER 4943 NEW BEST:: SOT 265395 SOS 184262 HAS SOPS 176914 HAS SOUS 100729 HAS SOUPS 100474 WITH SCORE 100658.262
AT ITER 4986 NEW BEST:: SOT 267654 SOS 186474 HAS SOPS 179126 HAS SOUS 100612 HAS SOUPS 100357 WITH SCORE 100543.474
AT ITER 4998 NEW BEST:: SOT 267108 SOS 185928 HAS SOPS 178580 HAS SOUS 100430 HAS SOUPS 100175 WITH SCORE 100360.928
AT ITER 5017 NEW BEST:: SOT 267108 SOS 183347 HAS SOPS 175999 HAS SOUS 100430 HAS SOUPS 100175 WITH SCORE 100358.347
AT ITER 5021 NEW BEST:: SOT 267108 SOS 183509 HAS SOPS 176161 HAS SOUS 100401 HAS SOUPS 100146 WITH SCORE 100329.509
AT ITER 5047 NEW BEST:: SOT 267081 SOS 183482 HAS SOPS 176134 HAS SOUS 100392 HAS SOUPS 100137 WITH SCORE 100320.482
AT ITER 5051 NEW BEST:: SOT 267311 SOS 183625 HAS SOPS 176267 HAS SOUS 100308 HAS SOUPS 100053 WITH SCORE 100236.625
AT ITER 5058 NEW BEST:: SOT 267311 SOS 183625 HAS SOPS 176267 HAS SOUS 99923 HAS SOUPS 99668 WITH SCORE 99851.625
AT ITER 5067 NEW BEST:: SOT 267311 SOS 183537 HAS SOPS 176179 HAS SOUS 99921 HAS SOUPS 99666 WITH SCORE 99849.537
AT ITER 5097 NEW BEST:: SOT 267413 SOS 183607 HAS SOPS 176147 HAS SOUS 99889 HAS SOUPS 99634 WITH SCORE 99817.607
AT ITER 5098 NEW BEST:: SOT 268364 SOS 184558 HAS SOPS 177098 HAS SOUS 99813 HAS SOUPS 99558 WITH SCORE 99742.558
AT ITER 5162 NEW BEST:: SOT 268344 SOS 184538 HAS SOPS 177078 HAS SOUS 99793 HAS SOUPS 99538 WITH SCORE 99722.538
AT ITER 5171 NEW BEST:: SOT 269120 SOS 185314 HAS SOPS 177854 HAS SOUS 99757 HAS SOUPS 99502 WITH SCORE 99687.314
AT ITER 5194 NEW BEST:: SOT 269177 SOS 185311 HAS SOPS 177810 HAS SOUS 99713 HAS SOUPS 99458 WITH SCORE 99643.311
AT ITER 5196 NEW BEST:: SOT 269177 SOS 185349 HAS SOPS 177848 HAS SOUS 99527 HAS SOUPS 99272 WITH SCORE 99457.349
AT ITER 5269 NEW BEST:: SOT 269249 SOS 185385 HAS SOPS 177884 HAS SOUS 99415 HAS SOUPS 99160 WITH SCORE 99345.385
AT ITER 5283 NEW BEST:: SOT 269249 SOS 185359 HAS SOPS 177858 HAS SOUS 97769 HAS SOUPS 97514 WITH SCORE 97699.359
AT ITER 5325 NEW BEST:: SOT 269249 SOS 185359 HAS SOPS 177858 HAS SOUS 97760 HAS SOUPS 97505 WITH SCORE 97690.359
AT ITER 5424 NEW BEST:: SOT 269249 SOS 185288 HAS SOPS 177787 HAS SOUS 97689 HAS SOUPS 97434 WITH SCORE 97619.288
AT ITER 5436 NEW BEST:: SOT 269249 SOS 184768 HAS SOPS 177267 HAS SOUS 97677 HAS SOUPS 97422 WITH SCORE 97606.768
AT ITER 5439 NEW BEST:: SOT 269249 SOS 184691 HAS SOPS 177190 HAS SOUS 97675 HAS SOUPS 97420 WITH SCORE 97604.691
AT ITER 5441 NEW BEST:: SOT 269331 SOS 184576 HAS SOPS 177075 HAS SOUS 97560 HAS SOUPS 97305 WITH SCORE 97489.576
AT ITER 5445 NEW BEST:: SOT 269419 SOS 184664 HAS SOPS 177075 HAS SOUS 97538 HAS SOUPS 97283 WITH SCORE 97467.664
AT ITER 5464 NEW BEST:: SOT 272650 SOS 187841 HAS SOPS 180252 HAS SOUS 96319 HAS SOUPS 96064 WITH SCORE 96251.841
AT ITER 5477 NEW BEST:: SOT 272836 SOS 187976 HAS SOPS 180387 HAS SOUS 96260 HAS SOUPS 96005 WITH SCORE 96192.976
AT ITER 5500 NEW BEST:: SOT 273156 SOS 187745 HAS SOPS 180156 HAS SOUS 96225 HAS SOUPS 95970 WITH SCORE 96157.745
AT ITER 5507 NEW BEST:: SOT 273156 SOS 187754 HAS SOPS 180165 HAS SOUS 96197 HAS SOUPS 95942 WITH SCORE 96129.754
AT ITER 5524 NEW BEST:: SOT 273428 SOS 188341 HAS SOPS 180786 HAS SOUS 94173 HAS SOUPS 93918 WITH SCORE 94106.341
AT ITER 5579 NEW BEST:: SOT 273467 SOS 188380 HAS SOPS 180825 HAS SOUS 93992 HAS SOUPS 93737 WITH SCORE 93925.38
AT ITER 5598 NEW BEST:: SOT 273467 SOS 188380 HAS SOPS 180825 HAS SOUS 93893 HAS SOUPS 93638 WITH SCORE 93826.38
AT ITER 5616 NEW BEST:: SOT 273467 SOS 177923 HAS SOPS 170382 HAS SOUS 93842 HAS SOUPS 93601 WITH SCORE 93778.923
AT ITER 5617 NEW BEST:: SOT 273474 SOS 177930 HAS SOPS 170389 HAS SOUS 93803 HAS SOUPS 93562 WITH SCORE 93739.93
AT ITER 5629 NEW BEST:: SOT 273502 SOS 177882 HAS SOPS 170341 HAS SOUS 93511 HAS SOUPS 93270 WITH SCORE 93447.882
AT ITER 5770 NEW BEST:: SOT 272954 SOS 177334 HAS SOPS 169793 HAS SOUS 93237 HAS SOUPS 92996 WITH SCORE 93173.334
AT ITER 5778 NEW BEST:: SOT 277535 SOS 181870 HAS SOPS 174329 HAS SOUS 92634 HAS SOUPS 92393 WITH SCORE 92574.87
AT ITER 5802 NEW BEST:: SOT 277535 SOS 180679 HAS SOPS 173138 HAS SOUS 92601 HAS SOUPS 92360 WITH SCORE 92540.679
AT ITER 5844 NEW BEST:: SOT 277595 SOS 180688 HAS SOPS 173147 HAS SOUS 92582 HAS SOUPS 92341 WITH SCORE 92521.688
AT ITER 5850 NEW BEST:: SOT 277595 SOS 180823 HAS SOPS 173282 HAS SOUS 92560 HAS SOUPS 92319 WITH SCORE 92499.823
AT ITER 5881 NEW BEST:: SOT 277788 SOS 181016 HAS SOPS 173475 HAS SOUS 92461 HAS SOUPS 92220 WITH SCORE 92401.016
AT ITER 5903 NEW BEST:: SOT 275124 SOS 178352 HAS SOPS 170811 HAS SOUS 90965 HAS SOUPS 90724 WITH SCORE 90902.352
AT ITER 5939 NEW BEST:: SOT 275079 SOS 178307 HAS SOPS 170721 HAS SOUS 90875 HAS SOUPS 90634 WITH SCORE 90812.307
AT ITER 5940 NEW BEST:: SOT 275079 SOS 178307 HAS SOPS 170721 HAS SOUS 90846 HAS SOUPS 90605 WITH SCORE 90783.307
AT ITER 5967 NEW BEST:: SOT 275079 SOS 178139 HAS SOPS 170553 HAS SOUS 90846 HAS SOUPS 90605 WITH SCORE 90783.139
AT ITER 5987 NEW BEST:: SOT 275209 SOS 178161 HAS SOPS 170575 HAS SOUS 90731 HAS SOUPS 90490 WITH SCORE 90668.161
AT ITER 6034 NEW BEST:: SOT 275983 SOS 178935 HAS SOPS 171349 HAS SOUS 90545 HAS SOUPS 90304 WITH SCORE 90482.935
AT ITER 6050 NEW BEST:: SOT 280366 SOS 183318 HAS SOPS 175732 HAS SOUS 90241 HAS SOUPS 90000 WITH SCORE 90183.318
AT ITER 6052 NEW BEST:: SOT 280366 SOS 182904 HAS SOPS 175318 HAS SOUS 90132 HAS SOUPS 89891 WITH SCORE 90073.904
AT ITER 6076 NEW BEST:: SOT 280662 SOS 183072 HAS SOPS 175486 HAS SOUS 89990 HAS SOUPS 89749 WITH SCORE 89932.072
AT ITER 6077 NEW BEST:: SOT 280662 SOS 182782 HAS SOPS 175196 HAS SOUS 89917 HAS SOUPS 89676 WITH SCORE 89858.782
AT ITER 6080 NEW BEST:: SOT 285260 SOS 187328 HAS SOPS 179742 HAS SOUS 88013 HAS SOUPS 87772 WITH SCORE 87959.328
AT ITER 6091 NEW BEST:: SOT 285250 SOS 187318 HAS SOPS 179488 HAS SOUS 87974 HAS SOUPS 87733 WITH SCORE 87920.318
AT ITER 6143 NEW BEST:: SOT 291163 SOS 193161 HAS SOPS 185331 HAS SOUS 87276 HAS SOUPS 87035 WITH SCORE 87228.161
AT ITER 6175 NEW BEST:: SOT 285250 SOS 187248 HAS SOPS 179418 HAS SOUS 86147 HAS SOUPS 85906 WITH SCORE 86093.248
AT ITER 6186 NEW BEST:: SOT 285448 SOS 187398 HAS SOPS 179568 HAS SOUS 86006 HAS SOUPS 85765 WITH SCORE 85952.398
AT ITER 6231 NEW BEST:: SOT 260364 SOS 214476 HAS SOPS 160522 HAS SOUS 61386 HAS SOUPS 60892 WITH SCORE 61106.476
AT ITER 6316 NEW BEST:: SOT 260364 SOS 214464 HAS SOPS 160510 HAS SOUS 61378 HAS SOUPS 60884 WITH SCORE 61098.464
AT ITER 6329 NEW BEST:: SOT 259968 SOS 214068 HAS SOPS 160114 HAS SOUS 61024 HAS SOUPS 60530 WITH SCORE 60744.068
AT ITER 6391 NEW BEST:: SOT 259968 SOS 214316 HAS SOPS 160362 HAS SOUS 61003 HAS SOUPS 60509 WITH SCORE 60723.316
AT ITER 6398 NEW BEST:: SOT 259647 SOS 213995 HAS SOPS 160041 HAS SOUS 60624 HAS SOUPS 60130 WITH SCORE 60343.995
AT ITER 6435 NEW BEST:: SOT 259446 SOS 213794 HAS SOPS 159840 HAS SOUS 60624 HAS SOUPS 60130 WITH SCORE 60343.794
AT ITER 6521 NEW BEST:: SOT 259074 SOS 213422 HAS SOPS 159490 HAS SOUS 60449 HAS SOUPS 59955 WITH SCORE 60168.422
AT ITER 6542 NEW BEST:: SOT 259180 SOS 213528 HAS SOPS 159596 HAS SOUS 60356 HAS SOUPS 59862 WITH SCORE 60075.528
AT ITER 6553 NEW BEST:: SOT 259312 SOS 213660 HAS SOPS 159728 HAS SOUS 60334 HAS SOUPS 59840 WITH SCORE 60053.66
AT ITER 6567 NEW BEST:: SOT 259217 SOS 213565 HAS SOPS 159633 HAS SOUS 60334 HAS SOUPS 59840 WITH SCORE 60053.565
AT ITER 6571 NEW BEST:: SOT 259217 SOS 213444 HAS SOPS 158732 HAS SOUS 60334 HAS SOUPS 59840 WITH SCORE 60053.444
AT ITER 6588 NEW BEST:: SOT 265165 SOS 219348 HAS SOPS 164622 HAS SOUS 60270 HAS SOUPS 59776 WITH SCORE 59995.348
AT ITER 6605 NEW BEST:: SOT 265193 SOS 219256 HAS SOPS 164081 HAS SOUS 59889 HAS SOUPS 59395 WITH SCORE 59614.256
AT ITER 6617 NEW BEST:: SOT 265193 SOS 219256 HAS SOPS 163977 HAS SOUS 59785 HAS SOUPS 59291 WITH SCORE 59510.256
AT ITER 6642 NEW BEST:: SOT 262167 SOS 216230 HAS SOPS 161269 HAS SOUS 59156 HAS SOUPS 58662 WITH SCORE 58878.23
AT ITER 6680 NEW BEST:: SOT 256965 SOS 211028 HAS SOPS 156067 HAS SOUS 58765 HAS SOUPS 58271 WITH SCORE 58482.028
AT ITER 6696 NEW BEST:: SOT 256780 SOS 210843 HAS SOPS 155811 HAS SOUS 58580 HAS SOUPS 58086 WITH SCORE 58296.843
AT ITER 6701 NEW BEST:: SOT 256637 SOS 210700 HAS SOPS 155668 HAS SOUS 58436 HAS SOUPS 57942 WITH SCORE 58152.7
AT ITER 6709 NEW BEST:: SOT 256680 SOS 210270 HAS SOPS 155238 HAS SOUS 58350 HAS SOUPS 57856 WITH SCORE 58066.27
AT ITER 6719 NEW BEST:: SOT 256653 SOS 210243 HAS SOPS 155211 HAS SOUS 58341 HAS SOUPS 57847 WITH SCORE 58057.243
AT ITER 6770 NEW BEST:: SOT 256239 SOS 209829 HAS SOPS 154797 HAS SOUS 58341 HAS SOUPS 57847 WITH SCORE 58056.829
AT ITER 6771 NEW BEST:: SOT 256149 SOS 209739 HAS SOPS 154779 HAS SOUS 58341 HAS SOUPS 57847 WITH SCORE 58056.739
AT ITER 6779 NEW BEST:: SOT 256074 SOS 209664 HAS SOPS 153804 HAS SOUS 58162 HAS SOUPS 57668 WITH SCORE 57877.664
AT ITER 6807 NEW BEST:: SOT 256044 SOS 213752 HAS SOPS 155229 HAS SOUS 58142 HAS SOUPS 57638 WITH SCORE 57851.752
AT ITER 6829 NEW BEST:: SOT 256521 SOS 214229 HAS SOPS 155478 HAS SOUS 58041 HAS SOUPS 57537 WITH SCORE 57751.229
AT ITER 6961 NEW BEST:: SOT 256545 SOS 214253 HAS SOPS 155470 HAS SOUS 58033 HAS SOUPS 57529 WITH SCORE 57743.253
AT ITER 6989 NEW BEST:: SOT 256574 SOS 214282 HAS SOPS 155499 HAS SOUS 57946 HAS SOUPS 57442 WITH SCORE 57656.282
AT ITER 7008 NEW BEST:: SOT 256514 SOS 214222 HAS SOPS 155439 HAS SOUS 57926 HAS SOUPS 57422 WITH SCORE 57636.222
AT ITER 7043 NEW BEST:: SOT 255448 SOS 213156 HAS SOPS 154537 HAS SOUS 57363 HAS SOUPS 56914 WITH SCORE 57127.156
AT ITER 7054 NEW BEST:: SOT 255448 SOS 213092 HAS SOPS 154473 HAS SOUS 57225 HAS SOUPS 56776 WITH SCORE 56989.092
AT ITER 7111 NEW BEST:: SOT 255406 SOS 213050 HAS SOPS 154431 HAS SOUS 57193 HAS SOUPS 56744 WITH SCORE 56957.05
AT ITER 7121 NEW BEST:: SOT 254497 SOS 212141 HAS SOPS 153522 HAS SOUS 57092 HAS SOUPS 56643 WITH SCORE 56855.141
AT ITER 7171 NEW BEST:: SOT 254431 SOS 212075 HAS SOPS 153478 HAS SOUS 57081 HAS SOUPS 56632 WITH SCORE 56844.075
AT ITER 7191 NEW BEST:: SOT 254810 SOS 212426 HAS SOPS 153776 HAS SOUS 57021 HAS SOUPS 56572 WITH SCORE 56784.426
AT ITER 7215 NEW BEST:: SOT 254734 SOS 212350 HAS SOPS 153700 HAS SOUS 57014 HAS SOUPS 56565 WITH SCORE 56777.35
AT ITER 7220 NEW BEST:: SOT 254734 SOS 212086 HAS SOPS 153436 HAS SOUS 57014 HAS SOUPS 56565 WITH SCORE 56777.086
AT ITER 7255 NEW BEST:: SOT 254614 SOS 211966 HAS SOPS 153316 HAS SOUS 57014 HAS SOUPS 56565 WITH SCORE 56776.966
AT ITER 7266 NEW BEST:: SOT 249138 SOS 206545 HAS SOPS 147919 HAS SOUS 56847 HAS SOUPS 56398 WITH SCORE 56604.545
AT ITER 7286 NEW BEST:: SOT 249007 SOS 206414 HAS SOPS 147694 HAS SOUS 56652 HAS SOUPS 56203 WITH SCORE 56409.414
AT ITER 7295 NEW BEST:: SOT 248977 SOS 206384 HAS SOPS 147654 HAS SOUS 56632 HAS SOUPS 56183 WITH SCORE 56389.384
AT ITER 7315 NEW BEST:: SOT 248977 SOS 206384 HAS SOPS 147636 HAS SOUS 56621 HAS SOUPS 56172 WITH SCORE 56378.384
AT ITER 7322 NEW BEST:: SOT 248949 SOS 206356 HAS SOPS 147608 HAS SOUS 56579 HAS SOUPS 56130 WITH SCORE 56336.356
AT ITER 7366 NEW BEST:: SOT 248931 SOS 206338 HAS SOPS 147590 HAS SOUS 56563 HAS SOUPS 56114 WITH SCORE 56320.338
AT ITER 7487 NEW BEST:: SOT 248931 SOS 206338 HAS SOPS 147597 HAS SOUS 56556 HAS SOUPS 56107 WITH SCORE 56313.338
AT ITER 7576 NEW BEST:: SOT 248704 SOS 206111 HAS SOPS 147427 HAS SOUS 56545 HAS SOUPS 56096 WITH SCORE 56302.111
AT ITER 7619 NEW BEST:: SOT 248684 SOS 206091 HAS SOPS 147407 HAS SOUS 56504 HAS SOUPS 56055 WITH SCORE 56261.091
AT ITER 7621 NEW BEST:: SOT 248993 SOS 206400 HAS SOPS 147557 HAS SOUS 56408 HAS SOUPS 55959 WITH SCORE 56165.4
AT ITER 7645 NEW BEST:: SOT 247910 SOS 205317 HAS SOPS 146474 HAS SOUS 55325 HAS SOUPS 54876 WITH SCORE 55081.317
AT ITER 7650 NEW BEST:: SOT 247770 SOS 205177 HAS SOPS 146334 HAS SOUS 55255 HAS SOUPS 54806 WITH SCORE 55011.177
AT ITER 7698 NEW BEST:: SOT 247767 SOS 205116 HAS SOPS 146182 HAS SOUS 55230 HAS SOUPS 54781 WITH SCORE 54986.116
AT ITER 7703 NEW BEST:: SOT 247752 SOS 205101 HAS SOPS 146230 HAS SOUS 55189 HAS SOUPS 54740 WITH SCORE 54945.101
AT ITER 7740 NEW BEST:: SOT 247794 SOS 205134 HAS SOPS 146263 HAS SOUS 54911 HAS SOUPS 54462 WITH SCORE 54667.134
AT ITER 7758 NEW BEST:: SOT 247732 SOS 205072 HAS SOPS 146201 HAS SOUS 54871 HAS SOUPS 54422 WITH SCORE 54627.072
AT ITER 7801 NEW BEST:: SOT 247697 SOS 205037 HAS SOPS 145501 HAS SOUS 54846 HAS SOUPS 54397 WITH SCORE 54602.037
AT ITER 7805 NEW BEST:: SOT 248020 SOS 203792 HAS SOPS 140813 HAS SOUS 54761 HAS SOUPS 54312 WITH SCORE 54515.792
AT ITER 7817 NEW BEST:: SOT 248014 SOS 203786 HAS SOPS 140813 HAS SOUS 54755 HAS SOUPS 54306 WITH SCORE 54509.786
AT ITER 7866 NEW BEST:: SOT 246898 SOS 202670 HAS SOPS 139697 HAS SOUS 54399 HAS SOUPS 53950 WITH SCORE 54152.67
AT ITER 7910 NEW BEST:: SOT 246566 SOS 202338 HAS SOPS 139365 HAS SOUS 54233 HAS SOUPS 53784 WITH SCORE 53986.338
AT ITER 7919 NEW BEST:: SOT 246594 SOS 202222 HAS SOPS 139229 HAS SOUS 54209 HAS SOUPS 53760 WITH SCORE 53962.222
AT ITER 7938 NEW BEST:: SOT 246338 SOS 201966 HAS SOPS 138973 HAS SOUS 54081 HAS SOUPS 53632 WITH SCORE 53833.966
AT ITER 7962 NEW BEST:: SOT 246383 SOS 202011 HAS SOPS 139018 HAS SOUS 53995 HAS SOUPS 53546 WITH SCORE 53748.011
AT ITER 8042 NEW BEST:: SOT 246383 SOS 202011 HAS SOPS 139018 HAS SOUS 53972 HAS SOUPS 53523 WITH SCORE 53725.011
AT ITER 8051 NEW BEST:: SOT 246397 SOS 202025 HAS SOPS 139032 HAS SOUS 53938 HAS SOUPS 53489 WITH SCORE 53691.025
AT ITER 8126 NEW BEST:: SOT 244192 SOS 199820 HAS SOPS 136827 HAS SOUS 53693 HAS SOUPS 53244 WITH SCORE 53443.82
AT ITER 8155 NEW BEST:: SOT 244191 SOS 199819 HAS SOPS 136594 HAS SOUS 53627 HAS SOUPS 53178 WITH SCORE 53377.819
AT ITER 8200 NEW BEST:: SOT 243983 SOS 199611 HAS SOPS 136298 HAS SOUS 53299 HAS SOUPS 52850 WITH SCORE 53049.611
AT ITER 8204 NEW BEST:: SOT 243848 SOS 199476 HAS SOPS 136163 HAS SOUS 53299 HAS SOUPS 52850 WITH SCORE 53049.476
AT ITER 8235 NEW BEST:: SOT 243848 SOS 199476 HAS SOPS 136343 HAS SOUS 53281 HAS SOUPS 52832 WITH SCORE 53031.476
AT ITER 8244 NEW BEST:: SOT 243820 SOS 199448 HAS SOPS 136315 HAS SOUS 53225 HAS SOUPS 52776 WITH SCORE 52975.448
AT ITER 8250 NEW BEST:: SOT 244525 SOS 200153 HAS SOPS 135874 HAS SOUS 53060 HAS SOUPS 52611 WITH SCORE 52811.153
AT ITER 8275 NEW BEST:: SOT 244357 SOS 199985 HAS SOPS 135706 HAS SOUS 53004 HAS SOUPS 52555 WITH SCORE 52754.985
AT ITER 8299 NEW BEST:: SOT 244264 SOS 199892 HAS SOPS 135612 HAS SOUS 52921 HAS SOUPS 52472 WITH SCORE 52671.892
AT ITER 8301 NEW BEST:: SOT 244112 SOS 199740 HAS SOPS 136030 HAS SOUS 52921 HAS SOUPS 52472 WITH SCORE 52671.74
AT ITER 8342 NEW BEST:: SOT 244402 SOS 200030 HAS SOPS 136269 HAS SOUS 52847 HAS SOUPS 52398 WITH SCORE 52598.03
AT ITER 8373 NEW BEST:: SOT 244428 SOS 200056 HAS SOPS 136217 HAS SOUS 52821 HAS SOUPS 52372 WITH SCORE 52572.056
AT ITER 8419 NEW BEST:: SOT 244439 SOS 199946 HAS SOPS 136107 HAS SOUS 52799 HAS SOUPS 52350 WITH SCORE 52549.946
AT ITER 8444 NEW BEST:: SOT 244147 SOS 199654 HAS SOPS 135815 HAS SOUS 52704 HAS SOUPS 52255 WITH SCORE 52454.654
AT ITER 8456 NEW BEST:: SOT 243769 SOS 199276 HAS SOPS 135437 HAS SOUS 52662 HAS SOUPS 52213 WITH SCORE 52412.276
AT ITER 8467 NEW BEST:: SOT 243831 SOS 199338 HAS SOPS 135499 HAS SOUS 52631 HAS SOUPS 52182 WITH SCORE 52381.338
AT ITER 8507 NEW BEST:: SOT 243682 SOS 199189 HAS SOPS 135350 HAS SOUS 52562 HAS SOUPS 52113 WITH SCORE 52312.189
AT ITER 8528 NEW BEST:: SOT 243682 SOS 199093 HAS SOPS 135254 HAS SOUS 52302 HAS SOUPS 51853 WITH SCORE 52052.093
AT ITER 8541 NEW BEST:: SOT 243682 SOS 199063 HAS SOPS 135218 HAS SOUS 52302 HAS SOUPS 51853 WITH SCORE 52052.063
AT ITER 8591 NEW BEST:: SOT 243711 SOS 199092 HAS SOPS 135229 HAS SOUS 52237 HAS SOUPS 51788 WITH SCORE 51987.092
AT ITER 8622 NEW BEST:: SOT 243108 SOS 198489 HAS SOPS 134626 HAS SOUS 52170 HAS SOUPS 51721 WITH SCORE 51919.489
AT ITER 8649 NEW BEST:: SOT 243108 SOS 198489 HAS SOPS 134626 HAS SOUS 52138 HAS SOUPS 51689 WITH SCORE 51887.489
AT ITER 8652 NEW BEST:: SOT 243020 SOS 198401 HAS SOPS 134538 HAS SOUS 52050 HAS SOUPS 51601 WITH SCORE 51799.401
AT ITER 8653 NEW BEST:: SOT 242863 SOS 198278 HAS SOPS 134415 HAS SOUS 51964 HAS SOUPS 51515 WITH SCORE 51713.278
AT ITER 8669 NEW BEST:: SOT 243424 SOS 198839 HAS SOPS 134872 HAS SOUS 51929 HAS SOUPS 51480 WITH SCORE 51678.839
AT ITER 8727 NEW BEST:: SOT 243419 SOS 198834 HAS SOPS 134867 HAS SOUS 51929 HAS SOUPS 51480 WITH SCORE 51678.834
AT ITER 8764 NEW BEST:: SOT 241511 SOS 196926 HAS SOPS 132959 HAS SOUS 51717 HAS SOUPS 51268 WITH SCORE 51464.926
AT ITER 8847 NEW BEST:: SOT 241453 SOS 196868 HAS SOPS 132868 HAS SOUS 51543 HAS SOUPS 51094 WITH SCORE 51290.868
AT ITER 8866 NEW BEST:: SOT 241228 SOS 196643 HAS SOPS 132649 HAS SOUS 51434 HAS SOUPS 50985 WITH SCORE 51181.643
AT ITER 8890 NEW BEST:: SOT 241211 SOS 196626 HAS SOPS 132602 HAS SOUS 51429 HAS SOUPS 50980 WITH SCORE 51176.626
AT ITER 8899 NEW BEST:: SOT 240921 SOS 196336 HAS SOPS 132312 HAS SOUS 51309 HAS SOUPS 50860 WITH SCORE 51056.336
AT ITER 8964 NEW BEST:: SOT 240236 SOS 195651 HAS SOPS 133379 HAS SOUS 51220 HAS SOUPS 50771 WITH SCORE 50966.651
AT ITER 9067 NEW BEST:: SOT 240303 SOS 195655 HAS SOPS 133165 HAS SOUS 51048 HAS SOUPS 50599 WITH SCORE 50794.655
AT ITER 9081 NEW BEST:: SOT 239649 SOS 195001 HAS SOPS 133565 HAS SOUS 50976 HAS SOUPS 50527 WITH SCORE 50722.001
AT ITER 9103 NEW BEST:: SOT 239649 SOS 195001 HAS SOPS 133565 HAS SOUS 50776 HAS SOUPS 50327 WITH SCORE 50522.001
AT ITER 9147 NEW BEST:: SOT 239728 SOS 195080 HAS SOPS 133811 HAS SOUS 50672 HAS SOUPS 50223 WITH SCORE 50418.08
AT ITER 9164 NEW BEST:: SOT 239728 SOS 194986 HAS SOPS 133674 HAS SOUS 50492 HAS SOUPS 50043 WITH SCORE 50237.986
AT ITER 9177 NEW BEST:: SOT 238375 SOS 193633 HAS SOPS 135021 HAS SOUS 50019 HAS SOUPS 49570 WITH SCORE 49763.633
AT ITER 9192 NEW BEST:: SOT 237506 SOS 192764 HAS SOPS 137704 HAS SOUS 49281 HAS SOUPS 48832 WITH SCORE 49024.764
AT ITER 9205 NEW BEST:: SOT 237553 SOS 192811 HAS SOPS 137751 HAS SOUS 49192 HAS SOUPS 48743 WITH SCORE 48935.811
AT ITER 9216 NEW BEST:: SOT 236722 SOS 191980 HAS SOPS 136947 HAS SOUS 49085 HAS SOUPS 48636 WITH SCORE 48827.98
AT ITER 9222 NEW BEST:: SOT 236706 SOS 191964 HAS SOPS 136931 HAS SOUS 49085 HAS SOUPS 48636 WITH SCORE 48827.964
AT ITER 9261 NEW BEST:: SOT 236523 SOS 191781 HAS SOPS 136748 HAS SOUS 49024 HAS SOUPS 48575 WITH SCORE 48766.781
AT ITER 9316 NEW BEST:: SOT 236550 SOS 191808 HAS SOPS 136775 HAS SOUS 48997 HAS SOUPS 48548 WITH SCORE 48739.808
AT ITER 9471 NEW BEST:: SOT 235259 SOS 190517 HAS SOPS 135656 HAS SOUS 48526 HAS SOUPS 48104 WITH SCORE 48294.517
AT ITER 9771 NEW BEST:: SOT 235314 SOS 189692 HAS SOPS 134831 HAS SOUS 48228 HAS SOUPS 47806 WITH SCORE 47995.692
AT ITER 9867 NEW BEST:: SOT 235329 SOS 189707 HAS SOPS 134771 HAS SOUS 48218 HAS SOUPS 47796 WITH SCORE 47985.707
AT ITER 9877 NEW BEST:: SOT 235637 SOS 189965 HAS SOPS 134798 HAS SOUS 48170 HAS SOUPS 47748 WITH SCORE 47937.965
AT ITER 9940 NEW BEST:: SOT 235550 SOS 189878 HAS SOPS 134711 HAS SOUS 48037 HAS SOUPS 47615 WITH SCORE 47804.878
AT ITER 9999 NEW BEST:: SOT 235488 SOS 189816 HAS SOPS 134649 HAS SOUS 47857 HAS SOUPS 47435 WITH SCORE 47624.816
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 8265536 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16123388 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="DBSingleClientW-PT-d1m05"
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 DBSingleClientW-PT-d1m05, 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 r107-tall-167814484000248"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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