About the Execution of Smart for PhilosophersDyn-COL-10
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
5412.628 | 3600000.00 | 3599268.00 | 851.20 | 199051 ? 1 20 | normal |
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.r291-tall-167873942700288.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 smart
Input is PhilosophersDyn-COL-10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r291-tall-167873942700288
=====================================================================
--------------------
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 1678784484569
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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PhilosophersDyn-COL-10
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-14 09:01:27] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-14 09:01:27] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-14 09:01:27] [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-14 09:01:28] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-14 09:01:28] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 815 ms
[2023-03-14 09:01:28] [INFO ] Imported 8 HL places and 7 HL transitions for a total of 170 PT places and 2320.0 transition bindings in 26 ms.
[2023-03-14 09:01:28] [INFO ] Unfolded HLPN to a Petri net with 170 places and 2310 transitions 18190 arcs in 128 ms.
[2023-03-14 09:01:28] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Ensure Unique test removed 45 transitions
Reduce isomorphic transitions removed 45 transitions.
[2023-03-14 09:01:29] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 170 places, 2265 transitions and 17110 arcs took 64 ms.
Total runtime 1792 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PhilosophersDyn (COL), instance 10
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart
Filename model.pnml
Petri model created: 170 places, 2265 transitions, 17110 arcs.
AT ITER 0 NEW BEST:: SOT 279054 SOS 248457 HAS SOPS 237328 HAS SOUS 153673 HAS SOUPS 152463 WITH SCORE 152711.457
AT ITER 11 NEW BEST:: SOT 277830 SOS 247197 HAS SOPS 236104 HAS SOUS 152286 HAS SOUPS 151112 WITH SCORE 151359.197
AT ITER 15 NEW BEST:: SOT 277654 SOS 247021 HAS SOPS 235928 HAS SOUS 152017 HAS SOUPS 150843 WITH SCORE 151090.021
AT ITER 20 NEW BEST:: SOT 277696 SOS 245055 HAS SOPS 234709 HAS SOUS 149165 HAS SOUPS 148051 WITH SCORE 148296.055
AT ITER 22 NEW BEST:: SOT 277768 SOS 245035 HAS SOPS 234725 HAS SOUS 149130 HAS SOUPS 148023 WITH SCORE 148268.035
AT ITER 23 NEW BEST:: SOT 277722 SOS 243340 HAS SOPS 233371 HAS SOUS 146322 HAS SOUPS 145279 WITH SCORE 145522.34
AT ITER 25 NEW BEST:: SOT 277623 SOS 243227 HAS SOPS 233272 HAS SOUS 146306 HAS SOUPS 145277 WITH SCORE 145520.227
AT ITER 55 NEW BEST:: SOT 276614 SOS 242541 HAS SOPS 232845 HAS SOUS 146096 HAS SOUPS 145080 WITH SCORE 145322.541
AT ITER 66 NEW BEST:: SOT 276491 SOS 242418 HAS SOPS 232722 HAS SOUS 146072 HAS SOUPS 145056 WITH SCORE 145298.418
AT ITER 74 NEW BEST:: SOT 276383 SOS 242310 HAS SOPS 232596 HAS SOUS 145964 HAS SOUPS 144930 WITH SCORE 145172.31
AT ITER 84 NEW BEST:: SOT 278544 SOS 241997 HAS SOPS 233334 HAS SOUS 145860 HAS SOUPS 144722 WITH SCORE 144963.997
AT ITER 88 NEW BEST:: SOT 278325 SOS 241778 HAS SOPS 233115 HAS SOUS 145534 HAS SOUPS 144396 WITH SCORE 144637.778
AT ITER 97 NEW BEST:: SOT 278307 SOS 241760 HAS SOPS 233097 HAS SOUS 145510 HAS SOUPS 144372 WITH SCORE 144613.76
AT ITER 106 NEW BEST:: SOT 278345 SOS 241798 HAS SOPS 233135 HAS SOUS 145438 HAS SOUPS 144300 WITH SCORE 144541.798
AT ITER 112 NEW BEST:: SOT 278261 SOS 241714 HAS SOPS 233039 HAS SOUS 145354 HAS SOUPS 144204 WITH SCORE 144445.714
AT ITER 113 NEW BEST:: SOT 278361 SOS 240032 HAS SOPS 231837 HAS SOUS 143369 HAS SOUPS 142200 WITH SCORE 142440.032
AT ITER 122 NEW BEST:: SOT 278361 SOS 240264 HAS SOPS 231607 HAS SOUS 143430 HAS SOUPS 142141 WITH SCORE 142381.264
AT ITER 128 NEW BEST:: SOT 278209 SOS 240079 HAS SOPS 231455 HAS SOUS 143283 HAS SOUPS 142027 WITH SCORE 142267.079
AT ITER 137 NEW BEST:: SOT 278248 SOS 240118 HAS SOPS 231494 HAS SOUS 143273 HAS SOUPS 142017 WITH SCORE 142257.118
AT ITER 138 NEW BEST:: SOT 278153 SOS 240017 HAS SOPS 231399 HAS SOUS 143200 HAS SOUPS 141950 WITH SCORE 142190.017
AT ITER 146 NEW BEST:: SOT 278925 SOS 238126 HAS SOPS 230997 HAS SOUS 142720 HAS SOUPS 141399 WITH SCORE 141637.126
AT ITER 147 NEW BEST:: SOT 277755 SOS 237038 HAS SOPS 229919 HAS SOUS 141592 HAS SOUPS 140271 WITH SCORE 140508.038
AT ITER 157 NEW BEST:: SOT 278340 SOS 234794 HAS SOPS 229211 HAS SOUS 141297 HAS SOUPS 139888 WITH SCORE 140122.794
AT ITER 164 NEW BEST:: SOT 279771 SOS 235901 HAS SOPS 229923 HAS SOUS 141628 HAS SOUPS 139824 WITH SCORE 140059.901
AT ITER 168 NEW BEST:: SOT 277682 SOS 234173 HAS SOPS 228601 HAS SOUS 140513 HAS SOUPS 139115 WITH SCORE 139349.173
AT ITER 169 NEW BEST:: SOT 277685 SOS 234160 HAS SOPS 228604 HAS SOUS 140480 HAS SOUPS 139098 WITH SCORE 139332.16
AT ITER 179 NEW BEST:: SOT 275638 SOS 232053 HAS SOPS 226557 HAS SOUS 138249 HAS SOUPS 136897 WITH SCORE 137129.053
AT ITER 185 NEW BEST:: SOT 275546 SOS 231961 HAS SOPS 226454 HAS SOUS 138157 HAS SOUPS 136794 WITH SCORE 137025.961
AT ITER 190 NEW BEST:: SOT 276790 SOS 233268 HAS SOPS 227640 HAS SOUS 137515 HAS SOUPS 136231 WITH SCORE 136464.268
AT ITER 206 NEW BEST:: SOT 276525 SOS 232956 HAS SOPS 227375 HAS SOUS 137091 HAS SOUPS 135824 WITH SCORE 136056.956
AT ITER 213 NEW BEST:: SOT 276305 SOS 232728 HAS SOPS 227155 HAS SOUS 136855 HAS SOUPS 135596 WITH SCORE 135828.728
AT ITER 214 NEW BEST:: SOT 276262 SOS 232675 HAS SOPS 227112 HAS SOUS 136763 HAS SOUPS 135514 WITH SCORE 135746.675
AT ITER 225 NEW BEST:: SOT 276262 SOS 232640 HAS SOPS 227192 HAS SOUS 136689 HAS SOUPS 135447 WITH SCORE 135679.64
AT ITER 227 NEW BEST:: SOT 277017 SOS 231320 HAS SOPS 226750 HAS SOUS 136219 HAS SOUPS 134819 WITH SCORE 135050.32
AT ITER 238 NEW BEST:: SOT 275289 SOS 229457 HAS SOPS 224957 HAS SOUS 132837 HAS SOUPS 131429 WITH SCORE 131658.457
AT ITER 240 NEW BEST:: SOT 275286 SOS 229454 HAS SOPS 224954 HAS SOUS 132811 HAS SOUPS 131403 WITH SCORE 131632.454
AT ITER 241 NEW BEST:: SOT 275261 SOS 229429 HAS SOPS 224929 HAS SOUS 132757 HAS SOUPS 131349 WITH SCORE 131578.429
AT ITER 251 NEW BEST:: SOT 275261 SOS 229457 HAS SOPS 224949 HAS SOUS 132735 HAS SOUPS 131327 WITH SCORE 131556.457
AT ITER 252 NEW BEST:: SOT 268731 SOS 222954 HAS SOPS 218516 HAS SOUS 126232 HAS SOUPS 124894 WITH SCORE 125116.954
AT ITER 256 NEW BEST:: SOT 268823 SOS 220277 HAS SOPS 217102 HAS SOUS 123733 HAS SOUPS 122316 WITH SCORE 122536.277
AT ITER 257 NEW BEST:: SOT 268823 SOS 220277 HAS SOPS 217102 HAS SOUS 123728 HAS SOUPS 122311 WITH SCORE 122531.277
AT ITER 268 NEW BEST:: SOT 268508 SOS 219962 HAS SOPS 216787 HAS SOUS 123703 HAS SOUPS 122286 WITH SCORE 122505.962
AT ITER 270 NEW BEST:: SOT 268499 SOS 219953 HAS SOPS 216778 HAS SOUS 123694 HAS SOUPS 122277 WITH SCORE 122496.953
AT ITER 278 NEW BEST:: SOT 268386 SOS 219840 HAS SOPS 216665 HAS SOUS 123581 HAS SOUPS 122164 WITH SCORE 122383.84
AT ITER 280 NEW BEST:: SOT 268630 SOS 216726 HAS SOPS 214641 HAS SOUS 122473 HAS SOUPS 120873 WITH SCORE 121089.726
AT ITER 286 NEW BEST:: SOT 268630 SOS 216726 HAS SOPS 214641 HAS SOUS 122150 HAS SOUPS 120550 WITH SCORE 120766.726
AT ITER 289 NEW BEST:: SOT 268630 SOS 216538 HAS SOPS 214449 HAS SOUS 122140 HAS SOUPS 120540 WITH SCORE 120756.538
AT ITER 296 NEW BEST:: SOT 268576 SOS 216484 HAS SOPS 214395 HAS SOUS 122086 HAS SOUPS 120486 WITH SCORE 120702.484
AT ITER 300 NEW BEST:: SOT 268161 SOS 216069 HAS SOPS 213980 HAS SOUS 121623 HAS SOUPS 120023 WITH SCORE 120239.069
AT ITER 310 NEW BEST:: SOT 266310 SOS 214353 HAS SOPS 212486 HAS SOUS 119755 HAS SOUPS 118377 WITH SCORE 118591.353
AT ITER 326 NEW BEST:: SOT 266334 SOS 214370 HAS SOPS 212555 HAS SOUS 119673 HAS SOUPS 118297 WITH SCORE 118511.37
AT ITER 327 NEW BEST:: SOT 266305 SOS 214341 HAS SOPS 212526 HAS SOUS 119596 HAS SOUPS 118220 WITH SCORE 118434.341
AT ITER 342 NEW BEST:: SOT 266313 SOS 214349 HAS SOPS 212534 HAS SOUS 119594 HAS SOUPS 118218 WITH SCORE 118432.349
AT ITER 363 NEW BEST:: SOT 266546 SOS 214562 HAS SOPS 212767 HAS SOUS 119564 HAS SOUPS 118208 WITH SCORE 118422.562
AT ITER 367 NEW BEST:: SOT 266480 SOS 214644 HAS SOPS 212869 HAS SOUS 119389 HAS SOUPS 118033 WITH SCORE 118247.644
AT ITER 377 NEW BEST:: SOT 266477 SOS 214641 HAS SOPS 212866 HAS SOUS 119386 HAS SOUPS 118030 WITH SCORE 118244.641
AT ITER 398 NEW BEST:: SOT 265744 SOS 213991 HAS SOPS 212333 HAS SOUS 118406 HAS SOUPS 117148 WITH SCORE 117361.991
AT ITER 402 NEW BEST:: SOT 265681 SOS 213928 HAS SOPS 212270 HAS SOUS 118350 HAS SOUPS 117092 WITH SCORE 117305.928
AT ITER 406 NEW BEST:: SOT 263979 SOS 213426 HAS SOPS 211594 HAS SOUS 117857 HAS SOUPS 116541 WITH SCORE 116754.426
AT ITER 436 NEW BEST:: SOT 263869 SOS 213394 HAS SOPS 211597 HAS SOUS 117705 HAS SOUPS 116424 WITH SCORE 116637.394
AT ITER 437 NEW BEST:: SOT 263752 SOS 213312 HAS SOPS 211535 HAS SOUS 117596 HAS SOUPS 116335 WITH SCORE 116548.312
AT ITER 443 NEW BEST:: SOT 261138 SOS 211811 HAS SOPS 209813 HAS SOUS 117330 HAS SOUPS 115999 WITH SCORE 116210.811
AT ITER 454 NEW BEST:: SOT 260991 SOS 211664 HAS SOPS 209666 HAS SOUS 117295 HAS SOUPS 115964 WITH SCORE 116175.664
AT ITER 455 NEW BEST:: SOT 260973 SOS 211646 HAS SOPS 209648 HAS SOUS 117276 HAS SOUPS 115945 WITH SCORE 116156.646
AT ITER 457 NEW BEST:: SOT 260932 SOS 211739 HAS SOPS 209759 HAS SOUS 117125 HAS SOUPS 115794 WITH SCORE 116005.739
AT ITER 461 NEW BEST:: SOT 260894 SOS 211698 HAS SOPS 209721 HAS SOUS 116667 HAS SOUPS 115339 WITH SCORE 115550.698
AT ITER 463 NEW BEST:: SOT 260894 SOS 211698 HAS SOPS 209721 HAS SOUS 116663 HAS SOUPS 115335 WITH SCORE 115546.698
AT ITER 466 NEW BEST:: SOT 260832 SOS 211636 HAS SOPS 209659 HAS SOUS 116601 HAS SOUPS 115273 WITH SCORE 115484.636
AT ITER 470 NEW BEST:: SOT 260832 SOS 211636 HAS SOPS 209659 HAS SOUS 116597 HAS SOUPS 115269 WITH SCORE 115480.636
AT ITER 496 NEW BEST:: SOT 260832 SOS 213165 HAS SOPS 211251 HAS SOUS 116551 HAS SOUPS 115244 WITH SCORE 115457.165
AT ITER 501 NEW BEST:: SOT 260899 SOS 213215 HAS SOPS 211278 HAS SOUS 116502 HAS SOUPS 115172 WITH SCORE 115385.215
AT ITER 505 NEW BEST:: SOT 260899 SOS 212467 HAS SOPS 210560 HAS SOUS 116465 HAS SOUPS 115135 WITH SCORE 115347.467
AT ITER 507 NEW BEST:: SOT 260303 SOS 211871 HAS SOPS 209964 HAS SOUS 115682 HAS SOUPS 114352 WITH SCORE 114563.871
AT ITER 515 NEW BEST:: SOT 260301 SOS 211827 HAS SOPS 209935 HAS SOUS 115618 HAS SOUPS 114288 WITH SCORE 114499.827
AT ITER 521 NEW BEST:: SOT 260036 SOS 211562 HAS SOPS 209670 HAS SOUS 115307 HAS SOUPS 113977 WITH SCORE 114188.562
AT ITER 529 NEW BEST:: SOT 259984 SOS 211479 HAS SOPS 209642 HAS SOUS 113953 HAS SOUPS 112675 WITH SCORE 112886.479
AT ITER 533 NEW BEST:: SOT 259824 SOS 211413 HAS SOPS 209614 HAS SOUS 113893 HAS SOUPS 112653 WITH SCORE 112864.413
AT ITER 545 NEW BEST:: SOT 259806 SOS 211395 HAS SOPS 209596 HAS SOUS 113877 HAS SOUPS 112637 WITH SCORE 112848.395
AT ITER 547 NEW BEST:: SOT 259929 SOS 211475 HAS SOPS 209619 HAS SOUS 113815 HAS SOUPS 112518 WITH SCORE 112729.475
AT ITER 594 NEW BEST:: SOT 259171 SOS 210862 HAS SOPS 209071 HAS SOUS 113587 HAS SOUPS 112355 WITH SCORE 112565.862
AT ITER 598 NEW BEST:: SOT 259163 SOS 210415 HAS SOPS 208682 HAS SOUS 113239 HAS SOUPS 112025 WITH SCORE 112235.415
AT ITER 603 NEW BEST:: SOT 259164 SOS 210416 HAS SOPS 208683 HAS SOUS 113215 HAS SOUPS 112001 WITH SCORE 112211.416
AT ITER 604 NEW BEST:: SOT 257536 SOS 208970 HAS SOPS 207372 HAS SOUS 112279 HAS SOUPS 111200 WITH SCORE 111408.97
AT ITER 616 NEW BEST:: SOT 257514 SOS 208955 HAS SOPS 207350 HAS SOUS 112130 HAS SOUPS 111044 WITH SCORE 111252.955
AT ITER 650 NEW BEST:: SOT 258665 SOS 212318 HAS SOPS 210866 HAS SOUS 111798 HAS SOUPS 110735 WITH SCORE 110947.318
AT ITER 655 NEW BEST:: SOT 256432 SOS 210807 HAS SOPS 209281 HAS SOUS 111152 HAS SOUPS 110029 WITH SCORE 110239.807
AT ITER 672 NEW BEST:: SOT 256432 SOS 213357 HAS SOPS 211980 HAS SOUS 111030 HAS SOUPS 109937 WITH SCORE 110150.357
AT ITER 678 NEW BEST:: SOT 256424 SOS 213349 HAS SOPS 211972 HAS SOUS 111022 HAS SOUPS 109929 WITH SCORE 110142.349
AT ITER 697 NEW BEST:: SOT 256240 SOS 213141 HAS SOPS 211788 HAS SOUS 110755 HAS SOUPS 109686 WITH SCORE 109899.141
AT ITER 700 NEW BEST:: SOT 256198 SOS 213099 HAS SOPS 211746 HAS SOUS 110713 HAS SOUPS 109644 WITH SCORE 109857.099
AT ITER 703 NEW BEST:: SOT 256190 SOS 213091 HAS SOPS 211738 HAS SOUS 110659 HAS SOUPS 109590 WITH SCORE 109803.091
AT ITER 704 NEW BEST:: SOT 256203 SOS 213104 HAS SOPS 211751 HAS SOUS 110590 HAS SOUPS 109521 WITH SCORE 109734.104
AT ITER 720 NEW BEST:: SOT 255210 SOS 212073 HAS SOPS 210758 HAS SOUS 110326 HAS SOUPS 109295 WITH SCORE 109507.073
AT ITER 742 NEW BEST:: SOT 255120 SOS 211983 HAS SOPS 210668 HAS SOUS 110257 HAS SOUPS 109226 WITH SCORE 109437.983
AT ITER 752 NEW BEST:: SOT 254976 SOS 211839 HAS SOPS 210524 HAS SOUS 110071 HAS SOUPS 109040 WITH SCORE 109251.839
AT ITER 762 NEW BEST:: SOT 255094 SOS 211885 HAS SOPS 210552 HAS SOUS 109758 HAS SOUPS 108709 WITH SCORE 108920.885
AT ITER 796 NEW BEST:: SOT 256788 SOS 213293 HAS SOPS 211626 HAS SOUS 109290 HAS SOUPS 107907 WITH SCORE 108120.293
AT ITER 805 NEW BEST:: SOT 256256 SOS 212761 HAS SOPS 211094 HAS SOUS 108732 HAS SOUPS 107349 WITH SCORE 107561.761
AT ITER 811 NEW BEST:: SOT 256256 SOS 211682 HAS SOPS 210035 HAS SOUS 108632 HAS SOUPS 107247 WITH SCORE 107458.682
AT ITER 823 NEW BEST:: SOT 256246 SOS 211672 HAS SOPS 210025 HAS SOUS 108622 HAS SOUPS 107237 WITH SCORE 107448.672
AT ITER 826 NEW BEST:: SOT 256242 SOS 211668 HAS SOPS 210021 HAS SOUS 108564 HAS SOUPS 107179 WITH SCORE 107390.668
AT ITER 827 NEW BEST:: SOT 256242 SOS 210442 HAS SOPS 208793 HAS SOUS 108558 HAS SOUPS 107173 WITH SCORE 107383.442
AT ITER 864 NEW BEST:: SOT 256180 SOS 210380 HAS SOPS 208731 HAS SOUS 108473 HAS SOUPS 107088 WITH SCORE 107298.38
AT ITER 878 NEW BEST:: SOT 256165 SOS 210365 HAS SOPS 208716 HAS SOUS 108456 HAS SOUPS 107071 WITH SCORE 107281.365
AT ITER 884 NEW BEST:: SOT 256165 SOS 210231 HAS SOPS 208602 HAS SOUS 108365 HAS SOUPS 106980 WITH SCORE 107190.231
AT ITER 888 NEW BEST:: SOT 258317 SOS 212033 HAS SOPS 210645 HAS SOUS 107922 HAS SOUPS 106704 WITH SCORE 106916.033
AT ITER 903 NEW BEST:: SOT 258317 SOS 212013 HAS SOPS 210625 HAS SOUS 107922 HAS SOUPS 106704 WITH SCORE 106916.013
AT ITER 910 NEW BEST:: SOT 258255 SOS 211951 HAS SOPS 210563 HAS SOUS 107759 HAS SOUPS 106541 WITH SCORE 106752.951
AT ITER 927 NEW BEST:: SOT 258255 SOS 211991 HAS SOPS 210603 HAS SOUS 107755 HAS SOUPS 106537 WITH SCORE 106748.991
AT ITER 933 NEW BEST:: SOT 258251 SOS 211987 HAS SOPS 210599 HAS SOUS 107751 HAS SOUPS 106533 WITH SCORE 106744.987
AT ITER 935 NEW BEST:: SOT 258235 SOS 211971 HAS SOPS 210583 HAS SOUS 107735 HAS SOUPS 106517 WITH SCORE 106728.971
AT ITER 936 NEW BEST:: SOT 258232 SOS 212495 HAS SOPS 211116 HAS SOUS 107666 HAS SOUPS 106451 WITH SCORE 106663.495
AT ITER 943 NEW BEST:: SOT 258219 SOS 212167 HAS SOPS 210775 HAS SOUS 107613 HAS SOUPS 106400 WITH SCORE 106612.167
AT ITER 945 NEW BEST:: SOT 258173 SOS 212121 HAS SOPS 210729 HAS SOUS 107536 HAS SOUPS 106323 WITH SCORE 106535.121
AT ITER 956 NEW BEST:: SOT 256963 SOS 211211 HAS SOPS 210001 HAS SOUS 106914 HAS SOUPS 105883 WITH SCORE 106094.211
AT ITER 966 NEW BEST:: SOT 256960 SOS 211208 HAS SOPS 209998 HAS SOUS 106906 HAS SOUPS 105875 WITH SCORE 106086.208
AT ITER 967 NEW BEST:: SOT 256575 SOS 210823 HAS SOPS 209613 HAS SOUS 106261 HAS SOUPS 105230 WITH SCORE 105440.823
AT ITER 972 NEW BEST:: SOT 256644 SOS 210892 HAS SOPS 209682 HAS SOUS 106246 HAS SOUPS 105215 WITH SCORE 105425.892
AT ITER 994 NEW BEST:: SOT 256634 SOS 210882 HAS SOPS 209672 HAS SOUS 106236 HAS SOUPS 105205 WITH SCORE 105415.882
AT ITER 1009 NEW BEST:: SOT 256611 SOS 210859 HAS SOPS 209649 HAS SOUS 106174 HAS SOUPS 105143 WITH SCORE 105353.859
AT ITER 1017 NEW BEST:: SOT 256807 SOS 210914 HAS SOPS 209647 HAS SOUS 105203 HAS SOUPS 104115 WITH SCORE 104325.914
AT ITER 1019 NEW BEST:: SOT 256700 SOS 210813 HAS SOPS 209564 HAS SOUS 105098 HAS SOUPS 104028 WITH SCORE 104238.813
AT ITER 1029 NEW BEST:: SOT 256700 SOS 209697 HAS SOPS 208173 HAS SOUS 105011 HAS SOUPS 103933 WITH SCORE 104142.697
AT ITER 1040 NEW BEST:: SOT 256704 SOS 209724 HAS SOPS 208177 HAS SOUS 105023 HAS SOUPS 103922 WITH SCORE 104131.724
AT ITER 1071 NEW BEST:: SOT 256704 SOS 209336 HAS SOPS 207755 HAS SOUS 105021 HAS SOUPS 103914 WITH SCORE 104123.336
AT ITER 1073 NEW BEST:: SOT 256173 SOS 208805 HAS SOPS 207224 HAS SOUS 104497 HAS SOUPS 103390 WITH SCORE 103598.805
AT ITER 1087 NEW BEST:: SOT 256171 SOS 208803 HAS SOPS 207222 HAS SOUS 104482 HAS SOUPS 103375 WITH SCORE 103583.803
AT ITER 1107 NEW BEST:: SOT 256116 SOS 208936 HAS SOPS 207355 HAS SOUS 104313 HAS SOUPS 103206 WITH SCORE 103414.936
AT ITER 1134 NEW BEST:: SOT 256092 SOS 208912 HAS SOPS 207331 HAS SOUS 104286 HAS SOUPS 103179 WITH SCORE 103387.912
AT ITER 1141 NEW BEST:: SOT 256104 SOS 208570 HAS SOPS 206960 HAS SOUS 104253 HAS SOUPS 103145 WITH SCORE 103353.57
AT ITER 1177 NEW BEST:: SOT 255672 SOS 208105 HAS SOPS 206528 HAS SOUS 103701 HAS SOUPS 102626 WITH SCORE 102834.105
AT ITER 1190 NEW BEST:: SOT 255500 SOS 207951 HAS SOPS 206356 HAS SOUS 103513 HAS SOUPS 102420 WITH SCORE 102627.951
AT ITER 1204 NEW BEST:: SOT 255730 SOS 207814 HAS SOPS 206194 HAS SOUS 103530 HAS SOUPS 102412 WITH SCORE 102619.814
AT ITER 1213 NEW BEST:: SOT 255630 SOS 207714 HAS SOPS 206094 HAS SOUS 103328 HAS SOUPS 102210 WITH SCORE 102417.714
AT ITER 1215 NEW BEST:: SOT 255659 SOS 207731 HAS SOPS 206103 HAS SOUS 103310 HAS SOUPS 102184 WITH SCORE 102391.731
AT ITER 1219 NEW BEST:: SOT 255659 SOS 207570 HAS SOPS 205937 HAS SOUS 103292 HAS SOUPS 102166 WITH SCORE 102373.57
AT ITER 1224 NEW BEST:: SOT 255745 SOS 207614 HAS SOPS 205969 HAS SOUS 103295 HAS SOUPS 102157 WITH SCORE 102364.614
AT ITER 1232 NEW BEST:: SOT 255745 SOS 208974 HAS SOPS 207439 HAS SOUS 103269 HAS SOUPS 102147 WITH SCORE 102355.974
AT ITER 1241 NEW BEST:: SOT 255673 SOS 208902 HAS SOPS 207367 HAS SOUS 103214 HAS SOUPS 102092 WITH SCORE 102300.902
AT ITER 1246 NEW BEST:: SOT 255618 SOS 208847 HAS SOPS 207312 HAS SOUS 103168 HAS SOUPS 102046 WITH SCORE 102254.847
AT ITER 1265 NEW BEST:: SOT 255618 SOS 209485 HAS SOPS 208014 HAS SOUS 103147 HAS SOUPS 102031 WITH SCORE 102240.485
AT ITER 1274 NEW BEST:: SOT 255554 SOS 209418 HAS SOPS 207950 HAS SOUS 103035 HAS SOUPS 101922 WITH SCORE 102131.418
AT ITER 1285 NEW BEST:: SOT 255495 SOS 209357 HAS SOPS 207891 HAS SOUS 102947 HAS SOUPS 101836 WITH SCORE 102045.357
AT ITER 1308 NEW BEST:: SOT 255479 SOS 209341 HAS SOPS 207875 HAS SOUS 102946 HAS SOUPS 101835 WITH SCORE 102044.341
AT ITER 1318 NEW BEST:: SOT 255437 SOS 209296 HAS SOPS 207833 HAS SOUS 102895 HAS SOUPS 101787 WITH SCORE 101996.296
AT ITER 1334 NEW BEST:: SOT 255450 SOS 209293 HAS SOPS 207826 HAS SOUS 102894 HAS SOUPS 101782 WITH SCORE 101991.293
AT ITER 1341 NEW BEST:: SOT 255442 SOS 209285 HAS SOPS 207818 HAS SOUS 102889 HAS SOUPS 101777 WITH SCORE 101986.285
AT ITER 1349 NEW BEST:: SOT 255428 SOS 209271 HAS SOPS 207804 HAS SOUS 102764 HAS SOUPS 101652 WITH SCORE 101861.271
AT ITER 1376 NEW BEST:: SOT 255393 SOS 209241 HAS SOPS 207769 HAS SOUS 102642 HAS SOUPS 101525 WITH SCORE 101734.241
AT ITER 1379 NEW BEST:: SOT 255341 SOS 209186 HAS SOPS 207717 HAS SOUS 102603 HAS SOUPS 101489 WITH SCORE 101698.186
AT ITER 1380 NEW BEST:: SOT 255333 SOS 209178 HAS SOPS 207709 HAS SOUS 102596 HAS SOUPS 101482 WITH SCORE 101691.178
AT ITER 1405 NEW BEST:: SOT 254830 SOS 208656 HAS SOPS 207206 HAS SOUS 102203 HAS SOUPS 101108 WITH SCORE 101316.656
AT ITER 1425 NEW BEST:: SOT 254320 SOS 208146 HAS SOPS 206696 HAS SOUS 101705 HAS SOUPS 100610 WITH SCORE 100818.146
AT ITER 1468 NEW BEST:: SOT 254263 SOS 208089 HAS SOPS 206639 HAS SOUS 101597 HAS SOUPS 100502 WITH SCORE 100710.089
AT ITER 1483 NEW BEST:: SOT 254264 SOS 208599 HAS SOPS 207187 HAS SOUS 101401 HAS SOUPS 100317 WITH SCORE 100525.599
AT ITER 1491 NEW BEST:: SOT 254234 SOS 208569 HAS SOPS 207157 HAS SOUS 101371 HAS SOUPS 100287 WITH SCORE 100495.569
AT ITER 1511 NEW BEST:: SOT 254211 SOS 208425 HAS SOPS 207015 HAS SOUS 101351 HAS SOUPS 100267 WITH SCORE 100475.425
AT ITER 1532 NEW BEST:: SOT 254267 SOS 208366 HAS SOPS 206927 HAS SOUS 101315 HAS SOUPS 100202 WITH SCORE 100410.366
AT ITER 1544 NEW BEST:: SOT 254321 SOS 208432 HAS SOPS 206981 HAS SOUS 101145 HAS SOUPS 100020 WITH SCORE 100228.432
AT ITER 1549 NEW BEST:: SOT 254273 SOS 208384 HAS SOPS 206933 HAS SOUS 101127 HAS SOUPS 100002 WITH SCORE 100210.384
AT ITER 1576 NEW BEST:: SOT 254277 SOS 208388 HAS SOPS 206937 HAS SOUS 101120 HAS SOUPS 99995 WITH SCORE 100203.388
AT ITER 1579 NEW BEST:: SOT 254265 SOS 208376 HAS SOPS 206925 HAS SOUS 101108 HAS SOUPS 99983 WITH SCORE 100191.376
AT ITER 1599 NEW BEST:: SOT 254265 SOS 208363 HAS SOPS 206912 HAS SOUS 101102 HAS SOUPS 99977 WITH SCORE 100185.363
AT ITER 1610 NEW BEST:: SOT 254317 SOS 208390 HAS SOPS 206914 HAS SOUS 100895 HAS SOUPS 99745 WITH SCORE 99953.39
AT ITER 1616 NEW BEST:: SOT 254272 SOS 208345 HAS SOPS 206869 HAS SOUS 100826 HAS SOUPS 99676 WITH SCORE 99884.345
AT ITER 1628 NEW BEST:: SOT 254272 SOS 208345 HAS SOPS 206869 HAS SOUS 100824 HAS SOUPS 99674 WITH SCORE 99882.345
AT ITER 1633 NEW BEST:: SOT 253961 SOS 208034 HAS SOPS 206558 HAS SOUS 100513 HAS SOUPS 99363 WITH SCORE 99571.034
AT ITER 1656 NEW BEST:: SOT 253829 SOS 207899 HAS SOPS 206426 HAS SOUS 100303 HAS SOUPS 99156 WITH SCORE 99363.899
AT ITER 1668 NEW BEST:: SOT 253703 SOS 207722 HAS SOPS 206300 HAS SOUS 100119 HAS SOUPS 99023 WITH SCORE 99230.722
AT ITER 1676 NEW BEST:: SOT 254219 SOS 208264 HAS SOPS 206865 HAS SOUS 99816 HAS SOUPS 98743 WITH SCORE 98951.264
AT ITER 1680 NEW BEST:: SOT 254212 SOS 208257 HAS SOPS 206858 HAS SOUS 99794 HAS SOUPS 98721 WITH SCORE 98929.257
AT ITER 1710 NEW BEST:: SOT 254194 SOS 208239 HAS SOPS 206840 HAS SOUS 99776 HAS SOUPS 98703 WITH SCORE 98911.239
AT ITER 1729 NEW BEST:: SOT 254188 SOS 208233 HAS SOPS 206834 HAS SOUS 99772 HAS SOUPS 98699 WITH SCORE 98907.233
AT ITER 1730 NEW BEST:: SOT 254158 SOS 208203 HAS SOPS 206804 HAS SOUS 99742 HAS SOUPS 98669 WITH SCORE 98877.203
AT ITER 1748 NEW BEST:: SOT 253016 SOS 207121 HAS SOPS 205722 HAS SOUS 98586 HAS SOUPS 97513 WITH SCORE 97720.121
AT ITER 1761 NEW BEST:: SOT 253042 SOS 207129 HAS SOPS 205721 HAS SOUS 98584 HAS SOUPS 97502 WITH SCORE 97709.129
AT ITER 1772 NEW BEST:: SOT 252865 SOS 206952 HAS SOPS 205544 HAS SOUS 98397 HAS SOUPS 97315 WITH SCORE 97521.952
AT ITER 1785 NEW BEST:: SOT 252901 SOS 206988 HAS SOPS 205580 HAS SOUS 98277 HAS SOUPS 97195 WITH SCORE 97401.988
AT ITER 1787 NEW BEST:: SOT 253614 SOS 207417 HAS SOPS 206251 HAS SOUS 97534 HAS SOUPS 96642 WITH SCORE 96849.417
AT ITER 1793 NEW BEST:: SOT 253590 SOS 207392 HAS SOPS 206227 HAS SOUS 97507 HAS SOUPS 96616 WITH SCORE 96823.392
AT ITER 1796 NEW BEST:: SOT 253571 SOS 207372 HAS SOPS 206208 HAS SOUS 97485 HAS SOUPS 96595 WITH SCORE 96802.372
AT ITER 1807 NEW BEST:: SOT 253219 SOS 206991 HAS SOPS 205856 HAS SOUS 96942 HAS SOUPS 96081 WITH SCORE 96287.991
AT ITER 1814 NEW BEST:: SOT 253226 SOS 206998 HAS SOPS 205863 HAS SOUS 96933 HAS SOUPS 96072 WITH SCORE 96278.998
AT ITER 1816 NEW BEST:: SOT 253226 SOS 209742 HAS SOPS 208675 HAS SOUS 96866 HAS SOUPS 96021 WITH SCORE 96230.742
AT ITER 1822 NEW BEST:: SOT 252488 SOS 209004 HAS SOPS 207937 HAS SOUS 96128 HAS SOUPS 95283 WITH SCORE 95492.004
AT ITER 1827 NEW BEST:: SOT 251790 SOS 208320 HAS SOPS 207239 HAS SOUS 95258 HAS SOUPS 94399 WITH SCORE 94607.32
AT ITER 1835 NEW BEST:: SOT 251766 SOS 208296 HAS SOPS 207215 HAS SOUS 95083 HAS SOUPS 94224 WITH SCORE 94432.296
AT ITER 1847 NEW BEST:: SOT 251682 SOS 208212 HAS SOPS 207131 HAS SOUS 94985 HAS SOUPS 94126 WITH SCORE 94334.212
AT ITER 1851 NEW BEST:: SOT 251682 SOS 208205 HAS SOPS 207131 HAS SOUS 94971 HAS SOUPS 94119 WITH SCORE 94327.205
AT ITER 1858 NEW BEST:: SOT 251682 SOS 207420 HAS SOPS 206322 HAS SOUS 94949 HAS SOUPS 94097 WITH SCORE 94304.42
AT ITER 1886 NEW BEST:: SOT 251682 SOS 207483 HAS SOPS 206383 HAS SOUS 94948 HAS SOUPS 94096 WITH SCORE 94303.483
AT ITER 1893 NEW BEST:: SOT 251399 SOS 207191 HAS SOPS 206100 HAS SOUS 94565 HAS SOUPS 93722 WITH SCORE 93929.191
AT ITER 1901 NEW BEST:: SOT 251399 SOS 207189 HAS SOPS 206098 HAS SOUS 94565 HAS SOUPS 93722 WITH SCORE 93929.189
AT ITER 1907 NEW BEST:: SOT 251343 SOS 207133 HAS SOPS 206042 HAS SOUS 94463 HAS SOUPS 93620 WITH SCORE 93827.133
AT ITER 1910 NEW BEST:: SOT 251339 SOS 207129 HAS SOPS 206038 HAS SOUS 94459 HAS SOUPS 93616 WITH SCORE 93823.129
AT ITER 1922 NEW BEST:: SOT 251427 SOS 207205 HAS SOPS 206102 HAS SOUS 94422 HAS SOUPS 93567 WITH SCORE 93774.205
AT ITER 1946 NEW BEST:: SOT 251426 SOS 207204 HAS SOPS 206101 HAS SOUS 94421 HAS SOUPS 93566 WITH SCORE 93773.204
AT ITER 2001 NEW BEST:: SOT 251351 SOS 207129 HAS SOPS 206026 HAS SOUS 94295 HAS SOUPS 93440 WITH SCORE 93647.129
AT ITER 2047 NEW BEST:: SOT 251354 SOS 207138 HAS SOPS 206029 HAS SOUS 94284 HAS SOUPS 93423 WITH SCORE 93630.138
AT ITER 2067 NEW BEST:: SOT 251237 SOS 207021 HAS SOPS 205912 HAS SOUS 94107 HAS SOUPS 93246 WITH SCORE 93453.021
AT ITER 2072 NEW BEST:: SOT 251186 SOS 206970 HAS SOPS 205861 HAS SOUS 94069 HAS SOUPS 93208 WITH SCORE 93414.97
AT ITER 2083 NEW BEST:: SOT 251186 SOS 206931 HAS SOPS 205797 HAS SOUS 94066 HAS SOUPS 93205 WITH SCORE 93411.931
AT ITER 2107 NEW BEST:: SOT 250771 SOS 206496 HAS SOPS 205382 HAS SOUS 93359 HAS SOUPS 92518 WITH SCORE 92724.496
AT ITER 2113 NEW BEST:: SOT 250658 SOS 206380 HAS SOPS 205269 HAS SOUS 93180 HAS SOUPS 92342 WITH SCORE 92548.38
AT ITER 2117 NEW BEST:: SOT 250654 SOS 206376 HAS SOPS 205265 HAS SOUS 93176 HAS SOUPS 92338 WITH SCORE 92544.376
AT ITER 2125 NEW BEST:: SOT 250639 SOS 206361 HAS SOPS 205250 HAS SOUS 93140 HAS SOUPS 92302 WITH SCORE 92508.361
AT ITER 2127 NEW BEST:: SOT 250639 SOS 206361 HAS SOPS 205250 HAS SOUS 93092 HAS SOUPS 92254 WITH SCORE 92460.361
AT ITER 2146 NEW BEST:: SOT 250629 SOS 206351 HAS SOPS 205240 HAS SOUS 93077 HAS SOUPS 92239 WITH SCORE 92445.351
AT ITER 2198 NEW BEST:: SOT 250638 SOS 206360 HAS SOPS 205249 HAS SOUS 93076 HAS SOUPS 92238 WITH SCORE 92444.36
AT ITER 2207 NEW BEST:: SOT 250590 SOS 206312 HAS SOPS 205201 HAS SOUS 93013 HAS SOUPS 92175 WITH SCORE 92381.312
AT ITER 2239 NEW BEST:: SOT 250470 SOS 206188 HAS SOPS 205081 HAS SOUS 92883 HAS SOUPS 92049 WITH SCORE 92255.188
AT ITER 2255 NEW BEST:: SOT 250294 SOS 206015 HAS SOPS 204905 HAS SOUS 92532 HAS SOUPS 91695 WITH SCORE 91901.015
AT ITER 2312 NEW BEST:: SOT 250307 SOS 206034 HAS SOPS 204918 HAS SOUS 92489 HAS SOUPS 91646 WITH SCORE 91852.034
AT ITER 2331 NEW BEST:: SOT 250259 SOS 205986 HAS SOPS 204870 HAS SOUS 92441 HAS SOUPS 91598 WITH SCORE 91803.986
AT ITER 2337 NEW BEST:: SOT 250259 SOS 208485 HAS SOPS 207232 HAS SOUS 92346 HAS SOUPS 91515 WITH SCORE 91723.485
AT ITER 2347 NEW BEST:: SOT 249421 SOS 207654 HAS SOPS 206401 HAS SOUS 91506 HAS SOUPS 90675 WITH SCORE 90882.654
AT ITER 2382 NEW BEST:: SOT 249147 SOS 207450 HAS SOPS 206262 HAS SOUS 91279 HAS SOUPS 90513 WITH SCORE 90720.45
AT ITER 2397 NEW BEST:: SOT 248598 SOS 206885 HAS SOPS 205713 HAS SOUS 90681 HAS SOUPS 89931 WITH SCORE 90137.885
AT ITER 2406 NEW BEST:: SOT 248598 SOS 206293 HAS SOPS 205115 HAS SOUS 90625 HAS SOUPS 89875 WITH SCORE 90081.293
AT ITER 2410 NEW BEST:: SOT 248564 SOS 206259 HAS SOPS 205081 HAS SOUS 90556 HAS SOUPS 89806 WITH SCORE 90012.259
AT ITER 2442 NEW BEST:: SOT 248491 SOS 206186 HAS SOPS 205008 HAS SOUS 90404 HAS SOUPS 89654 WITH SCORE 89860.186
AT ITER 2460 NEW BEST:: SOT 248553 SOS 206240 HAS SOPS 205052 HAS SOUS 90387 HAS SOUPS 89627 WITH SCORE 89833.24
AT ITER 2547 NEW BEST:: SOT 248548 SOS 206235 HAS SOPS 205047 HAS SOUS 90386 HAS SOUPS 89626 WITH SCORE 89832.235
AT ITER 2575 NEW BEST:: SOT 248568 SOS 206242 HAS SOPS 205067 HAS SOUS 90320 HAS SOUPS 89573 WITH SCORE 89779.242
AT ITER 2599 NEW BEST:: SOT 248615 SOS 206264 HAS SOPS 205074 HAS SOUS 90286 HAS SOUPS 89524 WITH SCORE 89730.264
AT ITER 2620 NEW BEST:: SOT 248661 SOS 206280 HAS SOPS 205075 HAS SOUS 90275 HAS SOUPS 89498 WITH SCORE 89704.28
AT ITER 2655 NEW BEST:: SOT 248659 SOS 206282 HAS SOPS 205073 HAS SOUS 90265 HAS SOUPS 89484 WITH SCORE 89690.282
AT ITER 2663 NEW BEST:: SOT 248659 SOS 205773 HAS SOPS 204549 HAS SOUS 90232 HAS SOUPS 89451 WITH SCORE 89656.773
AT ITER 2671 NEW BEST:: SOT 248653 SOS 205767 HAS SOPS 204543 HAS SOUS 90221 HAS SOUPS 89440 WITH SCORE 89645.767
AT ITER 2678 NEW BEST:: SOT 248490 SOS 205604 HAS SOPS 204380 HAS SOUS 89949 HAS SOUPS 89168 WITH SCORE 89373.604
AT ITER 2710 NEW BEST:: SOT 248463 SOS 205577 HAS SOPS 204353 HAS SOUS 89937 HAS SOUPS 89156 WITH SCORE 89361.577
AT ITER 2728 NEW BEST:: SOT 247920 SOS 205038 HAS SOPS 203810 HAS SOUS 88904 HAS SOUPS 88119 WITH SCORE 88324.038
AT ITER 2740 NEW BEST:: SOT 247790 SOS 205061 HAS SOPS 203833 HAS SOUS 88670 HAS SOUPS 87885 WITH SCORE 88090.061
AT ITER 2770 NEW BEST:: SOT 247776 SOS 205047 HAS SOPS 203819 HAS SOUS 88602 HAS SOUPS 87817 WITH SCORE 88022.047
AT ITER 2773 NEW BEST:: SOT 247842 SOS 205136 HAS SOPS 203885 HAS SOUS 88587 HAS SOUPS 87779 WITH SCORE 87984.136
AT ITER 2781 NEW BEST:: SOT 247842 SOS 205026 HAS SOPS 203785 HAS SOUS 88577 HAS SOUPS 87771 WITH SCORE 87976.026
AT ITER 2782 NEW BEST:: SOT 247754 SOS 204928 HAS SOPS 203697 HAS SOUS 88566 HAS SOUPS 87770 WITH SCORE 87974.928
AT ITER 2785 NEW BEST:: SOT 247714 SOS 204888 HAS SOPS 203657 HAS SOUS 88480 HAS SOUPS 87684 WITH SCORE 87888.888
AT ITER 2790 NEW BEST:: SOT 247562 SOS 204736 HAS SOPS 203505 HAS SOUS 88364 HAS SOUPS 87568 WITH SCORE 87772.736
AT ITER 2796 NEW BEST:: SOT 247542 SOS 204716 HAS SOPS 203485 HAS SOUS 88344 HAS SOUPS 87548 WITH SCORE 87752.716
AT ITER 2814 NEW BEST:: SOT 247542 SOS 204716 HAS SOPS 203485 HAS SOUS 88330 HAS SOUPS 87534 WITH SCORE 87738.716
AT ITER 2851 NEW BEST:: SOT 247542 SOS 204706 HAS SOPS 203475 HAS SOUS 88329 HAS SOUPS 87533 WITH SCORE 87737.706
AT ITER 2859 NEW BEST:: SOT 247533 SOS 204697 HAS SOPS 203466 HAS SOUS 88324 HAS SOUPS 87528 WITH SCORE 87732.697
AT ITER 2879 NEW BEST:: SOT 247473 SOS 204637 HAS SOPS 203406 HAS SOUS 88264 HAS SOUPS 87468 WITH SCORE 87672.637
AT ITER 2899 NEW BEST:: SOT 247434 SOS 204598 HAS SOPS 203367 HAS SOUS 88229 HAS SOUPS 87433 WITH SCORE 87637.598
AT ITER 2911 NEW BEST:: SOT 247424 SOS 204588 HAS SOPS 203357 HAS SOUS 88219 HAS SOUPS 87423 WITH SCORE 87627.588
AT ITER 2927 NEW BEST:: SOT 247424 SOS 204588 HAS SOPS 203357 HAS SOUS 88216 HAS SOUPS 87420 WITH SCORE 87624.588
AT ITER 2961 NEW BEST:: SOT 246414 SOS 203524 HAS SOPS 202347 HAS SOUS 88071 HAS SOUPS 87329 WITH SCORE 87532.524
AT ITER 2968 NEW BEST:: SOT 246406 SOS 203519 HAS SOPS 202339 HAS SOUS 88021 HAS SOUPS 87276 WITH SCORE 87479.519
AT ITER 2971 NEW BEST:: SOT 246352 SOS 203465 HAS SOPS 202285 HAS SOUS 87967 HAS SOUPS 87222 WITH SCORE 87425.465
AT ITER 2988 NEW BEST:: SOT 246254 SOS 203367 HAS SOPS 202187 HAS SOUS 87869 HAS SOUPS 87124 WITH SCORE 87327.367
AT ITER 3021 NEW BEST:: SOT 246254 SOS 202899 HAS SOPS 201791 HAS SOUS 87867 HAS SOUPS 87124 WITH SCORE 87326.899
AT ITER 3041 NEW BEST:: SOT 246246 SOS 202893 HAS SOPS 201783 HAS SOUS 87815 HAS SOUPS 87070 WITH SCORE 87272.893
AT ITER 3050 NEW BEST:: SOT 245979 SOS 202626 HAS SOPS 201516 HAS SOUS 87432 HAS SOUPS 86687 WITH SCORE 86889.626
AT ITER 3059 NEW BEST:: SOT 245968 SOS 202615 HAS SOPS 201505 HAS SOUS 87415 HAS SOUPS 86670 WITH SCORE 86872.615
AT ITER 3060 NEW BEST:: SOT 246015 SOS 199807 HAS SOPS 198658 HAS SOUS 87121 HAS SOUPS 86376 WITH SCORE 86575.807
AT ITER 3096 NEW BEST:: SOT 245956 SOS 199751 HAS SOPS 198599 HAS SOUS 87009 HAS SOUPS 86261 WITH SCORE 86460.751
AT ITER 3110 NEW BEST:: SOT 245956 SOS 201512 HAS SOPS 200483 HAS SOUS 86898 HAS SOUPS 86165 WITH SCORE 86366.512
AT ITER 3119 NEW BEST:: SOT 245611 SOS 201167 HAS SOPS 200138 HAS SOUS 86597 HAS SOUPS 85864 WITH SCORE 86065.167
AT ITER 3135 NEW BEST:: SOT 245570 SOS 201126 HAS SOPS 200097 HAS SOUS 86556 HAS SOUPS 85823 WITH SCORE 86024.126
AT ITER 3142 NEW BEST:: SOT 245570 SOS 203326 HAS SOPS 202339 HAS SOUS 86477 HAS SOUPS 85756 WITH SCORE 85959.326
AT ITER 3156 NEW BEST:: SOT 245492 SOS 203246 HAS SOPS 202261 HAS SOUS 86351 HAS SOUPS 85632 WITH SCORE 85835.246
AT ITER 3167 NEW BEST:: SOT 245222 SOS 202976 HAS SOPS 201991 HAS SOUS 86084 HAS SOUPS 85365 WITH SCORE 85567.976
AT ITER 3175 NEW BEST:: SOT 245222 SOS 202868 HAS SOPS 201991 HAS SOUS 86080 HAS SOUPS 85364 WITH SCORE 85566.868
AT ITER 3178 NEW BEST:: SOT 245175 SOS 202810 HAS SOPS 201944 HAS SOUS 86023 HAS SOUPS 85318 WITH SCORE 85520.81
AT ITER 3242 NEW BEST:: SOT 245165 SOS 202811 HAS SOPS 201934 HAS SOUS 86004 HAS SOUPS 85288 WITH SCORE 85490.811
AT ITER 3244 NEW BEST:: SOT 245165 SOS 202811 HAS SOPS 201934 HAS SOUS 85978 HAS SOUPS 85262 WITH SCORE 85464.811
AT ITER 3257 NEW BEST:: SOT 245156 SOS 202803 HAS SOPS 201926 HAS SOUS 85969 HAS SOUPS 85253 WITH SCORE 85455.803
AT ITER 3279 NEW BEST:: SOT 245203 SOS 202850 HAS SOPS 201973 HAS SOUS 85696 HAS SOUPS 84980 WITH SCORE 85182.85
AT ITER 3281 NEW BEST:: SOT 245135 SOS 202780 HAS SOPS 201905 HAS SOUS 85584 HAS SOUPS 84870 WITH SCORE 85072.78
AT ITER 3343 NEW BEST:: SOT 245135 SOS 202684 HAS SOPS 201821 HAS SOUS 85571 HAS SOUPS 84857 WITH SCORE 85059.684
AT ITER 3345 NEW BEST:: SOT 245132 SOS 202681 HAS SOPS 201818 HAS SOUS 85561 HAS SOUPS 84847 WITH SCORE 85049.681
AT ITER 3364 NEW BEST:: SOT 245122 SOS 202671 HAS SOPS 201808 HAS SOUS 85551 HAS SOUPS 84837 WITH SCORE 85039.671
AT ITER 3365 NEW BEST:: SOT 245002 SOS 202551 HAS SOPS 201688 HAS SOUS 85446 HAS SOUPS 84732 WITH SCORE 84934.551
AT ITER 3369 NEW BEST:: SOT 244958 SOS 202507 HAS SOPS 201644 HAS SOUS 85414 HAS SOUPS 84700 WITH SCORE 84902.507
AT ITER 3380 NEW BEST:: SOT 244958 SOS 202307 HAS SOPS 201441 HAS SOUS 85404 HAS SOUPS 84690 WITH SCORE 84892.307
AT ITER 3389 NEW BEST:: SOT 244879 SOS 202267 HAS SOPS 201422 HAS SOUS 85332 HAS SOUPS 84639 WITH SCORE 84841.267
AT ITER 3400 NEW BEST:: SOT 244147 SOS 201666 HAS SOPS 200924 HAS SOUS 84649 HAS SOUPS 84059 WITH SCORE 84260.666
AT ITER 3421 NEW BEST:: SOT 244147 SOS 200468 HAS SOPS 199706 HAS SOUS 84633 HAS SOUPS 84043 WITH SCORE 84243.468
AT ITER 3434 NEW BEST:: SOT 244147 SOS 200441 HAS SOPS 199679 HAS SOUS 84633 HAS SOUPS 84043 WITH SCORE 84243.441
AT ITER 3482 NEW BEST:: SOT 244147 SOS 200545 HAS SOPS 199811 HAS SOUS 84628 HAS SOUPS 84039 WITH SCORE 84239.545
AT ITER 3493 NEW BEST:: SOT 244127 SOS 200525 HAS SOPS 199791 HAS SOUS 84608 HAS SOUPS 84019 WITH SCORE 84219.525
AT ITER 3497 NEW BEST:: SOT 244075 SOS 200531 HAS SOPS 199831 HAS SOUS 84536 HAS SOUPS 83981 WITH SCORE 84181.531
AT ITER 3543 NEW BEST:: SOT 244075 SOS 200442 HAS SOPS 199742 HAS SOUS 84528 HAS SOUPS 83973 WITH SCORE 84173.442
AT ITER 3609 NEW BEST:: SOT 243664 SOS 200003 HAS SOPS 199331 HAS SOUS 83932 HAS SOUPS 83405 WITH SCORE 83605.003
AT ITER 3615 NEW BEST:: SOT 243633 SOS 199974 HAS SOPS 199300 HAS SOUS 83819 HAS SOUPS 83290 WITH SCORE 83489.974
AT ITER 3626 NEW BEST:: SOT 243606 SOS 199946 HAS SOPS 199273 HAS SOUS 83773 HAS SOUPS 83245 WITH SCORE 83444.946
AT ITER 3631 NEW BEST:: SOT 243606 SOS 199946 HAS SOPS 199273 HAS SOUS 83770 HAS SOUPS 83242 WITH SCORE 83441.946
AT ITER 3633 NEW BEST:: SOT 243603 SOS 199943 HAS SOPS 199270 HAS SOUS 83767 HAS SOUPS 83239 WITH SCORE 83438.943
AT ITER 3657 NEW BEST:: SOT 243591 SOS 199931 HAS SOPS 199258 HAS SOUS 83755 HAS SOUPS 83227 WITH SCORE 83426.931
AT ITER 3724 NEW BEST:: SOT 243551 SOS 199891 HAS SOPS 199218 HAS SOUS 83711 HAS SOUPS 83183 WITH SCORE 83382.891
AT ITER 3743 NEW BEST:: SOT 243516 SOS 199879 HAS SOPS 199219 HAS SOUS 83673 HAS SOUPS 83158 WITH SCORE 83357.879
AT ITER 3773 NEW BEST:: SOT 243498 SOS 199860 HAS SOPS 199201 HAS SOUS 83667 HAS SOUPS 83153 WITH SCORE 83352.86
AT ITER 3812 NEW BEST:: SOT 243495 SOS 199479 HAS SOPS 198820 HAS SOUS 83660 HAS SOUPS 83146 WITH SCORE 83345.479
AT ITER 3817 NEW BEST:: SOT 243244 SOS 199228 HAS SOPS 198569 HAS SOUS 83253 HAS SOUPS 82739 WITH SCORE 82938.228
AT ITER 3841 NEW BEST:: SOT 243132 SOS 199113 HAS SOPS 198454 HAS SOUS 83138 HAS SOUPS 82624 WITH SCORE 82823.113
AT ITER 3858 NEW BEST:: SOT 243125 SOS 199114 HAS SOPS 198447 HAS SOUS 83104 HAS SOUPS 82582 WITH SCORE 82781.114
AT ITER 3905 NEW BEST:: SOT 243125 SOS 199305 HAS SOPS 198642 HAS SOUS 83095 HAS SOUPS 82574 WITH SCORE 82773.305
AT ITER 3931 NEW BEST:: SOT 243151 SOS 199285 HAS SOPS 198603 HAS SOUS 83104 HAS SOUPS 82564 WITH SCORE 82763.285
AT ITER 3934 NEW BEST:: SOT 243132 SOS 199264 HAS SOPS 198584 HAS SOUS 83060 HAS SOUPS 82522 WITH SCORE 82721.264
AT ITER 3946 NEW BEST:: SOT 242559 SOS 198748 HAS SOPS 198091 HAS SOUS 82486 HAS SOUPS 81971 WITH SCORE 82169.748
AT ITER 3947 NEW BEST:: SOT 242164 SOS 198336 HAS SOPS 197696 HAS SOUS 82038 HAS SOUPS 81540 WITH SCORE 81738.336
AT ITER 3957 NEW BEST:: SOT 242154 SOS 198326 HAS SOPS 197686 HAS SOUS 82028 HAS SOUPS 81530 WITH SCORE 81728.326
AT ITER 3989 NEW BEST:: SOT 242131 SOS 198303 HAS SOPS 197663 HAS SOUS 82005 HAS SOUPS 81507 WITH SCORE 81705.303
AT ITER 4022 NEW BEST:: SOT 241792 SOS 197952 HAS SOPS 197324 HAS SOUS 81233 HAS SOUPS 80747 WITH SCORE 80944.952
AT ITER 4029 NEW BEST:: SOT 241792 SOS 197952 HAS SOPS 197324 HAS SOUS 81227 HAS SOUPS 80741 WITH SCORE 80938.952
AT ITER 4083 NEW BEST:: SOT 241792 SOS 198788 HAS SOPS 197916 HAS SOUS 81227 HAS SOUPS 80734 WITH SCORE 80932.788
AT ITER 4093 NEW BEST:: SOT 241568 SOS 198567 HAS SOPS 197692 HAS SOUS 80884 HAS SOUPS 80388 WITH SCORE 80586.567
AT ITER 4124 NEW BEST:: SOT 241568 SOS 199331 HAS SOPS 198467 HAS SOUS 80852 HAS SOUPS 80361 WITH SCORE 80560.331
AT ITER 4125 NEW BEST:: SOT 241554 SOS 199317 HAS SOPS 198453 HAS SOUS 80845 HAS SOUPS 80354 WITH SCORE 80553.317
AT ITER 4165 NEW BEST:: SOT 241548 SOS 199311 HAS SOPS 198447 HAS SOUS 80844 HAS SOUPS 80353 WITH SCORE 80552.311
AT ITER 4174 NEW BEST:: SOT 241537 SOS 199300 HAS SOPS 198436 HAS SOUS 80836 HAS SOUPS 80345 WITH SCORE 80544.3
AT ITER 4183 NEW BEST:: SOT 241516 SOS 199274 HAS SOPS 198415 HAS SOUS 80827 HAS SOUPS 80341 WITH SCORE 80540.274
AT ITER 4198 NEW BEST:: SOT 241516 SOS 199264 HAS SOPS 198405 HAS SOUS 80826 HAS SOUPS 80340 WITH SCORE 80539.264
AT ITER 4231 NEW BEST:: SOT 241491 SOS 199239 HAS SOPS 198380 HAS SOUS 80790 HAS SOUPS 80304 WITH SCORE 80503.239
AT ITER 4239 NEW BEST:: SOT 241560 SOS 199308 HAS SOPS 198449 HAS SOUS 80622 HAS SOUPS 80136 WITH SCORE 80335.308
AT ITER 4256 NEW BEST:: SOT 241560 SOS 198505 HAS SOPS 197826 HAS SOUS 80615 HAS SOUPS 80134 WITH SCORE 80332.505
AT ITER 4263 NEW BEST:: SOT 241557 SOS 198502 HAS SOPS 197823 HAS SOUS 80604 HAS SOUPS 80123 WITH SCORE 80321.502
AT ITER 4267 NEW BEST:: SOT 241544 SOS 198489 HAS SOPS 197810 HAS SOUS 80595 HAS SOUPS 80114 WITH SCORE 80312.489
AT ITER 4282 NEW BEST:: SOT 241210 SOS 198145 HAS SOPS 197476 HAS SOUS 80075 HAS SOUPS 79604 WITH SCORE 79802.145
AT ITER 4333 NEW BEST:: SOT 241204 SOS 198139 HAS SOPS 197470 HAS SOUS 80066 HAS SOUPS 79595 WITH SCORE 79793.139
AT ITER 4340 NEW BEST:: SOT 241158 SOS 198090 HAS SOPS 197424 HAS SOUS 79897 HAS SOUPS 79429 WITH SCORE 79627.09
AT ITER 4360 NEW BEST:: SOT 241158 SOS 198070 HAS SOPS 197404 HAS SOUS 79895 HAS SOUPS 79427 WITH SCORE 79625.07
AT ITER 4361 NEW BEST:: SOT 241158 SOS 198026 HAS SOPS 197360 HAS SOUS 79895 HAS SOUPS 79427 WITH SCORE 79625.026
AT ITER 4378 NEW BEST:: SOT 240897 SOS 197760 HAS SOPS 197099 HAS SOUS 79463 HAS SOUPS 79000 WITH SCORE 79197.76
AT ITER 4411 NEW BEST:: SOT 240897 SOS 197760 HAS SOPS 197099 HAS SOUS 79461 HAS SOUPS 78998 WITH SCORE 79195.76
AT ITER 4424 NEW BEST:: SOT 240897 SOS 197561 HAS SOPS 196895 HAS SOUS 79455 HAS SOUPS 78992 WITH SCORE 79189.561
AT ITER 4456 NEW BEST:: SOT 240897 SOS 197664 HAS SOPS 196999 HAS SOUS 79444 HAS SOUPS 78981 WITH SCORE 79178.664
AT ITER 4481 NEW BEST:: SOT 240899 SOS 197666 HAS SOPS 197001 HAS SOUS 79443 HAS SOUPS 78980 WITH SCORE 79177.666
AT ITER 4535 NEW BEST:: SOT 240833 SOS 197608 HAS SOPS 196955 HAS SOUS 79373 HAS SOUPS 78922 WITH SCORE 79119.608
AT ITER 4539 NEW BEST:: SOT 240814 SOS 197589 HAS SOPS 196936 HAS SOUS 79354 HAS SOUPS 78903 WITH SCORE 79100.589
AT ITER 4569 NEW BEST:: SOT 240779 SOS 197608 HAS SOPS 196957 HAS SOUS 79274 HAS SOUPS 78841 WITH SCORE 79038.608
AT ITER 4576 NEW BEST:: SOT 240779 SOS 197608 HAS SOPS 196957 HAS SOUS 79273 HAS SOUPS 78840 WITH SCORE 79037.608
AT ITER 4578 NEW BEST:: SOT 240110 SOS 197643 HAS SOPS 197044 HAS SOUS 78714 HAS SOUPS 78333 WITH SCORE 78530.643
AT ITER 4603 NEW BEST:: SOT 239987 SOS 197520 HAS SOPS 196921 HAS SOUS 78591 HAS SOUPS 78210 WITH SCORE 78407.52
AT ITER 4606 NEW BEST:: SOT 240002 SOS 197537 HAS SOPS 196936 HAS SOUS 78591 HAS SOUPS 78208 WITH SCORE 78405.537
AT ITER 4612 NEW BEST:: SOT 240000 SOS 197535 HAS SOPS 196934 HAS SOUS 78589 HAS SOUPS 78206 WITH SCORE 78403.535
AT ITER 4623 NEW BEST:: SOT 239725 SOS 197252 HAS SOPS 196659 HAS SOUS 78120 HAS SOUPS 77745 WITH SCORE 77942.252
AT ITER 4646 NEW BEST:: SOT 239594 SOS 197121 HAS SOPS 196528 HAS SOUS 77893 HAS SOUPS 77518 WITH SCORE 77715.121
AT ITER 4662 NEW BEST:: SOT 239597 SOS 197134 HAS SOPS 196541 HAS SOUS 77877 HAS SOUPS 77502 WITH SCORE 77699.134
AT ITER 4668 NEW BEST:: SOT 239410 SOS 196939 HAS SOPS 196354 HAS SOUS 77584 HAS SOUPS 77217 WITH SCORE 77413.939
AT ITER 4695 NEW BEST:: SOT 239410 SOS 196929 HAS SOPS 196344 HAS SOUS 77583 HAS SOUPS 77216 WITH SCORE 77412.929
AT ITER 4722 NEW BEST:: SOT 239410 SOS 196934 HAS SOPS 196344 HAS SOUS 77544 HAS SOUPS 77172 WITH SCORE 77368.934
AT ITER 4735 NEW BEST:: SOT 239275 SOS 196795 HAS SOPS 196209 HAS SOUS 77284 HAS SOUPS 76916 WITH SCORE 77112.795
AT ITER 4765 NEW BEST:: SOT 239245 SOS 196758 HAS SOPS 196179 HAS SOUS 77235 HAS SOUPS 76874 WITH SCORE 77070.758
AT ITER 4793 NEW BEST:: SOT 239205 SOS 196718 HAS SOPS 196139 HAS SOUS 77195 HAS SOUPS 76834 WITH SCORE 77030.718
AT ITER 4803 NEW BEST:: SOT 239153 SOS 196692 HAS SOPS 196113 HAS SOUS 77158 HAS SOUPS 76797 WITH SCORE 76993.692
AT ITER 4859 NEW BEST:: SOT 239143 SOS 196689 HAS SOPS 196103 HAS SOUS 77114 HAS SOUPS 76746 WITH SCORE 76942.689
AT ITER 4935 NEW BEST:: SOT 239055 SOS 196601 HAS SOPS 196015 HAS SOUS 77026 HAS SOUPS 76658 WITH SCORE 76854.601
AT ITER 4992 NEW BEST:: SOT 239055 SOS 196601 HAS SOPS 196015 HAS SOUS 77020 HAS SOUPS 76652 WITH SCORE 76848.601
AT ITER 5018 NEW BEST:: SOT 239045 SOS 196591 HAS SOPS 196005 HAS SOUS 76990 HAS SOUPS 76622 WITH SCORE 76818.591
AT ITER 5046 NEW BEST:: SOT 238965 SOS 196522 HAS SOPS 195944 HAS SOUS 76955 HAS SOUPS 76595 WITH SCORE 76791.522
AT ITER 5115 NEW BEST:: SOT 238936 SOS 196489 HAS SOPS 195915 HAS SOUS 76868 HAS SOUPS 76512 WITH SCORE 76708.489
AT ITER 5139 NEW BEST:: SOT 238936 SOS 196487 HAS SOPS 195915 HAS SOUS 76866 HAS SOUPS 76512 WITH SCORE 76708.487
AT ITER 5181 NEW BEST:: SOT 238902 SOS 196450 HAS SOPS 195881 HAS SOUS 76819 HAS SOUPS 76468 WITH SCORE 76664.45
AT ITER 5246 NEW BEST:: SOT 238894 SOS 196438 HAS SOPS 195873 HAS SOUS 76800 HAS SOUPS 76453 WITH SCORE 76649.438
AT ITER 5266 NEW BEST:: SOT 238894 SOS 196443 HAS SOPS 195873 HAS SOUS 76793 HAS SOUPS 76441 WITH SCORE 76637.443
AT ITER 5281 NEW BEST:: SOT 238894 SOS 196025 HAS SOPS 195455 HAS SOUS 76791 HAS SOUPS 76439 WITH SCORE 76635.025
AT ITER 5296 NEW BEST:: SOT 238873 SOS 196004 HAS SOPS 195434 HAS SOUS 76786 HAS SOUPS 76434 WITH SCORE 76630.004
AT ITER 5324 NEW BEST:: SOT 238873 SOS 195604 HAS SOPS 195020 HAS SOUS 76780 HAS SOUPS 76428 WITH SCORE 76623.604
AT ITER 5396 NEW BEST:: SOT 238874 SOS 195662 HAS SOPS 195085 HAS SOUS 76616 HAS SOUPS 76271 WITH SCORE 76466.662
AT ITER 5418 NEW BEST:: SOT 238874 SOS 195672 HAS SOPS 195085 HAS SOUS 76616 HAS SOUPS 76261 WITH SCORE 76456.672
AT ITER 5497 NEW BEST:: SOT 238828 SOS 195626 HAS SOPS 195039 HAS SOUS 76570 HAS SOUPS 76215 WITH SCORE 76410.626
AT ITER 5498 NEW BEST:: SOT 238828 SOS 196047 HAS SOPS 195462 HAS SOUS 76526 HAS SOUPS 76173 WITH SCORE 76369.047
AT ITER 5549 NEW BEST:: SOT 238605 SOS 195824 HAS SOPS 195239 HAS SOUS 76310 HAS SOUPS 75957 WITH SCORE 76152.824
AT ITER 5668 NEW BEST:: SOT 238498 SOS 195735 HAS SOPS 195159 HAS SOUS 76261 HAS SOUPS 75917 WITH SCORE 76112.735
AT ITER 5713 NEW BEST:: SOT 238487 SOS 195724 HAS SOPS 195148 HAS SOUS 76239 HAS SOUPS 75895 WITH SCORE 76090.724
AT ITER 5726 NEW BEST:: SOT 238487 SOS 195723 HAS SOPS 195147 HAS SOUS 76239 HAS SOUPS 75895 WITH SCORE 76090.723
AT ITER 5746 NEW BEST:: SOT 238391 SOS 195689 HAS SOPS 195123 HAS SOUS 76217 HAS SOUPS 75883 WITH SCORE 76078.689
AT ITER 5764 NEW BEST:: SOT 238373 SOS 195671 HAS SOPS 195105 HAS SOUS 76180 HAS SOUPS 75846 WITH SCORE 76041.671
AT ITER 5768 NEW BEST:: SOT 238387 SOS 195688 HAS SOPS 195119 HAS SOUS 76145 HAS SOUPS 75808 WITH SCORE 76003.688
AT ITER 5794 NEW BEST:: SOT 238282 SOS 195564 HAS SOPS 195014 HAS SOUS 75974 HAS SOUPS 75656 WITH SCORE 75851.564
AT ITER 5801 NEW BEST:: SOT 238034 SOS 195336 HAS SOPS 194806 HAS SOUS 75865 HAS SOUPS 75567 WITH SCORE 75762.336
AT ITER 5814 NEW BEST:: SOT 238032 SOS 195334 HAS SOPS 194804 HAS SOUS 75861 HAS SOUPS 75563 WITH SCORE 75758.334
AT ITER 5851 NEW BEST:: SOT 238032 SOS 195134 HAS SOPS 194596 HAS SOUS 75859 HAS SOUPS 75561 WITH SCORE 75756.134
AT ITER 6008 NEW BEST:: SOT 238031 SOS 195135 HAS SOPS 194595 HAS SOUS 75855 HAS SOUPS 75555 WITH SCORE 75750.135
AT ITER 6024 NEW BEST:: SOT 237956 SOS 195052 HAS SOPS 194520 HAS SOUS 75729 HAS SOUPS 75437 WITH SCORE 75632.052
AT ITER 6039 NEW BEST:: SOT 237956 SOS 195052 HAS SOPS 194520 HAS SOUS 75728 HAS SOUPS 75436 WITH SCORE 75631.052
AT ITER 6049 NEW BEST:: SOT 237926 SOS 195022 HAS SOPS 194490 HAS SOUS 75698 HAS SOUPS 75406 WITH SCORE 75601.022
AT ITER 6095 NEW BEST:: SOT 237623 SOS 194753 HAS SOPS 194259 HAS SOUS 75467 HAS SOUPS 75213 WITH SCORE 75407.753
AT ITER 6128 NEW BEST:: SOT 237475 SOS 194600 HAS SOPS 194111 HAS SOUS 75198 HAS SOUPS 74949 WITH SCORE 75143.6
AT ITER 6167 NEW BEST:: SOT 237439 SOS 194563 HAS SOPS 194075 HAS SOUS 75134 HAS SOUPS 74886 WITH SCORE 75080.563
AT ITER 6178 NEW BEST:: SOT 237426 SOS 194550 HAS SOPS 194062 HAS SOUS 75096 HAS SOUPS 74848 WITH SCORE 75042.55
AT ITER 6247 NEW BEST:: SOT 237425 SOS 194549 HAS SOPS 194061 HAS SOUS 75095 HAS SOUPS 74847 WITH SCORE 75041.549
AT ITER 6287 NEW BEST:: SOT 237425 SOS 195296 HAS SOPS 194831 HAS SOUS 75008 HAS SOUPS 74765 WITH SCORE 74960.296
AT ITER 6303 NEW BEST:: SOT 237430 SOS 195301 HAS SOPS 194836 HAS SOUS 75007 HAS SOUPS 74764 WITH SCORE 74959.301
AT ITER 6312 NEW BEST:: SOT 237427 SOS 195297 HAS SOPS 194833 HAS SOUS 75002 HAS SOUPS 74760 WITH SCORE 74955.297
AT ITER 6323 NEW BEST:: SOT 237454 SOS 195304 HAS SOPS 194828 HAS SOUS 74879 HAS SOUPS 74625 WITH SCORE 74820.304
AT ITER 6352 NEW BEST:: SOT 237449 SOS 195294 HAS SOPS 194823 HAS SOUS 74866 HAS SOUPS 74617 WITH SCORE 74812.294
AT ITER 6367 NEW BEST:: SOT 236781 SOS 194519 HAS SOPS 194048 HAS SOUS 74072 HAS SOUPS 73823 WITH SCORE 74017.519
AT ITER 6406 NEW BEST:: SOT 236755 SOS 194493 HAS SOPS 194022 HAS SOUS 74046 HAS SOUPS 73797 WITH SCORE 73991.493
AT ITER 6408 NEW BEST:: SOT 236750 SOS 194488 HAS SOPS 194017 HAS SOUS 74041 HAS SOUPS 73792 WITH SCORE 73986.488
AT ITER 6439 NEW BEST:: SOT 236750 SOS 194519 HAS SOPS 194048 HAS SOUS 73975 HAS SOUPS 73726 WITH SCORE 73920.519
AT ITER 6486 NEW BEST:: SOT 236700 SOS 194469 HAS SOPS 193998 HAS SOUS 73925 HAS SOUPS 73676 WITH SCORE 73870.469
AT ITER 6491 NEW BEST:: SOT 236700 SOS 193924 HAS SOPS 193438 HAS SOUS 73910 HAS SOUPS 73661 WITH SCORE 73854.924
AT ITER 6646 NEW BEST:: SOT 236699 SOS 193923 HAS SOPS 193437 HAS SOUS 73908 HAS SOUPS 73659 WITH SCORE 73852.923
AT ITER 6703 NEW BEST:: SOT 236699 SOS 193490 HAS SOPS 192992 HAS SOUS 73900 HAS SOUPS 73651 WITH SCORE 73844.49
AT ITER 6759 NEW BEST:: SOT 236697 SOS 193490 HAS SOPS 192990 HAS SOUS 73893 HAS SOUPS 73642 WITH SCORE 73835.49
AT ITER 6765 NEW BEST:: SOT 236688 SOS 193481 HAS SOPS 192981 HAS SOUS 73888 HAS SOUPS 73637 WITH SCORE 73830.481
AT ITER 6770 NEW BEST:: SOT 236688 SOS 193083 HAS SOPS 192581 HAS SOUS 73870 HAS SOUPS 73617 WITH SCORE 73810.083
AT ITER 6826 NEW BEST:: SOT 236688 SOS 193074 HAS SOPS 192572 HAS SOUS 73870 HAS SOUPS 73617 WITH SCORE 73810.074
AT ITER 6830 NEW BEST:: SOT 236695 SOS 193081 HAS SOPS 192579 HAS SOUS 73803 HAS SOUPS 73550 WITH SCORE 73743.081
AT ITER 7031 NEW BEST:: SOT 236779 SOS 193157 HAS SOPS 192647 HAS SOUS 73801 HAS SOUPS 73540 WITH SCORE 73733.157
AT ITER 7079 NEW BEST:: SOT 236788 SOS 193160 HAS SOPS 192648 HAS SOUS 73797 HAS SOUPS 73534 WITH SCORE 73727.16
AT ITER 7204 NEW BEST:: SOT 236788 SOS 192882 HAS SOPS 192442 HAS SOUS 73791 HAS SOUPS 73530 WITH SCORE 73722.882
AT ITER 7215 NEW BEST:: SOT 236790 SOS 192884 HAS SOPS 192444 HAS SOUS 73785 HAS SOUPS 73524 WITH SCORE 73716.884
AT ITER 7280 NEW BEST:: SOT 236718 SOS 192810 HAS SOPS 192372 HAS SOUS 73653 HAS SOUPS 73394 WITH SCORE 73586.81
AT ITER 7289 NEW BEST:: SOT 236675 SOS 192762 HAS SOPS 192329 HAS SOUS 73561 HAS SOUPS 73307 WITH SCORE 73499.762
AT ITER 7359 NEW BEST:: SOT 236656 SOS 192739 HAS SOPS 192310 HAS SOUS 73528 HAS SOUPS 73278 WITH SCORE 73470.739
AT ITER 7451 NEW BEST:: SOT 236656 SOS 192717 HAS SOPS 192288 HAS SOUS 73528 HAS SOUPS 73278 WITH SCORE 73470.717
AT ITER 7530 NEW BEST:: SOT 236653 SOS 192714 HAS SOPS 192285 HAS SOUS 73523 HAS SOUPS 73273 WITH SCORE 73465.714
AT ITER 7543 NEW BEST:: SOT 236653 SOS 191884 HAS SOPS 191461 HAS SOUS 73509 HAS SOUPS 73260 WITH SCORE 73451.884
AT ITER 7589 NEW BEST:: SOT 236630 SOS 191860 HAS SOPS 191438 HAS SOUS 73463 HAS SOUPS 73215 WITH SCORE 73406.86
AT ITER 7855 NEW BEST:: SOT 236612 SOS 191842 HAS SOPS 191420 HAS SOUS 73459 HAS SOUPS 73211 WITH SCORE 73402.842
AT ITER 8183 NEW BEST:: SOT 236605 SOS 191835 HAS SOPS 191413 HAS SOUS 73438 HAS SOUPS 73190 WITH SCORE 73381.835
AT ITER 8269 NEW BEST:: SOT 236594 SOS 191824 HAS SOPS 191402 HAS SOUS 73411 HAS SOUPS 73163 WITH SCORE 73354.824
AT ITER 8373 NEW BEST:: SOT 236623 SOS 191816 HAS SOPS 191386 HAS SOUS 73342 HAS SOUPS 73086 WITH SCORE 73277.816
AT ITER 8545 NEW BEST:: SOT 236617 SOS 191810 HAS SOPS 191380 HAS SOUS 73336 HAS SOUPS 73080 WITH SCORE 73271.81
AT ITER 8666 NEW BEST:: SOT 236585 SOS 191776 HAS SOPS 191346 HAS SOUS 73315 HAS SOUPS 73059 WITH SCORE 73250.776
AT ITER 8683 NEW BEST:: SOT 236555 SOS 191746 HAS SOPS 191316 HAS SOUS 73285 HAS SOUPS 73029 WITH SCORE 73220.746
AT ITER 8691 NEW BEST:: SOT 236579 SOS 191764 HAS SOPS 191331 HAS SOUS 73259 HAS SOUPS 73000 WITH SCORE 73191.764
AT ITER 8721 NEW BEST:: SOT 236652 SOS 191826 HAS SOPS 191386 HAS SOUS 73261 HAS SOUPS 72995 WITH SCORE 73186.826
AT ITER 8744 NEW BEST:: SOT 236619 SOS 191805 HAS SOPS 191369 HAS SOUS 73243 HAS SOUPS 72981 WITH SCORE 73172.805
AT ITER 8759 NEW BEST:: SOT 236620 SOS 191806 HAS SOPS 191370 HAS SOUS 73237 HAS SOUPS 72975 WITH SCORE 73166.806
AT ITER 8776 NEW BEST:: SOT 236617 SOS 191803 HAS SOPS 191367 HAS SOUS 73232 HAS SOUPS 72970 WITH SCORE 73161.803
AT ITER 8847 NEW BEST:: SOT 236580 SOS 191765 HAS SOPS 191330 HAS SOUS 73172 HAS SOUPS 72911 WITH SCORE 73102.765
AT ITER 8851 NEW BEST:: SOT 236553 SOS 191741 HAS SOPS 191303 HAS SOUS 73112 HAS SOUPS 72848 WITH SCORE 73039.741
AT ITER 8915 NEW BEST:: SOT 236543 SOS 191731 HAS SOPS 191293 HAS SOUS 73102 HAS SOUPS 72838 WITH SCORE 73029.731
AT ITER 8970 NEW BEST:: SOT 236523 SOS 191756 HAS SOPS 191327 HAS SOUS 73059 HAS SOUPS 72804 WITH SCORE 72995.756
AT ITER 8998 NEW BEST:: SOT 236520 SOS 191753 HAS SOPS 191324 HAS SOUS 73050 HAS SOUPS 72795 WITH SCORE 72986.753
AT ITER 9082 NEW BEST:: SOT 236492 SOS 191719 HAS SOPS 191294 HAS SOUS 72972 HAS SOUPS 72721 WITH SCORE 72912.719
AT ITER 9453 NEW BEST:: SOT 236492 SOS 191699 HAS SOPS 191274 HAS SOUS 72970 HAS SOUPS 72719 WITH SCORE 72910.699
AT ITER 9486 NEW BEST:: SOT 236283 SOS 191557 HAS SOPS 191164 HAS SOUS 72897 HAS SOUPS 72678 WITH SCORE 72869.557
AT ITER 9636 NEW BEST:: SOT 236283 SOS 191557 HAS SOPS 191164 HAS SOUS 72891 HAS SOUPS 72672 WITH SCORE 72863.557
AT ITER 9679 NEW BEST:: SOT 236288 SOS 191562 HAS SOPS 191169 HAS SOUS 72883 HAS SOUPS 72664 WITH SCORE 72855.562
AT ITER 9743 NEW BEST:: SOT 236280 SOS 191554 HAS SOPS 191161 HAS SOUS 72870 HAS SOUPS 72651 WITH SCORE 72842.554
AT ITER 9796 NEW BEST:: SOT 236202 SOS 191474 HAS SOPS 191083 HAS SOUS 72734 HAS SOUPS 72517 WITH SCORE 72708.474
AT ITER 9853 NEW BEST:: SOT 236225 SOS 191482 HAS SOPS 191088 HAS SOUS 72732 HAS SOUPS 72512 WITH SCORE 72703.482
AT ITER 9986 NEW BEST:: SOT 236225 SOS 191484 HAS SOPS 191088 HAS SOUS 72730 HAS SOUPS 72510 WITH SCORE 72701.484
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
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 10770096 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16137012 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Caught signal 15, terminating.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PhilosophersDyn-COL-10"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
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 smart"
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 1"
echo " Run identifier is r291-tall-167873942700288"
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 '
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 ;