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.r267-smll-167863541900464.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is PermAdmissibility-COL-01, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r267-smll-167863541900464
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 508K
-rw-r--r-- 1 mcc users 7.0K Feb 26 01:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 74K Feb 26 01:20 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 26 01:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 26 01:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 01:28 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 109K Feb 26 01:28 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 01:27 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 88K Feb 26 01:27 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 54K 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 1678890388975

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=PermAdmissibility-COL-01
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-15 14:26:31] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-15 14:26:31] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-15 14:26:32] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-15 14:26:32] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-15 14:26:32] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 851 ms
[2023-03-15 14:26:32] [INFO ] Imported 40 HL places and 16 HL transitions for a total of 208 PT places and 1024.0 transition bindings in 26 ms.
[2023-03-15 14:26:32] [INFO ] Unfolded HLPN to a Petri net with 208 places and 1024 transitions 5984 arcs in 65 ms.
[2023-03-15 14:26:32] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-15 14:26:32] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 208 places, 1024 transitions and 5984 arcs took 20 ms.
Total runtime 1222 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PermAdmissibility (COL), instance 01
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: 208 places, 1024 transitions, 5984 arcs.
AT ITER 0 NEW BEST:: SOT 141705 SOS 83173 HAS SOPS 83173 HAS SOUS 52109 HAS SOUPS 52109 WITH SCORE 52192.173
AT ITER 32 NEW BEST:: SOT 141769 SOS 83237 HAS SOPS 83237 HAS SOUS 52061 HAS SOUPS 52061 WITH SCORE 52144.237
AT ITER 49 NEW BEST:: SOT 141769 SOS 83237 HAS SOPS 83237 HAS SOUS 52005 HAS SOUPS 52005 WITH SCORE 52088.237
AT ITER 51 NEW BEST:: SOT 141768 SOS 83236 HAS SOPS 83236 HAS SOUS 51923 HAS SOUPS 51923 WITH SCORE 52006.236
AT ITER 57 NEW BEST:: SOT 141709 SOS 83265 HAS SOPS 83265 HAS SOUS 51896 HAS SOUPS 51896 WITH SCORE 51979.265
AT ITER 61 NEW BEST:: SOT 141601 SOS 83293 HAS SOPS 83293 HAS SOUS 51652 HAS SOUPS 51652 WITH SCORE 51735.293
AT ITER 71 NEW BEST:: SOT 141601 SOS 83565 HAS SOPS 83565 HAS SOUS 51581 HAS SOUPS 51581 WITH SCORE 51664.565
AT ITER 76 NEW BEST:: SOT 141601 SOS 83565 HAS SOPS 83565 HAS SOUS 51576 HAS SOUPS 51576 WITH SCORE 51659.565
AT ITER 79 NEW BEST:: SOT 141137 SOS 83101 HAS SOPS 83101 HAS SOUS 51216 HAS SOUPS 51216 WITH SCORE 51299.101
AT ITER 90 NEW BEST:: SOT 140488 SOS 82548 HAS SOPS 82548 HAS SOUS 50968 HAS SOUPS 50968 WITH SCORE 51050.548
AT ITER 115 NEW BEST:: SOT 140476 SOS 82872 HAS SOPS 82872 HAS SOUS 50914 HAS SOUPS 50914 WITH SCORE 50996.872
AT ITER 132 NEW BEST:: SOT 140393 SOS 82847 HAS SOPS 82847 HAS SOUS 50784 HAS SOUPS 50784 WITH SCORE 50866.847
AT ITER 135 NEW BEST:: SOT 140393 SOS 82847 HAS SOPS 82847 HAS SOUS 50760 HAS SOUPS 50760 WITH SCORE 50842.847
AT ITER 156 NEW BEST:: SOT 139775 SOS 82646 HAS SOPS 82646 HAS SOUS 50714 HAS SOUPS 50714 WITH SCORE 50796.646
AT ITER 171 NEW BEST:: SOT 139775 SOS 82646 HAS SOPS 82646 HAS SOUS 50684 HAS SOUPS 50684 WITH SCORE 50766.646
AT ITER 205 NEW BEST:: SOT 139302 SOS 82439 HAS SOPS 82439 HAS SOUS 50543 HAS SOUPS 50543 WITH SCORE 50625.439
AT ITER 214 NEW BEST:: SOT 139254 SOS 82487 HAS SOPS 82487 HAS SOUS 50492 HAS SOUPS 50492 WITH SCORE 50574.487
AT ITER 225 NEW BEST:: SOT 139382 SOS 83926 HAS SOPS 83926 HAS SOUS 50364 HAS SOUPS 50364 WITH SCORE 50447.926
AT ITER 240 NEW BEST:: SOT 137370 SOS 84642 HAS SOPS 84642 HAS SOUS 48082 HAS SOUPS 48082 WITH SCORE 48166.642
AT ITER 251 NEW BEST:: SOT 137688 SOS 85000 HAS SOPS 85000 HAS SOUS 48010 HAS SOUPS 48010 WITH SCORE 48095.0
AT ITER 266 NEW BEST:: SOT 137531 SOS 84843 HAS SOPS 84843 HAS SOUS 47923 HAS SOUPS 47923 WITH SCORE 48007.843
AT ITER 270 NEW BEST:: SOT 137531 SOS 84843 HAS SOPS 84843 HAS SOUS 47891 HAS SOUPS 47891 WITH SCORE 47975.843
AT ITER 294 NEW BEST:: SOT 137071 SOS 84383 HAS SOPS 84383 HAS SOUS 47653 HAS SOUPS 47653 WITH SCORE 47737.383
AT ITER 296 NEW BEST:: SOT 137370 SOS 84682 HAS SOPS 84682 HAS SOUS 47611 HAS SOUPS 47611 WITH SCORE 47695.682
AT ITER 313 NEW BEST:: SOT 137285 SOS 85093 HAS SOPS 85093 HAS SOUS 47517 HAS SOUPS 47517 WITH SCORE 47602.093
AT ITER 326 NEW BEST:: SOT 137313 SOS 85121 HAS SOPS 85121 HAS SOUS 47489 HAS SOUPS 47489 WITH SCORE 47574.121
AT ITER 327 NEW BEST:: SOT 137533 SOS 85373 HAS SOPS 85373 HAS SOUS 47374 HAS SOUPS 47374 WITH SCORE 47459.373
AT ITER 334 NEW BEST:: SOT 137512 SOS 85352 HAS SOPS 85352 HAS SOUS 46957 HAS SOUPS 46957 WITH SCORE 47042.352
AT ITER 377 NEW BEST:: SOT 137534 SOS 85374 HAS SOPS 85374 HAS SOUS 46947 HAS SOUPS 46947 WITH SCORE 47032.374
AT ITER 419 NEW BEST:: SOT 137536 SOS 85376 HAS SOPS 85376 HAS SOUS 46928 HAS SOUPS 46928 WITH SCORE 47013.376
AT ITER 428 NEW BEST:: SOT 137392 SOS 85232 HAS SOPS 85232 HAS SOUS 46908 HAS SOUPS 46908 WITH SCORE 46993.232
AT ITER 439 NEW BEST:: SOT 137394 SOS 85224 HAS SOPS 85224 HAS SOUS 46684 HAS SOUPS 46684 WITH SCORE 46769.224
AT ITER 441 NEW BEST:: SOT 137394 SOS 85224 HAS SOPS 85224 HAS SOUS 46620 HAS SOUPS 46620 WITH SCORE 46705.224
AT ITER 444 NEW BEST:: SOT 137362 SOS 85280 HAS SOPS 85280 HAS SOUS 46579 HAS SOUPS 46579 WITH SCORE 46664.28
AT ITER 464 NEW BEST:: SOT 137234 SOS 84597 HAS SOPS 84597 HAS SOUS 46478 HAS SOUPS 46478 WITH SCORE 46562.597
AT ITER 467 NEW BEST:: SOT 137190 SOS 84553 HAS SOPS 84553 HAS SOUS 46474 HAS SOUPS 46474 WITH SCORE 46558.553
AT ITER 483 NEW BEST:: SOT 137588 SOS 84951 HAS SOPS 84951 HAS SOUS 46189 HAS SOUPS 46189 WITH SCORE 46273.951
AT ITER 484 NEW BEST:: SOT 137517 SOS 84880 HAS SOPS 84880 HAS SOUS 46142 HAS SOUPS 46142 WITH SCORE 46226.88
AT ITER 488 NEW BEST:: SOT 137517 SOS 84868 HAS SOPS 84868 HAS SOUS 46119 HAS SOUPS 46119 WITH SCORE 46203.868
AT ITER 499 NEW BEST:: SOT 137509 SOS 84860 HAS SOPS 84860 HAS SOUS 46047 HAS SOUPS 46047 WITH SCORE 46131.86
AT ITER 529 NEW BEST:: SOT 137493 SOS 84844 HAS SOPS 84844 HAS SOUS 46015 HAS SOUPS 46015 WITH SCORE 46099.844
AT ITER 533 NEW BEST:: SOT 137347 SOS 85194 HAS SOPS 85194 HAS SOUS 45996 HAS SOUPS 45996 WITH SCORE 46081.194
AT ITER 585 NEW BEST:: SOT 137320 SOS 85750 HAS SOPS 85750 HAS SOUS 45995 HAS SOUPS 45995 WITH SCORE 46080.75
AT ITER 597 NEW BEST:: SOT 137275 SOS 85825 HAS SOPS 85825 HAS SOUS 45826 HAS SOUPS 45826 WITH SCORE 45911.825
AT ITER 615 NEW BEST:: SOT 137180 SOS 88418 HAS SOPS 88418 HAS SOUS 45763 HAS SOUPS 45763 WITH SCORE 45851.418
AT ITER 632 NEW BEST:: SOT 137128 SOS 88366 HAS SOPS 88366 HAS SOUS 45687 HAS SOUPS 45687 WITH SCORE 45775.366
AT ITER 638 NEW BEST:: SOT 137084 SOS 88365 HAS SOPS 88365 HAS SOUS 45604 HAS SOUPS 45604 WITH SCORE 45692.365
AT ITER 641 NEW BEST:: SOT 137084 SOS 88324 HAS SOPS 88324 HAS SOUS 45489 HAS SOUPS 45489 WITH SCORE 45577.324
AT ITER 643 NEW BEST:: SOT 136984 SOS 88231 HAS SOPS 88231 HAS SOUS 45448 HAS SOUPS 45448 WITH SCORE 45536.231
AT ITER 645 NEW BEST:: SOT 136976 SOS 88223 HAS SOPS 88223 HAS SOUS 45447 HAS SOUPS 45447 WITH SCORE 45535.223
AT ITER 646 NEW BEST:: SOT 136958 SOS 88205 HAS SOPS 88205 HAS SOUS 45397 HAS SOUPS 45397 WITH SCORE 45485.205
AT ITER 694 NEW BEST:: SOT 136888 SOS 89677 HAS SOPS 89677 HAS SOUS 45025 HAS SOUPS 45025 WITH SCORE 45114.677
AT ITER 719 NEW BEST:: SOT 136888 SOS 89677 HAS SOPS 89677 HAS SOUS 45001 HAS SOUPS 45001 WITH SCORE 45090.677
AT ITER 721 NEW BEST:: SOT 137190 SOS 90533 HAS SOPS 90533 HAS SOUS 44954 HAS SOUPS 44954 WITH SCORE 45044.533
AT ITER 737 NEW BEST:: SOT 137128 SOS 90471 HAS SOPS 90471 HAS SOUS 44912 HAS SOUPS 44912 WITH SCORE 45002.471
AT ITER 768 NEW BEST:: SOT 137262 SOS 90189 HAS SOPS 90189 HAS SOUS 44910 HAS SOUPS 44910 WITH SCORE 45000.189
AT ITER 787 NEW BEST:: SOT 137192 SOS 90184 HAS SOPS 90184 HAS SOUS 44757 HAS SOUPS 44757 WITH SCORE 44847.184
AT ITER 788 NEW BEST:: SOT 137011 SOS 90060 HAS SOPS 90060 HAS SOUS 44672 HAS SOUPS 44672 WITH SCORE 44762.06
AT ITER 797 NEW BEST:: SOT 137086 SOS 90359 HAS SOPS 90359 HAS SOUS 44407 HAS SOUPS 44407 WITH SCORE 44497.359
AT ITER 824 NEW BEST:: SOT 136925 SOS 90068 HAS SOPS 90068 HAS SOUS 44226 HAS SOUPS 44226 WITH SCORE 44316.068
AT ITER 829 NEW BEST:: SOT 136912 SOS 90055 HAS SOPS 90055 HAS SOUS 44151 HAS SOUPS 44151 WITH SCORE 44241.055
AT ITER 838 NEW BEST:: SOT 136912 SOS 89943 HAS SOPS 89943 HAS SOUS 44147 HAS SOUPS 44147 WITH SCORE 44236.943
AT ITER 852 NEW BEST:: SOT 136899 SOS 89954 HAS SOPS 89954 HAS SOUS 44135 HAS SOUPS 44135 WITH SCORE 44224.954
AT ITER 904 NEW BEST:: SOT 137095 SOS 90158 HAS SOPS 90158 HAS SOUS 44009 HAS SOUPS 44009 WITH SCORE 44099.158
AT ITER 920 NEW BEST:: SOT 137051 SOS 89920 HAS SOPS 89920 HAS SOUS 43694 HAS SOUPS 43694 WITH SCORE 43783.92
AT ITER 932 NEW BEST:: SOT 137069 SOS 89938 HAS SOPS 89938 HAS SOUS 43692 HAS SOUPS 43692 WITH SCORE 43781.938
AT ITER 934 NEW BEST:: SOT 137159 SOS 90562 HAS SOPS 90562 HAS SOUS 43517 HAS SOUPS 43517 WITH SCORE 43607.562
AT ITER 940 NEW BEST:: SOT 137120 SOS 90523 HAS SOPS 90523 HAS SOUS 43448 HAS SOUPS 43448 WITH SCORE 43538.523
AT ITER 941 NEW BEST:: SOT 137099 SOS 90502 HAS SOPS 90502 HAS SOUS 43448 HAS SOUPS 43448 WITH SCORE 43538.502
AT ITER 942 NEW BEST:: SOT 137089 SOS 90492 HAS SOPS 90492 HAS SOUS 43438 HAS SOUPS 43438 WITH SCORE 43528.492
AT ITER 955 NEW BEST:: SOT 137135 SOS 90127 HAS SOPS 90127 HAS SOUS 43424 HAS SOUPS 43424 WITH SCORE 43514.127
AT ITER 962 NEW BEST:: SOT 136816 SOS 89791 HAS SOPS 89791 HAS SOUS 43358 HAS SOUPS 43358 WITH SCORE 43447.791
AT ITER 979 NEW BEST:: SOT 136819 SOS 89794 HAS SOPS 89794 HAS SOUS 43356 HAS SOUPS 43356 WITH SCORE 43445.794
AT ITER 993 NEW BEST:: SOT 136809 SOS 89814 HAS SOPS 89814 HAS SOUS 43343 HAS SOUPS 43343 WITH SCORE 43432.814
AT ITER 1007 NEW BEST:: SOT 136449 SOS 89454 HAS SOPS 89454 HAS SOUS 42983 HAS SOUPS 42983 WITH SCORE 43072.454
AT ITER 1015 NEW BEST:: SOT 136476 SOS 89456 HAS SOPS 89456 HAS SOUS 42978 HAS SOUPS 42978 WITH SCORE 43067.456
AT ITER 1026 NEW BEST:: SOT 136476 SOS 89455 HAS SOPS 89455 HAS SOUS 42974 HAS SOUPS 42974 WITH SCORE 43063.455
AT ITER 1027 NEW BEST:: SOT 136482 SOS 88240 HAS SOPS 88240 HAS SOUS 42952 HAS SOUPS 42952 WITH SCORE 43040.24
AT ITER 1029 NEW BEST:: SOT 136450 SOS 88208 HAS SOPS 88208 HAS SOUS 42920 HAS SOUPS 42920 WITH SCORE 43008.208
AT ITER 1062 NEW BEST:: SOT 136394 SOS 88152 HAS SOPS 88152 HAS SOUS 42920 HAS SOUPS 42920 WITH SCORE 43008.152
AT ITER 1074 NEW BEST:: SOT 136200 SOS 87944 HAS SOPS 87944 HAS SOUS 42598 HAS SOUPS 42598 WITH SCORE 42685.944
AT ITER 1079 NEW BEST:: SOT 136203 SOS 88067 HAS SOPS 88067 HAS SOUS 42580 HAS SOUPS 42580 WITH SCORE 42668.067
AT ITER 1097 NEW BEST:: SOT 136300 SOS 88785 HAS SOPS 88785 HAS SOUS 42375 HAS SOUPS 42375 WITH SCORE 42463.785
AT ITER 1099 NEW BEST:: SOT 136172 SOS 88657 HAS SOPS 88657 HAS SOUS 42247 HAS SOUPS 42247 WITH SCORE 42335.657
AT ITER 1106 NEW BEST:: SOT 136037 SOS 88610 HAS SOPS 88610 HAS SOUS 42169 HAS SOUPS 42169 WITH SCORE 42257.61
AT ITER 1129 NEW BEST:: SOT 136037 SOS 88610 HAS SOPS 88610 HAS SOUS 42090 HAS SOUPS 42090 WITH SCORE 42178.61
AT ITER 1133 NEW BEST:: SOT 135645 SOS 88218 HAS SOPS 88218 HAS SOUS 41969 HAS SOUPS 41969 WITH SCORE 42057.218
AT ITER 1135 NEW BEST:: SOT 135599 SOS 88172 HAS SOPS 88172 HAS SOUS 41779 HAS SOUPS 41779 WITH SCORE 41867.172
AT ITER 1146 NEW BEST:: SOT 135597 SOS 88170 HAS SOPS 88170 HAS SOUS 41753 HAS SOUPS 41753 WITH SCORE 41841.17
AT ITER 1150 NEW BEST:: SOT 135542 SOS 88051 HAS SOPS 88051 HAS SOUS 41710 HAS SOUPS 41710 WITH SCORE 41798.051
AT ITER 1152 NEW BEST:: SOT 135428 SOS 87937 HAS SOPS 87937 HAS SOUS 41692 HAS SOUPS 41692 WITH SCORE 41779.937
AT ITER 1155 NEW BEST:: SOT 135408 SOS 87917 HAS SOPS 87917 HAS SOUS 41688 HAS SOUPS 41688 WITH SCORE 41775.917
AT ITER 1157 NEW BEST:: SOT 135260 SOS 88225 HAS SOPS 88225 HAS SOUS 41671 HAS SOUPS 41671 WITH SCORE 41759.225
AT ITER 1159 NEW BEST:: SOT 135227 SOS 88234 HAS SOPS 88234 HAS SOUS 41618 HAS SOUPS 41618 WITH SCORE 41706.234
AT ITER 1171 NEW BEST:: SOT 134781 SOS 88882 HAS SOPS 88882 HAS SOUS 41273 HAS SOUPS 41273 WITH SCORE 41361.882
AT ITER 1180 NEW BEST:: SOT 134753 SOS 88854 HAS SOPS 88854 HAS SOUS 41252 HAS SOUPS 41252 WITH SCORE 41340.854
AT ITER 1186 NEW BEST:: SOT 134756 SOS 88857 HAS SOPS 88857 HAS SOUS 41247 HAS SOUPS 41247 WITH SCORE 41335.857
AT ITER 1206 NEW BEST:: SOT 134531 SOS 89136 HAS SOPS 89136 HAS SOUS 41093 HAS SOUPS 41093 WITH SCORE 41182.136
AT ITER 1207 NEW BEST:: SOT 134369 SOS 89490 HAS SOPS 89490 HAS SOUS 40828 HAS SOUPS 40828 WITH SCORE 40917.49
AT ITER 1245 NEW BEST:: SOT 134369 SOS 89314 HAS SOPS 89314 HAS SOUS 40826 HAS SOUPS 40826 WITH SCORE 40915.314
AT ITER 1264 NEW BEST:: SOT 134350 SOS 89295 HAS SOPS 89295 HAS SOUS 40751 HAS SOUPS 40751 WITH SCORE 40840.295
AT ITER 1305 NEW BEST:: SOT 134350 SOS 89047 HAS SOPS 89047 HAS SOUS 40747 HAS SOUPS 40747 WITH SCORE 40836.047
AT ITER 1308 NEW BEST:: SOT 134336 SOS 89033 HAS SOPS 89033 HAS SOUS 40733 HAS SOUPS 40733 WITH SCORE 40822.033
AT ITER 1314 NEW BEST:: SOT 134588 SOS 90630 HAS SOPS 90630 HAS SOUS 40692 HAS SOUPS 40692 WITH SCORE 40782.63
AT ITER 1381 NEW BEST:: SOT 134716 SOS 90790 HAS SOPS 90790 HAS SOUS 40371 HAS SOUPS 40371 WITH SCORE 40461.79
AT ITER 1401 NEW BEST:: SOT 134688 SOS 90762 HAS SOPS 90762 HAS SOUS 40316 HAS SOUPS 40316 WITH SCORE 40406.762
AT ITER 1405 NEW BEST:: SOT 134708 SOS 91814 HAS SOPS 91814 HAS SOUS 40261 HAS SOUPS 40261 WITH SCORE 40352.814
AT ITER 1410 NEW BEST:: SOT 134705 SOS 91811 HAS SOPS 91811 HAS SOUS 40250 HAS SOUPS 40250 WITH SCORE 40341.811
AT ITER 1430 NEW BEST:: SOT 134689 SOS 91795 HAS SOPS 91795 HAS SOUS 40210 HAS SOUPS 40210 WITH SCORE 40301.795
AT ITER 1453 NEW BEST:: SOT 134641 SOS 91740 HAS SOPS 91740 HAS SOUS 40158 HAS SOUPS 40158 WITH SCORE 40249.74
AT ITER 1456 NEW BEST:: SOT 134598 SOS 91697 HAS SOPS 91697 HAS SOUS 40115 HAS SOUPS 40115 WITH SCORE 40206.697
AT ITER 1469 NEW BEST:: SOT 134687 SOS 91786 HAS SOPS 91786 HAS SOUS 40093 HAS SOUPS 40093 WITH SCORE 40184.786
AT ITER 1479 NEW BEST:: SOT 134711 SOS 91810 HAS SOPS 91810 HAS SOUS 40089 HAS SOUPS 40089 WITH SCORE 40180.81
AT ITER 1482 NEW BEST:: SOT 134771 SOS 92200 HAS SOPS 92200 HAS SOUS 40084 HAS SOUPS 40084 WITH SCORE 40176.2
AT ITER 1484 NEW BEST:: SOT 134675 SOS 92104 HAS SOPS 92104 HAS SOUS 39988 HAS SOUPS 39988 WITH SCORE 40080.104
AT ITER 1486 NEW BEST:: SOT 134557 SOS 91986 HAS SOPS 91986 HAS SOUS 39967 HAS SOUPS 39967 WITH SCORE 40058.986
AT ITER 1504 NEW BEST:: SOT 134525 SOS 91954 HAS SOPS 91954 HAS SOUS 39927 HAS SOUPS 39927 WITH SCORE 40018.954
AT ITER 1521 NEW BEST:: SOT 134250 SOS 91679 HAS SOPS 91679 HAS SOUS 39790 HAS SOUPS 39790 WITH SCORE 39881.679
AT ITER 1533 NEW BEST:: SOT 134308 SOS 91886 HAS SOPS 91886 HAS SOUS 39768 HAS SOUPS 39768 WITH SCORE 39859.886
AT ITER 1538 NEW BEST:: SOT 134308 SOS 91888 HAS SOPS 91888 HAS SOUS 39752 HAS SOUPS 39752 WITH SCORE 39843.888
AT ITER 1545 NEW BEST:: SOT 134305 SOS 91885 HAS SOPS 91885 HAS SOUS 39730 HAS SOUPS 39730 WITH SCORE 39821.885
AT ITER 1555 NEW BEST:: SOT 134514 SOS 91996 HAS SOPS 91996 HAS SOUS 39474 HAS SOUPS 39474 WITH SCORE 39565.996
AT ITER 1560 NEW BEST:: SOT 134490 SOS 91721 HAS SOPS 91721 HAS SOUS 39457 HAS SOUPS 39457 WITH SCORE 39548.721
AT ITER 1569 NEW BEST:: SOT 134490 SOS 91721 HAS SOPS 91721 HAS SOUS 39456 HAS SOUPS 39456 WITH SCORE 39547.721
AT ITER 1572 NEW BEST:: SOT 134332 SOS 91563 HAS SOPS 91563 HAS SOUS 39362 HAS SOUPS 39362 WITH SCORE 39453.563
AT ITER 1596 NEW BEST:: SOT 134326 SOS 91644 HAS SOPS 91644 HAS SOUS 39197 HAS SOUPS 39197 WITH SCORE 39288.644
AT ITER 1606 NEW BEST:: SOT 134318 SOS 91636 HAS SOPS 91636 HAS SOUS 39189 HAS SOUPS 39189 WITH SCORE 39280.636
AT ITER 1607 NEW BEST:: SOT 133620 SOS 90321 HAS SOPS 90321 HAS SOUS 38519 HAS SOUPS 38519 WITH SCORE 38609.321
AT ITER 1609 NEW BEST:: SOT 133566 SOS 90267 HAS SOPS 90267 HAS SOUS 38183 HAS SOUPS 38183 WITH SCORE 38273.267
AT ITER 1618 NEW BEST:: SOT 133566 SOS 90402 HAS SOPS 90402 HAS SOUS 38181 HAS SOUPS 38181 WITH SCORE 38271.402
AT ITER 1622 NEW BEST:: SOT 133566 SOS 86617 HAS SOPS 86617 HAS SOUS 38151 HAS SOUPS 38151 WITH SCORE 38237.617
AT ITER 1625 NEW BEST:: SOT 133573 SOS 86624 HAS SOPS 86624 HAS SOUS 38054 HAS SOUPS 38054 WITH SCORE 38140.624
AT ITER 1645 NEW BEST:: SOT 133389 SOS 86880 HAS SOPS 86880 HAS SOUS 37941 HAS SOUPS 37941 WITH SCORE 38027.88
AT ITER 1647 NEW BEST:: SOT 133461 SOS 87312 HAS SOPS 87312 HAS SOUS 37587 HAS SOUPS 37587 WITH SCORE 37674.312
AT ITER 1650 NEW BEST:: SOT 133437 SOS 87344 HAS SOPS 87344 HAS SOUS 37552 HAS SOUPS 37552 WITH SCORE 37639.344
AT ITER 1681 NEW BEST:: SOT 133388 SOS 87102 HAS SOPS 87102 HAS SOUS 37471 HAS SOUPS 37471 WITH SCORE 37558.102
AT ITER 1682 NEW BEST:: SOT 133318 SOS 87032 HAS SOPS 87032 HAS SOUS 37279 HAS SOUPS 37279 WITH SCORE 37366.032
AT ITER 1686 NEW BEST:: SOT 133333 SOS 87314 HAS SOPS 87314 HAS SOUS 37259 HAS SOUPS 37259 WITH SCORE 37346.314
AT ITER 1697 NEW BEST:: SOT 133333 SOS 86741 HAS SOPS 86741 HAS SOUS 37187 HAS SOUPS 37187 WITH SCORE 37273.741
AT ITER 1723 NEW BEST:: SOT 133434 SOS 86799 HAS SOPS 86799 HAS SOUS 37129 HAS SOUPS 37129 WITH SCORE 37215.799
AT ITER 1747 NEW BEST:: SOT 133425 SOS 86790 HAS SOPS 86790 HAS SOUS 37101 HAS SOUPS 37101 WITH SCORE 37187.79
AT ITER 1757 NEW BEST:: SOT 133357 SOS 86722 HAS SOPS 86722 HAS SOUS 37099 HAS SOUPS 37099 WITH SCORE 37185.722
AT ITER 1761 NEW BEST:: SOT 133260 SOS 86625 HAS SOPS 86625 HAS SOUS 37002 HAS SOUPS 37002 WITH SCORE 37088.625
AT ITER 1764 NEW BEST:: SOT 133490 SOS 86855 HAS SOPS 86855 HAS SOUS 36962 HAS SOUPS 36962 WITH SCORE 37048.855
AT ITER 1768 NEW BEST:: SOT 133481 SOS 86846 HAS SOPS 86846 HAS SOUS 36950 HAS SOUPS 36950 WITH SCORE 37036.846
AT ITER 1779 NEW BEST:: SOT 133517 SOS 86970 HAS SOPS 86970 HAS SOUS 36869 HAS SOUPS 36869 WITH SCORE 36955.97
AT ITER 1782 NEW BEST:: SOT 133517 SOS 86887 HAS SOPS 86887 HAS SOUS 36834 HAS SOUPS 36834 WITH SCORE 36920.887
AT ITER 1786 NEW BEST:: SOT 133674 SOS 90564 HAS SOPS 90564 HAS SOUS 36806 HAS SOUPS 36806 WITH SCORE 36896.564
AT ITER 1791 NEW BEST:: SOT 133663 SOS 90553 HAS SOPS 90553 HAS SOUS 36789 HAS SOUPS 36789 WITH SCORE 36879.553
AT ITER 1796 NEW BEST:: SOT 133663 SOS 90553 HAS SOPS 90553 HAS SOUS 36759 HAS SOUPS 36759 WITH SCORE 36849.553
AT ITER 1815 NEW BEST:: SOT 133613 SOS 90503 HAS SOPS 90503 HAS SOUS 36686 HAS SOUPS 36686 WITH SCORE 36776.503
AT ITER 1868 NEW BEST:: SOT 133372 SOS 90454 HAS SOPS 90454 HAS SOUS 36430 HAS SOUPS 36430 WITH SCORE 36520.454
AT ITER 1901 NEW BEST:: SOT 133290 SOS 90372 HAS SOPS 90372 HAS SOUS 36372 HAS SOUPS 36372 WITH SCORE 36462.372
AT ITER 1904 NEW BEST:: SOT 133321 SOS 90659 HAS SOPS 90659 HAS SOUS 36360 HAS SOUPS 36360 WITH SCORE 36450.659
AT ITER 1915 NEW BEST:: SOT 133311 SOS 90649 HAS SOPS 90649 HAS SOUS 36342 HAS SOUPS 36342 WITH SCORE 36432.649
AT ITER 1936 NEW BEST:: SOT 133313 SOS 90619 HAS SOPS 90619 HAS SOUS 36342 HAS SOUPS 36342 WITH SCORE 36432.619
AT ITER 1945 NEW BEST:: SOT 133271 SOS 90577 HAS SOPS 90577 HAS SOUS 36252 HAS SOUPS 36252 WITH SCORE 36342.577
AT ITER 1967 NEW BEST:: SOT 133141 SOS 90447 HAS SOPS 90447 HAS SOUS 36202 HAS SOUPS 36202 WITH SCORE 36292.447
AT ITER 1992 NEW BEST:: SOT 133130 SOS 90348 HAS SOPS 90348 HAS SOUS 36201 HAS SOUPS 36201 WITH SCORE 36291.348
AT ITER 2002 NEW BEST:: SOT 133130 SOS 90468 HAS SOPS 90468 HAS SOUS 36082 HAS SOUPS 36082 WITH SCORE 36172.468
AT ITER 2030 NEW BEST:: SOT 133356 SOS 91246 HAS SOPS 91246 HAS SOUS 36048 HAS SOUPS 36048 WITH SCORE 36139.246
AT ITER 2048 NEW BEST:: SOT 133356 SOS 92086 HAS SOPS 92086 HAS SOUS 35950 HAS SOUPS 35950 WITH SCORE 36042.086
AT ITER 2056 NEW BEST:: SOT 133027 SOS 90944 HAS SOPS 90944 HAS SOUS 35897 HAS SOUPS 35897 WITH SCORE 35987.944
AT ITER 2090 NEW BEST:: SOT 133024 SOS 90813 HAS SOPS 90813 HAS SOUS 35877 HAS SOUPS 35877 WITH SCORE 35967.813
AT ITER 2111 NEW BEST:: SOT 133021 SOS 90810 HAS SOPS 90810 HAS SOUS 35850 HAS SOUPS 35850 WITH SCORE 35940.81
AT ITER 2123 NEW BEST:: SOT 132949 SOS 90738 HAS SOPS 90738 HAS SOUS 35722 HAS SOUPS 35722 WITH SCORE 35812.738
AT ITER 2127 NEW BEST:: SOT 132957 SOS 90746 HAS SOPS 90746 HAS SOUS 35710 HAS SOUPS 35710 WITH SCORE 35800.746
AT ITER 2131 NEW BEST:: SOT 132804 SOS 90279 HAS SOPS 90279 HAS SOUS 35660 HAS SOUPS 35660 WITH SCORE 35750.279
AT ITER 2135 NEW BEST:: SOT 132802 SOS 90197 HAS SOPS 90197 HAS SOUS 35634 HAS SOUPS 35634 WITH SCORE 35724.197
AT ITER 2159 NEW BEST:: SOT 132802 SOS 90197 HAS SOPS 90197 HAS SOUS 35631 HAS SOUPS 35631 WITH SCORE 35721.197
AT ITER 2162 NEW BEST:: SOT 132785 SOS 90180 HAS SOPS 90180 HAS SOUS 35615 HAS SOUPS 35615 WITH SCORE 35705.18
AT ITER 2169 NEW BEST:: SOT 132774 SOS 90169 HAS SOPS 90169 HAS SOUS 35605 HAS SOUPS 35605 WITH SCORE 35695.169
AT ITER 2178 NEW BEST:: SOT 132749 SOS 90144 HAS SOPS 90144 HAS SOUS 35564 HAS SOUPS 35564 WITH SCORE 35654.144
AT ITER 2204 NEW BEST:: SOT 132749 SOS 90123 HAS SOPS 90123 HAS SOUS 35503 HAS SOUPS 35503 WITH SCORE 35593.123
AT ITER 2213 NEW BEST:: SOT 132675 SOS 89985 HAS SOPS 89985 HAS SOUS 35493 HAS SOUPS 35493 WITH SCORE 35582.985
AT ITER 2221 NEW BEST:: SOT 132895 SOS 90303 HAS SOPS 90303 HAS SOUS 35469 HAS SOUPS 35469 WITH SCORE 35559.303
AT ITER 2253 NEW BEST:: SOT 132895 SOS 90303 HAS SOPS 90303 HAS SOUS 35431 HAS SOUPS 35431 WITH SCORE 35521.303
AT ITER 2267 NEW BEST:: SOT 132662 SOS 90286 HAS SOPS 90286 HAS SOUS 34954 HAS SOUPS 34954 WITH SCORE 35044.286
AT ITER 2294 NEW BEST:: SOT 132572 SOS 90204 HAS SOPS 90204 HAS SOUS 34849 HAS SOUPS 34849 WITH SCORE 34939.204
AT ITER 2299 NEW BEST:: SOT 132571 SOS 90384 HAS SOPS 90384 HAS SOUS 34760 HAS SOUPS 34760 WITH SCORE 34850.384
AT ITER 2336 NEW BEST:: SOT 132583 SOS 90392 HAS SOPS 90392 HAS SOUS 34752 HAS SOUPS 34752 WITH SCORE 34842.392
AT ITER 2346 NEW BEST:: SOT 132454 SOS 90263 HAS SOPS 90263 HAS SOUS 34735 HAS SOUPS 34735 WITH SCORE 34825.263
AT ITER 2355 NEW BEST:: SOT 132463 SOS 90362 HAS SOPS 90362 HAS SOUS 34734 HAS SOUPS 34734 WITH SCORE 34824.362
AT ITER 2373 NEW BEST:: SOT 132477 SOS 90336 HAS SOPS 90336 HAS SOUS 34530 HAS SOUPS 34530 WITH SCORE 34620.336
AT ITER 2400 NEW BEST:: SOT 132477 SOS 89976 HAS SOPS 89976 HAS SOUS 34528 HAS SOUPS 34528 WITH SCORE 34617.976
AT ITER 2412 NEW BEST:: SOT 132762 SOS 90493 HAS SOPS 90493 HAS SOUS 34506 HAS SOUPS 34506 WITH SCORE 34596.493
AT ITER 2427 NEW BEST:: SOT 132748 SOS 90479 HAS SOPS 90479 HAS SOUS 34492 HAS SOUPS 34492 WITH SCORE 34582.479
AT ITER 2429 NEW BEST:: SOT 132822 SOS 90665 HAS SOPS 90665 HAS SOUS 34342 HAS SOUPS 34342 WITH SCORE 34432.665
AT ITER 2455 NEW BEST:: SOT 132781 SOS 90624 HAS SOPS 90624 HAS SOUS 34342 HAS SOUPS 34342 WITH SCORE 34432.624
AT ITER 2464 NEW BEST:: SOT 132643 SOS 90493 HAS SOPS 90493 HAS SOUS 34296 HAS SOUPS 34296 WITH SCORE 34386.493
AT ITER 2469 NEW BEST:: SOT 132747 SOS 90741 HAS SOPS 90741 HAS SOUS 34195 HAS SOUPS 34195 WITH SCORE 34285.741
AT ITER 2470 NEW BEST:: SOT 132748 SOS 90742 HAS SOPS 90742 HAS SOUS 34188 HAS SOUPS 34188 WITH SCORE 34278.742
AT ITER 2498 NEW BEST:: SOT 132750 SOS 90926 HAS SOPS 90926 HAS SOUS 34074 HAS SOUPS 34074 WITH SCORE 34164.926
AT ITER 2529 NEW BEST:: SOT 132697 SOS 90970 HAS SOPS 90970 HAS SOUS 34044 HAS SOUPS 34044 WITH SCORE 34134.97
AT ITER 2539 NEW BEST:: SOT 132792 SOS 90954 HAS SOPS 90954 HAS SOUS 34032 HAS SOUPS 34032 WITH SCORE 34122.954
AT ITER 2543 NEW BEST:: SOT 132494 SOS 90612 HAS SOPS 90612 HAS SOUS 33817 HAS SOUPS 33817 WITH SCORE 33907.612
AT ITER 2557 NEW BEST:: SOT 132300 SOS 90418 HAS SOPS 90418 HAS SOUS 33554 HAS SOUPS 33554 WITH SCORE 33644.418
AT ITER 2564 NEW BEST:: SOT 132129 SOS 88191 HAS SOPS 88191 HAS SOUS 33387 HAS SOUPS 33387 WITH SCORE 33475.191
AT ITER 2593 NEW BEST:: SOT 132129 SOS 89283 HAS SOPS 89283 HAS SOUS 33299 HAS SOUPS 33299 WITH SCORE 33388.283
AT ITER 2673 NEW BEST:: SOT 132121 SOS 89275 HAS SOPS 89275 HAS SOUS 33187 HAS SOUPS 33187 WITH SCORE 33276.275
AT ITER 2674 NEW BEST:: SOT 132117 SOS 89271 HAS SOPS 89271 HAS SOUS 33157 HAS SOUPS 33157 WITH SCORE 33246.271
AT ITER 2679 NEW BEST:: SOT 132045 SOS 89247 HAS SOPS 89247 HAS SOUS 33085 HAS SOUPS 33085 WITH SCORE 33174.247
AT ITER 2692 NEW BEST:: SOT 132056 SOS 89258 HAS SOPS 89258 HAS SOUS 33063 HAS SOUPS 33063 WITH SCORE 33152.258
AT ITER 2705 NEW BEST:: SOT 132028 SOS 89230 HAS SOPS 89230 HAS SOUS 33052 HAS SOUPS 33052 WITH SCORE 33141.23
AT ITER 2718 NEW BEST:: SOT 132021 SOS 89223 HAS SOPS 89223 HAS SOUS 33045 HAS SOUPS 33045 WITH SCORE 33134.223
AT ITER 2722 NEW BEST:: SOT 131835 SOS 88749 HAS SOPS 88749 HAS SOUS 32980 HAS SOUPS 32980 WITH SCORE 33068.749
AT ITER 2726 NEW BEST:: SOT 131847 SOS 88761 HAS SOPS 88761 HAS SOUS 32968 HAS SOUPS 32968 WITH SCORE 33056.761
AT ITER 2744 NEW BEST:: SOT 131880 SOS 88906 HAS SOPS 88906 HAS SOUS 32849 HAS SOUPS 32849 WITH SCORE 32937.906
AT ITER 2747 NEW BEST:: SOT 131873 SOS 88507 HAS SOPS 88507 HAS SOUS 32845 HAS SOUPS 32845 WITH SCORE 32933.507
AT ITER 2751 NEW BEST:: SOT 131932 SOS 88566 HAS SOPS 88566 HAS SOUS 32834 HAS SOUPS 32834 WITH SCORE 32922.566
AT ITER 2759 NEW BEST:: SOT 131932 SOS 88558 HAS SOPS 88558 HAS SOUS 32830 HAS SOUPS 32830 WITH SCORE 32918.558
AT ITER 2762 NEW BEST:: SOT 131647 SOS 88273 HAS SOPS 88273 HAS SOUS 32551 HAS SOUPS 32551 WITH SCORE 32639.273
AT ITER 2770 NEW BEST:: SOT 131630 SOS 88256 HAS SOPS 88256 HAS SOUS 32525 HAS SOUPS 32525 WITH SCORE 32613.256
AT ITER 2784 NEW BEST:: SOT 131630 SOS 88464 HAS SOPS 88464 HAS SOUS 32494 HAS SOUPS 32494 WITH SCORE 32582.464
AT ITER 2800 NEW BEST:: SOT 131580 SOS 90319 HAS SOPS 90319 HAS SOUS 32228 HAS SOUPS 32228 WITH SCORE 32318.319
AT ITER 2866 NEW BEST:: SOT 131505 SOS 90244 HAS SOPS 90244 HAS SOUS 32158 HAS SOUPS 32158 WITH SCORE 32248.244
AT ITER 2892 NEW BEST:: SOT 131277 SOS 89784 HAS SOPS 89784 HAS SOUS 32140 HAS SOUPS 32140 WITH SCORE 32229.784
AT ITER 2895 NEW BEST:: SOT 131275 SOS 89814 HAS SOPS 89814 HAS SOUS 32124 HAS SOUPS 32124 WITH SCORE 32213.814
AT ITER 2925 NEW BEST:: SOT 131267 SOS 89806 HAS SOPS 89806 HAS SOUS 32116 HAS SOUPS 32116 WITH SCORE 32205.806
AT ITER 2960 NEW BEST:: SOT 131265 SOS 89804 HAS SOPS 89804 HAS SOUS 32114 HAS SOUPS 32114 WITH SCORE 32203.804
AT ITER 2965 NEW BEST:: SOT 131398 SOS 90140 HAS SOPS 90140 HAS SOUS 31905 HAS SOUPS 31905 WITH SCORE 31995.14
AT ITER 2971 NEW BEST:: SOT 131015 SOS 89765 HAS SOPS 89765 HAS SOUS 31825 HAS SOUPS 31825 WITH SCORE 31914.765
AT ITER 2984 NEW BEST:: SOT 131015 SOS 89733 HAS SOPS 89733 HAS SOUS 31823 HAS SOUPS 31823 WITH SCORE 31912.733
AT ITER 2997 NEW BEST:: SOT 131018 SOS 89728 HAS SOPS 89728 HAS SOUS 31822 HAS SOUPS 31822 WITH SCORE 31911.728
AT ITER 3005 NEW BEST:: SOT 130979 SOS 89689 HAS SOPS 89689 HAS SOUS 31813 HAS SOUPS 31813 WITH SCORE 31902.689
AT ITER 3008 NEW BEST:: SOT 130999 SOS 89757 HAS SOPS 89757 HAS SOUS 31743 HAS SOUPS 31743 WITH SCORE 31832.757
AT ITER 3017 NEW BEST:: SOT 130974 SOS 89732 HAS SOPS 89732 HAS SOUS 31741 HAS SOUPS 31741 WITH SCORE 31830.732
AT ITER 3019 NEW BEST:: SOT 130937 SOS 89695 HAS SOPS 89695 HAS SOUS 31664 HAS SOUPS 31664 WITH SCORE 31753.695
AT ITER 3023 NEW BEST:: SOT 130921 SOS 89695 HAS SOPS 89695 HAS SOUS 31630 HAS SOUPS 31630 WITH SCORE 31719.695
AT ITER 3032 NEW BEST:: SOT 130882 SOS 89656 HAS SOPS 89656 HAS SOUS 31594 HAS SOUPS 31594 WITH SCORE 31683.656
AT ITER 3075 NEW BEST:: SOT 130738 SOS 89360 HAS SOPS 89360 HAS SOUS 31527 HAS SOUPS 31527 WITH SCORE 31616.36
AT ITER 3084 NEW BEST:: SOT 130730 SOS 89352 HAS SOPS 89352 HAS SOUS 31459 HAS SOUPS 31459 WITH SCORE 31548.352
AT ITER 3085 NEW BEST:: SOT 130764 SOS 89706 HAS SOPS 89706 HAS SOUS 31370 HAS SOUPS 31370 WITH SCORE 31459.706
AT ITER 3090 NEW BEST:: SOT 130787 SOS 89729 HAS SOPS 89729 HAS SOUS 31348 HAS SOUPS 31348 WITH SCORE 31437.729
AT ITER 3097 NEW BEST:: SOT 130859 SOS 89801 HAS SOPS 89801 HAS SOUS 31188 HAS SOUPS 31188 WITH SCORE 31277.801
AT ITER 3123 NEW BEST:: SOT 130859 SOS 89934 HAS SOPS 89934 HAS SOUS 31180 HAS SOUPS 31180 WITH SCORE 31269.934
AT ITER 3164 NEW BEST:: SOT 130790 SOS 89865 HAS SOPS 89865 HAS SOUS 31135 HAS SOUPS 31135 WITH SCORE 31224.865
AT ITER 3183 NEW BEST:: SOT 130783 SOS 89858 HAS SOPS 89858 HAS SOUS 31126 HAS SOUPS 31126 WITH SCORE 31215.858
AT ITER 3206 NEW BEST:: SOT 130723 SOS 89830 HAS SOPS 89830 HAS SOUS 31066 HAS SOUPS 31066 WITH SCORE 31155.83
AT ITER 3216 NEW BEST:: SOT 130713 SOS 89820 HAS SOPS 89820 HAS SOUS 31056 HAS SOUPS 31056 WITH SCORE 31145.82
AT ITER 3238 NEW BEST:: SOT 130655 SOS 90066 HAS SOPS 90066 HAS SOUS 31047 HAS SOUPS 31047 WITH SCORE 31137.066
AT ITER 3270 NEW BEST:: SOT 130740 SOS 90151 HAS SOPS 90151 HAS SOUS 30998 HAS SOUPS 30998 WITH SCORE 31088.151
AT ITER 3286 NEW BEST:: SOT 130695 SOS 90106 HAS SOPS 90106 HAS SOUS 30944 HAS SOUPS 30944 WITH SCORE 31034.106
AT ITER 3301 NEW BEST:: SOT 130695 SOS 89930 HAS SOPS 89930 HAS SOUS 30944 HAS SOUPS 30944 WITH SCORE 31033.93
AT ITER 3302 NEW BEST:: SOT 130874 SOS 90365 HAS SOPS 90365 HAS SOUS 30910 HAS SOUPS 30910 WITH SCORE 31000.365
AT ITER 3337 NEW BEST:: SOT 130958 SOS 90679 HAS SOPS 90679 HAS SOUS 30820 HAS SOUPS 30820 WITH SCORE 30910.679
AT ITER 3339 NEW BEST:: SOT 130958 SOS 90671 HAS SOPS 90671 HAS SOUS 30818 HAS SOUPS 30818 WITH SCORE 30908.671
AT ITER 3341 NEW BEST:: SOT 130650 SOS 90363 HAS SOPS 90363 HAS SOUS 30550 HAS SOUPS 30550 WITH SCORE 30640.363
AT ITER 3348 NEW BEST:: SOT 130644 SOS 90357 HAS SOPS 90357 HAS SOUS 30472 HAS SOUPS 30472 WITH SCORE 30562.357
AT ITER 3404 NEW BEST:: SOT 130644 SOS 90413 HAS SOPS 90413 HAS SOUS 30465 HAS SOUPS 30465 WITH SCORE 30555.413
AT ITER 3405 NEW BEST:: SOT 130644 SOS 90556 HAS SOPS 90556 HAS SOUS 30185 HAS SOUPS 30185 WITH SCORE 30275.556
AT ITER 3423 NEW BEST:: SOT 130644 SOS 90556 HAS SOPS 90556 HAS SOUS 30160 HAS SOUPS 30160 WITH SCORE 30250.556
AT ITER 3443 NEW BEST:: SOT 130635 SOS 90547 HAS SOPS 90547 HAS SOUS 30067 HAS SOUPS 30067 WITH SCORE 30157.547
AT ITER 3504 NEW BEST:: SOT 130635 SOS 89147 HAS SOPS 89147 HAS SOUS 30047 HAS SOUPS 30047 WITH SCORE 30136.147
AT ITER 3522 NEW BEST:: SOT 130635 SOS 89395 HAS SOPS 89395 HAS SOUS 30012 HAS SOUPS 30012 WITH SCORE 30101.395
AT ITER 3532 NEW BEST:: SOT 130612 SOS 89372 HAS SOPS 89372 HAS SOUS 29933 HAS SOUPS 29933 WITH SCORE 30022.372
AT ITER 3571 NEW BEST:: SOT 130515 SOS 89427 HAS SOPS 89427 HAS SOUS 29924 HAS SOUPS 29924 WITH SCORE 30013.427
AT ITER 3604 NEW BEST:: SOT 130537 SOS 89497 HAS SOPS 89497 HAS SOUS 29915 HAS SOUPS 29915 WITH SCORE 30004.497
AT ITER 3609 NEW BEST:: SOT 130576 SOS 89624 HAS SOPS 89624 HAS SOUS 29772 HAS SOUPS 29772 WITH SCORE 29861.624
AT ITER 3612 NEW BEST:: SOT 130601 SOS 89649 HAS SOPS 89649 HAS SOUS 29653 HAS SOUPS 29653 WITH SCORE 29742.649
AT ITER 3628 NEW BEST:: SOT 130623 SOS 89671 HAS SOPS 89671 HAS SOUS 29619 HAS SOUPS 29619 WITH SCORE 29708.671
AT ITER 3652 NEW BEST:: SOT 130697 SOS 90273 HAS SOPS 90273 HAS SOUS 29604 HAS SOUPS 29604 WITH SCORE 29694.273
AT ITER 3671 NEW BEST:: SOT 130682 SOS 90338 HAS SOPS 90338 HAS SOUS 29554 HAS SOUPS 29554 WITH SCORE 29644.338
AT ITER 3681 NEW BEST:: SOT 130669 SOS 90317 HAS SOPS 90317 HAS SOUS 29542 HAS SOUPS 29542 WITH SCORE 29632.317
AT ITER 3682 NEW BEST:: SOT 130515 SOS 90163 HAS SOPS 90163 HAS SOUS 29485 HAS SOUPS 29485 WITH SCORE 29575.163
AT ITER 3696 NEW BEST:: SOT 130514 SOS 90162 HAS SOPS 90162 HAS SOUS 29484 HAS SOUPS 29484 WITH SCORE 29574.162
AT ITER 3708 NEW BEST:: SOT 130490 SOS 89642 HAS SOPS 89642 HAS SOUS 29473 HAS SOUPS 29473 WITH SCORE 29562.642
AT ITER 3734 NEW BEST:: SOT 130481 SOS 89633 HAS SOPS 89633 HAS SOUS 29408 HAS SOUPS 29408 WITH SCORE 29497.633
AT ITER 3744 NEW BEST:: SOT 130481 SOS 88697 HAS SOPS 88697 HAS SOUS 29408 HAS SOUPS 29408 WITH SCORE 29496.697
AT ITER 3781 NEW BEST:: SOT 130481 SOS 88697 HAS SOPS 88697 HAS SOUS 29247 HAS SOUPS 29247 WITH SCORE 29335.697
AT ITER 3843 NEW BEST:: SOT 130490 SOS 89178 HAS SOPS 89178 HAS SOUS 29158 HAS SOUPS 29158 WITH SCORE 29247.178
AT ITER 3861 NEW BEST:: SOT 130493 SOS 89181 HAS SOPS 89181 HAS SOUS 29155 HAS SOUPS 29155 WITH SCORE 29244.181
AT ITER 3867 NEW BEST:: SOT 130432 SOS 89120 HAS SOPS 89120 HAS SOUS 29150 HAS SOUPS 29150 WITH SCORE 29239.12
AT ITER 3913 NEW BEST:: SOT 130434 SOS 89130 HAS SOPS 89130 HAS SOUS 29137 HAS SOUPS 29137 WITH SCORE 29226.13
AT ITER 3931 NEW BEST:: SOT 130491 SOS 89427 HAS SOPS 89427 HAS SOUS 29075 HAS SOUPS 29075 WITH SCORE 29164.427
AT ITER 3954 NEW BEST:: SOT 130589 SOS 89661 HAS SOPS 89661 HAS SOUS 29072 HAS SOUPS 29072 WITH SCORE 29161.661
AT ITER 3975 NEW BEST:: SOT 130567 SOS 89639 HAS SOPS 89639 HAS SOUS 29051 HAS SOUPS 29051 WITH SCORE 29140.639
AT ITER 3990 NEW BEST:: SOT 130203 SOS 89483 HAS SOPS 89483 HAS SOUS 28871 HAS SOUPS 28871 WITH SCORE 28960.483
AT ITER 3995 NEW BEST:: SOT 130203 SOS 89483 HAS SOPS 89483 HAS SOUS 28866 HAS SOUPS 28866 WITH SCORE 28955.483
AT ITER 4029 NEW BEST:: SOT 130080 SOS 86784 HAS SOPS 86784 HAS SOUS 28857 HAS SOUPS 28857 WITH SCORE 28943.784
AT ITER 4048 NEW BEST:: SOT 130011 SOS 86867 HAS SOPS 86867 HAS SOUS 28768 HAS SOUPS 28768 WITH SCORE 28854.867
AT ITER 4052 NEW BEST:: SOT 130023 SOS 86879 HAS SOPS 86879 HAS SOUS 28752 HAS SOUPS 28752 WITH SCORE 28838.879
AT ITER 4067 NEW BEST:: SOT 129999 SOS 86855 HAS SOPS 86855 HAS SOUS 28728 HAS SOUPS 28728 WITH SCORE 28814.855
AT ITER 4087 NEW BEST:: SOT 130138 SOS 87162 HAS SOPS 87162 HAS SOUS 28691 HAS SOUPS 28691 WITH SCORE 28778.162
AT ITER 4143 NEW BEST:: SOT 130127 SOS 87151 HAS SOPS 87151 HAS SOUS 28664 HAS SOUPS 28664 WITH SCORE 28751.151
AT ITER 4164 NEW BEST:: SOT 130206 SOS 87230 HAS SOPS 87230 HAS SOUS 28503 HAS SOUPS 28503 WITH SCORE 28590.23
AT ITER 4168 NEW BEST:: SOT 130186 SOS 87258 HAS SOPS 87258 HAS SOUS 28465 HAS SOUPS 28465 WITH SCORE 28552.258
AT ITER 4241 NEW BEST:: SOT 130195 SOS 87411 HAS SOPS 87411 HAS SOUS 28419 HAS SOUPS 28419 WITH SCORE 28506.411
AT ITER 4296 NEW BEST:: SOT 130208 SOS 87472 HAS SOPS 87472 HAS SOUS 28417 HAS SOUPS 28417 WITH SCORE 28504.472
AT ITER 4297 NEW BEST:: SOT 130228 SOS 87372 HAS SOPS 87372 HAS SOUS 28317 HAS SOUPS 28317 WITH SCORE 28404.372
AT ITER 4307 NEW BEST:: SOT 130173 SOS 87325 HAS SOPS 87325 HAS SOUS 28263 HAS SOUPS 28263 WITH SCORE 28350.325
AT ITER 4319 NEW BEST:: SOT 130142 SOS 87390 HAS SOPS 87390 HAS SOUS 28195 HAS SOUPS 28195 WITH SCORE 28282.39
AT ITER 4323 NEW BEST:: SOT 130143 SOS 87391 HAS SOPS 87391 HAS SOUS 28156 HAS SOUPS 28156 WITH SCORE 28243.391
AT ITER 4345 NEW BEST:: SOT 129994 SOS 87242 HAS SOPS 87242 HAS SOUS 28141 HAS SOUPS 28141 WITH SCORE 28228.242
AT ITER 4365 NEW BEST:: SOT 129994 SOS 89394 HAS SOPS 89394 HAS SOUS 28136 HAS SOUPS 28136 WITH SCORE 28225.394
AT ITER 4367 NEW BEST:: SOT 130009 SOS 89409 HAS SOPS 89409 HAS SOUS 28121 HAS SOUPS 28121 WITH SCORE 28210.409
AT ITER 4374 NEW BEST:: SOT 130016 SOS 89416 HAS SOPS 89416 HAS SOUS 28120 HAS SOUPS 28120 WITH SCORE 28209.416
AT ITER 4397 NEW BEST:: SOT 129849 SOS 90407 HAS SOPS 90407 HAS SOUS 28003 HAS SOUPS 28003 WITH SCORE 28093.407
AT ITER 4400 NEW BEST:: SOT 129852 SOS 90442 HAS SOPS 90442 HAS SOUS 28001 HAS SOUPS 28001 WITH SCORE 28091.442
AT ITER 4410 NEW BEST:: SOT 129844 SOS 90434 HAS SOPS 90434 HAS SOUS 28001 HAS SOUPS 28001 WITH SCORE 28091.434
AT ITER 4485 NEW BEST:: SOT 129725 SOS 90339 HAS SOPS 90339 HAS SOUS 27882 HAS SOUPS 27882 WITH SCORE 27972.339
AT ITER 4486 NEW BEST:: SOT 129741 SOS 90395 HAS SOPS 90395 HAS SOUS 27823 HAS SOUPS 27823 WITH SCORE 27913.395
AT ITER 4490 NEW BEST:: SOT 129808 SOS 90334 HAS SOPS 90334 HAS SOUS 27815 HAS SOUPS 27815 WITH SCORE 27905.334
AT ITER 4494 NEW BEST:: SOT 129796 SOS 90306 HAS SOPS 90306 HAS SOUS 27801 HAS SOUPS 27801 WITH SCORE 27891.306
AT ITER 4521 NEW BEST:: SOT 129824 SOS 90382 HAS SOPS 90382 HAS SOUS 27759 HAS SOUPS 27759 WITH SCORE 27849.382
AT ITER 4525 NEW BEST:: SOT 129812 SOS 90194 HAS SOPS 90194 HAS SOUS 27757 HAS SOUPS 27757 WITH SCORE 27847.194
AT ITER 4543 NEW BEST:: SOT 129863 SOS 90245 HAS SOPS 90245 HAS SOUS 27752 HAS SOUPS 27752 WITH SCORE 27842.245
AT ITER 4552 NEW BEST:: SOT 129863 SOS 90101 HAS SOPS 90101 HAS SOUS 27748 HAS SOUPS 27748 WITH SCORE 27838.101
AT ITER 4581 NEW BEST:: SOT 129939 SOS 90177 HAS SOPS 90177 HAS SOUS 27728 HAS SOUPS 27728 WITH SCORE 27818.177
AT ITER 4606 NEW BEST:: SOT 130003 SOS 90289 HAS SOPS 90289 HAS SOUS 27711 HAS SOUPS 27711 WITH SCORE 27801.289
AT ITER 4619 NEW BEST:: SOT 130119 SOS 90509 HAS SOPS 90509 HAS SOUS 27709 HAS SOUPS 27709 WITH SCORE 27799.509
AT ITER 4651 NEW BEST:: SOT 130119 SOS 90509 HAS SOPS 90509 HAS SOUS 27700 HAS SOUPS 27700 WITH SCORE 27790.509
AT ITER 4659 NEW BEST:: SOT 130119 SOS 90061 HAS SOPS 90061 HAS SOUS 27700 HAS SOUPS 27700 WITH SCORE 27790.061
AT ITER 4665 NEW BEST:: SOT 129857 SOS 89105 HAS SOPS 89105 HAS SOUS 27462 HAS SOUPS 27462 WITH SCORE 27551.105
AT ITER 4679 NEW BEST:: SOT 129862 SOS 89110 HAS SOPS 89110 HAS SOUS 27459 HAS SOUPS 27459 WITH SCORE 27548.11
AT ITER 4684 NEW BEST:: SOT 129862 SOS 88846 HAS SOPS 88846 HAS SOUS 27421 HAS SOUPS 27421 WITH SCORE 27509.846
AT ITER 4692 NEW BEST:: SOT 129854 SOS 88838 HAS SOPS 88838 HAS SOUS 27405 HAS SOUPS 27405 WITH SCORE 27493.838
AT ITER 4731 NEW BEST:: SOT 129855 SOS 88807 HAS SOPS 88807 HAS SOUS 27403 HAS SOUPS 27403 WITH SCORE 27491.807
AT ITER 4768 NEW BEST:: SOT 129869 SOS 88773 HAS SOPS 88773 HAS SOUS 27385 HAS SOUPS 27385 WITH SCORE 27473.773
AT ITER 4787 NEW BEST:: SOT 129823 SOS 88695 HAS SOPS 88695 HAS SOUS 27343 HAS SOUPS 27343 WITH SCORE 27431.695
AT ITER 4829 NEW BEST:: SOT 129793 SOS 88665 HAS SOPS 88665 HAS SOUS 27297 HAS SOUPS 27297 WITH SCORE 27385.665
AT ITER 4843 NEW BEST:: SOT 129780 SOS 88652 HAS SOPS 88652 HAS SOUS 27297 HAS SOUPS 27297 WITH SCORE 27385.652
AT ITER 4865 NEW BEST:: SOT 129786 SOS 88610 HAS SOPS 88610 HAS SOUS 27288 HAS SOUPS 27288 WITH SCORE 27376.61
AT ITER 4873 NEW BEST:: SOT 129786 SOS 90906 HAS SOPS 90906 HAS SOUS 27285 HAS SOUPS 27285 WITH SCORE 27375.906
AT ITER 4892 NEW BEST:: SOT 129786 SOS 90994 HAS SOPS 90994 HAS SOUS 27279 HAS SOUPS 27279 WITH SCORE 27369.994
AT ITER 4942 NEW BEST:: SOT 129918 SOS 91446 HAS SOPS 91446 HAS SOUS 27263 HAS SOUPS 27263 WITH SCORE 27354.446
AT ITER 5000 NEW BEST:: SOT 129918 SOS 91366 HAS SOPS 91366 HAS SOUS 27253 HAS SOUPS 27253 WITH SCORE 27344.366
AT ITER 5010 NEW BEST:: SOT 129887 SOS 91335 HAS SOPS 91335 HAS SOUS 27242 HAS SOUPS 27242 WITH SCORE 27333.335
AT ITER 5099 NEW BEST:: SOT 129861 SOS 91277 HAS SOPS 91277 HAS SOUS 27213 HAS SOUPS 27213 WITH SCORE 27304.277
AT ITER 5139 NEW BEST:: SOT 129861 SOS 91317 HAS SOPS 91317 HAS SOUS 27211 HAS SOUPS 27211 WITH SCORE 27302.317
AT ITER 5161 NEW BEST:: SOT 129696 SOS 91440 HAS SOPS 91440 HAS SOUS 26963 HAS SOUPS 26963 WITH SCORE 27054.44
AT ITER 5163 NEW BEST:: SOT 129685 SOS 91429 HAS SOPS 91429 HAS SOUS 26957 HAS SOUPS 26957 WITH SCORE 27048.429
AT ITER 5213 NEW BEST:: SOT 129601 SOS 91265 HAS SOPS 91265 HAS SOUS 26878 HAS SOUPS 26878 WITH SCORE 26969.265
AT ITER 5232 NEW BEST:: SOT 129494 SOS 91294 HAS SOPS 91294 HAS SOUS 26801 HAS SOUPS 26801 WITH SCORE 26892.294
AT ITER 5242 NEW BEST:: SOT 129485 SOS 91285 HAS SOPS 91285 HAS SOUS 26760 HAS SOUPS 26760 WITH SCORE 26851.285
AT ITER 5343 NEW BEST:: SOT 129479 SOS 91279 HAS SOPS 91279 HAS SOUS 26754 HAS SOUPS 26754 WITH SCORE 26845.279
AT ITER 5348 NEW BEST:: SOT 129342 SOS 91142 HAS SOPS 91142 HAS SOUS 26667 HAS SOUPS 26667 WITH SCORE 26758.142
AT ITER 5358 NEW BEST:: SOT 129361 SOS 91937 HAS SOPS 91937 HAS SOUS 26645 HAS SOUPS 26645 WITH SCORE 26736.937
AT ITER 5543 NEW BEST:: SOT 129348 SOS 91924 HAS SOPS 91924 HAS SOUS 26642 HAS SOUPS 26642 WITH SCORE 26733.924
AT ITER 5565 NEW BEST:: SOT 129219 SOS 91701 HAS SOPS 91701 HAS SOUS 26593 HAS SOUPS 26593 WITH SCORE 26684.701
AT ITER 5571 NEW BEST:: SOT 129219 SOS 91869 HAS SOPS 91869 HAS SOUS 26570 HAS SOUPS 26570 WITH SCORE 26661.869
AT ITER 5584 NEW BEST:: SOT 129219 SOS 91893 HAS SOPS 91893 HAS SOUS 26549 HAS SOUPS 26549 WITH SCORE 26640.893
AT ITER 5590 NEW BEST:: SOT 129172 SOS 91846 HAS SOPS 91846 HAS SOUS 26507 HAS SOUPS 26507 WITH SCORE 26598.846
AT ITER 5655 NEW BEST:: SOT 129160 SOS 91834 HAS SOPS 91834 HAS SOUS 26501 HAS SOUPS 26501 WITH SCORE 26592.834
AT ITER 5656 NEW BEST:: SOT 129154 SOS 91828 HAS SOPS 91828 HAS SOUS 26501 HAS SOUPS 26501 WITH SCORE 26592.828
AT ITER 5673 NEW BEST:: SOT 129124 SOS 91798 HAS SOPS 91798 HAS SOUS 26485 HAS SOUPS 26485 WITH SCORE 26576.798
AT ITER 5729 NEW BEST:: SOT 129098 SOS 91772 HAS SOPS 91772 HAS SOUS 26471 HAS SOUPS 26471 WITH SCORE 26562.772
AT ITER 5744 NEW BEST:: SOT 128942 SOS 91614 HAS SOPS 91614 HAS SOUS 26261 HAS SOUPS 26261 WITH SCORE 26352.614
AT ITER 5834 NEW BEST:: SOT 128947 SOS 91619 HAS SOPS 91619 HAS SOUS 26230 HAS SOUPS 26230 WITH SCORE 26321.619
AT ITER 5849 NEW BEST:: SOT 128938 SOS 91594 HAS SOPS 91594 HAS SOUS 26225 HAS SOUPS 26225 WITH SCORE 26316.594
AT ITER 5859 NEW BEST:: SOT 128922 SOS 91578 HAS SOPS 91578 HAS SOUS 26193 HAS SOUPS 26193 WITH SCORE 26284.578
AT ITER 5876 NEW BEST:: SOT 128914 SOS 91570 HAS SOPS 91570 HAS SOUS 26177 HAS SOUPS 26177 WITH SCORE 26268.57
AT ITER 5882 NEW BEST:: SOT 128905 SOS 91561 HAS SOPS 91561 HAS SOUS 26156 HAS SOUPS 26156 WITH SCORE 26247.561
AT ITER 5927 NEW BEST:: SOT 128913 SOS 91617 HAS SOPS 91617 HAS SOUS 26146 HAS SOUPS 26146 WITH SCORE 26237.617
AT ITER 5958 NEW BEST:: SOT 128914 SOS 91618 HAS SOPS 91618 HAS SOUS 26115 HAS SOUPS 26115 WITH SCORE 26206.618
AT ITER 5965 NEW BEST:: SOT 128740 SOS 91444 HAS SOPS 91444 HAS SOUS 25941 HAS SOUPS 25941 WITH SCORE 26032.444
AT ITER 6105 NEW BEST:: SOT 128762 SOS 91466 HAS SOPS 91466 HAS SOUS 25939 HAS SOUPS 25939 WITH SCORE 26030.466
AT ITER 6191 NEW BEST:: SOT 128748 SOS 91452 HAS SOPS 91452 HAS SOUS 25925 HAS SOUPS 25925 WITH SCORE 26016.452
AT ITER 6235 NEW BEST:: SOT 128706 SOS 91074 HAS SOPS 91074 HAS SOUS 25917 HAS SOUPS 25917 WITH SCORE 26008.074
AT ITER 6245 NEW BEST:: SOT 128721 SOS 91089 HAS SOPS 91089 HAS SOUS 25884 HAS SOUPS 25884 WITH SCORE 25975.089
AT ITER 6264 NEW BEST:: SOT 128712 SOS 91072 HAS SOPS 91072 HAS SOUS 25872 HAS SOUPS 25872 WITH SCORE 25963.072
AT ITER 6278 NEW BEST:: SOT 128766 SOS 91174 HAS SOPS 91174 HAS SOUS 25836 HAS SOUPS 25836 WITH SCORE 25927.174
AT ITER 6279 NEW BEST:: SOT 128766 SOS 91278 HAS SOPS 91278 HAS SOUS 25777 HAS SOUPS 25777 WITH SCORE 25868.278
AT ITER 6317 NEW BEST:: SOT 128742 SOS 91254 HAS SOPS 91254 HAS SOUS 25753 HAS SOUPS 25753 WITH SCORE 25844.254
AT ITER 6354 NEW BEST:: SOT 128699 SOS 91211 HAS SOPS 91211 HAS SOUS 25692 HAS SOUPS 25692 WITH SCORE 25783.211
AT ITER 6462 NEW BEST:: SOT 128820 SOS 91332 HAS SOPS 91332 HAS SOUS 25637 HAS SOUPS 25637 WITH SCORE 25728.332
AT ITER 6464 NEW BEST:: SOT 128849 SOS 91441 HAS SOPS 91441 HAS SOUS 25609 HAS SOUPS 25609 WITH SCORE 25700.441
AT ITER 6473 NEW BEST:: SOT 128847 SOS 91439 HAS SOPS 91439 HAS SOUS 25605 HAS SOUPS 25605 WITH SCORE 25696.439
AT ITER 6502 NEW BEST:: SOT 128847 SOS 91463 HAS SOPS 91463 HAS SOUS 25594 HAS SOUPS 25594 WITH SCORE 25685.463
AT ITER 6565 NEW BEST:: SOT 128847 SOS 92263 HAS SOPS 92263 HAS SOUS 25587 HAS SOUPS 25587 WITH SCORE 25679.263
AT ITER 6609 NEW BEST:: SOT 128788 SOS 92204 HAS SOPS 92204 HAS SOUS 25536 HAS SOUPS 25536 WITH SCORE 25628.204
AT ITER 6612 NEW BEST:: SOT 128788 SOS 92204 HAS SOPS 92204 HAS SOUS 25494 HAS SOUPS 25494 WITH SCORE 25586.204
AT ITER 6627 NEW BEST:: SOT 128776 SOS 92160 HAS SOPS 92160 HAS SOUS 25486 HAS SOUPS 25486 WITH SCORE 25578.16
AT ITER 6633 NEW BEST:: SOT 128860 SOS 92244 HAS SOPS 92244 HAS SOUS 25476 HAS SOUPS 25476 WITH SCORE 25568.244
AT ITER 6639 NEW BEST:: SOT 128860 SOS 92244 HAS SOPS 92244 HAS SOUS 25427 HAS SOUPS 25427 WITH SCORE 25519.244
AT ITER 6687 NEW BEST:: SOT 128853 SOS 92237 HAS SOPS 92237 HAS SOUS 25420 HAS SOUPS 25420 WITH SCORE 25512.237
AT ITER 6700 NEW BEST:: SOT 128853 SOS 92461 HAS SOPS 92461 HAS SOUS 25417 HAS SOUPS 25417 WITH SCORE 25509.461
AT ITER 6724 NEW BEST:: SOT 128823 SOS 92431 HAS SOPS 92431 HAS SOUS 25395 HAS SOUPS 25395 WITH SCORE 25487.431
AT ITER 6774 NEW BEST:: SOT 128817 SOS 92393 HAS SOPS 92393 HAS SOUS 25387 HAS SOUPS 25387 WITH SCORE 25479.393
AT ITER 6899 NEW BEST:: SOT 128824 SOS 92400 HAS SOPS 92400 HAS SOUS 25373 HAS SOUPS 25373 WITH SCORE 25465.4
AT ITER 6980 NEW BEST:: SOT 128848 SOS 92424 HAS SOPS 92424 HAS SOUS 25327 HAS SOUPS 25327 WITH SCORE 25419.424
AT ITER 6987 NEW BEST:: SOT 128859 SOS 92435 HAS SOPS 92435 HAS SOUS 25309 HAS SOUPS 25309 WITH SCORE 25401.435
AT ITER 7015 NEW BEST:: SOT 128829 SOS 92405 HAS SOPS 92405 HAS SOUS 25295 HAS SOUPS 25295 WITH SCORE 25387.405
AT ITER 7020 NEW BEST:: SOT 128829 SOS 92549 HAS SOPS 92549 HAS SOUS 25210 HAS SOUPS 25210 WITH SCORE 25302.549
AT ITER 7035 NEW BEST:: SOT 128801 SOS 92521 HAS SOPS 92521 HAS SOUS 25183 HAS SOUPS 25183 WITH SCORE 25275.521
AT ITER 7082 NEW BEST:: SOT 128764 SOS 92348 HAS SOPS 92348 HAS SOUS 25143 HAS SOUPS 25143 WITH SCORE 25235.348
AT ITER 7098 NEW BEST:: SOT 128766 SOS 92246 HAS SOPS 92246 HAS SOUS 25128 HAS SOUPS 25128 WITH SCORE 25220.246
AT ITER 7105 NEW BEST:: SOT 128774 SOS 92254 HAS SOPS 92254 HAS SOUS 25115 HAS SOUPS 25115 WITH SCORE 25207.254
AT ITER 7117 NEW BEST:: SOT 128728 SOS 92312 HAS SOPS 92312 HAS SOUS 24999 HAS SOUPS 24999 WITH SCORE 25091.312
AT ITER 7132 NEW BEST:: SOT 128744 SOS 93424 HAS SOPS 93424 HAS SOUS 24954 HAS SOUPS 24954 WITH SCORE 25047.424
AT ITER 7162 NEW BEST:: SOT 128768 SOS 93448 HAS SOPS 93448 HAS SOUS 24882 HAS SOUPS 24882 WITH SCORE 24975.448
AT ITER 7164 NEW BEST:: SOT 128639 SOS 93319 HAS SOPS 93319 HAS SOUS 24873 HAS SOUPS 24873 WITH SCORE 24966.319
AT ITER 7275 NEW BEST:: SOT 128718 SOS 93454 HAS SOPS 93454 HAS SOUS 24860 HAS SOUPS 24860 WITH SCORE 24953.454
AT ITER 7304 NEW BEST:: SOT 128718 SOS 93286 HAS SOPS 93286 HAS SOUS 24860 HAS SOUPS 24860 WITH SCORE 24953.286
AT ITER 7341 NEW BEST:: SOT 128715 SOS 93283 HAS SOPS 93283 HAS SOUS 24850 HAS SOUPS 24850 WITH SCORE 24943.283
AT ITER 7376 NEW BEST:: SOT 128719 SOS 93343 HAS SOPS 93343 HAS SOUS 24806 HAS SOUPS 24806 WITH SCORE 24899.343
AT ITER 7388 NEW BEST:: SOT 128694 SOS 93318 HAS SOPS 93318 HAS SOUS 24753 HAS SOUPS 24753 WITH SCORE 24846.318
AT ITER 7391 NEW BEST:: SOT 128683 SOS 93307 HAS SOPS 93307 HAS SOUS 24745 HAS SOUPS 24745 WITH SCORE 24838.307
AT ITER 7423 NEW BEST:: SOT 128683 SOS 91451 HAS SOPS 91451 HAS SOUS 24729 HAS SOUPS 24729 WITH SCORE 24820.451
AT ITER 7425 NEW BEST:: SOT 128683 SOS 92123 HAS SOPS 92123 HAS SOUS 24694 HAS SOUPS 24694 WITH SCORE 24786.123
AT ITER 7509 NEW BEST:: SOT 128682 SOS 92122 HAS SOPS 92122 HAS SOUS 24692 HAS SOUPS 24692 WITH SCORE 24784.122
AT ITER 7518 NEW BEST:: SOT 128682 SOS 92122 HAS SOPS 92122 HAS SOUS 24675 HAS SOUPS 24675 WITH SCORE 24767.122
AT ITER 7525 NEW BEST:: SOT 128677 SOS 92117 HAS SOPS 92117 HAS SOUS 24670 HAS SOUPS 24670 WITH SCORE 24762.117
AT ITER 7581 NEW BEST:: SOT 128677 SOS 92117 HAS SOPS 92117 HAS SOUS 24661 HAS SOUPS 24661 WITH SCORE 24753.117
AT ITER 7614 NEW BEST:: SOT 128682 SOS 92122 HAS SOPS 92122 HAS SOUS 24659 HAS SOUPS 24659 WITH SCORE 24751.122
AT ITER 7659 NEW BEST:: SOT 128682 SOS 91954 HAS SOPS 91954 HAS SOUS 24659 HAS SOUPS 24659 WITH SCORE 24750.954
AT ITER 7752 NEW BEST:: SOT 128668 SOS 91972 HAS SOPS 91972 HAS SOUS 24631 HAS SOUPS 24631 WITH SCORE 24722.972
AT ITER 7908 NEW BEST:: SOT 128672 SOS 91960 HAS SOPS 91960 HAS SOUS 24619 HAS SOUPS 24619 WITH SCORE 24710.96
AT ITER 7922 NEW BEST:: SOT 128744 SOS 92032 HAS SOPS 92032 HAS SOUS 24606 HAS SOUPS 24606 WITH SCORE 24698.032
AT ITER 7956 NEW BEST:: SOT 128740 SOS 92028 HAS SOPS 92028 HAS SOUS 24606 HAS SOUPS 24606 WITH SCORE 24698.028
AT ITER 7967 NEW BEST:: SOT 128754 SOS 92042 HAS SOPS 92042 HAS SOUS 24588 HAS SOUPS 24588 WITH SCORE 24680.042
AT ITER 8089 NEW BEST:: SOT 128754 SOS 92042 HAS SOPS 92042 HAS SOUS 24580 HAS SOUPS 24580 WITH SCORE 24672.042
AT ITER 8121 NEW BEST:: SOT 128746 SOS 92034 HAS SOPS 92034 HAS SOUS 24551 HAS SOUPS 24551 WITH SCORE 24643.034
AT ITER 8156 NEW BEST:: SOT 128768 SOS 92056 HAS SOPS 92056 HAS SOUS 24525 HAS SOUPS 24525 WITH SCORE 24617.056
AT ITER 8164 NEW BEST:: SOT 128771 SOS 92067 HAS SOPS 92067 HAS SOUS 24524 HAS SOUPS 24524 WITH SCORE 24616.067
AT ITER 8179 NEW BEST:: SOT 128748 SOS 92044 HAS SOPS 92044 HAS SOUS 24483 HAS SOUPS 24483 WITH SCORE 24575.044
AT ITER 8352 NEW BEST:: SOT 128746 SOS 91994 HAS SOPS 91994 HAS SOUS 24481 HAS SOUPS 24481 WITH SCORE 24572.994
AT ITER 8383 NEW BEST:: SOT 128740 SOS 91940 HAS SOPS 91940 HAS SOUS 24463 HAS SOUPS 24463 WITH SCORE 24554.94
AT ITER 8423 NEW BEST:: SOT 128726 SOS 91942 HAS SOPS 91942 HAS SOUS 24449 HAS SOUPS 24449 WITH SCORE 24540.942
AT ITER 8533 NEW BEST:: SOT 128725 SOS 91941 HAS SOPS 91941 HAS SOUS 24444 HAS SOUPS 24444 WITH SCORE 24535.941
AT ITER 8613 NEW BEST:: SOT 128725 SOS 91941 HAS SOPS 91941 HAS SOUS 24439 HAS SOUPS 24439 WITH SCORE 24530.941
AT ITER 8615 NEW BEST:: SOT 128725 SOS 91941 HAS SOPS 91941 HAS SOUS 24327 HAS SOUPS 24327 WITH SCORE 24418.941
AT ITER 8638 NEW BEST:: SOT 128719 SOS 91919 HAS SOPS 91919 HAS SOUS 24327 HAS SOUPS 24327 WITH SCORE 24418.919
AT ITER 8831 NEW BEST:: SOT 128840 SOS 92040 HAS SOPS 92040 HAS SOUS 24291 HAS SOUPS 24291 WITH SCORE 24383.04
AT ITER 8862 NEW BEST:: SOT 128840 SOS 92040 HAS SOPS 92040 HAS SOUS 24283 HAS SOUPS 24283 WITH SCORE 24375.04
AT ITER 8890 NEW BEST:: SOT 128942 SOS 93246 HAS SOPS 93246 HAS SOUS 24281 HAS SOUPS 24281 WITH SCORE 24374.246
AT ITER 8961 NEW BEST:: SOT 128946 SOS 93250 HAS SOPS 93250 HAS SOUS 24279 HAS SOUPS 24279 WITH SCORE 24372.25
AT ITER 8977 NEW BEST:: SOT 128934 SOS 93238 HAS SOPS 93238 HAS SOUS 24251 HAS SOUPS 24251 WITH SCORE 24344.238
AT ITER 9030 NEW BEST:: SOT 128934 SOS 93382 HAS SOPS 93382 HAS SOUS 24238 HAS SOUPS 24238 WITH SCORE 24331.382
AT ITER 9133 NEW BEST:: SOT 128934 SOS 93382 HAS SOPS 93382 HAS SOUS 24218 HAS SOUPS 24218 WITH SCORE 24311.382
AT ITER 9148 NEW BEST:: SOT 128877 SOS 93325 HAS SOPS 93325 HAS SOUS 24201 HAS SOUPS 24201 WITH SCORE 24294.325
AT ITER 9184 NEW BEST:: SOT 128913 SOS 93481 HAS SOPS 93481 HAS SOUS 24154 HAS SOUPS 24154 WITH SCORE 24247.481
AT ITER 9228 NEW BEST:: SOT 128907 SOS 93475 HAS SOPS 93475 HAS SOUS 24140 HAS SOUPS 24140 WITH SCORE 24233.475
AT ITER 9355 NEW BEST:: SOT 128936 SOS 94336 HAS SOPS 94336 HAS SOUS 24092 HAS SOUPS 24092 WITH SCORE 24186.336
AT ITER 9407 NEW BEST:: SOT 128824 SOS 94224 HAS SOPS 94224 HAS SOUS 24092 HAS SOUPS 24092 WITH SCORE 24186.224
AT ITER 9544 NEW BEST:: SOT 128829 SOS 94685 HAS SOPS 94685 HAS SOUS 24065 HAS SOUPS 24065 WITH SCORE 24159.685
AT ITER 9587 NEW BEST:: SOT 128834 SOS 94706 HAS SOPS 94706 HAS SOUS 24064 HAS SOUPS 24064 WITH SCORE 24158.706
AT ITER 9592 NEW BEST:: SOT 128834 SOS 94706 HAS SOPS 94706 HAS SOUS 24063 HAS SOUPS 24063 WITH SCORE 24157.706
AT ITER 9600 NEW BEST:: SOT 128834 SOS 94706 HAS SOPS 94706 HAS SOUS 24053 HAS SOUPS 24053 WITH SCORE 24147.706
AT ITER 9601 NEW BEST:: SOT 128834 SOS 95042 HAS SOPS 95042 HAS SOUS 24051 HAS SOUPS 24051 WITH SCORE 24146.042
AT ITER 9642 NEW BEST:: SOT 128819 SOS 95027 HAS SOPS 95027 HAS SOUS 24036 HAS SOUPS 24036 WITH SCORE 24131.027
AT ITER 9672 NEW BEST:: SOT 128819 SOS 94795 HAS SOPS 94795 HAS SOUS 24033 HAS SOUPS 24033 WITH SCORE 24127.795
AT ITER 9725 NEW BEST:: SOT 128811 SOS 94787 HAS SOPS 94787 HAS SOUS 24033 HAS SOUPS 24033 WITH SCORE 24127.787
AT ITER 9740 NEW BEST:: SOT 128807 SOS 94783 HAS SOPS 94783 HAS SOUS 24029 HAS SOUPS 24029 WITH SCORE 24123.783
AT ITER 9767 NEW BEST:: SOT 128807 SOS 94783 HAS SOPS 94783 HAS SOUS 23973 HAS SOUPS 23973 WITH SCORE 24067.783
STATE_SPACE STATES 52537 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 9 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 54600 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678890510507

--------------------
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="PermAdmissibility-COL-01"
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 PermAdmissibility-COL-01, 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 r267-smll-167863541900464"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PermAdmissibility-COL-01.tgz
mv PermAdmissibility-COL-01 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 ;