fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r224-oct2-159033538800476
Last Updated
Jun 28, 2020

About the Execution of smart for ViralEpidemic-PT-S02D1C1A10

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15768.500 3600000.00 3592020.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/fko/mcc2020-input.r224-oct2-159033538800476.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ViralEpidemic-PT-S02D1C1A10, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538800476
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 8.3M
-rw-r--r-- 1 mcc users 4.4K May 14 04:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 14 04:12 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.4K May 13 22:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 13 22:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 5.1K May 14 10:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K May 14 10:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 14 10:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 14 10:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 4.8K May 13 15:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 13 15:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.4K May 13 11:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 11:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 11 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 8.1M May 12 20:42 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME ViralEpidemic-PT-S02D1C1A10-CTLFireability-00
FORMULA_NAME ViralEpidemic-PT-S02D1C1A10-CTLFireability-01
FORMULA_NAME ViralEpidemic-PT-S02D1C1A10-CTLFireability-02
FORMULA_NAME ViralEpidemic-PT-S02D1C1A10-CTLFireability-03
FORMULA_NAME ViralEpidemic-PT-S02D1C1A10-CTLFireability-04
FORMULA_NAME ViralEpidemic-PT-S02D1C1A10-CTLFireability-05
FORMULA_NAME ViralEpidemic-PT-S02D1C1A10-CTLFireability-06
FORMULA_NAME ViralEpidemic-PT-S02D1C1A10-CTLFireability-07
FORMULA_NAME ViralEpidemic-PT-S02D1C1A10-CTLFireability-08
FORMULA_NAME ViralEpidemic-PT-S02D1C1A10-CTLFireability-09
FORMULA_NAME ViralEpidemic-PT-S02D1C1A10-CTLFireability-10
FORMULA_NAME ViralEpidemic-PT-S02D1C1A10-CTLFireability-11
FORMULA_NAME ViralEpidemic-PT-S02D1C1A10-CTLFireability-12
FORMULA_NAME ViralEpidemic-PT-S02D1C1A10-CTLFireability-13
FORMULA_NAME ViralEpidemic-PT-S02D1C1A10-CTLFireability-14
FORMULA_NAME ViralEpidemic-PT-S02D1C1A10-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590473504054

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ViralEpidemic (PT), instance S02D1C1A10
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: 8189 places, 10235 transitions, 22517 arcs.
AT ITER 0 NEW BEST:: SOT 52392964 SOS 14691318 HAS SOPS 14691318 HAS SOUS 9100961 HAS SOUPS 9100961 WITH SCORE 9115652.318
AT ITER 16 NEW BEST:: SOT 52391017 SOS 14688835 HAS SOPS 14688835 HAS SOUS 9100423 HAS SOUPS 9100423 WITH SCORE 9115111.835
AT ITER 17 NEW BEST:: SOT 52388493 SOS 14685695 HAS SOPS 14685695 HAS SOUS 9099807 HAS SOUPS 9099807 WITH SCORE 9114492.695
AT ITER 31 NEW BEST:: SOT 52387491 SOS 14684191 HAS SOPS 14684191 HAS SOUS 9099804 HAS SOUPS 9099804 WITH SCORE 9114488.191
AT ITER 33 NEW BEST:: SOT 52385435 SOS 14681106 HAS SOPS 14681106 HAS SOUS 9099801 HAS SOUPS 9099801 WITH SCORE 9114482.106
AT ITER 41 NEW BEST:: SOT 52384227 SOS 14679294 HAS SOPS 14679294 HAS SOUS 9099801 HAS SOUPS 9099801 WITH SCORE 9114480.294
AT ITER 52 NEW BEST:: SOT 52383135 SOS 14677838 HAS SOPS 14677838 HAS SOUS 9099437 HAS SOUPS 9099437 WITH SCORE 9114114.838
AT ITER 59 NEW BEST:: SOT 52379149 SOS 14672928 HAS SOPS 14672928 HAS SOUS 9098528 HAS SOUPS 9098528 WITH SCORE 9113200.928
AT ITER 69 NEW BEST:: SOT 52377171 SOS 14669960 HAS SOPS 14669960 HAS SOUS 9098525 HAS SOUPS 9098525 WITH SCORE 9113194.96
AT ITER 72 NEW BEST:: SOT 52374565 SOS 14666665 HAS SOPS 14666665 HAS SOUS 9097834 HAS SOUPS 9097834 WITH SCORE 9112500.665
AT ITER 98 NEW BEST:: SOT 52374463 SOS 14666511 HAS SOPS 14666511 HAS SOUS 9097831 HAS SOUPS 9097831 WITH SCORE 9112497.511
AT ITER 154 NEW BEST:: SOT 52372269 SOS 14663220 HAS SOPS 14663220 HAS SOUS 9097831 HAS SOUPS 9097831 WITH SCORE 9112494.22
AT ITER 162 NEW BEST:: SOT 52370268 SOS 14660551 HAS SOPS 14660551 HAS SOUS 9097161 HAS SOUPS 9097161 WITH SCORE 9111821.551
AT ITER 175 NEW BEST:: SOT 52366750 SOS 14656353 HAS SOPS 14656353 HAS SOUS 9096518 HAS SOUPS 9096518 WITH SCORE 9111174.353
AT ITER 176 NEW BEST:: SOT 52365334 SOS 14654228 HAS SOPS 14654228 HAS SOUS 9096515 HAS SOUPS 9096515 WITH SCORE 9111169.228
AT ITER 205 NEW BEST:: SOT 52363480 SOS 14651756 HAS SOPS 14651756 HAS SOUS 9095897 HAS SOUPS 9095897 WITH SCORE 9110548.756
AT ITER 206 NEW BEST:: SOT 52360694 SOS 14648526 HAS SOPS 14648526 HAS SOUS 9095488 HAS SOUPS 9095488 WITH SCORE 9110136.526
AT ITER 228 NEW BEST:: SOT 52358988 SOS 14645967 HAS SOPS 14645967 HAS SOUS 9095488 HAS SOUPS 9095488 WITH SCORE 9110133.967
AT ITER 236 NEW BEST:: SOT 52358391 SOS 14645171 HAS SOPS 14645171 HAS SOUS 9095289 HAS SOUPS 9095289 WITH SCORE 9109934.171
AT ITER 284 NEW BEST:: SOT 52356845 SOS 14642851 HAS SOPS 14642851 HAS SOUS 9095286 HAS SOUPS 9095286 WITH SCORE 9109928.851
AT ITER 285 NEW BEST:: SOT 52356257 SOS 14641968 HAS SOPS 14641968 HAS SOUS 9095283 HAS SOUPS 9095283 WITH SCORE 9109924.968
AT ITER 313 NEW BEST:: SOT 52353929 SOS 14638476 HAS SOPS 14638476 HAS SOUS 9095283 HAS SOUPS 9095283 WITH SCORE 9109921.476
AT ITER 332 NEW BEST:: SOT 52352999 SOS 14637081 HAS SOPS 14637081 HAS SOUS 9095283 HAS SOUPS 9095283 WITH SCORE 9109920.081
AT ITER 373 NEW BEST:: SOT 52350069 SOS 14632685 HAS SOPS 14632685 HAS SOUS 9095280 HAS SOUPS 9095280 WITH SCORE 9109912.685
AT ITER 392 NEW BEST:: SOT 52347563 SOS 14628925 HAS SOPS 14628925 HAS SOUS 9095277 HAS SOUPS 9095277 WITH SCORE 9109905.925
AT ITER 394 NEW BEST:: SOT 52345169 SOS 14625334 HAS SOPS 14625334 HAS SOUS 9095277 HAS SOUPS 9095277 WITH SCORE 9109902.334
AT ITER 417 NEW BEST:: SOT 52342891 SOS 14621917 HAS SOPS 14621917 HAS SOUS 9095277 HAS SOUPS 9095277 WITH SCORE 9109898.917
AT ITER 421 NEW BEST:: SOT 52341502 SOS 14620065 HAS SOPS 14620065 HAS SOUS 9094814 HAS SOUPS 9094814 WITH SCORE 9109434.065
AT ITER 430 NEW BEST:: SOT 52339766 SOS 14617461 HAS SOPS 14617461 HAS SOUS 9094814 HAS SOUPS 9094814 WITH SCORE 9109431.461
AT ITER 445 NEW BEST:: SOT 52338704 SOS 14616045 HAS SOPS 14616045 HAS SOUS 9094460 HAS SOUPS 9094460 WITH SCORE 9109076.045
AT ITER 469 NEW BEST:: SOT 52336390 SOS 14612574 HAS SOPS 14612574 HAS SOUS 9094460 HAS SOUPS 9094460 WITH SCORE 9109072.574
AT ITER 472 NEW BEST:: SOT 52334437 SOS 14609970 HAS SOPS 14609970 HAS SOUS 9093809 HAS SOUPS 9093809 WITH SCORE 9108418.97
AT ITER 503 NEW BEST:: SOT 52331224 SOS 14606091 HAS SOPS 14606091 HAS SOUS 9093157 HAS SOUPS 9093157 WITH SCORE 9107763.091
AT ITER 505 NEW BEST:: SOT 52329573 SOS 14604236 HAS SOPS 14604236 HAS SOUS 9092995 HAS SOUPS 9092995 WITH SCORE 9107599.236
AT ITER 511 NEW BEST:: SOT 52327484 SOS 14601631 HAS SOPS 14601631 HAS SOUS 9092477 HAS SOUPS 9092477 WITH SCORE 9107078.631
AT ITER 526 NEW BEST:: SOT 52326491 SOS 14600307 HAS SOPS 14600307 HAS SOUS 9092146 HAS SOUPS 9092146 WITH SCORE 9106746.307
AT ITER 544 NEW BEST:: SOT 52323914 SOS 14596987 HAS SOPS 14596987 HAS SOUS 9091472 HAS SOUPS 9091472 WITH SCORE 9106068.987
AT ITER 559 NEW BEST:: SOT 52320776 SOS 14592280 HAS SOPS 14592280 HAS SOUS 9091472 HAS SOUPS 9091472 WITH SCORE 9106064.28
AT ITER 562 NEW BEST:: SOT 52319190 SOS 14589900 HAS SOPS 14589900 HAS SOUS 9091469 HAS SOUPS 9091469 WITH SCORE 9106058.9
AT ITER 611 NEW BEST:: SOT 52318047 SOS 14588375 HAS SOPS 14588375 HAS SOUS 9091085 HAS SOUPS 9091085 WITH SCORE 9105673.375
AT ITER 615 NEW BEST:: SOT 52316503 SOS 14586059 HAS SOPS 14586059 HAS SOUS 9091085 HAS SOUPS 9091085 WITH SCORE 9105671.059
AT ITER 617 NEW BEST:: SOT 52313021 SOS 14580836 HAS SOPS 14580836 HAS SOUS 9091085 HAS SOUPS 9091085 WITH SCORE 9105665.836
AT ITER 630 NEW BEST:: SOT 52311375 SOS 14578367 HAS SOPS 14578367 HAS SOUS 9091085 HAS SOUPS 9091085 WITH SCORE 9105663.367
AT ITER 633 NEW BEST:: SOT 52310679 SOS 14577323 HAS SOPS 14577323 HAS SOUS 9091085 HAS SOUPS 9091085 WITH SCORE 9105662.323
AT ITER 638 NEW BEST:: SOT 52309030 SOS 14575467 HAS SOPS 14575467 HAS SOUS 9091083 HAS SOUPS 9091083 WITH SCORE 9105658.467
AT ITER 643 NEW BEST:: SOT 52309030 SOS 14575466 HAS SOPS 14575466 HAS SOUS 9091080 HAS SOUPS 9091080 WITH SCORE 9105655.466
AT ITER 660 NEW BEST:: SOT 52306869 SOS 14572703 HAS SOPS 14572703 HAS SOUS 9090476 HAS SOUPS 9090476 WITH SCORE 9105048.703
AT ITER 694 NEW BEST:: SOT 52304679 SOS 14569956 HAS SOPS 14569956 HAS SOUS 9089917 HAS SOUPS 9089917 WITH SCORE 9104486.956
AT ITER 707 NEW BEST:: SOT 52302360 SOS 14566863 HAS SOPS 14566863 HAS SOUS 9089141 HAS SOUPS 9089141 WITH SCORE 9103707.863
AT ITER 711 NEW BEST:: SOT 52301348 SOS 14565345 HAS SOPS 14565345 HAS SOUS 9089141 HAS SOUPS 9089141 WITH SCORE 9103706.345
AT ITER 725 NEW BEST:: SOT 52299534 SOS 14562624 HAS SOPS 14562624 HAS SOUS 9089141 HAS SOUPS 9089141 WITH SCORE 9103703.624
AT ITER 778 NEW BEST:: SOT 52299240 SOS 14562330 HAS SOPS 14562330 HAS SOUS 9089141 HAS SOUPS 9089141 WITH SCORE 9103703.33
AT ITER 782 NEW BEST:: SOT 52295804 SOS 14558052 HAS SOPS 14558052 HAS SOUS 9088299 HAS SOUPS 9088299 WITH SCORE 9102857.052
AT ITER 792 NEW BEST:: SOT 52292094 SOS 14553822 HAS SOPS 14553822 HAS SOUS 9087872 HAS SOUPS 9087872 WITH SCORE 9102425.822
AT ITER 810 NEW BEST:: SOT 52290610 SOS 14551595 HAS SOPS 14551595 HAS SOUS 9087869 HAS SOUPS 9087869 WITH SCORE 9102420.595
AT ITER 816 NEW BEST:: SOT 52288850 SOS 14548954 HAS SOPS 14548954 HAS SOUS 9087866 HAS SOUPS 9087866 WITH SCORE 9102414.954
AT ITER 865 NEW BEST:: SOT 52286122 SOS 14545416 HAS SOPS 14545416 HAS SOUS 9087115 HAS SOUPS 9087115 WITH SCORE 9101660.416
AT ITER 904 NEW BEST:: SOT 52284426 SOS 14542871 HAS SOPS 14542871 HAS SOUS 9087112 HAS SOUPS 9087112 WITH SCORE 9101654.871
AT ITER 910 NEW BEST:: SOT 52283070 SOS 14541062 HAS SOPS 14541062 HAS SOUS 9086657 HAS SOUPS 9086657 WITH SCORE 9101198.062
AT ITER 936 NEW BEST:: SOT 52280504 SOS 14537212 HAS SOPS 14537212 HAS SOUS 9086654 HAS SOUPS 9086654 WITH SCORE 9101191.212
AT ITER 943 NEW BEST:: SOT 52278688 SOS 14534488 HAS SOPS 14534488 HAS SOUS 9086654 HAS SOUPS 9086654 WITH SCORE 9101188.488
AT ITER 952 NEW BEST:: SOT 52276124 SOS 14531622 HAS SOPS 14531622 HAS SOUS 9086404 HAS SOUPS 9086404 WITH SCORE 9100935.622
AT ITER 1012 NEW BEST:: SOT 52273380 SOS 14528093 HAS SOPS 14528093 HAS SOUS 9085695 HAS SOUPS 9085695 WITH SCORE 9100223.093
AT ITER 1013 NEW BEST:: SOT 52270253 SOS 14523334 HAS SOPS 14523334 HAS SOUS 9085092 HAS SOUPS 9085092 WITH SCORE 9099615.334
AT ITER 1018 NEW BEST:: SOT 52266459 SOS 14517642 HAS SOPS 14517642 HAS SOUS 9085089 HAS SOUPS 9085089 WITH SCORE 9099606.642
AT ITER 1033 NEW BEST:: SOT 52264100 SOS 14514907 HAS SOPS 14514907 HAS SOUS 9084769 HAS SOUPS 9084769 WITH SCORE 9099283.907
AT ITER 1066 NEW BEST:: SOT 52263038 SOS 14513314 HAS SOPS 14513314 HAS SOUS 9084769 HAS SOUPS 9084769 WITH SCORE 9099282.314
AT ITER 1071 NEW BEST:: SOT 52261362 SOS 14510800 HAS SOPS 14510800 HAS SOUS 9084769 HAS SOUPS 9084769 WITH SCORE 9099279.8
AT ITER 1086 NEW BEST:: SOT 52258392 SOS 14507142 HAS SOPS 14507142 HAS SOUS 9084081 HAS SOUPS 9084081 WITH SCORE 9098588.142
AT ITER 1090 NEW BEST:: SOT 52256088 SOS 14505288 HAS SOPS 14505288 HAS SOUS 9084019 HAS SOUPS 9084019 WITH SCORE 9098524.288
AT ITER 1115 NEW BEST:: SOT 52254762 SOS 14503299 HAS SOPS 14503299 HAS SOUS 9084019 HAS SOUPS 9084019 WITH SCORE 9098522.299
AT ITER 1124 NEW BEST:: SOT 52253785 SOS 14502006 HAS SOPS 14502006 HAS SOUS 9083707 HAS SOUPS 9083707 WITH SCORE 9098209.006
AT ITER 1127 NEW BEST:: SOT 52250143 SOS 14497915 HAS SOPS 14497915 HAS SOUS 9083362 HAS SOUPS 9083362 WITH SCORE 9097859.915
AT ITER 1133 NEW BEST:: SOT 52248652 SOS 14495927 HAS SOPS 14495927 HAS SOUS 9082865 HAS SOUPS 9082865 WITH SCORE 9097360.927
AT ITER 1154 NEW BEST:: SOT 52247056 SOS 14493533 HAS SOPS 14493533 HAS SOUS 9082865 HAS SOUPS 9082865 WITH SCORE 9097358.533
AT ITER 1168 NEW BEST:: SOT 52245289 SOS 14491177 HAS SOPS 14491177 HAS SOUS 9082276 HAS SOUPS 9082276 WITH SCORE 9096767.177
AT ITER 1213 NEW BEST:: SOT 52242957 SOS 14488711 HAS SOPS 14488711 HAS SOUS 9081797 HAS SOUPS 9081797 WITH SCORE 9096285.711
AT ITER 1215 NEW BEST:: SOT 52242805 SOS 14488483 HAS SOPS 14488483 HAS SOUS 9081797 HAS SOUPS 9081797 WITH SCORE 9096285.483
AT ITER 1229 NEW BEST:: SOT 52239873 SOS 14484848 HAS SOPS 14484848 HAS SOUS 9081092 HAS SOUPS 9081092 WITH SCORE 9095576.848
AT ITER 1278 NEW BEST:: SOT 52237722 SOS 14482246 HAS SOPS 14482246 HAS SOUS 9080800 HAS SOUPS 9080800 WITH SCORE 9095282.246
AT ITER 1304 NEW BEST:: SOT 52234478 SOS 14477379 HAS SOPS 14477379 HAS SOUS 9080797 HAS SOUPS 9080797 WITH SCORE 9095274.379
AT ITER 1372 NEW BEST:: SOT 52231508 SOS 14473836 HAS SOPS 14473836 HAS SOUS 9080241 HAS SOUPS 9080241 WITH SCORE 9094714.836
AT ITER 1382 NEW BEST:: SOT 52229256 SOS 14470457 HAS SOPS 14470457 HAS SOUS 9080238 HAS SOUPS 9080238 WITH SCORE 9094708.457
AT ITER 1385 NEW BEST:: SOT 52227232 SOS 14467420 HAS SOPS 14467420 HAS SOUS 9080235 HAS SOUPS 9080235 WITH SCORE 9094702.42
AT ITER 1429 NEW BEST:: SOT 52224244 SOS 14462937 HAS SOPS 14462937 HAS SOUS 9080232 HAS SOUPS 9080232 WITH SCORE 9094694.937
AT ITER 1445 NEW BEST:: SOT 52223764 SOS 14462296 HAS SOPS 14462296 HAS SOUS 9080069 HAS SOUPS 9080069 WITH SCORE 9094531.296
AT ITER 1456 NEW BEST:: SOT 52219888 SOS 14456482 HAS SOPS 14456482 HAS SOUS 9080069 HAS SOUPS 9080069 WITH SCORE 9094525.482
AT ITER 1486 NEW BEST:: SOT 52217802 SOS 14453468 HAS SOPS 14453468 HAS SOUS 9078175 HAS SOUPS 9078175 WITH SCORE 9092628.468
AT ITER 1487 NEW BEST:: SOT 52215246 SOS 14450059 HAS SOPS 14450059 HAS SOUS 9077320 HAS SOUPS 9077320 WITH SCORE 9091770.059
AT ITER 1517 NEW BEST:: SOT 52211870 SOS 14444994 HAS SOPS 14444994 HAS SOUS 9077317 HAS SOUPS 9077317 WITH SCORE 9091761.994
AT ITER 1528 NEW BEST:: SOT 52209997 SOS 14442662 HAS SOPS 14442662 HAS SOUS 9076858 HAS SOUPS 9076858 WITH SCORE 9091300.662
AT ITER 1536 NEW BEST:: SOT 52208499 SOS 14440817 HAS SOPS 14440817 HAS SOUS 9076509 HAS SOUPS 9076509 WITH SCORE 9090949.817
AT ITER 1545 NEW BEST:: SOT 52206170 SOS 14437852 HAS SOPS 14437852 HAS SOUS 9075871 HAS SOUPS 9075871 WITH SCORE 9090308.852
AT ITER 1587 NEW BEST:: SOT 52203254 SOS 14433477 HAS SOPS 14433477 HAS SOUS 9075868 HAS SOUPS 9075868 WITH SCORE 9090301.477
AT ITER 1608 NEW BEST:: SOT 52200988 SOS 14430559 HAS SOPS 14430559 HAS SOUS 9075216 HAS SOUPS 9075216 WITH SCORE 9089646.559
AT ITER 1610 NEW BEST:: SOT 52200093 SOS 14430328 HAS SOPS 14430328 HAS SOUS 9075214 HAS SOUPS 9075214 WITH SCORE 9089644.328
AT ITER 1619 NEW BEST:: SOT 52197355 SOS 14426221 HAS SOPS 14426221 HAS SOUS 9075214 HAS SOUPS 9075214 WITH SCORE 9089640.221
AT ITER 1621 NEW BEST:: SOT 52197244 SOS 14426072 HAS SOPS 14426072 HAS SOUS 9075174 HAS SOUPS 9075174 WITH SCORE 9089600.072
AT ITER 1653 NEW BEST:: SOT 52196431 SOS 14424987 HAS SOPS 14424987 HAS SOUS 9074900 HAS SOUPS 9074900 WITH SCORE 9089324.987
AT ITER 1692 NEW BEST:: SOT 52195546 SOS 14423806 HAS SOPS 14423806 HAS SOUS 9074602 HAS SOUPS 9074602 WITH SCORE 9089025.806
AT ITER 1714 NEW BEST:: SOT 52192002 SOS 14418490 HAS SOPS 14418490 HAS SOUS 9074602 HAS SOUPS 9074602 WITH SCORE 9089020.49
AT ITER 1715 NEW BEST:: SOT 52189131 SOS 14415227 HAS SOPS 14415227 HAS SOUS 9074264 HAS SOUPS 9074264 WITH SCORE 9088679.227
AT ITER 1725 NEW BEST:: SOT 52187181 SOS 14412301 HAS SOPS 14412301 HAS SOUS 9074261 HAS SOUPS 9074261 WITH SCORE 9088673.301
AT ITER 1735 NEW BEST:: SOT 52184888 SOS 14409473 HAS SOPS 14409473 HAS SOUS 9073726 HAS SOUPS 9073726 WITH SCORE 9088135.473
AT ITER 1741 NEW BEST:: SOT 52184463 SOS 14408623 HAS SOPS 14408623 HAS SOUS 9073089 HAS SOUPS 9073089 WITH SCORE 9087497.623
AT ITER 1766 NEW BEST:: SOT 52183005 SOS 14406679 HAS SOPS 14406679 HAS SOUS 9072603 HAS SOUPS 9072603 WITH SCORE 9087009.679
AT ITER 1768 NEW BEST:: SOT 52180565 SOS 14403019 HAS SOPS 14403019 HAS SOUS 9072603 HAS SOUPS 9072603 WITH SCORE 9087006.019
AT ITER 1783 NEW BEST:: SOT 52177901 SOS 14399022 HAS SOPS 14399022 HAS SOUS 9072600 HAS SOUPS 9072600 WITH SCORE 9086999.022
AT ITER 1799 NEW BEST:: SOT 52177157 SOS 14398029 HAS SOPS 14398029 HAS SOUS 9072349 HAS SOUPS 9072349 WITH SCORE 9086747.029
AT ITER 1811 NEW BEST:: SOT 52176706 SOS 14397514 HAS SOPS 14397514 HAS SOUS 9072294 HAS SOUPS 9072294 WITH SCORE 9086691.514
AT ITER 1816 NEW BEST:: SOT 52175636 SOS 14395909 HAS SOPS 14395909 HAS SOUS 9072294 HAS SOUPS 9072294 WITH SCORE 9086689.909
AT ITER 1817 NEW BEST:: SOT 52173697 SOS 14393473 HAS SOPS 14393473 HAS SOUS 9071886 HAS SOUPS 9071886 WITH SCORE 9086279.473
AT ITER 1832 NEW BEST:: SOT 52171748 SOS 14392111 HAS SOPS 14392111 HAS SOUS 9071886 HAS SOUPS 9071886 WITH SCORE 9086278.111
AT ITER 1834 NEW BEST:: SOT 52170154 SOS 14389720 HAS SOPS 14389720 HAS SOUS 9071886 HAS SOUPS 9071886 WITH SCORE 9086275.72
AT ITER 1860 NEW BEST:: SOT 52167832 SOS 14386237 HAS SOPS 14386237 HAS SOUS 9071886 HAS SOUPS 9071886 WITH SCORE 9086272.237
AT ITER 1872 NEW BEST:: SOT 52167036 SOS 14385042 HAS SOPS 14385042 HAS SOUS 9071883 HAS SOUPS 9071883 WITH SCORE 9086268.042
AT ITER 1875 NEW BEST:: SOT 52166637 SOS 14384510 HAS SOPS 14384510 HAS SOUS 9071750 HAS SOUPS 9071750 WITH SCORE 9086134.51
AT ITER 1931 NEW BEST:: SOT 52164361 SOS 14381095 HAS SOPS 14381095 HAS SOUS 9071747 HAS SOUPS 9071747 WITH SCORE 9086128.095
AT ITER 1936 NEW BEST:: SOT 52161254 SOS 14377282 HAS SOPS 14377282 HAS SOUS 9071039 HAS SOUPS 9071039 WITH SCORE 9085416.282
AT ITER 1946 NEW BEST:: SOT 52157910 SOS 14373664 HAS SOPS 14373664 HAS SOUS 9070889 HAS SOUPS 9070889 WITH SCORE 9085262.664
AT ITER 1980 NEW BEST:: SOT 52158217 SOS 14373971 HAS SOPS 14373971 HAS SOUS 9070582 HAS SOUPS 9070582 WITH SCORE 9084955.971
AT ITER 1990 NEW BEST:: SOT 52154945 SOS 14369062 HAS SOPS 14369062 HAS SOUS 9070579 HAS SOUPS 9070579 WITH SCORE 9084948.062
AT ITER 2012 NEW BEST:: SOT 52154001 SOS 14367646 HAS SOPS 14367646 HAS SOUS 9070579 HAS SOUPS 9070579 WITH SCORE 9084946.646
AT ITER 2040 NEW BEST:: SOT 52152975 SOS 14366107 HAS SOPS 14366107 HAS SOUS 9070579 HAS SOUPS 9070579 WITH SCORE 9084945.107
AT ITER 2064 NEW BEST:: SOT 52151217 SOS 14363470 HAS SOPS 14363470 HAS SOUS 9070579 HAS SOUPS 9070579 WITH SCORE 9084942.47
AT ITER 2086 NEW BEST:: SOT 52149138 SOS 14360697 HAS SOPS 14360697 HAS SOUS 9069883 HAS SOUPS 9069883 WITH SCORE 9084243.697
AT ITER 2091 NEW BEST:: SOT 52147516 SOS 14358263 HAS SOPS 14358263 HAS SOUS 9069880 HAS SOUPS 9069880 WITH SCORE 9084238.263
AT ITER 2098 NEW BEST:: SOT 52143764 SOS 14352274 HAS SOPS 14352274 HAS SOUS 9068348 HAS SOUPS 9068348 WITH SCORE 9082700.274
AT ITER 2104 NEW BEST:: SOT 52140388 SOS 14347173 HAS SOPS 14347173 HAS SOUS 9067738 HAS SOUPS 9067738 WITH SCORE 9082085.173
AT ITER 2110 NEW BEST:: SOT 52137650 SOS 14343065 HAS SOPS 14343065 HAS SOUS 9067735 HAS SOUPS 9067735 WITH SCORE 9082078.065
AT ITER 2116 NEW BEST:: SOT 52135404 SOS 14339695 HAS SOPS 14339695 HAS SOUS 9067732 HAS SOUPS 9067732 WITH SCORE 9082071.695
AT ITER 2119 NEW BEST:: SOT 52134223 SOS 14338217 HAS SOPS 14338217 HAS SOUS 9067435 HAS SOUPS 9067435 WITH SCORE 9081773.217
AT ITER 2121 NEW BEST:: SOT 52132253 SOS 14335261 HAS SOPS 14335261 HAS SOUS 9067432 HAS SOUPS 9067432 WITH SCORE 9081767.261
AT ITER 2138 NEW BEST:: SOT 52128404 SOS 14330494 HAS SOPS 14330494 HAS SOUS 9066518 HAS SOUPS 9066518 WITH SCORE 9080848.494
AT ITER 2150 NEW BEST:: SOT 52125362 SOS 14324668 HAS SOPS 14324668 HAS SOUS 9062654 HAS SOUPS 9062654 WITH SCORE 9076978.668
AT ITER 2164 NEW BEST:: SOT 52125317 SOS 14324578 HAS SOPS 14324578 HAS SOUS 9062609 HAS SOUPS 9062609 WITH SCORE 9076933.578
AT ITER 2202 NEW BEST:: SOT 52123821 SOS 14322723 HAS SOPS 14322723 HAS SOUS 9062248 HAS SOUPS 9062248 WITH SCORE 9076570.723
AT ITER 2301 NEW BEST:: SOT 52122189 SOS 14320547 HAS SOPS 14320547 HAS SOUS 9061704 HAS SOUPS 9061704 WITH SCORE 9076024.547
AT ITER 2303 NEW BEST:: SOT 52120207 SOS 14317573 HAS SOPS 14317573 HAS SOUS 9061701 HAS SOUPS 9061701 WITH SCORE 9076018.573
AT ITER 2320 NEW BEST:: SOT 52117885 SOS 14313305 HAS SOPS 14313305 HAS SOUS 9059277 HAS SOUPS 9059277 WITH SCORE 9073590.305
AT ITER 2324 NEW BEST:: SOT 52115241 SOS 14310070 HAS SOPS 14310070 HAS SOUS 9058684 HAS SOUPS 9058684 WITH SCORE 9072994.07
AT ITER 2335 NEW BEST:: SOT 52111806 SOS 14304899 HAS SOPS 14304899 HAS SOUS 9058147 HAS SOUPS 9058147 WITH SCORE 9072451.899
AT ITER 2340 NEW BEST:: SOT 52108532 SOS 14299988 HAS SOPS 14299988 HAS SOUS 9058147 HAS SOUPS 9058147 WITH SCORE 9072446.988
AT ITER 2344 NEW BEST:: SOT 52108390 SOS 14299774 HAS SOPS 14299774 HAS SOUS 9058144 HAS SOUPS 9058144 WITH SCORE 9072443.774
AT ITER 2346 NEW BEST:: SOT 52108047 SOS 14299355 HAS SOPS 14299355 HAS SOUS 9058066 HAS SOUPS 9058066 WITH SCORE 9072365.355
AT ITER 2348 NEW BEST:: SOT 52107909 SOS 14299171 HAS SOPS 14299171 HAS SOUS 9058020 HAS SOUPS 9058020 WITH SCORE 9072319.171
AT ITER 2357 NEW BEST:: SOT 52107493 SOS 14298546 HAS SOPS 14298546 HAS SOUS 9058017 HAS SOUPS 9058017 WITH SCORE 9072315.546
AT ITER 2383 NEW BEST:: SOT 52107243 SOS 14298226 HAS SOPS 14298226 HAS SOUS 9057947 HAS SOUPS 9057947 WITH SCORE 9072245.226
AT ITER 2391 NEW BEST:: SOT 52104241 SOS 14293722 HAS SOPS 14293722 HAS SOUS 9057944 HAS SOUPS 9057944 WITH SCORE 9072237.722
AT ITER 2394 NEW BEST:: SOT 52102333 SOS 14291178 HAS SOPS 14291178 HAS SOUS 9057308 HAS SOUPS 9057308 WITH SCORE 9071599.178
AT ITER 2427 NEW BEST:: SOT 52099877 SOS 14287493 HAS SOPS 14287493 HAS SOUS 9057305 HAS SOUPS 9057305 WITH SCORE 9071592.493
AT ITER 2470 NEW BEST:: SOT 52097757 SOS 14284312 HAS SOPS 14284312 HAS SOUS 9057302 HAS SOUPS 9057302 WITH SCORE 9071586.312
AT ITER 2476 NEW BEST:: SOT 52096437 SOS 14282665 HAS SOPS 14282665 HAS SOUS 9056973 HAS SOUPS 9056973 WITH SCORE 9071255.665
AT ITER 2519 NEW BEST:: SOT 52092317 SOS 14275730 HAS SOPS 14275730 HAS SOUS 9054242 HAS SOUPS 9054242 WITH SCORE 9068517.73
AT ITER 2538 NEW BEST:: SOT 52091321 SOS 14274402 HAS SOPS 14274402 HAS SOUS 9053910 HAS SOUPS 9053910 WITH SCORE 9068184.402
AT ITER 2541 NEW BEST:: SOT 52088531 SOS 14269703 HAS SOPS 14269703 HAS SOUS 9052003 HAS SOUPS 9052003 WITH SCORE 9066272.703
AT ITER 2555 NEW BEST:: SOT 52086967 SOS 14267357 HAS SOPS 14267357 HAS SOUS 9052003 HAS SOUPS 9052003 WITH SCORE 9066270.357
AT ITER 2562 NEW BEST:: SOT 52085947 SOS 14265317 HAS SOPS 14265317 HAS SOUS 9050473 HAS SOUPS 9050473 WITH SCORE 9064738.317
AT ITER 2567 NEW BEST:: SOT 52083029 SOS 14261754 HAS SOPS 14261754 HAS SOUS 9049826 HAS SOUPS 9049826 WITH SCORE 9064087.754
AT ITER 2574 NEW BEST:: SOT 52081385 SOS 14259287 HAS SOPS 14259287 HAS SOUS 9049823 HAS SOUPS 9049823 WITH SCORE 9064082.287
AT ITER 2578 NEW BEST:: SOT 52079211 SOS 14256026 HAS SOPS 14256026 HAS SOUS 9049823 HAS SOUPS 9049823 WITH SCORE 9064079.026
AT ITER 2590 NEW BEST:: SOT 52077927 SOS 14254314 HAS SOPS 14254314 HAS SOUS 9049395 HAS SOUPS 9049395 WITH SCORE 9063649.314
AT ITER 2622 NEW BEST:: SOT 52076448 SOS 14252342 HAS SOPS 14252342 HAS SOUS 9048902 HAS SOUPS 9048902 WITH SCORE 9063154.342
AT ITER 2666 NEW BEST:: SOT 52074305 SOS 14249863 HAS SOPS 14249863 HAS SOUS 9048564 HAS SOUPS 9048564 WITH SCORE 9062813.863
AT ITER 2720 NEW BEST:: SOT 52073844 SOS 14248941 HAS SOPS 14248941 HAS SOUS 9048564 HAS SOUPS 9048564 WITH SCORE 9062812.941
AT ITER 2732 NEW BEST:: SOT 52072120 SOS 14246354 HAS SOPS 14246354 HAS SOUS 9048561 HAS SOUPS 9048561 WITH SCORE 9062807.354
AT ITER 2736 NEW BEST:: SOT 52071412 SOS 14245291 HAS SOPS 14245291 HAS SOUS 9048558 HAS SOUPS 9048558 WITH SCORE 9062803.291
AT ITER 2753 NEW BEST:: SOT 52068058 SOS 14241076 HAS SOPS 14241076 HAS SOUS 9047695 HAS SOUPS 9047695 WITH SCORE 9061936.076
AT ITER 2804 NEW BEST:: SOT 52066758 SOS 14239483 HAS SOPS 14239483 HAS SOUS 9047400 HAS SOUPS 9047400 WITH SCORE 9061639.483
AT ITER 2858 NEW BEST:: SOT 52065396 SOS 14237667 HAS SOPS 14237667 HAS SOUS 9046946 HAS SOUPS 9046946 WITH SCORE 9061183.667
AT ITER 2862 NEW BEST:: SOT 52064889 SOS 14237019 HAS SOPS 14237019 HAS SOUS 9046805 HAS SOUPS 9046805 WITH SCORE 9061042.019
AT ITER 2864 NEW BEST:: SOT 52063023 SOS 14235618 HAS SOPS 14235618 HAS SOUS 9046756 HAS SOUPS 9046756 WITH SCORE 9060991.618
AT ITER 2865 NEW BEST:: SOT 52060021 SOS 14231114 HAS SOPS 14231114 HAS SOUS 9046753 HAS SOUPS 9046753 WITH SCORE 9060984.114
AT ITER 2868 NEW BEST:: SOT 52059805 SOS 14230825 HAS SOPS 14230825 HAS SOUS 9046678 HAS SOUPS 9046678 WITH SCORE 9060908.825
AT ITER 2878 NEW BEST:: SOT 52058116 SOS 14228572 HAS SOPS 14228572 HAS SOUS 9046112 HAS SOUPS 9046112 WITH SCORE 9060340.572
AT ITER 2901 NEW BEST:: SOT 52058029 SOS 14228455 HAS SOPS 14228455 HAS SOUS 9046080 HAS SOUPS 9046080 WITH SCORE 9060308.455
AT ITER 2904 NEW BEST:: SOT 52055758 SOS 14225426 HAS SOPS 14225426 HAS SOUS 9045320 HAS SOUPS 9045320 WITH SCORE 9059545.426
AT ITER 2962 NEW BEST:: SOT 52053010 SOS 14221762 HAS SOPS 14221762 HAS SOUS 9044404 HAS SOUPS 9044404 WITH SCORE 9058625.762
AT ITER 3001 NEW BEST:: SOT 52050596 SOS 14218141 HAS SOPS 14218141 HAS SOUS 9044404 HAS SOUPS 9044404 WITH SCORE 9058622.141
AT ITER 3008 NEW BEST:: SOT 52047258 SOS 14214299 HAS SOPS 14214299 HAS SOUS 9043966 HAS SOUPS 9043966 WITH SCORE 9058180.299
AT ITER 3009 NEW BEST:: SOT 52046571 SOS 14213382 HAS SOPS 14213382 HAS SOUS 9043734 HAS SOUPS 9043734 WITH SCORE 9057947.382
AT ITER 3022 NEW BEST:: SOT 52046283 SOS 14212806 HAS SOPS 14212806 HAS SOUS 9043446 HAS SOUPS 9043446 WITH SCORE 9057658.806
AT ITER 3039 NEW BEST:: SOT 52044205 SOS 14210192 HAS SOPS 14210192 HAS SOUS 9042910 HAS SOUPS 9042910 WITH SCORE 9057120.192
AT ITER 3104 NEW BEST:: SOT 52042147 SOS 14207538 HAS SOPS 14207538 HAS SOUS 9042314 HAS SOUPS 9042314 WITH SCORE 9056521.538
AT ITER 3110 NEW BEST:: SOT 52040532 SOS 14205501 HAS SOPS 14205501 HAS SOUS 9041960 HAS SOUPS 9041960 WITH SCORE 9056165.501
AT ITER 3114 NEW BEST:: SOT 52038074 SOS 14201814 HAS SOPS 14201814 HAS SOUS 9041960 HAS SOUPS 9041960 WITH SCORE 9056161.814
AT ITER 3122 NEW BEST:: SOT 52037138 SOS 14200409 HAS SOPS 14200409 HAS SOUS 9041957 HAS SOUPS 9041957 WITH SCORE 9056157.409
AT ITER 3130 NEW BEST:: SOT 52034605 SOS 14197303 HAS SOPS 14197303 HAS SOUS 9041384 HAS SOUPS 9041384 WITH SCORE 9055581.303
AT ITER 3156 NEW BEST:: SOT 52034245 SOS 14196762 HAS SOPS 14196762 HAS SOUS 9041381 HAS SOUPS 9041381 WITH SCORE 9055577.762
AT ITER 3161 NEW BEST:: SOT 52033198 SOS 14195637 HAS SOPS 14195637 HAS SOUS 9041301 HAS SOUPS 9041301 WITH SCORE 9055496.637
AT ITER 3162 NEW BEST:: SOT 52030502 SOS 14191592 HAS SOPS 14191592 HAS SOUS 9041298 HAS SOUPS 9041298 WITH SCORE 9055489.592
AT ITER 3167 NEW BEST:: SOT 52027779 SOS 14188407 HAS SOPS 14188407 HAS SOUS 9040834 HAS SOUPS 9040834 WITH SCORE 9055022.407
AT ITER 3174 NEW BEST:: SOT 52025774 SOS 14184831 HAS SOPS 14184831 HAS SOUS 9038943 HAS SOUPS 9038943 WITH SCORE 9053127.831
AT ITER 3201 NEW BEST:: SOT 52024106 SOS 14182328 HAS SOPS 14182328 HAS SOUS 9038940 HAS SOUPS 9038940 WITH SCORE 9053122.328
AT ITER 3207 NEW BEST:: SOT 52023274 SOS 14181495 HAS SOPS 14181495 HAS SOUS 9038937 HAS SOUPS 9038937 WITH SCORE 9053118.495
AT ITER 3209 NEW BEST:: SOT 52021212 SOS 14178401 HAS SOPS 14178401 HAS SOUS 9038934 HAS SOUPS 9038934 WITH SCORE 9053112.401
AT ITER 3255 NEW BEST:: SOT 52018960 SOS 14175519 HAS SOPS 14175519 HAS SOUS 9038304 HAS SOUPS 9038304 WITH SCORE 9052479.519
AT ITER 3279 NEW BEST:: SOT 52016266 SOS 14171477 HAS SOPS 14171477 HAS SOUS 9038301 HAS SOUPS 9038301 WITH SCORE 9052472.477
AT ITER 3307 NEW BEST:: SOT 52014820 SOS 14169549 HAS SOPS 14169549 HAS SOUS 9037819 HAS SOUPS 9037819 WITH SCORE 9051988.549
AT ITER 3311 NEW BEST:: SOT 52014487 SOS 14169105 HAS SOPS 14169105 HAS SOUS 9037708 HAS SOUPS 9037708 WITH SCORE 9051877.105
AT ITER 3332 NEW BEST:: SOT 52012659 SOS 14166362 HAS SOPS 14166362 HAS SOUS 9037705 HAS SOUPS 9037705 WITH SCORE 9051871.362
AT ITER 3351 NEW BEST:: SOT 52010127 SOS 14163102 HAS SOPS 14163102 HAS SOUS 9037046 HAS SOUPS 9037046 WITH SCORE 9051209.102
AT ITER 3368 NEW BEST:: SOT 52006901 SOS 14159087 HAS SOPS 14159087 HAS SOUS 9036255 HAS SOUPS 9036255 WITH SCORE 9050414.087
AT ITER 3370 NEW BEST:: SOT 52005887 SOS 14157735 HAS SOPS 14157735 HAS SOUS 9035917 HAS SOUPS 9035917 WITH SCORE 9050074.735
AT ITER 3372 NEW BEST:: SOT 52004883 SOS 14156251 HAS SOPS 14156251 HAS SOUS 9035037 HAS SOUPS 9035037 WITH SCORE 9049193.251
AT ITER 3395 NEW BEST:: SOT 52002798 SOS 14153484 HAS SOPS 14153484 HAS SOUS 9032823 HAS SOUPS 9032823 WITH SCORE 9046976.484
AT ITER 3403 NEW BEST:: SOT 51999024 SOS 14146978 HAS SOPS 14146978 HAS SOUS 9029851 HAS SOUPS 9029851 WITH SCORE 9043997.978
AT ITER 3421 NEW BEST:: SOT 51999024 SOS 14146977 HAS SOPS 14146977 HAS SOUS 9029848 HAS SOUPS 9029848 WITH SCORE 9043994.977
AT ITER 3430 NEW BEST:: SOT 51998020 SOS 14145470 HAS SOPS 14145470 HAS SOUS 9029845 HAS SOUPS 9029845 WITH SCORE 9043990.47
AT ITER 3445 NEW BEST:: SOT 51996721 SOS 14144516 HAS SOPS 14144516 HAS SOUS 9029845 HAS SOUPS 9029845 WITH SCORE 9043989.516
AT ITER 3454 NEW BEST:: SOT 51993721 SOS 14140016 HAS SOPS 14140016 HAS SOUS 9029845 HAS SOUPS 9029845 WITH SCORE 9043985.016
AT ITER 3483 NEW BEST:: SOT 51992675 SOS 14139052 HAS SOPS 14139052 HAS SOUS 9029845 HAS SOUPS 9029845 WITH SCORE 9043984.052
AT ITER 3502 NEW BEST:: SOT 51989987 SOS 14135020 HAS SOPS 14135020 HAS SOUS 9029845 HAS SOUPS 9029845 WITH SCORE 9043980.02
AT ITER 3513 NEW BEST:: SOT 51986486 SOS 14129162 HAS SOPS 14129162 HAS SOUS 9027487 HAS SOUPS 9027487 WITH SCORE 9041616.162
AT ITER 3558 NEW BEST:: SOT 51985162 SOS 14127563 HAS SOPS 14127563 HAS SOUS 9027210 HAS SOUPS 9027210 WITH SCORE 9041337.563
AT ITER 3594 NEW BEST:: SOT 51984718 SOS 14126675 HAS SOPS 14126675 HAS SOUS 9026544 HAS SOUPS 9026544 WITH SCORE 9040670.675
AT ITER 3606 NEW BEST:: SOT 51980419 SOS 14119445 HAS SOPS 14119445 HAS SOUS 9023651 HAS SOUPS 9023651 WITH SCORE 9037770.445
AT ITER 3619 NEW BEST:: SOT 51979471 SOS 14118181 HAS SOPS 14118181 HAS SOUS 9023335 HAS SOUPS 9023335 WITH SCORE 9037453.181
AT ITER 3628 NEW BEST:: SOT 51977506 SOS 14115638 HAS SOPS 14115638 HAS SOUS 9022755 HAS SOUPS 9022755 WITH SCORE 9036870.638
AT ITER 3634 NEW BEST:: SOT 51976450 SOS 14114230 HAS SOPS 14114230 HAS SOUS 9022403 HAS SOUPS 9022403 WITH SCORE 9036517.23
AT ITER 3665 NEW BEST:: SOT 51974144 SOS 14110770 HAS SOPS 14110770 HAS SOUS 9022400 HAS SOUPS 9022400 WITH SCORE 9036510.77
AT ITER 3670 NEW BEST:: SOT 51972794 SOS 14108520 HAS SOPS 14108520 HAS SOUS 9020600 HAS SOUPS 9020600 WITH SCORE 9034708.52
AT ITER 3691 NEW BEST:: SOT 51970097 SOS 14105251 HAS SOPS 14105251 HAS SOUS 9020026 HAS SOUPS 9020026 WITH SCORE 9034131.251
AT ITER 3701 NEW BEST:: SOT 51969633 SOS 14104682 HAS SOPS 14104682 HAS SOUS 9019855 HAS SOUPS 9019855 WITH SCORE 9033959.682
AT ITER 3736 NEW BEST:: SOT 51968515 SOS 14103005 HAS SOPS 14103005 HAS SOUS 9019855 HAS SOUPS 9019855 WITH SCORE 9033958.005
AT ITER 3756 NEW BEST:: SOT 51966535 SOS 14100034 HAS SOPS 14100034 HAS SOUS 9019852 HAS SOUPS 9019852 WITH SCORE 9033952.034
AT ITER 3768 NEW BEST:: SOT 51964487 SOS 14096743 HAS SOPS 14096743 HAS SOUS 9019138 HAS SOUPS 9019138 WITH SCORE 9033234.743
AT ITER 3809 NEW BEST:: SOT 51963221 SOS 14094843 HAS SOPS 14094843 HAS SOUS 9019135 HAS SOUPS 9019135 WITH SCORE 9033229.843
AT ITER 3822 NEW BEST:: SOT 51959891 SOS 14089848 HAS SOPS 14089848 HAS SOUS 9019135 HAS SOUPS 9019135 WITH SCORE 9033224.848
AT ITER 3835 NEW BEST:: SOT 51958074 SOS 14087798 HAS SOPS 14087798 HAS SOUS 9019125 HAS SOUPS 9019125 WITH SCORE 9033212.798
AT ITER 3843 NEW BEST:: SOT 51955048 SOS 14083258 HAS SOPS 14083258 HAS SOUS 9019122 HAS SOUPS 9019122 WITH SCORE 9033205.258
AT ITER 3851 NEW BEST:: SOT 51954592 SOS 14082649 HAS SOPS 14082649 HAS SOUS 9018967 HAS SOUPS 9018967 WITH SCORE 9033049.649
AT ITER 3857 NEW BEST:: SOT 51952304 SOS 14079216 HAS SOPS 14079216 HAS SOUS 9018964 HAS SOUPS 9018964 WITH SCORE 9033043.216
AT ITER 3886 NEW BEST:: SOT 51948935 SOS 14073561 HAS SOPS 14073561 HAS SOUS 9016591 HAS SOUPS 9016591 WITH SCORE 9030664.561
AT ITER 3892 NEW BEST:: SOT 51947883 SOS 14071982 HAS SOPS 14071982 HAS SOUS 9016588 HAS SOUPS 9016588 WITH SCORE 9030659.982
AT ITER 3898 NEW BEST:: SOT 51944633 SOS 14067107 HAS SOPS 14067107 HAS SOUS 9016588 HAS SOUPS 9016588 WITH SCORE 9030655.107
AT ITER 3917 NEW BEST:: SOT 51942761 SOS 14064611 HAS SOPS 14064611 HAS SOUS 9015964 HAS SOUPS 9015964 WITH SCORE 9030028.611
AT ITER 3918 NEW BEST:: SOT 51939817 SOS 14060194 HAS SOPS 14060194 HAS SOUS 9015961 HAS SOUPS 9015961 WITH SCORE 9030021.194
AT ITER 3937 NEW BEST:: SOT 51939152 SOS 14058864 HAS SOPS 14058864 HAS SOUS 9015961 HAS SOUPS 9015961 WITH SCORE 9030019.864
AT ITER 3993 NEW BEST:: SOT 51937985 SOS 14056919 HAS SOPS 14056919 HAS SOUS 9014405 HAS SOUPS 9014405 WITH SCORE 9028461.919
AT ITER 4003 NEW BEST:: SOT 51936933 SOS 14054815 HAS SOPS 14054815 HAS SOUS 9013127 HAS SOUPS 9013127 WITH SCORE 9027181.815
AT ITER 4025 NEW BEST:: SOT 51934799 SOS 14051614 HAS SOPS 14051614 HAS SOUS 9013127 HAS SOUPS 9013127 WITH SCORE 9027178.614
AT ITER 4049 NEW BEST:: SOT 51932683 SOS 14048439 HAS SOPS 14048439 HAS SOUS 9013124 HAS SOUPS 9013124 WITH SCORE 9027172.439
AT ITER 4061 NEW BEST:: SOT 51931687 SOS 14047443 HAS SOPS 14047443 HAS SOUS 9013124 HAS SOUPS 9013124 WITH SCORE 9027171.443
AT ITER 4063 NEW BEST:: SOT 51930571 SOS 14045954 HAS SOPS 14045954 HAS SOUS 9012749 HAS SOUPS 9012749 WITH SCORE 9026794.954
AT ITER 4069 NEW BEST:: SOT 51928343 SOS 14042612 HAS SOPS 14042612 HAS SOUS 9012749 HAS SOUPS 9012749 WITH SCORE 9026791.612
AT ITER 4074 NEW BEST:: SOT 51926175 SOS 14039228 HAS SOPS 14039228 HAS SOUS 9012306 HAS SOUPS 9012306 WITH SCORE 9026345.228
AT ITER 4085 NEW BEST:: SOT 51924031 SOS 14036011 HAS SOPS 14036011 HAS SOUS 9012303 HAS SOUPS 9012303 WITH SCORE 9026339.011
AT ITER 4112 NEW BEST:: SOT 51923596 SOS 14035430 HAS SOPS 14035430 HAS SOUS 9012155 HAS SOUPS 9012155 WITH SCORE 9026190.43
AT ITER 4133 NEW BEST:: SOT 51922492 SOS 14033774 HAS SOPS 14033774 HAS SOUS 9012155 HAS SOUPS 9012155 WITH SCORE 9026188.774
AT ITER 4144 NEW BEST:: SOT 51919425 SOS 14029958 HAS SOPS 14029958 HAS SOUS 9011406 HAS SOUPS 9011406 WITH SCORE 9025435.958
AT ITER 4146 NEW BEST:: SOT 51918017 SOS 14027845 HAS SOPS 14027845 HAS SOUS 9011403 HAS SOUPS 9011403 WITH SCORE 9025430.845
AT ITER 4175 NEW BEST:: SOT 51916457 SOS 14025505 HAS SOPS 14025505 HAS SOUS 9011403 HAS SOUPS 9011403 WITH SCORE 9025428.505
AT ITER 4189 NEW BEST:: SOT 51913513 SOS 14021659 HAS SOPS 14021659 HAS SOUS 9010548 HAS SOUPS 9010548 WITH SCORE 9024569.659
AT ITER 4224 NEW BEST:: SOT 51912337 SOS 14019307 HAS SOPS 14019307 HAS SOUS 9009664 HAS SOUPS 9009664 WITH SCORE 9023683.307
AT ITER 4225 NEW BEST:: SOT 51909455 SOS 14014984 HAS SOPS 14014984 HAS SOUS 9009664 HAS SOUPS 9009664 WITH SCORE 9023678.984
AT ITER 4227 NEW BEST:: SOT 51909055 SOS 14014384 HAS SOPS 14014384 HAS SOUS 9009064 HAS SOUPS 9009064 WITH SCORE 9023078.384
AT ITER 4242 NEW BEST:: SOT 51907309 SOS 14011765 HAS SOPS 14011765 HAS SOUS 9009064 HAS SOUPS 9009064 WITH SCORE 9023075.765
AT ITER 4248 NEW BEST:: SOT 51906955 SOS 14011234 HAS SOPS 14011234 HAS SOUS 9009064 HAS SOUPS 9009064 WITH SCORE 9023075.234
AT ITER 4282 NEW BEST:: SOT 51903236 SOS 14006607 HAS SOPS 14006607 HAS SOUS 9008154 HAS SOUPS 9008154 WITH SCORE 9022160.607
AT ITER 4308 NEW BEST:: SOT 51901718 SOS 14004583 HAS SOPS 14004583 HAS SOUS 9007648 HAS SOUPS 9007648 WITH SCORE 9021652.583
AT ITER 4316 NEW BEST:: SOT 51899270 SOS 14000911 HAS SOPS 14000911 HAS SOUS 9007648 HAS SOUPS 9007648 WITH SCORE 9021648.911
AT ITER 4334 NEW BEST:: SOT 51897252 SOS 13997883 HAS SOPS 13997883 HAS SOUS 9007645 HAS SOUPS 9007645 WITH SCORE 9021642.883
AT ITER 4371 NEW BEST:: SOT 51894828 SOS 13994246 HAS SOPS 13994246 HAS SOUS 9007642 HAS SOUPS 9007642 WITH SCORE 9021636.246
AT ITER 4396 NEW BEST:: SOT 51892802 SOS 13990194 HAS SOPS 13990194 HAS SOUS 9004603 HAS SOUPS 9004603 WITH SCORE 9018593.194
AT ITER 4400 NEW BEST:: SOT 51890345 SOS 13986210 HAS SOPS 13986210 HAS SOUS 9003533 HAS SOUPS 9003533 WITH SCORE 9017519.21
AT ITER 4412 NEW BEST:: SOT 51889521 SOS 13984974 HAS SOPS 13984974 HAS SOUS 9003533 HAS SOUPS 9003533 WITH SCORE 9017517.974
AT ITER 4413 NEW BEST:: SOT 51886409 SOS 13980306 HAS SOPS 13980306 HAS SOUS 9003533 HAS SOUPS 9003533 WITH SCORE 9017513.306
AT ITER 4417 NEW BEST:: SOT 51886067 SOS 13980216 HAS SOPS 13980216 HAS SOUS 9003533 HAS SOUPS 9003533 WITH SCORE 9017513.216
AT ITER 4422 NEW BEST:: SOT 51882005 SOS 13973298 HAS SOPS 13973298 HAS SOUS 9000653 HAS SOUPS 9000653 WITH SCORE 9014626.298
AT ITER 4457 NEW BEST:: SOT 51880485 SOS 13971018 HAS SOPS 13971018 HAS SOUS 9000653 HAS SOUPS 9000653 WITH SCORE 9014624.018
AT ITER 4484 NEW BEST:: SOT 51877995 SOS 13967794 HAS SOPS 13967794 HAS SOUS 8999976 HAS SOUPS 8999976 WITH SCORE 9013943.794
AT ITER 4565 NEW BEST:: SOT 51876635 SOS 13965754 HAS SOPS 13965754 HAS SOUS 8999976 HAS SOUPS 8999976 WITH SCORE 9013941.754
AT ITER 4576 NEW BEST:: SOT 51875441 SOS 13963963 HAS SOPS 13963963 HAS SOUS 8999976 HAS SOUPS 8999976 WITH SCORE 9013939.963
AT ITER 4579 NEW BEST:: SOT 51875469 SOS 13963752 HAS SOPS 13963752 HAS SOUS 8999203 HAS SOUPS 8999203 WITH SCORE 9013166.752
AT ITER 4606 NEW BEST:: SOT 51872217 SOS 13958873 HAS SOPS 13958873 HAS SOUS 8999200 HAS SOUPS 8999200 WITH SCORE 9013158.873
AT ITER 4612 NEW BEST:: SOT 51869845 SOS 13954217 HAS SOPS 13954217 HAS SOUS 8995906 HAS SOUPS 8995906 WITH SCORE 9009860.217
AT ITER 4614 NEW BEST:: SOT 51867022 SOS 13950902 HAS SOPS 13950902 HAS SOUS 8995439 HAS SOUPS 8995439 WITH SCORE 9009389.902
AT ITER 4631 NEW BEST:: SOT 51865902 SOS 13949222 HAS SOPS 13949222 HAS SOUS 8995439 HAS SOUPS 8995439 WITH SCORE 9009388.222
AT ITER 4658 NEW BEST:: SOT 51864858 SOS 13947936 HAS SOPS 13947936 HAS SOUS 8995260 HAS SOUPS 8995260 WITH SCORE 9009207.936
AT ITER 4666 NEW BEST:: SOT 51864440 SOS 13947822 HAS SOPS 13947822 HAS SOUS 8995260 HAS SOUPS 8995260 WITH SCORE 9009207.822
AT ITER 4748 NEW BEST:: SOT 51861630 SOS 13943606 HAS SOPS 13943606 HAS SOUS 8995257 HAS SOUPS 8995257 WITH SCORE 9009200.606
AT ITER 4788 NEW BEST:: SOT 51859742 SOS 13940774 HAS SOPS 13940774 HAS SOUS 8995257 HAS SOUPS 8995257 WITH SCORE 9009197.774
AT ITER 4797 NEW BEST:: SOT 51858932 SOS 13939964 HAS SOPS 13939964 HAS SOUS 8995257 HAS SOUPS 8995257 WITH SCORE 9009196.964
AT ITER 4817 NEW BEST:: SOT 51856844 SOS 13936832 HAS SOPS 13936832 HAS SOUS 8995257 HAS SOUPS 8995257 WITH SCORE 9009193.832
AT ITER 4819 NEW BEST:: SOT 51856593 SOS 13936510 HAS SOPS 13936510 HAS SOUS 8995186 HAS SOUPS 8995186 WITH SCORE 9009122.51
AT ITER 4835 NEW BEST:: SOT 51854332 SOS 13933005 HAS SOPS 13933005 HAS SOUS 8992358 HAS SOUPS 8992358 WITH SCORE 9006291.005
AT ITER 4859 NEW BEST:: SOT 51853661 SOS 13931663 HAS SOPS 13931663 HAS SOUS 8991351 HAS SOUPS 8991351 WITH SCORE 9005282.663
AT ITER 4868 NEW BEST:: SOT 51853603 SOS 13931547 HAS SOPS 13931547 HAS SOUS 8991351 HAS SOUPS 8991351 WITH SCORE 9005282.547
AT ITER 4873 NEW BEST:: SOT 51849548 SOS 13926477 HAS SOPS 13926477 HAS SOUS 8990336 HAS SOUPS 8990336 WITH SCORE 9004262.477
AT ITER 4884 NEW BEST:: SOT 51848378 SOS 13924721 HAS SOPS 13924721 HAS SOUS 8990333 HAS SOUPS 8990333 WITH SCORE 9004257.721
AT ITER 4903 NEW BEST:: SOT 51846923 SOS 13922854 HAS SOPS 13922854 HAS SOUS 8989963 HAS SOUPS 8989963 WITH SCORE 9003885.854
AT ITER 4917 NEW BEST:: SOT 51846182 SOS 13921865 HAS SOPS 13921865 HAS SOUS 8989713 HAS SOUPS 8989713 WITH SCORE 9003634.865
AT ITER 4956 NEW BEST:: SOT 51844144 SOS 13918807 HAS SOPS 13918807 HAS SOUS 8989710 HAS SOUPS 8989710 WITH SCORE 9003628.807
AT ITER 4970 NEW BEST:: SOT 51843193 SOS 13917222 HAS SOPS 13917222 HAS SOUS 8988442 HAS SOUPS 8988442 WITH SCORE 9002359.222
AT ITER 4978 NEW BEST:: SOT 51841570 SOS 13914551 HAS SOPS 13914551 HAS SOUS 8986380 HAS SOUPS 8986380 WITH SCORE 9000294.551
AT ITER 4984 NEW BEST:: SOT 51839833 SOS 13912234 HAS SOPS 13912234 HAS SOUS 8985798 HAS SOUPS 8985798 WITH SCORE 8999710.234
Bounds file is: CTLFireability.xml
PROPERTY: ViralEpidemic-PT-S02D1C1A10-CTLFireability-00 ( ( ((potential((tk(P6232)>=1) & (tk(P6234)>=1)))) | ((potential((tk(P1038)>=1) & (tk(P1042)>=1)))) ) | ( ( ((potential((tk(P4953)>=1)))) | (AU( ((potential((tk(P3621)>=1) & (tk(P3625)>=1)))) , ((potential((tk(P4793)>=1) & (tk(P4799)>=1)))) )) ) | (AF( (EX( ((potential((tk(P2315)>=1) & (tk(P2318)>=1)))))))) ) )
PROPERTY: ViralEpidemic-PT-S02D1C1A10-CTLFireability-01 (! ( (AF( (AX( ((potential((tk(P678)>=1) & (tk(P684)>=1)))))))) | (EF( (EF( ((potential((tk(P6549)>=1) & (tk(P6551)>=1)))))))) ))
PROPERTY: ViralEpidemic-PT-S02D1C1A10-CTLFireability-02 (AF( (EF( ( ( ((potential((tk(P6892)>=1) & (tk(P6894)>=1)))) | ((potential((tk(P4933)>=1) & (tk(P4940)>=1)))) ) & ( ((potential((tk(P7520)>=1) & (tk(P7550)>=1)))) & ((potential((tk(P4710)>=1) & (tk(P4711)>=1)))) ) )))))
PROPERTY: ViralEpidemic-PT-S02D1C1A10-CTLFireability-03 (AG( ( (! ((potential((tk(P6834)>=1))))) | ((potential((tk(P5383)>=1)))) )))
PROPERTY: ViralEpidemic-PT-S02D1C1A10-CTLFireability-04 (AX( (EF( (AG( ((potential((tk(P1254)>=1) & (tk(P1260)>=1))))))))))
PROPERTY: ViralEpidemic-PT-S02D1C1A10-CTLFireability-05 (EF( ( ((potential((tk(P964)>=1)))) & (AG( ( ((potential((tk(P7273)>=1) & (tk(P7279)>=1)))) & ((potential((tk(P723)>=1) & (tk(P728)>=1)))) ))) )))
PROPERTY: ViralEpidemic-PT-S02D1C1A10-CTLFireability-06 (EU( ((potential((tk(P823)>=1) & (tk(P826)>=1)))) , ( (! ( ((potential((tk(P7783)>=1)))) | ((potential((tk(P6301)>=1) & (tk(P6303)>=1)))) )) & (AF( ((potential((tk(P5925)>=1) & (tk(P5932)>=1)))))) ) ))
PROPERTY: ViralEpidemic-PT-S02D1C1A10-CTLFireability-07 ( ( (EU( ( ((potential((tk(P1749)>=1) & (tk(P1752)>=1)))) & ((potential((tk(P4625)>=1) & (tk(P4627)>=1)))) ) , ((potential((tk(P924)>=1)))) )) & (EU( ( ((potential((tk(P5563)>=1) & (tk(P5566)>=1)))) & ((potential((tk(P4060)>=1) & (tk(P4061)>=1)))) ) , ((potential((tk(P3647)>=1) & (tk(P3773)>=1)))) )) ) | (EX( (EG( (! ((potential((tk(P4134)>=1) & (tk(P4135)>=1))))))))) )
PROPERTY: ViralEpidemic-PT-S02D1C1A10-CTLFireability-08 (AF( (AU( (! ((potential((tk(P2070)>=1))))) , ( ((potential((tk(P7707)>=1) & (tk(P7709)>=1)))) & ((potential((tk(P5461)>=1) & (tk(P5464)>=1)))) ) ))))
PROPERTY: ViralEpidemic-PT-S02D1C1A10-CTLFireability-09 ( (AF( ( (AF( ((potential((tk(P584)>=1) & (tk(P586)>=1)))))) & ( ( ((potential((tk(P3779)>=1)))) & ((potential((tk(P1672)>=1)))) ) & ( ((potential((tk(P7095)>=1) & (tk(P7096)>=1)))) & ((potential((tk(P6600)>=1) & (tk(P6615)>=1)))) ) ) ))) | ((potential((tk(P1098)>=1)))) )
PROPERTY: ViralEpidemic-PT-S02D1C1A10-CTLFireability-10 (EF( (EU( ( ((potential((tk(P4806)>=1) & (tk(P4807)>=1)))) & ((potential((tk(P6422)>=1) & (tk(P6428)>=1)))) ) , ( ((potential((tk(P1488)>=1) & (tk(P1491)>=1)))) & ((potential((tk(P1772)>=1) & (tk(P1775)>=1)))) ) ))))
PROPERTY: ViralEpidemic-PT-S02D1C1A10-CTLFireability-11 (EF( ((potential((tk(P720)>=1) & (tk(P750)>=1))))))
PROPERTY: ViralEpidemic-PT-S02D1C1A10-CTLFireability-12 (AU( ( ( ( ((potential((tk(P5897)>=1)))) | ((potential((tk(P3979)>=1) & (tk(P3980)>=1)))) ) & (! ((potential((tk(P539)>=1) & (tk(P542)>=1))))) ) | (! ( ((potential((tk(P6810)>=1) & (tk(P6812)>=1)))) & ((potential((tk(P4403)>=1) & (tk(P4406)>=1)))) )) ) , (AG( ((potential((tk(P2896)>=1) & (tk(P2899)>=1)))))) ))
PROPERTY: ViralEpidemic-PT-S02D1C1A10-CTLFireability-13 ( (EG( (! (AF( ((potential((tk(P1651)>=1) & (tk(P1656)>=1))))))))) | (AF( ( ( ( ((potential((tk(P6606)>=1) & (tk(P6608)>=1)))) & ((potential((tk(P6124)>=1) & (tk(P6138)>=1)))) ) | ( ((potential((tk(P6459)>=1) & (tk(P6461)>=1)))) & ((potential((tk(P7890)>=1) & (tk(P7897)>=1)))) ) ) | (EX( ((potential((tk(P6603)>=1) & (tk(P6605)>=1)))))) ))) )
PROPERTY: ViralEpidemic-PT-S02D1C1A10-CTLFireability-14 (AU( (! (AF( ((potential((tk(P1845)>=1) & (tk(P1848)>=1))))))) , (AU( ((potential((tk(P6116)>=1) & (tk(P6117)>=1)))) , ((potential((tk(P8123)>=1) & (tk(P8125)>=1)))) )) ))
PROPERTY: ViralEpidemic-PT-S02D1C1A10-CTLFireability-15 (! ( (EF( (! (! ((potential((tk(P4542)>=1) & (tk(P4545)>=1)))))))) | ( (AU( ((potential((tk(P7226)>=1)))) , ((potential((tk(P3196)>=1) & (tk(P3209)>=1)))) )) & ( (EF( ((potential((tk(P6715)>=1) & (tk(P6717)>=1)))))) | (EF( ((potential((tk(P2590)>=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="ViralEpidemic-PT-S02D1C1A10"
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 ViralEpidemic-PT-S02D1C1A10, 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 r224-oct2-159033538800476"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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