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-158902542100372.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 DLCflexbar-PT-4a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542100372
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.9M
-rw-r--r-- 1 mcc users 3.1K Mar 30 03:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 30 03:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 28 18:09 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 18:09 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.8K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 27 10:58 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 27 10:58 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 26 09:25 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 26 09:25 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K 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 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1.7M 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 DLCflexbar-PT-4a-CTLFireability-00
FORMULA_NAME DLCflexbar-PT-4a-CTLFireability-01
FORMULA_NAME DLCflexbar-PT-4a-CTLFireability-02
FORMULA_NAME DLCflexbar-PT-4a-CTLFireability-03
FORMULA_NAME DLCflexbar-PT-4a-CTLFireability-04
FORMULA_NAME DLCflexbar-PT-4a-CTLFireability-05
FORMULA_NAME DLCflexbar-PT-4a-CTLFireability-06
FORMULA_NAME DLCflexbar-PT-4a-CTLFireability-07
FORMULA_NAME DLCflexbar-PT-4a-CTLFireability-08
FORMULA_NAME DLCflexbar-PT-4a-CTLFireability-09
FORMULA_NAME DLCflexbar-PT-4a-CTLFireability-10
FORMULA_NAME DLCflexbar-PT-4a-CTLFireability-11
FORMULA_NAME DLCflexbar-PT-4a-CTLFireability-12
FORMULA_NAME DLCflexbar-PT-4a-CTLFireability-13
FORMULA_NAME DLCflexbar-PT-4a-CTLFireability-14
FORMULA_NAME DLCflexbar-PT-4a-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589114133177

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 4a
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: 927 places, 6615 transitions, 25705 arcs.
AT ITER 0 NEW BEST:: SOT 3762309 SOS 3120198 HAS SOPS 1567339 HAS SOUS 274322 HAS SOUPS 123224 WITH SCORE 126344.198
AT ITER 5 NEW BEST:: SOT 3761308 SOS 3122271 HAS SOPS 1567432 HAS SOUS 273486 HAS SOUPS 122388 WITH SCORE 125510.271
AT ITER 29 NEW BEST:: SOT 3761133 SOS 3123076 HAS SOPS 1567817 HAS SOUS 273346 HAS SOUPS 122248 WITH SCORE 125371.076
AT ITER 50 NEW BEST:: SOT 3761023 SOS 3122746 HAS SOPS 1567487 HAS SOUS 273236 HAS SOUPS 122138 WITH SCORE 125260.746
AT ITER 54 NEW BEST:: SOT 3760592 SOS 3121128 HAS SOPS 1567003 HAS SOUS 272684 HAS SOUPS 121775 WITH SCORE 124896.128
AT ITER 64 NEW BEST:: SOT 3760592 SOS 3121128 HAS SOPS 1567003 HAS SOUS 272634 HAS SOUPS 121725 WITH SCORE 124846.128
AT ITER 65 NEW BEST:: SOT 3760516 SOS 3120532 HAS SOPS 1566407 HAS SOUS 272559 HAS SOUPS 121650 WITH SCORE 124770.532
AT ITER 73 NEW BEST:: SOT 3759489 SOS 3124541 HAS SOPS 1567716 HAS SOUS 271916 HAS SOUPS 121007 WITH SCORE 124131.541
AT ITER 74 NEW BEST:: SOT 3759309 SOS 3124181 HAS SOPS 1567896 HAS SOUS 271556 HAS SOUPS 120737 WITH SCORE 123861.181
AT ITER 78 NEW BEST:: SOT 3759115 SOS 3124233 HAS SOPS 1567684 HAS SOUS 271410 HAS SOUPS 120591 WITH SCORE 123715.23300000001
AT ITER 81 NEW BEST:: SOT 3759115 SOS 3124233 HAS SOPS 1567684 HAS SOUS 271348 HAS SOUPS 120529 WITH SCORE 123653.23300000001
AT ITER 91 NEW BEST:: SOT 3759050 SOS 3124103 HAS SOPS 1567794 HAS SOUS 271218 HAS SOUPS 120439 WITH SCORE 123563.103
AT ITER 95 NEW BEST:: SOT 3758495 SOS 3124733 HAS SOPS 1566858 HAS SOUS 270840 HAS SOUPS 119974 WITH SCORE 123098.73300000001
AT ITER 115 NEW BEST:: SOT 3758500 SOS 3124578 HAS SOPS 1566763 HAS SOUS 270840 HAS SOUPS 119974 WITH SCORE 123098.578
AT ITER 121 NEW BEST:: SOT 3758339 SOS 3124256 HAS SOPS 1567347 HAS SOUS 270466 HAS SOUPS 119751 WITH SCORE 122875.256
AT ITER 129 NEW BEST:: SOT 3757664 SOS 3122640 HAS SOPS 1566529 HAS SOUS 269955 HAS SOUPS 119373 WITH SCORE 122495.64
AT ITER 130 NEW BEST:: SOT 3757664 SOS 3122640 HAS SOPS 1566529 HAS SOUS 269873 HAS SOUPS 119291 WITH SCORE 122413.64
AT ITER 131 NEW BEST:: SOT 3756630 SOS 3126927 HAS SOPS 1568032 HAS SOUS 269213 HAS SOUPS 118631 WITH SCORE 121757.927
AT ITER 145 NEW BEST:: SOT 3756381 SOS 3126429 HAS SOPS 1568344 HAS SOUS 268707 HAS SOUPS 118260 WITH SCORE 121386.429
AT ITER 147 NEW BEST:: SOT 3756381 SOS 3126429 HAS SOPS 1568344 HAS SOUS 268635 HAS SOUPS 118188 WITH SCORE 121314.429
AT ITER 154 NEW BEST:: SOT 3756325 SOS 3126149 HAS SOPS 1568064 HAS SOUS 268579 HAS SOUPS 118132 WITH SCORE 121258.149
AT ITER 185 NEW BEST:: SOT 3756177 SOS 3125643 HAS SOPS 1568188 HAS SOUS 268340 HAS SOUPS 117998 WITH SCORE 121123.643
AT ITER 191 NEW BEST:: SOT 3756177 SOS 3125643 HAS SOPS 1568188 HAS SOUS 268334 HAS SOUPS 117992 WITH SCORE 121117.643
AT ITER 195 NEW BEST:: SOT 3755932 SOS 3125923 HAS SOPS 1567838 HAS SOUS 268194 HAS SOUPS 117817 WITH SCORE 120942.923
AT ITER 206 NEW BEST:: SOT 3755683 SOS 3125425 HAS SOPS 1568198 HAS SOUS 267678 HAS SOUPS 117444 WITH SCORE 120569.425
AT ITER 211 NEW BEST:: SOT 3755529 SOS 3124951 HAS SOPS 1567724 HAS SOUS 267524 HAS SOUPS 117290 WITH SCORE 120414.951
AT ITER 223 NEW BEST:: SOT 3754789 SOS 3128317 HAS SOPS 1568834 HAS SOUS 267098 HAS SOUPS 116864 WITH SCORE 119992.317
AT ITER 242 NEW BEST:: SOT 3754821 SOS 3126365 HAS SOPS 1568254 HAS SOUS 267050 HAS SOUPS 116844 WITH SCORE 119970.365
AT ITER 247 NEW BEST:: SOT 3754785 SOS 3126293 HAS SOPS 1568182 HAS SOUS 266978 HAS SOUPS 116772 WITH SCORE 119898.293
AT ITER 254 NEW BEST:: SOT 3754785 SOS 3126293 HAS SOPS 1568182 HAS SOUS 266904 HAS SOUPS 116698 WITH SCORE 119824.293
AT ITER 261 NEW BEST:: SOT 3754689 SOS 3126101 HAS SOPS 1568740 HAS SOUS 266694 HAS SOUPS 116613 WITH SCORE 119739.101
AT ITER 263 NEW BEST:: SOT 3754336 SOS 3124957 HAS SOPS 1567596 HAS SOUS 266209 HAS SOUPS 116128 WITH SCORE 119252.957
AT ITER 265 NEW BEST:: SOT 3754324 SOS 3124333 HAS SOPS 1567560 HAS SOUS 266191 HAS SOUPS 116122 WITH SCORE 119246.333
AT ITER 268 NEW BEST:: SOT 3754324 SOS 3124333 HAS SOPS 1567560 HAS SOUS 266175 HAS SOUPS 116106 WITH SCORE 119230.333
AT ITER 274 NEW BEST:: SOT 3754324 SOS 3124333 HAS SOPS 1567560 HAS SOUS 266169 HAS SOUPS 116100 WITH SCORE 119224.333
AT ITER 278 NEW BEST:: SOT 3754111 SOS 3123907 HAS SOPS 1567980 HAS SOUS 265718 HAS SOUPS 115790 WITH SCORE 118913.907
AT ITER 316 NEW BEST:: SOT 3754111 SOS 3123907 HAS SOPS 1567980 HAS SOUS 265698 HAS SOUPS 115770 WITH SCORE 118893.907
AT ITER 342 NEW BEST:: SOT 3754111 SOS 3123907 HAS SOPS 1567980 HAS SOUS 265674 HAS SOUPS 115746 WITH SCORE 118869.907
AT ITER 349 NEW BEST:: SOT 3752966 SOS 3131159 HAS SOPS 1570192 HAS SOUS 265621 HAS SOUPS 115413 WITH SCORE 118544.159
AT ITER 351 NEW BEST:: SOT 3752924 SOS 3131075 HAS SOPS 1570360 HAS SOUS 265537 HAS SOUPS 115371 WITH SCORE 118502.075
AT ITER 363 NEW BEST:: SOT 3752896 SOS 3130963 HAS SOPS 1570416 HAS SOUS 265509 HAS SOUPS 115371 WITH SCORE 118501.963
AT ITER 366 NEW BEST:: SOT 3752834 SOS 3130839 HAS SOPS 1571030 HAS SOUS 265234 HAS SOUPS 115219 WITH SCORE 118349.839
AT ITER 396 NEW BEST:: SOT 3752834 SOS 3130839 HAS SOPS 1571030 HAS SOUS 265146 HAS SOUPS 115131 WITH SCORE 118261.839
AT ITER 399 NEW BEST:: SOT 3752779 SOS 3130729 HAS SOPS 1571784 HAS SOUS 264991 HAS SOUPS 115120 WITH SCORE 118250.729
AT ITER 421 NEW BEST:: SOT 3752779 SOS 3130729 HAS SOPS 1571784 HAS SOUS 264905 HAS SOUPS 115034 WITH SCORE 118164.729
AT ITER 428 NEW BEST:: SOT 3752779 SOS 3130729 HAS SOPS 1571784 HAS SOUS 264823 HAS SOUPS 114952 WITH SCORE 118082.729
AT ITER 430 NEW BEST:: SOT 3752779 SOS 3130729 HAS SOPS 1571784 HAS SOUS 264805 HAS SOUPS 114934 WITH SCORE 118064.729
AT ITER 450 NEW BEST:: SOT 3752803 SOS 3130753 HAS SOPS 1571808 HAS SOUS 264799 HAS SOUPS 114928 WITH SCORE 118058.753
AT ITER 455 NEW BEST:: SOT 3752714 SOS 3130575 HAS SOPS 1572164 HAS SOUS 264621 HAS SOUPS 114839 WITH SCORE 117969.575
AT ITER 470 NEW BEST:: SOT 3752612 SOS 3129899 HAS SOPS 1572904 HAS SOUS 264283 HAS SOUPS 114737 WITH SCORE 117866.899
AT ITER 473 NEW BEST:: SOT 3752604 SOS 3129883 HAS SOPS 1572546 HAS SOUS 264339 HAS SOUPS 114736 WITH SCORE 117865.883
AT ITER 474 NEW BEST:: SOT 3752512 SOS 3129931 HAS SOPS 1572594 HAS SOUS 264304 HAS SOUPS 114701 WITH SCORE 117830.931
AT ITER 476 NEW BEST:: SOT 3750781 SOS 3134807 HAS SOPS 1573918 HAS SOUS 263878 HAS SOUPS 114275 WITH SCORE 117409.807
AT ITER 479 NEW BEST:: SOT 3750367 SOS 3135695 HAS SOPS 1573402 HAS SOUS 263632 HAS SOUPS 113951 WITH SCORE 117086.695
AT ITER 489 NEW BEST:: SOT 3750345 SOS 3135651 HAS SOPS 1573358 HAS SOUS 263609 HAS SOUPS 113928 WITH SCORE 117063.651
AT ITER 515 NEW BEST:: SOT 3750399 SOS 3134437 HAS SOPS 1572636 HAS SOUS 263591 HAS SOUPS 113910 WITH SCORE 117044.437
AT ITER 527 NEW BEST:: SOT 3750129 SOS 3133603 HAS SOPS 1572684 HAS SOUS 263396 HAS SOUPS 113862 WITH SCORE 116995.603
AT ITER 536 NEW BEST:: SOT 3749420 SOS 3127004 HAS SOPS 1575974 HAS SOUS 262979 HAS SOUPS 113445 WITH SCORE 116572.004
AT ITER 541 NEW BEST:: SOT 3747948 SOS 3125428 HAS SOPS 1575082 HAS SOUS 262895 HAS SOUPS 113361 WITH SCORE 116486.428
AT ITER 544 NEW BEST:: SOT 3747874 SOS 3125280 HAS SOPS 1575852 HAS SOUS 262668 HAS SOUPS 113287 WITH SCORE 116412.28
AT ITER 572 NEW BEST:: SOT 3747874 SOS 3125280 HAS SOPS 1575852 HAS SOUS 262588 HAS SOUPS 113207 WITH SCORE 116332.28
AT ITER 634 NEW BEST:: SOT 3747778 SOS 3125088 HAS SOPS 1575948 HAS SOUS 262396 HAS SOUPS 113063 WITH SCORE 116188.088
AT ITER 649 NEW BEST:: SOT 3747477 SOS 3125432 HAS SOPS 1575518 HAS SOUS 262224 HAS SOUPS 112848 WITH SCORE 115973.432
AT ITER 657 NEW BEST:: SOT 3747273 SOS 3124166 HAS SOPS 1575290 HAS SOUS 261815 HAS SOUPS 112612 WITH SCORE 115736.166
AT ITER 692 NEW BEST:: SOT 3747245 SOS 3124110 HAS SOPS 1575234 HAS SOUS 261759 HAS SOUPS 112556 WITH SCORE 115680.11
AT ITER 725 NEW BEST:: SOT 3747232 SOS 3124084 HAS SOPS 1575208 HAS SOUS 261746 HAS SOUPS 112543 WITH SCORE 115667.084
AT ITER 728 NEW BEST:: SOT 3747216 SOS 3123866 HAS SOPS 1575548 HAS SOUS 261649 HAS SOUPS 112539 WITH SCORE 115662.866
AT ITER 729 NEW BEST:: SOT 3747123 SOS 3123044 HAS SOPS 1575362 HAS SOUS 261462 HAS SOUPS 112458 WITH SCORE 115581.044
AT ITER 738 NEW BEST:: SOT 3747184 SOS 3120577 HAS SOPS 1575100 HAS SOUS 261415 HAS SOUPS 112456 WITH SCORE 115576.577
AT ITER 758 NEW BEST:: SOT 3746949 SOS 3119333 HAS SOPS 1574630 HAS SOUS 260981 HAS SOUPS 112151 WITH SCORE 115270.333
AT ITER 770 NEW BEST:: SOT 3746949 SOS 3119333 HAS SOPS 1574630 HAS SOUS 260805 HAS SOUPS 111975 WITH SCORE 115094.333
AT ITER 784 NEW BEST:: SOT 3746912 SOS 3117446 HAS SOPS 1573772 HAS SOUS 260773 HAS SOUPS 111964 WITH SCORE 115081.446
AT ITER 793 NEW BEST:: SOT 3746760 SOS 3116836 HAS SOPS 1573618 HAS SOUS 260469 HAS SOUPS 111736 WITH SCORE 114852.836
AT ITER 819 NEW BEST:: SOT 3746760 SOS 3116836 HAS SOPS 1573618 HAS SOUS 260407 HAS SOUPS 111674 WITH SCORE 114790.836
AT ITER 832 NEW BEST:: SOT 3746716 SOS 3117353 HAS SOPS 1573057 HAS SOUS 260418 HAS SOUPS 111663 WITH SCORE 114780.353
AT ITER 836 NEW BEST:: SOT 3746716 SOS 3117353 HAS SOPS 1573057 HAS SOUS 260396 HAS SOUPS 111641 WITH SCORE 114758.353
AT ITER 842 NEW BEST:: SOT 3746702 SOS 3117325 HAS SOPS 1573029 HAS SOUS 260375 HAS SOUPS 111620 WITH SCORE 114737.325
AT ITER 872 NEW BEST:: SOT 3746105 SOS 3111351 HAS SOPS 1575645 HAS SOUS 260207 HAS SOUPS 111376 WITH SCORE 114487.351
AT ITER 879 NEW BEST:: SOT 3746007 SOS 3111155 HAS SOPS 1575449 HAS SOUS 260110 HAS SOUPS 111279 WITH SCORE 114390.155
AT ITER 882 NEW BEST:: SOT 3745217 SOS 3114173 HAS SOPS 1576115 HAS SOUS 259599 HAS SOUPS 110768 WITH SCORE 113882.173
AT ITER 895 NEW BEST:: SOT 3745042 SOS 3114373 HAS SOPS 1575865 HAS SOUS 259499 HAS SOUPS 110643 WITH SCORE 113757.373
AT ITER 915 NEW BEST:: SOT 3744918 SOS 3113785 HAS SOPS 1576297 HAS SOUS 259205 HAS SOUPS 110519 WITH SCORE 113632.785
AT ITER 925 NEW BEST:: SOT 3744918 SOS 3113785 HAS SOPS 1576297 HAS SOUS 259117 HAS SOUPS 110431 WITH SCORE 113544.785
AT ITER 953 NEW BEST:: SOT 3743976 SOS 3116245 HAS SOPS 1576453 HAS SOUS 258391 HAS SOUPS 109705 WITH SCORE 112821.245
AT ITER 978 NEW BEST:: SOT 3743873 SOS 3116039 HAS SOPS 1576247 HAS SOUS 258181 HAS SOUPS 109495 WITH SCORE 112611.039
AT ITER 979 NEW BEST:: SOT 3743873 SOS 3116039 HAS SOPS 1576247 HAS SOUS 258113 HAS SOUPS 109427 WITH SCORE 112543.039
AT ITER 988 NEW BEST:: SOT 3744022 SOS 3108282 HAS SOPS 1577261 HAS SOUS 257832 HAS SOUPS 109325 WITH SCORE 112433.282
AT ITER 1008 NEW BEST:: SOT 3743946 SOS 3108130 HAS SOPS 1577565 HAS SOUS 257680 HAS SOUPS 109249 WITH SCORE 112357.13
AT ITER 1016 NEW BEST:: SOT 3742859 SOS 3109432 HAS SOPS 1577019 HAS SOUS 256843 HAS SOUPS 108412 WITH SCORE 111521.432
AT ITER 1064 NEW BEST:: SOT 3742859 SOS 3109432 HAS SOPS 1577019 HAS SOUS 256789 HAS SOUPS 108358 WITH SCORE 111467.432
AT ITER 1068 NEW BEST:: SOT 3742342 SOS 3119518 HAS SOPS 1576464 HAS SOUS 256248 HAS SOUPS 107893 WITH SCORE 111012.518
AT ITER 1069 NEW BEST:: SOT 3741250 SOS 3125096 HAS SOPS 1578670 HAS SOUS 255605 HAS SOUPS 107250 WITH SCORE 110375.096
AT ITER 1072 NEW BEST:: SOT 3741250 SOS 3124766 HAS SOPS 1578340 HAS SOUS 255604 HAS SOUPS 107249 WITH SCORE 110373.766
AT ITER 1081 NEW BEST:: SOT 3741177 SOS 3124620 HAS SOPS 1578194 HAS SOUS 255516 HAS SOUPS 107161 WITH SCORE 110285.62
AT ITER 1113 NEW BEST:: SOT 3741423 SOS 3109497 HAS SOPS 1577992 HAS SOUS 255157 HAS SOUPS 106802 WITH SCORE 109911.497
AT ITER 1121 NEW BEST:: SOT 3741040 SOS 3117669 HAS SOPS 1580800 HAS SOUS 255359 HAS SOUPS 106706 WITH SCORE 109823.669
AT ITER 1122 NEW BEST:: SOT 3739892 SOS 3121773 HAS SOPS 1581856 HAS SOUS 254567 HAS SOUPS 105914 WITH SCORE 109035.773
AT ITER 1139 NEW BEST:: SOT 3739234 SOS 3125381 HAS SOPS 1582476 HAS SOUS 254267 HAS SOUPS 105448 WITH SCORE 108573.381
AT ITER 1153 NEW BEST:: SOT 3739162 SOS 3125237 HAS SOPS 1582332 HAS SOUS 254171 HAS SOUPS 105352 WITH SCORE 108477.237
AT ITER 1162 NEW BEST:: SOT 3739162 SOS 3125237 HAS SOPS 1582332 HAS SOUS 254125 HAS SOUPS 105306 WITH SCORE 108431.237
AT ITER 1164 NEW BEST:: SOT 3739069 SOS 3124607 HAS SOPS 1582146 HAS SOUS 253912 HAS SOUPS 105167 WITH SCORE 108291.607
AT ITER 1200 NEW BEST:: SOT 3738442 SOS 3123815 HAS SOPS 1581354 HAS SOUS 253841 HAS SOUPS 105096 WITH SCORE 108219.815
AT ITER 1229 NEW BEST:: SOT 3738442 SOS 3123815 HAS SOPS 1581354 HAS SOUS 253769 HAS SOUPS 105024 WITH SCORE 108147.815
AT ITER 1233 NEW BEST:: SOT 3738423 SOS 3123777 HAS SOPS 1581430 HAS SOUS 253731 HAS SOUPS 105005 WITH SCORE 108128.777
AT ITER 1248 NEW BEST:: SOT 3738307 SOS 3123383 HAS SOPS 1581036 HAS SOUS 253615 HAS SOUPS 104889 WITH SCORE 108012.383
AT ITER 1258 NEW BEST:: SOT 3738291 SOS 3123455 HAS SOPS 1581060 HAS SOUS 253603 HAS SOUPS 104877 WITH SCORE 108000.455
AT ITER 1260 NEW BEST:: SOT 3738141 SOS 3123155 HAS SOPS 1581210 HAS SOUS 253303 HAS SOUPS 104652 WITH SCORE 107775.155
AT ITER 1268 NEW BEST:: SOT 3738123 SOS 3123119 HAS SOPS 1581228 HAS SOUS 253267 HAS SOUPS 104625 WITH SCORE 107748.119
AT ITER 1276 NEW BEST:: SOT 3737061 SOS 3120519 HAS SOPS 1580056 HAS SOUS 252528 HAS SOUPS 104124 WITH SCORE 107244.519
AT ITER 1300 NEW BEST:: SOT 3737061 SOS 3120519 HAS SOPS 1580056 HAS SOUS 252522 HAS SOUPS 104118 WITH SCORE 107238.519
AT ITER 1323 NEW BEST:: SOT 3736786 SOS 3119655 HAS SOPS 1580134 HAS SOUS 252200 HAS SOUPS 103953 WITH SCORE 107072.655
AT ITER 1339 NEW BEST:: SOT 3736698 SOS 3119479 HAS SOPS 1579958 HAS SOUS 252024 HAS SOUPS 103777 WITH SCORE 106896.479
AT ITER 1341 NEW BEST:: SOT 3736680 SOS 3119593 HAS SOPS 1579214 HAS SOUS 252018 HAS SOUPS 103628 WITH SCORE 106747.593
AT ITER 1351 NEW BEST:: SOT 3736656 SOS 3119545 HAS SOPS 1579310 HAS SOUS 251970 HAS SOUPS 103604 WITH SCORE 106723.545
AT ITER 1383 NEW BEST:: SOT 3736401 SOS 3119975 HAS SOPS 1579176 HAS SOUS 251958 HAS SOUPS 103592 WITH SCORE 106711.975
AT ITER 1385 NEW BEST:: SOT 3736401 SOS 3119975 HAS SOPS 1579176 HAS SOUS 251954 HAS SOUPS 103588 WITH SCORE 106707.975
AT ITER 1430 NEW BEST:: SOT 3736372 SOS 3119851 HAS SOPS 1579250 HAS SOUS 251892 HAS SOUPS 103559 WITH SCORE 106678.851
AT ITER 1448 NEW BEST:: SOT 3734774 SOS 3117626 HAS SOPS 1577740 HAS SOUS 251874 HAS SOUPS 103525 WITH SCORE 106642.626
AT ITER 1449 NEW BEST:: SOT 3734689 SOS 3117830 HAS SOPS 1577638 HAS SOUS 251789 HAS SOUPS 103423 WITH SCORE 106540.83
AT ITER 1458 NEW BEST:: SOT 3734681 SOS 3117418 HAS SOPS 1577880 HAS SOUS 251606 HAS SOUPS 103349 WITH SCORE 106466.418
AT ITER 1466 NEW BEST:: SOT 3734619 SOS 3117294 HAS SOPS 1577756 HAS SOUS 251471 HAS SOUPS 103214 WITH SCORE 106331.294
AT ITER 1498 NEW BEST:: SOT 3734012 SOS 3115212 HAS SOPS 1576976 HAS SOUS 250675 HAS SOUPS 102635 WITH SCORE 105750.212
AT ITER 1520 NEW BEST:: SOT 3733999 SOS 3114514 HAS SOPS 1576278 HAS SOUS 250662 HAS SOUPS 102622 WITH SCORE 105736.514
AT ITER 1539 NEW BEST:: SOT 3733999 SOS 3114514 HAS SOPS 1576278 HAS SOUS 250652 HAS SOUPS 102612 WITH SCORE 105726.514
AT ITER 1554 NEW BEST:: SOT 3731801 SOS 3110893 HAS SOPS 1574783 HAS SOUS 250351 HAS SOUPS 102479 WITH SCORE 105589.893
AT ITER 1582 NEW BEST:: SOT 3731614 SOS 3109769 HAS SOPS 1574781 HAS SOUS 249884 HAS SOUPS 102199 WITH SCORE 105308.769
AT ITER 1594 NEW BEST:: SOT 3731565 SOS 3109671 HAS SOPS 1574683 HAS SOUS 249786 HAS SOUPS 102101 WITH SCORE 105210.671
AT ITER 1620 NEW BEST:: SOT 3731464 SOS 3109469 HAS SOPS 1575039 HAS SOUS 249584 HAS SOUPS 101992 WITH SCORE 105101.469
AT ITER 1640 NEW BEST:: SOT 3731464 SOS 3109469 HAS SOPS 1575039 HAS SOUS 249582 HAS SOUPS 101990 WITH SCORE 105099.469
AT ITER 1646 NEW BEST:: SOT 3730351 SOS 3111935 HAS SOPS 1574985 HAS SOUS 248994 HAS SOUPS 101402 WITH SCORE 104513.935
AT ITER 1665 NEW BEST:: SOT 3730095 SOS 3111103 HAS SOPS 1575113 HAS SOUS 248578 HAS SOUPS 101146 WITH SCORE 104257.103
AT ITER 1696 NEW BEST:: SOT 3730238 SOS 3105629 HAS SOPS 1574969 HAS SOUS 248569 HAS SOUPS 101074 WITH SCORE 104179.629
AT ITER 1705 NEW BEST:: SOT 3730022 SOS 3105341 HAS SOPS 1574681 HAS SOUS 248461 HAS SOUPS 100966 WITH SCORE 104071.341
AT ITER 1710 NEW BEST:: SOT 3727352 SOS 3101735 HAS SOPS 1572359 HAS SOUS 248420 HAS SOUPS 100925 WITH SCORE 104026.735
AT ITER 1735 NEW BEST:: SOT 3727352 SOS 3101735 HAS SOPS 1572359 HAS SOUS 248372 HAS SOUPS 100877 WITH SCORE 103978.735
AT ITER 1739 NEW BEST:: SOT 3727272 SOS 3101639 HAS SOPS 1572311 HAS SOUS 248372 HAS SOUPS 100877 WITH SCORE 103978.639
AT ITER 1741 NEW BEST:: SOT 3726440 SOS 3106671 HAS SOPS 1574319 HAS SOUS 247957 HAS SOUPS 100462 WITH SCORE 103568.671
AT ITER 1758 NEW BEST:: SOT 3726228 SOS 3106141 HAS SOPS 1573789 HAS SOUS 247851 HAS SOUPS 100356 WITH SCORE 103462.141
AT ITER 1795 NEW BEST:: SOT 3727030 SOS 3106913 HAS SOPS 1574379 HAS SOUS 247763 HAS SOUPS 100355 WITH SCORE 103461.913
AT ITER 1800 NEW BEST:: SOT 3726840 SOS 3106457 HAS SOPS 1574151 HAS SOUS 247649 HAS SOUPS 100279 WITH SCORE 103385.457
AT ITER 1803 NEW BEST:: SOT 3726840 SOS 3106331 HAS SOPS 1574025 HAS SOUS 247649 HAS SOUPS 100279 WITH SCORE 103385.331
AT ITER 1825 NEW BEST:: SOT 3726126 SOS 3109993 HAS SOPS 1575515 HAS SOUS 247285 HAS SOUPS 99915 WITH SCORE 103024.993
AT ITER 1839 NEW BEST:: SOT 3726126 SOS 3109993 HAS SOPS 1575515 HAS SOUS 247283 HAS SOUPS 99913 WITH SCORE 103022.993
AT ITER 1841 NEW BEST:: SOT 3726030 SOS 3113716 HAS SOPS 1574975 HAS SOUS 247361 HAS SOUPS 99904 WITH SCORE 103017.716
AT ITER 1859 NEW BEST:: SOT 3725385 SOS 3112622 HAS SOPS 1574557 HAS SOUS 247326 HAS SOUPS 99902 WITH SCORE 103014.622
AT ITER 1875 NEW BEST:: SOT 3724585 SOS 3116740 HAS SOPS 1576227 HAS SOUS 246924 HAS SOUPS 99500 WITH SCORE 102616.74
AT ITER 1876 NEW BEST:: SOT 3724426 SOS 3116422 HAS SOPS 1575909 HAS SOUS 246606 HAS SOUPS 99182 WITH SCORE 102298.422
AT ITER 1893 NEW BEST:: SOT 3724426 SOS 3116422 HAS SOPS 1575909 HAS SOUS 246580 HAS SOUPS 99156 WITH SCORE 102272.422
AT ITER 1915 NEW BEST:: SOT 3724456 SOS 3117100 HAS SOPS 1575969 HAS SOUS 246679 HAS SOUPS 99152 WITH SCORE 102269.1
AT ITER 1927 NEW BEST:: SOT 3724456 SOS 3117100 HAS SOPS 1575969 HAS SOUS 246591 HAS SOUPS 99064 WITH SCORE 102181.1
AT ITER 1929 NEW BEST:: SOT 3724388 SOS 3116838 HAS SOPS 1575707 HAS SOUS 246523 HAS SOUPS 98996 WITH SCORE 102112.838
AT ITER 1971 NEW BEST:: SOT 3723847 SOS 3122446 HAS SOPS 1578327 HAS SOUS 246384 HAS SOUPS 98857 WITH SCORE 101979.446
AT ITER 1992 NEW BEST:: SOT 3723802 SOS 3122086 HAS SOPS 1577967 HAS SOUS 246339 HAS SOUPS 98812 WITH SCORE 101934.086
AT ITER 2026 NEW BEST:: SOT 3723802 SOS 3122086 HAS SOPS 1577967 HAS SOUS 246319 HAS SOUPS 98792 WITH SCORE 101914.086
AT ITER 2039 NEW BEST:: SOT 3723706 SOS 3121846 HAS SOPS 1577871 HAS SOUS 246295 HAS SOUPS 98792 WITH SCORE 101913.846
AT ITER 2049 NEW BEST:: SOT 3723603 SOS 3121421 HAS SOPS 1577446 HAS SOUS 246061 HAS SOUPS 98558 WITH SCORE 101679.421
AT ITER 2054 NEW BEST:: SOT 3723339 SOS 3121157 HAS SOPS 1577182 HAS SOUS 245995 HAS SOUPS 98492 WITH SCORE 101613.157
AT ITER 2060 NEW BEST:: SOT 3723339 SOS 3121157 HAS SOPS 1577182 HAS SOUS 245965 HAS SOUPS 98462 WITH SCORE 101583.157
AT ITER 2063 NEW BEST:: SOT 3722893 SOS 3123401 HAS SOPS 1577500 HAS SOUS 245948 HAS SOUPS 98338 WITH SCORE 101461.401
AT ITER 2092 NEW BEST:: SOT 3722893 SOS 3123217 HAS SOPS 1577868 HAS SOUS 245856 HAS SOUPS 98338 WITH SCORE 101461.217
AT ITER 2095 NEW BEST:: SOT 3722893 SOS 3123217 HAS SOPS 1577868 HAS SOUS 245788 HAS SOUPS 98270 WITH SCORE 101393.217
AT ITER 2097 NEW BEST:: SOT 3722893 SOS 3123217 HAS SOPS 1577868 HAS SOUS 245766 HAS SOUPS 98248 WITH SCORE 101371.217
AT ITER 2117 NEW BEST:: SOT 3722887 SOS 3123211 HAS SOPS 1577862 HAS SOUS 245746 HAS SOUPS 98228 WITH SCORE 101351.211
AT ITER 2132 NEW BEST:: SOT 3722750 SOS 3124101 HAS SOPS 1577834 HAS SOUS 245676 HAS SOUPS 98107 WITH SCORE 101231.101
AT ITER 2137 NEW BEST:: SOT 3722744 SOS 3124065 HAS SOPS 1577834 HAS SOUS 245670 HAS SOUPS 98107 WITH SCORE 101231.065
AT ITER 2138 NEW BEST:: SOT 3722359 SOS 3131713 HAS SOPS 1580298 HAS SOUS 245377 HAS SOUPS 97526 WITH SCORE 100657.713
AT ITER 2168 NEW BEST:: SOT 3721494 SOS 3137849 HAS SOPS 1583014 HAS SOUS 245220 HAS SOUPS 97369 WITH SCORE 100506.849
AT ITER 2198 NEW BEST:: SOT 3721591 SOS 3137558 HAS SOPS 1582723 HAS SOUS 245123 HAS SOUPS 97272 WITH SCORE 100409.558
AT ITER 2205 NEW BEST:: SOT 3721528 SOS 3137852 HAS SOPS 1582639 HAS SOUS 245102 HAS SOUPS 97230 WITH SCORE 100367.852
AT ITER 2222 NEW BEST:: SOT 3721528 SOS 3137594 HAS SOPS 1582639 HAS SOUS 245059 HAS SOUPS 97230 WITH SCORE 100367.594
AT ITER 2241 NEW BEST:: SOT 3720963 SOS 3144022 HAS SOPS 1585947 HAS SOUS 244982 HAS SOUPS 97153 WITH SCORE 100297.022
AT ITER 2243 NEW BEST:: SOT 3720705 SOS 3144412 HAS SOPS 1585905 HAS SOUS 244893 HAS SOUPS 97064 WITH SCORE 100208.412
AT ITER 2263 NEW BEST:: SOT 3720697 SOS 3144396 HAS SOPS 1585889 HAS SOUS 244877 HAS SOUPS 97048 WITH SCORE 100192.396
AT ITER 2271 NEW BEST:: SOT 3720697 SOS 3144396 HAS SOPS 1585889 HAS SOUS 244845 HAS SOUPS 97016 WITH SCORE 100160.396
AT ITER 2272 NEW BEST:: SOT 3719611 SOS 3142984 HAS SOPS 1585047 HAS SOUS 244793 HAS SOUPS 96964 WITH SCORE 100106.984
AT ITER 2314 NEW BEST:: SOT 3719413 SOS 3142330 HAS SOPS 1584393 HAS SOUS 244552 HAS SOUPS 96723 WITH SCORE 99865.33
AT ITER 2315 NEW BEST:: SOT 3719273 SOS 3141780 HAS SOPS 1584809 HAS SOUS 244244 HAS SOUPS 96576 WITH SCORE 99717.78
AT ITER 2358 NEW BEST:: SOT 3719093 SOS 3141480 HAS SOPS 1584509 HAS SOUS 244184 HAS SOUPS 96516 WITH SCORE 99657.48
AT ITER 2367 NEW BEST:: SOT 3718968 SOS 3140762 HAS SOPS 1583791 HAS SOUS 244114 HAS SOUPS 96446 WITH SCORE 99586.762
AT ITER 2374 NEW BEST:: SOT 3720019 SOS 3141885 HAS SOPS 1584373 HAS SOUS 243943 HAS SOUPS 96291 WITH SCORE 99432.885
AT ITER 2396 NEW BEST:: SOT 3719659 SOS 3141453 HAS SOPS 1584157 HAS SOUS 243943 HAS SOUPS 96291 WITH SCORE 99432.453
AT ITER 2397 NEW BEST:: SOT 3719629 SOS 3141403 HAS SOPS 1584107 HAS SOUS 243920 HAS SOUPS 96268 WITH SCORE 99409.403
AT ITER 2399 NEW BEST:: SOT 3719569 SOS 3141583 HAS SOPS 1584071 HAS SOUS 243908 HAS SOUPS 96244 WITH SCORE 99385.583
AT ITER 2410 NEW BEST:: SOT 3719569 SOS 3141583 HAS SOPS 1584071 HAS SOUS 243824 HAS SOUPS 96160 WITH SCORE 99301.583
AT ITER 2422 NEW BEST:: SOT 3719513 SOS 3141443 HAS SOPS 1583931 HAS SOUS 243810 HAS SOUPS 96146 WITH SCORE 99287.443
AT ITER 2425 NEW BEST:: SOT 3719507 SOS 3141449 HAS SOPS 1583937 HAS SOUS 243804 HAS SOUPS 96140 WITH SCORE 99281.449
AT ITER 2458 NEW BEST:: SOT 3719507 SOS 3141377 HAS SOPS 1583937 HAS SOUS 243792 HAS SOUPS 96140 WITH SCORE 99281.377
AT ITER 2474 NEW BEST:: SOT 3719067 SOS 3140841 HAS SOPS 1583401 HAS SOUS 243696 HAS SOUPS 96044 WITH SCORE 99184.841
AT ITER 2475 NEW BEST:: SOT 3718584 SOS 3144813 HAS SOPS 1585033 HAS SOUS 243617 HAS SOUPS 95965 WITH SCORE 99109.813
AT ITER 2484 NEW BEST:: SOT 3718418 SOS 3144293 HAS SOPS 1585077 HAS SOUS 243363 HAS SOUPS 95805 WITH SCORE 98949.293
AT ITER 2507 NEW BEST:: SOT 3718146 SOS 3145965 HAS SOPS 1585543 HAS SOUS 243252 HAS SOUPS 95627 WITH SCORE 98772.965
AT ITER 2560 NEW BEST:: SOT 3718234 SOS 3146053 HAS SOPS 1585565 HAS SOUS 243230 HAS SOUPS 95605 WITH SCORE 98751.053
AT ITER 2586 NEW BEST:: SOT 3718206 SOS 3145163 HAS SOPS 1585509 HAS SOUS 242937 HAS SOUPS 95451 WITH SCORE 98596.163
AT ITER 2589 NEW BEST:: SOT 3718202 SOS 3145179 HAS SOPS 1585525 HAS SOUS 242933 HAS SOUPS 95447 WITH SCORE 98592.179
AT ITER 2602 NEW BEST:: SOT 3718154 SOS 3145467 HAS SOPS 1585669 HAS SOUS 242897 HAS SOUPS 95411 WITH SCORE 98556.467
AT ITER 2613 NEW BEST:: SOT 3718104 SOS 3144759 HAS SOPS 1585621 HAS SOUS 242776 HAS SOUPS 95400 WITH SCORE 98544.759
AT ITER 2618 NEW BEST:: SOT 3718104 SOS 3144759 HAS SOPS 1585621 HAS SOUS 242768 HAS SOUPS 95392 WITH SCORE 98536.759
AT ITER 2658 NEW BEST:: SOT 3718104 SOS 3144759 HAS SOPS 1585621 HAS SOUS 242746 HAS SOUPS 95370 WITH SCORE 98514.759
AT ITER 2666 NEW BEST:: SOT 3718036 SOS 3144785 HAS SOPS 1585257 HAS SOUS 242701 HAS SOUPS 95260 WITH SCORE 98404.785
AT ITER 2678 NEW BEST:: SOT 3718403 SOS 3145853 HAS SOPS 1585323 HAS SOUS 242852 HAS SOUPS 95244 WITH SCORE 98389.853
AT ITER 2706 NEW BEST:: SOT 3718403 SOS 3145853 HAS SOPS 1585323 HAS SOUS 242814 HAS SOUPS 95206 WITH SCORE 98351.853
AT ITER 2716 NEW BEST:: SOT 3718321 SOS 3145549 HAS SOPS 1585019 HAS SOUS 242738 HAS SOUPS 95130 WITH SCORE 98275.549
AT ITER 2739 NEW BEST:: SOT 3718299 SOS 3145505 HAS SOPS 1584975 HAS SOUS 242684 HAS SOUPS 95076 WITH SCORE 98221.505
AT ITER 2796 NEW BEST:: SOT 3718299 SOS 3145505 HAS SOPS 1584975 HAS SOUS 242618 HAS SOUPS 95010 WITH SCORE 98155.505
AT ITER 2799 NEW BEST:: SOT 3718266 SOS 3145384 HAS SOPS 1584854 HAS SOUS 242596 HAS SOUPS 94988 WITH SCORE 98133.384
AT ITER 2803 NEW BEST:: SOT 3718196 SOS 3145378 HAS SOPS 1584446 HAS SOUS 242459 HAS SOUPS 94784 WITH SCORE 97929.378
AT ITER 2809 NEW BEST:: SOT 3717572 SOS 3143830 HAS SOPS 1583798 HAS SOUS 242093 HAS SOUPS 94568 WITH SCORE 97711.83
AT ITER 2812 NEW BEST:: SOT 3717572 SOS 3143830 HAS SOPS 1583798 HAS SOUS 242007 HAS SOUPS 94482 WITH SCORE 97625.83
AT ITER 2898 NEW BEST:: SOT 3717108 SOS 3143522 HAS SOPS 1583490 HAS SOUS 241983 HAS SOUPS 94458 WITH SCORE 97601.522
AT ITER 2903 NEW BEST:: SOT 3717104 SOS 3143514 HAS SOPS 1583482 HAS SOUS 241979 HAS SOUPS 94454 WITH SCORE 97597.514
AT ITER 2946 NEW BEST:: SOT 3717081 SOS 3143468 HAS SOPS 1583436 HAS SOUS 241933 HAS SOUPS 94408 WITH SCORE 97551.468
AT ITER 2948 NEW BEST:: SOT 3714660 SOS 3140207 HAS SOPS 1581369 HAS SOUS 241924 HAS SOUPS 94399 WITH SCORE 97539.207
AT ITER 2974 NEW BEST:: SOT 3714177 SOS 3138026 HAS SOPS 1580646 HAS SOUS 241669 HAS SOUPS 94387 WITH SCORE 97525.026
AT ITER 2980 NEW BEST:: SOT 3714152 SOS 3137976 HAS SOPS 1580596 HAS SOUS 241654 HAS SOUPS 94372 WITH SCORE 97509.976
AT ITER 2994 NEW BEST:: SOT 3713668 SOS 3145126 HAS SOPS 1583372 HAS SOUS 241847 HAS SOUPS 94322 WITH SCORE 97467.126
AT ITER 3000 NEW BEST:: SOT 3713792 SOS 3145126 HAS SOPS 1583372 HAS SOUS 241836 HAS SOUPS 94311 WITH SCORE 97456.126
AT ITER 3001 NEW BEST:: SOT 3713702 SOS 3144874 HAS SOPS 1584170 HAS SOUS 241571 HAS SOUPS 94221 WITH SCORE 97365.874
AT ITER 3021 NEW BEST:: SOT 3714705 SOS 3137350 HAS SOPS 1581052 HAS SOUS 241380 HAS SOUPS 94131 WITH SCORE 97268.35
AT ITER 3027 NEW BEST:: SOT 3714705 SOS 3137350 HAS SOPS 1581052 HAS SOUS 241292 HAS SOUPS 94043 WITH SCORE 97180.35
AT ITER 3049 NEW BEST:: SOT 3714537 SOS 3136930 HAS SOPS 1580884 HAS SOUS 241208 HAS SOUPS 94001 WITH SCORE 97137.93
AT ITER 3079 NEW BEST:: SOT 3713773 SOS 3135268 HAS SOPS 1579222 HAS SOUS 240918 HAS SOUPS 93711 WITH SCORE 96846.268
AT ITER 3107 NEW BEST:: SOT 3713759 SOS 3135240 HAS SOPS 1579236 HAS SOUS 240897 HAS SOUPS 93697 WITH SCORE 96832.24
AT ITER 3124 NEW BEST:: SOT 3713759 SOS 3135240 HAS SOPS 1579068 HAS SOUS 240897 HAS SOUPS 93669 WITH SCORE 96804.24
AT ITER 3142 NEW BEST:: SOT 3711671 SOS 3132010 HAS SOPS 1577538 HAS SOUS 240858 HAS SOUPS 93665 WITH SCORE 96797.01
AT ITER 3154 NEW BEST:: SOT 3713256 SOS 3134426 HAS SOPS 1578638 HAS SOUS 240657 HAS SOUPS 93461 WITH SCORE 96595.426
AT ITER 3155 NEW BEST:: SOT 3713187 SOS 3133874 HAS SOPS 1578500 HAS SOUS 240538 HAS SOUPS 93411 WITH SCORE 96544.874
AT ITER 3164 NEW BEST:: SOT 3713142 SOS 3133819 HAS SOPS 1578475 HAS SOUS 240538 HAS SOUPS 93411 WITH SCORE 96544.819
AT ITER 3183 NEW BEST:: SOT 3713007 SOS 3133057 HAS SOPS 1578841 HAS SOUS 240126 HAS SOUPS 93187 WITH SCORE 96320.057
AT ITER 3185 NEW BEST:: SOT 3712807 SOS 3132857 HAS SOPS 1578041 HAS SOUS 240004 HAS SOUPS 92965 WITH SCORE 96097.857
AT ITER 3223 NEW BEST:: SOT 3712813 SOS 3132869 HAS SOPS 1578053 HAS SOUS 239977 HAS SOUPS 92938 WITH SCORE 96070.869
AT ITER 3224 NEW BEST:: SOT 3712558 SOS 3134527 HAS SOPS 1578691 HAS SOUS 239883 HAS SOUPS 92844 WITH SCORE 95978.527
AT ITER 3231 NEW BEST:: SOT 3710756 SOS 3132069 HAS SOPS 1577085 HAS SOUS 239869 HAS SOUPS 92830 WITH SCORE 95962.069
AT ITER 3239 NEW BEST:: SOT 3710756 SOS 3132069 HAS SOPS 1577085 HAS SOUS 239865 HAS SOUPS 92826 WITH SCORE 95958.069
AT ITER 3241 NEW BEST:: SOT 3710671 SOS 3132273 HAS SOPS 1576983 HAS SOUS 239865 HAS SOUPS 92809 WITH SCORE 95941.273
AT ITER 3320 NEW BEST:: SOT 3710616 SOS 3131833 HAS SOPS 1576873 HAS SOUS 239755 HAS SOUPS 92754 WITH SCORE 95885.833
AT ITER 3323 NEW BEST:: SOT 3710606 SOS 3131813 HAS SOPS 1576853 HAS SOUS 239745 HAS SOUPS 92744 WITH SCORE 95875.813
AT ITER 3337 NEW BEST:: SOT 3710606 SOS 3131813 HAS SOPS 1576853 HAS SOUS 239729 HAS SOUPS 92728 WITH SCORE 95859.813
AT ITER 3355 NEW BEST:: SOT 3710115 SOS 3131235 HAS SOPS 1576275 HAS SOUS 239555 HAS SOUPS 92554 WITH SCORE 95685.235
AT ITER 3400 NEW BEST:: SOT 3710115 SOS 3131235 HAS SOPS 1576275 HAS SOUS 239499 HAS SOUPS 92498 WITH SCORE 95629.235
AT ITER 3411 NEW BEST:: SOT 3710115 SOS 3131235 HAS SOPS 1576275 HAS SOUS 239415 HAS SOUPS 92414 WITH SCORE 95545.235
AT ITER 3415 NEW BEST:: SOT 3710115 SOS 3131235 HAS SOPS 1576275 HAS SOUS 239399 HAS SOUPS 92398 WITH SCORE 95529.235
AT ITER 3425 NEW BEST:: SOT 3710021 SOS 3131047 HAS SOPS 1576087 HAS SOUS 239127 HAS SOUPS 92126 WITH SCORE 95257.047
AT ITER 3441 NEW BEST:: SOT 3710021 SOS 3131047 HAS SOPS 1576087 HAS SOUS 239103 HAS SOUPS 92102 WITH SCORE 95233.047
AT ITER 3457 NEW BEST:: SOT 3709315 SOS 3131835 HAS SOPS 1576075 HAS SOUS 238702 HAS SOUPS 91801 WITH SCORE 94932.835
AT ITER 3470 NEW BEST:: SOT 3709313 SOS 3131831 HAS SOPS 1576071 HAS SOUS 238700 HAS SOUPS 91799 WITH SCORE 94930.831
AT ITER 3481 NEW BEST:: SOT 3709313 SOS 3131831 HAS SOPS 1576071 HAS SOUS 238676 HAS SOUPS 91775 WITH SCORE 94906.831
AT ITER 3483 NEW BEST:: SOT 3709333 SOS 3132339 HAS SOPS 1576087 HAS SOUS 238754 HAS SOUPS 91771 WITH SCORE 94903.339
AT ITER 3488 NEW BEST:: SOT 3709269 SOS 3131527 HAS SOPS 1575959 HAS SOUS 238613 HAS SOUPS 91744 WITH SCORE 94875.527
AT ITER 3497 NEW BEST:: SOT 3709173 SOS 3132455 HAS SOPS 1576257 HAS SOUS 238587 HAS SOUPS 91683 WITH SCORE 94815.455
AT ITER 3522 NEW BEST:: SOT 3709059 SOS 3132107 HAS SOPS 1575909 HAS SOUS 238473 HAS SOUPS 91569 WITH SCORE 94701.107
AT ITER 3533 NEW BEST:: SOT 3709043 SOS 3125303 HAS SOPS 1570428 HAS SOUS 238430 HAS SOUPS 91553 WITH SCORE 94678.303
AT ITER 3537 NEW BEST:: SOT 3708959 SOS 3125751 HAS SOPS 1570372 HAS SOUS 238346 HAS SOUPS 91441 WITH SCORE 94566.751
AT ITER 3538 NEW BEST:: SOT 3708955 SOS 3125743 HAS SOPS 1570388 HAS SOUS 238338 HAS SOUPS 91437 WITH SCORE 94562.743
AT ITER 3553 NEW BEST:: SOT 3708487 SOS 3125041 HAS SOPS 1570154 HAS SOUS 238299 HAS SOUPS 91437 WITH SCORE 94562.041
AT ITER 3559 NEW BEST:: SOT 3708891 SOS 3125917 HAS SOPS 1570260 HAS SOUS 238418 HAS SOUPS 91407 WITH SCORE 94532.917
AT ITER 3571 NEW BEST:: SOT 3708891 SOS 3125917 HAS SOPS 1570260 HAS SOUS 238410 HAS SOUPS 91399 WITH SCORE 94524.917
AT ITER 3582 NEW BEST:: SOT 3708757 SOS 3128574 HAS SOPS 1569732 HAS SOUS 238402 HAS SOUPS 91326 WITH SCORE 94454.574
AT ITER 3623 NEW BEST:: SOT 3708736 SOS 3128532 HAS SOPS 1569690 HAS SOUS 238381 HAS SOUPS 91305 WITH SCORE 94433.532
AT ITER 3628 NEW BEST:: SOT 3707760 SOS 3126352 HAS SOPS 1567510 HAS SOUS 238286 HAS SOUPS 91210 WITH SCORE 94336.352
AT ITER 3630 NEW BEST:: SOT 3705013 SOS 3121969 HAS SOPS 1565767 HAS SOUS 238023 HAS SOUPS 91167 WITH SCORE 94288.969
AT ITER 3692 NEW BEST:: SOT 3705013 SOS 3121969 HAS SOPS 1565767 HAS SOUS 237943 HAS SOUPS 91087 WITH SCORE 94208.969
AT ITER 3698 NEW BEST:: SOT 3705054 SOS 3120995 HAS SOPS 1565189 HAS SOUS 237930 HAS SOUPS 91074 WITH SCORE 94194.995
AT ITER 3711 NEW BEST:: SOT 3705054 SOS 3120995 HAS SOPS 1565189 HAS SOUS 237890 HAS SOUPS 91034 WITH SCORE 94154.995
AT ITER 3713 NEW BEST:: SOT 3704877 SOS 3120523 HAS SOPS 1565071 HAS SOUS 237831 HAS SOUPS 91034 WITH SCORE 94154.523
AT ITER 3714 NEW BEST:: SOT 3704879 SOS 3120563 HAS SOPS 1565075 HAS SOUS 237835 HAS SOUPS 91032 WITH SCORE 94152.563
AT ITER 3715 NEW BEST:: SOT 3704873 SOS 3120563 HAS SOPS 1565075 HAS SOUS 237829 HAS SOUPS 91026 WITH SCORE 94146.563
AT ITER 3727 NEW BEST:: SOT 3704828 SOS 3120201 HAS SOPS 1565529 HAS SOUS 237689 HAS SOUPS 91022 WITH SCORE 94142.201
AT ITER 3740 NEW BEST:: SOT 3704828 SOS 3120201 HAS SOPS 1565529 HAS SOUS 237623 HAS SOUPS 90956 WITH SCORE 94076.201
AT ITER 3765 NEW BEST:: SOT 3704772 SOS 3119747 HAS SOPS 1565417 HAS SOUS 237511 HAS SOUPS 90901 WITH SCORE 94020.747
AT ITER 3782 NEW BEST:: SOT 3704772 SOS 3119747 HAS SOPS 1565417 HAS SOUS 237495 HAS SOUPS 90885 WITH SCORE 94004.747
AT ITER 3874 NEW BEST:: SOT 3704771 SOS 3119541 HAS SOPS 1565415 HAS SOUS 237460 HAS SOUPS 90884 WITH SCORE 94003.541
AT ITER 3907 NEW BEST:: SOT 3704747 SOS 3119517 HAS SOPS 1565391 HAS SOUS 237460 HAS SOUPS 90884 WITH SCORE 94003.517
AT ITER 3934 NEW BEST:: SOT 3704735 SOS 3119529 HAS SOPS 1565367 HAS SOUS 237453 HAS SOUPS 90871 WITH SCORE 93990.529
AT ITER 3948 NEW BEST:: SOT 3704735 SOS 3119529 HAS SOPS 1565367 HAS SOUS 237365 HAS SOUPS 90783 WITH SCORE 93902.529
AT ITER 3960 NEW BEST:: SOT 3704735 SOS 3119529 HAS SOPS 1565367 HAS SOUS 237301 HAS SOUPS 90719 WITH SCORE 93838.529
AT ITER 3986 NEW BEST:: SOT 3704719 SOS 3119497 HAS SOPS 1565383 HAS SOUS 237277 HAS SOUPS 90703 WITH SCORE 93822.497
AT ITER 4028 NEW BEST:: SOT 3704609 SOS 3119256 HAS SOPS 1565121 HAS SOUS 237209 HAS SOUPS 90635 WITH SCORE 93754.256
AT ITER 4048 NEW BEST:: SOT 3704609 SOS 3119256 HAS SOPS 1565121 HAS SOUS 237121 HAS SOUPS 90547 WITH SCORE 93666.256
AT ITER 4070 NEW BEST:: SOT 3703946 SOS 3121754 HAS SOPS 1565699 HAS SOUS 236769 HAS SOUPS 90195 WITH SCORE 93316.754
AT ITER 4071 NEW BEST:: SOT 3703868 SOS 3121585 HAS SOPS 1565517 HAS SOUS 236704 HAS SOUPS 90130 WITH SCORE 93251.585
AT ITER 4072 NEW BEST:: SOT 3704051 SOS 3121804 HAS SOPS 1565610 HAS SOUS 236679 HAS SOUPS 90105 WITH SCORE 93226.804
AT ITER 4080 NEW BEST:: SOT 3704057 SOS 3121388 HAS SOPS 1565194 HAS SOUS 236626 HAS SOUPS 90052 WITH SCORE 93173.388
AT ITER 4095 NEW BEST:: SOT 3703990 SOS 3121826 HAS SOPS 1564905 HAS SOUS 236665 HAS SOUPS 89971 WITH SCORE 93092.826
AT ITER 4102 NEW BEST:: SOT 3703938 SOS 3121774 HAS SOPS 1564853 HAS SOUS 236587 HAS SOUPS 89893 WITH SCORE 93014.774
AT ITER 4160 NEW BEST:: SOT 3701218 SOS 3117922 HAS SOPS 1562951 HAS SOUS 236535 HAS SOUPS 89873 WITH SCORE 92990.922
AT ITER 4178 NEW BEST:: SOT 3701214 SOS 3117784 HAS SOPS 1563203 HAS SOUS 236469 HAS SOUPS 89872 WITH SCORE 92989.784
AT ITER 4199 NEW BEST:: SOT 3701274 SOS 3117854 HAS SOPS 1563233 HAS SOUS 236459 HAS SOUPS 89862 WITH SCORE 92979.854
AT ITER 4227 NEW BEST:: SOT 3701291 SOS 3117787 HAS SOPS 1563166 HAS SOUS 236430 HAS SOUPS 89833 WITH SCORE 92950.787
AT ITER 4255 NEW BEST:: SOT 3701274 SOS 3117770 HAS SOPS 1563149 HAS SOUS 236413 HAS SOUPS 89816 WITH SCORE 92933.77
AT ITER 4265 NEW BEST:: SOT 3701274 SOS 3117770 HAS SOPS 1563149 HAS SOUS 236397 HAS SOUPS 89800 WITH SCORE 92917.77
AT ITER 4277 NEW BEST:: SOT 3701042 SOS 3116648 HAS SOPS 1562981 HAS SOUS 236012 HAS SOUPS 89574 WITH SCORE 92690.648
AT ITER 4302 NEW BEST:: SOT 3700949 SOS 3116612 HAS SOPS 1562868 HAS SOUS 235881 HAS SOUPS 89424 WITH SCORE 92540.612
AT ITER 4310 NEW BEST:: SOT 3700949 SOS 3116612 HAS SOPS 1562868 HAS SOUS 235877 HAS SOUPS 89420 WITH SCORE 92536.612
AT ITER 4318 NEW BEST:: SOT 3700825 SOS 3116302 HAS SOPS 1562744 HAS SOUS 235815 HAS SOUPS 89389 WITH SCORE 92505.302
AT ITER 4324 NEW BEST:: SOT 3700819 SOS 3116290 HAS SOPS 1562732 HAS SOUS 235809 HAS SOUPS 89383 WITH SCORE 92499.29
AT ITER 4400 NEW BEST:: SOT 3697600 SOS 3111353 HAS SOPS 1560634 HAS SOUS 235552 HAS SOUPS 89325 WITH SCORE 92436.353
AT ITER 4424 NEW BEST:: SOT 3697361 SOS 3110159 HAS SOPS 1560514 HAS SOUS 235195 HAS SOUPS 89147 WITH SCORE 92257.159
AT ITER 4479 NEW BEST:: SOT 3696747 SOS 3109073 HAS SOPS 1560198 HAS SOUS 234904 HAS SOUPS 89005 WITH SCORE 92114.073
AT ITER 4507 NEW BEST:: SOT 3696556 SOS 3110577 HAS SOPS 1560970 HAS SOUS 234774 HAS SOUPS 88875 WITH SCORE 91985.577
AT ITER 4517 NEW BEST:: SOT 3696535 SOS 3110500 HAS SOPS 1560893 HAS SOUS 234761 HAS SOUPS 88862 WITH SCORE 91972.5
AT ITER 4567 NEW BEST:: SOT 3696523 SOS 3110542 HAS SOPS 1560869 HAS SOUS 234771 HAS SOUPS 88861 WITH SCORE 91971.542
AT ITER 4570 NEW BEST:: SOT 3696514 SOS 3110524 HAS SOPS 1560851 HAS SOUS 234738 HAS SOUPS 88828 WITH SCORE 91938.524
AT ITER 4596 NEW BEST:: SOT 3696523 SOS 3110407 HAS SOPS 1560851 HAS SOUS 234738 HAS SOUPS 88828 WITH SCORE 91938.407
AT ITER 4664 NEW BEST:: SOT 3696465 SOS 3110655 HAS SOPS 1560865 HAS SOUS 234730 HAS SOUPS 88807 WITH SCORE 91917.655
AT ITER 4666 NEW BEST:: SOT 3696413 SOS 3111721 HAS SOPS 1560657 HAS SOUS 234730 HAS SOUPS 88781 WITH SCORE 91892.721
AT ITER 4667 NEW BEST:: SOT 3696391 SOS 3111677 HAS SOPS 1560613 HAS SOUS 234708 HAS SOUPS 88759 WITH SCORE 91870.677
AT ITER 4704 NEW BEST:: SOT 3696392 SOS 3111628 HAS SOPS 1560613 HAS SOUS 234706 HAS SOUPS 88758 WITH SCORE 91869.628
AT ITER 4710 NEW BEST:: SOT 3696390 SOS 3111978 HAS SOPS 1560441 HAS SOUS 234744 HAS SOUPS 88709 WITH SCORE 91820.978
AT ITER 4716 NEW BEST:: SOT 3696331 SOS 3111860 HAS SOPS 1560323 HAS SOUS 234685 HAS SOUPS 88650 WITH SCORE 91761.86
AT ITER 4727 NEW BEST:: SOT 3696331 SOS 3111860 HAS SOPS 1560323 HAS SOUS 234663 HAS SOUPS 88628 WITH SCORE 91739.86
AT ITER 4746 NEW BEST:: SOT 3696334 SOS 3111626 HAS SOPS 1560029 HAS SOUS 234602 HAS SOUPS 88567 WITH SCORE 91678.626
AT ITER 4816 NEW BEST:: SOT 3696093 SOS 3115342 HAS SOPS 1562101 HAS SOUS 234498 HAS SOUPS 88463 WITH SCORE 91578.342
AT ITER 4901 NEW BEST:: SOT 3696061 SOS 3115374 HAS SOPS 1562037 HAS SOUS 234466 HAS SOUPS 88415 WITH SCORE 91530.374
AT ITER 4938 NEW BEST:: SOT 3696061 SOS 3115374 HAS SOPS 1562037 HAS SOUS 234420 HAS SOUPS 88369 WITH SCORE 91484.374
AT ITER 4942 NEW BEST:: SOT 3696039 SOS 3115352 HAS SOPS 1562015 HAS SOUS 234398 HAS SOUPS 88347 WITH SCORE 91462.352
Bounds file is: CTLFireability.xml
PROPERTY: DLCflexbar-PT-4a-CTLFireability-00 (! (EF( (AX( ((potential((tk(P347)>=1) & (tk(P697)>=1)))))))))
PROPERTY: DLCflexbar-PT-4a-CTLFireability-01 (EF( (EX( (AX( ((potential((tk(P337)>=1) & (tk(P561)>=1))))))))))
PROPERTY: DLCflexbar-PT-4a-CTLFireability-02 (EU( ( (EF( ((potential((tk(P675)>=1) & (tk(P346)>=1)))))) | ( (! ((potential((tk(P190)>=1) & (tk(P774)>=1))))) | ( ((potential((tk(P327)>=1) & (tk(P907)>=1)))) | ((potential((tk(P184)>=1) & (tk(P862)>=1)))) ) ) ) , (! (! ( ((potential((tk(P343)>=1) & (tk(P707)>=1)))) & ((potential((tk(P354)>=1) & (tk(P789)>=1)))) ))) ))
PROPERTY: DLCflexbar-PT-4a-CTLFireability-03 (! ( ((potential((tk(P327)>=1) & (tk(P539)>=1)))) | ( ((potential((tk(P353)>=1) & (tk(P741)>=1)))) | (AF( ((potential((tk(P365)>=1) & (tk(P841)>=1)))))) ) ))
PROPERTY: DLCflexbar-PT-4a-CTLFireability-04 (EU( ( ((potential((tk(P352)>=1) & (tk(P745)>=1)))) | (AF( ((potential((tk(P405)>=1) & (tk(P316)>=1)))))) ) , ((potential((tk(P204)>=1)))) ))
PROPERTY: DLCflexbar-PT-4a-CTLFireability-05 ( (! ( (AF( ((potential((tk(P344)>=1) & (tk(P683)>=1)))))) & (! ( ((potential((tk(P365)>=1) & (tk(P811)>=1)))) & ( ((potential((tk(P323)>=1) & (tk(P525)>=1)))) & ((potential((tk(P348)>=1) & (tk(P693)>=1)))) ) )) )) | ( (EU( ((potential((tk(P211)>=1) & (tk(P605)>=1)))) , ( ((potential((tk(P343)>=1) & (tk(P653)>=1)))) | ((potential((tk(P385)>=1) & (tk(P316)>=1)))) ) )) & ( ((potential((tk(P318)>=1) & (tk(P454)>=1)))) & (AF( (! ((potential((tk(P348)>=1) & (tk(P654)>=1))))))) ) ) )
PROPERTY: DLCflexbar-PT-4a-CTLFireability-06 ( (! (EF( (EG( ((potential((tk(P304)>=1) & (tk(P632)>=1))))))))) & (EX( ( (EG( ((potential((tk(P218)>=1) & (tk(P870)>=1)))))) | (EX( ((potential((tk(P815)>=1) & (tk(P366)>=1)))))) ))) )
PROPERTY: DLCflexbar-PT-4a-CTLFireability-07 ( ( (AG( (EF( ((potential((tk(P240)>=1) & (tk(P526)>=1)))))))) & (EU( ( ((potential((tk(P209)>=1)))) & ((potential((tk(P324)>=1) & (tk(P475)>=1)))) ) , (! ((potential((tk(P309)>=1) & (tk(P633)>=1))))) )) ) | (AX( (! (! ( ((potential((tk(P225)>=1) & (tk(P785)>=1)))) & ((potential((tk(P363)>=1) & (tk(P847)>=1)))) ))))) )
PROPERTY: DLCflexbar-PT-4a-CTLFireability-08 ( (AF( (AG( ( ((potential((tk(P833)>=1) & (tk(P85)>=1)))) | ((potential((tk(P260)>=1) & (tk(P531)>=1)))) ))))) | ((potential((tk(P204)>=1) & (tk(P515)>=1)))) )
PROPERTY: DLCflexbar-PT-4a-CTLFireability-09 (AF( ( (AX( ((potential((tk(P632)>=1) & (tk(P338)>=1)))))) & (EG( (! ((potential((tk(P359)>=1) & (tk(P789)>=1))))))) )))
PROPERTY: DLCflexbar-PT-4a-CTLFireability-10 (EF( ((potential((tk(P323)>=1) & (tk(P529)>=1))))))
PROPERTY: DLCflexbar-PT-4a-CTLFireability-11 (EG( ( (! ( ( ((potential((tk(P206)>=1) & (tk(P780)>=1)))) & ((potential((tk(P324)>=1) & (tk(P477)>=1)))) ) | ((potential((tk(P11)>=1)))) )) | ((potential((tk(P310)>=1)))) )))
PROPERTY: DLCflexbar-PT-4a-CTLFireability-12 (EU( (AF( ( ((potential((tk(P551)>=1) & (tk(P22)>=1)))) | ((potential((tk(P735)>=1) & (tk(P50)>=1)))) ))) , (AG( ((potential((tk(P330)>=1) & (tk(P583)>=1)))))) ))
PROPERTY: DLCflexbar-PT-4a-CTLFireability-13 ( (! (! (EG( (! ((potential((tk(P300)>=1))))))))) & ( (AG( (! ((potential((tk(P323)>=1) & (tk(P473)>=1))))))) | (! (EX( (! ((potential((tk(P176)>=1) & (tk(P595)>=1)))))))) ) )
PROPERTY: DLCflexbar-PT-4a-CTLFireability-14 ( (AF( (EX( ( ((potential((tk(P367)>=1) & (tk(P823)>=1)))) | ((potential((tk(P465)>=1) & (tk(P326)>=1)))) ))))) | (AF( (AF( ( ((potential((tk(P275)>=1) & (tk(P800)>=1)))) | ((potential((tk(P345)>=1) & (tk(P917)>=1)))) ))))) )
PROPERTY: DLCflexbar-PT-4a-CTLFireability-15 (AG( (! (EX( ((potential((tk(P355)>=1) & (tk(P795)>=1)))))))))

BK_STOP 1589117471454

--------------------
content from stderr:

terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 487 Aborted ${SMART} ${INPUT_SM}

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="DLCflexbar-PT-4a"
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 DLCflexbar-PT-4a, 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-158902542100372"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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