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-158922806900059.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-5b, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922806900059
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 9.9M
-rw-r--r-- 1 mcc users 3.4K Mar 31 01:00 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 31 01:00 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 29 14:56 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 29 14:56 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.2K Apr 8 14:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 28 10:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 28 10:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 27 03:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 27 03:50 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 9.7M Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME DLCshifumi-PT-5b-CTLCardinality-00
FORMULA_NAME DLCshifumi-PT-5b-CTLCardinality-01
FORMULA_NAME DLCshifumi-PT-5b-CTLCardinality-02
FORMULA_NAME DLCshifumi-PT-5b-CTLCardinality-03
FORMULA_NAME DLCshifumi-PT-5b-CTLCardinality-04
FORMULA_NAME DLCshifumi-PT-5b-CTLCardinality-05
FORMULA_NAME DLCshifumi-PT-5b-CTLCardinality-06
FORMULA_NAME DLCshifumi-PT-5b-CTLCardinality-07
FORMULA_NAME DLCshifumi-PT-5b-CTLCardinality-08
FORMULA_NAME DLCshifumi-PT-5b-CTLCardinality-09
FORMULA_NAME DLCshifumi-PT-5b-CTLCardinality-10
FORMULA_NAME DLCshifumi-PT-5b-CTLCardinality-11
FORMULA_NAME DLCshifumi-PT-5b-CTLCardinality-12
FORMULA_NAME DLCshifumi-PT-5b-CTLCardinality-13
FORMULA_NAME DLCshifumi-PT-5b-CTLCardinality-14
FORMULA_NAME DLCshifumi-PT-5b-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589357749173

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCshifumi (PT), instance 5b
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 27146 places, 39849 transitions, 107425 arcs.
AT ITER 0 NEW BEST:: SOT 701901612 SOS 151346443 HAS SOPS 151346443 HAS SOUS 104879640 HAS SOUPS 104879640 WITH SCORE 1.05030986443E8
AT ITER 11 NEW BEST:: SOT 701900013 SOS 151344844 HAS SOPS 151344844 HAS SOUS 104878041 HAS SOUPS 104878041 WITH SCORE 1.05029385844E8
AT ITER 18 NEW BEST:: SOT 701897400 SOS 151337760 HAS SOPS 151337760 HAS SOUS 104867197 HAS SOUPS 104867197 WITH SCORE 1.0501853476E8
AT ITER 22 NEW BEST:: SOT 701894678 SOS 151336395 HAS SOPS 151336395 HAS SOUS 104865835 HAS SOUPS 104865835 WITH SCORE 1.05017171395E8
AT ITER 45 NEW BEST:: SOT 701889913 SOS 151331626 HAS SOPS 151331626 HAS SOUS 104861069 HAS SOUPS 104861069 WITH SCORE 1.05012400626E8
AT ITER 55 NEW BEST:: SOT 701885676 SOS 151327385 HAS SOPS 151327385 HAS SOUS 104856831 HAS SOUPS 104856831 WITH SCORE 1.05008158385E8
AT ITER 91 NEW BEST:: SOT 701884767 SOS 151327756 HAS SOPS 151327756 HAS SOUS 104855013 HAS SOUPS 104855013 WITH SCORE 1.05006340756E8
AT ITER 96 NEW BEST:: SOT 701881180 SOS 151325135 HAS SOPS 151325135 HAS SOUS 104852392 HAS SOUPS 104852392 WITH SCORE 1.05003717135E8
AT ITER 102 NEW BEST:: SOT 701877902 SOS 151321853 HAS SOPS 151321853 HAS SOUS 104849113 HAS SOUPS 104849113 WITH SCORE 1.05000434853E8
AT ITER 109 NEW BEST:: SOT 701874938 SOS 151321480 HAS SOPS 151321480 HAS SOUS 104848740 HAS SOUPS 104848740 WITH SCORE 1.0500006148E8
AT ITER 153 NEW BEST:: SOT 701874647 SOS 151320316 HAS SOPS 151320316 HAS SOUS 104848449 HAS SOUPS 104848449 WITH SCORE 1.04999769316E8
AT ITER 190 NEW BEST:: SOT 701875591 SOS 151322204 HAS SOPS 151322204 HAS SOUS 104842509 HAS SOUPS 104842509 WITH SCORE 1.04993831204E8
AT ITER 197 NEW BEST:: SOT 701872770 SOS 151316562 HAS SOPS 151316562 HAS SOUS 104836867 HAS SOUPS 104836867 WITH SCORE 1.04988183562E8
AT ITER 200 NEW BEST:: SOT 701872769 SOS 151315426 HAS SOPS 151315426 HAS SOUS 104835731 HAS SOUPS 104835731 WITH SCORE 1.04987046426E8
AT ITER 201 NEW BEST:: SOT 701872431 SOS 151316102 HAS SOPS 151316102 HAS SOUS 104835393 HAS SOUPS 104835393 WITH SCORE 1.04986709102E8
AT ITER 248 NEW BEST:: SOT 701857691 SOS 151305382 HAS SOPS 151305382 HAS SOUS 104826013 HAS SOUPS 104826013 WITH SCORE 1.04977318382E8
AT ITER 252 NEW BEST:: SOT 701849726 SOS 151304503 HAS SOPS 151304503 HAS SOUS 104823065 HAS SOUPS 104823065 WITH SCORE 1.04974369503E8
AT ITER 261 NEW BEST:: SOT 701849726 SOS 151302784 HAS SOPS 151302784 HAS SOUS 104823065 HAS SOUPS 104823065 WITH SCORE 1.04974367784E8
AT ITER 266 NEW BEST:: SOT 701849726 SOS 151302784 HAS SOPS 151302784 HAS SOUS 104821664 HAS SOUPS 104821664 WITH SCORE 1.04972966784E8
AT ITER 274 NEW BEST:: SOT 701849726 SOS 151292347 HAS SOPS 151292347 HAS SOUS 104821663 HAS SOUPS 104821663 WITH SCORE 1.04972955347E8
AT ITER 304 NEW BEST:: SOT 701848397 SOS 151291018 HAS SOPS 151291018 HAS SOUS 104821663 HAS SOUPS 104821663 WITH SCORE 1.04972954018E8
AT ITER 307 NEW BEST:: SOT 701846525 SOS 151287275 HAS SOPS 151287275 HAS SOUS 104817920 HAS SOUPS 104817920 WITH SCORE 1.04969207275E8
AT ITER 347 NEW BEST:: SOT 701840999 SOS 151283378 HAS SOPS 151283378 HAS SOUS 104806056 HAS SOUPS 104806056 WITH SCORE 1.04957339378E8
AT ITER 352 NEW BEST:: SOT 701836970 SOS 151280871 HAS SOPS 151280871 HAS SOUS 104800011 HAS SOUPS 104800011 WITH SCORE 1.04951291871E8
AT ITER 358 NEW BEST:: SOT 701832773 SOS 151276674 HAS SOPS 151276674 HAS SOUS 104795814 HAS SOUPS 104795814 WITH SCORE 1.04947090674E8
AT ITER 379 NEW BEST:: SOT 701831627 SOS 151274382 HAS SOPS 151274382 HAS SOUS 104793522 HAS SOUPS 104793522 WITH SCORE 1.04944796382E8
AT ITER 392 NEW BEST:: SOT 701831627 SOS 151294866 HAS SOPS 151294866 HAS SOUS 104791726 HAS SOUPS 104791726 WITH SCORE 1.04943020866E8
AT ITER 405 NEW BEST:: SOT 701830244 SOS 151292100 HAS SOPS 151292100 HAS SOUS 104788960 HAS SOUPS 104788960 WITH SCORE 1.049402521E8
AT ITER 414 NEW BEST:: SOT 701819134 SOS 151284020 HAS SOPS 151284020 HAS SOUS 104781890 HAS SOUPS 104781890 WITH SCORE 1.0493317402E8
AT ITER 470 NEW BEST:: SOT 701818564 SOS 151282880 HAS SOPS 151282880 HAS SOUS 104780750 HAS SOUPS 104780750 WITH SCORE 1.0493203288E8
AT ITER 471 NEW BEST:: SOT 701814966 SOS 151275684 HAS SOPS 151275684 HAS SOUS 104773554 HAS SOUPS 104773554 WITH SCORE 1.04924829684E8
AT ITER 486 NEW BEST:: SOT 701809372 SOS 151214150 HAS SOPS 151214150 HAS SOUS 104762366 HAS SOUPS 104762366 WITH SCORE 1.0491358015E8
AT ITER 512 NEW BEST:: SOT 701801957 SOS 151212736 HAS SOPS 151212736 HAS SOUS 104754344 HAS SOUPS 104754344 WITH SCORE 1.04905556736E8
AT ITER 546 NEW BEST:: SOT 701798775 SOS 151212726 HAS SOPS 151212726 HAS SOUS 104752825 HAS SOUPS 104752825 WITH SCORE 1.04904037726E8
AT ITER 563 NEW BEST:: SOT 701799934 SOS 151229617 HAS SOPS 151229617 HAS SOUS 104750283 HAS SOUPS 104750283 WITH SCORE 1.04901512617E8
AT ITER 602 NEW BEST:: SOT 701799934 SOS 151229096 HAS SOPS 151229096 HAS SOUS 104750283 HAS SOUPS 104750283 WITH SCORE 1.04901512096E8
AT ITER 621 NEW BEST:: SOT 701799978 SOS 151229184 HAS SOPS 151229184 HAS SOUS 104748627 HAS SOUPS 104748627 WITH SCORE 1.04899856184E8
AT ITER 625 NEW BEST:: SOT 701797554 SOS 151224336 HAS SOPS 151224336 HAS SOUS 104743779 HAS SOUPS 104743779 WITH SCORE 1.04895003336E8
AT ITER 667 NEW BEST:: SOT 701601690 SOS 152524914 HAS SOPS 152524914 HAS SOUS 104566125 HAS SOUPS 104566125 WITH SCORE 1.04718649914E8
AT ITER 694 NEW BEST:: SOT 701601679 SOS 152535073 HAS SOPS 152535073 HAS SOUS 104566102 HAS SOUPS 104566102 WITH SCORE 1.04718637073E8
AT ITER 697 NEW BEST:: SOT 701599028 SOS 152532422 HAS SOPS 152532422 HAS SOUS 104563451 HAS SOUPS 104563451 WITH SCORE 1.04715983422E8
AT ITER 739 NEW BEST:: SOT 701596792 SOS 152527950 HAS SOPS 152527950 HAS SOUS 104562653 HAS SOUPS 104562653 WITH SCORE 1.0471518095E8
AT ITER 741 NEW BEST:: SOT 701596792 SOS 152527950 HAS SOPS 152527950 HAS SOUS 104562646 HAS SOUPS 104562646 WITH SCORE 1.0471517395E8
AT ITER 745 NEW BEST:: SOT 701596792 SOS 152521182 HAS SOPS 152521182 HAS SOUS 104560390 HAS SOUPS 104560390 WITH SCORE 1.04712911182E8
AT ITER 746 NEW BEST:: SOT 701592809 SOS 152513216 HAS SOPS 152513216 HAS SOUS 104552424 HAS SOUPS 104552424 WITH SCORE 1.04704937216E8
AT ITER 748 NEW BEST:: SOT 701592809 SOS 152511698 HAS SOPS 152511698 HAS SOUS 104552424 HAS SOUPS 104552424 WITH SCORE 1.04704935698E8
AT ITER 758 NEW BEST:: SOT 701589441 SOS 152504962 HAS SOPS 152504962 HAS SOUS 104549055 HAS SOUPS 104549055 WITH SCORE 1.04701559962E8
AT ITER 774 NEW BEST:: SOT 701581582 SOS 152503296 HAS SOPS 152503296 HAS SOUS 104545880 HAS SOUPS 104545880 WITH SCORE 1.04698383296E8
AT ITER 800 NEW BEST:: SOT 701581581 SOS 152503294 HAS SOPS 152503294 HAS SOUS 104545878 HAS SOUPS 104545878 WITH SCORE 1.04698381294E8
AT ITER 801 NEW BEST:: SOT 701578466 SOS 152500178 HAS SOPS 152500178 HAS SOUS 104542762 HAS SOUPS 104542762 WITH SCORE 1.04695262178E8
AT ITER 804 NEW BEST:: SOT 701578136 SOS 152499519 HAS SOPS 152499519 HAS SOUS 104542103 HAS SOUPS 104542103 WITH SCORE 1.04694602519E8
AT ITER 829 NEW BEST:: SOT 701577466 SOS 152501314 HAS SOPS 152501314 HAS SOUS 104537282 HAS SOUPS 104537282 WITH SCORE 1.04689783314E8
AT ITER 873 NEW BEST:: SOT 701570580 SOS 152497871 HAS SOPS 152497871 HAS SOUS 104533839 HAS SOUPS 104533839 WITH SCORE 1.04686336871E8
AT ITER 885 NEW BEST:: SOT 701565548 SOS 152492839 HAS SOPS 152492839 HAS SOUS 104528807 HAS SOUPS 104528807 WITH SCORE 1.04681299839E8
AT ITER 964 NEW BEST:: SOT 701561018 SOS 152489259 HAS SOPS 152489259 HAS SOUS 104525227 HAS SOUPS 104525227 WITH SCORE 1.04677716259E8
AT ITER 996 NEW BEST:: SOT 701553498 SOS 152488631 HAS SOPS 152488631 HAS SOUS 104522511 HAS SOUPS 104522511 WITH SCORE 1.04674999631E8
AT ITER 1001 NEW BEST:: SOT 701553498 SOS 152494811 HAS SOPS 152494811 HAS SOUS 104520939 HAS SOUPS 104520939 WITH SCORE 1.04673433811E8
AT ITER 1018 NEW BEST:: SOT 701553210 SOS 152494523 HAS SOPS 152494523 HAS SOUS 104520363 HAS SOUPS 104520363 WITH SCORE 1.04672857523E8
AT ITER 1021 NEW BEST:: SOT 701553210 SOS 152494523 HAS SOPS 152494523 HAS SOUS 104514776 HAS SOUPS 104514776 WITH SCORE 1.04667270523E8
AT ITER 1042 NEW BEST:: SOT 701556831 SOS 152501765 HAS SOPS 152501765 HAS SOUS 104514050 HAS SOUPS 104514050 WITH SCORE 1.04666551765E8
AT ITER 1087 NEW BEST:: SOT 701556830 SOS 152501763 HAS SOPS 152501763 HAS SOUS 104514048 HAS SOUPS 104514048 WITH SCORE 1.04666549763E8
AT ITER 1130 NEW BEST:: SOT 701550379 SOS 152503906 HAS SOPS 152503906 HAS SOUS 104513659 HAS SOUPS 104513659 WITH SCORE 1.04666162906E8
AT ITER 1149 NEW BEST:: SOT 701550379 SOS 152502864 HAS SOPS 152502864 HAS SOUS 104513659 HAS SOUPS 104513659 WITH SCORE 1.04666161864E8
AT ITER 1176 NEW BEST:: SOT 701548203 SOS 152498512 HAS SOPS 152498512 HAS SOUS 104509307 HAS SOUPS 104509307 WITH SCORE 1.04661805512E8
AT ITER 1177 NEW BEST:: SOT 701545837 SOS 152493780 HAS SOPS 152493780 HAS SOUS 104508095 HAS SOUPS 104508095 WITH SCORE 1.0466058878E8
AT ITER 1198 NEW BEST:: SOT 701544030 SOS 152490166 HAS SOPS 152490166 HAS SOUS 104504481 HAS SOUPS 104504481 WITH SCORE 1.04656971166E8
AT ITER 1216 NEW BEST:: SOT 701542960 SOS 152488026 HAS SOPS 152488026 HAS SOUS 104502341 HAS SOUPS 104502341 WITH SCORE 1.04654829026E8
AT ITER 1225 NEW BEST:: SOT 701538350 SOS 152483412 HAS SOPS 152483412 HAS SOUS 104497730 HAS SOUPS 104497730 WITH SCORE 1.04650213412E8
AT ITER 1238 NEW BEST:: SOT 701535141 SOS 152482035 HAS SOPS 152482035 HAS SOUS 104496353 HAS SOUPS 104496353 WITH SCORE 1.04648835035E8
AT ITER 1247 NEW BEST:: SOT 701531733 SOS 152482031 HAS SOPS 152482031 HAS SOUS 104494648 HAS SOUPS 104494648 WITH SCORE 1.04647130031E8
AT ITER 1260 NEW BEST:: SOT 701530260 SOS 152483504 HAS SOPS 152483504 HAS SOUS 104493175 HAS SOUPS 104493175 WITH SCORE 1.04645658504E8
AT ITER 1265 NEW BEST:: SOT 701528622 SOS 152480228 HAS SOPS 152480228 HAS SOUS 104489899 HAS SOUPS 104489899 WITH SCORE 1.04642379228E8
AT ITER 1295 NEW BEST:: SOT 701528622 SOS 152480228 HAS SOPS 152480228 HAS SOUS 104489540 HAS SOUPS 104489540 WITH SCORE 1.04642020228E8
AT ITER 1296 NEW BEST:: SOT 701524845 SOS 152461343 HAS SOPS 152461343 HAS SOUS 104481986 HAS SOUPS 104481986 WITH SCORE 1.04634447343E8
AT ITER 1303 NEW BEST:: SOT 701521134 SOS 152453921 HAS SOPS 152453921 HAS SOUS 104474564 HAS SOUPS 104474564 WITH SCORE 1.04627017921E8
AT ITER 1334 NEW BEST:: SOT 701518765 SOS 152449182 HAS SOPS 152449182 HAS SOUS 104469825 HAS SOUPS 104469825 WITH SCORE 1.04622274182E8
AT ITER 1354 NEW BEST:: SOT 701517149 SOS 152460484 HAS SOPS 152460484 HAS SOUS 104466592 HAS SOUPS 104466592 WITH SCORE 1.04619052484E8
AT ITER 1355 NEW BEST:: SOT 701368261 SOS 152310450 HAS SOPS 152310450 HAS SOUS 104316558 HAS SOUPS 104316558 WITH SCORE 1.0446886845E8
AT ITER 1383 NEW BEST:: SOT 701351781 SOS 152282546 HAS SOPS 152282546 HAS SOUS 104296894 HAS SOUPS 104296894 WITH SCORE 1.04449176546E8
AT ITER 1395 NEW BEST:: SOT 701351781 SOS 152280263 HAS SOPS 152280263 HAS SOUS 104296133 HAS SOUPS 104296133 WITH SCORE 1.04448413263E8
AT ITER 1418 NEW BEST:: SOT 700867482 SOS 152152023 HAS SOPS 152152023 HAS SOUS 103817613 HAS SOUPS 103817613 WITH SCORE 1.03969765023E8
AT ITER 1470 NEW BEST:: SOT 700864485 SOS 152159025 HAS SOPS 152159025 HAS SOUS 103814616 HAS SOUPS 103814616 WITH SCORE 1.03966775025E8
AT ITER 1477 NEW BEST:: SOT 700839326 SOS 152161851 HAS SOPS 152161851 HAS SOUS 103807129 HAS SOUPS 103807129 WITH SCORE 1.03959290851E8
AT ITER 1480 NEW BEST:: SOT 700835546 SOS 152165627 HAS SOPS 152165627 HAS SOUS 103799568 HAS SOUPS 103799568 WITH SCORE 1.03951733627E8
AT ITER 1505 NEW BEST:: SOT 700834094 SOS 152163537 HAS SOPS 152163537 HAS SOUS 103798116 HAS SOUPS 103798116 WITH SCORE 1.03950279537E8
AT ITER 1510 NEW BEST:: SOT 700836181 SOS 152163535 HAS SOPS 152163535 HAS SOUS 103798115 HAS SOUPS 103798115 WITH SCORE 1.03950278535E8
AT ITER 1517 NEW BEST:: SOT 700833209 SOS 152163525 HAS SOPS 152163525 HAS SOUS 103796372 HAS SOUPS 103796372 WITH SCORE 1.03948535525E8
AT ITER 1521 NEW BEST:: SOT 700827186 SOS 152158732 HAS SOPS 152158732 HAS SOUS 103790992 HAS SOUPS 103790992 WITH SCORE 1.03943150732E8
AT ITER 1525 NEW BEST:: SOT 700827186 SOS 152158732 HAS SOPS 152158732 HAS SOUS 103788909 HAS SOUPS 103788909 WITH SCORE 1.03941067732E8
AT ITER 1531 NEW BEST:: SOT 700825518 SOS 152157064 HAS SOPS 152157064 HAS SOUS 103787241 HAS SOUPS 103787241 WITH SCORE 1.03939398064E8
AT ITER 1543 NEW BEST:: SOT 700823019 SOS 152154565 HAS SOPS 152154565 HAS SOUS 103784742 HAS SOUPS 103784742 WITH SCORE 1.03936896565E8
AT ITER 1545 NEW BEST:: SOT 700819095 SOS 152150637 HAS SOPS 152150637 HAS SOUS 103780817 HAS SOUPS 103780817 WITH SCORE 1.03932967637E8
AT ITER 1571 NEW BEST:: SOT 700815197 SOS 152196202 HAS SOPS 152196202 HAS SOUS 103778502 HAS SOUPS 103778502 WITH SCORE 1.03930698202E8
AT ITER 1573 NEW BEST:: SOT 700817203 SOS 152217469 HAS SOPS 152217469 HAS SOUS 103776760 HAS SOUPS 103776760 WITH SCORE 1.03928977469E8
AT ITER 1574 NEW BEST:: SOT 700814202 SOS 152214464 HAS SOPS 152214464 HAS SOUS 103773758 HAS SOUPS 103773758 WITH SCORE 1.03925972464E8
AT ITER 1609 NEW BEST:: SOT 700811624 SOS 152209308 HAS SOPS 152209308 HAS SOUS 103768602 HAS SOUPS 103768602 WITH SCORE 1.03920811308E8
AT ITER 1624 NEW BEST:: SOT 700811533 SOS 152209126 HAS SOPS 152209126 HAS SOUS 103768420 HAS SOUPS 103768420 WITH SCORE 1.03920629126E8
AT ITER 1630 NEW BEST:: SOT 700810973 SOS 152209122 HAS SOPS 152209122 HAS SOUS 103768419 HAS SOUPS 103768419 WITH SCORE 1.03920628122E8
AT ITER 1640 NEW BEST:: SOT 700801628 SOS 152214448 HAS SOPS 152214448 HAS SOUS 103766941 HAS SOUPS 103766941 WITH SCORE 1.03919155448E8
AT ITER 1648 NEW BEST:: SOT 700799969 SOS 152211130 HAS SOPS 152211130 HAS SOUS 103761562 HAS SOUPS 103761562 WITH SCORE 1.0391377313E8
AT ITER 1653 NEW BEST:: SOT 700799969 SOS 152209828 HAS SOPS 152209828 HAS SOUS 103761562 HAS SOUPS 103761562 WITH SCORE 1.03913771828E8
AT ITER 1738 NEW BEST:: SOT 700796808 SOS 152212985 HAS SOPS 152212985 HAS SOUS 103755239 HAS SOUPS 103755239 WITH SCORE 1.03907451985E8
AT ITER 1740 NEW BEST:: SOT 700793514 SOS 152206398 HAS SOPS 152206398 HAS SOUS 103750638 HAS SOUPS 103750638 WITH SCORE 1.03902844398E8
AT ITER 1741 NEW BEST:: SOT 700789994 SOS 152199358 HAS SOPS 152199358 HAS SOUS 103743598 HAS SOUPS 103743598 WITH SCORE 1.03895797358E8
AT ITER 1756 NEW BEST:: SOT 700787858 SOS 152197222 HAS SOPS 152197222 HAS SOUS 103743598 HAS SOUPS 103743598 WITH SCORE 1.03895795222E8
AT ITER 1758 NEW BEST:: SOT 700787625 SOS 152199410 HAS SOPS 152199410 HAS SOUS 103743365 HAS SOUPS 103743365 WITH SCORE 1.0389556441E8
AT ITER 1787 NEW BEST:: SOT 700781978 SOS 152193759 HAS SOPS 152193759 HAS SOUS 103737717 HAS SOUPS 103737717 WITH SCORE 1.03889910759E8
AT ITER 1817 NEW BEST:: SOT 700779133 SOS 152190910 HAS SOPS 152190910 HAS SOUS 103734871 HAS SOUPS 103734871 WITH SCORE 1.0388706191E8
AT ITER 1820 NEW BEST:: SOT 700778538 SOS 152189720 HAS SOPS 152189720 HAS SOUS 103733681 HAS SOUPS 103733681 WITH SCORE 1.0388587072E8
AT ITER 1822 NEW BEST:: SOT 700778538 SOS 152188147 HAS SOPS 152188147 HAS SOUS 103729458 HAS SOUPS 103729458 WITH SCORE 1.03881646147E8
AT ITER 1869 NEW BEST:: SOT 700777499 SOS 152188196 HAS SOPS 152188196 HAS SOUS 103729128 HAS SOUPS 103729128 WITH SCORE 1.03881316196E8
AT ITER 1876 NEW BEST:: SOT 700775998 SOS 152198693 HAS SOPS 152198693 HAS SOUS 103726125 HAS SOUPS 103726125 WITH SCORE 1.03878323693E8
AT ITER 1879 NEW BEST:: SOT 700778071 SOS 152196912 HAS SOPS 152196912 HAS SOUS 103724344 HAS SOUPS 103724344 WITH SCORE 1.03876540912E8
AT ITER 1891 NEW BEST:: SOT 700778071 SOS 152195371 HAS SOPS 152195371 HAS SOUS 103722803 HAS SOUPS 103722803 WITH SCORE 1.03874998371E8
AT ITER 1913 NEW BEST:: SOT 700778592 SOS 152194869 HAS SOPS 152194869 HAS SOUS 103722301 HAS SOUPS 103722301 WITH SCORE 1.03874495869E8
AT ITER 1917 NEW BEST:: SOT 700761663 SOS 152182557 HAS SOPS 152182557 HAS SOUS 103711528 HAS SOUPS 103711528 WITH SCORE 1.03863710557E8
AT ITER 1931 NEW BEST:: SOT 700761178 SOS 152181587 HAS SOPS 152181587 HAS SOUS 103711043 HAS SOUPS 103711043 WITH SCORE 1.03863224587E8
AT ITER 1948 NEW BEST:: SOT 700761178 SOS 152189431 HAS SOPS 152189431 HAS SOUS 103708426 HAS SOUPS 103708426 WITH SCORE 1.03860615431E8
AT ITER 1951 NEW BEST:: SOT 700759102 SOS 152191181 HAS SOPS 152191181 HAS SOUS 103705313 HAS SOUPS 103705313 WITH SCORE 1.03857504181E8
AT ITER 1952 NEW BEST:: SOT 700751250 SOS 152187255 HAS SOPS 152187255 HAS SOUS 103701387 HAS SOUPS 103701387 WITH SCORE 1.03853574255E8
AT ITER 1972 NEW BEST:: SOT 700748644 SOS 152184649 HAS SOPS 152184649 HAS SOUS 103698781 HAS SOUPS 103698781 WITH SCORE 1.03850965649E8
AT ITER 1983 NEW BEST:: SOT 700748371 SOS 152191582 HAS SOPS 152191582 HAS SOUS 103694631 HAS SOUPS 103694631 WITH SCORE 1.03846822582E8
AT ITER 1991 NEW BEST:: SOT 700744763 SOS 152184366 HAS SOPS 152184366 HAS SOUS 103687415 HAS SOUPS 103687415 WITH SCORE 1.03839599366E8
AT ITER 1997 NEW BEST:: SOT 700740002 SOS 152217693 HAS SOPS 152217693 HAS SOUS 103682654 HAS SOUPS 103682654 WITH SCORE 1.03834871693E8
AT ITER 2006 NEW BEST:: SOT 700740002 SOS 152217693 HAS SOPS 152217693 HAS SOUS 103681543 HAS SOUPS 103681543 WITH SCORE 1.03833760693E8
AT ITER 2018 NEW BEST:: SOT 700733799 SOS 152263172 HAS SOPS 152263172 HAS SOUS 103680233 HAS SOUPS 103680233 WITH SCORE 1.03832496172E8
AT ITER 2044 NEW BEST:: SOT 700733799 SOS 152263172 HAS SOPS 152263172 HAS SOUS 103680218 HAS SOUPS 103680218 WITH SCORE 1.03832481172E8
AT ITER 2045 NEW BEST:: SOT 700732752 SOS 152261078 HAS SOPS 152261078 HAS SOUS 103678124 HAS SOUPS 103678124 WITH SCORE 1.03830385078E8
AT ITER 2075 NEW BEST:: SOT 700732749 SOS 152261072 HAS SOPS 152261072 HAS SOUS 103678118 HAS SOUPS 103678118 WITH SCORE 1.03830379072E8
AT ITER 2115 NEW BEST:: SOT 700729566 SOS 152259618 HAS SOPS 152259618 HAS SOUS 103676664 HAS SOUPS 103676664 WITH SCORE 1.03828923618E8
AT ITER 2119 NEW BEST:: SOT 700723786 SOS 152255754 HAS SOPS 152255754 HAS SOUS 103671899 HAS SOUPS 103671899 WITH SCORE 1.03824154754E8
AT ITER 2129 NEW BEST:: SOT 700719489 SOS 152253120 HAS SOPS 152253120 HAS SOUS 103669265 HAS SOUPS 103669265 WITH SCORE 1.0382151812E8
AT ITER 2153 NEW BEST:: SOT 700716688 SOS 152250315 HAS SOPS 152250315 HAS SOUS 103666463 HAS SOUPS 103666463 WITH SCORE 1.03818713315E8
AT ITER 2154 NEW BEST:: SOT 700712111 SOS 152246336 HAS SOPS 152246336 HAS SOUS 103662484 HAS SOUPS 103662484 WITH SCORE 1.03814730336E8
AT ITER 2188 NEW BEST:: SOT 700709617 SOS 152244247 HAS SOPS 152244247 HAS SOUS 103659990 HAS SOUPS 103659990 WITH SCORE 1.03812234247E8
AT ITER 2198 NEW BEST:: SOT 700709414 SOS 152243842 HAS SOPS 152243842 HAS SOUS 103659585 HAS SOUPS 103659585 WITH SCORE 1.03811828842E8
AT ITER 2202 NEW BEST:: SOT 700710758 SOS 152246529 HAS SOPS 152246529 HAS SOUS 103659433 HAS SOUPS 103659433 WITH SCORE 1.03811679529E8
AT ITER 2205 NEW BEST:: SOT 700707320 SOS 152244810 HAS SOPS 152244810 HAS SOUS 103655995 HAS SOUPS 103655995 WITH SCORE 1.0380823981E8
AT ITER 2212 NEW BEST:: SOT 700703021 SOS 152240484 HAS SOPS 152240484 HAS SOUS 103655253 HAS SOUPS 103655253 WITH SCORE 1.03807493484E8
AT ITER 2215 NEW BEST:: SOT 700699583 SOS 152237046 HAS SOPS 152237046 HAS SOUS 103651815 HAS SOUPS 103651815 WITH SCORE 1.03804052046E8
AT ITER 2218 NEW BEST:: SOT 700699583 SOS 152235661 HAS SOPS 152235661 HAS SOUS 103651815 HAS SOUPS 103651815 WITH SCORE 1.03804050661E8
AT ITER 2238 NEW BEST:: SOT 700698221 SOS 152232937 HAS SOPS 152232937 HAS SOUS 103646641 HAS SOUPS 103646641 WITH SCORE 1.03798873937E8
AT ITER 2242 NEW BEST:: SOT 700695396 SOS 152227287 HAS SOPS 152227287 HAS SOUS 103640991 HAS SOUPS 103640991 WITH SCORE 1.03793218287E8
AT ITER 2268 NEW BEST:: SOT 700695396 SOS 152227287 HAS SOPS 152227287 HAS SOUS 103639420 HAS SOUPS 103639420 WITH SCORE 1.03791647287E8
AT ITER 2270 NEW BEST:: SOT 700698093 SOS 152218416 HAS SOPS 152218416 HAS SOUS 103638710 HAS SOUPS 103638710 WITH SCORE 1.03790928416E8
AT ITER 2294 NEW BEST:: SOT 700696684 SOS 152215598 HAS SOPS 152215598 HAS SOUS 103633777 HAS SOUPS 103633777 WITH SCORE 1.03785992598E8
AT ITER 2295 NEW BEST:: SOT 700695740 SOS 152217482 HAS SOPS 152217482 HAS SOUS 103632832 HAS SOUPS 103632832 WITH SCORE 1.03785049482E8
AT ITER 2312 NEW BEST:: SOT 700695581 SOS 152217164 HAS SOPS 152217164 HAS SOUS 103632514 HAS SOUPS 103632514 WITH SCORE 1.03784731164E8
AT ITER 2327 NEW BEST:: SOT 700695581 SOS 152217164 HAS SOPS 152217164 HAS SOUS 103632512 HAS SOUPS 103632512 WITH SCORE 1.03784729164E8
AT ITER 2342 NEW BEST:: SOT 700693016 SOS 152204339 HAS SOPS 152204339 HAS SOUS 103627382 HAS SOUPS 103627382 WITH SCORE 1.03779586339E8
AT ITER 2349 NEW BEST:: SOT 700693016 SOS 152204339 HAS SOPS 152204339 HAS SOUS 103627381 HAS SOUPS 103627381 WITH SCORE 1.03779585339E8
AT ITER 2410 NEW BEST:: SOT 700693016 SOS 152203449 HAS SOPS 152203449 HAS SOUS 103627381 HAS SOUPS 103627381 WITH SCORE 1.03779584449E8
AT ITER 2417 NEW BEST:: SOT 700691870 SOS 152201157 HAS SOPS 152201157 HAS SOUS 103625089 HAS SOUPS 103625089 WITH SCORE 1.03777290157E8
AT ITER 2420 NEW BEST:: SOT 700690766 SOS 152198949 HAS SOPS 152198949 HAS SOUS 103622881 HAS SOUPS 103622881 WITH SCORE 1.03775079949E8
AT ITER 2431 NEW BEST:: SOT 700690765 SOS 152200664 HAS SOPS 152200664 HAS SOUS 103622879 HAS SOUPS 103622879 WITH SCORE 1.03775079664E8
AT ITER 2452 NEW BEST:: SOT 700684712 SOS 152194607 HAS SOPS 152194607 HAS SOUS 103616825 HAS SOUPS 103616825 WITH SCORE 1.03769019607E8
AT ITER 2462 NEW BEST:: SOT 700669800 SOS 152195035 HAS SOPS 152195035 HAS SOUS 103609961 HAS SOUPS 103609961 WITH SCORE 1.03762156035E8
AT ITER 2467 NEW BEST:: SOT 700669800 SOS 152195035 HAS SOPS 152195035 HAS SOUS 103605425 HAS SOUPS 103605425 WITH SCORE 1.03757620035E8
AT ITER 2471 NEW BEST:: SOT 700666442 SOS 152178245 HAS SOPS 152178245 HAS SOUS 103598709 HAS SOUPS 103598709 WITH SCORE 1.03750887245E8
AT ITER 2474 NEW BEST:: SOT 700666442 SOS 152177761 HAS SOPS 152177761 HAS SOUS 103598225 HAS SOUPS 103598225 WITH SCORE 1.03750402761E8
AT ITER 2493 NEW BEST:: SOT 700665993 SOS 152178655 HAS SOPS 152178655 HAS SOUS 103598224 HAS SOUPS 103598224 WITH SCORE 1.03750402655E8
AT ITER 2510 NEW BEST:: SOT 700664778 SOS 152176225 HAS SOPS 152176225 HAS SOUS 103593215 HAS SOUPS 103593215 WITH SCORE 1.03745391225E8
AT ITER 2521 NEW BEST:: SOT 700661609 SOS 152169887 HAS SOPS 152169887 HAS SOUS 103586094 HAS SOUPS 103586094 WITH SCORE 1.03738263887E8
AT ITER 2547 NEW BEST:: SOT 700661187 SOS 152169043 HAS SOPS 152169043 HAS SOUS 103582894 HAS SOUPS 103582894 WITH SCORE 1.03735063043E8
AT ITER 2559 NEW BEST:: SOT 700659308 SOS 152172797 HAS SOPS 152172797 HAS SOUS 103581014 HAS SOUPS 103581014 WITH SCORE 1.03733186797E8
AT ITER 2564 NEW BEST:: SOT 700657937 SOS 152170055 HAS SOPS 152170055 HAS SOUS 103578272 HAS SOUPS 103578272 WITH SCORE 1.03730442055E8
AT ITER 2627 NEW BEST:: SOT 700650633 SOS 152162751 HAS SOPS 152162751 HAS SOUS 103570968 HAS SOUPS 103570968 WITH SCORE 1.03723130751E8
AT ITER 2664 NEW BEST:: SOT 700650633 SOS 152162751 HAS SOPS 152162751 HAS SOUS 103570967 HAS SOUPS 103570967 WITH SCORE 1.03723129751E8
AT ITER 2701 NEW BEST:: SOT 700648013 SOS 152157512 HAS SOPS 152157512 HAS SOUS 103565728 HAS SOUPS 103565728 WITH SCORE 1.03717885512E8
AT ITER 2743 NEW BEST:: SOT 700644271 SOS 152155872 HAS SOPS 152155872 HAS SOUS 103564091 HAS SOUPS 103564091 WITH SCORE 1.03716246872E8
AT ITER 2757 NEW BEST:: SOT 700643444 SOS 152154218 HAS SOPS 152154218 HAS SOUS 103562437 HAS SOUPS 103562437 WITH SCORE 1.03714591218E8
AT ITER 2758 NEW BEST:: SOT 700635184 SOS 152168415 HAS SOPS 152168415 HAS SOUS 103559765 HAS SOUPS 103559765 WITH SCORE 1.03711933415E8
AT ITER 2775 NEW BEST:: SOT 700633884 SOS 152167115 HAS SOPS 152167115 HAS SOUS 103558465 HAS SOUPS 103558465 WITH SCORE 1.03710632115E8
AT ITER 2787 NEW BEST:: SOT 700633760 SOS 152166867 HAS SOPS 152166867 HAS SOUS 103554668 HAS SOUPS 103554668 WITH SCORE 1.03706834867E8
AT ITER 2794 NEW BEST:: SOT 700632726 SOS 152164799 HAS SOPS 152164799 HAS SOUS 103553634 HAS SOUPS 103553634 WITH SCORE 1.03705798799E8
AT ITER 2815 NEW BEST:: SOT 700632726 SOS 152164069 HAS SOPS 152164069 HAS SOUS 103553269 HAS SOUPS 103553269 WITH SCORE 1.03705433069E8
AT ITER 2843 NEW BEST:: SOT 700632725 SOS 152164067 HAS SOPS 152164067 HAS SOUS 103553267 HAS SOUPS 103553267 WITH SCORE 1.03705431067E8
AT ITER 2854 NEW BEST:: SOT 700629908 SOS 152149982 HAS SOPS 152149982 HAS SOUS 103547633 HAS SOUPS 103547633 WITH SCORE 1.03699782982E8
AT ITER 2859 NEW BEST:: SOT 700624261 SOS 152145930 HAS SOPS 152145930 HAS SOUS 103535543 HAS SOUPS 103535543 WITH SCORE 1.0368768893E8
AT ITER 2861 NEW BEST:: SOT 700620822 SOS 152142491 HAS SOPS 152142491 HAS SOUS 103532104 HAS SOUPS 103532104 WITH SCORE 1.03684246491E8
AT ITER 2874 NEW BEST:: SOT 700615745 SOS 152142327 HAS SOPS 152142327 HAS SOUS 103529406 HAS SOUPS 103529406 WITH SCORE 1.03681548327E8
AT ITER 2881 NEW BEST:: SOT 700608184 SOS 152127205 HAS SOPS 152127205 HAS SOUS 103514284 HAS SOUPS 103514284 WITH SCORE 1.03666411205E8
AT ITER 2885 NEW BEST:: SOT 700606989 SOS 152127014 HAS SOPS 152127014 HAS SOUS 103513592 HAS SOUPS 103513592 WITH SCORE 1.03665719014E8
AT ITER 2890 NEW BEST:: SOT 700605094 SOS 152142744 HAS SOPS 152142744 HAS SOUS 103509801 HAS SOUPS 103509801 WITH SCORE 1.03661943744E8
AT ITER 2923 NEW BEST:: SOT 700605093 SOS 152137796 HAS SOPS 152137796 HAS SOUS 103504853 HAS SOUPS 103504853 WITH SCORE 1.03656990796E8
AT ITER 2942 NEW BEST:: SOT 700605093 SOS 152135640 HAS SOPS 152135640 HAS SOUS 103504853 HAS SOUPS 103504853 WITH SCORE 1.0365698864E8
AT ITER 2963 NEW BEST:: SOT 700602316 SOS 152135301 HAS SOPS 152135301 HAS SOUS 103502602 HAS SOUPS 103502602 WITH SCORE 1.03654737301E8
AT ITER 2975 NEW BEST:: SOT 700598114 SOS 152133200 HAS SOPS 152133200 HAS SOUS 103500501 HAS SOUPS 103500501 WITH SCORE 1.036526342E8
AT ITER 2986 NEW BEST:: SOT 700598470 SOS 152133912 HAS SOPS 152133912 HAS SOUS 103499575 HAS SOUPS 103499575 WITH SCORE 1.03651708912E8
AT ITER 3003 NEW BEST:: SOT 700600535 SOS 152132022 HAS SOPS 152132022 HAS SOUS 103497685 HAS SOUPS 103497685 WITH SCORE 1.03649817022E8
AT ITER 3011 NEW BEST:: SOT 700600535 SOS 152132022 HAS SOPS 152132022 HAS SOUS 103497684 HAS SOUPS 103497684 WITH SCORE 1.03649816022E8
AT ITER 3017 NEW BEST:: SOT 700599783 SOS 152130518 HAS SOPS 152130518 HAS SOUS 103496180 HAS SOUPS 103496180 WITH SCORE 1.03648310518E8
AT ITER 3038 NEW BEST:: SOT 700596411 SOS 152129095 HAS SOPS 152129095 HAS SOUS 103494757 HAS SOUPS 103494757 WITH SCORE 1.03646886095E8
AT ITER 3065 NEW BEST:: SOT 700595831 SOS 152127935 HAS SOPS 152127935 HAS SOUS 103493597 HAS SOUPS 103493597 WITH SCORE 1.03645724935E8
AT ITER 3068 NEW BEST:: SOT 700596562 SOS 152129397 HAS SOPS 152129397 HAS SOUS 103492300 HAS SOUPS 103492300 WITH SCORE 1.03644429397E8
AT ITER 3083 NEW BEST:: SOT 700596562 SOS 152127532 HAS SOPS 152127532 HAS SOUS 103492300 HAS SOUPS 103492300 WITH SCORE 1.03644427532E8
AT ITER 3090 NEW BEST:: SOT 700593580 SOS 152124550 HAS SOPS 152124550 HAS SOUS 103489318 HAS SOUPS 103489318 WITH SCORE 1.0364144255E8
AT ITER 3129 NEW BEST:: SOT 700592906 SOS 152123202 HAS SOPS 152123202 HAS SOUS 103487970 HAS SOUPS 103487970 WITH SCORE 1.03640093202E8
AT ITER 3143 NEW BEST:: SOT 700591770 SOS 152120930 HAS SOPS 152120930 HAS SOUS 103485698 HAS SOUPS 103485698 WITH SCORE 1.0363781893E8
AT ITER 3161 NEW BEST:: SOT 700591770 SOS 152118798 HAS SOPS 152118798 HAS SOUS 103485698 HAS SOUPS 103485698 WITH SCORE 1.03637816798E8
AT ITER 3165 NEW BEST:: SOT 700591365 SOS 152117988 HAS SOPS 152117988 HAS SOUS 103481485 HAS SOUPS 103481485 WITH SCORE 1.03633602988E8
AT ITER 3170 NEW BEST:: SOT 700555872 SOS 152127737 HAS SOPS 152127737 HAS SOUS 103469245 HAS SOUPS 103469245 WITH SCORE 1.03621372737E8
AT ITER 3178 NEW BEST:: SOT 700555872 SOS 152122121 HAS SOPS 152122121 HAS SOUS 103467373 HAS SOUPS 103467373 WITH SCORE 1.03619495121E8
AT ITER 3184 NEW BEST:: SOT 700554622 SOS 152123920 HAS SOPS 152123920 HAS SOUS 103466123 HAS SOUPS 103466123 WITH SCORE 1.0361824692E8
AT ITER 3186 NEW BEST:: SOT 700543186 SOS 152112484 HAS SOPS 152112484 HAS SOUS 103454687 HAS SOUPS 103454687 WITH SCORE 1.03606799484E8
AT ITER 3213 NEW BEST:: SOT 700543186 SOS 152112484 HAS SOPS 152112484 HAS SOUS 103449749 HAS SOUPS 103449749 WITH SCORE 1.03601861484E8
AT ITER 3224 NEW BEST:: SOT 700539148 SOS 152108442 HAS SOPS 152108442 HAS SOUS 103445710 HAS SOUPS 103445710 WITH SCORE 1.03597818442E8
AT ITER 3246 NEW BEST:: SOT 700539148 SOS 152103852 HAS SOPS 152103852 HAS SOUS 103444180 HAS SOUPS 103444180 WITH SCORE 1.03596283852E8
AT ITER 3267 NEW BEST:: SOT 700538118 SOS 152101792 HAS SOPS 152101792 HAS SOUS 103442120 HAS SOUPS 103442120 WITH SCORE 1.03594221792E8
AT ITER 3276 NEW BEST:: SOT 700534936 SOS 152095428 HAS SOPS 152095428 HAS SOUS 103435756 HAS SOUPS 103435756 WITH SCORE 1.03587851428E8
AT ITER 3296 NEW BEST:: SOT 700534936 SOS 152095428 HAS SOPS 152095428 HAS SOUS 103430053 HAS SOUPS 103430053 WITH SCORE 1.03582148428E8
AT ITER 3301 NEW BEST:: SOT 700532991 SOS 152091538 HAS SOPS 152091538 HAS SOUS 103426163 HAS SOUPS 103426163 WITH SCORE 1.03578254538E8
AT ITER 3347 NEW BEST:: SOT 700525782 SOS 152098747 HAS SOPS 152098747 HAS SOUS 103416924 HAS SOUPS 103416924 WITH SCORE 1.03569022747E8
AT ITER 3377 NEW BEST:: SOT 700522473 SOS 152097412 HAS SOPS 152097412 HAS SOUS 103415589 HAS SOUPS 103415589 WITH SCORE 1.03567686412E8
AT ITER 3385 NEW BEST:: SOT 700522473 SOS 152096733 HAS SOPS 152096733 HAS SOUS 103414910 HAS SOUPS 103414910 WITH SCORE 1.03567006733E8
AT ITER 3398 NEW BEST:: SOT 700520031 SOS 152091849 HAS SOPS 152091849 HAS SOUS 103410026 HAS SOUPS 103410026 WITH SCORE 1.03562117849E8
AT ITER 3425 NEW BEST:: SOT 700520031 SOS 152084253 HAS SOPS 152084253 HAS SOUS 103407494 HAS SOUPS 103407494 WITH SCORE 1.03559578253E8
AT ITER 3438 NEW BEST:: SOT 700519851 SOS 152083893 HAS SOPS 152083893 HAS SOUS 103407134 HAS SOUPS 103407134 WITH SCORE 1.03559217893E8
AT ITER 3478 NEW BEST:: SOT 700517878 SOS 152079947 HAS SOPS 152079947 HAS SOUS 103403188 HAS SOUPS 103403188 WITH SCORE 1.03555267947E8
AT ITER 3488 NEW BEST:: SOT 700514654 SOS 152076719 HAS SOPS 152076719 HAS SOUS 103399963 HAS SOUPS 103399963 WITH SCORE 1.03552039719E8
AT ITER 3515 NEW BEST:: SOT 700506966 SOS 152069629 HAS SOPS 152069629 HAS SOUS 103392573 HAS SOUPS 103392573 WITH SCORE 1.03544642629E8
AT ITER 3521 NEW BEST:: SOT 700500012 SOS 152066152 HAS SOPS 152066152 HAS SOUS 103389096 HAS SOUPS 103389096 WITH SCORE 1.03541162152E8
AT ITER 3573 NEW BEST:: SOT 700500011 SOS 152066150 HAS SOPS 152066150 HAS SOUS 103389094 HAS SOUPS 103389094 WITH SCORE 1.0354116015E8
AT ITER 3586 NEW BEST:: SOT 700497306 SOS 152066140 HAS SOPS 152066140 HAS SOUS 103387156 HAS SOUPS 103387156 WITH SCORE 1.0353922214E8
AT ITER 3593 NEW BEST:: SOT 700496611 SOS 152064750 HAS SOPS 152064750 HAS SOUS 103385766 HAS SOUPS 103385766 WITH SCORE 1.0353783075E8
AT ITER 3601 NEW BEST:: SOT 700496610 SOS 152064748 HAS SOPS 152064748 HAS SOUS 103385764 HAS SOUPS 103385764 WITH SCORE 1.03537828748E8
AT ITER 3607 NEW BEST:: SOT 700492601 SOS 152064747 HAS SOPS 152064747 HAS SOUS 103385763 HAS SOUPS 103385763 WITH SCORE 1.03537827747E8
AT ITER 3609 NEW BEST:: SOT 700489975 SOS 152063954 HAS SOPS 152063954 HAS SOUS 103384375 HAS SOUPS 103384375 WITH SCORE 1.03536438954E8
AT ITER 3688 NEW BEST:: SOT 700488376 SOS 152067144 HAS SOPS 152067144 HAS SOUS 103382774 HAS SOUPS 103382774 WITH SCORE 1.03534841144E8
AT ITER 3713 NEW BEST:: SOT 700480054 SOS 152065260 HAS SOPS 152065260 HAS SOUS 103379372 HAS SOUPS 103379372 WITH SCORE 1.0353143726E8
AT ITER 3733 NEW BEST:: SOT 700476122 SOS 152041754 HAS SOPS 152041754 HAS SOUS 103371508 HAS SOUPS 103371508 WITH SCORE 1.03523549754E8
AT ITER 3744 NEW BEST:: SOT 700476122 SOS 152041267 HAS SOPS 152041267 HAS SOUS 103371021 HAS SOUPS 103371021 WITH SCORE 1.03523062267E8
AT ITER 3745 NEW BEST:: SOT 700473019 SOS 152035061 HAS SOPS 152035061 HAS SOUS 103364070 HAS SOUPS 103364070 WITH SCORE 1.03516105061E8
AT ITER 3755 NEW BEST:: SOT 700473019 SOS 152035477 HAS SOPS 152035477 HAS SOUS 103364068 HAS SOUPS 103364068 WITH SCORE 1.03516103477E8
AT ITER 3790 NEW BEST:: SOT 700473522 SOS 152034277 HAS SOPS 152034277 HAS SOUS 103362868 HAS SOUPS 103362868 WITH SCORE 1.03514902277E8
AT ITER 3806 NEW BEST:: SOT 700470042 SOS 152027317 HAS SOPS 152027317 HAS SOUS 103355908 HAS SOUPS 103355908 WITH SCORE 1.03507935317E8
AT ITER 3833 NEW BEST:: SOT 700470041 SOS 152027315 HAS SOPS 152027315 HAS SOUS 103355906 HAS SOUPS 103355906 WITH SCORE 1.03507933315E8
AT ITER 3843 NEW BEST:: SOT 700469078 SOS 152025390 HAS SOPS 152025390 HAS SOUS 103353981 HAS SOUPS 103353981 WITH SCORE 1.0350600639E8
AT ITER 3859 NEW BEST:: SOT 700460448 SOS 152021075 HAS SOPS 152021075 HAS SOUS 103349666 HAS SOUPS 103349666 WITH SCORE 1.03501687075E8
AT ITER 3897 NEW BEST:: SOT 700460448 SOS 152022459 HAS SOPS 152022459 HAS SOUS 103349664 HAS SOUPS 103349664 WITH SCORE 1.03501686459E8
AT ITER 3929 NEW BEST:: SOT 700459864 SOS 152021291 HAS SOPS 152021291 HAS SOUS 103348496 HAS SOUPS 103348496 WITH SCORE 1.03500517291E8
AT ITER 3949 NEW BEST:: SOT 700459426 SOS 152020415 HAS SOPS 152020415 HAS SOUS 103347620 HAS SOUPS 103347620 WITH SCORE 1.03499640415E8
AT ITER 4003 NEW BEST:: SOT 700453721 SOS 152012093 HAS SOPS 152012093 HAS SOUS 103341915 HAS SOUPS 103341915 WITH SCORE 1.03493927093E8
AT ITER 4010 NEW BEST:: SOT 700453754 SOS 152012159 HAS SOPS 152012159 HAS SOUS 103338280 HAS SOUPS 103338280 WITH SCORE 1.03490292159E8
AT ITER 4056 NEW BEST:: SOT 700451342 SOS 152000099 HAS SOPS 152000099 HAS SOUS 103333456 HAS SOUPS 103333456 WITH SCORE 1.03485456099E8
AT ITER 4066 NEW BEST:: SOT 700451341 SOS 152000097 HAS SOPS 152000097 HAS SOUS 103333454 HAS SOUPS 103333454 WITH SCORE 1.03485454097E8
AT ITER 4069 NEW BEST:: SOT 700451036 SOS 151999487 HAS SOPS 151999487 HAS SOUS 103332844 HAS SOUPS 103332844 WITH SCORE 1.03484843487E8
AT ITER 4070 NEW BEST:: SOT 700450755 SOS 151998925 HAS SOPS 151998925 HAS SOUS 103332563 HAS SOUPS 103332563 WITH SCORE 1.03484561925E8
AT ITER 4085 NEW BEST:: SOT 700449793 SOS 151997001 HAS SOPS 151997001 HAS SOUS 103331601 HAS SOUPS 103331601 WITH SCORE 1.03483598001E8
AT ITER 4092 NEW BEST:: SOT 700446367 SOS 151993744 HAS SOPS 151993744 HAS SOUS 103328175 HAS SOUPS 103328175 WITH SCORE 1.03480168744E8
AT ITER 4097 NEW BEST:: SOT 700446367 SOS 151993616 HAS SOPS 151993616 HAS SOUS 103328047 HAS SOUPS 103328047 WITH SCORE 1.03480040616E8
AT ITER 4188 NEW BEST:: SOT 700442587 SOS 151997498 HAS SOPS 151997498 HAS SOUS 103322496 HAS SOUPS 103322496 WITH SCORE 1.03474493498E8
AT ITER 4189 NEW BEST:: SOT 700442586 SOS 151997026 HAS SOPS 151997026 HAS SOUS 103322024 HAS SOUPS 103322024 WITH SCORE 1.03474021026E8
AT ITER 4195 NEW BEST:: SOT 700439705 SOS 151994145 HAS SOPS 151994145 HAS SOUS 103319143 HAS SOUPS 103319143 WITH SCORE 1.03471137145E8
AT ITER 4247 NEW BEST:: SOT 700438560 SOS 151991855 HAS SOPS 151991855 HAS SOUS 103316853 HAS SOUPS 103316853 WITH SCORE 1.03468844855E8
AT ITER 4253 NEW BEST:: SOT 700434434 SOS 151973485 HAS SOPS 151973485 HAS SOUS 103309820 HAS SOUPS 103309820 WITH SCORE 1.03461793485E8
AT ITER 4287 NEW BEST:: SOT 700432741 SOS 151975178 HAS SOPS 151975178 HAS SOUS 103308127 HAS SOUPS 103308127 WITH SCORE 1.03460102178E8
AT ITER 4355 NEW BEST:: SOT 700429564 SOS 151975178 HAS SOPS 151975178 HAS SOUS 103304950 HAS SOUPS 103304950 WITH SCORE 1.03456925178E8
AT ITER 4359 NEW BEST:: SOT 700429234 SOS 151974518 HAS SOPS 151974518 HAS SOUS 103304620 HAS SOUPS 103304620 WITH SCORE 1.03456594518E8
AT ITER 4384 NEW BEST:: SOT 700428893 SOS 151973836 HAS SOPS 151973836 HAS SOUS 103303938 HAS SOUPS 103303938 WITH SCORE 1.03455911836E8
AT ITER 4390 NEW BEST:: SOT 700428892 SOS 151972141 HAS SOPS 151972141 HAS SOUS 103302243 HAS SOUPS 103302243 WITH SCORE 1.03454215141E8
AT ITER 4401 NEW BEST:: SOT 700428892 SOS 151971248 HAS SOPS 151971248 HAS SOUS 103302243 HAS SOUPS 103302243 WITH SCORE 1.03454214248E8
AT ITER 4441 NEW BEST:: SOT 700428473 SOS 151972294 HAS SOPS 151972294 HAS SOUS 103302033 HAS SOUPS 103302033 WITH SCORE 1.03454005294E8
AT ITER 4446 NEW BEST:: SOT 700428473 SOS 151971672 HAS SOPS 151971672 HAS SOUS 103302033 HAS SOUPS 103302033 WITH SCORE 1.03454004672E8
AT ITER 4502 NEW BEST:: SOT 700428542 SOS 151971504 HAS SOPS 151971504 HAS SOUS 103301865 HAS SOUPS 103301865 WITH SCORE 1.03453836504E8
AT ITER 4526 NEW BEST:: SOT 700431073 SOS 151976566 HAS SOPS 151976566 HAS SOUS 103299007 HAS SOUPS 103299007 WITH SCORE 1.03450983566E8
AT ITER 4572 NEW BEST:: SOT 700426900 SOS 151972389 HAS SOPS 151972389 HAS SOUS 103294833 HAS SOUPS 103294833 WITH SCORE 1.03446805389E8
AT ITER 4575 NEW BEST:: SOT 700423185 SOS 151953814 HAS SOPS 151953814 HAS SOUS 103287403 HAS SOUPS 103287403 WITH SCORE 1.03439356814E8
AT ITER 4577 NEW BEST:: SOT 700420800 SOS 151949044 HAS SOPS 151949044 HAS SOUS 103279654 HAS SOUPS 103279654 WITH SCORE 1.03431603044E8
AT ITER 4585 NEW BEST:: SOT 700409384 SOS 151952228 HAS SOPS 151952228 HAS SOUS 103276038 HAS SOUPS 103276038 WITH SCORE 1.03427990228E8
AT ITER 4613 NEW BEST:: SOT 700409285 SOS 151952030 HAS SOPS 151952030 HAS SOUS 103275840 HAS SOUPS 103275840 WITH SCORE 1.0342779203E8
AT ITER 4652 NEW BEST:: SOT 700403977 SOS 151920800 HAS SOPS 151920800 HAS SOUS 103256123 HAS SOUPS 103256123 WITH SCORE 1.034080438E8
AT ITER 4666 NEW BEST:: SOT 700399205 SOS 151896940 HAS SOPS 151896940 HAS SOUS 103246579 HAS SOUPS 103246579 WITH SCORE 1.0339847594E8
AT ITER 4670 NEW BEST:: SOT 700401059 SOS 151900648 HAS SOPS 151900648 HAS SOUS 103245771 HAS SOUPS 103245771 WITH SCORE 1.03397671648E8
AT ITER 4687 NEW BEST:: SOT 700398570 SOS 151895670 HAS SOPS 151895670 HAS SOUS 103240793 HAS SOUPS 103240793 WITH SCORE 1.0339268867E8
AT ITER 4690 NEW BEST:: SOT 700395493 SOS 151897505 HAS SOPS 151897505 HAS SOUS 103240687 HAS SOUPS 103240687 WITH SCORE 1.03392584505E8
AT ITER 4701 NEW BEST:: SOT 700395492 SOS 151897503 HAS SOPS 151897503 HAS SOUS 103240685 HAS SOUPS 103240685 WITH SCORE 1.03392582503E8
AT ITER 4710 NEW BEST:: SOT 700399003 SOS 151904525 HAS SOPS 151904525 HAS SOUS 103239713 HAS SOUPS 103239713 WITH SCORE 1.03391617525E8
AT ITER 4712 NEW BEST:: SOT 700398402 SOS 151904524 HAS SOPS 151904524 HAS SOUS 103239712 HAS SOUPS 103239712 WITH SCORE 1.03391616524E8
AT ITER 4749 NEW BEST:: SOT 700397509 SOS 151904589 HAS SOPS 151904589 HAS SOUS 103239436 HAS SOUPS 103239436 WITH SCORE 1.03391340589E8
AT ITER 4757 NEW BEST:: SOT 700395090 SOS 151901529 HAS SOPS 151901529 HAS SOUS 103238154 HAS SOUPS 103238154 WITH SCORE 1.03390055529E8
AT ITER 4783 NEW BEST:: SOT 700392011 SOS 151895371 HAS SOPS 151895371 HAS SOUS 103231996 HAS SOUPS 103231996 WITH SCORE 1.03383891371E8
AT ITER 4795 NEW BEST:: SOT 700392010 SOS 151895369 HAS SOPS 151895369 HAS SOUS 103231994 HAS SOUPS 103231994 WITH SCORE 1.03383889369E8
AT ITER 4810 NEW BEST:: SOT 700388640 SOS 151891999 HAS SOPS 151891999 HAS SOUS 103228624 HAS SOUPS 103228624 WITH SCORE 1.03380515999E8
AT ITER 4833 NEW BEST:: SOT 700381438 SOS 151877595 HAS SOPS 151877595 HAS SOUS 103214220 HAS SOUPS 103214220 WITH SCORE 1.03366097595E8
AT ITER 4844 NEW BEST:: SOT 700381044 SOS 151876807 HAS SOPS 151876807 HAS SOUS 103213432 HAS SOUPS 103213432 WITH SCORE 1.03365308807E8
AT ITER 4864 NEW BEST:: SOT 700379898 SOS 151874515 HAS SOPS 151874515 HAS SOUS 103211140 HAS SOUPS 103211140 WITH SCORE 1.03363014515E8
AT ITER 4872 NEW BEST:: SOT 700375755 SOS 151870778 HAS SOPS 151870778 HAS SOUS 103207403 HAS SOUPS 103207403 WITH SCORE 1.03359273778E8
AT ITER 4881 NEW BEST:: SOT 700372441 SOS 151868917 HAS SOPS 151868917 HAS SOUS 103205544 HAS SOUPS 103205544 WITH SCORE 1.03357412917E8
AT ITER 4906 NEW BEST:: SOT 700370074 SOS 151866550 HAS SOPS 151866550 HAS SOUS 103203177 HAS SOUPS 103203177 WITH SCORE 1.0335504355E8
AT ITER 4935 NEW BEST:: SOT 700369130 SOS 151864662 HAS SOPS 151864662 HAS SOUS 103201289 HAS SOUPS 103201289 WITH SCORE 1.03353153662E8
AT ITER 4983 NEW BEST:: SOT 700365148 SOS 151862671 HAS SOPS 151862671 HAS SOUS 103199298 HAS SOUPS 103199298 WITH SCORE 1.03351160671E8
AT ITER 4989 NEW BEST:: SOT 700365147 SOS 151862669 HAS SOPS 151862669 HAS SOUS 103199297 HAS SOUPS 103199297 WITH SCORE 1.03351159669E8
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: DLCshifumi-PT-5b-CTLCardinality-00 (! (AF(( (! potential( (tk(P1516)) <= (tk(P4210)) )) & potential( (tk(P12786)) <= (tk(P17471)) ) ))))
PROPERTY: DLCshifumi-PT-5b-CTLCardinality-01 (AG( ( ( ( potential( (tk(P22686)) <= (tk(P19977)) ) | potential( (tk(P9682)) <= (tk(P19818)) ) ) | (! potential( ( 1 ) <= (tk(P19518)) )) ) | (AF(potential( (tk(P4289)) <= (tk(P9846)) ))) )))
PROPERTY: DLCshifumi-PT-5b-CTLCardinality-02 (EG( (AX( ( potential( (tk(P20222)) <= (tk(P18976)) ) & potential( (tk(P2998)) <= (tk(P517)) ) )))))
PROPERTY: DLCshifumi-PT-5b-CTLCardinality-03 (EG( ( ( (! potential( (tk(P9296)) <= (tk(P18660)) )) | ( potential( ( 2 ) <= (tk(P18808)) ) | potential( ( 3 ) <= (tk(P14862)) ) ) ) | potential( (tk(P25497)) <= (tk(P21746)) ) )))
PROPERTY: DLCshifumi-PT-5b-CTLCardinality-04 (EG( (! (AX( potential( ( 2 ) <= (tk(P6079)) ))))))
PROPERTY: DLCshifumi-PT-5b-CTLCardinality-05 (AX( (EU( potential( (tk(P8004)) <= (tk(P9580)) ),potential( ( 1 ) <= (tk(P15281)) ) ))))
PROPERTY: DLCshifumi-PT-5b-CTLCardinality-06 (AU( (! (! potential( (tk(P2099)) <= (tk(P17739)) ))),( ( potential( ( 1 ) <= (tk(P25123)) ) & potential( ( 1 ) <= (tk(P26845)) ) ) | (! potential( (tk(P20722)) <= (tk(P17288)) )) ) ))
PROPERTY: DLCshifumi-PT-5b-CTLCardinality-07 (AG( (AF(( potential( (tk(P19666)) <= (tk(P17734)) ) | potential( ( 2 ) <= (tk(P10046)) ) )))))
PROPERTY: DLCshifumi-PT-5b-CTLCardinality-08 ( (AF((EX( potential( ( 3 ) <= (tk(P7894)) ))))) | ( (! (! potential( (tk(P1728)) <= (tk(P12500)) ))) & ( ( ( potential( ( 1 ) <= (tk(P128)) ) | potential( ( 2 ) <= (tk(P19337)) ) ) & (! potential( ( 2 ) <= (tk(P2376)) )) ) & ( (! potential( (tk(P25464)) <= (tk(P15382)) )) & ( potential( ( 3 ) <= (tk(P6984)) ) & potential( (tk(P24843)) <= (tk(P9121)) ) ) ) ) ) )
PROPERTY: DLCshifumi-PT-5b-CTLCardinality-09 (EU( (EG( potential( (tk(P12706)) <= (tk(P11994)) ))),(! ( potential( (tk(P16524)) <= (tk(P9105)) ) | potential( ( 3 ) <= (tk(P21853)) ) )) ))
PROPERTY: DLCshifumi-PT-5b-CTLCardinality-10 (AG( (! ( ( potential( ( 1 ) <= (tk(P16128)) ) | potential( ( 2 ) <= (tk(P12970)) ) ) & (! potential( (tk(P2833)) <= (tk(P14137)) )) ))))
PROPERTY: DLCshifumi-PT-5b-CTLCardinality-11 (AF(potential( ( 1 ) <= (tk(P1873)) )))
PROPERTY: DLCshifumi-PT-5b-CTLCardinality-12 (EU( potential( (tk(P2526)) <= (tk(P7399)) ),( (! potential( (tk(P605)) <= (tk(P20463)) )) & ( potential( ( 2 ) <= (tk(P24032)) ) | potential( (tk(P4643)) <= (tk(P25184)) ) ) ) ))
PROPERTY: DLCshifumi-PT-5b-CTLCardinality-13 (AF((AU( potential( ( 3 ) <= (tk(P26266)) ),potential( ( 3 ) <= (tk(P17828)) ) ))))
PROPERTY: DLCshifumi-PT-5b-CTLCardinality-14 (AF((AG( (! potential( (tk(P21812)) <= (tk(P17502)) ))))))
PROPERTY: DLCshifumi-PT-5b-CTLCardinality-15 (AU( (EG( potential( (tk(P15625)) <= (tk(P16431)) ))),potential( ( 3 ) <= (tk(P4775)) ) ))

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-5b"
export BK_EXAMINATION="CTLCardinality"
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-5b, examination is CTLCardinality"
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-158922806900059"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DLCshifumi-PT-5b.tgz
mv DLCshifumi-PT-5b execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;