Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r043-tajo-167813696900480.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is BusinessProcesses-PT-04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r043-tajo-167813696900480
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 556K
-rw-r--r-- 1 mcc users 6.6K Feb 25 16:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 74K Feb 25 16:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 25 16:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 25 16:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:38 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 15:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 16:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 134K Feb 25 16:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.9K Feb 25 16:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 78K Feb 25 16:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:38 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:38 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 79K 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 1678790018368

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=BusinessProcesses-PT-04
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 10:33:39] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 10:33:39] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 10:33:40] [INFO ] Load time of PNML (sax parser for PT used): 51 ms
[2023-03-14 10:33:40] [INFO ] Transformed 288 places.
[2023-03-14 10:33:40] [INFO ] Transformed 283 transitions.
[2023-03-14 10:33:40] [INFO ] Found NUPN structural information;
[2023-03-14 10:33:40] [INFO ] Parsed PT model containing 288 places and 283 transitions and 916 arcs in 118 ms.
[2023-03-14 10:33:40] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 288 places, 283 transitions and 916 arcs took 6 ms.
Total runtime 153 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 04
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: 288 places, 283 transitions, 916 arcs.
AT ITER 0 NEW BEST:: SOT 54232 SOS 22226 HAS SOPS 22226 HAS SOUS 20115 HAS SOUPS 20115 WITH SCORE 20137.226
AT ITER 3 NEW BEST:: SOT 54171 SOS 22166 HAS SOPS 22166 HAS SOUS 20051 HAS SOUPS 20051 WITH SCORE 20073.166
AT ITER 5 NEW BEST:: SOT 54109 SOS 22122 HAS SOPS 22122 HAS SOUS 20051 HAS SOUPS 20051 WITH SCORE 20073.122
AT ITER 6 NEW BEST:: SOT 54109 SOS 22002 HAS SOPS 22002 HAS SOUS 19988 HAS SOUPS 19988 WITH SCORE 20010.002
AT ITER 11 NEW BEST:: SOT 53963 SOS 21861 HAS SOPS 21861 HAS SOUS 19847 HAS SOUPS 19847 WITH SCORE 19868.861
AT ITER 15 NEW BEST:: SOT 53963 SOS 21841 HAS SOPS 21841 HAS SOUS 19827 HAS SOUPS 19827 WITH SCORE 19848.841
AT ITER 17 NEW BEST:: SOT 53019 SOS 22210 HAS SOPS 22210 HAS SOUS 19161 HAS SOUPS 19161 WITH SCORE 19183.21
AT ITER 19 NEW BEST:: SOT 52985 SOS 22180 HAS SOPS 22180 HAS SOUS 19131 HAS SOUPS 19131 WITH SCORE 19153.18
AT ITER 25 NEW BEST:: SOT 52190 SOS 21385 HAS SOPS 21385 HAS SOUS 18336 HAS SOUPS 18336 WITH SCORE 18357.385
AT ITER 27 NEW BEST:: SOT 50703 SOS 20428 HAS SOPS 20428 HAS SOUS 16929 HAS SOUPS 16929 WITH SCORE 16949.428
AT ITER 40 NEW BEST:: SOT 50676 SOS 20442 HAS SOPS 20442 HAS SOUS 16923 HAS SOUPS 16923 WITH SCORE 16943.442
AT ITER 43 NEW BEST:: SOT 50663 SOS 20411 HAS SOPS 20411 HAS SOUS 16919 HAS SOUPS 16919 WITH SCORE 16939.411
AT ITER 49 NEW BEST:: SOT 50663 SOS 20400 HAS SOPS 20400 HAS SOUS 16908 HAS SOUPS 16908 WITH SCORE 16928.4
AT ITER 51 NEW BEST:: SOT 50662 SOS 20332 HAS SOPS 20332 HAS SOUS 16840 HAS SOUPS 16840 WITH SCORE 16860.332
AT ITER 64 NEW BEST:: SOT 50644 SOS 20296 HAS SOPS 20296 HAS SOUS 16804 HAS SOUPS 16804 WITH SCORE 16824.296
AT ITER 74 NEW BEST:: SOT 50179 SOS 26163 HAS SOPS 26163 HAS SOUS 16762 HAS SOUPS 16762 WITH SCORE 16788.163
AT ITER 78 NEW BEST:: SOT 50132 SOS 26097 HAS SOPS 26097 HAS SOUS 16715 HAS SOUPS 16715 WITH SCORE 16741.097
AT ITER 79 NEW BEST:: SOT 50078 SOS 25987 HAS SOPS 25987 HAS SOUS 16671 HAS SOUPS 16671 WITH SCORE 16696.987
AT ITER 81 NEW BEST:: SOT 49887 SOS 25604 HAS SOPS 25604 HAS SOUS 16523 HAS SOUPS 16523 WITH SCORE 16548.604
AT ITER 96 NEW BEST:: SOT 49861 SOS 25578 HAS SOPS 25578 HAS SOUS 16497 HAS SOUPS 16497 WITH SCORE 16522.578
AT ITER 117 NEW BEST:: SOT 49824 SOS 25541 HAS SOPS 25541 HAS SOUS 16460 HAS SOUPS 16460 WITH SCORE 16485.541
AT ITER 138 NEW BEST:: SOT 49824 SOS 25457 HAS SOPS 25457 HAS SOUS 16376 HAS SOUPS 16376 WITH SCORE 16401.457
AT ITER 143 NEW BEST:: SOT 49836 SOS 25448 HAS SOPS 25448 HAS SOUS 16367 HAS SOUPS 16367 WITH SCORE 16392.448
AT ITER 146 NEW BEST:: SOT 49836 SOS 25448 HAS SOPS 25448 HAS SOUS 16343 HAS SOUPS 16343 WITH SCORE 16368.448
AT ITER 156 NEW BEST:: SOT 49828 SOS 25440 HAS SOPS 25440 HAS SOUS 16343 HAS SOUPS 16343 WITH SCORE 16368.44
AT ITER 160 NEW BEST:: SOT 49827 SOS 25438 HAS SOPS 25438 HAS SOUS 16341 HAS SOUPS 16341 WITH SCORE 16366.438
AT ITER 161 NEW BEST:: SOT 49827 SOS 25438 HAS SOPS 25438 HAS SOUS 16340 HAS SOUPS 16340 WITH SCORE 16365.438
AT ITER 162 NEW BEST:: SOT 49827 SOS 25398 HAS SOPS 25398 HAS SOUS 16260 HAS SOUPS 16260 WITH SCORE 16285.398
AT ITER 163 NEW BEST:: SOT 49757 SOS 25319 HAS SOPS 25319 HAS SOUS 16242 HAS SOUPS 16242 WITH SCORE 16267.319
AT ITER 167 NEW BEST:: SOT 49575 SOS 25112 HAS SOPS 25112 HAS SOUS 16211 HAS SOUPS 16211 WITH SCORE 16236.112
AT ITER 173 NEW BEST:: SOT 49544 SOS 24988 HAS SOPS 24988 HAS SOUS 16118 HAS SOUPS 16118 WITH SCORE 16142.988
AT ITER 175 NEW BEST:: SOT 49529 SOS 24983 HAS SOPS 24983 HAS SOUS 16113 HAS SOUPS 16113 WITH SCORE 16137.983
AT ITER 178 NEW BEST:: SOT 49531 SOS 24950 HAS SOPS 24950 HAS SOUS 16080 HAS SOUPS 16080 WITH SCORE 16104.95
AT ITER 193 NEW BEST:: SOT 49530 SOS 24948 HAS SOPS 24948 HAS SOUS 16078 HAS SOUPS 16078 WITH SCORE 16102.948
AT ITER 200 NEW BEST:: SOT 49505 SOS 24875 HAS SOPS 24875 HAS SOUS 16033 HAS SOUPS 16033 WITH SCORE 16057.875
AT ITER 209 NEW BEST:: SOT 49447 SOS 24759 HAS SOPS 24759 HAS SOUS 15917 HAS SOUPS 15917 WITH SCORE 15941.759
AT ITER 216 NEW BEST:: SOT 49438 SOS 24718 HAS SOPS 24718 HAS SOUS 15876 HAS SOUPS 15876 WITH SCORE 15900.718
AT ITER 220 NEW BEST:: SOT 49441 SOS 24715 HAS SOPS 24715 HAS SOUS 15875 HAS SOUPS 15875 WITH SCORE 15899.715
AT ITER 223 NEW BEST:: SOT 48961 SOS 24235 HAS SOPS 24235 HAS SOUS 15426 HAS SOUPS 15426 WITH SCORE 15450.235
AT ITER 224 NEW BEST:: SOT 48893 SOS 24252 HAS SOPS 24252 HAS SOUS 15339 HAS SOUPS 15339 WITH SCORE 15363.252
AT ITER 225 NEW BEST:: SOT 48803 SOS 24081 HAS SOPS 24081 HAS SOUS 15168 HAS SOUPS 15168 WITH SCORE 15192.081
AT ITER 228 NEW BEST:: SOT 48803 SOS 24047 HAS SOPS 24047 HAS SOUS 15134 HAS SOUPS 15134 WITH SCORE 15158.047
AT ITER 256 NEW BEST:: SOT 48803 SOS 24033 HAS SOPS 24033 HAS SOUS 15134 HAS SOUPS 15134 WITH SCORE 15158.033
AT ITER 259 NEW BEST:: SOT 48752 SOS 23950 HAS SOPS 23950 HAS SOUS 15068 HAS SOUPS 15068 WITH SCORE 15091.95
AT ITER 268 NEW BEST:: SOT 48769 SOS 23833 HAS SOPS 23833 HAS SOUS 14998 HAS SOUPS 14998 WITH SCORE 15021.833
AT ITER 271 NEW BEST:: SOT 48768 SOS 23832 HAS SOPS 23832 HAS SOUS 14998 HAS SOUPS 14998 WITH SCORE 15021.832
AT ITER 280 NEW BEST:: SOT 48740 SOS 23803 HAS SOPS 23803 HAS SOUS 14997 HAS SOUPS 14997 WITH SCORE 15020.803
AT ITER 287 NEW BEST:: SOT 48754 SOS 23705 HAS SOPS 23705 HAS SOUS 14928 HAS SOUPS 14928 WITH SCORE 14951.705
AT ITER 313 NEW BEST:: SOT 48746 SOS 23697 HAS SOPS 23697 HAS SOUS 14920 HAS SOUPS 14920 WITH SCORE 14943.697
AT ITER 332 NEW BEST:: SOT 48746 SOS 23680 HAS SOPS 23680 HAS SOUS 14913 HAS SOUPS 14913 WITH SCORE 14936.68
AT ITER 350 NEW BEST:: SOT 48678 SOS 23545 HAS SOPS 23545 HAS SOUS 14778 HAS SOUPS 14778 WITH SCORE 14801.545
AT ITER 355 NEW BEST:: SOT 48412 SOS 23320 HAS SOPS 23320 HAS SOUS 14553 HAS SOUPS 14553 WITH SCORE 14576.32
AT ITER 357 NEW BEST:: SOT 48403 SOS 23311 HAS SOPS 23311 HAS SOUS 14553 HAS SOUPS 14553 WITH SCORE 14576.311
AT ITER 365 NEW BEST:: SOT 48407 SOS 23308 HAS SOPS 23308 HAS SOUS 14550 HAS SOUPS 14550 WITH SCORE 14573.308
AT ITER 368 NEW BEST:: SOT 48398 SOS 23297 HAS SOPS 23297 HAS SOUS 14539 HAS SOUPS 14539 WITH SCORE 14562.297
AT ITER 419 NEW BEST:: SOT 48384 SOS 23283 HAS SOPS 23283 HAS SOUS 14539 HAS SOUPS 14539 WITH SCORE 14562.283
AT ITER 422 NEW BEST:: SOT 48299 SOS 23181 HAS SOPS 23181 HAS SOUS 14500 HAS SOUPS 14500 WITH SCORE 14523.181
AT ITER 439 NEW BEST:: SOT 48292 SOS 23162 HAS SOPS 23162 HAS SOUS 14470 HAS SOUPS 14470 WITH SCORE 14493.162
AT ITER 450 NEW BEST:: SOT 48291 SOS 23161 HAS SOPS 23161 HAS SOUS 14470 HAS SOUPS 14470 WITH SCORE 14493.161
AT ITER 457 NEW BEST:: SOT 48260 SOS 23130 HAS SOPS 23130 HAS SOUS 14439 HAS SOUPS 14439 WITH SCORE 14462.13
AT ITER 460 NEW BEST:: SOT 48256 SOS 23126 HAS SOPS 23126 HAS SOUS 14430 HAS SOUPS 14430 WITH SCORE 14453.126
AT ITER 463 NEW BEST:: SOT 48278 SOS 23113 HAS SOPS 23113 HAS SOUS 14418 HAS SOUPS 14418 WITH SCORE 14441.113
AT ITER 464 NEW BEST:: SOT 48263 SOS 23163 HAS SOPS 23163 HAS SOUS 14412 HAS SOUPS 14412 WITH SCORE 14435.163
AT ITER 472 NEW BEST:: SOT 48263 SOS 23163 HAS SOPS 23163 HAS SOUS 14390 HAS SOUPS 14390 WITH SCORE 14413.163
AT ITER 487 NEW BEST:: SOT 48357 SOS 23128 HAS SOPS 23128 HAS SOUS 14266 HAS SOUPS 14266 WITH SCORE 14289.128
AT ITER 489 NEW BEST:: SOT 48364 SOS 23117 HAS SOPS 23117 HAS SOUS 14255 HAS SOUPS 14255 WITH SCORE 14278.117
AT ITER 501 NEW BEST:: SOT 48389 SOS 22055 HAS SOPS 22055 HAS SOUS 14245 HAS SOUPS 14245 WITH SCORE 14267.055
AT ITER 503 NEW BEST:: SOT 48385 SOS 22111 HAS SOPS 22111 HAS SOUS 14241 HAS SOUPS 14241 WITH SCORE 14263.111
AT ITER 509 NEW BEST:: SOT 48370 SOS 22054 HAS SOPS 22054 HAS SOUS 14211 HAS SOUPS 14211 WITH SCORE 14233.054
AT ITER 510 NEW BEST:: SOT 48370 SOS 22054 HAS SOPS 22054 HAS SOUS 14209 HAS SOUPS 14209 WITH SCORE 14231.054
AT ITER 512 NEW BEST:: SOT 48375 SOS 22036 HAS SOPS 22036 HAS SOUS 14191 HAS SOUPS 14191 WITH SCORE 14213.036
AT ITER 527 NEW BEST:: SOT 48375 SOS 21464 HAS SOPS 21464 HAS SOUS 14177 HAS SOUPS 14177 WITH SCORE 14198.464
AT ITER 528 NEW BEST:: SOT 48354 SOS 21429 HAS SOPS 21429 HAS SOUS 14142 HAS SOUPS 14142 WITH SCORE 14163.429
AT ITER 574 NEW BEST:: SOT 48354 SOS 21394 HAS SOPS 21394 HAS SOUS 14142 HAS SOUPS 14142 WITH SCORE 14163.394
AT ITER 596 NEW BEST:: SOT 48338 SOS 21366 HAS SOPS 21366 HAS SOUS 14114 HAS SOUPS 14114 WITH SCORE 14135.366
AT ITER 614 NEW BEST:: SOT 48334 SOS 21362 HAS SOPS 21362 HAS SOUS 14110 HAS SOUPS 14110 WITH SCORE 14131.362
AT ITER 617 NEW BEST:: SOT 48327 SOS 21360 HAS SOPS 21360 HAS SOUS 14108 HAS SOUPS 14108 WITH SCORE 14129.36
AT ITER 618 NEW BEST:: SOT 48315 SOS 21336 HAS SOPS 21336 HAS SOUS 14104 HAS SOUPS 14104 WITH SCORE 14125.336
AT ITER 627 NEW BEST:: SOT 48316 SOS 21337 HAS SOPS 21337 HAS SOUS 14103 HAS SOUPS 14103 WITH SCORE 14124.337
AT ITER 628 NEW BEST:: SOT 48307 SOS 21319 HAS SOPS 21319 HAS SOUS 14088 HAS SOUPS 14088 WITH SCORE 14109.319
AT ITER 632 NEW BEST:: SOT 48334 SOS 21298 HAS SOPS 21298 HAS SOUS 14067 HAS SOUPS 14067 WITH SCORE 14088.298
AT ITER 635 NEW BEST:: SOT 48308 SOS 21694 HAS SOPS 21694 HAS SOUS 14055 HAS SOUPS 14055 WITH SCORE 14076.694
AT ITER 640 NEW BEST:: SOT 48299 SOS 21676 HAS SOPS 21676 HAS SOUS 14054 HAS SOUPS 14054 WITH SCORE 14075.676
AT ITER 673 NEW BEST:: SOT 48285 SOS 21659 HAS SOPS 21659 HAS SOUS 14037 HAS SOUPS 14037 WITH SCORE 14058.659
AT ITER 678 NEW BEST:: SOT 48285 SOS 21657 HAS SOPS 21657 HAS SOUS 14037 HAS SOUPS 14037 WITH SCORE 14058.657
AT ITER 696 NEW BEST:: SOT 48283 SOS 21653 HAS SOPS 21653 HAS SOUS 14033 HAS SOUPS 14033 WITH SCORE 14054.653
AT ITER 697 NEW BEST:: SOT 48249 SOS 21560 HAS SOPS 21560 HAS SOUS 13940 HAS SOUPS 13940 WITH SCORE 13961.56
AT ITER 699 NEW BEST:: SOT 48249 SOS 21555 HAS SOPS 21555 HAS SOUS 13935 HAS SOUPS 13935 WITH SCORE 13956.555
AT ITER 722 NEW BEST:: SOT 48247 SOS 21553 HAS SOPS 21553 HAS SOUS 13935 HAS SOUPS 13935 WITH SCORE 13956.553
AT ITER 726 NEW BEST:: SOT 48247 SOS 21503 HAS SOPS 21503 HAS SOUS 13922 HAS SOUPS 13922 WITH SCORE 13943.503
AT ITER 738 NEW BEST:: SOT 48238 SOS 21485 HAS SOPS 21485 HAS SOUS 13913 HAS SOUPS 13913 WITH SCORE 13934.485
AT ITER 742 NEW BEST:: SOT 48229 SOS 21475 HAS SOPS 21475 HAS SOUS 13903 HAS SOUPS 13903 WITH SCORE 13924.475
AT ITER 754 NEW BEST:: SOT 48226 SOS 21470 HAS SOPS 21470 HAS SOUS 13898 HAS SOUPS 13898 WITH SCORE 13919.47
AT ITER 755 NEW BEST:: SOT 48235 SOS 21380 HAS SOPS 21380 HAS SOUS 13889 HAS SOUPS 13889 WITH SCORE 13910.38
AT ITER 759 NEW BEST:: SOT 48243 SOS 21373 HAS SOPS 21373 HAS SOUS 13883 HAS SOUPS 13883 WITH SCORE 13904.373
AT ITER 767 NEW BEST:: SOT 48243 SOS 21370 HAS SOPS 21370 HAS SOUS 13883 HAS SOUPS 13883 WITH SCORE 13904.37
AT ITER 772 NEW BEST:: SOT 48241 SOS 21368 HAS SOPS 21368 HAS SOUS 13881 HAS SOUPS 13881 WITH SCORE 13902.368
AT ITER 773 NEW BEST:: SOT 48166 SOS 21246 HAS SOPS 21246 HAS SOUS 13812 HAS SOUPS 13812 WITH SCORE 13833.246
AT ITER 781 NEW BEST:: SOT 48116 SOS 21146 HAS SOPS 21146 HAS SOUS 13713 HAS SOUPS 13713 WITH SCORE 13734.146
AT ITER 797 NEW BEST:: SOT 48108 SOS 21130 HAS SOPS 21130 HAS SOUS 13697 HAS SOUPS 13697 WITH SCORE 13718.13
AT ITER 810 NEW BEST:: SOT 48080 SOS 21093 HAS SOPS 21093 HAS SOUS 13677 HAS SOUPS 13677 WITH SCORE 13698.093
AT ITER 816 NEW BEST:: SOT 48068 SOS 21078 HAS SOPS 21078 HAS SOUS 13662 HAS SOUPS 13662 WITH SCORE 13683.078
AT ITER 818 NEW BEST:: SOT 47992 SOS 21012 HAS SOPS 21012 HAS SOUS 13594 HAS SOUPS 13594 WITH SCORE 13615.012
AT ITER 841 NEW BEST:: SOT 47988 SOS 21004 HAS SOPS 21004 HAS SOUS 13586 HAS SOUPS 13586 WITH SCORE 13607.004
AT ITER 859 NEW BEST:: SOT 47974 SOS 20981 HAS SOPS 20981 HAS SOUS 13563 HAS SOUPS 13563 WITH SCORE 13583.981
AT ITER 874 NEW BEST:: SOT 47984 SOS 20991 HAS SOPS 20991 HAS SOUS 13557 HAS SOUPS 13557 WITH SCORE 13577.991
AT ITER 885 NEW BEST:: SOT 47976 SOS 20975 HAS SOPS 20975 HAS SOUS 13541 HAS SOUPS 13541 WITH SCORE 13561.975
AT ITER 890 NEW BEST:: SOT 47975 SOS 20973 HAS SOPS 20973 HAS SOUS 13523 HAS SOUPS 13523 WITH SCORE 13543.973
AT ITER 895 NEW BEST:: SOT 47973 SOS 20967 HAS SOPS 20967 HAS SOUS 13517 HAS SOUPS 13517 WITH SCORE 13537.967
AT ITER 896 NEW BEST:: SOT 47973 SOS 20967 HAS SOPS 20967 HAS SOUS 13516 HAS SOUPS 13516 WITH SCORE 13536.967
AT ITER 914 NEW BEST:: SOT 47973 SOS 20948 HAS SOPS 20948 HAS SOUS 13475 HAS SOUPS 13475 WITH SCORE 13495.948
AT ITER 919 NEW BEST:: SOT 47887 SOS 20776 HAS SOPS 20776 HAS SOUS 13217 HAS SOUPS 13217 WITH SCORE 13237.776
AT ITER 941 NEW BEST:: SOT 47873 SOS 20721 HAS SOPS 20721 HAS SOUS 13162 HAS SOUPS 13162 WITH SCORE 13182.721
AT ITER 948 NEW BEST:: SOT 47873 SOS 20721 HAS SOPS 20721 HAS SOUS 13146 HAS SOUPS 13146 WITH SCORE 13166.721
AT ITER 964 NEW BEST:: SOT 47857 SOS 20689 HAS SOPS 20689 HAS SOUS 13143 HAS SOUPS 13143 WITH SCORE 13163.689
AT ITER 980 NEW BEST:: SOT 47837 SOS 20669 HAS SOPS 20669 HAS SOUS 13143 HAS SOUPS 13143 WITH SCORE 13163.669
AT ITER 986 NEW BEST:: SOT 47822 SOS 20639 HAS SOPS 20639 HAS SOUS 13103 HAS SOUPS 13103 WITH SCORE 13123.639
AT ITER 1005 NEW BEST:: SOT 47768 SOS 20573 HAS SOPS 20573 HAS SOUS 13079 HAS SOUPS 13079 WITH SCORE 13099.573
AT ITER 1008 NEW BEST:: SOT 47768 SOS 20562 HAS SOPS 20562 HAS SOUS 13079 HAS SOUPS 13079 WITH SCORE 13099.562
AT ITER 1009 NEW BEST:: SOT 47767 SOS 20560 HAS SOPS 20560 HAS SOUS 13077 HAS SOUPS 13077 WITH SCORE 13097.56
AT ITER 1017 NEW BEST:: SOT 47808 SOS 20577 HAS SOPS 20577 HAS SOUS 13004 HAS SOUPS 13004 WITH SCORE 13024.577
AT ITER 1042 NEW BEST:: SOT 47791 SOS 20623 HAS SOPS 20623 HAS SOUS 12990 HAS SOUPS 12990 WITH SCORE 13010.623
AT ITER 1059 NEW BEST:: SOT 47738 SOS 20511 HAS SOPS 20511 HAS SOUS 12878 HAS SOUPS 12878 WITH SCORE 12898.511
AT ITER 1088 NEW BEST:: SOT 47676 SOS 20356 HAS SOPS 20356 HAS SOUS 12785 HAS SOUPS 12785 WITH SCORE 12805.356
AT ITER 1100 NEW BEST:: SOT 47673 SOS 20606 HAS SOPS 20606 HAS SOUS 12782 HAS SOUPS 12782 WITH SCORE 12802.606
AT ITER 1109 NEW BEST:: SOT 47596 SOS 20529 HAS SOPS 20529 HAS SOUS 12782 HAS SOUPS 12782 WITH SCORE 12802.529
AT ITER 1113 NEW BEST:: SOT 47572 SOS 20493 HAS SOPS 20493 HAS SOUS 12758 HAS SOUPS 12758 WITH SCORE 12778.493
AT ITER 1141 NEW BEST:: SOT 47572 SOS 20488 HAS SOPS 20488 HAS SOUS 12753 HAS SOUPS 12753 WITH SCORE 12773.488
AT ITER 1168 NEW BEST:: SOT 47579 SOS 20495 HAS SOPS 20495 HAS SOUS 12729 HAS SOUPS 12729 WITH SCORE 12749.495
AT ITER 1178 NEW BEST:: SOT 47523 SOS 20372 HAS SOPS 20372 HAS SOUS 12670 HAS SOUPS 12670 WITH SCORE 12690.372
AT ITER 1180 NEW BEST:: SOT 47511 SOS 20360 HAS SOPS 20360 HAS SOUS 12658 HAS SOUPS 12658 WITH SCORE 12678.36
AT ITER 1200 NEW BEST:: SOT 47528 SOS 20372 HAS SOPS 20372 HAS SOUS 12629 HAS SOUPS 12629 WITH SCORE 12649.372
AT ITER 1220 NEW BEST:: SOT 47565 SOS 20356 HAS SOPS 20356 HAS SOUS 12601 HAS SOUPS 12601 WITH SCORE 12621.356
AT ITER 1225 NEW BEST:: SOT 47563 SOS 20354 HAS SOPS 20354 HAS SOUS 12599 HAS SOUPS 12599 WITH SCORE 12619.354
AT ITER 1227 NEW BEST:: SOT 47507 SOS 20313 HAS SOPS 20313 HAS SOUS 12558 HAS SOUPS 12558 WITH SCORE 12578.313
AT ITER 1262 NEW BEST:: SOT 47533 SOS 20153 HAS SOPS 20153 HAS SOUS 12531 HAS SOUPS 12531 WITH SCORE 12551.153
AT ITER 1281 NEW BEST:: SOT 47533 SOS 20142 HAS SOPS 20142 HAS SOUS 12520 HAS SOUPS 12520 WITH SCORE 12540.142
AT ITER 1293 NEW BEST:: SOT 47420 SOS 19957 HAS SOPS 19957 HAS SOUS 12511 HAS SOUPS 12511 WITH SCORE 12530.957
AT ITER 1295 NEW BEST:: SOT 47384 SOS 19912 HAS SOPS 19912 HAS SOUS 12499 HAS SOUPS 12499 WITH SCORE 12518.912
AT ITER 1314 NEW BEST:: SOT 47381 SOS 19909 HAS SOPS 19909 HAS SOUS 12496 HAS SOUPS 12496 WITH SCORE 12515.909
AT ITER 1325 NEW BEST:: SOT 47370 SOS 19901 HAS SOPS 19901 HAS SOUS 12481 HAS SOUPS 12481 WITH SCORE 12500.901
AT ITER 1334 NEW BEST:: SOT 47370 SOS 19894 HAS SOPS 19894 HAS SOUS 12481 HAS SOUPS 12481 WITH SCORE 12500.894
AT ITER 1336 NEW BEST:: SOT 47354 SOS 19700 HAS SOPS 19700 HAS SOUS 12463 HAS SOUPS 12463 WITH SCORE 12482.7
AT ITER 1349 NEW BEST:: SOT 47308 SOS 19654 HAS SOPS 19654 HAS SOUS 12441 HAS SOUPS 12441 WITH SCORE 12460.654
AT ITER 1365 NEW BEST:: SOT 47308 SOS 19654 HAS SOPS 19654 HAS SOUS 12440 HAS SOUPS 12440 WITH SCORE 12459.654
AT ITER 1376 NEW BEST:: SOT 47276 SOS 19686 HAS SOPS 19686 HAS SOUS 12429 HAS SOUPS 12429 WITH SCORE 12448.686
AT ITER 1386 NEW BEST:: SOT 47261 SOS 19656 HAS SOPS 19656 HAS SOUS 12399 HAS SOUPS 12399 WITH SCORE 12418.656
AT ITER 1421 NEW BEST:: SOT 47232 SOS 19623 HAS SOPS 19623 HAS SOUS 12366 HAS SOUPS 12366 WITH SCORE 12385.623
AT ITER 1426 NEW BEST:: SOT 47227 SOS 19613 HAS SOPS 19613 HAS SOUS 12356 HAS SOUPS 12356 WITH SCORE 12375.613
AT ITER 1442 NEW BEST:: SOT 47208 SOS 19575 HAS SOPS 19575 HAS SOUS 12318 HAS SOUPS 12318 WITH SCORE 12337.575
AT ITER 1449 NEW BEST:: SOT 47199 SOS 19517 HAS SOPS 19517 HAS SOUS 12299 HAS SOUPS 12299 WITH SCORE 12318.517
AT ITER 1459 NEW BEST:: SOT 47133 SOS 19373 HAS SOPS 19373 HAS SOUS 12141 HAS SOUPS 12141 WITH SCORE 12160.373
AT ITER 1477 NEW BEST:: SOT 47080 SOS 19308 HAS SOPS 19308 HAS SOUS 12137 HAS SOUPS 12137 WITH SCORE 12156.308
AT ITER 1478 NEW BEST:: SOT 47018 SOS 19239 HAS SOPS 19239 HAS SOUS 12054 HAS SOUPS 12054 WITH SCORE 12073.239
AT ITER 1515 NEW BEST:: SOT 46924 SOS 19051 HAS SOPS 19051 HAS SOUS 12024 HAS SOUPS 12024 WITH SCORE 12043.051
AT ITER 1521 NEW BEST:: SOT 46924 SOS 19049 HAS SOPS 19049 HAS SOUS 12022 HAS SOUPS 12022 WITH SCORE 12041.049
AT ITER 1523 NEW BEST:: SOT 46924 SOS 19008 HAS SOPS 19008 HAS SOUS 12019 HAS SOUPS 12019 WITH SCORE 12038.008
AT ITER 1530 NEW BEST:: SOT 46836 SOS 18928 HAS SOPS 18928 HAS SOUS 11939 HAS SOUPS 11939 WITH SCORE 11957.928
AT ITER 1538 NEW BEST:: SOT 46824 SOS 18916 HAS SOPS 18916 HAS SOUS 11927 HAS SOUPS 11927 WITH SCORE 11945.916
AT ITER 1552 NEW BEST:: SOT 46827 SOS 18885 HAS SOPS 18885 HAS SOUS 11926 HAS SOUPS 11926 WITH SCORE 11944.885
AT ITER 1586 NEW BEST:: SOT 46826 SOS 18883 HAS SOPS 18883 HAS SOUS 11925 HAS SOUPS 11925 WITH SCORE 11943.883
AT ITER 1604 NEW BEST:: SOT 46825 SOS 18882 HAS SOPS 18882 HAS SOUS 11924 HAS SOUPS 11924 WITH SCORE 11942.882
AT ITER 1622 NEW BEST:: SOT 46811 SOS 18674 HAS SOPS 18674 HAS SOUS 11868 HAS SOUPS 11868 WITH SCORE 11886.674
AT ITER 1631 NEW BEST:: SOT 46772 SOS 18661 HAS SOPS 18661 HAS SOUS 11840 HAS SOUPS 11840 WITH SCORE 11858.661
AT ITER 1643 NEW BEST:: SOT 46751 SOS 18650 HAS SOPS 18650 HAS SOUS 11829 HAS SOUPS 11829 WITH SCORE 11847.65
AT ITER 1645 NEW BEST:: SOT 46660 SOS 18548 HAS SOPS 18548 HAS SOUS 11727 HAS SOUPS 11727 WITH SCORE 11745.548
AT ITER 1660 NEW BEST:: SOT 46637 SOS 18469 HAS SOPS 18469 HAS SOUS 11653 HAS SOUPS 11653 WITH SCORE 11671.469
AT ITER 1681 NEW BEST:: SOT 46547 SOS 18431 HAS SOPS 18431 HAS SOUS 11615 HAS SOUPS 11615 WITH SCORE 11633.431
AT ITER 1689 NEW BEST:: SOT 46547 SOS 18428 HAS SOPS 18428 HAS SOUS 11608 HAS SOUPS 11608 WITH SCORE 11626.428
AT ITER 1699 NEW BEST:: SOT 46562 SOS 18422 HAS SOPS 18422 HAS SOUS 11602 HAS SOUPS 11602 WITH SCORE 11620.422
AT ITER 1718 NEW BEST:: SOT 46545 SOS 18342 HAS SOPS 18342 HAS SOUS 11549 HAS SOUPS 11549 WITH SCORE 11567.342
AT ITER 1743 NEW BEST:: SOT 46533 SOS 18317 HAS SOPS 18317 HAS SOUS 11524 HAS SOUPS 11524 WITH SCORE 11542.317
AT ITER 1761 NEW BEST:: SOT 46519 SOS 18294 HAS SOPS 18294 HAS SOUS 11504 HAS SOUPS 11504 WITH SCORE 11522.294
AT ITER 1789 NEW BEST:: SOT 46520 SOS 18246 HAS SOPS 18246 HAS SOUS 11479 HAS SOUPS 11479 WITH SCORE 11497.246
AT ITER 1795 NEW BEST:: SOT 46528 SOS 18182 HAS SOPS 18182 HAS SOUS 11471 HAS SOUPS 11471 WITH SCORE 11489.182
AT ITER 1800 NEW BEST:: SOT 46528 SOS 18160 HAS SOPS 18160 HAS SOUS 11471 HAS SOUPS 11471 WITH SCORE 11489.16
AT ITER 1801 NEW BEST:: SOT 46526 SOS 18156 HAS SOPS 18156 HAS SOUS 11467 HAS SOUPS 11467 WITH SCORE 11485.156
AT ITER 1814 NEW BEST:: SOT 46481 SOS 18107 HAS SOPS 18107 HAS SOUS 11422 HAS SOUPS 11422 WITH SCORE 11440.107
AT ITER 1820 NEW BEST:: SOT 46472 SOS 18065 HAS SOPS 18065 HAS SOUS 11394 HAS SOUPS 11394 WITH SCORE 11412.065
AT ITER 1837 NEW BEST:: SOT 46408 SOS 18001 HAS SOPS 18001 HAS SOUS 11330 HAS SOUPS 11330 WITH SCORE 11348.001
AT ITER 1839 NEW BEST:: SOT 46401 SOS 17973 HAS SOPS 17973 HAS SOUS 11307 HAS SOUPS 11307 WITH SCORE 11324.973
AT ITER 1845 NEW BEST:: SOT 46404 SOS 17941 HAS SOPS 17941 HAS SOUS 11275 HAS SOUPS 11275 WITH SCORE 11292.941
AT ITER 1851 NEW BEST:: SOT 46399 SOS 17931 HAS SOPS 17931 HAS SOUS 11265 HAS SOUPS 11265 WITH SCORE 11282.931
AT ITER 1889 NEW BEST:: SOT 46404 SOS 17925 HAS SOPS 17925 HAS SOUS 11259 HAS SOUPS 11259 WITH SCORE 11276.925
AT ITER 1890 NEW BEST:: SOT 46367 SOS 17851 HAS SOPS 17851 HAS SOUS 11245 HAS SOUPS 11245 WITH SCORE 11262.851
AT ITER 1897 NEW BEST:: SOT 46367 SOS 17851 HAS SOPS 17851 HAS SOUS 11234 HAS SOUPS 11234 WITH SCORE 11251.851
AT ITER 1903 NEW BEST:: SOT 46368 SOS 17822 HAS SOPS 17822 HAS SOUS 11205 HAS SOUPS 11205 WITH SCORE 11222.822
AT ITER 1915 NEW BEST:: SOT 46321 SOS 17775 HAS SOPS 17775 HAS SOUS 11158 HAS SOUPS 11158 WITH SCORE 11175.775
AT ITER 1940 NEW BEST:: SOT 46294 SOS 17721 HAS SOPS 17721 HAS SOUS 11104 HAS SOUPS 11104 WITH SCORE 11121.721
AT ITER 1961 NEW BEST:: SOT 46289 SOS 17711 HAS SOPS 17711 HAS SOUS 11020 HAS SOUPS 11020 WITH SCORE 11037.711
AT ITER 1981 NEW BEST:: SOT 46301 SOS 17710 HAS SOPS 17710 HAS SOUS 11019 HAS SOUPS 11019 WITH SCORE 11036.71
AT ITER 1998 NEW BEST:: SOT 46301 SOS 17707 HAS SOPS 17707 HAS SOUS 11016 HAS SOUPS 11016 WITH SCORE 11033.707
AT ITER 2004 NEW BEST:: SOT 46299 SOS 17705 HAS SOPS 17705 HAS SOUS 11014 HAS SOUPS 11014 WITH SCORE 11031.705
AT ITER 2016 NEW BEST:: SOT 46273 SOS 17653 HAS SOPS 17653 HAS SOUS 10975 HAS SOUPS 10975 WITH SCORE 10992.653
AT ITER 2024 NEW BEST:: SOT 46283 SOS 17644 HAS SOPS 17644 HAS SOUS 10966 HAS SOUPS 10966 WITH SCORE 10983.644
AT ITER 2047 NEW BEST:: SOT 46273 SOS 17634 HAS SOPS 17634 HAS SOUS 10966 HAS SOUPS 10966 WITH SCORE 10983.634
AT ITER 2055 NEW BEST:: SOT 46260 SOS 17591 HAS SOPS 17591 HAS SOUS 10923 HAS SOUPS 10923 WITH SCORE 10940.591
AT ITER 2056 NEW BEST:: SOT 46260 SOS 17590 HAS SOPS 17590 HAS SOUS 10922 HAS SOUPS 10922 WITH SCORE 10939.59
AT ITER 2071 NEW BEST:: SOT 46229 SOS 17559 HAS SOPS 17559 HAS SOUS 10891 HAS SOUPS 10891 WITH SCORE 10908.559
AT ITER 2093 NEW BEST:: SOT 46229 SOS 17559 HAS SOPS 17559 HAS SOUS 10866 HAS SOUPS 10866 WITH SCORE 10883.559
AT ITER 2099 NEW BEST:: SOT 46229 SOS 17555 HAS SOPS 17555 HAS SOUS 10862 HAS SOUPS 10862 WITH SCORE 10879.555
AT ITER 2129 NEW BEST:: SOT 46259 SOS 17554 HAS SOPS 17554 HAS SOUS 10861 HAS SOUPS 10861 WITH SCORE 10878.554
AT ITER 2144 NEW BEST:: SOT 46253 SOS 17542 HAS SOPS 17542 HAS SOUS 10855 HAS SOUPS 10855 WITH SCORE 10872.542
AT ITER 2184 NEW BEST:: SOT 46251 SOS 17538 HAS SOPS 17538 HAS SOUS 10851 HAS SOUPS 10851 WITH SCORE 10868.538
AT ITER 2199 NEW BEST:: SOT 46243 SOS 17530 HAS SOPS 17530 HAS SOUS 10843 HAS SOUPS 10843 WITH SCORE 10860.53
AT ITER 2271 NEW BEST:: SOT 46248 SOS 17520 HAS SOPS 17520 HAS SOUS 10843 HAS SOUPS 10843 WITH SCORE 10860.52
AT ITER 2278 NEW BEST:: SOT 46200 SOS 17457 HAS SOPS 17457 HAS SOUS 10813 HAS SOUPS 10813 WITH SCORE 10830.457
AT ITER 2308 NEW BEST:: SOT 46201 SOS 17458 HAS SOPS 17458 HAS SOUS 10811 HAS SOUPS 10811 WITH SCORE 10828.458
AT ITER 2315 NEW BEST:: SOT 46189 SOS 17445 HAS SOPS 17445 HAS SOUS 10795 HAS SOUPS 10795 WITH SCORE 10812.445
AT ITER 2442 NEW BEST:: SOT 46168 SOS 17431 HAS SOPS 17431 HAS SOUS 10781 HAS SOUPS 10781 WITH SCORE 10798.431
AT ITER 2458 NEW BEST:: SOT 46160 SOS 17423 HAS SOPS 17423 HAS SOUS 10779 HAS SOUPS 10779 WITH SCORE 10796.423
AT ITER 2474 NEW BEST:: SOT 46154 SOS 17411 HAS SOPS 17411 HAS SOUS 10773 HAS SOUPS 10773 WITH SCORE 10790.411
AT ITER 2505 NEW BEST:: SOT 46163 SOS 17390 HAS SOPS 17390 HAS SOUS 10752 HAS SOUPS 10752 WITH SCORE 10769.39
AT ITER 2519 NEW BEST:: SOT 46151 SOS 17378 HAS SOPS 17378 HAS SOUS 10740 HAS SOUPS 10740 WITH SCORE 10757.378
AT ITER 2524 NEW BEST:: SOT 46141 SOS 17449 HAS SOPS 17449 HAS SOUS 10696 HAS SOUPS 10696 WITH SCORE 10713.449
AT ITER 2560 NEW BEST:: SOT 46139 SOS 17447 HAS SOPS 17447 HAS SOUS 10694 HAS SOUPS 10694 WITH SCORE 10711.447
AT ITER 2590 NEW BEST:: SOT 46138 SOS 17431 HAS SOPS 17431 HAS SOUS 10679 HAS SOUPS 10679 WITH SCORE 10696.431
AT ITER 2602 NEW BEST:: SOT 46116 SOS 17409 HAS SOPS 17409 HAS SOUS 10657 HAS SOUPS 10657 WITH SCORE 10674.409
AT ITER 2658 NEW BEST:: SOT 46113 SOS 17401 HAS SOPS 17401 HAS SOUS 10649 HAS SOUPS 10649 WITH SCORE 10666.401
AT ITER 2696 NEW BEST:: SOT 46100 SOS 17375 HAS SOPS 17375 HAS SOUS 10623 HAS SOUPS 10623 WITH SCORE 10640.375
AT ITER 2725 NEW BEST:: SOT 46053 SOS 17328 HAS SOPS 17328 HAS SOUS 10623 HAS SOUPS 10623 WITH SCORE 10640.328
AT ITER 2729 NEW BEST:: SOT 46052 SOS 17352 HAS SOPS 17352 HAS SOUS 10621 HAS SOUPS 10621 WITH SCORE 10638.352
AT ITER 2790 NEW BEST:: SOT 46046 SOS 17327 HAS SOPS 17327 HAS SOUS 10596 HAS SOUPS 10596 WITH SCORE 10613.327
AT ITER 2852 NEW BEST:: SOT 46045 SOS 17325 HAS SOPS 17325 HAS SOUS 10594 HAS SOUPS 10594 WITH SCORE 10611.325
AT ITER 2857 NEW BEST:: SOT 46102 SOS 17372 HAS SOPS 17372 HAS SOUS 10576 HAS SOUPS 10576 WITH SCORE 10593.372
AT ITER 2874 NEW BEST:: SOT 46168 SOS 17437 HAS SOPS 17437 HAS SOUS 10571 HAS SOUPS 10571 WITH SCORE 10588.437
AT ITER 2908 NEW BEST:: SOT 46161 SOS 17430 HAS SOPS 17430 HAS SOUS 10544 HAS SOUPS 10544 WITH SCORE 10561.43
AT ITER 2928 NEW BEST:: SOT 46156 SOS 17420 HAS SOPS 17420 HAS SOUS 10534 HAS SOUPS 10534 WITH SCORE 10551.42
AT ITER 2969 NEW BEST:: SOT 46139 SOS 17403 HAS SOPS 17403 HAS SOUS 10517 HAS SOUPS 10517 WITH SCORE 10534.403
AT ITER 3032 NEW BEST:: SOT 46139 SOS 17243 HAS SOPS 17243 HAS SOUS 10512 HAS SOUPS 10512 WITH SCORE 10529.243
AT ITER 3091 NEW BEST:: SOT 46131 SOS 17227 HAS SOPS 17227 HAS SOUS 10505 HAS SOUPS 10505 WITH SCORE 10522.227
AT ITER 3113 NEW BEST:: SOT 46158 SOS 17214 HAS SOPS 17214 HAS SOUS 10468 HAS SOUPS 10468 WITH SCORE 10485.214
AT ITER 3116 NEW BEST:: SOT 46158 SOS 17198 HAS SOPS 17198 HAS SOUS 10446 HAS SOUPS 10446 WITH SCORE 10463.198
AT ITER 3132 NEW BEST:: SOT 46157 SOS 17196 HAS SOPS 17196 HAS SOUS 10440 HAS SOUPS 10440 WITH SCORE 10457.196
AT ITER 3145 NEW BEST:: SOT 46145 SOS 17172 HAS SOPS 17172 HAS SOUS 10428 HAS SOUPS 10428 WITH SCORE 10445.172
AT ITER 3149 NEW BEST:: SOT 46158 SOS 17222 HAS SOPS 17222 HAS SOUS 10423 HAS SOUPS 10423 WITH SCORE 10440.222
AT ITER 3153 NEW BEST:: SOT 46158 SOS 17220 HAS SOPS 17220 HAS SOUS 10421 HAS SOUPS 10421 WITH SCORE 10438.22
AT ITER 3185 NEW BEST:: SOT 46155 SOS 17217 HAS SOPS 17217 HAS SOUS 10418 HAS SOUPS 10418 WITH SCORE 10435.217
AT ITER 3228 NEW BEST:: SOT 46104 SOS 17166 HAS SOPS 17166 HAS SOUS 10352 HAS SOUPS 10352 WITH SCORE 10369.166
AT ITER 3261 NEW BEST:: SOT 46046 SOS 17136 HAS SOPS 17136 HAS SOUS 10339 HAS SOUPS 10339 WITH SCORE 10356.136
AT ITER 3271 NEW BEST:: SOT 46042 SOS 17128 HAS SOPS 17128 HAS SOUS 10331 HAS SOUPS 10331 WITH SCORE 10348.128
AT ITER 3274 NEW BEST:: SOT 46029 SOS 17102 HAS SOPS 17102 HAS SOUS 10318 HAS SOUPS 10318 WITH SCORE 10335.102
AT ITER 3279 NEW BEST:: SOT 46029 SOS 17063 HAS SOPS 17063 HAS SOUS 10318 HAS SOUPS 10318 WITH SCORE 10335.063
AT ITER 3300 NEW BEST:: SOT 45971 SOS 17001 HAS SOPS 17001 HAS SOUS 10302 HAS SOUPS 10302 WITH SCORE 10319.001
AT ITER 3310 NEW BEST:: SOT 45971 SOS 16999 HAS SOPS 16999 HAS SOUS 10300 HAS SOUPS 10300 WITH SCORE 10316.999
AT ITER 3316 NEW BEST:: SOT 45947 SOS 16951 HAS SOPS 16951 HAS SOUS 10276 HAS SOUPS 10276 WITH SCORE 10292.951
AT ITER 3332 NEW BEST:: SOT 45940 SOS 16937 HAS SOPS 16937 HAS SOUS 10266 HAS SOUPS 10266 WITH SCORE 10282.937
AT ITER 3342 NEW BEST:: SOT 45933 SOS 16930 HAS SOPS 16930 HAS SOUS 10259 HAS SOUPS 10259 WITH SCORE 10275.93
AT ITER 3344 NEW BEST:: SOT 45924 SOS 16914 HAS SOPS 16914 HAS SOUS 10243 HAS SOUPS 10243 WITH SCORE 10259.914
AT ITER 3350 NEW BEST:: SOT 45939 SOS 16903 HAS SOPS 16903 HAS SOUS 10217 HAS SOUPS 10217 WITH SCORE 10233.903
AT ITER 3408 NEW BEST:: SOT 45905 SOS 16859 HAS SOPS 16859 HAS SOUS 10173 HAS SOUPS 10173 WITH SCORE 10189.859
AT ITER 3409 NEW BEST:: SOT 45892 SOS 16817 HAS SOPS 16817 HAS SOUS 10138 HAS SOUPS 10138 WITH SCORE 10154.817
AT ITER 3411 NEW BEST:: SOT 45811 SOS 17089 HAS SOPS 17089 HAS SOUS 10126 HAS SOUPS 10126 WITH SCORE 10143.089
AT ITER 3441 NEW BEST:: SOT 45791 SOS 17050 HAS SOPS 17050 HAS SOUS 10087 HAS SOUPS 10087 WITH SCORE 10104.05
AT ITER 3450 NEW BEST:: SOT 45766 SOS 17007 HAS SOPS 17007 HAS SOUS 10067 HAS SOUPS 10067 WITH SCORE 10084.007
AT ITER 3471 NEW BEST:: SOT 45753 SOS 16955 HAS SOPS 16955 HAS SOUS 10015 HAS SOUPS 10015 WITH SCORE 10031.955
AT ITER 3499 NEW BEST:: SOT 45741 SOS 16943 HAS SOPS 16943 HAS SOUS 10015 HAS SOUPS 10015 WITH SCORE 10031.943
AT ITER 3510 NEW BEST:: SOT 45741 SOS 16943 HAS SOPS 16943 HAS SOUS 10010 HAS SOUPS 10010 WITH SCORE 10026.943
AT ITER 3534 NEW BEST:: SOT 45700 SOS 16847 HAS SOPS 16847 HAS SOUS 9914 HAS SOUPS 9914 WITH SCORE 9930.847
AT ITER 3541 NEW BEST:: SOT 45697 SOS 16844 HAS SOPS 16844 HAS SOUS 9911 HAS SOUPS 9911 WITH SCORE 9927.844
AT ITER 3580 NEW BEST:: SOT 45675 SOS 16822 HAS SOPS 16822 HAS SOUS 9889 HAS SOUPS 9889 WITH SCORE 9905.822
AT ITER 3590 NEW BEST:: SOT 45665 SOS 16812 HAS SOPS 16812 HAS SOUS 9879 HAS SOUPS 9879 WITH SCORE 9895.812
AT ITER 3608 NEW BEST:: SOT 45660 SOS 16810 HAS SOPS 16810 HAS SOUS 9873 HAS SOUPS 9873 WITH SCORE 9889.81
AT ITER 3609 NEW BEST:: SOT 45656 SOS 16806 HAS SOPS 16806 HAS SOUS 9869 HAS SOUPS 9869 WITH SCORE 9885.806
AT ITER 3614 NEW BEST:: SOT 45656 SOS 16803 HAS SOPS 16803 HAS SOUS 9866 HAS SOUPS 9866 WITH SCORE 9882.803
AT ITER 3657 NEW BEST:: SOT 45656 SOS 16792 HAS SOPS 16792 HAS SOUS 9855 HAS SOUPS 9855 WITH SCORE 9871.792
AT ITER 3670 NEW BEST:: SOT 45614 SOS 16762 HAS SOPS 16762 HAS SOUS 9825 HAS SOUPS 9825 WITH SCORE 9841.762
AT ITER 3674 NEW BEST:: SOT 45614 SOS 16761 HAS SOPS 16761 HAS SOUS 9824 HAS SOUPS 9824 WITH SCORE 9840.761
AT ITER 3734 NEW BEST:: SOT 45621 SOS 16753 HAS SOPS 16753 HAS SOUS 9821 HAS SOUPS 9821 WITH SCORE 9837.753
AT ITER 3747 NEW BEST:: SOT 45424 SOS 16640 HAS SOPS 16640 HAS SOUS 9773 HAS SOUPS 9773 WITH SCORE 9789.64
AT ITER 3765 NEW BEST:: SOT 45401 SOS 16619 HAS SOPS 16619 HAS SOUS 9752 HAS SOUPS 9752 WITH SCORE 9768.619
AT ITER 3805 NEW BEST:: SOT 45393 SOS 16611 HAS SOPS 16611 HAS SOUS 9750 HAS SOUPS 9750 WITH SCORE 9766.611
AT ITER 3843 NEW BEST:: SOT 45396 SOS 16614 HAS SOPS 16614 HAS SOUS 9747 HAS SOUPS 9747 WITH SCORE 9763.614
AT ITER 3847 NEW BEST:: SOT 45384 SOS 16602 HAS SOPS 16602 HAS SOUS 9735 HAS SOUPS 9735 WITH SCORE 9751.602
AT ITER 3852 NEW BEST:: SOT 45384 SOS 16578 HAS SOPS 16578 HAS SOUS 9733 HAS SOUPS 9733 WITH SCORE 9749.578
AT ITER 3854 NEW BEST:: SOT 45353 SOS 16547 HAS SOPS 16547 HAS SOUS 9702 HAS SOUPS 9702 WITH SCORE 9718.547
AT ITER 3903 NEW BEST:: SOT 45350 SOS 16543 HAS SOPS 16543 HAS SOUS 9698 HAS SOUPS 9698 WITH SCORE 9714.543
AT ITER 3909 NEW BEST:: SOT 45350 SOS 16540 HAS SOPS 16540 HAS SOUS 9695 HAS SOUPS 9695 WITH SCORE 9711.54
AT ITER 3918 NEW BEST:: SOT 45350 SOS 16533 HAS SOPS 16533 HAS SOUS 9692 HAS SOUPS 9692 WITH SCORE 9708.533
AT ITER 3954 NEW BEST:: SOT 45342 SOS 16510 HAS SOPS 16510 HAS SOUS 9669 HAS SOUPS 9669 WITH SCORE 9685.51
AT ITER 3965 NEW BEST:: SOT 45342 SOS 16497 HAS SOPS 16497 HAS SOUS 9641 HAS SOUPS 9641 WITH SCORE 9657.497
AT ITER 3968 NEW BEST:: SOT 45334 SOS 16489 HAS SOPS 16489 HAS SOUS 9638 HAS SOUPS 9638 WITH SCORE 9654.489
AT ITER 4001 NEW BEST:: SOT 45332 SOS 16476 HAS SOPS 16476 HAS SOUS 9625 HAS SOUPS 9625 WITH SCORE 9641.476
AT ITER 4031 NEW BEST:: SOT 45331 SOS 16474 HAS SOPS 16474 HAS SOUS 9623 HAS SOUPS 9623 WITH SCORE 9639.474
AT ITER 4064 NEW BEST:: SOT 45315 SOS 16454 HAS SOPS 16454 HAS SOUS 9618 HAS SOUPS 9618 WITH SCORE 9634.454
AT ITER 4070 NEW BEST:: SOT 45314 SOS 16452 HAS SOPS 16452 HAS SOUS 9616 HAS SOUPS 9616 WITH SCORE 9632.452
AT ITER 4091 NEW BEST:: SOT 45315 SOS 16450 HAS SOPS 16450 HAS SOUS 9616 HAS SOUPS 9616 WITH SCORE 9632.45
AT ITER 4096 NEW BEST:: SOT 45310 SOS 16440 HAS SOPS 16440 HAS SOUS 9606 HAS SOUPS 9606 WITH SCORE 9622.44
AT ITER 4128 NEW BEST:: SOT 45310 SOS 16440 HAS SOPS 16440 HAS SOUS 9604 HAS SOUPS 9604 WITH SCORE 9620.44
AT ITER 4154 NEW BEST:: SOT 45278 SOS 16468 HAS SOPS 16468 HAS SOUS 9602 HAS SOUPS 9602 WITH SCORE 9618.468
AT ITER 4166 NEW BEST:: SOT 45276 SOS 16467 HAS SOPS 16467 HAS SOUS 9601 HAS SOUPS 9601 WITH SCORE 9617.467
AT ITER 4168 NEW BEST:: SOT 45256 SOS 16447 HAS SOPS 16447 HAS SOUS 9577 HAS SOUPS 9577 WITH SCORE 9593.447
AT ITER 4173 NEW BEST:: SOT 45246 SOS 16412 HAS SOPS 16412 HAS SOUS 9567 HAS SOUPS 9567 WITH SCORE 9583.412
AT ITER 4258 NEW BEST:: SOT 45250 SOS 16420 HAS SOPS 16420 HAS SOUS 9562 HAS SOUPS 9562 WITH SCORE 9578.42
AT ITER 4346 NEW BEST:: SOT 45254 SOS 16424 HAS SOPS 16424 HAS SOUS 9561 HAS SOUPS 9561 WITH SCORE 9577.424
AT ITER 4351 NEW BEST:: SOT 45254 SOS 16421 HAS SOPS 16421 HAS SOUS 9561 HAS SOUPS 9561 WITH SCORE 9577.421
AT ITER 4370 NEW BEST:: SOT 45252 SOS 16402 HAS SOPS 16402 HAS SOUS 9557 HAS SOUPS 9557 WITH SCORE 9573.402
AT ITER 4375 NEW BEST:: SOT 45244 SOS 16395 HAS SOPS 16395 HAS SOUS 9542 HAS SOUPS 9542 WITH SCORE 9558.395
AT ITER 4402 NEW BEST:: SOT 45244 SOS 16395 HAS SOPS 16395 HAS SOUS 9535 HAS SOUPS 9535 WITH SCORE 9551.395
AT ITER 4410 NEW BEST:: SOT 45241 SOS 16389 HAS SOPS 16389 HAS SOUS 9535 HAS SOUPS 9535 WITH SCORE 9551.389
AT ITER 4469 NEW BEST:: SOT 45230 SOS 16367 HAS SOPS 16367 HAS SOUS 9518 HAS SOUPS 9518 WITH SCORE 9534.367
AT ITER 4474 NEW BEST:: SOT 45222 SOS 16358 HAS SOPS 16358 HAS SOUS 9517 HAS SOUPS 9517 WITH SCORE 9533.358
AT ITER 4512 NEW BEST:: SOT 45214 SOS 16350 HAS SOPS 16350 HAS SOUS 9507 HAS SOUPS 9507 WITH SCORE 9523.35
AT ITER 4535 NEW BEST:: SOT 45201 SOS 16333 HAS SOPS 16333 HAS SOUS 9461 HAS SOUPS 9461 WITH SCORE 9477.333
AT ITER 4577 NEW BEST:: SOT 45196 SOS 16260 HAS SOPS 16260 HAS SOUS 9456 HAS SOUPS 9456 WITH SCORE 9472.26
AT ITER 4652 NEW BEST:: SOT 45203 SOS 16254 HAS SOPS 16254 HAS SOUS 9437 HAS SOUPS 9437 WITH SCORE 9453.254
AT ITER 4684 NEW BEST:: SOT 45204 SOS 16256 HAS SOPS 16256 HAS SOUS 9432 HAS SOUPS 9432 WITH SCORE 9448.256
AT ITER 4699 NEW BEST:: SOT 45204 SOS 16251 HAS SOPS 16251 HAS SOUS 9427 HAS SOUPS 9427 WITH SCORE 9443.251
AT ITER 4704 NEW BEST:: SOT 45173 SOS 16199 HAS SOPS 16199 HAS SOUS 9423 HAS SOUPS 9423 WITH SCORE 9439.199
AT ITER 4706 NEW BEST:: SOT 45158 SOS 16184 HAS SOPS 16184 HAS SOUS 9421 HAS SOUPS 9421 WITH SCORE 9437.184
AT ITER 4720 NEW BEST:: SOT 45147 SOS 16173 HAS SOPS 16173 HAS SOUS 9410 HAS SOUPS 9410 WITH SCORE 9426.173
AT ITER 4781 NEW BEST:: SOT 45135 SOS 16151 HAS SOPS 16151 HAS SOUS 9398 HAS SOUPS 9398 WITH SCORE 9414.151
AT ITER 4783 NEW BEST:: SOT 45135 SOS 16151 HAS SOPS 16151 HAS SOUS 9397 HAS SOUPS 9397 WITH SCORE 9413.151
AT ITER 4795 NEW BEST:: SOT 45135 SOS 16151 HAS SOPS 16151 HAS SOUS 9396 HAS SOUPS 9396 WITH SCORE 9412.151
AT ITER 4796 NEW BEST:: SOT 45194 SOS 16116 HAS SOPS 16116 HAS SOUS 9395 HAS SOUPS 9395 WITH SCORE 9411.116
AT ITER 4841 NEW BEST:: SOT 45193 SOS 16113 HAS SOPS 16113 HAS SOUS 9393 HAS SOUPS 9393 WITH SCORE 9409.113
AT ITER 4850 NEW BEST:: SOT 45187 SOS 16107 HAS SOPS 16107 HAS SOUS 9387 HAS SOUPS 9387 WITH SCORE 9403.107
AT ITER 4887 NEW BEST:: SOT 45185 SOS 16104 HAS SOPS 16104 HAS SOUS 9384 HAS SOUPS 9384 WITH SCORE 9400.104
AT ITER 4900 NEW BEST:: SOT 45186 SOS 16103 HAS SOPS 16103 HAS SOUS 9382 HAS SOUPS 9382 WITH SCORE 9398.103
AT ITER 4917 NEW BEST:: SOT 45184 SOS 16101 HAS SOPS 16101 HAS SOUS 9380 HAS SOUPS 9380 WITH SCORE 9396.101
AT ITER 4939 NEW BEST:: SOT 45181 SOS 16095 HAS SOPS 16095 HAS SOUS 9371 HAS SOUPS 9371 WITH SCORE 9387.095
AT ITER 4965 NEW BEST:: SOT 45173 SOS 16087 HAS SOPS 16087 HAS SOUS 9363 HAS SOUPS 9363 WITH SCORE 9379.087
AT ITER 4970 NEW BEST:: SOT 45171 SOS 16085 HAS SOPS 16085 HAS SOUS 9361 HAS SOUPS 9361 WITH SCORE 9377.085
AT ITER 5007 NEW BEST:: SOT 45147 SOS 16223 HAS SOPS 16223 HAS SOUS 9352 HAS SOUPS 9352 WITH SCORE 9368.223
AT ITER 5009 NEW BEST:: SOT 45131 SOS 16199 HAS SOPS 16199 HAS SOUS 9336 HAS SOUPS 9336 WITH SCORE 9352.199
AT ITER 5015 NEW BEST:: SOT 45147 SOS 16201 HAS SOPS 16201 HAS SOUS 9331 HAS SOUPS 9331 WITH SCORE 9347.201
AT ITER 5019 NEW BEST:: SOT 45145 SOS 16199 HAS SOPS 16199 HAS SOUS 9329 HAS SOUPS 9329 WITH SCORE 9345.199
AT ITER 5035 NEW BEST:: SOT 45138 SOS 16192 HAS SOPS 16192 HAS SOUS 9327 HAS SOUPS 9327 WITH SCORE 9343.192
AT ITER 5036 NEW BEST:: SOT 45109 SOS 15692 HAS SOPS 15692 HAS SOUS 9298 HAS SOUPS 9298 WITH SCORE 9313.692
AT ITER 5038 NEW BEST:: SOT 45134 SOS 15696 HAS SOPS 15696 HAS SOUS 9297 HAS SOUPS 9297 WITH SCORE 9312.696
AT ITER 5049 NEW BEST:: SOT 45134 SOS 15695 HAS SOPS 15695 HAS SOUS 9295 HAS SOUPS 9295 WITH SCORE 9310.695
AT ITER 5070 NEW BEST:: SOT 45104 SOS 15667 HAS SOPS 15667 HAS SOUS 9276 HAS SOUPS 9276 WITH SCORE 9291.667
AT ITER 5081 NEW BEST:: SOT 45107 SOS 15665 HAS SOPS 15665 HAS SOUS 9274 HAS SOUPS 9274 WITH SCORE 9289.665
AT ITER 5111 NEW BEST:: SOT 45104 SOS 15782 HAS SOPS 15782 HAS SOUS 9271 HAS SOUPS 9271 WITH SCORE 9286.782
AT ITER 5147 NEW BEST:: SOT 45063 SOS 15739 HAS SOPS 15739 HAS SOUS 9249 HAS SOUPS 9249 WITH SCORE 9264.739
AT ITER 5163 NEW BEST:: SOT 45051 SOS 15727 HAS SOPS 15727 HAS SOUS 9237 HAS SOUPS 9237 WITH SCORE 9252.727
AT ITER 5168 NEW BEST:: SOT 45023 SOS 15551 HAS SOPS 15551 HAS SOUS 9178 HAS SOUPS 9178 WITH SCORE 9193.551
AT ITER 5182 NEW BEST:: SOT 45022 SOS 15550 HAS SOPS 15550 HAS SOUS 9177 HAS SOUPS 9177 WITH SCORE 9192.55
AT ITER 5280 NEW BEST:: SOT 45017 SOS 15545 HAS SOPS 15545 HAS SOUS 9172 HAS SOUPS 9172 WITH SCORE 9187.545
AT ITER 5363 NEW BEST:: SOT 45002 SOS 15521 HAS SOPS 15521 HAS SOUS 9163 HAS SOUPS 9163 WITH SCORE 9178.521
AT ITER 5378 NEW BEST:: SOT 45002 SOS 15515 HAS SOPS 15515 HAS SOUS 9157 HAS SOUPS 9157 WITH SCORE 9172.515
AT ITER 5402 NEW BEST:: SOT 44985 SOS 15488 HAS SOPS 15488 HAS SOUS 9140 HAS SOUPS 9140 WITH SCORE 9155.488
AT ITER 5475 NEW BEST:: SOT 44946 SOS 15410 HAS SOPS 15410 HAS SOUS 9062 HAS SOUPS 9062 WITH SCORE 9077.41
AT ITER 5480 NEW BEST:: SOT 44857 SOS 15282 HAS SOPS 15282 HAS SOUS 9000 HAS SOUPS 9000 WITH SCORE 9015.282
AT ITER 5494 NEW BEST:: SOT 44855 SOS 15281 HAS SOPS 15281 HAS SOUS 8996 HAS SOUPS 8996 WITH SCORE 9011.281
AT ITER 5498 NEW BEST:: SOT 44863 SOS 15273 HAS SOPS 15273 HAS SOUS 8988 HAS SOUPS 8988 WITH SCORE 9003.273
AT ITER 5514 NEW BEST:: SOT 44838 SOS 15223 HAS SOPS 15223 HAS SOUS 8963 HAS SOUPS 8963 WITH SCORE 8978.223
AT ITER 5537 NEW BEST:: SOT 44838 SOS 15221 HAS SOPS 15221 HAS SOUS 8961 HAS SOUPS 8961 WITH SCORE 8976.221
AT ITER 5581 NEW BEST:: SOT 44821 SOS 15192 HAS SOPS 15192 HAS SOUS 8944 HAS SOUPS 8944 WITH SCORE 8959.192
AT ITER 5621 NEW BEST:: SOT 44816 SOS 15204 HAS SOPS 15204 HAS SOUS 8941 HAS SOUPS 8941 WITH SCORE 8956.204
AT ITER 5693 NEW BEST:: SOT 44810 SOS 15192 HAS SOPS 15192 HAS SOUS 8935 HAS SOUPS 8935 WITH SCORE 8950.192
AT ITER 5739 NEW BEST:: SOT 44806 SOS 15188 HAS SOPS 15188 HAS SOUS 8931 HAS SOUPS 8931 WITH SCORE 8946.188
AT ITER 5768 NEW BEST:: SOT 44771 SOS 15126 HAS SOPS 15126 HAS SOUS 8902 HAS SOUPS 8902 WITH SCORE 8917.126
AT ITER 5785 NEW BEST:: SOT 44769 SOS 15122 HAS SOPS 15122 HAS SOUS 8898 HAS SOUPS 8898 WITH SCORE 8913.122
AT ITER 5847 NEW BEST:: SOT 44769 SOS 15122 HAS SOPS 15122 HAS SOUS 8893 HAS SOUPS 8893 WITH SCORE 8908.122
AT ITER 5860 NEW BEST:: SOT 44772 SOS 15125 HAS SOPS 15125 HAS SOUS 8883 HAS SOUPS 8883 WITH SCORE 8898.125
AT ITER 5877 NEW BEST:: SOT 44772 SOS 15118 HAS SOPS 15118 HAS SOUS 8878 HAS SOUPS 8878 WITH SCORE 8893.118
AT ITER 5954 NEW BEST:: SOT 44785 SOS 15103 HAS SOPS 15103 HAS SOUS 8863 HAS SOUPS 8863 WITH SCORE 8878.103
AT ITER 5968 NEW BEST:: SOT 44782 SOS 15100 HAS SOPS 15100 HAS SOUS 8860 HAS SOUPS 8860 WITH SCORE 8875.1
AT ITER 5979 NEW BEST:: SOT 44781 SOS 15098 HAS SOPS 15098 HAS SOUS 8858 HAS SOUPS 8858 WITH SCORE 8873.098
AT ITER 5990 NEW BEST:: SOT 44781 SOS 15097 HAS SOPS 15097 HAS SOUS 8857 HAS SOUPS 8857 WITH SCORE 8872.097
AT ITER 6120 NEW BEST:: SOT 44776 SOS 15087 HAS SOPS 15087 HAS SOUS 8847 HAS SOUPS 8847 WITH SCORE 8862.087
AT ITER 6122 NEW BEST:: SOT 44778 SOS 15073 HAS SOPS 15073 HAS SOUS 8847 HAS SOUPS 8847 WITH SCORE 8862.073
AT ITER 6128 NEW BEST:: SOT 44776 SOS 15047 HAS SOPS 15047 HAS SOUS 8834 HAS SOUPS 8834 WITH SCORE 8849.047
AT ITER 6209 NEW BEST:: SOT 44775 SOS 15046 HAS SOPS 15046 HAS SOUS 8834 HAS SOUPS 8834 WITH SCORE 8849.046
AT ITER 6211 NEW BEST:: SOT 44775 SOS 15038 HAS SOPS 15038 HAS SOUS 8818 HAS SOUPS 8818 WITH SCORE 8833.038
AT ITER 6237 NEW BEST:: SOT 44809 SOS 15016 HAS SOPS 15016 HAS SOUS 8815 HAS SOUPS 8815 WITH SCORE 8830.016
AT ITER 6241 NEW BEST:: SOT 44744 SOS 15079 HAS SOPS 15079 HAS SOUS 8777 HAS SOUPS 8777 WITH SCORE 8792.079
AT ITER 6246 NEW BEST:: SOT 44737 SOS 15076 HAS SOPS 15076 HAS SOUS 8774 HAS SOUPS 8774 WITH SCORE 8789.076
AT ITER 6342 NEW BEST:: SOT 44738 SOS 15072 HAS SOPS 15072 HAS SOUS 8764 HAS SOUPS 8764 WITH SCORE 8779.072
AT ITER 6357 NEW BEST:: SOT 44728 SOS 15074 HAS SOPS 15074 HAS SOUS 8747 HAS SOUPS 8747 WITH SCORE 8762.074
AT ITER 6366 NEW BEST:: SOT 44668 SOS 15019 HAS SOPS 15019 HAS SOUS 8692 HAS SOUPS 8692 WITH SCORE 8707.019
AT ITER 6432 NEW BEST:: SOT 44670 SOS 15094 HAS SOPS 15094 HAS SOUS 8687 HAS SOUPS 8687 WITH SCORE 8702.094
AT ITER 6524 NEW BEST:: SOT 44634 SOS 15040 HAS SOPS 15040 HAS SOUS 8685 HAS SOUPS 8685 WITH SCORE 8700.04
AT ITER 6575 NEW BEST:: SOT 44629 SOS 15040 HAS SOPS 15040 HAS SOUS 8675 HAS SOUPS 8675 WITH SCORE 8690.04
AT ITER 6586 NEW BEST:: SOT 44643 SOS 15067 HAS SOPS 15067 HAS SOUS 8671 HAS SOUPS 8671 WITH SCORE 8686.067
AT ITER 6620 NEW BEST:: SOT 44631 SOS 15061 HAS SOPS 15061 HAS SOUS 8665 HAS SOUPS 8665 WITH SCORE 8680.061
AT ITER 6627 NEW BEST:: SOT 44656 SOS 15076 HAS SOPS 15076 HAS SOUS 8662 HAS SOUPS 8662 WITH SCORE 8677.076
AT ITER 6695 NEW BEST:: SOT 44646 SOS 15066 HAS SOPS 15066 HAS SOUS 8652 HAS SOUPS 8652 WITH SCORE 8667.066
AT ITER 6711 NEW BEST:: SOT 44646 SOS 15058 HAS SOPS 15058 HAS SOUS 8652 HAS SOUPS 8652 WITH SCORE 8667.058
AT ITER 6712 NEW BEST:: SOT 44646 SOS 15055 HAS SOPS 15055 HAS SOUS 8649 HAS SOUPS 8649 WITH SCORE 8664.055
AT ITER 6719 NEW BEST:: SOT 44637 SOS 15046 HAS SOPS 15046 HAS SOUS 8649 HAS SOUPS 8649 WITH SCORE 8664.046
AT ITER 6863 NEW BEST:: SOT 44633 SOS 15043 HAS SOPS 15043 HAS SOUS 8646 HAS SOUPS 8646 WITH SCORE 8661.043
AT ITER 6872 NEW BEST:: SOT 44631 SOS 15039 HAS SOPS 15039 HAS SOUS 8640 HAS SOUPS 8640 WITH SCORE 8655.039
AT ITER 7030 NEW BEST:: SOT 44625 SOS 15033 HAS SOPS 15033 HAS SOUS 8634 HAS SOUPS 8634 WITH SCORE 8649.033
AT ITER 7031 NEW BEST:: SOT 44627 SOS 15021 HAS SOPS 15021 HAS SOUS 8622 HAS SOUPS 8622 WITH SCORE 8637.021
AT ITER 7033 NEW BEST:: SOT 44627 SOS 15020 HAS SOPS 15020 HAS SOUS 8621 HAS SOUPS 8621 WITH SCORE 8636.02
AT ITER 7078 NEW BEST:: SOT 44616 SOS 14995 HAS SOPS 14995 HAS SOUS 8599 HAS SOUPS 8599 WITH SCORE 8613.995
AT ITER 7133 NEW BEST:: SOT 44614 SOS 14993 HAS SOPS 14993 HAS SOUS 8597 HAS SOUPS 8597 WITH SCORE 8611.993
AT ITER 7145 NEW BEST:: SOT 44633 SOS 14997 HAS SOPS 14997 HAS SOUS 8595 HAS SOUPS 8595 WITH SCORE 8609.997
AT ITER 7209 NEW BEST:: SOT 44632 SOS 14994 HAS SOPS 14994 HAS SOUS 8592 HAS SOUPS 8592 WITH SCORE 8606.994
AT ITER 7322 NEW BEST:: SOT 44572 SOS 14923 HAS SOPS 14923 HAS SOUS 8576 HAS SOUPS 8576 WITH SCORE 8590.923
AT ITER 7328 NEW BEST:: SOT 44570 SOS 14919 HAS SOPS 14919 HAS SOUS 8572 HAS SOUPS 8572 WITH SCORE 8586.919
AT ITER 7363 NEW BEST:: SOT 44568 SOS 14913 HAS SOPS 14913 HAS SOUS 8566 HAS SOUPS 8566 WITH SCORE 8580.913
AT ITER 7387 NEW BEST:: SOT 44568 SOS 14912 HAS SOPS 14912 HAS SOUS 8565 HAS SOUPS 8565 WITH SCORE 8579.912
AT ITER 7461 NEW BEST:: SOT 44562 SOS 14900 HAS SOPS 14900 HAS SOUS 8554 HAS SOUPS 8554 WITH SCORE 8568.9
AT ITER 7501 NEW BEST:: SOT 44563 SOS 14902 HAS SOPS 14902 HAS SOUS 8546 HAS SOUPS 8546 WITH SCORE 8560.902
AT ITER 7541 NEW BEST:: SOT 44560 SOS 14894 HAS SOPS 14894 HAS SOUS 8539 HAS SOUPS 8539 WITH SCORE 8553.894
AT ITER 7604 NEW BEST:: SOT 44511 SOS 14806 HAS SOPS 14806 HAS SOUS 8483 HAS SOUPS 8483 WITH SCORE 8497.806
AT ITER 7615 NEW BEST:: SOT 44491 SOS 14791 HAS SOPS 14791 HAS SOUS 8479 HAS SOUPS 8479 WITH SCORE 8493.791
AT ITER 7643 NEW BEST:: SOT 44487 SOS 14784 HAS SOPS 14784 HAS SOUS 8472 HAS SOUPS 8472 WITH SCORE 8486.784
AT ITER 7684 NEW BEST:: SOT 44487 SOS 14782 HAS SOPS 14782 HAS SOUS 8470 HAS SOUPS 8470 WITH SCORE 8484.782
AT ITER 7696 NEW BEST:: SOT 44484 SOS 14772 HAS SOPS 14772 HAS SOUS 8467 HAS SOUPS 8467 WITH SCORE 8481.772
AT ITER 7750 NEW BEST:: SOT 44476 SOS 14762 HAS SOPS 14762 HAS SOUS 8465 HAS SOUPS 8465 WITH SCORE 8479.762
AT ITER 7817 NEW BEST:: SOT 44477 SOS 14759 HAS SOPS 14759 HAS SOUS 8465 HAS SOUPS 8465 WITH SCORE 8479.759
AT ITER 7823 NEW BEST:: SOT 44479 SOS 14760 HAS SOPS 14760 HAS SOUS 8458 HAS SOUPS 8458 WITH SCORE 8472.76
AT ITER 7835 NEW BEST:: SOT 44479 SOS 14745 HAS SOPS 14745 HAS SOUS 8458 HAS SOUPS 8458 WITH SCORE 8472.745
AT ITER 7880 NEW BEST:: SOT 44478 SOS 14753 HAS SOPS 14753 HAS SOUS 8456 HAS SOUPS 8456 WITH SCORE 8470.753
AT ITER 7885 NEW BEST:: SOT 44474 SOS 14745 HAS SOPS 14745 HAS SOUS 8452 HAS SOUPS 8452 WITH SCORE 8466.745
AT ITER 7900 NEW BEST:: SOT 44452 SOS 14706 HAS SOPS 14706 HAS SOUS 8406 HAS SOUPS 8406 WITH SCORE 8420.706
AT ITER 7993 NEW BEST:: SOT 44447 SOS 14696 HAS SOPS 14696 HAS SOUS 8406 HAS SOUPS 8406 WITH SCORE 8420.696
AT ITER 8049 NEW BEST:: SOT 44458 SOS 14621 HAS SOPS 14621 HAS SOUS 8401 HAS SOUPS 8401 WITH SCORE 8415.621
AT ITER 8322 NEW BEST:: SOT 44454 SOS 14613 HAS SOPS 14613 HAS SOUS 8393 HAS SOUPS 8393 WITH SCORE 8407.613
AT ITER 8329 NEW BEST:: SOT 44455 SOS 14612 HAS SOPS 14612 HAS SOUS 8389 HAS SOUPS 8389 WITH SCORE 8403.612
AT ITER 8348 NEW BEST:: SOT 44448 SOS 14631 HAS SOPS 14631 HAS SOUS 8381 HAS SOUPS 8381 WITH SCORE 8395.631
AT ITER 8375 NEW BEST:: SOT 44456 SOS 14647 HAS SOPS 14647 HAS SOUS 8377 HAS SOUPS 8377 WITH SCORE 8391.647
AT ITER 8383 NEW BEST:: SOT 44454 SOS 14643 HAS SOPS 14643 HAS SOUS 8373 HAS SOUPS 8373 WITH SCORE 8387.643
AT ITER 8399 NEW BEST:: SOT 44454 SOS 14641 HAS SOPS 14641 HAS SOUS 8371 HAS SOUPS 8371 WITH SCORE 8385.641
AT ITER 8430 NEW BEST:: SOT 44454 SOS 14639 HAS SOPS 14639 HAS SOUS 8369 HAS SOUPS 8369 WITH SCORE 8383.639
AT ITER 8492 NEW BEST:: SOT 44433 SOS 14603 HAS SOPS 14603 HAS SOUS 8362 HAS SOUPS 8362 WITH SCORE 8376.603
AT ITER 8507 NEW BEST:: SOT 44439 SOS 14599 HAS SOPS 14599 HAS SOUS 8358 HAS SOUPS 8358 WITH SCORE 8372.599
AT ITER 8527 NEW BEST:: SOT 44433 SOS 14587 HAS SOPS 14587 HAS SOUS 8352 HAS SOUPS 8352 WITH SCORE 8366.587
AT ITER 8545 NEW BEST:: SOT 44431 SOS 14584 HAS SOPS 14584 HAS SOUS 8349 HAS SOUPS 8349 WITH SCORE 8363.584
AT ITER 8564 NEW BEST:: SOT 44425 SOS 14568 HAS SOPS 14568 HAS SOUS 8333 HAS SOUPS 8333 WITH SCORE 8347.568
AT ITER 8633 NEW BEST:: SOT 44425 SOS 14562 HAS SOPS 14562 HAS SOUS 8327 HAS SOUPS 8327 WITH SCORE 8341.562
AT ITER 8687 NEW BEST:: SOT 44422 SOS 14560 HAS SOPS 14560 HAS SOUS 8325 HAS SOUPS 8325 WITH SCORE 8339.56
AT ITER 8697 NEW BEST:: SOT 44420 SOS 14557 HAS SOPS 14557 HAS SOUS 8323 HAS SOUPS 8323 WITH SCORE 8337.557
AT ITER 8759 NEW BEST:: SOT 44410 SOS 14542 HAS SOPS 14542 HAS SOUS 8308 HAS SOUPS 8308 WITH SCORE 8322.542
AT ITER 8837 NEW BEST:: SOT 44373 SOS 14593 HAS SOPS 14593 HAS SOUS 8304 HAS SOUPS 8304 WITH SCORE 8318.593
AT ITER 8876 NEW BEST:: SOT 44374 SOS 14589 HAS SOPS 14589 HAS SOUS 8300 HAS SOUPS 8300 WITH SCORE 8314.589
AT ITER 8932 NEW BEST:: SOT 44329 SOS 14529 HAS SOPS 14529 HAS SOUS 8287 HAS SOUPS 8287 WITH SCORE 8301.529
AT ITER 8944 NEW BEST:: SOT 44293 SOS 14395 HAS SOPS 14395 HAS SOUS 8247 HAS SOUPS 8247 WITH SCORE 8261.395
AT ITER 8966 NEW BEST:: SOT 44291 SOS 14392 HAS SOPS 14392 HAS SOUS 8245 HAS SOUPS 8245 WITH SCORE 8259.392
AT ITER 9008 NEW BEST:: SOT 44287 SOS 14384 HAS SOPS 14384 HAS SOUS 8237 HAS SOUPS 8237 WITH SCORE 8251.384
AT ITER 9051 NEW BEST:: SOT 44286 SOS 14383 HAS SOPS 14383 HAS SOUS 8236 HAS SOUPS 8236 WITH SCORE 8250.383
AT ITER 9105 NEW BEST:: SOT 44278 SOS 14369 HAS SOPS 14369 HAS SOUS 8230 HAS SOUPS 8230 WITH SCORE 8244.369
AT ITER 9273 NEW BEST:: SOT 44275 SOS 14363 HAS SOPS 14363 HAS SOUS 8221 HAS SOUPS 8221 WITH SCORE 8235.363
AT ITER 9296 NEW BEST:: SOT 44275 SOS 14368 HAS SOPS 14368 HAS SOUS 8212 HAS SOUPS 8212 WITH SCORE 8226.368
AT ITER 9324 NEW BEST:: SOT 44268 SOS 14367 HAS SOPS 14367 HAS SOUS 8211 HAS SOUPS 8211 WITH SCORE 8225.367
AT ITER 9339 NEW BEST:: SOT 44260 SOS 14360 HAS SOPS 14360 HAS SOUS 8204 HAS SOUPS 8204 WITH SCORE 8218.36
AT ITER 9341 NEW BEST:: SOT 44257 SOS 14354 HAS SOPS 14354 HAS SOUS 8198 HAS SOUPS 8198 WITH SCORE 8212.354
AT ITER 9387 NEW BEST:: SOT 44253 SOS 14346 HAS SOPS 14346 HAS SOUS 8190 HAS SOUPS 8190 WITH SCORE 8204.346
AT ITER 9456 NEW BEST:: SOT 44237 SOS 14330 HAS SOPS 14330 HAS SOUS 8174 HAS SOUPS 8174 WITH SCORE 8188.33
AT ITER 9482 NEW BEST:: SOT 44227 SOS 14320 HAS SOPS 14320 HAS SOUS 8164 HAS SOUPS 8164 WITH SCORE 8178.32
AT ITER 9501 NEW BEST:: SOT 44227 SOS 14312 HAS SOPS 14312 HAS SOUS 8156 HAS SOUPS 8156 WITH SCORE 8170.312
AT ITER 9502 NEW BEST:: SOT 44220 SOS 14327 HAS SOPS 14327 HAS SOUS 8145 HAS SOUPS 8145 WITH SCORE 8159.327
AT ITER 9528 NEW BEST:: SOT 44213 SOS 14331 HAS SOPS 14331 HAS SOUS 8143 HAS SOUPS 8143 WITH SCORE 8157.331
AT ITER 9612 NEW BEST:: SOT 44205 SOS 14317 HAS SOPS 14317 HAS SOUS 8129 HAS SOUPS 8129 WITH SCORE 8143.317
AT ITER 9688 NEW BEST:: SOT 44204 SOS 14315 HAS SOPS 14315 HAS SOUS 8128 HAS SOUPS 8128 WITH SCORE 8142.315
AT ITER 9716 NEW BEST:: SOT 44195 SOS 14303 HAS SOPS 14303 HAS SOUS 8116 HAS SOUPS 8116 WITH SCORE 8130.303
AT ITER 9772 NEW BEST:: SOT 44195 SOS 14301 HAS SOPS 14301 HAS SOUS 8114 HAS SOUPS 8114 WITH SCORE 8128.301
AT ITER 9823 NEW BEST:: SOT 44191 SOS 14293 HAS SOPS 14293 HAS SOUS 8106 HAS SOUPS 8106 WITH SCORE 8120.293
AT ITER 9937 NEW BEST:: SOT 44172 SOS 14274 HAS SOPS 14274 HAS SOUS 8101 HAS SOUPS 8101 WITH SCORE 8115.274
AT ITER 9940 NEW BEST:: SOT 44152 SOS 14254 HAS SOPS 14254 HAS SOUS 8092 HAS SOUPS 8092 WITH SCORE 8106.254
STATE_SPACE STATES 219702042353 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 25 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 2557520010237 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678790141593

--------------------
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="BusinessProcesses-PT-04"
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 BusinessProcesses-PT-04, 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 r043-tajo-167813696900480"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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