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.r207-tajo-159033469200291.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 ShieldIIPt-PT-005B, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469200291
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 248K
-rw-r--r-- 1 mcc users 3.5K May 14 00:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 14 00:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 18:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 18:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K May 14 10:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 14 10:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 14 10:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.5K May 13 13:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 13 13:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 08:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 08:02 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 83K May 12 20:42 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 ShieldIIPt-PT-005B-CTLCardinality-00
FORMULA_NAME ShieldIIPt-PT-005B-CTLCardinality-01
FORMULA_NAME ShieldIIPt-PT-005B-CTLCardinality-02
FORMULA_NAME ShieldIIPt-PT-005B-CTLCardinality-03
FORMULA_NAME ShieldIIPt-PT-005B-CTLCardinality-04
FORMULA_NAME ShieldIIPt-PT-005B-CTLCardinality-05
FORMULA_NAME ShieldIIPt-PT-005B-CTLCardinality-06
FORMULA_NAME ShieldIIPt-PT-005B-CTLCardinality-07
FORMULA_NAME ShieldIIPt-PT-005B-CTLCardinality-08
FORMULA_NAME ShieldIIPt-PT-005B-CTLCardinality-09
FORMULA_NAME ShieldIIPt-PT-005B-CTLCardinality-10
FORMULA_NAME ShieldIIPt-PT-005B-CTLCardinality-11
FORMULA_NAME ShieldIIPt-PT-005B-CTLCardinality-12
FORMULA_NAME ShieldIIPt-PT-005B-CTLCardinality-13
FORMULA_NAME ShieldIIPt-PT-005B-CTLCardinality-14
FORMULA_NAME ShieldIIPt-PT-005B-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590439224181

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

