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-158902542300507.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
........................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DLCround-PT-06b, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542300507
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 988K
-rw-r--r-- 1 mcc users 3.8K Mar 30 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 30 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 29 08:53 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 29 08:53 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 28 04:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 28 04:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 26 23:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 26 23:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 813K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1589125171217

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 06b
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 2340 places, 3456 transitions, 9288 arcs.
AT ITER 0 NEW BEST:: SOT 4957483 SOS 1097180 HAS SOPS 1097180 HAS SOUS 712843 HAS SOUPS 712843 WITH SCORE 713940.18
AT ITER 14 NEW BEST:: SOT 4957345 SOS 1099864 HAS SOPS 1099864 HAS SOUS 712566 HAS SOUPS 712566 WITH SCORE 713665.864
AT ITER 20 NEW BEST:: SOT 4956813 SOS 1096672 HAS SOPS 1096672 HAS SOUS 711768 HAS SOUPS 711768 WITH SCORE 712864.672
AT ITER 25 NEW BEST:: SOT 4956908 SOS 1097800 HAS SOPS 1097800 HAS SOUS 711643 HAS SOUPS 711643 WITH SCORE 712740.8
AT ITER 35 NEW BEST:: SOT 4956566 SOS 1097572 HAS SOPS 1097572 HAS SOUS 711415 HAS SOUPS 711415 WITH SCORE 712512.572
AT ITER 55 NEW BEST:: SOT 4956566 SOS 1097875 HAS SOPS 1097875 HAS SOUS 711414 HAS SOUPS 711414 WITH SCORE 712511.875
AT ITER 57 NEW BEST:: SOT 4956370 SOS 1097483 HAS SOPS 1097483 HAS SOUS 711217 HAS SOUPS 711217 WITH SCORE 712314.483
AT ITER 65 NEW BEST:: SOT 4956370 SOS 1098121 HAS SOPS 1098121 HAS SOUS 711216 HAS SOUPS 711216 WITH SCORE 712314.121
AT ITER 69 NEW BEST:: SOT 4956162 SOS 1098211 HAS SOPS 1098211 HAS SOUS 711011 HAS SOUPS 711011 WITH SCORE 712109.211
AT ITER 81 NEW BEST:: SOT 4955544 SOS 1097902 HAS SOPS 1097902 HAS SOUS 710702 HAS SOUPS 710702 WITH SCORE 711799.902
AT ITER 104 NEW BEST:: SOT 4955221 SOS 1099190 HAS SOPS 1099190 HAS SOUS 710434 HAS SOUPS 710434 WITH SCORE 711533.19
AT ITER 124 NEW BEST:: SOT 4955179 SOS 1099106 HAS SOPS 1099106 HAS SOUS 710392 HAS SOUPS 710392 WITH SCORE 711491.106
AT ITER 131 NEW BEST:: SOT 4955178 SOS 1099104 HAS SOPS 1099104 HAS SOUS 710390 HAS SOUPS 710390 WITH SCORE 711489.104
AT ITER 157 NEW BEST:: SOT 4955178 SOS 1098961 HAS SOPS 1098961 HAS SOUS 710247 HAS SOUPS 710247 WITH SCORE 711345.961
AT ITER 161 NEW BEST:: SOT 4955178 SOS 1099371 HAS SOPS 1099371 HAS SOUS 710246 HAS SOUPS 710246 WITH SCORE 711345.371
AT ITER 174 NEW BEST:: SOT 4955178 SOS 1099294 HAS SOPS 1099294 HAS SOUS 710169 HAS SOUPS 710169 WITH SCORE 711268.294
AT ITER 202 NEW BEST:: SOT 4955020 SOS 1099136 HAS SOPS 1099136 HAS SOUS 710011 HAS SOUPS 710011 WITH SCORE 711110.136
AT ITER 214 NEW BEST:: SOT 4954861 SOS 1098818 HAS SOPS 1098818 HAS SOUS 709693 HAS SOUPS 709693 WITH SCORE 710791.818
AT ITER 218 NEW BEST:: SOT 4954821 SOS 1098738 HAS SOPS 1098738 HAS SOUS 709306 HAS SOUPS 709306 WITH SCORE 710404.738
AT ITER 250 NEW BEST:: SOT 4954889 SOS 1098874 HAS SOPS 1098874 HAS SOUS 708786 HAS SOUPS 708786 WITH SCORE 709884.874
AT ITER 292 NEW BEST:: SOT 4954772 SOS 1098770 HAS SOPS 1098770 HAS SOUS 708615 HAS SOUPS 708615 WITH SCORE 709713.77
AT ITER 296 NEW BEST:: SOT 4954730 SOS 1098686 HAS SOPS 1098686 HAS SOUS 708531 HAS SOUPS 708531 WITH SCORE 709629.686
AT ITER 312 NEW BEST:: SOT 4954475 SOS 1098176 HAS SOPS 1098176 HAS SOUS 708351 HAS SOUPS 708351 WITH SCORE 709449.176
AT ITER 322 NEW BEST:: SOT 4953872 SOS 1097573 HAS SOPS 1097573 HAS SOUS 707815 HAS SOUPS 707815 WITH SCORE 708912.573
AT ITER 338 NEW BEST:: SOT 4954065 SOS 1096525 HAS SOPS 1096525 HAS SOUS 707626 HAS SOUPS 707626 WITH SCORE 708722.525
AT ITER 348 NEW BEST:: SOT 4954065 SOS 1096524 HAS SOPS 1096524 HAS SOUS 707374 HAS SOUPS 707374 WITH SCORE 708470.524
AT ITER 358 NEW BEST:: SOT 4953803 SOS 1096000 HAS SOPS 1096000 HAS SOUS 706850 HAS SOUPS 706850 WITH SCORE 707946.0
AT ITER 389 NEW BEST:: SOT 4953525 SOS 1095444 HAS SOPS 1095444 HAS SOUS 706294 HAS SOUPS 706294 WITH SCORE 707389.444
AT ITER 392 NEW BEST:: SOT 4953525 SOS 1095180 HAS SOPS 1095180 HAS SOUS 706206 HAS SOUPS 706206 WITH SCORE 707301.18
AT ITER 422 NEW BEST:: SOT 4953525 SOS 1094583 HAS SOPS 1094583 HAS SOUS 706007 HAS SOUPS 706007 WITH SCORE 707101.583
AT ITER 431 NEW BEST:: SOT 4953229 SOS 1094435 HAS SOPS 1094435 HAS SOUS 705859 HAS SOUPS 705859 WITH SCORE 706953.435
AT ITER 433 NEW BEST:: SOT 4953042 SOS 1094248 HAS SOPS 1094248 HAS SOUS 705672 HAS SOUPS 705672 WITH SCORE 706766.248
AT ITER 440 NEW BEST:: SOT 4952677 SOS 1094529 HAS SOPS 1094529 HAS SOUS 704941 HAS SOUPS 704941 WITH SCORE 706035.529
AT ITER 473 NEW BEST:: SOT 4952067 SOS 1094329 HAS SOPS 1094329 HAS SOUS 704671 HAS SOUPS 704671 WITH SCORE 705765.329
AT ITER 480 NEW BEST:: SOT 4952160 SOS 1095250 HAS SOPS 1095250 HAS SOUS 704487 HAS SOUPS 704487 WITH SCORE 705582.25
AT ITER 483 NEW BEST:: SOT 4952131 SOS 1095279 HAS SOPS 1095279 HAS SOUS 704429 HAS SOUPS 704429 WITH SCORE 705524.279
AT ITER 508 NEW BEST:: SOT 4952004 SOS 1095025 HAS SOPS 1095025 HAS SOUS 704175 HAS SOUPS 704175 WITH SCORE 705270.025
AT ITER 514 NEW BEST:: SOT 4951620 SOS 1094663 HAS SOPS 1094663 HAS SOUS 703813 HAS SOUPS 703813 WITH SCORE 704907.663
AT ITER 521 NEW BEST:: SOT 4950847 SOS 1094146 HAS SOPS 1094146 HAS SOUS 703287 HAS SOUPS 703287 WITH SCORE 704381.146
AT ITER 532 NEW BEST:: SOT 4950834 SOS 1094120 HAS SOPS 1094120 HAS SOUS 703274 HAS SOUPS 703274 WITH SCORE 704368.12
AT ITER 537 NEW BEST:: SOT 4950834 SOS 1094223 HAS SOPS 1094223 HAS SOUS 703273 HAS SOUPS 703273 WITH SCORE 704367.223
AT ITER 542 NEW BEST:: SOT 4950834 SOS 1094168 HAS SOPS 1094168 HAS SOUS 703218 HAS SOUPS 703218 WITH SCORE 704312.168
AT ITER 553 NEW BEST:: SOT 4950401 SOS 1093869 HAS SOPS 1093869 HAS SOUS 702825 HAS SOUPS 702825 WITH SCORE 703918.869
AT ITER 571 NEW BEST:: SOT 4950279 SOS 1093686 HAS SOPS 1093686 HAS SOUS 702642 HAS SOUPS 702642 WITH SCORE 703735.686
AT ITER 605 NEW BEST:: SOT 4950278 SOS 1095969 HAS SOPS 1095969 HAS SOUS 702639 HAS SOUPS 702639 WITH SCORE 703734.969
AT ITER 610 NEW BEST:: SOT 4950291 SOS 1095907 HAS SOPS 1095907 HAS SOUS 702577 HAS SOUPS 702577 WITH SCORE 703672.907
AT ITER 657 NEW BEST:: SOT 4950291 SOS 1095907 HAS SOPS 1095907 HAS SOUS 702576 HAS SOUPS 702576 WITH SCORE 703671.907
AT ITER 665 NEW BEST:: SOT 4950291 SOS 1095887 HAS SOPS 1095887 HAS SOUS 702556 HAS SOUPS 702556 WITH SCORE 703651.887
AT ITER 683 NEW BEST:: SOT 4950119 SOS 1097577 HAS SOPS 1097577 HAS SOUS 702438 HAS SOUPS 702438 WITH SCORE 703535.577
AT ITER 706 NEW BEST:: SOT 4948453 SOS 1096838 HAS SOPS 1096838 HAS SOUS 700529 HAS SOUPS 700529 WITH SCORE 701625.838
AT ITER 714 NEW BEST:: SOT 4948453 SOS 1096791 HAS SOPS 1096791 HAS SOUS 700529 HAS SOUPS 700529 WITH SCORE 701625.791
AT ITER 718 NEW BEST:: SOT 4948104 SOS 1096807 HAS SOPS 1096807 HAS SOUS 700417 HAS SOUPS 700417 WITH SCORE 701513.807
AT ITER 726 NEW BEST:: SOT 4948104 SOS 1096728 HAS SOPS 1096728 HAS SOUS 700338 HAS SOUPS 700338 WITH SCORE 701434.728
AT ITER 731 NEW BEST:: SOT 4947754 SOS 1096374 HAS SOPS 1096374 HAS SOUS 699987 HAS SOUPS 699987 WITH SCORE 701083.374
AT ITER 733 NEW BEST:: SOT 4947743 SOS 1096352 HAS SOPS 1096352 HAS SOUS 699975 HAS SOUPS 699975 WITH SCORE 701071.352
AT ITER 773 NEW BEST:: SOT 4947636 SOS 1096245 HAS SOPS 1096245 HAS SOUS 699868 HAS SOUPS 699868 WITH SCORE 700964.245
AT ITER 784 NEW BEST:: SOT 4947636 SOS 1095921 HAS SOPS 1095921 HAS SOUS 699867 HAS SOUPS 699867 WITH SCORE 700962.921
AT ITER 796 NEW BEST:: SOT 4947204 SOS 1095445 HAS SOPS 1095445 HAS SOUS 699218 HAS SOUPS 699218 WITH SCORE 700313.445
AT ITER 802 NEW BEST:: SOT 4947204 SOS 1095445 HAS SOPS 1095445 HAS SOUS 699173 HAS SOUPS 699173 WITH SCORE 700268.445
AT ITER 822 NEW BEST:: SOT 4947220 SOS 1095251 HAS SOPS 1095251 HAS SOUS 699066 HAS SOUPS 699066 WITH SCORE 700161.251
AT ITER 828 NEW BEST:: SOT 4947220 SOS 1095153 HAS SOPS 1095153 HAS SOUS 698968 HAS SOUPS 698968 WITH SCORE 700063.153
AT ITER 833 NEW BEST:: SOT 4947220 SOS 1095481 HAS SOPS 1095481 HAS SOUS 698967 HAS SOUPS 698967 WITH SCORE 700062.481
AT ITER 858 NEW BEST:: SOT 4947220 SOS 1095157 HAS SOPS 1095157 HAS SOUS 698859 HAS SOUPS 698859 WITH SCORE 699954.157
AT ITER 864 NEW BEST:: SOT 4947137 SOS 1094991 HAS SOPS 1094991 HAS SOUS 698776 HAS SOUPS 698776 WITH SCORE 699870.991
AT ITER 868 NEW BEST:: SOT 4947103 SOS 1094820 HAS SOPS 1094820 HAS SOUS 698707 HAS SOUPS 698707 WITH SCORE 699801.82
AT ITER 918 NEW BEST:: SOT 4946608 SOS 1094435 HAS SOPS 1094435 HAS SOUS 698707 HAS SOUPS 698707 WITH SCORE 699801.435
AT ITER 937 NEW BEST:: SOT 4946321 SOS 1094091 HAS SOPS 1094091 HAS SOUS 698363 HAS SOUPS 698363 WITH SCORE 699457.091
AT ITER 956 NEW BEST:: SOT 4946145 SOS 1093984 HAS SOPS 1093984 HAS SOUS 698237 HAS SOUPS 698237 WITH SCORE 699330.984
AT ITER 957 NEW BEST:: SOT 4946145 SOS 1093861 HAS SOPS 1093861 HAS SOUS 698114 HAS SOUPS 698114 WITH SCORE 699207.861
AT ITER 978 NEW BEST:: SOT 4946145 SOS 1093012 HAS SOPS 1093012 HAS SOUS 697831 HAS SOUPS 697831 WITH SCORE 698924.012
AT ITER 982 NEW BEST:: SOT 4946144 SOS 1093010 HAS SOPS 1093010 HAS SOUS 697829 HAS SOUPS 697829 WITH SCORE 698922.01
AT ITER 988 NEW BEST:: SOT 4945100 SOS 1091966 HAS SOPS 1091966 HAS SOUS 696785 HAS SOUPS 696785 WITH SCORE 697876.966
AT ITER 996 NEW BEST:: SOT 4944119 SOS 1092495 HAS SOPS 1092495 HAS SOUS 696504 HAS SOUPS 696504 WITH SCORE 697596.495
AT ITER 1010 NEW BEST:: SOT 4944119 SOS 1092417 HAS SOPS 1092417 HAS SOUS 696426 HAS SOUPS 696426 WITH SCORE 697518.417
AT ITER 1023 NEW BEST:: SOT 4944036 SOS 1092203 HAS SOPS 1092203 HAS SOUS 696212 HAS SOUPS 696212 WITH SCORE 697304.203
AT ITER 1033 NEW BEST:: SOT 4943642 SOS 1092053 HAS SOPS 1092053 HAS SOUS 696062 HAS SOUPS 696062 WITH SCORE 697154.053
AT ITER 1039 NEW BEST:: SOT 4943711 SOS 1092191 HAS SOPS 1092191 HAS SOUS 695993 HAS SOUPS 695993 WITH SCORE 697085.191
AT ITER 1044 NEW BEST:: SOT 4943161 SOS 1091631 HAS SOPS 1091631 HAS SOUS 695442 HAS SOUPS 695442 WITH SCORE 696533.631
AT ITER 1051 NEW BEST:: SOT 4942536 SOS 1090381 HAS SOPS 1090381 HAS SOUS 694192 HAS SOUPS 694192 WITH SCORE 695282.381
AT ITER 1064 NEW BEST:: SOT 4942677 SOS 1090663 HAS SOPS 1090663 HAS SOUS 693851 HAS SOUPS 693851 WITH SCORE 694941.663
AT ITER 1067 NEW BEST:: SOT 4942505 SOS 1090825 HAS SOPS 1090825 HAS SOUS 693678 HAS SOUPS 693678 WITH SCORE 694768.825
AT ITER 1083 NEW BEST:: SOT 4942505 SOS 1090300 HAS SOPS 1090300 HAS SOUS 693503 HAS SOUPS 693503 WITH SCORE 694593.3
AT ITER 1098 NEW BEST:: SOT 4942505 SOS 1090300 HAS SOPS 1090300 HAS SOUS 693477 HAS SOUPS 693477 WITH SCORE 694567.3
AT ITER 1117 NEW BEST:: SOT 4942108 SOS 1089903 HAS SOPS 1089903 HAS SOUS 693080 HAS SOUPS 693080 WITH SCORE 694169.903
AT ITER 1151 NEW BEST:: SOT 4942243 SOS 1091237 HAS SOPS 1091237 HAS SOUS 692993 HAS SOUPS 692993 WITH SCORE 694084.237
AT ITER 1174 NEW BEST:: SOT 4939945 SOS 1086089 HAS SOPS 1086089 HAS SOUS 690410 HAS SOUPS 690410 WITH SCORE 691496.089
AT ITER 1183 NEW BEST:: SOT 4939810 SOS 1085905 HAS SOPS 1085905 HAS SOUS 690189 HAS SOUPS 690189 WITH SCORE 691274.905
AT ITER 1196 NEW BEST:: SOT 4939903 SOS 1084900 HAS SOPS 1084900 HAS SOUS 689989 HAS SOUPS 689989 WITH SCORE 691073.9
AT ITER 1207 NEW BEST:: SOT 4939419 SOS 1084482 HAS SOPS 1084482 HAS SOUS 689505 HAS SOUPS 689505 WITH SCORE 690589.482
AT ITER 1208 NEW BEST:: SOT 4938973 SOS 1083590 HAS SOPS 1083590 HAS SOUS 688551 HAS SOUPS 688551 WITH SCORE 689634.59
AT ITER 1246 NEW BEST:: SOT 4939082 SOS 1083487 HAS SOPS 1083487 HAS SOUS 688448 HAS SOUPS 688448 WITH SCORE 689531.487
AT ITER 1282 NEW BEST:: SOT 4938582 SOS 1082977 HAS SOPS 1082977 HAS SOUS 687947 HAS SOUPS 687947 WITH SCORE 689029.977
AT ITER 1356 NEW BEST:: SOT 4938582 SOS 1082608 HAS SOPS 1082608 HAS SOUS 687947 HAS SOUPS 687947 WITH SCORE 689029.608
AT ITER 1455 NEW BEST:: SOT 4938162 SOS 1082210 HAS SOPS 1082210 HAS SOUS 687549 HAS SOUPS 687549 WITH SCORE 688631.21
AT ITER 1458 NEW BEST:: SOT 4938105 SOS 1082153 HAS SOPS 1082153 HAS SOUS 687492 HAS SOUPS 687492 WITH SCORE 688574.153
AT ITER 1469 NEW BEST:: SOT 4938081 SOS 1082105 HAS SOPS 1082105 HAS SOUS 687444 HAS SOUPS 687444 WITH SCORE 688526.105
AT ITER 1529 NEW BEST:: SOT 4938061 SOS 1082065 HAS SOPS 1082065 HAS SOUS 687444 HAS SOUPS 687444 WITH SCORE 688526.065
AT ITER 1537 NEW BEST:: SOT 4937960 SOS 1081961 HAS SOPS 1081961 HAS SOUS 687342 HAS SOUPS 687342 WITH SCORE 688423.961
AT ITER 1551 NEW BEST:: SOT 4937960 SOS 1081952 HAS SOPS 1081952 HAS SOUS 687333 HAS SOUPS 687333 WITH SCORE 688414.952
AT ITER 1566 NEW BEST:: SOT 4937838 SOS 1081708 HAS SOPS 1081708 HAS SOUS 687082 HAS SOUPS 687082 WITH SCORE 688163.708
AT ITER 1574 NEW BEST:: SOT 4937838 SOS 1081708 HAS SOPS 1081708 HAS SOUS 686894 HAS SOUPS 686894 WITH SCORE 687975.708
AT ITER 1581 NEW BEST:: SOT 4938013 SOS 1081929 HAS SOPS 1081929 HAS SOUS 686733 HAS SOUPS 686733 WITH SCORE 687814.929
AT ITER 1634 NEW BEST:: SOT 4937723 SOS 1081349 HAS SOPS 1081349 HAS SOUS 686153 HAS SOUPS 686153 WITH SCORE 687234.349
AT ITER 1638 NEW BEST:: SOT 4937922 SOS 1081747 HAS SOPS 1081747 HAS SOUS 685921 HAS SOUPS 685921 WITH SCORE 687002.747
AT ITER 1653 NEW BEST:: SOT 4937922 SOS 1081681 HAS SOPS 1081681 HAS SOUS 685855 HAS SOUPS 685855 WITH SCORE 686936.681
AT ITER 1661 NEW BEST:: SOT 4937922 SOS 1081560 HAS SOPS 1081560 HAS SOUS 685734 HAS SOUPS 685734 WITH SCORE 686815.56
AT ITER 1675 NEW BEST:: SOT 4937922 SOS 1081460 HAS SOPS 1081460 HAS SOUS 685634 HAS SOUPS 685634 WITH SCORE 686715.46
AT ITER 1688 NEW BEST:: SOT 4937566 SOS 1081104 HAS SOPS 1081104 HAS SOUS 685634 HAS SOUPS 685634 WITH SCORE 686715.104
AT ITER 1689 NEW BEST:: SOT 4937566 SOS 1081742 HAS SOPS 1081742 HAS SOUS 685419 HAS SOUPS 685419 WITH SCORE 686500.742
AT ITER 1698 NEW BEST:: SOT 4937192 SOS 1082486 HAS SOPS 1082486 HAS SOUS 685418 HAS SOUPS 685418 WITH SCORE 686500.486
AT ITER 1724 NEW BEST:: SOT 4937308 SOS 1082718 HAS SOPS 1082718 HAS SOUS 684902 HAS SOUPS 684902 WITH SCORE 685984.718
AT ITER 1739 NEW BEST:: SOT 4937142 SOS 1082544 HAS SOPS 1082544 HAS SOUS 684728 HAS SOUPS 684728 WITH SCORE 685810.544
AT ITER 1768 NEW BEST:: SOT 4937082 SOS 1082514 HAS SOPS 1082514 HAS SOUS 684688 HAS SOUPS 684688 WITH SCORE 685770.514
AT ITER 1819 NEW BEST:: SOT 4937082 SOS 1082503 HAS SOPS 1082503 HAS SOUS 684677 HAS SOUPS 684677 WITH SCORE 685759.503
AT ITER 1824 NEW BEST:: SOT 4936250 SOS 1081671 HAS SOPS 1081671 HAS SOUS 683840 HAS SOUPS 683840 WITH SCORE 684921.671
AT ITER 1829 NEW BEST:: SOT 4935870 SOS 1081281 HAS SOPS 1081281 HAS SOUS 683459 HAS SOUPS 683459 WITH SCORE 684540.281
AT ITER 1854 NEW BEST:: SOT 4935870 SOS 1081907 HAS SOPS 1081907 HAS SOUS 683458 HAS SOUPS 683458 WITH SCORE 684539.907
AT ITER 1858 NEW BEST:: SOT 4934949 SOS 1080560 HAS SOPS 1080560 HAS SOUS 682042 HAS SOUPS 682042 WITH SCORE 683122.56
AT ITER 1864 NEW BEST:: SOT 4934670 SOS 1080343 HAS SOPS 1080343 HAS SOUS 682042 HAS SOUPS 682042 WITH SCORE 683122.343
AT ITER 1933 NEW BEST:: SOT 4934670 SOS 1080202 HAS SOPS 1080202 HAS SOUS 681995 HAS SOUPS 681995 WITH SCORE 683075.202
AT ITER 1937 NEW BEST:: SOT 4933884 SOS 1079641 HAS SOPS 1079641 HAS SOUS 681434 HAS SOUPS 681434 WITH SCORE 682513.641
AT ITER 1941 NEW BEST:: SOT 4933829 SOS 1079531 HAS SOPS 1079531 HAS SOUS 681324 HAS SOUPS 681324 WITH SCORE 682403.531
AT ITER 1969 NEW BEST:: SOT 4933689 SOS 1079405 HAS SOPS 1079405 HAS SOUS 681296 HAS SOUPS 681296 WITH SCORE 682375.405
AT ITER 1972 NEW BEST:: SOT 4932424 SOS 1078015 HAS SOPS 1078015 HAS SOUS 679906 HAS SOUPS 679906 WITH SCORE 680984.015
AT ITER 1977 NEW BEST:: SOT 4932224 SOS 1076685 HAS SOPS 1076685 HAS SOUS 679623 HAS SOUPS 679623 WITH SCORE 680699.685
AT ITER 1980 NEW BEST:: SOT 4931720 SOS 1076111 HAS SOPS 1076111 HAS SOUS 679483 HAS SOUPS 679483 WITH SCORE 680559.111
AT ITER 1988 NEW BEST:: SOT 4931669 SOS 1076009 HAS SOPS 1076009 HAS SOUS 679381 HAS SOUPS 679381 WITH SCORE 680457.009
AT ITER 1999 NEW BEST:: SOT 4931381 SOS 1075449 HAS SOPS 1075449 HAS SOUS 679067 HAS SOUPS 679067 WITH SCORE 680142.449
AT ITER 2011 NEW BEST:: SOT 4931065 SOS 1075133 HAS SOPS 1075133 HAS SOUS 678751 HAS SOUPS 678751 WITH SCORE 679826.133
AT ITER 2018 NEW BEST:: SOT 4930936 SOS 1076036 HAS SOPS 1076036 HAS SOUS 678622 HAS SOUPS 678622 WITH SCORE 679698.036
AT ITER 2026 NEW BEST:: SOT 4930936 SOS 1076251 HAS SOPS 1076251 HAS SOUS 678621 HAS SOUPS 678621 WITH SCORE 679697.251
AT ITER 2052 NEW BEST:: SOT 4930768 SOS 1076109 HAS SOPS 1076109 HAS SOUS 678473 HAS SOUPS 678473 WITH SCORE 679549.109
AT ITER 2073 NEW BEST:: SOT 4930797 SOS 1076167 HAS SOPS 1076167 HAS SOUS 678275 HAS SOUPS 678275 WITH SCORE 679351.167
AT ITER 2090 NEW BEST:: SOT 4930797 SOS 1076167 HAS SOPS 1076167 HAS SOUS 678206 HAS SOUPS 678206 WITH SCORE 679282.167
AT ITER 2100 NEW BEST:: SOT 4930347 SOS 1075717 HAS SOPS 1075717 HAS SOUS 677756 HAS SOUPS 677756 WITH SCORE 678831.717
AT ITER 2117 NEW BEST:: SOT 4929889 SOS 1075259 HAS SOPS 1075259 HAS SOUS 677298 HAS SOUPS 677298 WITH SCORE 678373.259
AT ITER 2125 NEW BEST:: SOT 4929653 SOS 1075023 HAS SOPS 1075023 HAS SOUS 677062 HAS SOUPS 677062 WITH SCORE 678137.023
AT ITER 2127 NEW BEST:: SOT 4929437 SOS 1074952 HAS SOPS 1074952 HAS SOUS 676942 HAS SOUPS 676942 WITH SCORE 678016.952
AT ITER 2149 NEW BEST:: SOT 4929407 SOS 1074892 HAS SOPS 1074892 HAS SOUS 676882 HAS SOUPS 676882 WITH SCORE 677956.892
AT ITER 2151 NEW BEST:: SOT 4929770 SOS 1074853 HAS SOPS 1074853 HAS SOUS 676843 HAS SOUPS 676843 WITH SCORE 677917.853
AT ITER 2157 NEW BEST:: SOT 4929819 SOS 1074851 HAS SOPS 1074851 HAS SOUS 676842 HAS SOUPS 676842 WITH SCORE 677916.851
AT ITER 2182 NEW BEST:: SOT 4929684 SOS 1073721 HAS SOPS 1073721 HAS SOUS 676777 HAS SOUPS 676777 WITH SCORE 677850.721
AT ITER 2193 NEW BEST:: SOT 4929684 SOS 1073721 HAS SOPS 1073721 HAS SOUS 676727 HAS SOUPS 676727 WITH SCORE 677800.721
AT ITER 2210 NEW BEST:: SOT 4929684 SOS 1073794 HAS SOPS 1073794 HAS SOUS 676726 HAS SOUPS 676726 WITH SCORE 677799.794
AT ITER 2225 NEW BEST:: SOT 4929413 SOS 1073523 HAS SOPS 1073523 HAS SOUS 676455 HAS SOUPS 676455 WITH SCORE 677528.523
AT ITER 2251 NEW BEST:: SOT 4929413 SOS 1073398 HAS SOPS 1073398 HAS SOUS 676330 HAS SOUPS 676330 WITH SCORE 677403.398
AT ITER 2259 NEW BEST:: SOT 4929287 SOS 1073146 HAS SOPS 1073146 HAS SOUS 676078 HAS SOUPS 676078 WITH SCORE 677151.146
AT ITER 2262 NEW BEST:: SOT 4929287 SOS 1073146 HAS SOPS 1073146 HAS SOUS 676077 HAS SOUPS 676077 WITH SCORE 677150.146
AT ITER 2265 NEW BEST:: SOT 4929229 SOS 1073030 HAS SOPS 1073030 HAS SOUS 675961 HAS SOUPS 675961 WITH SCORE 677034.03
AT ITER 2281 NEW BEST:: SOT 4928986 SOS 1072787 HAS SOPS 1072787 HAS SOUS 675718 HAS SOUPS 675718 WITH SCORE 676790.787
AT ITER 2354 NEW BEST:: SOT 4928730 SOS 1072649 HAS SOPS 1072649 HAS SOUS 675502 HAS SOUPS 675502 WITH SCORE 676574.649
AT ITER 2362 NEW BEST:: SOT 4928347 SOS 1071559 HAS SOPS 1071559 HAS SOUS 675018 HAS SOUPS 675018 WITH SCORE 676089.559
AT ITER 2379 NEW BEST:: SOT 4927686 SOS 1071587 HAS SOPS 1071587 HAS SOUS 674807 HAS SOUPS 674807 WITH SCORE 675878.587
AT ITER 2399 NEW BEST:: SOT 4927065 SOS 1070345 HAS SOPS 1070345 HAS SOUS 673608 HAS SOUPS 673608 WITH SCORE 674678.345
AT ITER 2417 NEW BEST:: SOT 4927034 SOS 1070283 HAS SOPS 1070283 HAS SOUS 673546 HAS SOUPS 673546 WITH SCORE 674616.283
AT ITER 2455 NEW BEST:: SOT 4926931 SOS 1070230 HAS SOPS 1070230 HAS SOUS 673443 HAS SOUPS 673443 WITH SCORE 674513.23
AT ITER 2487 NEW BEST:: SOT 4926927 SOS 1070219 HAS SOPS 1070219 HAS SOUS 673434 HAS SOUPS 673434 WITH SCORE 674504.219
AT ITER 2507 NEW BEST:: SOT 4926601 SOS 1070689 HAS SOPS 1070689 HAS SOUS 673131 HAS SOUPS 673131 WITH SCORE 674201.689
AT ITER 2564 NEW BEST:: SOT 4926459 SOS 1070557 HAS SOPS 1070557 HAS SOUS 672885 HAS SOUPS 672885 WITH SCORE 673955.557
AT ITER 2565 NEW BEST:: SOT 4926516 SOS 1070594 HAS SOPS 1070594 HAS SOUS 672845 HAS SOUPS 672845 WITH SCORE 673915.594
AT ITER 2571 NEW BEST:: SOT 4926451 SOS 1069101 HAS SOPS 1069101 HAS SOUS 672423 HAS SOUPS 672423 WITH SCORE 673492.101
AT ITER 2581 NEW BEST:: SOT 4926390 SOS 1069525 HAS SOPS 1069525 HAS SOUS 672362 HAS SOUPS 672362 WITH SCORE 673431.525
AT ITER 2582 NEW BEST:: SOT 4926314 SOS 1068343 HAS SOPS 1068343 HAS SOUS 672114 HAS SOUPS 672114 WITH SCORE 673182.343
AT ITER 2600 NEW BEST:: SOT 4926264 SOS 1068243 HAS SOPS 1068243 HAS SOUS 671960 HAS SOUPS 671960 WITH SCORE 673028.243
AT ITER 2646 NEW BEST:: SOT 4926118 SOS 1067951 HAS SOPS 1067951 HAS SOUS 671668 HAS SOUPS 671668 WITH SCORE 672735.951
AT ITER 2654 NEW BEST:: SOT 4926118 SOS 1067744 HAS SOPS 1067744 HAS SOUS 671461 HAS SOUPS 671461 WITH SCORE 672528.744
AT ITER 2686 NEW BEST:: SOT 4926045 SOS 1067740 HAS SOPS 1067740 HAS SOUS 671401 HAS SOUPS 671401 WITH SCORE 672468.74
AT ITER 2695 NEW BEST:: SOT 4926041 SOS 1067564 HAS SOPS 1067564 HAS SOUS 671393 HAS SOUPS 671393 WITH SCORE 672460.564
AT ITER 2696 NEW BEST:: SOT 4925911 SOS 1066134 HAS SOPS 1066134 HAS SOUS 671133 HAS SOUPS 671133 WITH SCORE 672199.134
AT ITER 2700 NEW BEST:: SOT 4925911 SOS 1066384 HAS SOPS 1066384 HAS SOUS 671131 HAS SOUPS 671131 WITH SCORE 672197.384
AT ITER 2703 NEW BEST:: SOT 4925940 SOS 1066439 HAS SOPS 1066439 HAS SOUS 671130 HAS SOUPS 671130 WITH SCORE 672196.439
AT ITER 2720 NEW BEST:: SOT 4925611 SOS 1066325 HAS SOPS 1066325 HAS SOUS 670935 HAS SOUPS 670935 WITH SCORE 672001.325
AT ITER 2736 NEW BEST:: SOT 4924815 SOS 1065667 HAS SOPS 1065667 HAS SOUS 670139 HAS SOUPS 670139 WITH SCORE 671204.667
AT ITER 2755 NEW BEST:: SOT 4924866 SOS 1065429 HAS SOPS 1065429 HAS SOUS 670071 HAS SOUPS 670071 WITH SCORE 671136.429
AT ITER 2762 NEW BEST:: SOT 4924864 SOS 1065425 HAS SOPS 1065425 HAS SOUS 670069 HAS SOUPS 670069 WITH SCORE 671134.425
AT ITER 2768 NEW BEST:: SOT 4924994 SOS 1066618 HAS SOPS 1066618 HAS SOUS 669924 HAS SOUPS 669924 WITH SCORE 670990.618
AT ITER 2795 NEW BEST:: SOT 4924452 SOS 1066076 HAS SOPS 1066076 HAS SOUS 669382 HAS SOUPS 669382 WITH SCORE 670448.076
AT ITER 2823 NEW BEST:: SOT 4923894 SOS 1065797 HAS SOPS 1065797 HAS SOUS 669103 HAS SOUPS 669103 WITH SCORE 670168.797
AT ITER 2827 NEW BEST:: SOT 4923894 SOS 1065797 HAS SOPS 1065797 HAS SOUS 669087 HAS SOUPS 669087 WITH SCORE 670152.797
AT ITER 2889 NEW BEST:: SOT 4923890 SOS 1065795 HAS SOPS 1065795 HAS SOUS 669086 HAS SOUPS 669086 WITH SCORE 670151.795
AT ITER 2891 NEW BEST:: SOT 4923889 SOS 1065793 HAS SOPS 1065793 HAS SOUS 669084 HAS SOUPS 669084 WITH SCORE 670149.793
AT ITER 2906 NEW BEST:: SOT 4923888 SOS 1065791 HAS SOPS 1065791 HAS SOUS 669082 HAS SOUPS 669082 WITH SCORE 670147.791
AT ITER 2937 NEW BEST:: SOT 4923868 SOS 1065751 HAS SOPS 1065751 HAS SOUS 669042 HAS SOUPS 669042 WITH SCORE 670107.751
AT ITER 2940 NEW BEST:: SOT 4923767 SOS 1065789 HAS SOPS 1065789 HAS SOUS 669021 HAS SOUPS 669021 WITH SCORE 670086.789
AT ITER 2956 NEW BEST:: SOT 4923705 SOS 1065603 HAS SOPS 1065603 HAS SOUS 668835 HAS SOUPS 668835 WITH SCORE 669900.603
AT ITER 3000 NEW BEST:: SOT 4923073 SOS 1064339 HAS SOPS 1064339 HAS SOUS 668203 HAS SOUPS 668203 WITH SCORE 669267.339
AT ITER 3003 NEW BEST:: SOT 4923067 SOS 1064484 HAS SOPS 1064484 HAS SOUS 668191 HAS SOUPS 668191 WITH SCORE 669255.484
AT ITER 3018 NEW BEST:: SOT 4922979 SOS 1064438 HAS SOPS 1064438 HAS SOUS 668145 HAS SOUPS 668145 WITH SCORE 669209.438
AT ITER 3031 NEW BEST:: SOT 4923057 SOS 1063985 HAS SOPS 1063985 HAS SOUS 668020 HAS SOUPS 668020 WITH SCORE 669083.985
AT ITER 3045 NEW BEST:: SOT 4923041 SOS 1063953 HAS SOPS 1063953 HAS SOUS 667988 HAS SOUPS 667988 WITH SCORE 669051.953
AT ITER 3065 NEW BEST:: SOT 4922916 SOS 1063964 HAS SOPS 1063964 HAS SOUS 667960 HAS SOUPS 667960 WITH SCORE 669023.964
AT ITER 3130 NEW BEST:: SOT 4922401 SOS 1060456 HAS SOPS 1060456 HAS SOUS 667205 HAS SOUPS 667205 WITH SCORE 668265.456
AT ITER 3165 NEW BEST:: SOT 4922372 SOS 1060398 HAS SOPS 1060398 HAS SOUS 667147 HAS SOUPS 667147 WITH SCORE 668207.398
AT ITER 3185 NEW BEST:: SOT 4922169 SOS 1059992 HAS SOPS 1059992 HAS SOUS 666752 HAS SOUPS 666752 WITH SCORE 667811.992
AT ITER 3204 NEW BEST:: SOT 4922485 SOS 1060623 HAS SOPS 1060623 HAS SOUS 666538 HAS SOUPS 666538 WITH SCORE 667598.623
AT ITER 3206 NEW BEST:: SOT 4922485 SOS 1060623 HAS SOPS 1060623 HAS SOUS 666537 HAS SOUPS 666537 WITH SCORE 667597.623
AT ITER 3232 NEW BEST:: SOT 4922421 SOS 1059949 HAS SOPS 1059949 HAS SOUS 666388 HAS SOUPS 666388 WITH SCORE 667447.949
AT ITER 3250 NEW BEST:: SOT 4922421 SOS 1059927 HAS SOPS 1059927 HAS SOUS 666388 HAS SOUPS 666388 WITH SCORE 667447.927
AT ITER 3251 NEW BEST:: SOT 4922462 SOS 1060009 HAS SOPS 1060009 HAS SOUS 666239 HAS SOUPS 666239 WITH SCORE 667299.009
AT ITER 3253 NEW BEST:: SOT 4922242 SOS 1059745 HAS SOPS 1059745 HAS SOUS 665997 HAS SOUPS 665997 WITH SCORE 667056.745
AT ITER 3288 NEW BEST:: SOT 4922242 SOS 1059491 HAS SOPS 1059491 HAS SOUS 665997 HAS SOUPS 665997 WITH SCORE 667056.491
AT ITER 3335 NEW BEST:: SOT 4922089 SOS 1059325 HAS SOPS 1059325 HAS SOUS 665831 HAS SOUPS 665831 WITH SCORE 666890.325
AT ITER 3338 NEW BEST:: SOT 4921773 SOS 1058693 HAS SOPS 1058693 HAS SOUS 665199 HAS SOUPS 665199 WITH SCORE 666257.693
AT ITER 3353 NEW BEST:: SOT 4921773 SOS 1058675 HAS SOPS 1058675 HAS SOUS 665181 HAS SOUPS 665181 WITH SCORE 666239.675
AT ITER 3358 NEW BEST:: SOT 4921766 SOS 1058652 HAS SOPS 1058652 HAS SOUS 665174 HAS SOUPS 665174 WITH SCORE 666232.652
AT ITER 3368 NEW BEST:: SOT 4921764 SOS 1058535 HAS SOPS 1058535 HAS SOUS 665057 HAS SOUPS 665057 WITH SCORE 666115.535
AT ITER 3384 NEW BEST:: SOT 4921570 SOS 1058573 HAS SOPS 1058573 HAS SOUS 665004 HAS SOUPS 665004 WITH SCORE 666062.573
AT ITER 3392 NEW BEST:: SOT 4921912 SOS 1057873 HAS SOPS 1057873 HAS SOUS 664993 HAS SOUPS 664993 WITH SCORE 666050.873
AT ITER 3430 NEW BEST:: SOT 4921314 SOS 1057970 HAS SOPS 1057970 HAS SOUS 664839 HAS SOUPS 664839 WITH SCORE 665896.97
AT ITER 3459 NEW BEST:: SOT 4921314 SOS 1057562 HAS SOPS 1057562 HAS SOUS 664703 HAS SOUPS 664703 WITH SCORE 665760.562
AT ITER 3472 NEW BEST:: SOT 4921288 SOS 1057270 HAS SOPS 1057270 HAS SOUS 664651 HAS SOUPS 664651 WITH SCORE 665708.27
AT ITER 3475 NEW BEST:: SOT 4921288 SOS 1057270 HAS SOPS 1057270 HAS SOUS 664648 HAS SOUPS 664648 WITH SCORE 665705.27
AT ITER 3486 NEW BEST:: SOT 4920668 SOS 1056678 HAS SOPS 1056678 HAS SOUS 664429 HAS SOUPS 664429 WITH SCORE 665485.678
AT ITER 3490 NEW BEST:: SOT 4920559 SOS 1056460 HAS SOPS 1056460 HAS SOUS 664211 HAS SOUPS 664211 WITH SCORE 665267.46
AT ITER 3544 NEW BEST:: SOT 4920325 SOS 1062183 HAS SOPS 1062183 HAS SOUS 663753 HAS SOUPS 663753 WITH SCORE 664815.183
AT ITER 3548 NEW BEST:: SOT 4920220 SOS 1061973 HAS SOPS 1061973 HAS SOUS 663648 HAS SOUPS 663648 WITH SCORE 664709.973
AT ITER 3576 NEW BEST:: SOT 4920128 SOS 1062469 HAS SOPS 1062469 HAS SOUS 663434 HAS SOUPS 663434 WITH SCORE 664496.469
AT ITER 3579 NEW BEST:: SOT 4920127 SOS 1062467 HAS SOPS 1062467 HAS SOUS 663432 HAS SOUPS 663432 WITH SCORE 664494.467
AT ITER 3581 NEW BEST:: SOT 4919945 SOS 1062550 HAS SOPS 1062550 HAS SOUS 663336 HAS SOUPS 663336 WITH SCORE 664398.55
AT ITER 3582 NEW BEST:: SOT 4919264 SOS 1061670 HAS SOPS 1061670 HAS SOUS 663167 HAS SOUPS 663167 WITH SCORE 664228.67
AT ITER 3606 NEW BEST:: SOT 4919263 SOS 1061596 HAS SOPS 1061596 HAS SOUS 663130 HAS SOUPS 663130 WITH SCORE 664191.596
AT ITER 3609 NEW BEST:: SOT 4919262 SOS 1061822 HAS SOPS 1061822 HAS SOUS 663128 HAS SOUPS 663128 WITH SCORE 664189.822
AT ITER 3613 NEW BEST:: SOT 4919210 SOS 1061718 HAS SOPS 1061718 HAS SOUS 663024 HAS SOUPS 663024 WITH SCORE 664085.718
AT ITER 3628 NEW BEST:: SOT 4919210 SOS 1061718 HAS SOPS 1061718 HAS SOUS 662863 HAS SOUPS 662863 WITH SCORE 663924.718
AT ITER 3634 NEW BEST:: SOT 4919008 SOS 1061516 HAS SOPS 1061516 HAS SOUS 662863 HAS SOUPS 662863 WITH SCORE 663924.516
AT ITER 3637 NEW BEST:: SOT 4918923 SOS 1061431 HAS SOPS 1061431 HAS SOUS 662778 HAS SOUPS 662778 WITH SCORE 663839.431
AT ITER 3657 NEW BEST:: SOT 4918923 SOS 1061375 HAS SOPS 1061375 HAS SOUS 662722 HAS SOUPS 662722 WITH SCORE 663783.375
AT ITER 3671 NEW BEST:: SOT 4918923 SOS 1061375 HAS SOPS 1061375 HAS SOUS 662721 HAS SOUPS 662721 WITH SCORE 663782.375
AT ITER 3688 NEW BEST:: SOT 4918667 SOS 1060607 HAS SOPS 1060607 HAS SOUS 662337 HAS SOUPS 662337 WITH SCORE 663397.607
AT ITER 3754 NEW BEST:: SOT 4918595 SOS 1060463 HAS SOPS 1060463 HAS SOUS 661742 HAS SOUPS 661742 WITH SCORE 662802.463
AT ITER 3781 NEW BEST:: SOT 4918602 SOS 1059550 HAS SOPS 1059550 HAS SOUS 661440 HAS SOUPS 661440 WITH SCORE 662499.55
AT ITER 3788 NEW BEST:: SOT 4918541 SOS 1059632 HAS SOPS 1059632 HAS SOUS 661379 HAS SOUPS 661379 WITH SCORE 662438.632
AT ITER 3802 NEW BEST:: SOT 4918463 SOS 1059824 HAS SOPS 1059824 HAS SOUS 661300 HAS SOUPS 661300 WITH SCORE 662359.824
AT ITER 3807 NEW BEST:: SOT 4918463 SOS 1059824 HAS SOPS 1059824 HAS SOUS 661181 HAS SOUPS 661181 WITH SCORE 662240.824
AT ITER 3812 NEW BEST:: SOT 4918436 SOS 1059851 HAS SOPS 1059851 HAS SOUS 661154 HAS SOUPS 661154 WITH SCORE 662213.851
AT ITER 3817 NEW BEST:: SOT 4918429 SOS 1059837 HAS SOPS 1059837 HAS SOUS 661147 HAS SOUPS 661147 WITH SCORE 662206.837
AT ITER 3844 NEW BEST:: SOT 4918162 SOS 1059700 HAS SOPS 1059700 HAS SOUS 661010 HAS SOUPS 661010 WITH SCORE 662069.7
AT ITER 3861 NEW BEST:: SOT 4917972 SOS 1059320 HAS SOPS 1059320 HAS SOUS 660583 HAS SOUPS 660583 WITH SCORE 661642.32
AT ITER 3879 NEW BEST:: SOT 4917971 SOS 1059300 HAS SOPS 1059300 HAS SOUS 660563 HAS SOUPS 660563 WITH SCORE 661622.3
AT ITER 3890 NEW BEST:: SOT 4917970 SOS 1059298 HAS SOPS 1059298 HAS SOUS 660561 HAS SOUPS 660561 WITH SCORE 661620.298
AT ITER 3955 NEW BEST:: SOT 4917977 SOS 1059322 HAS SOPS 1059322 HAS SOUS 660560 HAS SOUPS 660560 WITH SCORE 661619.322
AT ITER 3992 NEW BEST:: SOT 4917836 SOS 1059143 HAS SOPS 1059143 HAS SOUS 660381 HAS SOUPS 660381 WITH SCORE 661440.143
AT ITER 4035 NEW BEST:: SOT 4918066 SOS 1059098 HAS SOPS 1059098 HAS SOUS 660336 HAS SOUPS 660336 WITH SCORE 661395.098
AT ITER 4072 NEW BEST:: SOT 4917810 SOS 1059291 HAS SOPS 1059291 HAS SOUS 660294 HAS SOUPS 660294 WITH SCORE 661353.291
AT ITER 4077 NEW BEST:: SOT 4917715 SOS 1059335 HAS SOPS 1059335 HAS SOUS 660277 HAS SOUPS 660277 WITH SCORE 661336.335
AT ITER 4083 NEW BEST:: SOT 4917550 SOS 1061057 HAS SOPS 1061057 HAS SOUS 660112 HAS SOUPS 660112 WITH SCORE 661173.057
AT ITER 4097 NEW BEST:: SOT 4917526 SOS 1061033 HAS SOPS 1061033 HAS SOUS 660088 HAS SOUPS 660088 WITH SCORE 661149.033
AT ITER 4113 NEW BEST:: SOT 4917301 SOS 1060798 HAS SOPS 1060798 HAS SOUS 659862 HAS SOUPS 659862 WITH SCORE 660922.798
AT ITER 4114 NEW BEST:: SOT 4917206 SOS 1060608 HAS SOPS 1060608 HAS SOUS 659672 HAS SOUPS 659672 WITH SCORE 660732.608
AT ITER 4134 NEW BEST:: SOT 4917206 SOS 1061309 HAS SOPS 1061309 HAS SOUS 659671 HAS SOUPS 659671 WITH SCORE 660732.309
AT ITER 4153 NEW BEST:: SOT 4916911 SOS 1061308 HAS SOPS 1061308 HAS SOUS 659670 HAS SOUPS 659670 WITH SCORE 660731.308
AT ITER 4166 NEW BEST:: SOT 4916044 SOS 1061341 HAS SOPS 1061341 HAS SOUS 659483 HAS SOUPS 659483 WITH SCORE 660544.341
AT ITER 4178 NEW BEST:: SOT 4916044 SOS 1061124 HAS SOPS 1061124 HAS SOUS 659357 HAS SOUPS 659357 WITH SCORE 660418.124
AT ITER 4200 NEW BEST:: SOT 4916018 SOS 1061072 HAS SOPS 1061072 HAS SOUS 659307 HAS SOUPS 659307 WITH SCORE 660368.072
AT ITER 4232 NEW BEST:: SOT 4915137 SOS 1060512 HAS SOPS 1060512 HAS SOUS 658584 HAS SOUPS 658584 WITH SCORE 659644.512
AT ITER 4294 NEW BEST:: SOT 4914654 SOS 1060114 HAS SOPS 1060114 HAS SOUS 657618 HAS SOUPS 657618 WITH SCORE 658678.114
AT ITER 4300 NEW BEST:: SOT 4914261 SOS 1059721 HAS SOPS 1059721 HAS SOUS 657225 HAS SOUPS 657225 WITH SCORE 658284.721
AT ITER 4304 NEW BEST:: SOT 4914261 SOS 1060209 HAS SOPS 1060209 HAS SOUS 657224 HAS SOUPS 657224 WITH SCORE 658284.209
AT ITER 4341 NEW BEST:: SOT 4914260 SOS 1060207 HAS SOPS 1060207 HAS SOUS 657222 HAS SOUPS 657222 WITH SCORE 658282.207
AT ITER 4385 NEW BEST:: SOT 4914159 SOS 1059818 HAS SOPS 1059818 HAS SOUS 657025 HAS SOUPS 657025 WITH SCORE 658084.818
AT ITER 4403 NEW BEST:: SOT 4914159 SOS 1059581 HAS SOPS 1059581 HAS SOUS 657025 HAS SOUPS 657025 WITH SCORE 658084.581
AT ITER 4440 NEW BEST:: SOT 4914157 SOS 1059577 HAS SOPS 1059577 HAS SOUS 657021 HAS SOUPS 657021 WITH SCORE 658080.577
AT ITER 4453 NEW BEST:: SOT 4914157 SOS 1058668 HAS SOPS 1058668 HAS SOUS 657021 HAS SOUPS 657021 WITH SCORE 658079.668
AT ITER 4454 NEW BEST:: SOT 4914108 SOS 1058999 HAS SOPS 1058999 HAS SOUS 656971 HAS SOUPS 656971 WITH SCORE 658029.999
AT ITER 4505 NEW BEST:: SOT 4914108 SOS 1058963 HAS SOPS 1058963 HAS SOUS 656899 HAS SOUPS 656899 WITH SCORE 657957.963
AT ITER 4515 NEW BEST:: SOT 4914022 SOS 1060420 HAS SOPS 1060420 HAS SOUS 656649 HAS SOUPS 656649 WITH SCORE 657709.42
AT ITER 4516 NEW BEST:: SOT 4914003 SOS 1060401 HAS SOPS 1060401 HAS SOUS 656630 HAS SOUPS 656630 WITH SCORE 657690.401
AT ITER 4534 NEW BEST:: SOT 4913999 SOS 1060393 HAS SOPS 1060393 HAS SOUS 656622 HAS SOUPS 656622 WITH SCORE 657682.393
AT ITER 4549 NEW BEST:: SOT 4913606 SOS 1060037 HAS SOPS 1060037 HAS SOUS 656269 HAS SOUPS 656269 WITH SCORE 657329.037
AT ITER 4551 NEW BEST:: SOT 4913381 SOS 1059894 HAS SOPS 1059894 HAS SOUS 656126 HAS SOUPS 656126 WITH SCORE 657185.894
AT ITER 4552 NEW BEST:: SOT 4913381 SOS 1059664 HAS SOPS 1059664 HAS SOUS 656103 HAS SOUPS 656103 WITH SCORE 657162.664
AT ITER 4555 NEW BEST:: SOT 4913381 SOS 1060048 HAS SOPS 1060048 HAS SOUS 655911 HAS SOUPS 655911 WITH SCORE 656971.048
AT ITER 4595 NEW BEST:: SOT 4913029 SOS 1059344 HAS SOPS 1059344 HAS SOUS 655112 HAS SOUPS 655112 WITH SCORE 656171.344
AT ITER 4596 NEW BEST:: SOT 4912681 SOS 1058932 HAS SOPS 1058932 HAS SOUS 654748 HAS SOUPS 654748 WITH SCORE 655806.932
AT ITER 4623 NEW BEST:: SOT 4912244 SOS 1059264 HAS SOPS 1059264 HAS SOUS 654311 HAS SOUPS 654311 WITH SCORE 655370.264
AT ITER 4629 NEW BEST:: SOT 4912117 SOS 1060101 HAS SOPS 1060101 HAS SOUS 654056 HAS SOUPS 654056 WITH SCORE 655116.101
AT ITER 4650 NEW BEST:: SOT 4912039 SOS 1062888 HAS SOPS 1062888 HAS SOUS 653978 HAS SOUPS 653978 WITH SCORE 655040.888
AT ITER 4657 NEW BEST:: SOT 4911962 SOS 1059017 HAS SOPS 1059017 HAS SOUS 653895 HAS SOUPS 653895 WITH SCORE 654954.017
AT ITER 4659 NEW BEST:: SOT 4911961 SOS 1059146 HAS SOPS 1059146 HAS SOUS 653893 HAS SOUPS 653893 WITH SCORE 654952.146
AT ITER 4698 NEW BEST:: SOT 4911920 SOS 1059064 HAS SOPS 1059064 HAS SOUS 653811 HAS SOUPS 653811 WITH SCORE 654870.064
AT ITER 4739 NEW BEST:: SOT 4911885 SOS 1058994 HAS SOPS 1058994 HAS SOUS 653775 HAS SOUPS 653775 WITH SCORE 654833.994
AT ITER 4745 NEW BEST:: SOT 4911872 SOS 1058983 HAS SOPS 1058983 HAS SOUS 653764 HAS SOUPS 653764 WITH SCORE 654822.983
AT ITER 4748 NEW BEST:: SOT 4911543 SOS 1063837 HAS SOPS 1063837 HAS SOUS 653515 HAS SOUPS 653515 WITH SCORE 654578.837
AT ITER 4754 NEW BEST:: SOT 4911335 SOS 1062518 HAS SOPS 1062518 HAS SOUS 653099 HAS SOUPS 653099 WITH SCORE 654161.518
AT ITER 4759 NEW BEST:: SOT 4911246 SOS 1062677 HAS SOPS 1062677 HAS SOUS 652921 HAS SOUPS 652921 WITH SCORE 653983.677
AT ITER 4760 NEW BEST:: SOT 4911246 SOS 1062682 HAS SOPS 1062682 HAS SOUS 652920 HAS SOUPS 652920 WITH SCORE 653982.682
AT ITER 4770 NEW BEST:: SOT 4911246 SOS 1062602 HAS SOPS 1062602 HAS SOUS 652880 HAS SOUPS 652880 WITH SCORE 653942.602
AT ITER 4783 NEW BEST:: SOT 4911246 SOS 1062762 HAS SOPS 1062762 HAS SOUS 652855 HAS SOUPS 652855 WITH SCORE 653917.762
AT ITER 4786 NEW BEST:: SOT 4911021 SOS 1062312 HAS SOPS 1062312 HAS SOUS 652630 HAS SOUPS 652630 WITH SCORE 653692.312
AT ITER 4790 NEW BEST:: SOT 4910865 SOS 1062000 HAS SOPS 1062000 HAS SOUS 652318 HAS SOUPS 652318 WITH SCORE 653380.0
AT ITER 4795 NEW BEST:: SOT 4910865 SOS 1061799 HAS SOPS 1061799 HAS SOUS 652318 HAS SOUPS 652318 WITH SCORE 653379.799
AT ITER 4815 NEW BEST:: SOT 4910836 SOS 1061741 HAS SOPS 1061741 HAS SOUS 652289 HAS SOUPS 652289 WITH SCORE 653350.741
AT ITER 4828 NEW BEST:: SOT 4909413 SOS 1061580 HAS SOPS 1061580 HAS SOUS 650998 HAS SOUPS 650998 WITH SCORE 652059.58
AT ITER 4844 NEW BEST:: SOT 4909413 SOS 1060120 HAS SOPS 1060120 HAS SOUS 650998 HAS SOUPS 650998 WITH SCORE 652058.12
AT ITER 4846 NEW BEST:: SOT 4909068 SOS 1059853 HAS SOPS 1059853 HAS SOUS 650731 HAS SOUPS 650731 WITH SCORE 651790.853
AT ITER 4867 NEW BEST:: SOT 4908813 SOS 1059343 HAS SOPS 1059343 HAS SOUS 650342 HAS SOUPS 650342 WITH SCORE 651401.343
AT ITER 4873 NEW BEST:: SOT 4908751 SOS 1059343 HAS SOPS 1059343 HAS SOUS 650280 HAS SOUPS 650280 WITH SCORE 651339.343
AT ITER 4883 NEW BEST:: SOT 4908701 SOS 1059243 HAS SOPS 1059243 HAS SOUS 650230 HAS SOUPS 650230 WITH SCORE 651289.243
AT ITER 4904 NEW BEST:: SOT 4908763 SOS 1059242 HAS SOPS 1059242 HAS SOUS 650228 HAS SOUPS 650228 WITH SCORE 651287.242
AT ITER 4920 NEW BEST:: SOT 4908668 SOS 1058277 HAS SOPS 1058277 HAS SOUS 650032 HAS SOUPS 650032 WITH SCORE 651090.277
AT ITER 4998 NEW BEST:: SOT 4908683 SOS 1058305 HAS SOPS 1058305 HAS SOUS 649995 HAS SOUPS 649995 WITH SCORE 651053.305
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: DLCround-PT-06b-CTLCardinality-00 (EX( (AU( potential( (tk(P666)) <= (tk(P556)) ),potential( ( 3 ) <= (tk(P89)) ) ))))
PROPERTY: DLCround-PT-06b-CTLCardinality-01 ( ( (EG( ( potential( (tk(P2339)) <= (tk(P1222)) ) | potential( (tk(P267)) <= (tk(P1230)) ) ))) & ( (AF(potential( ( 2 ) <= (tk(P731)) ))) | ( ( potential( ( 2 ) <= (tk(P426)) ) | potential( (tk(P369)) <= (tk(P905)) ) ) & potential( (tk(P548)) <= (tk(P280)) ) ) ) ) & (AX( potential( (tk(P1243)) <= (tk(P2223)) ))) )
PROPERTY: DLCround-PT-06b-CTLCardinality-02 ( ( (! (! (! potential( (tk(P237)) <= (tk(P570)) )))) & ( (EF(potential( ( 2 ) <= (tk(P2122)) ))) & (AF(potential( ( 1 ) <= (tk(P1605)) ))) ) ) | (EF((AF(potential( ( 3 ) <= (tk(P754)) ))))) )
PROPERTY: DLCround-PT-06b-CTLCardinality-03 (AF(( (! ( potential( (tk(P2333)) <= (tk(P1103)) ) & potential( (tk(P1021)) <= (tk(P1062)) ) )) | (AG( potential( ( 1 ) <= (tk(P313)) ))) )))
PROPERTY: DLCround-PT-06b-CTLCardinality-04 (AU( potential( (tk(P1291)) <= (tk(P1468)) ),(EX( potential( ( 2 ) <= (tk(P725)) ))) ))
PROPERTY: DLCround-PT-06b-CTLCardinality-05 (EF(potential( ( 3 ) <= (tk(P673)) )))
PROPERTY: DLCround-PT-06b-CTLCardinality-06 ( (AU( (! potential( ( 1 ) <= (tk(P210)) )),( potential( (tk(P858)) <= (tk(P446)) ) & potential( ( 3 ) <= (tk(P2177)) ) ) )) & (AF((AX( potential( (tk(P1731)) <= (tk(P1595)) ))))) )
PROPERTY: DLCround-PT-06b-CTLCardinality-07 ( (! ( (EX( potential( ( 2 ) <= (tk(P107)) ))) & potential( (tk(P1799)) <= (tk(P919)) ) )) & (EF(( ( potential( ( 2 ) <= (tk(P184)) ) & potential( ( 1 ) <= (tk(P1756)) ) ) & (! potential( (tk(P1435)) <= (tk(P1882)) )) ))) )
PROPERTY: DLCround-PT-06b-CTLCardinality-08 (AF((! potential( (tk(P1177)) <= (tk(P2320)) ))))
PROPERTY: DLCround-PT-06b-CTLCardinality-09 (EF(( (! (! potential( (tk(P1389)) <= (tk(P1903)) ))) & ( (! potential( (tk(P1821)) <= (tk(P1223)) )) & potential( (tk(P1945)) <= (tk(P79)) ) ) )))
PROPERTY: DLCround-PT-06b-CTLCardinality-10 ( (! (EF(potential( ( 2 ) <= (tk(P1202)) )))) | ( (EX( ( potential( (tk(P965)) <= (tk(P163)) ) | potential( (tk(P276)) <= (tk(P649)) ) ))) & (EU( potential( (tk(P2313)) <= (tk(P649)) ),potential( ( 2 ) <= (tk(P691)) ) )) ) )
PROPERTY: DLCround-PT-06b-CTLCardinality-11 ( ( ( ( (! potential( (tk(P1807)) <= (tk(P1490)) )) | potential( ( 2 ) <= (tk(P1628)) ) ) & (AX( potential( ( 3 ) <= (tk(P1465)) ))) ) | ( (! potential( ( 1 ) <= (tk(P1826)) )) | ( ( potential( (tk(P1207)) <= (tk(P1044)) ) & potential( ( 1 ) <= (tk(P840)) ) ) & ( potential( ( 2 ) <= (tk(P52)) ) | potential( (tk(P863)) <= (tk(P1010)) ) ) ) ) ) & ( ( (EG( potential( (tk(P1260)) <= (tk(P53)) ))) & potential( ( 2 ) <= (tk(P945)) ) ) | (EU( potential( (tk(P307)) <= (tk(P1484)) ),potential( ( 1 ) <= (tk(P1845)) ) )) ) )
PROPERTY: DLCround-PT-06b-CTLCardinality-12 (! ( (AF(potential( ( 1 ) <= (tk(P691)) ))) | (AX( potential( ( 2 ) <= (tk(P2305)) ))) ))
PROPERTY: DLCround-PT-06b-CTLCardinality-13 (EU( potential( (tk(P1304)) <= (tk(P1844)) ),(AG( potential( ( 3 ) <= (tk(P1762)) ))) ))
PROPERTY: DLCround-PT-06b-CTLCardinality-14 (AG( (AF(( potential( (tk(P701)) <= (tk(P1433)) ) | potential( ( 1 ) <= (tk(P1733)) ) )))))
PROPERTY: DLCround-PT-06b-CTLCardinality-15 (EF((AG( potential( (tk(P1285)) <= (tk(P4)) )))))

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCround-PT-06b"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is DLCround-PT-06b, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r048-ebro-158902542300507"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-06b.tgz
mv DLCround-PT-06b execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;