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-159033470000828.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 ShieldRVs-PT-010A, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033470000828
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 244K
-rw-r--r-- 1 mcc users 3.6K May 14 02:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 14 02:12 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K May 13 19:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 23K May 13 19:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K May 14 10:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K May 14 10:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 14 10:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 4.0K May 13 14:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K May 13 14:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 09:05 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 09:05 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 63K 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 ShieldRVs-PT-010A-CTLFireability-00
FORMULA_NAME ShieldRVs-PT-010A-CTLFireability-01
FORMULA_NAME ShieldRVs-PT-010A-CTLFireability-02
FORMULA_NAME ShieldRVs-PT-010A-CTLFireability-03
FORMULA_NAME ShieldRVs-PT-010A-CTLFireability-04
FORMULA_NAME ShieldRVs-PT-010A-CTLFireability-05
FORMULA_NAME ShieldRVs-PT-010A-CTLFireability-06
FORMULA_NAME ShieldRVs-PT-010A-CTLFireability-07
FORMULA_NAME ShieldRVs-PT-010A-CTLFireability-08
FORMULA_NAME ShieldRVs-PT-010A-CTLFireability-09
FORMULA_NAME ShieldRVs-PT-010A-CTLFireability-10
FORMULA_NAME ShieldRVs-PT-010A-CTLFireability-11
FORMULA_NAME ShieldRVs-PT-010A-CTLFireability-12
FORMULA_NAME ShieldRVs-PT-010A-CTLFireability-13
FORMULA_NAME ShieldRVs-PT-010A-CTLFireability-14
FORMULA_NAME ShieldRVs-PT-010A-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590450418110

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVs (PT), instance 010A
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: 143 places, 193 transitions, 920 arcs.
AT ITER 0 NEW BEST:: SOT 20701 SOS 17759 HAS SOPS 17759 HAS SOUS 14307 HAS SOUPS 14307 WITH SCORE 14324.759
AT ITER 2 NEW BEST:: SOT 20688 SOS 17663 HAS SOPS 17663 HAS SOUS 14060 HAS SOUPS 14060 WITH SCORE 14077.663
AT ITER 5 NEW BEST:: SOT 20707 SOS 17572 HAS SOPS 17572 HAS SOUS 13987 HAS SOUPS 13987 WITH SCORE 14004.572
AT ITER 6 NEW BEST:: SOT 20707 SOS 17576 HAS SOPS 17576 HAS SOUS 13950 HAS SOUPS 13950 WITH SCORE 13967.576
AT ITER 8 NEW BEST:: SOT 20712 SOS 17377 HAS SOPS 17377 HAS SOUS 13703 HAS SOUPS 13703 WITH SCORE 13720.377
AT ITER 11 NEW BEST:: SOT 20693 SOS 17367 HAS SOPS 17367 HAS SOUS 13695 HAS SOUPS 13695 WITH SCORE 13712.367
AT ITER 12 NEW BEST:: SOT 20681 SOS 17291 HAS SOPS 17291 HAS SOUS 13634 HAS SOUPS 13634 WITH SCORE 13651.291
AT ITER 14 NEW BEST:: SOT 20640 SOS 17250 HAS SOPS 17250 HAS SOUS 13509 HAS SOUPS 13509 WITH SCORE 13526.25
AT ITER 15 NEW BEST:: SOT 20613 SOS 17113 HAS SOPS 17113 HAS SOUS 13382 HAS SOUPS 13382 WITH SCORE 13399.113
AT ITER 18 NEW BEST:: SOT 20642 SOS 16962 HAS SOPS 16962 HAS SOUS 13291 HAS SOUPS 13291 WITH SCORE 13307.962
AT ITER 21 NEW BEST:: SOT 20630 SOS 16950 HAS SOPS 16950 HAS SOUS 13279 HAS SOUPS 13279 WITH SCORE 13295.95
AT ITER 23 NEW BEST:: SOT 20630 SOS 16872 HAS SOPS 16872 HAS SOUS 13245 HAS SOUPS 13245 WITH SCORE 13261.872
AT ITER 25 NEW BEST:: SOT 20567 SOS 16790 HAS SOPS 16790 HAS SOUS 13163 HAS SOUPS 13163 WITH SCORE 13179.79
AT ITER 27 NEW BEST:: SOT 20506 SOS 16559 HAS SOPS 16559 HAS SOUS 12892 HAS SOUPS 12892 WITH SCORE 12908.559
AT ITER 29 NEW BEST:: SOT 20497 SOS 16014 HAS SOPS 16014 HAS SOUS 12697 HAS SOUPS 12697 WITH SCORE 12713.014
AT ITER 31 NEW BEST:: SOT 20465 SOS 15982 HAS SOPS 15982 HAS SOUS 12665 HAS SOUPS 12665 WITH SCORE 12680.982
AT ITER 32 NEW BEST:: SOT 20466 SOS 15983 HAS SOPS 15983 HAS SOUS 12664 HAS SOUPS 12664 WITH SCORE 12679.983
AT ITER 42 NEW BEST:: SOT 20466 SOS 15980 HAS SOPS 15980 HAS SOUS 12663 HAS SOUPS 12663 WITH SCORE 12678.98
AT ITER 44 NEW BEST:: SOT 20458 SOS 15931 HAS SOPS 15931 HAS SOUS 12608 HAS SOUPS 12608 WITH SCORE 12623.931
AT ITER 45 NEW BEST:: SOT 20419 SOS 15892 HAS SOPS 15892 HAS SOUS 12569 HAS SOUPS 12569 WITH SCORE 12584.892
AT ITER 46 NEW BEST:: SOT 20425 SOS 15863 HAS SOPS 15863 HAS SOUS 12566 HAS SOUPS 12566 WITH SCORE 12581.863
AT ITER 49 NEW BEST:: SOT 20424 SOS 15862 HAS SOPS 15862 HAS SOUS 12565 HAS SOUPS 12565 WITH SCORE 12580.862
AT ITER 51 NEW BEST:: SOT 20456 SOS 15787 HAS SOPS 15787 HAS SOUS 12386 HAS SOUPS 12386 WITH SCORE 12401.787
AT ITER 56 NEW BEST:: SOT 20454 SOS 15756 HAS SOPS 15756 HAS SOUS 12349 HAS SOUPS 12349 WITH SCORE 12364.756
AT ITER 61 NEW BEST:: SOT 20367 SOS 15669 HAS SOPS 15669 HAS SOUS 12221 HAS SOUPS 12221 WITH SCORE 12236.669
AT ITER 63 NEW BEST:: SOT 20338 SOS 15639 HAS SOPS 15639 HAS SOUS 12172 HAS SOUPS 12172 WITH SCORE 12187.639
AT ITER 64 NEW BEST:: SOT 20316 SOS 15522 HAS SOPS 15522 HAS SOUS 12061 HAS SOUPS 12061 WITH SCORE 12076.522
AT ITER 67 NEW BEST:: SOT 20316 SOS 15522 HAS SOPS 15522 HAS SOUS 12056 HAS SOUPS 12056 WITH SCORE 12071.522
AT ITER 68 NEW BEST:: SOT 20314 SOS 15520 HAS SOPS 15520 HAS SOUS 12054 HAS SOUPS 12054 WITH SCORE 12069.52
AT ITER 71 NEW BEST:: SOT 20299 SOS 15423 HAS SOPS 15423 HAS SOUS 12016 HAS SOUPS 12016 WITH SCORE 12031.423
AT ITER 72 NEW BEST:: SOT 20284 SOS 15408 HAS SOPS 15408 HAS SOUS 12001 HAS SOUPS 12001 WITH SCORE 12016.408
AT ITER 76 NEW BEST:: SOT 20266 SOS 15279 HAS SOPS 15279 HAS SOUS 12000 HAS SOUPS 12000 WITH SCORE 12015.279
AT ITER 77 NEW BEST:: SOT 20232 SOS 15118 HAS SOPS 15118 HAS SOUS 11954 HAS SOUPS 11954 WITH SCORE 11969.118
AT ITER 80 NEW BEST:: SOT 20319 SOS 15280 HAS SOPS 15280 HAS SOUS 11939 HAS SOUPS 11939 WITH SCORE 11954.28
AT ITER 82 NEW BEST:: SOT 20302 SOS 15307 HAS SOPS 15307 HAS SOUS 11918 HAS SOUPS 11918 WITH SCORE 11933.307
AT ITER 83 NEW BEST:: SOT 19934 SOS 14955 HAS SOPS 14955 HAS SOUS 11691 HAS SOUPS 11691 WITH SCORE 11705.955
AT ITER 88 NEW BEST:: SOT 19928 SOS 14949 HAS SOPS 14949 HAS SOUS 11685 HAS SOUPS 11685 WITH SCORE 11699.949
AT ITER 89 NEW BEST:: SOT 19910 SOS 14931 HAS SOPS 14931 HAS SOUS 11667 HAS SOUPS 11667 WITH SCORE 11681.931
AT ITER 93 NEW BEST:: SOT 19910 SOS 14929 HAS SOPS 14929 HAS SOUS 11663 HAS SOUPS 11663 WITH SCORE 11677.929
AT ITER 97 NEW BEST:: SOT 19893 SOS 14912 HAS SOPS 14912 HAS SOUS 11646 HAS SOUPS 11646 WITH SCORE 11660.912
AT ITER 102 NEW BEST:: SOT 19806 SOS 14491 HAS SOPS 14491 HAS SOUS 11246 HAS SOUPS 11246 WITH SCORE 11260.491
AT ITER 104 NEW BEST:: SOT 19806 SOS 14452 HAS SOPS 14452 HAS SOUS 11209 HAS SOUPS 11209 WITH SCORE 11223.452
AT ITER 105 NEW BEST:: SOT 19796 SOS 14382 HAS SOPS 14382 HAS SOUS 11197 HAS SOUPS 11197 WITH SCORE 11211.382
AT ITER 106 NEW BEST:: SOT 19813 SOS 14330 HAS SOPS 14330 HAS SOUS 11132 HAS SOUPS 11132 WITH SCORE 11146.33
AT ITER 109 NEW BEST:: SOT 19785 SOS 14253 HAS SOPS 14253 HAS SOUS 11054 HAS SOUPS 11054 WITH SCORE 11068.253
AT ITER 112 NEW BEST:: SOT 19749 SOS 14149 HAS SOPS 14149 HAS SOUS 10933 HAS SOUPS 10933 WITH SCORE 10947.149
AT ITER 121 NEW BEST:: SOT 19749 SOS 14091 HAS SOPS 14091 HAS SOUS 10860 HAS SOUPS 10860 WITH SCORE 10874.091
AT ITER 127 NEW BEST:: SOT 19735 SOS 14009 HAS SOPS 14009 HAS SOUS 10859 HAS SOUPS 10859 WITH SCORE 10873.009
AT ITER 129 NEW BEST:: SOT 19720 SOS 13972 HAS SOPS 13972 HAS SOUS 10783 HAS SOUPS 10783 WITH SCORE 10796.972
AT ITER 154 NEW BEST:: SOT 19676 SOS 13911 HAS SOPS 13911 HAS SOUS 10731 HAS SOUPS 10731 WITH SCORE 10744.911
AT ITER 156 NEW BEST:: SOT 19676 SOS 13827 HAS SOPS 13827 HAS SOUS 10703 HAS SOUPS 10703 WITH SCORE 10716.827
AT ITER 160 NEW BEST:: SOT 19755 SOS 13920 HAS SOPS 13920 HAS SOUS 10675 HAS SOUPS 10675 WITH SCORE 10688.92
AT ITER 163 NEW BEST:: SOT 19754 SOS 13917 HAS SOPS 13917 HAS SOUS 10672 HAS SOUPS 10672 WITH SCORE 10685.917
AT ITER 172 NEW BEST:: SOT 19738 SOS 13870 HAS SOPS 13870 HAS SOUS 10667 HAS SOUPS 10667 WITH SCORE 10680.87
AT ITER 187 NEW BEST:: SOT 19654 SOS 13786 HAS SOPS 13786 HAS SOUS 10609 HAS SOUPS 10609 WITH SCORE 10622.786
AT ITER 194 NEW BEST:: SOT 19633 SOS 13765 HAS SOPS 13765 HAS SOUS 10579 HAS SOUPS 10579 WITH SCORE 10592.765
AT ITER 197 NEW BEST:: SOT 19633 SOS 13731 HAS SOPS 13731 HAS SOUS 10560 HAS SOUPS 10560 WITH SCORE 10573.731
AT ITER 202 NEW BEST:: SOT 19614 SOS 13712 HAS SOPS 13712 HAS SOUS 10522 HAS SOUPS 10522 WITH SCORE 10535.712
AT ITER 203 NEW BEST:: SOT 19602 SOS 13690 HAS SOPS 13690 HAS SOUS 10486 HAS SOUPS 10486 WITH SCORE 10499.69
AT ITER 207 NEW BEST:: SOT 19572 SOS 13661 HAS SOPS 13661 HAS SOUS 10431 HAS SOUPS 10431 WITH SCORE 10444.661
AT ITER 215 NEW BEST:: SOT 19583 SOS 13726 HAS SOPS 13726 HAS SOUS 10421 HAS SOUPS 10421 WITH SCORE 10434.726
AT ITER 218 NEW BEST:: SOT 19580 SOS 13723 HAS SOPS 13723 HAS SOUS 10418 HAS SOUPS 10418 WITH SCORE 10431.723
AT ITER 223 NEW BEST:: SOT 19580 SOS 13703 HAS SOPS 13703 HAS SOUS 10410 HAS SOUPS 10410 WITH SCORE 10423.703
AT ITER 234 NEW BEST:: SOT 19569 SOS 13800 HAS SOPS 13800 HAS SOUS 10346 HAS SOUPS 10346 WITH SCORE 10359.8
AT ITER 236 NEW BEST:: SOT 19337 SOS 13552 HAS SOPS 13552 HAS SOUS 10056 HAS SOUPS 10056 WITH SCORE 10069.552
AT ITER 245 NEW BEST:: SOT 19267 SOS 13482 HAS SOPS 13482 HAS SOUS 9997 HAS SOUPS 9997 WITH SCORE 10010.482
AT ITER 246 NEW BEST:: SOT 19216 SOS 13224 HAS SOPS 13224 HAS SOUS 9970 HAS SOUPS 9970 WITH SCORE 9983.224
AT ITER 247 NEW BEST:: SOT 19237 SOS 13100 HAS SOPS 13100 HAS SOUS 9933 HAS SOUPS 9933 WITH SCORE 9946.1
AT ITER 249 NEW BEST:: SOT 19221 SOS 13084 HAS SOPS 13084 HAS SOUS 9917 HAS SOUPS 9917 WITH SCORE 9930.084
AT ITER 255 NEW BEST:: SOT 19221 SOS 13083 HAS SOPS 13083 HAS SOUS 9914 HAS SOUPS 9914 WITH SCORE 9927.083
AT ITER 259 NEW BEST:: SOT 19214 SOS 13076 HAS SOPS 13076 HAS SOUS 9906 HAS SOUPS 9906 WITH SCORE 9919.076
AT ITER 263 NEW BEST:: SOT 19200 SOS 13044 HAS SOPS 13044 HAS SOUS 9882 HAS SOUPS 9882 WITH SCORE 9895.044
AT ITER 268 NEW BEST:: SOT 19211 SOS 13017 HAS SOPS 13017 HAS SOUS 9853 HAS SOUPS 9853 WITH SCORE 9866.017
AT ITER 269 NEW BEST:: SOT 19220 SOS 13022 HAS SOPS 13022 HAS SOUS 9809 HAS SOUPS 9809 WITH SCORE 9822.022
AT ITER 275 NEW BEST:: SOT 19194 SOS 12994 HAS SOPS 12994 HAS SOUS 9778 HAS SOUPS 9778 WITH SCORE 9790.994
AT ITER 279 NEW BEST:: SOT 19175 SOS 12917 HAS SOPS 12917 HAS SOUS 9776 HAS SOUPS 9776 WITH SCORE 9788.917
AT ITER 283 NEW BEST:: SOT 19169 SOS 12928 HAS SOPS 12928 HAS SOUS 9773 HAS SOUPS 9773 WITH SCORE 9785.928
AT ITER 286 NEW BEST:: SOT 19167 SOS 12926 HAS SOPS 12926 HAS SOUS 9767 HAS SOUPS 9767 WITH SCORE 9779.926
AT ITER 289 NEW BEST:: SOT 19167 SOS 12923 HAS SOPS 12923 HAS SOUS 9746 HAS SOUPS 9746 WITH SCORE 9758.923
AT ITER 293 NEW BEST:: SOT 19067 SOS 12823 HAS SOPS 12823 HAS SOUS 9646 HAS SOUPS 9646 WITH SCORE 9658.823
AT ITER 294 NEW BEST:: SOT 19047 SOS 12808 HAS SOPS 12808 HAS SOUS 9637 HAS SOUPS 9637 WITH SCORE 9649.808
AT ITER 299 NEW BEST:: SOT 18972 SOS 12609 HAS SOPS 12609 HAS SOUS 9510 HAS SOUPS 9510 WITH SCORE 9522.609
AT ITER 301 NEW BEST:: SOT 18972 SOS 12575 HAS SOPS 12575 HAS SOUS 9510 HAS SOUPS 9510 WITH SCORE 9522.575
AT ITER 302 NEW BEST:: SOT 18941 SOS 12544 HAS SOPS 12544 HAS SOUS 9510 HAS SOUPS 9510 WITH SCORE 9522.544
AT ITER 305 NEW BEST:: SOT 18941 SOS 12573 HAS SOPS 12573 HAS SOUS 9500 HAS SOUPS 9500 WITH SCORE 9512.573
AT ITER 312 NEW BEST:: SOT 18969 SOS 12426 HAS SOPS 12426 HAS SOUS 9418 HAS SOUPS 9418 WITH SCORE 9430.426
AT ITER 313 NEW BEST:: SOT 18969 SOS 12426 HAS SOPS 12426 HAS SOUS 9394 HAS SOUPS 9394 WITH SCORE 9406.426
AT ITER 315 NEW BEST:: SOT 18927 SOS 12363 HAS SOPS 12363 HAS SOUS 9331 HAS SOUPS 9331 WITH SCORE 9343.363
AT ITER 316 NEW BEST:: SOT 18883 SOS 12319 HAS SOPS 12319 HAS SOUS 9287 HAS SOUPS 9287 WITH SCORE 9299.319
AT ITER 317 NEW BEST:: SOT 18857 SOS 12231 HAS SOPS 12231 HAS SOUS 9203 HAS SOUPS 9203 WITH SCORE 9215.231
AT ITER 325 NEW BEST:: SOT 18855 SOS 12229 HAS SOPS 12229 HAS SOUS 9197 HAS SOUPS 9197 WITH SCORE 9209.229
AT ITER 328 NEW BEST:: SOT 18830 SOS 12209 HAS SOPS 12209 HAS SOUS 9195 HAS SOUPS 9195 WITH SCORE 9207.209
AT ITER 330 NEW BEST:: SOT 18835 SOS 12173 HAS SOPS 12173 HAS SOUS 9177 HAS SOUPS 9177 WITH SCORE 9189.173
AT ITER 333 NEW BEST:: SOT 18844 SOS 12095 HAS SOPS 12095 HAS SOUS 9164 HAS SOUPS 9164 WITH SCORE 9176.095
AT ITER 342 NEW BEST:: SOT 18833 SOS 12084 HAS SOPS 12084 HAS SOUS 9152 HAS SOUPS 9152 WITH SCORE 9164.084
AT ITER 343 NEW BEST:: SOT 18769 SOS 12019 HAS SOPS 12019 HAS SOUS 9088 HAS SOUPS 9088 WITH SCORE 9100.019
AT ITER 344 NEW BEST:: SOT 18753 SOS 11827 HAS SOPS 11827 HAS SOUS 9033 HAS SOUPS 9033 WITH SCORE 9044.827
AT ITER 352 NEW BEST:: SOT 18745 SOS 11811 HAS SOPS 11811 HAS SOUS 9030 HAS SOUPS 9030 WITH SCORE 9041.811
AT ITER 357 NEW BEST:: SOT 18690 SOS 11727 HAS SOPS 11727 HAS SOUS 8944 HAS SOUPS 8944 WITH SCORE 8955.727
AT ITER 359 NEW BEST:: SOT 18535 SOS 11402 HAS SOPS 11402 HAS SOUS 8654 HAS SOUPS 8654 WITH SCORE 8665.402
AT ITER 367 NEW BEST:: SOT 18534 SOS 11403 HAS SOPS 11403 HAS SOUS 8652 HAS SOUPS 8652 WITH SCORE 8663.403
AT ITER 370 NEW BEST:: SOT 18522 SOS 11391 HAS SOPS 11391 HAS SOUS 8600 HAS SOUPS 8600 WITH SCORE 8611.391
AT ITER 372 NEW BEST:: SOT 18522 SOS 11326 HAS SOPS 11326 HAS SOUS 8600 HAS SOUPS 8600 WITH SCORE 8611.326
AT ITER 373 NEW BEST:: SOT 18524 SOS 11322 HAS SOPS 11322 HAS SOUS 8564 HAS SOUPS 8564 WITH SCORE 8575.322
AT ITER 397 NEW BEST:: SOT 18516 SOS 11298 HAS SOPS 11298 HAS SOUS 8550 HAS SOUPS 8550 WITH SCORE 8561.298
AT ITER 402 NEW BEST:: SOT 18520 SOS 11060 HAS SOPS 11060 HAS SOUS 8411 HAS SOUPS 8411 WITH SCORE 8422.06
AT ITER 405 NEW BEST:: SOT 18426 SOS 10932 HAS SOPS 10932 HAS SOUS 8283 HAS SOUPS 8283 WITH SCORE 8293.932
AT ITER 407 NEW BEST:: SOT 18434 SOS 10950 HAS SOPS 10950 HAS SOUS 8280 HAS SOUPS 8280 WITH SCORE 8290.95
AT ITER 416 NEW BEST:: SOT 18418 SOS 10934 HAS SOPS 10934 HAS SOUS 8264 HAS SOUPS 8264 WITH SCORE 8274.934
AT ITER 421 NEW BEST:: SOT 18418 SOS 10935 HAS SOPS 10935 HAS SOUS 8263 HAS SOUPS 8263 WITH SCORE 8273.935
AT ITER 427 NEW BEST:: SOT 18412 SOS 10966 HAS SOPS 10966 HAS SOUS 8198 HAS SOUPS 8198 WITH SCORE 8208.966
AT ITER 428 NEW BEST:: SOT 18339 SOS 10880 HAS SOPS 10880 HAS SOUS 8112 HAS SOUPS 8112 WITH SCORE 8122.88
AT ITER 446 NEW BEST:: SOT 18354 SOS 10801 HAS SOPS 10801 HAS SOUS 8101 HAS SOUPS 8101 WITH SCORE 8111.801
AT ITER 452 NEW BEST:: SOT 18312 SOS 10759 HAS SOPS 10759 HAS SOUS 8059 HAS SOUPS 8059 WITH SCORE 8069.759
AT ITER 460 NEW BEST:: SOT 18312 SOS 10822 HAS SOPS 10822 HAS SOUS 8024 HAS SOUPS 8024 WITH SCORE 8034.822
AT ITER 461 NEW BEST:: SOT 18288 SOS 10798 HAS SOPS 10798 HAS SOUS 8000 HAS SOUPS 8000 WITH SCORE 8010.798
AT ITER 464 NEW BEST:: SOT 18259 SOS 10769 HAS SOPS 10769 HAS SOUS 7971 HAS SOUPS 7971 WITH SCORE 7981.769
AT ITER 465 NEW BEST:: SOT 18280 SOS 10791 HAS SOPS 10791 HAS SOUS 7970 HAS SOUPS 7970 WITH SCORE 7980.791
AT ITER 466 NEW BEST:: SOT 18281 SOS 10754 HAS SOPS 10754 HAS SOUS 7960 HAS SOUPS 7960 WITH SCORE 7970.754
AT ITER 486 NEW BEST:: SOT 18338 SOS 10706 HAS SOPS 10706 HAS SOUS 7871 HAS SOUPS 7871 WITH SCORE 7881.706
AT ITER 487 NEW BEST:: SOT 18313 SOS 10657 HAS SOPS 10657 HAS SOUS 7815 HAS SOUPS 7815 WITH SCORE 7825.657
AT ITER 491 NEW BEST:: SOT 18313 SOS 10651 HAS SOPS 10651 HAS SOUS 7809 HAS SOUPS 7809 WITH SCORE 7819.651
AT ITER 494 NEW BEST:: SOT 18246 SOS 10451 HAS SOPS 10451 HAS SOUS 7772 HAS SOUPS 7772 WITH SCORE 7782.451
AT ITER 501 NEW BEST:: SOT 18216 SOS 10298 HAS SOPS 10298 HAS SOUS 7745 HAS SOUPS 7745 WITH SCORE 7755.298
AT ITER 502 NEW BEST:: SOT 18230 SOS 10366 HAS SOPS 10366 HAS SOUS 7712 HAS SOUPS 7712 WITH SCORE 7722.366
AT ITER 504 NEW BEST:: SOT 18202 SOS 10306 HAS SOPS 10306 HAS SOUS 7684 HAS SOUPS 7684 WITH SCORE 7694.306
AT ITER 505 NEW BEST:: SOT 18253 SOS 10308 HAS SOPS 10308 HAS SOUS 7679 HAS SOUPS 7679 WITH SCORE 7689.308
AT ITER 510 NEW BEST:: SOT 18246 SOS 10269 HAS SOPS 10269 HAS SOUS 7666 HAS SOUPS 7666 WITH SCORE 7676.269
AT ITER 526 NEW BEST:: SOT 18238 SOS 10267 HAS SOPS 10267 HAS SOUS 7663 HAS SOUPS 7663 WITH SCORE 7673.267
AT ITER 529 NEW BEST:: SOT 18238 SOS 10263 HAS SOPS 10263 HAS SOUS 7652 HAS SOUPS 7652 WITH SCORE 7662.263
AT ITER 533 NEW BEST:: SOT 18232 SOS 10251 HAS SOPS 10251 HAS SOUS 7646 HAS SOUPS 7646 WITH SCORE 7656.251
AT ITER 548 NEW BEST:: SOT 18211 SOS 10223 HAS SOPS 10223 HAS SOUS 7618 HAS SOUPS 7618 WITH SCORE 7628.223
AT ITER 549 NEW BEST:: SOT 18205 SOS 10217 HAS SOPS 10217 HAS SOUS 7612 HAS SOUPS 7612 WITH SCORE 7622.217
AT ITER 550 NEW BEST:: SOT 18196 SOS 10208 HAS SOPS 10208 HAS SOUS 7588 HAS SOUPS 7588 WITH SCORE 7598.208
AT ITER 563 NEW BEST:: SOT 18189 SOS 10189 HAS SOPS 10189 HAS SOUS 7568 HAS SOUPS 7568 WITH SCORE 7578.189
AT ITER 564 NEW BEST:: SOT 18187 SOS 10187 HAS SOPS 10187 HAS SOUS 7566 HAS SOUPS 7566 WITH SCORE 7576.187
AT ITER 567 NEW BEST:: SOT 18195 SOS 10219 HAS SOPS 10219 HAS SOUS 7565 HAS SOUPS 7565 WITH SCORE 7575.219
AT ITER 578 NEW BEST:: SOT 18181 SOS 10191 HAS SOPS 10191 HAS SOUS 7552 HAS SOUPS 7552 WITH SCORE 7562.191
AT ITER 584 NEW BEST:: SOT 18149 SOS 10051 HAS SOPS 10051 HAS SOUS 7480 HAS SOUPS 7480 WITH SCORE 7490.051
AT ITER 588 NEW BEST:: SOT 18140 SOS 10020 HAS SOPS 10020 HAS SOUS 7466 HAS SOUPS 7466 WITH SCORE 7476.02
AT ITER 609 NEW BEST:: SOT 18093 SOS 9986 HAS SOPS 9986 HAS SOUS 7432 HAS SOUPS 7432 WITH SCORE 7441.986
AT ITER 611 NEW BEST:: SOT 18082 SOS 9933 HAS SOPS 9933 HAS SOUS 7414 HAS SOUPS 7414 WITH SCORE 7423.933
AT ITER 618 NEW BEST:: SOT 18071 SOS 9922 HAS SOPS 9922 HAS SOUS 7387 HAS SOUPS 7387 WITH SCORE 7396.922
AT ITER 622 NEW BEST:: SOT 18063 SOS 9877 HAS SOPS 9877 HAS SOUS 7378 HAS SOUPS 7378 WITH SCORE 7387.877
AT ITER 624 NEW BEST:: SOT 18056 SOS 9871 HAS SOPS 9871 HAS SOUS 7368 HAS SOUPS 7368 WITH SCORE 7377.871
AT ITER 642 NEW BEST:: SOT 18013 SOS 9769 HAS SOPS 9769 HAS SOUS 7316 HAS SOUPS 7316 WITH SCORE 7325.769
AT ITER 643 NEW BEST:: SOT 18013 SOS 9758 HAS SOPS 9758 HAS SOUS 7305 HAS SOUPS 7305 WITH SCORE 7314.758
AT ITER 650 NEW BEST:: SOT 18009 SOS 9754 HAS SOPS 9754 HAS SOUS 7298 HAS SOUPS 7298 WITH SCORE 7307.754
AT ITER 654 NEW BEST:: SOT 17985 SOS 9730 HAS SOPS 9730 HAS SOUS 7274 HAS SOUPS 7274 WITH SCORE 7283.73
AT ITER 674 NEW BEST:: SOT 17906 SOS 9522 HAS SOPS 9522 HAS SOUS 7137 HAS SOUPS 7137 WITH SCORE 7146.522
AT ITER 705 NEW BEST:: SOT 17792 SOS 9408 HAS SOPS 9408 HAS SOUS 6994 HAS SOUPS 6994 WITH SCORE 7003.408
AT ITER 709 NEW BEST:: SOT 17783 SOS 9389 HAS SOPS 9389 HAS SOUS 6976 HAS SOUPS 6976 WITH SCORE 6985.389
AT ITER 712 NEW BEST:: SOT 17782 SOS 9387 HAS SOPS 9387 HAS SOUS 6973 HAS SOUPS 6973 WITH SCORE 6982.387
AT ITER 723 NEW BEST:: SOT 17782 SOS 9402 HAS SOPS 9402 HAS SOUS 6966 HAS SOUPS 6966 WITH SCORE 6975.402
AT ITER 726 NEW BEST:: SOT 17765 SOS 9385 HAS SOPS 9385 HAS SOUS 6949 HAS SOUPS 6949 WITH SCORE 6958.385
AT ITER 731 NEW BEST:: SOT 17753 SOS 9424 HAS SOPS 9424 HAS SOUS 6934 HAS SOUPS 6934 WITH SCORE 6943.424
AT ITER 732 NEW BEST:: SOT 17743 SOS 9310 HAS SOPS 9310 HAS SOUS 6900 HAS SOUPS 6900 WITH SCORE 6909.31
AT ITER 754 NEW BEST:: SOT 17742 SOS 9309 HAS SOPS 9309 HAS SOUS 6899 HAS SOUPS 6899 WITH SCORE 6908.309
AT ITER 764 NEW BEST:: SOT 17690 SOS 9295 HAS SOPS 9295 HAS SOUS 6848 HAS SOUPS 6848 WITH SCORE 6857.295
AT ITER 772 NEW BEST:: SOT 17668 SOS 9219 HAS SOPS 9219 HAS SOUS 6819 HAS SOUPS 6819 WITH SCORE 6828.219
AT ITER 785 NEW BEST:: SOT 17642 SOS 9231 HAS SOPS 9231 HAS SOUS 6802 HAS SOUPS 6802 WITH SCORE 6811.231
AT ITER 795 NEW BEST:: SOT 17630 SOS 9216 HAS SOPS 9216 HAS SOUS 6787 HAS SOUPS 6787 WITH SCORE 6796.216
AT ITER 805 NEW BEST:: SOT 17618 SOS 9204 HAS SOPS 9204 HAS SOUS 6775 HAS SOUPS 6775 WITH SCORE 6784.204
AT ITER 811 NEW BEST:: SOT 17613 SOS 9199 HAS SOPS 9199 HAS SOUS 6770 HAS SOUPS 6770 WITH SCORE 6779.199
AT ITER 812 NEW BEST:: SOT 17603 SOS 9209 HAS SOPS 9209 HAS SOUS 6768 HAS SOUPS 6768 WITH SCORE 6777.209
AT ITER 814 NEW BEST:: SOT 17632 SOS 9226 HAS SOPS 9226 HAS SOUS 6737 HAS SOUPS 6737 WITH SCORE 6746.226
AT ITER 818 NEW BEST:: SOT 17670 SOS 9212 HAS SOPS 9212 HAS SOUS 6728 HAS SOUPS 6728 WITH SCORE 6737.212
AT ITER 838 NEW BEST:: SOT 17669 SOS 9176 HAS SOPS 9176 HAS SOUS 6713 HAS SOUPS 6713 WITH SCORE 6722.176
AT ITER 841 NEW BEST:: SOT 17667 SOS 9206 HAS SOPS 9206 HAS SOUS 6706 HAS SOUPS 6706 WITH SCORE 6715.206
AT ITER 855 NEW BEST:: SOT 17622 SOS 9050 HAS SOPS 9050 HAS SOUS 6648 HAS SOUPS 6648 WITH SCORE 6657.05
AT ITER 858 NEW BEST:: SOT 17626 SOS 9045 HAS SOPS 9045 HAS SOUS 6637 HAS SOUPS 6637 WITH SCORE 6646.045
AT ITER 870 NEW BEST:: SOT 17588 SOS 8978 HAS SOPS 8978 HAS SOUS 6469 HAS SOUPS 6469 WITH SCORE 6477.978
AT ITER 872 NEW BEST:: SOT 17579 SOS 8951 HAS SOPS 8951 HAS SOUS 6362 HAS SOUPS 6362 WITH SCORE 6370.951
AT ITER 883 NEW BEST:: SOT 17576 SOS 8934 HAS SOPS 8934 HAS SOUS 6345 HAS SOUPS 6345 WITH SCORE 6353.934
AT ITER 888 NEW BEST:: SOT 17582 SOS 8927 HAS SOPS 8927 HAS SOUS 6315 HAS SOUPS 6315 WITH SCORE 6323.927
AT ITER 893 NEW BEST:: SOT 17624 SOS 8953 HAS SOPS 8953 HAS SOUS 6278 HAS SOUPS 6278 WITH SCORE 6286.953
AT ITER 894 NEW BEST:: SOT 17625 SOS 8925 HAS SOPS 8925 HAS SOUS 6276 HAS SOUPS 6276 WITH SCORE 6284.925
AT ITER 901 NEW BEST:: SOT 17598 SOS 8828 HAS SOPS 8828 HAS SOUS 6220 HAS SOUPS 6220 WITH SCORE 6228.828
AT ITER 904 NEW BEST:: SOT 17595 SOS 8822 HAS SOPS 8822 HAS SOUS 6216 HAS SOUPS 6216 WITH SCORE 6224.822
AT ITER 905 NEW BEST:: SOT 17608 SOS 8835 HAS SOPS 8835 HAS SOUS 6212 HAS SOUPS 6212 WITH SCORE 6220.835
AT ITER 938 NEW BEST:: SOT 17636 SOS 8853 HAS SOPS 8853 HAS SOUS 6177 HAS SOUPS 6177 WITH SCORE 6185.853
AT ITER 940 NEW BEST:: SOT 17637 SOS 8848 HAS SOPS 8848 HAS SOUS 6176 HAS SOUPS 6176 WITH SCORE 6184.848
AT ITER 944 NEW BEST:: SOT 17637 SOS 8846 HAS SOPS 8846 HAS SOUS 6174 HAS SOUPS 6174 WITH SCORE 6182.846
AT ITER 946 NEW BEST:: SOT 17633 SOS 8840 HAS SOPS 8840 HAS SOUS 6166 HAS SOUPS 6166 WITH SCORE 6174.84
AT ITER 947 NEW BEST:: SOT 17608 SOS 8752 HAS SOPS 8752 HAS SOUS 6128 HAS SOUPS 6128 WITH SCORE 6136.752
AT ITER 988 NEW BEST:: SOT 17610 SOS 8750 HAS SOPS 8750 HAS SOUS 6118 HAS SOUPS 6118 WITH SCORE 6126.75
AT ITER 995 NEW BEST:: SOT 17597 SOS 8737 HAS SOPS 8737 HAS SOUS 6101 HAS SOUPS 6101 WITH SCORE 6109.737
AT ITER 1000 NEW BEST:: SOT 17618 SOS 8744 HAS SOPS 8744 HAS SOUS 6069 HAS SOUPS 6069 WITH SCORE 6077.744
AT ITER 1004 NEW BEST:: SOT 17619 SOS 8744 HAS SOPS 8744 HAS SOUS 6057 HAS SOUPS 6057 WITH SCORE 6065.744
AT ITER 1022 NEW BEST:: SOT 17590 SOS 8700 HAS SOPS 8700 HAS SOUS 6006 HAS SOUPS 6006 WITH SCORE 6014.7
AT ITER 1035 NEW BEST:: SOT 17578 SOS 8688 HAS SOPS 8688 HAS SOUS 5994 HAS SOUPS 5994 WITH SCORE 6002.688
AT ITER 1047 NEW BEST:: SOT 17530 SOS 8640 HAS SOPS 8640 HAS SOUS 5946 HAS SOUPS 5946 WITH SCORE 5954.64
AT ITER 1055 NEW BEST:: SOT 17532 SOS 8646 HAS SOPS 8646 HAS SOUS 5933 HAS SOUPS 5933 WITH SCORE 5941.646
AT ITER 1070 NEW BEST:: SOT 17531 SOS 8644 HAS SOPS 8644 HAS SOUS 5932 HAS SOUPS 5932 WITH SCORE 5940.644
AT ITER 1074 NEW BEST:: SOT 17504 SOS 8620 HAS SOPS 8620 HAS SOUS 5916 HAS SOUPS 5916 WITH SCORE 5924.62
AT ITER 1088 NEW BEST:: SOT 17504 SOS 8605 HAS SOPS 8605 HAS SOUS 5915 HAS SOUPS 5915 WITH SCORE 5923.605
AT ITER 1111 NEW BEST:: SOT 17504 SOS 8600 HAS SOPS 8600 HAS SOUS 5910 HAS SOUPS 5910 WITH SCORE 5918.6
AT ITER 1121 NEW BEST:: SOT 17485 SOS 8585 HAS SOPS 8585 HAS SOUS 5898 HAS SOUPS 5898 WITH SCORE 5906.585
AT ITER 1122 NEW BEST:: SOT 17485 SOS 8579 HAS SOPS 8579 HAS SOUS 5896 HAS SOUPS 5896 WITH SCORE 5904.579
AT ITER 1130 NEW BEST:: SOT 17478 SOS 8573 HAS SOPS 8573 HAS SOUS 5875 HAS SOUPS 5875 WITH SCORE 5883.573
AT ITER 1132 NEW BEST:: SOT 17439 SOS 8247 HAS SOPS 8247 HAS SOUS 5783 HAS SOUPS 5783 WITH SCORE 5791.247
AT ITER 1153 NEW BEST:: SOT 17414 SOS 8222 HAS SOPS 8222 HAS SOUS 5758 HAS SOUPS 5758 WITH SCORE 5766.222
AT ITER 1164 NEW BEST:: SOT 17414 SOS 8221 HAS SOPS 8221 HAS SOUS 5758 HAS SOUPS 5758 WITH SCORE 5766.221
AT ITER 1173 NEW BEST:: SOT 17413 SOS 8199 HAS SOPS 8199 HAS SOUS 5714 HAS SOUPS 5714 WITH SCORE 5722.199
AT ITER 1200 NEW BEST:: SOT 17436 SOS 8167 HAS SOPS 8167 HAS SOUS 5701 HAS SOUPS 5701 WITH SCORE 5709.167
AT ITER 1219 NEW BEST:: SOT 17410 SOS 8146 HAS SOPS 8146 HAS SOUS 5680 HAS SOUPS 5680 WITH SCORE 5688.146
AT ITER 1220 NEW BEST:: SOT 17404 SOS 8104 HAS SOPS 8104 HAS SOUS 5674 HAS SOUPS 5674 WITH SCORE 5682.104
AT ITER 1223 NEW BEST:: SOT 17402 SOS 8096 HAS SOPS 8096 HAS SOUS 5668 HAS SOUPS 5668 WITH SCORE 5676.096
AT ITER 1257 NEW BEST:: SOT 17354 SOS 8169 HAS SOPS 8169 HAS SOUS 5595 HAS SOUPS 5595 WITH SCORE 5603.169
AT ITER 1265 NEW BEST:: SOT 17333 SOS 8165 HAS SOPS 8165 HAS SOUS 5574 HAS SOUPS 5574 WITH SCORE 5582.165
AT ITER 1267 NEW BEST:: SOT 17333 SOS 8135 HAS SOPS 8135 HAS SOUS 5574 HAS SOUPS 5574 WITH SCORE 5582.135
AT ITER 1269 NEW BEST:: SOT 17333 SOS 8132 HAS SOPS 8132 HAS SOUS 5568 HAS SOUPS 5568 WITH SCORE 5576.132
AT ITER 1300 NEW BEST:: SOT 17333 SOS 8114 HAS SOPS 8114 HAS SOUS 5559 HAS SOUPS 5559 WITH SCORE 5567.114
AT ITER 1303 NEW BEST:: SOT 17340 SOS 8123 HAS SOPS 8123 HAS SOUS 5545 HAS SOUPS 5545 WITH SCORE 5553.123
AT ITER 1310 NEW BEST:: SOT 17330 SOS 8087 HAS SOPS 8087 HAS SOUS 5470 HAS SOUPS 5470 WITH SCORE 5478.087
AT ITER 1311 NEW BEST:: SOT 17324 SOS 8046 HAS SOPS 8046 HAS SOUS 5453 HAS SOUPS 5453 WITH SCORE 5461.046
AT ITER 1314 NEW BEST:: SOT 17321 SOS 8035 HAS SOPS 8035 HAS SOUS 5450 HAS SOUPS 5450 WITH SCORE 5458.035
AT ITER 1325 NEW BEST:: SOT 17323 SOS 8165 HAS SOPS 8165 HAS SOUS 5436 HAS SOUPS 5436 WITH SCORE 5444.165
AT ITER 1344 NEW BEST:: SOT 17321 SOS 8136 HAS SOPS 8136 HAS SOUS 5433 HAS SOUPS 5433 WITH SCORE 5441.136
AT ITER 1347 NEW BEST:: SOT 17323 SOS 8120 HAS SOPS 8120 HAS SOUS 5344 HAS SOUPS 5344 WITH SCORE 5352.12
AT ITER 1352 NEW BEST:: SOT 17308 SOS 8103 HAS SOPS 8103 HAS SOUS 5322 HAS SOUPS 5322 WITH SCORE 5330.103
AT ITER 1367 NEW BEST:: SOT 17302 SOS 8097 HAS SOPS 8097 HAS SOUS 5319 HAS SOUPS 5319 WITH SCORE 5327.097
AT ITER 1369 NEW BEST:: SOT 17303 SOS 8098 HAS SOPS 8098 HAS SOUS 5315 HAS SOUPS 5315 WITH SCORE 5323.098
AT ITER 1376 NEW BEST:: SOT 17295 SOS 8090 HAS SOPS 8090 HAS SOUS 5307 HAS SOUPS 5307 WITH SCORE 5315.09
AT ITER 1436 NEW BEST:: SOT 17267 SOS 8062 HAS SOPS 8062 HAS SOUS 5279 HAS SOUPS 5279 WITH SCORE 5287.062
AT ITER 1439 NEW BEST:: SOT 17265 SOS 8008 HAS SOPS 8008 HAS SOUS 5279 HAS SOUPS 5279 WITH SCORE 5287.008
AT ITER 1455 NEW BEST:: SOT 17207 SOS 7976 HAS SOPS 7976 HAS SOUS 5150 HAS SOUPS 5150 WITH SCORE 5157.976
AT ITER 1460 NEW BEST:: SOT 17209 SOS 7952 HAS SOPS 7952 HAS SOUS 5092 HAS SOUPS 5092 WITH SCORE 5099.952
AT ITER 1467 NEW BEST:: SOT 17197 SOS 7904 HAS SOPS 7904 HAS SOUS 5080 HAS SOUPS 5080 WITH SCORE 5087.904
AT ITER 1482 NEW BEST:: SOT 17183 SOS 7846 HAS SOPS 7846 HAS SOUS 5045 HAS SOUPS 5045 WITH SCORE 5052.846
AT ITER 1484 NEW BEST:: SOT 17180 SOS 7807 HAS SOPS 7807 HAS SOUS 5033 HAS SOUPS 5033 WITH SCORE 5040.807
AT ITER 1487 NEW BEST:: SOT 17080 SOS 7738 HAS SOPS 7738 HAS SOUS 4949 HAS SOUPS 4949 WITH SCORE 4956.738
AT ITER 1519 NEW BEST:: SOT 17080 SOS 7729 HAS SOPS 7729 HAS SOUS 4943 HAS SOUPS 4943 WITH SCORE 4950.729
AT ITER 1522 NEW BEST:: SOT 17078 SOS 7725 HAS SOPS 7725 HAS SOUS 4938 HAS SOUPS 4938 WITH SCORE 4945.725
AT ITER 1528 NEW BEST:: SOT 17078 SOS 7723 HAS SOPS 7723 HAS SOUS 4938 HAS SOUPS 4938 WITH SCORE 4945.723
AT ITER 1535 NEW BEST:: SOT 17078 SOS 7712 HAS SOPS 7712 HAS SOUS 4912 HAS SOUPS 4912 WITH SCORE 4919.712
AT ITER 1540 NEW BEST:: SOT 17059 SOS 7684 HAS SOPS 7684 HAS SOUS 4890 HAS SOUPS 4890 WITH SCORE 4897.684
AT ITER 1556 NEW BEST:: SOT 17053 SOS 7676 HAS SOPS 7676 HAS SOUS 4882 HAS SOUPS 4882 WITH SCORE 4889.676
AT ITER 1559 NEW BEST:: SOT 17047 SOS 7667 HAS SOPS 7667 HAS SOUS 4875 HAS SOUPS 4875 WITH SCORE 4882.667
AT ITER 1563 NEW BEST:: SOT 17041 SOS 7659 HAS SOPS 7659 HAS SOUS 4861 HAS SOUPS 4861 WITH SCORE 4868.659
AT ITER 1573 NEW BEST:: SOT 17022 SOS 7634 HAS SOPS 7634 HAS SOUS 4789 HAS SOUPS 4789 WITH SCORE 4796.634
AT ITER 1580 NEW BEST:: SOT 16985 SOS 7597 HAS SOPS 7597 HAS SOUS 4761 HAS SOUPS 4761 WITH SCORE 4768.597
AT ITER 1635 NEW BEST:: SOT 16975 SOS 7581 HAS SOPS 7581 HAS SOUS 4745 HAS SOUPS 4745 WITH SCORE 4752.581
AT ITER 1667 NEW BEST:: SOT 16974 SOS 7580 HAS SOPS 7580 HAS SOUS 4740 HAS SOUPS 4740 WITH SCORE 4747.58
AT ITER 1734 NEW BEST:: SOT 17008 SOS 7501 HAS SOPS 7501 HAS SOUS 4721 HAS SOUPS 4721 WITH SCORE 4728.501
AT ITER 1744 NEW BEST:: SOT 17008 SOS 7529 HAS SOPS 7529 HAS SOUS 4702 HAS SOUPS 4702 WITH SCORE 4709.529
AT ITER 1760 NEW BEST:: SOT 16994 SOS 7482 HAS SOPS 7482 HAS SOUS 4648 HAS SOUPS 4648 WITH SCORE 4655.482
AT ITER 1768 NEW BEST:: SOT 16994 SOS 7525 HAS SOPS 7525 HAS SOUS 4644 HAS SOUPS 4644 WITH SCORE 4651.525
AT ITER 1791 NEW BEST:: SOT 16986 SOS 7517 HAS SOPS 7517 HAS SOUS 4629 HAS SOUPS 4629 WITH SCORE 4636.517
AT ITER 1794 NEW BEST:: SOT 16985 SOS 7516 HAS SOPS 7516 HAS SOUS 4628 HAS SOUPS 4628 WITH SCORE 4635.516
AT ITER 1801 NEW BEST:: SOT 16979 SOS 7510 HAS SOPS 7510 HAS SOUS 4620 HAS SOUPS 4620 WITH SCORE 4627.51
AT ITER 1805 NEW BEST:: SOT 16957 SOS 7530 HAS SOPS 7530 HAS SOUS 4610 HAS SOUPS 4610 WITH SCORE 4617.53
AT ITER 1808 NEW BEST:: SOT 16939 SOS 7512 HAS SOPS 7512 HAS SOUS 4599 HAS SOUPS 4599 WITH SCORE 4606.512
AT ITER 1844 NEW BEST:: SOT 16939 SOS 7497 HAS SOPS 7497 HAS SOUS 4584 HAS SOUPS 4584 WITH SCORE 4591.497
AT ITER 1860 NEW BEST:: SOT 16937 SOS 7495 HAS SOPS 7495 HAS SOUS 4582 HAS SOUPS 4582 WITH SCORE 4589.495
AT ITER 1889 NEW BEST:: SOT 16936 SOS 7493 HAS SOPS 7493 HAS SOUS 4578 HAS SOUPS 4578 WITH SCORE 4585.493
AT ITER 1902 NEW BEST:: SOT 16926 SOS 7483 HAS SOPS 7483 HAS SOUS 4563 HAS SOUPS 4563 WITH SCORE 4570.483
AT ITER 1924 NEW BEST:: SOT 16924 SOS 7481 HAS SOPS 7481 HAS SOUS 4558 HAS SOUPS 4558 WITH SCORE 4565.481
AT ITER 1954 NEW BEST:: SOT 16924 SOS 7466 HAS SOPS 7466 HAS SOUS 4543 HAS SOUPS 4543 WITH SCORE 4550.466
AT ITER 1960 NEW BEST:: SOT 16924 SOS 7470 HAS SOPS 7470 HAS SOUS 4540 HAS SOUPS 4540 WITH SCORE 4547.47
AT ITER 2000 NEW BEST:: SOT 16959 SOS 7523 HAS SOPS 7523 HAS SOUS 4538 HAS SOUPS 4538 WITH SCORE 4545.523
AT ITER 2043 NEW BEST:: SOT 16906 SOS 7461 HAS SOPS 7461 HAS SOUS 4432 HAS SOUPS 4432 WITH SCORE 4439.461
AT ITER 2050 NEW BEST:: SOT 16914 SOS 7468 HAS SOPS 7468 HAS SOUS 4421 HAS SOUPS 4421 WITH SCORE 4428.468
AT ITER 2061 NEW BEST:: SOT 16913 SOS 7460 HAS SOPS 7460 HAS SOUS 4404 HAS SOUPS 4404 WITH SCORE 4411.46
AT ITER 2089 NEW BEST:: SOT 16912 SOS 7458 HAS SOPS 7458 HAS SOUS 4403 HAS SOUPS 4403 WITH SCORE 4410.458
AT ITER 2168 NEW BEST:: SOT 16910 SOS 7471 HAS SOPS 7471 HAS SOUS 4395 HAS SOUPS 4395 WITH SCORE 4402.471
AT ITER 2180 NEW BEST:: SOT 16908 SOS 7469 HAS SOPS 7469 HAS SOUS 4389 HAS SOUPS 4389 WITH SCORE 4396.469
AT ITER 2182 NEW BEST:: SOT 16894 SOS 7455 HAS SOPS 7455 HAS SOUS 4375 HAS SOUPS 4375 WITH SCORE 4382.455
AT ITER 2193 NEW BEST:: SOT 16862 SOS 7307 HAS SOPS 7307 HAS SOUS 4364 HAS SOUPS 4364 WITH SCORE 4371.307
AT ITER 2226 NEW BEST:: SOT 16858 SOS 7289 HAS SOPS 7289 HAS SOUS 4354 HAS SOUPS 4354 WITH SCORE 4361.289
AT ITER 2235 NEW BEST:: SOT 16858 SOS 7372 HAS SOPS 7372 HAS SOUS 4352 HAS SOUPS 4352 WITH SCORE 4359.372
AT ITER 2239 NEW BEST:: SOT 16837 SOS 7351 HAS SOPS 7351 HAS SOUS 4331 HAS SOUPS 4331 WITH SCORE 4338.351
AT ITER 2257 NEW BEST:: SOT 16829 SOS 7333 HAS SOPS 7333 HAS SOUS 4314 HAS SOUPS 4314 WITH SCORE 4321.333
AT ITER 2270 NEW BEST:: SOT 16824 SOS 7328 HAS SOPS 7328 HAS SOUS 4311 HAS SOUPS 4311 WITH SCORE 4318.328
AT ITER 2295 NEW BEST:: SOT 16823 SOS 7327 HAS SOPS 7327 HAS SOUS 4310 HAS SOUPS 4310 WITH SCORE 4317.327
AT ITER 2302 NEW BEST:: SOT 16822 SOS 7326 HAS SOPS 7326 HAS SOUS 4305 HAS SOUPS 4305 WITH SCORE 4312.326
AT ITER 2303 NEW BEST:: SOT 16810 SOS 7284 HAS SOPS 7284 HAS SOUS 4294 HAS SOUPS 4294 WITH SCORE 4301.284
AT ITER 2321 NEW BEST:: SOT 16811 SOS 7275 HAS SOPS 7275 HAS SOUS 4285 HAS SOUPS 4285 WITH SCORE 4292.275
AT ITER 2370 NEW BEST:: SOT 16789 SOS 7253 HAS SOPS 7253 HAS SOUS 4266 HAS SOUPS 4266 WITH SCORE 4273.253
AT ITER 2432 NEW BEST:: SOT 16783 SOS 7241 HAS SOPS 7241 HAS SOUS 4234 HAS SOUPS 4234 WITH SCORE 4241.241
AT ITER 2472 NEW BEST:: SOT 16770 SOS 7272 HAS SOPS 7272 HAS SOUS 4229 HAS SOUPS 4229 WITH SCORE 4236.272
AT ITER 2491 NEW BEST:: SOT 16789 SOS 7405 HAS SOPS 7405 HAS SOUS 4227 HAS SOUPS 4227 WITH SCORE 4234.405
AT ITER 2506 NEW BEST:: SOT 16787 SOS 7403 HAS SOPS 7403 HAS SOUS 4225 HAS SOUPS 4225 WITH SCORE 4232.403
AT ITER 2508 NEW BEST:: SOT 16781 SOS 7387 HAS SOPS 7387 HAS SOUS 4215 HAS SOUPS 4215 WITH SCORE 4222.387
AT ITER 2514 NEW BEST:: SOT 16805 SOS 7369 HAS SOPS 7369 HAS SOUS 4203 HAS SOUPS 4203 WITH SCORE 4210.369
AT ITER 2570 NEW BEST:: SOT 16806 SOS 7365 HAS SOPS 7365 HAS SOUS 4203 HAS SOUPS 4203 WITH SCORE 4210.365
AT ITER 2594 NEW BEST:: SOT 16820 SOS 7363 HAS SOPS 7363 HAS SOUS 4198 HAS SOUPS 4198 WITH SCORE 4205.363
AT ITER 2596 NEW BEST:: SOT 16789 SOS 7328 HAS SOPS 7328 HAS SOUS 4156 HAS SOUPS 4156 WITH SCORE 4163.328
AT ITER 2599 NEW BEST:: SOT 16773 SOS 7295 HAS SOPS 7295 HAS SOUS 4135 HAS SOUPS 4135 WITH SCORE 4142.295
AT ITER 2614 NEW BEST:: SOT 16773 SOS 7295 HAS SOPS 7295 HAS SOUS 4126 HAS SOUPS 4126 WITH SCORE 4133.295
AT ITER 2646 NEW BEST:: SOT 16773 SOS 7293 HAS SOPS 7293 HAS SOUS 4126 HAS SOUPS 4126 WITH SCORE 4133.293
AT ITER 2653 NEW BEST:: SOT 16765 SOS 7282 HAS SOPS 7282 HAS SOUS 4111 HAS SOUPS 4111 WITH SCORE 4118.282
AT ITER 2693 NEW BEST:: SOT 16759 SOS 7274 HAS SOPS 7274 HAS SOUS 4095 HAS SOUPS 4095 WITH SCORE 4102.274
AT ITER 2725 NEW BEST:: SOT 16751 SOS 7287 HAS SOPS 7287 HAS SOUS 4092 HAS SOUPS 4092 WITH SCORE 4099.287
AT ITER 2739 NEW BEST:: SOT 16737 SOS 7271 HAS SOPS 7271 HAS SOUS 4076 HAS SOUPS 4076 WITH SCORE 4083.271
AT ITER 2748 NEW BEST:: SOT 16709 SOS 7199 HAS SOPS 7199 HAS SOUS 4055 HAS SOUPS 4055 WITH SCORE 4062.199
AT ITER 2798 NEW BEST:: SOT 16711 SOS 7199 HAS SOPS 7199 HAS SOUS 4053 HAS SOUPS 4053 WITH SCORE 4060.199
AT ITER 2799 NEW BEST:: SOT 16725 SOS 7111 HAS SOPS 7111 HAS SOUS 4013 HAS SOUPS 4013 WITH SCORE 4020.111
AT ITER 2819 NEW BEST:: SOT 16733 SOS 7120 HAS SOPS 7120 HAS SOUS 3998 HAS SOUPS 3998 WITH SCORE 4005.12
AT ITER 2864 NEW BEST:: SOT 16715 SOS 7103 HAS SOPS 7103 HAS SOUS 3969 HAS SOUPS 3969 WITH SCORE 3976.103
AT ITER 2882 NEW BEST:: SOT 16716 SOS 7090 HAS SOPS 7090 HAS SOUS 3951 HAS SOUPS 3951 WITH SCORE 3958.09
AT ITER 2896 NEW BEST:: SOT 16691 SOS 7037 HAS SOPS 7037 HAS SOUS 3905 HAS SOUPS 3905 WITH SCORE 3912.037
AT ITER 2899 NEW BEST:: SOT 16677 SOS 7016 HAS SOPS 7016 HAS SOUS 3894 HAS SOUPS 3894 WITH SCORE 3901.016
AT ITER 2987 NEW BEST:: SOT 16656 SOS 6995 HAS SOPS 6995 HAS SOUS 3874 HAS SOUPS 3874 WITH SCORE 3880.995
AT ITER 3021 NEW BEST:: SOT 16649 SOS 6959 HAS SOPS 6959 HAS SOUS 3854 HAS SOUPS 3854 WITH SCORE 3860.959
AT ITER 3022 NEW BEST:: SOT 16648 SOS 6958 HAS SOPS 6958 HAS SOUS 3853 HAS SOUPS 3853 WITH SCORE 3859.958
AT ITER 3064 NEW BEST:: SOT 16648 SOS 6954 HAS SOPS 6954 HAS SOUS 3849 HAS SOUPS 3849 WITH SCORE 3855.954
AT ITER 3089 NEW BEST:: SOT 16635 SOS 6916 HAS SOPS 6916 HAS SOUS 3823 HAS SOUPS 3823 WITH SCORE 3829.916
AT ITER 3133 NEW BEST:: SOT 16589 SOS 6718 HAS SOPS 6718 HAS SOUS 3804 HAS SOUPS 3804 WITH SCORE 3810.718
AT ITER 3146 NEW BEST:: SOT 16567 SOS 6582 HAS SOPS 6582 HAS SOUS 3723 HAS SOUPS 3723 WITH SCORE 3729.582
AT ITER 3162 NEW BEST:: SOT 16539 SOS 6554 HAS SOPS 6554 HAS SOUS 3695 HAS SOUPS 3695 WITH SCORE 3701.554
AT ITER 3179 NEW BEST:: SOT 16535 SOS 6538 HAS SOPS 6538 HAS SOUS 3675 HAS SOUPS 3675 WITH SCORE 3681.538
AT ITER 3226 NEW BEST:: SOT 16544 SOS 6549 HAS SOPS 6549 HAS SOUS 3671 HAS SOUPS 3671 WITH SCORE 3677.549
AT ITER 3246 NEW BEST:: SOT 16541 SOS 6550 HAS SOPS 6550 HAS SOUS 3668 HAS SOUPS 3668 WITH SCORE 3674.55
AT ITER 3259 NEW BEST:: SOT 16520 SOS 6522 HAS SOPS 6522 HAS SOUS 3656 HAS SOUPS 3656 WITH SCORE 3662.522
AT ITER 3324 NEW BEST:: SOT 16517 SOS 6520 HAS SOPS 6520 HAS SOUS 3654 HAS SOUPS 3654 WITH SCORE 3660.52
AT ITER 3424 NEW BEST:: SOT 16483 SOS 6464 HAS SOPS 6464 HAS SOUS 3614 HAS SOUPS 3614 WITH SCORE 3620.464
AT ITER 3434 NEW BEST:: SOT 16483 SOS 6450 HAS SOPS 6450 HAS SOUS 3600 HAS SOUPS 3600 WITH SCORE 3606.45
AT ITER 3444 NEW BEST:: SOT 16482 SOS 6448 HAS SOPS 6448 HAS SOUS 3597 HAS SOUPS 3597 WITH SCORE 3603.448
AT ITER 3456 NEW BEST:: SOT 16481 SOS 6447 HAS SOPS 6447 HAS SOUS 3596 HAS SOUPS 3596 WITH SCORE 3602.447
AT ITER 3490 NEW BEST:: SOT 16481 SOS 6447 HAS SOPS 6447 HAS SOUS 3594 HAS SOUPS 3594 WITH SCORE 3600.447
AT ITER 3560 NEW BEST:: SOT 16481 SOS 6436 HAS SOPS 6436 HAS SOUS 3589 HAS SOUPS 3589 WITH SCORE 3595.436
AT ITER 3561 NEW BEST:: SOT 16485 SOS 6438 HAS SOPS 6438 HAS SOUS 3588 HAS SOUPS 3588 WITH SCORE 3594.438
AT ITER 3581 NEW BEST:: SOT 16495 SOS 6493 HAS SOPS 6493 HAS SOUS 3580 HAS SOUPS 3580 WITH SCORE 3586.493
AT ITER 3594 NEW BEST:: SOT 16495 SOS 6493 HAS SOPS 6493 HAS SOUS 3570 HAS SOUPS 3570 WITH SCORE 3576.493
AT ITER 3608 NEW BEST:: SOT 16495 SOS 6496 HAS SOPS 6496 HAS SOUS 3569 HAS SOUPS 3569 WITH SCORE 3575.496
AT ITER 3647 NEW BEST:: SOT 16493 SOS 6464 HAS SOPS 6464 HAS SOUS 3567 HAS SOUPS 3567 WITH SCORE 3573.464
AT ITER 3678 NEW BEST:: SOT 16493 SOS 6468 HAS SOPS 6468 HAS SOUS 3560 HAS SOUPS 3560 WITH SCORE 3566.468
AT ITER 3714 NEW BEST:: SOT 16486 SOS 6461 HAS SOPS 6461 HAS SOUS 3541 HAS SOUPS 3541 WITH SCORE 3547.461
AT ITER 3718 NEW BEST:: SOT 16482 SOS 6454 HAS SOPS 6454 HAS SOUS 3534 HAS SOUPS 3534 WITH SCORE 3540.454
AT ITER 3723 NEW BEST:: SOT 16478 SOS 6450 HAS SOPS 6450 HAS SOUS 3527 HAS SOUPS 3527 WITH SCORE 3533.45
AT ITER 3785 NEW BEST:: SOT 16478 SOS 6449 HAS SOPS 6449 HAS SOUS 3527 HAS SOUPS 3527 WITH SCORE 3533.449
AT ITER 3904 NEW BEST:: SOT 16478 SOS 6441 HAS SOPS 6441 HAS SOUS 3523 HAS SOUPS 3523 WITH SCORE 3529.441
AT ITER 3937 NEW BEST:: SOT 16478 SOS 6440 HAS SOPS 6440 HAS SOUS 3521 HAS SOUPS 3521 WITH SCORE 3527.44
AT ITER 3942 NEW BEST:: SOT 16460 SOS 6444 HAS SOPS 6444 HAS SOUS 3503 HAS SOUPS 3503 WITH SCORE 3509.444
AT ITER 3947 NEW BEST:: SOT 16463 SOS 6458 HAS SOPS 6458 HAS SOUS 3502 HAS SOUPS 3502 WITH SCORE 3508.458
AT ITER 3990 NEW BEST:: SOT 16463 SOS 6413 HAS SOPS 6413 HAS SOUS 3502 HAS SOUPS 3502 WITH SCORE 3508.413
AT ITER 4138 NEW BEST:: SOT 16463 SOS 6409 HAS SOPS 6409 HAS SOUS 3498 HAS SOUPS 3498 WITH SCORE 3504.409
AT ITER 4158 NEW BEST:: SOT 16445 SOS 6397 HAS SOPS 6397 HAS SOUS 3480 HAS SOUPS 3480 WITH SCORE 3486.397
AT ITER 4199 NEW BEST:: SOT 16432 SOS 6377 HAS SOPS 6377 HAS SOUS 3463 HAS SOUPS 3463 WITH SCORE 3469.377
AT ITER 4247 NEW BEST:: SOT 16432 SOS 6377 HAS SOPS 6377 HAS SOUS 3462 HAS SOUPS 3462 WITH SCORE 3468.377
AT ITER 4272 NEW BEST:: SOT 16433 SOS 6376 HAS SOPS 6376 HAS SOUS 3461 HAS SOUPS 3461 WITH SCORE 3467.376
AT ITER 4277 NEW BEST:: SOT 16417 SOS 6386 HAS SOPS 6386 HAS SOUS 3448 HAS SOUPS 3448 WITH SCORE 3454.386
AT ITER 4348 NEW BEST:: SOT 16417 SOS 6388 HAS SOPS 6388 HAS SOUS 3444 HAS SOUPS 3444 WITH SCORE 3450.388
AT ITER 4429 NEW BEST:: SOT 16401 SOS 6348 HAS SOPS 6348 HAS SOUS 3424 HAS SOUPS 3424 WITH SCORE 3430.348
AT ITER 4431 NEW BEST:: SOT 16401 SOS 6346 HAS SOPS 6346 HAS SOUS 3424 HAS SOUPS 3424 WITH SCORE 3430.346
AT ITER 4443 NEW BEST:: SOT 16400 SOS 6341 HAS SOPS 6341 HAS SOUS 3422 HAS SOUPS 3422 WITH SCORE 3428.341
AT ITER 4460 NEW BEST:: SOT 16362 SOS 6299 HAS SOPS 6299 HAS SOUS 3366 HAS SOUPS 3366 WITH SCORE 3372.299
AT ITER 4479 NEW BEST:: SOT 16358 SOS 6299 HAS SOPS 6299 HAS SOUS 3364 HAS SOUPS 3364 WITH SCORE 3370.299
AT ITER 4507 NEW BEST:: SOT 16357 SOS 6298 HAS SOPS 6298 HAS SOUS 3363 HAS SOUPS 3363 WITH SCORE 3369.298
AT ITER 4536 NEW BEST:: SOT 16353 SOS 6294 HAS SOPS 6294 HAS SOUS 3351 HAS SOUPS 3351 WITH SCORE 3357.294
AT ITER 4552 NEW BEST:: SOT 16347 SOS 6288 HAS SOPS 6288 HAS SOUS 3345 HAS SOUPS 3345 WITH SCORE 3351.288
AT ITER 4611 NEW BEST:: SOT 16342 SOS 6260 HAS SOPS 6260 HAS SOUS 3331 HAS SOUPS 3331 WITH SCORE 3337.26
AT ITER 4693 NEW BEST:: SOT 16339 SOS 6257 HAS SOPS 6257 HAS SOUS 3328 HAS SOUPS 3328 WITH SCORE 3334.257
AT ITER 4755 NEW BEST:: SOT 16335 SOS 6245 HAS SOPS 6245 HAS SOUS 3325 HAS SOUPS 3325 WITH SCORE 3331.245
AT ITER 4771 NEW BEST:: SOT 16333 SOS 6241 HAS SOPS 6241 HAS SOUS 3325 HAS SOUPS 3325 WITH SCORE 3331.241
AT ITER 4806 NEW BEST:: SOT 16333 SOS 6241 HAS SOPS 6241 HAS SOUS 3321 HAS SOUPS 3321 WITH SCORE 3327.241
AT ITER 4834 NEW BEST:: SOT 16332 SOS 6240 HAS SOPS 6240 HAS SOUS 3321 HAS SOUPS 3321 WITH SCORE 3327.24
AT ITER 4879 NEW BEST:: SOT 16328 SOS 6236 HAS SOPS 6236 HAS SOUS 3319 HAS SOUPS 3319 WITH SCORE 3325.236
AT ITER 4884 NEW BEST:: SOT 16325 SOS 6234 HAS SOPS 6234 HAS SOUS 3316 HAS SOUPS 3316 WITH SCORE 3322.234
AT ITER 4889 NEW BEST:: SOT 16323 SOS 6232 HAS SOPS 6232 HAS SOUS 3310 HAS SOUPS 3310 WITH SCORE 3316.232
AT ITER 4988 NEW BEST:: SOT 16323 SOS 6230 HAS SOPS 6230 HAS SOUS 3301 HAS SOUPS 3301 WITH SCORE 3307.23
Bounds file is: CTLFireability.xml
PROPERTY: ShieldRVs-PT-010A-CTLFireability-00 (AG( (EF( (! ( ((potential((tk(P95)>=1) & (tk(P99)>=1) & (tk(P108)>=1)))) | ((potential((tk(P105)>=1) & (tk(P106)>=1) & (tk(P110)>=1)))) ))))))
PROPERTY: ShieldRVs-PT-010A-CTLFireability-01 ( ( (AG( (EX( ((potential((tk(P72)>=1)))))))) | ( (AF( ( ((potential((tk(P60)>=1) & (tk(P77)>=1) & (tk(P87)>=1)))) & ((potential((tk(P75)>=1)))) ))) | (! (EX( ((potential((tk(P81)>=1) & (tk(P87)>=1) & (tk(P94)>=1))))))) ) ) & ( (AG( (AX( ((potential((tk(P49)>=1) & (tk(P50)>=1) & (tk(P55)>=1)))))))) | (EF( ( ( ((potential((tk(P11)>=1) & (tk(P15)>=1) & (tk(P24)>=1)))) & ((potential((tk(P116)>=1) & (tk(P131)>=1) & (tk(P142)>=1)))) ) & (! ((potential((tk(P4)>=1) & (tk(P19)>=1) & (tk(P30)>=1))))) ))) ) )
PROPERTY: ShieldRVs-PT-010A-CTLFireability-02 (! ( ( (EG( ( ((potential((tk(P27)>=1) & (tk(P29)>=1) & (tk(P38)>=1)))) | ((potential((tk(P81)>=1) & (tk(P87)>=1) & (tk(P94)>=1)))) ))) & (AG( (! ((potential((tk(P61)>=1))))))) ) | (! (AF( ((potential((tk(P30)>=1))))))) ))
PROPERTY: ShieldRVs-PT-010A-CTLFireability-03 ( (AF( (EU( ((potential((tk(P60)>=1) & (tk(P75)>=1) & (tk(P86)>=1)))) , ((potential((tk(P12)>=1)))) )))) | ( (AF( ( ( ((potential((tk(P95)>=1) & (tk(P99)>=1) & (tk(P108)>=1)))) | ((potential((tk(P27)>=1) & (tk(P29)>=1) & (tk(P38)>=1)))) ) | ( ((potential((tk(P116)>=1) & (tk(P131)>=1) & (tk(P142)>=1)))) & ((potential((tk(P34)>=1) & (tk(P36)>=1) & (tk(P40)>=1)))) ) ))) & (! ( ( ( ((potential((tk(P109)>=1)))) & ((potential((tk(P11)>=1) & (tk(P17)>=1) & (tk(P24)>=1)))) ) | ( ((potential((tk(P139)>=1) & (tk(P141)>=1)))) & ((potential((tk(P116)>=1) & (tk(P133)>=1) & (tk(P142)>=1)))) ) ) | (AF( ((potential((tk(P81)>=1) & (tk(P87)>=1) & (tk(P94)>=1)))))) )) ) )
PROPERTY: ShieldRVs-PT-010A-CTLFireability-04 (AU( (! ( ( ((potential((tk(P18)>=1) & (tk(P35)>=1) & (tk(P45)>=1)))) & ((potential((tk(P62)>=1)))) ) | ( ((potential((tk(P18)>=1) & (tk(P33)>=1) & (tk(P44)>=1)))) | ((potential((tk(P4)>=1) & (tk(P19)>=1) & (tk(P30)>=1)))) ) )) , (AG( ( ((potential((tk(P76)>=1)))) & ((potential((tk(P32)>=1) & (tk(P49)>=1) & (tk(P59)>=1)))) ))) ))
PROPERTY: ShieldRVs-PT-010A-CTLFireability-05 (AF( ( (! ( ( ((potential((tk(P44)>=1)))) | ((potential((tk(P47)>=1)))) ) | ( ((potential((tk(P124)>=1)))) | ((potential((tk(P71)>=1)))) ) )) & (AG( ((potential((tk(P141)>=1)))))) )))
PROPERTY: ShieldRVs-PT-010A-CTLFireability-06 ( (AU( ( ( ((potential((tk(P125)>=1) & (tk(P127)>=1) & (tk(P136)>=1)))) & ((potential((tk(P118)>=1)))) ) | ( ((potential((tk(P131)>=1)))) & ((potential((tk(P62)>=1)))) ) ) , (! ( ((potential((tk(P48)>=1) & (tk(P50)>=1) & (tk(P55)>=1)))) & ((potential((tk(P4)>=1) & (tk(P19)>=1) & (tk(P30)>=1)))) )) )) & (AU( ( ( ((potential((tk(P35)>=1) & (tk(P36)>=1) & (tk(P40)>=1)))) & ((potential((tk(P81)>=1)))) ) | (! ((potential((tk(P81)>=1) & (tk(P85)>=1) & (tk(P94)>=1))))) ) , (AF( ((potential((tk(P3)>=1) & (tk(P7)>=1) & (tk(P16)>=1)))))) )) )
PROPERTY: ShieldRVs-PT-010A-CTLFireability-07 ( ( (! (! ( ( ((potential((tk(P111)>=1) & (tk(P115)>=1) & (tk(P122)>=1)))) & ((potential((tk(P46)>=1) & (tk(P63)>=1) & (tk(P72)>=1)))) ) | ( ((potential((tk(P13)>=1) & (tk(P17)>=1) & (tk(P24)>=1)))) | ((potential((tk(P11)>=1) & (tk(P15)>=1) & (tk(P24)>=1)))) ) ))) | ( ( (EX( ((potential((tk(P41)>=1) & (tk(P45)>=1) & (tk(P52)>=1)))))) | (AG( ((potential((tk(P62)>=1)))))) ) | (! (EF( ((potential((tk(P7)>=1) & (tk(P8)>=1) & (tk(P13)>=1))))))) ) ) | ( ( (EG( ( ((potential((tk(P18)>=1) & (tk(P35)>=1) & (tk(P45)>=1)))) | ((potential((tk(P139)>=1) & (tk(P141)>=1)))) ))) | (AG( ((potential((tk(P55)>=1) & (tk(P57)>=1) & (tk(P66)>=1)))))) ) | ( (EG( ((potential((tk(P77)>=1) & (tk(P78)>=1) & (tk(P82)>=1)))))) & ( (AF( ((potential((tk(P7)>=1) & (tk(P8)>=1) & (tk(P12)>=1)))))) | (AG( ((potential((tk(P99)>=1)))))) ) ) ) )
PROPERTY: ShieldRVs-PT-010A-CTLFireability-08 ( ((potential((tk(P91)>=1) & (tk(P92)>=1) & (tk(P96)>=1)))) | (EU( ( (! ((potential((tk(P46)>=1) & (tk(P61)>=1) & (tk(P73)>=1))))) & (! ((potential((tk(P21)>=1) & (tk(P22)>=1) & (tk(P26)>=1))))) ) , ((potential((tk(P34)>=1) & (tk(P36)>=1) & (tk(P41)>=1)))) )) )
PROPERTY: ShieldRVs-PT-010A-CTLFireability-09 (EG( ( (AX( ( ((potential((tk(P34)>=1) & (tk(P36)>=1) & (tk(P40)>=1)))) & ((potential((tk(P81)>=1) & (tk(P85)>=1) & (tk(P94)>=1)))) ))) | (! ( ( ((potential((tk(P18)>=1) & (tk(P35)>=1) & (tk(P44)>=1)))) & ((potential((tk(P12)>=1)))) ) & ( ((potential((tk(P102)>=1) & (tk(P117)>=1) & (tk(P128)>=1)))) | ((potential((tk(P26)>=1)))) ) )) )))
PROPERTY: ShieldRVs-PT-010A-CTLFireability-10 (! (EG( (EF( (! ((potential((tk(P132)>=1))))))))))
PROPERTY: ShieldRVs-PT-010A-CTLFireability-11 (EG( ( (EF( ( ((potential((tk(P104)>=1) & (tk(P106)>=1) & (tk(P110)>=1)))) | ((potential((tk(P90)>=1) & (tk(P92)>=1) & (tk(P96)>=1)))) ))) | (EG( ((potential((tk(P109)>=1)))))) )))
PROPERTY: ShieldRVs-PT-010A-CTLFireability-12 (EU( (EF( (! ((potential((tk(P110)>=1))))))) , ( ( ( ((potential((tk(P139)>=1) & (tk(P141)>=1)))) & ((potential((tk(P123)>=1) & (tk(P127)>=1) & (tk(P136)>=1)))) ) | ((potential((tk(P51)>=1) & (tk(P56)>=1)))) ) & (AG( ((potential((tk(P20)>=1)))))) ) ))
PROPERTY: ShieldRVs-PT-010A-CTLFireability-13 (AF( (AX( ((potential((tk(P18)>=1) & (tk(P33)>=1) & (tk(P45)>=1))))))))
PROPERTY: ShieldRVs-PT-010A-CTLFireability-14 ( ( (AU( ( ((potential((tk(P137)>=1) & (tk(P143)>=1)))) | ((potential((tk(P25)>=1) & (tk(P29)>=1) & (tk(P38)>=1)))) ) , ( ((potential((tk(P97)>=1) & (tk(P99)>=1) & (tk(P108)>=1)))) & ((potential((tk(P93)>=1) & (tk(P98)>=1)))) ) )) | (EF( (AF( ((potential((tk(P104)>=1) & (tk(P106)>=1) & (tk(P110)>=1)))))))) ) & (EU( (! ( ((potential((tk(P44)>=1)))) | ((potential((tk(P105)>=1) & (tk(P106)>=1) & (tk(P111)>=1)))) )) , (EG( ((potential((tk(P76)>=1)))))) )) )
PROPERTY: ShieldRVs-PT-010A-CTLFireability-15 (! (AG( (AF( ((potential((tk(P86)>=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="ShieldRVs-PT-010A"
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 ShieldRVs-PT-010A, 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-159033470000828"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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