About the Execution of smart for ASLink-PT-01a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15764.770 | 3600000.00 | 3600019.00 | 0.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2020-input.r003-smll-158897507900012.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/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 ASLink-PT-01a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897507900012
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 384K
-rw-r--r-- 1 mcc users 4.0K Mar 25 09:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 25 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 09:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 09:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 25 09:02 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 25 08:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 08:56 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 201K Mar 24 05:37 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 ASLink-PT-01a-CTLFireability-00
FORMULA_NAME ASLink-PT-01a-CTLFireability-01
FORMULA_NAME ASLink-PT-01a-CTLFireability-02
FORMULA_NAME ASLink-PT-01a-CTLFireability-03
FORMULA_NAME ASLink-PT-01a-CTLFireability-04
FORMULA_NAME ASLink-PT-01a-CTLFireability-05
FORMULA_NAME ASLink-PT-01a-CTLFireability-06
FORMULA_NAME ASLink-PT-01a-CTLFireability-07
FORMULA_NAME ASLink-PT-01a-CTLFireability-08
FORMULA_NAME ASLink-PT-01a-CTLFireability-09
FORMULA_NAME ASLink-PT-01a-CTLFireability-10
FORMULA_NAME ASLink-PT-01a-CTLFireability-11
FORMULA_NAME ASLink-PT-01a-CTLFireability-12
FORMULA_NAME ASLink-PT-01a-CTLFireability-13
FORMULA_NAME ASLink-PT-01a-CTLFireability-14
FORMULA_NAME ASLink-PT-01a-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1588985579835
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 01a
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: 431 places, 735 transitions, 2801 arcs.
AT ITER 0 NEW BEST:: SOT 175753 SOS 121635 HAS SOPS 121635 HAS SOUS 66067 HAS SOUPS 66067 WITH SCORE 66188.635
AT ITER 4 NEW BEST:: SOT 176194 SOS 121933 HAS SOPS 121933 HAS SOUS 66011 HAS SOUPS 66011 WITH SCORE 66132.933
AT ITER 8 NEW BEST:: SOT 176194 SOS 121933 HAS SOPS 121933 HAS SOUS 65902 HAS SOUPS 65902 WITH SCORE 66023.933
AT ITER 9 NEW BEST:: SOT 175476 SOS 122005 HAS SOPS 122005 HAS SOUS 65288 HAS SOUPS 65288 WITH SCORE 65410.005
AT ITER 11 NEW BEST:: SOT 175476 SOS 122005 HAS SOPS 122005 HAS SOUS 65231 HAS SOUPS 65231 WITH SCORE 65353.005
AT ITER 18 NEW BEST:: SOT 175476 SOS 122005 HAS SOPS 122005 HAS SOUS 65230 HAS SOUPS 65230 WITH SCORE 65352.005
AT ITER 24 NEW BEST:: SOT 175344 SOS 121873 HAS SOPS 121873 HAS SOUS 65101 HAS SOUPS 65101 WITH SCORE 65222.873
AT ITER 29 NEW BEST:: SOT 175403 SOS 121773 HAS SOPS 121773 HAS SOUS 65068 HAS SOUPS 65068 WITH SCORE 65189.773
AT ITER 33 NEW BEST:: SOT 175323 SOS 121685 HAS SOPS 121685 HAS SOUS 64980 HAS SOUPS 64980 WITH SCORE 65101.685
AT ITER 35 NEW BEST:: SOT 174910 SOS 121363 HAS SOPS 121363 HAS SOUS 64658 HAS SOUPS 64658 WITH SCORE 64779.363
AT ITER 36 NEW BEST:: SOT 174910 SOS 120771 HAS SOPS 120771 HAS SOUS 64586 HAS SOUPS 64586 WITH SCORE 64706.771
AT ITER 53 NEW BEST:: SOT 174883 SOS 120744 HAS SOPS 120744 HAS SOUS 64584 HAS SOUPS 64584 WITH SCORE 64704.744
AT ITER 54 NEW BEST:: SOT 174900 SOS 120348 HAS SOPS 120348 HAS SOUS 64423 HAS SOUPS 64423 WITH SCORE 64543.348
AT ITER 61 NEW BEST:: SOT 174900 SOS 120309 HAS SOPS 120309 HAS SOUS 64423 HAS SOUPS 64423 WITH SCORE 64543.309
AT ITER 80 NEW BEST:: SOT 173493 SOS 119101 HAS SOPS 119101 HAS SOUS 63106 HAS SOUPS 63106 WITH SCORE 63225.101
AT ITER 81 NEW BEST:: SOT 173490 SOS 119098 HAS SOPS 119098 HAS SOUS 63100 HAS SOUPS 63100 WITH SCORE 63219.098
AT ITER 90 NEW BEST:: SOT 173479 SOS 119087 HAS SOPS 119087 HAS SOUS 63089 HAS SOUPS 63089 WITH SCORE 63208.087
AT ITER 104 NEW BEST:: SOT 173354 SOS 118962 HAS SOPS 118962 HAS SOUS 62964 HAS SOUPS 62964 WITH SCORE 63082.962
AT ITER 108 NEW BEST:: SOT 173354 SOS 118962 HAS SOPS 118962 HAS SOUS 62961 HAS SOUPS 62961 WITH SCORE 63079.962
AT ITER 112 NEW BEST:: SOT 173270 SOS 118878 HAS SOPS 118878 HAS SOUS 62877 HAS SOUPS 62877 WITH SCORE 62995.878
AT ITER 114 NEW BEST:: SOT 173312 SOS 118969 HAS SOPS 118969 HAS SOUS 62820 HAS SOUPS 62820 WITH SCORE 62938.969
AT ITER 115 NEW BEST:: SOT 172561 SOS 121057 HAS SOPS 121057 HAS SOUS 62493 HAS SOUPS 62493 WITH SCORE 62614.057
AT ITER 129 NEW BEST:: SOT 171649 SOS 120145 HAS SOPS 120145 HAS SOUS 61581 HAS SOUPS 61581 WITH SCORE 61701.145
AT ITER 130 NEW BEST:: SOT 171585 SOS 120094 HAS SOPS 120094 HAS SOUS 61580 HAS SOUPS 61580 WITH SCORE 61700.094
AT ITER 137 NEW BEST:: SOT 171585 SOS 118924 HAS SOPS 118924 HAS SOUS 61580 HAS SOUPS 61580 WITH SCORE 61698.924
AT ITER 139 NEW BEST:: SOT 171511 SOS 118809 HAS SOPS 118809 HAS SOUS 61518 HAS SOUPS 61518 WITH SCORE 61636.809
AT ITER 143 NEW BEST:: SOT 171511 SOS 118764 HAS SOPS 118764 HAS SOUS 61505 HAS SOUPS 61505 WITH SCORE 61623.764
AT ITER 148 NEW BEST:: SOT 171460 SOS 118712 HAS SOPS 118712 HAS SOUS 61451 HAS SOUPS 61451 WITH SCORE 61569.712
AT ITER 149 NEW BEST:: SOT 171238 SOS 118088 HAS SOPS 118088 HAS SOUS 61005 HAS SOUPS 61005 WITH SCORE 61123.088
AT ITER 152 NEW BEST:: SOT 171238 SOS 116943 HAS SOPS 116943 HAS SOUS 60947 HAS SOUPS 60947 WITH SCORE 61063.943
AT ITER 154 NEW BEST:: SOT 171221 SOS 116873 HAS SOPS 116873 HAS SOUS 60930 HAS SOUPS 60930 WITH SCORE 61046.873
AT ITER 155 NEW BEST:: SOT 171133 SOS 116785 HAS SOPS 116785 HAS SOUS 60841 HAS SOUPS 60841 WITH SCORE 60957.785
AT ITER 157 NEW BEST:: SOT 171200 SOS 115921 HAS SOPS 115921 HAS SOUS 60814 HAS SOUPS 60814 WITH SCORE 60929.921
AT ITER 158 NEW BEST:: SOT 169946 SOS 116416 HAS SOPS 116416 HAS SOUS 59884 HAS SOUPS 59884 WITH SCORE 60000.416
AT ITER 191 NEW BEST:: SOT 169902 SOS 116085 HAS SOPS 116085 HAS SOUS 59775 HAS SOUPS 59775 WITH SCORE 59891.085
AT ITER 196 NEW BEST:: SOT 169663 SOS 116085 HAS SOPS 116085 HAS SOUS 59675 HAS SOUPS 59675 WITH SCORE 59791.085
AT ITER 198 NEW BEST:: SOT 169622 SOS 116031 HAS SOPS 116031 HAS SOUS 59626 HAS SOUPS 59626 WITH SCORE 59742.031
AT ITER 206 NEW BEST:: SOT 169622 SOS 115955 HAS SOPS 115955 HAS SOUS 59606 HAS SOUPS 59606 WITH SCORE 59721.955
AT ITER 212 NEW BEST:: SOT 169382 SOS 115468 HAS SOPS 115468 HAS SOUS 59119 HAS SOUPS 59119 WITH SCORE 59234.468
AT ITER 225 NEW BEST:: SOT 169382 SOS 115272 HAS SOPS 115272 HAS SOUS 59069 HAS SOUPS 59069 WITH SCORE 59184.272
AT ITER 236 NEW BEST:: SOT 168980 SOS 114870 HAS SOPS 114870 HAS SOUS 58664 HAS SOUPS 58664 WITH SCORE 58778.87
AT ITER 237 NEW BEST:: SOT 168540 SOS 114631 HAS SOPS 114631 HAS SOUS 58418 HAS SOUPS 58418 WITH SCORE 58532.631
AT ITER 238 NEW BEST:: SOT 168475 SOS 114409 HAS SOPS 114409 HAS SOUS 58344 HAS SOUPS 58344 WITH SCORE 58458.409
AT ITER 243 NEW BEST:: SOT 168295 SOS 114139 HAS SOPS 114139 HAS SOUS 58074 HAS SOUPS 58074 WITH SCORE 58188.139
AT ITER 267 NEW BEST:: SOT 168293 SOS 113480 HAS SOPS 113480 HAS SOUS 58051 HAS SOUPS 58051 WITH SCORE 58164.48
AT ITER 268 NEW BEST:: SOT 167887 SOS 112954 HAS SOPS 112954 HAS SOUS 57471 HAS SOUPS 57471 WITH SCORE 57583.954
AT ITER 284 NEW BEST:: SOT 167317 SOS 113122 HAS SOPS 113122 HAS SOUS 57105 HAS SOUPS 57105 WITH SCORE 57218.122
AT ITER 287 NEW BEST:: SOT 167213 SOS 112914 HAS SOPS 112914 HAS SOUS 56798 HAS SOUPS 56798 WITH SCORE 56910.914
AT ITER 294 NEW BEST:: SOT 167158 SOS 112859 HAS SOPS 112859 HAS SOUS 56781 HAS SOUPS 56781 WITH SCORE 56893.859
AT ITER 295 NEW BEST:: SOT 166944 SOS 112128 HAS SOPS 112128 HAS SOUS 56215 HAS SOUPS 56215 WITH SCORE 56327.128
AT ITER 326 NEW BEST:: SOT 166855 SOS 112039 HAS SOPS 112039 HAS SOUS 56211 HAS SOUPS 56211 WITH SCORE 56323.039
AT ITER 327 NEW BEST:: SOT 166855 SOS 112030 HAS SOPS 112030 HAS SOUS 56202 HAS SOUPS 56202 WITH SCORE 56314.03
AT ITER 328 NEW BEST:: SOT 162531 SOS 108941 HAS SOPS 108941 HAS SOUS 51876 HAS SOUPS 51876 WITH SCORE 51984.941
AT ITER 330 NEW BEST:: SOT 162453 SOS 108863 HAS SOPS 108863 HAS SOUS 51807 HAS SOUPS 51807 WITH SCORE 51915.863
AT ITER 341 NEW BEST:: SOT 162395 SOS 108702 HAS SOPS 108702 HAS SOUS 51687 HAS SOUPS 51687 WITH SCORE 51795.702
AT ITER 345 NEW BEST:: SOT 162028 SOS 109560 HAS SOPS 109560 HAS SOUS 51678 HAS SOUPS 51678 WITH SCORE 51787.56
AT ITER 353 NEW BEST:: SOT 161742 SOS 109321 HAS SOPS 109321 HAS SOUS 51452 HAS SOUPS 51452 WITH SCORE 51561.321
AT ITER 354 NEW BEST:: SOT 161721 SOS 109297 HAS SOPS 109297 HAS SOUS 51445 HAS SOUPS 51445 WITH SCORE 51554.297
AT ITER 357 NEW BEST:: SOT 161642 SOS 109251 HAS SOPS 109251 HAS SOUS 51430 HAS SOUPS 51430 WITH SCORE 51539.251
AT ITER 360 NEW BEST:: SOT 161344 SOS 108953 HAS SOPS 108953 HAS SOUS 51132 HAS SOUPS 51132 WITH SCORE 51240.953
AT ITER 363 NEW BEST:: SOT 158753 SOS 106362 HAS SOPS 106362 HAS SOUS 48541 HAS SOUPS 48541 WITH SCORE 48647.362
AT ITER 371 NEW BEST:: SOT 158722 SOS 106299 HAS SOPS 106299 HAS SOUS 48478 HAS SOUPS 48478 WITH SCORE 48584.299
AT ITER 397 NEW BEST:: SOT 158720 SOS 106297 HAS SOPS 106297 HAS SOUS 48474 HAS SOUPS 48474 WITH SCORE 48580.297
AT ITER 405 NEW BEST:: SOT 158623 SOS 106223 HAS SOPS 106223 HAS SOUS 48443 HAS SOUPS 48443 WITH SCORE 48549.223
AT ITER 410 NEW BEST:: SOT 157867 SOS 105203 HAS SOPS 105203 HAS SOUS 47596 HAS SOUPS 47596 WITH SCORE 47701.203
AT ITER 412 NEW BEST:: SOT 157274 SOS 106972 HAS SOPS 106972 HAS SOUS 47194 HAS SOUPS 47194 WITH SCORE 47300.972
AT ITER 413 NEW BEST:: SOT 157171 SOS 106781 HAS SOPS 106781 HAS SOUS 47091 HAS SOUPS 47091 WITH SCORE 47197.781
AT ITER 421 NEW BEST:: SOT 157177 SOS 106779 HAS SOPS 106779 HAS SOUS 47089 HAS SOUPS 47089 WITH SCORE 47195.779
AT ITER 424 NEW BEST:: SOT 156855 SOS 106504 HAS SOPS 106504 HAS SOUS 46797 HAS SOUPS 46797 WITH SCORE 46903.504
AT ITER 444 NEW BEST:: SOT 156531 SOS 106644 HAS SOPS 106644 HAS SOUS 46563 HAS SOUPS 46563 WITH SCORE 46669.644
AT ITER 452 NEW BEST:: SOT 156531 SOS 106640 HAS SOPS 106640 HAS SOUS 46559 HAS SOUPS 46559 WITH SCORE 46665.64
AT ITER 453 NEW BEST:: SOT 156526 SOS 106630 HAS SOPS 106630 HAS SOUS 46549 HAS SOUPS 46549 WITH SCORE 46655.63
AT ITER 455 NEW BEST:: SOT 155902 SOS 106841 HAS SOPS 106841 HAS SOUS 46116 HAS SOUPS 46116 WITH SCORE 46222.841
AT ITER 461 NEW BEST:: SOT 155899 SOS 106798 HAS SOPS 106798 HAS SOUS 46108 HAS SOUPS 46108 WITH SCORE 46214.798
AT ITER 480 NEW BEST:: SOT 155849 SOS 106748 HAS SOPS 106748 HAS SOUS 46058 HAS SOUPS 46058 WITH SCORE 46164.748
AT ITER 487 NEW BEST:: SOT 155795 SOS 106653 HAS SOPS 106653 HAS SOUS 45934 HAS SOUPS 45934 WITH SCORE 46040.653
AT ITER 490 NEW BEST:: SOT 155794 SOS 106356 HAS SOPS 106356 HAS SOUS 45928 HAS SOUPS 45928 WITH SCORE 46034.356
AT ITER 493 NEW BEST:: SOT 155551 SOS 106823 HAS SOPS 106823 HAS SOUS 45706 HAS SOUPS 45706 WITH SCORE 45812.823
AT ITER 500 NEW BEST:: SOT 155544 SOS 106816 HAS SOPS 106816 HAS SOUS 45696 HAS SOUPS 45696 WITH SCORE 45802.816
AT ITER 515 NEW BEST:: SOT 155544 SOS 106704 HAS SOPS 106704 HAS SOUS 45696 HAS SOUPS 45696 WITH SCORE 45802.704
AT ITER 529 NEW BEST:: SOT 155544 SOS 106704 HAS SOPS 106704 HAS SOUS 45673 HAS SOUPS 45673 WITH SCORE 45779.704
AT ITER 533 NEW BEST:: SOT 155481 SOS 107399 HAS SOPS 107399 HAS SOUS 45644 HAS SOUPS 45644 WITH SCORE 45751.399
AT ITER 545 NEW BEST:: SOT 155432 SOS 106706 HAS SOPS 106706 HAS SOUS 45256 HAS SOUPS 45256 WITH SCORE 45362.706
AT ITER 547 NEW BEST:: SOT 155344 SOS 106702 HAS SOPS 106702 HAS SOUS 45080 HAS SOUPS 45080 WITH SCORE 45186.702
AT ITER 549 NEW BEST:: SOT 155260 SOS 106600 HAS SOPS 106600 HAS SOUS 44978 HAS SOUPS 44978 WITH SCORE 45084.6
AT ITER 550 NEW BEST:: SOT 155015 SOS 105758 HAS SOPS 105758 HAS SOUS 44785 HAS SOUPS 44785 WITH SCORE 44890.758
AT ITER 560 NEW BEST:: SOT 155000 SOS 105357 HAS SOPS 105357 HAS SOUS 44755 HAS SOUPS 44755 WITH SCORE 44860.357
AT ITER 581 NEW BEST:: SOT 155005 SOS 105128 HAS SOPS 105128 HAS SOUS 44667 HAS SOUPS 44667 WITH SCORE 44772.128
AT ITER 589 NEW BEST:: SOT 154949 SOS 105059 HAS SOPS 105059 HAS SOUS 44598 HAS SOUPS 44598 WITH SCORE 44703.059
AT ITER 604 NEW BEST:: SOT 154935 SOS 105031 HAS SOPS 105031 HAS SOUS 44584 HAS SOUPS 44584 WITH SCORE 44689.031
AT ITER 620 NEW BEST:: SOT 154916 SOS 104996 HAS SOPS 104996 HAS SOUS 44549 HAS SOUPS 44549 WITH SCORE 44653.996
AT ITER 628 NEW BEST:: SOT 153778 SOS 105520 HAS SOPS 105520 HAS SOUS 43560 HAS SOUPS 43560 WITH SCORE 43665.52
AT ITER 637 NEW BEST:: SOT 153776 SOS 105479 HAS SOPS 105479 HAS SOUS 43558 HAS SOUPS 43558 WITH SCORE 43663.479
AT ITER 641 NEW BEST:: SOT 153702 SOS 105468 HAS SOPS 105468 HAS SOUS 43547 HAS SOUPS 43547 WITH SCORE 43652.468
AT ITER 649 NEW BEST:: SOT 153635 SOS 105411 HAS SOPS 105411 HAS SOUS 43546 HAS SOUPS 43546 WITH SCORE 43651.411
AT ITER 657 NEW BEST:: SOT 153666 SOS 105442 HAS SOPS 105442 HAS SOUS 43502 HAS SOUPS 43502 WITH SCORE 43607.442
AT ITER 659 NEW BEST:: SOT 153660 SOS 105216 HAS SOPS 105216 HAS SOUS 43416 HAS SOUPS 43416 WITH SCORE 43521.216
AT ITER 699 NEW BEST:: SOT 153463 SOS 105028 HAS SOPS 105028 HAS SOUS 43325 HAS SOUPS 43325 WITH SCORE 43430.028
AT ITER 703 NEW BEST:: SOT 153414 SOS 104991 HAS SOPS 104991 HAS SOUS 43288 HAS SOUPS 43288 WITH SCORE 43392.991
AT ITER 710 NEW BEST:: SOT 153341 SOS 104754 HAS SOPS 104754 HAS SOUS 43021 HAS SOUPS 43021 WITH SCORE 43125.754
AT ITER 711 NEW BEST:: SOT 153494 SOS 104754 HAS SOPS 104754 HAS SOUS 43006 HAS SOUPS 43006 WITH SCORE 43110.754
AT ITER 727 NEW BEST:: SOT 153270 SOS 104530 HAS SOPS 104530 HAS SOUS 42782 HAS SOUPS 42782 WITH SCORE 42886.53
AT ITER 730 NEW BEST:: SOT 153197 SOS 103722 HAS SOPS 103722 HAS SOUS 42636 HAS SOUPS 42636 WITH SCORE 42739.722
AT ITER 738 NEW BEST:: SOT 153192 SOS 103717 HAS SOPS 103717 HAS SOUS 42630 HAS SOUPS 42630 WITH SCORE 42733.717
AT ITER 768 NEW BEST:: SOT 153152 SOS 103677 HAS SOPS 103677 HAS SOUS 42630 HAS SOUPS 42630 WITH SCORE 42733.677
AT ITER 782 NEW BEST:: SOT 153128 SOS 103629 HAS SOPS 103629 HAS SOUS 42582 HAS SOUPS 42582 WITH SCORE 42685.629
AT ITER 793 NEW BEST:: SOT 153103 SOS 103604 HAS SOPS 103604 HAS SOUS 42550 HAS SOUPS 42550 WITH SCORE 42653.604
AT ITER 797 NEW BEST:: SOT 153102 SOS 103495 HAS SOPS 103495 HAS SOUS 42441 HAS SOUPS 42441 WITH SCORE 42544.495
AT ITER 808 NEW BEST:: SOT 152961 SOS 102349 HAS SOPS 102349 HAS SOUS 42300 HAS SOUPS 42300 WITH SCORE 42402.349
AT ITER 811 NEW BEST:: SOT 152961 SOS 102359 HAS SOPS 102359 HAS SOUS 42299 HAS SOUPS 42299 WITH SCORE 42401.359
AT ITER 814 NEW BEST:: SOT 152882 SOS 101771 HAS SOPS 101771 HAS SOUS 42024 HAS SOUPS 42024 WITH SCORE 42125.771
AT ITER 815 NEW BEST:: SOT 152797 SOS 101750 HAS SOPS 101750 HAS SOUS 41854 HAS SOUPS 41854 WITH SCORE 41955.75
AT ITER 834 NEW BEST:: SOT 152797 SOS 101850 HAS SOPS 101850 HAS SOUS 41754 HAS SOUPS 41754 WITH SCORE 41855.85
AT ITER 847 NEW BEST:: SOT 152668 SOS 101536 HAS SOPS 101536 HAS SOUS 41677 HAS SOUPS 41677 WITH SCORE 41778.536
AT ITER 870 NEW BEST:: SOT 152675 SOS 101499 HAS SOPS 101499 HAS SOUS 41640 HAS SOUPS 41640 WITH SCORE 41741.499
AT ITER 882 NEW BEST:: SOT 152669 SOS 101493 HAS SOPS 101493 HAS SOUS 41635 HAS SOUPS 41635 WITH SCORE 41736.493
AT ITER 885 NEW BEST:: SOT 152669 SOS 101493 HAS SOPS 101493 HAS SOUS 41633 HAS SOUPS 41633 WITH SCORE 41734.493
AT ITER 911 NEW BEST:: SOT 152605 SOS 100939 HAS SOPS 100939 HAS SOUS 41470 HAS SOUPS 41470 WITH SCORE 41570.939
AT ITER 927 NEW BEST:: SOT 152552 SOS 100833 HAS SOPS 100833 HAS SOUS 41416 HAS SOUPS 41416 WITH SCORE 41516.833
AT ITER 935 NEW BEST:: SOT 152494 SOS 100775 HAS SOPS 100775 HAS SOUS 41091 HAS SOUPS 41091 WITH SCORE 41191.775
AT ITER 955 NEW BEST:: SOT 152404 SOS 100574 HAS SOPS 100574 HAS SOUS 40969 HAS SOUPS 40969 WITH SCORE 41069.574
AT ITER 963 NEW BEST:: SOT 152292 SOS 100462 HAS SOPS 100462 HAS SOUS 40857 HAS SOUPS 40857 WITH SCORE 40957.462
AT ITER 966 NEW BEST:: SOT 152290 SOS 100460 HAS SOPS 100460 HAS SOUS 40855 HAS SOUPS 40855 WITH SCORE 40955.46
AT ITER 978 NEW BEST:: SOT 151947 SOS 100117 HAS SOPS 100117 HAS SOUS 40366 HAS SOUPS 40366 WITH SCORE 40466.117
AT ITER 981 NEW BEST:: SOT 151917 SOS 100044 HAS SOPS 100044 HAS SOUS 40324 HAS SOUPS 40324 WITH SCORE 40424.044
AT ITER 1008 NEW BEST:: SOT 151787 SOS 99642 HAS SOPS 99642 HAS SOUS 40126 HAS SOUPS 40126 WITH SCORE 40225.642
AT ITER 1023 NEW BEST:: SOT 151682 SOS 99537 HAS SOPS 99537 HAS SOUS 40021 HAS SOUPS 40021 WITH SCORE 40120.537
AT ITER 1038 NEW BEST:: SOT 151643 SOS 99459 HAS SOPS 99459 HAS SOUS 39943 HAS SOUPS 39943 WITH SCORE 40042.459
AT ITER 1043 NEW BEST:: SOT 151619 SOS 99439 HAS SOPS 99439 HAS SOUS 39871 HAS SOUPS 39871 WITH SCORE 39970.439
AT ITER 1051 NEW BEST:: SOT 151560 SOS 99380 HAS SOPS 99380 HAS SOUS 39785 HAS SOUPS 39785 WITH SCORE 39884.38
AT ITER 1088 NEW BEST:: SOT 151628 SOS 99525 HAS SOPS 99525 HAS SOUS 39776 HAS SOUPS 39776 WITH SCORE 39875.525
AT ITER 1117 NEW BEST:: SOT 151628 SOS 99503 HAS SOPS 99503 HAS SOUS 39776 HAS SOUPS 39776 WITH SCORE 39875.503
AT ITER 1200 NEW BEST:: SOT 151573 SOS 99384 HAS SOPS 99384 HAS SOUS 39657 HAS SOUPS 39657 WITH SCORE 39756.384
AT ITER 1214 NEW BEST:: SOT 151582 SOS 99495 HAS SOPS 99495 HAS SOUS 39634 HAS SOUPS 39634 WITH SCORE 39733.495
AT ITER 1215 NEW BEST:: SOT 151620 SOS 99469 HAS SOPS 99469 HAS SOUS 39616 HAS SOUPS 39616 WITH SCORE 39715.469
AT ITER 1227 NEW BEST:: SOT 151600 SOS 99449 HAS SOPS 99449 HAS SOUS 39594 HAS SOUPS 39594 WITH SCORE 39693.449
AT ITER 1233 NEW BEST:: SOT 151555 SOS 99404 HAS SOPS 99404 HAS SOUS 39548 HAS SOUPS 39548 WITH SCORE 39647.404
AT ITER 1249 NEW BEST:: SOT 151288 SOS 99297 HAS SOPS 99297 HAS SOUS 39441 HAS SOUPS 39441 WITH SCORE 39540.297
AT ITER 1294 NEW BEST:: SOT 151307 SOS 99077 HAS SOPS 99077 HAS SOUS 39406 HAS SOUPS 39406 WITH SCORE 39505.077
AT ITER 1328 NEW BEST:: SOT 151265 SOS 98477 HAS SOPS 98477 HAS SOUS 39214 HAS SOUPS 39214 WITH SCORE 39312.477
AT ITER 1341 NEW BEST:: SOT 151242 SOS 98454 HAS SOPS 98454 HAS SOUS 39214 HAS SOUPS 39214 WITH SCORE 39312.454
AT ITER 1351 NEW BEST:: SOT 151228 SOS 98491 HAS SOPS 98491 HAS SOUS 39206 HAS SOUPS 39206 WITH SCORE 39304.491
AT ITER 1355 NEW BEST:: SOT 151132 SOS 98216 HAS SOPS 98216 HAS SOUS 39094 HAS SOUPS 39094 WITH SCORE 39192.216
AT ITER 1378 NEW BEST:: SOT 151132 SOS 98210 HAS SOPS 98210 HAS SOUS 39093 HAS SOUPS 39093 WITH SCORE 39191.21
AT ITER 1417 NEW BEST:: SOT 151119 SOS 98197 HAS SOPS 98197 HAS SOUS 39067 HAS SOUPS 39067 WITH SCORE 39165.197
AT ITER 1422 NEW BEST:: SOT 150960 SOS 98190 HAS SOPS 98190 HAS SOUS 38980 HAS SOUPS 38980 WITH SCORE 39078.19
AT ITER 1431 NEW BEST:: SOT 150960 SOS 97944 HAS SOPS 97944 HAS SOUS 38939 HAS SOUPS 38939 WITH SCORE 39036.944
AT ITER 1432 NEW BEST:: SOT 150922 SOS 97833 HAS SOPS 97833 HAS SOUS 38918 HAS SOUPS 38918 WITH SCORE 39015.833
AT ITER 1449 NEW BEST:: SOT 150918 SOS 97829 HAS SOPS 97829 HAS SOUS 38914 HAS SOUPS 38914 WITH SCORE 39011.829
AT ITER 1451 NEW BEST:: SOT 150915 SOS 97826 HAS SOPS 97826 HAS SOUS 38911 HAS SOUPS 38911 WITH SCORE 39008.826
AT ITER 1468 NEW BEST:: SOT 150811 SOS 97618 HAS SOPS 97618 HAS SOUS 38703 HAS SOUPS 38703 WITH SCORE 38800.618
AT ITER 1471 NEW BEST:: SOT 150786 SOS 97593 HAS SOPS 97593 HAS SOUS 38673 HAS SOUPS 38673 WITH SCORE 38770.593
AT ITER 1472 NEW BEST:: SOT 150786 SOS 97585 HAS SOPS 97585 HAS SOUS 38672 HAS SOUPS 38672 WITH SCORE 38769.585
AT ITER 1476 NEW BEST:: SOT 150770 SOS 97524 HAS SOPS 97524 HAS SOUS 38602 HAS SOUPS 38602 WITH SCORE 38699.524
AT ITER 1477 NEW BEST:: SOT 151040 SOS 97769 HAS SOPS 97769 HAS SOUS 38598 HAS SOUPS 38598 WITH SCORE 38695.769
AT ITER 1485 NEW BEST:: SOT 151011 SOS 97408 HAS SOPS 97408 HAS SOUS 38402 HAS SOUPS 38402 WITH SCORE 38499.408
AT ITER 1487 NEW BEST:: SOT 151011 SOS 97328 HAS SOPS 97328 HAS SOUS 38400 HAS SOUPS 38400 WITH SCORE 38497.328
AT ITER 1490 NEW BEST:: SOT 151106 SOS 97328 HAS SOPS 97328 HAS SOUS 38305 HAS SOUPS 38305 WITH SCORE 38402.328
AT ITER 1492 NEW BEST:: SOT 151044 SOS 97141 HAS SOPS 97141 HAS SOUS 38264 HAS SOUPS 38264 WITH SCORE 38361.141
AT ITER 1517 NEW BEST:: SOT 150977 SOS 96979 HAS SOPS 96979 HAS SOUS 38129 HAS SOUPS 38129 WITH SCORE 38225.979
AT ITER 1534 NEW BEST:: SOT 150974 SOS 96976 HAS SOPS 96976 HAS SOUS 38127 HAS SOUPS 38127 WITH SCORE 38223.976
AT ITER 1548 NEW BEST:: SOT 150960 SOS 96962 HAS SOPS 96962 HAS SOUS 38113 HAS SOUPS 38113 WITH SCORE 38209.962
AT ITER 1574 NEW BEST:: SOT 150960 SOS 96951 HAS SOPS 96951 HAS SOUS 38093 HAS SOUPS 38093 WITH SCORE 38189.951
AT ITER 1597 NEW BEST:: SOT 150958 SOS 96950 HAS SOPS 96950 HAS SOUS 38090 HAS SOUPS 38090 WITH SCORE 38186.95
AT ITER 1631 NEW BEST:: SOT 150967 SOS 96922 HAS SOPS 96922 HAS SOUS 38065 HAS SOUPS 38065 WITH SCORE 38161.922
AT ITER 1642 NEW BEST:: SOT 150965 SOS 96920 HAS SOPS 96920 HAS SOUS 38063 HAS SOUPS 38063 WITH SCORE 38159.92
AT ITER 1660 NEW BEST:: SOT 150965 SOS 96920 HAS SOPS 96920 HAS SOUS 38059 HAS SOUPS 38059 WITH SCORE 38155.92
AT ITER 1676 NEW BEST:: SOT 150821 SOS 96776 HAS SOPS 96776 HAS SOUS 37915 HAS SOUPS 37915 WITH SCORE 38011.776
AT ITER 1691 NEW BEST:: SOT 150763 SOS 96700 HAS SOPS 96700 HAS SOUS 37839 HAS SOUPS 37839 WITH SCORE 37935.7
AT ITER 1700 NEW BEST:: SOT 150777 SOS 96658 HAS SOPS 96658 HAS SOUS 37839 HAS SOUPS 37839 WITH SCORE 37935.658
AT ITER 1750 NEW BEST:: SOT 150750 SOS 96631 HAS SOPS 96631 HAS SOUS 37812 HAS SOUPS 37812 WITH SCORE 37908.631
AT ITER 1773 NEW BEST:: SOT 150750 SOS 96579 HAS SOPS 96579 HAS SOUS 37782 HAS SOUPS 37782 WITH SCORE 37878.579
AT ITER 1775 NEW BEST:: SOT 150740 SOS 96569 HAS SOPS 96569 HAS SOUS 37772 HAS SOUPS 37772 WITH SCORE 37868.569
AT ITER 1779 NEW BEST:: SOT 150700 SOS 96451 HAS SOPS 96451 HAS SOUS 37692 HAS SOUPS 37692 WITH SCORE 37788.451
AT ITER 1798 NEW BEST:: SOT 150647 SOS 96076 HAS SOPS 96076 HAS SOUS 37572 HAS SOUPS 37572 WITH SCORE 37668.076
AT ITER 1811 NEW BEST:: SOT 150101 SOS 95530 HAS SOPS 95530 HAS SOUS 36864 HAS SOUPS 36864 WITH SCORE 36959.53
AT ITER 1813 NEW BEST:: SOT 150082 SOS 95511 HAS SOPS 95511 HAS SOUS 36845 HAS SOUPS 36845 WITH SCORE 36940.511
AT ITER 1819 NEW BEST:: SOT 150031 SOS 95399 HAS SOPS 95399 HAS SOUS 36741 HAS SOUPS 36741 WITH SCORE 36836.399
AT ITER 1823 NEW BEST:: SOT 150050 SOS 95407 HAS SOPS 95407 HAS SOUS 36723 HAS SOUPS 36723 WITH SCORE 36818.407
AT ITER 1829 NEW BEST:: SOT 149811 SOS 95744 HAS SOPS 95744 HAS SOUS 36520 HAS SOUPS 36520 WITH SCORE 36615.744
AT ITER 1850 NEW BEST:: SOT 149800 SOS 95732 HAS SOPS 95732 HAS SOUS 36509 HAS SOUPS 36509 WITH SCORE 36604.732
AT ITER 1851 NEW BEST:: SOT 149518 SOS 95450 HAS SOPS 95450 HAS SOUS 36227 HAS SOUPS 36227 WITH SCORE 36322.45
AT ITER 1859 NEW BEST:: SOT 149533 SOS 95575 HAS SOPS 95575 HAS SOUS 36065 HAS SOUPS 36065 WITH SCORE 36160.575
AT ITER 1866 NEW BEST:: SOT 149525 SOS 95559 HAS SOPS 95559 HAS SOUS 36049 HAS SOUPS 36049 WITH SCORE 36144.559
AT ITER 1872 NEW BEST:: SOT 149283 SOS 95194 HAS SOPS 95194 HAS SOUS 35684 HAS SOUPS 35684 WITH SCORE 35779.194
AT ITER 1890 NEW BEST:: SOT 149283 SOS 95147 HAS SOPS 95147 HAS SOUS 35637 HAS SOUPS 35637 WITH SCORE 35732.147
AT ITER 1900 NEW BEST:: SOT 149062 SOS 94841 HAS SOPS 94841 HAS SOUS 35331 HAS SOUPS 35331 WITH SCORE 35425.841
AT ITER 1922 NEW BEST:: SOT 149061 SOS 94838 HAS SOPS 94838 HAS SOUS 35328 HAS SOUPS 35328 WITH SCORE 35422.838
AT ITER 1923 NEW BEST:: SOT 149061 SOS 94826 HAS SOPS 94826 HAS SOUS 35316 HAS SOUPS 35316 WITH SCORE 35410.826
AT ITER 1931 NEW BEST:: SOT 149035 SOS 94748 HAS SOPS 94748 HAS SOUS 35299 HAS SOUPS 35299 WITH SCORE 35393.748
AT ITER 1941 NEW BEST:: SOT 149045 SOS 94758 HAS SOPS 94758 HAS SOUS 35290 HAS SOUPS 35290 WITH SCORE 35384.758
AT ITER 1955 NEW BEST:: SOT 149033 SOS 94746 HAS SOPS 94746 HAS SOUS 35266 HAS SOUPS 35266 WITH SCORE 35360.746
AT ITER 1966 NEW BEST:: SOT 149099 SOS 94812 HAS SOPS 94812 HAS SOUS 35234 HAS SOUPS 35234 WITH SCORE 35328.812
AT ITER 1970 NEW BEST:: SOT 149069 SOS 94718 HAS SOPS 94718 HAS SOUS 35166 HAS SOUPS 35166 WITH SCORE 35260.718
AT ITER 1990 NEW BEST:: SOT 149068 SOS 94716 HAS SOPS 94716 HAS SOUS 35164 HAS SOUPS 35164 WITH SCORE 35258.716
AT ITER 1994 NEW BEST:: SOT 149033 SOS 94645 HAS SOPS 94645 HAS SOUS 35126 HAS SOUPS 35126 WITH SCORE 35220.645
AT ITER 2008 NEW BEST:: SOT 149020 SOS 94645 HAS SOPS 94645 HAS SOUS 35100 HAS SOUPS 35100 WITH SCORE 35194.645
AT ITER 2055 NEW BEST:: SOT 149017 SOS 94639 HAS SOPS 94639 HAS SOUS 35093 HAS SOUPS 35093 WITH SCORE 35187.639
AT ITER 2056 NEW BEST:: SOT 148738 SOS 94985 HAS SOPS 94985 HAS SOUS 34967 HAS SOUPS 34967 WITH SCORE 35061.985
AT ITER 2073 NEW BEST:: SOT 148736 SOS 94983 HAS SOPS 94983 HAS SOUS 34957 HAS SOUPS 34957 WITH SCORE 35051.983
AT ITER 2080 NEW BEST:: SOT 148617 SOS 94787 HAS SOPS 94787 HAS SOUS 34851 HAS SOUPS 34851 WITH SCORE 34945.787
AT ITER 2083 NEW BEST:: SOT 148628 SOS 94798 HAS SOPS 94798 HAS SOUS 34831 HAS SOUPS 34831 WITH SCORE 34925.798
AT ITER 2109 NEW BEST:: SOT 148584 SOS 94770 HAS SOPS 94770 HAS SOUS 34645 HAS SOUPS 34645 WITH SCORE 34739.77
AT ITER 2115 NEW BEST:: SOT 148376 SOS 94016 HAS SOPS 94016 HAS SOUS 34349 HAS SOUPS 34349 WITH SCORE 34443.016
AT ITER 2128 NEW BEST:: SOT 148356 SOS 94062 HAS SOPS 94062 HAS SOUS 34345 HAS SOUPS 34345 WITH SCORE 34439.062
AT ITER 2134 NEW BEST:: SOT 148356 SOS 94032 HAS SOPS 94032 HAS SOUS 34315 HAS SOUPS 34315 WITH SCORE 34409.032
AT ITER 2142 NEW BEST:: SOT 148253 SOS 93559 HAS SOPS 93559 HAS SOUS 34247 HAS SOUPS 34247 WITH SCORE 34340.559
AT ITER 2150 NEW BEST:: SOT 148057 SOS 93296 HAS SOPS 93296 HAS SOUS 33982 HAS SOUPS 33982 WITH SCORE 34075.296
AT ITER 2156 NEW BEST:: SOT 147885 SOS 93258 HAS SOPS 93258 HAS SOUS 33542 HAS SOUPS 33542 WITH SCORE 33635.258
AT ITER 2163 NEW BEST:: SOT 147885 SOS 93185 HAS SOPS 93185 HAS SOUS 33469 HAS SOUPS 33469 WITH SCORE 33562.185
AT ITER 2201 NEW BEST:: SOT 147731 SOS 92889 HAS SOPS 92889 HAS SOUS 33215 HAS SOUPS 33215 WITH SCORE 33307.889
AT ITER 2214 NEW BEST:: SOT 147642 SOS 92800 HAS SOPS 92800 HAS SOUS 33124 HAS SOUPS 33124 WITH SCORE 33216.8
AT ITER 2228 NEW BEST:: SOT 147642 SOS 92780 HAS SOPS 92780 HAS SOUS 33104 HAS SOUPS 33104 WITH SCORE 33196.78
AT ITER 2247 NEW BEST:: SOT 147642 SOS 92887 HAS SOPS 92887 HAS SOUS 33081 HAS SOUPS 33081 WITH SCORE 33173.887
AT ITER 2248 NEW BEST:: SOT 147641 SOS 92886 HAS SOPS 92886 HAS SOUS 33079 HAS SOUPS 33079 WITH SCORE 33171.886
AT ITER 2249 NEW BEST:: SOT 147635 SOS 92878 HAS SOPS 92878 HAS SOUS 33071 HAS SOUPS 33071 WITH SCORE 33163.878
AT ITER 2257 NEW BEST:: SOT 147629 SOS 92872 HAS SOPS 92872 HAS SOUS 33065 HAS SOUPS 33065 WITH SCORE 33157.872
AT ITER 2264 NEW BEST:: SOT 147629 SOS 92867 HAS SOPS 92867 HAS SOUS 33065 HAS SOUPS 33065 WITH SCORE 33157.867
AT ITER 2276 NEW BEST:: SOT 147867 SOS 93105 HAS SOPS 93105 HAS SOUS 33056 HAS SOUPS 33056 WITH SCORE 33149.105
AT ITER 2290 NEW BEST:: SOT 147867 SOS 93068 HAS SOPS 93068 HAS SOUS 33056 HAS SOUPS 33056 WITH SCORE 33149.068
AT ITER 2295 NEW BEST:: SOT 147853 SOS 93054 HAS SOPS 93054 HAS SOUS 33034 HAS SOUPS 33034 WITH SCORE 33127.054
AT ITER 2320 NEW BEST:: SOT 147881 SOS 93082 HAS SOPS 93082 HAS SOUS 33032 HAS SOUPS 33032 WITH SCORE 33125.082
AT ITER 2326 NEW BEST:: SOT 147557 SOS 92734 HAS SOPS 92734 HAS SOUS 32863 HAS SOUPS 32863 WITH SCORE 32955.734
AT ITER 2347 NEW BEST:: SOT 147487 SOS 92638 HAS SOPS 92638 HAS SOUS 32767 HAS SOUPS 32767 WITH SCORE 32859.638
AT ITER 2385 NEW BEST:: SOT 147452 SOS 92605 HAS SOPS 92605 HAS SOUS 32753 HAS SOUPS 32753 WITH SCORE 32845.605
AT ITER 2392 NEW BEST:: SOT 147445 SOS 92584 HAS SOPS 92584 HAS SOUS 32732 HAS SOUPS 32732 WITH SCORE 32824.584
AT ITER 2396 NEW BEST:: SOT 147367 SOS 92582 HAS SOPS 92582 HAS SOUS 32713 HAS SOUPS 32713 WITH SCORE 32805.582
AT ITER 2403 NEW BEST:: SOT 147367 SOS 92580 HAS SOPS 92580 HAS SOUS 32711 HAS SOUPS 32711 WITH SCORE 32803.58
AT ITER 2415 NEW BEST:: SOT 147367 SOS 92580 HAS SOPS 92580 HAS SOUS 32710 HAS SOUPS 32710 WITH SCORE 32802.58
AT ITER 2450 NEW BEST:: SOT 147423 SOS 92575 HAS SOPS 92575 HAS SOUS 32705 HAS SOUPS 32705 WITH SCORE 32797.575
AT ITER 2451 NEW BEST:: SOT 147423 SOS 92574 HAS SOPS 92574 HAS SOUS 32704 HAS SOUPS 32704 WITH SCORE 32796.574
AT ITER 2463 NEW BEST:: SOT 147423 SOS 92648 HAS SOPS 92648 HAS SOUS 32701 HAS SOUPS 32701 WITH SCORE 32793.648
AT ITER 2464 NEW BEST:: SOT 147343 SOS 92548 HAS SOPS 92548 HAS SOUS 32661 HAS SOUPS 32661 WITH SCORE 32753.548
AT ITER 2478 NEW BEST:: SOT 147342 SOS 92547 HAS SOPS 92547 HAS SOUS 32659 HAS SOUPS 32659 WITH SCORE 32751.547
AT ITER 2502 NEW BEST:: SOT 147342 SOS 92546 HAS SOPS 92546 HAS SOUS 32616 HAS SOUPS 32616 WITH SCORE 32708.546
AT ITER 2543 NEW BEST:: SOT 147340 SOS 92489 HAS SOPS 92489 HAS SOUS 32614 HAS SOUPS 32614 WITH SCORE 32706.489
AT ITER 2557 NEW BEST:: SOT 147317 SOS 92466 HAS SOPS 92466 HAS SOUS 32602 HAS SOUPS 32602 WITH SCORE 32694.466
AT ITER 2566 NEW BEST:: SOT 147301 SOS 92450 HAS SOPS 92450 HAS SOUS 32530 HAS SOUPS 32530 WITH SCORE 32622.45
AT ITER 2629 NEW BEST:: SOT 147347 SOS 92224 HAS SOPS 92224 HAS SOUS 32486 HAS SOUPS 32486 WITH SCORE 32578.224
AT ITER 2642 NEW BEST:: SOT 147346 SOS 92223 HAS SOPS 92223 HAS SOUS 32484 HAS SOUPS 32484 WITH SCORE 32576.223
AT ITER 2660 NEW BEST:: SOT 147341 SOS 92214 HAS SOPS 92214 HAS SOUS 32472 HAS SOUPS 32472 WITH SCORE 32564.214
AT ITER 2668 NEW BEST:: SOT 147339 SOS 92212 HAS SOPS 92212 HAS SOUS 32470 HAS SOUPS 32470 WITH SCORE 32562.212
AT ITER 2691 NEW BEST:: SOT 147339 SOS 92252 HAS SOPS 92252 HAS SOUS 32467 HAS SOUPS 32467 WITH SCORE 32559.252
AT ITER 2705 NEW BEST:: SOT 147316 SOS 92151 HAS SOPS 92151 HAS SOUS 32402 HAS SOUPS 32402 WITH SCORE 32494.151
AT ITER 2718 NEW BEST:: SOT 147363 SOS 92198 HAS SOPS 92198 HAS SOUS 32369 HAS SOUPS 32369 WITH SCORE 32461.198
AT ITER 2756 NEW BEST:: SOT 147363 SOS 92022 HAS SOPS 92022 HAS SOUS 32347 HAS SOUPS 32347 WITH SCORE 32439.022
AT ITER 2780 NEW BEST:: SOT 147363 SOS 92023 HAS SOPS 92023 HAS SOUS 32330 HAS SOUPS 32330 WITH SCORE 32422.023
AT ITER 2784 NEW BEST:: SOT 147347 SOS 92001 HAS SOPS 92001 HAS SOUS 32320 HAS SOUPS 32320 WITH SCORE 32412.001
AT ITER 2801 NEW BEST:: SOT 147330 SOS 91998 HAS SOPS 91998 HAS SOUS 32317 HAS SOUPS 32317 WITH SCORE 32408.998
AT ITER 2809 NEW BEST:: SOT 147292 SOS 91940 HAS SOPS 91940 HAS SOUS 32282 HAS SOUPS 32282 WITH SCORE 32373.94
AT ITER 2823 NEW BEST:: SOT 146652 SOS 91207 HAS SOPS 91207 HAS SOUS 32208 HAS SOUPS 32208 WITH SCORE 32299.207
AT ITER 2832 NEW BEST:: SOT 146700 SOS 91191 HAS SOPS 91191 HAS SOUS 32180 HAS SOUPS 32180 WITH SCORE 32271.191
AT ITER 2849 NEW BEST:: SOT 146613 SOS 91104 HAS SOPS 91104 HAS SOUS 32126 HAS SOUPS 32126 WITH SCORE 32217.104
AT ITER 2850 NEW BEST:: SOT 146613 SOS 91096 HAS SOPS 91096 HAS SOUS 32118 HAS SOUPS 32118 WITH SCORE 32209.096
AT ITER 2868 NEW BEST:: SOT 146615 SOS 91096 HAS SOPS 91096 HAS SOUS 32116 HAS SOUPS 32116 WITH SCORE 32207.096
AT ITER 2889 NEW BEST:: SOT 146613 SOS 91094 HAS SOPS 91094 HAS SOUS 32112 HAS SOUPS 32112 WITH SCORE 32203.094
AT ITER 2898 NEW BEST:: SOT 146613 SOS 91081 HAS SOPS 91081 HAS SOUS 32099 HAS SOUPS 32099 WITH SCORE 32190.081
AT ITER 2919 NEW BEST:: SOT 146569 SOS 90969 HAS SOPS 90969 HAS SOUS 32078 HAS SOUPS 32078 WITH SCORE 32168.969
AT ITER 2922 NEW BEST:: SOT 146536 SOS 90913 HAS SOPS 90913 HAS SOUS 32020 HAS SOUPS 32020 WITH SCORE 32110.913
AT ITER 2928 NEW BEST:: SOT 146531 SOS 90850 HAS SOPS 90850 HAS SOUS 31954 HAS SOUPS 31954 WITH SCORE 32044.85
AT ITER 2930 NEW BEST:: SOT 146519 SOS 90826 HAS SOPS 90826 HAS SOUS 31930 HAS SOUPS 31930 WITH SCORE 32020.826
AT ITER 2961 NEW BEST:: SOT 146250 SOS 90531 HAS SOPS 90531 HAS SOUS 31674 HAS SOUPS 31674 WITH SCORE 31764.531
AT ITER 3001 NEW BEST:: SOT 146331 SOS 90968 HAS SOPS 90968 HAS SOUS 31649 HAS SOUPS 31649 WITH SCORE 31739.968
AT ITER 3027 NEW BEST:: SOT 146325 SOS 90962 HAS SOPS 90962 HAS SOUS 31640 HAS SOUPS 31640 WITH SCORE 31730.962
AT ITER 3029 NEW BEST:: SOT 146325 SOS 90950 HAS SOPS 90950 HAS SOUS 31640 HAS SOUPS 31640 WITH SCORE 31730.95
AT ITER 3032 NEW BEST:: SOT 146325 SOS 90925 HAS SOPS 90925 HAS SOUS 31615 HAS SOUPS 31615 WITH SCORE 31705.925
AT ITER 3058 NEW BEST:: SOT 146312 SOS 90900 HAS SOPS 90900 HAS SOUS 31589 HAS SOUPS 31589 WITH SCORE 31679.9
AT ITER 3080 NEW BEST:: SOT 146300 SOS 90888 HAS SOPS 90888 HAS SOUS 31587 HAS SOUPS 31587 WITH SCORE 31677.888
AT ITER 3091 NEW BEST:: SOT 146033 SOS 89072 HAS SOPS 89072 HAS SOUS 31236 HAS SOUPS 31236 WITH SCORE 31325.072
AT ITER 3100 NEW BEST:: SOT 146024 SOS 89063 HAS SOPS 89063 HAS SOUS 31224 HAS SOUPS 31224 WITH SCORE 31313.063
AT ITER 3101 NEW BEST:: SOT 145934 SOS 88973 HAS SOPS 88973 HAS SOUS 31126 HAS SOUPS 31126 WITH SCORE 31214.973
AT ITER 3109 NEW BEST:: SOT 145930 SOS 88969 HAS SOPS 88969 HAS SOUS 31118 HAS SOUPS 31118 WITH SCORE 31206.969
AT ITER 3118 NEW BEST:: SOT 145886 SOS 88875 HAS SOPS 88875 HAS SOUS 31024 HAS SOUPS 31024 WITH SCORE 31112.875
AT ITER 3198 NEW BEST:: SOT 145866 SOS 88837 HAS SOPS 88837 HAS SOUS 31016 HAS SOUPS 31016 WITH SCORE 31104.837
AT ITER 3221 NEW BEST:: SOT 145858 SOS 88821 HAS SOPS 88821 HAS SOUS 31008 HAS SOUPS 31008 WITH SCORE 31096.821
AT ITER 3246 NEW BEST:: SOT 145845 SOS 88799 HAS SOPS 88799 HAS SOUS 30986 HAS SOUPS 30986 WITH SCORE 31074.799
AT ITER 3266 NEW BEST:: SOT 145761 SOS 88771 HAS SOPS 88771 HAS SOUS 30930 HAS SOUPS 30930 WITH SCORE 31018.771
AT ITER 3286 NEW BEST:: SOT 145730 SOS 88693 HAS SOPS 88693 HAS SOUS 30868 HAS SOUPS 30868 WITH SCORE 30956.693
AT ITER 3305 NEW BEST:: SOT 145761 SOS 88670 HAS SOPS 88670 HAS SOUS 30845 HAS SOUPS 30845 WITH SCORE 30933.67
AT ITER 3332 NEW BEST:: SOT 145730 SOS 88605 HAS SOPS 88605 HAS SOUS 30754 HAS SOUPS 30754 WITH SCORE 30842.605
AT ITER 3337 NEW BEST:: SOT 145729 SOS 88604 HAS SOPS 88604 HAS SOUS 30752 HAS SOUPS 30752 WITH SCORE 30840.604
AT ITER 3340 NEW BEST:: SOT 145843 SOS 88739 HAS SOPS 88739 HAS SOUS 30439 HAS SOUPS 30439 WITH SCORE 30527.739
AT ITER 3395 NEW BEST:: SOT 145844 SOS 88740 HAS SOPS 88740 HAS SOUS 30438 HAS SOUPS 30438 WITH SCORE 30526.74
AT ITER 3407 NEW BEST:: SOT 145842 SOS 88738 HAS SOPS 88738 HAS SOUS 30436 HAS SOUPS 30436 WITH SCORE 30524.738
AT ITER 3429 NEW BEST:: SOT 145835 SOS 88787 HAS SOPS 88787 HAS SOUS 30427 HAS SOUPS 30427 WITH SCORE 30515.787
AT ITER 3430 NEW BEST:: SOT 145817 SOS 88769 HAS SOPS 88769 HAS SOUS 30419 HAS SOUPS 30419 WITH SCORE 30507.769
AT ITER 3468 NEW BEST:: SOT 145813 SOS 88763 HAS SOPS 88763 HAS SOUS 30413 HAS SOUPS 30413 WITH SCORE 30501.763
AT ITER 3514 NEW BEST:: SOT 145793 SOS 88745 HAS SOPS 88745 HAS SOUS 30382 HAS SOUPS 30382 WITH SCORE 30470.745
AT ITER 3571 NEW BEST:: SOT 145782 SOS 88734 HAS SOPS 88734 HAS SOUS 30366 HAS SOUPS 30366 WITH SCORE 30454.734
AT ITER 3613 NEW BEST:: SOT 145806 SOS 88844 HAS SOPS 88844 HAS SOUS 30328 HAS SOUPS 30328 WITH SCORE 30416.844
AT ITER 3615 NEW BEST:: SOT 145796 SOS 88834 HAS SOPS 88834 HAS SOUS 30328 HAS SOUPS 30328 WITH SCORE 30416.834
AT ITER 3628 NEW BEST:: SOT 145771 SOS 88809 HAS SOPS 88809 HAS SOUS 30291 HAS SOUPS 30291 WITH SCORE 30379.809
AT ITER 3629 NEW BEST:: SOT 145770 SOS 88808 HAS SOPS 88808 HAS SOUS 30289 HAS SOUPS 30289 WITH SCORE 30377.808
AT ITER 3631 NEW BEST:: SOT 145768 SOS 88806 HAS SOPS 88806 HAS SOUS 30285 HAS SOUPS 30285 WITH SCORE 30373.806
AT ITER 3641 NEW BEST:: SOT 145747 SOS 88737 HAS SOPS 88737 HAS SOUS 30264 HAS SOUPS 30264 WITH SCORE 30352.737
AT ITER 3656 NEW BEST:: SOT 145743 SOS 88733 HAS SOPS 88733 HAS SOUS 30264 HAS SOUPS 30264 WITH SCORE 30352.733
AT ITER 3658 NEW BEST:: SOT 145729 SOS 88719 HAS SOPS 88719 HAS SOUS 30236 HAS SOUPS 30236 WITH SCORE 30324.719
AT ITER 3677 NEW BEST:: SOT 145678 SOS 88640 HAS SOPS 88640 HAS SOUS 30178 HAS SOUPS 30178 WITH SCORE 30266.64
AT ITER 3723 NEW BEST:: SOT 145668 SOS 88668 HAS SOPS 88668 HAS SOUS 30158 HAS SOUPS 30158 WITH SCORE 30246.668
AT ITER 3728 NEW BEST:: SOT 145650 SOS 88650 HAS SOPS 88650 HAS SOUS 30132 HAS SOUPS 30132 WITH SCORE 30220.65
AT ITER 3752 NEW BEST:: SOT 145648 SOS 88648 HAS SOPS 88648 HAS SOUS 30118 HAS SOUPS 30118 WITH SCORE 30206.648
AT ITER 3753 NEW BEST:: SOT 145643 SOS 88631 HAS SOPS 88631 HAS SOUS 30112 HAS SOUPS 30112 WITH SCORE 30200.631
AT ITER 3758 NEW BEST:: SOT 145623 SOS 88611 HAS SOPS 88611 HAS SOUS 30072 HAS SOUPS 30072 WITH SCORE 30160.611
AT ITER 3784 NEW BEST:: SOT 145610 SOS 88598 HAS SOPS 88598 HAS SOUS 30059 HAS SOUPS 30059 WITH SCORE 30147.598
AT ITER 3809 NEW BEST:: SOT 145610 SOS 88605 HAS SOPS 88605 HAS SOUS 30047 HAS SOUPS 30047 WITH SCORE 30135.605
AT ITER 3810 NEW BEST:: SOT 145609 SOS 88604 HAS SOPS 88604 HAS SOUS 30047 HAS SOUPS 30047 WITH SCORE 30135.604
AT ITER 3824 NEW BEST:: SOT 144931 SOS 87926 HAS SOPS 87926 HAS SOUS 29256 HAS SOUPS 29256 WITH SCORE 29343.926
AT ITER 3954 NEW BEST:: SOT 144931 SOS 88560 HAS SOPS 88560 HAS SOUS 29210 HAS SOUPS 29210 WITH SCORE 29298.56
AT ITER 3963 NEW BEST:: SOT 144870 SOS 88388 HAS SOPS 88388 HAS SOUS 29022 HAS SOUPS 29022 WITH SCORE 29110.388
AT ITER 3967 NEW BEST:: SOT 144870 SOS 88376 HAS SOPS 88376 HAS SOUS 29010 HAS SOUPS 29010 WITH SCORE 29098.376
AT ITER 3991 NEW BEST:: SOT 144863 SOS 87003 HAS SOPS 87003 HAS SOUS 28935 HAS SOUPS 28935 WITH SCORE 29022.003
AT ITER 3997 NEW BEST:: SOT 145029 SOS 86925 HAS SOPS 86925 HAS SOUS 28857 HAS SOUPS 28857 WITH SCORE 28943.925
AT ITER 4010 NEW BEST:: SOT 145037 SOS 86830 HAS SOPS 86830 HAS SOUS 28836 HAS SOUPS 28836 WITH SCORE 28922.83
AT ITER 4015 NEW BEST:: SOT 145026 SOS 86808 HAS SOPS 86808 HAS SOUS 28816 HAS SOUPS 28816 WITH SCORE 28902.808
AT ITER 4029 NEW BEST:: SOT 144968 SOS 86721 HAS SOPS 86721 HAS SOUS 28729 HAS SOUPS 28729 WITH SCORE 28815.721
AT ITER 4047 NEW BEST:: SOT 145069 SOS 86721 HAS SOPS 86721 HAS SOUS 28712 HAS SOUPS 28712 WITH SCORE 28798.721
AT ITER 4056 NEW BEST:: SOT 145057 SOS 86709 HAS SOPS 86709 HAS SOUS 28686 HAS SOUPS 28686 WITH SCORE 28772.709
AT ITER 4090 NEW BEST:: SOT 145066 SOS 86702 HAS SOPS 86702 HAS SOUS 28679 HAS SOUPS 28679 WITH SCORE 28765.702
AT ITER 4118 NEW BEST:: SOT 145040 SOS 86659 HAS SOPS 86659 HAS SOUS 28636 HAS SOUPS 28636 WITH SCORE 28722.659
AT ITER 4136 NEW BEST:: SOT 144784 SOS 86403 HAS SOPS 86403 HAS SOUS 28346 HAS SOUPS 28346 WITH SCORE 28432.403
AT ITER 4172 NEW BEST:: SOT 144799 SOS 86418 HAS SOPS 86418 HAS SOUS 28322 HAS SOUPS 28322 WITH SCORE 28408.418
AT ITER 4189 NEW BEST:: SOT 144797 SOS 86416 HAS SOPS 86416 HAS SOUS 28320 HAS SOUPS 28320 WITH SCORE 28406.416
AT ITER 4218 NEW BEST:: SOT 144741 SOS 86308 HAS SOPS 86308 HAS SOUS 28182 HAS SOUPS 28182 WITH SCORE 28268.308
AT ITER 4297 NEW BEST:: SOT 144740 SOS 86306 HAS SOPS 86306 HAS SOUS 28124 HAS SOUPS 28124 WITH SCORE 28210.306
AT ITER 4345 NEW BEST:: SOT 144692 SOS 86273 HAS SOPS 86273 HAS SOUS 28089 HAS SOUPS 28089 WITH SCORE 28175.273
AT ITER 4350 NEW BEST:: SOT 144692 SOS 86157 HAS SOPS 86157 HAS SOUS 28077 HAS SOUPS 28077 WITH SCORE 28163.157
AT ITER 4362 NEW BEST:: SOT 144692 SOS 85957 HAS SOPS 85957 HAS SOUS 28076 HAS SOUPS 28076 WITH SCORE 28161.957
AT ITER 4383 NEW BEST:: SOT 144692 SOS 85957 HAS SOPS 85957 HAS SOUS 28074 HAS SOUPS 28074 WITH SCORE 28159.957
AT ITER 4414 NEW BEST:: SOT 144692 SOS 85492 HAS SOPS 85492 HAS SOUS 28057 HAS SOUPS 28057 WITH SCORE 28142.492
AT ITER 4417 NEW BEST:: SOT 144573 SOS 85772 HAS SOPS 85772 HAS SOUS 28012 HAS SOUPS 28012 WITH SCORE 28097.772
AT ITER 4445 NEW BEST:: SOT 144573 SOS 85766 HAS SOPS 85766 HAS SOUS 28012 HAS SOUPS 28012 WITH SCORE 28097.766
AT ITER 4448 NEW BEST:: SOT 144568 SOS 85616 HAS SOPS 85616 HAS SOUS 27985 HAS SOUPS 27985 WITH SCORE 28070.616
AT ITER 4508 NEW BEST:: SOT 144542 SOS 85571 HAS SOPS 85571 HAS SOUS 27952 HAS SOUPS 27952 WITH SCORE 28037.571
AT ITER 4512 NEW BEST:: SOT 144517 SOS 85546 HAS SOPS 85546 HAS SOUS 27898 HAS SOUPS 27898 WITH SCORE 27983.546
AT ITER 4515 NEW BEST:: SOT 144526 SOS 85498 HAS SOPS 85498 HAS SOUS 27850 HAS SOUPS 27850 WITH SCORE 27935.498
AT ITER 4516 NEW BEST:: SOT 144526 SOS 84549 HAS SOPS 84549 HAS SOUS 27850 HAS SOUPS 27850 WITH SCORE 27934.549
AT ITER 4544 NEW BEST:: SOT 144531 SOS 84094 HAS SOPS 84094 HAS SOUS 27807 HAS SOUPS 27807 WITH SCORE 27891.094
AT ITER 4592 NEW BEST:: SOT 144531 SOS 84091 HAS SOPS 84091 HAS SOUS 27807 HAS SOUPS 27807 WITH SCORE 27891.091
AT ITER 4634 NEW BEST:: SOT 144531 SOS 84064 HAS SOPS 84064 HAS SOUS 27777 HAS SOUPS 27777 WITH SCORE 27861.064
AT ITER 4640 NEW BEST:: SOT 144448 SOS 83993 HAS SOPS 83993 HAS SOUS 27660 HAS SOUPS 27660 WITH SCORE 27743.993
AT ITER 4643 NEW BEST:: SOT 144436 SOS 83972 HAS SOPS 83972 HAS SOUS 27639 HAS SOUPS 27639 WITH SCORE 27722.972
AT ITER 4707 NEW BEST:: SOT 144426 SOS 83965 HAS SOPS 83965 HAS SOUS 27632 HAS SOUPS 27632 WITH SCORE 27715.965
AT ITER 4808 NEW BEST:: SOT 144381 SOS 83223 HAS SOPS 83223 HAS SOUS 27587 HAS SOUPS 27587 WITH SCORE 27670.223
AT ITER 4825 NEW BEST:: SOT 144368 SOS 83262 HAS SOPS 83262 HAS SOUS 27579 HAS SOUPS 27579 WITH SCORE 27662.262
AT ITER 4826 NEW BEST:: SOT 144368 SOS 82894 HAS SOPS 82894 HAS SOUS 27575 HAS SOUPS 27575 WITH SCORE 27657.894
AT ITER 4837 NEW BEST:: SOT 144319 SOS 82827 HAS SOPS 82827 HAS SOUS 27508 HAS SOUPS 27508 WITH SCORE 27590.827
AT ITER 4869 NEW BEST:: SOT 144306 SOS 82814 HAS SOPS 82814 HAS SOUS 27504 HAS SOUPS 27504 WITH SCORE 27586.814
AT ITER 4895 NEW BEST:: SOT 144303 SOS 82814 HAS SOPS 82814 HAS SOUS 27501 HAS SOUPS 27501 WITH SCORE 27583.814
AT ITER 4922 NEW BEST:: SOT 144284 SOS 82779 HAS SOPS 82779 HAS SOUS 27466 HAS SOUPS 27466 WITH SCORE 27548.779
AT ITER 4946 NEW BEST:: SOT 144258 SOS 82723 HAS SOPS 82723 HAS SOUS 27425 HAS SOUPS 27425 WITH SCORE 27507.723
AT ITER 4973 NEW BEST:: SOT 144256 SOS 82721 HAS SOPS 82721 HAS SOUS 27420 HAS SOUPS 27420 WITH SCORE 27502.721
Bounds file is: CTLFireability.xml
PROPERTY: ASLink-PT-01a-CTLFireability-00 (EF( ( ( ( ((potential((tk(P270)>=1) & (tk(P353)>=1)))) | ( ((potential((tk(P50)>=1) & (tk(P254)>=1)))) & ((potential((tk(P214)>=1) & (tk(P285)>=1)))) ) ) & (AF( ((potential((tk(P195)>=1) & (tk(P191)>=1)))))) ) | ( ( (! ((potential((tk(P269)>=1) & (tk(P350)>=1))))) | ((potential((tk(P230)>=1) & (tk(P298)>=1)))) ) & ((potential((tk(P40)>=1) & (tk(P241)>=1)))) ) )))
PROPERTY: ASLink-PT-01a-CTLFireability-01 (EF( ( ((potential((tk(P176)>=1)))) & (AX( ((potential((tk(P56)>=1) & (tk(P128)>=1)))))) )))
PROPERTY: ASLink-PT-01a-CTLFireability-02 ( (EF( ( ((potential((tk(P201)>=1) & (tk(P224)>=1)))) | ((potential((tk(P118)>=1)))) ))) | ((potential((tk(P9)>=1) & (tk(P90)>=1)))) )
PROPERTY: ASLink-PT-01a-CTLFireability-03 (! (EU( ( (! ((potential((tk(P157)>=1) & (tk(P218)>=1))))) | ( ((potential((tk(P40)>=1) & (tk(P252)>=1)))) & ((potential((tk(P14)>=1) & (tk(P79)>=1)))) ) ) , (EX( ((potential((tk(P19)>=1) & (tk(P88)>=1)))))) )))
PROPERTY: ASLink-PT-01a-CTLFireability-04 ( (! (AF( (EG( ((potential((tk(P185)>=1) & (tk(P182)>=1) & (tk(P188)>=1) & (tk(P228)>=1))))))))) | (EX( ( (! (! ((potential((tk(P322)>=1)))))) & ( (! ((potential((tk(P4)>=1) & (tk(P83)>=1))))) | ( ((potential((tk(P231)>=1) & (tk(P424)>=1)))) | ((potential((tk(P10)>=1) & (tk(P81)>=1)))) ) ) ))) )
PROPERTY: ASLink-PT-01a-CTLFireability-05 (AU( (EF( ( ((potential((tk(P5)>=1) & (tk(P76)>=1)))) | ((potential((tk(P45)>=1) & (tk(P240)>=1)))) ))) , (! ( (! ((potential((tk(P158)>=1) & (tk(P211)>=1))))) | ( ((potential((tk(P248)>=1) & (tk(P424)>=1)))) & ((potential((tk(P36)>=1) & (tk(P108)>=1)))) ) )) ))
PROPERTY: ASLink-PT-01a-CTLFireability-06 (AX( (EF( (EF( ((potential((tk(P41)>=1) & (tk(P257)>=1))))))))))
PROPERTY: ASLink-PT-01a-CTLFireability-07 (AX( ( (EF( ( ((potential((tk(P97)>=1)))) & ((potential((tk(P343)>=1) & (tk(P340)>=1)))) ))) & (! ((potential((tk(P48)>=1) & (tk(P264)>=1))))) )))
PROPERTY: ASLink-PT-01a-CTLFireability-08 (! ( (EF( (! (! ((potential((tk(P16)>=1) & (tk(P77)>=1)))))))) | ( (AU( ((potential((tk(P48)>=1) & (tk(P233)>=1)))) , ((potential((tk(P42)>=1) & (tk(P247)>=1)))) )) | ((potential((tk(P46)>=1) & (tk(P239)>=1)))) ) ))
PROPERTY: ASLink-PT-01a-CTLFireability-09 ( ( (EG( ( (! ((potential((tk(P12)>=1) & (tk(P87)>=1))))) | ( ((potential((tk(P189)>=1)))) & ((potential((tk(P39)>=1) & (tk(P257)>=1)))) ) ))) | ( ((potential((tk(P159)>=1) & (tk(P229)>=1)))) & (! ( ((potential((tk(P213)>=1) & (tk(P274)>=1)))) | ( ((potential((tk(P383)>=1) & (tk(P380)>=1)))) | ((potential((tk(P219)>=1) & (tk(P280)>=1)))) ) )) ) ) & (! ((potential((tk(P7)>=1) & (tk(P88)>=1))))) )
PROPERTY: ASLink-PT-01a-CTLFireability-10 ( (! (AG( (! ( ((potential((tk(P48)>=1) & (tk(P260)>=1)))) | ((potential((tk(P7)>=1) & (tk(P82)>=1)))) ))))) & ( (EG( ( ((potential((tk(P220)>=1) & (tk(P277)>=1)))) & ((potential((tk(P290)>=1) & (tk(P412)>=1)))) ))) | (EG( ( (! ((potential((tk(P271)>=1) & (tk(P319)>=1))))) | ( ((potential((tk(P54)>=1) & (tk(P233)>=1)))) | ((potential((tk(P43)>=1) & (tk(P251)>=1)))) ) ))) ) )
PROPERTY: ASLink-PT-01a-CTLFireability-11 (AF( ( (! (! ((potential((tk(P164)>=1)))))) & ( (AG( ((potential((tk(P288)>=1) & (tk(P396)>=1)))))) & ( ((potential((tk(P193)>=1)))) | (! ((potential((tk(P26)>=1) & (tk(P205)>=1))))) ) ) )))
PROPERTY: ASLink-PT-01a-CTLFireability-12 ( (EF( (EG( ( ((potential((tk(P50)>=1) & (tk(P262)>=1)))) | ((potential((tk(P150)>=1)))) ))))) | ((potential((tk(P265)>=1) & (tk(P376)>=1)))) )
PROPERTY: ASLink-PT-01a-CTLFireability-13 (! (EG( ( ((potential((tk(P54)>=1) & (tk(P254)>=1)))) | (! ( ((potential((tk(P51)>=1) & (tk(P251)>=1)))) | ((potential((tk(P307)>=1)))) )) ))))
PROPERTY: ASLink-PT-01a-CTLFireability-14 ( (AF( (! ((potential((tk(P431)>=1) & (tk(P427)>=1) & (tk(P429)>=1))))))) & (AF( ( ((potential((tk(P210)>=1) & (tk(P212)>=1)))) & (EF( ((potential((tk(P43)>=1) & (tk(P263)>=1)))))) ))) )
PROPERTY: ASLink-PT-01a-CTLFireability-15 (AF( ( (AU( ((potential((tk(P45)>=1) & (tk(P244)>=1)))) , ((potential((tk(P19)>=1) & (tk(P82)>=1)))) )) | ( (! (! ((potential((tk(P230)>=1) & (tk(P416)>=1)))))) & ( (! ((potential((tk(P307)>=1))))) | ( ((potential((tk(P43)>=1) & (tk(P251)>=1)))) & ((potential((tk(P40)>=1) & (tk(P239)>=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="ASLink-PT-01a"
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 ASLink-PT-01a, 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 r003-smll-158897507900012"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-01a.tgz
mv ASLink-PT-01a 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 '
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 ;