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.r235-tall-167856421700376.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 LamportFastMutEx-COL-6, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r235-tall-167856421700376
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 476K
-rw-r--r-- 1 mcc users 7.1K Feb 25 13:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 25 13:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 25 13:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 25 13:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.1K Feb 25 16:20 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:20 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:20 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:20 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.2K Feb 25 13:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 73K Feb 25 13:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 25 13:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 97K Feb 25 13:43 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:20 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_pt
-rw-r--r-- 1 mcc users 2 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 42K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678649669967

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=LamportFastMutEx-COL-6
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-12 19:34:31] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-12 19:34:31] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-12 19:34:31] [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-12 19:34:31] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-12 19:34:32] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 629 ms
[2023-03-12 19:34:32] [INFO ] Imported 18 HL places and 17 HL transitions for a total of 217 PT places and 525.0 transition bindings in 15 ms.
[2023-03-12 19:34:32] [INFO ] Unfolded HLPN to a Petri net with 217 places and 420 transitions 1834 arcs in 22 ms.
[2023-03-12 19:34:32] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-12 19:34:32] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 217 places, 420 transitions and 1834 arcs took 7 ms.
Total runtime 761 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running LamportFastMutEx (COL), instance 6
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: 217 places, 420 transitions, 1834 arcs.
AT ITER 0 NEW BEST:: SOT 42331 SOS 26676 HAS SOPS 24448 HAS SOUS 20566 HAS SOUPS 19781 WITH SCORE 19807.676
AT ITER 8 NEW BEST:: SOT 42234 SOS 26609 HAS SOPS 24381 HAS SOUS 20484 HAS SOUPS 19699 WITH SCORE 19725.609
AT ITER 17 NEW BEST:: SOT 42234 SOS 26579 HAS SOPS 24351 HAS SOUS 20454 HAS SOUPS 19669 WITH SCORE 19695.579
AT ITER 19 NEW BEST:: SOT 41841 SOS 26459 HAS SOPS 23958 HAS SOUS 20148 HAS SOUPS 19276 WITH SCORE 19302.459
AT ITER 20 NEW BEST:: SOT 41484 SOS 26131 HAS SOPS 23565 HAS SOUS 19806 HAS SOUPS 18883 WITH SCORE 18909.131
AT ITER 22 NEW BEST:: SOT 41484 SOS 26131 HAS SOPS 23565 HAS SOUS 19797 HAS SOUPS 18874 WITH SCORE 18900.131
AT ITER 31 NEW BEST:: SOT 41455 SOS 26116 HAS SOPS 23488 HAS SOUS 19592 HAS SOUPS 18669 WITH SCORE 18695.116
AT ITER 34 NEW BEST:: SOT 41474 SOS 26135 HAS SOPS 23527 HAS SOUS 19531 HAS SOUPS 18628 WITH SCORE 18654.135
AT ITER 38 NEW BEST:: SOT 41400 SOS 26075 HAS SOPS 23453 HAS SOUS 19471 HAS SOUPS 18554 WITH SCORE 18580.075
AT ITER 46 NEW BEST:: SOT 41299 SOS 25995 HAS SOPS 23352 HAS SOUS 19389 HAS SOUPS 18453 WITH SCORE 18478.995
AT ITER 48 NEW BEST:: SOT 41222 SOS 25965 HAS SOPS 23239 HAS SOUS 19352 HAS SOUPS 18340 WITH SCORE 18365.965
AT ITER 50 NEW BEST:: SOT 41216 SOS 25959 HAS SOPS 23233 HAS SOUS 19322 HAS SOUPS 18310 WITH SCORE 18335.959
AT ITER 51 NEW BEST:: SOT 41214 SOS 25989 HAS SOPS 23269 HAS SOUS 19273 HAS SOUPS 18267 WITH SCORE 18292.989
AT ITER 55 NEW BEST:: SOT 41240 SOS 25979 HAS SOPS 23307 HAS SOUS 19227 HAS SOUPS 18227 WITH SCORE 18252.979
AT ITER 57 NEW BEST:: SOT 41162 SOS 25879 HAS SOPS 23116 HAS SOUS 19047 HAS SOUPS 18047 WITH SCORE 18072.879
AT ITER 78 NEW BEST:: SOT 41110 SOS 25834 HAS SOPS 23064 HAS SOUS 19002 HAS SOUPS 17995 WITH SCORE 18020.834
AT ITER 85 NEW BEST:: SOT 40648 SOS 25525 HAS SOPS 22566 HAS SOUS 18579 HAS SOUPS 17497 WITH SCORE 17522.525
AT ITER 86 NEW BEST:: SOT 40166 SOS 25207 HAS SOPS 22212 HAS SOUS 18143 HAS SOUPS 17061 WITH SCORE 17086.207
AT ITER 87 NEW BEST:: SOT 40228 SOS 25310 HAS SOPS 22315 HAS SOUS 17974 HAS SOUPS 16892 WITH SCORE 16917.31
AT ITER 89 NEW BEST:: SOT 40284 SOS 25330 HAS SOPS 21999 HAS SOUS 17994 HAS SOUPS 16576 WITH SCORE 16601.33
AT ITER 96 NEW BEST:: SOT 40179 SOS 25250 HAS SOPS 21894 HAS SOUS 17914 HAS SOUPS 16471 WITH SCORE 16496.25
AT ITER 97 NEW BEST:: SOT 40101 SOS 25198 HAS SOPS 21842 HAS SOUS 17849 HAS SOUPS 16406 WITH SCORE 16431.198
AT ITER 98 NEW BEST:: SOT 40221 SOS 25455 HAS SOPS 21259 HAS SOUS 17542 HAS SOUPS 15823 WITH SCORE 15848.455
AT ITER 99 NEW BEST:: SOT 40205 SOS 25439 HAS SOPS 21228 HAS SOUS 17511 HAS SOUPS 15792 WITH SCORE 15817.439
AT ITER 107 NEW BEST:: SOT 40083 SOS 25386 HAS SOPS 21070 HAS SOUS 17460 HAS SOUPS 15634 WITH SCORE 15659.386
AT ITER 108 NEW BEST:: SOT 40076 SOS 25377 HAS SOPS 21061 HAS SOUS 17452 HAS SOUPS 15626 WITH SCORE 15651.377
AT ITER 114 NEW BEST:: SOT 39933 SOS 25269 HAS SOPS 20888 HAS SOUS 17326 HAS SOUPS 15453 WITH SCORE 15478.269
AT ITER 117 NEW BEST:: SOT 39784 SOS 25155 HAS SOPS 20796 HAS SOUS 17184 HAS SOUPS 15335 WITH SCORE 15360.155
AT ITER 119 NEW BEST:: SOT 39587 SOS 24988 HAS SOPS 20629 HAS SOUS 17017 HAS SOUPS 15168 WITH SCORE 15192.988
AT ITER 121 NEW BEST:: SOT 39573 SOS 24970 HAS SOPS 20611 HAS SOUS 17001 HAS SOUPS 15152 WITH SCORE 15176.97
AT ITER 125 NEW BEST:: SOT 39678 SOS 25057 HAS SOPS 20572 HAS SOUS 16971 HAS SOUPS 15122 WITH SCORE 15147.057
AT ITER 135 NEW BEST:: SOT 39820 SOS 25021 HAS SOPS 20347 HAS SOUS 16958 HAS SOUPS 15104 WITH SCORE 15129.021
AT ITER 136 NEW BEST:: SOT 39814 SOS 25015 HAS SOPS 20341 HAS SOUS 16952 HAS SOUPS 15098 WITH SCORE 15123.015
AT ITER 139 NEW BEST:: SOT 39793 SOS 24994 HAS SOPS 20299 HAS SOUS 16910 HAS SOUPS 15056 WITH SCORE 15080.994
AT ITER 141 NEW BEST:: SOT 39838 SOS 25057 HAS SOPS 20394 HAS SOUS 16796 HAS SOUPS 14951 WITH SCORE 14976.057
AT ITER 148 NEW BEST:: SOT 39838 SOS 25033 HAS SOPS 20370 HAS SOUS 16793 HAS SOUPS 14948 WITH SCORE 14973.033
AT ITER 149 NEW BEST:: SOT 39822 SOS 25017 HAS SOPS 20354 HAS SOUS 16777 HAS SOUPS 14932 WITH SCORE 14957.017
AT ITER 152 NEW BEST:: SOT 39691 SOS 24951 HAS SOPS 20240 HAS SOUS 16711 HAS SOUPS 14818 WITH SCORE 14842.951
AT ITER 156 NEW BEST:: SOT 39691 SOS 24933 HAS SOPS 20240 HAS SOUS 16711 HAS SOUPS 14818 WITH SCORE 14842.933
AT ITER 161 NEW BEST:: SOT 39683 SOS 24899 HAS SOPS 20203 HAS SOUS 16669 HAS SOUPS 14776 WITH SCORE 14800.899
AT ITER 173 NEW BEST:: SOT 39679 SOS 24895 HAS SOPS 20135 HAS SOUS 16609 HAS SOUPS 14708 WITH SCORE 14732.895
AT ITER 187 NEW BEST:: SOT 39631 SOS 24883 HAS SOPS 20075 HAS SOUS 16579 HAS SOUPS 14648 WITH SCORE 14672.883
AT ITER 190 NEW BEST:: SOT 39630 SOS 24882 HAS SOPS 20074 HAS SOUS 16578 HAS SOUPS 14647 WITH SCORE 14671.882
AT ITER 191 NEW BEST:: SOT 39630 SOS 24805 HAS SOPS 19997 HAS SOUS 16578 HAS SOUPS 14647 WITH SCORE 14671.805
AT ITER 198 NEW BEST:: SOT 39599 SOS 24818 HAS SOPS 20003 HAS SOUS 16569 HAS SOUPS 14631 WITH SCORE 14655.818
AT ITER 204 NEW BEST:: SOT 39669 SOS 24909 HAS SOPS 19954 HAS SOUS 16520 HAS SOUPS 14582 WITH SCORE 14606.909
AT ITER 205 NEW BEST:: SOT 39633 SOS 24826 HAS SOPS 19882 HAS SOUS 16444 HAS SOUPS 14510 WITH SCORE 14534.826
AT ITER 208 NEW BEST:: SOT 39633 SOS 24826 HAS SOPS 19868 HAS SOUS 16430 HAS SOUPS 14496 WITH SCORE 14520.826
AT ITER 216 NEW BEST:: SOT 39675 SOS 24911 HAS SOPS 19953 HAS SOUS 16391 HAS SOUPS 14457 WITH SCORE 14481.911
AT ITER 222 NEW BEST:: SOT 39680 SOS 24924 HAS SOPS 19940 HAS SOUS 16378 HAS SOUPS 14444 WITH SCORE 14468.924
AT ITER 226 NEW BEST:: SOT 39692 SOS 24991 HAS SOPS 19725 HAS SOUS 16175 HAS SOUPS 14241 WITH SCORE 14265.991
AT ITER 227 NEW BEST:: SOT 39778 SOS 25091 HAS SOPS 19719 HAS SOUS 16162 HAS SOUPS 14228 WITH SCORE 14253.091
AT ITER 231 NEW BEST:: SOT 39778 SOS 25091 HAS SOPS 19710 HAS SOUS 16158 HAS SOUPS 14219 WITH SCORE 14244.091
AT ITER 235 NEW BEST:: SOT 39721 SOS 25105 HAS SOPS 19697 HAS SOUS 16145 HAS SOUPS 14206 WITH SCORE 14231.105
AT ITER 241 NEW BEST:: SOT 39685 SOS 25081 HAS SOPS 19678 HAS SOUS 16118 HAS SOUPS 14187 WITH SCORE 14212.081
AT ITER 242 NEW BEST:: SOT 39733 SOS 25162 HAS SOPS 19761 HAS SOUS 16039 HAS SOUPS 14110 WITH SCORE 14135.162
AT ITER 243 NEW BEST:: SOT 39733 SOS 25162 HAS SOPS 19746 HAS SOUS 16024 HAS SOUPS 14095 WITH SCORE 14120.162
AT ITER 250 NEW BEST:: SOT 39729 SOS 25149 HAS SOPS 19733 HAS SOUS 16011 HAS SOUPS 14082 WITH SCORE 14107.149
AT ITER 258 NEW BEST:: SOT 39729 SOS 25112 HAS SOPS 19696 HAS SOUS 15974 HAS SOUPS 14045 WITH SCORE 14070.112
AT ITER 268 NEW BEST:: SOT 39624 SOS 25007 HAS SOPS 19793 HAS SOUS 15775 HAS SOUPS 14018 WITH SCORE 14043.007
AT ITER 270 NEW BEST:: SOT 39724 SOS 25125 HAS SOPS 19773 HAS SOUS 15763 HAS SOUPS 14006 WITH SCORE 14031.125
AT ITER 271 NEW BEST:: SOT 39543 SOS 24936 HAS SOPS 19574 HAS SOUS 15564 HAS SOUPS 13807 WITH SCORE 13831.936
AT ITER 279 NEW BEST:: SOT 39537 SOS 24930 HAS SOPS 19568 HAS SOUS 15558 HAS SOUPS 13801 WITH SCORE 13825.93
AT ITER 280 NEW BEST:: SOT 39569 SOS 24724 HAS SOPS 19167 HAS SOUS 15395 HAS SOUPS 13636 WITH SCORE 13660.724
AT ITER 286 NEW BEST:: SOT 39565 SOS 24716 HAS SOPS 19159 HAS SOUS 15391 HAS SOUPS 13632 WITH SCORE 13656.716
AT ITER 293 NEW BEST:: SOT 39604 SOS 24787 HAS SOPS 19156 HAS SOUS 15439 HAS SOUPS 13629 WITH SCORE 13653.787
AT ITER 297 NEW BEST:: SOT 39561 SOS 24708 HAS SOPS 19078 HAS SOUS 15360 HAS SOUPS 13551 WITH SCORE 13575.708
AT ITER 325 NEW BEST:: SOT 39556 SOS 24703 HAS SOPS 19073 HAS SOUS 15355 HAS SOUPS 13546 WITH SCORE 13570.703
AT ITER 328 NEW BEST:: SOT 39576 SOS 24723 HAS SOPS 18925 HAS SOUS 15207 HAS SOUPS 13398 WITH SCORE 13422.723
AT ITER 333 NEW BEST:: SOT 39575 SOS 24743 HAS SOPS 18923 HAS SOUS 15200 HAS SOUPS 13396 WITH SCORE 13420.743
AT ITER 334 NEW BEST:: SOT 39406 SOS 24704 HAS SOPS 18727 HAS SOUS 15174 HAS SOUPS 13200 WITH SCORE 13224.704
AT ITER 348 NEW BEST:: SOT 39395 SOS 24685 HAS SOPS 18708 HAS SOUS 15155 HAS SOUPS 13181 WITH SCORE 13205.685
AT ITER 395 NEW BEST:: SOT 39481 SOS 24748 HAS SOPS 18826 HAS SOUS 14962 HAS SOUPS 13012 WITH SCORE 13036.748
AT ITER 397 NEW BEST:: SOT 39485 SOS 24752 HAS SOPS 18802 HAS SOUS 14942 HAS SOUPS 12988 WITH SCORE 13012.752
AT ITER 400 NEW BEST:: SOT 39503 SOS 24707 HAS SOPS 18676 HAS SOUS 14889 HAS SOUPS 12935 WITH SCORE 12959.707
AT ITER 402 NEW BEST:: SOT 39545 SOS 24736 HAS SOPS 18621 HAS SOUS 14834 HAS SOUPS 12880 WITH SCORE 12904.736
AT ITER 403 NEW BEST:: SOT 39538 SOS 24729 HAS SOPS 18614 HAS SOUS 14827 HAS SOUPS 12873 WITH SCORE 12897.729
AT ITER 406 NEW BEST:: SOT 39538 SOS 24729 HAS SOPS 18610 HAS SOUS 14827 HAS SOUPS 12869 WITH SCORE 12893.729
AT ITER 410 NEW BEST:: SOT 39398 SOS 24629 HAS SOPS 18495 HAS SOUS 14692 HAS SOUPS 12734 WITH SCORE 12758.629
AT ITER 414 NEW BEST:: SOT 39398 SOS 24619 HAS SOPS 18495 HAS SOUS 14687 HAS SOUPS 12734 WITH SCORE 12758.619
AT ITER 415 NEW BEST:: SOT 39452 SOS 24655 HAS SOPS 18545 HAS SOUS 14467 HAS SOUPS 12524 WITH SCORE 12548.655
AT ITER 421 NEW BEST:: SOT 39444 SOS 24647 HAS SOPS 18535 HAS SOUS 14453 HAS SOUPS 12514 WITH SCORE 12538.647
AT ITER 425 NEW BEST:: SOT 39451 SOS 24484 HAS SOPS 18363 HAS SOUS 14451 HAS SOUPS 12512 WITH SCORE 12536.484
AT ITER 427 NEW BEST:: SOT 39574 SOS 24607 HAS SOPS 18324 HAS SOUS 14517 HAS SOUPS 12473 WITH SCORE 12497.607
AT ITER 432 NEW BEST:: SOT 39614 SOS 24547 HAS SOPS 18214 HAS SOUS 14511 HAS SOUPS 12465 WITH SCORE 12489.547
AT ITER 439 NEW BEST:: SOT 39522 SOS 24455 HAS SOPS 18128 HAS SOUS 14425 HAS SOUPS 12379 WITH SCORE 12403.455
AT ITER 440 NEW BEST:: SOT 39451 SOS 24439 HAS SOPS 18072 HAS SOUS 14274 HAS SOUPS 12228 WITH SCORE 12252.439
AT ITER 457 NEW BEST:: SOT 39457 SOS 24439 HAS SOPS 18042 HAS SOUS 14279 HAS SOUPS 12198 WITH SCORE 12222.439
AT ITER 461 NEW BEST:: SOT 39457 SOS 24545 HAS SOPS 18022 HAS SOUS 14296 HAS SOUPS 12178 WITH SCORE 12202.545
AT ITER 462 NEW BEST:: SOT 39384 SOS 24472 HAS SOPS 17932 HAS SOUS 14104 HAS SOUPS 11986 WITH SCORE 12010.472
AT ITER 472 NEW BEST:: SOT 39415 SOS 24503 HAS SOPS 17978 HAS SOUS 14002 HAS SOUPS 11884 WITH SCORE 11908.503
AT ITER 479 NEW BEST:: SOT 39407 SOS 24503 HAS SOPS 17978 HAS SOUS 13998 HAS SOUPS 11880 WITH SCORE 11904.503
AT ITER 486 NEW BEST:: SOT 39344 SOS 24440 HAS SOPS 17915 HAS SOUS 13934 HAS SOUPS 11816 WITH SCORE 11840.44
AT ITER 490 NEW BEST:: SOT 39344 SOS 24440 HAS SOPS 17904 HAS SOUS 13923 HAS SOUPS 11805 WITH SCORE 11829.44
AT ITER 507 NEW BEST:: SOT 39336 SOS 24432 HAS SOPS 17896 HAS SOUS 13915 HAS SOUPS 11797 WITH SCORE 11821.432
AT ITER 509 NEW BEST:: SOT 39331 SOS 24427 HAS SOPS 17886 HAS SOUS 13936 HAS SOUPS 11787 WITH SCORE 11811.427
AT ITER 542 NEW BEST:: SOT 39333 SOS 24429 HAS SOPS 17899 HAS SOUS 13894 HAS SOUPS 11756 WITH SCORE 11780.429
AT ITER 563 NEW BEST:: SOT 39315 SOS 24411 HAS SOPS 17881 HAS SOUS 13876 HAS SOUPS 11738 WITH SCORE 11762.411
AT ITER 574 NEW BEST:: SOT 39225 SOS 24365 HAS SOPS 17791 HAS SOUS 13823 HAS SOUPS 11648 WITH SCORE 11672.365
AT ITER 602 NEW BEST:: SOT 39239 SOS 24361 HAS SOPS 17807 HAS SOUS 13789 HAS SOUPS 11640 WITH SCORE 11664.361
AT ITER 619 NEW BEST:: SOT 39236 SOS 24375 HAS SOPS 17819 HAS SOUS 13787 HAS SOUPS 11638 WITH SCORE 11662.375
AT ITER 628 NEW BEST:: SOT 39239 SOS 24378 HAS SOPS 17818 HAS SOUS 13790 HAS SOUPS 11637 WITH SCORE 11661.378
AT ITER 634 NEW BEST:: SOT 39191 SOS 24358 HAS SOPS 17794 HAS SOUS 13752 HAS SOUPS 11599 WITH SCORE 11623.358
AT ITER 638 NEW BEST:: SOT 39267 SOS 24434 HAS SOPS 17767 HAS SOUS 13718 HAS SOUPS 11572 WITH SCORE 11596.434
AT ITER 650 NEW BEST:: SOT 39282 SOS 24207 HAS SOPS 17471 HAS SOUS 13650 HAS SOUPS 11503 WITH SCORE 11527.207
AT ITER 652 NEW BEST:: SOT 39250 SOS 24150 HAS SOPS 17422 HAS SOUS 13416 HAS SOUPS 11274 WITH SCORE 11298.15
AT ITER 669 NEW BEST:: SOT 39238 SOS 24125 HAS SOPS 17283 HAS SOUS 13376 HAS SOUPS 11234 WITH SCORE 11258.125
AT ITER 674 NEW BEST:: SOT 39238 SOS 24111 HAS SOPS 17269 HAS SOUS 13369 HAS SOUPS 11227 WITH SCORE 11251.111
AT ITER 688 NEW BEST:: SOT 39231 SOS 24019 HAS SOPS 17193 HAS SOUS 13355 HAS SOUPS 11213 WITH SCORE 11237.019
AT ITER 702 NEW BEST:: SOT 39212 SOS 24000 HAS SOPS 17157 HAS SOUS 13319 HAS SOUPS 11177 WITH SCORE 11201.0
AT ITER 703 NEW BEST:: SOT 39077 SOS 23856 HAS SOPS 17172 HAS SOUS 13148 HAS SOUPS 11156 WITH SCORE 11179.856
AT ITER 706 NEW BEST:: SOT 39060 SOS 23839 HAS SOPS 17146 HAS SOUS 13122 HAS SOUPS 11130 WITH SCORE 11153.839
AT ITER 717 NEW BEST:: SOT 38871 SOS 23695 HAS SOPS 17002 HAS SOUS 12947 HAS SOUPS 10955 WITH SCORE 10978.695
AT ITER 745 NEW BEST:: SOT 38896 SOS 23724 HAS SOPS 17000 HAS SOUS 12950 HAS SOUPS 10953 WITH SCORE 10976.724
AT ITER 751 NEW BEST:: SOT 38807 SOS 23635 HAS SOPS 16895 HAS SOUS 12861 HAS SOUPS 10848 WITH SCORE 10871.635
AT ITER 752 NEW BEST:: SOT 38782 SOS 23612 HAS SOPS 16868 HAS SOUS 12846 HAS SOUPS 10833 WITH SCORE 10856.612
AT ITER 767 NEW BEST:: SOT 38700 SOS 23582 HAS SOPS 16828 HAS SOUS 12790 HAS SOUPS 10767 WITH SCORE 10790.582
AT ITER 771 NEW BEST:: SOT 38671 SOS 23553 HAS SOPS 16799 HAS SOUS 12761 HAS SOUPS 10738 WITH SCORE 10761.553
AT ITER 797 NEW BEST:: SOT 38661 SOS 23523 HAS SOPS 16773 HAS SOUS 12733 HAS SOUPS 10712 WITH SCORE 10735.523
AT ITER 799 NEW BEST:: SOT 38654 SOS 23516 HAS SOPS 16752 HAS SOUS 12712 HAS SOUPS 10691 WITH SCORE 10714.516
AT ITER 814 NEW BEST:: SOT 38496 SOS 23358 HAS SOPS 16592 HAS SOUS 12554 HAS SOUPS 10531 WITH SCORE 10554.358
AT ITER 817 NEW BEST:: SOT 38448 SOS 23340 HAS SOPS 16536 HAS SOUS 12550 HAS SOUPS 10515 WITH SCORE 10538.34
AT ITER 822 NEW BEST:: SOT 38448 SOS 23367 HAS SOPS 16535 HAS SOUS 12553 HAS SOUPS 10514 WITH SCORE 10537.367
AT ITER 825 NEW BEST:: SOT 38445 SOS 23364 HAS SOPS 16528 HAS SOUS 12550 HAS SOUPS 10507 WITH SCORE 10530.364
AT ITER 838 NEW BEST:: SOT 38445 SOS 23315 HAS SOPS 16479 HAS SOUS 12536 HAS SOUPS 10493 WITH SCORE 10516.315
AT ITER 846 NEW BEST:: SOT 38437 SOS 23307 HAS SOPS 16471 HAS SOUS 12526 HAS SOUPS 10483 WITH SCORE 10506.307
AT ITER 865 NEW BEST:: SOT 38427 SOS 23297 HAS SOPS 16461 HAS SOUS 12521 HAS SOUPS 10478 WITH SCORE 10501.297
AT ITER 917 NEW BEST:: SOT 38423 SOS 23293 HAS SOPS 16453 HAS SOUS 12513 HAS SOUPS 10470 WITH SCORE 10493.293
AT ITER 933 NEW BEST:: SOT 38433 SOS 23303 HAS SOPS 16403 HAS SOUS 12463 HAS SOUPS 10420 WITH SCORE 10443.303
AT ITER 963 NEW BEST:: SOT 38348 SOS 23218 HAS SOPS 16315 HAS SOUS 12431 HAS SOUPS 10388 WITH SCORE 10411.218
AT ITER 967 NEW BEST:: SOT 38312 SOS 23266 HAS SOPS 16363 HAS SOUS 12384 HAS SOUPS 10341 WITH SCORE 10364.266
AT ITER 975 NEW BEST:: SOT 38249 SOS 23239 HAS SOPS 16300 HAS SOUS 12348 HAS SOUPS 10278 WITH SCORE 10301.239
AT ITER 1008 NEW BEST:: SOT 38249 SOS 23184 HAS SOPS 16228 HAS SOUS 12313 HAS SOUPS 10243 WITH SCORE 10266.184
AT ITER 1023 NEW BEST:: SOT 38250 SOS 23185 HAS SOPS 16230 HAS SOUS 12311 HAS SOUPS 10241 WITH SCORE 10264.185
AT ITER 1047 NEW BEST:: SOT 38220 SOS 23183 HAS SOPS 16185 HAS SOUS 12307 HAS SOUPS 10196 WITH SCORE 10219.183
AT ITER 1054 NEW BEST:: SOT 38229 SOS 23191 HAS SOPS 16194 HAS SOUS 12303 HAS SOUPS 10193 WITH SCORE 10216.191
AT ITER 1065 NEW BEST:: SOT 38203 SOS 23165 HAS SOPS 16168 HAS SOUS 12277 HAS SOUPS 10167 WITH SCORE 10190.165
AT ITER 1070 NEW BEST:: SOT 38203 SOS 23165 HAS SOPS 16166 HAS SOUS 12277 HAS SOUPS 10165 WITH SCORE 10188.165
AT ITER 1074 NEW BEST:: SOT 38202 SOS 23166 HAS SOPS 16165 HAS SOUS 12275 HAS SOUPS 10160 WITH SCORE 10183.166
AT ITER 1093 NEW BEST:: SOT 38194 SOS 23158 HAS SOPS 16148 HAS SOUS 12267 HAS SOUPS 10143 WITH SCORE 10166.158
AT ITER 1099 NEW BEST:: SOT 38065 SOS 23127 HAS SOPS 16004 HAS SOUS 12342 HAS SOUPS 9999 WITH SCORE 10022.127
AT ITER 1104 NEW BEST:: SOT 38044 SOS 23106 HAS SOPS 15962 HAS SOUS 12321 HAS SOUPS 9957 WITH SCORE 9980.106
AT ITER 1116 NEW BEST:: SOT 38024 SOS 23064 HAS SOPS 15924 HAS SOUS 12294 HAS SOUPS 9931 WITH SCORE 9954.064
AT ITER 1130 NEW BEST:: SOT 37866 SOS 22981 HAS SOPS 15758 HAS SOUS 12373 HAS SOUPS 9905 WITH SCORE 9927.981
AT ITER 1164 NEW BEST:: SOT 37866 SOS 22967 HAS SOPS 15744 HAS SOUS 12359 HAS SOUPS 9891 WITH SCORE 9913.967
AT ITER 1175 NEW BEST:: SOT 37844 SOS 22945 HAS SOPS 15722 HAS SOUS 12338 HAS SOUPS 9870 WITH SCORE 9892.945
AT ITER 1179 NEW BEST:: SOT 37848 SOS 22954 HAS SOPS 15707 HAS SOUS 12323 HAS SOUPS 9855 WITH SCORE 9877.954
AT ITER 1237 NEW BEST:: SOT 38141 SOS 23146 HAS SOPS 15922 HAS SOUS 12281 HAS SOUPS 9835 WITH SCORE 9858.146
AT ITER 1240 NEW BEST:: SOT 38140 SOS 23148 HAS SOPS 15920 HAS SOUS 12282 HAS SOUPS 9833 WITH SCORE 9856.148
AT ITER 1331 NEW BEST:: SOT 38136 SOS 23148 HAS SOPS 15912 HAS SOUS 12294 HAS SOUPS 9825 WITH SCORE 9848.148
AT ITER 1336 NEW BEST:: SOT 38075 SOS 23073 HAS SOPS 15830 HAS SOUS 12256 HAS SOUPS 9787 WITH SCORE 9810.073
AT ITER 1352 NEW BEST:: SOT 38075 SOS 23203 HAS SOPS 15812 HAS SOUS 12304 HAS SOUPS 9769 WITH SCORE 9792.203
AT ITER 1357 NEW BEST:: SOT 38003 SOS 23131 HAS SOPS 15740 HAS SOUS 12232 HAS SOUPS 9697 WITH SCORE 9720.131
AT ITER 1403 NEW BEST:: SOT 38011 SOS 23139 HAS SOPS 15748 HAS SOUS 12176 HAS SOUPS 9641 WITH SCORE 9664.139
AT ITER 1429 NEW BEST:: SOT 38009 SOS 23137 HAS SOPS 15744 HAS SOUS 12174 HAS SOUPS 9637 WITH SCORE 9660.137
AT ITER 1459 NEW BEST:: SOT 37994 SOS 23122 HAS SOPS 15738 HAS SOUS 12146 HAS SOUPS 9631 WITH SCORE 9654.122
AT ITER 1460 NEW BEST:: SOT 37945 SOS 23080 HAS SOPS 15696 HAS SOUS 12097 HAS SOUPS 9582 WITH SCORE 9605.08
AT ITER 1477 NEW BEST:: SOT 37944 SOS 23128 HAS SOPS 15680 HAS SOUS 12220 HAS SOUPS 9566 WITH SCORE 9589.128
AT ITER 1514 NEW BEST:: SOT 37941 SOS 23125 HAS SOPS 15677 HAS SOUS 12217 HAS SOUPS 9563 WITH SCORE 9586.125
AT ITER 1545 NEW BEST:: SOT 37937 SOS 23124 HAS SOPS 15670 HAS SOUS 12225 HAS SOUPS 9556 WITH SCORE 9579.124
AT ITER 1577 NEW BEST:: SOT 37953 SOS 23140 HAS SOPS 15654 HAS SOUS 12209 HAS SOUPS 9540 WITH SCORE 9563.14
AT ITER 1579 NEW BEST:: SOT 37942 SOS 23129 HAS SOPS 15632 HAS SOUS 12187 HAS SOUPS 9518 WITH SCORE 9541.129
AT ITER 1588 NEW BEST:: SOT 37891 SOS 23094 HAS SOPS 15573 HAS SOUS 12180 HAS SOUPS 9487 WITH SCORE 9510.094
AT ITER 1593 NEW BEST:: SOT 37895 SOS 23098 HAS SOPS 15571 HAS SOUS 12184 HAS SOUPS 9485 WITH SCORE 9508.098
AT ITER 1604 NEW BEST:: SOT 37745 SOS 22990 HAS SOPS 15463 HAS SOUS 12049 HAS SOUPS 9350 WITH SCORE 9372.99
AT ITER 1612 NEW BEST:: SOT 37745 SOS 22782 HAS SOPS 15255 HAS SOUS 12033 HAS SOUPS 9334 WITH SCORE 9356.782
AT ITER 1637 NEW BEST:: SOT 37744 SOS 22750 HAS SOPS 15253 HAS SOUS 12031 HAS SOUPS 9332 WITH SCORE 9354.75
AT ITER 1638 NEW BEST:: SOT 37676 SOS 22682 HAS SOPS 15185 HAS SOUS 11999 HAS SOUPS 9300 WITH SCORE 9322.682
AT ITER 1681 NEW BEST:: SOT 37600 SOS 22644 HAS SOPS 15109 HAS SOUS 12038 HAS SOUPS 9300 WITH SCORE 9322.644
AT ITER 1697 NEW BEST:: SOT 37677 SOS 22685 HAS SOPS 15164 HAS SOUS 11902 HAS SOUPS 9178 WITH SCORE 9200.685
AT ITER 1700 NEW BEST:: SOT 37838 SOS 23001 HAS SOPS 15103 HAS SOUS 12013 HAS SOUPS 9137 WITH SCORE 9160.001
AT ITER 1723 NEW BEST:: SOT 37823 SOS 23152 HAS SOPS 15096 HAS SOUS 12095 HAS SOUPS 9130 WITH SCORE 9153.152
AT ITER 1738 NEW BEST:: SOT 37823 SOS 23155 HAS SOPS 15093 HAS SOUS 12098 HAS SOUPS 9127 WITH SCORE 9150.155
AT ITER 1745 NEW BEST:: SOT 37818 SOS 23150 HAS SOPS 15083 HAS SOUS 12093 HAS SOUPS 9117 WITH SCORE 9140.15
AT ITER 1753 NEW BEST:: SOT 37804 SOS 23056 HAS SOPS 15034 HAS SOUS 12021 HAS SOUPS 9045 WITH SCORE 9068.056
AT ITER 1766 NEW BEST:: SOT 37764 SOS 23016 HAS SOPS 14993 HAS SOUS 11980 HAS SOUPS 9004 WITH SCORE 9027.016
AT ITER 1787 NEW BEST:: SOT 37695 SOS 23000 HAS SOPS 14922 HAS SOUS 12016 HAS SOUPS 8981 WITH SCORE 9004.0
AT ITER 1809 NEW BEST:: SOT 37692 SOS 22997 HAS SOPS 14919 HAS SOUS 11997 HAS SOUPS 8978 WITH SCORE 9000.997
AT ITER 1861 NEW BEST:: SOT 37724 SOS 23029 HAS SOPS 14951 HAS SOUS 11993 HAS SOUPS 8974 WITH SCORE 8997.029
AT ITER 1871 NEW BEST:: SOT 37686 SOS 22991 HAS SOPS 14907 HAS SOUS 11963 HAS SOUPS 8938 WITH SCORE 8960.991
AT ITER 1891 NEW BEST:: SOT 37681 SOS 22991 HAS SOPS 14897 HAS SOUS 11983 HAS SOUPS 8928 WITH SCORE 8950.991
AT ITER 1909 NEW BEST:: SOT 37681 SOS 22991 HAS SOPS 14891 HAS SOUS 11977 HAS SOUPS 8922 WITH SCORE 8944.991
AT ITER 1927 NEW BEST:: SOT 37681 SOS 22854 HAS SOPS 14881 HAS SOUS 11932 HAS SOUPS 8912 WITH SCORE 8934.854
AT ITER 1935 NEW BEST:: SOT 37678 SOS 22851 HAS SOPS 14875 HAS SOUS 11929 HAS SOUPS 8906 WITH SCORE 8928.851
AT ITER 1957 NEW BEST:: SOT 37677 SOS 22866 HAS SOPS 14865 HAS SOUS 11918 HAS SOUPS 8895 WITH SCORE 8917.866
AT ITER 1959 NEW BEST:: SOT 37675 SOS 22864 HAS SOPS 14861 HAS SOUS 11916 HAS SOUPS 8891 WITH SCORE 8913.864
AT ITER 1977 NEW BEST:: SOT 37669 SOS 22858 HAS SOPS 14849 HAS SOUS 11906 HAS SOUPS 8879 WITH SCORE 8901.858
AT ITER 1995 NEW BEST:: SOT 37672 SOS 22861 HAS SOPS 14846 HAS SOUS 11909 HAS SOUPS 8876 WITH SCORE 8898.861
AT ITER 2002 NEW BEST:: SOT 37672 SOS 22937 HAS SOPS 14823 HAS SOUS 11940 HAS SOUPS 8853 WITH SCORE 8875.937
AT ITER 2009 NEW BEST:: SOT 37672 SOS 22859 HAS SOPS 14745 HAS SOUS 11935 HAS SOUPS 8848 WITH SCORE 8870.859
AT ITER 2010 NEW BEST:: SOT 37672 SOS 22824 HAS SOPS 14742 HAS SOUS 11906 HAS SOUPS 8845 WITH SCORE 8867.824
AT ITER 2032 NEW BEST:: SOT 37666 SOS 22818 HAS SOPS 14730 HAS SOUS 11896 HAS SOUPS 8833 WITH SCORE 8855.818
AT ITER 2074 NEW BEST:: SOT 37661 SOS 22813 HAS SOPS 14728 HAS SOUS 11891 HAS SOUPS 8831 WITH SCORE 8853.813
AT ITER 2143 NEW BEST:: SOT 37661 SOS 22813 HAS SOPS 14724 HAS SOUS 11891 HAS SOUPS 8827 WITH SCORE 8849.813
AT ITER 2147 NEW BEST:: SOT 37654 SOS 22806 HAS SOPS 14716 HAS SOUS 11880 HAS SOUPS 8819 WITH SCORE 8841.806
AT ITER 2153 NEW BEST:: SOT 37652 SOS 22804 HAS SOPS 14712 HAS SOUS 11878 HAS SOUPS 8815 WITH SCORE 8837.804
AT ITER 2188 NEW BEST:: SOT 37658 SOS 22805 HAS SOPS 14689 HAS SOUS 11879 HAS SOUPS 8792 WITH SCORE 8814.805
AT ITER 2206 NEW BEST:: SOT 37623 SOS 22770 HAS SOPS 14646 HAS SOUS 11868 HAS SOUPS 8773 WITH SCORE 8795.77
AT ITER 2214 NEW BEST:: SOT 37630 SOS 22761 HAS SOPS 14595 HAS SOUS 11830 HAS SOUPS 8735 WITH SCORE 8757.761
AT ITER 2232 NEW BEST:: SOT 37614 SOS 22745 HAS SOPS 14563 HAS SOUS 11798 HAS SOUPS 8703 WITH SCORE 8725.745
AT ITER 2233 NEW BEST:: SOT 37577 SOS 22697 HAS SOPS 14556 HAS SOUS 11731 HAS SOUPS 8696 WITH SCORE 8718.697
AT ITER 2276 NEW BEST:: SOT 37574 SOS 22694 HAS SOPS 14538 HAS SOUS 11728 HAS SOUPS 8678 WITH SCORE 8700.694
AT ITER 2284 NEW BEST:: SOT 37554 SOS 22699 HAS SOPS 14502 HAS SOUS 11843 HAS SOUPS 8642 WITH SCORE 8664.699
AT ITER 2302 NEW BEST:: SOT 37533 SOS 22674 HAS SOPS 14477 HAS SOUS 11822 HAS SOUPS 8621 WITH SCORE 8643.674
AT ITER 2357 NEW BEST:: SOT 37533 SOS 22660 HAS SOPS 14463 HAS SOUS 11822 HAS SOUPS 8621 WITH SCORE 8643.66
AT ITER 2399 NEW BEST:: SOT 37517 SOS 22648 HAS SOPS 14438 HAS SOUS 11805 HAS SOUPS 8603 WITH SCORE 8625.648
AT ITER 2402 NEW BEST:: SOT 37691 SOS 22775 HAS SOPS 14593 HAS SOUS 11709 HAS SOUPS 8535 WITH SCORE 8557.775
AT ITER 2421 NEW BEST:: SOT 37690 SOS 22774 HAS SOPS 14591 HAS SOUS 11709 HAS SOUPS 8533 WITH SCORE 8555.774
AT ITER 2457 NEW BEST:: SOT 37689 SOS 22773 HAS SOPS 14589 HAS SOUS 11705 HAS SOUPS 8531 WITH SCORE 8553.773
AT ITER 2484 NEW BEST:: SOT 37682 SOS 22769 HAS SOPS 14582 HAS SOUS 11702 HAS SOUPS 8527 WITH SCORE 8549.769
AT ITER 2498 NEW BEST:: SOT 37671 SOS 22764 HAS SOPS 14575 HAS SOUS 11692 HAS SOUPS 8517 WITH SCORE 8539.764
AT ITER 2500 NEW BEST:: SOT 37662 SOS 22737 HAS SOPS 14555 HAS SOUS 11665 HAS SOUPS 8497 WITH SCORE 8519.737
AT ITER 2538 NEW BEST:: SOT 37662 SOS 22768 HAS SOPS 14588 HAS SOUS 11659 HAS SOUPS 8491 WITH SCORE 8513.768
AT ITER 2547 NEW BEST:: SOT 37593 SOS 22587 HAS SOPS 14515 HAS SOUS 11556 HAS SOUPS 8466 WITH SCORE 8488.587
AT ITER 2611 NEW BEST:: SOT 37572 SOS 22566 HAS SOPS 14473 HAS SOUS 11531 HAS SOUPS 8424 WITH SCORE 8446.566
AT ITER 2616 NEW BEST:: SOT 37560 SOS 22554 HAS SOPS 14458 HAS SOUS 11519 HAS SOUPS 8409 WITH SCORE 8431.554
AT ITER 2634 NEW BEST:: SOT 37556 SOS 22563 HAS SOPS 14467 HAS SOUS 11514 HAS SOUPS 8404 WITH SCORE 8426.563
AT ITER 2677 NEW BEST:: SOT 37517 SOS 22517 HAS SOPS 14427 HAS SOUS 11480 HAS SOUPS 8370 WITH SCORE 8392.517
AT ITER 2693 NEW BEST:: SOT 37493 SOS 22485 HAS SOPS 14423 HAS SOUS 11454 HAS SOUPS 8366 WITH SCORE 8388.485
AT ITER 2735 NEW BEST:: SOT 37491 SOS 22483 HAS SOPS 14419 HAS SOUS 11452 HAS SOUPS 8362 WITH SCORE 8384.483
AT ITER 2878 NEW BEST:: SOT 37439 SOS 22429 HAS SOPS 14337 HAS SOUS 11406 HAS SOUPS 8312 WITH SCORE 8334.429
AT ITER 2890 NEW BEST:: SOT 37415 SOS 22405 HAS SOPS 14313 HAS SOUS 11390 HAS SOUPS 8296 WITH SCORE 8318.405
AT ITER 3021 NEW BEST:: SOT 37387 SOS 22377 HAS SOPS 14285 HAS SOUS 11362 HAS SOUPS 8268 WITH SCORE 8290.377
AT ITER 3036 NEW BEST:: SOT 37379 SOS 22369 HAS SOPS 14269 HAS SOUS 11354 HAS SOUPS 8252 WITH SCORE 8274.369
AT ITER 3037 NEW BEST:: SOT 37378 SOS 22368 HAS SOPS 14268 HAS SOUS 11353 HAS SOUPS 8251 WITH SCORE 8273.368
AT ITER 3131 NEW BEST:: SOT 37378 SOS 22366 HAS SOPS 14266 HAS SOUS 11351 HAS SOUPS 8249 WITH SCORE 8271.366
AT ITER 3159 NEW BEST:: SOT 37348 SOS 22334 HAS SOPS 14234 HAS SOUS 11319 HAS SOUPS 8217 WITH SCORE 8239.334
AT ITER 3190 NEW BEST:: SOT 37334 SOS 22320 HAS SOPS 14206 HAS SOUS 11291 HAS SOUPS 8189 WITH SCORE 8211.32
AT ITER 3219 NEW BEST:: SOT 37334 SOS 22257 HAS SOPS 14143 HAS SOUS 11291 HAS SOUPS 8189 WITH SCORE 8211.257
AT ITER 3230 NEW BEST:: SOT 37333 SOS 22256 HAS SOPS 14142 HAS SOUS 11290 HAS SOUPS 8188 WITH SCORE 8210.256
AT ITER 3231 NEW BEST:: SOT 37333 SOS 22235 HAS SOPS 14121 HAS SOUS 11279 HAS SOUPS 8177 WITH SCORE 8199.235
AT ITER 3287 NEW BEST:: SOT 37315 SOS 22227 HAS SOPS 14120 HAS SOUS 11278 HAS SOUPS 8171 WITH SCORE 8193.227
AT ITER 3339 NEW BEST:: SOT 37315 SOS 22226 HAS SOPS 14119 HAS SOUS 11278 HAS SOUPS 8171 WITH SCORE 8193.226
AT ITER 3374 NEW BEST:: SOT 37295 SOS 22263 HAS SOPS 14099 HAS SOUS 11296 HAS SOUPS 8151 WITH SCORE 8173.263
AT ITER 3404 NEW BEST:: SOT 37299 SOS 22249 HAS SOPS 14085 HAS SOUS 11272 HAS SOUPS 8127 WITH SCORE 8149.249
AT ITER 3405 NEW BEST:: SOT 37284 SOS 22234 HAS SOPS 14067 HAS SOUS 11257 HAS SOUPS 8109 WITH SCORE 8131.234
AT ITER 3497 NEW BEST:: SOT 37281 SOS 22228 HAS SOPS 14061 HAS SOUS 11251 HAS SOUPS 8103 WITH SCORE 8125.228
AT ITER 3501 NEW BEST:: SOT 37275 SOS 22222 HAS SOPS 14084 HAS SOUS 11232 HAS SOUPS 8084 WITH SCORE 8106.222
AT ITER 3572 NEW BEST:: SOT 37264 SOS 22211 HAS SOPS 14063 HAS SOUS 11221 HAS SOUPS 8063 WITH SCORE 8085.211
AT ITER 3619 NEW BEST:: SOT 37264 SOS 22205 HAS SOPS 14057 HAS SOUS 11221 HAS SOUPS 8063 WITH SCORE 8085.205
AT ITER 3636 NEW BEST:: SOT 37264 SOS 22161 HAS SOPS 14018 HAS SOUS 11215 HAS SOUPS 8057 WITH SCORE 8079.161
AT ITER 3650 NEW BEST:: SOT 37264 SOS 22163 HAS SOPS 14019 HAS SOUS 11214 HAS SOUPS 8056 WITH SCORE 8078.163
AT ITER 3677 NEW BEST:: SOT 37257 SOS 22156 HAS SOPS 14008 HAS SOUS 11207 HAS SOUPS 8045 WITH SCORE 8067.156
AT ITER 3727 NEW BEST:: SOT 37268 SOS 22156 HAS SOPS 13984 HAS SOUS 11201 HAS SOUPS 8039 WITH SCORE 8061.156
AT ITER 3759 NEW BEST:: SOT 37270 SOS 22158 HAS SOPS 13983 HAS SOUS 11203 HAS SOUPS 8038 WITH SCORE 8060.158
AT ITER 3842 NEW BEST:: SOT 37269 SOS 22157 HAS SOPS 13980 HAS SOUS 11202 HAS SOUPS 8035 WITH SCORE 8057.157
AT ITER 3862 NEW BEST:: SOT 37267 SOS 22163 HAS SOPS 13976 HAS SOUS 11227 HAS SOUPS 8031 WITH SCORE 8053.163
AT ITER 3869 NEW BEST:: SOT 37267 SOS 22163 HAS SOPS 13972 HAS SOUS 11223 HAS SOUPS 8027 WITH SCORE 8049.163
AT ITER 3874 NEW BEST:: SOT 37201 SOS 22127 HAS SOPS 13880 HAS SOUS 11231 HAS SOUPS 8025 WITH SCORE 8047.127
AT ITER 3886 NEW BEST:: SOT 37196 SOS 22122 HAS SOPS 13865 HAS SOUS 11226 HAS SOUPS 8010 WITH SCORE 8032.122
AT ITER 3895 NEW BEST:: SOT 37196 SOS 22116 HAS SOPS 13859 HAS SOUS 11223 HAS SOUPS 8007 WITH SCORE 8029.116
AT ITER 3927 NEW BEST:: SOT 37207 SOS 22240 HAS SOPS 13850 HAS SOUS 11315 HAS SOUPS 7998 WITH SCORE 8020.24
AT ITER 3971 NEW BEST:: SOT 37217 SOS 22203 HAS SOPS 13850 HAS SOUS 11328 HAS SOUPS 7998 WITH SCORE 8020.203
AT ITER 4060 NEW BEST:: SOT 37204 SOS 22190 HAS SOPS 13836 HAS SOUS 11316 HAS SOUPS 7984 WITH SCORE 8006.19
AT ITER 4077 NEW BEST:: SOT 37164 SOS 22150 HAS SOPS 13794 HAS SOUS 11290 HAS SOUPS 7958 WITH SCORE 7980.15
AT ITER 4112 NEW BEST:: SOT 37165 SOS 22150 HAS SOPS 13789 HAS SOUS 11285 HAS SOUPS 7953 WITH SCORE 7975.15
AT ITER 4157 NEW BEST:: SOT 37155 SOS 22232 HAS SOPS 13753 HAS SOUS 11352 HAS SOUPS 7917 WITH SCORE 7939.232
AT ITER 4169 NEW BEST:: SOT 37204 SOS 22303 HAS SOPS 13787 HAS SOUS 11296 HAS SOUPS 7861 WITH SCORE 7883.303
AT ITER 4193 NEW BEST:: SOT 37197 SOS 22282 HAS SOPS 13767 HAS SOUS 11294 HAS SOUPS 7859 WITH SCORE 7881.282
AT ITER 4252 NEW BEST:: SOT 37198 SOS 22283 HAS SOPS 13763 HAS SOUS 11291 HAS SOUPS 7856 WITH SCORE 7878.283
AT ITER 4284 NEW BEST:: SOT 37198 SOS 22271 HAS SOPS 13751 HAS SOUS 11291 HAS SOUPS 7856 WITH SCORE 7878.271
AT ITER 4294 NEW BEST:: SOT 37198 SOS 22415 HAS SOPS 13750 HAS SOUS 11325 HAS SOUPS 7855 WITH SCORE 7877.415
AT ITER 4401 NEW BEST:: SOT 37188 SOS 22405 HAS SOPS 13730 HAS SOUS 11308 HAS SOUPS 7835 WITH SCORE 7857.405
AT ITER 4405 NEW BEST:: SOT 37185 SOS 22402 HAS SOPS 13724 HAS SOUS 11305 HAS SOUPS 7829 WITH SCORE 7851.402
AT ITER 4465 NEW BEST:: SOT 37181 SOS 22398 HAS SOPS 13719 HAS SOUS 11301 HAS SOUPS 7824 WITH SCORE 7846.398
AT ITER 4545 NEW BEST:: SOT 37180 SOS 22397 HAS SOPS 13717 HAS SOUS 11294 HAS SOUPS 7817 WITH SCORE 7839.397
AT ITER 4581 NEW BEST:: SOT 37179 SOS 22396 HAS SOPS 13714 HAS SOUS 11293 HAS SOUPS 7814 WITH SCORE 7836.396
AT ITER 4592 NEW BEST:: SOT 37179 SOS 22376 HAS SOPS 13714 HAS SOUS 11293 HAS SOUPS 7814 WITH SCORE 7836.376
AT ITER 4618 NEW BEST:: SOT 37189 SOS 22381 HAS SOPS 13699 HAS SOUS 11278 HAS SOUPS 7799 WITH SCORE 7821.381
AT ITER 4680 NEW BEST:: SOT 37157 SOS 22349 HAS SOPS 13666 HAS SOUS 11274 HAS SOUPS 7794 WITH SCORE 7816.349
AT ITER 4689 NEW BEST:: SOT 37149 SOS 22341 HAS SOPS 13657 HAS SOUS 11272 HAS SOUPS 7785 WITH SCORE 7807.341
AT ITER 4810 NEW BEST:: SOT 37149 SOS 22355 HAS SOPS 13671 HAS SOUS 11271 HAS SOUPS 7784 WITH SCORE 7806.355
AT ITER 4856 NEW BEST:: SOT 37135 SOS 22347 HAS SOPS 13656 HAS SOUS 11272 HAS SOUPS 7769 WITH SCORE 7791.347
AT ITER 4988 NEW BEST:: SOT 37111 SOS 22323 HAS SOPS 13632 HAS SOUS 11240 HAS SOUPS 7737 WITH SCORE 7759.323
AT ITER 4991 NEW BEST:: SOT 37117 SOS 22323 HAS SOPS 13620 HAS SOUS 11231 HAS SOUPS 7728 WITH SCORE 7750.323
AT ITER 5090 NEW BEST:: SOT 37081 SOS 22303 HAS SOPS 13604 HAS SOUS 11207 HAS SOUPS 7704 WITH SCORE 7726.303
AT ITER 5127 NEW BEST:: SOT 37080 SOS 22359 HAS SOPS 13602 HAS SOUS 11308 HAS SOUPS 7702 WITH SCORE 7724.359
AT ITER 5148 NEW BEST:: SOT 37080 SOS 22359 HAS SOPS 13602 HAS SOUS 11307 HAS SOUPS 7701 WITH SCORE 7723.359
AT ITER 5175 NEW BEST:: SOT 37078 SOS 22357 HAS SOPS 13598 HAS SOUS 11305 HAS SOUPS 7697 WITH SCORE 7719.357
AT ITER 5240 NEW BEST:: SOT 37077 SOS 22356 HAS SOPS 13596 HAS SOUS 11304 HAS SOUPS 7695 WITH SCORE 7717.356
AT ITER 5276 NEW BEST:: SOT 37077 SOS 22350 HAS SOPS 13590 HAS SOUS 11304 HAS SOUPS 7695 WITH SCORE 7717.35
AT ITER 5431 NEW BEST:: SOT 37069 SOS 22344 HAS SOPS 13588 HAS SOUS 11302 HAS SOUPS 7693 WITH SCORE 7715.344
AT ITER 5449 NEW BEST:: SOT 37155 SOS 22402 HAS SOPS 13664 HAS SOUS 11290 HAS SOUPS 7690 WITH SCORE 7712.402
AT ITER 5524 NEW BEST:: SOT 37173 SOS 22420 HAS SOPS 13658 HAS SOUS 11284 HAS SOUPS 7684 WITH SCORE 7706.42
AT ITER 5595 NEW BEST:: SOT 37165 SOS 22412 HAS SOPS 13650 HAS SOUS 11276 HAS SOUPS 7676 WITH SCORE 7698.412
AT ITER 5634 NEW BEST:: SOT 37165 SOS 22388 HAS SOPS 13631 HAS SOUS 11274 HAS SOUPS 7674 WITH SCORE 7696.388
AT ITER 5649 NEW BEST:: SOT 37165 SOS 22388 HAS SOPS 13619 HAS SOUS 11274 HAS SOUPS 7662 WITH SCORE 7684.388
AT ITER 5668 NEW BEST:: SOT 37160 SOS 22383 HAS SOPS 13609 HAS SOUS 11269 HAS SOUPS 7652 WITH SCORE 7674.383
AT ITER 5708 NEW BEST:: SOT 37154 SOS 22377 HAS SOPS 13603 HAS SOUS 11239 HAS SOUPS 7622 WITH SCORE 7644.377
AT ITER 5709 NEW BEST:: SOT 37138 SOS 22361 HAS SOPS 13581 HAS SOUS 11223 HAS SOUPS 7600 WITH SCORE 7622.361
AT ITER 5763 NEW BEST:: SOT 37137 SOS 22360 HAS SOPS 13579 HAS SOUS 11222 HAS SOUPS 7598 WITH SCORE 7620.36
AT ITER 5814 NEW BEST:: SOT 37138 SOS 22361 HAS SOPS 13575 HAS SOUS 11218 HAS SOUPS 7594 WITH SCORE 7616.361
AT ITER 5831 NEW BEST:: SOT 37121 SOS 22350 HAS SOPS 13559 HAS SOUS 11216 HAS SOUPS 7590 WITH SCORE 7612.35
AT ITER 5927 NEW BEST:: SOT 37121 SOS 22344 HAS SOPS 13553 HAS SOUS 11216 HAS SOUPS 7590 WITH SCORE 7612.344
AT ITER 5929 NEW BEST:: SOT 37150 SOS 22373 HAS SOPS 13590 HAS SOUS 11223 HAS SOUPS 7585 WITH SCORE 7607.373
AT ITER 5937 NEW BEST:: SOT 37141 SOS 22259 HAS SOPS 13588 HAS SOUS 11205 HAS SOUPS 7583 WITH SCORE 7605.259
AT ITER 5985 NEW BEST:: SOT 37130 SOS 22260 HAS SOPS 13590 HAS SOUS 11200 HAS SOUPS 7579 WITH SCORE 7601.26
AT ITER 5988 NEW BEST:: SOT 37130 SOS 22252 HAS SOPS 13586 HAS SOUS 11200 HAS SOUPS 7579 WITH SCORE 7601.252
AT ITER 5991 NEW BEST:: SOT 37129 SOS 22245 HAS SOPS 13583 HAS SOUS 11193 HAS SOUPS 7576 WITH SCORE 7598.245
AT ITER 6005 NEW BEST:: SOT 37121 SOS 22237 HAS SOPS 13580 HAS SOUS 11191 HAS SOUPS 7573 WITH SCORE 7595.237
AT ITER 6009 NEW BEST:: SOT 37088 SOS 22209 HAS SOPS 13546 HAS SOUS 11182 HAS SOUPS 7561 WITH SCORE 7583.209
AT ITER 6023 NEW BEST:: SOT 37088 SOS 22188 HAS SOPS 13525 HAS SOUS 11182 HAS SOUPS 7561 WITH SCORE 7583.188
AT ITER 6031 NEW BEST:: SOT 37143 SOS 22216 HAS SOPS 13604 HAS SOUS 11171 HAS SOUPS 7559 WITH SCORE 7581.216
AT ITER 6040 NEW BEST:: SOT 37143 SOS 22180 HAS SOPS 13568 HAS SOUS 11171 HAS SOUPS 7559 WITH SCORE 7581.18
AT ITER 6048 NEW BEST:: SOT 37143 SOS 22167 HAS SOPS 13555 HAS SOUS 11170 HAS SOUPS 7558 WITH SCORE 7580.167
AT ITER 6161 NEW BEST:: SOT 37150 SOS 22171 HAS SOPS 13562 HAS SOUS 11153 HAS SOUPS 7553 WITH SCORE 7575.171
AT ITER 6185 NEW BEST:: SOT 37155 SOS 22176 HAS SOPS 13569 HAS SOUS 11150 HAS SOUPS 7552 WITH SCORE 7574.176
AT ITER 6352 NEW BEST:: SOT 37155 SOS 22075 HAS SOPS 13569 HAS SOUS 11134 HAS SOUPS 7552 WITH SCORE 7574.075
AT ITER 6481 NEW BEST:: SOT 37149 SOS 22071 HAS SOPS 13561 HAS SOUS 11148 HAS SOUPS 7552 WITH SCORE 7574.071
AT ITER 6492 NEW BEST:: SOT 37110 SOS 22106 HAS SOPS 13507 HAS SOUS 11184 HAS SOUPS 7542 WITH SCORE 7564.106
AT ITER 6510 NEW BEST:: SOT 37083 SOS 21876 HAS SOPS 13496 HAS SOUS 11106 HAS SOUPS 7531 WITH SCORE 7552.876
AT ITER 6549 NEW BEST:: SOT 37082 SOS 21875 HAS SOPS 13496 HAS SOUS 11105 HAS SOUPS 7531 WITH SCORE 7552.875
AT ITER 6639 NEW BEST:: SOT 37112 SOS 21950 HAS SOPS 13460 HAS SOUS 11150 HAS SOUPS 7507 WITH SCORE 7528.95
AT ITER 6675 NEW BEST:: SOT 37110 SOS 21946 HAS SOPS 13455 HAS SOUS 11147 HAS SOUPS 7503 WITH SCORE 7524.946
AT ITER 6724 NEW BEST:: SOT 37101 SOS 21957 HAS SOPS 13460 HAS SOUS 11142 HAS SOUPS 7498 WITH SCORE 7519.957
AT ITER 6791 NEW BEST:: SOT 37088 SOS 21944 HAS SOPS 13446 HAS SOUS 11141 HAS SOUPS 7496 WITH SCORE 7517.944
AT ITER 6797 NEW BEST:: SOT 37088 SOS 21944 HAS SOPS 13446 HAS SOUS 11130 HAS SOUPS 7485 WITH SCORE 7506.944
AT ITER 6859 NEW BEST:: SOT 36965 SOS 21847 HAS SOPS 13337 HAS SOUS 11137 HAS SOUPS 7480 WITH SCORE 7501.847
AT ITER 6902 NEW BEST:: SOT 36964 SOS 21846 HAS SOPS 13335 HAS SOUS 11136 HAS SOUPS 7478 WITH SCORE 7499.846
AT ITER 6965 NEW BEST:: SOT 36964 SOS 21836 HAS SOPS 13330 HAS SOUS 11131 HAS SOUPS 7473 WITH SCORE 7494.836
AT ITER 6966 NEW BEST:: SOT 36963 SOS 21835 HAS SOPS 13329 HAS SOUS 11130 HAS SOUPS 7472 WITH SCORE 7493.835
AT ITER 6969 NEW BEST:: SOT 36961 SOS 21833 HAS SOPS 13325 HAS SOUS 11128 HAS SOUPS 7468 WITH SCORE 7489.833
AT ITER 7008 NEW BEST:: SOT 36961 SOS 21839 HAS SOPS 13310 HAS SOUS 11113 HAS SOUPS 7453 WITH SCORE 7474.839
AT ITER 7045 NEW BEST:: SOT 37000 SOS 21870 HAS SOPS 13355 HAS SOUS 11070 HAS SOUPS 7418 WITH SCORE 7439.87
AT ITER 7055 NEW BEST:: SOT 36999 SOS 21869 HAS SOPS 13353 HAS SOUS 11069 HAS SOUPS 7416 WITH SCORE 7437.869
AT ITER 7301 NEW BEST:: SOT 36999 SOS 21862 HAS SOPS 13346 HAS SOUS 11068 HAS SOUPS 7415 WITH SCORE 7436.862
AT ITER 7451 NEW BEST:: SOT 36997 SOS 21860 HAS SOPS 13342 HAS SOUS 11062 HAS SOUPS 7411 WITH SCORE 7432.86
AT ITER 7526 NEW BEST:: SOT 37005 SOS 21849 HAS SOPS 13352 HAS SOUS 11055 HAS SOUPS 7409 WITH SCORE 7430.849
AT ITER 7527 NEW BEST:: SOT 36981 SOS 21819 HAS SOPS 13340 HAS SOUS 11043 HAS SOUPS 7397 WITH SCORE 7418.819
AT ITER 7587 NEW BEST:: SOT 36961 SOS 21776 HAS SOPS 13320 HAS SOUS 11014 HAS SOUPS 7377 WITH SCORE 7398.776
AT ITER 7592 NEW BEST:: SOT 36961 SOS 21776 HAS SOPS 13319 HAS SOUS 11014 HAS SOUPS 7376 WITH SCORE 7397.776
AT ITER 7634 NEW BEST:: SOT 36959 SOS 21774 HAS SOPS 13315 HAS SOUS 11012 HAS SOUPS 7372 WITH SCORE 7393.774
AT ITER 7660 NEW BEST:: SOT 36955 SOS 21770 HAS SOPS 13311 HAS SOUS 11008 HAS SOUPS 7368 WITH SCORE 7389.77
AT ITER 7685 NEW BEST:: SOT 36953 SOS 21768 HAS SOPS 13307 HAS SOUS 11006 HAS SOUPS 7364 WITH SCORE 7385.768
AT ITER 7734 NEW BEST:: SOT 36953 SOS 21761 HAS SOPS 13300 HAS SOUS 11006 HAS SOUPS 7364 WITH SCORE 7385.761
AT ITER 7759 NEW BEST:: SOT 36936 SOS 21746 HAS SOPS 13282 HAS SOUS 11004 HAS SOUPS 7360 WITH SCORE 7381.746
AT ITER 7772 NEW BEST:: SOT 36942 SOS 21737 HAS SOPS 13276 HAS SOUS 10998 HAS SOUPS 7354 WITH SCORE 7375.737
AT ITER 7801 NEW BEST:: SOT 36942 SOS 21732 HAS SOPS 13276 HAS SOUS 10998 HAS SOUPS 7354 WITH SCORE 7375.732
AT ITER 7815 NEW BEST:: SOT 36911 SOS 21672 HAS SOPS 13245 HAS SOUS 10951 HAS SOUPS 7327 WITH SCORE 7348.672
AT ITER 7832 NEW BEST:: SOT 36910 SOS 21650 HAS SOPS 13236 HAS SOUS 10942 HAS SOUPS 7318 WITH SCORE 7339.65
AT ITER 7872 NEW BEST:: SOT 36910 SOS 21650 HAS SOPS 13233 HAS SOUS 10943 HAS SOUPS 7315 WITH SCORE 7336.65
AT ITER 7897 NEW BEST:: SOT 36903 SOS 21643 HAS SOPS 13223 HAS SOUS 10944 HAS SOUPS 7313 WITH SCORE 7334.643
AT ITER 7999 NEW BEST:: SOT 36921 SOS 21661 HAS SOPS 13263 HAS SOUS 10936 HAS SOUPS 7309 WITH SCORE 7330.661
AT ITER 8089 NEW BEST:: SOT 36920 SOS 21660 HAS SOPS 13261 HAS SOUS 10935 HAS SOUPS 7307 WITH SCORE 7328.66
AT ITER 8116 NEW BEST:: SOT 36908 SOS 21648 HAS SOPS 13242 HAS SOUS 10923 HAS SOUPS 7288 WITH SCORE 7309.648
AT ITER 8132 NEW BEST:: SOT 36900 SOS 21640 HAS SOPS 13239 HAS SOUS 10921 HAS SOUPS 7285 WITH SCORE 7306.64
AT ITER 8136 NEW BEST:: SOT 36900 SOS 21640 HAS SOPS 13239 HAS SOUS 10917 HAS SOUPS 7281 WITH SCORE 7302.64
AT ITER 8185 NEW BEST:: SOT 36900 SOS 21642 HAS SOPS 13224 HAS SOUS 10902 HAS SOUPS 7266 WITH SCORE 7287.642
AT ITER 8201 NEW BEST:: SOT 36899 SOS 21641 HAS SOPS 13222 HAS SOUS 10901 HAS SOUPS 7264 WITH SCORE 7285.641
AT ITER 8227 NEW BEST:: SOT 36916 SOS 21646 HAS SOPS 13262 HAS SOUS 10845 HAS SOUPS 7256 WITH SCORE 7277.646
AT ITER 8236 NEW BEST:: SOT 36911 SOS 21641 HAS SOPS 13252 HAS SOUS 10840 HAS SOUPS 7246 WITH SCORE 7267.641
AT ITER 8262 NEW BEST:: SOT 36871 SOS 21601 HAS SOPS 13250 HAS SOUS 10838 HAS SOUPS 7244 WITH SCORE 7265.601
AT ITER 8281 NEW BEST:: SOT 36871 SOS 21599 HAS SOPS 13248 HAS SOUS 10836 HAS SOUPS 7242 WITH SCORE 7263.599
AT ITER 8312 NEW BEST:: SOT 36865 SOS 21587 HAS SOPS 13230 HAS SOUS 10806 HAS SOUPS 7212 WITH SCORE 7233.587
AT ITER 8369 NEW BEST:: SOT 36837 SOS 21575 HAS SOPS 13218 HAS SOUS 10774 HAS SOUPS 7180 WITH SCORE 7201.575
AT ITER 8462 NEW BEST:: SOT 36837 SOS 21570 HAS SOPS 13218 HAS SOUS 10770 HAS SOUPS 7180 WITH SCORE 7201.57
AT ITER 8483 NEW BEST:: SOT 36836 SOS 21569 HAS SOPS 13216 HAS SOUS 10769 HAS SOUPS 7178 WITH SCORE 7199.569
AT ITER 8639 NEW BEST:: SOT 36828 SOS 21558 HAS SOPS 13209 HAS SOUS 10753 HAS SOUPS 7162 WITH SCORE 7183.558
AT ITER 8745 NEW BEST:: SOT 36827 SOS 21557 HAS SOPS 13207 HAS SOUS 10752 HAS SOUPS 7160 WITH SCORE 7181.557
AT ITER 8750 NEW BEST:: SOT 36826 SOS 21555 HAS SOPS 13207 HAS SOUS 10750 HAS SOUPS 7160 WITH SCORE 7181.555
AT ITER 8778 NEW BEST:: SOT 36824 SOS 21553 HAS SOPS 13203 HAS SOUS 10748 HAS SOUPS 7156 WITH SCORE 7177.553
AT ITER 9094 NEW BEST:: SOT 36823 SOS 21552 HAS SOPS 13202 HAS SOUS 10747 HAS SOUPS 7155 WITH SCORE 7176.552
AT ITER 9130 NEW BEST:: SOT 36814 SOS 21467 HAS SOPS 13197 HAS SOUS 10714 HAS SOUPS 7150 WITH SCORE 7171.467
AT ITER 9231 NEW BEST:: SOT 36835 SOS 21538 HAS SOPS 13176 HAS SOUS 10715 HAS SOUPS 7129 WITH SCORE 7150.538
AT ITER 9237 NEW BEST:: SOT 36834 SOS 21537 HAS SOPS 13176 HAS SOUS 10713 HAS SOUPS 7129 WITH SCORE 7150.537
AT ITER 9248 NEW BEST:: SOT 36832 SOS 21559 HAS SOPS 13168 HAS SOUS 10713 HAS SOUPS 7121 WITH SCORE 7142.559
AT ITER 9334 NEW BEST:: SOT 36831 SOS 21558 HAS SOPS 13166 HAS SOUS 10712 HAS SOUPS 7119 WITH SCORE 7140.558
AT ITER 9455 NEW BEST:: SOT 36830 SOS 21557 HAS SOPS 13164 HAS SOUS 10711 HAS SOUPS 7117 WITH SCORE 7138.557
AT ITER 9461 NEW BEST:: SOT 36827 SOS 21554 HAS SOPS 13152 HAS SOUS 10708 HAS SOUPS 7105 WITH SCORE 7126.554
AT ITER 9499 NEW BEST:: SOT 36822 SOS 21549 HAS SOPS 13148 HAS SOUS 10704 HAS SOUPS 7101 WITH SCORE 7122.549
AT ITER 9532 NEW BEST:: SOT 36811 SOS 21533 HAS SOPS 13132 HAS SOUS 10696 HAS SOUPS 7093 WITH SCORE 7114.533
AT ITER 9563 NEW BEST:: SOT 36811 SOS 21583 HAS SOPS 13182 HAS SOUS 10684 HAS SOUPS 7081 WITH SCORE 7102.583
AT ITER 9617 NEW BEST:: SOT 36809 SOS 21578 HAS SOPS 13180 HAS SOUS 10677 HAS SOUPS 7079 WITH SCORE 7100.578
AT ITER 9626 NEW BEST:: SOT 36809 SOS 21578 HAS SOPS 13179 HAS SOUS 10677 HAS SOUPS 7078 WITH SCORE 7099.578
AT ITER 9726 NEW BEST:: SOT 36808 SOS 21577 HAS SOPS 13178 HAS SOUS 10676 HAS SOUPS 7077 WITH SCORE 7098.577
AT ITER 9786 NEW BEST:: SOT 36805 SOS 21574 HAS SOPS 13172 HAS SOUS 10673 HAS SOUPS 7071 WITH SCORE 7092.574
AT ITER 9915 NEW BEST:: SOT 36805 SOS 21554 HAS SOPS 13172 HAS SOUS 10673 HAS SOUPS 7071 WITH SCORE 7092.554
AT ITER 9916 NEW BEST:: SOT 36804 SOS 21553 HAS SOPS 13170 HAS SOUS 10672 HAS SOUPS 7069 WITH SCORE 7090.553
AT ITER 9942 NEW BEST:: SOT 36804 SOS 21525 HAS SOPS 13142 HAS SOUS 10672 HAS SOUPS 7069 WITH SCORE 7090.525

BK_STOP 1678652556278

--------------------
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
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 482 Killed ${SMART}/smart ${INPUT_SM}

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="LamportFastMutEx-COL-6"
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 LamportFastMutEx-COL-6, 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 r235-tall-167856421700376"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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