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-158902542300540.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 DLCround-PT-08b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542300540
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.3M
-rw-r--r-- 1 mcc users 4.2K Mar 30 19:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 30 19:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 29 09:26 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 29 09:26 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 28 05:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 28 05:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 26 23:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 26 23:39 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 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1.1M 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 DLCround-PT-08b-CTLFireability-00
FORMULA_NAME DLCround-PT-08b-CTLFireability-01
FORMULA_NAME DLCround-PT-08b-CTLFireability-02
FORMULA_NAME DLCround-PT-08b-CTLFireability-03
FORMULA_NAME DLCround-PT-08b-CTLFireability-04
FORMULA_NAME DLCround-PT-08b-CTLFireability-05
FORMULA_NAME DLCround-PT-08b-CTLFireability-06
FORMULA_NAME DLCround-PT-08b-CTLFireability-07
FORMULA_NAME DLCround-PT-08b-CTLFireability-08
FORMULA_NAME DLCround-PT-08b-CTLFireability-09
FORMULA_NAME DLCround-PT-08b-CTLFireability-10
FORMULA_NAME DLCround-PT-08b-CTLFireability-11
FORMULA_NAME DLCround-PT-08b-CTLFireability-12
FORMULA_NAME DLCround-PT-08b-CTLFireability-13
FORMULA_NAME DLCround-PT-08b-CTLFireability-14
FORMULA_NAME DLCround-PT-08b-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589128468443

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 08b
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: 3088 places, 4732 transitions, 13004 arcs.
AT ITER 0 NEW BEST:: SOT 9173617 SOS 2109158 HAS SOPS 2109158 HAS SOUS 1266858 HAS SOUPS 1266858 WITH SCORE 1268967.158
AT ITER 11 NEW BEST:: SOT 9173061 SOS 2108692 HAS SOPS 2108692 HAS SOUS 1266302 HAS SOUPS 1266302 WITH SCORE 1268410.692
AT ITER 47 NEW BEST:: SOT 9173061 SOS 2108898 HAS SOPS 2108898 HAS SOUS 1266277 HAS SOUPS 1266277 WITH SCORE 1268385.898
AT ITER 48 NEW BEST:: SOT 9173060 SOS 2108786 HAS SOPS 2108786 HAS SOUS 1266165 HAS SOUPS 1266165 WITH SCORE 1268273.786
AT ITER 53 NEW BEST:: SOT 9172766 SOS 2108415 HAS SOPS 2108415 HAS SOUS 1265999 HAS SOUPS 1265999 WITH SCORE 1268107.415
AT ITER 81 NEW BEST:: SOT 9172657 SOS 2108827 HAS SOPS 2108827 HAS SOUS 1265890 HAS SOUPS 1265890 WITH SCORE 1267998.827
AT ITER 86 NEW BEST:: SOT 9171331 SOS 2107534 HAS SOPS 2107534 HAS SOUS 1264597 HAS SOUPS 1264597 WITH SCORE 1266704.534
AT ITER 95 NEW BEST:: SOT 9170869 SOS 2107533 HAS SOPS 2107533 HAS SOUS 1264596 HAS SOUPS 1264596 WITH SCORE 1266703.533
AT ITER 99 NEW BEST:: SOT 9170869 SOS 2107533 HAS SOPS 2107533 HAS SOUS 1264577 HAS SOUPS 1264577 WITH SCORE 1266684.533
AT ITER 101 NEW BEST:: SOT 9170445 SOS 2110528 HAS SOPS 2110528 HAS SOUS 1264153 HAS SOUPS 1264153 WITH SCORE 1266263.528
AT ITER 117 NEW BEST:: SOT 9170445 SOS 2110241 HAS SOPS 2110241 HAS SOUS 1263866 HAS SOUPS 1263866 WITH SCORE 1265976.241
AT ITER 124 NEW BEST:: SOT 9170503 SOS 2110357 HAS SOPS 2110357 HAS SOUS 1263371 HAS SOUPS 1263371 WITH SCORE 1265481.357
AT ITER 128 NEW BEST:: SOT 9170309 SOS 2109969 HAS SOPS 2109969 HAS SOUS 1262983 HAS SOUPS 1262983 WITH SCORE 1265092.969
AT ITER 164 NEW BEST:: SOT 9170308 SOS 2109967 HAS SOPS 2109967 HAS SOUS 1262981 HAS SOUPS 1262981 WITH SCORE 1265090.967
AT ITER 171 NEW BEST:: SOT 9170262 SOS 2109783 HAS SOPS 2109783 HAS SOUS 1262889 HAS SOUPS 1262889 WITH SCORE 1264998.783
AT ITER 174 NEW BEST:: SOT 9170262 SOS 2109659 HAS SOPS 2109659 HAS SOUS 1262827 HAS SOUPS 1262827 WITH SCORE 1264936.659
AT ITER 186 NEW BEST:: SOT 9170033 SOS 2109430 HAS SOPS 2109430 HAS SOUS 1262598 HAS SOUPS 1262598 WITH SCORE 1264707.43
AT ITER 188 NEW BEST:: SOT 9170282 SOS 2108433 HAS SOPS 2108433 HAS SOUS 1262472 HAS SOUPS 1262472 WITH SCORE 1264580.433
AT ITER 192 NEW BEST:: SOT 9170217 SOS 2108303 HAS SOPS 2108303 HAS SOUS 1262342 HAS SOUPS 1262342 WITH SCORE 1264450.303
AT ITER 194 NEW BEST:: SOT 9169834 SOS 2108300 HAS SOPS 2108300 HAS SOUS 1261575 HAS SOUPS 1261575 WITH SCORE 1263683.3
AT ITER 203 NEW BEST:: SOT 9169702 SOS 2108168 HAS SOPS 2108168 HAS SOUS 1261574 HAS SOUPS 1261574 WITH SCORE 1263682.168
AT ITER 204 NEW BEST:: SOT 9168990 SOS 2107812 HAS SOPS 2107812 HAS SOUS 1261218 HAS SOUPS 1261218 WITH SCORE 1263325.812
AT ITER 209 NEW BEST:: SOT 9168990 SOS 2108274 HAS SOPS 2108274 HAS SOUS 1261217 HAS SOUPS 1261217 WITH SCORE 1263325.274
AT ITER 222 NEW BEST:: SOT 9168554 SOS 2107931 HAS SOPS 2107931 HAS SOUS 1260874 HAS SOUPS 1260874 WITH SCORE 1262981.931
AT ITER 258 NEW BEST:: SOT 9168554 SOS 2107931 HAS SOPS 2107931 HAS SOUS 1260873 HAS SOUPS 1260873 WITH SCORE 1262980.931
AT ITER 266 NEW BEST:: SOT 9168400 SOS 2107623 HAS SOPS 2107623 HAS SOUS 1260565 HAS SOUPS 1260565 WITH SCORE 1262672.623
AT ITER 273 NEW BEST:: SOT 9168313 SOS 2107449 HAS SOPS 2107449 HAS SOUS 1260391 HAS SOUPS 1260391 WITH SCORE 1262498.449
AT ITER 290 NEW BEST:: SOT 9168115 SOS 2111749 HAS SOPS 2111749 HAS SOUS 1259994 HAS SOUPS 1259994 WITH SCORE 1262105.749
AT ITER 294 NEW BEST:: SOT 9167866 SOS 2111399 HAS SOPS 2111399 HAS SOUS 1259363 HAS SOUPS 1259363 WITH SCORE 1261474.399
AT ITER 297 NEW BEST:: SOT 9166819 SOS 2110352 HAS SOPS 2110352 HAS SOUS 1258316 HAS SOUPS 1258316 WITH SCORE 1260426.352
AT ITER 301 NEW BEST:: SOT 9166398 SOS 2109931 HAS SOPS 2109931 HAS SOUS 1257895 HAS SOUPS 1257895 WITH SCORE 1260004.931
AT ITER 327 NEW BEST:: SOT 9166398 SOS 2110584 HAS SOPS 2110584 HAS SOUS 1257894 HAS SOUPS 1257894 WITH SCORE 1260004.584
AT ITER 348 NEW BEST:: SOT 9166303 SOS 2110694 HAS SOPS 2110694 HAS SOUS 1257869 HAS SOUPS 1257869 WITH SCORE 1259979.694
AT ITER 351 NEW BEST:: SOT 9166303 SOS 2110193 HAS SOPS 2110193 HAS SOUS 1257702 HAS SOUPS 1257702 WITH SCORE 1259812.193
AT ITER 372 NEW BEST:: SOT 9165820 SOS 2109909 HAS SOPS 2109909 HAS SOUS 1257418 HAS SOUPS 1257418 WITH SCORE 1259527.909
AT ITER 377 NEW BEST:: SOT 9164900 SOS 2108989 HAS SOPS 2108989 HAS SOUS 1256498 HAS SOUPS 1256498 WITH SCORE 1258606.989
AT ITER 388 NEW BEST:: SOT 9164193 SOS 2108282 HAS SOPS 2108282 HAS SOUS 1255791 HAS SOUPS 1255791 WITH SCORE 1257899.282
AT ITER 395 NEW BEST:: SOT 9163402 SOS 2108185 HAS SOPS 2108185 HAS SOUS 1255495 HAS SOUPS 1255495 WITH SCORE 1257603.185
AT ITER 439 NEW BEST:: SOT 9162314 SOS 2106909 HAS SOPS 2106909 HAS SOUS 1255008 HAS SOUPS 1255008 WITH SCORE 1257114.909
AT ITER 476 NEW BEST:: SOT 9162314 SOS 2102130 HAS SOPS 2102130 HAS SOUS 1255008 HAS SOUPS 1255008 WITH SCORE 1257110.13
AT ITER 487 NEW BEST:: SOT 9161814 SOS 2101630 HAS SOPS 2101630 HAS SOUS 1254508 HAS SOUPS 1254508 WITH SCORE 1256609.63
AT ITER 508 NEW BEST:: SOT 9161659 SOS 2101241 HAS SOPS 2101241 HAS SOUS 1254119 HAS SOUPS 1254119 WITH SCORE 1256220.241
AT ITER 518 NEW BEST:: SOT 9161509 SOS 2099591 HAS SOPS 2099591 HAS SOUS 1253819 HAS SOUPS 1253819 WITH SCORE 1255918.591
AT ITER 549 NEW BEST:: SOT 9159187 SOS 2098671 HAS SOPS 2098671 HAS SOUS 1253688 HAS SOUPS 1253688 WITH SCORE 1255786.671
AT ITER 571 NEW BEST:: SOT 9159187 SOS 2099522 HAS SOPS 2099522 HAS SOUS 1253687 HAS SOUPS 1253687 WITH SCORE 1255786.522
AT ITER 579 NEW BEST:: SOT 9158883 SOS 2099512 HAS SOPS 2099512 HAS SOUS 1253560 HAS SOUPS 1253560 WITH SCORE 1255659.512
AT ITER 584 NEW BEST:: SOT 9158882 SOS 2099510 HAS SOPS 2099510 HAS SOUS 1253558 HAS SOUPS 1253558 WITH SCORE 1255657.51
AT ITER 595 NEW BEST:: SOT 9158882 SOS 2099408 HAS SOPS 2099408 HAS SOUS 1253456 HAS SOUPS 1253456 WITH SCORE 1255555.408
AT ITER 612 NEW BEST:: SOT 9158421 SOS 2098947 HAS SOPS 2098947 HAS SOUS 1252995 HAS SOUPS 1252995 WITH SCORE 1255093.947
AT ITER 628 NEW BEST:: SOT 9158689 SOS 2098604 HAS SOPS 2098604 HAS SOUS 1252823 HAS SOUPS 1252823 WITH SCORE 1254921.604
AT ITER 631 NEW BEST:: SOT 9158108 SOS 2098446 HAS SOPS 2098446 HAS SOUS 1252384 HAS SOUPS 1252384 WITH SCORE 1254482.446
AT ITER 646 NEW BEST:: SOT 9157236 SOS 2098460 HAS SOPS 2098460 HAS SOUS 1252073 HAS SOUPS 1252073 WITH SCORE 1254171.46
AT ITER 647 NEW BEST:: SOT 9157166 SOS 2098320 HAS SOPS 2098320 HAS SOUS 1252003 HAS SOUPS 1252003 WITH SCORE 1254101.32
AT ITER 649 NEW BEST:: SOT 9156388 SOS 2097542 HAS SOPS 2097542 HAS SOUS 1251221 HAS SOUPS 1251221 WITH SCORE 1253318.542
AT ITER 677 NEW BEST:: SOT 9155615 SOS 2096844 HAS SOPS 2096844 HAS SOUS 1250485 HAS SOUPS 1250485 WITH SCORE 1252581.844
AT ITER 692 NEW BEST:: SOT 9155602 SOS 2098083 HAS SOPS 2098083 HAS SOUS 1250458 HAS SOUPS 1250458 WITH SCORE 1252556.083
AT ITER 715 NEW BEST:: SOT 9155444 SOS 2098310 HAS SOPS 2098310 HAS SOUS 1250333 HAS SOUPS 1250333 WITH SCORE 1252431.31
AT ITER 719 NEW BEST:: SOT 9154939 SOS 2099423 HAS SOPS 2099423 HAS SOUS 1249163 HAS SOUPS 1249163 WITH SCORE 1251262.423
AT ITER 723 NEW BEST:: SOT 9154665 SOS 2099149 HAS SOPS 2099149 HAS SOUS 1248888 HAS SOUPS 1248888 WITH SCORE 1250987.149
AT ITER 745 NEW BEST:: SOT 9154607 SOS 2098938 HAS SOPS 2098938 HAS SOUS 1248677 HAS SOUPS 1248677 WITH SCORE 1250775.938
AT ITER 747 NEW BEST:: SOT 9154424 SOS 2098572 HAS SOPS 2098572 HAS SOUS 1248494 HAS SOUPS 1248494 WITH SCORE 1250592.572
AT ITER 763 NEW BEST:: SOT 9154369 SOS 2098515 HAS SOPS 2098515 HAS SOUS 1248473 HAS SOUPS 1248473 WITH SCORE 1250571.515
AT ITER 776 NEW BEST:: SOT 9154369 SOS 2100089 HAS SOPS 2100089 HAS SOUS 1248471 HAS SOUPS 1248471 WITH SCORE 1250571.089
AT ITER 829 NEW BEST:: SOT 9154196 SOS 2099743 HAS SOPS 2099743 HAS SOUS 1248125 HAS SOUPS 1248125 WITH SCORE 1250224.743
AT ITER 865 NEW BEST:: SOT 9154195 SOS 2099741 HAS SOPS 2099741 HAS SOUS 1248123 HAS SOUPS 1248123 WITH SCORE 1250222.741
AT ITER 876 NEW BEST:: SOT 9154195 SOS 2101900 HAS SOPS 2101900 HAS SOUS 1248120 HAS SOUPS 1248120 WITH SCORE 1250221.9
AT ITER 889 NEW BEST:: SOT 9153886 SOS 2101896 HAS SOPS 2101896 HAS SOUS 1248116 HAS SOUPS 1248116 WITH SCORE 1250217.896
AT ITER 937 NEW BEST:: SOT 9153826 SOS 2102016 HAS SOPS 2102016 HAS SOUS 1248056 HAS SOUPS 1248056 WITH SCORE 1250158.016
AT ITER 954 NEW BEST:: SOT 9153665 SOS 2102304 HAS SOPS 2102304 HAS SOUS 1247895 HAS SOUPS 1247895 WITH SCORE 1249997.304
AT ITER 967 NEW BEST:: SOT 9153665 SOS 2102304 HAS SOPS 2102304 HAS SOUS 1247844 HAS SOUPS 1247844 WITH SCORE 1249946.304
AT ITER 974 NEW BEST:: SOT 9153544 SOS 2102062 HAS SOPS 2102062 HAS SOUS 1247602 HAS SOUPS 1247602 WITH SCORE 1249704.062
AT ITER 976 NEW BEST:: SOT 9153345 SOS 2102058 HAS SOPS 2102058 HAS SOUS 1247601 HAS SOUPS 1247601 WITH SCORE 1249703.058
AT ITER 994 NEW BEST:: SOT 9152883 SOS 2102057 HAS SOPS 2102057 HAS SOUS 1247600 HAS SOUPS 1247600 WITH SCORE 1249702.057
AT ITER 1005 NEW BEST:: SOT 9153251 SOS 2102793 HAS SOPS 2102793 HAS SOUS 1247593 HAS SOUPS 1247593 WITH SCORE 1249695.793
AT ITER 1026 NEW BEST:: SOT 9153312 SOS 2101516 HAS SOPS 2101516 HAS SOUS 1247217 HAS SOUPS 1247217 WITH SCORE 1249318.516
AT ITER 1061 NEW BEST:: SOT 9153251 SOS 2101487 HAS SOPS 2101487 HAS SOUS 1247156 HAS SOUPS 1247156 WITH SCORE 1249257.487
AT ITER 1069 NEW BEST:: SOT 9153251 SOS 2101487 HAS SOPS 2101487 HAS SOUS 1246370 HAS SOUPS 1246370 WITH SCORE 1248471.487
AT ITER 1095 NEW BEST:: SOT 9152048 SOS 2100413 HAS SOPS 2100413 HAS SOUS 1245167 HAS SOUPS 1245167 WITH SCORE 1247267.413
AT ITER 1117 NEW BEST:: SOT 9152047 SOS 2100411 HAS SOPS 2100411 HAS SOUS 1245165 HAS SOUPS 1245165 WITH SCORE 1247265.411
AT ITER 1140 NEW BEST:: SOT 9152084 SOS 2100485 HAS SOPS 2100485 HAS SOUS 1245101 HAS SOUPS 1245101 WITH SCORE 1247201.485
AT ITER 1165 NEW BEST:: SOT 9151974 SOS 2100422 HAS SOPS 2100422 HAS SOUS 1244991 HAS SOUPS 1244991 WITH SCORE 1247091.422
AT ITER 1168 NEW BEST:: SOT 9151634 SOS 2100343 HAS SOPS 2100343 HAS SOUS 1244781 HAS SOUPS 1244781 WITH SCORE 1246881.343
AT ITER 1187 NEW BEST:: SOT 9151634 SOS 2099317 HAS SOPS 2099317 HAS SOUS 1244439 HAS SOUPS 1244439 WITH SCORE 1246538.317
AT ITER 1188 NEW BEST:: SOT 9151009 SOS 2098699 HAS SOPS 2098699 HAS SOUS 1243830 HAS SOUPS 1243830 WITH SCORE 1245928.699
AT ITER 1199 NEW BEST:: SOT 9151009 SOS 2095612 HAS SOPS 2095612 HAS SOUS 1243829 HAS SOUPS 1243829 WITH SCORE 1245924.612
AT ITER 1205 NEW BEST:: SOT 9151009 SOS 2095612 HAS SOPS 2095612 HAS SOUS 1243828 HAS SOUPS 1243828 WITH SCORE 1245923.612
AT ITER 1209 NEW BEST:: SOT 9151009 SOS 2097177 HAS SOPS 2097177 HAS SOUS 1243826 HAS SOUPS 1243826 WITH SCORE 1245923.177
AT ITER 1212 NEW BEST:: SOT 9151009 SOS 2097074 HAS SOPS 2097074 HAS SOUS 1243723 HAS SOUPS 1243723 WITH SCORE 1245820.074
AT ITER 1223 NEW BEST:: SOT 9151037 SOS 2096734 HAS SOPS 2096734 HAS SOUS 1243647 HAS SOUPS 1243647 WITH SCORE 1245743.734
AT ITER 1244 NEW BEST:: SOT 9151037 SOS 2096734 HAS SOPS 2096734 HAS SOUS 1243643 HAS SOUPS 1243643 WITH SCORE 1245739.734
AT ITER 1252 NEW BEST:: SOT 9150783 SOS 2096226 HAS SOPS 2096226 HAS SOUS 1243135 HAS SOUPS 1243135 WITH SCORE 1245231.226
AT ITER 1257 NEW BEST:: SOT 9150549 SOS 2096222 HAS SOPS 2096222 HAS SOUS 1243011 HAS SOUPS 1243011 WITH SCORE 1245107.222
AT ITER 1344 NEW BEST:: SOT 9150549 SOS 2096200 HAS SOPS 2096200 HAS SOUS 1243011 HAS SOUPS 1243011 WITH SCORE 1245107.2
AT ITER 1387 NEW BEST:: SOT 9150533 SOS 2096199 HAS SOPS 2096199 HAS SOUS 1243010 HAS SOUPS 1243010 WITH SCORE 1245106.199
AT ITER 1413 NEW BEST:: SOT 9150343 SOS 2095819 HAS SOPS 2095819 HAS SOUS 1242819 HAS SOUPS 1242819 WITH SCORE 1244914.819
AT ITER 1416 NEW BEST:: SOT 9150180 SOS 2096554 HAS SOPS 2096554 HAS SOUS 1242123 HAS SOUPS 1242123 WITH SCORE 1244219.554
AT ITER 1447 NEW BEST:: SOT 9149802 SOS 2096551 HAS SOPS 2096551 HAS SOUS 1241366 HAS SOUPS 1241366 WITH SCORE 1243462.551
AT ITER 1477 NEW BEST:: SOT 9149444 SOS 2097832 HAS SOPS 2097832 HAS SOUS 1240649 HAS SOUPS 1240649 WITH SCORE 1242746.832
AT ITER 1503 NEW BEST:: SOT 9149443 SOS 2097830 HAS SOPS 2097830 HAS SOUS 1240647 HAS SOUPS 1240647 WITH SCORE 1242744.83
AT ITER 1511 NEW BEST:: SOT 9149417 SOS 2097778 HAS SOPS 2097778 HAS SOUS 1240595 HAS SOUPS 1240595 WITH SCORE 1242692.778
AT ITER 1514 NEW BEST:: SOT 9149353 SOS 2097650 HAS SOPS 2097650 HAS SOUS 1240467 HAS SOUPS 1240467 WITH SCORE 1242564.65
AT ITER 1531 NEW BEST:: SOT 9149076 SOS 2097746 HAS SOPS 2097746 HAS SOUS 1239947 HAS SOUPS 1239947 WITH SCORE 1242044.746
AT ITER 1566 NEW BEST:: SOT 9149076 SOS 2097080 HAS SOPS 2097080 HAS SOUS 1239725 HAS SOUPS 1239725 WITH SCORE 1241822.08
AT ITER 1597 NEW BEST:: SOT 9149026 SOS 2096980 HAS SOPS 2096980 HAS SOUS 1238936 HAS SOUPS 1238936 WITH SCORE 1241032.98
AT ITER 1608 NEW BEST:: SOT 9149108 SOS 2097782 HAS SOPS 2097782 HAS SOUS 1238814 HAS SOUPS 1238814 WITH SCORE 1240911.782
AT ITER 1633 NEW BEST:: SOT 9148251 SOS 2097409 HAS SOPS 2097409 HAS SOUS 1238404 HAS SOUPS 1238404 WITH SCORE 1240501.409
AT ITER 1644 NEW BEST:: SOT 9148153 SOS 2097507 HAS SOPS 2097507 HAS SOUS 1238306 HAS SOUPS 1238306 WITH SCORE 1240403.507
AT ITER 1659 NEW BEST:: SOT 9148153 SOS 2097912 HAS SOPS 2097912 HAS SOUS 1238305 HAS SOUPS 1238305 WITH SCORE 1240402.912
AT ITER 1712 NEW BEST:: SOT 9148151 SOS 2097908 HAS SOPS 2097908 HAS SOUS 1238301 HAS SOUPS 1238301 WITH SCORE 1240398.908
AT ITER 1714 NEW BEST:: SOT 9146480 SOS 2095407 HAS SOPS 2095407 HAS SOUS 1235792 HAS SOUPS 1235792 WITH SCORE 1237887.407
AT ITER 1723 NEW BEST:: SOT 9146390 SOS 2095491 HAS SOPS 2095491 HAS SOUS 1235700 HAS SOUPS 1235700 WITH SCORE 1237795.491
AT ITER 1731 NEW BEST:: SOT 9146373 SOS 2095457 HAS SOPS 2095457 HAS SOUS 1235683 HAS SOUPS 1235683 WITH SCORE 1237778.457
AT ITER 1741 NEW BEST:: SOT 9146199 SOS 2095447 HAS SOPS 2095447 HAS SOUS 1235595 HAS SOUPS 1235595 WITH SCORE 1237690.447
AT ITER 1761 NEW BEST:: SOT 9146199 SOS 2095447 HAS SOPS 2095447 HAS SOUS 1235495 HAS SOUPS 1235495 WITH SCORE 1237590.447
AT ITER 1767 NEW BEST:: SOT 9146199 SOS 2095553 HAS SOPS 2095553 HAS SOUS 1235494 HAS SOUPS 1235494 WITH SCORE 1237589.553
AT ITER 1775 NEW BEST:: SOT 9145381 SOS 2090645 HAS SOPS 2090645 HAS SOUS 1234267 HAS SOUPS 1234267 WITH SCORE 1236357.645
AT ITER 1812 NEW BEST:: SOT 9145058 SOS 2089676 HAS SOPS 2089676 HAS SOUS 1233298 HAS SOUPS 1233298 WITH SCORE 1235387.676
AT ITER 1817 NEW BEST:: SOT 9145058 SOS 2090034 HAS SOPS 2090034 HAS SOUS 1233296 HAS SOUPS 1233296 WITH SCORE 1235386.034
AT ITER 1835 NEW BEST:: SOT 9145058 SOS 2089902 HAS SOPS 2089902 HAS SOUS 1233296 HAS SOUPS 1233296 WITH SCORE 1235385.902
AT ITER 1848 NEW BEST:: SOT 9144832 SOS 2089898 HAS SOPS 2089898 HAS SOUS 1233069 HAS SOUPS 1233069 WITH SCORE 1235158.898
AT ITER 1887 NEW BEST:: SOT 9144608 SOS 2089786 HAS SOPS 2089786 HAS SOUS 1232845 HAS SOUPS 1232845 WITH SCORE 1234934.786
AT ITER 1891 NEW BEST:: SOT 9144608 SOS 2089645 HAS SOPS 2089645 HAS SOUS 1232704 HAS SOUPS 1232704 WITH SCORE 1234793.645
AT ITER 1895 NEW BEST:: SOT 9144341 SOS 2089641 HAS SOPS 2089641 HAS SOUS 1232436 HAS SOUPS 1232436 WITH SCORE 1234525.641
AT ITER 1902 NEW BEST:: SOT 9144341 SOS 2089641 HAS SOPS 2089641 HAS SOUS 1232435 HAS SOUPS 1232435 WITH SCORE 1234524.641
AT ITER 1912 NEW BEST:: SOT 9144042 SOS 2089940 HAS SOPS 2089940 HAS SOUS 1232434 HAS SOUPS 1232434 WITH SCORE 1234523.94
AT ITER 1917 NEW BEST:: SOT 9144064 SOS 2089637 HAS SOPS 2089637 HAS SOUS 1232131 HAS SOUPS 1232131 WITH SCORE 1234220.637
AT ITER 1919 NEW BEST:: SOT 9144033 SOS 2089575 HAS SOPS 2089575 HAS SOUS 1232069 HAS SOUPS 1232069 WITH SCORE 1234158.575
AT ITER 1946 NEW BEST:: SOT 9144561 SOS 2088366 HAS SOPS 2088366 HAS SOUS 1231737 HAS SOUPS 1231737 WITH SCORE 1233825.366
AT ITER 1959 NEW BEST:: SOT 9144560 SOS 2088365 HAS SOPS 2088365 HAS SOUS 1231736 HAS SOUPS 1231736 WITH SCORE 1233824.365
AT ITER 1974 NEW BEST:: SOT 9144560 SOS 2087423 HAS SOPS 2087423 HAS SOUS 1231736 HAS SOUPS 1231736 WITH SCORE 1233823.423
AT ITER 2000 NEW BEST:: SOT 9143964 SOS 2087310 HAS SOPS 2087310 HAS SOUS 1231176 HAS SOUPS 1231176 WITH SCORE 1233263.31
AT ITER 2011 NEW BEST:: SOT 9143738 SOS 2087084 HAS SOPS 2087084 HAS SOUS 1230950 HAS SOUPS 1230950 WITH SCORE 1233037.084
AT ITER 2024 NEW BEST:: SOT 9142856 SOS 2087033 HAS SOPS 2087033 HAS SOUS 1230068 HAS SOUPS 1230068 WITH SCORE 1232155.033
AT ITER 2033 NEW BEST:: SOT 9142855 SOS 2087031 HAS SOPS 2087031 HAS SOUS 1230066 HAS SOUPS 1230066 WITH SCORE 1232153.031
AT ITER 2041 NEW BEST:: SOT 9143256 SOS 2087833 HAS SOPS 2087833 HAS SOUS 1229572 HAS SOUPS 1229572 WITH SCORE 1231659.833
AT ITER 2055 NEW BEST:: SOT 9143256 SOS 2087796 HAS SOPS 2087796 HAS SOUS 1229535 HAS SOUPS 1229535 WITH SCORE 1231622.796
AT ITER 2070 NEW BEST:: SOT 9143220 SOS 2087724 HAS SOPS 2087724 HAS SOUS 1229463 HAS SOUPS 1229463 WITH SCORE 1231550.724
AT ITER 2109 NEW BEST:: SOT 9143220 SOS 2087724 HAS SOPS 2087724 HAS SOUS 1228717 HAS SOUPS 1228717 WITH SCORE 1230804.724
AT ITER 2112 NEW BEST:: SOT 9142865 SOS 2087620 HAS SOPS 2087620 HAS SOUS 1228362 HAS SOUPS 1228362 WITH SCORE 1230449.62
AT ITER 2147 NEW BEST:: SOT 9142504 SOS 2088449 HAS SOPS 2088449 HAS SOUS 1228001 HAS SOUPS 1228001 WITH SCORE 1230089.449
AT ITER 2155 NEW BEST:: SOT 9142442 SOS 2088428 HAS SOPS 2088428 HAS SOUS 1227980 HAS SOUPS 1227980 WITH SCORE 1230068.428
AT ITER 2158 NEW BEST:: SOT 9142071 SOS 2088428 HAS SOPS 2088428 HAS SOUS 1227482 HAS SOUPS 1227482 WITH SCORE 1229570.428
AT ITER 2173 NEW BEST:: SOT 9141942 SOS 2088425 HAS SOPS 2088425 HAS SOUS 1227481 HAS SOUPS 1227481 WITH SCORE 1229569.425
AT ITER 2177 NEW BEST:: SOT 9141560 SOS 2091099 HAS SOPS 2091099 HAS SOUS 1227099 HAS SOUPS 1227099 WITH SCORE 1229190.099
AT ITER 2207 NEW BEST:: SOT 9141203 SOS 2090979 HAS SOPS 2090979 HAS SOUS 1226742 HAS SOUPS 1226742 WITH SCORE 1228832.979
AT ITER 2213 NEW BEST:: SOT 9140389 SOS 2090725 HAS SOPS 2090725 HAS SOUS 1225928 HAS SOUPS 1225928 WITH SCORE 1228018.725
AT ITER 2217 NEW BEST:: SOT 9140265 SOS 2090477 HAS SOPS 2090477 HAS SOUS 1225415 HAS SOUPS 1225415 WITH SCORE 1227505.477
AT ITER 2230 NEW BEST:: SOT 9140123 SOS 2090193 HAS SOPS 2090193 HAS SOUS 1225131 HAS SOUPS 1225131 WITH SCORE 1227221.193
AT ITER 2266 NEW BEST:: SOT 9139849 SOS 2089645 HAS SOPS 2089645 HAS SOUS 1224857 HAS SOUPS 1224857 WITH SCORE 1226946.645
AT ITER 2273 NEW BEST:: SOT 9139415 SOS 2088777 HAS SOPS 2088777 HAS SOUS 1224205 HAS SOUPS 1224205 WITH SCORE 1226293.777
AT ITER 2278 NEW BEST:: SOT 9139528 SOS 2090403 HAS SOPS 2090403 HAS SOUS 1224191 HAS SOUPS 1224191 WITH SCORE 1226281.403
AT ITER 2279 NEW BEST:: SOT 9139467 SOS 2090517 HAS SOPS 2090517 HAS SOUS 1224128 HAS SOUPS 1224128 WITH SCORE 1226218.517
AT ITER 2290 NEW BEST:: SOT 9138577 SOS 2089182 HAS SOPS 2089182 HAS SOUS 1222793 HAS SOUPS 1222793 WITH SCORE 1224882.182
AT ITER 2293 NEW BEST:: SOT 9138480 SOS 2089085 HAS SOPS 2089085 HAS SOUS 1222696 HAS SOUPS 1222696 WITH SCORE 1224785.085
AT ITER 2307 NEW BEST:: SOT 9138479 SOS 2089083 HAS SOPS 2089083 HAS SOUS 1222694 HAS SOUPS 1222694 WITH SCORE 1224783.083
AT ITER 2316 NEW BEST:: SOT 9138252 SOS 2088933 HAS SOPS 2088933 HAS SOUS 1222187 HAS SOUPS 1222187 WITH SCORE 1224275.933
AT ITER 2322 NEW BEST:: SOT 9138079 SOS 2088760 HAS SOPS 2088760 HAS SOUS 1222014 HAS SOUPS 1222014 WITH SCORE 1224102.76
AT ITER 2339 NEW BEST:: SOT 9138079 SOS 2088760 HAS SOPS 2088760 HAS SOUS 1221626 HAS SOUPS 1221626 WITH SCORE 1223714.76
AT ITER 2366 NEW BEST:: SOT 9137874 SOS 2088350 HAS SOPS 2088350 HAS SOUS 1221247 HAS SOUPS 1221247 WITH SCORE 1223335.35
AT ITER 2375 NEW BEST:: SOT 9137874 SOS 2089197 HAS SOPS 2089197 HAS SOUS 1221246 HAS SOUPS 1221246 WITH SCORE 1223335.197
AT ITER 2399 NEW BEST:: SOT 9137124 SOS 2088822 HAS SOPS 2088822 HAS SOUS 1220871 HAS SOUPS 1220871 WITH SCORE 1222959.822
AT ITER 2400 NEW BEST:: SOT 9137012 SOS 2087851 HAS SOPS 2087851 HAS SOUS 1220510 HAS SOUPS 1220510 WITH SCORE 1222597.851
AT ITER 2402 NEW BEST:: SOT 9136923 SOS 2088021 HAS SOPS 2088021 HAS SOUS 1220419 HAS SOUPS 1220419 WITH SCORE 1222507.021
AT ITER 2414 NEW BEST:: SOT 9136551 SOS 2086161 HAS SOPS 2086161 HAS SOUS 1219675 HAS SOUPS 1219675 WITH SCORE 1221761.161
AT ITER 2421 NEW BEST:: SOT 9135793 SOS 2085782 HAS SOPS 2085782 HAS SOUS 1219296 HAS SOUPS 1219296 WITH SCORE 1221381.782
AT ITER 2426 NEW BEST:: SOT 9135503 SOS 2085885 HAS SOPS 2085885 HAS SOUS 1219177 HAS SOUPS 1219177 WITH SCORE 1221262.885
AT ITER 2449 NEW BEST:: SOT 9135503 SOS 2085884 HAS SOPS 2085884 HAS SOUS 1219176 HAS SOUPS 1219176 WITH SCORE 1221261.884
AT ITER 2450 NEW BEST:: SOT 9135503 SOS 2085726 HAS SOPS 2085726 HAS SOUS 1219097 HAS SOUPS 1219097 WITH SCORE 1221182.726
AT ITER 2505 NEW BEST:: SOT 9133552 SOS 2088222 HAS SOPS 2088222 HAS SOUS 1217944 HAS SOUPS 1217944 WITH SCORE 1220032.222
AT ITER 2506 NEW BEST:: SOT 9133433 SOS 2088725 HAS SOPS 2088725 HAS SOUS 1217825 HAS SOUPS 1217825 WITH SCORE 1219913.725
AT ITER 2513 NEW BEST:: SOT 9133565 SOS 2088849 HAS SOPS 2088849 HAS SOUS 1217727 HAS SOUPS 1217727 WITH SCORE 1219815.849
AT ITER 2527 NEW BEST:: SOT 9133431 SOS 2089169 HAS SOPS 2089169 HAS SOUS 1217459 HAS SOUPS 1217459 WITH SCORE 1219548.169
AT ITER 2588 NEW BEST:: SOT 9133268 SOS 2087865 HAS SOPS 2087865 HAS SOUS 1217296 HAS SOUPS 1217296 WITH SCORE 1219383.865
AT ITER 2592 NEW BEST:: SOT 9133268 SOS 2086656 HAS SOPS 2086656 HAS SOUS 1216893 HAS SOUPS 1216893 WITH SCORE 1218979.656
AT ITER 2607 NEW BEST:: SOT 9133190 SOS 2086500 HAS SOPS 2086500 HAS SOUS 1216815 HAS SOUPS 1216815 WITH SCORE 1218901.5
AT ITER 2639 NEW BEST:: SOT 9133190 SOS 2085711 HAS SOPS 2085711 HAS SOUS 1216552 HAS SOUPS 1216552 WITH SCORE 1218637.711
AT ITER 2693 NEW BEST:: SOT 9133190 SOS 2084865 HAS SOPS 2084865 HAS SOUS 1216129 HAS SOUPS 1216129 WITH SCORE 1218213.865
AT ITER 2701 NEW BEST:: SOT 9132921 SOS 2082710 HAS SOPS 2082710 HAS SOUS 1215321 HAS SOUPS 1215321 WITH SCORE 1217403.71
AT ITER 2715 NEW BEST:: SOT 9132760 SOS 2082388 HAS SOPS 2082388 HAS SOUS 1214999 HAS SOUPS 1214999 WITH SCORE 1217081.388
AT ITER 2716 NEW BEST:: SOT 9132679 SOS 2082307 HAS SOPS 2082307 HAS SOUS 1214999 HAS SOUPS 1214999 WITH SCORE 1217081.307
AT ITER 2720 NEW BEST:: SOT 9132343 SOS 2081635 HAS SOPS 2081635 HAS SOUS 1214663 HAS SOUPS 1214663 WITH SCORE 1216744.635
AT ITER 2724 NEW BEST:: SOT 9132073 SOS 2081377 HAS SOPS 2081377 HAS SOUS 1214398 HAS SOUPS 1214398 WITH SCORE 1216479.377
AT ITER 2741 NEW BEST:: SOT 9131897 SOS 2081025 HAS SOPS 2081025 HAS SOUS 1214396 HAS SOUPS 1214396 WITH SCORE 1216477.025
AT ITER 2742 NEW BEST:: SOT 9131897 SOS 2080761 HAS SOPS 2080761 HAS SOUS 1214396 HAS SOUPS 1214396 WITH SCORE 1216476.761
AT ITER 2746 NEW BEST:: SOT 9131175 SOS 2080039 HAS SOPS 2080039 HAS SOUS 1213674 HAS SOUPS 1213674 WITH SCORE 1215754.039
AT ITER 2755 NEW BEST:: SOT 9131257 SOS 2080014 HAS SOPS 2080014 HAS SOUS 1213649 HAS SOUPS 1213649 WITH SCORE 1215729.014
AT ITER 2776 NEW BEST:: SOT 9131224 SOS 2081174 HAS SOPS 2081174 HAS SOUS 1213576 HAS SOUPS 1213576 WITH SCORE 1215657.174
AT ITER 2782 NEW BEST:: SOT 9131035 SOS 2080796 HAS SOPS 2080796 HAS SOUS 1213387 HAS SOUPS 1213387 WITH SCORE 1215467.796
AT ITER 2815 NEW BEST:: SOT 9131002 SOS 2080774 HAS SOPS 2080774 HAS SOUS 1213365 HAS SOUPS 1213365 WITH SCORE 1215445.774
AT ITER 2825 NEW BEST:: SOT 9130969 SOS 2081077 HAS SOPS 2081077 HAS SOUS 1213332 HAS SOUPS 1213332 WITH SCORE 1215413.077
AT ITER 2851 NEW BEST:: SOT 9130857 SOS 2081636 HAS SOPS 2081636 HAS SOUS 1213220 HAS SOUPS 1213220 WITH SCORE 1215301.636
AT ITER 2852 NEW BEST:: SOT 9130436 SOS 2081205 HAS SOPS 2081205 HAS SOUS 1212798 HAS SOUPS 1212798 WITH SCORE 1214879.205
AT ITER 2921 NEW BEST:: SOT 9130431 SOS 2081195 HAS SOPS 2081195 HAS SOUS 1212788 HAS SOUPS 1212788 WITH SCORE 1214869.195
AT ITER 2922 NEW BEST:: SOT 9130431 SOS 2081050 HAS SOPS 2081050 HAS SOUS 1212643 HAS SOUPS 1212643 WITH SCORE 1214724.05
AT ITER 2929 NEW BEST:: SOT 9129945 SOS 2080564 HAS SOPS 2080564 HAS SOUS 1212157 HAS SOUPS 1212157 WITH SCORE 1214237.564
AT ITER 2939 NEW BEST:: SOT 9130040 SOS 2079737 HAS SOPS 2079737 HAS SOUS 1212104 HAS SOUPS 1212104 WITH SCORE 1214183.737
AT ITER 2947 NEW BEST:: SOT 9130025 SOS 2079707 HAS SOPS 2079707 HAS SOUS 1212074 HAS SOUPS 1212074 WITH SCORE 1214153.707
AT ITER 2963 NEW BEST:: SOT 9130025 SOS 2080012 HAS SOPS 2080012 HAS SOUS 1212073 HAS SOUPS 1212073 WITH SCORE 1214153.012
AT ITER 2964 NEW BEST:: SOT 9130024 SOS 2080010 HAS SOPS 2080010 HAS SOUS 1212071 HAS SOUPS 1212071 WITH SCORE 1214151.01
AT ITER 2987 NEW BEST:: SOT 9129434 SOS 2073943 HAS SOPS 2073943 HAS SOUS 1210938 HAS SOUPS 1210938 WITH SCORE 1213011.943
AT ITER 2999 NEW BEST:: SOT 9129495 SOS 2073837 HAS SOPS 2073837 HAS SOUS 1210915 HAS SOUPS 1210915 WITH SCORE 1212988.837
AT ITER 3006 NEW BEST:: SOT 9128046 SOS 2071763 HAS SOPS 2071763 HAS SOUS 1208789 HAS SOUPS 1208789 WITH SCORE 1210860.763
AT ITER 3008 NEW BEST:: SOT 9127692 SOS 2069993 HAS SOPS 2069993 HAS SOUS 1208081 HAS SOUPS 1208081 WITH SCORE 1210150.993
AT ITER 3030 NEW BEST:: SOT 9127393 SOS 2069395 HAS SOPS 2069395 HAS SOUS 1207652 HAS SOUPS 1207652 WITH SCORE 1209721.395
AT ITER 3034 NEW BEST:: SOT 9127393 SOS 2069370 HAS SOPS 2069370 HAS SOUS 1207627 HAS SOUPS 1207627 WITH SCORE 1209696.37
AT ITER 3081 NEW BEST:: SOT 9127402 SOS 2069052 HAS SOPS 2069052 HAS SOUS 1207533 HAS SOUPS 1207533 WITH SCORE 1209602.052
AT ITER 3083 NEW BEST:: SOT 9126183 SOS 2068110 HAS SOPS 2068110 HAS SOUS 1206348 HAS SOUPS 1206348 WITH SCORE 1208416.11
AT ITER 3105 NEW BEST:: SOT 9125574 SOS 2067838 HAS SOPS 2067838 HAS SOUS 1205863 HAS SOUPS 1205863 WITH SCORE 1207930.838
AT ITER 3125 NEW BEST:: SOT 9125460 SOS 2067724 HAS SOPS 2067724 HAS SOUS 1205749 HAS SOUPS 1205749 WITH SCORE 1207816.724
AT ITER 3137 NEW BEST:: SOT 9125301 SOS 2067412 HAS SOPS 2067412 HAS SOUS 1205437 HAS SOUPS 1205437 WITH SCORE 1207504.412
AT ITER 3165 NEW BEST:: SOT 9124980 SOS 2067091 HAS SOPS 2067091 HAS SOUS 1205116 HAS SOUPS 1205116 WITH SCORE 1207183.091
AT ITER 3182 NEW BEST:: SOT 9124823 SOS 2066924 HAS SOPS 2066924 HAS SOUS 1204958 HAS SOUPS 1204958 WITH SCORE 1207024.924
AT ITER 3245 NEW BEST:: SOT 9124823 SOS 2066626 HAS SOPS 2066626 HAS SOUS 1204660 HAS SOUPS 1204660 WITH SCORE 1206726.626
AT ITER 3263 NEW BEST:: SOT 9124315 SOS 2061038 HAS SOPS 2061038 HAS SOUS 1203644 HAS SOUPS 1203644 WITH SCORE 1205705.038
AT ITER 3275 NEW BEST:: SOT 9124268 SOS 2060718 HAS SOPS 2060718 HAS SOUS 1203371 HAS SOUPS 1203371 WITH SCORE 1205431.718
AT ITER 3283 NEW BEST:: SOT 9123997 SOS 2060693 HAS SOPS 2060693 HAS SOUS 1203307 HAS SOUPS 1203307 WITH SCORE 1205367.693
AT ITER 3290 NEW BEST:: SOT 9124142 SOS 2060983 HAS SOPS 2060983 HAS SOUS 1202979 HAS SOUPS 1202979 WITH SCORE 1205039.983
AT ITER 3291 NEW BEST:: SOT 9124134 SOS 2060967 HAS SOPS 2060967 HAS SOUS 1202971 HAS SOUPS 1202971 WITH SCORE 1205031.967
AT ITER 3328 NEW BEST:: SOT 9124134 SOS 2061725 HAS SOPS 2061725 HAS SOUS 1202969 HAS SOUPS 1202969 WITH SCORE 1205030.725
AT ITER 3343 NEW BEST:: SOT 9124070 SOS 2064599 HAS SOPS 2064599 HAS SOUS 1202840 HAS SOUPS 1202840 WITH SCORE 1204904.599
AT ITER 3381 NEW BEST:: SOT 9123933 SOS 2064796 HAS SOPS 2064796 HAS SOUS 1202703 HAS SOUPS 1202703 WITH SCORE 1204767.796
AT ITER 3389 NEW BEST:: SOT 9123692 SOS 2063350 HAS SOPS 2063350 HAS SOUS 1201980 HAS SOUPS 1201980 WITH SCORE 1204043.35
AT ITER 3408 NEW BEST:: SOT 9123729 SOS 2063386 HAS SOPS 2063386 HAS SOUS 1201979 HAS SOUPS 1201979 WITH SCORE 1204042.386
AT ITER 3419 NEW BEST:: SOT 9123729 SOS 2063370 HAS SOPS 2063370 HAS SOUS 1201963 HAS SOUPS 1201963 WITH SCORE 1204026.37
AT ITER 3420 NEW BEST:: SOT 9123729 SOS 2064323 HAS SOPS 2064323 HAS SOUS 1201961 HAS SOUPS 1201961 WITH SCORE 1204025.323
AT ITER 3433 NEW BEST:: SOT 9123916 SOS 2064187 HAS SOPS 2064187 HAS SOUS 1201831 HAS SOUPS 1201831 WITH SCORE 1203895.187
AT ITER 3434 NEW BEST:: SOT 9123602 SOS 2063870 HAS SOPS 2063870 HAS SOUS 1201830 HAS SOUPS 1201830 WITH SCORE 1203893.87
AT ITER 3449 NEW BEST:: SOT 9123329 SOS 2063324 HAS SOPS 2063324 HAS SOUS 1201009 HAS SOUPS 1201009 WITH SCORE 1203072.324
AT ITER 3450 NEW BEST:: SOT 9123064 SOS 2063056 HAS SOPS 2063056 HAS SOUS 1200743 HAS SOUPS 1200743 WITH SCORE 1202806.056
AT ITER 3474 NEW BEST:: SOT 9123064 SOS 2063056 HAS SOPS 2063056 HAS SOUS 1200593 HAS SOUPS 1200593 WITH SCORE 1202656.056
AT ITER 3512 NEW BEST:: SOT 9122996 SOS 2062920 HAS SOPS 2062920 HAS SOUS 1200525 HAS SOUPS 1200525 WITH SCORE 1202587.92
AT ITER 3567 NEW BEST:: SOT 9121309 SOS 2061233 HAS SOPS 2061233 HAS SOUS 1200239 HAS SOUPS 1200239 WITH SCORE 1202300.233
AT ITER 3620 NEW BEST:: SOT 9121309 SOS 2061311 HAS SOPS 2061311 HAS SOUS 1200238 HAS SOUPS 1200238 WITH SCORE 1202299.311
AT ITER 3624 NEW BEST:: SOT 9118333 SOS 2059846 HAS SOPS 2059846 HAS SOUS 1198334 HAS SOUPS 1198334 WITH SCORE 1200393.846
AT ITER 3652 NEW BEST:: SOT 9118163 SOS 2059556 HAS SOPS 2059556 HAS SOUS 1198044 HAS SOUPS 1198044 WITH SCORE 1200103.556
AT ITER 3659 NEW BEST:: SOT 9117488 SOS 2058927 HAS SOPS 2058927 HAS SOUS 1197588 HAS SOUPS 1197588 WITH SCORE 1199646.927
AT ITER 3689 NEW BEST:: SOT 9117488 SOS 2058927 HAS SOPS 2058927 HAS SOUS 1197241 HAS SOUPS 1197241 WITH SCORE 1199299.927
AT ITER 3692 NEW BEST:: SOT 9117445 SOS 2058926 HAS SOPS 2058926 HAS SOUS 1197240 HAS SOUPS 1197240 WITH SCORE 1199298.926
AT ITER 3705 NEW BEST:: SOT 9116925 SOS 2058541 HAS SOPS 2058541 HAS SOUS 1196821 HAS SOUPS 1196821 WITH SCORE 1198879.541
AT ITER 3707 NEW BEST:: SOT 9117059 SOS 2058809 HAS SOPS 2058809 HAS SOUS 1196598 HAS SOUPS 1196598 WITH SCORE 1198656.809
AT ITER 3708 NEW BEST:: SOT 9116938 SOS 2058717 HAS SOPS 2058717 HAS SOUS 1196477 HAS SOUPS 1196477 WITH SCORE 1198535.717
AT ITER 3709 NEW BEST:: SOT 9116856 SOS 2058553 HAS SOPS 2058553 HAS SOUS 1196313 HAS SOUPS 1196313 WITH SCORE 1198371.553
AT ITER 3711 NEW BEST:: SOT 9116704 SOS 2058401 HAS SOPS 2058401 HAS SOUS 1196236 HAS SOUPS 1196236 WITH SCORE 1198294.401
AT ITER 3725 NEW BEST:: SOT 9115490 SOS 2057187 HAS SOPS 2057187 HAS SOUS 1195022 HAS SOUPS 1195022 WITH SCORE 1197079.187
AT ITER 3738 NEW BEST:: SOT 9115319 SOS 2056845 HAS SOPS 2056845 HAS SOUS 1194509 HAS SOUPS 1194509 WITH SCORE 1196565.845
AT ITER 3780 NEW BEST:: SOT 9115282 SOS 2057185 HAS SOPS 2057185 HAS SOUS 1194435 HAS SOUPS 1194435 WITH SCORE 1196492.185
AT ITER 3805 NEW BEST:: SOT 9115107 SOS 2056835 HAS SOPS 2056835 HAS SOUS 1194085 HAS SOUPS 1194085 WITH SCORE 1196141.835
AT ITER 3822 NEW BEST:: SOT 9114674 SOS 2056865 HAS SOPS 2056865 HAS SOUS 1193876 HAS SOUPS 1193876 WITH SCORE 1195932.865
AT ITER 3846 NEW BEST:: SOT 9114674 SOS 2056864 HAS SOPS 2056864 HAS SOUS 1193875 HAS SOUPS 1193875 WITH SCORE 1195931.864
AT ITER 3857 NEW BEST:: SOT 9114674 SOS 2056796 HAS SOPS 2056796 HAS SOUS 1193807 HAS SOUPS 1193807 WITH SCORE 1195863.796
AT ITER 3858 NEW BEST:: SOT 9114674 SOS 2056765 HAS SOPS 2056765 HAS SOUS 1193776 HAS SOUPS 1193776 WITH SCORE 1195832.765
AT ITER 3875 NEW BEST:: SOT 9114662 SOS 2055340 HAS SOPS 2055340 HAS SOUS 1193564 HAS SOUPS 1193564 WITH SCORE 1195619.34
AT ITER 3898 NEW BEST:: SOT 9114480 SOS 2054976 HAS SOPS 2054976 HAS SOUS 1193200 HAS SOUPS 1193200 WITH SCORE 1195254.976
AT ITER 3924 NEW BEST:: SOT 9114229 SOS 2055780 HAS SOPS 2055780 HAS SOUS 1192367 HAS SOUPS 1192367 WITH SCORE 1194422.78
AT ITER 3926 NEW BEST:: SOT 9114229 SOS 2056434 HAS SOPS 2056434 HAS SOUS 1192149 HAS SOUPS 1192149 WITH SCORE 1194205.434
AT ITER 3950 NEW BEST:: SOT 9113732 SOS 2055644 HAS SOPS 2055644 HAS SOUS 1191591 HAS SOUPS 1191591 WITH SCORE 1193646.644
AT ITER 3962 NEW BEST:: SOT 9113458 SOS 2055380 HAS SOPS 2055380 HAS SOUS 1191327 HAS SOUPS 1191327 WITH SCORE 1193382.38
AT ITER 3979 NEW BEST:: SOT 9113614 SOS 2054996 HAS SOPS 2054996 HAS SOUS 1191251 HAS SOUPS 1191251 WITH SCORE 1193305.996
AT ITER 3985 NEW BEST:: SOT 9113614 SOS 2055378 HAS SOPS 2055378 HAS SOUS 1191249 HAS SOUPS 1191249 WITH SCORE 1193304.378
AT ITER 4036 NEW BEST:: SOT 9113671 SOS 2054802 HAS SOPS 2054802 HAS SOUS 1191180 HAS SOUPS 1191180 WITH SCORE 1193234.802
AT ITER 4051 NEW BEST:: SOT 9113559 SOS 2054748 HAS SOPS 2054748 HAS SOUS 1191068 HAS SOUPS 1191068 WITH SCORE 1193122.748
AT ITER 4059 NEW BEST:: SOT 9112594 SOS 2055108 HAS SOPS 2055108 HAS SOUS 1190933 HAS SOUPS 1190933 WITH SCORE 1192988.108
AT ITER 4109 NEW BEST:: SOT 9112362 SOS 2054644 HAS SOPS 2054644 HAS SOUS 1190583 HAS SOUPS 1190583 WITH SCORE 1192637.644
AT ITER 4144 NEW BEST:: SOT 9109457 SOS 2051602 HAS SOPS 2051602 HAS SOUS 1188121 HAS SOUPS 1188121 WITH SCORE 1190172.602
AT ITER 4166 NEW BEST:: SOT 9109445 SOS 2051586 HAS SOPS 2051586 HAS SOUS 1188114 HAS SOUPS 1188114 WITH SCORE 1190165.586
AT ITER 4174 NEW BEST:: SOT 9109093 SOS 2051380 HAS SOPS 2051380 HAS SOUS 1187908 HAS SOUPS 1187908 WITH SCORE 1189959.38
AT ITER 4183 NEW BEST:: SOT 9109090 SOS 2051377 HAS SOPS 2051377 HAS SOUS 1187908 HAS SOUPS 1187908 WITH SCORE 1189959.377
AT ITER 4190 NEW BEST:: SOT 9109092 SOS 2051219 HAS SOPS 2051219 HAS SOUS 1187750 HAS SOUPS 1187750 WITH SCORE 1189801.219
AT ITER 4203 NEW BEST:: SOT 9108888 SOS 2051416 HAS SOPS 2051416 HAS SOUS 1187544 HAS SOUPS 1187544 WITH SCORE 1189595.416
AT ITER 4205 NEW BEST:: SOT 9108742 SOS 2050978 HAS SOPS 2050978 HAS SOUS 1187398 HAS SOUPS 1187398 WITH SCORE 1189448.978
AT ITER 4234 NEW BEST:: SOT 9108563 SOS 2050620 HAS SOPS 2050620 HAS SOUS 1187040 HAS SOUPS 1187040 WITH SCORE 1189090.62
AT ITER 4241 NEW BEST:: SOT 9108620 SOS 2050734 HAS SOPS 2050734 HAS SOUS 1186492 HAS SOUPS 1186492 WITH SCORE 1188542.734
AT ITER 4253 NEW BEST:: SOT 9108565 SOS 2052622 HAS SOPS 2052622 HAS SOUS 1186436 HAS SOUPS 1186436 WITH SCORE 1188488.622
AT ITER 4259 NEW BEST:: SOT 9107581 SOS 2051638 HAS SOPS 2051638 HAS SOUS 1185452 HAS SOUPS 1185452 WITH SCORE 1187503.638
AT ITER 4296 NEW BEST:: SOT 9107372 SOS 2051011 HAS SOPS 2051011 HAS SOUS 1185034 HAS SOUPS 1185034 WITH SCORE 1187085.011
AT ITER 4297 NEW BEST:: SOT 9107372 SOS 2051010 HAS SOPS 2051010 HAS SOUS 1184919 HAS SOUPS 1184919 WITH SCORE 1186970.01
AT ITER 4311 NEW BEST:: SOT 9107372 SOS 2050963 HAS SOPS 2050963 HAS SOUS 1184872 HAS SOUPS 1184872 WITH SCORE 1186922.963
AT ITER 4315 NEW BEST:: SOT 9107289 SOS 2050880 HAS SOPS 2050880 HAS SOUS 1184706 HAS SOUPS 1184706 WITH SCORE 1186756.88
AT ITER 4374 NEW BEST:: SOT 9106823 SOS 2050414 HAS SOPS 2050414 HAS SOUS 1184706 HAS SOUPS 1184706 WITH SCORE 1186756.414
AT ITER 4382 NEW BEST:: SOT 9106823 SOS 2050150 HAS SOPS 2050150 HAS SOUS 1184618 HAS SOUPS 1184618 WITH SCORE 1186668.15
AT ITER 4394 NEW BEST:: SOT 9106823 SOS 2049454 HAS SOPS 2049454 HAS SOUS 1184618 HAS SOUPS 1184618 WITH SCORE 1186667.454
AT ITER 4404 NEW BEST:: SOT 9106985 SOS 2049778 HAS SOPS 2049778 HAS SOUS 1184490 HAS SOUPS 1184490 WITH SCORE 1186539.778
AT ITER 4406 NEW BEST:: SOT 9108458 SOS 2048561 HAS SOPS 2048561 HAS SOUS 1184385 HAS SOUPS 1184385 WITH SCORE 1186433.561
AT ITER 4410 NEW BEST:: SOT 9108036 SOS 2048066 HAS SOPS 2048066 HAS SOUS 1183963 HAS SOUPS 1183963 WITH SCORE 1186011.066
AT ITER 4451 NEW BEST:: SOT 9108036 SOS 2048066 HAS SOPS 2048066 HAS SOUS 1183854 HAS SOUPS 1183854 WITH SCORE 1185902.066
AT ITER 4457 NEW BEST:: SOT 9107068 SOS 2047098 HAS SOPS 2047098 HAS SOUS 1182886 HAS SOUPS 1182886 WITH SCORE 1184933.098
AT ITER 4517 NEW BEST:: SOT 9107151 SOS 2048637 HAS SOPS 2048637 HAS SOUS 1182867 HAS SOUPS 1182867 WITH SCORE 1184915.637
AT ITER 4528 NEW BEST:: SOT 9106629 SOS 2046677 HAS SOPS 2046677 HAS SOUS 1182311 HAS SOUPS 1182311 WITH SCORE 1184357.677
AT ITER 4545 NEW BEST:: SOT 9106482 SOS 2045699 HAS SOPS 2045699 HAS SOUS 1182164 HAS SOUPS 1182164 WITH SCORE 1184209.699
AT ITER 4562 NEW BEST:: SOT 9106482 SOS 2045615 HAS SOPS 2045615 HAS SOUS 1182164 HAS SOUPS 1182164 WITH SCORE 1184209.615
AT ITER 4579 NEW BEST:: SOT 9106567 SOS 2045476 HAS SOPS 2045476 HAS SOUS 1182146 HAS SOUPS 1182146 WITH SCORE 1184191.476
AT ITER 4590 NEW BEST:: SOT 9106676 SOS 2045553 HAS SOPS 2045553 HAS SOUS 1182041 HAS SOUPS 1182041 WITH SCORE 1184086.553
AT ITER 4689 NEW BEST:: SOT 9106799 SOS 2048193 HAS SOPS 2048193 HAS SOUS 1182021 HAS SOUPS 1182021 WITH SCORE 1184069.193
AT ITER 4699 NEW BEST:: SOT 9106673 SOS 2047941 HAS SOPS 2047941 HAS SOUS 1181894 HAS SOUPS 1181894 WITH SCORE 1183941.941
AT ITER 4737 NEW BEST:: SOT 9106673 SOS 2048381 HAS SOPS 2048381 HAS SOUS 1181893 HAS SOUPS 1181893 WITH SCORE 1183941.381
AT ITER 4772 NEW BEST:: SOT 9106563 SOS 2048161 HAS SOPS 2048161 HAS SOUS 1181673 HAS SOUPS 1181673 WITH SCORE 1183721.161
AT ITER 4794 NEW BEST:: SOT 9106563 SOS 2048160 HAS SOPS 2048160 HAS SOUS 1181672 HAS SOUPS 1181672 WITH SCORE 1183720.16
AT ITER 4799 NEW BEST:: SOT 9106099 SOS 2045840 HAS SOPS 2045840 HAS SOUS 1180744 HAS SOUPS 1180744 WITH SCORE 1182789.84
AT ITER 4813 NEW BEST:: SOT 9105684 SOS 2045488 HAS SOPS 2045488 HAS SOUS 1180329 HAS SOUPS 1180329 WITH SCORE 1182374.488
AT ITER 4893 NEW BEST:: SOT 9105482 SOS 2045084 HAS SOPS 2045084 HAS SOUS 1179428 HAS SOUPS 1179428 WITH SCORE 1181473.084
AT ITER 4911 NEW BEST:: SOT 9105449 SOS 2045315 HAS SOPS 2045315 HAS SOUS 1179362 HAS SOUPS 1179362 WITH SCORE 1181407.315
AT ITER 4920 NEW BEST:: SOT 9105209 SOS 2045137 HAS SOPS 2045137 HAS SOUS 1179143 HAS SOUPS 1179143 WITH SCORE 1181188.137
AT ITER 4938 NEW BEST:: SOT 9105209 SOS 2045065 HAS SOPS 2045065 HAS SOUS 1179071 HAS SOUPS 1179071 WITH SCORE 1181116.065
AT ITER 4949 NEW BEST:: SOT 9104440 SOS 2045426 HAS SOPS 2045426 HAS SOUS 1178200 HAS SOUPS 1178200 WITH SCORE 1180245.426
AT ITER 4983 NEW BEST:: SOT 9104402 SOS 2045350 HAS SOPS 2045350 HAS SOUS 1178124 HAS SOUPS 1178124 WITH SCORE 1180169.35
AT ITER 4995 NEW BEST:: SOT 9104092 SOS 2041940 HAS SOPS 2041940 HAS SOUS 1177504 HAS SOUPS 1177504 WITH SCORE 1179545.94
Bounds file is: CTLFireability.xml
PROPERTY: DLCround-PT-08b-CTLFireability-00 (AF( (! ( (EX( ((potential((tk(P482)>=1) & (tk(P2425)>=1)))))) | (! ((potential((tk(P1243)>=1) & (tk(P2905)>=1))))) ))))
PROPERTY: DLCround-PT-08b-CTLFireability-01 (! (EG( (! ( ( ((potential((tk(P922)>=1)))) | ((potential((tk(P357)>=1)))) ) & ((potential((tk(P2318)>=1)))) )))))
PROPERTY: DLCround-PT-08b-CTLFireability-02 ( ( ( (AG( (! ((potential((tk(P1647)>=1))))))) | ( (AX( ((potential((tk(P1776)>=1)))))) | ( ((potential((tk(P291)>=1)))) & ( ((potential((tk(P1344)>=1) & (tk(P3005)>=1)))) & ((potential((tk(P951)>=1)))) ) ) ) ) | (EF( ( ( ((potential((tk(P429)>=1) & (tk(P2415)>=1)))) & ((potential((tk(P1123)>=1) & (tk(P2835)>=1)))) ) & ( ((potential((tk(P2088)>=1)))) & ((potential((tk(P689)>=1)))) ) ))) ) | ( (! (EX( (! ((potential((tk(P1322)>=1) & (tk(P2965)>=1)))))))) & ( (EU( ((potential((tk(P66)>=1)))) , ((potential((tk(P1151)>=1)))) )) | (! (AG( ((potential((tk(P1936)>=1))))))) ) ) )
PROPERTY: DLCround-PT-08b-CTLFireability-03 (AF( ((potential((tk(P1357)>=1))))))
PROPERTY: DLCround-PT-08b-CTLFireability-04 (AX( (EF( (! (! ((potential((tk(P1168)>=1) & (tk(P2132)>=1))))))))))
PROPERTY: DLCround-PT-08b-CTLFireability-05 (AF( ((potential((tk(P537)>=1))))))
PROPERTY: DLCround-PT-08b-CTLFireability-06 ( (! (! (EF( ( ((potential((tk(P577)>=1)))) | ((potential((tk(P2279)>=1)))) ))))) | ( ( ( ( ( ((potential((tk(P1886)>=1)))) | ((potential((tk(P962)>=1) & (tk(P2005)>=1)))) ) | ((potential((tk(P2936)>=1)))) ) | ( ( ((potential((tk(P1118)>=1) & (tk(P2982)>=1)))) & ((potential((tk(P107)>=1) & (tk(P2062)>=1)))) ) & ((potential((tk(P6)>=1)))) ) ) & ( ( ( ((potential((tk(P1274)>=1)))) & ((potential((tk(P493)>=1) & (tk(P2435)>=1)))) ) | ( ((potential((tk(P1176)>=1) & (tk(P2165)>=1)))) | ((potential((tk(P94)>=1)))) ) ) & ( ( ((potential((tk(P915)>=1)))) & ((potential((tk(P2266)>=1)))) ) | ((potential((tk(P1903)>=1)))) ) ) ) & (AF( (AF( ((potential((tk(P2097)>=1)))))))) ) )
PROPERTY: DLCround-PT-08b-CTLFireability-07 ( (! (AF( (EG( ((potential((tk(P706)>=1) & (tk(P1825)>=1))))))))) & (EF( ((potential((tk(P763)>=1) & (tk(P2565)>=1)))))) )
PROPERTY: DLCround-PT-08b-CTLFireability-08 (EU( (AX( (! ((potential((tk(P297)>=1))))))) , ( (EX( ((potential((tk(P36)>=1)))))) | (AF( ((potential((tk(P1043)>=1)))))) ) ))
PROPERTY: DLCround-PT-08b-CTLFireability-09 ( (EU( (EX( ((potential((tk(P275)>=1) & (tk(P2095)>=1)))))) , ((potential((tk(P739)>=1) & (tk(P2555)>=1)))) )) | ( (EF( (AX( ((potential((tk(P939)>=1)))))))) | ((potential((tk(P450)>=1) & (tk(P2612)>=1)))) ) )
PROPERTY: DLCround-PT-08b-CTLFireability-10 (EF( (EF( (AG( ((potential((tk(P2178)>=1))))))))))
PROPERTY: DLCround-PT-08b-CTLFireability-11 ( ((potential((tk(P1634)>=1)))) | ( (AG( (! ( ((potential((tk(P2376)>=1)))) & ((potential((tk(P3009)>=1)))) )))) | ((potential((tk(P156)>=1) & (tk(P2242)>=1)))) ) )
PROPERTY: DLCround-PT-08b-CTLFireability-12 (EU( ( (AG( ((potential((tk(P1493)>=1)))))) | ((potential((tk(P998)>=1) & (tk(P2972)>=1)))) ) , (EG( (! ((potential((tk(P998)>=1) & (tk(P2642)>=1))))))) ))
PROPERTY: DLCround-PT-08b-CTLFireability-13 (AF( ( ((potential((tk(P1298)>=1)))) | (EX( ( ((potential((tk(P373)>=1) & (tk(P2282)>=1)))) | ((potential((tk(P1747)>=1)))) ))) )))
PROPERTY: DLCround-PT-08b-CTLFireability-14 ( ( ((potential((tk(P1139)>=1)))) & (! ( (! (! ((potential((tk(P576)>=1) & (tk(P2505)>=1)))))) | ((potential((tk(P1181)>=1)))) )) ) | ( (EF( (! (! ((potential((tk(P1525)>=1)))))))) | ((potential((tk(P2730)>=1)))) ) )
PROPERTY: DLCround-PT-08b-CTLFireability-15 ( (EF( ((potential((tk(P998)>=1) & (tk(P2642)>=1)))))) | (AU( (! ( ((potential((tk(P1416)>=1) & (tk(P3055)>=1)))) | ((potential((tk(P131)>=1)))) )) , (EX( ((potential((tk(P462)>=1) & (tk(P2375)>=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="DLCround-PT-08b"
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 DLCround-PT-08b, 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-158902542300540"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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