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

About the Execution of smart for CloudReconfiguration-PT-305

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15765.170 3600000.00 3600078.00 9.90 [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-158902541600035.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-305, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902541600035
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 836K
-rw-r--r-- 1 mcc users 4.0K Mar 30 01:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 30 01:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 28 16:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K 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.7K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K 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 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 27 08:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 27 08:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 26 08:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K 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-305-CTLCardinality-00
FORMULA_NAME CloudReconfiguration-PT-305-CTLCardinality-01
FORMULA_NAME CloudReconfiguration-PT-305-CTLCardinality-02
FORMULA_NAME CloudReconfiguration-PT-305-CTLCardinality-03
FORMULA_NAME CloudReconfiguration-PT-305-CTLCardinality-04
FORMULA_NAME CloudReconfiguration-PT-305-CTLCardinality-05
FORMULA_NAME CloudReconfiguration-PT-305-CTLCardinality-06
FORMULA_NAME CloudReconfiguration-PT-305-CTLCardinality-07
FORMULA_NAME CloudReconfiguration-PT-305-CTLCardinality-08
FORMULA_NAME CloudReconfiguration-PT-305-CTLCardinality-09
FORMULA_NAME CloudReconfiguration-PT-305-CTLCardinality-10
FORMULA_NAME CloudReconfiguration-PT-305-CTLCardinality-11
FORMULA_NAME CloudReconfiguration-PT-305-CTLCardinality-12
FORMULA_NAME CloudReconfiguration-PT-305-CTLCardinality-13
FORMULA_NAME CloudReconfiguration-PT-305-CTLCardinality-14
FORMULA_NAME CloudReconfiguration-PT-305-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589088036208

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 305
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: 2585 places, 3095 transitions, 6463 arcs.
AT ITER 0 NEW BEST:: SOT 4443229 SOS 758854 HAS SOPS 758854 HAS SOUS 699876 HAS SOUPS 699876 WITH SCORE 700634.854
AT ITER 11 NEW BEST:: SOT 4439268 SOS 754893 HAS SOPS 754893 HAS SOUS 695949 HAS SOUPS 695949 WITH SCORE 696703.893
AT ITER 32 NEW BEST:: SOT 4439268 SOS 754623 HAS SOPS 754623 HAS SOUS 695949 HAS SOUPS 695949 WITH SCORE 696703.623
AT ITER 34 NEW BEST:: SOT 4439268 SOS 754517 HAS SOPS 754517 HAS SOUS 695949 HAS SOUPS 695949 WITH SCORE 696703.517
AT ITER 83 NEW BEST:: SOT 4437633 SOS 787829 HAS SOPS 787829 HAS SOUS 695657 HAS SOUPS 695657 WITH SCORE 696444.829
AT ITER 84 NEW BEST:: SOT 4437492 SOS 787963 HAS SOPS 787963 HAS SOUS 695607 HAS SOUPS 695607 WITH SCORE 696394.963
AT ITER 87 NEW BEST:: SOT 4437492 SOS 787963 HAS SOPS 787963 HAS SOUS 695592 HAS SOUPS 695592 WITH SCORE 696379.963
AT ITER 94 NEW BEST:: SOT 4437440 SOS 787859 HAS SOPS 787859 HAS SOUS 695488 HAS SOUPS 695488 WITH SCORE 696275.859
AT ITER 104 NEW BEST:: SOT 4437413 SOS 787923 HAS SOPS 787923 HAS SOUS 695461 HAS SOUPS 695461 WITH SCORE 696248.923
AT ITER 115 NEW BEST:: SOT 4437413 SOS 787552 HAS SOPS 787552 HAS SOUS 695461 HAS SOUPS 695461 WITH SCORE 696248.552
AT ITER 144 NEW BEST:: SOT 4437382 SOS 787459 HAS SOPS 787459 HAS SOUS 695399 HAS SOUPS 695399 WITH SCORE 696186.459
AT ITER 157 NEW BEST:: SOT 4437382 SOS 787323 HAS SOPS 787323 HAS SOUS 695263 HAS SOUPS 695263 WITH SCORE 696050.323
AT ITER 166 NEW BEST:: SOT 4437268 SOS 787095 HAS SOPS 787095 HAS SOUS 695149 HAS SOUPS 695149 WITH SCORE 695936.095
AT ITER 172 NEW BEST:: SOT 4437194 SOS 787153 HAS SOPS 787153 HAS SOUS 695113 HAS SOUPS 695113 WITH SCORE 695900.153
AT ITER 198 NEW BEST:: SOT 4437305 SOS 786900 HAS SOPS 786900 HAS SOUS 694954 HAS SOUPS 694954 WITH SCORE 695740.9
AT ITER 214 NEW BEST:: SOT 4437018 SOS 786326 HAS SOPS 786326 HAS SOUS 694666 HAS SOUPS 694666 WITH SCORE 695452.326
AT ITER 223 NEW BEST:: SOT 4437076 SOS 786442 HAS SOPS 786442 HAS SOUS 694488 HAS SOUPS 694488 WITH SCORE 695274.442
AT ITER 241 NEW BEST:: SOT 4437052 SOS 786394 HAS SOPS 786394 HAS SOUS 694440 HAS SOUPS 694440 WITH SCORE 695226.394
AT ITER 244 NEW BEST:: SOT 4437052 SOS 786088 HAS SOPS 786088 HAS SOUS 694287 HAS SOUPS 694287 WITH SCORE 695073.088
AT ITER 249 NEW BEST:: SOT 4436954 SOS 785892 HAS SOPS 785892 HAS SOUS 694091 HAS SOUPS 694091 WITH SCORE 694876.892
AT ITER 278 NEW BEST:: SOT 4436704 SOS 785392 HAS SOPS 785392 HAS SOUS 693591 HAS SOUPS 693591 WITH SCORE 694376.392
AT ITER 281 NEW BEST:: SOT 4436704 SOS 785392 HAS SOPS 785392 HAS SOUS 693350 HAS SOUPS 693350 WITH SCORE 694135.392
AT ITER 322 NEW BEST:: SOT 4436356 SOS 785105 HAS SOPS 785105 HAS SOUS 692884 HAS SOUPS 692884 WITH SCORE 693669.105
AT ITER 333 NEW BEST:: SOT 4436356 SOS 785050 HAS SOPS 785050 HAS SOUS 692829 HAS SOUPS 692829 WITH SCORE 693614.05
AT ITER 334 NEW BEST:: SOT 4436356 SOS 785050 HAS SOPS 785050 HAS SOUS 692720 HAS SOUPS 692720 WITH SCORE 693505.05
AT ITER 339 NEW BEST:: SOT 4436356 SOS 784907 HAS SOPS 784907 HAS SOUS 692719 HAS SOUPS 692719 WITH SCORE 693503.907
AT ITER 392 NEW BEST:: SOT 4436046 SOS 784633 HAS SOPS 784633 HAS SOUS 692417 HAS SOUPS 692417 WITH SCORE 693201.633
AT ITER 412 NEW BEST:: SOT 4436094 SOS 784632 HAS SOPS 784632 HAS SOUS 692368 HAS SOUPS 692368 WITH SCORE 693152.632
AT ITER 448 NEW BEST:: SOT 4435986 SOS 784590 HAS SOPS 784590 HAS SOUS 692260 HAS SOUPS 692260 WITH SCORE 693044.59
AT ITER 463 NEW BEST:: SOT 4435019 SOS 783926 HAS SOPS 783926 HAS SOUS 691092 HAS SOUPS 691092 WITH SCORE 691875.926
AT ITER 482 NEW BEST:: SOT 4434857 SOS 783764 HAS SOPS 783764 HAS SOUS 690930 HAS SOUPS 690930 WITH SCORE 691713.764
AT ITER 517 NEW BEST:: SOT 4434609 SOS 783268 HAS SOPS 783268 HAS SOUS 690525 HAS SOUPS 690525 WITH SCORE 691308.268
AT ITER 521 NEW BEST:: SOT 4434405 SOS 783064 HAS SOPS 783064 HAS SOUS 690321 HAS SOUPS 690321 WITH SCORE 691104.064
AT ITER 531 NEW BEST:: SOT 4434295 SOS 782844 HAS SOPS 782844 HAS SOUS 690265 HAS SOUPS 690265 WITH SCORE 691047.844
AT ITER 534 NEW BEST:: SOT 4434295 SOS 782593 HAS SOPS 782593 HAS SOUS 690265 HAS SOUPS 690265 WITH SCORE 691047.593
AT ITER 538 NEW BEST:: SOT 4434232 SOS 782530 HAS SOPS 782530 HAS SOUS 690202 HAS SOUPS 690202 WITH SCORE 690984.53
AT ITER 581 NEW BEST:: SOT 4434232 SOS 782530 HAS SOPS 782530 HAS SOUS 690164 HAS SOUPS 690164 WITH SCORE 690946.53
AT ITER 589 NEW BEST:: SOT 4428325 SOS 790666 HAS SOPS 790666 HAS SOUS 684781 HAS SOUPS 684781 WITH SCORE 685571.666
AT ITER 601 NEW BEST:: SOT 4428300 SOS 790616 HAS SOPS 790616 HAS SOUS 684731 HAS SOUPS 684731 WITH SCORE 685521.616
AT ITER 609 NEW BEST:: SOT 4428025 SOS 790482 HAS SOPS 790482 HAS SOUS 684581 HAS SOUPS 684581 WITH SCORE 685371.482
AT ITER 626 NEW BEST:: SOT 4425968 SOS 788787 HAS SOPS 788787 HAS SOUS 682596 HAS SOUPS 682596 WITH SCORE 683384.787
AT ITER 627 NEW BEST:: SOT 4425827 SOS 788415 HAS SOPS 788415 HAS SOUS 682365 HAS SOUPS 682365 WITH SCORE 683153.415
AT ITER 629 NEW BEST:: SOT 4425741 SOS 788243 HAS SOPS 788243 HAS SOUS 682310 HAS SOUPS 682310 WITH SCORE 683098.243
AT ITER 645 NEW BEST:: SOT 4425680 SOS 788024 HAS SOPS 788024 HAS SOUS 682152 HAS SOUPS 682152 WITH SCORE 682940.024
AT ITER 646 NEW BEST:: SOT 4425704 SOS 788072 HAS SOPS 788072 HAS SOUS 682019 HAS SOUPS 682019 WITH SCORE 682807.072
AT ITER 667 NEW BEST:: SOT 4425626 SOS 787780 HAS SOPS 787780 HAS SOUS 681731 HAS SOUPS 681731 WITH SCORE 682518.78
AT ITER 689 NEW BEST:: SOT 4425602 SOS 787756 HAS SOPS 787756 HAS SOUS 681683 HAS SOUPS 681683 WITH SCORE 682470.756
AT ITER 706 NEW BEST:: SOT 4425584 SOS 787353 HAS SOPS 787353 HAS SOUS 681345 HAS SOUPS 681345 WITH SCORE 682132.353
AT ITER 707 NEW BEST:: SOT 4425745 SOS 787220 HAS SOPS 787220 HAS SOUS 681251 HAS SOUPS 681251 WITH SCORE 682038.22
AT ITER 726 NEW BEST:: SOT 4425687 SOS 787104 HAS SOPS 787104 HAS SOUS 681135 HAS SOUPS 681135 WITH SCORE 681922.104
AT ITER 833 NEW BEST:: SOT 4425534 SOS 786950 HAS SOPS 786950 HAS SOUS 680981 HAS SOUPS 680981 WITH SCORE 681767.95
AT ITER 848 NEW BEST:: SOT 4425503 SOS 786888 HAS SOPS 786888 HAS SOUS 680919 HAS SOUPS 680919 WITH SCORE 681705.888
AT ITER 859 NEW BEST:: SOT 4425503 SOS 786770 HAS SOPS 786770 HAS SOUS 680919 HAS SOUPS 680919 WITH SCORE 681705.77
AT ITER 861 NEW BEST:: SOT 4425492 SOS 786759 HAS SOPS 786759 HAS SOUS 680908 HAS SOUPS 680908 WITH SCORE 681694.759
AT ITER 874 NEW BEST:: SOT 4425505 SOS 786227 HAS SOPS 786227 HAS SOUS 680648 HAS SOUPS 680648 WITH SCORE 681434.227
AT ITER 901 NEW BEST:: SOT 4425071 SOS 785359 HAS SOPS 785359 HAS SOUS 679944 HAS SOUPS 679944 WITH SCORE 680729.359
AT ITER 908 NEW BEST:: SOT 4425036 SOS 785334 HAS SOPS 785334 HAS SOUS 679914 HAS SOUPS 679914 WITH SCORE 680699.334
AT ITER 919 NEW BEST:: SOT 4423222 SOS 789294 HAS SOPS 789294 HAS SOUS 679111 HAS SOUPS 679111 WITH SCORE 679900.294
AT ITER 940 NEW BEST:: SOT 4423042 SOS 789114 HAS SOPS 789114 HAS SOUS 678931 HAS SOUPS 678931 WITH SCORE 679720.114
AT ITER 957 NEW BEST:: SOT 4422837 SOS 788704 HAS SOPS 788704 HAS SOUS 678776 HAS SOUPS 678776 WITH SCORE 679564.704
AT ITER 988 NEW BEST:: SOT 4422836 SOS 788702 HAS SOPS 788702 HAS SOUS 678774 HAS SOUPS 678774 WITH SCORE 679562.702
AT ITER 992 NEW BEST:: SOT 4422937 SOS 788904 HAS SOPS 788904 HAS SOUS 678736 HAS SOUPS 678736 WITH SCORE 679524.904
AT ITER 1006 NEW BEST:: SOT 4422651 SOS 788652 HAS SOPS 788652 HAS SOUS 678417 HAS SOUPS 678417 WITH SCORE 679205.652
AT ITER 1024 NEW BEST:: SOT 4422389 SOS 788428 HAS SOPS 788428 HAS SOUS 678192 HAS SOUPS 678192 WITH SCORE 678980.428
AT ITER 1033 NEW BEST:: SOT 4422363 SOS 788402 HAS SOPS 788402 HAS SOUS 678165 HAS SOUPS 678165 WITH SCORE 678953.402
AT ITER 1059 NEW BEST:: SOT 4422363 SOS 788296 HAS SOPS 788296 HAS SOUS 678164 HAS SOUPS 678164 WITH SCORE 678952.296
AT ITER 1086 NEW BEST:: SOT 4422324 SOS 788218 HAS SOPS 788218 HAS SOUS 678086 HAS SOUPS 678086 WITH SCORE 678874.218
AT ITER 1087 NEW BEST:: SOT 4422318 SOS 788206 HAS SOPS 788206 HAS SOUS 678074 HAS SOUPS 678074 WITH SCORE 678862.206
AT ITER 1096 NEW BEST:: SOT 4422317 SOS 788204 HAS SOPS 788204 HAS SOUS 678072 HAS SOUPS 678072 WITH SCORE 678860.204
AT ITER 1098 NEW BEST:: SOT 4422317 SOS 788204 HAS SOPS 788204 HAS SOUS 678033 HAS SOUPS 678033 WITH SCORE 678821.204
AT ITER 1128 NEW BEST:: SOT 4422187 SOS 788074 HAS SOPS 788074 HAS SOUS 677903 HAS SOUPS 677903 WITH SCORE 678691.074
AT ITER 1131 NEW BEST:: SOT 4421896 SOS 787492 HAS SOPS 787492 HAS SOUS 677321 HAS SOUPS 677321 WITH SCORE 678108.492
AT ITER 1178 NEW BEST:: SOT 4421692 SOS 787288 HAS SOPS 787288 HAS SOUS 677321 HAS SOUPS 677321 WITH SCORE 678108.288
AT ITER 1203 NEW BEST:: SOT 4421692 SOS 787108 HAS SOPS 787108 HAS SOUS 677321 HAS SOUPS 677321 WITH SCORE 678108.108
AT ITER 1218 NEW BEST:: SOT 4421692 SOS 787013 HAS SOPS 787013 HAS SOUS 677226 HAS SOUPS 677226 WITH SCORE 678013.013
AT ITER 1232 NEW BEST:: SOT 4421350 SOS 786671 HAS SOPS 786671 HAS SOUS 677226 HAS SOUPS 677226 WITH SCORE 678012.671
AT ITER 1274 NEW BEST:: SOT 4421350 SOS 786668 HAS SOPS 786668 HAS SOUS 677226 HAS SOUPS 677226 WITH SCORE 678012.668
AT ITER 1281 NEW BEST:: SOT 4421174 SOS 786543 HAS SOPS 786543 HAS SOUS 677056 HAS SOUPS 677056 WITH SCORE 677842.543
AT ITER 1328 NEW BEST:: SOT 4421358 SOS 786381 HAS SOPS 786381 HAS SOUS 676842 HAS SOUPS 676842 WITH SCORE 677628.381
AT ITER 1330 NEW BEST:: SOT 4421353 SOS 786371 HAS SOPS 786371 HAS SOUS 676832 HAS SOUPS 676832 WITH SCORE 677618.371
AT ITER 1376 NEW BEST:: SOT 4421015 SOS 786693 HAS SOPS 786693 HAS SOUS 676631 HAS SOUPS 676631 WITH SCORE 677417.693
AT ITER 1377 NEW BEST:: SOT 4420979 SOS 786621 HAS SOPS 786621 HAS SOUS 676595 HAS SOUPS 676595 WITH SCORE 677381.621
AT ITER 1389 NEW BEST:: SOT 4420979 SOS 786621 HAS SOPS 786621 HAS SOUS 676577 HAS SOUPS 676577 WITH SCORE 677363.621
AT ITER 1400 NEW BEST:: SOT 4420774 SOS 786211 HAS SOPS 786211 HAS SOUS 676148 HAS SOUPS 676148 WITH SCORE 676934.211
AT ITER 1440 NEW BEST:: SOT 4420700 SOS 786665 HAS SOPS 786665 HAS SOUS 676074 HAS SOUPS 676074 WITH SCORE 676860.665
AT ITER 1442 NEW BEST:: SOT 4420348 SOS 786359 HAS SOPS 786359 HAS SOUS 675768 HAS SOUPS 675768 WITH SCORE 676554.359
AT ITER 1447 NEW BEST:: SOT 4420348 SOS 786359 HAS SOPS 786359 HAS SOUS 675483 HAS SOUPS 675483 WITH SCORE 676269.359
AT ITER 1448 NEW BEST:: SOT 4420210 SOS 786083 HAS SOPS 786083 HAS SOUS 675207 HAS SOUPS 675207 WITH SCORE 675993.083
AT ITER 1460 NEW BEST:: SOT 4419710 SOS 785333 HAS SOPS 785333 HAS SOUS 674457 HAS SOUPS 674457 WITH SCORE 675242.333
AT ITER 1470 NEW BEST:: SOT 4419766 SOS 785389 HAS SOPS 785389 HAS SOUS 674435 HAS SOUPS 674435 WITH SCORE 675220.389
AT ITER 1495 NEW BEST:: SOT 4419597 SOS 785220 HAS SOPS 785220 HAS SOUS 674266 HAS SOUPS 674266 WITH SCORE 675051.22
AT ITER 1503 NEW BEST:: SOT 4419607 SOS 784884 HAS SOPS 784884 HAS SOUS 673920 HAS SOUPS 673920 WITH SCORE 674704.884
AT ITER 1509 NEW BEST:: SOT 4419606 SOS 784882 HAS SOPS 784882 HAS SOUS 673918 HAS SOUPS 673918 WITH SCORE 674702.882
AT ITER 1528 NEW BEST:: SOT 4419692 SOS 784672 HAS SOPS 784672 HAS SOUS 673803 HAS SOUPS 673803 WITH SCORE 674587.672
AT ITER 1532 NEW BEST:: SOT 4419686 SOS 784666 HAS SOPS 784666 HAS SOUS 673802 HAS SOUPS 673802 WITH SCORE 674586.666
AT ITER 1572 NEW BEST:: SOT 4419632 SOS 783828 HAS SOPS 783828 HAS SOUS 673487 HAS SOUPS 673487 WITH SCORE 674270.828
AT ITER 1589 NEW BEST:: SOT 4419630 SOS 783483 HAS SOPS 783483 HAS SOUS 673144 HAS SOUPS 673144 WITH SCORE 673927.483
AT ITER 1598 NEW BEST:: SOT 4419509 SOS 783241 HAS SOPS 783241 HAS SOUS 673023 HAS SOUPS 673023 WITH SCORE 673806.241
AT ITER 1604 NEW BEST:: SOT 4419385 SOS 783117 HAS SOPS 783117 HAS SOUS 672899 HAS SOUPS 672899 WITH SCORE 673682.117
AT ITER 1660 NEW BEST:: SOT 4419293 SOS 783179 HAS SOPS 783179 HAS SOUS 672858 HAS SOUPS 672858 WITH SCORE 673641.179
AT ITER 1671 NEW BEST:: SOT 4418985 SOS 782894 HAS SOPS 782894 HAS SOUS 672354 HAS SOUPS 672354 WITH SCORE 673136.894
AT ITER 1678 NEW BEST:: SOT 4418853 SOS 782776 HAS SOPS 782776 HAS SOUS 672222 HAS SOUPS 672222 WITH SCORE 673004.776
AT ITER 1693 NEW BEST:: SOT 4418853 SOS 782776 HAS SOPS 782776 HAS SOUS 672178 HAS SOUPS 672178 WITH SCORE 672960.776
AT ITER 1703 NEW BEST:: SOT 4412599 SOS 842633 HAS SOPS 842633 HAS SOUS 668848 HAS SOUPS 668848 WITH SCORE 669690.633
AT ITER 1728 NEW BEST:: SOT 4412533 SOS 842769 HAS SOPS 842769 HAS SOUS 668782 HAS SOUPS 668782 WITH SCORE 669624.769
AT ITER 1773 NEW BEST:: SOT 4412309 SOS 842321 HAS SOPS 842321 HAS SOUS 668334 HAS SOUPS 668334 WITH SCORE 669176.321
AT ITER 1810 NEW BEST:: SOT 4412308 SOS 842271 HAS SOPS 842271 HAS SOUS 668333 HAS SOUPS 668333 WITH SCORE 669175.271
AT ITER 1845 NEW BEST:: SOT 4412302 SOS 842102 HAS SOPS 842102 HAS SOUS 668220 HAS SOUPS 668220 WITH SCORE 669062.102
AT ITER 1847 NEW BEST:: SOT 4412195 SOS 842044 HAS SOPS 842044 HAS SOUS 668138 HAS SOUPS 668138 WITH SCORE 668980.044
AT ITER 1848 NEW BEST:: SOT 4411602 SOS 841588 HAS SOPS 841588 HAS SOUS 667613 HAS SOUPS 667613 WITH SCORE 668454.588
AT ITER 1872 NEW BEST:: SOT 4411602 SOS 841441 HAS SOPS 841441 HAS SOUS 667613 HAS SOUPS 667613 WITH SCORE 668454.441
AT ITER 1880 NEW BEST:: SOT 4411441 SOS 841119 HAS SOPS 841119 HAS SOUS 667291 HAS SOUPS 667291 WITH SCORE 668132.119
AT ITER 1895 NEW BEST:: SOT 4411441 SOS 840866 HAS SOPS 840866 HAS SOUS 667290 HAS SOUPS 667290 WITH SCORE 668130.866
AT ITER 1898 NEW BEST:: SOT 4411112 SOS 840580 HAS SOPS 840580 HAS SOUS 666791 HAS SOUPS 666791 WITH SCORE 667631.58
AT ITER 1904 NEW BEST:: SOT 4411111 SOS 840579 HAS SOPS 840579 HAS SOUS 666789 HAS SOUPS 666789 WITH SCORE 667629.579
AT ITER 1946 NEW BEST:: SOT 4402418 SOS 889973 HAS SOPS 889973 HAS SOUS 660967 HAS SOUPS 660967 WITH SCORE 661856.973
AT ITER 1982 NEW BEST:: SOT 4402362 SOS 889861 HAS SOPS 889861 HAS SOUS 660903 HAS SOUPS 660903 WITH SCORE 661792.861
AT ITER 2011 NEW BEST:: SOT 4402172 SOS 889481 HAS SOPS 889481 HAS SOUS 660523 HAS SOUPS 660523 WITH SCORE 661412.481
AT ITER 2043 NEW BEST:: SOT 4402172 SOS 889409 HAS SOPS 889409 HAS SOUS 660523 HAS SOUPS 660523 WITH SCORE 661412.409
AT ITER 2058 NEW BEST:: SOT 4401987 SOS 889401 HAS SOPS 889401 HAS SOUS 660393 HAS SOUPS 660393 WITH SCORE 661282.401
AT ITER 2078 NEW BEST:: SOT 4401956 SOS 889339 HAS SOPS 889339 HAS SOUS 660319 HAS SOUPS 660319 WITH SCORE 661208.339
AT ITER 2122 NEW BEST:: SOT 4402062 SOS 889551 HAS SOPS 889551 HAS SOUS 660297 HAS SOUPS 660297 WITH SCORE 661186.551
AT ITER 2124 NEW BEST:: SOT 4401916 SOS 889405 HAS SOPS 889405 HAS SOUS 660151 HAS SOUPS 660151 WITH SCORE 661040.405
AT ITER 2129 NEW BEST:: SOT 4401727 SOS 889027 HAS SOPS 889027 HAS SOUS 659773 HAS SOUPS 659773 WITH SCORE 660662.027
AT ITER 2132 NEW BEST:: SOT 4401641 SOS 888941 HAS SOPS 888941 HAS SOUS 659724 HAS SOUPS 659724 WITH SCORE 660612.941
AT ITER 2182 NEW BEST:: SOT 4401531 SOS 888887 HAS SOPS 888887 HAS SOUS 659614 HAS SOUPS 659614 WITH SCORE 660502.887
AT ITER 2183 NEW BEST:: SOT 4401403 SOS 888631 HAS SOPS 888631 HAS SOUS 659358 HAS SOUPS 659358 WITH SCORE 660246.631
AT ITER 2184 NEW BEST:: SOT 4401403 SOS 888631 HAS SOPS 888631 HAS SOUS 659089 HAS SOUPS 659089 WITH SCORE 659977.631
AT ITER 2185 NEW BEST:: SOT 4401403 SOS 888631 HAS SOPS 888631 HAS SOUS 659088 HAS SOUPS 659088 WITH SCORE 659976.631
AT ITER 2191 NEW BEST:: SOT 4401297 SOS 888419 HAS SOPS 888419 HAS SOUS 658876 HAS SOUPS 658876 WITH SCORE 659764.419
AT ITER 2216 NEW BEST:: SOT 4401150 SOS 888125 HAS SOPS 888125 HAS SOUS 658582 HAS SOUPS 658582 WITH SCORE 659470.125
AT ITER 2221 NEW BEST:: SOT 4401327 SOS 887845 HAS SOPS 887845 HAS SOUS 658530 HAS SOUPS 658530 WITH SCORE 659417.845
AT ITER 2231 NEW BEST:: SOT 4401270 SOS 887731 HAS SOPS 887731 HAS SOUS 658416 HAS SOUPS 658416 WITH SCORE 659303.731
AT ITER 2242 NEW BEST:: SOT 4401482 SOS 887742 HAS SOPS 887742 HAS SOUS 658325 HAS SOUPS 658325 WITH SCORE 659212.742
AT ITER 2252 NEW BEST:: SOT 4401218 SOS 887478 HAS SOPS 887478 HAS SOUS 658161 HAS SOUPS 658161 WITH SCORE 659048.478
AT ITER 2257 NEW BEST:: SOT 4401127 SOS 887296 HAS SOPS 887296 HAS SOUS 658070 HAS SOUPS 658070 WITH SCORE 658957.296
AT ITER 2261 NEW BEST:: SOT 4399964 SOS 888127 HAS SOPS 888127 HAS SOUS 657546 HAS SOUPS 657546 WITH SCORE 658434.127
AT ITER 2291 NEW BEST:: SOT 4399812 SOS 888127 HAS SOPS 888127 HAS SOUS 657470 HAS SOUPS 657470 WITH SCORE 658358.127
AT ITER 2294 NEW BEST:: SOT 4399572 SOS 887887 HAS SOPS 887887 HAS SOUS 657230 HAS SOUPS 657230 WITH SCORE 658117.887
AT ITER 2307 NEW BEST:: SOT 4399572 SOS 887668 HAS SOPS 887668 HAS SOUS 657011 HAS SOUPS 657011 WITH SCORE 657898.668
AT ITER 2311 NEW BEST:: SOT 4399395 SOS 887314 HAS SOPS 887314 HAS SOUS 656657 HAS SOUPS 656657 WITH SCORE 657544.314
AT ITER 2330 NEW BEST:: SOT 4393749 SOS 890745 HAS SOPS 890745 HAS SOUS 651713 HAS SOUPS 651713 WITH SCORE 652603.745
AT ITER 2349 NEW BEST:: SOT 4393735 SOS 890717 HAS SOPS 890717 HAS SOUS 651474 HAS SOUPS 651474 WITH SCORE 652364.717
AT ITER 2391 NEW BEST:: SOT 4393735 SOS 890717 HAS SOPS 890717 HAS SOUS 651473 HAS SOUPS 651473 WITH SCORE 652363.717
AT ITER 2460 NEW BEST:: SOT 4393615 SOS 890357 HAS SOPS 890357 HAS SOUS 651233 HAS SOUPS 651233 WITH SCORE 652123.357
AT ITER 2470 NEW BEST:: SOT 4393577 SOS 890281 HAS SOPS 890281 HAS SOUS 650967 HAS SOUPS 650967 WITH SCORE 651857.281
AT ITER 2490 NEW BEST:: SOT 4393577 SOS 889995 HAS SOPS 889995 HAS SOUS 650967 HAS SOUPS 650967 WITH SCORE 651856.995
AT ITER 2491 NEW BEST:: SOT 4393575 SOS 889991 HAS SOPS 889991 HAS SOUS 650963 HAS SOUPS 650963 WITH SCORE 651852.991
AT ITER 2493 NEW BEST:: SOT 4393573 SOS 889987 HAS SOPS 889987 HAS SOUS 650959 HAS SOUPS 650959 WITH SCORE 651848.987
AT ITER 2507 NEW BEST:: SOT 4393572 SOS 889639 HAS SOPS 889639 HAS SOUS 650957 HAS SOUPS 650957 WITH SCORE 651846.639
AT ITER 2523 NEW BEST:: SOT 4393500 SOS 889495 HAS SOPS 889495 HAS SOUS 650813 HAS SOUPS 650813 WITH SCORE 651702.495
AT ITER 2535 NEW BEST:: SOT 4393230 SOS 888687 HAS SOPS 888687 HAS SOUS 650273 HAS SOUPS 650273 WITH SCORE 651161.687
AT ITER 2544 NEW BEST:: SOT 4393230 SOS 888672 HAS SOPS 888672 HAS SOUS 650258 HAS SOUPS 650258 WITH SCORE 651146.672
AT ITER 2550 NEW BEST:: SOT 4393045 SOS 888398 HAS SOPS 888398 HAS SOUS 649984 HAS SOUPS 649984 WITH SCORE 650872.398
AT ITER 2556 NEW BEST:: SOT 4392770 SOS 887848 HAS SOPS 887848 HAS SOUS 649745 HAS SOUPS 649745 WITH SCORE 650632.848
AT ITER 2557 NEW BEST:: SOT 4392718 SOS 887744 HAS SOPS 887744 HAS SOUS 649693 HAS SOUPS 649693 WITH SCORE 650580.744
AT ITER 2604 NEW BEST:: SOT 4392613 SOS 887534 HAS SOPS 887534 HAS SOUS 649483 HAS SOUPS 649483 WITH SCORE 650370.534
AT ITER 2645 NEW BEST:: SOT 4392458 SOS 887224 HAS SOPS 887224 HAS SOUS 649328 HAS SOUPS 649328 WITH SCORE 650215.224
AT ITER 2650 NEW BEST:: SOT 4392377 SOS 887062 HAS SOPS 887062 HAS SOUS 649166 HAS SOUPS 649166 WITH SCORE 650053.062
AT ITER 2660 NEW BEST:: SOT 4392377 SOS 886939 HAS SOPS 886939 HAS SOUS 649043 HAS SOUPS 649043 WITH SCORE 649929.939
AT ITER 2687 NEW BEST:: SOT 4392324 SOS 887062 HAS SOPS 887062 HAS SOUS 648851 HAS SOUPS 648851 WITH SCORE 649738.062
AT ITER 2693 NEW BEST:: SOT 4392258 SOS 887033 HAS SOPS 887033 HAS SOUS 648805 HAS SOUPS 648805 WITH SCORE 649692.033
AT ITER 2697 NEW BEST:: SOT 4392233 SOS 886983 HAS SOPS 886983 HAS SOUS 648701 HAS SOUPS 648701 WITH SCORE 649587.983
AT ITER 2708 NEW BEST:: SOT 4392109 SOS 886859 HAS SOPS 886859 HAS SOUS 648577 HAS SOUPS 648577 WITH SCORE 649463.859
AT ITER 2718 NEW BEST:: SOT 4392109 SOS 886859 HAS SOPS 886859 HAS SOUS 648489 HAS SOUPS 648489 WITH SCORE 649375.859
AT ITER 2780 NEW BEST:: SOT 4391208 SOS 889221 HAS SOPS 889221 HAS SOUS 648240 HAS SOUPS 648240 WITH SCORE 649129.221
AT ITER 2788 NEW BEST:: SOT 4391178 SOS 889161 HAS SOPS 889161 HAS SOUS 648180 HAS SOUPS 648180 WITH SCORE 649069.161
AT ITER 2806 NEW BEST:: SOT 4391149 SOS 888663 HAS SOPS 888663 HAS SOUS 648122 HAS SOUPS 648122 WITH SCORE 649010.663
AT ITER 2809 NEW BEST:: SOT 4391125 SOS 888615 HAS SOPS 888615 HAS SOUS 648074 HAS SOUPS 648074 WITH SCORE 648962.615
AT ITER 2811 NEW BEST:: SOT 4391179 SOS 888372 HAS SOPS 888372 HAS SOUS 647818 HAS SOUPS 647818 WITH SCORE 648706.372
AT ITER 2822 NEW BEST:: SOT 4391015 SOS 888295 HAS SOPS 888295 HAS SOUS 647702 HAS SOUPS 647702 WITH SCORE 648590.295
AT ITER 2826 NEW BEST:: SOT 4390763 SOS 888043 HAS SOPS 888043 HAS SOUS 647450 HAS SOUPS 647450 WITH SCORE 648338.043
AT ITER 2830 NEW BEST:: SOT 4390369 SOS 887565 HAS SOPS 887565 HAS SOUS 647303 HAS SOUPS 647303 WITH SCORE 648190.565
AT ITER 2835 NEW BEST:: SOT 4390223 SOS 887653 HAS SOPS 887653 HAS SOUS 647294 HAS SOUPS 647294 WITH SCORE 648181.653
AT ITER 2864 NEW BEST:: SOT 4390222 SOS 887652 HAS SOPS 887652 HAS SOUS 647292 HAS SOUPS 647292 WITH SCORE 648179.652
AT ITER 2890 NEW BEST:: SOT 4390222 SOS 887536 HAS SOPS 887536 HAS SOUS 647292 HAS SOUPS 647292 WITH SCORE 648179.536
AT ITER 2892 NEW BEST:: SOT 4390381 SOS 887854 HAS SOPS 887854 HAS SOUS 647184 HAS SOUPS 647184 WITH SCORE 648071.854
AT ITER 2894 NEW BEST:: SOT 4390380 SOS 887852 HAS SOPS 887852 HAS SOUS 647182 HAS SOUPS 647182 WITH SCORE 648069.852
AT ITER 2923 NEW BEST:: SOT 4390112 SOS 887584 HAS SOPS 887584 HAS SOUS 646966 HAS SOUPS 646966 WITH SCORE 647853.584
AT ITER 2926 NEW BEST:: SOT 4389980 SOS 887320 HAS SOPS 887320 HAS SOUS 646702 HAS SOUPS 646702 WITH SCORE 647589.32
AT ITER 2932 NEW BEST:: SOT 4389835 SOS 887175 HAS SOPS 887175 HAS SOUS 646702 HAS SOUPS 646702 WITH SCORE 647589.175
AT ITER 2953 NEW BEST:: SOT 4389838 SOS 887181 HAS SOPS 887181 HAS SOUS 646609 HAS SOUPS 646609 WITH SCORE 647496.181
AT ITER 2960 NEW BEST:: SOT 4389555 SOS 886615 HAS SOPS 886615 HAS SOUS 646043 HAS SOUPS 646043 WITH SCORE 646929.615
AT ITER 2983 NEW BEST:: SOT 4389173 SOS 885851 HAS SOPS 885851 HAS SOUS 645754 HAS SOUPS 645754 WITH SCORE 646639.851
AT ITER 2994 NEW BEST:: SOT 4389111 SOS 885727 HAS SOPS 885727 HAS SOUS 645630 HAS SOUPS 645630 WITH SCORE 646515.727
AT ITER 3022 NEW BEST:: SOT 4388943 SOS 885391 HAS SOPS 885391 HAS SOUS 645294 HAS SOUPS 645294 WITH SCORE 646179.391
AT ITER 3033 NEW BEST:: SOT 4388529 SOS 884951 HAS SOPS 884951 HAS SOUS 644854 HAS SOUPS 644854 WITH SCORE 645738.951
AT ITER 3055 NEW BEST:: SOT 4388348 SOS 884521 HAS SOPS 884521 HAS SOUS 644492 HAS SOUPS 644492 WITH SCORE 645376.521
AT ITER 3072 NEW BEST:: SOT 4388348 SOS 884330 HAS SOPS 884330 HAS SOUS 644492 HAS SOUPS 644492 WITH SCORE 645376.33
AT ITER 3086 NEW BEST:: SOT 4388238 SOS 884882 HAS SOPS 884882 HAS SOUS 644382 HAS SOUPS 644382 WITH SCORE 645266.882
AT ITER 3089 NEW BEST:: SOT 4388236 SOS 884878 HAS SOPS 884878 HAS SOUS 644380 HAS SOUPS 644380 WITH SCORE 645264.878
AT ITER 3128 NEW BEST:: SOT 4388188 SOS 884782 HAS SOPS 884782 HAS SOUS 644372 HAS SOUPS 644372 WITH SCORE 645256.782
AT ITER 3140 NEW BEST:: SOT 4388188 SOS 884582 HAS SOPS 884582 HAS SOUS 644372 HAS SOUPS 644372 WITH SCORE 645256.582
AT ITER 3146 NEW BEST:: SOT 4388188 SOS 884381 HAS SOPS 884381 HAS SOUS 644372 HAS SOUPS 644372 WITH SCORE 645256.381
AT ITER 3165 NEW BEST:: SOT 4388173 SOS 884351 HAS SOPS 884351 HAS SOUS 644357 HAS SOUPS 644357 WITH SCORE 645241.351
AT ITER 3174 NEW BEST:: SOT 4388166 SOS 884109 HAS SOPS 884109 HAS SOUS 644343 HAS SOUPS 644343 WITH SCORE 645227.109
AT ITER 3176 NEW BEST:: SOT 4387786 SOS 883605 HAS SOPS 883605 HAS SOUS 643707 HAS SOUPS 643707 WITH SCORE 644590.605
AT ITER 3187 NEW BEST:: SOT 4387666 SOS 883365 HAS SOPS 883365 HAS SOUS 643527 HAS SOUPS 643527 WITH SCORE 644410.365
AT ITER 3192 NEW BEST:: SOT 4387585 SOS 883287 HAS SOPS 883287 HAS SOUS 643448 HAS SOUPS 643448 WITH SCORE 644331.287
AT ITER 3196 NEW BEST:: SOT 4387584 SOS 883285 HAS SOPS 883285 HAS SOUS 643446 HAS SOUPS 643446 WITH SCORE 644329.285
AT ITER 3232 NEW BEST:: SOT 4387501 SOS 883119 HAS SOPS 883119 HAS SOUS 643280 HAS SOUPS 643280 WITH SCORE 644163.119
AT ITER 3259 NEW BEST:: SOT 4387326 SOS 882973 HAS SOPS 882973 HAS SOUS 643133 HAS SOUPS 643133 WITH SCORE 644015.973
AT ITER 3265 NEW BEST:: SOT 4387326 SOS 882829 HAS SOPS 882829 HAS SOUS 642989 HAS SOUPS 642989 WITH SCORE 643871.829
AT ITER 3274 NEW BEST:: SOT 4387326 SOS 882739 HAS SOPS 882739 HAS SOUS 642899 HAS SOUPS 642899 WITH SCORE 643781.739
AT ITER 3282 NEW BEST:: SOT 4387323 SOS 882623 HAS SOPS 882623 HAS SOUS 642840 HAS SOUPS 642840 WITH SCORE 643722.623
AT ITER 3301 NEW BEST:: SOT 4387313 SOS 882711 HAS SOPS 882711 HAS SOUS 642830 HAS SOUPS 642830 WITH SCORE 643712.711
AT ITER 3306 NEW BEST:: SOT 4387366 SOS 882817 HAS SOPS 882817 HAS SOUS 642713 HAS SOUPS 642713 WITH SCORE 643595.817
AT ITER 3308 NEW BEST:: SOT 4387366 SOS 882817 HAS SOPS 882817 HAS SOUS 642541 HAS SOUPS 642541 WITH SCORE 643423.817
AT ITER 3313 NEW BEST:: SOT 4387114 SOS 883276 HAS SOPS 883276 HAS SOUS 642297 HAS SOUPS 642297 WITH SCORE 643180.276
AT ITER 3324 NEW BEST:: SOT 4387114 SOS 883276 HAS SOPS 883276 HAS SOUS 642250 HAS SOUPS 642250 WITH SCORE 643133.276
AT ITER 3351 NEW BEST:: SOT 4386912 SOS 882670 HAS SOPS 882670 HAS SOUS 641846 HAS SOUPS 641846 WITH SCORE 642728.67
AT ITER 3357 NEW BEST:: SOT 4386894 SOS 882597 HAS SOPS 882597 HAS SOUS 641791 HAS SOUPS 641791 WITH SCORE 642673.597
AT ITER 3407 NEW BEST:: SOT 4386572 SOS 881953 HAS SOPS 881953 HAS SOUS 641197 HAS SOUPS 641197 WITH SCORE 642078.953
AT ITER 3408 NEW BEST:: SOT 4386402 SOS 881613 HAS SOPS 881613 HAS SOUS 640857 HAS SOUPS 640857 WITH SCORE 641738.613
AT ITER 3416 NEW BEST:: SOT 4386311 SOS 881431 HAS SOPS 881431 HAS SOUS 640766 HAS SOUPS 640766 WITH SCORE 641647.431
AT ITER 3437 NEW BEST:: SOT 4385551 SOS 880671 HAS SOPS 880671 HAS SOUS 640006 HAS SOUPS 640006 WITH SCORE 640886.671
AT ITER 3445 NEW BEST:: SOT 4385534 SOS 880637 HAS SOPS 880637 HAS SOUS 639972 HAS SOUPS 639972 WITH SCORE 640852.637
AT ITER 3448 NEW BEST:: SOT 4385534 SOS 880613 HAS SOPS 880613 HAS SOUS 639948 HAS SOUPS 639948 WITH SCORE 640828.613
AT ITER 3476 NEW BEST:: SOT 4385333 SOS 880211 HAS SOPS 880211 HAS SOUS 639747 HAS SOUPS 639747 WITH SCORE 640627.211
AT ITER 3486 NEW BEST:: SOT 4385333 SOS 880118 HAS SOPS 880118 HAS SOUS 639654 HAS SOUPS 639654 WITH SCORE 640534.118
AT ITER 3490 NEW BEST:: SOT 4384899 SOS 879519 HAS SOPS 879519 HAS SOUS 639033 HAS SOUPS 639033 WITH SCORE 639912.519
AT ITER 3510 NEW BEST:: SOT 4384704 SOS 879129 HAS SOPS 879129 HAS SOUS 638585 HAS SOUPS 638585 WITH SCORE 639464.129
AT ITER 3550 NEW BEST:: SOT 4384505 SOS 878731 HAS SOPS 878731 HAS SOUS 638187 HAS SOUPS 638187 WITH SCORE 639065.731
AT ITER 3553 NEW BEST:: SOT 4384501 SOS 878723 HAS SOPS 878723 HAS SOUS 638136 HAS SOUPS 638136 WITH SCORE 639014.723
AT ITER 3557 NEW BEST:: SOT 4384500 SOS 878721 HAS SOPS 878721 HAS SOUS 638134 HAS SOUPS 638134 WITH SCORE 639012.721
AT ITER 3630 NEW BEST:: SOT 4384500 SOS 878721 HAS SOPS 878721 HAS SOUS 637996 HAS SOUPS 637996 WITH SCORE 638874.721
AT ITER 3635 NEW BEST:: SOT 4384500 SOS 878721 HAS SOPS 878721 HAS SOUS 637984 HAS SOUPS 637984 WITH SCORE 638862.721
AT ITER 3650 NEW BEST:: SOT 4384454 SOS 878675 HAS SOPS 878675 HAS SOUS 637938 HAS SOUPS 637938 WITH SCORE 638816.675
AT ITER 3663 NEW BEST:: SOT 4384108 SOS 879495 HAS SOPS 879495 HAS SOUS 637731 HAS SOUPS 637731 WITH SCORE 638610.495
AT ITER 3670 NEW BEST:: SOT 4384108 SOS 879495 HAS SOPS 879495 HAS SOUS 637713 HAS SOUPS 637713 WITH SCORE 638592.495
AT ITER 3675 NEW BEST:: SOT 4383933 SOS 879145 HAS SOPS 879145 HAS SOUS 637621 HAS SOUPS 637621 WITH SCORE 638500.145
AT ITER 3678 NEW BEST:: SOT 4383495 SOS 879145 HAS SOPS 879145 HAS SOUS 637402 HAS SOUPS 637402 WITH SCORE 638281.145
AT ITER 3681 NEW BEST:: SOT 4383422 SOS 879217 HAS SOPS 879217 HAS SOUS 637184 HAS SOUPS 637184 WITH SCORE 638063.217
AT ITER 3695 NEW BEST:: SOT 4383422 SOS 879217 HAS SOPS 879217 HAS SOUS 637099 HAS SOUPS 637099 WITH SCORE 637978.217
AT ITER 3719 NEW BEST:: SOT 4383271 SOS 878915 HAS SOPS 878915 HAS SOUS 636884 HAS SOUPS 636884 WITH SCORE 637762.915
AT ITER 3744 NEW BEST:: SOT 4382928 SOS 878497 HAS SOPS 878497 HAS SOUS 636528 HAS SOUPS 636528 WITH SCORE 637406.497
AT ITER 3746 NEW BEST:: SOT 4382883 SOS 878407 HAS SOPS 878407 HAS SOUS 636382 HAS SOUPS 636382 WITH SCORE 637260.407
AT ITER 3747 NEW BEST:: SOT 4382849 SOS 878339 HAS SOPS 878339 HAS SOUS 636314 HAS SOUPS 636314 WITH SCORE 637192.339
AT ITER 3751 NEW BEST:: SOT 4382485 SOS 878235 HAS SOPS 878235 HAS SOUS 635586 HAS SOUPS 635586 WITH SCORE 636464.235
AT ITER 3852 NEW BEST:: SOT 4382420 SOS 878170 HAS SOPS 878170 HAS SOUS 635456 HAS SOUPS 635456 WITH SCORE 636334.17
AT ITER 3871 NEW BEST:: SOT 4382233 SOS 878326 HAS SOPS 878326 HAS SOUS 635383 HAS SOUPS 635383 WITH SCORE 636261.326
AT ITER 3879 NEW BEST:: SOT 4382232 SOS 878283 HAS SOPS 878283 HAS SOUS 635341 HAS SOUPS 635341 WITH SCORE 636219.283
AT ITER 3887 NEW BEST:: SOT 4382140 SOS 878191 HAS SOPS 878191 HAS SOUS 635249 HAS SOUPS 635249 WITH SCORE 636127.191
AT ITER 3919 NEW BEST:: SOT 4381839 SOS 878127 HAS SOPS 878127 HAS SOUS 635069 HAS SOUPS 635069 WITH SCORE 635947.127
AT ITER 3930 NEW BEST:: SOT 4381810 SOS 878023 HAS SOPS 878023 HAS SOUS 634994 HAS SOUPS 634994 WITH SCORE 635872.023
AT ITER 3952 NEW BEST:: SOT 4381810 SOS 877976 HAS SOPS 877976 HAS SOUS 634994 HAS SOUPS 634994 WITH SCORE 635871.976
AT ITER 3961 NEW BEST:: SOT 4381810 SOS 877672 HAS SOPS 877672 HAS SOUS 634994 HAS SOUPS 634994 WITH SCORE 635871.672
AT ITER 3981 NEW BEST:: SOT 4381577 SOS 877206 HAS SOPS 877206 HAS SOUS 634528 HAS SOUPS 634528 WITH SCORE 635405.206
AT ITER 4002 NEW BEST:: SOT 4381408 SOS 876868 HAS SOPS 876868 HAS SOUS 634467 HAS SOUPS 634467 WITH SCORE 635343.868
AT ITER 4007 NEW BEST:: SOT 4381179 SOS 876410 HAS SOPS 876410 HAS SOUS 634009 HAS SOUPS 634009 WITH SCORE 634885.41
AT ITER 4029 NEW BEST:: SOT 4380802 SOS 876716 HAS SOPS 876716 HAS SOUS 633874 HAS SOUPS 633874 WITH SCORE 634750.716
AT ITER 4038 NEW BEST:: SOT 4380801 SOS 876498 HAS SOPS 876498 HAS SOUS 633872 HAS SOUPS 633872 WITH SCORE 634748.498
AT ITER 4051 NEW BEST:: SOT 4380801 SOS 876498 HAS SOPS 876498 HAS SOUS 633661 HAS SOUPS 633661 WITH SCORE 634537.498
AT ITER 4085 NEW BEST:: SOT 4380743 SOS 876382 HAS SOPS 876382 HAS SOUS 633545 HAS SOUPS 633545 WITH SCORE 634421.382
AT ITER 4146 NEW BEST:: SOT 4380651 SOS 876290 HAS SOPS 876290 HAS SOUS 633453 HAS SOUPS 633453 WITH SCORE 634329.29
AT ITER 4150 NEW BEST:: SOT 4380632 SOS 876252 HAS SOPS 876252 HAS SOUS 633434 HAS SOUPS 633434 WITH SCORE 634310.252
AT ITER 4174 NEW BEST:: SOT 4380608 SOS 876228 HAS SOPS 876228 HAS SOUS 633386 HAS SOUPS 633386 WITH SCORE 634262.228
AT ITER 4190 NEW BEST:: SOT 4380578 SOS 875868 HAS SOPS 875868 HAS SOUS 633326 HAS SOUPS 633326 WITH SCORE 634201.868
AT ITER 4192 NEW BEST:: SOT 4380530 SOS 875772 HAS SOPS 875772 HAS SOUS 633269 HAS SOUPS 633269 WITH SCORE 634144.772
AT ITER 4193 NEW BEST:: SOT 4380530 SOS 875352 HAS SOPS 875352 HAS SOUS 633269 HAS SOUPS 633269 WITH SCORE 634144.352
AT ITER 4226 NEW BEST:: SOT 4380529 SOS 875074 HAS SOPS 875074 HAS SOUS 633267 HAS SOUPS 633267 WITH SCORE 634142.074
AT ITER 4227 NEW BEST:: SOT 4380626 SOS 874956 HAS SOPS 874956 HAS SOUS 633208 HAS SOUPS 633208 WITH SCORE 634082.956
AT ITER 4231 NEW BEST:: SOT 4380631 SOS 874886 HAS SOPS 874886 HAS SOUS 633173 HAS SOUPS 633173 WITH SCORE 634047.886
AT ITER 4243 NEW BEST:: SOT 4380398 SOS 874420 HAS SOPS 874420 HAS SOUS 632673 HAS SOUPS 632673 WITH SCORE 633547.42
AT ITER 4257 NEW BEST:: SOT 4380397 SOS 874418 HAS SOPS 874418 HAS SOUS 632671 HAS SOUPS 632671 WITH SCORE 633545.418
AT ITER 4288 NEW BEST:: SOT 4380396 SOS 874154 HAS SOPS 874154 HAS SOUS 632669 HAS SOUPS 632669 WITH SCORE 633543.154
AT ITER 4322 NEW BEST:: SOT 4380593 SOS 874382 HAS SOPS 874382 HAS SOUS 632621 HAS SOUPS 632621 WITH SCORE 633495.382
AT ITER 4358 NEW BEST:: SOT 4380563 SOS 874352 HAS SOPS 874352 HAS SOUS 632591 HAS SOUPS 632591 WITH SCORE 633465.352
AT ITER 4376 NEW BEST:: SOT 4380495 SOS 874216 HAS SOPS 874216 HAS SOUS 632523 HAS SOUPS 632523 WITH SCORE 633397.216
AT ITER 4389 NEW BEST:: SOT 4380332 SOS 874053 HAS SOPS 874053 HAS SOUS 632360 HAS SOUPS 632360 WITH SCORE 633234.053
AT ITER 4401 NEW BEST:: SOT 4380309 SOS 874039 HAS SOPS 874039 HAS SOUS 632346 HAS SOUPS 632346 WITH SCORE 633220.039
AT ITER 4416 NEW BEST:: SOT 4380308 SOS 874009 HAS SOPS 874009 HAS SOUS 632317 HAS SOUPS 632317 WITH SCORE 633191.009
AT ITER 4452 NEW BEST:: SOT 4380276 SOS 873945 HAS SOPS 873945 HAS SOUS 632253 HAS SOUPS 632253 WITH SCORE 633126.945
AT ITER 4457 NEW BEST:: SOT 4380271 SOS 873935 HAS SOPS 873935 HAS SOUS 632236 HAS SOUPS 632236 WITH SCORE 633109.935
AT ITER 4472 NEW BEST:: SOT 4379817 SOS 873708 HAS SOPS 873708 HAS SOUS 632009 HAS SOUPS 632009 WITH SCORE 632882.708
AT ITER 4487 NEW BEST:: SOT 4379866 SOS 873656 HAS SOPS 873656 HAS SOUS 631957 HAS SOUPS 631957 WITH SCORE 632830.656
AT ITER 4510 NEW BEST:: SOT 4379855 SOS 873634 HAS SOPS 873634 HAS SOUS 631935 HAS SOUPS 631935 WITH SCORE 632808.634
AT ITER 4517 NEW BEST:: SOT 4379799 SOS 873466 HAS SOPS 873466 HAS SOUS 631823 HAS SOUPS 631823 WITH SCORE 632696.466
AT ITER 4546 NEW BEST:: SOT 4379515 SOS 873261 HAS SOPS 873261 HAS SOUS 631579 HAS SOUPS 631579 WITH SCORE 632452.261
AT ITER 4571 NEW BEST:: SOT 4379191 SOS 872937 HAS SOPS 872937 HAS SOUS 631532 HAS SOUPS 631532 WITH SCORE 632404.937
AT ITER 4581 NEW BEST:: SOT 4378610 SOS 871775 HAS SOPS 871775 HAS SOUS 631497 HAS SOUPS 631497 WITH SCORE 632368.775
AT ITER 4666 NEW BEST:: SOT 4378609 SOS 871502 HAS SOPS 871502 HAS SOUS 631495 HAS SOUPS 631495 WITH SCORE 632366.502
AT ITER 4669 NEW BEST:: SOT 4378588 SOS 871460 HAS SOPS 871460 HAS SOUS 631453 HAS SOUPS 631453 WITH SCORE 632324.46
AT ITER 4671 NEW BEST:: SOT 4378320 SOS 870924 HAS SOPS 870924 HAS SOUS 630924 HAS SOUPS 630924 WITH SCORE 631794.924
AT ITER 4689 NEW BEST:: SOT 4378258 SOS 870946 HAS SOPS 870946 HAS SOUS 630862 HAS SOUPS 630862 WITH SCORE 631732.946
AT ITER 4695 NEW BEST:: SOT 4378050 SOS 870836 HAS SOPS 870836 HAS SOUS 630472 HAS SOUPS 630472 WITH SCORE 631342.836
AT ITER 4721 NEW BEST:: SOT 4378294 SOS 870532 HAS SOPS 870532 HAS SOUS 630428 HAS SOUPS 630428 WITH SCORE 631298.532
AT ITER 4728 NEW BEST:: SOT 4378269 SOS 870246 HAS SOPS 870246 HAS SOUS 630143 HAS SOUPS 630143 WITH SCORE 631013.246
AT ITER 4747 NEW BEST:: SOT 4378084 SOS 869996 HAS SOPS 869996 HAS SOUS 629838 HAS SOUPS 629838 WITH SCORE 630707.996
AT ITER 4761 NEW BEST:: SOT 4377468 SOS 871194 HAS SOPS 871194 HAS SOUS 629666 HAS SOUPS 629666 WITH SCORE 630537.194
AT ITER 4770 NEW BEST:: SOT 4377220 SOS 870698 HAS SOPS 870698 HAS SOUS 629549 HAS SOUPS 629549 WITH SCORE 630419.698
AT ITER 4777 NEW BEST:: SOT 4376967 SOS 871420 HAS SOPS 871420 HAS SOUS 629471 HAS SOUPS 629471 WITH SCORE 630342.42
AT ITER 4788 NEW BEST:: SOT 4376470 SOS 870928 HAS SOPS 870928 HAS SOUS 628965 HAS SOUPS 628965 WITH SCORE 629835.928
AT ITER 4841 NEW BEST:: SOT 4376248 SOS 870484 HAS SOPS 870484 HAS SOUS 628779 HAS SOUPS 628779 WITH SCORE 629649.484
AT ITER 4911 NEW BEST:: SOT 4376248 SOS 870458 HAS SOPS 870458 HAS SOUS 628779 HAS SOUPS 628779 WITH SCORE 629649.458
AT ITER 4947 NEW BEST:: SOT 4375840 SOS 870590 HAS SOPS 870590 HAS SOUS 628687 HAS SOUPS 628687 WITH SCORE 629557.59
AT ITER 4964 NEW BEST:: SOT 4375736 SOS 870590 HAS SOPS 870590 HAS SOUS 628635 HAS SOUPS 628635 WITH SCORE 629505.59
AT ITER 4982 NEW BEST:: SOT 4375735 SOS 870588 HAS SOPS 870588 HAS SOUS 628633 HAS SOUPS 628633 WITH SCORE 629503.588
AT ITER 4987 NEW BEST:: SOT 4375689 SOS 870532 HAS SOPS 870532 HAS SOUS 628577 HAS SOUPS 628577 WITH SCORE 629447.532
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: CloudReconfiguration-PT-305-CTLCardinality-00 ( (AU( ( potential( (tk(P298)) <= (tk(P1151)) ) | potential( ( 3 ) <= (tk(P112)) ) ),(! potential( (tk(P1299)) <= (tk(P2137)) )) )) | (! (! (EX( potential( ( 3 ) <= (tk(P1733)) ))))) )
PROPERTY: CloudReconfiguration-PT-305-CTLCardinality-01 ( ( ( (EX( potential( ( 2 ) <= (tk(P1518)) ))) & potential( (tk(P590)) <= (tk(P1349)) ) ) & potential( (tk(P1599)) <= (tk(P419)) ) ) | (! ( potential( ( 1 ) <= (tk(P316)) ) | (EF(potential( ( 2 ) <= (tk(P595)) ))) )) )
PROPERTY: CloudReconfiguration-PT-305-CTLCardinality-02 ( ( potential( (tk(P2358)) <= (tk(P1215)) ) | potential( (tk(P421)) <= (tk(P1119)) ) ) & (EX( (AF(potential( ( 2 ) <= (tk(P553)) ))))) )
PROPERTY: CloudReconfiguration-PT-305-CTLCardinality-03 (! (AU( potential( (tk(P1282)) <= (tk(P205)) ),( potential( ( 2 ) <= (tk(P778)) ) & potential( ( 3 ) <= (tk(P931)) ) ) )))
PROPERTY: CloudReconfiguration-PT-305-CTLCardinality-04 (EU( (EF(potential( (tk(P84)) <= (tk(P1730)) ))),(EX( potential( ( 1 ) <= (tk(P172)) ))) ))
PROPERTY: CloudReconfiguration-PT-305-CTLCardinality-05 (AG( (AF(potential( ( 2 ) <= (tk(P1661)) )))))
PROPERTY: CloudReconfiguration-PT-305-CTLCardinality-06 ( ( potential( ( 1 ) <= (tk(P122)) ) | (EF(( potential( ( 3 ) <= (tk(P463)) ) & potential( (tk(P1871)) <= (tk(P2047)) ) ))) ) & (EG( potential( (tk(P1050)) <= (tk(P875)) ))) )
PROPERTY: CloudReconfiguration-PT-305-CTLCardinality-07 (EF((EG( ( potential( ( 3 ) <= (tk(P1608)) ) | potential( ( 1 ) <= (tk(P955)) ) )))))
PROPERTY: CloudReconfiguration-PT-305-CTLCardinality-08 (AF(( ( ( potential( ( 3 ) <= (tk(P1377)) ) | potential( ( 2 ) <= (tk(P205)) ) ) & ( potential( (tk(P1297)) <= (tk(P2076)) ) & potential( (tk(P749)) <= (tk(P1821)) ) ) ) | ( (! potential( (tk(P566)) <= (tk(P409)) )) | ( potential( (tk(P150)) <= (tk(P951)) ) & potential( ( 1 ) <= (tk(P1575)) ) ) ) )))
PROPERTY: CloudReconfiguration-PT-305-CTLCardinality-09 (AU( ( ( potential( (tk(P1742)) <= (tk(P374)) ) & potential( (tk(P939)) <= (tk(P711)) ) ) | ( potential( (tk(P12)) <= (tk(P676)) ) | potential( ( 3 ) <= (tk(P745)) ) ) ),(AX( potential( ( 1 ) <= (tk(P225)) ))) ))
PROPERTY: CloudReconfiguration-PT-305-CTLCardinality-10 ( (AF((AF(potential( ( 1 ) <= (tk(P2465)) ))))) & (EX( (EG( potential( (tk(P2441)) <= (tk(P1396)) ))))) )
PROPERTY: CloudReconfiguration-PT-305-CTLCardinality-11 ( (AU( ( potential( ( 2 ) <= (tk(P197)) ) | potential( (tk(P1901)) <= (tk(P1177)) ) ),potential( ( 1 ) <= (tk(P1671)) ) )) | potential( ( 2 ) <= (tk(P277)) ) )
PROPERTY: CloudReconfiguration-PT-305-CTLCardinality-12 (AG( ( ( ( potential( (tk(P1442)) <= (tk(P1874)) ) | potential( (tk(P1524)) <= (tk(P884)) ) ) | ( potential( (tk(P2227)) <= (tk(P895)) ) | potential( (tk(P125)) <= (tk(P790)) ) ) ) & (AF(potential( ( 1 ) <= (tk(P1408)) ))) )))
PROPERTY: CloudReconfiguration-PT-305-CTLCardinality-13 ( potential( ( 3 ) <= (tk(P2040)) ) | (! ( (! (! potential( ( 3 ) <= (tk(P352)) ))) | (AF(potential( ( 2 ) <= (tk(P2255)) ))) )) )
PROPERTY: CloudReconfiguration-PT-305-CTLCardinality-14 ( ( (! (! ( potential( (tk(P2314)) <= (tk(P288)) ) & potential( (tk(P1806)) <= (tk(P1099)) ) ))) & (EG( potential( (tk(P2433)) <= (tk(P1294)) ))) ) & (EF(( potential( ( 1 ) <= (tk(P2243)) ) & ( potential( ( 3 ) <= (tk(P2415)) ) & potential( ( 2 ) <= (tk(P2482)) ) ) ))) )
PROPERTY: CloudReconfiguration-PT-305-CTLCardinality-15 (! (AG( (! (! potential( (tk(P163)) <= (tk(P1182)) ))))))

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

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