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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 588K
-rw-r--r-- 1 mcc users 6.8K Feb 26 17:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 26 17:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.6K Feb 26 17:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 26 17:46 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 16:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Feb 25 16:14 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 17:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 142K Feb 26 17:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 17:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 113K Feb 26 17:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:14 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 72K 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 1678583717632

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=HealthRecord-PT-14
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-12 01:15:21] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-12 01:15:21] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-12 01:15:21] [INFO ] Load time of PNML (sax parser for PT used): 91 ms
[2023-03-12 01:15:21] [INFO ] Transformed 162 places.
[2023-03-12 01:15:21] [INFO ] Transformed 347 transitions.
[2023-03-12 01:15:21] [INFO ] Found NUPN structural information;
[2023-03-12 01:15:21] [INFO ] Parsed PT model containing 162 places and 347 transitions and 915 arcs in 191 ms.
[2023-03-12 01:15:21] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 162 places, 347 transitions and 915 arcs took 9 ms.
Total runtime 258 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HealthRecord (PT), instance 14
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: 162 places, 347 transitions, 915 arcs.
AT ITER 0 NEW BEST:: SOT 40570 SOS 23758 HAS SOPS 23736 HAS SOUS 13416 HAS SOUPS 13403 WITH SCORE 13426.758
AT ITER 1 NEW BEST:: SOT 38320 SOS 23145 HAS SOPS 23123 HAS SOUS 12388 HAS SOUPS 12375 WITH SCORE 12398.145
AT ITER 5 NEW BEST:: SOT 38320 SOS 23145 HAS SOPS 23123 HAS SOUS 12360 HAS SOUPS 12347 WITH SCORE 12370.145
AT ITER 11 NEW BEST:: SOT 38320 SOS 23132 HAS SOPS 23110 HAS SOUS 12360 HAS SOUPS 12347 WITH SCORE 12370.132
AT ITER 15 NEW BEST:: SOT 38217 SOS 23029 HAS SOPS 23007 HAS SOUS 12359 HAS SOUPS 12346 WITH SCORE 12369.029
AT ITER 24 NEW BEST:: SOT 38165 SOS 22790 HAS SOPS 22768 HAS SOUS 12295 HAS SOUPS 12282 WITH SCORE 12304.79
AT ITER 27 NEW BEST:: SOT 38065 SOS 22290 HAS SOPS 22268 HAS SOUS 12165 HAS SOUPS 12152 WITH SCORE 12174.29
AT ITER 34 NEW BEST:: SOT 37458 SOS 21947 HAS SOPS 21925 HAS SOUS 12108 HAS SOUPS 12095 WITH SCORE 12116.947
AT ITER 35 NEW BEST:: SOT 37324 SOS 21832 HAS SOPS 21810 HAS SOUS 12085 HAS SOUPS 12072 WITH SCORE 12093.832
AT ITER 36 NEW BEST:: SOT 37303 SOS 21769 HAS SOPS 21747 HAS SOUS 12064 HAS SOUPS 12051 WITH SCORE 12072.769
AT ITER 41 NEW BEST:: SOT 37303 SOS 21808 HAS SOPS 21786 HAS SOUS 12063 HAS SOUPS 12050 WITH SCORE 12071.808
AT ITER 42 NEW BEST:: SOT 37304 SOS 21810 HAS SOPS 21788 HAS SOUS 12049 HAS SOUPS 12036 WITH SCORE 12057.81
AT ITER 43 NEW BEST:: SOT 37272 SOS 21746 HAS SOPS 21724 HAS SOUS 12033 HAS SOUPS 12020 WITH SCORE 12041.746
AT ITER 44 NEW BEST:: SOT 37578 SOS 20974 HAS SOPS 20952 HAS SOUS 11914 HAS SOUPS 11901 WITH SCORE 11921.974
AT ITER 47 NEW BEST:: SOT 37519 SOS 20805 HAS SOPS 20783 HAS SOUS 11863 HAS SOUPS 11850 WITH SCORE 11870.805
AT ITER 48 NEW BEST:: SOT 36842 SOS 22310 HAS SOPS 22288 HAS SOUS 11843 HAS SOUPS 11830 WITH SCORE 11852.31
AT ITER 49 NEW BEST:: SOT 36810 SOS 22246 HAS SOPS 22224 HAS SOUS 11812 HAS SOUPS 11799 WITH SCORE 11821.246
AT ITER 50 NEW BEST:: SOT 36776 SOS 22110 HAS SOPS 22088 HAS SOUS 11778 HAS SOUPS 11765 WITH SCORE 11787.11
AT ITER 52 NEW BEST:: SOT 36788 SOS 22104 HAS SOPS 22082 HAS SOUS 11769 HAS SOUPS 11756 WITH SCORE 11778.104
AT ITER 53 NEW BEST:: SOT 36525 SOS 22031 HAS SOPS 22009 HAS SOUS 11752 HAS SOUPS 11739 WITH SCORE 11761.031
AT ITER 55 NEW BEST:: SOT 36541 SOS 22062 HAS SOPS 22040 HAS SOUS 11738 HAS SOUPS 11725 WITH SCORE 11747.062
AT ITER 57 NEW BEST:: SOT 36497 SOS 22190 HAS SOPS 22168 HAS SOUS 11682 HAS SOUPS 11669 WITH SCORE 11691.19
AT ITER 59 NEW BEST:: SOT 36503 SOS 22202 HAS SOPS 22180 HAS SOUS 11676 HAS SOUPS 11663 WITH SCORE 11685.202
AT ITER 60 NEW BEST:: SOT 36475 SOS 22146 HAS SOPS 22124 HAS SOUS 11676 HAS SOUPS 11663 WITH SCORE 11685.146
AT ITER 63 NEW BEST:: SOT 36429 SOS 22100 HAS SOPS 22078 HAS SOUS 11630 HAS SOUPS 11617 WITH SCORE 11639.1
AT ITER 64 NEW BEST:: SOT 36353 SOS 21893 HAS SOPS 21871 HAS SOUS 11617 HAS SOUPS 11604 WITH SCORE 11625.893
AT ITER 68 NEW BEST:: SOT 36353 SOS 21797 HAS SOPS 21775 HAS SOUS 11589 HAS SOUPS 11576 WITH SCORE 11597.797
AT ITER 72 NEW BEST:: SOT 35126 SOS 21112 HAS SOPS 21090 HAS SOUS 10362 HAS SOUPS 10349 WITH SCORE 10370.112
AT ITER 74 NEW BEST:: SOT 35076 SOS 21816 HAS SOPS 21794 HAS SOUS 10333 HAS SOUPS 10320 WITH SCORE 10341.816
AT ITER 79 NEW BEST:: SOT 35055 SOS 21795 HAS SOPS 21773 HAS SOUS 10263 HAS SOUPS 10250 WITH SCORE 10271.795
AT ITER 82 NEW BEST:: SOT 35058 SOS 21801 HAS SOPS 21779 HAS SOUS 10205 HAS SOUPS 10192 WITH SCORE 10213.801
AT ITER 85 NEW BEST:: SOT 35007 SOS 21752 HAS SOPS 21730 HAS SOUS 10103 HAS SOUPS 10090 WITH SCORE 10111.752
AT ITER 87 NEW BEST:: SOT 35007 SOS 21748 HAS SOPS 21726 HAS SOUS 10096 HAS SOUPS 10083 WITH SCORE 10104.748
AT ITER 90 NEW BEST:: SOT 35007 SOS 21769 HAS SOPS 21747 HAS SOUS 10088 HAS SOUPS 10075 WITH SCORE 10096.769
AT ITER 96 NEW BEST:: SOT 33461 SOS 21173 HAS SOPS 21151 HAS SOUS 9183 HAS SOUPS 9170 WITH SCORE 9191.173
AT ITER 97 NEW BEST:: SOT 33497 SOS 21238 HAS SOPS 21216 HAS SOUS 9180 HAS SOUPS 9167 WITH SCORE 9188.238
AT ITER 101 NEW BEST:: SOT 33543 SOS 21297 HAS SOPS 21275 HAS SOUS 9170 HAS SOUPS 9157 WITH SCORE 9178.297
AT ITER 104 NEW BEST:: SOT 33543 SOS 21234 HAS SOPS 21212 HAS SOUS 9103 HAS SOUPS 9090 WITH SCORE 9111.234
AT ITER 105 NEW BEST:: SOT 33469 SOS 21062 HAS SOPS 21040 HAS SOUS 9008 HAS SOUPS 8995 WITH SCORE 9016.062
AT ITER 106 NEW BEST:: SOT 33894 SOS 20111 HAS SOPS 20089 HAS SOUS 8963 HAS SOUPS 8950 WITH SCORE 8970.111
AT ITER 108 NEW BEST:: SOT 33902 SOS 20104 HAS SOPS 20082 HAS SOUS 8952 HAS SOUPS 8939 WITH SCORE 8959.104
AT ITER 110 NEW BEST:: SOT 33841 SOS 20023 HAS SOPS 20001 HAS SOUS 8923 HAS SOUPS 8910 WITH SCORE 8930.023
AT ITER 114 NEW BEST:: SOT 33841 SOS 19957 HAS SOPS 19935 HAS SOUS 8891 HAS SOUPS 8878 WITH SCORE 8897.957
AT ITER 117 NEW BEST:: SOT 33830 SOS 20011 HAS SOPS 19989 HAS SOUS 8832 HAS SOUPS 8819 WITH SCORE 8839.011
AT ITER 124 NEW BEST:: SOT 33686 SOS 19990 HAS SOPS 19968 HAS SOUS 8780 HAS SOUPS 8767 WITH SCORE 8786.99
AT ITER 127 NEW BEST:: SOT 33653 SOS 19929 HAS SOPS 19907 HAS SOUS 8747 HAS SOUPS 8734 WITH SCORE 8753.929
AT ITER 128 NEW BEST:: SOT 33653 SOS 19955 HAS SOPS 19933 HAS SOUS 8738 HAS SOUPS 8725 WITH SCORE 8744.955
AT ITER 129 NEW BEST:: SOT 33624 SOS 18898 HAS SOPS 18876 HAS SOUS 8706 HAS SOUPS 8693 WITH SCORE 8711.898
AT ITER 130 NEW BEST:: SOT 33608 SOS 18880 HAS SOPS 18858 HAS SOUS 8669 HAS SOUPS 8656 WITH SCORE 8674.88
AT ITER 140 NEW BEST:: SOT 33419 SOS 18716 HAS SOPS 18694 HAS SOUS 8587 HAS SOUPS 8574 WITH SCORE 8592.716
AT ITER 147 NEW BEST:: SOT 33419 SOS 18694 HAS SOPS 18672 HAS SOUS 8565 HAS SOUPS 8552 WITH SCORE 8570.694
AT ITER 148 NEW BEST:: SOT 33434 SOS 18656 HAS SOPS 18634 HAS SOUS 8549 HAS SOUPS 8536 WITH SCORE 8554.656
AT ITER 149 NEW BEST:: SOT 33284 SOS 18441 HAS SOPS 18419 HAS SOUS 8518 HAS SOUPS 8505 WITH SCORE 8523.441
AT ITER 150 NEW BEST:: SOT 33276 SOS 18433 HAS SOPS 18411 HAS SOUS 8502 HAS SOUPS 8489 WITH SCORE 8507.433
AT ITER 152 NEW BEST:: SOT 33190 SOS 18133 HAS SOPS 18111 HAS SOUS 8401 HAS SOUPS 8388 WITH SCORE 8406.133
AT ITER 153 NEW BEST:: SOT 33190 SOS 18152 HAS SOPS 18130 HAS SOUS 8398 HAS SOUPS 8385 WITH SCORE 8403.152
AT ITER 155 NEW BEST:: SOT 33156 SOS 18108 HAS SOPS 18086 HAS SOUS 8322 HAS SOUPS 8309 WITH SCORE 8327.108
AT ITER 156 NEW BEST:: SOT 33156 SOS 18114 HAS SOPS 18092 HAS SOUS 8310 HAS SOUPS 8297 WITH SCORE 8315.114
AT ITER 159 NEW BEST:: SOT 33036 SOS 18156 HAS SOPS 18134 HAS SOUS 8190 HAS SOUPS 8177 WITH SCORE 8195.156
AT ITER 162 NEW BEST:: SOT 32634 SOS 18237 HAS SOPS 18215 HAS SOUS 7731 HAS SOUPS 7718 WITH SCORE 7736.237
AT ITER 164 NEW BEST:: SOT 32629 SOS 18232 HAS SOPS 18210 HAS SOUS 7726 HAS SOUPS 7713 WITH SCORE 7731.232
AT ITER 165 NEW BEST:: SOT 32629 SOS 18223 HAS SOPS 18201 HAS SOUS 7726 HAS SOUPS 7713 WITH SCORE 7731.223
AT ITER 166 NEW BEST:: SOT 32532 SOS 18155 HAS SOPS 18133 HAS SOUS 7716 HAS SOUPS 7703 WITH SCORE 7721.155
AT ITER 168 NEW BEST:: SOT 32595 SOS 18268 HAS SOPS 18246 HAS SOUS 7692 HAS SOUPS 7679 WITH SCORE 7697.268
AT ITER 169 NEW BEST:: SOT 32511 SOS 18175 HAS SOPS 18153 HAS SOUS 7628 HAS SOUPS 7615 WITH SCORE 7633.175
AT ITER 170 NEW BEST:: SOT 32498 SOS 18162 HAS SOPS 18140 HAS SOUS 7615 HAS SOUPS 7602 WITH SCORE 7620.162
AT ITER 171 NEW BEST:: SOT 32537 SOS 17888 HAS SOPS 17866 HAS SOUS 7615 HAS SOUPS 7602 WITH SCORE 7619.888
AT ITER 174 NEW BEST:: SOT 32569 SOS 17986 HAS SOPS 17964 HAS SOUS 7545 HAS SOUPS 7532 WITH SCORE 7549.986
AT ITER 177 NEW BEST:: SOT 32547 SOS 17935 HAS SOPS 17913 HAS SOUS 7490 HAS SOUPS 7477 WITH SCORE 7494.935
AT ITER 178 NEW BEST:: SOT 32529 SOS 17914 HAS SOPS 17892 HAS SOUS 7472 HAS SOUPS 7459 WITH SCORE 7476.914
AT ITER 181 NEW BEST:: SOT 32526 SOS 17911 HAS SOPS 17889 HAS SOUS 7466 HAS SOUPS 7453 WITH SCORE 7470.911
AT ITER 182 NEW BEST:: SOT 32526 SOS 17905 HAS SOPS 17883 HAS SOUS 7460 HAS SOUPS 7447 WITH SCORE 7464.905
AT ITER 184 NEW BEST:: SOT 32535 SOS 17918 HAS SOPS 17896 HAS SOUS 7435 HAS SOUPS 7422 WITH SCORE 7439.918
AT ITER 190 NEW BEST:: SOT 32481 SOS 17818 HAS SOPS 17796 HAS SOUS 7405 HAS SOUPS 7392 WITH SCORE 7409.818
AT ITER 199 NEW BEST:: SOT 32304 SOS 17392 HAS SOPS 17370 HAS SOUS 7228 HAS SOUPS 7215 WITH SCORE 7232.392
AT ITER 202 NEW BEST:: SOT 32294 SOS 17382 HAS SOPS 17360 HAS SOUS 7213 HAS SOUPS 7200 WITH SCORE 7217.382
AT ITER 203 NEW BEST:: SOT 32295 SOS 17387 HAS SOPS 17365 HAS SOUS 7183 HAS SOUPS 7170 WITH SCORE 7187.387
AT ITER 205 NEW BEST:: SOT 32236 SOS 17330 HAS SOPS 17308 HAS SOUS 7154 HAS SOUPS 7141 WITH SCORE 7158.33
AT ITER 209 NEW BEST:: SOT 32229 SOS 17323 HAS SOPS 17301 HAS SOUS 7154 HAS SOUPS 7141 WITH SCORE 7158.323
AT ITER 210 NEW BEST:: SOT 32101 SOS 16977 HAS SOPS 16955 HAS SOUS 7094 HAS SOUPS 7081 WITH SCORE 7097.977
AT ITER 211 NEW BEST:: SOT 31941 SOS 17355 HAS SOPS 17333 HAS SOUS 6932 HAS SOUPS 6919 WITH SCORE 6936.355
AT ITER 213 NEW BEST:: SOT 31909 SOS 17334 HAS SOPS 17312 HAS SOUS 6927 HAS SOUPS 6914 WITH SCORE 6931.334
AT ITER 228 NEW BEST:: SOT 31913 SOS 17338 HAS SOPS 17316 HAS SOUS 6921 HAS SOUPS 6908 WITH SCORE 6925.338
AT ITER 229 NEW BEST:: SOT 31837 SOS 18808 HAS SOPS 18786 HAS SOUS 6885 HAS SOUPS 6872 WITH SCORE 6890.808
AT ITER 233 NEW BEST:: SOT 31800 SOS 18715 HAS SOPS 18693 HAS SOUS 6848 HAS SOUPS 6835 WITH SCORE 6853.715
AT ITER 235 NEW BEST:: SOT 31812 SOS 18716 HAS SOPS 18694 HAS SOUS 6801 HAS SOUPS 6788 WITH SCORE 6806.716
AT ITER 254 NEW BEST:: SOT 31820 SOS 18689 HAS SOPS 18667 HAS SOUS 6766 HAS SOUPS 6753 WITH SCORE 6771.689
AT ITER 256 NEW BEST:: SOT 31818 SOS 18663 HAS SOPS 18641 HAS SOUS 6747 HAS SOUPS 6734 WITH SCORE 6752.663
AT ITER 265 NEW BEST:: SOT 31840 SOS 18665 HAS SOPS 18643 HAS SOUS 6737 HAS SOUPS 6724 WITH SCORE 6742.665
AT ITER 266 NEW BEST:: SOT 31891 SOS 18716 HAS SOPS 18694 HAS SOUS 6720 HAS SOUPS 6707 WITH SCORE 6725.716
AT ITER 271 NEW BEST:: SOT 31885 SOS 18706 HAS SOPS 18684 HAS SOUS 6716 HAS SOUPS 6703 WITH SCORE 6721.706
AT ITER 275 NEW BEST:: SOT 31852 SOS 18651 HAS SOPS 18629 HAS SOUS 6694 HAS SOUPS 6681 WITH SCORE 6699.651
AT ITER 278 NEW BEST:: SOT 31681 SOS 18727 HAS SOPS 18705 HAS SOUS 6501 HAS SOUPS 6488 WITH SCORE 6506.727
AT ITER 279 NEW BEST:: SOT 31681 SOS 18718 HAS SOPS 18696 HAS SOUS 6501 HAS SOUPS 6488 WITH SCORE 6506.718
AT ITER 286 NEW BEST:: SOT 31684 SOS 18721 HAS SOPS 18699 HAS SOUS 6498 HAS SOUPS 6485 WITH SCORE 6503.721
AT ITER 292 NEW BEST:: SOT 31660 SOS 18697 HAS SOPS 18675 HAS SOUS 6474 HAS SOUPS 6461 WITH SCORE 6479.697
AT ITER 293 NEW BEST:: SOT 31645 SOS 18670 HAS SOPS 18648 HAS SOUS 6465 HAS SOUPS 6452 WITH SCORE 6470.67
AT ITER 297 NEW BEST:: SOT 31645 SOS 18668 HAS SOPS 18646 HAS SOUS 6465 HAS SOUPS 6452 WITH SCORE 6470.668
AT ITER 304 NEW BEST:: SOT 31625 SOS 18637 HAS SOPS 18615 HAS SOUS 6447 HAS SOUPS 6434 WITH SCORE 6452.637
AT ITER 315 NEW BEST:: SOT 31604 SOS 18602 HAS SOPS 18580 HAS SOUS 6433 HAS SOUPS 6420 WITH SCORE 6438.602
AT ITER 317 NEW BEST:: SOT 31544 SOS 18482 HAS SOPS 18460 HAS SOUS 6403 HAS SOUPS 6390 WITH SCORE 6408.482
AT ITER 323 NEW BEST:: SOT 31533 SOS 18508 HAS SOPS 18486 HAS SOUS 6374 HAS SOUPS 6361 WITH SCORE 6379.508
AT ITER 324 NEW BEST:: SOT 31533 SOS 18508 HAS SOPS 18486 HAS SOUS 6364 HAS SOUPS 6351 WITH SCORE 6369.508
AT ITER 326 NEW BEST:: SOT 31473 SOS 18415 HAS SOPS 18393 HAS SOUS 6316 HAS SOUPS 6303 WITH SCORE 6321.415
AT ITER 344 NEW BEST:: SOT 31394 SOS 18328 HAS SOPS 18306 HAS SOUS 6247 HAS SOUPS 6234 WITH SCORE 6252.328
AT ITER 351 NEW BEST:: SOT 31365 SOS 18271 HAS SOPS 18249 HAS SOUS 6245 HAS SOUPS 6232 WITH SCORE 6250.271
AT ITER 352 NEW BEST:: SOT 31350 SOS 18246 HAS SOPS 18224 HAS SOUS 6235 HAS SOUPS 6222 WITH SCORE 6240.246
AT ITER 356 NEW BEST:: SOT 31306 SOS 18202 HAS SOPS 18180 HAS SOUS 6235 HAS SOUPS 6222 WITH SCORE 6240.202
AT ITER 366 NEW BEST:: SOT 31320 SOS 18199 HAS SOPS 18177 HAS SOUS 6211 HAS SOUPS 6198 WITH SCORE 6216.199
AT ITER 371 NEW BEST:: SOT 31268 SOS 18108 HAS SOPS 18086 HAS SOUS 6188 HAS SOUPS 6175 WITH SCORE 6193.108
AT ITER 373 NEW BEST:: SOT 31245 SOS 18085 HAS SOPS 18063 HAS SOUS 6112 HAS SOUPS 6099 WITH SCORE 6117.085
AT ITER 392 NEW BEST:: SOT 31233 SOS 18073 HAS SOPS 18051 HAS SOUS 6100 HAS SOUPS 6087 WITH SCORE 6105.073
AT ITER 402 NEW BEST:: SOT 31290 SOS 18130 HAS SOPS 18108 HAS SOUS 6091 HAS SOUPS 6078 WITH SCORE 6096.13
AT ITER 418 NEW BEST:: SOT 31341 SOS 18180 HAS SOPS 18158 HAS SOUS 6018 HAS SOUPS 6005 WITH SCORE 6023.18
AT ITER 420 NEW BEST:: SOT 31339 SOS 18172 HAS SOPS 18150 HAS SOUS 6012 HAS SOUPS 5999 WITH SCORE 6017.172
AT ITER 429 NEW BEST:: SOT 31351 SOS 18160 HAS SOPS 18138 HAS SOUS 6012 HAS SOUPS 5999 WITH SCORE 6017.16
AT ITER 431 NEW BEST:: SOT 31339 SOS 18140 HAS SOPS 18118 HAS SOUS 6000 HAS SOUPS 5987 WITH SCORE 6005.14
AT ITER 436 NEW BEST:: SOT 31173 SOS 18201 HAS SOPS 18179 HAS SOUS 5951 HAS SOUPS 5938 WITH SCORE 5956.201
AT ITER 438 NEW BEST:: SOT 31202 SOS 18222 HAS SOPS 18200 HAS SOUS 5934 HAS SOUPS 5921 WITH SCORE 5939.222
AT ITER 442 NEW BEST:: SOT 30902 SOS 18886 HAS SOPS 18864 HAS SOUS 5893 HAS SOUPS 5880 WITH SCORE 5898.886
AT ITER 452 NEW BEST:: SOT 30902 SOS 18878 HAS SOPS 18856 HAS SOUS 5877 HAS SOUPS 5864 WITH SCORE 5882.878
AT ITER 454 NEW BEST:: SOT 30904 SOS 18735 HAS SOPS 18713 HAS SOUS 5877 HAS SOUPS 5864 WITH SCORE 5882.735
AT ITER 456 NEW BEST:: SOT 30904 SOS 18735 HAS SOPS 18713 HAS SOUS 5833 HAS SOUPS 5820 WITH SCORE 5838.735
AT ITER 473 NEW BEST:: SOT 30941 SOS 18797 HAS SOPS 18775 HAS SOUS 5832 HAS SOUPS 5819 WITH SCORE 5837.797
AT ITER 480 NEW BEST:: SOT 30920 SOS 18803 HAS SOPS 18781 HAS SOUS 5791 HAS SOUPS 5778 WITH SCORE 5796.803
AT ITER 483 NEW BEST:: SOT 30912 SOS 18795 HAS SOPS 18773 HAS SOUS 5783 HAS SOUPS 5770 WITH SCORE 5788.795
AT ITER 494 NEW BEST:: SOT 30884 SOS 18753 HAS SOPS 18731 HAS SOUS 5773 HAS SOUPS 5760 WITH SCORE 5778.753
AT ITER 497 NEW BEST:: SOT 30860 SOS 18729 HAS SOPS 18707 HAS SOUS 5733 HAS SOUPS 5720 WITH SCORE 5738.729
AT ITER 505 NEW BEST:: SOT 30782 SOS 18810 HAS SOPS 18788 HAS SOUS 5709 HAS SOUPS 5696 WITH SCORE 5714.81
AT ITER 511 NEW BEST:: SOT 30759 SOS 18702 HAS SOPS 18680 HAS SOUS 5681 HAS SOUPS 5668 WITH SCORE 5686.702
AT ITER 522 NEW BEST:: SOT 30678 SOS 18567 HAS SOPS 18545 HAS SOUS 5593 HAS SOUPS 5580 WITH SCORE 5598.567
AT ITER 531 NEW BEST:: SOT 30667 SOS 18556 HAS SOPS 18534 HAS SOUS 5571 HAS SOUPS 5558 WITH SCORE 5576.556
AT ITER 544 NEW BEST:: SOT 30665 SOS 18552 HAS SOPS 18530 HAS SOUS 5571 HAS SOUPS 5558 WITH SCORE 5576.552
AT ITER 545 NEW BEST:: SOT 30567 SOS 18356 HAS SOPS 18334 HAS SOUS 5568 HAS SOUPS 5555 WITH SCORE 5573.356
AT ITER 552 NEW BEST:: SOT 30511 SOS 18272 HAS SOPS 18250 HAS SOUS 5568 HAS SOUPS 5555 WITH SCORE 5573.272
AT ITER 559 NEW BEST:: SOT 30525 SOS 18260 HAS SOPS 18238 HAS SOUS 5566 HAS SOUPS 5553 WITH SCORE 5571.26
AT ITER 561 NEW BEST:: SOT 30519 SOS 18228 HAS SOPS 18206 HAS SOUS 5554 HAS SOUPS 5541 WITH SCORE 5559.228
AT ITER 564 NEW BEST:: SOT 30451 SOS 18061 HAS SOPS 18039 HAS SOUS 5515 HAS SOUPS 5502 WITH SCORE 5520.061
AT ITER 570 NEW BEST:: SOT 30438 SOS 18048 HAS SOPS 18026 HAS SOUS 5489 HAS SOUPS 5476 WITH SCORE 5494.048
AT ITER 572 NEW BEST:: SOT 30416 SOS 18004 HAS SOPS 17982 HAS SOUS 5473 HAS SOUPS 5460 WITH SCORE 5478.004
AT ITER 597 NEW BEST:: SOT 30394 SOS 17949 HAS SOPS 17927 HAS SOUS 5439 HAS SOUPS 5426 WITH SCORE 5443.949
AT ITER 612 NEW BEST:: SOT 30400 SOS 17937 HAS SOPS 17915 HAS SOUS 5439 HAS SOUPS 5426 WITH SCORE 5443.937
AT ITER 619 NEW BEST:: SOT 30396 SOS 17933 HAS SOPS 17911 HAS SOUS 5439 HAS SOUPS 5426 WITH SCORE 5443.933
AT ITER 628 NEW BEST:: SOT 30393 SOS 17930 HAS SOPS 17908 HAS SOUS 5422 HAS SOUPS 5409 WITH SCORE 5426.93
AT ITER 643 NEW BEST:: SOT 30391 SOS 17928 HAS SOPS 17906 HAS SOUS 5420 HAS SOUPS 5407 WITH SCORE 5424.928
AT ITER 647 NEW BEST:: SOT 30368 SOS 17881 HAS SOPS 17859 HAS SOUS 5398 HAS SOUPS 5385 WITH SCORE 5402.881
AT ITER 659 NEW BEST:: SOT 30354 SOS 17867 HAS SOPS 17845 HAS SOUS 5380 HAS SOUPS 5367 WITH SCORE 5384.867
AT ITER 677 NEW BEST:: SOT 30271 SOS 17713 HAS SOPS 17691 HAS SOUS 5368 HAS SOUPS 5355 WITH SCORE 5372.713
AT ITER 680 NEW BEST:: SOT 30272 SOS 17714 HAS SOPS 17692 HAS SOUS 5362 HAS SOUPS 5349 WITH SCORE 5366.714
AT ITER 684 NEW BEST:: SOT 30273 SOS 17712 HAS SOPS 17690 HAS SOUS 5360 HAS SOUPS 5347 WITH SCORE 5364.712
AT ITER 685 NEW BEST:: SOT 30251 SOS 17669 HAS SOPS 17647 HAS SOUS 5347 HAS SOUPS 5334 WITH SCORE 5351.669
AT ITER 690 NEW BEST:: SOT 30233 SOS 17230 HAS SOPS 17208 HAS SOUS 5316 HAS SOUPS 5303 WITH SCORE 5320.23
AT ITER 698 NEW BEST:: SOT 30228 SOS 17225 HAS SOPS 17203 HAS SOUS 5311 HAS SOUPS 5298 WITH SCORE 5315.225
AT ITER 706 NEW BEST:: SOT 30185 SOS 17181 HAS SOPS 17159 HAS SOUS 5307 HAS SOUPS 5294 WITH SCORE 5311.181
AT ITER 717 NEW BEST:: SOT 30172 SOS 17168 HAS SOPS 17146 HAS SOUS 5285 HAS SOUPS 5272 WITH SCORE 5289.168
AT ITER 719 NEW BEST:: SOT 30215 SOS 17254 HAS SOPS 17232 HAS SOUS 5280 HAS SOUPS 5267 WITH SCORE 5284.254
AT ITER 721 NEW BEST:: SOT 30211 SOS 17246 HAS SOPS 17224 HAS SOUS 5278 HAS SOUPS 5265 WITH SCORE 5282.246
AT ITER 722 NEW BEST:: SOT 30210 SOS 17245 HAS SOPS 17223 HAS SOUS 5277 HAS SOUPS 5264 WITH SCORE 5281.245
AT ITER 750 NEW BEST:: SOT 30217 SOS 17256 HAS SOPS 17234 HAS SOUS 5274 HAS SOUPS 5261 WITH SCORE 5278.256
AT ITER 765 NEW BEST:: SOT 30216 SOS 17255 HAS SOPS 17233 HAS SOUS 5272 HAS SOUPS 5259 WITH SCORE 5276.255
AT ITER 776 NEW BEST:: SOT 30190 SOS 17190 HAS SOPS 17168 HAS SOUS 5243 HAS SOUPS 5230 WITH SCORE 5247.19
AT ITER 809 NEW BEST:: SOT 30187 SOS 17178 HAS SOPS 17156 HAS SOUS 5240 HAS SOUPS 5227 WITH SCORE 5244.178
AT ITER 823 NEW BEST:: SOT 30199 SOS 17202 HAS SOPS 17180 HAS SOUS 5223 HAS SOUPS 5210 WITH SCORE 5227.202
AT ITER 851 NEW BEST:: SOT 30191 SOS 17188 HAS SOPS 17166 HAS SOUS 5215 HAS SOUPS 5202 WITH SCORE 5219.188
AT ITER 855 NEW BEST:: SOT 30235 SOS 17266 HAS SOPS 17244 HAS SOUS 5170 HAS SOUPS 5157 WITH SCORE 5174.266
AT ITER 880 NEW BEST:: SOT 30283 SOS 17371 HAS SOPS 17349 HAS SOUS 5157 HAS SOUPS 5144 WITH SCORE 5161.371
AT ITER 881 NEW BEST:: SOT 30282 SOS 17370 HAS SOPS 17348 HAS SOUS 5157 HAS SOUPS 5144 WITH SCORE 5161.37
AT ITER 882 NEW BEST:: SOT 30286 SOS 17374 HAS SOPS 17352 HAS SOUS 5151 HAS SOUPS 5138 WITH SCORE 5155.374
AT ITER 885 NEW BEST:: SOT 30281 SOS 17364 HAS SOPS 17342 HAS SOUS 5146 HAS SOUPS 5133 WITH SCORE 5150.364
AT ITER 890 NEW BEST:: SOT 30272 SOS 17328 HAS SOPS 17306 HAS SOUS 5137 HAS SOUPS 5124 WITH SCORE 5141.328
AT ITER 892 NEW BEST:: SOT 30272 SOS 17401 HAS SOPS 17379 HAS SOUS 5135 HAS SOUPS 5122 WITH SCORE 5139.401
AT ITER 897 NEW BEST:: SOT 30185 SOS 17741 HAS SOPS 17719 HAS SOUS 5131 HAS SOUPS 5118 WITH SCORE 5135.741
AT ITER 928 NEW BEST:: SOT 30128 SOS 17612 HAS SOPS 17590 HAS SOUS 5113 HAS SOUPS 5100 WITH SCORE 5117.612
AT ITER 940 NEW BEST:: SOT 30128 SOS 17612 HAS SOPS 17590 HAS SOUS 5100 HAS SOUPS 5087 WITH SCORE 5104.612
AT ITER 968 NEW BEST:: SOT 30088 SOS 17538 HAS SOPS 17516 HAS SOUS 5082 HAS SOUPS 5069 WITH SCORE 5086.538
AT ITER 971 NEW BEST:: SOT 30111 SOS 17623 HAS SOPS 17601 HAS SOUS 5072 HAS SOUPS 5059 WITH SCORE 5076.623
AT ITER 995 NEW BEST:: SOT 30111 SOS 17647 HAS SOPS 17625 HAS SOUS 5048 HAS SOUPS 5035 WITH SCORE 5052.647
AT ITER 1047 NEW BEST:: SOT 30111 SOS 17641 HAS SOPS 17619 HAS SOUS 5046 HAS SOUPS 5033 WITH SCORE 5050.641
AT ITER 1050 NEW BEST:: SOT 30110 SOS 17640 HAS SOPS 17618 HAS SOUS 5045 HAS SOUPS 5032 WITH SCORE 5049.64
AT ITER 1055 NEW BEST:: SOT 30094 SOS 17623 HAS SOPS 17601 HAS SOUS 5040 HAS SOUPS 5027 WITH SCORE 5044.623
AT ITER 1064 NEW BEST:: SOT 30094 SOS 17671 HAS SOPS 17649 HAS SOUS 5038 HAS SOUPS 5025 WITH SCORE 5042.671
AT ITER 1095 NEW BEST:: SOT 30208 SOS 17864 HAS SOPS 17842 HAS SOUS 5029 HAS SOUPS 5016 WITH SCORE 5033.864
AT ITER 1120 NEW BEST:: SOT 30219 SOS 17875 HAS SOPS 17853 HAS SOUS 4982 HAS SOUPS 4969 WITH SCORE 4986.875
AT ITER 1126 NEW BEST:: SOT 30212 SOS 17868 HAS SOPS 17846 HAS SOUS 4976 HAS SOUPS 4963 WITH SCORE 4980.868
AT ITER 1138 NEW BEST:: SOT 30201 SOS 17857 HAS SOPS 17835 HAS SOUS 4954 HAS SOUPS 4941 WITH SCORE 4958.857
AT ITER 1148 NEW BEST:: SOT 30191 SOS 17847 HAS SOPS 17825 HAS SOUS 4954 HAS SOUPS 4941 WITH SCORE 4958.847
AT ITER 1151 NEW BEST:: SOT 30096 SOS 18038 HAS SOPS 18016 HAS SOUS 4950 HAS SOUPS 4937 WITH SCORE 4955.038
AT ITER 1157 NEW BEST:: SOT 30105 SOS 18056 HAS SOPS 18034 HAS SOUS 4943 HAS SOUPS 4930 WITH SCORE 4948.056
AT ITER 1165 NEW BEST:: SOT 30103 SOS 18054 HAS SOPS 18032 HAS SOUS 4941 HAS SOUPS 4928 WITH SCORE 4946.054
AT ITER 1173 NEW BEST:: SOT 30100 SOS 18051 HAS SOPS 18029 HAS SOUS 4938 HAS SOUPS 4925 WITH SCORE 4943.051
AT ITER 1178 NEW BEST:: SOT 30099 SOS 18050 HAS SOPS 18028 HAS SOUS 4936 HAS SOUPS 4923 WITH SCORE 4941.05
AT ITER 1190 NEW BEST:: SOT 30066 SOS 18017 HAS SOPS 17995 HAS SOUS 4918 HAS SOUPS 4905 WITH SCORE 4923.017
AT ITER 1191 NEW BEST:: SOT 30057 SOS 17993 HAS SOPS 17971 HAS SOUS 4901 HAS SOUPS 4888 WITH SCORE 4905.993
AT ITER 1200 NEW BEST:: SOT 30057 SOS 17993 HAS SOPS 17971 HAS SOUS 4887 HAS SOUPS 4874 WITH SCORE 4891.993
AT ITER 1221 NEW BEST:: SOT 30057 SOS 17993 HAS SOPS 17971 HAS SOUS 4878 HAS SOUPS 4865 WITH SCORE 4882.993
AT ITER 1240 NEW BEST:: SOT 30064 SOS 18241 HAS SOPS 18219 HAS SOUS 4860 HAS SOUPS 4847 WITH SCORE 4865.241
AT ITER 1251 NEW BEST:: SOT 30042 SOS 18155 HAS SOPS 18133 HAS SOUS 4809 HAS SOUPS 4796 WITH SCORE 4814.155
AT ITER 1256 NEW BEST:: SOT 30042 SOS 18218 HAS SOPS 18196 HAS SOUS 4805 HAS SOUPS 4792 WITH SCORE 4810.218
AT ITER 1261 NEW BEST:: SOT 30020 SOS 18196 HAS SOPS 18174 HAS SOUS 4771 HAS SOUPS 4758 WITH SCORE 4776.196
AT ITER 1264 NEW BEST:: SOT 30019 SOS 18195 HAS SOPS 18173 HAS SOUS 4770 HAS SOUPS 4757 WITH SCORE 4775.195
AT ITER 1285 NEW BEST:: SOT 30030 SOS 18202 HAS SOPS 18180 HAS SOUS 4768 HAS SOUPS 4755 WITH SCORE 4773.202
AT ITER 1289 NEW BEST:: SOT 30023 SOS 18195 HAS SOPS 18173 HAS SOUS 4761 HAS SOUPS 4748 WITH SCORE 4766.195
AT ITER 1292 NEW BEST:: SOT 30018 SOS 18163 HAS SOPS 18141 HAS SOUS 4742 HAS SOUPS 4729 WITH SCORE 4747.163
AT ITER 1306 NEW BEST:: SOT 30006 SOS 18151 HAS SOPS 18129 HAS SOUS 4730 HAS SOUPS 4717 WITH SCORE 4735.151
AT ITER 1339 NEW BEST:: SOT 30015 SOS 18160 HAS SOPS 18138 HAS SOUS 4682 HAS SOUPS 4669 WITH SCORE 4687.16
AT ITER 1356 NEW BEST:: SOT 30041 SOS 18056 HAS SOPS 18034 HAS SOUS 4673 HAS SOUPS 4660 WITH SCORE 4678.056
AT ITER 1358 NEW BEST:: SOT 29891 SOS 18671 HAS SOPS 18649 HAS SOUS 4528 HAS SOUPS 4515 WITH SCORE 4533.671
AT ITER 1364 NEW BEST:: SOT 29902 SOS 18681 HAS SOPS 18659 HAS SOUS 4502 HAS SOUPS 4489 WITH SCORE 4507.681
AT ITER 1366 NEW BEST:: SOT 29901 SOS 18679 HAS SOPS 18657 HAS SOUS 4500 HAS SOUPS 4487 WITH SCORE 4505.679
AT ITER 1369 NEW BEST:: SOT 29859 SOS 18613 HAS SOPS 18591 HAS SOUS 4458 HAS SOUPS 4445 WITH SCORE 4463.613
AT ITER 1408 NEW BEST:: SOT 29848 SOS 18606 HAS SOPS 18584 HAS SOUS 4438 HAS SOUPS 4425 WITH SCORE 4443.606
AT ITER 1430 NEW BEST:: SOT 29836 SOS 18546 HAS SOPS 18524 HAS SOUS 4426 HAS SOUPS 4413 WITH SCORE 4431.546
AT ITER 1499 NEW BEST:: SOT 29839 SOS 18520 HAS SOPS 18498 HAS SOUS 4411 HAS SOUPS 4398 WITH SCORE 4416.52
AT ITER 1513 NEW BEST:: SOT 29803 SOS 17872 HAS SOPS 17850 HAS SOUS 4387 HAS SOUPS 4374 WITH SCORE 4391.872
AT ITER 1540 NEW BEST:: SOT 29794 SOS 17869 HAS SOPS 17847 HAS SOUS 4377 HAS SOUPS 4364 WITH SCORE 4381.869
AT ITER 1573 NEW BEST:: SOT 29808 SOS 17884 HAS SOPS 17862 HAS SOUS 4343 HAS SOUPS 4330 WITH SCORE 4347.884
AT ITER 1603 NEW BEST:: SOT 29807 SOS 17883 HAS SOPS 17861 HAS SOUS 4341 HAS SOUPS 4328 WITH SCORE 4345.883
AT ITER 1606 NEW BEST:: SOT 29810 SOS 17889 HAS SOPS 17867 HAS SOUS 4340 HAS SOUPS 4327 WITH SCORE 4344.889
AT ITER 1653 NEW BEST:: SOT 29810 SOS 17889 HAS SOPS 17867 HAS SOUS 4338 HAS SOUPS 4325 WITH SCORE 4342.889
AT ITER 1655 NEW BEST:: SOT 29787 SOS 17864 HAS SOPS 17842 HAS SOUS 4316 HAS SOUPS 4303 WITH SCORE 4320.864
AT ITER 1658 NEW BEST:: SOT 29898 SOS 18025 HAS SOPS 18003 HAS SOUS 4286 HAS SOUPS 4273 WITH SCORE 4291.025
AT ITER 1664 NEW BEST:: SOT 29899 SOS 18029 HAS SOPS 18007 HAS SOUS 4285 HAS SOUPS 4272 WITH SCORE 4290.029
AT ITER 1665 NEW BEST:: SOT 29890 SOS 18020 HAS SOPS 17998 HAS SOUS 4268 HAS SOUPS 4255 WITH SCORE 4273.02
AT ITER 1666 NEW BEST:: SOT 29886 SOS 17960 HAS SOPS 17938 HAS SOUS 4264 HAS SOUPS 4251 WITH SCORE 4268.96
AT ITER 1679 NEW BEST:: SOT 29891 SOS 17955 HAS SOPS 17933 HAS SOUS 4259 HAS SOUPS 4246 WITH SCORE 4263.955
AT ITER 1687 NEW BEST:: SOT 29882 SOS 17801 HAS SOPS 17779 HAS SOUS 4245 HAS SOUPS 4232 WITH SCORE 4249.801
AT ITER 1694 NEW BEST:: SOT 29915 SOS 17836 HAS SOPS 17814 HAS SOUS 4232 HAS SOUPS 4219 WITH SCORE 4236.836
AT ITER 1733 NEW BEST:: SOT 29902 SOS 17823 HAS SOPS 17801 HAS SOUS 4228 HAS SOUPS 4215 WITH SCORE 4232.823
AT ITER 1745 NEW BEST:: SOT 29886 SOS 17782 HAS SOPS 17760 HAS SOUS 4220 HAS SOUPS 4207 WITH SCORE 4224.782
AT ITER 1788 NEW BEST:: SOT 29883 SOS 17779 HAS SOPS 17757 HAS SOUS 4214 HAS SOUPS 4201 WITH SCORE 4218.779
AT ITER 1794 NEW BEST:: SOT 29879 SOS 17775 HAS SOPS 17753 HAS SOUS 4206 HAS SOUPS 4193 WITH SCORE 4210.775
AT ITER 1796 NEW BEST:: SOT 29879 SOS 17775 HAS SOPS 17753 HAS SOUS 4204 HAS SOUPS 4191 WITH SCORE 4208.775
AT ITER 1845 NEW BEST:: SOT 29879 SOS 17775 HAS SOPS 17753 HAS SOUS 4191 HAS SOUPS 4178 WITH SCORE 4195.775
AT ITER 1858 NEW BEST:: SOT 29879 SOS 17775 HAS SOPS 17753 HAS SOUS 4190 HAS SOUPS 4177 WITH SCORE 4194.775
AT ITER 1871 NEW BEST:: SOT 29875 SOS 17663 HAS SOPS 17641 HAS SOUS 4186 HAS SOUPS 4173 WITH SCORE 4190.663
AT ITER 1880 NEW BEST:: SOT 29873 SOS 17659 HAS SOPS 17637 HAS SOUS 4185 HAS SOUPS 4172 WITH SCORE 4189.659
AT ITER 1898 NEW BEST:: SOT 29828 SOS 17614 HAS SOPS 17592 HAS SOUS 4140 HAS SOUPS 4127 WITH SCORE 4144.614
AT ITER 1913 NEW BEST:: SOT 29826 SOS 17612 HAS SOPS 17590 HAS SOUS 4136 HAS SOUPS 4123 WITH SCORE 4140.612
AT ITER 1957 NEW BEST:: SOT 29826 SOS 17629 HAS SOPS 17607 HAS SOUS 4132 HAS SOUPS 4119 WITH SCORE 4136.629
AT ITER 1962 NEW BEST:: SOT 29822 SOS 17625 HAS SOPS 17603 HAS SOUS 4124 HAS SOUPS 4111 WITH SCORE 4128.625
AT ITER 1977 NEW BEST:: SOT 29820 SOS 17623 HAS SOPS 17601 HAS SOUS 4122 HAS SOUPS 4109 WITH SCORE 4126.623
AT ITER 1986 NEW BEST:: SOT 29818 SOS 17621 HAS SOPS 17599 HAS SOUS 4120 HAS SOUPS 4107 WITH SCORE 4124.621
AT ITER 1998 NEW BEST:: SOT 29818 SOS 17621 HAS SOPS 17599 HAS SOUS 4119 HAS SOUPS 4106 WITH SCORE 4123.621
AT ITER 2041 NEW BEST:: SOT 29797 SOS 17754 HAS SOPS 17732 HAS SOUS 4098 HAS SOUPS 4085 WITH SCORE 4102.754
AT ITER 2070 NEW BEST:: SOT 29799 SOS 17754 HAS SOPS 17732 HAS SOUS 4095 HAS SOUPS 4082 WITH SCORE 4099.754
AT ITER 2112 NEW BEST:: SOT 29792 SOS 17747 HAS SOPS 17725 HAS SOUS 4077 HAS SOUPS 4064 WITH SCORE 4081.747
AT ITER 2118 NEW BEST:: SOT 29792 SOS 17747 HAS SOPS 17725 HAS SOUS 4076 HAS SOUPS 4063 WITH SCORE 4080.747
AT ITER 2129 NEW BEST:: SOT 29792 SOS 17747 HAS SOPS 17725 HAS SOUS 4075 HAS SOUPS 4062 WITH SCORE 4079.747
AT ITER 2136 NEW BEST:: SOT 29791 SOS 17705 HAS SOPS 17683 HAS SOUS 4074 HAS SOUPS 4061 WITH SCORE 4078.705
AT ITER 2137 NEW BEST:: SOT 29787 SOS 17701 HAS SOPS 17679 HAS SOUS 4069 HAS SOUPS 4056 WITH SCORE 4073.701
AT ITER 2154 NEW BEST:: SOT 29800 SOS 17727 HAS SOPS 17705 HAS SOUS 4066 HAS SOUPS 4053 WITH SCORE 4070.727
AT ITER 2161 NEW BEST:: SOT 29799 SOS 17726 HAS SOPS 17704 HAS SOUS 4063 HAS SOUPS 4050 WITH SCORE 4067.726
AT ITER 2166 NEW BEST:: SOT 29801 SOS 17730 HAS SOPS 17708 HAS SOUS 4056 HAS SOUPS 4043 WITH SCORE 4060.73
AT ITER 2171 NEW BEST:: SOT 29800 SOS 17727 HAS SOPS 17705 HAS SOUS 4052 HAS SOUPS 4039 WITH SCORE 4056.727
AT ITER 2217 NEW BEST:: SOT 29797 SOS 17724 HAS SOPS 17702 HAS SOUS 4052 HAS SOUPS 4039 WITH SCORE 4056.724
AT ITER 2222 NEW BEST:: SOT 29791 SOS 17718 HAS SOPS 17696 HAS SOUS 4047 HAS SOUPS 4034 WITH SCORE 4051.718
AT ITER 2310 NEW BEST:: SOT 29790 SOS 17717 HAS SOPS 17695 HAS SOUS 4046 HAS SOUPS 4033 WITH SCORE 4050.717
AT ITER 2362 NEW BEST:: SOT 29789 SOS 17746 HAS SOPS 17724 HAS SOUS 4045 HAS SOUPS 4032 WITH SCORE 4049.746
AT ITER 2363 NEW BEST:: SOT 29779 SOS 17701 HAS SOPS 17679 HAS SOUS 4030 HAS SOUPS 4017 WITH SCORE 4034.701
AT ITER 2368 NEW BEST:: SOT 29778 SOS 17699 HAS SOPS 17677 HAS SOUS 4030 HAS SOUPS 4017 WITH SCORE 4034.699
AT ITER 2402 NEW BEST:: SOT 29778 SOS 17697 HAS SOPS 17675 HAS SOUS 4028 HAS SOUPS 4015 WITH SCORE 4032.697
AT ITER 2421 NEW BEST:: SOT 29778 SOS 17695 HAS SOPS 17673 HAS SOUS 4026 HAS SOUPS 4013 WITH SCORE 4030.695
AT ITER 2428 NEW BEST:: SOT 29778 SOS 17695 HAS SOPS 17673 HAS SOUS 4022 HAS SOUPS 4009 WITH SCORE 4026.695
AT ITER 2443 NEW BEST:: SOT 29776 SOS 17694 HAS SOPS 17672 HAS SOUS 4022 HAS SOUPS 4009 WITH SCORE 4026.694
AT ITER 2447 NEW BEST:: SOT 29776 SOS 17689 HAS SOPS 17667 HAS SOUS 4017 HAS SOUPS 4004 WITH SCORE 4021.689
AT ITER 2473 NEW BEST:: SOT 29728 SOS 17545 HAS SOPS 17523 HAS SOUS 4017 HAS SOUPS 4004 WITH SCORE 4021.545
AT ITER 2486 NEW BEST:: SOT 29728 SOS 17545 HAS SOPS 17523 HAS SOUS 4015 HAS SOUPS 4002 WITH SCORE 4019.545
AT ITER 2497 NEW BEST:: SOT 29722 SOS 17524 HAS SOPS 17502 HAS SOUS 4005 HAS SOUPS 3992 WITH SCORE 4009.524
AT ITER 2528 NEW BEST:: SOT 29721 SOS 17526 HAS SOPS 17504 HAS SOUS 3999 HAS SOUPS 3986 WITH SCORE 4003.526
AT ITER 2544 NEW BEST:: SOT 29719 SOS 17522 HAS SOPS 17500 HAS SOUS 3998 HAS SOUPS 3985 WITH SCORE 4002.522
AT ITER 2586 NEW BEST:: SOT 29745 SOS 17682 HAS SOPS 17660 HAS SOUS 3997 HAS SOUPS 3984 WITH SCORE 4001.682
AT ITER 2603 NEW BEST:: SOT 29701 SOS 17556 HAS SOPS 17534 HAS SOUS 3984 HAS SOUPS 3971 WITH SCORE 3988.556
AT ITER 2617 NEW BEST:: SOT 29728 SOS 17542 HAS SOPS 17520 HAS SOUS 3948 HAS SOUPS 3935 WITH SCORE 3952.542
AT ITER 2635 NEW BEST:: SOT 29726 SOS 17540 HAS SOPS 17518 HAS SOUS 3946 HAS SOUPS 3933 WITH SCORE 3950.54
AT ITER 2639 NEW BEST:: SOT 29708 SOS 17522 HAS SOPS 17500 HAS SOUS 3946 HAS SOUPS 3933 WITH SCORE 3950.522
AT ITER 2670 NEW BEST:: SOT 29703 SOS 17794 HAS SOPS 17772 HAS SOUS 3944 HAS SOUPS 3931 WITH SCORE 3948.794
AT ITER 2688 NEW BEST:: SOT 29697 SOS 17788 HAS SOPS 17766 HAS SOUS 3936 HAS SOUPS 3923 WITH SCORE 3940.788
AT ITER 2702 NEW BEST:: SOT 29696 SOS 17749 HAS SOPS 17727 HAS SOUS 3936 HAS SOUPS 3923 WITH SCORE 3940.749
AT ITER 2736 NEW BEST:: SOT 29696 SOS 17748 HAS SOPS 17726 HAS SOUS 3936 HAS SOUPS 3923 WITH SCORE 3940.748
AT ITER 2794 NEW BEST:: SOT 29692 SOS 17742 HAS SOPS 17720 HAS SOUS 3930 HAS SOUPS 3917 WITH SCORE 3934.742
AT ITER 2815 NEW BEST:: SOT 29686 SOS 17736 HAS SOPS 17714 HAS SOUS 3928 HAS SOUPS 3915 WITH SCORE 3932.736
AT ITER 2835 NEW BEST:: SOT 29682 SOS 17730 HAS SOPS 17708 HAS SOUS 3922 HAS SOUPS 3909 WITH SCORE 3926.73
AT ITER 2850 NEW BEST:: SOT 29678 SOS 17726 HAS SOPS 17704 HAS SOUS 3918 HAS SOUPS 3905 WITH SCORE 3922.726
AT ITER 2865 NEW BEST:: SOT 29676 SOS 17722 HAS SOPS 17700 HAS SOUS 3918 HAS SOUPS 3905 WITH SCORE 3922.722
AT ITER 2878 NEW BEST:: SOT 29670 SOS 17716 HAS SOPS 17694 HAS SOUS 3905 HAS SOUPS 3892 WITH SCORE 3909.716
AT ITER 2892 NEW BEST:: SOT 29669 SOS 17714 HAS SOPS 17692 HAS SOUS 3904 HAS SOUPS 3891 WITH SCORE 3908.714
AT ITER 2899 NEW BEST:: SOT 29680 SOS 17723 HAS SOPS 17701 HAS SOUS 3895 HAS SOUPS 3882 WITH SCORE 3899.723
AT ITER 2940 NEW BEST:: SOT 29676 SOS 17719 HAS SOPS 17697 HAS SOUS 3884 HAS SOUPS 3871 WITH SCORE 3888.719
AT ITER 2975 NEW BEST:: SOT 29679 SOS 17722 HAS SOPS 17700 HAS SOUS 3881 HAS SOUPS 3868 WITH SCORE 3885.722
AT ITER 2984 NEW BEST:: SOT 29673 SOS 17716 HAS SOPS 17694 HAS SOUS 3871 HAS SOUPS 3858 WITH SCORE 3875.716
AT ITER 3023 NEW BEST:: SOT 29671 SOS 17714 HAS SOPS 17692 HAS SOUS 3868 HAS SOUPS 3855 WITH SCORE 3872.714
AT ITER 3086 NEW BEST:: SOT 29670 SOS 17713 HAS SOPS 17691 HAS SOUS 3867 HAS SOUPS 3854 WITH SCORE 3871.713
AT ITER 3094 NEW BEST:: SOT 29670 SOS 17713 HAS SOPS 17691 HAS SOUS 3865 HAS SOUPS 3852 WITH SCORE 3869.713
AT ITER 3114 NEW BEST:: SOT 29665 SOS 17638 HAS SOPS 17616 HAS SOUS 3860 HAS SOUPS 3847 WITH SCORE 3864.638
AT ITER 3124 NEW BEST:: SOT 29664 SOS 17636 HAS SOPS 17614 HAS SOUS 3860 HAS SOUPS 3847 WITH SCORE 3864.636
AT ITER 3140 NEW BEST:: SOT 29670 SOS 17644 HAS SOPS 17622 HAS SOUS 3854 HAS SOUPS 3841 WITH SCORE 3858.644
AT ITER 3146 NEW BEST:: SOT 29703 SOS 17677 HAS SOPS 17655 HAS SOUS 3841 HAS SOUPS 3828 WITH SCORE 3845.677
AT ITER 3168 NEW BEST:: SOT 29679 SOS 17533 HAS SOPS 17511 HAS SOUS 3841 HAS SOUPS 3828 WITH SCORE 3845.533
AT ITER 3171 NEW BEST:: SOT 29697 SOS 17560 HAS SOPS 17538 HAS SOUS 3840 HAS SOUPS 3827 WITH SCORE 3844.56
AT ITER 3189 NEW BEST:: SOT 29698 SOS 17561 HAS SOPS 17539 HAS SOUS 3831 HAS SOUPS 3818 WITH SCORE 3835.561
AT ITER 3214 NEW BEST:: SOT 29696 SOS 17551 HAS SOPS 17529 HAS SOUS 3831 HAS SOUPS 3818 WITH SCORE 3835.551
AT ITER 3218 NEW BEST:: SOT 29687 SOS 17542 HAS SOPS 17520 HAS SOUS 3822 HAS SOUPS 3809 WITH SCORE 3826.542
AT ITER 3224 NEW BEST:: SOT 29687 SOS 17542 HAS SOPS 17520 HAS SOUS 3820 HAS SOUPS 3807 WITH SCORE 3824.542
AT ITER 3258 NEW BEST:: SOT 29675 SOS 17514 HAS SOPS 17492 HAS SOUS 3812 HAS SOUPS 3799 WITH SCORE 3816.514
AT ITER 3293 NEW BEST:: SOT 29675 SOS 17033 HAS SOPS 17011 HAS SOUS 3812 HAS SOUPS 3799 WITH SCORE 3816.033
AT ITER 3339 NEW BEST:: SOT 29646 SOS 17004 HAS SOPS 16982 HAS SOUS 3812 HAS SOUPS 3799 WITH SCORE 3816.004
AT ITER 3356 NEW BEST:: SOT 29643 SOS 16989 HAS SOPS 16967 HAS SOUS 3803 HAS SOUPS 3790 WITH SCORE 3806.989
AT ITER 3360 NEW BEST:: SOT 29638 SOS 16979 HAS SOPS 16957 HAS SOUS 3800 HAS SOUPS 3787 WITH SCORE 3803.979
AT ITER 3393 NEW BEST:: SOT 29633 SOS 16974 HAS SOPS 16952 HAS SOUS 3790 HAS SOUPS 3777 WITH SCORE 3793.974
AT ITER 3410 NEW BEST:: SOT 29629 SOS 16970 HAS SOPS 16948 HAS SOUS 3786 HAS SOUPS 3773 WITH SCORE 3789.97
AT ITER 3446 NEW BEST:: SOT 29617 SOS 16958 HAS SOPS 16936 HAS SOUS 3775 HAS SOUPS 3762 WITH SCORE 3778.958
AT ITER 3484 NEW BEST:: SOT 29614 SOS 16955 HAS SOPS 16933 HAS SOUS 3766 HAS SOUPS 3753 WITH SCORE 3769.955
AT ITER 3503 NEW BEST:: SOT 29613 SOS 16954 HAS SOPS 16932 HAS SOUS 3765 HAS SOUPS 3752 WITH SCORE 3768.954
AT ITER 3527 NEW BEST:: SOT 29606 SOS 16967 HAS SOPS 16945 HAS SOUS 3759 HAS SOUPS 3746 WITH SCORE 3762.967
AT ITER 3542 NEW BEST:: SOT 29604 SOS 16963 HAS SOPS 16941 HAS SOUS 3759 HAS SOUPS 3746 WITH SCORE 3762.963
AT ITER 3556 NEW BEST:: SOT 29604 SOS 16963 HAS SOPS 16941 HAS SOUS 3758 HAS SOUPS 3745 WITH SCORE 3761.963
AT ITER 3583 NEW BEST:: SOT 29604 SOS 16964 HAS SOPS 16942 HAS SOUS 3757 HAS SOUPS 3744 WITH SCORE 3760.964
AT ITER 3675 NEW BEST:: SOT 29611 SOS 16944 HAS SOPS 16922 HAS SOUS 3756 HAS SOUPS 3743 WITH SCORE 3759.944
AT ITER 3718 NEW BEST:: SOT 29600 SOS 16922 HAS SOPS 16900 HAS SOUS 3741 HAS SOUPS 3728 WITH SCORE 3744.922
AT ITER 3727 NEW BEST:: SOT 29598 SOS 16920 HAS SOPS 16898 HAS SOUS 3738 HAS SOUPS 3725 WITH SCORE 3741.92
AT ITER 3745 NEW BEST:: SOT 29597 SOS 16907 HAS SOPS 16885 HAS SOUS 3728 HAS SOUPS 3715 WITH SCORE 3731.907
AT ITER 3779 NEW BEST:: SOT 29599 SOS 16908 HAS SOPS 16886 HAS SOUS 3727 HAS SOUPS 3714 WITH SCORE 3730.908
AT ITER 3783 NEW BEST:: SOT 29599 SOS 16908 HAS SOPS 16886 HAS SOUS 3725 HAS SOUPS 3712 WITH SCORE 3728.908
AT ITER 3789 NEW BEST:: SOT 29583 SOS 16892 HAS SOPS 16870 HAS SOUS 3721 HAS SOUPS 3708 WITH SCORE 3724.892
AT ITER 3809 NEW BEST:: SOT 29585 SOS 16887 HAS SOPS 16865 HAS SOUS 3721 HAS SOUPS 3708 WITH SCORE 3724.887
AT ITER 3899 NEW BEST:: SOT 29583 SOS 16803 HAS SOPS 16781 HAS SOUS 3719 HAS SOUPS 3706 WITH SCORE 3722.803
AT ITER 3900 NEW BEST:: SOT 29581 SOS 16801 HAS SOPS 16779 HAS SOUS 3717 HAS SOUPS 3704 WITH SCORE 3720.801
AT ITER 3909 NEW BEST:: SOT 29582 SOS 16803 HAS SOPS 16781 HAS SOUS 3715 HAS SOUPS 3702 WITH SCORE 3718.803
AT ITER 3928 NEW BEST:: SOT 29596 SOS 16765 HAS SOPS 16743 HAS SOUS 3715 HAS SOUPS 3702 WITH SCORE 3718.765
AT ITER 3951 NEW BEST:: SOT 29602 SOS 16771 HAS SOPS 16749 HAS SOUS 3705 HAS SOUPS 3692 WITH SCORE 3708.771
AT ITER 3971 NEW BEST:: SOT 29607 SOS 16776 HAS SOPS 16754 HAS SOUS 3701 HAS SOUPS 3688 WITH SCORE 3704.776
AT ITER 4034 NEW BEST:: SOT 29606 SOS 16775 HAS SOPS 16753 HAS SOUS 3698 HAS SOUPS 3685 WITH SCORE 3701.775
AT ITER 4060 NEW BEST:: SOT 29623 SOS 16792 HAS SOPS 16770 HAS SOUS 3693 HAS SOUPS 3680 WITH SCORE 3696.792
AT ITER 4078 NEW BEST:: SOT 29617 SOS 16786 HAS SOPS 16764 HAS SOUS 3693 HAS SOUPS 3680 WITH SCORE 3696.786
AT ITER 4124 NEW BEST:: SOT 29617 SOS 16786 HAS SOPS 16764 HAS SOUS 3690 HAS SOUPS 3677 WITH SCORE 3693.786
AT ITER 4133 NEW BEST:: SOT 29616 SOS 16785 HAS SOPS 16763 HAS SOUS 3689 HAS SOUPS 3676 WITH SCORE 3692.785
AT ITER 4178 NEW BEST:: SOT 29615 SOS 16784 HAS SOPS 16762 HAS SOUS 3689 HAS SOUPS 3676 WITH SCORE 3692.784
AT ITER 4185 NEW BEST:: SOT 29613 SOS 16782 HAS SOPS 16760 HAS SOUS 3689 HAS SOUPS 3676 WITH SCORE 3692.782
AT ITER 4197 NEW BEST:: SOT 29607 SOS 16698 HAS SOPS 16676 HAS SOUS 3685 HAS SOUPS 3672 WITH SCORE 3688.698
AT ITER 4300 NEW BEST:: SOT 29575 SOS 16766 HAS SOPS 16744 HAS SOUS 3683 HAS SOUPS 3670 WITH SCORE 3686.766
AT ITER 4340 NEW BEST:: SOT 29571 SOS 16754 HAS SOPS 16732 HAS SOUS 3681 HAS SOUPS 3668 WITH SCORE 3684.754
AT ITER 4341 NEW BEST:: SOT 29571 SOS 16754 HAS SOPS 16732 HAS SOUS 3680 HAS SOUPS 3667 WITH SCORE 3683.754
AT ITER 4350 NEW BEST:: SOT 29578 SOS 16743 HAS SOPS 16721 HAS SOUS 3674 HAS SOUPS 3661 WITH SCORE 3677.743
AT ITER 4417 NEW BEST:: SOT 29532 SOS 16697 HAS SOPS 16675 HAS SOUS 3661 HAS SOUPS 3648 WITH SCORE 3664.697
AT ITER 4447 NEW BEST:: SOT 29530 SOS 16690 HAS SOPS 16668 HAS SOUS 3657 HAS SOUPS 3644 WITH SCORE 3660.69
AT ITER 4448 NEW BEST:: SOT 29540 SOS 16693 HAS SOPS 16671 HAS SOUS 3656 HAS SOUPS 3643 WITH SCORE 3659.693
AT ITER 4474 NEW BEST:: SOT 29543 SOS 16635 HAS SOPS 16613 HAS SOUS 3653 HAS SOUPS 3640 WITH SCORE 3656.635
AT ITER 4501 NEW BEST:: SOT 29541 SOS 16633 HAS SOPS 16611 HAS SOUS 3651 HAS SOUPS 3638 WITH SCORE 3654.633
AT ITER 4510 NEW BEST:: SOT 29536 SOS 16628 HAS SOPS 16606 HAS SOUS 3641 HAS SOUPS 3628 WITH SCORE 3644.628
AT ITER 4530 NEW BEST:: SOT 29534 SOS 16632 HAS SOPS 16610 HAS SOUS 3640 HAS SOUPS 3627 WITH SCORE 3643.632
AT ITER 4542 NEW BEST:: SOT 29531 SOS 16629 HAS SOPS 16607 HAS SOUS 3638 HAS SOUPS 3625 WITH SCORE 3641.629
AT ITER 4624 NEW BEST:: SOT 29530 SOS 16628 HAS SOPS 16606 HAS SOUS 3637 HAS SOUPS 3624 WITH SCORE 3640.628
AT ITER 4646 NEW BEST:: SOT 29530 SOS 16627 HAS SOPS 16605 HAS SOUS 3636 HAS SOUPS 3623 WITH SCORE 3639.627
AT ITER 4732 NEW BEST:: SOT 29529 SOS 16625 HAS SOPS 16603 HAS SOUS 3633 HAS SOUPS 3620 WITH SCORE 3636.625
AT ITER 4746 NEW BEST:: SOT 29523 SOS 16607 HAS SOPS 16585 HAS SOUS 3633 HAS SOUPS 3620 WITH SCORE 3636.607
AT ITER 4748 NEW BEST:: SOT 29517 SOS 16601 HAS SOPS 16579 HAS SOUS 3628 HAS SOUPS 3615 WITH SCORE 3631.601
AT ITER 4775 NEW BEST:: SOT 29517 SOS 16601 HAS SOPS 16579 HAS SOUS 3625 HAS SOUPS 3612 WITH SCORE 3628.601
AT ITER 4964 NEW BEST:: SOT 29513 SOS 16633 HAS SOPS 16611 HAS SOUS 3621 HAS SOUPS 3608 WITH SCORE 3624.633
AT ITER 4991 NEW BEST:: SOT 29515 SOS 16636 HAS SOPS 16614 HAS SOUS 3618 HAS SOUPS 3605 WITH SCORE 3621.636
AT ITER 5062 NEW BEST:: SOT 29514 SOS 16635 HAS SOPS 16613 HAS SOUS 3617 HAS SOUPS 3604 WITH SCORE 3620.635
AT ITER 5091 NEW BEST:: SOT 29513 SOS 16634 HAS SOPS 16612 HAS SOUS 3616 HAS SOUPS 3603 WITH SCORE 3619.634
AT ITER 5149 NEW BEST:: SOT 29511 SOS 16632 HAS SOPS 16610 HAS SOUS 3612 HAS SOUPS 3599 WITH SCORE 3615.632
AT ITER 5174 NEW BEST:: SOT 29509 SOS 16632 HAS SOPS 16610 HAS SOUS 3611 HAS SOUPS 3598 WITH SCORE 3614.632
AT ITER 5279 NEW BEST:: SOT 29486 SOS 16609 HAS SOPS 16587 HAS SOUS 3610 HAS SOUPS 3597 WITH SCORE 3613.609
AT ITER 5332 NEW BEST:: SOT 29497 SOS 16620 HAS SOPS 16598 HAS SOUS 3605 HAS SOUPS 3592 WITH SCORE 3608.62
AT ITER 5393 NEW BEST:: SOT 29497 SOS 16618 HAS SOPS 16596 HAS SOUS 3604 HAS SOUPS 3591 WITH SCORE 3607.618
AT ITER 5438 NEW BEST:: SOT 29507 SOS 16638 HAS SOPS 16616 HAS SOUS 3598 HAS SOUPS 3585 WITH SCORE 3601.638
AT ITER 5459 NEW BEST:: SOT 29508 SOS 16639 HAS SOPS 16617 HAS SOUS 3597 HAS SOUPS 3584 WITH SCORE 3600.639
AT ITER 5482 NEW BEST:: SOT 29507 SOS 16638 HAS SOPS 16616 HAS SOUS 3596 HAS SOUPS 3583 WITH SCORE 3599.638
AT ITER 5494 NEW BEST:: SOT 29491 SOS 16622 HAS SOPS 16600 HAS SOUS 3593 HAS SOUPS 3580 WITH SCORE 3596.622
AT ITER 5499 NEW BEST:: SOT 29487 SOS 16620 HAS SOPS 16598 HAS SOUS 3593 HAS SOUPS 3580 WITH SCORE 3596.62
AT ITER 5524 NEW BEST:: SOT 29488 SOS 16621 HAS SOPS 16599 HAS SOUS 3588 HAS SOUPS 3575 WITH SCORE 3591.621
AT ITER 5527 NEW BEST:: SOT 29487 SOS 16620 HAS SOPS 16598 HAS SOUS 3586 HAS SOUPS 3573 WITH SCORE 3589.62
AT ITER 5549 NEW BEST:: SOT 29488 SOS 16621 HAS SOPS 16599 HAS SOUS 3584 HAS SOUPS 3571 WITH SCORE 3587.621
AT ITER 5619 NEW BEST:: SOT 29505 SOS 16638 HAS SOPS 16616 HAS SOUS 3580 HAS SOUPS 3567 WITH SCORE 3583.638
AT ITER 5630 NEW BEST:: SOT 29504 SOS 16637 HAS SOPS 16615 HAS SOUS 3579 HAS SOUPS 3566 WITH SCORE 3582.637
AT ITER 5670 NEW BEST:: SOT 29503 SOS 16636 HAS SOPS 16614 HAS SOUS 3577 HAS SOUPS 3564 WITH SCORE 3580.636
AT ITER 5894 NEW BEST:: SOT 29483 SOS 16616 HAS SOPS 16594 HAS SOUS 3567 HAS SOUPS 3554 WITH SCORE 3570.616
AT ITER 6096 NEW BEST:: SOT 29514 SOS 16396 HAS SOPS 16374 HAS SOUS 3565 HAS SOUPS 3552 WITH SCORE 3568.396
AT ITER 6135 NEW BEST:: SOT 29511 SOS 16393 HAS SOPS 16371 HAS SOUS 3562 HAS SOUPS 3549 WITH SCORE 3565.393
AT ITER 6145 NEW BEST:: SOT 29510 SOS 16392 HAS SOPS 16370 HAS SOUS 3562 HAS SOUPS 3549 WITH SCORE 3565.392
AT ITER 6202 NEW BEST:: SOT 29512 SOS 16394 HAS SOPS 16372 HAS SOUS 3561 HAS SOUPS 3548 WITH SCORE 3564.394
AT ITER 6266 NEW BEST:: SOT 29497 SOS 16379 HAS SOPS 16357 HAS SOUS 3556 HAS SOUPS 3543 WITH SCORE 3559.379
AT ITER 6267 NEW BEST:: SOT 29489 SOS 16371 HAS SOPS 16349 HAS SOUS 3548 HAS SOUPS 3535 WITH SCORE 3551.371
AT ITER 6297 NEW BEST:: SOT 29496 SOS 16515 HAS SOPS 16493 HAS SOUS 3537 HAS SOUPS 3524 WITH SCORE 3540.515
AT ITER 6365 NEW BEST:: SOT 29493 SOS 16540 HAS SOPS 16518 HAS SOUS 3534 HAS SOUPS 3521 WITH SCORE 3537.54
AT ITER 6482 NEW BEST:: SOT 29494 SOS 16536 HAS SOPS 16514 HAS SOUS 3532 HAS SOUPS 3519 WITH SCORE 3535.536
AT ITER 6544 NEW BEST:: SOT 29501 SOS 16543 HAS SOPS 16521 HAS SOUS 3529 HAS SOUPS 3516 WITH SCORE 3532.543
AT ITER 6584 NEW BEST:: SOT 29501 SOS 16543 HAS SOPS 16521 HAS SOUS 3528 HAS SOUPS 3515 WITH SCORE 3531.543
AT ITER 6675 NEW BEST:: SOT 29497 SOS 16535 HAS SOPS 16513 HAS SOUS 3527 HAS SOUPS 3514 WITH SCORE 3530.535
AT ITER 6730 NEW BEST:: SOT 29491 SOS 16529 HAS SOPS 16507 HAS SOUS 3524 HAS SOUPS 3511 WITH SCORE 3527.529
AT ITER 6756 NEW BEST:: SOT 29491 SOS 16529 HAS SOPS 16507 HAS SOUS 3523 HAS SOUPS 3510 WITH SCORE 3526.529
AT ITER 6802 NEW BEST:: SOT 29487 SOS 16525 HAS SOPS 16503 HAS SOUS 3519 HAS SOUPS 3506 WITH SCORE 3522.525
AT ITER 6911 NEW BEST:: SOT 29475 SOS 16513 HAS SOPS 16491 HAS SOUS 3519 HAS SOUPS 3506 WITH SCORE 3522.513
AT ITER 6916 NEW BEST:: SOT 29463 SOS 16501 HAS SOPS 16479 HAS SOUS 3517 HAS SOUPS 3504 WITH SCORE 3520.501
AT ITER 6957 NEW BEST:: SOT 29455 SOS 16485 HAS SOPS 16463 HAS SOUS 3509 HAS SOUPS 3496 WITH SCORE 3512.485
AT ITER 7007 NEW BEST:: SOT 29450 SOS 16480 HAS SOPS 16458 HAS SOUS 3508 HAS SOUPS 3495 WITH SCORE 3511.48
AT ITER 7028 NEW BEST:: SOT 29452 SOS 16477 HAS SOPS 16455 HAS SOUS 3508 HAS SOUPS 3495 WITH SCORE 3511.477
AT ITER 7083 NEW BEST:: SOT 29455 SOS 16480 HAS SOPS 16458 HAS SOUS 3507 HAS SOUPS 3494 WITH SCORE 3510.48
AT ITER 7108 NEW BEST:: SOT 29454 SOS 16473 HAS SOPS 16451 HAS SOUS 3503 HAS SOUPS 3490 WITH SCORE 3506.473
AT ITER 7134 NEW BEST:: SOT 29453 SOS 16472 HAS SOPS 16450 HAS SOUS 3501 HAS SOUPS 3488 WITH SCORE 3504.472
AT ITER 7214 NEW BEST:: SOT 29483 SOS 16397 HAS SOPS 16375 HAS SOUS 3501 HAS SOUPS 3488 WITH SCORE 3504.397
AT ITER 7310 NEW BEST:: SOT 29482 SOS 16403 HAS SOPS 16381 HAS SOUS 3498 HAS SOUPS 3485 WITH SCORE 3501.403
AT ITER 7345 NEW BEST:: SOT 29482 SOS 16438 HAS SOPS 16416 HAS SOUS 3487 HAS SOUPS 3474 WITH SCORE 3490.438
AT ITER 7444 NEW BEST:: SOT 29484 SOS 16440 HAS SOPS 16418 HAS SOUS 3486 HAS SOUPS 3473 WITH SCORE 3489.44
AT ITER 7455 NEW BEST:: SOT 29482 SOS 16438 HAS SOPS 16416 HAS SOUS 3484 HAS SOUPS 3471 WITH SCORE 3487.438
AT ITER 7506 NEW BEST:: SOT 29476 SOS 16432 HAS SOPS 16410 HAS SOUS 3481 HAS SOUPS 3468 WITH SCORE 3484.432
AT ITER 7535 NEW BEST:: SOT 29476 SOS 16470 HAS SOPS 16448 HAS SOUS 3479 HAS SOUPS 3466 WITH SCORE 3482.47
AT ITER 7561 NEW BEST:: SOT 29474 SOS 16430 HAS SOPS 16408 HAS SOUS 3478 HAS SOUPS 3465 WITH SCORE 3481.43
AT ITER 7583 NEW BEST:: SOT 29478 SOS 16450 HAS SOPS 16428 HAS SOUS 3475 HAS SOUPS 3462 WITH SCORE 3478.45
AT ITER 7606 NEW BEST:: SOT 29478 SOS 16450 HAS SOPS 16428 HAS SOUS 3474 HAS SOUPS 3461 WITH SCORE 3477.45
AT ITER 7686 NEW BEST:: SOT 29477 SOS 16413 HAS SOPS 16391 HAS SOUS 3474 HAS SOUPS 3461 WITH SCORE 3477.413
AT ITER 7730 NEW BEST:: SOT 29474 SOS 16407 HAS SOPS 16385 HAS SOUS 3474 HAS SOUPS 3461 WITH SCORE 3477.407
AT ITER 7749 NEW BEST:: SOT 29467 SOS 16388 HAS SOPS 16366 HAS SOUS 3472 HAS SOUPS 3459 WITH SCORE 3475.388
AT ITER 7780 NEW BEST:: SOT 29464 SOS 16381 HAS SOPS 16359 HAS SOUS 3470 HAS SOUPS 3457 WITH SCORE 3473.381
AT ITER 7808 NEW BEST:: SOT 29470 SOS 16387 HAS SOPS 16365 HAS SOUS 3468 HAS SOUPS 3455 WITH SCORE 3471.387
AT ITER 7948 NEW BEST:: SOT 29470 SOS 16387 HAS SOPS 16365 HAS SOUS 3467 HAS SOUPS 3454 WITH SCORE 3470.387
AT ITER 7954 NEW BEST:: SOT 29472 SOS 16386 HAS SOPS 16364 HAS SOUS 3466 HAS SOUPS 3453 WITH SCORE 3469.386
AT ITER 7969 NEW BEST:: SOT 29466 SOS 16380 HAS SOPS 16358 HAS SOUS 3465 HAS SOUPS 3452 WITH SCORE 3468.38
AT ITER 7978 NEW BEST:: SOT 29459 SOS 16370 HAS SOPS 16348 HAS SOUS 3458 HAS SOUPS 3445 WITH SCORE 3461.37
AT ITER 8093 NEW BEST:: SOT 29459 SOS 16370 HAS SOPS 16348 HAS SOUS 3455 HAS SOUPS 3442 WITH SCORE 3458.37
AT ITER 8135 NEW BEST:: SOT 29455 SOS 16366 HAS SOPS 16344 HAS SOUS 3451 HAS SOUPS 3438 WITH SCORE 3454.366
AT ITER 8379 NEW BEST:: SOT 29453 SOS 16362 HAS SOPS 16340 HAS SOUS 3449 HAS SOUPS 3436 WITH SCORE 3452.362
AT ITER 8623 NEW BEST:: SOT 29452 SOS 16361 HAS SOPS 16339 HAS SOUS 3448 HAS SOUPS 3435 WITH SCORE 3451.361
AT ITER 8662 NEW BEST:: SOT 29446 SOS 16331 HAS SOPS 16309 HAS SOUS 3440 HAS SOUPS 3427 WITH SCORE 3443.331
AT ITER 8717 NEW BEST:: SOT 29435 SOS 16320 HAS SOPS 16298 HAS SOUS 3440 HAS SOUPS 3427 WITH SCORE 3443.32
AT ITER 8807 NEW BEST:: SOT 29436 SOS 16321 HAS SOPS 16299 HAS SOUS 3438 HAS SOUPS 3425 WITH SCORE 3441.321
AT ITER 8892 NEW BEST:: SOT 29435 SOS 16316 HAS SOPS 16294 HAS SOUS 3436 HAS SOUPS 3423 WITH SCORE 3439.316
AT ITER 9006 NEW BEST:: SOT 29433 SOS 16315 HAS SOPS 16293 HAS SOUS 3436 HAS SOUPS 3423 WITH SCORE 3439.315
AT ITER 9046 NEW BEST:: SOT 29434 SOS 16185 HAS SOPS 16163 HAS SOUS 3436 HAS SOUPS 3423 WITH SCORE 3439.185
AT ITER 9056 NEW BEST:: SOT 29427 SOS 16178 HAS SOPS 16156 HAS SOUS 3436 HAS SOUPS 3423 WITH SCORE 3439.178
AT ITER 9176 NEW BEST:: SOT 29422 SOS 16206 HAS SOPS 16184 HAS SOUS 3435 HAS SOUPS 3422 WITH SCORE 3438.206
AT ITER 9261 NEW BEST:: SOT 29421 SOS 16205 HAS SOPS 16183 HAS SOUS 3433 HAS SOUPS 3420 WITH SCORE 3436.205
AT ITER 9538 NEW BEST:: SOT 29420 SOS 16206 HAS SOPS 16184 HAS SOUS 3432 HAS SOUPS 3419 WITH SCORE 3435.206
AT ITER 9545 NEW BEST:: SOT 29420 SOS 16206 HAS SOPS 16184 HAS SOUS 3430 HAS SOUPS 3417 WITH SCORE 3433.206
AT ITER 9778 NEW BEST:: SOT 29419 SOS 16207 HAS SOPS 16185 HAS SOUS 3429 HAS SOUPS 3416 WITH SCORE 3432.207
AT ITER 9795 NEW BEST:: SOT 29415 SOS 16310 HAS SOPS 16288 HAS SOUS 3426 HAS SOUPS 3413 WITH SCORE 3429.31
AT ITER 9832 NEW BEST:: SOT 29418 SOS 16313 HAS SOPS 16291 HAS SOUS 3423 HAS SOUPS 3410 WITH SCORE 3426.313
AT ITER 9901 NEW BEST:: SOT 29417 SOS 16312 HAS SOPS 16290 HAS SOUS 3422 HAS SOUPS 3409 WITH SCORE 3425.312
AT ITER 9959 NEW BEST:: SOT 29417 SOS 16312 HAS SOPS 16290 HAS SOUS 3417 HAS SOUPS 3404 WITH SCORE 3420.312

BK_STOP 1678586584273

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

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

Sequence of Actions to be Executed by the VM

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

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

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