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-167863541900496.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-20, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r267-smll-167863541900496
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 536K
-rw-r--r-- 1 mcc users 8.8K Feb 26 01:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 101K Feb 26 01:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.0K Feb 26 01:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 38K Feb 26 01:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 16:31 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 16:31 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 01:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 141K Feb 26 01:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.1K Feb 26 01:26 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 26 01:26 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:31 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 1678897731330

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-20
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-15 16:28:54] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-15 16:28:54] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-15 16:28:54] [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 16:28:55] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-15 16:28:55] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1020 ms
[2023-03-15 16:28:55] [INFO ] Imported 40 HL places and 16 HL transitions for a total of 208 PT places and 1024.0 transition bindings in 37 ms.
[2023-03-15 16:28:55] [INFO ] Unfolded HLPN to a Petri net with 208 places and 1024 transitions 5984 arcs in 95 ms.
[2023-03-15 16:28:55] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-15 16:28:55] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 208 places, 1024 transitions and 5984 arcs took 31 ms.
Total runtime 1336 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PermAdmissibility (COL), instance 20
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 14 NEW BEST:: SOT 141705 SOS 83749 HAS SOPS 83749 HAS SOUS 52078 HAS SOUPS 52078 WITH SCORE 52161.749
AT ITER 64 NEW BEST:: SOT 141631 SOS 83723 HAS SOPS 83723 HAS SOUS 52002 HAS SOUPS 52002 WITH SCORE 52085.723
AT ITER 69 NEW BEST:: SOT 141622 SOS 83722 HAS SOPS 83722 HAS SOUS 51992 HAS SOUPS 51992 WITH SCORE 52075.722
AT ITER 72 NEW BEST:: SOT 141857 SOS 83957 HAS SOPS 83957 HAS SOUS 51717 HAS SOUPS 51717 WITH SCORE 51800.957
AT ITER 83 NEW BEST:: SOT 141857 SOS 84469 HAS SOPS 84469 HAS SOUS 51693 HAS SOUPS 51693 WITH SCORE 51777.469
AT ITER 104 NEW BEST:: SOT 141764 SOS 84976 HAS SOPS 84976 HAS SOUS 51614 HAS SOUPS 51614 WITH SCORE 51698.976
AT ITER 108 NEW BEST:: SOT 141764 SOS 84858 HAS SOPS 84858 HAS SOUS 51375 HAS SOUPS 51375 WITH SCORE 51459.858
AT ITER 115 NEW BEST:: SOT 141764 SOS 85882 HAS SOPS 85882 HAS SOUS 51367 HAS SOUPS 51367 WITH SCORE 51452.882
AT ITER 124 NEW BEST:: SOT 141764 SOS 85655 HAS SOPS 85655 HAS SOUS 51295 HAS SOUPS 51295 WITH SCORE 51380.655
AT ITER 139 NEW BEST:: SOT 141741 SOS 85934 HAS SOPS 85934 HAS SOUS 51202 HAS SOUPS 51202 WITH SCORE 51287.934
AT ITER 158 NEW BEST:: SOT 141677 SOS 86126 HAS SOPS 86126 HAS SOUS 51100 HAS SOUPS 51100 WITH SCORE 51186.126
AT ITER 161 NEW BEST:: SOT 141597 SOS 85974 HAS SOPS 85974 HAS SOUS 51052 HAS SOUPS 51052 WITH SCORE 51137.974
AT ITER 162 NEW BEST:: SOT 141467 SOS 85732 HAS SOPS 85732 HAS SOUS 50982 HAS SOUPS 50982 WITH SCORE 51067.732
AT ITER 164 NEW BEST:: SOT 140750 SOS 85295 HAS SOPS 85295 HAS SOUS 50674 HAS SOUPS 50674 WITH SCORE 50759.295
AT ITER 170 NEW BEST:: SOT 140727 SOS 85416 HAS SOPS 85416 HAS SOUS 50567 HAS SOUPS 50567 WITH SCORE 50652.416
AT ITER 188 NEW BEST:: SOT 140662 SOS 85352 HAS SOPS 85352 HAS SOUS 50558 HAS SOUPS 50558 WITH SCORE 50643.352
AT ITER 197 NEW BEST:: SOT 140626 SOS 85316 HAS SOPS 85316 HAS SOUS 50538 HAS SOUPS 50538 WITH SCORE 50623.316
AT ITER 200 NEW BEST:: SOT 140047 SOS 84855 HAS SOPS 84855 HAS SOUS 50373 HAS SOUPS 50373 WITH SCORE 50457.855
AT ITER 205 NEW BEST:: SOT 140153 SOS 85153 HAS SOPS 85153 HAS SOUS 50027 HAS SOUPS 50027 WITH SCORE 50112.153
AT ITER 206 NEW BEST:: SOT 140153 SOS 85153 HAS SOPS 85153 HAS SOUS 49981 HAS SOUPS 49981 WITH SCORE 50066.153
AT ITER 222 NEW BEST:: SOT 140000 SOS 85272 HAS SOPS 85272 HAS SOUS 49851 HAS SOUPS 49851 WITH SCORE 49936.272
AT ITER 240 NEW BEST:: SOT 140128 SOS 85472 HAS SOPS 85472 HAS SOUS 49837 HAS SOUPS 49837 WITH SCORE 49922.472
AT ITER 246 NEW BEST:: SOT 139706 SOS 85126 HAS SOPS 85126 HAS SOUS 49600 HAS SOUPS 49600 WITH SCORE 49685.126
AT ITER 251 NEW BEST:: SOT 139713 SOS 85133 HAS SOPS 85133 HAS SOUS 49576 HAS SOUPS 49576 WITH SCORE 49661.133
AT ITER 256 NEW BEST:: SOT 139807 SOS 85227 HAS SOPS 85227 HAS SOUS 49500 HAS SOUPS 49500 WITH SCORE 49585.227
AT ITER 266 NEW BEST:: SOT 139807 SOS 85007 HAS SOPS 85007 HAS SOUS 49479 HAS SOUPS 49479 WITH SCORE 49564.007
AT ITER 285 NEW BEST:: SOT 139802 SOS 85002 HAS SOPS 85002 HAS SOUS 49458 HAS SOUPS 49458 WITH SCORE 49543.002
AT ITER 297 NEW BEST:: SOT 139795 SOS 85106 HAS SOPS 85106 HAS SOUS 49417 HAS SOUPS 49417 WITH SCORE 49502.106
AT ITER 313 NEW BEST:: SOT 139773 SOS 85324 HAS SOPS 85324 HAS SOUS 49239 HAS SOUPS 49239 WITH SCORE 49324.324
AT ITER 317 NEW BEST:: SOT 139766 SOS 85747 HAS SOPS 85747 HAS SOUS 48966 HAS SOUPS 48966 WITH SCORE 49051.747
AT ITER 328 NEW BEST:: SOT 139766 SOS 85747 HAS SOPS 85747 HAS SOUS 48838 HAS SOUPS 48838 WITH SCORE 48923.747
AT ITER 347 NEW BEST:: SOT 139468 SOS 86481 HAS SOPS 86481 HAS SOUS 48783 HAS SOUPS 48783 WITH SCORE 48869.481
AT ITER 348 NEW BEST:: SOT 138946 SOS 85999 HAS SOPS 85999 HAS SOUS 48159 HAS SOUPS 48159 WITH SCORE 48244.999
AT ITER 351 NEW BEST:: SOT 138900 SOS 85953 HAS SOPS 85953 HAS SOUS 48159 HAS SOUPS 48159 WITH SCORE 48244.953
AT ITER 352 NEW BEST:: SOT 138869 SOS 86089 HAS SOPS 86089 HAS SOUS 48016 HAS SOUPS 48016 WITH SCORE 48102.089
AT ITER 365 NEW BEST:: SOT 138860 SOS 86080 HAS SOPS 86080 HAS SOUS 47983 HAS SOUPS 47983 WITH SCORE 48069.08
AT ITER 368 NEW BEST:: SOT 138910 SOS 86194 HAS SOPS 86194 HAS SOUS 47945 HAS SOUPS 47945 WITH SCORE 48031.194
AT ITER 372 NEW BEST:: SOT 138753 SOS 86094 HAS SOPS 86094 HAS SOUS 47774 HAS SOUPS 47774 WITH SCORE 47860.094
AT ITER 374 NEW BEST:: SOT 138608 SOS 85949 HAS SOPS 85949 HAS SOUS 47605 HAS SOUPS 47605 WITH SCORE 47690.949
AT ITER 386 NEW BEST:: SOT 138295 SOS 85636 HAS SOPS 85636 HAS SOUS 47212 HAS SOUPS 47212 WITH SCORE 47297.636
AT ITER 388 NEW BEST:: SOT 138286 SOS 85439 HAS SOPS 85439 HAS SOUS 47097 HAS SOUPS 47097 WITH SCORE 47182.439
AT ITER 392 NEW BEST:: SOT 138536 SOS 85713 HAS SOPS 85713 HAS SOUS 46949 HAS SOUPS 46949 WITH SCORE 47034.713
AT ITER 396 NEW BEST:: SOT 138536 SOS 86841 HAS SOPS 86841 HAS SOUS 46903 HAS SOUPS 46903 WITH SCORE 46989.841
AT ITER 397 NEW BEST:: SOT 138444 SOS 86749 HAS SOPS 86749 HAS SOUS 46754 HAS SOUPS 46754 WITH SCORE 46840.749
AT ITER 421 NEW BEST:: SOT 138440 SOS 86745 HAS SOPS 86745 HAS SOUS 46732 HAS SOUPS 46732 WITH SCORE 46818.745
AT ITER 435 NEW BEST:: SOT 138507 SOS 86616 HAS SOPS 86616 HAS SOUS 46555 HAS SOUPS 46555 WITH SCORE 46641.616
AT ITER 437 NEW BEST:: SOT 138518 SOS 86501 HAS SOPS 86501 HAS SOUS 46533 HAS SOUPS 46533 WITH SCORE 46619.501
AT ITER 446 NEW BEST:: SOT 138386 SOS 86420 HAS SOPS 86420 HAS SOUS 46245 HAS SOUPS 46245 WITH SCORE 46331.42
AT ITER 455 NEW BEST:: SOT 138011 SOS 86117 HAS SOPS 86117 HAS SOUS 45879 HAS SOUPS 45879 WITH SCORE 45965.117
AT ITER 457 NEW BEST:: SOT 137862 SOS 85968 HAS SOPS 85968 HAS SOUS 45770 HAS SOUPS 45770 WITH SCORE 45855.968
AT ITER 459 NEW BEST:: SOT 137933 SOS 86663 HAS SOPS 86663 HAS SOUS 45743 HAS SOUPS 45743 WITH SCORE 45829.663
AT ITER 465 NEW BEST:: SOT 137886 SOS 87112 HAS SOPS 87112 HAS SOUS 45730 HAS SOUPS 45730 WITH SCORE 45817.112
AT ITER 473 NEW BEST:: SOT 137886 SOS 87112 HAS SOPS 87112 HAS SOUS 45728 HAS SOUPS 45728 WITH SCORE 45815.112
AT ITER 478 NEW BEST:: SOT 137886 SOS 87112 HAS SOPS 87112 HAS SOUS 45723 HAS SOUPS 45723 WITH SCORE 45810.112
AT ITER 494 NEW BEST:: SOT 137886 SOS 86984 HAS SOPS 86984 HAS SOUS 45707 HAS SOUPS 45707 WITH SCORE 45793.984
AT ITER 505 NEW BEST:: SOT 137886 SOS 86886 HAS SOPS 86886 HAS SOUS 45632 HAS SOUPS 45632 WITH SCORE 45718.886
AT ITER 521 NEW BEST:: SOT 137888 SOS 86888 HAS SOPS 86888 HAS SOUS 45603 HAS SOUPS 45603 WITH SCORE 45689.888
AT ITER 522 NEW BEST:: SOT 137966 SOS 86056 HAS SOPS 86056 HAS SOUS 45412 HAS SOUPS 45412 WITH SCORE 45498.056
AT ITER 529 NEW BEST:: SOT 137982 SOS 86160 HAS SOPS 86160 HAS SOUS 45369 HAS SOUPS 45369 WITH SCORE 45455.16
AT ITER 545 NEW BEST:: SOT 137987 SOS 86421 HAS SOPS 86421 HAS SOUS 45357 HAS SOUPS 45357 WITH SCORE 45443.421
AT ITER 556 NEW BEST:: SOT 137987 SOS 87149 HAS SOPS 87149 HAS SOUS 45313 HAS SOUPS 45313 WITH SCORE 45400.149
AT ITER 558 NEW BEST:: SOT 137905 SOS 86947 HAS SOPS 86947 HAS SOUS 45235 HAS SOUPS 45235 WITH SCORE 45321.947
AT ITER 565 NEW BEST:: SOT 137908 SOS 87670 HAS SOPS 87670 HAS SOUS 45170 HAS SOUPS 45170 WITH SCORE 45257.67
AT ITER 587 NEW BEST:: SOT 137908 SOS 81710 HAS SOPS 81710 HAS SOUS 45103 HAS SOUPS 45103 WITH SCORE 45184.71
AT ITER 594 NEW BEST:: SOT 137908 SOS 82123 HAS SOPS 82123 HAS SOUS 45051 HAS SOUPS 45051 WITH SCORE 45133.123
AT ITER 607 NEW BEST:: SOT 137596 SOS 82154 HAS SOPS 82154 HAS SOUS 45023 HAS SOUPS 45023 WITH SCORE 45105.154
AT ITER 609 NEW BEST:: SOT 137596 SOS 82298 HAS SOPS 82298 HAS SOUS 45005 HAS SOUPS 45005 WITH SCORE 45087.298
AT ITER 612 NEW BEST:: SOT 137596 SOS 82293 HAS SOPS 82293 HAS SOUS 45001 HAS SOUPS 45001 WITH SCORE 45083.293
AT ITER 616 NEW BEST:: SOT 137473 SOS 82170 HAS SOPS 82170 HAS SOUS 44974 HAS SOUPS 44974 WITH SCORE 45056.17
AT ITER 622 NEW BEST:: SOT 137473 SOS 82170 HAS SOPS 82170 HAS SOUS 44950 HAS SOUPS 44950 WITH SCORE 45032.17
AT ITER 631 NEW BEST:: SOT 137365 SOS 82062 HAS SOPS 82062 HAS SOUS 44826 HAS SOUPS 44826 WITH SCORE 44908.062
AT ITER 646 NEW BEST:: SOT 137185 SOS 82162 HAS SOPS 82162 HAS SOUS 44772 HAS SOUPS 44772 WITH SCORE 44854.162
AT ITER 648 NEW BEST:: SOT 137129 SOS 82106 HAS SOPS 82106 HAS SOUS 44716 HAS SOUPS 44716 WITH SCORE 44798.106
AT ITER 658 NEW BEST:: SOT 136603 SOS 81637 HAS SOPS 81637 HAS SOUS 44710 HAS SOUPS 44710 WITH SCORE 44791.637
AT ITER 660 NEW BEST:: SOT 136383 SOS 81576 HAS SOPS 81576 HAS SOUS 44582 HAS SOUPS 44582 WITH SCORE 44663.576
AT ITER 674 NEW BEST:: SOT 136376 SOS 81569 HAS SOPS 81569 HAS SOUS 44497 HAS SOUPS 44497 WITH SCORE 44578.569
AT ITER 688 NEW BEST:: SOT 135995 SOS 81369 HAS SOPS 81369 HAS SOUS 44490 HAS SOUPS 44490 WITH SCORE 44571.369
AT ITER 690 NEW BEST:: SOT 135995 SOS 81396 HAS SOPS 81396 HAS SOUS 44463 HAS SOUPS 44463 WITH SCORE 44544.396
AT ITER 692 NEW BEST:: SOT 135981 SOS 81382 HAS SOPS 81382 HAS SOUS 44431 HAS SOUPS 44431 WITH SCORE 44512.382
AT ITER 694 NEW BEST:: SOT 135980 SOS 81383 HAS SOPS 81383 HAS SOUS 44429 HAS SOUPS 44429 WITH SCORE 44510.383
AT ITER 706 NEW BEST:: SOT 135965 SOS 82665 HAS SOPS 82665 HAS SOUS 44313 HAS SOUPS 44313 WITH SCORE 44395.665
AT ITER 721 NEW BEST:: SOT 135965 SOS 82689 HAS SOPS 82689 HAS SOUS 44285 HAS SOUPS 44285 WITH SCORE 44367.689
AT ITER 725 NEW BEST:: SOT 134987 SOS 82487 HAS SOPS 82487 HAS SOUS 43326 HAS SOUPS 43326 WITH SCORE 43408.487
AT ITER 732 NEW BEST:: SOT 134934 SOS 82434 HAS SOPS 82434 HAS SOUS 43309 HAS SOUPS 43309 WITH SCORE 43391.434
AT ITER 738 NEW BEST:: SOT 134864 SOS 82364 HAS SOPS 82364 HAS SOUS 43257 HAS SOUPS 43257 WITH SCORE 43339.364
AT ITER 759 NEW BEST:: SOT 134796 SOS 82352 HAS SOPS 82352 HAS SOUS 43159 HAS SOUPS 43159 WITH SCORE 43241.352
AT ITER 764 NEW BEST:: SOT 134636 SOS 82463 HAS SOPS 82463 HAS SOUS 43106 HAS SOUPS 43106 WITH SCORE 43188.463
AT ITER 788 NEW BEST:: SOT 134624 SOS 82451 HAS SOPS 82451 HAS SOUS 43094 HAS SOUPS 43094 WITH SCORE 43176.451
AT ITER 792 NEW BEST:: SOT 134537 SOS 82518 HAS SOPS 82518 HAS SOUS 42967 HAS SOUPS 42967 WITH SCORE 43049.518
AT ITER 805 NEW BEST:: SOT 134503 SOS 82572 HAS SOPS 82572 HAS SOUS 42945 HAS SOUPS 42945 WITH SCORE 43027.572
AT ITER 808 NEW BEST:: SOT 134567 SOS 83042 HAS SOPS 83042 HAS SOUS 42923 HAS SOUPS 42923 WITH SCORE 43006.042
AT ITER 810 NEW BEST:: SOT 134207 SOS 82682 HAS SOPS 82682 HAS SOUS 42529 HAS SOUPS 42529 WITH SCORE 42611.682
AT ITER 837 NEW BEST:: SOT 134198 SOS 82673 HAS SOPS 82673 HAS SOUS 42513 HAS SOUPS 42513 WITH SCORE 42595.673
AT ITER 840 NEW BEST:: SOT 134192 SOS 82707 HAS SOPS 82707 HAS SOUS 42492 HAS SOUPS 42492 WITH SCORE 42574.707
AT ITER 848 NEW BEST:: SOT 134182 SOS 82697 HAS SOPS 82697 HAS SOUS 42482 HAS SOUPS 42482 WITH SCORE 42564.697
AT ITER 853 NEW BEST:: SOT 134197 SOS 82494 HAS SOPS 82494 HAS SOUS 42447 HAS SOUPS 42447 WITH SCORE 42529.494
AT ITER 859 NEW BEST:: SOT 134197 SOS 82312 HAS SOPS 82312 HAS SOUS 42437 HAS SOUPS 42437 WITH SCORE 42519.312
AT ITER 863 NEW BEST:: SOT 134202 SOS 82357 HAS SOPS 82357 HAS SOUS 42435 HAS SOUPS 42435 WITH SCORE 42517.357
AT ITER 864 NEW BEST:: SOT 134137 SOS 82292 HAS SOPS 82292 HAS SOUS 42426 HAS SOUPS 42426 WITH SCORE 42508.292
AT ITER 868 NEW BEST:: SOT 134053 SOS 82208 HAS SOPS 82208 HAS SOUS 42238 HAS SOUPS 42238 WITH SCORE 42320.208
AT ITER 875 NEW BEST:: SOT 134003 SOS 82230 HAS SOPS 82230 HAS SOUS 42149 HAS SOUPS 42149 WITH SCORE 42231.23
AT ITER 881 NEW BEST:: SOT 133971 SOS 82253 HAS SOPS 82253 HAS SOUS 42119 HAS SOUPS 42119 WITH SCORE 42201.253
AT ITER 886 NEW BEST:: SOT 133969 SOS 82243 HAS SOPS 82243 HAS SOUS 42107 HAS SOUPS 42107 WITH SCORE 42189.243
AT ITER 889 NEW BEST:: SOT 133504 SOS 81834 HAS SOPS 81834 HAS SOUS 41722 HAS SOUPS 41722 WITH SCORE 41803.834
AT ITER 901 NEW BEST:: SOT 133503 SOS 81833 HAS SOPS 81833 HAS SOUS 41721 HAS SOUPS 41721 WITH SCORE 41802.833
AT ITER 914 NEW BEST:: SOT 133475 SOS 81805 HAS SOPS 81805 HAS SOUS 41673 HAS SOUPS 41673 WITH SCORE 41754.805
AT ITER 926 NEW BEST:: SOT 133487 SOS 81817 HAS SOPS 81817 HAS SOUS 41630 HAS SOUPS 41630 WITH SCORE 41711.817
AT ITER 954 NEW BEST:: SOT 133373 SOS 81703 HAS SOPS 81703 HAS SOUS 41596 HAS SOUPS 41596 WITH SCORE 41677.703
AT ITER 964 NEW BEST:: SOT 132920 SOS 81551 HAS SOPS 81551 HAS SOUS 41069 HAS SOUPS 41069 WITH SCORE 41150.551
AT ITER 1020 NEW BEST:: SOT 132906 SOS 81537 HAS SOPS 81537 HAS SOUS 41039 HAS SOUPS 41039 WITH SCORE 41120.537
AT ITER 1026 NEW BEST:: SOT 132906 SOS 81537 HAS SOPS 81537 HAS SOUS 40988 HAS SOUPS 40988 WITH SCORE 41069.537
AT ITER 1032 NEW BEST:: SOT 133040 SOS 81676 HAS SOPS 81676 HAS SOUS 40916 HAS SOUPS 40916 WITH SCORE 40997.676
AT ITER 1056 NEW BEST:: SOT 133030 SOS 81796 HAS SOPS 81796 HAS SOUS 40911 HAS SOUPS 40911 WITH SCORE 40992.796
AT ITER 1060 NEW BEST:: SOT 133107 SOS 82105 HAS SOPS 82105 HAS SOUS 40581 HAS SOUPS 40581 WITH SCORE 40663.105
AT ITER 1075 NEW BEST:: SOT 133107 SOS 82111 HAS SOPS 82111 HAS SOUS 40575 HAS SOUPS 40575 WITH SCORE 40657.111
AT ITER 1081 NEW BEST:: SOT 132738 SOS 81842 HAS SOPS 81842 HAS SOUS 40437 HAS SOUPS 40437 WITH SCORE 40518.842
AT ITER 1088 NEW BEST:: SOT 132446 SOS 81550 HAS SOPS 81550 HAS SOUS 40341 HAS SOUPS 40341 WITH SCORE 40422.55
AT ITER 1100 NEW BEST:: SOT 132519 SOS 82127 HAS SOPS 82127 HAS SOUS 40137 HAS SOUPS 40137 WITH SCORE 40219.127
AT ITER 1161 NEW BEST:: SOT 132511 SOS 82119 HAS SOPS 82119 HAS SOUS 40113 HAS SOUPS 40113 WITH SCORE 40195.119
AT ITER 1174 NEW BEST:: SOT 132511 SOS 82255 HAS SOPS 82255 HAS SOUS 40036 HAS SOUPS 40036 WITH SCORE 40118.255
AT ITER 1178 NEW BEST:: SOT 132511 SOS 81567 HAS SOPS 81567 HAS SOUS 39985 HAS SOUPS 39985 WITH SCORE 40066.567
AT ITER 1183 NEW BEST:: SOT 132293 SOS 81349 HAS SOPS 81349 HAS SOUS 39895 HAS SOUPS 39895 WITH SCORE 39976.349
AT ITER 1203 NEW BEST:: SOT 132269 SOS 81325 HAS SOPS 81325 HAS SOUS 39843 HAS SOUPS 39843 WITH SCORE 39924.325
AT ITER 1214 NEW BEST:: SOT 132018 SOS 81074 HAS SOPS 81074 HAS SOUS 39677 HAS SOUPS 39677 WITH SCORE 39758.074
AT ITER 1216 NEW BEST:: SOT 132018 SOS 81073 HAS SOPS 81073 HAS SOUS 39671 HAS SOUPS 39671 WITH SCORE 39752.073
AT ITER 1219 NEW BEST:: SOT 132082 SOS 81131 HAS SOPS 81131 HAS SOUS 39664 HAS SOUPS 39664 WITH SCORE 39745.131
AT ITER 1221 NEW BEST:: SOT 132078 SOS 81124 HAS SOPS 81124 HAS SOUS 39655 HAS SOUPS 39655 WITH SCORE 39736.124
AT ITER 1226 NEW BEST:: SOT 131987 SOS 81033 HAS SOPS 81033 HAS SOUS 39547 HAS SOUPS 39547 WITH SCORE 39628.033
AT ITER 1236 NEW BEST:: SOT 131937 SOS 80989 HAS SOPS 80989 HAS SOUS 39491 HAS SOUPS 39491 WITH SCORE 39571.989
AT ITER 1255 NEW BEST:: SOT 131944 SOS 80996 HAS SOPS 80996 HAS SOUS 39440 HAS SOUPS 39440 WITH SCORE 39520.996
AT ITER 1257 NEW BEST:: SOT 131858 SOS 80910 HAS SOPS 80910 HAS SOUS 39434 HAS SOUPS 39434 WITH SCORE 39514.91
AT ITER 1271 NEW BEST:: SOT 131853 SOS 80905 HAS SOPS 80905 HAS SOUS 39429 HAS SOUPS 39429 WITH SCORE 39509.905
AT ITER 1278 NEW BEST:: SOT 131622 SOS 80674 HAS SOPS 80674 HAS SOUS 39321 HAS SOUPS 39321 WITH SCORE 39401.674
AT ITER 1301 NEW BEST:: SOT 131622 SOS 79906 HAS SOPS 79906 HAS SOUS 39319 HAS SOUPS 39319 WITH SCORE 39398.906
AT ITER 1308 NEW BEST:: SOT 131590 SOS 79903 HAS SOPS 79903 HAS SOUS 39270 HAS SOUPS 39270 WITH SCORE 39349.903
AT ITER 1313 NEW BEST:: SOT 131588 SOS 79901 HAS SOPS 79901 HAS SOUS 39252 HAS SOUPS 39252 WITH SCORE 39331.901
AT ITER 1354 NEW BEST:: SOT 131578 SOS 79891 HAS SOPS 79891 HAS SOUS 39250 HAS SOUPS 39250 WITH SCORE 39329.891
AT ITER 1372 NEW BEST:: SOT 131553 SOS 79866 HAS SOPS 79866 HAS SOUS 39235 HAS SOUPS 39235 WITH SCORE 39314.866
AT ITER 1383 NEW BEST:: SOT 131297 SOS 79651 HAS SOPS 79651 HAS SOUS 39024 HAS SOUPS 39024 WITH SCORE 39103.651
AT ITER 1432 NEW BEST:: SOT 131303 SOS 79638 HAS SOPS 79638 HAS SOUS 38993 HAS SOUPS 38993 WITH SCORE 39072.638
AT ITER 1434 NEW BEST:: SOT 131268 SOS 79579 HAS SOPS 79579 HAS SOUS 38710 HAS SOUPS 38710 WITH SCORE 38789.579
AT ITER 1439 NEW BEST:: SOT 131309 SOS 79724 HAS SOPS 79724 HAS SOUS 38688 HAS SOUPS 38688 WITH SCORE 38767.724
AT ITER 1465 NEW BEST:: SOT 131302 SOS 79717 HAS SOPS 79717 HAS SOUS 38681 HAS SOUPS 38681 WITH SCORE 38760.717
AT ITER 1488 NEW BEST:: SOT 131232 SOS 79673 HAS SOPS 79673 HAS SOUS 38590 HAS SOUPS 38590 WITH SCORE 38669.673
AT ITER 1506 NEW BEST:: SOT 131232 SOS 79029 HAS SOPS 79029 HAS SOUS 38584 HAS SOUPS 38584 WITH SCORE 38663.029
AT ITER 1523 NEW BEST:: SOT 131125 SOS 79080 HAS SOPS 79080 HAS SOUS 38248 HAS SOUPS 38248 WITH SCORE 38327.08
AT ITER 1524 NEW BEST:: SOT 131128 SOS 79065 HAS SOPS 79065 HAS SOUS 38248 HAS SOUPS 38248 WITH SCORE 38327.065
AT ITER 1585 NEW BEST:: SOT 131045 SOS 79030 HAS SOPS 79030 HAS SOUS 38054 HAS SOUPS 38054 WITH SCORE 38133.03
AT ITER 1589 NEW BEST:: SOT 130940 SOS 79021 HAS SOPS 79021 HAS SOUS 38027 HAS SOUPS 38027 WITH SCORE 38106.021
AT ITER 1605 NEW BEST:: SOT 130295 SOS 78820 HAS SOPS 78820 HAS SOUS 37835 HAS SOUPS 37835 WITH SCORE 37913.82
AT ITER 1617 NEW BEST:: SOT 130281 SOS 78806 HAS SOPS 78806 HAS SOUS 37821 HAS SOUPS 37821 WITH SCORE 37899.806
AT ITER 1631 NEW BEST:: SOT 130182 SOS 78707 HAS SOPS 78707 HAS SOUS 37771 HAS SOUPS 37771 WITH SCORE 37849.707
AT ITER 1654 NEW BEST:: SOT 130182 SOS 78715 HAS SOPS 78715 HAS SOUS 37763 HAS SOUPS 37763 WITH SCORE 37841.715
AT ITER 1659 NEW BEST:: SOT 130179 SOS 78712 HAS SOPS 78712 HAS SOUS 37735 HAS SOUPS 37735 WITH SCORE 37813.712
AT ITER 1664 NEW BEST:: SOT 130250 SOS 78783 HAS SOPS 78783 HAS SOUS 37630 HAS SOUPS 37630 WITH SCORE 37708.783
AT ITER 1666 NEW BEST:: SOT 130266 SOS 78799 HAS SOPS 78799 HAS SOUS 37620 HAS SOUPS 37620 WITH SCORE 37698.799
AT ITER 1681 NEW BEST:: SOT 130304 SOS 78549 HAS SOPS 78549 HAS SOUS 37467 HAS SOUPS 37467 WITH SCORE 37545.549
AT ITER 1691 NEW BEST:: SOT 130265 SOS 78504 HAS SOPS 78504 HAS SOUS 37407 HAS SOUPS 37407 WITH SCORE 37485.504
AT ITER 1712 NEW BEST:: SOT 130240 SOS 78479 HAS SOPS 78479 HAS SOUS 37382 HAS SOUPS 37382 WITH SCORE 37460.479
AT ITER 1727 NEW BEST:: SOT 130234 SOS 78445 HAS SOPS 78445 HAS SOUS 37372 HAS SOUPS 37372 WITH SCORE 37450.445
AT ITER 1729 NEW BEST:: SOT 129699 SOS 78084 HAS SOPS 78084 HAS SOUS 37250 HAS SOUPS 37250 WITH SCORE 37328.084
AT ITER 1734 NEW BEST:: SOT 129667 SOS 78052 HAS SOPS 78052 HAS SOUS 37192 HAS SOUPS 37192 WITH SCORE 37270.052
AT ITER 1740 NEW BEST:: SOT 129646 SOS 78031 HAS SOPS 78031 HAS SOUS 37171 HAS SOUPS 37171 WITH SCORE 37249.031
AT ITER 1743 NEW BEST:: SOT 129428 SOS 77589 HAS SOPS 77589 HAS SOUS 37029 HAS SOUPS 37029 WITH SCORE 37106.589
AT ITER 1754 NEW BEST:: SOT 129415 SOS 77597 HAS SOPS 77597 HAS SOUS 36991 HAS SOUPS 36991 WITH SCORE 37068.597
AT ITER 1791 NEW BEST:: SOT 129395 SOS 77577 HAS SOPS 77577 HAS SOUS 36971 HAS SOUPS 36971 WITH SCORE 37048.577
AT ITER 1792 NEW BEST:: SOT 129392 SOS 77574 HAS SOPS 77574 HAS SOUS 36968 HAS SOUPS 36968 WITH SCORE 37045.574
AT ITER 1794 NEW BEST:: SOT 129452 SOS 77634 HAS SOPS 77634 HAS SOUS 36908 HAS SOUPS 36908 WITH SCORE 36985.634
AT ITER 1818 NEW BEST:: SOT 129462 SOS 77644 HAS SOPS 77644 HAS SOUS 36902 HAS SOUPS 36902 WITH SCORE 36979.644
AT ITER 1834 NEW BEST:: SOT 129462 SOS 77644 HAS SOPS 77644 HAS SOUS 36893 HAS SOUPS 36893 WITH SCORE 36970.644
AT ITER 1872 NEW BEST:: SOT 128869 SOS 77729 HAS SOPS 77729 HAS SOUS 36776 HAS SOUPS 36776 WITH SCORE 36853.729
AT ITER 1875 NEW BEST:: SOT 128869 SOS 77736 HAS SOPS 77736 HAS SOUS 36765 HAS SOUPS 36765 WITH SCORE 36842.736
AT ITER 1880 NEW BEST:: SOT 128869 SOS 77737 HAS SOPS 77737 HAS SOUS 36672 HAS SOUPS 36672 WITH SCORE 36749.737
AT ITER 1892 NEW BEST:: SOT 128832 SOS 77700 HAS SOPS 77700 HAS SOUS 36666 HAS SOUPS 36666 WITH SCORE 36743.7
AT ITER 1913 NEW BEST:: SOT 128826 SOS 77693 HAS SOPS 77693 HAS SOUS 36663 HAS SOUPS 36663 WITH SCORE 36740.693
AT ITER 1928 NEW BEST:: SOT 128832 SOS 77699 HAS SOPS 77699 HAS SOUS 36642 HAS SOUPS 36642 WITH SCORE 36719.699
AT ITER 1940 NEW BEST:: SOT 128812 SOS 77679 HAS SOPS 77679 HAS SOUS 36622 HAS SOUPS 36622 WITH SCORE 36699.679
AT ITER 1945 NEW BEST:: SOT 128814 SOS 77667 HAS SOPS 77667 HAS SOUS 36620 HAS SOUPS 36620 WITH SCORE 36697.667
AT ITER 1962 NEW BEST:: SOT 128810 SOS 77663 HAS SOPS 77663 HAS SOUS 36612 HAS SOUPS 36612 WITH SCORE 36689.663
AT ITER 1993 NEW BEST:: SOT 128810 SOS 77759 HAS SOPS 77759 HAS SOUS 36556 HAS SOUPS 36556 WITH SCORE 36633.759
AT ITER 2000 NEW BEST:: SOT 128810 SOS 77759 HAS SOPS 77759 HAS SOUS 36507 HAS SOUPS 36507 WITH SCORE 36584.759
AT ITER 2021 NEW BEST:: SOT 128798 SOS 77739 HAS SOPS 77739 HAS SOUS 36501 HAS SOUPS 36501 WITH SCORE 36578.739
AT ITER 2023 NEW BEST:: SOT 128722 SOS 77663 HAS SOPS 77663 HAS SOUS 36425 HAS SOUPS 36425 WITH SCORE 36502.663
AT ITER 2081 NEW BEST:: SOT 128418 SOS 77567 HAS SOPS 77567 HAS SOUS 36212 HAS SOUPS 36212 WITH SCORE 36289.567
AT ITER 2103 NEW BEST:: SOT 128403 SOS 77552 HAS SOPS 77552 HAS SOUS 36208 HAS SOUPS 36208 WITH SCORE 36285.552
AT ITER 2110 NEW BEST:: SOT 128397 SOS 77546 HAS SOPS 77546 HAS SOUS 36202 HAS SOUPS 36202 WITH SCORE 36279.546
AT ITER 2129 NEW BEST:: SOT 128281 SOS 77439 HAS SOPS 77439 HAS SOUS 36178 HAS SOUPS 36178 WITH SCORE 36255.439
AT ITER 2146 NEW BEST:: SOT 128223 SOS 77386 HAS SOPS 77386 HAS SOUS 36104 HAS SOUPS 36104 WITH SCORE 36181.386
AT ITER 2175 NEW BEST:: SOT 128199 SOS 77362 HAS SOPS 77362 HAS SOUS 36040 HAS SOUPS 36040 WITH SCORE 36117.362
AT ITER 2182 NEW BEST:: SOT 128229 SOS 77392 HAS SOPS 77392 HAS SOUS 36026 HAS SOUPS 36026 WITH SCORE 36103.392
AT ITER 2201 NEW BEST:: SOT 128229 SOS 77596 HAS SOPS 77596 HAS SOUS 36003 HAS SOUPS 36003 WITH SCORE 36080.596
AT ITER 2210 NEW BEST:: SOT 128223 SOS 77590 HAS SOPS 77590 HAS SOUS 35997 HAS SOUPS 35997 WITH SCORE 36074.59
AT ITER 2234 NEW BEST:: SOT 128212 SOS 77579 HAS SOPS 77579 HAS SOUS 35986 HAS SOUPS 35986 WITH SCORE 36063.579
AT ITER 2255 NEW BEST:: SOT 128043 SOS 77642 HAS SOPS 77642 HAS SOUS 35958 HAS SOUPS 35958 WITH SCORE 36035.642
AT ITER 2263 NEW BEST:: SOT 128041 SOS 77640 HAS SOPS 77640 HAS SOUS 35956 HAS SOUPS 35956 WITH SCORE 36033.64
AT ITER 2275 NEW BEST:: SOT 128046 SOS 77765 HAS SOPS 77765 HAS SOUS 35835 HAS SOUPS 35835 WITH SCORE 35912.765
AT ITER 2277 NEW BEST:: SOT 127178 SOS 77204 HAS SOPS 77204 HAS SOUS 35370 HAS SOUPS 35370 WITH SCORE 35447.204
AT ITER 2278 NEW BEST:: SOT 127076 SOS 76894 HAS SOPS 76894 HAS SOUS 35335 HAS SOUPS 35335 WITH SCORE 35411.894
AT ITER 2281 NEW BEST:: SOT 127017 SOS 76835 HAS SOPS 76835 HAS SOUS 35316 HAS SOUPS 35316 WITH SCORE 35392.835
AT ITER 2321 NEW BEST:: SOT 127047 SOS 76865 HAS SOPS 76865 HAS SOUS 35291 HAS SOUPS 35291 WITH SCORE 35367.865
AT ITER 2349 NEW BEST:: SOT 126874 SOS 75660 HAS SOPS 75660 HAS SOUS 35278 HAS SOUPS 35278 WITH SCORE 35353.66
AT ITER 2379 NEW BEST:: SOT 126873 SOS 75659 HAS SOPS 75659 HAS SOUS 35277 HAS SOUPS 35277 WITH SCORE 35352.659
AT ITER 2427 NEW BEST:: SOT 126881 SOS 78467 HAS SOPS 78467 HAS SOUS 35241 HAS SOUPS 35241 WITH SCORE 35319.467
AT ITER 2449 NEW BEST:: SOT 126834 SOS 78420 HAS SOPS 78420 HAS SOUS 35182 HAS SOUPS 35182 WITH SCORE 35260.42
AT ITER 2465 NEW BEST:: SOT 126834 SOS 78420 HAS SOPS 78420 HAS SOUS 35127 HAS SOUPS 35127 WITH SCORE 35205.42
AT ITER 2472 NEW BEST:: SOT 126851 SOS 78437 HAS SOPS 78437 HAS SOUS 35027 HAS SOUPS 35027 WITH SCORE 35105.437
AT ITER 2489 NEW BEST:: SOT 126912 SOS 78706 HAS SOPS 78706 HAS SOUS 35013 HAS SOUPS 35013 WITH SCORE 35091.706
AT ITER 2495 NEW BEST:: SOT 126906 SOS 78700 HAS SOPS 78700 HAS SOUS 34927 HAS SOUPS 34927 WITH SCORE 35005.7
AT ITER 2528 NEW BEST:: SOT 126897 SOS 78691 HAS SOPS 78691 HAS SOUS 34918 HAS SOUPS 34918 WITH SCORE 34996.691
AT ITER 2533 NEW BEST:: SOT 126833 SOS 78647 HAS SOPS 78647 HAS SOUS 34885 HAS SOUPS 34885 WITH SCORE 34963.647
AT ITER 2556 NEW BEST:: SOT 126799 SOS 78565 HAS SOPS 78565 HAS SOUS 34840 HAS SOUPS 34840 WITH SCORE 34918.565
AT ITER 2557 NEW BEST:: SOT 126751 SOS 78517 HAS SOPS 78517 HAS SOUS 34791 HAS SOUPS 34791 WITH SCORE 34869.517
AT ITER 2598 NEW BEST:: SOT 126788 SOS 77920 HAS SOPS 77920 HAS SOUS 34458 HAS SOUPS 34458 WITH SCORE 34535.92
AT ITER 2602 NEW BEST:: SOT 127045 SOS 78490 HAS SOPS 78490 HAS SOUS 34427 HAS SOUPS 34427 WITH SCORE 34505.49
AT ITER 2606 NEW BEST:: SOT 126945 SOS 78035 HAS SOPS 78035 HAS SOUS 34299 HAS SOUPS 34299 WITH SCORE 34377.035
AT ITER 2665 NEW BEST:: SOT 126837 SOS 77927 HAS SOPS 77927 HAS SOUS 34271 HAS SOUPS 34271 WITH SCORE 34348.927
AT ITER 2674 NEW BEST:: SOT 126837 SOS 77927 HAS SOPS 77927 HAS SOUS 34262 HAS SOUPS 34262 WITH SCORE 34339.927
AT ITER 2678 NEW BEST:: SOT 126822 SOS 77928 HAS SOPS 77928 HAS SOUS 34242 HAS SOUPS 34242 WITH SCORE 34319.928
AT ITER 2714 NEW BEST:: SOT 126837 SOS 77943 HAS SOPS 77943 HAS SOUS 34241 HAS SOUPS 34241 WITH SCORE 34318.943
AT ITER 2731 NEW BEST:: SOT 126838 SOS 77944 HAS SOPS 77944 HAS SOUS 34234 HAS SOUPS 34234 WITH SCORE 34311.944
AT ITER 2735 NEW BEST:: SOT 126833 SOS 77939 HAS SOPS 77939 HAS SOUS 34229 HAS SOUPS 34229 WITH SCORE 34306.939
AT ITER 2761 NEW BEST:: SOT 126827 SOS 77933 HAS SOPS 77933 HAS SOUS 34195 HAS SOUPS 34195 WITH SCORE 34272.933
AT ITER 2809 NEW BEST:: SOT 126827 SOS 77949 HAS SOPS 77949 HAS SOUS 34193 HAS SOUPS 34193 WITH SCORE 34270.949
AT ITER 2815 NEW BEST:: SOT 126814 SOS 77936 HAS SOPS 77936 HAS SOUS 34176 HAS SOUPS 34176 WITH SCORE 34253.936
AT ITER 2858 NEW BEST:: SOT 126828 SOS 77704 HAS SOPS 77704 HAS SOUS 34081 HAS SOUPS 34081 WITH SCORE 34158.704
AT ITER 2891 NEW BEST:: SOT 126837 SOS 77713 HAS SOPS 77713 HAS SOUS 34058 HAS SOUPS 34058 WITH SCORE 34135.713
AT ITER 2914 NEW BEST:: SOT 126843 SOS 77719 HAS SOPS 77719 HAS SOUS 33973 HAS SOUPS 33973 WITH SCORE 34050.719
AT ITER 2919 NEW BEST:: SOT 126843 SOS 77639 HAS SOPS 77639 HAS SOUS 33963 HAS SOUPS 33963 WITH SCORE 34040.639
AT ITER 2921 NEW BEST:: SOT 126824 SOS 77522 HAS SOPS 77522 HAS SOUS 33930 HAS SOUPS 33930 WITH SCORE 34007.522
AT ITER 2926 NEW BEST:: SOT 126892 SOS 82276 HAS SOPS 82276 HAS SOUS 33795 HAS SOUPS 33795 WITH SCORE 33877.276
AT ITER 2932 NEW BEST:: SOT 126902 SOS 82446 HAS SOPS 82446 HAS SOUS 33735 HAS SOUPS 33735 WITH SCORE 33817.446
AT ITER 3038 NEW BEST:: SOT 126900 SOS 82444 HAS SOPS 82444 HAS SOUS 33727 HAS SOUPS 33727 WITH SCORE 33809.444
AT ITER 3040 NEW BEST:: SOT 126693 SOS 79421 HAS SOPS 79421 HAS SOUS 33706 HAS SOUPS 33706 WITH SCORE 33785.421
AT ITER 3046 NEW BEST:: SOT 126691 SOS 79419 HAS SOPS 79419 HAS SOUS 33704 HAS SOUPS 33704 WITH SCORE 33783.419
AT ITER 3087 NEW BEST:: SOT 126690 SOS 79418 HAS SOPS 79418 HAS SOUS 33703 HAS SOUPS 33703 WITH SCORE 33782.418
AT ITER 3106 NEW BEST:: SOT 126711 SOS 79599 HAS SOPS 79599 HAS SOUS 33643 HAS SOUPS 33643 WITH SCORE 33722.599
AT ITER 3113 NEW BEST:: SOT 126710 SOS 79598 HAS SOPS 79598 HAS SOUS 33618 HAS SOUPS 33618 WITH SCORE 33697.598
AT ITER 3118 NEW BEST:: SOT 126700 SOS 79588 HAS SOPS 79588 HAS SOUS 33613 HAS SOUPS 33613 WITH SCORE 33692.588
AT ITER 3131 NEW BEST:: SOT 126634 SOS 79572 HAS SOPS 79572 HAS SOUS 33592 HAS SOUPS 33592 WITH SCORE 33671.572
AT ITER 3141 NEW BEST:: SOT 126620 SOS 79558 HAS SOPS 79558 HAS SOUS 33578 HAS SOUPS 33578 WITH SCORE 33657.558
AT ITER 3168 NEW BEST:: SOT 126612 SOS 79558 HAS SOPS 79558 HAS SOUS 33566 HAS SOUPS 33566 WITH SCORE 33645.558
AT ITER 3197 NEW BEST:: SOT 126418 SOS 79364 HAS SOPS 79364 HAS SOUS 33418 HAS SOUPS 33418 WITH SCORE 33497.364
AT ITER 3203 NEW BEST:: SOT 126384 SOS 79330 HAS SOPS 79330 HAS SOUS 33384 HAS SOUPS 33384 WITH SCORE 33463.33
AT ITER 3208 NEW BEST:: SOT 126261 SOS 79213 HAS SOPS 79213 HAS SOUS 33346 HAS SOUPS 33346 WITH SCORE 33425.213
AT ITER 3210 NEW BEST:: SOT 126261 SOS 76989 HAS SOPS 76989 HAS SOUS 33316 HAS SOUPS 33316 WITH SCORE 33392.989
AT ITER 3222 NEW BEST:: SOT 126237 SOS 76965 HAS SOPS 76965 HAS SOUS 33306 HAS SOUPS 33306 WITH SCORE 33382.965
AT ITER 3244 NEW BEST:: SOT 126254 SOS 76982 HAS SOPS 76982 HAS SOUS 33267 HAS SOUPS 33267 WITH SCORE 33343.982
AT ITER 3298 NEW BEST:: SOT 126230 SOS 76962 HAS SOPS 76962 HAS SOUS 33136 HAS SOUPS 33136 WITH SCORE 33212.962
AT ITER 3301 NEW BEST:: SOT 126204 SOS 76952 HAS SOPS 76952 HAS SOUS 33110 HAS SOUPS 33110 WITH SCORE 33186.952
AT ITER 3315 NEW BEST:: SOT 126156 SOS 76696 HAS SOPS 76696 HAS SOUS 33081 HAS SOUPS 33081 WITH SCORE 33157.696
AT ITER 3329 NEW BEST:: SOT 126110 SOS 76682 HAS SOPS 76682 HAS SOUS 33035 HAS SOUPS 33035 WITH SCORE 33111.682
AT ITER 3385 NEW BEST:: SOT 126099 SOS 76671 HAS SOPS 76671 HAS SOUS 33002 HAS SOUPS 33002 WITH SCORE 33078.671
AT ITER 3407 NEW BEST:: SOT 126091 SOS 76663 HAS SOPS 76663 HAS SOUS 32986 HAS SOUPS 32986 WITH SCORE 33062.663
AT ITER 3419 NEW BEST:: SOT 126063 SOS 76635 HAS SOPS 76635 HAS SOUS 32942 HAS SOUPS 32942 WITH SCORE 33018.635
AT ITER 3432 NEW BEST:: SOT 126051 SOS 76623 HAS SOPS 76623 HAS SOUS 32930 HAS SOUPS 32930 WITH SCORE 33006.623
AT ITER 3467 NEW BEST:: SOT 126167 SOS 77203 HAS SOPS 77203 HAS SOUS 32928 HAS SOUPS 32928 WITH SCORE 33005.203
AT ITER 3535 NEW BEST:: SOT 126131 SOS 77167 HAS SOPS 77167 HAS SOUS 32882 HAS SOUPS 32882 WITH SCORE 32959.167
AT ITER 3583 NEW BEST:: SOT 126154 SOS 77190 HAS SOPS 77190 HAS SOUS 32825 HAS SOUPS 32825 WITH SCORE 32902.19
AT ITER 3612 NEW BEST:: SOT 126197 SOS 77417 HAS SOPS 77417 HAS SOUS 32711 HAS SOUPS 32711 WITH SCORE 32788.417
AT ITER 3621 NEW BEST:: SOT 125987 SOS 77233 HAS SOPS 77233 HAS SOUS 32621 HAS SOUPS 32621 WITH SCORE 32698.233
AT ITER 3661 NEW BEST:: SOT 125852 SOS 76548 HAS SOPS 76548 HAS SOUS 32589 HAS SOUPS 32589 WITH SCORE 32665.548
AT ITER 3663 NEW BEST:: SOT 125850 SOS 76546 HAS SOPS 76546 HAS SOUS 32587 HAS SOUPS 32587 WITH SCORE 32663.546
AT ITER 3680 NEW BEST:: SOT 125873 SOS 76705 HAS SOPS 76705 HAS SOUS 32561 HAS SOUPS 32561 WITH SCORE 32637.705
AT ITER 3750 NEW BEST:: SOT 125887 SOS 76767 HAS SOPS 76767 HAS SOUS 32554 HAS SOUPS 32554 WITH SCORE 32630.767
AT ITER 3751 NEW BEST:: SOT 125869 SOS 76749 HAS SOPS 76749 HAS SOUS 32520 HAS SOUPS 32520 WITH SCORE 32596.749
AT ITER 3796 NEW BEST:: SOT 125893 SOS 76773 HAS SOPS 76773 HAS SOUS 32517 HAS SOUPS 32517 WITH SCORE 32593.773
AT ITER 3855 NEW BEST:: SOT 125915 SOS 76795 HAS SOPS 76795 HAS SOUS 32511 HAS SOUPS 32511 WITH SCORE 32587.795
AT ITER 3876 NEW BEST:: SOT 125915 SOS 76795 HAS SOPS 76795 HAS SOUS 32489 HAS SOUPS 32489 WITH SCORE 32565.795
AT ITER 3924 NEW BEST:: SOT 125844 SOS 76724 HAS SOPS 76724 HAS SOUS 32418 HAS SOUPS 32418 WITH SCORE 32494.724
AT ITER 3963 NEW BEST:: SOT 125794 SOS 76402 HAS SOPS 76402 HAS SOUS 32416 HAS SOUPS 32416 WITH SCORE 32492.402
AT ITER 3990 NEW BEST:: SOT 125790 SOS 76398 HAS SOPS 76398 HAS SOUS 32411 HAS SOUPS 32411 WITH SCORE 32487.398
AT ITER 3991 NEW BEST:: SOT 125755 SOS 76363 HAS SOPS 76363 HAS SOUS 32376 HAS SOUPS 32376 WITH SCORE 32452.363
AT ITER 4038 NEW BEST:: SOT 125686 SOS 76294 HAS SOPS 76294 HAS SOUS 32217 HAS SOUPS 32217 WITH SCORE 32293.294
AT ITER 4049 NEW BEST:: SOT 125594 SOS 76202 HAS SOPS 76202 HAS SOUS 32140 HAS SOUPS 32140 WITH SCORE 32216.202
AT ITER 4069 NEW BEST:: SOT 125586 SOS 76242 HAS SOPS 76242 HAS SOUS 32139 HAS SOUPS 32139 WITH SCORE 32215.242
AT ITER 4085 NEW BEST:: SOT 125627 SOS 76443 HAS SOPS 76443 HAS SOUS 32048 HAS SOUPS 32048 WITH SCORE 32124.443
AT ITER 4105 NEW BEST:: SOT 125750 SOS 76886 HAS SOPS 76886 HAS SOUS 31978 HAS SOUPS 31978 WITH SCORE 32054.886
AT ITER 4121 NEW BEST:: SOT 125742 SOS 76878 HAS SOPS 76878 HAS SOUS 31978 HAS SOUPS 31978 WITH SCORE 32054.878
AT ITER 4123 NEW BEST:: SOT 125719 SOS 76855 HAS SOPS 76855 HAS SOUS 31945 HAS SOUPS 31945 WITH SCORE 32021.855
AT ITER 4129 NEW BEST:: SOT 125719 SOS 76815 HAS SOPS 76815 HAS SOUS 31925 HAS SOUPS 31925 WITH SCORE 32001.815
AT ITER 4151 NEW BEST:: SOT 125706 SOS 76826 HAS SOPS 76826 HAS SOUS 31912 HAS SOUPS 31912 WITH SCORE 31988.826
AT ITER 4166 NEW BEST:: SOT 125689 SOS 76809 HAS SOPS 76809 HAS SOUS 31879 HAS SOUPS 31879 WITH SCORE 31955.809
AT ITER 4208 NEW BEST:: SOT 125686 SOS 76758 HAS SOPS 76758 HAS SOUS 31867 HAS SOUPS 31867 WITH SCORE 31943.758
AT ITER 4211 NEW BEST:: SOT 125682 SOS 76786 HAS SOPS 76786 HAS SOUS 31860 HAS SOUPS 31860 WITH SCORE 31936.786
AT ITER 4246 NEW BEST:: SOT 125679 SOS 76783 HAS SOPS 76783 HAS SOUS 31857 HAS SOUPS 31857 WITH SCORE 31933.783
AT ITER 4274 NEW BEST:: SOT 125702 SOS 77014 HAS SOPS 77014 HAS SOUS 31833 HAS SOUPS 31833 WITH SCORE 31910.014
AT ITER 4307 NEW BEST:: SOT 125688 SOS 77000 HAS SOPS 77000 HAS SOUS 31819 HAS SOUPS 31819 WITH SCORE 31896.0
AT ITER 4328 NEW BEST:: SOT 125508 SOS 76820 HAS SOPS 76820 HAS SOUS 31645 HAS SOUPS 31645 WITH SCORE 31721.82
AT ITER 4332 NEW BEST:: SOT 125556 SOS 76868 HAS SOPS 76868 HAS SOUS 31638 HAS SOUPS 31638 WITH SCORE 31714.868
AT ITER 4352 NEW BEST:: SOT 125519 SOS 76831 HAS SOPS 76831 HAS SOUS 31609 HAS SOUPS 31609 WITH SCORE 31685.831
AT ITER 4365 NEW BEST:: SOT 125498 SOS 77274 HAS SOPS 77274 HAS SOUS 31548 HAS SOUPS 31548 WITH SCORE 31625.274
AT ITER 4455 NEW BEST:: SOT 125445 SOS 76893 HAS SOPS 76893 HAS SOUS 31493 HAS SOUPS 31493 WITH SCORE 31569.893
AT ITER 4519 NEW BEST:: SOT 125451 SOS 77013 HAS SOPS 77013 HAS SOUS 31492 HAS SOUPS 31492 WITH SCORE 31569.013
AT ITER 4530 NEW BEST:: SOT 125469 SOS 77031 HAS SOPS 77031 HAS SOUS 31454 HAS SOUPS 31454 WITH SCORE 31531.031
AT ITER 4546 NEW BEST:: SOT 125478 SOS 77072 HAS SOPS 77072 HAS SOUS 31452 HAS SOUPS 31452 WITH SCORE 31529.072
AT ITER 4577 NEW BEST:: SOT 125446 SOS 77040 HAS SOPS 77040 HAS SOUS 31410 HAS SOUPS 31410 WITH SCORE 31487.04
AT ITER 4579 NEW BEST:: SOT 125492 SOS 77086 HAS SOPS 77086 HAS SOUS 31408 HAS SOUPS 31408 WITH SCORE 31485.086
AT ITER 4603 NEW BEST:: SOT 125504 SOS 77098 HAS SOPS 77098 HAS SOUS 31387 HAS SOUPS 31387 WITH SCORE 31464.098
AT ITER 4628 NEW BEST:: SOT 125687 SOS 80217 HAS SOPS 80217 HAS SOUS 31345 HAS SOUPS 31345 WITH SCORE 31425.217
AT ITER 4656 NEW BEST:: SOT 125685 SOS 80215 HAS SOPS 80215 HAS SOUS 31335 HAS SOUPS 31335 WITH SCORE 31415.215
AT ITER 4710 NEW BEST:: SOT 125684 SOS 80214 HAS SOPS 80214 HAS SOUS 31334 HAS SOUPS 31334 WITH SCORE 31414.214
AT ITER 4754 NEW BEST:: SOT 125684 SOS 80214 HAS SOPS 80214 HAS SOUS 31324 HAS SOUPS 31324 WITH SCORE 31404.214
AT ITER 4823 NEW BEST:: SOT 125686 SOS 80216 HAS SOPS 80216 HAS SOUS 31210 HAS SOUPS 31210 WITH SCORE 31290.216
AT ITER 4859 NEW BEST:: SOT 125666 SOS 80196 HAS SOPS 80196 HAS SOUS 31086 HAS SOUPS 31086 WITH SCORE 31166.196
AT ITER 4876 NEW BEST:: SOT 125665 SOS 80195 HAS SOPS 80195 HAS SOUS 31085 HAS SOUPS 31085 WITH SCORE 31165.195
AT ITER 4906 NEW BEST:: SOT 125666 SOS 80196 HAS SOPS 80196 HAS SOUS 31063 HAS SOUPS 31063 WITH SCORE 31143.196
AT ITER 4980 NEW BEST:: SOT 125657 SOS 80187 HAS SOPS 80187 HAS SOUS 31056 HAS SOUPS 31056 WITH SCORE 31136.187
AT ITER 5008 NEW BEST:: SOT 125557 SOS 80087 HAS SOPS 80087 HAS SOUS 30956 HAS SOUPS 30956 WITH SCORE 31036.087
AT ITER 5026 NEW BEST:: SOT 125500 SOS 79830 HAS SOPS 79830 HAS SOUS 30871 HAS SOUPS 30871 WITH SCORE 30950.83
AT ITER 5038 NEW BEST:: SOT 125497 SOS 79827 HAS SOPS 79827 HAS SOUS 30860 HAS SOUPS 30860 WITH SCORE 30939.827
AT ITER 5054 NEW BEST:: SOT 125489 SOS 79819 HAS SOPS 79819 HAS SOUS 30852 HAS SOUPS 30852 WITH SCORE 30931.819
AT ITER 5059 NEW BEST:: SOT 125485 SOS 79815 HAS SOPS 79815 HAS SOUS 30848 HAS SOUPS 30848 WITH SCORE 30927.815
AT ITER 5065 NEW BEST:: SOT 125402 SOS 79732 HAS SOPS 79732 HAS SOUS 30647 HAS SOUPS 30647 WITH SCORE 30726.732
AT ITER 5112 NEW BEST:: SOT 125322 SOS 79652 HAS SOPS 79652 HAS SOUS 30560 HAS SOUPS 30560 WITH SCORE 30639.652
AT ITER 5127 NEW BEST:: SOT 125322 SOS 76796 HAS SOPS 76796 HAS SOUS 30548 HAS SOUPS 30548 WITH SCORE 30624.796
AT ITER 5195 NEW BEST:: SOT 125280 SOS 76754 HAS SOPS 76754 HAS SOUS 30482 HAS SOUPS 30482 WITH SCORE 30558.754
AT ITER 5200 NEW BEST:: SOT 125230 SOS 76706 HAS SOPS 76706 HAS SOUS 30431 HAS SOUPS 30431 WITH SCORE 30507.706
AT ITER 5273 NEW BEST:: SOT 125230 SOS 76642 HAS SOPS 76642 HAS SOUS 30427 HAS SOUPS 30427 WITH SCORE 30503.642
AT ITER 5275 NEW BEST:: SOT 125222 SOS 76634 HAS SOPS 76634 HAS SOUS 30411 HAS SOUPS 30411 WITH SCORE 30487.634
AT ITER 5281 NEW BEST:: SOT 125185 SOS 76597 HAS SOPS 76597 HAS SOUS 30334 HAS SOUPS 30334 WITH SCORE 30410.597
AT ITER 5352 NEW BEST:: SOT 125279 SOS 76691 HAS SOPS 76691 HAS SOUS 30267 HAS SOUPS 30267 WITH SCORE 30343.691
AT ITER 5385 NEW BEST:: SOT 125279 SOS 73603 HAS SOPS 73603 HAS SOUS 30224 HAS SOUPS 30224 WITH SCORE 30297.603
AT ITER 5470 NEW BEST:: SOT 125279 SOS 73507 HAS SOPS 73507 HAS SOUS 30219 HAS SOUPS 30219 WITH SCORE 30292.507
AT ITER 5622 NEW BEST:: SOT 125285 SOS 73513 HAS SOPS 73513 HAS SOUS 30209 HAS SOUPS 30209 WITH SCORE 30282.513
AT ITER 5641 NEW BEST:: SOT 125285 SOS 73513 HAS SOPS 73513 HAS SOUS 30201 HAS SOUPS 30201 WITH SCORE 30274.513
AT ITER 5700 NEW BEST:: SOT 125277 SOS 73505 HAS SOPS 73505 HAS SOUS 30187 HAS SOUPS 30187 WITH SCORE 30260.505
AT ITER 5766 NEW BEST:: SOT 125336 SOS 73564 HAS SOPS 73564 HAS SOUS 30182 HAS SOUPS 30182 WITH SCORE 30255.564
AT ITER 5833 NEW BEST:: SOT 125336 SOS 73524 HAS SOPS 73524 HAS SOUS 30180 HAS SOUPS 30180 WITH SCORE 30253.524
AT ITER 5839 NEW BEST:: SOT 125334 SOS 73522 HAS SOPS 73522 HAS SOUS 30178 HAS SOUPS 30178 WITH SCORE 30251.522
AT ITER 5861 NEW BEST:: SOT 125329 SOS 73517 HAS SOPS 73517 HAS SOUS 30173 HAS SOUPS 30173 WITH SCORE 30246.517
AT ITER 5867 NEW BEST:: SOT 125290 SOS 73484 HAS SOPS 73484 HAS SOUS 30155 HAS SOUPS 30155 WITH SCORE 30228.484
AT ITER 5888 NEW BEST:: SOT 125284 SOS 73518 HAS SOPS 73518 HAS SOUS 30117 HAS SOUPS 30117 WITH SCORE 30190.518
AT ITER 5897 NEW BEST:: SOT 125284 SOS 73518 HAS SOPS 73518 HAS SOUS 30115 HAS SOUPS 30115 WITH SCORE 30188.518
AT ITER 5901 NEW BEST:: SOT 125280 SOS 73517 HAS SOPS 73517 HAS SOUS 30109 HAS SOUPS 30109 WITH SCORE 30182.517
AT ITER 5989 NEW BEST:: SOT 125279 SOS 73524 HAS SOPS 73524 HAS SOUS 30102 HAS SOUPS 30102 WITH SCORE 30175.524
AT ITER 6006 NEW BEST:: SOT 125321 SOS 73686 HAS SOPS 73686 HAS SOUS 30029 HAS SOUPS 30029 WITH SCORE 30102.686
AT ITER 6051 NEW BEST:: SOT 125316 SOS 73689 HAS SOPS 73689 HAS SOUS 30028 HAS SOUPS 30028 WITH SCORE 30101.689
AT ITER 6117 NEW BEST:: SOT 125296 SOS 73669 HAS SOPS 73669 HAS SOUS 30024 HAS SOUPS 30024 WITH SCORE 30097.669
AT ITER 6160 NEW BEST:: SOT 125264 SOS 73637 HAS SOPS 73637 HAS SOUS 29962 HAS SOUPS 29962 WITH SCORE 30035.637
AT ITER 6169 NEW BEST:: SOT 125135 SOS 73515 HAS SOPS 73515 HAS SOUS 29846 HAS SOUPS 29846 WITH SCORE 29919.515
AT ITER 6172 NEW BEST:: SOT 125130 SOS 73510 HAS SOPS 73510 HAS SOUS 29793 HAS SOUPS 29793 WITH SCORE 29866.51
AT ITER 6182 NEW BEST:: SOT 125118 SOS 73498 HAS SOPS 73498 HAS SOUS 29789 HAS SOUPS 29789 WITH SCORE 29862.498
AT ITER 6284 NEW BEST:: SOT 125128 SOS 73508 HAS SOPS 73508 HAS SOUS 29781 HAS SOUPS 29781 WITH SCORE 29854.508
AT ITER 6285 NEW BEST:: SOT 124857 SOS 73269 HAS SOPS 73269 HAS SOUS 29696 HAS SOUPS 29696 WITH SCORE 29769.269
AT ITER 6298 NEW BEST:: SOT 124727 SOS 73139 HAS SOPS 73139 HAS SOUS 29566 HAS SOUPS 29566 WITH SCORE 29639.139
AT ITER 6309 NEW BEST:: SOT 124727 SOS 73075 HAS SOPS 73075 HAS SOUS 29565 HAS SOUPS 29565 WITH SCORE 29638.075
AT ITER 6388 NEW BEST:: SOT 124821 SOS 72889 HAS SOPS 72889 HAS SOUS 29459 HAS SOUPS 29459 WITH SCORE 29531.889
AT ITER 6392 NEW BEST:: SOT 124819 SOS 72887 HAS SOPS 72887 HAS SOUS 29457 HAS SOUPS 29457 WITH SCORE 29529.887
AT ITER 6410 NEW BEST:: SOT 124737 SOS 72819 HAS SOPS 72819 HAS SOUS 29325 HAS SOUPS 29325 WITH SCORE 29397.819
AT ITER 6426 NEW BEST:: SOT 124719 SOS 72819 HAS SOPS 72819 HAS SOUS 29298 HAS SOUPS 29298 WITH SCORE 29370.819
AT ITER 6431 NEW BEST:: SOT 124709 SOS 72819 HAS SOPS 72819 HAS SOUS 29283 HAS SOUPS 29283 WITH SCORE 29355.819
AT ITER 6468 NEW BEST:: SOT 124705 SOS 72623 HAS SOPS 72623 HAS SOUS 29275 HAS SOUPS 29275 WITH SCORE 29347.623
AT ITER 6474 NEW BEST:: SOT 124705 SOS 72599 HAS SOPS 72599 HAS SOUS 29266 HAS SOUPS 29266 WITH SCORE 29338.599
AT ITER 6480 NEW BEST:: SOT 124701 SOS 72579 HAS SOPS 72579 HAS SOUS 29258 HAS SOUPS 29258 WITH SCORE 29330.579
AT ITER 6483 NEW BEST:: SOT 124676 SOS 72466 HAS SOPS 72466 HAS SOUS 29224 HAS SOUPS 29224 WITH SCORE 29296.466
AT ITER 6527 NEW BEST:: SOT 124630 SOS 72420 HAS SOPS 72420 HAS SOUS 29202 HAS SOUPS 29202 WITH SCORE 29274.42
AT ITER 6567 NEW BEST:: SOT 124604 SOS 72394 HAS SOPS 72394 HAS SOUS 29120 HAS SOUPS 29120 WITH SCORE 29192.394
AT ITER 6582 NEW BEST:: SOT 124568 SOS 72358 HAS SOPS 72358 HAS SOUS 29084 HAS SOUPS 29084 WITH SCORE 29156.358
AT ITER 6637 NEW BEST:: SOT 124558 SOS 72348 HAS SOPS 72348 HAS SOUS 29058 HAS SOUPS 29058 WITH SCORE 29130.348
AT ITER 6657 NEW BEST:: SOT 124459 SOS 72361 HAS SOPS 72361 HAS SOUS 28859 HAS SOUPS 28859 WITH SCORE 28931.361
AT ITER 6716 NEW BEST:: SOT 124405 SOS 72307 HAS SOPS 72307 HAS SOUS 28848 HAS SOUPS 28848 WITH SCORE 28920.307
AT ITER 6745 NEW BEST:: SOT 124405 SOS 72187 HAS SOPS 72187 HAS SOUS 28831 HAS SOUPS 28831 WITH SCORE 28903.187
AT ITER 6798 NEW BEST:: SOT 124405 SOS 72139 HAS SOPS 72139 HAS SOUS 28804 HAS SOUPS 28804 WITH SCORE 28876.139
AT ITER 6840 NEW BEST:: SOT 124405 SOS 72235 HAS SOPS 72235 HAS SOUS 28802 HAS SOUPS 28802 WITH SCORE 28874.235
AT ITER 6973 NEW BEST:: SOT 124385 SOS 72215 HAS SOPS 72215 HAS SOUS 28782 HAS SOUPS 28782 WITH SCORE 28854.215
AT ITER 7090 NEW BEST:: SOT 124387 SOS 72233 HAS SOPS 72233 HAS SOUS 28777 HAS SOUPS 28777 WITH SCORE 28849.233
AT ITER 7106 NEW BEST:: SOT 124390 SOS 72236 HAS SOPS 72236 HAS SOUS 28748 HAS SOUPS 28748 WITH SCORE 28820.236
AT ITER 7150 NEW BEST:: SOT 124391 SOS 72221 HAS SOPS 72221 HAS SOUS 28742 HAS SOUPS 28742 WITH SCORE 28814.221
AT ITER 7275 NEW BEST:: SOT 124448 SOS 72278 HAS SOPS 72278 HAS SOUS 28703 HAS SOUPS 28703 WITH SCORE 28775.278
AT ITER 7289 NEW BEST:: SOT 124448 SOS 72286 HAS SOPS 72286 HAS SOUS 28702 HAS SOUPS 28702 WITH SCORE 28774.286
AT ITER 7330 NEW BEST:: SOT 124440 SOS 72278 HAS SOPS 72278 HAS SOUS 28670 HAS SOUPS 28670 WITH SCORE 28742.278
AT ITER 7359 NEW BEST:: SOT 124440 SOS 72278 HAS SOPS 72278 HAS SOUS 28597 HAS SOUPS 28597 WITH SCORE 28669.278
AT ITER 7397 NEW BEST:: SOT 124359 SOS 72543 HAS SOPS 72543 HAS SOUS 28591 HAS SOUPS 28591 WITH SCORE 28663.543
AT ITER 7398 NEW BEST:: SOT 124359 SOS 72543 HAS SOPS 72543 HAS SOUS 28588 HAS SOUPS 28588 WITH SCORE 28660.543
AT ITER 7420 NEW BEST:: SOT 124347 SOS 72643 HAS SOPS 72643 HAS SOUS 28548 HAS SOUPS 28548 WITH SCORE 28620.643
AT ITER 7550 NEW BEST:: SOT 124347 SOS 73155 HAS SOPS 73155 HAS SOUS 28547 HAS SOUPS 28547 WITH SCORE 28620.155
AT ITER 7585 NEW BEST:: SOT 124384 SOS 74984 HAS SOPS 74984 HAS SOUS 28544 HAS SOUPS 28544 WITH SCORE 28618.984
AT ITER 7601 NEW BEST:: SOT 124376 SOS 74984 HAS SOPS 74984 HAS SOUS 28532 HAS SOUPS 28532 WITH SCORE 28606.984
AT ITER 7620 NEW BEST:: SOT 124376 SOS 74984 HAS SOPS 74984 HAS SOUS 28508 HAS SOUPS 28508 WITH SCORE 28582.984
AT ITER 7635 NEW BEST:: SOT 124376 SOS 71680 HAS SOPS 71680 HAS SOUS 28452 HAS SOUPS 28452 WITH SCORE 28523.68
AT ITER 7658 NEW BEST:: SOT 124422 SOS 71726 HAS SOPS 71726 HAS SOUS 28442 HAS SOUPS 28442 WITH SCORE 28513.726
AT ITER 7801 NEW BEST:: SOT 124418 SOS 71722 HAS SOPS 71722 HAS SOUS 28438 HAS SOUPS 28438 WITH SCORE 28509.722
AT ITER 7805 NEW BEST:: SOT 124418 SOS 71722 HAS SOPS 71722 HAS SOUS 28432 HAS SOUPS 28432 WITH SCORE 28503.722
AT ITER 7905 NEW BEST:: SOT 124420 SOS 71724 HAS SOPS 71724 HAS SOUS 28425 HAS SOUPS 28425 WITH SCORE 28496.724
AT ITER 8212 NEW BEST:: SOT 124386 SOS 71690 HAS SOPS 71690 HAS SOUS 28406 HAS SOUPS 28406 WITH SCORE 28477.69
AT ITER 8227 NEW BEST:: SOT 124386 SOS 71690 HAS SOPS 71690 HAS SOUS 28398 HAS SOUPS 28398 WITH SCORE 28469.69
AT ITER 8235 NEW BEST:: SOT 124386 SOS 71402 HAS SOPS 71402 HAS SOUS 28397 HAS SOUPS 28397 WITH SCORE 28468.402
AT ITER 8369 NEW BEST:: SOT 124386 SOS 71482 HAS SOPS 71482 HAS SOUS 28347 HAS SOUPS 28347 WITH SCORE 28418.482
AT ITER 8448 NEW BEST:: SOT 124386 SOS 71466 HAS SOPS 71466 HAS SOUS 28344 HAS SOUPS 28344 WITH SCORE 28415.466
AT ITER 8634 NEW BEST:: SOT 124384 SOS 71488 HAS SOPS 71488 HAS SOUS 28331 HAS SOUPS 28331 WITH SCORE 28402.488
AT ITER 8649 NEW BEST:: SOT 124405 SOS 71509 HAS SOPS 71509 HAS SOUS 28320 HAS SOUPS 28320 WITH SCORE 28391.509
AT ITER 8691 NEW BEST:: SOT 124391 SOS 71495 HAS SOPS 71495 HAS SOUS 28306 HAS SOUPS 28306 WITH SCORE 28377.495
AT ITER 8696 NEW BEST:: SOT 124361 SOS 71465 HAS SOPS 71465 HAS SOUS 28300 HAS SOUPS 28300 WITH SCORE 28371.465
AT ITER 8715 NEW BEST:: SOT 124358 SOS 71494 HAS SOPS 71494 HAS SOUS 28295 HAS SOUPS 28295 WITH SCORE 28366.494
AT ITER 8717 NEW BEST:: SOT 124358 SOS 71526 HAS SOPS 71526 HAS SOUS 28293 HAS SOUPS 28293 WITH SCORE 28364.526
AT ITER 8857 NEW BEST:: SOT 124270 SOS 71590 HAS SOPS 71590 HAS SOUS 28179 HAS SOUPS 28179 WITH SCORE 28250.59
AT ITER 8953 NEW BEST:: SOT 124270 SOS 71590 HAS SOPS 71590 HAS SOUS 28175 HAS SOUPS 28175 WITH SCORE 28246.59
AT ITER 9010 NEW BEST:: SOT 124311 SOS 71631 HAS SOPS 71631 HAS SOUS 28160 HAS SOUPS 28160 WITH SCORE 28231.631
AT ITER 9113 NEW BEST:: SOT 124315 SOS 71659 HAS SOPS 71659 HAS SOUS 28158 HAS SOUPS 28158 WITH SCORE 28229.659
AT ITER 9287 NEW BEST:: SOT 124309 SOS 71653 HAS SOPS 71653 HAS SOUS 28144 HAS SOUPS 28144 WITH SCORE 28215.653
AT ITER 9424 NEW BEST:: SOT 124309 SOS 71605 HAS SOPS 71605 HAS SOUS 28144 HAS SOUPS 28144 WITH SCORE 28215.605
AT ITER 9438 NEW BEST:: SOT 124353 SOS 71761 HAS SOPS 71761 HAS SOUS 28131 HAS SOUPS 28131 WITH SCORE 28202.761
AT ITER 9586 NEW BEST:: SOT 124253 SOS 71573 HAS SOPS 71573 HAS SOUS 28090 HAS SOUPS 28090 WITH SCORE 28161.573
AT ITER 9636 NEW BEST:: SOT 124206 SOS 71526 HAS SOPS 71526 HAS SOUS 28051 HAS SOUPS 28051 WITH SCORE 28122.526
AT ITER 9687 NEW BEST:: SOT 124300 SOS 71460 HAS SOPS 71460 HAS SOUS 28049 HAS SOUPS 28049 WITH SCORE 28120.46
AT ITER 9718 NEW BEST:: SOT 124182 SOS 71694 HAS SOPS 71694 HAS SOUS 28044 HAS SOUPS 28044 WITH SCORE 28115.694
AT ITER 9827 NEW BEST:: SOT 124179 SOS 71787 HAS SOPS 71787 HAS SOUS 28036 HAS SOUPS 28036 WITH SCORE 28107.787
AT ITER 9855 NEW BEST:: SOT 124178 SOS 71786 HAS SOPS 71786 HAS SOUS 28035 HAS SOUPS 28035 WITH SCORE 28106.786
AT ITER 9955 NEW BEST:: SOT 124178 SOS 71778 HAS SOPS 71778 HAS SOUS 28027 HAS SOUPS 28027 WITH SCORE 28098.778
AT ITER 9967 NEW BEST:: SOT 124184 SOS 71784 HAS SOPS 71784 HAS SOUS 28017 HAS SOUPS 28017 WITH SCORE 28088.784
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 10408480 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16118452 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PermAdmissibility-COL-20"
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-20, 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-167863541900496"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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