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.r395-oct2-167903718500256.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 ShieldIIPt-PT-005B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r395-oct2-167903718500256
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 572K
-rw-r--r-- 1 mcc users 8.6K Feb 25 17:00 CTLCardinality.txt
-rw-r--r-- 1 mcc users 101K Feb 25 17:00 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.8K Feb 25 16:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 41K Feb 25 16:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:56 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:56 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:56 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:56 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 17:01 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 116K Feb 25 17:01 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 17:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 95K Feb 25 17:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:56 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:56 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 83K Mar 5 18:23 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679560328549

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=ShieldIIPt-PT-005B
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 08:32:11] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 08:32:11] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 08:32:11] [INFO ] Load time of PNML (sax parser for PT used): 76 ms
[2023-03-23 08:32:11] [INFO ] Transformed 353 places.
[2023-03-23 08:32:11] [INFO ] Transformed 328 transitions.
[2023-03-23 08:32:11] [INFO ] Found NUPN structural information;
[2023-03-23 08:32:11] [INFO ] Parsed PT model containing 353 places and 328 transitions and 816 arcs in 204 ms.
[2023-03-23 08:32:11] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 353 places, 328 transitions and 816 arcs took 9 ms.
Total runtime 271 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPt (PT), instance 005B
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: 353 places, 328 transitions, 816 arcs.
AT ITER 0 NEW BEST:: SOT 64144 SOS 18153 HAS SOPS 18153 HAS SOUS 16578 HAS SOUPS 16578 WITH SCORE 16596.153
AT ITER 7 NEW BEST:: SOT 64101 SOS 18137 HAS SOPS 18137 HAS SOUS 16559 HAS SOUPS 16559 WITH SCORE 16577.137
AT ITER 10 NEW BEST:: SOT 64101 SOS 18132 HAS SOPS 18132 HAS SOUS 16554 HAS SOUPS 16554 WITH SCORE 16572.132
AT ITER 22 NEW BEST:: SOT 64049 SOS 18101 HAS SOPS 18101 HAS SOUS 16525 HAS SOUPS 16525 WITH SCORE 16543.101
AT ITER 37 NEW BEST:: SOT 64112 SOS 18196 HAS SOPS 18196 HAS SOUS 16520 HAS SOUPS 16520 WITH SCORE 16538.196
AT ITER 48 NEW BEST:: SOT 64112 SOS 18170 HAS SOPS 18170 HAS SOUS 16495 HAS SOUPS 16495 WITH SCORE 16513.17
AT ITER 51 NEW BEST:: SOT 64105 SOS 18156 HAS SOPS 18156 HAS SOUS 16487 HAS SOUPS 16487 WITH SCORE 16505.156
AT ITER 60 NEW BEST:: SOT 64104 SOS 18144 HAS SOPS 18144 HAS SOUS 16485 HAS SOUPS 16485 WITH SCORE 16503.144
AT ITER 70 NEW BEST:: SOT 64095 SOS 18094 HAS SOPS 18094 HAS SOUS 16435 HAS SOUPS 16435 WITH SCORE 16453.094
AT ITER 76 NEW BEST:: SOT 64097 SOS 18088 HAS SOPS 18088 HAS SOUS 16429 HAS SOUPS 16429 WITH SCORE 16447.088
AT ITER 78 NEW BEST:: SOT 64094 SOS 17898 HAS SOPS 17898 HAS SOUS 16356 HAS SOUPS 16356 WITH SCORE 16373.898
AT ITER 108 NEW BEST:: SOT 64059 SOS 17852 HAS SOPS 17852 HAS SOUS 16304 HAS SOUPS 16304 WITH SCORE 16321.852
AT ITER 109 NEW BEST:: SOT 64043 SOS 17820 HAS SOPS 17820 HAS SOUS 16288 HAS SOUPS 16288 WITH SCORE 16305.82
AT ITER 114 NEW BEST:: SOT 63995 SOS 17820 HAS SOPS 17820 HAS SOUS 16240 HAS SOUPS 16240 WITH SCORE 16257.82
AT ITER 117 NEW BEST:: SOT 63995 SOS 17782 HAS SOPS 17782 HAS SOUS 16240 HAS SOUPS 16240 WITH SCORE 16257.782
AT ITER 119 NEW BEST:: SOT 63994 SOS 17780 HAS SOPS 17780 HAS SOUS 16238 HAS SOUPS 16238 WITH SCORE 16255.78
AT ITER 138 NEW BEST:: SOT 63994 SOS 17772 HAS SOPS 17772 HAS SOUS 16230 HAS SOUPS 16230 WITH SCORE 16247.772
AT ITER 142 NEW BEST:: SOT 63985 SOS 17748 HAS SOPS 17748 HAS SOUS 16179 HAS SOUPS 16179 WITH SCORE 16196.748
AT ITER 157 NEW BEST:: SOT 63985 SOS 17699 HAS SOPS 17699 HAS SOUS 16130 HAS SOUPS 16130 WITH SCORE 16147.699
AT ITER 161 NEW BEST:: SOT 63976 SOS 17681 HAS SOPS 17681 HAS SOUS 16112 HAS SOUPS 16112 WITH SCORE 16129.681
AT ITER 173 NEW BEST:: SOT 64026 SOS 17651 HAS SOPS 17651 HAS SOUS 16082 HAS SOUPS 16082 WITH SCORE 16099.651
AT ITER 175 NEW BEST:: SOT 64003 SOS 17605 HAS SOPS 17605 HAS SOUS 16036 HAS SOUPS 16036 WITH SCORE 16053.605
AT ITER 177 NEW BEST:: SOT 64003 SOS 17575 HAS SOPS 17575 HAS SOUS 16006 HAS SOUPS 16006 WITH SCORE 16023.575
AT ITER 179 NEW BEST:: SOT 63929 SOS 17587 HAS SOPS 17587 HAS SOUS 15946 HAS SOUPS 15946 WITH SCORE 15963.587
AT ITER 205 NEW BEST:: SOT 63915 SOS 17582 HAS SOPS 17582 HAS SOUS 15941 HAS SOUPS 15941 WITH SCORE 15958.582
AT ITER 230 NEW BEST:: SOT 63843 SOS 17423 HAS SOPS 17423 HAS SOUS 15855 HAS SOUPS 15855 WITH SCORE 15872.423
AT ITER 248 NEW BEST:: SOT 63836 SOS 17409 HAS SOPS 17409 HAS SOUS 15841 HAS SOUPS 15841 WITH SCORE 15858.409
AT ITER 251 NEW BEST:: SOT 63836 SOS 17401 HAS SOPS 17401 HAS SOUS 15833 HAS SOUPS 15833 WITH SCORE 15850.401
AT ITER 254 NEW BEST:: SOT 63836 SOS 17401 HAS SOPS 17401 HAS SOUS 15831 HAS SOUPS 15831 WITH SCORE 15848.401
AT ITER 277 NEW BEST:: SOT 63794 SOS 17338 HAS SOPS 17338 HAS SOUS 15789 HAS SOUPS 15789 WITH SCORE 15806.338
AT ITER 284 NEW BEST:: SOT 63761 SOS 17267 HAS SOPS 17267 HAS SOUS 15742 HAS SOUPS 15742 WITH SCORE 15759.267
AT ITER 298 NEW BEST:: SOT 63784 SOS 17310 HAS SOPS 17310 HAS SOUS 15708 HAS SOUPS 15708 WITH SCORE 15725.31
AT ITER 309 NEW BEST:: SOT 63783 SOS 17308 HAS SOPS 17308 HAS SOUS 15706 HAS SOUPS 15706 WITH SCORE 15723.308
AT ITER 310 NEW BEST:: SOT 63783 SOS 17304 HAS SOPS 17304 HAS SOUS 15706 HAS SOUPS 15706 WITH SCORE 15723.304
AT ITER 321 NEW BEST:: SOT 63780 SOS 17276 HAS SOPS 17276 HAS SOUS 15678 HAS SOUPS 15678 WITH SCORE 15695.276
AT ITER 342 NEW BEST:: SOT 63778 SOS 17274 HAS SOPS 17274 HAS SOUS 15676 HAS SOUPS 15676 WITH SCORE 15693.274
AT ITER 344 NEW BEST:: SOT 63778 SOS 17296 HAS SOPS 17296 HAS SOUS 15666 HAS SOUPS 15666 WITH SCORE 15683.296
AT ITER 350 NEW BEST:: SOT 63763 SOS 17286 HAS SOPS 17286 HAS SOUS 15656 HAS SOUPS 15656 WITH SCORE 15673.286
AT ITER 352 NEW BEST:: SOT 63758 SOS 17150 HAS SOPS 17150 HAS SOUS 15622 HAS SOUPS 15622 WITH SCORE 15639.15
AT ITER 354 NEW BEST:: SOT 63754 SOS 17142 HAS SOPS 17142 HAS SOUS 15614 HAS SOUPS 15614 WITH SCORE 15631.142
AT ITER 386 NEW BEST:: SOT 63717 SOS 17115 HAS SOPS 17115 HAS SOUS 15577 HAS SOUPS 15577 WITH SCORE 15594.115
AT ITER 392 NEW BEST:: SOT 63702 SOS 17070 HAS SOPS 17070 HAS SOUS 15562 HAS SOUPS 15562 WITH SCORE 15579.07
AT ITER 395 NEW BEST:: SOT 63679 SOS 17024 HAS SOPS 17024 HAS SOUS 15513 HAS SOUPS 15513 WITH SCORE 15530.024
AT ITER 399 NEW BEST:: SOT 63679 SOS 17022 HAS SOPS 17022 HAS SOUS 15511 HAS SOUPS 15511 WITH SCORE 15528.022
AT ITER 413 NEW BEST:: SOT 63650 SOS 16986 HAS SOPS 16986 HAS SOUS 15489 HAS SOUPS 15489 WITH SCORE 15505.986
AT ITER 415 NEW BEST:: SOT 63627 SOS 16940 HAS SOPS 16940 HAS SOUS 15485 HAS SOUPS 15485 WITH SCORE 15501.94
AT ITER 419 NEW BEST:: SOT 63612 SOS 16910 HAS SOPS 16910 HAS SOUS 15470 HAS SOUPS 15470 WITH SCORE 15486.91
AT ITER 441 NEW BEST:: SOT 63616 SOS 16891 HAS SOPS 16891 HAS SOUS 15463 HAS SOUPS 15463 WITH SCORE 15479.891
AT ITER 446 NEW BEST:: SOT 63616 SOS 16890 HAS SOPS 16890 HAS SOUS 15462 HAS SOUPS 15462 WITH SCORE 15478.89
AT ITER 453 NEW BEST:: SOT 63616 SOS 16886 HAS SOPS 16886 HAS SOUS 15462 HAS SOUPS 15462 WITH SCORE 15478.886
AT ITER 466 NEW BEST:: SOT 63594 SOS 16820 HAS SOPS 16820 HAS SOUS 15418 HAS SOUPS 15418 WITH SCORE 15434.82
AT ITER 472 NEW BEST:: SOT 63594 SOS 16809 HAS SOPS 16809 HAS SOUS 15418 HAS SOUPS 15418 WITH SCORE 15434.809
AT ITER 477 NEW BEST:: SOT 63626 SOS 16804 HAS SOPS 16804 HAS SOUS 15413 HAS SOUPS 15413 WITH SCORE 15429.804
AT ITER 489 NEW BEST:: SOT 63506 SOS 16705 HAS SOPS 16705 HAS SOUS 15313 HAS SOUPS 15313 WITH SCORE 15329.705
AT ITER 510 NEW BEST:: SOT 63469 SOS 16626 HAS SOPS 16626 HAS SOUS 15193 HAS SOUPS 15193 WITH SCORE 15209.626
AT ITER 516 NEW BEST:: SOT 63472 SOS 16670 HAS SOPS 16670 HAS SOUS 15180 HAS SOUPS 15180 WITH SCORE 15196.67
AT ITER 521 NEW BEST:: SOT 63472 SOS 16670 HAS SOPS 16670 HAS SOUS 15176 HAS SOUPS 15176 WITH SCORE 15192.67
AT ITER 523 NEW BEST:: SOT 63471 SOS 16622 HAS SOPS 16622 HAS SOUS 15151 HAS SOUPS 15151 WITH SCORE 15167.622
AT ITER 538 NEW BEST:: SOT 63430 SOS 16431 HAS SOPS 16431 HAS SOUS 15017 HAS SOUPS 15017 WITH SCORE 15033.431
AT ITER 549 NEW BEST:: SOT 63432 SOS 16463 HAS SOPS 16463 HAS SOUS 15016 HAS SOUPS 15016 WITH SCORE 15032.463
AT ITER 560 NEW BEST:: SOT 63428 SOS 16459 HAS SOPS 16459 HAS SOUS 15016 HAS SOUPS 15016 WITH SCORE 15032.459
AT ITER 561 NEW BEST:: SOT 63411 SOS 16310 HAS SOPS 16310 HAS SOUS 14969 HAS SOUPS 14969 WITH SCORE 14985.31
AT ITER 583 NEW BEST:: SOT 63411 SOS 16330 HAS SOPS 16330 HAS SOUS 14949 HAS SOUPS 14949 WITH SCORE 14965.33
AT ITER 595 NEW BEST:: SOT 63387 SOS 16282 HAS SOPS 16282 HAS SOUS 14925 HAS SOUPS 14925 WITH SCORE 14941.282
AT ITER 637 NEW BEST:: SOT 63387 SOS 16281 HAS SOPS 16281 HAS SOUS 14924 HAS SOUPS 14924 WITH SCORE 14940.281
AT ITER 644 NEW BEST:: SOT 63373 SOS 16249 HAS SOPS 16249 HAS SOUS 14892 HAS SOUPS 14892 WITH SCORE 14908.249
AT ITER 663 NEW BEST:: SOT 63373 SOS 16226 HAS SOPS 16226 HAS SOUS 14892 HAS SOUPS 14892 WITH SCORE 14908.226
AT ITER 675 NEW BEST:: SOT 63356 SOS 16176 HAS SOPS 16176 HAS SOUS 14859 HAS SOUPS 14859 WITH SCORE 14875.176
AT ITER 694 NEW BEST:: SOT 63347 SOS 16174 HAS SOPS 16174 HAS SOUS 14857 HAS SOUPS 14857 WITH SCORE 14873.174
AT ITER 706 NEW BEST:: SOT 63326 SOS 16193 HAS SOPS 16193 HAS SOUS 14855 HAS SOUPS 14855 WITH SCORE 14871.193
AT ITER 707 NEW BEST:: SOT 63339 SOS 16173 HAS SOPS 16173 HAS SOUS 14835 HAS SOUPS 14835 WITH SCORE 14851.173
AT ITER 748 NEW BEST:: SOT 63290 SOS 16124 HAS SOPS 16124 HAS SOUS 14786 HAS SOUPS 14786 WITH SCORE 14802.124
AT ITER 750 NEW BEST:: SOT 63290 SOS 16077 HAS SOPS 16077 HAS SOUS 14739 HAS SOUPS 14739 WITH SCORE 14755.077
AT ITER 752 NEW BEST:: SOT 63284 SOS 16071 HAS SOPS 16071 HAS SOUS 14733 HAS SOUPS 14733 WITH SCORE 14749.071
AT ITER 753 NEW BEST:: SOT 63284 SOS 15995 HAS SOPS 15995 HAS SOUS 14695 HAS SOUPS 14695 WITH SCORE 14710.995
AT ITER 760 NEW BEST:: SOT 63281 SOS 16006 HAS SOPS 16006 HAS SOUS 14692 HAS SOUPS 14692 WITH SCORE 14708.006
AT ITER 762 NEW BEST:: SOT 63326 SOS 16044 HAS SOPS 16044 HAS SOUS 14681 HAS SOUPS 14681 WITH SCORE 14697.044
AT ITER 763 NEW BEST:: SOT 63326 SOS 16032 HAS SOPS 16032 HAS SOUS 14657 HAS SOUPS 14657 WITH SCORE 14673.032
AT ITER 765 NEW BEST:: SOT 63349 SOS 16000 HAS SOPS 16000 HAS SOUS 14625 HAS SOUPS 14625 WITH SCORE 14641.0
AT ITER 779 NEW BEST:: SOT 63325 SOS 15952 HAS SOPS 15952 HAS SOUS 14577 HAS SOUPS 14577 WITH SCORE 14592.952
AT ITER 791 NEW BEST:: SOT 63294 SOS 15855 HAS SOPS 15855 HAS SOUS 14515 HAS SOUPS 14515 WITH SCORE 14530.855
AT ITER 809 NEW BEST:: SOT 63294 SOS 15764 HAS SOPS 15764 HAS SOUS 14484 HAS SOUPS 14484 WITH SCORE 14499.764
AT ITER 820 NEW BEST:: SOT 63300 SOS 15753 HAS SOPS 15753 HAS SOUS 14482 HAS SOUPS 14482 WITH SCORE 14497.753
AT ITER 828 NEW BEST:: SOT 63297 SOS 15737 HAS SOPS 15737 HAS SOUS 14466 HAS SOUPS 14466 WITH SCORE 14481.737
AT ITER 838 NEW BEST:: SOT 63296 SOS 15729 HAS SOPS 15729 HAS SOUS 14458 HAS SOUPS 14458 WITH SCORE 14473.729
AT ITER 866 NEW BEST:: SOT 63292 SOS 15721 HAS SOPS 15721 HAS SOUS 14450 HAS SOUPS 14450 WITH SCORE 14465.721
AT ITER 876 NEW BEST:: SOT 63292 SOS 15704 HAS SOPS 15704 HAS SOUS 14433 HAS SOUPS 14433 WITH SCORE 14448.704
AT ITER 881 NEW BEST:: SOT 63292 SOS 15700 HAS SOPS 15700 HAS SOUS 14429 HAS SOUPS 14429 WITH SCORE 14444.7
AT ITER 907 NEW BEST:: SOT 63304 SOS 15724 HAS SOPS 15724 HAS SOUS 14408 HAS SOUPS 14408 WITH SCORE 14423.724
AT ITER 916 NEW BEST:: SOT 63303 SOS 15715 HAS SOPS 15715 HAS SOUS 14399 HAS SOUPS 14399 WITH SCORE 14414.715
AT ITER 931 NEW BEST:: SOT 63289 SOS 15687 HAS SOPS 15687 HAS SOUS 14393 HAS SOUPS 14393 WITH SCORE 14408.687
AT ITER 936 NEW BEST:: SOT 63289 SOS 15687 HAS SOPS 15687 HAS SOUS 14365 HAS SOUPS 14365 WITH SCORE 14380.687
AT ITER 955 NEW BEST:: SOT 63349 SOS 15747 HAS SOPS 15747 HAS SOUS 14359 HAS SOUPS 14359 WITH SCORE 14374.747
AT ITER 966 NEW BEST:: SOT 63349 SOS 15747 HAS SOPS 15747 HAS SOUS 14326 HAS SOUPS 14326 WITH SCORE 14341.747
AT ITER 989 NEW BEST:: SOT 63345 SOS 15737 HAS SOPS 15737 HAS SOUS 14316 HAS SOUPS 14316 WITH SCORE 14331.737
AT ITER 992 NEW BEST:: SOT 63317 SOS 15686 HAS SOPS 15686 HAS SOUS 14268 HAS SOUPS 14268 WITH SCORE 14283.686
AT ITER 1015 NEW BEST:: SOT 63322 SOS 15666 HAS SOPS 15666 HAS SOUS 14249 HAS SOUPS 14249 WITH SCORE 14264.666
AT ITER 1019 NEW BEST:: SOT 63322 SOS 15638 HAS SOPS 15638 HAS SOUS 14249 HAS SOUPS 14249 WITH SCORE 14264.638
AT ITER 1034 NEW BEST:: SOT 63321 SOS 15625 HAS SOPS 15625 HAS SOUS 14248 HAS SOUPS 14248 WITH SCORE 14263.625
AT ITER 1036 NEW BEST:: SOT 63311 SOS 15567 HAS SOPS 15567 HAS SOUS 14190 HAS SOUPS 14190 WITH SCORE 14205.567
AT ITER 1125 NEW BEST:: SOT 63310 SOS 15616 HAS SOPS 15616 HAS SOUS 14189 HAS SOUPS 14189 WITH SCORE 14204.616
AT ITER 1146 NEW BEST:: SOT 63281 SOS 15621 HAS SOPS 15621 HAS SOUS 14160 HAS SOUPS 14160 WITH SCORE 14175.621
AT ITER 1153 NEW BEST:: SOT 63293 SOS 15633 HAS SOPS 15633 HAS SOUS 14143 HAS SOUPS 14143 WITH SCORE 14158.633
AT ITER 1178 NEW BEST:: SOT 63271 SOS 15520 HAS SOPS 15520 HAS SOUS 14110 HAS SOUPS 14110 WITH SCORE 14125.52
AT ITER 1195 NEW BEST:: SOT 63264 SOS 15499 HAS SOPS 15499 HAS SOUS 14089 HAS SOUPS 14089 WITH SCORE 14104.499
AT ITER 1198 NEW BEST:: SOT 63264 SOS 15500 HAS SOPS 15500 HAS SOUS 14088 HAS SOUPS 14088 WITH SCORE 14103.5
AT ITER 1200 NEW BEST:: SOT 63271 SOS 15363 HAS SOPS 15363 HAS SOUS 14028 HAS SOUPS 14028 WITH SCORE 14043.363
AT ITER 1215 NEW BEST:: SOT 63313 SOS 15341 HAS SOPS 15341 HAS SOUS 14006 HAS SOUPS 14006 WITH SCORE 14021.341
AT ITER 1243 NEW BEST:: SOT 63313 SOS 15337 HAS SOPS 15337 HAS SOUS 14006 HAS SOUPS 14006 WITH SCORE 14021.337
AT ITER 1276 NEW BEST:: SOT 63302 SOS 15315 HAS SOPS 15315 HAS SOUS 13973 HAS SOUPS 13973 WITH SCORE 13988.315
AT ITER 1292 NEW BEST:: SOT 63286 SOS 15305 HAS SOPS 15305 HAS SOUS 13963 HAS SOUPS 13963 WITH SCORE 13978.305
AT ITER 1308 NEW BEST:: SOT 63288 SOS 15263 HAS SOPS 15263 HAS SOUS 13943 HAS SOUPS 13943 WITH SCORE 13958.263
AT ITER 1320 NEW BEST:: SOT 63235 SOS 15182 HAS SOPS 15182 HAS SOUS 13862 HAS SOUPS 13862 WITH SCORE 13877.182
AT ITER 1322 NEW BEST:: SOT 63199 SOS 15219 HAS SOPS 15219 HAS SOUS 13852 HAS SOUPS 13852 WITH SCORE 13867.219
AT ITER 1342 NEW BEST:: SOT 63199 SOS 15203 HAS SOPS 15203 HAS SOUS 13831 HAS SOUPS 13831 WITH SCORE 13846.203
AT ITER 1367 NEW BEST:: SOT 63182 SOS 15149 HAS SOPS 15149 HAS SOUS 13777 HAS SOUPS 13777 WITH SCORE 13792.149
AT ITER 1422 NEW BEST:: SOT 63191 SOS 15102 HAS SOPS 15102 HAS SOUS 13730 HAS SOUPS 13730 WITH SCORE 13745.102
AT ITER 1443 NEW BEST:: SOT 63186 SOS 15092 HAS SOPS 15092 HAS SOUS 13720 HAS SOUPS 13720 WITH SCORE 13735.092
AT ITER 1450 NEW BEST:: SOT 63186 SOS 15091 HAS SOPS 15091 HAS SOUS 13719 HAS SOUPS 13719 WITH SCORE 13734.091
AT ITER 1471 NEW BEST:: SOT 63175 SOS 15069 HAS SOPS 15069 HAS SOUS 13697 HAS SOUPS 13697 WITH SCORE 13712.069
AT ITER 1474 NEW BEST:: SOT 63166 SOS 15060 HAS SOPS 15060 HAS SOUS 13696 HAS SOUPS 13696 WITH SCORE 13711.06
AT ITER 1497 NEW BEST:: SOT 63157 SOS 15051 HAS SOPS 15051 HAS SOUS 13687 HAS SOUPS 13687 WITH SCORE 13702.051
AT ITER 1523 NEW BEST:: SOT 63162 SOS 15030 HAS SOPS 15030 HAS SOUS 13666 HAS SOUPS 13666 WITH SCORE 13681.03
AT ITER 1547 NEW BEST:: SOT 63157 SOS 15004 HAS SOPS 15004 HAS SOUS 13604 HAS SOUPS 13604 WITH SCORE 13619.004
AT ITER 1549 NEW BEST:: SOT 63142 SOS 15041 HAS SOPS 15041 HAS SOUS 13592 HAS SOUPS 13592 WITH SCORE 13607.041
AT ITER 1553 NEW BEST:: SOT 63133 SOS 14976 HAS SOPS 14976 HAS SOUS 13565 HAS SOUPS 13565 WITH SCORE 13579.976
AT ITER 1555 NEW BEST:: SOT 63131 SOS 14974 HAS SOPS 14974 HAS SOUS 13563 HAS SOUPS 13563 WITH SCORE 13577.974
AT ITER 1557 NEW BEST:: SOT 63125 SOS 14978 HAS SOPS 14978 HAS SOUS 13557 HAS SOUPS 13557 WITH SCORE 13571.978
AT ITER 1585 NEW BEST:: SOT 63118 SOS 14971 HAS SOPS 14971 HAS SOUS 13550 HAS SOUPS 13550 WITH SCORE 13564.971
AT ITER 1595 NEW BEST:: SOT 63113 SOS 14974 HAS SOPS 14974 HAS SOUS 13545 HAS SOUPS 13545 WITH SCORE 13559.974
AT ITER 1627 NEW BEST:: SOT 63113 SOS 14944 HAS SOPS 14944 HAS SOUS 13529 HAS SOUPS 13529 WITH SCORE 13543.944
AT ITER 1639 NEW BEST:: SOT 63114 SOS 14932 HAS SOPS 14932 HAS SOUS 13516 HAS SOUPS 13516 WITH SCORE 13530.932
AT ITER 1641 NEW BEST:: SOT 63114 SOS 14927 HAS SOPS 14927 HAS SOUS 13511 HAS SOUPS 13511 WITH SCORE 13525.927
AT ITER 1644 NEW BEST:: SOT 63121 SOS 14904 HAS SOPS 14904 HAS SOUS 13511 HAS SOUPS 13511 WITH SCORE 13525.904
AT ITER 1654 NEW BEST:: SOT 63134 SOS 14874 HAS SOPS 14874 HAS SOUS 13511 HAS SOUPS 13511 WITH SCORE 13525.874
AT ITER 1665 NEW BEST:: SOT 63085 SOS 14656 HAS SOPS 14656 HAS SOUS 13442 HAS SOUPS 13442 WITH SCORE 13456.656
AT ITER 1670 NEW BEST:: SOT 63085 SOS 14656 HAS SOPS 14656 HAS SOUS 13439 HAS SOUPS 13439 WITH SCORE 13453.656
AT ITER 1680 NEW BEST:: SOT 63085 SOS 14635 HAS SOPS 14635 HAS SOUS 13439 HAS SOUPS 13439 WITH SCORE 13453.635
AT ITER 1686 NEW BEST:: SOT 63061 SOS 14587 HAS SOPS 14587 HAS SOUS 13399 HAS SOUPS 13399 WITH SCORE 13413.587
AT ITER 1707 NEW BEST:: SOT 63085 SOS 14531 HAS SOPS 14531 HAS SOUS 13367 HAS SOUPS 13367 WITH SCORE 13381.531
AT ITER 1721 NEW BEST:: SOT 63081 SOS 14520 HAS SOPS 14520 HAS SOUS 13349 HAS SOUPS 13349 WITH SCORE 13363.52
AT ITER 1785 NEW BEST:: SOT 63099 SOS 14513 HAS SOPS 14513 HAS SOUS 13342 HAS SOUPS 13342 WITH SCORE 13356.513
AT ITER 1819 NEW BEST:: SOT 63099 SOS 14501 HAS SOPS 14501 HAS SOUS 13330 HAS SOUPS 13330 WITH SCORE 13344.501
AT ITER 1823 NEW BEST:: SOT 63072 SOS 14584 HAS SOPS 14584 HAS SOUS 13310 HAS SOUPS 13310 WITH SCORE 13324.584
AT ITER 1837 NEW BEST:: SOT 63072 SOS 14577 HAS SOPS 14577 HAS SOUS 13296 HAS SOUPS 13296 WITH SCORE 13310.577
AT ITER 1841 NEW BEST:: SOT 63077 SOS 14572 HAS SOPS 14572 HAS SOUS 13296 HAS SOUPS 13296 WITH SCORE 13310.572
AT ITER 1843 NEW BEST:: SOT 63072 SOS 14562 HAS SOPS 14562 HAS SOUS 13286 HAS SOUPS 13286 WITH SCORE 13300.562
AT ITER 1883 NEW BEST:: SOT 63072 SOS 14561 HAS SOPS 14561 HAS SOUS 13285 HAS SOUPS 13285 WITH SCORE 13299.561
AT ITER 1936 NEW BEST:: SOT 63072 SOS 14551 HAS SOPS 14551 HAS SOUS 13275 HAS SOUPS 13275 WITH SCORE 13289.551
AT ITER 1958 NEW BEST:: SOT 63034 SOS 14514 HAS SOPS 14514 HAS SOUS 13273 HAS SOUPS 13273 WITH SCORE 13287.514
AT ITER 1972 NEW BEST:: SOT 63031 SOS 14508 HAS SOPS 14508 HAS SOUS 13270 HAS SOUPS 13270 WITH SCORE 13284.508
AT ITER 1982 NEW BEST:: SOT 63070 SOS 14421 HAS SOPS 14421 HAS SOUS 13270 HAS SOUPS 13270 WITH SCORE 13284.421
AT ITER 1985 NEW BEST:: SOT 63053 SOS 14410 HAS SOPS 14410 HAS SOUS 13259 HAS SOUPS 13259 WITH SCORE 13273.41
AT ITER 1995 NEW BEST:: SOT 63057 SOS 14378 HAS SOPS 14378 HAS SOUS 13223 HAS SOUPS 13223 WITH SCORE 13237.378
AT ITER 2015 NEW BEST:: SOT 63051 SOS 14377 HAS SOPS 14377 HAS SOUS 13222 HAS SOUPS 13222 WITH SCORE 13236.377
AT ITER 2062 NEW BEST:: SOT 63046 SOS 14378 HAS SOPS 14378 HAS SOUS 13217 HAS SOUPS 13217 WITH SCORE 13231.378
AT ITER 2063 NEW BEST:: SOT 63045 SOS 14377 HAS SOPS 14377 HAS SOUS 13216 HAS SOUPS 13216 WITH SCORE 13230.377
AT ITER 2074 NEW BEST:: SOT 63032 SOS 14351 HAS SOPS 14351 HAS SOUS 13181 HAS SOUPS 13181 WITH SCORE 13195.351
AT ITER 2086 NEW BEST:: SOT 62990 SOS 14309 HAS SOPS 14309 HAS SOUS 13139 HAS SOUPS 13139 WITH SCORE 13153.309
AT ITER 2149 NEW BEST:: SOT 62990 SOS 14287 HAS SOPS 14287 HAS SOUS 13117 HAS SOUPS 13117 WITH SCORE 13131.287
AT ITER 2185 NEW BEST:: SOT 62990 SOS 14245 HAS SOPS 14245 HAS SOUS 13096 HAS SOUPS 13096 WITH SCORE 13110.245
AT ITER 2191 NEW BEST:: SOT 62990 SOS 14236 HAS SOPS 14236 HAS SOUS 13087 HAS SOUPS 13087 WITH SCORE 13101.236
AT ITER 2212 NEW BEST:: SOT 62990 SOS 14268 HAS SOPS 14268 HAS SOUS 13078 HAS SOUPS 13078 WITH SCORE 13092.268
AT ITER 2241 NEW BEST:: SOT 62990 SOS 14263 HAS SOPS 14263 HAS SOUS 13078 HAS SOUPS 13078 WITH SCORE 13092.263
AT ITER 2260 NEW BEST:: SOT 62947 SOS 14184 HAS SOPS 14184 HAS SOUS 13035 HAS SOUPS 13035 WITH SCORE 13049.184
AT ITER 2290 NEW BEST:: SOT 62923 SOS 14136 HAS SOPS 14136 HAS SOUS 12987 HAS SOUPS 12987 WITH SCORE 13001.136
AT ITER 2296 NEW BEST:: SOT 62912 SOS 14114 HAS SOPS 14114 HAS SOUS 12965 HAS SOUPS 12965 WITH SCORE 12979.114
AT ITER 2383 NEW BEST:: SOT 62908 SOS 14113 HAS SOPS 14113 HAS SOUS 12964 HAS SOUPS 12964 WITH SCORE 12978.113
AT ITER 2391 NEW BEST:: SOT 62925 SOS 14104 HAS SOPS 14104 HAS SOUS 12961 HAS SOUPS 12961 WITH SCORE 12975.104
AT ITER 2403 NEW BEST:: SOT 62910 SOS 14230 HAS SOPS 14230 HAS SOUS 12955 HAS SOUPS 12955 WITH SCORE 12969.23
AT ITER 2406 NEW BEST:: SOT 62935 SOS 14234 HAS SOPS 14234 HAS SOUS 12953 HAS SOUPS 12953 WITH SCORE 12967.234
AT ITER 2407 NEW BEST:: SOT 62937 SOS 14250 HAS SOPS 14250 HAS SOUS 12951 HAS SOUPS 12951 WITH SCORE 12965.25
AT ITER 2463 NEW BEST:: SOT 62918 SOS 14212 HAS SOPS 14212 HAS SOUS 12932 HAS SOUPS 12932 WITH SCORE 12946.212
AT ITER 2495 NEW BEST:: SOT 62918 SOS 14191 HAS SOPS 14191 HAS SOUS 12932 HAS SOUPS 12932 WITH SCORE 12946.191
AT ITER 2497 NEW BEST:: SOT 62905 SOS 14153 HAS SOPS 14153 HAS SOUS 12925 HAS SOUPS 12925 WITH SCORE 12939.153
AT ITER 2504 NEW BEST:: SOT 62877 SOS 14148 HAS SOPS 14148 HAS SOUS 12920 HAS SOUPS 12920 WITH SCORE 12934.148
AT ITER 2510 NEW BEST:: SOT 62877 SOS 14129 HAS SOPS 14129 HAS SOUS 12920 HAS SOUPS 12920 WITH SCORE 12934.129
AT ITER 2515 NEW BEST:: SOT 62876 SOS 14127 HAS SOPS 14127 HAS SOUS 12918 HAS SOUPS 12918 WITH SCORE 12932.127
AT ITER 2535 NEW BEST:: SOT 62852 SOS 14099 HAS SOPS 14099 HAS SOUS 12890 HAS SOUPS 12890 WITH SCORE 12904.099
AT ITER 2541 NEW BEST:: SOT 62852 SOS 14082 HAS SOPS 14082 HAS SOUS 12890 HAS SOUPS 12890 WITH SCORE 12904.082
AT ITER 2546 NEW BEST:: SOT 62862 SOS 14075 HAS SOPS 14075 HAS SOUS 12883 HAS SOUPS 12883 WITH SCORE 12897.075
AT ITER 2556 NEW BEST:: SOT 62858 SOS 13983 HAS SOPS 13983 HAS SOUS 12832 HAS SOUPS 12832 WITH SCORE 12845.983
AT ITER 2571 NEW BEST:: SOT 62848 SOS 13973 HAS SOPS 13973 HAS SOUS 12831 HAS SOUPS 12831 WITH SCORE 12844.973
AT ITER 2575 NEW BEST:: SOT 62827 SOS 13951 HAS SOPS 13951 HAS SOUS 12809 HAS SOUPS 12809 WITH SCORE 12822.951
AT ITER 2599 NEW BEST:: SOT 62827 SOS 13862 HAS SOPS 13862 HAS SOUS 12782 HAS SOUPS 12782 WITH SCORE 12795.862
AT ITER 2606 NEW BEST:: SOT 62803 SOS 13828 HAS SOPS 13828 HAS SOUS 12747 HAS SOUPS 12747 WITH SCORE 12760.828
AT ITER 2632 NEW BEST:: SOT 62796 SOS 13821 HAS SOPS 13821 HAS SOUS 12740 HAS SOUPS 12740 WITH SCORE 12753.821
AT ITER 2654 NEW BEST:: SOT 62796 SOS 13815 HAS SOPS 13815 HAS SOUS 12734 HAS SOUPS 12734 WITH SCORE 12747.815
AT ITER 2655 NEW BEST:: SOT 62790 SOS 13798 HAS SOPS 13798 HAS SOUS 12717 HAS SOUPS 12717 WITH SCORE 12730.798
AT ITER 2703 NEW BEST:: SOT 62777 SOS 13797 HAS SOPS 13797 HAS SOUS 12704 HAS SOUPS 12704 WITH SCORE 12717.797
AT ITER 2763 NEW BEST:: SOT 62780 SOS 13792 HAS SOPS 13792 HAS SOUS 12700 HAS SOUPS 12700 WITH SCORE 12713.792
AT ITER 2777 NEW BEST:: SOT 62730 SOS 13742 HAS SOPS 13742 HAS SOUS 12678 HAS SOUPS 12678 WITH SCORE 12691.742
AT ITER 2820 NEW BEST:: SOT 62724 SOS 13723 HAS SOPS 13723 HAS SOUS 12659 HAS SOUPS 12659 WITH SCORE 12672.723
AT ITER 2835 NEW BEST:: SOT 62724 SOS 13679 HAS SOPS 13679 HAS SOUS 12642 HAS SOUPS 12642 WITH SCORE 12655.679
AT ITER 2849 NEW BEST:: SOT 62745 SOS 13691 HAS SOPS 13691 HAS SOUS 12619 HAS SOUPS 12619 WITH SCORE 12632.691
AT ITER 2851 NEW BEST:: SOT 62739 SOS 13679 HAS SOPS 13679 HAS SOUS 12613 HAS SOUPS 12613 WITH SCORE 12626.679
AT ITER 2876 NEW BEST:: SOT 62750 SOS 13701 HAS SOPS 13701 HAS SOUS 12609 HAS SOUPS 12609 WITH SCORE 12622.701
AT ITER 2899 NEW BEST:: SOT 62743 SOS 13685 HAS SOPS 13685 HAS SOUS 12593 HAS SOUPS 12593 WITH SCORE 12606.685
AT ITER 2900 NEW BEST:: SOT 62722 SOS 13620 HAS SOPS 13620 HAS SOUS 12577 HAS SOUPS 12577 WITH SCORE 12590.62
AT ITER 2904 NEW BEST:: SOT 62721 SOS 13449 HAS SOPS 13449 HAS SOUS 12529 HAS SOUPS 12529 WITH SCORE 12542.449
AT ITER 2914 NEW BEST:: SOT 62721 SOS 13434 HAS SOPS 13434 HAS SOUS 12525 HAS SOUPS 12525 WITH SCORE 12538.434
AT ITER 2917 NEW BEST:: SOT 62721 SOS 13429 HAS SOPS 13429 HAS SOUS 12525 HAS SOUPS 12525 WITH SCORE 12538.429
AT ITER 2927 NEW BEST:: SOT 62697 SOS 13405 HAS SOPS 13405 HAS SOUS 12518 HAS SOUPS 12518 WITH SCORE 12531.405
AT ITER 2935 NEW BEST:: SOT 62701 SOS 13390 HAS SOPS 13390 HAS SOUS 12503 HAS SOUPS 12503 WITH SCORE 12516.39
AT ITER 2944 NEW BEST:: SOT 62701 SOS 13375 HAS SOPS 13375 HAS SOUS 12488 HAS SOUPS 12488 WITH SCORE 12501.375
AT ITER 2967 NEW BEST:: SOT 62707 SOS 13387 HAS SOPS 13387 HAS SOUS 12487 HAS SOUPS 12487 WITH SCORE 12500.387
AT ITER 2977 NEW BEST:: SOT 62672 SOS 13337 HAS SOPS 13337 HAS SOUS 12472 HAS SOUPS 12472 WITH SCORE 12485.337
AT ITER 2984 NEW BEST:: SOT 62661 SOS 13315 HAS SOPS 13315 HAS SOUS 12461 HAS SOUPS 12461 WITH SCORE 12474.315
AT ITER 3057 NEW BEST:: SOT 62671 SOS 13314 HAS SOPS 13314 HAS SOUS 12460 HAS SOUPS 12460 WITH SCORE 12473.314
AT ITER 3071 NEW BEST:: SOT 62671 SOS 13314 HAS SOPS 13314 HAS SOUS 12430 HAS SOUPS 12430 WITH SCORE 12443.314
AT ITER 3093 NEW BEST:: SOT 62655 SOS 13314 HAS SOPS 13314 HAS SOUS 12398 HAS SOUPS 12398 WITH SCORE 12411.314
AT ITER 3097 NEW BEST:: SOT 62656 SOS 13312 HAS SOPS 13312 HAS SOUS 12396 HAS SOUPS 12396 WITH SCORE 12409.312
AT ITER 3108 NEW BEST:: SOT 62650 SOS 13349 HAS SOPS 13349 HAS SOUS 12391 HAS SOUPS 12391 WITH SCORE 12404.349
AT ITER 3126 NEW BEST:: SOT 62650 SOS 13343 HAS SOPS 13343 HAS SOUS 12385 HAS SOUPS 12385 WITH SCORE 12398.343
AT ITER 3136 NEW BEST:: SOT 62673 SOS 13136 HAS SOPS 13136 HAS SOUS 12294 HAS SOUPS 12294 WITH SCORE 12307.136
AT ITER 3184 NEW BEST:: SOT 62697 SOS 13134 HAS SOPS 13134 HAS SOUS 12292 HAS SOUPS 12292 WITH SCORE 12305.134
AT ITER 3187 NEW BEST:: SOT 62636 SOS 13012 HAS SOPS 13012 HAS SOUS 12198 HAS SOUPS 12198 WITH SCORE 12211.012
AT ITER 3271 NEW BEST:: SOT 62636 SOS 12978 HAS SOPS 12978 HAS SOUS 12164 HAS SOUPS 12164 WITH SCORE 12176.978
AT ITER 3273 NEW BEST:: SOT 62655 SOS 12929 HAS SOPS 12929 HAS SOUS 12152 HAS SOUPS 12152 WITH SCORE 12164.929
AT ITER 3312 NEW BEST:: SOT 62663 SOS 12890 HAS SOPS 12890 HAS SOUS 12113 HAS SOUPS 12113 WITH SCORE 12125.89
AT ITER 3321 NEW BEST:: SOT 62664 SOS 12862 HAS SOPS 12862 HAS SOUS 12085 HAS SOUPS 12085 WITH SCORE 12097.862
AT ITER 3323 NEW BEST:: SOT 62669 SOS 12917 HAS SOPS 12917 HAS SOUS 12072 HAS SOUPS 12072 WITH SCORE 12084.917
AT ITER 3360 NEW BEST:: SOT 62600 SOS 12862 HAS SOPS 12862 HAS SOUS 12002 HAS SOUPS 12002 WITH SCORE 12014.862
AT ITER 3397 NEW BEST:: SOT 62588 SOS 12826 HAS SOPS 12826 HAS SOUS 11966 HAS SOUPS 11966 WITH SCORE 11978.826
AT ITER 3423 NEW BEST:: SOT 62593 SOS 12824 HAS SOPS 12824 HAS SOUS 11964 HAS SOUPS 11964 WITH SCORE 11976.824
AT ITER 3442 NEW BEST:: SOT 62613 SOS 12756 HAS SOPS 12756 HAS SOUS 11957 HAS SOUPS 11957 WITH SCORE 11969.756
AT ITER 3503 NEW BEST:: SOT 62602 SOS 12794 HAS SOPS 12794 HAS SOUS 11941 HAS SOUPS 11941 WITH SCORE 11953.794
AT ITER 3519 NEW BEST:: SOT 62602 SOS 12791 HAS SOPS 12791 HAS SOUS 11941 HAS SOUPS 11941 WITH SCORE 11953.791
AT ITER 3544 NEW BEST:: SOT 62560 SOS 12771 HAS SOPS 12771 HAS SOUS 11916 HAS SOUPS 11916 WITH SCORE 11928.771
AT ITER 3548 NEW BEST:: SOT 62550 SOS 12760 HAS SOPS 12760 HAS SOUS 11914 HAS SOUPS 11914 WITH SCORE 11926.76
AT ITER 3556 NEW BEST:: SOT 62550 SOS 12750 HAS SOPS 12750 HAS SOUS 11904 HAS SOUPS 11904 WITH SCORE 11916.75
AT ITER 3569 NEW BEST:: SOT 62539 SOS 12746 HAS SOPS 12746 HAS SOUS 11900 HAS SOUPS 11900 WITH SCORE 11912.746
AT ITER 3575 NEW BEST:: SOT 62539 SOS 12712 HAS SOPS 12712 HAS SOUS 11900 HAS SOUPS 11900 WITH SCORE 11912.712
AT ITER 3578 NEW BEST:: SOT 62533 SOS 12694 HAS SOPS 12694 HAS SOUS 11894 HAS SOUPS 11894 WITH SCORE 11906.694
AT ITER 3632 NEW BEST:: SOT 62528 SOS 12731 HAS SOPS 12731 HAS SOUS 11864 HAS SOUPS 11864 WITH SCORE 11876.731
AT ITER 3677 NEW BEST:: SOT 62535 SOS 12724 HAS SOPS 12724 HAS SOUS 11857 HAS SOUPS 11857 WITH SCORE 11869.724
AT ITER 3701 NEW BEST:: SOT 62535 SOS 12751 HAS SOPS 12751 HAS SOUS 11839 HAS SOUPS 11839 WITH SCORE 11851.751
AT ITER 3735 NEW BEST:: SOT 62518 SOS 12750 HAS SOPS 12750 HAS SOUS 11831 HAS SOUPS 11831 WITH SCORE 11843.75
AT ITER 3745 NEW BEST:: SOT 62487 SOS 12728 HAS SOPS 12728 HAS SOUS 11814 HAS SOUPS 11814 WITH SCORE 11826.728
AT ITER 3749 NEW BEST:: SOT 62459 SOS 12698 HAS SOPS 12698 HAS SOUS 11769 HAS SOUPS 11769 WITH SCORE 11781.698
AT ITER 3769 NEW BEST:: SOT 62458 SOS 12675 HAS SOPS 12675 HAS SOUS 11746 HAS SOUPS 11746 WITH SCORE 11758.675
AT ITER 3778 NEW BEST:: SOT 62457 SOS 12674 HAS SOPS 12674 HAS SOUS 11745 HAS SOUPS 11745 WITH SCORE 11757.674
AT ITER 3783 NEW BEST:: SOT 62457 SOS 12667 HAS SOPS 12667 HAS SOUS 11738 HAS SOUPS 11738 WITH SCORE 11750.667
AT ITER 3788 NEW BEST:: SOT 62405 SOS 12766 HAS SOPS 12766 HAS SOUS 11725 HAS SOUPS 11725 WITH SCORE 11737.766
AT ITER 3823 NEW BEST:: SOT 62405 SOS 12766 HAS SOPS 12766 HAS SOUS 11724 HAS SOUPS 11724 WITH SCORE 11736.766
AT ITER 3838 NEW BEST:: SOT 62405 SOS 12760 HAS SOPS 12760 HAS SOUS 11719 HAS SOUPS 11719 WITH SCORE 11731.76
AT ITER 3878 NEW BEST:: SOT 62405 SOS 12751 HAS SOPS 12751 HAS SOUS 11710 HAS SOUPS 11710 WITH SCORE 11722.751
AT ITER 3907 NEW BEST:: SOT 62335 SOS 12611 HAS SOPS 12611 HAS SOUS 11640 HAS SOUPS 11640 WITH SCORE 11652.611
AT ITER 3941 NEW BEST:: SOT 62335 SOS 12565 HAS SOPS 12565 HAS SOUS 11640 HAS SOUPS 11640 WITH SCORE 11652.565
AT ITER 3958 NEW BEST:: SOT 62304 SOS 12476 HAS SOPS 12476 HAS SOUS 11614 HAS SOUPS 11614 WITH SCORE 11626.476
AT ITER 4028 NEW BEST:: SOT 62304 SOS 12476 HAS SOPS 12476 HAS SOUS 11590 HAS SOUPS 11590 WITH SCORE 11602.476
AT ITER 4042 NEW BEST:: SOT 62304 SOS 12475 HAS SOPS 12475 HAS SOUS 11589 HAS SOUPS 11589 WITH SCORE 11601.475
AT ITER 4057 NEW BEST:: SOT 62302 SOS 12473 HAS SOPS 12473 HAS SOUS 11587 HAS SOUPS 11587 WITH SCORE 11599.473
AT ITER 4067 NEW BEST:: SOT 62298 SOS 12465 HAS SOPS 12465 HAS SOUS 11583 HAS SOUPS 11583 WITH SCORE 11595.465
AT ITER 4078 NEW BEST:: SOT 62293 SOS 12455 HAS SOPS 12455 HAS SOUS 11573 HAS SOUPS 11573 WITH SCORE 11585.455
AT ITER 4127 NEW BEST:: SOT 62290 SOS 12452 HAS SOPS 12452 HAS SOUS 11570 HAS SOUPS 11570 WITH SCORE 11582.452
AT ITER 4152 NEW BEST:: SOT 62292 SOS 12449 HAS SOPS 12449 HAS SOUS 11567 HAS SOUPS 11567 WITH SCORE 11579.449
AT ITER 4164 NEW BEST:: SOT 62286 SOS 12441 HAS SOPS 12441 HAS SOUS 11559 HAS SOUPS 11559 WITH SCORE 11571.441
AT ITER 4167 NEW BEST:: SOT 62286 SOS 12440 HAS SOPS 12440 HAS SOUS 11558 HAS SOUPS 11558 WITH SCORE 11570.44
AT ITER 4172 NEW BEST:: SOT 62288 SOS 12439 HAS SOPS 12439 HAS SOUS 11554 HAS SOUPS 11554 WITH SCORE 11566.439
AT ITER 4173 NEW BEST:: SOT 62288 SOS 12413 HAS SOPS 12413 HAS SOUS 11554 HAS SOUPS 11554 WITH SCORE 11566.413
AT ITER 4273 NEW BEST:: SOT 62297 SOS 12411 HAS SOPS 12411 HAS SOUS 11552 HAS SOUPS 11552 WITH SCORE 11564.411
AT ITER 4282 NEW BEST:: SOT 62297 SOS 12410 HAS SOPS 12410 HAS SOUS 11551 HAS SOUPS 11551 WITH SCORE 11563.41
AT ITER 4288 NEW BEST:: SOT 62290 SOS 12403 HAS SOPS 12403 HAS SOUS 11544 HAS SOUPS 11544 WITH SCORE 11556.403
AT ITER 4337 NEW BEST:: SOT 62279 SOS 12381 HAS SOPS 12381 HAS SOUS 11522 HAS SOUPS 11522 WITH SCORE 11534.381
AT ITER 4342 NEW BEST:: SOT 62273 SOS 12342 HAS SOPS 12342 HAS SOUS 11483 HAS SOUPS 11483 WITH SCORE 11495.342
AT ITER 4353 NEW BEST:: SOT 62240 SOS 12357 HAS SOPS 12357 HAS SOUS 11461 HAS SOUPS 11461 WITH SCORE 11473.357
AT ITER 4357 NEW BEST:: SOT 62234 SOS 12345 HAS SOPS 12345 HAS SOUS 11446 HAS SOUPS 11446 WITH SCORE 11458.345
AT ITER 4366 NEW BEST:: SOT 62239 SOS 12343 HAS SOPS 12343 HAS SOUS 11444 HAS SOUPS 11444 WITH SCORE 11456.343
AT ITER 4406 NEW BEST:: SOT 62239 SOS 12336 HAS SOPS 12336 HAS SOUS 11444 HAS SOUPS 11444 WITH SCORE 11456.336
AT ITER 4419 NEW BEST:: SOT 62248 SOS 12354 HAS SOPS 12354 HAS SOUS 11435 HAS SOUPS 11435 WITH SCORE 11447.354
AT ITER 4429 NEW BEST:: SOT 62240 SOS 12346 HAS SOPS 12346 HAS SOUS 11427 HAS SOUPS 11427 WITH SCORE 11439.346
AT ITER 4445 NEW BEST:: SOT 62240 SOS 12346 HAS SOPS 12346 HAS SOUS 11422 HAS SOUPS 11422 WITH SCORE 11434.346
AT ITER 4468 NEW BEST:: SOT 62221 SOS 12367 HAS SOPS 12367 HAS SOUS 11420 HAS SOUPS 11420 WITH SCORE 11432.367
AT ITER 4480 NEW BEST:: SOT 62208 SOS 12340 HAS SOPS 12340 HAS SOUS 11401 HAS SOUPS 11401 WITH SCORE 11413.34
AT ITER 4481 NEW BEST:: SOT 62209 SOS 12320 HAS SOPS 12320 HAS SOUS 11381 HAS SOUPS 11381 WITH SCORE 11393.32
AT ITER 4503 NEW BEST:: SOT 62199 SOS 12310 HAS SOPS 12310 HAS SOUS 11381 HAS SOUPS 11381 WITH SCORE 11393.31
AT ITER 4513 NEW BEST:: SOT 62186 SOS 12286 HAS SOPS 12286 HAS SOUS 11362 HAS SOUPS 11362 WITH SCORE 11374.286
AT ITER 4517 NEW BEST:: SOT 62179 SOS 12266 HAS SOPS 12266 HAS SOUS 11355 HAS SOUPS 11355 WITH SCORE 11367.266
AT ITER 4525 NEW BEST:: SOT 62179 SOS 12266 HAS SOPS 12266 HAS SOUS 11334 HAS SOUPS 11334 WITH SCORE 11346.266
AT ITER 4534 NEW BEST:: SOT 62174 SOS 12240 HAS SOPS 12240 HAS SOUS 11308 HAS SOUPS 11308 WITH SCORE 11320.24
AT ITER 4550 NEW BEST:: SOT 62176 SOS 12233 HAS SOPS 12233 HAS SOUS 11301 HAS SOUPS 11301 WITH SCORE 11313.233
AT ITER 4552 NEW BEST:: SOT 62173 SOS 12230 HAS SOPS 12230 HAS SOUS 11298 HAS SOUPS 11298 WITH SCORE 11310.23
AT ITER 4668 NEW BEST:: SOT 62155 SOS 12177 HAS SOPS 12177 HAS SOUS 11259 HAS SOUPS 11259 WITH SCORE 11271.177
AT ITER 4718 NEW BEST:: SOT 62161 SOS 12163 HAS SOPS 12163 HAS SOUS 11257 HAS SOUPS 11257 WITH SCORE 11269.163
AT ITER 4720 NEW BEST:: SOT 62157 SOS 12167 HAS SOPS 12167 HAS SOUS 11256 HAS SOUPS 11256 WITH SCORE 11268.167
AT ITER 4727 NEW BEST:: SOT 62138 SOS 12166 HAS SOPS 12166 HAS SOUS 11255 HAS SOUPS 11255 WITH SCORE 11267.166
AT ITER 4741 NEW BEST:: SOT 62148 SOS 12164 HAS SOPS 12164 HAS SOUS 11253 HAS SOUPS 11253 WITH SCORE 11265.164
AT ITER 4754 NEW BEST:: SOT 62141 SOS 12157 HAS SOPS 12157 HAS SOUS 11246 HAS SOUPS 11246 WITH SCORE 11258.157
AT ITER 4805 NEW BEST:: SOT 62141 SOS 12143 HAS SOPS 12143 HAS SOUS 11232 HAS SOUPS 11232 WITH SCORE 11244.143
AT ITER 4843 NEW BEST:: SOT 62141 SOS 12119 HAS SOPS 12119 HAS SOUS 11208 HAS SOUPS 11208 WITH SCORE 11220.119
AT ITER 4875 NEW BEST:: SOT 62141 SOS 12091 HAS SOPS 12091 HAS SOUS 11205 HAS SOUPS 11205 WITH SCORE 11217.091
AT ITER 4876 NEW BEST:: SOT 62132 SOS 12085 HAS SOPS 12085 HAS SOUS 11199 HAS SOUPS 11199 WITH SCORE 11211.085
AT ITER 4892 NEW BEST:: SOT 62124 SOS 12077 HAS SOPS 12077 HAS SOUS 11175 HAS SOUPS 11175 WITH SCORE 11187.077
AT ITER 4929 NEW BEST:: SOT 62175 SOS 12133 HAS SOPS 12133 HAS SOUS 11174 HAS SOUPS 11174 WITH SCORE 11186.133
AT ITER 4989 NEW BEST:: SOT 62159 SOS 12085 HAS SOPS 12085 HAS SOUS 11142 HAS SOUPS 11142 WITH SCORE 11154.085
AT ITER 4999 NEW BEST:: SOT 62159 SOS 12058 HAS SOPS 12058 HAS SOUS 11134 HAS SOUPS 11134 WITH SCORE 11146.058
AT ITER 5016 NEW BEST:: SOT 62155 SOS 12008 HAS SOPS 12008 HAS SOUS 11084 HAS SOUPS 11084 WITH SCORE 11096.008
AT ITER 5086 NEW BEST:: SOT 62151 SOS 12004 HAS SOPS 12004 HAS SOUS 11080 HAS SOUPS 11080 WITH SCORE 11092.004
AT ITER 5153 NEW BEST:: SOT 62147 SOS 12000 HAS SOPS 12000 HAS SOUS 11076 HAS SOUPS 11076 WITH SCORE 11088.0
AT ITER 5229 NEW BEST:: SOT 62142 SOS 11985 HAS SOPS 11985 HAS SOUS 11061 HAS SOUPS 11061 WITH SCORE 11072.985
AT ITER 5269 NEW BEST:: SOT 62138 SOS 11977 HAS SOPS 11977 HAS SOUS 11057 HAS SOUPS 11057 WITH SCORE 11068.977
AT ITER 5280 NEW BEST:: SOT 62138 SOS 11968 HAS SOPS 11968 HAS SOUS 11057 HAS SOUPS 11057 WITH SCORE 11068.968
AT ITER 5296 NEW BEST:: SOT 62157 SOS 11890 HAS SOPS 11890 HAS SOUS 11019 HAS SOUPS 11019 WITH SCORE 11030.89
AT ITER 5301 NEW BEST:: SOT 62157 SOS 11889 HAS SOPS 11889 HAS SOUS 11019 HAS SOUPS 11019 WITH SCORE 11030.889
AT ITER 5339 NEW BEST:: SOT 62157 SOS 11875 HAS SOPS 11875 HAS SOUS 11007 HAS SOUPS 11007 WITH SCORE 11018.875
AT ITER 5376 NEW BEST:: SOT 62156 SOS 11860 HAS SOPS 11860 HAS SOUS 10996 HAS SOUPS 10996 WITH SCORE 11007.86
AT ITER 5411 NEW BEST:: SOT 62146 SOS 11850 HAS SOPS 11850 HAS SOUS 10986 HAS SOUPS 10986 WITH SCORE 10997.85
AT ITER 5487 NEW BEST:: SOT 62128 SOS 11856 HAS SOPS 11856 HAS SOUS 10968 HAS SOUPS 10968 WITH SCORE 10979.856
AT ITER 5489 NEW BEST:: SOT 62105 SOS 11875 HAS SOPS 11875 HAS SOUS 10961 HAS SOUPS 10961 WITH SCORE 10972.875
AT ITER 5492 NEW BEST:: SOT 62105 SOS 11867 HAS SOPS 11867 HAS SOUS 10961 HAS SOUPS 10961 WITH SCORE 10972.867
AT ITER 5503 NEW BEST:: SOT 62105 SOS 11865 HAS SOPS 11865 HAS SOUS 10959 HAS SOUPS 10959 WITH SCORE 10970.865
AT ITER 5509 NEW BEST:: SOT 62105 SOS 11858 HAS SOPS 11858 HAS SOUS 10952 HAS SOUPS 10952 WITH SCORE 10963.858
AT ITER 5544 NEW BEST:: SOT 62105 SOS 11845 HAS SOPS 11845 HAS SOUS 10939 HAS SOUPS 10939 WITH SCORE 10950.845
AT ITER 5546 NEW BEST:: SOT 62101 SOS 11837 HAS SOPS 11837 HAS SOUS 10938 HAS SOUPS 10938 WITH SCORE 10949.837
AT ITER 5555 NEW BEST:: SOT 62093 SOS 11821 HAS SOPS 11821 HAS SOUS 10930 HAS SOUPS 10930 WITH SCORE 10941.821
AT ITER 5575 NEW BEST:: SOT 62079 SOS 11793 HAS SOPS 11793 HAS SOUS 10902 HAS SOUPS 10902 WITH SCORE 10913.793
AT ITER 5607 NEW BEST:: SOT 62079 SOS 11777 HAS SOPS 11777 HAS SOUS 10886 HAS SOUPS 10886 WITH SCORE 10897.777
AT ITER 5622 NEW BEST:: SOT 62079 SOS 11771 HAS SOPS 11771 HAS SOUS 10880 HAS SOUPS 10880 WITH SCORE 10891.771
AT ITER 5626 NEW BEST:: SOT 62073 SOS 11765 HAS SOPS 11765 HAS SOUS 10874 HAS SOUPS 10874 WITH SCORE 10885.765
AT ITER 5637 NEW BEST:: SOT 62072 SOS 11764 HAS SOPS 11764 HAS SOUS 10873 HAS SOUPS 10873 WITH SCORE 10884.764
AT ITER 5700 NEW BEST:: SOT 62076 SOS 11770 HAS SOPS 11770 HAS SOUS 10872 HAS SOUPS 10872 WITH SCORE 10883.77
AT ITER 5703 NEW BEST:: SOT 62089 SOS 11780 HAS SOPS 11780 HAS SOUS 10869 HAS SOUPS 10869 WITH SCORE 10880.78
AT ITER 5712 NEW BEST:: SOT 62092 SOS 11771 HAS SOPS 11771 HAS SOUS 10860 HAS SOUPS 10860 WITH SCORE 10871.771
AT ITER 5745 NEW BEST:: SOT 62091 SOS 11769 HAS SOPS 11769 HAS SOUS 10858 HAS SOUPS 10858 WITH SCORE 10869.769
AT ITER 5769 NEW BEST:: SOT 62089 SOS 11769 HAS SOPS 11769 HAS SOUS 10856 HAS SOUPS 10856 WITH SCORE 10867.769
AT ITER 5806 NEW BEST:: SOT 62089 SOS 11755 HAS SOPS 11755 HAS SOUS 10850 HAS SOUPS 10850 WITH SCORE 10861.755
AT ITER 5858 NEW BEST:: SOT 62061 SOS 11699 HAS SOPS 11699 HAS SOUS 10822 HAS SOUPS 10822 WITH SCORE 10833.699
AT ITER 5864 NEW BEST:: SOT 62062 SOS 11696 HAS SOPS 11696 HAS SOUS 10820 HAS SOUPS 10820 WITH SCORE 10831.696
AT ITER 5931 NEW BEST:: SOT 62059 SOS 11696 HAS SOPS 11696 HAS SOUS 10817 HAS SOUPS 10817 WITH SCORE 10828.696
AT ITER 5991 NEW BEST:: SOT 62059 SOS 11692 HAS SOPS 11692 HAS SOUS 10813 HAS SOUPS 10813 WITH SCORE 10824.692
AT ITER 6041 NEW BEST:: SOT 62059 SOS 11683 HAS SOPS 11683 HAS SOUS 10807 HAS SOUPS 10807 WITH SCORE 10818.683
AT ITER 6047 NEW BEST:: SOT 62059 SOS 11682 HAS SOPS 11682 HAS SOUS 10806 HAS SOUPS 10806 WITH SCORE 10817.682
AT ITER 6091 NEW BEST:: SOT 62051 SOS 11656 HAS SOPS 11656 HAS SOUS 10782 HAS SOUPS 10782 WITH SCORE 10793.656
AT ITER 6227 NEW BEST:: SOT 62051 SOS 11656 HAS SOPS 11656 HAS SOUS 10775 HAS SOUPS 10775 WITH SCORE 10786.656
AT ITER 6370 NEW BEST:: SOT 62053 SOS 11656 HAS SOPS 11656 HAS SOUS 10773 HAS SOUPS 10773 WITH SCORE 10784.656
AT ITER 6417 NEW BEST:: SOT 62019 SOS 11624 HAS SOPS 11624 HAS SOUS 10754 HAS SOUPS 10754 WITH SCORE 10765.624
AT ITER 6458 NEW BEST:: SOT 61993 SOS 11649 HAS SOPS 11649 HAS SOUS 10744 HAS SOUPS 10744 WITH SCORE 10755.649
AT ITER 6496 NEW BEST:: SOT 62002 SOS 11645 HAS SOPS 11645 HAS SOUS 10740 HAS SOUPS 10740 WITH SCORE 10751.645
AT ITER 6579 NEW BEST:: SOT 61994 SOS 11632 HAS SOPS 11632 HAS SOUS 10732 HAS SOUPS 10732 WITH SCORE 10743.632
AT ITER 6605 NEW BEST:: SOT 61994 SOS 11632 HAS SOPS 11632 HAS SOUS 10728 HAS SOUPS 10728 WITH SCORE 10739.632
AT ITER 6607 NEW BEST:: SOT 62022 SOS 11624 HAS SOPS 11624 HAS SOUS 10720 HAS SOUPS 10720 WITH SCORE 10731.624
AT ITER 6615 NEW BEST:: SOT 62024 SOS 11626 HAS SOPS 11626 HAS SOUS 10718 HAS SOUPS 10718 WITH SCORE 10729.626
AT ITER 6625 NEW BEST:: SOT 62011 SOS 11613 HAS SOPS 11613 HAS SOUS 10705 HAS SOUPS 10705 WITH SCORE 10716.613
AT ITER 6637 NEW BEST:: SOT 61993 SOS 11601 HAS SOPS 11601 HAS SOUS 10693 HAS SOUPS 10693 WITH SCORE 10704.601
AT ITER 6698 NEW BEST:: SOT 61994 SOS 11600 HAS SOPS 11600 HAS SOUS 10692 HAS SOUPS 10692 WITH SCORE 10703.6
AT ITER 6715 NEW BEST:: SOT 61979 SOS 11585 HAS SOPS 11585 HAS SOUS 10677 HAS SOUPS 10677 WITH SCORE 10688.585
AT ITER 6733 NEW BEST:: SOT 61979 SOS 11568 HAS SOPS 11568 HAS SOUS 10660 HAS SOUPS 10660 WITH SCORE 10671.568
AT ITER 6737 NEW BEST:: SOT 61968 SOS 11552 HAS SOPS 11552 HAS SOUS 10644 HAS SOUPS 10644 WITH SCORE 10655.552
AT ITER 6795 NEW BEST:: SOT 61963 SOS 11525 HAS SOPS 11525 HAS SOUS 10632 HAS SOUPS 10632 WITH SCORE 10643.525
AT ITER 6904 NEW BEST:: SOT 61960 SOS 11519 HAS SOPS 11519 HAS SOUS 10626 HAS SOUPS 10626 WITH SCORE 10637.519
AT ITER 6970 NEW BEST:: SOT 61955 SOS 11514 HAS SOPS 11514 HAS SOUS 10621 HAS SOUPS 10621 WITH SCORE 10632.514
AT ITER 6971 NEW BEST:: SOT 61953 SOS 11518 HAS SOPS 11518 HAS SOUS 10619 HAS SOUPS 10619 WITH SCORE 10630.518
AT ITER 6976 NEW BEST:: SOT 61952 SOS 11516 HAS SOPS 11516 HAS SOUS 10617 HAS SOUPS 10617 WITH SCORE 10628.516
AT ITER 7045 NEW BEST:: SOT 61952 SOS 11515 HAS SOPS 11515 HAS SOUS 10616 HAS SOUPS 10616 WITH SCORE 10627.515
AT ITER 7050 NEW BEST:: SOT 61952 SOS 11526 HAS SOPS 11526 HAS SOUS 10595 HAS SOUPS 10595 WITH SCORE 10606.526
AT ITER 7060 NEW BEST:: SOT 61944 SOS 11521 HAS SOPS 11521 HAS SOUS 10593 HAS SOUPS 10593 WITH SCORE 10604.521
AT ITER 7108 NEW BEST:: SOT 61944 SOS 11512 HAS SOPS 11512 HAS SOUS 10584 HAS SOUPS 10584 WITH SCORE 10595.512
AT ITER 7112 NEW BEST:: SOT 61947 SOS 11496 HAS SOPS 11496 HAS SOUS 10568 HAS SOUPS 10568 WITH SCORE 10579.496
AT ITER 7122 NEW BEST:: SOT 61947 SOS 11491 HAS SOPS 11491 HAS SOUS 10563 HAS SOUPS 10563 WITH SCORE 10574.491
AT ITER 7222 NEW BEST:: SOT 61946 SOS 11487 HAS SOPS 11487 HAS SOUS 10559 HAS SOUPS 10559 WITH SCORE 10570.487
AT ITER 7231 NEW BEST:: SOT 61950 SOS 11495 HAS SOPS 11495 HAS SOUS 10553 HAS SOUPS 10553 WITH SCORE 10564.495
AT ITER 7235 NEW BEST:: SOT 61947 SOS 11489 HAS SOPS 11489 HAS SOUS 10547 HAS SOUPS 10547 WITH SCORE 10558.489
AT ITER 7270 NEW BEST:: SOT 61943 SOS 11468 HAS SOPS 11468 HAS SOUS 10524 HAS SOUPS 10524 WITH SCORE 10535.468
AT ITER 7308 NEW BEST:: SOT 61943 SOS 11468 HAS SOPS 11468 HAS SOUS 10510 HAS SOUPS 10510 WITH SCORE 10521.468
AT ITER 7401 NEW BEST:: SOT 61942 SOS 11466 HAS SOPS 11466 HAS SOUS 10508 HAS SOUPS 10508 WITH SCORE 10519.466
AT ITER 7449 NEW BEST:: SOT 61942 SOS 11466 HAS SOPS 11466 HAS SOUS 10504 HAS SOUPS 10504 WITH SCORE 10515.466
AT ITER 7460 NEW BEST:: SOT 61938 SOS 11458 HAS SOPS 11458 HAS SOUS 10494 HAS SOUPS 10494 WITH SCORE 10505.458
AT ITER 7504 NEW BEST:: SOT 61938 SOS 11449 HAS SOPS 11449 HAS SOUS 10485 HAS SOUPS 10485 WITH SCORE 10496.449
AT ITER 7581 NEW BEST:: SOT 61938 SOS 11440 HAS SOPS 11440 HAS SOUS 10485 HAS SOUPS 10485 WITH SCORE 10496.44
AT ITER 7601 NEW BEST:: SOT 61937 SOS 11438 HAS SOPS 11438 HAS SOUS 10485 HAS SOUPS 10485 WITH SCORE 10496.438
AT ITER 7623 NEW BEST:: SOT 61937 SOS 11426 HAS SOPS 11426 HAS SOUS 10473 HAS SOUPS 10473 WITH SCORE 10484.426
AT ITER 7647 NEW BEST:: SOT 61942 SOS 11436 HAS SOPS 11436 HAS SOUS 10454 HAS SOUPS 10454 WITH SCORE 10465.436
AT ITER 7661 NEW BEST:: SOT 61940 SOS 11432 HAS SOPS 11432 HAS SOUS 10451 HAS SOUPS 10451 WITH SCORE 10462.432
AT ITER 7701 NEW BEST:: SOT 61928 SOS 11400 HAS SOPS 11400 HAS SOUS 10417 HAS SOUPS 10417 WITH SCORE 10428.4
AT ITER 7760 NEW BEST:: SOT 61922 SOS 11388 HAS SOPS 11388 HAS SOUS 10405 HAS SOUPS 10405 WITH SCORE 10416.388
AT ITER 7834 NEW BEST:: SOT 61929 SOS 11385 HAS SOPS 11385 HAS SOUS 10402 HAS SOUPS 10402 WITH SCORE 10413.385
AT ITER 7871 NEW BEST:: SOT 61916 SOS 11359 HAS SOPS 11359 HAS SOUS 10379 HAS SOUPS 10379 WITH SCORE 10390.359
AT ITER 7927 NEW BEST:: SOT 61916 SOS 11329 HAS SOPS 11329 HAS SOUS 10379 HAS SOUPS 10379 WITH SCORE 10390.329
AT ITER 8014 NEW BEST:: SOT 61925 SOS 11317 HAS SOPS 11317 HAS SOUS 10367 HAS SOUPS 10367 WITH SCORE 10378.317
AT ITER 8046 NEW BEST:: SOT 61933 SOS 11288 HAS SOPS 11288 HAS SOUS 10362 HAS SOUPS 10362 WITH SCORE 10373.288
AT ITER 8085 NEW BEST:: SOT 61931 SOS 11284 HAS SOPS 11284 HAS SOUS 10358 HAS SOUPS 10358 WITH SCORE 10369.284
AT ITER 8144 NEW BEST:: SOT 61925 SOS 11286 HAS SOPS 11286 HAS SOUS 10356 HAS SOUPS 10356 WITH SCORE 10367.286
AT ITER 8202 NEW BEST:: SOT 61928 SOS 11278 HAS SOPS 11278 HAS SOUS 10348 HAS SOUPS 10348 WITH SCORE 10359.278
AT ITER 8213 NEW BEST:: SOT 61914 SOS 11249 HAS SOPS 11249 HAS SOUS 10319 HAS SOUPS 10319 WITH SCORE 10330.249
AT ITER 8257 NEW BEST:: SOT 61914 SOS 11230 HAS SOPS 11230 HAS SOUS 10319 HAS SOUPS 10319 WITH SCORE 10330.23
AT ITER 8282 NEW BEST:: SOT 61905 SOS 11212 HAS SOPS 11212 HAS SOUS 10310 HAS SOUPS 10310 WITH SCORE 10321.212
AT ITER 8364 NEW BEST:: SOT 61874 SOS 11189 HAS SOPS 11189 HAS SOUS 10287 HAS SOUPS 10287 WITH SCORE 10298.189
AT ITER 8403 NEW BEST:: SOT 61873 SOS 11188 HAS SOPS 11188 HAS SOUS 10286 HAS SOUPS 10286 WITH SCORE 10297.188
AT ITER 8412 NEW BEST:: SOT 61859 SOS 11174 HAS SOPS 11174 HAS SOUS 10272 HAS SOUPS 10272 WITH SCORE 10283.174
AT ITER 8430 NEW BEST:: SOT 61859 SOS 11168 HAS SOPS 11168 HAS SOUS 10266 HAS SOUPS 10266 WITH SCORE 10277.168
AT ITER 8445 NEW BEST:: SOT 61861 SOS 11149 HAS SOPS 11149 HAS SOUS 10265 HAS SOUPS 10265 WITH SCORE 10276.149
AT ITER 8512 NEW BEST:: SOT 61861 SOS 11148 HAS SOPS 11148 HAS SOUS 10264 HAS SOUPS 10264 WITH SCORE 10275.148
AT ITER 8521 NEW BEST:: SOT 61861 SOS 11146 HAS SOPS 11146 HAS SOUS 10262 HAS SOUPS 10262 WITH SCORE 10273.146
AT ITER 8587 NEW BEST:: SOT 61861 SOS 11145 HAS SOPS 11145 HAS SOUS 10261 HAS SOUPS 10261 WITH SCORE 10272.145
AT ITER 8639 NEW BEST:: SOT 61859 SOS 11143 HAS SOPS 11143 HAS SOUS 10259 HAS SOUPS 10259 WITH SCORE 10270.143
AT ITER 8664 NEW BEST:: SOT 61854 SOS 11074 HAS SOPS 11074 HAS SOUS 10253 HAS SOUPS 10253 WITH SCORE 10264.074
AT ITER 8715 NEW BEST:: SOT 61858 SOS 11065 HAS SOPS 11065 HAS SOUS 10246 HAS SOUPS 10246 WITH SCORE 10257.065
AT ITER 8744 NEW BEST:: SOT 61854 SOS 11057 HAS SOPS 11057 HAS SOUS 10238 HAS SOUPS 10238 WITH SCORE 10249.057
AT ITER 8752 NEW BEST:: SOT 61852 SOS 11055 HAS SOPS 11055 HAS SOUS 10236 HAS SOUPS 10236 WITH SCORE 10247.055
AT ITER 8790 NEW BEST:: SOT 61852 SOS 11041 HAS SOPS 11041 HAS SOUS 10222 HAS SOUPS 10222 WITH SCORE 10233.041
AT ITER 8876 NEW BEST:: SOT 61840 SOS 11011 HAS SOPS 11011 HAS SOUS 10198 HAS SOUPS 10198 WITH SCORE 10209.011
AT ITER 8907 NEW BEST:: SOT 61822 SOS 10976 HAS SOPS 10976 HAS SOUS 10163 HAS SOUPS 10163 WITH SCORE 10173.976
AT ITER 8923 NEW BEST:: SOT 61816 SOS 10975 HAS SOPS 10975 HAS SOUS 10162 HAS SOUPS 10162 WITH SCORE 10172.975
AT ITER 8933 NEW BEST:: SOT 61816 SOS 10969 HAS SOPS 10969 HAS SOUS 10156 HAS SOUPS 10156 WITH SCORE 10166.969
AT ITER 8943 NEW BEST:: SOT 61790 SOS 10956 HAS SOPS 10956 HAS SOUS 10143 HAS SOUPS 10143 WITH SCORE 10153.956
AT ITER 8991 NEW BEST:: SOT 61776 SOS 10928 HAS SOPS 10928 HAS SOUS 10115 HAS SOUPS 10115 WITH SCORE 10125.928
AT ITER 9038 NEW BEST:: SOT 61776 SOS 10908 HAS SOPS 10908 HAS SOUS 10115 HAS SOUPS 10115 WITH SCORE 10125.908
AT ITER 9062 NEW BEST:: SOT 61772 SOS 10904 HAS SOPS 10904 HAS SOUS 10111 HAS SOUPS 10111 WITH SCORE 10121.904
AT ITER 9120 NEW BEST:: SOT 61769 SOS 10898 HAS SOPS 10898 HAS SOUS 10106 HAS SOUPS 10106 WITH SCORE 10116.898
AT ITER 9144 NEW BEST:: SOT 61768 SOS 10890 HAS SOPS 10890 HAS SOUS 10098 HAS SOUPS 10098 WITH SCORE 10108.89
AT ITER 9146 NEW BEST:: SOT 61768 SOS 10883 HAS SOPS 10883 HAS SOUS 10091 HAS SOUPS 10091 WITH SCORE 10101.883
AT ITER 9230 NEW BEST:: SOT 61765 SOS 10877 HAS SOPS 10877 HAS SOUS 10085 HAS SOUPS 10085 WITH SCORE 10095.877
AT ITER 9282 NEW BEST:: SOT 61765 SOS 10856 HAS SOPS 10856 HAS SOUS 10078 HAS SOUPS 10078 WITH SCORE 10088.856
AT ITER 9299 NEW BEST:: SOT 61765 SOS 10859 HAS SOPS 10859 HAS SOUS 10073 HAS SOUPS 10073 WITH SCORE 10083.859
AT ITER 9342 NEW BEST:: SOT 61765 SOS 10857 HAS SOPS 10857 HAS SOUS 10073 HAS SOUPS 10073 WITH SCORE 10083.857
AT ITER 9398 NEW BEST:: SOT 61765 SOS 10842 HAS SOPS 10842 HAS SOUS 10058 HAS SOUPS 10058 WITH SCORE 10068.842
AT ITER 9400 NEW BEST:: SOT 61775 SOS 10844 HAS SOPS 10844 HAS SOUS 10050 HAS SOUPS 10050 WITH SCORE 10060.844
AT ITER 9414 NEW BEST:: SOT 61770 SOS 10843 HAS SOPS 10843 HAS SOUS 10045 HAS SOUPS 10045 WITH SCORE 10055.843
AT ITER 9502 NEW BEST:: SOT 61770 SOS 10831 HAS SOPS 10831 HAS SOUS 10039 HAS SOUPS 10039 WITH SCORE 10049.831
AT ITER 9566 NEW BEST:: SOT 61747 SOS 10785 HAS SOPS 10785 HAS SOUS 10023 HAS SOUPS 10023 WITH SCORE 10033.785
AT ITER 9567 NEW BEST:: SOT 61744 SOS 10779 HAS SOPS 10779 HAS SOUS 10017 HAS SOUPS 10017 WITH SCORE 10027.779
AT ITER 9568 NEW BEST:: SOT 61743 SOS 10791 HAS SOPS 10791 HAS SOUS 10016 HAS SOUPS 10016 WITH SCORE 10026.791
AT ITER 9615 NEW BEST:: SOT 61739 SOS 10783 HAS SOPS 10783 HAS SOUS 10008 HAS SOUPS 10008 WITH SCORE 10018.783
AT ITER 9698 NEW BEST:: SOT 61738 SOS 10771 HAS SOPS 10771 HAS SOUS 9995 HAS SOUPS 9995 WITH SCORE 10005.771
AT ITER 9699 NEW BEST:: SOT 61735 SOS 10762 HAS SOPS 10762 HAS SOUS 9989 HAS SOUPS 9989 WITH SCORE 9999.762
AT ITER 9729 NEW BEST:: SOT 61731 SOS 10754 HAS SOPS 10754 HAS SOUS 9985 HAS SOUPS 9985 WITH SCORE 9995.754
AT ITER 9740 NEW BEST:: SOT 61738 SOS 10706 HAS SOPS 10706 HAS SOUS 9979 HAS SOUPS 9979 WITH SCORE 9989.706
AT ITER 9798 NEW BEST:: SOT 61710 SOS 10669 HAS SOPS 10669 HAS SOUS 9970 HAS SOUPS 9970 WITH SCORE 9980.669
AT ITER 9803 NEW BEST:: SOT 61714 SOS 10677 HAS SOPS 10677 HAS SOUS 9966 HAS SOUPS 9966 WITH SCORE 9976.677
AT ITER 9822 NEW BEST:: SOT 61700 SOS 10659 HAS SOPS 10659 HAS SOUS 9948 HAS SOUPS 9948 WITH SCORE 9958.659
AT ITER 9831 NEW BEST:: SOT 61682 SOS 10623 HAS SOPS 10623 HAS SOUS 9911 HAS SOUPS 9911 WITH SCORE 9921.623
AT ITER 9837 NEW BEST:: SOT 61680 SOS 10609 HAS SOPS 10609 HAS SOUS 9897 HAS SOUPS 9897 WITH SCORE 9907.609
AT ITER 9892 NEW BEST:: SOT 61678 SOS 10606 HAS SOPS 10606 HAS SOUS 9894 HAS SOUPS 9894 WITH SCORE 9904.606
AT ITER 9913 NEW BEST:: SOT 61677 SOS 10598 HAS SOPS 10598 HAS SOUS 9890 HAS SOUPS 9890 WITH SCORE 9900.598
AT ITER 9915 NEW BEST:: SOT 61698 SOS 10674 HAS SOPS 10674 HAS SOUS 9877 HAS SOUPS 9877 WITH SCORE 9887.674
AT ITER 9916 NEW BEST:: SOT 61690 SOS 10642 HAS SOPS 10642 HAS SOUS 9861 HAS SOUPS 9861 WITH SCORE 9871.642
AT ITER 9950 NEW BEST:: SOT 61685 SOS 10634 HAS SOPS 10634 HAS SOUS 9856 HAS SOUPS 9856 WITH SCORE 9866.634
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 8988468 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16122128 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldIIPt-PT-005B"
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 ShieldIIPt-PT-005B, 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 r395-oct2-167903718500256"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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