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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.9M
-rw-r--r-- 1 mcc users 3.9K Mar 30 20:21 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 30 20:21 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 29 10:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 29 10:28 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 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Mar 28 06:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 28 06:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 27 00:31 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 27 00:31 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.7M Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1590869271193

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 11b
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: 4375 places, 6991 transitions, 19673 arcs.
AT ITER 0 NEW BEST:: SOT 19786153 SOS 4759696 HAS SOPS 4759696 HAS SOUS 2593398 HAS SOUPS 2593398 WITH SCORE 2598157.696
AT ITER 21 NEW BEST:: SOT 19786153 SOS 4760286 HAS SOPS 4760286 HAS SOUS 2593396 HAS SOUPS 2593396 WITH SCORE 2598156.286
AT ITER 23 NEW BEST:: SOT 19785656 SOS 4755810 HAS SOPS 4755810 HAS SOUS 2592401 HAS SOUPS 2592401 WITH SCORE 2597156.81
AT ITER 26 NEW BEST:: SOT 19785537 SOS 4756353 HAS SOPS 4756353 HAS SOUS 2592281 HAS SOUPS 2592281 WITH SCORE 2597037.353
AT ITER 50 NEW BEST:: SOT 19785105 SOS 4756137 HAS SOPS 4756137 HAS SOUS 2592065 HAS SOUPS 2592065 WITH SCORE 2596821.137
AT ITER 74 NEW BEST:: SOT 19785012 SOS 4756323 HAS SOPS 4756323 HAS SOUS 2591972 HAS SOUPS 2591972 WITH SCORE 2596728.323
AT ITER 81 NEW BEST:: SOT 19785012 SOS 4756321 HAS SOPS 4756321 HAS SOUS 2591969 HAS SOUPS 2591969 WITH SCORE 2596725.321
AT ITER 87 NEW BEST:: SOT 19784995 SOS 4756287 HAS SOPS 4756287 HAS SOUS 2591935 HAS SOUPS 2591935 WITH SCORE 2596691.287
AT ITER 97 NEW BEST:: SOT 19784995 SOS 4756202 HAS SOPS 4756202 HAS SOUS 2591935 HAS SOUPS 2591935 WITH SCORE 2596691.202
AT ITER 100 NEW BEST:: SOT 19784938 SOS 4756259 HAS SOPS 4756259 HAS SOUS 2591878 HAS SOUPS 2591878 WITH SCORE 2596634.259
AT ITER 104 NEW BEST:: SOT 19784272 SOS 4754927 HAS SOPS 4754927 HAS SOUS 2590389 HAS SOUPS 2590389 WITH SCORE 2595143.927
AT ITER 106 NEW BEST:: SOT 19783396 SOS 4745291 HAS SOPS 4745291 HAS SOUS 2588637 HAS SOUPS 2588637 WITH SCORE 2593382.291
AT ITER 124 NEW BEST:: SOT 19783396 SOS 4743800 HAS SOPS 4743800 HAS SOUS 2588636 HAS SOUPS 2588636 WITH SCORE 2593379.8
AT ITER 132 NEW BEST:: SOT 19782651 SOS 4733904 HAS SOPS 4733904 HAS SOUS 2587146 HAS SOUPS 2587146 WITH SCORE 2591879.904
AT ITER 137 NEW BEST:: SOT 19782651 SOS 4733627 HAS SOPS 4733627 HAS SOUS 2587146 HAS SOUPS 2587146 WITH SCORE 2591879.627
AT ITER 150 NEW BEST:: SOT 19782505 SOS 4733358 HAS SOPS 4733358 HAS SOUS 2586877 HAS SOUPS 2586877 WITH SCORE 2591610.358
AT ITER 153 NEW BEST:: SOT 19782261 SOS 4734009 HAS SOPS 4734009 HAS SOUS 2586451 HAS SOUPS 2586451 WITH SCORE 2591185.009
AT ITER 154 NEW BEST:: SOT 19782202 SOS 4733773 HAS SOPS 4733773 HAS SOUS 2586333 HAS SOUPS 2586333 WITH SCORE 2591066.773
AT ITER 194 NEW BEST:: SOT 19782202 SOS 4735018 HAS SOPS 4735018 HAS SOUS 2585708 HAS SOUPS 2585708 WITH SCORE 2590443.018
AT ITER 211 NEW BEST:: SOT 19781972 SOS 4734903 HAS SOPS 4734903 HAS SOUS 2585593 HAS SOUPS 2585593 WITH SCORE 2590327.903
AT ITER 224 NEW BEST:: SOT 19781743 SOS 4734445 HAS SOPS 4734445 HAS SOUS 2585135 HAS SOUPS 2585135 WITH SCORE 2589869.445
AT ITER 272 NEW BEST:: SOT 19782152 SOS 4734020 HAS SOPS 4734020 HAS SOUS 2584922 HAS SOUPS 2584922 WITH SCORE 2589656.02
AT ITER 281 NEW BEST:: SOT 19782152 SOS 4733926 HAS SOPS 4733926 HAS SOUS 2584828 HAS SOUPS 2584828 WITH SCORE 2589561.926
AT ITER 308 NEW BEST:: SOT 19780953 SOS 4733926 HAS SOPS 4733926 HAS SOUS 2583191 HAS SOUPS 2583191 WITH SCORE 2587924.926
AT ITER 317 NEW BEST:: SOT 19780814 SOS 4733648 HAS SOPS 4733648 HAS SOUS 2583052 HAS SOUPS 2583052 WITH SCORE 2587785.648
AT ITER 327 NEW BEST:: SOT 19781281 SOS 4737794 HAS SOPS 4737794 HAS SOUS 2582913 HAS SOUPS 2582913 WITH SCORE 2587650.794
AT ITER 333 NEW BEST:: SOT 19781660 SOS 4736353 HAS SOPS 4736353 HAS SOUS 2582772 HAS SOUPS 2582772 WITH SCORE 2587508.353
AT ITER 353 NEW BEST:: SOT 19781425 SOS 4736118 HAS SOPS 4736118 HAS SOUS 2582771 HAS SOUPS 2582771 WITH SCORE 2587507.118
AT ITER 376 NEW BEST:: SOT 19781164 SOS 4735384 HAS SOPS 4735384 HAS SOUS 2582037 HAS SOUPS 2582037 WITH SCORE 2586772.384
AT ITER 397 NEW BEST:: SOT 19779387 SOS 4733063 HAS SOPS 4733063 HAS SOUS 2579261 HAS SOUPS 2579261 WITH SCORE 2583994.063
AT ITER 398 NEW BEST:: SOT 19779387 SOS 4732795 HAS SOPS 4732795 HAS SOUS 2578993 HAS SOUPS 2578993 WITH SCORE 2583725.795
AT ITER 412 NEW BEST:: SOT 19779387 SOS 4732795 HAS SOPS 4732795 HAS SOUS 2578988 HAS SOUPS 2578988 WITH SCORE 2583720.795
AT ITER 418 NEW BEST:: SOT 19779387 SOS 4734909 HAS SOPS 4734909 HAS SOUS 2578751 HAS SOUPS 2578751 WITH SCORE 2583485.909
AT ITER 434 NEW BEST:: SOT 19778060 SOS 4734259 HAS SOPS 4734259 HAS SOUS 2578092 HAS SOUPS 2578092 WITH SCORE 2582826.259
AT ITER 446 NEW BEST:: SOT 19777894 SOS 4735411 HAS SOPS 4735411 HAS SOUS 2577759 HAS SOUPS 2577759 WITH SCORE 2582494.411
AT ITER 456 NEW BEST:: SOT 19777642 SOS 4735285 HAS SOPS 4735285 HAS SOUS 2577633 HAS SOUPS 2577633 WITH SCORE 2582368.285
AT ITER 475 NEW BEST:: SOT 19777007 SOS 4749941 HAS SOPS 4749941 HAS SOUS 2577424 HAS SOUPS 2577424 WITH SCORE 2582173.941
AT ITER 493 NEW BEST:: SOT 19776950 SOS 4749940 HAS SOPS 4749940 HAS SOUS 2577423 HAS SOUPS 2577423 WITH SCORE 2582172.94
AT ITER 503 NEW BEST:: SOT 19776763 SOS 4749566 HAS SOPS 4749566 HAS SOUS 2577049 HAS SOUPS 2577049 WITH SCORE 2581798.566
AT ITER 578 NEW BEST:: SOT 19776572 SOS 4750223 HAS SOPS 4750223 HAS SOUS 2576857 HAS SOUPS 2576857 WITH SCORE 2581607.223
AT ITER 585 NEW BEST:: SOT 19777018 SOS 4751112 HAS SOPS 4751112 HAS SOUS 2576468 HAS SOUPS 2576468 WITH SCORE 2581219.112
AT ITER 587 NEW BEST:: SOT 19776903 SOS 4750997 HAS SOPS 4750997 HAS SOUS 2576353 HAS SOUPS 2576353 WITH SCORE 2581103.997
AT ITER 598 NEW BEST:: SOT 19776113 SOS 4750203 HAS SOPS 4750203 HAS SOUS 2575562 HAS SOUPS 2575562 WITH SCORE 2580312.203
AT ITER 599 NEW BEST:: SOT 19776003 SOS 4749983 HAS SOPS 4749983 HAS SOUS 2575198 HAS SOUPS 2575198 WITH SCORE 2579947.983
AT ITER 602 NEW BEST:: SOT 19774697 SOS 4748626 HAS SOPS 4748626 HAS SOUS 2573841 HAS SOUPS 2573841 WITH SCORE 2578589.626
AT ITER 640 NEW BEST:: SOT 19774318 SOS 4748622 HAS SOPS 4748622 HAS SOUS 2573461 HAS SOUPS 2573461 WITH SCORE 2578209.622
AT ITER 648 NEW BEST:: SOT 19773524 SOS 4747034 HAS SOPS 4747034 HAS SOUS 2571677 HAS SOUPS 2571677 WITH SCORE 2576424.034
AT ITER 654 NEW BEST:: SOT 19773493 SOS 4746941 HAS SOPS 4746941 HAS SOUS 2571615 HAS SOUPS 2571615 WITH SCORE 2576361.941
AT ITER 673 NEW BEST:: SOT 19772271 SOS 4745719 HAS SOPS 4745719 HAS SOUS 2570393 HAS SOUPS 2570393 WITH SCORE 2575138.719
AT ITER 678 NEW BEST:: SOT 19772291 SOS 4745333 HAS SOPS 4745333 HAS SOUS 2570200 HAS SOUPS 2570200 WITH SCORE 2574945.333
AT ITER 687 NEW BEST:: SOT 19771436 SOS 4746042 HAS SOPS 4746042 HAS SOUS 2568489 HAS SOUPS 2568489 WITH SCORE 2573235.042
AT ITER 689 NEW BEST:: SOT 19771272 SOS 4745714 HAS SOPS 4745714 HAS SOUS 2568001 HAS SOUPS 2568001 WITH SCORE 2572746.714
AT ITER 691 NEW BEST:: SOT 19771256 SOS 4745682 HAS SOPS 4745682 HAS SOUS 2567722 HAS SOUPS 2567722 WITH SCORE 2572467.682
AT ITER 709 NEW BEST:: SOT 19770732 SOS 4744634 HAS SOPS 4744634 HAS SOUS 2566053 HAS SOUPS 2566053 WITH SCORE 2570797.634
AT ITER 747 NEW BEST:: SOT 19770795 SOS 4742331 HAS SOPS 4742331 HAS SOUS 2565112 HAS SOUPS 2565112 WITH SCORE 2569854.331
AT ITER 748 NEW BEST:: SOT 19770581 SOS 4743925 HAS SOPS 4743925 HAS SOUS 2564898 HAS SOUPS 2564898 WITH SCORE 2569641.925
AT ITER 767 NEW BEST:: SOT 19770932 SOS 4742926 HAS SOPS 4742926 HAS SOUS 2564857 HAS SOUPS 2564857 WITH SCORE 2569599.926
AT ITER 771 NEW BEST:: SOT 19769932 SOS 4742991 HAS SOPS 4742991 HAS SOUS 2562856 HAS SOUPS 2562856 WITH SCORE 2567598.991
AT ITER 774 NEW BEST:: SOT 19769573 SOS 4743699 HAS SOPS 4743699 HAS SOUS 2562855 HAS SOUPS 2562855 WITH SCORE 2567598.699
AT ITER 781 NEW BEST:: SOT 19769491 SOS 4743658 HAS SOPS 4743658 HAS SOUS 2562814 HAS SOUPS 2562814 WITH SCORE 2567557.658
AT ITER 809 NEW BEST:: SOT 19769491 SOS 4744431 HAS SOPS 4744431 HAS SOUS 2562813 HAS SOUPS 2562813 WITH SCORE 2567557.431
AT ITER 811 NEW BEST:: SOT 19768249 SOS 4744431 HAS SOPS 4744431 HAS SOUS 2561343 HAS SOUPS 2561343 WITH SCORE 2566087.431
AT ITER 815 NEW BEST:: SOT 19767058 SOS 4744131 HAS SOPS 4744131 HAS SOUS 2560906 HAS SOUPS 2560906 WITH SCORE 2565650.131
AT ITER 824 NEW BEST:: SOT 19766410 SOS 4744854 HAS SOPS 4744854 HAS SOUS 2560895 HAS SOUPS 2560895 WITH SCORE 2565639.854
AT ITER 833 NEW BEST:: SOT 19766335 SOS 4744704 HAS SOPS 4744704 HAS SOUS 2560745 HAS SOUPS 2560745 WITH SCORE 2565489.704
AT ITER 834 NEW BEST:: SOT 19766175 SOS 4744972 HAS SOPS 4744972 HAS SOUS 2560693 HAS SOUPS 2560693 WITH SCORE 2565437.972
AT ITER 840 NEW BEST:: SOT 19766175 SOS 4744504 HAS SOPS 4744504 HAS SOUS 2560693 HAS SOUPS 2560693 WITH SCORE 2565437.504
AT ITER 849 NEW BEST:: SOT 19765290 SOS 4744762 HAS SOPS 4744762 HAS SOUS 2560484 HAS SOUPS 2560484 WITH SCORE 2565228.762
AT ITER 855 NEW BEST:: SOT 19765290 SOS 4744589 HAS SOPS 4744589 HAS SOUS 2560311 HAS SOUPS 2560311 WITH SCORE 2565055.589
AT ITER 864 NEW BEST:: SOT 19765225 SOS 4744651 HAS SOPS 4744651 HAS SOUS 2560245 HAS SOUPS 2560245 WITH SCORE 2564989.651
AT ITER 921 NEW BEST:: SOT 19765224 SOS 4744649 HAS SOPS 4744649 HAS SOUS 2560243 HAS SOUPS 2560243 WITH SCORE 2564987.649
AT ITER 923 NEW BEST:: SOT 19764356 SOS 4744215 HAS SOPS 4744215 HAS SOUS 2559809 HAS SOUPS 2559809 WITH SCORE 2564553.215
AT ITER 934 NEW BEST:: SOT 19763591 SOS 4743691 HAS SOPS 4743691 HAS SOUS 2559294 HAS SOUPS 2559294 WITH SCORE 2564037.691
AT ITER 951 NEW BEST:: SOT 19763591 SOS 4743691 HAS SOPS 4743691 HAS SOUS 2559289 HAS SOUPS 2559289 WITH SCORE 2564032.691
AT ITER 984 NEW BEST:: SOT 19765004 SOS 4746973 HAS SOPS 4746973 HAS SOUS 2558503 HAS SOUPS 2558503 WITH SCORE 2563249.973
AT ITER 1015 NEW BEST:: SOT 19764890 SOS 4746919 HAS SOPS 4746919 HAS SOUS 2558449 HAS SOUPS 2558449 WITH SCORE 2563195.919
AT ITER 1022 NEW BEST:: SOT 19764865 SOS 4746869 HAS SOPS 4746869 HAS SOUS 2558399 HAS SOUPS 2558399 WITH SCORE 2563145.869
AT ITER 1023 NEW BEST:: SOT 19764841 SOS 4746279 HAS SOPS 4746279 HAS SOUS 2558374 HAS SOUPS 2558374 WITH SCORE 2563120.279
AT ITER 1030 NEW BEST:: SOT 19764759 SOS 4746361 HAS SOPS 4746361 HAS SOUS 2558292 HAS SOUPS 2558292 WITH SCORE 2563038.361
AT ITER 1043 NEW BEST:: SOT 19764386 SOS 4745985 HAS SOPS 4745985 HAS SOUS 2557918 HAS SOUPS 2557918 WITH SCORE 2562663.985
AT ITER 1044 NEW BEST:: SOT 19764048 SOS 4746657 HAS SOPS 4746657 HAS SOUS 2557579 HAS SOUPS 2557579 WITH SCORE 2562325.657
AT ITER 1047 NEW BEST:: SOT 19763820 SOS 4746201 HAS SOPS 4746201 HAS SOUS 2557123 HAS SOUPS 2557123 WITH SCORE 2561869.201
AT ITER 1051 NEW BEST:: SOT 19761332 SOS 4743756 HAS SOPS 4743756 HAS SOUS 2554678 HAS SOUPS 2554678 WITH SCORE 2559421.756
AT ITER 1053 NEW BEST:: SOT 19761332 SOS 4742784 HAS SOPS 4742784 HAS SOUS 2554677 HAS SOUPS 2554677 WITH SCORE 2559419.784
AT ITER 1076 NEW BEST:: SOT 19760800 SOS 4741720 HAS SOPS 4741720 HAS SOUS 2553613 HAS SOUPS 2553613 WITH SCORE 2558354.72
AT ITER 1103 NEW BEST:: SOT 19760251 SOS 4740622 HAS SOPS 4740622 HAS SOUS 2551862 HAS SOUPS 2551862 WITH SCORE 2556602.622
AT ITER 1140 NEW BEST:: SOT 19760251 SOS 4740622 HAS SOPS 4740622 HAS SOUS 2551861 HAS SOUPS 2551861 WITH SCORE 2556601.622
AT ITER 1182 NEW BEST:: SOT 19760230 SOS 4740580 HAS SOPS 4740580 HAS SOUS 2551819 HAS SOUPS 2551819 WITH SCORE 2556559.58
AT ITER 1198 NEW BEST:: SOT 19760230 SOS 4740580 HAS SOPS 4740580 HAS SOUS 2551575 HAS SOUPS 2551575 WITH SCORE 2556315.58
AT ITER 1212 NEW BEST:: SOT 19759917 SOS 4740880 HAS SOPS 4740880 HAS SOUS 2551260 HAS SOUPS 2551260 WITH SCORE 2556000.88
AT ITER 1224 NEW BEST:: SOT 19759917 SOS 4740337 HAS SOPS 4740337 HAS SOUS 2551260 HAS SOUPS 2551260 WITH SCORE 2556000.337
AT ITER 1248 NEW BEST:: SOT 19759117 SOS 4739937 HAS SOPS 4739937 HAS SOUS 2550460 HAS SOUPS 2550460 WITH SCORE 2555199.937
AT ITER 1252 NEW BEST:: SOT 19759365 SOS 4748569 HAS SOPS 4748569 HAS SOUS 2550328 HAS SOUPS 2550328 WITH SCORE 2555076.569
AT ITER 1262 NEW BEST:: SOT 19759118 SOS 4748518 HAS SOPS 4748518 HAS SOUS 2550277 HAS SOUPS 2550277 WITH SCORE 2555025.518
AT ITER 1297 NEW BEST:: SOT 19759118 SOS 4748446 HAS SOPS 4748446 HAS SOUS 2549917 HAS SOUPS 2549917 WITH SCORE 2554665.446
AT ITER 1312 NEW BEST:: SOT 19758072 SOS 4747608 HAS SOPS 4747608 HAS SOUS 2548925 HAS SOUPS 2548925 WITH SCORE 2553672.608
AT ITER 1329 NEW BEST:: SOT 19758072 SOS 4746012 HAS SOPS 4746012 HAS SOUS 2548924 HAS SOUPS 2548924 WITH SCORE 2553670.012
AT ITER 1353 NEW BEST:: SOT 19757998 SOS 4746086 HAS SOPS 4746086 HAS SOUS 2548850 HAS SOUPS 2548850 WITH SCORE 2553596.086
AT ITER 1368 NEW BEST:: SOT 19757705 SOS 4746364 HAS SOPS 4746364 HAS SOUS 2548556 HAS SOUPS 2548556 WITH SCORE 2553302.364
AT ITER 1424 NEW BEST:: SOT 19757181 SOS 4746354 HAS SOPS 4746354 HAS SOUS 2548418 HAS SOUPS 2548418 WITH SCORE 2553164.354
AT ITER 1436 NEW BEST:: SOT 19756770 SOS 4749221 HAS SOPS 4749221 HAS SOUS 2547595 HAS SOUPS 2547595 WITH SCORE 2552344.221
AT ITER 1471 NEW BEST:: SOT 19756338 SOS 4748357 HAS SOPS 4748357 HAS SOUS 2547161 HAS SOUPS 2547161 WITH SCORE 2551909.357
AT ITER 1474 NEW BEST:: SOT 19756295 SOS 4748271 HAS SOPS 4748271 HAS SOUS 2547075 HAS SOUPS 2547075 WITH SCORE 2551823.271
AT ITER 1481 NEW BEST:: SOT 19756285 SOS 4750444 HAS SOPS 4750444 HAS SOUS 2546072 HAS SOUPS 2546072 WITH SCORE 2550822.444
AT ITER 1496 NEW BEST:: SOT 19756233 SOS 4750850 HAS SOPS 4750850 HAS SOUS 2546071 HAS SOUPS 2546071 WITH SCORE 2550821.85
AT ITER 1503 NEW BEST:: SOT 19756234 SOS 4750852 HAS SOPS 4750852 HAS SOUS 2546051 HAS SOUPS 2546051 WITH SCORE 2550801.852
AT ITER 1508 NEW BEST:: SOT 19756094 SOS 4750849 HAS SOPS 4750849 HAS SOUS 2546050 HAS SOUPS 2546050 WITH SCORE 2550800.849
AT ITER 1536 NEW BEST:: SOT 19755783 SOS 4751457 HAS SOPS 4751457 HAS SOUS 2545737 HAS SOUPS 2545737 WITH SCORE 2550488.457
AT ITER 1539 NEW BEST:: SOT 19755559 SOS 4753219 HAS SOPS 4753219 HAS SOUS 2545289 HAS SOUPS 2545289 WITH SCORE 2550042.219
AT ITER 1551 NEW BEST:: SOT 19755559 SOS 4753161 HAS SOPS 4753161 HAS SOUS 2545289 HAS SOUPS 2545289 WITH SCORE 2550042.161
AT ITER 1560 NEW BEST:: SOT 19755077 SOS 4748341 HAS SOPS 4748341 HAS SOUS 2544807 HAS SOUPS 2544807 WITH SCORE 2549555.341
AT ITER 1563 NEW BEST:: SOT 19754289 SOS 4747886 HAS SOPS 4747886 HAS SOUS 2543231 HAS SOUPS 2543231 WITH SCORE 2547978.886
AT ITER 1569 NEW BEST:: SOT 19753391 SOS 4747025 HAS SOPS 4747025 HAS SOUS 2542370 HAS SOUPS 2542370 WITH SCORE 2547117.025
AT ITER 1581 NEW BEST:: SOT 19753391 SOS 4747025 HAS SOPS 4747025 HAS SOUS 2542369 HAS SOUPS 2542369 WITH SCORE 2547116.025
AT ITER 1600 NEW BEST:: SOT 19753332 SOS 4746848 HAS SOPS 4746848 HAS SOUS 2542310 HAS SOUPS 2542310 WITH SCORE 2547056.848
AT ITER 1603 NEW BEST:: SOT 19752504 SOS 4745192 HAS SOPS 4745192 HAS SOUS 2540413 HAS SOUPS 2540413 WITH SCORE 2545158.192
AT ITER 1613 NEW BEST:: SOT 19752431 SOS 4744782 HAS SOPS 4744782 HAS SOUS 2540372 HAS SOUPS 2540372 WITH SCORE 2545116.782
AT ITER 1621 NEW BEST:: SOT 19752494 SOS 4744020 HAS SOPS 4744020 HAS SOUS 2539889 HAS SOUPS 2539889 WITH SCORE 2544633.02
AT ITER 1634 NEW BEST:: SOT 19752309 SOS 4744202 HAS SOPS 4744202 HAS SOUS 2539888 HAS SOUPS 2539888 WITH SCORE 2544632.202
AT ITER 1635 NEW BEST:: SOT 19752172 SOS 4743928 HAS SOPS 4743928 HAS SOUS 2539751 HAS SOUPS 2539751 WITH SCORE 2544494.928
AT ITER 1662 NEW BEST:: SOT 19751014 SOS 4743349 HAS SOPS 4743349 HAS SOUS 2539172 HAS SOUPS 2539172 WITH SCORE 2543915.349
AT ITER 1665 NEW BEST:: SOT 19751014 SOS 4734718 HAS SOPS 4734718 HAS SOUS 2539172 HAS SOUPS 2539172 WITH SCORE 2543906.718
AT ITER 1707 NEW BEST:: SOT 19750376 SOS 4734713 HAS SOPS 4734713 HAS SOUS 2538866 HAS SOUPS 2538866 WITH SCORE 2543600.713
AT ITER 1709 NEW BEST:: SOT 19750292 SOS 4734877 HAS SOPS 4734877 HAS SOUS 2538781 HAS SOUPS 2538781 WITH SCORE 2543515.877
AT ITER 1713 NEW BEST:: SOT 19750292 SOS 4734729 HAS SOPS 4734729 HAS SOUS 2538633 HAS SOUPS 2538633 WITH SCORE 2543367.729
AT ITER 1742 NEW BEST:: SOT 19750024 SOS 4734595 HAS SOPS 4734595 HAS SOUS 2538365 HAS SOUPS 2538365 WITH SCORE 2543099.595
AT ITER 1749 NEW BEST:: SOT 19750024 SOS 4735038 HAS SOPS 4735038 HAS SOUS 2538364 HAS SOUPS 2538364 WITH SCORE 2543099.038
AT ITER 1774 NEW BEST:: SOT 19750023 SOS 4735036 HAS SOPS 4735036 HAS SOUS 2538362 HAS SOUPS 2538362 WITH SCORE 2543097.036
AT ITER 1781 NEW BEST:: SOT 19748827 SOS 4733830 HAS SOPS 4733830 HAS SOUS 2537165 HAS SOUPS 2537165 WITH SCORE 2541898.83
AT ITER 1896 NEW BEST:: SOT 19748827 SOS 4734142 HAS SOPS 4734142 HAS SOUS 2537164 HAS SOUPS 2537164 WITH SCORE 2541898.142
AT ITER 1940 NEW BEST:: SOT 19748155 SOS 4733367 HAS SOPS 4733367 HAS SOUS 2536389 HAS SOUPS 2536389 WITH SCORE 2541122.367
AT ITER 1974 NEW BEST:: SOT 19747738 SOS 4734631 HAS SOPS 4734631 HAS SOUS 2535884 HAS SOUPS 2535884 WITH SCORE 2540618.631
AT ITER 1979 NEW BEST:: SOT 19747738 SOS 4734631 HAS SOPS 4734631 HAS SOUS 2535883 HAS SOUPS 2535883 WITH SCORE 2540617.631
AT ITER 1983 NEW BEST:: SOT 19747738 SOS 4735250 HAS SOPS 4735250 HAS SOUS 2535882 HAS SOUPS 2535882 WITH SCORE 2540617.25
AT ITER 2008 NEW BEST:: SOT 19747738 SOS 4734017 HAS SOPS 4734017 HAS SOUS 2535882 HAS SOUPS 2535882 WITH SCORE 2540616.017
AT ITER 2020 NEW BEST:: SOT 19748029 SOS 4734965 HAS SOPS 4734965 HAS SOUS 2535744 HAS SOUPS 2535744 WITH SCORE 2540478.965
AT ITER 2032 NEW BEST:: SOT 19746856 SOS 4732619 HAS SOPS 4732619 HAS SOUS 2534425 HAS SOUPS 2534425 WITH SCORE 2539157.619
AT ITER 2049 NEW BEST:: SOT 19746337 SOS 4736999 HAS SOPS 4736999 HAS SOUS 2533989 HAS SOUPS 2533989 WITH SCORE 2538725.999
AT ITER 2052 NEW BEST:: SOT 19746337 SOS 4736761 HAS SOPS 4736761 HAS SOUS 2533870 HAS SOUPS 2533870 WITH SCORE 2538606.761
AT ITER 2058 NEW BEST:: SOT 19746337 SOS 4736761 HAS SOPS 4736761 HAS SOUS 2533626 HAS SOUPS 2533626 WITH SCORE 2538362.761
AT ITER 2073 NEW BEST:: SOT 19746171 SOS 4736595 HAS SOPS 4736595 HAS SOUS 2533460 HAS SOUPS 2533460 WITH SCORE 2538196.595
AT ITER 2095 NEW BEST:: SOT 19746170 SOS 4736593 HAS SOPS 4736593 HAS SOUS 2533458 HAS SOUPS 2533458 WITH SCORE 2538194.593
AT ITER 2103 NEW BEST:: SOT 19745525 SOS 4735245 HAS SOPS 4735245 HAS SOUS 2533121 HAS SOUPS 2533121 WITH SCORE 2537856.245
AT ITER 2125 NEW BEST:: SOT 19745524 SOS 4734950 HAS SOPS 4734950 HAS SOUS 2532826 HAS SOUPS 2532826 WITH SCORE 2537560.95
AT ITER 2150 NEW BEST:: SOT 19745253 SOS 4733595 HAS SOPS 4733595 HAS SOUS 2532555 HAS SOUPS 2532555 WITH SCORE 2537288.595
AT ITER 2210 NEW BEST:: SOT 19741772 SOS 4730759 HAS SOPS 4730759 HAS SOUS 2529565 HAS SOUPS 2529565 WITH SCORE 2534295.759
AT ITER 2217 NEW BEST:: SOT 19740713 SOS 4719110 HAS SOPS 4719110 HAS SOUS 2527447 HAS SOUPS 2527447 WITH SCORE 2532166.11
AT ITER 2230 NEW BEST:: SOT 19740653 SOS 4719069 HAS SOPS 4719069 HAS SOUS 2527406 HAS SOUPS 2527406 WITH SCORE 2532125.069
AT ITER 2281 NEW BEST:: SOT 19740104 SOS 4718520 HAS SOPS 4718520 HAS SOUS 2526857 HAS SOUPS 2526857 WITH SCORE 2531575.52
AT ITER 2296 NEW BEST:: SOT 19739935 SOS 4718351 HAS SOPS 4718351 HAS SOUS 2526688 HAS SOUPS 2526688 WITH SCORE 2531406.351
AT ITER 2310 NEW BEST:: SOT 19740312 SOS 4719105 HAS SOPS 4719105 HAS SOUS 2525980 HAS SOUPS 2525980 WITH SCORE 2530699.105
AT ITER 2334 NEW BEST:: SOT 19738695 SOS 4717929 HAS SOPS 4717929 HAS SOUS 2525980 HAS SOUPS 2525980 WITH SCORE 2530697.929
AT ITER 2336 NEW BEST:: SOT 19738694 SOS 4720185 HAS SOPS 4720185 HAS SOUS 2525977 HAS SOUPS 2525977 WITH SCORE 2530697.185
AT ITER 2343 NEW BEST:: SOT 19738694 SOS 4720185 HAS SOPS 4720185 HAS SOUS 2525770 HAS SOUPS 2525770 WITH SCORE 2530490.185
AT ITER 2353 NEW BEST:: SOT 19738671 SOS 4719975 HAS SOPS 4719975 HAS SOUS 2525723 HAS SOUPS 2525723 WITH SCORE 2530442.975
AT ITER 2375 NEW BEST:: SOT 19738215 SOS 4719063 HAS SOPS 4719063 HAS SOUS 2524811 HAS SOUPS 2524811 WITH SCORE 2529530.063
AT ITER 2387 NEW BEST:: SOT 19738117 SOS 4719255 HAS SOPS 4719255 HAS SOUS 2524810 HAS SOUPS 2524810 WITH SCORE 2529529.255
AT ITER 2453 NEW BEST:: SOT 19738117 SOS 4710405 HAS SOPS 4710405 HAS SOUS 2524451 HAS SOUPS 2524451 WITH SCORE 2529161.405
AT ITER 2457 NEW BEST:: SOT 19738117 SOS 4710223 HAS SOPS 4710223 HAS SOUS 2524360 HAS SOUPS 2524360 WITH SCORE 2529070.223
AT ITER 2460 NEW BEST:: SOT 19738117 SOS 4710668 HAS SOPS 4710668 HAS SOUS 2524359 HAS SOUPS 2524359 WITH SCORE 2529069.668
AT ITER 2461 NEW BEST:: SOT 19737861 SOS 4708616 HAS SOPS 4708616 HAS SOUS 2523846 HAS SOUPS 2523846 WITH SCORE 2528554.616
AT ITER 2499 NEW BEST:: SOT 19737330 SOS 4709216 HAS SOPS 4709216 HAS SOUS 2523627 HAS SOUPS 2523627 WITH SCORE 2528336.216
AT ITER 2505 NEW BEST:: SOT 19736409 SOS 4708376 HAS SOPS 4708376 HAS SOUS 2522706 HAS SOUPS 2522706 WITH SCORE 2527414.376
AT ITER 2510 NEW BEST:: SOT 19736267 SOS 4708092 HAS SOPS 4708092 HAS SOUS 2522564 HAS SOUPS 2522564 WITH SCORE 2527272.092
AT ITER 2518 NEW BEST:: SOT 19736126 SOS 4708014 HAS SOPS 4708014 HAS SOUS 2522535 HAS SOUPS 2522535 WITH SCORE 2527243.014
AT ITER 2534 NEW BEST:: SOT 19735557 SOS 4708004 HAS SOPS 4708004 HAS SOUS 2522392 HAS SOUPS 2522392 WITH SCORE 2527100.004
AT ITER 2591 NEW BEST:: SOT 19735617 SOS 4710142 HAS SOPS 4710142 HAS SOUS 2521837 HAS SOUPS 2521837 WITH SCORE 2526547.142
AT ITER 2607 NEW BEST:: SOT 19735366 SOS 4709640 HAS SOPS 4709640 HAS SOUS 2521335 HAS SOUPS 2521335 WITH SCORE 2526044.64
AT ITER 2660 NEW BEST:: SOT 19735223 SOS 4709780 HAS SOPS 4709780 HAS SOUS 2521191 HAS SOUPS 2521191 WITH SCORE 2525900.78
AT ITER 2679 NEW BEST:: SOT 19735115 SOS 4710526 HAS SOPS 4710526 HAS SOUS 2520974 HAS SOUPS 2520974 WITH SCORE 2525684.526
AT ITER 2697 NEW BEST:: SOT 19734640 SOS 4706248 HAS SOPS 4706248 HAS SOUS 2520023 HAS SOUPS 2520023 WITH SCORE 2524729.248
AT ITER 2702 NEW BEST:: SOT 19734429 SOS 4706134 HAS SOPS 4706134 HAS SOUS 2519812 HAS SOUPS 2519812 WITH SCORE 2524518.134
AT ITER 2704 NEW BEST:: SOT 19734191 SOS 4705658 HAS SOPS 4705658 HAS SOUS 2519336 HAS SOUPS 2519336 WITH SCORE 2524041.658
AT ITER 2718 NEW BEST:: SOT 19733819 SOS 4704914 HAS SOPS 4704914 HAS SOUS 2518965 HAS SOUPS 2518965 WITH SCORE 2523669.914
AT ITER 2722 NEW BEST:: SOT 19733550 SOS 4704376 HAS SOPS 4704376 HAS SOUS 2518427 HAS SOUPS 2518427 WITH SCORE 2523131.376
AT ITER 2723 NEW BEST:: SOT 19733279 SOS 4704372 HAS SOPS 4704372 HAS SOUS 2518426 HAS SOUPS 2518426 WITH SCORE 2523130.372
AT ITER 2733 NEW BEST:: SOT 19732572 SOS 4703665 HAS SOPS 4703665 HAS SOUS 2517719 HAS SOUPS 2517719 WITH SCORE 2522422.665
AT ITER 2746 NEW BEST:: SOT 19731895 SOS 4703092 HAS SOPS 4703092 HAS SOUS 2517042 HAS SOUPS 2517042 WITH SCORE 2521745.092
AT ITER 2755 NEW BEST:: SOT 19731830 SOS 4703592 HAS SOPS 4703592 HAS SOUS 2516975 HAS SOUPS 2516975 WITH SCORE 2521678.592
AT ITER 2769 NEW BEST:: SOT 19731763 SOS 4703659 HAS SOPS 4703659 HAS SOUS 2516908 HAS SOUPS 2516908 WITH SCORE 2521611.659
AT ITER 2779 NEW BEST:: SOT 19731763 SOS 4703590 HAS SOPS 4703590 HAS SOUS 2516908 HAS SOUPS 2516908 WITH SCORE 2521611.59
AT ITER 2781 NEW BEST:: SOT 19731308 SOS 4702680 HAS SOPS 4702680 HAS SOUS 2516452 HAS SOUPS 2516452 WITH SCORE 2521154.68
AT ITER 2804 NEW BEST:: SOT 19730416 SOS 4700896 HAS SOPS 4700896 HAS SOUS 2513941 HAS SOUPS 2513941 WITH SCORE 2518641.896
AT ITER 2813 NEW BEST:: SOT 19730416 SOS 4700714 HAS SOPS 4700714 HAS SOUS 2513850 HAS SOUPS 2513850 WITH SCORE 2518550.714
AT ITER 2838 NEW BEST:: SOT 19729962 SOS 4699805 HAS SOPS 4699805 HAS SOUS 2512941 HAS SOUPS 2512941 WITH SCORE 2517640.805
AT ITER 2852 NEW BEST:: SOT 19729807 SOS 4700964 HAS SOPS 4700964 HAS SOUS 2512784 HAS SOUPS 2512784 WITH SCORE 2517484.964
AT ITER 2919 NEW BEST:: SOT 19729186 SOS 4700434 HAS SOPS 4700434 HAS SOUS 2512241 HAS SOUPS 2512241 WITH SCORE 2516941.434
AT ITER 2920 NEW BEST:: SOT 19728947 SOS 4700673 HAS SOPS 4700673 HAS SOUS 2512002 HAS SOUPS 2512002 WITH SCORE 2516702.673
AT ITER 2940 NEW BEST:: SOT 19728921 SOS 4700621 HAS SOPS 4700621 HAS SOUS 2511950 HAS SOUPS 2511950 WITH SCORE 2516650.621
AT ITER 2943 NEW BEST:: SOT 19728602 SOS 4699983 HAS SOPS 4699983 HAS SOUS 2510938 HAS SOUPS 2510938 WITH SCORE 2515637.983
AT ITER 2970 NEW BEST:: SOT 19728505 SOS 4700749 HAS SOPS 4700749 HAS SOUS 2510937 HAS SOUPS 2510937 WITH SCORE 2515637.749
AT ITER 2978 NEW BEST:: SOT 19728501 SOS 4700741 HAS SOPS 4700741 HAS SOUS 2510933 HAS SOUPS 2510933 WITH SCORE 2515633.741
AT ITER 2993 NEW BEST:: SOT 19728381 SOS 4700501 HAS SOPS 4700501 HAS SOUS 2510693 HAS SOUPS 2510693 WITH SCORE 2515393.501
AT ITER 3001 NEW BEST:: SOT 19728348 SOS 4700435 HAS SOPS 4700435 HAS SOUS 2510659 HAS SOUPS 2510659 WITH SCORE 2515359.435
AT ITER 3015 NEW BEST:: SOT 19728235 SOS 4700209 HAS SOPS 4700209 HAS SOUS 2510433 HAS SOUPS 2510433 WITH SCORE 2515133.209
AT ITER 3022 NEW BEST:: SOT 19728235 SOS 4701581 HAS SOPS 4701581 HAS SOUS 2510183 HAS SOUPS 2510183 WITH SCORE 2514884.581
AT ITER 3030 NEW BEST:: SOT 19728179 SOS 4701580 HAS SOPS 4701580 HAS SOUS 2510182 HAS SOUPS 2510182 WITH SCORE 2514883.58
AT ITER 3034 NEW BEST:: SOT 19728179 SOS 4700368 HAS SOPS 4700368 HAS SOUS 2510182 HAS SOUPS 2510182 WITH SCORE 2514882.368
AT ITER 3068 NEW BEST:: SOT 19727750 SOS 4699510 HAS SOPS 4699510 HAS SOUS 2509896 HAS SOUPS 2509896 WITH SCORE 2514595.51
AT ITER 3070 NEW BEST:: SOT 19727254 SOS 4699011 HAS SOPS 4699011 HAS SOUS 2509399 HAS SOUPS 2509399 WITH SCORE 2514098.011
AT ITER 3117 NEW BEST:: SOT 19727254 SOS 4699007 HAS SOPS 4699007 HAS SOUS 2509399 HAS SOUPS 2509399 WITH SCORE 2514098.007
AT ITER 3118 NEW BEST:: SOT 19726795 SOS 4698879 HAS SOPS 4698879 HAS SOUS 2509271 HAS SOUPS 2509271 WITH SCORE 2513969.879
AT ITER 3119 NEW BEST:: SOT 19726549 SOS 4696907 HAS SOPS 4696907 HAS SOUS 2508778 HAS SOUPS 2508778 WITH SCORE 2513474.907
AT ITER 3122 NEW BEST:: SOT 19726774 SOS 4695635 HAS SOPS 4695635 HAS SOUS 2508541 HAS SOUPS 2508541 WITH SCORE 2513236.635
AT ITER 3123 NEW BEST:: SOT 19726650 SOS 4698468 HAS SOPS 4698468 HAS SOUS 2508417 HAS SOUPS 2508417 WITH SCORE 2513115.468
AT ITER 3125 NEW BEST:: SOT 19725578 SOS 4698249 HAS SOPS 4698249 HAS SOUS 2508198 HAS SOUPS 2508198 WITH SCORE 2512896.249
AT ITER 3130 NEW BEST:: SOT 19725144 SOS 4698063 HAS SOPS 4698063 HAS SOUS 2507578 HAS SOUPS 2507578 WITH SCORE 2512276.063
AT ITER 3154 NEW BEST:: SOT 19724976 SOS 4699239 HAS SOPS 4699239 HAS SOUS 2507410 HAS SOUPS 2507410 WITH SCORE 2512109.239
AT ITER 3155 NEW BEST:: SOT 19724936 SOS 4699199 HAS SOPS 4699199 HAS SOUS 2507370 HAS SOUPS 2507370 WITH SCORE 2512069.199
AT ITER 3157 NEW BEST:: SOT 19725045 SOS 4697530 HAS SOPS 4697530 HAS SOUS 2507368 HAS SOUPS 2507368 WITH SCORE 2512065.53
AT ITER 3165 NEW BEST:: SOT 19724124 SOS 4693029 HAS SOPS 4693029 HAS SOUS 2506089 HAS SOUPS 2506089 WITH SCORE 2510782.029
AT ITER 3167 NEW BEST:: SOT 19724000 SOS 4696029 HAS SOPS 4696029 HAS SOUS 2505547 HAS SOUPS 2505547 WITH SCORE 2510243.029
AT ITER 3180 NEW BEST:: SOT 19723941 SOS 4695911 HAS SOPS 4695911 HAS SOUS 2505429 HAS SOUPS 2505429 WITH SCORE 2510124.911
AT ITER 3188 NEW BEST:: SOT 19723941 SOS 4696046 HAS SOPS 4696046 HAS SOUS 2505428 HAS SOUPS 2505428 WITH SCORE 2510124.046
AT ITER 3197 NEW BEST:: SOT 19722981 SOS 4695086 HAS SOPS 4695086 HAS SOUS 2504468 HAS SOUPS 2504468 WITH SCORE 2509163.086
AT ITER 3206 NEW BEST:: SOT 19722861 SOS 4698245 HAS SOPS 4698245 HAS SOUS 2503860 HAS SOUPS 2503860 WITH SCORE 2508558.245
AT ITER 3213 NEW BEST:: SOT 19722843 SOS 4698209 HAS SOPS 4698209 HAS SOUS 2503824 HAS SOUPS 2503824 WITH SCORE 2508522.209
AT ITER 3219 NEW BEST:: SOT 19722843 SOS 4698209 HAS SOPS 4698209 HAS SOUS 2503724 HAS SOUPS 2503724 WITH SCORE 2508422.209
AT ITER 3234 NEW BEST:: SOT 19722641 SOS 4697914 HAS SOPS 4697914 HAS SOUS 2503429 HAS SOUPS 2503429 WITH SCORE 2508126.914
AT ITER 3253 NEW BEST:: SOT 19722641 SOS 4697589 HAS SOPS 4697589 HAS SOUS 2503429 HAS SOUPS 2503429 WITH SCORE 2508126.589
AT ITER 3265 NEW BEST:: SOT 19722641 SOS 4697475 HAS SOPS 4697475 HAS SOUS 2503372 HAS SOUPS 2503372 WITH SCORE 2508069.475
AT ITER 3306 NEW BEST:: SOT 19722465 SOS 4697465 HAS SOPS 4697465 HAS SOUS 2503195 HAS SOUPS 2503195 WITH SCORE 2507892.465
AT ITER 3388 NEW BEST:: SOT 19721599 SOS 4690898 HAS SOPS 4690898 HAS SOUS 2501812 HAS SOUPS 2501812 WITH SCORE 2506502.898
AT ITER 3404 NEW BEST:: SOT 19721599 SOS 4690010 HAS SOPS 4690010 HAS SOUS 2501542 HAS SOUPS 2501542 WITH SCORE 2506232.01
AT ITER 3415 NEW BEST:: SOT 19721048 SOS 4688907 HAS SOPS 4688907 HAS SOUS 2500439 HAS SOUPS 2500439 WITH SCORE 2505127.907
AT ITER 3422 NEW BEST:: SOT 19721048 SOS 4688454 HAS SOPS 4688454 HAS SOUS 2500439 HAS SOUPS 2500439 WITH SCORE 2505127.454
AT ITER 3424 NEW BEST:: SOT 19720999 SOS 4688444 HAS SOPS 4688444 HAS SOUS 2500389 HAS SOUPS 2500389 WITH SCORE 2505077.444
AT ITER 3428 NEW BEST:: SOT 19720303 SOS 4687748 HAS SOPS 4687748 HAS SOUS 2500389 HAS SOUPS 2500389 WITH SCORE 2505076.748
AT ITER 3446 NEW BEST:: SOT 19720298 SOS 4687738 HAS SOPS 4687738 HAS SOUS 2500379 HAS SOUPS 2500379 WITH SCORE 2505066.738
AT ITER 3449 NEW BEST:: SOT 19720213 SOS 4687568 HAS SOPS 4687568 HAS SOUS 2500209 HAS SOUPS 2500209 WITH SCORE 2504896.568
AT ITER 3457 NEW BEST:: SOT 19718663 SOS 4685618 HAS SOPS 4685618 HAS SOUS 2497827 HAS SOUPS 2497827 WITH SCORE 2502512.618
AT ITER 3472 NEW BEST:: SOT 19718662 SOS 4686815 HAS SOPS 4686815 HAS SOUS 2497824 HAS SOUPS 2497824 WITH SCORE 2502510.815
AT ITER 3474 NEW BEST:: SOT 19718592 SOS 4686745 HAS SOPS 4686745 HAS SOUS 2497754 HAS SOUPS 2497754 WITH SCORE 2502440.745
AT ITER 3503 NEW BEST:: SOT 19718550 SOS 4686661 HAS SOPS 4686661 HAS SOUS 2497669 HAS SOUPS 2497669 WITH SCORE 2502355.661
AT ITER 3505 NEW BEST:: SOT 19717896 SOS 4685182 HAS SOPS 4685182 HAS SOUS 2497176 HAS SOUPS 2497176 WITH SCORE 2501861.182
AT ITER 3525 NEW BEST:: SOT 19717111 SOS 4688496 HAS SOPS 4688496 HAS SOUS 2495440 HAS SOUPS 2495440 WITH SCORE 2500128.496
AT ITER 3526 NEW BEST:: SOT 19716903 SOS 4688079 HAS SOPS 4688079 HAS SOUS 2494902 HAS SOUPS 2494902 WITH SCORE 2499590.079
AT ITER 3547 NEW BEST:: SOT 19716903 SOS 4688350 HAS SOPS 4688350 HAS SOUS 2494627 HAS SOUPS 2494627 WITH SCORE 2499315.35
AT ITER 3552 NEW BEST:: SOT 19716642 SOS 4688611 HAS SOPS 4688611 HAS SOUS 2494366 HAS SOUPS 2494366 WITH SCORE 2499054.611
AT ITER 3615 NEW BEST:: SOT 19715961 SOS 4688084 HAS SOPS 4688084 HAS SOUS 2493710 HAS SOUPS 2493710 WITH SCORE 2498398.084
AT ITER 3631 NEW BEST:: SOT 19716070 SOS 4686811 HAS SOPS 4686811 HAS SOUS 2493376 HAS SOUPS 2493376 WITH SCORE 2498062.811
AT ITER 3639 NEW BEST:: SOT 19714892 SOS 4686222 HAS SOPS 4686222 HAS SOUS 2492787 HAS SOUPS 2492787 WITH SCORE 2497473.222
AT ITER 3648 NEW BEST:: SOT 19715345 SOS 4684442 HAS SOPS 4684442 HAS SOUS 2491910 HAS SOUPS 2491910 WITH SCORE 2496594.442
AT ITER 3660 NEW BEST:: SOT 19715111 SOS 4683864 HAS SOPS 4683864 HAS SOUS 2491332 HAS SOUPS 2491332 WITH SCORE 2496015.864
AT ITER 3687 NEW BEST:: SOT 19713984 SOS 4683731 HAS SOPS 4683731 HAS SOUS 2490912 HAS SOUPS 2490912 WITH SCORE 2495595.731
AT ITER 3731 NEW BEST:: SOT 19713423 SOS 4684981 HAS SOPS 4684981 HAS SOUS 2490351 HAS SOUPS 2490351 WITH SCORE 2495035.981
AT ITER 3746 NEW BEST:: SOT 19713741 SOS 4686600 HAS SOPS 4686600 HAS SOUS 2490176 HAS SOUPS 2490176 WITH SCORE 2494862.6
AT ITER 3753 NEW BEST:: SOT 19713469 SOS 4686328 HAS SOPS 4686328 HAS SOUS 2489904 HAS SOUPS 2489904 WITH SCORE 2494590.328
AT ITER 3800 NEW BEST:: SOT 19712803 SOS 4687360 HAS SOPS 4687360 HAS SOUS 2488056 HAS SOUPS 2488056 WITH SCORE 2492743.36
AT ITER 3851 NEW BEST:: SOT 19712773 SOS 4687330 HAS SOPS 4687330 HAS SOUS 2488026 HAS SOUPS 2488026 WITH SCORE 2492713.33
AT ITER 3897 NEW BEST:: SOT 19712324 SOS 4688549 HAS SOPS 4688549 HAS SOUS 2487127 HAS SOUPS 2487127 WITH SCORE 2491815.549
AT ITER 3899 NEW BEST:: SOT 19712324 SOS 4688548 HAS SOPS 4688548 HAS SOUS 2487126 HAS SOUPS 2487126 WITH SCORE 2491814.548
AT ITER 3935 NEW BEST:: SOT 19712151 SOS 4688374 HAS SOPS 4688374 HAS SOUS 2487098 HAS SOUPS 2487098 WITH SCORE 2491786.374
AT ITER 3962 NEW BEST:: SOT 19712151 SOS 4688327 HAS SOPS 4688327 HAS SOUS 2487098 HAS SOUPS 2487098 WITH SCORE 2491786.327
AT ITER 3964 NEW BEST:: SOT 19712087 SOS 4688775 HAS SOPS 4688775 HAS SOUS 2487034 HAS SOUPS 2487034 WITH SCORE 2491722.775
AT ITER 3994 NEW BEST:: SOT 19711269 SOS 4680047 HAS SOPS 4680047 HAS SOUS 2486014 HAS SOUPS 2486014 WITH SCORE 2490694.047
AT ITER 3995 NEW BEST:: SOT 19711269 SOS 4679064 HAS SOPS 4679064 HAS SOUS 2485550 HAS SOUPS 2485550 WITH SCORE 2490229.064
AT ITER 4034 NEW BEST:: SOT 19711269 SOS 4678487 HAS SOPS 4678487 HAS SOUS 2485163 HAS SOUPS 2485163 WITH SCORE 2489841.487
AT ITER 4047 NEW BEST:: SOT 19711269 SOS 4678642 HAS SOPS 4678642 HAS SOUS 2485162 HAS SOUPS 2485162 WITH SCORE 2489840.642
AT ITER 4052 NEW BEST:: SOT 19711008 SOS 4678044 HAS SOPS 4678044 HAS SOUS 2484564 HAS SOUPS 2484564 WITH SCORE 2489242.044
AT ITER 4070 NEW BEST:: SOT 19711008 SOS 4677895 HAS SOPS 4677895 HAS SOUS 2484415 HAS SOUPS 2484415 WITH SCORE 2489092.895
AT ITER 4108 NEW BEST:: SOT 19710660 SOS 4677199 HAS SOPS 4677199 HAS SOUS 2483719 HAS SOUPS 2483719 WITH SCORE 2488396.199
AT ITER 4121 NEW BEST:: SOT 19710290 SOS 4676459 HAS SOPS 4676459 HAS SOUS 2483348 HAS SOUPS 2483348 WITH SCORE 2488024.459
AT ITER 4132 NEW BEST:: SOT 19710290 SOS 4675307 HAS SOPS 4675307 HAS SOUS 2482964 HAS SOUPS 2482964 WITH SCORE 2487639.307
AT ITER 4133 NEW BEST:: SOT 19710290 SOS 4675307 HAS SOPS 4675307 HAS SOUS 2482963 HAS SOUPS 2482963 WITH SCORE 2487638.307
AT ITER 4153 NEW BEST:: SOT 19709899 SOS 4674799 HAS SOPS 4674799 HAS SOUS 2482445 HAS SOUPS 2482445 WITH SCORE 2487119.799
AT ITER 4154 NEW BEST:: SOT 19707953 SOS 4673080 HAS SOPS 4673080 HAS SOUS 2480726 HAS SOUPS 2480726 WITH SCORE 2485399.08
AT ITER 4155 NEW BEST:: SOT 19705837 SOS 4670155 HAS SOPS 4670155 HAS SOUS 2478610 HAS SOUPS 2478610 WITH SCORE 2483280.155
AT ITER 4166 NEW BEST:: SOT 19705704 SOS 4670421 HAS SOPS 4670421 HAS SOUS 2478490 HAS SOUPS 2478490 WITH SCORE 2483160.421
AT ITER 4168 NEW BEST:: SOT 19705627 SOS 4670079 HAS SOPS 4670079 HAS SOUS 2478319 HAS SOUPS 2478319 WITH SCORE 2482989.079
AT ITER 4171 NEW BEST:: SOT 19705627 SOS 4670561 HAS SOPS 4670561 HAS SOUS 2478318 HAS SOUPS 2478318 WITH SCORE 2482988.561
AT ITER 4193 NEW BEST:: SOT 19705593 SOS 4670493 HAS SOPS 4670493 HAS SOUS 2478250 HAS SOUPS 2478250 WITH SCORE 2482920.493
AT ITER 4209 NEW BEST:: SOT 19704755 SOS 4671331 HAS SOPS 4671331 HAS SOUS 2477364 HAS SOUPS 2477364 WITH SCORE 2482035.331
AT ITER 4263 NEW BEST:: SOT 19704736 SOS 4671283 HAS SOPS 4671283 HAS SOUS 2477325 HAS SOUPS 2477325 WITH SCORE 2481996.283
AT ITER 4292 NEW BEST:: SOT 19704357 SOS 4671189 HAS SOPS 4671189 HAS SOUS 2477152 HAS SOUPS 2477152 WITH SCORE 2481823.189
AT ITER 4320 NEW BEST:: SOT 19704310 SOS 4674191 HAS SOPS 4674191 HAS SOUS 2476990 HAS SOUPS 2476990 WITH SCORE 2481664.191
AT ITER 4350 NEW BEST:: SOT 19704013 SOS 4673702 HAS SOPS 4673702 HAS SOUS 2476827 HAS SOUPS 2476827 WITH SCORE 2481500.702
AT ITER 4356 NEW BEST:: SOT 19703583 SOS 4674128 HAS SOPS 4674128 HAS SOUS 2475966 HAS SOUPS 2475966 WITH SCORE 2480640.128
AT ITER 4373 NEW BEST:: SOT 19703583 SOS 4672703 HAS SOPS 4672703 HAS SOUS 2475966 HAS SOUPS 2475966 WITH SCORE 2480638.703
AT ITER 4406 NEW BEST:: SOT 19703583 SOS 4674187 HAS SOPS 4674187 HAS SOUS 2475330 HAS SOUPS 2475330 WITH SCORE 2480004.187
AT ITER 4410 NEW BEST:: SOT 19702821 SOS 4670035 HAS SOPS 4670035 HAS SOUS 2474229 HAS SOUPS 2474229 WITH SCORE 2478899.035
AT ITER 4433 NEW BEST:: SOT 19702821 SOS 4669928 HAS SOPS 4669928 HAS SOUS 2474122 HAS SOUPS 2474122 WITH SCORE 2478791.928
AT ITER 4448 NEW BEST:: SOT 19702821 SOS 4669843 HAS SOPS 4669843 HAS SOUS 2474037 HAS SOUPS 2474037 WITH SCORE 2478706.843
AT ITER 4455 NEW BEST:: SOT 19702820 SOS 4669841 HAS SOPS 4669841 HAS SOUS 2474035 HAS SOUPS 2474035 WITH SCORE 2478704.841
AT ITER 4524 NEW BEST:: SOT 19702820 SOS 4669453 HAS SOPS 4669453 HAS SOUS 2473841 HAS SOUPS 2473841 WITH SCORE 2478510.453
AT ITER 4526 NEW BEST:: SOT 19702818 SOS 4669449 HAS SOPS 4669449 HAS SOUS 2473839 HAS SOUPS 2473839 WITH SCORE 2478508.449
AT ITER 4529 NEW BEST:: SOT 19702643 SOS 4673346 HAS SOPS 4673346 HAS SOUS 2473488 HAS SOUPS 2473488 WITH SCORE 2478161.346
AT ITER 4567 NEW BEST:: SOT 19701947 SOS 4672650 HAS SOPS 4672650 HAS SOUS 2472788 HAS SOUPS 2472788 WITH SCORE 2477460.65
AT ITER 4614 NEW BEST:: SOT 19701900 SOS 4675372 HAS SOPS 4675372 HAS SOUS 2472629 HAS SOUPS 2472629 WITH SCORE 2477304.372
AT ITER 4635 NEW BEST:: SOT 19701000 SOS 4674472 HAS SOPS 4674472 HAS SOUS 2471729 HAS SOUPS 2471729 WITH SCORE 2476403.472
AT ITER 4640 NEW BEST:: SOT 19700188 SOS 4673660 HAS SOPS 4673660 HAS SOUS 2470917 HAS SOUPS 2470917 WITH SCORE 2475590.66
AT ITER 4651 NEW BEST:: SOT 19700188 SOS 4673242 HAS SOPS 4673242 HAS SOUS 2470499 HAS SOUPS 2470499 WITH SCORE 2475172.242
AT ITER 4660 NEW BEST:: SOT 19700179 SOS 4675706 HAS SOPS 4675706 HAS SOUS 2470065 HAS SOUPS 2470065 WITH SCORE 2474740.706
AT ITER 4677 NEW BEST:: SOT 19700010 SOS 4675368 HAS SOPS 4675368 HAS SOUS 2469727 HAS SOUPS 2469727 WITH SCORE 2474402.368
AT ITER 4717 NEW BEST:: SOT 19699568 SOS 4673016 HAS SOPS 4673016 HAS SOUS 2468770 HAS SOUPS 2468770 WITH SCORE 2473443.016
AT ITER 4743 NEW BEST:: SOT 19698971 SOS 4672312 HAS SOPS 4672312 HAS SOUS 2468172 HAS SOUPS 2468172 WITH SCORE 2472844.312
AT ITER 4763 NEW BEST:: SOT 19698971 SOS 4672120 HAS SOPS 4672120 HAS SOUS 2468172 HAS SOUPS 2468172 WITH SCORE 2472844.12
AT ITER 4778 NEW BEST:: SOT 19698463 SOS 4672349 HAS SOPS 4672349 HAS SOUS 2467685 HAS SOUPS 2467685 WITH SCORE 2472357.349
AT ITER 4793 NEW BEST:: SOT 19696293 SOS 4671815 HAS SOPS 4671815 HAS SOUS 2466537 HAS SOUPS 2466537 WITH SCORE 2471208.815
AT ITER 4806 NEW BEST:: SOT 19696293 SOS 4672503 HAS SOPS 4672503 HAS SOUS 2466536 HAS SOUPS 2466536 WITH SCORE 2471208.503
AT ITER 4809 NEW BEST:: SOT 19696235 SOS 4672445 HAS SOPS 4672445 HAS SOUS 2466478 HAS SOUPS 2466478 WITH SCORE 2471150.445
AT ITER 4811 NEW BEST:: SOT 19696235 SOS 4672972 HAS SOPS 4672972 HAS SOUS 2466477 HAS SOUPS 2466477 WITH SCORE 2471149.972
AT ITER 4828 NEW BEST:: SOT 19696224 SOS 4672950 HAS SOPS 4672950 HAS SOUS 2466455 HAS SOUPS 2466455 WITH SCORE 2471127.95
AT ITER 4840 NEW BEST:: SOT 19695972 SOS 4672446 HAS SOPS 4672446 HAS SOUS 2465931 HAS SOUPS 2465931 WITH SCORE 2470603.446
AT ITER 4841 NEW BEST:: SOT 19695485 SOS 4671948 HAS SOPS 4671948 HAS SOUS 2465501 HAS SOUPS 2465501 WITH SCORE 2470172.948
AT ITER 4844 NEW BEST:: SOT 19695025 SOS 4671948 HAS SOPS 4671948 HAS SOUS 2465041 HAS SOUPS 2465041 WITH SCORE 2469712.948
AT ITER 4873 NEW BEST:: SOT 19694907 SOS 4670650 HAS SOPS 4670650 HAS SOUS 2464805 HAS SOUPS 2464805 WITH SCORE 2469475.65
AT ITER 4916 NEW BEST:: SOT 19694470 SOS 4670790 HAS SOPS 4670790 HAS SOUS 2464208 HAS SOUPS 2464208 WITH SCORE 2468878.79
AT ITER 4939 NEW BEST:: SOT 19694470 SOS 4669395 HAS SOPS 4669395 HAS SOUS 2463743 HAS SOUPS 2463743 WITH SCORE 2468412.395
AT ITER 4959 NEW BEST:: SOT 19694922 SOS 4670299 HAS SOPS 4670299 HAS SOUS 2463028 HAS SOUPS 2463028 WITH SCORE 2467698.299
AT ITER 4974 NEW BEST:: SOT 19694696 SOS 4669441 HAS SOPS 4669441 HAS SOUS 2462170 HAS SOUPS 2462170 WITH SCORE 2466839.441
AT ITER 4989 NEW BEST:: SOT 19694269 SOS 4658522 HAS SOPS 4658522 HAS SOUS 2461316 HAS SOUPS 2461316 WITH SCORE 2465974.522
AT ITER 4990 NEW BEST:: SOT 19694102 SOS 4658355 HAS SOPS 4658355 HAS SOUS 2461149 HAS SOUPS 2461149 WITH SCORE 2465807.355
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: DLCround-PT-11b-CTLCardinality-00 (EG( ( (EF(potential( (tk(P3116)) <= (tk(P2969)) ))) & (AF(potential( (tk(P98)) <= (tk(P2241)) ))) )))
PROPERTY: DLCround-PT-11b-CTLCardinality-01 (! ( (EG( (! potential( ( 3 ) <= (tk(P1655)) )))) & (AU( potential( (tk(P1844)) <= (tk(P12)) ),potential( (tk(P800)) <= (tk(P1403)) ) )) ))
PROPERTY: DLCround-PT-11b-CTLCardinality-02 ( (! (! (EF(potential( ( 1 ) <= (tk(P3882)) ))))) | ( ( ( potential( (tk(P2693)) <= (tk(P144)) ) & potential( (tk(P1454)) <= (tk(P4075)) ) ) & ( ( potential( ( 1 ) <= (tk(P183)) ) & potential( ( 3 ) <= (tk(P1748)) ) ) & potential( ( 3 ) <= (tk(P125)) ) ) ) | ( (EF(potential( ( 2 ) <= (tk(P1421)) ))) | (! ( potential( (tk(P3275)) <= (tk(P1495)) ) | potential( (tk(P3469)) <= (tk(P1371)) ) )) ) ) )
PROPERTY: DLCround-PT-11b-CTLCardinality-03 ( ( potential( (tk(P3227)) <= (tk(P2121)) ) | potential( (tk(P1130)) <= (tk(P3022)) ) ) & (EG( ( potential( (tk(P4167)) <= (tk(P2597)) ) | (! potential( (tk(P2752)) <= (tk(P3949)) )) ))) )
PROPERTY: DLCround-PT-11b-CTLCardinality-04 ( (EF((! ( potential( (tk(P2187)) <= (tk(P550)) ) | potential( (tk(P780)) <= (tk(P4037)) ) )))) | (EX( (AG( potential( ( 3 ) <= (tk(P1278)) ))))) )
PROPERTY: DLCround-PT-11b-CTLCardinality-05 (AG( ( (! ( potential( ( 2 ) <= (tk(P1335)) ) | potential( ( 2 ) <= (tk(P4186)) ) )) | (EX( potential( ( 1 ) <= (tk(P2460)) ))) )))
PROPERTY: DLCround-PT-11b-CTLCardinality-06 (! ( ( (AF(potential( ( 3 ) <= (tk(P1085)) ))) | potential( ( 3 ) <= (tk(P2267)) ) ) & ( (AF(potential( ( 1 ) <= (tk(P3087)) ))) | (AX( potential( (tk(P375)) <= (tk(P3198)) ))) ) ))
PROPERTY: DLCround-PT-11b-CTLCardinality-07 ( (EF((EG( potential( (tk(P3262)) <= (tk(P2052)) ))))) | (EU( potential( (tk(P947)) <= (tk(P4220)) ),( potential( ( 2 ) <= (tk(P1917)) ) & potential( (tk(P3661)) <= (tk(P462)) ) ) )) )
PROPERTY: DLCround-PT-11b-CTLCardinality-08 (! (AG( potential( (tk(P976)) <= (tk(P3636)) ))))
PROPERTY: DLCround-PT-11b-CTLCardinality-09 (EU( (AF(potential( ( 3 ) <= (tk(P1742)) ))),(EX( potential( ( 1 ) <= (tk(P1451)) ))) ))
PROPERTY: DLCround-PT-11b-CTLCardinality-10 (EG( (EF((! potential( (tk(P2688)) <= (tk(P3689)) ))))))
PROPERTY: DLCround-PT-11b-CTLCardinality-11 ( ( ( (! (! potential( (tk(P1507)) <= (tk(P1171)) ))) & (! potential( (tk(P1356)) <= (tk(P4160)) )) ) | ( (EF(potential( (tk(P2672)) <= (tk(P155)) ))) & ( potential( ( 2 ) <= (tk(P3897)) ) | ( potential( ( 3 ) <= (tk(P4233)) ) | potential( ( 3 ) <= (tk(P1087)) ) ) ) ) ) | ( ( ( ( potential( (tk(P4002)) <= (tk(P1589)) ) | potential( (tk(P960)) <= (tk(P3146)) ) ) & ( potential( (tk(P3964)) <= (tk(P1874)) ) | potential( ( 2 ) <= (tk(P2025)) ) ) ) & (EF(potential( ( 3 ) <= (tk(P3384)) ))) ) | potential( ( 2 ) <= (tk(P3078)) ) ) )
PROPERTY: DLCround-PT-11b-CTLCardinality-12 ( (EF((AG( potential( ( 3 ) <= (tk(P1639)) ))))) & potential( (tk(P3941)) <= (tk(P1143)) ) )
PROPERTY: DLCround-PT-11b-CTLCardinality-13 (EG( (AX( potential( (tk(P1437)) <= (tk(P3611)) )))))
PROPERTY: DLCround-PT-11b-CTLCardinality-14 (AU( (! potential( ( 3 ) <= (tk(P504)) )),potential( ( 3 ) <= (tk(P824)) ) ))
PROPERTY: DLCround-PT-11b-CTLCardinality-15 (AU( ( potential( ( 2 ) <= (tk(P2298)) ) | ( potential( (tk(P461)) <= (tk(P3119)) ) & potential( (tk(P2621)) <= (tk(P944)) ) ) ),(EG( potential( (tk(P2681)) <= (tk(P2207)) ))) ))

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

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