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.r171-tall-167838858700496.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 FlexibleBarrier-PT-10a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r171-tall-167838858700496
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 508K
-rw-r--r-- 1 mcc users 6.6K Feb 25 12:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 25 12:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 25 12:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 25 12:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.0K Feb 25 12:55 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 80K Feb 25 12:55 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 10K Feb 25 12:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 89K Feb 25 12:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:07 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:07 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 94K 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 1679477341019

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=FlexibleBarrier-PT-10a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 09:29:02] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 09:29:02] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 09:29:02] [INFO ] Load time of PNML (sax parser for PT used): 53 ms
[2023-03-22 09:29:02] [INFO ] Transformed 123 places.
[2023-03-22 09:29:02] [INFO ] Transformed 334 transitions.
[2023-03-22 09:29:02] [INFO ] Found NUPN structural information;
[2023-03-22 09:29:02] [INFO ] Parsed PT model containing 123 places and 334 transitions and 1467 arcs in 117 ms.
[2023-03-22 09:29:02] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 123 places, 334 transitions and 1467 arcs took 6 ms.
Total runtime 151 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 10a
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: 123 places, 334 transitions, 1467 arcs.
AT ITER 0 NEW BEST:: SOT 34605 SOS 27847 HAS SOPS 27847 HAS SOUS 17061 HAS SOUPS 17061 WITH SCORE 17088.847
AT ITER 7 NEW BEST:: SOT 34647 SOS 27943 HAS SOPS 27943 HAS SOUS 16602 HAS SOUPS 16602 WITH SCORE 16629.943
AT ITER 9 NEW BEST:: SOT 34455 SOS 27565 HAS SOPS 27565 HAS SOUS 15288 HAS SOUPS 15288 WITH SCORE 15315.565
AT ITER 16 NEW BEST:: SOT 34468 SOS 27373 HAS SOPS 27373 HAS SOUS 14870 HAS SOUPS 14870 WITH SCORE 14897.373
AT ITER 22 NEW BEST:: SOT 34468 SOS 27351 HAS SOPS 27351 HAS SOUS 14870 HAS SOUPS 14870 WITH SCORE 14897.351
AT ITER 23 NEW BEST:: SOT 34279 SOS 27181 HAS SOPS 27181 HAS SOUS 14819 HAS SOUPS 14819 WITH SCORE 14846.181
AT ITER 25 NEW BEST:: SOT 34177 SOS 27077 HAS SOPS 27077 HAS SOUS 14802 HAS SOUPS 14802 WITH SCORE 14829.077
AT ITER 29 NEW BEST:: SOT 34169 SOS 27069 HAS SOPS 27069 HAS SOUS 14794 HAS SOUPS 14794 WITH SCORE 14821.069
AT ITER 33 NEW BEST:: SOT 33558 SOS 26458 HAS SOPS 26458 HAS SOUS 14502 HAS SOUPS 14502 WITH SCORE 14528.458
AT ITER 34 NEW BEST:: SOT 33558 SOS 26458 HAS SOPS 26458 HAS SOUS 14483 HAS SOUPS 14483 WITH SCORE 14509.458
AT ITER 35 NEW BEST:: SOT 33586 SOS 26352 HAS SOPS 26352 HAS SOUS 14444 HAS SOUPS 14444 WITH SCORE 14470.352
AT ITER 36 NEW BEST:: SOT 33663 SOS 26379 HAS SOPS 26379 HAS SOUS 14424 HAS SOUPS 14424 WITH SCORE 14450.379
AT ITER 37 NEW BEST:: SOT 33129 SOS 25688 HAS SOPS 25688 HAS SOUS 14056 HAS SOUPS 14056 WITH SCORE 14081.688
AT ITER 41 NEW BEST:: SOT 33129 SOS 25688 HAS SOPS 25688 HAS SOUS 14015 HAS SOUPS 14015 WITH SCORE 14040.688
AT ITER 45 NEW BEST:: SOT 33120 SOS 25685 HAS SOPS 25685 HAS SOUS 14003 HAS SOUPS 14003 WITH SCORE 14028.685
AT ITER 48 NEW BEST:: SOT 32574 SOS 25114 HAS SOPS 25111 HAS SOUS 13675 HAS SOUPS 13672 WITH SCORE 13697.114
AT ITER 51 NEW BEST:: SOT 32574 SOS 25071 HAS SOPS 25068 HAS SOUS 13675 HAS SOUPS 13672 WITH SCORE 13697.071
AT ITER 55 NEW BEST:: SOT 31943 SOS 24440 HAS SOPS 24437 HAS SOUS 13344 HAS SOUPS 13341 WITH SCORE 13365.44
AT ITER 58 NEW BEST:: SOT 32022 SOS 24431 HAS SOPS 24428 HAS SOUS 13266 HAS SOUPS 13263 WITH SCORE 13287.431
AT ITER 59 NEW BEST:: SOT 31244 SOS 23603 HAS SOPS 23600 HAS SOUS 12875 HAS SOUPS 12872 WITH SCORE 12895.603
AT ITER 62 NEW BEST:: SOT 31263 SOS 23541 HAS SOPS 23538 HAS SOUS 12773 HAS SOUPS 12770 WITH SCORE 12793.541
AT ITER 63 NEW BEST:: SOT 31262 SOS 23508 HAS SOPS 23505 HAS SOUS 12709 HAS SOUPS 12706 WITH SCORE 12729.508
AT ITER 64 NEW BEST:: SOT 31250 SOS 23454 HAS SOPS 23451 HAS SOUS 12682 HAS SOUPS 12679 WITH SCORE 12702.454
AT ITER 69 NEW BEST:: SOT 31244 SOS 23346 HAS SOPS 23343 HAS SOUS 12628 HAS SOUPS 12625 WITH SCORE 12648.346
AT ITER 71 NEW BEST:: SOT 31271 SOS 23251 HAS SOPS 23248 HAS SOUS 12599 HAS SOUPS 12596 WITH SCORE 12619.251
AT ITER 73 NEW BEST:: SOT 30246 SOS 22810 HAS SOPS 22173 HAS SOUS 11721 HAS SOUPS 11653 WITH SCORE 11675.81
AT ITER 76 NEW BEST:: SOT 30225 SOS 22794 HAS SOPS 22137 HAS SOUS 11698 HAS SOUPS 11630 WITH SCORE 11652.794
AT ITER 77 NEW BEST:: SOT 30181 SOS 22129 HAS SOPS 21502 HAS SOUS 10838 HAS SOUPS 10770 WITH SCORE 10792.129
AT ITER 81 NEW BEST:: SOT 30241 SOS 22149 HAS SOPS 21522 HAS SOUS 10819 HAS SOUPS 10751 WITH SCORE 10773.149
AT ITER 82 NEW BEST:: SOT 30271 SOS 22072 HAS SOPS 21445 HAS SOUS 10678 HAS SOUPS 10610 WITH SCORE 10632.072
AT ITER 86 NEW BEST:: SOT 30309 SOS 22054 HAS SOPS 21440 HAS SOUS 10654 HAS SOUPS 10586 WITH SCORE 10608.054
AT ITER 90 NEW BEST:: SOT 29373 SOS 21183 HAS SOPS 20532 HAS SOUS 10240 HAS SOUPS 10172 WITH SCORE 10193.183
AT ITER 91 NEW BEST:: SOT 29338 SOS 21134 HAS SOPS 20470 HAS SOUS 10178 HAS SOUPS 10110 WITH SCORE 10131.134
AT ITER 93 NEW BEST:: SOT 29338 SOS 21131 HAS SOPS 20467 HAS SOUS 10175 HAS SOUPS 10107 WITH SCORE 10128.131
AT ITER 95 NEW BEST:: SOT 29337 SOS 21128 HAS SOPS 20464 HAS SOUS 10173 HAS SOUPS 10105 WITH SCORE 10126.128
AT ITER 99 NEW BEST:: SOT 29331 SOS 21120 HAS SOPS 20452 HAS SOUS 10165 HAS SOUPS 10097 WITH SCORE 10118.12
AT ITER 102 NEW BEST:: SOT 29329 SOS 21021 HAS SOPS 20362 HAS SOUS 10035 HAS SOUPS 9967 WITH SCORE 9988.021
AT ITER 103 NEW BEST:: SOT 29349 SOS 21013 HAS SOPS 20354 HAS SOUS 10027 HAS SOUPS 9959 WITH SCORE 9980.013
AT ITER 104 NEW BEST:: SOT 29344 SOS 21032 HAS SOPS 20344 HAS SOUS 10016 HAS SOUPS 9948 WITH SCORE 9969.032
AT ITER 106 NEW BEST:: SOT 29337 SOS 21025 HAS SOPS 20330 HAS SOUS 10002 HAS SOUPS 9934 WITH SCORE 9955.025
AT ITER 108 NEW BEST:: SOT 28459 SOS 20147 HAS SOPS 19452 HAS SOUS 9543 HAS SOUPS 9475 WITH SCORE 9495.147
AT ITER 114 NEW BEST:: SOT 28459 SOS 20192 HAS SOPS 19495 HAS SOUS 9541 HAS SOUPS 9473 WITH SCORE 9493.192
AT ITER 115 NEW BEST:: SOT 28345 SOS 20084 HAS SOPS 19387 HAS SOUS 9493 HAS SOUPS 9425 WITH SCORE 9445.084
AT ITER 119 NEW BEST:: SOT 28304 SOS 20003 HAS SOPS 19306 HAS SOUS 9487 HAS SOUPS 9419 WITH SCORE 9439.003
AT ITER 120 NEW BEST:: SOT 28242 SOS 19945 HAS SOPS 19210 HAS SOUS 9422 HAS SOUPS 9327 WITH SCORE 9346.945
AT ITER 121 NEW BEST:: SOT 28284 SOS 19614 HAS SOPS 18840 HAS SOUS 9219 HAS SOUPS 9112 WITH SCORE 9131.614
AT ITER 124 NEW BEST:: SOT 28218 SOS 19482 HAS SOPS 18675 HAS SOUS 9087 HAS SOUPS 8980 WITH SCORE 8999.482
AT ITER 125 NEW BEST:: SOT 28216 SOS 19478 HAS SOPS 18669 HAS SOUS 9079 HAS SOUPS 8972 WITH SCORE 8991.478
AT ITER 126 NEW BEST:: SOT 28225 SOS 19435 HAS SOPS 18626 HAS SOUS 9046 HAS SOUPS 8939 WITH SCORE 8958.435
AT ITER 127 NEW BEST:: SOT 28198 SOS 19366 HAS SOPS 18545 HAS SOUS 8965 HAS SOUPS 8858 WITH SCORE 8877.366
AT ITER 133 NEW BEST:: SOT 28249 SOS 19381 HAS SOPS 18587 HAS SOUS 8948 HAS SOUPS 8841 WITH SCORE 8860.381
AT ITER 139 NEW BEST:: SOT 28294 SOS 19418 HAS SOPS 18582 HAS SOUS 8944 HAS SOUPS 8837 WITH SCORE 8856.418
AT ITER 140 NEW BEST:: SOT 28335 SOS 19436 HAS SOPS 18563 HAS SOUS 8927 HAS SOUPS 8820 WITH SCORE 8839.436
AT ITER 146 NEW BEST:: SOT 28335 SOS 19435 HAS SOPS 18562 HAS SOUS 8926 HAS SOUPS 8819 WITH SCORE 8838.435
AT ITER 148 NEW BEST:: SOT 28335 SOS 19431 HAS SOPS 18558 HAS SOUS 8920 HAS SOUPS 8813 WITH SCORE 8832.431
AT ITER 150 NEW BEST:: SOT 28291 SOS 19362 HAS SOPS 18470 HAS SOUS 8832 HAS SOUPS 8725 WITH SCORE 8744.362
AT ITER 151 NEW BEST:: SOT 28266 SOS 19337 HAS SOPS 18433 HAS SOUS 8808 HAS SOUPS 8701 WITH SCORE 8720.337
AT ITER 153 NEW BEST:: SOT 28337 SOS 19165 HAS SOPS 18286 HAS SOUS 8668 HAS SOUPS 8561 WITH SCORE 8580.165
AT ITER 156 NEW BEST:: SOT 28298 SOS 19110 HAS SOPS 18208 HAS SOUS 8588 HAS SOUPS 8481 WITH SCORE 8500.11
AT ITER 157 NEW BEST:: SOT 28176 SOS 19852 HAS SOPS 18053 HAS SOUS 8464 HAS SOUPS 8331 WITH SCORE 8350.852
AT ITER 158 NEW BEST:: SOT 28164 SOS 19854 HAS SOPS 18044 HAS SOUS 8464 HAS SOUPS 8330 WITH SCORE 8349.854
AT ITER 162 NEW BEST:: SOT 28147 SOS 19785 HAS SOPS 18019 HAS SOUS 8439 HAS SOUPS 8305 WITH SCORE 8324.785
AT ITER 165 NEW BEST:: SOT 28121 SOS 19759 HAS SOPS 17980 HAS SOUS 8413 HAS SOUPS 8279 WITH SCORE 8298.759
AT ITER 166 NEW BEST:: SOT 28103 SOS 19747 HAS SOPS 17965 HAS SOUS 8405 HAS SOUPS 8271 WITH SCORE 8290.747
AT ITER 167 NEW BEST:: SOT 27961 SOS 19613 HAS SOPS 17815 HAS SOUS 8348 HAS SOUPS 8214 WITH SCORE 8233.613
AT ITER 175 NEW BEST:: SOT 27946 SOS 19583 HAS SOPS 17754 HAS SOUS 8302 HAS SOUPS 8168 WITH SCORE 8187.583
AT ITER 177 NEW BEST:: SOT 27944 SOS 19579 HAS SOPS 17752 HAS SOUS 8300 HAS SOUPS 8166 WITH SCORE 8185.579
AT ITER 179 NEW BEST:: SOT 27741 SOS 19411 HAS SOPS 17605 HAS SOUS 8260 HAS SOUPS 8138 WITH SCORE 8157.411
AT ITER 181 NEW BEST:: SOT 27717 SOS 18357 HAS SOPS 16619 HAS SOUS 7661 HAS SOUPS 7539 WITH SCORE 7557.357
AT ITER 188 NEW BEST:: SOT 27737 SOS 17677 HAS SOPS 15977 HAS SOUS 7378 HAS SOUPS 7256 WITH SCORE 7273.677
AT ITER 192 NEW BEST:: SOT 27752 SOS 17642 HAS SOPS 15957 HAS SOUS 7358 HAS SOUPS 7236 WITH SCORE 7253.642
AT ITER 194 NEW BEST:: SOT 27737 SOS 17624 HAS SOPS 15927 HAS SOUS 7345 HAS SOUPS 7223 WITH SCORE 7240.624
AT ITER 196 NEW BEST:: SOT 27813 SOS 16296 HAS SOPS 14654 HAS SOUS 6949 HAS SOUPS 6827 WITH SCORE 6843.296
AT ITER 212 NEW BEST:: SOT 26848 SOS 18105 HAS SOPS 13689 HAS SOUS 6675 HAS SOUPS 6505 WITH SCORE 6523.105
AT ITER 219 NEW BEST:: SOT 26848 SOS 18105 HAS SOPS 13689 HAS SOUS 6669 HAS SOUPS 6499 WITH SCORE 6517.105
AT ITER 224 NEW BEST:: SOT 26787 SOS 17992 HAS SOPS 13567 HAS SOUS 6577 HAS SOUPS 6407 WITH SCORE 6424.992
AT ITER 227 NEW BEST:: SOT 26786 SOS 17986 HAS SOPS 13560 HAS SOUS 6570 HAS SOUPS 6400 WITH SCORE 6417.986
AT ITER 234 NEW BEST:: SOT 26782 SOS 17982 HAS SOPS 13556 HAS SOUS 6566 HAS SOUPS 6396 WITH SCORE 6413.982
AT ITER 241 NEW BEST:: SOT 26774 SOS 17974 HAS SOPS 13540 HAS SOUS 6550 HAS SOUPS 6380 WITH SCORE 6397.974
AT ITER 252 NEW BEST:: SOT 26756 SOS 17956 HAS SOPS 13522 HAS SOUS 6532 HAS SOUPS 6362 WITH SCORE 6379.956
AT ITER 254 NEW BEST:: SOT 26409 SOS 17618 HAS SOPS 13184 HAS SOUS 6371 HAS SOUPS 6201 WITH SCORE 6218.618
AT ITER 272 NEW BEST:: SOT 26407 SOS 17524 HAS SOPS 13105 HAS SOUS 6342 HAS SOUPS 6172 WITH SCORE 6189.524
AT ITER 276 NEW BEST:: SOT 26397 SOS 17514 HAS SOPS 13085 HAS SOUS 6324 HAS SOUPS 6152 WITH SCORE 6169.514
AT ITER 277 NEW BEST:: SOT 26250 SOS 17259 HAS SOPS 12776 HAS SOUS 6125 HAS SOUPS 5953 WITH SCORE 5970.259
AT ITER 278 NEW BEST:: SOT 26183 SOS 17392 HAS SOPS 12822 HAS SOUS 6099 HAS SOUPS 5927 WITH SCORE 5944.392
AT ITER 282 NEW BEST:: SOT 26176 SOS 17383 HAS SOPS 12808 HAS SOUS 6085 HAS SOUPS 5913 WITH SCORE 5930.383
AT ITER 283 NEW BEST:: SOT 25702 SOS 16943 HAS SOPS 12368 HAS SOUS 5867 HAS SOUPS 5695 WITH SCORE 5711.943
AT ITER 284 NEW BEST:: SOT 25698 SOS 16941 HAS SOPS 12364 HAS SOUS 5863 HAS SOUPS 5691 WITH SCORE 5707.941
AT ITER 285 NEW BEST:: SOT 25688 SOS 16918 HAS SOPS 12347 HAS SOUS 5846 HAS SOUPS 5674 WITH SCORE 5690.918
AT ITER 286 NEW BEST:: SOT 25687 SOS 16917 HAS SOPS 12345 HAS SOUS 5844 HAS SOUPS 5672 WITH SCORE 5688.917
AT ITER 288 NEW BEST:: SOT 25678 SOS 16908 HAS SOPS 12327 HAS SOUS 5827 HAS SOUPS 5654 WITH SCORE 5670.908
AT ITER 295 NEW BEST:: SOT 25677 SOS 16906 HAS SOPS 12325 HAS SOUS 5825 HAS SOUPS 5652 WITH SCORE 5668.906
AT ITER 303 NEW BEST:: SOT 25665 SOS 16941 HAS SOPS 12334 HAS SOUS 5807 HAS SOUPS 5634 WITH SCORE 5650.941
AT ITER 306 NEW BEST:: SOT 25665 SOS 16933 HAS SOPS 12326 HAS SOUS 5807 HAS SOUPS 5634 WITH SCORE 5650.933
AT ITER 316 NEW BEST:: SOT 25665 SOS 16930 HAS SOPS 12323 HAS SOUS 5801 HAS SOUPS 5628 WITH SCORE 5644.93
AT ITER 317 NEW BEST:: SOT 25789 SOS 17039 HAS SOPS 12295 HAS SOUS 5662 HAS SOUPS 5489 WITH SCORE 5506.039
AT ITER 330 NEW BEST:: SOT 25785 SOS 17019 HAS SOPS 12284 HAS SOUS 5655 HAS SOUPS 5482 WITH SCORE 5499.019
AT ITER 331 NEW BEST:: SOT 25782 SOS 17013 HAS SOPS 12266 HAS SOUS 5598 HAS SOUPS 5425 WITH SCORE 5442.013
AT ITER 341 NEW BEST:: SOT 25785 SOS 16954 HAS SOPS 12182 HAS SOUS 5535 HAS SOUPS 5362 WITH SCORE 5378.954
AT ITER 345 NEW BEST:: SOT 25785 SOS 16729 HAS SOPS 11957 HAS SOUS 5499 HAS SOUPS 5326 WITH SCORE 5342.729
AT ITER 352 NEW BEST:: SOT 25780 SOS 16722 HAS SOPS 11947 HAS SOUS 5493 HAS SOUPS 5320 WITH SCORE 5336.722
AT ITER 353 NEW BEST:: SOT 25765 SOS 16700 HAS SOPS 11917 HAS SOUS 5470 HAS SOUPS 5290 WITH SCORE 5306.7
AT ITER 374 NEW BEST:: SOT 25763 SOS 16700 HAS SOPS 11916 HAS SOUS 5469 HAS SOUPS 5289 WITH SCORE 5305.7
AT ITER 377 NEW BEST:: SOT 25717 SOS 16603 HAS SOPS 11824 HAS SOUS 5423 HAS SOUPS 5243 WITH SCORE 5259.603
AT ITER 382 NEW BEST:: SOT 25716 SOS 16601 HAS SOPS 11822 HAS SOUS 5420 HAS SOUPS 5240 WITH SCORE 5256.601
AT ITER 390 NEW BEST:: SOT 25710 SOS 16589 HAS SOPS 11810 HAS SOUS 5408 HAS SOUPS 5228 WITH SCORE 5244.589
AT ITER 417 NEW BEST:: SOT 25712 SOS 16587 HAS SOPS 11810 HAS SOUS 5408 HAS SOUPS 5228 WITH SCORE 5244.587
AT ITER 421 NEW BEST:: SOT 25321 SOS 16300 HAS SOPS 11485 HAS SOUS 5193 HAS SOUPS 5013 WITH SCORE 5029.3
AT ITER 428 NEW BEST:: SOT 25284 SOS 16248 HAS SOPS 11461 HAS SOUS 5168 HAS SOUPS 4988 WITH SCORE 5004.248
AT ITER 432 NEW BEST:: SOT 25255 SOS 16227 HAS SOPS 11403 HAS SOUS 5119 HAS SOUPS 4939 WITH SCORE 4955.227
AT ITER 438 NEW BEST:: SOT 25254 SOS 16226 HAS SOPS 11401 HAS SOUS 5117 HAS SOUPS 4937 WITH SCORE 4953.226
AT ITER 444 NEW BEST:: SOT 25259 SOS 16024 HAS SOPS 11202 HAS SOUS 5083 HAS SOUPS 4903 WITH SCORE 4919.024
AT ITER 466 NEW BEST:: SOT 25257 SOS 16051 HAS SOPS 11221 HAS SOUS 5080 HAS SOUPS 4900 WITH SCORE 4916.051
AT ITER 467 NEW BEST:: SOT 25179 SOS 16009 HAS SOPS 11155 HAS SOUS 5033 HAS SOUPS 4853 WITH SCORE 4869.009
AT ITER 472 NEW BEST:: SOT 25179 SOS 15999 HAS SOPS 11145 HAS SOUS 5033 HAS SOUPS 4853 WITH SCORE 4868.999
AT ITER 486 NEW BEST:: SOT 25176 SOS 15987 HAS SOPS 11139 HAS SOUS 5027 HAS SOUPS 4847 WITH SCORE 4862.987
AT ITER 487 NEW BEST:: SOT 25161 SOS 15744 HAS SOPS 10896 HAS SOUS 4976 HAS SOUPS 4796 WITH SCORE 4811.744
AT ITER 491 NEW BEST:: SOT 25129 SOS 15712 HAS SOPS 10875 HAS SOUS 4955 HAS SOUPS 4775 WITH SCORE 4790.712
AT ITER 498 NEW BEST:: SOT 25124 SOS 15717 HAS SOPS 10865 HAS SOUS 4935 HAS SOUPS 4755 WITH SCORE 4770.717
AT ITER 502 NEW BEST:: SOT 25125 SOS 15658 HAS SOPS 10819 HAS SOUS 4915 HAS SOUPS 4735 WITH SCORE 4750.658
AT ITER 516 NEW BEST:: SOT 25118 SOS 15644 HAS SOPS 10805 HAS SOUS 4914 HAS SOUPS 4734 WITH SCORE 4749.644
AT ITER 517 NEW BEST:: SOT 25114 SOS 15640 HAS SOPS 10797 HAS SOUS 4908 HAS SOUPS 4728 WITH SCORE 4743.64
AT ITER 526 NEW BEST:: SOT 25120 SOS 15611 HAS SOPS 10783 HAS SOUS 4900 HAS SOUPS 4720 WITH SCORE 4735.611
AT ITER 532 NEW BEST:: SOT 25125 SOS 15616 HAS SOPS 10787 HAS SOUS 4899 HAS SOUPS 4718 WITH SCORE 4733.616
AT ITER 533 NEW BEST:: SOT 25112 SOS 15590 HAS SOPS 10761 HAS SOUS 4893 HAS SOUPS 4712 WITH SCORE 4727.59
AT ITER 552 NEW BEST:: SOT 25098 SOS 15515 HAS SOPS 10733 HAS SOUS 4865 HAS SOUPS 4684 WITH SCORE 4699.515
AT ITER 561 NEW BEST:: SOT 25101 SOS 15437 HAS SOPS 10661 HAS SOUS 4853 HAS SOUPS 4672 WITH SCORE 4687.437
AT ITER 573 NEW BEST:: SOT 24942 SOS 17951 HAS SOPS 10477 HAS SOUS 4774 HAS SOUPS 4568 WITH SCORE 4585.951
AT ITER 578 NEW BEST:: SOT 24937 SOS 17893 HAS SOPS 10436 HAS SOUS 4752 HAS SOUPS 4546 WITH SCORE 4563.893
AT ITER 583 NEW BEST:: SOT 24938 SOS 17899 HAS SOPS 10438 HAS SOUS 4751 HAS SOUPS 4545 WITH SCORE 4562.899
AT ITER 596 NEW BEST:: SOT 24936 SOS 17897 HAS SOPS 10434 HAS SOUS 4747 HAS SOUPS 4541 WITH SCORE 4558.897
AT ITER 615 NEW BEST:: SOT 24913 SOS 17850 HAS SOPS 10364 HAS SOUS 4677 HAS SOUPS 4471 WITH SCORE 4488.85
AT ITER 623 NEW BEST:: SOT 24913 SOS 17848 HAS SOPS 10364 HAS SOUS 4677 HAS SOUPS 4471 WITH SCORE 4488.848
AT ITER 632 NEW BEST:: SOT 24909 SOS 17851 HAS SOPS 10352 HAS SOUS 4667 HAS SOUPS 4461 WITH SCORE 4478.851
AT ITER 646 NEW BEST:: SOT 24908 SOS 17822 HAS SOPS 10350 HAS SOUS 4665 HAS SOUPS 4459 WITH SCORE 4476.822
AT ITER 647 NEW BEST:: SOT 24938 SOS 17852 HAS SOPS 10352 HAS SOUS 4664 HAS SOUPS 4458 WITH SCORE 4475.852
AT ITER 652 NEW BEST:: SOT 24937 SOS 17850 HAS SOPS 10350 HAS SOUS 4663 HAS SOUPS 4457 WITH SCORE 4474.85
AT ITER 657 NEW BEST:: SOT 24936 SOS 17864 HAS SOPS 10356 HAS SOUS 4662 HAS SOUPS 4456 WITH SCORE 4473.864
AT ITER 669 NEW BEST:: SOT 24934 SOS 17862 HAS SOPS 10354 HAS SOUS 4662 HAS SOUPS 4456 WITH SCORE 4473.862
AT ITER 679 NEW BEST:: SOT 24913 SOS 17823 HAS SOPS 10312 HAS SOUS 4634 HAS SOUPS 4428 WITH SCORE 4445.823
AT ITER 688 NEW BEST:: SOT 24918 SOS 17763 HAS SOPS 10260 HAS SOUS 4585 HAS SOUPS 4379 WITH SCORE 4396.763
AT ITER 691 NEW BEST:: SOT 24917 SOS 17800 HAS SOPS 10258 HAS SOUS 4583 HAS SOUPS 4377 WITH SCORE 4394.8
AT ITER 695 NEW BEST:: SOT 24916 SOS 17798 HAS SOPS 10256 HAS SOUS 4582 HAS SOUPS 4376 WITH SCORE 4393.798
AT ITER 698 NEW BEST:: SOT 24916 SOS 17786 HAS SOPS 10250 HAS SOUS 4582 HAS SOUPS 4376 WITH SCORE 4393.786
AT ITER 717 NEW BEST:: SOT 24915 SOS 17784 HAS SOPS 10248 HAS SOUS 4581 HAS SOUPS 4375 WITH SCORE 4392.784
AT ITER 724 NEW BEST:: SOT 24861 SOS 17744 HAS SOPS 10208 HAS SOUS 4567 HAS SOUPS 4361 WITH SCORE 4378.744
AT ITER 749 NEW BEST:: SOT 24865 SOS 17717 HAS SOPS 10166 HAS SOUS 4524 HAS SOUPS 4318 WITH SCORE 4335.717
AT ITER 754 NEW BEST:: SOT 24866 SOS 17741 HAS SOPS 10168 HAS SOUS 4505 HAS SOUPS 4299 WITH SCORE 4316.741
AT ITER 767 NEW BEST:: SOT 24852 SOS 17722 HAS SOPS 10140 HAS SOUS 4498 HAS SOUPS 4292 WITH SCORE 4309.722
AT ITER 768 NEW BEST:: SOT 24843 SOS 17830 HAS SOPS 10122 HAS SOUS 4486 HAS SOUPS 4277 WITH SCORE 4294.83
AT ITER 779 NEW BEST:: SOT 24843 SOS 17806 HAS SOPS 10107 HAS SOUS 4480 HAS SOUPS 4271 WITH SCORE 4288.806
AT ITER 795 NEW BEST:: SOT 24866 SOS 17770 HAS SOPS 10082 HAS SOUS 4444 HAS SOUPS 4240 WITH SCORE 4257.77
AT ITER 799 NEW BEST:: SOT 24866 SOS 17706 HAS SOPS 10018 HAS SOUS 4438 HAS SOUPS 4234 WITH SCORE 4251.706
AT ITER 809 NEW BEST:: SOT 24846 SOS 17686 HAS SOPS 9978 HAS SOUS 4398 HAS SOUPS 4194 WITH SCORE 4211.686
AT ITER 831 NEW BEST:: SOT 24812 SOS 17640 HAS SOPS 9910 HAS SOUS 4330 HAS SOUPS 4126 WITH SCORE 4143.64
AT ITER 843 NEW BEST:: SOT 24803 SOS 17647 HAS SOPS 9905 HAS SOUS 4322 HAS SOUPS 4118 WITH SCORE 4135.647
AT ITER 845 NEW BEST:: SOT 24799 SOS 18595 HAS SOPS 9882 HAS SOUS 4328 HAS SOUPS 4117 WITH SCORE 4135.595
AT ITER 873 NEW BEST:: SOT 24799 SOS 18593 HAS SOPS 9845 HAS SOUS 4324 HAS SOUPS 4113 WITH SCORE 4131.593
AT ITER 876 NEW BEST:: SOT 24770 SOS 18545 HAS SOPS 9803 HAS SOUS 4299 HAS SOUPS 4088 WITH SCORE 4106.545
AT ITER 903 NEW BEST:: SOT 24752 SOS 18527 HAS SOPS 9767 HAS SOUS 4263 HAS SOUPS 4052 WITH SCORE 4070.527
AT ITER 904 NEW BEST:: SOT 24750 SOS 18528 HAS SOPS 9763 HAS SOUS 4259 HAS SOUPS 4048 WITH SCORE 4066.528
AT ITER 915 NEW BEST:: SOT 24732 SOS 18523 HAS SOPS 9727 HAS SOUS 4223 HAS SOUPS 4012 WITH SCORE 4030.523
AT ITER 923 NEW BEST:: SOT 24730 SOS 18523 HAS SOPS 9725 HAS SOUS 4221 HAS SOUPS 4010 WITH SCORE 4028.523
AT ITER 953 NEW BEST:: SOT 24730 SOS 18515 HAS SOPS 9721 HAS SOUS 4221 HAS SOUPS 4010 WITH SCORE 4028.515
AT ITER 959 NEW BEST:: SOT 24727 SOS 18512 HAS SOPS 9715 HAS SOUS 4218 HAS SOUPS 4004 WITH SCORE 4022.512
AT ITER 996 NEW BEST:: SOT 24715 SOS 18494 HAS SOPS 9691 HAS SOUS 4194 HAS SOUPS 3980 WITH SCORE 3998.494
AT ITER 1002 NEW BEST:: SOT 24547 SOS 18336 HAS SOPS 9530 HAS SOUS 4113 HAS SOUPS 3899 WITH SCORE 3917.336
AT ITER 1003 NEW BEST:: SOT 24544 SOS 18333 HAS SOPS 9524 HAS SOUS 4103 HAS SOUPS 3889 WITH SCORE 3907.333
AT ITER 1035 NEW BEST:: SOT 24543 SOS 18331 HAS SOPS 9522 HAS SOUS 4101 HAS SOUPS 3887 WITH SCORE 3905.331
AT ITER 1043 NEW BEST:: SOT 24485 SOS 18304 HAS SOPS 9468 HAS SOUS 4078 HAS SOUPS 3864 WITH SCORE 3882.304
AT ITER 1047 NEW BEST:: SOT 24482 SOS 18298 HAS SOPS 9462 HAS SOUS 4072 HAS SOUPS 3858 WITH SCORE 3876.298
AT ITER 1061 NEW BEST:: SOT 24425 SOS 18233 HAS SOPS 9397 HAS SOUS 4015 HAS SOUPS 3801 WITH SCORE 3819.233
AT ITER 1065 NEW BEST:: SOT 24410 SOS 18233 HAS SOPS 9382 HAS SOUS 4012 HAS SOUPS 3798 WITH SCORE 3816.233
AT ITER 1081 NEW BEST:: SOT 24409 SOS 18232 HAS SOPS 9380 HAS SOUS 4010 HAS SOUPS 3796 WITH SCORE 3814.232
AT ITER 1109 NEW BEST:: SOT 24399 SOS 18236 HAS SOPS 9374 HAS SOUS 3991 HAS SOUPS 3777 WITH SCORE 3795.236
AT ITER 1110 NEW BEST:: SOT 24386 SOS 18198 HAS SOPS 9348 HAS SOUS 3977 HAS SOUPS 3763 WITH SCORE 3781.198
AT ITER 1123 NEW BEST:: SOT 24382 SOS 18192 HAS SOPS 9340 HAS SOUS 3977 HAS SOUPS 3761 WITH SCORE 3779.192
AT ITER 1140 NEW BEST:: SOT 24380 SOS 18190 HAS SOPS 9336 HAS SOUS 3973 HAS SOUPS 3757 WITH SCORE 3775.19
AT ITER 1182 NEW BEST:: SOT 24375 SOS 18163 HAS SOPS 9326 HAS SOUS 3968 HAS SOUPS 3752 WITH SCORE 3770.163
AT ITER 1200 NEW BEST:: SOT 24369 SOS 18157 HAS SOPS 9320 HAS SOUS 3962 HAS SOUPS 3746 WITH SCORE 3764.157
AT ITER 1202 NEW BEST:: SOT 24360 SOS 18124 HAS SOPS 9287 HAS SOUS 3944 HAS SOUPS 3728 WITH SCORE 3746.124
AT ITER 1203 NEW BEST:: SOT 24360 SOS 18114 HAS SOPS 9282 HAS SOUS 3944 HAS SOUPS 3728 WITH SCORE 3746.114
AT ITER 1225 NEW BEST:: SOT 24359 SOS 18113 HAS SOPS 9280 HAS SOUS 3941 HAS SOUPS 3725 WITH SCORE 3743.113
AT ITER 1253 NEW BEST:: SOT 24357 SOS 18110 HAS SOPS 9276 HAS SOUS 3937 HAS SOUPS 3721 WITH SCORE 3739.11
AT ITER 1267 NEW BEST:: SOT 24347 SOS 18102 HAS SOPS 9262 HAS SOUS 3927 HAS SOUPS 3711 WITH SCORE 3729.102
AT ITER 1284 NEW BEST:: SOT 24347 SOS 18102 HAS SOPS 9262 HAS SOUS 3926 HAS SOUPS 3710 WITH SCORE 3728.102
AT ITER 1308 NEW BEST:: SOT 24345 SOS 18185 HAS SOPS 9258 HAS SOUS 3924 HAS SOUPS 3706 WITH SCORE 3724.185
AT ITER 1330 NEW BEST:: SOT 24347 SOS 18180 HAS SOPS 9254 HAS SOUS 3923 HAS SOUPS 3705 WITH SCORE 3723.18
AT ITER 1392 NEW BEST:: SOT 24371 SOS 18155 HAS SOPS 9253 HAS SOUS 3922 HAS SOUPS 3704 WITH SCORE 3722.155
AT ITER 1399 NEW BEST:: SOT 24367 SOS 18151 HAS SOPS 9245 HAS SOUS 3914 HAS SOUPS 3696 WITH SCORE 3714.151
AT ITER 1416 NEW BEST:: SOT 24402 SOS 18726 HAS SOPS 9022 HAS SOUS 3919 HAS SOUPS 3689 WITH SCORE 3707.726
AT ITER 1436 NEW BEST:: SOT 24399 SOS 18723 HAS SOPS 9019 HAS SOUS 3916 HAS SOUPS 3686 WITH SCORE 3704.723
AT ITER 1458 NEW BEST:: SOT 24396 SOS 18714 HAS SOPS 9013 HAS SOUS 3911 HAS SOUPS 3681 WITH SCORE 3699.714
AT ITER 1463 NEW BEST:: SOT 24396 SOS 18710 HAS SOPS 9009 HAS SOUS 3909 HAS SOUPS 3679 WITH SCORE 3697.71
AT ITER 1479 NEW BEST:: SOT 24395 SOS 18708 HAS SOPS 9007 HAS SOUS 3907 HAS SOUPS 3677 WITH SCORE 3695.708
AT ITER 1486 NEW BEST:: SOT 24395 SOS 18698 HAS SOPS 9002 HAS SOUS 3907 HAS SOUPS 3677 WITH SCORE 3695.698
AT ITER 1492 NEW BEST:: SOT 24382 SOS 18702 HAS SOPS 8989 HAS SOUS 3886 HAS SOUPS 3656 WITH SCORE 3674.702
AT ITER 1495 NEW BEST:: SOT 24377 SOS 18687 HAS SOPS 8974 HAS SOUS 3876 HAS SOUPS 3646 WITH SCORE 3664.687
AT ITER 1497 NEW BEST:: SOT 24369 SOS 18685 HAS SOPS 8958 HAS SOUS 3854 HAS SOUPS 3624 WITH SCORE 3642.685
AT ITER 1501 NEW BEST:: SOT 24365 SOS 18680 HAS SOPS 8950 HAS SOUS 3845 HAS SOUPS 3615 WITH SCORE 3633.68
AT ITER 1525 NEW BEST:: SOT 24369 SOS 18677 HAS SOPS 8949 HAS SOUS 3844 HAS SOUPS 3614 WITH SCORE 3632.677
AT ITER 1554 NEW BEST:: SOT 24369 SOS 18677 HAS SOPS 8949 HAS SOUS 3843 HAS SOUPS 3613 WITH SCORE 3631.677
AT ITER 1561 NEW BEST:: SOT 24336 SOS 18638 HAS SOPS 8908 HAS SOUS 3802 HAS SOUPS 3572 WITH SCORE 3590.638
AT ITER 1573 NEW BEST:: SOT 24336 SOS 18646 HAS SOPS 8908 HAS SOUS 3794 HAS SOUPS 3564 WITH SCORE 3582.646
AT ITER 1601 NEW BEST:: SOT 24320 SOS 18653 HAS SOPS 8899 HAS SOUS 3785 HAS SOUPS 3555 WITH SCORE 3573.653
AT ITER 1605 NEW BEST:: SOT 24340 SOS 18686 HAS SOPS 8663 HAS SOUS 3779 HAS SOUPS 3549 WITH SCORE 3567.686
AT ITER 1609 NEW BEST:: SOT 24334 SOS 18691 HAS SOPS 8662 HAS SOUS 3778 HAS SOUPS 3548 WITH SCORE 3566.691
AT ITER 1730 NEW BEST:: SOT 24331 SOS 18683 HAS SOPS 8656 HAS SOUS 3765 HAS SOUPS 3535 WITH SCORE 3553.683
AT ITER 1732 NEW BEST:: SOT 24331 SOS 18681 HAS SOPS 8654 HAS SOUS 3763 HAS SOUPS 3533 WITH SCORE 3551.681
AT ITER 1745 NEW BEST:: SOT 24330 SOS 18680 HAS SOPS 8652 HAS SOUS 3761 HAS SOUPS 3531 WITH SCORE 3549.68
AT ITER 1760 NEW BEST:: SOT 24306 SOS 18658 HAS SOPS 8617 HAS SOUS 3737 HAS SOUPS 3507 WITH SCORE 3525.658
AT ITER 1783 NEW BEST:: SOT 24303 SOS 18659 HAS SOPS 8615 HAS SOUS 3735 HAS SOUPS 3505 WITH SCORE 3523.659
AT ITER 1790 NEW BEST:: SOT 24303 SOS 18659 HAS SOPS 8613 HAS SOUS 3733 HAS SOUPS 3503 WITH SCORE 3521.659
AT ITER 1791 NEW BEST:: SOT 24296 SOS 18652 HAS SOPS 8599 HAS SOUS 3719 HAS SOUPS 3489 WITH SCORE 3507.652
AT ITER 1793 NEW BEST:: SOT 24293 SOS 18649 HAS SOPS 8593 HAS SOUS 3710 HAS SOUPS 3480 WITH SCORE 3498.649
AT ITER 1801 NEW BEST:: SOT 24292 SOS 18646 HAS SOPS 8591 HAS SOUS 3704 HAS SOUPS 3474 WITH SCORE 3492.646
AT ITER 1830 NEW BEST:: SOT 24274 SOS 16082 HAS SOPS 8600 HAS SOUS 3668 HAS SOUPS 3454 WITH SCORE 3470.082
AT ITER 1862 NEW BEST:: SOT 24273 SOS 16081 HAS SOPS 8598 HAS SOUS 3666 HAS SOUPS 3452 WITH SCORE 3468.081
AT ITER 1865 NEW BEST:: SOT 24274 SOS 16080 HAS SOPS 8598 HAS SOUS 3666 HAS SOUPS 3452 WITH SCORE 3468.08
AT ITER 1874 NEW BEST:: SOT 24259 SOS 16056 HAS SOPS 8568 HAS SOUS 3640 HAS SOUPS 3422 WITH SCORE 3438.056
AT ITER 1949 NEW BEST:: SOT 24252 SOS 16046 HAS SOPS 8506 HAS SOUS 3580 HAS SOUPS 3362 WITH SCORE 3378.046
AT ITER 1956 NEW BEST:: SOT 24251 SOS 16045 HAS SOPS 8505 HAS SOUS 3580 HAS SOUPS 3362 WITH SCORE 3378.045
AT ITER 1957 NEW BEST:: SOT 24224 SOS 16025 HAS SOPS 8485 HAS SOUS 3577 HAS SOUPS 3359 WITH SCORE 3375.025
AT ITER 1965 NEW BEST:: SOT 24234 SOS 16020 HAS SOPS 8491 HAS SOUS 3571 HAS SOUPS 3353 WITH SCORE 3369.02
AT ITER 1975 NEW BEST:: SOT 24231 SOS 16017 HAS SOPS 8485 HAS SOUS 3565 HAS SOUPS 3347 WITH SCORE 3363.017
AT ITER 1984 NEW BEST:: SOT 24231 SOS 16009 HAS SOPS 8477 HAS SOUS 3557 HAS SOUPS 3339 WITH SCORE 3355.009
AT ITER 2035 NEW BEST:: SOT 24229 SOS 16003 HAS SOPS 8473 HAS SOUS 3556 HAS SOUPS 3338 WITH SCORE 3354.003
AT ITER 2037 NEW BEST:: SOT 24221 SOS 15994 HAS SOPS 8463 HAS SOUS 3549 HAS SOUPS 3331 WITH SCORE 3346.994
AT ITER 2138 NEW BEST:: SOT 24217 SOS 15988 HAS SOPS 8459 HAS SOUS 3545 HAS SOUPS 3327 WITH SCORE 3342.988
AT ITER 2145 NEW BEST:: SOT 24208 SOS 15967 HAS SOPS 8428 HAS SOUS 3514 HAS SOUPS 3296 WITH SCORE 3311.967
AT ITER 2182 NEW BEST:: SOT 24204 SOS 15963 HAS SOPS 8422 HAS SOUS 3508 HAS SOUPS 3290 WITH SCORE 3305.963
AT ITER 2188 NEW BEST:: SOT 24179 SOS 15959 HAS SOPS 8418 HAS SOUS 3504 HAS SOUPS 3286 WITH SCORE 3301.959
AT ITER 2207 NEW BEST:: SOT 24164 SOS 15965 HAS SOPS 8411 HAS SOUS 3502 HAS SOUPS 3284 WITH SCORE 3299.965
AT ITER 2261 NEW BEST:: SOT 24189 SOS 15989 HAS SOPS 8429 HAS SOUS 3493 HAS SOUPS 3275 WITH SCORE 3290.989
AT ITER 2301 NEW BEST:: SOT 24188 SOS 15982 HAS SOPS 8424 HAS SOUS 3491 HAS SOUPS 3273 WITH SCORE 3288.982
AT ITER 2335 NEW BEST:: SOT 24185 SOS 15985 HAS SOPS 8418 HAS SOUS 3485 HAS SOUPS 3267 WITH SCORE 3282.985
AT ITER 2338 NEW BEST:: SOT 23988 SOS 15792 HAS SOPS 8228 HAS SOUS 3397 HAS SOUPS 3179 WITH SCORE 3194.792
AT ITER 2350 NEW BEST:: SOT 23986 SOS 15790 HAS SOPS 8224 HAS SOUS 3393 HAS SOUPS 3175 WITH SCORE 3190.79
AT ITER 2382 NEW BEST:: SOT 23985 SOS 15789 HAS SOPS 8222 HAS SOUS 3391 HAS SOUPS 3173 WITH SCORE 3188.789
AT ITER 2408 NEW BEST:: SOT 23983 SOS 15787 HAS SOPS 8218 HAS SOUS 3387 HAS SOUPS 3169 WITH SCORE 3184.787
AT ITER 2463 NEW BEST:: SOT 23983 SOS 15786 HAS SOPS 8216 HAS SOUS 3386 HAS SOUPS 3167 WITH SCORE 3182.786
AT ITER 2486 NEW BEST:: SOT 23979 SOS 15775 HAS SOPS 8208 HAS SOUS 3385 HAS SOUPS 3166 WITH SCORE 3181.775
AT ITER 2522 NEW BEST:: SOT 23979 SOS 15773 HAS SOPS 8204 HAS SOUS 3381 HAS SOUPS 3162 WITH SCORE 3177.773
AT ITER 2552 NEW BEST:: SOT 23975 SOS 15769 HAS SOPS 8196 HAS SOUS 3373 HAS SOUPS 3154 WITH SCORE 3169.769
AT ITER 2592 NEW BEST:: SOT 23979 SOS 15782 HAS SOPS 8204 HAS SOUS 3370 HAS SOUPS 3151 WITH SCORE 3166.782
AT ITER 2620 NEW BEST:: SOT 23979 SOS 15784 HAS SOPS 8204 HAS SOUS 3368 HAS SOUPS 3149 WITH SCORE 3164.784
AT ITER 2633 NEW BEST:: SOT 23975 SOS 15780 HAS SOPS 8196 HAS SOUS 3360 HAS SOUPS 3141 WITH SCORE 3156.78
AT ITER 2634 NEW BEST:: SOT 23975 SOS 15778 HAS SOPS 8192 HAS SOUS 3355 HAS SOUPS 3136 WITH SCORE 3151.778
AT ITER 2653 NEW BEST:: SOT 23991 SOS 15797 HAS SOPS 8173 HAS SOUS 3348 HAS SOUPS 3129 WITH SCORE 3144.797
AT ITER 2656 NEW BEST:: SOT 23977 SOS 15783 HAS SOPS 8159 HAS SOUS 3342 HAS SOUPS 3123 WITH SCORE 3138.783
AT ITER 2657 NEW BEST:: SOT 23982 SOS 15562 HAS SOPS 8168 HAS SOUS 3340 HAS SOUPS 3123 WITH SCORE 3138.562
AT ITER 2668 NEW BEST:: SOT 23981 SOS 15561 HAS SOPS 8166 HAS SOUS 3338 HAS SOUPS 3121 WITH SCORE 3136.561
AT ITER 2678 NEW BEST:: SOT 23981 SOS 15560 HAS SOPS 8165 HAS SOUS 3337 HAS SOUPS 3120 WITH SCORE 3135.56
AT ITER 2694 NEW BEST:: SOT 23975 SOS 15557 HAS SOPS 8159 HAS SOUS 3331 HAS SOUPS 3114 WITH SCORE 3129.557
AT ITER 2710 NEW BEST:: SOT 23957 SOS 15539 HAS SOPS 8159 HAS SOUS 3331 HAS SOUPS 3114 WITH SCORE 3129.539
AT ITER 2777 NEW BEST:: SOT 23957 SOS 15537 HAS SOPS 8157 HAS SOUS 3329 HAS SOUPS 3112 WITH SCORE 3127.537
AT ITER 2790 NEW BEST:: SOT 23942 SOS 15503 HAS SOPS 8127 HAS SOUS 3325 HAS SOUPS 3108 WITH SCORE 3123.503
AT ITER 2810 NEW BEST:: SOT 23939 SOS 15499 HAS SOPS 8121 HAS SOUS 3319 HAS SOUPS 3102 WITH SCORE 3117.499
AT ITER 2819 NEW BEST:: SOT 23931 SOS 15491 HAS SOPS 8105 HAS SOUS 3303 HAS SOUPS 3086 WITH SCORE 3101.491
AT ITER 2828 NEW BEST:: SOT 23932 SOS 15489 HAS SOPS 8104 HAS SOUS 3300 HAS SOUPS 3083 WITH SCORE 3098.489
AT ITER 2838 NEW BEST:: SOT 23933 SOS 15497 HAS SOPS 8106 HAS SOUS 3295 HAS SOUPS 3078 WITH SCORE 3093.497
AT ITER 2852 NEW BEST:: SOT 23933 SOS 15495 HAS SOPS 8104 HAS SOUS 3293 HAS SOUPS 3076 WITH SCORE 3091.495
AT ITER 2913 NEW BEST:: SOT 23935 SOS 15487 HAS SOPS 8098 HAS SOUS 3287 HAS SOUPS 3070 WITH SCORE 3085.487
AT ITER 2932 NEW BEST:: SOT 23918 SOS 15481 HAS SOPS 8090 HAS SOUS 3279 HAS SOUPS 3062 WITH SCORE 3077.481
AT ITER 2956 NEW BEST:: SOT 23914 SOS 15477 HAS SOPS 8082 HAS SOUS 3271 HAS SOUPS 3054 WITH SCORE 3069.477
AT ITER 2976 NEW BEST:: SOT 23913 SOS 15474 HAS SOPS 8068 HAS SOUS 3267 HAS SOUPS 3050 WITH SCORE 3065.474
AT ITER 3057 NEW BEST:: SOT 23912 SOS 15472 HAS SOPS 8066 HAS SOUS 3266 HAS SOUPS 3049 WITH SCORE 3064.472
AT ITER 3059 NEW BEST:: SOT 23917 SOS 15456 HAS SOPS 8063 HAS SOUS 3263 HAS SOUPS 3046 WITH SCORE 3061.456
AT ITER 3061 NEW BEST:: SOT 23909 SOS 15442 HAS SOPS 8054 HAS SOUS 3254 HAS SOUPS 3037 WITH SCORE 3052.442
AT ITER 3070 NEW BEST:: SOT 23903 SOS 15436 HAS SOPS 8060 HAS SOUS 3254 HAS SOUPS 3037 WITH SCORE 3052.436
AT ITER 3078 NEW BEST:: SOT 23902 SOS 15435 HAS SOPS 8060 HAS SOUS 3254 HAS SOUPS 3037 WITH SCORE 3052.435
AT ITER 3117 NEW BEST:: SOT 23904 SOS 15580 HAS SOPS 8059 HAS SOUS 3255 HAS SOUPS 3035 WITH SCORE 3050.58
AT ITER 3160 NEW BEST:: SOT 23903 SOS 15577 HAS SOPS 8051 HAS SOUS 3247 HAS SOUPS 3027 WITH SCORE 3042.577
AT ITER 3165 NEW BEST:: SOT 23902 SOS 15575 HAS SOPS 8049 HAS SOUS 3246 HAS SOUPS 3026 WITH SCORE 3041.575
AT ITER 3208 NEW BEST:: SOT 23912 SOS 15563 HAS SOPS 8047 HAS SOUS 3244 HAS SOUPS 3024 WITH SCORE 3039.563
AT ITER 3211 NEW BEST:: SOT 23905 SOS 15556 HAS SOPS 8033 HAS SOUS 3230 HAS SOUPS 3010 WITH SCORE 3025.556
AT ITER 3253 NEW BEST:: SOT 23899 SOS 15554 HAS SOPS 8028 HAS SOUS 3225 HAS SOUPS 3005 WITH SCORE 3020.554
AT ITER 3255 NEW BEST:: SOT 23898 SOS 15554 HAS SOPS 8026 HAS SOUS 3222 HAS SOUPS 3002 WITH SCORE 3017.554
AT ITER 3295 NEW BEST:: SOT 23897 SOS 15553 HAS SOPS 8024 HAS SOUS 3220 HAS SOUPS 3000 WITH SCORE 3015.553
AT ITER 3350 NEW BEST:: SOT 23895 SOS 15549 HAS SOPS 8020 HAS SOUS 3218 HAS SOUPS 2998 WITH SCORE 3013.549
AT ITER 3447 NEW BEST:: SOT 23891 SOS 15552 HAS SOPS 8019 HAS SOUS 3217 HAS SOUPS 2997 WITH SCORE 3012.552
AT ITER 3495 NEW BEST:: SOT 23890 SOS 15545 HAS SOPS 8011 HAS SOUS 3209 HAS SOUPS 2989 WITH SCORE 3004.545
AT ITER 3522 NEW BEST:: SOT 23891 SOS 15546 HAS SOPS 8002 HAS SOUS 3200 HAS SOUPS 2980 WITH SCORE 2995.546
AT ITER 3579 NEW BEST:: SOT 23891 SOS 15528 HAS SOPS 7993 HAS SOUS 3200 HAS SOUPS 2980 WITH SCORE 2995.528
AT ITER 3661 NEW BEST:: SOT 23896 SOS 15538 HAS SOPS 7971 HAS SOUS 3169 HAS SOUPS 2949 WITH SCORE 2964.538
AT ITER 3685 NEW BEST:: SOT 23896 SOS 15531 HAS SOPS 7964 HAS SOUS 3162 HAS SOUPS 2942 WITH SCORE 2957.531
AT ITER 3731 NEW BEST:: SOT 23895 SOS 15526 HAS SOPS 7962 HAS SOUS 3162 HAS SOUPS 2942 WITH SCORE 2957.526
AT ITER 3732 NEW BEST:: SOT 23895 SOS 15521 HAS SOPS 7957 HAS SOUS 3162 HAS SOUPS 2942 WITH SCORE 2957.521
AT ITER 3821 NEW BEST:: SOT 23894 SOS 15520 HAS SOPS 7955 HAS SOUS 3160 HAS SOUPS 2940 WITH SCORE 2955.52
AT ITER 3867 NEW BEST:: SOT 23888 SOS 15525 HAS SOPS 7952 HAS SOUS 3156 HAS SOUPS 2936 WITH SCORE 2951.525
AT ITER 3889 NEW BEST:: SOT 23897 SOS 15537 HAS SOPS 7951 HAS SOUS 3153 HAS SOUPS 2933 WITH SCORE 2948.537
AT ITER 3927 NEW BEST:: SOT 23897 SOS 15535 HAS SOPS 7950 HAS SOUS 3153 HAS SOUPS 2933 WITH SCORE 2948.535
AT ITER 3941 NEW BEST:: SOT 23924 SOS 15543 HAS SOPS 7956 HAS SOUS 3148 HAS SOUPS 2928 WITH SCORE 2943.543
AT ITER 3986 NEW BEST:: SOT 23924 SOS 15547 HAS SOPS 7956 HAS SOUS 3146 HAS SOUPS 2926 WITH SCORE 2941.547
AT ITER 3991 NEW BEST:: SOT 23912 SOS 15547 HAS SOPS 7932 HAS SOUS 3122 HAS SOUPS 2902 WITH SCORE 2917.547
AT ITER 4017 NEW BEST:: SOT 23912 SOS 15534 HAS SOPS 7932 HAS SOUS 3121 HAS SOUPS 2901 WITH SCORE 2916.534
AT ITER 4018 NEW BEST:: SOT 23915 SOS 15540 HAS SOPS 7924 HAS SOUS 3113 HAS SOUPS 2893 WITH SCORE 2908.54
AT ITER 4099 NEW BEST:: SOT 23920 SOS 15542 HAS SOPS 7926 HAS SOUS 3111 HAS SOUPS 2891 WITH SCORE 2906.542
AT ITER 4121 NEW BEST:: SOT 23907 SOS 15332 HAS SOPS 7656 HAS SOUS 3076 HAS SOUPS 2856 WITH SCORE 2871.332
AT ITER 4122 NEW BEST:: SOT 23909 SOS 15340 HAS SOPS 7660 HAS SOUS 3075 HAS SOUPS 2855 WITH SCORE 2870.34
AT ITER 4160 NEW BEST:: SOT 23909 SOS 15343 HAS SOPS 7663 HAS SOUS 3072 HAS SOUPS 2852 WITH SCORE 2867.343
AT ITER 4175 NEW BEST:: SOT 23909 SOS 15339 HAS SOPS 7659 HAS SOUS 3068 HAS SOUPS 2848 WITH SCORE 2863.339
AT ITER 4202 NEW BEST:: SOT 23903 SOS 15340 HAS SOPS 7653 HAS SOUS 3062 HAS SOUPS 2842 WITH SCORE 2857.34
AT ITER 4241 NEW BEST:: SOT 23900 SOS 15337 HAS SOPS 7647 HAS SOUS 3056 HAS SOUPS 2836 WITH SCORE 2851.337
AT ITER 4468 NEW BEST:: SOT 23902 SOS 15344 HAS SOPS 7651 HAS SOUS 3054 HAS SOUPS 2834 WITH SCORE 2849.344
AT ITER 4472 NEW BEST:: SOT 23897 SOS 15339 HAS SOPS 7641 HAS SOUS 3044 HAS SOUPS 2824 WITH SCORE 2839.339
AT ITER 4600 NEW BEST:: SOT 23895 SOS 15336 HAS SOPS 7638 HAS SOUS 3043 HAS SOUPS 2823 WITH SCORE 2838.336
AT ITER 4620 NEW BEST:: SOT 23894 SOS 15335 HAS SOPS 7637 HAS SOUS 3042 HAS SOUPS 2822 WITH SCORE 2837.335
AT ITER 4659 NEW BEST:: SOT 23892 SOS 15330 HAS SOPS 7630 HAS SOUS 3035 HAS SOUPS 2815 WITH SCORE 2830.33
AT ITER 4685 NEW BEST:: SOT 23887 SOS 15328 HAS SOPS 7623 HAS SOUS 3028 HAS SOUPS 2808 WITH SCORE 2823.328
AT ITER 4724 NEW BEST:: SOT 23887 SOS 15326 HAS SOPS 7623 HAS SOUS 3028 HAS SOUPS 2808 WITH SCORE 2823.326
AT ITER 4754 NEW BEST:: SOT 23880 SOS 15313 HAS SOPS 7609 HAS SOUS 3024 HAS SOUPS 2804 WITH SCORE 2819.313
AT ITER 4766 NEW BEST:: SOT 23889 SOS 15303 HAS SOPS 7603 HAS SOUS 3023 HAS SOUPS 2803 WITH SCORE 2818.303
AT ITER 4939 NEW BEST:: SOT 23883 SOS 15302 HAS SOPS 7598 HAS SOUS 3017 HAS SOUPS 2797 WITH SCORE 2812.302
AT ITER 4960 NEW BEST:: SOT 23882 SOS 15306 HAS SOPS 7596 HAS SOUS 3014 HAS SOUPS 2794 WITH SCORE 2809.306
AT ITER 5036 NEW BEST:: SOT 23877 SOS 15306 HAS SOPS 7592 HAS SOUS 3005 HAS SOUPS 2785 WITH SCORE 2800.306
AT ITER 5060 NEW BEST:: SOT 23876 SOS 15305 HAS SOPS 7590 HAS SOUS 3003 HAS SOUPS 2783 WITH SCORE 2798.305
AT ITER 5082 NEW BEST:: SOT 23852 SOS 15279 HAS SOPS 7556 HAS SOUS 2973 HAS SOUPS 2753 WITH SCORE 2768.279
AT ITER 5126 NEW BEST:: SOT 23849 SOS 15267 HAS SOPS 7544 HAS SOUS 2964 HAS SOUPS 2744 WITH SCORE 2759.267
AT ITER 5142 NEW BEST:: SOT 23848 SOS 15265 HAS SOPS 7542 HAS SOUS 2963 HAS SOUPS 2743 WITH SCORE 2758.265
AT ITER 5228 NEW BEST:: SOT 23840 SOS 15241 HAS SOPS 7526 HAS SOUS 2955 HAS SOUPS 2735 WITH SCORE 2750.241
AT ITER 5412 NEW BEST:: SOT 23840 SOS 15240 HAS SOPS 7526 HAS SOUS 2955 HAS SOUPS 2735 WITH SCORE 2750.24
AT ITER 5481 NEW BEST:: SOT 23839 SOS 15238 HAS SOPS 7523 HAS SOUS 2954 HAS SOUPS 2734 WITH SCORE 2749.238
AT ITER 5489 NEW BEST:: SOT 23838 SOS 15237 HAS SOPS 7522 HAS SOUS 2953 HAS SOUPS 2733 WITH SCORE 2748.237
AT ITER 5535 NEW BEST:: SOT 23822 SOS 15221 HAS SOPS 7506 HAS SOUS 2941 HAS SOUPS 2721 WITH SCORE 2736.221
AT ITER 5536 NEW BEST:: SOT 23822 SOS 15220 HAS SOPS 7506 HAS SOUS 2941 HAS SOUPS 2721 WITH SCORE 2736.22
AT ITER 5591 NEW BEST:: SOT 23821 SOS 15219 HAS SOPS 7504 HAS SOUS 2939 HAS SOUPS 2719 WITH SCORE 2734.219
AT ITER 5667 NEW BEST:: SOT 23821 SOS 15219 HAS SOPS 7502 HAS SOUS 2935 HAS SOUPS 2715 WITH SCORE 2730.219
AT ITER 5699 NEW BEST:: SOT 23810 SOS 15236 HAS SOPS 7501 HAS SOUS 2927 HAS SOUPS 2707 WITH SCORE 2722.236
AT ITER 5797 NEW BEST:: SOT 23806 SOS 15228 HAS SOPS 7493 HAS SOUS 2921 HAS SOUPS 2701 WITH SCORE 2716.228
AT ITER 5857 NEW BEST:: SOT 23807 SOS 15226 HAS SOPS 7492 HAS SOUS 2920 HAS SOUPS 2700 WITH SCORE 2715.226
AT ITER 5870 NEW BEST:: SOT 23805 SOS 15224 HAS SOPS 7489 HAS SOUS 2916 HAS SOUPS 2696 WITH SCORE 2711.224
AT ITER 6011 NEW BEST:: SOT 23810 SOS 15225 HAS SOPS 7487 HAS SOUS 2914 HAS SOUPS 2694 WITH SCORE 2709.225
AT ITER 6038 NEW BEST:: SOT 23798 SOS 15201 HAS SOPS 7463 HAS SOUS 2900 HAS SOUPS 2680 WITH SCORE 2695.201
AT ITER 6158 NEW BEST:: SOT 23796 SOS 15197 HAS SOPS 7459 HAS SOUS 2898 HAS SOUPS 2678 WITH SCORE 2693.197
AT ITER 6181 NEW BEST:: SOT 23791 SOS 15192 HAS SOPS 7451 HAS SOUS 2890 HAS SOUPS 2670 WITH SCORE 2685.192
AT ITER 6188 NEW BEST:: SOT 23788 SOS 15187 HAS SOPS 7445 HAS SOUS 2886 HAS SOUPS 2666 WITH SCORE 2681.187
AT ITER 6196 NEW BEST:: SOT 23787 SOS 15193 HAS SOPS 7449 HAS SOUS 2884 HAS SOUPS 2664 WITH SCORE 2679.193
AT ITER 6271 NEW BEST:: SOT 23786 SOS 15192 HAS SOPS 7447 HAS SOUS 2882 HAS SOUPS 2662 WITH SCORE 2677.192
AT ITER 6358 NEW BEST:: SOT 23784 SOS 15186 HAS SOPS 7443 HAS SOUS 2882 HAS SOUPS 2662 WITH SCORE 2677.186
AT ITER 6373 NEW BEST:: SOT 23784 SOS 15185 HAS SOPS 7442 HAS SOUS 2881 HAS SOUPS 2661 WITH SCORE 2676.185
AT ITER 6404 NEW BEST:: SOT 23784 SOS 15183 HAS SOPS 7442 HAS SOUS 2881 HAS SOUPS 2661 WITH SCORE 2676.183
AT ITER 6463 NEW BEST:: SOT 23779 SOS 15178 HAS SOPS 7436 HAS SOUS 2875 HAS SOUPS 2655 WITH SCORE 2670.178
AT ITER 6561 NEW BEST:: SOT 23778 SOS 15169 HAS SOPS 7430 HAS SOUS 2873 HAS SOUPS 2653 WITH SCORE 2668.169
AT ITER 6604 NEW BEST:: SOT 23775 SOS 15165 HAS SOPS 7425 HAS SOUS 2868 HAS SOUPS 2648 WITH SCORE 2663.165
AT ITER 6628 NEW BEST:: SOT 23773 SOS 15165 HAS SOPS 7423 HAS SOUS 2866 HAS SOUPS 2646 WITH SCORE 2661.165
AT ITER 6661 NEW BEST:: SOT 23772 SOS 15163 HAS SOPS 7421 HAS SOUS 2865 HAS SOUPS 2645 WITH SCORE 2660.163
AT ITER 6806 NEW BEST:: SOT 23774 SOS 15163 HAS SOPS 7419 HAS SOUS 2863 HAS SOUPS 2643 WITH SCORE 2658.163
AT ITER 6876 NEW BEST:: SOT 23765 SOS 15182 HAS SOPS 7419 HAS SOUS 2853 HAS SOUPS 2633 WITH SCORE 2648.182
AT ITER 6921 NEW BEST:: SOT 23765 SOS 15182 HAS SOPS 7419 HAS SOUS 2852 HAS SOUPS 2632 WITH SCORE 2647.182
AT ITER 7013 NEW BEST:: SOT 23763 SOS 15174 HAS SOPS 7415 HAS SOUS 2846 HAS SOUPS 2626 WITH SCORE 2641.174
AT ITER 7023 NEW BEST:: SOT 23762 SOS 15173 HAS SOPS 7414 HAS SOUS 2846 HAS SOUPS 2626 WITH SCORE 2641.173
AT ITER 7088 NEW BEST:: SOT 23763 SOS 15174 HAS SOPS 7410 HAS SOUS 2842 HAS SOUPS 2622 WITH SCORE 2637.174
AT ITER 7289 NEW BEST:: SOT 23755 SOS 15158 HAS SOPS 7394 HAS SOUS 2826 HAS SOUPS 2606 WITH SCORE 2621.158
AT ITER 7496 NEW BEST:: SOT 23753 SOS 15157 HAS SOPS 7392 HAS SOUS 2825 HAS SOUPS 2605 WITH SCORE 2620.157
AT ITER 7627 NEW BEST:: SOT 23752 SOS 15156 HAS SOPS 7390 HAS SOUS 2823 HAS SOUPS 2603 WITH SCORE 2618.156
AT ITER 7654 NEW BEST:: SOT 23750 SOS 15153 HAS SOPS 7387 HAS SOUS 2820 HAS SOUPS 2600 WITH SCORE 2615.153
AT ITER 7679 NEW BEST:: SOT 23746 SOS 15133 HAS SOPS 7368 HAS SOUS 2812 HAS SOUPS 2592 WITH SCORE 2607.133
AT ITER 7737 NEW BEST:: SOT 23739 SOS 15134 HAS SOPS 7363 HAS SOUS 2811 HAS SOUPS 2591 WITH SCORE 2606.134
AT ITER 8030 NEW BEST:: SOT 23745 SOS 15139 HAS SOPS 7367 HAS SOUS 2809 HAS SOUPS 2589 WITH SCORE 2604.139
AT ITER 8034 NEW BEST:: SOT 23743 SOS 15134 HAS SOPS 7363 HAS SOUS 2808 HAS SOUPS 2588 WITH SCORE 2603.134
AT ITER 8087 NEW BEST:: SOT 23746 SOS 15133 HAS SOPS 7364 HAS SOUS 2807 HAS SOUPS 2587 WITH SCORE 2602.133
AT ITER 8101 NEW BEST:: SOT 23746 SOS 15125 HAS SOPS 7352 HAS SOUS 2796 HAS SOUPS 2576 WITH SCORE 2591.125
AT ITER 8102 NEW BEST:: SOT 23746 SOS 15119 HAS SOPS 7352 HAS SOUS 2796 HAS SOUPS 2576 WITH SCORE 2591.119
AT ITER 8133 NEW BEST:: SOT 23745 SOS 15116 HAS SOPS 7350 HAS SOUS 2795 HAS SOUPS 2575 WITH SCORE 2590.116
AT ITER 8189 NEW BEST:: SOT 23744 SOS 15116 HAS SOPS 7349 HAS SOUS 2794 HAS SOUPS 2574 WITH SCORE 2589.116
AT ITER 8329 NEW BEST:: SOT 23744 SOS 15120 HAS SOPS 7349 HAS SOUS 2790 HAS SOUPS 2570 WITH SCORE 2585.12
AT ITER 8339 NEW BEST:: SOT 23744 SOS 15112 HAS SOPS 7345 HAS SOUS 2790 HAS SOUPS 2570 WITH SCORE 2585.112
AT ITER 8504 NEW BEST:: SOT 23745 SOS 15123 HAS SOPS 7347 HAS SOUS 2784 HAS SOUPS 2564 WITH SCORE 2579.123
AT ITER 8508 NEW BEST:: SOT 23745 SOS 15120 HAS SOPS 7345 HAS SOUS 2783 HAS SOUPS 2563 WITH SCORE 2578.12
AT ITER 8611 NEW BEST:: SOT 23745 SOS 15120 HAS SOPS 7344 HAS SOUS 2782 HAS SOUPS 2562 WITH SCORE 2577.12
AT ITER 8711 NEW BEST:: SOT 23744 SOS 15119 HAS SOPS 7343 HAS SOUS 2781 HAS SOUPS 2561 WITH SCORE 2576.119
AT ITER 8813 NEW BEST:: SOT 23742 SOS 15118 HAS SOPS 7340 HAS SOUS 2779 HAS SOUPS 2559 WITH SCORE 2574.118
AT ITER 8940 NEW BEST:: SOT 23739 SOS 15115 HAS SOPS 7339 HAS SOUS 2778 HAS SOUPS 2558 WITH SCORE 2573.115
AT ITER 9008 NEW BEST:: SOT 23732 SOS 15114 HAS SOPS 7332 HAS SOUS 2772 HAS SOUPS 2552 WITH SCORE 2567.114
AT ITER 9012 NEW BEST:: SOT 23733 SOS 15113 HAS SOPS 7332 HAS SOUS 2772 HAS SOUPS 2552 WITH SCORE 2567.113
AT ITER 9097 NEW BEST:: SOT 23730 SOS 15008 HAS SOPS 7227 HAS SOUS 2769 HAS SOUPS 2549 WITH SCORE 2564.008
AT ITER 9201 NEW BEST:: SOT 23728 SOS 15000 HAS SOPS 7219 HAS SOUS 2763 HAS SOUPS 2543 WITH SCORE 2558.0
AT ITER 9453 NEW BEST:: SOT 23705 SOS 14977 HAS SOPS 7196 HAS SOUS 2751 HAS SOUPS 2531 WITH SCORE 2545.977
AT ITER 9496 NEW BEST:: SOT 23700 SOS 14969 HAS SOPS 7186 HAS SOUS 2744 HAS SOUPS 2524 WITH SCORE 2538.969
AT ITER 9788 NEW BEST:: SOT 23667 SOS 14933 HAS SOPS 7152 HAS SOUS 2738 HAS SOUPS 2518 WITH SCORE 2532.933
AT ITER 9899 NEW BEST:: SOT 23666 SOS 14930 HAS SOPS 7150 HAS SOUS 2736 HAS SOUPS 2516 WITH SCORE 2530.93
AT ITER 9964 NEW BEST:: SOT 23634 SOS 14898 HAS SOPS 7118 HAS SOUS 2721 HAS SOUPS 2501 WITH SCORE 2515.898
AT ITER 9984 NEW BEST:: SOT 23633 SOS 14897 HAS SOPS 7116 HAS SOUS 2720 HAS SOUPS 2500 WITH SCORE 2514.897
STATE_SPACE STATES 61917364225 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 12 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 951979474945 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679477366577

--------------------
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

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="FlexibleBarrier-PT-10a"
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 FlexibleBarrier-PT-10a, 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 r171-tall-167838858700496"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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