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-158902542400603.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-12b, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542400603
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.1M
-rw-r--r-- 1 mcc users 3.2K Mar 30 20:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 30 20:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 29 10:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Mar 29 10:58 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.4K 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 1.9K Apr 8 14:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Mar 28 06:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 28 06:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 27 00:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 27 00:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1.9M 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-12b-CTLCardinality-00
FORMULA_NAME DLCround-PT-12b-CTLCardinality-01
FORMULA_NAME DLCround-PT-12b-CTLCardinality-02
FORMULA_NAME DLCround-PT-12b-CTLCardinality-03
FORMULA_NAME DLCround-PT-12b-CTLCardinality-04
FORMULA_NAME DLCround-PT-12b-CTLCardinality-05
FORMULA_NAME DLCround-PT-12b-CTLCardinality-06
FORMULA_NAME DLCround-PT-12b-CTLCardinality-07
FORMULA_NAME DLCround-PT-12b-CTLCardinality-08
FORMULA_NAME DLCround-PT-12b-CTLCardinality-09
FORMULA_NAME DLCround-PT-12b-CTLCardinality-10
FORMULA_NAME DLCround-PT-12b-CTLCardinality-11
FORMULA_NAME DLCround-PT-12b-CTLCardinality-12
FORMULA_NAME DLCround-PT-12b-CTLCardinality-13
FORMULA_NAME DLCround-PT-12b-CTLCardinality-14
FORMULA_NAME DLCround-PT-12b-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590869272358

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 12b
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: 4848 places, 7836 transitions, 22188 arcs.
AT ITER 0 NEW BEST:: SOT 24787847 SOS 6033677 HAS SOPS 6033677 HAS SOUS 3212168 HAS SOUPS 3212168 WITH SCORE 3218201.677
AT ITER 26 NEW BEST:: SOT 24787178 SOS 6033677 HAS SOPS 6033677 HAS SOUS 3210980 HAS SOUPS 3210980 WITH SCORE 3217013.677
AT ITER 30 NEW BEST:: SOT 24787178 SOS 6032489 HAS SOPS 6032489 HAS SOUS 3210980 HAS SOUPS 3210980 WITH SCORE 3217012.489
AT ITER 71 NEW BEST:: SOT 24786782 SOS 6030905 HAS SOPS 6030905 HAS SOUS 3210584 HAS SOUPS 3210584 WITH SCORE 3216614.905
AT ITER 73 NEW BEST:: SOT 24786089 SOS 6030513 HAS SOPS 6030513 HAS SOUS 3210192 HAS SOUPS 3210192 WITH SCORE 3216222.513
AT ITER 89 NEW BEST:: SOT 24785883 SOS 6030101 HAS SOPS 6030101 HAS SOUS 3209780 HAS SOUPS 3209780 WITH SCORE 3215810.101
AT ITER 97 NEW BEST:: SOT 24785883 SOS 6028643 HAS SOPS 6028643 HAS SOUS 3209780 HAS SOUPS 3209780 WITH SCORE 3215808.643
AT ITER 108 NEW BEST:: SOT 24785358 SOS 6029168 HAS SOPS 6029168 HAS SOUS 3209261 HAS SOUPS 3209261 WITH SCORE 3215290.168
AT ITER 123 NEW BEST:: SOT 24785300 SOS 6029110 HAS SOPS 6029110 HAS SOUS 3209203 HAS SOUPS 3209203 WITH SCORE 3215232.11
AT ITER 134 NEW BEST:: SOT 24784647 SOS 6030099 HAS SOPS 6030099 HAS SOUS 3208605 HAS SOUPS 3208605 WITH SCORE 3214635.099
AT ITER 156 NEW BEST:: SOT 24784344 SOS 6029493 HAS SOPS 6029493 HAS SOUS 3207999 HAS SOUPS 3207999 WITH SCORE 3214028.493
AT ITER 158 NEW BEST:: SOT 24784504 SOS 6029813 HAS SOPS 6029813 HAS SOUS 3207551 HAS SOUPS 3207551 WITH SCORE 3213580.813
AT ITER 162 NEW BEST:: SOT 24784504 SOS 6028505 HAS SOPS 6028505 HAS SOUS 3207551 HAS SOUPS 3207551 WITH SCORE 3213579.505
AT ITER 188 NEW BEST:: SOT 24784504 SOS 6030406 HAS SOPS 6030406 HAS SOUS 3207400 HAS SOUPS 3207400 WITH SCORE 3213430.406
AT ITER 193 NEW BEST:: SOT 24784898 SOS 6028800 HAS SOPS 6028800 HAS SOUS 3207217 HAS SOUPS 3207217 WITH SCORE 3213245.8
AT ITER 202 NEW BEST:: SOT 24784288 SOS 6028800 HAS SOPS 6028800 HAS SOUS 3206088 HAS SOUPS 3206088 WITH SCORE 3212116.8
AT ITER 216 NEW BEST:: SOT 24782884 SOS 6024995 HAS SOPS 6024995 HAS SOUS 3202854 HAS SOUPS 3202854 WITH SCORE 3208878.995
AT ITER 242 NEW BEST:: SOT 24782813 SOS 6025066 HAS SOPS 6025066 HAS SOUS 3202783 HAS SOUPS 3202783 WITH SCORE 3208808.066
AT ITER 284 NEW BEST:: SOT 24782311 SOS 6024820 HAS SOPS 6024820 HAS SOUS 3202414 HAS SOUPS 3202414 WITH SCORE 3208438.82
AT ITER 286 NEW BEST:: SOT 24782418 SOS 6025034 HAS SOPS 6025034 HAS SOUS 3201608 HAS SOUPS 3201608 WITH SCORE 3207633.034
AT ITER 288 NEW BEST:: SOT 24781346 SOS 6023962 HAS SOPS 6023962 HAS SOUS 3200536 HAS SOUPS 3200536 WITH SCORE 3206559.962
AT ITER 296 NEW BEST:: SOT 24781346 SOS 6024940 HAS SOPS 6024940 HAS SOUS 3200534 HAS SOUPS 3200534 WITH SCORE 3206558.94
AT ITER 326 NEW BEST:: SOT 24780604 SOS 6023456 HAS SOPS 6023456 HAS SOUS 3199050 HAS SOUPS 3199050 WITH SCORE 3205073.456
AT ITER 355 NEW BEST:: SOT 24780604 SOS 6021920 HAS SOPS 6021920 HAS SOUS 3199050 HAS SOUPS 3199050 WITH SCORE 3205071.92
AT ITER 357 NEW BEST:: SOT 24780604 SOS 6021920 HAS SOPS 6021920 HAS SOUS 3198927 HAS SOUPS 3198927 WITH SCORE 3204948.92
AT ITER 358 NEW BEST:: SOT 24780604 SOS 6022990 HAS SOPS 6022990 HAS SOUS 3198806 HAS SOUPS 3198806 WITH SCORE 3204828.99
AT ITER 371 NEW BEST:: SOT 24780604 SOS 6022802 HAS SOPS 6022802 HAS SOUS 3198618 HAS SOUPS 3198618 WITH SCORE 3204640.802
AT ITER 377 NEW BEST:: SOT 24779997 SOS 6028454 HAS SOPS 6028454 HAS SOUS 3197403 HAS SOUPS 3197403 WITH SCORE 3203431.454
AT ITER 391 NEW BEST:: SOT 24779296 SOS 6028274 HAS SOPS 6028274 HAS SOUS 3196967 HAS SOUPS 3196967 WITH SCORE 3202995.274
AT ITER 408 NEW BEST:: SOT 24779115 SOS 6028351 HAS SOPS 6028351 HAS SOUS 3196667 HAS SOUPS 3196667 WITH SCORE 3202695.351
AT ITER 430 NEW BEST:: SOT 24778759 SOS 6030502 HAS SOPS 6030502 HAS SOUS 3196320 HAS SOUPS 3196320 WITH SCORE 3202350.502
AT ITER 436 NEW BEST:: SOT 24778489 SOS 6030765 HAS SOPS 6030765 HAS SOUS 3196048 HAS SOUPS 3196048 WITH SCORE 3202078.765
AT ITER 443 NEW BEST:: SOT 24776893 SOS 6028371 HAS SOPS 6028371 HAS SOUS 3193654 HAS SOUPS 3193654 WITH SCORE 3199682.371
AT ITER 452 NEW BEST:: SOT 24776451 SOS 6028623 HAS SOPS 6028623 HAS SOUS 3193496 HAS SOUPS 3193496 WITH SCORE 3199524.623
AT ITER 474 NEW BEST:: SOT 24776450 SOS 6030318 HAS SOPS 6030318 HAS SOUS 3193493 HAS SOUPS 3193493 WITH SCORE 3199523.318
AT ITER 475 NEW BEST:: SOT 24775879 SOS 6030889 HAS SOPS 6030889 HAS SOUS 3192922 HAS SOUPS 3192922 WITH SCORE 3198952.889
AT ITER 491 NEW BEST:: SOT 24775842 SOS 6030926 HAS SOPS 6030926 HAS SOUS 3192885 HAS SOUPS 3192885 WITH SCORE 3198915.926
AT ITER 503 NEW BEST:: SOT 24775468 SOS 6033534 HAS SOPS 6033534 HAS SOUS 3192136 HAS SOUPS 3192136 WITH SCORE 3198169.534
AT ITER 516 NEW BEST:: SOT 24774326 SOS 6033871 HAS SOPS 6033871 HAS SOUS 3189851 HAS SOUPS 3189851 WITH SCORE 3195884.871
AT ITER 524 NEW BEST:: SOT 24774092 SOS 6033751 HAS SOPS 6033751 HAS SOUS 3189733 HAS SOUPS 3189733 WITH SCORE 3195766.751
AT ITER 544 NEW BEST:: SOT 24773667 SOS 6032901 HAS SOPS 6032901 HAS SOUS 3188477 HAS SOUPS 3188477 WITH SCORE 3194509.901
AT ITER 550 NEW BEST:: SOT 24772388 SOS 6031603 HAS SOPS 6031603 HAS SOUS 3187449 HAS SOUPS 3187449 WITH SCORE 3193480.603
AT ITER 551 NEW BEST:: SOT 24771709 SOS 6030924 HAS SOPS 6030924 HAS SOUS 3186770 HAS SOUPS 3186770 WITH SCORE 3192800.924
AT ITER 581 NEW BEST:: SOT 24771708 SOS 6030922 HAS SOPS 6030922 HAS SOUS 3186768 HAS SOUPS 3186768 WITH SCORE 3192798.922
AT ITER 592 NEW BEST:: SOT 24771708 SOS 6029365 HAS SOPS 6029365 HAS SOUS 3186249 HAS SOUPS 3186249 WITH SCORE 3192278.365
AT ITER 614 NEW BEST:: SOT 24770896 SOS 6025305 HAS SOPS 6025305 HAS SOUS 3184625 HAS SOUPS 3184625 WITH SCORE 3190650.305
AT ITER 616 NEW BEST:: SOT 24768544 SOS 6023067 HAS SOPS 6023067 HAS SOUS 3182387 HAS SOUPS 3182387 WITH SCORE 3188410.067
AT ITER 628 NEW BEST:: SOT 24768528 SOS 6023035 HAS SOPS 6023035 HAS SOUS 3181605 HAS SOUPS 3181605 WITH SCORE 3187628.035
AT ITER 684 NEW BEST:: SOT 24767931 SOS 6023125 HAS SOPS 6023125 HAS SOUS 3181351 HAS SOUPS 3181351 WITH SCORE 3187374.125
AT ITER 711 NEW BEST:: SOT 24767197 SOS 6022365 HAS SOPS 6022365 HAS SOUS 3180591 HAS SOUPS 3180591 WITH SCORE 3186613.365
AT ITER 712 NEW BEST:: SOT 24767066 SOS 6022103 HAS SOPS 6022103 HAS SOUS 3180329 HAS SOUPS 3180329 WITH SCORE 3186351.103
AT ITER 713 NEW BEST:: SOT 24767238 SOS 6029457 HAS SOPS 6029457 HAS SOUS 3179892 HAS SOUPS 3179892 WITH SCORE 3185921.457
AT ITER 727 NEW BEST:: SOT 24766975 SOS 6029194 HAS SOPS 6029194 HAS SOUS 3179629 HAS SOUPS 3179629 WITH SCORE 3185658.194
AT ITER 730 NEW BEST:: SOT 24766975 SOS 6027382 HAS SOPS 6027382 HAS SOUS 3179629 HAS SOUPS 3179629 WITH SCORE 3185656.382
AT ITER 743 NEW BEST:: SOT 24766975 SOS 6027807 HAS SOPS 6027807 HAS SOUS 3179628 HAS SOUPS 3179628 WITH SCORE 3185655.807
AT ITER 797 NEW BEST:: SOT 24766693 SOS 6028856 HAS SOPS 6028856 HAS SOUS 3178398 HAS SOUPS 3178398 WITH SCORE 3184426.856
AT ITER 800 NEW BEST:: SOT 24766218 SOS 6027906 HAS SOPS 6027906 HAS SOUS 3177923 HAS SOUPS 3177923 WITH SCORE 3183950.906
AT ITER 802 NEW BEST:: SOT 24765968 SOS 6027656 HAS SOPS 6027656 HAS SOUS 3177923 HAS SOUPS 3177923 WITH SCORE 3183950.656
AT ITER 808 NEW BEST:: SOT 24765315 SOS 6028309 HAS SOPS 6028309 HAS SOUS 3177270 HAS SOUPS 3177270 WITH SCORE 3183298.309
AT ITER 821 NEW BEST:: SOT 24765167 SOS 6028304 HAS SOPS 6028304 HAS SOUS 3177265 HAS SOUPS 3177265 WITH SCORE 3183293.304
AT ITER 856 NEW BEST:: SOT 24764428 SOS 6028301 HAS SOPS 6028301 HAS SOUS 3175786 HAS SOUPS 3175786 WITH SCORE 3181814.301
AT ITER 857 NEW BEST:: SOT 24764778 SOS 6029001 HAS SOPS 6029001 HAS SOUS 3175655 HAS SOUPS 3175655 WITH SCORE 3181684.001
AT ITER 858 NEW BEST:: SOT 24764017 SOS 6028236 HAS SOPS 6028236 HAS SOUS 3174893 HAS SOUPS 3174893 WITH SCORE 3180921.236
AT ITER 871 NEW BEST:: SOT 24762814 SOS 6027033 HAS SOPS 6027033 HAS SOUS 3173690 HAS SOUPS 3173690 WITH SCORE 3179717.033
AT ITER 887 NEW BEST:: SOT 24762814 SOS 6027032 HAS SOPS 6027032 HAS SOUS 3173687 HAS SOUPS 3173687 WITH SCORE 3179714.032
AT ITER 897 NEW BEST:: SOT 24762814 SOS 6027032 HAS SOPS 6027032 HAS SOUS 3173686 HAS SOUPS 3173686 WITH SCORE 3179713.032
AT ITER 899 NEW BEST:: SOT 24762814 SOS 6026891 HAS SOPS 6026891 HAS SOUS 3173686 HAS SOUPS 3173686 WITH SCORE 3179712.891
AT ITER 907 NEW BEST:: SOT 24761872 SOS 6025007 HAS SOPS 6025007 HAS SOUS 3171410 HAS SOUPS 3171410 WITH SCORE 3177435.007
AT ITER 942 NEW BEST:: SOT 24761105 SOS 6025004 HAS SOPS 6025004 HAS SOUS 3169875 HAS SOUPS 3169875 WITH SCORE 3175900.004
AT ITER 944 NEW BEST:: SOT 24761105 SOS 6025004 HAS SOPS 6025004 HAS SOUS 3169874 HAS SOUPS 3169874 WITH SCORE 3175899.004
AT ITER 969 NEW BEST:: SOT 24760478 SOS 6025001 HAS SOPS 6025001 HAS SOUS 3168619 HAS SOUPS 3168619 WITH SCORE 3174644.001
AT ITER 1005 NEW BEST:: SOT 24760204 SOS 6026805 HAS SOPS 6026805 HAS SOUS 3168413 HAS SOUPS 3168413 WITH SCORE 3174439.805
AT ITER 1017 NEW BEST:: SOT 24758896 SOS 6026151 HAS SOPS 6026151 HAS SOUS 3167759 HAS SOUPS 3167759 WITH SCORE 3173785.151
AT ITER 1031 NEW BEST:: SOT 24758896 SOS 6026148 HAS SOPS 6026148 HAS SOUS 3167758 HAS SOUPS 3167758 WITH SCORE 3173784.148
AT ITER 1043 NEW BEST:: SOT 24757011 SOS 6023886 HAS SOPS 6023886 HAS SOUS 3164948 HAS SOUPS 3164948 WITH SCORE 3170971.886
AT ITER 1047 NEW BEST:: SOT 24756093 SOS 6013788 HAS SOPS 6013788 HAS SOUS 3163112 HAS SOUPS 3163112 WITH SCORE 3169125.788
AT ITER 1065 NEW BEST:: SOT 24754825 SOS 6011252 HAS SOPS 6011252 HAS SOUS 3160185 HAS SOUPS 3160185 WITH SCORE 3166196.252
AT ITER 1067 NEW BEST:: SOT 24754825 SOS 6010014 HAS SOPS 6010014 HAS SOUS 3160185 HAS SOUPS 3160185 WITH SCORE 3166195.014
AT ITER 1070 NEW BEST:: SOT 24754825 SOS 6009716 HAS SOPS 6009716 HAS SOUS 3160036 HAS SOUPS 3160036 WITH SCORE 3166045.716
AT ITER 1098 NEW BEST:: SOT 24754824 SOS 6009714 HAS SOPS 6009714 HAS SOUS 3160034 HAS SOUPS 3160034 WITH SCORE 3166043.714
AT ITER 1102 NEW BEST:: SOT 24755240 SOS 6007496 HAS SOPS 6007496 HAS SOUS 3159239 HAS SOUPS 3159239 WITH SCORE 3165246.496
AT ITER 1108 NEW BEST:: SOT 24755240 SOS 6008062 HAS SOPS 6008062 HAS SOUS 3159234 HAS SOUPS 3159234 WITH SCORE 3165242.062
AT ITER 1111 NEW BEST:: SOT 24755050 SOS 6007872 HAS SOPS 6007872 HAS SOUS 3159044 HAS SOUPS 3159044 WITH SCORE 3165051.872
AT ITER 1124 NEW BEST:: SOT 24754309 SOS 6007131 HAS SOPS 6007131 HAS SOUS 3158303 HAS SOUPS 3158303 WITH SCORE 3164310.131
AT ITER 1128 NEW BEST:: SOT 24754309 SOS 6005589 HAS SOPS 6005589 HAS SOUS 3157532 HAS SOUPS 3157532 WITH SCORE 3163537.589
AT ITER 1139 NEW BEST:: SOT 24753831 SOS 6005998 HAS SOPS 6005998 HAS SOUS 3157497 HAS SOUPS 3157497 WITH SCORE 3163502.998
AT ITER 1149 NEW BEST:: SOT 24753606 SOS 6005548 HAS SOPS 6005548 HAS SOUS 3157047 HAS SOUPS 3157047 WITH SCORE 3163052.548
AT ITER 1154 NEW BEST:: SOT 24753606 SOS 6006972 HAS SOPS 6006972 HAS SOUS 3156861 HAS SOUPS 3156861 WITH SCORE 3162867.972
AT ITER 1178 NEW BEST:: SOT 24753282 SOS 6007296 HAS SOPS 6007296 HAS SOUS 3156801 HAS SOUPS 3156801 WITH SCORE 3162808.296
AT ITER 1186 NEW BEST:: SOT 24752787 SOS 6007791 HAS SOPS 6007791 HAS SOUS 3156306 HAS SOUPS 3156306 WITH SCORE 3162313.791
AT ITER 1201 NEW BEST:: SOT 24752786 SOS 6007789 HAS SOPS 6007789 HAS SOUS 3156304 HAS SOUPS 3156304 WITH SCORE 3162311.789
AT ITER 1203 NEW BEST:: SOT 24752963 SOS 6010774 HAS SOPS 6010774 HAS SOUS 3155340 HAS SOUPS 3155340 WITH SCORE 3161350.774
AT ITER 1208 NEW BEST:: SOT 24752791 SOS 6012869 HAS SOPS 6012869 HAS SOUS 3155267 HAS SOUPS 3155267 WITH SCORE 3161279.869
AT ITER 1220 NEW BEST:: SOT 24752606 SOS 6012859 HAS SOPS 6012859 HAS SOUS 3155257 HAS SOUPS 3155257 WITH SCORE 3161269.859
AT ITER 1222 NEW BEST:: SOT 24752464 SOS 6012717 HAS SOPS 6012717 HAS SOUS 3155115 HAS SOUPS 3155115 WITH SCORE 3161127.717
AT ITER 1235 NEW BEST:: SOT 24752464 SOS 6012477 HAS SOPS 6012477 HAS SOUS 3154995 HAS SOUPS 3154995 WITH SCORE 3161007.477
AT ITER 1250 NEW BEST:: SOT 24752564 SOS 6019057 HAS SOPS 6019057 HAS SOUS 3154484 HAS SOUPS 3154484 WITH SCORE 3160503.057
AT ITER 1261 NEW BEST:: SOT 24752564 SOS 6019048 HAS SOPS 6019048 HAS SOUS 3154484 HAS SOUPS 3154484 WITH SCORE 3160503.048
AT ITER 1263 NEW BEST:: SOT 24751173 SOS 6023501 HAS SOPS 6023501 HAS SOUS 3154294 HAS SOUPS 3154294 WITH SCORE 3160317.501
AT ITER 1286 NEW BEST:: SOT 24750653 SOS 6022461 HAS SOPS 6022461 HAS SOUS 3153254 HAS SOUPS 3153254 WITH SCORE 3159276.461
AT ITER 1318 NEW BEST:: SOT 24750527 SOS 6022209 HAS SOPS 6022209 HAS SOUS 3153002 HAS SOUPS 3153002 WITH SCORE 3159024.209
AT ITER 1336 NEW BEST:: SOT 24750435 SOS 6022117 HAS SOPS 6022117 HAS SOUS 3152910 HAS SOUPS 3152910 WITH SCORE 3158932.117
AT ITER 1383 NEW BEST:: SOT 24749973 SOS 6023037 HAS SOPS 6023037 HAS SOUS 3152447 HAS SOUPS 3152447 WITH SCORE 3158470.037
AT ITER 1384 NEW BEST:: SOT 24749973 SOS 6023037 HAS SOPS 6023037 HAS SOUS 3152446 HAS SOUPS 3152446 WITH SCORE 3158469.037
AT ITER 1396 NEW BEST:: SOT 24750198 SOS 6023487 HAS SOPS 6023487 HAS SOUS 3151681 HAS SOUPS 3151681 WITH SCORE 3157704.487
AT ITER 1414 NEW BEST:: SOT 24748591 SOS 6028681 HAS SOPS 6028681 HAS SOUS 3151287 HAS SOUPS 3151287 WITH SCORE 3157315.681
AT ITER 1417 NEW BEST:: SOT 24750153 SOS 6028205 HAS SOPS 6028205 HAS SOUS 3151188 HAS SOUPS 3151188 WITH SCORE 3157216.205
AT ITER 1421 NEW BEST:: SOT 24749977 SOS 6028378 HAS SOPS 6028378 HAS SOUS 3151011 HAS SOUPS 3151011 WITH SCORE 3157039.378
AT ITER 1452 NEW BEST:: SOT 24749805 SOS 6025181 HAS SOPS 6025181 HAS SOUS 3150984 HAS SOUPS 3150984 WITH SCORE 3157009.181
AT ITER 1460 NEW BEST:: SOT 24749805 SOS 6025181 HAS SOPS 6025181 HAS SOUS 3150979 HAS SOUPS 3150979 WITH SCORE 3157004.181
AT ITER 1489 NEW BEST:: SOT 24749461 SOS 6024493 HAS SOPS 6024493 HAS SOUS 3150634 HAS SOUPS 3150634 WITH SCORE 3156658.493
AT ITER 1502 NEW BEST:: SOT 24749461 SOS 6024493 HAS SOPS 6024493 HAS SOUS 3150633 HAS SOUPS 3150633 WITH SCORE 3156657.493
AT ITER 1523 NEW BEST:: SOT 24749151 SOS 6026653 HAS SOPS 6026653 HAS SOUS 3150012 HAS SOUPS 3150012 WITH SCORE 3156038.653
AT ITER 1530 NEW BEST:: SOT 24749151 SOS 6026653 HAS SOPS 6026653 HAS SOUS 3150010 HAS SOUPS 3150010 WITH SCORE 3156036.653
AT ITER 1536 NEW BEST:: SOT 24748668 SOS 6021823 HAS SOPS 6021823 HAS SOUS 3149044 HAS SOUPS 3149044 WITH SCORE 3155065.823
AT ITER 1567 NEW BEST:: SOT 24748668 SOS 6021393 HAS SOPS 6021393 HAS SOUS 3148829 HAS SOUPS 3148829 WITH SCORE 3154850.393
AT ITER 1590 NEW BEST:: SOT 24748559 SOS 6021317 HAS SOPS 6021317 HAS SOUS 3148720 HAS SOUPS 3148720 WITH SCORE 3154741.317
AT ITER 1598 NEW BEST:: SOT 24748559 SOS 6020850 HAS SOPS 6020850 HAS SOUS 3148253 HAS SOUPS 3148253 WITH SCORE 3154273.85
AT ITER 1617 NEW BEST:: SOT 24748367 SOS 6020466 HAS SOPS 6020466 HAS SOUS 3147869 HAS SOUPS 3147869 WITH SCORE 3153889.466
AT ITER 1627 NEW BEST:: SOT 24747974 SOS 6020814 HAS SOPS 6020814 HAS SOUS 3147720 HAS SOUPS 3147720 WITH SCORE 3153740.814
AT ITER 1636 NEW BEST:: SOT 24747673 SOS 6021112 HAS SOPS 6021112 HAS SOUS 3147418 HAS SOUPS 3147418 WITH SCORE 3153439.112
AT ITER 1641 NEW BEST:: SOT 24747587 SOS 6021714 HAS SOPS 6021714 HAS SOUS 3147332 HAS SOUPS 3147332 WITH SCORE 3153353.714
AT ITER 1650 NEW BEST:: SOT 24747586 SOS 6021712 HAS SOPS 6021712 HAS SOUS 3147330 HAS SOUPS 3147330 WITH SCORE 3153351.712
AT ITER 1654 NEW BEST:: SOT 24747586 SOS 6019966 HAS SOPS 6019966 HAS SOUS 3147330 HAS SOUPS 3147330 WITH SCORE 3153349.966
AT ITER 1668 NEW BEST:: SOT 24746857 SOS 6019966 HAS SOPS 6019966 HAS SOUS 3146601 HAS SOUPS 3146601 WITH SCORE 3152620.966
AT ITER 1671 NEW BEST:: SOT 24745802 SOS 6019564 HAS SOPS 6019564 HAS SOUS 3145910 HAS SOUPS 3145910 WITH SCORE 3151929.564
AT ITER 1674 NEW BEST:: SOT 24745280 SOS 6019039 HAS SOPS 6019039 HAS SOUS 3145387 HAS SOUPS 3145387 WITH SCORE 3151406.039
AT ITER 1683 NEW BEST:: SOT 24745279 SOS 6019037 HAS SOPS 6019037 HAS SOUS 3145385 HAS SOUPS 3145385 WITH SCORE 3151404.037
AT ITER 1704 NEW BEST:: SOT 24745238 SOS 6018955 HAS SOPS 6018955 HAS SOUS 3145303 HAS SOUPS 3145303 WITH SCORE 3151321.955
AT ITER 1743 NEW BEST:: SOT 24745238 SOS 6018895 HAS SOPS 6018895 HAS SOUS 3145303 HAS SOUPS 3145303 WITH SCORE 3151321.895
AT ITER 1753 NEW BEST:: SOT 24745453 SOS 6019325 HAS SOPS 6019325 HAS SOUS 3145057 HAS SOUPS 3145057 WITH SCORE 3151076.325
AT ITER 1783 NEW BEST:: SOT 24744981 SOS 6019797 HAS SOPS 6019797 HAS SOUS 3144585 HAS SOUPS 3144585 WITH SCORE 3150604.797
AT ITER 1801 NEW BEST:: SOT 24744981 SOS 6019797 HAS SOPS 6019797 HAS SOUS 3144584 HAS SOUPS 3144584 WITH SCORE 3150603.797
AT ITER 1877 NEW BEST:: SOT 24744764 SOS 6019363 HAS SOPS 6019363 HAS SOUS 3144150 HAS SOUPS 3144150 WITH SCORE 3150169.363
AT ITER 1892 NEW BEST:: SOT 24744053 SOS 6018652 HAS SOPS 6018652 HAS SOUS 3143439 HAS SOUPS 3143439 WITH SCORE 3149457.652
AT ITER 1894 NEW BEST:: SOT 24744053 SOS 6019049 HAS SOPS 6019049 HAS SOUS 3143438 HAS SOUPS 3143438 WITH SCORE 3149457.049
AT ITER 1930 NEW BEST:: SOT 24743905 SOS 6018753 HAS SOPS 6018753 HAS SOUS 3143142 HAS SOUPS 3143142 WITH SCORE 3149160.753
AT ITER 1946 NEW BEST:: SOT 24743905 SOS 6017400 HAS SOPS 6017400 HAS SOUS 3143141 HAS SOUPS 3143141 WITH SCORE 3149158.4
AT ITER 1957 NEW BEST:: SOT 24742719 SOS 6016846 HAS SOPS 6016846 HAS SOUS 3142587 HAS SOUPS 3142587 WITH SCORE 3148603.846
AT ITER 1998 NEW BEST:: SOT 24742091 SOS 6015591 HAS SOPS 6015591 HAS SOUS 3141332 HAS SOUPS 3141332 WITH SCORE 3147347.591
AT ITER 2006 NEW BEST:: SOT 24741984 SOS 6015377 HAS SOPS 6015377 HAS SOUS 3140520 HAS SOUPS 3140520 WITH SCORE 3146535.377
AT ITER 2020 NEW BEST:: SOT 24740928 SOS 6014321 HAS SOPS 6014321 HAS SOUS 3139464 HAS SOUPS 3139464 WITH SCORE 3145478.321
AT ITER 2049 NEW BEST:: SOT 24740222 SOS 6013968 HAS SOPS 6013968 HAS SOUS 3139111 HAS SOUPS 3139111 WITH SCORE 3145124.968
AT ITER 2058 NEW BEST:: SOT 24739676 SOS 6013545 HAS SOPS 6013545 HAS SOUS 3138688 HAS SOUPS 3138688 WITH SCORE 3144701.545
AT ITER 2094 NEW BEST:: SOT 24740449 SOS 6015091 HAS SOPS 6015091 HAS SOUS 3138634 HAS SOUPS 3138634 WITH SCORE 3144649.091
AT ITER 2099 NEW BEST:: SOT 24739811 SOS 6014450 HAS SOPS 6014450 HAS SOUS 3137862 HAS SOUPS 3137862 WITH SCORE 3143876.45
AT ITER 2108 NEW BEST:: SOT 24739810 SOS 6014448 HAS SOPS 6014448 HAS SOUS 3137860 HAS SOUPS 3137860 WITH SCORE 3143874.448
AT ITER 2113 NEW BEST:: SOT 24738869 SOS 6021035 HAS SOPS 6021035 HAS SOUS 3136919 HAS SOUPS 3136919 WITH SCORE 3142940.035
AT ITER 2123 NEW BEST:: SOT 24738739 SOS 6020645 HAS SOPS 6020645 HAS SOUS 3136529 HAS SOUPS 3136529 WITH SCORE 3142549.645
AT ITER 2125 NEW BEST:: SOT 24738739 SOS 6020645 HAS SOPS 6020645 HAS SOUS 3136459 HAS SOUPS 3136459 WITH SCORE 3142479.645
AT ITER 2136 NEW BEST:: SOT 24738739 SOS 6014642 HAS SOPS 6014642 HAS SOUS 3136459 HAS SOUPS 3136459 WITH SCORE 3142473.642
AT ITER 2219 NEW BEST:: SOT 24738738 SOS 6014640 HAS SOPS 6014640 HAS SOUS 3136457 HAS SOUPS 3136457 WITH SCORE 3142471.64
AT ITER 2238 NEW BEST:: SOT 24738726 SOS 6014628 HAS SOPS 6014628 HAS SOUS 3136445 HAS SOUPS 3136445 WITH SCORE 3142459.628
AT ITER 2247 NEW BEST:: SOT 24737701 SOS 6013674 HAS SOPS 6013674 HAS SOUS 3135491 HAS SOUPS 3135491 WITH SCORE 3141504.674
AT ITER 2264 NEW BEST:: SOT 24737524 SOS 6013497 HAS SOPS 6013497 HAS SOUS 3135314 HAS SOUPS 3135314 WITH SCORE 3141327.497
AT ITER 2282 NEW BEST:: SOT 24736522 SOS 6013379 HAS SOPS 6013379 HAS SOUS 3134746 HAS SOUPS 3134746 WITH SCORE 3140759.379
AT ITER 2286 NEW BEST:: SOT 24735777 SOS 6013379 HAS SOPS 6013379 HAS SOUS 3133521 HAS SOUPS 3133521 WITH SCORE 3139534.379
AT ITER 2309 NEW BEST:: SOT 24736245 SOS 6011887 HAS SOPS 6011887 HAS SOUS 3133357 HAS SOUPS 3133357 WITH SCORE 3139368.887
AT ITER 2361 NEW BEST:: SOT 24736045 SOS 6011387 HAS SOPS 6011387 HAS SOUS 3133057 HAS SOUPS 3133057 WITH SCORE 3139068.387
AT ITER 2364 NEW BEST:: SOT 24736021 SOS 6011339 HAS SOPS 6011339 HAS SOUS 3133009 HAS SOUPS 3133009 WITH SCORE 3139020.339
AT ITER 2384 NEW BEST:: SOT 24735660 SOS 6010256 HAS SOPS 6010256 HAS SOUS 3132287 HAS SOUPS 3132287 WITH SCORE 3138297.256
AT ITER 2412 NEW BEST:: SOT 24735660 SOS 6009510 HAS SOPS 6009510 HAS SOUS 3131541 HAS SOUPS 3131541 WITH SCORE 3137550.51
AT ITER 2416 NEW BEST:: SOT 24735600 SOS 6009567 HAS SOPS 6009567 HAS SOUS 3131480 HAS SOUPS 3131480 WITH SCORE 3137489.567
AT ITER 2436 NEW BEST:: SOT 24735600 SOS 6009219 HAS SOPS 6009219 HAS SOUS 3131477 HAS SOUPS 3131477 WITH SCORE 3137486.219
AT ITER 2439 NEW BEST:: SOT 24735726 SOS 6009471 HAS SOPS 6009471 HAS SOUS 3130642 HAS SOUPS 3130642 WITH SCORE 3136651.471
AT ITER 2448 NEW BEST:: SOT 24734927 SOS 6009010 HAS SOPS 6009010 HAS SOUS 3130190 HAS SOUPS 3130190 WITH SCORE 3136199.01
AT ITER 2457 NEW BEST:: SOT 24734926 SOS 6009008 HAS SOPS 6009008 HAS SOUS 3130188 HAS SOUPS 3130188 WITH SCORE 3136197.008
AT ITER 2467 NEW BEST:: SOT 24734550 SOS 6008632 HAS SOPS 6008632 HAS SOUS 3129812 HAS SOUPS 3129812 WITH SCORE 3135820.632
AT ITER 2474 NEW BEST:: SOT 24734550 SOS 6008410 HAS SOPS 6008410 HAS SOUS 3129590 HAS SOUPS 3129590 WITH SCORE 3135598.41
AT ITER 2475 NEW BEST:: SOT 24732320 SOS 6005778 HAS SOPS 6005778 HAS SOUS 3126758 HAS SOUPS 3126758 WITH SCORE 3132763.778
AT ITER 2482 NEW BEST:: SOT 24732345 SOS 6005824 HAS SOPS 6005824 HAS SOUS 3126757 HAS SOUPS 3126757 WITH SCORE 3132762.824
AT ITER 2491 NEW BEST:: SOT 24732345 SOS 6005952 HAS SOPS 6005952 HAS SOUS 3126755 HAS SOUPS 3126755 WITH SCORE 3132760.952
AT ITER 2505 NEW BEST:: SOT 24731616 SOS 6005952 HAS SOPS 6005952 HAS SOUS 3126256 HAS SOUPS 3126256 WITH SCORE 3132261.952
AT ITER 2506 NEW BEST:: SOT 24730464 SOS 6004800 HAS SOPS 6004800 HAS SOUS 3125104 HAS SOUPS 3125104 WITH SCORE 3131108.8
AT ITER 2527 NEW BEST:: SOT 24730464 SOS 6004324 HAS SOPS 6004324 HAS SOUS 3125104 HAS SOUPS 3125104 WITH SCORE 3131108.324
AT ITER 2580 NEW BEST:: SOT 24729800 SOS 6004988 HAS SOPS 6004988 HAS SOUS 3124440 HAS SOUPS 3124440 WITH SCORE 3130444.988
AT ITER 2581 NEW BEST:: SOT 24729623 SOS 6004634 HAS SOPS 6004634 HAS SOUS 3124086 HAS SOUPS 3124086 WITH SCORE 3130090.634
AT ITER 2589 NEW BEST:: SOT 24729623 SOS 6004334 HAS SOPS 6004334 HAS SOUS 3122601 HAS SOUPS 3122601 WITH SCORE 3128605.334
AT ITER 2592 NEW BEST:: SOT 24729623 SOS 6004865 HAS SOPS 6004865 HAS SOUS 3122600 HAS SOUPS 3122600 WITH SCORE 3128604.865
AT ITER 2596 NEW BEST:: SOT 24729623 SOS 6004865 HAS SOPS 6004865 HAS SOUS 3122552 HAS SOUPS 3122552 WITH SCORE 3128556.865
AT ITER 2597 NEW BEST:: SOT 24729540 SOS 6006250 HAS SOPS 6006250 HAS SOUS 3122469 HAS SOUPS 3122469 WITH SCORE 3128475.25
AT ITER 2609 NEW BEST:: SOT 24729540 SOS 6006849 HAS SOPS 6006849 HAS SOUS 3122468 HAS SOUPS 3122468 WITH SCORE 3128474.849
AT ITER 2625 NEW BEST:: SOT 24728456 SOS 6006490 HAS SOPS 6006490 HAS SOUS 3122109 HAS SOUPS 3122109 WITH SCORE 3128115.49
AT ITER 2647 NEW BEST:: SOT 24728456 SOS 6006127 HAS SOPS 6006127 HAS SOUS 3121746 HAS SOUPS 3121746 WITH SCORE 3127752.127
AT ITER 2703 NEW BEST:: SOT 24728197 SOS 6005868 HAS SOPS 6005868 HAS SOUS 3121745 HAS SOUPS 3121745 WITH SCORE 3127750.868
AT ITER 2716 NEW BEST:: SOT 24728334 SOS 6005562 HAS SOPS 6005562 HAS SOUS 3121729 HAS SOUPS 3121729 WITH SCORE 3127734.562
AT ITER 2738 NEW BEST:: SOT 24728286 SOS 6005466 HAS SOPS 6005466 HAS SOUS 3121633 HAS SOUPS 3121633 WITH SCORE 3127638.466
AT ITER 2740 NEW BEST:: SOT 24728286 SOS 6005466 HAS SOPS 6005466 HAS SOUS 3120980 HAS SOUPS 3120980 WITH SCORE 3126985.466
AT ITER 2754 NEW BEST:: SOT 24727791 SOS 6004968 HAS SOPS 6004968 HAS SOUS 3120484 HAS SOUPS 3120484 WITH SCORE 3126488.968
AT ITER 2763 NEW BEST:: SOT 24727307 SOS 6004000 HAS SOPS 6004000 HAS SOUS 3119516 HAS SOUPS 3119516 WITH SCORE 3125520.0
AT ITER 2784 NEW BEST:: SOT 24726064 SOS 6000672 HAS SOPS 6000672 HAS SOUS 3118404 HAS SOUPS 3118404 WITH SCORE 3124404.672
AT ITER 2813 NEW BEST:: SOT 24725999 SOS 6004861 HAS SOPS 6004861 HAS SOUS 3118273 HAS SOUPS 3118273 WITH SCORE 3124277.861
AT ITER 2818 NEW BEST:: SOT 24725314 SOS 6004723 HAS SOPS 6004723 HAS SOUS 3117860 HAS SOUPS 3117860 WITH SCORE 3123864.723
AT ITER 2821 NEW BEST:: SOT 24725413 SOS 6004921 HAS SOPS 6004921 HAS SOUS 3117841 HAS SOUPS 3117841 WITH SCORE 3123845.921
AT ITER 2823 NEW BEST:: SOT 24724805 SOS 6004691 HAS SOPS 6004691 HAS SOUS 3117611 HAS SOUPS 3117611 WITH SCORE 3123615.691
AT ITER 2832 NEW BEST:: SOT 24724165 SOS 6005331 HAS SOPS 6005331 HAS SOUS 3116971 HAS SOUPS 3116971 WITH SCORE 3122976.331
AT ITER 2841 NEW BEST:: SOT 24724156 SOS 6005328 HAS SOPS 6005328 HAS SOUS 3116970 HAS SOUPS 3116970 WITH SCORE 3122975.328
AT ITER 2861 NEW BEST:: SOT 24723058 SOS 6004779 HAS SOPS 6004779 HAS SOUS 3116421 HAS SOUPS 3116421 WITH SCORE 3122425.779
AT ITER 2902 NEW BEST:: SOT 24723058 SOS 6006239 HAS SOPS 6006239 HAS SOUS 3116419 HAS SOUPS 3116419 WITH SCORE 3122425.239
AT ITER 2915 NEW BEST:: SOT 24722991 SOS 6006236 HAS SOPS 6006236 HAS SOUS 3116418 HAS SOUPS 3116418 WITH SCORE 3122424.236
AT ITER 2921 NEW BEST:: SOT 24721788 SOS 6003830 HAS SOPS 6003830 HAS SOUS 3115500 HAS SOUPS 3115500 WITH SCORE 3121503.83
AT ITER 2924 NEW BEST:: SOT 24721701 SOS 6003656 HAS SOPS 6003656 HAS SOUS 3115296 HAS SOUPS 3115296 WITH SCORE 3121299.656
AT ITER 2928 NEW BEST:: SOT 24721525 SOS 6003304 HAS SOPS 6003304 HAS SOUS 3114944 HAS SOUPS 3114944 WITH SCORE 3120947.304
AT ITER 2946 NEW BEST:: SOT 24721436 SOS 6003126 HAS SOPS 6003126 HAS SOUS 3114766 HAS SOUPS 3114766 WITH SCORE 3120769.126
AT ITER 2952 NEW BEST:: SOT 24721432 SOS 6003118 HAS SOPS 6003118 HAS SOUS 3114762 HAS SOUPS 3114762 WITH SCORE 3120765.118
AT ITER 2996 NEW BEST:: SOT 24721432 SOS 6004408 HAS SOPS 6004408 HAS SOUS 3114760 HAS SOUPS 3114760 WITH SCORE 3120764.408
AT ITER 3003 NEW BEST:: SOT 24721201 SOS 6005335 HAS SOPS 6005335 HAS SOUS 3114662 HAS SOUPS 3114662 WITH SCORE 3120667.335
AT ITER 3015 NEW BEST:: SOT 24720959 SOS 6005577 HAS SOPS 6005577 HAS SOUS 3114420 HAS SOUPS 3114420 WITH SCORE 3120425.577
AT ITER 3055 NEW BEST:: SOT 24720589 SOS 6008157 HAS SOPS 6008157 HAS SOUS 3114049 HAS SOUPS 3114049 WITH SCORE 3120057.157
AT ITER 3064 NEW BEST:: SOT 24720589 SOS 6007991 HAS SOPS 6007991 HAS SOUS 3113966 HAS SOUPS 3113966 WITH SCORE 3119973.991
AT ITER 3071 NEW BEST:: SOT 24719929 SOS 6007173 HAS SOPS 6007173 HAS SOUS 3113148 HAS SOUPS 3113148 WITH SCORE 3119155.173
AT ITER 3098 NEW BEST:: SOT 24720016 SOS 6007347 HAS SOPS 6007347 HAS SOUS 3112628 HAS SOUPS 3112628 WITH SCORE 3118635.347
AT ITER 3100 NEW BEST:: SOT 24719449 SOS 6009043 HAS SOPS 6009043 HAS SOUS 3112626 HAS SOUPS 3112626 WITH SCORE 3118635.043
AT ITER 3103 NEW BEST:: SOT 24718902 SOS 6007949 HAS SOPS 6007949 HAS SOUS 3111751 HAS SOUPS 3111751 WITH SCORE 3117758.949
AT ITER 3118 NEW BEST:: SOT 24719324 SOS 6010059 HAS SOPS 6010059 HAS SOUS 3111471 HAS SOUPS 3111471 WITH SCORE 3117481.059
AT ITER 3121 NEW BEST:: SOT 24719323 SOS 6010057 HAS SOPS 6010057 HAS SOUS 3111469 HAS SOUPS 3111469 WITH SCORE 3117479.057
AT ITER 3141 NEW BEST:: SOT 24718986 SOS 6009720 HAS SOPS 6009720 HAS SOUS 3111132 HAS SOUPS 3111132 WITH SCORE 3117141.72
AT ITER 3151 NEW BEST:: SOT 24718986 SOS 6009630 HAS SOPS 6009630 HAS SOUS 3111132 HAS SOUPS 3111132 WITH SCORE 3117141.63
AT ITER 3156 NEW BEST:: SOT 24718986 SOS 6010190 HAS SOPS 6010190 HAS SOUS 3111130 HAS SOUPS 3111130 WITH SCORE 3117140.19
AT ITER 3167 NEW BEST:: SOT 24718985 SOS 6010188 HAS SOPS 6010188 HAS SOUS 3111128 HAS SOUPS 3111128 WITH SCORE 3117138.188
AT ITER 3190 NEW BEST:: SOT 24719174 SOS 6010566 HAS SOPS 6010566 HAS SOUS 3110803 HAS SOUPS 3110803 WITH SCORE 3116813.566
AT ITER 3224 NEW BEST:: SOT 24719174 SOS 6010566 HAS SOPS 6010566 HAS SOUS 3110708 HAS SOUPS 3110708 WITH SCORE 3116718.566
AT ITER 3237 NEW BEST:: SOT 24719142 SOS 6010502 HAS SOPS 6010502 HAS SOUS 3110644 HAS SOUPS 3110644 WITH SCORE 3116654.502
AT ITER 3247 NEW BEST:: SOT 24719300 SOS 6009964 HAS SOPS 6009964 HAS SOUS 3110375 HAS SOUPS 3110375 WITH SCORE 3116384.964
AT ITER 3279 NEW BEST:: SOT 24719229 SOS 6009822 HAS SOPS 6009822 HAS SOUS 3110233 HAS SOUPS 3110233 WITH SCORE 3116242.822
AT ITER 3292 NEW BEST:: SOT 24718361 SOS 6010439 HAS SOPS 6010439 HAS SOUS 3108237 HAS SOUPS 3108237 WITH SCORE 3114247.439
AT ITER 3297 NEW BEST:: SOT 24718361 SOS 6009365 HAS SOPS 6009365 HAS SOUS 3108237 HAS SOUPS 3108237 WITH SCORE 3114246.365
AT ITER 3317 NEW BEST:: SOT 24718355 SOS 6009367 HAS SOPS 6009367 HAS SOUS 3108236 HAS SOUPS 3108236 WITH SCORE 3114245.367
AT ITER 3320 NEW BEST:: SOT 24718355 SOS 6009357 HAS SOPS 6009357 HAS SOUS 3108235 HAS SOUPS 3108235 WITH SCORE 3114244.357
AT ITER 3326 NEW BEST:: SOT 24718029 SOS 6008053 HAS SOPS 6008053 HAS SOUS 3107907 HAS SOUPS 3107907 WITH SCORE 3113915.053
AT ITER 3341 NEW BEST:: SOT 24717949 SOS 6007893 HAS SOPS 6007893 HAS SOUS 3107827 HAS SOUPS 3107827 WITH SCORE 3113834.893
AT ITER 3345 NEW BEST:: SOT 24717604 SOS 6007758 HAS SOPS 6007758 HAS SOUS 3107667 HAS SOUPS 3107667 WITH SCORE 3113674.758
AT ITER 3362 NEW BEST:: SOT 24717538 SOS 6007626 HAS SOPS 6007626 HAS SOUS 3107601 HAS SOUPS 3107601 WITH SCORE 3113608.626
AT ITER 3369 NEW BEST:: SOT 24717640 SOS 6007042 HAS SOPS 6007042 HAS SOUS 3107360 HAS SOUPS 3107360 WITH SCORE 3113367.042
AT ITER 3375 NEW BEST:: SOT 24717454 SOS 6006670 HAS SOPS 6006670 HAS SOUS 3106988 HAS SOUPS 3106988 WITH SCORE 3112994.67
AT ITER 3442 NEW BEST:: SOT 24717454 SOS 6005308 HAS SOPS 6005308 HAS SOUS 3106986 HAS SOUPS 3106986 WITH SCORE 3112991.308
AT ITER 3450 NEW BEST:: SOT 24717454 SOS 6004438 HAS SOPS 6004438 HAS SOUS 3106696 HAS SOUPS 3106696 WITH SCORE 3112700.438
AT ITER 3456 NEW BEST:: SOT 24716197 SOS 6003181 HAS SOPS 6003181 HAS SOUS 3106696 HAS SOUPS 3106696 WITH SCORE 3112699.181
AT ITER 3468 NEW BEST:: SOT 24716196 SOS 6003179 HAS SOPS 6003179 HAS SOUS 3106694 HAS SOUPS 3106694 WITH SCORE 3112697.179
AT ITER 3487 NEW BEST:: SOT 24716107 SOS 6006474 HAS SOPS 6006474 HAS SOUS 3106515 HAS SOUPS 3106515 WITH SCORE 3112521.474
AT ITER 3501 NEW BEST:: SOT 24716107 SOS 6006128 HAS SOPS 6006128 HAS SOUS 3106515 HAS SOUPS 3106515 WITH SCORE 3112521.128
AT ITER 3556 NEW BEST:: SOT 24716448 SOS 6005070 HAS SOPS 6005070 HAS SOUS 3106446 HAS SOUPS 3106446 WITH SCORE 3112451.07
AT ITER 3577 NEW BEST:: SOT 24716136 SOS 6004758 HAS SOPS 6004758 HAS SOUS 3106134 HAS SOUPS 3106134 WITH SCORE 3112138.758
AT ITER 3584 NEW BEST:: SOT 24715201 SOS 5996928 HAS SOPS 5996928 HAS SOUS 3104454 HAS SOUPS 3104454 WITH SCORE 3110450.928
AT ITER 3616 NEW BEST:: SOT 24714920 SOS 5996928 HAS SOPS 5996928 HAS SOUS 3104241 HAS SOUPS 3104241 WITH SCORE 3110237.928
AT ITER 3654 NEW BEST:: SOT 24713937 SOS 5996103 HAS SOPS 5996103 HAS SOUS 3101944 HAS SOUPS 3101944 WITH SCORE 3107940.103
AT ITER 3668 NEW BEST:: SOT 24713937 SOS 5995203 HAS SOPS 5995203 HAS SOUS 3101469 HAS SOUPS 3101469 WITH SCORE 3107464.203
AT ITER 3671 NEW BEST:: SOT 24713937 SOS 5995161 HAS SOPS 5995161 HAS SOUS 3101382 HAS SOUPS 3101382 WITH SCORE 3107377.161
AT ITER 3689 NEW BEST:: SOT 24713516 SOS 5996198 HAS SOPS 5996198 HAS SOUS 3101115 HAS SOUPS 3101115 WITH SCORE 3107111.198
AT ITER 3691 NEW BEST:: SOT 24712918 SOS 5995002 HAS SOPS 5995002 HAS SOUS 3099919 HAS SOUPS 3099919 WITH SCORE 3105914.002
AT ITER 3700 NEW BEST:: SOT 24712918 SOS 5994912 HAS SOPS 5994912 HAS SOUS 3099829 HAS SOUPS 3099829 WITH SCORE 3105823.912
AT ITER 3714 NEW BEST:: SOT 24712662 SOS 5994805 HAS SOPS 5994805 HAS SOUS 3099722 HAS SOUPS 3099722 WITH SCORE 3105716.805
AT ITER 3731 NEW BEST:: SOT 24712662 SOS 5993721 HAS SOPS 5993721 HAS SOUS 3099190 HAS SOUPS 3099190 WITH SCORE 3105183.721
AT ITER 3749 NEW BEST:: SOT 24712662 SOS 5991780 HAS SOPS 5991780 HAS SOUS 3099189 HAS SOUPS 3099189 WITH SCORE 3105180.78
AT ITER 3752 NEW BEST:: SOT 24712662 SOS 5990838 HAS SOPS 5990838 HAS SOUS 3099003 HAS SOUPS 3099003 WITH SCORE 3104993.838
AT ITER 3797 NEW BEST:: SOT 24712662 SOS 5993268 HAS SOPS 5993268 HAS SOUS 3098733 HAS SOUPS 3098733 WITH SCORE 3104726.268
AT ITER 3809 NEW BEST:: SOT 24712287 SOS 5994018 HAS SOPS 5994018 HAS SOUS 3098541 HAS SOUPS 3098541 WITH SCORE 3104535.018
AT ITER 3826 NEW BEST:: SOT 24711925 SOS 5993656 HAS SOPS 5993656 HAS SOUS 3098179 HAS SOUPS 3098179 WITH SCORE 3104172.656
AT ITER 3854 NEW BEST:: SOT 24711352 SOS 5993646 HAS SOPS 5993646 HAS SOUS 3098026 HAS SOUPS 3098026 WITH SCORE 3104019.646
AT ITER 3880 NEW BEST:: SOT 24711352 SOS 5995568 HAS SOPS 5995568 HAS SOUS 3098024 HAS SOUPS 3098024 WITH SCORE 3104019.568
AT ITER 3914 NEW BEST:: SOT 24711352 SOS 5996047 HAS SOPS 5996047 HAS SOUS 3097862 HAS SOUPS 3097862 WITH SCORE 3103858.047
AT ITER 3957 NEW BEST:: SOT 24710686 SOS 6000709 HAS SOPS 6000709 HAS SOUS 3097196 HAS SOUPS 3097196 WITH SCORE 3103196.709
AT ITER 3982 NEW BEST:: SOT 24710407 SOS 6001263 HAS SOPS 6001263 HAS SOUS 3096916 HAS SOUPS 3096916 WITH SCORE 3102917.263
AT ITER 3990 NEW BEST:: SOT 24710207 SOS 6000863 HAS SOPS 6000863 HAS SOUS 3096516 HAS SOUPS 3096516 WITH SCORE 3102516.863
AT ITER 4011 NEW BEST:: SOT 24709867 SOS 6003233 HAS SOPS 6003233 HAS SOUS 3095835 HAS SOUPS 3095835 WITH SCORE 3101838.233
AT ITER 4016 NEW BEST:: SOT 24709710 SOS 6003060 HAS SOPS 6003060 HAS SOUS 3095677 HAS SOUPS 3095677 WITH SCORE 3101680.06
AT ITER 4037 NEW BEST:: SOT 24709060 SOS 6003707 HAS SOPS 6003707 HAS SOUS 3095026 HAS SOUPS 3095026 WITH SCORE 3101029.707
AT ITER 4044 NEW BEST:: SOT 24709060 SOS 6003574 HAS SOPS 6003574 HAS SOUS 3094924 HAS SOUPS 3094924 WITH SCORE 3100927.574
AT ITER 4084 NEW BEST:: SOT 24708437 SOS 6003728 HAS SOPS 6003728 HAS SOUS 3094506 HAS SOUPS 3094506 WITH SCORE 3100509.728
AT ITER 4113 NEW BEST:: SOT 24708765 SOS 6004053 HAS SOPS 6004053 HAS SOUS 3094505 HAS SOUPS 3094505 WITH SCORE 3100509.053
AT ITER 4161 NEW BEST:: SOT 24708032 SOS 6003316 HAS SOPS 6003316 HAS SOUS 3093771 HAS SOUPS 3093771 WITH SCORE 3099774.316
AT ITER 4171 NEW BEST:: SOT 24708032 SOS 6003325 HAS SOPS 6003325 HAS SOUS 3093770 HAS SOUPS 3093770 WITH SCORE 3099773.325
AT ITER 4187 NEW BEST:: SOT 24707202 SOS 6002910 HAS SOPS 6002910 HAS SOUS 3093355 HAS SOUPS 3093355 WITH SCORE 3099357.91
AT ITER 4188 NEW BEST:: SOT 24707003 SOS 6002313 HAS SOPS 6002313 HAS SOUS 3092957 HAS SOUPS 3092957 WITH SCORE 3098959.313
AT ITER 4193 NEW BEST:: SOT 24707003 SOS 6002340 HAS SOPS 6002340 HAS SOUS 3092956 HAS SOUPS 3092956 WITH SCORE 3098958.34
AT ITER 4197 NEW BEST:: SOT 24706978 SOS 6002290 HAS SOPS 6002290 HAS SOUS 3091832 HAS SOUPS 3091832 WITH SCORE 3097834.29
AT ITER 4199 NEW BEST:: SOT 24706510 SOS 6005556 HAS SOPS 6005556 HAS SOUS 3090895 HAS SOUPS 3090895 WITH SCORE 3096900.556
AT ITER 4207 NEW BEST:: SOT 24706510 SOS 6006117 HAS SOPS 6006117 HAS SOUS 3090894 HAS SOUPS 3090894 WITH SCORE 3096900.117
AT ITER 4210 NEW BEST:: SOT 24706008 SOS 6007756 HAS SOPS 6007756 HAS SOUS 3090593 HAS SOUPS 3090593 WITH SCORE 3096600.756
AT ITER 4221 NEW BEST:: SOT 24705301 SOS 6007480 HAS SOPS 6007480 HAS SOUS 3090316 HAS SOUPS 3090316 WITH SCORE 3096323.48
AT ITER 4237 NEW BEST:: SOT 24704593 SOS 6001108 HAS SOPS 6001108 HAS SOUS 3089608 HAS SOUPS 3089608 WITH SCORE 3095609.108
AT ITER 4247 NEW BEST:: SOT 24704310 SOS 6001108 HAS SOPS 6001108 HAS SOUS 3089325 HAS SOUPS 3089325 WITH SCORE 3095326.108
AT ITER 4277 NEW BEST:: SOT 24704310 SOS 6001040 HAS SOPS 6001040 HAS SOUS 3089291 HAS SOUPS 3089291 WITH SCORE 3095292.04
AT ITER 4298 NEW BEST:: SOT 24703879 SOS 6000710 HAS SOPS 6000710 HAS SOUS 3088961 HAS SOUPS 3088961 WITH SCORE 3094961.71
AT ITER 4301 NEW BEST:: SOT 24703699 SOS 6000350 HAS SOPS 6000350 HAS SOUS 3088614 HAS SOUPS 3088614 WITH SCORE 3094614.35
AT ITER 4305 NEW BEST:: SOT 24701136 SOS 5998964 HAS SOPS 5998964 HAS SOUS 3086329 HAS SOUPS 3086329 WITH SCORE 3092327.964
AT ITER 4323 NEW BEST:: SOT 24701444 SOS 5999254 HAS SOPS 5999254 HAS SOUS 3086193 HAS SOUPS 3086193 WITH SCORE 3092192.254
AT ITER 4334 NEW BEST:: SOT 24701220 SOS 5998806 HAS SOPS 5998806 HAS SOUS 3085745 HAS SOUPS 3085745 WITH SCORE 3091743.806
AT ITER 4363 NEW BEST:: SOT 24701220 SOS 6001298 HAS SOPS 6001298 HAS SOUS 3085466 HAS SOUPS 3085466 WITH SCORE 3091467.298
AT ITER 4383 NEW BEST:: SOT 24700635 SOS 5999998 HAS SOPS 5999998 HAS SOUS 3085336 HAS SOUPS 3085336 WITH SCORE 3091335.998
AT ITER 4384 NEW BEST:: SOT 24699615 SOS 5997958 HAS SOPS 5997958 HAS SOUS 3082699 HAS SOUPS 3082699 WITH SCORE 3088696.958
AT ITER 4386 NEW BEST:: SOT 24698615 SOS 5997030 HAS SOPS 5997030 HAS SOUS 3081771 HAS SOUPS 3081771 WITH SCORE 3087768.03
AT ITER 4391 NEW BEST:: SOT 24698461 SOS 5996949 HAS SOPS 5996949 HAS SOUS 3081693 HAS SOUPS 3081693 WITH SCORE 3087689.949
AT ITER 4394 NEW BEST:: SOT 24698378 SOS 5997520 HAS SOPS 5997520 HAS SOUS 3081526 HAS SOUPS 3081526 WITH SCORE 3087523.52
AT ITER 4404 NEW BEST:: SOT 24698461 SOS 5995805 HAS SOPS 5995805 HAS SOUS 3081023 HAS SOUPS 3081023 WITH SCORE 3087018.805
AT ITER 4410 NEW BEST:: SOT 24698461 SOS 5996313 HAS SOPS 5996313 HAS SOUS 3081022 HAS SOUPS 3081022 WITH SCORE 3087018.313
AT ITER 4450 NEW BEST:: SOT 24698261 SOS 5996345 HAS SOPS 5996345 HAS SOUS 3080822 HAS SOUPS 3080822 WITH SCORE 3086818.345
AT ITER 4451 NEW BEST:: SOT 24698261 SOS 5996345 HAS SOPS 5996345 HAS SOUS 3080821 HAS SOUPS 3080821 WITH SCORE 3086817.345
AT ITER 4494 NEW BEST:: SOT 24697540 SOS 5994974 HAS SOPS 5994974 HAS SOUS 3080364 HAS SOUPS 3080364 WITH SCORE 3086358.974
AT ITER 4543 NEW BEST:: SOT 24697401 SOS 5994835 HAS SOPS 5994835 HAS SOUS 3080225 HAS SOUPS 3080225 WITH SCORE 3086219.835
AT ITER 4631 NEW BEST:: SOT 24697401 SOS 5996031 HAS SOPS 5996031 HAS SOUS 3080090 HAS SOUPS 3080090 WITH SCORE 3086086.031
AT ITER 4643 NEW BEST:: SOT 24697090 SOS 5998198 HAS SOPS 5998198 HAS SOUS 3079467 HAS SOUPS 3079467 WITH SCORE 3085465.198
AT ITER 4649 NEW BEST:: SOT 24697608 SOS 5999233 HAS SOPS 5999233 HAS SOUS 3079135 HAS SOUPS 3079135 WITH SCORE 3085134.233
AT ITER 4655 NEW BEST:: SOT 24697607 SOS 5999042 HAS SOPS 5999042 HAS SOUS 3078945 HAS SOUPS 3078945 WITH SCORE 3084944.042
AT ITER 4659 NEW BEST:: SOT 24697469 SOS 5998766 HAS SOPS 5998766 HAS SOUS 3078807 HAS SOUPS 3078807 WITH SCORE 3084805.766
AT ITER 4768 NEW BEST:: SOT 24697521 SOS 5998870 HAS SOPS 5998870 HAS SOUS 3078599 HAS SOUPS 3078599 WITH SCORE 3084597.87
AT ITER 4783 NEW BEST:: SOT 24697494 SOS 5998843 HAS SOPS 5998843 HAS SOUS 3078572 HAS SOUPS 3078572 WITH SCORE 3084570.843
AT ITER 4817 NEW BEST:: SOT 24697454 SOS 5998763 HAS SOPS 5998763 HAS SOUS 3078439 HAS SOUPS 3078439 WITH SCORE 3084437.763
AT ITER 4829 NEW BEST:: SOT 24697385 SOS 5999236 HAS SOPS 5999236 HAS SOUS 3078300 HAS SOUPS 3078300 WITH SCORE 3084299.236
AT ITER 4843 NEW BEST:: SOT 24697385 SOS 5997580 HAS SOPS 5997580 HAS SOUS 3078299 HAS SOUPS 3078299 WITH SCORE 3084296.58
AT ITER 4857 NEW BEST:: SOT 24697105 SOS 5997577 HAS SOPS 5997577 HAS SOUS 3078298 HAS SOUPS 3078298 WITH SCORE 3084295.577
AT ITER 4872 NEW BEST:: SOT 24695809 SOS 5995405 HAS SOPS 5995405 HAS SOUS 3076783 HAS SOUPS 3076783 WITH SCORE 3082778.405
AT ITER 4916 NEW BEST:: SOT 24694937 SOS 5993661 HAS SOPS 5993661 HAS SOUS 3074934 HAS SOUPS 3074934 WITH SCORE 3080927.661
AT ITER 4918 NEW BEST:: SOT 24694937 SOS 5993517 HAS SOPS 5993517 HAS SOUS 3074862 HAS SOUPS 3074862 WITH SCORE 3080855.517
AT ITER 4922 NEW BEST:: SOT 24694937 SOS 5993496 HAS SOPS 5993496 HAS SOUS 3074841 HAS SOUPS 3074841 WITH SCORE 3080834.496
AT ITER 4930 NEW BEST:: SOT 24694603 SOS 5993329 HAS SOPS 5993329 HAS SOUS 3074674 HAS SOUPS 3074674 WITH SCORE 3080667.329
AT ITER 4939 NEW BEST:: SOT 24693769 SOS 5992495 HAS SOPS 5992495 HAS SOUS 3073840 HAS SOUPS 3073840 WITH SCORE 3079832.495
AT ITER 4966 NEW BEST:: SOT 24692853 SOS 5989915 HAS SOPS 5989915 HAS SOUS 3072508 HAS SOUPS 3072508 WITH SCORE 3078497.915
AT ITER 4994 NEW BEST:: SOT 24692853 SOS 5990799 HAS SOPS 5990799 HAS SOUS 3072506 HAS SOUPS 3072506 WITH SCORE 3078496.799
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: DLCround-PT-12b-CTLCardinality-00 (EG( (AU( potential( ( 1 ) <= (tk(P2948)) ),potential( (tk(P2918)) <= (tk(P11)) ) ))))
PROPERTY: DLCround-PT-12b-CTLCardinality-01 (EU( ( ( potential( ( 1 ) <= (tk(P4162)) ) | potential( (tk(P1077)) <= (tk(P552)) ) ) | ( potential( ( 3 ) <= (tk(P4342)) ) & potential( (tk(P1099)) <= (tk(P2816)) ) ) ),(AG( potential( (tk(P3742)) <= (tk(P1480)) ))) ))
PROPERTY: DLCround-PT-12b-CTLCardinality-02 ( (AF((! (! potential( ( 2 ) <= (tk(P4253)) ))))) | ( (! ( ( potential( (tk(P881)) <= (tk(P1762)) ) | potential( (tk(P227)) <= (tk(P2035)) ) ) | (! potential( ( 2 ) <= (tk(P2860)) )) )) | (! (EX( potential( (tk(P2159)) <= (tk(P3959)) )))) ) )
PROPERTY: DLCround-PT-12b-CTLCardinality-03 (EF((AG( ( potential( (tk(P405)) <= (tk(P1002)) ) | potential( ( 1 ) <= (tk(P2727)) ) )))))
PROPERTY: DLCround-PT-12b-CTLCardinality-04 (AG( potential( (tk(P3320)) <= (tk(P1932)) )))
PROPERTY: DLCround-PT-12b-CTLCardinality-05 (! (AF((AX( potential( ( 2 ) <= (tk(P411)) ))))))
PROPERTY: DLCround-PT-12b-CTLCardinality-06 (AG( (EF((! potential( ( 3 ) <= (tk(P4384)) ))))))
PROPERTY: DLCround-PT-12b-CTLCardinality-07 (! (AX( (AG( potential( (tk(P84)) <= (tk(P1999)) ))))))
PROPERTY: DLCround-PT-12b-CTLCardinality-08 ( ( (AX( ( potential( (tk(P1885)) <= (tk(P511)) ) & potential( ( 2 ) <= (tk(P4735)) ) ))) | ( (EF(potential( ( 3 ) <= (tk(P3246)) ))) & (EF(potential( ( 2 ) <= (tk(P1368)) ))) ) ) & (AX( (AX( potential( (tk(P2458)) <= (tk(P3608)) ))))) )
PROPERTY: DLCround-PT-12b-CTLCardinality-09 (EG( (! (EG( potential( (tk(P4765)) <= (tk(P1163)) ))))))
PROPERTY: DLCround-PT-12b-CTLCardinality-10 (AG( ( ( ( potential( ( 2 ) <= (tk(P1952)) ) & potential( ( 2 ) <= (tk(P4098)) ) ) & ( potential( ( 1 ) <= (tk(P3490)) ) | potential( (tk(P2524)) <= (tk(P3176)) ) ) ) | ( ( potential( ( 2 ) <= (tk(P4363)) ) | potential( (tk(P638)) <= (tk(P3372)) ) ) | ( potential( ( 2 ) <= (tk(P130)) ) | potential( (tk(P1565)) <= (tk(P4195)) ) ) ) )))
PROPERTY: DLCround-PT-12b-CTLCardinality-11 ( (EG( (AG( potential( (tk(P2418)) <= (tk(P1707)) ))))) & (! (AF(( potential( (tk(P548)) <= (tk(P2577)) ) & potential( ( 2 ) <= (tk(P3434)) ) )))) )
PROPERTY: DLCround-PT-12b-CTLCardinality-12 ( (! (EX( ( potential( ( 1 ) <= (tk(P1501)) ) | potential( (tk(P2096)) <= (tk(P2323)) ) )))) | (! (AF(( potential( ( 1 ) <= (tk(P636)) ) & potential( ( 2 ) <= (tk(P1480)) ) )))) )
PROPERTY: DLCround-PT-12b-CTLCardinality-13 (EF(potential( ( 2 ) <= (tk(P2105)) )))
PROPERTY: DLCround-PT-12b-CTLCardinality-14 (EF(potential( ( 1 ) <= (tk(P3810)) )))
PROPERTY: DLCround-PT-12b-CTLCardinality-15 (EG( (! (EF(potential( ( 3 ) <= (tk(P174)) ))))))

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-12b"
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-12b, 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-158902542400603"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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