Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902541900244.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DES-PT-10a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902541900244
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 216K
-rw-r--r-- 1 mcc users 2.8K Mar 30 01:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 30 01:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 28 16:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 28 16:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.0K Apr 8 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 8 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Mar 27 08:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 27 08:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 26 08:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 26 08:16 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Mar 28 14:49 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 43K 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 DES-PT-10a-CTLFireability-00
FORMULA_NAME DES-PT-10a-CTLFireability-01
FORMULA_NAME DES-PT-10a-CTLFireability-02
FORMULA_NAME DES-PT-10a-CTLFireability-03
FORMULA_NAME DES-PT-10a-CTLFireability-04
FORMULA_NAME DES-PT-10a-CTLFireability-05
FORMULA_NAME DES-PT-10a-CTLFireability-06
FORMULA_NAME DES-PT-10a-CTLFireability-07
FORMULA_NAME DES-PT-10a-CTLFireability-08
FORMULA_NAME DES-PT-10a-CTLFireability-09
FORMULA_NAME DES-PT-10a-CTLFireability-10
FORMULA_NAME DES-PT-10a-CTLFireability-11
FORMULA_NAME DES-PT-10a-CTLFireability-12
FORMULA_NAME DES-PT-10a-CTLFireability-13
FORMULA_NAME DES-PT-10a-CTLFireability-14
FORMULA_NAME DES-PT-10a-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589104264446

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 10a
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: 155 places, 112 transitions, 552 arcs.
AT ITER 0 NEW BEST:: SOT 13206 SOS 11182 HAS SOPS 11182 HAS SOUS 7513 HAS SOUPS 7513 WITH SCORE 7524.182
AT ITER 5 NEW BEST:: SOT 13175 SOS 11161 HAS SOPS 11161 HAS SOUS 7492 HAS SOUPS 7492 WITH SCORE 7503.161
AT ITER 9 NEW BEST:: SOT 13128 SOS 11155 HAS SOPS 11155 HAS SOUS 7488 HAS SOUPS 7488 WITH SCORE 7499.155
AT ITER 11 NEW BEST:: SOT 12490 SOS 10560 HAS SOPS 10560 HAS SOUS 6893 HAS SOUPS 6893 WITH SCORE 6903.56
AT ITER 16 NEW BEST:: SOT 12444 SOS 10503 HAS SOPS 10503 HAS SOUS 6863 HAS SOUPS 6863 WITH SCORE 6873.503
AT ITER 18 NEW BEST:: SOT 12399 SOS 10458 HAS SOPS 10458 HAS SOUS 6838 HAS SOUPS 6838 WITH SCORE 6848.458
AT ITER 19 NEW BEST:: SOT 12079 SOS 10138 HAS SOPS 10138 HAS SOUS 6515 HAS SOUPS 6515 WITH SCORE 6525.138
AT ITER 22 NEW BEST:: SOT 12079 SOS 10138 HAS SOPS 10138 HAS SOUS 6509 HAS SOUPS 6509 WITH SCORE 6519.138
AT ITER 27 NEW BEST:: SOT 12079 SOS 10158 HAS SOPS 10158 HAS SOUS 6493 HAS SOUPS 6493 WITH SCORE 6503.158
AT ITER 28 NEW BEST:: SOT 12042 SOS 10121 HAS SOPS 10121 HAS SOUS 6456 HAS SOUPS 6456 WITH SCORE 6466.121
AT ITER 37 NEW BEST:: SOT 12015 SOS 10094 HAS SOPS 10094 HAS SOUS 6429 HAS SOUPS 6429 WITH SCORE 6439.094
AT ITER 39 NEW BEST:: SOT 11994 SOS 10073 HAS SOPS 10073 HAS SOUS 6332 HAS SOUPS 6332 WITH SCORE 6342.073
AT ITER 49 NEW BEST:: SOT 11994 SOS 10072 HAS SOPS 10072 HAS SOUS 6331 HAS SOUPS 6331 WITH SCORE 6341.072
AT ITER 55 NEW BEST:: SOT 11986 SOS 10064 HAS SOPS 10064 HAS SOUS 6323 HAS SOUPS 6323 WITH SCORE 6333.064
AT ITER 56 NEW BEST:: SOT 11946 SOS 9984 HAS SOPS 9984 HAS SOUS 6243 HAS SOUPS 6243 WITH SCORE 6252.984
AT ITER 58 NEW BEST:: SOT 11831 SOS 9869 HAS SOPS 9869 HAS SOUS 6220 HAS SOUPS 6220 WITH SCORE 6229.869
AT ITER 63 NEW BEST:: SOT 11842 SOS 9880 HAS SOPS 9880 HAS SOUS 6219 HAS SOUPS 6219 WITH SCORE 6228.88
AT ITER 70 NEW BEST:: SOT 11822 SOS 9860 HAS SOPS 9860 HAS SOUS 6215 HAS SOUPS 6215 WITH SCORE 6224.86
AT ITER 72 NEW BEST:: SOT 11793 SOS 9831 HAS SOPS 9831 HAS SOUS 6184 HAS SOUPS 6184 WITH SCORE 6193.831
AT ITER 93 NEW BEST:: SOT 11786 SOS 9824 HAS SOPS 9824 HAS SOUS 6177 HAS SOUPS 6177 WITH SCORE 6186.824
AT ITER 96 NEW BEST:: SOT 11786 SOS 9742 HAS SOPS 9742 HAS SOUS 6134 HAS SOUPS 6134 WITH SCORE 6143.742
AT ITER 98 NEW BEST:: SOT 11786 SOS 9724 HAS SOPS 9724 HAS SOUS 6130 HAS SOUPS 6130 WITH SCORE 6139.724
AT ITER 99 NEW BEST:: SOT 11783 SOS 9721 HAS SOPS 9721 HAS SOUS 6127 HAS SOUPS 6127 WITH SCORE 6136.721
AT ITER 100 NEW BEST:: SOT 11782 SOS 9720 HAS SOPS 9720 HAS SOUS 6125 HAS SOUPS 6125 WITH SCORE 6134.72
AT ITER 108 NEW BEST:: SOT 11781 SOS 9719 HAS SOPS 9719 HAS SOUS 6124 HAS SOUPS 6124 WITH SCORE 6133.719
AT ITER 110 NEW BEST:: SOT 11757 SOS 9695 HAS SOPS 9695 HAS SOUS 6100 HAS SOUPS 6100 WITH SCORE 6109.695
AT ITER 115 NEW BEST:: SOT 11665 SOS 9603 HAS SOPS 9603 HAS SOUS 6046 HAS SOUPS 6046 WITH SCORE 6055.603
AT ITER 117 NEW BEST:: SOT 11664 SOS 9571 HAS SOPS 9571 HAS SOUS 6034 HAS SOUPS 6034 WITH SCORE 6043.571
AT ITER 124 NEW BEST:: SOT 11664 SOS 9403 HAS SOPS 9403 HAS SOUS 5866 HAS SOUPS 5866 WITH SCORE 5875.403
AT ITER 126 NEW BEST:: SOT 11656 SOS 9395 HAS SOPS 9395 HAS SOUS 5858 HAS SOUPS 5858 WITH SCORE 5867.395
AT ITER 137 NEW BEST:: SOT 11654 SOS 9331 HAS SOPS 9331 HAS SOUS 5858 HAS SOUPS 5858 WITH SCORE 5867.331
AT ITER 139 NEW BEST:: SOT 11639 SOS 9290 HAS SOPS 9290 HAS SOUS 5817 HAS SOUPS 5817 WITH SCORE 5826.29
AT ITER 145 NEW BEST:: SOT 11629 SOS 9280 HAS SOPS 9280 HAS SOUS 5793 HAS SOUPS 5793 WITH SCORE 5802.28
AT ITER 160 NEW BEST:: SOT 11672 SOS 9323 HAS SOPS 9323 HAS SOUS 5790 HAS SOUPS 5790 WITH SCORE 5799.323
AT ITER 164 NEW BEST:: SOT 11715 SOS 9368 HAS SOPS 9368 HAS SOUS 5781 HAS SOUPS 5781 WITH SCORE 5790.368
AT ITER 180 NEW BEST:: SOT 11817 SOS 9470 HAS SOPS 9470 HAS SOUS 5779 HAS SOUPS 5779 WITH SCORE 5788.47
AT ITER 185 NEW BEST:: SOT 11705 SOS 9358 HAS SOPS 9358 HAS SOUS 5667 HAS SOUPS 5667 WITH SCORE 5676.358
AT ITER 194 NEW BEST:: SOT 11694 SOS 9344 HAS SOPS 9344 HAS SOUS 5653 HAS SOUPS 5653 WITH SCORE 5662.344
AT ITER 197 NEW BEST:: SOT 11694 SOS 9280 HAS SOPS 9280 HAS SOUS 5609 HAS SOUPS 5609 WITH SCORE 5618.28
AT ITER 202 NEW BEST:: SOT 11684 SOS 9203 HAS SOPS 9203 HAS SOUS 5532 HAS SOUPS 5532 WITH SCORE 5541.203
AT ITER 207 NEW BEST:: SOT 11681 SOS 9200 HAS SOPS 9200 HAS SOUS 5527 HAS SOUPS 5527 WITH SCORE 5536.2
AT ITER 212 NEW BEST:: SOT 11724 SOS 9243 HAS SOPS 9243 HAS SOUS 5505 HAS SOUPS 5505 WITH SCORE 5514.243
AT ITER 218 NEW BEST:: SOT 11698 SOS 9217 HAS SOPS 9217 HAS SOUS 5479 HAS SOUPS 5479 WITH SCORE 5488.217
AT ITER 219 NEW BEST:: SOT 11582 SOS 9101 HAS SOPS 9101 HAS SOUS 5364 HAS SOUPS 5364 WITH SCORE 5373.101
AT ITER 241 NEW BEST:: SOT 11578 SOS 8956 HAS SOPS 8956 HAS SOUS 5357 HAS SOUPS 5357 WITH SCORE 5365.956
AT ITER 249 NEW BEST:: SOT 11574 SOS 8952 HAS SOPS 8952 HAS SOUS 5355 HAS SOUPS 5355 WITH SCORE 5363.952
AT ITER 253 NEW BEST:: SOT 11574 SOS 8951 HAS SOPS 8951 HAS SOUS 5354 HAS SOUPS 5354 WITH SCORE 5362.951
AT ITER 256 NEW BEST:: SOT 11496 SOS 8886 HAS SOPS 8886 HAS SOUS 5278 HAS SOUPS 5278 WITH SCORE 5286.886
AT ITER 268 NEW BEST:: SOT 11400 SOS 8790 HAS SOPS 8790 HAS SOUS 5182 HAS SOUPS 5182 WITH SCORE 5190.79
AT ITER 275 NEW BEST:: SOT 11296 SOS 8686 HAS SOPS 8686 HAS SOUS 5149 HAS SOUPS 5149 WITH SCORE 5157.686
AT ITER 283 NEW BEST:: SOT 11282 SOS 8674 HAS SOPS 8674 HAS SOUS 5137 HAS SOUPS 5137 WITH SCORE 5145.674
AT ITER 291 NEW BEST:: SOT 11168 SOS 8560 HAS SOPS 8560 HAS SOUS 5061 HAS SOUPS 5061 WITH SCORE 5069.56
AT ITER 293 NEW BEST:: SOT 11167 SOS 8559 HAS SOPS 8559 HAS SOUS 5060 HAS SOUPS 5060 WITH SCORE 5068.559
AT ITER 299 NEW BEST:: SOT 11181 SOS 8580 HAS SOPS 8580 HAS SOUS 5054 HAS SOUPS 5054 WITH SCORE 5062.58
AT ITER 302 NEW BEST:: SOT 11155 SOS 8554 HAS SOPS 8554 HAS SOUS 5028 HAS SOUPS 5028 WITH SCORE 5036.554
AT ITER 306 NEW BEST:: SOT 11154 SOS 8540 HAS SOPS 8540 HAS SOUS 5014 HAS SOUPS 5014 WITH SCORE 5022.54
AT ITER 309 NEW BEST:: SOT 11115 SOS 8469 HAS SOPS 8469 HAS SOUS 4963 HAS SOUPS 4963 WITH SCORE 4971.469
AT ITER 316 NEW BEST:: SOT 11115 SOS 8441 HAS SOPS 8441 HAS SOUS 4935 HAS SOUPS 4935 WITH SCORE 4943.441
AT ITER 318 NEW BEST:: SOT 11112 SOS 8437 HAS SOPS 8437 HAS SOUS 4932 HAS SOUPS 4932 WITH SCORE 4940.437
AT ITER 327 NEW BEST:: SOT 11109 SOS 8434 HAS SOPS 8434 HAS SOUS 4881 HAS SOUPS 4881 WITH SCORE 4889.434
AT ITER 336 NEW BEST:: SOT 11066 SOS 8317 HAS SOPS 8317 HAS SOUS 4785 HAS SOUPS 4785 WITH SCORE 4793.317
AT ITER 343 NEW BEST:: SOT 11037 SOS 8288 HAS SOPS 8288 HAS SOUS 4750 HAS SOUPS 4750 WITH SCORE 4758.288
AT ITER 354 NEW BEST:: SOT 11058 SOS 8309 HAS SOPS 8309 HAS SOUS 4734 HAS SOUPS 4734 WITH SCORE 4742.309
AT ITER 356 NEW BEST:: SOT 11033 SOS 8284 HAS SOPS 8284 HAS SOUS 4709 HAS SOUPS 4709 WITH SCORE 4717.284
AT ITER 364 NEW BEST:: SOT 11032 SOS 8283 HAS SOPS 8283 HAS SOUS 4708 HAS SOUPS 4708 WITH SCORE 4716.283
AT ITER 377 NEW BEST:: SOT 11027 SOS 8283 HAS SOPS 8283 HAS SOUS 4700 HAS SOUPS 4700 WITH SCORE 4708.283
AT ITER 381 NEW BEST:: SOT 10944 SOS 8167 HAS SOPS 8167 HAS SOUS 4638 HAS SOUPS 4638 WITH SCORE 4646.167
AT ITER 382 NEW BEST:: SOT 10916 SOS 8118 HAS SOPS 8118 HAS SOUS 4637 HAS SOUPS 4637 WITH SCORE 4645.118
AT ITER 385 NEW BEST:: SOT 10901 SOS 8103 HAS SOPS 8103 HAS SOUS 4634 HAS SOUPS 4634 WITH SCORE 4642.103
AT ITER 394 NEW BEST:: SOT 10743 SOS 7948 HAS SOPS 7948 HAS SOUS 4442 HAS SOUPS 4442 WITH SCORE 4449.948
AT ITER 401 NEW BEST:: SOT 10742 SOS 7947 HAS SOPS 7947 HAS SOUS 4440 HAS SOUPS 4440 WITH SCORE 4447.947
AT ITER 406 NEW BEST:: SOT 10701 SOS 7921 HAS SOPS 7921 HAS SOUS 4414 HAS SOUPS 4414 WITH SCORE 4421.921
AT ITER 409 NEW BEST:: SOT 10662 SOS 7882 HAS SOPS 7882 HAS SOUS 4414 HAS SOUPS 4414 WITH SCORE 4421.882
AT ITER 420 NEW BEST:: SOT 10699 SOS 7919 HAS SOPS 7919 HAS SOUS 4401 HAS SOUPS 4401 WITH SCORE 4408.919
AT ITER 421 NEW BEST:: SOT 10696 SOS 7896 HAS SOPS 7896 HAS SOUS 4378 HAS SOUPS 4378 WITH SCORE 4385.896
AT ITER 425 NEW BEST:: SOT 10664 SOS 7793 HAS SOPS 7793 HAS SOUS 4353 HAS SOUPS 4353 WITH SCORE 4360.793
AT ITER 431 NEW BEST:: SOT 10664 SOS 7753 HAS SOPS 7753 HAS SOUS 4347 HAS SOUPS 4347 WITH SCORE 4354.753
AT ITER 433 NEW BEST:: SOT 10664 SOS 7781 HAS SOPS 7781 HAS SOUS 4343 HAS SOUPS 4343 WITH SCORE 4350.781
AT ITER 437 NEW BEST:: SOT 10647 SOS 7748 HAS SOPS 7748 HAS SOUS 4310 HAS SOUPS 4310 WITH SCORE 4317.748
AT ITER 445 NEW BEST:: SOT 10644 SOS 7745 HAS SOPS 7745 HAS SOUS 4307 HAS SOUPS 4307 WITH SCORE 4314.745
AT ITER 455 NEW BEST:: SOT 10608 SOS 7709 HAS SOPS 7709 HAS SOUS 4303 HAS SOUPS 4303 WITH SCORE 4310.709
AT ITER 463 NEW BEST:: SOT 10591 SOS 7692 HAS SOPS 7692 HAS SOUS 4291 HAS SOUPS 4291 WITH SCORE 4298.692
AT ITER 465 NEW BEST:: SOT 10503 SOS 7604 HAS SOPS 7604 HAS SOUS 4140 HAS SOUPS 4140 WITH SCORE 4147.604
AT ITER 471 NEW BEST:: SOT 10503 SOS 7548 HAS SOPS 7548 HAS SOUS 4137 HAS SOUPS 4137 WITH SCORE 4144.548
AT ITER 475 NEW BEST:: SOT 10217 SOS 7262 HAS SOPS 7262 HAS SOUS 4135 HAS SOUPS 4135 WITH SCORE 4142.262
AT ITER 502 NEW BEST:: SOT 10216 SOS 7260 HAS SOPS 7260 HAS SOUS 4133 HAS SOUPS 4133 WITH SCORE 4140.26
AT ITER 506 NEW BEST:: SOT 10218 SOS 7238 HAS SOPS 7238 HAS SOUS 4126 HAS SOUPS 4126 WITH SCORE 4133.238
AT ITER 509 NEW BEST:: SOT 10216 SOS 7229 HAS SOPS 7229 HAS SOUS 4124 HAS SOUPS 4124 WITH SCORE 4131.229
AT ITER 511 NEW BEST:: SOT 10193 SOS 7226 HAS SOPS 7226 HAS SOUS 4075 HAS SOUPS 4075 WITH SCORE 4082.226
AT ITER 525 NEW BEST:: SOT 10190 SOS 7240 HAS SOPS 7240 HAS SOUS 4071 HAS SOUPS 4071 WITH SCORE 4078.24
AT ITER 560 NEW BEST:: SOT 10136 SOS 7189 HAS SOPS 7189 HAS SOUS 4020 HAS SOUPS 4020 WITH SCORE 4027.189
AT ITER 563 NEW BEST:: SOT 10131 SOS 7184 HAS SOPS 7184 HAS SOUS 4015 HAS SOUPS 4015 WITH SCORE 4022.184
AT ITER 569 NEW BEST:: SOT 10128 SOS 7181 HAS SOPS 7181 HAS SOUS 4015 HAS SOUPS 4015 WITH SCORE 4022.181
AT ITER 579 NEW BEST:: SOT 10127 SOS 7180 HAS SOPS 7180 HAS SOUS 4014 HAS SOUPS 4014 WITH SCORE 4021.18
AT ITER 582 NEW BEST:: SOT 10127 SOS 7179 HAS SOPS 7179 HAS SOUS 4013 HAS SOUPS 4013 WITH SCORE 4020.179
AT ITER 597 NEW BEST:: SOT 10127 SOS 7175 HAS SOPS 7175 HAS SOUS 4009 HAS SOUPS 4009 WITH SCORE 4016.175
AT ITER 604 NEW BEST:: SOT 10083 SOS 7115 HAS SOPS 7115 HAS SOUS 3949 HAS SOUPS 3949 WITH SCORE 3956.115
AT ITER 610 NEW BEST:: SOT 10083 SOS 7109 HAS SOPS 7109 HAS SOUS 3943 HAS SOUPS 3943 WITH SCORE 3950.109
AT ITER 612 NEW BEST:: SOT 10083 SOS 7160 HAS SOPS 7160 HAS SOUS 3925 HAS SOUPS 3925 WITH SCORE 3932.16
AT ITER 615 NEW BEST:: SOT 10086 SOS 7163 HAS SOPS 7163 HAS SOUS 3923 HAS SOUPS 3923 WITH SCORE 3930.163
AT ITER 619 NEW BEST:: SOT 10085 SOS 7156 HAS SOPS 7156 HAS SOUS 3916 HAS SOUPS 3916 WITH SCORE 3923.156
AT ITER 623 NEW BEST:: SOT 10089 SOS 7160 HAS SOPS 7160 HAS SOUS 3912 HAS SOUPS 3912 WITH SCORE 3919.16
AT ITER 627 NEW BEST:: SOT 10099 SOS 7211 HAS SOPS 7211 HAS SOUS 3881 HAS SOUPS 3881 WITH SCORE 3888.211
AT ITER 632 NEW BEST:: SOT 10088 SOS 7072 HAS SOPS 7072 HAS SOUS 3869 HAS SOUPS 3869 WITH SCORE 3876.072
AT ITER 651 NEW BEST:: SOT 10046 SOS 7042 HAS SOPS 7042 HAS SOUS 3839 HAS SOUPS 3839 WITH SCORE 3846.042
AT ITER 656 NEW BEST:: SOT 10003 SOS 6999 HAS SOPS 6999 HAS SOUS 3778 HAS SOUPS 3778 WITH SCORE 3784.999
AT ITER 665 NEW BEST:: SOT 9914 SOS 6909 HAS SOPS 6909 HAS SOUS 3688 HAS SOUPS 3688 WITH SCORE 3694.909
AT ITER 678 NEW BEST:: SOT 9911 SOS 6906 HAS SOPS 6906 HAS SOUS 3682 HAS SOUPS 3682 WITH SCORE 3688.906
AT ITER 691 NEW BEST:: SOT 9937 SOS 6932 HAS SOPS 6932 HAS SOUS 3680 HAS SOUPS 3680 WITH SCORE 3686.932
AT ITER 692 NEW BEST:: SOT 9900 SOS 6895 HAS SOPS 6895 HAS SOUS 3595 HAS SOUPS 3595 WITH SCORE 3601.895
AT ITER 707 NEW BEST:: SOT 9898 SOS 6893 HAS SOPS 6893 HAS SOUS 3591 HAS SOUPS 3591 WITH SCORE 3597.893
AT ITER 721 NEW BEST:: SOT 9876 SOS 6883 HAS SOPS 6883 HAS SOUS 3543 HAS SOUPS 3543 WITH SCORE 3549.883
AT ITER 743 NEW BEST:: SOT 9852 SOS 6859 HAS SOPS 6859 HAS SOUS 3495 HAS SOUPS 3495 WITH SCORE 3501.859
AT ITER 769 NEW BEST:: SOT 9849 SOS 6856 HAS SOPS 6856 HAS SOUS 3489 HAS SOUPS 3489 WITH SCORE 3495.856
AT ITER 777 NEW BEST:: SOT 9774 SOS 6781 HAS SOPS 6781 HAS SOUS 3474 HAS SOUPS 3474 WITH SCORE 3480.781
AT ITER 787 NEW BEST:: SOT 9771 SOS 6795 HAS SOPS 6795 HAS SOUS 3462 HAS SOUPS 3462 WITH SCORE 3468.795
AT ITER 790 NEW BEST:: SOT 9771 SOS 6744 HAS SOPS 6744 HAS SOUS 3411 HAS SOUPS 3411 WITH SCORE 3417.744
AT ITER 796 NEW BEST:: SOT 9782 SOS 6755 HAS SOPS 6755 HAS SOUS 3407 HAS SOUPS 3407 WITH SCORE 3413.755
AT ITER 805 NEW BEST:: SOT 9780 SOS 6753 HAS SOPS 6753 HAS SOUS 3405 HAS SOUPS 3405 WITH SCORE 3411.753
AT ITER 815 NEW BEST:: SOT 9767 SOS 6810 HAS SOPS 6810 HAS SOUS 3399 HAS SOUPS 3399 WITH SCORE 3405.81
AT ITER 818 NEW BEST:: SOT 9767 SOS 6814 HAS SOPS 6814 HAS SOUS 3395 HAS SOUPS 3395 WITH SCORE 3401.814
AT ITER 828 NEW BEST:: SOT 9755 SOS 6809 HAS SOPS 6809 HAS SOUS 3390 HAS SOUPS 3390 WITH SCORE 3396.809
AT ITER 833 NEW BEST:: SOT 9733 SOS 6745 HAS SOPS 6745 HAS SOUS 3326 HAS SOUPS 3326 WITH SCORE 3332.745
AT ITER 841 NEW BEST:: SOT 9732 SOS 6744 HAS SOPS 6744 HAS SOUS 3324 HAS SOUPS 3324 WITH SCORE 3330.744
AT ITER 869 NEW BEST:: SOT 9727 SOS 6739 HAS SOPS 6739 HAS SOUS 3324 HAS SOUPS 3324 WITH SCORE 3330.739
AT ITER 887 NEW BEST:: SOT 9727 SOS 6739 HAS SOPS 6739 HAS SOUS 3320 HAS SOUPS 3320 WITH SCORE 3326.739
AT ITER 890 NEW BEST:: SOT 9726 SOS 6737 HAS SOPS 6737 HAS SOUS 3318 HAS SOUPS 3318 WITH SCORE 3324.737
AT ITER 900 NEW BEST:: SOT 9724 SOS 6735 HAS SOPS 6735 HAS SOUS 3314 HAS SOUPS 3314 WITH SCORE 3320.735
AT ITER 904 NEW BEST:: SOT 9599 SOS 6610 HAS SOPS 6610 HAS SOUS 3312 HAS SOUPS 3312 WITH SCORE 3318.61
AT ITER 918 NEW BEST:: SOT 9583 SOS 6594 HAS SOPS 6594 HAS SOUS 3312 HAS SOUPS 3312 WITH SCORE 3318.594
AT ITER 929 NEW BEST:: SOT 9583 SOS 6592 HAS SOPS 6592 HAS SOUS 3310 HAS SOUPS 3310 WITH SCORE 3316.592
AT ITER 932 NEW BEST:: SOT 9583 SOS 6580 HAS SOPS 6580 HAS SOUS 3310 HAS SOUPS 3310 WITH SCORE 3316.58
AT ITER 939 NEW BEST:: SOT 9594 SOS 6601 HAS SOPS 6601 HAS SOUS 3306 HAS SOUPS 3306 WITH SCORE 3312.601
AT ITER 944 NEW BEST:: SOT 9593 SOS 6599 HAS SOPS 6599 HAS SOUS 3304 HAS SOUPS 3304 WITH SCORE 3310.599
AT ITER 950 NEW BEST:: SOT 9593 SOS 6597 HAS SOPS 6597 HAS SOUS 3302 HAS SOUPS 3302 WITH SCORE 3308.597
AT ITER 983 NEW BEST:: SOT 9585 SOS 6589 HAS SOPS 6589 HAS SOUS 3294 HAS SOUPS 3294 WITH SCORE 3300.589
AT ITER 990 NEW BEST:: SOT 9581 SOS 6583 HAS SOPS 6583 HAS SOUS 3288 HAS SOUPS 3288 WITH SCORE 3294.583
AT ITER 991 NEW BEST:: SOT 9581 SOS 6562 HAS SOPS 6562 HAS SOUS 3288 HAS SOUPS 3288 WITH SCORE 3294.562
AT ITER 992 NEW BEST:: SOT 9581 SOS 6562 HAS SOPS 6562 HAS SOUS 3282 HAS SOUPS 3282 WITH SCORE 3288.562
AT ITER 1011 NEW BEST:: SOT 9578 SOS 6555 HAS SOPS 6555 HAS SOUS 3275 HAS SOUPS 3275 WITH SCORE 3281.555
AT ITER 1037 NEW BEST:: SOT 9578 SOS 6549 HAS SOPS 6549 HAS SOUS 3269 HAS SOUPS 3269 WITH SCORE 3275.549
AT ITER 1063 NEW BEST:: SOT 9575 SOS 6525 HAS SOPS 6525 HAS SOUS 3245 HAS SOUPS 3245 WITH SCORE 3251.525
AT ITER 1067 NEW BEST:: SOT 9575 SOS 6525 HAS SOPS 6525 HAS SOUS 3244 HAS SOUPS 3244 WITH SCORE 3250.525
AT ITER 1102 NEW BEST:: SOT 9572 SOS 6522 HAS SOPS 6522 HAS SOUS 3234 HAS SOUPS 3234 WITH SCORE 3240.522
AT ITER 1107 NEW BEST:: SOT 9517 SOS 6467 HAS SOPS 6467 HAS SOUS 3179 HAS SOUPS 3179 WITH SCORE 3185.467
AT ITER 1136 NEW BEST:: SOT 9509 SOS 6455 HAS SOPS 6455 HAS SOUS 3175 HAS SOUPS 3175 WITH SCORE 3181.455
AT ITER 1139 NEW BEST:: SOT 9511 SOS 6454 HAS SOPS 6454 HAS SOUS 3174 HAS SOUPS 3174 WITH SCORE 3180.454
AT ITER 1143 NEW BEST:: SOT 9505 SOS 6448 HAS SOPS 6448 HAS SOUS 3168 HAS SOUPS 3168 WITH SCORE 3174.448
AT ITER 1146 NEW BEST:: SOT 9471 SOS 6389 HAS SOPS 6389 HAS SOUS 3144 HAS SOUPS 3144 WITH SCORE 3150.389
AT ITER 1174 NEW BEST:: SOT 9448 SOS 6366 HAS SOPS 6366 HAS SOUS 3133 HAS SOUPS 3133 WITH SCORE 3139.366
AT ITER 1179 NEW BEST:: SOT 9448 SOS 6366 HAS SOPS 6366 HAS SOUS 3132 HAS SOUPS 3132 WITH SCORE 3138.366
AT ITER 1184 NEW BEST:: SOT 9475 SOS 6393 HAS SOPS 6393 HAS SOUS 3130 HAS SOUPS 3130 WITH SCORE 3136.393
AT ITER 1190 NEW BEST:: SOT 9471 SOS 6389 HAS SOPS 6389 HAS SOUS 3126 HAS SOUPS 3126 WITH SCORE 3132.389
AT ITER 1192 NEW BEST:: SOT 9469 SOS 6387 HAS SOPS 6387 HAS SOUS 3124 HAS SOUPS 3124 WITH SCORE 3130.387
AT ITER 1198 NEW BEST:: SOT 9463 SOS 6375 HAS SOPS 6375 HAS SOUS 3112 HAS SOUPS 3112 WITH SCORE 3118.375
AT ITER 1211 NEW BEST:: SOT 9482 SOS 6396 HAS SOPS 6396 HAS SOUS 3102 HAS SOUPS 3102 WITH SCORE 3108.396
AT ITER 1214 NEW BEST:: SOT 9482 SOS 6386 HAS SOPS 6386 HAS SOUS 3101 HAS SOUPS 3101 WITH SCORE 3107.386
AT ITER 1225 NEW BEST:: SOT 9480 SOS 6384 HAS SOPS 6384 HAS SOUS 3099 HAS SOUPS 3099 WITH SCORE 3105.384
AT ITER 1248 NEW BEST:: SOT 9478 SOS 6382 HAS SOPS 6382 HAS SOUS 3095 HAS SOUPS 3095 WITH SCORE 3101.382
AT ITER 1274 NEW BEST:: SOT 9485 SOS 6443 HAS SOPS 6443 HAS SOUS 3093 HAS SOUPS 3093 WITH SCORE 3099.443
AT ITER 1299 NEW BEST:: SOT 9477 SOS 6437 HAS SOPS 6437 HAS SOUS 3087 HAS SOUPS 3087 WITH SCORE 3093.437
AT ITER 1304 NEW BEST:: SOT 9477 SOS 6437 HAS SOPS 6437 HAS SOUS 3085 HAS SOUPS 3085 WITH SCORE 3091.437
AT ITER 1318 NEW BEST:: SOT 9474 SOS 6434 HAS SOPS 6434 HAS SOUS 3079 HAS SOUPS 3079 WITH SCORE 3085.434
AT ITER 1337 NEW BEST:: SOT 9461 SOS 6419 HAS SOPS 6419 HAS SOUS 3064 HAS SOUPS 3064 WITH SCORE 3070.419
AT ITER 1346 NEW BEST:: SOT 9460 SOS 6417 HAS SOPS 6417 HAS SOUS 3062 HAS SOUPS 3062 WITH SCORE 3068.417
AT ITER 1349 NEW BEST:: SOT 9463 SOS 6420 HAS SOPS 6420 HAS SOUS 3059 HAS SOUPS 3059 WITH SCORE 3065.42
AT ITER 1351 NEW BEST:: SOT 9455 SOS 6412 HAS SOPS 6412 HAS SOUS 3043 HAS SOUPS 3043 WITH SCORE 3049.412
AT ITER 1360 NEW BEST:: SOT 9454 SOS 6410 HAS SOPS 6410 HAS SOUS 3041 HAS SOUPS 3041 WITH SCORE 3047.41
AT ITER 1367 NEW BEST:: SOT 9448 SOS 6404 HAS SOPS 6404 HAS SOUS 3029 HAS SOUPS 3029 WITH SCORE 3035.404
AT ITER 1377 NEW BEST:: SOT 9396 SOS 6352 HAS SOPS 6352 HAS SOUS 3015 HAS SOUPS 3015 WITH SCORE 3021.352
AT ITER 1379 NEW BEST:: SOT 9416 SOS 6358 HAS SOPS 6358 HAS SOUS 3012 HAS SOUPS 3012 WITH SCORE 3018.358
AT ITER 1383 NEW BEST:: SOT 9397 SOS 6329 HAS SOPS 6329 HAS SOUS 2995 HAS SOUPS 2995 WITH SCORE 3001.329
AT ITER 1414 NEW BEST:: SOT 9384 SOS 6341 HAS SOPS 6341 HAS SOUS 2987 HAS SOUPS 2987 WITH SCORE 2993.341
AT ITER 1419 NEW BEST:: SOT 9387 SOS 6338 HAS SOPS 6338 HAS SOUS 2984 HAS SOUPS 2984 WITH SCORE 2990.338
AT ITER 1421 NEW BEST:: SOT 9390 SOS 6285 HAS SOPS 6285 HAS SOUS 2979 HAS SOUPS 2979 WITH SCORE 2985.285
AT ITER 1426 NEW BEST:: SOT 9230 SOS 6125 HAS SOPS 6125 HAS SOUS 2967 HAS SOUPS 2967 WITH SCORE 2973.125
AT ITER 1438 NEW BEST:: SOT 9230 SOS 6122 HAS SOPS 6122 HAS SOUS 2964 HAS SOUPS 2964 WITH SCORE 2970.122
AT ITER 1463 NEW BEST:: SOT 9225 SOS 6106 HAS SOPS 6106 HAS SOUS 2959 HAS SOUPS 2959 WITH SCORE 2965.106
AT ITER 1472 NEW BEST:: SOT 9209 SOS 6072 HAS SOPS 6072 HAS SOUS 2925 HAS SOUPS 2925 WITH SCORE 2931.072
AT ITER 1483 NEW BEST:: SOT 9210 SOS 6070 HAS SOPS 6070 HAS SOUS 2925 HAS SOUPS 2925 WITH SCORE 2931.07
AT ITER 1484 NEW BEST:: SOT 9185 SOS 6045 HAS SOPS 6045 HAS SOUS 2900 HAS SOUPS 2900 WITH SCORE 2906.045
AT ITER 1560 NEW BEST:: SOT 9175 SOS 6035 HAS SOPS 6035 HAS SOUS 2895 HAS SOUPS 2895 WITH SCORE 2901.035
AT ITER 1570 NEW BEST:: SOT 9151 SOS 6002 HAS SOPS 6002 HAS SOUS 2871 HAS SOUPS 2871 WITH SCORE 2877.002
AT ITER 1593 NEW BEST:: SOT 9178 SOS 6029 HAS SOPS 6029 HAS SOUS 2849 HAS SOUPS 2849 WITH SCORE 2855.029
AT ITER 1605 NEW BEST:: SOT 9178 SOS 6024 HAS SOPS 6024 HAS SOUS 2844 HAS SOUPS 2844 WITH SCORE 2850.024
AT ITER 1608 NEW BEST:: SOT 9178 SOS 6113 HAS SOPS 6113 HAS SOUS 2843 HAS SOUPS 2843 WITH SCORE 2849.113
AT ITER 1617 NEW BEST:: SOT 9154 SOS 6079 HAS SOPS 6079 HAS SOUS 2825 HAS SOUPS 2825 WITH SCORE 2831.079
AT ITER 1668 NEW BEST:: SOT 9149 SOS 6073 HAS SOPS 6073 HAS SOUS 2819 HAS SOUPS 2819 WITH SCORE 2825.073
AT ITER 1699 NEW BEST:: SOT 9141 SOS 6053 HAS SOPS 6053 HAS SOUS 2819 HAS SOUPS 2819 WITH SCORE 2825.053
AT ITER 1701 NEW BEST:: SOT 9138 SOS 6050 HAS SOPS 6050 HAS SOUS 2816 HAS SOUPS 2816 WITH SCORE 2822.05
AT ITER 1719 NEW BEST:: SOT 9133 SOS 6045 HAS SOPS 6045 HAS SOUS 2806 HAS SOUPS 2806 WITH SCORE 2812.045
AT ITER 1725 NEW BEST:: SOT 9119 SOS 6031 HAS SOPS 6031 HAS SOUS 2792 HAS SOUPS 2792 WITH SCORE 2798.031
AT ITER 1761 NEW BEST:: SOT 9119 SOS 6031 HAS SOPS 6031 HAS SOUS 2783 HAS SOUPS 2783 WITH SCORE 2789.031
AT ITER 1762 NEW BEST:: SOT 9117 SOS 6029 HAS SOPS 6029 HAS SOUS 2781 HAS SOUPS 2781 WITH SCORE 2787.029
AT ITER 1766 NEW BEST:: SOT 9117 SOS 6020 HAS SOPS 6020 HAS SOUS 2775 HAS SOUPS 2775 WITH SCORE 2781.02
AT ITER 1785 NEW BEST:: SOT 9108 SOS 6007 HAS SOPS 6007 HAS SOUS 2770 HAS SOUPS 2770 WITH SCORE 2776.007
AT ITER 1824 NEW BEST:: SOT 9093 SOS 5977 HAS SOPS 5977 HAS SOUS 2740 HAS SOUPS 2740 WITH SCORE 2745.977
AT ITER 1853 NEW BEST:: SOT 9105 SOS 5971 HAS SOPS 5971 HAS SOUS 2734 HAS SOUPS 2734 WITH SCORE 2739.971
AT ITER 1858 NEW BEST:: SOT 9071 SOS 5919 HAS SOPS 5919 HAS SOUS 2716 HAS SOUPS 2716 WITH SCORE 2721.919
AT ITER 1865 NEW BEST:: SOT 9047 SOS 5853 HAS SOPS 5853 HAS SOUS 2686 HAS SOUPS 2686 WITH SCORE 2691.853
AT ITER 1887 NEW BEST:: SOT 9044 SOS 5844 HAS SOPS 5844 HAS SOUS 2677 HAS SOUPS 2677 WITH SCORE 2682.844
AT ITER 1889 NEW BEST:: SOT 9025 SOS 5822 HAS SOPS 5822 HAS SOUS 2674 HAS SOUPS 2674 WITH SCORE 2679.822
AT ITER 1890 NEW BEST:: SOT 9025 SOS 5815 HAS SOPS 5815 HAS SOUS 2667 HAS SOUPS 2667 WITH SCORE 2672.815
AT ITER 1929 NEW BEST:: SOT 9025 SOS 5815 HAS SOPS 5815 HAS SOUS 2664 HAS SOUPS 2664 WITH SCORE 2669.815
AT ITER 1953 NEW BEST:: SOT 9019 SOS 5799 HAS SOPS 5799 HAS SOUS 2651 HAS SOUPS 2651 WITH SCORE 2656.799
AT ITER 2000 NEW BEST:: SOT 9018 SOS 5798 HAS SOPS 5798 HAS SOUS 2640 HAS SOUPS 2640 WITH SCORE 2645.798
AT ITER 2011 NEW BEST:: SOT 8941 SOS 5701 HAS SOPS 5701 HAS SOUS 2611 HAS SOUPS 2611 WITH SCORE 2616.701
AT ITER 2028 NEW BEST:: SOT 8938 SOS 5693 HAS SOPS 5693 HAS SOUS 2603 HAS SOUPS 2603 WITH SCORE 2608.693
AT ITER 2034 NEW BEST:: SOT 8931 SOS 5680 HAS SOPS 5680 HAS SOUS 2590 HAS SOUPS 2590 WITH SCORE 2595.68
AT ITER 2045 NEW BEST:: SOT 8928 SOS 5674 HAS SOPS 5674 HAS SOUS 2585 HAS SOUPS 2585 WITH SCORE 2590.674
AT ITER 2063 NEW BEST:: SOT 8929 SOS 5665 HAS SOPS 5665 HAS SOUS 2576 HAS SOUPS 2576 WITH SCORE 2581.665
AT ITER 2066 NEW BEST:: SOT 8929 SOS 5662 HAS SOPS 5662 HAS SOUS 2575 HAS SOUPS 2575 WITH SCORE 2580.662
AT ITER 2075 NEW BEST:: SOT 8926 SOS 5656 HAS SOPS 5656 HAS SOUS 2569 HAS SOUPS 2569 WITH SCORE 2574.656
AT ITER 2086 NEW BEST:: SOT 8926 SOS 5633 HAS SOPS 5633 HAS SOUS 2558 HAS SOUPS 2558 WITH SCORE 2563.633
AT ITER 2125 NEW BEST:: SOT 8925 SOS 5632 HAS SOPS 5632 HAS SOUS 2555 HAS SOUPS 2555 WITH SCORE 2560.632
AT ITER 2133 NEW BEST:: SOT 8913 SOS 5615 HAS SOPS 5615 HAS SOUS 2538 HAS SOUPS 2538 WITH SCORE 2543.615
AT ITER 2209 NEW BEST:: SOT 8911 SOS 5613 HAS SOPS 5613 HAS SOUS 2536 HAS SOUPS 2536 WITH SCORE 2541.613
AT ITER 2306 NEW BEST:: SOT 8893 SOS 5595 HAS SOPS 5595 HAS SOUS 2530 HAS SOUPS 2530 WITH SCORE 2535.595
AT ITER 2336 NEW BEST:: SOT 8886 SOS 5588 HAS SOPS 5588 HAS SOUS 2523 HAS SOUPS 2523 WITH SCORE 2528.588
AT ITER 2375 NEW BEST:: SOT 8883 SOS 5585 HAS SOPS 5585 HAS SOUS 2517 HAS SOUPS 2517 WITH SCORE 2522.585
AT ITER 2387 NEW BEST:: SOT 8880 SOS 5582 HAS SOPS 5582 HAS SOUS 2514 HAS SOUPS 2514 WITH SCORE 2519.582
AT ITER 2408 NEW BEST:: SOT 8880 SOS 5582 HAS SOPS 5582 HAS SOUS 2512 HAS SOUPS 2512 WITH SCORE 2517.582
AT ITER 2409 NEW BEST:: SOT 8867 SOS 5569 HAS SOPS 5569 HAS SOUS 2501 HAS SOUPS 2501 WITH SCORE 2506.569
AT ITER 2429 NEW BEST:: SOT 8866 SOS 5568 HAS SOPS 5568 HAS SOUS 2500 HAS SOUPS 2500 WITH SCORE 2505.568
AT ITER 2456 NEW BEST:: SOT 8864 SOS 5566 HAS SOPS 5566 HAS SOUS 2496 HAS SOUPS 2496 WITH SCORE 2501.566
AT ITER 2486 NEW BEST:: SOT 8855 SOS 5557 HAS SOPS 5557 HAS SOUS 2480 HAS SOUPS 2480 WITH SCORE 2485.557
AT ITER 2544 NEW BEST:: SOT 8849 SOS 5542 HAS SOPS 5542 HAS SOUS 2471 HAS SOUPS 2471 WITH SCORE 2476.542
AT ITER 2554 NEW BEST:: SOT 8845 SOS 5540 HAS SOPS 5540 HAS SOUS 2471 HAS SOUPS 2471 WITH SCORE 2476.54
AT ITER 2588 NEW BEST:: SOT 8835 SOS 5530 HAS SOPS 5530 HAS SOUS 2461 HAS SOUPS 2461 WITH SCORE 2466.53
AT ITER 2593 NEW BEST:: SOT 8835 SOS 5528 HAS SOPS 5528 HAS SOUS 2459 HAS SOUPS 2459 WITH SCORE 2464.528
AT ITER 2613 NEW BEST:: SOT 8833 SOS 5526 HAS SOPS 5526 HAS SOUS 2457 HAS SOUPS 2457 WITH SCORE 2462.526
AT ITER 2646 NEW BEST:: SOT 8816 SOS 5504 HAS SOPS 5504 HAS SOUS 2435 HAS SOUPS 2435 WITH SCORE 2440.504
AT ITER 2648 NEW BEST:: SOT 8813 SOS 5501 HAS SOPS 5501 HAS SOUS 2432 HAS SOUPS 2432 WITH SCORE 2437.501
AT ITER 2656 NEW BEST:: SOT 8810 SOS 5498 HAS SOPS 5498 HAS SOUS 2429 HAS SOUPS 2429 WITH SCORE 2434.498
AT ITER 2690 NEW BEST:: SOT 8810 SOS 5490 HAS SOPS 5490 HAS SOUS 2421 HAS SOUPS 2421 WITH SCORE 2426.49
AT ITER 2768 NEW BEST:: SOT 8808 SOS 5486 HAS SOPS 5486 HAS SOUS 2419 HAS SOUPS 2419 WITH SCORE 2424.486
AT ITER 2778 NEW BEST:: SOT 8801 SOS 5477 HAS SOPS 5477 HAS SOUS 2405 HAS SOUPS 2405 WITH SCORE 2410.477
AT ITER 2786 NEW BEST:: SOT 8799 SOS 5475 HAS SOPS 5475 HAS SOUS 2395 HAS SOUPS 2395 WITH SCORE 2400.475
AT ITER 2793 NEW BEST:: SOT 8799 SOS 5471 HAS SOPS 5471 HAS SOUS 2395 HAS SOUPS 2395 WITH SCORE 2400.471
AT ITER 2841 NEW BEST:: SOT 8783 SOS 5441 HAS SOPS 5441 HAS SOUS 2390 HAS SOUPS 2390 WITH SCORE 2395.441
AT ITER 2846 NEW BEST:: SOT 8784 SOS 5442 HAS SOPS 5442 HAS SOUS 2389 HAS SOUPS 2389 WITH SCORE 2394.442
AT ITER 2853 NEW BEST:: SOT 8783 SOS 5441 HAS SOPS 5441 HAS SOUS 2387 HAS SOUPS 2387 WITH SCORE 2392.441
AT ITER 2861 NEW BEST:: SOT 8781 SOS 5435 HAS SOPS 5435 HAS SOUS 2381 HAS SOUPS 2381 WITH SCORE 2386.435
AT ITER 2862 NEW BEST:: SOT 8771 SOS 5422 HAS SOPS 5422 HAS SOUS 2368 HAS SOUPS 2368 WITH SCORE 2373.422
AT ITER 2884 NEW BEST:: SOT 8768 SOS 5416 HAS SOPS 5416 HAS SOUS 2362 HAS SOUPS 2362 WITH SCORE 2367.416
AT ITER 2927 NEW BEST:: SOT 8784 SOS 5432 HAS SOPS 5432 HAS SOUS 2352 HAS SOUPS 2352 WITH SCORE 2357.432
AT ITER 2947 NEW BEST:: SOT 8783 SOS 5431 HAS SOPS 5431 HAS SOUS 2351 HAS SOUPS 2351 WITH SCORE 2356.431
AT ITER 2954 NEW BEST:: SOT 8788 SOS 5443 HAS SOPS 5443 HAS SOUS 2338 HAS SOUPS 2338 WITH SCORE 2343.443
AT ITER 3007 NEW BEST:: SOT 8785 SOS 5437 HAS SOPS 5437 HAS SOUS 2332 HAS SOUPS 2332 WITH SCORE 2337.437
AT ITER 3069 NEW BEST:: SOT 8783 SOS 5435 HAS SOPS 5435 HAS SOUS 2330 HAS SOUPS 2330 WITH SCORE 2335.435
AT ITER 3088 NEW BEST:: SOT 8780 SOS 5432 HAS SOPS 5432 HAS SOUS 2328 HAS SOUPS 2328 WITH SCORE 2333.432
AT ITER 3105 NEW BEST:: SOT 8780 SOS 5431 HAS SOPS 5431 HAS SOUS 2328 HAS SOUPS 2328 WITH SCORE 2333.431
AT ITER 3151 NEW BEST:: SOT 8780 SOS 5430 HAS SOPS 5430 HAS SOUS 2327 HAS SOUPS 2327 WITH SCORE 2332.43
AT ITER 3165 NEW BEST:: SOT 8775 SOS 5429 HAS SOPS 5429 HAS SOUS 2326 HAS SOUPS 2326 WITH SCORE 2331.429
AT ITER 3170 NEW BEST:: SOT 8769 SOS 5418 HAS SOPS 5418 HAS SOUS 2315 HAS SOUPS 2315 WITH SCORE 2320.418
AT ITER 3176 NEW BEST:: SOT 8764 SOS 5413 HAS SOPS 5413 HAS SOUS 2310 HAS SOUPS 2310 WITH SCORE 2315.413
AT ITER 3196 NEW BEST:: SOT 8762 SOS 5411 HAS SOPS 5411 HAS SOUS 2307 HAS SOUPS 2307 WITH SCORE 2312.411
AT ITER 3245 NEW BEST:: SOT 8759 SOS 5408 HAS SOPS 5408 HAS SOUS 2307 HAS SOUPS 2307 WITH SCORE 2312.408
AT ITER 3305 NEW BEST:: SOT 8759 SOS 5404 HAS SOPS 5404 HAS SOUS 2303 HAS SOUPS 2303 WITH SCORE 2308.404
AT ITER 3370 NEW BEST:: SOT 8758 SOS 5402 HAS SOPS 5402 HAS SOUS 2301 HAS SOUPS 2301 WITH SCORE 2306.402
AT ITER 3392 NEW BEST:: SOT 8756 SOS 5400 HAS SOPS 5400 HAS SOUS 2299 HAS SOUPS 2299 WITH SCORE 2304.4
AT ITER 3396 NEW BEST:: SOT 8754 SOS 5397 HAS SOPS 5397 HAS SOUS 2296 HAS SOUPS 2296 WITH SCORE 2301.397
AT ITER 3413 NEW BEST:: SOT 8751 SOS 5394 HAS SOPS 5394 HAS SOUS 2293 HAS SOUPS 2293 WITH SCORE 2298.394
AT ITER 3482 NEW BEST:: SOT 8739 SOS 5381 HAS SOPS 5381 HAS SOUS 2288 HAS SOUPS 2288 WITH SCORE 2293.381
AT ITER 3550 NEW BEST:: SOT 8737 SOS 5379 HAS SOPS 5379 HAS SOUS 2286 HAS SOUPS 2286 WITH SCORE 2291.379
AT ITER 3560 NEW BEST:: SOT 8733 SOS 5372 HAS SOPS 5372 HAS SOUS 2281 HAS SOUPS 2281 WITH SCORE 2286.372
AT ITER 3655 NEW BEST:: SOT 8731 SOS 5370 HAS SOPS 5370 HAS SOUS 2279 HAS SOUPS 2279 WITH SCORE 2284.37
AT ITER 3743 NEW BEST:: SOT 8731 SOS 5360 HAS SOPS 5360 HAS SOUS 2279 HAS SOUPS 2279 WITH SCORE 2284.36
AT ITER 3798 NEW BEST:: SOT 8730 SOS 5357 HAS SOPS 5357 HAS SOUS 2276 HAS SOUPS 2276 WITH SCORE 2281.357
AT ITER 3835 NEW BEST:: SOT 8733 SOS 5353 HAS SOPS 5353 HAS SOUS 2272 HAS SOUPS 2272 WITH SCORE 2277.353
AT ITER 3849 NEW BEST:: SOT 8731 SOS 5351 HAS SOPS 5351 HAS SOUS 2270 HAS SOUPS 2270 WITH SCORE 2275.351
AT ITER 4020 NEW BEST:: SOT 8729 SOS 5346 HAS SOPS 5346 HAS SOUS 2265 HAS SOUPS 2265 WITH SCORE 2270.346
AT ITER 4032 NEW BEST:: SOT 8728 SOS 5345 HAS SOPS 5345 HAS SOUS 2264 HAS SOUPS 2264 WITH SCORE 2269.345
AT ITER 4068 NEW BEST:: SOT 8726 SOS 5341 HAS SOPS 5341 HAS SOUS 2260 HAS SOUPS 2260 WITH SCORE 2265.341
AT ITER 4069 NEW BEST:: SOT 8723 SOS 5332 HAS SOPS 5332 HAS SOUS 2251 HAS SOUPS 2251 WITH SCORE 2256.332
AT ITER 4102 NEW BEST:: SOT 8723 SOS 5325 HAS SOPS 5325 HAS SOUS 2244 HAS SOUPS 2244 WITH SCORE 2249.325
AT ITER 4109 NEW BEST:: SOT 8691 SOS 5293 HAS SOPS 5293 HAS SOUS 2244 HAS SOUPS 2244 WITH SCORE 2249.293
AT ITER 4170 NEW BEST:: SOT 8691 SOS 5293 HAS SOPS 5293 HAS SOUS 2243 HAS SOUPS 2243 WITH SCORE 2248.293
AT ITER 4244 NEW BEST:: SOT 8656 SOS 5267 HAS SOPS 5267 HAS SOUS 2217 HAS SOUPS 2217 WITH SCORE 2222.267
AT ITER 4298 NEW BEST:: SOT 8659 SOS 5270 HAS SOPS 5270 HAS SOUS 2213 HAS SOUPS 2213 WITH SCORE 2218.27
AT ITER 4361 NEW BEST:: SOT 8654 SOS 5257 HAS SOPS 5257 HAS SOUS 2201 HAS SOUPS 2201 WITH SCORE 2206.257
AT ITER 4367 NEW BEST:: SOT 8651 SOS 5250 HAS SOPS 5250 HAS SOUS 2199 HAS SOUPS 2199 WITH SCORE 2204.25
AT ITER 4418 NEW BEST:: SOT 8637 SOS 5227 HAS SOPS 5227 HAS SOUS 2182 HAS SOUPS 2182 WITH SCORE 2187.227
AT ITER 4429 NEW BEST:: SOT 8637 SOS 5224 HAS SOPS 5224 HAS SOUS 2182 HAS SOUPS 2182 WITH SCORE 2187.224
AT ITER 4443 NEW BEST:: SOT 8633 SOS 5220 HAS SOPS 5220 HAS SOUS 2182 HAS SOUPS 2182 WITH SCORE 2187.22
AT ITER 4444 NEW BEST:: SOT 8628 SOS 5207 HAS SOPS 5207 HAS SOUS 2169 HAS SOUPS 2169 WITH SCORE 2174.207
AT ITER 4470 NEW BEST:: SOT 8628 SOS 5202 HAS SOPS 5202 HAS SOUS 2164 HAS SOUPS 2164 WITH SCORE 2169.202
AT ITER 4484 NEW BEST:: SOT 8612 SOS 5186 HAS SOPS 5186 HAS SOUS 2164 HAS SOUPS 2164 WITH SCORE 2169.186
AT ITER 4503 NEW BEST:: SOT 8611 SOS 5163 HAS SOPS 5163 HAS SOUS 2141 HAS SOUPS 2141 WITH SCORE 2146.163
AT ITER 4525 NEW BEST:: SOT 8608 SOS 5160 HAS SOPS 5160 HAS SOUS 2135 HAS SOUPS 2135 WITH SCORE 2140.16
AT ITER 4661 NEW BEST:: SOT 8609 SOS 5169 HAS SOPS 5169 HAS SOUS 2132 HAS SOUPS 2132 WITH SCORE 2137.169
AT ITER 4693 NEW BEST:: SOT 8623 SOS 5183 HAS SOPS 5183 HAS SOUS 2130 HAS SOUPS 2130 WITH SCORE 2135.183
AT ITER 4702 NEW BEST:: SOT 8619 SOS 5179 HAS SOPS 5179 HAS SOUS 2126 HAS SOUPS 2126 WITH SCORE 2131.179
AT ITER 4785 NEW BEST:: SOT 8610 SOS 5162 HAS SOPS 5162 HAS SOUS 2109 HAS SOUPS 2109 WITH SCORE 2114.162
AT ITER 4806 NEW BEST:: SOT 8598 SOS 5149 HAS SOPS 5149 HAS SOUS 2096 HAS SOUPS 2096 WITH SCORE 2101.149
AT ITER 4807 NEW BEST:: SOT 8594 SOS 5138 HAS SOPS 5138 HAS SOUS 2085 HAS SOUPS 2085 WITH SCORE 2090.138
AT ITER 4814 NEW BEST:: SOT 8584 SOS 5127 HAS SOPS 5127 HAS SOUS 2074 HAS SOUPS 2074 WITH SCORE 2079.127
AT ITER 4822 NEW BEST:: SOT 8574 SOS 5111 HAS SOPS 5111 HAS SOUS 2058 HAS SOUPS 2058 WITH SCORE 2063.111
AT ITER 4837 NEW BEST:: SOT 8575 SOS 5110 HAS SOPS 5110 HAS SOUS 2057 HAS SOUPS 2057 WITH SCORE 2062.11
AT ITER 4875 NEW BEST:: SOT 8572 SOS 5107 HAS SOPS 5107 HAS SOUS 2054 HAS SOUPS 2054 WITH SCORE 2059.107
AT ITER 4929 NEW BEST:: SOT 8572 SOS 5107 HAS SOPS 5107 HAS SOUS 2050 HAS SOUPS 2050 WITH SCORE 2055.107
AT ITER 4949 NEW BEST:: SOT 8572 SOS 5107 HAS SOPS 5107 HAS SOUS 2045 HAS SOUPS 2045 WITH SCORE 2050.107
AT ITER 4963 NEW BEST:: SOT 8579 SOS 5120 HAS SOPS 5120 HAS SOUS 2039 HAS SOUPS 2039 WITH SCORE 2044.12
Bounds file is: CTLFireability.xml
PROPERTY: DES-PT-10a-CTLFireability-00 (EG( (EU( (! ((potential((tk(P74)>=1) & (tk(P76)>=1) & (tk(P7)>=1))))) , ( ((potential((tk(P36)>=1) & (tk(P46)>=1)))) & ((potential((tk(P83)>=1) & (tk(P100)>=1)))) ) ))))
PROPERTY: DES-PT-10a-CTLFireability-01 (AG( (! ((potential((tk(P101)>=1) & (tk(P117)>=1)))))))
PROPERTY: DES-PT-10a-CTLFireability-02 ( ( (EG( ((potential((tk(P43)>=1)))))) & (AX( ((potential((tk(P58)>=1) & (tk(P59)>=1)))))) ) | (AG( (EF( ((potential((tk(P50)>=1) & (tk(P135)>=1)))))))) )
PROPERTY: DES-PT-10a-CTLFireability-03 (EF( ( (! ( (! ((potential((tk(P101)>=1) & (tk(P117)>=1))))) | ((potential((tk(P52)>=1) & (tk(P146)>=1)))) )) | (! (AF( ((potential((tk(P70)>=1) & (tk(P68)>=1) & (tk(P63)>=1))))))) )))
PROPERTY: DES-PT-10a-CTLFireability-04 (AG( (! ( ( ( ((potential((tk(P133)>=1) & (tk(P138)>=1)))) & ((potential((tk(P13)>=1) & (tk(P151)>=1)))) ) & ( ((potential((tk(P83)>=1) & (tk(P100)>=1)))) | ((potential((tk(P47)>=1) & (tk(P69)>=1)))) ) ) | (EG( ((potential((tk(P137)>=1) & (tk(P78)>=1) & (tk(P80)>=1)))))) ))))
PROPERTY: DES-PT-10a-CTLFireability-05 ( ( ( (AU( ((potential((tk(P150)>=1) & (tk(P154)>=1)))) , ((potential((tk(P150)>=1) & (tk(P140)>=1)))) )) | (AG( ( ((potential((tk(P15)>=1) & (tk(P151)>=1)))) | ((potential((tk(P132)>=1) & (tk(P130)>=1)))) ))) ) | (EU( (! ((potential((tk(P17)>=1) & (tk(P151)>=1))))) , ( ((potential((tk(P70)>=1) & (tk(P68)>=1) & (tk(P63)>=1)))) & ((potential((tk(P150)>=1) & (tk(P144)>=1)))) ) )) ) | (AG( (! (! ( ((potential((tk(P83)>=1) & (tk(P100)>=1)))) | ((potential((tk(P33)>=1) & (tk(P46)>=1)))) ))))) )
PROPERTY: DES-PT-10a-CTLFireability-06 (AF( ((potential((tk(P79)>=1) & (tk(P148)>=1))))))
PROPERTY: DES-PT-10a-CTLFireability-07 (! (AX( ( (! ( ((potential((tk(P141)>=1) & (tk(P139)>=1)))) & ((potential((tk(P74)>=1) & (tk(P76)>=1) & (tk(P11)>=1)))) )) & (AF( ((potential((tk(P87)>=1) & (tk(P104)>=1)))))) ))))
PROPERTY: DES-PT-10a-CTLFireability-08 ( (AG( ( (AG( ((potential((tk(P89)>=1) & (tk(P106)>=1)))))) & (! (! ((potential((tk(P55)>=1) & (tk(P129)>=1)))))) ))) | ( ((potential((tk(P97)>=1) & (tk(P113)>=1)))) | (AG( ( ((potential((tk(P45)>=1) & (tk(P65)>=1)))) | (! ((potential((tk(P54)>=1) & (tk(P61)>=1))))) ))) ) )
PROPERTY: DES-PT-10a-CTLFireability-09 ( (AF( (EU( ((potential((tk(P22)>=1) & (tk(P71)>=1)))) , ((potential((tk(P150)>=1) & (tk(P140)>=1)))) )))) & (EF( (AX( (! ((potential((tk(P109)>=1) & (tk(P125)>=1))))))))) )
PROPERTY: DES-PT-10a-CTLFireability-10 (AU( ( (! ( ((potential((tk(P19)>=1) & (tk(P151)>=1)))) & ((potential((tk(P47)>=1) & (tk(P69)>=1)))) )) | ((potential((tk(P52)>=1) & (tk(P146)>=1)))) ) , ( (AG( ((potential((tk(P50)>=1) & (tk(P135)>=1)))))) | ( ( ((potential((tk(P15)>=1) & (tk(P151)>=1)))) | ((potential((tk(P70)>=1) & (tk(P68)>=1) & (tk(P63)>=1)))) ) | ((potential((tk(P74)>=1) & (tk(P76)>=1) & (tk(P11)>=1)))) ) ) ))
PROPERTY: DES-PT-10a-CTLFireability-11 (AF( (EG( ((potential((tk(P141)>=1) & (tk(P139)>=1))))))))
PROPERTY: DES-PT-10a-CTLFireability-12 ( ((potential((tk(P33)>=1) & (tk(P46)>=1)))) | (AF( (! ( (! ((potential((tk(P34)>=1) & (tk(P46)>=1))))) & (! ((potential((tk(P137)>=1) & (tk(P78)>=1) & (tk(P80)>=1))))) )))) )
PROPERTY: DES-PT-10a-CTLFireability-13 (AG( (! (EF( ( ((potential((tk(P105)>=1) & (tk(P121)>=1)))) | ((potential((tk(P107)>=1) & (tk(P123)>=1)))) ))))))
PROPERTY: DES-PT-10a-CTLFireability-14 (EG( (! (AX( ( ((potential((tk(P58)>=1) & (tk(P59)>=1)))) | ((potential((tk(P74)>=1) & (tk(P76)>=1) & (tk(P10)>=1)))) ))))))
PROPERTY: DES-PT-10a-CTLFireability-15 (AX( ( ((potential((tk(P52)>=1) & (tk(P146)>=1)))) | (AF( ( ((potential((tk(P75)>=1) & (tk(P147)>=1)))) & ((potential((tk(P79)>=1) & (tk(P149)>=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="DES-PT-10a"
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 DES-PT-10a, 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 r048-ebro-158902541900244"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DES-PT-10a.tgz
mv DES-PT-10a execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;