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.r363-smll-167891814800672.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 SharedMemory-PT-000010, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r363-smll-167891814800672
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.6M
-rw-r--r-- 1 mcc users 37K Feb 25 14:08 CTLCardinality.txt
-rw-r--r-- 1 mcc users 200K Feb 25 14:08 CTLCardinality.xml
-rw-r--r-- 1 mcc users 67K Feb 25 14:03 CTLFireability.txt
-rw-r--r-- 1 mcc users 302K Feb 25 14:03 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 17K Feb 25 16:52 LTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 25 16:52 LTLCardinality.xml
-rw-r--r-- 1 mcc users 34K Feb 25 16:52 LTLFireability.txt
-rw-r--r-- 1 mcc users 115K Feb 25 16:52 LTLFireability.xml
-rw-r--r-- 1 mcc users 94K Feb 25 14:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 523K Feb 25 14:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 189K Feb 25 14:12 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 836K Feb 25 14:12 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:52 UpperBounds.txt
-rw-r--r-- 1 mcc users 8.7K Feb 25 16:52 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 104K 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 1679333423800

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=SharedMemory-PT-000010
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 17:30:26] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 17:30:26] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 17:30:26] [INFO ] Load time of PNML (sax parser for PT used): 97 ms
[2023-03-20 17:30:26] [INFO ] Transformed 131 places.
[2023-03-20 17:30:26] [INFO ] Transformed 210 transitions.
[2023-03-20 17:30:26] [INFO ] Found NUPN structural information;
[2023-03-20 17:30:26] [INFO ] Completing missing partition info from NUPN : creating a component with [Ext_Mem_Acc_10_6, Ext_Mem_Acc_8_7]
[2023-03-20 17:30:26] [INFO ] Parsed PT model containing 131 places and 210 transitions and 800 arcs in 202 ms.
[2023-03-20 17:30:26] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 131 places, 210 transitions and 800 arcs took 12 ms.
Total runtime 258 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SharedMemory (PT), instance 000010
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: 131 places, 210 transitions, 800 arcs.
AT ITER 0 NEW BEST:: SOT 24196 SOS 21042 HAS SOPS 20935 HAS SOUS 19097 HAS SOUPS 18990 WITH SCORE 19011.042
AT ITER 7 NEW BEST:: SOT 24281 SOS 21110 HAS SOPS 21003 HAS SOUS 18852 HAS SOUPS 18745 WITH SCORE 18766.11
AT ITER 16 NEW BEST:: SOT 24577 SOS 21294 HAS SOPS 21187 HAS SOUS 18686 HAS SOUPS 18579 WITH SCORE 18600.294
AT ITER 20 NEW BEST:: SOT 24841 SOS 21558 HAS SOPS 21451 HAS SOUS 18570 HAS SOUPS 18463 WITH SCORE 18484.558
AT ITER 22 NEW BEST:: SOT 24903 SOS 21564 HAS SOPS 21457 HAS SOUS 18320 HAS SOUPS 18213 WITH SCORE 18234.564
AT ITER 27 NEW BEST:: SOT 24903 SOS 21564 HAS SOPS 21457 HAS SOUS 18309 HAS SOUPS 18202 WITH SCORE 18223.564
AT ITER 34 NEW BEST:: SOT 24976 SOS 21637 HAS SOPS 21530 HAS SOUS 18062 HAS SOUPS 17955 WITH SCORE 17976.637
AT ITER 38 NEW BEST:: SOT 24976 SOS 21637 HAS SOPS 21530 HAS SOUS 18052 HAS SOUPS 17945 WITH SCORE 17966.637
AT ITER 39 NEW BEST:: SOT 24902 SOS 21208 HAS SOPS 21101 HAS SOUS 17784 HAS SOUPS 17677 WITH SCORE 17698.208
AT ITER 40 NEW BEST:: SOT 25075 SOS 21268 HAS SOPS 21161 HAS SOUS 17679 HAS SOUPS 17572 WITH SCORE 17593.268
AT ITER 41 NEW BEST:: SOT 25075 SOS 21252 HAS SOPS 21115 HAS SOUS 17685 HAS SOUPS 17548 WITH SCORE 17569.252
AT ITER 42 NEW BEST:: SOT 25268 SOS 21326 HAS SOPS 21189 HAS SOUS 17446 HAS SOUPS 17309 WITH SCORE 17330.326
AT ITER 43 NEW BEST:: SOT 25268 SOS 21326 HAS SOPS 21189 HAS SOUS 17410 HAS SOUPS 17273 WITH SCORE 17294.326
AT ITER 45 NEW BEST:: SOT 25268 SOS 20952 HAS SOPS 20899 HAS SOUS 16717 HAS SOUPS 16664 WITH SCORE 16684.952
AT ITER 46 NEW BEST:: SOT 25268 SOS 20909 HAS SOPS 20856 HAS SOUS 16674 HAS SOUPS 16621 WITH SCORE 16641.909
AT ITER 47 NEW BEST:: SOT 25268 SOS 20821 HAS SOPS 20768 HAS SOUS 16605 HAS SOUPS 16552 WITH SCORE 16572.821
AT ITER 49 NEW BEST:: SOT 25268 SOS 20797 HAS SOPS 20722 HAS SOUS 16606 HAS SOUPS 16531 WITH SCORE 16551.797
AT ITER 54 NEW BEST:: SOT 25300 SOS 20709 HAS SOPS 20634 HAS SOUS 16426 HAS SOUPS 16351 WITH SCORE 16371.709
AT ITER 58 NEW BEST:: SOT 25300 SOS 20542 HAS SOPS 20467 HAS SOUS 16027 HAS SOUPS 15952 WITH SCORE 15972.542
AT ITER 62 NEW BEST:: SOT 25300 SOS 20525 HAS SOPS 20450 HAS SOUS 15999 HAS SOUPS 15924 WITH SCORE 15944.525
AT ITER 64 NEW BEST:: SOT 25297 SOS 20522 HAS SOPS 20447 HAS SOUS 15996 HAS SOUPS 15921 WITH SCORE 15941.522
AT ITER 71 NEW BEST:: SOT 25393 SOS 19958 HAS SOPS 19883 HAS SOUS 15795 HAS SOUPS 15720 WITH SCORE 15739.958
AT ITER 72 NEW BEST:: SOT 25393 SOS 20016 HAS SOPS 19941 HAS SOUS 15769 HAS SOUPS 15694 WITH SCORE 15714.016
AT ITER 76 NEW BEST:: SOT 25393 SOS 19947 HAS SOPS 19872 HAS SOUS 15734 HAS SOUPS 15659 WITH SCORE 15678.947
AT ITER 81 NEW BEST:: SOT 25393 SOS 19933 HAS SOPS 19844 HAS SOUS 15734 HAS SOUPS 15645 WITH SCORE 15664.933
AT ITER 85 NEW BEST:: SOT 25344 SOS 19896 HAS SOPS 19807 HAS SOUS 15728 HAS SOUPS 15639 WITH SCORE 15658.896
AT ITER 89 NEW BEST:: SOT 25344 SOS 19865 HAS SOPS 19776 HAS SOUS 15697 HAS SOUPS 15608 WITH SCORE 15627.865
AT ITER 98 NEW BEST:: SOT 25113 SOS 19914 HAS SOPS 19843 HAS SOUS 15658 HAS SOUPS 15587 WITH SCORE 15606.914
AT ITER 102 NEW BEST:: SOT 25113 SOS 19822 HAS SOPS 19757 HAS SOUS 15650 HAS SOUPS 15585 WITH SCORE 15604.822
AT ITER 104 NEW BEST:: SOT 25171 SOS 19825 HAS SOPS 19760 HAS SOUS 15582 HAS SOUPS 15517 WITH SCORE 15536.825
AT ITER 106 NEW BEST:: SOT 25171 SOS 19788 HAS SOPS 19723 HAS SOUS 15569 HAS SOUPS 15504 WITH SCORE 15523.788
AT ITER 114 NEW BEST:: SOT 25252 SOS 19695 HAS SOPS 19612 HAS SOUS 15565 HAS SOUPS 15482 WITH SCORE 15501.695
AT ITER 117 NEW BEST:: SOT 25321 SOS 19240 HAS SOPS 19157 HAS SOUS 15348 HAS SOUPS 15265 WITH SCORE 15284.24
AT ITER 119 NEW BEST:: SOT 25321 SOS 19198 HAS SOPS 19115 HAS SOUS 15348 HAS SOUPS 15265 WITH SCORE 15284.198
AT ITER 121 NEW BEST:: SOT 25321 SOS 19178 HAS SOPS 19095 HAS SOUS 15332 HAS SOUPS 15249 WITH SCORE 15268.178
AT ITER 122 NEW BEST:: SOT 25321 SOS 18978 HAS SOPS 18906 HAS SOUS 15320 HAS SOUPS 15248 WITH SCORE 15266.978
AT ITER 123 NEW BEST:: SOT 25321 SOS 18926 HAS SOPS 18854 HAS SOUS 15320 HAS SOUPS 15248 WITH SCORE 15266.926
AT ITER 127 NEW BEST:: SOT 25321 SOS 18827 HAS SOPS 18755 HAS SOUS 15235 HAS SOUPS 15163 WITH SCORE 15181.827
AT ITER 129 NEW BEST:: SOT 25321 SOS 18703 HAS SOPS 18631 HAS SOUS 15116 HAS SOUPS 15044 WITH SCORE 15062.703
AT ITER 130 NEW BEST:: SOT 25371 SOS 18131 HAS SOPS 18059 HAS SOUS 14992 HAS SOUPS 14920 WITH SCORE 14938.131
AT ITER 131 NEW BEST:: SOT 20550 SOS 16126 HAS SOPS 16054 HAS SOUS 10275 HAS SOUPS 10203 WITH SCORE 10219.126
AT ITER 135 NEW BEST:: SOT 20546 SOS 16118 HAS SOPS 16042 HAS SOUS 10271 HAS SOUPS 10195 WITH SCORE 10211.118
AT ITER 137 NEW BEST:: SOT 20243 SOS 15815 HAS SOPS 15739 HAS SOUS 9982 HAS SOUPS 9906 WITH SCORE 9921.815
AT ITER 141 NEW BEST:: SOT 19953 SOS 15604 HAS SOPS 15528 HAS SOUS 9894 HAS SOUPS 9818 WITH SCORE 9833.604
AT ITER 142 NEW BEST:: SOT 19947 SOS 15598 HAS SOPS 15522 HAS SOUS 9891 HAS SOUPS 9815 WITH SCORE 9830.598
AT ITER 149 NEW BEST:: SOT 19980 SOS 15590 HAS SOPS 15514 HAS SOUS 9835 HAS SOUPS 9759 WITH SCORE 9774.59
AT ITER 150 NEW BEST:: SOT 19961 SOS 15562 HAS SOPS 15502 HAS SOUS 9719 HAS SOUPS 9659 WITH SCORE 9674.562
AT ITER 156 NEW BEST:: SOT 19935 SOS 15536 HAS SOPS 15476 HAS SOUS 9715 HAS SOUPS 9655 WITH SCORE 9670.536
AT ITER 161 NEW BEST:: SOT 19705 SOS 15306 HAS SOPS 15246 HAS SOUS 9653 HAS SOUPS 9593 WITH SCORE 9608.306
AT ITER 162 NEW BEST:: SOT 19629 SOS 15270 HAS SOPS 15210 HAS SOUS 9648 HAS SOUPS 9588 WITH SCORE 9603.27
AT ITER 163 NEW BEST:: SOT 19394 SOS 15113 HAS SOPS 15053 HAS SOUS 9513 HAS SOUPS 9453 WITH SCORE 9468.113
AT ITER 165 NEW BEST:: SOT 19382 SOS 15101 HAS SOPS 15041 HAS SOUS 9501 HAS SOUPS 9441 WITH SCORE 9456.101
AT ITER 166 NEW BEST:: SOT 19290 SOS 15005 HAS SOPS 14945 HAS SOUS 9317 HAS SOUPS 9257 WITH SCORE 9272.005
AT ITER 169 NEW BEST:: SOT 19266 SOS 14987 HAS SOPS 14927 HAS SOUS 9304 HAS SOUPS 9244 WITH SCORE 9258.987
AT ITER 170 NEW BEST:: SOT 19261 SOS 14982 HAS SOPS 14922 HAS SOUS 9294 HAS SOUPS 9234 WITH SCORE 9248.982
AT ITER 171 NEW BEST:: SOT 19350 SOS 15007 HAS SOPS 14947 HAS SOUS 9212 HAS SOUPS 9152 WITH SCORE 9167.007
AT ITER 172 NEW BEST:: SOT 19350 SOS 14945 HAS SOPS 14865 HAS SOUS 9232 HAS SOUPS 9152 WITH SCORE 9166.945
AT ITER 173 NEW BEST:: SOT 19342 SOS 14937 HAS SOPS 14857 HAS SOUS 9227 HAS SOUPS 9147 WITH SCORE 9161.937
AT ITER 177 NEW BEST:: SOT 19300 SOS 14894 HAS SOPS 14814 HAS SOUS 9173 HAS SOUPS 9093 WITH SCORE 9107.894
AT ITER 178 NEW BEST:: SOT 19285 SOS 14880 HAS SOPS 14800 HAS SOUS 9155 HAS SOUPS 9075 WITH SCORE 9089.88
AT ITER 181 NEW BEST:: SOT 19153 SOS 14766 HAS SOPS 14704 HAS SOUS 9047 HAS SOUPS 8985 WITH SCORE 8999.766
AT ITER 182 NEW BEST:: SOT 19126 SOS 14816 HAS SOPS 14754 HAS SOUS 9019 HAS SOUPS 8957 WITH SCORE 8971.816
AT ITER 184 NEW BEST:: SOT 19033 SOS 14723 HAS SOPS 14661 HAS SOUS 8980 HAS SOUPS 8918 WITH SCORE 8932.723
AT ITER 188 NEW BEST:: SOT 18958 SOS 14648 HAS SOPS 14558 HAS SOUS 9006 HAS SOUPS 8916 WITH SCORE 8930.648
AT ITER 189 NEW BEST:: SOT 18958 SOS 14639 HAS SOPS 14549 HAS SOUS 9006 HAS SOUPS 8916 WITH SCORE 8930.639
AT ITER 192 NEW BEST:: SOT 18933 SOS 14614 HAS SOPS 14524 HAS SOUS 8992 HAS SOUPS 8902 WITH SCORE 8916.614
AT ITER 204 NEW BEST:: SOT 18725 SOS 14406 HAS SOPS 14316 HAS SOUS 8763 HAS SOUPS 8673 WITH SCORE 8687.406
AT ITER 210 NEW BEST:: SOT 18729 SOS 14402 HAS SOPS 14304 HAS SOUS 8759 HAS SOUPS 8661 WITH SCORE 8675.402
AT ITER 220 NEW BEST:: SOT 18726 SOS 14399 HAS SOPS 14301 HAS SOUS 8753 HAS SOUPS 8655 WITH SCORE 8669.399
AT ITER 226 NEW BEST:: SOT 18726 SOS 14398 HAS SOPS 14300 HAS SOUS 8753 HAS SOUPS 8655 WITH SCORE 8669.398
AT ITER 228 NEW BEST:: SOT 18688 SOS 14360 HAS SOPS 14262 HAS SOUS 8705 HAS SOUPS 8607 WITH SCORE 8621.36
AT ITER 229 NEW BEST:: SOT 18678 SOS 14350 HAS SOPS 14252 HAS SOUS 8695 HAS SOUPS 8597 WITH SCORE 8611.35
AT ITER 239 NEW BEST:: SOT 18678 SOS 14326 HAS SOPS 14228 HAS SOUS 8695 HAS SOUPS 8597 WITH SCORE 8611.326
AT ITER 241 NEW BEST:: SOT 18707 SOS 14336 HAS SOPS 14238 HAS SOUS 8692 HAS SOUPS 8594 WITH SCORE 8608.336
AT ITER 247 NEW BEST:: SOT 18689 SOS 14318 HAS SOPS 14220 HAS SOUS 8652 HAS SOUPS 8554 WITH SCORE 8568.318
AT ITER 250 NEW BEST:: SOT 18892 SOS 14484 HAS SOPS 14405 HAS SOUS 8630 HAS SOUPS 8551 WITH SCORE 8565.484
AT ITER 259 NEW BEST:: SOT 18870 SOS 14462 HAS SOPS 14383 HAS SOUS 8630 HAS SOUPS 8551 WITH SCORE 8565.462
AT ITER 265 NEW BEST:: SOT 18852 SOS 14481 HAS SOPS 14402 HAS SOUS 8576 HAS SOUPS 8497 WITH SCORE 8511.481
AT ITER 266 NEW BEST:: SOT 18764 SOS 14389 HAS SOPS 14310 HAS SOUS 8427 HAS SOUPS 8348 WITH SCORE 8362.389
AT ITER 270 NEW BEST:: SOT 18467 SOS 14211 HAS SOPS 14155 HAS SOUS 8315 HAS SOUPS 8259 WITH SCORE 8273.211
AT ITER 271 NEW BEST:: SOT 18443 SOS 14187 HAS SOPS 14131 HAS SOUS 8267 HAS SOUPS 8211 WITH SCORE 8225.187
AT ITER 272 NEW BEST:: SOT 18560 SOS 14218 HAS SOPS 14162 HAS SOUS 8244 HAS SOUPS 8188 WITH SCORE 8202.218
AT ITER 277 NEW BEST:: SOT 18544 SOS 14202 HAS SOPS 14146 HAS SOUS 8212 HAS SOUPS 8156 WITH SCORE 8170.202
AT ITER 278 NEW BEST:: SOT 18544 SOS 14200 HAS SOPS 14144 HAS SOUS 8206 HAS SOUPS 8150 WITH SCORE 8164.2
AT ITER 300 NEW BEST:: SOT 18536 SOS 14192 HAS SOPS 14136 HAS SOUS 8190 HAS SOUPS 8134 WITH SCORE 8148.192
AT ITER 303 NEW BEST:: SOT 18526 SOS 14182 HAS SOPS 14126 HAS SOUS 8157 HAS SOUPS 8101 WITH SCORE 8115.182
AT ITER 307 NEW BEST:: SOT 18522 SOS 14235 HAS SOPS 14179 HAS SOUS 8153 HAS SOUPS 8097 WITH SCORE 8111.235
AT ITER 308 NEW BEST:: SOT 18513 SOS 14226 HAS SOPS 14170 HAS SOUS 8135 HAS SOUPS 8079 WITH SCORE 8093.226
AT ITER 326 NEW BEST:: SOT 18508 SOS 14221 HAS SOPS 14165 HAS SOUS 8126 HAS SOUPS 8070 WITH SCORE 8084.221
AT ITER 327 NEW BEST:: SOT 18488 SOS 14201 HAS SOPS 14145 HAS SOUS 8086 HAS SOUPS 8030 WITH SCORE 8044.201
AT ITER 329 NEW BEST:: SOT 18475 SOS 14188 HAS SOPS 14132 HAS SOUS 8073 HAS SOUPS 8017 WITH SCORE 8031.188
AT ITER 331 NEW BEST:: SOT 18465 SOS 14178 HAS SOPS 14122 HAS SOUS 8063 HAS SOUPS 8007 WITH SCORE 8021.178
AT ITER 339 NEW BEST:: SOT 18426 SOS 14139 HAS SOPS 14083 HAS SOUS 8009 HAS SOUPS 7953 WITH SCORE 7967.139
AT ITER 342 NEW BEST:: SOT 18387 SOS 14100 HAS SOPS 14044 HAS SOUS 7953 HAS SOUPS 7897 WITH SCORE 7911.1
AT ITER 346 NEW BEST:: SOT 18335 SOS 14048 HAS SOPS 13992 HAS SOUS 7867 HAS SOUPS 7811 WITH SCORE 7825.048
AT ITER 348 NEW BEST:: SOT 18316 SOS 14029 HAS SOPS 13973 HAS SOUS 7829 HAS SOUPS 7773 WITH SCORE 7787.029
AT ITER 356 NEW BEST:: SOT 18337 SOS 14050 HAS SOPS 13994 HAS SOUS 7826 HAS SOUPS 7770 WITH SCORE 7784.05
AT ITER 359 NEW BEST:: SOT 18167 SOS 13880 HAS SOPS 13824 HAS SOUS 7677 HAS SOUPS 7621 WITH SCORE 7634.88
AT ITER 360 NEW BEST:: SOT 18159 SOS 13872 HAS SOPS 13816 HAS SOUS 7653 HAS SOUPS 7597 WITH SCORE 7610.872
AT ITER 363 NEW BEST:: SOT 18135 SOS 13856 HAS SOPS 13800 HAS SOUS 7634 HAS SOUPS 7578 WITH SCORE 7591.856
AT ITER 383 NEW BEST:: SOT 18135 SOS 13853 HAS SOPS 13797 HAS SOUS 7625 HAS SOUPS 7569 WITH SCORE 7582.853
AT ITER 391 NEW BEST:: SOT 18122 SOS 13837 HAS SOPS 13781 HAS SOUS 7599 HAS SOUPS 7543 WITH SCORE 7556.837
AT ITER 393 NEW BEST:: SOT 18114 SOS 13835 HAS SOPS 13779 HAS SOUS 7591 HAS SOUPS 7535 WITH SCORE 7548.835
AT ITER 405 NEW BEST:: SOT 18092 SOS 13813 HAS SOPS 13757 HAS SOUS 7571 HAS SOUPS 7515 WITH SCORE 7528.813
AT ITER 408 NEW BEST:: SOT 18086 SOS 13807 HAS SOPS 13751 HAS SOUS 7565 HAS SOUPS 7509 WITH SCORE 7522.807
AT ITER 412 NEW BEST:: SOT 17876 SOS 13597 HAS SOPS 13541 HAS SOUS 7561 HAS SOUPS 7505 WITH SCORE 7518.597
AT ITER 413 NEW BEST:: SOT 17849 SOS 13570 HAS SOPS 13514 HAS SOUS 7494 HAS SOUPS 7438 WITH SCORE 7451.57
AT ITER 421 NEW BEST:: SOT 17811 SOS 13532 HAS SOPS 13476 HAS SOUS 7456 HAS SOUPS 7400 WITH SCORE 7413.532
AT ITER 422 NEW BEST:: SOT 17894 SOS 13551 HAS SOPS 13495 HAS SOUS 7442 HAS SOUPS 7386 WITH SCORE 7399.551
AT ITER 424 NEW BEST:: SOT 17829 SOS 13476 HAS SOPS 13420 HAS SOUS 7384 HAS SOUPS 7328 WITH SCORE 7341.476
AT ITER 441 NEW BEST:: SOT 17715 SOS 13392 HAS SOPS 13336 HAS SOUS 7298 HAS SOUPS 7242 WITH SCORE 7255.392
AT ITER 450 NEW BEST:: SOT 17785 SOS 13427 HAS SOPS 13371 HAS SOUS 7289 HAS SOUPS 7233 WITH SCORE 7246.427
AT ITER 476 NEW BEST:: SOT 17780 SOS 13422 HAS SOPS 13366 HAS SOUS 7279 HAS SOUPS 7223 WITH SCORE 7236.422
AT ITER 479 NEW BEST:: SOT 17746 SOS 13388 HAS SOPS 13332 HAS SOUS 7257 HAS SOUPS 7201 WITH SCORE 7214.388
AT ITER 508 NEW BEST:: SOT 17714 SOS 13356 HAS SOPS 13300 HAS SOUS 7181 HAS SOUPS 7125 WITH SCORE 7138.356
AT ITER 511 NEW BEST:: SOT 17711 SOS 13353 HAS SOPS 13297 HAS SOUS 7175 HAS SOUPS 7119 WITH SCORE 7132.353
AT ITER 526 NEW BEST:: SOT 17707 SOS 13349 HAS SOPS 13293 HAS SOUS 7171 HAS SOUPS 7115 WITH SCORE 7128.349
AT ITER 535 NEW BEST:: SOT 17698 SOS 13340 HAS SOPS 13284 HAS SOUS 7162 HAS SOUPS 7106 WITH SCORE 7119.34
AT ITER 536 NEW BEST:: SOT 17724 SOS 13366 HAS SOPS 13310 HAS SOUS 7155 HAS SOUPS 7099 WITH SCORE 7112.366
AT ITER 543 NEW BEST:: SOT 17714 SOS 13313 HAS SOPS 13252 HAS SOUS 7140 HAS SOUPS 7079 WITH SCORE 7092.313
AT ITER 546 NEW BEST:: SOT 17705 SOS 13304 HAS SOPS 13243 HAS SOUS 7122 HAS SOUPS 7061 WITH SCORE 7074.304
AT ITER 556 NEW BEST:: SOT 17691 SOS 13290 HAS SOPS 13229 HAS SOUS 7076 HAS SOUPS 7015 WITH SCORE 7028.29
AT ITER 565 NEW BEST:: SOT 17569 SOS 13237 HAS SOPS 13176 HAS SOUS 7029 HAS SOUPS 6968 WITH SCORE 6981.237
AT ITER 568 NEW BEST:: SOT 17569 SOS 13217 HAS SOPS 13156 HAS SOUS 7029 HAS SOUPS 6968 WITH SCORE 6981.217
AT ITER 570 NEW BEST:: SOT 17577 SOS 13225 HAS SOPS 13164 HAS SOUS 7023 HAS SOUPS 6962 WITH SCORE 6975.225
AT ITER 572 NEW BEST:: SOT 17539 SOS 13277 HAS SOPS 13216 HAS SOUS 7014 HAS SOUPS 6953 WITH SCORE 6966.277
AT ITER 574 NEW BEST:: SOT 17533 SOS 13271 HAS SOPS 13210 HAS SOUS 7002 HAS SOUPS 6941 WITH SCORE 6954.271
AT ITER 604 NEW BEST:: SOT 17519 SOS 13255 HAS SOPS 13194 HAS SOUS 6982 HAS SOUPS 6921 WITH SCORE 6934.255
AT ITER 610 NEW BEST:: SOT 17519 SOS 13245 HAS SOPS 13184 HAS SOUS 6982 HAS SOUPS 6921 WITH SCORE 6934.245
AT ITER 624 NEW BEST:: SOT 17519 SOS 13239 HAS SOPS 13178 HAS SOUS 6982 HAS SOUPS 6921 WITH SCORE 6934.239
AT ITER 635 NEW BEST:: SOT 17501 SOS 13237 HAS SOPS 13176 HAS SOUS 6891 HAS SOUPS 6830 WITH SCORE 6843.237
AT ITER 636 NEW BEST:: SOT 17499 SOS 13235 HAS SOPS 13174 HAS SOUS 6887 HAS SOUPS 6826 WITH SCORE 6839.235
AT ITER 646 NEW BEST:: SOT 17489 SOS 13227 HAS SOPS 13166 HAS SOUS 6877 HAS SOUPS 6816 WITH SCORE 6829.227
AT ITER 659 NEW BEST:: SOT 17489 SOS 13189 HAS SOPS 13076 HAS SOUS 6929 HAS SOUPS 6816 WITH SCORE 6829.189
AT ITER 665 NEW BEST:: SOT 17425 SOS 13150 HAS SOPS 13037 HAS SOUS 6917 HAS SOUPS 6804 WITH SCORE 6817.15
AT ITER 669 NEW BEST:: SOT 17386 SOS 13111 HAS SOPS 12998 HAS SOUS 6820 HAS SOUPS 6707 WITH SCORE 6720.111
AT ITER 676 NEW BEST:: SOT 17261 SOS 13039 HAS SOPS 12946 HAS SOUS 6755 HAS SOUPS 6662 WITH SCORE 6675.039
AT ITER 677 NEW BEST:: SOT 17274 SOS 13052 HAS SOPS 12959 HAS SOUS 6731 HAS SOUPS 6638 WITH SCORE 6651.052
AT ITER 682 NEW BEST:: SOT 17300 SOS 13069 HAS SOPS 12985 HAS SOUS 6700 HAS SOUPS 6616 WITH SCORE 6629.069
AT ITER 684 NEW BEST:: SOT 17287 SOS 13056 HAS SOPS 12972 HAS SOUS 6674 HAS SOUPS 6590 WITH SCORE 6603.056
AT ITER 701 NEW BEST:: SOT 17279 SOS 13048 HAS SOPS 12964 HAS SOUS 6668 HAS SOUPS 6584 WITH SCORE 6597.048
AT ITER 709 NEW BEST:: SOT 17185 SOS 13013 HAS SOPS 12934 HAS SOUS 6610 HAS SOUPS 6531 WITH SCORE 6544.013
AT ITER 715 NEW BEST:: SOT 17149 SOS 12977 HAS SOPS 12898 HAS SOUS 6574 HAS SOUPS 6495 WITH SCORE 6507.977
AT ITER 721 NEW BEST:: SOT 17145 SOS 12973 HAS SOPS 12894 HAS SOUS 6566 HAS SOUPS 6487 WITH SCORE 6499.973
AT ITER 727 NEW BEST:: SOT 17143 SOS 12964 HAS SOPS 12885 HAS SOUS 6562 HAS SOUPS 6483 WITH SCORE 6495.964
AT ITER 739 NEW BEST:: SOT 17102 SOS 12923 HAS SOPS 12844 HAS SOUS 6480 HAS SOUPS 6401 WITH SCORE 6413.923
AT ITER 744 NEW BEST:: SOT 17072 SOS 12893 HAS SOPS 12814 HAS SOUS 6420 HAS SOUPS 6341 WITH SCORE 6353.893
AT ITER 760 NEW BEST:: SOT 17007 SOS 12828 HAS SOPS 12749 HAS SOUS 6410 HAS SOUPS 6331 WITH SCORE 6343.828
AT ITER 761 NEW BEST:: SOT 17012 SOS 12814 HAS SOPS 12735 HAS SOUS 6410 HAS SOUPS 6331 WITH SCORE 6343.814
AT ITER 764 NEW BEST:: SOT 16998 SOS 12800 HAS SOPS 12721 HAS SOUS 6399 HAS SOUPS 6320 WITH SCORE 6332.8
AT ITER 768 NEW BEST:: SOT 16996 SOS 12798 HAS SOPS 12719 HAS SOUS 6397 HAS SOUPS 6318 WITH SCORE 6330.798
AT ITER 775 NEW BEST:: SOT 16995 SOS 12797 HAS SOPS 12718 HAS SOUS 6395 HAS SOUPS 6316 WITH SCORE 6328.797
AT ITER 785 NEW BEST:: SOT 16914 SOS 12760 HAS SOPS 12681 HAS SOUS 6337 HAS SOUPS 6258 WITH SCORE 6270.76
AT ITER 786 NEW BEST:: SOT 16901 SOS 12747 HAS SOPS 12668 HAS SOUS 6324 HAS SOUPS 6245 WITH SCORE 6257.747
AT ITER 798 NEW BEST:: SOT 16861 SOS 12726 HAS SOPS 12666 HAS SOUS 6239 HAS SOUPS 6179 WITH SCORE 6191.726
AT ITER 807 NEW BEST:: SOT 16857 SOS 12954 HAS SOPS 12894 HAS SOUS 6235 HAS SOUPS 6175 WITH SCORE 6187.954
AT ITER 815 NEW BEST:: SOT 16845 SOS 12942 HAS SOPS 12882 HAS SOUS 6211 HAS SOUPS 6151 WITH SCORE 6163.942
AT ITER 817 NEW BEST:: SOT 16823 SOS 12920 HAS SOPS 12860 HAS SOUS 6183 HAS SOUPS 6123 WITH SCORE 6135.92
AT ITER 821 NEW BEST:: SOT 16786 SOS 12883 HAS SOPS 12823 HAS SOUS 6149 HAS SOUPS 6089 WITH SCORE 6101.883
AT ITER 822 NEW BEST:: SOT 16772 SOS 12953 HAS SOPS 12893 HAS SOUS 6141 HAS SOUPS 6081 WITH SCORE 6093.953
AT ITER 828 NEW BEST:: SOT 16772 SOS 12949 HAS SOPS 12889 HAS SOUS 6128 HAS SOUPS 6068 WITH SCORE 6080.949
AT ITER 830 NEW BEST:: SOT 16761 SOS 12937 HAS SOPS 12877 HAS SOUS 6103 HAS SOUPS 6043 WITH SCORE 6055.937
AT ITER 834 NEW BEST:: SOT 16741 SOS 12917 HAS SOPS 12857 HAS SOUS 6065 HAS SOUPS 6005 WITH SCORE 6017.917
AT ITER 849 NEW BEST:: SOT 16738 SOS 12924 HAS SOPS 12864 HAS SOUS 6059 HAS SOUPS 5999 WITH SCORE 6011.924
AT ITER 875 NEW BEST:: SOT 16705 SOS 12878 HAS SOPS 12818 HAS SOUS 6058 HAS SOUPS 5998 WITH SCORE 6010.878
AT ITER 877 NEW BEST:: SOT 16682 SOS 12855 HAS SOPS 12795 HAS SOUS 6012 HAS SOUPS 5952 WITH SCORE 5964.855
AT ITER 880 NEW BEST:: SOT 16684 SOS 12851 HAS SOPS 12791 HAS SOUS 6008 HAS SOUPS 5948 WITH SCORE 5960.851
AT ITER 919 NEW BEST:: SOT 16664 SOS 12835 HAS SOPS 12779 HAS SOUS 5986 HAS SOUPS 5930 WITH SCORE 5942.835
AT ITER 929 NEW BEST:: SOT 16656 SOS 12827 HAS SOPS 12771 HAS SOUS 5970 HAS SOUPS 5914 WITH SCORE 5926.827
AT ITER 962 NEW BEST:: SOT 16638 SOS 12841 HAS SOPS 12817 HAS SOUS 5902 HAS SOUPS 5878 WITH SCORE 5890.841
AT ITER 967 NEW BEST:: SOT 16640 SOS 12843 HAS SOPS 12819 HAS SOUS 5896 HAS SOUPS 5872 WITH SCORE 5884.843
AT ITER 970 NEW BEST:: SOT 16604 SOS 12807 HAS SOPS 12783 HAS SOUS 5824 HAS SOUPS 5800 WITH SCORE 5812.807
AT ITER 991 NEW BEST:: SOT 16598 SOS 12801 HAS SOPS 12777 HAS SOUS 5812 HAS SOUPS 5788 WITH SCORE 5800.801
AT ITER 1008 NEW BEST:: SOT 16593 SOS 12796 HAS SOPS 12772 HAS SOUS 5802 HAS SOUPS 5778 WITH SCORE 5790.796
AT ITER 1010 NEW BEST:: SOT 16554 SOS 12760 HAS SOPS 12736 HAS SOUS 5787 HAS SOUPS 5763 WITH SCORE 5775.76
AT ITER 1033 NEW BEST:: SOT 16520 SOS 12726 HAS SOPS 12702 HAS SOUS 5777 HAS SOUPS 5753 WITH SCORE 5765.726
AT ITER 1057 NEW BEST:: SOT 16437 SOS 12649 HAS SOPS 12627 HAS SOUS 5775 HAS SOUPS 5753 WITH SCORE 5765.649
AT ITER 1062 NEW BEST:: SOT 16431 SOS 12643 HAS SOPS 12621 HAS SOUS 5769 HAS SOUPS 5747 WITH SCORE 5759.643
AT ITER 1071 NEW BEST:: SOT 16428 SOS 12640 HAS SOPS 12618 HAS SOUS 5765 HAS SOUPS 5743 WITH SCORE 5755.64
AT ITER 1103 NEW BEST:: SOT 16413 SOS 12634 HAS SOPS 12612 HAS SOUS 5764 HAS SOUPS 5742 WITH SCORE 5754.634
AT ITER 1118 NEW BEST:: SOT 16413 SOS 12632 HAS SOPS 12608 HAS SOUS 5766 HAS SOUPS 5742 WITH SCORE 5754.632
AT ITER 1127 NEW BEST:: SOT 16407 SOS 12626 HAS SOPS 12602 HAS SOUS 5748 HAS SOUPS 5724 WITH SCORE 5736.626
AT ITER 1130 NEW BEST:: SOT 16369 SOS 12588 HAS SOPS 12564 HAS SOUS 5672 HAS SOUPS 5648 WITH SCORE 5660.588
AT ITER 1134 NEW BEST:: SOT 16347 SOS 12566 HAS SOPS 12542 HAS SOUS 5628 HAS SOUPS 5604 WITH SCORE 5616.566
AT ITER 1141 NEW BEST:: SOT 16343 SOS 12562 HAS SOPS 12538 HAS SOUS 5624 HAS SOUPS 5600 WITH SCORE 5612.562
AT ITER 1181 NEW BEST:: SOT 16327 SOS 12546 HAS SOPS 12522 HAS SOUS 5592 HAS SOUPS 5568 WITH SCORE 5580.546
AT ITER 1187 NEW BEST:: SOT 16355 SOS 12568 HAS SOPS 12542 HAS SOUS 5555 HAS SOUPS 5529 WITH SCORE 5541.568
AT ITER 1190 NEW BEST:: SOT 16355 SOS 12564 HAS SOPS 12538 HAS SOUS 5555 HAS SOUPS 5529 WITH SCORE 5541.564
AT ITER 1199 NEW BEST:: SOT 16344 SOS 12553 HAS SOPS 12527 HAS SOUS 5553 HAS SOUPS 5527 WITH SCORE 5539.553
AT ITER 1214 NEW BEST:: SOT 16323 SOS 12532 HAS SOPS 12506 HAS SOUS 5511 HAS SOUPS 5485 WITH SCORE 5497.532
AT ITER 1221 NEW BEST:: SOT 16305 SOS 12514 HAS SOPS 12488 HAS SOUS 5475 HAS SOUPS 5449 WITH SCORE 5461.514
AT ITER 1231 NEW BEST:: SOT 16269 SOS 12474 HAS SOPS 12448 HAS SOUS 5439 HAS SOUPS 5413 WITH SCORE 5425.474
AT ITER 1247 NEW BEST:: SOT 16247 SOS 12452 HAS SOPS 12426 HAS SOUS 5395 HAS SOUPS 5369 WITH SCORE 5381.452
AT ITER 1249 NEW BEST:: SOT 16229 SOS 12434 HAS SOPS 12408 HAS SOUS 5359 HAS SOUPS 5333 WITH SCORE 5345.434
AT ITER 1253 NEW BEST:: SOT 16202 SOS 12522 HAS SOPS 12496 HAS SOUS 5313 HAS SOUPS 5287 WITH SCORE 5299.522
AT ITER 1270 NEW BEST:: SOT 16196 SOS 12516 HAS SOPS 12490 HAS SOUS 5301 HAS SOUPS 5275 WITH SCORE 5287.516
AT ITER 1290 NEW BEST:: SOT 16182 SOS 12502 HAS SOPS 12476 HAS SOUS 5275 HAS SOUPS 5249 WITH SCORE 5261.502
AT ITER 1295 NEW BEST:: SOT 16164 SOS 12484 HAS SOPS 12458 HAS SOUS 5257 HAS SOUPS 5231 WITH SCORE 5243.484
AT ITER 1312 NEW BEST:: SOT 16164 SOS 12478 HAS SOPS 12452 HAS SOUS 5257 HAS SOUPS 5231 WITH SCORE 5243.478
AT ITER 1320 NEW BEST:: SOT 16156 SOS 12476 HAS SOPS 12450 HAS SOUS 5241 HAS SOUPS 5215 WITH SCORE 5227.476
AT ITER 1328 NEW BEST:: SOT 16154 SOS 12472 HAS SOPS 12446 HAS SOUS 5239 HAS SOUPS 5213 WITH SCORE 5225.472
AT ITER 1332 NEW BEST:: SOT 16162 SOS 12480 HAS SOPS 12454 HAS SOUS 5207 HAS SOUPS 5181 WITH SCORE 5193.48
AT ITER 1333 NEW BEST:: SOT 16162 SOS 12479 HAS SOPS 12453 HAS SOUS 5207 HAS SOUPS 5181 WITH SCORE 5193.479
AT ITER 1389 NEW BEST:: SOT 16155 SOS 12459 HAS SOPS 12420 HAS SOUS 5206 HAS SOUPS 5167 WITH SCORE 5179.459
AT ITER 1411 NEW BEST:: SOT 16143 SOS 12447 HAS SOPS 12408 HAS SOUS 5182 HAS SOUPS 5143 WITH SCORE 5155.447
AT ITER 1437 NEW BEST:: SOT 16137 SOS 12441 HAS SOPS 12402 HAS SOUS 5174 HAS SOUPS 5135 WITH SCORE 5147.441
AT ITER 1440 NEW BEST:: SOT 16128 SOS 12432 HAS SOPS 12393 HAS SOUS 5146 HAS SOUPS 5107 WITH SCORE 5119.432
AT ITER 1448 NEW BEST:: SOT 16107 SOS 12411 HAS SOPS 12372 HAS SOUS 5104 HAS SOUPS 5065 WITH SCORE 5077.411
AT ITER 1461 NEW BEST:: SOT 16097 SOS 12401 HAS SOPS 12362 HAS SOUS 5092 HAS SOUPS 5053 WITH SCORE 5065.401
AT ITER 1463 NEW BEST:: SOT 16096 SOS 12400 HAS SOPS 12361 HAS SOUS 5077 HAS SOUPS 5038 WITH SCORE 5050.4
AT ITER 1492 NEW BEST:: SOT 16090 SOS 12394 HAS SOPS 12355 HAS SOUS 5031 HAS SOUPS 4992 WITH SCORE 5004.394
AT ITER 1497 NEW BEST:: SOT 16082 SOS 12386 HAS SOPS 12347 HAS SOUS 5021 HAS SOUPS 4982 WITH SCORE 4994.386
AT ITER 1519 NEW BEST:: SOT 16082 SOS 12377 HAS SOPS 12338 HAS SOUS 5021 HAS SOUPS 4982 WITH SCORE 4994.377
AT ITER 1525 NEW BEST:: SOT 16072 SOS 12400 HAS SOPS 12361 HAS SOUS 5008 HAS SOUPS 4969 WITH SCORE 4981.4
AT ITER 1531 NEW BEST:: SOT 16067 SOS 12458 HAS SOPS 12419 HAS SOUS 4999 HAS SOUPS 4960 WITH SCORE 4972.458
AT ITER 1536 NEW BEST:: SOT 16062 SOS 12453 HAS SOPS 12414 HAS SOUS 4989 HAS SOUPS 4950 WITH SCORE 4962.453
AT ITER 1538 NEW BEST:: SOT 16044 SOS 12435 HAS SOPS 12396 HAS SOUS 4971 HAS SOUPS 4932 WITH SCORE 4944.435
AT ITER 1550 NEW BEST:: SOT 16028 SOS 12419 HAS SOPS 12380 HAS SOUS 4949 HAS SOUPS 4910 WITH SCORE 4922.419
AT ITER 1554 NEW BEST:: SOT 16026 SOS 12417 HAS SOPS 12378 HAS SOUS 4925 HAS SOUPS 4886 WITH SCORE 4898.417
AT ITER 1557 NEW BEST:: SOT 16017 SOS 12408 HAS SOPS 12369 HAS SOUS 4907 HAS SOUPS 4868 WITH SCORE 4880.408
AT ITER 1580 NEW BEST:: SOT 15970 SOS 12368 HAS SOPS 12329 HAS SOUS 4880 HAS SOUPS 4841 WITH SCORE 4853.368
AT ITER 1595 NEW BEST:: SOT 15974 SOS 12372 HAS SOPS 12333 HAS SOUS 4874 HAS SOUPS 4835 WITH SCORE 4847.372
AT ITER 1699 NEW BEST:: SOT 15968 SOS 12366 HAS SOPS 12327 HAS SOUS 4854 HAS SOUPS 4815 WITH SCORE 4827.366
AT ITER 1714 NEW BEST:: SOT 15955 SOS 12353 HAS SOPS 12314 HAS SOUS 4828 HAS SOUPS 4789 WITH SCORE 4801.353
AT ITER 1725 NEW BEST:: SOT 15926 SOS 12322 HAS SOPS 12277 HAS SOUS 4813 HAS SOUPS 4768 WITH SCORE 4780.322
AT ITER 1738 NEW BEST:: SOT 15920 SOS 12316 HAS SOPS 12271 HAS SOUS 4803 HAS SOUPS 4758 WITH SCORE 4770.316
AT ITER 1747 NEW BEST:: SOT 15918 SOS 12314 HAS SOPS 12269 HAS SOUS 4799 HAS SOUPS 4754 WITH SCORE 4766.314
AT ITER 1783 NEW BEST:: SOT 15875 SOS 12271 HAS SOPS 12226 HAS SOUS 4713 HAS SOUPS 4668 WITH SCORE 4680.271
AT ITER 1797 NEW BEST:: SOT 15878 SOS 12274 HAS SOPS 12229 HAS SOUS 4702 HAS SOUPS 4657 WITH SCORE 4669.274
AT ITER 1851 NEW BEST:: SOT 15844 SOS 12240 HAS SOPS 12195 HAS SOUS 4660 HAS SOUPS 4615 WITH SCORE 4627.24
AT ITER 1861 NEW BEST:: SOT 15840 SOS 12236 HAS SOPS 12191 HAS SOUS 4652 HAS SOUPS 4607 WITH SCORE 4619.236
AT ITER 1870 NEW BEST:: SOT 15872 SOS 12232 HAS SOPS 12187 HAS SOUS 4629 HAS SOUPS 4584 WITH SCORE 4596.232
AT ITER 1881 NEW BEST:: SOT 15854 SOS 12214 HAS SOPS 12169 HAS SOUS 4593 HAS SOUPS 4548 WITH SCORE 4560.214
AT ITER 1901 NEW BEST:: SOT 15854 SOS 12204 HAS SOPS 12159 HAS SOUS 4593 HAS SOUPS 4548 WITH SCORE 4560.204
AT ITER 1908 NEW BEST:: SOT 15848 SOS 12198 HAS SOPS 12153 HAS SOUS 4581 HAS SOUPS 4536 WITH SCORE 4548.198
AT ITER 1913 NEW BEST:: SOT 15830 SOS 12171 HAS SOPS 12117 HAS SOUS 4554 HAS SOUPS 4500 WITH SCORE 4512.171
AT ITER 1915 NEW BEST:: SOT 15830 SOS 12166 HAS SOPS 12112 HAS SOUS 4554 HAS SOUPS 4500 WITH SCORE 4512.166
AT ITER 1926 NEW BEST:: SOT 15805 SOS 12141 HAS SOPS 12087 HAS SOUS 4504 HAS SOUPS 4450 WITH SCORE 4462.141
AT ITER 1964 NEW BEST:: SOT 15803 SOS 12139 HAS SOPS 12085 HAS SOUS 4502 HAS SOUPS 4448 WITH SCORE 4460.139
AT ITER 1974 NEW BEST:: SOT 15803 SOS 12139 HAS SOPS 12085 HAS SOUS 4498 HAS SOUPS 4444 WITH SCORE 4456.139
AT ITER 2044 NEW BEST:: SOT 15801 SOS 12137 HAS SOPS 12083 HAS SOUS 4494 HAS SOUPS 4440 WITH SCORE 4452.137
AT ITER 2062 NEW BEST:: SOT 15798 SOS 12134 HAS SOPS 12080 HAS SOUS 4485 HAS SOUPS 4431 WITH SCORE 4443.134
AT ITER 2131 NEW BEST:: SOT 15798 SOS 12133 HAS SOPS 12079 HAS SOUS 4485 HAS SOUPS 4431 WITH SCORE 4443.133
AT ITER 2139 NEW BEST:: SOT 15782 SOS 12117 HAS SOPS 12063 HAS SOUS 4477 HAS SOUPS 4423 WITH SCORE 4435.117
AT ITER 2151 NEW BEST:: SOT 15783 SOS 12117 HAS SOPS 12063 HAS SOUS 4475 HAS SOUPS 4421 WITH SCORE 4433.117
AT ITER 2187 NEW BEST:: SOT 15778 SOS 12112 HAS SOPS 12058 HAS SOUS 4465 HAS SOUPS 4411 WITH SCORE 4423.112
AT ITER 2204 NEW BEST:: SOT 15760 SOS 12116 HAS SOPS 12062 HAS SOUS 4429 HAS SOUPS 4375 WITH SCORE 4387.116
AT ITER 2214 NEW BEST:: SOT 15758 SOS 12114 HAS SOPS 12060 HAS SOUS 4425 HAS SOUPS 4371 WITH SCORE 4383.114
AT ITER 2235 NEW BEST:: SOT 15755 SOS 12111 HAS SOPS 12057 HAS SOUS 4419 HAS SOUPS 4365 WITH SCORE 4377.111
AT ITER 2289 NEW BEST:: SOT 15715 SOS 12078 HAS SOPS 12017 HAS SOUS 4404 HAS SOUPS 4343 WITH SCORE 4355.078
AT ITER 2306 NEW BEST:: SOT 15723 SOS 12086 HAS SOPS 12025 HAS SOUS 4390 HAS SOUPS 4329 WITH SCORE 4341.086
AT ITER 2339 NEW BEST:: SOT 15734 SOS 12091 HAS SOPS 12030 HAS SOUS 4388 HAS SOUPS 4327 WITH SCORE 4339.091
AT ITER 2350 NEW BEST:: SOT 15727 SOS 12084 HAS SOPS 12023 HAS SOUS 4374 HAS SOUPS 4313 WITH SCORE 4325.084
AT ITER 2363 NEW BEST:: SOT 15727 SOS 12074 HAS SOPS 12013 HAS SOUS 4374 HAS SOUPS 4313 WITH SCORE 4325.074
AT ITER 2366 NEW BEST:: SOT 15731 SOS 12078 HAS SOPS 12017 HAS SOUS 4368 HAS SOUPS 4307 WITH SCORE 4319.078
AT ITER 2487 NEW BEST:: SOT 15731 SOS 12066 HAS SOPS 12005 HAS SOUS 4368 HAS SOUPS 4307 WITH SCORE 4319.066
AT ITER 2506 NEW BEST:: SOT 15736 SOS 12068 HAS SOPS 12007 HAS SOUS 4365 HAS SOUPS 4304 WITH SCORE 4316.068
AT ITER 2510 NEW BEST:: SOT 15736 SOS 12065 HAS SOPS 12004 HAS SOUS 4365 HAS SOUPS 4304 WITH SCORE 4316.065
AT ITER 2547 NEW BEST:: SOT 15714 SOS 12043 HAS SOPS 11982 HAS SOUS 4343 HAS SOUPS 4282 WITH SCORE 4294.043
AT ITER 2549 NEW BEST:: SOT 15706 SOS 12252 HAS SOPS 12191 HAS SOUS 4336 HAS SOUPS 4275 WITH SCORE 4287.252
AT ITER 2556 NEW BEST:: SOT 15706 SOS 12252 HAS SOPS 12191 HAS SOUS 4335 HAS SOUPS 4274 WITH SCORE 4286.252
AT ITER 2594 NEW BEST:: SOT 15705 SOS 12246 HAS SOPS 12190 HAS SOUS 4323 HAS SOUPS 4267 WITH SCORE 4279.246
AT ITER 2649 NEW BEST:: SOT 15703 SOS 12244 HAS SOPS 12188 HAS SOUS 4319 HAS SOUPS 4263 WITH SCORE 4275.244
AT ITER 2656 NEW BEST:: SOT 15692 SOS 12233 HAS SOPS 12177 HAS SOUS 4297 HAS SOUPS 4241 WITH SCORE 4253.233
AT ITER 2707 NEW BEST:: SOT 15690 SOS 12231 HAS SOPS 12175 HAS SOUS 4296 HAS SOUPS 4240 WITH SCORE 4252.231
AT ITER 2725 NEW BEST:: SOT 15691 SOS 12232 HAS SOPS 12176 HAS SOUS 4293 HAS SOUPS 4237 WITH SCORE 4249.232
AT ITER 2742 NEW BEST:: SOT 15664 SOS 12205 HAS SOPS 12149 HAS SOUS 4239 HAS SOUPS 4183 WITH SCORE 4195.205
AT ITER 2772 NEW BEST:: SOT 15662 SOS 12203 HAS SOPS 12147 HAS SOUS 4235 HAS SOUPS 4179 WITH SCORE 4191.203
AT ITER 2783 NEW BEST:: SOT 15658 SOS 12247 HAS SOPS 12191 HAS SOUS 4231 HAS SOUPS 4175 WITH SCORE 4187.247
AT ITER 2912 NEW BEST:: SOT 15658 SOS 12243 HAS SOPS 12183 HAS SOUS 4235 HAS SOUPS 4175 WITH SCORE 4187.243
AT ITER 2979 NEW BEST:: SOT 15656 SOS 12241 HAS SOPS 12181 HAS SOUS 4233 HAS SOUPS 4173 WITH SCORE 4185.241
AT ITER 3066 NEW BEST:: SOT 15656 SOS 12240 HAS SOPS 12180 HAS SOUS 4233 HAS SOUPS 4173 WITH SCORE 4185.24
AT ITER 3126 NEW BEST:: SOT 15654 SOS 12238 HAS SOPS 12178 HAS SOUS 4229 HAS SOUPS 4169 WITH SCORE 4181.238
AT ITER 3151 NEW BEST:: SOT 15642 SOS 12229 HAS SOPS 12169 HAS SOUS 4229 HAS SOUPS 4169 WITH SCORE 4181.229
AT ITER 3220 NEW BEST:: SOT 15638 SOS 12225 HAS SOPS 12165 HAS SOUS 4221 HAS SOUPS 4161 WITH SCORE 4173.225
AT ITER 3228 NEW BEST:: SOT 15638 SOS 12207 HAS SOPS 12147 HAS SOUS 4221 HAS SOUPS 4161 WITH SCORE 4173.207
AT ITER 3303 NEW BEST:: SOT 15638 SOS 12207 HAS SOPS 12147 HAS SOUS 4215 HAS SOUPS 4155 WITH SCORE 4167.207
AT ITER 3305 NEW BEST:: SOT 15634 SOS 12203 HAS SOPS 12143 HAS SOUS 4207 HAS SOUPS 4147 WITH SCORE 4159.203
AT ITER 3325 NEW BEST:: SOT 15638 SOS 12207 HAS SOPS 12147 HAS SOUS 4199 HAS SOUPS 4139 WITH SCORE 4151.207
AT ITER 3403 NEW BEST:: SOT 15636 SOS 12205 HAS SOPS 12145 HAS SOUS 4195 HAS SOUPS 4135 WITH SCORE 4147.205
AT ITER 3419 NEW BEST:: SOT 15635 SOS 12204 HAS SOPS 12144 HAS SOUS 4193 HAS SOUPS 4133 WITH SCORE 4145.204
AT ITER 3436 NEW BEST:: SOT 15633 SOS 12202 HAS SOPS 12142 HAS SOUS 4189 HAS SOUPS 4129 WITH SCORE 4141.202
AT ITER 3465 NEW BEST:: SOT 15611 SOS 12180 HAS SOPS 12120 HAS SOUS 4169 HAS SOUPS 4109 WITH SCORE 4121.18
AT ITER 3481 NEW BEST:: SOT 15611 SOS 12178 HAS SOPS 12116 HAS SOUS 4171 HAS SOUPS 4109 WITH SCORE 4121.178
AT ITER 3543 NEW BEST:: SOT 15609 SOS 12176 HAS SOPS 12114 HAS SOUS 4167 HAS SOUPS 4105 WITH SCORE 4117.176
AT ITER 3624 NEW BEST:: SOT 15596 SOS 12163 HAS SOPS 12097 HAS SOUS 4166 HAS SOUPS 4100 WITH SCORE 4112.163
AT ITER 3674 NEW BEST:: SOT 15591 SOS 12166 HAS SOPS 12100 HAS SOUS 4158 HAS SOUPS 4092 WITH SCORE 4104.166
AT ITER 3761 NEW BEST:: SOT 15574 SOS 12149 HAS SOPS 12083 HAS SOUS 4124 HAS SOUPS 4058 WITH SCORE 4070.149
AT ITER 3770 NEW BEST:: SOT 15570 SOS 12147 HAS SOPS 12081 HAS SOUS 4121 HAS SOUPS 4055 WITH SCORE 4067.147
AT ITER 4010 NEW BEST:: SOT 15571 SOS 12053 HAS SOPS 11987 HAS SOUS 4113 HAS SOUPS 4047 WITH SCORE 4059.053
AT ITER 4011 NEW BEST:: SOT 15562 SOS 12044 HAS SOPS 11978 HAS SOUS 4095 HAS SOUPS 4029 WITH SCORE 4041.044
AT ITER 4041 NEW BEST:: SOT 15546 SOS 13520 HAS SOPS 13454 HAS SOUS 4083 HAS SOUPS 4017 WITH SCORE 4030.52
AT ITER 4058 NEW BEST:: SOT 15544 SOS 13518 HAS SOPS 13452 HAS SOUS 4077 HAS SOUPS 4011 WITH SCORE 4024.518
AT ITER 4064 NEW BEST:: SOT 15562 SOS 13535 HAS SOPS 13469 HAS SOUS 4073 HAS SOUPS 4007 WITH SCORE 4020.535
AT ITER 4080 NEW BEST:: SOT 15552 SOS 13525 HAS SOPS 13459 HAS SOUS 4053 HAS SOUPS 3987 WITH SCORE 4000.525
AT ITER 4120 NEW BEST:: SOT 15552 SOS 13549 HAS SOPS 13483 HAS SOUS 4044 HAS SOUPS 3978 WITH SCORE 3991.549
AT ITER 4133 NEW BEST:: SOT 15548 SOS 13545 HAS SOPS 13479 HAS SOUS 4036 HAS SOUPS 3970 WITH SCORE 3983.545
AT ITER 4137 NEW BEST:: SOT 15544 SOS 13541 HAS SOPS 13475 HAS SOUS 4032 HAS SOUPS 3966 WITH SCORE 3979.541
AT ITER 4142 NEW BEST:: SOT 15517 SOS 13550 HAS SOPS 13476 HAS SOUS 4036 HAS SOUPS 3962 WITH SCORE 3975.55
AT ITER 4164 NEW BEST:: SOT 15507 SOS 13540 HAS SOPS 13466 HAS SOUS 4016 HAS SOUPS 3942 WITH SCORE 3955.54
AT ITER 4189 NEW BEST:: SOT 15528 SOS 13561 HAS SOPS 13487 HAS SOUS 4007 HAS SOUPS 3933 WITH SCORE 3946.561
AT ITER 4219 NEW BEST:: SOT 15531 SOS 13563 HAS SOPS 13490 HAS SOUS 4005 HAS SOUPS 3932 WITH SCORE 3945.563
AT ITER 4300 NEW BEST:: SOT 15529 SOS 13561 HAS SOPS 13488 HAS SOUS 4001 HAS SOUPS 3928 WITH SCORE 3941.561
AT ITER 4336 NEW BEST:: SOT 15527 SOS 13559 HAS SOPS 13486 HAS SOUS 3998 HAS SOUPS 3925 WITH SCORE 3938.559
AT ITER 4376 NEW BEST:: SOT 15522 SOS 13554 HAS SOPS 13481 HAS SOUS 3998 HAS SOUPS 3925 WITH SCORE 3938.554
AT ITER 4383 NEW BEST:: SOT 15522 SOS 13553 HAS SOPS 13480 HAS SOUS 3994 HAS SOUPS 3921 WITH SCORE 3934.553
AT ITER 4399 NEW BEST:: SOT 15512 SOS 13545 HAS SOPS 13470 HAS SOUS 3996 HAS SOUPS 3921 WITH SCORE 3934.545
AT ITER 4425 NEW BEST:: SOT 15511 SOS 13544 HAS SOPS 13469 HAS SOUS 3994 HAS SOUPS 3919 WITH SCORE 3932.544
AT ITER 4443 NEW BEST:: SOT 15509 SOS 13542 HAS SOPS 13467 HAS SOUS 3990 HAS SOUPS 3915 WITH SCORE 3928.542
AT ITER 4463 NEW BEST:: SOT 15510 SOS 13542 HAS SOPS 13467 HAS SOUS 3989 HAS SOUPS 3914 WITH SCORE 3927.542
AT ITER 4469 NEW BEST:: SOT 15508 SOS 13540 HAS SOPS 13465 HAS SOUS 3985 HAS SOUPS 3910 WITH SCORE 3923.54
AT ITER 4518 NEW BEST:: SOT 15524 SOS 13550 HAS SOPS 13475 HAS SOUS 3975 HAS SOUPS 3900 WITH SCORE 3913.55
AT ITER 4611 NEW BEST:: SOT 15526 SOS 13521 HAS SOPS 13449 HAS SOUS 3972 HAS SOUPS 3900 WITH SCORE 3913.521
AT ITER 4617 NEW BEST:: SOT 15522 SOS 13517 HAS SOPS 13445 HAS SOUS 3960 HAS SOUPS 3888 WITH SCORE 3901.517
AT ITER 4647 NEW BEST:: SOT 15518 SOS 13513 HAS SOPS 13441 HAS SOUS 3959 HAS SOUPS 3887 WITH SCORE 3900.513
AT ITER 4724 NEW BEST:: SOT 15506 SOS 13501 HAS SOPS 13429 HAS SOUS 3935 HAS SOUPS 3863 WITH SCORE 3876.501
AT ITER 4779 NEW BEST:: SOT 15502 SOS 13497 HAS SOPS 13425 HAS SOUS 3931 HAS SOUPS 3859 WITH SCORE 3872.497
AT ITER 4850 NEW BEST:: SOT 15502 SOS 13497 HAS SOPS 13424 HAS SOUS 3931 HAS SOUPS 3858 WITH SCORE 3871.497
AT ITER 4855 NEW BEST:: SOT 15502 SOS 13495 HAS SOPS 13422 HAS SOUS 3931 HAS SOUPS 3858 WITH SCORE 3871.495
AT ITER 4887 NEW BEST:: SOT 15506 SOS 13499 HAS SOPS 13426 HAS SOUS 3929 HAS SOUPS 3856 WITH SCORE 3869.499
AT ITER 4889 NEW BEST:: SOT 15503 SOS 13489 HAS SOPS 13416 HAS SOUS 3927 HAS SOUPS 3854 WITH SCORE 3867.489
AT ITER 4976 NEW BEST:: SOT 15501 SOS 13489 HAS SOPS 13418 HAS SOUS 3921 HAS SOUPS 3850 WITH SCORE 3863.489
AT ITER 5049 NEW BEST:: SOT 15500 SOS 13488 HAS SOPS 13417 HAS SOUS 3919 HAS SOUPS 3848 WITH SCORE 3861.488
AT ITER 5080 NEW BEST:: SOT 15534 SOS 13522 HAS SOPS 13451 HAS SOUS 3885 HAS SOUPS 3814 WITH SCORE 3827.522
AT ITER 5155 NEW BEST:: SOT 15537 SOS 13519 HAS SOPS 13448 HAS SOUS 3877 HAS SOUPS 3806 WITH SCORE 3819.519
AT ITER 5196 NEW BEST:: SOT 15517 SOS 13501 HAS SOPS 13430 HAS SOUS 3856 HAS SOUPS 3785 WITH SCORE 3798.501
AT ITER 5540 NEW BEST:: SOT 15517 SOS 13497 HAS SOPS 13422 HAS SOUS 3860 HAS SOUPS 3785 WITH SCORE 3798.497
AT ITER 5614 NEW BEST:: SOT 15505 SOS 13485 HAS SOPS 13410 HAS SOUS 3860 HAS SOUPS 3785 WITH SCORE 3798.485
AT ITER 5917 NEW BEST:: SOT 15503 SOS 13483 HAS SOPS 13408 HAS SOUS 3854 HAS SOUPS 3779 WITH SCORE 3792.483
AT ITER 5951 NEW BEST:: SOT 15502 SOS 13482 HAS SOPS 13407 HAS SOUS 3851 HAS SOUPS 3776 WITH SCORE 3789.482
AT ITER 6008 NEW BEST:: SOT 15492 SOS 13472 HAS SOPS 13397 HAS SOUS 3851 HAS SOUPS 3776 WITH SCORE 3789.472
AT ITER 6035 NEW BEST:: SOT 15487 SOS 13507 HAS SOPS 13432 HAS SOUS 3845 HAS SOUPS 3770 WITH SCORE 3783.507
AT ITER 6079 NEW BEST:: SOT 15479 SOS 13499 HAS SOPS 13424 HAS SOUS 3829 HAS SOUPS 3754 WITH SCORE 3767.499
AT ITER 6096 NEW BEST:: SOT 15490 SOS 13504 HAS SOPS 13429 HAS SOUS 3818 HAS SOUPS 3743 WITH SCORE 3756.504
AT ITER 6238 NEW BEST:: SOT 15486 SOS 13500 HAS SOPS 13425 HAS SOUS 3810 HAS SOUPS 3735 WITH SCORE 3748.5
AT ITER 6244 NEW BEST:: SOT 15484 SOS 13498 HAS SOPS 13423 HAS SOUS 3806 HAS SOUPS 3731 WITH SCORE 3744.498
AT ITER 6412 NEW BEST:: SOT 15478 SOS 13496 HAS SOPS 13421 HAS SOUS 3804 HAS SOUPS 3729 WITH SCORE 3742.496
AT ITER 6442 NEW BEST:: SOT 15476 SOS 13494 HAS SOPS 13419 HAS SOUS 3802 HAS SOUPS 3727 WITH SCORE 3740.494
AT ITER 6444 NEW BEST:: SOT 15475 SOS 13499 HAS SOPS 13430 HAS SOUS 3795 HAS SOUPS 3726 WITH SCORE 3739.499
AT ITER 6553 NEW BEST:: SOT 15470 SOS 13494 HAS SOPS 13425 HAS SOUS 3785 HAS SOUPS 3716 WITH SCORE 3729.494
AT ITER 6716 NEW BEST:: SOT 15473 SOS 13497 HAS SOPS 13428 HAS SOUS 3784 HAS SOUPS 3715 WITH SCORE 3728.497
AT ITER 6724 NEW BEST:: SOT 15469 SOS 13493 HAS SOPS 13424 HAS SOUS 3784 HAS SOUPS 3715 WITH SCORE 3728.493
AT ITER 6740 NEW BEST:: SOT 15467 SOS 13491 HAS SOPS 13422 HAS SOUS 3782 HAS SOUPS 3713 WITH SCORE 3726.491
AT ITER 6770 NEW BEST:: SOT 15465 SOS 13489 HAS SOPS 13420 HAS SOUS 3778 HAS SOUPS 3709 WITH SCORE 3722.489
AT ITER 6776 NEW BEST:: SOT 15462 SOS 13487 HAS SOPS 13418 HAS SOUS 3778 HAS SOUPS 3709 WITH SCORE 3722.487
AT ITER 6812 NEW BEST:: SOT 15469 SOS 13494 HAS SOPS 13425 HAS SOUS 3775 HAS SOUPS 3706 WITH SCORE 3719.494
AT ITER 6893 NEW BEST:: SOT 15458 SOS 13483 HAS SOPS 13414 HAS SOUS 3773 HAS SOUPS 3704 WITH SCORE 3717.483
AT ITER 6941 NEW BEST:: SOT 15456 SOS 13481 HAS SOPS 13412 HAS SOUS 3767 HAS SOUPS 3698 WITH SCORE 3711.481
AT ITER 7036 NEW BEST:: SOT 15471 SOS 13484 HAS SOPS 13415 HAS SOUS 3761 HAS SOUPS 3692 WITH SCORE 3705.484
AT ITER 7273 NEW BEST:: SOT 15465 SOS 13482 HAS SOPS 13413 HAS SOUS 3761 HAS SOUPS 3692 WITH SCORE 3705.482
AT ITER 7361 NEW BEST:: SOT 15468 SOS 13485 HAS SOPS 13416 HAS SOUS 3750 HAS SOUPS 3681 WITH SCORE 3694.485
AT ITER 7497 NEW BEST:: SOT 15459 SOS 13476 HAS SOPS 13407 HAS SOUS 3749 HAS SOUPS 3680 WITH SCORE 3693.476
AT ITER 7611 NEW BEST:: SOT 15458 SOS 13475 HAS SOPS 13406 HAS SOUS 3748 HAS SOUPS 3679 WITH SCORE 3692.475
AT ITER 7695 NEW BEST:: SOT 15458 SOS 13475 HAS SOPS 13406 HAS SOUS 3746 HAS SOUPS 3677 WITH SCORE 3690.475
AT ITER 7696 NEW BEST:: SOT 15454 SOS 13471 HAS SOPS 13402 HAS SOUS 3738 HAS SOUPS 3669 WITH SCORE 3682.471
AT ITER 7780 NEW BEST:: SOT 15456 SOS 13472 HAS SOPS 13404 HAS SOUS 3735 HAS SOUPS 3667 WITH SCORE 3680.472
AT ITER 8127 NEW BEST:: SOT 15455 SOS 13471 HAS SOPS 13403 HAS SOUS 3735 HAS SOUPS 3667 WITH SCORE 3680.471
AT ITER 8155 NEW BEST:: SOT 15457 SOS 13472 HAS SOPS 13403 HAS SOUS 3735 HAS SOUPS 3666 WITH SCORE 3679.472
AT ITER 8364 NEW BEST:: SOT 15463 SOS 13478 HAS SOPS 13409 HAS SOUS 3733 HAS SOUPS 3664 WITH SCORE 3677.478
AT ITER 8397 NEW BEST:: SOT 15456 SOS 13471 HAS SOPS 13402 HAS SOUS 3719 HAS SOUPS 3650 WITH SCORE 3663.471
AT ITER 8464 NEW BEST:: SOT 15454 SOS 13469 HAS SOPS 13400 HAS SOUS 3717 HAS SOUPS 3648 WITH SCORE 3661.469
AT ITER 8890 NEW BEST:: SOT 15454 SOS 13443 HAS SOPS 13374 HAS SOUS 3717 HAS SOUPS 3648 WITH SCORE 3661.443
AT ITER 9087 NEW BEST:: SOT 15452 SOS 13440 HAS SOPS 13370 HAS SOUS 3714 HAS SOUPS 3644 WITH SCORE 3657.44
AT ITER 9218 NEW BEST:: SOT 15450 SOS 13438 HAS SOPS 13368 HAS SOUS 3710 HAS SOUPS 3640 WITH SCORE 3653.438
AT ITER 9288 NEW BEST:: SOT 15447 SOS 13435 HAS SOPS 13365 HAS SOUS 3708 HAS SOUPS 3638 WITH SCORE 3651.435
AT ITER 9307 NEW BEST:: SOT 15444 SOS 13432 HAS SOPS 13362 HAS SOUS 3702 HAS SOUPS 3632 WITH SCORE 3645.432
AT ITER 9316 NEW BEST:: SOT 15445 SOS 13433 HAS SOPS 13363 HAS SOUS 3699 HAS SOUPS 3629 WITH SCORE 3642.433
AT ITER 9940 NEW BEST:: SOT 15443 SOS 13431 HAS SOPS 13361 HAS SOUS 3695 HAS SOUPS 3625 WITH SCORE 3638.431
STATE_SPACE STATES 1830519 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 21 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 19486170 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679333442155

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="SharedMemory-PT-000010"
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 SharedMemory-PT-000010, 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 r363-smll-167891814800672"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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