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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 228K
-rw-r--r-- 1 mcc users 3.0K May 14 00:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K May 14 00:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 18:13 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 18:13 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K May 14 10:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K 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.4K May 13 13:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 13 13:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 08:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 08:01 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 67K 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-004B-CTLCardinality-00
FORMULA_NAME ShieldIIPt-PT-004B-CTLCardinality-01
FORMULA_NAME ShieldIIPt-PT-004B-CTLCardinality-02
FORMULA_NAME ShieldIIPt-PT-004B-CTLCardinality-03
FORMULA_NAME ShieldIIPt-PT-004B-CTLCardinality-04
FORMULA_NAME ShieldIIPt-PT-004B-CTLCardinality-05
FORMULA_NAME ShieldIIPt-PT-004B-CTLCardinality-06
FORMULA_NAME ShieldIIPt-PT-004B-CTLCardinality-07
FORMULA_NAME ShieldIIPt-PT-004B-CTLCardinality-08
FORMULA_NAME ShieldIIPt-PT-004B-CTLCardinality-09
FORMULA_NAME ShieldIIPt-PT-004B-CTLCardinality-10
FORMULA_NAME ShieldIIPt-PT-004B-CTLCardinality-11
FORMULA_NAME ShieldIIPt-PT-004B-CTLCardinality-12
FORMULA_NAME ShieldIIPt-PT-004B-CTLCardinality-13
FORMULA_NAME ShieldIIPt-PT-004B-CTLCardinality-14
FORMULA_NAME ShieldIIPt-PT-004B-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590439218041

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPt (PT), instance 004B
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: 283 places, 263 transitions, 654 arcs.
AT ITER 0 NEW BEST:: SOT 41710 SOS 13012 HAS SOPS 13012 HAS SOUS 11807 HAS SOUPS 11807 WITH SCORE 11820.012
AT ITER 12 NEW BEST:: SOT 41710 SOS 13004 HAS SOPS 13004 HAS SOUS 11767 HAS SOUPS 11767 WITH SCORE 11780.004
AT ITER 19 NEW BEST:: SOT 41693 SOS 12951 HAS SOPS 12951 HAS SOUS 11732 HAS SOUPS 11732 WITH SCORE 11744.951
AT ITER 20 NEW BEST:: SOT 41643 SOS 12903 HAS SOPS 12903 HAS SOUS 11630 HAS SOUPS 11630 WITH SCORE 11642.903
AT ITER 24 NEW BEST:: SOT 41648 SOS 12875 HAS SOPS 12875 HAS SOUS 11602 HAS SOUPS 11602 WITH SCORE 11614.875
AT ITER 29 NEW BEST:: SOT 41648 SOS 12862 HAS SOPS 12862 HAS SOUS 11589 HAS SOUPS 11589 WITH SCORE 11601.862
AT ITER 48 NEW BEST:: SOT 41645 SOS 12856 HAS SOPS 12856 HAS SOUS 11583 HAS SOUPS 11583 WITH SCORE 11595.856
AT ITER 54 NEW BEST:: SOT 41645 SOS 12844 HAS SOPS 12844 HAS SOUS 11581 HAS SOUPS 11581 WITH SCORE 11593.844
AT ITER 55 NEW BEST:: SOT 41633 SOS 12820 HAS SOPS 12820 HAS SOUS 11557 HAS SOUPS 11557 WITH SCORE 11569.82
AT ITER 58 NEW BEST:: SOT 41633 SOS 12804 HAS SOPS 12804 HAS SOUS 11541 HAS SOUPS 11541 WITH SCORE 11553.804
AT ITER 73 NEW BEST:: SOT 41565 SOS 12742 HAS SOPS 12742 HAS SOUS 11455 HAS SOUPS 11455 WITH SCORE 11467.742
AT ITER 82 NEW BEST:: SOT 41543 SOS 12676 HAS SOPS 12676 HAS SOUS 11411 HAS SOUPS 11411 WITH SCORE 11423.676
AT ITER 98 NEW BEST:: SOT 41546 SOS 12624 HAS SOPS 12624 HAS SOUS 11385 HAS SOUPS 11385 WITH SCORE 11397.624
AT ITER 115 NEW BEST:: SOT 41545 SOS 12623 HAS SOPS 12623 HAS SOUS 11384 HAS SOUPS 11384 WITH SCORE 11396.623
AT ITER 135 NEW BEST:: SOT 41554 SOS 12619 HAS SOPS 12619 HAS SOUS 11369 HAS SOUPS 11369 WITH SCORE 11381.619
AT ITER 139 NEW BEST:: SOT 41553 SOS 12555 HAS SOPS 12555 HAS SOUS 11333 HAS SOUPS 11333 WITH SCORE 11345.555
AT ITER 143 NEW BEST:: SOT 41488 SOS 12393 HAS SOPS 12393 HAS SOUS 11278 HAS SOUPS 11278 WITH SCORE 11290.393
AT ITER 145 NEW BEST:: SOT 41488 SOS 12347 HAS SOPS 12347 HAS SOUS 11186 HAS SOUPS 11186 WITH SCORE 11198.347
AT ITER 175 NEW BEST:: SOT 41526 SOS 12373 HAS SOPS 12373 HAS SOUS 11158 HAS SOUPS 11158 WITH SCORE 11170.373
AT ITER 180 NEW BEST:: SOT 41526 SOS 12373 HAS SOPS 12373 HAS SOUS 11152 HAS SOUPS 11152 WITH SCORE 11164.373
AT ITER 182 NEW BEST:: SOT 41543 SOS 12393 HAS SOPS 12393 HAS SOUS 11138 HAS SOUPS 11138 WITH SCORE 11150.393
AT ITER 183 NEW BEST:: SOT 41543 SOS 12392 HAS SOPS 12392 HAS SOUS 11137 HAS SOUPS 11137 WITH SCORE 11149.392
AT ITER 204 NEW BEST:: SOT 41513 SOS 12345 HAS SOPS 12345 HAS SOUS 11090 HAS SOUPS 11090 WITH SCORE 11102.345
AT ITER 205 NEW BEST:: SOT 41502 SOS 12355 HAS SOPS 12355 HAS SOUS 11087 HAS SOUPS 11087 WITH SCORE 11099.355
AT ITER 206 NEW BEST:: SOT 41501 SOS 12343 HAS SOPS 12343 HAS SOUS 11075 HAS SOUPS 11075 WITH SCORE 11087.343
AT ITER 207 NEW BEST:: SOT 41474 SOS 12241 HAS SOPS 12241 HAS SOUS 11005 HAS SOUPS 11005 WITH SCORE 11017.241
AT ITER 217 NEW BEST:: SOT 41474 SOS 12239 HAS SOPS 12239 HAS SOUS 11003 HAS SOUPS 11003 WITH SCORE 11015.239
AT ITER 220 NEW BEST:: SOT 41478 SOS 12181 HAS SOPS 12181 HAS SOUS 10988 HAS SOUPS 10988 WITH SCORE 11000.181
AT ITER 235 NEW BEST:: SOT 41462 SOS 12190 HAS SOPS 12190 HAS SOUS 10970 HAS SOUPS 10970 WITH SCORE 10982.19
AT ITER 237 NEW BEST:: SOT 41449 SOS 12164 HAS SOPS 12164 HAS SOUS 10969 HAS SOUPS 10969 WITH SCORE 10981.164
AT ITER 247 NEW BEST:: SOT 41449 SOS 12164 HAS SOPS 12164 HAS SOUS 10968 HAS SOUPS 10968 WITH SCORE 10980.164
AT ITER 258 NEW BEST:: SOT 41441 SOS 12156 HAS SOPS 12156 HAS SOUS 10960 HAS SOUPS 10960 WITH SCORE 10972.156
AT ITER 263 NEW BEST:: SOT 41437 SOS 12150 HAS SOPS 12150 HAS SOUS 10954 HAS SOUPS 10954 WITH SCORE 10966.15
AT ITER 268 NEW BEST:: SOT 41437 SOS 12149 HAS SOPS 12149 HAS SOUS 10953 HAS SOUPS 10953 WITH SCORE 10965.149
AT ITER 271 NEW BEST:: SOT 41437 SOS 12140 HAS SOPS 12140 HAS SOUS 10944 HAS SOUPS 10944 WITH SCORE 10956.14
AT ITER 286 NEW BEST:: SOT 41437 SOS 12124 HAS SOPS 12124 HAS SOUS 10944 HAS SOUPS 10944 WITH SCORE 10956.124
AT ITER 323 NEW BEST:: SOT 41437 SOS 12124 HAS SOPS 12124 HAS SOUS 10941 HAS SOUPS 10941 WITH SCORE 10953.124
AT ITER 324 NEW BEST:: SOT 41437 SOS 12121 HAS SOPS 12121 HAS SOUS 10941 HAS SOUPS 10941 WITH SCORE 10953.121
AT ITER 334 NEW BEST:: SOT 41427 SOS 12149 HAS SOPS 12149 HAS SOUS 10931 HAS SOUPS 10931 WITH SCORE 10943.149
AT ITER 353 NEW BEST:: SOT 41331 SOS 12141 HAS SOPS 12141 HAS SOUS 10873 HAS SOUPS 10873 WITH SCORE 10885.141
AT ITER 358 NEW BEST:: SOT 41324 SOS 12134 HAS SOPS 12134 HAS SOUS 10866 HAS SOUPS 10866 WITH SCORE 10878.134
AT ITER 376 NEW BEST:: SOT 41303 SOS 11906 HAS SOPS 11906 HAS SOUS 10735 HAS SOUPS 10735 WITH SCORE 10746.906
AT ITER 379 NEW BEST:: SOT 41303 SOS 11928 HAS SOPS 11928 HAS SOUS 10715 HAS SOUPS 10715 WITH SCORE 10726.928
AT ITER 382 NEW BEST:: SOT 41288 SOS 11903 HAS SOPS 11903 HAS SOUS 10695 HAS SOUPS 10695 WITH SCORE 10706.903
AT ITER 384 NEW BEST:: SOT 41288 SOS 11903 HAS SOPS 11903 HAS SOUS 10688 HAS SOUPS 10688 WITH SCORE 10699.903
AT ITER 390 NEW BEST:: SOT 41286 SOS 11897 HAS SOPS 11897 HAS SOUS 10682 HAS SOUPS 10682 WITH SCORE 10693.897
AT ITER 398 NEW BEST:: SOT 41286 SOS 11892 HAS SOPS 11892 HAS SOUS 10677 HAS SOUPS 10677 WITH SCORE 10688.892
AT ITER 408 NEW BEST:: SOT 41273 SOS 11853 HAS SOPS 11853 HAS SOUS 10651 HAS SOUPS 10651 WITH SCORE 10662.853
AT ITER 412 NEW BEST:: SOT 41215 SOS 11648 HAS SOPS 11648 HAS SOUS 10506 HAS SOUPS 10506 WITH SCORE 10517.648
AT ITER 425 NEW BEST:: SOT 41207 SOS 11624 HAS SOPS 11624 HAS SOUS 10482 HAS SOUPS 10482 WITH SCORE 10493.624
AT ITER 442 NEW BEST:: SOT 41203 SOS 11650 HAS SOPS 11650 HAS SOUS 10470 HAS SOUPS 10470 WITH SCORE 10481.65
AT ITER 452 NEW BEST:: SOT 41154 SOS 11620 HAS SOPS 11620 HAS SOUS 10431 HAS SOUPS 10431 WITH SCORE 10442.62
AT ITER 455 NEW BEST:: SOT 41138 SOS 11588 HAS SOPS 11588 HAS SOUS 10413 HAS SOUPS 10413 WITH SCORE 10424.588
AT ITER 462 NEW BEST:: SOT 41138 SOS 11582 HAS SOPS 11582 HAS SOUS 10407 HAS SOUPS 10407 WITH SCORE 10418.582
AT ITER 474 NEW BEST:: SOT 41125 SOS 11578 HAS SOPS 11578 HAS SOUS 10399 HAS SOUPS 10399 WITH SCORE 10410.578
AT ITER 484 NEW BEST:: SOT 41115 SOS 11568 HAS SOPS 11568 HAS SOUS 10389 HAS SOUPS 10389 WITH SCORE 10400.568
AT ITER 487 NEW BEST:: SOT 41118 SOS 11515 HAS SOPS 11515 HAS SOUS 10336 HAS SOUPS 10336 WITH SCORE 10347.515
AT ITER 505 NEW BEST:: SOT 41118 SOS 11494 HAS SOPS 11494 HAS SOUS 10336 HAS SOUPS 10336 WITH SCORE 10347.494
AT ITER 517 NEW BEST:: SOT 41118 SOS 11463 HAS SOPS 11463 HAS SOUS 10305 HAS SOUPS 10305 WITH SCORE 10316.463
AT ITER 529 NEW BEST:: SOT 41084 SOS 11381 HAS SOPS 11381 HAS SOUS 10225 HAS SOUPS 10225 WITH SCORE 10236.381
AT ITER 532 NEW BEST:: SOT 41046 SOS 11351 HAS SOPS 11351 HAS SOUS 10195 HAS SOUPS 10195 WITH SCORE 10206.351
AT ITER 538 NEW BEST:: SOT 41062 SOS 11343 HAS SOPS 11343 HAS SOUS 10187 HAS SOUPS 10187 WITH SCORE 10198.343
AT ITER 573 NEW BEST:: SOT 41050 SOS 11319 HAS SOPS 11319 HAS SOUS 10172 HAS SOUPS 10172 WITH SCORE 10183.319
AT ITER 588 NEW BEST:: SOT 41050 SOS 11319 HAS SOPS 11319 HAS SOUS 10169 HAS SOUPS 10169 WITH SCORE 10180.319
AT ITER 590 NEW BEST:: SOT 41050 SOS 11319 HAS SOPS 11319 HAS SOUS 10168 HAS SOUPS 10168 WITH SCORE 10179.319
AT ITER 622 NEW BEST:: SOT 41081 SOS 11353 HAS SOPS 11353 HAS SOUS 10161 HAS SOUPS 10161 WITH SCORE 10172.353
AT ITER 642 NEW BEST:: SOT 41080 SOS 11351 HAS SOPS 11351 HAS SOUS 10159 HAS SOUPS 10159 WITH SCORE 10170.351
AT ITER 661 NEW BEST:: SOT 41080 SOS 11350 HAS SOPS 11350 HAS SOUS 10158 HAS SOUPS 10158 WITH SCORE 10169.35
AT ITER 678 NEW BEST:: SOT 41088 SOS 11349 HAS SOPS 11349 HAS SOUS 10157 HAS SOUPS 10157 WITH SCORE 10168.349
AT ITER 681 NEW BEST:: SOT 41100 SOS 11321 HAS SOPS 11321 HAS SOUS 10117 HAS SOUPS 10117 WITH SCORE 10128.321
AT ITER 693 NEW BEST:: SOT 41099 SOS 11297 HAS SOPS 11297 HAS SOUS 10115 HAS SOUPS 10115 WITH SCORE 10126.297
AT ITER 699 NEW BEST:: SOT 41089 SOS 11277 HAS SOPS 11277 HAS SOUS 10102 HAS SOUPS 10102 WITH SCORE 10113.277
AT ITER 706 NEW BEST:: SOT 41089 SOS 11255 HAS SOPS 11255 HAS SOUS 10102 HAS SOUPS 10102 WITH SCORE 10113.255
AT ITER 714 NEW BEST:: SOT 41089 SOS 11246 HAS SOPS 11246 HAS SOUS 10102 HAS SOUPS 10102 WITH SCORE 10113.246
AT ITER 725 NEW BEST:: SOT 41037 SOS 11259 HAS SOPS 11259 HAS SOUS 10092 HAS SOUPS 10092 WITH SCORE 10103.259
AT ITER 751 NEW BEST:: SOT 41027 SOS 11217 HAS SOPS 11217 HAS SOUS 10038 HAS SOUPS 10038 WITH SCORE 10049.217
AT ITER 755 NEW BEST:: SOT 41063 SOS 11209 HAS SOPS 11209 HAS SOUS 10029 HAS SOUPS 10029 WITH SCORE 10040.209
AT ITER 756 NEW BEST:: SOT 41063 SOS 11191 HAS SOPS 11191 HAS SOUS 10020 HAS SOUPS 10020 WITH SCORE 10031.191
AT ITER 774 NEW BEST:: SOT 41043 SOS 11151 HAS SOPS 11151 HAS SOUS 9980 HAS SOUPS 9980 WITH SCORE 9991.151
AT ITER 779 NEW BEST:: SOT 41043 SOS 11049 HAS SOPS 11049 HAS SOUS 9937 HAS SOUPS 9937 WITH SCORE 9948.049
AT ITER 780 NEW BEST:: SOT 41043 SOS 11041 HAS SOPS 11041 HAS SOUS 9929 HAS SOUPS 9929 WITH SCORE 9940.041
AT ITER 785 NEW BEST:: SOT 41040 SOS 11016 HAS SOPS 11016 HAS SOUS 9887 HAS SOUPS 9887 WITH SCORE 9898.016
AT ITER 818 NEW BEST:: SOT 41033 SOS 11002 HAS SOPS 11002 HAS SOUS 9873 HAS SOUPS 9873 WITH SCORE 9884.002
AT ITER 847 NEW BEST:: SOT 41062 SOS 10973 HAS SOPS 10973 HAS SOUS 9856 HAS SOUPS 9856 WITH SCORE 9866.973
AT ITER 863 NEW BEST:: SOT 41059 SOS 10970 HAS SOPS 10970 HAS SOUS 9853 HAS SOUPS 9853 WITH SCORE 9863.97
AT ITER 865 NEW BEST:: SOT 41064 SOS 10973 HAS SOPS 10973 HAS SOUS 9851 HAS SOUPS 9851 WITH SCORE 9861.973
AT ITER 866 NEW BEST:: SOT 41041 SOS 11000 HAS SOPS 11000 HAS SOUS 9847 HAS SOUPS 9847 WITH SCORE 9858.0
AT ITER 884 NEW BEST:: SOT 41041 SOS 10983 HAS SOPS 10983 HAS SOUS 9847 HAS SOUPS 9847 WITH SCORE 9857.983
AT ITER 900 NEW BEST:: SOT 41003 SOS 10943 HAS SOPS 10943 HAS SOUS 9807 HAS SOUPS 9807 WITH SCORE 9817.943
AT ITER 907 NEW BEST:: SOT 41003 SOS 10942 HAS SOPS 10942 HAS SOUS 9806 HAS SOUPS 9806 WITH SCORE 9816.942
AT ITER 910 NEW BEST:: SOT 41002 SOS 10940 HAS SOPS 10940 HAS SOUS 9804 HAS SOUPS 9804 WITH SCORE 9814.94
AT ITER 922 NEW BEST:: SOT 40970 SOS 10937 HAS SOPS 10937 HAS SOUS 9801 HAS SOUPS 9801 WITH SCORE 9811.937
AT ITER 927 NEW BEST:: SOT 40950 SOS 10917 HAS SOPS 10917 HAS SOUS 9781 HAS SOUPS 9781 WITH SCORE 9791.917
AT ITER 934 NEW BEST:: SOT 40949 SOS 10906 HAS SOPS 10906 HAS SOUS 9773 HAS SOUPS 9773 WITH SCORE 9783.906
AT ITER 946 NEW BEST:: SOT 40980 SOS 10916 HAS SOPS 10916 HAS SOUS 9747 HAS SOUPS 9747 WITH SCORE 9757.916
AT ITER 976 NEW BEST:: SOT 40976 SOS 10909 HAS SOPS 10909 HAS SOUS 9740 HAS SOUPS 9740 WITH SCORE 9750.909
AT ITER 979 NEW BEST:: SOT 40998 SOS 10867 HAS SOPS 10867 HAS SOUS 9723 HAS SOUPS 9723 WITH SCORE 9733.867
AT ITER 988 NEW BEST:: SOT 40952 SOS 10931 HAS SOPS 10931 HAS SOUS 9694 HAS SOUPS 9694 WITH SCORE 9704.931
AT ITER 1009 NEW BEST:: SOT 40977 SOS 10775 HAS SOPS 10775 HAS SOUS 9680 HAS SOUPS 9680 WITH SCORE 9690.775
AT ITER 1022 NEW BEST:: SOT 40967 SOS 10755 HAS SOPS 10755 HAS SOUS 9667 HAS SOUPS 9667 WITH SCORE 9677.755
AT ITER 1095 NEW BEST:: SOT 40958 SOS 10737 HAS SOPS 10737 HAS SOUS 9649 HAS SOUPS 9649 WITH SCORE 9659.737
AT ITER 1097 NEW BEST:: SOT 40958 SOS 10733 HAS SOPS 10733 HAS SOUS 9645 HAS SOUPS 9645 WITH SCORE 9655.733
AT ITER 1119 NEW BEST:: SOT 40940 SOS 10640 HAS SOPS 10640 HAS SOUS 9615 HAS SOUPS 9615 WITH SCORE 9625.64
AT ITER 1127 NEW BEST:: SOT 40922 SOS 10632 HAS SOPS 10632 HAS SOUS 9597 HAS SOUPS 9597 WITH SCORE 9607.632
AT ITER 1132 NEW BEST:: SOT 40902 SOS 10548 HAS SOPS 10548 HAS SOUS 9554 HAS SOUPS 9554 WITH SCORE 9564.548
AT ITER 1159 NEW BEST:: SOT 40902 SOS 10441 HAS SOPS 10441 HAS SOUS 9545 HAS SOUPS 9545 WITH SCORE 9555.441
AT ITER 1172 NEW BEST:: SOT 40910 SOS 10418 HAS SOPS 10418 HAS SOUS 9540 HAS SOUPS 9540 WITH SCORE 9550.418
AT ITER 1193 NEW BEST:: SOT 40903 SOS 10388 HAS SOPS 10388 HAS SOUS 9510 HAS SOUPS 9510 WITH SCORE 9520.388
AT ITER 1195 NEW BEST:: SOT 40903 SOS 10377 HAS SOPS 10377 HAS SOUS 9499 HAS SOUPS 9499 WITH SCORE 9509.377
AT ITER 1196 NEW BEST:: SOT 40903 SOS 10377 HAS SOPS 10377 HAS SOUS 9486 HAS SOUPS 9486 WITH SCORE 9496.377
AT ITER 1200 NEW BEST:: SOT 40903 SOS 10377 HAS SOPS 10377 HAS SOUS 9468 HAS SOUPS 9468 WITH SCORE 9478.377
AT ITER 1230 NEW BEST:: SOT 40883 SOS 10345 HAS SOPS 10345 HAS SOUS 9460 HAS SOUPS 9460 WITH SCORE 9470.345
AT ITER 1253 NEW BEST:: SOT 40883 SOS 10340 HAS SOPS 10340 HAS SOUS 9455 HAS SOUPS 9455 WITH SCORE 9465.34
AT ITER 1277 NEW BEST:: SOT 40873 SOS 10320 HAS SOPS 10320 HAS SOUS 9445 HAS SOUPS 9445 WITH SCORE 9455.32
AT ITER 1290 NEW BEST:: SOT 40884 SOS 10328 HAS SOPS 10328 HAS SOUS 9437 HAS SOUPS 9437 WITH SCORE 9447.328
AT ITER 1325 NEW BEST:: SOT 40877 SOS 10290 HAS SOPS 10290 HAS SOUS 9415 HAS SOUPS 9415 WITH SCORE 9425.29
AT ITER 1342 NEW BEST:: SOT 40849 SOS 10263 HAS SOPS 10263 HAS SOUS 9360 HAS SOUPS 9360 WITH SCORE 9370.263
AT ITER 1355 NEW BEST:: SOT 40815 SOS 10229 HAS SOPS 10229 HAS SOUS 9326 HAS SOUPS 9326 WITH SCORE 9336.229
AT ITER 1414 NEW BEST:: SOT 40808 SOS 10215 HAS SOPS 10215 HAS SOUS 9312 HAS SOUPS 9312 WITH SCORE 9322.215
AT ITER 1415 NEW BEST:: SOT 40823 SOS 10204 HAS SOPS 10204 HAS SOUS 9312 HAS SOUPS 9312 WITH SCORE 9322.204
AT ITER 1419 NEW BEST:: SOT 40829 SOS 10198 HAS SOPS 10198 HAS SOUS 9309 HAS SOUPS 9309 WITH SCORE 9319.198
AT ITER 1421 NEW BEST:: SOT 40822 SOS 10184 HAS SOPS 10184 HAS SOUS 9272 HAS SOUPS 9272 WITH SCORE 9282.184
AT ITER 1443 NEW BEST:: SOT 40822 SOS 10179 HAS SOPS 10179 HAS SOUS 9272 HAS SOUPS 9272 WITH SCORE 9282.179
AT ITER 1468 NEW BEST:: SOT 40838 SOS 10183 HAS SOPS 10183 HAS SOUS 9267 HAS SOUPS 9267 WITH SCORE 9277.183
AT ITER 1476 NEW BEST:: SOT 40833 SOS 10178 HAS SOPS 10178 HAS SOUS 9262 HAS SOUPS 9262 WITH SCORE 9272.178
AT ITER 1479 NEW BEST:: SOT 40858 SOS 10228 HAS SOPS 10228 HAS SOUS 9254 HAS SOUPS 9254 WITH SCORE 9264.228
AT ITER 1502 NEW BEST:: SOT 40898 SOS 10275 HAS SOPS 10275 HAS SOUS 9239 HAS SOUPS 9239 WITH SCORE 9249.275
AT ITER 1508 NEW BEST:: SOT 40915 SOS 10293 HAS SOPS 10293 HAS SOUS 9232 HAS SOUPS 9232 WITH SCORE 9242.293
AT ITER 1512 NEW BEST:: SOT 40927 SOS 10245 HAS SOPS 10245 HAS SOUS 9164 HAS SOUPS 9164 WITH SCORE 9174.245
AT ITER 1576 NEW BEST:: SOT 40933 SOS 10215 HAS SOPS 10215 HAS SOUS 9163 HAS SOUPS 9163 WITH SCORE 9173.215
AT ITER 1590 NEW BEST:: SOT 40933 SOS 10210 HAS SOPS 10210 HAS SOUS 9158 HAS SOUPS 9158 WITH SCORE 9168.21
AT ITER 1609 NEW BEST:: SOT 40935 SOS 10245 HAS SOPS 10245 HAS SOUS 9151 HAS SOUPS 9151 WITH SCORE 9161.245
AT ITER 1615 NEW BEST:: SOT 40933 SOS 10234 HAS SOPS 10234 HAS SOUS 9140 HAS SOUPS 9140 WITH SCORE 9150.234
AT ITER 1631 NEW BEST:: SOT 40920 SOS 10215 HAS SOPS 10215 HAS SOUS 9127 HAS SOUPS 9127 WITH SCORE 9137.215
AT ITER 1638 NEW BEST:: SOT 40884 SOS 10051 HAS SOPS 10051 HAS SOUS 9030 HAS SOUPS 9030 WITH SCORE 9040.051
AT ITER 1640 NEW BEST:: SOT 40868 SOS 10032 HAS SOPS 10032 HAS SOUS 9011 HAS SOUPS 9011 WITH SCORE 9021.032
AT ITER 1647 NEW BEST:: SOT 40868 SOS 10009 HAS SOPS 10009 HAS SOUS 8988 HAS SOUPS 8988 WITH SCORE 8998.009
AT ITER 1656 NEW BEST:: SOT 40868 SOS 10009 HAS SOPS 10009 HAS SOUS 8985 HAS SOUPS 8985 WITH SCORE 8995.009
AT ITER 1681 NEW BEST:: SOT 40862 SOS 10003 HAS SOPS 10003 HAS SOUS 8985 HAS SOUPS 8985 WITH SCORE 8995.003
AT ITER 1713 NEW BEST:: SOT 40862 SOS 10003 HAS SOPS 10003 HAS SOUS 8976 HAS SOUPS 8976 WITH SCORE 8986.003
AT ITER 1741 NEW BEST:: SOT 40769 SOS 9817 HAS SOPS 9817 HAS SOUS 8884 HAS SOUPS 8884 WITH SCORE 8893.817
AT ITER 1758 NEW BEST:: SOT 40767 SOS 9790 HAS SOPS 9790 HAS SOUS 8852 HAS SOUPS 8852 WITH SCORE 8861.79
AT ITER 1786 NEW BEST:: SOT 40767 SOS 9774 HAS SOPS 9774 HAS SOUS 8820 HAS SOUPS 8820 WITH SCORE 8829.774
AT ITER 1796 NEW BEST:: SOT 40765 SOS 9770 HAS SOPS 9770 HAS SOUS 8816 HAS SOUPS 8816 WITH SCORE 8825.77
AT ITER 1817 NEW BEST:: SOT 40765 SOS 9753 HAS SOPS 9753 HAS SOUS 8816 HAS SOUPS 8816 WITH SCORE 8825.753
AT ITER 1837 NEW BEST:: SOT 40763 SOS 9752 HAS SOPS 9752 HAS SOUS 8815 HAS SOUPS 8815 WITH SCORE 8824.752
AT ITER 1852 NEW BEST:: SOT 40763 SOS 9749 HAS SOPS 9749 HAS SOUS 8815 HAS SOUPS 8815 WITH SCORE 8824.749
AT ITER 1859 NEW BEST:: SOT 40717 SOS 9707 HAS SOPS 9707 HAS SOUS 8769 HAS SOUPS 8769 WITH SCORE 8778.707
AT ITER 1862 NEW BEST:: SOT 40722 SOS 9693 HAS SOPS 9693 HAS SOUS 8715 HAS SOUPS 8715 WITH SCORE 8724.693
AT ITER 1876 NEW BEST:: SOT 40709 SOS 9683 HAS SOPS 9683 HAS SOUS 8705 HAS SOUPS 8705 WITH SCORE 8714.683
AT ITER 1898 NEW BEST:: SOT 40709 SOS 9652 HAS SOPS 9652 HAS SOUS 8705 HAS SOUPS 8705 WITH SCORE 8714.652
AT ITER 1912 NEW BEST:: SOT 40705 SOS 9644 HAS SOPS 9644 HAS SOUS 8697 HAS SOUPS 8697 WITH SCORE 8706.644
AT ITER 1915 NEW BEST:: SOT 40706 SOS 9620 HAS SOPS 9620 HAS SOUS 8673 HAS SOUPS 8673 WITH SCORE 8682.62
AT ITER 1917 NEW BEST:: SOT 40698 SOS 9612 HAS SOPS 9612 HAS SOUS 8665 HAS SOUPS 8665 WITH SCORE 8674.612
AT ITER 1927 NEW BEST:: SOT 40679 SOS 9619 HAS SOPS 9619 HAS SOUS 8646 HAS SOUPS 8646 WITH SCORE 8655.619
AT ITER 1934 NEW BEST:: SOT 40679 SOS 9619 HAS SOPS 9619 HAS SOUS 8644 HAS SOUPS 8644 WITH SCORE 8653.619
AT ITER 1956 NEW BEST:: SOT 40623 SOS 9535 HAS SOPS 9535 HAS SOUS 8560 HAS SOUPS 8560 WITH SCORE 8569.535
AT ITER 1959 NEW BEST:: SOT 40629 SOS 9518 HAS SOPS 9518 HAS SOUS 8551 HAS SOUPS 8551 WITH SCORE 8560.518
AT ITER 1988 NEW BEST:: SOT 40605 SOS 9530 HAS SOPS 9530 HAS SOUS 8524 HAS SOUPS 8524 WITH SCORE 8533.53
AT ITER 2018 NEW BEST:: SOT 40600 SOS 9520 HAS SOPS 9520 HAS SOUS 8524 HAS SOUPS 8524 WITH SCORE 8533.52
AT ITER 2023 NEW BEST:: SOT 40608 SOS 9527 HAS SOPS 9527 HAS SOUS 8517 HAS SOUPS 8517 WITH SCORE 8526.527
AT ITER 2048 NEW BEST:: SOT 40565 SOS 9395 HAS SOPS 9395 HAS SOUS 8418 HAS SOUPS 8418 WITH SCORE 8427.395
AT ITER 2051 NEW BEST:: SOT 40556 SOS 9386 HAS SOPS 9386 HAS SOUS 8417 HAS SOUPS 8417 WITH SCORE 8426.386
AT ITER 2069 NEW BEST:: SOT 40557 SOS 9367 HAS SOPS 9367 HAS SOUS 8413 HAS SOUPS 8413 WITH SCORE 8422.367
AT ITER 2091 NEW BEST:: SOT 40529 SOS 9329 HAS SOPS 9329 HAS SOUS 8392 HAS SOUPS 8392 WITH SCORE 8401.329
AT ITER 2122 NEW BEST:: SOT 40548 SOS 9310 HAS SOPS 9310 HAS SOUS 8392 HAS SOUPS 8392 WITH SCORE 8401.31
AT ITER 2157 NEW BEST:: SOT 40547 SOS 9309 HAS SOPS 9309 HAS SOUS 8384 HAS SOUPS 8384 WITH SCORE 8393.309
AT ITER 2172 NEW BEST:: SOT 40547 SOS 9309 HAS SOPS 9309 HAS SOUS 8365 HAS SOUPS 8365 WITH SCORE 8374.309
AT ITER 2191 NEW BEST:: SOT 40545 SOS 9303 HAS SOPS 9303 HAS SOUS 8363 HAS SOUPS 8363 WITH SCORE 8372.303
AT ITER 2192 NEW BEST:: SOT 40545 SOS 9273 HAS SOPS 9273 HAS SOUS 8348 HAS SOUPS 8348 WITH SCORE 8357.273
AT ITER 2198 NEW BEST:: SOT 40539 SOS 9269 HAS SOPS 9269 HAS SOUS 8342 HAS SOUPS 8342 WITH SCORE 8351.269
AT ITER 2220 NEW BEST:: SOT 40539 SOS 9265 HAS SOPS 9265 HAS SOUS 8338 HAS SOUPS 8338 WITH SCORE 8347.265
AT ITER 2225 NEW BEST:: SOT 40539 SOS 9262 HAS SOPS 9262 HAS SOUS 8335 HAS SOUPS 8335 WITH SCORE 8344.262
AT ITER 2228 NEW BEST:: SOT 40536 SOS 9259 HAS SOPS 9259 HAS SOUS 8332 HAS SOUPS 8332 WITH SCORE 8341.259
AT ITER 2255 NEW BEST:: SOT 40595 SOS 9256 HAS SOPS 9256 HAS SOUS 8329 HAS SOUPS 8329 WITH SCORE 8338.256
AT ITER 2257 NEW BEST:: SOT 40595 SOS 9236 HAS SOPS 9236 HAS SOUS 8329 HAS SOUPS 8329 WITH SCORE 8338.236
AT ITER 2263 NEW BEST:: SOT 40590 SOS 9223 HAS SOPS 9223 HAS SOUS 8316 HAS SOUPS 8316 WITH SCORE 8325.223
AT ITER 2266 NEW BEST:: SOT 40570 SOS 9209 HAS SOPS 9209 HAS SOUS 8302 HAS SOUPS 8302 WITH SCORE 8311.209
AT ITER 2269 NEW BEST:: SOT 40558 SOS 9185 HAS SOPS 9185 HAS SOUS 8290 HAS SOUPS 8290 WITH SCORE 8299.185
AT ITER 2317 NEW BEST:: SOT 40570 SOS 9180 HAS SOPS 9180 HAS SOUS 8287 HAS SOUPS 8287 WITH SCORE 8296.18
AT ITER 2374 NEW BEST:: SOT 40566 SOS 9176 HAS SOPS 9176 HAS SOUS 8283 HAS SOUPS 8283 WITH SCORE 8292.176
AT ITER 2384 NEW BEST:: SOT 40550 SOS 9144 HAS SOPS 9144 HAS SOUS 8251 HAS SOUPS 8251 WITH SCORE 8260.144
AT ITER 2414 NEW BEST:: SOT 40578 SOS 9107 HAS SOPS 9107 HAS SOUS 8214 HAS SOUPS 8214 WITH SCORE 8223.107
AT ITER 2485 NEW BEST:: SOT 40578 SOS 9106 HAS SOPS 9106 HAS SOUS 8213 HAS SOUPS 8213 WITH SCORE 8222.106
AT ITER 2498 NEW BEST:: SOT 40561 SOS 9090 HAS SOPS 9090 HAS SOUS 8196 HAS SOUPS 8196 WITH SCORE 8205.09
AT ITER 2510 NEW BEST:: SOT 40548 SOS 9044 HAS SOPS 9044 HAS SOUS 8183 HAS SOUPS 8183 WITH SCORE 8192.044
AT ITER 2530 NEW BEST:: SOT 40481 SOS 8973 HAS SOPS 8973 HAS SOUS 8099 HAS SOUPS 8099 WITH SCORE 8107.973
AT ITER 2563 NEW BEST:: SOT 40481 SOS 8967 HAS SOPS 8967 HAS SOUS 8098 HAS SOUPS 8098 WITH SCORE 8106.967
AT ITER 2588 NEW BEST:: SOT 40469 SOS 8936 HAS SOPS 8936 HAS SOUS 8074 HAS SOUPS 8074 WITH SCORE 8082.936
AT ITER 2589 NEW BEST:: SOT 40458 SOS 8946 HAS SOPS 8946 HAS SOUS 8071 HAS SOUPS 8071 WITH SCORE 8079.946
AT ITER 2621 NEW BEST:: SOT 40458 SOS 8936 HAS SOPS 8936 HAS SOUS 8071 HAS SOUPS 8071 WITH SCORE 8079.936
AT ITER 2637 NEW BEST:: SOT 40458 SOS 8928 HAS SOPS 8928 HAS SOUS 8063 HAS SOUPS 8063 WITH SCORE 8071.928
AT ITER 2646 NEW BEST:: SOT 40458 SOS 8883 HAS SOPS 8883 HAS SOUS 8038 HAS SOUPS 8038 WITH SCORE 8046.883
AT ITER 2648 NEW BEST:: SOT 40436 SOS 8766 HAS SOPS 8766 HAS SOUS 7924 HAS SOUPS 7924 WITH SCORE 7932.766
AT ITER 2650 NEW BEST:: SOT 40440 SOS 8753 HAS SOPS 8753 HAS SOUS 7919 HAS SOUPS 7919 WITH SCORE 7927.753
AT ITER 2660 NEW BEST:: SOT 40446 SOS 8674 HAS SOPS 8674 HAS SOUS 7893 HAS SOUPS 7893 WITH SCORE 7901.674
AT ITER 2677 NEW BEST:: SOT 40447 SOS 8666 HAS SOPS 8666 HAS SOUS 7890 HAS SOUPS 7890 WITH SCORE 7898.666
AT ITER 2681 NEW BEST:: SOT 40470 SOS 8672 HAS SOPS 8672 HAS SOUS 7887 HAS SOUPS 7887 WITH SCORE 7895.672
AT ITER 2683 NEW BEST:: SOT 40470 SOS 8630 HAS SOPS 8630 HAS SOUS 7866 HAS SOUPS 7866 WITH SCORE 7874.63
AT ITER 2684 NEW BEST:: SOT 40470 SOS 8629 HAS SOPS 8629 HAS SOUS 7865 HAS SOUPS 7865 WITH SCORE 7873.629
AT ITER 2739 NEW BEST:: SOT 40431 SOS 8600 HAS SOPS 8600 HAS SOUS 7836 HAS SOUPS 7836 WITH SCORE 7844.6
AT ITER 2781 NEW BEST:: SOT 40430 SOS 8598 HAS SOPS 8598 HAS SOUS 7834 HAS SOUPS 7834 WITH SCORE 7842.598
AT ITER 2823 NEW BEST:: SOT 40424 SOS 8590 HAS SOPS 8590 HAS SOUS 7826 HAS SOUPS 7826 WITH SCORE 7834.59
AT ITER 2824 NEW BEST:: SOT 40422 SOS 8573 HAS SOPS 8573 HAS SOUS 7819 HAS SOUPS 7819 WITH SCORE 7827.573
AT ITER 2836 NEW BEST:: SOT 40402 SOS 8533 HAS SOPS 8533 HAS SOUS 7810 HAS SOUPS 7810 WITH SCORE 7818.533
AT ITER 2876 NEW BEST:: SOT 40398 SOS 8517 HAS SOPS 8517 HAS SOUS 7792 HAS SOUPS 7792 WITH SCORE 7800.517
AT ITER 2902 NEW BEST:: SOT 40397 SOS 8529 HAS SOPS 8529 HAS SOUS 7790 HAS SOUPS 7790 WITH SCORE 7798.529
AT ITER 2917 NEW BEST:: SOT 40397 SOS 8525 HAS SOPS 8525 HAS SOUS 7788 HAS SOUPS 7788 WITH SCORE 7796.525
AT ITER 3019 NEW BEST:: SOT 40408 SOS 8511 HAS SOPS 8511 HAS SOUS 7758 HAS SOUPS 7758 WITH SCORE 7766.511
AT ITER 3072 NEW BEST:: SOT 40408 SOS 8511 HAS SOPS 8511 HAS SOUS 7755 HAS SOUPS 7755 WITH SCORE 7763.511
AT ITER 3078 NEW BEST:: SOT 40381 SOS 8525 HAS SOPS 8525 HAS SOUS 7737 HAS SOUPS 7737 WITH SCORE 7745.525
AT ITER 3088 NEW BEST:: SOT 40351 SOS 8560 HAS SOPS 8560 HAS SOUS 7695 HAS SOUPS 7695 WITH SCORE 7703.56
AT ITER 3114 NEW BEST:: SOT 40337 SOS 8546 HAS SOPS 8546 HAS SOUS 7694 HAS SOUPS 7694 WITH SCORE 7702.546
AT ITER 3116 NEW BEST:: SOT 40322 SOS 8529 HAS SOPS 8529 HAS SOUS 7679 HAS SOUPS 7679 WITH SCORE 7687.529
AT ITER 3117 NEW BEST:: SOT 40314 SOS 8521 HAS SOPS 8521 HAS SOUS 7675 HAS SOUPS 7675 WITH SCORE 7683.521
AT ITER 3162 NEW BEST:: SOT 40311 SOS 8512 HAS SOPS 8512 HAS SOUS 7666 HAS SOUPS 7666 WITH SCORE 7674.512
AT ITER 3166 NEW BEST:: SOT 40310 SOS 8510 HAS SOPS 8510 HAS SOUS 7664 HAS SOUPS 7664 WITH SCORE 7672.51
AT ITER 3223 NEW BEST:: SOT 40310 SOS 8502 HAS SOPS 8502 HAS SOUS 7660 HAS SOUPS 7660 WITH SCORE 7668.502
AT ITER 3233 NEW BEST:: SOT 40313 SOS 8498 HAS SOPS 8498 HAS SOUS 7658 HAS SOUPS 7658 WITH SCORE 7666.498
AT ITER 3264 NEW BEST:: SOT 40309 SOS 8488 HAS SOPS 8488 HAS SOUS 7649 HAS SOUPS 7649 WITH SCORE 7657.488
AT ITER 3279 NEW BEST:: SOT 40303 SOS 8472 HAS SOPS 8472 HAS SOUS 7633 HAS SOUPS 7633 WITH SCORE 7641.472
AT ITER 3297 NEW BEST:: SOT 40288 SOS 8470 HAS SOPS 8470 HAS SOUS 7631 HAS SOUPS 7631 WITH SCORE 7639.47
AT ITER 3319 NEW BEST:: SOT 40286 SOS 8466 HAS SOPS 8466 HAS SOUS 7627 HAS SOUPS 7627 WITH SCORE 7635.466
AT ITER 3341 NEW BEST:: SOT 40281 SOS 8456 HAS SOPS 8456 HAS SOUS 7622 HAS SOUPS 7622 WITH SCORE 7630.456
AT ITER 3402 NEW BEST:: SOT 40277 SOS 8448 HAS SOPS 8448 HAS SOUS 7618 HAS SOUPS 7618 WITH SCORE 7626.448
AT ITER 3441 NEW BEST:: SOT 40274 SOS 8442 HAS SOPS 8442 HAS SOUS 7612 HAS SOUPS 7612 WITH SCORE 7620.442
AT ITER 3514 NEW BEST:: SOT 40266 SOS 8438 HAS SOPS 8438 HAS SOUS 7596 HAS SOUPS 7596 WITH SCORE 7604.438
AT ITER 3519 NEW BEST:: SOT 40266 SOS 8439 HAS SOPS 8439 HAS SOUS 7595 HAS SOUPS 7595 WITH SCORE 7603.439
AT ITER 3554 NEW BEST:: SOT 40284 SOS 8453 HAS SOPS 8453 HAS SOUS 7573 HAS SOUPS 7573 WITH SCORE 7581.453
AT ITER 3562 NEW BEST:: SOT 40306 SOS 8445 HAS SOPS 8445 HAS SOUS 7565 HAS SOUPS 7565 WITH SCORE 7573.445
AT ITER 3573 NEW BEST:: SOT 40290 SOS 8425 HAS SOPS 8425 HAS SOUS 7557 HAS SOUPS 7557 WITH SCORE 7565.425
AT ITER 3595 NEW BEST:: SOT 40288 SOS 8419 HAS SOPS 8419 HAS SOUS 7553 HAS SOUPS 7553 WITH SCORE 7561.419
AT ITER 3621 NEW BEST:: SOT 40273 SOS 8389 HAS SOPS 8389 HAS SOUS 7538 HAS SOUPS 7538 WITH SCORE 7546.389
AT ITER 3668 NEW BEST:: SOT 40271 SOS 8387 HAS SOPS 8387 HAS SOUS 7522 HAS SOUPS 7522 WITH SCORE 7530.387
AT ITER 3731 NEW BEST:: SOT 40284 SOS 8400 HAS SOPS 8400 HAS SOUS 7509 HAS SOUPS 7509 WITH SCORE 7517.4
AT ITER 3739 NEW BEST:: SOT 40280 SOS 8396 HAS SOPS 8396 HAS SOUS 7509 HAS SOUPS 7509 WITH SCORE 7517.396
AT ITER 3766 NEW BEST:: SOT 40273 SOS 8380 HAS SOPS 8380 HAS SOUS 7502 HAS SOUPS 7502 WITH SCORE 7510.38
AT ITER 3773 NEW BEST:: SOT 40271 SOS 8358 HAS SOPS 8358 HAS SOUS 7493 HAS SOUPS 7493 WITH SCORE 7501.358
AT ITER 3780 NEW BEST:: SOT 40271 SOS 8354 HAS SOPS 8354 HAS SOUS 7489 HAS SOUPS 7489 WITH SCORE 7497.354
AT ITER 3802 NEW BEST:: SOT 40277 SOS 8354 HAS SOPS 8354 HAS SOUS 7488 HAS SOUPS 7488 WITH SCORE 7496.354
AT ITER 3821 NEW BEST:: SOT 40273 SOS 8349 HAS SOPS 8349 HAS SOUS 7487 HAS SOUPS 7487 WITH SCORE 7495.349
AT ITER 3841 NEW BEST:: SOT 40273 SOS 8343 HAS SOPS 8343 HAS SOUS 7481 HAS SOUPS 7481 WITH SCORE 7489.343
AT ITER 3850 NEW BEST:: SOT 40258 SOS 8356 HAS SOPS 8356 HAS SOUS 7472 HAS SOUPS 7472 WITH SCORE 7480.356
AT ITER 3852 NEW BEST:: SOT 40244 SOS 8342 HAS SOPS 8342 HAS SOUS 7458 HAS SOUPS 7458 WITH SCORE 7466.342
AT ITER 3883 NEW BEST:: SOT 40243 SOS 8341 HAS SOPS 8341 HAS SOUS 7457 HAS SOUPS 7457 WITH SCORE 7465.341
AT ITER 3963 NEW BEST:: SOT 40229 SOS 8325 HAS SOPS 8325 HAS SOUS 7452 HAS SOUPS 7452 WITH SCORE 7460.325
AT ITER 3968 NEW BEST:: SOT 40206 SOS 8323 HAS SOPS 8323 HAS SOUS 7440 HAS SOUPS 7440 WITH SCORE 7448.323
AT ITER 3974 NEW BEST:: SOT 40212 SOS 8319 HAS SOPS 8319 HAS SOUS 7439 HAS SOUPS 7439 WITH SCORE 7447.319
AT ITER 4002 NEW BEST:: SOT 40199 SOS 8317 HAS SOPS 8317 HAS SOUS 7437 HAS SOUPS 7437 WITH SCORE 7445.317
AT ITER 4007 NEW BEST:: SOT 40196 SOS 8314 HAS SOPS 8314 HAS SOUS 7434 HAS SOUPS 7434 WITH SCORE 7442.314
AT ITER 4049 NEW BEST:: SOT 40196 SOS 8310 HAS SOPS 8310 HAS SOUS 7430 HAS SOUPS 7430 WITH SCORE 7438.31
AT ITER 4067 NEW BEST:: SOT 40196 SOS 8310 HAS SOPS 8310 HAS SOUS 7422 HAS SOUPS 7422 WITH SCORE 7430.31
AT ITER 4068 NEW BEST:: SOT 40181 SOS 8268 HAS SOPS 8268 HAS SOUS 7390 HAS SOUPS 7390 WITH SCORE 7398.268
AT ITER 4078 NEW BEST:: SOT 40135 SOS 8170 HAS SOPS 8170 HAS SOUS 7347 HAS SOUPS 7347 WITH SCORE 7355.17
AT ITER 4089 NEW BEST:: SOT 40134 SOS 8168 HAS SOPS 8168 HAS SOUS 7345 HAS SOUPS 7345 WITH SCORE 7353.168
AT ITER 4100 NEW BEST:: SOT 40131 SOS 8164 HAS SOPS 8164 HAS SOUS 7341 HAS SOUPS 7341 WITH SCORE 7349.164
AT ITER 4213 NEW BEST:: SOT 40131 SOS 8161 HAS SOPS 8161 HAS SOUS 7341 HAS SOUPS 7341 WITH SCORE 7349.161
AT ITER 4255 NEW BEST:: SOT 40134 SOS 8147 HAS SOPS 8147 HAS SOUS 7324 HAS SOUPS 7324 WITH SCORE 7332.147
AT ITER 4265 NEW BEST:: SOT 40129 SOS 8142 HAS SOPS 8142 HAS SOUS 7319 HAS SOUPS 7319 WITH SCORE 7327.142
AT ITER 4273 NEW BEST:: SOT 40128 SOS 8138 HAS SOPS 8138 HAS SOUS 7317 HAS SOUPS 7317 WITH SCORE 7325.138
AT ITER 4284 NEW BEST:: SOT 40080 SOS 8148 HAS SOPS 8148 HAS SOUS 7298 HAS SOUPS 7298 WITH SCORE 7306.148
AT ITER 4292 NEW BEST:: SOT 40080 SOS 8145 HAS SOPS 8145 HAS SOUS 7295 HAS SOUPS 7295 WITH SCORE 7303.145
AT ITER 4299 NEW BEST:: SOT 40062 SOS 8114 HAS SOPS 8114 HAS SOUS 7264 HAS SOUPS 7264 WITH SCORE 7272.114
AT ITER 4314 NEW BEST:: SOT 40062 SOS 8107 HAS SOPS 8107 HAS SOUS 7250 HAS SOUPS 7250 WITH SCORE 7258.107
AT ITER 4362 NEW BEST:: SOT 40063 SOS 8109 HAS SOPS 8109 HAS SOUS 7249 HAS SOUPS 7249 WITH SCORE 7257.109
AT ITER 4373 NEW BEST:: SOT 40063 SOS 8103 HAS SOPS 8103 HAS SOUS 7249 HAS SOUPS 7249 WITH SCORE 7257.103
AT ITER 4381 NEW BEST:: SOT 40040 SOS 8101 HAS SOPS 8101 HAS SOUS 7222 HAS SOUPS 7222 WITH SCORE 7230.101
AT ITER 4445 NEW BEST:: SOT 40036 SOS 8086 HAS SOPS 8086 HAS SOUS 7207 HAS SOUPS 7207 WITH SCORE 7215.086
AT ITER 4481 NEW BEST:: SOT 40036 SOS 8081 HAS SOPS 8081 HAS SOUS 7202 HAS SOUPS 7202 WITH SCORE 7210.081
AT ITER 4491 NEW BEST:: SOT 40035 SOS 8079 HAS SOPS 8079 HAS SOUS 7187 HAS SOUPS 7187 WITH SCORE 7195.079
AT ITER 4513 NEW BEST:: SOT 40031 SOS 8075 HAS SOPS 8075 HAS SOUS 7183 HAS SOUPS 7183 WITH SCORE 7191.075
AT ITER 4522 NEW BEST:: SOT 40013 SOS 8046 HAS SOPS 8046 HAS SOUS 7177 HAS SOUPS 7177 WITH SCORE 7185.046
AT ITER 4527 NEW BEST:: SOT 40011 SOS 8044 HAS SOPS 8044 HAS SOUS 7175 HAS SOUPS 7175 WITH SCORE 7183.044
AT ITER 4529 NEW BEST:: SOT 40006 SOS 8034 HAS SOPS 8034 HAS SOUS 7159 HAS SOUPS 7159 WITH SCORE 7167.034
AT ITER 4597 NEW BEST:: SOT 39993 SOS 8008 HAS SOPS 8008 HAS SOUS 7134 HAS SOUPS 7134 WITH SCORE 7142.008
AT ITER 4607 NEW BEST:: SOT 39988 SOS 7999 HAS SOPS 7999 HAS SOUS 7125 HAS SOUPS 7125 WITH SCORE 7132.999
AT ITER 4622 NEW BEST:: SOT 39984 SOS 8003 HAS SOPS 8003 HAS SOUS 7121 HAS SOUPS 7121 WITH SCORE 7129.003
AT ITER 4659 NEW BEST:: SOT 39984 SOS 7998 HAS SOPS 7998 HAS SOUS 7116 HAS SOUPS 7116 WITH SCORE 7123.998
AT ITER 4711 NEW BEST:: SOT 39978 SOS 7991 HAS SOPS 7991 HAS SOUS 7109 HAS SOUPS 7109 WITH SCORE 7116.991
AT ITER 4725 NEW BEST:: SOT 39982 SOS 7989 HAS SOPS 7989 HAS SOUS 7107 HAS SOUPS 7107 WITH SCORE 7114.989
AT ITER 4747 NEW BEST:: SOT 39976 SOS 7983 HAS SOPS 7983 HAS SOUS 7101 HAS SOUPS 7101 WITH SCORE 7108.983
AT ITER 4755 NEW BEST:: SOT 39976 SOS 7981 HAS SOPS 7981 HAS SOUS 7097 HAS SOUPS 7097 WITH SCORE 7104.981
AT ITER 4771 NEW BEST:: SOT 39951 SOS 7939 HAS SOPS 7939 HAS SOUS 7052 HAS SOUPS 7052 WITH SCORE 7059.939
AT ITER 4793 NEW BEST:: SOT 39951 SOS 7934 HAS SOPS 7934 HAS SOUS 7047 HAS SOUPS 7047 WITH SCORE 7054.934
AT ITER 4795 NEW BEST:: SOT 39951 SOS 7925 HAS SOPS 7925 HAS SOUS 7037 HAS SOUPS 7037 WITH SCORE 7044.925
AT ITER 4844 NEW BEST:: SOT 39944 SOS 7848 HAS SOPS 7848 HAS SOUS 7025 HAS SOUPS 7025 WITH SCORE 7032.848
AT ITER 4870 NEW BEST:: SOT 39941 SOS 7839 HAS SOPS 7839 HAS SOUS 7016 HAS SOUPS 7016 WITH SCORE 7023.839
AT ITER 4915 NEW BEST:: SOT 39939 SOS 7835 HAS SOPS 7835 HAS SOUS 7014 HAS SOUPS 7014 WITH SCORE 7021.835
AT ITER 4938 NEW BEST:: SOT 39937 SOS 7829 HAS SOPS 7829 HAS SOUS 7008 HAS SOUPS 7008 WITH SCORE 7015.829
AT ITER 4969 NEW BEST:: SOT 39930 SOS 7794 HAS SOPS 7794 HAS SOUS 6983 HAS SOUPS 6983 WITH SCORE 6990.794
AT ITER 4994 NEW BEST:: SOT 39930 SOS 7785 HAS SOPS 7785 HAS SOUS 6974 HAS SOUPS 6974 WITH SCORE 6981.785
AT ITER 4996 NEW BEST:: SOT 39920 SOS 7781 HAS SOPS 7781 HAS SOUS 6970 HAS SOUPS 6970 WITH SCORE 6977.781
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ShieldIIPt-PT-004B-CTLCardinality-00 (EU( (EF(potential( (tk(P266)) <= (tk(P172)) ))),(! ( potential( (tk(P62)) <= (tk(P248)) ) | potential( (tk(P69)) <= (tk(P61)) ) )) ))
PROPERTY: ShieldIIPt-PT-004B-CTLCardinality-01 (EG( ( (AF(potential( (tk(P199)) <= (tk(P143)) ))) | potential( ( 2 ) <= (tk(P4)) ) )))
PROPERTY: ShieldIIPt-PT-004B-CTLCardinality-02 (AU( (AX( potential( (tk(P50)) <= (tk(P242)) ))),(! ( potential( ( 1 ) <= (tk(P130)) ) | potential( (tk(P3)) <= (tk(P199)) ) )) ))
PROPERTY: ShieldIIPt-PT-004B-CTLCardinality-03 (! (EG( (AX( potential( (tk(P10)) <= (tk(P71)) ))))))
PROPERTY: ShieldIIPt-PT-004B-CTLCardinality-04 (AF(potential( ( 2 ) <= (tk(P238)) )))
PROPERTY: ShieldIIPt-PT-004B-CTLCardinality-05 (! ( (AG( (! potential( ( 2 ) <= (tk(P191)) )))) & (! (! ( potential( (tk(P30)) <= (tk(P169)) ) | potential( (tk(P204)) <= (tk(P136)) ) ))) ))
PROPERTY: ShieldIIPt-PT-004B-CTLCardinality-06 (AG( ( ( ( potential( ( 2 ) <= (tk(P116)) ) | potential( (tk(P55)) <= (tk(P278)) ) ) & (! potential( (tk(P57)) <= (tk(P266)) )) ) | potential( (tk(P255)) <= (tk(P39)) ) )))
PROPERTY: ShieldIIPt-PT-004B-CTLCardinality-07 (AG( (! (AX( potential( ( 2 ) <= (tk(P74)) ))))))
PROPERTY: ShieldIIPt-PT-004B-CTLCardinality-08 (! (EF((AG( potential( (tk(P15)) <= (tk(P252)) ))))))
PROPERTY: ShieldIIPt-PT-004B-CTLCardinality-09 (EG( ( (! ( potential( ( 3 ) <= (tk(P158)) ) & potential( (tk(P14)) <= (tk(P19)) ) )) & (AF(potential( (tk(P144)) <= (tk(P2)) ))) )))
PROPERTY: ShieldIIPt-PT-004B-CTLCardinality-10 (AU( potential( (tk(P258)) <= (tk(P153)) ),(AG( potential( (tk(P39)) <= (tk(P193)) ))) ))
PROPERTY: ShieldIIPt-PT-004B-CTLCardinality-11 (EG( (! ( potential( ( 2 ) <= (tk(P94)) ) & ( potential( ( 2 ) <= (tk(P85)) ) | potential( ( 3 ) <= (tk(P103)) ) ) ))))
PROPERTY: ShieldIIPt-PT-004B-CTLCardinality-12 (EG( ( (AG( potential( (tk(P128)) <= (tk(P165)) ))) | (! ( potential( (tk(P99)) <= (tk(P105)) ) & potential( (tk(P16)) <= (tk(P227)) ) )) )))
PROPERTY: ShieldIIPt-PT-004B-CTLCardinality-13 ( (AG( (AF(potential( (tk(P68)) <= (tk(P256)) ))))) | (EG( (! potential( (tk(P229)) <= (tk(P111)) )))) )
PROPERTY: ShieldIIPt-PT-004B-CTLCardinality-14 (EG( potential( (tk(P206)) <= (tk(P209)) )))
PROPERTY: ShieldIIPt-PT-004B-CTLCardinality-15 (AF((EU( potential( (tk(P199)) <= (tk(P256)) ),potential( ( 2 ) <= (tk(P39)) ) ))))

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-004B"
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-004B, 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-159033469200275"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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