GOT IT HERE. BS
Petri model created: 353 places, 328 transitions, 816 arcs.
AT ITER 0 NEW BEST:: SOT 64144 SOS 18153 HAS SOPS 18153 HAS SOUS 16578 HAS SOUPS 16578 WITH SCORE 16596.153
AT ITER 3 NEW BEST:: SOT 64144 SOS 18145 HAS SOPS 18145 HAS SOUS 16570 HAS SOUPS 16570 WITH SCORE 16588.145
AT ITER 7 NEW BEST:: SOT 64136 SOS 18125 HAS SOPS 18125 HAS SOUS 16562 HAS SOUPS 16562 WITH SCORE 16580.125
AT ITER 10 NEW BEST:: SOT 64136 SOS 18088 HAS SOPS 18088 HAS SOUS 16525 HAS SOUPS 16525 WITH SCORE 16543.088
AT ITER 28 NEW BEST:: SOT 64136 SOS 18085 HAS SOPS 18085 HAS SOUS 16517 HAS SOUPS 16517 WITH SCORE 16535.085
AT ITER 35 NEW BEST:: SOT 64136 SOS 17991 HAS SOPS 17991 HAS SOUS 16487 HAS SOUPS 16487 WITH SCORE 16504.991
AT ITER 40 NEW BEST:: SOT 64136 SOS 17847 HAS SOPS 17847 HAS SOUS 16415 HAS SOUPS 16415 WITH SCORE 16432.847
AT ITER 44 NEW BEST:: SOT 64031 SOS 17753 HAS SOPS 17753 HAS SOUS 16327 HAS SOUPS 16327 WITH SCORE 16344.753
AT ITER 71 NEW BEST:: SOT 63989 SOS 17725 HAS SOPS 17725 HAS SOUS 16299 HAS SOUPS 16299 WITH SCORE 16316.725
AT ITER 72 NEW BEST:: SOT 63989 SOS 17708 HAS SOPS 17708 HAS SOUS 16299 HAS SOUPS 16299 WITH SCORE 16316.708
AT ITER 91 NEW BEST:: SOT 63981 SOS 17711 HAS SOPS 17711 HAS SOUS 16290 HAS SOUPS 16290 WITH SCORE 16307.711
AT ITER 102 NEW BEST:: SOT 63958 SOS 17718 HAS SOPS 17718 HAS SOUS 16253 HAS SOUPS 16253 WITH SCORE 16270.718
AT ITER 106 NEW BEST:: SOT 63957 SOS 17617 HAS SOPS 17617 HAS SOUS 16243 HAS SOUPS 16243 WITH SCORE 16260.617
AT ITER 119 NEW BEST:: SOT 63957 SOS 17591 HAS SOPS 17591 HAS SOUS 16240 HAS SOUPS 16240 WITH SCORE 16257.591
AT ITER 140 NEW BEST:: SOT 63991 SOS 17659 HAS SOPS 17659 HAS SOUS 16206 HAS SOUPS 16206 WITH SCORE 16223.659
AT ITER 142 NEW BEST:: SOT 63969 SOS 17562 HAS SOPS 17562 HAS SOUS 16109 HAS SOUPS 16109 WITH SCORE 16126.562
AT ITER 153 NEW BEST:: SOT 63969 SOS 17553 HAS SOPS 17553 HAS SOUS 16107 HAS SOUPS 16107 WITH SCORE 16124.553
AT ITER 154 NEW BEST:: SOT 63939 SOS 17426 HAS SOPS 17426 HAS SOUS 15980 HAS SOUPS 15980 WITH SCORE 15997.426
AT ITER 156 NEW BEST:: SOT 63875 SOS 17298 HAS SOPS 17298 HAS SOUS 15852 HAS SOUPS 15852 WITH SCORE 15869.298
AT ITER 157 NEW BEST:: SOT 63875 SOS 17260 HAS SOPS 17260 HAS SOUS 15810 HAS SOUPS 15810 WITH SCORE 15827.26
AT ITER 158 NEW BEST:: SOT 63867 SOS 17186 HAS SOPS 17186 HAS SOUS 15802 HAS SOUPS 15802 WITH SCORE 15819.186
AT ITER 161 NEW BEST:: SOT 63755 SOS 17093 HAS SOPS 17093 HAS SOUS 15641 HAS SOUPS 15641 WITH SCORE 15658.093
AT ITER 171 NEW BEST:: SOT 63770 SOS 17085 HAS SOPS 17085 HAS SOUS 15596 HAS SOUPS 15596 WITH SCORE 15613.085
AT ITER 188 NEW BEST:: SOT 63774 SOS 17088 HAS SOPS 17088 HAS SOUS 15593 HAS SOUPS 15593 WITH SCORE 15610.088
AT ITER 198 NEW BEST:: SOT 63773 SOS 17086 HAS SOPS 17086 HAS SOUS 15592 HAS SOUPS 15592 WITH SCORE 15609.086
AT ITER 210 NEW BEST:: SOT 63773 SOS 17033 HAS SOPS 17033 HAS SOUS 15539 HAS SOUPS 15539 WITH SCORE 15556.033
AT ITER 216 NEW BEST:: SOT 63739 SOS 17000 HAS SOPS 17000 HAS SOUS 15506 HAS SOUPS 15506 WITH SCORE 15523.0
AT ITER 217 NEW BEST:: SOT 63706 SOS 16975 HAS SOPS 16975 HAS SOUS 15481 HAS SOUPS 15481 WITH SCORE 15497.975
AT ITER 229 NEW BEST:: SOT 63688 SOS 16921 HAS SOPS 16921 HAS SOUS 15476 HAS SOUPS 15476 WITH SCORE 15492.921
AT ITER 233 NEW BEST:: SOT 63628 SOS 16859 HAS SOPS 16859 HAS SOUS 15414 HAS SOUPS 15414 WITH SCORE 15430.859
AT ITER 253 NEW BEST:: SOT 63628 SOS 16843 HAS SOPS 16843 HAS SOUS 15414 HAS SOUPS 15414 WITH SCORE 15430.843
AT ITER 254 NEW BEST:: SOT 63628 SOS 16836 HAS SOPS 16836 HAS SOUS 15414 HAS SOUPS 15414 WITH SCORE 15430.836
AT ITER 256 NEW BEST:: SOT 63593 SOS 16801 HAS SOPS 16801 HAS SOUS 15379 HAS SOUPS 15379 WITH SCORE 15395.801
AT ITER 265 NEW BEST:: SOT 63568 SOS 16746 HAS SOPS 16746 HAS SOUS 15329 HAS SOUPS 15329 WITH SCORE 15345.746
AT ITER 272 NEW BEST:: SOT 63580 SOS 16747 HAS SOPS 16747 HAS SOUS 15328 HAS SOUPS 15328 WITH SCORE 15344.747
AT ITER 276 NEW BEST:: SOT 63586 SOS 16857 HAS SOPS 16857 HAS SOUS 15273 HAS SOUPS 15273 WITH SCORE 15289.857
AT ITER 286 NEW BEST:: SOT 63585 SOS 16855 HAS SOPS 16855 HAS SOUS 15271 HAS SOUPS 15271 WITH SCORE 15287.855
AT ITER 297 NEW BEST:: SOT 63544 SOS 16843 HAS SOPS 16843 HAS SOUS 15230 HAS SOUPS 15230 WITH SCORE 15246.843
AT ITER 300 NEW BEST:: SOT 63551 SOS 16843 HAS SOPS 16843 HAS SOUS 15214 HAS SOUPS 15214 WITH SCORE 15230.843
AT ITER 329 NEW BEST:: SOT 63551 SOS 16807 HAS SOPS 16807 HAS SOUS 15212 HAS SOUPS 15212 WITH SCORE 15228.807
AT ITER 330 NEW BEST:: SOT 63532 SOS 16806 HAS SOPS 16806 HAS SOUS 15211 HAS SOUPS 15211 WITH SCORE 15227.806
AT ITER 335 NEW BEST:: SOT 63517 SOS 16737 HAS SOPS 16737 HAS SOUS 15197 HAS SOUPS 15197 WITH SCORE 15213.737
AT ITER 338 NEW BEST:: SOT 63557 SOS 16734 HAS SOPS 16734 HAS SOUS 15163 HAS SOUPS 15163 WITH SCORE 15179.734
AT ITER 347 NEW BEST:: SOT 63589 SOS 16676 HAS SOPS 16676 HAS SOUS 15105 HAS SOUPS 15105 WITH SCORE 15121.676
AT ITER 376 NEW BEST:: SOT 63543 SOS 16584 HAS SOPS 16584 HAS SOUS 15100 HAS SOUPS 15100 WITH SCORE 15116.584
AT ITER 401 NEW BEST:: SOT 63528 SOS 16574 HAS SOPS 16574 HAS SOUS 15090 HAS SOUPS 15090 WITH SCORE 15106.574
AT ITER 408 NEW BEST:: SOT 63524 SOS 16598 HAS SOPS 16598 HAS SOUS 15086 HAS SOUPS 15086 WITH SCORE 15102.598
AT ITER 411 NEW BEST:: SOT 63523 SOS 16540 HAS SOPS 16540 HAS SOUS 15084 HAS SOUPS 15084 WITH SCORE 15100.54
AT ITER 429 NEW BEST:: SOT 63523 SOS 16500 HAS SOPS 16500 HAS SOUS 15044 HAS SOUPS 15044 WITH SCORE 15060.5
AT ITER 435 NEW BEST:: SOT 63515 SOS 16475 HAS SOPS 16475 HAS SOUS 14997 HAS SOUPS 14997 WITH SCORE 15013.475
AT ITER 439 NEW BEST:: SOT 63506 SOS 16448 HAS SOPS 16448 HAS SOUS 14979 HAS SOUPS 14979 WITH SCORE 14995.448
AT ITER 446 NEW BEST:: SOT 63545 SOS 16458 HAS SOPS 16458 HAS SOUS 14952 HAS SOUPS 14952 WITH SCORE 14968.458
AT ITER 449 NEW BEST:: SOT 63545 SOS 16457 HAS SOPS 16457 HAS SOUS 14951 HAS SOUPS 14951 WITH SCORE 14967.457
AT ITER 470 NEW BEST:: SOT 63491 SOS 16295 HAS SOPS 16295 HAS SOUS 14789 HAS SOUPS 14789 WITH SCORE 14805.295
AT ITER 472 NEW BEST:: SOT 63491 SOS 16291 HAS SOPS 16291 HAS SOUS 14785 HAS SOUPS 14785 WITH SCORE 14801.291
AT ITER 481 NEW BEST:: SOT 63491 SOS 16285 HAS SOPS 16285 HAS SOUS 14783 HAS SOUPS 14783 WITH SCORE 14799.285
AT ITER 485 NEW BEST:: SOT 63520 SOS 16252 HAS SOPS 16252 HAS SOUS 14757 HAS SOUPS 14757 WITH SCORE 14773.252
AT ITER 491 NEW BEST:: SOT 63496 SOS 16255 HAS SOPS 16255 HAS SOUS 14731 HAS SOUPS 14731 WITH SCORE 14747.255
AT ITER 492 NEW BEST:: SOT 63488 SOS 16239 HAS SOPS 16239 HAS SOUS 14715 HAS SOUPS 14715 WITH SCORE 14731.239
AT ITER 497 NEW BEST:: SOT 63472 SOS 16207 HAS SOPS 16207 HAS SOUS 14699 HAS SOUPS 14699 WITH SCORE 14715.207
AT ITER 510 NEW BEST:: SOT 63472 SOS 16171 HAS SOPS 16171 HAS SOUS 14698 HAS SOUPS 14698 WITH SCORE 14714.171
AT ITER 516 NEW BEST:: SOT 63472 SOS 16134 HAS SOPS 16134 HAS SOUS 14698 HAS SOUPS 14698 WITH SCORE 14714.134
AT ITER 541 NEW BEST:: SOT 63472 SOS 16150 HAS SOPS 16150 HAS SOUS 14697 HAS SOUPS 14697 WITH SCORE 14713.15
AT ITER 548 NEW BEST:: SOT 63432 SOS 16071 HAS SOPS 16071 HAS SOUS 14618 HAS SOUPS 14618 WITH SCORE 14634.071
AT ITER 555 NEW BEST:: SOT 63432 SOS 16065 HAS SOPS 16065 HAS SOUS 14612 HAS SOUPS 14612 WITH SCORE 14628.065
AT ITER 568 NEW BEST:: SOT 63429 SOS 16059 HAS SOPS 16059 HAS SOUS 14563 HAS SOUPS 14563 WITH SCORE 14579.059
AT ITER 586 NEW BEST:: SOT 63429 SOS 16028 HAS SOPS 16028 HAS SOUS 14562 HAS SOUPS 14562 WITH SCORE 14578.028
AT ITER 595 NEW BEST:: SOT 63434 SOS 16086 HAS SOPS 16086 HAS SOUS 14554 HAS SOUPS 14554 WITH SCORE 14570.086
AT ITER 622 NEW BEST:: SOT 63424 SOS 16101 HAS SOPS 16101 HAS SOUS 14537 HAS SOUPS 14537 WITH SCORE 14553.101
AT ITER 629 NEW BEST:: SOT 63424 SOS 16090 HAS SOPS 16090 HAS SOUS 14526 HAS SOUPS 14526 WITH SCORE 14542.09
AT ITER 630 NEW BEST:: SOT 63424 SOS 16090 HAS SOPS 16090 HAS SOUS 14525 HAS SOUPS 14525 WITH SCORE 14541.09
AT ITER 652 NEW BEST:: SOT 63426 SOS 15986 HAS SOPS 15986 HAS SOUS 14521 HAS SOUPS 14521 WITH SCORE 14536.986
AT ITER 655 NEW BEST:: SOT 63429 SOS 15943 HAS SOPS 15943 HAS SOUS 14478 HAS SOUPS 14478 WITH SCORE 14493.943
AT ITER 659 NEW BEST:: SOT 63411 SOS 15907 HAS SOPS 15907 HAS SOUS 14442 HAS SOUPS 14442 WITH SCORE 14457.907
AT ITER 661 NEW BEST:: SOT 63374 SOS 15891 HAS SOPS 15891 HAS SOUS 14426 HAS SOUPS 14426 WITH SCORE 14441.891
AT ITER 662 NEW BEST:: SOT 63359 SOS 15821 HAS SOPS 15821 HAS SOUS 14356 HAS SOUPS 14356 WITH SCORE 14371.821
AT ITER 672 NEW BEST:: SOT 63358 SOS 15819 HAS SOPS 15819 HAS SOUS 14355 HAS SOUPS 14355 WITH SCORE 14370.819
AT ITER 673 NEW BEST:: SOT 63331 SOS 15764 HAS SOPS 15764 HAS SOUS 14328 HAS SOUPS 14328 WITH SCORE 14343.764
AT ITER 699 NEW BEST:: SOT 63331 SOS 15763 HAS SOPS 15763 HAS SOUS 14327 HAS SOUPS 14327 WITH SCORE 14342.763
AT ITER 705 NEW BEST:: SOT 63330 SOS 15623 HAS SOPS 15623 HAS SOUS 14308 HAS SOUPS 14308 WITH SCORE 14323.623
AT ITER 709 NEW BEST:: SOT 63330 SOS 15630 HAS SOPS 15630 HAS SOUS 14301 HAS SOUPS 14301 WITH SCORE 14316.63
AT ITER 721 NEW BEST:: SOT 63329 SOS 15546 HAS SOPS 15546 HAS SOUS 14258 HAS SOUPS 14258 WITH SCORE 14273.546
AT ITER 738 NEW BEST:: SOT 63315 SOS 15519 HAS SOPS 15519 HAS SOUS 14232 HAS SOUPS 14232 WITH SCORE 14247.519
AT ITER 747 NEW BEST:: SOT 63309 SOS 15501 HAS SOPS 15501 HAS SOUS 14226 HAS SOUPS 14226 WITH SCORE 14241.501
AT ITER 749 NEW BEST:: SOT 63299 SOS 15486 HAS SOPS 15486 HAS SOUS 14201 HAS SOUPS 14201 WITH SCORE 14216.486
AT ITER 757 NEW BEST:: SOT 63287 SOS 15474 HAS SOPS 15474 HAS SOUS 14201 HAS SOUPS 14201 WITH SCORE 14216.474
AT ITER 764 NEW BEST:: SOT 63269 SOS 15404 HAS SOPS 15404 HAS SOUS 14183 HAS SOUPS 14183 WITH SCORE 14198.404
AT ITER 765 NEW BEST:: SOT 63263 SOS 15382 HAS SOPS 15382 HAS SOUS 14169 HAS SOUPS 14169 WITH SCORE 14184.382
AT ITER 780 NEW BEST:: SOT 63252 SOS 15370 HAS SOPS 15370 HAS SOUS 14150 HAS SOUPS 14150 WITH SCORE 14165.37
AT ITER 802 NEW BEST:: SOT 63250 SOS 15384 HAS SOPS 15384 HAS SOUS 14140 HAS SOUPS 14140 WITH SCORE 14155.384
AT ITER 814 NEW BEST:: SOT 63270 SOS 15512 HAS SOPS 15512 HAS SOUS 14133 HAS SOUPS 14133 WITH SCORE 14148.512
AT ITER 829 NEW BEST:: SOT 63266 SOS 15504 HAS SOPS 15504 HAS SOUS 14121 HAS SOUPS 14121 WITH SCORE 14136.504
AT ITER 843 NEW BEST:: SOT 63248 SOS 15462 HAS SOPS 15462 HAS SOUS 14103 HAS SOUPS 14103 WITH SCORE 14118.462
AT ITER 856 NEW BEST:: SOT 63248 SOS 15443 HAS SOPS 15443 HAS SOUS 14084 HAS SOUPS 14084 WITH SCORE 14099.443
AT ITER 873 NEW BEST:: SOT 63212 SOS 15419 HAS SOPS 15419 HAS SOUS 14060 HAS SOUPS 14060 WITH SCORE 14075.419
AT ITER 879 NEW BEST:: SOT 63191 SOS 15392 HAS SOPS 15392 HAS SOUS 14033 HAS SOUPS 14033 WITH SCORE 14048.392
AT ITER 888 NEW BEST:: SOT 63191 SOS 15424 HAS SOPS 15424 HAS SOUS 14029 HAS SOUPS 14029 WITH SCORE 14044.424
AT ITER 898 NEW BEST:: SOT 63187 SOS 15405 HAS SOPS 15405 HAS SOUS 14010 HAS SOUPS 14010 WITH SCORE 14025.405
AT ITER 920 NEW BEST:: SOT 63186 SOS 15382 HAS SOPS 15382 HAS SOUS 13987 HAS SOUPS 13987 WITH SCORE 14002.382
AT ITER 943 NEW BEST:: SOT 63160 SOS 15369 HAS SOPS 15369 HAS SOUS 13974 HAS SOUPS 13974 WITH SCORE 13989.369
AT ITER 948 NEW BEST:: SOT 63160 SOS 15362 HAS SOPS 15362 HAS SOUS 13973 HAS SOUPS 13973 WITH SCORE 13988.362
AT ITER 952 NEW BEST:: SOT 63159 SOS 15339 HAS SOPS 15339 HAS SOUS 13949 HAS SOUPS 13949 WITH SCORE 13964.339
AT ITER 966 NEW BEST:: SOT 63159 SOS 15330 HAS SOPS 15330 HAS SOUS 13949 HAS SOUPS 13949 WITH SCORE 13964.33
AT ITER 968 NEW BEST:: SOT 63159 SOS 15280 HAS SOPS 15280 HAS SOUS 13899 HAS SOUPS 13899 WITH SCORE 13914.28
AT ITER 974 NEW BEST:: SOT 63128 SOS 15218 HAS SOPS 15218 HAS SOUS 13832 HAS SOUPS 13832 WITH SCORE 13847.218
AT ITER 978 NEW BEST:: SOT 63102 SOS 15152 HAS SOPS 15152 HAS SOUS 13826 HAS SOUPS 13826 WITH SCORE 13841.152
AT ITER 988 NEW BEST:: SOT 63101 SOS 15151 HAS SOPS 15151 HAS SOUS 13825 HAS SOUPS 13825 WITH SCORE 13840.151
AT ITER 989 NEW BEST:: SOT 63048 SOS 15028 HAS SOPS 15028 HAS SOUS 13709 HAS SOUPS 13709 WITH SCORE 13724.028
AT ITER 1004 NEW BEST:: SOT 63035 SOS 15002 HAS SOPS 15002 HAS SOUS 13683 HAS SOUPS 13683 WITH SCORE 13698.002
AT ITER 1008 NEW BEST:: SOT 63026 SOS 15016 HAS SOPS 15016 HAS SOUS 13672 HAS SOUPS 13672 WITH SCORE 13687.016
AT ITER 1009 NEW BEST:: SOT 62967 SOS 14986 HAS SOPS 14986 HAS SOUS 13596 HAS SOUPS 13596 WITH SCORE 13610.986
AT ITER 1022 NEW BEST:: SOT 62947 SOS 14905 HAS SOPS 14905 HAS SOUS 13552 HAS SOUPS 13552 WITH SCORE 13566.905
AT ITER 1048 NEW BEST:: SOT 62999 SOS 14879 HAS SOPS 14879 HAS SOUS 13526 HAS SOUPS 13526 WITH SCORE 13540.879
AT ITER 1085 NEW BEST:: SOT 62999 SOS 14841 HAS SOPS 14841 HAS SOUS 13488 HAS SOUPS 13488 WITH SCORE 13502.841
AT ITER 1099 NEW BEST:: SOT 62997 SOS 14837 HAS SOPS 14837 HAS SOUS 13486 HAS SOUPS 13486 WITH SCORE 13500.837
AT ITER 1127 NEW BEST:: SOT 62968 SOS 14859 HAS SOPS 14859 HAS SOUS 13476 HAS SOUPS 13476 WITH SCORE 13490.859
AT ITER 1150 NEW BEST:: SOT 62949 SOS 14840 HAS SOPS 14840 HAS SOUS 13457 HAS SOUPS 13457 WITH SCORE 13471.84
AT ITER 1151 NEW BEST:: SOT 62931 SOS 14828 HAS SOPS 14828 HAS SOUS 13445 HAS SOUPS 13445 WITH SCORE 13459.828
AT ITER 1171 NEW BEST:: SOT 62923 SOS 14814 HAS SOPS 14814 HAS SOUS 13438 HAS SOUPS 13438 WITH SCORE 13452.814
AT ITER 1184 NEW BEST:: SOT 62923 SOS 14808 HAS SOPS 14808 HAS SOUS 13438 HAS SOUPS 13438 WITH SCORE 13452.808
AT ITER 1185 NEW BEST:: SOT 62897 SOS 14722 HAS SOPS 14722 HAS SOUS 13391 HAS SOUPS 13391 WITH SCORE 13405.722
AT ITER 1193 NEW BEST:: SOT 62896 SOS 14736 HAS SOPS 14736 HAS SOUS 13389 HAS SOUPS 13389 WITH SCORE 13403.736
AT ITER 1253 NEW BEST:: SOT 62889 SOS 14722 HAS SOPS 14722 HAS SOUS 13382 HAS SOUPS 13382 WITH SCORE 13396.722
AT ITER 1267 NEW BEST:: SOT 62885 SOS 14662 HAS SOPS 14662 HAS SOUS 13371 HAS SOUPS 13371 WITH SCORE 13385.662
AT ITER 1269 NEW BEST:: SOT 62879 SOS 14650 HAS SOPS 14650 HAS SOUS 13365 HAS SOUPS 13365 WITH SCORE 13379.65
AT ITER 1288 NEW BEST:: SOT 62827 SOS 14604 HAS SOPS 14604 HAS SOUS 13319 HAS SOUPS 13319 WITH SCORE 13333.604
AT ITER 1292 NEW BEST:: SOT 62817 SOS 14598 HAS SOPS 14598 HAS SOUS 13299 HAS SOUPS 13299 WITH SCORE 13313.598
AT ITER 1306 NEW BEST:: SOT 62817 SOS 14598 HAS SOPS 14598 HAS SOUS 13282 HAS SOUPS 13282 WITH SCORE 13296.598
AT ITER 1320 NEW BEST:: SOT 62817 SOS 14598 HAS SOPS 14598 HAS SOUS 13275 HAS SOUPS 13275 WITH SCORE 13289.598
AT ITER 1350 NEW BEST:: SOT 62817 SOS 14594 HAS SOPS 14594 HAS SOUS 13271 HAS SOUPS 13271 WITH SCORE 13285.594
AT ITER 1365 NEW BEST:: SOT 62807 SOS 14563 HAS SOPS 14563 HAS SOUS 13240 HAS SOUPS 13240 WITH SCORE 13254.563
AT ITER 1367 NEW BEST:: SOT 62796 SOS 14552 HAS SOPS 14552 HAS SOUS 13229 HAS SOUPS 13229 WITH SCORE 13243.552
AT ITER 1384 NEW BEST:: SOT 62792 SOS 14495 HAS SOPS 14495 HAS SOUS 13210 HAS SOUPS 13210 WITH SCORE 13224.495
AT ITER 1385 NEW BEST:: SOT 62779 SOS 14482 HAS SOPS 14482 HAS SOUS 13198 HAS SOUPS 13198 WITH SCORE 13212.482
AT ITER 1388 NEW BEST:: SOT 62779 SOS 14464 HAS SOPS 14464 HAS SOUS 13180 HAS SOUPS 13180 WITH SCORE 13194.464
AT ITER 1406 NEW BEST:: SOT 62772 SOS 14450 HAS SOPS 14450 HAS SOUS 13166 HAS SOUPS 13166 WITH SCORE 13180.45
AT ITER 1427 NEW BEST:: SOT 62784 SOS 14345 HAS SOPS 14345 HAS SOUS 13107 HAS SOUPS 13107 WITH SCORE 13121.345
AT ITER 1436 NEW BEST:: SOT 62781 SOS 14347 HAS SOPS 14347 HAS SOUS 13104 HAS SOUPS 13104 WITH SCORE 13118.347
AT ITER 1452 NEW BEST:: SOT 62740 SOS 14265 HAS SOPS 14265 HAS SOUS 13068 HAS SOUPS 13068 WITH SCORE 13082.265
AT ITER 1466 NEW BEST:: SOT 62796 SOS 14246 HAS SOPS 14246 HAS SOUS 13049 HAS SOUPS 13049 WITH SCORE 13063.246
AT ITER 1505 NEW BEST:: SOT 62737 SOS 14017 HAS SOPS 14017 HAS SOUS 12895 HAS SOUPS 12895 WITH SCORE 12909.017
AT ITER 1510 NEW BEST:: SOT 62710 SOS 13955 HAS SOPS 13955 HAS SOUS 12833 HAS SOUPS 12833 WITH SCORE 12846.955
AT ITER 1525 NEW BEST:: SOT 62658 SOS 13893 HAS SOPS 13893 HAS SOUS 12781 HAS SOUPS 12781 WITH SCORE 12794.893
AT ITER 1538 NEW BEST:: SOT 62655 SOS 13887 HAS SOPS 13887 HAS SOUS 12775 HAS SOUPS 12775 WITH SCORE 12788.887
AT ITER 1553 NEW BEST:: SOT 62655 SOS 13886 HAS SOPS 13886 HAS SOUS 12774 HAS SOUPS 12774 WITH SCORE 12787.886
AT ITER 1556 NEW BEST:: SOT 62635 SOS 13885 HAS SOPS 13885 HAS SOUS 12773 HAS SOUPS 12773 WITH SCORE 12786.885
AT ITER 1567 NEW BEST:: SOT 62609 SOS 13822 HAS SOPS 13822 HAS SOUS 12710 HAS SOUPS 12710 WITH SCORE 12723.822
AT ITER 1585 NEW BEST:: SOT 62585 SOS 13775 HAS SOPS 13775 HAS SOUS 12663 HAS SOUPS 12663 WITH SCORE 12676.775
AT ITER 1598 NEW BEST:: SOT 62588 SOS 13778 HAS SOPS 13778 HAS SOUS 12649 HAS SOUPS 12649 WITH SCORE 12662.778
AT ITER 1603 NEW BEST:: SOT 62584 SOS 13762 HAS SOPS 13762 HAS SOUS 12637 HAS SOUPS 12637 WITH SCORE 12650.762
AT ITER 1633 NEW BEST:: SOT 62586 SOS 13786 HAS SOPS 13786 HAS SOUS 12627 HAS SOUPS 12627 WITH SCORE 12640.786
AT ITER 1655 NEW BEST:: SOT 62580 SOS 13711 HAS SOPS 13711 HAS SOUS 12575 HAS SOUPS 12575 WITH SCORE 12588.711
AT ITER 1666 NEW BEST:: SOT 62580 SOS 13711 HAS SOPS 13711 HAS SOUS 12571 HAS SOUPS 12571 WITH SCORE 12584.711
AT ITER 1673 NEW BEST:: SOT 62580 SOS 13702 HAS SOPS 13702 HAS SOUS 12562 HAS SOUPS 12562 WITH SCORE 12575.702
AT ITER 1684 NEW BEST:: SOT 62470 SOS 13709 HAS SOPS 13709 HAS SOUS 12545 HAS SOUPS 12545 WITH SCORE 12558.709
AT ITER 1704 NEW BEST:: SOT 62470 SOS 13705 HAS SOPS 13705 HAS SOUS 12541 HAS SOUPS 12541 WITH SCORE 12554.705
AT ITER 1747 NEW BEST:: SOT 62466 SOS 13694 HAS SOPS 13694 HAS SOUS 12530 HAS SOUPS 12530 WITH SCORE 12543.694
AT ITER 1755 NEW BEST:: SOT 62477 SOS 13664 HAS SOPS 13664 HAS SOUS 12500 HAS SOUPS 12500 WITH SCORE 12513.664
AT ITER 1786 NEW BEST:: SOT 62433 SOS 13541 HAS SOPS 13541 HAS SOUS 12406 HAS SOUPS 12406 WITH SCORE 12419.541
AT ITER 1788 NEW BEST:: SOT 62418 SOS 13538 HAS SOPS 13538 HAS SOUS 12403 HAS SOUPS 12403 WITH SCORE 12416.538
AT ITER 1798 NEW BEST:: SOT 62418 SOS 13506 HAS SOPS 13506 HAS SOUS 12371 HAS SOUPS 12371 WITH SCORE 12384.506
AT ITER 1879 NEW BEST:: SOT 62410 SOS 13527 HAS SOPS 13527 HAS SOUS 12370 HAS SOUPS 12370 WITH SCORE 12383.527
AT ITER 1888 NEW BEST:: SOT 62400 SOS 13507 HAS SOPS 13507 HAS SOUS 12359 HAS SOUPS 12359 WITH SCORE 12372.507
AT ITER 1904 NEW BEST:: SOT 62408 SOS 13503 HAS SOPS 13503 HAS SOUS 12355 HAS SOUPS 12355 WITH SCORE 12368.503
AT ITER 1910 NEW BEST:: SOT 62408 SOS 13501 HAS SOPS 13501 HAS SOUS 12355 HAS SOUPS 12355 WITH SCORE 12368.501
AT ITER 1933 NEW BEST:: SOT 62442 SOS 13563 HAS SOPS 13563 HAS SOUS 12344 HAS SOUPS 12344 WITH SCORE 12357.563
AT ITER 1941 NEW BEST:: SOT 62438 SOS 13564 HAS SOPS 13564 HAS SOUS 12340 HAS SOUPS 12340 WITH SCORE 12353.564
AT ITER 1948 NEW BEST:: SOT 62443 SOS 13501 HAS SOPS 13501 HAS SOUS 12320 HAS SOUPS 12320 WITH SCORE 12333.501
AT ITER 1964 NEW BEST:: SOT 62443 SOS 13500 HAS SOPS 13500 HAS SOUS 12320 HAS SOUPS 12320 WITH SCORE 12333.5
AT ITER 1965 NEW BEST:: SOT 62438 SOS 13454 HAS SOPS 13454 HAS SOUS 12303 HAS SOUPS 12303 WITH SCORE 12316.454
AT ITER 1993 NEW BEST:: SOT 62440 SOS 13444 HAS SOPS 13444 HAS SOUS 12298 HAS SOUPS 12298 WITH SCORE 12311.444
AT ITER 2015 NEW BEST:: SOT 62440 SOS 13443 HAS SOPS 13443 HAS SOUS 12297 HAS SOUPS 12297 WITH SCORE 12310.443
AT ITER 2058 NEW BEST:: SOT 62440 SOS 13388 HAS SOPS 13388 HAS SOUS 12296 HAS SOUPS 12296 WITH SCORE 12309.388
AT ITER 2093 NEW BEST:: SOT 62440 SOS 13375 HAS SOPS 13375 HAS SOUS 12296 HAS SOUPS 12296 WITH SCORE 12309.375
AT ITER 2104 NEW BEST:: SOT 62435 SOS 13365 HAS SOPS 13365 HAS SOUS 12286 HAS SOUPS 12286 WITH SCORE 12299.365
AT ITER 2139 NEW BEST:: SOT 62434 SOS 13363 HAS SOPS 13363 HAS SOUS 12284 HAS SOUPS 12284 WITH SCORE 12297.363
AT ITER 2143 NEW BEST:: SOT 62465 SOS 13332 HAS SOPS 13332 HAS SOUS 12284 HAS SOUPS 12284 WITH SCORE 12297.332
AT ITER 2146 NEW BEST:: SOT 62484 SOS 13372 HAS SOPS 13372 HAS SOUS 12282 HAS SOUPS 12282 WITH SCORE 12295.372
AT ITER 2169 NEW BEST:: SOT 62477 SOS 13358 HAS SOPS 13358 HAS SOUS 12268 HAS SOUPS 12268 WITH SCORE 12281.358
AT ITER 2221 NEW BEST:: SOT 62477 SOS 13355 HAS SOPS 13355 HAS SOUS 12265 HAS SOUPS 12265 WITH SCORE 12278.355
AT ITER 2269 NEW BEST:: SOT 62480 SOS 13324 HAS SOPS 13324 HAS SOUS 12260 HAS SOUPS 12260 WITH SCORE 12273.324
AT ITER 2286 NEW BEST:: SOT 62477 SOS 13321 HAS SOPS 13321 HAS SOUS 12256 HAS SOUPS 12256 WITH SCORE 12269.321
AT ITER 2321 NEW BEST:: SOT 62472 SOS 13314 HAS SOPS 13314 HAS SOUS 12249 HAS SOUPS 12249 WITH SCORE 12262.314
AT ITER 2323 NEW BEST:: SOT 62471 SOS 13315 HAS SOPS 13315 HAS SOUS 12248 HAS SOUPS 12248 WITH SCORE 12261.315
AT ITER 2395 NEW BEST:: SOT 62483 SOS 13267 HAS SOPS 13267 HAS SOUS 12236 HAS SOUPS 12236 WITH SCORE 12249.267
AT ITER 2398 NEW BEST:: SOT 62501 SOS 13222 HAS SOPS 13222 HAS SOUS 12191 HAS SOUPS 12191 WITH SCORE 12204.222
AT ITER 2411 NEW BEST:: SOT 62510 SOS 13202 HAS SOPS 13202 HAS SOUS 12171 HAS SOUPS 12171 WITH SCORE 12184.202
AT ITER 2471 NEW BEST:: SOT 62510 SOS 13190 HAS SOPS 13190 HAS SOUS 12171 HAS SOUPS 12171 WITH SCORE 12184.19
AT ITER 2476 NEW BEST:: SOT 62527 SOS 13188 HAS SOPS 13188 HAS SOUS 12170 HAS SOUPS 12170 WITH SCORE 12183.188
AT ITER 2497 NEW BEST:: SOT 62516 SOS 13174 HAS SOPS 13174 HAS SOUS 12156 HAS SOUPS 12156 WITH SCORE 12169.174
AT ITER 2523 NEW BEST:: SOT 62509 SOS 13160 HAS SOPS 13160 HAS SOUS 12142 HAS SOUPS 12142 WITH SCORE 12155.16
AT ITER 2553 NEW BEST:: SOT 62516 SOS 13124 HAS SOPS 13124 HAS SOUS 12134 HAS SOUPS 12134 WITH SCORE 12147.124
AT ITER 2568 NEW BEST:: SOT 62507 SOS 13107 HAS SOPS 13107 HAS SOUS 12117 HAS SOUPS 12117 WITH SCORE 12130.107
AT ITER 2571 NEW BEST:: SOT 62489 SOS 13096 HAS SOPS 13096 HAS SOUS 12097 HAS SOUPS 12097 WITH SCORE 12110.096
AT ITER 2580 NEW BEST:: SOT 62489 SOS 13096 HAS SOPS 13096 HAS SOUS 12093 HAS SOUPS 12093 WITH SCORE 12106.096
AT ITER 2584 NEW BEST:: SOT 62484 SOS 13047 HAS SOPS 13047 HAS SOUS 12044 HAS SOUPS 12044 WITH SCORE 12057.047
AT ITER 2603 NEW BEST:: SOT 62484 SOS 13043 HAS SOPS 13043 HAS SOUS 12040 HAS SOUPS 12040 WITH SCORE 12053.043
AT ITER 2627 NEW BEST:: SOT 62481 SOS 13030 HAS SOPS 13030 HAS SOUS 12034 HAS SOUPS 12034 WITH SCORE 12047.03
AT ITER 2667 NEW BEST:: SOT 62474 SOS 13016 HAS SOPS 13016 HAS SOUS 12020 HAS SOUPS 12020 WITH SCORE 12033.016
AT ITER 2704 NEW BEST:: SOT 62468 SOS 13006 HAS SOPS 13006 HAS SOUS 12010 HAS SOUPS 12010 WITH SCORE 12023.006
AT ITER 2711 NEW BEST:: SOT 62459 SOS 12998 HAS SOPS 12998 HAS SOUS 12001 HAS SOUPS 12001 WITH SCORE 12013.998
AT ITER 2752 NEW BEST:: SOT 62451 SOS 12988 HAS SOPS 12988 HAS SOUS 11991 HAS SOUPS 11991 WITH SCORE 12003.988
AT ITER 2760 NEW BEST:: SOT 62451 SOS 12982 HAS SOPS 12982 HAS SOUS 11990 HAS SOUPS 11990 WITH SCORE 12002.982
AT ITER 2768 NEW BEST:: SOT 62432 SOS 13000 HAS SOPS 13000 HAS SOUS 11989 HAS SOUPS 11989 WITH SCORE 12002.0
AT ITER 2776 NEW BEST:: SOT 62428 SOS 12992 HAS SOPS 12992 HAS SOUS 11969 HAS SOUPS 11969 WITH SCORE 11981.992
AT ITER 2805 NEW BEST:: SOT 62419 SOS 12960 HAS SOPS 12960 HAS SOUS 11951 HAS SOUPS 11951 WITH SCORE 11963.96
AT ITER 2860 NEW BEST:: SOT 62401 SOS 12908 HAS SOPS 12908 HAS SOUS 11941 HAS SOUPS 11941 WITH SCORE 11953.908
AT ITER 2872 NEW BEST:: SOT 62433 SOS 12892 HAS SOPS 12892 HAS SOUS 11925 HAS SOUPS 11925 WITH SCORE 11937.892
AT ITER 2879 NEW BEST:: SOT 62429 SOS 12888 HAS SOPS 12888 HAS SOUS 11921 HAS SOUPS 11921 WITH SCORE 11933.888
AT ITER 2889 NEW BEST:: SOT 62428 SOS 12886 HAS SOPS 12886 HAS SOUS 11919 HAS SOUPS 11919 WITH SCORE 11931.886
AT ITER 2932 NEW BEST:: SOT 62423 SOS 12881 HAS SOPS 12881 HAS SOUS 11907 HAS SOUPS 11907 WITH SCORE 11919.881
AT ITER 2960 NEW BEST:: SOT 62423 SOS 12881 HAS SOPS 12881 HAS SOUS 11903 HAS SOUPS 11903 WITH SCORE 11915.881
AT ITER 2968 NEW BEST:: SOT 62407 SOS 12865 HAS SOPS 12865 HAS SOUS 11887 HAS SOUPS 11887 WITH SCORE 11899.865
AT ITER 2992 NEW BEST:: SOT 62401 SOS 12859 HAS SOPS 12859 HAS SOUS 11881 HAS SOUPS 11881 WITH SCORE 11893.859
AT ITER 2997 NEW BEST:: SOT 62383 SOS 12824 HAS SOPS 12824 HAS SOUS 11846 HAS SOUPS 11846 WITH SCORE 11858.824
AT ITER 3014 NEW BEST:: SOT 62389 SOS 12812 HAS SOPS 12812 HAS SOUS 11840 HAS SOUPS 11840 WITH SCORE 11852.812
AT ITER 3065 NEW BEST:: SOT 62350 SOS 12734 HAS SOPS 12734 HAS SOUS 11819 HAS SOUPS 11819 WITH SCORE 11831.734
AT ITER 3090 NEW BEST:: SOT 62342 SOS 12718 HAS SOPS 12718 HAS SOUS 11799 HAS SOUPS 11799 WITH SCORE 11811.718
AT ITER 3128 NEW BEST:: SOT 62331 SOS 12679 HAS SOPS 12679 HAS SOUS 11772 HAS SOUPS 11772 WITH SCORE 11784.679
AT ITER 3163 NEW BEST:: SOT 62310 SOS 12622 HAS SOPS 12622 HAS SOUS 11732 HAS SOUPS 11732 WITH SCORE 11744.622
AT ITER 3196 NEW BEST:: SOT 62297 SOS 12596 HAS SOPS 12596 HAS SOUS 11704 HAS SOUPS 11704 WITH SCORE 11716.596
AT ITER 3205 NEW BEST:: SOT 62296 SOS 12593 HAS SOPS 12593 HAS SOUS 11701 HAS SOUPS 11701 WITH SCORE 11713.593
AT ITER 3217 NEW BEST:: SOT 62304 SOS 12581 HAS SOPS 12581 HAS SOUS 11689 HAS SOUPS 11689 WITH SCORE 11701.581
AT ITER 3261 NEW BEST:: SOT 62300 SOS 12577 HAS SOPS 12577 HAS SOUS 11685 HAS SOUPS 11685 WITH SCORE 11697.577
AT ITER 3267 NEW BEST:: SOT 62298 SOS 12571 HAS SOPS 12571 HAS SOUS 11650 HAS SOUPS 11650 WITH SCORE 11662.571
AT ITER 3276 NEW BEST:: SOT 62294 SOS 12563 HAS SOPS 12563 HAS SOUS 11642 HAS SOUPS 11642 WITH SCORE 11654.563
AT ITER 3297 NEW BEST:: SOT 62379 SOS 12679 HAS SOPS 12679 HAS SOUS 11622 HAS SOUPS 11622 WITH SCORE 11634.679
AT ITER 3328 NEW BEST:: SOT 62383 SOS 12687 HAS SOPS 12687 HAS SOUS 11603 HAS SOUPS 11603 WITH SCORE 11615.687
AT ITER 3355 NEW BEST:: SOT 62390 SOS 12690 HAS SOPS 12690 HAS SOUS 11597 HAS SOUPS 11597 WITH SCORE 11609.69
AT ITER 3357 NEW BEST:: SOT 62373 SOS 12653 HAS SOPS 12653 HAS SOUS 11584 HAS SOUPS 11584 WITH SCORE 11596.653
AT ITER 3358 NEW BEST:: SOT 62370 SOS 12605 HAS SOPS 12605 HAS SOUS 11578 HAS SOUPS 11578 WITH SCORE 11590.605
AT ITER 3390 NEW BEST:: SOT 62360 SOS 12578 HAS SOPS 12578 HAS SOUS 11570 HAS SOUPS 11570 WITH SCORE 11582.578
AT ITER 3399 NEW BEST:: SOT 62358 SOS 12574 HAS SOPS 12574 HAS SOUS 11564 HAS SOUPS 11564 WITH SCORE 11576.574
AT ITER 3446 NEW BEST:: SOT 62358 SOS 12569 HAS SOPS 12569 HAS SOUS 11559 HAS SOUPS 11559 WITH SCORE 11571.569
AT ITER 3458 NEW BEST:: SOT 62358 SOS 12566 HAS SOPS 12566 HAS SOUS 11556 HAS SOUPS 11556 WITH SCORE 11568.566
AT ITER 3465 NEW BEST:: SOT 62315 SOS 12521 HAS SOPS 12521 HAS SOUS 11526 HAS SOUPS 11526 WITH SCORE 11538.521
AT ITER 3516 NEW BEST:: SOT 62339 SOS 12520 HAS SOPS 12520 HAS SOUS 11525 HAS SOUPS 11525 WITH SCORE 11537.52
AT ITER 3528 NEW BEST:: SOT 62331 SOS 12513 HAS SOPS 12513 HAS SOUS 11517 HAS SOUPS 11517 WITH SCORE 11529.513
AT ITER 3553 NEW BEST:: SOT 62322 SOS 12505 HAS SOPS 12505 HAS SOUS 11509 HAS SOUPS 11509 WITH SCORE 11521.505
AT ITER 3594 NEW BEST:: SOT 62327 SOS 12492 HAS SOPS 12492 HAS SOUS 11496 HAS SOUPS 11496 WITH SCORE 11508.492
AT ITER 3597 NEW BEST:: SOT 62306 SOS 12427 HAS SOPS 12427 HAS SOUS 11448 HAS SOUPS 11448 WITH SCORE 11460.427
AT ITER 3657 NEW BEST:: SOT 62304 SOS 12413 HAS SOPS 12413 HAS SOUS 11440 HAS SOUPS 11440 WITH SCORE 11452.413
AT ITER 3664 NEW BEST:: SOT 62301 SOS 12401 HAS SOPS 12401 HAS SOUS 11428 HAS SOUPS 11428 WITH SCORE 11440.401
AT ITER 3673 NEW BEST:: SOT 62300 SOS 12400 HAS SOPS 12400 HAS SOUS 11427 HAS SOUPS 11427 WITH SCORE 11439.4
AT ITER 3698 NEW BEST:: SOT 62314 SOS 12384 HAS SOPS 12384 HAS SOUS 11425 HAS SOUPS 11425 WITH SCORE 11437.384
AT ITER 3723 NEW BEST:: SOT 62349 SOS 12426 HAS SOPS 12426 HAS SOUS 11421 HAS SOUPS 11421 WITH SCORE 11433.426
AT ITER 3752 NEW BEST:: SOT 62350 SOS 12433 HAS SOPS 12433 HAS SOUS 11419 HAS SOUPS 11419 WITH SCORE 11431.433
AT ITER 3755 NEW BEST:: SOT 62343 SOS 12426 HAS SOPS 12426 HAS SOUS 11419 HAS SOUPS 11419 WITH SCORE 11431.426
AT ITER 3828 NEW BEST:: SOT 62332 SOS 12404 HAS SOPS 12404 HAS SOUS 11397 HAS SOUPS 11397 WITH SCORE 11409.404
AT ITER 3833 NEW BEST:: SOT 62328 SOS 12389 HAS SOPS 12389 HAS SOUS 11394 HAS SOUPS 11394 WITH SCORE 11406.389
AT ITER 3924 NEW BEST:: SOT 62326 SOS 12388 HAS SOPS 12388 HAS SOUS 11377 HAS SOUPS 11377 WITH SCORE 11389.388
AT ITER 3928 NEW BEST:: SOT 62326 SOS 12387 HAS SOPS 12387 HAS SOUS 11376 HAS SOUPS 11376 WITH SCORE 11388.387
AT ITER 3971 NEW BEST:: SOT 62330 SOS 12356 HAS SOPS 12356 HAS SOUS 11361 HAS SOUPS 11361 WITH SCORE 11373.356
AT ITER 3988 NEW BEST:: SOT 62339 SOS 12353 HAS SOPS 12353 HAS SOUS 11358 HAS SOUPS 11358 WITH SCORE 11370.353
AT ITER 3998 NEW BEST:: SOT 62323 SOS 12349 HAS SOPS 12349 HAS SOUS 11354 HAS SOUPS 11354 WITH SCORE 11366.349
AT ITER 4008 NEW BEST:: SOT 62316 SOS 12335 HAS SOPS 12335 HAS SOUS 11345 HAS SOUPS 11345 WITH SCORE 11357.335
AT ITER 4034 NEW BEST:: SOT 62316 SOS 12328 HAS SOPS 12328 HAS SOUS 11344 HAS SOUPS 11344 WITH SCORE 11356.328
AT ITER 4079 NEW BEST:: SOT 62316 SOS 12307 HAS SOPS 12307 HAS SOUS 11313 HAS SOUPS 11313 WITH SCORE 11325.307
AT ITER 4194 NEW BEST:: SOT 62308 SOS 12317 HAS SOPS 12317 HAS SOUS 11306 HAS SOUPS 11306 WITH SCORE 11318.317
AT ITER 4196 NEW BEST:: SOT 62303 SOS 12311 HAS SOPS 12311 HAS SOUS 11300 HAS SOUPS 11300 WITH SCORE 11312.311
AT ITER 4231 NEW BEST:: SOT 62299 SOS 12303 HAS SOPS 12303 HAS SOUS 11296 HAS SOUPS 11296 WITH SCORE 11308.303
AT ITER 4266 NEW BEST:: SOT 62299 SOS 12301 HAS SOPS 12301 HAS SOUS 11294 HAS SOUPS 11294 WITH SCORE 11306.301
AT ITER 4275 NEW BEST:: SOT 62299 SOS 12280 HAS SOPS 12280 HAS SOUS 11273 HAS SOUPS 11273 WITH SCORE 11285.28
AT ITER 4278 NEW BEST:: SOT 62297 SOS 12189 HAS SOPS 12189 HAS SOUS 11267 HAS SOUPS 11267 WITH SCORE 11279.189
AT ITER 4283 NEW BEST:: SOT 62292 SOS 12184 HAS SOPS 12184 HAS SOUS 11234 HAS SOUPS 11234 WITH SCORE 11246.184
AT ITER 4290 NEW BEST:: SOT 62292 SOS 12171 HAS SOPS 12171 HAS SOUS 11221 HAS SOUPS 11221 WITH SCORE 11233.171
AT ITER 4292 NEW BEST:: SOT 62261 SOS 12140 HAS SOPS 12140 HAS SOUS 11190 HAS SOUPS 11190 WITH SCORE 11202.14
AT ITER 4325 NEW BEST:: SOT 62244 SOS 12106 HAS SOPS 12106 HAS SOUS 11174 HAS SOUPS 11174 WITH SCORE 11186.106
AT ITER 4355 NEW BEST:: SOT 62253 SOS 12101 HAS SOPS 12101 HAS SOUS 11171 HAS SOUPS 11171 WITH SCORE 11183.101
AT ITER 4357 NEW BEST:: SOT 62256 SOS 12069 HAS SOPS 12069 HAS SOUS 11115 HAS SOUPS 11115 WITH SCORE 11127.069
AT ITER 4363 NEW BEST:: SOT 62244 SOS 12045 HAS SOPS 12045 HAS SOUS 11091 HAS SOUPS 11091 WITH SCORE 11103.045
AT ITER 4410 NEW BEST:: SOT 62240 SOS 12036 HAS SOPS 12036 HAS SOUS 11082 HAS SOUPS 11082 WITH SCORE 11094.036
AT ITER 4418 NEW BEST:: SOT 62207 SOS 11994 HAS SOPS 11994 HAS SOUS 11040 HAS SOUPS 11040 WITH SCORE 11051.994
AT ITER 4419 NEW BEST:: SOT 62182 SOS 11986 HAS SOPS 11986 HAS SOUS 11032 HAS SOUPS 11032 WITH SCORE 11043.986
AT ITER 4447 NEW BEST:: SOT 62176 SOS 11974 HAS SOPS 11974 HAS SOUS 11021 HAS SOUPS 11021 WITH SCORE 11032.974
AT ITER 4448 NEW BEST:: SOT 62174 SOS 11988 HAS SOPS 11988 HAS SOUS 11019 HAS SOUPS 11019 WITH SCORE 11030.988
AT ITER 4474 NEW BEST:: SOT 62170 SOS 11976 HAS SOPS 11976 HAS SOUS 11007 HAS SOUPS 11007 WITH SCORE 11018.976
AT ITER 4488 NEW BEST:: SOT 62146 SOS 11904 HAS SOPS 11904 HAS SOUS 10959 HAS SOUPS 10959 WITH SCORE 10970.904
AT ITER 4596 NEW BEST:: SOT 62146 SOS 11902 HAS SOPS 11902 HAS SOUS 10959 HAS SOUPS 10959 WITH SCORE 10970.902
AT ITER 4602 NEW BEST:: SOT 62123 SOS 11856 HAS SOPS 11856 HAS SOUS 10913 HAS SOUPS 10913 WITH SCORE 10924.856
AT ITER 4614 NEW BEST:: SOT 62120 SOS 11897 HAS SOPS 11897 HAS SOUS 10911 HAS SOUPS 10911 WITH SCORE 10922.897
AT ITER 4647 NEW BEST:: SOT 62139 SOS 11921 HAS SOPS 11921 HAS SOUS 10905 HAS SOUPS 10905 WITH SCORE 10916.921
AT ITER 4680 NEW BEST:: SOT 62138 SOS 11899 HAS SOPS 11899 HAS SOUS 10894 HAS SOUPS 10894 WITH SCORE 10905.899
AT ITER 4747 NEW BEST:: SOT 62138 SOS 11895 HAS SOPS 11895 HAS SOUS 10890 HAS SOUPS 10890 WITH SCORE 10901.895
AT ITER 4750 NEW BEST:: SOT 62138 SOS 11890 HAS SOPS 11890 HAS SOUS 10885 HAS SOUPS 10885 WITH SCORE 10896.89
AT ITER 4757 NEW BEST:: SOT 62137 SOS 11889 HAS SOPS 11889 HAS SOUS 10884 HAS SOUPS 10884 WITH SCORE 10895.889
AT ITER 4790 NEW BEST:: SOT 62132 SOS 11874 HAS SOPS 11874 HAS SOUS 10874 HAS SOUPS 10874 WITH SCORE 10885.874
AT ITER 4845 NEW BEST:: SOT 62132 SOS 11868 HAS SOPS 11868 HAS SOUS 10868 HAS SOUPS 10868 WITH SCORE 10879.868
AT ITER 4847 NEW BEST:: SOT 62131 SOS 11856 HAS SOPS 11856 HAS SOUS 10862 HAS SOUPS 10862 WITH SCORE 10873.856
AT ITER 4869 NEW BEST:: SOT 62124 SOS 11822 HAS SOPS 11822 HAS SOUS 10839 HAS SOUPS 10839 WITH SCORE 10850.822
AT ITER 4893 NEW BEST:: SOT 62124 SOS 11836 HAS SOPS 11836 HAS SOUS 10838 HAS SOUPS 10838 WITH SCORE 10849.836
AT ITER 4914 NEW BEST:: SOT 62130 SOS 11834 HAS SOPS 11834 HAS SOUS 10836 HAS SOUPS 10836 WITH SCORE 10847.834
AT ITER 4926 NEW BEST:: SOT 62128 SOS 11830 HAS SOPS 11830 HAS SOUS 10834 HAS SOUPS 10834 WITH SCORE 10845.83
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ShieldIIPt-PT-005B-CTLCardinality-00 ( (AU( potential( ( 2 ) <= (tk(P349)) ),potential( (tk(P293)) <= (tk(P301)) ) )) & ( ( (EG( potential( (tk(P238)) <= (tk(P231)) ))) | (AF(potential( ( 3 ) <= (tk(P352)) ))) ) | potential( ( 3 ) <= (tk(P304)) ) ) )
PROPERTY: ShieldIIPt-PT-005B-CTLCardinality-01 (AF(potential( ( 2 ) <= (tk(P31)) )))
PROPERTY: ShieldIIPt-PT-005B-CTLCardinality-02 (! (AG( (AX( potential( (tk(P101)) <= (tk(P329)) ))))))
PROPERTY: ShieldIIPt-PT-005B-CTLCardinality-03 (EG( ( (EG( potential( (tk(P239)) <= (tk(P195)) ))) & ( potential( (tk(P85)) <= (tk(P174)) ) | ( potential( (tk(P332)) <= (tk(P301)) ) | potential( ( 2 ) <= (tk(P214)) ) ) ) )))
PROPERTY: ShieldIIPt-PT-005B-CTLCardinality-04 ( ( (AU( potential( (tk(P223)) <= (tk(P59)) ),potential( ( 3 ) <= (tk(P200)) ) )) | potential( (tk(P15)) <= (tk(P291)) ) ) & (! (! (EF(potential( ( 1 ) <= (tk(P130)) ))))) )
PROPERTY: ShieldIIPt-PT-005B-CTLCardinality-05 (! ( (EF(( potential( (tk(P290)) <= (tk(P163)) ) & potential( (tk(P318)) <= (tk(P281)) ) ))) & (EG( potential( (tk(P210)) <= (tk(P236)) ))) ))
PROPERTY: ShieldIIPt-PT-005B-CTLCardinality-06 (EU( (! ( potential( ( 2 ) <= (tk(P115)) ) | potential( ( 1 ) <= (tk(P55)) ) )),(EX( potential( ( 3 ) <= (tk(P145)) ))) ))
PROPERTY: ShieldIIPt-PT-005B-CTLCardinality-07 (AF(( (AX( potential( (tk(P140)) <= (tk(P11)) ))) & (EG( potential( (tk(P286)) <= (tk(P214)) ))) )))
PROPERTY: ShieldIIPt-PT-005B-CTLCardinality-08 (EF((EF(potential( ( 2 ) <= (tk(P129)) )))))
PROPERTY: ShieldIIPt-PT-005B-CTLCardinality-09 (EF((EG( potential( (tk(P137)) <= (tk(P171)) )))))
PROPERTY: ShieldIIPt-PT-005B-CTLCardinality-10 ( (! (! potential( (tk(P291)) <= (tk(P258)) ))) & ( (! (EF(potential( ( 3 ) <= (tk(P94)) )))) & ( ( ( potential( (tk(P221)) <= (tk(P250)) ) & potential( (tk(P123)) <= (tk(P199)) ) ) & ( potential( (tk(P24)) <= (tk(P191)) ) & potential( (tk(P321)) <= (tk(P268)) ) ) ) | potential( (tk(P94)) <= (tk(P82)) ) ) ) )
PROPERTY: ShieldIIPt-PT-005B-CTLCardinality-11 ( (AG( ( ( potential( (tk(P284)) <= (tk(P6)) ) & potential( (tk(P76)) <= (tk(P342)) ) ) | ( potential( ( 1 ) <= (tk(P226)) ) & potential( (tk(P309)) <= (tk(P101)) ) ) ))) | ( potential( ( 1 ) <= (tk(P123)) ) | (AF(potential( ( 3 ) <= (tk(P118)) ))) ) )
PROPERTY: ShieldIIPt-PT-005B-CTLCardinality-12 ( (EG( potential( (tk(P179)) <= (tk(P57)) ))) & (! potential( ( 3 ) <= (tk(P184)) )) )
PROPERTY: ShieldIIPt-PT-005B-CTLCardinality-13 (AG( (EG( potential( (tk(P118)) <= (tk(P177)) )))))
PROPERTY: ShieldIIPt-PT-005B-CTLCardinality-14 ( (AU( ( potential( (tk(P303)) <= (tk(P337)) ) & potential( (tk(P85)) <= (tk(P320)) ) ),potential( (tk(P192)) <= (tk(P109)) ) )) & (! (AF(potential( ( 1 ) <= (tk(P342)) )))) )
PROPERTY: ShieldIIPt-PT-005B-CTLCardinality-15 ( (AU( potential( (tk(P206)) <= (tk(P50)) ),( potential( (tk(P257)) <= (tk(P112)) ) & potential( ( 1 ) <= (tk(P125)) ) ) )) & potential( ( 1 ) <= (tk(P1)) ) )

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="ShieldIIPt-PT-005B"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is ShieldIIPt-PT-005B, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r207-tajo-159033469200291"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldIIPt-PT-005B.tgz
mv ShieldIIPt-PT-005B execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;