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-158922807200220.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 DNAwalker-PT-18lozangeBlock, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922807200220
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.8M
-rw-r--r-- 1 mcc users 3.7K Mar 31 05:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 31 05:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 29 20:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 29 20:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:52 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 8 14:52 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Mar 28 13:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 28 13:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 27 06:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 27 06:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 15 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1.6M 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 DNAwalker-PT-18lozangeBlock-CTLFireability-00
FORMULA_NAME DNAwalker-PT-18lozangeBlock-CTLFireability-01
FORMULA_NAME DNAwalker-PT-18lozangeBlock-CTLFireability-02
FORMULA_NAME DNAwalker-PT-18lozangeBlock-CTLFireability-03
FORMULA_NAME DNAwalker-PT-18lozangeBlock-CTLFireability-04
FORMULA_NAME DNAwalker-PT-18lozangeBlock-CTLFireability-05
FORMULA_NAME DNAwalker-PT-18lozangeBlock-CTLFireability-06
FORMULA_NAME DNAwalker-PT-18lozangeBlock-CTLFireability-07
FORMULA_NAME DNAwalker-PT-18lozangeBlock-CTLFireability-08
FORMULA_NAME DNAwalker-PT-18lozangeBlock-CTLFireability-09
FORMULA_NAME DNAwalker-PT-18lozangeBlock-CTLFireability-10
FORMULA_NAME DNAwalker-PT-18lozangeBlock-CTLFireability-11
FORMULA_NAME DNAwalker-PT-18lozangeBlock-CTLFireability-12
FORMULA_NAME DNAwalker-PT-18lozangeBlock-CTLFireability-13
FORMULA_NAME DNAwalker-PT-18lozangeBlock-CTLFireability-14
FORMULA_NAME DNAwalker-PT-18lozangeBlock-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589357875027

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DNAwalker (PT), instance 18lozangeBlock
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: 164 places, 3697 transitions, 10898 arcs.
AT ITER 0 NEW BEST:: SOT 425598 SOS 135980 HAS SOPS 135979 HAS SOUS 16962 HAS SOUPS 16961 WITH SCORE 17096.98
AT ITER 11 NEW BEST:: SOT 425570 SOS 135843 HAS SOPS 135842 HAS SOUS 16962 HAS SOUPS 16961 WITH SCORE 17096.843
AT ITER 13 NEW BEST:: SOT 426034 SOS 135779 HAS SOPS 135778 HAS SOUS 16962 HAS SOUPS 16961 WITH SCORE 17096.779
AT ITER 20 NEW BEST:: SOT 426120 SOS 135393 HAS SOPS 135392 HAS SOUS 16944 HAS SOUPS 16943 WITH SCORE 17078.393
AT ITER 22 NEW BEST:: SOT 426120 SOS 135159 HAS SOPS 135158 HAS SOUS 16944 HAS SOUPS 16943 WITH SCORE 17078.159
AT ITER 28 NEW BEST:: SOT 426084 SOS 135069 HAS SOPS 135068 HAS SOUS 16926 HAS SOUPS 16925 WITH SCORE 17060.069
AT ITER 31 NEW BEST:: SOT 426283 SOS 135212 HAS SOPS 135211 HAS SOUS 16909 HAS SOUPS 16908 WITH SCORE 17043.212
AT ITER 41 NEW BEST:: SOT 425852 SOS 137051 HAS SOPS 137050 HAS SOUS 16889 HAS SOUPS 16888 WITH SCORE 17025.051
AT ITER 42 NEW BEST:: SOT 426483 SOS 136173 HAS SOPS 136172 HAS SOUS 16798 HAS SOUPS 16797 WITH SCORE 16933.173
AT ITER 48 NEW BEST:: SOT 427093 SOS 136067 HAS SOPS 136066 HAS SOUS 16798 HAS SOUPS 16797 WITH SCORE 16933.067
AT ITER 51 NEW BEST:: SOT 426133 SOS 139439 HAS SOPS 139438 HAS SOUS 16753 HAS SOUPS 16752 WITH SCORE 16891.439
AT ITER 62 NEW BEST:: SOT 429018 SOS 138846 HAS SOPS 138845 HAS SOUS 16753 HAS SOUPS 16752 WITH SCORE 16890.846
AT ITER 65 NEW BEST:: SOT 429000 SOS 138714 HAS SOPS 138713 HAS SOUS 16753 HAS SOUPS 16752 WITH SCORE 16890.714
AT ITER 67 NEW BEST:: SOT 429730 SOS 139310 HAS SOPS 139309 HAS SOUS 16737 HAS SOUPS 16736 WITH SCORE 16875.31
AT ITER 75 NEW BEST:: SOT 429996 SOS 138584 HAS SOPS 138583 HAS SOUS 16737 HAS SOUPS 16736 WITH SCORE 16874.584
AT ITER 86 NEW BEST:: SOT 427607 SOS 137839 HAS SOPS 137838 HAS SOUS 16735 HAS SOUPS 16734 WITH SCORE 16871.839
AT ITER 87 NEW BEST:: SOT 427656 SOS 137076 HAS SOPS 137075 HAS SOUS 16714 HAS SOUPS 16713 WITH SCORE 16850.076
AT ITER 97 NEW BEST:: SOT 429052 SOS 138098 HAS SOPS 138097 HAS SOUS 16698 HAS SOUPS 16697 WITH SCORE 16835.098
AT ITER 100 NEW BEST:: SOT 428849 SOS 137995 HAS SOPS 137994 HAS SOUS 16697 HAS SOUPS 16696 WITH SCORE 16833.995
AT ITER 112 NEW BEST:: SOT 428574 SOS 140385 HAS SOPS 140384 HAS SOUS 16642 HAS SOUPS 16641 WITH SCORE 16781.385
AT ITER 138 NEW BEST:: SOT 427416 SOS 140007 HAS SOPS 140006 HAS SOUS 16634 HAS SOUPS 16633 WITH SCORE 16773.007
AT ITER 146 NEW BEST:: SOT 427501 SOS 139211 HAS SOPS 139210 HAS SOUS 16634 HAS SOUPS 16633 WITH SCORE 16772.211
AT ITER 150 NEW BEST:: SOT 427742 SOS 139166 HAS SOPS 139165 HAS SOUS 16634 HAS SOUPS 16633 WITH SCORE 16772.166
AT ITER 159 NEW BEST:: SOT 427769 SOS 141080 HAS SOPS 141079 HAS SOUS 16630 HAS SOUPS 16629 WITH SCORE 16770.08
AT ITER 162 NEW BEST:: SOT 426289 SOS 140539 HAS SOPS 140538 HAS SOUS 16630 HAS SOUPS 16629 WITH SCORE 16769.539
AT ITER 163 NEW BEST:: SOT 426276 SOS 140513 HAS SOPS 140512 HAS SOUS 16603 HAS SOUPS 16602 WITH SCORE 16742.513
AT ITER 184 NEW BEST:: SOT 425021 SOS 140055 HAS SOPS 140054 HAS SOUS 16561 HAS SOUPS 16560 WITH SCORE 16700.055
AT ITER 219 NEW BEST:: SOT 424269 SOS 139979 HAS SOPS 139978 HAS SOUS 16555 HAS SOUPS 16554 WITH SCORE 16693.979
AT ITER 221 NEW BEST:: SOT 424287 SOS 139919 HAS SOPS 139918 HAS SOUS 16555 HAS SOUPS 16554 WITH SCORE 16693.919
AT ITER 226 NEW BEST:: SOT 422723 SOS 139417 HAS SOPS 139416 HAS SOUS 16555 HAS SOUPS 16554 WITH SCORE 16693.417
AT ITER 233 NEW BEST:: SOT 424454 SOS 140814 HAS SOPS 140813 HAS SOUS 16542 HAS SOUPS 16541 WITH SCORE 16681.814
AT ITER 238 NEW BEST:: SOT 424448 SOS 140592 HAS SOPS 140591 HAS SOUS 16542 HAS SOUPS 16541 WITH SCORE 16681.592
AT ITER 242 NEW BEST:: SOT 424436 SOS 140568 HAS SOPS 140567 HAS SOUS 16517 HAS SOUPS 16516 WITH SCORE 16656.568
AT ITER 253 NEW BEST:: SOT 424724 SOS 140216 HAS SOPS 140215 HAS SOUS 16517 HAS SOUPS 16516 WITH SCORE 16656.216
AT ITER 254 NEW BEST:: SOT 424890 SOS 139620 HAS SOPS 139619 HAS SOUS 16517 HAS SOUPS 16516 WITH SCORE 16655.62
AT ITER 266 NEW BEST:: SOT 423793 SOS 139226 HAS SOPS 139225 HAS SOUS 16497 HAS SOUPS 16496 WITH SCORE 16635.226
AT ITER 272 NEW BEST:: SOT 423455 SOS 140354 HAS SOPS 140353 HAS SOUS 16456 HAS SOUPS 16455 WITH SCORE 16595.354
AT ITER 273 NEW BEST:: SOT 423463 SOS 140346 HAS SOPS 140345 HAS SOUS 16454 HAS SOUPS 16453 WITH SCORE 16593.346
AT ITER 274 NEW BEST:: SOT 423529 SOS 139796 HAS SOPS 139795 HAS SOUS 16432 HAS SOUPS 16431 WITH SCORE 16570.796
AT ITER 282 NEW BEST:: SOT 423567 SOS 139688 HAS SOPS 139687 HAS SOUS 16432 HAS SOUPS 16431 WITH SCORE 16570.688
AT ITER 287 NEW BEST:: SOT 424627 SOS 140704 HAS SOPS 140703 HAS SOUS 16422 HAS SOUPS 16421 WITH SCORE 16561.704
AT ITER 292 NEW BEST:: SOT 424513 SOS 140364 HAS SOPS 140363 HAS SOUS 16422 HAS SOUPS 16421 WITH SCORE 16561.364
AT ITER 297 NEW BEST:: SOT 424436 SOS 140469 HAS SOPS 140468 HAS SOUS 16415 HAS SOUPS 16414 WITH SCORE 16554.469
AT ITER 315 NEW BEST:: SOT 424444 SOS 138085 HAS SOPS 138084 HAS SOUS 16362 HAS SOUPS 16361 WITH SCORE 16499.085
AT ITER 328 NEW BEST:: SOT 423752 SOS 139651 HAS SOPS 139650 HAS SOUS 16312 HAS SOUPS 16311 WITH SCORE 16450.651
AT ITER 330 NEW BEST:: SOT 423739 SOS 139625 HAS SOPS 139624 HAS SOUS 16286 HAS SOUPS 16285 WITH SCORE 16424.625
AT ITER 335 NEW BEST:: SOT 423651 SOS 140100 HAS SOPS 140099 HAS SOUS 16273 HAS SOUPS 16272 WITH SCORE 16412.1
AT ITER 343 NEW BEST:: SOT 423565 SOS 140048 HAS SOPS 140047 HAS SOUS 16273 HAS SOUPS 16272 WITH SCORE 16412.048
AT ITER 344 NEW BEST:: SOT 423025 SOS 139676 HAS SOPS 139675 HAS SOUS 16245 HAS SOUPS 16244 WITH SCORE 16383.676
AT ITER 347 NEW BEST:: SOT 423016 SOS 139658 HAS SOPS 139657 HAS SOUS 16227 HAS SOUPS 16226 WITH SCORE 16365.658
AT ITER 364 NEW BEST:: SOT 425350 SOS 139438 HAS SOPS 139437 HAS SOUS 16227 HAS SOUPS 16226 WITH SCORE 16365.438
AT ITER 395 NEW BEST:: SOT 425318 SOS 139420 HAS SOPS 139419 HAS SOUS 16227 HAS SOUPS 16226 WITH SCORE 16365.42
AT ITER 400 NEW BEST:: SOT 425328 SOS 139296 HAS SOPS 139295 HAS SOUS 16227 HAS SOUPS 16226 WITH SCORE 16365.296
AT ITER 404 NEW BEST:: SOT 425818 SOS 139212 HAS SOPS 139211 HAS SOUS 16227 HAS SOUPS 16226 WITH SCORE 16365.212
AT ITER 411 NEW BEST:: SOT 425946 SOS 139316 HAS SOPS 139315 HAS SOUS 16217 HAS SOUPS 16216 WITH SCORE 16355.316
AT ITER 430 NEW BEST:: SOT 426010 SOS 139276 HAS SOPS 139275 HAS SOUS 16217 HAS SOUPS 16216 WITH SCORE 16355.276
AT ITER 439 NEW BEST:: SOT 425717 SOS 141537 HAS SOPS 141536 HAS SOUS 16149 HAS SOUPS 16148 WITH SCORE 16289.537
AT ITER 449 NEW BEST:: SOT 424580 SOS 141113 HAS SOPS 141112 HAS SOUS 16109 HAS SOUPS 16108 WITH SCORE 16249.113
AT ITER 458 NEW BEST:: SOT 424573 SOS 140952 HAS SOPS 140951 HAS SOUS 16102 HAS SOUPS 16101 WITH SCORE 16241.952
AT ITER 461 NEW BEST:: SOT 426583 SOS 142376 HAS SOPS 142375 HAS SOUS 16096 HAS SOUPS 16095 WITH SCORE 16237.376
AT ITER 462 NEW BEST:: SOT 426963 SOS 142752 HAS SOPS 142751 HAS SOUS 16092 HAS SOUPS 16091 WITH SCORE 16233.752
AT ITER 480 NEW BEST:: SOT 427179 SOS 142638 HAS SOPS 142637 HAS SOUS 16092 HAS SOUPS 16091 WITH SCORE 16233.638
AT ITER 497 NEW BEST:: SOT 427189 SOS 142568 HAS SOPS 142567 HAS SOUS 16092 HAS SOUPS 16091 WITH SCORE 16233.568
AT ITER 510 NEW BEST:: SOT 427185 SOS 142560 HAS SOPS 142559 HAS SOUS 16083 HAS SOUPS 16082 WITH SCORE 16224.56
AT ITER 511 NEW BEST:: SOT 427322 SOS 142372 HAS SOPS 142371 HAS SOUS 16083 HAS SOUPS 16082 WITH SCORE 16224.372
AT ITER 539 NEW BEST:: SOT 427322 SOS 142162 HAS SOPS 142161 HAS SOUS 16083 HAS SOUPS 16082 WITH SCORE 16224.162
AT ITER 541 NEW BEST:: SOT 427253 SOS 142120 HAS SOPS 142119 HAS SOUS 16080 HAS SOUPS 16079 WITH SCORE 16221.12
AT ITER 555 NEW BEST:: SOT 426713 SOS 141040 HAS SOPS 141039 HAS SOUS 16078 HAS SOUPS 16077 WITH SCORE 16218.04
AT ITER 563 NEW BEST:: SOT 427131 SOS 141404 HAS SOPS 141403 HAS SOUS 16072 HAS SOUPS 16071 WITH SCORE 16212.404
AT ITER 575 NEW BEST:: SOT 426882 SOS 141201 HAS SOPS 141200 HAS SOUS 16067 HAS SOUPS 16066 WITH SCORE 16207.201
AT ITER 590 NEW BEST:: SOT 426804 SOS 141147 HAS SOPS 141146 HAS SOUS 16059 HAS SOUPS 16058 WITH SCORE 16199.147
AT ITER 592 NEW BEST:: SOT 427170 SOS 140977 HAS SOPS 140976 HAS SOUS 16059 HAS SOUPS 16058 WITH SCORE 16198.977
AT ITER 612 NEW BEST:: SOT 428018 SOS 138137 HAS SOPS 138136 HAS SOUS 16059 HAS SOUPS 16058 WITH SCORE 16196.137
AT ITER 616 NEW BEST:: SOT 428210 SOS 138305 HAS SOPS 138304 HAS SOUS 16055 HAS SOUPS 16054 WITH SCORE 16192.305
AT ITER 625 NEW BEST:: SOT 428936 SOS 140301 HAS SOPS 140300 HAS SOUS 16035 HAS SOUPS 16034 WITH SCORE 16174.301
AT ITER 626 NEW BEST:: SOT 431020 SOS 140019 HAS SOPS 140018 HAS SOUS 16035 HAS SOUPS 16034 WITH SCORE 16174.019
AT ITER 632 NEW BEST:: SOT 430915 SOS 140088 HAS SOPS 140087 HAS SOUS 16026 HAS SOUPS 16025 WITH SCORE 16165.088
AT ITER 638 NEW BEST:: SOT 430976 SOS 138312 HAS SOPS 138311 HAS SOUS 16011 HAS SOUPS 16010 WITH SCORE 16148.312
AT ITER 648 NEW BEST:: SOT 430917 SOS 138449 HAS SOPS 138448 HAS SOUS 16006 HAS SOUPS 16005 WITH SCORE 16143.449
AT ITER 658 NEW BEST:: SOT 429193 SOS 141461 HAS SOPS 141460 HAS SOUS 15956 HAS SOUPS 15955 WITH SCORE 16096.461
AT ITER 684 NEW BEST:: SOT 429685 SOS 140817 HAS SOPS 140816 HAS SOUS 15956 HAS SOUPS 15955 WITH SCORE 16095.817
AT ITER 693 NEW BEST:: SOT 431661 SOS 139223 HAS SOPS 139222 HAS SOUS 15956 HAS SOUPS 15955 WITH SCORE 16094.223
AT ITER 715 NEW BEST:: SOT 431658 SOS 139056 HAS SOPS 139055 HAS SOUS 15956 HAS SOUPS 15955 WITH SCORE 16094.056
AT ITER 718 NEW BEST:: SOT 431455 SOS 138574 HAS SOPS 138573 HAS SOUS 15930 HAS SOUPS 15929 WITH SCORE 16067.574
AT ITER 720 NEW BEST:: SOT 431507 SOS 138246 HAS SOPS 138245 HAS SOUS 15930 HAS SOUPS 15929 WITH SCORE 16067.246
AT ITER 735 NEW BEST:: SOT 431163 SOS 138068 HAS SOPS 138067 HAS SOUS 15904 HAS SOUPS 15903 WITH SCORE 16041.068
AT ITER 740 NEW BEST:: SOT 431203 SOS 138052 HAS SOPS 138051 HAS SOUS 15904 HAS SOUPS 15903 WITH SCORE 16041.052
AT ITER 748 NEW BEST:: SOT 431137 SOS 138010 HAS SOPS 138009 HAS SOUS 15904 HAS SOUPS 15903 WITH SCORE 16041.01
AT ITER 763 NEW BEST:: SOT 431275 SOS 137584 HAS SOPS 137583 HAS SOUS 15904 HAS SOUPS 15903 WITH SCORE 16040.584
AT ITER 780 NEW BEST:: SOT 431168 SOS 137595 HAS SOPS 137594 HAS SOUS 15899 HAS SOUPS 15898 WITH SCORE 16035.595
AT ITER 783 NEW BEST:: SOT 431058 SOS 138275 HAS SOPS 138274 HAS SOUS 15887 HAS SOUPS 15886 WITH SCORE 16024.275
AT ITER 808 NEW BEST:: SOT 431199 SOS 135628 HAS SOPS 135627 HAS SOUS 15860 HAS SOUPS 15859 WITH SCORE 15994.628
AT ITER 821 NEW BEST:: SOT 429481 SOS 135496 HAS SOPS 135495 HAS SOUS 15860 HAS SOUPS 15859 WITH SCORE 15994.496
AT ITER 838 NEW BEST:: SOT 429169 SOS 135864 HAS SOPS 135863 HAS SOUS 15844 HAS SOUPS 15843 WITH SCORE 15978.864
AT ITER 854 NEW BEST:: SOT 429231 SOS 135864 HAS SOPS 135863 HAS SOUS 15841 HAS SOUPS 15840 WITH SCORE 15975.864
AT ITER 877 NEW BEST:: SOT 429019 SOS 135712 HAS SOPS 135711 HAS SOUS 15818 HAS SOUPS 15817 WITH SCORE 15952.712
AT ITER 885 NEW BEST:: SOT 429018 SOS 135640 HAS SOPS 135639 HAS SOUS 15816 HAS SOUPS 15815 WITH SCORE 15950.64
AT ITER 907 NEW BEST:: SOT 428967 SOS 135148 HAS SOPS 135147 HAS SOUS 15816 HAS SOUPS 15815 WITH SCORE 15950.148
AT ITER 921 NEW BEST:: SOT 428966 SOS 133396 HAS SOPS 133395 HAS SOUS 15813 HAS SOUPS 15812 WITH SCORE 15945.396
AT ITER 924 NEW BEST:: SOT 428784 SOS 132848 HAS SOPS 132847 HAS SOUS 15813 HAS SOUPS 15812 WITH SCORE 15944.848
AT ITER 925 NEW BEST:: SOT 429026 SOS 132452 HAS SOPS 132451 HAS SOUS 15813 HAS SOUPS 15812 WITH SCORE 15944.452
AT ITER 938 NEW BEST:: SOT 429034 SOS 132386 HAS SOPS 132385 HAS SOUS 15813 HAS SOUPS 15812 WITH SCORE 15944.386
AT ITER 946 NEW BEST:: SOT 429146 SOS 132309 HAS SOPS 132308 HAS SOUS 15813 HAS SOUPS 15812 WITH SCORE 15944.309
AT ITER 947 NEW BEST:: SOT 429205 SOS 134947 HAS SOPS 134946 HAS SOUS 15807 HAS SOUPS 15806 WITH SCORE 15940.947
AT ITER 953 NEW BEST:: SOT 429182 SOS 134960 HAS SOPS 134959 HAS SOUS 15806 HAS SOUPS 15805 WITH SCORE 15939.96
AT ITER 965 NEW BEST:: SOT 430114 SOS 134826 HAS SOPS 134825 HAS SOUS 15806 HAS SOUPS 15805 WITH SCORE 15939.826
AT ITER 970 NEW BEST:: SOT 430262 SOS 134674 HAS SOPS 134673 HAS SOUS 15806 HAS SOUPS 15805 WITH SCORE 15939.674
AT ITER 994 NEW BEST:: SOT 430090 SOS 134550 HAS SOPS 134549 HAS SOUS 15806 HAS SOUPS 15805 WITH SCORE 15939.55
AT ITER 1005 NEW BEST:: SOT 432854 SOS 134749 HAS SOPS 134748 HAS SOUS 15797 HAS SOUPS 15796 WITH SCORE 15930.749
AT ITER 1044 NEW BEST:: SOT 432720 SOS 134703 HAS SOPS 134702 HAS SOUS 15797 HAS SOUPS 15796 WITH SCORE 15930.703
AT ITER 1045 NEW BEST:: SOT 432797 SOS 134610 HAS SOPS 134609 HAS SOUS 15797 HAS SOUPS 15796 WITH SCORE 15930.61
AT ITER 1047 NEW BEST:: SOT 432731 SOS 134542 HAS SOPS 134541 HAS SOUS 15797 HAS SOUPS 15796 WITH SCORE 15930.542
AT ITER 1056 NEW BEST:: SOT 430858 SOS 133805 HAS SOPS 133804 HAS SOUS 15777 HAS SOUPS 15776 WITH SCORE 15909.805
AT ITER 1066 NEW BEST:: SOT 430914 SOS 133152 HAS SOPS 133151 HAS SOUS 15777 HAS SOUPS 15776 WITH SCORE 15909.152
AT ITER 1074 NEW BEST:: SOT 430914 SOS 133110 HAS SOPS 133109 HAS SOUS 15777 HAS SOUPS 15776 WITH SCORE 15909.11
AT ITER 1104 NEW BEST:: SOT 430892 SOS 132819 HAS SOPS 132818 HAS SOUS 15777 HAS SOUPS 15776 WITH SCORE 15908.819
AT ITER 1112 NEW BEST:: SOT 430914 SOS 132709 HAS SOPS 132708 HAS SOUS 15777 HAS SOUPS 15776 WITH SCORE 15908.709
AT ITER 1124 NEW BEST:: SOT 430666 SOS 132343 HAS SOPS 132342 HAS SOUS 15775 HAS SOUPS 15774 WITH SCORE 15906.343
AT ITER 1131 NEW BEST:: SOT 432134 SOS 132093 HAS SOPS 132092 HAS SOUS 15775 HAS SOUPS 15774 WITH SCORE 15906.093
AT ITER 1159 NEW BEST:: SOT 432110 SOS 132061 HAS SOPS 132060 HAS SOUS 15765 HAS SOUPS 15764 WITH SCORE 15896.061
AT ITER 1171 NEW BEST:: SOT 433036 SOS 132637 HAS SOPS 132636 HAS SOUS 15743 HAS SOUPS 15742 WITH SCORE 15874.637
AT ITER 1208 NEW BEST:: SOT 433222 SOS 132209 HAS SOPS 132208 HAS SOUS 15743 HAS SOUPS 15742 WITH SCORE 15874.209
AT ITER 1211 NEW BEST:: SOT 433259 SOS 132062 HAS SOPS 132061 HAS SOUS 15743 HAS SOUPS 15742 WITH SCORE 15874.062
AT ITER 1267 NEW BEST:: SOT 433350 SOS 132769 HAS SOPS 132768 HAS SOUS 15710 HAS SOUPS 15709 WITH SCORE 15841.769
AT ITER 1283 NEW BEST:: SOT 435691 SOS 130516 HAS SOPS 130515 HAS SOUS 15710 HAS SOUPS 15709 WITH SCORE 15839.516
AT ITER 1293 NEW BEST:: SOT 436150 SOS 130468 HAS SOPS 130467 HAS SOUS 15710 HAS SOUPS 15709 WITH SCORE 15839.468
AT ITER 1303 NEW BEST:: SOT 436528 SOS 130654 HAS SOPS 130653 HAS SOUS 15704 HAS SOUPS 15703 WITH SCORE 15833.654
AT ITER 1304 NEW BEST:: SOT 436114 SOS 130274 HAS SOPS 130273 HAS SOUS 15704 HAS SOUPS 15703 WITH SCORE 15833.274
AT ITER 1325 NEW BEST:: SOT 436178 SOS 130667 HAS SOPS 130666 HAS SOUS 15684 HAS SOUPS 15683 WITH SCORE 15813.667
AT ITER 1330 NEW BEST:: SOT 436100 SOS 130628 HAS SOPS 130627 HAS SOUS 15684 HAS SOUPS 15683 WITH SCORE 15813.628
AT ITER 1344 NEW BEST:: SOT 436092 SOS 130570 HAS SOPS 130569 HAS SOUS 15684 HAS SOUPS 15683 WITH SCORE 15813.57
AT ITER 1349 NEW BEST:: SOT 436033 SOS 130747 HAS SOPS 130746 HAS SOUS 15679 HAS SOUPS 15678 WITH SCORE 15808.747
AT ITER 1362 NEW BEST:: SOT 436014 SOS 130879 HAS SOPS 130878 HAS SOUS 15674 HAS SOUPS 15673 WITH SCORE 15803.879
AT ITER 1367 NEW BEST:: SOT 435592 SOS 130735 HAS SOPS 130734 HAS SOUS 15674 HAS SOUPS 15673 WITH SCORE 15803.735
AT ITER 1383 NEW BEST:: SOT 435474 SOS 130607 HAS SOPS 130606 HAS SOUS 15668 HAS SOUPS 15667 WITH SCORE 15797.607
AT ITER 1392 NEW BEST:: SOT 435473 SOS 126321 HAS SOPS 126320 HAS SOUS 15665 HAS SOUPS 15664 WITH SCORE 15790.321
AT ITER 1431 NEW BEST:: SOT 435487 SOS 126637 HAS SOPS 126636 HAS SOUS 15657 HAS SOUPS 15656 WITH SCORE 15782.637
AT ITER 1492 NEW BEST:: SOT 435408 SOS 126892 HAS SOPS 126891 HAS SOUS 15650 HAS SOUPS 15649 WITH SCORE 15775.892
AT ITER 1497 NEW BEST:: SOT 435162 SOS 126778 HAS SOPS 126777 HAS SOUS 15650 HAS SOUPS 15649 WITH SCORE 15775.778
AT ITER 1533 NEW BEST:: SOT 435058 SOS 126570 HAS SOPS 126569 HAS SOUS 15650 HAS SOUPS 15649 WITH SCORE 15775.57
AT ITER 1553 NEW BEST:: SOT 435056 SOS 126514 HAS SOPS 126513 HAS SOUS 15650 HAS SOUPS 15649 WITH SCORE 15775.514
AT ITER 1573 NEW BEST:: SOT 435115 SOS 126377 HAS SOPS 126376 HAS SOUS 15650 HAS SOUPS 15649 WITH SCORE 15775.377
AT ITER 1593 NEW BEST:: SOT 435143 SOS 126217 HAS SOPS 126216 HAS SOUS 15650 HAS SOUPS 15649 WITH SCORE 15775.217
AT ITER 1618 NEW BEST:: SOT 435131 SOS 125779 HAS SOPS 125778 HAS SOUS 15650 HAS SOUPS 15649 WITH SCORE 15774.779
AT ITER 1673 NEW BEST:: SOT 435249 SOS 125523 HAS SOPS 125522 HAS SOUS 15650 HAS SOUPS 15649 WITH SCORE 15774.523
AT ITER 1675 NEW BEST:: SOT 435116 SOS 126507 HAS SOPS 126506 HAS SOUS 15647 HAS SOUPS 15646 WITH SCORE 15772.507
AT ITER 1693 NEW BEST:: SOT 435334 SOS 126355 HAS SOPS 126354 HAS SOUS 15641 HAS SOUPS 15640 WITH SCORE 15766.355
AT ITER 1694 NEW BEST:: SOT 435461 SOS 126392 HAS SOPS 126391 HAS SOUS 15634 HAS SOUPS 15633 WITH SCORE 15759.392
AT ITER 1716 NEW BEST:: SOT 435599 SOS 125933 HAS SOPS 125932 HAS SOUS 15634 HAS SOUPS 15633 WITH SCORE 15758.933
AT ITER 1718 NEW BEST:: SOT 435561 SOS 125917 HAS SOPS 125916 HAS SOUS 15634 HAS SOUPS 15633 WITH SCORE 15758.917
AT ITER 1721 NEW BEST:: SOT 435383 SOS 125811 HAS SOPS 125810 HAS SOUS 15624 HAS SOUPS 15623 WITH SCORE 15748.811
AT ITER 1727 NEW BEST:: SOT 433920 SOS 125129 HAS SOPS 125128 HAS SOUS 15617 HAS SOUPS 15616 WITH SCORE 15741.129
AT ITER 1733 NEW BEST:: SOT 434000 SOS 125124 HAS SOPS 125123 HAS SOUS 15617 HAS SOUPS 15616 WITH SCORE 15741.124
AT ITER 1755 NEW BEST:: SOT 434818 SOS 125440 HAS SOPS 125439 HAS SOUS 15611 HAS SOUPS 15610 WITH SCORE 15735.44
AT ITER 1770 NEW BEST:: SOT 435835 SOS 124254 HAS SOPS 124253 HAS SOUS 15611 HAS SOUPS 15610 WITH SCORE 15734.254
AT ITER 1772 NEW BEST:: SOT 435853 SOS 124194 HAS SOPS 124193 HAS SOUS 15611 HAS SOUPS 15610 WITH SCORE 15734.194
AT ITER 1804 NEW BEST:: SOT 436667 SOS 121538 HAS SOPS 121537 HAS SOUS 15611 HAS SOUPS 15610 WITH SCORE 15731.538
AT ITER 1853 NEW BEST:: SOT 436681 SOS 121104 HAS SOPS 121103 HAS SOUS 15611 HAS SOUPS 15610 WITH SCORE 15731.104
AT ITER 1867 NEW BEST:: SOT 436621 SOS 120984 HAS SOPS 120983 HAS SOUS 15611 HAS SOUPS 15610 WITH SCORE 15730.984
AT ITER 1893 NEW BEST:: SOT 436621 SOS 120760 HAS SOPS 120759 HAS SOUS 15611 HAS SOUPS 15610 WITH SCORE 15730.76
AT ITER 1898 NEW BEST:: SOT 436765 SOS 120668 HAS SOPS 120667 HAS SOUS 15611 HAS SOUPS 15610 WITH SCORE 15730.668
AT ITER 1899 NEW BEST:: SOT 436765 SOS 120584 HAS SOPS 120583 HAS SOUS 15611 HAS SOUPS 15610 WITH SCORE 15730.584
AT ITER 1921 NEW BEST:: SOT 436761 SOS 120576 HAS SOPS 120575 HAS SOUS 15603 HAS SOUPS 15602 WITH SCORE 15722.576
AT ITER 1931 NEW BEST:: SOT 436452 SOS 120689 HAS SOPS 120688 HAS SOUS 15586 HAS SOUPS 15585 WITH SCORE 15705.689
AT ITER 1950 NEW BEST:: SOT 436452 SOS 120751 HAS SOPS 120750 HAS SOUS 15584 HAS SOUPS 15583 WITH SCORE 15703.751
AT ITER 1971 NEW BEST:: SOT 436460 SOS 120747 HAS SOPS 120746 HAS SOUS 15584 HAS SOUPS 15583 WITH SCORE 15703.747
AT ITER 1979 NEW BEST:: SOT 436440 SOS 120743 HAS SOPS 120742 HAS SOUS 15584 HAS SOUPS 15583 WITH SCORE 15703.743
AT ITER 2011 NEW BEST:: SOT 436554 SOS 120631 HAS SOPS 120630 HAS SOUS 15584 HAS SOUPS 15583 WITH SCORE 15703.631
AT ITER 2026 NEW BEST:: SOT 436590 SOS 120367 HAS SOPS 120366 HAS SOUS 15584 HAS SOUPS 15583 WITH SCORE 15703.367
AT ITER 2044 NEW BEST:: SOT 436776 SOS 120343 HAS SOPS 120342 HAS SOUS 15584 HAS SOUPS 15583 WITH SCORE 15703.343
AT ITER 2072 NEW BEST:: SOT 436820 SOS 120314 HAS SOPS 120313 HAS SOUS 15584 HAS SOUPS 15583 WITH SCORE 15703.314
AT ITER 2088 NEW BEST:: SOT 437706 SOS 119692 HAS SOPS 119691 HAS SOUS 15584 HAS SOUPS 15583 WITH SCORE 15702.692
AT ITER 2091 NEW BEST:: SOT 437712 SOS 119782 HAS SOPS 119781 HAS SOUS 15582 HAS SOUPS 15581 WITH SCORE 15700.782
AT ITER 2149 NEW BEST:: SOT 437738 SOS 119450 HAS SOPS 119449 HAS SOUS 15582 HAS SOUPS 15581 WITH SCORE 15700.45
AT ITER 2158 NEW BEST:: SOT 440015 SOS 119732 HAS SOPS 119731 HAS SOUS 15579 HAS SOUPS 15578 WITH SCORE 15697.732
AT ITER 2168 NEW BEST:: SOT 439617 SOS 119468 HAS SOPS 119467 HAS SOUS 15515 HAS SOUPS 15514 WITH SCORE 15633.468
AT ITER 2203 NEW BEST:: SOT 439715 SOS 119436 HAS SOPS 119435 HAS SOUS 15515 HAS SOUPS 15514 WITH SCORE 15633.436
AT ITER 2220 NEW BEST:: SOT 439807 SOS 119144 HAS SOPS 119143 HAS SOUS 15515 HAS SOUPS 15514 WITH SCORE 15633.144
AT ITER 2232 NEW BEST:: SOT 439651 SOS 119066 HAS SOPS 119065 HAS SOUS 15515 HAS SOUPS 15514 WITH SCORE 15633.066
AT ITER 2233 NEW BEST:: SOT 439657 SOS 118534 HAS SOPS 118533 HAS SOUS 15515 HAS SOUPS 15514 WITH SCORE 15632.534
AT ITER 2255 NEW BEST:: SOT 439691 SOS 118482 HAS SOPS 118481 HAS SOUS 15515 HAS SOUPS 15514 WITH SCORE 15632.482
AT ITER 2285 NEW BEST:: SOT 439576 SOS 118791 HAS SOPS 118790 HAS SOUS 15504 HAS SOUPS 15503 WITH SCORE 15621.791
AT ITER 2301 NEW BEST:: SOT 439942 SOS 120163 HAS SOPS 120162 HAS SOUS 15491 HAS SOUPS 15490 WITH SCORE 15610.163
AT ITER 2305 NEW BEST:: SOT 439920 SOS 120237 HAS SOPS 120236 HAS SOUS 15489 HAS SOUPS 15488 WITH SCORE 15608.237
AT ITER 2368 NEW BEST:: SOT 439998 SOS 120701 HAS SOPS 120700 HAS SOUS 15483 HAS SOUPS 15482 WITH SCORE 15602.701
AT ITER 2377 NEW BEST:: SOT 439962 SOS 120665 HAS SOPS 120664 HAS SOUS 15483 HAS SOUPS 15482 WITH SCORE 15602.665
AT ITER 2406 NEW BEST:: SOT 439756 SOS 120291 HAS SOPS 120290 HAS SOUS 15483 HAS SOUPS 15482 WITH SCORE 15602.291
AT ITER 2409 NEW BEST:: SOT 439756 SOS 120121 HAS SOPS 120120 HAS SOUS 15483 HAS SOUPS 15482 WITH SCORE 15602.121
AT ITER 2456 NEW BEST:: SOT 439756 SOS 120065 HAS SOPS 120064 HAS SOUS 15483 HAS SOUPS 15482 WITH SCORE 15602.065
AT ITER 2475 NEW BEST:: SOT 441408 SOS 119544 HAS SOPS 119543 HAS SOUS 15483 HAS SOUPS 15482 WITH SCORE 15601.544
AT ITER 2482 NEW BEST:: SOT 441426 SOS 119480 HAS SOPS 119479 HAS SOUS 15473 HAS SOUPS 15472 WITH SCORE 15591.48
AT ITER 2493 NEW BEST:: SOT 441564 SOS 118910 HAS SOPS 118909 HAS SOUS 15473 HAS SOUPS 15472 WITH SCORE 15590.91
AT ITER 2503 NEW BEST:: SOT 440956 SOS 118594 HAS SOPS 118593 HAS SOUS 15442 HAS SOUPS 15441 WITH SCORE 15559.594
AT ITER 2520 NEW BEST:: SOT 441170 SOS 117942 HAS SOPS 117941 HAS SOUS 15442 HAS SOUPS 15441 WITH SCORE 15558.942
AT ITER 2547 NEW BEST:: SOT 441165 SOS 117932 HAS SOPS 117931 HAS SOUS 15432 HAS SOUPS 15431 WITH SCORE 15548.932
AT ITER 2553 NEW BEST:: SOT 440407 SOS 117316 HAS SOPS 117315 HAS SOUS 15377 HAS SOUPS 15376 WITH SCORE 15493.316
AT ITER 2578 NEW BEST:: SOT 440355 SOS 117002 HAS SOPS 117001 HAS SOUS 15377 HAS SOUPS 15376 WITH SCORE 15493.002
AT ITER 2597 NEW BEST:: SOT 441986 SOS 116252 HAS SOPS 116251 HAS SOUS 15377 HAS SOUPS 15376 WITH SCORE 15492.252
AT ITER 2612 NEW BEST:: SOT 442046 SOS 115420 HAS SOPS 115419 HAS SOUS 15377 HAS SOUPS 15376 WITH SCORE 15491.42
AT ITER 2613 NEW BEST:: SOT 441746 SOS 114996 HAS SOPS 114995 HAS SOUS 15363 HAS SOUPS 15362 WITH SCORE 15476.996
AT ITER 2629 NEW BEST:: SOT 441758 SOS 114684 HAS SOPS 114683 HAS SOUS 15363 HAS SOUPS 15362 WITH SCORE 15476.684
AT ITER 2642 NEW BEST:: SOT 441780 SOS 114588 HAS SOPS 114587 HAS SOUS 15363 HAS SOUPS 15362 WITH SCORE 15476.588
AT ITER 2643 NEW BEST:: SOT 441834 SOS 114706 HAS SOPS 114705 HAS SOUS 15361 HAS SOUPS 15360 WITH SCORE 15474.706
AT ITER 2646 NEW BEST:: SOT 441871 SOS 114585 HAS SOPS 114584 HAS SOUS 15361 HAS SOUPS 15360 WITH SCORE 15474.585
AT ITER 2656 NEW BEST:: SOT 442763 SOS 114545 HAS SOPS 114544 HAS SOUS 15361 HAS SOUPS 15360 WITH SCORE 15474.545
AT ITER 2675 NEW BEST:: SOT 443187 SOS 114705 HAS SOPS 114704 HAS SOUS 15359 HAS SOUPS 15358 WITH SCORE 15472.705
AT ITER 2677 NEW BEST:: SOT 443079 SOS 114166 HAS SOPS 114165 HAS SOUS 15359 HAS SOUPS 15358 WITH SCORE 15472.166
AT ITER 2743 NEW BEST:: SOT 442895 SOS 114018 HAS SOPS 114017 HAS SOUS 15351 HAS SOUPS 15350 WITH SCORE 15464.018
AT ITER 2760 NEW BEST:: SOT 440644 SOS 115824 HAS SOPS 115823 HAS SOUS 15344 HAS SOUPS 15343 WITH SCORE 15458.824
AT ITER 2787 NEW BEST:: SOT 440692 SOS 115290 HAS SOPS 115289 HAS SOUS 15344 HAS SOUPS 15343 WITH SCORE 15458.29
AT ITER 2803 NEW BEST:: SOT 440682 SOS 115210 HAS SOPS 115209 HAS SOUS 15344 HAS SOUPS 15343 WITH SCORE 15458.21
AT ITER 2898 NEW BEST:: SOT 440973 SOS 115135 HAS SOPS 115134 HAS SOUS 15344 HAS SOUPS 15343 WITH SCORE 15458.135
AT ITER 2919 NEW BEST:: SOT 441143 SOS 114715 HAS SOPS 114714 HAS SOUS 15344 HAS SOUPS 15343 WITH SCORE 15457.715
AT ITER 2959 NEW BEST:: SOT 441149 SOS 114678 HAS SOPS 114677 HAS SOUS 15344 HAS SOUPS 15343 WITH SCORE 15457.678
AT ITER 2962 NEW BEST:: SOT 439566 SOS 114271 HAS SOPS 114270 HAS SOUS 15344 HAS SOUPS 15343 WITH SCORE 15457.271
AT ITER 2971 NEW BEST:: SOT 439556 SOS 114221 HAS SOPS 114220 HAS SOUS 15344 HAS SOUPS 15343 WITH SCORE 15457.221
AT ITER 2981 NEW BEST:: SOT 439548 SOS 114213 HAS SOPS 114212 HAS SOUS 15342 HAS SOUPS 15341 WITH SCORE 15455.213
AT ITER 2982 NEW BEST:: SOT 439168 SOS 113904 HAS SOPS 113903 HAS SOUS 15327 HAS SOUPS 15326 WITH SCORE 15439.904
AT ITER 2991 NEW BEST:: SOT 439670 SOS 113816 HAS SOPS 113815 HAS SOUS 15327 HAS SOUPS 15326 WITH SCORE 15439.816
AT ITER 3004 NEW BEST:: SOT 439660 SOS 113804 HAS SOPS 113803 HAS SOUS 15327 HAS SOUPS 15326 WITH SCORE 15439.804
AT ITER 3005 NEW BEST:: SOT 439680 SOS 113778 HAS SOPS 113777 HAS SOUS 15327 HAS SOUPS 15326 WITH SCORE 15439.778
AT ITER 3009 NEW BEST:: SOT 439634 SOS 113686 HAS SOPS 113685 HAS SOUS 15327 HAS SOUPS 15326 WITH SCORE 15439.686
AT ITER 3026 NEW BEST:: SOT 439294 SOS 113546 HAS SOPS 113545 HAS SOUS 15327 HAS SOUPS 15326 WITH SCORE 15439.546
AT ITER 3037 NEW BEST:: SOT 439284 SOS 113526 HAS SOPS 113525 HAS SOUS 15306 HAS SOUPS 15305 WITH SCORE 15418.526
AT ITER 3072 NEW BEST:: SOT 439492 SOS 113354 HAS SOPS 113353 HAS SOUS 15306 HAS SOUPS 15305 WITH SCORE 15418.354
AT ITER 3075 NEW BEST:: SOT 439376 SOS 113299 HAS SOPS 113298 HAS SOUS 15305 HAS SOUPS 15304 WITH SCORE 15417.299
AT ITER 3110 NEW BEST:: SOT 439278 SOS 113293 HAS SOPS 113292 HAS SOUS 15305 HAS SOUPS 15304 WITH SCORE 15417.293
AT ITER 3158 NEW BEST:: SOT 439278 SOS 113117 HAS SOPS 113116 HAS SOUS 15305 HAS SOUPS 15304 WITH SCORE 15417.117
AT ITER 3161 NEW BEST:: SOT 439284 SOS 113123 HAS SOPS 113122 HAS SOUS 15303 HAS SOUPS 15302 WITH SCORE 15415.123
AT ITER 3197 NEW BEST:: SOT 439352 SOS 112883 HAS SOPS 112882 HAS SOUS 15303 HAS SOUPS 15302 WITH SCORE 15414.883
AT ITER 3206 NEW BEST:: SOT 439382 SOS 112787 HAS SOPS 112786 HAS SOUS 15283 HAS SOUPS 15282 WITH SCORE 15394.787
AT ITER 3252 NEW BEST:: SOT 439388 SOS 112759 HAS SOPS 112758 HAS SOUS 15283 HAS SOUPS 15282 WITH SCORE 15394.759
AT ITER 3327 NEW BEST:: SOT 439241 SOS 111898 HAS SOPS 111897 HAS SOUS 15283 HAS SOUPS 15282 WITH SCORE 15393.898
AT ITER 3342 NEW BEST:: SOT 439335 SOS 111864 HAS SOPS 111863 HAS SOUS 15281 HAS SOUPS 15280 WITH SCORE 15391.864
AT ITER 3389 NEW BEST:: SOT 439169 SOS 112162 HAS SOPS 112161 HAS SOUS 15275 HAS SOUPS 15274 WITH SCORE 15386.162
AT ITER 3468 NEW BEST:: SOT 439408 SOS 112113 HAS SOPS 112112 HAS SOUS 15275 HAS SOUPS 15274 WITH SCORE 15386.113
AT ITER 3516 NEW BEST:: SOT 439413 SOS 112110 HAS SOPS 112109 HAS SOUS 15275 HAS SOUPS 15274 WITH SCORE 15386.11
AT ITER 3550 NEW BEST:: SOT 439057 SOS 111790 HAS SOPS 111789 HAS SOUS 15241 HAS SOUPS 15240 WITH SCORE 15351.79
AT ITER 3579 NEW BEST:: SOT 440721 SOS 111730 HAS SOPS 111729 HAS SOUS 15241 HAS SOUPS 15240 WITH SCORE 15351.73
AT ITER 3595 NEW BEST:: SOT 440759 SOS 111716 HAS SOPS 111715 HAS SOUS 15241 HAS SOUPS 15240 WITH SCORE 15351.716
AT ITER 3618 NEW BEST:: SOT 440649 SOS 111696 HAS SOPS 111695 HAS SOUS 15241 HAS SOUPS 15240 WITH SCORE 15351.696
AT ITER 3638 NEW BEST:: SOT 440655 SOS 111444 HAS SOPS 111443 HAS SOUS 15241 HAS SOUPS 15240 WITH SCORE 15351.444
AT ITER 3652 NEW BEST:: SOT 440528 SOS 111241 HAS SOPS 111240 HAS SOUS 15241 HAS SOUPS 15240 WITH SCORE 15351.241
AT ITER 3674 NEW BEST:: SOT 440588 SOS 111089 HAS SOPS 111088 HAS SOUS 15241 HAS SOUPS 15240 WITH SCORE 15351.089
AT ITER 3687 NEW BEST:: SOT 440588 SOS 110949 HAS SOPS 110948 HAS SOUS 15241 HAS SOUPS 15240 WITH SCORE 15350.949
AT ITER 3817 NEW BEST:: SOT 440622 SOS 111143 HAS SOPS 111142 HAS SOUS 15234 HAS SOUPS 15233 WITH SCORE 15344.143
AT ITER 3837 NEW BEST:: SOT 440658 SOS 111083 HAS SOPS 111082 HAS SOUS 15223 HAS SOUPS 15222 WITH SCORE 15333.083
AT ITER 3873 NEW BEST:: SOT 440552 SOS 111025 HAS SOPS 111024 HAS SOUS 15223 HAS SOUPS 15222 WITH SCORE 15333.025
AT ITER 3991 NEW BEST:: SOT 440562 SOS 111015 HAS SOPS 111014 HAS SOUS 15223 HAS SOUPS 15222 WITH SCORE 15333.015
AT ITER 4041 NEW BEST:: SOT 440572 SOS 110883 HAS SOPS 110882 HAS SOUS 15223 HAS SOUPS 15222 WITH SCORE 15332.883
AT ITER 4046 NEW BEST:: SOT 440568 SOS 110875 HAS SOPS 110874 HAS SOUS 15223 HAS SOUPS 15222 WITH SCORE 15332.875
AT ITER 4049 NEW BEST:: SOT 440456 SOS 110651 HAS SOPS 110650 HAS SOUS 15223 HAS SOUPS 15222 WITH SCORE 15332.651
AT ITER 4058 NEW BEST:: SOT 440362 SOS 110599 HAS SOPS 110598 HAS SOUS 15223 HAS SOUPS 15222 WITH SCORE 15332.599
AT ITER 4065 NEW BEST:: SOT 440374 SOS 110589 HAS SOPS 110588 HAS SOUS 15223 HAS SOUPS 15222 WITH SCORE 15332.589
AT ITER 4095 NEW BEST:: SOT 440374 SOS 110533 HAS SOPS 110532 HAS SOUS 15223 HAS SOUPS 15222 WITH SCORE 15332.533
AT ITER 4108 NEW BEST:: SOT 440363 SOS 110494 HAS SOPS 110493 HAS SOUS 15221 HAS SOUPS 15220 WITH SCORE 15330.494
AT ITER 4135 NEW BEST:: SOT 440333 SOS 110434 HAS SOPS 110433 HAS SOUS 15221 HAS SOUPS 15220 WITH SCORE 15330.434
AT ITER 4147 NEW BEST:: SOT 440286 SOS 110353 HAS SOPS 110352 HAS SOUS 15221 HAS SOUPS 15220 WITH SCORE 15330.353
AT ITER 4204 NEW BEST:: SOT 440261 SOS 110308 HAS SOPS 110307 HAS SOUS 15211 HAS SOUPS 15210 WITH SCORE 15320.308
AT ITER 4232 NEW BEST:: SOT 440553 SOS 110532 HAS SOPS 110531 HAS SOUS 15187 HAS SOUPS 15186 WITH SCORE 15296.532
AT ITER 4245 NEW BEST:: SOT 440395 SOS 110436 HAS SOPS 110435 HAS SOUS 15187 HAS SOUPS 15186 WITH SCORE 15296.436
AT ITER 4367 NEW BEST:: SOT 440413 SOS 110453 HAS SOPS 110452 HAS SOUS 15186 HAS SOUPS 15185 WITH SCORE 15295.453
AT ITER 4403 NEW BEST:: SOT 440269 SOS 110315 HAS SOPS 110314 HAS SOUS 15156 HAS SOUPS 15155 WITH SCORE 15265.315
AT ITER 4416 NEW BEST:: SOT 440335 SOS 110285 HAS SOPS 110284 HAS SOUS 15147 HAS SOUPS 15146 WITH SCORE 15256.285
AT ITER 4489 NEW BEST:: SOT 440227 SOS 110177 HAS SOPS 110176 HAS SOUS 15095 HAS SOUPS 15094 WITH SCORE 15204.177
AT ITER 4508 NEW BEST:: SOT 440065 SOS 109949 HAS SOPS 109948 HAS SOUS 15091 HAS SOUPS 15090 WITH SCORE 15199.949
AT ITER 4531 NEW BEST:: SOT 439653 SOS 109703 HAS SOPS 109702 HAS SOUS 15081 HAS SOUPS 15080 WITH SCORE 15189.703
AT ITER 4562 NEW BEST:: SOT 439609 SOS 109675 HAS SOPS 109674 HAS SOUS 15081 HAS SOUPS 15080 WITH SCORE 15189.675
AT ITER 4623 NEW BEST:: SOT 439602 SOS 109661 HAS SOPS 109660 HAS SOUS 15067 HAS SOUPS 15066 WITH SCORE 15175.661
AT ITER 4646 NEW BEST:: SOT 439600 SOS 109627 HAS SOPS 109626 HAS SOUS 15067 HAS SOUPS 15066 WITH SCORE 15175.627
AT ITER 4698 NEW BEST:: SOT 439522 SOS 109543 HAS SOPS 109542 HAS SOUS 15067 HAS SOUPS 15066 WITH SCORE 15175.543
AT ITER 4790 NEW BEST:: SOT 439620 SOS 109501 HAS SOPS 109500 HAS SOUS 15067 HAS SOUPS 15066 WITH SCORE 15175.501
AT ITER 4798 NEW BEST:: SOT 439206 SOS 109163 HAS SOPS 109162 HAS SOUS 15039 HAS SOUPS 15038 WITH SCORE 15147.163
AT ITER 4809 NEW BEST:: SOT 439290 SOS 109171 HAS SOPS 109170 HAS SOUS 15031 HAS SOUPS 15030 WITH SCORE 15139.171
AT ITER 4855 NEW BEST:: SOT 439199 SOS 109114 HAS SOPS 109113 HAS SOUS 15031 HAS SOUPS 15030 WITH SCORE 15139.114
AT ITER 4945 NEW BEST:: SOT 439165 SOS 108944 HAS SOPS 108943 HAS SOUS 15031 HAS SOUPS 15030 WITH SCORE 15138.944
AT ITER 4949 NEW BEST:: SOT 439228 SOS 108905 HAS SOPS 108904 HAS SOUS 15031 HAS SOUPS 15030 WITH SCORE 15138.905
AT ITER 4978 NEW BEST:: SOT 439242 SOS 108893 HAS SOPS 108892 HAS SOUS 15031 HAS SOUPS 15030 WITH SCORE 15138.893
Bounds file is: CTLFireability.xml
PROPERTY: DNAwalker-PT-18lozangeBlock-CTLFireability-00 ( (AG( (AU( ((potential((tk(P124)>=2) & (tk(P101)>=1)))) , ((potential((tk(P117)>=1)))) )))) | ( (EX( (EF( ((potential((tk(P157)>=2) & (tk(P122)>=1)))))))) & (AF( ((potential((tk(P90)>=2) & (tk(P163)>=1)))))) ) )
PROPERTY: DNAwalker-PT-18lozangeBlock-CTLFireability-01 (AF( (AU( (! ((potential((tk(P56)>=2) & (tk(P36)>=1))))) , ( ((potential((tk(P2)>=2) & (tk(P14)>=1)))) & ((potential((tk(P111)>=1)))) ) ))))
PROPERTY: DNAwalker-PT-18lozangeBlock-CTLFireability-02 (AF( (EF( (AX( ((potential((tk(P122)>=2) & (tk(P101)>=1))))))))))
PROPERTY: DNAwalker-PT-18lozangeBlock-CTLFireability-03 (AU( ( ( (! ((potential((tk(P110)>=2) & (tk(P52)>=1))))) | ((potential((tk(P150)>=2) & (tk(P152)>=1)))) ) & (! ((potential((tk(P68)>=2) & (tk(P30)>=1))))) ) , (AG( ( ((potential((tk(P42)>=2) & (tk(P24)>=1)))) | ((potential((tk(P4)>=2) & (tk(P42)>=1)))) ))) ))
PROPERTY: DNAwalker-PT-18lozangeBlock-CTLFireability-04 (! (EF( (EU( ((potential((tk(P16)>=2) & (tk(P38)>=1)))) , ((potential((tk(P128)>=2) & (tk(P152)>=1)))) )))))
PROPERTY: DNAwalker-PT-18lozangeBlock-CTLFireability-05 (EU( ( (EF( ((potential((tk(P110)>=2) & (tk(P30)>=1)))))) | (EF( ((potential((tk(P18)>=2) & (tk(P44)>=1)))))) ) , ( ((potential((tk(P126)>=2) & (tk(P146)>=1)))) & ( ((potential((tk(P116)>=2) & (tk(P96)>=1)))) | ( ((potential((tk(P72)>=2) & (tk(P11)>=1)))) | ((potential((tk(P54)>=2) & (tk(P56)>=1)))) ) ) ) ))
PROPERTY: DNAwalker-PT-18lozangeBlock-CTLFireability-06 ( ( (AF( ( ( ((potential((tk(P88)>=2) & (tk(P14)>=1)))) | ((potential((tk(P14)>=2) & (tk(P92)>=1)))) ) & (! ((potential((tk(P76)>=2) & (tk(P92)>=1))))) ))) | (EX( ((potential((tk(P118)>=2) & (tk(P74)>=1)))))) ) | (AG( (! ( ( ((potential((tk(P44)>=2) & (tk(P26)>=1)))) | ((potential((tk(P36)>=2) & (tk(P32)>=1)))) ) | ( ((potential((tk(P8)>=2) & (tk(P60)>=1)))) | ((potential((tk(P74)>=2) & (tk(P98)>=1)))) ) )))) )
PROPERTY: DNAwalker-PT-18lozangeBlock-CTLFireability-07 (AU( (! ( (! ((potential((tk(P88)>=2) & (tk(P90)>=1))))) & ( ((potential((tk(P164)>=2) & (tk(P161)>=1)))) & ((potential((tk(P24)>=2) & (tk(P26)>=1)))) ) )) , ((potential((tk(P34)>=2) & (tk(P47)>=1)))) ))
PROPERTY: DNAwalker-PT-18lozangeBlock-CTLFireability-08 ( (AG( ( (EX( ((potential((tk(P5)>=2) & (tk(P16)>=1)))))) | (EF( ((potential((tk(P76)>=2) & (tk(P98)>=1)))))) ))) & (AX( (! (EG( ((potential((tk(P78)>=2) & (tk(P92)>=1))))))))) )
PROPERTY: DNAwalker-PT-18lozangeBlock-CTLFireability-09 (AF( ((potential((tk(P34)>=2) & (tk(P11)>=1))))))
PROPERTY: DNAwalker-PT-18lozangeBlock-CTLFireability-10 (! ( (! ( (! ( ((potential((tk(P83)>=2) & (tk(P158)>=1)))) | ((potential((tk(P102)>=2) & (tk(P144)>=1)))) )) & (! ((potential((tk(P144)>=2) & (tk(P104)>=1))))) )) | ( (EF( ((potential((tk(P40)>=2) & (tk(P34)>=1)))))) | ((potential((tk(P160)>=2) & (tk(P162)>=1)))) ) ))
PROPERTY: DNAwalker-PT-18lozangeBlock-CTLFireability-11 (! (EF( (! ( (! ((potential((tk(P146)>=2) & (tk(P68)>=1))))) & (! ((potential((tk(P101)>=2) & (tk(P122)>=1))))) )))))
PROPERTY: DNAwalker-PT-18lozangeBlock-CTLFireability-12 (AF( (AG( ((potential((tk(P124)>=2) & (tk(P84)>=1))))))))
PROPERTY: DNAwalker-PT-18lozangeBlock-CTLFireability-13 ( ( (EF( ((potential((tk(P50)>=2) & (tk(P83)>=1)))))) | (! (! (AG( ((potential((tk(P124)>=2) & (tk(P108)>=1)))))))) ) & (! (EG( (EX( ((potential((tk(P52)>=2) & (tk(P66)>=1))))))))) )
PROPERTY: DNAwalker-PT-18lozangeBlock-CTLFireability-14 (EG( (EF( (! ((potential((tk(P90)>=2) & (tk(P52)>=1)))))))))
PROPERTY: DNAwalker-PT-18lozangeBlock-CTLFireability-15 (AG( (AG( ( ( ((potential((tk(P106)>=2) & (tk(P86)>=1)))) | ((potential((tk(P152)>=2) & (tk(P160)>=1)))) ) | (! ((potential((tk(P122)>=2) & (tk(P108)>=1))))) )))))

BK_TIME_CONFINEMENT_REACHED

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

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="DNAwalker-PT-18lozangeBlock"
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 DNAwalker-PT-18lozangeBlock, 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-158922807200220"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DNAwalker-PT-18lozangeBlock.tgz
mv DNAwalker-PT-18lozangeBlock 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 ;