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 |
15765.920 | 3600000.00 | 3600040.00 | 0.00 | F??????????????? | normal |
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-158897507900011.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 CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897507900011
=====================================================================
--------------------
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-CTLCardinality-00
FORMULA_NAME ASLink-PT-01a-CTLCardinality-01
FORMULA_NAME ASLink-PT-01a-CTLCardinality-02
FORMULA_NAME ASLink-PT-01a-CTLCardinality-03
FORMULA_NAME ASLink-PT-01a-CTLCardinality-04
FORMULA_NAME ASLink-PT-01a-CTLCardinality-05
FORMULA_NAME ASLink-PT-01a-CTLCardinality-06
FORMULA_NAME ASLink-PT-01a-CTLCardinality-07
FORMULA_NAME ASLink-PT-01a-CTLCardinality-08
FORMULA_NAME ASLink-PT-01a-CTLCardinality-09
FORMULA_NAME ASLink-PT-01a-CTLCardinality-10
FORMULA_NAME ASLink-PT-01a-CTLCardinality-11
FORMULA_NAME ASLink-PT-01a-CTLCardinality-12
FORMULA_NAME ASLink-PT-01a-CTLCardinality-13
FORMULA_NAME ASLink-PT-01a-CTLCardinality-14
FORMULA_NAME ASLink-PT-01a-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1588982537696
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 01a
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart
GOT IT HERE. BS
Petri model created: 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 5 NEW BEST:: SOT 175227 SOS 120460 HAS SOPS 120460 HAS SOUS 65562 HAS SOUPS 65562 WITH SCORE 65682.46
AT ITER 11 NEW BEST:: SOT 175227 SOS 120328 HAS SOPS 120328 HAS SOUS 65430 HAS SOUPS 65430 WITH SCORE 65550.328
AT ITER 12 NEW BEST:: SOT 175227 SOS 120090 HAS SOPS 120090 HAS SOUS 65192 HAS SOUPS 65192 WITH SCORE 65312.09
AT ITER 14 NEW BEST:: SOT 175124 SOS 119216 HAS SOPS 119216 HAS SOUS 64984 HAS SOUPS 64984 WITH SCORE 65103.216
AT ITER 26 NEW BEST:: SOT 175093 SOS 119185 HAS SOPS 119185 HAS SOUS 64982 HAS SOUPS 64982 WITH SCORE 65101.185
AT ITER 28 NEW BEST:: SOT 175014 SOS 119185 HAS SOPS 119185 HAS SOUS 64981 HAS SOUPS 64981 WITH SCORE 65100.185
AT ITER 31 NEW BEST:: SOT 174897 SOS 118563 HAS SOPS 118563 HAS SOUS 64449 HAS SOUPS 64449 WITH SCORE 64567.563
AT ITER 35 NEW BEST:: SOT 174897 SOS 118438 HAS SOPS 118438 HAS SOUS 64426 HAS SOUPS 64426 WITH SCORE 64544.438
AT ITER 40 NEW BEST:: SOT 174896 SOS 118437 HAS SOPS 118437 HAS SOUS 64425 HAS SOUPS 64425 WITH SCORE 64543.437
AT ITER 47 NEW BEST:: SOT 175009 SOS 118397 HAS SOPS 118397 HAS SOUS 64425 HAS SOUPS 64425 WITH SCORE 64543.397
AT ITER 56 NEW BEST:: SOT 174658 SOS 118077 HAS SOPS 118077 HAS SOUS 64105 HAS SOUPS 64105 WITH SCORE 64223.077
AT ITER 60 NEW BEST:: SOT 172021 SOS 115437 HAS SOPS 115437 HAS SOUS 61466 HAS SOUPS 61466 WITH SCORE 61581.437
AT ITER 63 NEW BEST:: SOT 171180 SOS 114268 HAS SOPS 114268 HAS SOUS 60707 HAS SOUPS 60707 WITH SCORE 60821.268
AT ITER 65 NEW BEST:: SOT 171179 SOS 114267 HAS SOPS 114267 HAS SOUS 60706 HAS SOUPS 60706 WITH SCORE 60820.267
AT ITER 66 NEW BEST:: SOT 171151 SOS 114231 HAS SOPS 114231 HAS SOUS 60678 HAS SOUPS 60678 WITH SCORE 60792.231
AT ITER 67 NEW BEST:: SOT 166497 SOS 109577 HAS SOPS 109577 HAS SOUS 56024 HAS SOUPS 56024 WITH SCORE 56133.577
AT ITER 72 NEW BEST:: SOT 166497 SOS 109577 HAS SOPS 109577 HAS SOUS 55976 HAS SOUPS 55976 WITH SCORE 56085.577
AT ITER 73 NEW BEST:: SOT 166337 SOS 109577 HAS SOPS 109577 HAS SOUS 55975 HAS SOUPS 55975 WITH SCORE 56084.577
AT ITER 74 NEW BEST:: SOT 165110 SOS 108533 HAS SOPS 108533 HAS SOUS 54821 HAS SOUPS 54821 WITH SCORE 54929.533
AT ITER 83 NEW BEST:: SOT 159802 SOS 105012 HAS SOPS 105012 HAS SOUS 49653 HAS SOUPS 49653 WITH SCORE 49758.012
AT ITER 89 NEW BEST:: SOT 159595 SOS 104805 HAS SOPS 104805 HAS SOUS 49445 HAS SOUPS 49445 WITH SCORE 49549.805
AT ITER 90 NEW BEST:: SOT 159336 SOS 104546 HAS SOPS 104546 HAS SOUS 49183 HAS SOUPS 49183 WITH SCORE 49287.546
AT ITER 94 NEW BEST:: SOT 159220 SOS 104472 HAS SOPS 104472 HAS SOUS 49169 HAS SOUPS 49169 WITH SCORE 49273.472
AT ITER 103 NEW BEST:: SOT 159220 SOS 104470 HAS SOPS 104470 HAS SOUS 49167 HAS SOUPS 49167 WITH SCORE 49271.47
AT ITER 108 NEW BEST:: SOT 159097 SOS 104347 HAS SOPS 104347 HAS SOUS 49038 HAS SOUPS 49038 WITH SCORE 49142.347
AT ITER 109 NEW BEST:: SOT 159089 SOS 104339 HAS SOPS 104339 HAS SOUS 49030 HAS SOUPS 49030 WITH SCORE 49134.339
AT ITER 110 NEW BEST:: SOT 159083 SOS 104320 HAS SOPS 104320 HAS SOUS 49011 HAS SOUPS 49011 WITH SCORE 49115.32
AT ITER 112 NEW BEST:: SOT 159082 SOS 103931 HAS SOPS 103931 HAS SOUS 48808 HAS SOUPS 48808 WITH SCORE 48911.931
AT ITER 124 NEW BEST:: SOT 158743 SOS 103592 HAS SOPS 103592 HAS SOUS 48467 HAS SOUPS 48467 WITH SCORE 48570.592
AT ITER 127 NEW BEST:: SOT 158707 SOS 103419 HAS SOPS 103419 HAS SOUS 48294 HAS SOUPS 48294 WITH SCORE 48397.419
AT ITER 137 NEW BEST:: SOT 158763 SOS 103475 HAS SOPS 103475 HAS SOUS 48267 HAS SOUPS 48267 WITH SCORE 48370.475
AT ITER 141 NEW BEST:: SOT 158759 SOS 103707 HAS SOPS 103707 HAS SOUS 48265 HAS SOUPS 48265 WITH SCORE 48368.707
AT ITER 158 NEW BEST:: SOT 158743 SOS 103659 HAS SOPS 103659 HAS SOUS 48240 HAS SOUPS 48240 WITH SCORE 48343.659
AT ITER 162 NEW BEST:: SOT 158743 SOS 103657 HAS SOPS 103657 HAS SOUS 48202 HAS SOUPS 48202 WITH SCORE 48305.657
AT ITER 166 NEW BEST:: SOT 158743 SOS 103657 HAS SOPS 103657 HAS SOUS 48190 HAS SOUPS 48190 WITH SCORE 48293.657
AT ITER 168 NEW BEST:: SOT 158669 SOS 103035 HAS SOPS 103035 HAS SOUS 47981 HAS SOUPS 47981 WITH SCORE 48084.035
AT ITER 169 NEW BEST:: SOT 158667 SOS 103033 HAS SOPS 103033 HAS SOUS 47977 HAS SOUPS 47977 WITH SCORE 48080.033
AT ITER 173 NEW BEST:: SOT 158662 SOS 102742 HAS SOPS 102742 HAS SOUS 47761 HAS SOUPS 47761 WITH SCORE 47863.742
AT ITER 175 NEW BEST:: SOT 158438 SOS 102204 HAS SOPS 102204 HAS SOUS 47309 HAS SOUPS 47309 WITH SCORE 47411.204
AT ITER 177 NEW BEST:: SOT 158409 SOS 102175 HAS SOPS 102175 HAS SOUS 47280 HAS SOUPS 47280 WITH SCORE 47382.175
AT ITER 182 NEW BEST:: SOT 158207 SOS 101818 HAS SOPS 101818 HAS SOUS 47030 HAS SOUPS 47030 WITH SCORE 47131.818
AT ITER 205 NEW BEST:: SOT 157740 SOS 101351 HAS SOPS 101351 HAS SOUS 46562 HAS SOUPS 46562 WITH SCORE 46663.351
AT ITER 219 NEW BEST:: SOT 157723 SOS 101326 HAS SOPS 101326 HAS SOUS 46536 HAS SOUPS 46536 WITH SCORE 46637.326
AT ITER 233 NEW BEST:: SOT 157660 SOS 101265 HAS SOPS 101265 HAS SOUS 46532 HAS SOUPS 46532 WITH SCORE 46633.265
AT ITER 255 NEW BEST:: SOT 157648 SOS 101261 HAS SOPS 101261 HAS SOUS 46530 HAS SOUPS 46530 WITH SCORE 46631.261
AT ITER 270 NEW BEST:: SOT 157537 SOS 100962 HAS SOPS 100962 HAS SOUS 46281 HAS SOUPS 46281 WITH SCORE 46381.962
AT ITER 275 NEW BEST:: SOT 157520 SOS 100945 HAS SOPS 100945 HAS SOUS 46264 HAS SOUPS 46264 WITH SCORE 46364.945
AT ITER 281 NEW BEST:: SOT 157519 SOS 100891 HAS SOPS 100891 HAS SOUS 46262 HAS SOUPS 46262 WITH SCORE 46362.891
AT ITER 285 NEW BEST:: SOT 158421 SOS 101786 HAS SOPS 101786 HAS SOUS 46217 HAS SOUPS 46217 WITH SCORE 46318.786
AT ITER 293 NEW BEST:: SOT 158418 SOS 101699 HAS SOPS 101699 HAS SOUS 46211 HAS SOUPS 46211 WITH SCORE 46312.699
AT ITER 299 NEW BEST:: SOT 158495 SOS 101340 HAS SOPS 101340 HAS SOUS 45900 HAS SOUPS 45900 WITH SCORE 46001.34
AT ITER 303 NEW BEST:: SOT 158014 SOS 100734 HAS SOPS 100734 HAS SOUS 45650 HAS SOUPS 45650 WITH SCORE 45750.734
AT ITER 320 NEW BEST:: SOT 157953 SOS 100673 HAS SOPS 100673 HAS SOUS 45618 HAS SOUPS 45618 WITH SCORE 45718.673
AT ITER 322 NEW BEST:: SOT 157921 SOS 100641 HAS SOPS 100641 HAS SOUS 45586 HAS SOUPS 45586 WITH SCORE 45686.641
AT ITER 325 NEW BEST:: SOT 157921 SOS 100563 HAS SOPS 100563 HAS SOUS 45508 HAS SOUPS 45508 WITH SCORE 45608.563
AT ITER 331 NEW BEST:: SOT 157787 SOS 99979 HAS SOPS 99979 HAS SOUS 45096 HAS SOUPS 45096 WITH SCORE 45195.979
AT ITER 332 NEW BEST:: SOT 157675 SOS 99982 HAS SOPS 99982 HAS SOUS 44980 HAS SOUPS 44980 WITH SCORE 45079.982
AT ITER 335 NEW BEST:: SOT 157570 SOS 99869 HAS SOPS 99869 HAS SOUS 44867 HAS SOUPS 44867 WITH SCORE 44966.869
AT ITER 336 NEW BEST:: SOT 157442 SOS 99741 HAS SOPS 99741 HAS SOUS 44738 HAS SOUPS 44738 WITH SCORE 44837.741
AT ITER 348 NEW BEST:: SOT 157393 SOS 99642 HAS SOPS 99642 HAS SOUS 44494 HAS SOUPS 44494 WITH SCORE 44593.642
AT ITER 358 NEW BEST:: SOT 157233 SOS 99492 HAS SOPS 99492 HAS SOUS 44386 HAS SOUPS 44386 WITH SCORE 44485.492
AT ITER 379 NEW BEST:: SOT 157206 SOS 99455 HAS SOPS 99455 HAS SOUS 44349 HAS SOUPS 44349 WITH SCORE 44448.455
AT ITER 386 NEW BEST:: SOT 157187 SOS 99436 HAS SOPS 99436 HAS SOUS 44330 HAS SOUPS 44330 WITH SCORE 44429.436
AT ITER 390 NEW BEST:: SOT 156944 SOS 99180 HAS SOPS 99180 HAS SOUS 44073 HAS SOUPS 44073 WITH SCORE 44172.18
AT ITER 422 NEW BEST:: SOT 156944 SOS 99053 HAS SOPS 99053 HAS SOUS 44073 HAS SOUPS 44073 WITH SCORE 44172.053
AT ITER 443 NEW BEST:: SOT 156866 SOS 99324 HAS SOPS 99324 HAS SOUS 44019 HAS SOUPS 44019 WITH SCORE 44118.324
AT ITER 464 NEW BEST:: SOT 156797 SOS 99186 HAS SOPS 99186 HAS SOUS 43849 HAS SOUPS 43849 WITH SCORE 43948.186
AT ITER 467 NEW BEST:: SOT 156794 SOS 98992 HAS SOPS 98992 HAS SOUS 43843 HAS SOUPS 43843 WITH SCORE 43941.992
AT ITER 475 NEW BEST:: SOT 156777 SOS 98975 HAS SOPS 98975 HAS SOUS 43826 HAS SOUPS 43826 WITH SCORE 43924.975
AT ITER 493 NEW BEST:: SOT 156711 SOS 98909 HAS SOPS 98909 HAS SOUS 43694 HAS SOUPS 43694 WITH SCORE 43792.909
AT ITER 518 NEW BEST:: SOT 156668 SOS 98866 HAS SOPS 98866 HAS SOUS 43651 HAS SOUPS 43651 WITH SCORE 43749.866
AT ITER 526 NEW BEST:: SOT 156504 SOS 98702 HAS SOPS 98702 HAS SOUS 43487 HAS SOUPS 43487 WITH SCORE 43585.702
AT ITER 530 NEW BEST:: SOT 156220 SOS 98418 HAS SOPS 98418 HAS SOUS 43203 HAS SOUPS 43203 WITH SCORE 43301.418
AT ITER 543 NEW BEST:: SOT 156138 SOS 98146 HAS SOPS 98146 HAS SOUS 43009 HAS SOUPS 43009 WITH SCORE 43107.146
AT ITER 557 NEW BEST:: SOT 156138 SOS 97900 HAS SOPS 97900 HAS SOUS 42763 HAS SOUPS 42763 WITH SCORE 42860.9
AT ITER 565 NEW BEST:: SOT 156135 SOS 97848 HAS SOPS 97848 HAS SOUS 42755 HAS SOUPS 42755 WITH SCORE 42852.848
AT ITER 569 NEW BEST:: SOT 156135 SOS 97762 HAS SOPS 97762 HAS SOUS 42755 HAS SOUPS 42755 WITH SCORE 42852.762
AT ITER 571 NEW BEST:: SOT 156192 SOS 97819 HAS SOPS 97819 HAS SOUS 42733 HAS SOUPS 42733 WITH SCORE 42830.819
AT ITER 573 NEW BEST:: SOT 156285 SOS 97943 HAS SOPS 97943 HAS SOUS 42721 HAS SOUPS 42721 WITH SCORE 42818.943
AT ITER 574 NEW BEST:: SOT 156301 SOS 97942 HAS SOPS 97942 HAS SOUS 42719 HAS SOUPS 42719 WITH SCORE 42816.942
AT ITER 599 NEW BEST:: SOT 156864 SOS 98140 HAS SOPS 98140 HAS SOUS 42564 HAS SOUPS 42564 WITH SCORE 42662.14
AT ITER 608 NEW BEST:: SOT 156835 SOS 98133 HAS SOPS 98133 HAS SOUS 42557 HAS SOUPS 42557 WITH SCORE 42655.133
AT ITER 609 NEW BEST:: SOT 156835 SOS 97873 HAS SOPS 97873 HAS SOUS 42557 HAS SOUPS 42557 WITH SCORE 42654.873
AT ITER 613 NEW BEST:: SOT 156835 SOS 97880 HAS SOPS 97880 HAS SOUS 42555 HAS SOUPS 42555 WITH SCORE 42652.88
AT ITER 614 NEW BEST:: SOT 156726 SOS 97739 HAS SOPS 97739 HAS SOUS 42390 HAS SOUPS 42390 WITH SCORE 42487.739
AT ITER 617 NEW BEST:: SOT 155711 SOS 96724 HAS SOPS 96724 HAS SOUS 41375 HAS SOUPS 41375 WITH SCORE 41471.724
AT ITER 625 NEW BEST:: SOT 155707 SOS 96720 HAS SOPS 96720 HAS SOUS 41371 HAS SOUPS 41371 WITH SCORE 41467.72
AT ITER 633 NEW BEST:: SOT 155955 SOS 96719 HAS SOPS 96719 HAS SOUS 41317 HAS SOUPS 41317 WITH SCORE 41413.719
AT ITER 641 NEW BEST:: SOT 155856 SOS 96620 HAS SOPS 96620 HAS SOUS 41222 HAS SOUPS 41222 WITH SCORE 41318.62
AT ITER 648 NEW BEST:: SOT 155893 SOS 96488 HAS SOPS 96488 HAS SOUS 41111 HAS SOUPS 41111 WITH SCORE 41207.488
AT ITER 659 NEW BEST:: SOT 155490 SOS 96085 HAS SOPS 96085 HAS SOUS 41004 HAS SOUPS 41004 WITH SCORE 41100.085
AT ITER 674 NEW BEST:: SOT 155490 SOS 96061 HAS SOPS 96061 HAS SOUS 41004 HAS SOUPS 41004 WITH SCORE 41100.061
AT ITER 679 NEW BEST:: SOT 155368 SOS 95858 HAS SOPS 95858 HAS SOUS 40913 HAS SOUPS 40913 WITH SCORE 41008.858
AT ITER 685 NEW BEST:: SOT 155368 SOS 95593 HAS SOPS 95593 HAS SOUS 40913 HAS SOUPS 40913 WITH SCORE 41008.593
AT ITER 717 NEW BEST:: SOT 155367 SOS 95589 HAS SOPS 95589 HAS SOUS 40910 HAS SOUPS 40910 WITH SCORE 41005.589
AT ITER 735 NEW BEST:: SOT 155343 SOS 95517 HAS SOPS 95517 HAS SOUS 40838 HAS SOUPS 40838 WITH SCORE 40933.517
AT ITER 736 NEW BEST:: SOT 155195 SOS 96056 HAS SOPS 96056 HAS SOUS 40798 HAS SOUPS 40798 WITH SCORE 40894.056
AT ITER 740 NEW BEST:: SOT 155165 SOS 95783 HAS SOPS 95783 HAS SOUS 40678 HAS SOUPS 40678 WITH SCORE 40773.783
AT ITER 742 NEW BEST:: SOT 155114 SOS 95427 HAS SOPS 95427 HAS SOUS 40637 HAS SOUPS 40637 WITH SCORE 40732.427
AT ITER 743 NEW BEST:: SOT 155122 SOS 95435 HAS SOPS 95435 HAS SOUS 40636 HAS SOUPS 40636 WITH SCORE 40731.435
AT ITER 753 NEW BEST:: SOT 155074 SOS 95387 HAS SOPS 95387 HAS SOUS 40588 HAS SOUPS 40588 WITH SCORE 40683.387
AT ITER 754 NEW BEST:: SOT 155050 SOS 95356 HAS SOPS 95356 HAS SOUS 40557 HAS SOUPS 40557 WITH SCORE 40652.356
AT ITER 755 NEW BEST:: SOT 155052 SOS 95361 HAS SOPS 95361 HAS SOUS 40553 HAS SOUPS 40553 WITH SCORE 40648.361
AT ITER 758 NEW BEST:: SOT 155051 SOS 95358 HAS SOPS 95358 HAS SOUS 40550 HAS SOUPS 40550 WITH SCORE 40645.358
AT ITER 766 NEW BEST:: SOT 154972 SOS 94920 HAS SOPS 94920 HAS SOUS 40304 HAS SOUPS 40304 WITH SCORE 40398.92
AT ITER 785 NEW BEST:: SOT 154958 SOS 94856 HAS SOPS 94856 HAS SOUS 40174 HAS SOUPS 40174 WITH SCORE 40268.856
AT ITER 787 NEW BEST:: SOT 154862 SOS 94760 HAS SOPS 94760 HAS SOUS 40158 HAS SOUPS 40158 WITH SCORE 40252.76
AT ITER 795 NEW BEST:: SOT 154925 SOS 94691 HAS SOPS 94691 HAS SOUS 40147 HAS SOUPS 40147 WITH SCORE 40241.691
AT ITER 796 NEW BEST:: SOT 154929 SOS 94588 HAS SOPS 94588 HAS SOUS 40081 HAS SOUPS 40081 WITH SCORE 40175.588
AT ITER 799 NEW BEST:: SOT 154915 SOS 94574 HAS SOPS 94574 HAS SOUS 40080 HAS SOUPS 40080 WITH SCORE 40174.574
AT ITER 803 NEW BEST:: SOT 154839 SOS 94947 HAS SOPS 94947 HAS SOUS 40067 HAS SOUPS 40067 WITH SCORE 40161.947
AT ITER 805 NEW BEST:: SOT 154839 SOS 94787 HAS SOPS 94787 HAS SOUS 39873 HAS SOUPS 39873 WITH SCORE 39967.787
AT ITER 806 NEW BEST:: SOT 154737 SOS 94685 HAS SOPS 94685 HAS SOUS 39771 HAS SOUPS 39771 WITH SCORE 39865.685
AT ITER 812 NEW BEST:: SOT 154628 SOS 94610 HAS SOPS 94610 HAS SOUS 39666 HAS SOUPS 39666 WITH SCORE 39760.61
AT ITER 818 NEW BEST:: SOT 154455 SOS 94437 HAS SOPS 94437 HAS SOUS 39470 HAS SOUPS 39470 WITH SCORE 39564.437
AT ITER 846 NEW BEST:: SOT 154454 SOS 94335 HAS SOPS 94335 HAS SOUS 39368 HAS SOUPS 39368 WITH SCORE 39462.335
AT ITER 860 NEW BEST:: SOT 154391 SOS 94272 HAS SOPS 94272 HAS SOUS 39305 HAS SOUPS 39305 WITH SCORE 39399.272
AT ITER 862 NEW BEST:: SOT 154391 SOS 94248 HAS SOPS 94248 HAS SOUS 39305 HAS SOUPS 39305 WITH SCORE 39399.248
AT ITER 886 NEW BEST:: SOT 154440 SOS 94286 HAS SOPS 94286 HAS SOUS 39242 HAS SOUPS 39242 WITH SCORE 39336.286
AT ITER 891 NEW BEST:: SOT 154440 SOS 94282 HAS SOPS 94282 HAS SOUS 39236 HAS SOUPS 39236 WITH SCORE 39330.282
AT ITER 902 NEW BEST:: SOT 154389 SOS 94270 HAS SOPS 94270 HAS SOUS 39224 HAS SOUPS 39224 WITH SCORE 39318.27
AT ITER 904 NEW BEST:: SOT 154332 SOS 94190 HAS SOPS 94190 HAS SOUS 39168 HAS SOUPS 39168 WITH SCORE 39262.19
AT ITER 925 NEW BEST:: SOT 154293 SOS 94108 HAS SOPS 94108 HAS SOUS 39125 HAS SOUPS 39125 WITH SCORE 39219.108
AT ITER 932 NEW BEST:: SOT 154237 SOS 94052 HAS SOPS 94052 HAS SOUS 39125 HAS SOUPS 39125 WITH SCORE 39219.052
AT ITER 942 NEW BEST:: SOT 154196 SOS 93952 HAS SOPS 93952 HAS SOUS 39042 HAS SOUPS 39042 WITH SCORE 39135.952
AT ITER 1001 NEW BEST:: SOT 154169 SOS 93925 HAS SOPS 93925 HAS SOUS 39015 HAS SOUPS 39015 WITH SCORE 39108.925
AT ITER 1007 NEW BEST:: SOT 154088 SOS 93844 HAS SOPS 93844 HAS SOUS 38804 HAS SOUPS 38804 WITH SCORE 38897.844
AT ITER 1009 NEW BEST:: SOT 154088 SOS 93844 HAS SOPS 93844 HAS SOUS 38803 HAS SOUPS 38803 WITH SCORE 38896.844
AT ITER 1015 NEW BEST:: SOT 154087 SOS 93843 HAS SOPS 93843 HAS SOUS 38801 HAS SOUPS 38801 WITH SCORE 38894.843
AT ITER 1022 NEW BEST:: SOT 154087 SOS 93965 HAS SOPS 93965 HAS SOUS 38800 HAS SOUPS 38800 WITH SCORE 38893.965
AT ITER 1052 NEW BEST:: SOT 152486 SOS 92354 HAS SOPS 92354 HAS SOUS 37189 HAS SOUPS 37189 WITH SCORE 37281.354
AT ITER 1063 NEW BEST:: SOT 152361 SOS 93213 HAS SOPS 93213 HAS SOUS 37052 HAS SOUPS 37052 WITH SCORE 37145.213
AT ITER 1071 NEW BEST:: SOT 152371 SOS 93068 HAS SOPS 93068 HAS SOUS 36808 HAS SOUPS 36808 WITH SCORE 36901.068
AT ITER 1076 NEW BEST:: SOT 152243 SOS 92981 HAS SOPS 92981 HAS SOUS 36721 HAS SOUPS 36721 WITH SCORE 36813.981
AT ITER 1085 NEW BEST:: SOT 152239 SOS 92973 HAS SOPS 92973 HAS SOUS 36713 HAS SOUPS 36713 WITH SCORE 36805.973
AT ITER 1089 NEW BEST:: SOT 152010 SOS 92753 HAS SOPS 92753 HAS SOUS 36694 HAS SOUPS 36694 WITH SCORE 36786.753
AT ITER 1094 NEW BEST:: SOT 152009 SOS 92752 HAS SOPS 92752 HAS SOUS 36692 HAS SOUPS 36692 WITH SCORE 36784.752
AT ITER 1111 NEW BEST:: SOT 152005 SOS 92742 HAS SOPS 92742 HAS SOUS 36682 HAS SOUPS 36682 WITH SCORE 36774.742
AT ITER 1119 NEW BEST:: SOT 151948 SOS 92566 HAS SOPS 92566 HAS SOUS 36506 HAS SOUPS 36506 WITH SCORE 36598.566
AT ITER 1140 NEW BEST:: SOT 151937 SOS 92555 HAS SOPS 92555 HAS SOUS 36495 HAS SOUPS 36495 WITH SCORE 36587.555
AT ITER 1154 NEW BEST:: SOT 151933 SOS 92553 HAS SOPS 92553 HAS SOUS 36489 HAS SOUPS 36489 WITH SCORE 36581.553
AT ITER 1169 NEW BEST:: SOT 151933 SOS 92543 HAS SOPS 92543 HAS SOUS 36478 HAS SOUPS 36478 WITH SCORE 36570.543
AT ITER 1170 NEW BEST:: SOT 151632 SOS 93169 HAS SOPS 93169 HAS SOUS 36278 HAS SOUPS 36278 WITH SCORE 36371.169
AT ITER 1200 NEW BEST:: SOT 151624 SOS 93161 HAS SOPS 93161 HAS SOUS 36270 HAS SOUPS 36270 WITH SCORE 36363.161
AT ITER 1208 NEW BEST:: SOT 151621 SOS 93164 HAS SOPS 93164 HAS SOUS 36267 HAS SOUPS 36267 WITH SCORE 36360.164
AT ITER 1238 NEW BEST:: SOT 151599 SOS 93130 HAS SOPS 93130 HAS SOUS 36232 HAS SOUPS 36232 WITH SCORE 36325.13
AT ITER 1243 NEW BEST:: SOT 151568 SOS 93099 HAS SOPS 93099 HAS SOUS 36183 HAS SOUPS 36183 WITH SCORE 36276.099
AT ITER 1265 NEW BEST:: SOT 151320 SOS 92938 HAS SOPS 92938 HAS SOUS 35976 HAS SOUPS 35976 WITH SCORE 36068.938
AT ITER 1278 NEW BEST:: SOT 151379 SOS 92997 HAS SOPS 92997 HAS SOUS 35967 HAS SOUPS 35967 WITH SCORE 36059.997
AT ITER 1291 NEW BEST:: SOT 151380 SOS 93066 HAS SOPS 93066 HAS SOUS 35939 HAS SOUPS 35939 WITH SCORE 36032.066
AT ITER 1299 NEW BEST:: SOT 151379 SOS 93064 HAS SOPS 93064 HAS SOUS 35937 HAS SOUPS 35937 WITH SCORE 36030.064
AT ITER 1307 NEW BEST:: SOT 151249 SOS 92864 HAS SOPS 92864 HAS SOUS 35738 HAS SOUPS 35738 WITH SCORE 35830.864
AT ITER 1334 NEW BEST:: SOT 151249 SOS 92949 HAS SOPS 92949 HAS SOUS 35737 HAS SOUPS 35737 WITH SCORE 35829.949
AT ITER 1346 NEW BEST:: SOT 150440 SOS 92637 HAS SOPS 92637 HAS SOUS 35100 HAS SOUPS 35100 WITH SCORE 35192.637
AT ITER 1347 NEW BEST:: SOT 150440 SOS 92634 HAS SOPS 92634 HAS SOUS 35097 HAS SOUPS 35097 WITH SCORE 35189.634
AT ITER 1350 NEW BEST:: SOT 150111 SOS 92889 HAS SOPS 92889 HAS SOUS 34841 HAS SOUPS 34841 WITH SCORE 34933.889
AT ITER 1371 NEW BEST:: SOT 150065 SOS 92843 HAS SOPS 92843 HAS SOUS 34749 HAS SOUPS 34749 WITH SCORE 34841.843
AT ITER 1378 NEW BEST:: SOT 149885 SOS 92742 HAS SOPS 92742 HAS SOUS 34651 HAS SOUPS 34651 WITH SCORE 34743.742
AT ITER 1395 NEW BEST:: SOT 149885 SOS 92739 HAS SOPS 92739 HAS SOUS 34651 HAS SOUPS 34651 WITH SCORE 34743.739
AT ITER 1398 NEW BEST:: SOT 149881 SOS 92735 HAS SOPS 92735 HAS SOUS 34627 HAS SOUPS 34627 WITH SCORE 34719.735
AT ITER 1415 NEW BEST:: SOT 149777 SOS 92631 HAS SOPS 92631 HAS SOUS 34625 HAS SOUPS 34625 WITH SCORE 34717.631
AT ITER 1416 NEW BEST:: SOT 149776 SOS 92630 HAS SOPS 92630 HAS SOUS 34623 HAS SOUPS 34623 WITH SCORE 34715.63
AT ITER 1426 NEW BEST:: SOT 149693 SOS 92525 HAS SOPS 92525 HAS SOUS 34518 HAS SOUPS 34518 WITH SCORE 34610.525
AT ITER 1474 NEW BEST:: SOT 149572 SOS 92404 HAS SOPS 92404 HAS SOUS 34276 HAS SOUPS 34276 WITH SCORE 34368.404
AT ITER 1484 NEW BEST:: SOT 149538 SOS 92371 HAS SOPS 92371 HAS SOUS 34276 HAS SOUPS 34276 WITH SCORE 34368.371
AT ITER 1486 NEW BEST:: SOT 149532 SOS 92365 HAS SOPS 92365 HAS SOUS 34264 HAS SOUPS 34264 WITH SCORE 34356.365
AT ITER 1494 NEW BEST:: SOT 149532 SOS 92346 HAS SOPS 92346 HAS SOUS 34245 HAS SOUPS 34245 WITH SCORE 34337.346
AT ITER 1516 NEW BEST:: SOT 149532 SOS 92346 HAS SOPS 92346 HAS SOUS 34227 HAS SOUPS 34227 WITH SCORE 34319.346
AT ITER 1535 NEW BEST:: SOT 148921 SOS 91816 HAS SOPS 91816 HAS SOUS 33697 HAS SOUPS 33697 WITH SCORE 33788.816
AT ITER 1541 NEW BEST:: SOT 148909 SOS 91804 HAS SOPS 91804 HAS SOUS 33685 HAS SOUPS 33685 WITH SCORE 33776.804
AT ITER 1553 NEW BEST:: SOT 148906 SOS 91781 HAS SOPS 91781 HAS SOUS 33679 HAS SOUPS 33679 WITH SCORE 33770.781
AT ITER 1565 NEW BEST:: SOT 148919 SOS 91769 HAS SOPS 91769 HAS SOUS 33667 HAS SOUPS 33667 WITH SCORE 33758.769
AT ITER 1591 NEW BEST:: SOT 148885 SOS 91734 HAS SOPS 91734 HAS SOUS 33632 HAS SOUPS 33632 WITH SCORE 33723.734
AT ITER 1607 NEW BEST:: SOT 148900 SOS 91766 HAS SOPS 91766 HAS SOUS 33624 HAS SOUPS 33624 WITH SCORE 33715.766
AT ITER 1646 NEW BEST:: SOT 148900 SOS 91930 HAS SOPS 91930 HAS SOUS 33623 HAS SOUPS 33623 WITH SCORE 33714.93
AT ITER 1657 NEW BEST:: SOT 149044 SOS 92487 HAS SOPS 92487 HAS SOUS 33531 HAS SOUPS 33531 WITH SCORE 33623.487
AT ITER 1667 NEW BEST:: SOT 148566 SOS 92365 HAS SOPS 92365 HAS SOUS 33142 HAS SOUPS 33142 WITH SCORE 33234.365
AT ITER 1671 NEW BEST:: SOT 148559 SOS 92344 HAS SOPS 92344 HAS SOUS 33128 HAS SOUPS 33128 WITH SCORE 33220.344
AT ITER 1678 NEW BEST:: SOT 148037 SOS 91779 HAS SOPS 91779 HAS SOUS 32533 HAS SOUPS 32533 WITH SCORE 32624.779
AT ITER 1731 NEW BEST:: SOT 148035 SOS 91086 HAS SOPS 91086 HAS SOUS 32518 HAS SOUPS 32518 WITH SCORE 32609.086
AT ITER 1763 NEW BEST:: SOT 147895 SOS 91035 HAS SOPS 91035 HAS SOUS 32467 HAS SOUPS 32467 WITH SCORE 32558.035
AT ITER 1778 NEW BEST:: SOT 147757 SOS 90820 HAS SOPS 90820 HAS SOUS 32252 HAS SOUPS 32252 WITH SCORE 32342.82
AT ITER 1804 NEW BEST:: SOT 147728 SOS 90721 HAS SOPS 90721 HAS SOUS 32153 HAS SOUPS 32153 WITH SCORE 32243.721
AT ITER 1837 NEW BEST:: SOT 147734 SOS 90572 HAS SOPS 90572 HAS SOUS 32027 HAS SOUPS 32027 WITH SCORE 32117.572
AT ITER 1841 NEW BEST:: SOT 147676 SOS 90293 HAS SOPS 90293 HAS SOUS 31757 HAS SOUPS 31757 WITH SCORE 31847.293
AT ITER 1848 NEW BEST:: SOT 147630 SOS 89890 HAS SOPS 89890 HAS SOUS 31711 HAS SOUPS 31711 WITH SCORE 31800.89
AT ITER 1866 NEW BEST:: SOT 147620 SOS 89880 HAS SOPS 89880 HAS SOUS 31691 HAS SOUPS 31691 WITH SCORE 31780.88
AT ITER 1889 NEW BEST:: SOT 147610 SOS 89850 HAS SOPS 89850 HAS SOUS 31671 HAS SOUPS 31671 WITH SCORE 31760.85
AT ITER 1897 NEW BEST:: SOT 147580 SOS 89846 HAS SOPS 89846 HAS SOUS 31651 HAS SOUPS 31651 WITH SCORE 31740.846
AT ITER 1922 NEW BEST:: SOT 147580 SOS 89742 HAS SOPS 89742 HAS SOUS 31638 HAS SOUPS 31638 WITH SCORE 31727.742
AT ITER 1931 NEW BEST:: SOT 147530 SOS 89692 HAS SOPS 89692 HAS SOUS 31538 HAS SOUPS 31538 WITH SCORE 31627.692
AT ITER 1949 NEW BEST:: SOT 147518 SOS 89680 HAS SOPS 89680 HAS SOUS 31526 HAS SOUPS 31526 WITH SCORE 31615.68
AT ITER 1987 NEW BEST:: SOT 147210 SOS 89570 HAS SOPS 89570 HAS SOUS 31218 HAS SOUPS 31218 WITH SCORE 31307.57
AT ITER 1990 NEW BEST:: SOT 147181 SOS 89483 HAS SOPS 89483 HAS SOUS 31160 HAS SOUPS 31160 WITH SCORE 31249.483
AT ITER 2010 NEW BEST:: SOT 147090 SOS 89226 HAS SOPS 89226 HAS SOUS 30913 HAS SOUPS 30913 WITH SCORE 31002.226
AT ITER 2011 NEW BEST:: SOT 147088 SOS 89223 HAS SOPS 89223 HAS SOUS 30910 HAS SOUPS 30910 WITH SCORE 30999.223
AT ITER 2025 NEW BEST:: SOT 147073 SOS 89190 HAS SOPS 89190 HAS SOUS 30880 HAS SOUPS 30880 WITH SCORE 30969.19
AT ITER 2031 NEW BEST:: SOT 147014 SOS 89050 HAS SOPS 89050 HAS SOUS 30762 HAS SOUPS 30762 WITH SCORE 30851.05
AT ITER 2038 NEW BEST:: SOT 147014 SOS 89040 HAS SOPS 89040 HAS SOUS 30752 HAS SOUPS 30752 WITH SCORE 30841.04
AT ITER 2053 NEW BEST:: SOT 146965 SOS 88962 HAS SOPS 88962 HAS SOUS 30708 HAS SOUPS 30708 WITH SCORE 30796.962
AT ITER 2071 NEW BEST:: SOT 146965 SOS 88962 HAS SOPS 88962 HAS SOUS 30652 HAS SOUPS 30652 WITH SCORE 30740.962
AT ITER 2085 NEW BEST:: SOT 146965 SOS 88962 HAS SOPS 88962 HAS SOUS 30621 HAS SOUPS 30621 WITH SCORE 30709.962
AT ITER 2088 NEW BEST:: SOT 146826 SOS 88825 HAS SOPS 88825 HAS SOUS 30473 HAS SOUPS 30473 WITH SCORE 30561.825
AT ITER 2102 NEW BEST:: SOT 146262 SOS 88822 HAS SOPS 88822 HAS SOUS 30112 HAS SOUPS 30112 WITH SCORE 30200.822
AT ITER 2115 NEW BEST:: SOT 146243 SOS 88757 HAS SOPS 88757 HAS SOUS 30093 HAS SOUPS 30093 WITH SCORE 30181.757
AT ITER 2154 NEW BEST:: SOT 146242 SOS 88755 HAS SOPS 88755 HAS SOUS 30091 HAS SOUPS 30091 WITH SCORE 30179.755
AT ITER 2170 NEW BEST:: SOT 146201 SOS 88714 HAS SOPS 88714 HAS SOUS 30028 HAS SOUPS 30028 WITH SCORE 30116.714
AT ITER 2189 NEW BEST:: SOT 146197 SOS 88706 HAS SOPS 88706 HAS SOUS 30020 HAS SOUPS 30020 WITH SCORE 30108.706
AT ITER 2219 NEW BEST:: SOT 146099 SOS 88632 HAS SOPS 88632 HAS SOUS 29910 HAS SOUPS 29910 WITH SCORE 29998.632
AT ITER 2244 NEW BEST:: SOT 146217 SOS 88750 HAS SOPS 88750 HAS SOUS 29902 HAS SOUPS 29902 WITH SCORE 29990.75
AT ITER 2299 NEW BEST:: SOT 146213 SOS 88746 HAS SOPS 88746 HAS SOUS 29902 HAS SOUPS 29902 WITH SCORE 29990.746
AT ITER 2350 NEW BEST:: SOT 146177 SOS 88636 HAS SOPS 88636 HAS SOUS 29794 HAS SOUPS 29794 WITH SCORE 29882.636
AT ITER 2354 NEW BEST:: SOT 146160 SOS 88580 HAS SOPS 88580 HAS SOUS 29754 HAS SOUPS 29754 WITH SCORE 29842.58
AT ITER 2371 NEW BEST:: SOT 146160 SOS 88580 HAS SOPS 88580 HAS SOUS 29752 HAS SOUPS 29752 WITH SCORE 29840.58
AT ITER 2388 NEW BEST:: SOT 146144 SOS 88547 HAS SOPS 88547 HAS SOUS 29743 HAS SOUPS 29743 WITH SCORE 29831.547
AT ITER 2405 NEW BEST:: SOT 146081 SOS 88463 HAS SOPS 88463 HAS SOUS 29615 HAS SOUPS 29615 WITH SCORE 29703.463
AT ITER 2432 NEW BEST:: SOT 146081 SOS 88447 HAS SOPS 88447 HAS SOUS 29614 HAS SOUPS 29614 WITH SCORE 29702.447
AT ITER 2433 NEW BEST:: SOT 146081 SOS 87263 HAS SOPS 87263 HAS SOUS 29545 HAS SOUPS 29545 WITH SCORE 29632.263
AT ITER 2439 NEW BEST:: SOT 146067 SOS 87221 HAS SOPS 87221 HAS SOUS 29517 HAS SOUPS 29517 WITH SCORE 29604.221
AT ITER 2505 NEW BEST:: SOT 146041 SOS 87182 HAS SOPS 87182 HAS SOUS 29478 HAS SOUPS 29478 WITH SCORE 29565.182
AT ITER 2508 NEW BEST:: SOT 146042 SOS 87179 HAS SOPS 87179 HAS SOUS 29475 HAS SOUPS 29475 WITH SCORE 29562.179
AT ITER 2538 NEW BEST:: SOT 146035 SOS 87163 HAS SOPS 87163 HAS SOUS 29459 HAS SOUPS 29459 WITH SCORE 29546.163
AT ITER 2539 NEW BEST:: SOT 146024 SOS 87152 HAS SOPS 87152 HAS SOUS 29448 HAS SOUPS 29448 WITH SCORE 29535.152
AT ITER 2547 NEW BEST:: SOT 146212 SOS 87340 HAS SOPS 87340 HAS SOUS 29444 HAS SOUPS 29444 WITH SCORE 29531.34
AT ITER 2570 NEW BEST:: SOT 146178 SOS 87270 HAS SOPS 87270 HAS SOUS 29335 HAS SOUPS 29335 WITH SCORE 29422.27
AT ITER 2572 NEW BEST:: SOT 146306 SOS 87390 HAS SOPS 87390 HAS SOUS 29331 HAS SOUPS 29331 WITH SCORE 29418.39
AT ITER 2574 NEW BEST:: SOT 146078 SOS 87519 HAS SOPS 87519 HAS SOUS 29065 HAS SOUPS 29065 WITH SCORE 29152.519
AT ITER 2579 NEW BEST:: SOT 146057 SOS 87498 HAS SOPS 87498 HAS SOUS 29044 HAS SOUPS 29044 WITH SCORE 29131.498
AT ITER 2582 NEW BEST:: SOT 146184 SOS 87530 HAS SOPS 87530 HAS SOUS 28995 HAS SOUPS 28995 WITH SCORE 29082.53
AT ITER 2631 NEW BEST:: SOT 146166 SOS 87508 HAS SOPS 87508 HAS SOUS 28973 HAS SOUPS 28973 WITH SCORE 29060.508
AT ITER 2632 NEW BEST:: SOT 146167 SOS 87621 HAS SOPS 87621 HAS SOUS 28919 HAS SOUPS 28919 WITH SCORE 29006.621
AT ITER 2665 NEW BEST:: SOT 146145 SOS 87471 HAS SOPS 87471 HAS SOUS 28906 HAS SOUPS 28906 WITH SCORE 28993.471
AT ITER 2709 NEW BEST:: SOT 146145 SOS 87525 HAS SOPS 87525 HAS SOUS 28902 HAS SOUPS 28902 WITH SCORE 28989.525
AT ITER 2719 NEW BEST:: SOT 146115 SOS 87349 HAS SOPS 87349 HAS SOUS 28726 HAS SOUPS 28726 WITH SCORE 28813.349
AT ITER 2726 NEW BEST:: SOT 146076 SOS 87761 HAS SOPS 87761 HAS SOUS 28668 HAS SOUPS 28668 WITH SCORE 28755.761
AT ITER 2760 NEW BEST:: SOT 146041 SOS 86545 HAS SOPS 86545 HAS SOUS 28622 HAS SOUPS 28622 WITH SCORE 28708.545
AT ITER 2773 NEW BEST:: SOT 146041 SOS 86487 HAS SOPS 86487 HAS SOUS 28622 HAS SOUPS 28622 WITH SCORE 28708.487
AT ITER 2780 NEW BEST:: SOT 145983 SOS 86425 HAS SOPS 86425 HAS SOUS 28560 HAS SOUPS 28560 WITH SCORE 28646.425
AT ITER 2806 NEW BEST:: SOT 145983 SOS 86129 HAS SOPS 86129 HAS SOUS 28523 HAS SOUPS 28523 WITH SCORE 28609.129
AT ITER 2824 NEW BEST:: SOT 145975 SOS 86187 HAS SOPS 86187 HAS SOUS 28316 HAS SOUPS 28316 WITH SCORE 28402.187
AT ITER 2846 NEW BEST:: SOT 145948 SOS 86102 HAS SOPS 86102 HAS SOUS 28231 HAS SOUPS 28231 WITH SCORE 28317.102
AT ITER 2864 NEW BEST:: SOT 145948 SOS 86102 HAS SOPS 86102 HAS SOUS 28219 HAS SOUPS 28219 WITH SCORE 28305.102
AT ITER 2884 NEW BEST:: SOT 145945 SOS 86096 HAS SOPS 86096 HAS SOUS 28213 HAS SOUPS 28213 WITH SCORE 28299.096
AT ITER 2910 NEW BEST:: SOT 145825 SOS 85817 HAS SOPS 85817 HAS SOUS 28143 HAS SOUPS 28143 WITH SCORE 28228.817
AT ITER 2972 NEW BEST:: SOT 145825 SOS 85813 HAS SOPS 85813 HAS SOUS 28141 HAS SOUPS 28141 WITH SCORE 28226.813
AT ITER 3069 NEW BEST:: SOT 145819 SOS 85801 HAS SOPS 85801 HAS SOUS 28135 HAS SOUPS 28135 WITH SCORE 28220.801
AT ITER 3076 NEW BEST:: SOT 145814 SOS 85796 HAS SOPS 85796 HAS SOUS 28130 HAS SOUPS 28130 WITH SCORE 28215.796
AT ITER 3119 NEW BEST:: SOT 145814 SOS 85761 HAS SOPS 85761 HAS SOUS 28130 HAS SOUPS 28130 WITH SCORE 28215.761
AT ITER 3128 NEW BEST:: SOT 145817 SOS 85755 HAS SOPS 85755 HAS SOUS 28124 HAS SOUPS 28124 WITH SCORE 28209.755
AT ITER 3149 NEW BEST:: SOT 145800 SOS 85736 HAS SOPS 85736 HAS SOUS 28105 HAS SOUPS 28105 WITH SCORE 28190.736
AT ITER 3212 NEW BEST:: SOT 145642 SOS 85584 HAS SOPS 85584 HAS SOUS 27953 HAS SOUPS 27953 WITH SCORE 28038.584
AT ITER 3225 NEW BEST:: SOT 145605 SOS 85545 HAS SOPS 85545 HAS SOUS 27914 HAS SOUPS 27914 WITH SCORE 27999.545
AT ITER 3232 NEW BEST:: SOT 145558 SOS 85498 HAS SOPS 85498 HAS SOUS 27820 HAS SOUPS 27820 WITH SCORE 27905.498
AT ITER 3245 NEW BEST:: SOT 145555 SOS 85489 HAS SOPS 85489 HAS SOUS 27814 HAS SOUPS 27814 WITH SCORE 27899.489
AT ITER 3283 NEW BEST:: SOT 145592 SOS 85547 HAS SOPS 85547 HAS SOUS 27798 HAS SOUPS 27798 WITH SCORE 27883.547
AT ITER 3289 NEW BEST:: SOT 145574 SOS 85529 HAS SOPS 85529 HAS SOUS 27762 HAS SOUPS 27762 WITH SCORE 27847.529
AT ITER 3299 NEW BEST:: SOT 145550 SOS 85517 HAS SOPS 85517 HAS SOUS 27738 HAS SOUPS 27738 WITH SCORE 27823.517
AT ITER 3318 NEW BEST:: SOT 145548 SOS 85498 HAS SOPS 85498 HAS SOUS 27734 HAS SOUPS 27734 WITH SCORE 27819.498
AT ITER 3324 NEW BEST:: SOT 145548 SOS 85482 HAS SOPS 85482 HAS SOUS 27718 HAS SOUPS 27718 WITH SCORE 27803.482
AT ITER 3338 NEW BEST:: SOT 145535 SOS 85486 HAS SOPS 85486 HAS SOUS 27695 HAS SOUPS 27695 WITH SCORE 27780.486
AT ITER 3361 NEW BEST:: SOT 145529 SOS 85480 HAS SOPS 85480 HAS SOUS 27689 HAS SOUPS 27689 WITH SCORE 27774.48
AT ITER 3366 NEW BEST:: SOT 145529 SOS 85414 HAS SOPS 85414 HAS SOUS 27671 HAS SOUPS 27671 WITH SCORE 27756.414
AT ITER 3432 NEW BEST:: SOT 145515 SOS 85400 HAS SOPS 85400 HAS SOUS 27657 HAS SOUPS 27657 WITH SCORE 27742.4
AT ITER 3466 NEW BEST:: SOT 145509 SOS 85364 HAS SOPS 85364 HAS SOUS 27645 HAS SOUPS 27645 WITH SCORE 27730.364
AT ITER 3493 NEW BEST:: SOT 145508 SOS 85362 HAS SOPS 85362 HAS SOUS 27643 HAS SOUPS 27643 WITH SCORE 27728.362
AT ITER 3521 NEW BEST:: SOT 145468 SOS 85322 HAS SOPS 85322 HAS SOUS 27627 HAS SOUPS 27627 WITH SCORE 27712.322
AT ITER 3528 NEW BEST:: SOT 145397 SOS 85251 HAS SOPS 85251 HAS SOUS 27624 HAS SOUPS 27624 WITH SCORE 27709.251
AT ITER 3553 NEW BEST:: SOT 145326 SOS 85181 HAS SOPS 85181 HAS SOUS 27589 HAS SOUPS 27589 WITH SCORE 27674.181
AT ITER 3584 NEW BEST:: SOT 145309 SOS 85148 HAS SOPS 85148 HAS SOUS 27556 HAS SOUPS 27556 WITH SCORE 27641.148
AT ITER 3601 NEW BEST:: SOT 145278 SOS 85099 HAS SOPS 85099 HAS SOUS 27508 HAS SOUPS 27508 WITH SCORE 27593.099
AT ITER 3613 NEW BEST:: SOT 145267 SOS 85043 HAS SOPS 85043 HAS SOUS 27497 HAS SOUPS 27497 WITH SCORE 27582.043
AT ITER 3618 NEW BEST:: SOT 145271 SOS 85047 HAS SOPS 85047 HAS SOUS 27496 HAS SOUPS 27496 WITH SCORE 27581.047
AT ITER 3638 NEW BEST:: SOT 145250 SOS 85026 HAS SOPS 85026 HAS SOUS 27475 HAS SOUPS 27475 WITH SCORE 27560.026
AT ITER 3760 NEW BEST:: SOT 145248 SOS 85024 HAS SOPS 85024 HAS SOUS 27473 HAS SOUPS 27473 WITH SCORE 27558.024
AT ITER 3772 NEW BEST:: SOT 145223 SOS 84999 HAS SOPS 84999 HAS SOUS 27423 HAS SOUPS 27423 WITH SCORE 27507.999
AT ITER 3777 NEW BEST:: SOT 145215 SOS 84991 HAS SOPS 84991 HAS SOUS 27410 HAS SOUPS 27410 WITH SCORE 27494.991
AT ITER 3805 NEW BEST:: SOT 145166 SOS 84783 HAS SOPS 84783 HAS SOUS 27312 HAS SOUPS 27312 WITH SCORE 27396.783
AT ITER 3827 NEW BEST:: SOT 145155 SOS 84772 HAS SOPS 84772 HAS SOUS 27310 HAS SOUPS 27310 WITH SCORE 27394.772
AT ITER 3835 NEW BEST:: SOT 145144 SOS 84770 HAS SOPS 84770 HAS SOUS 27307 HAS SOUPS 27307 WITH SCORE 27391.77
AT ITER 3858 NEW BEST:: SOT 145144 SOS 84764 HAS SOPS 84764 HAS SOUS 27303 HAS SOUPS 27303 WITH SCORE 27387.764
AT ITER 3878 NEW BEST:: SOT 145069 SOS 84765 HAS SOPS 84765 HAS SOUS 27241 HAS SOUPS 27241 WITH SCORE 27325.765
AT ITER 3939 NEW BEST:: SOT 145317 SOS 85010 HAS SOPS 85010 HAS SOUS 27215 HAS SOUPS 27215 WITH SCORE 27300.01
AT ITER 3969 NEW BEST:: SOT 145248 SOS 84941 HAS SOPS 84941 HAS SOUS 27092 HAS SOUPS 27092 WITH SCORE 27176.941
AT ITER 3976 NEW BEST:: SOT 145248 SOS 84941 HAS SOPS 84941 HAS SOUS 27091 HAS SOUPS 27091 WITH SCORE 27175.941
AT ITER 3983 NEW BEST:: SOT 145231 SOS 84922 HAS SOPS 84922 HAS SOUS 27053 HAS SOUPS 27053 WITH SCORE 27137.922
AT ITER 3997 NEW BEST:: SOT 144996 SOS 86183 HAS SOPS 86183 HAS SOUS 27024 HAS SOUPS 27024 WITH SCORE 27110.183
AT ITER 4003 NEW BEST:: SOT 144839 SOS 86293 HAS SOPS 86293 HAS SOUS 27010 HAS SOUPS 27010 WITH SCORE 27096.293
AT ITER 4030 NEW BEST:: SOT 144835 SOS 86221 HAS SOPS 86221 HAS SOUS 26998 HAS SOUPS 26998 WITH SCORE 27084.221
AT ITER 4032 NEW BEST:: SOT 144835 SOS 85834 HAS SOPS 85834 HAS SOUS 26984 HAS SOUPS 26984 WITH SCORE 27069.834
AT ITER 4059 NEW BEST:: SOT 144835 SOS 85833 HAS SOPS 85833 HAS SOUS 26983 HAS SOUPS 26983 WITH SCORE 27068.833
AT ITER 4075 NEW BEST:: SOT 144793 SOS 85769 HAS SOPS 85769 HAS SOUS 26937 HAS SOUPS 26937 WITH SCORE 27022.769
AT ITER 4086 NEW BEST:: SOT 144761 SOS 85547 HAS SOPS 85547 HAS SOUS 26871 HAS SOUPS 26871 WITH SCORE 26956.547
AT ITER 4161 NEW BEST:: SOT 144746 SOS 85119 HAS SOPS 85119 HAS SOUS 26817 HAS SOUPS 26817 WITH SCORE 26902.119
AT ITER 4163 NEW BEST:: SOT 144741 SOS 85114 HAS SOPS 85114 HAS SOUS 26812 HAS SOUPS 26812 WITH SCORE 26897.114
AT ITER 4206 NEW BEST:: SOT 144719 SOS 85066 HAS SOPS 85066 HAS SOUS 26764 HAS SOUPS 26764 WITH SCORE 26849.066
AT ITER 4276 NEW BEST:: SOT 144715 SOS 84854 HAS SOPS 84854 HAS SOUS 26759 HAS SOUPS 26759 WITH SCORE 26843.854
AT ITER 4319 NEW BEST:: SOT 144715 SOS 84824 HAS SOPS 84824 HAS SOUS 26757 HAS SOUPS 26757 WITH SCORE 26841.824
AT ITER 4332 NEW BEST:: SOT 144695 SOS 84804 HAS SOPS 84804 HAS SOUS 26717 HAS SOUPS 26717 WITH SCORE 26801.804
AT ITER 4338 NEW BEST:: SOT 144684 SOS 84738 HAS SOPS 84738 HAS SOUS 26695 HAS SOUPS 26695 WITH SCORE 26779.738
AT ITER 4351 NEW BEST:: SOT 144651 SOS 84705 HAS SOPS 84705 HAS SOUS 26693 HAS SOUPS 26693 WITH SCORE 26777.705
AT ITER 4355 NEW BEST:: SOT 144636 SOS 84690 HAS SOPS 84690 HAS SOUS 26663 HAS SOUPS 26663 WITH SCORE 26747.69
AT ITER 4377 NEW BEST:: SOT 144636 SOS 84619 HAS SOPS 84619 HAS SOUS 26587 HAS SOUPS 26587 WITH SCORE 26671.619
AT ITER 4383 NEW BEST:: SOT 144627 SOS 84610 HAS SOPS 84610 HAS SOUS 26578 HAS SOUPS 26578 WITH SCORE 26662.61
AT ITER 4449 NEW BEST:: SOT 144620 SOS 84603 HAS SOPS 84603 HAS SOUS 26574 HAS SOUPS 26574 WITH SCORE 26658.603
AT ITER 4535 NEW BEST:: SOT 144607 SOS 84564 HAS SOPS 84564 HAS SOUS 26555 HAS SOUPS 26555 WITH SCORE 26639.564
AT ITER 4540 NEW BEST:: SOT 144592 SOS 84489 HAS SOPS 84489 HAS SOUS 26525 HAS SOUPS 26525 WITH SCORE 26609.489
AT ITER 4542 NEW BEST:: SOT 144573 SOS 84432 HAS SOPS 84432 HAS SOUS 26508 HAS SOUPS 26508 WITH SCORE 26592.432
AT ITER 4592 NEW BEST:: SOT 144587 SOS 84459 HAS SOPS 84459 HAS SOUS 26496 HAS SOUPS 26496 WITH SCORE 26580.459
AT ITER 4636 NEW BEST:: SOT 144580 SOS 84480 HAS SOPS 84480 HAS SOUS 26482 HAS SOUPS 26482 WITH SCORE 26566.48
AT ITER 4649 NEW BEST:: SOT 144579 SOS 84479 HAS SOPS 84479 HAS SOUS 26480 HAS SOUPS 26480 WITH SCORE 26564.479
AT ITER 4651 NEW BEST:: SOT 144550 SOS 84450 HAS SOPS 84450 HAS SOUS 26451 HAS SOUPS 26451 WITH SCORE 26535.45
AT ITER 4661 NEW BEST:: SOT 144537 SOS 84424 HAS SOPS 84424 HAS SOUS 26425 HAS SOUPS 26425 WITH SCORE 26509.424
AT ITER 4691 NEW BEST:: SOT 144547 SOS 84434 HAS SOPS 84434 HAS SOUS 26393 HAS SOUPS 26393 WITH SCORE 26477.434
AT ITER 4711 NEW BEST:: SOT 144534 SOS 83756 HAS SOPS 83756 HAS SOUS 26345 HAS SOUPS 26345 WITH SCORE 26428.756
AT ITER 4718 NEW BEST:: SOT 144544 SOS 83696 HAS SOPS 83696 HAS SOUS 26285 HAS SOUPS 26285 WITH SCORE 26368.696
AT ITER 4744 NEW BEST:: SOT 144539 SOS 83674 HAS SOPS 83674 HAS SOUS 26270 HAS SOUPS 26270 WITH SCORE 26353.674
AT ITER 4746 NEW BEST:: SOT 144537 SOS 83672 HAS SOPS 83672 HAS SOUS 26270 HAS SOUPS 26270 WITH SCORE 26353.672
AT ITER 4776 NEW BEST:: SOT 144593 SOS 83607 HAS SOPS 83607 HAS SOUS 26264 HAS SOUPS 26264 WITH SCORE 26347.607
AT ITER 4793 NEW BEST:: SOT 144593 SOS 83624 HAS SOPS 83624 HAS SOUS 26261 HAS SOUPS 26261 WITH SCORE 26344.624
AT ITER 4849 NEW BEST:: SOT 144563 SOS 83594 HAS SOPS 83594 HAS SOUS 26231 HAS SOUPS 26231 WITH SCORE 26314.594
AT ITER 4854 NEW BEST:: SOT 144563 SOS 83594 HAS SOPS 83594 HAS SOUS 26207 HAS SOUPS 26207 WITH SCORE 26290.594
AT ITER 4947 NEW BEST:: SOT 144550 SOS 83560 HAS SOPS 83560 HAS SOUS 26173 HAS SOUPS 26173 WITH SCORE 26256.56
AT ITER 4970 NEW BEST:: SOT 144550 SOS 83560 HAS SOPS 83560 HAS SOUS 26167 HAS SOUPS 26167 WITH SCORE 26250.56
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ASLink-PT-01a-CTLCardinality-00 ( potential( ( 3 ) <= (tk(P250)) ) | (EF(( ( potential( ( 3 ) <= (tk(P51)) ) | potential( (tk(P160)) <= (tk(P312)) ) ) & ( potential( ( 3 ) <= (tk(P214)) ) & potential( (tk(P394)) <= (tk(P400)) ) ) ))) )
PROPERTY: ASLink-PT-01a-CTLCardinality-01 (AF((! (! ( potential( ( 2 ) <= (tk(P322)) ) | potential( ( 2 ) <= (tk(P196)) ) )))))
PROPERTY: ASLink-PT-01a-CTLCardinality-02 (AG( (EU( potential( (tk(P424)) <= (tk(P49)) ),potential( (tk(P249)) <= (tk(P319)) ) ))))
PROPERTY: ASLink-PT-01a-CTLCardinality-03 (AF((! (AF(potential( (tk(P338)) <= (tk(P76)) ))))))
PROPERTY: ASLink-PT-01a-CTLCardinality-04 ( (AG( ( (! potential( (tk(P181)) <= (tk(P200)) )) | ( potential( (tk(P29)) <= (tk(P113)) ) & potential( (tk(P148)) <= (tk(P158)) ) ) ))) | ( (! ( (! potential( (tk(P106)) <= (tk(P270)) )) & potential( ( 1 ) <= (tk(P142)) ) )) & (EU( potential( (tk(P98)) <= (tk(P308)) ),potential( ( 3 ) <= (tk(P293)) ) )) ) )
PROPERTY: ASLink-PT-01a-CTLCardinality-05 (! ( (EF(( potential( (tk(P215)) <= (tk(P299)) ) & potential( ( 2 ) <= (tk(P353)) ) ))) | (EG( potential( (tk(P142)) <= (tk(P33)) ))) ))
PROPERTY: ASLink-PT-01a-CTLCardinality-06 (EG( potential( (tk(P334)) <= (tk(P278)) )))
PROPERTY: ASLink-PT-01a-CTLCardinality-07 (AG( ( potential( (tk(P131)) <= (tk(P167)) ) & ( potential( (tk(P74)) <= (tk(P417)) ) | ( potential( ( 3 ) <= (tk(P160)) ) & potential( (tk(P409)) <= (tk(P306)) ) ) ) )))
PROPERTY: ASLink-PT-01a-CTLCardinality-08 ( (AG( (AG( potential( ( 1 ) <= (tk(P248)) ))))) | (AG( (AF(potential( ( 1 ) <= (tk(P121)) ))))) )
PROPERTY: ASLink-PT-01a-CTLCardinality-09 ( (AF(( ( potential( (tk(P224)) <= (tk(P169)) ) & potential( ( 1 ) <= (tk(P3)) ) ) | ( potential( (tk(P107)) <= (tk(P100)) ) & potential( ( 1 ) <= (tk(P215)) ) ) ))) & (! ( (! potential( (tk(P393)) <= (tk(P343)) )) | ( (! potential( (tk(P386)) <= (tk(P233)) )) & ( potential( ( 3 ) <= (tk(P277)) ) | potential( (tk(P221)) <= (tk(P338)) ) ) ) )) )
PROPERTY: ASLink-PT-01a-CTLCardinality-10 (AX( ( ( (! potential( (tk(P149)) <= (tk(P89)) )) | ( potential( ( 2 ) <= (tk(P149)) ) & potential( (tk(P419)) <= (tk(P91)) ) ) ) | (EG( potential( (tk(P2)) <= (tk(P106)) ))) )))
PROPERTY: ASLink-PT-01a-CTLCardinality-11 (AF(( (! ( potential( (tk(P304)) <= (tk(P410)) ) | potential( ( 3 ) <= (tk(P206)) ) )) | (EG( potential( ( 3 ) <= (tk(P423)) ))) )))
PROPERTY: ASLink-PT-01a-CTLCardinality-12 (EU( (EX( potential( (tk(P148)) <= (tk(P260)) ))),(AG( potential( (tk(P365)) <= (tk(P268)) ))) ))
PROPERTY: ASLink-PT-01a-CTLCardinality-13 ( (AU( ( potential( (tk(P236)) <= (tk(P340)) ) | potential( ( 2 ) <= (tk(P149)) ) ),( potential( ( 2 ) <= (tk(P22)) ) | potential( ( 3 ) <= (tk(P429)) ) ) )) | (EU( (! potential( (tk(P287)) <= (tk(P391)) )),( potential( ( 3 ) <= (tk(P388)) ) & potential( (tk(P179)) <= (tk(P230)) ) ) )) )
PROPERTY: ASLink-PT-01a-CTLCardinality-14 (EU( (AX( potential( (tk(P299)) <= (tk(P278)) ))),( ( potential( (tk(P299)) <= (tk(P251)) ) | potential( (tk(P74)) <= (tk(P90)) ) ) & ( potential( ( 2 ) <= (tk(P67)) ) & potential( (tk(P413)) <= (tk(P278)) ) ) ) ))
PROPERTY: ASLink-PT-01a-CTLCardinality-15 ( ( ( (! potential( (tk(P55)) <= (tk(P68)) )) & potential( ( 3 ) <= (tk(P167)) ) ) & (EX( ( potential( ( 3 ) <= (tk(P213)) ) & potential( ( 3 ) <= (tk(P17)) ) ))) ) | (EG( (EF(potential( (tk(P186)) <= (tk(P398)) ))))) )
FORMULA ASLink-PT-01a-CTLCardinality-00 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ASLink-PT-01a"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is ASLink-PT-01a, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r003-smll-158897507900011"
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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;