Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902542400619.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
........................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DLCround-PT-13b, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542400619
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.3M
-rw-r--r-- 1 mcc users 3.4K Mar 30 21:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 30 21:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 29 11:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 29 11:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K 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 4.0K Mar 28 07:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 28 07:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 27 01:33 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 27 01:33 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 2.1M Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1590869273250

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 13b
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: 5343 places, 8727 transitions, 24849 arcs.
AT ITER 0 NEW BEST:: SOT 30665414 SOS 7539059 HAS SOPS 7539059 HAS SOUS 3929360 HAS SOUPS 3929360 WITH SCORE 3936899.059
AT ITER 19 NEW BEST:: SOT 30665414 SOS 7540529 HAS SOPS 7540529 HAS SOUS 3929358 HAS SOUPS 3929358 WITH SCORE 3936898.529
AT ITER 42 NEW BEST:: SOT 30665554 SOS 7540809 HAS SOPS 7540809 HAS SOUS 3928772 HAS SOUPS 3928772 WITH SCORE 3936312.809
AT ITER 48 NEW BEST:: SOT 30664772 SOS 7546283 HAS SOPS 7546283 HAS SOUS 3927990 HAS SOUPS 3927990 WITH SCORE 3935536.283
AT ITER 53 NEW BEST:: SOT 30664772 SOS 7545671 HAS SOPS 7545671 HAS SOUS 3927990 HAS SOUPS 3927990 WITH SCORE 3935535.671
AT ITER 54 NEW BEST:: SOT 30662422 SOS 7548071 HAS SOPS 7548071 HAS SOUS 3926224 HAS SOUPS 3926224 WITH SCORE 3933772.071
AT ITER 75 NEW BEST:: SOT 30662306 SOS 7547839 HAS SOPS 7547839 HAS SOUS 3925992 HAS SOUPS 3925992 WITH SCORE 3933539.839
AT ITER 79 NEW BEST:: SOT 30661318 SOS 7546851 HAS SOPS 7546851 HAS SOUS 3925004 HAS SOUPS 3925004 WITH SCORE 3932550.851
AT ITER 87 NEW BEST:: SOT 30660035 SOS 7548134 HAS SOPS 7548134 HAS SOUS 3923529 HAS SOUPS 3923529 WITH SCORE 3931077.134
AT ITER 111 NEW BEST:: SOT 30659548 SOS 7547160 HAS SOPS 7547160 HAS SOUS 3922555 HAS SOUPS 3922555 WITH SCORE 3930102.16
AT ITER 152 NEW BEST:: SOT 30659548 SOS 7546140 HAS SOPS 7546140 HAS SOUS 3922555 HAS SOUPS 3922555 WITH SCORE 3930101.14
AT ITER 153 NEW BEST:: SOT 30659548 SOS 7545747 HAS SOPS 7545747 HAS SOUS 3922424 HAS SOUPS 3922424 WITH SCORE 3929969.747
AT ITER 168 NEW BEST:: SOT 30659230 SOS 7545744 HAS SOPS 7545744 HAS SOUS 3922423 HAS SOUPS 3922423 WITH SCORE 3929968.744
AT ITER 171 NEW BEST:: SOT 30658651 SOS 7545949 HAS SOPS 7545949 HAS SOUS 3922332 HAS SOUPS 3922332 WITH SCORE 3929877.949
AT ITER 176 NEW BEST:: SOT 30657736 SOS 7545939 HAS SOPS 7545939 HAS SOUS 3921747 HAS SOUPS 3921747 WITH SCORE 3929292.939
AT ITER 186 NEW BEST:: SOT 30656727 SOS 7544920 HAS SOPS 7544920 HAS SOUS 3920737 HAS SOUPS 3920737 WITH SCORE 3928281.92
AT ITER 205 NEW BEST:: SOT 30656696 SOS 7544951 HAS SOPS 7544951 HAS SOUS 3920706 HAS SOUPS 3920706 WITH SCORE 3928250.951
AT ITER 208 NEW BEST:: SOT 30655306 SOS 7544385 HAS SOPS 7544385 HAS SOUS 3920054 HAS SOUPS 3920054 WITH SCORE 3927598.385
AT ITER 224 NEW BEST:: SOT 30654878 SOS 7546628 HAS SOPS 7546628 HAS SOUS 3918711 HAS SOUPS 3918711 WITH SCORE 3926257.628
AT ITER 249 NEW BEST:: SOT 30654101 SOS 7542743 HAS SOPS 7542743 HAS SOUS 3917157 HAS SOUPS 3917157 WITH SCORE 3924699.743
AT ITER 253 NEW BEST:: SOT 30654007 SOS 7542649 HAS SOPS 7542649 HAS SOUS 3917157 HAS SOUPS 3917157 WITH SCORE 3924699.649
AT ITER 255 NEW BEST:: SOT 30654007 SOS 7542311 HAS SOPS 7542311 HAS SOUS 3916988 HAS SOUPS 3916988 WITH SCORE 3924530.311
AT ITER 257 NEW BEST:: SOT 30653815 SOS 7541543 HAS SOPS 7541543 HAS SOUS 3916604 HAS SOUPS 3916604 WITH SCORE 3924145.543
AT ITER 280 NEW BEST:: SOT 30653815 SOS 7541542 HAS SOPS 7541542 HAS SOUS 3915989 HAS SOUPS 3915989 WITH SCORE 3923530.542
AT ITER 308 NEW BEST:: SOT 30653363 SOS 7541538 HAS SOPS 7541538 HAS SOUS 3915988 HAS SOUPS 3915988 WITH SCORE 3923529.538
AT ITER 324 NEW BEST:: SOT 30652299 SOS 7540474 HAS SOPS 7540474 HAS SOUS 3913860 HAS SOUPS 3913860 WITH SCORE 3921400.474
AT ITER 327 NEW BEST:: SOT 30651928 SOS 7539732 HAS SOPS 7539732 HAS SOUS 3913118 HAS SOUPS 3913118 WITH SCORE 3920657.732
AT ITER 333 NEW BEST:: SOT 30651928 SOS 7539731 HAS SOPS 7539731 HAS SOUS 3913116 HAS SOUPS 3913116 WITH SCORE 3920655.731
AT ITER 336 NEW BEST:: SOT 30652090 SOS 7540055 HAS SOPS 7540055 HAS SOUS 3911583 HAS SOUPS 3911583 WITH SCORE 3919123.055
AT ITER 345 NEW BEST:: SOT 30652442 SOS 7544226 HAS SOPS 7544226 HAS SOUS 3911129 HAS SOUPS 3911129 WITH SCORE 3918673.226
AT ITER 349 NEW BEST:: SOT 30652442 SOS 7544225 HAS SOPS 7544225 HAS SOUS 3911128 HAS SOUPS 3911128 WITH SCORE 3918672.225
AT ITER 353 NEW BEST:: SOT 30652442 SOS 7543569 HAS SOPS 7543569 HAS SOUS 3911127 HAS SOUPS 3911127 WITH SCORE 3918670.569
AT ITER 362 NEW BEST:: SOT 30652143 SOS 7542971 HAS SOPS 7542971 HAS SOUS 3909994 HAS SOUPS 3909994 WITH SCORE 3917536.971
AT ITER 377 NEW BEST:: SOT 30652143 SOS 7541114 HAS SOPS 7541114 HAS SOUS 3909375 HAS SOUPS 3909375 WITH SCORE 3916916.114
AT ITER 385 NEW BEST:: SOT 30650976 SOS 7539785 HAS SOPS 7539785 HAS SOUS 3909051 HAS SOUPS 3909051 WITH SCORE 3916590.785
AT ITER 387 NEW BEST:: SOT 30650975 SOS 7539783 HAS SOPS 7539783 HAS SOUS 3909049 HAS SOUPS 3909049 WITH SCORE 3916588.783
AT ITER 393 NEW BEST:: SOT 30650975 SOS 7539978 HAS SOPS 7539978 HAS SOUS 3909048 HAS SOUPS 3909048 WITH SCORE 3916587.978
AT ITER 405 NEW BEST:: SOT 30649714 SOS 7555144 HAS SOPS 7555144 HAS SOUS 3908474 HAS SOUPS 3908474 WITH SCORE 3916029.144
AT ITER 431 NEW BEST:: SOT 30649413 SOS 7556539 HAS SOPS 7556539 HAS SOUS 3908270 HAS SOUPS 3908270 WITH SCORE 3915826.539
AT ITER 435 NEW BEST:: SOT 30648486 SOS 7554685 HAS SOPS 7554685 HAS SOUS 3905908 HAS SOUPS 3905908 WITH SCORE 3913462.685
AT ITER 437 NEW BEST:: SOT 30646864 SOS 7553210 HAS SOPS 7553210 HAS SOUS 3904286 HAS SOUPS 3904286 WITH SCORE 3911839.21
AT ITER 438 NEW BEST:: SOT 30645922 SOS 7552268 HAS SOPS 7552268 HAS SOUS 3903344 HAS SOUPS 3903344 WITH SCORE 3910896.268
AT ITER 441 NEW BEST:: SOT 30645802 SOS 7552267 HAS SOPS 7552267 HAS SOUS 3903343 HAS SOUPS 3903343 WITH SCORE 3910895.267
AT ITER 452 NEW BEST:: SOT 30645802 SOS 7553208 HAS SOPS 7553208 HAS SOUS 3903342 HAS SOUPS 3903342 WITH SCORE 3910895.208
AT ITER 512 NEW BEST:: SOT 30645802 SOS 7553204 HAS SOPS 7553204 HAS SOUS 3903341 HAS SOUPS 3903341 WITH SCORE 3910894.204
AT ITER 525 NEW BEST:: SOT 30644850 SOS 7542732 HAS SOPS 7542732 HAS SOUS 3901437 HAS SOUPS 3901437 WITH SCORE 3908979.732
AT ITER 560 NEW BEST:: SOT 30644467 SOS 7544006 HAS SOPS 7544006 HAS SOUS 3901351 HAS SOUPS 3901351 WITH SCORE 3908895.006
AT ITER 562 NEW BEST:: SOT 30643223 SOS 7544553 HAS SOPS 7544553 HAS SOUS 3898862 HAS SOUPS 3898862 WITH SCORE 3906406.553
AT ITER 567 NEW BEST:: SOT 30643223 SOS 7544583 HAS SOPS 7544583 HAS SOUS 3898860 HAS SOUPS 3898860 WITH SCORE 3906404.583
AT ITER 581 NEW BEST:: SOT 30643222 SOS 7544581 HAS SOPS 7544581 HAS SOUS 3898858 HAS SOUPS 3898858 WITH SCORE 3906402.581
AT ITER 586 NEW BEST:: SOT 30642212 SOS 7543571 HAS SOPS 7543571 HAS SOUS 3897848 HAS SOUPS 3897848 WITH SCORE 3905391.571
AT ITER 625 NEW BEST:: SOT 30642172 SOS 7543491 HAS SOPS 7543491 HAS SOUS 3897808 HAS SOUPS 3897808 WITH SCORE 3905351.491
AT ITER 626 NEW BEST:: SOT 30640624 SOS 7534203 HAS SOPS 7534203 HAS SOUS 3895486 HAS SOUPS 3895486 WITH SCORE 3903020.203
AT ITER 650 NEW BEST:: SOT 30640624 SOS 7534203 HAS SOPS 7534203 HAS SOUS 3895485 HAS SOUPS 3895485 WITH SCORE 3903019.203
AT ITER 655 NEW BEST:: SOT 30640624 SOS 7535605 HAS SOPS 7535605 HAS SOUS 3895483 HAS SOUPS 3895483 WITH SCORE 3903018.605
AT ITER 666 NEW BEST:: SOT 30640485 SOS 7535475 HAS SOPS 7535475 HAS SOUS 3895353 HAS SOUPS 3895353 WITH SCORE 3902888.475
AT ITER 702 NEW BEST:: SOT 30639629 SOS 7533435 HAS SOPS 7533435 HAS SOUS 3893491 HAS SOUPS 3893491 WITH SCORE 3901024.435
AT ITER 730 NEW BEST:: SOT 30639615 SOS 7533421 HAS SOPS 7533421 HAS SOUS 3893477 HAS SOUPS 3893477 WITH SCORE 3901010.421
AT ITER 739 NEW BEST:: SOT 30639614 SOS 7533419 HAS SOPS 7533419 HAS SOUS 3893475 HAS SOUPS 3893475 WITH SCORE 3901008.419
AT ITER 743 NEW BEST:: SOT 30638252 SOS 7533095 HAS SOPS 7533095 HAS SOUS 3892913 HAS SOUPS 3892913 WITH SCORE 3900446.095
AT ITER 747 NEW BEST:: SOT 30637965 SOS 7533652 HAS SOPS 7533652 HAS SOUS 3892626 HAS SOUPS 3892626 WITH SCORE 3900159.652
AT ITER 761 NEW BEST:: SOT 30637965 SOS 7533652 HAS SOPS 7533652 HAS SOUS 3892625 HAS SOUPS 3892625 WITH SCORE 3900158.652
AT ITER 765 NEW BEST:: SOT 30637965 SOS 7533652 HAS SOPS 7533652 HAS SOUS 3892624 HAS SOUPS 3892624 WITH SCORE 3900157.652
AT ITER 776 NEW BEST:: SOT 30637965 SOS 7535222 HAS SOPS 7535222 HAS SOUS 3892622 HAS SOUPS 3892622 WITH SCORE 3900157.222
AT ITER 797 NEW BEST:: SOT 30637102 SOS 7535182 HAS SOPS 7535182 HAS SOUS 3892618 HAS SOUPS 3892618 WITH SCORE 3900153.182
AT ITER 801 NEW BEST:: SOT 30637102 SOS 7536054 HAS SOPS 7536054 HAS SOUS 3892617 HAS SOUPS 3892617 WITH SCORE 3900153.054
AT ITER 812 NEW BEST:: SOT 30636639 SOS 7535128 HAS SOPS 7535128 HAS SOUS 3892153 HAS SOUPS 3892153 WITH SCORE 3899688.128
AT ITER 857 NEW BEST:: SOT 30636014 SOS 7533878 HAS SOPS 7533878 HAS SOUS 3890903 HAS SOUPS 3890903 WITH SCORE 3898436.878
AT ITER 863 NEW BEST:: SOT 30635125 SOS 7532100 HAS SOPS 7532100 HAS SOUS 3890099 HAS SOUPS 3890099 WITH SCORE 3897631.1
AT ITER 903 NEW BEST:: SOT 30635599 SOS 7534459 HAS SOPS 7534459 HAS SOUS 3889772 HAS SOUPS 3889772 WITH SCORE 3897306.459
AT ITER 955 NEW BEST:: SOT 30634326 SOS 7534427 HAS SOPS 7534427 HAS SOUS 3889439 HAS SOUPS 3889439 WITH SCORE 3896973.427
AT ITER 972 NEW BEST:: SOT 30634283 SOS 7534027 HAS SOPS 7534027 HAS SOUS 3889239 HAS SOUPS 3889239 WITH SCORE 3896773.027
AT ITER 986 NEW BEST:: SOT 30632901 SOS 7532635 HAS SOPS 7532635 HAS SOUS 3887856 HAS SOUPS 3887856 WITH SCORE 3895388.635
AT ITER 991 NEW BEST:: SOT 30631872 SOS 7531596 HAS SOPS 7531596 HAS SOUS 3886826 HAS SOUPS 3886826 WITH SCORE 3894357.596
AT ITER 1057 NEW BEST:: SOT 30631452 SOS 7531592 HAS SOPS 7531592 HAS SOUS 3886825 HAS SOUPS 3886825 WITH SCORE 3894356.592
AT ITER 1062 NEW BEST:: SOT 30631261 SOS 7532259 HAS SOPS 7532259 HAS SOUS 3886633 HAS SOUPS 3886633 WITH SCORE 3894165.259
AT ITER 1074 NEW BEST:: SOT 30631261 SOS 7532649 HAS SOPS 7532649 HAS SOUS 3886631 HAS SOUPS 3886631 WITH SCORE 3894163.649
AT ITER 1096 NEW BEST:: SOT 30631261 SOS 7531926 HAS SOPS 7531926 HAS SOUS 3886390 HAS SOUPS 3886390 WITH SCORE 3893921.926
AT ITER 1115 NEW BEST:: SOT 30630615 SOS 7530634 HAS SOPS 7530634 HAS SOUS 3885743 HAS SOUPS 3885743 WITH SCORE 3893273.634
AT ITER 1141 NEW BEST:: SOT 30630488 SOS 7530548 HAS SOPS 7530548 HAS SOUS 3885657 HAS SOUPS 3885657 WITH SCORE 3893187.548
AT ITER 1144 NEW BEST:: SOT 30630488 SOS 7533792 HAS SOPS 7533792 HAS SOUS 3885325 HAS SOUPS 3885325 WITH SCORE 3892858.792
AT ITER 1146 NEW BEST:: SOT 30630407 SOS 7533791 HAS SOPS 7533791 HAS SOUS 3885324 HAS SOUPS 3885324 WITH SCORE 3892857.791
AT ITER 1197 NEW BEST:: SOT 30629820 SOS 7533787 HAS SOPS 7533787 HAS SOUS 3885323 HAS SOUPS 3885323 WITH SCORE 3892856.787
AT ITER 1199 NEW BEST:: SOT 30629820 SOS 7532707 HAS SOPS 7532707 HAS SOUS 3885322 HAS SOUPS 3885322 WITH SCORE 3892854.707
AT ITER 1211 NEW BEST:: SOT 30629820 SOS 7531393 HAS SOPS 7531393 HAS SOUS 3885322 HAS SOUPS 3885322 WITH SCORE 3892853.393
AT ITER 1229 NEW BEST:: SOT 30630145 SOS 7529463 HAS SOPS 7529463 HAS SOUS 3884949 HAS SOUPS 3884949 WITH SCORE 3892478.463
AT ITER 1234 NEW BEST:: SOT 30629833 SOS 7529460 HAS SOPS 7529460 HAS SOUS 3884948 HAS SOUPS 3884948 WITH SCORE 3892477.46
AT ITER 1270 NEW BEST:: SOT 30628439 SOS 7530854 HAS SOPS 7530854 HAS SOUS 3883554 HAS SOUPS 3883554 WITH SCORE 3891084.854
AT ITER 1293 NEW BEST:: SOT 30627769 SOS 7529809 HAS SOPS 7529809 HAS SOUS 3881999 HAS SOUPS 3881999 WITH SCORE 3889528.809
AT ITER 1309 NEW BEST:: SOT 30626959 SOS 7528999 HAS SOPS 7528999 HAS SOUS 3881189 HAS SOUPS 3881189 WITH SCORE 3888717.999
AT ITER 1332 NEW BEST:: SOT 30627265 SOS 7524663 HAS SOPS 7524663 HAS SOUS 3881019 HAS SOUPS 3881019 WITH SCORE 3888543.663
AT ITER 1368 NEW BEST:: SOT 30626215 SOS 7524138 HAS SOPS 7524138 HAS SOUS 3879969 HAS SOUPS 3879969 WITH SCORE 3887493.138
AT ITER 1372 NEW BEST:: SOT 30625958 SOS 7523982 HAS SOPS 7523982 HAS SOUS 3879654 HAS SOUPS 3879654 WITH SCORE 3887177.982
AT ITER 1385 NEW BEST:: SOT 30624210 SOS 7513494 HAS SOPS 7513494 HAS SOUS 3877032 HAS SOUPS 3877032 WITH SCORE 3884545.494
AT ITER 1388 NEW BEST:: SOT 30624774 SOS 7514300 HAS SOPS 7514300 HAS SOUS 3876963 HAS SOUPS 3876963 WITH SCORE 3884477.3
AT ITER 1410 NEW BEST:: SOT 30623449 SOS 7516053 HAS SOPS 7516053 HAS SOUS 3876253 HAS SOUPS 3876253 WITH SCORE 3883769.053
AT ITER 1426 NEW BEST:: SOT 30623269 SOS 7515693 HAS SOPS 7515693 HAS SOUS 3875893 HAS SOUPS 3875893 WITH SCORE 3883408.693
AT ITER 1451 NEW BEST:: SOT 30622387 SOS 7514811 HAS SOPS 7514811 HAS SOUS 3875011 HAS SOUPS 3875011 WITH SCORE 3882525.811
AT ITER 1455 NEW BEST:: SOT 30622349 SOS 7514735 HAS SOPS 7514735 HAS SOUS 3874972 HAS SOUPS 3874972 WITH SCORE 3882486.735
AT ITER 1457 NEW BEST:: SOT 30621668 SOS 7516320 HAS SOPS 7516320 HAS SOUS 3873194 HAS SOUPS 3873194 WITH SCORE 3880710.32
AT ITER 1460 NEW BEST:: SOT 30621539 SOS 7516188 HAS SOPS 7516188 HAS SOUS 3873193 HAS SOUPS 3873193 WITH SCORE 3880709.188
AT ITER 1467 NEW BEST:: SOT 30620925 SOS 7516799 HAS SOPS 7516799 HAS SOUS 3872578 HAS SOUPS 3872578 WITH SCORE 3880094.799
AT ITER 1483 NEW BEST:: SOT 30620298 SOS 7516340 HAS SOPS 7516340 HAS SOUS 3872119 HAS SOUPS 3872119 WITH SCORE 3879635.34
AT ITER 1500 NEW BEST:: SOT 30620142 SOS 7516184 HAS SOPS 7516184 HAS SOUS 3871963 HAS SOUPS 3871963 WITH SCORE 3879479.184
AT ITER 1507 NEW BEST:: SOT 30620142 SOS 7514765 HAS SOPS 7514765 HAS SOUS 3871963 HAS SOUPS 3871963 WITH SCORE 3879477.765
AT ITER 1516 NEW BEST:: SOT 30620114 SOS 7514709 HAS SOPS 7514709 HAS SOUS 3870661 HAS SOUPS 3870661 WITH SCORE 3878175.709
AT ITER 1526 NEW BEST:: SOT 30618966 SOS 7513925 HAS SOPS 7513925 HAS SOUS 3869616 HAS SOUPS 3869616 WITH SCORE 3877129.925
AT ITER 1539 NEW BEST:: SOT 30618151 SOS 7513538 HAS SOPS 7513538 HAS SOUS 3869077 HAS SOUPS 3869077 WITH SCORE 3876590.538
AT ITER 1549 NEW BEST:: SOT 30617420 SOS 7512076 HAS SOPS 7512076 HAS SOUS 3866675 HAS SOUPS 3866675 WITH SCORE 3874187.076
AT ITER 1558 NEW BEST:: SOT 30617360 SOS 7512015 HAS SOPS 7512015 HAS SOUS 3866643 HAS SOUPS 3866643 WITH SCORE 3874155.015
AT ITER 1564 NEW BEST:: SOT 30617360 SOS 7512648 HAS SOPS 7512648 HAS SOUS 3866642 HAS SOUPS 3866642 WITH SCORE 3874154.648
AT ITER 1598 NEW BEST:: SOT 30617360 SOS 7511328 HAS SOPS 7511328 HAS SOUS 3866202 HAS SOUPS 3866202 WITH SCORE 3873713.328
AT ITER 1599 NEW BEST:: SOT 30616302 SOS 7512866 HAS SOPS 7512866 HAS SOUS 3864944 HAS SOUPS 3864944 WITH SCORE 3872456.866
AT ITER 1610 NEW BEST:: SOT 30616302 SOS 7512610 HAS SOPS 7512610 HAS SOUS 3864688 HAS SOUPS 3864688 WITH SCORE 3872200.61
AT ITER 1612 NEW BEST:: SOT 30616302 SOS 7511410 HAS SOPS 7511410 HAS SOUS 3864687 HAS SOUPS 3864687 WITH SCORE 3872198.41
AT ITER 1651 NEW BEST:: SOT 30615969 SOS 7510744 HAS SOPS 7510744 HAS SOUS 3864354 HAS SOUPS 3864354 WITH SCORE 3871864.744
AT ITER 1658 NEW BEST:: SOT 30615839 SOS 7511764 HAS SOPS 7511764 HAS SOUS 3864222 HAS SOUPS 3864222 WITH SCORE 3871733.764
AT ITER 1667 NEW BEST:: SOT 30615180 SOS 7511754 HAS SOPS 7511754 HAS SOUS 3864221 HAS SOUPS 3864221 WITH SCORE 3871732.754
AT ITER 1678 NEW BEST:: SOT 30614905 SOS 7518008 HAS SOPS 7518008 HAS SOUS 3863946 HAS SOUPS 3863946 WITH SCORE 3871464.008
AT ITER 1694 NEW BEST:: SOT 30614650 SOS 7517753 HAS SOPS 7517753 HAS SOUS 3863691 HAS SOUPS 3863691 WITH SCORE 3871208.753
AT ITER 1713 NEW BEST:: SOT 30614650 SOS 7516550 HAS SOPS 7516550 HAS SOUS 3863691 HAS SOUPS 3863691 WITH SCORE 3871207.55
AT ITER 1730 NEW BEST:: SOT 30614201 SOS 7513852 HAS SOPS 7513852 HAS SOUS 3861514 HAS SOUPS 3861514 WITH SCORE 3869027.852
AT ITER 1756 NEW BEST:: SOT 30613895 SOS 7514710 HAS SOPS 7514710 HAS SOUS 3861072 HAS SOUPS 3861072 WITH SCORE 3868586.71
AT ITER 1772 NEW BEST:: SOT 30613758 SOS 7514573 HAS SOPS 7514573 HAS SOUS 3860935 HAS SOUPS 3860935 WITH SCORE 3868449.573
AT ITER 1781 NEW BEST:: SOT 30613758 SOS 7513313 HAS SOPS 7513313 HAS SOUS 3860934 HAS SOUPS 3860934 WITH SCORE 3868447.313
AT ITER 1784 NEW BEST:: SOT 30613517 SOS 7513076 HAS SOPS 7513076 HAS SOUS 3860697 HAS SOUPS 3860697 WITH SCORE 3868210.076
AT ITER 1788 NEW BEST:: SOT 30613446 SOS 7513624 HAS SOPS 7513624 HAS SOUS 3860624 HAS SOUPS 3860624 WITH SCORE 3868137.624
AT ITER 1792 NEW BEST:: SOT 30612310 SOS 7512488 HAS SOPS 7512488 HAS SOUS 3859488 HAS SOUPS 3859488 WITH SCORE 3867000.488
AT ITER 1833 NEW BEST:: SOT 30612310 SOS 7512523 HAS SOPS 7512523 HAS SOUS 3859468 HAS SOUPS 3859468 WITH SCORE 3866980.523
AT ITER 1842 NEW BEST:: SOT 30611000 SOS 7509903 HAS SOPS 7509903 HAS SOUS 3856848 HAS SOUPS 3856848 WITH SCORE 3864357.903
AT ITER 1852 NEW BEST:: SOT 30610648 SOS 7507081 HAS SOPS 7507081 HAS SOUS 3856850 HAS SOUPS 3856850 WITH SCORE 3864357.081
AT ITER 1860 NEW BEST:: SOT 30610646 SOS 7507080 HAS SOPS 7507080 HAS SOUS 3856847 HAS SOUPS 3856847 WITH SCORE 3864354.08
AT ITER 1910 NEW BEST:: SOT 30610646 SOS 7506723 HAS SOPS 7506723 HAS SOUS 3856490 HAS SOUPS 3856490 WITH SCORE 3863996.723
AT ITER 1956 NEW BEST:: SOT 30609821 SOS 7506723 HAS SOPS 7506723 HAS SOUS 3855087 HAS SOUPS 3855087 WITH SCORE 3862593.723
AT ITER 1978 NEW BEST:: SOT 30609760 SOS 7506662 HAS SOPS 7506662 HAS SOUS 3854965 HAS SOUPS 3854965 WITH SCORE 3862471.662
AT ITER 1993 NEW BEST:: SOT 30608780 SOS 7506823 HAS SOPS 7506823 HAS SOUS 3854555 HAS SOUPS 3854555 WITH SCORE 3862061.823
AT ITER 1997 NEW BEST:: SOT 30608478 SOS 7507426 HAS SOPS 7507426 HAS SOUS 3853788 HAS SOUPS 3853788 WITH SCORE 3861295.426
AT ITER 2011 NEW BEST:: SOT 30608478 SOS 7506335 HAS SOPS 7506335 HAS SOUS 3853237 HAS SOUPS 3853237 WITH SCORE 3860743.335
AT ITER 2041 NEW BEST:: SOT 30608178 SOS 7506026 HAS SOPS 7506026 HAS SOUS 3852928 HAS SOUPS 3852928 WITH SCORE 3860434.026
AT ITER 2043 NEW BEST:: SOT 30607718 SOS 7507883 HAS SOPS 7507883 HAS SOUS 3851897 HAS SOUPS 3851897 WITH SCORE 3859404.883
AT ITER 2044 NEW BEST:: SOT 30607468 SOS 7509623 HAS SOPS 7509623 HAS SOUS 3851396 HAS SOUPS 3851396 WITH SCORE 3858905.623
AT ITER 2070 NEW BEST:: SOT 30607377 SOS 7509795 HAS SOPS 7509795 HAS SOUS 3851395 HAS SOUPS 3851395 WITH SCORE 3858904.795
AT ITER 2073 NEW BEST:: SOT 30606295 SOS 7506549 HAS SOPS 7506549 HAS SOUS 3849772 HAS SOUPS 3849772 WITH SCORE 3857278.549
AT ITER 2075 NEW BEST:: SOT 30606083 SOS 7506343 HAS SOPS 7506343 HAS SOUS 3849566 HAS SOUPS 3849566 WITH SCORE 3857072.343
AT ITER 2091 NEW BEST:: SOT 30606083 SOS 7506138 HAS SOPS 7506138 HAS SOUS 3849566 HAS SOUPS 3849566 WITH SCORE 3857072.138
AT ITER 2124 NEW BEST:: SOT 30604550 SOS 7500902 HAS SOPS 7500902 HAS SOUS 3848033 HAS SOUPS 3848033 WITH SCORE 3855533.902
AT ITER 2126 NEW BEST:: SOT 30604550 SOS 7500767 HAS SOPS 7500767 HAS SOUS 3848033 HAS SOUPS 3848033 WITH SCORE 3855533.767
AT ITER 2175 NEW BEST:: SOT 30604550 SOS 7500767 HAS SOPS 7500767 HAS SOUS 3848032 HAS SOUPS 3848032 WITH SCORE 3855532.767
AT ITER 2184 NEW BEST:: SOT 30604413 SOS 7501810 HAS SOPS 7501810 HAS SOUS 3847751 HAS SOUPS 3847751 WITH SCORE 3855252.81
AT ITER 2191 NEW BEST:: SOT 30604046 SOS 7502177 HAS SOPS 7502177 HAS SOUS 3847747 HAS SOUPS 3847747 WITH SCORE 3855249.177
AT ITER 2216 NEW BEST:: SOT 30603592 SOS 7505345 HAS SOPS 7505345 HAS SOUS 3846838 HAS SOUPS 3846838 WITH SCORE 3854343.345
AT ITER 2221 NEW BEST:: SOT 30602219 SOS 7502599 HAS SOPS 7502599 HAS SOUS 3844294 HAS SOUPS 3844294 WITH SCORE 3851796.599
AT ITER 2263 NEW BEST:: SOT 30601769 SOS 7501699 HAS SOPS 7501699 HAS SOUS 3843023 HAS SOUPS 3843023 WITH SCORE 3850524.699
AT ITER 2277 NEW BEST:: SOT 30601769 SOS 7512206 HAS SOPS 7512206 HAS SOUS 3842671 HAS SOUPS 3842671 WITH SCORE 3850183.206
AT ITER 2302 NEW BEST:: SOT 30600157 SOS 7511400 HAS SOPS 7511400 HAS SOUS 3841865 HAS SOUPS 3841865 WITH SCORE 3849376.4
AT ITER 2304 NEW BEST:: SOT 30600338 SOS 7511762 HAS SOPS 7511762 HAS SOUS 3840364 HAS SOUPS 3840364 WITH SCORE 3847875.762
AT ITER 2308 NEW BEST:: SOT 30600338 SOS 7511180 HAS SOPS 7511180 HAS SOUS 3840364 HAS SOUPS 3840364 WITH SCORE 3847875.18
AT ITER 2335 NEW BEST:: SOT 30600338 SOS 7510600 HAS SOPS 7510600 HAS SOUS 3840364 HAS SOUPS 3840364 WITH SCORE 3847874.6
AT ITER 2340 NEW BEST:: SOT 30600105 SOS 7510134 HAS SOPS 7510134 HAS SOUS 3839745 HAS SOUPS 3839745 WITH SCORE 3847255.134
AT ITER 2344 NEW BEST:: SOT 30600021 SOS 7509966 HAS SOPS 7509966 HAS SOUS 3839577 HAS SOUPS 3839577 WITH SCORE 3847086.966
AT ITER 2351 NEW BEST:: SOT 30599666 SOS 7509256 HAS SOPS 7509256 HAS SOUS 3838867 HAS SOUPS 3838867 WITH SCORE 3846376.256
AT ITER 2366 NEW BEST:: SOT 30598587 SOS 7508331 HAS SOPS 7508331 HAS SOUS 3837788 HAS SOUPS 3837788 WITH SCORE 3845296.331
AT ITER 2374 NEW BEST:: SOT 30598352 SOS 7508884 HAS SOPS 7508884 HAS SOUS 3837552 HAS SOUPS 3837552 WITH SCORE 3845060.884
AT ITER 2395 NEW BEST:: SOT 30598352 SOS 7510545 HAS SOPS 7510545 HAS SOUS 3837550 HAS SOUPS 3837550 WITH SCORE 3845060.545
AT ITER 2399 NEW BEST:: SOT 30597178 SOS 7509458 HAS SOPS 7509458 HAS SOUS 3836463 HAS SOUPS 3836463 WITH SCORE 3843972.458
AT ITER 2404 NEW BEST:: SOT 30597214 SOS 7517682 HAS SOPS 7517682 HAS SOUS 3835838 HAS SOUPS 3835838 WITH SCORE 3843355.682
AT ITER 2417 NEW BEST:: SOT 30597214 SOS 7519163 HAS SOPS 7519163 HAS SOUS 3835836 HAS SOUPS 3835836 WITH SCORE 3843355.163
AT ITER 2432 NEW BEST:: SOT 30597214 SOS 7521137 HAS SOPS 7521137 HAS SOUS 3835834 HAS SOUPS 3835834 WITH SCORE 3843355.137
AT ITER 2449 NEW BEST:: SOT 30595901 SOS 7520092 HAS SOPS 7520092 HAS SOUS 3834789 HAS SOUPS 3834789 WITH SCORE 3842309.092
AT ITER 2452 NEW BEST:: SOT 30595901 SOS 7520602 HAS SOPS 7520602 HAS SOUS 3834787 HAS SOUPS 3834787 WITH SCORE 3842307.602
AT ITER 2466 NEW BEST:: SOT 30595235 SOS 7519270 HAS SOPS 7519270 HAS SOUS 3832980 HAS SOUPS 3832980 WITH SCORE 3840499.27
AT ITER 2479 NEW BEST:: SOT 30595150 SOS 7519100 HAS SOPS 7519100 HAS SOUS 3832810 HAS SOUPS 3832810 WITH SCORE 3840329.1
AT ITER 2484 NEW BEST:: SOT 30595150 SOS 7519534 HAS SOPS 7519534 HAS SOUS 3832808 HAS SOUPS 3832808 WITH SCORE 3840327.534
AT ITER 2496 NEW BEST:: SOT 30595150 SOS 7519274 HAS SOPS 7519274 HAS SOUS 3832678 HAS SOUPS 3832678 WITH SCORE 3840197.274
AT ITER 2513 NEW BEST:: SOT 30595150 SOS 7519030 HAS SOPS 7519030 HAS SOUS 3832556 HAS SOUPS 3832556 WITH SCORE 3840075.03
AT ITER 2525 NEW BEST:: SOT 30595036 SOS 7518916 HAS SOPS 7518916 HAS SOUS 3832442 HAS SOUPS 3832442 WITH SCORE 3839960.916
AT ITER 2536 NEW BEST:: SOT 30594839 SOS 7518522 HAS SOPS 7518522 HAS SOUS 3832048 HAS SOUPS 3832048 WITH SCORE 3839566.522
AT ITER 2538 NEW BEST:: SOT 30594839 SOS 7518522 HAS SOPS 7518522 HAS SOUS 3832047 HAS SOUPS 3832047 WITH SCORE 3839565.522
AT ITER 2539 NEW BEST:: SOT 30595078 SOS 7530492 HAS SOPS 7530492 HAS SOUS 3832018 HAS SOUPS 3832018 WITH SCORE 3839548.492
AT ITER 2542 NEW BEST:: SOT 30593923 SOS 7529327 HAS SOPS 7529327 HAS SOUS 3830862 HAS SOUPS 3830862 WITH SCORE 3838391.327
AT ITER 2561 NEW BEST:: SOT 30593774 SOS 7529029 HAS SOPS 7529029 HAS SOUS 3830564 HAS SOUPS 3830564 WITH SCORE 3838093.029
AT ITER 2569 NEW BEST:: SOT 30593774 SOS 7530746 HAS SOPS 7530746 HAS SOUS 3829703 HAS SOUPS 3829703 WITH SCORE 3837233.746
AT ITER 2581 NEW BEST:: SOT 30592899 SOS 7530736 HAS SOPS 7530736 HAS SOUS 3829104 HAS SOUPS 3829104 WITH SCORE 3836634.736
AT ITER 2582 NEW BEST:: SOT 30592899 SOS 7530936 HAS SOPS 7530936 HAS SOUS 3829102 HAS SOUPS 3829102 WITH SCORE 3836632.936
AT ITER 2590 NEW BEST:: SOT 30592899 SOS 7529646 HAS SOPS 7529646 HAS SOUS 3828795 HAS SOUPS 3828795 WITH SCORE 3836324.646
AT ITER 2610 NEW BEST:: SOT 30592694 SOS 7529629 HAS SOPS 7529629 HAS SOUS 3828721 HAS SOUPS 3828721 WITH SCORE 3836250.629
AT ITER 2617 NEW BEST:: SOT 30592694 SOS 7530595 HAS SOPS 7530595 HAS SOUS 3828719 HAS SOUPS 3828719 WITH SCORE 3836249.595
AT ITER 2641 NEW BEST:: SOT 30592687 SOS 7530581 HAS SOPS 7530581 HAS SOUS 3828637 HAS SOUPS 3828637 WITH SCORE 3836167.581
AT ITER 2699 NEW BEST:: SOT 30592687 SOS 7530577 HAS SOPS 7530577 HAS SOUS 3828636 HAS SOUPS 3828636 WITH SCORE 3836166.577
AT ITER 2716 NEW BEST:: SOT 30592687 SOS 7530577 HAS SOPS 7530577 HAS SOUS 3828635 HAS SOUPS 3828635 WITH SCORE 3836165.577
AT ITER 2724 NEW BEST:: SOT 30592626 SOS 7530455 HAS SOPS 7530455 HAS SOUS 3828449 HAS SOUPS 3828449 WITH SCORE 3835979.455
AT ITER 2725 NEW BEST:: SOT 30592487 SOS 7530316 HAS SOPS 7530316 HAS SOUS 3828310 HAS SOUPS 3828310 WITH SCORE 3835840.316
AT ITER 2737 NEW BEST:: SOT 30591899 SOS 7530478 HAS SOPS 7530478 HAS SOUS 3828262 HAS SOUPS 3828262 WITH SCORE 3835792.478
AT ITER 2752 NEW BEST:: SOT 30591843 SOS 7530366 HAS SOPS 7530366 HAS SOUS 3828150 HAS SOUPS 3828150 WITH SCORE 3835680.366
AT ITER 2776 NEW BEST:: SOT 30592226 SOS 7529155 HAS SOPS 7529155 HAS SOUS 3828065 HAS SOUPS 3828065 WITH SCORE 3835594.155
AT ITER 2783 NEW BEST:: SOT 30591204 SOS 7529155 HAS SOPS 7529155 HAS SOUS 3826742 HAS SOUPS 3826742 WITH SCORE 3834271.155
AT ITER 2818 NEW BEST:: SOT 30591245 SOS 7527614 HAS SOPS 7527614 HAS SOUS 3826429 HAS SOUPS 3826429 WITH SCORE 3833956.614
AT ITER 2845 NEW BEST:: SOT 30591112 SOS 7527611 HAS SOPS 7527611 HAS SOUS 3826428 HAS SOUPS 3826428 WITH SCORE 3833955.611
AT ITER 2871 NEW BEST:: SOT 30590151 SOS 7526820 HAS SOPS 7526820 HAS SOUS 3825562 HAS SOUPS 3825562 WITH SCORE 3833088.82
AT ITER 2893 NEW BEST:: SOT 30590151 SOS 7526624 HAS SOPS 7526624 HAS SOUS 3825464 HAS SOUPS 3825464 WITH SCORE 3832990.624
AT ITER 2943 NEW BEST:: SOT 30589284 SOS 7526352 HAS SOPS 7526352 HAS SOUS 3825192 HAS SOUPS 3825192 WITH SCORE 3832718.352
AT ITER 2944 NEW BEST:: SOT 30589284 SOS 7527626 HAS SOPS 7527626 HAS SOUS 3825190 HAS SOUPS 3825190 WITH SCORE 3832717.626
AT ITER 2984 NEW BEST:: SOT 30589032 SOS 7527122 HAS SOPS 7527122 HAS SOUS 3824594 HAS SOUPS 3824594 WITH SCORE 3832121.122
AT ITER 2993 NEW BEST:: SOT 30589032 SOS 7526971 HAS SOPS 7526971 HAS SOUS 3824594 HAS SOUPS 3824594 WITH SCORE 3832120.971
AT ITER 3090 NEW BEST:: SOT 30587014 SOS 7524677 HAS SOPS 7524677 HAS SOUS 3821613 HAS SOUPS 3821613 WITH SCORE 3829137.677
AT ITER 3116 NEW BEST:: SOT 30586521 SOS 7524058 HAS SOPS 7524058 HAS SOUS 3821285 HAS SOUPS 3821285 WITH SCORE 3828809.058
AT ITER 3117 NEW BEST:: SOT 30584762 SOS 7522440 HAS SOPS 7522440 HAS SOUS 3818717 HAS SOUPS 3818717 WITH SCORE 3826239.44
AT ITER 3125 NEW BEST:: SOT 30584842 SOS 7521955 HAS SOPS 7521955 HAS SOUS 3818662 HAS SOUPS 3818662 WITH SCORE 3826183.955
AT ITER 3127 NEW BEST:: SOT 30584444 SOS 7521159 HAS SOPS 7521159 HAS SOUS 3817729 HAS SOUPS 3817729 WITH SCORE 3825250.159
AT ITER 3156 NEW BEST:: SOT 30583400 SOS 7520115 HAS SOPS 7520115 HAS SOUS 3816685 HAS SOUPS 3816685 WITH SCORE 3824205.115
AT ITER 3186 NEW BEST:: SOT 30583481 SOS 7522811 HAS SOPS 7522811 HAS SOUS 3816000 HAS SOUPS 3816000 WITH SCORE 3823522.811
AT ITER 3193 NEW BEST:: SOT 30583370 SOS 7523099 HAS SOPS 7523099 HAS SOUS 3815853 HAS SOUPS 3815853 WITH SCORE 3823376.099
AT ITER 3201 NEW BEST:: SOT 30582975 SOS 7522704 HAS SOPS 7522704 HAS SOUS 3815458 HAS SOUPS 3815458 WITH SCORE 3822980.704
AT ITER 3211 NEW BEST:: SOT 30582633 SOS 7525098 HAS SOPS 7525098 HAS SOUS 3815116 HAS SOUPS 3815116 WITH SCORE 3822641.098
AT ITER 3221 NEW BEST:: SOT 30582285 SOS 7524398 HAS SOPS 7524398 HAS SOUS 3814419 HAS SOUPS 3814419 WITH SCORE 3821943.398
AT ITER 3222 NEW BEST:: SOT 30582450 SOS 7524146 HAS SOPS 7524146 HAS SOUS 3814002 HAS SOUPS 3814002 WITH SCORE 3821526.146
AT ITER 3237 NEW BEST:: SOT 30582356 SOS 7523958 HAS SOPS 7523958 HAS SOUS 3813814 HAS SOUPS 3813814 WITH SCORE 3821337.958
AT ITER 3254 NEW BEST:: SOT 30582356 SOS 7523958 HAS SOPS 7523958 HAS SOUS 3813741 HAS SOUPS 3813741 WITH SCORE 3821264.958
AT ITER 3260 NEW BEST:: SOT 30582394 SOS 7524461 HAS SOPS 7524461 HAS SOUS 3813058 HAS SOUPS 3813058 WITH SCORE 3820582.461
AT ITER 3326 NEW BEST:: SOT 30582306 SOS 7524285 HAS SOPS 7524285 HAS SOUS 3812882 HAS SOUPS 3812882 WITH SCORE 3820406.285
AT ITER 3327 NEW BEST:: SOT 30581638 SOS 7523614 HAS SOPS 7523614 HAS SOUS 3812213 HAS SOUPS 3812213 WITH SCORE 3819736.614
AT ITER 3341 NEW BEST:: SOT 30581528 SOS 7523394 HAS SOPS 7523394 HAS SOUS 3811993 HAS SOUPS 3811993 WITH SCORE 3819516.394
AT ITER 3357 NEW BEST:: SOT 30581327 SOS 7524801 HAS SOPS 7524801 HAS SOUS 3811792 HAS SOUPS 3811792 WITH SCORE 3819316.801
AT ITER 3372 NEW BEST:: SOT 30580709 SOS 7524041 HAS SOPS 7524041 HAS SOUS 3811032 HAS SOUPS 3811032 WITH SCORE 3818556.041
AT ITER 3374 NEW BEST:: SOT 30580201 SOS 7523025 HAS SOPS 7523025 HAS SOUS 3810574 HAS SOUPS 3810574 WITH SCORE 3818097.025
AT ITER 3414 NEW BEST:: SOT 30579355 SOS 7520910 HAS SOPS 7520910 HAS SOUS 3809728 HAS SOUPS 3809728 WITH SCORE 3817248.91
AT ITER 3422 NEW BEST:: SOT 30579044 SOS 7520288 HAS SOPS 7520288 HAS SOUS 3809106 HAS SOUPS 3809106 WITH SCORE 3816626.288
AT ITER 3429 NEW BEST:: SOT 30578506 SOS 7519212 HAS SOPS 7519212 HAS SOUS 3808848 HAS SOUPS 3808848 WITH SCORE 3816367.212
AT ITER 3451 NEW BEST:: SOT 30578266 SOS 7518793 HAS SOPS 7518793 HAS SOUS 3807803 HAS SOUPS 3807803 WITH SCORE 3815321.793
AT ITER 3465 NEW BEST:: SOT 30578742 SOS 7519745 HAS SOPS 7519745 HAS SOUS 3807497 HAS SOUPS 3807497 WITH SCORE 3815016.745
AT ITER 3475 NEW BEST:: SOT 30578079 SOS 7518419 HAS SOPS 7518419 HAS SOUS 3805939 HAS SOUPS 3805939 WITH SCORE 3813457.419
AT ITER 3484 NEW BEST:: SOT 30577937 SOS 7518135 HAS SOPS 7518135 HAS SOUS 3805655 HAS SOUPS 3805655 WITH SCORE 3813173.135
AT ITER 3508 NEW BEST:: SOT 30577103 SOS 7517308 HAS SOPS 7517308 HAS SOUS 3804918 HAS SOUPS 3804918 WITH SCORE 3812435.308
AT ITER 3526 NEW BEST:: SOT 30577103 SOS 7517097 HAS SOPS 7517097 HAS SOUS 3804584 HAS SOUPS 3804584 WITH SCORE 3812101.097
AT ITER 3550 NEW BEST:: SOT 30574457 SOS 7515067 HAS SOPS 7515067 HAS SOUS 3802554 HAS SOUPS 3802554 WITH SCORE 3810069.067
AT ITER 3620 NEW BEST:: SOT 30574456 SOS 7515065 HAS SOPS 7515065 HAS SOUS 3802552 HAS SOUPS 3802552 WITH SCORE 3810067.065
AT ITER 3624 NEW BEST:: SOT 30574456 SOS 7514296 HAS SOPS 7514296 HAS SOUS 3801783 HAS SOUPS 3801783 WITH SCORE 3809297.296
AT ITER 3641 NEW BEST:: SOT 30571264 SOS 7492886 HAS SOPS 7492886 HAS SOUS 3798260 HAS SOUPS 3798260 WITH SCORE 3805752.886
AT ITER 3649 NEW BEST:: SOT 30571264 SOS 7492886 HAS SOPS 7492886 HAS SOUS 3798061 HAS SOUPS 3798061 WITH SCORE 3805553.886
AT ITER 3650 NEW BEST:: SOT 30569558 SOS 7492480 HAS SOPS 7492480 HAS SOUS 3796653 HAS SOUPS 3796653 WITH SCORE 3804145.48
AT ITER 3655 NEW BEST:: SOT 30568881 SOS 7500170 HAS SOPS 7500170 HAS SOUS 3794700 HAS SOUPS 3794700 WITH SCORE 3802200.17
AT ITER 3674 NEW BEST:: SOT 30568446 SOS 7501794 HAS SOPS 7501794 HAS SOUS 3794265 HAS SOUPS 3794265 WITH SCORE 3801766.794
AT ITER 3686 NEW BEST:: SOT 30568446 SOS 7501793 HAS SOPS 7501793 HAS SOUS 3794264 HAS SOUPS 3794264 WITH SCORE 3801765.793
AT ITER 3723 NEW BEST:: SOT 30567686 SOS 7494953 HAS SOPS 7494953 HAS SOUS 3794264 HAS SOUPS 3794264 WITH SCORE 3801758.953
AT ITER 3729 NEW BEST:: SOT 30566450 SOS 7493837 HAS SOPS 7493837 HAS SOUS 3793148 HAS SOUPS 3793148 WITH SCORE 3800641.837
AT ITER 3766 NEW BEST:: SOT 30566450 SOS 7493827 HAS SOPS 7493827 HAS SOUS 3792967 HAS SOUPS 3792967 WITH SCORE 3800460.827
AT ITER 3785 NEW BEST:: SOT 30566018 SOS 7494691 HAS SOPS 7494691 HAS SOUS 3792759 HAS SOUPS 3792759 WITH SCORE 3800253.691
AT ITER 3786 NEW BEST:: SOT 30564330 SOS 7493003 HAS SOPS 7493003 HAS SOUS 3791071 HAS SOUPS 3791071 WITH SCORE 3798564.003
AT ITER 3797 NEW BEST:: SOT 30564330 SOS 7492618 HAS SOPS 7492618 HAS SOUS 3790686 HAS SOUPS 3790686 WITH SCORE 3798178.618
AT ITER 3798 NEW BEST:: SOT 30564172 SOS 7492460 HAS SOPS 7492460 HAS SOUS 3790528 HAS SOUPS 3790528 WITH SCORE 3798020.46
AT ITER 3857 NEW BEST:: SOT 30560658 SOS 7489032 HAS SOPS 7489032 HAS SOUS 3788918 HAS SOUPS 3788918 WITH SCORE 3796407.032
AT ITER 3873 NEW BEST:: SOT 30560658 SOS 7489029 HAS SOPS 7489029 HAS SOUS 3788917 HAS SOUPS 3788917 WITH SCORE 3796406.029
AT ITER 3876 NEW BEST:: SOT 30559555 SOS 7487960 HAS SOPS 7487960 HAS SOUS 3787848 HAS SOUPS 3787848 WITH SCORE 3795335.96
AT ITER 3903 NEW BEST:: SOT 30559529 SOS 7487908 HAS SOPS 7487908 HAS SOUS 3787796 HAS SOUPS 3787796 WITH SCORE 3795283.908
AT ITER 3909 NEW BEST:: SOT 30559504 SOS 7487858 HAS SOPS 7487858 HAS SOUS 3787358 HAS SOUPS 3787358 WITH SCORE 3794845.858
AT ITER 3928 NEW BEST:: SOT 30559441 SOS 7487732 HAS SOPS 7487732 HAS SOUS 3787232 HAS SOUPS 3787232 WITH SCORE 3794719.732
AT ITER 3946 NEW BEST:: SOT 30559440 SOS 7487730 HAS SOPS 7487730 HAS SOUS 3787230 HAS SOUPS 3787230 WITH SCORE 3794717.73
AT ITER 3961 NEW BEST:: SOT 30559243 SOS 7487721 HAS SOPS 7487721 HAS SOUS 3787221 HAS SOUPS 3787221 WITH SCORE 3794708.721
AT ITER 3972 NEW BEST:: SOT 30559360 SOS 7487955 HAS SOPS 7487955 HAS SOUS 3786833 HAS SOUPS 3786833 WITH SCORE 3794320.955
AT ITER 3973 NEW BEST:: SOT 30558194 SOS 7487372 HAS SOPS 7487372 HAS SOUS 3786250 HAS SOUPS 3786250 WITH SCORE 3793737.372
AT ITER 4010 NEW BEST:: SOT 30558519 SOS 7484008 HAS SOPS 7484008 HAS SOUS 3784704 HAS SOUPS 3784704 WITH SCORE 3792188.008
AT ITER 4018 NEW BEST:: SOT 30558371 SOS 7484155 HAS SOPS 7484155 HAS SOUS 3784703 HAS SOUPS 3784703 WITH SCORE 3792187.155
AT ITER 4042 NEW BEST:: SOT 30558368 SOS 7484149 HAS SOPS 7484149 HAS SOUS 3784697 HAS SOUPS 3784697 WITH SCORE 3792181.149
AT ITER 4057 NEW BEST:: SOT 30558368 SOS 7484152 HAS SOPS 7484152 HAS SOUS 3784409 HAS SOUPS 3784409 WITH SCORE 3791893.152
AT ITER 4065 NEW BEST:: SOT 30558368 SOS 7483057 HAS SOPS 7483057 HAS SOUS 3784409 HAS SOUPS 3784409 WITH SCORE 3791892.057
AT ITER 4100 NEW BEST:: SOT 30557707 SOS 7481735 HAS SOPS 7481735 HAS SOUS 3783772 HAS SOUPS 3783772 WITH SCORE 3791253.735
AT ITER 4160 NEW BEST:: SOT 30558114 SOS 7481219 HAS SOPS 7481219 HAS SOUS 3783514 HAS SOUPS 3783514 WITH SCORE 3790995.219
AT ITER 4171 NEW BEST:: SOT 30557769 SOS 7481054 HAS SOPS 7481054 HAS SOUS 3783344 HAS SOUPS 3783344 WITH SCORE 3790825.054
AT ITER 4192 NEW BEST:: SOT 30557259 SOS 7480034 HAS SOPS 7480034 HAS SOUS 3782324 HAS SOUPS 3782324 WITH SCORE 3789804.034
AT ITER 4198 NEW BEST:: SOT 30557067 SOS 7481604 HAS SOPS 7481604 HAS SOUS 3782311 HAS SOUPS 3782311 WITH SCORE 3789792.604
AT ITER 4225 NEW BEST:: SOT 30556848 SOS 7483137 HAS SOPS 7483137 HAS SOUS 3782092 HAS SOUPS 3782092 WITH SCORE 3789575.137
AT ITER 4240 NEW BEST:: SOT 30555752 SOS 7482031 HAS SOPS 7482031 HAS SOUS 3781925 HAS SOUPS 3781925 WITH SCORE 3789407.031
AT ITER 4287 NEW BEST:: SOT 30555752 SOS 7482063 HAS SOPS 7482063 HAS SOUS 3781924 HAS SOUPS 3781924 WITH SCORE 3789406.063
AT ITER 4302 NEW BEST:: SOT 30555752 SOS 7482819 HAS SOPS 7482819 HAS SOUS 3781840 HAS SOUPS 3781840 WITH SCORE 3789322.819
AT ITER 4317 NEW BEST:: SOT 30555752 SOS 7481655 HAS SOPS 7481655 HAS SOUS 3781452 HAS SOUPS 3781452 WITH SCORE 3788933.655
AT ITER 4319 NEW BEST:: SOT 30555625 SOS 7481528 HAS SOPS 7481528 HAS SOUS 3781325 HAS SOUPS 3781325 WITH SCORE 3788806.528
AT ITER 4367 NEW BEST:: SOT 30555625 SOS 7480376 HAS SOPS 7480376 HAS SOUS 3780941 HAS SOUPS 3780941 WITH SCORE 3788421.376
AT ITER 4376 NEW BEST:: SOT 30555625 SOS 7480373 HAS SOPS 7480373 HAS SOUS 3780940 HAS SOUPS 3780940 WITH SCORE 3788420.373
AT ITER 4379 NEW BEST:: SOT 30555566 SOS 7480255 HAS SOPS 7480255 HAS SOUS 3780822 HAS SOUPS 3780822 WITH SCORE 3788302.255
AT ITER 4444 NEW BEST:: SOT 30555443 SOS 7479216 HAS SOPS 7479216 HAS SOUS 3780575 HAS SOUPS 3780575 WITH SCORE 3788054.216
AT ITER 4448 NEW BEST:: SOT 30555228 SOS 7479047 HAS SOPS 7479047 HAS SOUS 3780360 HAS SOUPS 3780360 WITH SCORE 3787839.047
AT ITER 4473 NEW BEST:: SOT 30556337 SOS 7477920 HAS SOPS 7477920 HAS SOUS 3780048 HAS SOUPS 3780048 WITH SCORE 3787525.92
AT ITER 4494 NEW BEST:: SOT 30556044 SOS 7477383 HAS SOPS 7477383 HAS SOUS 3779511 HAS SOUPS 3779511 WITH SCORE 3786988.383
AT ITER 4533 NEW BEST:: SOT 30556044 SOS 7478918 HAS SOPS 7478918 HAS SOUS 3779509 HAS SOUPS 3779509 WITH SCORE 3786987.918
AT ITER 4567 NEW BEST:: SOT 30555341 SOS 7484738 HAS SOPS 7484738 HAS SOUS 3778102 HAS SOUPS 3778102 WITH SCORE 3785586.738
AT ITER 4571 NEW BEST:: SOT 30554876 SOS 7484734 HAS SOPS 7484734 HAS SOUS 3777791 HAS SOUPS 3777791 WITH SCORE 3785275.734
AT ITER 4575 NEW BEST:: SOT 30553801 SOS 7483921 HAS SOPS 7483921 HAS SOUS 3776978 HAS SOUPS 3776978 WITH SCORE 3784461.921
AT ITER 4583 NEW BEST:: SOT 30553448 SOS 7486392 HAS SOPS 7486392 HAS SOUS 3776625 HAS SOUPS 3776625 WITH SCORE 3784111.392
AT ITER 4588 NEW BEST:: SOT 30553219 SOS 7486307 HAS SOPS 7486307 HAS SOUS 3776481 HAS SOUPS 3776481 WITH SCORE 3783967.307
AT ITER 4607 NEW BEST:: SOT 30553219 SOS 7485788 HAS SOPS 7485788 HAS SOUS 3775962 HAS SOUPS 3775962 WITH SCORE 3783447.788
AT ITER 4616 NEW BEST:: SOT 30552908 SOS 7485477 HAS SOPS 7485477 HAS SOUS 3775340 HAS SOUPS 3775340 WITH SCORE 3782825.477
AT ITER 4622 NEW BEST:: SOT 30552616 SOS 7485090 HAS SOPS 7485090 HAS SOUS 3774953 HAS SOUPS 3774953 WITH SCORE 3782438.09
AT ITER 4623 NEW BEST:: SOT 30552575 SOS 7486030 HAS SOPS 7486030 HAS SOUS 3774816 HAS SOUPS 3774816 WITH SCORE 3782302.03
AT ITER 4691 NEW BEST:: SOT 30552674 SOS 7486227 HAS SOPS 7486227 HAS SOUS 3774128 HAS SOUPS 3774128 WITH SCORE 3781614.227
AT ITER 4723 NEW BEST:: SOT 30552489 SOS 7486042 HAS SOPS 7486042 HAS SOUS 3773943 HAS SOUPS 3773943 WITH SCORE 3781429.042
AT ITER 4736 NEW BEST:: SOT 30552234 SOS 7486039 HAS SOPS 7486039 HAS SOUS 3773942 HAS SOUPS 3773942 WITH SCORE 3781428.039
AT ITER 4755 NEW BEST:: SOT 30552234 SOS 7487796 HAS SOPS 7487796 HAS SOUS 3773940 HAS SOUPS 3773940 WITH SCORE 3781427.796
AT ITER 4774 NEW BEST:: SOT 30552234 SOS 7488060 HAS SOPS 7488060 HAS SOUS 3773939 HAS SOUPS 3773939 WITH SCORE 3781427.06
AT ITER 4796 NEW BEST:: SOT 30552234 SOS 7489518 HAS SOPS 7489518 HAS SOUS 3773777 HAS SOUPS 3773777 WITH SCORE 3781266.518
AT ITER 4845 NEW BEST:: SOT 30552234 SOS 7491171 HAS SOPS 7491171 HAS SOUS 3773601 HAS SOUPS 3773601 WITH SCORE 3781092.171
AT ITER 4853 NEW BEST:: SOT 30552133 SOS 7491070 HAS SOPS 7491070 HAS SOUS 3773500 HAS SOUPS 3773500 WITH SCORE 3780991.07
AT ITER 4916 NEW BEST:: SOT 30552460 SOS 7500921 HAS SOPS 7500921 HAS SOUS 3773449 HAS SOUPS 3773449 WITH SCORE 3780949.921
AT ITER 4971 NEW BEST:: SOT 30551999 SOS 7501829 HAS SOPS 7501829 HAS SOUS 3772986 HAS SOUPS 3772986 WITH SCORE 3780487.829
AT ITER 4996 NEW BEST:: SOT 30551999 SOS 7500674 HAS SOPS 7500674 HAS SOUS 3772986 HAS SOUPS 3772986 WITH SCORE 3780486.674
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: DLCround-PT-13b-CTLCardinality-00 (AG( ( (! (! potential( (tk(P1641)) <= (tk(P2698)) ))) & (EF(potential( (tk(P1084)) <= (tk(P4399)) ))) )))
PROPERTY: DLCround-PT-13b-CTLCardinality-01 (EF(( (EF(potential( ( 3 ) <= (tk(P1425)) ))) | (! ( potential( (tk(P3463)) <= (tk(P2888)) ) | potential( (tk(P415)) <= (tk(P3668)) ) )) )))
PROPERTY: DLCround-PT-13b-CTLCardinality-02 (AG( ( (! ( potential( ( 3 ) <= (tk(P5023)) ) | potential( ( 2 ) <= (tk(P2082)) ) )) & ( ( potential( (tk(P366)) <= (tk(P1888)) ) & potential( (tk(P898)) <= (tk(P738)) ) ) | ( potential( (tk(P1707)) <= (tk(P443)) ) & potential( (tk(P703)) <= (tk(P1966)) ) ) ) )))
PROPERTY: DLCround-PT-13b-CTLCardinality-03 (EG( (AU( potential( ( 1 ) <= (tk(P2131)) ),potential( (tk(P1694)) <= (tk(P444)) ) ))))
PROPERTY: DLCround-PT-13b-CTLCardinality-04 ( (AG( (! ( potential( (tk(P5137)) <= (tk(P561)) ) & potential( ( 2 ) <= (tk(P1306)) ) )))) | ( (AG( potential( (tk(P2309)) <= (tk(P2488)) ))) & (! (AF(potential( ( 1 ) <= (tk(P2166)) )))) ) )
PROPERTY: DLCround-PT-13b-CTLCardinality-05 (EF((EG( ( potential( ( 3 ) <= (tk(P3896)) ) | potential( ( 1 ) <= (tk(P4393)) ) )))))
PROPERTY: DLCround-PT-13b-CTLCardinality-06 (! (AF((EG( potential( ( 1 ) <= (tk(P179)) ))))))
PROPERTY: DLCround-PT-13b-CTLCardinality-07 ( (AG( (AG( potential( (tk(P4804)) <= (tk(P3540)) ))))) & potential( (tk(P2308)) <= (tk(P3759)) ) )
PROPERTY: DLCround-PT-13b-CTLCardinality-08 ( (AG( (AG( potential( (tk(P2728)) <= (tk(P2261)) ))))) | ( (! (AF(potential( ( 1 ) <= (tk(P4027)) )))) & (EG( ( potential( (tk(P1144)) <= (tk(P4921)) ) & potential( (tk(P3193)) <= (tk(P2042)) ) ))) ) )
PROPERTY: DLCround-PT-13b-CTLCardinality-09 (AG( ( (! ( potential( ( 1 ) <= (tk(P2627)) ) | potential( ( 3 ) <= (tk(P2879)) ) )) | (AX( potential( ( 2 ) <= (tk(P3178)) ))) )))
PROPERTY: DLCround-PT-13b-CTLCardinality-10 (EF(( (AF(potential( ( 3 ) <= (tk(P2773)) ))) & (AG( potential( ( 3 ) <= (tk(P3702)) ))) )))
PROPERTY: DLCround-PT-13b-CTLCardinality-11 (AU( ( (! potential( ( 2 ) <= (tk(P564)) )) | (! potential( ( 1 ) <= (tk(P198)) )) ),(! ( potential( (tk(P1032)) <= (tk(P2915)) ) | potential( ( 1 ) <= (tk(P2127)) ) )) ))
PROPERTY: DLCround-PT-13b-CTLCardinality-12 ( (EU( (! potential( ( 1 ) <= (tk(P2974)) )),potential( ( 2 ) <= (tk(P1479)) ) )) | ( (EF((! potential( ( 3 ) <= (tk(P1130)) )))) & potential( ( 2 ) <= (tk(P5156)) ) ) )
PROPERTY: DLCround-PT-13b-CTLCardinality-13 (EX( ( (EF(potential( ( 3 ) <= (tk(P134)) ))) & ( ( potential( ( 2 ) <= (tk(P4056)) ) & potential( ( 1 ) <= (tk(P4158)) ) ) | potential( (tk(P1251)) <= (tk(P3820)) ) ) )))
PROPERTY: DLCround-PT-13b-CTLCardinality-14 (EG( ( (AX( potential( (tk(P3691)) <= (tk(P431)) ))) | (! potential( (tk(P1062)) <= (tk(P2391)) )) )))
PROPERTY: DLCround-PT-13b-CTLCardinality-15 (AF((EF(( potential( ( 3 ) <= (tk(P4988)) ) & potential( ( 2 ) <= (tk(P4457)) ) )))))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCround-PT-13b"
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 DLCround-PT-13b, 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 r048-ebro-158902542400619"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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