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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 548K
-rw-r--r-- 1 mcc users 8.2K Feb 26 12:25 CTLCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 26 12:25 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 26 12:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K 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 4.0K Feb 25 16:33 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:33 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 26 12:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 145K Feb 26 12:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 12:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 98K Feb 26 12:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:34 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:34 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 32K 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 1679470427879

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-COL-10
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 07:33:49] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 07:33:49] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 07:33:49] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-22 07:33:49] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-22 07:33:49] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 422 ms
[2023-03-22 07:33:49] [INFO ] Imported 8 HL places and 7 HL transitions for a total of 170 PT places and 2320.0 transition bindings in 15 ms.
[2023-03-22 07:33:49] [INFO ] Unfolded HLPN to a Petri net with 170 places and 2310 transitions 18190 arcs in 121 ms.
[2023-03-22 07:33:49] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-22 07:33:49] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 170 places, 2310 transitions and 18190 arcs took 117 ms.
Total runtime 758 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PhilosophersDyn (COL), 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 284049 SOS 252927 HAS SOPS 241798 HAS SOUS 153673 HAS SOUPS 152463 WITH SCORE 152715.927
AT ITER 1 NEW BEST:: SOT 282066 SOS 250869 HAS SOPS 239815 HAS SOUS 151417 HAS SOUPS 150282 WITH SCORE 150532.869
AT ITER 19 NEW BEST:: SOT 279175 SOS 248201 HAS SOPS 237422 HAS SOUS 149191 HAS SOUPS 148068 WITH SCORE 148316.201
AT ITER 29 NEW BEST:: SOT 279121 SOS 246173 HAS SOPS 236033 HAS SOUS 146106 HAS SOUPS 145022 WITH SCORE 145268.173
AT ITER 30 NEW BEST:: SOT 279013 SOS 246065 HAS SOPS 235907 HAS SOUS 145998 HAS SOUPS 144896 WITH SCORE 145142.065
AT ITER 39 NEW BEST:: SOT 280127 SOS 245249 HAS SOPS 235146 HAS SOUS 143012 HAS SOUPS 141658 WITH SCORE 141903.249
AT ITER 44 NEW BEST:: SOT 283217 SOS 243323 HAS SOPS 227800 HAS SOUS 144280 HAS SOUPS 140098 WITH SCORE 140341.323
AT ITER 45 NEW BEST:: SOT 283217 SOS 243323 HAS SOPS 227800 HAS SOUS 144277 HAS SOUPS 140095 WITH SCORE 140338.323
AT ITER 49 NEW BEST:: SOT 283179 SOS 241252 HAS SOPS 226604 HAS SOUS 142018 HAS SOUPS 138109 WITH SCORE 138350.252
AT ITER 51 NEW BEST:: SOT 283349 SOS 239230 HAS SOPS 225798 HAS SOUS 140894 HAS SOUPS 137172 WITH SCORE 137411.23
AT ITER 55 NEW BEST:: SOT 283185 SOS 239066 HAS SOPS 225634 HAS SOUS 140729 HAS SOUPS 137007 WITH SCORE 137246.066
AT ITER 56 NEW BEST:: SOT 283095 SOS 238842 HAS SOPS 225226 HAS SOUS 140390 HAS SOUPS 136555 WITH SCORE 136793.842
AT ITER 86 NEW BEST:: SOT 283145 SOS 238828 HAS SOPS 225190 HAS SOUS 140307 HAS SOUPS 136471 WITH SCORE 136709.828
AT ITER 91 NEW BEST:: SOT 283145 SOS 236103 HAS SOPS 223968 HAS SOUS 139783 HAS SOUPS 136035 WITH SCORE 136271.103
AT ITER 96 NEW BEST:: SOT 283033 SOS 235991 HAS SOPS 223856 HAS SOUS 139666 HAS SOUPS 135918 WITH SCORE 136153.991
AT ITER 97 NEW BEST:: SOT 282241 SOS 235184 HAS SOPS 223084 HAS SOUS 138694 HAS SOUPS 134982 WITH SCORE 135217.184
AT ITER 103 NEW BEST:: SOT 280368 SOS 233632 HAS SOPS 221835 HAS SOUS 137998 HAS SOUPS 134389 WITH SCORE 134622.632
AT ITER 106 NEW BEST:: SOT 280118 SOS 233086 HAS SOPS 221095 HAS SOUS 137097 HAS SOUPS 133415 WITH SCORE 133648.086
AT ITER 111 NEW BEST:: SOT 280148 SOS 231276 HAS SOPS 220076 HAS SOUS 135496 HAS SOUPS 131917 WITH SCORE 132148.276
AT ITER 121 NEW BEST:: SOT 280148 SOS 231280 HAS SOPS 221093 HAS SOUS 135441 HAS SOUPS 131879 WITH SCORE 132110.28
AT ITER 125 NEW BEST:: SOT 280148 SOS 231224 HAS SOPS 221061 HAS SOUS 135324 HAS SOUPS 131772 WITH SCORE 132003.224
AT ITER 130 NEW BEST:: SOT 280949 SOS 231719 HAS SOPS 221430 HAS SOUS 134252 HAS SOUPS 130678 WITH SCORE 130909.719
AT ITER 131 NEW BEST:: SOT 276378 SOS 227690 HAS SOPS 218102 HAS SOUS 130010 HAS SOUPS 126877 WITH SCORE 127104.69
AT ITER 141 NEW BEST:: SOT 277237 SOS 228183 HAS SOPS 218949 HAS SOUS 129872 HAS SOUPS 126759 WITH SCORE 126987.183
AT ITER 144 NEW BEST:: SOT 276251 SOS 226031 HAS SOPS 216389 HAS SOUS 129252 HAS SOUPS 126186 WITH SCORE 126412.031
AT ITER 151 NEW BEST:: SOT 276218 SOS 225998 HAS SOPS 216356 HAS SOUS 129220 HAS SOUPS 126154 WITH SCORE 126379.998
AT ITER 155 NEW BEST:: SOT 276218 SOS 225786 HAS SOPS 216354 HAS SOUS 129176 HAS SOUPS 126091 WITH SCORE 126316.786
AT ITER 162 NEW BEST:: SOT 276252 SOS 222453 HAS SOPS 214787 HAS SOUS 126776 HAS SOUPS 123895 WITH SCORE 124117.453
AT ITER 165 NEW BEST:: SOT 275832 SOS 222033 HAS SOPS 214367 HAS SOUS 126334 HAS SOUPS 123454 WITH SCORE 123676.033
AT ITER 175 NEW BEST:: SOT 275812 SOS 221963 HAS SOPS 214293 HAS SOUS 126212 HAS SOUPS 123326 WITH SCORE 123547.963
AT ITER 184 NEW BEST:: SOT 275709 SOS 221860 HAS SOPS 214190 HAS SOUS 126056 HAS SOUPS 123170 WITH SCORE 123391.86
AT ITER 190 NEW BEST:: SOT 275708 SOS 221859 HAS SOPS 214189 HAS SOUS 126056 HAS SOUPS 123170 WITH SCORE 123391.859
AT ITER 191 NEW BEST:: SOT 275555 SOS 221706 HAS SOPS 214036 HAS SOUS 125918 HAS SOUPS 123032 WITH SCORE 123253.706
AT ITER 196 NEW BEST:: SOT 275555 SOS 220779 HAS SOPS 212979 HAS SOUS 125760 HAS SOUPS 122874 WITH SCORE 123094.779
AT ITER 197 NEW BEST:: SOT 275009 SOS 220233 HAS SOPS 212420 HAS SOUS 125033 HAS SOUPS 122132 WITH SCORE 122352.233
AT ITER 199 NEW BEST:: SOT 274664 SOS 219861 HAS SOPS 212073 HAS SOUS 124890 HAS SOUPS 122015 WITH SCORE 122234.861
AT ITER 205 NEW BEST:: SOT 274363 SOS 219646 HAS SOPS 211860 HAS SOUS 124747 HAS SOUPS 121870 WITH SCORE 122089.646
AT ITER 211 NEW BEST:: SOT 274276 SOS 219559 HAS SOPS 211773 HAS SOUS 124662 HAS SOUPS 121785 WITH SCORE 122004.559
AT ITER 212 NEW BEST:: SOT 274234 SOS 219466 HAS SOPS 211673 HAS SOUS 124588 HAS SOUPS 121717 WITH SCORE 121936.466
AT ITER 247 NEW BEST:: SOT 274186 SOS 219339 HAS SOPS 211509 HAS SOUS 124571 HAS SOUPS 121671 WITH SCORE 121890.339
AT ITER 255 NEW BEST:: SOT 274034 SOS 219275 HAS SOPS 211472 HAS SOUS 124366 HAS SOUPS 121466 WITH SCORE 121685.275
AT ITER 256 NEW BEST:: SOT 273869 SOS 219116 HAS SOPS 211308 HAS SOUS 124153 HAS SOUPS 121263 WITH SCORE 121482.116
AT ITER 265 NEW BEST:: SOT 273899 SOS 219116 HAS SOPS 211311 HAS SOUS 124012 HAS SOUPS 121128 WITH SCORE 121347.116
AT ITER 292 NEW BEST:: SOT 273910 SOS 219117 HAS SOPS 211313 HAS SOUS 123962 HAS SOUPS 121080 WITH SCORE 121299.117
AT ITER 297 NEW BEST:: SOT 273858 SOS 219065 HAS SOPS 211256 HAS SOUS 123858 HAS SOUPS 120971 WITH SCORE 121190.065
AT ITER 298 NEW BEST:: SOT 273827 SOS 219056 HAS SOPS 211253 HAS SOUS 123716 HAS SOUPS 120829 WITH SCORE 121048.056
AT ITER 299 NEW BEST:: SOT 274561 SOS 219608 HAS SOPS 211811 HAS SOUS 123690 HAS SOUPS 120814 WITH SCORE 121033.608
AT ITER 313 NEW BEST:: SOT 274522 SOS 219554 HAS SOPS 211771 HAS SOUS 123611 HAS SOUPS 120747 WITH SCORE 120966.554
AT ITER 320 NEW BEST:: SOT 276182 SOS 221141 HAS SOPS 213345 HAS SOUS 123123 HAS SOUPS 120274 WITH SCORE 120495.141
AT ITER 321 NEW BEST:: SOT 276182 SOS 221143 HAS SOPS 213343 HAS SOUS 123121 HAS SOUPS 120272 WITH SCORE 120493.143
AT ITER 328 NEW BEST:: SOT 276175 SOS 221136 HAS SOPS 213336 HAS SOUS 123114 HAS SOUPS 120265 WITH SCORE 120486.136
AT ITER 332 NEW BEST:: SOT 274024 SOS 219273 HAS SOPS 212438 HAS SOUS 121183 HAS SOUPS 119128 WITH SCORE 119347.273
AT ITER 355 NEW BEST:: SOT 273975 SOS 219224 HAS SOPS 212389 HAS SOUS 121052 HAS SOUPS 118997 WITH SCORE 119216.224
AT ITER 359 NEW BEST:: SOT 273401 SOS 218575 HAS SOPS 211705 HAS SOUS 119996 HAS SOUPS 117936 WITH SCORE 118154.575
AT ITER 365 NEW BEST:: SOT 273322 SOS 218489 HAS SOPS 211624 HAS SOUS 119906 HAS SOUPS 117852 WITH SCORE 118070.489
AT ITER 368 NEW BEST:: SOT 273292 SOS 218459 HAS SOPS 211594 HAS SOUS 119876 HAS SOUPS 117822 WITH SCORE 118040.459
AT ITER 370 NEW BEST:: SOT 273265 SOS 218432 HAS SOPS 211567 HAS SOUS 119851 HAS SOUPS 117797 WITH SCORE 118015.432
AT ITER 373 NEW BEST:: SOT 273247 SOS 218414 HAS SOPS 211549 HAS SOUS 119832 HAS SOUPS 117778 WITH SCORE 117996.414
AT ITER 390 NEW BEST:: SOT 273229 SOS 218396 HAS SOPS 211531 HAS SOUS 119808 HAS SOUPS 117754 WITH SCORE 117972.396
AT ITER 398 NEW BEST:: SOT 272164 SOS 217299 HAS SOPS 210512 HAS SOUS 119486 HAS SOUPS 117492 WITH SCORE 117709.299
AT ITER 399 NEW BEST:: SOT 272125 SOS 217513 HAS SOPS 210726 HAS SOUS 119481 HAS SOUPS 117487 WITH SCORE 117704.513
AT ITER 400 NEW BEST:: SOT 270990 SOS 212258 HAS SOPS 204048 HAS SOUS 118420 HAS SOUPS 116279 WITH SCORE 116491.258
AT ITER 413 NEW BEST:: SOT 270990 SOS 212125 HAS SOPS 203988 HAS SOUS 118420 HAS SOUPS 116273 WITH SCORE 116485.125
AT ITER 417 NEW BEST:: SOT 271021 SOS 212166 HAS SOPS 204019 HAS SOUS 118249 HAS SOUPS 116118 WITH SCORE 116330.166
AT ITER 426 NEW BEST:: SOT 271015 SOS 211866 HAS SOPS 203863 HAS SOUS 118228 HAS SOUPS 116092 WITH SCORE 116303.866
AT ITER 431 NEW BEST:: SOT 270849 SOS 211700 HAS SOPS 203697 HAS SOUS 118059 HAS SOUPS 115923 WITH SCORE 116134.7
AT ITER 455 NEW BEST:: SOT 270860 SOS 211713 HAS SOPS 203740 HAS SOUS 117995 HAS SOUPS 115871 WITH SCORE 116082.713
AT ITER 466 NEW BEST:: SOT 266822 SOS 208226 HAS SOPS 200818 HAS SOUS 115047 HAS SOUPS 113214 WITH SCORE 113422.226
AT ITER 484 NEW BEST:: SOT 266714 SOS 208114 HAS SOPS 200716 HAS SOUS 115017 HAS SOUPS 113214 WITH SCORE 113422.114
AT ITER 497 NEW BEST:: SOT 266791 SOS 208075 HAS SOPS 200653 HAS SOUS 114991 HAS SOUPS 113171 WITH SCORE 113379.075
AT ITER 498 NEW BEST:: SOT 266784 SOS 207982 HAS SOPS 200280 HAS SOUS 114760 HAS SOUPS 112965 WITH SCORE 113172.982
AT ITER 539 NEW BEST:: SOT 266606 SOS 207804 HAS SOPS 200102 HAS SOUS 114588 HAS SOUPS 112793 WITH SCORE 113000.804
AT ITER 544 NEW BEST:: SOT 266629 SOS 207174 HAS SOPS 198921 HAS SOUS 114535 HAS SOUPS 112643 WITH SCORE 112850.174
AT ITER 547 NEW BEST:: SOT 265932 SOS 206477 HAS SOPS 198224 HAS SOUS 113850 HAS SOUPS 111958 WITH SCORE 112164.477
AT ITER 553 NEW BEST:: SOT 265892 SOS 206437 HAS SOPS 198184 HAS SOUS 113799 HAS SOUPS 111907 WITH SCORE 112113.437
AT ITER 557 NEW BEST:: SOT 265892 SOS 206242 HAS SOPS 198032 HAS SOUS 113574 HAS SOUPS 111698 WITH SCORE 111904.242
AT ITER 561 NEW BEST:: SOT 266004 SOS 206370 HAS SOPS 198144 HAS SOUS 113591 HAS SOUPS 111696 WITH SCORE 111902.37
AT ITER 572 NEW BEST:: SOT 264914 SOS 205280 HAS SOPS 197054 HAS SOUS 112528 HAS SOUPS 110633 WITH SCORE 110838.28
AT ITER 583 NEW BEST:: SOT 263838 SOS 203552 HAS SOPS 195464 HAS SOUS 110429 HAS SOUPS 108662 WITH SCORE 108865.552
AT ITER 587 NEW BEST:: SOT 263836 SOS 203577 HAS SOPS 195495 HAS SOUS 110081 HAS SOUPS 108317 WITH SCORE 108520.577
AT ITER 603 NEW BEST:: SOT 263422 SOS 203163 HAS SOPS 195081 HAS SOUS 109684 HAS SOUPS 107920 WITH SCORE 108123.163
AT ITER 612 NEW BEST:: SOT 262876 SOS 202617 HAS SOPS 194535 HAS SOUS 109152 HAS SOUPS 107388 WITH SCORE 107590.617
AT ITER 620 NEW BEST:: SOT 262903 SOS 202399 HAS SOPS 194499 HAS SOUS 108789 HAS SOUPS 107035 WITH SCORE 107237.399
AT ITER 626 NEW BEST:: SOT 262949 SOS 202201 HAS SOPS 194305 HAS SOUS 108227 HAS SOUPS 106502 WITH SCORE 106704.201
AT ITER 632 NEW BEST:: SOT 263239 SOS 202523 HAS SOPS 194595 HAS SOUS 108062 HAS SOUPS 106305 WITH SCORE 106507.523
AT ITER 664 NEW BEST:: SOT 263316 SOS 202623 HAS SOPS 194672 HAS SOUS 107766 HAS SOUPS 105986 WITH SCORE 106188.623
AT ITER 678 NEW BEST:: SOT 263169 SOS 202365 HAS SOPS 194445 HAS SOUS 107444 HAS SOUPS 105700 WITH SCORE 105902.365
AT ITER 686 NEW BEST:: SOT 260890 SOS 200634 HAS SOPS 192969 HAS SOUS 105548 HAS SOUPS 103832 WITH SCORE 104032.634
AT ITER 690 NEW BEST:: SOT 261147 SOS 200370 HAS SOPS 193030 HAS SOUS 104659 HAS SOUPS 102982 WITH SCORE 103182.37
AT ITER 703 NEW BEST:: SOT 261147 SOS 198912 HAS SOPS 192378 HAS SOUS 104562 HAS SOUPS 102887 WITH SCORE 103085.912
AT ITER 708 NEW BEST:: SOT 260969 SOS 198746 HAS SOPS 192250 HAS SOUS 104345 HAS SOUPS 102708 WITH SCORE 102906.746
AT ITER 731 NEW BEST:: SOT 260962 SOS 198739 HAS SOPS 192243 HAS SOUS 104320 HAS SOUPS 102683 WITH SCORE 102881.739
AT ITER 732 NEW BEST:: SOT 260962 SOS 198692 HAS SOPS 192198 HAS SOUS 104317 HAS SOUPS 102681 WITH SCORE 102879.692
AT ITER 734 NEW BEST:: SOT 260872 SOS 198602 HAS SOPS 192108 HAS SOUS 104210 HAS SOUPS 102574 WITH SCORE 102772.602
AT ITER 743 NEW BEST:: SOT 260738 SOS 198139 HAS SOPS 191800 HAS SOUS 104131 HAS SOUPS 102529 WITH SCORE 102727.139
AT ITER 746 NEW BEST:: SOT 260104 SOS 197650 HAS SOPS 191267 HAS SOUS 103631 HAS SOUPS 102057 WITH SCORE 102254.65
AT ITER 747 NEW BEST:: SOT 260107 SOS 197632 HAS SOPS 191220 HAS SOUS 103595 HAS SOUPS 102017 WITH SCORE 102214.632
AT ITER 755 NEW BEST:: SOT 260117 SOS 197673 HAS SOPS 191242 HAS SOUS 103286 HAS SOUPS 101728 WITH SCORE 101925.673
AT ITER 762 NEW BEST:: SOT 260117 SOS 197940 HAS SOPS 191599 HAS SOUS 103172 HAS SOUPS 101629 WITH SCORE 101826.94
AT ITER 845 NEW BEST:: SOT 259811 SOS 197586 HAS SOPS 191243 HAS SOUS 103029 HAS SOUPS 101484 WITH SCORE 101681.586
AT ITER 859 NEW BEST:: SOT 259399 SOS 197586 HAS SOPS 191261 HAS SOUS 102892 HAS SOUPS 101365 WITH SCORE 101562.586
AT ITER 862 NEW BEST:: SOT 259407 SOS 197751 HAS SOPS 191379 HAS SOUS 102855 HAS SOUPS 101338 WITH SCORE 101535.751
AT ITER 877 NEW BEST:: SOT 259407 SOS 198607 HAS SOPS 191965 HAS SOUS 102851 HAS SOUPS 101334 WITH SCORE 101532.607
AT ITER 923 NEW BEST:: SOT 259142 SOS 198349 HAS SOPS 191707 HAS SOUS 102679 HAS SOUPS 101162 WITH SCORE 101360.349
AT ITER 935 NEW BEST:: SOT 259126 SOS 198333 HAS SOPS 191691 HAS SOUS 102663 HAS SOUPS 101146 WITH SCORE 101344.333
AT ITER 945 NEW BEST:: SOT 258308 SOS 197508 HAS SOPS 190866 HAS SOUS 101877 HAS SOUPS 100360 WITH SCORE 100557.508
AT ITER 962 NEW BEST:: SOT 258238 SOS 197438 HAS SOPS 190796 HAS SOUS 101834 HAS SOUPS 100317 WITH SCORE 100514.438
AT ITER 965 NEW BEST:: SOT 258272 SOS 197207 HAS SOPS 190752 HAS SOUS 101519 HAS SOUPS 100167 WITH SCORE 100364.207
AT ITER 996 NEW BEST:: SOT 258072 SOS 197382 HAS SOPS 190636 HAS SOUS 101378 HAS SOUPS 100036 WITH SCORE 100233.382
AT ITER 1037 NEW BEST:: SOT 258032 SOS 197342 HAS SOPS 190596 HAS SOUS 101338 HAS SOUPS 99996 WITH SCORE 100193.342
AT ITER 1038 NEW BEST:: SOT 258251 SOS 196702 HAS SOPS 189201 HAS SOUS 101022 HAS SOUPS 99365 WITH SCORE 99561.702
AT ITER 1056 NEW BEST:: SOT 258171 SOS 196622 HAS SOPS 189121 HAS SOUS 100942 HAS SOUPS 99285 WITH SCORE 99481.622
AT ITER 1066 NEW BEST:: SOT 258100 SOS 196548 HAS SOPS 189050 HAS SOUS 100868 HAS SOUPS 99214 WITH SCORE 99410.548
AT ITER 1067 NEW BEST:: SOT 258087 SOS 196535 HAS SOPS 189037 HAS SOUS 100804 HAS SOUPS 99150 WITH SCORE 99346.535
AT ITER 1080 NEW BEST:: SOT 258011 SOS 196459 HAS SOPS 188961 HAS SOUS 100727 HAS SOUPS 99073 WITH SCORE 99269.459
AT ITER 1083 NEW BEST:: SOT 258009 SOS 196457 HAS SOPS 188959 HAS SOUS 100725 HAS SOUPS 99071 WITH SCORE 99267.457
AT ITER 1089 NEW BEST:: SOT 257877 SOS 196298 HAS SOPS 188827 HAS SOUS 100516 HAS SOUPS 98880 WITH SCORE 99076.298
AT ITER 1098 NEW BEST:: SOT 257875 SOS 196290 HAS SOPS 188813 HAS SOUS 100500 HAS SOUPS 98864 WITH SCORE 99060.29
AT ITER 1102 NEW BEST:: SOT 257875 SOS 198559 HAS SOPS 191209 HAS SOUS 100472 HAS SOUPS 98849 WITH SCORE 99047.559
AT ITER 1131 NEW BEST:: SOT 257655 SOS 198326 HAS SOPS 190991 HAS SOUS 100143 HAS SOUPS 98547 WITH SCORE 98745.326
AT ITER 1134 NEW BEST:: SOT 257593 SOS 198244 HAS SOPS 190929 HAS SOUS 99895 HAS SOUPS 98322 WITH SCORE 98520.244
AT ITER 1161 NEW BEST:: SOT 257493 SOS 198140 HAS SOPS 190821 HAS SOUS 99678 HAS SOUPS 98109 WITH SCORE 98307.14
AT ITER 1192 NEW BEST:: SOT 257483 SOS 198128 HAS SOPS 190811 HAS SOUS 99665 HAS SOUPS 98097 WITH SCORE 98295.128
AT ITER 1201 NEW BEST:: SOT 257744 SOS 197702 HAS SOPS 190365 HAS SOUS 99618 HAS SOUPS 98031 WITH SCORE 98228.702
AT ITER 1223 NEW BEST:: SOT 258423 SOS 198319 HAS SOPS 190873 HAS SOUS 99620 HAS SOUPS 97924 WITH SCORE 98122.319
AT ITER 1239 NEW BEST:: SOT 258429 SOS 198839 HAS SOPS 191475 HAS SOUS 99388 HAS SOUPS 97699 WITH SCORE 97897.839
AT ITER 1276 NEW BEST:: SOT 258429 SOS 198966 HAS SOPS 191583 HAS SOUS 99391 HAS SOUPS 97694 WITH SCORE 97892.966
AT ITER 1279 NEW BEST:: SOT 258429 SOS 198889 HAS SOPS 191506 HAS SOUS 99369 HAS SOUPS 97672 WITH SCORE 97870.889
AT ITER 1309 NEW BEST:: SOT 258399 SOS 198859 HAS SOPS 191476 HAS SOUS 99299 HAS SOUPS 97604 WITH SCORE 97802.859
AT ITER 1311 NEW BEST:: SOT 258399 SOS 198881 HAS SOPS 191476 HAS SOUS 99297 HAS SOUPS 97582 WITH SCORE 97780.881
AT ITER 1328 NEW BEST:: SOT 258324 SOS 198802 HAS SOPS 191401 HAS SOUS 99204 HAS SOUPS 97493 WITH SCORE 97691.802
AT ITER 1352 NEW BEST:: SOT 258306 SOS 198784 HAS SOPS 191383 HAS SOUS 99182 HAS SOUPS 97471 WITH SCORE 97669.784
AT ITER 1366 NEW BEST:: SOT 258102 SOS 198984 HAS SOPS 191731 HAS SOUS 99023 HAS SOUPS 97453 WITH SCORE 97651.984
AT ITER 1408 NEW BEST:: SOT 258102 SOS 198984 HAS SOPS 191731 HAS SOUS 99011 HAS SOUPS 97441 WITH SCORE 97639.984
AT ITER 1421 NEW BEST:: SOT 258098 SOS 198980 HAS SOPS 191727 HAS SOUS 98999 HAS SOUPS 97429 WITH SCORE 97627.98
AT ITER 1441 NEW BEST:: SOT 258098 SOS 198809 HAS SOPS 191533 HAS SOUS 98977 HAS SOUPS 97407 WITH SCORE 97605.809
AT ITER 1453 NEW BEST:: SOT 257803 SOS 198514 HAS SOPS 191238 HAS SOUS 98784 HAS SOUPS 97214 WITH SCORE 97412.514
AT ITER 1460 NEW BEST:: SOT 257800 SOS 198511 HAS SOPS 191235 HAS SOUS 98754 HAS SOUPS 97185 WITH SCORE 97383.511
AT ITER 1483 NEW BEST:: SOT 257788 SOS 198499 HAS SOPS 191223 HAS SOUS 98735 HAS SOUPS 97166 WITH SCORE 97364.499
AT ITER 1501 NEW BEST:: SOT 257791 SOS 199253 HAS SOPS 192034 HAS SOUS 98681 HAS SOUPS 97123 WITH SCORE 97322.253
AT ITER 1518 NEW BEST:: SOT 257765 SOS 199227 HAS SOPS 192008 HAS SOUS 98655 HAS SOUPS 97097 WITH SCORE 97296.227
AT ITER 1540 NEW BEST:: SOT 257761 SOS 199123 HAS SOPS 191918 HAS SOUS 98569 HAS SOUPS 97018 WITH SCORE 97217.123
AT ITER 1549 NEW BEST:: SOT 257756 SOS 199117 HAS SOPS 191913 HAS SOUS 98555 HAS SOUPS 97003 WITH SCORE 97202.117
AT ITER 1553 NEW BEST:: SOT 257681 SOS 199042 HAS SOPS 191838 HAS SOUS 98533 HAS SOUPS 96981 WITH SCORE 97180.042
AT ITER 1559 NEW BEST:: SOT 257685 SOS 199304 HAS SOPS 192132 HAS SOUS 98474 HAS SOUPS 96920 WITH SCORE 97119.304
AT ITER 1562 NEW BEST:: SOT 257646 SOS 199506 HAS SOPS 192334 HAS SOUS 98367 HAS SOUPS 96813 WITH SCORE 97012.506
AT ITER 1565 NEW BEST:: SOT 257654 SOS 199508 HAS SOPS 192330 HAS SOUS 98305 HAS SOUPS 96751 WITH SCORE 96950.508
AT ITER 1571 NEW BEST:: SOT 257448 SOS 199295 HAS SOPS 192136 HAS SOUS 98052 HAS SOUPS 96494 WITH SCORE 96693.295
AT ITER 1603 NEW BEST:: SOT 257448 SOS 199277 HAS SOPS 192116 HAS SOUS 98048 HAS SOUPS 96490 WITH SCORE 96689.277
AT ITER 1608 NEW BEST:: SOT 257464 SOS 199302 HAS SOPS 192132 HAS SOUS 98021 HAS SOUPS 96460 WITH SCORE 96659.302
AT ITER 1671 NEW BEST:: SOT 257458 SOS 199294 HAS SOPS 192126 HAS SOUS 98009 HAS SOUPS 96446 WITH SCORE 96645.294
AT ITER 1685 NEW BEST:: SOT 257195 SOS 199040 HAS SOPS 191869 HAS SOUS 97651 HAS SOUPS 96097 WITH SCORE 96296.04
AT ITER 1692 NEW BEST:: SOT 257185 SOS 199030 HAS SOPS 191859 HAS SOUS 97641 HAS SOUPS 96087 WITH SCORE 96286.03
AT ITER 1695 NEW BEST:: SOT 257165 SOS 199010 HAS SOPS 191839 HAS SOUS 97621 HAS SOUPS 96067 WITH SCORE 96266.01
AT ITER 1734 NEW BEST:: SOT 257145 SOS 198990 HAS SOPS 191819 HAS SOUS 97591 HAS SOUPS 96037 WITH SCORE 96235.99
AT ITER 1737 NEW BEST:: SOT 257129 SOS 198974 HAS SOPS 191803 HAS SOUS 97575 HAS SOUPS 96021 WITH SCORE 96219.974
AT ITER 1749 NEW BEST:: SOT 257077 SOS 198922 HAS SOPS 191751 HAS SOUS 97412 HAS SOUPS 95860 WITH SCORE 96058.922
AT ITER 1780 NEW BEST:: SOT 257077 SOS 198918 HAS SOPS 191747 HAS SOUS 97408 HAS SOUPS 95856 WITH SCORE 96054.918
AT ITER 1794 NEW BEST:: SOT 257083 SOS 198924 HAS SOPS 191753 HAS SOUS 97403 HAS SOUPS 95851 WITH SCORE 96049.924
AT ITER 1805 NEW BEST:: SOT 257043 SOS 198884 HAS SOPS 191713 HAS SOUS 97365 HAS SOUPS 95813 WITH SCORE 96011.884
AT ITER 1812 NEW BEST:: SOT 256725 SOS 198566 HAS SOPS 191395 HAS SOUS 96978 HAS SOUPS 95426 WITH SCORE 95624.566
AT ITER 1815 NEW BEST:: SOT 256557 SOS 198398 HAS SOPS 191227 HAS SOUS 96813 HAS SOUPS 95261 WITH SCORE 95459.398
AT ITER 1819 NEW BEST:: SOT 256345 SOS 198186 HAS SOPS 191015 HAS SOUS 96617 HAS SOUPS 95065 WITH SCORE 95263.186
AT ITER 1854 NEW BEST:: SOT 256305 SOS 198146 HAS SOPS 190975 HAS SOUS 96519 HAS SOUPS 94967 WITH SCORE 95165.146
AT ITER 1858 NEW BEST:: SOT 256249 SOS 198077 HAS SOPS 190919 HAS SOUS 96450 HAS SOUPS 94885 WITH SCORE 95083.077
AT ITER 1860 NEW BEST:: SOT 256249 SOS 198077 HAS SOPS 190919 HAS SOUS 96448 HAS SOUPS 94883 WITH SCORE 95081.077
AT ITER 1870 NEW BEST:: SOT 256237 SOS 198071 HAS SOPS 190907 HAS SOUS 96390 HAS SOUPS 94819 WITH SCORE 95017.071
AT ITER 1880 NEW BEST:: SOT 255838 SOS 197794 HAS SOPS 190508 HAS SOUS 96219 HAS SOUPS 94567 WITH SCORE 94764.794
AT ITER 1886 NEW BEST:: SOT 255838 SOS 197792 HAS SOPS 190484 HAS SOUS 96176 HAS SOUPS 94521 WITH SCORE 94718.792
AT ITER 1891 NEW BEST:: SOT 255828 SOS 197782 HAS SOPS 190474 HAS SOUS 96166 HAS SOUPS 94511 WITH SCORE 94708.782
AT ITER 1909 NEW BEST:: SOT 255826 SOS 197780 HAS SOPS 190472 HAS SOUS 96157 HAS SOUPS 94502 WITH SCORE 94699.78
AT ITER 1915 NEW BEST:: SOT 255821 SOS 197783 HAS SOPS 190467 HAS SOUS 96144 HAS SOUPS 94481 WITH SCORE 94678.783
AT ITER 1916 NEW BEST:: SOT 255828 SOS 197828 HAS SOPS 190474 HAS SOUS 96142 HAS SOUPS 94472 WITH SCORE 94669.828
AT ITER 1943 NEW BEST:: SOT 255822 SOS 197822 HAS SOPS 190468 HAS SOUS 96136 HAS SOUPS 94466 WITH SCORE 94663.822
AT ITER 1954 NEW BEST:: SOT 255314 SOS 197285 HAS SOPS 189930 HAS SOUS 95810 HAS SOUPS 94140 WITH SCORE 94337.285
AT ITER 1971 NEW BEST:: SOT 255294 SOS 197265 HAS SOPS 189910 HAS SOUS 95802 HAS SOUPS 94132 WITH SCORE 94329.265
AT ITER 1973 NEW BEST:: SOT 255277 SOS 197244 HAS SOPS 189889 HAS SOUS 95742 HAS SOUPS 94077 WITH SCORE 94274.244
AT ITER 1976 NEW BEST:: SOT 255369 SOS 197336 HAS SOPS 189981 HAS SOUS 95740 HAS SOUPS 94075 WITH SCORE 94272.336
AT ITER 1981 NEW BEST:: SOT 255343 SOS 197306 HAS SOPS 189955 HAS SOUS 95708 HAS SOUPS 94051 WITH SCORE 94248.306
AT ITER 1983 NEW BEST:: SOT 255276 SOS 197239 HAS SOPS 189888 HAS SOUS 95641 HAS SOUPS 93984 WITH SCORE 94181.239
AT ITER 2011 NEW BEST:: SOT 255230 SOS 197193 HAS SOPS 189842 HAS SOUS 95534 HAS SOUPS 93882 WITH SCORE 94079.193
AT ITER 2053 NEW BEST:: SOT 255255 SOS 197233 HAS SOPS 189867 HAS SOUS 95536 HAS SOUPS 93879 WITH SCORE 94076.233
AT ITER 2054 NEW BEST:: SOT 255241 SOS 197114 HAS SOPS 189663 HAS SOUS 95441 HAS SOUPS 93774 WITH SCORE 93971.114
AT ITER 2066 NEW BEST:: SOT 255361 SOS 196540 HAS SOPS 188317 HAS SOUS 94969 HAS SOUPS 93103 WITH SCORE 93299.54
AT ITER 2078 NEW BEST:: SOT 255322 SOS 196500 HAS SOPS 188276 HAS SOUS 94760 HAS SOUPS 92894 WITH SCORE 93090.5
AT ITER 2131 NEW BEST:: SOT 255274 SOS 196434 HAS SOPS 188202 HAS SOUS 94711 HAS SOUPS 92831 WITH SCORE 93027.434
AT ITER 2161 NEW BEST:: SOT 255050 SOS 196199 HAS SOPS 187976 HAS SOUS 94443 HAS SOUPS 92580 WITH SCORE 92776.199
AT ITER 2178 NEW BEST:: SOT 254834 SOS 195983 HAS SOPS 187760 HAS SOUS 94231 HAS SOUPS 92368 WITH SCORE 92563.983
AT ITER 2242 NEW BEST:: SOT 254794 SOS 195913 HAS SOPS 187656 HAS SOUS 94154 HAS SOUPS 92286 WITH SCORE 92481.913
AT ITER 2259 NEW BEST:: SOT 254611 SOS 195730 HAS SOPS 187473 HAS SOUS 93825 HAS SOUPS 91962 WITH SCORE 92157.73
AT ITER 2275 NEW BEST:: SOT 254571 SOS 195690 HAS SOPS 187433 HAS SOUS 93775 HAS SOUPS 91912 WITH SCORE 92107.69
AT ITER 2298 NEW BEST:: SOT 254442 SOS 195648 HAS SOPS 187490 HAS SOUS 93702 HAS SOUPS 91890 WITH SCORE 92085.648
AT ITER 2305 NEW BEST:: SOT 254442 SOS 195499 HAS SOPS 187343 HAS SOUS 93670 HAS SOUPS 91861 WITH SCORE 92056.499
AT ITER 2308 NEW BEST:: SOT 253829 SOS 194865 HAS SOPS 186740 HAS SOUS 93085 HAS SOUPS 91302 WITH SCORE 91496.865
AT ITER 2321 NEW BEST:: SOT 253823 SOS 194859 HAS SOPS 186734 HAS SOUS 93061 HAS SOUPS 91283 WITH SCORE 91477.859
AT ITER 2340 NEW BEST:: SOT 253823 SOS 194458 HAS SOPS 186368 HAS SOUS 92725 HAS SOUPS 90973 WITH SCORE 91167.458
AT ITER 2362 NEW BEST:: SOT 253698 SOS 194320 HAS SOPS 186243 HAS SOUS 92332 HAS SOUPS 90606 WITH SCORE 90800.32
AT ITER 2446 NEW BEST:: SOT 252941 SOS 193555 HAS SOPS 185486 HAS SOUS 91274 HAS SOUPS 89572 WITH SCORE 89765.555
AT ITER 2452 NEW BEST:: SOT 252865 SOS 190147 HAS SOPS 181850 HAS SOUS 91290 HAS SOUPS 89574 WITH SCORE 89764.147
AT ITER 2477 NEW BEST:: SOT 252865 SOS 191517 HAS SOPS 183412 HAS SOUS 91214 HAS SOUPS 89510 WITH SCORE 89701.517
AT ITER 2493 NEW BEST:: SOT 252864 SOS 191392 HAS SOPS 183293 HAS SOUS 91169 HAS SOUPS 89465 WITH SCORE 89656.392
AT ITER 2532 NEW BEST:: SOT 252843 SOS 191369 HAS SOPS 183272 HAS SOUS 91148 HAS SOUPS 89446 WITH SCORE 89637.369
AT ITER 2538 NEW BEST:: SOT 252859 SOS 191381 HAS SOPS 183280 HAS SOUS 91112 HAS SOUPS 89406 WITH SCORE 89597.381
AT ITER 2548 NEW BEST:: SOT 252773 SOS 191266 HAS SOPS 183196 HAS SOUS 90968 HAS SOUPS 89276 WITH SCORE 89467.266
AT ITER 2573 NEW BEST:: SOT 252806 SOS 191319 HAS SOPS 183250 HAS SOUS 90940 HAS SOUPS 89248 WITH SCORE 89439.319
AT ITER 2577 NEW BEST:: SOT 252790 SOS 191303 HAS SOPS 183234 HAS SOUS 90905 HAS SOUPS 89214 WITH SCORE 89405.303
AT ITER 2594 NEW BEST:: SOT 252764 SOS 191279 HAS SOPS 183204 HAS SOUS 90847 HAS SOUPS 89152 WITH SCORE 89343.279
AT ITER 2615 NEW BEST:: SOT 252393 SOS 190804 HAS SOPS 182729 HAS SOUS 90461 HAS SOUPS 88766 WITH SCORE 88956.804
AT ITER 2616 NEW BEST:: SOT 252383 SOS 190794 HAS SOPS 182719 HAS SOUS 90431 HAS SOUPS 88736 WITH SCORE 88926.794
AT ITER 2635 NEW BEST:: SOT 252383 SOS 190794 HAS SOPS 182719 HAS SOUS 90426 HAS SOUPS 88731 WITH SCORE 88921.794
AT ITER 2661 NEW BEST:: SOT 252371 SOS 190782 HAS SOPS 182707 HAS SOUS 90396 HAS SOUPS 88701 WITH SCORE 88891.782
AT ITER 2696 NEW BEST:: SOT 252361 SOS 190772 HAS SOPS 182697 HAS SOUS 90386 HAS SOUPS 88691 WITH SCORE 88881.772
AT ITER 2706 NEW BEST:: SOT 252329 SOS 190761 HAS SOPS 182671 HAS SOUS 90368 HAS SOUPS 88674 WITH SCORE 88864.761
AT ITER 2747 NEW BEST:: SOT 252251 SOS 190683 HAS SOPS 182593 HAS SOUS 90294 HAS SOUPS 88600 WITH SCORE 88790.683
AT ITER 2750 NEW BEST:: SOT 252180 SOS 190612 HAS SOPS 182522 HAS SOUS 90223 HAS SOUPS 88529 WITH SCORE 88719.612
AT ITER 2751 NEW BEST:: SOT 252182 SOS 190602 HAS SOPS 182500 HAS SOUS 90159 HAS SOUPS 88478 WITH SCORE 88668.602
AT ITER 2759 NEW BEST:: SOT 252184 SOS 190766 HAS SOPS 182682 HAS SOUS 90144 HAS SOUPS 88465 WITH SCORE 88655.766
AT ITER 2761 NEW BEST:: SOT 252164 SOS 190740 HAS SOPS 182653 HAS SOUS 90141 HAS SOUPS 88459 WITH SCORE 88649.74
AT ITER 2786 NEW BEST:: SOT 252164 SOS 188754 HAS SOPS 180647 HAS SOUS 90131 HAS SOUPS 88449 WITH SCORE 88637.754
AT ITER 2800 NEW BEST:: SOT 252181 SOS 188777 HAS SOPS 180664 HAS SOUS 90118 HAS SOUPS 88436 WITH SCORE 88624.777
AT ITER 2804 NEW BEST:: SOT 252161 SOS 188749 HAS SOPS 180644 HAS SOUS 90099 HAS SOUPS 88425 WITH SCORE 88613.749
AT ITER 2821 NEW BEST:: SOT 252143 SOS 188731 HAS SOPS 180626 HAS SOUS 90081 HAS SOUPS 88407 WITH SCORE 88595.731
AT ITER 2830 NEW BEST:: SOT 252139 SOS 188727 HAS SOPS 180622 HAS SOUS 89930 HAS SOUPS 88256 WITH SCORE 88444.727
AT ITER 2832 NEW BEST:: SOT 252085 SOS 188682 HAS SOPS 180568 HAS SOUS 89481 HAS SOUPS 87798 WITH SCORE 87986.682
AT ITER 2837 NEW BEST:: SOT 252086 SOS 188816 HAS SOPS 180697 HAS SOUS 89474 HAS SOUPS 87793 WITH SCORE 87981.816
AT ITER 2869 NEW BEST:: SOT 252084 SOS 188815 HAS SOPS 180695 HAS SOUS 89469 HAS SOUPS 87787 WITH SCORE 87975.815
AT ITER 2880 NEW BEST:: SOT 251749 SOS 188477 HAS SOPS 180354 HAS SOUS 88845 HAS SOUPS 87172 WITH SCORE 87360.477
AT ITER 2902 NEW BEST:: SOT 251711 SOS 188433 HAS SOPS 180310 HAS SOUS 88841 HAS SOUPS 87168 WITH SCORE 87356.433
AT ITER 2939 NEW BEST:: SOT 251751 SOS 188276 HAS SOPS 180335 HAS SOUS 88824 HAS SOUPS 87151 WITH SCORE 87339.276
AT ITER 2965 NEW BEST:: SOT 251635 SOS 188140 HAS SOPS 180219 HAS SOUS 88713 HAS SOUPS 87060 WITH SCORE 87248.14
AT ITER 2997 NEW BEST:: SOT 251683 SOS 188178 HAS SOPS 180245 HAS SOUS 88618 HAS SOUPS 86953 WITH SCORE 87141.178
AT ITER 3008 NEW BEST:: SOT 251685 SOS 188188 HAS SOPS 180251 HAS SOUS 88588 HAS SOUPS 86925 WITH SCORE 87113.188
AT ITER 3022 NEW BEST:: SOT 251685 SOS 188147 HAS SOPS 180205 HAS SOUS 88576 HAS SOUPS 86913 WITH SCORE 87101.147
AT ITER 3043 NEW BEST:: SOT 251684 SOS 188144 HAS SOPS 180204 HAS SOUS 88573 HAS SOUPS 86912 WITH SCORE 87100.144
AT ITER 3045 NEW BEST:: SOT 251576 SOS 188036 HAS SOPS 180096 HAS SOUS 88467 HAS SOUPS 86806 WITH SCORE 86994.036
AT ITER 3049 NEW BEST:: SOT 251597 SOS 188069 HAS SOPS 180117 HAS SOUS 88443 HAS SOUPS 86778 WITH SCORE 86966.069
AT ITER 3114 NEW BEST:: SOT 251059 SOS 187531 HAS SOPS 179579 HAS SOUS 87961 HAS SOUPS 86296 WITH SCORE 86483.531
AT ITER 3116 NEW BEST:: SOT 250787 SOS 187270 HAS SOPS 179373 HAS SOUS 87780 HAS SOUPS 86149 WITH SCORE 86336.27
AT ITER 3118 NEW BEST:: SOT 250787 SOS 187765 HAS SOPS 179921 HAS SOUS 87762 HAS SOUPS 86135 WITH SCORE 86322.765
AT ITER 3159 NEW BEST:: SOT 250787 SOS 187698 HAS SOPS 179856 HAS SOUS 87648 HAS SOUPS 86033 WITH SCORE 86220.698
AT ITER 3213 NEW BEST:: SOT 250709 SOS 187620 HAS SOPS 179778 HAS SOUS 87564 HAS SOUPS 85949 WITH SCORE 86136.62
AT ITER 3230 NEW BEST:: SOT 250709 SOS 187624 HAS SOPS 179786 HAS SOUS 87556 HAS SOUPS 85941 WITH SCORE 86128.624
AT ITER 3243 NEW BEST:: SOT 250688 SOS 187603 HAS SOPS 179769 HAS SOUS 87546 HAS SOUPS 85934 WITH SCORE 86121.603
AT ITER 3245 NEW BEST:: SOT 250636 SOS 187551 HAS SOPS 179717 HAS SOUS 87417 HAS SOUPS 85805 WITH SCORE 85992.551
AT ITER 3360 NEW BEST:: SOT 249760 SOS 187398 HAS SOPS 179051 HAS SOUS 86866 HAS SOUPS 85274 WITH SCORE 85461.398
AT ITER 3388 NEW BEST:: SOT 249726 SOS 187369 HAS SOPS 179027 HAS SOUS 86852 HAS SOUPS 85254 WITH SCORE 85441.369
AT ITER 3422 NEW BEST:: SOT 249688 SOS 187331 HAS SOPS 178989 HAS SOUS 86825 HAS SOUPS 85227 WITH SCORE 85414.331
AT ITER 3463 NEW BEST:: SOT 249550 SOS 187187 HAS SOPS 178851 HAS SOUS 86647 HAS SOUPS 85045 WITH SCORE 85232.187
AT ITER 3466 NEW BEST:: SOT 249545 SOS 187352 HAS SOPS 179026 HAS SOUS 86642 HAS SOUPS 85040 WITH SCORE 85227.352
AT ITER 3471 NEW BEST:: SOT 249512 SOS 187316 HAS SOPS 178993 HAS SOUS 86589 HAS SOUPS 84989 WITH SCORE 85176.316
AT ITER 3530 NEW BEST:: SOT 249215 SOS 186694 HAS SOPS 178486 HAS SOUS 86306 HAS SOUPS 84725 WITH SCORE 84911.694
AT ITER 3543 NEW BEST:: SOT 249203 SOS 186677 HAS SOPS 178469 HAS SOUS 86300 HAS SOUPS 84719 WITH SCORE 84905.677
AT ITER 3566 NEW BEST:: SOT 249163 SOS 186637 HAS SOPS 178429 HAS SOUS 86274 HAS SOUPS 84693 WITH SCORE 84879.637
AT ITER 3595 NEW BEST:: SOT 249043 SOS 186505 HAS SOPS 178309 HAS SOUS 85839 HAS SOUPS 84270 WITH SCORE 84456.505
AT ITER 3641 NEW BEST:: SOT 249043 SOS 186454 HAS SOPS 178258 HAS SOUS 85833 HAS SOUPS 84264 WITH SCORE 84450.454
AT ITER 3682 NEW BEST:: SOT 249039 SOS 186450 HAS SOPS 178254 HAS SOUS 85829 HAS SOUPS 84260 WITH SCORE 84446.45
AT ITER 3688 NEW BEST:: SOT 249031 SOS 186442 HAS SOPS 178246 HAS SOUS 85801 HAS SOUPS 84232 WITH SCORE 84418.442
AT ITER 3722 NEW BEST:: SOT 248996 SOS 186404 HAS SOPS 178209 HAS SOUS 85766 HAS SOUPS 84198 WITH SCORE 84384.404
AT ITER 3731 NEW BEST:: SOT 248988 SOS 186372 HAS SOPS 178159 HAS SOUS 85717 HAS SOUPS 84155 WITH SCORE 84341.372
AT ITER 3793 NEW BEST:: SOT 248986 SOS 186370 HAS SOPS 178157 HAS SOUS 85714 HAS SOUPS 84152 WITH SCORE 84338.37
AT ITER 3817 NEW BEST:: SOT 249000 SOS 186384 HAS SOPS 178171 HAS SOUS 85695 HAS SOUPS 84133 WITH SCORE 84319.384
AT ITER 3849 NEW BEST:: SOT 248954 SOS 186338 HAS SOPS 178133 HAS SOUS 85673 HAS SOUPS 84115 WITH SCORE 84301.338
AT ITER 3880 NEW BEST:: SOT 248893 SOS 186277 HAS SOPS 178072 HAS SOUS 85550 HAS SOUPS 83992 WITH SCORE 84178.277
AT ITER 3890 NEW BEST:: SOT 248794 SOS 186178 HAS SOPS 177973 HAS SOUS 85379 HAS SOUPS 83824 WITH SCORE 84010.178
AT ITER 3910 NEW BEST:: SOT 248749 SOS 186232 HAS SOPS 177949 HAS SOUS 85325 HAS SOUPS 83776 WITH SCORE 83962.232
AT ITER 3951 NEW BEST:: SOT 248707 SOS 186204 HAS SOPS 177913 HAS SOUS 85314 HAS SOUPS 83764 WITH SCORE 83950.204
AT ITER 3962 NEW BEST:: SOT 248699 SOS 186196 HAS SOPS 177905 HAS SOUS 85306 HAS SOUPS 83756 WITH SCORE 83942.196
AT ITER 3982 NEW BEST:: SOT 248627 SOS 186121 HAS SOPS 177833 HAS SOUS 85196 HAS SOUPS 83652 WITH SCORE 83838.121
AT ITER 4079 NEW BEST:: SOT 248240 SOS 185734 HAS SOPS 177446 HAS SOUS 84827 HAS SOUPS 83283 WITH SCORE 83468.734
AT ITER 4088 NEW BEST:: SOT 248231 SOS 185725 HAS SOPS 177437 HAS SOUS 84803 HAS SOUPS 83259 WITH SCORE 83444.725
AT ITER 4092 NEW BEST:: SOT 248231 SOS 185675 HAS SOPS 177387 HAS SOUS 84798 HAS SOUPS 83254 WITH SCORE 83439.675
AT ITER 4165 NEW BEST:: SOT 248229 SOS 185504 HAS SOPS 177199 HAS SOUS 84796 HAS SOUPS 83252 WITH SCORE 83437.504
AT ITER 4186 NEW BEST:: SOT 248229 SOS 185529 HAS SOPS 177249 HAS SOUS 84766 HAS SOUPS 83222 WITH SCORE 83407.529
AT ITER 4193 NEW BEST:: SOT 248179 SOS 185479 HAS SOPS 177199 HAS SOUS 84717 HAS SOUPS 83173 WITH SCORE 83358.479
AT ITER 4201 NEW BEST:: SOT 248173 SOS 185473 HAS SOPS 177193 HAS SOUS 84711 HAS SOUPS 83167 WITH SCORE 83352.473
AT ITER 4246 NEW BEST:: SOT 248048 SOS 185330 HAS SOPS 177068 HAS SOUS 84356 HAS SOUPS 82830 WITH SCORE 83015.33
AT ITER 4251 NEW BEST:: SOT 248038 SOS 185320 HAS SOPS 177058 HAS SOUS 84346 HAS SOUPS 82820 WITH SCORE 83005.32
AT ITER 4273 NEW BEST:: SOT 248033 SOS 185313 HAS SOPS 177053 HAS SOUS 84344 HAS SOUPS 82818 WITH SCORE 83003.313
AT ITER 4308 NEW BEST:: SOT 248073 SOS 185237 HAS SOPS 177065 HAS SOUS 84318 HAS SOUPS 82788 WITH SCORE 82973.237
AT ITER 4387 NEW BEST:: SOT 248075 SOS 185239 HAS SOPS 177067 HAS SOUS 84309 HAS SOUPS 82779 WITH SCORE 82964.239
AT ITER 4409 NEW BEST:: SOT 248026 SOS 185183 HAS SOPS 177018 HAS SOUS 84272 HAS SOUPS 82753 WITH SCORE 82938.183
AT ITER 4415 NEW BEST:: SOT 248726 SOS 185766 HAS SOPS 177576 HAS SOUS 83909 HAS SOUPS 82436 WITH SCORE 82621.766
AT ITER 4428 NEW BEST:: SOT 248733 SOS 185755 HAS SOPS 177555 HAS SOUS 83821 HAS SOUPS 82352 WITH SCORE 82537.755
AT ITER 4469 NEW BEST:: SOT 248719 SOS 185741 HAS SOPS 177541 HAS SOUS 83810 HAS SOUPS 82341 WITH SCORE 82526.741
AT ITER 4527 NEW BEST:: SOT 248719 SOS 185246 HAS SOPS 176975 HAS SOUS 83763 HAS SOUPS 82294 WITH SCORE 82479.246
AT ITER 4586 NEW BEST:: SOT 248653 SOS 185180 HAS SOPS 176909 HAS SOUS 83719 HAS SOUPS 82250 WITH SCORE 82435.18
AT ITER 4620 NEW BEST:: SOT 248680 SOS 185182 HAS SOPS 177723 HAS SOUS 83700 HAS SOUPS 82233 WITH SCORE 82418.182
AT ITER 4635 NEW BEST:: SOT 248521 SOS 185187 HAS SOPS 177728 HAS SOUS 83486 HAS SOUPS 82019 WITH SCORE 82204.187
AT ITER 4703 NEW BEST:: SOT 248491 SOS 185185 HAS SOPS 177705 HAS SOUS 83453 HAS SOUPS 81989 WITH SCORE 82174.185
AT ITER 4792 NEW BEST:: SOT 248478 SOS 185172 HAS SOPS 177692 HAS SOUS 83421 HAS SOUPS 81967 WITH SCORE 82152.172
AT ITER 4806 NEW BEST:: SOT 248395 SOS 185085 HAS SOPS 177609 HAS SOUS 83290 HAS SOUPS 81840 WITH SCORE 82025.085
AT ITER 4824 NEW BEST:: SOT 248206 SOS 184896 HAS SOPS 177420 HAS SOUS 83105 HAS SOUPS 81655 WITH SCORE 81839.896
AT ITER 4826 NEW BEST:: SOT 248112 SOS 184802 HAS SOPS 177326 HAS SOUS 83011 HAS SOUPS 81561 WITH SCORE 81745.802
AT ITER 4828 NEW BEST:: SOT 247979 SOS 184681 HAS SOPS 177217 HAS SOUS 82968 HAS SOUPS 81523 WITH SCORE 81707.681
AT ITER 4839 NEW BEST:: SOT 247979 SOS 184462 HAS SOPS 176998 HAS SOUS 82967 HAS SOUPS 81522 WITH SCORE 81706.462
AT ITER 4907 NEW BEST:: SOT 247993 SOS 184477 HAS SOPS 177012 HAS SOUS 82938 HAS SOUPS 81492 WITH SCORE 81676.477
AT ITER 4912 NEW BEST:: SOT 247515 SOS 184003 HAS SOPS 176584 HAS SOUS 82452 HAS SOUPS 81035 WITH SCORE 81219.003
AT ITER 4928 NEW BEST:: SOT 247000 SOS 183496 HAS SOPS 176099 HAS SOUS 82000 HAS SOUPS 80605 WITH SCORE 80788.496
AT ITER 4941 NEW BEST:: SOT 246993 SOS 183485 HAS SOPS 176092 HAS SOUS 81988 HAS SOUPS 80597 WITH SCORE 80780.485
AT ITER 4976 NEW BEST:: SOT 246915 SOS 183750 HAS SOPS 176081 HAS SOUS 81914 HAS SOUPS 80530 WITH SCORE 80713.75
AT ITER 5051 NEW BEST:: SOT 246767 SOS 183587 HAS SOPS 175933 HAS SOUS 81722 HAS SOUPS 80361 WITH SCORE 80544.587
AT ITER 5075 NEW BEST:: SOT 246767 SOS 183587 HAS SOPS 175933 HAS SOUS 81699 HAS SOUPS 80338 WITH SCORE 80521.587
AT ITER 5083 NEW BEST:: SOT 246893 SOS 183705 HAS SOPS 176042 HAS SOUS 81643 HAS SOUPS 80294 WITH SCORE 80477.705
AT ITER 5102 NEW BEST:: SOT 246893 SOS 183708 HAS SOPS 176042 HAS SOUS 81643 HAS SOUPS 80291 WITH SCORE 80474.708
AT ITER 5104 NEW BEST:: SOT 246776 SOS 184182 HAS SOPS 175475 HAS SOUS 81507 HAS SOUPS 80177 WITH SCORE 80361.182
AT ITER 5146 NEW BEST:: SOT 246776 SOS 184182 HAS SOPS 175475 HAS SOUS 81505 HAS SOUPS 80175 WITH SCORE 80359.182
AT ITER 5197 NEW BEST:: SOT 246768 SOS 184179 HAS SOPS 175457 HAS SOUS 81361 HAS SOUPS 80031 WITH SCORE 80215.179
AT ITER 5202 NEW BEST:: SOT 246653 SOS 183987 HAS SOPS 175265 HAS SOUS 81261 HAS SOUPS 79931 WITH SCORE 80114.987
AT ITER 5221 NEW BEST:: SOT 246701 SOS 184036 HAS SOPS 175313 HAS SOUS 81067 HAS SOUPS 79756 WITH SCORE 79940.036
AT ITER 5297 NEW BEST:: SOT 246699 SOS 184034 HAS SOPS 175311 HAS SOUS 81065 HAS SOUPS 79754 WITH SCORE 79938.034
AT ITER 5349 NEW BEST:: SOT 246699 SOS 184039 HAS SOPS 175311 HAS SOUS 81063 HAS SOUPS 79747 WITH SCORE 79931.039
AT ITER 5356 NEW BEST:: SOT 246149 SOS 184003 HAS SOPS 175280 HAS SOUS 80730 HAS SOUPS 79419 WITH SCORE 79603.003
AT ITER 5375 NEW BEST:: SOT 246121 SOS 183975 HAS SOPS 175252 HAS SOUS 80713 HAS SOUPS 79402 WITH SCORE 79585.975
AT ITER 5376 NEW BEST:: SOT 246164 SOS 183980 HAS SOPS 175277 HAS SOUS 80494 HAS SOUPS 79212 WITH SCORE 79395.98
AT ITER 5435 NEW BEST:: SOT 246149 SOS 183974 HAS SOPS 175262 HAS SOUS 80423 HAS SOUPS 79131 WITH SCORE 79314.974
AT ITER 5464 NEW BEST:: SOT 246034 SOS 183854 HAS SOPS 175147 HAS SOUS 80255 HAS SOUPS 78973 WITH SCORE 79156.854
AT ITER 5495 NEW BEST:: SOT 246024 SOS 183844 HAS SOPS 175137 HAS SOUS 80245 HAS SOUPS 78963 WITH SCORE 79146.844
AT ITER 5524 NEW BEST:: SOT 245998 SOS 183818 HAS SOPS 175121 HAS SOUS 80208 HAS SOUPS 78931 WITH SCORE 79114.818
AT ITER 5533 NEW BEST:: SOT 245514 SOS 183334 HAS SOPS 174637 HAS SOUS 79742 HAS SOUPS 78465 WITH SCORE 78648.334
AT ITER 5539 NEW BEST:: SOT 245490 SOS 183305 HAS SOPS 174627 HAS SOUS 79671 HAS SOUPS 78406 WITH SCORE 78589.305
AT ITER 5659 NEW BEST:: SOT 245466 SOS 183281 HAS SOPS 174603 HAS SOUS 79647 HAS SOUPS 78382 WITH SCORE 78565.281
AT ITER 5696 NEW BEST:: SOT 245321 SOS 183134 HAS SOPS 174458 HAS SOUS 79559 HAS SOUPS 78296 WITH SCORE 78479.134
AT ITER 5698 NEW BEST:: SOT 245243 SOS 183056 HAS SOPS 174380 HAS SOUS 79426 HAS SOUPS 78166 WITH SCORE 78349.056
AT ITER 5706 NEW BEST:: SOT 244995 SOS 182816 HAS SOPS 174132 HAS SOUS 79232 HAS SOUPS 77964 WITH SCORE 78146.816
AT ITER 5784 NEW BEST:: SOT 244993 SOS 182814 HAS SOPS 174130 HAS SOUS 79210 HAS SOUPS 77947 WITH SCORE 78129.814
AT ITER 5825 NEW BEST:: SOT 244946 SOS 182739 HAS SOPS 174059 HAS SOUS 78933 HAS SOUPS 77694 WITH SCORE 77876.739
AT ITER 5848 NEW BEST:: SOT 244949 SOS 182754 HAS SOPS 174062 HAS SOUS 78912 HAS SOUPS 77661 WITH SCORE 77843.754
AT ITER 5875 NEW BEST:: SOT 244921 SOS 182716 HAS SOPS 174034 HAS SOUS 78910 HAS SOUPS 77659 WITH SCORE 77841.716
AT ITER 5909 NEW BEST:: SOT 244887 SOS 182687 HAS SOPS 174000 HAS SOUS 78792 HAS SOUPS 77532 WITH SCORE 77714.687
AT ITER 5975 NEW BEST:: SOT 244913 SOS 182728 HAS SOPS 174038 HAS SOUS 78773 HAS SOUPS 77513 WITH SCORE 77695.728
AT ITER 5980 NEW BEST:: SOT 244913 SOS 182728 HAS SOPS 174038 HAS SOUS 78765 HAS SOUPS 77505 WITH SCORE 77687.728
AT ITER 6023 NEW BEST:: SOT 244894 SOS 182709 HAS SOPS 174019 HAS SOUS 78729 HAS SOUPS 77470 WITH SCORE 77652.709
AT ITER 6070 NEW BEST:: SOT 244796 SOS 182611 HAS SOPS 173921 HAS SOUS 78540 HAS SOUPS 77289 WITH SCORE 77471.611
AT ITER 6111 NEW BEST:: SOT 244722 SOS 182537 HAS SOPS 173847 HAS SOUS 78465 HAS SOUPS 77214 WITH SCORE 77396.537
AT ITER 6128 NEW BEST:: SOT 244642 SOS 182457 HAS SOPS 173767 HAS SOUS 78385 HAS SOUPS 77134 WITH SCORE 77316.457
AT ITER 6205 NEW BEST:: SOT 244642 SOS 182077 HAS SOPS 173359 HAS SOUS 78377 HAS SOUPS 77126 WITH SCORE 77308.077
AT ITER 6231 NEW BEST:: SOT 244598 SOS 182031 HAS SOPS 173325 HAS SOUS 78251 HAS SOUPS 77007 WITH SCORE 77189.031
AT ITER 6281 NEW BEST:: SOT 244404 SOS 181813 HAS SOPS 173139 HAS SOUS 77899 HAS SOUPS 76689 WITH SCORE 76870.813
AT ITER 6328 NEW BEST:: SOT 244404 SOS 181813 HAS SOPS 173139 HAS SOUS 77891 HAS SOUPS 76681 WITH SCORE 76862.813
AT ITER 6353 NEW BEST:: SOT 244338 SOS 181781 HAS SOPS 173109 HAS SOUS 77828 HAS SOUPS 76618 WITH SCORE 76799.781
AT ITER 6433 NEW BEST:: SOT 244338 SOS 181783 HAS SOPS 173109 HAS SOUS 77829 HAS SOUPS 76617 WITH SCORE 76798.783
AT ITER 6438 NEW BEST:: SOT 244298 SOS 181743 HAS SOPS 173069 HAS SOUS 77789 HAS SOUPS 76577 WITH SCORE 76758.743
AT ITER 6497 NEW BEST:: SOT 244298 SOS 181743 HAS SOPS 173069 HAS SOUS 77771 HAS SOUPS 76559 WITH SCORE 76740.743
AT ITER 6507 NEW BEST:: SOT 244241 SOS 181686 HAS SOPS 173012 HAS SOUS 77699 HAS SOUPS 76491 WITH SCORE 76672.686
AT ITER 6517 NEW BEST:: SOT 244233 SOS 180471 HAS SOPS 171674 HAS SOUS 77687 HAS SOUPS 76478 WITH SCORE 76658.471
AT ITER 6524 NEW BEST:: SOT 244239 SOS 180428 HAS SOPS 171704 HAS SOUS 77670 HAS SOUPS 76463 WITH SCORE 76643.428
AT ITER 6550 NEW BEST:: SOT 244104 SOS 180280 HAS SOPS 171569 HAS SOUS 77525 HAS SOUPS 76336 WITH SCORE 76516.28
AT ITER 6569 NEW BEST:: SOT 244098 SOS 180285 HAS SOPS 171563 HAS SOUS 77436 HAS SOUPS 76236 WITH SCORE 76416.285
AT ITER 6573 NEW BEST:: SOT 244098 SOS 180285 HAS SOPS 171563 HAS SOUS 77433 HAS SOUPS 76233 WITH SCORE 76413.285
AT ITER 6591 NEW BEST:: SOT 244073 SOS 180267 HAS SOPS 171545 HAS SOUS 77415 HAS SOUPS 76215 WITH SCORE 76395.267
AT ITER 6611 NEW BEST:: SOT 244085 SOS 180261 HAS SOPS 171533 HAS SOUS 77276 HAS SOUPS 76082 WITH SCORE 76262.261
AT ITER 6727 NEW BEST:: SOT 244013 SOS 180189 HAS SOPS 171461 HAS SOUS 77170 HAS SOUPS 75976 WITH SCORE 76156.189
AT ITER 6746 NEW BEST:: SOT 244013 SOS 180029 HAS SOPS 171261 HAS SOUS 77152 HAS SOUPS 75958 WITH SCORE 76138.029
AT ITER 6750 NEW BEST:: SOT 244019 SOS 179932 HAS SOPS 171248 HAS SOUS 77111 HAS SOUPS 75920 WITH SCORE 76099.932
AT ITER 6791 NEW BEST:: SOT 243785 SOS 179713 HAS SOPS 171066 HAS SOUS 77015 HAS SOUPS 75844 WITH SCORE 76023.713
AT ITER 6792 NEW BEST:: SOT 243767 SOS 179695 HAS SOPS 171048 HAS SOUS 76980 HAS SOUPS 75804 WITH SCORE 75983.695
AT ITER 6809 NEW BEST:: SOT 243733 SOS 179661 HAS SOPS 171014 HAS SOUS 76947 HAS SOUPS 75771 WITH SCORE 75950.661
AT ITER 6812 NEW BEST:: SOT 243701 SOS 179629 HAS SOPS 170982 HAS SOUS 76905 HAS SOUPS 75731 WITH SCORE 75910.629
AT ITER 6856 NEW BEST:: SOT 243731 SOS 179807 HAS SOPS 171160 HAS SOUS 76898 HAS SOUPS 75721 WITH SCORE 75900.807
AT ITER 6864 NEW BEST:: SOT 243731 SOS 179807 HAS SOPS 171160 HAS SOUS 76897 HAS SOUPS 75720 WITH SCORE 75899.807
AT ITER 6961 NEW BEST:: SOT 243653 SOS 179729 HAS SOPS 171082 HAS SOUS 76723 HAS SOUPS 75550 WITH SCORE 75729.729
AT ITER 6985 NEW BEST:: SOT 243570 SOS 179621 HAS SOPS 170999 HAS SOUS 76620 HAS SOUPS 75473 WITH SCORE 75652.621
AT ITER 7005 NEW BEST:: SOT 243230 SOS 179233 HAS SOPS 170707 HAS SOUS 76348 HAS SOUPS 75283 WITH SCORE 75462.233
AT ITER 7034 NEW BEST:: SOT 243226 SOS 179229 HAS SOPS 170703 HAS SOUS 76322 HAS SOUPS 75257 WITH SCORE 75436.229
AT ITER 7037 NEW BEST:: SOT 243228 SOS 179267 HAS SOPS 170741 HAS SOUS 76320 HAS SOUPS 75255 WITH SCORE 75434.267
AT ITER 7079 NEW BEST:: SOT 243219 SOS 179258 HAS SOPS 170732 HAS SOUS 76302 HAS SOUPS 75237 WITH SCORE 75416.258
AT ITER 7111 NEW BEST:: SOT 243219 SOS 179099 HAS SOPS 170536 HAS SOUS 76281 HAS SOUPS 75216 WITH SCORE 75395.099
AT ITER 7118 NEW BEST:: SOT 243225 SOS 179120 HAS SOPS 170918 HAS SOUS 76266 HAS SOUPS 75201 WITH SCORE 75380.12
AT ITER 7238 NEW BEST:: SOT 243221 SOS 179121 HAS SOPS 170878 HAS SOUS 76194 HAS SOUPS 75106 WITH SCORE 75285.121
AT ITER 7248 NEW BEST:: SOT 243043 SOS 178943 HAS SOPS 170700 HAS SOUS 76120 HAS SOUPS 75032 WITH SCORE 75210.943
AT ITER 7274 NEW BEST:: SOT 244528 SOS 180362 HAS SOPS 172190 HAS SOUS 75962 HAS SOUPS 74989 WITH SCORE 75169.362
AT ITER 7281 NEW BEST:: SOT 244528 SOS 180347 HAS SOPS 172175 HAS SOUS 75956 HAS SOUPS 74983 WITH SCORE 75163.347
AT ITER 7350 NEW BEST:: SOT 244499 SOS 180313 HAS SOPS 172146 HAS SOUS 75918 HAS SOUPS 74950 WITH SCORE 75130.313
AT ITER 7378 NEW BEST:: SOT 244496 SOS 180310 HAS SOPS 172143 HAS SOUS 75915 HAS SOUPS 74947 WITH SCORE 75127.31
AT ITER 7428 NEW BEST:: SOT 244494 SOS 180002 HAS SOPS 171767 HAS SOUS 75915 HAS SOUPS 74945 WITH SCORE 75125.002
AT ITER 7464 NEW BEST:: SOT 244288 SOS 179788 HAS SOPS 171561 HAS SOUS 75570 HAS SOUPS 74616 WITH SCORE 74795.788
AT ITER 7483 NEW BEST:: SOT 244259 SOS 179758 HAS SOPS 171532 HAS SOUS 75498 HAS SOUPS 74547 WITH SCORE 74726.758
AT ITER 7488 NEW BEST:: SOT 244259 SOS 179758 HAS SOPS 171532 HAS SOUS 75495 HAS SOUPS 74544 WITH SCORE 74723.758
AT ITER 7526 NEW BEST:: SOT 243698 SOS 179798 HAS SOPS 171684 HAS SOUS 75086 HAS SOUPS 74244 WITH SCORE 74423.798
AT ITER 7597 NEW BEST:: SOT 243662 SOS 179762 HAS SOPS 171648 HAS SOUS 75076 HAS SOUPS 74234 WITH SCORE 74413.762
AT ITER 7614 NEW BEST:: SOT 243655 SOS 179755 HAS SOPS 171641 HAS SOUS 75051 HAS SOUPS 74209 WITH SCORE 74388.755
AT ITER 7651 NEW BEST:: SOT 243655 SOS 179753 HAS SOPS 171641 HAS SOUS 75049 HAS SOUPS 74209 WITH SCORE 74388.753
AT ITER 7734 NEW BEST:: SOT 243484 SOS 179582 HAS SOPS 171470 HAS SOUS 74881 HAS SOUPS 74041 WITH SCORE 74220.582
AT ITER 7756 NEW BEST:: SOT 243484 SOS 179550 HAS SOPS 171434 HAS SOUS 74881 HAS SOUPS 74041 WITH SCORE 74220.55
AT ITER 7766 NEW BEST:: SOT 243484 SOS 179226 HAS SOPS 171159 HAS SOUS 74652 HAS SOUPS 73860 WITH SCORE 74039.226
AT ITER 7793 NEW BEST:: SOT 243232 SOS 178974 HAS SOPS 170907 HAS SOUS 74247 HAS SOUPS 73462 WITH SCORE 73640.974
AT ITER 7838 NEW BEST:: SOT 243232 SOS 178974 HAS SOPS 170907 HAS SOUS 74237 HAS SOUPS 73452 WITH SCORE 73630.974
AT ITER 7845 NEW BEST:: SOT 243228 SOS 179414 HAS SOPS 170897 HAS SOUS 74232 HAS SOUPS 73443 WITH SCORE 73622.414
AT ITER 7850 NEW BEST:: SOT 243230 SOS 179237 HAS SOPS 171074 HAS SOUS 74198 HAS SOUPS 73412 WITH SCORE 73591.237
AT ITER 7871 NEW BEST:: SOT 243230 SOS 179227 HAS SOPS 171064 HAS SOUS 74197 HAS SOUPS 73411 WITH SCORE 73590.227
AT ITER 7885 NEW BEST:: SOT 243131 SOS 179127 HAS SOPS 170965 HAS SOUS 74189 HAS SOUPS 73404 WITH SCORE 73583.127
AT ITER 7969 NEW BEST:: SOT 242949 SOS 178477 HAS SOPS 170209 HAS SOUS 73892 HAS SOUPS 73013 WITH SCORE 73191.477
AT ITER 7972 NEW BEST:: SOT 242844 SOS 178366 HAS SOPS 170104 HAS SOUS 73653 HAS SOUPS 72783 WITH SCORE 72961.366
AT ITER 8014 NEW BEST:: SOT 242712 SOS 178234 HAS SOPS 169972 HAS SOUS 73503 HAS SOUPS 72633 WITH SCORE 72811.234
AT ITER 8092 NEW BEST:: SOT 242640 SOS 178151 HAS SOPS 169900 HAS SOUS 73353 HAS SOUPS 72495 WITH SCORE 72673.151
AT ITER 8144 NEW BEST:: SOT 242623 SOS 178137 HAS SOPS 169883 HAS SOUS 73271 HAS SOUPS 72410 WITH SCORE 72588.137
AT ITER 8147 NEW BEST:: SOT 242621 SOS 178134 HAS SOPS 169879 HAS SOUS 73266 HAS SOUPS 72404 WITH SCORE 72582.134
AT ITER 8276 NEW BEST:: SOT 242611 SOS 178124 HAS SOPS 169869 HAS SOUS 73256 HAS SOUPS 72394 WITH SCORE 72572.124
AT ITER 8303 NEW BEST:: SOT 242611 SOS 178124 HAS SOPS 169869 HAS SOUS 73253 HAS SOUPS 72391 WITH SCORE 72569.124
AT ITER 8311 NEW BEST:: SOT 242611 SOS 173069 HAS SOPS 163639 HAS SOUS 73166 HAS SOUPS 72269 WITH SCORE 72442.069
AT ITER 8312 NEW BEST:: SOT 242611 SOS 173068 HAS SOPS 163639 HAS SOUS 73165 HAS SOUPS 72269 WITH SCORE 72442.068
AT ITER 8392 NEW BEST:: SOT 242611 SOS 173077 HAS SOPS 163639 HAS SOUS 73162 HAS SOUPS 72260 WITH SCORE 72433.077
AT ITER 8423 NEW BEST:: SOT 242608 SOS 173074 HAS SOPS 163636 HAS SOUS 73148 HAS SOUPS 72246 WITH SCORE 72419.074
AT ITER 8427 NEW BEST:: SOT 242578 SOS 172749 HAS SOPS 163236 HAS SOUS 73144 HAS SOUPS 72237 WITH SCORE 72409.749
AT ITER 8585 NEW BEST:: SOT 242566 SOS 172741 HAS SOPS 163224 HAS SOUS 73080 HAS SOUPS 72174 WITH SCORE 72346.741
AT ITER 8646 NEW BEST:: SOT 242580 SOS 172757 HAS SOPS 163238 HAS SOUS 73068 HAS SOUPS 72160 WITH SCORE 72332.757
AT ITER 8647 NEW BEST:: SOT 242395 SOS 172620 HAS SOPS 163068 HAS SOUS 72923 HAS SOUPS 72011 WITH SCORE 72183.62
AT ITER 8654 NEW BEST:: SOT 242388 SOS 172602 HAS SOPS 163061 HAS SOUS 72908 HAS SOUPS 71989 WITH SCORE 72161.602
AT ITER 8680 NEW BEST:: SOT 242386 SOS 172600 HAS SOPS 163059 HAS SOUS 72906 HAS SOUPS 71987 WITH SCORE 72159.6
AT ITER 8741 NEW BEST:: SOT 242386 SOS 172600 HAS SOPS 163059 HAS SOUS 72904 HAS SOUPS 71985 WITH SCORE 72157.6
AT ITER 8762 NEW BEST:: SOT 242382 SOS 172597 HAS SOPS 163055 HAS SOUS 72884 HAS SOUPS 71964 WITH SCORE 72136.597
AT ITER 8781 NEW BEST:: SOT 242382 SOS 172597 HAS SOPS 163055 HAS SOUS 72870 HAS SOUPS 71950 WITH SCORE 72122.597
AT ITER 8977 NEW BEST:: SOT 242345 SOS 172561 HAS SOPS 163018 HAS SOUS 72793 HAS SOUPS 71868 WITH SCORE 72040.561
AT ITER 9002 NEW BEST:: SOT 242353 SOS 172563 HAS SOPS 163014 HAS SOUS 72665 HAS SOUPS 71740 WITH SCORE 71912.563
AT ITER 9042 NEW BEST:: SOT 242350 SOS 172560 HAS SOPS 163011 HAS SOUS 72660 HAS SOUPS 71735 WITH SCORE 71907.56
AT ITER 9091 NEW BEST:: SOT 242367 SOS 172527 HAS SOPS 163018 HAS SOUS 72655 HAS SOUPS 71730 WITH SCORE 71902.527
AT ITER 9124 NEW BEST:: SOT 242362 SOS 172572 HAS SOPS 163079 HAS SOUS 72640 HAS SOUPS 71715 WITH SCORE 71887.572
AT ITER 9127 NEW BEST:: SOT 242362 SOS 172566 HAS SOPS 163079 HAS SOUS 72632 HAS SOUPS 71713 WITH SCORE 71885.566
AT ITER 9172 NEW BEST:: SOT 242360 SOS 172564 HAS SOPS 163077 HAS SOUS 72612 HAS SOUPS 71693 WITH SCORE 71865.564
AT ITER 9210 NEW BEST:: SOT 242360 SOS 172564 HAS SOPS 163077 HAS SOUS 72608 HAS SOUPS 71689 WITH SCORE 71861.564
AT ITER 9219 NEW BEST:: SOT 242178 SOS 172764 HAS SOPS 162947 HAS SOUS 72517 HAS SOUPS 71591 WITH SCORE 71763.764
AT ITER 9249 NEW BEST:: SOT 242667 SOS 170859 HAS SOPS 159904 HAS SOUS 72513 HAS SOUPS 71527 WITH SCORE 71697.859
AT ITER 9288 NEW BEST:: SOT 242668 SOS 170857 HAS SOPS 159899 HAS SOUS 72493 HAS SOUPS 71507 WITH SCORE 71677.857
AT ITER 9378 NEW BEST:: SOT 242452 SOS 170641 HAS SOPS 159683 HAS SOUS 72281 HAS SOUPS 71295 WITH SCORE 71465.641
AT ITER 9391 NEW BEST:: SOT 242383 SOS 170154 HAS SOPS 158916 HAS SOUS 72305 HAS SOUPS 71257 WITH SCORE 71427.154
AT ITER 9423 NEW BEST:: SOT 242321 SOS 170154 HAS SOPS 158862 HAS SOUS 72274 HAS SOUPS 71222 WITH SCORE 71392.154
AT ITER 9465 NEW BEST:: SOT 242282 SOS 170106 HAS SOPS 158823 HAS SOUS 72215 HAS SOUPS 71172 WITH SCORE 71342.106
AT ITER 9495 NEW BEST:: SOT 242274 SOS 170096 HAS SOPS 158818 HAS SOUS 72210 HAS SOUPS 71168 WITH SCORE 71338.096
AT ITER 9555 NEW BEST:: SOT 242104 SOS 169926 HAS SOPS 158664 HAS SOUS 72047 HAS SOUPS 71017 WITH SCORE 71186.926
AT ITER 9605 NEW BEST:: SOT 242193 SOS 169981 HAS SOPS 158741 HAS SOUS 71933 HAS SOUPS 70917 WITH SCORE 71086.981
AT ITER 9629 NEW BEST:: SOT 242181 SOS 169969 HAS SOPS 158729 HAS SOUS 71921 HAS SOUPS 70905 WITH SCORE 71074.969
AT ITER 9666 NEW BEST:: SOT 242115 SOS 169891 HAS SOPS 158651 HAS SOUS 71757 HAS SOUPS 70749 WITH SCORE 70918.891
AT ITER 9670 NEW BEST:: SOT 242133 SOS 170249 HAS SOPS 159093 HAS SOUS 71748 HAS SOUPS 70745 WITH SCORE 70915.249
AT ITER 9681 NEW BEST:: SOT 242134 SOS 170250 HAS SOPS 159094 HAS SOUS 71714 HAS SOUPS 70711 WITH SCORE 70881.25
AT ITER 9745 NEW BEST:: SOT 242132 SOS 170248 HAS SOPS 159092 HAS SOUS 71711 HAS SOUPS 70708 WITH SCORE 70878.248
AT ITER 9758 NEW BEST:: SOT 242108 SOS 170224 HAS SOPS 159020 HAS SOUS 71684 HAS SOUPS 70651 WITH SCORE 70821.224
AT ITER 9875 NEW BEST:: SOT 242108 SOS 170241 HAS SOPS 159037 HAS SOUS 71683 HAS SOUPS 70650 WITH SCORE 70820.241
AT ITER 9947 NEW BEST:: SOT 242070 SOS 170264 HAS SOPS 159049 HAS SOUS 71675 HAS SOUPS 70644 WITH SCORE 70814.264
AT ITER 9984 NEW BEST:: SOT 242090 SOS 170962 HAS SOPS 159917 HAS SOUS 71661 HAS SOUPS 70630 WITH SCORE 70800.962
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 1679473763786

--------------------
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-COL-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-COL-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-167873952800288"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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