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.r299-tall-167873952800328.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 PhilosophersDyn-PT-10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r299-tall-167873952800328
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 13M
-rw-r--r-- 1 mcc users 39K Feb 26 12:25 CTLCardinality.txt
-rw-r--r-- 1 mcc users 195K Feb 26 12:25 CTLCardinality.xml
-rw-r--r-- 1 mcc users 288K Feb 26 12:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 1.5M Feb 26 12:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 11K Feb 25 16:33 LTLCardinality.txt
-rw-r--r-- 1 mcc users 47K Feb 25 16:33 LTLCardinality.xml
-rw-r--r-- 1 mcc users 138K Feb 25 16:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 537K Feb 25 16:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 89K Feb 26 12:55 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 443K Feb 26 12:55 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 1.3M Feb 26 12:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 6.5M Feb 26 12:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 6.3K Feb 25 16:34 UpperBounds.txt
-rw-r--r-- 1 mcc users 14K Feb 25 16:34 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 1.8M Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679481009827

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=PhilosophersDyn-PT-10
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 10:30:11] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 10:30:11] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 10:30:11] [INFO ] Load time of PNML (sax parser for PT used): 147 ms
[2023-03-22 10:30:11] [INFO ] Transformed 170 places.
[2023-03-22 10:30:11] [INFO ] Transformed 2310 transitions.
[2023-03-22 10:30:11] [INFO ] Parsed PT model containing 170 places and 2310 transitions and 18190 arcs in 243 ms.
[2023-03-22 10:30:11] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 170 places, 2310 transitions and 18190 arcs took 28 ms.
Total runtime 298 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PhilosophersDyn (PT), instance 10
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: 170 places, 2310 transitions, 18190 arcs.
AT ITER 0 NEW BEST:: SOT 290204 SOS 259668 HAS SOPS 248658 HAS SOUS 167019 HAS SOUPS 165930 WITH SCORE 166189.668
AT ITER 1 NEW BEST:: SOT 290204 SOS 259661 HAS SOPS 247958 HAS SOUS 166849 HAS SOUPS 165598 WITH SCORE 165857.661
AT ITER 8 NEW BEST:: SOT 281176 SOS 255276 HAS SOPS 242356 HAS SOUS 158089 HAS SOUPS 157158 WITH SCORE 157413.276
AT ITER 12 NEW BEST:: SOT 280898 SOS 254998 HAS SOPS 242078 HAS SOUS 157655 HAS SOUPS 156724 WITH SCORE 156978.998
AT ITER 14 NEW BEST:: SOT 280898 SOS 254998 HAS SOPS 241578 HAS SOUS 157481 HAS SOUPS 156495 WITH SCORE 156749.998
AT ITER 15 NEW BEST:: SOT 280454 SOS 254554 HAS SOPS 241134 HAS SOUS 156671 HAS SOUPS 155685 WITH SCORE 155939.554
AT ITER 18 NEW BEST:: SOT 280399 SOS 254499 HAS SOPS 241079 HAS SOUS 156616 HAS SOUPS 155630 WITH SCORE 155884.499
AT ITER 20 NEW BEST:: SOT 280377 SOS 254477 HAS SOPS 241057 HAS SOUS 156591 HAS SOUPS 155605 WITH SCORE 155859.477
AT ITER 30 NEW BEST:: SOT 280055 SOS 254155 HAS SOPS 240735 HAS SOUS 156126 HAS SOUPS 155140 WITH SCORE 155394.155
AT ITER 31 NEW BEST:: SOT 279895 SOS 253995 HAS SOPS 240575 HAS SOUS 155859 HAS SOUPS 154873 WITH SCORE 155126.995
AT ITER 36 NEW BEST:: SOT 279429 SOS 253529 HAS SOPS 240109 HAS SOUS 155146 HAS SOUPS 154160 WITH SCORE 154413.529
AT ITER 38 NEW BEST:: SOT 276943 SOS 251351 HAS SOPS 238346 HAS SOUS 153772 HAS SOUPS 152796 WITH SCORE 153047.351
AT ITER 40 NEW BEST:: SOT 276901 SOS 251309 HAS SOPS 238304 HAS SOUS 153661 HAS SOUPS 152685 WITH SCORE 152936.309
AT ITER 44 NEW BEST:: SOT 276901 SOS 251309 HAS SOPS 238304 HAS SOUS 153652 HAS SOUPS 152676 WITH SCORE 152927.309
AT ITER 45 NEW BEST:: SOT 270638 SOS 245087 HAS SOPS 232082 HAS SOUS 147749 HAS SOUPS 146773 WITH SCORE 147018.087
AT ITER 52 NEW BEST:: SOT 270321 SOS 244792 HAS SOPS 231787 HAS SOUS 147413 HAS SOUPS 146437 WITH SCORE 146681.792
AT ITER 55 NEW BEST:: SOT 270261 SOS 244732 HAS SOPS 231727 HAS SOUS 147303 HAS SOUPS 146327 WITH SCORE 146571.732
AT ITER 58 NEW BEST:: SOT 270383 SOS 244854 HAS SOPS 231849 HAS SOUS 147274 HAS SOUPS 146298 WITH SCORE 146542.854
AT ITER 59 NEW BEST:: SOT 270185 SOS 244656 HAS SOPS 231651 HAS SOUS 147017 HAS SOUPS 146041 WITH SCORE 146285.656
AT ITER 60 NEW BEST:: SOT 269669 SOS 244140 HAS SOPS 231135 HAS SOUS 146359 HAS SOUPS 145383 WITH SCORE 145627.14
AT ITER 66 NEW BEST:: SOT 269707 SOS 244178 HAS SOPS 231173 HAS SOUS 146214 HAS SOUPS 145238 WITH SCORE 145482.178
AT ITER 71 NEW BEST:: SOT 269773 SOS 244244 HAS SOPS 231239 HAS SOUS 146185 HAS SOUPS 145209 WITH SCORE 145453.244
AT ITER 73 NEW BEST:: SOT 269623 SOS 244094 HAS SOPS 231089 HAS SOUS 146050 HAS SOUPS 145074 WITH SCORE 145318.094
AT ITER 75 NEW BEST:: SOT 269637 SOS 244108 HAS SOPS 231103 HAS SOUS 146033 HAS SOUPS 145057 WITH SCORE 145301.108
AT ITER 82 NEW BEST:: SOT 269105 SOS 243576 HAS SOPS 230571 HAS SOUS 145243 HAS SOUPS 144267 WITH SCORE 144510.576
AT ITER 83 NEW BEST:: SOT 268925 SOS 243396 HAS SOPS 230391 HAS SOUS 144996 HAS SOUPS 144020 WITH SCORE 144263.396
AT ITER 97 NEW BEST:: SOT 268913 SOS 243384 HAS SOPS 230379 HAS SOUS 144984 HAS SOUPS 144008 WITH SCORE 144251.384
AT ITER 98 NEW BEST:: SOT 269819 SOS 244290 HAS SOPS 225637 HAS SOUS 146396 HAS SOUPS 142186 WITH SCORE 142430.29
AT ITER 102 NEW BEST:: SOT 269107 SOS 243578 HAS SOPS 224887 HAS SOUS 145617 HAS SOUPS 141369 WITH SCORE 141612.578
AT ITER 107 NEW BEST:: SOT 269209 SOS 243680 HAS SOPS 224962 HAS SOUS 145553 HAS SOUPS 141278 WITH SCORE 141521.68
AT ITER 109 NEW BEST:: SOT 269177 SOS 243648 HAS SOPS 224920 HAS SOUS 145545 HAS SOUPS 141242 WITH SCORE 141485.648
AT ITER 128 NEW BEST:: SOT 268917 SOS 243388 HAS SOPS 224670 HAS SOUS 145213 HAS SOUPS 140920 WITH SCORE 141163.388
AT ITER 133 NEW BEST:: SOT 268895 SOS 243366 HAS SOPS 224645 HAS SOUS 145180 HAS SOUPS 140884 WITH SCORE 141127.366
AT ITER 134 NEW BEST:: SOT 268093 SOS 242564 HAS SOPS 223806 HAS SOUS 144338 HAS SOUPS 140005 WITH SCORE 140247.564
AT ITER 140 NEW BEST:: SOT 268093 SOS 242563 HAS SOPS 223805 HAS SOUS 144338 HAS SOUPS 140005 WITH SCORE 140247.563
AT ITER 141 NEW BEST:: SOT 267585 SOS 242055 HAS SOPS 223307 HAS SOUS 143755 HAS SOUPS 139422 WITH SCORE 139664.055
AT ITER 148 NEW BEST:: SOT 265429 SOS 239899 HAS SOPS 221059 HAS SOUS 140982 HAS SOUPS 136678 WITH SCORE 136917.899
AT ITER 153 NEW BEST:: SOT 265161 SOS 239631 HAS SOPS 220818 HAS SOUS 140413 HAS SOUPS 136140 WITH SCORE 136379.631
AT ITER 154 NEW BEST:: SOT 264811 SOS 239281 HAS SOPS 219490 HAS SOUS 139900 HAS SOUPS 135667 WITH SCORE 135906.281
AT ITER 160 NEW BEST:: SOT 264451 SOS 238921 HAS SOPS 219130 HAS SOUS 139516 HAS SOUPS 135265 WITH SCORE 135503.921
AT ITER 161 NEW BEST:: SOT 264397 SOS 238867 HAS SOPS 219056 HAS SOUS 139473 HAS SOUPS 135212 WITH SCORE 135450.867
AT ITER 168 NEW BEST:: SOT 264465 SOS 238935 HAS SOPS 219105 HAS SOUS 139396 HAS SOUPS 135127 WITH SCORE 135365.935
AT ITER 169 NEW BEST:: SOT 264357 SOS 238827 HAS SOPS 219005 HAS SOUS 139380 HAS SOUPS 135111 WITH SCORE 135349.827
AT ITER 171 NEW BEST:: SOT 264323 SOS 238793 HAS SOPS 218971 HAS SOUS 139326 HAS SOUPS 135057 WITH SCORE 135295.793
AT ITER 181 NEW BEST:: SOT 264333 SOS 238803 HAS SOPS 218992 HAS SOUS 139256 HAS SOUPS 134998 WITH SCORE 135236.803
AT ITER 187 NEW BEST:: SOT 264324 SOS 238794 HAS SOPS 218983 HAS SOUS 139247 HAS SOUPS 134989 WITH SCORE 135227.794
AT ITER 191 NEW BEST:: SOT 263752 SOS 238222 HAS SOPS 218426 HAS SOUS 138699 HAS SOUPS 134450 WITH SCORE 134688.222
AT ITER 194 NEW BEST:: SOT 263662 SOS 238132 HAS SOPS 218325 HAS SOUS 138583 HAS SOUPS 134323 WITH SCORE 134561.132
AT ITER 196 NEW BEST:: SOT 263624 SOS 238094 HAS SOPS 218265 HAS SOUS 138455 HAS SOUPS 134190 WITH SCORE 134428.094
AT ITER 198 NEW BEST:: SOT 263652 SOS 238122 HAS SOPS 218285 HAS SOUS 138437 HAS SOUPS 134170 WITH SCORE 134408.122
AT ITER 200 NEW BEST:: SOT 263620 SOS 238090 HAS SOPS 218253 HAS SOUS 138345 HAS SOUPS 134078 WITH SCORE 134316.09
AT ITER 203 NEW BEST:: SOT 262652 SOS 237122 HAS SOPS 217289 HAS SOUS 136933 HAS SOUPS 132687 WITH SCORE 132924.122
AT ITER 204 NEW BEST:: SOT 262428 SOS 236898 HAS SOPS 217065 HAS SOUS 136713 HAS SOUPS 132467 WITH SCORE 132703.898
AT ITER 211 NEW BEST:: SOT 262356 SOS 236826 HAS SOPS 217002 HAS SOUS 136640 HAS SOUPS 132405 WITH SCORE 132641.826
AT ITER 215 NEW BEST:: SOT 262274 SOS 236744 HAS SOPS 216920 HAS SOUS 136558 HAS SOUPS 132323 WITH SCORE 132559.744
AT ITER 230 NEW BEST:: SOT 262276 SOS 236746 HAS SOPS 216977 HAS SOUS 136235 HAS SOUPS 132000 WITH SCORE 132236.746
AT ITER 248 NEW BEST:: SOT 262274 SOS 236744 HAS SOPS 216974 HAS SOUS 136227 HAS SOUPS 131991 WITH SCORE 132227.744
AT ITER 251 NEW BEST:: SOT 262251 SOS 236721 HAS SOPS 216951 HAS SOUS 136204 HAS SOUPS 131968 WITH SCORE 132204.721
AT ITER 260 NEW BEST:: SOT 262125 SOS 236663 HAS SOPS 216893 HAS SOUS 136025 HAS SOUPS 131789 WITH SCORE 132025.663
AT ITER 270 NEW BEST:: SOT 262113 SOS 236651 HAS SOPS 216885 HAS SOUS 135975 HAS SOUPS 131739 WITH SCORE 131975.651
AT ITER 280 NEW BEST:: SOT 262005 SOS 236543 HAS SOPS 216770 HAS SOUS 135848 HAS SOUPS 131606 WITH SCORE 131842.543
AT ITER 284 NEW BEST:: SOT 262023 SOS 236561 HAS SOPS 216788 HAS SOUS 135863 HAS SOUPS 131597 WITH SCORE 131833.561
AT ITER 302 NEW BEST:: SOT 261973 SOS 236460 HAS SOPS 214934 HAS SOUS 135532 HAS SOUPS 131244 WITH SCORE 131480.46
AT ITER 312 NEW BEST:: SOT 261973 SOS 236460 HAS SOPS 214884 HAS SOUS 135476 HAS SOUPS 131185 WITH SCORE 131421.46
AT ITER 321 NEW BEST:: SOT 261753 SOS 236240 HAS SOPS 214604 HAS SOUS 134973 HAS SOUPS 130661 WITH SCORE 130897.24
AT ITER 327 NEW BEST:: SOT 261003 SOS 235490 HAS SOPS 214425 HAS SOUS 134430 HAS SOUPS 130637 WITH SCORE 130872.49
AT ITER 329 NEW BEST:: SOT 260947 SOS 235434 HAS SOPS 214369 HAS SOUS 134386 HAS SOUPS 130593 WITH SCORE 130828.434
AT ITER 338 NEW BEST:: SOT 260763 SOS 235250 HAS SOPS 214112 HAS SOUS 133967 HAS SOUPS 130260 WITH SCORE 130495.25
AT ITER 339 NEW BEST:: SOT 260609 SOS 235096 HAS SOPS 213958 HAS SOUS 133800 HAS SOUPS 130093 WITH SCORE 130328.096
AT ITER 343 NEW BEST:: SOT 260629 SOS 235116 HAS SOPS 213991 HAS SOUS 133777 HAS SOUPS 130024 WITH SCORE 130259.116
AT ITER 350 NEW BEST:: SOT 260495 SOS 234982 HAS SOPS 213884 HAS SOUS 133372 HAS SOUPS 129638 WITH SCORE 129872.982
AT ITER 354 NEW BEST:: SOT 259099 SOS 233586 HAS SOPS 212392 HAS SOUS 131513 HAS SOUPS 127782 WITH SCORE 128015.586
AT ITER 372 NEW BEST:: SOT 259141 SOS 233628 HAS SOPS 212425 HAS SOUS 131404 HAS SOUPS 127687 WITH SCORE 127920.628
AT ITER 377 NEW BEST:: SOT 259563 SOS 234050 HAS SOPS 212264 HAS SOUS 131542 HAS SOUPS 127370 WITH SCORE 127604.05
AT ITER 388 NEW BEST:: SOT 259563 SOS 234050 HAS SOPS 212264 HAS SOUS 131538 HAS SOUPS 127366 WITH SCORE 127600.05
AT ITER 392 NEW BEST:: SOT 259659 SOS 234146 HAS SOPS 212360 HAS SOUS 131179 HAS SOUPS 127052 WITH SCORE 127286.146
AT ITER 400 NEW BEST:: SOT 259653 SOS 234140 HAS SOPS 212361 HAS SOUS 131091 HAS SOUPS 126973 WITH SCORE 127207.14
AT ITER 414 NEW BEST:: SOT 259649 SOS 234136 HAS SOPS 212357 HAS SOUS 131079 HAS SOUPS 126961 WITH SCORE 127195.136
AT ITER 415 NEW BEST:: SOT 259589 SOS 234076 HAS SOPS 212145 HAS SOUS 130889 HAS SOUPS 126790 WITH SCORE 127024.076
AT ITER 421 NEW BEST:: SOT 259689 SOS 234176 HAS SOPS 212767 HAS SOUS 130767 HAS SOUPS 126762 WITH SCORE 126996.176
AT ITER 423 NEW BEST:: SOT 259663 SOS 234150 HAS SOPS 212704 HAS SOUS 130614 HAS SOUPS 126599 WITH SCORE 126833.15
AT ITER 426 NEW BEST:: SOT 259656 SOS 234143 HAS SOPS 212697 HAS SOUS 130607 HAS SOUPS 126592 WITH SCORE 126826.143
AT ITER 427 NEW BEST:: SOT 259555 SOS 234042 HAS SOPS 212576 HAS SOUS 130542 HAS SOUPS 126507 WITH SCORE 126741.042
AT ITER 432 NEW BEST:: SOT 259547 SOS 234034 HAS SOPS 212568 HAS SOUS 130461 HAS SOUPS 126430 WITH SCORE 126664.034
AT ITER 438 NEW BEST:: SOT 259445 SOS 233932 HAS SOPS 212467 HAS SOUS 130288 HAS SOUPS 126255 WITH SCORE 126488.932
AT ITER 445 NEW BEST:: SOT 259571 SOS 234058 HAS SOPS 212533 HAS SOUS 130318 HAS SOUPS 126230 WITH SCORE 126464.058
AT ITER 449 NEW BEST:: SOT 259511 SOS 233998 HAS SOPS 212473 HAS SOUS 130219 HAS SOUPS 126127 WITH SCORE 126360.998
AT ITER 456 NEW BEST:: SOT 259511 SOS 233999 HAS SOPS 212472 HAS SOUS 130184 HAS SOUPS 126092 WITH SCORE 126325.999
AT ITER 460 NEW BEST:: SOT 259229 SOS 233717 HAS SOPS 212190 HAS SOUS 129902 HAS SOUPS 125810 WITH SCORE 126043.717
AT ITER 464 NEW BEST:: SOT 259221 SOS 233709 HAS SOPS 212180 HAS SOUS 129884 HAS SOUPS 125796 WITH SCORE 126029.709
AT ITER 489 NEW BEST:: SOT 259021 SOS 233509 HAS SOPS 211981 HAS SOUS 129686 HAS SOUPS 125600 WITH SCORE 125833.509
AT ITER 493 NEW BEST:: SOT 258253 SOS 232741 HAS SOPS 210678 HAS SOUS 129307 HAS SOUPS 125102 WITH SCORE 125334.741
AT ITER 500 NEW BEST:: SOT 258188 SOS 232676 HAS SOPS 210613 HAS SOUS 129242 HAS SOUPS 125037 WITH SCORE 125269.676
AT ITER 503 NEW BEST:: SOT 257742 SOS 232230 HAS SOPS 210148 HAS SOUS 128729 HAS SOUPS 124505 WITH SCORE 124737.23
AT ITER 530 NEW BEST:: SOT 257098 SOS 231586 HAS SOPS 209495 HAS SOUS 127956 HAS SOUPS 123774 WITH SCORE 124005.586
AT ITER 562 NEW BEST:: SOT 256894 SOS 231382 HAS SOPS 209291 HAS SOUS 127618 HAS SOUPS 123450 WITH SCORE 123681.382
AT ITER 585 NEW BEST:: SOT 256659 SOS 231147 HAS SOPS 209056 HAS SOUS 127388 HAS SOUPS 123220 WITH SCORE 123451.147
AT ITER 592 NEW BEST:: SOT 256417 SOS 230905 HAS SOPS 208771 HAS SOUS 126995 HAS SOUPS 122801 WITH SCORE 123031.905
AT ITER 593 NEW BEST:: SOT 256163 SOS 230651 HAS SOPS 207942 HAS SOUS 126445 HAS SOUPS 122145 WITH SCORE 122375.651
AT ITER 598 NEW BEST:: SOT 256003 SOS 230491 HAS SOPS 207782 HAS SOUS 126285 HAS SOUPS 121985 WITH SCORE 122215.491
AT ITER 611 NEW BEST:: SOT 256009 SOS 230497 HAS SOPS 207787 HAS SOUS 126103 HAS SOUPS 121808 WITH SCORE 122038.497
AT ITER 622 NEW BEST:: SOT 255985 SOS 230473 HAS SOPS 207738 HAS SOUS 126023 HAS SOUPS 121730 WITH SCORE 121960.473
AT ITER 630 NEW BEST:: SOT 255899 SOS 230387 HAS SOPS 207653 HAS SOUS 125896 HAS SOUPS 121604 WITH SCORE 121834.387
AT ITER 646 NEW BEST:: SOT 255717 SOS 230205 HAS SOPS 207471 HAS SOUS 125735 HAS SOUPS 121443 WITH SCORE 121673.205
AT ITER 647 NEW BEST:: SOT 255257 SOS 229745 HAS SOPS 206986 HAS SOUS 125428 HAS SOUPS 121082 WITH SCORE 121311.745
AT ITER 651 NEW BEST:: SOT 255207 SOS 229695 HAS SOPS 206967 HAS SOUS 125332 HAS SOUPS 121011 WITH SCORE 121240.695
AT ITER 659 NEW BEST:: SOT 255137 SOS 229625 HAS SOPS 206882 HAS SOUS 125161 HAS SOUPS 120840 WITH SCORE 121069.625
AT ITER 674 NEW BEST:: SOT 254705 SOS 229193 HAS SOPS 206280 HAS SOUS 124516 HAS SOUPS 120228 WITH SCORE 120457.193
AT ITER 682 NEW BEST:: SOT 254710 SOS 229184 HAS SOPS 206271 HAS SOUS 124472 HAS SOUPS 120184 WITH SCORE 120413.184
AT ITER 709 NEW BEST:: SOT 254716 SOS 229190 HAS SOPS 206277 HAS SOUS 124460 HAS SOUPS 120172 WITH SCORE 120401.19
AT ITER 718 NEW BEST:: SOT 254744 SOS 229218 HAS SOPS 206437 HAS SOUS 124386 HAS SOUPS 120064 WITH SCORE 120293.218
AT ITER 726 NEW BEST:: SOT 254596 SOS 229070 HAS SOPS 206298 HAS SOUS 124247 HAS SOUPS 119934 WITH SCORE 120163.07
AT ITER 729 NEW BEST:: SOT 254564 SOS 229038 HAS SOPS 206270 HAS SOUS 124239 HAS SOUPS 119928 WITH SCORE 120157.038
AT ITER 730 NEW BEST:: SOT 254564 SOS 229038 HAS SOPS 206270 HAS SOUS 124238 HAS SOUPS 119927 WITH SCORE 120156.038
AT ITER 749 NEW BEST:: SOT 254544 SOS 229018 HAS SOPS 206250 HAS SOUS 124218 HAS SOUPS 119907 WITH SCORE 120136.018
AT ITER 752 NEW BEST:: SOT 254544 SOS 229013 HAS SOPS 206245 HAS SOUS 124213 HAS SOUPS 119902 WITH SCORE 120131.013
AT ITER 757 NEW BEST:: SOT 254540 SOS 228969 HAS SOPS 206201 HAS SOUS 124205 HAS SOUPS 119894 WITH SCORE 120122.969
AT ITER 762 NEW BEST:: SOT 254512 SOS 228941 HAS SOPS 206156 HAS SOUS 124168 HAS SOUPS 119844 WITH SCORE 120072.941
AT ITER 771 NEW BEST:: SOT 254432 SOS 228861 HAS SOPS 205975 HAS SOUS 123984 HAS SOUPS 119683 WITH SCORE 119911.861
AT ITER 788 NEW BEST:: SOT 254428 SOS 228857 HAS SOPS 205971 HAS SOUS 123975 HAS SOUPS 119675 WITH SCORE 119903.857
AT ITER 796 NEW BEST:: SOT 254428 SOS 230653 HAS SOPS 206711 HAS SOUS 123995 HAS SOUPS 119645 WITH SCORE 119875.653
AT ITER 808 NEW BEST:: SOT 254266 SOS 230491 HAS SOPS 206555 HAS SOUS 123892 HAS SOUPS 119548 WITH SCORE 119778.491
AT ITER 810 NEW BEST:: SOT 254312 SOS 230537 HAS SOPS 206591 HAS SOUS 123845 HAS SOUPS 119469 WITH SCORE 119699.537
AT ITER 833 NEW BEST:: SOT 254306 SOS 230531 HAS SOPS 206585 HAS SOUS 123836 HAS SOUPS 119460 WITH SCORE 119690.531
AT ITER 838 NEW BEST:: SOT 254228 SOS 230453 HAS SOPS 206507 HAS SOUS 123699 HAS SOUPS 119323 WITH SCORE 119553.453
AT ITER 842 NEW BEST:: SOT 254228 SOS 230453 HAS SOPS 206431 HAS SOUS 123665 HAS SOUPS 119290 WITH SCORE 119520.453
AT ITER 864 NEW BEST:: SOT 254242 SOS 230467 HAS SOPS 206445 HAS SOUS 123668 HAS SOUPS 119289 WITH SCORE 119519.467
AT ITER 883 NEW BEST:: SOT 254242 SOS 230467 HAS SOPS 206421 HAS SOUS 123658 HAS SOUPS 119285 WITH SCORE 119515.467
AT ITER 887 NEW BEST:: SOT 254242 SOS 230467 HAS SOPS 206491 HAS SOUS 123644 HAS SOUPS 119262 WITH SCORE 119492.467
AT ITER 894 NEW BEST:: SOT 254282 SOS 230507 HAS SOPS 206544 HAS SOUS 123370 HAS SOUPS 119018 WITH SCORE 119248.507
AT ITER 896 NEW BEST:: SOT 254284 SOS 230509 HAS SOPS 206537 HAS SOUS 123253 HAS SOUPS 118901 WITH SCORE 119131.509
AT ITER 897 NEW BEST:: SOT 254284 SOS 230509 HAS SOPS 206409 HAS SOUS 123189 HAS SOUPS 118840 WITH SCORE 119070.509
AT ITER 903 NEW BEST:: SOT 254264 SOS 230489 HAS SOPS 206386 HAS SOUS 123149 HAS SOUPS 118794 WITH SCORE 119024.489
AT ITER 920 NEW BEST:: SOT 254213 SOS 230438 HAS SOPS 206335 HAS SOUS 123093 HAS SOUPS 118738 WITH SCORE 118968.438
AT ITER 925 NEW BEST:: SOT 254179 SOS 230404 HAS SOPS 206301 HAS SOUS 122995 HAS SOUPS 118641 WITH SCORE 118871.404
AT ITER 930 NEW BEST:: SOT 254177 SOS 230402 HAS SOPS 206299 HAS SOUS 122978 HAS SOUPS 118625 WITH SCORE 118855.402
AT ITER 938 NEW BEST:: SOT 254047 SOS 230272 HAS SOPS 206049 HAS SOUS 122795 HAS SOUPS 118469 WITH SCORE 118699.272
AT ITER 940 NEW BEST:: SOT 254041 SOS 230266 HAS SOPS 206040 HAS SOUS 122769 HAS SOUPS 118443 WITH SCORE 118673.266
AT ITER 992 NEW BEST:: SOT 253571 SOS 229796 HAS SOPS 205430 HAS SOUS 122096 HAS SOUPS 117794 WITH SCORE 118023.796
AT ITER 997 NEW BEST:: SOT 253557 SOS 229782 HAS SOPS 205409 HAS SOUS 122070 HAS SOUPS 117760 WITH SCORE 117989.782
AT ITER 998 NEW BEST:: SOT 253558 SOS 229459 HAS SOPS 205276 HAS SOUS 122067 HAS SOUPS 117759 WITH SCORE 117988.459
AT ITER 1011 NEW BEST:: SOT 253480 SOS 229381 HAS SOPS 205207 HAS SOUS 122051 HAS SOUPS 117743 WITH SCORE 117972.381
AT ITER 1035 NEW BEST:: SOT 253406 SOS 229307 HAS SOPS 205129 HAS SOUS 121933 HAS SOUPS 117627 WITH SCORE 117856.307
AT ITER 1067 NEW BEST:: SOT 253400 SOS 229301 HAS SOPS 205123 HAS SOUS 121917 HAS SOUPS 117610 WITH SCORE 117839.301
AT ITER 1080 NEW BEST:: SOT 253228 SOS 229129 HAS SOPS 204949 HAS SOUS 121757 HAS SOUPS 117454 WITH SCORE 117683.129
AT ITER 1083 NEW BEST:: SOT 253202 SOS 229103 HAS SOPS 204923 HAS SOUS 121644 HAS SOUPS 117345 WITH SCORE 117574.103
AT ITER 1099 NEW BEST:: SOT 252812 SOS 228713 HAS SOPS 204379 HAS SOUS 120729 HAS SOUPS 116504 WITH SCORE 116732.713
AT ITER 1103 NEW BEST:: SOT 252792 SOS 228693 HAS SOPS 204359 HAS SOUS 120709 HAS SOUPS 116484 WITH SCORE 116712.693
AT ITER 1106 NEW BEST:: SOT 252768 SOS 228669 HAS SOPS 204335 HAS SOUS 120690 HAS SOUPS 116465 WITH SCORE 116693.669
AT ITER 1108 NEW BEST:: SOT 252766 SOS 228667 HAS SOPS 204333 HAS SOUS 120666 HAS SOUPS 116446 WITH SCORE 116674.667
AT ITER 1118 NEW BEST:: SOT 252725 SOS 228626 HAS SOPS 204292 HAS SOUS 120625 HAS SOUPS 116405 WITH SCORE 116633.626
AT ITER 1129 NEW BEST:: SOT 252705 SOS 228606 HAS SOPS 204272 HAS SOUS 120569 HAS SOUPS 116351 WITH SCORE 116579.606
AT ITER 1159 NEW BEST:: SOT 252503 SOS 228404 HAS SOPS 204085 HAS SOUS 120458 HAS SOUPS 116251 WITH SCORE 116479.404
AT ITER 1178 NEW BEST:: SOT 252503 SOS 228377 HAS SOPS 204058 HAS SOUS 120458 HAS SOUPS 116251 WITH SCORE 116479.377
AT ITER 1179 NEW BEST:: SOT 252469 SOS 228343 HAS SOPS 204020 HAS SOUS 120384 HAS SOUPS 116175 WITH SCORE 116403.343
AT ITER 1202 NEW BEST:: SOT 252473 SOS 228347 HAS SOPS 204024 HAS SOUS 120367 HAS SOUPS 116158 WITH SCORE 116386.347
AT ITER 1203 NEW BEST:: SOT 251862 SOS 227736 HAS SOPS 203413 HAS SOUS 119774 HAS SOUPS 115565 WITH SCORE 115792.736
AT ITER 1212 NEW BEST:: SOT 251334 SOS 227208 HAS SOPS 202859 HAS SOUS 119151 HAS SOUPS 114951 WITH SCORE 115178.208
AT ITER 1215 NEW BEST:: SOT 250825 SOS 221704 HAS SOPS 197685 HAS SOUS 119070 HAS SOUPS 114953 WITH SCORE 115174.704
AT ITER 1221 NEW BEST:: SOT 250827 SOS 221080 HAS SOPS 197421 HAS SOUS 119062 HAS SOUPS 114950 WITH SCORE 115171.08
AT ITER 1229 NEW BEST:: SOT 250843 SOS 221097 HAS SOPS 197439 HAS SOUS 118704 HAS SOUPS 114610 WITH SCORE 114831.097
AT ITER 1230 NEW BEST:: SOT 251382 SOS 219516 HAS SOPS 196948 HAS SOUS 117501 HAS SOUPS 113738 WITH SCORE 113957.516
AT ITER 1243 NEW BEST:: SOT 251362 SOS 219496 HAS SOPS 196928 HAS SOUS 117390 HAS SOUPS 113633 WITH SCORE 113852.496
AT ITER 1245 NEW BEST:: SOT 251352 SOS 219498 HAS SOPS 197032 HAS SOUS 117389 HAS SOUPS 113623 WITH SCORE 113842.498
AT ITER 1248 NEW BEST:: SOT 250866 SOS 219012 HAS SOPS 196546 HAS SOUS 117174 HAS SOUPS 113381 WITH SCORE 113600.012
AT ITER 1266 NEW BEST:: SOT 250600 SOS 218794 HAS SOPS 196336 HAS SOUS 116987 HAS SOUPS 113199 WITH SCORE 113417.794
AT ITER 1293 NEW BEST:: SOT 250582 SOS 218776 HAS SOPS 196318 HAS SOUS 116974 HAS SOUPS 113186 WITH SCORE 113404.776
AT ITER 1294 NEW BEST:: SOT 250167 SOS 210299 HAS SOPS 189622 HAS SOUS 112212 HAS SOUPS 108883 WITH SCORE 109093.299
AT ITER 1297 NEW BEST:: SOT 250163 SOS 210295 HAS SOPS 189618 HAS SOUS 112201 HAS SOUPS 108872 WITH SCORE 109082.295
AT ITER 1298 NEW BEST:: SOT 250395 SOS 207582 HAS SOPS 188363 HAS SOUS 111154 HAS SOUPS 108064 WITH SCORE 108271.582
AT ITER 1304 NEW BEST:: SOT 250369 SOS 207557 HAS SOPS 188329 HAS SOUS 110974 HAS SOUPS 107921 WITH SCORE 108128.557
AT ITER 1307 NEW BEST:: SOT 250273 SOS 207461 HAS SOPS 188226 HAS SOUS 110868 HAS SOUPS 107811 WITH SCORE 108018.461
AT ITER 1312 NEW BEST:: SOT 250176 SOS 206828 HAS SOPS 187977 HAS SOUS 110610 HAS SOUPS 107579 WITH SCORE 107785.828
AT ITER 1339 NEW BEST:: SOT 250020 SOS 206672 HAS SOPS 187821 HAS SOUS 110454 HAS SOUPS 107423 WITH SCORE 107629.672
AT ITER 1358 NEW BEST:: SOT 250058 SOS 204201 HAS SOPS 186675 HAS SOUS 109887 HAS SOUPS 106981 WITH SCORE 107185.201
AT ITER 1365 NEW BEST:: SOT 250139 SOS 200900 HAS SOPS 184940 HAS SOUS 108980 HAS SOUPS 106197 WITH SCORE 106397.9
AT ITER 1366 NEW BEST:: SOT 250085 SOS 200846 HAS SOPS 184886 HAS SOUS 108926 HAS SOUPS 106143 WITH SCORE 106343.846
AT ITER 1370 NEW BEST:: SOT 250024 SOS 200785 HAS SOPS 184825 HAS SOUS 108865 HAS SOUPS 106082 WITH SCORE 106282.785
AT ITER 1374 NEW BEST:: SOT 250024 SOS 201349 HAS SOPS 186230 HAS SOUS 108811 HAS SOUPS 106056 WITH SCORE 106257.349
AT ITER 1384 NEW BEST:: SOT 250024 SOS 199149 HAS SOPS 185421 HAS SOUS 108629 HAS SOUPS 105924 WITH SCORE 106123.149
AT ITER 1393 NEW BEST:: SOT 250015 SOS 199138 HAS SOPS 185412 HAS SOUS 108607 HAS SOUPS 105904 WITH SCORE 106103.138
AT ITER 1402 NEW BEST:: SOT 250293 SOS 199412 HAS SOPS 185621 HAS SOUS 108210 HAS SOUPS 105505 WITH SCORE 105704.412
AT ITER 1405 NEW BEST:: SOT 250293 SOS 199412 HAS SOPS 185621 HAS SOUS 108209 HAS SOUPS 105504 WITH SCORE 105703.412
AT ITER 1413 NEW BEST:: SOT 250272 SOS 199391 HAS SOPS 185600 HAS SOUS 108137 HAS SOUPS 105432 WITH SCORE 105631.391
AT ITER 1414 NEW BEST:: SOT 250190 SOS 199309 HAS SOPS 185518 HAS SOUS 108043 HAS SOUPS 105338 WITH SCORE 105537.309
AT ITER 1415 NEW BEST:: SOT 250150 SOS 199269 HAS SOPS 185478 HAS SOUS 108003 HAS SOUPS 105298 WITH SCORE 105497.269
AT ITER 1417 NEW BEST:: SOT 250112 SOS 199086 HAS SOPS 185299 HAS SOUS 107690 HAS SOUPS 105001 WITH SCORE 105200.086
AT ITER 1424 NEW BEST:: SOT 249903 SOS 198877 HAS SOPS 185100 HAS SOUS 107552 HAS SOUPS 104873 WITH SCORE 105071.877
AT ITER 1434 NEW BEST:: SOT 249903 SOS 198627 HAS SOPS 184728 HAS SOUS 107538 HAS SOUPS 104857 WITH SCORE 105055.627
AT ITER 1439 NEW BEST:: SOT 249869 SOS 198585 HAS SOPS 184686 HAS SOUS 107448 HAS SOUPS 104771 WITH SCORE 104969.585
AT ITER 1458 NEW BEST:: SOT 249846 SOS 198562 HAS SOPS 184663 HAS SOUS 107404 HAS SOUPS 104727 WITH SCORE 104925.562
AT ITER 1460 NEW BEST:: SOT 249841 SOS 198557 HAS SOPS 184658 HAS SOUS 107397 HAS SOUPS 104720 WITH SCORE 104918.557
AT ITER 1469 NEW BEST:: SOT 249559 SOS 194019 HAS SOPS 183654 HAS SOUS 104506 HAS SOUPS 102143 WITH SCORE 102337.019
AT ITER 1471 NEW BEST:: SOT 248703 SOS 191056 HAS SOPS 180727 HAS SOUS 101241 HAS SOUPS 99094 WITH SCORE 99285.056
AT ITER 1473 NEW BEST:: SOT 248697 SOS 189162 HAS SOPS 180578 HAS SOUS 100719 HAS SOUPS 98633 WITH SCORE 98822.162
AT ITER 1481 NEW BEST:: SOT 248686 SOS 189151 HAS SOPS 180564 HAS SOUS 100660 HAS SOUPS 98582 WITH SCORE 98771.151
AT ITER 1514 NEW BEST:: SOT 248674 SOS 189139 HAS SOPS 180552 HAS SOUS 100648 HAS SOUPS 98570 WITH SCORE 98759.139
AT ITER 1534 NEW BEST:: SOT 248674 SOS 187010 HAS SOPS 177886 HAS SOUS 100514 HAS SOUPS 98415 WITH SCORE 98602.01
AT ITER 1535 NEW BEST:: SOT 248386 SOS 186713 HAS SOPS 177568 HAS SOUS 100080 HAS SOUPS 97996 WITH SCORE 98182.713
AT ITER 1543 NEW BEST:: SOT 248398 SOS 184789 HAS SOPS 177057 HAS SOUS 99727 HAS SOUPS 97669 WITH SCORE 97853.789
AT ITER 1559 NEW BEST:: SOT 248394 SOS 184785 HAS SOPS 177053 HAS SOUS 99726 HAS SOUPS 97666 WITH SCORE 97850.785
AT ITER 1572 NEW BEST:: SOT 248417 SOS 184944 HAS SOPS 177084 HAS SOUS 99509 HAS SOUPS 97466 WITH SCORE 97650.944
AT ITER 1593 NEW BEST:: SOT 248417 SOS 184960 HAS SOPS 177030 HAS SOUS 99458 HAS SOUPS 97418 WITH SCORE 97602.96
AT ITER 1597 NEW BEST:: SOT 248417 SOS 184960 HAS SOPS 177030 HAS SOUS 99456 HAS SOUPS 97416 WITH SCORE 97600.96
AT ITER 1607 NEW BEST:: SOT 250212 SOS 186850 HAS SOPS 178886 HAS SOUS 98841 HAS SOUPS 96862 WITH SCORE 97048.85
AT ITER 1619 NEW BEST:: SOT 250086 SOS 186724 HAS SOPS 178760 HAS SOUS 98662 HAS SOUPS 96686 WITH SCORE 96872.724
AT ITER 1626 NEW BEST:: SOT 251226 SOS 187837 HAS SOPS 179824 HAS SOUS 98493 HAS SOUPS 96509 WITH SCORE 96696.837
AT ITER 1652 NEW BEST:: SOT 250922 SOS 187526 HAS SOPS 179520 HAS SOUS 97988 HAS SOUPS 96024 WITH SCORE 96211.526
AT ITER 1653 NEW BEST:: SOT 250880 SOS 187484 HAS SOPS 179469 HAS SOUS 97904 HAS SOUPS 95946 WITH SCORE 96133.484
AT ITER 1663 NEW BEST:: SOT 250879 SOS 187459 HAS SOPS 179436 HAS SOUS 97844 HAS SOUPS 95894 WITH SCORE 96081.459
AT ITER 1673 NEW BEST:: SOT 250793 SOS 187350 HAS SOPS 179324 HAS SOUS 97684 HAS SOUPS 95742 WITH SCORE 95929.35
AT ITER 1676 NEW BEST:: SOT 250777 SOS 187352 HAS SOPS 179310 HAS SOUS 97663 HAS SOUPS 95710 WITH SCORE 95897.352
AT ITER 1690 NEW BEST:: SOT 250667 SOS 187233 HAS SOPS 179071 HAS SOUS 97471 HAS SOUPS 95506 WITH SCORE 95693.233
AT ITER 1691 NEW BEST:: SOT 250456 SOS 187019 HAS SOPS 178868 HAS SOUS 97303 HAS SOUPS 95352 WITH SCORE 95539.019
AT ITER 1697 NEW BEST:: SOT 250456 SOS 187019 HAS SOPS 178868 HAS SOUS 97296 HAS SOUPS 95347 WITH SCORE 95534.019
AT ITER 1703 NEW BEST:: SOT 250458 SOS 187332 HAS SOPS 179075 HAS SOUS 97215 HAS SOUPS 95300 WITH SCORE 95487.332
AT ITER 1740 NEW BEST:: SOT 250409 SOS 187268 HAS SOPS 179010 HAS SOUS 97103 HAS SOUPS 95201 WITH SCORE 95388.268
AT ITER 1755 NEW BEST:: SOT 249995 SOS 186854 HAS SOPS 178621 HAS SOUS 97012 HAS SOUPS 95110 WITH SCORE 95296.854
AT ITER 1766 NEW BEST:: SOT 249975 SOS 186834 HAS SOPS 178601 HAS SOUS 96984 HAS SOUPS 95082 WITH SCORE 95268.834
AT ITER 1769 NEW BEST:: SOT 249972 SOS 186831 HAS SOPS 178598 HAS SOUS 96978 HAS SOUPS 95076 WITH SCORE 95262.831
AT ITER 1784 NEW BEST:: SOT 249970 SOS 186822 HAS SOPS 178582 HAS SOUS 96912 HAS SOUPS 95010 WITH SCORE 95196.822
AT ITER 1844 NEW BEST:: SOT 249970 SOS 186401 HAS SOPS 178242 HAS SOUS 96690 HAS SOUPS 94822 WITH SCORE 95008.401
AT ITER 1853 NEW BEST:: SOT 249960 SOS 187308 HAS SOPS 178620 HAS SOUS 96600 HAS SOUPS 94737 WITH SCORE 94924.308
AT ITER 1885 NEW BEST:: SOT 249966 SOS 187302 HAS SOPS 178602 HAS SOUS 96544 HAS SOUPS 94693 WITH SCORE 94880.302
AT ITER 1887 NEW BEST:: SOT 251986 SOS 188868 HAS SOPS 179853 HAS SOUS 96004 HAS SOUPS 94240 WITH SCORE 94428.868
AT ITER 1901 NEW BEST:: SOT 252045 SOS 188250 HAS SOPS 179696 HAS SOUS 94701 HAS SOUPS 93059 WITH SCORE 93247.25
AT ITER 1902 NEW BEST:: SOT 251876 SOS 188076 HAS SOPS 179516 HAS SOUS 94392 HAS SOUPS 92756 WITH SCORE 92944.076
AT ITER 1909 NEW BEST:: SOT 251791 SOS 187991 HAS SOPS 179435 HAS SOUS 94302 HAS SOUPS 92659 WITH SCORE 92846.991
AT ITER 1920 NEW BEST:: SOT 251685 SOS 187878 HAS SOPS 179329 HAS SOUS 93968 HAS SOUPS 92357 WITH SCORE 92544.878
AT ITER 1937 NEW BEST:: SOT 251609 SOS 188234 HAS SOPS 179705 HAS SOUS 93914 HAS SOUPS 92323 WITH SCORE 92511.234
AT ITER 1938 NEW BEST:: SOT 251586 SOS 188228 HAS SOPS 179692 HAS SOUS 93912 HAS SOUPS 92321 WITH SCORE 92509.228
AT ITER 1950 NEW BEST:: SOT 251586 SOS 190330 HAS SOPS 182084 HAS SOUS 93830 HAS SOUPS 92259 WITH SCORE 92449.33
AT ITER 1952 NEW BEST:: SOT 251526 SOS 190270 HAS SOPS 182024 HAS SOUS 93770 HAS SOUPS 92199 WITH SCORE 92389.27
AT ITER 1966 NEW BEST:: SOT 251424 SOS 190168 HAS SOPS 181922 HAS SOUS 93622 HAS SOUPS 92051 WITH SCORE 92241.168
AT ITER 2014 NEW BEST:: SOT 251390 SOS 190134 HAS SOPS 181879 HAS SOUS 93561 HAS SOUPS 91994 WITH SCORE 92184.134
AT ITER 2027 NEW BEST:: SOT 251336 SOS 190080 HAS SOPS 181825 HAS SOUS 93502 HAS SOUPS 91935 WITH SCORE 92125.08
AT ITER 2045 NEW BEST:: SOT 251338 SOS 190082 HAS SOPS 181828 HAS SOUS 93501 HAS SOUPS 91934 WITH SCORE 92124.082
AT ITER 2046 NEW BEST:: SOT 250872 SOS 189616 HAS SOPS 181378 HAS SOUS 93137 HAS SOUPS 91588 WITH SCORE 91777.616
AT ITER 2055 NEW BEST:: SOT 250394 SOS 189042 HAS SOPS 180804 HAS SOUS 92644 HAS SOUPS 91095 WITH SCORE 91284.042
AT ITER 2065 NEW BEST:: SOT 250406 SOS 189054 HAS SOPS 180816 HAS SOUS 92636 HAS SOUPS 91087 WITH SCORE 91276.054
AT ITER 2072 NEW BEST:: SOT 250406 SOS 189092 HAS SOPS 180854 HAS SOUS 92548 HAS SOUPS 90999 WITH SCORE 91188.092
AT ITER 2109 NEW BEST:: SOT 250365 SOS 189048 HAS SOPS 180813 HAS SOUS 92440 HAS SOUPS 90897 WITH SCORE 91086.048
AT ITER 2122 NEW BEST:: SOT 250305 SOS 188988 HAS SOPS 180753 HAS SOUS 92380 HAS SOUPS 90837 WITH SCORE 91025.988
AT ITER 2137 NEW BEST:: SOT 250233 SOS 188912 HAS SOPS 180677 HAS SOUS 92306 HAS SOUPS 90763 WITH SCORE 90951.912
AT ITER 2151 NEW BEST:: SOT 250191 SOS 188707 HAS SOPS 180387 HAS SOUS 92104 HAS SOUPS 90569 WITH SCORE 90757.707
AT ITER 2172 NEW BEST:: SOT 250165 SOS 188681 HAS SOPS 180357 HAS SOUS 92064 HAS SOUPS 90531 WITH SCORE 90719.681
AT ITER 2180 NEW BEST:: SOT 250126 SOS 188639 HAS SOPS 180316 HAS SOUS 92025 HAS SOUPS 90493 WITH SCORE 90681.639
AT ITER 2205 NEW BEST:: SOT 249758 SOS 188283 HAS SOPS 179972 HAS SOUS 91847 HAS SOUPS 90315 WITH SCORE 90503.283
AT ITER 2225 NEW BEST:: SOT 249752 SOS 188268 HAS SOPS 179966 HAS SOUS 91812 HAS SOUPS 90289 WITH SCORE 90477.268
AT ITER 2229 NEW BEST:: SOT 249767 SOS 188269 HAS SOPS 179974 HAS SOUS 91793 HAS SOUPS 90274 WITH SCORE 90462.269
AT ITER 2233 NEW BEST:: SOT 249689 SOS 188191 HAS SOPS 179896 HAS SOUS 91717 HAS SOUPS 90198 WITH SCORE 90386.191
AT ITER 2311 NEW BEST:: SOT 249664 SOS 188161 HAS SOPS 179861 HAS SOUS 91603 HAS SOUPS 90079 WITH SCORE 90267.161
AT ITER 2313 NEW BEST:: SOT 249294 SOS 187749 HAS SOPS 179491 HAS SOUS 90951 HAS SOUPS 89467 WITH SCORE 89654.749
AT ITER 2321 NEW BEST:: SOT 249219 SOS 187675 HAS SOPS 179418 HAS SOUS 90872 HAS SOUPS 89397 WITH SCORE 89584.675
AT ITER 2323 NEW BEST:: SOT 249187 SOS 187660 HAS SOPS 179409 HAS SOUS 90847 HAS SOUPS 89378 WITH SCORE 89565.66
AT ITER 2341 NEW BEST:: SOT 249145 SOS 187618 HAS SOPS 179367 HAS SOUS 90738 HAS SOUPS 89278 WITH SCORE 89465.618
AT ITER 2349 NEW BEST:: SOT 249093 SOS 187566 HAS SOPS 179315 HAS SOUS 90655 HAS SOUPS 89197 WITH SCORE 89384.566
AT ITER 2386 NEW BEST:: SOT 249085 SOS 187560 HAS SOPS 179311 HAS SOUS 90641 HAS SOUPS 89185 WITH SCORE 89372.56
AT ITER 2405 NEW BEST:: SOT 249065 SOS 187540 HAS SOPS 179291 HAS SOUS 90621 HAS SOUPS 89165 WITH SCORE 89352.54
AT ITER 2415 NEW BEST:: SOT 249017 SOS 187492 HAS SOPS 179242 HAS SOUS 90548 HAS SOUPS 89093 WITH SCORE 89280.492
AT ITER 2417 NEW BEST:: SOT 249007 SOS 187482 HAS SOPS 179232 HAS SOUS 90532 HAS SOUPS 89077 WITH SCORE 89264.482
AT ITER 2455 NEW BEST:: SOT 248981 SOS 187467 HAS SOPS 179200 HAS SOUS 90500 HAS SOUPS 89031 WITH SCORE 89218.467
AT ITER 2461 NEW BEST:: SOT 248423 SOS 186853 HAS SOPS 178561 HAS SOUS 89317 HAS SOUPS 87903 WITH SCORE 88089.853
AT ITER 2496 NEW BEST:: SOT 248424 SOS 186853 HAS SOPS 178562 HAS SOUS 89306 HAS SOUPS 87893 WITH SCORE 88079.853
AT ITER 2511 NEW BEST:: SOT 248418 SOS 186841 HAS SOPS 178556 HAS SOUS 89290 HAS SOUPS 87879 WITH SCORE 88065.841
AT ITER 2524 NEW BEST:: SOT 247219 SOS 185612 HAS SOPS 177397 HAS SOUS 88163 HAS SOUPS 86822 WITH SCORE 87007.612
AT ITER 2538 NEW BEST:: SOT 247017 SOS 185410 HAS SOPS 177195 HAS SOUS 87806 HAS SOUPS 86465 WITH SCORE 86650.41
AT ITER 2553 NEW BEST:: SOT 247005 SOS 185398 HAS SOPS 177183 HAS SOUS 87758 HAS SOUPS 86423 WITH SCORE 86608.398
AT ITER 2567 NEW BEST:: SOT 246998 SOS 185391 HAS SOPS 177176 HAS SOUS 87747 HAS SOUPS 86412 WITH SCORE 86597.391
AT ITER 2571 NEW BEST:: SOT 248137 SOS 185285 HAS SOPS 177244 HAS SOUS 86799 HAS SOUPS 85561 WITH SCORE 85746.285
AT ITER 2577 NEW BEST:: SOT 248126 SOS 185274 HAS SOPS 177233 HAS SOUS 86781 HAS SOUPS 85543 WITH SCORE 85728.274
AT ITER 2582 NEW BEST:: SOT 248108 SOS 185288 HAS SOPS 177222 HAS SOUS 86751 HAS SOUPS 85515 WITH SCORE 85700.288
AT ITER 2596 NEW BEST:: SOT 247681 SOS 184826 HAS SOPS 176777 HAS SOUS 85883 HAS SOUPS 84688 WITH SCORE 84872.826
AT ITER 2614 NEW BEST:: SOT 248079 SOS 185248 HAS SOPS 177190 HAS SOUS 85824 HAS SOUPS 84637 WITH SCORE 84822.248
AT ITER 2638 NEW BEST:: SOT 248037 SOS 185198 HAS SOPS 177148 HAS SOUS 85754 HAS SOUPS 84571 WITH SCORE 84756.198
AT ITER 2639 NEW BEST:: SOT 248057 SOS 185516 HAS SOPS 177316 HAS SOUS 85733 HAS SOUPS 84544 WITH SCORE 84729.516
AT ITER 2653 NEW BEST:: SOT 248043 SOS 185433 HAS SOPS 176609 HAS SOUS 85716 HAS SOUPS 84524 WITH SCORE 84709.433
AT ITER 2668 NEW BEST:: SOT 248003 SOS 185382 HAS SOPS 176567 HAS SOUS 85677 HAS SOUPS 84491 WITH SCORE 84676.382
AT ITER 2669 NEW BEST:: SOT 246870 SOS 184422 HAS SOPS 175581 HAS SOUS 85407 HAS SOUPS 84163 WITH SCORE 84347.422
AT ITER 2710 NEW BEST:: SOT 246828 SOS 184380 HAS SOPS 175539 HAS SOUS 85359 HAS SOUPS 84115 WITH SCORE 84299.38
AT ITER 2740 NEW BEST:: SOT 246098 SOS 183634 HAS SOPS 174813 HAS SOUS 84943 HAS SOUPS 83713 WITH SCORE 83896.634
AT ITER 2762 NEW BEST:: SOT 246083 SOS 183619 HAS SOPS 174798 HAS SOUS 84940 HAS SOUPS 83709 WITH SCORE 83892.619
AT ITER 2767 NEW BEST:: SOT 246070 SOS 183606 HAS SOPS 174785 HAS SOUS 84905 HAS SOUPS 83674 WITH SCORE 83857.606
AT ITER 2771 NEW BEST:: SOT 245893 SOS 183441 HAS SOPS 174626 HAS SOUS 84895 HAS SOUPS 83667 WITH SCORE 83850.441
AT ITER 2788 NEW BEST:: SOT 245476 SOS 183532 HAS SOPS 174744 HAS SOUS 84542 HAS SOUPS 83341 WITH SCORE 83524.532
AT ITER 2810 NEW BEST:: SOT 245139 SOS 183180 HAS SOPS 174387 HAS SOUS 83918 HAS SOUPS 82740 WITH SCORE 82923.18
AT ITER 2855 NEW BEST:: SOT 245139 SOS 183170 HAS SOPS 174377 HAS SOUS 83917 HAS SOUPS 82739 WITH SCORE 82922.17
AT ITER 2893 NEW BEST:: SOT 245139 SOS 183170 HAS SOPS 174377 HAS SOUS 83908 HAS SOUPS 82732 WITH SCORE 82915.17
AT ITER 2924 NEW BEST:: SOT 245057 SOS 183075 HAS SOPS 174295 HAS SOUS 83813 HAS SOUPS 82618 WITH SCORE 82801.075
AT ITER 2941 NEW BEST:: SOT 244625 SOS 182642 HAS SOPS 173863 HAS SOUS 83369 HAS SOUPS 82176 WITH SCORE 82358.642
AT ITER 2951 NEW BEST:: SOT 244621 SOS 182638 HAS SOPS 173859 HAS SOUS 83363 HAS SOUPS 82170 WITH SCORE 82352.638
AT ITER 2952 NEW BEST:: SOT 244593 SOS 182610 HAS SOPS 173831 HAS SOUS 83346 HAS SOUPS 82153 WITH SCORE 82335.61
AT ITER 2955 NEW BEST:: SOT 244590 SOS 182607 HAS SOPS 173828 HAS SOUS 83345 HAS SOUPS 82152 WITH SCORE 82334.607
AT ITER 2991 NEW BEST:: SOT 244476 SOS 182417 HAS SOPS 173607 HAS SOUS 83239 HAS SOUPS 82046 WITH SCORE 82228.417
AT ITER 3020 NEW BEST:: SOT 244484 SOS 182425 HAS SOPS 173615 HAS SOUS 83236 HAS SOUPS 82043 WITH SCORE 82225.425
AT ITER 3027 NEW BEST:: SOT 244110 SOS 175515 HAS SOPS 164863 HAS SOUS 81274 HAS SOUPS 80072 WITH SCORE 80247.515
AT ITER 3040 NEW BEST:: SOT 244108 SOS 175513 HAS SOPS 164861 HAS SOUS 81273 HAS SOUPS 80070 WITH SCORE 80245.513
AT ITER 3087 NEW BEST:: SOT 244005 SOS 175408 HAS SOPS 164758 HAS SOUS 81261 HAS SOUPS 80043 WITH SCORE 80218.408
AT ITER 3103 NEW BEST:: SOT 243955 SOS 175358 HAS SOPS 164708 HAS SOUS 81211 HAS SOUPS 79993 WITH SCORE 80168.358
AT ITER 3140 NEW BEST:: SOT 243763 SOS 175361 HAS SOPS 164734 HAS SOUS 81000 HAS SOUPS 79810 WITH SCORE 79985.361
AT ITER 3158 NEW BEST:: SOT 243759 SOS 175259 HAS SOPS 164632 HAS SOUS 80989 HAS SOUPS 79799 WITH SCORE 79974.259
AT ITER 3177 NEW BEST:: SOT 243314 SOS 174424 HAS SOPS 163855 HAS SOUS 80603 HAS SOUPS 79439 WITH SCORE 79613.424
AT ITER 3185 NEW BEST:: SOT 243292 SOS 174394 HAS SOPS 163833 HAS SOUS 80564 HAS SOUPS 79408 WITH SCORE 79582.394
AT ITER 3197 NEW BEST:: SOT 243260 SOS 174362 HAS SOPS 163801 HAS SOUS 80495 HAS SOUPS 79339 WITH SCORE 79513.362
AT ITER 3212 NEW BEST:: SOT 243256 SOS 174356 HAS SOPS 163797 HAS SOUS 80483 HAS SOUPS 79329 WITH SCORE 79503.356
AT ITER 3213 NEW BEST:: SOT 243422 SOS 174500 HAS SOPS 163919 HAS SOUS 80034 HAS SOUPS 78874 WITH SCORE 79048.5
AT ITER 3223 NEW BEST:: SOT 243422 SOS 174500 HAS SOPS 163919 HAS SOUS 80029 HAS SOUPS 78870 WITH SCORE 79044.5
AT ITER 3227 NEW BEST:: SOT 243325 SOS 174531 HAS SOPS 163918 HAS SOUS 79792 HAS SOUPS 78613 WITH SCORE 78787.531
AT ITER 3241 NEW BEST:: SOT 243325 SOS 174531 HAS SOPS 163918 HAS SOUS 79788 HAS SOUPS 78609 WITH SCORE 78783.531
AT ITER 3247 NEW BEST:: SOT 243321 SOS 174523 HAS SOPS 163906 HAS SOUS 79775 HAS SOUPS 78599 WITH SCORE 78773.523
AT ITER 3248 NEW BEST:: SOT 241490 SOS 173697 HAS SOPS 164051 HAS SOUS 78913 HAS SOUPS 78183 WITH SCORE 78356.697
AT ITER 3254 NEW BEST:: SOT 241481 SOS 173683 HAS SOPS 164042 HAS SOUS 78878 HAS SOUPS 78153 WITH SCORE 78326.683
AT ITER 3293 NEW BEST:: SOT 241378 SOS 173423 HAS SOPS 163291 HAS SOUS 78852 HAS SOUPS 78131 WITH SCORE 78304.423
AT ITER 3304 NEW BEST:: SOT 241366 SOS 173411 HAS SOPS 163279 HAS SOUS 78843 HAS SOUPS 78122 WITH SCORE 78295.411
AT ITER 3312 NEW BEST:: SOT 241360 SOS 173405 HAS SOPS 163273 HAS SOUS 78837 HAS SOUPS 78116 WITH SCORE 78289.405
AT ITER 3321 NEW BEST:: SOT 241264 SOS 172272 HAS SOPS 161355 HAS SOUS 77400 HAS SOUPS 76647 WITH SCORE 76819.272
AT ITER 3358 NEW BEST:: SOT 241187 SOS 171396 HAS SOPS 160355 HAS SOUS 77288 HAS SOUPS 76536 WITH SCORE 76707.396
AT ITER 3359 NEW BEST:: SOT 241127 SOS 171320 HAS SOPS 160290 HAS SOUS 77255 HAS SOUPS 76508 WITH SCORE 76679.32
AT ITER 3366 NEW BEST:: SOT 241147 SOS 171364 HAS SOPS 160310 HAS SOUS 77245 HAS SOUPS 76492 WITH SCORE 76663.364
AT ITER 3372 NEW BEST:: SOT 241128 SOS 171345 HAS SOPS 160291 HAS SOUS 77213 HAS SOUPS 76460 WITH SCORE 76631.345
AT ITER 3383 NEW BEST:: SOT 241136 SOS 171353 HAS SOPS 160299 HAS SOUS 77209 HAS SOUPS 76456 WITH SCORE 76627.353
AT ITER 3386 NEW BEST:: SOT 241106 SOS 171269 HAS SOPS 160269 HAS SOUS 77154 HAS SOUPS 76414 WITH SCORE 76585.269
AT ITER 3394 NEW BEST:: SOT 241064 SOS 171559 HAS SOPS 160511 HAS SOUS 77144 HAS SOUPS 76363 WITH SCORE 76534.559
AT ITER 3417 NEW BEST:: SOT 241078 SOS 171573 HAS SOPS 160525 HAS SOUS 77129 HAS SOUPS 76348 WITH SCORE 76519.573
AT ITER 3428 NEW BEST:: SOT 241059 SOS 171546 HAS SOPS 160506 HAS SOUS 77092 HAS SOUPS 76322 WITH SCORE 76493.546
AT ITER 3478 NEW BEST:: SOT 241057 SOS 171544 HAS SOPS 160504 HAS SOUS 77086 HAS SOUPS 76316 WITH SCORE 76487.544
AT ITER 3511 NEW BEST:: SOT 241027 SOS 171514 HAS SOPS 160474 HAS SOUS 77064 HAS SOUPS 76294 WITH SCORE 76465.514
AT ITER 3551 NEW BEST:: SOT 240950 SOS 171413 HAS SOPS 160365 HAS SOUS 76797 HAS SOUPS 76045 WITH SCORE 76216.413
AT ITER 3560 NEW BEST:: SOT 240938 SOS 171117 HAS SOPS 160007 HAS SOUS 76793 HAS SOUPS 76033 WITH SCORE 76204.117
AT ITER 3565 NEW BEST:: SOT 240374 SOS 170553 HAS SOPS 159443 HAS SOUS 76307 HAS SOUPS 75547 WITH SCORE 75717.553
AT ITER 3569 NEW BEST:: SOT 240371 SOS 169788 HAS SOPS 158546 HAS SOUS 76241 HAS SOUPS 75475 WITH SCORE 75644.788
AT ITER 3572 NEW BEST:: SOT 240337 SOS 169754 HAS SOPS 158512 HAS SOUS 76207 HAS SOUPS 75441 WITH SCORE 75610.754
AT ITER 3592 NEW BEST:: SOT 240327 SOS 169744 HAS SOPS 158502 HAS SOUS 76199 HAS SOUPS 75433 WITH SCORE 75602.744
AT ITER 3643 NEW BEST:: SOT 240327 SOS 169745 HAS SOPS 158502 HAS SOUS 76197 HAS SOUPS 75430 WITH SCORE 75599.745
AT ITER 3673 NEW BEST:: SOT 240326 SOS 169742 HAS SOPS 158501 HAS SOUS 76190 HAS SOUPS 75425 WITH SCORE 75594.742
AT ITER 3710 NEW BEST:: SOT 239739 SOS 168795 HAS SOPS 157554 HAS SOUS 75214 HAS SOUPS 74449 WITH SCORE 74617.795
AT ITER 3740 NEW BEST:: SOT 239714 SOS 168596 HAS SOPS 157391 HAS SOUS 75204 HAS SOUPS 74439 WITH SCORE 74607.596
AT ITER 3775 NEW BEST:: SOT 239710 SOS 168592 HAS SOPS 157387 HAS SOUS 75200 HAS SOUPS 74435 WITH SCORE 74603.592
AT ITER 3803 NEW BEST:: SOT 239696 SOS 168578 HAS SOPS 157373 HAS SOUS 75186 HAS SOUPS 74421 WITH SCORE 74589.578
AT ITER 3839 NEW BEST:: SOT 239481 SOS 167465 HAS SOPS 155988 HAS SOUS 74997 HAS SOUPS 74237 WITH SCORE 74404.465
AT ITER 3840 NEW BEST:: SOT 239454 SOS 167437 HAS SOPS 155961 HAS SOUS 74947 HAS SOUPS 74189 WITH SCORE 74356.437
AT ITER 3853 NEW BEST:: SOT 239405 SOS 167506 HAS SOPS 156048 HAS SOUS 74859 HAS SOUPS 74134 WITH SCORE 74301.506
AT ITER 3875 NEW BEST:: SOT 239337 SOS 167438 HAS SOPS 155980 HAS SOUS 74799 HAS SOUPS 74083 WITH SCORE 74250.438
AT ITER 3899 NEW BEST:: SOT 239337 SOS 167438 HAS SOPS 155980 HAS SOUS 74792 HAS SOUPS 74076 WITH SCORE 74243.438
AT ITER 3908 NEW BEST:: SOT 239337 SOS 166785 HAS SOPS 155214 HAS SOUS 74777 HAS SOUPS 74055 WITH SCORE 74221.785
AT ITER 3962 NEW BEST:: SOT 239001 SOS 167230 HAS SOPS 154946 HAS SOUS 74744 HAS SOUPS 73971 WITH SCORE 74138.23
AT ITER 3995 NEW BEST:: SOT 239001 SOS 167350 HAS SOPS 155150 HAS SOUS 74655 HAS SOUPS 73891 WITH SCORE 74058.35
AT ITER 4021 NEW BEST:: SOT 238997 SOS 167346 HAS SOPS 155146 HAS SOUS 74651 HAS SOUPS 73887 WITH SCORE 74054.346
AT ITER 4027 NEW BEST:: SOT 238997 SOS 167238 HAS SOPS 155037 HAS SOUS 74557 HAS SOUPS 73793 WITH SCORE 73960.238
AT ITER 4123 NEW BEST:: SOT 239000 SOS 167241 HAS SOPS 155040 HAS SOUS 74552 HAS SOUPS 73788 WITH SCORE 73955.241
AT ITER 4239 NEW BEST:: SOT 238963 SOS 167204 HAS SOPS 155003 HAS SOUS 74515 HAS SOUPS 73751 WITH SCORE 73918.204
AT ITER 4240 NEW BEST:: SOT 238951 SOS 167192 HAS SOPS 154991 HAS SOUS 74503 HAS SOUPS 73739 WITH SCORE 73906.192
AT ITER 4266 NEW BEST:: SOT 238913 SOS 167154 HAS SOPS 154953 HAS SOUS 74465 HAS SOUPS 73701 WITH SCORE 73868.154
AT ITER 4307 NEW BEST:: SOT 238875 SOS 167116 HAS SOPS 154915 HAS SOUS 74427 HAS SOUPS 73663 WITH SCORE 73830.116
AT ITER 4346 NEW BEST:: SOT 238868 SOS 166944 HAS SOPS 154743 HAS SOUS 74317 HAS SOUPS 73553 WITH SCORE 73719.944
AT ITER 4383 NEW BEST:: SOT 238818 SOS 166894 HAS SOPS 154693 HAS SOUS 74267 HAS SOUPS 73503 WITH SCORE 73669.894
AT ITER 4385 NEW BEST:: SOT 238778 SOS 166739 HAS SOPS 154565 HAS SOUS 74261 HAS SOUPS 73490 WITH SCORE 73656.739
AT ITER 4402 NEW BEST:: SOT 238829 SOS 166790 HAS SOPS 154616 HAS SOUS 74219 HAS SOUPS 73451 WITH SCORE 73617.79
AT ITER 4458 NEW BEST:: SOT 238829 SOS 167534 HAS SOPS 155524 HAS SOUS 74209 HAS SOUPS 73446 WITH SCORE 73613.534
AT ITER 4467 NEW BEST:: SOT 238497 SOS 167364 HAS SOPS 155354 HAS SOUS 74014 HAS SOUPS 73251 WITH SCORE 73418.364
AT ITER 4495 NEW BEST:: SOT 238449 SOS 167346 HAS SOPS 155311 HAS SOUS 73971 HAS SOUPS 73206 WITH SCORE 73373.346
AT ITER 4513 NEW BEST:: SOT 238445 SOS 167342 HAS SOPS 155307 HAS SOUS 73962 HAS SOUPS 73197 WITH SCORE 73364.342
AT ITER 4514 NEW BEST:: SOT 238407 SOS 167304 HAS SOPS 155269 HAS SOUS 73909 HAS SOUPS 73146 WITH SCORE 73313.304
AT ITER 4522 NEW BEST:: SOT 238405 SOS 167302 HAS SOPS 155267 HAS SOUS 73870 HAS SOUPS 73112 WITH SCORE 73279.302
AT ITER 4524 NEW BEST:: SOT 238137 SOS 167386 HAS SOPS 155054 HAS SOUS 73811 HAS SOUPS 73007 WITH SCORE 73174.386
AT ITER 4539 NEW BEST:: SOT 238125 SOS 167374 HAS SOPS 155042 HAS SOUS 73801 HAS SOUPS 72996 WITH SCORE 73163.374
AT ITER 4540 NEW BEST:: SOT 238191 SOS 167248 HAS SOPS 154754 HAS SOUS 73726 HAS SOUPS 72880 WITH SCORE 73047.248
AT ITER 4580 NEW BEST:: SOT 238199 SOS 167212 HAS SOPS 154676 HAS SOUS 73663 HAS SOUPS 72823 WITH SCORE 72990.212
AT ITER 4601 NEW BEST:: SOT 238171 SOS 167184 HAS SOPS 154648 HAS SOUS 73634 HAS SOUPS 72794 WITH SCORE 72961.184
AT ITER 4603 NEW BEST:: SOT 238151 SOS 165766 HAS SOPS 152246 HAS SOUS 73187 HAS SOUPS 72291 WITH SCORE 72456.766
AT ITER 4635 NEW BEST:: SOT 238110 SOS 165725 HAS SOPS 152205 HAS SOUS 73118 HAS SOUPS 72222 WITH SCORE 72387.725
AT ITER 4642 NEW BEST:: SOT 238108 SOS 165723 HAS SOPS 152203 HAS SOUS 73115 HAS SOUPS 72219 WITH SCORE 72384.723
AT ITER 4682 NEW BEST:: SOT 238038 SOS 165647 HAS SOPS 152129 HAS SOUS 72974 HAS SOUPS 72083 WITH SCORE 72248.647
AT ITER 4690 NEW BEST:: SOT 237990 SOS 165593 HAS SOPS 152073 HAS SOUS 72866 HAS SOUPS 71979 WITH SCORE 72144.593
AT ITER 4719 NEW BEST:: SOT 237992 SOS 165595 HAS SOPS 152075 HAS SOUS 72866 HAS SOUPS 71974 WITH SCORE 72139.595
AT ITER 4749 NEW BEST:: SOT 238041 SOS 165374 HAS SOPS 152109 HAS SOUS 72838 HAS SOUPS 71962 WITH SCORE 72127.374
AT ITER 4755 NEW BEST:: SOT 238041 SOS 165349 HAS SOPS 152078 HAS SOUS 72807 HAS SOUPS 71931 WITH SCORE 72096.349
AT ITER 4771 NEW BEST:: SOT 238041 SOS 165370 HAS SOPS 152099 HAS SOUS 72803 HAS SOUPS 71927 WITH SCORE 72092.37
AT ITER 4772 NEW BEST:: SOT 238019 SOS 165348 HAS SOPS 152077 HAS SOUS 72772 HAS SOUPS 71896 WITH SCORE 72061.348
AT ITER 4782 NEW BEST:: SOT 237979 SOS 165308 HAS SOPS 152037 HAS SOUS 72739 HAS SOUPS 71863 WITH SCORE 72028.308
AT ITER 4810 NEW BEST:: SOT 237945 SOS 165320 HAS SOPS 152007 HAS SOUS 72706 HAS SOUPS 71829 WITH SCORE 71994.32
AT ITER 4832 NEW BEST:: SOT 237935 SOS 165310 HAS SOPS 151997 HAS SOUS 72696 HAS SOUPS 71819 WITH SCORE 71984.31
AT ITER 4882 NEW BEST:: SOT 237945 SOS 165320 HAS SOPS 152007 HAS SOUS 72681 HAS SOUPS 71804 WITH SCORE 71969.32
AT ITER 4924 NEW BEST:: SOT 237943 SOS 165318 HAS SOPS 152005 HAS SOUS 72679 HAS SOUPS 71802 WITH SCORE 71967.318
AT ITER 4925 NEW BEST:: SOT 237841 SOS 165174 HAS SOPS 151843 HAS SOUS 72405 HAS SOUPS 71546 WITH SCORE 71711.174
AT ITER 4956 NEW BEST:: SOT 237837 SOS 165170 HAS SOPS 151839 HAS SOUS 72396 HAS SOUPS 71537 WITH SCORE 71702.17
AT ITER 4973 NEW BEST:: SOT 237803 SOS 165128 HAS SOPS 151805 HAS SOUS 72332 HAS SOUPS 71468 WITH SCORE 71633.128
AT ITER 5053 NEW BEST:: SOT 237780 SOS 164924 HAS SOPS 151480 HAS SOUS 72241 HAS SOUPS 71377 WITH SCORE 71541.924
AT ITER 5103 NEW BEST:: SOT 237775 SOS 164922 HAS SOPS 151475 HAS SOUS 72193 HAS SOUPS 71334 WITH SCORE 71498.922
AT ITER 5174 NEW BEST:: SOT 237758 SOS 164917 HAS SOPS 151478 HAS SOUS 72152 HAS SOUPS 71289 WITH SCORE 71453.917
AT ITER 5263 NEW BEST:: SOT 237498 SOS 164631 HAS SOPS 151190 HAS SOUS 71492 HAS SOUPS 70662 WITH SCORE 70826.631
AT ITER 5274 NEW BEST:: SOT 237498 SOS 164511 HAS SOPS 151082 HAS SOUS 71432 HAS SOUPS 70606 WITH SCORE 70770.511
AT ITER 5354 NEW BEST:: SOT 237467 SOS 164478 HAS SOPS 151049 HAS SOUS 71363 HAS SOUPS 70540 WITH SCORE 70704.478
AT ITER 5364 NEW BEST:: SOT 237467 SOS 164546 HAS SOPS 151151 HAS SOUS 71311 HAS SOUPS 70492 WITH SCORE 70656.546
AT ITER 5374 NEW BEST:: SOT 237473 SOS 164706 HAS SOPS 151349 HAS SOUS 71208 HAS SOUPS 70403 WITH SCORE 70567.706
AT ITER 5380 NEW BEST:: SOT 237473 SOS 164686 HAS SOPS 151329 HAS SOUS 71206 HAS SOUPS 70401 WITH SCORE 70565.686
AT ITER 5413 NEW BEST:: SOT 237464 SOS 164677 HAS SOPS 151320 HAS SOUS 71199 HAS SOUPS 70390 WITH SCORE 70554.677
AT ITER 5416 NEW BEST:: SOT 237436 SOS 164649 HAS SOPS 151292 HAS SOUS 71175 HAS SOUPS 70366 WITH SCORE 70530.649
AT ITER 5424 NEW BEST:: SOT 237422 SOS 164635 HAS SOPS 151278 HAS SOUS 71136 HAS SOUPS 70332 WITH SCORE 70496.635
AT ITER 5429 NEW BEST:: SOT 237403 SOS 164662 HAS SOPS 151262 HAS SOUS 71139 HAS SOUPS 70331 WITH SCORE 70495.662
AT ITER 5486 NEW BEST:: SOT 237399 SOS 164658 HAS SOPS 151258 HAS SOUS 71135 HAS SOUPS 70327 WITH SCORE 70491.658
AT ITER 5503 NEW BEST:: SOT 237399 SOS 164898 HAS SOPS 151570 HAS SOUS 71092 HAS SOUPS 70288 WITH SCORE 70452.898
AT ITER 5530 NEW BEST:: SOT 237381 SOS 164855 HAS SOPS 151552 HAS SOUS 71081 HAS SOUPS 70282 WITH SCORE 70446.855
AT ITER 5531 NEW BEST:: SOT 237375 SOS 164849 HAS SOPS 151546 HAS SOUS 71075 HAS SOUPS 70276 WITH SCORE 70440.849
AT ITER 5532 NEW BEST:: SOT 237609 SOS 164736 HAS SOPS 151122 HAS SOUS 71139 HAS SOUPS 70265 WITH SCORE 70429.736
AT ITER 5553 NEW BEST:: SOT 237609 SOS 164979 HAS SOPS 151428 HAS SOUS 71084 HAS SOUPS 70214 WITH SCORE 70378.979
AT ITER 5564 NEW BEST:: SOT 237573 SOS 164943 HAS SOPS 151392 HAS SOUS 71035 HAS SOUPS 70165 WITH SCORE 70329.943
AT ITER 5580 NEW BEST:: SOT 237573 SOS 164746 HAS SOPS 151152 HAS SOUS 71009 HAS SOUPS 70143 WITH SCORE 70307.746
AT ITER 5623 NEW BEST:: SOT 237443 SOS 164607 HAS SOPS 151004 HAS SOUS 70801 HAS SOUPS 69951 WITH SCORE 70115.607
AT ITER 5637 NEW BEST:: SOT 237918 SOS 164637 HAS SOPS 150494 HAS SOUS 70864 HAS SOUPS 69805 WITH SCORE 69969.637
AT ITER 5701 NEW BEST:: SOT 237858 SOS 164577 HAS SOPS 150434 HAS SOUS 70779 HAS SOUPS 69724 WITH SCORE 69888.577
AT ITER 5720 NEW BEST:: SOT 237858 SOS 164577 HAS SOPS 150434 HAS SOUS 70776 HAS SOUPS 69721 WITH SCORE 69885.577
AT ITER 5727 NEW BEST:: SOT 237868 SOS 164500 HAS SOPS 150302 HAS SOUS 70771 HAS SOUPS 69712 WITH SCORE 69876.5
AT ITER 5744 NEW BEST:: SOT 237868 SOS 164500 HAS SOPS 150302 HAS SOUS 70769 HAS SOUPS 69711 WITH SCORE 69875.5
AT ITER 5769 NEW BEST:: SOT 237858 SOS 164490 HAS SOPS 150292 HAS SOUS 70732 HAS SOUPS 69679 WITH SCORE 69843.49
AT ITER 5783 NEW BEST:: SOT 237972 SOS 164598 HAS SOPS 150406 HAS SOUS 70678 HAS SOUPS 69640 WITH SCORE 69804.598
AT ITER 5817 NEW BEST:: SOT 237918 SOS 164092 HAS SOPS 149468 HAS SOUS 69964 HAS SOUPS 68811 WITH SCORE 68975.092
AT ITER 5898 NEW BEST:: SOT 237920 SOS 164481 HAS SOPS 149928 HAS SOUS 69953 HAS SOUPS 68807 WITH SCORE 68971.481
AT ITER 5903 NEW BEST:: SOT 237339 SOS 163900 HAS SOPS 149347 HAS SOUS 69475 HAS SOUPS 68329 WITH SCORE 68492.9
AT ITER 5919 NEW BEST:: SOT 237251 SOS 163812 HAS SOPS 149259 HAS SOUS 69389 HAS SOUPS 68243 WITH SCORE 68406.812
AT ITER 5940 NEW BEST:: SOT 237257 SOS 163818 HAS SOPS 149265 HAS SOUS 69363 HAS SOUPS 68217 WITH SCORE 68380.818
AT ITER 5971 NEW BEST:: SOT 237434 SOS 164316 HAS SOPS 150072 HAS SOUS 69251 HAS SOUPS 68193 WITH SCORE 68357.316
AT ITER 6015 NEW BEST:: SOT 237201 SOS 164033 HAS SOPS 149773 HAS SOUS 68670 HAS SOUPS 67632 WITH SCORE 67796.033
AT ITER 6060 NEW BEST:: SOT 237207 SOS 164039 HAS SOPS 149779 HAS SOUS 68644 HAS SOUPS 67606 WITH SCORE 67770.039
AT ITER 6070 NEW BEST:: SOT 237171 SOS 163917 HAS SOPS 149737 HAS SOUS 68484 HAS SOUPS 67462 WITH SCORE 67625.917
AT ITER 6106 NEW BEST:: SOT 237188 SOS 163973 HAS SOPS 149754 HAS SOUS 68490 HAS SOUPS 67461 WITH SCORE 67624.973
AT ITER 6126 NEW BEST:: SOT 237182 SOS 163827 HAS SOPS 149644 HAS SOUS 68468 HAS SOUPS 67451 WITH SCORE 67614.827
AT ITER 6136 NEW BEST:: SOT 237152 SOS 163797 HAS SOPS 149614 HAS SOUS 68436 HAS SOUPS 67419 WITH SCORE 67582.797
AT ITER 6168 NEW BEST:: SOT 237116 SOS 163992 HAS SOPS 149594 HAS SOUS 68426 HAS SOUPS 67407 WITH SCORE 67570.992
AT ITER 6230 NEW BEST:: SOT 237115 SOS 163989 HAS SOPS 149589 HAS SOUS 68424 HAS SOUPS 67405 WITH SCORE 67568.989
AT ITER 6267 NEW BEST:: SOT 237012 SOS 163887 HAS SOPS 149486 HAS SOUS 68294 HAS SOUPS 67269 WITH SCORE 67432.887
AT ITER 6275 NEW BEST:: SOT 236942 SOS 163814 HAS SOPS 149416 HAS SOUS 68162 HAS SOUPS 67135 WITH SCORE 67298.814
AT ITER 6308 NEW BEST:: SOT 236932 SOS 163804 HAS SOPS 149406 HAS SOUS 68152 HAS SOUPS 67125 WITH SCORE 67288.804
AT ITER 6358 NEW BEST:: SOT 236932 SOS 163416 HAS SOPS 148964 HAS SOUS 68144 HAS SOUPS 67113 WITH SCORE 67276.416
AT ITER 6397 NEW BEST:: SOT 236884 SOS 163334 HAS SOPS 148916 HAS SOUS 68118 HAS SOUPS 67091 WITH SCORE 67254.334
AT ITER 6436 NEW BEST:: SOT 236862 SOS 163312 HAS SOPS 148894 HAS SOUS 68096 HAS SOUPS 67069 WITH SCORE 67232.312
AT ITER 6470 NEW BEST:: SOT 236880 SOS 163510 HAS SOPS 149148 HAS SOUS 68084 HAS SOUPS 67059 WITH SCORE 67222.51
AT ITER 6531 NEW BEST:: SOT 236880 SOS 163510 HAS SOPS 149148 HAS SOUS 68083 HAS SOUPS 67058 WITH SCORE 67221.51
AT ITER 6778 NEW BEST:: SOT 236880 SOS 163500 HAS SOPS 149138 HAS SOUS 68082 HAS SOUPS 67057 WITH SCORE 67220.5
AT ITER 6786 NEW BEST:: SOT 236880 SOS 163500 HAS SOPS 149138 HAS SOUS 68076 HAS SOUPS 67053 WITH SCORE 67216.5
AT ITER 6831 NEW BEST:: SOT 236884 SOS 163493 HAS SOPS 149120 HAS SOUS 67989 HAS SOUPS 66959 WITH SCORE 67122.493
AT ITER 6840 NEW BEST:: SOT 237072 SOS 163792 HAS SOPS 149555 HAS SOUS 67802 HAS SOUPS 66833 WITH SCORE 66996.792
AT ITER 6870 NEW BEST:: SOT 236982 SOS 163641 HAS SOPS 149347 HAS SOUS 67651 HAS SOUPS 66676 WITH SCORE 66839.641
AT ITER 7065 NEW BEST:: SOT 236972 SOS 163631 HAS SOPS 149337 HAS SOUS 67641 HAS SOUPS 66666 WITH SCORE 66829.631
AT ITER 7067 NEW BEST:: SOT 236972 SOS 163639 HAS SOPS 149345 HAS SOUS 67640 HAS SOUPS 66665 WITH SCORE 66828.639
AT ITER 7248 NEW BEST:: SOT 236972 SOS 164487 HAS SOPS 150423 HAS SOUS 67569 HAS SOUPS 66606 WITH SCORE 66770.487
AT ITER 7285 NEW BEST:: SOT 236966 SOS 164481 HAS SOPS 150417 HAS SOUS 67563 HAS SOUPS 66598 WITH SCORE 66762.481
AT ITER 7293 NEW BEST:: SOT 236966 SOS 164483 HAS SOPS 150417 HAS SOUS 67539 HAS SOUPS 66576 WITH SCORE 66740.483
AT ITER 7325 NEW BEST:: SOT 236964 SOS 164477 HAS SOPS 150415 HAS SOUS 67535 HAS SOUPS 66576 WITH SCORE 66740.477
AT ITER 7348 NEW BEST:: SOT 236873 SOS 164684 HAS SOPS 150348 HAS SOUS 67498 HAS SOUPS 66521 WITH SCORE 66685.684
AT ITER 7369 NEW BEST:: SOT 236871 SOS 164682 HAS SOPS 150346 HAS SOUS 67495 HAS SOUPS 66518 WITH SCORE 66682.682
AT ITER 7373 NEW BEST:: SOT 236867 SOS 164677 HAS SOPS 150342 HAS SOUS 67487 HAS SOUPS 66511 WITH SCORE 66675.677
AT ITER 7383 NEW BEST:: SOT 236820 SOS 165110 HAS SOPS 150307 HAS SOUS 67434 HAS SOUPS 66454 WITH SCORE 66619.11
AT ITER 7403 NEW BEST:: SOT 236807 SOS 164857 HAS SOPS 150030 HAS SOUS 67410 HAS SOUPS 66437 WITH SCORE 66601.857
AT ITER 7467 NEW BEST:: SOT 236801 SOS 164871 HAS SOPS 150058 HAS SOUS 67404 HAS SOUPS 66425 WITH SCORE 66589.871
AT ITER 7584 NEW BEST:: SOT 236629 SOS 164695 HAS SOPS 149890 HAS SOUS 67039 HAS SOUPS 66072 WITH SCORE 66236.695
AT ITER 7593 NEW BEST:: SOT 236628 SOS 164694 HAS SOPS 149889 HAS SOUS 67038 HAS SOUPS 66071 WITH SCORE 66235.694
AT ITER 7769 NEW BEST:: SOT 236628 SOS 164683 HAS SOPS 149879 HAS SOUS 67021 HAS SOUPS 66055 WITH SCORE 66219.683
AT ITER 7783 NEW BEST:: SOT 236586 SOS 164568 HAS SOPS 149666 HAS SOUS 67016 HAS SOUPS 66022 WITH SCORE 66186.568
AT ITER 7929 NEW BEST:: SOT 236586 SOS 164541 HAS SOPS 149639 HAS SOUS 67016 HAS SOUPS 66022 WITH SCORE 66186.541
AT ITER 7949 NEW BEST:: SOT 236658 SOS 164424 HAS SOPS 149699 HAS SOUS 66991 HAS SOUPS 66016 WITH SCORE 66180.424
AT ITER 8036 NEW BEST:: SOT 236417 SOS 164183 HAS SOPS 149458 HAS SOUS 66765 HAS SOUPS 65790 WITH SCORE 65954.183
AT ITER 8090 NEW BEST:: SOT 236392 SOS 164332 HAS SOPS 149445 HAS SOUS 66754 HAS SOUPS 65775 WITH SCORE 65939.332
AT ITER 8126 NEW BEST:: SOT 236374 SOS 164308 HAS SOPS 149415 HAS SOUS 66700 HAS SOUPS 65729 WITH SCORE 65893.308
AT ITER 8213 NEW BEST:: SOT 236368 SOS 164302 HAS SOPS 149409 HAS SOUS 66688 HAS SOUPS 65717 WITH SCORE 65881.302
AT ITER 8235 NEW BEST:: SOT 236360 SOS 164294 HAS SOPS 149401 HAS SOUS 66680 HAS SOUPS 65709 WITH SCORE 65873.294
AT ITER 8248 NEW BEST:: SOT 236369 SOS 164579 HAS SOPS 149676 HAS SOUS 66558 HAS SOUPS 65593 WITH SCORE 65757.579
AT ITER 8308 NEW BEST:: SOT 236315 SOS 164616 HAS SOPS 149628 HAS SOUS 66529 HAS SOUPS 65558 WITH SCORE 65722.616
AT ITER 8320 NEW BEST:: SOT 236315 SOS 164608 HAS SOPS 149619 HAS SOUS 66529 HAS SOUPS 65558 WITH SCORE 65722.608
AT ITER 8372 NEW BEST:: SOT 236315 SOS 164608 HAS SOPS 149619 HAS SOUS 66523 HAS SOUPS 65552 WITH SCORE 65716.608
AT ITER 8445 NEW BEST:: SOT 236100 SOS 164352 HAS SOPS 149363 HAS SOUS 66165 HAS SOUPS 65194 WITH SCORE 65358.352
AT ITER 8473 NEW BEST:: SOT 236100 SOS 164352 HAS SOPS 149363 HAS SOUS 66164 HAS SOUPS 65193 WITH SCORE 65357.352
AT ITER 8498 NEW BEST:: SOT 236099 SOS 164308 HAS SOPS 149359 HAS SOUS 66113 HAS SOUPS 65149 WITH SCORE 65313.308
AT ITER 8526 NEW BEST:: SOT 236062 SOS 164270 HAS SOPS 149322 HAS SOUS 66034 HAS SOUPS 65071 WITH SCORE 65235.27
AT ITER 8758 NEW BEST:: SOT 236064 SOS 164277 HAS SOPS 149334 HAS SOUS 66033 HAS SOUPS 65070 WITH SCORE 65234.277
AT ITER 8776 NEW BEST:: SOT 236031 SOS 164242 HAS SOPS 149299 HAS SOUS 65960 HAS SOUPS 64999 WITH SCORE 65163.242
AT ITER 8785 NEW BEST:: SOT 236025 SOS 164236 HAS SOPS 149293 HAS SOUS 65963 HAS SOUPS 64997 WITH SCORE 65161.236
AT ITER 8831 NEW BEST:: SOT 235938 SOS 164142 HAS SOPS 149192 HAS SOUS 65778 HAS SOUPS 64815 WITH SCORE 64979.142
AT ITER 8893 NEW BEST:: SOT 235906 SOS 164108 HAS SOPS 149158 HAS SOUS 65754 HAS SOUPS 64791 WITH SCORE 64955.108
AT ITER 9017 NEW BEST:: SOT 235874 SOS 164076 HAS SOPS 149126 HAS SOUS 65708 HAS SOUPS 64745 WITH SCORE 64909.076
AT ITER 9023 NEW BEST:: SOT 235884 SOS 164090 HAS SOPS 149136 HAS SOUS 65705 HAS SOUPS 64744 WITH SCORE 64908.09
AT ITER 9045 NEW BEST:: SOT 235866 SOS 164072 HAS SOPS 149118 HAS SOUS 65683 HAS SOUPS 64722 WITH SCORE 64886.072
AT ITER 9058 NEW BEST:: SOT 235846 SOS 164052 HAS SOPS 149098 HAS SOUS 65643 HAS SOUPS 64682 WITH SCORE 64846.052
AT ITER 9107 NEW BEST:: SOT 235827 SOS 164030 HAS SOPS 149072 HAS SOUS 65635 HAS SOUPS 64672 WITH SCORE 64836.03
AT ITER 9114 NEW BEST:: SOT 235797 SOS 163998 HAS SOPS 149038 HAS SOUS 65591 HAS SOUPS 64627 WITH SCORE 64790.998
AT ITER 9150 NEW BEST:: SOT 235797 SOS 163993 HAS SOPS 149033 HAS SOUS 65581 HAS SOUPS 64617 WITH SCORE 64780.993
AT ITER 9208 NEW BEST:: SOT 235791 SOS 163988 HAS SOPS 149029 HAS SOUS 65572 HAS SOUPS 64608 WITH SCORE 64771.988
AT ITER 9235 NEW BEST:: SOT 235643 SOS 163672 HAS SOPS 148629 HAS SOUS 65317 HAS SOUPS 64367 WITH SCORE 64530.672
AT ITER 9239 NEW BEST:: SOT 235632 SOS 163640 HAS SOPS 148604 HAS SOUS 65292 HAS SOUPS 64344 WITH SCORE 64507.64
AT ITER 9363 NEW BEST:: SOT 235628 SOS 163636 HAS SOPS 148609 HAS SOUS 65289 HAS SOUPS 64342 WITH SCORE 64505.636
AT ITER 9543 NEW BEST:: SOT 235600 SOS 163607 HAS SOPS 148578 HAS SOUS 65250 HAS SOUPS 64302 WITH SCORE 64465.607
AT ITER 9772 NEW BEST:: SOT 235600 SOS 163615 HAS SOPS 148586 HAS SOUS 65249 HAS SOUPS 64301 WITH SCORE 64464.615
AT ITER 9784 NEW BEST:: SOT 235585 SOS 163604 HAS SOPS 148535 HAS SOUS 65182 HAS SOUPS 64241 WITH SCORE 64404.604
AT ITER 9809 NEW BEST:: SOT 235585 SOS 163604 HAS SOPS 148535 HAS SOUS 65180 HAS SOUPS 64239 WITH SCORE 64402.604
AT ITER 9847 NEW BEST:: SOT 235585 SOS 163604 HAS SOPS 148535 HAS SOUS 65178 HAS SOUPS 64238 WITH SCORE 64401.604
AT ITER 9888 NEW BEST:: SOT 235581 SOS 163600 HAS SOPS 148531 HAS SOUS 65170 HAS SOUPS 64231 WITH SCORE 64394.6
STATE_SPACE STATES 199051 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 20 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 617350 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679483598597

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

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

Sequence of Actions to be Executed by the VM

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

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

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