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.r063-tajo-158922806900044.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 DLCshifumi-PT-4b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922806900044
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 5.3M
-rw-r--r-- 1 mcc users 4.1K Mar 30 23:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 30 23:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 29 12:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 29 12:51 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.4K 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 2.0K Apr 8 14:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 28 08:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 28 08:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 27 02:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 27 02:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K 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 5.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 DLCshifumi-PT-4b-CTLFireability-00
FORMULA_NAME DLCshifumi-PT-4b-CTLFireability-01
FORMULA_NAME DLCshifumi-PT-4b-CTLFireability-02
FORMULA_NAME DLCshifumi-PT-4b-CTLFireability-03
FORMULA_NAME DLCshifumi-PT-4b-CTLFireability-04
FORMULA_NAME DLCshifumi-PT-4b-CTLFireability-05
FORMULA_NAME DLCshifumi-PT-4b-CTLFireability-06
FORMULA_NAME DLCshifumi-PT-4b-CTLFireability-07
FORMULA_NAME DLCshifumi-PT-4b-CTLFireability-08
FORMULA_NAME DLCshifumi-PT-4b-CTLFireability-09
FORMULA_NAME DLCshifumi-PT-4b-CTLFireability-10
FORMULA_NAME DLCshifumi-PT-4b-CTLFireability-11
FORMULA_NAME DLCshifumi-PT-4b-CTLFireability-12
FORMULA_NAME DLCshifumi-PT-4b-CTLFireability-13
FORMULA_NAME DLCshifumi-PT-4b-CTLFireability-14
FORMULA_NAME DLCshifumi-PT-4b-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589357747941

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCshifumi (PT), instance 4b
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: 15015 places, 21341 transitions, 56284 arcs.
AT ITER 0 NEW BEST:: SOT 205180670 SOS 40408178 HAS SOPS 40408178 HAS SOUS 31049784 HAS SOUPS 31049784 WITH SCORE 3.1090192178E7
AT ITER 9 NEW BEST:: SOT 205178025 SOS 40406187 HAS SOPS 40406187 HAS SOUS 31047469 HAS SOUPS 31047469 WITH SCORE 3.1087875187E7
AT ITER 18 NEW BEST:: SOT 205178024 SOS 40405591 HAS SOPS 40405591 HAS SOUS 31046873 HAS SOUPS 31046873 WITH SCORE 3.1087278591E7
AT ITER 39 NEW BEST:: SOT 205174418 SOS 40398379 HAS SOPS 40398379 HAS SOUS 31039661 HAS SOUPS 31039661 WITH SCORE 3.1080059379E7
AT ITER 41 NEW BEST:: SOT 205173836 SOS 40398379 HAS SOPS 40398379 HAS SOUS 31039370 HAS SOUPS 31039370 WITH SCORE 3.1079768379E7
AT ITER 71 NEW BEST:: SOT 205173357 SOS 40397421 HAS SOPS 40397421 HAS SOUS 31038412 HAS SOUPS 31038412 WITH SCORE 3.1078809421E7
AT ITER 72 NEW BEST:: SOT 205170657 SOS 40394795 HAS SOPS 40394795 HAS SOUS 31035786 HAS SOUPS 31035786 WITH SCORE 3.1076180795E7
AT ITER 76 NEW BEST:: SOT 205170464 SOS 40394023 HAS SOPS 40394023 HAS SOUS 31035593 HAS SOUPS 31035593 WITH SCORE 3.1075987023E7
AT ITER 95 NEW BEST:: SOT 205170463 SOS 40394021 HAS SOPS 40394021 HAS SOUS 31035591 HAS SOUPS 31035591 WITH SCORE 3.1075985021E7
AT ITER 120 NEW BEST:: SOT 205164088 SOS 40402761 HAS SOPS 40402761 HAS SOUS 31034780 HAS SOUPS 31034780 WITH SCORE 3.1075182761E7
AT ITER 137 NEW BEST:: SOT 205164088 SOS 40401295 HAS SOPS 40401295 HAS SOUS 31034780 HAS SOUPS 31034780 WITH SCORE 3.1075181295E7
AT ITER 153 NEW BEST:: SOT 205163324 SOS 40399768 HAS SOPS 40399768 HAS SOUS 31033253 HAS SOUPS 31033253 WITH SCORE 3.1073652768E7
AT ITER 160 NEW BEST:: SOT 205160270 SOS 40396714 HAS SOPS 40396714 HAS SOUS 31030199 HAS SOUPS 31030199 WITH SCORE 3.1070595714E7
AT ITER 201 NEW BEST:: SOT 205160270 SOS 40395367 HAS SOPS 40395367 HAS SOUS 31029750 HAS SOUPS 31029750 WITH SCORE 3.1070145367E7
AT ITER 245 NEW BEST:: SOT 205160270 SOS 40401423 HAS SOPS 40401423 HAS SOUS 31029075 HAS SOUPS 31029075 WITH SCORE 3.1069476423E7
AT ITER 259 NEW BEST:: SOT 205158235 SOS 40397353 HAS SOPS 40397353 HAS SOUS 31025005 HAS SOUPS 31025005 WITH SCORE 3.1065402353E7
AT ITER 284 NEW BEST:: SOT 205157436 SOS 40396554 HAS SOPS 40396554 HAS SOUS 31025005 HAS SOUPS 31025005 WITH SCORE 3.1065401554E7
AT ITER 285 NEW BEST:: SOT 205157436 SOS 40396554 HAS SOPS 40396554 HAS SOUS 31022035 HAS SOUPS 31022035 WITH SCORE 3.1062431554E7
AT ITER 308 NEW BEST:: SOT 205153084 SOS 40394723 HAS SOPS 40394723 HAS SOUS 31020204 HAS SOUPS 31020204 WITH SCORE 3.1060598723E7
AT ITER 309 NEW BEST:: SOT 205151908 SOS 40393543 HAS SOPS 40393543 HAS SOUS 31019027 HAS SOUPS 31019027 WITH SCORE 3.1059420543E7
AT ITER 312 NEW BEST:: SOT 205152545 SOS 40394817 HAS SOPS 40394817 HAS SOUS 31016645 HAS SOUPS 31016645 WITH SCORE 3.1057039817E7
AT ITER 318 NEW BEST:: SOT 205148765 SOS 40394466 HAS SOPS 40394466 HAS SOUS 31015535 HAS SOUPS 31015535 WITH SCORE 3.1055929466E7
AT ITER 322 NEW BEST:: SOT 205147825 SOS 40392587 HAS SOPS 40392587 HAS SOUS 31013656 HAS SOUPS 31013656 WITH SCORE 3.1054048587E7
AT ITER 341 NEW BEST:: SOT 205144367 SOS 40390858 HAS SOPS 40390858 HAS SOUS 31011927 HAS SOUPS 31011927 WITH SCORE 3.1052317858E7
AT ITER 346 NEW BEST:: SOT 205144367 SOS 40390031 HAS SOPS 40390031 HAS SOUS 31011100 HAS SOUPS 31011100 WITH SCORE 3.1051490031E7
AT ITER 348 NEW BEST:: SOT 205144010 SOS 40390031 HAS SOPS 40390031 HAS SOUS 31010743 HAS SOUPS 31010743 WITH SCORE 3.1051133031E7
AT ITER 357 NEW BEST:: SOT 205143896 SOS 40389804 HAS SOPS 40389804 HAS SOUS 31010516 HAS SOUPS 31010516 WITH SCORE 3.1050905804E7
AT ITER 389 NEW BEST:: SOT 205144544 SOS 40391100 HAS SOPS 40391100 HAS SOUS 31010209 HAS SOUPS 31010209 WITH SCORE 3.10506001E7
AT ITER 390 NEW BEST:: SOT 205145179 SOS 40382617 HAS SOPS 40382617 HAS SOUS 31007208 HAS SOUPS 31007208 WITH SCORE 3.1047590617E7
AT ITER 430 NEW BEST:: SOT 205140117 SOS 40379719 HAS SOPS 40379719 HAS SOUS 31003132 HAS SOUPS 31003132 WITH SCORE 3.1043511719E7
AT ITER 443 NEW BEST:: SOT 205139110 SOS 40377705 HAS SOPS 40377705 HAS SOUS 31001118 HAS SOUPS 31001118 WITH SCORE 3.1041495705E7
AT ITER 446 NEW BEST:: SOT 205139110 SOS 40377705 HAS SOPS 40377705 HAS SOUS 30998730 HAS SOUPS 30998730 WITH SCORE 3.1039107705E7
AT ITER 470 NEW BEST:: SOT 205137916 SOS 40375317 HAS SOPS 40375317 HAS SOUS 30996342 HAS SOUPS 30996342 WITH SCORE 3.1036717317E7
AT ITER 573 NEW BEST:: SOT 205135172 SOS 40372806 HAS SOPS 40372806 HAS SOUS 30993831 HAS SOUPS 30993831 WITH SCORE 3.1034203806E7
AT ITER 577 NEW BEST:: SOT 205135172 SOS 40372806 HAS SOPS 40372806 HAS SOUS 30993830 HAS SOUPS 30993830 WITH SCORE 3.1034202806E7
AT ITER 583 NEW BEST:: SOT 205133933 SOS 40371154 HAS SOPS 40371154 HAS SOUS 30993302 HAS SOUPS 30993302 WITH SCORE 3.1033673154E7
AT ITER 600 NEW BEST:: SOT 205133933 SOS 40370169 HAS SOPS 40370169 HAS SOUS 30993302 HAS SOUPS 30993302 WITH SCORE 3.1033672169E7
AT ITER 618 NEW BEST:: SOT 205134237 SOS 40370777 HAS SOPS 40370777 HAS SOUS 30991630 HAS SOUPS 30991630 WITH SCORE 3.1032000777E7
AT ITER 630 NEW BEST:: SOT 205134237 SOS 40370130 HAS SOPS 40370130 HAS SOUS 30990983 HAS SOUPS 30990983 WITH SCORE 3.103135313E7
AT ITER 640 NEW BEST:: SOT 205133753 SOS 40370014 HAS SOPS 40370014 HAS SOUS 30990783 HAS SOUPS 30990783 WITH SCORE 3.1031153014E7
AT ITER 650 NEW BEST:: SOT 205132711 SOS 40367932 HAS SOPS 40367932 HAS SOUS 30988701 HAS SOUPS 30988701 WITH SCORE 3.1029068932E7
AT ITER 686 NEW BEST:: SOT 205132279 SOS 40367500 HAS SOPS 40367500 HAS SOUS 30987837 HAS SOUPS 30987837 WITH SCORE 3.10282045E7
AT ITER 726 NEW BEST:: SOT 205130248 SOS 40366516 HAS SOPS 40366516 HAS SOUS 30986354 HAS SOUPS 30986354 WITH SCORE 3.1026720516E7
AT ITER 751 NEW BEST:: SOT 205128477 SOS 40364741 HAS SOPS 40364741 HAS SOUS 30984582 HAS SOUPS 30984582 WITH SCORE 3.1024946741E7
AT ITER 815 NEW BEST:: SOT 205127802 SOS 40364521 HAS SOPS 40364521 HAS SOUS 30984365 HAS SOUPS 30984365 WITH SCORE 3.1024729521E7
AT ITER 829 NEW BEST:: SOT 205127802 SOS 40364521 HAS SOPS 40364521 HAS SOUS 30983158 HAS SOUPS 30983158 WITH SCORE 3.1023522521E7
AT ITER 872 NEW BEST:: SOT 205126563 SOS 40364319 HAS SOPS 40364319 HAS SOUS 30982956 HAS SOUPS 30982956 WITH SCORE 3.1023320319E7
AT ITER 881 NEW BEST:: SOT 205123807 SOS 40361559 HAS SOPS 40361559 HAS SOUS 30980199 HAS SOUPS 30980199 WITH SCORE 3.1020560559E7
AT ITER 884 NEW BEST:: SOT 205123184 SOS 40361797 HAS SOPS 40361797 HAS SOUS 30979576 HAS SOUPS 30979576 WITH SCORE 3.1019937797E7
AT ITER 921 NEW BEST:: SOT 205123317 SOS 40361114 HAS SOPS 40361114 HAS SOUS 30978893 HAS SOUPS 30978893 WITH SCORE 3.1019254114E7
AT ITER 930 NEW BEST:: SOT 205123215 SOS 40359036 HAS SOPS 40359036 HAS SOUS 30977804 HAS SOUPS 30977804 WITH SCORE 3.1018163036E7
AT ITER 973 NEW BEST:: SOT 205123924 SOS 40359327 HAS SOPS 40359327 HAS SOUS 30977386 HAS SOUPS 30977386 WITH SCORE 3.1017745327E7
AT ITER 980 NEW BEST:: SOT 205121324 SOS 40356723 HAS SOPS 40356723 HAS SOUS 30974785 HAS SOUPS 30974785 WITH SCORE 3.1015141723E7
AT ITER 985 NEW BEST:: SOT 205119515 SOS 40354914 HAS SOPS 40354914 HAS SOUS 30972976 HAS SOUPS 30972976 WITH SCORE 3.1013330914E7
AT ITER 1005 NEW BEST:: SOT 205119107 SOS 40354098 HAS SOPS 40354098 HAS SOUS 30972160 HAS SOUPS 30972160 WITH SCORE 3.1012514098E7
AT ITER 1012 NEW BEST:: SOT 205119107 SOS 40353325 HAS SOPS 40353325 HAS SOUS 30972160 HAS SOUPS 30972160 WITH SCORE 3.1012513325E7
AT ITER 1043 NEW BEST:: SOT 205115524 SOS 40346159 HAS SOPS 40346159 HAS SOUS 30965084 HAS SOUPS 30965084 WITH SCORE 3.1005430159E7
AT ITER 1077 NEW BEST:: SOT 205115524 SOS 40347022 HAS SOPS 40347022 HAS SOUS 30965083 HAS SOUPS 30965083 WITH SCORE 3.1005430022E7
AT ITER 1170 NEW BEST:: SOT 205111974 SOS 40339922 HAS SOPS 40339922 HAS SOUS 30958152 HAS SOUPS 30958152 WITH SCORE 3.0998491922E7
AT ITER 1184 NEW BEST:: SOT 205112183 SOS 40337892 HAS SOPS 40337892 HAS SOUS 30957241 HAS SOUPS 30957241 WITH SCORE 3.0997578892E7
AT ITER 1193 NEW BEST:: SOT 205110835 SOS 40337218 HAS SOPS 40337218 HAS SOUS 30956567 HAS SOUPS 30956567 WITH SCORE 3.0996904218E7
AT ITER 1197 NEW BEST:: SOT 205097679 SOS 40327650 HAS SOPS 40327650 HAS SOUS 30946999 HAS SOUPS 30946999 WITH SCORE 3.098732665E7
AT ITER 1215 NEW BEST:: SOT 205093811 SOS 40325716 HAS SOPS 40325716 HAS SOUS 30945065 HAS SOUPS 30945065 WITH SCORE 3.0985390716E7
AT ITER 1226 NEW BEST:: SOT 205093999 SOS 40326092 HAS SOPS 40326092 HAS SOUS 30944321 HAS SOUPS 30944321 WITH SCORE 3.0984647092E7
AT ITER 1253 NEW BEST:: SOT 205091456 SOS 40324177 HAS SOPS 40324177 HAS SOUS 30938923 HAS SOUPS 30938923 WITH SCORE 3.0979247177E7
AT ITER 1296 NEW BEST:: SOT 205074228 SOS 40370488 HAS SOPS 40370488 HAS SOUS 30936515 HAS SOUPS 30936515 WITH SCORE 3.0976885488E7
AT ITER 1298 NEW BEST:: SOT 205072660 SOS 40367352 HAS SOPS 40367352 HAS SOUS 30933379 HAS SOUPS 30933379 WITH SCORE 3.0973746352E7
AT ITER 1313 NEW BEST:: SOT 205064311 SOS 40355870 HAS SOPS 40355870 HAS SOUS 30921112 HAS SOUPS 30921112 WITH SCORE 3.096146787E7
AT ITER 1342 NEW BEST:: SOT 205064367 SOS 40355982 HAS SOPS 40355982 HAS SOUS 30920090 HAS SOUPS 30920090 WITH SCORE 3.0960445982E7
AT ITER 1347 NEW BEST:: SOT 205063013 SOS 40354624 HAS SOPS 40354624 HAS SOUS 30918735 HAS SOUPS 30918735 WITH SCORE 3.0959089624E7
AT ITER 1354 NEW BEST:: SOT 205062802 SOS 40354202 HAS SOPS 40354202 HAS SOUS 30918313 HAS SOUPS 30918313 WITH SCORE 3.0958667202E7
AT ITER 1408 NEW BEST:: SOT 205060766 SOS 40351705 HAS SOPS 40351705 HAS SOUS 30915258 HAS SOUPS 30915258 WITH SCORE 3.0955609705E7
AT ITER 1410 NEW BEST:: SOT 205057923 SOS 40348858 HAS SOPS 40348858 HAS SOUS 30912414 HAS SOUPS 30912414 WITH SCORE 3.0952762858E7
AT ITER 1446 NEW BEST:: SOT 205057489 SOS 40348641 HAS SOPS 40348641 HAS SOUS 30912197 HAS SOUPS 30912197 WITH SCORE 3.0952545641E7
AT ITER 1456 NEW BEST:: SOT 205055775 SOS 40347784 HAS SOPS 40347784 HAS SOUS 30911340 HAS SOUPS 30911340 WITH SCORE 3.0951687784E7
AT ITER 1475 NEW BEST:: SOT 205055525 SOS 40347284 HAS SOPS 40347284 HAS SOUS 30910840 HAS SOUPS 30910840 WITH SCORE 3.0951187284E7
AT ITER 1484 NEW BEST:: SOT 205051963 SOS 40347924 HAS SOPS 40347924 HAS SOUS 30910291 HAS SOUPS 30910291 WITH SCORE 3.0950638924E7
AT ITER 1494 NEW BEST:: SOT 205050887 SOS 40346848 HAS SOPS 40346848 HAS SOUS 30910291 HAS SOUPS 30910291 WITH SCORE 3.0950637848E7
AT ITER 1497 NEW BEST:: SOT 205045967 SOS 40347311 HAS SOPS 40347311 HAS SOUS 30908675 HAS SOUPS 30908675 WITH SCORE 3.0949022311E7
AT ITER 1498 NEW BEST:: SOT 205043914 SOS 40347199 HAS SOPS 40347199 HAS SOUS 30908502 HAS SOUPS 30908502 WITH SCORE 3.0948849199E7
AT ITER 1506 NEW BEST:: SOT 205041477 SOS 40345377 HAS SOPS 40345377 HAS SOUS 30906374 HAS SOUPS 30906374 WITH SCORE 3.0946719377E7
AT ITER 1518 NEW BEST:: SOT 205037090 SOS 40346398 HAS SOPS 40346398 HAS SOUS 30906185 HAS SOUPS 30906185 WITH SCORE 3.0946531398E7
AT ITER 1565 NEW BEST:: SOT 205036943 SOS 40346104 HAS SOPS 40346104 HAS SOUS 30905891 HAS SOUPS 30905891 WITH SCORE 3.0946237104E7
AT ITER 1567 NEW BEST:: SOT 205036943 SOS 40344586 HAS SOPS 40344586 HAS SOUS 30905891 HAS SOUPS 30905891 WITH SCORE 3.0946235586E7
AT ITER 1590 NEW BEST:: SOT 205037270 SOS 40345240 HAS SOPS 40345240 HAS SOUS 30905187 HAS SOUPS 30905187 WITH SCORE 3.094553224E7
AT ITER 1604 NEW BEST:: SOT 205034859 SOS 40340758 HAS SOPS 40340758 HAS SOUS 30900705 HAS SOUPS 30900705 WITH SCORE 3.0941045758E7
AT ITER 1610 NEW BEST:: SOT 205034859 SOS 40340758 HAS SOPS 40340758 HAS SOUS 30899305 HAS SOUPS 30899305 WITH SCORE 3.0939645758E7
AT ITER 1615 NEW BEST:: SOT 205032868 SOS 40338767 HAS SOPS 40338767 HAS SOUS 30897314 HAS SOUPS 30897314 WITH SCORE 3.0937652767E7
AT ITER 1684 NEW BEST:: SOT 205032407 SOS 40338306 HAS SOPS 40338306 HAS SOUS 30896392 HAS SOUPS 30896392 WITH SCORE 3.0936730306E7
AT ITER 1686 NEW BEST:: SOT 205032407 SOS 40332015 HAS SOPS 40332015 HAS SOUS 30894295 HAS SOUPS 30894295 WITH SCORE 3.0934627015E7
AT ITER 1703 NEW BEST:: SOT 205030770 SOS 40330374 HAS SOPS 40330374 HAS SOUS 30892657 HAS SOUPS 30892657 WITH SCORE 3.0932987374E7
AT ITER 1718 NEW BEST:: SOT 205030290 SOS 40331326 HAS SOPS 40331326 HAS SOUS 30892175 HAS SOUPS 30892175 WITH SCORE 3.0932506326E7
AT ITER 1724 NEW BEST:: SOT 205029547 SOS 40329841 HAS SOPS 40329841 HAS SOUS 30890690 HAS SOUPS 30890690 WITH SCORE 3.0931019841E7
AT ITER 1729 NEW BEST:: SOT 205028977 SOS 40329730 HAS SOPS 40329730 HAS SOUS 30889550 HAS SOUPS 30889550 WITH SCORE 3.092987973E7
AT ITER 1753 NEW BEST:: SOT 205028012 SOS 40328765 HAS SOPS 40328765 HAS SOUS 30888585 HAS SOUPS 30888585 WITH SCORE 3.0928913765E7
AT ITER 1761 NEW BEST:: SOT 205027135 SOS 40327011 HAS SOPS 40327011 HAS SOUS 30886831 HAS SOUPS 30886831 WITH SCORE 3.0927158011E7
AT ITER 1786 NEW BEST:: SOT 205027135 SOS 40325464 HAS SOPS 40325464 HAS SOUS 30886831 HAS SOUPS 30886831 WITH SCORE 3.0927156464E7
AT ITER 1787 NEW BEST:: SOT 205023023 SOS 40323762 HAS SOPS 40323762 HAS SOUS 30884893 HAS SOUPS 30884893 WITH SCORE 3.0925216762E7
AT ITER 1800 NEW BEST:: SOT 204999235 SOS 40325877 HAS SOPS 40325877 HAS SOUS 30872032 HAS SOUPS 30872032 WITH SCORE 3.0912357877E7
AT ITER 1803 NEW BEST:: SOT 204999235 SOS 40323999 HAS SOPS 40323999 HAS SOUS 30872032 HAS SOUPS 30872032 WITH SCORE 3.0912355999E7
AT ITER 1812 NEW BEST:: SOT 204997585 SOS 40323174 HAS SOPS 40323174 HAS SOUS 30871207 HAS SOUPS 30871207 WITH SCORE 3.0911530174E7
AT ITER 1816 NEW BEST:: SOT 204997278 SOS 40322560 HAS SOPS 40322560 HAS SOUS 30870593 HAS SOUPS 30870593 WITH SCORE 3.091091556E7
AT ITER 1832 NEW BEST:: SOT 204997144 SOS 40322292 HAS SOPS 40322292 HAS SOUS 30869352 HAS SOUPS 30869352 WITH SCORE 3.0909674292E7
AT ITER 1839 NEW BEST:: SOT 204994622 SOS 40317248 HAS SOPS 40317248 HAS SOUS 30866933 HAS SOUPS 30866933 WITH SCORE 3.0907250248E7
AT ITER 1907 NEW BEST:: SOT 204995433 SOS 40314542 HAS SOPS 40314542 HAS SOUS 30866391 HAS SOUPS 30866391 WITH SCORE 3.0906705542E7
AT ITER 1942 NEW BEST:: SOT 204994510 SOS 40312697 HAS SOPS 40312697 HAS SOUS 30864546 HAS SOUPS 30864546 WITH SCORE 3.0904858697E7
AT ITER 1951 NEW BEST:: SOT 204993191 SOS 40311374 HAS SOPS 40311374 HAS SOUS 30863226 HAS SOUPS 30863226 WITH SCORE 3.0903537374E7
AT ITER 2004 NEW BEST:: SOT 204993328 SOS 40306125 HAS SOPS 40306125 HAS SOUS 30861659 HAS SOUPS 30861659 WITH SCORE 3.0901965125E7
AT ITER 2007 NEW BEST:: SOT 204991123 SOS 40304852 HAS SOPS 40304852 HAS SOUS 30860386 HAS SOUPS 30860386 WITH SCORE 3.0900690852E7
AT ITER 2044 NEW BEST:: SOT 204990455 SOS 40303517 HAS SOPS 40303517 HAS SOUS 30859843 HAS SOUPS 30859843 WITH SCORE 3.0900146517E7
AT ITER 2046 NEW BEST:: SOT 204989853 SOS 40302921 HAS SOPS 40302921 HAS SOUS 30859247 HAS SOUPS 30859247 WITH SCORE 3.0899549921E7
AT ITER 2052 NEW BEST:: SOT 204989433 SOS 40302081 HAS SOPS 40302081 HAS SOUS 30858827 HAS SOUPS 30858827 WITH SCORE 3.0899129081E7
AT ITER 2064 NEW BEST:: SOT 204986744 SOS 40288636 HAS SOPS 40288636 HAS SOUS 30853449 HAS SOUPS 30853449 WITH SCORE 3.0893737636E7
AT ITER 2089 NEW BEST:: SOT 204985906 SOS 40286961 HAS SOPS 40286961 HAS SOUS 30851774 HAS SOUPS 30851774 WITH SCORE 3.0892060961E7
AT ITER 2097 NEW BEST:: SOT 204985410 SOS 40286465 HAS SOPS 40286465 HAS SOUS 30850782 HAS SOUPS 30850782 WITH SCORE 3.0891068465E7
AT ITER 2099 NEW BEST:: SOT 204985391 SOS 40287870 HAS SOPS 40287870 HAS SOUS 30850743 HAS SOUPS 30850743 WITH SCORE 3.089103087E7
AT ITER 2103 NEW BEST:: SOT 204963882 SOS 40300314 HAS SOPS 40300314 HAS SOUS 30840139 HAS SOUPS 30840139 WITH SCORE 3.0880439314E7
AT ITER 2111 NEW BEST:: SOT 204963881 SOS 40300312 HAS SOPS 40300312 HAS SOUS 30840137 HAS SOUPS 30840137 WITH SCORE 3.0880437312E7
AT ITER 2117 NEW BEST:: SOT 204961559 SOS 40297990 HAS SOPS 40297990 HAS SOUS 30837815 HAS SOUPS 30837815 WITH SCORE 3.087811299E7
AT ITER 2139 NEW BEST:: SOT 204960851 SOS 40296928 HAS SOPS 40296928 HAS SOUS 30836753 HAS SOUPS 30836753 WITH SCORE 3.0877049928E7
AT ITER 2187 NEW BEST:: SOT 204959701 SOS 40296928 HAS SOPS 40296928 HAS SOUS 30836178 HAS SOUPS 30836178 WITH SCORE 3.0876474928E7
AT ITER 2205 NEW BEST:: SOT 204959626 SOS 40296928 HAS SOPS 40296928 HAS SOUS 30836103 HAS SOUPS 30836103 WITH SCORE 3.0876399928E7
AT ITER 2269 NEW BEST:: SOT 204959247 SOS 40296549 HAS SOPS 40296549 HAS SOUS 30835724 HAS SOUPS 30835724 WITH SCORE 3.0876020549E7
AT ITER 2283 NEW BEST:: SOT 204958938 SOS 40296854 HAS SOPS 40296854 HAS SOUS 30835723 HAS SOUPS 30835723 WITH SCORE 3.0876019854E7
AT ITER 2308 NEW BEST:: SOT 204958155 SOS 40296851 HAS SOPS 40296851 HAS SOUS 30835717 HAS SOUPS 30835717 WITH SCORE 3.0876013851E7
AT ITER 2344 NEW BEST:: SOT 204957215 SOS 40296381 HAS SOPS 40296381 HAS SOUS 30835247 HAS SOUPS 30835247 WITH SCORE 3.0875543381E7
AT ITER 2392 NEW BEST:: SOT 204956812 SOS 40295978 HAS SOPS 40295978 HAS SOUS 30834844 HAS SOUPS 30834844 WITH SCORE 3.0875139978E7
AT ITER 2406 NEW BEST:: SOT 204955809 SOS 40295925 HAS SOPS 40295925 HAS SOUS 30834492 HAS SOUPS 30834492 WITH SCORE 3.0874787925E7
AT ITER 2407 NEW BEST:: SOT 204955809 SOS 40294840 HAS SOPS 40294840 HAS SOUS 30833407 HAS SOUPS 30833407 WITH SCORE 3.087370184E7
AT ITER 2427 NEW BEST:: SOT 204954501 SOS 40292224 HAS SOPS 40292224 HAS SOUS 30830791 HAS SOUPS 30830791 WITH SCORE 3.0871083224E7
AT ITER 2442 NEW BEST:: SOT 204952992 SOS 40290711 HAS SOPS 40290711 HAS SOUS 30829281 HAS SOUPS 30829281 WITH SCORE 3.0869571711E7
AT ITER 2460 NEW BEST:: SOT 204952992 SOS 40290711 HAS SOPS 40290711 HAS SOUS 30829274 HAS SOUPS 30829274 WITH SCORE 3.0869564711E7
AT ITER 2463 NEW BEST:: SOT 204950858 SOS 40286443 HAS SOPS 40286443 HAS SOUS 30825006 HAS SOUPS 30825006 WITH SCORE 3.0865292443E7
AT ITER 2473 NEW BEST:: SOT 204950858 SOS 40285089 HAS SOPS 40285089 HAS SOUS 30824329 HAS SOUPS 30824329 WITH SCORE 3.0864614089E7
AT ITER 2510 NEW BEST:: SOT 204948991 SOS 40283725 HAS SOPS 40283725 HAS SOUS 30822726 HAS SOUPS 30822726 WITH SCORE 3.0863009725E7
AT ITER 2511 NEW BEST:: SOT 204946674 SOS 40281408 HAS SOPS 40281408 HAS SOUS 30818092 HAS SOUPS 30818092 WITH SCORE 3.0858373408E7
AT ITER 2513 NEW BEST:: SOT 204946294 SOS 40280648 HAS SOPS 40280648 HAS SOUS 30817332 HAS SOUPS 30817332 WITH SCORE 3.0857612648E7
AT ITER 2534 NEW BEST:: SOT 204944578 SOS 40278932 HAS SOPS 40278932 HAS SOUS 30815616 HAS SOUPS 30815616 WITH SCORE 3.0855894932E7
AT ITER 2557 NEW BEST:: SOT 204944008 SOS 40277793 HAS SOPS 40277793 HAS SOUS 30814477 HAS SOUPS 30814477 WITH SCORE 3.0854754793E7
AT ITER 2559 NEW BEST:: SOT 204942482 SOS 40264519 HAS SOPS 40264519 HAS SOUS 30807628 HAS SOUPS 30807628 WITH SCORE 3.0847892519E7
AT ITER 2563 NEW BEST:: SOT 204939779 SOS 40263466 HAS SOPS 40263466 HAS SOUS 30806575 HAS SOUPS 30806575 WITH SCORE 3.0846838466E7
AT ITER 2580 NEW BEST:: SOT 204938497 SOS 40266020 HAS SOPS 40266020 HAS SOUS 30805293 HAS SOUPS 30805293 WITH SCORE 3.084555902E7
AT ITER 2605 NEW BEST:: SOT 204938479 SOS 40274083 HAS SOPS 40274083 HAS SOUS 30805256 HAS SOUPS 30805256 WITH SCORE 3.0845530083E7
AT ITER 2667 NEW BEST:: SOT 204918584 SOS 40305214 HAS SOPS 40305214 HAS SOUS 30798189 HAS SOUPS 30798189 WITH SCORE 3.0838494214E7
AT ITER 2670 NEW BEST:: SOT 204919006 SOS 40310419 HAS SOPS 40310419 HAS SOUS 30797577 HAS SOUPS 30797577 WITH SCORE 3.0837887419E7
AT ITER 2709 NEW BEST:: SOT 204919005 SOS 40310417 HAS SOPS 40310417 HAS SOUS 30797575 HAS SOUPS 30797575 WITH SCORE 3.0837885417E7
AT ITER 2710 NEW BEST:: SOT 204919655 SOS 40311717 HAS SOPS 40311717 HAS SOUS 30796627 HAS SOUPS 30796627 WITH SCORE 3.0836938717E7
AT ITER 2724 NEW BEST:: SOT 204918054 SOS 40311152 HAS SOPS 40311152 HAS SOUS 30795423 HAS SOUPS 30795423 WITH SCORE 3.0835734152E7
AT ITER 2725 NEW BEST:: SOT 204919790 SOS 40314624 HAS SOPS 40314624 HAS SOUS 30795238 HAS SOUPS 30795238 WITH SCORE 3.0835552624E7
AT ITER 2732 NEW BEST:: SOT 204918701 SOS 40314229 HAS SOPS 40314229 HAS SOUS 30794846 HAS SOUPS 30794846 WITH SCORE 3.0835160229E7
AT ITER 2737 NEW BEST:: SOT 204917954 SOS 40312736 HAS SOPS 40312736 HAS SOUS 30793353 HAS SOUPS 30793353 WITH SCORE 3.0833665736E7
AT ITER 2744 NEW BEST:: SOT 204917953 SOS 40312734 HAS SOPS 40312734 HAS SOUS 30793351 HAS SOUPS 30793351 WITH SCORE 3.0833663734E7
AT ITER 2792 NEW BEST:: SOT 204917261 SOS 40311696 HAS SOPS 40311696 HAS SOUS 30792659 HAS SOUPS 30792659 WITH SCORE 3.0832970696E7
AT ITER 2795 NEW BEST:: SOT 204916476 SOS 40310564 HAS SOPS 40310564 HAS SOUS 30791436 HAS SOUPS 30791436 WITH SCORE 3.0831746564E7
AT ITER 2804 NEW BEST:: SOT 204912943 SOS 40311401 HAS SOPS 40311401 HAS SOUS 30789134 HAS SOUPS 30789134 WITH SCORE 3.0829445401E7
AT ITER 2838 NEW BEST:: SOT 204913416 SOS 40312347 HAS SOPS 40312347 HAS SOUS 30788571 HAS SOUPS 30788571 WITH SCORE 3.0828883347E7
AT ITER 2887 NEW BEST:: SOT 204910946 SOS 40309912 HAS SOPS 40309912 HAS SOUS 30786101 HAS SOUPS 30786101 WITH SCORE 3.0826410912E7
AT ITER 2899 NEW BEST:: SOT 204910801 SOS 40310917 HAS SOPS 40310917 HAS SOUS 30785810 HAS SOUPS 30785810 WITH SCORE 3.0826120917E7
AT ITER 2900 NEW BEST:: SOT 204910801 SOS 40309201 HAS SOPS 40309201 HAS SOUS 30785619 HAS SOUPS 30785619 WITH SCORE 3.0825928201E7
AT ITER 2907 NEW BEST:: SOT 204910801 SOS 40309113 HAS SOPS 40309113 HAS SOUS 30785575 HAS SOUPS 30785575 WITH SCORE 3.0825884113E7
AT ITER 2950 NEW BEST:: SOT 204909447 SOS 40308436 HAS SOPS 40308436 HAS SOUS 30784898 HAS SOUPS 30784898 WITH SCORE 3.0825206436E7
AT ITER 2958 NEW BEST:: SOT 204909967 SOS 40309476 HAS SOPS 40309476 HAS SOUS 30781998 HAS SOUPS 30781998 WITH SCORE 3.0822307476E7
AT ITER 2959 NEW BEST:: SOT 204909943 SOS 40309428 HAS SOPS 40309428 HAS SOUS 30781950 HAS SOUPS 30781950 WITH SCORE 3.0822259428E7
AT ITER 2966 NEW BEST:: SOT 204909943 SOS 40309428 HAS SOPS 40309428 HAS SOUS 30781728 HAS SOUPS 30781728 WITH SCORE 3.0822037428E7
AT ITER 2973 NEW BEST:: SOT 204909520 SOS 40309425 HAS SOPS 40309425 HAS SOUS 30781722 HAS SOUPS 30781722 WITH SCORE 3.0822031425E7
AT ITER 2999 NEW BEST:: SOT 204909520 SOS 40308993 HAS SOPS 40308993 HAS SOUS 30781506 HAS SOUPS 30781506 WITH SCORE 3.0821814993E7
AT ITER 3000 NEW BEST:: SOT 204905664 SOS 40305137 HAS SOPS 40305137 HAS SOUS 30777650 HAS SOUPS 30777650 WITH SCORE 3.0817955137E7
AT ITER 3021 NEW BEST:: SOT 204904671 SOS 40304144 HAS SOPS 40304144 HAS SOUS 30776657 HAS SOUPS 30776657 WITH SCORE 3.0816961144E7
AT ITER 3037 NEW BEST:: SOT 204904096 SOS 40303611 HAS SOPS 40303611 HAS SOUS 30776124 HAS SOUPS 30776124 WITH SCORE 3.0816427611E7
AT ITER 3045 NEW BEST:: SOT 204902751 SOS 40300921 HAS SOPS 40300921 HAS SOUS 30774779 HAS SOUPS 30774779 WITH SCORE 3.0815079921E7
AT ITER 3046 NEW BEST:: SOT 204901057 SOS 40297533 HAS SOPS 40297533 HAS SOUS 30771391 HAS SOUPS 30771391 WITH SCORE 3.0811688533E7
AT ITER 3080 NEW BEST:: SOT 204899429 SOS 40295905 HAS SOPS 40295905 HAS SOUS 30769763 HAS SOUPS 30769763 WITH SCORE 3.0810058905E7
AT ITER 3116 NEW BEST:: SOT 204883158 SOS 40308134 HAS SOPS 40308134 HAS SOUS 30763837 HAS SOUPS 30763837 WITH SCORE 3.0804145134E7
AT ITER 3117 NEW BEST:: SOT 204880495 SOS 40305467 HAS SOPS 40305467 HAS SOUS 30761173 HAS SOUPS 30761173 WITH SCORE 3.0801478467E7
AT ITER 3152 NEW BEST:: SOT 204880495 SOS 40305467 HAS SOPS 40305467 HAS SOUS 30760648 HAS SOUPS 30760648 WITH SCORE 3.0800953467E7
AT ITER 3153 NEW BEST:: SOT 204880179 SOS 40304835 HAS SOPS 40304835 HAS SOUS 30760016 HAS SOUPS 30760016 WITH SCORE 3.0800320835E7
AT ITER 3160 NEW BEST:: SOT 204879219 SOS 40303875 HAS SOPS 40303875 HAS SOUS 30759056 HAS SOUPS 30759056 WITH SCORE 3.0799359875E7
AT ITER 3166 NEW BEST:: SOT 204879219 SOS 40303875 HAS SOPS 40303875 HAS SOUS 30755968 HAS SOUPS 30755968 WITH SCORE 3.0796271875E7
AT ITER 3170 NEW BEST:: SOT 204879267 SOS 40303971 HAS SOPS 40303971 HAS SOUS 30755011 HAS SOUPS 30755011 WITH SCORE 3.0795314971E7
AT ITER 3183 NEW BEST:: SOT 204878111 SOS 40301659 HAS SOPS 40301659 HAS SOUS 30752699 HAS SOUPS 30752699 WITH SCORE 3.0793000659E7
AT ITER 3186 NEW BEST:: SOT 204878111 SOS 40301340 HAS SOPS 40301340 HAS SOUS 30752380 HAS SOUPS 30752380 WITH SCORE 3.079268134E7
AT ITER 3213 NEW BEST:: SOT 204880018 SOS 40298786 HAS SOPS 40298786 HAS SOUS 30751103 HAS SOUPS 30751103 WITH SCORE 3.0791401786E7
AT ITER 3235 NEW BEST:: SOT 204877504 SOS 40293758 HAS SOPS 40293758 HAS SOUS 30746075 HAS SOUPS 30746075 WITH SCORE 3.0786368758E7
AT ITER 3236 NEW BEST:: SOT 204876225 SOS 40292969 HAS SOPS 40292969 HAS SOUS 30745286 HAS SOUPS 30745286 WITH SCORE 3.0785578969E7
AT ITER 3239 NEW BEST:: SOT 204875678 SOS 40291876 HAS SOPS 40291876 HAS SOUS 30744193 HAS SOUPS 30744193 WITH SCORE 3.0784484876E7
AT ITER 3252 NEW BEST:: SOT 204875600 SOS 40291720 HAS SOPS 40291720 HAS SOUS 30744037 HAS SOUPS 30744037 WITH SCORE 3.078432872E7
AT ITER 3257 NEW BEST:: SOT 204871903 SOS 40291166 HAS SOPS 40291166 HAS SOUS 30742620 HAS SOUPS 30742620 WITH SCORE 3.0782911166E7
AT ITER 3260 NEW BEST:: SOT 204871903 SOS 40289692 HAS SOPS 40289692 HAS SOUS 30742620 HAS SOUPS 30742620 WITH SCORE 3.0782909692E7
AT ITER 3288 NEW BEST:: SOT 204868918 SOS 40286703 HAS SOPS 40286703 HAS SOUS 30739634 HAS SOUPS 30739634 WITH SCORE 3.0779920703E7
AT ITER 3316 NEW BEST:: SOT 204867670 SOS 40285717 HAS SOPS 40285717 HAS SOUS 30738648 HAS SOUPS 30738648 WITH SCORE 3.0778933717E7
AT ITER 3330 NEW BEST:: SOT 204865470 SOS 40283513 HAS SOPS 40283513 HAS SOUS 30736447 HAS SOUPS 30736447 WITH SCORE 3.0776730513E7
AT ITER 3331 NEW BEST:: SOT 204862439 SOS 40280478 HAS SOPS 40280478 HAS SOUS 30733415 HAS SOUPS 30733415 WITH SCORE 3.0773695478E7
AT ITER 3357 NEW BEST:: SOT 204862438 SOS 40280476 HAS SOPS 40280476 HAS SOUS 30733413 HAS SOUPS 30733413 WITH SCORE 3.0773693476E7
AT ITER 3372 NEW BEST:: SOT 204860560 SOS 40278598 HAS SOPS 40278598 HAS SOUS 30731535 HAS SOUPS 30731535 WITH SCORE 3.0771813598E7
AT ITER 3433 NEW BEST:: SOT 204858240 SOS 40276278 HAS SOPS 40276278 HAS SOUS 30729215 HAS SOUPS 30729215 WITH SCORE 3.0769491278E7
AT ITER 3449 NEW BEST:: SOT 204855207 SOS 40261113 HAS SOPS 40261113 HAS SOUS 30723149 HAS SOUPS 30723149 WITH SCORE 3.0763410113E7
AT ITER 3459 NEW BEST:: SOT 204854664 SOS 40263120 HAS SOPS 40263120 HAS SOUS 30722606 HAS SOUPS 30722606 WITH SCORE 3.076286912E7
AT ITER 3470 NEW BEST:: SOT 204854664 SOS 40262690 HAS SOPS 40262690 HAS SOUS 30722606 HAS SOUPS 30722606 WITH SCORE 3.076286869E7
AT ITER 3502 NEW BEST:: SOT 204854135 SOS 40261633 HAS SOPS 40261633 HAS SOUS 30721549 HAS SOUPS 30721549 WITH SCORE 3.0761810633E7
AT ITER 3510 NEW BEST:: SOT 204854135 SOS 40260725 HAS SOPS 40260725 HAS SOUS 30721549 HAS SOUPS 30721549 WITH SCORE 3.0761809725E7
AT ITER 3511 NEW BEST:: SOT 204854652 SOS 40261759 HAS SOPS 40261759 HAS SOUS 30721510 HAS SOUPS 30721510 WITH SCORE 3.0761771759E7
AT ITER 3524 NEW BEST:: SOT 204851862 SOS 40260364 HAS SOPS 40260364 HAS SOUS 30720115 HAS SOUPS 30720115 WITH SCORE 3.0760375364E7
AT ITER 3525 NEW BEST:: SOT 204850251 SOS 40257142 HAS SOPS 40257142 HAS SOUS 30716893 HAS SOUPS 30716893 WITH SCORE 3.0757150142E7
AT ITER 3573 NEW BEST:: SOT 204848992 SOS 40257138 HAS SOPS 40257138 HAS SOUS 30716892 HAS SOUPS 30716892 WITH SCORE 3.0757149138E7
AT ITER 3577 NEW BEST:: SOT 204835150 SOS 40252708 HAS SOPS 40252708 HAS SOUS 30708412 HAS SOUPS 30708412 WITH SCORE 3.0748664708E7
AT ITER 3593 NEW BEST:: SOT 204832306 SOS 40251286 HAS SOPS 40251286 HAS SOUS 30706990 HAS SOUPS 30706990 WITH SCORE 3.0747241286E7
AT ITER 3599 NEW BEST:: SOT 204829905 SOS 40248881 HAS SOPS 40248881 HAS SOUS 30704588 HAS SOUPS 30704588 WITH SCORE 3.0744836881E7
AT ITER 3603 NEW BEST:: SOT 204826801 SOS 40242673 HAS SOPS 40242673 HAS SOUS 30698380 HAS SOUPS 30698380 WITH SCORE 3.0738622673E7
AT ITER 3639 NEW BEST:: SOT 204826801 SOS 40241881 HAS SOPS 40241881 HAS SOUS 30698380 HAS SOUPS 30698380 WITH SCORE 3.0738621881E7
AT ITER 3662 NEW BEST:: SOT 204826303 SOS 40239889 HAS SOPS 40239889 HAS SOUS 30697384 HAS SOUPS 30697384 WITH SCORE 3.0737623889E7
AT ITER 3672 NEW BEST:: SOT 204825987 SOS 40239257 HAS SOPS 40239257 HAS SOUS 30696752 HAS SOUPS 30696752 WITH SCORE 3.0736991257E7
AT ITER 3710 NEW BEST:: SOT 204817842 SOS 40224063 HAS SOPS 40224063 HAS SOUS 30688211 HAS SOUPS 30688211 WITH SCORE 3.0728435063E7
AT ITER 3718 NEW BEST:: SOT 204817253 SOS 40222885 HAS SOPS 40222885 HAS SOUS 30687621 HAS SOUPS 30687621 WITH SCORE 3.0727843885E7
AT ITER 3722 NEW BEST:: SOT 204817253 SOS 40222885 HAS SOPS 40222885 HAS SOUS 30687620 HAS SOUPS 30687620 WITH SCORE 3.0727842885E7
AT ITER 3821 NEW BEST:: SOT 204814849 SOS 40220477 HAS SOPS 40220477 HAS SOUS 30685215 HAS SOUPS 30685215 WITH SCORE 3.0725435477E7
AT ITER 3824 NEW BEST:: SOT 204811476 SOS 40226253 HAS SOPS 40226253 HAS SOUS 30684344 HAS SOUPS 30684344 WITH SCORE 3.0724570253E7
AT ITER 3832 NEW BEST:: SOT 204797836 SOS 40216333 HAS SOPS 40216333 HAS SOUS 30674424 HAS SOUPS 30674424 WITH SCORE 3.0714640333E7
AT ITER 3895 NEW BEST:: SOT 204796781 SOS 40244462 HAS SOPS 40244462 HAS SOUS 30672313 HAS SOUPS 30672313 WITH SCORE 3.0712557462E7
AT ITER 3896 NEW BEST:: SOT 204797636 SOS 40246172 HAS SOPS 40246172 HAS SOUS 30670399 HAS SOUPS 30670399 WITH SCORE 3.0710645172E7
AT ITER 3906 NEW BEST:: SOT 204797636 SOS 40246172 HAS SOPS 40246172 HAS SOUS 30670398 HAS SOUPS 30670398 WITH SCORE 3.0710644172E7
AT ITER 3940 NEW BEST:: SOT 204787747 SOS 40238980 HAS SOPS 40238980 HAS SOUS 30663206 HAS SOUPS 30663206 WITH SCORE 3.070344498E7
AT ITER 3957 NEW BEST:: SOT 204787567 SOS 40238800 HAS SOPS 40238800 HAS SOUS 30663206 HAS SOUPS 30663206 WITH SCORE 3.07034448E7
AT ITER 3960 NEW BEST:: SOT 204786877 SOS 40238110 HAS SOPS 40238110 HAS SOUS 30662516 HAS SOUPS 30662516 WITH SCORE 3.070275411E7
AT ITER 3965 NEW BEST:: SOT 204786160 SOS 40238053 HAS SOPS 40238053 HAS SOUS 30662258 HAS SOUPS 30662258 WITH SCORE 3.0702496053E7
AT ITER 4027 NEW BEST:: SOT 204706343 SOS 40165812 HAS SOPS 40165812 HAS SOUS 30582563 HAS SOUPS 30582563 WITH SCORE 3.0622728812E7
AT ITER 4043 NEW BEST:: SOT 204706309 SOS 40165744 HAS SOPS 40165744 HAS SOUS 30582495 HAS SOUPS 30582495 WITH SCORE 3.0622660744E7
AT ITER 4045 NEW BEST:: SOT 204706772 SOS 40166053 HAS SOPS 40166053 HAS SOUS 30582340 HAS SOUPS 30582340 WITH SCORE 3.0622506053E7
AT ITER 4046 NEW BEST:: SOT 204702929 SOS 40158367 HAS SOPS 40158367 HAS SOUS 30574654 HAS SOUPS 30574654 WITH SCORE 3.0614812367E7
AT ITER 4070 NEW BEST:: SOT 204700941 SOS 40156375 HAS SOPS 40156375 HAS SOUS 30572665 HAS SOUPS 30572665 WITH SCORE 3.0612821375E7
AT ITER 4077 NEW BEST:: SOT 204700941 SOS 40155734 HAS SOPS 40155734 HAS SOUS 30572665 HAS SOUPS 30572665 WITH SCORE 3.0612820734E7
AT ITER 4089 NEW BEST:: SOT 204696932 SOS 40154241 HAS SOPS 40154241 HAS SOUS 30570831 HAS SOUPS 30570831 WITH SCORE 3.0610985241E7
AT ITER 4105 NEW BEST:: SOT 204679078 SOS 40188716 HAS SOPS 40188716 HAS SOUS 30566920 HAS SOUPS 30566920 WITH SCORE 3.0607108716E7
AT ITER 4125 NEW BEST:: SOT 204679078 SOS 40187483 HAS SOPS 40187483 HAS SOUS 30566920 HAS SOUPS 30566920 WITH SCORE 3.0607107483E7
AT ITER 4128 NEW BEST:: SOT 204679045 SOS 40187417 HAS SOPS 40187417 HAS SOUS 30566887 HAS SOUPS 30566887 WITH SCORE 3.0607074417E7
AT ITER 4129 NEW BEST:: SOT 204675747 SOS 40180821 HAS SOPS 40180821 HAS SOUS 30560291 HAS SOUPS 30560291 WITH SCORE 3.0600471821E7
AT ITER 4141 NEW BEST:: SOT 204674171 SOS 40180983 HAS SOPS 40180983 HAS SOUS 30559623 HAS SOUPS 30559623 WITH SCORE 3.0599803983E7
AT ITER 4179 NEW BEST:: SOT 204673819 SOS 40180103 HAS SOPS 40180103 HAS SOUS 30559271 HAS SOUPS 30559271 WITH SCORE 3.0599451103E7
AT ITER 4180 NEW BEST:: SOT 204673652 SOS 40179769 HAS SOPS 40179769 HAS SOUS 30558937 HAS SOUPS 30558937 WITH SCORE 3.0599116769E7
AT ITER 4187 NEW BEST:: SOT 204672555 SOS 40179765 HAS SOPS 40179765 HAS SOUS 30558936 HAS SOUPS 30558936 WITH SCORE 3.0599115765E7
AT ITER 4195 NEW BEST:: SOT 204671341 SOS 40178719 HAS SOPS 40178719 HAS SOUS 30557890 HAS SOUPS 30557890 WITH SCORE 3.0598068719E7
AT ITER 4204 NEW BEST:: SOT 204668791 SOS 40176169 HAS SOPS 40176169 HAS SOUS 30555340 HAS SOUPS 30555340 WITH SCORE 3.0595516169E7
AT ITER 4216 NEW BEST:: SOT 204665622 SOS 40172996 HAS SOPS 40172996 HAS SOUS 30552170 HAS SOUPS 30552170 WITH SCORE 3.0592342996E7
AT ITER 4231 NEW BEST:: SOT 204664110 SOS 40165436 HAS SOPS 40165436 HAS SOUS 30549146 HAS SOUPS 30549146 WITH SCORE 3.0589311436E7
AT ITER 4233 NEW BEST:: SOT 204661490 SOS 40165632 HAS SOPS 40165632 HAS SOUS 30548338 HAS SOUPS 30548338 WITH SCORE 3.0588503632E7
AT ITER 4264 NEW BEST:: SOT 204661490 SOS 40166855 HAS SOPS 40166855 HAS SOUS 30547928 HAS SOUPS 30547928 WITH SCORE 3.0588094855E7
AT ITER 4302 NEW BEST:: SOT 204659795 SOS 40163465 HAS SOPS 40163465 HAS SOUS 30544538 HAS SOUPS 30544538 WITH SCORE 3.0584701465E7
AT ITER 4337 NEW BEST:: SOT 204659794 SOS 40163463 HAS SOPS 40163463 HAS SOUS 30544536 HAS SOUPS 30544536 WITH SCORE 3.0584699463E7
AT ITER 4354 NEW BEST:: SOT 204659034 SOS 40162699 HAS SOPS 40162699 HAS SOUS 30543775 HAS SOUPS 30543775 WITH SCORE 3.0583937699E7
AT ITER 4361 NEW BEST:: SOT 204659034 SOS 40162504 HAS SOPS 40162504 HAS SOUS 30543775 HAS SOUPS 30543775 WITH SCORE 3.0583937504E7
AT ITER 4370 NEW BEST:: SOT 204658091 SOS 40160619 HAS SOPS 40160619 HAS SOUS 30542335 HAS SOUPS 30542335 WITH SCORE 3.0582495619E7
AT ITER 4397 NEW BEST:: SOT 204658091 SOS 40159671 HAS SOPS 40159671 HAS SOUS 30542335 HAS SOUPS 30542335 WITH SCORE 3.0582494671E7
AT ITER 4403 NEW BEST:: SOT 204655983 SOS 40157559 HAS SOPS 40157559 HAS SOUS 30540226 HAS SOUPS 30540226 WITH SCORE 3.0580383559E7
AT ITER 4424 NEW BEST:: SOT 204654943 SOS 40155479 HAS SOPS 40155479 HAS SOUS 30538146 HAS SOUPS 30538146 WITH SCORE 3.0578301479E7
AT ITER 4451 NEW BEST:: SOT 204653754 SOS 40153101 HAS SOPS 40153101 HAS SOUS 30535768 HAS SOUPS 30535768 WITH SCORE 3.0575921101E7
AT ITER 4456 NEW BEST:: SOT 204652987 SOS 40152334 HAS SOPS 40152334 HAS SOUS 30535001 HAS SOUPS 30535001 WITH SCORE 3.0575153334E7
AT ITER 4463 NEW BEST:: SOT 204650067 SOS 40147950 HAS SOPS 40147950 HAS SOUS 30532080 HAS SOUPS 30532080 WITH SCORE 3.057222795E7
AT ITER 4484 NEW BEST:: SOT 204650317 SOS 40146963 HAS SOPS 40146963 HAS SOUS 30528898 HAS SOUPS 30528898 WITH SCORE 3.0569044963E7
AT ITER 4494 NEW BEST:: SOT 204650317 SOS 40146571 HAS SOPS 40146571 HAS SOUS 30528702 HAS SOUPS 30528702 WITH SCORE 3.0568848571E7
AT ITER 4499 NEW BEST:: SOT 204650315 SOS 40146567 HAS SOPS 40146567 HAS SOUS 30528698 HAS SOUPS 30528698 WITH SCORE 3.0568844567E7
AT ITER 4504 NEW BEST:: SOT 204649842 SOS 40146094 HAS SOPS 40146094 HAS SOUS 30528225 HAS SOUPS 30528225 WITH SCORE 3.0568371094E7
AT ITER 4521 NEW BEST:: SOT 204649842 SOS 40149117 HAS SOPS 40149117 HAS SOUS 30527215 HAS SOUPS 30527215 WITH SCORE 3.0567364117E7
AT ITER 4555 NEW BEST:: SOT 204647902 SOS 40147173 HAS SOPS 40147173 HAS SOUS 30525274 HAS SOUPS 30525274 WITH SCORE 3.0565421173E7
AT ITER 4556 NEW BEST:: SOT 204647908 SOS 40146329 HAS SOPS 40146329 HAS SOUS 30524430 HAS SOUPS 30524430 WITH SCORE 3.0564576329E7
AT ITER 4557 NEW BEST:: SOT 204647907 SOS 40146327 HAS SOPS 40146327 HAS SOUS 30524428 HAS SOUPS 30524428 WITH SCORE 3.0564574327E7
AT ITER 4588 NEW BEST:: SOT 204646124 SOS 40144544 HAS SOPS 40144544 HAS SOUS 30522645 HAS SOUPS 30522645 WITH SCORE 3.0562789544E7
AT ITER 4594 NEW BEST:: SOT 204646122 SOS 40144540 HAS SOPS 40144540 HAS SOUS 30522641 HAS SOUPS 30522641 WITH SCORE 3.056278554E7
AT ITER 4634 NEW BEST:: SOT 204646121 SOS 40144538 HAS SOPS 40144538 HAS SOUS 30522639 HAS SOUPS 30522639 WITH SCORE 3.0562783538E7
AT ITER 4644 NEW BEST:: SOT 204643646 SOS 40141238 HAS SOPS 40141238 HAS SOUS 30521376 HAS SOUPS 30521376 WITH SCORE 3.0561517238E7
AT ITER 4652 NEW BEST:: SOT 204643646 SOS 40141238 HAS SOPS 40141238 HAS SOUS 30521305 HAS SOUPS 30521305 WITH SCORE 3.0561446238E7
AT ITER 4659 NEW BEST:: SOT 204641862 SOS 40139450 HAS SOPS 40139450 HAS SOUS 30519520 HAS SOUPS 30519520 WITH SCORE 3.055965945E7
AT ITER 4704 NEW BEST:: SOT 204641862 SOS 40138427 HAS SOPS 40138427 HAS SOUS 30519520 HAS SOUPS 30519520 WITH SCORE 3.0559658427E7
AT ITER 4709 NEW BEST:: SOT 204639179 SOS 40135740 HAS SOPS 40135740 HAS SOUS 30516836 HAS SOUPS 30516836 WITH SCORE 3.055697174E7
AT ITER 4722 NEW BEST:: SOT 204635162 SOS 40130384 HAS SOPS 40130384 HAS SOUS 30512819 HAS SOUPS 30512819 WITH SCORE 3.0552949384E7
AT ITER 4741 NEW BEST:: SOT 204634981 SOS 40130742 HAS SOPS 40130742 HAS SOUS 30512637 HAS SOUPS 30512637 WITH SCORE 3.0552767742E7
AT ITER 4760 NEW BEST:: SOT 204634349 SOS 40129478 HAS SOPS 40129478 HAS SOUS 30510482 HAS SOUPS 30510482 WITH SCORE 3.0550611478E7
AT ITER 4781 NEW BEST:: SOT 204634112 SOS 40129004 HAS SOPS 40129004 HAS SOUS 30508736 HAS SOUPS 30508736 WITH SCORE 3.0548865004E7
AT ITER 4786 NEW BEST:: SOT 204630128 SOS 40127012 HAS SOPS 40127012 HAS SOUS 30506744 HAS SOUPS 30506744 WITH SCORE 3.0546871012E7
AT ITER 4790 NEW BEST:: SOT 204629016 SOS 40114375 HAS SOPS 40114375 HAS SOUS 30501791 HAS SOUPS 30501791 WITH SCORE 3.0541905375E7
AT ITER 4799 NEW BEST:: SOT 204627731 SOS 40113864 HAS SOPS 40113864 HAS SOUS 30501280 HAS SOUPS 30501280 WITH SCORE 3.0541393864E7
AT ITER 4803 NEW BEST:: SOT 204627542 SOS 40113486 HAS SOPS 40113486 HAS SOUS 30500902 HAS SOUPS 30500902 WITH SCORE 3.0541015486E7
AT ITER 4806 NEW BEST:: SOT 204626607 SOS 40112551 HAS SOPS 40112551 HAS SOUS 30500902 HAS SOUPS 30500902 WITH SCORE 3.0541014551E7
AT ITER 4810 NEW BEST:: SOT 204626607 SOS 40112551 HAS SOPS 40112551 HAS SOUS 30499423 HAS SOUPS 30499423 WITH SCORE 3.0539535551E7
AT ITER 4833 NEW BEST:: SOT 204625691 SOS 40113467 HAS SOPS 40113467 HAS SOUS 30498507 HAS SOUPS 30498507 WITH SCORE 3.0538620467E7
AT ITER 4835 NEW BEST:: SOT 204626236 SOS 40114557 HAS SOPS 40114557 HAS SOUS 30496046 HAS SOUPS 30496046 WITH SCORE 3.0536160557E7
AT ITER 4851 NEW BEST:: SOT 204624566 SOS 40112883 HAS SOPS 40112883 HAS SOUS 30494375 HAS SOUPS 30494375 WITH SCORE 3.0534487883E7
AT ITER 4862 NEW BEST:: SOT 204624566 SOS 40112514 HAS SOPS 40112514 HAS SOUS 30494375 HAS SOUPS 30494375 WITH SCORE 3.0534487514E7
AT ITER 4886 NEW BEST:: SOT 204619694 SOS 40110306 HAS SOPS 40110306 HAS SOUS 30492015 HAS SOUPS 30492015 WITH SCORE 3.0532125306E7
AT ITER 4896 NEW BEST:: SOT 204618964 SOS 40108847 HAS SOPS 40108847 HAS SOUS 30490556 HAS SOUPS 30490556 WITH SCORE 3.0530664847E7
AT ITER 4920 NEW BEST:: SOT 204615415 SOS 40104115 HAS SOPS 40104115 HAS SOUS 30487739 HAS SOUPS 30487739 WITH SCORE 3.0527843115E7
AT ITER 4925 NEW BEST:: SOT 204615210 SOS 40103705 HAS SOPS 40103705 HAS SOUS 30487329 HAS SOUPS 30487329 WITH SCORE 3.0527432705E7
AT ITER 4926 NEW BEST:: SOT 204611718 SOS 40096721 HAS SOPS 40096721 HAS SOUS 30480345 HAS SOUPS 30480345 WITH SCORE 3.0520441721E7
AT ITER 4927 NEW BEST:: SOT 204609059 SOS 40094085 HAS SOPS 40094085 HAS SOUS 30477712 HAS SOUPS 30477712 WITH SCORE 3.0517806085E7
AT ITER 4953 NEW BEST:: SOT 204609058 SOS 40094083 HAS SOPS 40094083 HAS SOUS 30477710 HAS SOUPS 30477710 WITH SCORE 3.0517804083E7
AT ITER 4963 NEW BEST:: SOT 204609058 SOS 40094921 HAS SOPS 40094921 HAS SOUS 30477709 HAS SOUPS 30477709 WITH SCORE 3.0517803921E7
AT ITER 4992 NEW BEST:: SOT 204608034 SOS 40092873 HAS SOPS 40092873 HAS SOUS 30475661 HAS SOUPS 30475661 WITH SCORE 3.0515753873E7
AT ITER 4996 NEW BEST:: SOT 204607147 SOS 40091986 HAS SOPS 40091986 HAS SOUS 30474774 HAS SOUPS 30474774 WITH SCORE 3.0514865986E7
Bounds file is: CTLFireability.xml
PROPERTY: DLCshifumi-PT-4b-CTLFireability-00 (EF( ((potential((tk(P8075)>=1) & (tk(P13352)>=1))))))
PROPERTY: DLCshifumi-PT-4b-CTLFireability-01 ( (EU( ((potential((tk(P3187)>=1)))) , (! (! ((potential((tk(P12581)>=1)))))) )) | ( ( (! (! ( ((potential((tk(P7955)>=1) & (tk(P11772)>=1)))) & ((potential((tk(P2676)>=1)))) ))) | ((potential((tk(P8238)>=1) & (tk(P14192)>=1)))) ) | ( (EF( ( ((potential((tk(P10697)>=1)))) & ((potential((tk(P8069)>=1) & (tk(P12579)>=1)))) ))) & (! ((potential((tk(P8024)>=1))))) ) ) )
PROPERTY: DLCshifumi-PT-4b-CTLFireability-02 (EU( (! (EF( ((potential((tk(P8367)>=1))))))) , (AF( ( ((potential((tk(P14257)>=1)))) & ((potential((tk(P16)>=1)))) ))) ))
PROPERTY: DLCshifumi-PT-4b-CTLFireability-03 ( (AG( (! ((potential((tk(P1543)>=1))))))) | ((potential((tk(P9066)>=1)))) )
PROPERTY: DLCshifumi-PT-4b-CTLFireability-04 (EF( (AU( ((potential((tk(P12206)>=1)))) , ((potential((tk(P7605)>=1)))) ))))
PROPERTY: DLCshifumi-PT-4b-CTLFireability-05 (! ( (! (EF( ( ((potential((tk(P1851)>=1)))) | ((potential((tk(P8095)>=1) & (tk(P12912)>=1)))) )))) | ( ( (EG( ((potential((tk(P3995)>=1)))))) & (AF( ((potential((tk(P7148)>=1) & (tk(P14762)>=1)))))) ) & ( (EG( ((potential((tk(P14664)>=1)))))) & (AF( ((potential((tk(P531)>=1) & (tk(P13489)>=1)))))) ) ) ))
PROPERTY: DLCshifumi-PT-4b-CTLFireability-06 (EG( (EF( (AF( ((potential((tk(P407)>=1))))))))))
PROPERTY: DLCshifumi-PT-4b-CTLFireability-07 (AX( (AG( (EF( ((potential((tk(P10017)>=1))))))))))
PROPERTY: DLCshifumi-PT-4b-CTLFireability-08 (EF( (AG( (EF( ((potential((tk(P7726)>=1) & (tk(P13382)>=1))))))))))
PROPERTY: DLCshifumi-PT-4b-CTLFireability-09 (EF( ( ((potential((tk(P6542)>=1)))) | (EU( ((potential((tk(P12140)>=1)))) , ((potential((tk(P8215)>=1) & (tk(P14092)>=1)))) )) )))
PROPERTY: DLCshifumi-PT-4b-CTLFireability-10 (EG( (EX( ( (! ((potential((tk(P7949)>=1) & (tk(P10539)>=1))))) | ( ((potential((tk(P2375)>=1)))) & ((potential((tk(P4206)>=1)))) ) )))))
PROPERTY: DLCshifumi-PT-4b-CTLFireability-11 (AU( (! (EG( ((potential((tk(P1288)>=1))))))) , ( ((potential((tk(P11543)>=1)))) | (AF( ((potential((tk(P11021)>=1)))))) ) ))
PROPERTY: DLCshifumi-PT-4b-CTLFireability-12 (AU( ( (AF( ((potential((tk(P14073)>=1)))))) | ( (! ((potential((tk(P4403)>=1))))) | (! ((potential((tk(P9403)>=1))))) ) ) , ((potential((tk(P10055)>=1)))) ))
PROPERTY: DLCshifumi-PT-4b-CTLFireability-13 (AG( (AG( (AF( ((potential((tk(P11506)>=1))))))))))
PROPERTY: DLCshifumi-PT-4b-CTLFireability-14 ( ( ( (EU( ((potential((tk(P7992)>=1) & (tk(P10492)>=1)))) , ((potential((tk(P8315)>=1)))) )) & (AF( (! ((potential((tk(P7965)>=1) & (tk(P11812)>=1))))))) ) | (EG( (! ((potential((tk(P10611)>=1))))))) ) | ( ((potential((tk(P9508)>=1)))) | (AF( (AG( ((potential((tk(P11120)>=1)))))))) ) )
PROPERTY: DLCshifumi-PT-4b-CTLFireability-15 (! (AU( (EF( ((potential((tk(P11577)>=1)))))) , (EX( ((potential((tk(P8067)>=1) & (tk(P12959)>=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="DLCshifumi-PT-4b"
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 DLCshifumi-PT-4b, 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 r063-tajo-158922806900044"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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