fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r003-smll-158897508100099
Last Updated
Jun 28, 2020

About the Execution of smart for ASLink-PT-06b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15764.320 3600000.00 3600020.00 0.00 [undef] Time out reached

Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 3.4K Mar 25 09:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 25 09:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 09:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 09:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.1K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 25 09:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 25 09:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 08:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 08:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 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 921K 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 ASLink-PT-06b-CTLCardinality-00
FORMULA_NAME ASLink-PT-06b-CTLCardinality-01
FORMULA_NAME ASLink-PT-06b-CTLCardinality-02
FORMULA_NAME ASLink-PT-06b-CTLCardinality-03
FORMULA_NAME ASLink-PT-06b-CTLCardinality-04
FORMULA_NAME ASLink-PT-06b-CTLCardinality-05
FORMULA_NAME ASLink-PT-06b-CTLCardinality-06
FORMULA_NAME ASLink-PT-06b-CTLCardinality-07
FORMULA_NAME ASLink-PT-06b-CTLCardinality-08
FORMULA_NAME ASLink-PT-06b-CTLCardinality-09
FORMULA_NAME ASLink-PT-06b-CTLCardinality-10
FORMULA_NAME ASLink-PT-06b-CTLCardinality-11
FORMULA_NAME ASLink-PT-06b-CTLCardinality-12
FORMULA_NAME ASLink-PT-06b-CTLCardinality-13
FORMULA_NAME ASLink-PT-06b-CTLCardinality-14
FORMULA_NAME ASLink-PT-06b-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589041107835

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 06b
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: 2826 places, 3513 transitions, 10709 arcs.
AT ITER 0 NEW BEST:: SOT 5379484 SOS 1142306 HAS SOPS 1142306 HAS SOUS 917313 HAS SOUPS 917313 WITH SCORE 918455.306
AT ITER 35 NEW BEST:: SOT 5379118 SOS 1142062 HAS SOPS 1142062 HAS SOUS 917068 HAS SOUPS 917068 WITH SCORE 918210.062
AT ITER 49 NEW BEST:: SOT 5379118 SOS 1141856 HAS SOPS 1141856 HAS SOUS 916862 HAS SOUPS 916862 WITH SCORE 918003.856
AT ITER 69 NEW BEST:: SOT 5379009 SOS 1141638 HAS SOPS 1141638 HAS SOUS 916751 HAS SOUPS 916751 WITH SCORE 917892.638
AT ITER 79 NEW BEST:: SOT 5378943 SOS 1141606 HAS SOPS 1141606 HAS SOUS 916749 HAS SOUPS 916749 WITH SCORE 917890.606
AT ITER 88 NEW BEST:: SOT 5378790 SOS 1141300 HAS SOPS 1141300 HAS SOUS 916443 HAS SOUPS 916443 WITH SCORE 917584.3
AT ITER 89 NEW BEST:: SOT 5378667 SOS 1141177 HAS SOPS 1141177 HAS SOUS 916320 HAS SOUPS 916320 WITH SCORE 917461.177
AT ITER 99 NEW BEST:: SOT 5378712 SOS 1142602 HAS SOPS 1142602 HAS SOUS 916189 HAS SOUPS 916189 WITH SCORE 917331.602
AT ITER 101 NEW BEST:: SOT 5378711 SOS 1142589 HAS SOPS 1142589 HAS SOUS 916176 HAS SOUPS 916176 WITH SCORE 917318.589
AT ITER 131 NEW BEST:: SOT 5378565 SOS 1142414 HAS SOPS 1142414 HAS SOUS 916147 HAS SOUPS 916147 WITH SCORE 917289.414
AT ITER 137 NEW BEST:: SOT 5378492 SOS 1142330 HAS SOPS 1142330 HAS SOUS 916136 HAS SOUPS 916136 WITH SCORE 917278.33
AT ITER 148 NEW BEST:: SOT 5378444 SOS 1142234 HAS SOPS 1142234 HAS SOUS 916039 HAS SOUPS 916039 WITH SCORE 917181.234
AT ITER 232 NEW BEST:: SOT 5378283 SOS 1141912 HAS SOPS 1141912 HAS SOUS 915716 HAS SOUPS 915716 WITH SCORE 916857.912
AT ITER 259 NEW BEST:: SOT 5378283 SOS 1141741 HAS SOPS 1141741 HAS SOUS 915551 HAS SOUPS 915551 WITH SCORE 916692.741
AT ITER 284 NEW BEST:: SOT 5377016 SOS 1140578 HAS SOPS 1140578 HAS SOUS 914284 HAS SOUPS 914284 WITH SCORE 915424.578
AT ITER 295 NEW BEST:: SOT 5376770 SOS 1140572 HAS SOPS 1140572 HAS SOUS 914278 HAS SOUPS 914278 WITH SCORE 915418.572
AT ITER 333 NEW BEST:: SOT 5376572 SOS 1140508 HAS SOPS 1140508 HAS SOUS 913884 HAS SOUPS 913884 WITH SCORE 915024.508
AT ITER 339 NEW BEST:: SOT 5376413 SOS 1140338 HAS SOPS 1140338 HAS SOUS 913872 HAS SOUPS 913872 WITH SCORE 915012.338
AT ITER 347 NEW BEST:: SOT 5376265 SOS 1140282 HAS SOPS 1140282 HAS SOUS 913816 HAS SOUPS 913816 WITH SCORE 914956.282
AT ITER 365 NEW BEST:: SOT 5376106 SOS 1139964 HAS SOPS 1139964 HAS SOUS 913656 HAS SOUPS 913656 WITH SCORE 914795.964
AT ITER 375 NEW BEST:: SOT 5375994 SOS 1139828 HAS SOPS 1139828 HAS SOUS 913544 HAS SOUPS 913544 WITH SCORE 914683.828
AT ITER 410 NEW BEST:: SOT 5375715 SOS 1139028 HAS SOPS 1139028 HAS SOUS 913016 HAS SOUPS 913016 WITH SCORE 914155.028
AT ITER 451 NEW BEST:: SOT 5375715 SOS 1139024 HAS SOPS 1139024 HAS SOUS 913012 HAS SOUPS 913012 WITH SCORE 914151.024
AT ITER 458 NEW BEST:: SOT 5375560 SOS 1138528 HAS SOPS 1138528 HAS SOUS 912255 HAS SOUPS 912255 WITH SCORE 913393.528
AT ITER 463 NEW BEST:: SOT 5375560 SOS 1138469 HAS SOPS 1138469 HAS SOUS 912255 HAS SOUPS 912255 WITH SCORE 913393.469
AT ITER 476 NEW BEST:: SOT 5375081 SOS 1138747 HAS SOPS 1138747 HAS SOUS 912059 HAS SOUPS 912059 WITH SCORE 913197.747
AT ITER 478 NEW BEST:: SOT 5374550 SOS 1140181 HAS SOPS 1140181 HAS SOUS 911780 HAS SOUPS 911780 WITH SCORE 912920.181
AT ITER 493 NEW BEST:: SOT 5374550 SOS 1140159 HAS SOPS 1140159 HAS SOUS 911758 HAS SOUPS 911758 WITH SCORE 912898.159
AT ITER 537 NEW BEST:: SOT 5374444 SOS 1140036 HAS SOPS 1140036 HAS SOUS 911635 HAS SOUPS 911635 WITH SCORE 912775.036
AT ITER 538 NEW BEST:: SOT 5374443 SOS 1140034 HAS SOPS 1140034 HAS SOUS 911633 HAS SOUPS 911633 WITH SCORE 912773.034
AT ITER 540 NEW BEST:: SOT 5373329 SOS 1148767 HAS SOPS 1148767 HAS SOUS 911448 HAS SOUPS 911448 WITH SCORE 912596.767
AT ITER 542 NEW BEST:: SOT 5373189 SOS 1148347 HAS SOPS 1148347 HAS SOUS 911167 HAS SOUPS 911167 WITH SCORE 912315.347
AT ITER 549 NEW BEST:: SOT 5373108 SOS 1148185 HAS SOPS 1148185 HAS SOUS 911005 HAS SOUPS 911005 WITH SCORE 912153.185
AT ITER 564 NEW BEST:: SOT 5373107 SOS 1148057 HAS SOPS 1148057 HAS SOUS 910877 HAS SOUPS 910877 WITH SCORE 912025.057
AT ITER 570 NEW BEST:: SOT 5373105 SOS 1147920 HAS SOPS 1147920 HAS SOUS 910872 HAS SOUPS 910872 WITH SCORE 912019.92
AT ITER 573 NEW BEST:: SOT 5372948 SOS 1147762 HAS SOPS 1147762 HAS SOUS 910714 HAS SOUPS 910714 WITH SCORE 911861.762
AT ITER 579 NEW BEST:: SOT 5371058 SOS 1145872 HAS SOPS 1145872 HAS SOUS 910714 HAS SOUPS 910714 WITH SCORE 911859.872
AT ITER 604 NEW BEST:: SOT 5371058 SOS 1145738 HAS SOPS 1145738 HAS SOUS 910696 HAS SOUPS 910696 WITH SCORE 911841.738
AT ITER 661 NEW BEST:: SOT 5371058 SOS 1145736 HAS SOPS 1145736 HAS SOUS 910687 HAS SOUPS 910687 WITH SCORE 911832.736
AT ITER 689 NEW BEST:: SOT 5370976 SOS 1145712 HAS SOPS 1145712 HAS SOUS 910663 HAS SOUPS 910663 WITH SCORE 911808.712
AT ITER 694 NEW BEST:: SOT 5369044 SOS 1143864 HAS SOPS 1143864 HAS SOUS 908731 HAS SOUPS 908731 WITH SCORE 909874.864
AT ITER 711 NEW BEST:: SOT 5369211 SOS 1143812 HAS SOPS 1143812 HAS SOUS 908679 HAS SOUPS 908679 WITH SCORE 909822.812
AT ITER 720 NEW BEST:: SOT 5369211 SOS 1143653 HAS SOPS 1143653 HAS SOUS 908679 HAS SOUPS 908679 WITH SCORE 909822.653
AT ITER 726 NEW BEST:: SOT 5366484 SOS 1143290 HAS SOPS 1143290 HAS SOUS 906385 HAS SOUPS 906385 WITH SCORE 907528.29
AT ITER 741 NEW BEST:: SOT 5366484 SOS 1143243 HAS SOPS 1143243 HAS SOUS 906384 HAS SOUPS 906384 WITH SCORE 907527.243
AT ITER 747 NEW BEST:: SOT 5366484 SOS 1143241 HAS SOPS 1143241 HAS SOUS 906383 HAS SOUPS 906383 WITH SCORE 907526.241
AT ITER 759 NEW BEST:: SOT 5366484 SOS 1142587 HAS SOPS 1142587 HAS SOUS 906196 HAS SOUPS 906196 WITH SCORE 907338.587
AT ITER 774 NEW BEST:: SOT 5366403 SOS 1142535 HAS SOPS 1142535 HAS SOUS 906144 HAS SOUPS 906144 WITH SCORE 907286.535
AT ITER 775 NEW BEST:: SOT 5366402 SOS 1142392 HAS SOPS 1142392 HAS SOUS 906142 HAS SOUPS 906142 WITH SCORE 907284.392
AT ITER 782 NEW BEST:: SOT 5366339 SOS 1142265 HAS SOPS 1142265 HAS SOUS 906015 HAS SOUPS 906015 WITH SCORE 907157.265
AT ITER 811 NEW BEST:: SOT 5366214 SOS 1142124 HAS SOPS 1142124 HAS SOUS 905874 HAS SOUPS 905874 WITH SCORE 907016.124
AT ITER 817 NEW BEST:: SOT 5366190 SOS 1142076 HAS SOPS 1142076 HAS SOUS 905763 HAS SOUPS 905763 WITH SCORE 906905.076
AT ITER 824 NEW BEST:: SOT 5366190 SOS 1141994 HAS SOPS 1141994 HAS SOUS 905681 HAS SOUPS 905681 WITH SCORE 906822.994
AT ITER 829 NEW BEST:: SOT 5366048 SOS 1141828 HAS SOPS 1141828 HAS SOUS 905515 HAS SOUPS 905515 WITH SCORE 906656.828
AT ITER 833 NEW BEST:: SOT 5365898 SOS 1141678 HAS SOPS 1141678 HAS SOUS 905365 HAS SOUPS 905365 WITH SCORE 906506.678
AT ITER 873 NEW BEST:: SOT 5365835 SOS 1141615 HAS SOPS 1141615 HAS SOUS 905301 HAS SOUPS 905301 WITH SCORE 906442.615
AT ITER 937 NEW BEST:: SOT 5365832 SOS 1141609 HAS SOPS 1141609 HAS SOUS 905295 HAS SOUPS 905295 WITH SCORE 906436.609
AT ITER 947 NEW BEST:: SOT 5365831 SOS 1142391 HAS SOPS 1142391 HAS SOUS 905258 HAS SOUPS 905258 WITH SCORE 906400.391
AT ITER 956 NEW BEST:: SOT 5365831 SOS 1142376 HAS SOPS 1142376 HAS SOUS 905257 HAS SOUPS 905257 WITH SCORE 906399.376
AT ITER 976 NEW BEST:: SOT 5365831 SOS 1142323 HAS SOPS 1142323 HAS SOUS 905204 HAS SOUPS 905204 WITH SCORE 906346.323
AT ITER 987 NEW BEST:: SOT 5365429 SOS 1141921 HAS SOPS 1141921 HAS SOUS 904519 HAS SOUPS 904519 WITH SCORE 905660.921
AT ITER 997 NEW BEST:: SOT 5364362 SOS 1145668 HAS SOPS 1145668 HAS SOUS 904459 HAS SOUPS 904459 WITH SCORE 905604.668
AT ITER 998 NEW BEST:: SOT 5363785 SOS 1145237 HAS SOPS 1145237 HAS SOUS 904027 HAS SOUPS 904027 WITH SCORE 905172.237
AT ITER 1037 NEW BEST:: SOT 5363623 SOS 1144911 HAS SOPS 1144911 HAS SOUS 903701 HAS SOUPS 903701 WITH SCORE 904845.911
AT ITER 1042 NEW BEST:: SOT 5363580 SOS 1144821 HAS SOPS 1144821 HAS SOUS 903611 HAS SOUPS 903611 WITH SCORE 904755.821
AT ITER 1058 NEW BEST:: SOT 5363380 SOS 1144613 HAS SOPS 1144613 HAS SOUS 903402 HAS SOUPS 903402 WITH SCORE 904546.613
AT ITER 1070 NEW BEST:: SOT 5363379 SOS 1144611 HAS SOPS 1144611 HAS SOUS 903400 HAS SOUPS 903400 WITH SCORE 904544.611
AT ITER 1084 NEW BEST:: SOT 5363370 SOS 1144602 HAS SOPS 1144602 HAS SOUS 903389 HAS SOUPS 903389 WITH SCORE 904533.602
AT ITER 1096 NEW BEST:: SOT 5362889 SOS 1144883 HAS SOPS 1144883 HAS SOUS 903121 HAS SOUPS 903121 WITH SCORE 904265.883
AT ITER 1107 NEW BEST:: SOT 5362889 SOS 1144982 HAS SOPS 1144982 HAS SOUS 903082 HAS SOUPS 903082 WITH SCORE 904226.982
AT ITER 1129 NEW BEST:: SOT 5362812 SOS 1144894 HAS SOPS 1144894 HAS SOUS 902987 HAS SOUPS 902987 WITH SCORE 904131.894
AT ITER 1144 NEW BEST:: SOT 5362812 SOS 1144888 HAS SOPS 1144888 HAS SOUS 902981 HAS SOUPS 902981 WITH SCORE 904125.888
AT ITER 1148 NEW BEST:: SOT 5362812 SOS 1144869 HAS SOPS 1144869 HAS SOUS 902962 HAS SOUPS 902962 WITH SCORE 904106.869
AT ITER 1155 NEW BEST:: SOT 5362715 SOS 1144772 HAS SOPS 1144772 HAS SOUS 902865 HAS SOUPS 902865 WITH SCORE 904009.772
AT ITER 1156 NEW BEST:: SOT 5362519 SOS 1143974 HAS SOPS 1143974 HAS SOUS 902473 HAS SOUPS 902473 WITH SCORE 903616.974
AT ITER 1180 NEW BEST:: SOT 5362377 SOS 1144429 HAS SOPS 1144429 HAS SOUS 902130 HAS SOUPS 902130 WITH SCORE 903274.429
AT ITER 1183 NEW BEST:: SOT 5362307 SOS 1144587 HAS SOPS 1144587 HAS SOUS 902017 HAS SOUPS 902017 WITH SCORE 903161.587
AT ITER 1185 NEW BEST:: SOT 5362307 SOS 1144444 HAS SOPS 1144444 HAS SOUS 902014 HAS SOUPS 902014 WITH SCORE 903158.444
AT ITER 1200 NEW BEST:: SOT 5362001 SOS 1144381 HAS SOPS 1144381 HAS SOUS 901951 HAS SOUPS 901951 WITH SCORE 903095.381
AT ITER 1202 NEW BEST:: SOT 5361770 SOS 1144208 HAS SOPS 1144208 HAS SOUS 901779 HAS SOUPS 901779 WITH SCORE 902923.208
AT ITER 1242 NEW BEST:: SOT 5361511 SOS 1143644 HAS SOPS 1143644 HAS SOUS 901461 HAS SOUPS 901461 WITH SCORE 902604.644
AT ITER 1251 NEW BEST:: SOT 5361507 SOS 1143579 HAS SOPS 1143579 HAS SOUS 901396 HAS SOUPS 901396 WITH SCORE 902539.579
AT ITER 1278 NEW BEST:: SOT 5361472 SOS 1143544 HAS SOPS 1143544 HAS SOUS 901361 HAS SOUPS 901361 WITH SCORE 902504.544
AT ITER 1292 NEW BEST:: SOT 5361344 SOS 1143482 HAS SOPS 1143482 HAS SOUS 901299 HAS SOUPS 901299 WITH SCORE 902442.482
AT ITER 1293 NEW BEST:: SOT 5361344 SOS 1143480 HAS SOPS 1143480 HAS SOUS 901297 HAS SOUPS 901297 WITH SCORE 902440.48
AT ITER 1332 NEW BEST:: SOT 5360847 SOS 1144221 HAS SOPS 1144221 HAS SOUS 901220 HAS SOUPS 901220 WITH SCORE 902364.221
AT ITER 1353 NEW BEST:: SOT 5360748 SOS 1144023 HAS SOPS 1144023 HAS SOUS 900898 HAS SOUPS 900898 WITH SCORE 902042.023
AT ITER 1365 NEW BEST:: SOT 5360720 SOS 1143967 HAS SOPS 1143967 HAS SOUS 900721 HAS SOUPS 900721 WITH SCORE 901864.967
AT ITER 1376 NEW BEST:: SOT 5359344 SOS 1142247 HAS SOPS 1142247 HAS SOUS 900377 HAS SOUPS 900377 WITH SCORE 901519.247
AT ITER 1380 NEW BEST:: SOT 5359211 SOS 1141278 HAS SOPS 1141278 HAS SOUS 900111 HAS SOUPS 900111 WITH SCORE 901252.278
AT ITER 1395 NEW BEST:: SOT 5359091 SOS 1140705 HAS SOPS 1140705 HAS SOUS 899871 HAS SOUPS 899871 WITH SCORE 901011.705
AT ITER 1412 NEW BEST:: SOT 5359089 SOS 1141877 HAS SOPS 1141877 HAS SOUS 899860 HAS SOUPS 899860 WITH SCORE 901001.877
AT ITER 1429 NEW BEST:: SOT 5357180 SOS 1140575 HAS SOPS 1140575 HAS SOUS 898185 HAS SOUPS 898185 WITH SCORE 899325.575
AT ITER 1440 NEW BEST:: SOT 5357144 SOS 1140539 HAS SOPS 1140539 HAS SOUS 898148 HAS SOUPS 898148 WITH SCORE 899288.539
AT ITER 1453 NEW BEST:: SOT 5353057 SOS 1136739 HAS SOPS 1136739 HAS SOUS 894061 HAS SOUPS 894061 WITH SCORE 895197.739
AT ITER 1460 NEW BEST:: SOT 5352996 SOS 1136731 HAS SOPS 1136731 HAS SOUS 893938 HAS SOUPS 893938 WITH SCORE 895074.731
AT ITER 1469 NEW BEST:: SOT 5349467 SOS 1133424 HAS SOPS 1133424 HAS SOUS 893517 HAS SOUPS 893517 WITH SCORE 894650.424
AT ITER 1470 NEW BEST:: SOT 5349442 SOS 1133371 HAS SOPS 1133371 HAS SOUS 893464 HAS SOUPS 893464 WITH SCORE 894597.371
AT ITER 1471 NEW BEST:: SOT 5349034 SOS 1133103 HAS SOPS 1133103 HAS SOUS 893196 HAS SOUPS 893196 WITH SCORE 894329.103
AT ITER 1479 NEW BEST:: SOT 5349034 SOS 1134303 HAS SOPS 1134303 HAS SOUS 893171 HAS SOUPS 893171 WITH SCORE 894305.303
AT ITER 1532 NEW BEST:: SOT 5349034 SOS 1134297 HAS SOPS 1134297 HAS SOUS 893165 HAS SOUPS 893165 WITH SCORE 894299.297
AT ITER 1533 NEW BEST:: SOT 5348831 SOS 1133485 HAS SOPS 1133485 HAS SOUS 892758 HAS SOUPS 892758 WITH SCORE 893891.485
AT ITER 1534 NEW BEST:: SOT 5348842 SOS 1133583 HAS SOPS 1133583 HAS SOUS 892729 HAS SOUPS 892729 WITH SCORE 893862.583
AT ITER 1546 NEW BEST:: SOT 5348571 SOS 1133103 HAS SOPS 1133103 HAS SOUS 888922 HAS SOUPS 888922 WITH SCORE 890055.103
AT ITER 1547 NEW BEST:: SOT 5348354 SOS 1132669 HAS SOPS 1132669 HAS SOUS 888488 HAS SOUPS 888488 WITH SCORE 889620.669
AT ITER 1559 NEW BEST:: SOT 5348188 SOS 1132404 HAS SOPS 1132404 HAS SOUS 888239 HAS SOUPS 888239 WITH SCORE 889371.404
AT ITER 1564 NEW BEST:: SOT 5347391 SOS 1131541 HAS SOPS 1131541 HAS SOUS 887382 HAS SOUPS 887382 WITH SCORE 888513.541
AT ITER 1578 NEW BEST:: SOT 5347336 SOS 1131374 HAS SOPS 1131374 HAS SOUS 887215 HAS SOUPS 887215 WITH SCORE 888346.374
AT ITER 1596 NEW BEST:: SOT 5347336 SOS 1131361 HAS SOPS 1131361 HAS SOUS 887202 HAS SOUPS 887202 WITH SCORE 888333.361
AT ITER 1601 NEW BEST:: SOT 5347087 SOS 1131097 HAS SOPS 1131097 HAS SOUS 886954 HAS SOUPS 886954 WITH SCORE 888085.097
AT ITER 1620 NEW BEST:: SOT 5347067 SOS 1130770 HAS SOPS 1130770 HAS SOUS 886884 HAS SOUPS 886884 WITH SCORE 888014.77
AT ITER 1635 NEW BEST:: SOT 5346984 SOS 1131287 HAS SOPS 1131287 HAS SOUS 886764 HAS SOUPS 886764 WITH SCORE 887895.287
AT ITER 1640 NEW BEST:: SOT 5346891 SOS 1131154 HAS SOPS 1131154 HAS SOUS 886677 HAS SOUPS 886677 WITH SCORE 887808.154
AT ITER 1642 NEW BEST:: SOT 5346804 SOS 1131056 HAS SOPS 1131056 HAS SOUS 886579 HAS SOUPS 886579 WITH SCORE 887710.056
AT ITER 1644 NEW BEST:: SOT 5346775 SOS 1130592 HAS SOPS 1130592 HAS SOUS 886474 HAS SOUPS 886474 WITH SCORE 887604.592
AT ITER 1651 NEW BEST:: SOT 5346774 SOS 1130591 HAS SOPS 1130591 HAS SOUS 886473 HAS SOUPS 886473 WITH SCORE 887603.591
AT ITER 1678 NEW BEST:: SOT 5345796 SOS 1130229 HAS SOPS 1130229 HAS SOUS 885622 HAS SOUPS 885622 WITH SCORE 886752.229
AT ITER 1700 NEW BEST:: SOT 5345541 SOS 1129920 HAS SOPS 1129920 HAS SOUS 885569 HAS SOUPS 885569 WITH SCORE 886698.92
AT ITER 1710 NEW BEST:: SOT 5345266 SOS 1129367 HAS SOPS 1129367 HAS SOUS 885016 HAS SOUPS 885016 WITH SCORE 886145.367
AT ITER 1717 NEW BEST:: SOT 5345000 SOS 1128883 HAS SOPS 1128883 HAS SOUS 884483 HAS SOUPS 884483 WITH SCORE 885611.883
AT ITER 1744 NEW BEST:: SOT 5345000 SOS 1130035 HAS SOPS 1130035 HAS SOUS 884459 HAS SOUPS 884459 WITH SCORE 885589.035
AT ITER 1765 NEW BEST:: SOT 5345000 SOS 1130486 HAS SOPS 1130486 HAS SOUS 884434 HAS SOUPS 884434 WITH SCORE 885564.486
AT ITER 1770 NEW BEST:: SOT 5345066 SOS 1130453 HAS SOPS 1130453 HAS SOUS 884401 HAS SOUPS 884401 WITH SCORE 885531.453
AT ITER 1787 NEW BEST:: SOT 5344755 SOS 1129727 HAS SOPS 1129727 HAS SOUS 883675 HAS SOUPS 883675 WITH SCORE 884804.727
AT ITER 1788 NEW BEST:: SOT 5344207 SOS 1129849 HAS SOPS 1129849 HAS SOUS 883500 HAS SOUPS 883500 WITH SCORE 884629.849
AT ITER 1791 NEW BEST:: SOT 5344207 SOS 1129848 HAS SOPS 1129848 HAS SOUS 883499 HAS SOUPS 883499 WITH SCORE 884628.848
AT ITER 1802 NEW BEST:: SOT 5343936 SOS 1129603 HAS SOPS 1129603 HAS SOUS 883254 HAS SOUPS 883254 WITH SCORE 884383.603
AT ITER 1809 NEW BEST:: SOT 5343850 SOS 1129701 HAS SOPS 1129701 HAS SOUS 883080 HAS SOUPS 883080 WITH SCORE 884209.701
AT ITER 1818 NEW BEST:: SOT 5343576 SOS 1129403 HAS SOPS 1129403 HAS SOUS 882747 HAS SOUPS 882747 WITH SCORE 883876.403
AT ITER 1819 NEW BEST:: SOT 5343713 SOS 1129440 HAS SOPS 1129440 HAS SOUS 882699 HAS SOUPS 882699 WITH SCORE 883828.44
AT ITER 1823 NEW BEST:: SOT 5343713 SOS 1129202 HAS SOPS 1129202 HAS SOUS 882461 HAS SOUPS 882461 WITH SCORE 883590.202
AT ITER 1844 NEW BEST:: SOT 5343368 SOS 1128666 HAS SOPS 1128666 HAS SOUS 882207 HAS SOUPS 882207 WITH SCORE 883335.666
AT ITER 1854 NEW BEST:: SOT 5342703 SOS 1127906 HAS SOPS 1127906 HAS SOUS 882112 HAS SOUPS 882112 WITH SCORE 883239.906
AT ITER 1857 NEW BEST:: SOT 5342703 SOS 1127778 HAS SOPS 1127778 HAS SOUS 882112 HAS SOUPS 882112 WITH SCORE 883239.778
AT ITER 1930 NEW BEST:: SOT 5342454 SOS 1128570 HAS SOPS 1128570 HAS SOUS 881833 HAS SOUPS 881833 WITH SCORE 882961.57
AT ITER 1938 NEW BEST:: SOT 5342435 SOS 1128340 HAS SOPS 1128340 HAS SOUS 881747 HAS SOUPS 881747 WITH SCORE 882875.34
AT ITER 1954 NEW BEST:: SOT 5342415 SOS 1128300 HAS SOPS 1128300 HAS SOUS 881707 HAS SOUPS 881707 WITH SCORE 882835.3
AT ITER 1957 NEW BEST:: SOT 5342414 SOS 1128252 HAS SOPS 1128252 HAS SOUS 881705 HAS SOUPS 881705 WITH SCORE 882833.252
AT ITER 1994 NEW BEST:: SOT 5342384 SOS 1128222 HAS SOPS 1128222 HAS SOUS 881675 HAS SOUPS 881675 WITH SCORE 882803.222
AT ITER 2005 NEW BEST:: SOT 5339379 SOS 1125217 HAS SOPS 1125217 HAS SOUS 881286 HAS SOUPS 881286 WITH SCORE 882411.217
AT ITER 2007 NEW BEST:: SOT 5339081 SOS 1124937 HAS SOPS 1124937 HAS SOUS 881006 HAS SOUPS 881006 WITH SCORE 882130.937
AT ITER 2035 NEW BEST:: SOT 5339069 SOS 1124038 HAS SOPS 1124038 HAS SOUS 880982 HAS SOUPS 880982 WITH SCORE 882106.038
AT ITER 2037 NEW BEST:: SOT 5339096 SOS 1123908 HAS SOPS 1123908 HAS SOUS 880772 HAS SOUPS 880772 WITH SCORE 881895.908
AT ITER 2041 NEW BEST:: SOT 5339062 SOS 1123583 HAS SOPS 1123583 HAS SOUS 880621 HAS SOUPS 880621 WITH SCORE 881744.583
AT ITER 2062 NEW BEST:: SOT 5338966 SOS 1123295 HAS SOPS 1123295 HAS SOUS 880402 HAS SOUPS 880402 WITH SCORE 881525.295
AT ITER 2098 NEW BEST:: SOT 5338891 SOS 1123220 HAS SOPS 1123220 HAS SOUS 880327 HAS SOUPS 880327 WITH SCORE 881450.22
AT ITER 2099 NEW BEST:: SOT 5338891 SOS 1123340 HAS SOPS 1123340 HAS SOUS 879487 HAS SOUPS 879487 WITH SCORE 880610.34
AT ITER 2105 NEW BEST:: SOT 5338710 SOS 1123099 HAS SOPS 1123099 HAS SOUS 879246 HAS SOUPS 879246 WITH SCORE 880369.099
AT ITER 2116 NEW BEST:: SOT 5338573 SOS 1122825 HAS SOPS 1122825 HAS SOUS 878972 HAS SOUPS 878972 WITH SCORE 880094.825
AT ITER 2129 NEW BEST:: SOT 5338206 SOS 1122487 HAS SOPS 1122487 HAS SOUS 878623 HAS SOUPS 878623 WITH SCORE 879745.487
AT ITER 2140 NEW BEST:: SOT 5338090 SOS 1122387 HAS SOPS 1122387 HAS SOUS 878507 HAS SOUPS 878507 WITH SCORE 879629.387
AT ITER 2143 NEW BEST:: SOT 5337909 SOS 1121825 HAS SOPS 1121825 HAS SOUS 878144 HAS SOUPS 878144 WITH SCORE 879265.825
AT ITER 2154 NEW BEST:: SOT 5337773 SOS 1121730 HAS SOPS 1121730 HAS SOUS 877872 HAS SOUPS 877872 WITH SCORE 878993.73
AT ITER 2168 NEW BEST:: SOT 5337579 SOS 1121342 HAS SOPS 1121342 HAS SOUS 877484 HAS SOUPS 877484 WITH SCORE 878605.342
AT ITER 2173 NEW BEST:: SOT 5337579 SOS 1121259 HAS SOPS 1121259 HAS SOUS 877417 HAS SOUPS 877417 WITH SCORE 878538.259
AT ITER 2174 NEW BEST:: SOT 5337444 SOS 1121124 HAS SOPS 1121124 HAS SOUS 877282 HAS SOUPS 877282 WITH SCORE 878403.124
AT ITER 2196 NEW BEST:: SOT 5337426 SOS 1121104 HAS SOPS 1121104 HAS SOUS 877263 HAS SOUPS 877263 WITH SCORE 878384.104
AT ITER 2224 NEW BEST:: SOT 5337333 SOS 1121011 HAS SOPS 1121011 HAS SOUS 877170 HAS SOUPS 877170 WITH SCORE 878291.011
AT ITER 2239 NEW BEST:: SOT 5337226 SOS 1120901 HAS SOPS 1120901 HAS SOUS 877060 HAS SOUPS 877060 WITH SCORE 878180.901
AT ITER 2244 NEW BEST:: SOT 5336434 SOS 1122448 HAS SOPS 1122448 HAS SOUS 876528 HAS SOUPS 876528 WITH SCORE 877650.448
AT ITER 2262 NEW BEST:: SOT 5336397 SOS 1122374 HAS SOPS 1122374 HAS SOUS 876454 HAS SOUPS 876454 WITH SCORE 877576.374
AT ITER 2269 NEW BEST:: SOT 5336453 SOS 1122092 HAS SOPS 1122092 HAS SOUS 876245 HAS SOUPS 876245 WITH SCORE 877367.092
AT ITER 2274 NEW BEST:: SOT 5336274 SOS 1120831 HAS SOPS 1120831 HAS SOUS 875778 HAS SOUPS 875778 WITH SCORE 876898.831
AT ITER 2293 NEW BEST:: SOT 5336254 SOS 1120569 HAS SOPS 1120569 HAS SOUS 875665 HAS SOUPS 875665 WITH SCORE 876785.569
AT ITER 2295 NEW BEST:: SOT 5336253 SOS 1120567 HAS SOPS 1120567 HAS SOUS 875663 HAS SOUPS 875663 WITH SCORE 876783.567
AT ITER 2326 NEW BEST:: SOT 5336253 SOS 1119142 HAS SOPS 1119142 HAS SOUS 875519 HAS SOUPS 875519 WITH SCORE 876638.142
AT ITER 2344 NEW BEST:: SOT 5336198 SOS 1119087 HAS SOPS 1119087 HAS SOUS 875464 HAS SOUPS 875464 WITH SCORE 876583.087
AT ITER 2345 NEW BEST:: SOT 5336193 SOS 1119069 HAS SOPS 1119069 HAS SOUS 875454 HAS SOUPS 875454 WITH SCORE 876573.069
AT ITER 2389 NEW BEST:: SOT 5336193 SOS 1118829 HAS SOPS 1118829 HAS SOUS 875214 HAS SOUPS 875214 WITH SCORE 876332.829
AT ITER 2396 NEW BEST:: SOT 5336057 SOS 1118676 HAS SOPS 1118676 HAS SOUS 875061 HAS SOUPS 875061 WITH SCORE 876179.676
AT ITER 2460 NEW BEST:: SOT 5335840 SOS 1118388 HAS SOPS 1118388 HAS SOUS 874842 HAS SOUPS 874842 WITH SCORE 875960.388
AT ITER 2462 NEW BEST:: SOT 5335473 SOS 1117702 HAS SOPS 1117702 HAS SOUS 874156 HAS SOUPS 874156 WITH SCORE 875273.702
AT ITER 2464 NEW BEST:: SOT 5335307 SOS 1117536 HAS SOPS 1117536 HAS SOUS 871830 HAS SOUPS 871830 WITH SCORE 872947.536
AT ITER 2485 NEW BEST:: SOT 5333860 SOS 1117220 HAS SOPS 1117220 HAS SOUS 870860 HAS SOUPS 870860 WITH SCORE 871977.22
AT ITER 2540 NEW BEST:: SOT 5333832 SOS 1117136 HAS SOPS 1117136 HAS SOUS 870852 HAS SOUPS 870852 WITH SCORE 871969.136
AT ITER 2571 NEW BEST:: SOT 5333760 SOS 1116922 HAS SOPS 1116922 HAS SOUS 870704 HAS SOUPS 870704 WITH SCORE 871820.922
AT ITER 2578 NEW BEST:: SOT 5333521 SOS 1117520 HAS SOPS 1117520 HAS SOUS 870677 HAS SOUPS 870677 WITH SCORE 871794.52
AT ITER 2581 NEW BEST:: SOT 5333475 SOS 1117486 HAS SOPS 1117486 HAS SOUS 870631 HAS SOUPS 870631 WITH SCORE 871748.486
AT ITER 2587 NEW BEST:: SOT 5333475 SOS 1117652 HAS SOPS 1117652 HAS SOUS 870616 HAS SOUPS 870616 WITH SCORE 871733.652
AT ITER 2621 NEW BEST:: SOT 5333422 SOS 1117351 HAS SOPS 1117351 HAS SOUS 870370 HAS SOUPS 870370 WITH SCORE 871487.351
AT ITER 2634 NEW BEST:: SOT 5333422 SOS 1117333 HAS SOPS 1117333 HAS SOUS 870352 HAS SOUPS 870352 WITH SCORE 871469.333
AT ITER 2677 NEW BEST:: SOT 5333151 SOS 1116668 HAS SOPS 1116668 HAS SOUS 865553 HAS SOUPS 865553 WITH SCORE 866669.668
AT ITER 2705 NEW BEST:: SOT 5333151 SOS 1116491 HAS SOPS 1116491 HAS SOUS 865552 HAS SOUPS 865552 WITH SCORE 866668.491
AT ITER 2712 NEW BEST:: SOT 5333055 SOS 1116299 HAS SOPS 1116299 HAS SOUS 865456 HAS SOUPS 865456 WITH SCORE 866572.299
AT ITER 2729 NEW BEST:: SOT 5332881 SOS 1113863 HAS SOPS 1113863 HAS SOUS 865108 HAS SOUPS 865108 WITH SCORE 866221.863
AT ITER 2732 NEW BEST:: SOT 5332583 SOS 1113085 HAS SOPS 1113085 HAS SOUS 864898 HAS SOUPS 864898 WITH SCORE 866011.085
AT ITER 2778 NEW BEST:: SOT 5332585 SOS 1113267 HAS SOPS 1113267 HAS SOUS 864897 HAS SOUPS 864897 WITH SCORE 866010.267
AT ITER 2814 NEW BEST:: SOT 5332624 SOS 1113281 HAS SOPS 1113281 HAS SOUS 864791 HAS SOUPS 864791 WITH SCORE 865904.281
AT ITER 2826 NEW BEST:: SOT 5332624 SOS 1113233 HAS SOPS 1113233 HAS SOUS 864743 HAS SOUPS 864743 WITH SCORE 865856.233
AT ITER 2853 NEW BEST:: SOT 5332464 SOS 1113209 HAS SOPS 1113209 HAS SOUS 864743 HAS SOUPS 864743 WITH SCORE 865856.209
AT ITER 2865 NEW BEST:: SOT 5332340 SOS 1113085 HAS SOPS 1113085 HAS SOUS 864743 HAS SOUPS 864743 WITH SCORE 865856.085
AT ITER 2866 NEW BEST:: SOT 5331335 SOS 1113511 HAS SOPS 1113511 HAS SOUS 863941 HAS SOUPS 863941 WITH SCORE 865054.511
AT ITER 2867 NEW BEST:: SOT 5333733 SOS 1115653 HAS SOPS 1115653 HAS SOUS 863682 HAS SOUPS 863682 WITH SCORE 864797.653
AT ITER 2868 NEW BEST:: SOT 5332954 SOS 1116423 HAS SOPS 1116423 HAS SOUS 863305 HAS SOUPS 863305 WITH SCORE 864421.423
AT ITER 2873 NEW BEST:: SOT 5332954 SOS 1116502 HAS SOPS 1116502 HAS SOUS 863302 HAS SOUPS 863302 WITH SCORE 864418.502
AT ITER 2910 NEW BEST:: SOT 5332954 SOS 1116460 HAS SOPS 1116460 HAS SOUS 863260 HAS SOUPS 863260 WITH SCORE 864376.46
AT ITER 2921 NEW BEST:: SOT 5332954 SOS 1116419 HAS SOPS 1116419 HAS SOUS 863260 HAS SOUPS 863260 WITH SCORE 864376.419
AT ITER 2949 NEW BEST:: SOT 5332954 SOS 1116212 HAS SOPS 1116212 HAS SOUS 863259 HAS SOUPS 863259 WITH SCORE 864375.212
AT ITER 2955 NEW BEST:: SOT 5332858 SOS 1115924 HAS SOPS 1115924 HAS SOUS 863067 HAS SOUPS 863067 WITH SCORE 864182.924
AT ITER 2973 NEW BEST:: SOT 5332792 SOS 1115804 HAS SOPS 1115804 HAS SOUS 862941 HAS SOUPS 862941 WITH SCORE 864056.804
AT ITER 3020 NEW BEST:: SOT 5332418 SOS 1115400 HAS SOPS 1115400 HAS SOUS 862587 HAS SOUPS 862587 WITH SCORE 863702.4
AT ITER 3066 NEW BEST:: SOT 5332418 SOS 1115399 HAS SOPS 1115399 HAS SOUS 862586 HAS SOUPS 862586 WITH SCORE 863701.399
AT ITER 3103 NEW BEST:: SOT 5332411 SOS 1114589 HAS SOPS 1114589 HAS SOUS 862579 HAS SOUPS 862579 WITH SCORE 863693.589
AT ITER 3127 NEW BEST:: SOT 5332348 SOS 1114525 HAS SOPS 1114525 HAS SOUS 862501 HAS SOUPS 862501 WITH SCORE 863615.525
AT ITER 3153 NEW BEST:: SOT 5332348 SOS 1114381 HAS SOPS 1114381 HAS SOUS 862500 HAS SOUPS 862500 WITH SCORE 863614.381
AT ITER 3178 NEW BEST:: SOT 5332348 SOS 1114364 HAS SOPS 1114364 HAS SOUS 862466 HAS SOUPS 862466 WITH SCORE 863580.364
AT ITER 3187 NEW BEST:: SOT 5332287 SOS 1114286 HAS SOPS 1114286 HAS SOUS 862388 HAS SOUPS 862388 WITH SCORE 863502.286
AT ITER 3203 NEW BEST:: SOT 5331935 SOS 1113934 HAS SOPS 1113934 HAS SOUS 862034 HAS SOUPS 862034 WITH SCORE 863147.934
AT ITER 3222 NEW BEST:: SOT 5331820 SOS 1113404 HAS SOPS 1113404 HAS SOUS 861504 HAS SOUPS 861504 WITH SCORE 862617.404
AT ITER 3231 NEW BEST:: SOT 5331820 SOS 1113360 HAS SOPS 1113360 HAS SOUS 861504 HAS SOUPS 861504 WITH SCORE 862617.36
AT ITER 3262 NEW BEST:: SOT 5331736 SOS 1113192 HAS SOPS 1113192 HAS SOUS 861336 HAS SOUPS 861336 WITH SCORE 862449.192
AT ITER 3270 NEW BEST:: SOT 5331661 SOS 1113117 HAS SOPS 1113117 HAS SOUS 861203 HAS SOUPS 861203 WITH SCORE 862316.117
AT ITER 3300 NEW BEST:: SOT 5331655 SOS 1113111 HAS SOPS 1113111 HAS SOUS 861197 HAS SOUPS 861197 WITH SCORE 862310.111
AT ITER 3311 NEW BEST:: SOT 5331528 SOS 1112364 HAS SOPS 1112364 HAS SOUS 861029 HAS SOUPS 861029 WITH SCORE 862141.364
AT ITER 3319 NEW BEST:: SOT 5331149 SOS 1111607 HAS SOPS 1111607 HAS SOUS 860601 HAS SOUPS 860601 WITH SCORE 861712.607
AT ITER 3322 NEW BEST:: SOT 5331133 SOS 1111591 HAS SOPS 1111591 HAS SOUS 860585 HAS SOUPS 860585 WITH SCORE 861696.591
AT ITER 3353 NEW BEST:: SOT 5330954 SOS 1111232 HAS SOPS 1111232 HAS SOUS 860142 HAS SOUPS 860142 WITH SCORE 861253.232
AT ITER 3355 NEW BEST:: SOT 5330944 SOS 1111222 HAS SOPS 1111222 HAS SOUS 860132 HAS SOUPS 860132 WITH SCORE 861243.222
AT ITER 3392 NEW BEST:: SOT 5330448 SOS 1110722 HAS SOPS 1110722 HAS SOUS 859630 HAS SOUPS 859630 WITH SCORE 860740.722
AT ITER 3414 NEW BEST:: SOT 5330299 SOS 1110280 HAS SOPS 1110280 HAS SOUS 859332 HAS SOUPS 859332 WITH SCORE 860442.28
AT ITER 3418 NEW BEST:: SOT 5330267 SOS 1110248 HAS SOPS 1110248 HAS SOUS 859300 HAS SOUPS 859300 WITH SCORE 860410.248
AT ITER 3439 NEW BEST:: SOT 5329912 SOS 1109901 HAS SOPS 1109901 HAS SOUS 858950 HAS SOUPS 858950 WITH SCORE 860059.901
AT ITER 3441 NEW BEST:: SOT 5329908 SOS 1109893 HAS SOPS 1109893 HAS SOUS 858946 HAS SOUPS 858946 WITH SCORE 860055.893
AT ITER 3447 NEW BEST:: SOT 5329803 SOS 1109305 HAS SOPS 1109305 HAS SOUS 858841 HAS SOUPS 858841 WITH SCORE 859950.305
AT ITER 3475 NEW BEST:: SOT 5329613 SOS 1109461 HAS SOPS 1109461 HAS SOUS 858651 HAS SOUPS 858651 WITH SCORE 859760.461
AT ITER 3496 NEW BEST:: SOT 5329540 SOS 1109336 HAS SOPS 1109336 HAS SOUS 858526 HAS SOUPS 858526 WITH SCORE 859635.336
AT ITER 3503 NEW BEST:: SOT 5326918 SOS 1106714 HAS SOPS 1106714 HAS SOUS 855712 HAS SOUPS 855712 WITH SCORE 856818.714
AT ITER 3533 NEW BEST:: SOT 5326918 SOS 1106588 HAS SOPS 1106588 HAS SOUS 855586 HAS SOUPS 855586 WITH SCORE 856692.588
AT ITER 3534 NEW BEST:: SOT 5326879 SOS 1106783 HAS SOPS 1106783 HAS SOUS 855547 HAS SOUPS 855547 WITH SCORE 856653.783
AT ITER 3612 NEW BEST:: SOT 5326747 SOS 1106287 HAS SOPS 1106287 HAS SOUS 853604 HAS SOUPS 853604 WITH SCORE 854710.287
AT ITER 3625 NEW BEST:: SOT 5326560 SOS 1105890 HAS SOPS 1105890 HAS SOUS 853207 HAS SOUPS 853207 WITH SCORE 854312.89
AT ITER 3628 NEW BEST:: SOT 5326560 SOS 1105842 HAS SOPS 1105842 HAS SOUS 853159 HAS SOUPS 853159 WITH SCORE 854264.842
AT ITER 3636 NEW BEST:: SOT 5326382 SOS 1105486 HAS SOPS 1105486 HAS SOUS 852803 HAS SOUPS 852803 WITH SCORE 853908.486
AT ITER 3652 NEW BEST:: SOT 5326025 SOS 1105308 HAS SOPS 1105308 HAS SOUS 852625 HAS SOUPS 852625 WITH SCORE 853730.308
AT ITER 3684 NEW BEST:: SOT 5325893 SOS 1105161 HAS SOPS 1105161 HAS SOUS 852493 HAS SOUPS 852493 WITH SCORE 853598.161
AT ITER 3754 NEW BEST:: SOT 5325475 SOS 1104725 HAS SOPS 1104725 HAS SOUS 852475 HAS SOUPS 852475 WITH SCORE 853579.725
AT ITER 3790 NEW BEST:: SOT 5323128 SOS 1102762 HAS SOPS 1102762 HAS SOUS 852089 HAS SOUPS 852089 WITH SCORE 853191.762
AT ITER 3794 NEW BEST:: SOT 5322873 SOS 1102251 HAS SOPS 1102251 HAS SOUS 851578 HAS SOUPS 851578 WITH SCORE 852680.251
AT ITER 3808 NEW BEST:: SOT 5322816 SOS 1101469 HAS SOPS 1101469 HAS SOUS 851312 HAS SOUPS 851312 WITH SCORE 852413.469
AT ITER 3814 NEW BEST:: SOT 5322696 SOS 1101229 HAS SOPS 1101229 HAS SOUS 851192 HAS SOUPS 851192 WITH SCORE 852293.229
AT ITER 3818 NEW BEST:: SOT 5322366 SOS 1103169 HAS SOPS 1103169 HAS SOUS 851034 HAS SOUPS 851034 WITH SCORE 852137.169
AT ITER 3836 NEW BEST:: SOT 5322339 SOS 1103175 HAS SOPS 1103175 HAS SOUS 850980 HAS SOUPS 850980 WITH SCORE 852083.175
AT ITER 3872 NEW BEST:: SOT 5320824 SOS 1101727 HAS SOPS 1101727 HAS SOUS 849706 HAS SOUPS 849706 WITH SCORE 850807.727
AT ITER 3890 NEW BEST:: SOT 5320747 SOS 1101516 HAS SOPS 1101516 HAS SOUS 849495 HAS SOUPS 849495 WITH SCORE 850596.516
AT ITER 3904 NEW BEST:: SOT 5320736 SOS 1101494 HAS SOPS 1101494 HAS SOUS 849473 HAS SOUPS 849473 WITH SCORE 850574.494
AT ITER 3937 NEW BEST:: SOT 5320731 SOS 1101488 HAS SOPS 1101488 HAS SOUS 849467 HAS SOUPS 849467 WITH SCORE 850568.488
AT ITER 3938 NEW BEST:: SOT 5320563 SOS 1101292 HAS SOPS 1101292 HAS SOUS 849294 HAS SOUPS 849294 WITH SCORE 850395.292
AT ITER 3950 NEW BEST:: SOT 5320563 SOS 1101292 HAS SOPS 1101292 HAS SOUS 849257 HAS SOUPS 849257 WITH SCORE 850358.292
AT ITER 4009 NEW BEST:: SOT 5320563 SOS 1101204 HAS SOPS 1101204 HAS SOUS 849257 HAS SOUPS 849257 WITH SCORE 850358.204
AT ITER 4011 NEW BEST:: SOT 5320563 SOS 1101172 HAS SOPS 1101172 HAS SOUS 849225 HAS SOUPS 849225 WITH SCORE 850326.172
AT ITER 4036 NEW BEST:: SOT 5320392 SOS 1100504 HAS SOPS 1100504 HAS SOUS 848983 HAS SOUPS 848983 WITH SCORE 850083.504
AT ITER 4039 NEW BEST:: SOT 5320352 SOS 1100384 HAS SOPS 1100384 HAS SOUS 848959 HAS SOUPS 848959 WITH SCORE 850059.384
AT ITER 4054 NEW BEST:: SOT 5320350 SOS 1100386 HAS SOPS 1100386 HAS SOUS 848957 HAS SOUPS 848957 WITH SCORE 850057.386
AT ITER 4060 NEW BEST:: SOT 5320350 SOS 1100248 HAS SOPS 1100248 HAS SOUS 848957 HAS SOUPS 848957 WITH SCORE 850057.248
AT ITER 4081 NEW BEST:: SOT 5320350 SOS 1100245 HAS SOPS 1100245 HAS SOUS 848951 HAS SOUPS 848951 WITH SCORE 850051.245
AT ITER 4085 NEW BEST:: SOT 5320225 SOS 1100063 HAS SOPS 1100063 HAS SOUS 848769 HAS SOUPS 848769 WITH SCORE 849869.063
AT ITER 4103 NEW BEST:: SOT 5320225 SOS 1099919 HAS SOPS 1099919 HAS SOUS 848745 HAS SOUPS 848745 WITH SCORE 849844.919
AT ITER 4111 NEW BEST:: SOT 5320148 SOS 1099765 HAS SOPS 1099765 HAS SOUS 848591 HAS SOUPS 848591 WITH SCORE 849690.765
AT ITER 4136 NEW BEST:: SOT 5320148 SOS 1099406 HAS SOPS 1099406 HAS SOUS 848232 HAS SOUPS 848232 WITH SCORE 849331.406
AT ITER 4151 NEW BEST:: SOT 5319669 SOS 1098955 HAS SOPS 1098955 HAS SOUS 847781 HAS SOUPS 847781 WITH SCORE 848879.955
AT ITER 4158 NEW BEST:: SOT 5319658 SOS 1098944 HAS SOPS 1098944 HAS SOUS 847770 HAS SOUPS 847770 WITH SCORE 848868.944
AT ITER 4182 NEW BEST:: SOT 5319529 SOS 1098942 HAS SOPS 1098942 HAS SOUS 847768 HAS SOUPS 847768 WITH SCORE 848866.942
AT ITER 4193 NEW BEST:: SOT 5319497 SOS 1098923 HAS SOPS 1098923 HAS SOUS 847749 HAS SOUPS 847749 WITH SCORE 848847.923
AT ITER 4201 NEW BEST:: SOT 5319398 SOS 1098824 HAS SOPS 1098824 HAS SOUS 847650 HAS SOUPS 847650 WITH SCORE 848748.824
AT ITER 4238 NEW BEST:: SOT 5319398 SOS 1098820 HAS SOPS 1098820 HAS SOUS 847646 HAS SOUPS 847646 WITH SCORE 848744.82
AT ITER 4241 NEW BEST:: SOT 5319260 SOS 1098682 HAS SOPS 1098682 HAS SOUS 847502 HAS SOUPS 847502 WITH SCORE 848600.682
AT ITER 4256 NEW BEST:: SOT 5319093 SOS 1098256 HAS SOPS 1098256 HAS SOUS 847358 HAS SOUPS 847358 WITH SCORE 848456.256
AT ITER 4260 NEW BEST:: SOT 5318923 SOS 1098086 HAS SOPS 1098086 HAS SOUS 846508 HAS SOUPS 846508 WITH SCORE 847606.086
AT ITER 4315 NEW BEST:: SOT 5318847 SOS 1096194 HAS SOPS 1096194 HAS SOUS 846356 HAS SOUPS 846356 WITH SCORE 847452.194
AT ITER 4322 NEW BEST:: SOT 5318544 SOS 1095558 HAS SOPS 1095558 HAS SOUS 846132 HAS SOUPS 846132 WITH SCORE 847227.558
AT ITER 4331 NEW BEST:: SOT 5318460 SOS 1095390 HAS SOPS 1095390 HAS SOUS 845964 HAS SOUPS 845964 WITH SCORE 847059.39
AT ITER 4372 NEW BEST:: SOT 5317891 SOS 1094554 HAS SOPS 1094554 HAS SOUS 845128 HAS SOUPS 845128 WITH SCORE 846222.554
AT ITER 4385 NEW BEST:: SOT 5318036 SOS 1094775 HAS SOPS 1094775 HAS SOUS 845047 HAS SOUPS 845047 WITH SCORE 846141.775
AT ITER 4392 NEW BEST:: SOT 5317423 SOS 1097161 HAS SOPS 1097161 HAS SOUS 844674 HAS SOUPS 844674 WITH SCORE 845771.161
AT ITER 4398 NEW BEST:: SOT 5316573 SOS 1097545 HAS SOPS 1097545 HAS SOUS 844119 HAS SOUPS 844119 WITH SCORE 845216.545
AT ITER 4416 NEW BEST:: SOT 5316488 SOS 1097494 HAS SOPS 1097494 HAS SOUS 844066 HAS SOUPS 844066 WITH SCORE 845163.494
AT ITER 4431 NEW BEST:: SOT 5316280 SOS 1096939 HAS SOPS 1096939 HAS SOUS 843511 HAS SOUPS 843511 WITH SCORE 844607.939
AT ITER 4437 NEW BEST:: SOT 5316110 SOS 1096599 HAS SOPS 1096599 HAS SOUS 843171 HAS SOUPS 843171 WITH SCORE 844267.599
AT ITER 4454 NEW BEST:: SOT 5315723 SOS 1095884 HAS SOPS 1095884 HAS SOUS 839674 HAS SOUPS 839674 WITH SCORE 840769.884
AT ITER 4456 NEW BEST:: SOT 5315723 SOS 1095840 HAS SOPS 1095840 HAS SOUS 839674 HAS SOUPS 839674 WITH SCORE 840769.84
AT ITER 4457 NEW BEST:: SOT 5315428 SOS 1095711 HAS SOPS 1095711 HAS SOUS 839452 HAS SOUPS 839452 WITH SCORE 840547.711
AT ITER 4466 NEW BEST:: SOT 5315207 SOS 1095645 HAS SOPS 1095645 HAS SOUS 839386 HAS SOUPS 839386 WITH SCORE 840481.645
AT ITER 4468 NEW BEST:: SOT 5315031 SOS 1095275 HAS SOPS 1095275 HAS SOUS 839016 HAS SOUPS 839016 WITH SCORE 840111.275
AT ITER 4472 NEW BEST:: SOT 5315031 SOS 1095011 HAS SOPS 1095011 HAS SOUS 839016 HAS SOUPS 839016 WITH SCORE 840111.011
AT ITER 4481 NEW BEST:: SOT 5315031 SOS 1095011 HAS SOPS 1095011 HAS SOUS 838742 HAS SOUPS 838742 WITH SCORE 839837.011
AT ITER 4508 NEW BEST:: SOT 5315030 SOS 1094902 HAS SOPS 1094902 HAS SOUS 838740 HAS SOUPS 838740 WITH SCORE 839834.902
AT ITER 4511 NEW BEST:: SOT 5314888 SOS 1094711 HAS SOPS 1094711 HAS SOUS 838455 HAS SOUPS 838455 WITH SCORE 839549.711
AT ITER 4519 NEW BEST:: SOT 5314888 SOS 1094649 HAS SOPS 1094649 HAS SOUS 838393 HAS SOUPS 838393 WITH SCORE 839487.649
AT ITER 4554 NEW BEST:: SOT 5314778 SOS 1094430 HAS SOPS 1094430 HAS SOUS 838281 HAS SOUPS 838281 WITH SCORE 839375.43
AT ITER 4562 NEW BEST:: SOT 5314778 SOS 1094259 HAS SOPS 1094259 HAS SOUS 838110 HAS SOUPS 838110 WITH SCORE 839204.259
AT ITER 4601 NEW BEST:: SOT 5314774 SOS 1094255 HAS SOPS 1094255 HAS SOUS 838104 HAS SOUPS 838104 WITH SCORE 839198.255
AT ITER 4626 NEW BEST:: SOT 5314566 SOS 1094190 HAS SOPS 1094190 HAS SOUS 837885 HAS SOUPS 837885 WITH SCORE 838979.19
AT ITER 4669 NEW BEST:: SOT 5314566 SOS 1093962 HAS SOPS 1093962 HAS SOUS 837769 HAS SOUPS 837769 WITH SCORE 838862.962
AT ITER 4675 NEW BEST:: SOT 5314456 SOS 1093818 HAS SOPS 1093818 HAS SOUS 837625 HAS SOUPS 837625 WITH SCORE 838718.818
AT ITER 4732 NEW BEST:: SOT 5314452 SOS 1093806 HAS SOPS 1093806 HAS SOUS 837613 HAS SOUPS 837613 WITH SCORE 838706.806
AT ITER 4741 NEW BEST:: SOT 5314049 SOS 1093403 HAS SOPS 1093403 HAS SOUS 837209 HAS SOUPS 837209 WITH SCORE 838302.403
AT ITER 4751 NEW BEST:: SOT 5314049 SOS 1094772 HAS SOPS 1094772 HAS SOUS 837205 HAS SOUPS 837205 WITH SCORE 838299.772
AT ITER 4767 NEW BEST:: SOT 5313994 SOS 1094662 HAS SOPS 1094662 HAS SOUS 837150 HAS SOUPS 837150 WITH SCORE 838244.662
AT ITER 4777 NEW BEST:: SOT 5313957 SOS 1094625 HAS SOPS 1094625 HAS SOUS 837113 HAS SOUPS 837113 WITH SCORE 838207.625
AT ITER 4791 NEW BEST:: SOT 5313709 SOS 1094025 HAS SOPS 1094025 HAS SOUS 836617 HAS SOUPS 836617 WITH SCORE 837711.025
AT ITER 4811 NEW BEST:: SOT 5313413 SOS 1094071 HAS SOPS 1094071 HAS SOUS 836319 HAS SOUPS 836319 WITH SCORE 837413.071
AT ITER 4826 NEW BEST:: SOT 5312947 SOS 1093996 HAS SOPS 1093996 HAS SOUS 835649 HAS SOUPS 835649 WITH SCORE 836742.996
AT ITER 4827 NEW BEST:: SOT 5312904 SOS 1093910 HAS SOPS 1093910 HAS SOUS 835552 HAS SOUPS 835552 WITH SCORE 836645.91
AT ITER 4839 NEW BEST:: SOT 5312811 SOS 1093758 HAS SOPS 1093758 HAS SOUS 835019 HAS SOUPS 835019 WITH SCORE 836112.758
AT ITER 4849 NEW BEST:: SOT 5312933 SOS 1093886 HAS SOPS 1093886 HAS SOUS 834956 HAS SOUPS 834956 WITH SCORE 836049.886
AT ITER 4860 NEW BEST:: SOT 5312929 SOS 1093785 HAS SOPS 1093785 HAS SOUS 834899 HAS SOUPS 834899 WITH SCORE 835992.785
AT ITER 4891 NEW BEST:: SOT 5312249 SOS 1093423 HAS SOPS 1093423 HAS SOUS 834443 HAS SOUPS 834443 WITH SCORE 835536.423
AT ITER 4896 NEW BEST:: SOT 5310828 SOS 1092001 HAS SOPS 1092001 HAS SOUS 833021 HAS SOUPS 833021 WITH SCORE 834113.001
AT ITER 4899 NEW BEST:: SOT 5310562 SOS 1091751 HAS SOPS 1091751 HAS SOUS 832757 HAS SOUPS 832757 WITH SCORE 833848.751
AT ITER 4910 NEW BEST:: SOT 5310390 SOS 1091818 HAS SOPS 1091818 HAS SOUS 832520 HAS SOUPS 832520 WITH SCORE 833611.818
AT ITER 4940 NEW BEST:: SOT 5310214 SOS 1091466 HAS SOPS 1091466 HAS SOUS 832168 HAS SOUPS 832168 WITH SCORE 833259.466
AT ITER 4950 NEW BEST:: SOT 5309873 SOS 1091328 HAS SOPS 1091328 HAS SOUS 832011 HAS SOUPS 832011 WITH SCORE 833102.328
AT ITER 4981 NEW BEST:: SOT 5309873 SOS 1091182 HAS SOPS 1091182 HAS SOUS 832007 HAS SOUPS 832007 WITH SCORE 833098.182
AT ITER 4990 NEW BEST:: SOT 5309873 SOS 1091090 HAS SOPS 1091090 HAS SOUS 832007 HAS SOUPS 832007 WITH SCORE 833098.09
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ASLink-PT-06b-CTLCardinality-00 ( ( (EF(potential( ( 2 ) <= (tk(P1360)) ))) & ( ( ( potential( ( 1 ) <= (tk(P1360)) ) | potential( (tk(P303)) <= (tk(P1552)) ) ) | ( potential( ( 2 ) <= (tk(P1774)) ) & potential( (tk(P1656)) <= (tk(P2768)) ) ) ) | ( ( potential( (tk(P796)) <= (tk(P854)) ) | potential( ( 3 ) <= (tk(P1530)) ) ) & ( potential( ( 3 ) <= (tk(P336)) ) | potential( (tk(P2363)) <= (tk(P795)) ) ) ) ) ) & ( potential( (tk(P616)) <= (tk(P550)) ) | potential( ( 3 ) <= (tk(P1475)) ) ) )
PROPERTY: ASLink-PT-06b-CTLCardinality-01 (! (EF(( potential( ( 1 ) <= (tk(P2680)) ) & potential( ( 2 ) <= (tk(P824)) ) ))))
PROPERTY: ASLink-PT-06b-CTLCardinality-02 ( ( (AU( potential( ( 1 ) <= (tk(P858)) ),potential( (tk(P227)) <= (tk(P2080)) ) )) & ( ( potential( (tk(P2378)) <= (tk(P2567)) ) | (! potential( ( 1 ) <= (tk(P2231)) )) ) | (AX( potential( ( 3 ) <= (tk(P2226)) ))) ) ) & (EF(( potential( (tk(P604)) <= (tk(P1925)) ) & potential( ( 3 ) <= (tk(P523)) ) ))) )
PROPERTY: ASLink-PT-06b-CTLCardinality-03 (AG( (EF(potential( ( 1 ) <= (tk(P355)) )))))
PROPERTY: ASLink-PT-06b-CTLCardinality-04 (AU( (EF(potential( (tk(P882)) <= (tk(P299)) ))),( ( potential( ( 3 ) <= (tk(P2180)) ) & potential( ( 2 ) <= (tk(P1962)) ) ) & ( potential( (tk(P1603)) <= (tk(P1280)) ) & potential( ( 2 ) <= (tk(P301)) ) ) ) ))
PROPERTY: ASLink-PT-06b-CTLCardinality-05 (! (EF((AF(potential( ( 2 ) <= (tk(P2608)) ))))))
PROPERTY: ASLink-PT-06b-CTLCardinality-06 (AF((EG( ( potential( ( 3 ) <= (tk(P1659)) ) & potential( (tk(P845)) <= (tk(P332)) ) )))))
PROPERTY: ASLink-PT-06b-CTLCardinality-07 (EU( potential( (tk(P1668)) <= (tk(P1575)) ),( ( potential( ( 3 ) <= (tk(P1437)) ) | potential( (tk(P1772)) <= (tk(P1726)) ) ) & potential( ( 2 ) <= (tk(P1478)) ) ) ))
PROPERTY: ASLink-PT-06b-CTLCardinality-08 (! (AF((AF(potential( ( 3 ) <= (tk(P2467)) ))))))
PROPERTY: ASLink-PT-06b-CTLCardinality-09 (EF((EX( ( potential( (tk(P253)) <= (tk(P154)) ) & potential( ( 1 ) <= (tk(P2668)) ) )))))
PROPERTY: ASLink-PT-06b-CTLCardinality-10 (AU( ( ( potential( ( 2 ) <= (tk(P5)) ) | potential( (tk(P1080)) <= (tk(P2463)) ) ) | ( potential( (tk(P1208)) <= (tk(P2313)) ) | potential( (tk(P119)) <= (tk(P2401)) ) ) ),(AX( potential( ( 1 ) <= (tk(P1955)) ))) ))
PROPERTY: ASLink-PT-06b-CTLCardinality-11 (AF(( potential( ( 3 ) <= (tk(P2559)) ) & (! ( potential( (tk(P2750)) <= (tk(P1781)) ) | potential( ( 1 ) <= (tk(P900)) ) )) )))
PROPERTY: ASLink-PT-06b-CTLCardinality-12 (EF((EF(( potential( ( 2 ) <= (tk(P2498)) ) & potential( ( 2 ) <= (tk(P669)) ) )))))
PROPERTY: ASLink-PT-06b-CTLCardinality-13 (! (AX( (EG( potential( (tk(P247)) <= (tk(P1663)) ))))))
PROPERTY: ASLink-PT-06b-CTLCardinality-14 (AX( (! (AF(potential( ( 1 ) <= (tk(P2630)) ))))))
PROPERTY: ASLink-PT-06b-CTLCardinality-15 ( (AG( (EG( potential( (tk(P2641)) <= (tk(P526)) ))))) | (AX( (AG( potential( ( 3 ) <= (tk(P166)) ))))) )

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="ASLink-PT-06b"
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 ASLink-PT-06b, 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 r003-smll-158897508100099"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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