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.r227-tall-167856410400384.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 LamportFastMutEx-COL-7, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r227-tall-167856410400384
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 544K
-rw-r--r-- 1 mcc users 9.5K Feb 25 13:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 105K Feb 25 13:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 13:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 25 13:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.1K Feb 25 16:20 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 16:20 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:20 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:20 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 13:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 121K Feb 25 13:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 13:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 79K Feb 25 13:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:20 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_pt
-rw-r--r-- 1 mcc users 2 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 43K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678610467839

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=LamportFastMutEx-COL-7
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-12 08:41:10] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-12 08:41:10] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-12 08:41:10] [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-12 08:41:11] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-12 08:41:11] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 920 ms
[2023-03-12 08:41:11] [INFO ] Imported 18 HL places and 17 HL transitions for a total of 264 PT places and 672.0 transition bindings in 32 ms.
[2023-03-12 08:41:11] [INFO ] Unfolded HLPN to a Petri net with 264 places and 536 transitions 2352 arcs in 56 ms.
[2023-03-12 08:41:11] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Reduce places removed 8 places and 8 transitions.
Reduce places removed 8 places and 0 transitions.
[2023-03-12 08:41:11] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 248 places, 528 transitions and 2304 arcs took 18 ms.
Total runtime 1275 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running LamportFastMutEx (COL), instance 7
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: 248 places, 528 transitions, 2304 arcs.
AT ITER 0 NEW BEST:: SOT 59842 SOS 38462 HAS SOPS 35302 HAS SOUS 29122 HAS SOUPS 28206 WITH SCORE 28244.462
AT ITER 2 NEW BEST:: SOT 59865 SOS 38531 HAS SOPS 34946 HAS SOUS 29075 HAS SOUPS 27863 WITH SCORE 27901.531
AT ITER 4 NEW BEST:: SOT 59865 SOS 38528 HAS SOPS 34943 HAS SOUS 29072 HAS SOUPS 27860 WITH SCORE 27898.528
AT ITER 5 NEW BEST:: SOT 59831 SOS 38151 HAS SOPS 34445 HAS SOUS 28899 HAS SOUPS 27685 WITH SCORE 27723.151
AT ITER 7 NEW BEST:: SOT 60253 SOS 38887 HAS SOPS 33891 HAS SOUS 29082 HAS SOUPS 27131 WITH SCORE 27169.887
AT ITER 10 NEW BEST:: SOT 60253 SOS 38832 HAS SOPS 33836 HAS SOUS 29027 HAS SOUPS 27076 WITH SCORE 27114.832
AT ITER 13 NEW BEST:: SOT 60339 SOS 39137 HAS SOPS 33931 HAS SOUS 28815 HAS SOUPS 26759 WITH SCORE 26798.137
AT ITER 16 NEW BEST:: SOT 60383 SOS 39226 HAS SOPS 33712 HAS SOUS 28596 HAS SOUPS 26540 WITH SCORE 26579.226
AT ITER 19 NEW BEST:: SOT 60383 SOS 39208 HAS SOPS 33694 HAS SOUS 28578 HAS SOUPS 26522 WITH SCORE 26561.208
AT ITER 32 NEW BEST:: SOT 60356 SOS 39205 HAS SOPS 33625 HAS SOUS 28575 HAS SOUPS 26453 WITH SCORE 26492.205
AT ITER 40 NEW BEST:: SOT 60480 SOS 39049 HAS SOPS 33240 HAS SOUS 28638 HAS SOUPS 26356 WITH SCORE 26395.049
AT ITER 42 NEW BEST:: SOT 60480 SOS 39009 HAS SOPS 33200 HAS SOUS 28598 HAS SOUPS 26316 WITH SCORE 26355.009
AT ITER 45 NEW BEST:: SOT 60793 SOS 39652 HAS SOPS 32671 HAS SOUS 28763 HAS SOUPS 25622 WITH SCORE 25661.652
AT ITER 48 NEW BEST:: SOT 60760 SOS 39645 HAS SOPS 32611 HAS SOUS 28756 HAS SOUPS 25562 WITH SCORE 25601.645
AT ITER 49 NEW BEST:: SOT 60760 SOS 39638 HAS SOPS 32578 HAS SOUS 28723 HAS SOUPS 25529 WITH SCORE 25568.638
AT ITER 51 NEW BEST:: SOT 60801 SOS 39726 HAS SOPS 32666 HAS SOUS 28623 HAS SOUPS 25429 WITH SCORE 25468.726
AT ITER 53 NEW BEST:: SOT 60151 SOS 39288 HAS SOPS 32228 HAS SOUS 28079 HAS SOUPS 24885 WITH SCORE 24924.288
AT ITER 56 NEW BEST:: SOT 60151 SOS 39246 HAS SOPS 32186 HAS SOUS 28037 HAS SOUPS 24843 WITH SCORE 24882.246
AT ITER 58 NEW BEST:: SOT 59948 SOS 39082 HAS SOPS 31983 HAS SOUS 28029 HAS SOUPS 24796 WITH SCORE 24835.082
AT ITER 61 NEW BEST:: SOT 59948 SOS 39067 HAS SOPS 31945 HAS SOUS 27991 HAS SOUPS 24758 WITH SCORE 24797.067
AT ITER 65 NEW BEST:: SOT 59942 SOS 39037 HAS SOPS 31936 HAS SOUS 27979 HAS SOUPS 24749 WITH SCORE 24788.037
AT ITER 66 NEW BEST:: SOT 59739 SOS 38834 HAS SOPS 31733 HAS SOUS 27747 HAS SOUPS 24517 WITH SCORE 24555.834
AT ITER 72 NEW BEST:: SOT 59706 SOS 38890 HAS SOPS 31700 HAS SOUS 27772 HAS SOUPS 24484 WITH SCORE 24522.89
AT ITER 78 NEW BEST:: SOT 59706 SOS 38762 HAS SOPS 31572 HAS SOUS 27764 HAS SOUPS 24476 WITH SCORE 24514.762
AT ITER 81 NEW BEST:: SOT 59458 SOS 38537 HAS SOPS 31324 HAS SOUS 27539 HAS SOUPS 24228 WITH SCORE 24266.537
AT ITER 91 NEW BEST:: SOT 59418 SOS 38934 HAS SOPS 31289 HAS SOUS 27606 HAS SOUPS 24193 WITH SCORE 24231.934
AT ITER 92 NEW BEST:: SOT 59418 SOS 38927 HAS SOPS 31282 HAS SOUS 27606 HAS SOUPS 24193 WITH SCORE 24231.927
AT ITER 104 NEW BEST:: SOT 59418 SOS 38928 HAS SOPS 31282 HAS SOUS 27605 HAS SOUPS 24192 WITH SCORE 24230.928
AT ITER 109 NEW BEST:: SOT 59411 SOS 38921 HAS SOPS 31275 HAS SOUS 27598 HAS SOUPS 24185 WITH SCORE 24223.921
AT ITER 114 NEW BEST:: SOT 59411 SOS 38915 HAS SOPS 31233 HAS SOUS 27556 HAS SOUPS 24143 WITH SCORE 24181.915
AT ITER 116 NEW BEST:: SOT 59417 SOS 38910 HAS SOPS 31269 HAS SOUS 27492 HAS SOUPS 24096 WITH SCORE 24134.91
AT ITER 120 NEW BEST:: SOT 59517 SOS 38984 HAS SOPS 31198 HAS SOUS 27434 HAS SOUPS 24038 WITH SCORE 24076.984
AT ITER 124 NEW BEST:: SOT 58778 SOS 38245 HAS SOPS 31040 HAS SOUS 26774 HAS SOUPS 23880 WITH SCORE 23918.245
AT ITER 130 NEW BEST:: SOT 58775 SOS 38220 HAS SOPS 31033 HAS SOUS 26767 HAS SOUPS 23873 WITH SCORE 23911.22
AT ITER 131 NEW BEST:: SOT 58637 SOS 38164 HAS SOPS 31147 HAS SOUS 26652 HAS SOUPS 23758 WITH SCORE 23796.164
AT ITER 132 NEW BEST:: SOT 58637 SOS 38164 HAS SOPS 31140 HAS SOUS 26645 HAS SOUPS 23751 WITH SCORE 23789.164
AT ITER 134 NEW BEST:: SOT 58709 SOS 38278 HAS SOPS 31290 HAS SOUS 26483 HAS SOUPS 23589 WITH SCORE 23627.278
AT ITER 150 NEW BEST:: SOT 58700 SOS 38253 HAS SOPS 31256 HAS SOUS 26462 HAS SOUPS 23568 WITH SCORE 23606.253
AT ITER 153 NEW BEST:: SOT 58509 SOS 38313 HAS SOPS 31065 HAS SOUS 26402 HAS SOUPS 23369 WITH SCORE 23407.313
AT ITER 154 NEW BEST:: SOT 58541 SOS 38350 HAS SOPS 31038 HAS SOUS 26337 HAS SOUPS 23304 WITH SCORE 23342.35
AT ITER 155 NEW BEST:: SOT 58536 SOS 38345 HAS SOPS 31033 HAS SOUS 26331 HAS SOUPS 23298 WITH SCORE 23336.345
AT ITER 160 NEW BEST:: SOT 58534 SOS 38354 HAS SOPS 31028 HAS SOUS 26340 HAS SOUPS 23293 WITH SCORE 23331.354
AT ITER 162 NEW BEST:: SOT 58531 SOS 38276 HAS SOPS 30946 HAS SOUS 26262 HAS SOUPS 23211 WITH SCORE 23249.276
AT ITER 164 NEW BEST:: SOT 57958 SOS 37847 HAS SOPS 30510 HAS SOUS 25721 HAS SOUPS 22691 WITH SCORE 22728.847
AT ITER 166 NEW BEST:: SOT 58262 SOS 38254 HAS SOPS 30301 HAS SOUS 25519 HAS SOUPS 22482 WITH SCORE 22520.254
AT ITER 168 NEW BEST:: SOT 58262 SOS 38238 HAS SOPS 30301 HAS SOUS 25503 HAS SOUPS 22482 WITH SCORE 22520.238
AT ITER 169 NEW BEST:: SOT 58473 SOS 38507 HAS SOPS 30642 HAS SOUS 25391 HAS SOUPS 22411 WITH SCORE 22449.507
AT ITER 174 NEW BEST:: SOT 58257 SOS 38321 HAS SOPS 30426 HAS SOUS 25205 HAS SOUPS 22195 WITH SCORE 22233.321
AT ITER 184 NEW BEST:: SOT 58109 SOS 38173 HAS SOPS 29788 HAS SOUS 24683 HAS SOUPS 21673 WITH SCORE 21711.173
AT ITER 191 NEW BEST:: SOT 58109 SOS 38172 HAS SOPS 29772 HAS SOUS 24667 HAS SOUPS 21657 WITH SCORE 21695.172
AT ITER 214 NEW BEST:: SOT 58146 SOS 38267 HAS SOPS 29830 HAS SOUS 24662 HAS SOUPS 21652 WITH SCORE 21690.267
AT ITER 246 NEW BEST:: SOT 58146 SOS 38263 HAS SOPS 29827 HAS SOUS 24661 HAS SOUPS 21651 WITH SCORE 21689.263
AT ITER 252 NEW BEST:: SOT 58229 SOS 38357 HAS SOPS 29969 HAS SOUS 24611 HAS SOUPS 21614 WITH SCORE 21652.357
AT ITER 253 NEW BEST:: SOT 58215 SOS 38343 HAS SOPS 29955 HAS SOUS 24597 HAS SOUPS 21600 WITH SCORE 21638.343
AT ITER 254 NEW BEST:: SOT 57810 SOS 37984 HAS SOPS 29508 HAS SOUS 24283 HAS SOUPS 21153 WITH SCORE 21190.984
AT ITER 272 NEW BEST:: SOT 57810 SOS 37885 HAS SOPS 29409 HAS SOUS 24261 HAS SOUPS 21131 WITH SCORE 21168.885
AT ITER 278 NEW BEST:: SOT 57713 SOS 38059 HAS SOPS 29358 HAS SOUS 24323 HAS SOUPS 21080 WITH SCORE 21118.059
AT ITER 291 NEW BEST:: SOT 57699 SOS 37915 HAS SOPS 29390 HAS SOUS 24258 HAS SOUPS 21038 WITH SCORE 21075.915
AT ITER 297 NEW BEST:: SOT 57459 SOS 37756 HAS SOPS 29150 HAS SOUS 24238 HAS SOUPS 20854 WITH SCORE 20891.756
AT ITER 302 NEW BEST:: SOT 57342 SOS 37590 HAS SOPS 29033 HAS SOUS 24093 HAS SOUPS 20789 WITH SCORE 20826.59
AT ITER 308 NEW BEST:: SOT 57391 SOS 37558 HAS SOPS 28927 HAS SOUS 24059 HAS SOUPS 20765 WITH SCORE 20802.558
AT ITER 330 NEW BEST:: SOT 57391 SOS 37558 HAS SOPS 28917 HAS SOUS 24059 HAS SOUPS 20755 WITH SCORE 20792.558
AT ITER 338 NEW BEST:: SOT 57477 SOS 37404 HAS SOPS 28925 HAS SOUS 24001 HAS SOUPS 20706 WITH SCORE 20743.404
AT ITER 353 NEW BEST:: SOT 57192 SOS 37320 HAS SOPS 28638 HAS SOUS 23841 HAS SOUPS 20419 WITH SCORE 20456.32
AT ITER 371 NEW BEST:: SOT 57183 SOS 37311 HAS SOPS 28629 HAS SOUS 23832 HAS SOUPS 20410 WITH SCORE 20447.311
AT ITER 372 NEW BEST:: SOT 57183 SOS 37311 HAS SOPS 28621 HAS SOUS 23832 HAS SOUPS 20402 WITH SCORE 20439.311
AT ITER 373 NEW BEST:: SOT 57185 SOS 37191 HAS SOPS 28462 HAS SOUS 23791 HAS SOUPS 20361 WITH SCORE 20398.191
AT ITER 388 NEW BEST:: SOT 57246 SOS 37252 HAS SOPS 28523 HAS SOUS 23748 HAS SOUPS 20318 WITH SCORE 20355.252
AT ITER 389 NEW BEST:: SOT 57246 SOS 37264 HAS SOPS 28522 HAS SOUS 23747 HAS SOUPS 20317 WITH SCORE 20354.264
AT ITER 404 NEW BEST:: SOT 57253 SOS 37271 HAS SOPS 28516 HAS SOUS 23754 HAS SOUPS 20311 WITH SCORE 20348.271
AT ITER 406 NEW BEST:: SOT 57244 SOS 37262 HAS SOPS 28516 HAS SOUS 23745 HAS SOUPS 20311 WITH SCORE 20348.262
AT ITER 413 NEW BEST:: SOT 57240 SOS 37266 HAS SOPS 28508 HAS SOUS 23745 HAS SOUPS 20303 WITH SCORE 20340.266
AT ITER 415 NEW BEST:: SOT 57144 SOS 37203 HAS SOPS 28380 HAS SOUS 23758 HAS SOUPS 20303 WITH SCORE 20340.203
AT ITER 420 NEW BEST:: SOT 57175 SOS 37249 HAS SOPS 28350 HAS SOUS 23730 HAS SOUPS 20273 WITH SCORE 20310.249
AT ITER 422 NEW BEST:: SOT 57069 SOS 37165 HAS SOPS 28242 HAS SOUS 23734 HAS SOUPS 20253 WITH SCORE 20290.165
AT ITER 424 NEW BEST:: SOT 57060 SOS 37162 HAS SOPS 28239 HAS SOUS 23731 HAS SOUPS 20250 WITH SCORE 20287.162
AT ITER 426 NEW BEST:: SOT 56959 SOS 37309 HAS SOPS 28079 HAS SOUS 23840 HAS SOUPS 20090 WITH SCORE 20127.309
AT ITER 432 NEW BEST:: SOT 56963 SOS 37317 HAS SOPS 28045 HAS SOUS 23831 HAS SOUPS 20056 WITH SCORE 20093.317
AT ITER 434 NEW BEST:: SOT 56961 SOS 37315 HAS SOPS 28041 HAS SOUS 23829 HAS SOUPS 20052 WITH SCORE 20089.315
AT ITER 437 NEW BEST:: SOT 56929 SOS 37251 HAS SOPS 27977 HAS SOUS 23765 HAS SOUPS 19988 WITH SCORE 20025.251
AT ITER 438 NEW BEST:: SOT 56922 SOS 37244 HAS SOPS 27963 HAS SOUS 23758 HAS SOUPS 19974 WITH SCORE 20011.244
AT ITER 443 NEW BEST:: SOT 56922 SOS 37244 HAS SOPS 27947 HAS SOUS 23758 HAS SOUPS 19958 WITH SCORE 19995.244
AT ITER 452 NEW BEST:: SOT 56922 SOS 37211 HAS SOPS 27931 HAS SOUS 23742 HAS SOUPS 19942 WITH SCORE 19979.211
AT ITER 457 NEW BEST:: SOT 56769 SOS 37047 HAS SOPS 27767 HAS SOUS 23578 HAS SOUPS 19778 WITH SCORE 19815.047
AT ITER 462 NEW BEST:: SOT 56751 SOS 37123 HAS SOPS 27752 HAS SOUS 23563 HAS SOUPS 19763 WITH SCORE 19800.123
AT ITER 478 NEW BEST:: SOT 56744 SOS 37116 HAS SOPS 27745 HAS SOUS 23556 HAS SOUPS 19756 WITH SCORE 19793.116
AT ITER 483 NEW BEST:: SOT 56620 SOS 36992 HAS SOPS 27621 HAS SOUS 23432 HAS SOUPS 19632 WITH SCORE 19668.992
AT ITER 485 NEW BEST:: SOT 56620 SOS 36915 HAS SOPS 27544 HAS SOUS 23432 HAS SOUPS 19632 WITH SCORE 19668.915
AT ITER 504 NEW BEST:: SOT 56722 SOS 36864 HAS SOPS 27691 HAS SOUS 23244 HAS SOUPS 19599 WITH SCORE 19635.864
AT ITER 516 NEW BEST:: SOT 56580 SOS 36779 HAS SOPS 27546 HAS SOUS 23252 HAS SOUPS 19534 WITH SCORE 19570.779
AT ITER 528 NEW BEST:: SOT 56562 SOS 36666 HAS SOPS 27541 HAS SOUS 23193 HAS SOUPS 19529 WITH SCORE 19565.666
AT ITER 529 NEW BEST:: SOT 56652 SOS 36632 HAS SOPS 27643 HAS SOUS 23160 HAS SOUPS 19496 WITH SCORE 19532.632
AT ITER 530 NEW BEST:: SOT 56588 SOS 36428 HAS SOPS 27163 HAS SOUS 22819 HAS SOUPS 19155 WITH SCORE 19191.428
AT ITER 539 NEW BEST:: SOT 56588 SOS 36554 HAS SOPS 27151 HAS SOUS 22900 HAS SOUPS 19143 WITH SCORE 19179.554
AT ITER 542 NEW BEST:: SOT 56586 SOS 36552 HAS SOPS 27153 HAS SOUS 22830 HAS SOUPS 19077 WITH SCORE 19113.552
AT ITER 559 NEW BEST:: SOT 56586 SOS 36552 HAS SOPS 27122 HAS SOUS 22799 HAS SOUPS 19046 WITH SCORE 19082.552
AT ITER 561 NEW BEST:: SOT 56564 SOS 36537 HAS SOPS 27078 HAS SOUS 22784 HAS SOUPS 19002 WITH SCORE 19038.537
AT ITER 568 NEW BEST:: SOT 56485 SOS 36576 HAS SOPS 26999 HAS SOUS 22742 HAS SOUPS 18960 WITH SCORE 18996.576
AT ITER 573 NEW BEST:: SOT 56492 SOS 36580 HAS SOPS 26834 HAS SOUS 22590 HAS SOUPS 18808 WITH SCORE 18844.58
AT ITER 585 NEW BEST:: SOT 56454 SOS 36542 HAS SOPS 26777 HAS SOUS 22552 HAS SOUPS 18751 WITH SCORE 18787.542
AT ITER 593 NEW BEST:: SOT 56454 SOS 36542 HAS SOPS 26763 HAS SOUS 22552 HAS SOUPS 18737 WITH SCORE 18773.542
AT ITER 596 NEW BEST:: SOT 56441 SOS 36529 HAS SOPS 26737 HAS SOUS 22539 HAS SOUPS 18711 WITH SCORE 18747.529
AT ITER 603 NEW BEST:: SOT 56441 SOS 36510 HAS SOPS 26737 HAS SOUS 22534 HAS SOUPS 18711 WITH SCORE 18747.51
AT ITER 613 NEW BEST:: SOT 56362 SOS 36163 HAS SOPS 26226 HAS SOUS 22257 HAS SOUPS 18434 WITH SCORE 18470.163
AT ITER 634 NEW BEST:: SOT 56368 SOS 36169 HAS SOPS 26211 HAS SOUS 22242 HAS SOUPS 18419 WITH SCORE 18455.169
AT ITER 637 NEW BEST:: SOT 56368 SOS 36092 HAS SOPS 26134 HAS SOUS 22235 HAS SOUPS 18412 WITH SCORE 18448.092
AT ITER 644 NEW BEST:: SOT 56368 SOS 36091 HAS SOPS 26134 HAS SOUS 22235 HAS SOUPS 18412 WITH SCORE 18448.091
AT ITER 655 NEW BEST:: SOT 56237 SOS 35993 HAS SOPS 25930 HAS SOUS 22322 HAS SOUPS 18380 WITH SCORE 18415.993
AT ITER 661 NEW BEST:: SOT 56233 SOS 35985 HAS SOPS 25920 HAS SOUS 22324 HAS SOUPS 18380 WITH SCORE 18415.985
AT ITER 687 NEW BEST:: SOT 56134 SOS 35744 HAS SOPS 25488 HAS SOUS 22008 HAS SOUPS 18064 WITH SCORE 18099.744
AT ITER 703 NEW BEST:: SOT 56198 SOS 35767 HAS SOPS 25549 HAS SOUS 21879 HAS SOUPS 17949 WITH SCORE 17984.767
AT ITER 704 NEW BEST:: SOT 56194 SOS 35763 HAS SOPS 25541 HAS SOUS 21875 HAS SOUPS 17941 WITH SCORE 17976.763
AT ITER 708 NEW BEST:: SOT 56208 SOS 35721 HAS SOPS 25551 HAS SOUS 21825 HAS SOUPS 17895 WITH SCORE 17930.721
AT ITER 713 NEW BEST:: SOT 56208 SOS 35706 HAS SOPS 25551 HAS SOUS 21810 HAS SOUPS 17895 WITH SCORE 17930.706
AT ITER 720 NEW BEST:: SOT 56411 SOS 35690 HAS SOPS 25771 HAS SOUS 21698 HAS SOUPS 17802 WITH SCORE 17837.69
AT ITER 725 NEW BEST:: SOT 56415 SOS 35694 HAS SOPS 25773 HAS SOUS 21686 HAS SOUPS 17790 WITH SCORE 17825.694
AT ITER 735 NEW BEST:: SOT 56415 SOS 35674 HAS SOPS 25773 HAS SOUS 21666 HAS SOUPS 17790 WITH SCORE 17825.674
AT ITER 773 NEW BEST:: SOT 56412 SOS 35955 HAS SOPS 25793 HAS SOUS 21689 HAS SOUPS 17776 WITH SCORE 17811.955
AT ITER 774 NEW BEST:: SOT 56311 SOS 36219 HAS SOPS 25627 HAS SOUS 21885 HAS SOUPS 17610 WITH SCORE 17646.219
AT ITER 782 NEW BEST:: SOT 56292 SOS 36200 HAS SOPS 25587 HAS SOUS 21866 HAS SOUPS 17570 WITH SCORE 17606.2
AT ITER 784 NEW BEST:: SOT 56264 SOS 36120 HAS SOPS 25538 HAS SOUS 21611 HAS SOUPS 17329 WITH SCORE 17365.12
AT ITER 798 NEW BEST:: SOT 56264 SOS 36114 HAS SOPS 25538 HAS SOUS 21611 HAS SOUPS 17329 WITH SCORE 17365.114
AT ITER 816 NEW BEST:: SOT 56256 SOS 36093 HAS SOPS 25517 HAS SOUS 21590 HAS SOUPS 17308 WITH SCORE 17344.093
AT ITER 820 NEW BEST:: SOT 56244 SOS 36076 HAS SOPS 25491 HAS SOUS 21564 HAS SOUPS 17282 WITH SCORE 17318.076
AT ITER 825 NEW BEST:: SOT 56244 SOS 36062 HAS SOPS 25477 HAS SOUS 21562 HAS SOUPS 17280 WITH SCORE 17316.062
AT ITER 857 NEW BEST:: SOT 56244 SOS 36042 HAS SOPS 25457 HAS SOUS 21549 HAS SOUPS 17267 WITH SCORE 17303.042
AT ITER 873 NEW BEST:: SOT 56169 SOS 35953 HAS SOPS 25368 HAS SOUS 21474 HAS SOUPS 17192 WITH SCORE 17227.953
AT ITER 876 NEW BEST:: SOT 56307 SOS 36094 HAS SOPS 25332 HAS SOUS 21455 HAS SOUPS 17173 WITH SCORE 17209.094
AT ITER 912 NEW BEST:: SOT 56224 SOS 36026 HAS SOPS 25234 HAS SOUS 21462 HAS SOUPS 17135 WITH SCORE 17171.026
AT ITER 913 NEW BEST:: SOT 56087 SOS 35889 HAS SOPS 25095 HAS SOUS 21325 HAS SOUPS 16996 WITH SCORE 17031.889
AT ITER 914 NEW BEST:: SOT 56087 SOS 35869 HAS SOPS 25081 HAS SOUS 21279 HAS SOUPS 16953 WITH SCORE 16988.869
AT ITER 935 NEW BEST:: SOT 56087 SOS 35869 HAS SOPS 25060 HAS SOUS 21261 HAS SOUPS 16932 WITH SCORE 16967.869
AT ITER 953 NEW BEST:: SOT 56079 SOS 35853 HAS SOPS 25044 HAS SOUS 21245 HAS SOUPS 16916 WITH SCORE 16951.853
AT ITER 967 NEW BEST:: SOT 56079 SOS 35837 HAS SOPS 25028 HAS SOUS 21243 HAS SOUPS 16914 WITH SCORE 16949.837
AT ITER 978 NEW BEST:: SOT 56102 SOS 35824 HAS SOPS 25085 HAS SOUS 21192 HAS SOUPS 16868 WITH SCORE 16903.824
AT ITER 987 NEW BEST:: SOT 56108 SOS 35830 HAS SOPS 25091 HAS SOUS 21170 HAS SOUPS 16846 WITH SCORE 16881.83
AT ITER 1034 NEW BEST:: SOT 56112 SOS 35834 HAS SOPS 25075 HAS SOUS 21174 HAS SOUPS 16830 WITH SCORE 16865.834
AT ITER 1039 NEW BEST:: SOT 56103 SOS 35825 HAS SOPS 25057 HAS SOUS 21165 HAS SOUPS 16812 WITH SCORE 16847.825
AT ITER 1045 NEW BEST:: SOT 55983 SOS 35802 HAS SOPS 24905 HAS SOUS 21301 HAS SOUPS 16788 WITH SCORE 16823.802
AT ITER 1061 NEW BEST:: SOT 55970 SOS 35789 HAS SOPS 24879 HAS SOUS 21288 HAS SOUPS 16762 WITH SCORE 16797.789
AT ITER 1070 NEW BEST:: SOT 55963 SOS 35790 HAS SOPS 24872 HAS SOUS 21289 HAS SOUPS 16755 WITH SCORE 16790.79
AT ITER 1080 NEW BEST:: SOT 55992 SOS 35780 HAS SOPS 24904 HAS SOUS 21273 HAS SOUPS 16742 WITH SCORE 16777.78
AT ITER 1084 NEW BEST:: SOT 55992 SOS 35804 HAS SOPS 24928 HAS SOUS 21266 HAS SOUPS 16735 WITH SCORE 16770.804
AT ITER 1104 NEW BEST:: SOT 55932 SOS 35744 HAS SOPS 24859 HAS SOUS 21206 HAS SOUPS 16666 WITH SCORE 16701.744
AT ITER 1129 NEW BEST:: SOT 55932 SOS 35743 HAS SOPS 24859 HAS SOUS 21206 HAS SOUPS 16666 WITH SCORE 16701.743
AT ITER 1140 NEW BEST:: SOT 55932 SOS 35723 HAS SOPS 24839 HAS SOUS 21206 HAS SOUPS 16666 WITH SCORE 16701.723
AT ITER 1159 NEW BEST:: SOT 55884 SOS 35675 HAS SOPS 24768 HAS SOUS 21158 HAS SOUPS 16595 WITH SCORE 16630.675
AT ITER 1162 NEW BEST:: SOT 55887 SOS 35678 HAS SOPS 24747 HAS SOUS 21137 HAS SOUPS 16574 WITH SCORE 16609.678
AT ITER 1163 NEW BEST:: SOT 55887 SOS 35678 HAS SOPS 24738 HAS SOUS 21137 HAS SOUPS 16565 WITH SCORE 16600.678
AT ITER 1165 NEW BEST:: SOT 55870 SOS 35661 HAS SOPS 24728 HAS SOUS 21127 HAS SOUPS 16555 WITH SCORE 16590.661
AT ITER 1196 NEW BEST:: SOT 55868 SOS 35669 HAS SOPS 24724 HAS SOUS 21186 HAS SOUPS 16551 WITH SCORE 16586.669
AT ITER 1204 NEW BEST:: SOT 55865 SOS 35666 HAS SOPS 24718 HAS SOUS 21183 HAS SOUPS 16545 WITH SCORE 16580.666
AT ITER 1220 NEW BEST:: SOT 55865 SOS 35585 HAS SOPS 24637 HAS SOUS 21174 HAS SOUPS 16536 WITH SCORE 16571.585
AT ITER 1255 NEW BEST:: SOT 55854 SOS 35574 HAS SOPS 24624 HAS SOUS 21159 HAS SOUPS 16523 WITH SCORE 16558.574
AT ITER 1262 NEW BEST:: SOT 55889 SOS 35591 HAS SOPS 24655 HAS SOUS 21121 HAS SOUPS 16492 WITH SCORE 16527.591
AT ITER 1265 NEW BEST:: SOT 55694 SOS 35334 HAS SOPS 24384 HAS SOUS 20881 HAS SOUPS 16238 WITH SCORE 16273.334
AT ITER 1299 NEW BEST:: SOT 55576 SOS 35216 HAS SOPS 24266 HAS SOUS 20763 HAS SOUPS 16120 WITH SCORE 16155.216
AT ITER 1306 NEW BEST:: SOT 55558 SOS 35161 HAS SOPS 24202 HAS SOUS 20725 HAS SOUPS 16082 WITH SCORE 16117.161
AT ITER 1308 NEW BEST:: SOT 55524 SOS 35157 HAS SOPS 24139 HAS SOUS 20721 HAS SOUPS 16019 WITH SCORE 16054.157
AT ITER 1335 NEW BEST:: SOT 55531 SOS 35146 HAS SOPS 24136 HAS SOUS 20693 HAS SOUPS 15999 WITH SCORE 16034.146
AT ITER 1357 NEW BEST:: SOT 55531 SOS 35144 HAS SOPS 24136 HAS SOUS 20691 HAS SOUPS 15999 WITH SCORE 16034.144
AT ITER 1367 NEW BEST:: SOT 55507 SOS 35126 HAS SOPS 24089 HAS SOUS 20670 HAS SOUPS 15952 WITH SCORE 15987.126
AT ITER 1379 NEW BEST:: SOT 55439 SOS 35057 HAS SOPS 24004 HAS SOUS 20595 HAS SOUPS 15867 WITH SCORE 15902.057
AT ITER 1380 NEW BEST:: SOT 55430 SOS 35048 HAS SOPS 23986 HAS SOUS 20586 HAS SOUPS 15849 WITH SCORE 15884.048
AT ITER 1382 NEW BEST:: SOT 55469 SOS 35313 HAS SOPS 23841 HAS SOUS 20638 HAS SOUPS 15820 WITH SCORE 15855.313
AT ITER 1425 NEW BEST:: SOT 55481 SOS 35271 HAS SOPS 23806 HAS SOUS 20613 HAS SOUPS 15785 WITH SCORE 15820.271
AT ITER 1427 NEW BEST:: SOT 55435 SOS 35224 HAS SOPS 23714 HAS SOUS 20567 HAS SOUPS 15693 WITH SCORE 15728.224
AT ITER 1437 NEW BEST:: SOT 55426 SOS 35215 HAS SOPS 23701 HAS SOUS 20558 HAS SOUPS 15680 WITH SCORE 15715.215
AT ITER 1444 NEW BEST:: SOT 55408 SOS 35197 HAS SOPS 23665 HAS SOUS 20540 HAS SOUPS 15644 WITH SCORE 15679.197
AT ITER 1459 NEW BEST:: SOT 55266 SOS 35122 HAS SOPS 23641 HAS SOUS 20461 HAS SOUPS 15565 WITH SCORE 15600.122
AT ITER 1461 NEW BEST:: SOT 55234 SOS 35152 HAS SOPS 23651 HAS SOUS 20433 HAS SOUPS 15537 WITH SCORE 15572.152
AT ITER 1482 NEW BEST:: SOT 55203 SOS 35121 HAS SOPS 23593 HAS SOUS 20402 HAS SOUPS 15479 WITH SCORE 15514.121
AT ITER 1489 NEW BEST:: SOT 55297 SOS 35073 HAS SOPS 23735 HAS SOUS 20247 HAS SOUPS 15339 WITH SCORE 15374.073
AT ITER 1491 NEW BEST:: SOT 55267 SOS 35043 HAS SOPS 23725 HAS SOUS 20217 HAS SOUPS 15329 WITH SCORE 15364.043
AT ITER 1504 NEW BEST:: SOT 55228 SOS 34989 HAS SOPS 23693 HAS SOUS 20163 HAS SOUPS 15297 WITH SCORE 15331.989
AT ITER 1506 NEW BEST:: SOT 55182 SOS 34949 HAS SOPS 23647 HAS SOUS 20147 HAS SOUPS 15275 WITH SCORE 15309.949
AT ITER 1508 NEW BEST:: SOT 55155 SOS 34922 HAS SOPS 23607 HAS SOUS 20160 HAS SOUPS 15275 WITH SCORE 15309.922
AT ITER 1512 NEW BEST:: SOT 55152 SOS 34919 HAS SOPS 23601 HAS SOUS 20148 HAS SOUPS 15269 WITH SCORE 15303.919
AT ITER 1534 NEW BEST:: SOT 55133 SOS 34881 HAS SOPS 23563 HAS SOUS 20110 HAS SOUPS 15231 WITH SCORE 15265.881
AT ITER 1537 NEW BEST:: SOT 55119 SOS 34841 HAS SOPS 23542 HAS SOUS 20075 HAS SOUPS 15210 WITH SCORE 15244.841
AT ITER 1539 NEW BEST:: SOT 54936 SOS 34563 HAS SOPS 23237 HAS SOUS 19827 HAS SOUPS 14962 WITH SCORE 14996.563
AT ITER 1548 NEW BEST:: SOT 54924 SOS 34551 HAS SOPS 23141 HAS SOUS 19808 HAS SOUPS 14866 WITH SCORE 14900.551
AT ITER 1551 NEW BEST:: SOT 54892 SOS 34519 HAS SOPS 23101 HAS SOUS 19776 HAS SOUPS 14826 WITH SCORE 14860.519
AT ITER 1554 NEW BEST:: SOT 54822 SOS 34449 HAS SOPS 23017 HAS SOUS 19706 HAS SOUPS 14742 WITH SCORE 14776.449
AT ITER 1584 NEW BEST:: SOT 54510 SOS 34107 HAS SOPS 22633 HAS SOUS 19500 HAS SOUPS 14522 WITH SCORE 14556.107
AT ITER 1590 NEW BEST:: SOT 54510 SOS 34107 HAS SOPS 22629 HAS SOUS 19500 HAS SOUPS 14518 WITH SCORE 14552.107
AT ITER 1598 NEW BEST:: SOT 54490 SOS 34085 HAS SOPS 22599 HAS SOUS 19470 HAS SOUPS 14488 WITH SCORE 14522.085
AT ITER 1618 NEW BEST:: SOT 54434 SOS 34055 HAS SOPS 22597 HAS SOUS 19403 HAS SOUPS 14421 WITH SCORE 14455.055
AT ITER 1627 NEW BEST:: SOT 54434 SOS 34046 HAS SOPS 22588 HAS SOUS 19395 HAS SOUPS 14413 WITH SCORE 14447.046
AT ITER 1652 NEW BEST:: SOT 54434 SOS 34064 HAS SOPS 22597 HAS SOUS 19389 HAS SOUPS 14407 WITH SCORE 14441.064
AT ITER 1655 NEW BEST:: SOT 54420 SOS 34050 HAS SOPS 22582 HAS SOUS 19373 HAS SOUPS 14392 WITH SCORE 14426.05
AT ITER 1666 NEW BEST:: SOT 54410 SOS 34056 HAS SOPS 22588 HAS SOUS 19361 HAS SOUPS 14380 WITH SCORE 14414.056
AT ITER 1692 NEW BEST:: SOT 54354 SOS 33934 HAS SOPS 22536 HAS SOUS 19276 HAS SOUPS 14307 WITH SCORE 14340.934
AT ITER 1726 NEW BEST:: SOT 54349 SOS 33929 HAS SOPS 22526 HAS SOUS 19271 HAS SOUPS 14297 WITH SCORE 14330.929
AT ITER 1757 NEW BEST:: SOT 54231 SOS 33897 HAS SOPS 22435 HAS SOUS 19308 HAS SOUPS 14291 WITH SCORE 14324.897
AT ITER 1805 NEW BEST:: SOT 54231 SOS 33875 HAS SOPS 22413 HAS SOUS 19294 HAS SOUPS 14277 WITH SCORE 14310.875
AT ITER 1826 NEW BEST:: SOT 54231 SOS 33947 HAS SOPS 22485 HAS SOUS 19288 HAS SOUPS 14271 WITH SCORE 14304.947
AT ITER 1838 NEW BEST:: SOT 54216 SOS 33932 HAS SOPS 22462 HAS SOUS 19273 HAS SOUPS 14248 WITH SCORE 14281.932
AT ITER 1840 NEW BEST:: SOT 54195 SOS 33917 HAS SOPS 22435 HAS SOUS 19294 HAS SOUPS 14245 WITH SCORE 14278.917
AT ITER 1847 NEW BEST:: SOT 54195 SOS 33790 HAS SOPS 22308 HAS SOUS 19285 HAS SOUPS 14236 WITH SCORE 14269.79
AT ITER 1849 NEW BEST:: SOT 54195 SOS 33790 HAS SOPS 22305 HAS SOUS 19285 HAS SOUPS 14233 WITH SCORE 14266.79
AT ITER 1870 NEW BEST:: SOT 54165 SOS 33917 HAS SOPS 22275 HAS SOUS 19345 HAS SOUPS 14203 WITH SCORE 14236.917
AT ITER 1886 NEW BEST:: SOT 54165 SOS 33834 HAS SOPS 22192 HAS SOUS 19336 HAS SOUPS 14194 WITH SCORE 14227.834
AT ITER 1896 NEW BEST:: SOT 54161 SOS 33934 HAS SOPS 22293 HAS SOUS 19330 HAS SOUPS 14188 WITH SCORE 14221.934
AT ITER 1906 NEW BEST:: SOT 53951 SOS 33724 HAS SOPS 22188 HAS SOUS 19128 HAS SOUPS 14083 WITH SCORE 14116.724
AT ITER 1923 NEW BEST:: SOT 53931 SOS 33704 HAS SOPS 22176 HAS SOUS 19112 HAS SOUPS 14071 WITH SCORE 14104.704
AT ITER 1954 NEW BEST:: SOT 53929 SOS 33688 HAS SOPS 22074 HAS SOUS 19019 HAS SOUPS 13969 WITH SCORE 14002.688
AT ITER 1957 NEW BEST:: SOT 53833 SOS 33592 HAS SOPS 22050 HAS SOUS 19000 HAS SOUPS 13945 WITH SCORE 13978.592
AT ITER 1965 NEW BEST:: SOT 53832 SOS 33488 HAS SOPS 21946 HAS SOUS 18993 HAS SOUPS 13938 WITH SCORE 13971.488
AT ITER 1967 NEW BEST:: SOT 53828 SOS 33497 HAS SOPS 21940 HAS SOUS 18981 HAS SOUPS 13932 WITH SCORE 13965.497
AT ITER 1982 NEW BEST:: SOT 53980 SOS 33669 HAS SOPS 21876 HAS SOUS 18909 HAS SOUPS 13868 WITH SCORE 13901.669
AT ITER 1993 NEW BEST:: SOT 53972 SOS 33643 HAS SOPS 21860 HAS SOUS 18884 HAS SOUPS 13852 WITH SCORE 13885.643
AT ITER 2026 NEW BEST:: SOT 53942 SOS 33613 HAS SOPS 21800 HAS SOUS 18854 HAS SOUPS 13792 WITH SCORE 13825.613
AT ITER 2030 NEW BEST:: SOT 53937 SOS 33608 HAS SOPS 21795 HAS SOUS 18849 HAS SOUPS 13787 WITH SCORE 13820.608
AT ITER 2033 NEW BEST:: SOT 53922 SOS 33593 HAS SOPS 21765 HAS SOUS 18834 HAS SOUPS 13757 WITH SCORE 13790.593
AT ITER 2048 NEW BEST:: SOT 53902 SOS 33573 HAS SOPS 21732 HAS SOUS 18814 HAS SOUPS 13724 WITH SCORE 13757.573
AT ITER 2052 NEW BEST:: SOT 53907 SOS 33534 HAS SOPS 21684 HAS SOUS 18799 HAS SOUPS 13698 WITH SCORE 13731.534
AT ITER 2056 NEW BEST:: SOT 53883 SOS 33510 HAS SOPS 21660 HAS SOUS 18775 HAS SOUPS 13674 WITH SCORE 13707.51
AT ITER 2067 NEW BEST:: SOT 53772 SOS 33550 HAS SOPS 21642 HAS SOUS 18788 HAS SOUPS 13669 WITH SCORE 13702.55
AT ITER 2069 NEW BEST:: SOT 53766 SOS 33544 HAS SOPS 21630 HAS SOUS 18782 HAS SOUPS 13657 WITH SCORE 13690.544
AT ITER 2070 NEW BEST:: SOT 53744 SOS 33523 HAS SOPS 21609 HAS SOUS 18761 HAS SOUPS 13636 WITH SCORE 13669.523
AT ITER 2072 NEW BEST:: SOT 53799 SOS 33577 HAS SOPS 21462 HAS SOUS 18642 HAS SOUPS 13512 WITH SCORE 13545.577
AT ITER 2076 NEW BEST:: SOT 53799 SOS 33581 HAS SOPS 21466 HAS SOUS 18617 HAS SOUPS 13487 WITH SCORE 13520.581
AT ITER 2081 NEW BEST:: SOT 53798 SOS 33580 HAS SOPS 21464 HAS SOUS 18616 HAS SOUPS 13485 WITH SCORE 13518.58
AT ITER 2090 NEW BEST:: SOT 53831 SOS 33599 HAS SOPS 21497 HAS SOUS 18541 HAS SOUPS 13462 WITH SCORE 13495.599
AT ITER 2091 NEW BEST:: SOT 53821 SOS 33589 HAS SOPS 21477 HAS SOUS 18531 HAS SOUPS 13442 WITH SCORE 13475.589
AT ITER 2107 NEW BEST:: SOT 53817 SOS 33585 HAS SOPS 21466 HAS SOUS 18525 HAS SOUPS 13431 WITH SCORE 13464.585
AT ITER 2109 NEW BEST:: SOT 53817 SOS 33514 HAS SOPS 21395 HAS SOUS 18525 HAS SOUPS 13431 WITH SCORE 13464.514
AT ITER 2160 NEW BEST:: SOT 53820 SOS 33517 HAS SOPS 21391 HAS SOUS 18528 HAS SOUPS 13427 WITH SCORE 13460.517
AT ITER 2180 NEW BEST:: SOT 53820 SOS 33541 HAS SOPS 21376 HAS SOUS 18513 HAS SOUPS 13412 WITH SCORE 13445.541
AT ITER 2182 NEW BEST:: SOT 53811 SOS 33532 HAS SOPS 21361 HAS SOUS 18504 HAS SOUPS 13397 WITH SCORE 13430.532
AT ITER 2219 NEW BEST:: SOT 53793 SOS 33514 HAS SOPS 21332 HAS SOUS 18475 HAS SOUPS 13368 WITH SCORE 13401.514
AT ITER 2221 NEW BEST:: SOT 53773 SOS 33494 HAS SOPS 21313 HAS SOUS 18456 HAS SOUPS 13349 WITH SCORE 13382.494
AT ITER 2246 NEW BEST:: SOT 53774 SOS 33497 HAS SOPS 21309 HAS SOUS 18451 HAS SOUPS 13344 WITH SCORE 13377.497
AT ITER 2272 NEW BEST:: SOT 53735 SOS 33458 HAS SOPS 21242 HAS SOUS 18384 HAS SOUPS 13277 WITH SCORE 13310.458
AT ITER 2306 NEW BEST:: SOT 53735 SOS 33485 HAS SOPS 21233 HAS SOUS 18423 HAS SOUPS 13268 WITH SCORE 13301.485
AT ITER 2317 NEW BEST:: SOT 53717 SOS 33467 HAS SOPS 21198 HAS SOUS 18405 HAS SOUPS 13233 WITH SCORE 13266.467
AT ITER 2339 NEW BEST:: SOT 53616 SOS 33253 HAS SOPS 21090 HAS SOUS 18200 HAS SOUPS 13209 WITH SCORE 13242.253
AT ITER 2356 NEW BEST:: SOT 53584 SOS 33195 HAS SOPS 21032 HAS SOUS 18150 HAS SOUPS 13159 WITH SCORE 13192.195
AT ITER 2370 NEW BEST:: SOT 53555 SOS 33168 HAS SOPS 21020 HAS SOUS 18123 HAS SOUPS 13147 WITH SCORE 13180.168
AT ITER 2398 NEW BEST:: SOT 53555 SOS 33154 HAS SOPS 21020 HAS SOUS 18088 HAS SOUPS 13147 WITH SCORE 13180.154
AT ITER 2411 NEW BEST:: SOT 53690 SOS 33018 HAS SOPS 20972 HAS SOUS 17926 HAS SOUPS 13009 WITH SCORE 13042.018
AT ITER 2420 NEW BEST:: SOT 53690 SOS 33018 HAS SOPS 20966 HAS SOUS 17926 HAS SOUPS 13003 WITH SCORE 13036.018
AT ITER 2460 NEW BEST:: SOT 53648 SOS 32976 HAS SOPS 20946 HAS SOUS 17906 HAS SOUPS 12983 WITH SCORE 13015.976
AT ITER 2463 NEW BEST:: SOT 53536 SOS 32864 HAS SOPS 20876 HAS SOUS 17836 HAS SOUPS 12913 WITH SCORE 12945.864
AT ITER 2506 NEW BEST:: SOT 53531 SOS 32859 HAS SOPS 20866 HAS SOUS 17810 HAS SOUPS 12903 WITH SCORE 12935.859
AT ITER 2521 NEW BEST:: SOT 53423 SOS 32710 HAS SOPS 20703 HAS SOUS 17648 HAS SOUPS 12741 WITH SCORE 12773.71
AT ITER 2536 NEW BEST:: SOT 53403 SOS 32690 HAS SOPS 20679 HAS SOUS 17628 HAS SOUPS 12717 WITH SCORE 12749.69
AT ITER 2537 NEW BEST:: SOT 53396 SOS 32683 HAS SOPS 20672 HAS SOUS 17621 HAS SOUPS 12710 WITH SCORE 12742.683
AT ITER 2553 NEW BEST:: SOT 53393 SOS 32680 HAS SOPS 20666 HAS SOUS 17618 HAS SOUPS 12704 WITH SCORE 12736.68
AT ITER 2568 NEW BEST:: SOT 53390 SOS 32679 HAS SOPS 20662 HAS SOUS 17622 HAS SOUPS 12704 WITH SCORE 12736.679
AT ITER 2609 NEW BEST:: SOT 53391 SOS 32680 HAS SOPS 20661 HAS SOUS 17623 HAS SOUPS 12703 WITH SCORE 12735.68
AT ITER 2652 NEW BEST:: SOT 53391 SOS 32678 HAS SOPS 20660 HAS SOUS 17622 HAS SOUPS 12702 WITH SCORE 12734.678
AT ITER 2680 NEW BEST:: SOT 53340 SOS 32644 HAS SOPS 20603 HAS SOUS 17680 HAS SOUPS 12697 WITH SCORE 12729.644
AT ITER 2707 NEW BEST:: SOT 53279 SOS 32262 HAS SOPS 20535 HAS SOUS 17162 HAS SOUPS 12619 WITH SCORE 12651.262
AT ITER 2731 NEW BEST:: SOT 53278 SOS 32261 HAS SOPS 20534 HAS SOUS 17161 HAS SOUPS 12618 WITH SCORE 12650.261
AT ITER 2735 NEW BEST:: SOT 53288 SOS 32272 HAS SOPS 20522 HAS SOUS 17157 HAS SOUPS 12606 WITH SCORE 12638.272
AT ITER 2750 NEW BEST:: SOT 53288 SOS 32282 HAS SOPS 20520 HAS SOUS 17167 HAS SOUPS 12604 WITH SCORE 12636.282
AT ITER 2761 NEW BEST:: SOT 53288 SOS 32290 HAS SOPS 20548 HAS SOUS 17163 HAS SOUPS 12600 WITH SCORE 12632.29
AT ITER 2778 NEW BEST:: SOT 53283 SOS 32284 HAS SOPS 20542 HAS SOUS 17157 HAS SOUPS 12594 WITH SCORE 12626.284
AT ITER 2797 NEW BEST:: SOT 53177 SOS 32218 HAS SOPS 20490 HAS SOUS 16993 HAS SOUPS 12442 WITH SCORE 12474.218
AT ITER 2823 NEW BEST:: SOT 53112 SOS 32145 HAS SOPS 20473 HAS SOUS 16971 HAS SOUPS 12425 WITH SCORE 12457.145
AT ITER 2829 NEW BEST:: SOT 53111 SOS 32144 HAS SOPS 20471 HAS SOUS 16970 HAS SOUPS 12423 WITH SCORE 12455.144
AT ITER 2852 NEW BEST:: SOT 53111 SOS 32136 HAS SOPS 20471 HAS SOUS 16922 HAS SOUPS 12423 WITH SCORE 12455.136
AT ITER 2866 NEW BEST:: SOT 53111 SOS 32112 HAS SOPS 20459 HAS SOUS 16922 HAS SOUPS 12423 WITH SCORE 12455.112
AT ITER 3065 NEW BEST:: SOT 53092 SOS 32067 HAS SOPS 20431 HAS SOUS 16879 HAS SOUPS 12395 WITH SCORE 12427.067
AT ITER 3095 NEW BEST:: SOT 53077 SOS 32052 HAS SOPS 20409 HAS SOUS 16864 HAS SOUPS 12373 WITH SCORE 12405.052
AT ITER 3112 NEW BEST:: SOT 53072 SOS 32047 HAS SOPS 20393 HAS SOUS 16859 HAS SOUPS 12357 WITH SCORE 12389.047
AT ITER 3140 NEW BEST:: SOT 53039 SOS 32014 HAS SOPS 20360 HAS SOUS 16826 HAS SOUPS 12324 WITH SCORE 12356.014
AT ITER 3170 NEW BEST:: SOT 53042 SOS 32141 HAS SOPS 20487 HAS SOUS 16822 HAS SOUPS 12320 WITH SCORE 12352.141
AT ITER 3195 NEW BEST:: SOT 53035 SOS 32134 HAS SOPS 20473 HAS SOUS 16815 HAS SOUPS 12306 WITH SCORE 12338.134
AT ITER 3210 NEW BEST:: SOT 53035 SOS 32082 HAS SOPS 20477 HAS SOUS 16787 HAS SOUPS 12285 WITH SCORE 12317.082
AT ITER 3223 NEW BEST:: SOT 53032 SOS 32079 HAS SOPS 20471 HAS SOUS 16784 HAS SOUPS 12279 WITH SCORE 12311.079
AT ITER 3245 NEW BEST:: SOT 53032 SOS 32055 HAS SOPS 20447 HAS SOUS 16781 HAS SOUPS 12276 WITH SCORE 12308.055
AT ITER 3248 NEW BEST:: SOT 53029 SOS 32049 HAS SOPS 20441 HAS SOUS 16775 HAS SOUPS 12270 WITH SCORE 12302.049
AT ITER 3269 NEW BEST:: SOT 53025 SOS 32045 HAS SOPS 20433 HAS SOUS 16766 HAS SOUPS 12262 WITH SCORE 12294.045
AT ITER 3342 NEW BEST:: SOT 53024 SOS 32044 HAS SOPS 20431 HAS SOUS 16765 HAS SOUPS 12260 WITH SCORE 12292.044
AT ITER 3358 NEW BEST:: SOT 53035 SOS 32044 HAS SOPS 20444 HAS SOUS 16761 HAS SOUPS 12257 WITH SCORE 12289.044
AT ITER 3364 NEW BEST:: SOT 53035 SOS 32038 HAS SOPS 20438 HAS SOUS 16761 HAS SOUPS 12257 WITH SCORE 12289.038
AT ITER 3378 NEW BEST:: SOT 53035 SOS 32022 HAS SOPS 20422 HAS SOUS 16761 HAS SOUPS 12257 WITH SCORE 12289.022
AT ITER 3403 NEW BEST:: SOT 53035 SOS 31990 HAS SOPS 20390 HAS SOUS 16757 HAS SOUPS 12253 WITH SCORE 12284.99
AT ITER 3442 NEW BEST:: SOT 53039 SOS 32000 HAS SOPS 20387 HAS SOUS 16767 HAS SOUPS 12250 WITH SCORE 12282.0
AT ITER 3455 NEW BEST:: SOT 53036 SOS 31997 HAS SOPS 20371 HAS SOUS 16764 HAS SOUPS 12234 WITH SCORE 12265.997
AT ITER 3456 NEW BEST:: SOT 53080 SOS 32041 HAS SOPS 20407 HAS SOUS 16733 HAS SOUPS 12214 WITH SCORE 12246.041
AT ITER 3481 NEW BEST:: SOT 53028 SOS 31989 HAS SOPS 20355 HAS SOUS 16681 HAS SOUPS 12162 WITH SCORE 12193.989
AT ITER 3490 NEW BEST:: SOT 53051 SOS 31775 HAS SOPS 20132 HAS SOUS 16654 HAS SOUPS 12135 WITH SCORE 12166.775
AT ITER 3510 NEW BEST:: SOT 53051 SOS 31767 HAS SOPS 20132 HAS SOUS 16654 HAS SOUPS 12135 WITH SCORE 12166.767
AT ITER 3511 NEW BEST:: SOT 53061 SOS 31739 HAS SOPS 20129 HAS SOUS 16577 HAS SOUPS 12066 WITH SCORE 12097.739
AT ITER 3541 NEW BEST:: SOT 52941 SOS 31619 HAS SOPS 20004 HAS SOUS 16468 HAS SOUPS 11957 WITH SCORE 11988.619
AT ITER 3542 NEW BEST:: SOT 52943 SOS 31621 HAS SOPS 19997 HAS SOUS 16470 HAS SOUPS 11950 WITH SCORE 11981.621
AT ITER 3547 NEW BEST:: SOT 52942 SOS 31620 HAS SOPS 19995 HAS SOUS 16469 HAS SOUPS 11948 WITH SCORE 11979.62
AT ITER 3571 NEW BEST:: SOT 53032 SOS 31678 HAS SOPS 19847 HAS SOUS 16417 HAS SOUPS 11896 WITH SCORE 11927.678
AT ITER 3606 NEW BEST:: SOT 53029 SOS 31675 HAS SOPS 19841 HAS SOUS 16414 HAS SOUPS 11890 WITH SCORE 11921.675
AT ITER 3637 NEW BEST:: SOT 53014 SOS 31660 HAS SOPS 19811 HAS SOUS 16399 HAS SOUPS 11860 WITH SCORE 11891.66
AT ITER 3645 NEW BEST:: SOT 53006 SOS 31646 HAS SOPS 19810 HAS SOUS 16385 HAS SOUPS 11859 WITH SCORE 11890.646
AT ITER 3652 NEW BEST:: SOT 52922 SOS 31616 HAS SOPS 19667 HAS SOUS 16379 HAS SOUPS 11853 WITH SCORE 11884.616
AT ITER 3655 NEW BEST:: SOT 52908 SOS 31604 HAS SOPS 19651 HAS SOUS 16374 HAS SOUPS 11849 WITH SCORE 11880.604
AT ITER 3688 NEW BEST:: SOT 52901 SOS 31585 HAS SOPS 19637 HAS SOUS 16355 HAS SOUPS 11835 WITH SCORE 11866.585
AT ITER 3748 NEW BEST:: SOT 52898 SOS 31582 HAS SOPS 19634 HAS SOUS 16352 HAS SOUPS 11832 WITH SCORE 11863.582
AT ITER 3810 NEW BEST:: SOT 52890 SOS 31574 HAS SOPS 19624 HAS SOUS 16344 HAS SOUPS 11822 WITH SCORE 11853.574
AT ITER 3869 NEW BEST:: SOT 52862 SOS 31546 HAS SOPS 19598 HAS SOUS 16318 HAS SOUPS 11796 WITH SCORE 11827.546
AT ITER 3895 NEW BEST:: SOT 52808 SOS 31366 HAS SOPS 19595 HAS SOUS 16235 HAS SOUPS 11742 WITH SCORE 11773.366
AT ITER 3908 NEW BEST:: SOT 52807 SOS 31366 HAS SOPS 19594 HAS SOUS 16240 HAS SOUPS 11741 WITH SCORE 11772.366
AT ITER 3914 NEW BEST:: SOT 52792 SOS 31356 HAS SOPS 19563 HAS SOUS 16222 HAS SOUPS 11710 WITH SCORE 11741.356
AT ITER 3933 NEW BEST:: SOT 52792 SOS 31342 HAS SOPS 19549 HAS SOUS 16208 HAS SOUPS 11696 WITH SCORE 11727.342
AT ITER 3937 NEW BEST:: SOT 52691 SOS 31241 HAS SOPS 19503 HAS SOUS 16184 HAS SOUPS 11650 WITH SCORE 11681.241
AT ITER 3944 NEW BEST:: SOT 52627 SOS 31177 HAS SOPS 19495 HAS SOUS 16144 HAS SOUPS 11610 WITH SCORE 11641.177
AT ITER 3959 NEW BEST:: SOT 52627 SOS 31174 HAS SOPS 19495 HAS SOUS 16141 HAS SOUPS 11610 WITH SCORE 11641.174
AT ITER 3964 NEW BEST:: SOT 52626 SOS 31147 HAS SOPS 19468 HAS SOUS 16127 HAS SOUPS 11596 WITH SCORE 11627.147
AT ITER 3968 NEW BEST:: SOT 52620 SOS 31141 HAS SOPS 19456 HAS SOUS 16121 HAS SOUPS 11584 WITH SCORE 11615.141
AT ITER 4002 NEW BEST:: SOT 52698 SOS 31242 HAS SOPS 19403 HAS SOUS 16068 HAS SOUPS 11531 WITH SCORE 11562.242
AT ITER 4011 NEW BEST:: SOT 52695 SOS 31239 HAS SOPS 19397 HAS SOUS 16065 HAS SOUPS 11525 WITH SCORE 11556.239
AT ITER 4014 NEW BEST:: SOT 52683 SOS 31226 HAS SOPS 19384 HAS SOUS 16041 HAS SOUPS 11512 WITH SCORE 11543.226
AT ITER 4018 NEW BEST:: SOT 52659 SOS 31209 HAS SOPS 19346 HAS SOUS 16028 HAS SOUPS 11499 WITH SCORE 11530.209
AT ITER 4047 NEW BEST:: SOT 52659 SOS 31179 HAS SOPS 19316 HAS SOUS 16028 HAS SOUPS 11499 WITH SCORE 11530.179
AT ITER 4096 NEW BEST:: SOT 52643 SOS 31163 HAS SOPS 19296 HAS SOUS 16013 HAS SOUPS 11483 WITH SCORE 11514.163
AT ITER 4127 NEW BEST:: SOT 52661 SOS 31166 HAS SOPS 19335 HAS SOUS 15983 HAS SOUPS 11456 WITH SCORE 11487.166
AT ITER 4141 NEW BEST:: SOT 52646 SOS 31065 HAS SOPS 19305 HAS SOUS 15904 HAS SOUPS 11426 WITH SCORE 11457.065
AT ITER 4230 NEW BEST:: SOT 52646 SOS 31064 HAS SOPS 19305 HAS SOUS 15903 HAS SOUPS 11426 WITH SCORE 11457.064
AT ITER 4303 NEW BEST:: SOT 52622 SOS 30976 HAS SOPS 19294 HAS SOUS 15887 HAS SOUPS 11418 WITH SCORE 11448.976
AT ITER 4330 NEW BEST:: SOT 52615 SOS 30969 HAS SOPS 19280 HAS SOUS 15880 HAS SOUPS 11404 WITH SCORE 11434.969
AT ITER 4355 NEW BEST:: SOT 52612 SOS 30966 HAS SOPS 19277 HAS SOUS 15877 HAS SOUPS 11401 WITH SCORE 11431.966
AT ITER 4367 NEW BEST:: SOT 52623 SOS 30977 HAS SOPS 19270 HAS SOUS 15877 HAS SOUPS 11394 WITH SCORE 11424.977
AT ITER 4371 NEW BEST:: SOT 52621 SOS 30971 HAS SOPS 19264 HAS SOUS 15873 HAS SOUPS 11390 WITH SCORE 11420.971
AT ITER 4402 NEW BEST:: SOT 52621 SOS 30971 HAS SOPS 19262 HAS SOUS 15873 HAS SOUPS 11388 WITH SCORE 11418.971
AT ITER 4412 NEW BEST:: SOT 52504 SOS 30854 HAS SOPS 19199 HAS SOUS 15798 HAS SOUPS 11325 WITH SCORE 11355.854
AT ITER 4424 NEW BEST:: SOT 52455 SOS 30683 HAS SOPS 19215 HAS SOUS 15756 HAS SOUPS 11297 WITH SCORE 11327.683
AT ITER 4433 NEW BEST:: SOT 52390 SOS 30666 HAS SOPS 19148 HAS SOUS 15817 HAS SOUPS 11278 WITH SCORE 11308.666
AT ITER 4454 NEW BEST:: SOT 52387 SOS 30663 HAS SOPS 19146 HAS SOUS 15814 HAS SOUPS 11276 WITH SCORE 11306.663
AT ITER 4495 NEW BEST:: SOT 52379 SOS 30655 HAS SOPS 19138 HAS SOUS 15806 HAS SOUPS 11268 WITH SCORE 11298.655
AT ITER 4497 NEW BEST:: SOT 52357 SOS 30622 HAS SOPS 19105 HAS SOUS 15773 HAS SOUPS 11235 WITH SCORE 11265.622
AT ITER 4544 NEW BEST:: SOT 52334 SOS 30555 HAS SOPS 19082 HAS SOUS 15706 HAS SOUPS 11212 WITH SCORE 11242.555
AT ITER 4546 NEW BEST:: SOT 52281 SOS 30502 HAS SOPS 19001 HAS SOUS 15653 HAS SOUPS 11131 WITH SCORE 11161.502
AT ITER 4549 NEW BEST:: SOT 52260 SOS 30536 HAS SOPS 18972 HAS SOUS 15649 HAS SOUPS 11118 WITH SCORE 11148.536
AT ITER 4607 NEW BEST:: SOT 52260 SOS 30531 HAS SOPS 18937 HAS SOUS 15649 HAS SOUPS 11118 WITH SCORE 11148.531
AT ITER 4622 NEW BEST:: SOT 52232 SOS 30475 HAS SOPS 18909 HAS SOUS 15563 HAS SOUPS 11118 WITH SCORE 11148.475
AT ITER 4726 NEW BEST:: SOT 52232 SOS 30498 HAS SOPS 18908 HAS SOUS 15611 HAS SOUPS 11117 WITH SCORE 11147.498
AT ITER 4835 NEW BEST:: SOT 52238 SOS 30504 HAS SOPS 18907 HAS SOUS 15610 HAS SOUPS 11116 WITH SCORE 11146.504
AT ITER 4926 NEW BEST:: SOT 52203 SOS 30469 HAS SOPS 18872 HAS SOUS 15557 HAS SOUPS 11081 WITH SCORE 11111.469
AT ITER 5014 NEW BEST:: SOT 52247 SOS 30466 HAS SOPS 18885 HAS SOUS 15544 HAS SOUPS 11076 WITH SCORE 11106.466
AT ITER 5029 NEW BEST:: SOT 52251 SOS 30483 HAS SOPS 18882 HAS SOUS 15620 HAS SOUPS 11073 WITH SCORE 11103.483
AT ITER 5048 NEW BEST:: SOT 52214 SOS 30447 HAS SOPS 18845 HAS SOUS 15584 HAS SOUPS 11036 WITH SCORE 11066.447
AT ITER 5101 NEW BEST:: SOT 52204 SOS 30437 HAS SOPS 18838 HAS SOUS 15574 HAS SOUPS 11029 WITH SCORE 11059.437
AT ITER 5139 NEW BEST:: SOT 52198 SOS 30419 HAS SOPS 18832 HAS SOUS 15559 HAS SOUPS 11023 WITH SCORE 11053.419
AT ITER 5147 NEW BEST:: SOT 52200 SOS 30431 HAS SOPS 18829 HAS SOUS 15614 HAS SOUPS 11020 WITH SCORE 11050.431
AT ITER 5178 NEW BEST:: SOT 52200 SOS 30436 HAS SOPS 18834 HAS SOUS 15611 HAS SOUPS 11017 WITH SCORE 11047.436
AT ITER 5207 NEW BEST:: SOT 52130 SOS 30358 HAS SOPS 18798 HAS SOUS 15539 HAS SOUPS 10981 WITH SCORE 11011.358
AT ITER 5262 NEW BEST:: SOT 52147 SOS 30371 HAS SOPS 18839 HAS SOUS 15537 HAS SOUPS 10979 WITH SCORE 11009.371
AT ITER 5281 NEW BEST:: SOT 52145 SOS 30369 HAS SOPS 18835 HAS SOUS 15535 HAS SOUPS 10975 WITH SCORE 11005.369
AT ITER 5291 NEW BEST:: SOT 52145 SOS 30299 HAS SOPS 18765 HAS SOUS 15533 HAS SOUPS 10973 WITH SCORE 11003.299
AT ITER 5315 NEW BEST:: SOT 52145 SOS 30240 HAS SOPS 18706 HAS SOUS 15533 HAS SOUPS 10973 WITH SCORE 11003.24
AT ITER 5380 NEW BEST:: SOT 52118 SOS 30213 HAS SOPS 18670 HAS SOUS 15504 HAS SOUPS 10937 WITH SCORE 10967.213
AT ITER 5404 NEW BEST:: SOT 52112 SOS 30207 HAS SOPS 18658 HAS SOUS 15498 HAS SOUPS 10925 WITH SCORE 10955.207
AT ITER 5441 NEW BEST:: SOT 52114 SOS 30186 HAS SOPS 18704 HAS SOUS 15471 HAS SOUPS 10906 WITH SCORE 10936.186
AT ITER 5462 NEW BEST:: SOT 52113 SOS 30185 HAS SOPS 18702 HAS SOUS 15470 HAS SOUPS 10904 WITH SCORE 10934.185
AT ITER 5469 NEW BEST:: SOT 52113 SOS 30145 HAS SOPS 18662 HAS SOUS 15465 HAS SOUPS 10899 WITH SCORE 10929.145
AT ITER 5565 NEW BEST:: SOT 52113 SOS 30139 HAS SOPS 18656 HAS SOUS 15465 HAS SOUPS 10899 WITH SCORE 10929.139
AT ITER 5572 NEW BEST:: SOT 52055 SOS 30053 HAS SOPS 18584 HAS SOUS 15393 HAS SOUPS 10827 WITH SCORE 10857.053
AT ITER 5578 NEW BEST:: SOT 52054 SOS 30056 HAS SOPS 18581 HAS SOUS 15398 HAS SOUPS 10824 WITH SCORE 10854.056
AT ITER 5601 NEW BEST:: SOT 52054 SOS 30050 HAS SOPS 18581 HAS SOUS 15398 HAS SOUPS 10824 WITH SCORE 10854.05
AT ITER 5650 NEW BEST:: SOT 52049 SOS 30045 HAS SOPS 18578 HAS SOUS 15393 HAS SOUPS 10821 WITH SCORE 10851.045
AT ITER 5695 NEW BEST:: SOT 51990 SOS 30014 HAS SOPS 18558 HAS SOUS 15355 HAS SOUPS 10794 WITH SCORE 10824.014
AT ITER 5734 NEW BEST:: SOT 51985 SOS 30009 HAS SOPS 18552 HAS SOUS 15350 HAS SOUPS 10788 WITH SCORE 10818.009
AT ITER 5739 NEW BEST:: SOT 51979 SOS 30003 HAS SOPS 18536 HAS SOUS 15334 HAS SOUPS 10772 WITH SCORE 10802.003
AT ITER 5785 NEW BEST:: SOT 51972 SOS 30021 HAS SOPS 18561 HAS SOUS 15333 HAS SOUPS 10771 WITH SCORE 10801.021
AT ITER 5792 NEW BEST:: SOT 51968 SOS 30017 HAS SOPS 18557 HAS SOUS 15329 HAS SOUPS 10767 WITH SCORE 10797.017
AT ITER 5816 NEW BEST:: SOT 51970 SOS 30019 HAS SOPS 18555 HAS SOUS 15331 HAS SOUPS 10765 WITH SCORE 10795.019
AT ITER 5817 NEW BEST:: SOT 51970 SOS 30018 HAS SOPS 18554 HAS SOUS 15330 HAS SOUPS 10764 WITH SCORE 10794.018
AT ITER 5824 NEW BEST:: SOT 51952 SOS 30000 HAS SOPS 18536 HAS SOUS 15312 HAS SOUPS 10746 WITH SCORE 10776.0
AT ITER 5859 NEW BEST:: SOT 51952 SOS 29993 HAS SOPS 18529 HAS SOUS 15312 HAS SOUPS 10746 WITH SCORE 10775.993
AT ITER 5919 NEW BEST:: SOT 51989 SOS 30022 HAS SOPS 18629 HAS SOUS 15287 HAS SOUPS 10726 WITH SCORE 10756.022
AT ITER 5941 NEW BEST:: SOT 51989 SOS 30021 HAS SOPS 18628 HAS SOUS 15286 HAS SOUPS 10725 WITH SCORE 10755.021
AT ITER 5961 NEW BEST:: SOT 51995 SOS 30023 HAS SOPS 18656 HAS SOUS 15266 HAS SOUPS 10707 WITH SCORE 10737.023
AT ITER 6020 NEW BEST:: SOT 51961 SOS 30009 HAS SOPS 18610 HAS SOUS 15202 HAS SOUPS 10643 WITH SCORE 10673.009
AT ITER 6027 NEW BEST:: SOT 51921 SOS 29969 HAS SOPS 18605 HAS SOUS 15197 HAS SOUPS 10638 WITH SCORE 10667.969
AT ITER 6044 NEW BEST:: SOT 51921 SOS 29940 HAS SOPS 18576 HAS SOUS 15196 HAS SOUPS 10637 WITH SCORE 10666.94
AT ITER 6142 NEW BEST:: SOT 51921 SOS 29938 HAS SOPS 18574 HAS SOUS 15196 HAS SOUPS 10637 WITH SCORE 10666.938
AT ITER 6162 NEW BEST:: SOT 51921 SOS 29925 HAS SOPS 18574 HAS SOUS 15190 HAS SOUPS 10637 WITH SCORE 10666.925
AT ITER 6181 NEW BEST:: SOT 51921 SOS 29930 HAS SOPS 18569 HAS SOUS 15225 HAS SOUPS 10632 WITH SCORE 10661.93
AT ITER 6292 NEW BEST:: SOT 51921 SOS 29920 HAS SOPS 18559 HAS SOUS 15225 HAS SOUPS 10632 WITH SCORE 10661.92
AT ITER 6295 NEW BEST:: SOT 51920 SOS 29919 HAS SOPS 18557 HAS SOUS 15224 HAS SOUPS 10630 WITH SCORE 10659.919
AT ITER 6356 NEW BEST:: SOT 51913 SOS 29912 HAS SOPS 18548 HAS SOUS 15217 HAS SOUPS 10621 WITH SCORE 10650.912
AT ITER 6365 NEW BEST:: SOT 51873 SOS 29871 HAS SOPS 18507 HAS SOUS 15176 HAS SOUPS 10580 WITH SCORE 10609.871
AT ITER 6367 NEW BEST:: SOT 51873 SOS 29748 HAS SOPS 18384 HAS SOUS 15163 HAS SOUPS 10567 WITH SCORE 10596.748
AT ITER 6381 NEW BEST:: SOT 51875 SOS 29750 HAS SOPS 18394 HAS SOUS 15117 HAS SOUPS 10529 WITH SCORE 10558.75
AT ITER 6383 NEW BEST:: SOT 51875 SOS 29750 HAS SOPS 18392 HAS SOUS 15117 HAS SOUPS 10527 WITH SCORE 10556.75
AT ITER 6444 NEW BEST:: SOT 51873 SOS 29748 HAS SOPS 18388 HAS SOUS 15115 HAS SOUPS 10523 WITH SCORE 10552.748
AT ITER 6457 NEW BEST:: SOT 51869 SOS 29750 HAS SOPS 18383 HAS SOUS 15107 HAS SOUPS 10515 WITH SCORE 10544.75
AT ITER 6470 NEW BEST:: SOT 51662 SOS 29706 HAS SOPS 18157 HAS SOUS 15093 HAS SOUPS 10487 WITH SCORE 10516.706
AT ITER 6571 NEW BEST:: SOT 51655 SOS 29699 HAS SOPS 18150 HAS SOUS 15086 HAS SOUPS 10480 WITH SCORE 10509.699
AT ITER 6588 NEW BEST:: SOT 51656 SOS 29700 HAS SOPS 18151 HAS SOUS 15083 HAS SOUPS 10477 WITH SCORE 10506.7
AT ITER 6623 NEW BEST:: SOT 51637 SOS 29592 HAS SOPS 18119 HAS SOUS 14975 HAS SOUPS 10445 WITH SCORE 10474.592
AT ITER 6649 NEW BEST:: SOT 51629 SOS 29535 HAS SOPS 18118 HAS SOUS 14951 HAS SOUPS 10428 WITH SCORE 10457.535
AT ITER 6668 NEW BEST:: SOT 51636 SOS 29542 HAS SOPS 18103 HAS SOUS 14936 HAS SOUPS 10413 WITH SCORE 10442.542
AT ITER 6721 NEW BEST:: SOT 51636 SOS 29534 HAS SOPS 18095 HAS SOUS 14935 HAS SOUPS 10412 WITH SCORE 10441.534
AT ITER 6803 NEW BEST:: SOT 51635 SOS 29533 HAS SOPS 18095 HAS SOUS 14934 HAS SOUPS 10412 WITH SCORE 10441.533
AT ITER 6843 NEW BEST:: SOT 51635 SOS 29485 HAS SOPS 18047 HAS SOUS 14926 HAS SOUPS 10404 WITH SCORE 10433.485
AT ITER 6875 NEW BEST:: SOT 51611 SOS 29463 HAS SOPS 18013 HAS SOUS 14920 HAS SOUPS 10393 WITH SCORE 10422.463
AT ITER 6900 NEW BEST:: SOT 51611 SOS 29499 HAS SOPS 18049 HAS SOUS 14919 HAS SOUPS 10392 WITH SCORE 10421.499
AT ITER 6969 NEW BEST:: SOT 51610 SOS 29498 HAS SOPS 18048 HAS SOUS 14918 HAS SOUPS 10391 WITH SCORE 10420.498
AT ITER 6974 NEW BEST:: SOT 51611 SOS 29499 HAS SOPS 18049 HAS SOUS 14917 HAS SOUPS 10390 WITH SCORE 10419.499
AT ITER 7001 NEW BEST:: SOT 51595 SOS 29503 HAS SOPS 18051 HAS SOUS 14902 HAS SOUPS 10382 WITH SCORE 10411.503
AT ITER 7010 NEW BEST:: SOT 51574 SOS 29482 HAS SOPS 18054 HAS SOUS 14893 HAS SOUPS 10373 WITH SCORE 10402.482
AT ITER 7013 NEW BEST:: SOT 51571 SOS 29479 HAS SOPS 18051 HAS SOUS 14892 HAS SOUPS 10372 WITH SCORE 10401.479
AT ITER 7103 NEW BEST:: SOT 51566 SOS 29474 HAS SOPS 18046 HAS SOUS 14887 HAS SOUPS 10367 WITH SCORE 10396.474
AT ITER 7147 NEW BEST:: SOT 51566 SOS 29471 HAS SOPS 18043 HAS SOUS 14886 HAS SOUPS 10366 WITH SCORE 10395.471
AT ITER 7165 NEW BEST:: SOT 51561 SOS 29466 HAS SOPS 18028 HAS SOUS 14881 HAS SOUPS 10351 WITH SCORE 10380.466
AT ITER 7167 NEW BEST:: SOT 51561 SOS 29466 HAS SOPS 18026 HAS SOUS 14881 HAS SOUPS 10349 WITH SCORE 10378.466
AT ITER 7191 NEW BEST:: SOT 51560 SOS 29465 HAS SOPS 18024 HAS SOUS 14880 HAS SOUPS 10347 WITH SCORE 10376.465
AT ITER 7398 NEW BEST:: SOT 51565 SOS 29468 HAS SOPS 18036 HAS SOUS 14869 HAS SOUPS 10338 WITH SCORE 10367.468
AT ITER 7428 NEW BEST:: SOT 51561 SOS 29464 HAS SOPS 18028 HAS SOUS 14865 HAS SOUPS 10330 WITH SCORE 10359.464
AT ITER 7443 NEW BEST:: SOT 51561 SOS 29449 HAS SOPS 18013 HAS SOUS 14864 HAS SOUPS 10329 WITH SCORE 10358.449
AT ITER 7488 NEW BEST:: SOT 51548 SOS 29436 HAS SOPS 17981 HAS SOUS 14832 HAS SOUPS 10297 WITH SCORE 10326.436
AT ITER 7710 NEW BEST:: SOT 51536 SOS 29428 HAS SOPS 17973 HAS SOUS 14822 HAS SOUPS 10287 WITH SCORE 10316.428
AT ITER 7759 NEW BEST:: SOT 51536 SOS 29428 HAS SOPS 17973 HAS SOUS 14820 HAS SOUPS 10285 WITH SCORE 10314.428
AT ITER 7760 NEW BEST:: SOT 51534 SOS 29426 HAS SOPS 17969 HAS SOUS 14818 HAS SOUPS 10281 WITH SCORE 10310.426
AT ITER 7797 NEW BEST:: SOT 51527 SOS 29419 HAS SOPS 17955 HAS SOUS 14811 HAS SOUPS 10267 WITH SCORE 10296.419
AT ITER 7861 NEW BEST:: SOT 51568 SOS 29449 HAS SOPS 18003 HAS SOUS 14802 HAS SOUPS 10265 WITH SCORE 10294.449
AT ITER 7887 NEW BEST:: SOT 51568 SOS 29465 HAS SOPS 18019 HAS SOUS 14801 HAS SOUPS 10264 WITH SCORE 10293.465
AT ITER 8005 NEW BEST:: SOT 51541 SOS 29438 HAS SOPS 17996 HAS SOUS 14778 HAS SOUPS 10241 WITH SCORE 10270.438
AT ITER 8218 NEW BEST:: SOT 51540 SOS 29436 HAS SOPS 17994 HAS SOUS 14776 HAS SOUPS 10239 WITH SCORE 10268.436
AT ITER 8290 NEW BEST:: SOT 51519 SOS 29415 HAS SOPS 17973 HAS SOUS 14755 HAS SOUPS 10218 WITH SCORE 10247.415
AT ITER 8334 NEW BEST:: SOT 51506 SOS 29390 HAS SOPS 17960 HAS SOUS 14730 HAS SOUPS 10209 WITH SCORE 10238.39
AT ITER 8431 NEW BEST:: SOT 51506 SOS 29389 HAS SOPS 17959 HAS SOUS 14729 HAS SOUPS 10208 WITH SCORE 10237.389
AT ITER 8443 NEW BEST:: SOT 51500 SOS 29377 HAS SOPS 17947 HAS SOUS 14717 HAS SOUPS 10196 WITH SCORE 10225.377
AT ITER 8521 NEW BEST:: SOT 51500 SOS 29377 HAS SOPS 17946 HAS SOUS 14717 HAS SOUPS 10195 WITH SCORE 10224.377
AT ITER 8554 NEW BEST:: SOT 51505 SOS 29382 HAS SOPS 17944 HAS SOUS 14722 HAS SOUPS 10193 WITH SCORE 10222.382
AT ITER 8576 NEW BEST:: SOT 51503 SOS 29380 HAS SOPS 17940 HAS SOUS 14720 HAS SOUPS 10189 WITH SCORE 10218.38
AT ITER 8647 NEW BEST:: SOT 51500 SOS 29377 HAS SOPS 17933 HAS SOUS 14717 HAS SOUPS 10182 WITH SCORE 10211.377
AT ITER 8857 NEW BEST:: SOT 51497 SOS 29395 HAS SOPS 17930 HAS SOUS 14742 HAS SOUPS 10179 WITH SCORE 10208.395
AT ITER 8882 NEW BEST:: SOT 51488 SOS 29382 HAS SOPS 17928 HAS SOUS 14731 HAS SOUPS 10177 WITH SCORE 10206.382
AT ITER 8958 NEW BEST:: SOT 51486 SOS 29376 HAS SOPS 17924 HAS SOUS 14729 HAS SOUPS 10175 WITH SCORE 10204.376
AT ITER 8959 NEW BEST:: SOT 51484 SOS 29376 HAS SOPS 17920 HAS SOUS 14737 HAS SOUPS 10171 WITH SCORE 10200.376
AT ITER 9171 NEW BEST:: SOT 51480 SOS 29372 HAS SOPS 17913 HAS SOUS 14733 HAS SOUPS 10164 WITH SCORE 10193.372
AT ITER 9305 NEW BEST:: SOT 51479 SOS 29371 HAS SOPS 17910 HAS SOUS 14732 HAS SOUPS 10161 WITH SCORE 10190.371
AT ITER 9336 NEW BEST:: SOT 51473 SOS 29365 HAS SOPS 17900 HAS SOUS 14726 HAS SOUPS 10151 WITH SCORE 10180.365
AT ITER 9359 NEW BEST:: SOT 51311 SOS 29317 HAS SOPS 17722 HAS SOUS 14720 HAS SOUPS 10135 WITH SCORE 10164.317
AT ITER 9445 NEW BEST:: SOT 51311 SOS 29316 HAS SOPS 17722 HAS SOUS 14720 HAS SOUPS 10135 WITH SCORE 10164.316
AT ITER 9496 NEW BEST:: SOT 51240 SOS 29366 HAS SOPS 17634 HAS SOUS 14783 HAS SOUPS 10119 WITH SCORE 10148.366
AT ITER 9498 NEW BEST:: SOT 51228 SOS 29377 HAS SOPS 17638 HAS SOUS 14772 HAS SOUPS 10108 WITH SCORE 10137.377
AT ITER 9567 NEW BEST:: SOT 51194 SOS 29361 HAS SOPS 17606 HAS SOUS 14740 HAS SOUPS 10076 WITH SCORE 10105.361
AT ITER 9595 NEW BEST:: SOT 51190 SOS 29357 HAS SOPS 17597 HAS SOUS 14736 HAS SOUPS 10067 WITH SCORE 10096.357
AT ITER 9606 NEW BEST:: SOT 51187 SOS 29354 HAS SOPS 17591 HAS SOUS 14733 HAS SOUPS 10061 WITH SCORE 10090.354
AT ITER 9698 NEW BEST:: SOT 51185 SOS 29350 HAS SOPS 17591 HAS SOUS 14733 HAS SOUPS 10061 WITH SCORE 10090.35
AT ITER 9700 NEW BEST:: SOT 51185 SOS 29296 HAS SOPS 17591 HAS SOUS 14682 HAS SOUPS 10061 WITH SCORE 10090.296
AT ITER 9876 NEW BEST:: SOT 51169 SOS 29280 HAS SOPS 17585 HAS SOUS 14666 HAS SOUPS 10055 WITH SCORE 10084.28
AT ITER 9943 NEW BEST:: SOT 51171 SOS 29282 HAS SOPS 17573 HAS SOUS 14654 HAS SOUPS 10043 WITH SCORE 10072.282
AT ITER 9999 NEW BEST:: SOT 51167 SOS 29516 HAS SOPS 17571 HAS SOUS 14857 HAS SOUPS 10041 WITH SCORE 10070.516

BK_STOP 1678613010275

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 409 Killed ${SMART}/smart ${INPUT_SM}

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="LamportFastMutEx-COL-7"
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 LamportFastMutEx-COL-7, 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 r227-tall-167856410400384"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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