fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r048-ebro-158902542000292
Last Updated
Jun 28, 2020

About the Execution of smart for DES-PT-40a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15765.760 3600000.00 3600039.00 10.10 [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 '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902542000292.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-40a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542000292
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 256K
-rw-r--r-- 1 mcc users 3.0K Mar 30 01:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 30 01:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 28 16:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 16:19 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.2K Apr 8 14:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 8 14:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 27 08:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 27 08:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 26 08:18 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 26 08:18 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 83K 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-40a-CTLFireability-00
FORMULA_NAME DES-PT-40a-CTLFireability-01
FORMULA_NAME DES-PT-40a-CTLFireability-02
FORMULA_NAME DES-PT-40a-CTLFireability-03
FORMULA_NAME DES-PT-40a-CTLFireability-04
FORMULA_NAME DES-PT-40a-CTLFireability-05
FORMULA_NAME DES-PT-40a-CTLFireability-06
FORMULA_NAME DES-PT-40a-CTLFireability-07
FORMULA_NAME DES-PT-40a-CTLFireability-08
FORMULA_NAME DES-PT-40a-CTLFireability-09
FORMULA_NAME DES-PT-40a-CTLFireability-10
FORMULA_NAME DES-PT-40a-CTLFireability-11
FORMULA_NAME DES-PT-40a-CTLFireability-12
FORMULA_NAME DES-PT-40a-CTLFireability-13
FORMULA_NAME DES-PT-40a-CTLFireability-14
FORMULA_NAME DES-PT-40a-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589106927257

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 40a
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: 274 places, 231 transitions, 1116 arcs.
AT ITER 0 NEW BEST:: SOT 53145 SOS 49047 HAS SOPS 49047 HAS SOUS 26971 HAS SOUPS 26971 WITH SCORE 27020.047
AT ITER 8 NEW BEST:: SOT 49159 SOS 45163 HAS SOPS 45163 HAS SOUS 23087 HAS SOUPS 23087 WITH SCORE 23132.163
AT ITER 14 NEW BEST:: SOT 49053 SOS 45057 HAS SOPS 45057 HAS SOUS 22984 HAS SOUPS 22984 WITH SCORE 23029.057
AT ITER 16 NEW BEST:: SOT 47633 SOS 43637 HAS SOPS 43637 HAS SOUS 21563 HAS SOUPS 21563 WITH SCORE 21606.637
AT ITER 17 NEW BEST:: SOT 47630 SOS 43634 HAS SOPS 43634 HAS SOUS 21559 HAS SOUPS 21559 WITH SCORE 21602.634
AT ITER 27 NEW BEST:: SOT 47622 SOS 43631 HAS SOPS 43631 HAS SOUS 21556 HAS SOUPS 21556 WITH SCORE 21599.631
AT ITER 28 NEW BEST:: SOT 47182 SOS 43200 HAS SOPS 43200 HAS SOUS 21125 HAS SOUPS 21125 WITH SCORE 21168.2
AT ITER 34 NEW BEST:: SOT 47167 SOS 43060 HAS SOPS 43060 HAS SOUS 20995 HAS SOUPS 20995 WITH SCORE 21038.06
AT ITER 41 NEW BEST:: SOT 47134 SOS 43027 HAS SOPS 43027 HAS SOUS 20961 HAS SOUPS 20961 WITH SCORE 21004.027
AT ITER 60 NEW BEST:: SOT 47131 SOS 43024 HAS SOPS 43024 HAS SOUS 20957 HAS SOUPS 20957 WITH SCORE 21000.024
AT ITER 66 NEW BEST:: SOT 47131 SOS 43024 HAS SOPS 43024 HAS SOUS 20946 HAS SOUPS 20946 WITH SCORE 20989.024
AT ITER 68 NEW BEST:: SOT 46915 SOS 42798 HAS SOPS 42798 HAS SOUS 20720 HAS SOUPS 20720 WITH SCORE 20762.798
AT ITER 69 NEW BEST:: SOT 46335 SOS 42216 HAS SOPS 42216 HAS SOUS 20602 HAS SOUPS 20602 WITH SCORE 20644.216
AT ITER 71 NEW BEST:: SOT 44591 SOS 40559 HAS SOPS 40559 HAS SOUS 18868 HAS SOUPS 18868 WITH SCORE 18908.559
AT ITER 84 NEW BEST:: SOT 44591 SOS 40558 HAS SOPS 40558 HAS SOUS 18867 HAS SOUPS 18867 WITH SCORE 18907.558
AT ITER 86 NEW BEST:: SOT 44489 SOS 40369 HAS SOPS 40369 HAS SOUS 18678 HAS SOUPS 18678 WITH SCORE 18718.369
AT ITER 97 NEW BEST:: SOT 44461 SOS 40362 HAS SOPS 40362 HAS SOUS 18671 HAS SOUPS 18671 WITH SCORE 18711.362
AT ITER 101 NEW BEST:: SOT 44222 SOS 40123 HAS SOPS 40123 HAS SOUS 18429 HAS SOUPS 18429 WITH SCORE 18469.123
AT ITER 105 NEW BEST:: SOT 44220 SOS 40108 HAS SOPS 40108 HAS SOUS 18427 HAS SOUPS 18427 WITH SCORE 18467.108
AT ITER 119 NEW BEST:: SOT 44218 SOS 40105 HAS SOPS 40105 HAS SOUS 18424 HAS SOUPS 18424 WITH SCORE 18464.105
AT ITER 142 NEW BEST:: SOT 43636 SOS 39523 HAS SOPS 39523 HAS SOUS 17841 HAS SOUPS 17841 WITH SCORE 17880.523
AT ITER 154 NEW BEST:: SOT 43636 SOS 39523 HAS SOPS 39523 HAS SOUS 17840 HAS SOUPS 17840 WITH SCORE 17879.523
AT ITER 157 NEW BEST:: SOT 42167 SOS 38054 HAS SOPS 38054 HAS SOUS 16344 HAS SOUPS 16344 WITH SCORE 16382.054
AT ITER 161 NEW BEST:: SOT 42167 SOS 38054 HAS SOPS 38054 HAS SOUS 16325 HAS SOUPS 16325 WITH SCORE 16363.054
AT ITER 176 NEW BEST:: SOT 42230 SOS 38128 HAS SOPS 38128 HAS SOUS 16222 HAS SOUPS 16222 WITH SCORE 16260.128
AT ITER 184 NEW BEST:: SOT 42249 SOS 38179 HAS SOPS 38179 HAS SOUS 16160 HAS SOUPS 16160 WITH SCORE 16198.179
AT ITER 185 NEW BEST:: SOT 42249 SOS 38167 HAS SOPS 38167 HAS SOUS 16160 HAS SOUPS 16160 WITH SCORE 16198.167
AT ITER 191 NEW BEST:: SOT 42263 SOS 38093 HAS SOPS 38093 HAS SOUS 16086 HAS SOUPS 16086 WITH SCORE 16124.093
AT ITER 199 NEW BEST:: SOT 42263 SOS 38093 HAS SOPS 38093 HAS SOUS 16084 HAS SOUPS 16084 WITH SCORE 16122.093
AT ITER 225 NEW BEST:: SOT 42242 SOS 38093 HAS SOPS 38093 HAS SOUS 16063 HAS SOUPS 16063 WITH SCORE 16101.093
AT ITER 252 NEW BEST:: SOT 42242 SOS 33058 HAS SOPS 33058 HAS SOUS 15963 HAS SOUPS 15963 WITH SCORE 15996.058
AT ITER 298 NEW BEST:: SOT 42242 SOS 33058 HAS SOPS 33058 HAS SOUS 15923 HAS SOUPS 15923 WITH SCORE 15956.058
AT ITER 300 NEW BEST:: SOT 42164 SOS 32980 HAS SOPS 32980 HAS SOUS 15861 HAS SOUPS 15861 WITH SCORE 15893.98
AT ITER 319 NEW BEST:: SOT 42150 SOS 32966 HAS SOPS 32966 HAS SOUS 15836 HAS SOUPS 15836 WITH SCORE 15868.966
AT ITER 350 NEW BEST:: SOT 42150 SOS 32966 HAS SOPS 32966 HAS SOUS 15835 HAS SOUPS 15835 WITH SCORE 15867.966
AT ITER 355 NEW BEST:: SOT 42149 SOS 32430 HAS SOPS 32430 HAS SOUS 15813 HAS SOUPS 15813 WITH SCORE 15845.43
AT ITER 357 NEW BEST:: SOT 41840 SOS 32121 HAS SOPS 32121 HAS SOUS 15793 HAS SOUPS 15793 WITH SCORE 15825.121
AT ITER 366 NEW BEST:: SOT 41752 SOS 32033 HAS SOPS 32033 HAS SOUS 15690 HAS SOUPS 15690 WITH SCORE 15722.033
AT ITER 368 NEW BEST:: SOT 41752 SOS 30977 HAS SOPS 30977 HAS SOUS 15681 HAS SOUPS 15681 WITH SCORE 15711.977
AT ITER 369 NEW BEST:: SOT 41728 SOS 30957 HAS SOPS 30957 HAS SOUS 15661 HAS SOUPS 15661 WITH SCORE 15691.957
AT ITER 375 NEW BEST:: SOT 41728 SOS 30940 HAS SOPS 30940 HAS SOUS 15661 HAS SOUPS 15661 WITH SCORE 15691.94
AT ITER 394 NEW BEST:: SOT 41503 SOS 30715 HAS SOPS 30715 HAS SOUS 15427 HAS SOUPS 15427 WITH SCORE 15457.715
AT ITER 408 NEW BEST:: SOT 39273 SOS 28485 HAS SOPS 28485 HAS SOUS 13196 HAS SOUPS 13196 WITH SCORE 13224.485
AT ITER 412 NEW BEST:: SOT 39273 SOS 28489 HAS SOPS 28489 HAS SOUS 13195 HAS SOUPS 13195 WITH SCORE 13223.489
AT ITER 414 NEW BEST:: SOT 39272 SOS 28488 HAS SOPS 28488 HAS SOUS 13193 HAS SOUPS 13193 WITH SCORE 13221.488
AT ITER 421 NEW BEST:: SOT 39271 SOS 28487 HAS SOPS 28487 HAS SOUS 13193 HAS SOUPS 13193 WITH SCORE 13221.487
AT ITER 440 NEW BEST:: SOT 39241 SOS 28457 HAS SOPS 28457 HAS SOUS 13157 HAS SOUPS 13157 WITH SCORE 13185.457
AT ITER 443 NEW BEST:: SOT 39174 SOS 28390 HAS SOPS 28390 HAS SOUS 13013 HAS SOUPS 13013 WITH SCORE 13041.39
AT ITER 469 NEW BEST:: SOT 39174 SOS 28397 HAS SOPS 28397 HAS SOUS 12999 HAS SOUPS 12999 WITH SCORE 13027.397
AT ITER 482 NEW BEST:: SOT 39162 SOS 28385 HAS SOPS 28385 HAS SOUS 12976 HAS SOUPS 12976 WITH SCORE 13004.385
AT ITER 489 NEW BEST:: SOT 38974 SOS 28197 HAS SOPS 28197 HAS SOUS 12678 HAS SOUPS 12678 WITH SCORE 12706.197
AT ITER 490 NEW BEST:: SOT 38977 SOS 28193 HAS SOPS 28193 HAS SOUS 12677 HAS SOUPS 12677 WITH SCORE 12705.193
AT ITER 492 NEW BEST:: SOT 39005 SOS 28221 HAS SOPS 28221 HAS SOUS 12595 HAS SOUPS 12595 WITH SCORE 12623.221
AT ITER 517 NEW BEST:: SOT 38990 SOS 28189 HAS SOPS 28189 HAS SOUS 12566 HAS SOUPS 12566 WITH SCORE 12594.189
AT ITER 526 NEW BEST:: SOT 38990 SOS 28189 HAS SOPS 28189 HAS SOUS 12565 HAS SOUPS 12565 WITH SCORE 12593.189
AT ITER 533 NEW BEST:: SOT 38754 SOS 27938 HAS SOPS 27938 HAS SOUS 12396 HAS SOUPS 12396 WITH SCORE 12423.938
AT ITER 554 NEW BEST:: SOT 38782 SOS 27966 HAS SOPS 27966 HAS SOUS 12372 HAS SOUPS 12372 WITH SCORE 12399.966
AT ITER 562 NEW BEST:: SOT 38778 SOS 27962 HAS SOPS 27962 HAS SOUS 12368 HAS SOUPS 12368 WITH SCORE 12395.962
AT ITER 576 NEW BEST:: SOT 38676 SOS 27883 HAS SOPS 27883 HAS SOUS 12330 HAS SOUPS 12330 WITH SCORE 12357.883
AT ITER 578 NEW BEST:: SOT 38675 SOS 27882 HAS SOPS 27882 HAS SOUS 12328 HAS SOUPS 12328 WITH SCORE 12355.882
AT ITER 580 NEW BEST:: SOT 38685 SOS 27892 HAS SOPS 27892 HAS SOUS 12315 HAS SOUPS 12315 WITH SCORE 12342.892
AT ITER 590 NEW BEST:: SOT 38679 SOS 27886 HAS SOPS 27886 HAS SOUS 12308 HAS SOUPS 12308 WITH SCORE 12335.886
AT ITER 593 NEW BEST:: SOT 38679 SOS 27886 HAS SOPS 27886 HAS SOUS 12298 HAS SOUPS 12298 WITH SCORE 12325.886
AT ITER 609 NEW BEST:: SOT 38625 SOS 27832 HAS SOPS 27832 HAS SOUS 12273 HAS SOUPS 12273 WITH SCORE 12300.832
AT ITER 614 NEW BEST:: SOT 38625 SOS 27832 HAS SOPS 27832 HAS SOUS 12266 HAS SOUPS 12266 WITH SCORE 12293.832
AT ITER 633 NEW BEST:: SOT 38624 SOS 27831 HAS SOPS 27831 HAS SOUS 12264 HAS SOUPS 12264 WITH SCORE 12291.831
AT ITER 649 NEW BEST:: SOT 38624 SOS 27832 HAS SOPS 27832 HAS SOUS 12260 HAS SOUPS 12260 WITH SCORE 12287.832
AT ITER 675 NEW BEST:: SOT 38470 SOS 27678 HAS SOPS 27678 HAS SOUS 12106 HAS SOUPS 12106 WITH SCORE 12133.678
AT ITER 690 NEW BEST:: SOT 38422 SOS 27616 HAS SOPS 27616 HAS SOUS 12044 HAS SOUPS 12044 WITH SCORE 12071.616
AT ITER 711 NEW BEST:: SOT 38421 SOS 27615 HAS SOPS 27615 HAS SOUS 12042 HAS SOUPS 12042 WITH SCORE 12069.615
AT ITER 714 NEW BEST:: SOT 38480 SOS 27726 HAS SOPS 27726 HAS SOUS 12013 HAS SOUPS 12013 WITH SCORE 12040.726
AT ITER 741 NEW BEST:: SOT 38480 SOS 27734 HAS SOPS 27734 HAS SOUS 11992 HAS SOUPS 11992 WITH SCORE 12019.734
AT ITER 749 NEW BEST:: SOT 37655 SOS 26909 HAS SOPS 26909 HAS SOUS 11122 HAS SOUPS 11122 WITH SCORE 11148.909
AT ITER 767 NEW BEST:: SOT 37604 SOS 26850 HAS SOPS 26850 HAS SOUS 11063 HAS SOUPS 11063 WITH SCORE 11089.85
AT ITER 784 NEW BEST:: SOT 37595 SOS 26841 HAS SOPS 26841 HAS SOUS 11054 HAS SOUPS 11054 WITH SCORE 11080.841
AT ITER 789 NEW BEST:: SOT 37608 SOS 26790 HAS SOPS 26790 HAS SOUS 11040 HAS SOUPS 11040 WITH SCORE 11066.79
AT ITER 799 NEW BEST:: SOT 37608 SOS 26789 HAS SOPS 26789 HAS SOUS 11039 HAS SOUPS 11039 WITH SCORE 11065.789
AT ITER 801 NEW BEST:: SOT 37613 SOS 26784 HAS SOPS 26784 HAS SOUS 11034 HAS SOUPS 11034 WITH SCORE 11060.784
AT ITER 809 NEW BEST:: SOT 37780 SOS 26806 HAS SOPS 26806 HAS SOUS 11012 HAS SOUPS 11012 WITH SCORE 11038.806
AT ITER 820 NEW BEST:: SOT 37312 SOS 26275 HAS SOPS 26275 HAS SOUS 10805 HAS SOUPS 10805 WITH SCORE 10831.275
AT ITER 831 NEW BEST:: SOT 37173 SOS 26136 HAS SOPS 26136 HAS SOUS 10684 HAS SOUPS 10684 WITH SCORE 10710.136
AT ITER 833 NEW BEST:: SOT 36960 SOS 25923 HAS SOPS 25923 HAS SOUS 10570 HAS SOUPS 10570 WITH SCORE 10595.923
AT ITER 842 NEW BEST:: SOT 36960 SOS 25927 HAS SOPS 25927 HAS SOUS 10569 HAS SOUPS 10569 WITH SCORE 10594.927
AT ITER 847 NEW BEST:: SOT 36959 SOS 25926 HAS SOPS 25926 HAS SOUS 10567 HAS SOUPS 10567 WITH SCORE 10592.926
AT ITER 860 NEW BEST:: SOT 36928 SOS 25895 HAS SOPS 25895 HAS SOUS 10484 HAS SOUPS 10484 WITH SCORE 10509.895
AT ITER 872 NEW BEST:: SOT 36963 SOS 25930 HAS SOPS 25930 HAS SOUS 10422 HAS SOUPS 10422 WITH SCORE 10447.93
AT ITER 882 NEW BEST:: SOT 36963 SOS 25923 HAS SOPS 25923 HAS SOUS 10415 HAS SOUPS 10415 WITH SCORE 10440.923
AT ITER 926 NEW BEST:: SOT 36947 SOS 25906 HAS SOPS 25906 HAS SOUS 10398 HAS SOUPS 10398 WITH SCORE 10423.906
AT ITER 928 NEW BEST:: SOT 36942 SOS 25903 HAS SOPS 25903 HAS SOUS 10395 HAS SOUPS 10395 WITH SCORE 10420.903
AT ITER 946 NEW BEST:: SOT 36941 SOS 25902 HAS SOPS 25902 HAS SOUS 10393 HAS SOUPS 10393 WITH SCORE 10418.902
AT ITER 961 NEW BEST:: SOT 36940 SOS 25901 HAS SOPS 25901 HAS SOUS 10391 HAS SOUPS 10391 WITH SCORE 10416.901
AT ITER 974 NEW BEST:: SOT 36938 SOS 25854 HAS SOPS 25854 HAS SOUS 10344 HAS SOUPS 10344 WITH SCORE 10369.854
AT ITER 989 NEW BEST:: SOT 36938 SOS 25810 HAS SOPS 25810 HAS SOUS 10344 HAS SOUPS 10344 WITH SCORE 10369.81
AT ITER 993 NEW BEST:: SOT 36877 SOS 25713 HAS SOPS 25713 HAS SOUS 10247 HAS SOUPS 10247 WITH SCORE 10272.713
AT ITER 1012 NEW BEST:: SOT 36877 SOS 25719 HAS SOPS 25719 HAS SOUS 10244 HAS SOUPS 10244 WITH SCORE 10269.719
AT ITER 1014 NEW BEST:: SOT 36875 SOS 25717 HAS SOPS 25717 HAS SOUS 10242 HAS SOUPS 10242 WITH SCORE 10267.717
AT ITER 1045 NEW BEST:: SOT 36865 SOS 25680 HAS SOPS 25680 HAS SOUS 10205 HAS SOUPS 10205 WITH SCORE 10230.68
AT ITER 1051 NEW BEST:: SOT 36865 SOS 25680 HAS SOPS 25680 HAS SOUS 10201 HAS SOUPS 10201 WITH SCORE 10226.68
AT ITER 1074 NEW BEST:: SOT 36841 SOS 25651 HAS SOPS 25651 HAS SOUS 10172 HAS SOUPS 10172 WITH SCORE 10197.651
AT ITER 1081 NEW BEST:: SOT 36818 SOS 25628 HAS SOPS 25628 HAS SOUS 10103 HAS SOUPS 10103 WITH SCORE 10128.628
AT ITER 1082 NEW BEST:: SOT 36810 SOS 25620 HAS SOPS 25620 HAS SOUS 10095 HAS SOUPS 10095 WITH SCORE 10120.62
AT ITER 1083 NEW BEST:: SOT 36794 SOS 25604 HAS SOPS 25604 HAS SOUS 10070 HAS SOUPS 10070 WITH SCORE 10095.604
AT ITER 1089 NEW BEST:: SOT 36793 SOS 25603 HAS SOPS 25603 HAS SOUS 10057 HAS SOUPS 10057 WITH SCORE 10082.603
AT ITER 1095 NEW BEST:: SOT 36799 SOS 25602 HAS SOPS 25602 HAS SOUS 10056 HAS SOUPS 10056 WITH SCORE 10081.602
AT ITER 1119 NEW BEST:: SOT 36299 SOS 25102 HAS SOPS 25102 HAS SOUS 9555 HAS SOUPS 9555 WITH SCORE 9580.102
AT ITER 1123 NEW BEST:: SOT 36395 SOS 25198 HAS SOPS 25198 HAS SOUS 9521 HAS SOUPS 9521 WITH SCORE 9546.198
AT ITER 1163 NEW BEST:: SOT 36392 SOS 25195 HAS SOPS 25195 HAS SOUS 9515 HAS SOUPS 9515 WITH SCORE 9540.195
AT ITER 1178 NEW BEST:: SOT 36390 SOS 25193 HAS SOPS 25193 HAS SOUS 9511 HAS SOUPS 9511 WITH SCORE 9536.193
AT ITER 1188 NEW BEST:: SOT 36390 SOS 25152 HAS SOPS 25152 HAS SOUS 9470 HAS SOUPS 9470 WITH SCORE 9495.152
AT ITER 1195 NEW BEST:: SOT 36386 SOS 25148 HAS SOPS 25148 HAS SOUS 9466 HAS SOUPS 9466 WITH SCORE 9491.148
AT ITER 1198 NEW BEST:: SOT 36413 SOS 25175 HAS SOPS 25175 HAS SOUS 9405 HAS SOUPS 9405 WITH SCORE 9430.175
AT ITER 1215 NEW BEST:: SOT 36411 SOS 25172 HAS SOPS 25172 HAS SOUS 9402 HAS SOUPS 9402 WITH SCORE 9427.172
AT ITER 1218 NEW BEST:: SOT 36411 SOS 25171 HAS SOPS 25171 HAS SOUS 9401 HAS SOUPS 9401 WITH SCORE 9426.171
AT ITER 1221 NEW BEST:: SOT 36407 SOS 25169 HAS SOPS 25169 HAS SOUS 9398 HAS SOUPS 9398 WITH SCORE 9423.169
AT ITER 1228 NEW BEST:: SOT 36402 SOS 25161 HAS SOPS 25161 HAS SOUS 9394 HAS SOUPS 9394 WITH SCORE 9419.161
AT ITER 1238 NEW BEST:: SOT 36506 SOS 25052 HAS SOPS 25052 HAS SOUS 9356 HAS SOUPS 9356 WITH SCORE 9381.052
AT ITER 1259 NEW BEST:: SOT 36514 SOS 25058 HAS SOPS 25058 HAS SOUS 9350 HAS SOUPS 9350 WITH SCORE 9375.058
AT ITER 1266 NEW BEST:: SOT 36506 SOS 25052 HAS SOPS 25052 HAS SOUS 9350 HAS SOUPS 9350 WITH SCORE 9375.052
AT ITER 1291 NEW BEST:: SOT 36452 SOS 25012 HAS SOPS 25012 HAS SOUS 9340 HAS SOUPS 9340 WITH SCORE 9365.012
AT ITER 1296 NEW BEST:: SOT 36452 SOS 24845 HAS SOPS 24845 HAS SOUS 9340 HAS SOUPS 9340 WITH SCORE 9364.845
AT ITER 1308 NEW BEST:: SOT 36451 SOS 24844 HAS SOPS 24844 HAS SOUS 9338 HAS SOUPS 9338 WITH SCORE 9362.844
AT ITER 1309 NEW BEST:: SOT 36450 SOS 24843 HAS SOPS 24843 HAS SOUS 9336 HAS SOUPS 9336 WITH SCORE 9360.843
AT ITER 1312 NEW BEST:: SOT 36448 SOS 24841 HAS SOPS 24841 HAS SOUS 9332 HAS SOUPS 9332 WITH SCORE 9356.841
AT ITER 1329 NEW BEST:: SOT 36405 SOS 24754 HAS SOPS 24754 HAS SOUS 9245 HAS SOUPS 9245 WITH SCORE 9269.754
AT ITER 1352 NEW BEST:: SOT 36404 SOS 24753 HAS SOPS 24753 HAS SOUS 9243 HAS SOUPS 9243 WITH SCORE 9267.753
AT ITER 1376 NEW BEST:: SOT 36396 SOS 24745 HAS SOPS 24745 HAS SOUS 9227 HAS SOUPS 9227 WITH SCORE 9251.745
AT ITER 1382 NEW BEST:: SOT 36407 SOS 24756 HAS SOPS 24756 HAS SOUS 9226 HAS SOUPS 9226 WITH SCORE 9250.756
AT ITER 1390 NEW BEST:: SOT 36414 SOS 24645 HAS SOPS 24645 HAS SOUS 9207 HAS SOUPS 9207 WITH SCORE 9231.645
AT ITER 1396 NEW BEST:: SOT 36407 SOS 24638 HAS SOPS 24638 HAS SOUS 9200 HAS SOUPS 9200 WITH SCORE 9224.638
AT ITER 1397 NEW BEST:: SOT 36395 SOS 24612 HAS SOPS 24612 HAS SOUS 9196 HAS SOUPS 9196 WITH SCORE 9220.612
AT ITER 1423 NEW BEST:: SOT 36400 SOS 24617 HAS SOPS 24617 HAS SOUS 9194 HAS SOUPS 9194 WITH SCORE 9218.617
AT ITER 1450 NEW BEST:: SOT 36269 SOS 24297 HAS SOPS 24297 HAS SOUS 9076 HAS SOUPS 9076 WITH SCORE 9100.297
AT ITER 1479 NEW BEST:: SOT 36269 SOS 24249 HAS SOPS 24249 HAS SOUS 9028 HAS SOUPS 9028 WITH SCORE 9052.249
AT ITER 1486 NEW BEST:: SOT 36271 SOS 24251 HAS SOPS 24251 HAS SOUS 9018 HAS SOUPS 9018 WITH SCORE 9042.251
AT ITER 1494 NEW BEST:: SOT 36157 SOS 24123 HAS SOPS 24123 HAS SOUS 8980 HAS SOUPS 8980 WITH SCORE 9004.123
AT ITER 1496 NEW BEST:: SOT 36157 SOS 24121 HAS SOPS 24121 HAS SOUS 8980 HAS SOUPS 8980 WITH SCORE 9004.121
AT ITER 1504 NEW BEST:: SOT 36154 SOS 24118 HAS SOPS 24118 HAS SOUS 8980 HAS SOUPS 8980 WITH SCORE 9004.118
AT ITER 1525 NEW BEST:: SOT 36153 SOS 24117 HAS SOPS 24117 HAS SOUS 8976 HAS SOUPS 8976 WITH SCORE 9000.117
AT ITER 1531 NEW BEST:: SOT 36094 SOS 24058 HAS SOPS 24058 HAS SOUS 8915 HAS SOUPS 8915 WITH SCORE 8939.058
AT ITER 1545 NEW BEST:: SOT 36093 SOS 24057 HAS SOPS 24057 HAS SOUS 8913 HAS SOUPS 8913 WITH SCORE 8937.057
AT ITER 1551 NEW BEST:: SOT 36064 SOS 24028 HAS SOPS 24028 HAS SOUS 8873 HAS SOUPS 8873 WITH SCORE 8897.028
AT ITER 1556 NEW BEST:: SOT 35966 SOS 23926 HAS SOPS 23926 HAS SOUS 8869 HAS SOUPS 8869 WITH SCORE 8892.926
AT ITER 1562 NEW BEST:: SOT 35971 SOS 23931 HAS SOPS 23931 HAS SOUS 8839 HAS SOUPS 8839 WITH SCORE 8862.931
AT ITER 1589 NEW BEST:: SOT 35971 SOS 23110 HAS SOPS 23110 HAS SOUS 8838 HAS SOUPS 8838 WITH SCORE 8861.11
AT ITER 1593 NEW BEST:: SOT 35971 SOS 23114 HAS SOPS 23114 HAS SOUS 8836 HAS SOUPS 8836 WITH SCORE 8859.114
AT ITER 1627 NEW BEST:: SOT 35962 SOS 23105 HAS SOPS 23105 HAS SOUS 8827 HAS SOUPS 8827 WITH SCORE 8850.105
AT ITER 1644 NEW BEST:: SOT 35862 SOS 23005 HAS SOPS 23005 HAS SOUS 8818 HAS SOUPS 8818 WITH SCORE 8841.005
AT ITER 1650 NEW BEST:: SOT 35830 SOS 22941 HAS SOPS 22941 HAS SOUS 8786 HAS SOUPS 8786 WITH SCORE 8808.941
AT ITER 1675 NEW BEST:: SOT 35773 SOS 22884 HAS SOPS 22884 HAS SOUS 8784 HAS SOUPS 8784 WITH SCORE 8806.884
AT ITER 1702 NEW BEST:: SOT 35761 SOS 22866 HAS SOPS 22866 HAS SOUS 8766 HAS SOUPS 8766 WITH SCORE 8788.866
AT ITER 1703 NEW BEST:: SOT 35739 SOS 22833 HAS SOPS 22833 HAS SOUS 8733 HAS SOUPS 8733 WITH SCORE 8755.833
AT ITER 1704 NEW BEST:: SOT 35727 SOS 22821 HAS SOPS 22821 HAS SOUS 8709 HAS SOUPS 8709 WITH SCORE 8731.821
AT ITER 1707 NEW BEST:: SOT 35710 SOS 22804 HAS SOPS 22804 HAS SOUS 8709 HAS SOUPS 8709 WITH SCORE 8731.804
AT ITER 1738 NEW BEST:: SOT 35704 SOS 22798 HAS SOPS 22798 HAS SOUS 8697 HAS SOUPS 8697 WITH SCORE 8719.798
AT ITER 1739 NEW BEST:: SOT 35691 SOS 22765 HAS SOPS 22765 HAS SOUS 8692 HAS SOUPS 8692 WITH SCORE 8714.765
AT ITER 1753 NEW BEST:: SOT 35704 SOS 22778 HAS SOPS 22778 HAS SOUS 8672 HAS SOUPS 8672 WITH SCORE 8694.778
AT ITER 1774 NEW BEST:: SOT 35694 SOS 22768 HAS SOPS 22768 HAS SOUS 8668 HAS SOUPS 8668 WITH SCORE 8690.768
AT ITER 1775 NEW BEST:: SOT 35694 SOS 22768 HAS SOPS 22768 HAS SOUS 8664 HAS SOUPS 8664 WITH SCORE 8686.768
AT ITER 1781 NEW BEST:: SOT 35604 SOS 22684 HAS SOPS 22684 HAS SOUS 8625 HAS SOUPS 8625 WITH SCORE 8647.684
AT ITER 1825 NEW BEST:: SOT 35334 SOS 22407 HAS SOPS 22407 HAS SOUS 8560 HAS SOUPS 8560 WITH SCORE 8582.407
AT ITER 1841 NEW BEST:: SOT 35254 SOS 22384 HAS SOPS 22384 HAS SOUS 8543 HAS SOUPS 8543 WITH SCORE 8565.384
AT ITER 1842 NEW BEST:: SOT 35273 SOS 22403 HAS SOPS 22403 HAS SOUS 8461 HAS SOUPS 8461 WITH SCORE 8483.403
AT ITER 1843 NEW BEST:: SOT 35265 SOS 22395 HAS SOPS 22395 HAS SOUS 8445 HAS SOUPS 8445 WITH SCORE 8467.395
AT ITER 1848 NEW BEST:: SOT 35260 SOS 22390 HAS SOPS 22390 HAS SOUS 8435 HAS SOUPS 8435 WITH SCORE 8457.39
AT ITER 1852 NEW BEST:: SOT 35257 SOS 22387 HAS SOPS 22387 HAS SOUS 8432 HAS SOUPS 8432 WITH SCORE 8454.387
AT ITER 1866 NEW BEST:: SOT 35239 SOS 22369 HAS SOPS 22369 HAS SOUS 8414 HAS SOUPS 8414 WITH SCORE 8436.369
AT ITER 1906 NEW BEST:: SOT 35094 SOS 22175 HAS SOPS 22175 HAS SOUS 8371 HAS SOUPS 8371 WITH SCORE 8393.175
AT ITER 1907 NEW BEST:: SOT 35112 SOS 22193 HAS SOPS 22193 HAS SOUS 8369 HAS SOUPS 8369 WITH SCORE 8391.193
AT ITER 1910 NEW BEST:: SOT 35111 SOS 22192 HAS SOPS 22192 HAS SOUS 8367 HAS SOUPS 8367 WITH SCORE 8389.192
AT ITER 1911 NEW BEST:: SOT 35197 SOS 21848 HAS SOPS 21848 HAS SOUS 8320 HAS SOUPS 8320 WITH SCORE 8341.848
AT ITER 1948 NEW BEST:: SOT 35194 SOS 21845 HAS SOPS 21845 HAS SOUS 8317 HAS SOUPS 8317 WITH SCORE 8338.845
AT ITER 1957 NEW BEST:: SOT 35194 SOS 21820 HAS SOPS 21820 HAS SOUS 8312 HAS SOUPS 8312 WITH SCORE 8333.82
AT ITER 1958 NEW BEST:: SOT 35183 SOS 21809 HAS SOPS 21809 HAS SOUS 8312 HAS SOUPS 8312 WITH SCORE 8333.809
AT ITER 1960 NEW BEST:: SOT 35211 SOS 21809 HAS SOPS 21809 HAS SOUS 8294 HAS SOUPS 8294 WITH SCORE 8315.809
AT ITER 1964 NEW BEST:: SOT 35211 SOS 21809 HAS SOPS 21809 HAS SOUS 8235 HAS SOUPS 8235 WITH SCORE 8256.809
AT ITER 1966 NEW BEST:: SOT 35127 SOS 21650 HAS SOPS 21650 HAS SOUS 8160 HAS SOUPS 8160 WITH SCORE 8181.65
AT ITER 1967 NEW BEST:: SOT 35119 SOS 21638 HAS SOPS 21638 HAS SOUS 8148 HAS SOUPS 8148 WITH SCORE 8169.638
AT ITER 1968 NEW BEST:: SOT 35113 SOS 21632 HAS SOPS 21632 HAS SOUS 8141 HAS SOUPS 8141 WITH SCORE 8162.632
AT ITER 1974 NEW BEST:: SOT 35107 SOS 21628 HAS SOPS 21628 HAS SOUS 8137 HAS SOUPS 8137 WITH SCORE 8158.628
AT ITER 1990 NEW BEST:: SOT 35098 SOS 21628 HAS SOPS 21628 HAS SOUS 8113 HAS SOUPS 8113 WITH SCORE 8134.628
AT ITER 2012 NEW BEST:: SOT 35103 SOS 21633 HAS SOPS 21633 HAS SOUS 8112 HAS SOUPS 8112 WITH SCORE 8133.633
AT ITER 2045 NEW BEST:: SOT 35091 SOS 21609 HAS SOPS 21609 HAS SOUS 8100 HAS SOUPS 8100 WITH SCORE 8121.609
AT ITER 2057 NEW BEST:: SOT 35060 SOS 21572 HAS SOPS 21572 HAS SOUS 8053 HAS SOUPS 8053 WITH SCORE 8074.572
AT ITER 2062 NEW BEST:: SOT 35056 SOS 21568 HAS SOPS 21568 HAS SOUS 8049 HAS SOUPS 8049 WITH SCORE 8070.568
AT ITER 2069 NEW BEST:: SOT 35017 SOS 21492 HAS SOPS 21492 HAS SOUS 7973 HAS SOUPS 7973 WITH SCORE 7994.492
AT ITER 2072 NEW BEST:: SOT 35009 SOS 21484 HAS SOPS 21484 HAS SOUS 7957 HAS SOUPS 7957 WITH SCORE 7978.484
AT ITER 2074 NEW BEST:: SOT 34992 SOS 21467 HAS SOPS 21467 HAS SOUS 7957 HAS SOUPS 7957 WITH SCORE 7978.467
AT ITER 2095 NEW BEST:: SOT 34992 SOS 21446 HAS SOPS 21446 HAS SOUS 7950 HAS SOUPS 7950 WITH SCORE 7971.446
AT ITER 2096 NEW BEST:: SOT 34992 SOS 21439 HAS SOPS 21439 HAS SOUS 7943 HAS SOUPS 7943 WITH SCORE 7964.439
AT ITER 2110 NEW BEST:: SOT 34999 SOS 21446 HAS SOPS 21446 HAS SOUS 7913 HAS SOUPS 7913 WITH SCORE 7934.446
AT ITER 2111 NEW BEST:: SOT 35020 SOS 21448 HAS SOPS 21448 HAS SOUS 7896 HAS SOUPS 7896 WITH SCORE 7917.448
AT ITER 2119 NEW BEST:: SOT 35019 SOS 21447 HAS SOPS 21447 HAS SOUS 7894 HAS SOUPS 7894 WITH SCORE 7915.447
AT ITER 2130 NEW BEST:: SOT 35019 SOS 21445 HAS SOPS 21445 HAS SOUS 7890 HAS SOUPS 7890 WITH SCORE 7911.445
AT ITER 2234 NEW BEST:: SOT 34959 SOS 21325 HAS SOPS 21325 HAS SOUS 7860 HAS SOUPS 7860 WITH SCORE 7881.325
AT ITER 2270 NEW BEST:: SOT 34953 SOS 21319 HAS SOPS 21319 HAS SOUS 7854 HAS SOUPS 7854 WITH SCORE 7875.319
AT ITER 2282 NEW BEST:: SOT 34952 SOS 21318 HAS SOPS 21318 HAS SOUS 7852 HAS SOUPS 7852 WITH SCORE 7873.318
AT ITER 2310 NEW BEST:: SOT 34949 SOS 21293 HAS SOPS 21293 HAS SOUS 7827 HAS SOUPS 7827 WITH SCORE 7848.293
AT ITER 2346 NEW BEST:: SOT 34934 SOS 21278 HAS SOPS 21278 HAS SOUS 7785 HAS SOUPS 7785 WITH SCORE 7806.278
AT ITER 2351 NEW BEST:: SOT 34934 SOS 21278 HAS SOPS 21278 HAS SOUS 7771 HAS SOUPS 7771 WITH SCORE 7792.278
AT ITER 2363 NEW BEST:: SOT 34924 SOS 21261 HAS SOPS 21261 HAS SOUS 7758 HAS SOUPS 7758 WITH SCORE 7779.261
AT ITER 2387 NEW BEST:: SOT 34917 SOS 21254 HAS SOPS 21254 HAS SOUS 7744 HAS SOUPS 7744 WITH SCORE 7765.254
AT ITER 2408 NEW BEST:: SOT 34917 SOS 21251 HAS SOPS 21251 HAS SOUS 7741 HAS SOUPS 7741 WITH SCORE 7762.251
AT ITER 2437 NEW BEST:: SOT 34909 SOS 21232 HAS SOPS 21232 HAS SOUS 7722 HAS SOUPS 7722 WITH SCORE 7743.232
AT ITER 2449 NEW BEST:: SOT 34909 SOS 21214 HAS SOPS 21214 HAS SOUS 7716 HAS SOUPS 7716 WITH SCORE 7737.214
AT ITER 2464 NEW BEST:: SOT 34858 SOS 22271 HAS SOPS 22271 HAS SOUS 7672 HAS SOUPS 7672 WITH SCORE 7694.271
AT ITER 2485 NEW BEST:: SOT 34852 SOS 22265 HAS SOPS 22265 HAS SOUS 7647 HAS SOUPS 7647 WITH SCORE 7669.265
AT ITER 2486 NEW BEST:: SOT 34847 SOS 22260 HAS SOPS 22260 HAS SOUS 7641 HAS SOUPS 7641 WITH SCORE 7663.26
AT ITER 2493 NEW BEST:: SOT 34787 SOS 22139 HAS SOPS 22139 HAS SOUS 7613 HAS SOUPS 7613 WITH SCORE 7635.139
AT ITER 2494 NEW BEST:: SOT 34786 SOS 22138 HAS SOPS 22138 HAS SOUS 7611 HAS SOUPS 7611 WITH SCORE 7633.138
AT ITER 2539 NEW BEST:: SOT 34786 SOS 22103 HAS SOPS 22103 HAS SOUS 7610 HAS SOUPS 7610 WITH SCORE 7632.103
AT ITER 2546 NEW BEST:: SOT 34815 SOS 22132 HAS SOPS 22132 HAS SOUS 7608 HAS SOUPS 7608 WITH SCORE 7630.132
AT ITER 2571 NEW BEST:: SOT 34814 SOS 22131 HAS SOPS 22131 HAS SOUS 7606 HAS SOUPS 7606 WITH SCORE 7628.131
AT ITER 2582 NEW BEST:: SOT 34813 SOS 22124 HAS SOPS 22124 HAS SOUS 7604 HAS SOUPS 7604 WITH SCORE 7626.124
AT ITER 2599 NEW BEST:: SOT 34819 SOS 22130 HAS SOPS 22130 HAS SOUS 7600 HAS SOUPS 7600 WITH SCORE 7622.13
AT ITER 2607 NEW BEST:: SOT 34818 SOS 22129 HAS SOPS 22129 HAS SOUS 7598 HAS SOUPS 7598 WITH SCORE 7620.129
AT ITER 2646 NEW BEST:: SOT 34812 SOS 22123 HAS SOPS 22123 HAS SOUS 7585 HAS SOUPS 7585 WITH SCORE 7607.123
AT ITER 2651 NEW BEST:: SOT 34789 SOS 22100 HAS SOPS 22100 HAS SOUS 7543 HAS SOUPS 7543 WITH SCORE 7565.1
AT ITER 2663 NEW BEST:: SOT 34789 SOS 22058 HAS SOPS 22058 HAS SOUS 7543 HAS SOUPS 7543 WITH SCORE 7565.058
AT ITER 2680 NEW BEST:: SOT 34707 SOS 21837 HAS SOPS 21837 HAS SOUS 7456 HAS SOUPS 7456 WITH SCORE 7477.837
AT ITER 2688 NEW BEST:: SOT 34696 SOS 21826 HAS SOPS 21826 HAS SOUS 7456 HAS SOUPS 7456 WITH SCORE 7477.826
AT ITER 2775 NEW BEST:: SOT 34697 SOS 21826 HAS SOPS 21826 HAS SOUS 7443 HAS SOUPS 7443 WITH SCORE 7464.826
AT ITER 2780 NEW BEST:: SOT 34697 SOS 21826 HAS SOPS 21826 HAS SOUS 7425 HAS SOUPS 7425 WITH SCORE 7446.826
AT ITER 2794 NEW BEST:: SOT 34703 SOS 21816 HAS SOPS 21816 HAS SOUS 7423 HAS SOUPS 7423 WITH SCORE 7444.816
AT ITER 2818 NEW BEST:: SOT 34696 SOS 21809 HAS SOPS 21809 HAS SOUS 7422 HAS SOUPS 7422 WITH SCORE 7443.809
AT ITER 2833 NEW BEST:: SOT 34628 SOS 21658 HAS SOPS 21658 HAS SOUS 7311 HAS SOUPS 7311 WITH SCORE 7332.658
AT ITER 2905 NEW BEST:: SOT 34631 SOS 21661 HAS SOPS 21661 HAS SOUS 7310 HAS SOUPS 7310 WITH SCORE 7331.661
AT ITER 2917 NEW BEST:: SOT 34581 SOS 21611 HAS SOPS 21611 HAS SOUS 7300 HAS SOUPS 7300 WITH SCORE 7321.611
AT ITER 2934 NEW BEST:: SOT 34569 SOS 21590 HAS SOPS 21590 HAS SOUS 7285 HAS SOUPS 7285 WITH SCORE 7306.59
AT ITER 2954 NEW BEST:: SOT 34562 SOS 21545 HAS SOPS 21545 HAS SOUS 7271 HAS SOUPS 7271 WITH SCORE 7292.545
AT ITER 3037 NEW BEST:: SOT 34569 SOS 21552 HAS SOPS 21552 HAS SOUS 7222 HAS SOUPS 7222 WITH SCORE 7243.552
AT ITER 3046 NEW BEST:: SOT 34569 SOS 21558 HAS SOPS 21558 HAS SOUS 7220 HAS SOUPS 7220 WITH SCORE 7241.558
AT ITER 3083 NEW BEST:: SOT 34569 SOS 21666 HAS SOPS 21666 HAS SOUS 7183 HAS SOUPS 7183 WITH SCORE 7204.666
AT ITER 3112 NEW BEST:: SOT 34492 SOS 21573 HAS SOPS 21573 HAS SOUS 7087 HAS SOUPS 7087 WITH SCORE 7108.573
AT ITER 3141 NEW BEST:: SOT 34492 SOS 21569 HAS SOPS 21569 HAS SOUS 7087 HAS SOUPS 7087 WITH SCORE 7108.569
AT ITER 3162 NEW BEST:: SOT 34465 SOS 21534 HAS SOPS 21534 HAS SOUS 7052 HAS SOUPS 7052 WITH SCORE 7073.534
AT ITER 3171 NEW BEST:: SOT 34464 SOS 21533 HAS SOPS 21533 HAS SOUS 7050 HAS SOUPS 7050 WITH SCORE 7071.533
AT ITER 3285 NEW BEST:: SOT 34465 SOS 21526 HAS SOPS 21526 HAS SOUS 7043 HAS SOUPS 7043 WITH SCORE 7064.526
AT ITER 3313 NEW BEST:: SOT 34465 SOS 21526 HAS SOPS 21526 HAS SOUS 6961 HAS SOUPS 6961 WITH SCORE 6982.526
AT ITER 3318 NEW BEST:: SOT 34463 SOS 21522 HAS SOPS 21522 HAS SOUS 6959 HAS SOUPS 6959 WITH SCORE 6980.522
AT ITER 3374 NEW BEST:: SOT 34462 SOS 21521 HAS SOPS 21521 HAS SOUS 6957 HAS SOUPS 6957 WITH SCORE 6978.521
AT ITER 3391 NEW BEST:: SOT 34459 SOS 21518 HAS SOPS 21518 HAS SOUS 6951 HAS SOUPS 6951 WITH SCORE 6972.518
AT ITER 3392 NEW BEST:: SOT 34462 SOS 21669 HAS SOPS 21669 HAS SOUS 6944 HAS SOUPS 6944 WITH SCORE 6965.669
AT ITER 3417 NEW BEST:: SOT 34468 SOS 21656 HAS SOPS 21656 HAS SOUS 6931 HAS SOUPS 6931 WITH SCORE 6952.656
AT ITER 3425 NEW BEST:: SOT 34452 SOS 22729 HAS SOPS 22729 HAS SOUS 6917 HAS SOUPS 6917 WITH SCORE 6939.729
AT ITER 3433 NEW BEST:: SOT 34452 SOS 22716 HAS SOPS 22716 HAS SOUS 6904 HAS SOUPS 6904 WITH SCORE 6926.716
AT ITER 3436 NEW BEST:: SOT 34451 SOS 22715 HAS SOPS 22715 HAS SOUS 6902 HAS SOUPS 6902 WITH SCORE 6924.715
AT ITER 3439 NEW BEST:: SOT 34398 SOS 22662 HAS SOPS 22662 HAS SOUS 6864 HAS SOUPS 6864 WITH SCORE 6886.662
AT ITER 3445 NEW BEST:: SOT 34407 SOS 22671 HAS SOPS 22671 HAS SOUS 6849 HAS SOUPS 6849 WITH SCORE 6871.671
AT ITER 3495 NEW BEST:: SOT 34402 SOS 22666 HAS SOPS 22666 HAS SOUS 6839 HAS SOUPS 6839 WITH SCORE 6861.666
AT ITER 3503 NEW BEST:: SOT 34391 SOS 22655 HAS SOPS 22655 HAS SOUS 6831 HAS SOUPS 6831 WITH SCORE 6853.655
AT ITER 3533 NEW BEST:: SOT 34353 SOS 22617 HAS SOPS 22617 HAS SOUS 6758 HAS SOUPS 6758 WITH SCORE 6780.617
AT ITER 3603 NEW BEST:: SOT 34352 SOS 22616 HAS SOPS 22616 HAS SOUS 6757 HAS SOUPS 6757 WITH SCORE 6779.616
AT ITER 3609 NEW BEST:: SOT 34338 SOS 22560 HAS SOPS 22560 HAS SOUS 6729 HAS SOUPS 6729 WITH SCORE 6751.56
AT ITER 3617 NEW BEST:: SOT 34341 SOS 22553 HAS SOPS 22553 HAS SOUS 6715 HAS SOUPS 6715 WITH SCORE 6737.553
AT ITER 3664 NEW BEST:: SOT 34340 SOS 22552 HAS SOPS 22552 HAS SOUS 6714 HAS SOUPS 6714 WITH SCORE 6736.552
AT ITER 3666 NEW BEST:: SOT 34241 SOS 22453 HAS SOPS 22453 HAS SOUS 6691 HAS SOUPS 6691 WITH SCORE 6713.453
AT ITER 3680 NEW BEST:: SOT 34243 SOS 22466 HAS SOPS 22466 HAS SOUS 6684 HAS SOUPS 6684 WITH SCORE 6706.466
AT ITER 3682 NEW BEST:: SOT 34226 SOS 22448 HAS SOPS 22448 HAS SOUS 6683 HAS SOUPS 6683 WITH SCORE 6705.448
AT ITER 3712 NEW BEST:: SOT 34225 SOS 22445 HAS SOPS 22445 HAS SOUS 6683 HAS SOUPS 6683 WITH SCORE 6705.445
AT ITER 3718 NEW BEST:: SOT 34222 SOS 22442 HAS SOPS 22442 HAS SOUS 6680 HAS SOUPS 6680 WITH SCORE 6702.442
AT ITER 3758 NEW BEST:: SOT 34218 SOS 22438 HAS SOPS 22438 HAS SOUS 6672 HAS SOUPS 6672 WITH SCORE 6694.438
AT ITER 3814 NEW BEST:: SOT 34195 SOS 22401 HAS SOPS 22401 HAS SOUS 6640 HAS SOUPS 6640 WITH SCORE 6662.401
AT ITER 3861 NEW BEST:: SOT 34179 SOS 22385 HAS SOPS 22385 HAS SOUS 6624 HAS SOUPS 6624 WITH SCORE 6646.385
AT ITER 3879 NEW BEST:: SOT 34173 SOS 22388 HAS SOPS 22388 HAS SOUS 6621 HAS SOUPS 6621 WITH SCORE 6643.388
AT ITER 3926 NEW BEST:: SOT 34165 SOS 22380 HAS SOPS 22380 HAS SOUS 6619 HAS SOUPS 6619 WITH SCORE 6641.38
AT ITER 3934 NEW BEST:: SOT 34145 SOS 22360 HAS SOPS 22360 HAS SOUS 6615 HAS SOUPS 6615 WITH SCORE 6637.36
AT ITER 3938 NEW BEST:: SOT 34086 SOS 22292 HAS SOPS 22292 HAS SOUS 6573 HAS SOUPS 6573 WITH SCORE 6595.292
AT ITER 3941 NEW BEST:: SOT 34085 SOS 22291 HAS SOPS 22291 HAS SOUS 6571 HAS SOUPS 6571 WITH SCORE 6593.291
AT ITER 3950 NEW BEST:: SOT 34049 SOS 22229 HAS SOPS 22229 HAS SOUS 6533 HAS SOUPS 6533 WITH SCORE 6555.229
AT ITER 3953 NEW BEST:: SOT 34061 SOS 22241 HAS SOPS 22241 HAS SOUS 6522 HAS SOUPS 6522 WITH SCORE 6544.241
AT ITER 3966 NEW BEST:: SOT 33999 SOS 22118 HAS SOPS 22118 HAS SOUS 6459 HAS SOUPS 6459 WITH SCORE 6481.118
AT ITER 3981 NEW BEST:: SOT 33992 SOS 22111 HAS SOPS 22111 HAS SOUS 6459 HAS SOUPS 6459 WITH SCORE 6481.111
AT ITER 3995 NEW BEST:: SOT 33991 SOS 22110 HAS SOPS 22110 HAS SOUS 6457 HAS SOUPS 6457 WITH SCORE 6479.11
AT ITER 4030 NEW BEST:: SOT 33991 SOS 22105 HAS SOPS 22105 HAS SOUS 6452 HAS SOUPS 6452 WITH SCORE 6474.105
AT ITER 4032 NEW BEST:: SOT 33995 SOS 22109 HAS SOPS 22109 HAS SOUS 6450 HAS SOUPS 6450 WITH SCORE 6472.109
AT ITER 4041 NEW BEST:: SOT 33986 SOS 22100 HAS SOPS 22100 HAS SOUS 6428 HAS SOUPS 6428 WITH SCORE 6450.1
AT ITER 4069 NEW BEST:: SOT 33984 SOS 22098 HAS SOPS 22098 HAS SOUS 6426 HAS SOUPS 6426 WITH SCORE 6448.098
AT ITER 4111 NEW BEST:: SOT 33983 SOS 22097 HAS SOPS 22097 HAS SOUS 6425 HAS SOUPS 6425 WITH SCORE 6447.097
AT ITER 4112 NEW BEST:: SOT 33981 SOS 22095 HAS SOPS 22095 HAS SOUS 6421 HAS SOUPS 6421 WITH SCORE 6443.095
AT ITER 4114 NEW BEST:: SOT 33965 SOS 22079 HAS SOPS 22079 HAS SOUS 6401 HAS SOUPS 6401 WITH SCORE 6423.079
AT ITER 4133 NEW BEST:: SOT 33958 SOS 22072 HAS SOPS 22072 HAS SOUS 6386 HAS SOUPS 6386 WITH SCORE 6408.072
AT ITER 4148 NEW BEST:: SOT 33948 SOS 22062 HAS SOPS 22062 HAS SOUS 6366 HAS SOUPS 6366 WITH SCORE 6388.062
AT ITER 4150 NEW BEST:: SOT 33948 SOS 22066 HAS SOPS 22066 HAS SOUS 6362 HAS SOUPS 6362 WITH SCORE 6384.066
AT ITER 4161 NEW BEST:: SOT 33891 SOS 22009 HAS SOPS 22009 HAS SOUS 6332 HAS SOUPS 6332 WITH SCORE 6354.009
AT ITER 4176 NEW BEST:: SOT 33900 SOS 22018 HAS SOPS 22018 HAS SOUS 6317 HAS SOUPS 6317 WITH SCORE 6339.018
AT ITER 4184 NEW BEST:: SOT 33892 SOS 22007 HAS SOPS 22007 HAS SOUS 6314 HAS SOUPS 6314 WITH SCORE 6336.007
AT ITER 4185 NEW BEST:: SOT 33887 SOS 21974 HAS SOPS 21974 HAS SOUS 6281 HAS SOUPS 6281 WITH SCORE 6302.974
AT ITER 4212 NEW BEST:: SOT 33951 SOS 22039 HAS SOPS 22039 HAS SOUS 6275 HAS SOUPS 6275 WITH SCORE 6297.039
AT ITER 4239 NEW BEST:: SOT 33948 SOS 22036 HAS SOPS 22036 HAS SOUS 6260 HAS SOUPS 6260 WITH SCORE 6282.036
AT ITER 4252 NEW BEST:: SOT 33945 SOS 22033 HAS SOPS 22033 HAS SOUS 6257 HAS SOUPS 6257 WITH SCORE 6279.033
AT ITER 4295 NEW BEST:: SOT 33944 SOS 22032 HAS SOPS 22032 HAS SOUS 6255 HAS SOUPS 6255 WITH SCORE 6277.032
AT ITER 4308 NEW BEST:: SOT 33944 SOS 22032 HAS SOPS 22032 HAS SOUS 6250 HAS SOUPS 6250 WITH SCORE 6272.032
AT ITER 4316 NEW BEST:: SOT 33934 SOS 22012 HAS SOPS 22012 HAS SOUS 6240 HAS SOUPS 6240 WITH SCORE 6262.012
AT ITER 4339 NEW BEST:: SOT 33933 SOS 22011 HAS SOPS 22011 HAS SOUS 6238 HAS SOUPS 6238 WITH SCORE 6260.011
AT ITER 4392 NEW BEST:: SOT 33930 SOS 22008 HAS SOPS 22008 HAS SOUS 6232 HAS SOUPS 6232 WITH SCORE 6254.008
AT ITER 4394 NEW BEST:: SOT 33910 SOS 21988 HAS SOPS 21988 HAS SOUS 6212 HAS SOUPS 6212 WITH SCORE 6233.988
AT ITER 4445 NEW BEST:: SOT 33871 SOS 21931 HAS SOPS 21931 HAS SOUS 6185 HAS SOUPS 6185 WITH SCORE 6206.931
AT ITER 4473 NEW BEST:: SOT 33862 SOS 21913 HAS SOPS 21913 HAS SOUS 6176 HAS SOUPS 6176 WITH SCORE 6197.913
AT ITER 4511 NEW BEST:: SOT 33861 SOS 21912 HAS SOPS 21912 HAS SOUS 6174 HAS SOUPS 6174 WITH SCORE 6195.912
AT ITER 4619 NEW BEST:: SOT 33825 SOS 21875 HAS SOPS 21875 HAS SOUS 6173 HAS SOUPS 6173 WITH SCORE 6194.875
AT ITER 4679 NEW BEST:: SOT 33823 SOS 21873 HAS SOPS 21873 HAS SOUS 6169 HAS SOUPS 6169 WITH SCORE 6190.873
AT ITER 4711 NEW BEST:: SOT 33819 SOS 21894 HAS SOPS 21894 HAS SOUS 6145 HAS SOUPS 6145 WITH SCORE 6166.894
AT ITER 4722 NEW BEST:: SOT 33859 SOS 21934 HAS SOPS 21934 HAS SOUS 6129 HAS SOUPS 6129 WITH SCORE 6150.934
AT ITER 4739 NEW BEST:: SOT 33904 SOS 21979 HAS SOPS 21979 HAS SOUS 6123 HAS SOUPS 6123 WITH SCORE 6144.979
AT ITER 4741 NEW BEST:: SOT 33884 SOS 21905 HAS SOPS 21905 HAS SOUS 6116 HAS SOUPS 6116 WITH SCORE 6137.905
AT ITER 4814 NEW BEST:: SOT 33881 SOS 21902 HAS SOPS 21902 HAS SOUS 6110 HAS SOUPS 6110 WITH SCORE 6131.902
AT ITER 4839 NEW BEST:: SOT 33863 SOS 21888 HAS SOPS 21888 HAS SOUS 6096 HAS SOUPS 6096 WITH SCORE 6117.888
AT ITER 4858 NEW BEST:: SOT 33863 SOS 20987 HAS SOPS 20987 HAS SOUS 6092 HAS SOUPS 6092 WITH SCORE 6112.987
AT ITER 4878 NEW BEST:: SOT 33868 SOS 20992 HAS SOPS 20992 HAS SOUS 6058 HAS SOUPS 6058 WITH SCORE 6078.992
AT ITER 4887 NEW BEST:: SOT 33867 SOS 20991 HAS SOPS 20991 HAS SOUS 6056 HAS SOUPS 6056 WITH SCORE 6076.991
AT ITER 4917 NEW BEST:: SOT 33866 SOS 20990 HAS SOPS 20990 HAS SOUS 6054 HAS SOUPS 6054 WITH SCORE 6074.99
AT ITER 4952 NEW BEST:: SOT 33858 SOS 20982 HAS SOPS 20982 HAS SOUS 6038 HAS SOUPS 6038 WITH SCORE 6058.982
AT ITER 4962 NEW BEST:: SOT 33835 SOS 20932 HAS SOPS 20932 HAS SOUS 6019 HAS SOUPS 6019 WITH SCORE 6039.932
Bounds file is: CTLFireability.xml
PROPERTY: DES-PT-40a-CTLFireability-00 ( (EF( (! (! ( ((potential((tk(P91)>=1) & (tk(P190)>=1)))) & ((potential((tk(P82)>=1) & (tk(P190)>=1)))) ))))) | (! (! ((potential((tk(P193)>=1) & (tk(P195)>=1) & (tk(P9)>=1)))))) )
PROPERTY: DES-PT-40a-CTLFireability-01 (EG( ( (AF( ( ((potential((tk(P220)>=1) & (tk(P236)>=1)))) & ((potential((tk(P224)>=1) & (tk(P240)>=1)))) ))) | (AF( ((potential((tk(P122)>=1) & (tk(P165)>=1)))))) )))
PROPERTY: DES-PT-40a-CTLFireability-02 ( (AG( ((potential((tk(P269)>=1) & (tk(P263)>=1)))))) | (EG( ( ( ((potential((tk(P193)>=1) & (tk(P195)>=1) & (tk(P27)>=1)))) & ((potential((tk(P133)>=1) & (tk(P165)>=1)))) ) | (EF( ((potential((tk(P193)>=1) & (tk(P195)>=1) & (tk(P39)>=1)))))) ))) )
PROPERTY: DES-PT-40a-CTLFireability-03 (! (EF( ( ( ( ((potential((tk(P193)>=1) & (tk(P195)>=1) & (tk(P15)>=1)))) | ((potential((tk(P134)>=1) & (tk(P165)>=1)))) ) | (! ((potential((tk(P189)>=1) & (tk(P187)>=1) & (tk(P182)>=1))))) ) & (AF( ((potential((tk(P132)>=1) & (tk(P165)>=1)))))) ))))
PROPERTY: DES-PT-40a-CTLFireability-04 (! ( (EG( ( ( ((potential((tk(P120)>=1) & (tk(P190)>=1)))) | ((potential((tk(P193)>=1) & (tk(P195)>=1) & (tk(P24)>=1)))) ) | ( ((potential((tk(P189)>=1) & (tk(P187)>=1) & (tk(P182)>=1)))) | ((potential((tk(P46)>=1) & (tk(P270)>=1)))) ) ))) | (AF( ((potential((tk(P139)>=1) & (tk(P165)>=1)))))) ))
PROPERTY: DES-PT-40a-CTLFireability-05 (AU( (! ( ( ((potential((tk(P193)>=1) & (tk(P195)>=1) & (tk(P31)>=1)))) | ((potential((tk(P112)>=1) & (tk(P190)>=1)))) ) & ( ((potential((tk(P189)>=1) & (tk(P187)>=1) & (tk(P182)>=1)))) | ((potential((tk(P142)>=1) & (tk(P165)>=1)))) ) )) , (AG( ( ((potential((tk(P193)>=1) & (tk(P195)>=1) & (tk(P13)>=1)))) | ((potential((tk(P130)>=1) & (tk(P165)>=1)))) ))) ))
PROPERTY: DES-PT-40a-CTLFireability-06 (EU( (! (EG( ((potential((tk(P171)>=1) & (tk(P265)>=1))))))) , ( (EX( ((potential((tk(P198)>=1) & (tk(P268)>=1)))))) | ( ((potential((tk(P193)>=1) & (tk(P195)>=1) & (tk(P30)>=1)))) | ( ((potential((tk(P74)>=1) & (tk(P270)>=1)))) & ((potential((tk(P193)>=1) & (tk(P195)>=1) & (tk(P14)>=1)))) ) ) ) ))
PROPERTY: DES-PT-40a-CTLFireability-07 (EX( (! ( (AF( ((potential((tk(P106)>=1) & (tk(P190)>=1)))))) | (EG( ((potential((tk(P120)>=1) & (tk(P190)>=1)))))) ))))
PROPERTY: DES-PT-40a-CTLFireability-08 ( (EF( ((potential((tk(P113)>=1) & (tk(P190)>=1)))))) | (EG( (EU( ((potential((tk(P176)>=1) & (tk(P186)>=1)))) , ((potential((tk(P171)>=1) & (tk(P265)>=1)))) )))) )
PROPERTY: DES-PT-40a-CTLFireability-09 (AF( (AG( (EG( ((potential((tk(P122)>=1) & (tk(P165)>=1))))))))))
PROPERTY: DES-PT-40a-CTLFireability-10 (EF( (AF( ( ( ((potential((tk(P50)>=1) & (tk(P270)>=1)))) & ((potential((tk(P193)>=1) & (tk(P195)>=1) & (tk(P7)>=1)))) ) | ( ((potential((tk(P110)>=1) & (tk(P190)>=1)))) | ((potential((tk(P105)>=1) & (tk(P190)>=1)))) ) )))))
PROPERTY: DES-PT-40a-CTLFireability-11 ( (EF( (EG( ( ((potential((tk(P200)>=1) & (tk(P217)>=1)))) & ((potential((tk(P171)>=1) & (tk(P265)>=1)))) ))))) | (EU( (! ((potential((tk(P59)>=1) & (tk(P270)>=1))))) , ( (! ((potential((tk(P193)>=1) & (tk(P195)>=1) & (tk(P13)>=1))))) & ( ((potential((tk(P247)>=1) & (tk(P243)>=1) & (tk(P239)>=1) & (tk(P235)>=1) & (tk(P233)>=1) & (tk(P237)>=1) & (tk(P241)>=1) & (tk(P245)>=1)))) | ((potential((tk(P193)>=1) & (tk(P195)>=1) & (tk(P13)>=1)))) ) ) )) )
PROPERTY: DES-PT-40a-CTLFireability-12 (EU( ( ( ( ((potential((tk(P251)>=1) & (tk(P249)>=1)))) | ((potential((tk(P124)>=1) & (tk(P165)>=1)))) ) & ( ((potential((tk(P193)>=1) & (tk(P195)>=1) & (tk(P8)>=1)))) | ((potential((tk(P118)>=1) & (tk(P190)>=1)))) ) ) | ( ((potential((tk(P177)>=1) & (tk(P178)>=1)))) & ( ((potential((tk(P110)>=1) & (tk(P190)>=1)))) | ((potential((tk(P160)>=1) & (tk(P165)>=1)))) ) ) ) , (EF( ((potential((tk(P193)>=1) & (tk(P195)>=1) & (tk(P19)>=1)))))) ))
PROPERTY: DES-PT-40a-CTLFireability-13 (AF( (EF( (EX( ((potential((tk(P193)>=1) & (tk(P195)>=1) & (tk(P19)>=1))))))))))
PROPERTY: DES-PT-40a-CTLFireability-14 (EX( ( ( (AX( ((potential((tk(P69)>=1) & (tk(P270)>=1)))))) & ( ( ((potential((tk(P251)>=1) & (tk(P249)>=1)))) | ((potential((tk(P76)>=1) & (tk(P270)>=1)))) ) & ( ((potential((tk(P90)>=1) & (tk(P190)>=1)))) | ((potential((tk(P189)>=1) & (tk(P187)>=1) & (tk(P182)>=1)))) ) ) ) | (AG( (! ((potential((tk(P226)>=1) & (tk(P242)>=1))))))) )))
PROPERTY: DES-PT-40a-CTLFireability-15 ( (EX( ( ( ( ((potential((tk(P193)>=1) & (tk(P195)>=1) & (tk(P19)>=1)))) | ((potential((tk(P87)>=1) & (tk(P190)>=1)))) ) | ( ((potential((tk(P210)>=1) & (tk(P227)>=1)))) & ((potential((tk(P130)>=1) & (tk(P165)>=1)))) ) ) | (AF( ((potential((tk(P57)>=1) & (tk(P270)>=1)))))) ))) | ((potential((tk(P193)>=1) & (tk(P195)>=1) & (tk(P33)>=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-40a"
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-40a, 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-158902542000292"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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