fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r048-ebro-158902541600027
Last Updated
Jun 28, 2020

About the Execution of smart for CloudReconfiguration-PT-304

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15764.730 3600000.00 3600089.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 '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902541600027.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 CloudReconfiguration-PT-304, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902541600027
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 828K
-rw-r--r-- 1 mcc users 3.6K Mar 30 01:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 30 01:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 28 16:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 16:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 8 14:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.0K Mar 27 08:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 13K Mar 27 08:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 26 08:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 9.5K Mar 26 08:13 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K 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 660K 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 CloudReconfiguration-PT-304-CTLCardinality-00
FORMULA_NAME CloudReconfiguration-PT-304-CTLCardinality-01
FORMULA_NAME CloudReconfiguration-PT-304-CTLCardinality-02
FORMULA_NAME CloudReconfiguration-PT-304-CTLCardinality-03
FORMULA_NAME CloudReconfiguration-PT-304-CTLCardinality-04
FORMULA_NAME CloudReconfiguration-PT-304-CTLCardinality-05
FORMULA_NAME CloudReconfiguration-PT-304-CTLCardinality-06
FORMULA_NAME CloudReconfiguration-PT-304-CTLCardinality-07
FORMULA_NAME CloudReconfiguration-PT-304-CTLCardinality-08
FORMULA_NAME CloudReconfiguration-PT-304-CTLCardinality-09
FORMULA_NAME CloudReconfiguration-PT-304-CTLCardinality-10
FORMULA_NAME CloudReconfiguration-PT-304-CTLCardinality-11
FORMULA_NAME CloudReconfiguration-PT-304-CTLCardinality-12
FORMULA_NAME CloudReconfiguration-PT-304-CTLCardinality-13
FORMULA_NAME CloudReconfiguration-PT-304-CTLCardinality-14
FORMULA_NAME CloudReconfiguration-PT-304-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589088018137

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 304
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: 2584 places, 3094 transitions, 6459 arcs.
AT ITER 0 NEW BEST:: SOT 4439073 SOS 755786 HAS SOPS 755786 HAS SOUS 697225 HAS SOUPS 697225 WITH SCORE 697980.786
AT ITER 13 NEW BEST:: SOT 4438946 SOS 755532 HAS SOPS 755532 HAS SOUS 696971 HAS SOUPS 696971 WITH SCORE 697726.532
AT ITER 30 NEW BEST:: SOT 4438946 SOS 755337 HAS SOPS 755337 HAS SOUS 696776 HAS SOUPS 696776 WITH SCORE 697531.337
AT ITER 56 NEW BEST:: SOT 4439001 SOS 755014 HAS SOPS 755014 HAS SOUS 696519 HAS SOUPS 696519 WITH SCORE 697274.014
AT ITER 58 NEW BEST:: SOT 4439001 SOS 754941 HAS SOPS 754941 HAS SOUS 696518 HAS SOUPS 696518 WITH SCORE 697272.941
AT ITER 100 NEW BEST:: SOT 4438829 SOS 754941 HAS SOPS 754941 HAS SOUS 696346 HAS SOUPS 696346 WITH SCORE 697100.941
AT ITER 109 NEW BEST:: SOT 4438802 SOS 754941 HAS SOPS 754941 HAS SOUS 696319 HAS SOUPS 696319 WITH SCORE 697073.941
AT ITER 123 NEW BEST:: SOT 4438802 SOS 754780 HAS SOPS 754780 HAS SOUS 696319 HAS SOUPS 696319 WITH SCORE 697073.78
AT ITER 136 NEW BEST:: SOT 4438608 SOS 754392 HAS SOPS 754392 HAS SOUS 695931 HAS SOUPS 695931 WITH SCORE 696685.392
AT ITER 157 NEW BEST:: SOT 4438422 SOS 753660 HAS SOPS 753660 HAS SOUS 695430 HAS SOUPS 695430 WITH SCORE 696183.66
AT ITER 194 NEW BEST:: SOT 4438394 SOS 753604 HAS SOPS 753604 HAS SOUS 695374 HAS SOUPS 695374 WITH SCORE 696127.604
AT ITER 195 NEW BEST:: SOT 4438394 SOS 753524 HAS SOPS 753524 HAS SOUS 695294 HAS SOUPS 695294 WITH SCORE 696047.524
AT ITER 197 NEW BEST:: SOT 4438394 SOS 753440 HAS SOPS 753440 HAS SOUS 695210 HAS SOUPS 695210 WITH SCORE 695963.44
AT ITER 212 NEW BEST:: SOT 4438394 SOS 753350 HAS SOPS 753350 HAS SOUS 695165 HAS SOUPS 695165 WITH SCORE 695918.35
AT ITER 221 NEW BEST:: SOT 4438317 SOS 753196 HAS SOPS 753196 HAS SOUS 694782 HAS SOUPS 694782 WITH SCORE 695535.196
AT ITER 236 NEW BEST:: SOT 4438360 SOS 753143 HAS SOPS 753143 HAS SOUS 694729 HAS SOUPS 694729 WITH SCORE 695482.143
AT ITER 271 NEW BEST:: SOT 4438388 SOS 753011 HAS SOPS 753011 HAS SOUS 694597 HAS SOUPS 694597 WITH SCORE 695350.011
AT ITER 272 NEW BEST:: SOT 4438388 SOS 753011 HAS SOPS 753011 HAS SOUS 694596 HAS SOUPS 694596 WITH SCORE 695349.011
AT ITER 331 NEW BEST:: SOT 4437813 SOS 752436 HAS SOPS 752436 HAS SOUS 694021 HAS SOUPS 694021 WITH SCORE 694773.436
AT ITER 340 NEW BEST:: SOT 4437746 SOS 752302 HAS SOPS 752302 HAS SOUS 693887 HAS SOUPS 693887 WITH SCORE 694639.302
AT ITER 342 NEW BEST:: SOT 4437692 SOS 752194 HAS SOPS 752194 HAS SOUS 693806 HAS SOUPS 693806 WITH SCORE 694558.194
AT ITER 353 NEW BEST:: SOT 4437512 SOS 751834 HAS SOPS 751834 HAS SOUS 693446 HAS SOUPS 693446 WITH SCORE 694197.834
AT ITER 361 NEW BEST:: SOT 4437464 SOS 751738 HAS SOPS 751738 HAS SOUS 693350 HAS SOUPS 693350 WITH SCORE 694101.738
AT ITER 400 NEW BEST:: SOT 4437325 SOS 751599 HAS SOPS 751599 HAS SOUS 693072 HAS SOUPS 693072 WITH SCORE 693823.599
AT ITER 413 NEW BEST:: SOT 4437201 SOS 751351 HAS SOPS 751351 HAS SOUS 692824 HAS SOUPS 692824 WITH SCORE 693575.351
AT ITER 424 NEW BEST:: SOT 4437241 SOS 751431 HAS SOPS 751431 HAS SOUS 692775 HAS SOUPS 692775 WITH SCORE 693526.431
AT ITER 437 NEW BEST:: SOT 4437240 SOS 751429 HAS SOPS 751429 HAS SOUS 692773 HAS SOUPS 692773 WITH SCORE 693524.429
AT ITER 466 NEW BEST:: SOT 4437159 SOS 752231 HAS SOPS 752231 HAS SOUS 692692 HAS SOUPS 692692 WITH SCORE 693444.231
AT ITER 474 NEW BEST:: SOT 4437159 SOS 751997 HAS SOPS 751997 HAS SOUS 692691 HAS SOUPS 692691 WITH SCORE 693442.997
AT ITER 485 NEW BEST:: SOT 4436845 SOS 751859 HAS SOPS 751859 HAS SOUS 692413 HAS SOUPS 692413 WITH SCORE 693164.859
AT ITER 504 NEW BEST:: SOT 4436845 SOS 751859 HAS SOPS 751859 HAS SOUS 692410 HAS SOUPS 692410 WITH SCORE 693161.859
AT ITER 509 NEW BEST:: SOT 4436845 SOS 751859 HAS SOPS 751859 HAS SOUS 692289 HAS SOUPS 692289 WITH SCORE 693040.859
AT ITER 536 NEW BEST:: SOT 4436845 SOS 751820 HAS SOPS 751820 HAS SOUS 692250 HAS SOUPS 692250 WITH SCORE 693001.82
AT ITER 546 NEW BEST:: SOT 4436727 SOS 751466 HAS SOPS 751466 HAS SOUS 692014 HAS SOUPS 692014 WITH SCORE 692765.466
AT ITER 563 NEW BEST:: SOT 4436832 SOS 751337 HAS SOPS 751337 HAS SOUS 692002 HAS SOUPS 692002 WITH SCORE 692753.337
AT ITER 565 NEW BEST:: SOT 4436830 SOS 751333 HAS SOPS 751333 HAS SOUS 692000 HAS SOUPS 692000 WITH SCORE 692751.333
AT ITER 582 NEW BEST:: SOT 4436980 SOS 751226 HAS SOPS 751226 HAS SOUS 691816 HAS SOUPS 691816 WITH SCORE 692567.226
AT ITER 588 NEW BEST:: SOT 4436979 SOS 751335 HAS SOPS 751335 HAS SOUS 691815 HAS SOUPS 691815 WITH SCORE 692566.335
AT ITER 598 NEW BEST:: SOT 4436830 SOS 751037 HAS SOPS 751037 HAS SOUS 691517 HAS SOUPS 691517 WITH SCORE 692268.037
AT ITER 640 NEW BEST:: SOT 4436728 SOS 750935 HAS SOPS 750935 HAS SOUS 691517 HAS SOUPS 691517 WITH SCORE 692267.935
AT ITER 650 NEW BEST:: SOT 4436679 SOS 750524 HAS SOPS 750524 HAS SOUS 691315 HAS SOUPS 691315 WITH SCORE 692065.524
AT ITER 655 NEW BEST:: SOT 4436626 SOS 750501 HAS SOPS 750501 HAS SOUS 691262 HAS SOUPS 691262 WITH SCORE 692012.501
AT ITER 673 NEW BEST:: SOT 4436581 SOS 750411 HAS SOPS 750411 HAS SOUS 691172 HAS SOUPS 691172 WITH SCORE 691922.411
AT ITER 682 NEW BEST:: SOT 4436514 SOS 750277 HAS SOPS 750277 HAS SOUS 690984 HAS SOUPS 690984 WITH SCORE 691734.277
AT ITER 703 NEW BEST:: SOT 4436239 SOS 750333 HAS SOPS 750333 HAS SOUS 690726 HAS SOUPS 690726 WITH SCORE 691476.333
AT ITER 731 NEW BEST:: SOT 4436238 SOS 750331 HAS SOPS 750331 HAS SOUS 690724 HAS SOUPS 690724 WITH SCORE 691474.331
AT ITER 749 NEW BEST:: SOT 4436339 SOS 750533 HAS SOPS 750533 HAS SOUS 690623 HAS SOUPS 690623 WITH SCORE 691373.533
AT ITER 769 NEW BEST:: SOT 4436357 SOS 750569 HAS SOPS 750569 HAS SOUS 690451 HAS SOUPS 690451 WITH SCORE 691201.569
AT ITER 794 NEW BEST:: SOT 4436777 SOS 750797 HAS SOPS 750797 HAS SOUS 690427 HAS SOUPS 690427 WITH SCORE 691177.797
AT ITER 822 NEW BEST:: SOT 4436777 SOS 750711 HAS SOPS 750711 HAS SOUS 690341 HAS SOUPS 690341 WITH SCORE 691091.711
AT ITER 853 NEW BEST:: SOT 4436700 SOS 750648 HAS SOPS 750648 HAS SOUS 690264 HAS SOUPS 690264 WITH SCORE 691014.648
AT ITER 860 NEW BEST:: SOT 4436493 SOS 750443 HAS SOPS 750443 HAS SOUS 690059 HAS SOUPS 690059 WITH SCORE 690809.443
AT ITER 880 NEW BEST:: SOT 4436402 SOS 750352 HAS SOPS 750352 HAS SOUS 689968 HAS SOUPS 689968 WITH SCORE 690718.352
AT ITER 886 NEW BEST:: SOT 4436138 SOS 750109 HAS SOPS 750109 HAS SOUS 689725 HAS SOUPS 689725 WITH SCORE 690475.109
AT ITER 901 NEW BEST:: SOT 4436038 SOS 750009 HAS SOPS 750009 HAS SOUS 689625 HAS SOUPS 689625 WITH SCORE 690375.009
AT ITER 913 NEW BEST:: SOT 4436037 SOS 750186 HAS SOPS 750186 HAS SOUS 689623 HAS SOUPS 689623 WITH SCORE 690373.186
AT ITER 930 NEW BEST:: SOT 4435858 SOS 750024 HAS SOPS 750024 HAS SOUS 689444 HAS SOUPS 689444 WITH SCORE 690194.024
AT ITER 933 NEW BEST:: SOT 4435858 SOS 750024 HAS SOPS 750024 HAS SOUS 689173 HAS SOUPS 689173 WITH SCORE 689923.024
AT ITER 937 NEW BEST:: SOT 4435702 SOS 749712 HAS SOPS 749712 HAS SOUS 688861 HAS SOUPS 688861 WITH SCORE 689610.712
AT ITER 984 NEW BEST:: SOT 4435663 SOS 749686 HAS SOPS 749686 HAS SOUS 688835 HAS SOUPS 688835 WITH SCORE 689584.686
AT ITER 1001 NEW BEST:: SOT 4435443 SOS 749466 HAS SOPS 749466 HAS SOUS 688615 HAS SOUPS 688615 WITH SCORE 689364.466
AT ITER 1033 NEW BEST:: SOT 4435443 SOS 717956 HAS SOPS 717956 HAS SOUS 688615 HAS SOUPS 688615 WITH SCORE 689332.956
AT ITER 1038 NEW BEST:: SOT 4435295 SOS 717807 HAS SOPS 717807 HAS SOUS 688467 HAS SOUPS 688467 WITH SCORE 689184.807
AT ITER 1107 NEW BEST:: SOT 4435216 SOS 717841 HAS SOPS 717841 HAS SOUS 688387 HAS SOUPS 688387 WITH SCORE 689104.841
AT ITER 1116 NEW BEST:: SOT 4435233 SOS 717668 HAS SOPS 717668 HAS SOUS 688214 HAS SOUPS 688214 WITH SCORE 688931.668
AT ITER 1120 NEW BEST:: SOT 4435233 SOS 717667 HAS SOPS 717667 HAS SOUS 688213 HAS SOUPS 688213 WITH SCORE 688930.667
AT ITER 1129 NEW BEST:: SOT 4435218 SOS 717622 HAS SOPS 717622 HAS SOUS 688183 HAS SOUPS 688183 WITH SCORE 688900.622
AT ITER 1131 NEW BEST:: SOT 4435084 SOS 717488 HAS SOPS 717488 HAS SOUS 688049 HAS SOUPS 688049 WITH SCORE 688766.488
AT ITER 1142 NEW BEST:: SOT 4434951 SOS 717222 HAS SOPS 717222 HAS SOUS 687783 HAS SOUPS 687783 WITH SCORE 688500.222
AT ITER 1163 NEW BEST:: SOT 4432303 SOS 714649 HAS SOPS 714649 HAS SOUS 685153 HAS SOUPS 685153 WITH SCORE 685867.649
AT ITER 1171 NEW BEST:: SOT 4432303 SOS 714287 HAS SOPS 714287 HAS SOUS 684972 HAS SOUPS 684972 WITH SCORE 685686.287
AT ITER 1193 NEW BEST:: SOT 4432247 SOS 714175 HAS SOPS 714175 HAS SOUS 684714 HAS SOUPS 684714 WITH SCORE 685428.175
AT ITER 1198 NEW BEST:: SOT 4431960 SOS 713601 HAS SOPS 713601 HAS SOUS 684140 HAS SOUPS 684140 WITH SCORE 684853.601
AT ITER 1209 NEW BEST:: SOT 4431773 SOS 713227 HAS SOPS 713227 HAS SOUS 683726 HAS SOUPS 683726 WITH SCORE 684439.227
AT ITER 1236 NEW BEST:: SOT 4431505 SOS 712996 HAS SOPS 712996 HAS SOUS 683474 HAS SOUPS 683474 WITH SCORE 684186.996
AT ITER 1286 NEW BEST:: SOT 4431295 SOS 712576 HAS SOPS 712576 HAS SOUS 683054 HAS SOUPS 683054 WITH SCORE 683766.576
AT ITER 1299 NEW BEST:: SOT 4431229 SOS 712576 HAS SOPS 712576 HAS SOUS 683021 HAS SOUPS 683021 WITH SCORE 683733.576
AT ITER 1300 NEW BEST:: SOT 4430927 SOS 712123 HAS SOPS 712123 HAS SOUS 682568 HAS SOUPS 682568 WITH SCORE 683280.123
AT ITER 1303 NEW BEST:: SOT 4430927 SOS 712065 HAS SOPS 712065 HAS SOUS 682568 HAS SOUPS 682568 WITH SCORE 683280.065
AT ITER 1312 NEW BEST:: SOT 4430927 SOS 711918 HAS SOPS 711918 HAS SOUS 682421 HAS SOUPS 682421 WITH SCORE 683132.918
AT ITER 1334 NEW BEST:: SOT 4430867 SOS 711798 HAS SOPS 711798 HAS SOUS 682361 HAS SOUPS 682361 WITH SCORE 683072.798
AT ITER 1343 NEW BEST:: SOT 4430267 SOS 711086 HAS SOPS 711086 HAS SOUS 681649 HAS SOUPS 681649 WITH SCORE 682360.086
AT ITER 1361 NEW BEST:: SOT 4430143 SOS 710962 HAS SOPS 710962 HAS SOUS 681401 HAS SOUPS 681401 WITH SCORE 682111.962
AT ITER 1389 NEW BEST:: SOT 4430128 SOS 710961 HAS SOPS 710961 HAS SOUS 681400 HAS SOUPS 681400 WITH SCORE 682110.961
AT ITER 1409 NEW BEST:: SOT 4429965 SOS 710635 HAS SOPS 710635 HAS SOUS 681074 HAS SOUPS 681074 WITH SCORE 681784.635
AT ITER 1431 NEW BEST:: SOT 4429965 SOS 710583 HAS SOPS 710583 HAS SOUS 681022 HAS SOUPS 681022 WITH SCORE 681732.583
AT ITER 1433 NEW BEST:: SOT 4429954 SOS 710561 HAS SOPS 710561 HAS SOUS 681000 HAS SOUPS 681000 WITH SCORE 681710.561
AT ITER 1440 NEW BEST:: SOT 4429915 SOS 710522 HAS SOPS 710522 HAS SOUS 680961 HAS SOUPS 680961 WITH SCORE 681671.522
AT ITER 1448 NEW BEST:: SOT 4429906 SOS 710504 HAS SOPS 710504 HAS SOUS 680939 HAS SOUPS 680939 WITH SCORE 681649.504
AT ITER 1460 NEW BEST:: SOT 4429793 SOS 710456 HAS SOPS 710456 HAS SOUS 680891 HAS SOUPS 680891 WITH SCORE 681601.456
AT ITER 1465 NEW BEST:: SOT 4429658 SOS 710321 HAS SOPS 710321 HAS SOUS 680756 HAS SOUPS 680756 WITH SCORE 681466.321
AT ITER 1472 NEW BEST:: SOT 4429715 SOS 710031 HAS SOPS 710031 HAS SOUS 680639 HAS SOUPS 680639 WITH SCORE 681349.031
AT ITER 1475 NEW BEST:: SOT 4429749 SOS 710099 HAS SOPS 710099 HAS SOUS 680492 HAS SOUPS 680492 WITH SCORE 681202.099
AT ITER 1497 NEW BEST:: SOT 4429640 SOS 710098 HAS SOPS 710098 HAS SOUS 680491 HAS SOUPS 680491 WITH SCORE 681201.098
AT ITER 1510 NEW BEST:: SOT 4428541 SOS 709188 HAS SOPS 709188 HAS SOUS 679576 HAS SOUPS 679576 WITH SCORE 680285.188
AT ITER 1546 NEW BEST:: SOT 4428354 SOS 709001 HAS SOPS 709001 HAS SOUS 679389 HAS SOUPS 679389 WITH SCORE 680098.001
AT ITER 1565 NEW BEST:: SOT 4428353 SOS 708999 HAS SOPS 708999 HAS SOUS 679387 HAS SOUPS 679387 WITH SCORE 680095.999
AT ITER 1578 NEW BEST:: SOT 4428111 SOS 708515 HAS SOPS 708515 HAS SOUS 678903 HAS SOUPS 678903 WITH SCORE 679611.515
AT ITER 1634 NEW BEST:: SOT 4427945 SOS 708348 HAS SOPS 708348 HAS SOUS 678736 HAS SOUPS 678736 WITH SCORE 679444.348
AT ITER 1656 NEW BEST:: SOT 4427721 SOS 708012 HAS SOPS 708012 HAS SOUS 678512 HAS SOUPS 678512 WITH SCORE 679220.012
AT ITER 1663 NEW BEST:: SOT 4427720 SOS 708010 HAS SOPS 708010 HAS SOUS 678510 HAS SOUPS 678510 WITH SCORE 679218.01
AT ITER 1675 NEW BEST:: SOT 4427600 SOS 708076 HAS SOPS 708076 HAS SOUS 678430 HAS SOUPS 678430 WITH SCORE 679138.076
AT ITER 1683 NEW BEST:: SOT 4427537 SOS 707950 HAS SOPS 707950 HAS SOUS 678304 HAS SOUPS 678304 WITH SCORE 679011.95
AT ITER 1711 NEW BEST:: SOT 4427535 SOS 707946 HAS SOPS 707946 HAS SOUS 678302 HAS SOUPS 678302 WITH SCORE 679009.946
AT ITER 1758 NEW BEST:: SOT 4426793 SOS 707204 HAS SOPS 707204 HAS SOUS 677560 HAS SOUPS 677560 WITH SCORE 678267.204
AT ITER 1776 NEW BEST:: SOT 4426792 SOS 707202 HAS SOPS 707202 HAS SOUS 677558 HAS SOUPS 677558 WITH SCORE 678265.202
AT ITER 1820 NEW BEST:: SOT 4425512 SOS 705999 HAS SOPS 705999 HAS SOUS 676355 HAS SOUPS 676355 WITH SCORE 677060.999
AT ITER 1851 NEW BEST:: SOT 4425145 SOS 705685 HAS SOPS 705685 HAS SOUS 676041 HAS SOUPS 676041 WITH SCORE 676746.685
AT ITER 1871 NEW BEST:: SOT 4425089 SOS 705628 HAS SOPS 705628 HAS SOUS 675984 HAS SOUPS 675984 WITH SCORE 676689.628
AT ITER 1874 NEW BEST:: SOT 4425219 SOS 705140 HAS SOPS 705140 HAS SOUS 675806 HAS SOUPS 675806 WITH SCORE 676511.14
AT ITER 1876 NEW BEST:: SOT 4425185 SOS 705072 HAS SOPS 705072 HAS SOUS 675772 HAS SOUPS 675772 WITH SCORE 676477.072
AT ITER 1882 NEW BEST:: SOT 4425185 SOS 705020 HAS SOPS 705020 HAS SOUS 675772 HAS SOUPS 675772 WITH SCORE 676477.02
AT ITER 1891 NEW BEST:: SOT 4425450 SOS 705130 HAS SOPS 705130 HAS SOUS 675617 HAS SOUPS 675617 WITH SCORE 676322.13
AT ITER 1946 NEW BEST:: SOT 4425313 SOS 705008 HAS SOPS 705008 HAS SOUS 675479 HAS SOUPS 675479 WITH SCORE 676184.008
AT ITER 1969 NEW BEST:: SOT 4425296 SOS 704974 HAS SOPS 704974 HAS SOUS 675387 HAS SOUPS 675387 WITH SCORE 676091.974
AT ITER 1981 NEW BEST:: SOT 4425252 SOS 704974 HAS SOPS 704974 HAS SOUS 675366 HAS SOUPS 675366 WITH SCORE 676070.974
AT ITER 1985 NEW BEST:: SOT 4425177 SOS 704749 HAS SOPS 704749 HAS SOUS 675216 HAS SOUPS 675216 WITH SCORE 675920.749
AT ITER 1987 NEW BEST:: SOT 4425040 SOS 704612 HAS SOPS 704612 HAS SOUS 674942 HAS SOUPS 674942 WITH SCORE 675646.612
AT ITER 2028 NEW BEST:: SOT 4424995 SOS 704522 HAS SOPS 704522 HAS SOUS 674852 HAS SOUPS 674852 WITH SCORE 675556.522
AT ITER 2061 NEW BEST:: SOT 4425198 SOS 704553 HAS SOPS 704553 HAS SOUS 674728 HAS SOUPS 674728 WITH SCORE 675432.553
AT ITER 2098 NEW BEST:: SOT 4425040 SOS 704237 HAS SOPS 704237 HAS SOUS 674213 HAS SOUPS 674213 WITH SCORE 674917.237
AT ITER 2110 NEW BEST:: SOT 4424906 SOS 704129 HAS SOPS 704129 HAS SOUS 674079 HAS SOUPS 674079 WITH SCORE 674783.129
AT ITER 2145 NEW BEST:: SOT 4424889 SOS 704121 HAS SOPS 704121 HAS SOUS 674071 HAS SOUPS 674071 WITH SCORE 674775.121
AT ITER 2161 NEW BEST:: SOT 4424946 SOS 704087 HAS SOPS 704087 HAS SOUS 674046 HAS SOUPS 674046 WITH SCORE 674750.087
AT ITER 2163 NEW BEST:: SOT 4424672 SOS 703539 HAS SOPS 703539 HAS SOUS 673498 HAS SOUPS 673498 WITH SCORE 674201.539
AT ITER 2169 NEW BEST:: SOT 4423698 SOS 765881 HAS SOPS 765881 HAS SOUS 672715 HAS SOUPS 672715 WITH SCORE 673480.881
AT ITER 2191 NEW BEST:: SOT 4423671 SOS 765827 HAS SOPS 765827 HAS SOUS 672661 HAS SOUPS 672661 WITH SCORE 673426.827
AT ITER 2193 NEW BEST:: SOT 4423546 SOS 765360 HAS SOPS 765360 HAS SOUS 672319 HAS SOUPS 672319 WITH SCORE 673084.36
AT ITER 2210 NEW BEST:: SOT 4423402 SOS 765230 HAS SOPS 765230 HAS SOUS 672175 HAS SOUPS 672175 WITH SCORE 672940.23
AT ITER 2212 NEW BEST:: SOT 4423338 SOS 765102 HAS SOPS 765102 HAS SOUS 672047 HAS SOUPS 672047 WITH SCORE 672812.102
AT ITER 2241 NEW BEST:: SOT 4423199 SOS 764934 HAS SOPS 764934 HAS SOUS 671866 HAS SOUPS 671866 WITH SCORE 672630.934
AT ITER 2242 NEW BEST:: SOT 4423195 SOS 764926 HAS SOPS 764926 HAS SOUS 671828 HAS SOUPS 671828 WITH SCORE 672592.926
AT ITER 2246 NEW BEST:: SOT 4423118 SOS 764772 HAS SOPS 764772 HAS SOUS 671674 HAS SOUPS 671674 WITH SCORE 672438.772
AT ITER 2266 NEW BEST:: SOT 4423118 SOS 764675 HAS SOPS 764675 HAS SOUS 671674 HAS SOUPS 671674 WITH SCORE 672438.675
AT ITER 2268 NEW BEST:: SOT 4423118 SOS 764675 HAS SOPS 764675 HAS SOUS 671595 HAS SOUPS 671595 WITH SCORE 672359.675
AT ITER 2271 NEW BEST:: SOT 4423088 SOS 764615 HAS SOPS 764615 HAS SOUS 671535 HAS SOUPS 671535 WITH SCORE 672299.615
AT ITER 2291 NEW BEST:: SOT 4423187 SOS 764578 HAS SOPS 764578 HAS SOUS 671498 HAS SOUPS 671498 WITH SCORE 672262.578
AT ITER 2311 NEW BEST:: SOT 4423119 SOS 764442 HAS SOPS 764442 HAS SOUS 671362 HAS SOUPS 671362 WITH SCORE 672126.442
AT ITER 2317 NEW BEST:: SOT 4423093 SOS 764390 HAS SOPS 764390 HAS SOUS 671310 HAS SOUPS 671310 WITH SCORE 672074.39
AT ITER 2332 NEW BEST:: SOT 4423093 SOS 764329 HAS SOPS 764329 HAS SOUS 671309 HAS SOUPS 671309 WITH SCORE 672073.329
AT ITER 2341 NEW BEST:: SOT 4423226 SOS 764174 HAS SOPS 764174 HAS SOUS 671291 HAS SOUPS 671291 WITH SCORE 672055.174
AT ITER 2345 NEW BEST:: SOT 4423090 SOS 764038 HAS SOPS 764038 HAS SOUS 671155 HAS SOUPS 671155 WITH SCORE 671919.038
AT ITER 2363 NEW BEST:: SOT 4422258 SOS 764781 HAS SOPS 764781 HAS SOUS 670818 HAS SOUPS 670818 WITH SCORE 671582.781
AT ITER 2365 NEW BEST:: SOT 4422258 SOS 764582 HAS SOPS 764582 HAS SOUS 670817 HAS SOUPS 670817 WITH SCORE 671581.582
AT ITER 2367 NEW BEST:: SOT 4419675 SOS 772848 HAS SOPS 772848 HAS SOUS 668622 HAS SOUPS 668622 WITH SCORE 669394.848
AT ITER 2401 NEW BEST:: SOT 4419588 SOS 772674 HAS SOPS 772674 HAS SOUS 668448 HAS SOUPS 668448 WITH SCORE 669220.674
AT ITER 2423 NEW BEST:: SOT 4419588 SOS 772673 HAS SOPS 772673 HAS SOUS 668447 HAS SOUPS 668447 WITH SCORE 669219.673
AT ITER 2441 NEW BEST:: SOT 4419588 SOS 772792 HAS SOPS 772792 HAS SOUS 668328 HAS SOUPS 668328 WITH SCORE 669100.792
AT ITER 2443 NEW BEST:: SOT 4415240 SOS 815588 HAS SOPS 815588 HAS SOUS 665682 HAS SOUPS 665682 WITH SCORE 666497.588
AT ITER 2451 NEW BEST:: SOT 4415240 SOS 815564 HAS SOPS 815564 HAS SOUS 665682 HAS SOUPS 665682 WITH SCORE 666497.564
AT ITER 2473 NEW BEST:: SOT 4415033 SOS 815596 HAS SOPS 815596 HAS SOUS 665636 HAS SOUPS 665636 WITH SCORE 666451.596
AT ITER 2476 NEW BEST:: SOT 4415033 SOS 815318 HAS SOPS 815318 HAS SOUS 665636 HAS SOUPS 665636 WITH SCORE 666451.318
AT ITER 2489 NEW BEST:: SOT 4410098 SOS 843676 HAS SOPS 843676 HAS SOUS 663039 HAS SOUPS 663039 WITH SCORE 663882.676
AT ITER 2490 NEW BEST:: SOT 4410013 SOS 843591 HAS SOPS 843591 HAS SOUS 662954 HAS SOUPS 662954 WITH SCORE 663797.591
AT ITER 2521 NEW BEST:: SOT 4409966 SOS 843732 HAS SOPS 843732 HAS SOUS 662907 HAS SOUPS 662907 WITH SCORE 663750.732
AT ITER 2542 NEW BEST:: SOT 4409843 SOS 812329 HAS SOPS 812329 HAS SOUS 662541 HAS SOUPS 662541 WITH SCORE 663353.329
AT ITER 2543 NEW BEST:: SOT 4409740 SOS 812325 HAS SOPS 812325 HAS SOUS 662537 HAS SOUPS 662537 WITH SCORE 663349.325
AT ITER 2544 NEW BEST:: SOT 4409740 SOS 812325 HAS SOPS 812325 HAS SOUS 662406 HAS SOUPS 662406 WITH SCORE 663218.325
AT ITER 2552 NEW BEST:: SOT 4409359 SOS 793923 HAS SOPS 793923 HAS SOUS 661644 HAS SOUPS 661644 WITH SCORE 662437.923
AT ITER 2559 NEW BEST:: SOT 4409191 SOS 793587 HAS SOPS 793587 HAS SOUS 661308 HAS SOUPS 661308 WITH SCORE 662101.587
AT ITER 2585 NEW BEST:: SOT 4409307 SOS 792868 HAS SOPS 792868 HAS SOUS 661130 HAS SOUPS 661130 WITH SCORE 661922.868
AT ITER 2593 NEW BEST:: SOT 4409307 SOS 792868 HAS SOPS 792868 HAS SOUS 661000 HAS SOUPS 661000 WITH SCORE 661792.868
AT ITER 2598 NEW BEST:: SOT 4409307 SOS 792868 HAS SOPS 792868 HAS SOUS 660692 HAS SOUPS 660692 WITH SCORE 661484.868
AT ITER 2602 NEW BEST:: SOT 4409353 SOS 792960 HAS SOPS 792960 HAS SOUS 660509 HAS SOUPS 660509 WITH SCORE 661301.96
AT ITER 2605 NEW BEST:: SOT 4409098 SOS 792705 HAS SOPS 792705 HAS SOUS 660254 HAS SOUPS 660254 WITH SCORE 661046.705
AT ITER 2607 NEW BEST:: SOT 4409098 SOS 792437 HAS SOPS 792437 HAS SOUS 660253 HAS SOUPS 660253 WITH SCORE 661045.437
AT ITER 2609 NEW BEST:: SOT 4409006 SOS 792253 HAS SOPS 792253 HAS SOUS 660220 HAS SOUPS 660220 WITH SCORE 661012.253
AT ITER 2649 NEW BEST:: SOT 4408908 SOS 791444 HAS SOPS 791444 HAS SOUS 660021 HAS SOUPS 660021 WITH SCORE 660812.444
AT ITER 2655 NEW BEST:: SOT 4408885 SOS 791398 HAS SOPS 791398 HAS SOUS 659975 HAS SOUPS 659975 WITH SCORE 660766.398
AT ITER 2662 NEW BEST:: SOT 4408625 SOS 790878 HAS SOPS 790878 HAS SOUS 659877 HAS SOUPS 659877 WITH SCORE 660667.878
AT ITER 2663 NEW BEST:: SOT 4408407 SOS 790442 HAS SOPS 790442 HAS SOUS 659441 HAS SOUPS 659441 WITH SCORE 660231.442
AT ITER 2672 NEW BEST:: SOT 4408092 SOS 790034 HAS SOPS 790034 HAS SOUS 659033 HAS SOUPS 659033 WITH SCORE 659823.034
AT ITER 2675 NEW BEST:: SOT 4408092 SOS 789986 HAS SOPS 789986 HAS SOUS 658985 HAS SOUPS 658985 WITH SCORE 659774.986
AT ITER 2679 NEW BEST:: SOT 4408074 SOS 789950 HAS SOPS 789950 HAS SOUS 658949 HAS SOUPS 658949 WITH SCORE 659738.95
AT ITER 2681 NEW BEST:: SOT 4407739 SOS 789636 HAS SOPS 789636 HAS SOUS 658614 HAS SOUPS 658614 WITH SCORE 659403.636
AT ITER 2685 NEW BEST:: SOT 4397950 SOS 808740 HAS SOPS 808740 HAS SOUS 650177 HAS SOUPS 650177 WITH SCORE 650985.74
AT ITER 2699 NEW BEST:: SOT 4397707 SOS 808254 HAS SOPS 808254 HAS SOUS 650156 HAS SOUPS 650156 WITH SCORE 650964.254
AT ITER 2702 NEW BEST:: SOT 4397689 SOS 808261 HAS SOPS 808261 HAS SOUS 650151 HAS SOUPS 650151 WITH SCORE 650959.261
AT ITER 2711 NEW BEST:: SOT 4397689 SOS 808227 HAS SOPS 808227 HAS SOUS 650117 HAS SOUPS 650117 WITH SCORE 650925.227
AT ITER 2726 NEW BEST:: SOT 4397665 SOS 808179 HAS SOPS 808179 HAS SOUS 650069 HAS SOUPS 650069 WITH SCORE 650877.179
AT ITER 2765 NEW BEST:: SOT 4397461 SOS 808179 HAS SOPS 808179 HAS SOUS 649967 HAS SOUPS 649967 WITH SCORE 650775.179
AT ITER 2793 NEW BEST:: SOT 4397308 SOS 808026 HAS SOPS 808026 HAS SOUS 649966 HAS SOUPS 649966 WITH SCORE 650774.026
AT ITER 2830 NEW BEST:: SOT 4397010 SOS 807728 HAS SOPS 807728 HAS SOUS 649668 HAS SOUPS 649668 WITH SCORE 650475.728
AT ITER 2834 NEW BEST:: SOT 4396820 SOS 807348 HAS SOPS 807348 HAS SOUS 649288 HAS SOUPS 649288 WITH SCORE 650095.348
AT ITER 2854 NEW BEST:: SOT 4396820 SOS 807348 HAS SOPS 807348 HAS SOUS 649287 HAS SOUPS 649287 WITH SCORE 650094.348
AT ITER 2867 NEW BEST:: SOT 4396820 SOS 806982 HAS SOPS 806982 HAS SOUS 649286 HAS SOUPS 649286 WITH SCORE 650092.982
AT ITER 2872 NEW BEST:: SOT 4395756 SOS 807444 HAS SOPS 807444 HAS SOUS 648553 HAS SOUPS 648553 WITH SCORE 649360.444
AT ITER 2880 NEW BEST:: SOT 4395369 SOS 806670 HAS SOPS 806670 HAS SOUS 648165 HAS SOUPS 648165 WITH SCORE 648971.67
AT ITER 2906 NEW BEST:: SOT 4395368 SOS 806668 HAS SOPS 806668 HAS SOUS 648163 HAS SOUPS 648163 WITH SCORE 648969.668
AT ITER 2912 NEW BEST:: SOT 4395295 SOS 806640 HAS SOPS 806640 HAS SOUS 648135 HAS SOUPS 648135 WITH SCORE 648941.64
AT ITER 2917 NEW BEST:: SOT 4395334 SOS 806445 HAS SOPS 806445 HAS SOUS 647979 HAS SOUPS 647979 WITH SCORE 648785.445
AT ITER 2923 NEW BEST:: SOT 4395217 SOS 806211 HAS SOPS 806211 HAS SOUS 647745 HAS SOUPS 647745 WITH SCORE 648551.211
AT ITER 2928 NEW BEST:: SOT 4394919 SOS 805764 HAS SOPS 805764 HAS SOUS 647298 HAS SOUPS 647298 WITH SCORE 648103.764
AT ITER 2932 NEW BEST:: SOT 4394919 SOS 805764 HAS SOPS 805764 HAS SOUS 647164 HAS SOUPS 647164 WITH SCORE 647969.764
AT ITER 3009 NEW BEST:: SOT 4394810 SOS 805546 HAS SOPS 805546 HAS SOUS 646737 HAS SOUPS 646737 WITH SCORE 647542.546
AT ITER 3015 NEW BEST:: SOT 4394793 SOS 805512 HAS SOPS 805512 HAS SOUS 646703 HAS SOUPS 646703 WITH SCORE 647508.512
AT ITER 3033 NEW BEST:: SOT 4394488 SOS 806542 HAS SOPS 806542 HAS SOUS 646599 HAS SOUPS 646599 WITH SCORE 647405.542
AT ITER 3045 NEW BEST:: SOT 4394514 SOS 806594 HAS SOPS 806594 HAS SOUS 646558 HAS SOUPS 646558 WITH SCORE 647364.594
AT ITER 3056 NEW BEST:: SOT 4394371 SOS 806413 HAS SOPS 806413 HAS SOUS 646333 HAS SOUPS 646333 WITH SCORE 647139.413
AT ITER 3083 NEW BEST:: SOT 4393979 SOS 806531 HAS SOPS 806531 HAS SOUS 646172 HAS SOUPS 646172 WITH SCORE 646978.531
AT ITER 3101 NEW BEST:: SOT 4393755 SOS 806531 HAS SOPS 806531 HAS SOUS 645948 HAS SOUPS 645948 WITH SCORE 646754.531
AT ITER 3123 NEW BEST:: SOT 4393743 SOS 806507 HAS SOPS 806507 HAS SOUS 645936 HAS SOUPS 645936 WITH SCORE 646742.507
AT ITER 3146 NEW BEST:: SOT 4393743 SOS 806507 HAS SOPS 806507 HAS SOUS 645792 HAS SOUPS 645792 WITH SCORE 646598.507
AT ITER 3169 NEW BEST:: SOT 4393688 SOS 806397 HAS SOPS 806397 HAS SOUS 645682 HAS SOUPS 645682 WITH SCORE 646488.397
AT ITER 3174 NEW BEST:: SOT 4393707 SOS 805954 HAS SOPS 805954 HAS SOUS 645517 HAS SOUPS 645517 WITH SCORE 646322.954
AT ITER 3176 NEW BEST:: SOT 4393644 SOS 805402 HAS SOPS 805402 HAS SOUS 645028 HAS SOUPS 645028 WITH SCORE 645833.402
AT ITER 3205 NEW BEST:: SOT 4393353 SOS 804820 HAS SOPS 804820 HAS SOUS 644737 HAS SOUPS 644737 WITH SCORE 645541.82
AT ITER 3219 NEW BEST:: SOT 4393100 SOS 804564 HAS SOPS 804564 HAS SOUS 644481 HAS SOUPS 644481 WITH SCORE 645285.564
AT ITER 3224 NEW BEST:: SOT 4392959 SOS 804282 HAS SOPS 804282 HAS SOUS 644136 HAS SOUPS 644136 WITH SCORE 644940.282
AT ITER 3226 NEW BEST:: SOT 4392621 SOS 803994 HAS SOPS 803994 HAS SOUS 643848 HAS SOUPS 643848 WITH SCORE 644651.994
AT ITER 3229 NEW BEST:: SOT 4392621 SOS 803850 HAS SOPS 803850 HAS SOUS 643847 HAS SOUPS 643847 WITH SCORE 644650.85
AT ITER 3237 NEW BEST:: SOT 4392620 SOS 803848 HAS SOPS 803848 HAS SOUS 643845 HAS SOUPS 643845 WITH SCORE 644648.848
AT ITER 3254 NEW BEST:: SOT 4392603 SOS 803936 HAS SOPS 803936 HAS SOUS 643828 HAS SOUPS 643828 WITH SCORE 644631.936
AT ITER 3260 NEW BEST:: SOT 4391877 SOS 802895 HAS SOPS 802895 HAS SOUS 643376 HAS SOUPS 643376 WITH SCORE 644178.895
AT ITER 3263 NEW BEST:: SOT 4392004 SOS 803358 HAS SOPS 803358 HAS SOUS 643375 HAS SOUPS 643375 WITH SCORE 644178.358
AT ITER 3269 NEW BEST:: SOT 4391900 SOS 803254 HAS SOPS 803254 HAS SOUS 643271 HAS SOUPS 643271 WITH SCORE 644074.254
AT ITER 3272 NEW BEST:: SOT 4391795 SOS 803044 HAS SOPS 803044 HAS SOUS 643166 HAS SOUPS 643166 WITH SCORE 643969.044
AT ITER 3274 NEW BEST:: SOT 4391795 SOS 803044 HAS SOPS 803044 HAS SOUS 642973 HAS SOUPS 642973 WITH SCORE 643776.044
AT ITER 3292 NEW BEST:: SOT 4391732 SOS 802918 HAS SOPS 802918 HAS SOUS 642847 HAS SOUPS 642847 WITH SCORE 643649.918
AT ITER 3298 NEW BEST:: SOT 4391731 SOS 802917 HAS SOPS 802917 HAS SOUS 642846 HAS SOUPS 642846 WITH SCORE 643648.917
AT ITER 3301 NEW BEST:: SOT 4391731 SOS 802757 HAS SOPS 802757 HAS SOUS 642846 HAS SOUPS 642846 WITH SCORE 643648.757
AT ITER 3304 NEW BEST:: SOT 4391538 SOS 802371 HAS SOPS 802371 HAS SOUS 642527 HAS SOUPS 642527 WITH SCORE 643329.371
AT ITER 3312 NEW BEST:: SOT 4390782 SOS 801426 HAS SOPS 801426 HAS SOUS 641582 HAS SOUPS 641582 WITH SCORE 642383.426
AT ITER 3383 NEW BEST:: SOT 4390450 SOS 801426 HAS SOPS 801426 HAS SOUS 641333 HAS SOUPS 641333 WITH SCORE 642134.426
AT ITER 3393 NEW BEST:: SOT 4390450 SOS 801358 HAS SOPS 801358 HAS SOUS 641333 HAS SOUPS 641333 WITH SCORE 642134.358
AT ITER 3405 NEW BEST:: SOT 4390421 SOS 801300 HAS SOPS 801300 HAS SOUS 641262 HAS SOUPS 641262 WITH SCORE 642063.3
AT ITER 3409 NEW BEST:: SOT 4390480 SOS 801017 HAS SOPS 801017 HAS SOUS 640979 HAS SOUPS 640979 WITH SCORE 641780.017
AT ITER 3427 NEW BEST:: SOT 4390480 SOS 800839 HAS SOPS 800839 HAS SOUS 640979 HAS SOUPS 640979 WITH SCORE 641779.839
AT ITER 3453 NEW BEST:: SOT 4390479 SOS 800837 HAS SOPS 800837 HAS SOUS 640977 HAS SOUPS 640977 WITH SCORE 641777.837
AT ITER 3458 NEW BEST:: SOT 4390447 SOS 800773 HAS SOPS 800773 HAS SOUS 640945 HAS SOUPS 640945 WITH SCORE 641745.773
AT ITER 3470 NEW BEST:: SOT 4390132 SOS 800795 HAS SOPS 800795 HAS SOUS 640743 HAS SOUPS 640743 WITH SCORE 641543.795
AT ITER 3496 NEW BEST:: SOT 4390157 SOS 800778 HAS SOPS 800778 HAS SOUS 640730 HAS SOUPS 640730 WITH SCORE 641530.778
AT ITER 3520 NEW BEST:: SOT 4390071 SOS 800606 HAS SOPS 800606 HAS SOUS 640558 HAS SOUPS 640558 WITH SCORE 641358.606
AT ITER 3523 NEW BEST:: SOT 4389284 SOS 799839 HAS SOPS 799839 HAS SOUS 639779 HAS SOUPS 639779 WITH SCORE 640578.839
AT ITER 3531 NEW BEST:: SOT 4389186 SOS 799839 HAS SOPS 799839 HAS SOUS 639730 HAS SOUPS 639730 WITH SCORE 640529.839
AT ITER 3545 NEW BEST:: SOT 4389114 SOS 799695 HAS SOPS 799695 HAS SOUS 639658 HAS SOUPS 639658 WITH SCORE 640457.695
AT ITER 3557 NEW BEST:: SOT 4388922 SOS 799029 HAS SOPS 799029 HAS SOUS 639273 HAS SOUPS 639273 WITH SCORE 640072.029
AT ITER 3562 NEW BEST:: SOT 4388886 SOS 798957 HAS SOPS 798957 HAS SOUS 639237 HAS SOUPS 639237 WITH SCORE 640035.957
AT ITER 3565 NEW BEST:: SOT 4388808 SOS 798801 HAS SOPS 798801 HAS SOUS 639081 HAS SOUPS 639081 WITH SCORE 639879.801
AT ITER 3567 NEW BEST:: SOT 4388699 SOS 798583 HAS SOPS 798583 HAS SOUS 638838 HAS SOUPS 638838 WITH SCORE 639636.583
AT ITER 3570 NEW BEST:: SOT 4388665 SOS 798515 HAS SOPS 798515 HAS SOUS 638770 HAS SOUPS 638770 WITH SCORE 639568.515
AT ITER 3586 NEW BEST:: SOT 4388665 SOS 798050 HAS SOPS 798050 HAS SOUS 638770 HAS SOUPS 638770 WITH SCORE 639568.05
AT ITER 3589 NEW BEST:: SOT 4388665 SOS 797782 HAS SOPS 797782 HAS SOUS 638770 HAS SOUPS 638770 WITH SCORE 639567.782
AT ITER 3594 NEW BEST:: SOT 4388245 SOS 797362 HAS SOPS 797362 HAS SOUS 638350 HAS SOUPS 638350 WITH SCORE 639147.362
AT ITER 3607 NEW BEST:: SOT 4388344 SOS 796850 HAS SOPS 796850 HAS SOUS 638193 HAS SOUPS 638193 WITH SCORE 638989.85
AT ITER 3609 NEW BEST:: SOT 4388301 SOS 796578 HAS SOPS 796578 HAS SOUS 638107 HAS SOUPS 638107 WITH SCORE 638903.578
AT ITER 3615 NEW BEST:: SOT 4388060 SOS 796096 HAS SOPS 796096 HAS SOUS 637947 HAS SOUPS 637947 WITH SCORE 638743.096
AT ITER 3619 NEW BEST:: SOT 4388059 SOS 796094 HAS SOPS 796094 HAS SOUS 637945 HAS SOUPS 637945 WITH SCORE 638741.094
AT ITER 3651 NEW BEST:: SOT 4388067 SOS 796110 HAS SOPS 796110 HAS SOUS 637733 HAS SOUPS 637733 WITH SCORE 638529.11
AT ITER 3658 NEW BEST:: SOT 4388067 SOS 795750 HAS SOPS 795750 HAS SOUS 637732 HAS SOUPS 637732 WITH SCORE 638527.75
AT ITER 3664 NEW BEST:: SOT 4387336 SOS 794288 HAS SOPS 794288 HAS SOUS 636375 HAS SOUPS 636375 WITH SCORE 637169.288
AT ITER 3702 NEW BEST:: SOT 4387509 SOS 794410 HAS SOPS 794410 HAS SOUS 636313 HAS SOUPS 636313 WITH SCORE 637107.41
AT ITER 3718 NEW BEST:: SOT 4387509 SOS 794410 HAS SOPS 794410 HAS SOUS 636129 HAS SOUPS 636129 WITH SCORE 636923.41
AT ITER 3726 NEW BEST:: SOT 4387509 SOS 794007 HAS SOPS 794007 HAS SOUS 636129 HAS SOUPS 636129 WITH SCORE 636923.007
AT ITER 3727 NEW BEST:: SOT 4387495 SOS 793986 HAS SOPS 793986 HAS SOUS 636108 HAS SOUPS 636108 WITH SCORE 636901.986
AT ITER 3728 NEW BEST:: SOT 4387553 SOS 793918 HAS SOPS 793918 HAS SOUS 636040 HAS SOUPS 636040 WITH SCORE 636833.918
AT ITER 3730 NEW BEST:: SOT 4387465 SOS 793742 HAS SOPS 793742 HAS SOUS 635863 HAS SOUPS 635863 WITH SCORE 636656.742
AT ITER 3732 NEW BEST:: SOT 4387433 SOS 793799 HAS SOPS 793799 HAS SOUS 635755 HAS SOUPS 635755 WITH SCORE 636548.799
AT ITER 3758 NEW BEST:: SOT 4387377 SOS 793687 HAS SOPS 793687 HAS SOUS 635643 HAS SOUPS 635643 WITH SCORE 636436.687
AT ITER 3795 NEW BEST:: SOT 4387303 SOS 793613 HAS SOPS 793613 HAS SOUS 635532 HAS SOUPS 635532 WITH SCORE 636325.613
AT ITER 3812 NEW BEST:: SOT 4387210 SOS 793279 HAS SOPS 793279 HAS SOUS 635291 HAS SOUPS 635291 WITH SCORE 636084.279
AT ITER 3816 NEW BEST:: SOT 4387041 SOS 792941 HAS SOPS 792941 HAS SOUS 634953 HAS SOUPS 634953 WITH SCORE 635745.941
AT ITER 3822 NEW BEST:: SOT 4387003 SOS 792929 HAS SOPS 792929 HAS SOUS 634925 HAS SOUPS 634925 WITH SCORE 635717.929
AT ITER 3833 NEW BEST:: SOT 4387002 SOS 792735 HAS SOPS 792735 HAS SOUS 634923 HAS SOUPS 634923 WITH SCORE 635715.735
AT ITER 3860 NEW BEST:: SOT 4386908 SOS 792547 HAS SOPS 792547 HAS SOUS 634922 HAS SOUPS 634922 WITH SCORE 635714.547
AT ITER 3884 NEW BEST:: SOT 4386853 SOS 792437 HAS SOPS 792437 HAS SOUS 634812 HAS SOUPS 634812 WITH SCORE 635604.437
AT ITER 3892 NEW BEST:: SOT 4386792 SOS 792315 HAS SOPS 792315 HAS SOUS 634690 HAS SOUPS 634690 WITH SCORE 635482.315
AT ITER 3945 NEW BEST:: SOT 4386934 SOS 791915 HAS SOPS 791915 HAS SOUS 634490 HAS SOUPS 634490 WITH SCORE 635281.915
AT ITER 3957 NEW BEST:: SOT 4386801 SOS 791782 HAS SOPS 791782 HAS SOUS 634357 HAS SOUPS 634357 WITH SCORE 635148.782
AT ITER 3997 NEW BEST:: SOT 4386904 SOS 791988 HAS SOPS 791988 HAS SOUS 634250 HAS SOUPS 634250 WITH SCORE 635041.988
AT ITER 4014 NEW BEST:: SOT 4386834 SOS 791848 HAS SOPS 791848 HAS SOUS 634110 HAS SOUPS 634110 WITH SCORE 634901.848
AT ITER 4026 NEW BEST:: SOT 4387035 SOS 792250 HAS SOPS 792250 HAS SOUS 634071 HAS SOUPS 634071 WITH SCORE 634863.25
AT ITER 4036 NEW BEST:: SOT 4386902 SOS 791851 HAS SOPS 791851 HAS SOUS 633805 HAS SOUPS 633805 WITH SCORE 634596.851
AT ITER 4041 NEW BEST:: SOT 4386832 SOS 791781 HAS SOPS 791781 HAS SOUS 633735 HAS SOUPS 633735 WITH SCORE 634526.781
AT ITER 4060 NEW BEST:: SOT 4386568 SOS 791253 HAS SOPS 791253 HAS SOUS 633207 HAS SOUPS 633207 WITH SCORE 633998.253
AT ITER 4143 NEW BEST:: SOT 4386498 SOS 791113 HAS SOPS 791113 HAS SOUS 632883 HAS SOUPS 632883 WITH SCORE 633674.113
AT ITER 4153 NEW BEST:: SOT 4386440 SOS 790530 HAS SOPS 790530 HAS SOUS 632621 HAS SOUPS 632621 WITH SCORE 633411.53
AT ITER 4193 NEW BEST:: SOT 4386440 SOS 790394 HAS SOPS 790394 HAS SOUS 632621 HAS SOUPS 632621 WITH SCORE 633411.394
AT ITER 4195 NEW BEST:: SOT 4386424 SOS 790319 HAS SOPS 790319 HAS SOUS 632562 HAS SOUPS 632562 WITH SCORE 633352.319
AT ITER 4214 NEW BEST:: SOT 4386423 SOS 790317 HAS SOPS 790317 HAS SOUS 632560 HAS SOUPS 632560 WITH SCORE 633350.317
AT ITER 4239 NEW BEST:: SOT 4386423 SOS 790017 HAS SOPS 790017 HAS SOUS 632559 HAS SOUPS 632559 WITH SCORE 633349.017
AT ITER 4257 NEW BEST:: SOT 4386423 SOS 789818 HAS SOPS 789818 HAS SOUS 632360 HAS SOUPS 632360 WITH SCORE 633149.818
AT ITER 4259 NEW BEST:: SOT 4386273 SOS 789518 HAS SOPS 789518 HAS SOUS 632048 HAS SOUPS 632048 WITH SCORE 632837.518
AT ITER 4263 NEW BEST:: SOT 4385928 SOS 788828 HAS SOPS 788828 HAS SOUS 631408 HAS SOUPS 631408 WITH SCORE 632196.828
AT ITER 4270 NEW BEST:: SOT 4385765 SOS 788502 HAS SOPS 788502 HAS SOUS 631275 HAS SOUPS 631275 WITH SCORE 632063.502
AT ITER 4276 NEW BEST:: SOT 4384619 SOS 787498 HAS SOPS 787498 HAS SOUS 630129 HAS SOUPS 630129 WITH SCORE 630916.498
AT ITER 4277 NEW BEST:: SOT 4384226 SOS 791538 HAS SOPS 791538 HAS SOUS 629736 HAS SOUPS 629736 WITH SCORE 630527.538
AT ITER 4282 NEW BEST:: SOT 4384225 SOS 791536 HAS SOPS 791536 HAS SOUS 629734 HAS SOUPS 629734 WITH SCORE 630525.536
AT ITER 4308 NEW BEST:: SOT 4384200 SOS 791486 HAS SOPS 791486 HAS SOUS 629684 HAS SOUPS 629684 WITH SCORE 630475.486
AT ITER 4310 NEW BEST:: SOT 4384200 SOS 791187 HAS SOPS 791187 HAS SOUS 629384 HAS SOUPS 629384 WITH SCORE 630175.187
AT ITER 4321 NEW BEST:: SOT 4384030 SOS 790847 HAS SOPS 790847 HAS SOUS 629044 HAS SOUPS 629044 WITH SCORE 629834.847
AT ITER 4349 NEW BEST:: SOT 4383997 SOS 790781 HAS SOPS 790781 HAS SOUS 628978 HAS SOUPS 628978 WITH SCORE 629768.781
AT ITER 4376 NEW BEST:: SOT 4383997 SOS 790756 HAS SOPS 790756 HAS SOUS 628953 HAS SOUPS 628953 WITH SCORE 629743.756
AT ITER 4401 NEW BEST:: SOT 4383840 SOS 790599 HAS SOPS 790599 HAS SOUS 628796 HAS SOUPS 628796 WITH SCORE 629586.599
AT ITER 4408 NEW BEST:: SOT 4383683 SOS 790603 HAS SOPS 790603 HAS SOUS 628705 HAS SOUPS 628705 WITH SCORE 629495.603
AT ITER 4421 NEW BEST:: SOT 4383563 SOS 790483 HAS SOPS 790483 HAS SOUS 628584 HAS SOUPS 628584 WITH SCORE 629374.483
AT ITER 4427 NEW BEST:: SOT 4383563 SOS 790483 HAS SOPS 790483 HAS SOUS 628501 HAS SOUPS 628501 WITH SCORE 629291.483
AT ITER 4429 NEW BEST:: SOT 4383486 SOS 790329 HAS SOPS 790329 HAS SOUS 628347 HAS SOUPS 628347 WITH SCORE 629137.329
AT ITER 4464 NEW BEST:: SOT 4383372 SOS 790101 HAS SOPS 790101 HAS SOUS 628119 HAS SOUPS 628119 WITH SCORE 628909.101
AT ITER 4494 NEW BEST:: SOT 4383372 SOS 790073 HAS SOPS 790073 HAS SOUS 628119 HAS SOUPS 628119 WITH SCORE 628909.073
AT ITER 4509 NEW BEST:: SOT 4383130 SOS 789831 HAS SOPS 789831 HAS SOUS 627877 HAS SOUPS 627877 WITH SCORE 628666.831
AT ITER 4533 NEW BEST:: SOT 4383171 SOS 789712 HAS SOPS 789712 HAS SOUS 627758 HAS SOUPS 627758 WITH SCORE 628547.712
AT ITER 4534 NEW BEST:: SOT 4383152 SOS 789674 HAS SOPS 789674 HAS SOUS 627720 HAS SOUPS 627720 WITH SCORE 628509.674
AT ITER 4555 NEW BEST:: SOT 4383152 SOS 789494 HAS SOPS 789494 HAS SOUS 627720 HAS SOUPS 627720 WITH SCORE 628509.494
AT ITER 4573 NEW BEST:: SOT 4383113 SOS 789416 HAS SOPS 789416 HAS SOUS 627642 HAS SOUPS 627642 WITH SCORE 628431.416
AT ITER 4610 NEW BEST:: SOT 4383035 SOS 789365 HAS SOPS 789365 HAS SOUS 627620 HAS SOUPS 627620 WITH SCORE 628409.365
AT ITER 4625 NEW BEST:: SOT 4382923 SOS 789253 HAS SOPS 789253 HAS SOUS 627508 HAS SOUPS 627508 WITH SCORE 628297.253
AT ITER 4628 NEW BEST:: SOT 4382833 SOS 789073 HAS SOPS 789073 HAS SOUS 627328 HAS SOUPS 627328 WITH SCORE 628117.073
AT ITER 4664 NEW BEST:: SOT 4382720 SOS 788967 HAS SOPS 788967 HAS SOUS 627215 HAS SOUPS 627215 WITH SCORE 628003.967
AT ITER 4669 NEW BEST:: SOT 4382720 SOS 788738 HAS SOPS 788738 HAS SOUS 627215 HAS SOUPS 627215 WITH SCORE 628003.738
AT ITER 4697 NEW BEST:: SOT 4383145 SOS 768126 HAS SOPS 768126 HAS SOUS 627129 HAS SOUPS 627129 WITH SCORE 627897.126
AT ITER 4708 NEW BEST:: SOT 4382847 SOS 768078 HAS SOPS 768078 HAS SOUS 626916 HAS SOUPS 626916 WITH SCORE 627684.078
AT ITER 4709 NEW BEST:: SOT 4382741 SOS 768222 HAS SOPS 768222 HAS SOUS 626897 HAS SOUPS 626897 WITH SCORE 627665.222
AT ITER 4715 NEW BEST:: SOT 4382609 SOS 767708 HAS SOPS 767708 HAS SOUS 626515 HAS SOUPS 626515 WITH SCORE 627282.708
AT ITER 4747 NEW BEST:: SOT 4382586 SOS 767639 HAS SOPS 767639 HAS SOUS 626469 HAS SOUPS 626469 WITH SCORE 627236.639
AT ITER 4806 NEW BEST:: SOT 4382454 SOS 767375 HAS SOPS 767375 HAS SOUS 626278 HAS SOUPS 626278 WITH SCORE 627045.375
AT ITER 4808 NEW BEST:: SOT 4382213 SOS 766893 HAS SOPS 766893 HAS SOUS 626037 HAS SOUPS 626037 WITH SCORE 626803.893
AT ITER 4814 NEW BEST:: SOT 4381855 SOS 766713 HAS SOPS 766713 HAS SOUS 625739 HAS SOUPS 625739 WITH SCORE 626505.713
AT ITER 4824 NEW BEST:: SOT 4381855 SOS 766724 HAS SOPS 766724 HAS SOUS 625728 HAS SOUPS 625728 WITH SCORE 626494.724
AT ITER 4827 NEW BEST:: SOT 4381473 SOS 766344 HAS SOPS 766344 HAS SOUS 625225 HAS SOUPS 625225 WITH SCORE 625991.344
AT ITER 4835 NEW BEST:: SOT 4381472 SOS 766342 HAS SOPS 766342 HAS SOUS 625223 HAS SOUPS 625223 WITH SCORE 625989.342
AT ITER 4847 NEW BEST:: SOT 4381242 SOS 766112 HAS SOPS 766112 HAS SOUS 624993 HAS SOUPS 624993 WITH SCORE 625759.112
AT ITER 4864 NEW BEST:: SOT 4381242 SOS 766058 HAS SOPS 766058 HAS SOUS 624993 HAS SOUPS 624993 WITH SCORE 625759.058
AT ITER 4871 NEW BEST:: SOT 4381254 SOS 766082 HAS SOPS 766082 HAS SOUS 624959 HAS SOUPS 624959 WITH SCORE 625725.082
AT ITER 4887 NEW BEST:: SOT 4381226 SOS 766026 HAS SOPS 766026 HAS SOUS 624903 HAS SOUPS 624903 WITH SCORE 625669.026
AT ITER 4888 NEW BEST:: SOT 4381089 SOS 765889 HAS SOPS 765889 HAS SOUS 624902 HAS SOUPS 624902 WITH SCORE 625667.889
AT ITER 4931 NEW BEST:: SOT 4381068 SOS 765884 HAS SOPS 765884 HAS SOUS 624880 HAS SOUPS 624880 WITH SCORE 625645.884
AT ITER 4953 NEW BEST:: SOT 4380990 SOS 765728 HAS SOPS 765728 HAS SOUS 624724 HAS SOUPS 624724 WITH SCORE 625489.728
AT ITER 4959 NEW BEST:: SOT 4380861 SOS 765470 HAS SOPS 765470 HAS SOUS 624466 HAS SOUPS 624466 WITH SCORE 625231.47
AT ITER 4980 NEW BEST:: SOT 4380798 SOS 765344 HAS SOPS 765344 HAS SOUS 624340 HAS SOUPS 624340 WITH SCORE 625105.344
AT ITER 4985 NEW BEST:: SOT 4380680 SOS 765108 HAS SOPS 765108 HAS SOUS 624213 HAS SOUPS 624213 WITH SCORE 624978.108
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: CloudReconfiguration-PT-304-CTLCardinality-00 (! (AG( ( ( potential( (tk(P1239)) <= (tk(P779)) ) & potential( ( 1 ) <= (tk(P653)) ) ) | potential( (tk(P505)) <= (tk(P2381)) ) ))))
PROPERTY: CloudReconfiguration-PT-304-CTLCardinality-01 (EF(potential( ( 2 ) <= (tk(P1552)) )))
PROPERTY: CloudReconfiguration-PT-304-CTLCardinality-02 (AF((! ( potential( (tk(P629)) <= (tk(P575)) ) | (! potential( ( 3 ) <= (tk(P1689)) )) ))))
PROPERTY: CloudReconfiguration-PT-304-CTLCardinality-03 ( (! (EG( ( potential( ( 2 ) <= (tk(P1614)) ) | potential( ( 1 ) <= (tk(P1553)) ) )))) & (EF(potential( ( 2 ) <= (tk(P1686)) ))) )
PROPERTY: CloudReconfiguration-PT-304-CTLCardinality-04 ( ( ( (EF(potential( (tk(P2064)) <= (tk(P2478)) ))) & ( ( potential( ( 1 ) <= (tk(P1893)) ) & potential( (tk(P25)) <= (tk(P192)) ) ) & potential( ( 1 ) <= (tk(P496)) ) ) ) & (EU( potential( ( 2 ) <= (tk(P297)) ),potential( ( 3 ) <= (tk(P800)) ) )) ) | (! ( (AF(potential( ( 3 ) <= (tk(P1200)) ))) | (EG( potential( ( 3 ) <= (tk(P65)) ))) )) )
PROPERTY: CloudReconfiguration-PT-304-CTLCardinality-05 (EX( (AU( potential( (tk(P1370)) <= (tk(P2467)) ),potential( ( 1 ) <= (tk(P1359)) ) ))))
PROPERTY: CloudReconfiguration-PT-304-CTLCardinality-06 (EF((AF(potential( ( 1 ) <= (tk(P1603)) )))))
PROPERTY: CloudReconfiguration-PT-304-CTLCardinality-07 ( (EF(( ( potential( (tk(P87)) <= (tk(P2022)) ) & potential( ( 2 ) <= (tk(P615)) ) ) | ( potential( ( 1 ) <= (tk(P787)) ) | potential( ( 3 ) <= (tk(P2295)) ) ) ))) & (! ( (AG( potential( ( 1 ) <= (tk(P1841)) ))) | ( (! potential( ( 1 ) <= (tk(P224)) )) & ( potential( ( 2 ) <= (tk(P1835)) ) & potential( (tk(P1899)) <= (tk(P536)) ) ) ) )) )
PROPERTY: CloudReconfiguration-PT-304-CTLCardinality-08 (AF(potential( ( 1 ) <= (tk(P789)) )))
PROPERTY: CloudReconfiguration-PT-304-CTLCardinality-09 (AX( (EF(( potential( ( 3 ) <= (tk(P767)) ) & potential( ( 2 ) <= (tk(P2107)) ) )))))
PROPERTY: CloudReconfiguration-PT-304-CTLCardinality-10 (AG( ( (AF(potential( ( 3 ) <= (tk(P2336)) ))) | (EG( potential( (tk(P704)) <= (tk(P283)) ))) )))
PROPERTY: CloudReconfiguration-PT-304-CTLCardinality-11 (AF(potential( ( 2 ) <= (tk(P2202)) )))
PROPERTY: CloudReconfiguration-PT-304-CTLCardinality-12 ( (EF(( ( potential( (tk(P1110)) <= (tk(P66)) ) & potential( ( 2 ) <= (tk(P68)) ) ) & (! potential( ( 3 ) <= (tk(P1484)) )) ))) | (EF((EG( potential( (tk(P2177)) <= (tk(P1841)) ))))) )
PROPERTY: CloudReconfiguration-PT-304-CTLCardinality-13 (EU( ( ( potential( ( 2 ) <= (tk(P1334)) ) & potential( ( 2 ) <= (tk(P1656)) ) ) | ( potential( (tk(P1644)) <= (tk(P2116)) ) | potential( (tk(P1468)) <= (tk(P795)) ) ) ),potential( ( 1 ) <= (tk(P732)) ) ))
PROPERTY: CloudReconfiguration-PT-304-CTLCardinality-14 ( (EF((AX( potential( ( 2 ) <= (tk(P449)) ))))) | ( (EF(( potential( (tk(P1393)) <= (tk(P1094)) ) & potential( (tk(P981)) <= (tk(P554)) ) ))) & (EG( (! potential( (tk(P480)) <= (tk(P1751)) )))) ) )
PROPERTY: CloudReconfiguration-PT-304-CTLCardinality-15 (AU( (EF(potential( (tk(P425)) <= (tk(P1491)) ))),(AF(potential( ( 3 ) <= (tk(P100)) ))) ))

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="CloudReconfiguration-PT-304"
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 CloudReconfiguration-PT-304, 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-158902541600027"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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