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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 228K
-rw-r--r-- 1 mcc users 3.7K May 14 02:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 14 02:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 20:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 20:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K May 14 10:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 14 10:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 14 10:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K 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.0K May 13 14:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K May 13 14:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 09:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 09:30 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 60K 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-005B-CTLFireability-00
FORMULA_NAME ShieldRVt-PT-005B-CTLFireability-01
FORMULA_NAME ShieldRVt-PT-005B-CTLFireability-02
FORMULA_NAME ShieldRVt-PT-005B-CTLFireability-03
FORMULA_NAME ShieldRVt-PT-005B-CTLFireability-04
FORMULA_NAME ShieldRVt-PT-005B-CTLFireability-05
FORMULA_NAME ShieldRVt-PT-005B-CTLFireability-06
FORMULA_NAME ShieldRVt-PT-005B-CTLFireability-07
FORMULA_NAME ShieldRVt-PT-005B-CTLFireability-08
FORMULA_NAME ShieldRVt-PT-005B-CTLFireability-09
FORMULA_NAME ShieldRVt-PT-005B-CTLFireability-10
FORMULA_NAME ShieldRVt-PT-005B-CTLFireability-11
FORMULA_NAME ShieldRVt-PT-005B-CTLFireability-12
FORMULA_NAME ShieldRVt-PT-005B-CTLFireability-13
FORMULA_NAME ShieldRVt-PT-005B-CTLFireability-14
FORMULA_NAME ShieldRVt-PT-005B-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590454067184

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVt (PT), instance 005B
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: 253 places, 253 transitions, 596 arcs.
AT ITER 0 NEW BEST:: SOT 34859 SOS 9888 HAS SOPS 9888 HAS SOUS 8890 HAS SOUPS 8890 WITH SCORE 8899.888
AT ITER 3 NEW BEST:: SOT 34853 SOS 9876 HAS SOPS 9876 HAS SOUS 8855 HAS SOUPS 8855 WITH SCORE 8864.876
AT ITER 6 NEW BEST:: SOT 34853 SOS 9854 HAS SOPS 9854 HAS SOUS 8833 HAS SOUPS 8833 WITH SCORE 8842.854
AT ITER 11 NEW BEST:: SOT 34829 SOS 9833 HAS SOPS 9833 HAS SOUS 8805 HAS SOUPS 8805 WITH SCORE 8814.833
AT ITER 24 NEW BEST:: SOT 34829 SOS 9830 HAS SOPS 9830 HAS SOUS 8802 HAS SOUPS 8802 WITH SCORE 8811.83
AT ITER 38 NEW BEST:: SOT 34820 SOS 9803 HAS SOPS 9803 HAS SOUS 8784 HAS SOUPS 8784 WITH SCORE 8793.803
AT ITER 48 NEW BEST:: SOT 34820 SOS 9803 HAS SOPS 9803 HAS SOUS 8780 HAS SOUPS 8780 WITH SCORE 8789.803
AT ITER 52 NEW BEST:: SOT 34807 SOS 9797 HAS SOPS 9797 HAS SOUS 8747 HAS SOUPS 8747 WITH SCORE 8756.797
AT ITER 58 NEW BEST:: SOT 34807 SOS 9781 HAS SOPS 9781 HAS SOUS 8731 HAS SOUPS 8731 WITH SCORE 8740.781
AT ITER 59 NEW BEST:: SOT 34784 SOS 9782 HAS SOPS 9782 HAS SOUS 8708 HAS SOUPS 8708 WITH SCORE 8717.782
AT ITER 64 NEW BEST:: SOT 34791 SOS 9697 HAS SOPS 9697 HAS SOUS 8695 HAS SOUPS 8695 WITH SCORE 8704.697
AT ITER 71 NEW BEST:: SOT 34779 SOS 9661 HAS SOPS 9661 HAS SOUS 8659 HAS SOUPS 8659 WITH SCORE 8668.661
AT ITER 76 NEW BEST:: SOT 34779 SOS 9659 HAS SOPS 9659 HAS SOUS 8658 HAS SOUPS 8658 WITH SCORE 8667.659
AT ITER 85 NEW BEST:: SOT 34752 SOS 9660 HAS SOPS 9660 HAS SOUS 8650 HAS SOUPS 8650 WITH SCORE 8659.66
AT ITER 92 NEW BEST:: SOT 34752 SOS 9594 HAS SOPS 9594 HAS SOUS 8581 HAS SOUPS 8581 WITH SCORE 8590.594
AT ITER 103 NEW BEST:: SOT 34757 SOS 9586 HAS SOPS 9586 HAS SOUS 8573 HAS SOUPS 8573 WITH SCORE 8582.586
AT ITER 117 NEW BEST:: SOT 34757 SOS 9586 HAS SOPS 9586 HAS SOUS 8572 HAS SOUPS 8572 WITH SCORE 8581.586
AT ITER 129 NEW BEST:: SOT 34758 SOS 9560 HAS SOPS 9560 HAS SOUS 8559 HAS SOUPS 8559 WITH SCORE 8568.56
AT ITER 136 NEW BEST:: SOT 34758 SOS 9544 HAS SOPS 9544 HAS SOUS 8543 HAS SOUPS 8543 WITH SCORE 8552.544
AT ITER 140 NEW BEST:: SOT 34758 SOS 9516 HAS SOPS 9516 HAS SOUS 8533 HAS SOUPS 8533 WITH SCORE 8542.516
AT ITER 162 NEW BEST:: SOT 34730 SOS 9491 HAS SOPS 9491 HAS SOUS 8474 HAS SOUPS 8474 WITH SCORE 8483.491
AT ITER 163 NEW BEST:: SOT 34730 SOS 9480 HAS SOPS 9480 HAS SOUS 8474 HAS SOUPS 8474 WITH SCORE 8483.48
AT ITER 177 NEW BEST:: SOT 34769 SOS 9519 HAS SOPS 9519 HAS SOUS 8471 HAS SOUPS 8471 WITH SCORE 8480.519
AT ITER 178 NEW BEST:: SOT 34742 SOS 9495 HAS SOPS 9495 HAS SOUS 8447 HAS SOUPS 8447 WITH SCORE 8456.495
AT ITER 189 NEW BEST:: SOT 34768 SOS 9513 HAS SOPS 9513 HAS SOUS 8431 HAS SOUPS 8431 WITH SCORE 8440.513
AT ITER 204 NEW BEST:: SOT 34794 SOS 9536 HAS SOPS 9536 HAS SOUS 8425 HAS SOUPS 8425 WITH SCORE 8434.536
AT ITER 223 NEW BEST:: SOT 34794 SOS 9535 HAS SOPS 9535 HAS SOUS 8424 HAS SOUPS 8424 WITH SCORE 8433.535
AT ITER 227 NEW BEST:: SOT 34794 SOS 9525 HAS SOPS 9525 HAS SOUS 8422 HAS SOUPS 8422 WITH SCORE 8431.525
AT ITER 228 NEW BEST:: SOT 34794 SOS 9514 HAS SOPS 9514 HAS SOUS 8400 HAS SOUPS 8400 WITH SCORE 8409.514
AT ITER 231 NEW BEST:: SOT 34782 SOS 9447 HAS SOPS 9447 HAS SOUS 8330 HAS SOUPS 8330 WITH SCORE 8339.447
AT ITER 246 NEW BEST:: SOT 34808 SOS 9461 HAS SOPS 9461 HAS SOUS 8322 HAS SOUPS 8322 WITH SCORE 8331.461
AT ITER 284 NEW BEST:: SOT 34817 SOS 9427 HAS SOPS 9427 HAS SOUS 8293 HAS SOUPS 8293 WITH SCORE 8302.427
AT ITER 285 NEW BEST:: SOT 34816 SOS 9419 HAS SOPS 9419 HAS SOUS 8289 HAS SOUPS 8289 WITH SCORE 8298.419
AT ITER 291 NEW BEST:: SOT 34816 SOS 9405 HAS SOPS 9405 HAS SOUS 8289 HAS SOUPS 8289 WITH SCORE 8298.405
AT ITER 298 NEW BEST:: SOT 34805 SOS 9394 HAS SOPS 9394 HAS SOUS 8288 HAS SOUPS 8288 WITH SCORE 8297.394
AT ITER 306 NEW BEST:: SOT 34805 SOS 9391 HAS SOPS 9391 HAS SOUS 8285 HAS SOUPS 8285 WITH SCORE 8294.391
AT ITER 314 NEW BEST:: SOT 34819 SOS 9369 HAS SOPS 9369 HAS SOUS 8263 HAS SOUPS 8263 WITH SCORE 8272.369
AT ITER 317 NEW BEST:: SOT 34815 SOS 9365 HAS SOPS 9365 HAS SOUS 8255 HAS SOUPS 8255 WITH SCORE 8264.365
AT ITER 320 NEW BEST:: SOT 34788 SOS 9320 HAS SOPS 9320 HAS SOUS 8210 HAS SOUPS 8210 WITH SCORE 8219.32
AT ITER 322 NEW BEST:: SOT 34785 SOS 9289 HAS SOPS 9289 HAS SOUS 8182 HAS SOUPS 8182 WITH SCORE 8191.289
AT ITER 335 NEW BEST:: SOT 34785 SOS 9289 HAS SOPS 9289 HAS SOUS 8181 HAS SOUPS 8181 WITH SCORE 8190.289
AT ITER 340 NEW BEST:: SOT 34810 SOS 9339 HAS SOPS 9339 HAS SOUS 8177 HAS SOUPS 8177 WITH SCORE 8186.339
AT ITER 348 NEW BEST:: SOT 34810 SOS 9327 HAS SOPS 9327 HAS SOUS 8165 HAS SOUPS 8165 WITH SCORE 8174.327
AT ITER 360 NEW BEST:: SOT 34810 SOS 9303 HAS SOPS 9303 HAS SOUS 8141 HAS SOUPS 8141 WITH SCORE 8150.303
AT ITER 367 NEW BEST:: SOT 34852 SOS 9341 HAS SOPS 9341 HAS SOUS 8114 HAS SOUPS 8114 WITH SCORE 8123.341
AT ITER 384 NEW BEST:: SOT 34852 SOS 9341 HAS SOPS 9341 HAS SOUS 8111 HAS SOUPS 8111 WITH SCORE 8120.341
AT ITER 390 NEW BEST:: SOT 34827 SOS 9304 HAS SOPS 9304 HAS SOUS 8079 HAS SOUPS 8079 WITH SCORE 8088.304
AT ITER 392 NEW BEST:: SOT 34825 SOS 9300 HAS SOPS 9300 HAS SOUS 8075 HAS SOUPS 8075 WITH SCORE 8084.3
AT ITER 396 NEW BEST:: SOT 34825 SOS 9300 HAS SOPS 9300 HAS SOUS 8062 HAS SOUPS 8062 WITH SCORE 8071.3
AT ITER 402 NEW BEST:: SOT 34838 SOS 9289 HAS SOPS 9289 HAS SOUS 8051 HAS SOUPS 8051 WITH SCORE 8060.289
AT ITER 403 NEW BEST:: SOT 34823 SOS 9224 HAS SOPS 9224 HAS SOUS 8001 HAS SOUPS 8001 WITH SCORE 8010.224
AT ITER 407 NEW BEST:: SOT 34823 SOS 9196 HAS SOPS 9196 HAS SOUS 7973 HAS SOUPS 7973 WITH SCORE 7982.196
AT ITER 421 NEW BEST:: SOT 34811 SOS 9184 HAS SOPS 9184 HAS SOUS 7961 HAS SOUPS 7961 WITH SCORE 7970.184
AT ITER 426 NEW BEST:: SOT 34811 SOS 9154 HAS SOPS 9154 HAS SOUS 7961 HAS SOUPS 7961 WITH SCORE 7970.154
AT ITER 430 NEW BEST:: SOT 34791 SOS 9075 HAS SOPS 9075 HAS SOUS 7911 HAS SOUPS 7911 WITH SCORE 7920.075
AT ITER 444 NEW BEST:: SOT 34773 SOS 8996 HAS SOPS 8996 HAS SOUS 7856 HAS SOUPS 7856 WITH SCORE 7864.996
AT ITER 464 NEW BEST:: SOT 34763 SOS 8966 HAS SOPS 8966 HAS SOUS 7836 HAS SOUPS 7836 WITH SCORE 7844.966
AT ITER 470 NEW BEST:: SOT 34760 SOS 8960 HAS SOPS 8960 HAS SOUS 7803 HAS SOUPS 7803 WITH SCORE 7811.96
AT ITER 473 NEW BEST:: SOT 34741 SOS 8952 HAS SOPS 8952 HAS SOUS 7785 HAS SOUPS 7785 WITH SCORE 7793.952
AT ITER 474 NEW BEST:: SOT 34741 SOS 8923 HAS SOPS 8923 HAS SOUS 7756 HAS SOUPS 7756 WITH SCORE 7764.923
AT ITER 475 NEW BEST:: SOT 34741 SOS 8875 HAS SOPS 8875 HAS SOUS 7751 HAS SOUPS 7751 WITH SCORE 7759.875
AT ITER 506 NEW BEST:: SOT 34721 SOS 8835 HAS SOPS 8835 HAS SOUS 7666 HAS SOUPS 7666 WITH SCORE 7674.835
AT ITER 513 NEW BEST:: SOT 34716 SOS 8825 HAS SOPS 8825 HAS SOUS 7666 HAS SOUPS 7666 WITH SCORE 7674.825
AT ITER 525 NEW BEST:: SOT 34705 SOS 8803 HAS SOPS 8803 HAS SOUS 7632 HAS SOUPS 7632 WITH SCORE 7640.803
AT ITER 529 NEW BEST:: SOT 34697 SOS 8787 HAS SOPS 8787 HAS SOUS 7616 HAS SOUPS 7616 WITH SCORE 7624.787
AT ITER 539 NEW BEST:: SOT 34700 SOS 8765 HAS SOPS 8765 HAS SOUS 7616 HAS SOUPS 7616 WITH SCORE 7624.765
AT ITER 558 NEW BEST:: SOT 34663 SOS 8645 HAS SOPS 8645 HAS SOUS 7554 HAS SOUPS 7554 WITH SCORE 7562.645
AT ITER 562 NEW BEST:: SOT 34661 SOS 8641 HAS SOPS 8641 HAS SOUS 7550 HAS SOUPS 7550 WITH SCORE 7558.641
AT ITER 583 NEW BEST:: SOT 34637 SOS 8580 HAS SOPS 8580 HAS SOUS 7489 HAS SOUPS 7489 WITH SCORE 7497.58
AT ITER 587 NEW BEST:: SOT 34630 SOS 8566 HAS SOPS 8566 HAS SOUS 7478 HAS SOUPS 7478 WITH SCORE 7486.566
AT ITER 597 NEW BEST:: SOT 34624 SOS 8548 HAS SOPS 8548 HAS SOUS 7472 HAS SOUPS 7472 WITH SCORE 7480.548
AT ITER 603 NEW BEST:: SOT 34624 SOS 8541 HAS SOPS 8541 HAS SOUS 7465 HAS SOUPS 7465 WITH SCORE 7473.541
AT ITER 632 NEW BEST:: SOT 34624 SOS 8510 HAS SOPS 8510 HAS SOUS 7452 HAS SOUPS 7452 WITH SCORE 7460.51
AT ITER 657 NEW BEST:: SOT 34624 SOS 8496 HAS SOPS 8496 HAS SOUS 7438 HAS SOUPS 7438 WITH SCORE 7446.496
AT ITER 675 NEW BEST:: SOT 34592 SOS 8464 HAS SOPS 8464 HAS SOUS 7406 HAS SOUPS 7406 WITH SCORE 7414.464
AT ITER 677 NEW BEST:: SOT 34572 SOS 8424 HAS SOPS 8424 HAS SOUS 7386 HAS SOUPS 7386 WITH SCORE 7394.424
AT ITER 700 NEW BEST:: SOT 34547 SOS 8349 HAS SOPS 8349 HAS SOUS 7336 HAS SOUPS 7336 WITH SCORE 7344.349
AT ITER 705 NEW BEST:: SOT 34567 SOS 8389 HAS SOPS 8389 HAS SOUS 7326 HAS SOUPS 7326 WITH SCORE 7334.389
AT ITER 707 NEW BEST:: SOT 34562 SOS 8374 HAS SOPS 8374 HAS SOUS 7321 HAS SOUPS 7321 WITH SCORE 7329.374
AT ITER 711 NEW BEST:: SOT 34548 SOS 8346 HAS SOPS 8346 HAS SOUS 7293 HAS SOUPS 7293 WITH SCORE 7301.346
AT ITER 724 NEW BEST:: SOT 34534 SOS 8235 HAS SOPS 8235 HAS SOUS 7231 HAS SOUPS 7231 WITH SCORE 7239.235
AT ITER 730 NEW BEST:: SOT 34524 SOS 8167 HAS SOPS 8167 HAS SOUS 7215 HAS SOUPS 7215 WITH SCORE 7223.167
AT ITER 731 NEW BEST:: SOT 34511 SOS 8129 HAS SOPS 8129 HAS SOUS 7201 HAS SOUPS 7201 WITH SCORE 7209.129
AT ITER 734 NEW BEST:: SOT 34511 SOS 8119 HAS SOPS 8119 HAS SOUS 7191 HAS SOUPS 7191 WITH SCORE 7199.119
AT ITER 737 NEW BEST:: SOT 34511 SOS 8111 HAS SOPS 8111 HAS SOUS 7191 HAS SOUPS 7191 WITH SCORE 7199.111
AT ITER 754 NEW BEST:: SOT 34499 SOS 8075 HAS SOPS 8075 HAS SOUS 7167 HAS SOUPS 7167 WITH SCORE 7175.075
AT ITER 764 NEW BEST:: SOT 34497 SOS 8060 HAS SOPS 8060 HAS SOUS 7152 HAS SOUPS 7152 WITH SCORE 7160.06
AT ITER 766 NEW BEST:: SOT 34496 SOS 8058 HAS SOPS 8058 HAS SOUS 7134 HAS SOUPS 7134 WITH SCORE 7142.058
AT ITER 780 NEW BEST:: SOT 34468 SOS 7934 HAS SOPS 7934 HAS SOUS 7070 HAS SOUPS 7070 WITH SCORE 7077.934
AT ITER 816 NEW BEST:: SOT 34467 SOS 7935 HAS SOPS 7935 HAS SOUS 7068 HAS SOUPS 7068 WITH SCORE 7075.935
AT ITER 817 NEW BEST:: SOT 34460 SOS 7927 HAS SOPS 7927 HAS SOUS 7060 HAS SOUPS 7060 WITH SCORE 7067.927
AT ITER 826 NEW BEST:: SOT 34460 SOS 7902 HAS SOPS 7902 HAS SOUS 7060 HAS SOUPS 7060 WITH SCORE 7067.902
AT ITER 830 NEW BEST:: SOT 34447 SOS 7863 HAS SOPS 7863 HAS SOUS 7047 HAS SOUPS 7047 WITH SCORE 7054.863
AT ITER 837 NEW BEST:: SOT 34445 SOS 7862 HAS SOPS 7862 HAS SOUS 7043 HAS SOUPS 7043 WITH SCORE 7050.862
AT ITER 849 NEW BEST:: SOT 34438 SOS 7879 HAS SOPS 7879 HAS SOUS 7039 HAS SOUPS 7039 WITH SCORE 7046.879
AT ITER 851 NEW BEST:: SOT 34438 SOS 7869 HAS SOPS 7869 HAS SOUS 7029 HAS SOUPS 7029 WITH SCORE 7036.869
AT ITER 857 NEW BEST:: SOT 34431 SOS 7878 HAS SOPS 7878 HAS SOUS 7025 HAS SOUPS 7025 WITH SCORE 7032.878
AT ITER 865 NEW BEST:: SOT 34422 SOS 7818 HAS SOPS 7818 HAS SOUS 7014 HAS SOUPS 7014 WITH SCORE 7021.818
AT ITER 920 NEW BEST:: SOT 34417 SOS 7799 HAS SOPS 7799 HAS SOUS 7009 HAS SOUPS 7009 WITH SCORE 7016.799
AT ITER 928 NEW BEST:: SOT 34422 SOS 7785 HAS SOPS 7785 HAS SOUS 7002 HAS SOUPS 7002 WITH SCORE 7009.785
AT ITER 930 NEW BEST:: SOT 34394 SOS 7748 HAS SOPS 7748 HAS SOUS 6947 HAS SOUPS 6947 WITH SCORE 6954.748
AT ITER 934 NEW BEST:: SOT 34409 SOS 7707 HAS SOPS 7707 HAS SOUS 6915 HAS SOUPS 6915 WITH SCORE 6922.707
AT ITER 937 NEW BEST:: SOT 34409 SOS 7704 HAS SOPS 7704 HAS SOUS 6912 HAS SOUPS 6912 WITH SCORE 6919.704
AT ITER 942 NEW BEST:: SOT 34409 SOS 7704 HAS SOPS 7704 HAS SOUS 6887 HAS SOUPS 6887 WITH SCORE 6894.704
AT ITER 948 NEW BEST:: SOT 34456 SOS 7732 HAS SOPS 7732 HAS SOUS 6877 HAS SOUPS 6877 WITH SCORE 6884.732
AT ITER 960 NEW BEST:: SOT 34453 SOS 7720 HAS SOPS 7720 HAS SOUS 6868 HAS SOUPS 6868 WITH SCORE 6875.72
AT ITER 974 NEW BEST:: SOT 34453 SOS 7716 HAS SOPS 7716 HAS SOUS 6868 HAS SOUPS 6868 WITH SCORE 6875.716
AT ITER 983 NEW BEST:: SOT 34453 SOS 7716 HAS SOPS 7716 HAS SOUS 6865 HAS SOUPS 6865 WITH SCORE 6872.716
AT ITER 1005 NEW BEST:: SOT 34453 SOS 7715 HAS SOPS 7715 HAS SOUS 6864 HAS SOUPS 6864 WITH SCORE 6871.715
AT ITER 1007 NEW BEST:: SOT 34453 SOS 7712 HAS SOPS 7712 HAS SOUS 6861 HAS SOUPS 6861 WITH SCORE 6868.712
AT ITER 1015 NEW BEST:: SOT 34453 SOS 7712 HAS SOPS 7712 HAS SOUS 6858 HAS SOUPS 6858 WITH SCORE 6865.712
AT ITER 1044 NEW BEST:: SOT 34454 SOS 7674 HAS SOPS 7674 HAS SOUS 6847 HAS SOUPS 6847 WITH SCORE 6854.674
AT ITER 1079 NEW BEST:: SOT 34448 SOS 7662 HAS SOPS 7662 HAS SOUS 6835 HAS SOUPS 6835 WITH SCORE 6842.662
AT ITER 1107 NEW BEST:: SOT 34449 SOS 7550 HAS SOPS 7550 HAS SOUS 6808 HAS SOUPS 6808 WITH SCORE 6815.55
AT ITER 1142 NEW BEST:: SOT 34452 SOS 7562 HAS SOPS 7562 HAS SOUS 6806 HAS SOUPS 6806 WITH SCORE 6813.562
AT ITER 1143 NEW BEST:: SOT 34451 SOS 7556 HAS SOPS 7556 HAS SOUS 6804 HAS SOUPS 6804 WITH SCORE 6811.556
AT ITER 1147 NEW BEST:: SOT 34446 SOS 7554 HAS SOPS 7554 HAS SOUS 6791 HAS SOUPS 6791 WITH SCORE 6798.554
AT ITER 1155 NEW BEST:: SOT 34409 SOS 7540 HAS SOPS 7540 HAS SOUS 6754 HAS SOUPS 6754 WITH SCORE 6761.54
AT ITER 1158 NEW BEST:: SOT 34409 SOS 7536 HAS SOPS 7536 HAS SOUS 6754 HAS SOUPS 6754 WITH SCORE 6761.536
AT ITER 1190 NEW BEST:: SOT 34409 SOS 7518 HAS SOPS 7518 HAS SOUS 6754 HAS SOUPS 6754 WITH SCORE 6761.518
AT ITER 1206 NEW BEST:: SOT 34403 SOS 7487 HAS SOPS 7487 HAS SOUS 6729 HAS SOUPS 6729 WITH SCORE 6736.487
AT ITER 1207 NEW BEST:: SOT 34403 SOS 7473 HAS SOPS 7473 HAS SOUS 6715 HAS SOUPS 6715 WITH SCORE 6722.473
AT ITER 1232 NEW BEST:: SOT 34403 SOS 7471 HAS SOPS 7471 HAS SOUS 6713 HAS SOUPS 6713 WITH SCORE 6720.471
AT ITER 1235 NEW BEST:: SOT 34405 SOS 7475 HAS SOPS 7475 HAS SOUS 6711 HAS SOUPS 6711 WITH SCORE 6718.475
AT ITER 1237 NEW BEST:: SOT 34411 SOS 7458 HAS SOPS 7458 HAS SOUS 6694 HAS SOUPS 6694 WITH SCORE 6701.458
AT ITER 1246 NEW BEST:: SOT 34391 SOS 7449 HAS SOPS 7449 HAS SOUS 6674 HAS SOUPS 6674 WITH SCORE 6681.449
AT ITER 1254 NEW BEST:: SOT 34384 SOS 7435 HAS SOPS 7435 HAS SOUS 6663 HAS SOUPS 6663 WITH SCORE 6670.435
AT ITER 1294 NEW BEST:: SOT 34367 SOS 7401 HAS SOPS 7401 HAS SOUS 6659 HAS SOUPS 6659 WITH SCORE 6666.401
AT ITER 1300 NEW BEST:: SOT 34357 SOS 7391 HAS SOPS 7391 HAS SOUS 6649 HAS SOUPS 6649 WITH SCORE 6656.391
AT ITER 1319 NEW BEST:: SOT 34329 SOS 7335 HAS SOPS 7335 HAS SOUS 6593 HAS SOUPS 6593 WITH SCORE 6600.335
AT ITER 1332 NEW BEST:: SOT 34324 SOS 7312 HAS SOPS 7312 HAS SOUS 6587 HAS SOUPS 6587 WITH SCORE 6594.312
AT ITER 1334 NEW BEST:: SOT 34324 SOS 7311 HAS SOPS 7311 HAS SOUS 6586 HAS SOUPS 6586 WITH SCORE 6593.311
AT ITER 1339 NEW BEST:: SOT 34324 SOS 7299 HAS SOPS 7299 HAS SOUS 6574 HAS SOUPS 6574 WITH SCORE 6581.299
AT ITER 1342 NEW BEST:: SOT 34318 SOS 7301 HAS SOPS 7301 HAS SOUS 6568 HAS SOUPS 6568 WITH SCORE 6575.301
AT ITER 1362 NEW BEST:: SOT 34314 SOS 7302 HAS SOPS 7302 HAS SOUS 6564 HAS SOUPS 6564 WITH SCORE 6571.302
AT ITER 1365 NEW BEST:: SOT 34314 SOS 7287 HAS SOPS 7287 HAS SOUS 6549 HAS SOUPS 6549 WITH SCORE 6556.287
AT ITER 1386 NEW BEST:: SOT 34324 SOS 7297 HAS SOPS 7297 HAS SOUS 6545 HAS SOUPS 6545 WITH SCORE 6552.297
AT ITER 1400 NEW BEST:: SOT 34309 SOS 7287 HAS SOPS 7287 HAS SOUS 6535 HAS SOUPS 6535 WITH SCORE 6542.287
AT ITER 1405 NEW BEST:: SOT 34309 SOS 7281 HAS SOPS 7281 HAS SOUS 6535 HAS SOUPS 6535 WITH SCORE 6542.281
AT ITER 1427 NEW BEST:: SOT 34289 SOS 7241 HAS SOPS 7241 HAS SOUS 6496 HAS SOUPS 6496 WITH SCORE 6503.241
AT ITER 1449 NEW BEST:: SOT 34288 SOS 7239 HAS SOPS 7239 HAS SOUS 6495 HAS SOUPS 6495 WITH SCORE 6502.239
AT ITER 1487 NEW BEST:: SOT 34312 SOS 7244 HAS SOPS 7244 HAS SOUS 6492 HAS SOUPS 6492 WITH SCORE 6499.244
AT ITER 1489 NEW BEST:: SOT 34311 SOS 7246 HAS SOPS 7246 HAS SOUS 6490 HAS SOUPS 6490 WITH SCORE 6497.246
AT ITER 1509 NEW BEST:: SOT 34311 SOS 7246 HAS SOPS 7246 HAS SOUS 6488 HAS SOUPS 6488 WITH SCORE 6495.246
AT ITER 1560 NEW BEST:: SOT 34311 SOS 7234 HAS SOPS 7234 HAS SOUS 6488 HAS SOUPS 6488 WITH SCORE 6495.234
AT ITER 1581 NEW BEST:: SOT 34368 SOS 7315 HAS SOPS 7315 HAS SOUS 6462 HAS SOUPS 6462 WITH SCORE 6469.315
AT ITER 1603 NEW BEST:: SOT 34368 SOS 7300 HAS SOPS 7300 HAS SOUS 6459 HAS SOUPS 6459 WITH SCORE 6466.3
AT ITER 1612 NEW BEST:: SOT 34368 SOS 7300 HAS SOPS 7300 HAS SOUS 6454 HAS SOUPS 6454 WITH SCORE 6461.3
AT ITER 1630 NEW BEST:: SOT 34362 SOS 7288 HAS SOPS 7288 HAS SOUS 6448 HAS SOUPS 6448 WITH SCORE 6455.288
AT ITER 1652 NEW BEST:: SOT 34362 SOS 7276 HAS SOPS 7276 HAS SOUS 6448 HAS SOUPS 6448 WITH SCORE 6455.276
AT ITER 1665 NEW BEST:: SOT 34362 SOS 7293 HAS SOPS 7293 HAS SOUS 6447 HAS SOUPS 6447 WITH SCORE 6454.293
AT ITER 1699 NEW BEST:: SOT 34359 SOS 7267 HAS SOPS 7267 HAS SOUS 6411 HAS SOUPS 6411 WITH SCORE 6418.267
AT ITER 1706 NEW BEST:: SOT 34357 SOS 7261 HAS SOPS 7261 HAS SOUS 6407 HAS SOUPS 6407 WITH SCORE 6414.261
AT ITER 1712 NEW BEST:: SOT 34352 SOS 7234 HAS SOPS 7234 HAS SOUS 6392 HAS SOUPS 6392 WITH SCORE 6399.234
AT ITER 1717 NEW BEST:: SOT 34345 SOS 7132 HAS SOPS 7132 HAS SOUS 6317 HAS SOUPS 6317 WITH SCORE 6324.132
AT ITER 1743 NEW BEST:: SOT 34341 SOS 7124 HAS SOPS 7124 HAS SOUS 6309 HAS SOUPS 6309 WITH SCORE 6316.124
AT ITER 1750 NEW BEST:: SOT 34358 SOS 7143 HAS SOPS 7143 HAS SOUS 6297 HAS SOUPS 6297 WITH SCORE 6304.143
AT ITER 1775 NEW BEST:: SOT 34353 SOS 7124 HAS SOPS 7124 HAS SOUS 6296 HAS SOUPS 6296 WITH SCORE 6303.124
AT ITER 1793 NEW BEST:: SOT 34353 SOS 7123 HAS SOPS 7123 HAS SOUS 6295 HAS SOUPS 6295 WITH SCORE 6302.123
AT ITER 1834 NEW BEST:: SOT 34331 SOS 7072 HAS SOPS 7072 HAS SOUS 6267 HAS SOUPS 6267 WITH SCORE 6274.072
AT ITER 1841 NEW BEST:: SOT 34338 SOS 7063 HAS SOPS 7063 HAS SOUS 6258 HAS SOUPS 6258 WITH SCORE 6265.063
AT ITER 1845 NEW BEST:: SOT 34327 SOS 7063 HAS SOPS 7063 HAS SOUS 6250 HAS SOUPS 6250 WITH SCORE 6257.063
AT ITER 1886 NEW BEST:: SOT 34327 SOS 7063 HAS SOPS 7063 HAS SOUS 6247 HAS SOUPS 6247 WITH SCORE 6254.063
AT ITER 1914 NEW BEST:: SOT 34315 SOS 7039 HAS SOPS 7039 HAS SOUS 6242 HAS SOUPS 6242 WITH SCORE 6249.039
AT ITER 1920 NEW BEST:: SOT 34313 SOS 7037 HAS SOPS 7037 HAS SOUS 6240 HAS SOUPS 6240 WITH SCORE 6247.037
AT ITER 1946 NEW BEST:: SOT 34283 SOS 7003 HAS SOPS 7003 HAS SOUS 6194 HAS SOUPS 6194 WITH SCORE 6201.003
AT ITER 1982 NEW BEST:: SOT 34283 SOS 7003 HAS SOPS 7003 HAS SOUS 6187 HAS SOUPS 6187 WITH SCORE 6194.003
AT ITER 1996 NEW BEST:: SOT 34277 SOS 7013 HAS SOPS 7013 HAS SOUS 6181 HAS SOUPS 6181 WITH SCORE 6188.013
AT ITER 1997 NEW BEST:: SOT 34276 SOS 6991 HAS SOPS 6991 HAS SOUS 6169 HAS SOUPS 6169 WITH SCORE 6175.991
AT ITER 2060 NEW BEST:: SOT 34276 SOS 6981 HAS SOPS 6981 HAS SOUS 6169 HAS SOUPS 6169 WITH SCORE 6175.981
AT ITER 2093 NEW BEST:: SOT 34270 SOS 6969 HAS SOPS 6969 HAS SOUS 6157 HAS SOUPS 6157 WITH SCORE 6163.969
AT ITER 2133 NEW BEST:: SOT 34270 SOS 6968 HAS SOPS 6968 HAS SOUS 6156 HAS SOUPS 6156 WITH SCORE 6162.968
AT ITER 2143 NEW BEST:: SOT 34270 SOS 6962 HAS SOPS 6962 HAS SOUS 6153 HAS SOUPS 6153 WITH SCORE 6159.962
AT ITER 2146 NEW BEST:: SOT 34270 SOS 6955 HAS SOPS 6955 HAS SOUS 6153 HAS SOUPS 6153 WITH SCORE 6159.955
AT ITER 2157 NEW BEST:: SOT 34235 SOS 6903 HAS SOPS 6903 HAS SOUS 6101 HAS SOUPS 6101 WITH SCORE 6107.903
AT ITER 2160 NEW BEST:: SOT 34233 SOS 6899 HAS SOPS 6899 HAS SOUS 6101 HAS SOUPS 6101 WITH SCORE 6107.899
AT ITER 2192 NEW BEST:: SOT 34194 SOS 6821 HAS SOPS 6821 HAS SOUS 6054 HAS SOUPS 6054 WITH SCORE 6060.821
AT ITER 2202 NEW BEST:: SOT 34192 SOS 6817 HAS SOPS 6817 HAS SOUS 6049 HAS SOUPS 6049 WITH SCORE 6055.817
AT ITER 2217 NEW BEST:: SOT 34192 SOS 6812 HAS SOPS 6812 HAS SOUS 6039 HAS SOUPS 6039 WITH SCORE 6045.812
AT ITER 2225 NEW BEST:: SOT 34187 SOS 6810 HAS SOPS 6810 HAS SOUS 6034 HAS SOUPS 6034 WITH SCORE 6040.81
AT ITER 2296 NEW BEST:: SOT 34187 SOS 6810 HAS SOPS 6810 HAS SOUS 6030 HAS SOUPS 6030 WITH SCORE 6036.81
AT ITER 2423 NEW BEST:: SOT 34193 SOS 6775 HAS SOPS 6775 HAS SOUS 6028 HAS SOUPS 6028 WITH SCORE 6034.775
AT ITER 2436 NEW BEST:: SOT 34181 SOS 6772 HAS SOPS 6772 HAS SOUS 6010 HAS SOUPS 6010 WITH SCORE 6016.772
AT ITER 2445 NEW BEST:: SOT 34181 SOS 6781 HAS SOPS 6781 HAS SOUS 6005 HAS SOUPS 6005 WITH SCORE 6011.781
AT ITER 2538 NEW BEST:: SOT 34181 SOS 6780 HAS SOPS 6780 HAS SOUS 6004 HAS SOUPS 6004 WITH SCORE 6010.78
AT ITER 2553 NEW BEST:: SOT 34155 SOS 6751 HAS SOPS 6751 HAS SOUS 6001 HAS SOUPS 6001 WITH SCORE 6007.751
AT ITER 2597 NEW BEST:: SOT 34149 SOS 6732 HAS SOPS 6732 HAS SOUS 5982 HAS SOUPS 5982 WITH SCORE 5988.732
AT ITER 2600 NEW BEST:: SOT 34126 SOS 6760 HAS SOPS 6760 HAS SOUS 5962 HAS SOUPS 5962 WITH SCORE 5968.76
AT ITER 2610 NEW BEST:: SOT 34115 SOS 6738 HAS SOPS 6738 HAS SOUS 5940 HAS SOUPS 5940 WITH SCORE 5946.738
AT ITER 2625 NEW BEST:: SOT 34116 SOS 6737 HAS SOPS 6737 HAS SOUS 5939 HAS SOUPS 5939 WITH SCORE 5945.737
AT ITER 2631 NEW BEST:: SOT 34116 SOS 6692 HAS SOPS 6692 HAS SOUS 5894 HAS SOUPS 5894 WITH SCORE 5900.692
AT ITER 2642 NEW BEST:: SOT 34100 SOS 6685 HAS SOPS 6685 HAS SOUS 5884 HAS SOUPS 5884 WITH SCORE 5890.685
AT ITER 2645 NEW BEST:: SOT 34070 SOS 6672 HAS SOPS 6672 HAS SOUS 5871 HAS SOUPS 5871 WITH SCORE 5877.672
AT ITER 2690 NEW BEST:: SOT 34036 SOS 6632 HAS SOPS 6632 HAS SOUS 5838 HAS SOUPS 5838 WITH SCORE 5844.632
AT ITER 2700 NEW BEST:: SOT 34057 SOS 6674 HAS SOPS 6674 HAS SOUS 5835 HAS SOUPS 5835 WITH SCORE 5841.674
AT ITER 2725 NEW BEST:: SOT 34057 SOS 6674 HAS SOPS 6674 HAS SOUS 5833 HAS SOUPS 5833 WITH SCORE 5839.674
AT ITER 2769 NEW BEST:: SOT 34057 SOS 6664 HAS SOPS 6664 HAS SOUS 5823 HAS SOUPS 5823 WITH SCORE 5829.664
AT ITER 2774 NEW BEST:: SOT 34057 SOS 6622 HAS SOPS 6622 HAS SOUS 5809 HAS SOUPS 5809 WITH SCORE 5815.622
AT ITER 2804 NEW BEST:: SOT 34040 SOS 6577 HAS SOPS 6577 HAS SOUS 5794 HAS SOUPS 5794 WITH SCORE 5800.577
AT ITER 2845 NEW BEST:: SOT 34038 SOS 6561 HAS SOPS 6561 HAS SOUS 5778 HAS SOUPS 5778 WITH SCORE 5784.561
AT ITER 2847 NEW BEST:: SOT 34031 SOS 6547 HAS SOPS 6547 HAS SOUS 5771 HAS SOUPS 5771 WITH SCORE 5777.547
AT ITER 2859 NEW BEST:: SOT 34017 SOS 6541 HAS SOPS 6541 HAS SOUS 5757 HAS SOUPS 5757 WITH SCORE 5763.541
AT ITER 2860 NEW BEST:: SOT 34022 SOS 6531 HAS SOPS 6531 HAS SOUS 5757 HAS SOUPS 5757 WITH SCORE 5763.531
AT ITER 2871 NEW BEST:: SOT 34022 SOS 6502 HAS SOPS 6502 HAS SOUS 5726 HAS SOUPS 5726 WITH SCORE 5732.502
AT ITER 2880 NEW BEST:: SOT 34022 SOS 6501 HAS SOPS 6501 HAS SOUS 5725 HAS SOUPS 5725 WITH SCORE 5731.501
AT ITER 2888 NEW BEST:: SOT 34022 SOS 6497 HAS SOPS 6497 HAS SOUS 5723 HAS SOUPS 5723 WITH SCORE 5729.497
AT ITER 2903 NEW BEST:: SOT 34031 SOS 6471 HAS SOPS 6471 HAS SOUS 5722 HAS SOUPS 5722 WITH SCORE 5728.471
AT ITER 2921 NEW BEST:: SOT 34026 SOS 6458 HAS SOPS 6458 HAS SOUS 5718 HAS SOUPS 5718 WITH SCORE 5724.458
AT ITER 2952 NEW BEST:: SOT 34026 SOS 6447 HAS SOPS 6447 HAS SOUS 5717 HAS SOUPS 5717 WITH SCORE 5723.447
AT ITER 2982 NEW BEST:: SOT 34029 SOS 6429 HAS SOPS 6429 HAS SOUS 5699 HAS SOUPS 5699 WITH SCORE 5705.429
AT ITER 2996 NEW BEST:: SOT 34026 SOS 6379 HAS SOPS 6379 HAS SOUS 5691 HAS SOUPS 5691 WITH SCORE 5697.379
AT ITER 3027 NEW BEST:: SOT 34022 SOS 6375 HAS SOPS 6375 HAS SOUS 5683 HAS SOUPS 5683 WITH SCORE 5689.375
AT ITER 3048 NEW BEST:: SOT 34021 SOS 6374 HAS SOPS 6374 HAS SOUS 5681 HAS SOUPS 5681 WITH SCORE 5687.374
AT ITER 3067 NEW BEST:: SOT 34020 SOS 6372 HAS SOPS 6372 HAS SOUS 5680 HAS SOUPS 5680 WITH SCORE 5686.372
AT ITER 3084 NEW BEST:: SOT 34005 SOS 6342 HAS SOPS 6342 HAS SOUS 5635 HAS SOUPS 5635 WITH SCORE 5641.342
AT ITER 3113 NEW BEST:: SOT 33970 SOS 6272 HAS SOPS 6272 HAS SOUS 5600 HAS SOUPS 5600 WITH SCORE 5606.272
AT ITER 3137 NEW BEST:: SOT 33978 SOS 6262 HAS SOPS 6262 HAS SOUS 5600 HAS SOUPS 5600 WITH SCORE 5606.262
AT ITER 3167 NEW BEST:: SOT 33978 SOS 6261 HAS SOPS 6261 HAS SOUS 5599 HAS SOUPS 5599 WITH SCORE 5605.261
AT ITER 3236 NEW BEST:: SOT 33977 SOS 6241 HAS SOPS 6241 HAS SOUS 5597 HAS SOUPS 5597 WITH SCORE 5603.241
AT ITER 3238 NEW BEST:: SOT 33977 SOS 6227 HAS SOPS 6227 HAS SOUS 5590 HAS SOUPS 5590 WITH SCORE 5596.227
AT ITER 3249 NEW BEST:: SOT 33974 SOS 6217 HAS SOPS 6217 HAS SOUS 5586 HAS SOUPS 5586 WITH SCORE 5592.217
AT ITER 3255 NEW BEST:: SOT 33974 SOS 6217 HAS SOPS 6217 HAS SOUS 5579 HAS SOUPS 5579 WITH SCORE 5585.217
AT ITER 3271 NEW BEST:: SOT 33945 SOS 6159 HAS SOPS 6159 HAS SOUS 5530 HAS SOUPS 5530 WITH SCORE 5536.159
AT ITER 3317 NEW BEST:: SOT 33940 SOS 6149 HAS SOPS 6149 HAS SOUS 5521 HAS SOUPS 5521 WITH SCORE 5527.149
AT ITER 3341 NEW BEST:: SOT 33933 SOS 6148 HAS SOPS 6148 HAS SOUS 5519 HAS SOUPS 5519 WITH SCORE 5525.148
AT ITER 3343 NEW BEST:: SOT 33930 SOS 6156 HAS SOPS 6156 HAS SOUS 5511 HAS SOUPS 5511 WITH SCORE 5517.156
AT ITER 3370 NEW BEST:: SOT 33928 SOS 6154 HAS SOPS 6154 HAS SOUS 5509 HAS SOUPS 5509 WITH SCORE 5515.154
AT ITER 3372 NEW BEST:: SOT 33928 SOS 6151 HAS SOPS 6151 HAS SOUS 5506 HAS SOUPS 5506 WITH SCORE 5512.151
AT ITER 3450 NEW BEST:: SOT 33929 SOS 6153 HAS SOPS 6153 HAS SOUS 5499 HAS SOUPS 5499 WITH SCORE 5505.153
AT ITER 3530 NEW BEST:: SOT 33932 SOS 6159 HAS SOPS 6159 HAS SOUS 5496 HAS SOUPS 5496 WITH SCORE 5502.159
AT ITER 3557 NEW BEST:: SOT 33927 SOS 6166 HAS SOPS 6166 HAS SOUS 5490 HAS SOUPS 5490 WITH SCORE 5496.166
AT ITER 3563 NEW BEST:: SOT 33927 SOS 6160 HAS SOPS 6160 HAS SOUS 5487 HAS SOUPS 5487 WITH SCORE 5493.16
AT ITER 3570 NEW BEST:: SOT 33927 SOS 6152 HAS SOPS 6152 HAS SOUS 5479 HAS SOUPS 5479 WITH SCORE 5485.152
AT ITER 3599 NEW BEST:: SOT 33916 SOS 6148 HAS SOPS 6148 HAS SOUS 5468 HAS SOUPS 5468 WITH SCORE 5474.148
AT ITER 3638 NEW BEST:: SOT 33915 SOS 6146 HAS SOPS 6146 HAS SOUS 5463 HAS SOUPS 5463 WITH SCORE 5469.146
AT ITER 3650 NEW BEST:: SOT 33917 SOS 6133 HAS SOPS 6133 HAS SOUS 5450 HAS SOUPS 5450 WITH SCORE 5456.133
AT ITER 3710 NEW BEST:: SOT 33902 SOS 6054 HAS SOPS 6054 HAS SOUS 5435 HAS SOUPS 5435 WITH SCORE 5441.054
AT ITER 3756 NEW BEST:: SOT 33899 SOS 6060 HAS SOPS 6060 HAS SOUS 5432 HAS SOUPS 5432 WITH SCORE 5438.06
AT ITER 3814 NEW BEST:: SOT 33897 SOS 6057 HAS SOPS 6057 HAS SOUS 5429 HAS SOUPS 5429 WITH SCORE 5435.057
AT ITER 3852 NEW BEST:: SOT 33895 SOS 6050 HAS SOPS 6050 HAS SOUS 5425 HAS SOUPS 5425 WITH SCORE 5431.05
AT ITER 3883 NEW BEST:: SOT 33886 SOS 6041 HAS SOPS 6041 HAS SOUS 5425 HAS SOUPS 5425 WITH SCORE 5431.041
AT ITER 3994 NEW BEST:: SOT 33877 SOS 6063 HAS SOPS 6063 HAS SOUS 5419 HAS SOUPS 5419 WITH SCORE 5425.063
AT ITER 4036 NEW BEST:: SOT 33875 SOS 6059 HAS SOPS 6059 HAS SOUS 5415 HAS SOUPS 5415 WITH SCORE 5421.059
AT ITER 4041 NEW BEST:: SOT 33874 SOS 6057 HAS SOPS 6057 HAS SOUS 5414 HAS SOUPS 5414 WITH SCORE 5420.057
AT ITER 4058 NEW BEST:: SOT 33872 SOS 6047 HAS SOPS 6047 HAS SOUS 5408 HAS SOUPS 5408 WITH SCORE 5414.047
AT ITER 4068 NEW BEST:: SOT 33874 SOS 6045 HAS SOPS 6045 HAS SOUS 5406 HAS SOUPS 5406 WITH SCORE 5412.045
AT ITER 4118 NEW BEST:: SOT 33874 SOS 6042 HAS SOPS 6042 HAS SOUS 5403 HAS SOUPS 5403 WITH SCORE 5409.042
AT ITER 4119 NEW BEST:: SOT 33875 SOS 6044 HAS SOPS 6044 HAS SOUS 5398 HAS SOUPS 5398 WITH SCORE 5404.044
AT ITER 4136 NEW BEST:: SOT 33875 SOS 6048 HAS SOPS 6048 HAS SOUS 5394 HAS SOUPS 5394 WITH SCORE 5400.048
AT ITER 4198 NEW BEST:: SOT 33875 SOS 6060 HAS SOPS 6060 HAS SOUS 5384 HAS SOUPS 5384 WITH SCORE 5390.06
AT ITER 4257 NEW BEST:: SOT 33871 SOS 6063 HAS SOPS 6063 HAS SOUS 5376 HAS SOUPS 5376 WITH SCORE 5382.063
AT ITER 4288 NEW BEST:: SOT 33870 SOS 6061 HAS SOPS 6061 HAS SOUS 5375 HAS SOUPS 5375 WITH SCORE 5381.061
AT ITER 4290 NEW BEST:: SOT 33866 SOS 6107 HAS SOPS 6107 HAS SOUS 5371 HAS SOUPS 5371 WITH SCORE 5377.107
AT ITER 4351 NEW BEST:: SOT 33866 SOS 6105 HAS SOPS 6105 HAS SOUS 5369 HAS SOUPS 5369 WITH SCORE 5375.105
AT ITER 4355 NEW BEST:: SOT 33861 SOS 6104 HAS SOPS 6104 HAS SOUS 5364 HAS SOUPS 5364 WITH SCORE 5370.104
AT ITER 4376 NEW BEST:: SOT 33838 SOS 6065 HAS SOPS 6065 HAS SOUS 5354 HAS SOUPS 5354 WITH SCORE 5360.065
AT ITER 4407 NEW BEST:: SOT 33826 SOS 6029 HAS SOPS 6029 HAS SOUS 5330 HAS SOUPS 5330 WITH SCORE 5336.029
AT ITER 4481 NEW BEST:: SOT 33826 SOS 6021 HAS SOPS 6021 HAS SOUS 5326 HAS SOUPS 5326 WITH SCORE 5332.021
AT ITER 4529 NEW BEST:: SOT 33822 SOS 6021 HAS SOPS 6021 HAS SOUS 5322 HAS SOUPS 5322 WITH SCORE 5328.021
AT ITER 4550 NEW BEST:: SOT 33817 SOS 6017 HAS SOPS 6017 HAS SOUS 5318 HAS SOUPS 5318 WITH SCORE 5324.017
AT ITER 4575 NEW BEST:: SOT 33830 SOS 6027 HAS SOPS 6027 HAS SOUS 5315 HAS SOUPS 5315 WITH SCORE 5321.027
AT ITER 4582 NEW BEST:: SOT 33830 SOS 6022 HAS SOPS 6022 HAS SOUS 5315 HAS SOUPS 5315 WITH SCORE 5321.022
AT ITER 4663 NEW BEST:: SOT 33829 SOS 6019 HAS SOPS 6019 HAS SOUS 5314 HAS SOUPS 5314 WITH SCORE 5320.019
AT ITER 4675 NEW BEST:: SOT 33827 SOS 6015 HAS SOPS 6015 HAS SOUS 5313 HAS SOUPS 5313 WITH SCORE 5319.015
AT ITER 4676 NEW BEST:: SOT 33817 SOS 6036 HAS SOPS 6036 HAS SOUS 5303 HAS SOUPS 5303 WITH SCORE 5309.036
AT ITER 4746 NEW BEST:: SOT 33783 SOS 5968 HAS SOPS 5968 HAS SOUS 5231 HAS SOUPS 5231 WITH SCORE 5236.968
AT ITER 4773 NEW BEST:: SOT 33781 SOS 5964 HAS SOPS 5964 HAS SOUS 5228 HAS SOUPS 5228 WITH SCORE 5233.964
AT ITER 4827 NEW BEST:: SOT 33780 SOS 5962 HAS SOPS 5962 HAS SOUS 5226 HAS SOUPS 5226 WITH SCORE 5231.962
AT ITER 4902 NEW BEST:: SOT 33790 SOS 5960 HAS SOPS 5960 HAS SOUS 5215 HAS SOUPS 5215 WITH SCORE 5220.96
AT ITER 4906 NEW BEST:: SOT 33790 SOS 5954 HAS SOPS 5954 HAS SOUS 5212 HAS SOUPS 5212 WITH SCORE 5217.954
AT ITER 4913 NEW BEST:: SOT 33780 SOS 5912 HAS SOPS 5912 HAS SOUS 5170 HAS SOUPS 5170 WITH SCORE 5175.912
AT ITER 4957 NEW BEST:: SOT 33767 SOS 5886 HAS SOPS 5886 HAS SOUS 5144 HAS SOUPS 5144 WITH SCORE 5149.886
AT ITER 4964 NEW BEST:: SOT 33767 SOS 5883 HAS SOPS 5883 HAS SOUS 5141 HAS SOUPS 5141 WITH SCORE 5146.883
Bounds file is: CTLFireability.xml
PROPERTY: ShieldRVt-PT-005B-CTLFireability-00 ( ((potential((tk(P97)>=1)))) | (! (AG( (EF( ((potential((tk(P92)>=1))))))))) )
PROPERTY: ShieldRVt-PT-005B-CTLFireability-01 (AF( (AG( ( ((potential((tk(P234)>=1)))) & ( ((potential((tk(P37)>=1)))) & ((potential((tk(P156)>=1)))) ) )))))
PROPERTY: ShieldRVt-PT-005B-CTLFireability-02 (AG( (EF( ( ( ((potential((tk(P125)>=1)))) | ((potential((tk(P134)>=1)))) ) & ( ((potential((tk(P188)>=1)))) | ((potential((tk(P177)>=1)))) ) )))))
PROPERTY: ShieldRVt-PT-005B-CTLFireability-03 (AF( (AU( (! ((potential((tk(P237)>=1))))) , ( ((potential((tk(P205)>=1)))) & ((potential((tk(P165)>=1)))) ) ))))
PROPERTY: ShieldRVt-PT-005B-CTLFireability-04 (! (AG( (EF( ( ((potential((tk(P111)>=1)))) | ((potential((tk(P85)>=1)))) ))))))
PROPERTY: ShieldRVt-PT-005B-CTLFireability-05 ( (EF( (AU( ((potential((tk(P185)>=1)))) , ((potential((tk(P125)>=1)))) )))) & (AF( ( (AF( ((potential((tk(P200)>=1)))))) | ( (! ((potential((tk(P49)>=1))))) & ( ((potential((tk(P168)>=1)))) | ((potential((tk(P102)>=1)))) ) ) ))) )
PROPERTY: ShieldRVt-PT-005B-CTLFireability-06 (EF( ( ( ( (! ((potential((tk(P82)>=1))))) | ( ((potential((tk(P124)>=1)))) | ((potential((tk(P133)>=1)))) ) ) & ( ( ((potential((tk(P216)>=1)))) & ((potential((tk(P105)>=1) & (tk(P93)>=1) & (tk(P137)>=1)))) ) | ( ((potential((tk(P130)>=1) & (tk(P149)>=1)))) & ((potential((tk(P194)>=1)))) ) ) ) & (AG( ( ((potential((tk(P31)>=1)))) | ((potential((tk(P41)>=1)))) ))) )))
PROPERTY: ShieldRVt-PT-005B-CTLFireability-07 (! (EF( ( ( ( ((potential((tk(P104)>=1)))) | ((potential((tk(P244)>=1)))) ) | ((potential((tk(P177)>=1)))) ) | ( ( ((potential((tk(P18)>=1)))) & ((potential((tk(P166)>=1)))) ) | ((potential((tk(P64)>=1)))) ) ))))
PROPERTY: ShieldRVt-PT-005B-CTLFireability-08 ( ( (! (EF( ( ((potential((tk(P138)>=1)))) & ((potential((tk(P123)>=1)))) )))) & (AU( ( ((potential((tk(P94)>=1)))) & ((potential((tk(P165)>=1)))) ) , ((potential((tk(P179)>=1) & (tk(P198)>=1)))) )) ) | (EF( ((potential((tk(P90)>=1)))))) )
PROPERTY: ShieldRVt-PT-005B-CTLFireability-09 (! (! (AF( (EG( ((potential((tk(P30)>=1))))))))))
PROPERTY: ShieldRVt-PT-005B-CTLFireability-10 (AU( (! ( ( ((potential((tk(P244)>=1)))) & ((potential((tk(P170)>=1)))) ) | ((potential((tk(P45)>=1)))) )) , (AX( ((potential((tk(P150)>=1)))))) ))
PROPERTY: ShieldRVt-PT-005B-CTLFireability-11 (AG( (AU( (! ((potential((tk(P38)>=1))))) , ((potential((tk(P103)>=1)))) ))))
PROPERTY: ShieldRVt-PT-005B-CTLFireability-12 (AU( ( ((potential((tk(P121)>=1)))) & ( (! ((potential((tk(P175)>=1) & (tk(P169)>=1) & (tk(P191)>=1))))) | ( ((potential((tk(P127)>=1)))) | ((potential((tk(P173)>=1)))) ) ) ) , ( (! ( ((potential((tk(P197)>=1)))) | ((potential((tk(P244)>=1)))) )) & (EF( ((potential((tk(P177)>=1)))))) ) ))
PROPERTY: ShieldRVt-PT-005B-CTLFireability-13 (AF( (AX( ((potential((tk(P146)>=1))))))))
PROPERTY: ShieldRVt-PT-005B-CTLFireability-14 ( (! ((potential((tk(P129)>=1))))) & (! ( (! ((potential((tk(P6)>=1) & (tk(P39)>=1))))) & ( (EF( ((potential((tk(P177)>=1)))))) & ( (! ((potential((tk(P175)>=1) & (tk(P169)>=1) & (tk(P191)>=1))))) & (! ((potential((tk(P185)>=1))))) ) ) )) )
PROPERTY: ShieldRVt-PT-005B-CTLFireability-15 ( (AF( ((potential((tk(P179)>=1) & (tk(P198)>=1)))))) | ( ((potential((tk(P222)>=1)))) | (EX( (EF( ((potential((tk(P139)>=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="ShieldRVt-PT-005B"
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 ShieldRVt-PT-005B, 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 r207-tajo-159033470300996"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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