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.r355-smll-167891803100240.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 SafeBus-COL-20, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r355-smll-167891803100240
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 504K
-rw-r--r-- 1 mcc users 7.0K Feb 26 02:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 74K Feb 26 02:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.8K Feb 26 02:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 38K Feb 26 02:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:49 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 04:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 135K Feb 26 04:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.8K Feb 26 03:59 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 82K Feb 26 03:59 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:49 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 42K 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 1679881397196

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=SafeBus-COL-20
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-27 01:43:21] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-27 01:43:21] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-27 01:43:21] [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-27 01:43:22] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-27 01:43:22] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1113 ms
[2023-03-27 01:43:22] [INFO ] Detected 1 constant HL places corresponding to 20 PT places.
[2023-03-27 01:43:22] [INFO ] Imported 20 HL places and 14 HL transitions for a total of 1046 PT places and 179241.0 transition bindings in 50 ms.
[2023-03-27 01:43:23] [INFO ] Unfolded HLPN to a Petri net with 1046 places and 10501 transitions 76784 arcs in 498 ms.
[2023-03-27 01:43:23] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Reduce places removed 20 places and 40 transitions.
[2023-03-27 01:43:29] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 1026 places, 10461 transitions and 76604 arcs took 320 ms.
Total runtime 7819 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SafeBus (COL), instance 20
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: 1026 places, 10461 transitions, 76604 arcs.
AT ITER 0 NEW BEST:: SOT 5436613 SOS 4483402 HAS SOPS 4479024 HAS SOUS 880754 HAS SOUPS 879838 WITH SCORE 884321.402
AT ITER 63 NEW BEST:: SOT 5436540 SOS 4483329 HAS SOPS 4478951 HAS SOUS 880739 HAS SOUPS 879823 WITH SCORE 884306.329
AT ITER 66 NEW BEST:: SOT 5436495 SOS 4483284 HAS SOPS 4478906 HAS SOUS 880731 HAS SOUPS 879815 WITH SCORE 884298.284
AT ITER 81 NEW BEST:: SOT 5435849 SOS 4482638 HAS SOPS 4478260 HAS SOUS 880085 HAS SOUPS 879169 WITH SCORE 883651.638
AT ITER 131 NEW BEST:: SOT 5435849 SOS 4482653 HAS SOPS 4478296 HAS SOUS 878322 HAS SOUPS 877427 WITH SCORE 881909.653
AT ITER 133 NEW BEST:: SOT 5435559 SOS 4482363 HAS SOPS 4478006 HAS SOUS 878162 HAS SOUPS 877267 WITH SCORE 881749.363
AT ITER 169 NEW BEST:: SOT 5435559 SOS 4482363 HAS SOPS 4478006 HAS SOUS 877825 HAS SOUPS 876930 WITH SCORE 881412.363
AT ITER 189 NEW BEST:: SOT 5435470 SOS 4489524 HAS SOPS 4485167 HAS SOUS 877733 HAS SOUPS 876838 WITH SCORE 881327.524
AT ITER 263 NEW BEST:: SOT 5435450 SOS 4496585 HAS SOPS 4492228 HAS SOUS 877427 HAS SOUPS 876532 WITH SCORE 881028.585
AT ITER 264 NEW BEST:: SOT 5435450 SOS 4496586 HAS SOPS 4492249 HAS SOUS 875310 HAS SOUPS 874435 WITH SCORE 878931.586
AT ITER 266 NEW BEST:: SOT 5437441 SOS 4498492 HAS SOPS 4493857 HAS SOUS 873025 HAS SOUPS 871852 WITH SCORE 876350.492
AT ITER 270 NEW BEST:: SOT 5437161 SOS 4498212 HAS SOPS 4493577 HAS SOUS 872484 HAS SOUPS 871311 WITH SCORE 875809.212
AT ITER 298 NEW BEST:: SOT 5441720 SOS 4502596 HAS SOPS 4497649 HAS SOUS 872113 HAS SOUPS 870628 WITH SCORE 875130.596
AT ITER 302 NEW BEST:: SOT 5442391 SOS 4504354 HAS SOPS 4499407 HAS SOUS 872046 HAS SOUPS 870561 WITH SCORE 875065.354
AT ITER 307 NEW BEST:: SOT 5287352 SOS 4349723 HAS SOPS 4344776 HAS SOUS 717415 HAS SOUPS 715930 WITH SCORE 720279.723
AT ITER 346 NEW BEST:: SOT 5287108 SOS 4349479 HAS SOPS 4344532 HAS SOUS 717171 HAS SOUPS 715686 WITH SCORE 720035.479
AT ITER 347 NEW BEST:: SOT 5286688 SOS 4348286 HAS SOPS 4343339 HAS SOUS 716460 HAS SOUPS 714975 WITH SCORE 719323.286
AT ITER 363 NEW BEST:: SOT 5286688 SOS 4348286 HAS SOPS 4343339 HAS SOUS 716459 HAS SOUPS 714974 WITH SCORE 719322.286
AT ITER 374 NEW BEST:: SOT 5286688 SOS 4360734 HAS SOPS 4349387 HAS SOUS 716444 HAS SOUPS 714943 WITH SCORE 719303.734
AT ITER 395 NEW BEST:: SOT 5286570 SOS 4360616 HAS SOPS 4349269 HAS SOUS 716384 HAS SOUPS 714883 WITH SCORE 719243.616
AT ITER 400 NEW BEST:: SOT 5274161 SOS 4371430 HAS SOPS 4369963 HAS SOUS 704037 HAS SOUPS 702570 WITH SCORE 706941.43
AT ITER 416 NEW BEST:: SOT 5272660 SOS 4369897 HAS SOPS 4368351 HAS SOUS 700890 HAS SOUPS 699344 WITH SCORE 703713.897
AT ITER 418 NEW BEST:: SOT 5272444 SOS 4369681 HAS SOPS 4368135 HAS SOUS 700665 HAS SOUPS 699119 WITH SCORE 703488.681
AT ITER 441 NEW BEST:: SOT 5273229 SOS 4370374 HAS SOPS 4368663 HAS SOUS 698727 HAS SOUPS 697016 WITH SCORE 701386.374
AT ITER 444 NEW BEST:: SOT 5271123 SOS 4368268 HAS SOPS 4366557 HAS SOUS 696524 HAS SOUPS 694813 WITH SCORE 699181.268
AT ITER 463 NEW BEST:: SOT 5270911 SOS 4368056 HAS SOPS 4366345 HAS SOUS 696312 HAS SOUPS 694601 WITH SCORE 698969.056
AT ITER 479 NEW BEST:: SOT 5270875 SOS 4368020 HAS SOPS 4366309 HAS SOUS 696262 HAS SOUPS 694551 WITH SCORE 698919.02
AT ITER 516 NEW BEST:: SOT 5271248 SOS 4368393 HAS SOPS 4366682 HAS SOUS 696211 HAS SOUPS 694500 WITH SCORE 698868.393
AT ITER 548 NEW BEST:: SOT 5272689 SOS 4369814 HAS SOPS 4368123 HAS SOUS 696052 HAS SOUPS 694361 WITH SCORE 698730.814
AT ITER 584 NEW BEST:: SOT 5277619 SOS 4374641 HAS SOPS 4372529 HAS SOUS 695997 HAS SOUPS 693885 WITH SCORE 698259.641
AT ITER 592 NEW BEST:: SOT 5276582 SOS 4399624 HAS SOPS 4397512 HAS SOUS 694954 HAS SOUPS 692842 WITH SCORE 697241.624
AT ITER 597 NEW BEST:: SOT 5276963 SOS 4400005 HAS SOPS 4397893 HAS SOUS 694595 HAS SOUPS 692483 WITH SCORE 696883.005
AT ITER 622 NEW BEST:: SOT 5276890 SOS 4399808 HAS SOPS 4397696 HAS SOUS 694500 HAS SOUPS 692388 WITH SCORE 696787.808
AT ITER 660 NEW BEST:: SOT 5276796 SOS 4404962 HAS SOPS 4402850 HAS SOUS 694163 HAS SOUPS 692051 WITH SCORE 696455.962
AT ITER 661 NEW BEST:: SOT 5278865 SOS 4406928 HAS SOPS 4404507 HAS SOUS 691459 HAS SOUPS 689038 WITH SCORE 693444.928
AT ITER 671 NEW BEST:: SOT 5279118 SOS 4407181 HAS SOPS 4404760 HAS SOUS 691211 HAS SOUPS 688790 WITH SCORE 693197.181
AT ITER 688 NEW BEST:: SOT 5279118 SOS 4407181 HAS SOPS 4404760 HAS SOUS 691210 HAS SOUPS 688789 WITH SCORE 693196.181
AT ITER 728 NEW BEST:: SOT 5278786 SOS 4406849 HAS SOPS 4404428 HAS SOUS 690712 HAS SOUPS 688291 WITH SCORE 692697.849
AT ITER 735 NEW BEST:: SOT 5278527 SOS 4406590 HAS SOPS 4404169 HAS SOUS 690321 HAS SOUPS 687900 WITH SCORE 692306.59
AT ITER 742 NEW BEST:: SOT 5284441 SOS 4412172 HAS SOPS 4410129 HAS SOUS 689172 HAS SOUPS 687129 WITH SCORE 691541.172
AT ITER 749 NEW BEST:: SOT 5284441 SOS 4412172 HAS SOPS 4410129 HAS SOUS 689171 HAS SOUPS 687128 WITH SCORE 691540.172
AT ITER 752 NEW BEST:: SOT 5284331 SOS 4412064 HAS SOPS 4410021 HAS SOUS 689063 HAS SOUPS 687020 WITH SCORE 691432.064
AT ITER 765 NEW BEST:: SOT 5284331 SOS 4412064 HAS SOPS 4410021 HAS SOUS 689062 HAS SOUPS 687019 WITH SCORE 691431.064
AT ITER 768 NEW BEST:: SOT 5284331 SOS 4412051 HAS SOPS 4410021 HAS SOUS 688815 HAS SOUPS 686785 WITH SCORE 691197.051
AT ITER 797 NEW BEST:: SOT 5284417 SOS 4416707 HAS SOPS 4414677 HAS SOUS 688689 HAS SOUPS 686659 WITH SCORE 691075.707
AT ITER 800 NEW BEST:: SOT 5284417 SOS 4416669 HAS SOPS 4414677 HAS SOUS 687853 HAS SOUPS 685861 WITH SCORE 690277.669
AT ITER 817 NEW BEST:: SOT 5289193 SOS 4421375 HAS SOPS 4418977 HAS SOUS 687574 HAS SOUPS 685176 WITH SCORE 689597.375
AT ITER 821 NEW BEST:: SOT 5289190 SOS 4423522 HAS SOPS 4421124 HAS SOUS 687501 HAS SOUPS 685103 WITH SCORE 689526.522
AT ITER 834 NEW BEST:: SOT 5289176 SOS 4423508 HAS SOPS 4421110 HAS SOUS 687480 HAS SOUPS 685082 WITH SCORE 689505.508
AT ITER 844 NEW BEST:: SOT 5288254 SOS 4422167 HAS SOPS 4419768 HAS SOUS 686537 HAS SOUPS 684138 WITH SCORE 688560.167
AT ITER 849 NEW BEST:: SOT 5287832 SOS 4421745 HAS SOPS 4419360 HAS SOUS 686160 HAS SOUPS 683775 WITH SCORE 688196.745
AT ITER 862 NEW BEST:: SOT 5287500 SOS 4421413 HAS SOPS 4419028 HAS SOUS 685662 HAS SOUPS 683277 WITH SCORE 687698.413
AT ITER 866 NEW BEST:: SOT 5286930 SOS 4420843 HAS SOPS 4418458 HAS SOUS 685073 HAS SOUPS 682688 WITH SCORE 687108.843
AT ITER 870 NEW BEST:: SOT 5286848 SOS 4420761 HAS SOPS 4418376 HAS SOUS 685005 HAS SOUPS 682620 WITH SCORE 687040.761
AT ITER 876 NEW BEST:: SOT 5286848 SOS 4365371 HAS SOPS 4362986 HAS SOUS 684945 HAS SOUPS 682560 WITH SCORE 686925.371
AT ITER 878 NEW BEST:: SOT 5286848 SOS 4365371 HAS SOPS 4362986 HAS SOUS 684934 HAS SOUPS 682549 WITH SCORE 686914.371
AT ITER 883 NEW BEST:: SOT 5285550 SOS 4363935 HAS SOPS 4361543 HAS SOUS 682162 HAS SOUPS 679770 WITH SCORE 684133.935
AT ITER 900 NEW BEST:: SOT 5285902 SOS 4364287 HAS SOPS 4361895 HAS SOUS 682122 HAS SOUPS 679730 WITH SCORE 684094.287
AT ITER 905 NEW BEST:: SOT 5285902 SOS 4364287 HAS SOPS 4361895 HAS SOUS 682119 HAS SOUPS 679727 WITH SCORE 684091.287
AT ITER 906 NEW BEST:: SOT 5285332 SOS 4363717 HAS SOPS 4361325 HAS SOUS 681468 HAS SOUPS 679076 WITH SCORE 683439.717
AT ITER 907 NEW BEST:: SOT 5285000 SOS 4363360 HAS SOPS 4360993 HAS SOUS 680586 HAS SOUPS 678219 WITH SCORE 682582.36
AT ITER 933 NEW BEST:: SOT 5285376 SOS 4363736 HAS SOPS 4361369 HAS SOUS 680472 HAS SOUPS 678105 WITH SCORE 682468.736
AT ITER 952 NEW BEST:: SOT 5285376 SOS 4576842 HAS SOPS 4466075 HAS SOUS 680402 HAS SOUPS 677816 WITH SCORE 682392.842
AT ITER 956 NEW BEST:: SOT 5287883 SOS 4579328 HAS SOPS 4468273 HAS SOUS 678856 HAS SOUPS 675982 WITH SCORE 680561.328
AT ITER 974 NEW BEST:: SOT 5287461 SOS 4578906 HAS SOPS 4467851 HAS SOUS 678204 HAS SOUPS 675330 WITH SCORE 679908.906
AT ITER 980 NEW BEST:: SOT 5286986 SOS 4578431 HAS SOPS 4467376 HAS SOUS 677729 HAS SOUPS 674855 WITH SCORE 679433.431
AT ITER 983 NEW BEST:: SOT 5214439 SOS 4516265 HAS SOPS 4407864 HAS SOUS 606267 HAS SOUPS 606047 WITH SCORE 610563.265
AT ITER 986 NEW BEST:: SOT 5212297 SOS 4514123 HAS SOPS 4405722 HAS SOUS 605350 HAS SOUPS 605130 WITH SCORE 609644.123
AT ITER 1001 NEW BEST:: SOT 5212273 SOS 4514099 HAS SOPS 4405698 HAS SOUS 605314 HAS SOUPS 605094 WITH SCORE 609608.099
AT ITER 1004 NEW BEST:: SOT 5211827 SOS 4513653 HAS SOPS 4405252 HAS SOUS 604868 HAS SOUPS 604648 WITH SCORE 609161.653
AT ITER 1007 NEW BEST:: SOT 5211014 SOS 4512840 HAS SOPS 4404439 HAS SOUS 604034 HAS SOUPS 603814 WITH SCORE 608326.84
AT ITER 1017 NEW BEST:: SOT 5210986 SOS 4512812 HAS SOPS 4404411 HAS SOUS 604006 HAS SOUPS 603786 WITH SCORE 608298.812
AT ITER 1026 NEW BEST:: SOT 5211334 SOS 4513144 HAS SOPS 4404743 HAS SOUS 602384 HAS SOUPS 602164 WITH SCORE 606677.144
AT ITER 1048 NEW BEST:: SOT 5210592 SOS 4512402 HAS SOPS 4404001 HAS SOUS 601397 HAS SOUPS 601177 WITH SCORE 605689.402
AT ITER 1064 NEW BEST:: SOT 5207792 SOS 4509602 HAS SOPS 4401201 HAS SOUS 598496 HAS SOUPS 598276 WITH SCORE 602785.602
AT ITER 1066 NEW BEST:: SOT 5207266 SOS 4509076 HAS SOPS 4400675 HAS SOUS 597707 HAS SOUPS 597487 WITH SCORE 601996.076
AT ITER 1069 NEW BEST:: SOT 5206146 SOS 4507942 HAS SOPS 4399541 HAS SOUS 596587 HAS SOUPS 596367 WITH SCORE 600874.942
AT ITER 1076 NEW BEST:: SOT 5206146 SOS 4508520 HAS SOPS 4400119 HAS SOUS 596586 HAS SOUPS 596366 WITH SCORE 600874.52
AT ITER 1083 NEW BEST:: SOT 5206198 SOS 4512253 HAS SOPS 4403852 HAS SOUS 596362 HAS SOUPS 596142 WITH SCORE 600654.253
AT ITER 1093 NEW BEST:: SOT 5206044 SOS 4512099 HAS SOPS 4403698 HAS SOUS 596151 HAS SOUPS 595931 WITH SCORE 600443.099
AT ITER 1095 NEW BEST:: SOT 5205889 SOS 4517004 HAS SOPS 4408603 HAS SOUS 595743 HAS SOUPS 595523 WITH SCORE 600040.004
AT ITER 1104 NEW BEST:: SOT 5205739 SOS 4516854 HAS SOPS 4408453 HAS SOUS 595518 HAS SOUPS 595298 WITH SCORE 599814.854
AT ITER 1108 NEW BEST:: SOT 5205735 SOS 4516850 HAS SOPS 4408449 HAS SOUS 595255 HAS SOUPS 595035 WITH SCORE 599551.85
AT ITER 1119 NEW BEST:: SOT 5207300 SOS 4518388 HAS SOPS 4409987 HAS SOUS 592433 HAS SOUPS 592213 WITH SCORE 596731.388
AT ITER 1138 NEW BEST:: SOT 5207300 SOS 4518388 HAS SOPS 4409987 HAS SOUS 592414 HAS SOUPS 592194 WITH SCORE 596712.388
AT ITER 1151 NEW BEST:: SOT 5208165 SOS 4519233 HAS SOPS 4410832 HAS SOUS 589278 HAS SOUPS 589058 WITH SCORE 593577.233
AT ITER 1169 NEW BEST:: SOT 5208898 SOS 4520582 HAS SOPS 4412181 HAS SOUS 588956 HAS SOUPS 588736 WITH SCORE 593256.582
AT ITER 1184 NEW BEST:: SOT 5207850 SOS 4519508 HAS SOPS 4411107 HAS SOUS 586030 HAS SOUPS 585810 WITH SCORE 590329.508
AT ITER 1205 NEW BEST:: SOT 5207732 SOS 4519390 HAS SOPS 4410989 HAS SOUS 585911 HAS SOUPS 585691 WITH SCORE 590210.39
AT ITER 1208 NEW BEST:: SOT 5207428 SOS 4519086 HAS SOPS 4410685 HAS SOUS 585455 HAS SOUPS 585235 WITH SCORE 589754.086
AT ITER 1209 NEW BEST:: SOT 5204008 SOS 4515666 HAS SOPS 4407265 HAS SOUS 583874 HAS SOUPS 583654 WITH SCORE 588169.666
AT ITER 1210 NEW BEST:: SOT 5202984 SOS 4514642 HAS SOPS 4406241 HAS SOUS 582997 HAS SOUPS 582777 WITH SCORE 587291.642
AT ITER 1212 NEW BEST:: SOT 5202984 SOS 4514642 HAS SOPS 4406241 HAS SOUS 582992 HAS SOUPS 582772 WITH SCORE 587286.642
AT ITER 1214 NEW BEST:: SOT 5202796 SOS 4514454 HAS SOPS 4406053 HAS SOUS 582710 HAS SOUPS 582490 WITH SCORE 587004.454
AT ITER 1215 NEW BEST:: SOT 5202796 SOS 4515414 HAS SOPS 4408053 HAS SOUS 582709 HAS SOUPS 582489 WITH SCORE 587004.414
AT ITER 1243 NEW BEST:: SOT 5202756 SOS 4515374 HAS SOPS 4408013 HAS SOUS 582665 HAS SOUPS 582445 WITH SCORE 586960.374
AT ITER 1288 NEW BEST:: SOT 5202695 SOS 4515309 HAS SOPS 4407948 HAS SOUS 582580 HAS SOUPS 582360 WITH SCORE 586875.309
AT ITER 1289 NEW BEST:: SOT 5202416 SOS 4515030 HAS SOPS 4407669 HAS SOUS 582163 HAS SOUPS 581943 WITH SCORE 586458.03
AT ITER 1293 NEW BEST:: SOT 5202335 SOS 4514953 HAS SOPS 4407592 HAS SOUS 582053 HAS SOUPS 581833 WITH SCORE 586347.953
AT ITER 1295 NEW BEST:: SOT 5202069 SOS 4514687 HAS SOPS 4407326 HAS SOUS 582046 HAS SOUPS 581826 WITH SCORE 586340.687
AT ITER 1301 NEW BEST:: SOT 5201755 SOS 4514373 HAS SOPS 4407012 HAS SOUS 581561 HAS SOUPS 581341 WITH SCORE 585855.373
AT ITER 1306 NEW BEST:: SOT 5201751 SOS 4514369 HAS SOPS 4407008 HAS SOUS 581555 HAS SOUPS 581335 WITH SCORE 585849.369
AT ITER 1315 NEW BEST:: SOT 5201667 SOS 4514285 HAS SOPS 4406924 HAS SOUS 581471 HAS SOUPS 581251 WITH SCORE 585765.285
AT ITER 1333 NEW BEST:: SOT 5201667 SOS 4514285 HAS SOPS 4406924 HAS SOUS 581437 HAS SOUPS 581217 WITH SCORE 585731.285
AT ITER 1340 NEW BEST:: SOT 5201667 SOS 4514285 HAS SOPS 4406924 HAS SOUS 581209 HAS SOUPS 580989 WITH SCORE 585503.285
AT ITER 1342 NEW BEST:: SOT 5201472 SOS 4514090 HAS SOPS 4406729 HAS SOUS 580957 HAS SOUPS 580737 WITH SCORE 585251.09
AT ITER 1345 NEW BEST:: SOT 5201367 SOS 4513419 HAS SOPS 4406058 HAS SOUS 580824 HAS SOUPS 580604 WITH SCORE 585117.419
AT ITER 1356 NEW BEST:: SOT 5201326 SOS 4513134 HAS SOPS 4405773 HAS SOUS 580753 HAS SOUPS 580533 WITH SCORE 585046.134
AT ITER 1362 NEW BEST:: SOT 5201769 SOS 4513577 HAS SOPS 4406216 HAS SOUS 580219 HAS SOUPS 579999 WITH SCORE 584512.577
AT ITER 1395 NEW BEST:: SOT 5200081 SOS 4511860 HAS SOPS 4404499 HAS SOUS 576705 HAS SOUPS 576485 WITH SCORE 580996.86
AT ITER 1424 NEW BEST:: SOT 5197863 SOS 4508575 HAS SOPS 4401214 HAS SOUS 574639 HAS SOUPS 574419 WITH SCORE 578927.575
AT ITER 1441 NEW BEST:: SOT 5197863 SOS 4508575 HAS SOPS 4401214 HAS SOUS 574611 HAS SOUPS 574391 WITH SCORE 578899.575
AT ITER 1451 NEW BEST:: SOT 5197483 SOS 4508195 HAS SOPS 4400834 HAS SOUS 574040 HAS SOUPS 573820 WITH SCORE 578328.195
AT ITER 1460 NEW BEST:: SOT 5197301 SOS 4508013 HAS SOPS 4400652 HAS SOUS 573933 HAS SOUPS 573713 WITH SCORE 578221.013
AT ITER 1469 NEW BEST:: SOT 5197031 SOS 4507743 HAS SOPS 4400382 HAS SOUS 573674 HAS SOUPS 573454 WITH SCORE 577961.743
AT ITER 1507 NEW BEST:: SOT 5196833 SOS 4507336 HAS SOPS 4399975 HAS SOUS 573487 HAS SOUPS 573267 WITH SCORE 577774.336
AT ITER 1545 NEW BEST:: SOT 5196871 SOS 4507374 HAS SOPS 4400013 HAS SOUS 573477 HAS SOUPS 573257 WITH SCORE 577764.374
AT ITER 1555 NEW BEST:: SOT 5196653 SOS 4507156 HAS SOPS 4399795 HAS SOUS 573350 HAS SOUPS 573130 WITH SCORE 577637.156
AT ITER 1573 NEW BEST:: SOT 5196915 SOS 4507418 HAS SOPS 4400057 HAS SOUS 573152 HAS SOUPS 572932 WITH SCORE 577439.418
AT ITER 1619 NEW BEST:: SOT 5196802 SOS 4507305 HAS SOPS 4399944 HAS SOUS 573039 HAS SOUPS 572819 WITH SCORE 577326.305
AT ITER 1631 NEW BEST:: SOT 5196565 SOS 4507068 HAS SOPS 4399707 HAS SOUS 572741 HAS SOUPS 572521 WITH SCORE 577028.068
AT ITER 1667 NEW BEST:: SOT 5192337 SOS 4502839 HAS SOPS 4395479 HAS SOUS 568339 HAS SOUPS 568120 WITH SCORE 572622.839
AT ITER 1681 NEW BEST:: SOT 5192467 SOS 4502969 HAS SOPS 4395609 HAS SOUS 568209 HAS SOUPS 567990 WITH SCORE 572492.969
AT ITER 1685 NEW BEST:: SOT 5192083 SOS 4502585 HAS SOPS 4395225 HAS SOUS 567633 HAS SOUPS 567414 WITH SCORE 571916.585
AT ITER 1718 NEW BEST:: SOT 5192083 SOS 4502465 HAS SOPS 4395105 HAS SOUS 567633 HAS SOUPS 567414 WITH SCORE 571916.465
AT ITER 1731 NEW BEST:: SOT 5191891 SOS 4502273 HAS SOPS 4394913 HAS SOUS 567331 HAS SOUPS 567112 WITH SCORE 571614.273
AT ITER 1772 NEW BEST:: SOT 5191891 SOS 4502273 HAS SOPS 4394913 HAS SOUS 567324 HAS SOUPS 567105 WITH SCORE 571607.273
AT ITER 1774 NEW BEST:: SOT 5191159 SOS 4501541 HAS SOPS 4394181 HAS SOUS 567080 HAS SOUPS 566861 WITH SCORE 571362.541
AT ITER 1790 NEW BEST:: SOT 5191116 SOS 4501510 HAS SOPS 4394150 HAS SOUS 566945 HAS SOUPS 566726 WITH SCORE 571227.51
AT ITER 1801 NEW BEST:: SOT 5191116 SOS 4501510 HAS SOPS 4394150 HAS SOUS 566831 HAS SOUPS 566612 WITH SCORE 571113.51
AT ITER 1804 NEW BEST:: SOT 5191070 SOS 4501464 HAS SOPS 4394104 HAS SOUS 566255 HAS SOUPS 566036 WITH SCORE 570537.464
AT ITER 1818 NEW BEST:: SOT 5191671 SOS 4502065 HAS SOPS 4394705 HAS SOUS 565214 HAS SOUPS 564995 WITH SCORE 569497.065
AT ITER 1832 NEW BEST:: SOT 5192341 SOS 4502285 HAS SOPS 4394925 HAS SOUS 565110 HAS SOUPS 564891 WITH SCORE 569393.285
AT ITER 1841 NEW BEST:: SOT 5192261 SOS 4502205 HAS SOPS 4394845 HAS SOUS 565039 HAS SOUPS 564820 WITH SCORE 569322.205
AT ITER 1854 NEW BEST:: SOT 5192245 SOS 4502189 HAS SOPS 4394829 HAS SOUS 565015 HAS SOUPS 564796 WITH SCORE 569298.189
AT ITER 1861 NEW BEST:: SOT 5190095 SOS 4500039 HAS SOPS 4392679 HAS SOUS 564407 HAS SOUPS 564188 WITH SCORE 568688.039
AT ITER 1870 NEW BEST:: SOT 5189801 SOS 4499745 HAS SOPS 4392385 HAS SOUS 564229 HAS SOUPS 564010 WITH SCORE 568509.745
AT ITER 1908 NEW BEST:: SOT 5189767 SOS 4499711 HAS SOPS 4392351 HAS SOUS 564178 HAS SOUPS 563959 WITH SCORE 568458.711
AT ITER 1925 NEW BEST:: SOT 5188367 SOS 4498311 HAS SOPS 4390951 HAS SOUS 562720 HAS SOUPS 562501 WITH SCORE 566999.311
AT ITER 1931 NEW BEST:: SOT 5188367 SOS 4498311 HAS SOPS 4390951 HAS SOUS 562719 HAS SOUPS 562500 WITH SCORE 566998.311
AT ITER 1950 NEW BEST:: SOT 5188354 SOS 4498298 HAS SOPS 4390938 HAS SOUS 562706 HAS SOUPS 562487 WITH SCORE 566985.298
AT ITER 1999 NEW BEST:: SOT 5188108 SOS 4498052 HAS SOPS 4390692 HAS SOUS 562378 HAS SOUPS 562159 WITH SCORE 566657.052
AT ITER 2001 NEW BEST:: SOT 5188005 SOS 4497949 HAS SOPS 4390589 HAS SOUS 562275 HAS SOUPS 562056 WITH SCORE 566553.949
AT ITER 2004 NEW BEST:: SOT 5187969 SOS 4497913 HAS SOPS 4390553 HAS SOUS 562252 HAS SOUPS 562033 WITH SCORE 566530.913
AT ITER 2005 NEW BEST:: SOT 5187969 SOS 4497913 HAS SOPS 4390553 HAS SOUS 562241 HAS SOUPS 562022 WITH SCORE 566519.913
AT ITER 2012 NEW BEST:: SOT 5185919 SOS 4495863 HAS SOPS 4388503 HAS SOUS 560869 HAS SOUPS 560650 WITH SCORE 565145.863
AT ITER 2023 NEW BEST:: SOT 5186540 SOS 4496484 HAS SOPS 4389124 HAS SOUS 560517 HAS SOUPS 560298 WITH SCORE 564794.484
AT ITER 2028 NEW BEST:: SOT 5186540 SOS 4496484 HAS SOPS 4389124 HAS SOUS 560503 HAS SOUPS 560284 WITH SCORE 564780.484
AT ITER 2033 NEW BEST:: SOT 5186535 SOS 4496355 HAS SOPS 4388995 HAS SOUS 560484 HAS SOUPS 560265 WITH SCORE 564761.355
AT ITER 2045 NEW BEST:: SOT 5186051 SOS 4495871 HAS SOPS 4388511 HAS SOUS 559758 HAS SOUPS 559539 WITH SCORE 564034.871
AT ITER 2056 NEW BEST:: SOT 5185961 SOS 4497574 HAS SOPS 4390214 HAS SOUS 559605 HAS SOUPS 559386 WITH SCORE 563883.574
AT ITER 2090 NEW BEST:: SOT 5186301 SOS 4497914 HAS SOPS 4390554 HAS SOUS 559323 HAS SOUPS 559104 WITH SCORE 563601.914
AT ITER 2095 NEW BEST:: SOT 5186143 SOS 4497756 HAS SOPS 4390396 HAS SOUS 559151 HAS SOUPS 558932 WITH SCORE 563429.756
AT ITER 2116 NEW BEST:: SOT 5186293 SOS 4497872 HAS SOPS 4390512 HAS SOUS 556929 HAS SOUPS 556710 WITH SCORE 561207.872
AT ITER 2143 NEW BEST:: SOT 5186255 SOS 4497834 HAS SOPS 4390474 HAS SOUS 556929 HAS SOUPS 556710 WITH SCORE 561207.834
AT ITER 2145 NEW BEST:: SOT 5186247 SOS 4497826 HAS SOPS 4390466 HAS SOUS 556917 HAS SOUPS 556698 WITH SCORE 561195.826
AT ITER 2154 NEW BEST:: SOT 5186509 SOS 4498088 HAS SOPS 4390728 HAS SOUS 556433 HAS SOUPS 556214 WITH SCORE 560712.088
AT ITER 2165 NEW BEST:: SOT 5185787 SOS 4497366 HAS SOPS 4390006 HAS SOUS 555939 HAS SOUPS 555720 WITH SCORE 560217.366
AT ITER 2168 NEW BEST:: SOT 5185607 SOS 4497186 HAS SOPS 4389826 HAS SOUS 555759 HAS SOUPS 555540 WITH SCORE 560037.186
AT ITER 2177 NEW BEST:: SOT 5185607 SOS 4498631 HAS SOPS 4391271 HAS SOUS 555589 HAS SOUPS 555370 WITH SCORE 559868.631
AT ITER 2193 NEW BEST:: SOT 5185681 SOS 4498705 HAS SOPS 4391345 HAS SOUS 555584 HAS SOUPS 555365 WITH SCORE 559863.705
AT ITER 2207 NEW BEST:: SOT 5180865 SOS 4493889 HAS SOPS 4386529 HAS SOUS 554378 HAS SOUPS 554159 WITH SCORE 558652.889
AT ITER 2214 NEW BEST:: SOT 5180865 SOS 4495674 HAS SOPS 4388314 HAS SOUS 554272 HAS SOUPS 554053 WITH SCORE 558548.674
AT ITER 2218 NEW BEST:: SOT 5180865 SOS 4495674 HAS SOPS 4388314 HAS SOUS 554265 HAS SOUPS 554046 WITH SCORE 558541.674
AT ITER 2238 NEW BEST:: SOT 5180697 SOS 4495506 HAS SOPS 4388146 HAS SOUS 554069 HAS SOUPS 553850 WITH SCORE 558345.506
AT ITER 2241 NEW BEST:: SOT 5179899 SOS 4494708 HAS SOPS 4387348 HAS SOUS 553171 HAS SOUPS 552952 WITH SCORE 557446.708
AT ITER 2243 NEW BEST:: SOT 5179899 SOS 4494708 HAS SOPS 4387348 HAS SOUS 553162 HAS SOUPS 552943 WITH SCORE 557437.708
AT ITER 2249 NEW BEST:: SOT 5179879 SOS 4494688 HAS SOPS 4387328 HAS SOUS 553154 HAS SOUPS 552935 WITH SCORE 557429.688
AT ITER 2253 NEW BEST:: SOT 5179573 SOS 4494380 HAS SOPS 4387020 HAS SOUS 552854 HAS SOUPS 552635 WITH SCORE 557129.38
AT ITER 2257 NEW BEST:: SOT 5182663 SOS 4497426 HAS SOPS 4390066 HAS SOUS 552549 HAS SOUPS 552330 WITH SCORE 556827.426
AT ITER 2268 NEW BEST:: SOT 5182493 SOS 4497256 HAS SOPS 4389896 HAS SOUS 552549 HAS SOUPS 552330 WITH SCORE 556827.256
AT ITER 2274 NEW BEST:: SOT 5180324 SOS 4495087 HAS SOPS 4387727 HAS SOUS 549882 HAS SOUPS 549663 WITH SCORE 554158.087
AT ITER 2278 NEW BEST:: SOT 5180124 SOS 4494887 HAS SOPS 4387527 HAS SOUS 549752 HAS SOUPS 549533 WITH SCORE 554027.887
AT ITER 2283 NEW BEST:: SOT 5180052 SOS 4494815 HAS SOPS 4387455 HAS SOUS 549644 HAS SOUPS 549425 WITH SCORE 553919.815
AT ITER 2300 NEW BEST:: SOT 5180066 SOS 4494665 HAS SOPS 4387305 HAS SOUS 549588 HAS SOUPS 549369 WITH SCORE 553863.665
AT ITER 2309 NEW BEST:: SOT 5180219 SOS 4494818 HAS SOPS 4387458 HAS SOUS 549463 HAS SOUPS 549244 WITH SCORE 553738.818
AT ITER 2326 NEW BEST:: SOT 5180219 SOS 4494818 HAS SOPS 4387458 HAS SOUS 549440 HAS SOUPS 549221 WITH SCORE 553715.818
AT ITER 2375 NEW BEST:: SOT 5180219 SOS 4494818 HAS SOPS 4387458 HAS SOUS 549439 HAS SOUPS 549220 WITH SCORE 553714.818
AT ITER 2382 NEW BEST:: SOT 5179907 SOS 4494506 HAS SOPS 4387146 HAS SOUS 549127 HAS SOUPS 548908 WITH SCORE 553402.506
AT ITER 2406 NEW BEST:: SOT 5176022 SOS 4490621 HAS SOPS 4383261 HAS SOUS 547323 HAS SOUPS 547104 WITH SCORE 551594.621
AT ITER 2408 NEW BEST:: SOT 5175876 SOS 4490475 HAS SOPS 4383115 HAS SOUS 547197 HAS SOUPS 546978 WITH SCORE 551468.475
AT ITER 2456 NEW BEST:: SOT 5175876 SOS 4489515 HAS SOPS 4381115 HAS SOUS 547197 HAS SOUPS 546978 WITH SCORE 551467.515
AT ITER 2470 NEW BEST:: SOT 5175196 SOS 4488835 HAS SOPS 4380435 HAS SOUS 546415 HAS SOUPS 546196 WITH SCORE 550684.835
AT ITER 2478 NEW BEST:: SOT 5175162 SOS 4492708 HAS SOPS 4384308 HAS SOUS 546233 HAS SOUPS 546014 WITH SCORE 550506.708
AT ITER 2482 NEW BEST:: SOT 5175162 SOS 4492504 HAS SOPS 4424904 HAS SOUS 546029 HAS SOUPS 545912 WITH SCORE 550404.504
AT ITER 2494 NEW BEST:: SOT 5175519 SOS 4492861 HAS SOPS 4425261 HAS SOUS 545728 HAS SOUPS 545611 WITH SCORE 550103.861
AT ITER 2495 NEW BEST:: SOT 5175154 SOS 4492496 HAS SOPS 4424896 HAS SOUS 545201 HAS SOUPS 545084 WITH SCORE 549576.496
AT ITER 2501 NEW BEST:: SOT 5175154 SOS 4492362 HAS SOPS 4424762 HAS SOUS 545201 HAS SOUPS 545084 WITH SCORE 549576.362
AT ITER 2514 NEW BEST:: SOT 5175150 SOS 4492358 HAS SOPS 4424758 HAS SOUS 545195 HAS SOUPS 545078 WITH SCORE 549570.358
AT ITER 2571 NEW BEST:: SOT 5175150 SOS 4492358 HAS SOPS 4424758 HAS SOUS 545192 HAS SOUPS 545075 WITH SCORE 549567.358
AT ITER 2575 NEW BEST:: SOT 5175052 SOS 4492260 HAS SOPS 4424660 HAS SOUS 545045 HAS SOUPS 544928 WITH SCORE 549420.26
AT ITER 2579 NEW BEST:: SOT 5175036 SOS 4492402 HAS SOPS 4424802 HAS SOUS 545015 HAS SOUPS 544898 WITH SCORE 549390.402
AT ITER 2614 NEW BEST:: SOT 5175036 SOS 4530526 HAS SOPS 4462926 HAS SOUS 544771 HAS SOUPS 544654 WITH SCORE 549184.526
AT ITER 2615 NEW BEST:: SOT 5175026 SOS 4530516 HAS SOPS 4462916 HAS SOUS 544756 HAS SOUPS 544639 WITH SCORE 549169.516
AT ITER 2631 NEW BEST:: SOT 5174965 SOS 4530455 HAS SOPS 4462855 HAS SOUS 544695 HAS SOUPS 544578 WITH SCORE 549108.455
AT ITER 2645 NEW BEST:: SOT 5174597 SOS 4530087 HAS SOPS 4462487 HAS SOUS 544279 HAS SOUPS 544162 WITH SCORE 548692.087
AT ITER 2673 NEW BEST:: SOT 5174753 SOS 4530243 HAS SOPS 4462643 HAS SOUS 544271 HAS SOUPS 544154 WITH SCORE 548684.243
AT ITER 2677 NEW BEST:: SOT 5178351 SOS 4533843 HAS SOPS 4466243 HAS SOUS 543604 HAS SOUPS 543487 WITH SCORE 548020.843
AT ITER 2721 NEW BEST:: SOT 5177937 SOS 4533429 HAS SOPS 4465829 HAS SOUS 543190 HAS SOUPS 543073 WITH SCORE 547606.429
AT ITER 2737 NEW BEST:: SOT 5170253 SOS 4525745 HAS SOPS 4458145 HAS SOUS 535359 HAS SOUPS 535242 WITH SCORE 539767.745
AT ITER 2744 NEW BEST:: SOT 5170127 SOS 4525619 HAS SOPS 4458019 HAS SOUS 535170 HAS SOUPS 535053 WITH SCORE 539578.619
AT ITER 2756 NEW BEST:: SOT 5170127 SOS 4525303 HAS SOPS 4458703 HAS SOUS 535170 HAS SOUPS 535053 WITH SCORE 539578.303
AT ITER 2761 NEW BEST:: SOT 5170330 SOS 4525506 HAS SOPS 4458906 HAS SOUS 535153 HAS SOUPS 535036 WITH SCORE 539561.506
AT ITER 2788 NEW BEST:: SOT 5169566 SOS 4525329 HAS SOPS 4458729 HAS SOUS 534418 HAS SOUPS 534301 WITH SCORE 538826.329
AT ITER 2803 NEW BEST:: SOT 5169566 SOS 4525357 HAS SOPS 4458757 HAS SOUS 534399 HAS SOUPS 534282 WITH SCORE 538807.357
AT ITER 2804 NEW BEST:: SOT 5169566 SOS 4525357 HAS SOPS 4458757 HAS SOUS 534398 HAS SOUPS 534281 WITH SCORE 538806.357
AT ITER 2832 NEW BEST:: SOT 5169382 SOS 4525173 HAS SOPS 4458573 HAS SOUS 534314 HAS SOUPS 534197 WITH SCORE 538722.173
AT ITER 2849 NEW BEST:: SOT 5169382 SOS 4525173 HAS SOPS 4458573 HAS SOUS 534305 HAS SOUPS 534188 WITH SCORE 538713.173
AT ITER 2894 NEW BEST:: SOT 5169266 SOS 4525057 HAS SOPS 4458457 HAS SOUS 534159 HAS SOUPS 534042 WITH SCORE 538567.057
AT ITER 2925 NEW BEST:: SOT 5169191 SOS 4524982 HAS SOPS 4458382 HAS SOUS 534134 HAS SOUPS 534017 WITH SCORE 538541.982
AT ITER 2953 NEW BEST:: SOT 5169953 SOS 4525744 HAS SOPS 4459144 HAS SOUS 534098 HAS SOUPS 533981 WITH SCORE 538506.744
AT ITER 2963 NEW BEST:: SOT 5171540 SOS 4527331 HAS SOPS 4460731 HAS SOUS 533722 HAS SOUPS 533605 WITH SCORE 538132.331
AT ITER 2965 NEW BEST:: SOT 5171540 SOS 4527331 HAS SOPS 4460731 HAS SOUS 533703 HAS SOUPS 533586 WITH SCORE 538113.331
AT ITER 3021 NEW BEST:: SOT 5171380 SOS 4527171 HAS SOPS 4460571 HAS SOUS 533463 HAS SOUPS 533346 WITH SCORE 537873.171
AT ITER 3041 NEW BEST:: SOT 5171380 SOS 4528013 HAS SOPS 4461413 HAS SOUS 533461 HAS SOUPS 533344 WITH SCORE 537872.013
AT ITER 3047 NEW BEST:: SOT 5171307 SOS 4527940 HAS SOPS 4461340 HAS SOUS 533388 HAS SOUPS 533271 WITH SCORE 537798.94
AT ITER 3095 NEW BEST:: SOT 5172049 SOS 4528682 HAS SOPS 4462082 HAS SOUS 533287 HAS SOUPS 533170 WITH SCORE 537698.682
AT ITER 3103 NEW BEST:: SOT 5172046 SOS 4528679 HAS SOPS 4462079 HAS SOUS 533266 HAS SOUPS 533149 WITH SCORE 537677.679
AT ITER 3113 NEW BEST:: SOT 5172410 SOS 4529043 HAS SOPS 4462443 HAS SOUS 532838 HAS SOUPS 532721 WITH SCORE 537250.043
AT ITER 3119 NEW BEST:: SOT 5172410 SOS 4528479 HAS SOPS 4462979 HAS SOUS 532814 HAS SOUPS 532697 WITH SCORE 537225.479
AT ITER 3133 NEW BEST:: SOT 5172384 SOS 4528453 HAS SOPS 4462953 HAS SOUS 532775 HAS SOUPS 532658 WITH SCORE 537186.453
AT ITER 3139 NEW BEST:: SOT 5172378 SOS 4528447 HAS SOPS 4462947 HAS SOUS 532685 HAS SOUPS 532568 WITH SCORE 537096.447
AT ITER 3140 NEW BEST:: SOT 5172336 SOS 4528405 HAS SOPS 4462905 HAS SOUS 532637 HAS SOUPS 532520 WITH SCORE 537048.405
AT ITER 3155 NEW BEST:: SOT 5171648 SOS 4527717 HAS SOPS 4462217 HAS SOUS 531943 HAS SOUPS 531826 WITH SCORE 536353.717
AT ITER 3176 NEW BEST:: SOT 5171600 SOS 4527669 HAS SOPS 4462169 HAS SOUS 531871 HAS SOUPS 531754 WITH SCORE 536281.669
AT ITER 3188 NEW BEST:: SOT 5172176 SOS 4528245 HAS SOPS 4462745 HAS SOUS 531672 HAS SOUPS 531555 WITH SCORE 536083.245
AT ITER 3192 NEW BEST:: SOT 5172076 SOS 4528145 HAS SOPS 4462645 HAS SOUS 531562 HAS SOUPS 531445 WITH SCORE 535973.145
AT ITER 3207 NEW BEST:: SOT 5171288 SOS 4527357 HAS SOPS 4461857 HAS SOUS 531479 HAS SOUPS 531362 WITH SCORE 535889.357
AT ITER 3210 NEW BEST:: SOT 5170412 SOS 4526481 HAS SOPS 4460981 HAS SOUS 531172 HAS SOUPS 531055 WITH SCORE 535581.481
AT ITER 3218 NEW BEST:: SOT 5169476 SOS 4525545 HAS SOPS 4460045 HAS SOUS 530132 HAS SOUPS 530015 WITH SCORE 534540.545
AT ITER 3225 NEW BEST:: SOT 5169393 SOS 4525462 HAS SOPS 4459962 HAS SOUS 529943 HAS SOUPS 529826 WITH SCORE 534351.462
AT ITER 3243 NEW BEST:: SOT 5169375 SOS 4525444 HAS SOPS 4459944 HAS SOUS 529916 HAS SOUPS 529799 WITH SCORE 534324.444
AT ITER 3245 NEW BEST:: SOT 5169372 SOS 4525441 HAS SOPS 4459941 HAS SOUS 529729 HAS SOUPS 529612 WITH SCORE 534137.441
AT ITER 3266 NEW BEST:: SOT 5169372 SOS 4525441 HAS SOPS 4459941 HAS SOUS 529710 HAS SOUPS 529593 WITH SCORE 534118.441
AT ITER 3276 NEW BEST:: SOT 5169220 SOS 4525289 HAS SOPS 4459789 HAS SOUS 529498 HAS SOUPS 529381 WITH SCORE 533906.289
AT ITER 3279 NEW BEST:: SOT 5169179 SOS 4525248 HAS SOPS 4459748 HAS SOUS 529449 HAS SOUPS 529332 WITH SCORE 533857.248
AT ITER 3287 NEW BEST:: SOT 5169179 SOS 4525248 HAS SOPS 4459748 HAS SOUS 529441 HAS SOUPS 529324 WITH SCORE 533849.248
AT ITER 3292 NEW BEST:: SOT 5169049 SOS 4525118 HAS SOPS 4459618 HAS SOUS 529246 HAS SOUPS 529129 WITH SCORE 533654.118
AT ITER 3324 NEW BEST:: SOT 5169048 SOS 4525117 HAS SOPS 4459617 HAS SOUS 529237 HAS SOUPS 529120 WITH SCORE 533645.117
AT ITER 3327 NEW BEST:: SOT 5168994 SOS 4525063 HAS SOPS 4459563 HAS SOUS 529183 HAS SOUPS 529066 WITH SCORE 533591.063
AT ITER 3335 NEW BEST:: SOT 5168152 SOS 4524221 HAS SOPS 4458721 HAS SOUS 529060 HAS SOUPS 528943 WITH SCORE 533467.221
AT ITER 3337 NEW BEST:: SOT 5168152 SOS 4527247 HAS SOPS 4461747 HAS SOUS 529004 HAS SOUPS 528887 WITH SCORE 533414.247
AT ITER 3354 NEW BEST:: SOT 5168910 SOS 4528005 HAS SOPS 4462505 HAS SOUS 528550 HAS SOUPS 528433 WITH SCORE 532961.005
AT ITER 3374 NEW BEST:: SOT 5168898 SOS 4527947 HAS SOPS 4462447 HAS SOUS 528538 HAS SOUPS 528421 WITH SCORE 532948.947
AT ITER 3402 NEW BEST:: SOT 5168782 SOS 4527831 HAS SOPS 4462331 HAS SOUS 528364 HAS SOUPS 528247 WITH SCORE 532774.831
AT ITER 3405 NEW BEST:: SOT 5168680 SOS 4527729 HAS SOPS 4462229 HAS SOUS 528251 HAS SOUPS 528134 WITH SCORE 532661.729
AT ITER 3406 NEW BEST:: SOT 5168520 SOS 4527569 HAS SOPS 4462069 HAS SOUS 528051 HAS SOUPS 527934 WITH SCORE 532461.569
AT ITER 3436 NEW BEST:: SOT 5168543 SOS 4527592 HAS SOPS 4462092 HAS SOUS 527357 HAS SOUPS 527240 WITH SCORE 531767.592
AT ITER 3440 NEW BEST:: SOT 5168503 SOS 4527552 HAS SOPS 4462052 HAS SOUS 527297 HAS SOUPS 527180 WITH SCORE 531707.552
AT ITER 3462 NEW BEST:: SOT 5168379 SOS 4527428 HAS SOPS 4461928 HAS SOUS 527113 HAS SOUPS 526996 WITH SCORE 531523.428
AT ITER 3499 NEW BEST:: SOT 5168379 SOS 4527428 HAS SOPS 4461928 HAS SOUS 527045 HAS SOUPS 526928 WITH SCORE 531455.428
AT ITER 3503 NEW BEST:: SOT 5168128 SOS 4527163 HAS SOPS 4461663 HAS SOUS 526677 HAS SOUPS 526560 WITH SCORE 531087.163
AT ITER 3507 NEW BEST:: SOT 5167983 SOS 4527018 HAS SOPS 4461518 HAS SOUS 526458 HAS SOUPS 526341 WITH SCORE 530868.018
AT ITER 3509 NEW BEST:: SOT 5167980 SOS 4527015 HAS SOPS 4461515 HAS SOUS 526455 HAS SOUPS 526338 WITH SCORE 530865.015
AT ITER 3510 NEW BEST:: SOT 5168073 SOS 4527108 HAS SOPS 4461608 HAS SOUS 526363 HAS SOUPS 526246 WITH SCORE 530773.108
AT ITER 3517 NEW BEST:: SOT 5168053 SOS 4527088 HAS SOPS 4461588 HAS SOUS 526363 HAS SOUPS 526246 WITH SCORE 530773.088
AT ITER 3520 NEW BEST:: SOT 5168803 SOS 4527838 HAS SOPS 4462338 HAS SOUS 526244 HAS SOUPS 526127 WITH SCORE 530654.838
AT ITER 3533 NEW BEST:: SOT 5168755 SOS 4527790 HAS SOPS 4462290 HAS SOUS 526172 HAS SOUPS 526055 WITH SCORE 530582.79
AT ITER 3534 NEW BEST:: SOT 5168755 SOS 4527790 HAS SOPS 4462290 HAS SOUS 526170 HAS SOUPS 526053 WITH SCORE 530580.79
AT ITER 3537 NEW BEST:: SOT 5168635 SOS 4527670 HAS SOPS 4462170 HAS SOUS 525990 HAS SOUPS 525873 WITH SCORE 530400.67
AT ITER 3557 NEW BEST:: SOT 5168625 SOS 4527660 HAS SOPS 4462160 HAS SOUS 525972 HAS SOUPS 525855 WITH SCORE 530382.66
AT ITER 3577 NEW BEST:: SOT 5168435 SOS 4527470 HAS SOPS 4461970 HAS SOUS 525687 HAS SOUPS 525570 WITH SCORE 530097.47
AT ITER 3589 NEW BEST:: SOT 5168567 SOS 4527602 HAS SOPS 4462102 HAS SOUS 525555 HAS SOUPS 525438 WITH SCORE 529965.602
AT ITER 3622 NEW BEST:: SOT 5168631 SOS 4527666 HAS SOPS 4462166 HAS SOUS 525544 HAS SOUPS 525427 WITH SCORE 529954.666
AT ITER 3639 NEW BEST:: SOT 5168503 SOS 4527538 HAS SOPS 4462038 HAS SOUS 525352 HAS SOUPS 525235 WITH SCORE 529762.538
AT ITER 3660 NEW BEST:: SOT 5168369 SOS 4527404 HAS SOPS 4461904 HAS SOUS 525151 HAS SOUPS 525034 WITH SCORE 529561.404
AT ITER 3669 NEW BEST:: SOT 5167548 SOS 4526583 HAS SOPS 4461083 HAS SOUS 524213 HAS SOUPS 524096 WITH SCORE 528622.583
AT ITER 3670 NEW BEST:: SOT 5167548 SOS 4526583 HAS SOPS 4461083 HAS SOUS 523958 HAS SOUPS 523841 WITH SCORE 528367.583
AT ITER 3680 NEW BEST:: SOT 5167755 SOS 4526790 HAS SOPS 4461290 HAS SOUS 523751 HAS SOUPS 523634 WITH SCORE 528160.79
AT ITER 3705 NEW BEST:: SOT 5167755 SOS 4526658 HAS SOPS 4461158 HAS SOUS 523751 HAS SOUPS 523634 WITH SCORE 528160.658
AT ITER 3754 NEW BEST:: SOT 5167735 SOS 4526638 HAS SOPS 4461138 HAS SOUS 523731 HAS SOUPS 523614 WITH SCORE 528140.638
AT ITER 3777 NEW BEST:: SOT 5167245 SOS 4480744 HAS SOPS 4415244 HAS SOUS 523582 HAS SOUPS 523465 WITH SCORE 527945.744
AT ITER 3816 NEW BEST:: SOT 5167211 SOS 4480710 HAS SOPS 4415210 HAS SOUS 523531 HAS SOUPS 523414 WITH SCORE 527894.71
AT ITER 3853 NEW BEST:: SOT 5166858 SOS 4480340 HAS SOPS 4414840 HAS SOUS 523003 HAS SOUPS 522886 WITH SCORE 527366.34
AT ITER 3856 NEW BEST:: SOT 5166858 SOS 4479853 HAS SOPS 4414346 HAS SOUS 523010 HAS SOUPS 522886 WITH SCORE 527365.853
AT ITER 3898 NEW BEST:: SOT 5166858 SOS 4479853 HAS SOPS 4414346 HAS SOUS 522990 HAS SOUPS 522866 WITH SCORE 527345.853
AT ITER 3899 NEW BEST:: SOT 5166804 SOS 4479799 HAS SOPS 4414292 HAS SOUS 522909 HAS SOUPS 522785 WITH SCORE 527264.799
AT ITER 3919 NEW BEST:: SOT 5166688 SOS 4479683 HAS SOPS 4414176 HAS SOUS 522735 HAS SOUPS 522611 WITH SCORE 527090.683
AT ITER 3923 NEW BEST:: SOT 5166654 SOS 4479649 HAS SOPS 4414142 HAS SOUS 522684 HAS SOUPS 522560 WITH SCORE 527039.649
AT ITER 3943 NEW BEST:: SOT 5166430 SOS 4479425 HAS SOPS 4413918 HAS SOUS 522348 HAS SOUPS 522224 WITH SCORE 526703.425
AT ITER 3950 NEW BEST:: SOT 5166372 SOS 4479367 HAS SOPS 4413860 HAS SOUS 522261 HAS SOUPS 522137 WITH SCORE 526616.367
AT ITER 3986 NEW BEST:: SOT 5166206 SOS 4479201 HAS SOPS 4413694 HAS SOUS 522012 HAS SOUPS 521888 WITH SCORE 526367.201
AT ITER 4008 NEW BEST:: SOT 5165588 SOS 4478529 HAS SOPS 4413022 HAS SOUS 521331 HAS SOUPS 521207 WITH SCORE 525685.529
AT ITER 4023 NEW BEST:: SOT 5165881 SOS 4419336 HAS SOPS 4352834 HAS SOUS 521843 HAS SOUPS 520724 WITH SCORE 525143.336
AT ITER 4024 NEW BEST:: SOT 5165881 SOS 4418896 HAS SOPS 4352394 HAS SOUS 521843 HAS SOUPS 520724 WITH SCORE 525142.896
AT ITER 4032 NEW BEST:: SOT 5165881 SOS 4394762 HAS SOPS 4328260 HAS SOUS 521865 HAS SOUPS 520746 WITH SCORE 525140.762
AT ITER 4063 NEW BEST:: SOT 5165857 SOS 4394738 HAS SOPS 4328236 HAS SOUS 521829 HAS SOUPS 520710 WITH SCORE 525104.738
AT ITER 4070 NEW BEST:: SOT 5165298 SOS 4394179 HAS SOPS 4327677 HAS SOUS 521238 HAS SOUPS 520119 WITH SCORE 524513.179
AT ITER 4072 NEW BEST:: SOT 5164924 SOS 4393805 HAS SOPS 4327303 HAS SOUS 520750 HAS SOUPS 519631 WITH SCORE 524024.805
AT ITER 4073 NEW BEST:: SOT 5164892 SOS 4393773 HAS SOPS 4327271 HAS SOUS 520645 HAS SOUPS 519526 WITH SCORE 523919.773
AT ITER 4095 NEW BEST:: SOT 5164714 SOS 4393595 HAS SOPS 4327093 HAS SOUS 520107 HAS SOUPS 518988 WITH SCORE 523381.595
AT ITER 4120 NEW BEST:: SOT 5164234 SOS 4392307 HAS SOPS 4325667 HAS SOUS 519579 HAS SOUPS 518322 WITH SCORE 522714.307
AT ITER 4144 NEW BEST:: SOT 5164234 SOS 4392307 HAS SOPS 4325667 HAS SOUS 519568 HAS SOUPS 518311 WITH SCORE 522703.307
AT ITER 4153 NEW BEST:: SOT 5164400 SOS 4392382 HAS SOPS 4325833 HAS SOUS 519343 HAS SOUPS 518177 WITH SCORE 522569.382
AT ITER 4159 NEW BEST:: SOT 5164400 SOS 4356591 HAS SOPS 4267532 HAS SOUS 518924 HAS SOUPS 517758 WITH SCORE 522114.591
AT ITER 4163 NEW BEST:: SOT 5164400 SOS 4356591 HAS SOPS 4267532 HAS SOUS 518865 HAS SOUPS 517699 WITH SCORE 522055.591
AT ITER 4170 NEW BEST:: SOT 5163870 SOS 4356061 HAS SOPS 4267002 HAS SOUS 518247 HAS SOUPS 517081 WITH SCORE 521437.061
AT ITER 4204 NEW BEST:: SOT 5163901 SOS 4355408 HAS SOPS 4266349 HAS SOUS 518175 HAS SOUPS 517009 WITH SCORE 521364.408
AT ITER 4228 NEW BEST:: SOT 5163901 SOS 4355258 HAS SOPS 4294053 HAS SOUS 518118 HAS SOUPS 516981 WITH SCORE 521336.258
AT ITER 4230 NEW BEST:: SOT 5163867 SOS 4355224 HAS SOPS 4294019 HAS SOUS 518067 HAS SOUPS 516930 WITH SCORE 521285.224
AT ITER 4233 NEW BEST:: SOT 5163867 SOS 4355224 HAS SOPS 4294019 HAS SOUS 518048 HAS SOUPS 516911 WITH SCORE 521266.224
AT ITER 4253 NEW BEST:: SOT 5163867 SOS 4355224 HAS SOPS 4294019 HAS SOUS 518042 HAS SOUPS 516905 WITH SCORE 521260.224
AT ITER 4260 NEW BEST:: SOT 5163887 SOS 4355244 HAS SOPS 4294039 HAS SOUS 518022 HAS SOUPS 516885 WITH SCORE 521240.244
AT ITER 4280 NEW BEST:: SOT 5163789 SOS 4355146 HAS SOPS 4293941 HAS SOUS 517875 HAS SOUPS 516738 WITH SCORE 521093.146
AT ITER 4333 NEW BEST:: SOT 5163789 SOS 4355000 HAS SOPS 4293795 HAS SOUS 517875 HAS SOUPS 516738 WITH SCORE 521093.0
AT ITER 4353 NEW BEST:: SOT 5162346 SOS 4352568 HAS SOPS 4291363 HAS SOUS 516314 HAS SOUPS 515177 WITH SCORE 519529.568
AT ITER 4354 NEW BEST:: SOT 5162218 SOS 4352440 HAS SOPS 4291235 HAS SOUS 516249 HAS SOUPS 515112 WITH SCORE 519464.44
AT ITER 4366 NEW BEST:: SOT 5162092 SOS 4352314 HAS SOPS 4291109 HAS SOUS 516192 HAS SOUPS 515055 WITH SCORE 519407.314
AT ITER 4384 NEW BEST:: SOT 5162087 SOS 4351841 HAS SOPS 4290636 HAS SOUS 516135 HAS SOUPS 514998 WITH SCORE 519349.841
AT ITER 4410 NEW BEST:: SOT 5162087 SOS 4324745 HAS SOPS 4258814 HAS SOUS 515099 HAS SOUPS 513962 WITH SCORE 518286.745
AT ITER 4420 NEW BEST:: SOT 5162087 SOS 4326364 HAS SOPS 4259698 HAS SOUS 514994 HAS SOUPS 513857 WITH SCORE 518183.364
AT ITER 4427 NEW BEST:: SOT 5162087 SOS 4292580 HAS SOPS 4205774 HAS SOUS 515006 HAS SOUPS 513869 WITH SCORE 518161.58
AT ITER 4431 NEW BEST:: SOT 5162087 SOS 4292580 HAS SOPS 4205774 HAS SOUS 514895 HAS SOUPS 513758 WITH SCORE 518050.58
AT ITER 4450 NEW BEST:: SOT 5162314 SOS 4292807 HAS SOPS 4206001 HAS SOUS 514713 HAS SOUPS 513576 WITH SCORE 517868.807
AT ITER 4502 NEW BEST:: SOT 5161922 SOS 4292393 HAS SOPS 4205609 HAS SOUS 514126 HAS SOUPS 513011 WITH SCORE 517303.393
AT ITER 4506 NEW BEST:: SOT 5161922 SOS 4292393 HAS SOPS 4205609 HAS SOUS 514120 HAS SOUPS 513005 WITH SCORE 517297.393
AT ITER 4525 NEW BEST:: SOT 5161977 SOS 4292448 HAS SOPS 4205664 HAS SOUS 514065 HAS SOUPS 512950 WITH SCORE 517242.448
AT ITER 4553 NEW BEST:: SOT 5161867 SOS 4292338 HAS SOPS 4205554 HAS SOUS 513952 HAS SOUPS 512837 WITH SCORE 517129.338
AT ITER 4556 NEW BEST:: SOT 5161777 SOS 4292202 HAS SOPS 4205418 HAS SOUS 513843 HAS SOUPS 512728 WITH SCORE 517020.202
AT ITER 4557 NEW BEST:: SOT 5161772 SOS 4292197 HAS SOPS 4205413 HAS SOUS 513821 HAS SOUPS 512706 WITH SCORE 516998.197
AT ITER 4596 NEW BEST:: SOT 5161772 SOS 4292851 HAS SOPS 4206067 HAS SOUS 513792 HAS SOUPS 512677 WITH SCORE 516969.851
AT ITER 4608 NEW BEST:: SOT 5161731 SOS 4292810 HAS SOPS 4206026 HAS SOUS 513291 HAS SOUPS 512176 WITH SCORE 516468.81
AT ITER 4615 NEW BEST:: SOT 5161731 SOS 4295015 HAS SOPS 4209359 HAS SOUS 513158 HAS SOUPS 512043 WITH SCORE 516338.015
AT ITER 4625 NEW BEST:: SOT 5161638 SOS 4294922 HAS SOPS 4209266 HAS SOUS 513127 HAS SOUPS 512012 WITH SCORE 516306.922
AT ITER 4640 NEW BEST:: SOT 5160744 SOS 4294028 HAS SOPS 4208372 HAS SOUS 513021 HAS SOUPS 511906 WITH SCORE 516200.028
AT ITER 4643 NEW BEST:: SOT 5160568 SOS 4293852 HAS SOPS 4208196 HAS SOUS 512757 HAS SOUPS 511642 WITH SCORE 515935.852
AT ITER 4652 NEW BEST:: SOT 5160568 SOS 4293852 HAS SOPS 4208196 HAS SOUS 512756 HAS SOUPS 511641 WITH SCORE 515934.852
AT ITER 4655 NEW BEST:: SOT 5160568 SOS 4293852 HAS SOPS 4208196 HAS SOUS 512643 HAS SOUPS 511528 WITH SCORE 515821.852
AT ITER 4664 NEW BEST:: SOT 5160568 SOS 4293852 HAS SOPS 4208196 HAS SOUS 512586 HAS SOUPS 511471 WITH SCORE 515764.852
AT ITER 4683 NEW BEST:: SOT 5160472 SOS 4293756 HAS SOPS 4208100 HAS SOUS 512442 HAS SOUPS 511327 WITH SCORE 515620.756
AT ITER 4714 NEW BEST:: SOT 5160472 SOS 4294694 HAS SOPS 4209878 HAS SOUS 512341 HAS SOUPS 511226 WITH SCORE 515520.694
AT ITER 4742 NEW BEST:: SOT 5160458 SOS 4294680 HAS SOPS 4209864 HAS SOUS 512320 HAS SOUPS 511205 WITH SCORE 515499.68
AT ITER 4749 NEW BEST:: SOT 5161623 SOS 4296524 HAS SOPS 4211726 HAS SOUS 512001 HAS SOUPS 510904 WITH SCORE 515200.524
AT ITER 4750 NEW BEST:: SOT 5161623 SOS 4296524 HAS SOPS 4211726 HAS SOUS 511992 HAS SOUPS 510895 WITH SCORE 515191.524
AT ITER 4768 NEW BEST:: SOT 5161623 SOS 4296524 HAS SOPS 4211726 HAS SOUS 511991 HAS SOUPS 510894 WITH SCORE 515190.524
AT ITER 4778 NEW BEST:: SOT 5161623 SOS 4296644 HAS SOPS 4211846 HAS SOUS 511985 HAS SOUPS 510888 WITH SCORE 515184.644
AT ITER 4786 NEW BEST:: SOT 5161477 SOS 4296498 HAS SOPS 4211700 HAS SOUS 511766 HAS SOUPS 510669 WITH SCORE 514965.498
AT ITER 4792 NEW BEST:: SOT 5161441 SOS 4296462 HAS SOPS 4211664 HAS SOUS 511712 HAS SOUPS 510615 WITH SCORE 514911.462
AT ITER 4795 NEW BEST:: SOT 5161441 SOS 4260406 HAS SOPS 4173448 HAS SOUS 511652 HAS SOUPS 510555 WITH SCORE 514815.406
AT ITER 4809 NEW BEST:: SOT 5161427 SOS 4260392 HAS SOPS 4173434 HAS SOUS 511638 HAS SOUPS 510541 WITH SCORE 514801.392
AT ITER 4817 NEW BEST:: SOT 5161351 SOS 4260316 HAS SOPS 4173358 HAS SOUS 511550 HAS SOUPS 510453 WITH SCORE 514713.316
AT ITER 4834 NEW BEST:: SOT 5161349 SOS 4260314 HAS SOPS 4173356 HAS SOUS 511547 HAS SOUPS 510450 WITH SCORE 514710.314
AT ITER 4872 NEW BEST:: SOT 5161349 SOS 4149957 HAS SOPS 4145452 HAS SOUS 511513 HAS SOUPS 510488 WITH SCORE 514637.957
AT ITER 4880 NEW BEST:: SOT 5162030 SOS 4150638 HAS SOPS 4146133 HAS SOUS 511214 HAS SOUPS 510189 WITH SCORE 514339.638
AT ITER 4894 NEW BEST:: SOT 5161982 SOS 4150590 HAS SOPS 4146085 HAS SOUS 511142 HAS SOUPS 510117 WITH SCORE 514267.59
AT ITER 4916 NEW BEST:: SOT 5161894 SOS 4150502 HAS SOPS 4145997 HAS SOUS 511010 HAS SOUPS 509985 WITH SCORE 514135.502
AT ITER 4919 NEW BEST:: SOT 5161894 SOS 4150502 HAS SOPS 4145997 HAS SOUS 510982 HAS SOUPS 509957 WITH SCORE 514107.502
AT ITER 4920 NEW BEST:: SOT 5161894 SOS 4153799 HAS SOPS 4149310 HAS SOUS 510853 HAS SOUPS 509828 WITH SCORE 513981.799
AT ITER 4926 NEW BEST:: SOT 5161844 SOS 4153749 HAS SOPS 4149260 HAS SOUS 510778 HAS SOUPS 509753 WITH SCORE 513906.749
AT ITER 4936 NEW BEST:: SOT 5161844 SOS 4153185 HAS SOPS 4148696 HAS SOUS 510769 HAS SOUPS 509744 WITH SCORE 513897.185
AT ITER 4948 NEW BEST:: SOT 5161592 SOS 4152933 HAS SOPS 4148444 HAS SOUS 510391 HAS SOUPS 509366 WITH SCORE 513518.933
AT ITER 4958 NEW BEST:: SOT 5161592 SOS 4154855 HAS SOPS 4150377 HAS SOUS 510317 HAS SOUPS 509292 WITH SCORE 513446.855
AT ITER 4977 NEW BEST:: SOT 5161440 SOS 4154703 HAS SOPS 4150225 HAS SOUS 510089 HAS SOUPS 509064 WITH SCORE 513218.703
AT ITER 4983 NEW BEST:: SOT 5161440 SOS 4093308 HAS SOPS 4072266 HAS SOUS 509955 HAS SOUPS 508823 WITH SCORE 512916.308
AT ITER 5010 NEW BEST:: SOT 5161278 SOS 4093146 HAS SOPS 4072104 HAS SOUS 509712 HAS SOUPS 508580 WITH SCORE 512673.146
AT ITER 5032 NEW BEST:: SOT 5161278 SOS 4093112 HAS SOPS 4072070 HAS SOUS 509712 HAS SOUPS 508580 WITH SCORE 512673.112
AT ITER 5035 NEW BEST:: SOT 5161174 SOS 4093008 HAS SOPS 4071966 HAS SOUS 509556 HAS SOUPS 508424 WITH SCORE 512517.008
AT ITER 5054 NEW BEST:: SOT 5161078 SOS 4092901 HAS SOPS 4071870 HAS SOUS 508668 HAS SOUPS 507547 WITH SCORE 511639.901
AT ITER 5065 NEW BEST:: SOT 5161072 SOS 4092895 HAS SOPS 4071864 HAS SOUS 508659 HAS SOUPS 507538 WITH SCORE 511630.895
AT ITER 5069 NEW BEST:: SOT 5161072 SOS 4088183 HAS SOPS 4058708 HAS SOUS 508223 HAS SOUPS 507096 WITH SCORE 511184.183
AT ITER 5078 NEW BEST:: SOT 5160780 SOS 4087798 HAS SOPS 4058416 HAS SOUS 507749 HAS SOUPS 506715 WITH SCORE 510802.798
AT ITER 5095 NEW BEST:: SOT 5160780 SOS 4087795 HAS SOPS 4058413 HAS SOUS 507743 HAS SOUPS 506709 WITH SCORE 510796.795
AT ITER 5103 NEW BEST:: SOT 5159772 SOS 4086737 HAS SOPS 4057405 HAS SOUS 506585 HAS SOUPS 505601 WITH SCORE 509687.737
AT ITER 5169 NEW BEST:: SOT 5159772 SOS 4086737 HAS SOPS 4057405 HAS SOUS 506582 HAS SOUPS 505598 WITH SCORE 509684.737
AT ITER 5175 NEW BEST:: SOT 5159688 SOS 4086653 HAS SOPS 4057321 HAS SOUS 506482 HAS SOUPS 505498 WITH SCORE 509584.653
AT ITER 5190 NEW BEST:: SOT 5159688 SOS 4086653 HAS SOPS 4057321 HAS SOUS 506450 HAS SOUPS 505466 WITH SCORE 509552.653
AT ITER 5206 NEW BEST:: SOT 5159684 SOS 4086649 HAS SOPS 4057317 HAS SOUS 506446 HAS SOUPS 505462 WITH SCORE 509548.649
AT ITER 5222 NEW BEST:: SOT 5159657 SOS 4086664 HAS SOPS 4057332 HAS SOUS 506419 HAS SOUPS 505435 WITH SCORE 509521.664
AT ITER 5229 NEW BEST:: SOT 5159657 SOS 4086864 HAS SOPS 4057532 HAS SOUS 506409 HAS SOUPS 505425 WITH SCORE 509511.864
AT ITER 5239 NEW BEST:: SOT 5159657 SOS 4086864 HAS SOPS 4057532 HAS SOUS 506408 HAS SOUPS 505424 WITH SCORE 509510.864
AT ITER 5259 NEW BEST:: SOT 5159786 SOS 4086993 HAS SOPS 4057661 HAS SOUS 506287 HAS SOUPS 505303 WITH SCORE 509389.993
AT ITER 5309 NEW BEST:: SOT 5159786 SOS 4086993 HAS SOPS 4057661 HAS SOUS 506244 HAS SOUPS 505260 WITH SCORE 509346.993
AT ITER 5311 NEW BEST:: SOT 5159716 SOS 4086923 HAS SOPS 4057591 HAS SOUS 506139 HAS SOUPS 505155 WITH SCORE 509241.923
AT ITER 5332 NEW BEST:: SOT 5159674 SOS 4086881 HAS SOPS 4057549 HAS SOUS 506076 HAS SOUPS 505092 WITH SCORE 509178.881
AT ITER 5365 NEW BEST:: SOT 5159674 SOS 4066575 HAS SOPS 4036665 HAS SOUS 505835 HAS SOUPS 504851 WITH SCORE 508917.575
AT ITER 5372 NEW BEST:: SOT 5159470 SOS 4066371 HAS SOPS 4036461 HAS SOUS 505561 HAS SOUPS 504577 WITH SCORE 508643.371
AT ITER 5435 NEW BEST:: SOT 5159655 SOS 4074141 HAS SOPS 4044519 HAS SOUS 505345 HAS SOUPS 504361 WITH SCORE 508435.141
AT ITER 5440 NEW BEST:: SOT 5159578 SOS 4074195 HAS SOPS 4044573 HAS SOUS 505277 HAS SOUPS 504293 WITH SCORE 508367.195
AT ITER 5457 NEW BEST:: SOT 5159578 SOS 4074195 HAS SOPS 4044573 HAS SOUS 505271 HAS SOUPS 504287 WITH SCORE 508361.195
AT ITER 5501 NEW BEST:: SOT 5159356 SOS 4073973 HAS SOPS 4044351 HAS SOUS 504938 HAS SOUPS 503954 WITH SCORE 508027.973
AT ITER 5507 NEW BEST:: SOT 5159282 SOS 4073899 HAS SOPS 4044277 HAS SOUS 504827 HAS SOUPS 503843 WITH SCORE 507916.899
AT ITER 5512 NEW BEST:: SOT 5158568 SOS 4073185 HAS SOPS 4043563 HAS SOUS 504035 HAS SOUPS 503051 WITH SCORE 507124.185
AT ITER 5536 NEW BEST:: SOT 5158568 SOS 4076009 HAS SOPS 4046436 HAS SOUS 503911 HAS SOUPS 502927 WITH SCORE 507003.009
AT ITER 5561 NEW BEST:: SOT 5158568 SOS 4018553 HAS SOPS 3988980 HAS SOUS 503911 HAS SOUPS 502927 WITH SCORE 506945.553
AT ITER 5575 NEW BEST:: SOT 5158568 SOS 4019724 HAS SOPS 3990167 HAS SOUS 503856 HAS SOUPS 502872 WITH SCORE 506891.724
AT ITER 5619 NEW BEST:: SOT 5158939 SOS 4020095 HAS SOPS 3990538 HAS SOUS 503654 HAS SOUPS 502670 WITH SCORE 506690.095
AT ITER 5630 NEW BEST:: SOT 5158919 SOS 4020075 HAS SOPS 3990518 HAS SOUS 503397 HAS SOUPS 502413 WITH SCORE 506433.075
AT ITER 5632 NEW BEST:: SOT 5158919 SOS 4020075 HAS SOPS 3990518 HAS SOUS 503017 HAS SOUPS 502033 WITH SCORE 506053.075
AT ITER 5642 NEW BEST:: SOT 5158919 SOS 4019885 HAS SOPS 3990328 HAS SOUS 503017 HAS SOUPS 502033 WITH SCORE 506052.885
AT ITER 5648 NEW BEST:: SOT 5158919 SOS 4019639 HAS SOPS 3990082 HAS SOUS 502986 HAS SOUPS 502002 WITH SCORE 506021.639
AT ITER 5659 NEW BEST:: SOT 5159037 SOS 4019757 HAS SOPS 3990200 HAS SOUS 502878 HAS SOUPS 501894 WITH SCORE 505913.757
AT ITER 5664 NEW BEST:: SOT 5159037 SOS 4019417 HAS SOPS 3989860 HAS SOUS 502878 HAS SOUPS 501894 WITH SCORE 505913.417
AT ITER 5699 NEW BEST:: SOT 5158076 SOS 4018409 HAS SOPS 3988899 HAS SOUS 501776 HAS SOUPS 500839 WITH SCORE 504857.409
AT ITER 5703 NEW BEST:: SOT 5158076 SOS 4018409 HAS SOPS 3988899 HAS SOUS 501773 HAS SOUPS 500836 WITH SCORE 504854.409
AT ITER 5710 NEW BEST:: SOT 5158076 SOS 4017805 HAS SOPS 3985835 HAS SOUS 501682 HAS SOUPS 500745 WITH SCORE 504762.805
AT ITER 5737 NEW BEST:: SOT 5157960 SOS 4017689 HAS SOPS 3985719 HAS SOUS 501508 HAS SOUPS 500571 WITH SCORE 504588.689
AT ITER 5786 NEW BEST:: SOT 5158008 SOS 4017737 HAS SOPS 3985767 HAS SOUS 501504 HAS SOUPS 500567 WITH SCORE 504584.737
AT ITER 5787 NEW BEST:: SOT 5158028 SOS 4019200 HAS SOPS 3989706 HAS SOUS 501467 HAS SOUPS 500530 WITH SCORE 504549.2
AT ITER 5794 NEW BEST:: SOT 5158028 SOS 4019660 HAS SOPS 3990166 HAS SOUS 501455 HAS SOUPS 500518 WITH SCORE 504537.66
AT ITER 5796 NEW BEST:: SOT 5157972 SOS 4019604 HAS SOPS 3990110 HAS SOUS 501371 HAS SOUPS 500434 WITH SCORE 504453.604
AT ITER 5831 NEW BEST:: SOT 5157972 SOS 3994651 HAS SOPS 3965157 HAS SOUS 501346 HAS SOUPS 500409 WITH SCORE 504403.651
AT ITER 5858 NEW BEST:: SOT 5157964 SOS 3994643 HAS SOPS 3965149 HAS SOUS 501334 HAS SOUPS 500397 WITH SCORE 504391.643
AT ITER 5892 NEW BEST:: SOT 5157964 SOS 3994849 HAS SOPS 3965355 HAS SOUS 501331 HAS SOUPS 500394 WITH SCORE 504388.849
AT ITER 5895 NEW BEST:: SOT 5157919 SOS 3994756 HAS SOPS 3965310 HAS SOUS 501238 HAS SOUPS 500349 WITH SCORE 504343.756
AT ITER 5910 NEW BEST:: SOT 5157909 SOS 3994746 HAS SOPS 3965300 HAS SOUS 501223 HAS SOUPS 500334 WITH SCORE 504328.746
AT ITER 5911 NEW BEST:: SOT 5157825 SOS 3994662 HAS SOPS 3965216 HAS SOUS 501097 HAS SOUPS 500208 WITH SCORE 504202.662
AT ITER 5922 NEW BEST:: SOT 5157745 SOS 3994582 HAS SOPS 3965136 HAS SOUS 500977 HAS SOUPS 500088 WITH SCORE 504082.582
AT ITER 5958 NEW BEST:: SOT 5157722 SOS 3994541 HAS SOPS 3965113 HAS SOUS 500916 HAS SOUPS 500045 WITH SCORE 504039.541
AT ITER 5977 NEW BEST:: SOT 5157673 SOS 3994488 HAS SOPS 3965064 HAS SOUS 500863 HAS SOUPS 499996 WITH SCORE 503990.488
AT ITER 5988 NEW BEST:: SOT 5157673 SOS 3994488 HAS SOPS 3965064 HAS SOUS 500848 HAS SOUPS 499981 WITH SCORE 503975.488
AT ITER 6002 NEW BEST:: SOT 5157854 SOS 3999429 HAS SOPS 3970005 HAS SOUS 500753 HAS SOUPS 499886 WITH SCORE 503885.429
AT ITER 6021 NEW BEST:: SOT 5153176 SOS 3994751 HAS SOPS 3965327 HAS SOUS 495512 HAS SOUPS 494645 WITH SCORE 498639.751
AT ITER 6029 NEW BEST:: SOT 5153176 SOS 3994751 HAS SOPS 3965327 HAS SOUS 495506 HAS SOUPS 494639 WITH SCORE 498633.751
AT ITER 6085 NEW BEST:: SOT 5153176 SOS 3995694 HAS SOPS 3966286 HAS SOUS 495462 HAS SOUPS 494595 WITH SCORE 498590.694
AT ITER 6101 NEW BEST:: SOT 5153176 SOS 3995614 HAS SOPS 3963746 HAS SOUS 495458 HAS SOUPS 494591 WITH SCORE 498586.614
AT ITER 6102 NEW BEST:: SOT 5153112 SOS 3995550 HAS SOPS 3963682 HAS SOUS 495362 HAS SOUPS 494495 WITH SCORE 498490.55
AT ITER 6109 NEW BEST:: SOT 5153112 SOS 3995550 HAS SOPS 3963682 HAS SOUS 495336 HAS SOUPS 494469 WITH SCORE 498464.55
AT ITER 6152 NEW BEST:: SOT 5153112 SOS 3998739 HAS SOPS 3966887 HAS SOUS 495211 HAS SOUPS 494344 WITH SCORE 498342.739
AT ITER 6171 NEW BEST:: SOT 5154405 SOS 4000032 HAS SOPS 3968180 HAS SOUS 494912 HAS SOUPS 494045 WITH SCORE 498045.032
AT ITER 6179 NEW BEST:: SOT 5154413 SOS 4000040 HAS SOPS 3968188 HAS SOUS 494892 HAS SOUPS 494025 WITH SCORE 498025.04
AT ITER 6232 NEW BEST:: SOT 5154413 SOS 4000211 HAS SOPS 3968359 HAS SOUS 493866 HAS SOUPS 492999 WITH SCORE 496999.211
AT ITER 6241 NEW BEST:: SOT 5154413 SOS 4000291 HAS SOPS 3968439 HAS SOUS 493862 HAS SOUPS 492995 WITH SCORE 496995.291
AT ITER 6244 NEW BEST:: SOT 5154288 SOS 4000161 HAS SOPS 3968314 HAS SOUS 492973 HAS SOUPS 492111 WITH SCORE 496111.161
AT ITER 6267 NEW BEST:: SOT 5154288 SOS 4000241 HAS SOPS 3968394 HAS SOUS 492969 HAS SOUPS 492107 WITH SCORE 496107.241
AT ITER 6268 NEW BEST:: SOT 5154236 SOS 4000189 HAS SOPS 3968342 HAS SOUS 492891 HAS SOUPS 492029 WITH SCORE 496029.189
AT ITER 6272 NEW BEST:: SOT 5152883 SOS 3997690 HAS SOPS 3965843 HAS SOUS 491431 HAS SOUPS 490569 WITH SCORE 494566.69
AT ITER 6273 NEW BEST:: SOT 5152883 SOS 3998550 HAS SOPS 3966703 HAS SOUS 491388 HAS SOUPS 490526 WITH SCORE 494524.55
AT ITER 6280 NEW BEST:: SOT 5152032 SOS 3997699 HAS SOPS 3965852 HAS SOUS 490537 HAS SOUPS 489675 WITH SCORE 493672.699
AT ITER 6295 NEW BEST:: SOT 5151937 SOS 3997602 HAS SOPS 3965755 HAS SOUS 490469 HAS SOUPS 489607 WITH SCORE 493604.602
AT ITER 6337 NEW BEST:: SOT 5151925 SOS 3997590 HAS SOPS 3965743 HAS SOUS 490457 HAS SOUPS 489595 WITH SCORE 493592.59
AT ITER 6338 NEW BEST:: SOT 5151871 SOS 3997536 HAS SOPS 3965689 HAS SOUS 490377 HAS SOUPS 489515 WITH SCORE 493512.536
AT ITER 6350 NEW BEST:: SOT 5151661 SOS 3997326 HAS SOPS 3965479 HAS SOUS 490074 HAS SOUPS 489212 WITH SCORE 493209.326
AT ITER 6353 NEW BEST:: SOT 5151653 SOS 3997318 HAS SOPS 3965471 HAS SOUS 490018 HAS SOUPS 489156 WITH SCORE 493153.318
AT ITER 6389 NEW BEST:: SOT 5151653 SOS 3997318 HAS SOPS 3965471 HAS SOUS 490016 HAS SOUPS 489154 WITH SCORE 493151.318
AT ITER 6393 NEW BEST:: SOT 5151653 SOS 3997318 HAS SOPS 3965471 HAS SOUS 490014 HAS SOUPS 489152 WITH SCORE 493149.318
AT ITER 6412 NEW BEST:: SOT 5151599 SOS 3997264 HAS SOPS 3965417 HAS SOUS 489933 HAS SOUPS 489071 WITH SCORE 493068.264
AT ITER 6442 NEW BEST:: SOT 5151513 SOS 3997178 HAS SOPS 3965331 HAS SOUS 489842 HAS SOUPS 488980 WITH SCORE 492977.178
AT ITER 6444 NEW BEST:: SOT 5151513 SOS 3997120 HAS SOPS 3965273 HAS SOUS 489842 HAS SOUPS 488980 WITH SCORE 492977.12
AT ITER 6484 NEW BEST:: SOT 5151925 SOS 3997532 HAS SOPS 3965685 HAS SOUS 489567 HAS SOUPS 488705 WITH SCORE 492702.532
AT ITER 6492 NEW BEST:: SOT 5151925 SOS 4000643 HAS SOPS 3968812 HAS SOUS 489446 HAS SOUPS 488584 WITH SCORE 492584.643
AT ITER 6500 NEW BEST:: SOT 5150613 SOS 3999331 HAS SOPS 3967500 HAS SOUS 488725 HAS SOUPS 487863 WITH SCORE 491862.331
AT ITER 6517 NEW BEST:: SOT 5149062 SOS 3995411 HAS SOPS 3963551 HAS SOUS 488532 HAS SOUPS 487641 WITH SCORE 491636.411
AT ITER 6539 NEW BEST:: SOT 5149062 SOS 3996303 HAS SOPS 3964483 HAS SOUS 488500 HAS SOUPS 487609 WITH SCORE 491605.303
AT ITER 6555 NEW BEST:: SOT 5149062 SOS 3996263 HAS SOPS 3964443 HAS SOUS 488500 HAS SOUPS 487609 WITH SCORE 491605.263
AT ITER 6560 NEW BEST:: SOT 5149062 SOS 3996237 HAS SOPS 3968057 HAS SOUS 488474 HAS SOUPS 487583 WITH SCORE 491579.237
AT ITER 6618 NEW BEST:: SOT 5149022 SOS 3996197 HAS SOPS 3968017 HAS SOUS 488432 HAS SOUPS 487541 WITH SCORE 491537.197
AT ITER 6620 NEW BEST:: SOT 5149392 SOS 3996567 HAS SOPS 3968387 HAS SOUS 488417 HAS SOUPS 487526 WITH SCORE 491522.567
AT ITER 6653 NEW BEST:: SOT 5149392 SOS 3997576 HAS SOPS 3969515 HAS SOUS 488207 HAS SOUPS 487435 WITH SCORE 491432.576
AT ITER 6661 NEW BEST:: SOT 5149368 SOS 3997552 HAS SOPS 3969491 HAS SOUS 488171 HAS SOUPS 487399 WITH SCORE 491396.552
AT ITER 6662 NEW BEST:: SOT 5149305 SOS 3997482 HAS SOPS 3969428 HAS SOUS 488094 HAS SOUPS 487329 WITH SCORE 491326.482
AT ITER 6671 NEW BEST:: SOT 5149305 SOS 3998182 HAS SOPS 3970168 HAS SOUS 488057 HAS SOUPS 487292 WITH SCORE 491290.182
AT ITER 6692 NEW BEST:: SOT 5149308 SOS 3997941 HAS SOPS 3969927 HAS SOUS 488043 HAS SOUPS 487278 WITH SCORE 491275.941
AT ITER 6697 NEW BEST:: SOT 5149308 SOS 4000796 HAS SOPS 3973102 HAS SOUS 487958 HAS SOUPS 487193 WITH SCORE 491193.796
AT ITER 6699 NEW BEST:: SOT 5149308 SOS 4000796 HAS SOPS 3973102 HAS SOUS 487952 HAS SOUPS 487187 WITH SCORE 491187.796
AT ITER 6707 NEW BEST:: SOT 5149308 SOS 4001316 HAS SOPS 3973662 HAS SOUS 487924 HAS SOUPS 487159 WITH SCORE 491160.316
AT ITER 6715 NEW BEST:: SOT 5149308 SOS 4001316 HAS SOPS 3973662 HAS SOUS 487918 HAS SOUPS 487153 WITH SCORE 491154.316
AT ITER 6778 NEW BEST:: SOT 5149206 SOS 4001214 HAS SOPS 3973560 HAS SOUS 487765 HAS SOUPS 487000 WITH SCORE 491001.214
AT ITER 6805 NEW BEST:: SOT 5149206 SOS 4002478 HAS SOPS 3974824 HAS SOUS 487705 HAS SOUPS 486940 WITH SCORE 490942.478
AT ITER 6816 NEW BEST:: SOT 5149206 SOS 4004662 HAS SOPS 3977024 HAS SOUS 487597 HAS SOUPS 486832 WITH SCORE 490836.662
AT ITER 6823 NEW BEST:: SOT 5148308 SOS 4003727 HAS SOPS 3976069 HAS SOUS 487408 HAS SOUPS 486623 WITH SCORE 490626.727
AT ITER 6837 NEW BEST:: SOT 5148258 SOS 4003676 HAS SOPS 3976019 HAS SOUS 487308 HAS SOUPS 486524 WITH SCORE 490527.676
AT ITER 6875 NEW BEST:: SOT 5148258 SOS 4004724 HAS SOPS 3977083 HAS SOUS 487259 HAS SOUPS 486475 WITH SCORE 490479.724
AT ITER 6909 NEW BEST:: SOT 5148258 SOS 3993220 HAS SOPS 3965579 HAS SOUS 487172 HAS SOUPS 486388 WITH SCORE 490381.22
AT ITER 6936 NEW BEST:: SOT 5148300 SOS 3998117 HAS SOPS 3970476 HAS SOUS 486978 HAS SOUPS 486194 WITH SCORE 490192.117
AT ITER 6947 NEW BEST:: SOT 5148300 SOS 3997397 HAS SOPS 3969756 HAS SOUS 486978 HAS SOUPS 486194 WITH SCORE 490191.397
AT ITER 6988 NEW BEST:: SOT 5148300 SOS 3999192 HAS SOPS 3971603 HAS SOUS 486899 HAS SOUPS 486115 WITH SCORE 490114.192
AT ITER 7003 NEW BEST:: SOT 5148300 SOS 3999192 HAS SOPS 3971603 HAS SOUS 486891 HAS SOUPS 486107 WITH SCORE 490106.192
AT ITER 7009 NEW BEST:: SOT 5147661 SOS 3999152 HAS SOPS 3971601 HAS SOUS 486218 HAS SOUPS 485472 WITH SCORE 489471.152
AT ITER 7018 NEW BEST:: SOT 5147661 SOS 3999116 HAS SOPS 3971565 HAS SOUS 486218 HAS SOUPS 485472 WITH SCORE 489471.116
AT ITER 7061 NEW BEST:: SOT 5147661 SOS 3999116 HAS SOPS 3971565 HAS SOUS 486215 HAS SOUPS 485469 WITH SCORE 489468.116
AT ITER 7083 NEW BEST:: SOT 5147654 SOS 3999089 HAS SOPS 3971538 HAS SOUS 486215 HAS SOUPS 485469 WITH SCORE 489468.089
AT ITER 7101 NEW BEST:: SOT 5147616 SOS 3999051 HAS SOPS 3971500 HAS SOUS 486158 HAS SOUPS 485412 WITH SCORE 489411.051
AT ITER 7143 NEW BEST:: SOT 5147578 SOS 3999013 HAS SOPS 3971462 HAS SOUS 486101 HAS SOUPS 485355 WITH SCORE 489354.013
AT ITER 7166 NEW BEST:: SOT 5147578 SOS 3999517 HAS SOPS 3971966 HAS SOUS 486067 HAS SOUPS 485321 WITH SCORE 489320.517
AT ITER 7205 NEW BEST:: SOT 5147560 SOS 3999499 HAS SOPS 3971948 HAS SOUS 486049 HAS SOUPS 485303 WITH SCORE 489302.499
AT ITER 7244 NEW BEST:: SOT 5147560 SOS 4001708 HAS SOPS 3974172 HAS SOUS 485936 HAS SOUPS 485190 WITH SCORE 489191.708
AT ITER 7249 NEW BEST:: SOT 5147574 SOS 4001722 HAS SOPS 3974186 HAS SOUS 485846 HAS SOUPS 485100 WITH SCORE 489101.722
AT ITER 7272 NEW BEST:: SOT 5147574 SOS 3963544 HAS SOPS 3936008 HAS SOUS 485846 HAS SOUPS 485100 WITH SCORE 489063.544
AT ITER 7311 NEW BEST:: SOT 5147574 SOS 3963544 HAS SOPS 3936008 HAS SOUS 485807 HAS SOUPS 485061 WITH SCORE 489024.544
AT ITER 7327 NEW BEST:: SOT 5147432 SOS 3963402 HAS SOPS 3935866 HAS SOUS 485583 HAS SOUPS 484837 WITH SCORE 488800.402
AT ITER 7340 NEW BEST:: SOT 5147420 SOS 3963390 HAS SOPS 3935854 HAS SOUS 485565 HAS SOUPS 484819 WITH SCORE 488782.39
AT ITER 7347 NEW BEST:: SOT 5147396 SOS 3963366 HAS SOPS 3935830 HAS SOUS 485529 HAS SOUPS 484783 WITH SCORE 488746.366
AT ITER 7371 NEW BEST:: SOT 5147414 SOS 3963384 HAS SOPS 3935848 HAS SOUS 485499 HAS SOUPS 484753 WITH SCORE 488716.384
AT ITER 7380 NEW BEST:: SOT 5147256 SOS 3963226 HAS SOPS 3935690 HAS SOUS 485262 HAS SOUPS 484516 WITH SCORE 488479.226
AT ITER 7384 NEW BEST:: SOT 5147124 SOS 3963094 HAS SOPS 3935558 HAS SOUS 485086 HAS SOUPS 484340 WITH SCORE 488303.094
AT ITER 7424 NEW BEST:: SOT 5146728 SOS 3962698 HAS SOPS 3935162 HAS SOUS 484646 HAS SOUPS 483900 WITH SCORE 487862.698
AT ITER 7427 NEW BEST:: SOT 5146850 SOS 3962820 HAS SOPS 3935284 HAS SOUS 484524 HAS SOUPS 483778 WITH SCORE 487740.82
AT ITER 7434 NEW BEST:: SOT 5146818 SOS 3962788 HAS SOPS 3935252 HAS SOUS 484476 HAS SOUPS 483730 WITH SCORE 487692.788
AT ITER 7457 NEW BEST:: SOT 5146792 SOS 3962762 HAS SOPS 3935226 HAS SOUS 484437 HAS SOUPS 483691 WITH SCORE 487653.762
AT ITER 7479 NEW BEST:: SOT 5146792 SOS 3962408 HAS SOPS 3934752 HAS SOUS 484357 HAS SOUPS 483611 WITH SCORE 487573.408
AT ITER 7521 NEW BEST:: SOT 5146790 SOS 3962406 HAS SOPS 3934750 HAS SOUS 484354 HAS SOUPS 483608 WITH SCORE 487570.406
AT ITER 7551 NEW BEST:: SOT 5146790 SOS 3962726 HAS SOPS 3935070 HAS SOUS 484341 HAS SOUPS 483595 WITH SCORE 487557.726
AT ITER 7560 NEW BEST:: SOT 5146758 SOS 3962678 HAS SOPS 3935038 HAS SOUS 484277 HAS SOUPS 483547 WITH SCORE 487509.678
AT ITER 7568 NEW BEST:: SOT 5146758 SOS 3962678 HAS SOPS 3935038 HAS SOUS 484258 HAS SOUPS 483528 WITH SCORE 487490.678
AT ITER 7575 NEW BEST:: SOT 5146758 SOS 3962678 HAS SOPS 3935038 HAS SOUS 484240 HAS SOUPS 483510 WITH SCORE 487472.678
AT ITER 7590 NEW BEST:: SOT 5146758 SOS 3962672 HAS SOPS 3935032 HAS SOUS 484210 HAS SOUPS 483480 WITH SCORE 487442.672
AT ITER 7609 NEW BEST:: SOT 5146758 SOS 3963764 HAS SOPS 3936124 HAS SOUS 484162 HAS SOUPS 483432 WITH SCORE 487395.764
AT ITER 7679 NEW BEST:: SOT 5146756 SOS 3963762 HAS SOPS 3936122 HAS SOUS 484159 HAS SOUPS 483429 WITH SCORE 487392.762
AT ITER 7721 NEW BEST:: SOT 5146748 SOS 3963767 HAS SOPS 3936114 HAS SOUS 484164 HAS SOUPS 483421 WITH SCORE 487384.767
AT ITER 7733 NEW BEST:: SOT 5146748 SOS 3963753 HAS SOPS 3936100 HAS SOUS 484164 HAS SOUPS 483421 WITH SCORE 487384.753
AT ITER 7859 NEW BEST:: SOT 5146546 SOS 3963527 HAS SOPS 3935898 HAS SOUS 483867 HAS SOUPS 483148 WITH SCORE 487111.527
AT ITER 7880 NEW BEST:: SOT 5146504 SOS 3963485 HAS SOPS 3935856 HAS SOUS 483804 HAS SOUPS 483085 WITH SCORE 487048.485
AT ITER 7917 NEW BEST:: SOT 5146504 SOS 3964115 HAS SOPS 3936486 HAS SOUS 483774 HAS SOUPS 483055 WITH SCORE 487019.115
AT ITER 7923 NEW BEST:: SOT 5146448 SOS 3964059 HAS SOPS 3936430 HAS SOUS 483690 HAS SOUPS 482971 WITH SCORE 486935.059
AT ITER 7958 NEW BEST:: SOT 5146472 SOS 3964083 HAS SOPS 3936454 HAS SOUS 483669 HAS SOUPS 482950 WITH SCORE 486914.083
AT ITER 7959 NEW BEST:: SOT 5146252 SOS 3963881 HAS SOPS 3936252 HAS SOUS 483458 HAS SOUPS 482739 WITH SCORE 486702.881
AT ITER 8007 NEW BEST:: SOT 5146244 SOS 3963873 HAS SOPS 3936244 HAS SOUS 483446 HAS SOUPS 482727 WITH SCORE 486690.873
AT ITER 8022 NEW BEST:: SOT 5146244 SOS 3961321 HAS SOPS 3933692 HAS SOUS 483422 HAS SOUPS 482703 WITH SCORE 486664.321
AT ITER 8049 NEW BEST:: SOT 5146244 SOS 3964452 HAS SOPS 3936839 HAS SOUS 483412 HAS SOUPS 482693 WITH SCORE 486657.452
AT ITER 8057 NEW BEST:: SOT 5146210 SOS 3964418 HAS SOPS 3936805 HAS SOUS 483126 HAS SOUPS 482407 WITH SCORE 486371.418
AT ITER 8090 NEW BEST:: SOT 5146210 SOS 3964359 HAS SOPS 3946186 HAS SOUS 483067 HAS SOUPS 482348 WITH SCORE 486312.359
AT ITER 8092 NEW BEST:: SOT 5146210 SOS 3964909 HAS SOPS 3946736 HAS SOUS 483035 HAS SOUPS 482316 WITH SCORE 486280.909
AT ITER 8126 NEW BEST:: SOT 5146140 SOS 3964839 HAS SOPS 3946666 HAS SOUS 483005 HAS SOUPS 482286 WITH SCORE 486250.839
AT ITER 8151 NEW BEST:: SOT 5144983 SOS 3963682 HAS SOPS 3945509 HAS SOUS 481892 HAS SOUPS 481173 WITH SCORE 485136.682
AT ITER 8153 NEW BEST:: SOT 5144983 SOS 3965395 HAS SOPS 3947222 HAS SOUS 481811 HAS SOUPS 481092 WITH SCORE 485057.395
AT ITER 8255 NEW BEST:: SOT 5144967 SOS 3965379 HAS SOPS 3947206 HAS SOUS 481795 HAS SOUPS 481076 WITH SCORE 485041.379
AT ITER 8271 NEW BEST:: SOT 5144807 SOS 3965219 HAS SOPS 3947046 HAS SOUS 481535 HAS SOUPS 480816 WITH SCORE 484781.219
AT ITER 8315 NEW BEST:: SOT 5144793 SOS 3965205 HAS SOPS 3947032 HAS SOUS 481514 HAS SOUPS 480795 WITH SCORE 484760.205
AT ITER 8318 NEW BEST:: SOT 5144793 SOS 3968316 HAS SOPS 3950159 HAS SOUS 481383 HAS SOUPS 480664 WITH SCORE 484632.316
AT ITER 8359 NEW BEST:: SOT 5144739 SOS 3968262 HAS SOPS 3950105 HAS SOUS 481367 HAS SOUPS 480648 WITH SCORE 484616.262
AT ITER 8367 NEW BEST:: SOT 5144739 SOS 3960413 HAS SOPS 3942256 HAS SOUS 481367 HAS SOUPS 480648 WITH SCORE 484608.413
AT ITER 8384 NEW BEST:: SOT 5143871 SOS 3959545 HAS SOPS 3941388 HAS SOUS 480423 HAS SOUPS 479704 WITH SCORE 483663.545
AT ITER 8393 NEW BEST:: SOT 5143871 SOS 3958745 HAS SOPS 3940588 HAS SOUS 480423 HAS SOUPS 479704 WITH SCORE 483662.745
AT ITER 8414 NEW BEST:: SOT 5143871 SOS 3946649 HAS SOPS 3928492 HAS SOUS 480423 HAS SOUPS 479704 WITH SCORE 483650.649
AT ITER 8430 NEW BEST:: SOT 5143954 SOS 3946732 HAS SOPS 3928575 HAS SOUS 480390 HAS SOUPS 479671 WITH SCORE 483617.732
AT ITER 8442 NEW BEST:: SOT 5144070 SOS 3946496 HAS SOPS 3928273 HAS SOUS 480006 HAS SOUPS 479221 WITH SCORE 483167.496
AT ITER 8451 NEW BEST:: SOT 5144060 SOS 3946486 HAS SOPS 3928263 HAS SOUS 479991 HAS SOUPS 479206 WITH SCORE 483152.486
AT ITER 8460 NEW BEST:: SOT 5144060 SOS 3901458 HAS SOPS 3883235 HAS SOUS 480024 HAS SOUPS 479239 WITH SCORE 483140.458
AT ITER 8473 NEW BEST:: SOT 5144082 SOS 3901502 HAS SOPS 3883279 HAS SOUS 480012 HAS SOUPS 479227 WITH SCORE 483128.502
AT ITER 8480 NEW BEST:: SOT 5144082 SOS 3840994 HAS SOPS 3814147 HAS SOUS 480048 HAS SOUPS 479263 WITH SCORE 483103.994
AT ITER 8506 NEW BEST:: SOT 5144066 SOS 3840978 HAS SOPS 3814131 HAS SOUS 480024 HAS SOUPS 479239 WITH SCORE 483079.978
AT ITER 8514 NEW BEST:: SOT 5144516 SOS 3841428 HAS SOPS 3814581 HAS SOUS 479774 HAS SOUPS 478989 WITH SCORE 482830.428
AT ITER 8532 NEW BEST:: SOT 5144516 SOS 3841428 HAS SOPS 3814581 HAS SOUS 479764 HAS SOUPS 478979 WITH SCORE 482820.428
AT ITER 8551 NEW BEST:: SOT 5144502 SOS 3841414 HAS SOPS 3814567 HAS SOUS 479729 HAS SOUPS 478944 WITH SCORE 482785.414
AT ITER 8558 NEW BEST:: SOT 5144462 SOS 3841374 HAS SOPS 3814527 HAS SOUS 479669 HAS SOUPS 478884 WITH SCORE 482725.374
AT ITER 8564 NEW BEST:: SOT 5144462 SOS 3843306 HAS SOPS 3816459 HAS SOUS 479585 HAS SOUPS 478800 WITH SCORE 482643.306
AT ITER 8657 NEW BEST:: SOT 5144360 SOS 3843204 HAS SOPS 3816357 HAS SOUS 479432 HAS SOUPS 478647 WITH SCORE 482490.204
AT ITER 8669 NEW BEST:: SOT 5144320 SOS 3843164 HAS SOPS 3816317 HAS SOUS 479372 HAS SOUPS 478587 WITH SCORE 482430.164
AT ITER 8749 NEW BEST:: SOT 5144310 SOS 3843154 HAS SOPS 3816307 HAS SOUS 479357 HAS SOUPS 478572 WITH SCORE 482415.154
AT ITER 8756 NEW BEST:: SOT 5144187 SOS 3843043 HAS SOPS 3816196 HAS SOUS 479308 HAS SOUPS 478523 WITH SCORE 482366.043
AT ITER 8788 NEW BEST:: SOT 5144177 SOS 3843033 HAS SOPS 3816186 HAS SOUS 479307 HAS SOUPS 478522 WITH SCORE 482365.033
AT ITER 8799 NEW BEST:: SOT 5144177 SOS 3846160 HAS SOPS 3819329 HAS SOUS 479255 HAS SOUPS 478470 WITH SCORE 482316.16
AT ITER 8839 NEW BEST:: SOT 5144177 SOS 3846160 HAS SOPS 3819329 HAS SOUS 479220 HAS SOUPS 478435 WITH SCORE 482281.16
AT ITER 8933 NEW BEST:: SOT 5144119 SOS 3846102 HAS SOPS 3819271 HAS SOUS 479133 HAS SOUPS 478348 WITH SCORE 482194.102
AT ITER 8949 NEW BEST:: SOT 5144047 SOS 3846030 HAS SOPS 3819199 HAS SOUS 479025 HAS SOUPS 478240 WITH SCORE 482086.03
AT ITER 9013 NEW BEST:: SOT 5144047 SOS 3844927 HAS SOPS 3818068 HAS SOUS 478934 HAS SOUPS 478149 WITH SCORE 481993.927
AT ITER 9027 NEW BEST:: SOT 5144047 SOS 3844887 HAS SOPS 3818028 HAS SOUS 478934 HAS SOUPS 478149 WITH SCORE 481993.887
AT ITER 9090 NEW BEST:: SOT 5144047 SOS 3844937 HAS SOPS 3818078 HAS SOUS 478932 HAS SOUPS 478147 WITH SCORE 481991.937
AT ITER 9168 NEW BEST:: SOT 5144310 SOS 3845200 HAS SOPS 3818341 HAS SOUS 478871 HAS SOUPS 478086 WITH SCORE 481931.2
AT ITER 9182 NEW BEST:: SOT 5144310 SOS 3847927 HAS SOPS 3821171 HAS SOUS 478750 HAS SOUPS 477965 WITH SCORE 481812.927
AT ITER 9183 NEW BEST:: SOT 5144310 SOS 3847927 HAS SOPS 3821171 HAS SOUS 478742 HAS SOUPS 477957 WITH SCORE 481804.927
AT ITER 9191 NEW BEST:: SOT 5144310 SOS 3848209 HAS SOPS 3821921 HAS SOUS 478734 HAS SOUPS 477949 WITH SCORE 481797.209
AT ITER 9217 NEW BEST:: SOT 5144310 SOS 3848797 HAS SOPS 3822556 HAS SOUS 478704 HAS SOUPS 477919 WITH SCORE 481767.797
AT ITER 9221 NEW BEST:: SOT 5144310 SOS 3850888 HAS SOPS 3822187 HAS SOUS 478610 HAS SOUPS 477796 WITH SCORE 481646.888
AT ITER 9224 NEW BEST:: SOT 5144120 SOS 3850698 HAS SOPS 3821997 HAS SOUS 478345 HAS SOUPS 477531 WITH SCORE 481381.698
AT ITER 9226 NEW BEST:: SOT 5143773 SOS 3850340 HAS SOPS 3821650 HAS SOUS 477998 HAS SOUPS 477195 WITH SCORE 481045.34
AT ITER 9227 NEW BEST:: SOT 5143715 SOS 3850282 HAS SOPS 3821592 HAS SOUS 477911 HAS SOUPS 477108 WITH SCORE 480958.282
AT ITER 9248 NEW BEST:: SOT 5143981 SOS 3850548 HAS SOPS 3821858 HAS SOUS 477875 HAS SOUPS 477072 WITH SCORE 480922.548
AT ITER 9268 NEW BEST:: SOT 5143981 SOS 3850620 HAS SOPS 3822650 HAS SOUS 477817 HAS SOUPS 477043 WITH SCORE 480893.62
AT ITER 9292 NEW BEST:: SOT 5143981 SOS 3850909 HAS SOPS 3822955 HAS SOUS 477804 HAS SOUPS 477030 WITH SCORE 480880.909
AT ITER 9305 NEW BEST:: SOT 5143887 SOS 3850815 HAS SOPS 3822861 HAS SOUS 477663 HAS SOUPS 476889 WITH SCORE 480739.815
AT ITER 9308 NEW BEST:: SOT 5143887 SOS 3850815 HAS SOPS 3822861 HAS SOUS 477656 HAS SOUPS 476882 WITH SCORE 480732.815
AT ITER 9309 NEW BEST:: SOT 5144121 SOS 3850978 HAS SOPS 3823095 HAS SOUS 477346 HAS SOUPS 476643 WITH SCORE 480493.978
AT ITER 9340 NEW BEST:: SOT 5144113 SOS 3850970 HAS SOPS 3823087 HAS SOUS 477334 HAS SOUPS 476631 WITH SCORE 480481.97
AT ITER 9359 NEW BEST:: SOT 5144113 SOS 3887026 HAS SOPS 3859143 HAS SOUS 477296 HAS SOUPS 476593 WITH SCORE 480480.026
AT ITER 9407 NEW BEST:: SOT 5144001 SOS 3886914 HAS SOPS 3859031 HAS SOUS 477128 HAS SOUPS 476425 WITH SCORE 480311.914
AT ITER 9431 NEW BEST:: SOT 5143961 SOS 3886874 HAS SOPS 3858991 HAS SOUS 477068 HAS SOUPS 476365 WITH SCORE 480251.874
AT ITER 9442 NEW BEST:: SOT 5143941 SOS 3886848 HAS SOPS 3858965 HAS SOUS 477024 HAS SOUPS 476321 WITH SCORE 480207.848
AT ITER 9479 NEW BEST:: SOT 5143941 SOS 3886848 HAS SOPS 3858965 HAS SOUS 476960 HAS SOUPS 476257 WITH SCORE 480143.848
AT ITER 9490 NEW BEST:: SOT 5143941 SOS 3886668 HAS SOPS 3858785 HAS SOUS 476960 HAS SOUPS 476257 WITH SCORE 480143.668
AT ITER 9495 NEW BEST:: SOT 5143941 SOS 3886470 HAS SOPS 3858587 HAS SOUS 476939 HAS SOUPS 476236 WITH SCORE 480122.47
AT ITER 9512 NEW BEST:: SOT 5143866 SOS 3886395 HAS SOPS 3858512 HAS SOUS 476864 HAS SOUPS 476161 WITH SCORE 480047.395
AT ITER 9530 NEW BEST:: SOT 5143866 SOS 3886738 HAS SOPS 3858855 HAS SOUS 476841 HAS SOUPS 476138 WITH SCORE 480024.738
AT ITER 9562 NEW BEST:: SOT 5143866 SOS 3887657 HAS SOPS 3859790 HAS SOUS 476814 HAS SOUPS 476111 WITH SCORE 479998.657
AT ITER 9564 NEW BEST:: SOT 5143866 SOS 3887717 HAS SOPS 3859850 HAS SOUS 476793 HAS SOUPS 476090 WITH SCORE 479977.717
AT ITER 9570 NEW BEST:: SOT 5143866 SOS 3887825 HAS SOPS 3852993 HAS SOUS 476342 HAS SOUPS 475639 WITH SCORE 479526.825
AT ITER 9572 NEW BEST:: SOT 5143858 SOS 3887817 HAS SOPS 3852985 HAS SOUS 476314 HAS SOUPS 475611 WITH SCORE 479498.817
AT ITER 9581 NEW BEST:: SOT 5143858 SOS 3887817 HAS SOPS 3852985 HAS SOUS 476300 HAS SOUPS 475597 WITH SCORE 479484.817
AT ITER 9586 NEW BEST:: SOT 5143858 SOS 3832706 HAS SOPS 3797675 HAS SOUS 476300 HAS SOUPS 475597 WITH SCORE 479429.706
AT ITER 9699 NEW BEST:: SOT 5143858 SOS 3835514 HAS SOPS 3800553 HAS SOUS 476235 HAS SOUPS 475532 WITH SCORE 479367.514
AT ITER 9709 NEW BEST:: SOT 5144031 SOS 3815320 HAS SOPS 3779825 HAS SOUS 476672 HAS SOUPS 475435 WITH SCORE 479250.32
AT ITER 9743 NEW BEST:: SOT 5144031 SOS 3813222 HAS SOPS 3777727 HAS SOUS 476672 HAS SOUPS 475435 WITH SCORE 479248.222
AT ITER 9770 NEW BEST:: SOT 5143131 SOS 3812297 HAS SOPS 3776827 HAS SOUS 475697 HAS SOUPS 474485 WITH SCORE 478297.297
AT ITER 9775 NEW BEST:: SOT 5143088 SOS 3812254 HAS SOPS 3776784 HAS SOUS 475689 HAS SOUPS 474477 WITH SCORE 478289.254
AT ITER 9793 NEW BEST:: SOT 5143088 SOS 3811064 HAS SOPS 3775454 HAS SOUS 475199 HAS SOUPS 473987 WITH SCORE 477798.064
AT ITER 9815 NEW BEST:: SOT 5143088 SOS 3811124 HAS SOPS 3775499 HAS SOUS 475196 HAS SOUPS 473984 WITH SCORE 477795.124
AT ITER 9868 NEW BEST:: SOT 5144477 SOS 3814392 HAS SOPS 3778853 HAS SOUS 474837 HAS SOUPS 473711 WITH SCORE 477525.392
AT ITER 9881 NEW BEST:: SOT 5145234 SOS 3815149 HAS SOPS 3779625 HAS SOUS 474649 HAS SOUPS 473538 WITH SCORE 477353.149
AT ITER 9887 NEW BEST:: SOT 5145103 SOS 3815018 HAS SOPS 3779494 HAS SOUS 474446 HAS SOUPS 473335 WITH SCORE 477150.018
AT ITER 9898 NEW BEST:: SOT 5145103 SOS 3813785 HAS SOPS 3778241 HAS SOUS 474446 HAS SOUPS 473335 WITH SCORE 477148.785
AT ITER 9910 NEW BEST:: SOT 5145089 SOS 3813775 HAS SOPS 3778231 HAS SOUS 474444 HAS SOUPS 473333 WITH SCORE 477146.775
AT ITER 9917 NEW BEST:: SOT 5145101 SOS 3813715 HAS SOPS 3778171 HAS SOUS 474410 HAS SOUPS 473299 WITH SCORE 477112.715
AT ITER 9964 NEW BEST:: SOT 5145101 SOS 3813769 HAS SOPS 3769585 HAS SOUS 474080 HAS SOUPS 472969 WITH SCORE 476782.769
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 12289592 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16121012 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="SafeBus-COL-20"
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 SafeBus-COL-20, 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 r355-smll-167891803100240"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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