Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r138-smll-158961502500164.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/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 RERS17pb115-PT-3, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502500164
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 3.1K Apr 12 07:40 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 12 07:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Apr 11 08:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 11 08:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 14 12:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 14 12:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Apr 10 14:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 10 14:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.7K Apr 9 21:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 9 21:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:27 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 10 22:27 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 69M Mar 24 05:38 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 RERS17pb115-PT-3-CTLFireability-00
FORMULA_NAME RERS17pb115-PT-3-CTLFireability-01
FORMULA_NAME RERS17pb115-PT-3-CTLFireability-02
FORMULA_NAME RERS17pb115-PT-3-CTLFireability-03
FORMULA_NAME RERS17pb115-PT-3-CTLFireability-04
FORMULA_NAME RERS17pb115-PT-3-CTLFireability-05
FORMULA_NAME RERS17pb115-PT-3-CTLFireability-06
FORMULA_NAME RERS17pb115-PT-3-CTLFireability-07
FORMULA_NAME RERS17pb115-PT-3-CTLFireability-08
FORMULA_NAME RERS17pb115-PT-3-CTLFireability-09
FORMULA_NAME RERS17pb115-PT-3-CTLFireability-10
FORMULA_NAME RERS17pb115-PT-3-CTLFireability-11
FORMULA_NAME RERS17pb115-PT-3-CTLFireability-12
FORMULA_NAME RERS17pb115-PT-3-CTLFireability-13
FORMULA_NAME RERS17pb115-PT-3-CTLFireability-14
FORMULA_NAME RERS17pb115-PT-3-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589755721952

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb115 (PT), instance 3
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: 1399 places, 144369 transitions, 577414 arcs.
AT ITER 0 NEW BEST:: SOT 123446583 SOS 80238157 HAS SOPS 65217586 HAS SOUS 24077925 HAS SOUPS 23505151 WITH SCORE 2.3585389157E7
AT ITER 8 NEW BEST:: SOT 123447115 SOS 80241021 HAS SOPS 65218856 HAS SOUS 24073623 HAS SOUPS 23500849 WITH SCORE 2.3581090021E7
AT ITER 9 NEW BEST:: SOT 123450408 SOS 80263378 HAS SOPS 65243826 HAS SOUS 24062622 HAS SOUPS 23489848 WITH SCORE 2.3570111378E7
AT ITER 12 NEW BEST:: SOT 123459165 SOS 80282070 HAS SOPS 65260410 HAS SOUS 24061597 HAS SOUPS 23488823 WITH SCORE 2.356910507E7
AT ITER 48 NEW BEST:: SOT 123463431 SOS 80300173 HAS SOPS 65287168 HAS SOUS 24046704 HAS SOUPS 23473930 WITH SCORE 2.3554230173E7
AT ITER 58 NEW BEST:: SOT 123498155 SOS 80370793 HAS SOPS 65353708 HAS SOUS 24041242 HAS SOUPS 23468468 WITH SCORE 2.3548838793E7
AT ITER 65 NEW BEST:: SOT 123491587 SOS 80365457 HAS SOPS 65342292 HAS SOUS 24024657 HAS SOUPS 23451819 WITH SCORE 2.3532184457E7
AT ITER 75 NEW BEST:: SOT 123510387 SOS 80392704 HAS SOPS 65412451 HAS SOUS 24010094 HAS SOUPS 23438361 WITH SCORE 2.3518753704E7
AT ITER 90 NEW BEST:: SOT 123509738 SOS 80391569 HAS SOPS 65411559 HAS SOUS 24007791 HAS SOUPS 23436296 WITH SCORE 2.3516687569E7
AT ITER 95 NEW BEST:: SOT 123511409 SOS 80396018 HAS SOPS 65415058 HAS SOUS 24007541 HAS SOUPS 23436046 WITH SCORE 2.3516442018E7
AT ITER 99 NEW BEST:: SOT 123505508 SOS 80386591 HAS SOPS 65405899 HAS SOUS 23986680 HAS SOUPS 23415185 WITH SCORE 2.3495571591E7
AT ITER 100 NEW BEST:: SOT 123505508 SOS 80386383 HAS SOPS 65405603 HAS SOUS 23986600 HAS SOUPS 23415105 WITH SCORE 2.3495491383E7
AT ITER 101 NEW BEST:: SOT 123480044 SOS 80336534 HAS SOPS 65367402 HAS SOUS 23972965 HAS SOUPS 23401470 WITH SCORE 2.3481806534E7
AT ITER 113 NEW BEST:: SOT 123473140 SOS 80330859 HAS SOPS 65365582 HAS SOUS 23948294 HAS SOUPS 23376988 WITH SCORE 2.3457318859E7
AT ITER 121 NEW BEST:: SOT 123465772 SOS 80327711 HAS SOPS 65366825 HAS SOUS 23927435 HAS SOUPS 23356129 WITH SCORE 2.3436456711E7
AT ITER 123 NEW BEST:: SOT 123492100 SOS 80405423 HAS SOPS 65432173 HAS SOUS 23900063 HAS SOUPS 23328757 WITH SCORE 2.3409162423E7
AT ITER 124 NEW BEST:: SOT 123479231 SOS 80378835 HAS SOPS 65410799 HAS SOUS 23883169 HAS SOUPS 23312126 WITH SCORE 2.3392504835E7
AT ITER 126 NEW BEST:: SOT 123498937 SOS 80427162 HAS SOPS 65457521 HAS SOUS 23856377 HAS SOUPS 23285334 WITH SCORE 2.3365761162E7
AT ITER 151 NEW BEST:: SOT 123497522 SOS 80424518 HAS SOPS 65454488 HAS SOUS 23854556 HAS SOUPS 23283513 WITH SCORE 2.3363937518E7
AT ITER 158 NEW BEST:: SOT 123512465 SOS 80458140 HAS SOPS 65476994 HAS SOUS 23820021 HAS SOUPS 23248648 WITH SCORE 2.332910614E7
AT ITER 162 NEW BEST:: SOT 123498821 SOS 80433791 HAS SOPS 65458828 HAS SOUS 23813210 HAS SOUPS 23241837 WITH SCORE 2.3322270791E7
AT ITER 193 NEW BEST:: SOT 123496495 SOS 80431265 HAS SOPS 65455395 HAS SOUS 23806825 HAS SOUPS 23235452 WITH SCORE 2.3315883265E7
AT ITER 210 NEW BEST:: SOT 123541635 SOS 80542290 HAS SOPS 65535011 HAS SOUS 23785608 HAS SOUPS 23214235 WITH SCORE 2.329477729E7
AT ITER 213 NEW BEST:: SOT 123535748 SOS 80536405 HAS SOPS 65527979 HAS SOUS 23772410 HAS SOUPS 23201037 WITH SCORE 2.3281573405E7
AT ITER 219 NEW BEST:: SOT 123541753 SOS 80559897 HAS SOPS 65548592 HAS SOUS 23762575 HAS SOUPS 23191202 WITH SCORE 2.3271761897E7
AT ITER 241 NEW BEST:: SOT 123541242 SOS 80559218 HAS SOPS 65545895 HAS SOUS 23760008 HAS SOUPS 23188695 WITH SCORE 2.3269254218E7
AT ITER 252 NEW BEST:: SOT 123541748 SOS 80586175 HAS SOPS 65568615 HAS SOUS 23759602 HAS SOUPS 23188289 WITH SCORE 2.3268875175E7
AT ITER 258 NEW BEST:: SOT 123542108 SOS 80625232 HAS SOPS 65623435 HAS SOUS 23759445 HAS SOUPS 23188132 WITH SCORE 2.3268757232E7
AT ITER 263 NEW BEST:: SOT 123541806 SOS 80631336 HAS SOPS 65623426 HAS SOUS 23753791 HAS SOUPS 23181893 WITH SCORE 2.3262524336E7
AT ITER 265 NEW BEST:: SOT 123582103 SOS 80702960 HAS SOPS 65647484 HAS SOUS 23745238 HAS SOUPS 23173490 WITH SCORE 2.325419296E7
AT ITER 270 NEW BEST:: SOT 123580199 SOS 80700502 HAS SOPS 65649890 HAS SOUS 23735337 HAS SOUPS 23163852 WITH SCORE 2.3244552502E7
AT ITER 272 NEW BEST:: SOT 123546679 SOS 80666940 HAS SOPS 65616328 HAS SOUS 23701775 HAS SOUPS 23130290 WITH SCORE 2.321095694E7
AT ITER 273 NEW BEST:: SOT 123542929 SOS 80672978 HAS SOPS 65600432 HAS SOUS 23665769 HAS SOUPS 23094120 WITH SCORE 2.3174792978E7
AT ITER 277 NEW BEST:: SOT 123543436 SOS 80675455 HAS SOPS 65601579 HAS SOUS 23661642 HAS SOUPS 23089993 WITH SCORE 2.3170668455E7
AT ITER 291 NEW BEST:: SOT 123535750 SOS 80674560 HAS SOPS 65594621 HAS SOUS 23629808 HAS SOUPS 23058047 WITH SCORE 2.313872156E7
AT ITER 293 NEW BEST:: SOT 123535452 SOS 80677079 HAS SOPS 65598716 HAS SOUS 23627573 HAS SOUPS 23055812 WITH SCORE 2.3136489079E7
AT ITER 294 NEW BEST:: SOT 123521102 SOS 80664419 HAS SOPS 65579693 HAS SOUS 23578841 HAS SOUPS 23007080 WITH SCORE 2.3087744419E7
AT ITER 296 NEW BEST:: SOT 123519443 SOS 80661528 HAS SOPS 65576997 HAS SOUS 23576750 HAS SOUPS 23004989 WITH SCORE 2.3085650528E7
AT ITER 304 NEW BEST:: SOT 123485791 SOS 80584001 HAS SOPS 65519596 HAS SOUS 23561870 HAS SOUPS 22990430 WITH SCORE 2.3071014001E7
AT ITER 307 NEW BEST:: SOT 123480825 SOS 80589484 HAS SOPS 65520547 HAS SOUS 23541623 HAS SOUPS 22969997 WITH SCORE 2.3050586484E7
AT ITER 327 NEW BEST:: SOT 123475711 SOS 80582158 HAS SOPS 65509485 HAS SOUS 23521414 HAS SOUPS 22949788 WITH SCORE 2.3030370158E7
AT ITER 339 NEW BEST:: SOT 123480807 SOS 80597913 HAS SOPS 65534131 HAS SOUS 23506223 HAS SOUPS 22934597 WITH SCORE 2.3015194913E7
AT ITER 341 NEW BEST:: SOT 123480084 SOS 80601546 HAS SOPS 65535605 HAS SOUS 23504424 HAS SOUPS 22932798 WITH SCORE 2.3013399546E7
AT ITER 355 NEW BEST:: SOT 123479666 SOS 80600934 HAS SOPS 65534442 HAS SOUS 23501993 HAS SOUPS 22930367 WITH SCORE 2.3010967934E7
AT ITER 370 NEW BEST:: SOT 123471389 SOS 80578499 HAS SOPS 65508797 HAS SOUS 23479858 HAS SOUPS 22909362 WITH SCORE 2.2989940499E7
AT ITER 371 NEW BEST:: SOT 123482903 SOS 80599327 HAS SOPS 65518859 HAS SOUS 23475265 HAS SOUPS 22904683 WITH SCORE 2.2985282327E7
AT ITER 414 NEW BEST:: SOT 123463397 SOS 80573537 HAS SOPS 65510007 HAS SOUS 23453623 HAS SOUPS 22883041 WITH SCORE 2.2963614537E7
AT ITER 425 NEW BEST:: SOT 123423127 SOS 80533267 HAS SOPS 65469737 HAS SOUS 23413353 HAS SOUPS 22842771 WITH SCORE 2.2923304267E7
AT ITER 426 NEW BEST:: SOT 123412879 SOS 80519691 HAS SOPS 65454305 HAS SOUS 23396445 HAS SOUPS 22825907 WITH SCORE 2.2906426691E7
AT ITER 438 NEW BEST:: SOT 123417801 SOS 80535887 HAS SOPS 65464317 HAS SOUS 23396167 HAS SOUPS 22825629 WITH SCORE 2.2906164887E7
AT ITER 462 NEW BEST:: SOT 123428180 SOS 80559369 HAS SOPS 65479464 HAS SOUS 23391744 HAS SOUPS 22821206 WITH SCORE 2.2901765369E7
AT ITER 464 NEW BEST:: SOT 123431052 SOS 80566786 HAS SOPS 65482133 HAS SOUS 23389948 HAS SOUPS 22819410 WITH SCORE 2.2899976786E7
AT ITER 503 NEW BEST:: SOT 123427204 SOS 80559671 HAS SOPS 65478119 HAS SOUS 23383322 HAS SOUPS 22812784 WITH SCORE 2.2893343671E7
AT ITER 510 NEW BEST:: SOT 123459328 SOS 80608700 HAS SOPS 65564586 HAS SOUS 23370605 HAS SOUPS 22800281 WITH SCORE 2.28808897E7
AT ITER 511 NEW BEST:: SOT 123432469 SOS 80556615 HAS SOPS 65521294 HAS SOUS 23351204 HAS SOUPS 22780880 WITH SCORE 2.2861436615E7
AT ITER 518 NEW BEST:: SOT 123455145 SOS 80609329 HAS SOPS 65571853 HAS SOUS 23340308 HAS SOUPS 22769984 WITH SCORE 2.2850593329E7
AT ITER 532 NEW BEST:: SOT 123461800 SOS 80627988 HAS SOPS 65582562 HAS SOUS 23330931 HAS SOUPS 22760607 WITH SCORE 2.2841234988E7
AT ITER 562 NEW BEST:: SOT 123466120 SOS 80641287 HAS SOPS 65589444 HAS SOUS 23307468 HAS SOUPS 22737284 WITH SCORE 2.2817925287E7
AT ITER 566 NEW BEST:: SOT 123465454 SOS 80640621 HAS SOPS 65589226 HAS SOUS 23305778 HAS SOUPS 22736042 WITH SCORE 2.2816682621E7
AT ITER 572 NEW BEST:: SOT 123395314 SOS 80572010 HAS SOPS 65510706 HAS SOUS 23207080 HAS SOUPS 22636876 WITH SCORE 2.271744801E7
AT ITER 576 NEW BEST:: SOT 123391380 SOS 80563230 HAS SOPS 65502996 HAS SOUS 23205371 HAS SOUPS 22635167 WITH SCORE 2.271573023E7
AT ITER 582 NEW BEST:: SOT 123385548 SOS 80547492 HAS SOPS 65501908 HAS SOUS 23199377 HAS SOUPS 22629173 WITH SCORE 2.2709720492E7
AT ITER 601 NEW BEST:: SOT 123385251 SOS 80546909 HAS SOPS 65501457 HAS SOUS 23199058 HAS SOUPS 22628865 WITH SCORE 2.2709411909E7
AT ITER 603 NEW BEST:: SOT 123388997 SOS 80565074 HAS SOPS 65517452 HAS SOUS 23178202 HAS SOUPS 22608009 WITH SCORE 2.2688574074E7
AT ITER 610 NEW BEST:: SOT 123389166 SOS 80564990 HAS SOPS 65523766 HAS SOUS 23174303 HAS SOUPS 22605235 WITH SCORE 2.268579999E7
AT ITER 638 NEW BEST:: SOT 123334307 SOS 80500790 HAS SOPS 65464073 HAS SOUS 23089549 HAS SOUPS 22520771 WITH SCORE 2.260127179E7
AT ITER 647 NEW BEST:: SOT 123359671 SOS 80547480 HAS SOPS 65497403 HAS SOUS 23063905 HAS SOUPS 22495024 WITH SCORE 2.257557148E7
AT ITER 676 NEW BEST:: SOT 123333005 SOS 80519973 HAS SOPS 65469975 HAS SOUS 22984738 HAS SOUPS 22415936 WITH SCORE 2.2496455973E7
AT ITER 698 NEW BEST:: SOT 123322212 SOS 80508195 HAS SOPS 65457215 HAS SOUS 22968203 HAS SOUPS 22399401 WITH SCORE 2.2479909195E7
AT ITER 700 NEW BEST:: SOT 123310568 SOS 80496066 HAS SOPS 65436125 HAS SOUS 22940414 HAS SOUPS 22371612 WITH SCORE 2.2452108066E7
AT ITER 705 NEW BEST:: SOT 123311723 SOS 80523850 HAS SOPS 65462622 HAS SOUS 22939026 HAS SOUPS 22370224 WITH SCORE 2.245074785E7
AT ITER 707 NEW BEST:: SOT 123294721 SOS 80498847 HAS SOPS 65474522 HAS SOUS 22913218 HAS SOUPS 22345099 WITH SCORE 2.2425597847E7
AT ITER 721 NEW BEST:: SOT 123279764 SOS 80476609 HAS SOPS 65451476 HAS SOUS 22901407 HAS SOUPS 22333288 WITH SCORE 2.2413764609E7
AT ITER 740 NEW BEST:: SOT 123277449 SOS 80474245 HAS SOPS 65439489 HAS SOUS 22868272 HAS SOUPS 22299181 WITH SCORE 2.2379655245E7
AT ITER 749 NEW BEST:: SOT 123278994 SOS 80479633 HAS SOPS 65439061 HAS SOUS 22865915 HAS SOUPS 22296824 WITH SCORE 2.2377303633E7
AT ITER 750 NEW BEST:: SOT 123277101 SOS 80477561 HAS SOPS 65436285 HAS SOUS 22865104 HAS SOUPS 22296013 WITH SCORE 2.2376490561E7
AT ITER 763 NEW BEST:: SOT 123274166 SOS 80473486 HAS SOPS 65432043 HAS SOUS 22859033 HAS SOUPS 22289919 WITH SCORE 2.2370392486E7
AT ITER 772 NEW BEST:: SOT 123274708 SOS 80473532 HAS SOPS 65431889 HAS SOUS 22857587 HAS SOUPS 22288473 WITH SCORE 2.2368946532E7
AT ITER 798 NEW BEST:: SOT 123264866 SOS 80455111 HAS SOPS 65413800 HAS SOUS 22845095 HAS SOUPS 22275981 WITH SCORE 2.2356436111E7
AT ITER 810 NEW BEST:: SOT 123266590 SOS 80459452 HAS SOPS 65418408 HAS SOUS 22843000 HAS SOUPS 22273886 WITH SCORE 2.2354345452E7
AT ITER 817 NEW BEST:: SOT 123265442 SOS 80458160 HAS SOPS 65417122 HAS SOUS 22840963 HAS SOUPS 22271855 WITH SCORE 2.235231316E7
AT ITER 824 NEW BEST:: SOT 123264391 SOS 80454171 HAS SOPS 65414426 HAS SOUS 22837893 HAS SOUPS 22268824 WITH SCORE 2.2349278171E7
AT ITER 827 NEW BEST:: SOT 123274747 SOS 80482525 HAS SOPS 65454877 HAS SOUS 22821294 HAS SOUPS 22252432 WITH SCORE 2.2332914525E7
AT ITER 834 NEW BEST:: SOT 123274826 SOS 80492444 HAS SOPS 65483158 HAS SOUS 22811528 HAS SOUPS 22242452 WITH SCORE 2.2322944444E7
AT ITER 838 NEW BEST:: SOT 123266159 SOS 80476624 HAS SOPS 65468440 HAS SOUS 22802730 HAS SOUPS 22233654 WITH SCORE 2.2314130624E7
AT ITER 843 NEW BEST:: SOT 123271850 SOS 80496087 HAS SOPS 65485345 HAS SOUS 22795538 HAS SOUPS 22226462 WITH SCORE 2.2306958087E7
AT ITER 848 NEW BEST:: SOT 123260026 SOS 80482917 HAS SOPS 65467101 HAS SOUS 22775090 HAS SOUPS 22206014 WITH SCORE 2.2286496917E7
AT ITER 856 NEW BEST:: SOT 123252459 SOS 80473559 HAS SOPS 65454492 HAS SOUS 22765876 HAS SOUPS 22196747 WITH SCORE 2.2277220559E7
AT ITER 866 NEW BEST:: SOT 123245204 SOS 80465003 HAS SOPS 65444227 HAS SOUS 22750336 HAS SOUPS 22181267 WITH SCORE 2.2261732003E7
AT ITER 869 NEW BEST:: SOT 123245209 SOS 80464780 HAS SOPS 65447574 HAS SOUS 22750315 HAS SOUPS 22181246 WITH SCORE 2.226171078E7
AT ITER 878 NEW BEST:: SOT 123242766 SOS 80461875 HAS SOPS 65444014 HAS SOUS 22745642 HAS SOUPS 22176593 WITH SCORE 2.2257054875E7
AT ITER 886 NEW BEST:: SOT 123253534 SOS 80480377 HAS SOPS 65450482 HAS SOUS 22737128 HAS SOUPS 22168079 WITH SCORE 2.2248559377E7
AT ITER 887 NEW BEST:: SOT 123223041 SOS 80439453 HAS SOPS 65446106 HAS SOUS 22712749 HAS SOUPS 22143700 WITH SCORE 2.2224139453E7
AT ITER 891 NEW BEST:: SOT 123221878 SOS 80437944 HAS SOPS 65444374 HAS SOUS 22709943 HAS SOUPS 22140894 WITH SCORE 2.2221331944E7
AT ITER 911 NEW BEST:: SOT 123220783 SOS 80444923 HAS SOPS 65448127 HAS SOUS 22697328 HAS SOUPS 22128279 WITH SCORE 2.2208723923E7
AT ITER 921 NEW BEST:: SOT 123203541 SOS 80420044 HAS SOPS 65424909 HAS SOUS 22676837 HAS SOUPS 22107788 WITH SCORE 2.2188208044E7
AT ITER 945 NEW BEST:: SOT 123202611 SOS 80419037 HAS SOPS 65423950 HAS SOUS 22675000 HAS SOUPS 22105951 WITH SCORE 2.2186370037E7
AT ITER 962 NEW BEST:: SOT 123202158 SOS 80418560 HAS SOPS 65423293 HAS SOUS 22670141 HAS SOUPS 22101092 WITH SCORE 2.218151056E7
AT ITER 967 NEW BEST:: SOT 123198656 SOS 80414064 HAS SOPS 65417948 HAS SOUS 22664600 HAS SOUPS 22095551 WITH SCORE 2.2175965064E7
AT ITER 972 NEW BEST:: SOT 123214987 SOS 80457997 HAS SOPS 65456377 HAS SOUS 22647754 HAS SOUPS 22078705 WITH SCORE 2.2159162997E7
AT ITER 976 NEW BEST:: SOT 123203573 SOS 80446544 HAS SOPS 65444924 HAS SOUS 22630489 HAS SOUPS 22061440 WITH SCORE 2.2141886544E7
AT ITER 997 NEW BEST:: SOT 123203573 SOS 80450484 HAS SOPS 65443998 HAS SOUS 22630248 HAS SOUPS 22061199 WITH SCORE 2.2141649484E7
AT ITER 998 NEW BEST:: SOT 123230521 SOS 80504123 HAS SOPS 65491724 HAS SOUS 22584064 HAS SOUPS 22016085 WITH SCORE 2.2096589123E7
AT ITER 1000 NEW BEST:: SOT 123228639 SOS 80501795 HAS SOPS 65489521 HAS SOUS 22583612 HAS SOUPS 22015633 WITH SCORE 2.2096134795E7
AT ITER 1007 NEW BEST:: SOT 123230150 SOS 80513526 HAS SOPS 65498166 HAS SOUS 22557182 HAS SOUPS 21989131 WITH SCORE 2.2069644526E7
AT ITER 1015 NEW BEST:: SOT 123229824 SOS 80558796 HAS SOPS 65539291 HAS SOUS 22556177 HAS SOUPS 21988126 WITH SCORE 2.2068684796E7
AT ITER 1016 NEW BEST:: SOT 123217608 SOS 80545062 HAS SOPS 65518288 HAS SOUS 22522802 HAS SOUPS 21954617 WITH SCORE 2.2035162062E7
AT ITER 1026 NEW BEST:: SOT 123217546 SOS 80550461 HAS SOPS 65528461 HAS SOUS 22522451 HAS SOUPS 21954266 WITH SCORE 2.2034816461E7
AT ITER 1029 NEW BEST:: SOT 123218188 SOS 80547768 HAS SOPS 65530750 HAS SOUS 22522274 HAS SOUPS 21954089 WITH SCORE 2.2034636768E7
AT ITER 1035 NEW BEST:: SOT 123145094 SOS 80474263 HAS SOPS 65449656 HAS SOUS 22420805 HAS SOUPS 21852286 WITH SCORE 2.1932760263E7
AT ITER 1037 NEW BEST:: SOT 123157475 SOS 80491242 HAS SOPS 65465854 HAS SOUS 22419503 HAS SOUPS 21850845 WITH SCORE 2.1931336242E7
AT ITER 1051 NEW BEST:: SOT 123157141 SOS 80486877 HAS SOPS 65461856 HAS SOUS 22418517 HAS SOUPS 21849859 WITH SCORE 2.1930345877E7
AT ITER 1052 NEW BEST:: SOT 123157696 SOS 80491544 HAS SOPS 65456420 HAS SOUS 22403518 HAS SOUPS 21834860 WITH SCORE 2.1915351544E7
AT ITER 1080 NEW BEST:: SOT 123161089 SOS 80492993 HAS SOPS 65458077 HAS SOUS 22403515 HAS SOUPS 21834857 WITH SCORE 2.1915349993E7
AT ITER 1095 NEW BEST:: SOT 123126561 SOS 80450937 HAS SOPS 65411488 HAS SOUS 22372865 HAS SOUPS 21802041 WITH SCORE 2.1882491937E7
AT ITER 1102 NEW BEST:: SOT 123117514 SOS 80419907 HAS SOPS 65396690 HAS SOUS 22372004 HAS SOUPS 21801180 WITH SCORE 2.1881599907E7
AT ITER 1124 NEW BEST:: SOT 123072032 SOS 80367881 HAS SOPS 65342001 HAS SOUS 22297622 HAS SOUPS 21726924 WITH SCORE 2.1807291881E7
AT ITER 1134 NEW BEST:: SOT 123059315 SOS 80357005 HAS SOPS 65325741 HAS SOUS 22277748 HAS SOUPS 21702320 WITH SCORE 2.1782677005E7
AT ITER 1141 NEW BEST:: SOT 123009862 SOS 80309313 HAS SOPS 65300519 HAS SOUS 22261355 HAS SOUPS 21685939 WITH SCORE 2.1766248313E7
AT ITER 1165 NEW BEST:: SOT 123011682 SOS 80312104 HAS SOPS 65302273 HAS SOUS 22253269 HAS SOUPS 21678025 WITH SCORE 2.1758337104E7
AT ITER 1173 NEW BEST:: SOT 123018205 SOS 80336138 HAS SOPS 65326438 HAS SOUS 22252724 HAS SOUPS 21677480 WITH SCORE 2.1757816138E7
AT ITER 1212 NEW BEST:: SOT 123016045 SOS 80334168 HAS SOPS 65322759 HAS SOUS 22249753 HAS SOUPS 21674482 WITH SCORE 2.1754816168E7
AT ITER 1216 NEW BEST:: SOT 123015504 SOS 80333462 HAS SOPS 65322086 HAS SOUS 22249277 HAS SOUPS 21674006 WITH SCORE 2.1754339462E7
AT ITER 1230 NEW BEST:: SOT 123034114 SOS 80379190 HAS SOPS 65367533 HAS SOUS 22244357 HAS SOUPS 21669086 WITH SCORE 2.174946519E7
AT ITER 1254 NEW BEST:: SOT 123025524 SOS 80369736 HAS SOPS 65363262 HAS SOUS 22229120 HAS SOUPS 21653849 WITH SCORE 2.1734218736E7
AT ITER 1270 NEW BEST:: SOT 123024619 SOS 80368631 HAS SOPS 65361902 HAS SOUS 22227670 HAS SOUPS 21652399 WITH SCORE 2.1732767631E7
AT ITER 1300 NEW BEST:: SOT 123024650 SOS 80369965 HAS SOPS 65363306 HAS SOUS 22226354 HAS SOUPS 21651094 WITH SCORE 2.1731463965E7
AT ITER 1311 NEW BEST:: SOT 123022393 SOS 80367232 HAS SOPS 65357645 HAS SOUS 22223460 HAS SOUPS 21648237 WITH SCORE 2.1728604232E7
AT ITER 1314 NEW BEST:: SOT 123020331 SOS 80365394 HAS SOPS 65355290 HAS SOUS 22221652 HAS SOUPS 21646429 WITH SCORE 2.1726794394E7
AT ITER 1316 NEW BEST:: SOT 123019199 SOS 80364744 HAS SOPS 65354415 HAS SOUS 22220750 HAS SOUPS 21645527 WITH SCORE 2.1725891744E7
AT ITER 1323 NEW BEST:: SOT 123022808 SOS 80376062 HAS SOPS 65360177 HAS SOUS 22210846 HAS SOUPS 21635500 WITH SCORE 2.1715876062E7
AT ITER 1328 NEW BEST:: SOT 123019534 SOS 80374744 HAS SOPS 65357148 HAS SOUS 22203517 HAS SOUPS 21628171 WITH SCORE 2.1708545744E7
AT ITER 1331 NEW BEST:: SOT 123019382 SOS 80380367 HAS SOPS 65363625 HAS SOUS 22199116 HAS SOUPS 21623770 WITH SCORE 2.1704150367E7
AT ITER 1379 NEW BEST:: SOT 123020067 SOS 80385143 HAS SOPS 65367910 HAS SOUS 22193771 HAS SOUPS 21618425 WITH SCORE 2.1698810143E7
AT ITER 1390 NEW BEST:: SOT 122990258 SOS 80355334 HAS SOPS 65337637 HAS SOUS 22164284 HAS SOUPS 21588200 WITH SCORE 2.1668555334E7
AT ITER 1391 NEW BEST:: SOT 122987583 SOS 80354355 HAS SOPS 65336283 HAS SOUS 22156818 HAS SOUPS 21580734 WITH SCORE 2.1661088355E7
AT ITER 1396 NEW BEST:: SOT 122994198 SOS 80365217 HAS SOPS 65340386 HAS SOUS 22152940 HAS SOUPS 21576580 WITH SCORE 2.1656945217E7
AT ITER 1409 NEW BEST:: SOT 122994635 SOS 80394277 HAS SOPS 65371298 HAS SOUS 22152665 HAS SOUPS 21576305 WITH SCORE 2.1656699277E7
AT ITER 1416 NEW BEST:: SOT 122968186 SOS 80360792 HAS SOPS 65345714 HAS SOUS 22139021 HAS SOUPS 21562661 WITH SCORE 2.1643021792E7
AT ITER 1432 NEW BEST:: SOT 122953788 SOS 80346581 HAS SOPS 65329074 HAS SOUS 22106383 HAS SOUPS 21530152 WITH SCORE 2.1610498581E7
AT ITER 1452 NEW BEST:: SOT 122950583 SOS 80346941 HAS SOPS 65325240 HAS SOUS 22095350 HAS SOUPS 21519119 WITH SCORE 2.1599465941E7
AT ITER 1464 NEW BEST:: SOT 122950605 SOS 80355635 HAS SOPS 65330750 HAS SOUS 22094280 HAS SOUPS 21518049 WITH SCORE 2.1598404635E7
AT ITER 1466 NEW BEST:: SOT 122938817 SOS 80343811 HAS SOPS 65317810 HAS SOUS 22077134 HAS SOUPS 21500903 WITH SCORE 2.1581246811E7
AT ITER 1473 NEW BEST:: SOT 122931790 SOS 80333030 HAS SOPS 65293306 HAS SOUS 22070685 HAS SOUPS 21494454 WITH SCORE 2.157478703E7
AT ITER 1480 NEW BEST:: SOT 122931653 SOS 80332875 HAS SOPS 65293727 HAS SOUS 22070331 HAS SOUPS 21494316 WITH SCORE 2.1574648875E7
AT ITER 1482 NEW BEST:: SOT 122936778 SOS 80349147 HAS SOPS 65308147 HAS SOUS 22068896 HAS SOUPS 21492881 WITH SCORE 2.1573230147E7
AT ITER 1488 NEW BEST:: SOT 122925846 SOS 80334843 HAS SOPS 65294936 HAS SOUS 22053876 HAS SOUPS 21477861 WITH SCORE 2.1558195843E7
AT ITER 1494 NEW BEST:: SOT 122919385 SOS 80329336 HAS SOPS 65287227 HAS SOUS 22043619 HAS SOUPS 21467604 WITH SCORE 2.1547933336E7
AT ITER 1501 NEW BEST:: SOT 122913001 SOS 80324061 HAS SOPS 65273980 HAS SOUS 22023862 HAS SOUPS 21447847 WITH SCORE 2.1528171061E7
AT ITER 1503 NEW BEST:: SOT 122913829 SOS 80326991 HAS SOPS 65274887 HAS SOUS 22020044 HAS SOUPS 21444029 WITH SCORE 2.1524355991E7
AT ITER 1515 NEW BEST:: SOT 122913263 SOS 80323761 HAS SOPS 65273309 HAS SOUS 22019264 HAS SOUPS 21443249 WITH SCORE 2.1523572761E7
AT ITER 1521 NEW BEST:: SOT 122913164 SOS 80325956 HAS SOPS 65278407 HAS SOUS 22019065 HAS SOUPS 21443010 WITH SCORE 2.1523335956E7
AT ITER 1531 NEW BEST:: SOT 122909431 SOS 80321851 HAS SOPS 65274581 HAS SOUS 22011204 HAS SOUPS 21435149 WITH SCORE 2.1515470851E7
AT ITER 1535 NEW BEST:: SOT 122911063 SOS 80331542 HAS SOPS 65280976 HAS SOUS 22005054 HAS SOUPS 21428999 WITH SCORE 2.1509330542E7
AT ITER 1539 NEW BEST:: SOT 122909840 SOS 80329795 HAS SOPS 65280054 HAS SOUS 22003480 HAS SOUPS 21427450 WITH SCORE 2.1507779795E7
AT ITER 1545 NEW BEST:: SOT 122902553 SOS 80326966 HAS SOPS 65271149 HAS SOUS 21987200 HAS SOUPS 21411170 WITH SCORE 2.1491496966E7
AT ITER 1549 NEW BEST:: SOT 122910625 SOS 80349973 HAS SOPS 65289615 HAS SOUS 21970379 HAS SOUPS 21394450 WITH SCORE 2.1474799973E7
AT ITER 1562 NEW BEST:: SOT 122899904 SOS 80345384 HAS SOPS 65273202 HAS SOUS 21936849 HAS SOUPS 21360920 WITH SCORE 2.1441265384E7
AT ITER 1566 NEW BEST:: SOT 122897052 SOS 80343813 HAS SOPS 65270882 HAS SOUS 21905238 HAS SOUPS 21330990 WITH SCORE 2.1411333813E7
AT ITER 1585 NEW BEST:: SOT 122891776 SOS 80337945 HAS SOPS 65256724 HAS SOUS 21862320 HAS SOUPS 21288072 WITH SCORE 2.1368409945E7
AT ITER 1587 NEW BEST:: SOT 122885254 SOS 80330812 HAS SOPS 65248678 HAS SOUS 21844835 HAS SOUPS 21270746 WITH SCORE 2.1351076812E7
AT ITER 1593 NEW BEST:: SOT 122896430 SOS 80334929 HAS SOPS 65258795 HAS SOUS 21828118 HAS SOUPS 21254230 WITH SCORE 2.1334564929E7
AT ITER 1605 NEW BEST:: SOT 122893083 SOS 80331326 HAS SOPS 65256024 HAS SOUS 21823523 HAS SOUPS 21249635 WITH SCORE 2.1329966326E7
AT ITER 1617 NEW BEST:: SOT 122892775 SOS 80322183 HAS SOPS 65243745 HAS SOUS 21822574 HAS SOUPS 21248686 WITH SCORE 2.1329008183E7
AT ITER 1634 NEW BEST:: SOT 122891577 SOS 80320201 HAS SOPS 65241351 HAS SOUS 21820263 HAS SOUPS 21246375 WITH SCORE 2.1326695201E7
AT ITER 1646 NEW BEST:: SOT 122890746 SOS 80314638 HAS SOPS 65226037 HAS SOUS 21786911 HAS SOUPS 21213023 WITH SCORE 2.1293337638E7
AT ITER 1667 NEW BEST:: SOT 122897308 SOS 80335376 HAS SOPS 65250945 HAS SOUS 21774998 HAS SOUPS 21201110 WITH SCORE 2.1281445376E7
AT ITER 1670 NEW BEST:: SOT 122897863 SOS 80337473 HAS SOPS 65247757 HAS SOUS 21768430 HAS SOUPS 21194542 WITH SCORE 2.1274879473E7
AT ITER 1683 NEW BEST:: SOT 122894520 SOS 80331619 HAS SOPS 65242866 HAS SOUS 21760976 HAS SOUPS 21187115 WITH SCORE 2.1267446619E7
AT ITER 1687 NEW BEST:: SOT 122883892 SOS 80322668 HAS SOPS 65231032 HAS SOUS 21724917 HAS SOUPS 21151173 WITH SCORE 2.1231495668E7
AT ITER 1694 NEW BEST:: SOT 122881358 SOS 80317957 HAS SOPS 65228634 HAS SOUS 21723318 HAS SOUPS 21149574 WITH SCORE 2.1229891957E7
AT ITER 1709 NEW BEST:: SOT 122874803 SOS 80313189 HAS SOPS 65224358 HAS SOUS 21700670 HAS SOUPS 21126926 WITH SCORE 2.1207239189E7
AT ITER 1720 NEW BEST:: SOT 122865808 SOS 80301767 HAS SOPS 65220564 HAS SOUS 21676084 HAS SOUPS 21102340 WITH SCORE 2.1182641767E7
AT ITER 1727 NEW BEST:: SOT 122885142 SOS 80344386 HAS SOPS 65268941 HAS SOUS 21649329 HAS SOUPS 21075585 WITH SCORE 2.1155929386E7
AT ITER 1728 NEW BEST:: SOT 122893563 SOS 80360990 HAS SOPS 65288873 HAS SOUS 21641116 HAS SOUPS 21067372 WITH SCORE 2.114773299E7
AT ITER 1750 NEW BEST:: SOT 122893617 SOS 80355475 HAS SOPS 65285564 HAS SOUS 21638579 HAS SOUPS 21064939 WITH SCORE 2.1145294475E7
AT ITER 1763 NEW BEST:: SOT 122893567 SOS 80357589 HAS SOPS 65287036 HAS SOUS 21638382 HAS SOUPS 21064742 WITH SCORE 2.1145099589E7
AT ITER 1764 NEW BEST:: SOT 122888127 SOS 80351899 HAS SOPS 65281696 HAS SOUS 21629566 HAS SOUPS 21055926 WITH SCORE 2.1136277899E7
AT ITER 1769 NEW BEST:: SOT 122888132 SOS 80362592 HAS SOPS 65294373 HAS SOUS 21629271 HAS SOUPS 21055631 WITH SCORE 2.1135993592E7
AT ITER 1791 NEW BEST:: SOT 122887534 SOS 80369115 HAS SOPS 65308683 HAS SOUS 21589786 HAS SOUPS 21017623 WITH SCORE 2.1097992115E7
AT ITER 1795 NEW BEST:: SOT 122887354 SOS 80368923 HAS SOPS 65308843 HAS SOUS 21589734 HAS SOUPS 21017571 WITH SCORE 2.1097939923E7
AT ITER 1803 NEW BEST:: SOT 122883828 SOS 80361673 HAS SOPS 65301837 HAS SOUS 21586872 HAS SOUPS 21014709 WITH SCORE 2.1095070673E7
AT ITER 1815 NEW BEST:: SOT 122882638 SOS 80361472 HAS SOPS 65301382 HAS SOUS 21583811 HAS SOUPS 21011648 WITH SCORE 2.1092009472E7
AT ITER 1827 NEW BEST:: SOT 122891850 SOS 80384747 HAS SOPS 65315752 HAS SOUS 21572028 HAS SOUPS 20999865 WITH SCORE 2.1080249747E7
AT ITER 1864 NEW BEST:: SOT 122877043 SOS 80354025 HAS SOPS 65287823 HAS SOUS 21562502 HAS SOUPS 20990339 WITH SCORE 2.1070693025E7
AT ITER 1888 NEW BEST:: SOT 122902235 SOS 80394202 HAS SOPS 65324388 HAS SOUS 21547903 HAS SOUPS 20975740 WITH SCORE 2.1056134202E7
AT ITER 1913 NEW BEST:: SOT 122891757 SOS 80382822 HAS SOPS 65316223 HAS SOUS 21496351 HAS SOUPS 20924188 WITH SCORE 2.1004570822E7
AT ITER 1921 NEW BEST:: SOT 122857202 SOS 80328510 HAS SOPS 65285536 HAS SOUS 21479323 HAS SOUPS 20907513 WITH SCORE 2.098784151E7
AT ITER 1939 NEW BEST:: SOT 122852987 SOS 80324681 HAS SOPS 65281698 HAS SOUS 21469155 HAS SOUPS 20897390 WITH SCORE 2.0977714681E7
AT ITER 1950 NEW BEST:: SOT 122851011 SOS 80323887 HAS SOPS 65285650 HAS SOUS 21459069 HAS SOUPS 20887304 WITH SCORE 2.0967627887E7
AT ITER 1957 NEW BEST:: SOT 122850741 SOS 80316361 HAS SOPS 65278120 HAS SOUS 21458973 HAS SOUPS 20887208 WITH SCORE 2.0967524361E7
AT ITER 1972 NEW BEST:: SOT 122845306 SOS 80302364 HAS SOPS 65255925 HAS SOUS 21452438 HAS SOUPS 20880673 WITH SCORE 2.0960975364E7
AT ITER 1985 NEW BEST:: SOT 122840684 SOS 80292408 HAS SOPS 65249726 HAS SOUS 21440404 HAS SOUPS 20868639 WITH SCORE 2.0948931408E7
AT ITER 1989 NEW BEST:: SOT 122803330 SOS 80245030 HAS SOPS 65201359 HAS SOUS 21368058 HAS SOUPS 20796525 WITH SCORE 2.087677003E7
AT ITER 1996 NEW BEST:: SOT 122803903 SOS 80242406 HAS SOPS 65201228 HAS SOUS 21367685 HAS SOUPS 20796152 WITH SCORE 2.0876394406E7
AT ITER 2003 NEW BEST:: SOT 122781903 SOS 80214673 HAS SOPS 65145855 HAS SOUS 21345883 HAS SOUPS 20774350 WITH SCORE 2.0854564673E7
AT ITER 2012 NEW BEST:: SOT 122783183 SOS 80217356 HAS SOPS 65146576 HAS SOUS 21341756 HAS SOUPS 20770223 WITH SCORE 2.0850440356E7
AT ITER 2021 NEW BEST:: SOT 122782121 SOS 80215594 HAS SOPS 65143321 HAS SOUS 21341481 HAS SOUPS 20769948 WITH SCORE 2.0850163594E7
AT ITER 2022 NEW BEST:: SOT 122781652 SOS 80215185 HAS SOPS 65142643 HAS SOUS 21341291 HAS SOUPS 20769758 WITH SCORE 2.0849973185E7
AT ITER 2029 NEW BEST:: SOT 122778586 SOS 80212783 HAS SOPS 65136112 HAS SOUS 21310228 HAS SOUPS 20738695 WITH SCORE 2.0818907783E7
AT ITER 2033 NEW BEST:: SOT 122776312 SOS 80207289 HAS SOPS 65137410 HAS SOUS 21309478 HAS SOUPS 20737945 WITH SCORE 2.0818152289E7
AT ITER 2048 NEW BEST:: SOT 122772920 SOS 80203317 HAS SOPS 65135748 HAS SOUS 21304145 HAS SOUPS 20732693 WITH SCORE 2.0812896317E7
AT ITER 2050 NEW BEST:: SOT 122811565 SOS 80241514 HAS SOPS 65173995 HAS SOUS 21272348 HAS SOUPS 20700946 WITH SCORE 2.0781187514E7
AT ITER 2072 NEW BEST:: SOT 122811868 SOS 80259671 HAS SOPS 65197445 HAS SOUS 21271884 HAS SOUPS 20700482 WITH SCORE 2.0780741671E7
AT ITER 2103 NEW BEST:: SOT 122811261 SOS 80258928 HAS SOPS 65196754 HAS SOUS 21271185 HAS SOUPS 20699789 WITH SCORE 2.0780047928E7
AT ITER 2109 NEW BEST:: SOT 122819280 SOS 80273409 HAS SOPS 65213939 HAS SOUS 21266159 HAS SOUPS 20694737 WITH SCORE 2.0775010409E7
AT ITER 2110 NEW BEST:: SOT 122827719 SOS 80289638 HAS SOPS 65233978 HAS SOUS 21260389 HAS SOUPS 20688967 WITH SCORE 2.0769256638E7
AT ITER 2113 NEW BEST:: SOT 122838236 SOS 80307636 HAS SOPS 65248921 HAS SOUS 21254366 HAS SOUPS 20683036 WITH SCORE 2.0763343636E7
AT ITER 2116 NEW BEST:: SOT 122838084 SOS 80307504 HAS SOPS 65248889 HAS SOUS 21254028 HAS SOUPS 20682693 WITH SCORE 2.0763000504E7
AT ITER 2198 NEW BEST:: SOT 122834619 SOS 80302838 HAS SOPS 65244365 HAS SOUS 21246738 HAS SOUPS 20675675 WITH SCORE 2.0755977838E7

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="RERS17pb115-PT-3"
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 RERS17pb115-PT-3, 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 r138-smll-158961502500164"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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