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-159033470301019.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 ShieldRVt-PT-020A, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033470301019
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 220K
-rw-r--r-- 1 mcc users 3.4K May 14 02:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 14 02:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 20:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 20:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K May 14 10:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 14 10:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 14 10:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.4K May 13 14:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 13 14:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 09:34 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 09:34 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K 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 54K 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 ShieldRVt-PT-020A-CTLCardinality-00
FORMULA_NAME ShieldRVt-PT-020A-CTLCardinality-01
FORMULA_NAME ShieldRVt-PT-020A-CTLCardinality-02
FORMULA_NAME ShieldRVt-PT-020A-CTLCardinality-03
FORMULA_NAME ShieldRVt-PT-020A-CTLCardinality-04
FORMULA_NAME ShieldRVt-PT-020A-CTLCardinality-05
FORMULA_NAME ShieldRVt-PT-020A-CTLCardinality-06
FORMULA_NAME ShieldRVt-PT-020A-CTLCardinality-07
FORMULA_NAME ShieldRVt-PT-020A-CTLCardinality-08
FORMULA_NAME ShieldRVt-PT-020A-CTLCardinality-09
FORMULA_NAME ShieldRVt-PT-020A-CTLCardinality-10
FORMULA_NAME ShieldRVt-PT-020A-CTLCardinality-11
FORMULA_NAME ShieldRVt-PT-020A-CTLCardinality-12
FORMULA_NAME ShieldRVt-PT-020A-CTLCardinality-13
FORMULA_NAME ShieldRVt-PT-020A-CTLCardinality-14
FORMULA_NAME ShieldRVt-PT-020A-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590454321231

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVt (PT), instance 020A
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: 163 places, 163 transitions, 686 arcs.
AT ITER 0 NEW BEST:: SOT 20915 SOS 15526 HAS SOPS 15526 HAS SOUS 14446 HAS SOUPS 14446 WITH SCORE 14461.526
AT ITER 1 NEW BEST:: SOT 20844 SOS 15406 HAS SOPS 15406 HAS SOUS 14343 HAS SOUPS 14343 WITH SCORE 14358.406
AT ITER 5 NEW BEST:: SOT 20790 SOS 15298 HAS SOPS 15298 HAS SOUS 14211 HAS SOUPS 14211 WITH SCORE 14226.298
AT ITER 6 NEW BEST:: SOT 20722 SOS 15168 HAS SOPS 15168 HAS SOUS 14100 HAS SOUPS 14100 WITH SCORE 14115.168
AT ITER 8 NEW BEST:: SOT 20705 SOS 15137 HAS SOPS 15137 HAS SOUS 14055 HAS SOUPS 14055 WITH SCORE 14070.137
AT ITER 13 NEW BEST:: SOT 20689 SOS 15112 HAS SOPS 15112 HAS SOUS 14022 HAS SOUPS 14022 WITH SCORE 14037.112
AT ITER 14 NEW BEST:: SOT 20616 SOS 14974 HAS SOPS 14974 HAS SOUS 13919 HAS SOUPS 13919 WITH SCORE 13933.974
AT ITER 16 NEW BEST:: SOT 20601 SOS 14892 HAS SOPS 14892 HAS SOUS 13851 HAS SOUPS 13851 WITH SCORE 13865.892
AT ITER 18 NEW BEST:: SOT 20583 SOS 14857 HAS SOPS 14857 HAS SOUS 13814 HAS SOUPS 13814 WITH SCORE 13828.857
AT ITER 19 NEW BEST:: SOT 20583 SOS 14857 HAS SOPS 14857 HAS SOUS 13812 HAS SOUPS 13812 WITH SCORE 13826.857
AT ITER 20 NEW BEST:: SOT 20509 SOS 14704 HAS SOPS 14704 HAS SOUS 13662 HAS SOUPS 13662 WITH SCORE 13676.704
AT ITER 21 NEW BEST:: SOT 20506 SOS 14701 HAS SOPS 14701 HAS SOUS 13659 HAS SOUPS 13659 WITH SCORE 13673.701
AT ITER 22 NEW BEST:: SOT 20473 SOS 14640 HAS SOPS 14640 HAS SOUS 13599 HAS SOUPS 13599 WITH SCORE 13613.64
AT ITER 23 NEW BEST:: SOT 20471 SOS 14638 HAS SOPS 14638 HAS SOUS 13597 HAS SOUPS 13597 WITH SCORE 13611.638
AT ITER 24 NEW BEST:: SOT 20448 SOS 14575 HAS SOPS 14575 HAS SOUS 13556 HAS SOUPS 13556 WITH SCORE 13570.575
AT ITER 25 NEW BEST:: SOT 20445 SOS 14572 HAS SOPS 14572 HAS SOUS 13553 HAS SOUPS 13553 WITH SCORE 13567.572
AT ITER 29 NEW BEST:: SOT 20414 SOS 14453 HAS SOPS 14453 HAS SOUS 13501 HAS SOUPS 13501 WITH SCORE 13515.453
AT ITER 30 NEW BEST:: SOT 20414 SOS 14461 HAS SOPS 14461 HAS SOUS 13491 HAS SOUPS 13491 WITH SCORE 13505.461
AT ITER 31 NEW BEST:: SOT 20369 SOS 14428 HAS SOPS 14428 HAS SOUS 13446 HAS SOUPS 13446 WITH SCORE 13460.428
AT ITER 32 NEW BEST:: SOT 20285 SOS 14244 HAS SOPS 14244 HAS SOUS 13233 HAS SOUPS 13233 WITH SCORE 13247.244
AT ITER 36 NEW BEST:: SOT 20279 SOS 14238 HAS SOPS 14238 HAS SOUS 13227 HAS SOUPS 13227 WITH SCORE 13241.238
AT ITER 37 NEW BEST:: SOT 20279 SOS 14213 HAS SOPS 14213 HAS SOUS 13227 HAS SOUPS 13227 WITH SCORE 13241.213
AT ITER 38 NEW BEST:: SOT 20255 SOS 14133 HAS SOPS 14133 HAS SOUS 13138 HAS SOUPS 13138 WITH SCORE 13152.133
AT ITER 39 NEW BEST:: SOT 20252 SOS 14130 HAS SOPS 14130 HAS SOUS 13135 HAS SOUPS 13135 WITH SCORE 13149.13
AT ITER 40 NEW BEST:: SOT 20250 SOS 14148 HAS SOPS 14148 HAS SOUS 13059 HAS SOUPS 13059 WITH SCORE 13073.148
AT ITER 41 NEW BEST:: SOT 20076 SOS 13914 HAS SOPS 13914 HAS SOUS 12822 HAS SOUPS 12822 WITH SCORE 12835.914
AT ITER 42 NEW BEST:: SOT 20068 SOS 13898 HAS SOPS 13898 HAS SOUS 12806 HAS SOUPS 12806 WITH SCORE 12819.898
AT ITER 45 NEW BEST:: SOT 19999 SOS 13734 HAS SOPS 13734 HAS SOUS 12699 HAS SOUPS 12699 WITH SCORE 12712.734
AT ITER 46 NEW BEST:: SOT 19936 SOS 13611 HAS SOPS 13611 HAS SOUS 12540 HAS SOUPS 12540 WITH SCORE 12553.611
AT ITER 48 NEW BEST:: SOT 19936 SOS 13579 HAS SOPS 13579 HAS SOUS 12478 HAS SOUPS 12478 WITH SCORE 12491.579
AT ITER 50 NEW BEST:: SOT 19860 SOS 13434 HAS SOPS 13434 HAS SOUS 12396 HAS SOUPS 12396 WITH SCORE 12409.434
AT ITER 52 NEW BEST:: SOT 19860 SOS 13434 HAS SOPS 13434 HAS SOUS 12368 HAS SOUPS 12368 WITH SCORE 12381.434
AT ITER 53 NEW BEST:: SOT 19781 SOS 13244 HAS SOPS 13244 HAS SOUS 12217 HAS SOUPS 12217 WITH SCORE 12230.244
AT ITER 56 NEW BEST:: SOT 19764 SOS 13227 HAS SOPS 13227 HAS SOUS 12200 HAS SOUPS 12200 WITH SCORE 12213.227
AT ITER 58 NEW BEST:: SOT 19756 SOS 13219 HAS SOPS 13219 HAS SOUS 12200 HAS SOUPS 12200 WITH SCORE 12213.219
AT ITER 62 NEW BEST:: SOT 19624 SOS 12999 HAS SOPS 12999 HAS SOUS 12020 HAS SOUPS 12020 WITH SCORE 12032.999
AT ITER 63 NEW BEST:: SOT 19624 SOS 13031 HAS SOPS 13031 HAS SOUS 12014 HAS SOUPS 12014 WITH SCORE 12027.031
AT ITER 65 NEW BEST:: SOT 19609 SOS 13016 HAS SOPS 13016 HAS SOUS 11999 HAS SOUPS 11999 WITH SCORE 12012.016
AT ITER 67 NEW BEST:: SOT 19536 SOS 12869 HAS SOPS 12869 HAS SOUS 11851 HAS SOUPS 11851 WITH SCORE 11863.869
AT ITER 69 NEW BEST:: SOT 19441 SOS 12634 HAS SOPS 12634 HAS SOUS 11717 HAS SOUPS 11717 WITH SCORE 11729.634
AT ITER 71 NEW BEST:: SOT 19382 SOS 12434 HAS SOPS 12434 HAS SOUS 11569 HAS SOUPS 11569 WITH SCORE 11581.434
AT ITER 72 NEW BEST:: SOT 19382 SOS 12448 HAS SOPS 12448 HAS SOUS 11520 HAS SOUPS 11520 WITH SCORE 11532.448
AT ITER 77 NEW BEST:: SOT 19342 SOS 12405 HAS SOPS 12405 HAS SOUS 11477 HAS SOUPS 11477 WITH SCORE 11489.405
AT ITER 82 NEW BEST:: SOT 19172 SOS 12155 HAS SOPS 12155 HAS SOUS 11170 HAS SOUPS 11170 WITH SCORE 11182.155
AT ITER 83 NEW BEST:: SOT 19115 SOS 12098 HAS SOPS 12098 HAS SOUS 11113 HAS SOUPS 11113 WITH SCORE 11125.098
AT ITER 84 NEW BEST:: SOT 19070 SOS 11987 HAS SOPS 11987 HAS SOUS 11019 HAS SOUPS 11019 WITH SCORE 11030.987
AT ITER 86 NEW BEST:: SOT 19070 SOS 11971 HAS SOPS 11971 HAS SOUS 10990 HAS SOUPS 10990 WITH SCORE 11001.971
AT ITER 90 NEW BEST:: SOT 18994 SOS 11892 HAS SOPS 11892 HAS SOUS 10885 HAS SOUPS 10885 WITH SCORE 10896.892
AT ITER 94 NEW BEST:: SOT 18974 SOS 11862 HAS SOPS 11862 HAS SOUS 10851 HAS SOUPS 10851 WITH SCORE 10862.862
AT ITER 98 NEW BEST:: SOT 18965 SOS 11853 HAS SOPS 11853 HAS SOUS 10842 HAS SOUPS 10842 WITH SCORE 10853.853
AT ITER 99 NEW BEST:: SOT 18965 SOS 11853 HAS SOPS 11853 HAS SOUS 10840 HAS SOUPS 10840 WITH SCORE 10851.853
AT ITER 109 NEW BEST:: SOT 18940 SOS 11815 HAS SOPS 11815 HAS SOUS 10801 HAS SOUPS 10801 WITH SCORE 10812.815
AT ITER 110 NEW BEST:: SOT 18923 SOS 11787 HAS SOPS 11787 HAS SOUS 10767 HAS SOUPS 10767 WITH SCORE 10778.787
AT ITER 111 NEW BEST:: SOT 18815 SOS 11476 HAS SOPS 11476 HAS SOUS 10501 HAS SOUPS 10501 WITH SCORE 10512.476
AT ITER 115 NEW BEST:: SOT 18815 SOS 11444 HAS SOPS 11444 HAS SOUS 10496 HAS SOUPS 10496 WITH SCORE 10507.444
AT ITER 124 NEW BEST:: SOT 18806 SOS 11387 HAS SOPS 11387 HAS SOUS 10432 HAS SOUPS 10432 WITH SCORE 10443.387
AT ITER 131 NEW BEST:: SOT 18768 SOS 11319 HAS SOPS 11319 HAS SOUS 10313 HAS SOUPS 10313 WITH SCORE 10324.319
AT ITER 133 NEW BEST:: SOT 18766 SOS 11316 HAS SOPS 11316 HAS SOUS 10270 HAS SOUPS 10270 WITH SCORE 10281.316
AT ITER 147 NEW BEST:: SOT 18766 SOS 11316 HAS SOPS 11316 HAS SOUS 10264 HAS SOUPS 10264 WITH SCORE 10275.316
AT ITER 153 NEW BEST:: SOT 18780 SOS 11297 HAS SOPS 11297 HAS SOUS 10245 HAS SOUPS 10245 WITH SCORE 10256.297
AT ITER 160 NEW BEST:: SOT 18750 SOS 11257 HAS SOPS 11257 HAS SOUS 10205 HAS SOUPS 10205 WITH SCORE 10216.257
AT ITER 163 NEW BEST:: SOT 18708 SOS 11201 HAS SOPS 11201 HAS SOUS 10149 HAS SOUPS 10149 WITH SCORE 10160.201
AT ITER 164 NEW BEST:: SOT 18643 SOS 11069 HAS SOPS 11069 HAS SOUS 10011 HAS SOUPS 10011 WITH SCORE 10022.069
AT ITER 168 NEW BEST:: SOT 18611 SOS 10938 HAS SOPS 10938 HAS SOUS 9886 HAS SOUPS 9886 WITH SCORE 9896.938
AT ITER 169 NEW BEST:: SOT 18489 SOS 10754 HAS SOPS 10754 HAS SOUS 9698 HAS SOUPS 9698 WITH SCORE 9708.754
AT ITER 174 NEW BEST:: SOT 18489 SOS 10754 HAS SOPS 10754 HAS SOUS 9691 HAS SOUPS 9691 WITH SCORE 9701.754
AT ITER 186 NEW BEST:: SOT 18428 SOS 10641 HAS SOPS 10641 HAS SOUS 9590 HAS SOUPS 9590 WITH SCORE 9600.641
AT ITER 215 NEW BEST:: SOT 18341 SOS 10482 HAS SOPS 10482 HAS SOUS 9433 HAS SOUPS 9433 WITH SCORE 9443.482
AT ITER 216 NEW BEST:: SOT 18341 SOS 10482 HAS SOPS 10482 HAS SOUS 9406 HAS SOUPS 9406 WITH SCORE 9416.482
AT ITER 222 NEW BEST:: SOT 18291 SOS 10407 HAS SOPS 10407 HAS SOUS 9323 HAS SOUPS 9323 WITH SCORE 9333.407
AT ITER 223 NEW BEST:: SOT 18294 SOS 10396 HAS SOPS 10396 HAS SOUS 9315 HAS SOUPS 9315 WITH SCORE 9325.396
AT ITER 224 NEW BEST:: SOT 18283 SOS 10385 HAS SOPS 10385 HAS SOUS 9304 HAS SOUPS 9304 WITH SCORE 9314.385
AT ITER 227 NEW BEST:: SOT 18283 SOS 10390 HAS SOPS 10390 HAS SOUS 9294 HAS SOUPS 9294 WITH SCORE 9304.39
AT ITER 233 NEW BEST:: SOT 18175 SOS 10246 HAS SOPS 10246 HAS SOUS 9150 HAS SOUPS 9150 WITH SCORE 9160.246
AT ITER 236 NEW BEST:: SOT 18018 SOS 10003 HAS SOPS 10003 HAS SOUS 8903 HAS SOUPS 8903 WITH SCORE 8913.003
AT ITER 237 NEW BEST:: SOT 18017 SOS 9987 HAS SOPS 9987 HAS SOUS 8868 HAS SOUPS 8868 WITH SCORE 8877.987
AT ITER 239 NEW BEST:: SOT 18017 SOS 9981 HAS SOPS 9981 HAS SOUS 8862 HAS SOUPS 8862 WITH SCORE 8871.981
AT ITER 240 NEW BEST:: SOT 18005 SOS 10006 HAS SOPS 10006 HAS SOUS 8840 HAS SOUPS 8840 WITH SCORE 8850.006
AT ITER 241 NEW BEST:: SOT 18010 SOS 10011 HAS SOPS 10011 HAS SOUS 8823 HAS SOUPS 8823 WITH SCORE 8833.011
AT ITER 245 NEW BEST:: SOT 17994 SOS 9992 HAS SOPS 9992 HAS SOUS 8809 HAS SOUPS 8809 WITH SCORE 8818.992
AT ITER 254 NEW BEST:: SOT 17993 SOS 9988 HAS SOPS 9988 HAS SOUS 8805 HAS SOUPS 8805 WITH SCORE 8814.988
AT ITER 257 NEW BEST:: SOT 17998 SOS 9970 HAS SOPS 9970 HAS SOUS 8800 HAS SOUPS 8800 WITH SCORE 8809.97
AT ITER 264 NEW BEST:: SOT 17980 SOS 9934 HAS SOPS 9934 HAS SOUS 8770 HAS SOUPS 8770 WITH SCORE 8779.934
AT ITER 265 NEW BEST:: SOT 17980 SOS 9937 HAS SOPS 9937 HAS SOUS 8767 HAS SOUPS 8767 WITH SCORE 8776.937
AT ITER 267 NEW BEST:: SOT 17957 SOS 9907 HAS SOPS 9907 HAS SOUS 8709 HAS SOUPS 8709 WITH SCORE 8718.907
AT ITER 275 NEW BEST:: SOT 17936 SOS 9872 HAS SOPS 9872 HAS SOUS 8674 HAS SOUPS 8674 WITH SCORE 8683.872
AT ITER 276 NEW BEST:: SOT 17916 SOS 9846 HAS SOPS 9846 HAS SOUS 8648 HAS SOUPS 8648 WITH SCORE 8657.846
AT ITER 284 NEW BEST:: SOT 17905 SOS 9835 HAS SOPS 9835 HAS SOUS 8637 HAS SOUPS 8637 WITH SCORE 8646.835
AT ITER 285 NEW BEST:: SOT 17885 SOS 9815 HAS SOPS 9815 HAS SOUS 8637 HAS SOUPS 8637 WITH SCORE 8646.815
AT ITER 290 NEW BEST:: SOT 17874 SOS 9800 HAS SOPS 9800 HAS SOUS 8622 HAS SOUPS 8622 WITH SCORE 8631.8
AT ITER 293 NEW BEST:: SOT 17823 SOS 9697 HAS SOPS 9697 HAS SOUS 8559 HAS SOUPS 8559 WITH SCORE 8568.697
AT ITER 305 NEW BEST:: SOT 17806 SOS 9687 HAS SOPS 9687 HAS SOUS 8512 HAS SOUPS 8512 WITH SCORE 8521.687
AT ITER 323 NEW BEST:: SOT 17764 SOS 9625 HAS SOPS 9625 HAS SOUS 8425 HAS SOUPS 8425 WITH SCORE 8434.625
AT ITER 325 NEW BEST:: SOT 17725 SOS 9553 HAS SOPS 9553 HAS SOUS 8350 HAS SOUPS 8350 WITH SCORE 8359.553
AT ITER 328 NEW BEST:: SOT 17705 SOS 9530 HAS SOPS 9530 HAS SOUS 8330 HAS SOUPS 8330 WITH SCORE 8339.53
AT ITER 345 NEW BEST:: SOT 17701 SOS 9524 HAS SOPS 9524 HAS SOUS 8326 HAS SOUPS 8326 WITH SCORE 8335.524
AT ITER 349 NEW BEST:: SOT 17701 SOS 9498 HAS SOPS 9498 HAS SOUS 8315 HAS SOUPS 8315 WITH SCORE 8324.498
AT ITER 358 NEW BEST:: SOT 17701 SOS 9466 HAS SOPS 9466 HAS SOUS 8303 HAS SOUPS 8303 WITH SCORE 8312.466
AT ITER 363 NEW BEST:: SOT 17688 SOS 9445 HAS SOPS 9445 HAS SOUS 8282 HAS SOUPS 8282 WITH SCORE 8291.445
AT ITER 367 NEW BEST:: SOT 17666 SOS 9423 HAS SOPS 9423 HAS SOUS 8247 HAS SOUPS 8247 WITH SCORE 8256.423
AT ITER 371 NEW BEST:: SOT 17665 SOS 9406 HAS SOPS 9406 HAS SOUS 8219 HAS SOUPS 8219 WITH SCORE 8228.406
AT ITER 375 NEW BEST:: SOT 17650 SOS 9375 HAS SOPS 9375 HAS SOUS 8196 HAS SOUPS 8196 WITH SCORE 8205.375
AT ITER 376 NEW BEST:: SOT 17624 SOS 9349 HAS SOPS 9349 HAS SOUS 8144 HAS SOUPS 8144 WITH SCORE 8153.349
AT ITER 390 NEW BEST:: SOT 17558 SOS 9125 HAS SOPS 9125 HAS SOUS 8034 HAS SOUPS 8034 WITH SCORE 8043.125
AT ITER 392 NEW BEST:: SOT 17558 SOS 9124 HAS SOPS 9124 HAS SOUS 8033 HAS SOUPS 8033 WITH SCORE 8042.124
AT ITER 394 NEW BEST:: SOT 17538 SOS 9078 HAS SOPS 9078 HAS SOUS 8001 HAS SOUPS 8001 WITH SCORE 8010.078
AT ITER 397 NEW BEST:: SOT 17498 SOS 9015 HAS SOPS 9015 HAS SOUS 7931 HAS SOUPS 7931 WITH SCORE 7940.015
AT ITER 404 NEW BEST:: SOT 17470 SOS 8863 HAS SOPS 8863 HAS SOUS 7837 HAS SOUPS 7837 WITH SCORE 7845.863
AT ITER 405 NEW BEST:: SOT 17468 SOS 8860 HAS SOPS 8860 HAS SOUS 7833 HAS SOUPS 7833 WITH SCORE 7841.86
AT ITER 406 NEW BEST:: SOT 17444 SOS 8815 HAS SOPS 8815 HAS SOUS 7783 HAS SOUPS 7783 WITH SCORE 7791.815
AT ITER 419 NEW BEST:: SOT 17435 SOS 8806 HAS SOPS 8806 HAS SOUS 7774 HAS SOUPS 7774 WITH SCORE 7782.806
AT ITER 428 NEW BEST:: SOT 17432 SOS 8734 HAS SOPS 8734 HAS SOUS 7772 HAS SOUPS 7772 WITH SCORE 7780.734
AT ITER 434 NEW BEST:: SOT 17429 SOS 8729 HAS SOPS 8729 HAS SOUS 7767 HAS SOUPS 7767 WITH SCORE 7775.729
AT ITER 435 NEW BEST:: SOT 17357 SOS 8692 HAS SOPS 8692 HAS SOUS 7741 HAS SOUPS 7741 WITH SCORE 7749.692
AT ITER 445 NEW BEST:: SOT 17332 SOS 8643 HAS SOPS 8643 HAS SOUS 7695 HAS SOUPS 7695 WITH SCORE 7703.643
AT ITER 451 NEW BEST:: SOT 17330 SOS 8639 HAS SOPS 8639 HAS SOUS 7693 HAS SOUPS 7693 WITH SCORE 7701.639
AT ITER 458 NEW BEST:: SOT 17322 SOS 8619 HAS SOPS 8619 HAS SOUS 7673 HAS SOUPS 7673 WITH SCORE 7681.619
AT ITER 464 NEW BEST:: SOT 17326 SOS 8607 HAS SOPS 8607 HAS SOUS 7672 HAS SOUPS 7672 WITH SCORE 7680.607
AT ITER 472 NEW BEST:: SOT 17291 SOS 8572 HAS SOPS 8572 HAS SOUS 7669 HAS SOUPS 7669 WITH SCORE 7677.572
AT ITER 473 NEW BEST:: SOT 17252 SOS 8535 HAS SOPS 8535 HAS SOUS 7602 HAS SOUPS 7602 WITH SCORE 7610.535
AT ITER 480 NEW BEST:: SOT 17246 SOS 8517 HAS SOPS 8517 HAS SOUS 7583 HAS SOUPS 7583 WITH SCORE 7591.517
AT ITER 502 NEW BEST:: SOT 17233 SOS 8463 HAS SOPS 8463 HAS SOUS 7538 HAS SOUPS 7538 WITH SCORE 7546.463
AT ITER 529 NEW BEST:: SOT 17202 SOS 8418 HAS SOPS 8418 HAS SOUS 7472 HAS SOUPS 7472 WITH SCORE 7480.418
AT ITER 533 NEW BEST:: SOT 17163 SOS 8340 HAS SOPS 8340 HAS SOUS 7421 HAS SOUPS 7421 WITH SCORE 7429.34
AT ITER 545 NEW BEST:: SOT 17149 SOS 8311 HAS SOPS 8311 HAS SOUS 7392 HAS SOUPS 7392 WITH SCORE 7400.311
AT ITER 547 NEW BEST:: SOT 17097 SOS 8238 HAS SOPS 8238 HAS SOUS 7319 HAS SOUPS 7319 WITH SCORE 7327.238
AT ITER 549 NEW BEST:: SOT 17092 SOS 8241 HAS SOPS 8241 HAS SOUS 7307 HAS SOUPS 7307 WITH SCORE 7315.241
AT ITER 555 NEW BEST:: SOT 17069 SOS 8165 HAS SOPS 8165 HAS SOUS 7290 HAS SOUPS 7290 WITH SCORE 7298.165
AT ITER 558 NEW BEST:: SOT 17047 SOS 8137 HAS SOPS 8137 HAS SOUS 7262 HAS SOUPS 7262 WITH SCORE 7270.137
AT ITER 562 NEW BEST:: SOT 17039 SOS 8097 HAS SOPS 8097 HAS SOUS 7244 HAS SOUPS 7244 WITH SCORE 7252.097
AT ITER 589 NEW BEST:: SOT 17038 SOS 8096 HAS SOPS 8096 HAS SOUS 7242 HAS SOUPS 7242 WITH SCORE 7250.096
AT ITER 593 NEW BEST:: SOT 17046 SOS 8104 HAS SOPS 8104 HAS SOUS 7232 HAS SOUPS 7232 WITH SCORE 7240.104
AT ITER 625 NEW BEST:: SOT 17026 SOS 8073 HAS SOPS 8073 HAS SOUS 7186 HAS SOUPS 7186 WITH SCORE 7194.073
AT ITER 642 NEW BEST:: SOT 16958 SOS 7961 HAS SOPS 7961 HAS SOUS 7084 HAS SOUPS 7084 WITH SCORE 7091.961
AT ITER 646 NEW BEST:: SOT 16931 SOS 7938 HAS SOPS 7938 HAS SOUS 7065 HAS SOUPS 7065 WITH SCORE 7072.938
AT ITER 648 NEW BEST:: SOT 16945 SOS 7894 HAS SOPS 7894 HAS SOUS 7060 HAS SOUPS 7060 WITH SCORE 7067.894
AT ITER 663 NEW BEST:: SOT 16908 SOS 7847 HAS SOPS 7847 HAS SOUS 7045 HAS SOUPS 7045 WITH SCORE 7052.847
AT ITER 666 NEW BEST:: SOT 16892 SOS 7824 HAS SOPS 7824 HAS SOUS 7022 HAS SOUPS 7022 WITH SCORE 7029.824
AT ITER 681 NEW BEST:: SOT 16869 SOS 7799 HAS SOPS 7799 HAS SOUS 6997 HAS SOUPS 6997 WITH SCORE 7004.799
AT ITER 688 NEW BEST:: SOT 16863 SOS 7773 HAS SOPS 7773 HAS SOUS 6995 HAS SOUPS 6995 WITH SCORE 7002.773
AT ITER 692 NEW BEST:: SOT 16857 SOS 7767 HAS SOPS 7767 HAS SOUS 6989 HAS SOUPS 6989 WITH SCORE 6996.767
AT ITER 696 NEW BEST:: SOT 16851 SOS 7761 HAS SOPS 7761 HAS SOUS 6983 HAS SOUPS 6983 WITH SCORE 6990.761
AT ITER 721 NEW BEST:: SOT 16797 SOS 7673 HAS SOPS 7673 HAS SOUS 6929 HAS SOUPS 6929 WITH SCORE 6936.673
AT ITER 737 NEW BEST:: SOT 16785 SOS 7661 HAS SOPS 7661 HAS SOUS 6911 HAS SOUPS 6911 WITH SCORE 6918.661
AT ITER 743 NEW BEST:: SOT 16782 SOS 7660 HAS SOPS 7660 HAS SOUS 6905 HAS SOUPS 6905 WITH SCORE 6912.66
AT ITER 752 NEW BEST:: SOT 16777 SOS 7643 HAS SOPS 7643 HAS SOUS 6895 HAS SOUPS 6895 WITH SCORE 6902.643
AT ITER 763 NEW BEST:: SOT 16745 SOS 7673 HAS SOPS 7673 HAS SOUS 6881 HAS SOUPS 6881 WITH SCORE 6888.673
AT ITER 774 NEW BEST:: SOT 16741 SOS 7668 HAS SOPS 7668 HAS SOUS 6876 HAS SOUPS 6876 WITH SCORE 6883.668
AT ITER 787 NEW BEST:: SOT 16734 SOS 7644 HAS SOPS 7644 HAS SOUS 6872 HAS SOUPS 6872 WITH SCORE 6879.644
AT ITER 804 NEW BEST:: SOT 16734 SOS 7632 HAS SOPS 7632 HAS SOUS 6866 HAS SOUPS 6866 WITH SCORE 6873.632
AT ITER 805 NEW BEST:: SOT 16724 SOS 7615 HAS SOPS 7615 HAS SOUS 6843 HAS SOUPS 6843 WITH SCORE 6850.615
AT ITER 816 NEW BEST:: SOT 16701 SOS 7490 HAS SOPS 7490 HAS SOUS 6807 HAS SOUPS 6807 WITH SCORE 6814.49
AT ITER 828 NEW BEST:: SOT 16689 SOS 7442 HAS SOPS 7442 HAS SOUS 6771 HAS SOUPS 6771 WITH SCORE 6778.442
AT ITER 849 NEW BEST:: SOT 16670 SOS 7413 HAS SOPS 7413 HAS SOUS 6742 HAS SOUPS 6742 WITH SCORE 6749.413
AT ITER 851 NEW BEST:: SOT 16670 SOS 7407 HAS SOPS 7407 HAS SOUS 6740 HAS SOUPS 6740 WITH SCORE 6747.407
AT ITER 864 NEW BEST:: SOT 16668 SOS 7402 HAS SOPS 7402 HAS SOUS 6737 HAS SOUPS 6737 WITH SCORE 6744.402
AT ITER 867 NEW BEST:: SOT 16662 SOS 7378 HAS SOPS 7378 HAS SOUS 6713 HAS SOUPS 6713 WITH SCORE 6720.378
AT ITER 880 NEW BEST:: SOT 16642 SOS 7358 HAS SOPS 7358 HAS SOUS 6667 HAS SOUPS 6667 WITH SCORE 6674.358
AT ITER 883 NEW BEST:: SOT 16630 SOS 7346 HAS SOPS 7346 HAS SOUS 6655 HAS SOUPS 6655 WITH SCORE 6662.346
AT ITER 884 NEW BEST:: SOT 16630 SOS 7345 HAS SOPS 7345 HAS SOUS 6647 HAS SOUPS 6647 WITH SCORE 6654.345
AT ITER 886 NEW BEST:: SOT 16630 SOS 7342 HAS SOPS 7342 HAS SOUS 6644 HAS SOUPS 6644 WITH SCORE 6651.342
AT ITER 895 NEW BEST:: SOT 16605 SOS 7316 HAS SOPS 7316 HAS SOUS 6621 HAS SOUPS 6621 WITH SCORE 6628.316
AT ITER 902 NEW BEST:: SOT 16605 SOS 7316 HAS SOPS 7316 HAS SOUS 6620 HAS SOUPS 6620 WITH SCORE 6627.316
AT ITER 906 NEW BEST:: SOT 16605 SOS 7316 HAS SOPS 7316 HAS SOUS 6611 HAS SOUPS 6611 WITH SCORE 6618.316
AT ITER 929 NEW BEST:: SOT 16609 SOS 7330 HAS SOPS 7330 HAS SOUS 6605 HAS SOUPS 6605 WITH SCORE 6612.33
AT ITER 940 NEW BEST:: SOT 16609 SOS 7330 HAS SOPS 7330 HAS SOUS 6603 HAS SOUPS 6603 WITH SCORE 6610.33
AT ITER 951 NEW BEST:: SOT 16606 SOS 7326 HAS SOPS 7326 HAS SOUS 6599 HAS SOUPS 6599 WITH SCORE 6606.326
AT ITER 980 NEW BEST:: SOT 16580 SOS 7233 HAS SOPS 7233 HAS SOUS 6553 HAS SOUPS 6553 WITH SCORE 6560.233
AT ITER 985 NEW BEST:: SOT 16574 SOS 7223 HAS SOPS 7223 HAS SOUS 6542 HAS SOUPS 6542 WITH SCORE 6549.223
AT ITER 1003 NEW BEST:: SOT 16574 SOS 7226 HAS SOPS 7226 HAS SOUS 6539 HAS SOUPS 6539 WITH SCORE 6546.226
AT ITER 1004 NEW BEST:: SOT 16573 SOS 7225 HAS SOPS 7225 HAS SOUS 6538 HAS SOUPS 6538 WITH SCORE 6545.225
AT ITER 1023 NEW BEST:: SOT 16568 SOS 7206 HAS SOPS 7206 HAS SOUS 6523 HAS SOUPS 6523 WITH SCORE 6530.206
AT ITER 1028 NEW BEST:: SOT 16544 SOS 7159 HAS SOPS 7159 HAS SOUS 6499 HAS SOUPS 6499 WITH SCORE 6506.159
AT ITER 1055 NEW BEST:: SOT 16488 SOS 7009 HAS SOPS 7009 HAS SOUS 6389 HAS SOUPS 6389 WITH SCORE 6396.009
AT ITER 1057 NEW BEST:: SOT 16463 SOS 6992 HAS SOPS 6992 HAS SOUS 6364 HAS SOUPS 6364 WITH SCORE 6370.992
AT ITER 1063 NEW BEST:: SOT 16446 SOS 6943 HAS SOPS 6943 HAS SOUS 6326 HAS SOUPS 6326 WITH SCORE 6332.943
AT ITER 1124 NEW BEST:: SOT 16434 SOS 6920 HAS SOPS 6920 HAS SOUS 6314 HAS SOUPS 6314 WITH SCORE 6320.92
AT ITER 1132 NEW BEST:: SOT 16434 SOS 6901 HAS SOPS 6901 HAS SOUS 6301 HAS SOUPS 6301 WITH SCORE 6307.901
AT ITER 1134 NEW BEST:: SOT 16413 SOS 6873 HAS SOPS 6873 HAS SOUS 6273 HAS SOUPS 6273 WITH SCORE 6279.873
AT ITER 1142 NEW BEST:: SOT 16401 SOS 6861 HAS SOPS 6861 HAS SOUS 6261 HAS SOUPS 6261 WITH SCORE 6267.861
AT ITER 1160 NEW BEST:: SOT 16401 SOS 6818 HAS SOPS 6818 HAS SOUS 6261 HAS SOUPS 6261 WITH SCORE 6267.818
AT ITER 1189 NEW BEST:: SOT 16401 SOS 6819 HAS SOPS 6819 HAS SOUS 6243 HAS SOUPS 6243 WITH SCORE 6249.819
AT ITER 1194 NEW BEST:: SOT 16397 SOS 6830 HAS SOPS 6830 HAS SOUS 6241 HAS SOUPS 6241 WITH SCORE 6247.83
AT ITER 1202 NEW BEST:: SOT 16390 SOS 6814 HAS SOPS 6814 HAS SOUS 6226 HAS SOUPS 6226 WITH SCORE 6232.814
AT ITER 1206 NEW BEST:: SOT 16384 SOS 6805 HAS SOPS 6805 HAS SOUS 6217 HAS SOUPS 6217 WITH SCORE 6223.805
AT ITER 1211 NEW BEST:: SOT 16243 SOS 6617 HAS SOPS 6617 HAS SOUS 6029 HAS SOUPS 6029 WITH SCORE 6035.617
AT ITER 1231 NEW BEST:: SOT 16240 SOS 6613 HAS SOPS 6613 HAS SOUS 6025 HAS SOUPS 6025 WITH SCORE 6031.613
AT ITER 1232 NEW BEST:: SOT 16239 SOS 6608 HAS SOPS 6608 HAS SOUS 6005 HAS SOUPS 6005 WITH SCORE 6011.608
AT ITER 1243 NEW BEST:: SOT 16239 SOS 6599 HAS SOPS 6599 HAS SOUS 5992 HAS SOUPS 5992 WITH SCORE 5998.599
AT ITER 1283 NEW BEST:: SOT 16215 SOS 6498 HAS SOPS 6498 HAS SOUS 5942 HAS SOUPS 5942 WITH SCORE 5948.498
AT ITER 1298 NEW BEST:: SOT 16207 SOS 6486 HAS SOPS 6486 HAS SOUS 5926 HAS SOUPS 5926 WITH SCORE 5932.486
AT ITER 1299 NEW BEST:: SOT 16193 SOS 6472 HAS SOPS 6472 HAS SOUS 5905 HAS SOUPS 5905 WITH SCORE 5911.472
AT ITER 1302 NEW BEST:: SOT 16188 SOS 6467 HAS SOPS 6467 HAS SOUS 5895 HAS SOUPS 5895 WITH SCORE 5901.467
AT ITER 1303 NEW BEST:: SOT 16176 SOS 6443 HAS SOPS 6443 HAS SOUS 5871 HAS SOUPS 5871 WITH SCORE 5877.443
AT ITER 1305 NEW BEST:: SOT 16173 SOS 6330 HAS SOPS 6330 HAS SOUS 5819 HAS SOUPS 5819 WITH SCORE 5825.33
AT ITER 1310 NEW BEST:: SOT 16164 SOS 6310 HAS SOPS 6310 HAS SOUS 5801 HAS SOUPS 5801 WITH SCORE 5807.31
AT ITER 1350 NEW BEST:: SOT 16159 SOS 6290 HAS SOPS 6290 HAS SOUS 5786 HAS SOUPS 5786 WITH SCORE 5792.29
AT ITER 1354 NEW BEST:: SOT 16138 SOS 6244 HAS SOPS 6244 HAS SOUS 5734 HAS SOUPS 5734 WITH SCORE 5740.244
AT ITER 1368 NEW BEST:: SOT 16123 SOS 6224 HAS SOPS 6224 HAS SOUS 5714 HAS SOUPS 5714 WITH SCORE 5720.224
AT ITER 1397 NEW BEST:: SOT 16119 SOS 6218 HAS SOPS 6218 HAS SOUS 5708 HAS SOUPS 5708 WITH SCORE 5714.218
AT ITER 1403 NEW BEST:: SOT 16110 SOS 6209 HAS SOPS 6209 HAS SOUS 5699 HAS SOUPS 5699 WITH SCORE 5705.209
AT ITER 1408 NEW BEST:: SOT 16104 SOS 6199 HAS SOPS 6199 HAS SOUS 5691 HAS SOUPS 5691 WITH SCORE 5697.199
AT ITER 1450 NEW BEST:: SOT 16104 SOS 6177 HAS SOPS 6177 HAS SOUS 5679 HAS SOUPS 5679 WITH SCORE 5685.177
AT ITER 1488 NEW BEST:: SOT 16078 SOS 6136 HAS SOPS 6136 HAS SOUS 5651 HAS SOUPS 5651 WITH SCORE 5657.136
AT ITER 1492 NEW BEST:: SOT 16068 SOS 6110 HAS SOPS 6110 HAS SOUS 5620 HAS SOUPS 5620 WITH SCORE 5626.11
AT ITER 1503 NEW BEST:: SOT 16064 SOS 6098 HAS SOPS 6098 HAS SOUS 5619 HAS SOUPS 5619 WITH SCORE 5625.098
AT ITER 1512 NEW BEST:: SOT 16063 SOS 6097 HAS SOPS 6097 HAS SOUS 5618 HAS SOUPS 5618 WITH SCORE 5624.097
AT ITER 1524 NEW BEST:: SOT 16060 SOS 6088 HAS SOPS 6088 HAS SOUS 5612 HAS SOUPS 5612 WITH SCORE 5618.088
AT ITER 1552 NEW BEST:: SOT 16044 SOS 6024 HAS SOPS 6024 HAS SOUS 5571 HAS SOUPS 5571 WITH SCORE 5577.024
AT ITER 1568 NEW BEST:: SOT 16003 SOS 5932 HAS SOPS 5932 HAS SOUS 5497 HAS SOUPS 5497 WITH SCORE 5502.932
AT ITER 1572 NEW BEST:: SOT 15978 SOS 5895 HAS SOPS 5895 HAS SOUS 5460 HAS SOUPS 5460 WITH SCORE 5465.895
AT ITER 1624 NEW BEST:: SOT 15978 SOS 5885 HAS SOPS 5885 HAS SOUS 5450 HAS SOUPS 5450 WITH SCORE 5455.885
AT ITER 1660 NEW BEST:: SOT 15969 SOS 5866 HAS SOPS 5866 HAS SOUS 5437 HAS SOUPS 5437 WITH SCORE 5442.866
AT ITER 1663 NEW BEST:: SOT 15969 SOS 5866 HAS SOPS 5866 HAS SOUS 5423 HAS SOUPS 5423 WITH SCORE 5428.866
AT ITER 1688 NEW BEST:: SOT 15961 SOS 5842 HAS SOPS 5842 HAS SOUS 5423 HAS SOUPS 5423 WITH SCORE 5428.842
AT ITER 1748 NEW BEST:: SOT 15958 SOS 5830 HAS SOPS 5830 HAS SOUS 5422 HAS SOUPS 5422 WITH SCORE 5427.83
AT ITER 1762 NEW BEST:: SOT 15953 SOS 5816 HAS SOPS 5816 HAS SOUS 5419 HAS SOUPS 5419 WITH SCORE 5424.816
AT ITER 1820 NEW BEST:: SOT 15951 SOS 5808 HAS SOPS 5808 HAS SOUS 5413 HAS SOUPS 5413 WITH SCORE 5418.808
AT ITER 1828 NEW BEST:: SOT 15922 SOS 5764 HAS SOPS 5764 HAS SOUS 5359 HAS SOUPS 5359 WITH SCORE 5364.764
AT ITER 1866 NEW BEST:: SOT 15918 SOS 5739 HAS SOPS 5739 HAS SOUS 5337 HAS SOUPS 5337 WITH SCORE 5342.739
AT ITER 1890 NEW BEST:: SOT 15903 SOS 5724 HAS SOPS 5724 HAS SOUS 5282 HAS SOUPS 5282 WITH SCORE 5287.724
AT ITER 1905 NEW BEST:: SOT 15902 SOS 5720 HAS SOPS 5720 HAS SOUS 5278 HAS SOUPS 5278 WITH SCORE 5283.72
AT ITER 1913 NEW BEST:: SOT 15890 SOS 5712 HAS SOPS 5712 HAS SOUS 5258 HAS SOUPS 5258 WITH SCORE 5263.712
AT ITER 1957 NEW BEST:: SOT 15891 SOS 5713 HAS SOPS 5713 HAS SOUS 5251 HAS SOUPS 5251 WITH SCORE 5256.713
AT ITER 1972 NEW BEST:: SOT 15816 SOS 5586 HAS SOPS 5586 HAS SOUS 5143 HAS SOUPS 5143 WITH SCORE 5148.586
AT ITER 2009 NEW BEST:: SOT 15814 SOS 5583 HAS SOPS 5583 HAS SOUS 5140 HAS SOUPS 5140 WITH SCORE 5145.583
AT ITER 2013 NEW BEST:: SOT 15814 SOS 5583 HAS SOPS 5583 HAS SOUS 5139 HAS SOUPS 5139 WITH SCORE 5144.583
AT ITER 2024 NEW BEST:: SOT 15810 SOS 5573 HAS SOPS 5573 HAS SOUS 5135 HAS SOUPS 5135 WITH SCORE 5140.573
AT ITER 2025 NEW BEST:: SOT 15812 SOS 5554 HAS SOPS 5554 HAS SOUS 5129 HAS SOUPS 5129 WITH SCORE 5134.554
AT ITER 2087 NEW BEST:: SOT 15794 SOS 5530 HAS SOPS 5530 HAS SOUS 5101 HAS SOUPS 5101 WITH SCORE 5106.53
AT ITER 2115 NEW BEST:: SOT 15784 SOS 5512 HAS SOPS 5512 HAS SOUS 5087 HAS SOUPS 5087 WITH SCORE 5092.512
AT ITER 2177 NEW BEST:: SOT 15784 SOS 5509 HAS SOPS 5509 HAS SOUS 5087 HAS SOUPS 5087 WITH SCORE 5092.509
AT ITER 2227 NEW BEST:: SOT 15784 SOS 5505 HAS SOPS 5505 HAS SOUS 5087 HAS SOUPS 5087 WITH SCORE 5092.505
AT ITER 2292 NEW BEST:: SOT 15788 SOS 5517 HAS SOPS 5517 HAS SOUS 5079 HAS SOUPS 5079 WITH SCORE 5084.517
AT ITER 2302 NEW BEST:: SOT 15788 SOS 5522 HAS SOPS 5522 HAS SOUS 5074 HAS SOUPS 5074 WITH SCORE 5079.522
AT ITER 2385 NEW BEST:: SOT 15788 SOS 5511 HAS SOPS 5511 HAS SOUS 5063 HAS SOUPS 5063 WITH SCORE 5068.511
AT ITER 2443 NEW BEST:: SOT 15788 SOS 5499 HAS SOPS 5499 HAS SOUS 5062 HAS SOUPS 5062 WITH SCORE 5067.499
AT ITER 2501 NEW BEST:: SOT 15781 SOS 5485 HAS SOPS 5485 HAS SOUS 5058 HAS SOUPS 5058 WITH SCORE 5063.485
AT ITER 2503 NEW BEST:: SOT 15775 SOS 5476 HAS SOPS 5476 HAS SOUS 5049 HAS SOUPS 5049 WITH SCORE 5054.476
AT ITER 2516 NEW BEST:: SOT 15773 SOS 5472 HAS SOPS 5472 HAS SOUS 5044 HAS SOUPS 5044 WITH SCORE 5049.472
AT ITER 2529 NEW BEST:: SOT 15770 SOS 5464 HAS SOPS 5464 HAS SOUS 5037 HAS SOUPS 5037 WITH SCORE 5042.464
AT ITER 2534 NEW BEST:: SOT 15736 SOS 5406 HAS SOPS 5406 HAS SOUS 4976 HAS SOUPS 4976 WITH SCORE 4981.406
AT ITER 2627 NEW BEST:: SOT 15736 SOS 5394 HAS SOPS 5394 HAS SOUS 4975 HAS SOUPS 4975 WITH SCORE 4980.394
AT ITER 2632 NEW BEST:: SOT 15736 SOS 5391 HAS SOPS 5391 HAS SOUS 4975 HAS SOUPS 4975 WITH SCORE 4980.391
AT ITER 2682 NEW BEST:: SOT 15735 SOS 5386 HAS SOPS 5386 HAS SOUS 4971 HAS SOUPS 4971 WITH SCORE 4976.386
AT ITER 2688 NEW BEST:: SOT 15701 SOS 5349 HAS SOPS 5349 HAS SOUS 4950 HAS SOUPS 4950 WITH SCORE 4955.349
AT ITER 2719 NEW BEST:: SOT 15699 SOS 5347 HAS SOPS 5347 HAS SOUS 4947 HAS SOUPS 4947 WITH SCORE 4952.347
AT ITER 2844 NEW BEST:: SOT 15696 SOS 5343 HAS SOPS 5343 HAS SOUS 4943 HAS SOUPS 4943 WITH SCORE 4948.343
AT ITER 2883 NEW BEST:: SOT 15696 SOS 5350 HAS SOPS 5350 HAS SOUS 4941 HAS SOUPS 4941 WITH SCORE 4946.35
AT ITER 2981 NEW BEST:: SOT 15694 SOS 5344 HAS SOPS 5344 HAS SOUS 4936 HAS SOUPS 4936 WITH SCORE 4941.344
AT ITER 3060 NEW BEST:: SOT 15692 SOS 5336 HAS SOPS 5336 HAS SOUS 4930 HAS SOUPS 4930 WITH SCORE 4935.336
AT ITER 3065 NEW BEST:: SOT 15692 SOS 5331 HAS SOPS 5331 HAS SOUS 4925 HAS SOUPS 4925 WITH SCORE 4930.331
AT ITER 3080 NEW BEST:: SOT 15693 SOS 5334 HAS SOPS 5334 HAS SOUS 4924 HAS SOUPS 4924 WITH SCORE 4929.334
AT ITER 3087 NEW BEST:: SOT 15688 SOS 5322 HAS SOPS 5322 HAS SOUS 4912 HAS SOUPS 4912 WITH SCORE 4917.322
AT ITER 3112 NEW BEST:: SOT 15688 SOS 5292 HAS SOPS 5292 HAS SOUS 4897 HAS SOUPS 4897 WITH SCORE 4902.292
AT ITER 3217 NEW BEST:: SOT 15685 SOS 5290 HAS SOPS 5290 HAS SOUS 4894 HAS SOUPS 4894 WITH SCORE 4899.29
AT ITER 3229 NEW BEST:: SOT 15670 SOS 5273 HAS SOPS 5273 HAS SOUS 4877 HAS SOUPS 4877 WITH SCORE 4882.273
AT ITER 3293 NEW BEST:: SOT 15663 SOS 5254 HAS SOPS 5254 HAS SOUS 4868 HAS SOUPS 4868 WITH SCORE 4873.254
AT ITER 3296 NEW BEST:: SOT 15659 SOS 5246 HAS SOPS 5246 HAS SOUS 4860 HAS SOUPS 4860 WITH SCORE 4865.246
AT ITER 3302 NEW BEST:: SOT 15659 SOS 5245 HAS SOPS 5245 HAS SOUS 4860 HAS SOUPS 4860 WITH SCORE 4865.245
AT ITER 3308 NEW BEST:: SOT 15637 SOS 5219 HAS SOPS 5219 HAS SOUS 4823 HAS SOUPS 4823 WITH SCORE 4828.219
AT ITER 3328 NEW BEST:: SOT 15639 SOS 5219 HAS SOPS 5219 HAS SOUS 4821 HAS SOUPS 4821 WITH SCORE 4826.219
AT ITER 3330 NEW BEST:: SOT 15622 SOS 5194 HAS SOPS 5194 HAS SOUS 4796 HAS SOUPS 4796 WITH SCORE 4801.194
AT ITER 3386 NEW BEST:: SOT 15610 SOS 5170 HAS SOPS 5170 HAS SOUS 4772 HAS SOUPS 4772 WITH SCORE 4777.17
AT ITER 3398 NEW BEST:: SOT 15604 SOS 5171 HAS SOPS 5171 HAS SOUS 4767 HAS SOUPS 4767 WITH SCORE 4772.171
AT ITER 3409 NEW BEST:: SOT 15595 SOS 5166 HAS SOPS 5166 HAS SOUS 4758 HAS SOUPS 4758 WITH SCORE 4763.166
AT ITER 3434 NEW BEST:: SOT 15593 SOS 5164 HAS SOPS 5164 HAS SOUS 4755 HAS SOUPS 4755 WITH SCORE 4760.164
AT ITER 3484 NEW BEST:: SOT 15594 SOS 5154 HAS SOPS 5154 HAS SOUS 4743 HAS SOUPS 4743 WITH SCORE 4748.154
AT ITER 3501 NEW BEST:: SOT 15592 SOS 5152 HAS SOPS 5152 HAS SOUS 4736 HAS SOUPS 4736 WITH SCORE 4741.152
AT ITER 3547 NEW BEST:: SOT 15582 SOS 5147 HAS SOPS 5147 HAS SOUS 4731 HAS SOUPS 4731 WITH SCORE 4736.147
AT ITER 3593 NEW BEST:: SOT 15580 SOS 5145 HAS SOPS 5145 HAS SOUS 4729 HAS SOUPS 4729 WITH SCORE 4734.145
AT ITER 3606 NEW BEST:: SOT 15578 SOS 5141 HAS SOPS 5141 HAS SOUS 4725 HAS SOUPS 4725 WITH SCORE 4730.141
AT ITER 3645 NEW BEST:: SOT 15575 SOS 5128 HAS SOPS 5128 HAS SOUS 4721 HAS SOUPS 4721 WITH SCORE 4726.128
AT ITER 3655 NEW BEST:: SOT 15551 SOS 5068 HAS SOPS 5068 HAS SOUS 4675 HAS SOUPS 4675 WITH SCORE 4680.068
AT ITER 3659 NEW BEST:: SOT 15549 SOS 5065 HAS SOPS 5065 HAS SOUS 4669 HAS SOUPS 4669 WITH SCORE 4674.065
AT ITER 3732 NEW BEST:: SOT 15531 SOS 5033 HAS SOPS 5033 HAS SOUS 4638 HAS SOUPS 4638 WITH SCORE 4643.033
AT ITER 3797 NEW BEST:: SOT 15524 SOS 5022 HAS SOPS 5022 HAS SOUS 4628 HAS SOUPS 4628 WITH SCORE 4633.022
AT ITER 3808 NEW BEST:: SOT 15522 SOS 5019 HAS SOPS 5019 HAS SOUS 4625 HAS SOUPS 4625 WITH SCORE 4630.019
AT ITER 3932 NEW BEST:: SOT 15518 SOS 5013 HAS SOPS 5013 HAS SOUS 4618 HAS SOUPS 4618 WITH SCORE 4623.013
AT ITER 3942 NEW BEST:: SOT 15516 SOS 5011 HAS SOPS 5011 HAS SOUS 4618 HAS SOUPS 4618 WITH SCORE 4623.011
AT ITER 4026 NEW BEST:: SOT 15510 SOS 4995 HAS SOPS 4995 HAS SOUS 4607 HAS SOUPS 4607 WITH SCORE 4611.995
AT ITER 4052 NEW BEST:: SOT 15511 SOS 4994 HAS SOPS 4994 HAS SOUS 4607 HAS SOUPS 4607 WITH SCORE 4611.994
AT ITER 4107 NEW BEST:: SOT 15507 SOS 4988 HAS SOPS 4988 HAS SOUS 4601 HAS SOUPS 4601 WITH SCORE 4605.988
AT ITER 4112 NEW BEST:: SOT 15505 SOS 4982 HAS SOPS 4982 HAS SOUS 4598 HAS SOUPS 4598 WITH SCORE 4602.982
AT ITER 4170 NEW BEST:: SOT 15503 SOS 4978 HAS SOPS 4978 HAS SOUS 4594 HAS SOUPS 4594 WITH SCORE 4598.978
AT ITER 4175 NEW BEST:: SOT 15493 SOS 4968 HAS SOPS 4968 HAS SOUS 4580 HAS SOUPS 4580 WITH SCORE 4584.968
AT ITER 4179 NEW BEST:: SOT 15501 SOS 4992 HAS SOPS 4992 HAS SOUS 4577 HAS SOUPS 4577 WITH SCORE 4581.992
AT ITER 4182 NEW BEST:: SOT 15500 SOS 4988 HAS SOPS 4988 HAS SOUS 4577 HAS SOUPS 4577 WITH SCORE 4581.988
AT ITER 4213 NEW BEST:: SOT 15495 SOS 4965 HAS SOPS 4965 HAS SOUS 4567 HAS SOUPS 4567 WITH SCORE 4571.965
AT ITER 4243 NEW BEST:: SOT 15489 SOS 4928 HAS SOPS 4928 HAS SOUS 4560 HAS SOUPS 4560 WITH SCORE 4564.928
AT ITER 4275 NEW BEST:: SOT 15481 SOS 4915 HAS SOPS 4915 HAS SOUS 4547 HAS SOUPS 4547 WITH SCORE 4551.915
AT ITER 4305 NEW BEST:: SOT 15481 SOS 4914 HAS SOPS 4914 HAS SOUS 4547 HAS SOUPS 4547 WITH SCORE 4551.914
AT ITER 4373 NEW BEST:: SOT 15479 SOS 4910 HAS SOPS 4910 HAS SOUS 4543 HAS SOUPS 4543 WITH SCORE 4547.91
AT ITER 4375 NEW BEST:: SOT 15477 SOS 4906 HAS SOPS 4906 HAS SOUS 4541 HAS SOUPS 4541 WITH SCORE 4545.906
AT ITER 4412 NEW BEST:: SOT 15477 SOS 4906 HAS SOPS 4906 HAS SOUS 4540 HAS SOUPS 4540 WITH SCORE 4544.906
AT ITER 4413 NEW BEST:: SOT 15473 SOS 4913 HAS SOPS 4913 HAS SOUS 4534 HAS SOUPS 4534 WITH SCORE 4538.913
AT ITER 4428 NEW BEST:: SOT 15473 SOS 4897 HAS SOPS 4897 HAS SOUS 4526 HAS SOUPS 4526 WITH SCORE 4530.897
AT ITER 4490 NEW BEST:: SOT 15467 SOS 4882 HAS SOPS 4882 HAS SOUS 4517 HAS SOUPS 4517 WITH SCORE 4521.882
AT ITER 4534 NEW BEST:: SOT 15458 SOS 4859 HAS SOPS 4859 HAS SOUS 4498 HAS SOUPS 4498 WITH SCORE 4502.859
AT ITER 4586 NEW BEST:: SOT 15455 SOS 4860 HAS SOPS 4860 HAS SOUS 4489 HAS SOUPS 4489 WITH SCORE 4493.86
AT ITER 4720 NEW BEST:: SOT 15452 SOS 4854 HAS SOPS 4854 HAS SOUS 4484 HAS SOUPS 4484 WITH SCORE 4488.854
AT ITER 4756 NEW BEST:: SOT 15452 SOS 4851 HAS SOPS 4851 HAS SOUS 4484 HAS SOUPS 4484 WITH SCORE 4488.851
AT ITER 4804 NEW BEST:: SOT 15451 SOS 4848 HAS SOPS 4848 HAS SOUS 4482 HAS SOUPS 4482 WITH SCORE 4486.848
AT ITER 4830 NEW BEST:: SOT 15451 SOS 4847 HAS SOPS 4847 HAS SOUS 4481 HAS SOUPS 4481 WITH SCORE 4485.847
AT ITER 4874 NEW BEST:: SOT 15449 SOS 4845 HAS SOPS 4845 HAS SOUS 4478 HAS SOUPS 4478 WITH SCORE 4482.845
AT ITER 4926 NEW BEST:: SOT 15448 SOS 4842 HAS SOPS 4842 HAS SOUS 4474 HAS SOUPS 4474 WITH SCORE 4478.842
AT ITER 4929 NEW BEST:: SOT 15446 SOS 4836 HAS SOPS 4836 HAS SOUS 4466 HAS SOUPS 4466 WITH SCORE 4470.836
AT ITER 4970 NEW BEST:: SOT 15445 SOS 4835 HAS SOPS 4835 HAS SOUS 4464 HAS SOUPS 4464 WITH SCORE 4468.835
AT ITER 4978 NEW BEST:: SOT 15441 SOS 4829 HAS SOPS 4829 HAS SOUS 4461 HAS SOUPS 4461 WITH SCORE 4465.829
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ShieldRVt-PT-020A-CTLCardinality-00 (EG( (EF(( potential( ( 2 ) <= (tk(P146)) ) & potential( (tk(P133)) <= (tk(P157)) ) )))))
PROPERTY: ShieldRVt-PT-020A-CTLCardinality-01 ( ( potential( (tk(P101)) <= (tk(P65)) ) & potential( ( 3 ) <= (tk(P120)) ) ) | (! (EU( potential( (tk(P13)) <= (tk(P137)) ),potential( ( 2 ) <= (tk(P4)) ) ))) )
PROPERTY: ShieldRVt-PT-020A-CTLCardinality-02 (EF((EF(( potential( (tk(P65)) <= (tk(P68)) ) & potential( ( 2 ) <= (tk(P33)) ) )))))
PROPERTY: ShieldRVt-PT-020A-CTLCardinality-03 (AU( (! (! potential( ( 2 ) <= (tk(P15)) ))),(EF(potential( ( 3 ) <= (tk(P70)) ))) ))
PROPERTY: ShieldRVt-PT-020A-CTLCardinality-04 (EF((EU( potential( (tk(P8)) <= (tk(P24)) ),potential( ( 3 ) <= (tk(P92)) ) ))))
PROPERTY: ShieldRVt-PT-020A-CTLCardinality-05 (! ( (EU( potential( (tk(P17)) <= (tk(P97)) ),potential( ( 2 ) <= (tk(P103)) ) )) | (! potential( (tk(P71)) <= (tk(P89)) )) ))
PROPERTY: ShieldRVt-PT-020A-CTLCardinality-06 ( ( ( (AG( potential( ( 2 ) <= (tk(P96)) ))) & (! ( potential( (tk(P162)) <= (tk(P155)) ) & potential( (tk(P82)) <= (tk(P69)) ) )) ) & potential( (tk(P7)) <= (tk(P14)) ) ) | (AG( (EG( potential( (tk(P134)) <= (tk(P97)) ))))) )
PROPERTY: ShieldRVt-PT-020A-CTLCardinality-07 (EF((EG( ( potential( ( 2 ) <= (tk(P126)) ) & potential( ( 1 ) <= (tk(P100)) ) )))))
PROPERTY: ShieldRVt-PT-020A-CTLCardinality-08 (EX( (EF((! potential( (tk(P87)) <= (tk(P33)) ))))))
PROPERTY: ShieldRVt-PT-020A-CTLCardinality-09 (EF((AG( (! potential( (tk(P70)) <= (tk(P27)) ))))))
PROPERTY: ShieldRVt-PT-020A-CTLCardinality-10 ( (! (EF(( potential( ( 3 ) <= (tk(P77)) ) & potential( (tk(P14)) <= (tk(P67)) ) )))) & ( ( (EF(potential( (tk(P160)) <= (tk(P72)) ))) | potential( ( 3 ) <= (tk(P120)) ) ) | (! ( ( potential( ( 1 ) <= (tk(P81)) ) & potential( ( 3 ) <= (tk(P127)) ) ) | (! potential( ( 2 ) <= (tk(P132)) )) )) ) )
PROPERTY: ShieldRVt-PT-020A-CTLCardinality-11 ( (EX( (AG( potential( (tk(P153)) <= (tk(P61)) ))))) & (! (AG( ( potential( ( 1 ) <= (tk(P63)) ) | potential( ( 2 ) <= (tk(P40)) ) )))) )
PROPERTY: ShieldRVt-PT-020A-CTLCardinality-12 ( (EU( (! potential( ( 2 ) <= (tk(P45)) )),( potential( (tk(P95)) <= (tk(P113)) ) | potential( (tk(P145)) <= (tk(P106)) ) ) )) & (AF((AG( potential( (tk(P129)) <= (tk(P69)) ))))) )
PROPERTY: ShieldRVt-PT-020A-CTLCardinality-13 (AG( (EF(( potential( ( 1 ) <= (tk(P153)) ) | potential( (tk(P149)) <= (tk(P3)) ) )))))
PROPERTY: ShieldRVt-PT-020A-CTLCardinality-14 (! (EF(potential( ( 3 ) <= (tk(P127)) ))))
PROPERTY: ShieldRVt-PT-020A-CTLCardinality-15 (EU( ( potential( ( 1 ) <= (tk(P62)) ) | ( potential( (tk(P42)) <= (tk(P146)) ) & potential( (tk(P20)) <= (tk(P39)) ) ) ),( ( potential( (tk(P106)) <= (tk(P4)) ) | potential( ( 1 ) <= (tk(P128)) ) ) & ( potential( ( 2 ) <= (tk(P26)) ) | potential( ( 2 ) <= (tk(P41)) ) ) ) ))
FORMULA ShieldRVt-PT-020A-CTLCardinality-00 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA ShieldRVt-PT-020A-CTLCardinality-01 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA ShieldRVt-PT-020A-CTLCardinality-02 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS

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="ShieldRVt-PT-020A"
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 ShieldRVt-PT-020A, 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-159033470301019"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldRVt-PT-020A.tgz
mv ShieldRVt-PT-020A 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 ;