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-167814484500640.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 DLCround-PT-04a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484500640
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 696K
-rw-r--r-- 1 mcc users 8.2K Feb 25 18:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 93K Feb 25 18:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 25 18:32 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 25 18:32 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:52 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:52 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:52 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:52 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 18:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 128K Feb 25 18:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 10K Feb 25 18:41 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 90K Feb 25 18:41 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:52 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:52 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 200K 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 1678406625858

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=DLCround-PT-04a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-10 00:03:47] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-10 00:03:47] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 00:03:47] [INFO ] Load time of PNML (sax parser for PT used): 76 ms
[2023-03-10 00:03:47] [INFO ] Transformed 139 places.
[2023-03-10 00:03:47] [INFO ] Transformed 823 transitions.
[2023-03-10 00:03:47] [INFO ] Found NUPN structural information;
[2023-03-10 00:03:47] [INFO ] Parsed PT model containing 139 places and 823 transitions and 3074 arcs in 144 ms.
[2023-03-10 00:03:47] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 139 places, 823 transitions and 3074 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 DLCround (PT), instance 04a
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: 139 places, 823 transitions, 3074 arcs.
AT ITER 0 NEW BEST:: SOT 77324 SOS 59877 HAS SOPS 36308 HAS SOUS 11839 HAS SOUPS 7817 WITH SCORE 7876.877
AT ITER 4 NEW BEST:: SOT 77318 SOS 59857 HAS SOPS 36298 HAS SOUS 11833 HAS SOUPS 7813 WITH SCORE 7872.857
AT ITER 10 NEW BEST:: SOT 77233 SOS 60853 HAS SOPS 36724 HAS SOUS 11786 HAS SOUPS 7728 WITH SCORE 7788.853
AT ITER 16 NEW BEST:: SOT 77233 SOS 60763 HAS SOPS 36709 HAS SOUS 11756 HAS SOUPS 7713 WITH SCORE 7773.763
AT ITER 19 NEW BEST:: SOT 77191 SOS 60343 HAS SOPS 36625 HAS SOUS 11701 HAS SOUPS 7700 WITH SCORE 7760.343
AT ITER 25 NEW BEST:: SOT 77191 SOS 60343 HAS SOPS 36625 HAS SOUS 11697 HAS SOUPS 7696 WITH SCORE 7756.343
AT ITER 31 NEW BEST:: SOT 77490 SOS 59917 HAS SOPS 36495 HAS SOUS 11930 HAS SOUPS 7646 WITH SCORE 7705.917
AT ITER 39 NEW BEST:: SOT 77415 SOS 60888 HAS SOPS 36896 HAS SOUS 11912 HAS SOUPS 7590 WITH SCORE 7650.888
AT ITER 46 NEW BEST:: SOT 77407 SOS 60816 HAS SOPS 36824 HAS SOUS 11904 HAS SOUPS 7582 WITH SCORE 7642.816
AT ITER 48 NEW BEST:: SOT 77374 SOS 60819 HAS SOPS 36827 HAS SOUS 11892 HAS SOUPS 7570 WITH SCORE 7630.819
AT ITER 59 NEW BEST:: SOT 77356 SOS 60783 HAS SOPS 36791 HAS SOUS 11892 HAS SOUPS 7570 WITH SCORE 7630.783
AT ITER 60 NEW BEST:: SOT 77466 SOS 60935 HAS SOPS 36691 HAS SOUS 11815 HAS SOUPS 7368 WITH SCORE 7428.935
AT ITER 68 NEW BEST:: SOT 77462 SOS 60929 HAS SOPS 36689 HAS SOUS 11807 HAS SOUPS 7362 WITH SCORE 7422.929
AT ITER 70 NEW BEST:: SOT 77448 SOS 60796 HAS SOPS 36612 HAS SOUS 11786 HAS SOUPS 7348 WITH SCORE 7408.796
AT ITER 73 NEW BEST:: SOT 77363 SOS 61165 HAS SOPS 36751 HAS SOUS 11751 HAS SOUPS 7313 WITH SCORE 7374.165
AT ITER 77 NEW BEST:: SOT 77296 SOS 61120 HAS SOPS 36596 HAS SOUS 11580 HAS SOUPS 7120 WITH SCORE 7181.12
AT ITER 81 NEW BEST:: SOT 77349 SOS 61176 HAS SOPS 36652 HAS SOUS 11561 HAS SOUPS 7101 WITH SCORE 7162.176
AT ITER 86 NEW BEST:: SOT 77349 SOS 61147 HAS SOPS 36391 HAS SOUS 11561 HAS SOUPS 7072 WITH SCORE 7133.147
AT ITER 97 NEW BEST:: SOT 77349 SOS 61057 HAS SOPS 36391 HAS SOUS 11542 HAS SOUPS 7071 WITH SCORE 7132.057
AT ITER 98 NEW BEST:: SOT 77343 SOS 60997 HAS SOPS 36331 HAS SOUS 11541 HAS SOUPS 7070 WITH SCORE 7130.997
AT ITER 99 NEW BEST:: SOT 77317 SOS 60897 HAS SOPS 36291 HAS SOUS 11525 HAS SOUPS 7066 WITH SCORE 7126.897
AT ITER 110 NEW BEST:: SOT 77299 SOS 60879 HAS SOPS 36273 HAS SOUS 11507 HAS SOUPS 7048 WITH SCORE 7108.879
AT ITER 113 NEW BEST:: SOT 77235 SOS 60831 HAS SOPS 36145 HAS SOUS 11397 HAS SOUPS 6916 WITH SCORE 6976.831
AT ITER 114 NEW BEST:: SOT 77231 SOS 60823 HAS SOPS 36137 HAS SOUS 11389 HAS SOUPS 6908 WITH SCORE 6968.823
AT ITER 116 NEW BEST:: SOT 77213 SOS 60724 HAS SOPS 36038 HAS SOUS 11362 HAS SOUPS 6881 WITH SCORE 6941.724
AT ITER 119 NEW BEST:: SOT 77219 SOS 60568 HAS SOPS 35942 HAS SOUS 11362 HAS SOUPS 6881 WITH SCORE 6941.568
AT ITER 123 NEW BEST:: SOT 77478 SOS 60882 HAS SOPS 35926 HAS SOUS 11237 HAS SOUPS 6654 WITH SCORE 6714.882
AT ITER 131 NEW BEST:: SOT 77511 SOS 60618 HAS SOPS 36022 HAS SOUS 11152 HAS SOUPS 6614 WITH SCORE 6674.618
AT ITER 142 NEW BEST:: SOT 77486 SOS 60339 HAS SOPS 35895 HAS SOUS 11115 HAS SOUPS 6596 WITH SCORE 6656.339
AT ITER 153 NEW BEST:: SOT 77315 SOS 59510 HAS SOPS 35733 HAS SOUS 11227 HAS SOUPS 6537 WITH SCORE 6596.51
AT ITER 157 NEW BEST:: SOT 77316 SOS 59561 HAS SOPS 35728 HAS SOUS 11228 HAS SOUPS 6531 WITH SCORE 6590.561
AT ITER 166 NEW BEST:: SOT 77288 SOS 59325 HAS SOPS 35703 HAS SOUS 11174 HAS SOUPS 6511 WITH SCORE 6570.325
AT ITER 182 NEW BEST:: SOT 77304 SOS 59165 HAS SOPS 35591 HAS SOUS 11174 HAS SOUPS 6511 WITH SCORE 6570.165
AT ITER 183 NEW BEST:: SOT 76770 SOS 58982 HAS SOPS 35492 HAS SOUS 10770 HAS SOUPS 6436 WITH SCORE 6494.982
AT ITER 209 NEW BEST:: SOT 76765 SOS 58947 HAS SOPS 35457 HAS SOUS 10760 HAS SOUPS 6426 WITH SCORE 6484.947
AT ITER 221 NEW BEST:: SOT 76748 SOS 59381 HAS SOPS 35621 HAS SOUS 10748 HAS SOUPS 6396 WITH SCORE 6455.381
AT ITER 231 NEW BEST:: SOT 76748 SOS 59381 HAS SOPS 35621 HAS SOUS 10745 HAS SOUPS 6394 WITH SCORE 6453.381
AT ITER 234 NEW BEST:: SOT 76736 SOS 59476 HAS SOPS 35580 HAS SOUS 10738 HAS SOUPS 6370 WITH SCORE 6429.476
AT ITER 235 NEW BEST:: SOT 76448 SOS 57857 HAS SOPS 34665 HAS SOUS 10648 HAS SOUPS 6210 WITH SCORE 6267.857
AT ITER 243 NEW BEST:: SOT 76428 SOS 57188 HAS SOPS 34051 HAS SOUS 10646 HAS SOUPS 6208 WITH SCORE 6265.188
AT ITER 245 NEW BEST:: SOT 76428 SOS 57184 HAS SOPS 34047 HAS SOUS 10646 HAS SOUPS 6208 WITH SCORE 6265.184
AT ITER 251 NEW BEST:: SOT 76500 SOS 57264 HAS SOPS 34079 HAS SOUS 10614 HAS SOUPS 6176 WITH SCORE 6233.264
AT ITER 254 NEW BEST:: SOT 76504 SOS 58224 HAS SOPS 34559 HAS SOUS 10645 HAS SOUPS 6175 WITH SCORE 6233.224
AT ITER 257 NEW BEST:: SOT 76486 SOS 58236 HAS SOPS 34571 HAS SOUS 10639 HAS SOUPS 6169 WITH SCORE 6227.236
AT ITER 258 NEW BEST:: SOT 76522 SOS 58272 HAS SOPS 34591 HAS SOUS 10623 HAS SOUPS 6157 WITH SCORE 6215.272
AT ITER 260 NEW BEST:: SOT 76492 SOS 58107 HAS SOPS 34546 HAS SOUS 10608 HAS SOUPS 6157 WITH SCORE 6215.107
AT ITER 265 NEW BEST:: SOT 76589 SOS 55500 HAS SOPS 32282 HAS SOUS 10556 HAS SOUPS 6137 WITH SCORE 6192.5
AT ITER 266 NEW BEST:: SOT 76589 SOS 55365 HAS SOPS 32282 HAS SOUS 10528 HAS SOUPS 6136 WITH SCORE 6191.365
AT ITER 283 NEW BEST:: SOT 76585 SOS 55380 HAS SOPS 32286 HAS SOUS 10527 HAS SOUPS 6134 WITH SCORE 6189.38
AT ITER 284 NEW BEST:: SOT 76537 SOS 55332 HAS SOPS 32246 HAS SOUS 10463 HAS SOUPS 6098 WITH SCORE 6153.332
AT ITER 287 NEW BEST:: SOT 76569 SOS 55120 HAS SOPS 32199 HAS SOUS 10462 HAS SOUPS 6097 WITH SCORE 6152.12
AT ITER 291 NEW BEST:: SOT 76585 SOS 55042 HAS SOPS 32231 HAS SOUS 10435 HAS SOUPS 6092 WITH SCORE 6147.042
AT ITER 295 NEW BEST:: SOT 76481 SOS 54954 HAS SOPS 32143 HAS SOUS 10397 HAS SOUPS 6054 WITH SCORE 6108.954
AT ITER 297 NEW BEST:: SOT 76465 SOS 55066 HAS SOPS 32127 HAS SOUS 10397 HAS SOUPS 6038 WITH SCORE 6093.066
AT ITER 298 NEW BEST:: SOT 76369 SOS 54893 HAS SOPS 32075 HAS SOUS 10396 HAS SOUPS 6037 WITH SCORE 6091.893
AT ITER 312 NEW BEST:: SOT 76342 SOS 54866 HAS SOPS 31968 HAS SOUS 10273 HAS SOUPS 5898 WITH SCORE 5952.866
AT ITER 313 NEW BEST:: SOT 76342 SOS 54816 HAS SOPS 31968 HAS SOUS 10263 HAS SOUPS 5898 WITH SCORE 5952.816
AT ITER 323 NEW BEST:: SOT 76926 SOS 54533 HAS SOPS 32017 HAS SOUS 10418 HAS SOUPS 5851 WITH SCORE 5905.533
AT ITER 324 NEW BEST:: SOT 76926 SOS 54533 HAS SOPS 32017 HAS SOUS 10414 HAS SOUPS 5847 WITH SCORE 5901.533
AT ITER 327 NEW BEST:: SOT 76931 SOS 54634 HAS SOPS 32028 HAS SOUS 10409 HAS SOUPS 5842 WITH SCORE 5896.634
AT ITER 328 NEW BEST:: SOT 76813 SOS 54222 HAS SOPS 31616 HAS SOUS 10378 HAS SOUPS 5811 WITH SCORE 5865.222
AT ITER 337 NEW BEST:: SOT 76804 SOS 54215 HAS SOPS 31612 HAS SOUS 10379 HAS SOUPS 5811 WITH SCORE 5865.215
AT ITER 338 NEW BEST:: SOT 76921 SOS 54142 HAS SOPS 31999 HAS SOUS 10496 HAS SOUPS 5778 WITH SCORE 5832.142
AT ITER 341 NEW BEST:: SOT 76877 SOS 53832 HAS SOPS 31673 HAS SOUS 10463 HAS SOUPS 5745 WITH SCORE 5798.832
AT ITER 350 NEW BEST:: SOT 76860 SOS 53792 HAS SOPS 31656 HAS SOUS 10423 HAS SOUPS 5728 WITH SCORE 5781.792
AT ITER 352 NEW BEST:: SOT 76800 SOS 53742 HAS SOPS 31596 HAS SOUS 10336 HAS SOUPS 5660 WITH SCORE 5713.742
AT ITER 369 NEW BEST:: SOT 76810 SOS 53774 HAS SOPS 31543 HAS SOUS 10332 HAS SOUPS 5646 WITH SCORE 5699.774
AT ITER 371 NEW BEST:: SOT 76785 SOS 53849 HAS SOPS 31493 HAS SOUS 10354 HAS SOUPS 5643 WITH SCORE 5696.849
AT ITER 394 NEW BEST:: SOT 76720 SOS 53824 HAS SOPS 31468 HAS SOUS 10328 HAS SOUPS 5617 WITH SCORE 5670.824
AT ITER 400 NEW BEST:: SOT 76667 SOS 53771 HAS SOPS 31423 HAS SOUS 10264 HAS SOUPS 5578 WITH SCORE 5631.771
AT ITER 421 NEW BEST:: SOT 76634 SOS 53372 HAS SOPS 31216 HAS SOUS 10219 HAS SOUPS 5557 WITH SCORE 5610.372
AT ITER 438 NEW BEST:: SOT 76634 SOS 53287 HAS SOPS 31216 HAS SOUS 10202 HAS SOUPS 5557 WITH SCORE 5610.287
AT ITER 442 NEW BEST:: SOT 76625 SOS 53269 HAS SOPS 31198 HAS SOUS 10197 HAS SOUPS 5552 WITH SCORE 5605.269
AT ITER 448 NEW BEST:: SOT 76741 SOS 53363 HAS SOPS 31314 HAS SOUS 10163 HAS SOUPS 5540 WITH SCORE 5593.363
AT ITER 450 NEW BEST:: SOT 76737 SOS 53367 HAS SOPS 31309 HAS SOUS 10165 HAS SOUPS 5535 WITH SCORE 5588.367
AT ITER 459 NEW BEST:: SOT 76737 SOS 53363 HAS SOPS 31305 HAS SOUS 10165 HAS SOUPS 5535 WITH SCORE 5588.363
AT ITER 473 NEW BEST:: SOT 76701 SOS 53111 HAS SOPS 31053 HAS SOUS 10147 HAS SOUPS 5517 WITH SCORE 5570.111
AT ITER 479 NEW BEST:: SOT 76695 SOS 53027 HAS SOPS 30987 HAS SOUS 10127 HAS SOUPS 5497 WITH SCORE 5550.027
AT ITER 514 NEW BEST:: SOT 76695 SOS 53002 HAS SOPS 30962 HAS SOUS 10127 HAS SOUPS 5497 WITH SCORE 5550.002
AT ITER 528 NEW BEST:: SOT 76691 SOS 52994 HAS SOPS 30954 HAS SOUS 10123 HAS SOUPS 5493 WITH SCORE 5545.994
AT ITER 530 NEW BEST:: SOT 76683 SOS 52933 HAS SOPS 30893 HAS SOUS 10106 HAS SOUPS 5476 WITH SCORE 5528.933
AT ITER 545 NEW BEST:: SOT 76669 SOS 52912 HAS SOPS 30833 HAS SOUS 10113 HAS SOUPS 5470 WITH SCORE 5522.912
AT ITER 550 NEW BEST:: SOT 76663 SOS 52903 HAS SOPS 30824 HAS SOUS 10110 HAS SOUPS 5467 WITH SCORE 5519.903
AT ITER 587 NEW BEST:: SOT 76635 SOS 52882 HAS SOPS 30824 HAS SOUS 10040 HAS SOUPS 5453 WITH SCORE 5505.882
AT ITER 590 NEW BEST:: SOT 76632 SOS 52876 HAS SOPS 30821 HAS SOUS 10040 HAS SOUPS 5453 WITH SCORE 5505.876
AT ITER 593 NEW BEST:: SOT 76636 SOS 52908 HAS SOPS 30853 HAS SOUS 10032 HAS SOUPS 5445 WITH SCORE 5497.908
AT ITER 596 NEW BEST:: SOT 76636 SOS 52866 HAS SOPS 30859 HAS SOUS 10026 HAS SOUPS 5445 WITH SCORE 5497.866
AT ITER 600 NEW BEST:: SOT 76582 SOS 52919 HAS SOPS 30857 HAS SOUS 10013 HAS SOUPS 5432 WITH SCORE 5484.919
AT ITER 622 NEW BEST:: SOT 76600 SOS 52935 HAS SOPS 30867 HAS SOUS 10009 HAS SOUPS 5430 WITH SCORE 5482.935
AT ITER 632 NEW BEST:: SOT 76592 SOS 52927 HAS SOPS 30867 HAS SOUS 10005 HAS SOUPS 5426 WITH SCORE 5478.927
AT ITER 637 NEW BEST:: SOT 76572 SOS 52907 HAS SOPS 30847 HAS SOUS 10005 HAS SOUPS 5426 WITH SCORE 5478.907
AT ITER 666 NEW BEST:: SOT 76559 SOS 52902 HAS SOPS 30851 HAS SOUS 9948 HAS SOUPS 5392 WITH SCORE 5444.902
AT ITER 667 NEW BEST:: SOT 76549 SOS 52676 HAS SOPS 30841 HAS SOUS 9916 HAS SOUPS 5387 WITH SCORE 5439.676
AT ITER 679 NEW BEST:: SOT 76561 SOS 52689 HAS SOPS 30854 HAS SOUS 9913 HAS SOUPS 5384 WITH SCORE 5436.689
AT ITER 680 NEW BEST:: SOT 76529 SOS 52705 HAS SOPS 30822 HAS SOUS 9907 HAS SOUPS 5362 WITH SCORE 5414.705
AT ITER 706 NEW BEST:: SOT 76496 SOS 52525 HAS SOPS 30832 HAS SOUS 9853 HAS SOUPS 5346 WITH SCORE 5398.525
AT ITER 721 NEW BEST:: SOT 76495 SOS 52499 HAS SOPS 30776 HAS SOUS 9851 HAS SOUPS 5338 WITH SCORE 5390.499
AT ITER 736 NEW BEST:: SOT 76492 SOS 52333 HAS SOPS 30690 HAS SOUS 9829 HAS SOUPS 5326 WITH SCORE 5378.333
AT ITER 737 NEW BEST:: SOT 76483 SOS 52315 HAS SOPS 30672 HAS SOUS 9820 HAS SOUPS 5317 WITH SCORE 5369.315
AT ITER 747 NEW BEST:: SOT 76265 SOS 52184 HAS SOPS 30668 HAS SOUS 9653 HAS SOUPS 5308 WITH SCORE 5360.184
AT ITER 756 NEW BEST:: SOT 76257 SOS 52168 HAS SOPS 30664 HAS SOUS 9649 HAS SOUPS 5308 WITH SCORE 5360.168
AT ITER 757 NEW BEST:: SOT 76251 SOS 52156 HAS SOPS 30661 HAS SOUS 9635 HAS SOUPS 5302 WITH SCORE 5354.156
AT ITER 796 NEW BEST:: SOT 76251 SOS 52161 HAS SOPS 30661 HAS SOUS 9630 HAS SOUPS 5297 WITH SCORE 5349.161
AT ITER 797 NEW BEST:: SOT 76246 SOS 52146 HAS SOPS 30656 HAS SOUS 9625 HAS SOUPS 5297 WITH SCORE 5349.146
AT ITER 833 NEW BEST:: SOT 76230 SOS 52310 HAS SOPS 30721 HAS SOUS 9604 HAS SOUPS 5276 WITH SCORE 5328.31
AT ITER 837 NEW BEST:: SOT 76255 SOS 52330 HAS SOPS 31013 HAS SOUS 9553 HAS SOUPS 5259 WITH SCORE 5311.33
AT ITER 839 NEW BEST:: SOT 76227 SOS 52288 HAS SOPS 30999 HAS SOUS 9537 HAS SOUPS 5257 WITH SCORE 5309.288
AT ITER 851 NEW BEST:: SOT 76209 SOS 52273 HAS SOPS 30981 HAS SOUS 9534 HAS SOUPS 5251 WITH SCORE 5303.273
AT ITER 872 NEW BEST:: SOT 76214 SOS 52239 HAS SOPS 30979 HAS SOUS 9524 HAS SOUPS 5245 WITH SCORE 5297.239
AT ITER 878 NEW BEST:: SOT 76209 SOS 51903 HAS SOPS 30691 HAS SOUS 9517 HAS SOUPS 5244 WITH SCORE 5295.903
AT ITER 881 NEW BEST:: SOT 76212 SOS 51390 HAS SOPS 30258 HAS SOUS 9499 HAS SOUPS 5236 WITH SCORE 5287.39
AT ITER 888 NEW BEST:: SOT 76197 SOS 50682 HAS SOPS 29774 HAS SOUS 9446 HAS SOUPS 5183 WITH SCORE 5233.682
AT ITER 902 NEW BEST:: SOT 76233 SOS 50646 HAS SOPS 29738 HAS SOUS 9446 HAS SOUPS 5183 WITH SCORE 5233.646
AT ITER 903 NEW BEST:: SOT 76236 SOS 50264 HAS SOPS 29541 HAS SOUS 9417 HAS SOUPS 5176 WITH SCORE 5226.264
AT ITER 914 NEW BEST:: SOT 76363 SOS 50435 HAS SOPS 29611 HAS SOUS 9411 HAS SOUPS 5160 WITH SCORE 5210.435
AT ITER 918 NEW BEST:: SOT 76398 SOS 50481 HAS SOPS 29961 HAS SOUS 9372 HAS SOUPS 5159 WITH SCORE 5209.481
AT ITER 925 NEW BEST:: SOT 76394 SOS 50473 HAS SOPS 30009 HAS SOUS 9363 HAS SOUPS 5157 WITH SCORE 5207.473
AT ITER 957 NEW BEST:: SOT 76401 SOS 50487 HAS SOPS 30023 HAS SOUS 9361 HAS SOUPS 5155 WITH SCORE 5205.487
AT ITER 968 NEW BEST:: SOT 76176 SOS 50103 HAS SOPS 29708 HAS SOUS 9354 HAS SOUPS 5125 WITH SCORE 5175.103
AT ITER 1002 NEW BEST:: SOT 76181 SOS 50073 HAS SOPS 29718 HAS SOUS 9349 HAS SOUPS 5125 WITH SCORE 5175.073
AT ITER 1010 NEW BEST:: SOT 75853 SOS 49648 HAS SOPS 29449 HAS SOUS 9338 HAS SOUPS 5114 WITH SCORE 5163.648
AT ITER 1018 NEW BEST:: SOT 75836 SOS 49621 HAS SOPS 29432 HAS SOUS 9331 HAS SOUPS 5107 WITH SCORE 5156.621
AT ITER 1032 NEW BEST:: SOT 75775 SOS 49724 HAS SOPS 29249 HAS SOUS 9351 HAS SOUPS 5105 WITH SCORE 5154.724
AT ITER 1047 NEW BEST:: SOT 75775 SOS 49473 HAS SOPS 29054 HAS SOUS 9338 HAS SOUPS 5099 WITH SCORE 5148.473
AT ITER 1050 NEW BEST:: SOT 75795 SOS 49493 HAS SOPS 29049 HAS SOUS 9338 HAS SOUPS 5079 WITH SCORE 5128.493
AT ITER 1051 NEW BEST:: SOT 75781 SOS 49409 HAS SOPS 28909 HAS SOUS 9338 HAS SOUPS 5072 WITH SCORE 5121.409
AT ITER 1082 NEW BEST:: SOT 75748 SOS 49253 HAS SOPS 28699 HAS SOUS 9320 HAS SOUPS 5037 WITH SCORE 5086.253
AT ITER 1110 NEW BEST:: SOT 75749 SOS 49227 HAS SOPS 28708 HAS SOUS 9316 HAS SOUPS 5036 WITH SCORE 5085.227
AT ITER 1126 NEW BEST:: SOT 75753 SOS 49235 HAS SOPS 28708 HAS SOUS 9331 HAS SOUPS 5030 WITH SCORE 5079.235
AT ITER 1136 NEW BEST:: SOT 75753 SOS 49235 HAS SOPS 28708 HAS SOUS 9325 HAS SOUPS 5026 WITH SCORE 5075.235
AT ITER 1151 NEW BEST:: SOT 75754 SOS 49186 HAS SOPS 28699 HAS SOUS 9306 HAS SOUPS 5012 WITH SCORE 5061.186
AT ITER 1157 NEW BEST:: SOT 75750 SOS 49178 HAS SOPS 28675 HAS SOUS 9306 HAS SOUPS 5010 WITH SCORE 5059.178
AT ITER 1200 NEW BEST:: SOT 75748 SOS 49029 HAS SOPS 28526 HAS SOUS 9300 HAS SOUPS 5004 WITH SCORE 5053.029
AT ITER 1212 NEW BEST:: SOT 75526 SOS 48844 HAS SOPS 28341 HAS SOUS 9323 HAS SOUPS 5004 WITH SCORE 5052.844
AT ITER 1233 NEW BEST:: SOT 75521 SOS 48849 HAS SOPS 28331 HAS SOUS 9303 HAS SOUPS 4984 WITH SCORE 5032.849
AT ITER 1237 NEW BEST:: SOT 75526 SOS 48859 HAS SOPS 28331 HAS SOUS 9302 HAS SOUPS 4978 WITH SCORE 5026.859
AT ITER 1250 NEW BEST:: SOT 75509 SOS 48808 HAS SOPS 28314 HAS SOUS 9285 HAS SOUPS 4978 WITH SCORE 5026.808
AT ITER 1286 NEW BEST:: SOT 75455 SOS 48764 HAS SOPS 28270 HAS SOUS 9279 HAS SOUPS 4972 WITH SCORE 5020.764
AT ITER 1300 NEW BEST:: SOT 75447 SOS 48756 HAS SOPS 28262 HAS SOUS 9271 HAS SOUPS 4964 WITH SCORE 5012.756
AT ITER 1303 NEW BEST:: SOT 75504 SOS 48889 HAS SOPS 28283 HAS SOUS 9260 HAS SOUPS 4953 WITH SCORE 5001.889
AT ITER 1323 NEW BEST:: SOT 75627 SOS 49005 HAS SOPS 28360 HAS SOUS 9246 HAS SOUPS 4952 WITH SCORE 5001.005
AT ITER 1343 NEW BEST:: SOT 75651 SOS 48545 HAS SOPS 27996 HAS SOUS 9234 HAS SOUPS 4952 WITH SCORE 5000.545
AT ITER 1347 NEW BEST:: SOT 75641 SOS 48565 HAS SOPS 27998 HAS SOUS 9229 HAS SOUPS 4947 WITH SCORE 4995.565
AT ITER 1358 NEW BEST:: SOT 75641 SOS 48562 HAS SOPS 27998 HAS SOUS 9226 HAS SOUPS 4947 WITH SCORE 4995.562
AT ITER 1360 NEW BEST:: SOT 75627 SOS 48556 HAS SOPS 27962 HAS SOUS 9224 HAS SOUPS 4943 WITH SCORE 4991.556
AT ITER 1404 NEW BEST:: SOT 75623 SOS 48548 HAS SOPS 27962 HAS SOUS 9220 HAS SOUPS 4943 WITH SCORE 4991.548
AT ITER 1411 NEW BEST:: SOT 75617 SOS 48486 HAS SOPS 27926 HAS SOUS 9216 HAS SOUPS 4941 WITH SCORE 4989.486
AT ITER 1412 NEW BEST:: SOT 75623 SOS 48438 HAS SOPS 27923 HAS SOUS 9200 HAS SOUPS 4934 WITH SCORE 4982.438
AT ITER 1445 NEW BEST:: SOT 75586 SOS 48259 HAS SOPS 27928 HAS SOUS 9197 HAS SOUPS 4934 WITH SCORE 4982.259
AT ITER 1460 NEW BEST:: SOT 75396 SOS 47989 HAS SOPS 27803 HAS SOUS 9205 HAS SOUPS 4931 WITH SCORE 4978.989
AT ITER 1476 NEW BEST:: SOT 75443 SOS 48045 HAS SOPS 27832 HAS SOUS 9162 HAS SOUPS 4897 WITH SCORE 4945.045
AT ITER 1480 NEW BEST:: SOT 75436 SOS 47835 HAS SOPS 27622 HAS SOUS 9152 HAS SOUPS 4887 WITH SCORE 4934.835
AT ITER 1490 NEW BEST:: SOT 75424 SOS 47815 HAS SOPS 27602 HAS SOUS 9151 HAS SOUPS 4886 WITH SCORE 4933.815
AT ITER 1580 NEW BEST:: SOT 75424 SOS 47815 HAS SOPS 27602 HAS SOUS 9160 HAS SOUPS 4884 WITH SCORE 4931.815
AT ITER 1613 NEW BEST:: SOT 75234 SOS 47432 HAS SOPS 27404 HAS SOUS 9148 HAS SOUPS 4872 WITH SCORE 4919.432
AT ITER 1615 NEW BEST:: SOT 75234 SOS 47397 HAS SOPS 27297 HAS SOUS 9155 HAS SOUPS 4863 WITH SCORE 4910.397
AT ITER 1654 NEW BEST:: SOT 75221 SOS 47384 HAS SOPS 27297 HAS SOUS 9155 HAS SOUPS 4863 WITH SCORE 4910.384
AT ITER 1656 NEW BEST:: SOT 75227 SOS 47187 HAS SOPS 27206 HAS SOUS 9123 HAS SOUPS 4842 WITH SCORE 4889.187
AT ITER 1657 NEW BEST:: SOT 75223 SOS 47179 HAS SOPS 27204 HAS SOUS 9121 HAS SOUPS 4842 WITH SCORE 4889.179
AT ITER 1711 NEW BEST:: SOT 75223 SOS 47182 HAS SOPS 27191 HAS SOUS 9108 HAS SOUPS 4829 WITH SCORE 4876.182
AT ITER 1729 NEW BEST:: SOT 75216 SOS 47170 HAS SOPS 27189 HAS SOUS 9101 HAS SOUPS 4827 WITH SCORE 4874.17
AT ITER 1736 NEW BEST:: SOT 75257 SOS 46202 HAS SOPS 26312 HAS SOUS 9066 HAS SOUPS 4795 WITH SCORE 4841.202
AT ITER 1740 NEW BEST:: SOT 75166 SOS 45940 HAS SOPS 26284 HAS SOUS 9046 HAS SOUPS 4793 WITH SCORE 4838.94
AT ITER 1756 NEW BEST:: SOT 75166 SOS 45905 HAS SOPS 26289 HAS SOUS 9041 HAS SOUPS 4793 WITH SCORE 4838.905
AT ITER 1821 NEW BEST:: SOT 75197 SOS 45932 HAS SOPS 26385 HAS SOUS 8858 HAS SOUPS 4761 WITH SCORE 4806.932
AT ITER 1841 NEW BEST:: SOT 75149 SOS 45908 HAS SOPS 26325 HAS SOUS 8870 HAS SOUPS 4761 WITH SCORE 4806.908
AT ITER 1868 NEW BEST:: SOT 75204 SOS 45963 HAS SOPS 26350 HAS SOUS 8865 HAS SOUPS 4756 WITH SCORE 4801.963
AT ITER 1914 NEW BEST:: SOT 75202 SOS 45917 HAS SOPS 26304 HAS SOUS 8863 HAS SOUPS 4754 WITH SCORE 4799.917
AT ITER 1930 NEW BEST:: SOT 75205 SOS 45903 HAS SOPS 26306 HAS SOUS 8863 HAS SOUPS 4753 WITH SCORE 4798.903
AT ITER 1932 NEW BEST:: SOT 75193 SOS 45855 HAS SOPS 26144 HAS SOUS 8860 HAS SOUPS 4738 WITH SCORE 4783.855
AT ITER 1935 NEW BEST:: SOT 75165 SOS 45820 HAS SOPS 26133 HAS SOUS 8841 HAS SOUPS 4718 WITH SCORE 4763.82
AT ITER 1950 NEW BEST:: SOT 75221 SOS 45906 HAS SOPS 26211 HAS SOUS 8760 HAS SOUPS 4707 WITH SCORE 4752.906
AT ITER 1952 NEW BEST:: SOT 75223 SOS 45924 HAS SOPS 26201 HAS SOUS 8760 HAS SOUPS 4705 WITH SCORE 4750.924
AT ITER 1959 NEW BEST:: SOT 75242 SOS 46114 HAS SOPS 26391 HAS SOUS 8744 HAS SOUPS 4689 WITH SCORE 4735.114
AT ITER 1981 NEW BEST:: SOT 75242 SOS 46114 HAS SOPS 26391 HAS SOUS 8738 HAS SOUPS 4685 WITH SCORE 4731.114
AT ITER 1983 NEW BEST:: SOT 75239 SOS 46087 HAS SOPS 26388 HAS SOUS 8732 HAS SOUPS 4682 WITH SCORE 4728.087
AT ITER 1985 NEW BEST:: SOT 75243 SOS 46007 HAS SOPS 26404 HAS SOUS 8710 HAS SOUPS 4672 WITH SCORE 4718.007
AT ITER 1986 NEW BEST:: SOT 75239 SOS 45999 HAS SOPS 26404 HAS SOUS 8710 HAS SOUPS 4672 WITH SCORE 4717.999
AT ITER 1987 NEW BEST:: SOT 75308 SOS 46119 HAS SOPS 26458 HAS SOUS 8683 HAS SOUPS 4666 WITH SCORE 4712.119
AT ITER 2001 NEW BEST:: SOT 75279 SOS 45743 HAS SOPS 26025 HAS SOUS 8675 HAS SOUPS 4658 WITH SCORE 4703.743
AT ITER 2042 NEW BEST:: SOT 75271 SOS 45731 HAS SOPS 26021 HAS SOUS 8667 HAS SOUPS 4654 WITH SCORE 4699.731
AT ITER 2054 NEW BEST:: SOT 75241 SOS 44490 HAS SOPS 24843 HAS SOUS 8637 HAS SOUPS 4624 WITH SCORE 4668.49
AT ITER 2061 NEW BEST:: SOT 75233 SOS 44461 HAS SOPS 24839 HAS SOUS 8631 HAS SOUPS 4623 WITH SCORE 4667.461
AT ITER 2089 NEW BEST:: SOT 75281 SOS 44274 HAS SOPS 24859 HAS SOUS 8572 HAS SOUPS 4590 WITH SCORE 4634.274
AT ITER 2102 NEW BEST:: SOT 75265 SOS 44242 HAS SOPS 24843 HAS SOUS 8551 HAS SOUPS 4569 WITH SCORE 4613.242
AT ITER 2123 NEW BEST:: SOT 75260 SOS 44228 HAS SOPS 24849 HAS SOUS 8547 HAS SOUPS 4569 WITH SCORE 4613.228
AT ITER 2147 NEW BEST:: SOT 75258 SOS 44208 HAS SOPS 24829 HAS SOUS 8545 HAS SOUPS 4567 WITH SCORE 4611.208
AT ITER 2169 NEW BEST:: SOT 75208 SOS 44123 HAS SOPS 24799 HAS SOUS 8540 HAS SOUPS 4562 WITH SCORE 4606.123
AT ITER 2188 NEW BEST:: SOT 75240 SOS 44329 HAS SOPS 24863 HAS SOUS 8546 HAS SOUPS 4531 WITH SCORE 4575.329
AT ITER 2195 NEW BEST:: SOT 75216 SOS 44293 HAS SOPS 24719 HAS SOUS 8534 HAS SOUPS 4507 WITH SCORE 4551.293
AT ITER 2200 NEW BEST:: SOT 75216 SOS 44293 HAS SOPS 24719 HAS SOUS 8528 HAS SOUPS 4503 WITH SCORE 4547.293
AT ITER 2240 NEW BEST:: SOT 75261 SOS 44373 HAS SOPS 24749 HAS SOUS 8513 HAS SOUPS 4493 WITH SCORE 4537.373
AT ITER 2242 NEW BEST:: SOT 75258 SOS 44370 HAS SOPS 24746 HAS SOUS 8510 HAS SOUPS 4490 WITH SCORE 4534.37
AT ITER 2245 NEW BEST:: SOT 75211 SOS 44315 HAS SOPS 24715 HAS SOUS 8505 HAS SOUPS 4485 WITH SCORE 4529.315
AT ITER 2251 NEW BEST:: SOT 75219 SOS 44303 HAS SOPS 24703 HAS SOUS 8505 HAS SOUPS 4485 WITH SCORE 4529.303
AT ITER 2262 NEW BEST:: SOT 75230 SOS 44445 HAS SOPS 24757 HAS SOUS 8507 HAS SOUPS 4476 WITH SCORE 4520.445
AT ITER 2268 NEW BEST:: SOT 75222 SOS 44453 HAS SOPS 24685 HAS SOUS 8505 HAS SOUPS 4465 WITH SCORE 4509.453
AT ITER 2290 NEW BEST:: SOT 75223 SOS 44391 HAS SOPS 24671 HAS SOUS 8459 HAS SOUPS 4419 WITH SCORE 4463.391
AT ITER 2308 NEW BEST:: SOT 75220 SOS 44364 HAS SOPS 24668 HAS SOUS 8453 HAS SOUPS 4416 WITH SCORE 4460.364
AT ITER 2325 NEW BEST:: SOT 75339 SOS 44482 HAS SOPS 24722 HAS SOUS 8442 HAS SOUPS 4406 WITH SCORE 4450.482
AT ITER 2328 NEW BEST:: SOT 75333 SOS 44476 HAS SOPS 24716 HAS SOUS 8442 HAS SOUPS 4406 WITH SCORE 4450.476
AT ITER 2331 NEW BEST:: SOT 75373 SOS 44526 HAS SOPS 24741 HAS SOUS 8441 HAS SOUPS 4401 WITH SCORE 4445.526
AT ITER 2353 NEW BEST:: SOT 75373 SOS 44470 HAS SOPS 24749 HAS SOUS 8433 HAS SOUPS 4401 WITH SCORE 4445.47
AT ITER 2362 NEW BEST:: SOT 75364 SOS 44281 HAS SOPS 24575 HAS SOUS 8427 HAS SOUPS 4395 WITH SCORE 4439.281
AT ITER 2379 NEW BEST:: SOT 75369 SOS 44283 HAS SOPS 24568 HAS SOUS 8423 HAS SOUPS 4391 WITH SCORE 4435.283
AT ITER 2411 NEW BEST:: SOT 75356 SOS 44271 HAS SOPS 24577 HAS SOUS 8427 HAS SOUPS 4387 WITH SCORE 4431.271
AT ITER 2416 NEW BEST:: SOT 75344 SOS 44258 HAS SOPS 24569 HAS SOUS 8427 HAS SOUPS 4387 WITH SCORE 4431.258
AT ITER 2417 NEW BEST:: SOT 75254 SOS 44123 HAS SOPS 24508 HAS SOUS 8417 HAS SOUPS 4382 WITH SCORE 4426.123
AT ITER 2453 NEW BEST:: SOT 75254 SOS 44124 HAS SOPS 24509 HAS SOUS 8416 HAS SOUPS 4381 WITH SCORE 4425.124
AT ITER 2480 NEW BEST:: SOT 75239 SOS 43798 HAS SOPS 24359 HAS SOUS 8394 HAS SOUPS 4381 WITH SCORE 4424.798
AT ITER 2482 NEW BEST:: SOT 75242 SOS 43783 HAS SOPS 24359 HAS SOUS 8391 HAS SOUPS 4381 WITH SCORE 4424.783
AT ITER 2545 NEW BEST:: SOT 75183 SOS 43739 HAS SOPS 24360 HAS SOUS 8288 HAS SOUPS 4380 WITH SCORE 4423.739
AT ITER 2548 NEW BEST:: SOT 75174 SOS 43784 HAS SOPS 24405 HAS SOUS 8285 HAS SOUPS 4377 WITH SCORE 4420.784
AT ITER 2561 NEW BEST:: SOT 74656 SOS 43690 HAS SOPS 24209 HAS SOUS 8356 HAS SOUPS 4366 WITH SCORE 4409.69
AT ITER 2572 NEW BEST:: SOT 74657 SOS 43775 HAS SOPS 24244 HAS SOUS 8353 HAS SOUPS 4359 WITH SCORE 4402.775
AT ITER 2597 NEW BEST:: SOT 74578 SOS 43706 HAS SOPS 24160 HAS SOUS 8314 HAS SOUPS 4335 WITH SCORE 4378.706
AT ITER 2621 NEW BEST:: SOT 74577 SOS 43674 HAS SOPS 24152 HAS SOUS 8304 HAS SOUPS 4328 WITH SCORE 4371.674
AT ITER 2647 NEW BEST:: SOT 74580 SOS 43597 HAS SOPS 24120 HAS SOUS 8301 HAS SOUPS 4328 WITH SCORE 4371.597
AT ITER 2678 NEW BEST:: SOT 74231 SOS 42913 HAS SOPS 24091 HAS SOUS 8209 HAS SOUPS 4313 WITH SCORE 4355.913
AT ITER 2698 NEW BEST:: SOT 73931 SOS 42475 HAS SOPS 23923 HAS SOUS 8152 HAS SOUPS 4303 WITH SCORE 4345.475
AT ITER 2708 NEW BEST:: SOT 73931 SOS 42475 HAS SOPS 23923 HAS SOUS 8143 HAS SOUPS 4298 WITH SCORE 4340.475
AT ITER 2744 NEW BEST:: SOT 73930 SOS 42474 HAS SOPS 23923 HAS SOUS 8141 HAS SOUPS 4296 WITH SCORE 4338.474
AT ITER 2753 NEW BEST:: SOT 73866 SOS 42381 HAS SOPS 23860 HAS SOUS 8137 HAS SOUPS 4292 WITH SCORE 4334.381
AT ITER 2756 NEW BEST:: SOT 73858 SOS 42373 HAS SOPS 23860 HAS SOUS 8137 HAS SOUPS 4292 WITH SCORE 4334.373
AT ITER 2768 NEW BEST:: SOT 73856 SOS 42368 HAS SOPS 23858 HAS SOUS 8132 HAS SOUPS 4290 WITH SCORE 4332.368
AT ITER 2812 NEW BEST:: SOT 73856 SOS 42368 HAS SOPS 23858 HAS SOUS 8126 HAS SOUPS 4286 WITH SCORE 4328.368
AT ITER 2817 NEW BEST:: SOT 73843 SOS 42355 HAS SOPS 23858 HAS SOUS 8126 HAS SOUPS 4286 WITH SCORE 4328.355
AT ITER 2865 NEW BEST:: SOT 74078 SOS 42635 HAS SOPS 24024 HAS SOUS 8121 HAS SOUPS 4284 WITH SCORE 4326.635
AT ITER 2866 NEW BEST:: SOT 74067 SOS 42602 HAS SOPS 23903 HAS SOUS 8121 HAS SOUPS 4273 WITH SCORE 4315.602
AT ITER 2889 NEW BEST:: SOT 74057 SOS 42656 HAS SOPS 23947 HAS SOUS 8119 HAS SOUPS 4271 WITH SCORE 4313.656
AT ITER 2906 NEW BEST:: SOT 74279 SOS 43688 HAS SOPS 24096 HAS SOUS 8048 HAS SOUPS 4267 WITH SCORE 4310.688
AT ITER 2932 NEW BEST:: SOT 74279 SOS 43686 HAS SOPS 24086 HAS SOUS 8048 HAS SOUPS 4266 WITH SCORE 4309.686
AT ITER 2939 NEW BEST:: SOT 74217 SOS 43569 HAS SOPS 23999 HAS SOUS 8044 HAS SOUPS 4262 WITH SCORE 4305.569
AT ITER 2940 NEW BEST:: SOT 74138 SOS 43434 HAS SOPS 23895 HAS SOUS 8041 HAS SOUPS 4256 WITH SCORE 4299.434
AT ITER 2948 NEW BEST:: SOT 74150 SOS 43296 HAS SOPS 23847 HAS SOUS 8035 HAS SOUPS 4256 WITH SCORE 4299.296
AT ITER 2951 NEW BEST:: SOT 74155 SOS 43301 HAS SOPS 23847 HAS SOUS 8026 HAS SOUPS 4251 WITH SCORE 4294.301
AT ITER 2952 NEW BEST:: SOT 74176 SOS 43429 HAS SOPS 23878 HAS SOUS 8037 HAS SOUPS 4250 WITH SCORE 4293.429
AT ITER 3011 NEW BEST:: SOT 74136 SOS 43383 HAS SOPS 23850 HAS SOUS 8030 HAS SOUPS 4243 WITH SCORE 4286.383
AT ITER 3034 NEW BEST:: SOT 74137 SOS 43370 HAS SOPS 23846 HAS SOUS 8025 HAS SOUPS 4238 WITH SCORE 4281.37
AT ITER 3043 NEW BEST:: SOT 74130 SOS 43357 HAS SOPS 23842 HAS SOUS 7994 HAS SOUPS 4222 WITH SCORE 4265.357
AT ITER 3058 NEW BEST:: SOT 74077 SOS 42923 HAS SOPS 23728 HAS SOUS 7933 HAS SOUPS 4201 WITH SCORE 4243.923
AT ITER 3114 NEW BEST:: SOT 74073 SOS 42969 HAS SOPS 23782 HAS SOUS 7929 HAS SOUPS 4199 WITH SCORE 4241.969
AT ITER 3118 NEW BEST:: SOT 74065 SOS 42953 HAS SOPS 23778 HAS SOUS 7925 HAS SOUPS 4199 WITH SCORE 4241.953
AT ITER 3133 NEW BEST:: SOT 74190 SOS 43179 HAS SOPS 23847 HAS SOUS 7926 HAS SOUPS 4191 WITH SCORE 4234.179
AT ITER 3161 NEW BEST:: SOT 74201 SOS 43169 HAS SOPS 23837 HAS SOUS 7924 HAS SOUPS 4189 WITH SCORE 4232.169
AT ITER 3169 NEW BEST:: SOT 74199 SOS 43165 HAS SOPS 23832 HAS SOUS 7924 HAS SOUPS 4188 WITH SCORE 4231.165
AT ITER 3172 NEW BEST:: SOT 74155 SOS 41979 HAS SOPS 22822 HAS SOUS 7898 HAS SOUPS 4184 WITH SCORE 4225.979
AT ITER 3234 NEW BEST:: SOT 74151 SOS 41971 HAS SOPS 22816 HAS SOUS 7898 HAS SOUPS 4184 WITH SCORE 4225.971
AT ITER 3246 NEW BEST:: SOT 74148 SOS 41965 HAS SOPS 22810 HAS SOUS 7895 HAS SOUPS 4181 WITH SCORE 4222.965
AT ITER 3261 NEW BEST:: SOT 74137 SOS 41949 HAS SOPS 22804 HAS SOUS 7894 HAS SOUPS 4181 WITH SCORE 4222.949
AT ITER 3320 NEW BEST:: SOT 74137 SOS 41939 HAS SOPS 22794 HAS SOUS 7893 HAS SOUPS 4180 WITH SCORE 4221.939
AT ITER 3329 NEW BEST:: SOT 74095 SOS 41894 HAS SOPS 22767 HAS SOUS 7890 HAS SOUPS 4177 WITH SCORE 4218.894
AT ITER 3355 NEW BEST:: SOT 74085 SOS 41862 HAS SOPS 22735 HAS SOUS 7888 HAS SOUPS 4175 WITH SCORE 4216.862
AT ITER 3397 NEW BEST:: SOT 74085 SOS 41862 HAS SOPS 22735 HAS SOUS 7870 HAS SOUPS 4165 WITH SCORE 4206.862
AT ITER 3418 NEW BEST:: SOT 74013 SOS 41760 HAS SOPS 22699 HAS SOUS 7864 HAS SOUPS 4165 WITH SCORE 4206.76
AT ITER 3419 NEW BEST:: SOT 74040 SOS 41785 HAS SOPS 22727 HAS SOUS 7862 HAS SOUPS 4164 WITH SCORE 4205.785
AT ITER 3431 NEW BEST:: SOT 74033 SOS 41734 HAS SOPS 22717 HAS SOUS 7857 HAS SOUPS 4164 WITH SCORE 4205.734
AT ITER 3449 NEW BEST:: SOT 74033 SOS 41741 HAS SOPS 22724 HAS SOUS 7842 HAS SOUPS 4149 WITH SCORE 4190.741
AT ITER 3475 NEW BEST:: SOT 74024 SOS 41731 HAS SOPS 22683 HAS SOUS 7836 HAS SOUPS 4136 WITH SCORE 4177.731
AT ITER 3551 NEW BEST:: SOT 74024 SOS 41714 HAS SOPS 22666 HAS SOUS 7835 HAS SOUPS 4135 WITH SCORE 4176.714
AT ITER 3586 NEW BEST:: SOT 74022 SOS 41747 HAS SOPS 22635 HAS SOUS 7833 HAS SOUPS 4125 WITH SCORE 4166.747
AT ITER 3637 NEW BEST:: SOT 74022 SOS 41750 HAS SOPS 22638 HAS SOUS 7827 HAS SOUPS 4119 WITH SCORE 4160.75
AT ITER 3682 NEW BEST:: SOT 74022 SOS 41750 HAS SOPS 22638 HAS SOUS 7823 HAS SOUPS 4115 WITH SCORE 4156.75
AT ITER 3696 NEW BEST:: SOT 74027 SOS 41755 HAS SOPS 22643 HAS SOUS 7818 HAS SOUPS 4110 WITH SCORE 4151.755
AT ITER 3717 NEW BEST:: SOT 74029 SOS 41761 HAS SOPS 22537 HAS SOUS 7808 HAS SOUPS 4086 WITH SCORE 4127.761
AT ITER 3757 NEW BEST:: SOT 74029 SOS 41761 HAS SOPS 22537 HAS SOUS 7799 HAS SOUPS 4081 WITH SCORE 4122.761
AT ITER 3758 NEW BEST:: SOT 74019 SOS 41663 HAS SOPS 22418 HAS SOUS 7795 HAS SOUPS 4077 WITH SCORE 4118.663
AT ITER 3820 NEW BEST:: SOT 74021 SOS 41632 HAS SOPS 22391 HAS SOUS 7795 HAS SOUPS 4077 WITH SCORE 4118.632
AT ITER 3850 NEW BEST:: SOT 74024 SOS 41642 HAS SOPS 22369 HAS SOUS 7795 HAS SOUPS 4073 WITH SCORE 4114.642
AT ITER 3873 NEW BEST:: SOT 74025 SOS 41639 HAS SOPS 22371 HAS SOUS 7794 HAS SOUPS 4073 WITH SCORE 4114.639
AT ITER 3899 NEW BEST:: SOT 74010 SOS 41639 HAS SOPS 22337 HAS SOUS 7786 HAS SOUPS 4063 WITH SCORE 4104.639
AT ITER 3912 NEW BEST:: SOT 74016 SOS 41543 HAS SOPS 22257 HAS SOUS 7784 HAS SOUPS 4063 WITH SCORE 4104.543
AT ITER 3960 NEW BEST:: SOT 74016 SOS 41543 HAS SOPS 22257 HAS SOUS 7782 HAS SOUPS 4061 WITH SCORE 4102.543
AT ITER 4086 NEW BEST:: SOT 74014 SOS 41433 HAS SOPS 22163 HAS SOUS 7778 HAS SOUPS 4059 WITH SCORE 4100.433
AT ITER 4146 NEW BEST:: SOT 74011 SOS 41347 HAS SOPS 22117 HAS SOUS 7772 HAS SOUPS 4058 WITH SCORE 4099.347
AT ITER 4275 NEW BEST:: SOT 74032 SOS 41476 HAS SOPS 22246 HAS SOUS 7757 HAS SOUPS 4043 WITH SCORE 4084.476
AT ITER 4340 NEW BEST:: SOT 74032 SOS 41476 HAS SOPS 22230 HAS SOUS 7757 HAS SOUPS 4041 WITH SCORE 4082.476
AT ITER 4355 NEW BEST:: SOT 74032 SOS 41476 HAS SOPS 22230 HAS SOUS 7749 HAS SOUPS 4033 WITH SCORE 4074.476
AT ITER 4456 NEW BEST:: SOT 74035 SOS 41489 HAS SOPS 22236 HAS SOUS 7748 HAS SOUPS 4023 WITH SCORE 4064.489
AT ITER 4465 NEW BEST:: SOT 73980 SOS 41231 HAS SOPS 22048 HAS SOUS 7742 HAS SOUPS 4022 WITH SCORE 4063.231
AT ITER 4485 NEW BEST:: SOT 73856 SOS 41110 HAS SOPS 21993 HAS SOUS 7743 HAS SOUPS 4020 WITH SCORE 4061.11
AT ITER 4500 NEW BEST:: SOT 73860 SOS 41059 HAS SOPS 21972 HAS SOUS 7737 HAS SOUPS 4016 WITH SCORE 4057.059
AT ITER 4619 NEW BEST:: SOT 73842 SOS 41032 HAS SOPS 21954 HAS SOUS 7735 HAS SOUPS 4013 WITH SCORE 4054.032
AT ITER 4656 NEW BEST:: SOT 73832 SOS 41015 HAS SOPS 21943 HAS SOUS 7729 HAS SOUPS 4010 WITH SCORE 4051.015
AT ITER 4715 NEW BEST:: SOT 73752 SOS 40786 HAS SOPS 21780 HAS SOUS 7722 HAS SOUPS 4003 WITH SCORE 4043.786
AT ITER 4791 NEW BEST:: SOT 73761 SOS 40734 HAS SOPS 21740 HAS SOUS 7721 HAS SOUPS 4002 WITH SCORE 4042.734
AT ITER 4803 NEW BEST:: SOT 73764 SOS 40737 HAS SOPS 21740 HAS SOUS 7712 HAS SOUPS 3997 WITH SCORE 4037.737
AT ITER 4913 NEW BEST:: SOT 73428 SOS 40827 HAS SOPS 21310 HAS SOUS 7775 HAS SOUPS 3986 WITH SCORE 4026.827
AT ITER 4915 NEW BEST:: SOT 73411 SOS 40774 HAS SOPS 21251 HAS SOUS 7750 HAS SOUPS 3961 WITH SCORE 4001.774
AT ITER 4917 NEW BEST:: SOT 73356 SOS 40714 HAS SOPS 21216 HAS SOUS 7750 HAS SOUPS 3961 WITH SCORE 4001.714
AT ITER 4980 NEW BEST:: SOT 73370 SOS 40442 HAS SOPS 20948 HAS SOUS 7741 HAS SOUPS 3952 WITH SCORE 3992.442
AT ITER 4986 NEW BEST:: SOT 73370 SOS 40442 HAS SOPS 20948 HAS SOUS 7738 HAS SOUPS 3950 WITH SCORE 3990.442
AT ITER 5081 NEW BEST:: SOT 73370 SOS 40426 HAS SOPS 20948 HAS SOUS 7736 HAS SOUPS 3950 WITH SCORE 3990.426
AT ITER 5159 NEW BEST:: SOT 73368 SOS 40326 HAS SOPS 20944 HAS SOUS 7724 HAS SOUPS 3950 WITH SCORE 3990.326
AT ITER 5207 NEW BEST:: SOT 73368 SOS 40334 HAS SOPS 20935 HAS SOUS 7724 HAS SOUPS 3948 WITH SCORE 3988.334
AT ITER 5260 NEW BEST:: SOT 73411 SOS 40373 HAS SOPS 20980 HAS SOUS 7721 HAS SOUPS 3947 WITH SCORE 3987.373
AT ITER 5288 NEW BEST:: SOT 73423 SOS 40401 HAS SOPS 20953 HAS SOUS 7730 HAS SOUPS 3945 WITH SCORE 3985.401
AT ITER 5316 NEW BEST:: SOT 73425 SOS 40384 HAS SOPS 20954 HAS SOUS 7727 HAS SOUPS 3943 WITH SCORE 3983.384
AT ITER 5377 NEW BEST:: SOT 73425 SOS 40385 HAS SOPS 20955 HAS SOUS 7720 HAS SOUPS 3936 WITH SCORE 3976.385
AT ITER 5390 NEW BEST:: SOT 73364 SOS 40334 HAS SOPS 20889 HAS SOUS 7717 HAS SOUPS 3932 WITH SCORE 3972.334
AT ITER 5441 NEW BEST:: SOT 73391 SOS 40363 HAS SOPS 20900 HAS SOUS 7710 HAS SOUPS 3925 WITH SCORE 3965.363
AT ITER 5508 NEW BEST:: SOT 73391 SOS 40387 HAS SOPS 20906 HAS SOUS 7711 HAS SOUPS 3923 WITH SCORE 3963.387
AT ITER 5514 NEW BEST:: SOT 73389 SOS 40393 HAS SOPS 20904 HAS SOUS 7711 HAS SOUPS 3922 WITH SCORE 3962.393
AT ITER 5515 NEW BEST:: SOT 73243 SOS 40221 HAS SOPS 20822 HAS SOUS 7709 HAS SOUPS 3920 WITH SCORE 3960.221
AT ITER 5567 NEW BEST:: SOT 73232 SOS 40200 HAS SOPS 20816 HAS SOUS 7694 HAS SOUPS 3914 WITH SCORE 3954.2
AT ITER 5655 NEW BEST:: SOT 73221 SOS 40172 HAS SOPS 20698 HAS SOUS 7692 HAS SOUPS 3903 WITH SCORE 3943.172
AT ITER 5663 NEW BEST:: SOT 73218 SOS 40169 HAS SOPS 20698 HAS SOUS 7692 HAS SOUPS 3903 WITH SCORE 3943.169
AT ITER 5682 NEW BEST:: SOT 73180 SOS 40082 HAS SOPS 20666 HAS SOUS 7678 HAS SOUPS 3900 WITH SCORE 3940.082
AT ITER 5711 NEW BEST:: SOT 73216 SOS 40133 HAS SOPS 20684 HAS SOUS 7679 HAS SOUPS 3898 WITH SCORE 3938.133
AT ITER 5838 NEW BEST:: SOT 73215 SOS 40131 HAS SOPS 20682 HAS SOUS 7675 HAS SOUPS 3894 WITH SCORE 3934.131
AT ITER 5859 NEW BEST:: SOT 73207 SOS 40336 HAS SOPS 20872 HAS SOUS 7671 HAS SOUPS 3890 WITH SCORE 3930.336
AT ITER 6022 NEW BEST:: SOT 73206 SOS 40328 HAS SOPS 20870 HAS SOUS 7670 HAS SOUPS 3890 WITH SCORE 3930.328
AT ITER 6041 NEW BEST:: SOT 73206 SOS 40324 HAS SOPS 20869 HAS SOUS 7667 HAS SOUPS 3887 WITH SCORE 3927.324
AT ITER 6082 NEW BEST:: SOT 73117 SOS 39953 HAS SOPS 20715 HAS SOUS 7654 HAS SOUPS 3882 WITH SCORE 3921.953
AT ITER 6088 NEW BEST:: SOT 73119 SOS 39971 HAS SOPS 20717 HAS SOUS 7655 HAS SOUPS 3881 WITH SCORE 3920.971
AT ITER 6194 NEW BEST:: SOT 73118 SOS 39962 HAS SOPS 20716 HAS SOUS 7653 HAS SOUPS 3880 WITH SCORE 3919.962
AT ITER 6318 NEW BEST:: SOT 73050 SOS 39788 HAS SOPS 20629 HAS SOUS 7639 HAS SOUPS 3866 WITH SCORE 3905.788
AT ITER 6332 NEW BEST:: SOT 73049 SOS 39787 HAS SOPS 20629 HAS SOUS 7637 HAS SOUPS 3864 WITH SCORE 3903.787
AT ITER 6354 NEW BEST:: SOT 72882 SOS 39528 HAS SOPS 20415 HAS SOUS 7648 HAS SOUPS 3860 WITH SCORE 3899.528
AT ITER 6401 NEW BEST:: SOT 72868 SOS 39566 HAS SOPS 20421 HAS SOUS 7647 HAS SOUPS 3856 WITH SCORE 3895.566
AT ITER 6456 NEW BEST:: SOT 72805 SOS 39448 HAS SOPS 20378 HAS SOUS 7645 HAS SOUPS 3854 WITH SCORE 3893.448
AT ITER 6506 NEW BEST:: SOT 72805 SOS 39432 HAS SOPS 20370 HAS SOUS 7644 HAS SOUPS 3854 WITH SCORE 3893.432
AT ITER 6562 NEW BEST:: SOT 72805 SOS 39432 HAS SOPS 20370 HAS SOUS 7632 HAS SOUPS 3842 WITH SCORE 3881.432
AT ITER 6628 NEW BEST:: SOT 72814 SOS 39407 HAS SOPS 20356 HAS SOUS 7632 HAS SOUPS 3842 WITH SCORE 3881.407
AT ITER 6669 NEW BEST:: SOT 72812 SOS 39402 HAS SOPS 20356 HAS SOUS 7631 HAS SOUPS 3842 WITH SCORE 3881.402
AT ITER 6684 NEW BEST:: SOT 72805 SOS 39379 HAS SOPS 20347 HAS SOUS 7597 HAS SOUPS 3836 WITH SCORE 3875.379
AT ITER 6693 NEW BEST:: SOT 72805 SOS 39371 HAS SOPS 20341 HAS SOUS 7590 HAS SOUPS 3832 WITH SCORE 3871.371
AT ITER 6735 NEW BEST:: SOT 72799 SOS 39351 HAS SOPS 20315 HAS SOUS 7586 HAS SOUPS 3826 WITH SCORE 3865.351
AT ITER 6750 NEW BEST:: SOT 72799 SOS 39341 HAS SOPS 20315 HAS SOUS 7583 HAS SOUPS 3825 WITH SCORE 3864.341
AT ITER 6786 NEW BEST:: SOT 72693 SOS 39171 HAS SOPS 20197 HAS SOUS 7582 HAS SOUPS 3824 WITH SCORE 3863.171
AT ITER 6801 NEW BEST:: SOT 72548 SOS 38997 HAS SOPS 20083 HAS SOUS 7580 HAS SOUPS 3822 WITH SCORE 3860.997
AT ITER 6848 NEW BEST:: SOT 72291 SOS 38621 HAS SOPS 19937 HAS SOUS 7546 HAS SOUPS 3819 WITH SCORE 3857.621
AT ITER 6912 NEW BEST:: SOT 72270 SOS 38416 HAS SOPS 19719 HAS SOUS 7544 HAS SOUPS 3817 WITH SCORE 3855.416
AT ITER 6927 NEW BEST:: SOT 72260 SOS 38362 HAS SOPS 19697 HAS SOUS 7544 HAS SOUPS 3817 WITH SCORE 3855.362
AT ITER 6938 NEW BEST:: SOT 72270 SOS 38172 HAS SOPS 19507 HAS SOUS 7544 HAS SOUPS 3817 WITH SCORE 3855.172
AT ITER 6942 NEW BEST:: SOT 72264 SOS 38126 HAS SOPS 19484 HAS SOUS 7539 HAS SOUPS 3814 WITH SCORE 3852.126
AT ITER 6948 NEW BEST:: SOT 72270 SOS 38054 HAS SOPS 19448 HAS SOUS 7528 HAS SOUPS 3807 WITH SCORE 3845.054
AT ITER 6964 NEW BEST:: SOT 72271 SOS 38046 HAS SOPS 19438 HAS SOUS 7528 HAS SOUPS 3807 WITH SCORE 3845.046
AT ITER 7026 NEW BEST:: SOT 72272 SOS 37999 HAS SOPS 19394 HAS SOUS 7527 HAS SOUPS 3806 WITH SCORE 3843.999
AT ITER 7129 NEW BEST:: SOT 72272 SOS 37992 HAS SOPS 19394 HAS SOUS 7527 HAS SOUPS 3806 WITH SCORE 3843.992
AT ITER 7147 NEW BEST:: SOT 72217 SOS 37912 HAS SOPS 19339 HAS SOUS 7527 HAS SOUPS 3806 WITH SCORE 3843.912
AT ITER 7211 NEW BEST:: SOT 72169 SOS 37828 HAS SOPS 19303 HAS SOUS 7527 HAS SOUPS 3806 WITH SCORE 3843.828
AT ITER 7227 NEW BEST:: SOT 72165 SOS 37824 HAS SOPS 19303 HAS SOUS 7525 HAS SOUPS 3804 WITH SCORE 3841.824
AT ITER 7243 NEW BEST:: SOT 72111 SOS 37752 HAS SOPS 19254 HAS SOUS 7523 HAS SOUPS 3802 WITH SCORE 3839.752
AT ITER 7365 NEW BEST:: SOT 72110 SOS 37759 HAS SOPS 19255 HAS SOUS 7522 HAS SOUPS 3801 WITH SCORE 3838.759
AT ITER 7469 NEW BEST:: SOT 72114 SOS 37763 HAS SOPS 19255 HAS SOUS 7513 HAS SOUPS 3796 WITH SCORE 3833.763
AT ITER 7488 NEW BEST:: SOT 72087 SOS 37459 HAS SOPS 18951 HAS SOUS 7510 HAS SOUPS 3793 WITH SCORE 3830.459
AT ITER 7518 NEW BEST:: SOT 72075 SOS 37620 HAS SOPS 19112 HAS SOUS 7503 HAS SOUPS 3786 WITH SCORE 3823.62
AT ITER 7584 NEW BEST:: SOT 72074 SOS 37611 HAS SOPS 19109 HAS SOUS 7502 HAS SOUPS 3785 WITH SCORE 3822.611
AT ITER 7626 NEW BEST:: SOT 72074 SOS 37609 HAS SOPS 19107 HAS SOUS 7502 HAS SOUPS 3785 WITH SCORE 3822.609
AT ITER 7733 NEW BEST:: SOT 71979 SOS 37436 HAS SOPS 19042 HAS SOUS 7491 HAS SOUPS 3783 WITH SCORE 3820.436
AT ITER 7818 NEW BEST:: SOT 71807 SOS 37190 HAS SOPS 18866 HAS SOUS 7440 HAS SOUPS 3744 WITH SCORE 3781.19
AT ITER 7862 NEW BEST:: SOT 71805 SOS 37191 HAS SOPS 18862 HAS SOUS 7439 HAS SOUPS 3742 WITH SCORE 3779.191
AT ITER 7930 NEW BEST:: SOT 71804 SOS 37182 HAS SOPS 18859 HAS SOUS 7438 HAS SOUPS 3742 WITH SCORE 3779.182
AT ITER 8019 NEW BEST:: SOT 71798 SOS 37176 HAS SOPS 18853 HAS SOUS 7438 HAS SOUPS 3742 WITH SCORE 3779.176
AT ITER 8028 NEW BEST:: SOT 71726 SOS 37088 HAS SOPS 18817 HAS SOUS 7430 HAS SOUPS 3734 WITH SCORE 3771.088
AT ITER 8031 NEW BEST:: SOT 71693 SOS 36955 HAS SOPS 18747 HAS SOUS 7421 HAS SOUPS 3725 WITH SCORE 3761.955
AT ITER 8046 NEW BEST:: SOT 71527 SOS 37266 HAS SOPS 18645 HAS SOUS 7480 HAS SOUPS 3722 WITH SCORE 3759.266
AT ITER 8103 NEW BEST:: SOT 71510 SOS 37164 HAS SOPS 18598 HAS SOUS 7468 HAS SOUPS 3713 WITH SCORE 3750.164
AT ITER 8166 NEW BEST:: SOT 71502 SOS 37148 HAS SOPS 18582 HAS SOUS 7465 HAS SOUPS 3710 WITH SCORE 3747.148
AT ITER 8194 NEW BEST:: SOT 71532 SOS 37212 HAS SOPS 18602 HAS SOUS 7463 HAS SOUPS 3706 WITH SCORE 3743.212
AT ITER 8197 NEW BEST:: SOT 71509 SOS 37193 HAS SOPS 18581 HAS SOUS 7458 HAS SOUPS 3699 WITH SCORE 3736.193
AT ITER 8291 NEW BEST:: SOT 71514 SOS 37131 HAS SOPS 18567 HAS SOUS 7448 HAS SOUPS 3695 WITH SCORE 3732.131
AT ITER 8352 NEW BEST:: SOT 71520 SOS 37095 HAS SOPS 18459 HAS SOUS 7445 HAS SOUPS 3680 WITH SCORE 3717.095
AT ITER 8355 NEW BEST:: SOT 71640 SOS 37349 HAS SOPS 18529 HAS SOUS 7436 HAS SOUPS 3671 WITH SCORE 3708.349
AT ITER 8370 NEW BEST:: SOT 71642 SOS 37297 HAS SOPS 18507 HAS SOUS 7429 HAS SOUPS 3666 WITH SCORE 3703.297
AT ITER 8372 NEW BEST:: SOT 71642 SOS 37297 HAS SOPS 18507 HAS SOUS 7420 HAS SOUPS 3661 WITH SCORE 3698.297
AT ITER 8375 NEW BEST:: SOT 71594 SOS 37213 HAS SOPS 18477 HAS SOUS 7420 HAS SOUPS 3661 WITH SCORE 3698.213
AT ITER 8380 NEW BEST:: SOT 71586 SOS 37205 HAS SOPS 18455 HAS SOUS 7416 HAS SOUPS 3655 WITH SCORE 3692.205
AT ITER 8485 NEW BEST:: SOT 71589 SOS 37191 HAS SOPS 18455 HAS SOUS 7415 HAS SOUPS 3655 WITH SCORE 3692.191
AT ITER 8579 NEW BEST:: SOT 71593 SOS 37139 HAS SOPS 18396 HAS SOUS 7412 HAS SOUPS 3652 WITH SCORE 3689.139
AT ITER 8632 NEW BEST:: SOT 71573 SOS 36522 HAS SOPS 17879 HAS SOUS 7398 HAS SOUPS 3649 WITH SCORE 3685.522
AT ITER 8711 NEW BEST:: SOT 71445 SOS 36371 HAS SOPS 17779 HAS SOUS 7397 HAS SOUPS 3648 WITH SCORE 3684.371
AT ITER 8751 NEW BEST:: SOT 71444 SOS 36370 HAS SOPS 17779 HAS SOUS 7397 HAS SOUPS 3648 WITH SCORE 3684.37
AT ITER 8763 NEW BEST:: SOT 71473 SOS 36444 HAS SOPS 17773 HAS SOUS 7410 HAS SOUPS 3645 WITH SCORE 3681.444
AT ITER 8800 NEW BEST:: SOT 71446 SOS 36411 HAS SOPS 17755 HAS SOUS 7398 HAS SOUPS 3641 WITH SCORE 3677.411
AT ITER 8828 NEW BEST:: SOT 72016 SOS 37560 HAS SOPS 18083 HAS SOUS 7376 HAS SOUPS 3627 WITH SCORE 3664.56
AT ITER 8890 NEW BEST:: SOT 72033 SOS 37457 HAS SOPS 17970 HAS SOUS 7378 HAS SOUPS 3624 WITH SCORE 3661.457
AT ITER 8937 NEW BEST:: SOT 72022 SOS 37446 HAS SOPS 17965 HAS SOUS 7377 HAS SOUPS 3623 WITH SCORE 3660.446
AT ITER 9098 NEW BEST:: SOT 72055 SOS 37494 HAS SOPS 17980 HAS SOUS 7383 HAS SOUPS 3622 WITH SCORE 3659.494
AT ITER 9100 NEW BEST:: SOT 72055 SOS 37472 HAS SOPS 17938 HAS SOUS 7367 HAS SOUPS 3606 WITH SCORE 3643.472
AT ITER 9111 NEW BEST:: SOT 72027 SOS 37441 HAS SOPS 17922 HAS SOUS 7355 HAS SOUPS 3598 WITH SCORE 3635.441
AT ITER 9127 NEW BEST:: SOT 72021 SOS 37477 HAS SOPS 17928 HAS SOUS 7353 HAS SOUPS 3594 WITH SCORE 3631.477
AT ITER 9158 NEW BEST:: SOT 72022 SOS 37445 HAS SOPS 17895 HAS SOUS 7353 HAS SOUPS 3594 WITH SCORE 3631.445
AT ITER 9194 NEW BEST:: SOT 72021 SOS 37474 HAS SOPS 17909 HAS SOUS 7353 HAS SOUPS 3593 WITH SCORE 3630.474
AT ITER 9320 NEW BEST:: SOT 71963 SOS 37358 HAS SOPS 17877 HAS SOUS 7347 HAS SOUPS 3587 WITH SCORE 3624.358
AT ITER 9357 NEW BEST:: SOT 71939 SOS 37334 HAS SOPS 17853 HAS SOUS 7338 HAS SOUPS 3582 WITH SCORE 3619.334
AT ITER 9364 NEW BEST:: SOT 71915 SOS 37278 HAS SOPS 17837 HAS SOUS 7330 HAS SOUPS 3582 WITH SCORE 3619.278
AT ITER 9387 NEW BEST:: SOT 71889 SOS 37142 HAS SOPS 17701 HAS SOUS 7328 HAS SOUPS 3580 WITH SCORE 3617.142
AT ITER 9566 NEW BEST:: SOT 71879 SOS 37132 HAS SOPS 17701 HAS SOUS 7320 HAS SOUPS 3572 WITH SCORE 3609.132
AT ITER 9580 NEW BEST:: SOT 71877 SOS 37129 HAS SOPS 17700 HAS SOUS 7318 HAS SOUPS 3571 WITH SCORE 3608.129
AT ITER 9690 NEW BEST:: SOT 71872 SOS 37119 HAS SOPS 17690 HAS SOUS 7318 HAS SOUPS 3571 WITH SCORE 3608.119
AT ITER 9692 NEW BEST:: SOT 71872 SOS 37119 HAS SOPS 17690 HAS SOUS 7315 HAS SOUPS 3569 WITH SCORE 3606.119
AT ITER 9739 NEW BEST:: SOT 71868 SOS 37116 HAS SOPS 17681 HAS SOUS 7315 HAS SOUPS 3567 WITH SCORE 3604.116
AT ITER 9745 NEW BEST:: SOT 71866 SOS 37106 HAS SOPS 17681 HAS SOUS 7313 HAS SOUPS 3567 WITH SCORE 3604.106
AT ITER 9791 NEW BEST:: SOT 71870 SOS 37110 HAS SOPS 17697 HAS SOUS 7309 HAS SOUPS 3565 WITH SCORE 3602.11
AT ITER 9907 NEW BEST:: SOT 71870 SOS 37110 HAS SOPS 17697 HAS SOUS 7307 HAS SOUPS 3563 WITH SCORE 3600.11
AT ITER 9921 NEW BEST:: SOT 71866 SOS 37106 HAS SOPS 17693 HAS SOUS 7303 HAS SOUPS 3559 WITH SCORE 3596.106
AT ITER 9996 NEW BEST:: SOT 71858 SOS 37056 HAS SOPS 17645 HAS SOUS 7299 HAS SOUPS 3551 WITH SCORE 3588.056
STATE_SPACE STATES 240100001 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 69 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 21917700001 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678406686051

--------------------
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="DLCround-PT-04a"
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 DLCround-PT-04a, 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-167814484500640"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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