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.r203-smll-167840349600448.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 HirschbergSinclair-PT-15, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r203-smll-167840349600448
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 616K
-rw-r--r-- 1 mcc users 9.1K Feb 26 02:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 78K Feb 26 02:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 10K Feb 26 02:13 CTLFireability.txt
-rw-r--r-- 1 mcc users 68K Feb 26 02:13 CTLFireability.xml
-rw-r--r-- 1 mcc users 5.6K Feb 25 16:15 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K Feb 25 16:15 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:15 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:15 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 02:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 103K Feb 26 02:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.8K Feb 26 02:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 26 02:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 16:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.1K Feb 25 16:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 173K 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 1678624215827

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=HirschbergSinclair-PT-15
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-12 12:30:19] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-12 12:30:19] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-12 12:30:19] [INFO ] Load time of PNML (sax parser for PT used): 162 ms
[2023-03-12 12:30:19] [INFO ] Transformed 330 places.
[2023-03-12 12:30:19] [INFO ] Transformed 296 transitions.
[2023-03-12 12:30:19] [INFO ] Parsed PT model containing 330 places and 296 transitions and 906 arcs in 308 ms.
[2023-03-12 12:30:19] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 330 places, 296 transitions and 906 arcs took 14 ms.
Total runtime 390 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HirschbergSinclair (PT), instance 15
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: 330 places, 296 transitions, 906 arcs.
AT ITER 0 NEW BEST:: SOT 76814 SOS 36323 HAS SOPS 36323 HAS SOUS 35785 HAS SOUPS 35785 WITH SCORE 35821.323
AT ITER 4 NEW BEST:: SOT 76814 SOS 36322 HAS SOPS 36322 HAS SOUS 35784 HAS SOUPS 35784 WITH SCORE 35820.322
AT ITER 7 NEW BEST:: SOT 75744 SOS 35331 HAS SOPS 35331 HAS SOUS 34793 HAS SOUPS 34793 WITH SCORE 34828.331
AT ITER 10 NEW BEST:: SOT 73853 SOS 33879 HAS SOPS 33879 HAS SOUS 33139 HAS SOUPS 33139 WITH SCORE 33172.879
AT ITER 13 NEW BEST:: SOT 73846 SOS 33872 HAS SOPS 33872 HAS SOUS 33132 HAS SOUPS 33132 WITH SCORE 33165.872
AT ITER 16 NEW BEST:: SOT 73557 SOS 33600 HAS SOPS 33600 HAS SOUS 32860 HAS SOUPS 32860 WITH SCORE 32893.6
AT ITER 22 NEW BEST:: SOT 73343 SOS 33491 HAS SOPS 33491 HAS SOUS 32751 HAS SOUPS 32751 WITH SCORE 32784.491
AT ITER 24 NEW BEST:: SOT 73318 SOS 33466 HAS SOPS 33466 HAS SOUS 32726 HAS SOUPS 32726 WITH SCORE 32759.466
AT ITER 36 NEW BEST:: SOT 73318 SOS 33415 HAS SOPS 33415 HAS SOUS 32675 HAS SOUPS 32675 WITH SCORE 32708.415
AT ITER 43 NEW BEST:: SOT 73095 SOS 33206 HAS SOPS 33206 HAS SOUS 32466 HAS SOUPS 32466 WITH SCORE 32499.206
AT ITER 45 NEW BEST:: SOT 70987 SOS 31751 HAS SOPS 31751 HAS SOUS 30602 HAS SOUPS 30602 WITH SCORE 30633.751
AT ITER 48 NEW BEST:: SOT 70885 SOS 31648 HAS SOPS 31648 HAS SOUS 30499 HAS SOUPS 30499 WITH SCORE 30530.648
AT ITER 62 NEW BEST:: SOT 70885 SOS 31647 HAS SOPS 31647 HAS SOUS 30498 HAS SOUPS 30498 WITH SCORE 30529.647
AT ITER 64 NEW BEST:: SOT 70885 SOS 31621 HAS SOPS 31621 HAS SOUS 30472 HAS SOUPS 30472 WITH SCORE 30503.621
AT ITER 74 NEW BEST:: SOT 70828 SOS 31563 HAS SOPS 31563 HAS SOUS 30414 HAS SOUPS 30414 WITH SCORE 30445.563
AT ITER 76 NEW BEST:: SOT 69987 SOS 34745 HAS SOPS 34745 HAS SOUS 30055 HAS SOUPS 30055 WITH SCORE 30089.745
AT ITER 82 NEW BEST:: SOT 68386 SOS 35741 HAS SOPS 35741 HAS SOUS 28766 HAS SOUPS 28766 WITH SCORE 28801.741
AT ITER 92 NEW BEST:: SOT 68183 SOS 35334 HAS SOPS 35334 HAS SOUS 28765 HAS SOUPS 28765 WITH SCORE 28800.334
AT ITER 94 NEW BEST:: SOT 68078 SOS 35229 HAS SOPS 35229 HAS SOUS 28660 HAS SOUPS 28660 WITH SCORE 28695.229
AT ITER 98 NEW BEST:: SOT 68045 SOS 35197 HAS SOPS 35197 HAS SOUS 28656 HAS SOUPS 28656 WITH SCORE 28691.197
AT ITER 101 NEW BEST:: SOT 67743 SOS 36120 HAS SOPS 36120 HAS SOUS 28639 HAS SOUPS 28639 WITH SCORE 28675.12
AT ITER 106 NEW BEST:: SOT 67742 SOS 36119 HAS SOPS 36119 HAS SOUS 28633 HAS SOUPS 28633 WITH SCORE 28669.119
AT ITER 107 NEW BEST:: SOT 67638 SOS 36009 HAS SOPS 36009 HAS SOUS 28425 HAS SOUPS 28425 WITH SCORE 28461.009
AT ITER 108 NEW BEST:: SOT 66641 SOS 35131 HAS SOPS 35131 HAS SOUS 27456 HAS SOUPS 27456 WITH SCORE 27491.131
AT ITER 148 NEW BEST:: SOT 65938 SOS 34481 HAS SOPS 34481 HAS SOUS 26764 HAS SOUPS 26764 WITH SCORE 26798.481
AT ITER 161 NEW BEST:: SOT 65931 SOS 34479 HAS SOPS 34479 HAS SOUS 26762 HAS SOUPS 26762 WITH SCORE 26796.479
AT ITER 167 NEW BEST:: SOT 65848 SOS 34395 HAS SOPS 34395 HAS SOUS 26678 HAS SOUPS 26678 WITH SCORE 26712.395
AT ITER 175 NEW BEST:: SOT 65855 SOS 34402 HAS SOPS 34402 HAS SOUS 26677 HAS SOUPS 26677 WITH SCORE 26711.402
AT ITER 183 NEW BEST:: SOT 65803 SOS 34349 HAS SOPS 34349 HAS SOUS 26624 HAS SOUPS 26624 WITH SCORE 26658.349
AT ITER 200 NEW BEST:: SOT 65804 SOS 34179 HAS SOPS 34179 HAS SOUS 26454 HAS SOUPS 26454 WITH SCORE 26488.179
AT ITER 204 NEW BEST:: SOT 65751 SOS 34178 HAS SOPS 34178 HAS SOUS 26453 HAS SOUPS 26453 WITH SCORE 26487.178
AT ITER 208 NEW BEST:: SOT 65751 SOS 34113 HAS SOPS 34113 HAS SOUS 26388 HAS SOUPS 26388 WITH SCORE 26422.113
AT ITER 209 NEW BEST:: SOT 64407 SOS 33821 HAS SOPS 33821 HAS SOUS 25340 HAS SOUPS 25340 WITH SCORE 25373.821
AT ITER 223 NEW BEST:: SOT 64373 SOS 33760 HAS SOPS 33760 HAS SOUS 25306 HAS SOUPS 25306 WITH SCORE 25339.76
AT ITER 232 NEW BEST:: SOT 64338 SOS 33725 HAS SOPS 33725 HAS SOUS 25236 HAS SOUPS 25236 WITH SCORE 25269.725
AT ITER 234 NEW BEST:: SOT 64332 SOS 33719 HAS SOPS 33719 HAS SOUS 25230 HAS SOUPS 25230 WITH SCORE 25263.719
AT ITER 240 NEW BEST:: SOT 64275 SOS 33763 HAS SOPS 33763 HAS SOUS 25190 HAS SOUPS 25190 WITH SCORE 25223.763
AT ITER 241 NEW BEST:: SOT 64274 SOS 33762 HAS SOPS 33762 HAS SOUS 25188 HAS SOUPS 25188 WITH SCORE 25221.762
AT ITER 253 NEW BEST:: SOT 64273 SOS 33761 HAS SOPS 33761 HAS SOUS 25186 HAS SOUPS 25186 WITH SCORE 25219.761
AT ITER 256 NEW BEST:: SOT 64273 SOS 33761 HAS SOPS 33761 HAS SOUS 25096 HAS SOUPS 25096 WITH SCORE 25129.761
AT ITER 261 NEW BEST:: SOT 64268 SOS 33755 HAS SOPS 33755 HAS SOUS 25090 HAS SOUPS 25090 WITH SCORE 25123.755
AT ITER 263 NEW BEST:: SOT 64210 SOS 33697 HAS SOPS 33697 HAS SOUS 24989 HAS SOUPS 24989 WITH SCORE 25022.697
AT ITER 269 NEW BEST:: SOT 64191 SOS 33677 HAS SOPS 33677 HAS SOUS 24969 HAS SOUPS 24969 WITH SCORE 25002.677
AT ITER 273 NEW BEST:: SOT 64013 SOS 33661 HAS SOPS 33661 HAS SOUS 24934 HAS SOUPS 24934 WITH SCORE 24967.661
AT ITER 293 NEW BEST:: SOT 63959 SOS 33628 HAS SOPS 33628 HAS SOUS 24901 HAS SOUPS 24901 WITH SCORE 24934.628
AT ITER 295 NEW BEST:: SOT 63943 SOS 33612 HAS SOPS 33612 HAS SOUS 24869 HAS SOUPS 24869 WITH SCORE 24902.612
AT ITER 300 NEW BEST:: SOT 62792 SOS 33062 HAS SOPS 33062 HAS SOUS 24027 HAS SOUPS 24027 WITH SCORE 24060.062
AT ITER 316 NEW BEST:: SOT 62772 SOS 33082 HAS SOPS 33082 HAS SOUS 24017 HAS SOUPS 24017 WITH SCORE 24050.082
AT ITER 331 NEW BEST:: SOT 62761 SOS 33071 HAS SOPS 33071 HAS SOUS 24006 HAS SOUPS 24006 WITH SCORE 24039.071
AT ITER 340 NEW BEST:: SOT 62761 SOS 32929 HAS SOPS 32929 HAS SOUS 23864 HAS SOUPS 23864 WITH SCORE 23896.929
AT ITER 346 NEW BEST:: SOT 62742 SOS 32925 HAS SOPS 32925 HAS SOUS 23860 HAS SOUPS 23860 WITH SCORE 23892.925
AT ITER 351 NEW BEST:: SOT 62907 SOS 33020 HAS SOPS 33020 HAS SOUS 23756 HAS SOUPS 23756 WITH SCORE 23789.02
AT ITER 355 NEW BEST:: SOT 62769 SOS 33408 HAS SOPS 33408 HAS SOUS 23706 HAS SOUPS 23706 WITH SCORE 23739.408
AT ITER 358 NEW BEST:: SOT 62743 SOS 33375 HAS SOPS 33375 HAS SOUS 23660 HAS SOUPS 23660 WITH SCORE 23693.375
AT ITER 361 NEW BEST:: SOT 62601 SOS 33169 HAS SOPS 33169 HAS SOUS 23312 HAS SOUPS 23312 WITH SCORE 23345.169
AT ITER 364 NEW BEST:: SOT 62581 SOS 32170 HAS SOPS 32170 HAS SOUS 23243 HAS SOUPS 23243 WITH SCORE 23275.17
AT ITER 383 NEW BEST:: SOT 62574 SOS 32134 HAS SOPS 32134 HAS SOUS 23225 HAS SOUPS 23225 WITH SCORE 23257.134
AT ITER 386 NEW BEST:: SOT 62545 SOS 32105 HAS SOPS 32105 HAS SOUS 23196 HAS SOUPS 23196 WITH SCORE 23228.105
AT ITER 388 NEW BEST:: SOT 62545 SOS 32104 HAS SOPS 32104 HAS SOUS 23195 HAS SOUPS 23195 WITH SCORE 23227.104
AT ITER 425 NEW BEST:: SOT 62508 SOS 32059 HAS SOPS 32059 HAS SOUS 23150 HAS SOUPS 23150 WITH SCORE 23182.059
AT ITER 428 NEW BEST:: SOT 62507 SOS 32058 HAS SOPS 32058 HAS SOUS 23148 HAS SOUPS 23148 WITH SCORE 23180.058
AT ITER 465 NEW BEST:: SOT 62390 SOS 31941 HAS SOPS 31941 HAS SOUS 23075 HAS SOUPS 23075 WITH SCORE 23106.941
AT ITER 478 NEW BEST:: SOT 61189 SOS 31010 HAS SOPS 31010 HAS SOUS 22044 HAS SOUPS 22044 WITH SCORE 22075.01
AT ITER 491 NEW BEST:: SOT 61188 SOS 30955 HAS SOPS 30955 HAS SOUS 22041 HAS SOUPS 22041 WITH SCORE 22071.955
AT ITER 511 NEW BEST:: SOT 61160 SOS 30926 HAS SOPS 30926 HAS SOUS 22012 HAS SOUPS 22012 WITH SCORE 22042.926
AT ITER 522 NEW BEST:: SOT 61167 SOS 30933 HAS SOPS 30933 HAS SOUS 22011 HAS SOUPS 22011 WITH SCORE 22041.933
AT ITER 524 NEW BEST:: SOT 61157 SOS 30923 HAS SOPS 30923 HAS SOUS 21985 HAS SOUPS 21985 WITH SCORE 22015.923
AT ITER 532 NEW BEST:: SOT 61183 SOS 30948 HAS SOPS 30948 HAS SOUS 21911 HAS SOUPS 21911 WITH SCORE 21941.948
AT ITER 543 NEW BEST:: SOT 61183 SOS 30948 HAS SOPS 30948 HAS SOUS 21784 HAS SOUPS 21784 WITH SCORE 21814.948
AT ITER 548 NEW BEST:: SOT 61165 SOS 30912 HAS SOPS 30912 HAS SOUS 21748 HAS SOUPS 21748 WITH SCORE 21778.912
AT ITER 556 NEW BEST:: SOT 61180 SOS 30860 HAS SOPS 30860 HAS SOUS 21692 HAS SOUPS 21692 WITH SCORE 21722.86
AT ITER 567 NEW BEST:: SOT 61049 SOS 30714 HAS SOPS 30714 HAS SOUS 21684 HAS SOUPS 21684 WITH SCORE 21714.714
AT ITER 570 NEW BEST:: SOT 61038 SOS 30730 HAS SOPS 30730 HAS SOUS 21644 HAS SOUPS 21644 WITH SCORE 21674.73
AT ITER 592 NEW BEST:: SOT 61028 SOS 30675 HAS SOPS 30675 HAS SOUS 21633 HAS SOUPS 21633 WITH SCORE 21663.675
AT ITER 601 NEW BEST:: SOT 60785 SOS 31322 HAS SOPS 31322 HAS SOUS 21470 HAS SOUPS 21470 WITH SCORE 21501.322
AT ITER 618 NEW BEST:: SOT 60784 SOS 31169 HAS SOPS 31169 HAS SOUS 21468 HAS SOUPS 21468 WITH SCORE 21499.169
AT ITER 666 NEW BEST:: SOT 60393 SOS 32273 HAS SOPS 32273 HAS SOUS 21234 HAS SOUPS 21234 WITH SCORE 21266.273
AT ITER 679 NEW BEST:: SOT 60393 SOS 32239 HAS SOPS 32239 HAS SOUS 21200 HAS SOUPS 21200 WITH SCORE 21232.239
AT ITER 693 NEW BEST:: SOT 60361 SOS 32175 HAS SOPS 32175 HAS SOUS 21136 HAS SOUPS 21136 WITH SCORE 21168.175
AT ITER 708 NEW BEST:: SOT 60361 SOS 32139 HAS SOPS 32139 HAS SOUS 21116 HAS SOUPS 21116 WITH SCORE 21148.139
AT ITER 724 NEW BEST:: SOT 60361 SOS 32138 HAS SOPS 32138 HAS SOUS 21115 HAS SOUPS 21115 WITH SCORE 21147.138
AT ITER 729 NEW BEST:: SOT 60245 SOS 31964 HAS SOPS 31964 HAS SOUS 20941 HAS SOUPS 20941 WITH SCORE 20972.964
AT ITER 756 NEW BEST:: SOT 59462 SOS 32310 HAS SOPS 32310 HAS SOUS 20278 HAS SOUPS 20278 WITH SCORE 20310.31
AT ITER 769 NEW BEST:: SOT 59478 SOS 32250 HAS SOPS 32250 HAS SOUS 20218 HAS SOUPS 20218 WITH SCORE 20250.25
AT ITER 771 NEW BEST:: SOT 59555 SOS 32366 HAS SOPS 32366 HAS SOUS 20182 HAS SOUPS 20182 WITH SCORE 20214.366
AT ITER 776 NEW BEST:: SOT 58116 SOS 31692 HAS SOPS 31692 HAS SOUS 19045 HAS SOUPS 19045 WITH SCORE 19076.692
AT ITER 789 NEW BEST:: SOT 58079 SOS 31615 HAS SOPS 31615 HAS SOUS 18995 HAS SOUPS 18995 WITH SCORE 19026.615
AT ITER 798 NEW BEST:: SOT 58074 SOS 31610 HAS SOPS 31610 HAS SOUS 18985 HAS SOUPS 18985 WITH SCORE 19016.61
AT ITER 803 NEW BEST:: SOT 58074 SOS 31610 HAS SOPS 31610 HAS SOUS 18967 HAS SOUPS 18967 WITH SCORE 18998.61
AT ITER 812 NEW BEST:: SOT 58074 SOS 31610 HAS SOPS 31610 HAS SOUS 18955 HAS SOUPS 18955 WITH SCORE 18986.61
AT ITER 818 NEW BEST:: SOT 58052 SOS 31624 HAS SOPS 31624 HAS SOUS 18894 HAS SOUPS 18894 WITH SCORE 18925.624
AT ITER 840 NEW BEST:: SOT 58052 SOS 31624 HAS SOPS 31624 HAS SOUS 18866 HAS SOUPS 18866 WITH SCORE 18897.624
AT ITER 852 NEW BEST:: SOT 58051 SOS 31530 HAS SOPS 31530 HAS SOUS 18799 HAS SOUPS 18799 WITH SCORE 18830.53
AT ITER 867 NEW BEST:: SOT 57997 SOS 31673 HAS SOPS 31673 HAS SOUS 18762 HAS SOUPS 18762 WITH SCORE 18793.673
AT ITER 878 NEW BEST:: SOT 57996 SOS 31659 HAS SOPS 31659 HAS SOUS 18760 HAS SOUPS 18760 WITH SCORE 18791.659
AT ITER 898 NEW BEST:: SOT 57996 SOS 31659 HAS SOPS 31659 HAS SOUS 18678 HAS SOUPS 18678 WITH SCORE 18709.659
AT ITER 927 NEW BEST:: SOT 57996 SOS 31632 HAS SOPS 31632 HAS SOUS 18628 HAS SOUPS 18628 WITH SCORE 18659.632
AT ITER 944 NEW BEST:: SOT 57968 SOS 31603 HAS SOPS 31603 HAS SOUS 18599 HAS SOUPS 18599 WITH SCORE 18630.603
AT ITER 977 NEW BEST:: SOT 57966 SOS 31601 HAS SOPS 31601 HAS SOUS 18597 HAS SOUPS 18597 WITH SCORE 18628.601
AT ITER 978 NEW BEST:: SOT 57980 SOS 31590 HAS SOPS 31590 HAS SOUS 18586 HAS SOUPS 18586 WITH SCORE 18617.59
AT ITER 1015 NEW BEST:: SOT 57979 SOS 31583 HAS SOPS 31583 HAS SOUS 18584 HAS SOUPS 18584 WITH SCORE 18615.583
AT ITER 1017 NEW BEST:: SOT 57979 SOS 31602 HAS SOPS 31602 HAS SOUS 18583 HAS SOUPS 18583 WITH SCORE 18614.602
AT ITER 1024 NEW BEST:: SOT 57971 SOS 31589 HAS SOPS 31589 HAS SOUS 18574 HAS SOUPS 18574 WITH SCORE 18605.589
AT ITER 1027 NEW BEST:: SOT 57971 SOS 31262 HAS SOPS 31262 HAS SOUS 18563 HAS SOUPS 18563 WITH SCORE 18594.262
AT ITER 1028 NEW BEST:: SOT 57958 SOS 31249 HAS SOPS 31249 HAS SOUS 18546 HAS SOUPS 18546 WITH SCORE 18577.249
AT ITER 1054 NEW BEST:: SOT 57988 SOS 31279 HAS SOPS 31279 HAS SOUS 18523 HAS SOUPS 18523 WITH SCORE 18554.279
AT ITER 1061 NEW BEST:: SOT 57926 SOS 31300 HAS SOPS 31300 HAS SOUS 18397 HAS SOUPS 18397 WITH SCORE 18428.3
AT ITER 1075 NEW BEST:: SOT 57926 SOS 31301 HAS SOPS 31301 HAS SOUS 18389 HAS SOUPS 18389 WITH SCORE 18420.301
AT ITER 1117 NEW BEST:: SOT 56760 SOS 31628 HAS SOPS 31628 HAS SOUS 17402 HAS SOUPS 17402 WITH SCORE 17433.628
AT ITER 1137 NEW BEST:: SOT 56742 SOS 31607 HAS SOPS 31607 HAS SOUS 17381 HAS SOUPS 17381 WITH SCORE 17412.607
AT ITER 1139 NEW BEST:: SOT 56742 SOS 31595 HAS SOPS 31595 HAS SOUS 17369 HAS SOUPS 17369 WITH SCORE 17400.595
AT ITER 1154 NEW BEST:: SOT 56653 SOS 31506 HAS SOPS 31506 HAS SOUS 17363 HAS SOUPS 17363 WITH SCORE 17394.506
AT ITER 1173 NEW BEST:: SOT 56641 SOS 31494 HAS SOPS 31494 HAS SOUS 17351 HAS SOUPS 17351 WITH SCORE 17382.494
AT ITER 1206 NEW BEST:: SOT 56589 SOS 31442 HAS SOPS 31442 HAS SOUS 17317 HAS SOUPS 17317 WITH SCORE 17348.442
AT ITER 1219 NEW BEST:: SOT 56574 SOS 31397 HAS SOPS 31397 HAS SOUS 17287 HAS SOUPS 17287 WITH SCORE 17318.397
AT ITER 1224 NEW BEST:: SOT 56464 SOS 31173 HAS SOPS 31173 HAS SOUS 17063 HAS SOUPS 17063 WITH SCORE 17094.173
AT ITER 1227 NEW BEST:: SOT 56474 SOS 31118 HAS SOPS 31118 HAS SOUS 16925 HAS SOUPS 16925 WITH SCORE 16956.118
AT ITER 1233 NEW BEST:: SOT 56474 SOS 30702 HAS SOPS 30702 HAS SOUS 16925 HAS SOUPS 16925 WITH SCORE 16955.702
AT ITER 1244 NEW BEST:: SOT 56485 SOS 30713 HAS SOPS 30713 HAS SOUS 16924 HAS SOUPS 16924 WITH SCORE 16954.713
AT ITER 1246 NEW BEST:: SOT 56485 SOS 30713 HAS SOPS 30713 HAS SOUS 16919 HAS SOUPS 16919 WITH SCORE 16949.713
AT ITER 1276 NEW BEST:: SOT 56441 SOS 30577 HAS SOPS 30577 HAS SOUS 16865 HAS SOUPS 16865 WITH SCORE 16895.577
AT ITER 1294 NEW BEST:: SOT 56441 SOS 30576 HAS SOPS 30576 HAS SOUS 16864 HAS SOUPS 16864 WITH SCORE 16894.576
AT ITER 1301 NEW BEST:: SOT 56421 SOS 30556 HAS SOPS 30556 HAS SOUS 16844 HAS SOUPS 16844 WITH SCORE 16874.556
AT ITER 1318 NEW BEST:: SOT 56382 SOS 30517 HAS SOPS 30517 HAS SOUS 16790 HAS SOUPS 16790 WITH SCORE 16820.517
AT ITER 1327 NEW BEST:: SOT 56368 SOS 30503 HAS SOPS 30503 HAS SOUS 16762 HAS SOUPS 16762 WITH SCORE 16792.503
AT ITER 1330 NEW BEST:: SOT 56365 SOS 30500 HAS SOPS 30500 HAS SOUS 16738 HAS SOUPS 16738 WITH SCORE 16768.5
AT ITER 1354 NEW BEST:: SOT 56332 SOS 30467 HAS SOPS 30467 HAS SOUS 16672 HAS SOUPS 16672 WITH SCORE 16702.467
AT ITER 1380 NEW BEST:: SOT 56323 SOS 30458 HAS SOPS 30458 HAS SOUS 16670 HAS SOUPS 16670 WITH SCORE 16700.458
AT ITER 1383 NEW BEST:: SOT 56308 SOS 30428 HAS SOPS 30428 HAS SOUS 16648 HAS SOUPS 16648 WITH SCORE 16678.428
AT ITER 1391 NEW BEST:: SOT 56275 SOS 30395 HAS SOPS 30395 HAS SOUS 16615 HAS SOUPS 16615 WITH SCORE 16645.395
AT ITER 1427 NEW BEST:: SOT 56286 SOS 30406 HAS SOPS 30406 HAS SOUS 16607 HAS SOUPS 16607 WITH SCORE 16637.406
AT ITER 1431 NEW BEST:: SOT 56285 SOS 30394 HAS SOPS 30394 HAS SOUS 16605 HAS SOUPS 16605 WITH SCORE 16635.394
AT ITER 1437 NEW BEST:: SOT 56285 SOS 30394 HAS SOPS 30394 HAS SOUS 16602 HAS SOUPS 16602 WITH SCORE 16632.394
AT ITER 1438 NEW BEST:: SOT 56277 SOS 30386 HAS SOPS 30386 HAS SOUS 16602 HAS SOUPS 16602 WITH SCORE 16632.386
AT ITER 1450 NEW BEST:: SOT 56277 SOS 30378 HAS SOPS 30378 HAS SOUS 16602 HAS SOUPS 16602 WITH SCORE 16632.378
AT ITER 1452 NEW BEST:: SOT 56277 SOS 30348 HAS SOPS 30348 HAS SOUS 16548 HAS SOUPS 16548 WITH SCORE 16578.348
AT ITER 1487 NEW BEST:: SOT 56277 SOS 30314 HAS SOPS 30314 HAS SOUS 16493 HAS SOUPS 16493 WITH SCORE 16523.314
AT ITER 1492 NEW BEST:: SOT 56262 SOS 30299 HAS SOPS 30299 HAS SOUS 16463 HAS SOUPS 16463 WITH SCORE 16493.299
AT ITER 1498 NEW BEST:: SOT 56258 SOS 30294 HAS SOPS 30294 HAS SOUS 16458 HAS SOUPS 16458 WITH SCORE 16488.294
AT ITER 1534 NEW BEST:: SOT 56257 SOS 30293 HAS SOPS 30293 HAS SOUS 16456 HAS SOUPS 16456 WITH SCORE 16486.293
AT ITER 1536 NEW BEST:: SOT 56253 SOS 30285 HAS SOPS 30285 HAS SOUS 16448 HAS SOUPS 16448 WITH SCORE 16478.285
AT ITER 1545 NEW BEST:: SOT 56260 SOS 30268 HAS SOPS 30268 HAS SOUS 16431 HAS SOUPS 16431 WITH SCORE 16461.268
AT ITER 1577 NEW BEST:: SOT 56260 SOS 30268 HAS SOPS 30268 HAS SOUS 16429 HAS SOUPS 16429 WITH SCORE 16459.268
AT ITER 1581 NEW BEST:: SOT 56330 SOS 30332 HAS SOPS 30332 HAS SOUS 16423 HAS SOUPS 16423 WITH SCORE 16453.332
AT ITER 1596 NEW BEST:: SOT 56320 SOS 30322 HAS SOPS 30322 HAS SOUS 16416 HAS SOUPS 16416 WITH SCORE 16446.322
AT ITER 1606 NEW BEST:: SOT 56308 SOS 30310 HAS SOPS 30310 HAS SOUS 16404 HAS SOUPS 16404 WITH SCORE 16434.31
AT ITER 1607 NEW BEST:: SOT 56270 SOS 30272 HAS SOPS 30272 HAS SOUS 16339 HAS SOUPS 16339 WITH SCORE 16369.272
AT ITER 1634 NEW BEST:: SOT 56154 SOS 30876 HAS SOPS 30876 HAS SOUS 16313 HAS SOUPS 16313 WITH SCORE 16343.876
AT ITER 1651 NEW BEST:: SOT 56153 SOS 30875 HAS SOPS 30875 HAS SOUS 16304 HAS SOUPS 16304 WITH SCORE 16334.875
AT ITER 1657 NEW BEST:: SOT 56129 SOS 30817 HAS SOPS 30817 HAS SOUS 16280 HAS SOUPS 16280 WITH SCORE 16310.817
AT ITER 1661 NEW BEST:: SOT 56126 SOS 30785 HAS SOPS 30785 HAS SOUS 16274 HAS SOUPS 16274 WITH SCORE 16304.785
AT ITER 1666 NEW BEST:: SOT 56119 SOS 30778 HAS SOPS 30778 HAS SOUS 16267 HAS SOUPS 16267 WITH SCORE 16297.778
AT ITER 1702 NEW BEST:: SOT 56090 SOS 30749 HAS SOPS 30749 HAS SOUS 16209 HAS SOUPS 16209 WITH SCORE 16239.749
AT ITER 1743 NEW BEST:: SOT 56070 SOS 30729 HAS SOPS 30729 HAS SOUS 16158 HAS SOUPS 16158 WITH SCORE 16188.729
AT ITER 1751 NEW BEST:: SOT 55984 SOS 30617 HAS SOPS 30617 HAS SOUS 16134 HAS SOUPS 16134 WITH SCORE 16164.617
AT ITER 1761 NEW BEST:: SOT 55992 SOS 30625 HAS SOPS 30625 HAS SOUS 16120 HAS SOUPS 16120 WITH SCORE 16150.625
AT ITER 1769 NEW BEST:: SOT 55989 SOS 30651 HAS SOPS 30651 HAS SOUS 16114 HAS SOUPS 16114 WITH SCORE 16144.651
AT ITER 1795 NEW BEST:: SOT 55981 SOS 30643 HAS SOPS 30643 HAS SOUS 16098 HAS SOUPS 16098 WITH SCORE 16128.643
AT ITER 1820 NEW BEST:: SOT 55971 SOS 30633 HAS SOPS 30633 HAS SOUS 16079 HAS SOUPS 16079 WITH SCORE 16109.633
AT ITER 1849 NEW BEST:: SOT 55970 SOS 30632 HAS SOPS 30632 HAS SOUS 16028 HAS SOUPS 16028 WITH SCORE 16058.632
AT ITER 1865 NEW BEST:: SOT 55943 SOS 30644 HAS SOPS 30644 HAS SOUS 15974 HAS SOUPS 15974 WITH SCORE 16004.644
AT ITER 1884 NEW BEST:: SOT 55930 SOS 30631 HAS SOPS 30631 HAS SOUS 15957 HAS SOUPS 15957 WITH SCORE 15987.631
AT ITER 1911 NEW BEST:: SOT 55934 SOS 30635 HAS SOPS 30635 HAS SOUS 15955 HAS SOUPS 15955 WITH SCORE 15985.635
AT ITER 1938 NEW BEST:: SOT 55927 SOS 30628 HAS SOPS 30628 HAS SOUS 15941 HAS SOUPS 15941 WITH SCORE 15971.628
AT ITER 1951 NEW BEST:: SOT 55898 SOS 30599 HAS SOPS 30599 HAS SOUS 15941 HAS SOUPS 15941 WITH SCORE 15971.599
AT ITER 1977 NEW BEST:: SOT 55888 SOS 30685 HAS SOPS 30685 HAS SOUS 15936 HAS SOUPS 15936 WITH SCORE 15966.685
AT ITER 1979 NEW BEST:: SOT 55887 SOS 30684 HAS SOPS 30684 HAS SOUS 15934 HAS SOUPS 15934 WITH SCORE 15964.684
AT ITER 2012 NEW BEST:: SOT 55858 SOS 30626 HAS SOPS 30626 HAS SOUS 15905 HAS SOUPS 15905 WITH SCORE 15935.626
AT ITER 2032 NEW BEST:: SOT 55861 SOS 30629 HAS SOPS 30629 HAS SOUS 15902 HAS SOUPS 15902 WITH SCORE 15932.629
AT ITER 2037 NEW BEST:: SOT 55829 SOS 30561 HAS SOPS 30561 HAS SOUS 15838 HAS SOUPS 15838 WITH SCORE 15868.561
AT ITER 2056 NEW BEST:: SOT 55821 SOS 30553 HAS SOPS 30553 HAS SOUS 15822 HAS SOUPS 15822 WITH SCORE 15852.553
AT ITER 2058 NEW BEST:: SOT 55827 SOS 30487 HAS SOPS 30487 HAS SOUS 15816 HAS SOUPS 15816 WITH SCORE 15846.487
AT ITER 2132 NEW BEST:: SOT 55850 SOS 30510 HAS SOPS 30510 HAS SOUS 15814 HAS SOUPS 15814 WITH SCORE 15844.51
AT ITER 2146 NEW BEST:: SOT 55832 SOS 30492 HAS SOPS 30492 HAS SOUS 15760 HAS SOUPS 15760 WITH SCORE 15790.492
AT ITER 2163 NEW BEST:: SOT 55845 SOS 30505 HAS SOPS 30505 HAS SOUS 15705 HAS SOUPS 15705 WITH SCORE 15735.505
AT ITER 2180 NEW BEST:: SOT 55892 SOS 30552 HAS SOPS 30552 HAS SOUS 15696 HAS SOUPS 15696 WITH SCORE 15726.552
AT ITER 2208 NEW BEST:: SOT 56047 SOS 30716 HAS SOPS 30716 HAS SOUS 15685 HAS SOUPS 15685 WITH SCORE 15715.716
AT ITER 2223 NEW BEST:: SOT 55997 SOS 30666 HAS SOPS 30666 HAS SOUS 15635 HAS SOUPS 15635 WITH SCORE 15665.666
AT ITER 2269 NEW BEST:: SOT 55997 SOS 30666 HAS SOPS 30666 HAS SOUS 15634 HAS SOUPS 15634 WITH SCORE 15664.666
AT ITER 2288 NEW BEST:: SOT 55996 SOS 30665 HAS SOPS 30665 HAS SOUS 15633 HAS SOUPS 15633 WITH SCORE 15663.665
AT ITER 2317 NEW BEST:: SOT 55994 SOS 30663 HAS SOPS 30663 HAS SOUS 15632 HAS SOUPS 15632 WITH SCORE 15662.663
AT ITER 2356 NEW BEST:: SOT 55965 SOS 30634 HAS SOPS 30634 HAS SOUS 15574 HAS SOUPS 15574 WITH SCORE 15604.634
AT ITER 2362 NEW BEST:: SOT 55965 SOS 30634 HAS SOPS 30634 HAS SOUS 15540 HAS SOUPS 15540 WITH SCORE 15570.634
AT ITER 2376 NEW BEST:: SOT 55940 SOS 30609 HAS SOPS 30609 HAS SOUS 15517 HAS SOUPS 15517 WITH SCORE 15547.609
AT ITER 2378 NEW BEST:: SOT 55939 SOS 30608 HAS SOPS 30608 HAS SOUS 15515 HAS SOUPS 15515 WITH SCORE 15545.608
AT ITER 2422 NEW BEST:: SOT 55920 SOS 30588 HAS SOPS 30588 HAS SOUS 15498 HAS SOUPS 15498 WITH SCORE 15528.588
AT ITER 2446 NEW BEST:: SOT 55928 SOS 30549 HAS SOPS 30549 HAS SOUS 15455 HAS SOUPS 15455 WITH SCORE 15485.549
AT ITER 2455 NEW BEST:: SOT 55928 SOS 30549 HAS SOPS 30549 HAS SOUS 15433 HAS SOUPS 15433 WITH SCORE 15463.549
AT ITER 2460 NEW BEST:: SOT 55916 SOS 30537 HAS SOPS 30537 HAS SOUS 15433 HAS SOUPS 15433 WITH SCORE 15463.537
AT ITER 2478 NEW BEST:: SOT 55906 SOS 30527 HAS SOPS 30527 HAS SOUS 15413 HAS SOUPS 15413 WITH SCORE 15443.527
AT ITER 2536 NEW BEST:: SOT 55897 SOS 30508 HAS SOPS 30508 HAS SOUS 15403 HAS SOUPS 15403 WITH SCORE 15433.508
AT ITER 2543 NEW BEST:: SOT 55893 SOS 30504 HAS SOPS 30504 HAS SOUS 15389 HAS SOUPS 15389 WITH SCORE 15419.504
AT ITER 2556 NEW BEST:: SOT 55888 SOS 30591 HAS SOPS 30591 HAS SOUS 15384 HAS SOUPS 15384 WITH SCORE 15414.591
AT ITER 2614 NEW BEST:: SOT 55802 SOS 30690 HAS SOPS 30690 HAS SOUS 15334 HAS SOUPS 15334 WITH SCORE 15364.69
AT ITER 2648 NEW BEST:: SOT 55801 SOS 30689 HAS SOPS 30689 HAS SOUS 15332 HAS SOUPS 15332 WITH SCORE 15362.689
AT ITER 2665 NEW BEST:: SOT 55787 SOS 30675 HAS SOPS 30675 HAS SOUS 15330 HAS SOUPS 15330 WITH SCORE 15360.675
AT ITER 2670 NEW BEST:: SOT 55926 SOS 28418 HAS SOPS 28418 HAS SOUS 15264 HAS SOUPS 15264 WITH SCORE 15292.418
AT ITER 2760 NEW BEST:: SOT 55923 SOS 28415 HAS SOPS 28415 HAS SOUS 15246 HAS SOUPS 15246 WITH SCORE 15274.415
AT ITER 2776 NEW BEST:: SOT 55923 SOS 28414 HAS SOPS 28414 HAS SOUS 15245 HAS SOUPS 15245 WITH SCORE 15273.414
AT ITER 2799 NEW BEST:: SOT 55923 SOS 28414 HAS SOPS 28414 HAS SOUS 15200 HAS SOUPS 15200 WITH SCORE 15228.414
AT ITER 2801 NEW BEST:: SOT 55893 SOS 28566 HAS SOPS 28566 HAS SOUS 15194 HAS SOUPS 15194 WITH SCORE 15222.566
AT ITER 2806 NEW BEST:: SOT 55898 SOS 28558 HAS SOPS 28558 HAS SOUS 15194 HAS SOUPS 15194 WITH SCORE 15222.558
AT ITER 2807 NEW BEST:: SOT 55898 SOS 28558 HAS SOPS 28558 HAS SOUS 15188 HAS SOUPS 15188 WITH SCORE 15216.558
AT ITER 2847 NEW BEST:: SOT 55879 SOS 28520 HAS SOPS 28520 HAS SOUS 15131 HAS SOUPS 15131 WITH SCORE 15159.52
AT ITER 2895 NEW BEST:: SOT 55913 SOS 28503 HAS SOPS 28503 HAS SOUS 15084 HAS SOUPS 15084 WITH SCORE 15112.503
AT ITER 2914 NEW BEST:: SOT 55856 SOS 28587 HAS SOPS 28587 HAS SOUS 15053 HAS SOUPS 15053 WITH SCORE 15081.587
AT ITER 2915 NEW BEST:: SOT 55884 SOS 28615 HAS SOPS 28615 HAS SOUS 15051 HAS SOUPS 15051 WITH SCORE 15079.615
AT ITER 2917 NEW BEST:: SOT 55884 SOS 28605 HAS SOPS 28605 HAS SOUS 15041 HAS SOUPS 15041 WITH SCORE 15069.605
AT ITER 2965 NEW BEST:: SOT 55893 SOS 28594 HAS SOPS 28594 HAS SOUS 15039 HAS SOUPS 15039 WITH SCORE 15067.594
AT ITER 2975 NEW BEST:: SOT 55834 SOS 28535 HAS SOPS 28535 HAS SOUS 14921 HAS SOUPS 14921 WITH SCORE 14949.535
AT ITER 2983 NEW BEST:: SOT 55834 SOS 28535 HAS SOPS 28535 HAS SOUS 14915 HAS SOUPS 14915 WITH SCORE 14943.535
AT ITER 3008 NEW BEST:: SOT 55834 SOS 28525 HAS SOPS 28525 HAS SOUS 14915 HAS SOUPS 14915 WITH SCORE 14943.525
AT ITER 3018 NEW BEST:: SOT 55805 SOS 28492 HAS SOPS 28492 HAS SOUS 14882 HAS SOUPS 14882 WITH SCORE 14910.492
AT ITER 3049 NEW BEST:: SOT 55742 SOS 29072 HAS SOPS 29072 HAS SOUS 14851 HAS SOUPS 14851 WITH SCORE 14880.072
AT ITER 3091 NEW BEST:: SOT 55592 SOS 29054 HAS SOPS 29054 HAS SOUS 14847 HAS SOUPS 14847 WITH SCORE 14876.054
AT ITER 3092 NEW BEST:: SOT 55592 SOS 29015 HAS SOPS 29015 HAS SOUS 14844 HAS SOUPS 14844 WITH SCORE 14873.015
AT ITER 3127 NEW BEST:: SOT 55653 SOS 29014 HAS SOPS 29014 HAS SOUS 14832 HAS SOUPS 14832 WITH SCORE 14861.014
AT ITER 3151 NEW BEST:: SOT 55659 SOS 29020 HAS SOPS 29020 HAS SOUS 14826 HAS SOUPS 14826 WITH SCORE 14855.02
AT ITER 3157 NEW BEST:: SOT 55647 SOS 29008 HAS SOPS 29008 HAS SOUS 14802 HAS SOUPS 14802 WITH SCORE 14831.008
AT ITER 3158 NEW BEST:: SOT 55643 SOS 29004 HAS SOPS 29004 HAS SOUS 14794 HAS SOUPS 14794 WITH SCORE 14823.004
AT ITER 3164 NEW BEST:: SOT 55643 SOS 29004 HAS SOPS 29004 HAS SOUS 14784 HAS SOUPS 14784 WITH SCORE 14813.004
AT ITER 3218 NEW BEST:: SOT 55628 SOS 28989 HAS SOPS 28989 HAS SOUS 14768 HAS SOUPS 14768 WITH SCORE 14796.989
AT ITER 3224 NEW BEST:: SOT 55637 SOS 28998 HAS SOPS 28998 HAS SOUS 14751 HAS SOUPS 14751 WITH SCORE 14779.998
AT ITER 3236 NEW BEST:: SOT 55633 SOS 28994 HAS SOPS 28994 HAS SOUS 14743 HAS SOUPS 14743 WITH SCORE 14771.994
AT ITER 3270 NEW BEST:: SOT 55631 SOS 28992 HAS SOPS 28992 HAS SOUS 14739 HAS SOUPS 14739 WITH SCORE 14767.992
AT ITER 3283 NEW BEST:: SOT 55674 SOS 29045 HAS SOPS 29045 HAS SOUS 14733 HAS SOUPS 14733 WITH SCORE 14762.045
AT ITER 3292 NEW BEST:: SOT 55665 SOS 29029 HAS SOPS 29029 HAS SOUS 14722 HAS SOUPS 14722 WITH SCORE 14751.029
AT ITER 3304 NEW BEST:: SOT 55665 SOS 29025 HAS SOPS 29025 HAS SOUS 14718 HAS SOUPS 14718 WITH SCORE 14747.025
AT ITER 3310 NEW BEST:: SOT 55661 SOS 29021 HAS SOPS 29021 HAS SOUS 14710 HAS SOUPS 14710 WITH SCORE 14739.021
AT ITER 3327 NEW BEST:: SOT 55651 SOS 29011 HAS SOPS 29011 HAS SOUS 14691 HAS SOUPS 14691 WITH SCORE 14720.011
AT ITER 3330 NEW BEST:: SOT 55648 SOS 29031 HAS SOPS 29031 HAS SOUS 14685 HAS SOUPS 14685 WITH SCORE 14714.031
AT ITER 3342 NEW BEST:: SOT 55608 SOS 28991 HAS SOPS 28991 HAS SOUS 14645 HAS SOUPS 14645 WITH SCORE 14673.991
AT ITER 3343 NEW BEST:: SOT 55591 SOS 28974 HAS SOPS 28974 HAS SOUS 14611 HAS SOUPS 14611 WITH SCORE 14639.974
AT ITER 3344 NEW BEST:: SOT 55573 SOS 28958 HAS SOPS 28958 HAS SOUS 14574 HAS SOUPS 14574 WITH SCORE 14602.958
AT ITER 3354 NEW BEST:: SOT 55581 SOS 28933 HAS SOPS 28933 HAS SOUS 14549 HAS SOUPS 14549 WITH SCORE 14577.933
AT ITER 3356 NEW BEST:: SOT 55577 SOS 28929 HAS SOPS 28929 HAS SOUS 14541 HAS SOUPS 14541 WITH SCORE 14569.929
AT ITER 3377 NEW BEST:: SOT 55577 SOS 28919 HAS SOPS 28919 HAS SOUS 14541 HAS SOUPS 14541 WITH SCORE 14569.919
AT ITER 3405 NEW BEST:: SOT 55541 SOS 28847 HAS SOPS 28847 HAS SOUS 14505 HAS SOUPS 14505 WITH SCORE 14533.847
AT ITER 3439 NEW BEST:: SOT 55527 SOS 28833 HAS SOPS 28833 HAS SOUS 14490 HAS SOUPS 14490 WITH SCORE 14518.833
AT ITER 3447 NEW BEST:: SOT 55526 SOS 28832 HAS SOPS 28832 HAS SOUS 14488 HAS SOUPS 14488 WITH SCORE 14516.832
AT ITER 3475 NEW BEST:: SOT 55467 SOS 28796 HAS SOPS 28796 HAS SOUS 14421 HAS SOUPS 14421 WITH SCORE 14449.796
AT ITER 3484 NEW BEST:: SOT 55482 SOS 28353 HAS SOPS 28353 HAS SOUS 14410 HAS SOUPS 14410 WITH SCORE 14438.353
AT ITER 3490 NEW BEST:: SOT 55464 SOS 28326 HAS SOPS 28326 HAS SOUS 14383 HAS SOUPS 14383 WITH SCORE 14411.326
AT ITER 3539 NEW BEST:: SOT 55463 SOS 28324 HAS SOPS 28324 HAS SOUS 14382 HAS SOUPS 14382 WITH SCORE 14410.324
AT ITER 3594 NEW BEST:: SOT 55463 SOS 28324 HAS SOPS 28324 HAS SOUS 14379 HAS SOUPS 14379 WITH SCORE 14407.324
AT ITER 3621 NEW BEST:: SOT 55451 SOS 28312 HAS SOPS 28312 HAS SOUS 14355 HAS SOUPS 14355 WITH SCORE 14383.312
AT ITER 3664 NEW BEST:: SOT 55451 SOS 28275 HAS SOPS 28275 HAS SOUS 14355 HAS SOUPS 14355 WITH SCORE 14383.275
AT ITER 3685 NEW BEST:: SOT 55446 SOS 28270 HAS SOPS 28270 HAS SOUS 14319 HAS SOUPS 14319 WITH SCORE 14347.27
AT ITER 3696 NEW BEST:: SOT 55445 SOS 28269 HAS SOPS 28269 HAS SOUS 14317 HAS SOUPS 14317 WITH SCORE 14345.269
AT ITER 3706 NEW BEST:: SOT 55460 SOS 28284 HAS SOPS 28284 HAS SOUS 14313 HAS SOUPS 14313 WITH SCORE 14341.284
AT ITER 3708 NEW BEST:: SOT 55453 SOS 28281 HAS SOPS 28281 HAS SOUS 14313 HAS SOUPS 14313 WITH SCORE 14341.281
AT ITER 3766 NEW BEST:: SOT 55453 SOS 28281 HAS SOPS 28281 HAS SOUS 14309 HAS SOUPS 14309 WITH SCORE 14337.281
AT ITER 3806 NEW BEST:: SOT 55452 SOS 28280 HAS SOPS 28280 HAS SOUS 14307 HAS SOUPS 14307 WITH SCORE 14335.28
AT ITER 3807 NEW BEST:: SOT 55464 SOS 28262 HAS SOPS 28262 HAS SOUS 14301 HAS SOUPS 14301 WITH SCORE 14329.262
AT ITER 3831 NEW BEST:: SOT 55457 SOS 28255 HAS SOPS 28255 HAS SOUS 14287 HAS SOUPS 14287 WITH SCORE 14315.255
AT ITER 3841 NEW BEST:: SOT 55441 SOS 28239 HAS SOPS 28239 HAS SOUS 14253 HAS SOUPS 14253 WITH SCORE 14281.239
AT ITER 3852 NEW BEST:: SOT 55354 SOS 28152 HAS SOPS 28152 HAS SOUS 14220 HAS SOUPS 14220 WITH SCORE 14248.152
AT ITER 3856 NEW BEST:: SOT 55350 SOS 28148 HAS SOPS 28148 HAS SOUS 14216 HAS SOUPS 14216 WITH SCORE 14244.148
AT ITER 3878 NEW BEST:: SOT 55342 SOS 28138 HAS SOPS 28138 HAS SOUS 14198 HAS SOUPS 14198 WITH SCORE 14226.138
AT ITER 3889 NEW BEST:: SOT 55329 SOS 28125 HAS SOPS 28125 HAS SOUS 14172 HAS SOUPS 14172 WITH SCORE 14200.125
AT ITER 3906 NEW BEST:: SOT 55375 SOS 27426 HAS SOPS 27426 HAS SOUS 14131 HAS SOUPS 14131 WITH SCORE 14158.426
AT ITER 3913 NEW BEST:: SOT 55373 SOS 27424 HAS SOPS 27424 HAS SOUS 14130 HAS SOUPS 14130 WITH SCORE 14157.424
AT ITER 3975 NEW BEST:: SOT 55367 SOS 27386 HAS SOPS 27386 HAS SOUS 14092 HAS SOUPS 14092 WITH SCORE 14119.386
AT ITER 4030 NEW BEST:: SOT 55350 SOS 27369 HAS SOPS 27369 HAS SOUS 14072 HAS SOUPS 14072 WITH SCORE 14099.369
AT ITER 4063 NEW BEST:: SOT 55355 SOS 27379 HAS SOPS 27379 HAS SOUS 14069 HAS SOUPS 14069 WITH SCORE 14096.379
AT ITER 4108 NEW BEST:: SOT 55387 SOS 27411 HAS SOPS 27411 HAS SOUS 14045 HAS SOUPS 14045 WITH SCORE 14072.411
AT ITER 4118 NEW BEST:: SOT 55396 SOS 27404 HAS SOPS 27404 HAS SOUS 14038 HAS SOUPS 14038 WITH SCORE 14065.404
AT ITER 4126 NEW BEST:: SOT 55389 SOS 27394 HAS SOPS 27394 HAS SOUS 14024 HAS SOUPS 14024 WITH SCORE 14051.394
AT ITER 4149 NEW BEST:: SOT 55379 SOS 27349 HAS SOPS 27349 HAS SOUS 14008 HAS SOUPS 14008 WITH SCORE 14035.349
AT ITER 4155 NEW BEST:: SOT 55379 SOS 27349 HAS SOPS 27349 HAS SOUS 14004 HAS SOUPS 14004 WITH SCORE 14031.349
AT ITER 4164 NEW BEST:: SOT 55378 SOS 27414 HAS SOPS 27414 HAS SOUS 14002 HAS SOUPS 14002 WITH SCORE 14029.414
AT ITER 4189 NEW BEST:: SOT 55371 SOS 27386 HAS SOPS 27386 HAS SOUS 13996 HAS SOUPS 13996 WITH SCORE 14023.386
AT ITER 4219 NEW BEST:: SOT 55351 SOS 27366 HAS SOPS 27366 HAS SOUS 13956 HAS SOUPS 13956 WITH SCORE 13983.366
AT ITER 4226 NEW BEST:: SOT 55350 SOS 27347 HAS SOPS 27347 HAS SOUS 13953 HAS SOUPS 13953 WITH SCORE 13980.347
AT ITER 4266 NEW BEST:: SOT 55342 SOS 27336 HAS SOPS 27336 HAS SOUS 13947 HAS SOUPS 13947 WITH SCORE 13974.336
AT ITER 4268 NEW BEST:: SOT 55342 SOS 27328 HAS SOPS 27328 HAS SOUS 13947 HAS SOUPS 13947 WITH SCORE 13974.328
AT ITER 4316 NEW BEST:: SOT 55335 SOS 27321 HAS SOPS 27321 HAS SOUS 13945 HAS SOUPS 13945 WITH SCORE 13972.321
AT ITER 4323 NEW BEST:: SOT 55335 SOS 27321 HAS SOPS 27321 HAS SOUS 13921 HAS SOUPS 13921 WITH SCORE 13948.321
AT ITER 4327 NEW BEST:: SOT 55327 SOS 27313 HAS SOPS 27313 HAS SOUS 13917 HAS SOUPS 13917 WITH SCORE 13944.313
AT ITER 4333 NEW BEST:: SOT 55317 SOS 27303 HAS SOPS 27303 HAS SOUS 13897 HAS SOUPS 13897 WITH SCORE 13924.303
AT ITER 4352 NEW BEST:: SOT 55317 SOS 27303 HAS SOPS 27303 HAS SOUS 13895 HAS SOUPS 13895 WITH SCORE 13922.303
AT ITER 4353 NEW BEST:: SOT 55359 SOS 27319 HAS SOPS 27319 HAS SOUS 13891 HAS SOUPS 13891 WITH SCORE 13918.319
AT ITER 4354 NEW BEST:: SOT 55371 SOS 27322 HAS SOPS 27322 HAS SOUS 13885 HAS SOUPS 13885 WITH SCORE 13912.322
AT ITER 4355 NEW BEST:: SOT 55365 SOS 27316 HAS SOPS 27316 HAS SOUS 13873 HAS SOUPS 13873 WITH SCORE 13900.316
AT ITER 4397 NEW BEST:: SOT 55225 SOS 27200 HAS SOPS 27200 HAS SOUS 13777 HAS SOUPS 13777 WITH SCORE 13804.2
AT ITER 4402 NEW BEST:: SOT 55224 SOS 27199 HAS SOPS 27199 HAS SOUS 13764 HAS SOUPS 13764 WITH SCORE 13791.199
AT ITER 4405 NEW BEST:: SOT 55205 SOS 27131 HAS SOPS 27131 HAS SOUS 13726 HAS SOUPS 13726 WITH SCORE 13753.131
AT ITER 4418 NEW BEST:: SOT 55205 SOS 27106 HAS SOPS 27106 HAS SOUS 13714 HAS SOUPS 13714 WITH SCORE 13741.106
AT ITER 4481 NEW BEST:: SOT 55204 SOS 27064 HAS SOPS 27064 HAS SOUS 13712 HAS SOUPS 13712 WITH SCORE 13739.064
AT ITER 4500 NEW BEST:: SOT 55190 SOS 27050 HAS SOPS 27050 HAS SOUS 13679 HAS SOUPS 13679 WITH SCORE 13706.05
AT ITER 4503 NEW BEST:: SOT 55188 SOS 27048 HAS SOPS 27048 HAS SOUS 13672 HAS SOUPS 13672 WITH SCORE 13699.048
AT ITER 4508 NEW BEST:: SOT 55176 SOS 27026 HAS SOPS 27026 HAS SOUS 13660 HAS SOUPS 13660 WITH SCORE 13687.026
AT ITER 4511 NEW BEST:: SOT 55176 SOS 27024 HAS SOPS 27024 HAS SOUS 13660 HAS SOUPS 13660 WITH SCORE 13687.024
AT ITER 4545 NEW BEST:: SOT 55165 SOS 27016 HAS SOPS 27016 HAS SOUS 13634 HAS SOUPS 13634 WITH SCORE 13661.016
AT ITER 4547 NEW BEST:: SOT 55130 SOS 26987 HAS SOPS 26987 HAS SOUS 13564 HAS SOUPS 13564 WITH SCORE 13590.987
AT ITER 4552 NEW BEST:: SOT 55110 SOS 26967 HAS SOPS 26967 HAS SOUS 13524 HAS SOUPS 13524 WITH SCORE 13550.967
AT ITER 4557 NEW BEST:: SOT 55103 SOS 26959 HAS SOPS 26959 HAS SOUS 13516 HAS SOUPS 13516 WITH SCORE 13542.959
AT ITER 4572 NEW BEST:: SOT 55090 SOS 26968 HAS SOPS 26968 HAS SOUS 13512 HAS SOUPS 13512 WITH SCORE 13538.968
AT ITER 4606 NEW BEST:: SOT 55106 SOS 26743 HAS SOPS 26743 HAS SOUS 13502 HAS SOUPS 13502 WITH SCORE 13528.743
AT ITER 4607 NEW BEST:: SOT 55106 SOS 26690 HAS SOPS 26690 HAS SOUS 13502 HAS SOUPS 13502 WITH SCORE 13528.69
AT ITER 4608 NEW BEST:: SOT 55065 SOS 26649 HAS SOPS 26649 HAS SOUS 13432 HAS SOUPS 13432 WITH SCORE 13458.649
AT ITER 4624 NEW BEST:: SOT 55055 SOS 26516 HAS SOPS 26516 HAS SOUS 13415 HAS SOUPS 13415 WITH SCORE 13441.516
AT ITER 4632 NEW BEST:: SOT 55043 SOS 26507 HAS SOPS 26507 HAS SOUS 13403 HAS SOUPS 13403 WITH SCORE 13429.507
AT ITER 4668 NEW BEST:: SOT 55043 SOS 26503 HAS SOPS 26503 HAS SOUS 13399 HAS SOUPS 13399 WITH SCORE 13425.503
AT ITER 4672 NEW BEST:: SOT 55088 SOS 26017 HAS SOPS 26017 HAS SOUS 13389 HAS SOUPS 13389 WITH SCORE 13415.017
AT ITER 4745 NEW BEST:: SOT 55087 SOS 26008 HAS SOPS 26008 HAS SOUS 13387 HAS SOUPS 13387 WITH SCORE 13413.008
AT ITER 4756 NEW BEST:: SOT 55085 SOS 26004 HAS SOPS 26004 HAS SOUS 13383 HAS SOUPS 13383 WITH SCORE 13409.004
AT ITER 4760 NEW BEST:: SOT 55085 SOS 26000 HAS SOPS 26000 HAS SOUS 13379 HAS SOUPS 13379 WITH SCORE 13405.0
AT ITER 4789 NEW BEST:: SOT 55071 SOS 25986 HAS SOPS 25986 HAS SOUS 13351 HAS SOUPS 13351 WITH SCORE 13376.986
AT ITER 4859 NEW BEST:: SOT 55069 SOS 25984 HAS SOPS 25984 HAS SOUS 13347 HAS SOUPS 13347 WITH SCORE 13372.984
AT ITER 4864 NEW BEST:: SOT 55053 SOS 25959 HAS SOPS 25959 HAS SOUS 13324 HAS SOUPS 13324 WITH SCORE 13349.959
AT ITER 4894 NEW BEST:: SOT 55000 SOS 25887 HAS SOPS 25887 HAS SOUS 13271 HAS SOUPS 13271 WITH SCORE 13296.887
AT ITER 4915 NEW BEST:: SOT 54993 SOS 25880 HAS SOPS 25880 HAS SOUS 13264 HAS SOUPS 13264 WITH SCORE 13289.88
AT ITER 4919 NEW BEST:: SOT 54969 SOS 25856 HAS SOPS 25856 HAS SOUS 13193 HAS SOUPS 13193 WITH SCORE 13218.856
AT ITER 4924 NEW BEST:: SOT 54952 SOS 25835 HAS SOPS 25835 HAS SOUS 13172 HAS SOUPS 13172 WITH SCORE 13197.835
AT ITER 4938 NEW BEST:: SOT 54952 SOS 25834 HAS SOPS 25834 HAS SOUS 13172 HAS SOUPS 13172 WITH SCORE 13197.834
AT ITER 4945 NEW BEST:: SOT 54951 SOS 25833 HAS SOPS 25833 HAS SOUS 13170 HAS SOUPS 13170 WITH SCORE 13195.833
AT ITER 4965 NEW BEST:: SOT 54951 SOS 25827 HAS SOPS 25827 HAS SOUS 13164 HAS SOUPS 13164 WITH SCORE 13189.827
AT ITER 4974 NEW BEST:: SOT 54951 SOS 25818 HAS SOPS 25818 HAS SOUS 13155 HAS SOUPS 13155 WITH SCORE 13180.818
AT ITER 4995 NEW BEST:: SOT 54951 SOS 25812 HAS SOPS 25812 HAS SOUS 13104 HAS SOUPS 13104 WITH SCORE 13129.812
AT ITER 5031 NEW BEST:: SOT 54924 SOS 25782 HAS SOPS 25782 HAS SOUS 13051 HAS SOUPS 13051 WITH SCORE 13076.782
AT ITER 5046 NEW BEST:: SOT 54889 SOS 25760 HAS SOPS 25760 HAS SOUS 12976 HAS SOUPS 12976 WITH SCORE 13001.76
AT ITER 5061 NEW BEST:: SOT 54889 SOS 25753 HAS SOPS 25753 HAS SOUS 12976 HAS SOUPS 12976 WITH SCORE 13001.753
AT ITER 5195 NEW BEST:: SOT 54877 SOS 25741 HAS SOPS 25741 HAS SOUS 12952 HAS SOUPS 12952 WITH SCORE 12977.741
AT ITER 5225 NEW BEST:: SOT 54882 SOS 25746 HAS SOPS 25746 HAS SOUS 12945 HAS SOUPS 12945 WITH SCORE 12970.746
AT ITER 5234 NEW BEST:: SOT 54882 SOS 25744 HAS SOPS 25744 HAS SOUS 12943 HAS SOUPS 12943 WITH SCORE 12968.744
AT ITER 5255 NEW BEST:: SOT 54876 SOS 25738 HAS SOPS 25738 HAS SOUS 12931 HAS SOUPS 12931 WITH SCORE 12956.738
AT ITER 5289 NEW BEST:: SOT 54868 SOS 25802 HAS SOPS 25802 HAS SOUS 12927 HAS SOUPS 12927 WITH SCORE 12952.802
AT ITER 5322 NEW BEST:: SOT 54867 SOS 25801 HAS SOPS 25801 HAS SOUS 12925 HAS SOUPS 12925 WITH SCORE 12950.801
AT ITER 5420 NEW BEST:: SOT 54864 SOS 25795 HAS SOPS 25795 HAS SOUS 12922 HAS SOUPS 12922 WITH SCORE 12947.795
AT ITER 5466 NEW BEST:: SOT 54862 SOS 25799 HAS SOPS 25799 HAS SOUS 12920 HAS SOUPS 12920 WITH SCORE 12945.799
AT ITER 5541 NEW BEST:: SOT 54842 SOS 25786 HAS SOPS 25786 HAS SOUS 12900 HAS SOUPS 12900 WITH SCORE 12925.786
AT ITER 5550 NEW BEST:: SOT 54839 SOS 25783 HAS SOPS 25783 HAS SOUS 12894 HAS SOUPS 12894 WITH SCORE 12919.783
AT ITER 5572 NEW BEST:: SOT 54836 SOS 25781 HAS SOPS 25781 HAS SOUS 12888 HAS SOUPS 12888 WITH SCORE 12913.781
AT ITER 5656 NEW BEST:: SOT 54825 SOS 25770 HAS SOPS 25770 HAS SOUS 12866 HAS SOUPS 12866 WITH SCORE 12891.77
AT ITER 5662 NEW BEST:: SOT 54822 SOS 25767 HAS SOPS 25767 HAS SOUS 12855 HAS SOUPS 12855 WITH SCORE 12880.767
AT ITER 5688 NEW BEST:: SOT 54820 SOS 25773 HAS SOPS 25773 HAS SOUS 12851 HAS SOUPS 12851 WITH SCORE 12876.773
AT ITER 5701 NEW BEST:: SOT 54817 SOS 25770 HAS SOPS 25770 HAS SOUS 12845 HAS SOUPS 12845 WITH SCORE 12870.77
AT ITER 5762 NEW BEST:: SOT 54813 SOS 25766 HAS SOPS 25766 HAS SOUS 12821 HAS SOUPS 12821 WITH SCORE 12846.766
AT ITER 5831 NEW BEST:: SOT 54813 SOS 25779 HAS SOPS 25779 HAS SOUS 12809 HAS SOUPS 12809 WITH SCORE 12834.779
AT ITER 5877 NEW BEST:: SOT 54813 SOS 25778 HAS SOPS 25778 HAS SOUS 12808 HAS SOUPS 12808 WITH SCORE 12833.778
AT ITER 5897 NEW BEST:: SOT 54787 SOS 25752 HAS SOPS 25752 HAS SOUS 12756 HAS SOUPS 12756 WITH SCORE 12781.752
AT ITER 5964 NEW BEST:: SOT 54782 SOS 25747 HAS SOPS 25747 HAS SOUS 12756 HAS SOUPS 12756 WITH SCORE 12781.747
AT ITER 6012 NEW BEST:: SOT 54737 SOS 25701 HAS SOPS 25701 HAS SOUS 12713 HAS SOUPS 12713 WITH SCORE 12738.701
AT ITER 6046 NEW BEST:: SOT 54736 SOS 25715 HAS SOPS 25715 HAS SOUS 12711 HAS SOUPS 12711 WITH SCORE 12736.715
AT ITER 6101 NEW BEST:: SOT 54752 SOS 25512 HAS SOPS 25512 HAS SOUS 12711 HAS SOUPS 12711 WITH SCORE 12736.512
AT ITER 6220 NEW BEST:: SOT 54752 SOS 25512 HAS SOPS 25512 HAS SOUS 12707 HAS SOUPS 12707 WITH SCORE 12732.512
AT ITER 6281 NEW BEST:: SOT 54751 SOS 25511 HAS SOPS 25511 HAS SOUS 12705 HAS SOUPS 12705 WITH SCORE 12730.511
AT ITER 6399 NEW BEST:: SOT 54756 SOS 25516 HAS SOPS 25516 HAS SOUS 12704 HAS SOUPS 12704 WITH SCORE 12729.516
AT ITER 6411 NEW BEST:: SOT 54756 SOS 25510 HAS SOPS 25510 HAS SOUS 12702 HAS SOUPS 12702 WITH SCORE 12727.51
AT ITER 6424 NEW BEST:: SOT 54760 SOS 25476 HAS SOPS 25476 HAS SOUS 12700 HAS SOUPS 12700 WITH SCORE 12725.476
AT ITER 6435 NEW BEST:: SOT 54737 SOS 25461 HAS SOPS 25461 HAS SOUS 12685 HAS SOUPS 12685 WITH SCORE 12710.461
AT ITER 6439 NEW BEST:: SOT 54735 SOS 25458 HAS SOPS 25458 HAS SOUS 12682 HAS SOUPS 12682 WITH SCORE 12707.458
AT ITER 6452 NEW BEST:: SOT 54754 SOS 25434 HAS SOPS 25434 HAS SOUS 12639 HAS SOUPS 12639 WITH SCORE 12664.434
AT ITER 6481 NEW BEST:: SOT 54750 SOS 25430 HAS SOPS 25430 HAS SOUS 12631 HAS SOUPS 12631 WITH SCORE 12656.43
AT ITER 6580 NEW BEST:: SOT 54750 SOS 25393 HAS SOPS 25393 HAS SOUS 12594 HAS SOUPS 12594 WITH SCORE 12619.393
AT ITER 6590 NEW BEST:: SOT 54749 SOS 25392 HAS SOPS 25392 HAS SOUS 12594 HAS SOUPS 12594 WITH SCORE 12619.392
AT ITER 6632 NEW BEST:: SOT 54749 SOS 25379 HAS SOPS 25379 HAS SOUS 12581 HAS SOUPS 12581 WITH SCORE 12606.379
AT ITER 6643 NEW BEST:: SOT 54749 SOS 25378 HAS SOPS 25378 HAS SOUS 12580 HAS SOUPS 12580 WITH SCORE 12605.378
AT ITER 6647 NEW BEST:: SOT 54741 SOS 25370 HAS SOPS 25370 HAS SOUS 12564 HAS SOUPS 12564 WITH SCORE 12589.37
AT ITER 6649 NEW BEST:: SOT 54741 SOS 25370 HAS SOPS 25370 HAS SOUS 12562 HAS SOUPS 12562 WITH SCORE 12587.37
AT ITER 6696 NEW BEST:: SOT 54736 SOS 25370 HAS SOPS 25370 HAS SOUS 12557 HAS SOUPS 12557 WITH SCORE 12582.37
AT ITER 6699 NEW BEST:: SOT 54737 SOS 25369 HAS SOPS 25369 HAS SOUS 12557 HAS SOUPS 12557 WITH SCORE 12582.369
AT ITER 6715 NEW BEST:: SOT 54718 SOS 25353 HAS SOPS 25353 HAS SOUS 12538 HAS SOUPS 12538 WITH SCORE 12563.353
AT ITER 6732 NEW BEST:: SOT 54688 SOS 25323 HAS SOPS 25323 HAS SOUS 12508 HAS SOUPS 12508 WITH SCORE 12533.323
AT ITER 6797 NEW BEST:: SOT 54688 SOS 25323 HAS SOPS 25323 HAS SOUS 12507 HAS SOUPS 12507 WITH SCORE 12532.323
AT ITER 6848 NEW BEST:: SOT 54664 SOS 25257 HAS SOPS 25257 HAS SOUS 12459 HAS SOUPS 12459 WITH SCORE 12484.257
AT ITER 6907 NEW BEST:: SOT 54625 SOS 25200 HAS SOPS 25200 HAS SOUS 12435 HAS SOUPS 12435 WITH SCORE 12460.2
AT ITER 6964 NEW BEST:: SOT 54624 SOS 25199 HAS SOPS 25199 HAS SOUS 12433 HAS SOUPS 12433 WITH SCORE 12458.199
AT ITER 7029 NEW BEST:: SOT 54624 SOS 25196 HAS SOPS 25196 HAS SOUS 12430 HAS SOUPS 12430 WITH SCORE 12455.196
AT ITER 7115 NEW BEST:: SOT 54615 SOS 25178 HAS SOPS 25178 HAS SOUS 12412 HAS SOUPS 12412 WITH SCORE 12437.178
AT ITER 7146 NEW BEST:: SOT 54615 SOS 25178 HAS SOPS 25178 HAS SOUS 12404 HAS SOUPS 12404 WITH SCORE 12429.178
AT ITER 7147 NEW BEST:: SOT 54615 SOS 25159 HAS SOPS 25159 HAS SOUS 12404 HAS SOUPS 12404 WITH SCORE 12429.159
AT ITER 7177 NEW BEST:: SOT 54618 SOS 25162 HAS SOPS 25162 HAS SOUS 12397 HAS SOUPS 12397 WITH SCORE 12422.162
AT ITER 7288 NEW BEST:: SOT 54620 SOS 25163 HAS SOPS 25163 HAS SOUS 12396 HAS SOUPS 12396 WITH SCORE 12421.163
AT ITER 7355 NEW BEST:: SOT 54618 SOS 25179 HAS SOPS 25179 HAS SOUS 12395 HAS SOUPS 12395 WITH SCORE 12420.179
AT ITER 7412 NEW BEST:: SOT 54608 SOS 24864 HAS SOPS 24864 HAS SOUS 12367 HAS SOUPS 12367 WITH SCORE 12391.864
AT ITER 7476 NEW BEST:: SOT 54610 SOS 24810 HAS SOPS 24810 HAS SOUS 12365 HAS SOUPS 12365 WITH SCORE 12389.81
AT ITER 7596 NEW BEST:: SOT 54600 SOS 24790 HAS SOPS 24790 HAS SOUS 12345 HAS SOUPS 12345 WITH SCORE 12369.79
AT ITER 7625 NEW BEST:: SOT 54599 SOS 24787 HAS SOPS 24787 HAS SOUS 12341 HAS SOUPS 12341 WITH SCORE 12365.787
AT ITER 7647 NEW BEST:: SOT 54617 SOS 24805 HAS SOPS 24805 HAS SOUS 12331 HAS SOUPS 12331 WITH SCORE 12355.805
AT ITER 7710 NEW BEST:: SOT 54613 SOS 24695 HAS SOPS 24695 HAS SOUS 12321 HAS SOUPS 12321 WITH SCORE 12345.695
AT ITER 7749 NEW BEST:: SOT 54623 SOS 24687 HAS SOPS 24687 HAS SOUS 12313 HAS SOUPS 12313 WITH SCORE 12337.687
AT ITER 7753 NEW BEST:: SOT 54620 SOS 24698 HAS SOPS 24698 HAS SOUS 12307 HAS SOUPS 12307 WITH SCORE 12331.698
AT ITER 7764 NEW BEST:: SOT 54620 SOS 24696 HAS SOPS 24696 HAS SOUS 12302 HAS SOUPS 12302 WITH SCORE 12326.696
AT ITER 7816 NEW BEST:: SOT 54614 SOS 24688 HAS SOPS 24688 HAS SOUS 12292 HAS SOUPS 12292 WITH SCORE 12316.688
AT ITER 7837 NEW BEST:: SOT 54615 SOS 24679 HAS SOPS 24679 HAS SOUS 12292 HAS SOUPS 12292 WITH SCORE 12316.679
AT ITER 7992 NEW BEST:: SOT 54615 SOS 24679 HAS SOPS 24679 HAS SOUS 12286 HAS SOUPS 12286 WITH SCORE 12310.679
AT ITER 7993 NEW BEST:: SOT 54641 SOS 24774 HAS SOPS 24774 HAS SOUS 12277 HAS SOUPS 12277 WITH SCORE 12301.774
AT ITER 7997 NEW BEST:: SOT 54582 SOS 24715 HAS SOPS 24715 HAS SOUS 12277 HAS SOUPS 12277 WITH SCORE 12301.715
AT ITER 8000 NEW BEST:: SOT 54582 SOS 24705 HAS SOPS 24705 HAS SOUS 12277 HAS SOUPS 12277 WITH SCORE 12301.705
AT ITER 8010 NEW BEST:: SOT 54573 SOS 24696 HAS SOPS 24696 HAS SOUS 12269 HAS SOUPS 12269 WITH SCORE 12293.696
AT ITER 8111 NEW BEST:: SOT 54571 SOS 24693 HAS SOPS 24693 HAS SOUS 12266 HAS SOUPS 12266 WITH SCORE 12290.693
AT ITER 8128 NEW BEST:: SOT 54562 SOS 24670 HAS SOPS 24670 HAS SOUS 12264 HAS SOUPS 12264 WITH SCORE 12288.67
AT ITER 8134 NEW BEST:: SOT 54533 SOS 24641 HAS SOPS 24641 HAS SOUS 12206 HAS SOUPS 12206 WITH SCORE 12230.641
AT ITER 8140 NEW BEST:: SOT 54532 SOS 24654 HAS SOPS 24654 HAS SOUS 12205 HAS SOUPS 12205 WITH SCORE 12229.654
AT ITER 8152 NEW BEST:: SOT 54527 SOS 24649 HAS SOPS 24649 HAS SOUS 12195 HAS SOUPS 12195 WITH SCORE 12219.649
AT ITER 8162 NEW BEST:: SOT 54518 SOS 24640 HAS SOPS 24640 HAS SOUS 12186 HAS SOUPS 12186 WITH SCORE 12210.64
AT ITER 8240 NEW BEST:: SOT 54517 SOS 24639 HAS SOPS 24639 HAS SOUS 12183 HAS SOUPS 12183 WITH SCORE 12207.639
AT ITER 8241 NEW BEST:: SOT 54511 SOS 24633 HAS SOPS 24633 HAS SOUS 12179 HAS SOUPS 12179 WITH SCORE 12203.633
AT ITER 8346 NEW BEST:: SOT 54509 SOS 24663 HAS SOPS 24663 HAS SOUS 12175 HAS SOUPS 12175 WITH SCORE 12199.663
AT ITER 8348 NEW BEST:: SOT 54499 SOS 24644 HAS SOPS 24644 HAS SOUS 12147 HAS SOUPS 12147 WITH SCORE 12171.644
AT ITER 8351 NEW BEST:: SOT 54497 SOS 24642 HAS SOPS 24642 HAS SOUS 12143 HAS SOUPS 12143 WITH SCORE 12167.642
AT ITER 8381 NEW BEST:: SOT 54493 SOS 24636 HAS SOPS 24636 HAS SOUS 12139 HAS SOUPS 12139 WITH SCORE 12163.636
AT ITER 8404 NEW BEST:: SOT 54485 SOS 24619 HAS SOPS 24619 HAS SOUS 12123 HAS SOUPS 12123 WITH SCORE 12147.619
AT ITER 8431 NEW BEST:: SOT 54482 SOS 24617 HAS SOPS 24617 HAS SOUS 12121 HAS SOUPS 12121 WITH SCORE 12145.617
AT ITER 8434 NEW BEST:: SOT 54494 SOS 24643 HAS SOPS 24643 HAS SOUS 12117 HAS SOUPS 12117 WITH SCORE 12141.643
AT ITER 8520 NEW BEST:: SOT 54504 SOS 24653 HAS SOPS 24653 HAS SOUS 12115 HAS SOUPS 12115 WITH SCORE 12139.653
AT ITER 8524 NEW BEST:: SOT 54497 SOS 24639 HAS SOPS 24639 HAS SOUS 12108 HAS SOUPS 12108 WITH SCORE 12132.639
AT ITER 8677 NEW BEST:: SOT 54484 SOS 24626 HAS SOPS 24626 HAS SOUS 12095 HAS SOUPS 12095 WITH SCORE 12119.626
AT ITER 8723 NEW BEST:: SOT 54472 SOS 24614 HAS SOPS 24614 HAS SOUS 12071 HAS SOUPS 12071 WITH SCORE 12095.614
AT ITER 8765 NEW BEST:: SOT 54453 SOS 24647 HAS SOPS 24647 HAS SOUS 12059 HAS SOUPS 12059 WITH SCORE 12083.647
AT ITER 8775 NEW BEST:: SOT 54448 SOS 24642 HAS SOPS 24642 HAS SOUS 12049 HAS SOUPS 12049 WITH SCORE 12073.642
AT ITER 8791 NEW BEST:: SOT 54447 SOS 24641 HAS SOPS 24641 HAS SOUS 12047 HAS SOUPS 12047 WITH SCORE 12071.641
AT ITER 8802 NEW BEST:: SOT 54448 SOS 24627 HAS SOPS 24627 HAS SOUS 12047 HAS SOUPS 12047 WITH SCORE 12071.627
AT ITER 8860 NEW BEST:: SOT 54457 SOS 24636 HAS SOPS 24636 HAS SOUS 12035 HAS SOUPS 12035 WITH SCORE 12059.636
AT ITER 8873 NEW BEST:: SOT 54448 SOS 24627 HAS SOPS 24627 HAS SOUS 12017 HAS SOUPS 12017 WITH SCORE 12041.627
AT ITER 8976 NEW BEST:: SOT 54447 SOS 24625 HAS SOPS 24625 HAS SOUS 12016 HAS SOUPS 12016 WITH SCORE 12040.625
AT ITER 9000 NEW BEST:: SOT 54447 SOS 24615 HAS SOPS 24615 HAS SOUS 12016 HAS SOUPS 12016 WITH SCORE 12040.615
AT ITER 9151 NEW BEST:: SOT 54442 SOS 24610 HAS SOPS 24610 HAS SOUS 12011 HAS SOUPS 12011 WITH SCORE 12035.61
AT ITER 9171 NEW BEST:: SOT 54441 SOS 24609 HAS SOPS 24609 HAS SOUS 12009 HAS SOUPS 12009 WITH SCORE 12033.609
AT ITER 9212 NEW BEST:: SOT 54448 SOS 24616 HAS SOPS 24616 HAS SOUS 12005 HAS SOUPS 12005 WITH SCORE 12029.616
AT ITER 9241 NEW BEST:: SOT 54410 SOS 24605 HAS SOPS 24605 HAS SOUS 11981 HAS SOUPS 11981 WITH SCORE 12005.605
AT ITER 9257 NEW BEST:: SOT 54418 SOS 24599 HAS SOPS 24599 HAS SOUS 11976 HAS SOUPS 11976 WITH SCORE 12000.599
AT ITER 9279 NEW BEST:: SOT 54417 SOS 24598 HAS SOPS 24598 HAS SOUS 11975 HAS SOUPS 11975 WITH SCORE 11999.598
AT ITER 9360 NEW BEST:: SOT 54415 SOS 24596 HAS SOPS 24596 HAS SOUS 11970 HAS SOUPS 11970 WITH SCORE 11994.596
AT ITER 9474 NEW BEST:: SOT 54413 SOS 24619 HAS SOPS 24619 HAS SOUS 11969 HAS SOUPS 11969 WITH SCORE 11993.619
AT ITER 9516 NEW BEST:: SOT 54395 SOS 24601 HAS SOPS 24601 HAS SOUS 11951 HAS SOUPS 11951 WITH SCORE 11975.601
AT ITER 9556 NEW BEST:: SOT 54391 SOS 24594 HAS SOPS 24594 HAS SOUS 11922 HAS SOUPS 11922 WITH SCORE 11946.594
AT ITER 9558 NEW BEST:: SOT 54386 SOS 24589 HAS SOPS 24589 HAS SOUS 11912 HAS SOUPS 11912 WITH SCORE 11936.589
AT ITER 9803 NEW BEST:: SOT 54384 SOS 24585 HAS SOPS 24585 HAS SOUS 11910 HAS SOUPS 11910 WITH SCORE 11934.585
AT ITER 9827 NEW BEST:: SOT 54361 SOS 24769 HAS SOPS 24769 HAS SOUS 11904 HAS SOUPS 11904 WITH SCORE 11928.769
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 7369140 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16125068 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

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

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