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-158902542000307.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 DES-PT-50a, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542000307
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 264K
-rw-r--r-- 1 mcc users 2.7K Mar 30 01:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 30 01:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 28 16:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 28 16:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.0K Apr 8 14:48 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:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 27 08:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 08:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 26 08:18 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 26 08:18 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K 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 97K 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 DES-PT-50a-CTLCardinality-00
FORMULA_NAME DES-PT-50a-CTLCardinality-01
FORMULA_NAME DES-PT-50a-CTLCardinality-02
FORMULA_NAME DES-PT-50a-CTLCardinality-03
FORMULA_NAME DES-PT-50a-CTLCardinality-04
FORMULA_NAME DES-PT-50a-CTLCardinality-05
FORMULA_NAME DES-PT-50a-CTLCardinality-06
FORMULA_NAME DES-PT-50a-CTLCardinality-07
FORMULA_NAME DES-PT-50a-CTLCardinality-08
FORMULA_NAME DES-PT-50a-CTLCardinality-09
FORMULA_NAME DES-PT-50a-CTLCardinality-10
FORMULA_NAME DES-PT-50a-CTLCardinality-11
FORMULA_NAME DES-PT-50a-CTLCardinality-12
FORMULA_NAME DES-PT-50a-CTLCardinality-13
FORMULA_NAME DES-PT-50a-CTLCardinality-14
FORMULA_NAME DES-PT-50a-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589110164519

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 50a
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: 314 places, 271 transitions, 1306 arcs.
AT ITER 0 NEW BEST:: SOT 72836 SOS 68600 HAS SOPS 68600 HAS SOUS 35953 HAS SOUPS 35953 WITH SCORE 36021.6
AT ITER 2 NEW BEST:: SOT 72680 SOS 68565 HAS SOPS 68565 HAS SOUS 35918 HAS SOUPS 35918 WITH SCORE 35986.565
AT ITER 47 NEW BEST:: SOT 72537 SOS 68423 HAS SOPS 68423 HAS SOUS 35776 HAS SOUPS 35776 WITH SCORE 35844.423
AT ITER 57 NEW BEST:: SOT 72490 SOS 68376 HAS SOPS 68376 HAS SOUS 35772 HAS SOUPS 35772 WITH SCORE 35840.376
AT ITER 58 NEW BEST:: SOT 72384 SOS 68357 HAS SOPS 68357 HAS SOUS 35717 HAS SOUPS 35717 WITH SCORE 35785.357
AT ITER 66 NEW BEST:: SOT 72230 SOS 68209 HAS SOPS 68209 HAS SOUS 35578 HAS SOUPS 35578 WITH SCORE 35646.209
AT ITER 67 NEW BEST:: SOT 72227 SOS 68206 HAS SOPS 68206 HAS SOUS 35577 HAS SOUPS 35577 WITH SCORE 35645.206
AT ITER 78 NEW BEST:: SOT 72077 SOS 68047 HAS SOPS 68047 HAS SOUS 35418 HAS SOUPS 35418 WITH SCORE 35486.047
AT ITER 81 NEW BEST:: SOT 71735 SOS 67698 HAS SOPS 67698 HAS SOUS 35090 HAS SOUPS 35090 WITH SCORE 35157.698
AT ITER 87 NEW BEST:: SOT 72025 SOS 67745 HAS SOPS 67745 HAS SOUS 34941 HAS SOUPS 34941 WITH SCORE 35008.745
AT ITER 113 NEW BEST:: SOT 72021 SOS 67741 HAS SOPS 67741 HAS SOUS 34937 HAS SOUPS 34937 WITH SCORE 35004.741
AT ITER 121 NEW BEST:: SOT 71999 SOS 67719 HAS SOPS 67719 HAS SOUS 34862 HAS SOUPS 34862 WITH SCORE 34929.719
AT ITER 123 NEW BEST:: SOT 71905 SOS 67625 HAS SOPS 67625 HAS SOUS 34767 HAS SOUPS 34767 WITH SCORE 34834.625
AT ITER 129 NEW BEST:: SOT 71931 SOS 67651 HAS SOPS 67651 HAS SOUS 34761 HAS SOUPS 34761 WITH SCORE 34828.651
AT ITER 134 NEW BEST:: SOT 71477 SOS 67197 HAS SOPS 67197 HAS SOUS 34306 HAS SOUPS 34306 WITH SCORE 34373.197
AT ITER 141 NEW BEST:: SOT 71363 SOS 67176 HAS SOPS 67176 HAS SOUS 34284 HAS SOUPS 34284 WITH SCORE 34351.176
AT ITER 148 NEW BEST:: SOT 71322 SOS 67135 HAS SOPS 67135 HAS SOUS 34242 HAS SOUPS 34242 WITH SCORE 34309.135
AT ITER 175 NEW BEST:: SOT 67387 SOS 63389 HAS SOPS 63389 HAS SOUS 30485 HAS SOUPS 30485 WITH SCORE 30548.389
AT ITER 187 NEW BEST:: SOT 67397 SOS 63400 HAS SOPS 63400 HAS SOUS 30386 HAS SOUPS 30386 WITH SCORE 30449.4
AT ITER 201 NEW BEST:: SOT 67382 SOS 63252 HAS SOPS 63252 HAS SOUS 30248 HAS SOUPS 30248 WITH SCORE 30311.252
AT ITER 211 NEW BEST:: SOT 67360 SOS 63230 HAS SOPS 63230 HAS SOUS 30247 HAS SOUPS 30247 WITH SCORE 30310.23
AT ITER 216 NEW BEST:: SOT 67276 SOS 63146 HAS SOPS 63146 HAS SOUS 30242 HAS SOUPS 30242 WITH SCORE 30305.146
AT ITER 221 NEW BEST:: SOT 67310 SOS 63202 HAS SOPS 63202 HAS SOUS 30187 HAS SOUPS 30187 WITH SCORE 30250.202
AT ITER 248 NEW BEST:: SOT 67310 SOS 63205 HAS SOPS 63205 HAS SOUS 30177 HAS SOUPS 30177 WITH SCORE 30240.205
AT ITER 251 NEW BEST:: SOT 67152 SOS 63047 HAS SOPS 63047 HAS SOUS 30167 HAS SOUPS 30167 WITH SCORE 30230.047
AT ITER 255 NEW BEST:: SOT 67152 SOS 63047 HAS SOPS 63047 HAS SOUS 30166 HAS SOUPS 30166 WITH SCORE 30229.047
AT ITER 256 NEW BEST:: SOT 67152 SOS 62817 HAS SOPS 62817 HAS SOUS 30164 HAS SOUPS 30164 WITH SCORE 30226.817
AT ITER 260 NEW BEST:: SOT 67194 SOS 62690 HAS SOPS 62690 HAS SOUS 30018 HAS SOUPS 30018 WITH SCORE 30080.69
AT ITER 286 NEW BEST:: SOT 66882 SOS 62378 HAS SOPS 62378 HAS SOUS 29913 HAS SOUPS 29913 WITH SCORE 29975.378
AT ITER 287 NEW BEST:: SOT 66882 SOS 62377 HAS SOPS 62377 HAS SOUS 29912 HAS SOUPS 29912 WITH SCORE 29974.377
AT ITER 288 NEW BEST:: SOT 66877 SOS 62372 HAS SOPS 62372 HAS SOUS 29906 HAS SOUPS 29906 WITH SCORE 29968.372
AT ITER 310 NEW BEST:: SOT 66505 SOS 61758 HAS SOPS 61758 HAS SOUS 29548 HAS SOUPS 29548 WITH SCORE 29609.758
AT ITER 354 NEW BEST:: SOT 66361 SOS 61614 HAS SOPS 61614 HAS SOUS 29438 HAS SOUPS 29438 WITH SCORE 29499.614
AT ITER 398 NEW BEST:: SOT 66358 SOS 61611 HAS SOPS 61611 HAS SOUS 29434 HAS SOUPS 29434 WITH SCORE 29495.611
AT ITER 407 NEW BEST:: SOT 66332 SOS 61576 HAS SOPS 61576 HAS SOUS 29425 HAS SOUPS 29425 WITH SCORE 29486.576
AT ITER 417 NEW BEST:: SOT 66194 SOS 61438 HAS SOPS 61438 HAS SOUS 29286 HAS SOUPS 29286 WITH SCORE 29347.438
AT ITER 420 NEW BEST:: SOT 66177 SOS 61421 HAS SOPS 61421 HAS SOUS 29268 HAS SOUPS 29268 WITH SCORE 29329.421
AT ITER 428 NEW BEST:: SOT 66133 SOS 61377 HAS SOPS 61377 HAS SOUS 29224 HAS SOUPS 29224 WITH SCORE 29285.377
AT ITER 430 NEW BEST:: SOT 66133 SOS 61377 HAS SOPS 61377 HAS SOUS 29223 HAS SOUPS 29223 WITH SCORE 29284.377
AT ITER 442 NEW BEST:: SOT 66133 SOS 61377 HAS SOPS 61377 HAS SOUS 29216 HAS SOUPS 29216 WITH SCORE 29277.377
AT ITER 443 NEW BEST:: SOT 65739 SOS 61000 HAS SOPS 61000 HAS SOUS 29034 HAS SOUPS 29034 WITH SCORE 29095.0
AT ITER 453 NEW BEST:: SOT 65643 SOS 60905 HAS SOPS 60905 HAS SOUS 28871 HAS SOUPS 28871 WITH SCORE 28931.905
AT ITER 462 NEW BEST:: SOT 65643 SOS 60905 HAS SOPS 60905 HAS SOUS 28870 HAS SOUPS 28870 WITH SCORE 28930.905
AT ITER 474 NEW BEST:: SOT 65676 SOS 60938 HAS SOPS 60938 HAS SOUS 28852 HAS SOUPS 28852 WITH SCORE 28912.938
AT ITER 487 NEW BEST:: SOT 65677 SOS 60939 HAS SOPS 60939 HAS SOUS 28813 HAS SOUPS 28813 WITH SCORE 28873.939
AT ITER 495 NEW BEST:: SOT 65981 SOS 60659 HAS SOPS 60659 HAS SOUS 28800 HAS SOUPS 28800 WITH SCORE 28860.659
AT ITER 515 NEW BEST:: SOT 65939 SOS 60605 HAS SOPS 60605 HAS SOUS 28746 HAS SOUPS 28746 WITH SCORE 28806.605
AT ITER 521 NEW BEST:: SOT 65893 SOS 60559 HAS SOPS 60559 HAS SOUS 28677 HAS SOUPS 28677 WITH SCORE 28737.559
AT ITER 529 NEW BEST:: SOT 65877 SOS 60513 HAS SOPS 60513 HAS SOUS 28631 HAS SOUPS 28631 WITH SCORE 28691.513
AT ITER 531 NEW BEST:: SOT 65851 SOS 60492 HAS SOPS 60492 HAS SOUS 28604 HAS SOUPS 28604 WITH SCORE 28664.492
AT ITER 538 NEW BEST:: SOT 65845 SOS 60486 HAS SOPS 60486 HAS SOUS 28586 HAS SOUPS 28586 WITH SCORE 28646.486
AT ITER 542 NEW BEST:: SOT 65874 SOS 60484 HAS SOPS 60484 HAS SOUS 28584 HAS SOUPS 28584 WITH SCORE 28644.484
AT ITER 546 NEW BEST:: SOT 65812 SOS 60422 HAS SOPS 60422 HAS SOUS 28521 HAS SOUPS 28521 WITH SCORE 28581.422
AT ITER 551 NEW BEST:: SOT 65812 SOS 60422 HAS SOPS 60422 HAS SOUS 28510 HAS SOUPS 28510 WITH SCORE 28570.422
AT ITER 557 NEW BEST:: SOT 65809 SOS 60419 HAS SOPS 60419 HAS SOUS 28504 HAS SOUPS 28504 WITH SCORE 28564.419
AT ITER 563 NEW BEST:: SOT 65761 SOS 60626 HAS SOPS 60626 HAS SOUS 28459 HAS SOUPS 28459 WITH SCORE 28519.626
AT ITER 566 NEW BEST:: SOT 65617 SOS 60215 HAS SOPS 60215 HAS SOUS 28260 HAS SOUPS 28260 WITH SCORE 28320.215
AT ITER 567 NEW BEST:: SOT 65430 SOS 60028 HAS SOPS 60028 HAS SOUS 28073 HAS SOUPS 28073 WITH SCORE 28133.028
AT ITER 575 NEW BEST:: SOT 64454 SOS 59052 HAS SOPS 59052 HAS SOUS 27086 HAS SOUPS 27086 WITH SCORE 27145.052
AT ITER 584 NEW BEST:: SOT 62680 SOS 57278 HAS SOPS 57278 HAS SOUS 25311 HAS SOUPS 25311 WITH SCORE 25368.278
AT ITER 589 NEW BEST:: SOT 62627 SOS 57225 HAS SOPS 57225 HAS SOUS 25207 HAS SOUPS 25207 WITH SCORE 25264.225
AT ITER 592 NEW BEST:: SOT 62635 SOS 57356 HAS SOPS 57356 HAS SOUS 25085 HAS SOUPS 25085 WITH SCORE 25142.356
AT ITER 619 NEW BEST:: SOT 62632 SOS 57365 HAS SOPS 57365 HAS SOUS 25078 HAS SOUPS 25078 WITH SCORE 25135.365
AT ITER 621 NEW BEST:: SOT 62524 SOS 57425 HAS SOPS 57425 HAS SOUS 24895 HAS SOUPS 24895 WITH SCORE 24952.425
AT ITER 622 NEW BEST:: SOT 62523 SOS 57424 HAS SOPS 57424 HAS SOUS 24893 HAS SOUPS 24893 WITH SCORE 24950.424
AT ITER 627 NEW BEST:: SOT 61733 SOS 56634 HAS SOPS 56634 HAS SOUS 24735 HAS SOUPS 24735 WITH SCORE 24791.634
AT ITER 629 NEW BEST:: SOT 61731 SOS 56632 HAS SOPS 56632 HAS SOUS 24733 HAS SOUPS 24733 WITH SCORE 24789.632
AT ITER 643 NEW BEST:: SOT 61731 SOS 56570 HAS SOPS 56570 HAS SOUS 24733 HAS SOUPS 24733 WITH SCORE 24789.57
AT ITER 655 NEW BEST:: SOT 61717 SOS 56556 HAS SOPS 56556 HAS SOUS 24653 HAS SOUPS 24653 WITH SCORE 24709.556
AT ITER 657 NEW BEST:: SOT 61595 SOS 56434 HAS SOPS 56434 HAS SOUS 24531 HAS SOUPS 24531 WITH SCORE 24587.434
AT ITER 662 NEW BEST:: SOT 61564 SOS 56417 HAS SOPS 56417 HAS SOUS 24519 HAS SOUPS 24519 WITH SCORE 24575.417
AT ITER 665 NEW BEST:: SOT 61563 SOS 56416 HAS SOPS 56416 HAS SOUS 24517 HAS SOUPS 24517 WITH SCORE 24573.416
AT ITER 668 NEW BEST:: SOT 61508 SOS 56361 HAS SOPS 56361 HAS SOUS 24507 HAS SOUPS 24507 WITH SCORE 24563.361
AT ITER 678 NEW BEST:: SOT 61508 SOS 56398 HAS SOPS 56398 HAS SOUS 24504 HAS SOUPS 24504 WITH SCORE 24560.398
AT ITER 691 NEW BEST:: SOT 61498 SOS 56410 HAS SOPS 56410 HAS SOUS 24479 HAS SOUPS 24479 WITH SCORE 24535.41
AT ITER 694 NEW BEST:: SOT 61407 SOS 56343 HAS SOPS 56343 HAS SOUS 24412 HAS SOUPS 24412 WITH SCORE 24468.343
AT ITER 702 NEW BEST:: SOT 61380 SOS 56316 HAS SOPS 56316 HAS SOUS 24385 HAS SOUPS 24385 WITH SCORE 24441.316
AT ITER 704 NEW BEST:: SOT 61380 SOS 56316 HAS SOPS 56316 HAS SOUS 24379 HAS SOUPS 24379 WITH SCORE 24435.316
AT ITER 709 NEW BEST:: SOT 61327 SOS 56263 HAS SOPS 56263 HAS SOUS 24325 HAS SOUPS 24325 WITH SCORE 24381.263
AT ITER 715 NEW BEST:: SOT 61315 SOS 56251 HAS SOPS 56251 HAS SOUS 24320 HAS SOUPS 24320 WITH SCORE 24376.251
AT ITER 717 NEW BEST:: SOT 59265 SOS 54201 HAS SOPS 54201 HAS SOUS 22270 HAS SOUPS 22270 WITH SCORE 22324.201
AT ITER 720 NEW BEST:: SOT 59202 SOS 54117 HAS SOPS 54117 HAS SOUS 22228 HAS SOUPS 22228 WITH SCORE 22282.117
AT ITER 723 NEW BEST:: SOT 59202 SOS 54118 HAS SOPS 54118 HAS SOUS 22193 HAS SOUPS 22193 WITH SCORE 22247.118
AT ITER 728 NEW BEST:: SOT 59050 SOS 53966 HAS SOPS 53966 HAS SOUS 22041 HAS SOUPS 22041 WITH SCORE 22094.966
AT ITER 737 NEW BEST:: SOT 59041 SOS 53957 HAS SOPS 53957 HAS SOUS 22035 HAS SOUPS 22035 WITH SCORE 22088.957
AT ITER 740 NEW BEST:: SOT 59029 SOS 53945 HAS SOPS 53945 HAS SOUS 22023 HAS SOUPS 22023 WITH SCORE 22076.945
AT ITER 743 NEW BEST:: SOT 58979 SOS 53895 HAS SOPS 53895 HAS SOUS 21933 HAS SOUPS 21933 WITH SCORE 21986.895
AT ITER 755 NEW BEST:: SOT 57007 SOS 51923 HAS SOPS 51923 HAS SOUS 19912 HAS SOUPS 19912 WITH SCORE 19963.923
AT ITER 774 NEW BEST:: SOT 57007 SOS 51938 HAS SOPS 51938 HAS SOUS 19853 HAS SOUPS 19853 WITH SCORE 19904.938
AT ITER 782 NEW BEST:: SOT 56941 SOS 51872 HAS SOPS 51872 HAS SOUS 19761 HAS SOUPS 19761 WITH SCORE 19812.872
AT ITER 784 NEW BEST:: SOT 56934 SOS 51882 HAS SOPS 51882 HAS SOUS 19731 HAS SOUPS 19731 WITH SCORE 19782.882
AT ITER 787 NEW BEST:: SOT 56933 SOS 51881 HAS SOPS 51881 HAS SOUS 19729 HAS SOUPS 19729 WITH SCORE 19780.881
AT ITER 792 NEW BEST:: SOT 56903 SOS 51851 HAS SOPS 51851 HAS SOUS 19669 HAS SOUPS 19669 WITH SCORE 19720.851
AT ITER 793 NEW BEST:: SOT 56894 SOS 51842 HAS SOPS 51842 HAS SOUS 19659 HAS SOUPS 19659 WITH SCORE 19710.842
AT ITER 799 NEW BEST:: SOT 56876 SOS 51824 HAS SOPS 51824 HAS SOUS 19623 HAS SOUPS 19623 WITH SCORE 19674.824
AT ITER 816 NEW BEST:: SOT 56876 SOS 51824 HAS SOPS 51824 HAS SOUS 19622 HAS SOUPS 19622 WITH SCORE 19673.824
AT ITER 832 NEW BEST:: SOT 56848 SOS 51783 HAS SOPS 51783 HAS SOUS 19586 HAS SOUPS 19586 WITH SCORE 19637.783
AT ITER 845 NEW BEST:: SOT 56848 SOS 51783 HAS SOPS 51783 HAS SOUS 19575 HAS SOUPS 19575 WITH SCORE 19626.783
AT ITER 852 NEW BEST:: SOT 56769 SOS 51704 HAS SOPS 51704 HAS SOUS 19409 HAS SOUPS 19409 WITH SCORE 19460.704
AT ITER 854 NEW BEST:: SOT 56744 SOS 51679 HAS SOPS 51679 HAS SOUS 19399 HAS SOUPS 19399 WITH SCORE 19450.679
AT ITER 856 NEW BEST:: SOT 56682 SOS 51617 HAS SOPS 51617 HAS SOUS 19384 HAS SOUPS 19384 WITH SCORE 19435.617
AT ITER 861 NEW BEST:: SOT 54677 SOS 49612 HAS SOPS 49612 HAS SOUS 17378 HAS SOUPS 17378 WITH SCORE 17427.612
AT ITER 862 NEW BEST:: SOT 54677 SOS 49615 HAS SOPS 49615 HAS SOUS 17374 HAS SOUPS 17374 WITH SCORE 17423.615
AT ITER 867 NEW BEST:: SOT 54677 SOS 49615 HAS SOPS 49615 HAS SOUS 17301 HAS SOUPS 17301 WITH SCORE 17350.615
AT ITER 883 NEW BEST:: SOT 54677 SOS 49615 HAS SOPS 49615 HAS SOUS 17300 HAS SOUPS 17300 WITH SCORE 17349.615
AT ITER 892 NEW BEST:: SOT 54680 SOS 49658 HAS SOPS 49658 HAS SOUS 17266 HAS SOUPS 17266 WITH SCORE 17315.658
AT ITER 899 NEW BEST:: SOT 54609 SOS 49658 HAS SOPS 49658 HAS SOUS 17193 HAS SOUPS 17193 WITH SCORE 17242.658
AT ITER 926 NEW BEST:: SOT 54613 SOS 49662 HAS SOPS 49662 HAS SOUS 17148 HAS SOUPS 17148 WITH SCORE 17197.662
AT ITER 934 NEW BEST:: SOT 54612 SOS 49661 HAS SOPS 49661 HAS SOUS 17146 HAS SOUPS 17146 WITH SCORE 17195.661
AT ITER 949 NEW BEST:: SOT 54579 SOS 49628 HAS SOPS 49628 HAS SOUS 17143 HAS SOUPS 17143 WITH SCORE 17192.628
AT ITER 955 NEW BEST:: SOT 54566 SOS 49626 HAS SOPS 49626 HAS SOUS 17128 HAS SOUPS 17128 WITH SCORE 17177.626
AT ITER 960 NEW BEST:: SOT 54488 SOS 49545 HAS SOPS 49545 HAS SOUS 17047 HAS SOUPS 17047 WITH SCORE 17096.545
AT ITER 977 NEW BEST:: SOT 54488 SOS 49545 HAS SOPS 49545 HAS SOUS 17046 HAS SOUPS 17046 WITH SCORE 17095.545
AT ITER 984 NEW BEST:: SOT 54370 SOS 49427 HAS SOPS 49427 HAS SOUS 16927 HAS SOUPS 16927 WITH SCORE 16976.427
AT ITER 994 NEW BEST:: SOT 54370 SOS 49475 HAS SOPS 49475 HAS SOUS 16919 HAS SOUPS 16919 WITH SCORE 16968.475
AT ITER 1006 NEW BEST:: SOT 53914 SOS 49019 HAS SOPS 49019 HAS SOUS 16463 HAS SOUPS 16463 WITH SCORE 16512.019
AT ITER 1020 NEW BEST:: SOT 53905 SOS 49010 HAS SOPS 49010 HAS SOUS 16454 HAS SOUPS 16454 WITH SCORE 16503.01
AT ITER 1025 NEW BEST:: SOT 53909 SOS 49014 HAS SOPS 49014 HAS SOUS 16452 HAS SOUPS 16452 WITH SCORE 16501.014
AT ITER 1026 NEW BEST:: SOT 53880 SOS 48985 HAS SOPS 48985 HAS SOUS 16423 HAS SOUPS 16423 WITH SCORE 16471.985
AT ITER 1027 NEW BEST:: SOT 53790 SOS 48866 HAS SOPS 48866 HAS SOUS 16396 HAS SOUPS 16396 WITH SCORE 16444.866
AT ITER 1028 NEW BEST:: SOT 53789 SOS 48865 HAS SOPS 48865 HAS SOUS 16394 HAS SOUPS 16394 WITH SCORE 16442.865
AT ITER 1036 NEW BEST:: SOT 53792 SOS 48773 HAS SOPS 48773 HAS SOUS 16394 HAS SOUPS 16394 WITH SCORE 16442.773
AT ITER 1038 NEW BEST:: SOT 53792 SOS 48805 HAS SOPS 48805 HAS SOUS 16389 HAS SOUPS 16389 WITH SCORE 16437.805
AT ITER 1039 NEW BEST:: SOT 53617 SOS 48630 HAS SOPS 48630 HAS SOUS 16342 HAS SOUPS 16342 WITH SCORE 16390.63
AT ITER 1040 NEW BEST:: SOT 53617 SOS 48630 HAS SOPS 48630 HAS SOUS 16303 HAS SOUPS 16303 WITH SCORE 16351.63
AT ITER 1070 NEW BEST:: SOT 53616 SOS 48632 HAS SOPS 48632 HAS SOUS 16261 HAS SOUPS 16261 WITH SCORE 16309.632
AT ITER 1075 NEW BEST:: SOT 53546 SOS 48562 HAS SOPS 48562 HAS SOUS 16189 HAS SOUPS 16189 WITH SCORE 16237.562
AT ITER 1078 NEW BEST:: SOT 53532 SOS 48548 HAS SOPS 48548 HAS SOUS 16161 HAS SOUPS 16161 WITH SCORE 16209.548
AT ITER 1093 NEW BEST:: SOT 50963 SOS 45979 HAS SOPS 45979 HAS SOUS 13500 HAS SOUPS 13500 WITH SCORE 13545.979
AT ITER 1099 NEW BEST:: SOT 50950 SOS 45966 HAS SOPS 45966 HAS SOUS 13474 HAS SOUPS 13474 WITH SCORE 13519.966
AT ITER 1119 NEW BEST:: SOT 50827 SOS 45821 HAS SOPS 45821 HAS SOUS 13363 HAS SOUPS 13363 WITH SCORE 13408.821
AT ITER 1120 NEW BEST:: SOT 50827 SOS 45798 HAS SOPS 45798 HAS SOUS 13354 HAS SOUPS 13354 WITH SCORE 13399.798
AT ITER 1131 NEW BEST:: SOT 50787 SOS 45758 HAS SOPS 45758 HAS SOUS 13274 HAS SOUPS 13274 WITH SCORE 13319.758
AT ITER 1136 NEW BEST:: SOT 50781 SOS 45752 HAS SOPS 45752 HAS SOUS 13268 HAS SOUPS 13268 WITH SCORE 13313.752
AT ITER 1144 NEW BEST:: SOT 50739 SOS 45710 HAS SOPS 45710 HAS SOUS 13184 HAS SOUPS 13184 WITH SCORE 13229.71
AT ITER 1168 NEW BEST:: SOT 50743 SOS 45714 HAS SOPS 45714 HAS SOUS 13172 HAS SOUPS 13172 WITH SCORE 13217.714
AT ITER 1183 NEW BEST:: SOT 50744 SOS 45715 HAS SOPS 45715 HAS SOUS 13164 HAS SOUPS 13164 WITH SCORE 13209.715
AT ITER 1209 NEW BEST:: SOT 50744 SOS 45701 HAS SOPS 45701 HAS SOUS 13150 HAS SOUPS 13150 WITH SCORE 13195.701
AT ITER 1210 NEW BEST:: SOT 50711 SOS 45668 HAS SOPS 45668 HAS SOUS 13106 HAS SOUPS 13106 WITH SCORE 13151.668
AT ITER 1212 NEW BEST:: SOT 50731 SOS 45688 HAS SOPS 45688 HAS SOUS 13104 HAS SOUPS 13104 WITH SCORE 13149.688
AT ITER 1253 NEW BEST:: SOT 50668 SOS 45625 HAS SOPS 45625 HAS SOUS 12978 HAS SOUPS 12978 WITH SCORE 13023.625
AT ITER 1267 NEW BEST:: SOT 50659 SOS 45616 HAS SOPS 45616 HAS SOUS 12969 HAS SOUPS 12969 WITH SCORE 13014.616
AT ITER 1268 NEW BEST:: SOT 50648 SOS 45605 HAS SOPS 45605 HAS SOUS 12947 HAS SOUPS 12947 WITH SCORE 12992.605
AT ITER 1278 NEW BEST:: SOT 50648 SOS 45420 HAS SOPS 45420 HAS SOUS 12947 HAS SOUPS 12947 WITH SCORE 12992.42
AT ITER 1291 NEW BEST:: SOT 50648 SOS 45420 HAS SOPS 45420 HAS SOUS 12896 HAS SOUPS 12896 WITH SCORE 12941.42
AT ITER 1317 NEW BEST:: SOT 50642 SOS 45414 HAS SOPS 45414 HAS SOUS 12864 HAS SOUPS 12864 WITH SCORE 12909.414
AT ITER 1329 NEW BEST:: SOT 50632 SOS 45404 HAS SOPS 45404 HAS SOUS 12854 HAS SOUPS 12854 WITH SCORE 12899.404
AT ITER 1336 NEW BEST:: SOT 50616 SOS 45388 HAS SOPS 45388 HAS SOUS 12793 HAS SOUPS 12793 WITH SCORE 12838.388
AT ITER 1341 NEW BEST:: SOT 50514 SOS 45268 HAS SOPS 45268 HAS SOUS 12720 HAS SOUPS 12720 WITH SCORE 12765.268
AT ITER 1342 NEW BEST:: SOT 50514 SOS 45385 HAS SOPS 45385 HAS SOUS 12686 HAS SOUPS 12686 WITH SCORE 12731.385
AT ITER 1349 NEW BEST:: SOT 50499 SOS 45402 HAS SOPS 45402 HAS SOUS 12626 HAS SOUPS 12626 WITH SCORE 12671.402
AT ITER 1350 NEW BEST:: SOT 50468 SOS 41910 HAS SOPS 41910 HAS SOUS 12557 HAS SOUPS 12557 WITH SCORE 12598.91
AT ITER 1359 NEW BEST:: SOT 50449 SOS 41878 HAS SOPS 41878 HAS SOUS 12525 HAS SOUPS 12525 WITH SCORE 12566.878
AT ITER 1385 NEW BEST:: SOT 50475 SOS 41904 HAS SOPS 41904 HAS SOUS 12496 HAS SOUPS 12496 WITH SCORE 12537.904
AT ITER 1391 NEW BEST:: SOT 50494 SOS 41923 HAS SOPS 41923 HAS SOUS 12476 HAS SOUPS 12476 WITH SCORE 12517.923
AT ITER 1395 NEW BEST:: SOT 50494 SOS 41868 HAS SOPS 41868 HAS SOUS 12475 HAS SOUPS 12475 WITH SCORE 12516.868
AT ITER 1399 NEW BEST:: SOT 50487 SOS 41861 HAS SOPS 41861 HAS SOUS 12461 HAS SOUPS 12461 WITH SCORE 12502.861
AT ITER 1400 NEW BEST:: SOT 50430 SOS 41804 HAS SOPS 41804 HAS SOUS 12347 HAS SOUPS 12347 WITH SCORE 12388.804
AT ITER 1444 NEW BEST:: SOT 50395 SOS 41744 HAS SOPS 41744 HAS SOUS 12287 HAS SOUPS 12287 WITH SCORE 12328.744
AT ITER 1449 NEW BEST:: SOT 50378 SOS 41718 HAS SOPS 41718 HAS SOUS 12261 HAS SOUPS 12261 WITH SCORE 12302.718
AT ITER 1471 NEW BEST:: SOT 50367 SOS 41707 HAS SOPS 41707 HAS SOUS 12212 HAS SOUPS 12212 WITH SCORE 12253.707
AT ITER 1481 NEW BEST:: SOT 50367 SOS 41663 HAS SOPS 41663 HAS SOUS 12190 HAS SOUPS 12190 WITH SCORE 12231.663
AT ITER 1484 NEW BEST:: SOT 50357 SOS 41653 HAS SOPS 41653 HAS SOUS 12149 HAS SOUPS 12149 WITH SCORE 12190.653
AT ITER 1492 NEW BEST:: SOT 50395 SOS 41719 HAS SOPS 41719 HAS SOUS 12125 HAS SOUPS 12125 WITH SCORE 12166.719
AT ITER 1495 NEW BEST:: SOT 50189 SOS 41867 HAS SOPS 41867 HAS SOUS 12063 HAS SOUPS 12063 WITH SCORE 12104.867
AT ITER 1496 NEW BEST:: SOT 50178 SOS 41856 HAS SOPS 41856 HAS SOUS 12052 HAS SOUPS 12052 WITH SCORE 12093.856
AT ITER 1497 NEW BEST:: SOT 50154 SOS 41832 HAS SOPS 41832 HAS SOUS 12026 HAS SOUPS 12026 WITH SCORE 12067.832
AT ITER 1520 NEW BEST:: SOT 50153 SOS 41831 HAS SOPS 41831 HAS SOUS 12024 HAS SOUPS 12024 WITH SCORE 12065.831
AT ITER 1521 NEW BEST:: SOT 50151 SOS 41822 HAS SOPS 41822 HAS SOUS 12015 HAS SOUPS 12015 WITH SCORE 12056.822
AT ITER 1536 NEW BEST:: SOT 50149 SOS 41820 HAS SOPS 41820 HAS SOUS 12013 HAS SOUPS 12013 WITH SCORE 12054.82
AT ITER 1550 NEW BEST:: SOT 50147 SOS 41818 HAS SOPS 41818 HAS SOUS 12009 HAS SOUPS 12009 WITH SCORE 12050.818
AT ITER 1579 NEW BEST:: SOT 50123 SOS 41794 HAS SOPS 41794 HAS SOUS 11984 HAS SOUPS 11984 WITH SCORE 12025.794
AT ITER 1611 NEW BEST:: SOT 50121 SOS 41792 HAS SOPS 41792 HAS SOUS 11980 HAS SOUPS 11980 WITH SCORE 12021.792
AT ITER 1636 NEW BEST:: SOT 50120 SOS 41791 HAS SOPS 41791 HAS SOUS 11978 HAS SOUPS 11978 WITH SCORE 12019.791
AT ITER 1650 NEW BEST:: SOT 50059 SOS 41730 HAS SOPS 41730 HAS SOUS 11859 HAS SOUPS 11859 WITH SCORE 11900.73
AT ITER 1656 NEW BEST:: SOT 50059 SOS 41724 HAS SOPS 41724 HAS SOUS 11856 HAS SOUPS 11856 WITH SCORE 11897.724
AT ITER 1672 NEW BEST:: SOT 50039 SOS 41700 HAS SOPS 41700 HAS SOUS 11848 HAS SOUPS 11848 WITH SCORE 11889.7
AT ITER 1716 NEW BEST:: SOT 50039 SOS 41688 HAS SOPS 41688 HAS SOUS 11836 HAS SOUPS 11836 WITH SCORE 11877.688
AT ITER 1727 NEW BEST:: SOT 50026 SOS 41675 HAS SOPS 41675 HAS SOUS 11810 HAS SOUPS 11810 WITH SCORE 11851.675
AT ITER 1729 NEW BEST:: SOT 50010 SOS 41659 HAS SOPS 41659 HAS SOUS 11802 HAS SOUPS 11802 WITH SCORE 11843.659
AT ITER 1754 NEW BEST:: SOT 50008 SOS 41657 HAS SOPS 41657 HAS SOUS 11798 HAS SOUPS 11798 WITH SCORE 11839.657
AT ITER 1765 NEW BEST:: SOT 49989 SOS 43232 HAS SOPS 43232 HAS SOUS 11747 HAS SOUPS 11747 WITH SCORE 11790.232
AT ITER 1770 NEW BEST:: SOT 49982 SOS 43225 HAS SOPS 43225 HAS SOUS 11733 HAS SOUPS 11733 WITH SCORE 11776.225
AT ITER 1775 NEW BEST:: SOT 49982 SOS 43153 HAS SOPS 43153 HAS SOUS 11725 HAS SOUPS 11725 WITH SCORE 11768.153
AT ITER 1779 NEW BEST:: SOT 49972 SOS 43143 HAS SOPS 43143 HAS SOUS 11705 HAS SOUPS 11705 WITH SCORE 11748.143
AT ITER 1786 NEW BEST:: SOT 49972 SOS 43143 HAS SOPS 43143 HAS SOUS 11636 HAS SOUPS 11636 WITH SCORE 11679.143
AT ITER 1807 NEW BEST:: SOT 49961 SOS 43121 HAS SOPS 43121 HAS SOUS 11614 HAS SOUPS 11614 WITH SCORE 11657.121
AT ITER 1816 NEW BEST:: SOT 49928 SOS 43088 HAS SOPS 43088 HAS SOUS 11581 HAS SOUPS 11581 WITH SCORE 11624.088
AT ITER 1820 NEW BEST:: SOT 49819 SOS 42964 HAS SOPS 42964 HAS SOUS 11459 HAS SOUPS 11459 WITH SCORE 11501.964
AT ITER 1843 NEW BEST:: SOT 49799 SOS 42855 HAS SOPS 42855 HAS SOUS 11419 HAS SOUPS 11419 WITH SCORE 11461.855
AT ITER 1844 NEW BEST:: SOT 49798 SOS 42854 HAS SOPS 42854 HAS SOUS 11417 HAS SOUPS 11417 WITH SCORE 11459.854
AT ITER 1903 NEW BEST:: SOT 49813 SOS 42852 HAS SOPS 42852 HAS SOUS 11414 HAS SOUPS 11414 WITH SCORE 11456.852
AT ITER 1917 NEW BEST:: SOT 49824 SOS 42829 HAS SOPS 42829 HAS SOUS 11382 HAS SOUPS 11382 WITH SCORE 11424.829
AT ITER 1927 NEW BEST:: SOT 49824 SOS 42479 HAS SOPS 42479 HAS SOUS 11382 HAS SOUPS 11382 WITH SCORE 11424.479
AT ITER 1941 NEW BEST:: SOT 49823 SOS 42478 HAS SOPS 42478 HAS SOUS 11380 HAS SOUPS 11380 WITH SCORE 11422.478
AT ITER 1944 NEW BEST:: SOT 49818 SOS 42473 HAS SOPS 42473 HAS SOUS 11370 HAS SOUPS 11370 WITH SCORE 11412.473
AT ITER 1949 NEW BEST:: SOT 49807 SOS 42468 HAS SOPS 42468 HAS SOUS 11323 HAS SOUPS 11323 WITH SCORE 11365.468
AT ITER 1951 NEW BEST:: SOT 49803 SOS 42464 HAS SOPS 42464 HAS SOUS 11319 HAS SOUPS 11319 WITH SCORE 11361.464
AT ITER 1974 NEW BEST:: SOT 49708 SOS 42369 HAS SOPS 42369 HAS SOUS 11187 HAS SOUPS 11187 WITH SCORE 11229.369
AT ITER 1982 NEW BEST:: SOT 49708 SOS 42369 HAS SOPS 42369 HAS SOUS 11173 HAS SOUPS 11173 WITH SCORE 11215.369
AT ITER 2022 NEW BEST:: SOT 49712 SOS 42373 HAS SOPS 42373 HAS SOUS 11164 HAS SOUPS 11164 WITH SCORE 11206.373
AT ITER 2032 NEW BEST:: SOT 49677 SOS 42338 HAS SOPS 42338 HAS SOUS 11094 HAS SOUPS 11094 WITH SCORE 11136.338
AT ITER 2045 NEW BEST:: SOT 49589 SOS 42208 HAS SOPS 42208 HAS SOUS 10971 HAS SOUPS 10971 WITH SCORE 11013.208
AT ITER 2048 NEW BEST:: SOT 49588 SOS 42207 HAS SOPS 42207 HAS SOUS 10969 HAS SOUPS 10969 WITH SCORE 11011.207
AT ITER 2050 NEW BEST:: SOT 49588 SOS 42207 HAS SOPS 42207 HAS SOUS 10968 HAS SOUPS 10968 WITH SCORE 11010.207
AT ITER 2061 NEW BEST:: SOT 49566 SOS 42185 HAS SOPS 42185 HAS SOUS 10945 HAS SOUPS 10945 WITH SCORE 10987.185
AT ITER 2064 NEW BEST:: SOT 49582 SOS 42229 HAS SOPS 42229 HAS SOUS 10933 HAS SOUPS 10933 WITH SCORE 10975.229
AT ITER 2080 NEW BEST:: SOT 49569 SOS 42216 HAS SOPS 42216 HAS SOUS 10892 HAS SOUPS 10892 WITH SCORE 10934.216
AT ITER 2092 NEW BEST:: SOT 49568 SOS 41985 HAS SOPS 41985 HAS SOUS 10888 HAS SOUPS 10888 WITH SCORE 10929.985
AT ITER 2115 NEW BEST:: SOT 49586 SOS 42003 HAS SOPS 42003 HAS SOUS 10841 HAS SOUPS 10841 WITH SCORE 10883.003
AT ITER 2123 NEW BEST:: SOT 49540 SOS 41957 HAS SOPS 41957 HAS SOUS 10749 HAS SOUPS 10749 WITH SCORE 10790.957
AT ITER 2139 NEW BEST:: SOT 49494 SOS 41911 HAS SOPS 41911 HAS SOUS 10703 HAS SOUPS 10703 WITH SCORE 10744.911
AT ITER 2161 NEW BEST:: SOT 49493 SOS 41910 HAS SOPS 41910 HAS SOUS 10701 HAS SOUPS 10701 WITH SCORE 10742.91
AT ITER 2176 NEW BEST:: SOT 49482 SOS 41899 HAS SOPS 41899 HAS SOUS 10679 HAS SOUPS 10679 WITH SCORE 10720.899
AT ITER 2178 NEW BEST:: SOT 49481 SOS 41898 HAS SOPS 41898 HAS SOUS 10677 HAS SOUPS 10677 WITH SCORE 10718.898
AT ITER 2182 NEW BEST:: SOT 49423 SOS 41769 HAS SOPS 41769 HAS SOUS 10606 HAS SOUPS 10606 WITH SCORE 10647.769
AT ITER 2200 NEW BEST:: SOT 49420 SOS 41766 HAS SOPS 41766 HAS SOUS 10600 HAS SOUPS 10600 WITH SCORE 10641.766
AT ITER 2232 NEW BEST:: SOT 49458 SOS 41639 HAS SOPS 41639 HAS SOUS 10574 HAS SOUPS 10574 WITH SCORE 10615.639
AT ITER 2323 NEW BEST:: SOT 49455 SOS 41636 HAS SOPS 41636 HAS SOUS 10568 HAS SOUPS 10568 WITH SCORE 10609.636
AT ITER 2325 NEW BEST:: SOT 49374 SOS 41533 HAS SOPS 41533 HAS SOUS 10477 HAS SOUPS 10477 WITH SCORE 10518.533
AT ITER 2328 NEW BEST:: SOT 49359 SOS 41470 HAS SOPS 41470 HAS SOUS 10475 HAS SOUPS 10475 WITH SCORE 10516.47
AT ITER 2330 NEW BEST:: SOT 49356 SOS 41465 HAS SOPS 41465 HAS SOUS 10471 HAS SOUPS 10471 WITH SCORE 10512.465
AT ITER 2339 NEW BEST:: SOT 49312 SOS 41421 HAS SOPS 41421 HAS SOUS 10427 HAS SOUPS 10427 WITH SCORE 10468.421
AT ITER 2342 NEW BEST:: SOT 49274 SOS 41379 HAS SOPS 41379 HAS SOUS 10405 HAS SOUPS 10405 WITH SCORE 10446.379
AT ITER 2348 NEW BEST:: SOT 49245 SOS 41350 HAS SOPS 41350 HAS SOUS 10347 HAS SOUPS 10347 WITH SCORE 10388.35
AT ITER 2349 NEW BEST:: SOT 49221 SOS 41326 HAS SOPS 41326 HAS SOUS 10299 HAS SOUPS 10299 WITH SCORE 10340.326
AT ITER 2361 NEW BEST:: SOT 49197 SOS 41302 HAS SOPS 41302 HAS SOUS 10275 HAS SOUPS 10275 WITH SCORE 10316.302
AT ITER 2364 NEW BEST:: SOT 49204 SOS 41330 HAS SOPS 41330 HAS SOUS 10268 HAS SOUPS 10268 WITH SCORE 10309.33
AT ITER 2380 NEW BEST:: SOT 49204 SOS 41330 HAS SOPS 41330 HAS SOUS 10264 HAS SOUPS 10264 WITH SCORE 10305.33
AT ITER 2395 NEW BEST:: SOT 49188 SOS 41284 HAS SOPS 41284 HAS SOUS 10248 HAS SOUPS 10248 WITH SCORE 10289.284
AT ITER 2397 NEW BEST:: SOT 49236 SOS 41332 HAS SOPS 41332 HAS SOUS 10218 HAS SOUPS 10218 WITH SCORE 10259.332
AT ITER 2400 NEW BEST:: SOT 49220 SOS 41316 HAS SOPS 41316 HAS SOUS 10186 HAS SOUPS 10186 WITH SCORE 10227.316
AT ITER 2402 NEW BEST:: SOT 49194 SOS 41290 HAS SOPS 41290 HAS SOUS 10140 HAS SOUPS 10140 WITH SCORE 10181.29
AT ITER 2407 NEW BEST:: SOT 49184 SOS 41280 HAS SOPS 41280 HAS SOUS 10120 HAS SOUPS 10120 WITH SCORE 10161.28
AT ITER 2409 NEW BEST:: SOT 49137 SOS 41233 HAS SOPS 41233 HAS SOUS 10026 HAS SOUPS 10026 WITH SCORE 10067.233
AT ITER 2469 NEW BEST:: SOT 49136 SOS 41232 HAS SOPS 41232 HAS SOUS 10024 HAS SOUPS 10024 WITH SCORE 10065.232
AT ITER 2471 NEW BEST:: SOT 49136 SOS 41232 HAS SOPS 41232 HAS SOUS 10020 HAS SOUPS 10020 WITH SCORE 10061.232
AT ITER 2510 NEW BEST:: SOT 49158 SOS 41291 HAS SOPS 41291 HAS SOUS 10003 HAS SOUPS 10003 WITH SCORE 10044.291
AT ITER 2548 NEW BEST:: SOT 49156 SOS 41287 HAS SOPS 41287 HAS SOUS 10001 HAS SOUPS 10001 WITH SCORE 10042.287
AT ITER 2556 NEW BEST:: SOT 49156 SOS 41287 HAS SOPS 41287 HAS SOUS 9981 HAS SOUPS 9981 WITH SCORE 10022.287
AT ITER 2560 NEW BEST:: SOT 49094 SOS 41194 HAS SOPS 41194 HAS SOUS 9888 HAS SOUPS 9888 WITH SCORE 9929.194
AT ITER 2561 NEW BEST:: SOT 49093 SOS 41193 HAS SOPS 41193 HAS SOUS 9886 HAS SOUPS 9886 WITH SCORE 9927.193
AT ITER 2565 NEW BEST:: SOT 49088 SOS 41188 HAS SOPS 41188 HAS SOUS 9822 HAS SOUPS 9822 WITH SCORE 9863.188
AT ITER 2587 NEW BEST:: SOT 49101 SOS 41212 HAS SOPS 41212 HAS SOUS 9811 HAS SOUPS 9811 WITH SCORE 9852.212
AT ITER 2625 NEW BEST:: SOT 49070 SOS 41181 HAS SOPS 41181 HAS SOUS 9780 HAS SOUPS 9780 WITH SCORE 9821.181
AT ITER 2635 NEW BEST:: SOT 49119 SOS 41230 HAS SOPS 41230 HAS SOUS 9773 HAS SOUPS 9773 WITH SCORE 9814.23
AT ITER 2640 NEW BEST:: SOT 49118 SOS 41229 HAS SOPS 41229 HAS SOUS 9771 HAS SOUPS 9771 WITH SCORE 9812.229
AT ITER 2677 NEW BEST:: SOT 49112 SOS 41223 HAS SOPS 41223 HAS SOUS 9765 HAS SOUPS 9765 WITH SCORE 9806.223
AT ITER 2681 NEW BEST:: SOT 49112 SOS 41189 HAS SOPS 41189 HAS SOUS 9731 HAS SOUPS 9731 WITH SCORE 9772.189
AT ITER 2706 NEW BEST:: SOT 49113 SOS 41190 HAS SOPS 41190 HAS SOUS 9729 HAS SOUPS 9729 WITH SCORE 9770.19
AT ITER 2718 NEW BEST:: SOT 49113 SOS 41187 HAS SOPS 41187 HAS SOUS 9726 HAS SOUPS 9726 WITH SCORE 9767.187
AT ITER 2722 NEW BEST:: SOT 49098 SOS 41174 HAS SOPS 41174 HAS SOUS 9723 HAS SOUPS 9723 WITH SCORE 9764.174
AT ITER 2734 NEW BEST:: SOT 49092 SOS 41168 HAS SOPS 41168 HAS SOUS 9711 HAS SOUPS 9711 WITH SCORE 9752.168
AT ITER 2739 NEW BEST:: SOT 49115 SOS 41201 HAS SOPS 41201 HAS SOUS 9691 HAS SOUPS 9691 WITH SCORE 9732.201
AT ITER 2768 NEW BEST:: SOT 49115 SOS 41193 HAS SOPS 41193 HAS SOUS 9683 HAS SOUPS 9683 WITH SCORE 9724.193
AT ITER 2776 NEW BEST:: SOT 49114 SOS 41192 HAS SOPS 41192 HAS SOUS 9681 HAS SOUPS 9681 WITH SCORE 9722.192
AT ITER 2854 NEW BEST:: SOT 49113 SOS 41191 HAS SOPS 41191 HAS SOUS 9679 HAS SOUPS 9679 WITH SCORE 9720.191
AT ITER 2874 NEW BEST:: SOT 49103 SOS 41168 HAS SOPS 41168 HAS SOUS 9669 HAS SOUPS 9669 WITH SCORE 9710.168
AT ITER 2972 NEW BEST:: SOT 49270 SOS 41319 HAS SOPS 41319 HAS SOUS 9664 HAS SOUPS 9664 WITH SCORE 9705.319
AT ITER 2973 NEW BEST:: SOT 49312 SOS 41110 HAS SOPS 41110 HAS SOUS 9611 HAS SOUPS 9611 WITH SCORE 9652.11
AT ITER 2981 NEW BEST:: SOT 49316 SOS 41149 HAS SOPS 41149 HAS SOUS 9565 HAS SOUPS 9565 WITH SCORE 9606.149
AT ITER 2986 NEW BEST:: SOT 49309 SOS 41094 HAS SOPS 41094 HAS SOUS 9551 HAS SOUPS 9551 WITH SCORE 9592.094
AT ITER 2988 NEW BEST:: SOT 49295 SOS 41062 HAS SOPS 41062 HAS SOUS 9547 HAS SOUPS 9547 WITH SCORE 9588.062
AT ITER 2989 NEW BEST:: SOT 49299 SOS 41064 HAS SOPS 41064 HAS SOUS 9541 HAS SOUPS 9541 WITH SCORE 9582.064
AT ITER 3063 NEW BEST:: SOT 49293 SOS 41060 HAS SOPS 41060 HAS SOUS 9521 HAS SOUPS 9521 WITH SCORE 9562.06
AT ITER 3107 NEW BEST:: SOT 49291 SOS 41058 HAS SOPS 41058 HAS SOUS 9517 HAS SOUPS 9517 WITH SCORE 9558.058
AT ITER 3113 NEW BEST:: SOT 49284 SOS 41044 HAS SOPS 41044 HAS SOUS 9510 HAS SOUPS 9510 WITH SCORE 9551.044
AT ITER 3138 NEW BEST:: SOT 49283 SOS 41043 HAS SOPS 41043 HAS SOUS 9508 HAS SOUPS 9508 WITH SCORE 9549.043
AT ITER 3141 NEW BEST:: SOT 49282 SOS 41042 HAS SOPS 41042 HAS SOUS 9506 HAS SOUPS 9506 WITH SCORE 9547.042
AT ITER 3142 NEW BEST:: SOT 49278 SOS 41038 HAS SOPS 41038 HAS SOUS 9498 HAS SOUPS 9498 WITH SCORE 9539.038
AT ITER 3166 NEW BEST:: SOT 49276 SOS 41035 HAS SOPS 41035 HAS SOUS 9495 HAS SOUPS 9495 WITH SCORE 9536.035
AT ITER 3175 NEW BEST:: SOT 49276 SOS 41035 HAS SOPS 41035 HAS SOUS 9483 HAS SOUPS 9483 WITH SCORE 9524.035
AT ITER 3177 NEW BEST:: SOT 49275 SOS 41034 HAS SOPS 41034 HAS SOUS 9481 HAS SOUPS 9481 WITH SCORE 9522.034
AT ITER 3191 NEW BEST:: SOT 49272 SOS 41021 HAS SOPS 41021 HAS SOUS 9477 HAS SOUPS 9477 WITH SCORE 9518.021
AT ITER 3213 NEW BEST:: SOT 49272 SOS 41017 HAS SOPS 41017 HAS SOUS 9473 HAS SOUPS 9473 WITH SCORE 9514.017
AT ITER 3232 NEW BEST:: SOT 49272 SOS 40965 HAS SOPS 40965 HAS SOUS 9473 HAS SOUPS 9473 WITH SCORE 9513.965
AT ITER 3253 NEW BEST:: SOT 49260 SOS 40935 HAS SOPS 40935 HAS SOUS 9467 HAS SOUPS 9467 WITH SCORE 9507.935
AT ITER 3258 NEW BEST:: SOT 49260 SOS 40974 HAS SOPS 40974 HAS SOUS 9464 HAS SOUPS 9464 WITH SCORE 9504.974
AT ITER 3268 NEW BEST:: SOT 49259 SOS 40973 HAS SOPS 40973 HAS SOUS 9462 HAS SOUPS 9462 WITH SCORE 9502.973
AT ITER 3279 NEW BEST:: SOT 49254 SOS 40968 HAS SOPS 40968 HAS SOUS 9457 HAS SOUPS 9457 WITH SCORE 9497.968
AT ITER 3324 NEW BEST:: SOT 49197 SOS 40857 HAS SOPS 40857 HAS SOUS 9417 HAS SOUPS 9417 WITH SCORE 9457.857
AT ITER 3365 NEW BEST:: SOT 49196 SOS 40856 HAS SOPS 40856 HAS SOUS 9415 HAS SOUPS 9415 WITH SCORE 9455.856
AT ITER 3367 NEW BEST:: SOT 49177 SOS 40814 HAS SOPS 40814 HAS SOUS 9400 HAS SOUPS 9400 WITH SCORE 9440.814
AT ITER 3378 NEW BEST:: SOT 49177 SOS 40814 HAS SOPS 40814 HAS SOUS 9392 HAS SOUPS 9392 WITH SCORE 9432.814
AT ITER 3389 NEW BEST:: SOT 49177 SOS 40814 HAS SOPS 40814 HAS SOUS 9378 HAS SOUPS 9378 WITH SCORE 9418.814
AT ITER 3416 NEW BEST:: SOT 49177 SOS 40807 HAS SOPS 40807 HAS SOUS 9371 HAS SOUPS 9371 WITH SCORE 9411.807
AT ITER 3426 NEW BEST:: SOT 49171 SOS 40801 HAS SOPS 40801 HAS SOUS 9359 HAS SOUPS 9359 WITH SCORE 9399.801
AT ITER 3468 NEW BEST:: SOT 49072 SOS 40679 HAS SOPS 40679 HAS SOUS 9303 HAS SOUPS 9303 WITH SCORE 9343.679
AT ITER 3539 NEW BEST:: SOT 49047 SOS 40654 HAS SOPS 40654 HAS SOUS 9253 HAS SOUPS 9253 WITH SCORE 9293.654
AT ITER 3598 NEW BEST:: SOT 49044 SOS 40651 HAS SOPS 40651 HAS SOUS 9247 HAS SOUPS 9247 WITH SCORE 9287.651
AT ITER 3606 NEW BEST:: SOT 49034 SOS 40641 HAS SOPS 40641 HAS SOUS 9227 HAS SOUPS 9227 WITH SCORE 9267.641
AT ITER 3632 NEW BEST:: SOT 49029 SOS 40636 HAS SOPS 40636 HAS SOUS 9217 HAS SOUPS 9217 WITH SCORE 9257.636
AT ITER 3650 NEW BEST:: SOT 49010 SOS 40617 HAS SOPS 40617 HAS SOUS 9179 HAS SOUPS 9179 WITH SCORE 9219.617
AT ITER 3658 NEW BEST:: SOT 49003 SOS 40578 HAS SOPS 40578 HAS SOUS 9156 HAS SOUPS 9156 WITH SCORE 9196.578
AT ITER 3665 NEW BEST:: SOT 48980 SOS 40546 HAS SOPS 40546 HAS SOUS 9113 HAS SOUPS 9113 WITH SCORE 9153.546
AT ITER 3683 NEW BEST:: SOT 48980 SOS 40545 HAS SOPS 40545 HAS SOUS 9112 HAS SOUPS 9112 WITH SCORE 9152.545
AT ITER 3770 NEW BEST:: SOT 48980 SOS 40523 HAS SOPS 40523 HAS SOUS 9090 HAS SOUPS 9090 WITH SCORE 9130.523
AT ITER 3820 NEW BEST:: SOT 48968 SOS 40513 HAS SOPS 40513 HAS SOUS 9080 HAS SOUPS 9080 WITH SCORE 9120.513
AT ITER 3826 NEW BEST:: SOT 48967 SOS 40512 HAS SOPS 40512 HAS SOUS 9078 HAS SOUPS 9078 WITH SCORE 9118.512
AT ITER 3845 NEW BEST:: SOT 48930 SOS 40450 HAS SOPS 40450 HAS SOUS 9053 HAS SOUPS 9053 WITH SCORE 9093.45
AT ITER 3855 NEW BEST:: SOT 48926 SOS 40446 HAS SOPS 40446 HAS SOUS 9051 HAS SOUPS 9051 WITH SCORE 9091.446
AT ITER 3865 NEW BEST:: SOT 48922 SOS 40440 HAS SOPS 40440 HAS SOUS 9045 HAS SOUPS 9045 WITH SCORE 9085.44
AT ITER 3869 NEW BEST:: SOT 48915 SOS 40433 HAS SOPS 40433 HAS SOUS 9031 HAS SOUPS 9031 WITH SCORE 9071.433
AT ITER 3907 NEW BEST:: SOT 48917 SOS 40435 HAS SOPS 40435 HAS SOUS 9021 HAS SOUPS 9021 WITH SCORE 9061.435
AT ITER 3931 NEW BEST:: SOT 48884 SOS 40402 HAS SOPS 40402 HAS SOUS 9012 HAS SOUPS 9012 WITH SCORE 9052.402
AT ITER 3937 NEW BEST:: SOT 48811 SOS 40324 HAS SOPS 40324 HAS SOUS 9000 HAS SOUPS 9000 WITH SCORE 9040.324
AT ITER 3950 NEW BEST:: SOT 48838 SOS 40378 HAS SOPS 40378 HAS SOUS 8992 HAS SOUPS 8992 WITH SCORE 9032.378
AT ITER 3962 NEW BEST:: SOT 48829 SOS 40369 HAS SOPS 40369 HAS SOUS 8974 HAS SOUPS 8974 WITH SCORE 9014.369
AT ITER 3982 NEW BEST:: SOT 48823 SOS 40363 HAS SOPS 40363 HAS SOUS 8974 HAS SOUPS 8974 WITH SCORE 9014.363
AT ITER 3986 NEW BEST:: SOT 48799 SOS 40340 HAS SOPS 40340 HAS SOUS 8951 HAS SOUPS 8951 WITH SCORE 8991.34
AT ITER 3992 NEW BEST:: SOT 48799 SOS 40357 HAS SOPS 40357 HAS SOUS 8950 HAS SOUPS 8950 WITH SCORE 8990.357
AT ITER 4058 NEW BEST:: SOT 48797 SOS 40353 HAS SOPS 40353 HAS SOUS 8948 HAS SOUPS 8948 WITH SCORE 8988.353
AT ITER 4066 NEW BEST:: SOT 48787 SOS 40343 HAS SOPS 40343 HAS SOUS 8948 HAS SOUPS 8948 WITH SCORE 8988.343
AT ITER 4067 NEW BEST:: SOT 48786 SOS 40342 HAS SOPS 40342 HAS SOUS 8947 HAS SOUPS 8947 WITH SCORE 8987.342
AT ITER 4068 NEW BEST:: SOT 48777 SOS 40333 HAS SOPS 40333 HAS SOUS 8929 HAS SOUPS 8929 WITH SCORE 8969.333
AT ITER 4085 NEW BEST:: SOT 48775 SOS 40331 HAS SOPS 40331 HAS SOUS 8925 HAS SOUPS 8925 WITH SCORE 8965.331
AT ITER 4094 NEW BEST:: SOT 48802 SOS 40358 HAS SOPS 40358 HAS SOUS 8923 HAS SOUPS 8923 WITH SCORE 8963.358
AT ITER 4108 NEW BEST:: SOT 48803 SOS 40359 HAS SOPS 40359 HAS SOUS 8894 HAS SOUPS 8894 WITH SCORE 8934.359
AT ITER 4188 NEW BEST:: SOT 48798 SOS 40354 HAS SOPS 40354 HAS SOUS 8872 HAS SOUPS 8872 WITH SCORE 8912.354
AT ITER 4201 NEW BEST:: SOT 48789 SOS 40345 HAS SOPS 40345 HAS SOUS 8854 HAS SOUPS 8854 WITH SCORE 8894.345
AT ITER 4212 NEW BEST:: SOT 48784 SOS 40335 HAS SOPS 40335 HAS SOUS 8844 HAS SOUPS 8844 WITH SCORE 8884.335
AT ITER 4218 NEW BEST:: SOT 48767 SOS 40321 HAS SOPS 40321 HAS SOUS 8830 HAS SOUPS 8830 WITH SCORE 8870.321
AT ITER 4219 NEW BEST:: SOT 48755 SOS 40309 HAS SOPS 40309 HAS SOUS 8806 HAS SOUPS 8806 WITH SCORE 8846.309
AT ITER 4229 NEW BEST:: SOT 48684 SOS 40228 HAS SOPS 40228 HAS SOUS 8773 HAS SOUPS 8773 WITH SCORE 8813.228
AT ITER 4241 NEW BEST:: SOT 48666 SOS 40202 HAS SOPS 40202 HAS SOUS 8765 HAS SOUPS 8765 WITH SCORE 8805.202
AT ITER 4257 NEW BEST:: SOT 48654 SOS 40190 HAS SOPS 40190 HAS SOUS 8753 HAS SOUPS 8753 WITH SCORE 8793.19
AT ITER 4262 NEW BEST:: SOT 48653 SOS 40189 HAS SOPS 40189 HAS SOUS 8752 HAS SOUPS 8752 WITH SCORE 8792.189
AT ITER 4286 NEW BEST:: SOT 48653 SOS 40180 HAS SOPS 40180 HAS SOUS 8740 HAS SOUPS 8740 WITH SCORE 8780.18
AT ITER 4290 NEW BEST:: SOT 48643 SOS 40170 HAS SOPS 40170 HAS SOUS 8740 HAS SOUPS 8740 WITH SCORE 8780.17
AT ITER 4305 NEW BEST:: SOT 48594 SOS 40104 HAS SOPS 40104 HAS SOUS 8699 HAS SOUPS 8699 WITH SCORE 8739.104
AT ITER 4345 NEW BEST:: SOT 48583 SOS 40093 HAS SOPS 40093 HAS SOUS 8677 HAS SOUPS 8677 WITH SCORE 8717.093
AT ITER 4346 NEW BEST:: SOT 48581 SOS 40091 HAS SOPS 40091 HAS SOUS 8673 HAS SOUPS 8673 WITH SCORE 8713.091
AT ITER 4426 NEW BEST:: SOT 48580 SOS 40090 HAS SOPS 40090 HAS SOUS 8671 HAS SOUPS 8671 WITH SCORE 8711.09
AT ITER 4571 NEW BEST:: SOT 48604 SOS 40114 HAS SOPS 40114 HAS SOUS 8647 HAS SOUPS 8647 WITH SCORE 8687.114
AT ITER 4578 NEW BEST:: SOT 48600 SOS 40110 HAS SOPS 40110 HAS SOUS 8639 HAS SOUPS 8639 WITH SCORE 8679.11
AT ITER 4680 NEW BEST:: SOT 48601 SOS 40111 HAS SOPS 40111 HAS SOUS 8635 HAS SOUPS 8635 WITH SCORE 8675.111
AT ITER 4733 NEW BEST:: SOT 48582 SOS 40092 HAS SOPS 40092 HAS SOUS 8616 HAS SOUPS 8616 WITH SCORE 8656.092
AT ITER 4757 NEW BEST:: SOT 48582 SOS 40078 HAS SOPS 40078 HAS SOUS 8602 HAS SOUPS 8602 WITH SCORE 8642.078
AT ITER 4789 NEW BEST:: SOT 48578 SOS 40096 HAS SOPS 40096 HAS SOUS 8596 HAS SOUPS 8596 WITH SCORE 8636.096
AT ITER 4791 NEW BEST:: SOT 48601 SOS 40146 HAS SOPS 40146 HAS SOUS 8591 HAS SOUPS 8591 WITH SCORE 8631.146
AT ITER 4821 NEW BEST:: SOT 48600 SOS 40145 HAS SOPS 40145 HAS SOUS 8589 HAS SOUPS 8589 WITH SCORE 8629.145
AT ITER 4869 NEW BEST:: SOT 48596 SOS 40133 HAS SOPS 40133 HAS SOUS 8577 HAS SOUPS 8577 WITH SCORE 8617.133
AT ITER 4920 NEW BEST:: SOT 48534 SOS 40034 HAS SOPS 40034 HAS SOUS 8490 HAS SOUPS 8490 WITH SCORE 8530.034
AT ITER 4942 NEW BEST:: SOT 48534 SOS 40034 HAS SOPS 40034 HAS SOUS 8464 HAS SOUPS 8464 WITH SCORE 8504.034
AT ITER 4947 NEW BEST:: SOT 48533 SOS 40033 HAS SOPS 40033 HAS SOUS 8462 HAS SOUPS 8462 WITH SCORE 8502.033
AT ITER 4988 NEW BEST:: SOT 48551 SOS 40024 HAS SOPS 40024 HAS SOUS 8453 HAS SOUPS 8453 WITH SCORE 8493.024
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: DES-PT-50a-CTLCardinality-00 (AX( (AG( (! potential( ( 2 ) <= (tk(P244)) ))))))
PROPERTY: DES-PT-50a-CTLCardinality-01 (EU( (AX( potential( ( 1 ) <= (tk(P274)) ))),(AF(potential( ( 1 ) <= (tk(P282)) ))) ))
PROPERTY: DES-PT-50a-CTLCardinality-02 (AX( (EF(( potential( ( 1 ) <= (tk(P164)) ) & potential( ( 1 ) <= (tk(P241)) ) )))))
PROPERTY: DES-PT-50a-CTLCardinality-03 (! (AG( (AX( potential( (tk(P10)) <= (tk(P160)) ))))))
PROPERTY: DES-PT-50a-CTLCardinality-04 (EG( (AU( potential( ( 3 ) <= (tk(P36)) ),potential( (tk(P97)) <= (tk(P136)) ) ))))
PROPERTY: DES-PT-50a-CTLCardinality-05 (AG( (AG( potential( (tk(P275)) <= (tk(P173)) )))))
PROPERTY: DES-PT-50a-CTLCardinality-06 (! ( (AU( potential( (tk(P243)) <= (tk(P107)) ),potential( ( 3 ) <= (tk(P13)) ) )) | ( (AG( potential( ( 2 ) <= (tk(P36)) ))) & (AF(potential( ( 2 ) <= (tk(P61)) ))) ) ))
PROPERTY: DES-PT-50a-CTLCardinality-07 (EG( potential( (tk(P118)) <= (tk(P208)) )))
PROPERTY: DES-PT-50a-CTLCardinality-08 (EG( ( (EG( potential( (tk(P197)) <= (tk(P10)) ))) & (! ( potential( (tk(P284)) <= (tk(P24)) ) & potential( ( 2 ) <= (tk(P95)) ) )) )))
PROPERTY: DES-PT-50a-CTLCardinality-09 (EU( (EG( potential( (tk(P85)) <= (tk(P6)) ))),potential( ( 3 ) <= (tk(P225)) ) ))
PROPERTY: DES-PT-50a-CTLCardinality-10 (AF((! (AF(potential( (tk(P64)) <= (tk(P137)) ))))))
PROPERTY: DES-PT-50a-CTLCardinality-11 (EU( potential( (tk(P247)) <= (tk(P135)) ),(EG( potential( (tk(P63)) <= (tk(P146)) ))) ))
PROPERTY: DES-PT-50a-CTLCardinality-12 (EX( ( (EG( potential( (tk(P43)) <= (tk(P193)) ))) | (EF(potential( ( 2 ) <= (tk(P284)) ))) )))
PROPERTY: DES-PT-50a-CTLCardinality-13 (AF(( potential( ( 2 ) <= (tk(P42)) ) & ( ( potential( (tk(P48)) <= (tk(P285)) ) & potential( (tk(P156)) <= (tk(P117)) ) ) & potential( ( 3 ) <= (tk(P127)) ) ) )))
PROPERTY: DES-PT-50a-CTLCardinality-14 (EG( (AX( potential( (tk(P68)) <= (tk(P305)) )))))
PROPERTY: DES-PT-50a-CTLCardinality-15 (EG( ( (! (! potential( (tk(P25)) <= (tk(P35)) ))) | ( (! potential( (tk(P260)) <= (tk(P8)) )) | ( potential( (tk(P64)) <= (tk(P250)) ) | potential( (tk(P118)) <= (tk(P66)) ) ) ) )))

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="DES-PT-50a"
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 DES-PT-50a, 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-158902542000307"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DES-PT-50a.tgz
mv DES-PT-50a 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 ;