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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 468K
-rw-r--r-- 1 mcc users 8.1K Feb 26 01:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 89K Feb 26 01:20 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 26 01:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K 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.7K Feb 25 16:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K 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 9.8K Feb 26 01:25 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 100K Feb 26 01:25 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.6K Feb 26 01:25 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 26 01:25 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 1678893930202

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-05
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-15 15:25:33] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-15 15:25:33] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-15 15:25:33] [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 15:25:33] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-15 15:25:34] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1105 ms
[2023-03-15 15:25:34] [INFO ] Imported 40 HL places and 16 HL transitions for a total of 208 PT places and 1024.0 transition bindings in 35 ms.
[2023-03-15 15:25:34] [INFO ] Unfolded HLPN to a Petri net with 208 places and 1024 transitions 5984 arcs in 91 ms.
[2023-03-15 15:25:34] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-15 15:25:34] [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 1430 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PermAdmissibility (COL), instance 05
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 29 NEW BEST:: SOT 140993 SOS 82509 HAS SOPS 82509 HAS SOUS 51699 HAS SOUPS 51699 WITH SCORE 51781.509
AT ITER 46 NEW BEST:: SOT 140984 SOS 82500 HAS SOPS 82500 HAS SOUS 51570 HAS SOUPS 51570 WITH SCORE 51652.5
AT ITER 50 NEW BEST:: SOT 141463 SOS 82979 HAS SOPS 82979 HAS SOUS 51537 HAS SOUPS 51537 WITH SCORE 51619.979
AT ITER 82 NEW BEST:: SOT 141463 SOS 85283 HAS SOPS 85283 HAS SOUS 51509 HAS SOUPS 51509 WITH SCORE 51594.283
AT ITER 90 NEW BEST:: SOT 141309 SOS 83785 HAS SOPS 83785 HAS SOUS 51496 HAS SOUPS 51496 WITH SCORE 51579.785
AT ITER 93 NEW BEST:: SOT 141181 SOS 83664 HAS SOPS 83664 HAS SOUS 51496 HAS SOUPS 51496 WITH SCORE 51579.664
AT ITER 100 NEW BEST:: SOT 141181 SOS 83664 HAS SOPS 83664 HAS SOUS 51476 HAS SOUPS 51476 WITH SCORE 51559.664
AT ITER 111 NEW BEST:: SOT 141263 SOS 84160 HAS SOPS 84160 HAS SOUS 51295 HAS SOUPS 51295 WITH SCORE 51379.16
AT ITER 113 NEW BEST:: SOT 141206 SOS 84599 HAS SOPS 84599 HAS SOUS 50987 HAS SOUPS 50987 WITH SCORE 51071.599
AT ITER 124 NEW BEST:: SOT 141163 SOS 84556 HAS SOPS 84556 HAS SOUS 50888 HAS SOUPS 50888 WITH SCORE 50972.556
AT ITER 131 NEW BEST:: SOT 141163 SOS 85820 HAS SOPS 85820 HAS SOUS 50772 HAS SOUPS 50772 WITH SCORE 50857.82
AT ITER 169 NEW BEST:: SOT 139558 SOS 88648 HAS SOPS 88648 HAS SOUS 49270 HAS SOUPS 49270 WITH SCORE 49358.648
AT ITER 177 NEW BEST:: SOT 139516 SOS 88606 HAS SOPS 88606 HAS SOUS 49228 HAS SOUPS 49228 WITH SCORE 49316.606
AT ITER 206 NEW BEST:: SOT 139478 SOS 88568 HAS SOPS 88568 HAS SOUS 49182 HAS SOUPS 49182 WITH SCORE 49270.568
AT ITER 220 NEW BEST:: SOT 139332 SOS 88422 HAS SOPS 88422 HAS SOUS 49148 HAS SOUPS 49148 WITH SCORE 49236.422
AT ITER 230 NEW BEST:: SOT 139332 SOS 88422 HAS SOPS 88422 HAS SOUS 49060 HAS SOUPS 49060 WITH SCORE 49148.422
AT ITER 238 NEW BEST:: SOT 139277 SOS 88810 HAS SOPS 88810 HAS SOUS 48997 HAS SOUPS 48997 WITH SCORE 49085.81
AT ITER 244 NEW BEST:: SOT 139383 SOS 88916 HAS SOPS 88916 HAS SOUS 48855 HAS SOUPS 48855 WITH SCORE 48943.916
AT ITER 251 NEW BEST:: SOT 139383 SOS 88916 HAS SOPS 88916 HAS SOUS 48823 HAS SOUPS 48823 WITH SCORE 48911.916
AT ITER 256 NEW BEST:: SOT 139379 SOS 89032 HAS SOPS 89032 HAS SOUS 48522 HAS SOUPS 48522 WITH SCORE 48611.032
AT ITER 258 NEW BEST:: SOT 139457 SOS 89110 HAS SOPS 89110 HAS SOUS 48496 HAS SOUPS 48496 WITH SCORE 48585.11
AT ITER 259 NEW BEST:: SOT 139325 SOS 88978 HAS SOPS 88978 HAS SOUS 48412 HAS SOUPS 48412 WITH SCORE 48500.978
AT ITER 264 NEW BEST:: SOT 139381 SOS 89258 HAS SOPS 89258 HAS SOUS 48106 HAS SOUPS 48106 WITH SCORE 48195.258
AT ITER 271 NEW BEST:: SOT 139605 SOS 89482 HAS SOPS 89482 HAS SOUS 47974 HAS SOUPS 47974 WITH SCORE 48063.482
AT ITER 276 NEW BEST:: SOT 139506 SOS 89583 HAS SOPS 89583 HAS SOUS 47932 HAS SOUPS 47932 WITH SCORE 48021.583
AT ITER 283 NEW BEST:: SOT 139506 SOS 89583 HAS SOPS 89583 HAS SOUS 47860 HAS SOUPS 47860 WITH SCORE 47949.583
AT ITER 297 NEW BEST:: SOT 139439 SOS 86452 HAS SOPS 86452 HAS SOUS 47853 HAS SOUPS 47853 WITH SCORE 47939.452
AT ITER 299 NEW BEST:: SOT 139439 SOS 86452 HAS SOPS 86452 HAS SOUS 47769 HAS SOUPS 47769 WITH SCORE 47855.452
AT ITER 323 NEW BEST:: SOT 139448 SOS 86461 HAS SOPS 86461 HAS SOUS 47714 HAS SOUPS 47714 WITH SCORE 47800.461
AT ITER 331 NEW BEST:: SOT 139448 SOS 86265 HAS SOPS 86265 HAS SOUS 47627 HAS SOUPS 47627 WITH SCORE 47713.265
AT ITER 332 NEW BEST:: SOT 139337 SOS 86154 HAS SOPS 86154 HAS SOUS 47396 HAS SOUPS 47396 WITH SCORE 47482.154
AT ITER 348 NEW BEST:: SOT 139334 SOS 86151 HAS SOPS 86151 HAS SOUS 47385 HAS SOUPS 47385 WITH SCORE 47471.151
AT ITER 355 NEW BEST:: SOT 139173 SOS 85990 HAS SOPS 85990 HAS SOUS 47224 HAS SOUPS 47224 WITH SCORE 47309.99
AT ITER 357 NEW BEST:: SOT 139110 SOS 85760 HAS SOPS 85760 HAS SOUS 47102 HAS SOUPS 47102 WITH SCORE 47187.76
AT ITER 372 NEW BEST:: SOT 139014 SOS 85664 HAS SOPS 85664 HAS SOUS 46988 HAS SOUPS 46988 WITH SCORE 47073.664
AT ITER 380 NEW BEST:: SOT 138851 SOS 85790 HAS SOPS 85790 HAS SOUS 46604 HAS SOUPS 46604 WITH SCORE 46689.79
AT ITER 381 NEW BEST:: SOT 138816 SOS 85787 HAS SOPS 85787 HAS SOUS 46432 HAS SOUPS 46432 WITH SCORE 46517.787
AT ITER 383 NEW BEST:: SOT 138816 SOS 85787 HAS SOPS 85787 HAS SOUS 46414 HAS SOUPS 46414 WITH SCORE 46499.787
AT ITER 384 NEW BEST:: SOT 138811 SOS 85792 HAS SOPS 85792 HAS SOUS 46410 HAS SOUPS 46410 WITH SCORE 46495.792
AT ITER 386 NEW BEST:: SOT 138801 SOS 85782 HAS SOPS 85782 HAS SOUS 46399 HAS SOUPS 46399 WITH SCORE 46484.782
AT ITER 388 NEW BEST:: SOT 138865 SOS 86200 HAS SOPS 86200 HAS SOUS 46236 HAS SOUPS 46236 WITH SCORE 46322.2
AT ITER 416 NEW BEST:: SOT 138920 SOS 86577 HAS SOPS 86577 HAS SOUS 46036 HAS SOUPS 46036 WITH SCORE 46122.577
AT ITER 425 NEW BEST:: SOT 138920 SOS 86628 HAS SOPS 86628 HAS SOUS 45758 HAS SOUPS 45758 WITH SCORE 45844.628
AT ITER 433 NEW BEST:: SOT 138873 SOS 86581 HAS SOPS 86581 HAS SOUS 45752 HAS SOUPS 45752 WITH SCORE 45838.581
AT ITER 441 NEW BEST:: SOT 138530 SOS 86337 HAS SOPS 86337 HAS SOUS 45464 HAS SOUPS 45464 WITH SCORE 45550.337
AT ITER 442 NEW BEST:: SOT 138578 SOS 86457 HAS SOPS 86457 HAS SOUS 45269 HAS SOUPS 45269 WITH SCORE 45355.457
AT ITER 451 NEW BEST:: SOT 138481 SOS 86360 HAS SOPS 86360 HAS SOUS 45244 HAS SOUPS 45244 WITH SCORE 45330.36
AT ITER 452 NEW BEST:: SOT 138404 SOS 86283 HAS SOPS 86283 HAS SOUS 45239 HAS SOUPS 45239 WITH SCORE 45325.283
AT ITER 456 NEW BEST:: SOT 138449 SOS 89400 HAS SOPS 89400 HAS SOUS 44899 HAS SOUPS 44899 WITH SCORE 44988.4
AT ITER 472 NEW BEST:: SOT 138261 SOS 89362 HAS SOPS 89362 HAS SOUS 44799 HAS SOUPS 44799 WITH SCORE 44888.362
AT ITER 481 NEW BEST:: SOT 138281 SOS 89126 HAS SOPS 89126 HAS SOUS 44756 HAS SOUPS 44756 WITH SCORE 44845.126
AT ITER 486 NEW BEST:: SOT 138043 SOS 88984 HAS SOPS 88984 HAS SOUS 44594 HAS SOUPS 44594 WITH SCORE 44682.984
AT ITER 504 NEW BEST:: SOT 137982 SOS 88971 HAS SOPS 88971 HAS SOUS 44587 HAS SOUPS 44587 WITH SCORE 44675.971
AT ITER 505 NEW BEST:: SOT 137956 SOS 88943 HAS SOPS 88943 HAS SOUS 44584 HAS SOUPS 44584 WITH SCORE 44672.943
AT ITER 511 NEW BEST:: SOT 137790 SOS 88768 HAS SOPS 88768 HAS SOUS 44470 HAS SOUPS 44470 WITH SCORE 44558.768
AT ITER 515 NEW BEST:: SOT 137782 SOS 88776 HAS SOPS 88776 HAS SOUS 44450 HAS SOUPS 44450 WITH SCORE 44538.776
AT ITER 523 NEW BEST:: SOT 137806 SOS 89823 HAS SOPS 89823 HAS SOUS 44446 HAS SOUPS 44446 WITH SCORE 44535.823
AT ITER 528 NEW BEST:: SOT 137813 SOS 91076 HAS SOPS 91076 HAS SOUS 44430 HAS SOUPS 44430 WITH SCORE 44521.076
AT ITER 530 NEW BEST:: SOT 137642 SOS 90450 HAS SOPS 90450 HAS SOUS 44135 HAS SOUPS 44135 WITH SCORE 44225.45
AT ITER 541 NEW BEST:: SOT 137488 SOS 90296 HAS SOPS 90296 HAS SOUS 43981 HAS SOUPS 43981 WITH SCORE 44071.296
AT ITER 542 NEW BEST:: SOT 136686 SOS 89447 HAS SOPS 89447 HAS SOUS 43463 HAS SOUPS 43463 WITH SCORE 43552.447
AT ITER 544 NEW BEST:: SOT 136308 SOS 89299 HAS SOPS 89299 HAS SOUS 42896 HAS SOUPS 42896 WITH SCORE 42985.299
AT ITER 546 NEW BEST:: SOT 136495 SOS 90422 HAS SOPS 90422 HAS SOUS 42888 HAS SOUPS 42888 WITH SCORE 42978.422
AT ITER 558 NEW BEST:: SOT 136393 SOS 90320 HAS SOPS 90320 HAS SOUS 42672 HAS SOUPS 42672 WITH SCORE 42762.32
AT ITER 575 NEW BEST:: SOT 136310 SOS 90309 HAS SOPS 90309 HAS SOUS 42495 HAS SOUPS 42495 WITH SCORE 42585.309
AT ITER 585 NEW BEST:: SOT 136296 SOS 90280 HAS SOPS 90280 HAS SOUS 42460 HAS SOUPS 42460 WITH SCORE 42550.28
AT ITER 586 NEW BEST:: SOT 136269 SOS 90253 HAS SOPS 90253 HAS SOUS 42433 HAS SOUPS 42433 WITH SCORE 42523.253
AT ITER 588 NEW BEST:: SOT 136221 SOS 90205 HAS SOPS 90205 HAS SOUS 42412 HAS SOUPS 42412 WITH SCORE 42502.205
AT ITER 602 NEW BEST:: SOT 136150 SOS 89324 HAS SOPS 89324 HAS SOUS 42348 HAS SOUPS 42348 WITH SCORE 42437.324
AT ITER 644 NEW BEST:: SOT 136040 SOS 89358 HAS SOPS 89358 HAS SOUS 42238 HAS SOUPS 42238 WITH SCORE 42327.358
AT ITER 646 NEW BEST:: SOT 136023 SOS 89341 HAS SOPS 89341 HAS SOUS 42044 HAS SOUPS 42044 WITH SCORE 42133.341
AT ITER 647 NEW BEST:: SOT 135743 SOS 88836 HAS SOPS 88836 HAS SOUS 41993 HAS SOUPS 41993 WITH SCORE 42081.836
AT ITER 657 NEW BEST:: SOT 135617 SOS 88710 HAS SOPS 88710 HAS SOUS 41923 HAS SOUPS 41923 WITH SCORE 42011.71
AT ITER 666 NEW BEST:: SOT 135570 SOS 88727 HAS SOPS 88727 HAS SOUS 41867 HAS SOUPS 41867 WITH SCORE 41955.727
AT ITER 671 NEW BEST:: SOT 135565 SOS 88722 HAS SOPS 88722 HAS SOUS 41830 HAS SOUPS 41830 WITH SCORE 41918.722
AT ITER 679 NEW BEST:: SOT 135563 SOS 88720 HAS SOPS 88720 HAS SOUS 41812 HAS SOUPS 41812 WITH SCORE 41900.72
AT ITER 682 NEW BEST:: SOT 135628 SOS 88733 HAS SOPS 88733 HAS SOUS 41786 HAS SOUPS 41786 WITH SCORE 41874.733
AT ITER 686 NEW BEST:: SOT 135629 SOS 88737 HAS SOPS 88737 HAS SOUS 41782 HAS SOUPS 41782 WITH SCORE 41870.737
AT ITER 707 NEW BEST:: SOT 135629 SOS 88761 HAS SOPS 88761 HAS SOUS 41758 HAS SOUPS 41758 WITH SCORE 41846.761
AT ITER 744 NEW BEST:: SOT 135585 SOS 87781 HAS SOPS 87781 HAS SOUS 41693 HAS SOUPS 41693 WITH SCORE 41780.781
AT ITER 752 NEW BEST:: SOT 135585 SOS 87693 HAS SOPS 87693 HAS SOUS 41693 HAS SOUPS 41693 WITH SCORE 41780.693
AT ITER 755 NEW BEST:: SOT 135586 SOS 87111 HAS SOPS 87111 HAS SOUS 41450 HAS SOUPS 41450 WITH SCORE 41537.111
AT ITER 799 NEW BEST:: SOT 135561 SOS 87170 HAS SOPS 87170 HAS SOUS 41312 HAS SOUPS 41312 WITH SCORE 41399.17
AT ITER 807 NEW BEST:: SOT 135613 SOS 87292 HAS SOPS 87292 HAS SOUS 41278 HAS SOUPS 41278 WITH SCORE 41365.292
AT ITER 823 NEW BEST:: SOT 135285 SOS 85128 HAS SOPS 85128 HAS SOUS 40969 HAS SOUPS 40969 WITH SCORE 41054.128
AT ITER 878 NEW BEST:: SOT 135285 SOS 85226 HAS SOPS 85226 HAS SOUS 40965 HAS SOUPS 40965 WITH SCORE 41050.226
AT ITER 879 NEW BEST:: SOT 135133 SOS 84807 HAS SOPS 84807 HAS SOUS 40807 HAS SOUPS 40807 WITH SCORE 40891.807
AT ITER 914 NEW BEST:: SOT 135118 SOS 84792 HAS SOPS 84792 HAS SOUS 40784 HAS SOUPS 40784 WITH SCORE 40868.792
AT ITER 923 NEW BEST:: SOT 135058 SOS 84732 HAS SOPS 84732 HAS SOUS 40764 HAS SOUPS 40764 WITH SCORE 40848.732
AT ITER 940 NEW BEST:: SOT 135091 SOS 84765 HAS SOPS 84765 HAS SOUS 40761 HAS SOUPS 40761 WITH SCORE 40845.765
AT ITER 948 NEW BEST:: SOT 134848 SOS 84522 HAS SOPS 84522 HAS SOUS 40686 HAS SOUPS 40686 WITH SCORE 40770.522
AT ITER 965 NEW BEST:: SOT 134761 SOS 84435 HAS SOPS 84435 HAS SOUS 40581 HAS SOUPS 40581 WITH SCORE 40665.435
AT ITER 968 NEW BEST:: SOT 134761 SOS 84435 HAS SOPS 84435 HAS SOUS 40537 HAS SOUPS 40537 WITH SCORE 40621.435
AT ITER 969 NEW BEST:: SOT 134713 SOS 84387 HAS SOPS 84387 HAS SOUS 40441 HAS SOUPS 40441 WITH SCORE 40525.387
AT ITER 976 NEW BEST:: SOT 134865 SOS 84555 HAS SOPS 84555 HAS SOUS 40382 HAS SOUPS 40382 WITH SCORE 40466.555
AT ITER 984 NEW BEST:: SOT 134858 SOS 84548 HAS SOPS 84548 HAS SOUS 40319 HAS SOUPS 40319 WITH SCORE 40403.548
AT ITER 987 NEW BEST:: SOT 134709 SOS 84399 HAS SOPS 84399 HAS SOUS 40250 HAS SOUPS 40250 WITH SCORE 40334.399
AT ITER 1017 NEW BEST:: SOT 134778 SOS 86996 HAS SOPS 86996 HAS SOUS 40211 HAS SOUPS 40211 WITH SCORE 40297.996
AT ITER 1020 NEW BEST:: SOT 134767 SOS 87062 HAS SOPS 87062 HAS SOUS 40152 HAS SOUPS 40152 WITH SCORE 40239.062
AT ITER 1030 NEW BEST:: SOT 134678 SOS 86973 HAS SOPS 86973 HAS SOUS 40119 HAS SOUPS 40119 WITH SCORE 40205.973
AT ITER 1062 NEW BEST:: SOT 134678 SOS 86973 HAS SOPS 86973 HAS SOUS 40108 HAS SOUPS 40108 WITH SCORE 40194.973
AT ITER 1064 NEW BEST:: SOT 134737 SOS 86262 HAS SOPS 86262 HAS SOUS 39919 HAS SOUPS 39919 WITH SCORE 40005.262
AT ITER 1066 NEW BEST:: SOT 134665 SOS 86190 HAS SOPS 86190 HAS SOUS 39775 HAS SOUPS 39775 WITH SCORE 39861.19
AT ITER 1073 NEW BEST:: SOT 134560 SOS 86097 HAS SOPS 86097 HAS SOUS 39708 HAS SOUPS 39708 WITH SCORE 39794.097
AT ITER 1097 NEW BEST:: SOT 134557 SOS 86094 HAS SOPS 86094 HAS SOUS 39690 HAS SOUPS 39690 WITH SCORE 39776.094
AT ITER 1164 NEW BEST:: SOT 134548 SOS 86085 HAS SOPS 86085 HAS SOUS 39680 HAS SOUPS 39680 WITH SCORE 39766.085
AT ITER 1195 NEW BEST:: SOT 134593 SOS 86177 HAS SOPS 86177 HAS SOUS 39596 HAS SOUPS 39596 WITH SCORE 39682.177
AT ITER 1212 NEW BEST:: SOT 134456 SOS 85976 HAS SOPS 85976 HAS SOUS 39515 HAS SOUPS 39515 WITH SCORE 39600.976
AT ITER 1240 NEW BEST:: SOT 134414 SOS 85206 HAS SOPS 85206 HAS SOUS 39473 HAS SOUPS 39473 WITH SCORE 39558.206
AT ITER 1243 NEW BEST:: SOT 134414 SOS 85685 HAS SOPS 85685 HAS SOUS 39388 HAS SOUPS 39388 WITH SCORE 39473.685
AT ITER 1253 NEW BEST:: SOT 134282 SOS 85553 HAS SOPS 85553 HAS SOUS 39256 HAS SOUPS 39256 WITH SCORE 39341.553
AT ITER 1260 NEW BEST:: SOT 134031 SOS 85470 HAS SOPS 85470 HAS SOUS 38645 HAS SOUPS 38645 WITH SCORE 38730.47
AT ITER 1281 NEW BEST:: SOT 134023 SOS 85462 HAS SOPS 85462 HAS SOUS 38637 HAS SOUPS 38637 WITH SCORE 38722.462
AT ITER 1295 NEW BEST:: SOT 133656 SOS 85138 HAS SOPS 85138 HAS SOUS 38635 HAS SOUPS 38635 WITH SCORE 38720.138
AT ITER 1321 NEW BEST:: SOT 133640 SOS 85020 HAS SOPS 85020 HAS SOUS 38516 HAS SOUPS 38516 WITH SCORE 38601.02
AT ITER 1327 NEW BEST:: SOT 133626 SOS 85038 HAS SOPS 85038 HAS SOUS 38496 HAS SOUPS 38496 WITH SCORE 38581.038
AT ITER 1328 NEW BEST:: SOT 133614 SOS 85026 HAS SOPS 85026 HAS SOUS 38483 HAS SOUPS 38483 WITH SCORE 38568.026
AT ITER 1329 NEW BEST:: SOT 133730 SOS 85089 HAS SOPS 85089 HAS SOUS 38471 HAS SOUPS 38471 WITH SCORE 38556.089
AT ITER 1346 NEW BEST:: SOT 133730 SOS 85001 HAS SOPS 85001 HAS SOUS 38468 HAS SOUPS 38468 WITH SCORE 38553.001
AT ITER 1352 NEW BEST:: SOT 133501 SOS 84772 HAS SOPS 84772 HAS SOUS 38415 HAS SOUPS 38415 WITH SCORE 38499.772
AT ITER 1360 NEW BEST:: SOT 133501 SOS 84455 HAS SOPS 84455 HAS SOUS 38329 HAS SOUPS 38329 WITH SCORE 38413.455
AT ITER 1383 NEW BEST:: SOT 133464 SOS 84418 HAS SOPS 84418 HAS SOUS 38233 HAS SOUPS 38233 WITH SCORE 38317.418
AT ITER 1407 NEW BEST:: SOT 133493 SOS 84346 HAS SOPS 84346 HAS SOUS 37995 HAS SOUPS 37995 WITH SCORE 38079.346
AT ITER 1414 NEW BEST:: SOT 133450 SOS 83929 HAS SOPS 83929 HAS SOUS 37985 HAS SOUPS 37985 WITH SCORE 38068.929
AT ITER 1422 NEW BEST:: SOT 133518 SOS 84109 HAS SOPS 84109 HAS SOUS 37980 HAS SOUPS 37980 WITH SCORE 38064.109
AT ITER 1445 NEW BEST:: SOT 133488 SOS 84079 HAS SOPS 84079 HAS SOUS 37966 HAS SOUPS 37966 WITH SCORE 38050.079
AT ITER 1450 NEW BEST:: SOT 133515 SOS 84330 HAS SOPS 84330 HAS SOUS 37962 HAS SOUPS 37962 WITH SCORE 38046.33
AT ITER 1485 NEW BEST:: SOT 133221 SOS 84157 HAS SOPS 84157 HAS SOUS 37836 HAS SOUPS 37836 WITH SCORE 37920.157
AT ITER 1531 NEW BEST:: SOT 133128 SOS 84064 HAS SOPS 84064 HAS SOUS 37767 HAS SOUPS 37767 WITH SCORE 37851.064
AT ITER 1543 NEW BEST:: SOT 133128 SOS 84068 HAS SOPS 84068 HAS SOUS 37763 HAS SOUPS 37763 WITH SCORE 37847.068
AT ITER 1544 NEW BEST:: SOT 133014 SOS 84034 HAS SOPS 84034 HAS SOUS 37654 HAS SOUPS 37654 WITH SCORE 37738.034
AT ITER 1549 NEW BEST:: SOT 133014 SOS 85474 HAS SOPS 85474 HAS SOUS 37484 HAS SOUPS 37484 WITH SCORE 37569.474
AT ITER 1560 NEW BEST:: SOT 132990 SOS 85952 HAS SOPS 85952 HAS SOUS 37382 HAS SOUPS 37382 WITH SCORE 37467.952
AT ITER 1563 NEW BEST:: SOT 132796 SOS 85758 HAS SOPS 85758 HAS SOUS 37316 HAS SOUPS 37316 WITH SCORE 37401.758
AT ITER 1597 NEW BEST:: SOT 132798 SOS 85760 HAS SOPS 85760 HAS SOUS 37253 HAS SOUPS 37253 WITH SCORE 37338.76
AT ITER 1598 NEW BEST:: SOT 132758 SOS 85720 HAS SOPS 85720 HAS SOUS 37213 HAS SOUPS 37213 WITH SCORE 37298.72
AT ITER 1601 NEW BEST:: SOT 132714 SOS 85676 HAS SOPS 85676 HAS SOUS 37201 HAS SOUPS 37201 WITH SCORE 37286.676
AT ITER 1621 NEW BEST:: SOT 132716 SOS 85654 HAS SOPS 85654 HAS SOUS 37197 HAS SOUPS 37197 WITH SCORE 37282.654
AT ITER 1622 NEW BEST:: SOT 132716 SOS 85694 HAS SOPS 85694 HAS SOUS 37192 HAS SOUPS 37192 WITH SCORE 37277.694
AT ITER 1642 NEW BEST:: SOT 132612 SOS 85766 HAS SOPS 85766 HAS SOUS 37023 HAS SOUPS 37023 WITH SCORE 37108.766
AT ITER 1684 NEW BEST:: SOT 132765 SOS 85977 HAS SOPS 85977 HAS SOUS 36959 HAS SOUPS 36959 WITH SCORE 37044.977
AT ITER 1692 NEW BEST:: SOT 132751 SOS 85963 HAS SOPS 85963 HAS SOUS 36945 HAS SOUPS 36945 WITH SCORE 37030.963
AT ITER 1696 NEW BEST:: SOT 132743 SOS 85955 HAS SOPS 85955 HAS SOUS 36913 HAS SOUPS 36913 WITH SCORE 36998.955
AT ITER 1700 NEW BEST:: SOT 132741 SOS 85953 HAS SOPS 85953 HAS SOUS 36904 HAS SOUPS 36904 WITH SCORE 36989.953
AT ITER 1709 NEW BEST:: SOT 132755 SOS 85967 HAS SOPS 85967 HAS SOUS 36902 HAS SOUPS 36902 WITH SCORE 36987.967
AT ITER 1716 NEW BEST:: SOT 132650 SOS 85990 HAS SOPS 85990 HAS SOUS 36790 HAS SOUPS 36790 WITH SCORE 36875.99
AT ITER 1725 NEW BEST:: SOT 132638 SOS 85978 HAS SOPS 85978 HAS SOUS 36776 HAS SOUPS 36776 WITH SCORE 36861.978
AT ITER 1753 NEW BEST:: SOT 132608 SOS 85758 HAS SOPS 85758 HAS SOUS 36760 HAS SOUPS 36760 WITH SCORE 36845.758
AT ITER 1756 NEW BEST:: SOT 132523 SOS 85673 HAS SOPS 85673 HAS SOUS 36723 HAS SOUPS 36723 WITH SCORE 36808.673
AT ITER 1762 NEW BEST:: SOT 132517 SOS 85667 HAS SOPS 85667 HAS SOUS 36713 HAS SOUPS 36713 WITH SCORE 36798.667
AT ITER 1829 NEW BEST:: SOT 132463 SOS 85613 HAS SOPS 85613 HAS SOUS 36711 HAS SOUPS 36711 WITH SCORE 36796.613
AT ITER 1841 NEW BEST:: SOT 132463 SOS 85613 HAS SOPS 85613 HAS SOUS 36707 HAS SOUPS 36707 WITH SCORE 36792.613
AT ITER 1923 NEW BEST:: SOT 132453 SOS 85603 HAS SOPS 85603 HAS SOUS 36697 HAS SOUPS 36697 WITH SCORE 36782.603
AT ITER 1931 NEW BEST:: SOT 132429 SOS 85579 HAS SOPS 85579 HAS SOUS 36625 HAS SOUPS 36625 WITH SCORE 36710.579
AT ITER 1955 NEW BEST:: SOT 132429 SOS 85613 HAS SOPS 85613 HAS SOUS 36580 HAS SOUPS 36580 WITH SCORE 36665.613
AT ITER 1967 NEW BEST:: SOT 132497 SOS 85681 HAS SOPS 85681 HAS SOUS 36488 HAS SOUPS 36488 WITH SCORE 36573.681
AT ITER 1974 NEW BEST:: SOT 132497 SOS 85505 HAS SOPS 85505 HAS SOUS 36480 HAS SOUPS 36480 WITH SCORE 36565.505
AT ITER 1978 NEW BEST:: SOT 132440 SOS 86896 HAS SOPS 86896 HAS SOUS 36445 HAS SOUPS 36445 WITH SCORE 36531.896
AT ITER 1994 NEW BEST:: SOT 132461 SOS 86917 HAS SOPS 86917 HAS SOUS 36441 HAS SOUPS 36441 WITH SCORE 36527.917
AT ITER 2007 NEW BEST:: SOT 132409 SOS 86865 HAS SOPS 86865 HAS SOUS 36385 HAS SOUPS 36385 WITH SCORE 36471.865
AT ITER 2019 NEW BEST:: SOT 132372 SOS 86828 HAS SOPS 86828 HAS SOUS 36364 HAS SOUPS 36364 WITH SCORE 36450.828
AT ITER 2068 NEW BEST:: SOT 132428 SOS 86884 HAS SOPS 86884 HAS SOUS 36284 HAS SOUPS 36284 WITH SCORE 36370.884
AT ITER 2080 NEW BEST:: SOT 132428 SOS 86884 HAS SOPS 86884 HAS SOUS 36215 HAS SOUPS 36215 WITH SCORE 36301.884
AT ITER 2113 NEW BEST:: SOT 132396 SOS 86852 HAS SOPS 86852 HAS SOUS 36183 HAS SOUPS 36183 WITH SCORE 36269.852
AT ITER 2142 NEW BEST:: SOT 132392 SOS 86848 HAS SOPS 86848 HAS SOUS 36163 HAS SOUPS 36163 WITH SCORE 36249.848
AT ITER 2153 NEW BEST:: SOT 132404 SOS 86900 HAS SOPS 86900 HAS SOUS 36124 HAS SOUPS 36124 WITH SCORE 36210.9
AT ITER 2175 NEW BEST:: SOT 132396 SOS 86892 HAS SOPS 86892 HAS SOUS 36108 HAS SOUPS 36108 WITH SCORE 36194.892
AT ITER 2177 NEW BEST:: SOT 132490 SOS 87066 HAS SOPS 87066 HAS SOUS 36084 HAS SOUPS 36084 WITH SCORE 36171.066
AT ITER 2179 NEW BEST:: SOT 132325 SOS 86911 HAS SOPS 86911 HAS SOUS 36019 HAS SOUPS 36019 WITH SCORE 36105.911
AT ITER 2181 NEW BEST:: SOT 132320 SOS 86906 HAS SOPS 86906 HAS SOUS 36014 HAS SOUPS 36014 WITH SCORE 36100.906
AT ITER 2183 NEW BEST:: SOT 132427 SOS 87053 HAS SOPS 87053 HAS SOUS 36003 HAS SOUPS 36003 WITH SCORE 36090.053
AT ITER 2222 NEW BEST:: SOT 132415 SOS 87041 HAS SOPS 87041 HAS SOUS 35959 HAS SOUPS 35959 WITH SCORE 36046.041
AT ITER 2229 NEW BEST:: SOT 132412 SOS 87038 HAS SOPS 87038 HAS SOUS 35950 HAS SOUPS 35950 WITH SCORE 36037.038
AT ITER 2233 NEW BEST:: SOT 132301 SOS 87055 HAS SOPS 87055 HAS SOUS 35814 HAS SOUPS 35814 WITH SCORE 35901.055
AT ITER 2246 NEW BEST:: SOT 132224 SOS 86978 HAS SOPS 86978 HAS SOUS 35713 HAS SOUPS 35713 WITH SCORE 35799.978
AT ITER 2262 NEW BEST:: SOT 132145 SOS 85043 HAS SOPS 85043 HAS SOUS 35705 HAS SOUPS 35705 WITH SCORE 35790.043
AT ITER 2270 NEW BEST:: SOT 132147 SOS 85045 HAS SOPS 85045 HAS SOUS 35675 HAS SOUPS 35675 WITH SCORE 35760.045
AT ITER 2271 NEW BEST:: SOT 131949 SOS 85207 HAS SOPS 85207 HAS SOUS 35509 HAS SOUPS 35509 WITH SCORE 35594.207
AT ITER 2324 NEW BEST:: SOT 132051 SOS 85389 HAS SOPS 85389 HAS SOUS 35493 HAS SOUPS 35493 WITH SCORE 35578.389
AT ITER 2347 NEW BEST:: SOT 132031 SOS 85453 HAS SOPS 85453 HAS SOUS 35443 HAS SOUPS 35443 WITH SCORE 35528.453
AT ITER 2348 NEW BEST:: SOT 132045 SOS 85496 HAS SOPS 85496 HAS SOUS 35385 HAS SOUPS 35385 WITH SCORE 35470.496
AT ITER 2351 NEW BEST:: SOT 132047 SOS 85624 HAS SOPS 85624 HAS SOUS 35375 HAS SOUPS 35375 WITH SCORE 35460.624
AT ITER 2397 NEW BEST:: SOT 131987 SOS 85564 HAS SOPS 85564 HAS SOUS 35283 HAS SOUPS 35283 WITH SCORE 35368.564
AT ITER 2403 NEW BEST:: SOT 131987 SOS 85564 HAS SOPS 85564 HAS SOUS 35278 HAS SOUPS 35278 WITH SCORE 35363.564
AT ITER 2431 NEW BEST:: SOT 131976 SOS 85553 HAS SOPS 85553 HAS SOUS 35262 HAS SOUPS 35262 WITH SCORE 35347.553
AT ITER 2465 NEW BEST:: SOT 131956 SOS 85533 HAS SOPS 85533 HAS SOUS 35242 HAS SOUPS 35242 WITH SCORE 35327.533
AT ITER 2483 NEW BEST:: SOT 131954 SOS 85531 HAS SOPS 85531 HAS SOUS 35224 HAS SOUPS 35224 WITH SCORE 35309.531
AT ITER 2541 NEW BEST:: SOT 131929 SOS 85546 HAS SOPS 85546 HAS SOUS 35199 HAS SOUPS 35199 WITH SCORE 35284.546
AT ITER 2542 NEW BEST:: SOT 131929 SOS 85786 HAS SOPS 85786 HAS SOUS 35146 HAS SOUPS 35146 WITH SCORE 35231.786
AT ITER 2584 NEW BEST:: SOT 131929 SOS 85786 HAS SOPS 85786 HAS SOUS 35142 HAS SOUPS 35142 WITH SCORE 35227.786
AT ITER 2627 NEW BEST:: SOT 131896 SOS 85777 HAS SOPS 85777 HAS SOUS 35109 HAS SOUPS 35109 WITH SCORE 35194.777
AT ITER 2633 NEW BEST:: SOT 131881 SOS 85762 HAS SOPS 85762 HAS SOUS 35086 HAS SOUPS 35086 WITH SCORE 35171.762
AT ITER 2668 NEW BEST:: SOT 131874 SOS 85755 HAS SOPS 85755 HAS SOUS 35079 HAS SOUPS 35079 WITH SCORE 35164.755
AT ITER 2674 NEW BEST:: SOT 131927 SOS 85792 HAS SOPS 85792 HAS SOUS 35071 HAS SOUPS 35071 WITH SCORE 35156.792
AT ITER 2725 NEW BEST:: SOT 131903 SOS 85768 HAS SOPS 85768 HAS SOUS 34975 HAS SOUPS 34975 WITH SCORE 35060.768
AT ITER 2727 NEW BEST:: SOT 131911 SOS 85776 HAS SOPS 85776 HAS SOUS 34932 HAS SOUPS 34932 WITH SCORE 35017.776
AT ITER 2757 NEW BEST:: SOT 131878 SOS 85743 HAS SOPS 85743 HAS SOUS 34899 HAS SOUPS 34899 WITH SCORE 34984.743
AT ITER 2760 NEW BEST:: SOT 131856 SOS 85609 HAS SOPS 85609 HAS SOUS 34887 HAS SOUPS 34887 WITH SCORE 34972.609
AT ITER 2777 NEW BEST:: SOT 131853 SOS 85670 HAS SOPS 85670 HAS SOUS 34866 HAS SOUPS 34866 WITH SCORE 34951.67
AT ITER 2781 NEW BEST:: SOT 131993 SOS 85796 HAS SOPS 85796 HAS SOUS 34768 HAS SOUPS 34768 WITH SCORE 34853.796
AT ITER 2793 NEW BEST:: SOT 131986 SOS 85821 HAS SOPS 85821 HAS SOUS 34747 HAS SOUPS 34747 WITH SCORE 34832.821
AT ITER 2801 NEW BEST:: SOT 131980 SOS 85815 HAS SOPS 85815 HAS SOUS 34693 HAS SOUPS 34693 WITH SCORE 34778.815
AT ITER 2822 NEW BEST:: SOT 131980 SOS 85815 HAS SOPS 85815 HAS SOUS 34680 HAS SOUPS 34680 WITH SCORE 34765.815
AT ITER 2847 NEW BEST:: SOT 131934 SOS 85561 HAS SOPS 85561 HAS SOUS 34586 HAS SOUPS 34586 WITH SCORE 34671.561
AT ITER 2850 NEW BEST:: SOT 131921 SOS 85556 HAS SOPS 85556 HAS SOUS 34573 HAS SOUPS 34573 WITH SCORE 34658.556
AT ITER 2853 NEW BEST:: SOT 131921 SOS 85537 HAS SOPS 85537 HAS SOUS 34526 HAS SOUPS 34526 WITH SCORE 34611.537
AT ITER 2935 NEW BEST:: SOT 131921 SOS 85665 HAS SOPS 85665 HAS SOUS 34522 HAS SOUPS 34522 WITH SCORE 34607.665
AT ITER 2936 NEW BEST:: SOT 131817 SOS 85561 HAS SOPS 85561 HAS SOUS 34412 HAS SOUPS 34412 WITH SCORE 34497.561
AT ITER 2952 NEW BEST:: SOT 131781 SOS 85525 HAS SOPS 85525 HAS SOUS 34408 HAS SOUPS 34408 WITH SCORE 34493.525
AT ITER 2964 NEW BEST:: SOT 131781 SOS 85525 HAS SOPS 85525 HAS SOUS 34377 HAS SOUPS 34377 WITH SCORE 34462.525
AT ITER 2971 NEW BEST:: SOT 131757 SOS 85501 HAS SOPS 85501 HAS SOUS 34329 HAS SOUPS 34329 WITH SCORE 34414.501
AT ITER 3022 NEW BEST:: SOT 131752 SOS 85496 HAS SOPS 85496 HAS SOUS 34316 HAS SOUPS 34316 WITH SCORE 34401.496
AT ITER 3026 NEW BEST:: SOT 131740 SOS 85484 HAS SOPS 85484 HAS SOUS 34306 HAS SOUPS 34306 WITH SCORE 34391.484
AT ITER 3032 NEW BEST:: SOT 131310 SOS 85094 HAS SOPS 85094 HAS SOUS 34018 HAS SOUPS 34018 WITH SCORE 34103.094
AT ITER 3069 NEW BEST:: SOT 131272 SOS 85080 HAS SOPS 85080 HAS SOUS 33919 HAS SOUPS 33919 WITH SCORE 34004.08
AT ITER 3076 NEW BEST:: SOT 131272 SOS 85072 HAS SOPS 85072 HAS SOUS 33918 HAS SOUPS 33918 WITH SCORE 34003.072
AT ITER 3136 NEW BEST:: SOT 130999 SOS 84799 HAS SOPS 84799 HAS SOUS 33691 HAS SOUPS 33691 WITH SCORE 33775.799
AT ITER 3149 NEW BEST:: SOT 130990 SOS 84790 HAS SOPS 84790 HAS SOUS 33662 HAS SOUPS 33662 WITH SCORE 33746.79
AT ITER 3190 NEW BEST:: SOT 131076 SOS 85076 HAS SOPS 85076 HAS SOUS 33651 HAS SOUPS 33651 WITH SCORE 33736.076
AT ITER 3260 NEW BEST:: SOT 131075 SOS 85075 HAS SOPS 85075 HAS SOUS 33646 HAS SOUPS 33646 WITH SCORE 33731.075
AT ITER 3358 NEW BEST:: SOT 131064 SOS 85128 HAS SOPS 85128 HAS SOUS 33639 HAS SOUPS 33639 WITH SCORE 33724.128
AT ITER 3406 NEW BEST:: SOT 131060 SOS 85124 HAS SOPS 85124 HAS SOUS 33627 HAS SOUPS 33627 WITH SCORE 33712.124
AT ITER 3418 NEW BEST:: SOT 131222 SOS 85286 HAS SOPS 85286 HAS SOUS 33573 HAS SOUPS 33573 WITH SCORE 33658.286
AT ITER 3427 NEW BEST:: SOT 131198 SOS 85262 HAS SOPS 85262 HAS SOUS 33534 HAS SOUPS 33534 WITH SCORE 33619.262
AT ITER 3454 NEW BEST:: SOT 131193 SOS 85177 HAS SOPS 85177 HAS SOUS 33534 HAS SOUPS 33534 WITH SCORE 33619.177
AT ITER 3498 NEW BEST:: SOT 131190 SOS 85174 HAS SOPS 85174 HAS SOUS 33531 HAS SOUPS 33531 WITH SCORE 33616.174
AT ITER 3514 NEW BEST:: SOT 131190 SOS 85094 HAS SOPS 85094 HAS SOUS 33523 HAS SOUPS 33523 WITH SCORE 33608.094
AT ITER 3647 NEW BEST:: SOT 131303 SOS 85775 HAS SOPS 85775 HAS SOUS 33471 HAS SOUPS 33471 WITH SCORE 33556.775
AT ITER 3672 NEW BEST:: SOT 131313 SOS 85785 HAS SOPS 85785 HAS SOUS 33449 HAS SOUPS 33449 WITH SCORE 33534.785
AT ITER 3688 NEW BEST:: SOT 131230 SOS 85854 HAS SOPS 85854 HAS SOUS 33315 HAS SOUPS 33315 WITH SCORE 33400.854
AT ITER 3709 NEW BEST:: SOT 131241 SOS 85865 HAS SOPS 85865 HAS SOUS 33262 HAS SOUPS 33262 WITH SCORE 33347.865
AT ITER 3723 NEW BEST:: SOT 131239 SOS 85863 HAS SOPS 85863 HAS SOUS 33260 HAS SOUPS 33260 WITH SCORE 33345.863
AT ITER 3744 NEW BEST:: SOT 131239 SOS 85863 HAS SOPS 85863 HAS SOUS 33258 HAS SOUPS 33258 WITH SCORE 33343.863
AT ITER 3814 NEW BEST:: SOT 131215 SOS 85839 HAS SOPS 85839 HAS SOUS 33256 HAS SOUPS 33256 WITH SCORE 33341.839
AT ITER 3816 NEW BEST:: SOT 131209 SOS 85833 HAS SOPS 85833 HAS SOUS 33239 HAS SOUPS 33239 WITH SCORE 33324.833
AT ITER 3862 NEW BEST:: SOT 131214 SOS 85838 HAS SOPS 85838 HAS SOUS 33232 HAS SOUPS 33232 WITH SCORE 33317.838
AT ITER 3872 NEW BEST:: SOT 131214 SOS 85838 HAS SOPS 85838 HAS SOUS 33209 HAS SOUPS 33209 WITH SCORE 33294.838
AT ITER 3894 NEW BEST:: SOT 131214 SOS 86398 HAS SOPS 86398 HAS SOUS 33131 HAS SOUPS 33131 WITH SCORE 33217.398
AT ITER 3899 NEW BEST:: SOT 131214 SOS 86462 HAS SOPS 86462 HAS SOUS 33130 HAS SOUPS 33130 WITH SCORE 33216.462
AT ITER 3952 NEW BEST:: SOT 130864 SOS 86152 HAS SOPS 86152 HAS SOUS 32879 HAS SOUPS 32879 WITH SCORE 32965.152
AT ITER 3977 NEW BEST:: SOT 130605 SOS 86149 HAS SOPS 86149 HAS SOUS 32620 HAS SOUPS 32620 WITH SCORE 32706.149
AT ITER 3996 NEW BEST:: SOT 130611 SOS 86155 HAS SOPS 86155 HAS SOUS 32618 HAS SOUPS 32618 WITH SCORE 32704.155
AT ITER 4014 NEW BEST:: SOT 130398 SOS 85942 HAS SOPS 85942 HAS SOUS 32276 HAS SOUPS 32276 WITH SCORE 32361.942
AT ITER 4035 NEW BEST:: SOT 130398 SOS 85942 HAS SOPS 85942 HAS SOUS 32273 HAS SOUPS 32273 WITH SCORE 32358.942
AT ITER 4037 NEW BEST:: SOT 130402 SOS 85946 HAS SOPS 85946 HAS SOUS 32162 HAS SOUPS 32162 WITH SCORE 32247.946
AT ITER 4137 NEW BEST:: SOT 130297 SOS 85849 HAS SOPS 85849 HAS SOUS 32057 HAS SOUPS 32057 WITH SCORE 32142.849
AT ITER 4197 NEW BEST:: SOT 130297 SOS 85849 HAS SOPS 85849 HAS SOUS 32050 HAS SOUPS 32050 WITH SCORE 32135.849
AT ITER 4207 NEW BEST:: SOT 130291 SOS 85843 HAS SOPS 85843 HAS SOUS 32028 HAS SOUPS 32028 WITH SCORE 32113.843
AT ITER 4237 NEW BEST:: SOT 130275 SOS 85827 HAS SOPS 85827 HAS SOUS 32020 HAS SOUPS 32020 WITH SCORE 32105.827
AT ITER 4250 NEW BEST:: SOT 130269 SOS 85821 HAS SOPS 85821 HAS SOUS 32006 HAS SOUPS 32006 WITH SCORE 32091.821
AT ITER 4265 NEW BEST:: SOT 130273 SOS 85825 HAS SOPS 85825 HAS SOUS 31994 HAS SOUPS 31994 WITH SCORE 32079.825
AT ITER 4340 NEW BEST:: SOT 130273 SOS 85825 HAS SOPS 85825 HAS SOUS 31978 HAS SOUPS 31978 WITH SCORE 32063.825
AT ITER 4434 NEW BEST:: SOT 130272 SOS 85824 HAS SOPS 85824 HAS SOUS 31969 HAS SOUPS 31969 WITH SCORE 32054.824
AT ITER 4443 NEW BEST:: SOT 130331 SOS 85883 HAS SOPS 85883 HAS SOUS 31948 HAS SOUPS 31948 WITH SCORE 32033.883
AT ITER 4514 NEW BEST:: SOT 130324 SOS 85748 HAS SOPS 85748 HAS SOUS 31931 HAS SOUPS 31931 WITH SCORE 32016.748
AT ITER 4516 NEW BEST:: SOT 130319 SOS 85743 HAS SOPS 85743 HAS SOUS 31918 HAS SOUPS 31918 WITH SCORE 32003.743
AT ITER 4534 NEW BEST:: SOT 130310 SOS 85734 HAS SOPS 85734 HAS SOUS 31901 HAS SOUPS 31901 WITH SCORE 31986.734
AT ITER 4557 NEW BEST:: SOT 130091 SOS 84575 HAS SOPS 84575 HAS SOUS 31679 HAS SOUPS 31679 WITH SCORE 31763.575
AT ITER 4581 NEW BEST:: SOT 130081 SOS 84565 HAS SOPS 84565 HAS SOUS 31673 HAS SOUPS 31673 WITH SCORE 31757.565
AT ITER 4583 NEW BEST:: SOT 129905 SOS 84389 HAS SOPS 84389 HAS SOUS 31615 HAS SOUPS 31615 WITH SCORE 31699.389
AT ITER 4591 NEW BEST:: SOT 129892 SOS 84376 HAS SOPS 84376 HAS SOUS 31602 HAS SOUPS 31602 WITH SCORE 31686.376
AT ITER 4600 NEW BEST:: SOT 129831 SOS 84315 HAS SOPS 84315 HAS SOUS 31573 HAS SOUPS 31573 WITH SCORE 31657.315
AT ITER 4606 NEW BEST:: SOT 129792 SOS 84276 HAS SOPS 84276 HAS SOUS 31558 HAS SOUPS 31558 WITH SCORE 31642.276
AT ITER 4657 NEW BEST:: SOT 129786 SOS 84270 HAS SOPS 84270 HAS SOUS 31551 HAS SOUPS 31551 WITH SCORE 31635.27
AT ITER 4683 NEW BEST:: SOT 129792 SOS 84356 HAS SOPS 84356 HAS SOUS 31530 HAS SOUPS 31530 WITH SCORE 31614.356
AT ITER 4685 NEW BEST:: SOT 129782 SOS 84346 HAS SOPS 84346 HAS SOUS 31526 HAS SOUPS 31526 WITH SCORE 31610.346
AT ITER 4776 NEW BEST:: SOT 129782 SOS 84506 HAS SOPS 84506 HAS SOUS 31525 HAS SOUPS 31525 WITH SCORE 31609.506
AT ITER 4808 NEW BEST:: SOT 129753 SOS 84477 HAS SOPS 84477 HAS SOUS 31520 HAS SOUPS 31520 WITH SCORE 31604.477
AT ITER 4863 NEW BEST:: SOT 129744 SOS 84468 HAS SOPS 84468 HAS SOUS 31511 HAS SOUPS 31511 WITH SCORE 31595.468
AT ITER 4946 NEW BEST:: SOT 129738 SOS 84494 HAS SOPS 84494 HAS SOUS 31503 HAS SOUPS 31503 WITH SCORE 31587.494
AT ITER 5062 NEW BEST:: SOT 129738 SOS 84494 HAS SOPS 84494 HAS SOUS 31479 HAS SOUPS 31479 WITH SCORE 31563.494
AT ITER 5074 NEW BEST:: SOT 129714 SOS 84470 HAS SOPS 84470 HAS SOUS 31391 HAS SOUPS 31391 WITH SCORE 31475.47
AT ITER 5079 NEW BEST:: SOT 129680 SOS 84436 HAS SOPS 84436 HAS SOUS 31389 HAS SOUPS 31389 WITH SCORE 31473.436
AT ITER 5126 NEW BEST:: SOT 129705 SOS 84461 HAS SOPS 84461 HAS SOUS 31382 HAS SOUPS 31382 WITH SCORE 31466.461
AT ITER 5159 NEW BEST:: SOT 129712 SOS 84580 HAS SOPS 84580 HAS SOUS 31378 HAS SOUPS 31378 WITH SCORE 31462.58
AT ITER 5205 NEW BEST:: SOT 129712 SOS 84636 HAS SOPS 84636 HAS SOUS 31351 HAS SOUPS 31351 WITH SCORE 31435.636
AT ITER 5248 NEW BEST:: SOT 129707 SOS 84631 HAS SOPS 84631 HAS SOUS 31346 HAS SOUPS 31346 WITH SCORE 31430.631
AT ITER 5312 NEW BEST:: SOT 129700 SOS 84624 HAS SOPS 84624 HAS SOUS 31339 HAS SOUPS 31339 WITH SCORE 31423.624
AT ITER 5332 NEW BEST:: SOT 129700 SOS 84624 HAS SOPS 84624 HAS SOUS 31328 HAS SOUPS 31328 WITH SCORE 31412.624
AT ITER 5405 NEW BEST:: SOT 129703 SOS 83667 HAS SOPS 83667 HAS SOUS 31311 HAS SOUPS 31311 WITH SCORE 31394.667
AT ITER 5434 NEW BEST:: SOT 130007 SOS 83747 HAS SOPS 83747 HAS SOUS 31308 HAS SOUPS 31308 WITH SCORE 31391.747
AT ITER 5436 NEW BEST:: SOT 130007 SOS 83731 HAS SOPS 83731 HAS SOUS 31305 HAS SOUPS 31305 WITH SCORE 31388.731
AT ITER 5488 NEW BEST:: SOT 130004 SOS 83696 HAS SOPS 83696 HAS SOUS 31298 HAS SOUPS 31298 WITH SCORE 31381.696
AT ITER 5505 NEW BEST:: SOT 130004 SOS 83808 HAS SOPS 83808 HAS SOUS 31296 HAS SOUPS 31296 WITH SCORE 31379.808
AT ITER 5507 NEW BEST:: SOT 130010 SOS 83814 HAS SOPS 83814 HAS SOUS 31286 HAS SOUPS 31286 WITH SCORE 31369.814
AT ITER 5516 NEW BEST:: SOT 129903 SOS 83651 HAS SOPS 83651 HAS SOUS 31188 HAS SOUPS 31188 WITH SCORE 31271.651
AT ITER 5525 NEW BEST:: SOT 129903 SOS 83651 HAS SOPS 83651 HAS SOUS 31183 HAS SOUPS 31183 WITH SCORE 31266.651
AT ITER 5526 NEW BEST:: SOT 129901 SOS 83649 HAS SOPS 83649 HAS SOUS 31173 HAS SOUPS 31173 WITH SCORE 31256.649
AT ITER 5535 NEW BEST:: SOT 129900 SOS 83648 HAS SOPS 83648 HAS SOUS 31172 HAS SOUPS 31172 WITH SCORE 31255.648
AT ITER 5565 NEW BEST:: SOT 129892 SOS 83640 HAS SOPS 83640 HAS SOUS 31156 HAS SOUPS 31156 WITH SCORE 31239.64
AT ITER 5593 NEW BEST:: SOT 129797 SOS 83545 HAS SOPS 83545 HAS SOUS 31133 HAS SOUPS 31133 WITH SCORE 31216.545
AT ITER 5598 NEW BEST:: SOT 129631 SOS 83563 HAS SOPS 83563 HAS SOUS 30926 HAS SOUPS 30926 WITH SCORE 31009.563
AT ITER 5604 NEW BEST:: SOT 129631 SOS 83403 HAS SOPS 83403 HAS SOUS 30908 HAS SOUPS 30908 WITH SCORE 30991.403
AT ITER 5608 NEW BEST:: SOT 129661 SOS 83433 HAS SOPS 83433 HAS SOUS 30890 HAS SOUPS 30890 WITH SCORE 30973.433
AT ITER 5619 NEW BEST:: SOT 129632 SOS 83404 HAS SOPS 83404 HAS SOUS 30873 HAS SOUPS 30873 WITH SCORE 30956.404
AT ITER 5726 NEW BEST:: SOT 129667 SOS 83395 HAS SOPS 83395 HAS SOUS 30784 HAS SOUPS 30784 WITH SCORE 30867.395
AT ITER 5728 NEW BEST:: SOT 129638 SOS 83478 HAS SOPS 83478 HAS SOUS 30731 HAS SOUPS 30731 WITH SCORE 30814.478
AT ITER 5732 NEW BEST:: SOT 129638 SOS 83430 HAS SOPS 83430 HAS SOUS 30731 HAS SOUPS 30731 WITH SCORE 30814.43
AT ITER 5768 NEW BEST:: SOT 129595 SOS 83387 HAS SOPS 83387 HAS SOUS 30688 HAS SOUPS 30688 WITH SCORE 30771.387
AT ITER 5814 NEW BEST:: SOT 129607 SOS 83399 HAS SOPS 83399 HAS SOUS 30674 HAS SOUPS 30674 WITH SCORE 30757.399
AT ITER 5835 NEW BEST:: SOT 129599 SOS 83391 HAS SOPS 83391 HAS SOUS 30658 HAS SOUPS 30658 WITH SCORE 30741.391
AT ITER 5854 NEW BEST:: SOT 129595 SOS 83387 HAS SOPS 83387 HAS SOUS 30644 HAS SOUPS 30644 WITH SCORE 30727.387
AT ITER 5907 NEW BEST:: SOT 129588 SOS 83380 HAS SOPS 83380 HAS SOUS 30637 HAS SOUPS 30637 WITH SCORE 30720.38
AT ITER 5917 NEW BEST:: SOT 129582 SOS 83374 HAS SOPS 83374 HAS SOUS 30615 HAS SOUPS 30615 WITH SCORE 30698.374
AT ITER 5984 NEW BEST:: SOT 129558 SOS 83350 HAS SOPS 83350 HAS SOUS 30588 HAS SOUPS 30588 WITH SCORE 30671.35
AT ITER 6026 NEW BEST:: SOT 129576 SOS 83368 HAS SOPS 83368 HAS SOUS 30580 HAS SOUPS 30580 WITH SCORE 30663.368
AT ITER 6045 NEW BEST:: SOT 129571 SOS 83363 HAS SOPS 83363 HAS SOUS 30576 HAS SOUPS 30576 WITH SCORE 30659.363
AT ITER 6055 NEW BEST:: SOT 129511 SOS 83287 HAS SOPS 83287 HAS SOUS 30512 HAS SOUPS 30512 WITH SCORE 30595.287
AT ITER 6099 NEW BEST:: SOT 129527 SOS 83303 HAS SOPS 83303 HAS SOUS 30504 HAS SOUPS 30504 WITH SCORE 30587.303
AT ITER 6201 NEW BEST:: SOT 129527 SOS 83247 HAS SOPS 83247 HAS SOUS 30504 HAS SOUPS 30504 WITH SCORE 30587.247
AT ITER 6259 NEW BEST:: SOT 129581 SOS 83301 HAS SOPS 83301 HAS SOUS 30494 HAS SOUPS 30494 WITH SCORE 30577.301
AT ITER 6291 NEW BEST:: SOT 129506 SOS 83274 HAS SOPS 83274 HAS SOUS 30389 HAS SOUPS 30389 WITH SCORE 30472.274
AT ITER 6324 NEW BEST:: SOT 129476 SOS 83244 HAS SOPS 83244 HAS SOUS 30351 HAS SOUPS 30351 WITH SCORE 30434.244
AT ITER 6338 NEW BEST:: SOT 129475 SOS 83243 HAS SOPS 83243 HAS SOUS 30348 HAS SOUPS 30348 WITH SCORE 30431.243
AT ITER 6345 NEW BEST:: SOT 129472 SOS 84360 HAS SOPS 84360 HAS SOUS 30345 HAS SOUPS 30345 WITH SCORE 30429.36
AT ITER 6409 NEW BEST:: SOT 129467 SOS 84451 HAS SOPS 84451 HAS SOUS 30341 HAS SOUPS 30341 WITH SCORE 30425.451
AT ITER 6430 NEW BEST:: SOT 129457 SOS 84441 HAS SOPS 84441 HAS SOUS 30318 HAS SOUPS 30318 WITH SCORE 30402.441
AT ITER 6434 NEW BEST:: SOT 129452 SOS 84500 HAS SOPS 84500 HAS SOUS 30290 HAS SOUPS 30290 WITH SCORE 30374.5
AT ITER 6464 NEW BEST:: SOT 129437 SOS 84485 HAS SOPS 84485 HAS SOUS 30275 HAS SOUPS 30275 WITH SCORE 30359.485
AT ITER 6560 NEW BEST:: SOT 129437 SOS 84485 HAS SOPS 84485 HAS SOUS 30272 HAS SOUPS 30272 WITH SCORE 30356.485
AT ITER 6601 NEW BEST:: SOT 129427 SOS 84475 HAS SOPS 84475 HAS SOUS 30258 HAS SOUPS 30258 WITH SCORE 30342.475
AT ITER 6629 NEW BEST:: SOT 129438 SOS 84486 HAS SOPS 84486 HAS SOUS 30256 HAS SOUPS 30256 WITH SCORE 30340.486
AT ITER 6666 NEW BEST:: SOT 129348 SOS 84044 HAS SOPS 84044 HAS SOUS 30156 HAS SOUPS 30156 WITH SCORE 30240.044
AT ITER 6695 NEW BEST:: SOT 129348 SOS 84052 HAS SOPS 84052 HAS SOUS 30149 HAS SOUPS 30149 WITH SCORE 30233.052
AT ITER 6709 NEW BEST:: SOT 129347 SOS 84051 HAS SOPS 84051 HAS SOUS 30146 HAS SOUPS 30146 WITH SCORE 30230.051
AT ITER 6854 NEW BEST:: SOT 129140 SOS 84004 HAS SOPS 84004 HAS SOUS 29947 HAS SOUPS 29947 WITH SCORE 30031.004
AT ITER 7040 NEW BEST:: SOT 129170 SOS 84034 HAS SOPS 84034 HAS SOUS 29945 HAS SOUPS 29945 WITH SCORE 30029.034
AT ITER 7053 NEW BEST:: SOT 129170 SOS 84130 HAS SOPS 84130 HAS SOUS 29939 HAS SOUPS 29939 WITH SCORE 30023.13
AT ITER 7090 NEW BEST:: SOT 129159 SOS 84119 HAS SOPS 84119 HAS SOUS 29928 HAS SOUPS 29928 WITH SCORE 30012.119
AT ITER 7144 NEW BEST:: SOT 129173 SOS 84133 HAS SOPS 84133 HAS SOUS 29841 HAS SOUPS 29841 WITH SCORE 29925.133
AT ITER 7155 NEW BEST:: SOT 129172 SOS 84132 HAS SOPS 84132 HAS SOUS 29840 HAS SOUPS 29840 WITH SCORE 29924.132
AT ITER 7262 NEW BEST:: SOT 129162 SOS 84122 HAS SOPS 84122 HAS SOUS 29830 HAS SOUPS 29830 WITH SCORE 29914.122
AT ITER 7285 NEW BEST:: SOT 129160 SOS 84120 HAS SOPS 84120 HAS SOUS 29828 HAS SOUPS 29828 WITH SCORE 29912.12
AT ITER 7329 NEW BEST:: SOT 129160 SOS 84144 HAS SOPS 84144 HAS SOUS 29825 HAS SOUPS 29825 WITH SCORE 29909.144
AT ITER 7381 NEW BEST:: SOT 129121 SOS 84105 HAS SOPS 84105 HAS SOUS 29810 HAS SOUPS 29810 WITH SCORE 29894.105
AT ITER 7384 NEW BEST:: SOT 129125 SOS 84109 HAS SOPS 84109 HAS SOUS 29808 HAS SOUPS 29808 WITH SCORE 29892.109
AT ITER 7421 NEW BEST:: SOT 129125 SOS 84109 HAS SOPS 84109 HAS SOUS 29805 HAS SOUPS 29805 WITH SCORE 29889.109
AT ITER 7427 NEW BEST:: SOT 129125 SOS 84109 HAS SOPS 84109 HAS SOUS 29804 HAS SOUPS 29804 WITH SCORE 29888.109
AT ITER 7479 NEW BEST:: SOT 129014 SOS 83998 HAS SOPS 83998 HAS SOUS 29764 HAS SOUPS 29764 WITH SCORE 29847.998
AT ITER 7636 NEW BEST:: SOT 129014 SOS 83934 HAS SOPS 83934 HAS SOUS 29764 HAS SOUPS 29764 WITH SCORE 29847.934
AT ITER 7667 NEW BEST:: SOT 128973 SOS 83893 HAS SOPS 83893 HAS SOUS 29731 HAS SOUPS 29731 WITH SCORE 29814.893
AT ITER 7679 NEW BEST:: SOT 128928 SOS 83824 HAS SOPS 83824 HAS SOUS 29683 HAS SOUPS 29683 WITH SCORE 29766.824
AT ITER 7727 NEW BEST:: SOT 128929 SOS 83841 HAS SOPS 83841 HAS SOUS 29677 HAS SOUPS 29677 WITH SCORE 29760.841
AT ITER 7895 NEW BEST:: SOT 128914 SOS 83810 HAS SOPS 83810 HAS SOUS 29667 HAS SOUPS 29667 WITH SCORE 29750.81
AT ITER 7900 NEW BEST:: SOT 128920 SOS 83816 HAS SOPS 83816 HAS SOUS 29659 HAS SOUPS 29659 WITH SCORE 29742.816
AT ITER 7920 NEW BEST:: SOT 128989 SOS 84301 HAS SOPS 84301 HAS SOUS 29655 HAS SOUPS 29655 WITH SCORE 29739.301
AT ITER 8199 NEW BEST:: SOT 129060 SOS 84372 HAS SOPS 84372 HAS SOUS 29640 HAS SOUPS 29640 WITH SCORE 29724.372
AT ITER 8231 NEW BEST:: SOT 128931 SOS 84243 HAS SOPS 84243 HAS SOUS 29490 HAS SOUPS 29490 WITH SCORE 29574.243
AT ITER 8314 NEW BEST:: SOT 128887 SOS 84199 HAS SOPS 84199 HAS SOUS 29484 HAS SOUPS 29484 WITH SCORE 29568.199
AT ITER 8323 NEW BEST:: SOT 128901 SOS 84213 HAS SOPS 84213 HAS SOUS 29458 HAS SOUPS 29458 WITH SCORE 29542.213
AT ITER 8334 NEW BEST:: SOT 128832 SOS 84064 HAS SOPS 84064 HAS SOUS 29407 HAS SOUPS 29407 WITH SCORE 29491.064
AT ITER 8438 NEW BEST:: SOT 128772 SOS 84004 HAS SOPS 84004 HAS SOUS 29395 HAS SOUPS 29395 WITH SCORE 29479.004
AT ITER 8547 NEW BEST:: SOT 128667 SOS 83899 HAS SOPS 83899 HAS SOUS 29303 HAS SOUPS 29303 WITH SCORE 29386.899
AT ITER 8609 NEW BEST:: SOT 128660 SOS 83860 HAS SOPS 83860 HAS SOUS 29302 HAS SOUPS 29302 WITH SCORE 29385.86
AT ITER 8682 NEW BEST:: SOT 128651 SOS 83851 HAS SOPS 83851 HAS SOUS 29293 HAS SOUPS 29293 WITH SCORE 29376.851
AT ITER 8702 NEW BEST:: SOT 128654 SOS 83870 HAS SOPS 83870 HAS SOUS 29289 HAS SOUPS 29289 WITH SCORE 29372.87
AT ITER 8718 NEW BEST:: SOT 128654 SOS 83838 HAS SOPS 83838 HAS SOUS 29285 HAS SOUPS 29285 WITH SCORE 29368.838
AT ITER 8756 NEW BEST:: SOT 128647 SOS 83831 HAS SOPS 83831 HAS SOUS 29278 HAS SOUPS 29278 WITH SCORE 29361.831
AT ITER 8874 NEW BEST:: SOT 128570 SOS 83306 HAS SOPS 83306 HAS SOUS 29214 HAS SOUPS 29214 WITH SCORE 29297.306
AT ITER 8927 NEW BEST:: SOT 128549 SOS 83285 HAS SOPS 83285 HAS SOUS 29185 HAS SOUPS 29185 WITH SCORE 29268.285
AT ITER 8948 NEW BEST:: SOT 128546 SOS 83282 HAS SOPS 83282 HAS SOUS 29168 HAS SOUPS 29168 WITH SCORE 29251.282
AT ITER 9071 NEW BEST:: SOT 128701 SOS 83573 HAS SOPS 83573 HAS SOUS 29148 HAS SOUPS 29148 WITH SCORE 29231.573
AT ITER 9125 NEW BEST:: SOT 128696 SOS 83568 HAS SOPS 83568 HAS SOUS 29140 HAS SOUPS 29140 WITH SCORE 29223.568
AT ITER 9164 NEW BEST:: SOT 128701 SOS 83477 HAS SOPS 83477 HAS SOUS 29140 HAS SOUPS 29140 WITH SCORE 29223.477
AT ITER 9188 NEW BEST:: SOT 128649 SOS 83425 HAS SOPS 83425 HAS SOUS 29064 HAS SOUPS 29064 WITH SCORE 29147.425
AT ITER 9464 NEW BEST:: SOT 128593 SOS 83369 HAS SOPS 83369 HAS SOUS 29008 HAS SOUPS 29008 WITH SCORE 29091.369
AT ITER 9515 NEW BEST:: SOT 128591 SOS 83383 HAS SOPS 83383 HAS SOUS 29006 HAS SOUPS 29006 WITH SCORE 29089.383
AT ITER 9673 NEW BEST:: SOT 128591 SOS 83319 HAS SOPS 83319 HAS SOUS 28999 HAS SOUPS 28999 WITH SCORE 29082.319
AT ITER 9734 NEW BEST:: SOT 128583 SOS 83311 HAS SOPS 83311 HAS SOUS 28991 HAS SOUPS 28991 WITH SCORE 29074.311
AT ITER 9820 NEW BEST:: SOT 128562 SOS 83290 HAS SOPS 83290 HAS SOUS 28946 HAS SOUPS 28946 WITH SCORE 29029.29
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 10070872 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16116972 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

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

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