Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r063-tajo-158922808301003.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is EnergyBus-PT-none, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922808301003
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.4M
-rw-r--r-- 1 mcc users 3.0K Apr 13 13:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 13 13:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 13 13:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 13 13:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 15:19 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 15:19 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.0K Apr 13 13:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Apr 13 13:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 13 13:15 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 13 13:15 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 13 13:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 13 13:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 3.2M Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME EnergyBus-PT-none-CTLCardinality-00
FORMULA_NAME EnergyBus-PT-none-CTLCardinality-01
FORMULA_NAME EnergyBus-PT-none-CTLCardinality-02
FORMULA_NAME EnergyBus-PT-none-CTLCardinality-03
FORMULA_NAME EnergyBus-PT-none-CTLCardinality-04
FORMULA_NAME EnergyBus-PT-none-CTLCardinality-05
FORMULA_NAME EnergyBus-PT-none-CTLCardinality-06
FORMULA_NAME EnergyBus-PT-none-CTLCardinality-07
FORMULA_NAME EnergyBus-PT-none-CTLCardinality-08
FORMULA_NAME EnergyBus-PT-none-CTLCardinality-09
FORMULA_NAME EnergyBus-PT-none-CTLCardinality-10
FORMULA_NAME EnergyBus-PT-none-CTLCardinality-11
FORMULA_NAME EnergyBus-PT-none-CTLCardinality-12
FORMULA_NAME EnergyBus-PT-none-CTLCardinality-13
FORMULA_NAME EnergyBus-PT-none-CTLCardinality-14
FORMULA_NAME EnergyBus-PT-none-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589368871146

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running EnergyBus (PT), instance none
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 157 places, 4430 transitions, 63389 arcs.
AT ITER 0 NEW BEST:: SOT 603808 SOS 495441 HAS SOPS 494768 HAS SOUS 184910 HAS SOUPS 184686 WITH SCORE 185181.441
AT ITER 9 NEW BEST:: SOT 603871 SOS 495524 HAS SOPS 494851 HAS SOUS 184551 HAS SOUPS 184327 WITH SCORE 184822.524
AT ITER 14 NEW BEST:: SOT 603871 SOS 495520 HAS SOPS 494847 HAS SOUS 184471 HAS SOUPS 184247 WITH SCORE 184742.52
AT ITER 15 NEW BEST:: SOT 603731 SOS 495170 HAS SOPS 494707 HAS SOUS 182505 HAS SOUPS 182323 WITH SCORE 182818.17
AT ITER 18 NEW BEST:: SOT 603671 SOS 495112 HAS SOPS 494649 HAS SOUS 181999 HAS SOUPS 181817 WITH SCORE 182312.112
AT ITER 19 NEW BEST:: SOT 603719 SOS 495399 HAS SOPS 494936 HAS SOUS 181685 HAS SOUPS 181503 WITH SCORE 181998.399
AT ITER 22 NEW BEST:: SOT 604818 SOS 496574 HAS SOPS 496110 HAS SOUS 179174 HAS SOUPS 178991 WITH SCORE 179487.574
AT ITER 29 NEW BEST:: SOT 604859 SOS 496574 HAS SOPS 496110 HAS SOUS 179159 HAS SOUPS 178976 WITH SCORE 179472.574
AT ITER 32 NEW BEST:: SOT 604920 SOS 496696 HAS SOPS 496232 HAS SOUS 178914 HAS SOUPS 178731 WITH SCORE 179227.696
AT ITER 35 NEW BEST:: SOT 604920 SOS 496727 HAS SOPS 496263 HAS SOUS 176873 HAS SOUPS 176690 WITH SCORE 177186.727
AT ITER 36 NEW BEST:: SOT 604795 SOS 496602 HAS SOPS 496138 HAS SOUS 176748 HAS SOUPS 176565 WITH SCORE 177061.602
AT ITER 41 NEW BEST:: SOT 610850 SOS 502490 HAS SOPS 501994 HAS SOUS 172911 HAS SOUPS 172696 WITH SCORE 173198.49
AT ITER 42 NEW BEST:: SOT 611066 SOS 502715 HAS SOPS 502219 HAS SOUS 169172 HAS SOUPS 168957 WITH SCORE 169459.715
AT ITER 47 NEW BEST:: SOT 611034 SOS 502671 HAS SOPS 502175 HAS SOUS 169128 HAS SOUPS 168913 WITH SCORE 169415.671
AT ITER 52 NEW BEST:: SOT 611034 SOS 502735 HAS SOPS 502239 HAS SOUS 166792 HAS SOUPS 166577 WITH SCORE 167079.735
AT ITER 55 NEW BEST:: SOT 611067 SOS 502723 HAS SOPS 502227 HAS SOUS 166708 HAS SOUPS 166493 WITH SCORE 166995.723
AT ITER 57 NEW BEST:: SOT 610154 SOS 502297 HAS SOPS 501273 HAS SOUS 166551 HAS SOUPS 166228 WITH SCORE 166730.297
AT ITER 58 NEW BEST:: SOT 609195 SOS 501204 HAS SOPS 500180 HAS SOUS 160475 HAS SOUPS 160152 WITH SCORE 160653.204
AT ITER 60 NEW BEST:: SOT 608006 SOS 500015 HAS SOPS 498991 HAS SOUS 160198 HAS SOUPS 159875 WITH SCORE 160375.015
AT ITER 67 NEW BEST:: SOT 607976 SOS 499879 HAS SOPS 498931 HAS SOUS 160155 HAS SOUPS 159832 WITH SCORE 160331.879
AT ITER 76 NEW BEST:: SOT 607888 SOS 499796 HAS SOPS 498843 HAS SOUS 160090 HAS SOUPS 159766 WITH SCORE 160265.796
AT ITER 82 NEW BEST:: SOT 607874 SOS 499780 HAS SOPS 498827 HAS SOUS 160068 HAS SOUPS 159744 WITH SCORE 160243.78
AT ITER 83 NEW BEST:: SOT 607898 SOS 499926 HAS SOPS 498973 HAS SOUS 159934 HAS SOUPS 159610 WITH SCORE 160109.926
AT ITER 84 NEW BEST:: SOT 607905 SOS 499867 HAS SOPS 498914 HAS SOUS 159908 HAS SOUPS 159584 WITH SCORE 160083.867
AT ITER 89 NEW BEST:: SOT 607863 SOS 499825 HAS SOPS 498872 HAS SOUS 159845 HAS SOUPS 159521 WITH SCORE 160020.825
AT ITER 93 NEW BEST:: SOT 607841 SOS 499818 HAS SOPS 498865 HAS SOUS 159835 HAS SOUPS 159511 WITH SCORE 160010.818
AT ITER 96 NEW BEST:: SOT 605992 SOS 497991 HAS SOPS 497061 HAS SOUS 159607 HAS SOUPS 159307 WITH SCORE 159804.991
AT ITER 97 NEW BEST:: SOT 606093 SOS 497984 HAS SOPS 497054 HAS SOUS 151518 HAS SOUPS 151218 WITH SCORE 151715.984
AT ITER 98 NEW BEST:: SOT 606071 SOS 497962 HAS SOPS 497032 HAS SOUS 151516 HAS SOUPS 151216 WITH SCORE 151713.962
AT ITER 99 NEW BEST:: SOT 606090 SOS 498079 HAS SOPS 497174 HAS SOUS 149080 HAS SOUPS 148805 WITH SCORE 149303.079
AT ITER 100 NEW BEST:: SOT 606100 SOS 498121 HAS SOPS 497216 HAS SOUS 120264 HAS SOUPS 119989 WITH SCORE 120487.121
AT ITER 102 NEW BEST:: SOT 606096 SOS 498065 HAS SOPS 497190 HAS SOUS 120254 HAS SOUPS 119985 WITH SCORE 120483.065
AT ITER 108 NEW BEST:: SOT 606066 SOS 498097 HAS SOPS 497223 HAS SOUS 120225 HAS SOUPS 119956 WITH SCORE 120454.097
AT ITER 110 NEW BEST:: SOT 606146 SOS 498138 HAS SOPS 497264 HAS SOUS 120024 HAS SOUPS 119755 WITH SCORE 120253.138
AT ITER 112 NEW BEST:: SOT 606208 SOS 498732 HAS SOPS 497858 HAS SOUS 119951 HAS SOUPS 119682 WITH SCORE 120180.732
AT ITER 114 NEW BEST:: SOT 606249 SOS 498773 HAS SOPS 497872 HAS SOUS 119940 HAS SOUPS 119670 WITH SCORE 120168.773
AT ITER 116 NEW BEST:: SOT 606202 SOS 498726 HAS SOPS 497812 HAS SOUS 119927 HAS SOUPS 119644 WITH SCORE 120142.726
AT ITER 118 NEW BEST:: SOT 606122 SOS 498472 HAS SOPS 497610 HAS SOUS 119738 HAS SOUPS 119455 WITH SCORE 119953.472
AT ITER 121 NEW BEST:: SOT 606127 SOS 498394 HAS SOPS 497532 HAS SOUS 119738 HAS SOUPS 119455 WITH SCORE 119953.394
AT ITER 123 NEW BEST:: SOT 606124 SOS 498391 HAS SOPS 497529 HAS SOUS 119735 HAS SOUPS 119452 WITH SCORE 119950.391
AT ITER 127 NEW BEST:: SOT 606155 SOS 498397 HAS SOPS 497535 HAS SOUS 119614 HAS SOUPS 119331 WITH SCORE 119829.397
AT ITER 131 NEW BEST:: SOT 606155 SOS 498433 HAS SOPS 497571 HAS SOUS 119613 HAS SOUPS 119330 WITH SCORE 119828.433
AT ITER 132 NEW BEST:: SOT 606155 SOS 498484 HAS SOPS 497622 HAS SOUS 117254 HAS SOUPS 116971 WITH SCORE 117469.484
AT ITER 134 NEW BEST:: SOT 606183 SOS 498614 HAS SOPS 497752 HAS SOUS 115435 HAS SOUPS 115152 WITH SCORE 115650.614
AT ITER 136 NEW BEST:: SOT 606222 SOS 498848 HAS SOPS 497947 HAS SOUS 112516 HAS SOUPS 112194 WITH SCORE 112692.848
AT ITER 138 NEW BEST:: SOT 606222 SOS 498756 HAS SOPS 497855 HAS SOUS 112444 HAS SOUPS 112122 WITH SCORE 112620.756
AT ITER 140 NEW BEST:: SOT 606222 SOS 498796 HAS SOPS 497927 HAS SOUS 112356 HAS SOUPS 112042 WITH SCORE 112540.796
AT ITER 143 NEW BEST:: SOT 606099 SOS 498619 HAS SOPS 497789 HAS SOUS 107557 HAS SOUPS 107243 WITH SCORE 107741.619
AT ITER 144 NEW BEST:: SOT 606038 SOS 498446 HAS SOPS 497628 HAS SOUS 107494 HAS SOUPS 107155 WITH SCORE 107653.446
AT ITER 146 NEW BEST:: SOT 590986 SOS 500014 HAS SOPS 483116 HAS SOUS 104144 HAS SOUPS 103726 WITH SCORE 104226.014
AT ITER 147 NEW BEST:: SOT 590949 SOS 499959 HAS SOPS 483079 HAS SOUS 104125 HAS SOUPS 103707 WITH SCORE 104206.959
AT ITER 149 NEW BEST:: SOT 591154 SOS 500147 HAS SOPS 483267 HAS SOUS 102662 HAS SOUPS 102244 WITH SCORE 102744.147
AT ITER 150 NEW BEST:: SOT 591254 SOS 500210 HAS SOPS 483462 HAS SOUS 101538 HAS SOUPS 101168 WITH SCORE 101668.21
AT ITER 154 NEW BEST:: SOT 590936 SOS 499828 HAS SOPS 483080 HAS SOUS 96630 HAS SOUPS 96260 WITH SCORE 96759.828
AT ITER 157 NEW BEST:: SOT 590922 SOS 499814 HAS SOPS 483052 HAS SOUS 96630 HAS SOUPS 96246 WITH SCORE 96745.814
AT ITER 158 NEW BEST:: SOT 590849 SOS 499597 HAS SOPS 482862 HAS SOUS 90899 HAS SOUPS 90515 WITH SCORE 91014.597
AT ITER 159 NEW BEST:: SOT 590851 SOS 499599 HAS SOPS 482864 HAS SOUS 90847 HAS SOUPS 90463 WITH SCORE 90962.599
AT ITER 161 NEW BEST:: SOT 590868 SOS 499322 HAS SOPS 482587 HAS SOUS 90847 HAS SOUPS 90463 WITH SCORE 90962.322
AT ITER 167 NEW BEST:: SOT 590747 SOS 499287 HAS SOPS 482569 HAS SOUS 90814 HAS SOUPS 90447 WITH SCORE 90946.287
AT ITER 168 NEW BEST:: SOT 590771 SOS 499327 HAS SOPS 469898 HAS SOUS 90823 HAS SOUPS 90437 WITH SCORE 90936.327
AT ITER 170 NEW BEST:: SOT 590759 SOS 499267 HAS SOPS 469838 HAS SOUS 90823 HAS SOUPS 90425 WITH SCORE 90924.267
AT ITER 171 NEW BEST:: SOT 593678 SOS 502163 HAS SOPS 472734 HAS SOUS 88723 HAS SOUPS 88325 WITH SCORE 88827.163
AT ITER 176 NEW BEST:: SOT 593573 SOS 516489 HAS SOPS 500532 HAS SOUS 88662 HAS SOUPS 88264 WITH SCORE 88780.489
AT ITER 178 NEW BEST:: SOT 594945 SOS 517838 HAS SOPS 501881 HAS SOUS 76363 HAS SOUPS 75965 WITH SCORE 76482.838
AT ITER 180 NEW BEST:: SOT 594936 SOS 517804 HAS SOPS 501847 HAS SOUS 76362 HAS SOUPS 75964 WITH SCORE 76481.804
AT ITER 183 NEW BEST:: SOT 598717 SOS 521585 HAS SOPS 505628 HAS SOUS 73096 HAS SOUPS 72698 WITH SCORE 73219.585
AT ITER 187 NEW BEST:: SOT 598651 SOS 521519 HAS SOPS 505572 HAS SOUS 72262 HAS SOUPS 71864 WITH SCORE 72385.519
AT ITER 188 NEW BEST:: SOT 598769 SOS 521647 HAS SOPS 505700 HAS SOUS 71283 HAS SOUPS 70885 WITH SCORE 71406.647
AT ITER 189 NEW BEST:: SOT 598855 SOS 521688 HAS SOPS 505786 HAS SOUS 70856 HAS SOUPS 70459 WITH SCORE 70980.688
AT ITER 192 NEW BEST:: SOT 595129 SOS 517977 HAS SOPS 502075 HAS SOUS 69001 HAS SOUPS 68604 WITH SCORE 69121.977
AT ITER 199 NEW BEST:: SOT 595090 SOS 517935 HAS SOPS 502033 HAS SOUS 68956 HAS SOUPS 68559 WITH SCORE 69076.935
AT ITER 205 NEW BEST:: SOT 595094 SOS 517941 HAS SOPS 502039 HAS SOUS 68901 HAS SOUPS 68504 WITH SCORE 69021.941
AT ITER 208 NEW BEST:: SOT 595094 SOS 517857 HAS SOPS 501972 HAS SOUS 68493 HAS SOUPS 68096 WITH SCORE 68613.857
AT ITER 212 NEW BEST:: SOT 595115 SOS 517792 HAS SOPS 501899 HAS SOUS 68135 HAS SOUPS 67738 WITH SCORE 68255.792
AT ITER 213 NEW BEST:: SOT 595126 SOS 503290 HAS SOPS 479375 HAS SOUS 68132 HAS SOUPS 67724 WITH SCORE 68227.29
AT ITER 218 NEW BEST:: SOT 595126 SOS 503190 HAS SOPS 479375 HAS SOUS 67802 HAS SOUPS 67414 WITH SCORE 67917.19
AT ITER 220 NEW BEST:: SOT 595126 SOS 503001 HAS SOPS 479090 HAS SOUS 67802 HAS SOUPS 67414 WITH SCORE 67917.001
AT ITER 225 NEW BEST:: SOT 595103 SOS 502959 HAS SOPS 484256 HAS SOUS 67598 HAS SOUPS 67212 WITH SCORE 67714.959
AT ITER 226 NEW BEST:: SOT 584066 SOS 491566 HAS SOPS 472920 HAS SOUS 61710 HAS SOUPS 61390 WITH SCORE 61881.566
AT ITER 227 NEW BEST:: SOT 584066 SOS 491643 HAS SOPS 472623 HAS SOUS 61263 HAS SOUPS 60943 WITH SCORE 61434.643
AT ITER 228 NEW BEST:: SOT 584203 SOS 491789 HAS SOPS 472778 HAS SOUS 60805 HAS SOUPS 60494 WITH SCORE 60985.789
AT ITER 234 NEW BEST:: SOT 584062 SOS 491557 HAS SOPS 472546 HAS SOUS 60573 HAS SOUPS 60262 WITH SCORE 60753.557
AT ITER 237 NEW BEST:: SOT 584056 SOS 491551 HAS SOPS 472540 HAS SOUS 60570 HAS SOUPS 60259 WITH SCORE 60750.551
AT ITER 238 NEW BEST:: SOT 583042 SOS 490537 HAS SOPS 471526 HAS SOUS 59007 HAS SOUPS 58696 WITH SCORE 59186.537
AT ITER 241 NEW BEST:: SOT 583021 SOS 490516 HAS SOPS 471505 HAS SOUS 59007 HAS SOUPS 58696 WITH SCORE 59186.516
AT ITER 249 NEW BEST:: SOT 583019 SOS 490512 HAS SOPS 471501 HAS SOUS 58999 HAS SOUPS 58688 WITH SCORE 59178.512
AT ITER 252 NEW BEST:: SOT 583135 SOS 490628 HAS SOPS 471617 HAS SOUS 57895 HAS SOUPS 57584 WITH SCORE 58074.628
AT ITER 257 NEW BEST:: SOT 583169 SOS 490672 HAS SOPS 471661 HAS SOUS 57725 HAS SOUPS 57414 WITH SCORE 57904.672
AT ITER 259 NEW BEST:: SOT 583161 SOS 490653 HAS SOPS 471642 HAS SOUS 57706 HAS SOUPS 57395 WITH SCORE 57885.653
AT ITER 262 NEW BEST:: SOT 583131 SOS 490593 HAS SOPS 471582 HAS SOUS 57631 HAS SOUPS 57320 WITH SCORE 57810.593
AT ITER 263 NEW BEST:: SOT 583185 SOS 490644 HAS SOPS 471633 HAS SOUS 57630 HAS SOUPS 57319 WITH SCORE 57809.644
AT ITER 264 NEW BEST:: SOT 583128 SOS 490587 HAS SOPS 471576 HAS SOUS 54591 HAS SOUPS 54280 WITH SCORE 54770.587
AT ITER 265 NEW BEST:: SOT 585561 SOS 492999 HAS SOPS 473988 HAS SOUS 53227 HAS SOUPS 52916 WITH SCORE 53408.999
AT ITER 270 NEW BEST:: SOT 585450 SOS 493193 HAS SOPS 474160 HAS SOUS 53198 HAS SOUPS 52887 WITH SCORE 53380.193
AT ITER 271 NEW BEST:: SOT 585767 SOS 493509 HAS SOPS 474476 HAS SOUS 53194 HAS SOUPS 52883 WITH SCORE 53376.509
AT ITER 273 NEW BEST:: SOT 585800 SOS 493564 HAS SOPS 474564 HAS SOUS 53153 HAS SOUPS 52875 WITH SCORE 53368.564
AT ITER 274 NEW BEST:: SOT 585737 SOS 493470 HAS SOPS 474470 HAS SOUS 53094 HAS SOUPS 52816 WITH SCORE 53309.47
AT ITER 276 NEW BEST:: SOT 585741 SOS 493474 HAS SOPS 474474 HAS SOUS 53092 HAS SOUPS 52814 WITH SCORE 53307.474
AT ITER 279 NEW BEST:: SOT 585693 SOS 493426 HAS SOPS 474426 HAS SOUS 53023 HAS SOUPS 52745 WITH SCORE 53238.426
AT ITER 283 NEW BEST:: SOT 582984 SOS 490748 HAS SOPS 471748 HAS SOUS 52339 HAS SOUPS 52061 WITH SCORE 52551.748
AT ITER 298 NEW BEST:: SOT 583106 SOS 472101 HAS SOPS 471598 HAS SOUS 52292 HAS SOUPS 52079 WITH SCORE 52551.101
AT ITER 306 NEW BEST:: SOT 583070 SOS 472066 HAS SOPS 471526 HAS SOUS 52266 HAS SOUPS 52053 WITH SCORE 52525.066
AT ITER 315 NEW BEST:: SOT 583016 SOS 472047 HAS SOPS 471473 HAS SOUS 51679 HAS SOUPS 51466 WITH SCORE 51938.047
AT ITER 317 NEW BEST:: SOT 583001 SOS 472006 HAS SOPS 471433 HAS SOUS 51664 HAS SOUPS 51446 WITH SCORE 51918.006
AT ITER 318 NEW BEST:: SOT 581650 SOS 470661 HAS SOPS 470088 HAS SOUS 51558 HAS SOUPS 51340 WITH SCORE 51810.661
AT ITER 321 NEW BEST:: SOT 581632 SOS 470674 HAS SOPS 470088 HAS SOUS 51456 HAS SOUPS 51230 WITH SCORE 51700.674
AT ITER 327 NEW BEST:: SOT 581610 SOS 470636 HAS SOPS 470064 HAS SOUS 51450 HAS SOUPS 51224 WITH SCORE 51694.636
AT ITER 329 NEW BEST:: SOT 581609 SOS 470674 HAS SOPS 470047 HAS SOUS 51378 HAS SOUPS 51152 WITH SCORE 51622.674
AT ITER 330 NEW BEST:: SOT 581627 SOS 470682 HAS SOPS 470055 HAS SOUS 51366 HAS SOUPS 51140 WITH SCORE 51610.682
AT ITER 337 NEW BEST:: SOT 581573 SOS 470596 HAS SOPS 469969 HAS SOUS 51280 HAS SOUPS 51054 WITH SCORE 51524.596
AT ITER 339 NEW BEST:: SOT 581472 SOS 470459 HAS SOPS 469832 HAS SOUS 51110 HAS SOUPS 50884 WITH SCORE 51354.459
AT ITER 342 NEW BEST:: SOT 581470 SOS 470449 HAS SOPS 469822 HAS SOUS 51107 HAS SOUPS 50881 WITH SCORE 51351.449
AT ITER 345 NEW BEST:: SOT 585590 SOS 474567 HAS SOPS 473940 HAS SOUS 50953 HAS SOUPS 50727 WITH SCORE 51201.567
AT ITER 356 NEW BEST:: SOT 585590 SOS 474692 HAS SOPS 474065 HAS SOUS 50952 HAS SOUPS 50726 WITH SCORE 51200.692
AT ITER 358 NEW BEST:: SOT 585913 SOS 475159 HAS SOPS 474534 HAS SOUS 50886 HAS SOUPS 50660 WITH SCORE 51135.159
AT ITER 360 NEW BEST:: SOT 591356 SOS 480632 HAS SOPS 480014 HAS SOUS 49884 HAS SOUPS 49658 WITH SCORE 50138.632
AT ITER 361 NEW BEST:: SOT 591435 SOS 480746 HAS SOPS 480128 HAS SOUS 49175 HAS SOUPS 48949 WITH SCORE 49429.746
AT ITER 366 NEW BEST:: SOT 591523 SOS 480838 HAS SOPS 480220 HAS SOUS 48847 HAS SOUPS 48621 WITH SCORE 49101.838
AT ITER 370 NEW BEST:: SOT 591564 SOS 480793 HAS SOPS 480175 HAS SOUS 48831 HAS SOUPS 48605 WITH SCORE 49085.793
AT ITER 379 NEW BEST:: SOT 591546 SOS 480763 HAS SOPS 480145 HAS SOUS 48801 HAS SOUPS 48575 WITH SCORE 49055.763
AT ITER 385 NEW BEST:: SOT 591619 SOS 480701 HAS SOPS 480135 HAS SOUS 48737 HAS SOUPS 48538 WITH SCORE 49018.701
AT ITER 386 NEW BEST:: SOT 591621 SOS 480706 HAS SOPS 480155 HAS SOUS 48526 HAS SOUPS 48327 WITH SCORE 48807.706
AT ITER 396 NEW BEST:: SOT 591570 SOS 480520 HAS SOPS 480018 HAS SOUS 48260 HAS SOUPS 48090 WITH SCORE 48570.52
AT ITER 397 NEW BEST:: SOT 591526 SOS 480410 HAS SOPS 479908 HAS SOUS 48160 HAS SOUPS 47990 WITH SCORE 48470.41
AT ITER 400 NEW BEST:: SOT 591549 SOS 480432 HAS SOPS 479930 HAS SOUS 48156 HAS SOUPS 47986 WITH SCORE 48466.432
AT ITER 403 NEW BEST:: SOT 591540 SOS 480402 HAS SOPS 479900 HAS SOUS 48121 HAS SOUPS 47951 WITH SCORE 48431.402
AT ITER 416 NEW BEST:: SOT 591816 SOS 480665 HAS SOPS 480163 HAS SOUS 47749 HAS SOUPS 47579 WITH SCORE 48059.665
AT ITER 419 NEW BEST:: SOT 596305 SOS 485107 HAS SOPS 484605 HAS SOUS 40493 HAS SOUPS 40323 WITH SCORE 40808.107
AT ITER 428 NEW BEST:: SOT 596305 SOS 485079 HAS SOPS 484577 HAS SOUS 40465 HAS SOUPS 40295 WITH SCORE 40780.079
AT ITER 430 NEW BEST:: SOT 596239 SOS 484989 HAS SOPS 484480 HAS SOUS 40371 HAS SOUPS 40201 WITH SCORE 40685.989
AT ITER 431 NEW BEST:: SOT 596229 SOS 484979 HAS SOPS 484475 HAS SOUS 40361 HAS SOUPS 40196 WITH SCORE 40680.979
AT ITER 437 NEW BEST:: SOT 592103 SOS 480837 HAS SOPS 480333 HAS SOUS 39651 HAS SOUPS 39486 WITH SCORE 39966.837
AT ITER 454 NEW BEST:: SOT 590830 SOS 479589 HAS SOPS 479085 HAS SOUS 38371 HAS SOUPS 38206 WITH SCORE 38685.589
AT ITER 459 NEW BEST:: SOT 590954 SOS 479581 HAS SOPS 479077 HAS SOUS 36381 HAS SOUPS 36216 WITH SCORE 36695.581
AT ITER 463 NEW BEST:: SOT 590837 SOS 479464 HAS SOPS 478960 HAS SOUS 36297 HAS SOUPS 36132 WITH SCORE 36611.464
AT ITER 476 NEW BEST:: SOT 590836 SOS 479462 HAS SOPS 478958 HAS SOUS 36296 HAS SOUPS 36131 WITH SCORE 36610.462
AT ITER 479 NEW BEST:: SOT 590839 SOS 479449 HAS SOPS 478945 HAS SOUS 36065 HAS SOUPS 35900 WITH SCORE 36379.449
AT ITER 480 NEW BEST:: SOT 590814 SOS 479399 HAS SOPS 478895 HAS SOUS 36030 HAS SOUPS 35865 WITH SCORE 36344.399
AT ITER 486 NEW BEST:: SOT 590868 SOS 479425 HAS SOPS 478899 HAS SOUS 35983 HAS SOUPS 35818 WITH SCORE 36297.425
AT ITER 488 NEW BEST:: SOT 590857 SOS 479414 HAS SOPS 478888 HAS SOUS 35983 HAS SOUPS 35818 WITH SCORE 36297.414
AT ITER 489 NEW BEST:: SOT 590858 SOS 479400 HAS SOPS 478874 HAS SOUS 35983 HAS SOUPS 35818 WITH SCORE 36297.4
AT ITER 491 NEW BEST:: SOT 590857 SOS 479356 HAS SOPS 478830 HAS SOUS 35983 HAS SOUPS 35818 WITH SCORE 36297.356
AT ITER 495 NEW BEST:: SOT 590831 SOS 493964 HAS SOPS 493438 HAS SOUS 35968 HAS SOUPS 35803 WITH SCORE 36296.964
AT ITER 500 NEW BEST:: SOT 590862 SOS 493947 HAS SOPS 493421 HAS SOUS 35828 HAS SOUPS 35663 WITH SCORE 36156.947
AT ITER 504 NEW BEST:: SOT 590238 SOS 493347 HAS SOPS 492801 HAS SOUS 35783 HAS SOUPS 35618 WITH SCORE 36111.347
AT ITER 520 NEW BEST:: SOT 590238 SOS 493347 HAS SOPS 492801 HAS SOUS 35782 HAS SOUPS 35617 WITH SCORE 36110.347
AT ITER 522 NEW BEST:: SOT 590174 SOS 493283 HAS SOPS 492737 HAS SOUS 35722 HAS SOUPS 35557 WITH SCORE 36050.283
AT ITER 523 NEW BEST:: SOT 591484 SOS 494593 HAS SOPS 494047 HAS SOUS 35662 HAS SOUPS 35497 WITH SCORE 35991.593
AT ITER 532 NEW BEST:: SOT 591345 SOS 494370 HAS SOPS 493824 HAS SOUS 35455 HAS SOUPS 35290 WITH SCORE 35784.37
AT ITER 544 NEW BEST:: SOT 591222 SOS 494247 HAS SOPS 493701 HAS SOUS 34526 HAS SOUPS 34361 WITH SCORE 34855.247
AT ITER 545 NEW BEST:: SOT 591904 SOS 495063 HAS SOPS 494524 HAS SOUS 33899 HAS SOUPS 33734 WITH SCORE 34229.063
AT ITER 565 NEW BEST:: SOT 591840 SOS 494716 HAS SOPS 494214 HAS SOUS 33879 HAS SOUPS 33714 WITH SCORE 34208.716
AT ITER 567 NEW BEST:: SOT 591840 SOS 494711 HAS SOPS 494208 HAS SOUS 33879 HAS SOUPS 33714 WITH SCORE 34208.711
AT ITER 568 NEW BEST:: SOT 589878 SOS 492689 HAS SOPS 492220 HAS SOUS 33821 HAS SOUPS 33662 WITH SCORE 34154.689
AT ITER 573 NEW BEST:: SOT 589877 SOS 492687 HAS SOPS 492218 HAS SOUS 33819 HAS SOUPS 33660 WITH SCORE 34152.687
AT ITER 592 NEW BEST:: SOT 589817 SOS 492577 HAS SOPS 492078 HAS SOUS 33709 HAS SOUPS 33520 WITH SCORE 34012.577
AT ITER 598 NEW BEST:: SOT 589811 SOS 492571 HAS SOPS 492072 HAS SOUS 33702 HAS SOUPS 33513 WITH SCORE 34005.571
AT ITER 602 NEW BEST:: SOT 589984 SOS 492549 HAS SOPS 492050 HAS SOUS 33650 HAS SOUPS 33461 WITH SCORE 33953.549
AT ITER 605 NEW BEST:: SOT 589984 SOS 492553 HAS SOPS 492050 HAS SOUS 33642 HAS SOUPS 33453 WITH SCORE 33945.553
AT ITER 606 NEW BEST:: SOT 590047 SOS 492616 HAS SOPS 492113 HAS SOUS 33216 HAS SOUPS 33027 WITH SCORE 33519.616
AT ITER 610 NEW BEST:: SOT 586655 SOS 489224 HAS SOPS 488721 HAS SOUS 31641 HAS SOUPS 31452 WITH SCORE 31941.224
AT ITER 633 NEW BEST:: SOT 586651 SOS 489216 HAS SOPS 488713 HAS SOUS 31637 HAS SOUPS 31448 WITH SCORE 31937.216
AT ITER 639 NEW BEST:: SOT 586651 SOS 489228 HAS SOPS 488725 HAS SOUS 31625 HAS SOUPS 31436 WITH SCORE 31925.228
AT ITER 651 NEW BEST:: SOT 586651 SOS 489228 HAS SOPS 488725 HAS SOUS 31611 HAS SOUPS 31422 WITH SCORE 31911.228
AT ITER 657 NEW BEST:: SOT 586617 SOS 489142 HAS SOPS 488639 HAS SOUS 31570 HAS SOUPS 31381 WITH SCORE 31870.142
AT ITER 668 NEW BEST:: SOT 586691 SOS 489142 HAS SOPS 488676 HAS SOUS 30879 HAS SOUPS 30718 WITH SCORE 31207.142
AT ITER 682 NEW BEST:: SOT 603365 SOS 505787 HAS SOPS 505322 HAS SOUS 29563 HAS SOUPS 29402 WITH SCORE 29907.787
AT ITER 683 NEW BEST:: SOT 603353 SOS 505775 HAS SOPS 505310 HAS SOUS 29551 HAS SOUPS 29390 WITH SCORE 29895.775
AT ITER 696 NEW BEST:: SOT 603358 SOS 505833 HAS SOPS 505370 HAS SOUS 29548 HAS SOUPS 29387 WITH SCORE 29892.833
AT ITER 709 NEW BEST:: SOT 603370 SOS 505864 HAS SOPS 505401 HAS SOUS 29488 HAS SOUPS 29327 WITH SCORE 29832.864
AT ITER 712 NEW BEST:: SOT 603290 SOS 505784 HAS SOPS 505321 HAS SOUS 29408 HAS SOUPS 29247 WITH SCORE 29752.784
AT ITER 718 NEW BEST:: SOT 603287 SOS 505782 HAS SOPS 505319 HAS SOUS 29294 HAS SOUPS 29133 WITH SCORE 29638.782
AT ITER 727 NEW BEST:: SOT 603285 SOS 505783 HAS SOPS 505320 HAS SOUS 29292 HAS SOUPS 29131 WITH SCORE 29636.783
AT ITER 735 NEW BEST:: SOT 603277 SOS 505788 HAS SOPS 505296 HAS SOUS 29248 HAS SOUPS 29087 WITH SCORE 29592.788
AT ITER 744 NEW BEST:: SOT 603220 SOS 505745 HAS SOPS 505262 HAS SOUS 29241 HAS SOUPS 29080 WITH SCORE 29585.745
AT ITER 749 NEW BEST:: SOT 603184 SOS 505722 HAS SOPS 505219 HAS SOUS 29001 HAS SOUPS 28829 WITH SCORE 29334.722
AT ITER 750 NEW BEST:: SOT 603220 SOS 505758 HAS SOPS 505255 HAS SOUS 28916 HAS SOUPS 28744 WITH SCORE 29249.758
AT ITER 758 NEW BEST:: SOT 603119 SOS 505721 HAS SOPS 505184 HAS SOUS 28914 HAS SOUPS 28719 WITH SCORE 29224.721
AT ITER 771 NEW BEST:: SOT 603119 SOS 505676 HAS SOPS 505175 HAS SOUS 28824 HAS SOUPS 28638 WITH SCORE 29143.676
AT ITER 781 NEW BEST:: SOT 603124 SOS 505676 HAS SOPS 505175 HAS SOUS 28715 HAS SOUPS 28529 WITH SCORE 29034.676
AT ITER 784 NEW BEST:: SOT 603138 SOS 505658 HAS SOPS 505157 HAS SOUS 28695 HAS SOUPS 28509 WITH SCORE 29014.658
AT ITER 785 NEW BEST:: SOT 603060 SOS 505546 HAS SOPS 505034 HAS SOUS 28585 HAS SOUPS 28388 WITH SCORE 28893.546
AT ITER 791 NEW BEST:: SOT 603026 SOS 505495 HAS SOPS 504983 HAS SOUS 28517 HAS SOUPS 28320 WITH SCORE 28825.495
AT ITER 794 NEW BEST:: SOT 603030 SOS 505500 HAS SOPS 504988 HAS SOUS 28513 HAS SOUPS 28316 WITH SCORE 28821.5
AT ITER 804 NEW BEST:: SOT 603008 SOS 515910 HAS SOPS 515422 HAS SOUS 28481 HAS SOUPS 28296 WITH SCORE 28811.91
AT ITER 809 NEW BEST:: SOT 603008 SOS 515893 HAS SOPS 515405 HAS SOUS 28386 HAS SOUPS 28201 WITH SCORE 28716.893
AT ITER 814 NEW BEST:: SOT 603015 SOS 515900 HAS SOPS 515412 HAS SOUS 28370 HAS SOUPS 28185 WITH SCORE 28700.9
AT ITER 817 NEW BEST:: SOT 603009 SOS 515894 HAS SOPS 515406 HAS SOUS 28364 HAS SOUPS 28179 WITH SCORE 28694.894
AT ITER 819 NEW BEST:: SOT 603809 SOS 516722 HAS SOPS 516234 HAS SOUS 27922 HAS SOUPS 27737 WITH SCORE 28253.722
AT ITER 831 NEW BEST:: SOT 603809 SOS 516719 HAS SOPS 516231 HAS SOUS 27919 HAS SOUPS 27734 WITH SCORE 28250.719
AT ITER 839 NEW BEST:: SOT 604937 SOS 517850 HAS SOPS 517362 HAS SOUS 27526 HAS SOUPS 27341 WITH SCORE 27858.85
AT ITER 841 NEW BEST:: SOT 604934 SOS 517847 HAS SOPS 517359 HAS SOUS 27525 HAS SOUPS 27340 WITH SCORE 27857.847
AT ITER 846 NEW BEST:: SOT 604934 SOS 517822 HAS SOPS 517334 HAS SOUS 27525 HAS SOUPS 27340 WITH SCORE 27857.822
AT ITER 852 NEW BEST:: SOT 604653 SOS 517818 HAS SOPS 517335 HAS SOUS 27411 HAS SOUPS 27226 WITH SCORE 27743.818
AT ITER 858 NEW BEST:: SOT 604447 SOS 517711 HAS SOPS 517243 HAS SOUS 27351 HAS SOUPS 27172 WITH SCORE 27689.711
AT ITER 866 NEW BEST:: SOT 604412 SOS 517621 HAS SOPS 517153 HAS SOUS 27342 HAS SOUPS 27163 WITH SCORE 27680.621
AT ITER 869 NEW BEST:: SOT 604413 SOS 517610 HAS SOPS 517142 HAS SOUS 27328 HAS SOUPS 27149 WITH SCORE 27666.61
AT ITER 877 NEW BEST:: SOT 607631 SOS 520828 HAS SOPS 520360 HAS SOUS 26324 HAS SOUPS 26145 WITH SCORE 26665.828
AT ITER 883 NEW BEST:: SOT 607588 SOS 520821 HAS SOPS 520307 HAS SOUS 26333 HAS SOUPS 26131 WITH SCORE 26651.821
AT ITER 897 NEW BEST:: SOT 607581 SOS 520799 HAS SOPS 520285 HAS SOUS 26217 HAS SOUPS 26015 WITH SCORE 26535.799
AT ITER 907 NEW BEST:: SOT 607571 SOS 520789 HAS SOPS 520275 HAS SOUS 26207 HAS SOUPS 26005 WITH SCORE 26525.789
AT ITER 908 NEW BEST:: SOT 607565 SOS 520726 HAS SOPS 520212 HAS SOUS 26206 HAS SOUPS 26004 WITH SCORE 26524.726
AT ITER 942 NEW BEST:: SOT 607562 SOS 520675 HAS SOPS 520149 HAS SOUS 26203 HAS SOUPS 25989 WITH SCORE 26509.675
AT ITER 945 NEW BEST:: SOT 596100 SOS 509259 HAS SOPS 508733 HAS SOUS 25229 HAS SOUPS 25015 WITH SCORE 25524.259
AT ITER 947 NEW BEST:: SOT 596156 SOS 509315 HAS SOPS 508746 HAS SOUS 25097 HAS SOUPS 24883 WITH SCORE 25392.315
AT ITER 959 NEW BEST:: SOT 596156 SOS 509309 HAS SOPS 508740 HAS SOUS 25097 HAS SOUPS 24883 WITH SCORE 25392.309
AT ITER 965 NEW BEST:: SOT 596144 SOS 509297 HAS SOPS 508728 HAS SOUS 25090 HAS SOUPS 24876 WITH SCORE 25385.297
AT ITER 976 NEW BEST:: SOT 596145 SOS 509291 HAS SOPS 508722 HAS SOUS 25053 HAS SOUPS 24839 WITH SCORE 25348.291
AT ITER 978 NEW BEST:: SOT 596139 SOS 509257 HAS SOPS 508681 HAS SOUS 25040 HAS SOUPS 24826 WITH SCORE 25335.257
AT ITER 992 NEW BEST:: SOT 596192 SOS 509250 HAS SOPS 508674 HAS SOUS 24906 HAS SOUPS 24692 WITH SCORE 25201.25
AT ITER 999 NEW BEST:: SOT 596190 SOS 509251 HAS SOPS 508675 HAS SOUS 24903 HAS SOUPS 24689 WITH SCORE 25198.251
AT ITER 1001 NEW BEST:: SOT 596319 SOS 509291 HAS SOPS 508715 HAS SOUS 24486 HAS SOUPS 24272 WITH SCORE 24781.291
AT ITER 1031 NEW BEST:: SOT 596268 SOS 509189 HAS SOPS 508613 HAS SOUS 24384 HAS SOUPS 24170 WITH SCORE 24679.189
AT ITER 1034 NEW BEST:: SOT 596268 SOS 509189 HAS SOPS 508613 HAS SOUS 24308 HAS SOUPS 24094 WITH SCORE 24603.189
AT ITER 1058 NEW BEST:: SOT 596248 SOS 509162 HAS SOPS 508586 HAS SOUS 24281 HAS SOUPS 24067 WITH SCORE 24576.162
AT ITER 1063 NEW BEST:: SOT 594877 SOS 507796 HAS SOPS 507200 HAS SOUS 24284 HAS SOUPS 24051 WITH SCORE 24558.796
AT ITER 1067 NEW BEST:: SOT 594873 SOS 507788 HAS SOPS 507192 HAS SOUS 24264 HAS SOUPS 24031 WITH SCORE 24538.788
AT ITER 1076 NEW BEST:: SOT 594870 SOS 507773 HAS SOPS 507177 HAS SOUS 24249 HAS SOUPS 24016 WITH SCORE 24523.773
AT ITER 1090 NEW BEST:: SOT 594870 SOS 507765 HAS SOPS 507169 HAS SOUS 24243 HAS SOUPS 24010 WITH SCORE 24517.765
AT ITER 1091 NEW BEST:: SOT 594946 SOS 507841 HAS SOPS 507245 HAS SOUS 24232 HAS SOUPS 23999 WITH SCORE 24506.841
AT ITER 1102 NEW BEST:: SOT 594946 SOS 507827 HAS SOPS 507231 HAS SOUS 24218 HAS SOUPS 23985 WITH SCORE 24492.827
AT ITER 1120 NEW BEST:: SOT 594942 SOS 507819 HAS SOPS 507223 HAS SOUS 24217 HAS SOUPS 23984 WITH SCORE 24491.819
AT ITER 1149 NEW BEST:: SOT 594905 SOS 507795 HAS SOPS 507199 HAS SOUS 24171 HAS SOUPS 23938 WITH SCORE 24445.795
AT ITER 1153 NEW BEST:: SOT 594895 SOS 507785 HAS SOPS 507189 HAS SOUS 24171 HAS SOUPS 23938 WITH SCORE 24445.785
AT ITER 1168 NEW BEST:: SOT 594874 SOS 507740 HAS SOPS 507144 HAS SOUS 24156 HAS SOUPS 23923 WITH SCORE 24430.74
AT ITER 1181 NEW BEST:: SOT 594863 SOS 507729 HAS SOPS 507133 HAS SOUS 23946 HAS SOUPS 23713 WITH SCORE 24220.729
AT ITER 1187 NEW BEST:: SOT 594841 SOS 507680 HAS SOPS 507084 HAS SOUS 23897 HAS SOUPS 23664 WITH SCORE 24171.68
AT ITER 1197 NEW BEST:: SOT 594834 SOS 507645 HAS SOPS 507049 HAS SOUS 23882 HAS SOUPS 23649 WITH SCORE 24156.645
AT ITER 1198 NEW BEST:: SOT 594824 SOS 507585 HAS SOPS 507009 HAS SOUS 23822 HAS SOUPS 23589 WITH SCORE 24096.585
AT ITER 1200 NEW BEST:: SOT 595981 SOS 508754 HAS SOPS 508178 HAS SOUS 23760 HAS SOUPS 23527 WITH SCORE 24035.754
AT ITER 1201 NEW BEST:: SOT 595967 SOS 508720 HAS SOPS 508147 HAS SOUS 23726 HAS SOUPS 23496 WITH SCORE 24004.72
AT ITER 1212 NEW BEST:: SOT 595947 SOS 508689 HAS SOPS 508129 HAS SOUS 23706 HAS SOUPS 23476 WITH SCORE 23984.689
AT ITER 1224 NEW BEST:: SOT 595949 SOS 508691 HAS SOPS 508130 HAS SOUS 23682 HAS SOUPS 23452 WITH SCORE 23960.691
AT ITER 1226 NEW BEST:: SOT 595907 SOS 508564 HAS SOPS 507981 HAS SOUS 23608 HAS SOUPS 23368 WITH SCORE 23876.564
AT ITER 1229 NEW BEST:: SOT 596146 SOS 508831 HAS SOPS 508245 HAS SOUS 23251 HAS SOUPS 23011 WITH SCORE 23519.831
AT ITER 1234 NEW BEST:: SOT 596188 SOS 508853 HAS SOPS 508264 HAS SOUS 23192 HAS SOUPS 22949 WITH SCORE 23457.853
AT ITER 1238 NEW BEST:: SOT 594775 SOS 507393 HAS SOPS 506830 HAS SOUS 22922 HAS SOUPS 22687 WITH SCORE 23194.393
AT ITER 1240 NEW BEST:: SOT 594728 SOS 501052 HAS SOPS 500489 HAS SOUS 22874 HAS SOUPS 22639 WITH SCORE 23140.052
AT ITER 1243 NEW BEST:: SOT 595046 SOS 501367 HAS SOPS 500804 HAS SOUS 22804 HAS SOUPS 22569 WITH SCORE 23070.367
AT ITER 1252 NEW BEST:: SOT 595035 SOS 501356 HAS SOPS 500793 HAS SOUS 22781 HAS SOUPS 22546 WITH SCORE 23047.356
AT ITER 1263 NEW BEST:: SOT 595019 SOS 501340 HAS SOPS 500777 HAS SOUS 22673 HAS SOUPS 22438 WITH SCORE 22939.34
AT ITER 1269 NEW BEST:: SOT 594783 SOS 501108 HAS SOPS 500545 HAS SOUS 22585 HAS SOUPS 22350 WITH SCORE 22851.108
AT ITER 1316 NEW BEST:: SOT 594758 SOS 501078 HAS SOPS 500510 HAS SOUS 22567 HAS SOUPS 22332 WITH SCORE 22833.078
AT ITER 1318 NEW BEST:: SOT 594758 SOS 501069 HAS SOPS 500498 HAS SOUS 22567 HAS SOUPS 22332 WITH SCORE 22833.069
AT ITER 1354 NEW BEST:: SOT 594755 SOS 501084 HAS SOPS 500513 HAS SOUS 22564 HAS SOUPS 22329 WITH SCORE 22830.084
AT ITER 1390 NEW BEST:: SOT 594753 SOS 501076 HAS SOPS 500505 HAS SOUS 22558 HAS SOUPS 22323 WITH SCORE 22824.076
AT ITER 1394 NEW BEST:: SOT 594744 SOS 501058 HAS SOPS 500487 HAS SOUS 22549 HAS SOUPS 22314 WITH SCORE 22815.058
AT ITER 1440 NEW BEST:: SOT 594744 SOS 501030 HAS SOPS 500487 HAS SOUS 22549 HAS SOUPS 22314 WITH SCORE 22815.03
AT ITER 1444 NEW BEST:: SOT 595490 SOS 501801 HAS SOPS 501251 HAS SOUS 22458 HAS SOUPS 22230 WITH SCORE 22731.801
AT ITER 1449 NEW BEST:: SOT 598848 SOS 505138 HAS SOPS 504588 HAS SOUS 21895 HAS SOUPS 21667 WITH SCORE 22172.138
AT ITER 1455 NEW BEST:: SOT 598878 SOS 505198 HAS SOPS 504614 HAS SOUS 21908 HAS SOUPS 21663 WITH SCORE 22168.198
AT ITER 1456 NEW BEST:: SOT 598870 SOS 505179 HAS SOPS 504595 HAS SOUS 21903 HAS SOUPS 21658 WITH SCORE 22163.179
AT ITER 1475 NEW BEST:: SOT 598852 SOS 505167 HAS SOPS 504559 HAS SOUS 21513 HAS SOUPS 21268 WITH SCORE 21773.167
AT ITER 1521 NEW BEST:: SOT 598852 SOS 505167 HAS SOPS 504559 HAS SOUS 21417 HAS SOUPS 21172 WITH SCORE 21677.167
AT ITER 1525 NEW BEST:: SOT 598852 SOS 505161 HAS SOPS 504553 HAS SOUS 21417 HAS SOUPS 21172 WITH SCORE 21677.161
AT ITER 1532 NEW BEST:: SOT 598816 SOS 505129 HAS SOPS 504521 HAS SOUS 21397 HAS SOUPS 21152 WITH SCORE 21657.129
AT ITER 1550 NEW BEST:: SOT 598819 SOS 505127 HAS SOPS 504511 HAS SOUS 21400 HAS SOUPS 21151 WITH SCORE 21656.127
AT ITER 1558 NEW BEST:: SOT 598833 SOS 505107 HAS SOPS 504491 HAS SOUS 21380 HAS SOUPS 21131 WITH SCORE 21636.107
AT ITER 1566 NEW BEST:: SOT 598852 SOS 505164 HAS SOPS 504548 HAS SOUS 21338 HAS SOUPS 21089 WITH SCORE 21594.164
AT ITER 1573 NEW BEST:: SOT 598826 SOS 505121 HAS SOPS 504505 HAS SOUS 21294 HAS SOUPS 21045 WITH SCORE 21550.121
AT ITER 1575 NEW BEST:: SOT 598777 SOS 504988 HAS SOPS 504372 HAS SOUS 21154 HAS SOUPS 20905 WITH SCORE 21409.988
AT ITER 1586 NEW BEST:: SOT 598762 SOS 504969 HAS SOPS 504351 HAS SOUS 21135 HAS SOUPS 20884 WITH SCORE 21388.969
AT ITER 1591 NEW BEST:: SOT 598852 SOS 505029 HAS SOPS 504411 HAS SOUS 21060 HAS SOUPS 20809 WITH SCORE 21314.029
AT ITER 1593 NEW BEST:: SOT 598855 SOS 505027 HAS SOPS 504409 HAS SOUS 20939 HAS SOUPS 20688 WITH SCORE 21193.027
AT ITER 1602 NEW BEST:: SOT 598855 SOS 505020 HAS SOPS 504402 HAS SOUS 20932 HAS SOUPS 20681 WITH SCORE 21186.02
AT ITER 1630 NEW BEST:: SOT 597838 SOS 504026 HAS SOPS 503408 HAS SOUS 20843 HAS SOUPS 20592 WITH SCORE 21096.026
AT ITER 1636 NEW BEST:: SOT 597837 SOS 504036 HAS SOPS 503414 HAS SOUS 20846 HAS SOUPS 20591 WITH SCORE 21095.036
AT ITER 1654 NEW BEST:: SOT 597836 SOS 504044 HAS SOPS 503422 HAS SOUS 20837 HAS SOUPS 20582 WITH SCORE 21086.044
AT ITER 1660 NEW BEST:: SOT 597875 SOS 504043 HAS SOPS 503421 HAS SOUS 20833 HAS SOUPS 20578 WITH SCORE 21082.043
AT ITER 1663 NEW BEST:: SOT 597857 SOS 504013 HAS SOPS 503368 HAS SOUS 20765 HAS SOUPS 20510 WITH SCORE 21014.013
AT ITER 1678 NEW BEST:: SOT 597845 SOS 503985 HAS SOPS 503340 HAS SOUS 20753 HAS SOUPS 20498 WITH SCORE 21001.985
AT ITER 1683 NEW BEST:: SOT 597837 SOS 503981 HAS SOPS 503336 HAS SOUS 20749 HAS SOUPS 20494 WITH SCORE 20997.981
AT ITER 1702 NEW BEST:: SOT 597818 SOS 503967 HAS SOPS 503326 HAS SOUS 20696 HAS SOUPS 20441 WITH SCORE 20944.967
AT ITER 1705 NEW BEST:: SOT 597827 SOS 503962 HAS SOPS 503317 HAS SOUS 20691 HAS SOUPS 20432 WITH SCORE 20935.962
AT ITER 1759 NEW BEST:: SOT 597834 SOS 503974 HAS SOPS 503327 HAS SOUS 20680 HAS SOUPS 20421 WITH SCORE 20924.974
AT ITER 1775 NEW BEST:: SOT 597833 SOS 503972 HAS SOPS 503325 HAS SOUS 20679 HAS SOUPS 20420 WITH SCORE 20923.972
AT ITER 1776 NEW BEST:: SOT 597804 SOS 503944 HAS SOPS 503297 HAS SOUS 20673 HAS SOUPS 20414 WITH SCORE 20917.944
AT ITER 1781 NEW BEST:: SOT 597806 SOS 503945 HAS SOPS 503298 HAS SOUS 20662 HAS SOUPS 20403 WITH SCORE 20906.945
AT ITER 1789 NEW BEST:: SOT 597814 SOS 503966 HAS SOPS 503319 HAS SOUS 20660 HAS SOUPS 20401 WITH SCORE 20904.966
AT ITER 1790 NEW BEST:: SOT 597775 SOS 503919 HAS SOPS 503272 HAS SOUS 20572 HAS SOUPS 20313 WITH SCORE 20816.919
AT ITER 1796 NEW BEST:: SOT 597765 SOS 503919 HAS SOPS 503272 HAS SOUS 20566 HAS SOUPS 20307 WITH SCORE 20810.919
AT ITER 1816 NEW BEST:: SOT 597756 SOS 503916 HAS SOPS 503269 HAS SOUS 20563 HAS SOUPS 20304 WITH SCORE 20807.916
AT ITER 1845 NEW BEST:: SOT 597790 SOS 503933 HAS SOPS 503286 HAS SOUS 20548 HAS SOUPS 20289 WITH SCORE 20792.933
AT ITER 1883 NEW BEST:: SOT 597776 SOS 503893 HAS SOPS 503246 HAS SOUS 20520 HAS SOUPS 20261 WITH SCORE 20764.893
AT ITER 1885 NEW BEST:: SOT 597776 SOS 503886 HAS SOPS 503239 HAS SOUS 20520 HAS SOUPS 20261 WITH SCORE 20764.886
AT ITER 1890 NEW BEST:: SOT 597769 SOS 503878 HAS SOPS 503231 HAS SOUS 20512 HAS SOUPS 20253 WITH SCORE 20756.878
AT ITER 1896 NEW BEST:: SOT 597774 SOS 503888 HAS SOPS 503236 HAS SOUS 20477 HAS SOUPS 20213 WITH SCORE 20716.888
AT ITER 1918 NEW BEST:: SOT 597758 SOS 503848 HAS SOPS 503196 HAS SOUS 20453 HAS SOUPS 20189 WITH SCORE 20692.848
AT ITER 1923 NEW BEST:: SOT 597792 SOS 503844 HAS SOPS 503192 HAS SOUS 20445 HAS SOUPS 20181 WITH SCORE 20684.844
AT ITER 1939 NEW BEST:: SOT 597791 SOS 503844 HAS SOPS 503192 HAS SOUS 20444 HAS SOUPS 20180 WITH SCORE 20683.844
AT ITER 1941 NEW BEST:: SOT 597790 SOS 503844 HAS SOPS 503192 HAS SOUS 20442 HAS SOUPS 20178 WITH SCORE 20681.844
AT ITER 1978 NEW BEST:: SOT 597791 SOS 503838 HAS SOPS 503186 HAS SOUS 20432 HAS SOUPS 20168 WITH SCORE 20671.838
AT ITER 1996 NEW BEST:: SOT 598178 SOS 504236 HAS SOPS 503584 HAS SOUS 20417 HAS SOUPS 20153 WITH SCORE 20657.236
AT ITER 2013 NEW BEST:: SOT 598186 SOS 504235 HAS SOPS 503582 HAS SOUS 20411 HAS SOUPS 20147 WITH SCORE 20651.235
AT ITER 2014 NEW BEST:: SOT 598183 SOS 504229 HAS SOPS 503576 HAS SOUS 20362 HAS SOUPS 20098 WITH SCORE 20602.229
AT ITER 2042 NEW BEST:: SOT 600387 SOS 506433 HAS SOPS 505780 HAS SOUS 20252 HAS SOUPS 19988 WITH SCORE 20494.433
AT ITER 2044 NEW BEST:: SOT 600379 SOS 506418 HAS SOPS 505765 HAS SOUS 20237 HAS SOUPS 19973 WITH SCORE 20479.418
AT ITER 2070 NEW BEST:: SOT 600378 SOS 506416 HAS SOPS 505763 HAS SOUS 20232 HAS SOUPS 19968 WITH SCORE 20474.416
AT ITER 2079 NEW BEST:: SOT 600904 SOS 506994 HAS SOPS 506367 HAS SOUS 20046 HAS SOUPS 19808 WITH SCORE 20314.994
AT ITER 2140 NEW BEST:: SOT 600896 SOS 506986 HAS SOPS 506351 HAS SOUS 20031 HAS SOUPS 19792 WITH SCORE 20298.986
AT ITER 2157 NEW BEST:: SOT 600889 SOS 506979 HAS SOPS 506344 HAS SOUS 19995 HAS SOUPS 19756 WITH SCORE 20262.979
AT ITER 2185 NEW BEST:: SOT 600895 SOS 506985 HAS SOPS 506350 HAS SOUS 19947 HAS SOUPS 19708 WITH SCORE 20214.985
AT ITER 2215 NEW BEST:: SOT 600886 SOS 506972 HAS SOPS 506338 HAS SOUS 19934 HAS SOUPS 19696 WITH SCORE 20202.972
AT ITER 2241 NEW BEST:: SOT 600883 SOS 506967 HAS SOPS 506334 HAS SOUS 19930 HAS SOUPS 19692 WITH SCORE 20198.967
AT ITER 2250 NEW BEST:: SOT 600870 SOS 506941 HAS SOPS 506308 HAS SOUS 19930 HAS SOUPS 19692 WITH SCORE 20198.941
AT ITER 2266 NEW BEST:: SOT 600916 SOS 506999 HAS SOPS 506366 HAS SOUS 19927 HAS SOUPS 19689 WITH SCORE 20195.999
AT ITER 2272 NEW BEST:: SOT 600879 SOS 506944 HAS SOPS 506311 HAS SOUS 19906 HAS SOUPS 19668 WITH SCORE 20174.944
AT ITER 2291 NEW BEST:: SOT 600879 SOS 506951 HAS SOPS 506318 HAS SOUS 19901 HAS SOUPS 19663 WITH SCORE 20169.951
AT ITER 2293 NEW BEST:: SOT 600884 SOS 506948 HAS SOPS 506317 HAS SOUS 19899 HAS SOUPS 19661 WITH SCORE 20167.948
AT ITER 2302 NEW BEST:: SOT 600884 SOS 506954 HAS SOPS 506323 HAS SOUS 19889 HAS SOUPS 19651 WITH SCORE 20157.954
AT ITER 2308 NEW BEST:: SOT 600870 SOS 506984 HAS SOPS 506317 HAS SOUS 19876 HAS SOUPS 19638 WITH SCORE 20144.984
AT ITER 2309 NEW BEST:: SOT 600838 SOS 506941 HAS SOPS 506276 HAS SOUS 19841 HAS SOUPS 19604 WITH SCORE 20110.941
AT ITER 2323 NEW BEST:: SOT 600807 SOS 506891 HAS SOPS 506226 HAS SOUS 19780 HAS SOUPS 19543 WITH SCORE 20049.891
AT ITER 2329 NEW BEST:: SOT 600871 SOS 506955 HAS SOPS 506290 HAS SOUS 19724 HAS SOUPS 19487 WITH SCORE 19993.955
AT ITER 2339 NEW BEST:: SOT 600864 SOS 506992 HAS SOPS 506310 HAS SOUS 19733 HAS SOUPS 19479 WITH SCORE 19985.992
AT ITER 2364 NEW BEST:: SOT 600768 SOS 506896 HAS SOPS 506214 HAS SOUS 19526 HAS SOUPS 19272 WITH SCORE 19778.896
AT ITER 2368 NEW BEST:: SOT 600775 SOS 506858 HAS SOPS 506176 HAS SOUS 19524 HAS SOUPS 19270 WITH SCORE 19776.858
AT ITER 2414 NEW BEST:: SOT 600768 SOS 506867 HAS SOPS 506185 HAS SOUS 19509 HAS SOUPS 19255 WITH SCORE 19761.867
AT ITER 2436 NEW BEST:: SOT 600762 SOS 506861 HAS SOPS 506179 HAS SOUS 19502 HAS SOUPS 19248 WITH SCORE 19754.861
AT ITER 2461 NEW BEST:: SOT 600766 SOS 506839 HAS SOPS 506157 HAS SOUS 19472 HAS SOUPS 19218 WITH SCORE 19724.839
AT ITER 2462 NEW BEST:: SOT 600769 SOS 506845 HAS SOPS 506163 HAS SOUS 19456 HAS SOUPS 19202 WITH SCORE 19708.845
AT ITER 2511 NEW BEST:: SOT 601060 SOS 507137 HAS SOPS 506455 HAS SOUS 19309 HAS SOUPS 19055 WITH SCORE 19562.137
AT ITER 2518 NEW BEST:: SOT 601051 SOS 507150 HAS SOPS 506468 HAS SOUS 19302 HAS SOUPS 19048 WITH SCORE 19555.15
AT ITER 2535 NEW BEST:: SOT 600435 SOS 506476 HAS SOPS 505778 HAS SOUS 19275 HAS SOUPS 18990 WITH SCORE 19496.476
AT ITER 2550 NEW BEST:: SOT 600435 SOS 506480 HAS SOPS 505778 HAS SOUS 19275 HAS SOUPS 18986 WITH SCORE 19492.48
AT ITER 2552 NEW BEST:: SOT 600435 SOS 506466 HAS SOPS 505764 HAS SOUS 19273 HAS SOUPS 18984 WITH SCORE 19490.466
AT ITER 2567 NEW BEST:: SOT 600430 SOS 506563 HAS SOPS 505864 HAS SOUS 19268 HAS SOUPS 18983 WITH SCORE 19489.563
AT ITER 2568 NEW BEST:: SOT 600429 SOS 506559 HAS SOPS 505860 HAS SOUS 19268 HAS SOUPS 18983 WITH SCORE 19489.559
AT ITER 2594 NEW BEST:: SOT 600412 SOS 506735 HAS SOPS 506062 HAS SOUS 19246 HAS SOUPS 18970 WITH SCORE 19476.735
AT ITER 2640 NEW BEST:: SOT 600409 SOS 506733 HAS SOPS 506059 HAS SOUS 19244 HAS SOUPS 18967 WITH SCORE 19473.733
AT ITER 2656 NEW BEST:: SOT 600406 SOS 506721 HAS SOPS 506047 HAS SOUS 19226 HAS SOUPS 18949 WITH SCORE 19455.721
AT ITER 2682 NEW BEST:: SOT 600398 SOS 506713 HAS SOPS 506039 HAS SOUS 19226 HAS SOUPS 18949 WITH SCORE 19455.713
AT ITER 2700 NEW BEST:: SOT 600438 SOS 506764 HAS SOPS 506090 HAS SOUS 18996 HAS SOUPS 18719 WITH SCORE 19225.764
AT ITER 2732 NEW BEST:: SOT 600455 SOS 506747 HAS SOPS 506073 HAS SOUS 18990 HAS SOUPS 18713 WITH SCORE 19219.747
AT ITER 2754 NEW BEST:: SOT 600439 SOS 506707 HAS SOPS 506033 HAS SOUS 18966 HAS SOUPS 18689 WITH SCORE 19195.707
AT ITER 2783 NEW BEST:: SOT 600439 SOS 506704 HAS SOPS 506030 HAS SOUS 18951 HAS SOUPS 18674 WITH SCORE 19180.704
AT ITER 2853 NEW BEST:: SOT 600439 SOS 506714 HAS SOPS 506030 HAS SOUS 18941 HAS SOUPS 18664 WITH SCORE 19170.714
AT ITER 2896 NEW BEST:: SOT 600236 SOS 506518 HAS SOPS 505834 HAS SOUS 18882 HAS SOUPS 18605 WITH SCORE 19111.518
AT ITER 2928 NEW BEST:: SOT 600229 SOS 506511 HAS SOPS 505827 HAS SOUS 18875 HAS SOUPS 18598 WITH SCORE 19104.511
AT ITER 2933 NEW BEST:: SOT 600220 SOS 506520 HAS SOPS 505827 HAS SOUS 18857 HAS SOUPS 18580 WITH SCORE 19086.52
AT ITER 2942 NEW BEST:: SOT 600184 SOS 506449 HAS SOPS 505756 HAS SOUS 18785 HAS SOUPS 18508 WITH SCORE 19014.449
AT ITER 2968 NEW BEST:: SOT 600182 SOS 506433 HAS SOPS 505740 HAS SOUS 18781 HAS SOUPS 18504 WITH SCORE 19010.433
AT ITER 2973 NEW BEST:: SOT 600168 SOS 506380 HAS SOPS 505687 HAS SOUS 18767 HAS SOUPS 18490 WITH SCORE 18996.38
AT ITER 2990 NEW BEST:: SOT 600185 SOS 506379 HAS SOPS 505686 HAS SOUS 18740 HAS SOUPS 18463 WITH SCORE 18969.379
AT ITER 2992 NEW BEST:: SOT 600143 SOS 506359 HAS SOPS 505651 HAS SOUS 18588 HAS SOUPS 18311 WITH SCORE 18817.359
AT ITER 3005 NEW BEST:: SOT 600140 SOS 506386 HAS SOPS 505678 HAS SOUS 18585 HAS SOUPS 18308 WITH SCORE 18814.386
AT ITER 3018 NEW BEST:: SOT 600141 SOS 506387 HAS SOPS 505678 HAS SOUS 18584 HAS SOUPS 18307 WITH SCORE 18813.387
AT ITER 3081 NEW BEST:: SOT 600137 SOS 506148 HAS SOPS 505413 HAS SOUS 18582 HAS SOUPS 18296 WITH SCORE 18802.148
AT ITER 3098 NEW BEST:: SOT 600131 SOS 506140 HAS SOPS 505405 HAS SOUS 18574 HAS SOUPS 18288 WITH SCORE 18794.14
AT ITER 3105 NEW BEST:: SOT 600122 SOS 506122 HAS SOPS 505387 HAS SOUS 18556 HAS SOUPS 18270 WITH SCORE 18776.122
AT ITER 3118 NEW BEST:: SOT 600122 SOS 506095 HAS SOPS 505369 HAS SOUS 18547 HAS SOUPS 18270 WITH SCORE 18776.095
AT ITER 3120 NEW BEST:: SOT 600091 SOS 506065 HAS SOPS 505329 HAS SOUS 18516 HAS SOUPS 18239 WITH SCORE 18745.065
AT ITER 3133 NEW BEST:: SOT 600081 SOS 506066 HAS SOPS 505330 HAS SOUS 18405 HAS SOUPS 18128 WITH SCORE 18634.066
AT ITER 3136 NEW BEST:: SOT 600079 SOS 506070 HAS SOPS 505325 HAS SOUS 18405 HAS SOUPS 18127 WITH SCORE 18633.07
AT ITER 3191 NEW BEST:: SOT 600033 SOS 506016 HAS SOPS 505303 HAS SOUS 18387 HAS SOUPS 18109 WITH SCORE 18615.016
AT ITER 3195 NEW BEST:: SOT 600033 SOS 506004 HAS SOPS 505291 HAS SOUS 18381 HAS SOUPS 18103 WITH SCORE 18609.004
AT ITER 3219 NEW BEST:: SOT 598443 SOS 504414 HAS SOPS 503701 HAS SOUS 17911 HAS SOUPS 17633 WITH SCORE 18137.414
AT ITER 3220 NEW BEST:: SOT 598439 SOS 504418 HAS SOPS 503701 HAS SOUS 17912 HAS SOUPS 17630 WITH SCORE 18134.418
AT ITER 3242 NEW BEST:: SOT 598438 SOS 504416 HAS SOPS 503699 HAS SOUS 17912 HAS SOUPS 17630 WITH SCORE 18134.416
AT ITER 3313 NEW BEST:: SOT 598436 SOS 504416 HAS SOPS 503699 HAS SOUS 17910 HAS SOUPS 17628 WITH SCORE 18132.416
AT ITER 3347 NEW BEST:: SOT 598432 SOS 504408 HAS SOPS 503691 HAS SOUS 17904 HAS SOUPS 17622 WITH SCORE 18126.408
AT ITER 3378 NEW BEST:: SOT 598402 SOS 504378 HAS SOPS 503655 HAS SOUS 17880 HAS SOUPS 17598 WITH SCORE 18102.378
AT ITER 3390 NEW BEST:: SOT 598400 SOS 504378 HAS SOPS 503655 HAS SOUS 17878 HAS SOUPS 17596 WITH SCORE 18100.378
AT ITER 3425 NEW BEST:: SOT 598358 SOS 504305 HAS SOPS 503595 HAS SOUS 17864 HAS SOUPS 17582 WITH SCORE 18086.305
AT ITER 3437 NEW BEST:: SOT 598350 SOS 504349 HAS SOPS 503639 HAS SOUS 17859 HAS SOUPS 17577 WITH SCORE 18081.349
AT ITER 3450 NEW BEST:: SOT 598348 SOS 504346 HAS SOPS 503636 HAS SOUS 17857 HAS SOUPS 17575 WITH SCORE 18079.346
AT ITER 3519 NEW BEST:: SOT 598357 SOS 504352 HAS SOPS 503642 HAS SOUS 17849 HAS SOUPS 17567 WITH SCORE 18071.352
AT ITER 3522 NEW BEST:: SOT 598363 SOS 504358 HAS SOPS 503648 HAS SOUS 17828 HAS SOUPS 17546 WITH SCORE 18050.358
AT ITER 3530 NEW BEST:: SOT 598359 SOS 504353 HAS SOPS 503646 HAS SOUS 17826 HAS SOUPS 17544 WITH SCORE 18048.353
AT ITER 3599 NEW BEST:: SOT 598369 SOS 504361 HAS SOPS 503654 HAS SOUS 17822 HAS SOUPS 17540 WITH SCORE 18044.361
AT ITER 3624 NEW BEST:: SOT 598367 SOS 504349 HAS SOPS 503642 HAS SOUS 17822 HAS SOUPS 17540 WITH SCORE 18044.349
AT ITER 3652 NEW BEST:: SOT 598367 SOS 504346 HAS SOPS 503639 HAS SOUS 17810 HAS SOUPS 17528 WITH SCORE 18032.346
AT ITER 3665 NEW BEST:: SOT 598350 SOS 504312 HAS SOPS 503605 HAS SOUS 17791 HAS SOUPS 17509 WITH SCORE 18013.312
AT ITER 3677 NEW BEST:: SOT 598349 SOS 504331 HAS SOPS 503624 HAS SOUS 17786 HAS SOUPS 17504 WITH SCORE 18008.331
AT ITER 3707 NEW BEST:: SOT 597805 SOS 503787 HAS SOPS 503080 HAS SOUS 17730 HAS SOUPS 17448 WITH SCORE 17951.787
AT ITER 3758 NEW BEST:: SOT 597815 SOS 493367 HAS SOPS 492660 HAS SOUS 17738 HAS SOUPS 17456 WITH SCORE 17949.367
AT ITER 3787 NEW BEST:: SOT 597811 SOS 493363 HAS SOPS 492656 HAS SOUS 17732 HAS SOUPS 17450 WITH SCORE 17943.363
AT ITER 3794 NEW BEST:: SOT 597810 SOS 493362 HAS SOPS 492655 HAS SOUS 17731 HAS SOUPS 17449 WITH SCORE 17942.362
AT ITER 3796 NEW BEST:: SOT 597799 SOS 493342 HAS SOPS 492635 HAS SOUS 17728 HAS SOUPS 17446 WITH SCORE 17939.342
AT ITER 3813 NEW BEST:: SOT 597795 SOS 493342 HAS SOPS 492634 HAS SOUS 17726 HAS SOUPS 17444 WITH SCORE 17937.342
AT ITER 3827 NEW BEST:: SOT 597742 SOS 493275 HAS SOPS 492567 HAS SOUS 17666 HAS SOUPS 17384 WITH SCORE 17877.275
AT ITER 3829 NEW BEST:: SOT 597739 SOS 493271 HAS SOPS 492562 HAS SOUS 17665 HAS SOUPS 17383 WITH SCORE 17876.271
AT ITER 3834 NEW BEST:: SOT 597730 SOS 493265 HAS SOPS 492556 HAS SOUS 17621 HAS SOUPS 17339 WITH SCORE 17832.265
AT ITER 3861 NEW BEST:: SOT 597731 SOS 493289 HAS SOPS 492580 HAS SOUS 17614 HAS SOUPS 17332 WITH SCORE 17825.289
AT ITER 3889 NEW BEST:: SOT 597737 SOS 493277 HAS SOPS 492568 HAS SOUS 17614 HAS SOUPS 17332 WITH SCORE 17825.277
AT ITER 3920 NEW BEST:: SOT 597719 SOS 493259 HAS SOPS 492550 HAS SOUS 17612 HAS SOUPS 17330 WITH SCORE 17823.259
AT ITER 3932 NEW BEST:: SOT 597717 SOS 493251 HAS SOPS 492544 HAS SOUS 17608 HAS SOUPS 17328 WITH SCORE 17821.251
AT ITER 3954 NEW BEST:: SOT 597721 SOS 493255 HAS SOPS 492548 HAS SOUS 17600 HAS SOUPS 17320 WITH SCORE 17813.255
AT ITER 3959 NEW BEST:: SOT 597724 SOS 493206 HAS SOPS 492499 HAS SOUS 17573 HAS SOUPS 17293 WITH SCORE 17786.206
AT ITER 3965 NEW BEST:: SOT 597724 SOS 493206 HAS SOPS 492499 HAS SOUS 17572 HAS SOUPS 17292 WITH SCORE 17785.206
AT ITER 3966 NEW BEST:: SOT 597692 SOS 493212 HAS SOPS 492465 HAS SOUS 17547 HAS SOUPS 17262 WITH SCORE 17755.212
AT ITER 3970 NEW BEST:: SOT 597676 SOS 493164 HAS SOPS 492425 HAS SOUS 17515 HAS SOUPS 17238 WITH SCORE 17731.164
AT ITER 3996 NEW BEST:: SOT 597676 SOS 493164 HAS SOPS 492425 HAS SOUS 17513 HAS SOUPS 17236 WITH SCORE 17729.164
AT ITER 4016 NEW BEST:: SOT 597666 SOS 493148 HAS SOPS 492403 HAS SOUS 17497 HAS SOUPS 17214 WITH SCORE 17707.148
AT ITER 4037 NEW BEST:: SOT 597662 SOS 493143 HAS SOPS 492398 HAS SOUS 17488 HAS SOUPS 17205 WITH SCORE 17698.143
AT ITER 4054 NEW BEST:: SOT 597661 SOS 493143 HAS SOPS 492397 HAS SOUS 17463 HAS SOUPS 17180 WITH SCORE 17673.143
AT ITER 4101 NEW BEST:: SOT 597716 SOS 493198 HAS SOPS 492447 HAS SOUS 17213 HAS SOUPS 16925 WITH SCORE 17418.198
AT ITER 4128 NEW BEST:: SOT 597711 SOS 493192 HAS SOPS 492441 HAS SOUS 17207 HAS SOUPS 16919 WITH SCORE 17412.192
AT ITER 4153 NEW BEST:: SOT 597711 SOS 493196 HAS SOPS 492445 HAS SOUS 17205 HAS SOUPS 16917 WITH SCORE 17410.196
AT ITER 4167 NEW BEST:: SOT 597698 SOS 493187 HAS SOPS 492436 HAS SOUS 17200 HAS SOUPS 16912 WITH SCORE 17405.187
AT ITER 4246 NEW BEST:: SOT 597689 SOS 491095 HAS SOPS 490359 HAS SOUS 17196 HAS SOUPS 16908 WITH SCORE 17399.095
AT ITER 4264 NEW BEST:: SOT 597688 SOS 491100 HAS SOPS 490356 HAS SOUS 17195 HAS SOUPS 16905 WITH SCORE 17396.1
AT ITER 4270 NEW BEST:: SOT 597648 SOS 491020 HAS SOPS 490276 HAS SOUS 17147 HAS SOUPS 16857 WITH SCORE 17348.02
AT ITER 4272 NEW BEST:: SOT 597648 SOS 490990 HAS SOPS 490276 HAS SOUS 17132 HAS SOUPS 16857 WITH SCORE 17347.99
AT ITER 4291 NEW BEST:: SOT 597642 SOS 490984 HAS SOPS 490270 HAS SOUS 17126 HAS SOUPS 16851 WITH SCORE 17341.984
AT ITER 4331 NEW BEST:: SOT 598105 SOS 491444 HAS SOPS 490731 HAS SOUS 17060 HAS SOUPS 16786 WITH SCORE 17277.444
AT ITER 4353 NEW BEST:: SOT 598405 SOS 491740 HAS SOPS 491027 HAS SOUS 17010 HAS SOUPS 16734 WITH SCORE 17225.74
AT ITER 4400 NEW BEST:: SOT 598391 SOS 491726 HAS SOPS 491013 HAS SOUS 17003 HAS SOUPS 16727 WITH SCORE 17218.726
AT ITER 4402 NEW BEST:: SOT 598385 SOS 491708 HAS SOPS 490995 HAS SOUS 16999 HAS SOUPS 16723 WITH SCORE 17214.708
AT ITER 4467 NEW BEST:: SOT 598399 SOS 491648 HAS SOPS 490980 HAS SOUS 16984 HAS SOUPS 16723 WITH SCORE 17214.648
AT ITER 4487 NEW BEST:: SOT 598369 SOS 491614 HAS SOPS 490948 HAS SOUS 16982 HAS SOUPS 16723 WITH SCORE 17214.614
AT ITER 4494 NEW BEST:: SOT 598369 SOS 491584 HAS SOPS 490918 HAS SOUS 16960 HAS SOUPS 16701 WITH SCORE 17192.584
AT ITER 4497 NEW BEST:: SOT 598346 SOS 491547 HAS SOPS 490881 HAS SOUS 16923 HAS SOUPS 16664 WITH SCORE 17155.547
AT ITER 4504 NEW BEST:: SOT 598348 SOS 491549 HAS SOPS 490879 HAS SOUS 16921 HAS SOUPS 16660 WITH SCORE 17151.549
AT ITER 4546 NEW BEST:: SOT 598343 SOS 491546 HAS SOPS 490876 HAS SOUS 16917 HAS SOUPS 16656 WITH SCORE 17147.546
AT ITER 4583 NEW BEST:: SOT 598344 SOS 491541 HAS SOPS 490869 HAS SOUS 16917 HAS SOUPS 16655 WITH SCORE 17146.541
AT ITER 4604 NEW BEST:: SOT 598344 SOS 491541 HAS SOPS 490869 HAS SOUS 16909 HAS SOUPS 16647 WITH SCORE 17138.541
AT ITER 4622 NEW BEST:: SOT 598348 SOS 491574 HAS SOPS 490902 HAS SOUS 16898 HAS SOUPS 16636 WITH SCORE 17127.574
AT ITER 4640 NEW BEST:: SOT 598367 SOS 491596 HAS SOPS 490924 HAS SOUS 16872 HAS SOUPS 16610 WITH SCORE 17101.596
AT ITER 4661 NEW BEST:: SOT 598375 SOS 491586 HAS SOPS 490914 HAS SOUS 16871 HAS SOUPS 16609 WITH SCORE 17100.586
AT ITER 4664 NEW BEST:: SOT 598375 SOS 491587 HAS SOPS 490914 HAS SOUS 16870 HAS SOUPS 16608 WITH SCORE 17099.587
AT ITER 4722 NEW BEST:: SOT 598348 SOS 491540 HAS SOPS 490867 HAS SOUS 16852 HAS SOUPS 16590 WITH SCORE 17081.54
AT ITER 4740 NEW BEST:: SOT 598363 SOS 491557 HAS SOPS 490897 HAS SOUS 16842 HAS SOUPS 16580 WITH SCORE 17071.557
AT ITER 4859 NEW BEST:: SOT 598352 SOS 491526 HAS SOPS 490866 HAS SOUS 16838 HAS SOUPS 16576 WITH SCORE 17067.526
AT ITER 4881 NEW BEST:: SOT 598351 SOS 491524 HAS SOPS 490863 HAS SOUS 16837 HAS SOUPS 16575 WITH SCORE 17066.524
AT ITER 4888 NEW BEST:: SOT 598351 SOS 491520 HAS SOPS 490863 HAS SOUS 16837 HAS SOUPS 16575 WITH SCORE 17066.52
AT ITER 4889 NEW BEST:: SOT 598345 SOS 491514 HAS SOPS 490855 HAS SOUS 16832 HAS SOUPS 16569 WITH SCORE 17060.514
AT ITER 4949 NEW BEST:: SOT 598331 SOS 491502 HAS SOPS 490843 HAS SOUS 16827 HAS SOUPS 16564 WITH SCORE 17055.502
AT ITER 4956 NEW BEST:: SOT 598300 SOS 491441 HAS SOPS 490791 HAS SOUS 16818 HAS SOUPS 16555 WITH SCORE 17046.441
AT ITER 4979 NEW BEST:: SOT 598309 SOS 491450 HAS SOPS 490800 HAS SOUS 16809 HAS SOUPS 16546 WITH SCORE 17037.45
AT ITER 4980 NEW BEST:: SOT 598316 SOS 491456 HAS SOPS 490806 HAS SOUS 16805 HAS SOUPS 16542 WITH SCORE 17033.456
AT ITER 4994 NEW BEST:: SOT 598270 SOS 491429 HAS SOPS 490779 HAS SOUS 16778 HAS SOUPS 16515 WITH SCORE 17006.429
AT ITER 4997 NEW BEST:: SOT 598286 SOS 480943 HAS SOPS 480344 HAS SOUS 16778 HAS SOUPS 16523 WITH SCORE 17003.943
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: EnergyBus-PT-none-CTLCardinality-00 (! (! (EU( potential( (tk(P69)) <= (tk(P12)) ),potential( ( 2 ) <= (tk(P65)) ) ))))
PROPERTY: EnergyBus-PT-none-CTLCardinality-01 (EF(( (AF(potential( ( 2 ) <= (tk(P81)) ))) & (EG( potential( ( 2 ) <= (tk(P74)) ))) )))
PROPERTY: EnergyBus-PT-none-CTLCardinality-02 (! (AG( (EX( potential( (tk(P42)) <= (tk(P139)) ))))))
PROPERTY: EnergyBus-PT-none-CTLCardinality-03 (AX( (AG( (! potential( ( 2 ) <= (tk(P24)) ))))))
PROPERTY: EnergyBus-PT-none-CTLCardinality-04 (! (AG( ( (! potential( (tk(P25)) <= (tk(P90)) )) | (! potential( ( 2 ) <= (tk(P83)) )) ))))
PROPERTY: EnergyBus-PT-none-CTLCardinality-05 (EF((! potential( (tk(P133)) <= (tk(P31)) ))))
PROPERTY: EnergyBus-PT-none-CTLCardinality-06 (EU( ( potential( (tk(P110)) <= (tk(P64)) ) | (! potential( (tk(P114)) <= (tk(P118)) )) ),(EG( potential( ( 3 ) <= (tk(P56)) ))) ))
PROPERTY: EnergyBus-PT-none-CTLCardinality-07 (EF((AU( potential( ( 3 ) <= (tk(P81)) ),potential( ( 3 ) <= (tk(P39)) ) ))))
PROPERTY: EnergyBus-PT-none-CTLCardinality-08 (EG( (AG( potential( (tk(P136)) <= (tk(P79)) )))))
PROPERTY: EnergyBus-PT-none-CTLCardinality-09 ( ( (AX( potential( ( 2 ) <= (tk(P140)) ))) & ( (EX( potential( (tk(P89)) <= (tk(P13)) ))) | potential( ( 2 ) <= (tk(P106)) ) ) ) | ( ( (EF(potential( ( 2 ) <= (tk(P105)) ))) & (AX( potential( (tk(P64)) <= (tk(P149)) ))) ) | (! (EF(potential( ( 3 ) <= (tk(P90)) )))) ) )
PROPERTY: EnergyBus-PT-none-CTLCardinality-10 ( potential( ( 1 ) <= (tk(P45)) ) | (AG( (! (! potential( (tk(P99)) <= (tk(P151)) ))))) )
PROPERTY: EnergyBus-PT-none-CTLCardinality-11 ( (EU( (! potential( ( 3 ) <= (tk(P116)) )),( potential( ( 2 ) <= (tk(P17)) ) & potential( ( 2 ) <= (tk(P131)) ) ) )) | (! potential( (tk(P133)) <= (tk(P106)) )) )
PROPERTY: EnergyBus-PT-none-CTLCardinality-12 (AG( (EG( ( potential( (tk(P129)) <= (tk(P61)) ) | potential( (tk(P37)) <= (tk(P58)) ) )))))
PROPERTY: EnergyBus-PT-none-CTLCardinality-13 (AG( (EG( ( potential( (tk(P149)) <= (tk(P17)) ) | potential( ( 1 ) <= (tk(P100)) ) )))))
PROPERTY: EnergyBus-PT-none-CTLCardinality-14 (EF((! ( potential( (tk(P63)) <= (tk(P1)) ) | potential( ( 3 ) <= (tk(P101)) ) ))))
PROPERTY: EnergyBus-PT-none-CTLCardinality-15 (EU( ( ( potential( ( 3 ) <= (tk(P147)) ) | potential( ( 3 ) <= (tk(P137)) ) ) | ( potential( ( 1 ) <= (tk(P150)) ) | potential( (tk(P5)) <= (tk(P63)) ) ) ),( ( potential( ( 1 ) <= (tk(P49)) ) & potential( (tk(P132)) <= (tk(P33)) ) ) & (! potential( ( 1 ) <= (tk(P137)) )) ) ))

BK_STOP 1589369254617

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

terminate called after throwing an instance of 'sv_encoder::error'
/home/mcc/BenchKit/bin/smart.sh: line 117: 475 Aborted ${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="EnergyBus-PT-none"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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-4028"
echo " Executing tool smart"
echo " Input is EnergyBus-PT-none, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r063-tajo-158922808301003"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/EnergyBus-PT-none.tgz
mv EnergyBus-PT-none execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;