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-158922808301004.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 CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922808301004
=====================================================================

--------------------
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-CTLFireability-00
FORMULA_NAME EnergyBus-PT-none-CTLFireability-01
FORMULA_NAME EnergyBus-PT-none-CTLFireability-02
FORMULA_NAME EnergyBus-PT-none-CTLFireability-03
FORMULA_NAME EnergyBus-PT-none-CTLFireability-04
FORMULA_NAME EnergyBus-PT-none-CTLFireability-05
FORMULA_NAME EnergyBus-PT-none-CTLFireability-06
FORMULA_NAME EnergyBus-PT-none-CTLFireability-07
FORMULA_NAME EnergyBus-PT-none-CTLFireability-08
FORMULA_NAME EnergyBus-PT-none-CTLFireability-09
FORMULA_NAME EnergyBus-PT-none-CTLFireability-10
FORMULA_NAME EnergyBus-PT-none-CTLFireability-11
FORMULA_NAME EnergyBus-PT-none-CTLFireability-12
FORMULA_NAME EnergyBus-PT-none-CTLFireability-13
FORMULA_NAME EnergyBus-PT-none-CTLFireability-14
FORMULA_NAME EnergyBus-PT-none-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589369134078

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running EnergyBus (PT), instance none
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.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 1 NEW BEST:: SOT 603960 SOS 495505 HAS SOPS 494832 HAS SOUS 184623 HAS SOUPS 184399 WITH SCORE 184894.505
AT ITER 4 NEW BEST:: SOT 602273 SOS 494125 HAS SOPS 493217 HAS SOUS 183511 HAS SOUPS 183243 WITH SCORE 183737.125
AT ITER 9 NEW BEST:: SOT 602249 SOS 494101 HAS SOPS 493193 HAS SOUS 183487 HAS SOUPS 183219 WITH SCORE 183713.101
AT ITER 13 NEW BEST:: SOT 602249 SOS 494099 HAS SOPS 493191 HAS SOUS 183486 HAS SOUPS 183218 WITH SCORE 183712.099
AT ITER 22 NEW BEST:: SOT 602189 SOS 494039 HAS SOPS 493131 HAS SOUS 183426 HAS SOUPS 183158 WITH SCORE 183652.039
AT ITER 27 NEW BEST:: SOT 600607 SOS 492457 HAS SOPS 491526 HAS SOUS 182676 HAS SOUPS 182398 WITH SCORE 182890.457
AT ITER 28 NEW BEST:: SOT 600544 SOS 492388 HAS SOPS 491457 HAS SOUS 167504 HAS SOUPS 167226 WITH SCORE 167718.388
AT ITER 30 NEW BEST:: SOT 600519 SOS 492363 HAS SOPS 491482 HAS SOUS 167469 HAS SOUPS 167191 WITH SCORE 167683.363
AT ITER 31 NEW BEST:: SOT 618212 SOS 510109 HAS SOPS 509228 HAS SOUS 147932 HAS SOUPS 147654 WITH SCORE 148164.109
AT ITER 33 NEW BEST:: SOT 618130 SOS 510027 HAS SOPS 509150 HAS SOUS 147689 HAS SOUPS 147411 WITH SCORE 147921.027
AT ITER 34 NEW BEST:: SOT 618019 SOS 509916 HAS SOPS 509039 HAS SOUS 147578 HAS SOUPS 147300 WITH SCORE 147809.916
AT ITER 35 NEW BEST:: SOT 617998 SOS 509853 HAS SOPS 508976 HAS SOUS 147494 HAS SOUPS 147216 WITH SCORE 147725.853
AT ITER 36 NEW BEST:: SOT 617998 SOS 509853 HAS SOPS 508976 HAS SOUS 146594 HAS SOUPS 146316 WITH SCORE 146825.853
AT ITER 40 NEW BEST:: SOT 617835 SOS 509393 HAS SOPS 508534 HAS SOUS 146410 HAS SOUPS 146132 WITH SCORE 146641.393
AT ITER 43 NEW BEST:: SOT 617815 SOS 509341 HAS SOPS 508486 HAS SOUS 146266 HAS SOUPS 145988 WITH SCORE 146497.341
AT ITER 47 NEW BEST:: SOT 617801 SOS 509118 HAS SOPS 508263 HAS SOUS 144709 HAS SOUPS 144431 WITH SCORE 144940.118
AT ITER 53 NEW BEST:: SOT 617803 SOS 509319 HAS SOPS 508464 HAS SOUS 144307 HAS SOUPS 144029 WITH SCORE 144538.319
AT ITER 55 NEW BEST:: SOT 618816 SOS 510520 HAS SOPS 509614 HAS SOUS 139609 HAS SOUPS 139314 WITH SCORE 139824.52
AT ITER 56 NEW BEST:: SOT 618820 SOS 510557 HAS SOPS 509651 HAS SOUS 136418 HAS SOUPS 136123 WITH SCORE 136633.557
AT ITER 63 NEW BEST:: SOT 618640 SOS 510350 HAS SOPS 509444 HAS SOUS 136193 HAS SOUPS 135898 WITH SCORE 136408.35
AT ITER 65 NEW BEST:: SOT 618640 SOS 499370 HAS SOPS 488930 HAS SOUS 136190 HAS SOUPS 135887 WITH SCORE 136386.37
AT ITER 67 NEW BEST:: SOT 619624 SOS 500478 HAS SOPS 490020 HAS SOUS 134347 HAS SOUPS 134026 WITH SCORE 134526.478
AT ITER 68 NEW BEST:: SOT 619674 SOS 500563 HAS SOPS 490122 HAS SOUS 134239 HAS SOUPS 133918 WITH SCORE 134418.563
AT ITER 71 NEW BEST:: SOT 618302 SOS 500591 HAS SOPS 490744 HAS SOUS 134039 HAS SOUPS 133847 WITH SCORE 134347.591
AT ITER 72 NEW BEST:: SOT 618344 SOS 500603 HAS SOPS 490756 HAS SOUS 133160 HAS SOUPS 132968 WITH SCORE 133468.603
AT ITER 73 NEW BEST:: SOT 618383 SOS 500598 HAS SOPS 490751 HAS SOUS 130231 HAS SOUPS 130039 WITH SCORE 130539.598
AT ITER 75 NEW BEST:: SOT 618394 SOS 498764 HAS SOPS 490540 HAS SOUS 109927 HAS SOUPS 109795 WITH SCORE 110293.764
AT ITER 76 NEW BEST:: SOT 616813 SOS 497165 HAS SOPS 488906 HAS SOUS 109542 HAS SOUPS 109414 WITH SCORE 109911.165
AT ITER 87 NEW BEST:: SOT 616796 SOS 497171 HAS SOPS 488912 HAS SOUS 109510 HAS SOUPS 109382 WITH SCORE 109879.171
AT ITER 94 NEW BEST:: SOT 616772 SOS 497192 HAS SOPS 488933 HAS SOUS 109478 HAS SOUPS 109350 WITH SCORE 109847.192
AT ITER 95 NEW BEST:: SOT 617077 SOS 497346 HAS SOPS 489145 HAS SOUS 108967 HAS SOUPS 108858 WITH SCORE 109355.346
AT ITER 98 NEW BEST:: SOT 617151 SOS 488834 HAS SOPS 488581 HAS SOUS 92388 HAS SOUPS 92283 WITH SCORE 92771.834
AT ITER 100 NEW BEST:: SOT 617103 SOS 488786 HAS SOPS 488533 HAS SOUS 92310 HAS SOUPS 92205 WITH SCORE 92693.786
AT ITER 101 NEW BEST:: SOT 617102 SOS 488783 HAS SOPS 488530 HAS SOUS 92310 HAS SOUPS 92205 WITH SCORE 92693.783
AT ITER 104 NEW BEST:: SOT 617076 SOS 488770 HAS SOPS 488588 HAS SOUS 92295 HAS SOUPS 92200 WITH SCORE 92688.77
AT ITER 111 NEW BEST:: SOT 617029 SOS 488698 HAS SOPS 488516 HAS SOUS 92285 HAS SOUPS 92190 WITH SCORE 92678.698
AT ITER 114 NEW BEST:: SOT 617021 SOS 488706 HAS SOPS 488500 HAS SOUS 92265 HAS SOUPS 92166 WITH SCORE 92654.706
AT ITER 117 NEW BEST:: SOT 617089 SOS 488728 HAS SOPS 488522 HAS SOUS 92264 HAS SOUPS 92165 WITH SCORE 92653.728
AT ITER 120 NEW BEST:: SOT 617093 SOS 488790 HAS SOPS 488584 HAS SOUS 91831 HAS SOUPS 91732 WITH SCORE 92220.79
AT ITER 125 NEW BEST:: SOT 616736 SOS 488391 HAS SOPS 488185 HAS SOUS 91726 HAS SOUPS 91627 WITH SCORE 92115.391
AT ITER 130 NEW BEST:: SOT 616732 SOS 488379 HAS SOPS 488175 HAS SOUS 91678 HAS SOUPS 91579 WITH SCORE 92067.379
AT ITER 135 NEW BEST:: SOT 616732 SOS 488365 HAS SOPS 488161 HAS SOUS 91663 HAS SOUPS 91564 WITH SCORE 92052.365
AT ITER 139 NEW BEST:: SOT 616649 SOS 488250 HAS SOPS 488068 HAS SOUS 91652 HAS SOUPS 91553 WITH SCORE 92041.25
AT ITER 143 NEW BEST:: SOT 616621 SOS 488240 HAS SOPS 488058 HAS SOUS 91609 HAS SOUPS 91510 WITH SCORE 91998.24
AT ITER 154 NEW BEST:: SOT 616349 SOS 487768 HAS SOPS 487554 HAS SOUS 91260 HAS SOUPS 91130 WITH SCORE 91617.768
AT ITER 159 NEW BEST:: SOT 617399 SOS 488818 HAS SOPS 488604 HAS SOUS 89599 HAS SOUPS 89469 WITH SCORE 89957.818
AT ITER 163 NEW BEST:: SOT 617387 SOS 488902 HAS SOPS 488652 HAS SOUS 87895 HAS SOUPS 87729 WITH SCORE 88217.902
AT ITER 166 NEW BEST:: SOT 617030 SOS 488649 HAS SOPS 488397 HAS SOUS 84432 HAS SOUPS 84264 WITH SCORE 84752.649
AT ITER 169 NEW BEST:: SOT 617052 SOS 488693 HAS SOPS 488441 HAS SOUS 84295 HAS SOUPS 84127 WITH SCORE 84615.693
AT ITER 171 NEW BEST:: SOT 617042 SOS 488673 HAS SOPS 488421 HAS SOUS 83843 HAS SOUPS 83675 WITH SCORE 84163.673
AT ITER 177 NEW BEST:: SOT 616924 SOS 488652 HAS SOPS 488400 HAS SOUS 83726 HAS SOUPS 83558 WITH SCORE 84046.652
AT ITER 182 NEW BEST:: SOT 616924 SOS 488645 HAS SOPS 488393 HAS SOUS 83579 HAS SOUPS 83411 WITH SCORE 83899.645
AT ITER 185 NEW BEST:: SOT 616880 SOS 488601 HAS SOPS 488349 HAS SOUS 83094 HAS SOUPS 82926 WITH SCORE 83414.601
AT ITER 186 NEW BEST:: SOT 616886 SOS 488631 HAS SOPS 488379 HAS SOUS 83078 HAS SOUPS 82910 WITH SCORE 83398.631
AT ITER 188 NEW BEST:: SOT 616896 SOS 488651 HAS SOPS 488399 HAS SOUS 83075 HAS SOUPS 82907 WITH SCORE 83395.651
AT ITER 194 NEW BEST:: SOT 616904 SOS 488574 HAS SOPS 488322 HAS SOUS 83061 HAS SOUPS 82893 WITH SCORE 83381.574
AT ITER 199 NEW BEST:: SOT 616904 SOS 488577 HAS SOPS 488325 HAS SOUS 83056 HAS SOUPS 82888 WITH SCORE 83376.577
AT ITER 203 NEW BEST:: SOT 616848 SOS 488352 HAS SOPS 488100 HAS SOUS 82931 HAS SOUPS 82763 WITH SCORE 83251.352
AT ITER 204 NEW BEST:: SOT 616988 SOS 488538 HAS SOPS 488212 HAS SOUS 81994 HAS SOUPS 81767 WITH SCORE 82255.538
AT ITER 209 NEW BEST:: SOT 616989 SOS 488539 HAS SOPS 488213 HAS SOUS 81905 HAS SOUPS 81678 WITH SCORE 82166.539
AT ITER 213 NEW BEST:: SOT 616968 SOS 488497 HAS SOPS 488171 HAS SOUS 81644 HAS SOUPS 81417 WITH SCORE 81905.497
AT ITER 222 NEW BEST:: SOT 616952 SOS 488439 HAS SOPS 488113 HAS SOUS 81620 HAS SOUPS 81393 WITH SCORE 81881.439
AT ITER 223 NEW BEST:: SOT 616979 SOS 488466 HAS SOPS 488133 HAS SOUS 81619 HAS SOUPS 81385 WITH SCORE 81873.466
AT ITER 229 NEW BEST:: SOT 616984 SOS 488461 HAS SOPS 488133 HAS SOUS 79538 HAS SOUPS 79309 WITH SCORE 79797.461
AT ITER 232 NEW BEST:: SOT 616922 SOS 488389 HAS SOPS 488061 HAS SOUS 79167 HAS SOUPS 78938 WITH SCORE 79426.389
AT ITER 236 NEW BEST:: SOT 616891 SOS 488338 HAS SOPS 488021 HAS SOUS 79147 HAS SOUPS 78918 WITH SCORE 79406.338
AT ITER 239 NEW BEST:: SOT 616873 SOS 488320 HAS SOPS 488003 HAS SOUS 79127 HAS SOUPS 78898 WITH SCORE 79386.32
AT ITER 240 NEW BEST:: SOT 616899 SOS 488330 HAS SOPS 488013 HAS SOUS 79115 HAS SOUPS 78886 WITH SCORE 79374.33
AT ITER 242 NEW BEST:: SOT 616876 SOS 488281 HAS SOPS 487964 HAS SOUS 78742 HAS SOUPS 78513 WITH SCORE 79001.281
AT ITER 244 NEW BEST:: SOT 606191 SOS 477959 HAS SOPS 477592 HAS SOUS 74297 HAS SOUPS 74019 WITH SCORE 74496.959
AT ITER 256 NEW BEST:: SOT 606277 SOS 478141 HAS SOPS 477774 HAS SOUS 73377 HAS SOUPS 73099 WITH SCORE 73577.141
AT ITER 267 NEW BEST:: SOT 606311 SOS 478039 HAS SOPS 477706 HAS SOUS 73184 HAS SOUPS 72940 WITH SCORE 73418.039
AT ITER 268 NEW BEST:: SOT 606311 SOS 478008 HAS SOPS 477675 HAS SOUS 73171 HAS SOUPS 72927 WITH SCORE 73405.008
AT ITER 269 NEW BEST:: SOT 609628 SOS 481250 HAS SOPS 480938 HAS SOUS 64689 HAS SOUPS 64466 WITH SCORE 64947.25
AT ITER 270 NEW BEST:: SOT 609625 SOS 481247 HAS SOPS 480935 HAS SOUS 64683 HAS SOUPS 64460 WITH SCORE 64941.247
AT ITER 273 NEW BEST:: SOT 609618 SOS 481343 HAS SOPS 481031 HAS SOUS 64210 HAS SOUPS 63987 WITH SCORE 64468.343
AT ITER 282 NEW BEST:: SOT 609620 SOS 481366 HAS SOPS 481054 HAS SOUS 64059 HAS SOUPS 63836 WITH SCORE 64317.366
AT ITER 286 NEW BEST:: SOT 609316 SOS 481354 HAS SOPS 481042 HAS SOUS 63883 HAS SOUPS 63660 WITH SCORE 64141.354
AT ITER 287 NEW BEST:: SOT 609826 SOS 481865 HAS SOPS 481553 HAS SOUS 62331 HAS SOUPS 62108 WITH SCORE 62589.865
AT ITER 289 NEW BEST:: SOT 609775 SOS 502717 HAS SOPS 502405 HAS SOUS 62291 HAS SOUPS 62068 WITH SCORE 62570.717
AT ITER 290 NEW BEST:: SOT 609848 SOS 502569 HAS SOPS 502330 HAS SOUS 62216 HAS SOUPS 62066 WITH SCORE 62568.569
AT ITER 292 NEW BEST:: SOT 606788 SOS 499537 HAS SOPS 499287 HAS SOUS 60671 HAS SOUPS 60520 WITH SCORE 61019.537
AT ITER 294 NEW BEST:: SOT 606758 SOS 499485 HAS SOPS 499235 HAS SOUS 60651 HAS SOUPS 60500 WITH SCORE 60999.485
AT ITER 295 NEW BEST:: SOT 606767 SOS 487987 HAS SOPS 487737 HAS SOUS 60661 HAS SOUPS 60510 WITH SCORE 60997.987
AT ITER 297 NEW BEST:: SOT 606667 SOS 487904 HAS SOPS 487676 HAS SOUS 60600 HAS SOUPS 60449 WITH SCORE 60936.904
AT ITER 298 NEW BEST:: SOT 604801 SOS 486038 HAS SOPS 485810 HAS SOUS 60064 HAS SOUPS 59913 WITH SCORE 60399.038
AT ITER 301 NEW BEST:: SOT 604768 SOS 485912 HAS SOPS 485705 HAS SOUS 60043 HAS SOUPS 59892 WITH SCORE 60377.912
AT ITER 303 NEW BEST:: SOT 604911 SOS 486112 HAS SOPS 485905 HAS SOUS 59874 HAS SOUPS 59723 WITH SCORE 60209.112
AT ITER 314 NEW BEST:: SOT 604908 SOS 486109 HAS SOPS 485902 HAS SOUS 59871 HAS SOUPS 59720 WITH SCORE 60206.109
AT ITER 319 NEW BEST:: SOT 604862 SOS 486031 HAS SOPS 485824 HAS SOUS 59793 HAS SOUPS 59642 WITH SCORE 60128.031
AT ITER 321 NEW BEST:: SOT 604780 SOS 485919 HAS SOPS 485712 HAS SOUS 59661 HAS SOUPS 59510 WITH SCORE 59995.919
AT ITER 323 NEW BEST:: SOT 582966 SOS 464087 HAS SOPS 463827 HAS SOUS 54938 HAS SOUPS 54759 WITH SCORE 55223.087
AT ITER 332 NEW BEST:: SOT 582849 SOS 463970 HAS SOPS 463710 HAS SOUS 54812 HAS SOUPS 54633 WITH SCORE 55096.97
AT ITER 337 NEW BEST:: SOT 582845 SOS 464044 HAS SOPS 463784 HAS SOUS 53930 HAS SOUPS 53751 WITH SCORE 54215.044
AT ITER 339 NEW BEST:: SOT 582845 SOS 464019 HAS SOPS 463774 HAS SOUS 53882 HAS SOUPS 53703 WITH SCORE 54167.019
AT ITER 341 NEW BEST:: SOT 582796 SOS 464032 HAS SOPS 463787 HAS SOUS 53094 HAS SOUPS 52915 WITH SCORE 53379.032
AT ITER 345 NEW BEST:: SOT 582653 SOS 463872 HAS SOPS 463620 HAS SOUS 53071 HAS SOUPS 52892 WITH SCORE 53355.872
AT ITER 346 NEW BEST:: SOT 582696 SOS 463915 HAS SOPS 463662 HAS SOUS 53067 HAS SOUPS 52887 WITH SCORE 53350.915
AT ITER 358 NEW BEST:: SOT 581995 SOS 463194 HAS SOPS 462941 HAS SOUS 53036 HAS SOUPS 52856 WITH SCORE 53319.194
AT ITER 361 NEW BEST:: SOT 582050 SOS 463303 HAS SOPS 463050 HAS SOUS 52996 HAS SOUPS 52816 WITH SCORE 53279.303
AT ITER 362 NEW BEST:: SOT 582018 SOS 463283 HAS SOPS 463030 HAS SOUS 52965 HAS SOUPS 52785 WITH SCORE 53248.283
AT ITER 364 NEW BEST:: SOT 580690 SOS 461988 HAS SOPS 461713 HAS SOUS 51856 HAS SOUPS 51665 WITH SCORE 52126.988
AT ITER 365 NEW BEST:: SOT 580627 SOS 461902 HAS SOPS 461627 HAS SOUS 51733 HAS SOUPS 51542 WITH SCORE 52003.902
AT ITER 369 NEW BEST:: SOT 580303 SOS 461578 HAS SOPS 461303 HAS SOUS 51653 HAS SOUPS 51462 WITH SCORE 51923.578
AT ITER 385 NEW BEST:: SOT 580324 SOS 461444 HAS SOPS 461169 HAS SOUS 51597 HAS SOUPS 51406 WITH SCORE 51867.444
AT ITER 390 NEW BEST:: SOT 580308 SOS 461423 HAS SOPS 461148 HAS SOUS 51576 HAS SOUPS 51385 WITH SCORE 51846.423
AT ITER 399 NEW BEST:: SOT 580298 SOS 461418 HAS SOPS 461143 HAS SOUS 51477 HAS SOUPS 51286 WITH SCORE 51747.418
AT ITER 402 NEW BEST:: SOT 580291 SOS 461402 HAS SOPS 461118 HAS SOUS 51470 HAS SOUPS 51270 WITH SCORE 51731.402
AT ITER 404 NEW BEST:: SOT 580403 SOS 461642 HAS SOPS 461314 HAS SOUS 51431 HAS SOUPS 51203 WITH SCORE 51664.642
AT ITER 405 NEW BEST:: SOT 580498 SOS 461684 HAS SOPS 461356 HAS SOUS 51387 HAS SOUPS 51159 WITH SCORE 51620.684
AT ITER 412 NEW BEST:: SOT 580514 SOS 461711 HAS SOPS 461383 HAS SOUS 50969 HAS SOUPS 50741 WITH SCORE 51202.711
AT ITER 413 NEW BEST:: SOT 580530 SOS 461634 HAS SOPS 461306 HAS SOUS 50916 HAS SOUPS 50688 WITH SCORE 51149.634
AT ITER 424 NEW BEST:: SOT 580529 SOS 461633 HAS SOPS 461305 HAS SOUS 50915 HAS SOUPS 50687 WITH SCORE 51148.633
AT ITER 428 NEW BEST:: SOT 580487 SOS 461537 HAS SOPS 461209 HAS SOUS 50867 HAS SOUPS 50639 WITH SCORE 51100.537
AT ITER 445 NEW BEST:: SOT 580737 SOS 461758 HAS SOPS 461430 HAS SOUS 50688 HAS SOUPS 50460 WITH SCORE 50921.758
AT ITER 449 NEW BEST:: SOT 580794 SOS 461689 HAS SOPS 461364 HAS SOUS 50377 HAS SOUPS 50149 WITH SCORE 50610.689
AT ITER 454 NEW BEST:: SOT 580754 SOS 461690 HAS SOPS 461365 HAS SOUS 50275 HAS SOUPS 50047 WITH SCORE 50508.69
AT ITER 460 NEW BEST:: SOT 580778 SOS 461718 HAS SOPS 461393 HAS SOUS 50235 HAS SOUPS 50007 WITH SCORE 50468.718
AT ITER 478 NEW BEST:: SOT 566674 SOS 447614 HAS SOPS 447289 HAS SOUS 42280 HAS SOUPS 42052 WITH SCORE 42499.614
AT ITER 486 NEW BEST:: SOT 566659 SOS 447606 HAS SOPS 447281 HAS SOUS 42257 HAS SOUPS 42029 WITH SCORE 42476.606
AT ITER 490 NEW BEST:: SOT 566659 SOS 447138 HAS SOPS 446813 HAS SOUS 42257 HAS SOUPS 42029 WITH SCORE 42476.138
AT ITER 491 NEW BEST:: SOT 566557 SOS 447032 HAS SOPS 446711 HAS SOUS 42250 HAS SOUPS 42022 WITH SCORE 42469.032
AT ITER 492 NEW BEST:: SOT 564744 SOS 445209 HAS SOPS 444888 HAS SOUS 41319 HAS SOUPS 41091 WITH SCORE 41536.209
AT ITER 505 NEW BEST:: SOT 564974 SOS 445439 HAS SOPS 445118 HAS SOUS 41131 HAS SOUPS 40903 WITH SCORE 41348.439
AT ITER 512 NEW BEST:: SOT 564871 SOS 445251 HAS SOPS 444930 HAS SOUS 40982 HAS SOUPS 40754 WITH SCORE 41199.251
AT ITER 525 NEW BEST:: SOT 564829 SOS 445209 HAS SOPS 444888 HAS SOUS 40961 HAS SOUPS 40733 WITH SCORE 41178.209
AT ITER 532 NEW BEST:: SOT 564827 SOS 445203 HAS SOPS 444882 HAS SOUS 40863 HAS SOUPS 40635 WITH SCORE 41080.203
AT ITER 553 NEW BEST:: SOT 565170 SOS 445513 HAS SOPS 445192 HAS SOUS 40833 HAS SOUPS 40605 WITH SCORE 41050.513
AT ITER 558 NEW BEST:: SOT 565170 SOS 445518 HAS SOPS 445197 HAS SOUS 40832 HAS SOUPS 40604 WITH SCORE 41049.518
AT ITER 560 NEW BEST:: SOT 565161 SOS 445497 HAS SOPS 445179 HAS SOUS 40823 HAS SOUPS 40595 WITH SCORE 41040.497
AT ITER 568 NEW BEST:: SOT 564980 SOS 445189 HAS SOPS 444871 HAS SOUS 40701 HAS SOUPS 40473 WITH SCORE 40918.189
AT ITER 569 NEW BEST:: SOT 564978 SOS 445186 HAS SOPS 444868 HAS SOUS 40698 HAS SOUPS 40470 WITH SCORE 40915.186
AT ITER 583 NEW BEST:: SOT 564978 SOS 445206 HAS SOPS 444888 HAS SOUS 40548 HAS SOUPS 40320 WITH SCORE 40765.206
AT ITER 585 NEW BEST:: SOT 564960 SOS 445203 HAS SOPS 444882 HAS SOUS 40392 HAS SOUPS 40164 WITH SCORE 40609.203
AT ITER 599 NEW BEST:: SOT 564976 SOS 445157 HAS SOPS 444852 HAS SOUS 40261 HAS SOUPS 40049 WITH SCORE 40494.157
AT ITER 603 NEW BEST:: SOT 564776 SOS 444857 HAS SOPS 444602 HAS SOUS 40162 HAS SOUPS 40000 WITH SCORE 40444.857
AT ITER 615 NEW BEST:: SOT 564722 SOS 444733 HAS SOPS 444481 HAS SOUS 39782 HAS SOUPS 39620 WITH SCORE 40064.733
AT ITER 622 NEW BEST:: SOT 564652 SOS 444696 HAS SOPS 444433 HAS SOUS 39756 HAS SOUPS 39594 WITH SCORE 40038.696
AT ITER 633 NEW BEST:: SOT 564718 SOS 444775 HAS SOPS 444500 HAS SOUS 39678 HAS SOUPS 39516 WITH SCORE 39960.775
AT ITER 634 NEW BEST:: SOT 564509 SOS 444551 HAS SOPS 444276 HAS SOUS 39221 HAS SOUPS 39059 WITH SCORE 39503.551
AT ITER 642 NEW BEST:: SOT 564509 SOS 444534 HAS SOPS 444259 HAS SOUS 39204 HAS SOUPS 39042 WITH SCORE 39486.534
AT ITER 644 NEW BEST:: SOT 564511 SOS 444536 HAS SOPS 444261 HAS SOUS 39173 HAS SOUPS 39011 WITH SCORE 39455.536
AT ITER 648 NEW BEST:: SOT 564527 SOS 444528 HAS SOPS 444253 HAS SOUS 38570 HAS SOUPS 38408 WITH SCORE 38852.528
AT ITER 649 NEW BEST:: SOT 564527 SOS 437281 HAS SOPS 437006 HAS SOUS 38570 HAS SOUPS 38408 WITH SCORE 38845.281
AT ITER 651 NEW BEST:: SOT 564515 SOS 437261 HAS SOPS 436990 HAS SOUS 38566 HAS SOUPS 38408 WITH SCORE 38845.261
AT ITER 656 NEW BEST:: SOT 564477 SOS 437199 HAS SOPS 436928 HAS SOUS 38048 HAS SOUPS 37890 WITH SCORE 38327.199
AT ITER 667 NEW BEST:: SOT 564469 SOS 437191 HAS SOPS 436920 HAS SOUS 38040 HAS SOUPS 37882 WITH SCORE 38319.191
AT ITER 676 NEW BEST:: SOT 564593 SOS 437315 HAS SOPS 437044 HAS SOUS 37822 HAS SOUPS 37664 WITH SCORE 38101.315
AT ITER 698 NEW BEST:: SOT 564572 SOS 437280 HAS SOPS 437016 HAS SOUS 37801 HAS SOUPS 37643 WITH SCORE 38080.28
AT ITER 704 NEW BEST:: SOT 564572 SOS 437268 HAS SOPS 437004 HAS SOUS 37799 HAS SOUPS 37641 WITH SCORE 38078.268
AT ITER 711 NEW BEST:: SOT 564556 SOS 437252 HAS SOPS 436988 HAS SOUS 37699 HAS SOUPS 37541 WITH SCORE 37978.252
AT ITER 721 NEW BEST:: SOT 565493 SOS 438173 HAS SOPS 437909 HAS SOUS 37076 HAS SOUPS 36918 WITH SCORE 37356.173
AT ITER 725 NEW BEST:: SOT 565461 SOS 435979 HAS SOPS 435715 HAS SOUS 37044 HAS SOUPS 36886 WITH SCORE 37321.979
AT ITER 728 NEW BEST:: SOT 564644 SOS 435191 HAS SOPS 434909 HAS SOUS 36807 HAS SOUPS 36640 WITH SCORE 37075.191
AT ITER 733 NEW BEST:: SOT 564641 SOS 435176 HAS SOPS 434894 HAS SOUS 36693 HAS SOUPS 36526 WITH SCORE 36961.176
AT ITER 747 NEW BEST:: SOT 564651 SOS 435246 HAS SOPS 434964 HAS SOUS 36351 HAS SOUPS 36184 WITH SCORE 36619.246
AT ITER 751 NEW BEST:: SOT 554885 SOS 425527 HAS SOPS 425231 HAS SOUS 35335 HAS SOUPS 35155 WITH SCORE 35580.527
AT ITER 755 NEW BEST:: SOT 554885 SOS 425503 HAS SOPS 425207 HAS SOUS 35323 HAS SOUPS 35143 WITH SCORE 35568.503
AT ITER 762 NEW BEST:: SOT 554869 SOS 425233 HAS SOPS 424937 HAS SOUS 35286 HAS SOUPS 35106 WITH SCORE 35531.233
AT ITER 765 NEW BEST:: SOT 554816 SOS 425083 HAS SOPS 424796 HAS SOUS 35233 HAS SOUPS 35053 WITH SCORE 35478.083
AT ITER 775 NEW BEST:: SOT 554816 SOS 425210 HAS SOPS 424923 HAS SOUS 35073 HAS SOUPS 34893 WITH SCORE 35318.21
AT ITER 786 NEW BEST:: SOT 554464 SOS 424858 HAS SOPS 424571 HAS SOUS 34712 HAS SOUPS 34532 WITH SCORE 34956.858
AT ITER 797 NEW BEST:: SOT 554464 SOS 424818 HAS SOPS 424531 HAS SOUS 34704 HAS SOUPS 34524 WITH SCORE 34948.818
AT ITER 817 NEW BEST:: SOT 554383 SOS 424612 HAS SOPS 424374 HAS SOUS 34640 HAS SOUPS 34485 WITH SCORE 34909.612
AT ITER 819 NEW BEST:: SOT 556765 SOS 426985 HAS SOPS 426747 HAS SOUS 34238 HAS SOUPS 34083 WITH SCORE 34509.985
AT ITER 835 NEW BEST:: SOT 556767 SOS 420728 HAS SOPS 420490 HAS SOUS 34244 HAS SOUPS 34089 WITH SCORE 34509.728
AT ITER 845 NEW BEST:: SOT 556745 SOS 420753 HAS SOPS 420515 HAS SOUS 34197 HAS SOUPS 34042 WITH SCORE 34462.753
AT ITER 850 NEW BEST:: SOT 556568 SOS 420576 HAS SOPS 420338 HAS SOUS 34153 HAS SOUPS 33998 WITH SCORE 34418.576
AT ITER 861 NEW BEST:: SOT 556561 SOS 420578 HAS SOPS 420299 HAS SOUS 34112 HAS SOUPS 33925 WITH SCORE 34345.578
AT ITER 880 NEW BEST:: SOT 556572 SOS 420630 HAS SOPS 420351 HAS SOUS 34101 HAS SOUPS 33914 WITH SCORE 34334.63
AT ITER 893 NEW BEST:: SOT 553688 SOS 417754 HAS SOPS 417475 HAS SOUS 32632 HAS SOUPS 32445 WITH SCORE 32862.754
AT ITER 919 NEW BEST:: SOT 553688 SOS 417765 HAS SOPS 417486 HAS SOUS 32628 HAS SOUPS 32441 WITH SCORE 32858.765
AT ITER 929 NEW BEST:: SOT 552733 SOS 416810 HAS SOPS 416531 HAS SOUS 32553 HAS SOUPS 32366 WITH SCORE 32782.81
AT ITER 933 NEW BEST:: SOT 552725 SOS 416756 HAS SOPS 416477 HAS SOUS 32518 HAS SOUPS 32331 WITH SCORE 32747.756
AT ITER 934 NEW BEST:: SOT 552647 SOS 416669 HAS SOPS 416390 HAS SOUS 32503 HAS SOUPS 32316 WITH SCORE 32732.669
AT ITER 936 NEW BEST:: SOT 552634 SOS 416627 HAS SOPS 416348 HAS SOUS 32503 HAS SOUPS 32316 WITH SCORE 32732.627
AT ITER 939 NEW BEST:: SOT 553259 SOS 417286 HAS SOPS 417007 HAS SOUS 32482 HAS SOUPS 32295 WITH SCORE 32712.286
AT ITER 972 NEW BEST:: SOT 553181 SOS 417234 HAS SOPS 416955 HAS SOUS 32448 HAS SOUPS 32261 WITH SCORE 32678.234
AT ITER 980 NEW BEST:: SOT 553192 SOS 417245 HAS SOPS 416966 HAS SOUS 32428 HAS SOUPS 32241 WITH SCORE 32658.245
AT ITER 1021 NEW BEST:: SOT 553162 SOS 417256 HAS SOPS 416989 HAS SOUS 32388 HAS SOUPS 32212 WITH SCORE 32629.256
AT ITER 1037 NEW BEST:: SOT 553163 SOS 417253 HAS SOPS 416986 HAS SOUS 32388 HAS SOUPS 32212 WITH SCORE 32629.253
AT ITER 1042 NEW BEST:: SOT 553175 SOS 417249 HAS SOPS 416974 HAS SOUS 32380 HAS SOUPS 32196 WITH SCORE 32613.249
AT ITER 1044 NEW BEST:: SOT 553176 SOS 417236 HAS SOPS 416961 HAS SOUS 32373 HAS SOUPS 32189 WITH SCORE 32606.236
AT ITER 1061 NEW BEST:: SOT 553166 SOS 417216 HAS SOPS 416941 HAS SOUS 32353 HAS SOUPS 32169 WITH SCORE 32586.216
AT ITER 1064 NEW BEST:: SOT 553160 SOS 417210 HAS SOPS 416935 HAS SOUS 32347 HAS SOUPS 32163 WITH SCORE 32580.21
AT ITER 1073 NEW BEST:: SOT 553082 SOS 417115 HAS SOPS 416840 HAS SOUS 32243 HAS SOUPS 32059 WITH SCORE 32476.115
AT ITER 1100 NEW BEST:: SOT 553070 SOS 417155 HAS SOPS 416857 HAS SOUS 32225 HAS SOUPS 32041 WITH SCORE 32458.155
AT ITER 1102 NEW BEST:: SOT 553055 SOS 416963 HAS SOPS 416665 HAS SOUS 32219 HAS SOUPS 32035 WITH SCORE 32451.963
AT ITER 1107 NEW BEST:: SOT 553711 SOS 417637 HAS SOPS 417339 HAS SOUS 32205 HAS SOUPS 32021 WITH SCORE 32438.637
AT ITER 1119 NEW BEST:: SOT 553711 SOS 417637 HAS SOPS 417323 HAS SOUS 32157 HAS SOUPS 31973 WITH SCORE 32390.637
AT ITER 1126 NEW BEST:: SOT 553773 SOS 417626 HAS SOPS 417312 HAS SOUS 32107 HAS SOUPS 31923 WITH SCORE 32340.626
AT ITER 1129 NEW BEST:: SOT 553752 SOS 417591 HAS SOPS 417263 HAS SOUS 32079 HAS SOUPS 31881 WITH SCORE 32298.591
AT ITER 1143 NEW BEST:: SOT 553763 SOS 417613 HAS SOPS 417285 HAS SOUS 32002 HAS SOUPS 31804 WITH SCORE 32221.613
AT ITER 1158 NEW BEST:: SOT 553766 SOS 417639 HAS SOPS 417311 HAS SOUS 31857 HAS SOUPS 31659 WITH SCORE 32076.639
AT ITER 1161 NEW BEST:: SOT 553854 SOS 417661 HAS SOPS 417333 HAS SOUS 31741 HAS SOUPS 31543 WITH SCORE 31960.661
AT ITER 1175 NEW BEST:: SOT 553863 SOS 417643 HAS SOPS 417315 HAS SOUS 31741 HAS SOUPS 31543 WITH SCORE 31960.643
AT ITER 1185 NEW BEST:: SOT 553863 SOS 417587 HAS SOPS 417259 HAS SOUS 31736 HAS SOUPS 31538 WITH SCORE 31955.587
AT ITER 1191 NEW BEST:: SOT 553782 SOS 417467 HAS SOPS 417133 HAS SOUS 31685 HAS SOUPS 31487 WITH SCORE 31904.467
AT ITER 1196 NEW BEST:: SOT 553837 SOS 417479 HAS SOPS 417145 HAS SOUS 31619 HAS SOUPS 31421 WITH SCORE 31838.479
AT ITER 1198 NEW BEST:: SOT 553835 SOS 417477 HAS SOPS 417143 HAS SOUS 31614 HAS SOUPS 31416 WITH SCORE 31833.477
AT ITER 1199 NEW BEST:: SOT 555519 SOS 419196 HAS SOPS 418862 HAS SOUS 31183 HAS SOUPS 30985 WITH SCORE 31404.196
AT ITER 1210 NEW BEST:: SOT 555511 SOS 419175 HAS SOPS 418840 HAS SOUS 31147 HAS SOUPS 30949 WITH SCORE 31368.175
AT ITER 1213 NEW BEST:: SOT 555511 SOS 419175 HAS SOPS 418840 HAS SOUS 31138 HAS SOUPS 30940 WITH SCORE 31359.175
AT ITER 1227 NEW BEST:: SOT 555494 SOS 419147 HAS SOPS 418812 HAS SOUS 30591 HAS SOUPS 30393 WITH SCORE 30812.147
AT ITER 1236 NEW BEST:: SOT 555466 SOS 419120 HAS SOPS 418785 HAS SOUS 30590 HAS SOUPS 30392 WITH SCORE 30811.12
AT ITER 1237 NEW BEST:: SOT 555376 SOS 419242 HAS SOPS 418907 HAS SOUS 30586 HAS SOUPS 30388 WITH SCORE 30807.242
AT ITER 1246 NEW BEST:: SOT 555356 SOS 419214 HAS SOPS 418879 HAS SOUS 30558 HAS SOUPS 30360 WITH SCORE 30779.214
AT ITER 1253 NEW BEST:: SOT 555344 SOS 419196 HAS SOPS 418861 HAS SOUS 30312 HAS SOUPS 30114 WITH SCORE 30533.196
AT ITER 1254 NEW BEST:: SOT 555343 SOS 419195 HAS SOPS 418859 HAS SOUS 30306 HAS SOUPS 30108 WITH SCORE 30527.195
AT ITER 1255 NEW BEST:: SOT 555323 SOS 419170 HAS SOPS 418834 HAS SOUS 30278 HAS SOUPS 30080 WITH SCORE 30499.17
AT ITER 1256 NEW BEST:: SOT 555303 SOS 419126 HAS SOPS 418790 HAS SOUS 30267 HAS SOUPS 30069 WITH SCORE 30488.126
AT ITER 1261 NEW BEST:: SOT 555286 SOS 419132 HAS SOPS 418796 HAS SOUS 30249 HAS SOUPS 30051 WITH SCORE 30470.132
AT ITER 1284 NEW BEST:: SOT 562697 SOS 426527 HAS SOPS 426191 HAS SOUS 30204 HAS SOUPS 30006 WITH SCORE 30432.527
AT ITER 1288 NEW BEST:: SOT 562701 SOS 426539 HAS SOPS 426203 HAS SOUS 30191 HAS SOUPS 29993 WITH SCORE 30419.539
AT ITER 1289 NEW BEST:: SOT 562701 SOS 426533 HAS SOPS 426197 HAS SOUS 30191 HAS SOUPS 29993 WITH SCORE 30419.533
AT ITER 1297 NEW BEST:: SOT 562701 SOS 426517 HAS SOPS 426181 HAS SOUS 30183 HAS SOUPS 29985 WITH SCORE 30411.517
AT ITER 1301 NEW BEST:: SOT 562691 SOS 426507 HAS SOPS 426171 HAS SOUS 30181 HAS SOUPS 29983 WITH SCORE 30409.507
AT ITER 1302 NEW BEST:: SOT 562687 SOS 426503 HAS SOPS 426167 HAS SOUS 30181 HAS SOUPS 29983 WITH SCORE 30409.503
AT ITER 1306 NEW BEST:: SOT 557077 SOS 420889 HAS SOPS 420553 HAS SOUS 28761 HAS SOUPS 28563 WITH SCORE 28983.889
AT ITER 1319 NEW BEST:: SOT 556966 SOS 420732 HAS SOPS 420442 HAS SOUS 28649 HAS SOUPS 28488 WITH SCORE 28908.732
AT ITER 1331 NEW BEST:: SOT 556950 SOS 420736 HAS SOPS 420446 HAS SOUS 28600 HAS SOUPS 28439 WITH SCORE 28859.736
AT ITER 1356 NEW BEST:: SOT 557073 SOS 420866 HAS SOPS 420576 HAS SOUS 28536 HAS SOUPS 28375 WITH SCORE 28795.866
AT ITER 1367 NEW BEST:: SOT 557073 SOS 420843 HAS SOPS 420553 HAS SOUS 28495 HAS SOUPS 28334 WITH SCORE 28754.843
AT ITER 1376 NEW BEST:: SOT 557073 SOS 420817 HAS SOPS 420527 HAS SOUS 28423 HAS SOUPS 28262 WITH SCORE 28682.817
AT ITER 1377 NEW BEST:: SOT 557027 SOS 420739 HAS SOPS 420449 HAS SOUS 28363 HAS SOUPS 28202 WITH SCORE 28622.739
AT ITER 1378 NEW BEST:: SOT 557005 SOS 420717 HAS SOPS 420427 HAS SOUS 28341 HAS SOUPS 28180 WITH SCORE 28600.717
AT ITER 1404 NEW BEST:: SOT 556987 SOS 420728 HAS SOPS 420438 HAS SOUS 28340 HAS SOUPS 28179 WITH SCORE 28599.728
AT ITER 1409 NEW BEST:: SOT 556987 SOS 420715 HAS SOPS 420425 HAS SOUS 28314 HAS SOUPS 28153 WITH SCORE 28573.715
AT ITER 1417 NEW BEST:: SOT 557017 SOS 420739 HAS SOPS 420449 HAS SOUS 28296 HAS SOUPS 28135 WITH SCORE 28555.739
AT ITER 1424 NEW BEST:: SOT 557017 SOS 420745 HAS SOPS 420455 HAS SOUS 28290 HAS SOUPS 28129 WITH SCORE 28549.745
AT ITER 1438 NEW BEST:: SOT 556537 SOS 420259 HAS SOPS 419969 HAS SOUS 28047 HAS SOUPS 27886 WITH SCORE 28306.259
AT ITER 1443 NEW BEST:: SOT 557438 SOS 421160 HAS SOPS 420870 HAS SOUS 27948 HAS SOUPS 27787 WITH SCORE 28208.16
AT ITER 1444 NEW BEST:: SOT 557430 SOS 421148 HAS SOPS 420858 HAS SOUS 27946 HAS SOUPS 27785 WITH SCORE 28206.148
AT ITER 1459 NEW BEST:: SOT 557428 SOS 421146 HAS SOPS 420855 HAS SOUS 27943 HAS SOUPS 27782 WITH SCORE 28203.146
AT ITER 1461 NEW BEST:: SOT 557455 SOS 421052 HAS SOPS 420761 HAS SOUS 27904 HAS SOUPS 27743 WITH SCORE 28164.052
AT ITER 1469 NEW BEST:: SOT 557966 SOS 421573 HAS SOPS 421282 HAS SOUS 27734 HAS SOUPS 27573 WITH SCORE 27994.573
AT ITER 1471 NEW BEST:: SOT 557969 SOS 421579 HAS SOPS 421288 HAS SOUS 27732 HAS SOUPS 27571 WITH SCORE 27992.579
AT ITER 1512 NEW BEST:: SOT 557967 SOS 421576 HAS SOPS 421284 HAS SOUS 27728 HAS SOUPS 27567 WITH SCORE 27988.576
AT ITER 1529 NEW BEST:: SOT 551476 SOS 415109 HAS SOPS 414804 HAS SOUS 27170 HAS SOUPS 26996 WITH SCORE 27411.109
AT ITER 1533 NEW BEST:: SOT 551434 SOS 415011 HAS SOPS 414706 HAS SOUS 27114 HAS SOUPS 26940 WITH SCORE 27355.011
AT ITER 1542 NEW BEST:: SOT 551418 SOS 415001 HAS SOPS 414696 HAS SOUS 27107 HAS SOUPS 26933 WITH SCORE 27348.001
AT ITER 1544 NEW BEST:: SOT 551835 SOS 415382 HAS SOPS 415077 HAS SOUS 27085 HAS SOUPS 26911 WITH SCORE 27326.382
AT ITER 1549 NEW BEST:: SOT 547610 SOS 411178 HAS SOPS 410873 HAS SOUS 27053 HAS SOUPS 26879 WITH SCORE 27290.178
AT ITER 1552 NEW BEST:: SOT 547600 SOS 411168 HAS SOPS 410863 HAS SOUS 27043 HAS SOUPS 26869 WITH SCORE 27280.168
AT ITER 1553 NEW BEST:: SOT 547573 SOS 411133 HAS SOPS 410828 HAS SOUS 27008 HAS SOUPS 26834 WITH SCORE 27245.133
AT ITER 1555 NEW BEST:: SOT 547555 SOS 410911 HAS SOPS 410606 HAS SOUS 26972 HAS SOUPS 26798 WITH SCORE 27208.911
AT ITER 1570 NEW BEST:: SOT 547507 SOS 410791 HAS SOPS 410486 HAS SOUS 26915 HAS SOUPS 26741 WITH SCORE 27151.791
AT ITER 1579 NEW BEST:: SOT 547452 SOS 410740 HAS SOPS 410435 HAS SOUS 26854 HAS SOUPS 26680 WITH SCORE 27090.74
AT ITER 1600 NEW BEST:: SOT 547542 SOS 410872 HAS SOPS 410546 HAS SOUS 26762 HAS SOUPS 26588 WITH SCORE 26998.872
AT ITER 1609 NEW BEST:: SOT 547541 SOS 410870 HAS SOPS 410544 HAS SOUS 26759 HAS SOUPS 26585 WITH SCORE 26995.87
AT ITER 1611 NEW BEST:: SOT 547551 SOS 410908 HAS SOPS 410588 HAS SOUS 26755 HAS SOUPS 26581 WITH SCORE 26991.908
AT ITER 1629 NEW BEST:: SOT 547438 SOS 410807 HAS SOPS 410496 HAS SOUS 26654 HAS SOUPS 26489 WITH SCORE 26899.807
AT ITER 1655 NEW BEST:: SOT 547434 SOS 410804 HAS SOPS 410493 HAS SOUS 26651 HAS SOUPS 26486 WITH SCORE 26896.804
AT ITER 1675 NEW BEST:: SOT 547051 SOS 410419 HAS SOPS 410108 HAS SOUS 26650 HAS SOUPS 26485 WITH SCORE 26895.419
AT ITER 1683 NEW BEST:: SOT 547048 SOS 410413 HAS SOPS 410102 HAS SOUS 26647 HAS SOUPS 26482 WITH SCORE 26892.413
AT ITER 1685 NEW BEST:: SOT 547030 SOS 410393 HAS SOPS 410082 HAS SOUS 26647 HAS SOUPS 26482 WITH SCORE 26892.393
AT ITER 1689 NEW BEST:: SOT 547022 SOS 410387 HAS SOPS 410076 HAS SOUS 26629 HAS SOUPS 26464 WITH SCORE 26874.387
AT ITER 1697 NEW BEST:: SOT 544434 SOS 407807 HAS SOPS 407483 HAS SOUS 26316 HAS SOUPS 26151 WITH SCORE 26558.807
AT ITER 1721 NEW BEST:: SOT 544434 SOS 407775 HAS SOPS 407451 HAS SOUS 26308 HAS SOUPS 26143 WITH SCORE 26550.775
AT ITER 1746 NEW BEST:: SOT 544495 SOS 407968 HAS SOPS 407644 HAS SOUS 26298 HAS SOUPS 26133 WITH SCORE 26540.968
AT ITER 1755 NEW BEST:: SOT 544481 SOS 407786 HAS SOPS 407462 HAS SOUS 26284 HAS SOUPS 26119 WITH SCORE 26526.786
AT ITER 1765 NEW BEST:: SOT 544464 SOS 407752 HAS SOPS 407428 HAS SOUS 26143 HAS SOUPS 25978 WITH SCORE 26385.752
AT ITER 1774 NEW BEST:: SOT 544464 SOS 407746 HAS SOPS 407422 HAS SOUS 25831 HAS SOUPS 25666 WITH SCORE 26073.746
AT ITER 1803 NEW BEST:: SOT 544455 SOS 407893 HAS SOPS 407569 HAS SOUS 25794 HAS SOUPS 25629 WITH SCORE 26036.893
AT ITER 1817 NEW BEST:: SOT 544401 SOS 407767 HAS SOPS 407443 HAS SOUS 25688 HAS SOUPS 25523 WITH SCORE 25930.767
AT ITER 1820 NEW BEST:: SOT 544404 SOS 407655 HAS SOPS 407324 HAS SOUS 25603 HAS SOUPS 25431 WITH SCORE 25838.655
AT ITER 1851 NEW BEST:: SOT 544635 SOS 407915 HAS SOPS 407584 HAS SOUS 25269 HAS SOUPS 25097 WITH SCORE 25504.915
AT ITER 1859 NEW BEST:: SOT 543477 SOS 406751 HAS SOPS 406414 HAS SOUS 25187 HAS SOUPS 25015 WITH SCORE 25421.751
AT ITER 1869 NEW BEST:: SOT 543639 SOS 407048 HAS SOPS 406711 HAS SOUS 25069 HAS SOUPS 24897 WITH SCORE 25304.048
AT ITER 1914 NEW BEST:: SOT 543639 SOS 407049 HAS SOPS 406712 HAS SOUS 25066 HAS SOUPS 24894 WITH SCORE 25301.049
AT ITER 1925 NEW BEST:: SOT 543615 SOS 407019 HAS SOPS 406682 HAS SOUS 25036 HAS SOUPS 24864 WITH SCORE 25271.019
AT ITER 1947 NEW BEST:: SOT 543543 SOS 406969 HAS SOPS 406632 HAS SOUS 25036 HAS SOUPS 24864 WITH SCORE 25270.969
AT ITER 1957 NEW BEST:: SOT 543522 SOS 406998 HAS SOPS 406651 HAS SOUS 24908 HAS SOUPS 24736 WITH SCORE 25142.998
AT ITER 1963 NEW BEST:: SOT 543528 SOS 407049 HAS SOPS 406702 HAS SOUS 24837 HAS SOUPS 24665 WITH SCORE 25072.049
AT ITER 2008 NEW BEST:: SOT 543527 SOS 409134 HAS SOPS 408787 HAS SOUS 24833 HAS SOUPS 24661 WITH SCORE 25070.134
AT ITER 2017 NEW BEST:: SOT 543489 SOS 409138 HAS SOPS 408791 HAS SOUS 24753 HAS SOUPS 24581 WITH SCORE 24990.138
AT ITER 2037 NEW BEST:: SOT 543485 SOS 409134 HAS SOPS 408787 HAS SOUS 24749 HAS SOUPS 24577 WITH SCORE 24986.134
AT ITER 2041 NEW BEST:: SOT 543485 SOS 409079 HAS SOPS 408732 HAS SOUS 24749 HAS SOUPS 24577 WITH SCORE 24986.079
AT ITER 2043 NEW BEST:: SOT 543464 SOS 409054 HAS SOPS 408707 HAS SOUS 24710 HAS SOUPS 24538 WITH SCORE 24947.054
AT ITER 2050 NEW BEST:: SOT 543457 SOS 408999 HAS SOPS 408652 HAS SOUS 24681 HAS SOUPS 24509 WITH SCORE 24917.999
AT ITER 2053 NEW BEST:: SOT 543454 SOS 408981 HAS SOPS 408634 HAS SOUS 24672 HAS SOUPS 24500 WITH SCORE 24908.981
AT ITER 2076 NEW BEST:: SOT 543430 SOS 408907 HAS SOPS 408560 HAS SOUS 24657 HAS SOUPS 24485 WITH SCORE 24893.907
AT ITER 2081 NEW BEST:: SOT 543428 SOS 408895 HAS SOPS 408548 HAS SOUS 24653 HAS SOUPS 24481 WITH SCORE 24889.895
AT ITER 2115 NEW BEST:: SOT 543432 SOS 408894 HAS SOPS 408544 HAS SOUS 24650 HAS SOUPS 24475 WITH SCORE 24883.894
AT ITER 2126 NEW BEST:: SOT 543432 SOS 408823 HAS SOPS 408473 HAS SOUS 24639 HAS SOUPS 24464 WITH SCORE 24872.823
AT ITER 2139 NEW BEST:: SOT 543418 SOS 408791 HAS SOPS 408431 HAS SOUS 24597 HAS SOUPS 24422 WITH SCORE 24830.791
AT ITER 2158 NEW BEST:: SOT 543473 SOS 408846 HAS SOPS 408486 HAS SOUS 24388 HAS SOUPS 24213 WITH SCORE 24621.846
AT ITER 2160 NEW BEST:: SOT 543464 SOS 408831 HAS SOPS 408471 HAS SOUS 24352 HAS SOUPS 24177 WITH SCORE 24585.831
AT ITER 2182 NEW BEST:: SOT 543405 SOS 410461 HAS SOPS 410011 HAS SOUS 24340 HAS SOUPS 24148 WITH SCORE 24558.461
AT ITER 2188 NEW BEST:: SOT 543405 SOS 410401 HAS SOPS 409951 HAS SOUS 24262 HAS SOUPS 24070 WITH SCORE 24480.401
AT ITER 2189 NEW BEST:: SOT 543335 SOS 410345 HAS SOPS 409895 HAS SOUS 24248 HAS SOUPS 24056 WITH SCORE 24466.345
AT ITER 2206 NEW BEST:: SOT 543331 SOS 410341 HAS SOPS 409891 HAS SOUS 24240 HAS SOUPS 24048 WITH SCORE 24458.341
AT ITER 2235 NEW BEST:: SOT 543317 SOS 410325 HAS SOPS 409861 HAS SOUS 24226 HAS SOUPS 24034 WITH SCORE 24444.325
AT ITER 2258 NEW BEST:: SOT 543292 SOS 410300 HAS SOPS 409836 HAS SOUS 24216 HAS SOUPS 24024 WITH SCORE 24434.3
AT ITER 2316 NEW BEST:: SOT 543345 SOS 410353 HAS SOPS 409889 HAS SOUS 24209 HAS SOUPS 24017 WITH SCORE 24427.353
AT ITER 2335 NEW BEST:: SOT 543333 SOS 410341 HAS SOPS 409877 HAS SOUS 24197 HAS SOUPS 24005 WITH SCORE 24415.341
AT ITER 2343 NEW BEST:: SOT 543327 SOS 410315 HAS SOPS 409851 HAS SOUS 24191 HAS SOUPS 23999 WITH SCORE 24409.315
AT ITER 2346 NEW BEST:: SOT 543407 SOS 410395 HAS SOPS 409915 HAS SOUS 24143 HAS SOUPS 23951 WITH SCORE 24361.395
AT ITER 2348 NEW BEST:: SOT 543400 SOS 410388 HAS SOPS 409931 HAS SOUS 23993 HAS SOUPS 23801 WITH SCORE 24211.388
AT ITER 2350 NEW BEST:: SOT 543380 SOS 410368 HAS SOPS 409911 HAS SOUS 23933 HAS SOUPS 23741 WITH SCORE 24151.368
AT ITER 2382 NEW BEST:: SOT 543362 SOS 410362 HAS SOPS 409890 HAS SOUS 23937 HAS SOUPS 23730 WITH SCORE 24140.362
AT ITER 2405 NEW BEST:: SOT 543347 SOS 410344 HAS SOPS 409872 HAS SOUS 23784 HAS SOUPS 23577 WITH SCORE 23987.344
AT ITER 2413 NEW BEST:: SOT 543351 SOS 410320 HAS SOPS 409848 HAS SOUS 23760 HAS SOUPS 23553 WITH SCORE 23963.32
AT ITER 2422 NEW BEST:: SOT 543291 SOS 410284 HAS SOPS 409812 HAS SOUS 23696 HAS SOUPS 23489 WITH SCORE 23899.284
AT ITER 2426 NEW BEST:: SOT 543290 SOS 410287 HAS SOPS 409815 HAS SOUS 23691 HAS SOUPS 23484 WITH SCORE 23894.287
AT ITER 2428 NEW BEST:: SOT 543284 SOS 410278 HAS SOPS 409806 HAS SOUS 23682 HAS SOUPS 23475 WITH SCORE 23885.278
AT ITER 2431 NEW BEST:: SOT 540152 SOS 407108 HAS SOPS 406636 HAS SOUS 23305 HAS SOUPS 23098 WITH SCORE 23505.108
AT ITER 2440 NEW BEST:: SOT 540143 SOS 407068 HAS SOPS 406596 HAS SOUS 23285 HAS SOUPS 23078 WITH SCORE 23485.068
AT ITER 2454 NEW BEST:: SOT 539926 SOS 406851 HAS SOPS 406379 HAS SOUS 23119 HAS SOUPS 22912 WITH SCORE 23318.851
AT ITER 2507 NEW BEST:: SOT 539926 SOS 406849 HAS SOPS 406377 HAS SOUS 23117 HAS SOUPS 22910 WITH SCORE 23316.849
AT ITER 2521 NEW BEST:: SOT 539916 SOS 408929 HAS SOPS 408457 HAS SOUS 23106 HAS SOUPS 22899 WITH SCORE 23307.929
AT ITER 2530 NEW BEST:: SOT 539891 SOS 408904 HAS SOPS 408432 HAS SOUS 23092 HAS SOUPS 22885 WITH SCORE 23293.904
AT ITER 2534 NEW BEST:: SOT 539891 SOS 408899 HAS SOPS 408427 HAS SOUS 23087 HAS SOUPS 22880 WITH SCORE 23288.899
AT ITER 2548 NEW BEST:: SOT 539882 SOS 408799 HAS SOPS 408327 HAS SOUS 23030 HAS SOUPS 22823 WITH SCORE 23231.799
AT ITER 2556 NEW BEST:: SOT 539868 SOS 408761 HAS SOPS 408289 HAS SOUS 22960 HAS SOUPS 22753 WITH SCORE 23161.761
AT ITER 2583 NEW BEST:: SOT 539741 SOS 408494 HAS SOPS 408022 HAS SOUS 22851 HAS SOUPS 22644 WITH SCORE 23052.494
AT ITER 2588 NEW BEST:: SOT 539744 SOS 408497 HAS SOPS 408025 HAS SOUS 22848 HAS SOUPS 22641 WITH SCORE 23049.497
AT ITER 2610 NEW BEST:: SOT 539728 SOS 408489 HAS SOPS 408013 HAS SOUS 22836 HAS SOUPS 22629 WITH SCORE 23037.489
AT ITER 2662 NEW BEST:: SOT 539710 SOS 408399 HAS SOPS 407923 HAS SOUS 22806 HAS SOUPS 22599 WITH SCORE 23007.399
AT ITER 2723 NEW BEST:: SOT 539695 SOS 408382 HAS SOPS 407906 HAS SOUS 22795 HAS SOUPS 22588 WITH SCORE 22996.382
AT ITER 2748 NEW BEST:: SOT 539687 SOS 408348 HAS SOPS 407872 HAS SOUS 22791 HAS SOUPS 22584 WITH SCORE 22992.348
AT ITER 2822 NEW BEST:: SOT 539679 SOS 408336 HAS SOPS 407860 HAS SOUS 22783 HAS SOUPS 22576 WITH SCORE 22984.336
AT ITER 2830 NEW BEST:: SOT 539677 SOS 408332 HAS SOPS 407856 HAS SOUS 22687 HAS SOUPS 22480 WITH SCORE 22888.332
AT ITER 2835 NEW BEST:: SOT 539677 SOS 408332 HAS SOPS 407856 HAS SOUS 22683 HAS SOUPS 22476 WITH SCORE 22884.332
AT ITER 2881 NEW BEST:: SOT 539674 SOS 408301 HAS SOPS 407825 HAS SOUS 22677 HAS SOUPS 22470 WITH SCORE 22878.301
AT ITER 2882 NEW BEST:: SOT 540134 SOS 408761 HAS SOPS 408285 HAS SOUS 22573 HAS SOUPS 22366 WITH SCORE 22774.761
AT ITER 2943 NEW BEST:: SOT 540134 SOS 408746 HAS SOPS 408270 HAS SOUS 22465 HAS SOUPS 22258 WITH SCORE 22666.746
AT ITER 2964 NEW BEST:: SOT 540133 SOS 408745 HAS SOPS 408269 HAS SOUS 22464 HAS SOUPS 22257 WITH SCORE 22665.745
AT ITER 2997 NEW BEST:: SOT 540132 SOS 408744 HAS SOPS 408268 HAS SOUS 22461 HAS SOUPS 22254 WITH SCORE 22662.744
AT ITER 3019 NEW BEST:: SOT 540122 SOS 408728 HAS SOPS 408252 HAS SOUS 22457 HAS SOUPS 22250 WITH SCORE 22658.728
AT ITER 3034 NEW BEST:: SOT 540126 SOS 408732 HAS SOPS 408256 HAS SOUS 22449 HAS SOUPS 22242 WITH SCORE 22650.732
AT ITER 3044 NEW BEST:: SOT 540117 SOS 408703 HAS SOPS 408227 HAS SOUS 22439 HAS SOUPS 22232 WITH SCORE 22640.703
AT ITER 3059 NEW BEST:: SOT 540117 SOS 408711 HAS SOPS 408237 HAS SOUS 22435 HAS SOUPS 22230 WITH SCORE 22638.711
AT ITER 3064 NEW BEST:: SOT 540112 SOS 408696 HAS SOPS 408222 HAS SOUS 22434 HAS SOUPS 22229 WITH SCORE 22637.696
AT ITER 3124 NEW BEST:: SOT 540112 SOS 408690 HAS SOPS 408216 HAS SOUS 22434 HAS SOUPS 22229 WITH SCORE 22637.69
AT ITER 3147 NEW BEST:: SOT 539743 SOS 408344 HAS SOPS 407870 HAS SOUS 22273 HAS SOUPS 22068 WITH SCORE 22476.344
AT ITER 3155 NEW BEST:: SOT 539725 SOS 408311 HAS SOPS 407837 HAS SOUS 22252 HAS SOUPS 22047 WITH SCORE 22455.311
AT ITER 3171 NEW BEST:: SOT 539705 SOS 408303 HAS SOPS 407825 HAS SOUS 22244 HAS SOUPS 22039 WITH SCORE 22447.303
AT ITER 3173 NEW BEST:: SOT 539840 SOS 408421 HAS SOPS 407943 HAS SOUS 22165 HAS SOUPS 21960 WITH SCORE 22368.421
AT ITER 3203 NEW BEST:: SOT 539791 SOS 408414 HAS SOPS 407936 HAS SOUS 22151 HAS SOUPS 21946 WITH SCORE 22354.414
AT ITER 3233 NEW BEST:: SOT 539790 SOS 408413 HAS SOPS 407934 HAS SOUS 22145 HAS SOUPS 21940 WITH SCORE 22348.413
AT ITER 3234 NEW BEST:: SOT 539782 SOS 408405 HAS SOPS 407928 HAS SOUS 22141 HAS SOUPS 21936 WITH SCORE 22344.405
AT ITER 3239 NEW BEST:: SOT 540634 SOS 409285 HAS SOPS 408808 HAS SOUS 22110 HAS SOUPS 21905 WITH SCORE 22314.285
AT ITER 3251 NEW BEST:: SOT 540673 SOS 409301 HAS SOPS 408824 HAS SOUS 22100 HAS SOUPS 21895 WITH SCORE 22304.301
AT ITER 3266 NEW BEST:: SOT 540668 SOS 409254 HAS SOPS 408777 HAS SOUS 22055 HAS SOUPS 21850 WITH SCORE 22259.254
AT ITER 3293 NEW BEST:: SOT 540879 SOS 409465 HAS SOPS 408988 HAS SOUS 22030 HAS SOUPS 21825 WITH SCORE 22234.465
AT ITER 3311 NEW BEST:: SOT 540871 SOS 409420 HAS SOPS 408953 HAS SOUS 21996 HAS SOUPS 21801 WITH SCORE 22210.42
AT ITER 3338 NEW BEST:: SOT 540859 SOS 409378 HAS SOPS 408911 HAS SOUS 21969 HAS SOUPS 21774 WITH SCORE 22183.378
AT ITER 3346 NEW BEST:: SOT 540849 SOS 409372 HAS SOPS 408905 HAS SOUS 21956 HAS SOUPS 21761 WITH SCORE 22170.372
AT ITER 3376 NEW BEST:: SOT 540825 SOS 409324 HAS SOPS 408857 HAS SOUS 21932 HAS SOUPS 21737 WITH SCORE 22146.324
AT ITER 3393 NEW BEST:: SOT 540779 SOS 409334 HAS SOPS 408849 HAS SOUS 21840 HAS SOUPS 21645 WITH SCORE 22054.334
AT ITER 3426 NEW BEST:: SOT 540775 SOS 409321 HAS SOPS 408839 HAS SOUS 21839 HAS SOUPS 21644 WITH SCORE 22053.321
AT ITER 3506 NEW BEST:: SOT 540839 SOS 409385 HAS SOPS 408903 HAS SOUS 21807 HAS SOUPS 21612 WITH SCORE 22021.385
AT ITER 3507 NEW BEST:: SOT 540804 SOS 409360 HAS SOPS 408878 HAS SOUS 21797 HAS SOUPS 21602 WITH SCORE 22011.36
AT ITER 3543 NEW BEST:: SOT 540800 SOS 409356 HAS SOPS 408872 HAS SOUS 21791 HAS SOUPS 21594 WITH SCORE 22003.356
AT ITER 3558 NEW BEST:: SOT 540788 SOS 409340 HAS SOPS 408859 HAS SOUS 21784 HAS SOUPS 21587 WITH SCORE 21996.34
AT ITER 3588 NEW BEST:: SOT 540785 SOS 409333 HAS SOPS 408852 HAS SOUS 21777 HAS SOUPS 21580 WITH SCORE 21989.333
AT ITER 3599 NEW BEST:: SOT 540782 SOS 409330 HAS SOPS 408849 HAS SOUS 21773 HAS SOUPS 21576 WITH SCORE 21985.33
AT ITER 3600 NEW BEST:: SOT 540774 SOS 409386 HAS SOPS 408887 HAS SOUS 21765 HAS SOUPS 21568 WITH SCORE 21977.386
AT ITER 3605 NEW BEST:: SOT 540743 SOS 409374 HAS SOPS 408875 HAS SOUS 21759 HAS SOUPS 21562 WITH SCORE 21971.374
AT ITER 3610 NEW BEST:: SOT 540740 SOS 409366 HAS SOPS 408865 HAS SOUS 21749 HAS SOUPS 21552 WITH SCORE 21961.366
AT ITER 3631 NEW BEST:: SOT 540731 SOS 409349 HAS SOPS 408848 HAS SOUS 21738 HAS SOUPS 21541 WITH SCORE 21950.349
AT ITER 3702 NEW BEST:: SOT 540728 SOS 409345 HAS SOPS 408844 HAS SOUS 21738 HAS SOUPS 21541 WITH SCORE 21950.345
AT ITER 3784 NEW BEST:: SOT 540743 SOS 409368 HAS SOPS 408867 HAS SOUS 21723 HAS SOUPS 21526 WITH SCORE 21935.368
AT ITER 3821 NEW BEST:: SOT 540742 SOS 409362 HAS SOPS 408861 HAS SOUS 21681 HAS SOUPS 21484 WITH SCORE 21893.362
AT ITER 3829 NEW BEST:: SOT 540734 SOS 409350 HAS SOPS 408849 HAS SOUS 21670 HAS SOUPS 21473 WITH SCORE 21882.35
AT ITER 3852 NEW BEST:: SOT 540734 SOS 409341 HAS SOPS 408847 HAS SOUS 21665 HAS SOUPS 21469 WITH SCORE 21878.341
AT ITER 3867 NEW BEST:: SOT 540727 SOS 409337 HAS SOPS 408843 HAS SOUS 21660 HAS SOUPS 21464 WITH SCORE 21873.337
AT ITER 3877 NEW BEST:: SOT 540724 SOS 409394 HAS SOPS 408900 HAS SOUS 21656 HAS SOUPS 21460 WITH SCORE 21869.394
AT ITER 3887 NEW BEST:: SOT 540723 SOS 409403 HAS SOPS 408903 HAS SOUS 21660 HAS SOUPS 21458 WITH SCORE 21867.403
AT ITER 3889 NEW BEST:: SOT 540688 SOS 409354 HAS SOPS 408861 HAS SOUS 21548 HAS SOUPS 21346 WITH SCORE 21755.354
AT ITER 3898 NEW BEST:: SOT 540696 SOS 409294 HAS SOPS 408801 HAS SOUS 21538 HAS SOUPS 21336 WITH SCORE 21745.294
AT ITER 3899 NEW BEST:: SOT 540699 SOS 409295 HAS SOPS 408803 HAS SOUS 21533 HAS SOUPS 21331 WITH SCORE 21740.295
AT ITER 3973 NEW BEST:: SOT 540670 SOS 409269 HAS SOPS 408770 HAS SOUS 21480 HAS SOUPS 21278 WITH SCORE 21687.269
AT ITER 4059 NEW BEST:: SOT 540652 SOS 409251 HAS SOPS 408752 HAS SOUS 21462 HAS SOUPS 21260 WITH SCORE 21669.251
AT ITER 4077 NEW BEST:: SOT 540700 SOS 409299 HAS SOPS 408800 HAS SOUS 21454 HAS SOUPS 21252 WITH SCORE 21661.299
AT ITER 4103 NEW BEST:: SOT 540305 SOS 408905 HAS SOPS 408406 HAS SOUS 21104 HAS SOUPS 20902 WITH SCORE 21310.905
AT ITER 4146 NEW BEST:: SOT 540299 SOS 408890 HAS SOPS 408391 HAS SOUS 21098 HAS SOUPS 20896 WITH SCORE 21304.89
AT ITER 4163 NEW BEST:: SOT 540302 SOS 408915 HAS SOPS 408416 HAS SOUS 21050 HAS SOUPS 20848 WITH SCORE 21256.915
AT ITER 4201 NEW BEST:: SOT 540302 SOS 408914 HAS SOPS 408415 HAS SOUS 21038 HAS SOUPS 20836 WITH SCORE 21244.914
AT ITER 4252 NEW BEST:: SOT 541824 SOS 410509 HAS SOPS 410010 HAS SOUS 20501 HAS SOUPS 20299 WITH SCORE 20709.509
AT ITER 4256 NEW BEST:: SOT 541822 SOS 410507 HAS SOPS 410008 HAS SOUS 20500 HAS SOUPS 20298 WITH SCORE 20708.507
AT ITER 4281 NEW BEST:: SOT 541811 SOS 410494 HAS SOPS 409992 HAS SOUS 20481 HAS SOUPS 20279 WITH SCORE 20689.494
AT ITER 4296 NEW BEST:: SOT 541858 SOS 410585 HAS SOPS 410061 HAS SOUS 20457 HAS SOUPS 20238 WITH SCORE 20648.585
AT ITER 4319 NEW BEST:: SOT 541857 SOS 410607 HAS SOPS 410077 HAS SOUS 20452 HAS SOUPS 20233 WITH SCORE 20643.607
AT ITER 4348 NEW BEST:: SOT 541854 SOS 410601 HAS SOPS 410071 HAS SOUS 20447 HAS SOUPS 20228 WITH SCORE 20638.601
AT ITER 4380 NEW BEST:: SOT 542190 SOS 410935 HAS SOPS 410406 HAS SOUS 20382 HAS SOUPS 20164 WITH SCORE 20574.935
AT ITER 4453 NEW BEST:: SOT 542188 SOS 410928 HAS SOPS 410400 HAS SOUS 20380 HAS SOUPS 20162 WITH SCORE 20572.928
AT ITER 4470 NEW BEST:: SOT 542191 SOS 410894 HAS SOPS 410376 HAS SOUS 20366 HAS SOUPS 20148 WITH SCORE 20558.894
AT ITER 4477 NEW BEST:: SOT 542040 SOS 410734 HAS SOPS 410216 HAS SOUS 20213 HAS SOUPS 19995 WITH SCORE 20405.734
AT ITER 4486 NEW BEST:: SOT 541470 SOS 410164 HAS SOPS 409646 HAS SOUS 20027 HAS SOUPS 19809 WITH SCORE 20219.164
AT ITER 4516 NEW BEST:: SOT 541468 SOS 410132 HAS SOPS 409614 HAS SOUS 20023 HAS SOUPS 19805 WITH SCORE 20215.132
AT ITER 4537 NEW BEST:: SOT 541464 SOS 410044 HAS SOPS 409526 HAS SOUS 20014 HAS SOUPS 19796 WITH SCORE 20206.044
AT ITER 4543 NEW BEST:: SOT 541480 SOS 410044 HAS SOPS 409526 HAS SOUS 20010 HAS SOUPS 19792 WITH SCORE 20202.044
AT ITER 4566 NEW BEST:: SOT 541533 SOS 410097 HAS SOPS 409568 HAS SOUS 19824 HAS SOUPS 19604 WITH SCORE 20014.097
AT ITER 4582 NEW BEST:: SOT 541535 SOS 410095 HAS SOPS 409572 HAS SOUS 19794 HAS SOUPS 19574 WITH SCORE 19984.095
AT ITER 4722 NEW BEST:: SOT 542001 SOS 410598 HAS SOPS 410070 HAS SOUS 19512 HAS SOUPS 19287 WITH SCORE 19697.598
AT ITER 4723 NEW BEST:: SOT 542123 SOS 410759 HAS SOPS 410198 HAS SOUS 19541 HAS SOUPS 19283 WITH SCORE 19693.759
AT ITER 4748 NEW BEST:: SOT 541890 SOS 410482 HAS SOPS 409960 HAS SOUS 19474 HAS SOUPS 19273 WITH SCORE 19683.482
AT ITER 4749 NEW BEST:: SOT 541887 SOS 410498 HAS SOPS 409976 HAS SOUS 19470 HAS SOUPS 19269 WITH SCORE 19679.498
AT ITER 4758 NEW BEST:: SOT 541317 SOS 409928 HAS SOPS 409406 HAS SOUS 19374 HAS SOUPS 19173 WITH SCORE 19582.928
AT ITER 4775 NEW BEST:: SOT 541316 SOS 409900 HAS SOPS 409378 HAS SOUS 19372 HAS SOUPS 19171 WITH SCORE 19580.9
AT ITER 4793 NEW BEST:: SOT 541309 SOS 409908 HAS SOPS 409386 HAS SOUS 19348 HAS SOUPS 19147 WITH SCORE 19556.908
AT ITER 4820 NEW BEST:: SOT 541312 SOS 409920 HAS SOPS 409398 HAS SOUS 19347 HAS SOUPS 19146 WITH SCORE 19555.92
AT ITER 4823 NEW BEST:: SOT 541313 SOS 409886 HAS SOPS 409364 HAS SOUS 19341 HAS SOUPS 19140 WITH SCORE 19549.886
AT ITER 4827 NEW BEST:: SOT 541368 SOS 409876 HAS SOPS 409354 HAS SOUS 19341 HAS SOUPS 19140 WITH SCORE 19549.876
AT ITER 4868 NEW BEST:: SOT 541368 SOS 409875 HAS SOPS 409353 HAS SOUS 19337 HAS SOUPS 19136 WITH SCORE 19545.875
AT ITER 4875 NEW BEST:: SOT 541364 SOS 409871 HAS SOPS 409345 HAS SOUS 19326 HAS SOUPS 19124 WITH SCORE 19533.871
AT ITER 4905 NEW BEST:: SOT 541368 SOS 407785 HAS SOPS 407259 HAS SOUS 19324 HAS SOUPS 19122 WITH SCORE 19529.785
AT ITER 4966 NEW BEST:: SOT 541368 SOS 407744 HAS SOPS 407218 HAS SOUS 19242 HAS SOUPS 19040 WITH SCORE 19447.744
AT ITER 4967 NEW BEST:: SOT 541292 SOS 407667 HAS SOPS 407146 HAS SOUS 19240 HAS SOUPS 19038 WITH SCORE 19445.667
AT ITER 4971 NEW BEST:: SOT 541290 SOS 407660 HAS SOPS 407140 HAS SOUS 19238 HAS SOUPS 19036 WITH SCORE 19443.66
AT ITER 4998 NEW BEST:: SOT 541456 SOS 407823 HAS SOPS 407304 HAS SOUS 19092 HAS SOUPS 18891 WITH SCORE 19298.823
Bounds file is: CTLFireability.xml
PROPERTY: EnergyBus-PT-none-CTLFireability-00 (! (AF( (EF( ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P61)>=1) & (tk(P78)>=1) & (tk(P98)>=1) & (tk(P106)>=1) & (tk(P114)>=1) & (tk(P147)>=1)))))))))
PROPERTY: EnergyBus-PT-none-CTLFireability-01 (EF( (! (! ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P42)>=1) & (tk(P59)>=1) & (tk(P96)>=1) & (tk(P111)>=1) & (tk(P114)>=1) & (tk(P147)>=1))))))))
PROPERTY: EnergyBus-PT-none-CTLFireability-02 ( (AG( (EF( ( ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P42)>=1) & (tk(P59)>=1) & (tk(P81)>=1) & (tk(P111)>=1) & (tk(P115)>=1) & (tk(P136)>=1)))) | ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P61)>=1) & (tk(P78)>=1) & (tk(P87)>=1) & (tk(P111)>=1) & (tk(P114)>=1) & (tk(P131)>=1)))) ))))) | (! (EU( ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P42)>=1) & (tk(P59)>=1) & (tk(P84)>=1) & (tk(P111)>=1) & (tk(P114)>=1) & (tk(P140)>=1)))) , (! ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P42)>=1) & (tk(P59)>=1) & (tk(P101)>=1) & (tk(P104)>=1) & (tk(P115)>=1) & (tk(P147)>=1))))) ))) )
PROPERTY: EnergyBus-PT-none-CTLFireability-03 (EU( (! (EG( ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P42)>=1) & (tk(P59)>=1) & (tk(P86)>=1) & (tk(P106)>=1) & (tk(P114)>=1) & (tk(P152)>=1))))))) , ( (EG( ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P61)>=1) & (tk(P78)>=1) & (tk(P86)>=1) & (tk(P106)>=1) & (tk(P115)>=1) & (tk(P141)>=1)))))) & (AG( ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P61)>=1) & (tk(P78)>=1) & (tk(P82)>=1) & (tk(P109)>=1) & (tk(P114)>=1) & (tk(P131)>=1)))))) ) ))
PROPERTY: EnergyBus-PT-none-CTLFireability-04 (AG( (! ( ( ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P42)>=1) & (tk(P59)>=1) & (tk(P89)>=1) & (tk(P111)>=1) & (tk(P114)>=1) & (tk(P132)>=1)))) & ( ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P61)>=1) & (tk(P78)>=1) & (tk(P91)>=1) & (tk(P111)>=1) & (tk(P114)>=1) & (tk(P152)>=1)))) | ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P61)>=1) & (tk(P78)>=1) & (tk(P101)>=1) & (tk(P109)>=1) & (tk(P114)>=1) & (tk(P132)>=1)))) ) ) | ( ( ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P61)>=1) & (tk(P78)>=1) & (tk(P89)>=1) & (tk(P111)>=1) & (tk(P114)>=1) & (tk(P152)>=1)))) | ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P61)>=1) & (tk(P78)>=1) & (tk(P93)>=1) & (tk(P106)>=1) & (tk(P114)>=1) & (tk(P137)>=1)))) ) | ((potential((tk(P127)>=1) & (tk(P141)>=1)))) ) ))))
PROPERTY: EnergyBus-PT-none-CTLFireability-05 (EF( (! (! ( ( ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P42)>=1) & (tk(P59)>=1) & (tk(P81)>=1) & (tk(P111)>=1) & (tk(P114)>=1) & (tk(P147)>=1)))) & ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P42)>=1) & (tk(P59)>=1) & (tk(P84)>=1) & (tk(P109)>=1) & (tk(P114)>=1) & (tk(P140)>=1)))) ) & ( ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P61)>=1) & (tk(P78)>=1) & (tk(P86)>=1) & (tk(P104)>=1) & (tk(P114)>=1) & (tk(P131)>=1)))) | ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P42)>=1) & (tk(P59)>=1) & (tk(P81)>=1) & (tk(P104)>=1) & (tk(P115)>=1) & (tk(P132)>=1)))) ) )))))
PROPERTY: EnergyBus-PT-none-CTLFireability-06 (EG( (EU( (! ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P42)>=1) & (tk(P59)>=1) & (tk(P101)>=1) & (tk(P109)>=1) & (tk(P114)>=1) & (tk(P136)>=1))))) , ( ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P61)>=1) & (tk(P78)>=1) & (tk(P101)>=1) & (tk(P109)>=1) & (tk(P114)>=1) & (tk(P131)>=1)))) | ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P42)>=1) & (tk(P59)>=1) & (tk(P84)>=1) & (tk(P106)>=1) & (tk(P115)>=1) & (tk(P147)>=1)))) ) ))))
PROPERTY: EnergyBus-PT-none-CTLFireability-07 (AG( (! ( (EX( ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P42)>=1) & (tk(P59)>=1) & (tk(P86)>=1) & (tk(P106)>=1) & (tk(P114)>=1) & (tk(P152)>=1)))))) & ( (! ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P42)>=1) & (tk(P59)>=1) & (tk(P89)>=1) & (tk(P106)>=1) & (tk(P115)>=1) & (tk(P146)>=1))))) & ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P61)>=1) & (tk(P78)>=1) & (tk(P87)>=1) & (tk(P111)>=1) & (tk(P115)>=1) & (tk(P132)>=1)))) ) ))))
PROPERTY: EnergyBus-PT-none-CTLFireability-08 ( (EF( ( ( ( ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P42)>=1) & (tk(P59)>=1) & (tk(P82)>=1) & (tk(P104)>=1) & (tk(P114)>=1) & (tk(P131)>=1)))) | ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P61)>=1) & (tk(P78)>=1) & (tk(P103)>=1) & (tk(P111)>=1) & (tk(P114)>=1) & (tk(P136)>=1)))) ) | (! ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P61)>=1) & (tk(P78)>=1) & (tk(P81)>=1) & (tk(P104)>=1) & (tk(P115)>=1) & (tk(P146)>=1))))) ) & (! (! ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P61)>=1) & (tk(P78)>=1) & (tk(P82)>=1) & (tk(P109)>=1) & (tk(P115)>=1) & (tk(P131)>=1)))))) ))) | (EF( (! (! ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P42)>=1) & (tk(P59)>=1) & (tk(P93)>=1) & (tk(P109)>=1) & (tk(P115)>=1) & (tk(P140)>=1)))))))) )
PROPERTY: EnergyBus-PT-none-CTLFireability-09 (AF( (AG( ( (! ((potential((tk(P31)>=1) & (tk(P100)>=1))))) & (! ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P61)>=1) & (tk(P78)>=1) & (tk(P96)>=1) & (tk(P109)>=1) & (tk(P115)>=1) & (tk(P140)>=1))))) )))))
PROPERTY: EnergyBus-PT-none-CTLFireability-10 (EU( ( (AG( ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P61)>=1) & (tk(P78)>=1) & (tk(P82)>=1) & (tk(P104)>=1) & (tk(P114)>=1) & (tk(P137)>=1)))))) | ( ( ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P42)>=1) & (tk(P59)>=1) & (tk(P98)>=1) & (tk(P104)>=1) & (tk(P115)>=1) & (tk(P151)>=1)))) | ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P61)>=1) & (tk(P78)>=1) & (tk(P101)>=1) & (tk(P106)>=1) & (tk(P114)>=1) & (tk(P136)>=1)))) ) | ( ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P61)>=1) & (tk(P78)>=1) & (tk(P86)>=1) & (tk(P109)>=1) & (tk(P115)>=1) & (tk(P141)>=1)))) & ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P42)>=1) & (tk(P59)>=1) & (tk(P83)>=1) & (tk(P111)>=1) & (tk(P115)>=1) & (tk(P137)>=1)))) ) ) ) , (! (EF( ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P61)>=1) & (tk(P78)>=1) & (tk(P94)>=1) & (tk(P104)>=1) & (tk(P115)>=1) & (tk(P140)>=1))))))) ))
PROPERTY: EnergyBus-PT-none-CTLFireability-11 (EF( (AF( (AX( ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P42)>=1) & (tk(P59)>=1) & (tk(P91)>=1) & (tk(P111)>=1) & (tk(P115)>=1) & (tk(P140)>=1))))))))))
PROPERTY: EnergyBus-PT-none-CTLFireability-12 (EF( ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P42)>=1) & (tk(P59)>=1) & (tk(P82)>=1) & (tk(P109)>=1) & (tk(P115)>=1) & (tk(P152)>=1))))))
PROPERTY: EnergyBus-PT-none-CTLFireability-13 (EF( ( (AG( ( ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P61)>=1) & (tk(P78)>=1) & (tk(P94)>=1) & (tk(P104)>=1) & (tk(P114)>=1) & (tk(P141)>=1)))) & ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P42)>=1) & (tk(P59)>=1) & (tk(P81)>=1) & (tk(P106)>=1) & (tk(P115)>=1) & (tk(P147)>=1)))) ))) & (! ( ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P61)>=1) & (tk(P78)>=1) & (tk(P86)>=1) & (tk(P109)>=1) & (tk(P114)>=1) & (tk(P140)>=1)))) & (! ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P61)>=1) & (tk(P78)>=1) & (tk(P87)>=1) & (tk(P106)>=1) & (tk(P114)>=1) & (tk(P152)>=1))))) )) )))
PROPERTY: EnergyBus-PT-none-CTLFireability-14 ( (! (AG( (! ( ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P61)>=1) & (tk(P78)>=1) & (tk(P101)>=1) & (tk(P104)>=1) & (tk(P115)>=1) & (tk(P146)>=1)))) | ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P42)>=1) & (tk(P59)>=1) & (tk(P88)>=1) & (tk(P104)>=1) & (tk(P114)>=1) & (tk(P137)>=1)))) ))))) | ( ( ( (AF( ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P61)>=1) & (tk(P78)>=1) & (tk(P82)>=1) & (tk(P104)>=1) & (tk(P114)>=1) & (tk(P141)>=1)))))) & (! ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P61)>=1) & (tk(P78)>=1) & (tk(P86)>=1) & (tk(P109)>=1) & (tk(P115)>=1) & (tk(P131)>=1))))) ) | (! ( ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P42)>=1) & (tk(P59)>=1) & (tk(P96)>=1) & (tk(P106)>=1) & (tk(P115)>=1) & (tk(P147)>=1)))) | ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P42)>=1) & (tk(P59)>=1) & (tk(P94)>=1) & (tk(P109)>=1) & (tk(P114)>=1) & (tk(P152)>=1)))) )) ) & ( ( ( ( ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P42)>=1) & (tk(P59)>=1) & (tk(P98)>=1) & (tk(P106)>=1) & (tk(P115)>=1) & (tk(P151)>=1)))) & ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P61)>=1) & (tk(P78)>=1) & (tk(P103)>=1) & (tk(P111)>=1) & (tk(P115)>=1) & (tk(P146)>=1)))) ) & (! ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P61)>=1) & (tk(P78)>=1) & (tk(P90)>=1) & (tk(P109)>=1) & (tk(P114)>=1) & (tk(P147)>=1))))) ) & (AG( ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P42)>=1) & (tk(P59)>=1) & (tk(P91)>=1) & (tk(P111)>=1) & (tk(P114)>=1) & (tk(P140)>=1)))))) ) & (! ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P61)>=1) & (tk(P78)>=1) & (tk(P81)>=1) & (tk(P104)>=1) & (tk(P115)>=1) & (tk(P132)>=1))))) ) ) )
PROPERTY: EnergyBus-PT-none-CTLFireability-15 ( ( (! ( (EX( ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P61)>=1) & (tk(P78)>=1) & (tk(P87)>=1) & (tk(P106)>=1) & (tk(P114)>=1) & (tk(P137)>=1)))))) & ( ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P42)>=1) & (tk(P59)>=1) & (tk(P90)>=1) & (tk(P104)>=1) & (tk(P114)>=1) & (tk(P147)>=1)))) | ( ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P61)>=1) & (tk(P78)>=1) & (tk(P86)>=1) & (tk(P111)>=1) & (tk(P114)>=1) & (tk(P131)>=1)))) | ((potential((tk(P38)>=1)))) ) ) )) | ( (! ( (! ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P61)>=1) & (tk(P78)>=1) & (tk(P90)>=1) & (tk(P109)>=1) & (tk(P114)>=1) & (tk(P137)>=1))))) & ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P61)>=1) & (tk(P78)>=1) & (tk(P87)>=1) & (tk(P109)>=1) & (tk(P115)>=1) & (tk(P140)>=1)))) )) | ( (AX( ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P42)>=1) & (tk(P59)>=1) & (tk(P103)>=1) & (tk(P106)>=1) & (tk(P115)>=1) & (tk(P146)>=1)))))) | ( ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P61)>=1) & (tk(P78)>=1) & (tk(P96)>=1) & (tk(P111)>=1) & (tk(P114)>=1) & (tk(P132)>=1)))) & (! ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P61)>=1) & (tk(P78)>=1) & (tk(P81)>=1) & (tk(P106)>=1) & (tk(P114)>=1) & (tk(P152)>=1))))) ) ) ) ) & ( (AF( (AG( ((potential((tk(P142)>=1)))))))) | (! ( ( ( ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P61)>=1) & (tk(P78)>=1) & (tk(P96)>=1) & (tk(P109)>=1) & (tk(P114)>=1) & (tk(P137)>=1)))) | ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P61)>=1) & (tk(P78)>=1) & (tk(P101)>=1) & (tk(P106)>=1) & (tk(P115)>=1) & (tk(P137)>=1)))) ) | ( ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P42)>=1) & (tk(P59)>=1) & (tk(P93)>=1) & (tk(P109)>=1) & (tk(P114)>=1) & (tk(P141)>=1)))) | ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P42)>=1) & (tk(P59)>=1) & (tk(P101)>=1) & (tk(P104)>=1) & (tk(P115)>=1) & (tk(P141)>=1)))) ) ) | (EF( ((potential((tk(P17)>=1) & (tk(P20)>=1) & (tk(P61)>=1) & (tk(P78)>=1) & (tk(P87)>=1) & (tk(P106)>=1) & (tk(P114)>=1) & (tk(P151)>=1)))))) )) ) )

BK_STOP 1589369482808

--------------------
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="CTLFireability"
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 CTLFireability"
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-158922808301004"
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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;