Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 3.1K Mar 25 09:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 09:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 09:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 09:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.0K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 25 09:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 25 09:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 08:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 25 08:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1.1M Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1589052092754

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 07b
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: 3222 places, 3986 transitions, 12126 arcs.
AT ITER 0 NEW BEST:: SOT 6887059 SOS 1328016 HAS SOPS 1328016 HAS SOUS 1070413 HAS SOUPS 1070413 WITH SCORE 1071741.016
AT ITER 8 NEW BEST:: SOT 6886953 SOS 1327804 HAS SOPS 1327804 HAS SOUS 1070307 HAS SOUPS 1070307 WITH SCORE 1071634.804
AT ITER 14 NEW BEST:: SOT 6886604 SOS 1327525 HAS SOPS 1327525 HAS SOUS 1069958 HAS SOUPS 1069958 WITH SCORE 1071285.525
AT ITER 39 NEW BEST:: SOT 6886604 SOS 1327328 HAS SOPS 1327328 HAS SOUS 1069958 HAS SOUPS 1069958 WITH SCORE 1071285.328
AT ITER 42 NEW BEST:: SOT 6885295 SOS 1326414 HAS SOPS 1326414 HAS SOUS 1069000 HAS SOUPS 1069000 WITH SCORE 1070326.414
AT ITER 59 NEW BEST:: SOT 6885059 SOS 1326298 HAS SOPS 1326298 HAS SOUS 1068855 HAS SOUPS 1068855 WITH SCORE 1070181.298
AT ITER 71 NEW BEST:: SOT 6884820 SOS 1326058 HAS SOPS 1326058 HAS SOUS 1068615 HAS SOUPS 1068615 WITH SCORE 1069941.058
AT ITER 80 NEW BEST:: SOT 6884762 SOS 1325442 HAS SOPS 1325442 HAS SOUS 1068463 HAS SOUPS 1068463 WITH SCORE 1069788.442
AT ITER 84 NEW BEST:: SOT 6884573 SOS 1324875 HAS SOPS 1324875 HAS SOUS 1067896 HAS SOUPS 1067896 WITH SCORE 1069220.875
AT ITER 104 NEW BEST:: SOT 6884330 SOS 1324630 HAS SOPS 1324630 HAS SOUS 1067627 HAS SOUPS 1067627 WITH SCORE 1068951.63
AT ITER 106 NEW BEST:: SOT 6884330 SOS 1323021 HAS SOPS 1323021 HAS SOUS 1067627 HAS SOUPS 1067627 WITH SCORE 1068950.021
AT ITER 122 NEW BEST:: SOT 6884271 SOS 1322489 HAS SOPS 1322489 HAS SOUS 1067543 HAS SOUPS 1067543 WITH SCORE 1068865.489
AT ITER 137 NEW BEST:: SOT 6884270 SOS 1322312 HAS SOPS 1322312 HAS SOUS 1067366 HAS SOUPS 1067366 WITH SCORE 1068688.312
AT ITER 152 NEW BEST:: SOT 6884219 SOS 1322210 HAS SOPS 1322210 HAS SOUS 1067264 HAS SOUPS 1067264 WITH SCORE 1068586.21
AT ITER 179 NEW BEST:: SOT 6884186 SOS 1322208 HAS SOPS 1322208 HAS SOUS 1067230 HAS SOUPS 1067230 WITH SCORE 1068552.208
AT ITER 235 NEW BEST:: SOT 6883989 SOS 1321880 HAS SOPS 1321880 HAS SOUS 1067030 HAS SOUPS 1067030 WITH SCORE 1068351.88
AT ITER 240 NEW BEST:: SOT 6883988 SOS 1323093 HAS SOPS 1323093 HAS SOUS 1066997 HAS SOUPS 1066997 WITH SCORE 1068320.093
AT ITER 255 NEW BEST:: SOT 6883754 SOS 1322612 HAS SOPS 1322612 HAS SOUS 1066709 HAS SOUPS 1066709 WITH SCORE 1068031.612
AT ITER 274 NEW BEST:: SOT 6883044 SOS 1321664 HAS SOPS 1321664 HAS SOUS 1065763 HAS SOUPS 1065763 WITH SCORE 1067084.664
AT ITER 317 NEW BEST:: SOT 6882834 SOS 1321302 HAS SOPS 1321302 HAS SOUS 1065401 HAS SOUPS 1065401 WITH SCORE 1066722.302
AT ITER 327 NEW BEST:: SOT 6882406 SOS 1320736 HAS SOPS 1320736 HAS SOUS 1064971 HAS SOUPS 1064971 WITH SCORE 1066291.736
AT ITER 330 NEW BEST:: SOT 6882450 SOS 1320627 HAS SOPS 1320627 HAS SOUS 1064862 HAS SOUPS 1064862 WITH SCORE 1066182.627
AT ITER 367 NEW BEST:: SOT 6882146 SOS 1320147 HAS SOPS 1320147 HAS SOUS 1064406 HAS SOUPS 1064406 WITH SCORE 1065726.147
AT ITER 373 NEW BEST:: SOT 6882145 SOS 1320145 HAS SOPS 1320145 HAS SOUS 1064404 HAS SOUPS 1064404 WITH SCORE 1065724.145
AT ITER 374 NEW BEST:: SOT 6882101 SOS 1320057 HAS SOPS 1320057 HAS SOUS 1064316 HAS SOUPS 1064316 WITH SCORE 1065636.057
AT ITER 376 NEW BEST:: SOT 6881789 SOS 1319429 HAS SOPS 1319429 HAS SOUS 1063688 HAS SOUPS 1063688 WITH SCORE 1065007.429
AT ITER 398 NEW BEST:: SOT 6881789 SOS 1319425 HAS SOPS 1319425 HAS SOUS 1063684 HAS SOUPS 1063684 WITH SCORE 1065003.425
AT ITER 417 NEW BEST:: SOT 6881775 SOS 1319411 HAS SOPS 1319411 HAS SOUS 1063684 HAS SOUPS 1063684 WITH SCORE 1065003.411
AT ITER 501 NEW BEST:: SOT 6881310 SOS 1318946 HAS SOPS 1318946 HAS SOUS 1063219 HAS SOUPS 1063219 WITH SCORE 1064537.946
AT ITER 517 NEW BEST:: SOT 6881165 SOS 1320336 HAS SOPS 1320336 HAS SOUS 1063134 HAS SOUPS 1063134 WITH SCORE 1064454.336
AT ITER 521 NEW BEST:: SOT 6881165 SOS 1320334 HAS SOPS 1320334 HAS SOUS 1063133 HAS SOUPS 1063133 WITH SCORE 1064453.334
AT ITER 565 NEW BEST:: SOT 6880876 SOS 1320131 HAS SOPS 1320131 HAS SOUS 1062843 HAS SOUPS 1062843 WITH SCORE 1064163.131
AT ITER 621 NEW BEST:: SOT 6880523 SOS 1319743 HAS SOPS 1319743 HAS SOUS 1062489 HAS SOUPS 1062489 WITH SCORE 1063808.743
AT ITER 627 NEW BEST:: SOT 6880523 SOS 1319832 HAS SOPS 1319832 HAS SOUS 1062139 HAS SOUPS 1062139 WITH SCORE 1063458.832
AT ITER 630 NEW BEST:: SOT 6879533 SOS 1318974 HAS SOPS 1318974 HAS SOUS 1062139 HAS SOUPS 1062139 WITH SCORE 1063457.974
AT ITER 634 NEW BEST:: SOT 6879426 SOS 1318510 HAS SOPS 1318510 HAS SOUS 1061880 HAS SOUPS 1061880 WITH SCORE 1063198.51
AT ITER 643 NEW BEST:: SOT 6879158 SOS 1318098 HAS SOPS 1318098 HAS SOUS 1061608 HAS SOUPS 1061608 WITH SCORE 1062926.098
AT ITER 659 NEW BEST:: SOT 6879164 SOS 1317961 HAS SOPS 1317961 HAS SOUS 1061471 HAS SOUPS 1061471 WITH SCORE 1062788.961
AT ITER 673 NEW BEST:: SOT 6879159 SOS 1318129 HAS SOPS 1318129 HAS SOUS 1061450 HAS SOUPS 1061450 WITH SCORE 1062768.129
AT ITER 682 NEW BEST:: SOT 6879159 SOS 1318081 HAS SOPS 1318081 HAS SOUS 1061402 HAS SOUPS 1061402 WITH SCORE 1062720.081
AT ITER 737 NEW BEST:: SOT 6879029 SOS 1317984 HAS SOPS 1317984 HAS SOUS 1061305 HAS SOUPS 1061305 WITH SCORE 1062622.984
AT ITER 756 NEW BEST:: SOT 6878742 SOS 1317673 HAS SOPS 1317673 HAS SOUS 1061019 HAS SOUPS 1061019 WITH SCORE 1062336.673
AT ITER 777 NEW BEST:: SOT 6878525 SOS 1317173 HAS SOPS 1317173 HAS SOUS 1060519 HAS SOUPS 1060519 WITH SCORE 1061836.173
AT ITER 793 NEW BEST:: SOT 6878482 SOS 1317132 HAS SOPS 1317132 HAS SOUS 1060429 HAS SOUPS 1060429 WITH SCORE 1061746.132
AT ITER 798 NEW BEST:: SOT 6878400 SOS 1317074 HAS SOPS 1317074 HAS SOUS 1060371 HAS SOUPS 1060371 WITH SCORE 1061688.074
AT ITER 800 NEW BEST:: SOT 6878398 SOS 1317058 HAS SOPS 1317058 HAS SOUS 1060355 HAS SOUPS 1060355 WITH SCORE 1061672.058
AT ITER 814 NEW BEST:: SOT 6878398 SOS 1316923 HAS SOPS 1316923 HAS SOUS 1060337 HAS SOUPS 1060337 WITH SCORE 1061653.923
AT ITER 817 NEW BEST:: SOT 6878397 SOS 1316802 HAS SOPS 1316802 HAS SOUS 1060335 HAS SOUPS 1060335 WITH SCORE 1061651.802
AT ITER 833 NEW BEST:: SOT 6878397 SOS 1316742 HAS SOPS 1316742 HAS SOUS 1060275 HAS SOUPS 1060275 WITH SCORE 1061591.742
AT ITER 841 NEW BEST:: SOT 6878397 SOS 1316208 HAS SOPS 1316208 HAS SOUS 1059741 HAS SOUPS 1059741 WITH SCORE 1061057.208
AT ITER 872 NEW BEST:: SOT 6878397 SOS 1316208 HAS SOPS 1316208 HAS SOUS 1059740 HAS SOUPS 1059740 WITH SCORE 1061056.208
AT ITER 874 NEW BEST:: SOT 6878320 SOS 1316926 HAS SOPS 1316926 HAS SOUS 1059527 HAS SOUPS 1059527 WITH SCORE 1060843.926
AT ITER 875 NEW BEST:: SOT 6878320 SOS 1316778 HAS SOPS 1316778 HAS SOUS 1059526 HAS SOUPS 1059526 WITH SCORE 1060842.778
AT ITER 916 NEW BEST:: SOT 6878081 SOS 1316539 HAS SOPS 1316539 HAS SOUS 1059287 HAS SOUPS 1059287 WITH SCORE 1060603.539
AT ITER 942 NEW BEST:: SOT 6877850 SOS 1316195 HAS SOPS 1316195 HAS SOUS 1058816 HAS SOUPS 1058816 WITH SCORE 1060132.195
AT ITER 955 NEW BEST:: SOT 6877610 SOS 1318100 HAS SOPS 1318100 HAS SOUS 1058663 HAS SOUPS 1058663 WITH SCORE 1059981.1
AT ITER 962 NEW BEST:: SOT 6877581 SOS 1318479 HAS SOPS 1318479 HAS SOUS 1058594 HAS SOUPS 1058594 WITH SCORE 1059912.479
AT ITER 978 NEW BEST:: SOT 6877366 SOS 1318308 HAS SOPS 1318308 HAS SOUS 1058422 HAS SOUPS 1058422 WITH SCORE 1059740.308
AT ITER 979 NEW BEST:: SOT 6877157 SOS 1318203 HAS SOPS 1318203 HAS SOUS 1058317 HAS SOUPS 1058317 WITH SCORE 1059635.203
AT ITER 991 NEW BEST:: SOT 6876902 SOS 1317735 HAS SOPS 1317735 HAS SOUS 1058062 HAS SOUPS 1058062 WITH SCORE 1059379.735
AT ITER 995 NEW BEST:: SOT 6876772 SOS 1317475 HAS SOPS 1317475 HAS SOUS 1057802 HAS SOUPS 1057802 WITH SCORE 1059119.475
AT ITER 1030 NEW BEST:: SOT 6876771 SOS 1317307 HAS SOPS 1317307 HAS SOUS 1057800 HAS SOUPS 1057800 WITH SCORE 1059117.307
AT ITER 1039 NEW BEST:: SOT 6876498 SOS 1317006 HAS SOPS 1317006 HAS SOUS 1057522 HAS SOUPS 1057522 WITH SCORE 1058839.006
AT ITER 1043 NEW BEST:: SOT 6876317 SOS 1316131 HAS SOPS 1316131 HAS SOUS 1057172 HAS SOUPS 1057172 WITH SCORE 1058488.131
AT ITER 1047 NEW BEST:: SOT 6875616 SOS 1317557 HAS SOPS 1317557 HAS SOUS 1057032 HAS SOUPS 1057032 WITH SCORE 1058349.557
AT ITER 1050 NEW BEST:: SOT 6875223 SOS 1316771 HAS SOPS 1316771 HAS SOUS 1056246 HAS SOUPS 1056246 WITH SCORE 1057562.771
AT ITER 1129 NEW BEST:: SOT 6875147 SOS 1316691 HAS SOPS 1316691 HAS SOUS 1056167 HAS SOUPS 1056167 WITH SCORE 1057483.691
AT ITER 1134 NEW BEST:: SOT 6873151 SOS 1314085 HAS SOPS 1314085 HAS SOUS 1054040 HAS SOUPS 1054040 WITH SCORE 1055354.085
AT ITER 1136 NEW BEST:: SOT 6873559 SOS 1314023 HAS SOPS 1314023 HAS SOUS 1053978 HAS SOUPS 1053978 WITH SCORE 1055292.023
AT ITER 1202 NEW BEST:: SOT 6873437 SOS 1313581 HAS SOPS 1313581 HAS SOUS 1053734 HAS SOUPS 1053734 WITH SCORE 1055047.581
AT ITER 1206 NEW BEST:: SOT 6873437 SOS 1313580 HAS SOPS 1313580 HAS SOUS 1053733 HAS SOUPS 1053733 WITH SCORE 1055046.58
AT ITER 1224 NEW BEST:: SOT 6873190 SOS 1313501 HAS SOPS 1313501 HAS SOUS 1053380 HAS SOUPS 1053380 WITH SCORE 1054693.501
AT ITER 1245 NEW BEST:: SOT 6873190 SOS 1313396 HAS SOPS 1313396 HAS SOUS 1053370 HAS SOUPS 1053370 WITH SCORE 1054683.396
AT ITER 1287 NEW BEST:: SOT 6873245 SOS 1313376 HAS SOPS 1313376 HAS SOUS 1053350 HAS SOUPS 1053350 WITH SCORE 1054663.376
AT ITER 1327 NEW BEST:: SOT 6871525 SOS 1319334 HAS SOPS 1319334 HAS SOUS 1052977 HAS SOUPS 1052977 WITH SCORE 1054296.334
AT ITER 1351 NEW BEST:: SOT 6871403 SOS 1319663 HAS SOPS 1319663 HAS SOUS 1052816 HAS SOUPS 1052816 WITH SCORE 1054135.663
AT ITER 1359 NEW BEST:: SOT 6871403 SOS 1319659 HAS SOPS 1319659 HAS SOUS 1052812 HAS SOUPS 1052812 WITH SCORE 1054131.659
AT ITER 1365 NEW BEST:: SOT 6871403 SOS 1319658 HAS SOPS 1319658 HAS SOUS 1052811 HAS SOUPS 1052811 WITH SCORE 1054130.658
AT ITER 1366 NEW BEST:: SOT 6871292 SOS 1320014 HAS SOPS 1320014 HAS SOUS 1052726 HAS SOUPS 1052726 WITH SCORE 1054046.014
AT ITER 1386 NEW BEST:: SOT 6871292 SOS 1319903 HAS SOPS 1319903 HAS SOUS 1052725 HAS SOUPS 1052725 WITH SCORE 1054044.903
AT ITER 1408 NEW BEST:: SOT 6870936 SOS 1319204 HAS SOPS 1319204 HAS SOUS 1051228 HAS SOUPS 1051228 WITH SCORE 1052547.204
AT ITER 1423 NEW BEST:: SOT 6870935 SOS 1319183 HAS SOPS 1319183 HAS SOUS 1051207 HAS SOUPS 1051207 WITH SCORE 1052526.183
AT ITER 1425 NEW BEST:: SOT 6870935 SOS 1319120 HAS SOPS 1319120 HAS SOUS 1051205 HAS SOUPS 1051205 WITH SCORE 1052524.12
AT ITER 1426 NEW BEST:: SOT 6871578 SOS 1319834 HAS SOPS 1319834 HAS SOUS 1049646 HAS SOUPS 1049646 WITH SCORE 1050965.834
AT ITER 1427 NEW BEST:: SOT 6871578 SOS 1319823 HAS SOPS 1319823 HAS SOUS 1049635 HAS SOUPS 1049635 WITH SCORE 1050954.823
AT ITER 1459 NEW BEST:: SOT 6871578 SOS 1319709 HAS SOPS 1319709 HAS SOUS 1049521 HAS SOUPS 1049521 WITH SCORE 1050840.709
AT ITER 1462 NEW BEST:: SOT 6871491 SOS 1319618 HAS SOPS 1319618 HAS SOUS 1049430 HAS SOUPS 1049430 WITH SCORE 1050749.618
AT ITER 1507 NEW BEST:: SOT 6871490 SOS 1319616 HAS SOPS 1319616 HAS SOUS 1049428 HAS SOUPS 1049428 WITH SCORE 1050747.616
AT ITER 1532 NEW BEST:: SOT 6871397 SOS 1319430 HAS SOPS 1319430 HAS SOUS 1049322 HAS SOUPS 1049322 WITH SCORE 1050641.43
AT ITER 1538 NEW BEST:: SOT 6871390 SOS 1319416 HAS SOPS 1319416 HAS SOUS 1049308 HAS SOUPS 1049308 WITH SCORE 1050627.416
AT ITER 1544 NEW BEST:: SOT 6871306 SOS 1319408 HAS SOPS 1319408 HAS SOUS 1049139 HAS SOUPS 1049139 WITH SCORE 1050458.408
AT ITER 1557 NEW BEST:: SOT 6871282 SOS 1319381 HAS SOPS 1319381 HAS SOUS 1049112 HAS SOUPS 1049112 WITH SCORE 1050431.381
AT ITER 1565 NEW BEST:: SOT 6870523 SOS 1318387 HAS SOPS 1318387 HAS SOUS 1048105 HAS SOUPS 1048105 WITH SCORE 1049423.387
AT ITER 1568 NEW BEST:: SOT 6870404 SOS 1318149 HAS SOPS 1318149 HAS SOUS 1047986 HAS SOUPS 1047986 WITH SCORE 1049304.149
AT ITER 1595 NEW BEST:: SOT 6866157 SOS 1314640 HAS SOPS 1314640 HAS SOUS 1043945 HAS SOUPS 1043945 WITH SCORE 1045259.64
AT ITER 1602 NEW BEST:: SOT 6866131 SOS 1314586 HAS SOPS 1314586 HAS SOUS 1043891 HAS SOUPS 1043891 WITH SCORE 1045205.586
AT ITER 1613 NEW BEST:: SOT 6865875 SOS 1314230 HAS SOPS 1314230 HAS SOUS 1043634 HAS SOUPS 1043634 WITH SCORE 1044948.23
AT ITER 1616 NEW BEST:: SOT 6866578 SOS 1316795 HAS SOPS 1316795 HAS SOUS 1041800 HAS SOUPS 1041800 WITH SCORE 1043116.795
AT ITER 1666 NEW BEST:: SOT 6866578 SOS 1316779 HAS SOPS 1316779 HAS SOUS 1041784 HAS SOUPS 1041784 WITH SCORE 1043100.779
AT ITER 1675 NEW BEST:: SOT 6865284 SOS 1315485 HAS SOPS 1315485 HAS SOUS 1040489 HAS SOUPS 1040489 WITH SCORE 1041804.485
AT ITER 1695 NEW BEST:: SOT 6865284 SOS 1315484 HAS SOPS 1315484 HAS SOUS 1040489 HAS SOUPS 1040489 WITH SCORE 1041804.484
AT ITER 1702 NEW BEST:: SOT 6864862 SOS 1314640 HAS SOPS 1314640 HAS SOUS 1040005 HAS SOUPS 1040005 WITH SCORE 1041319.64
AT ITER 1707 NEW BEST:: SOT 6862788 SOS 1312685 HAS SOPS 1312685 HAS SOUS 1037931 HAS SOUPS 1037931 WITH SCORE 1039243.685
AT ITER 1713 NEW BEST:: SOT 6862618 SOS 1312175 HAS SOPS 1312175 HAS SOUS 1037584 HAS SOUPS 1037584 WITH SCORE 1038896.175
AT ITER 1716 NEW BEST:: SOT 6862617 SOS 1312173 HAS SOPS 1312173 HAS SOUS 1037582 HAS SOUPS 1037582 WITH SCORE 1038894.173
AT ITER 1747 NEW BEST:: SOT 6862475 SOS 1312538 HAS SOPS 1312538 HAS SOUS 1037401 HAS SOUPS 1037401 WITH SCORE 1038713.538
AT ITER 1759 NEW BEST:: SOT 6862475 SOS 1312523 HAS SOPS 1312523 HAS SOUS 1037386 HAS SOUPS 1037386 WITH SCORE 1038698.523
AT ITER 1767 NEW BEST:: SOT 6862258 SOS 1312273 HAS SOPS 1312273 HAS SOUS 1037351 HAS SOUPS 1037351 WITH SCORE 1038663.273
AT ITER 1789 NEW BEST:: SOT 6862160 SOS 1312066 HAS SOPS 1312066 HAS SOUS 1037048 HAS SOUPS 1037048 WITH SCORE 1038360.066
AT ITER 1795 NEW BEST:: SOT 6861774 SOS 1311708 HAS SOPS 1311708 HAS SOUS 1036687 HAS SOUPS 1036687 WITH SCORE 1037998.708
AT ITER 1805 NEW BEST:: SOT 6861792 SOS 1311639 HAS SOPS 1311639 HAS SOUS 1036600 HAS SOUPS 1036600 WITH SCORE 1037911.639
AT ITER 1848 NEW BEST:: SOT 6861497 SOS 1311221 HAS SOPS 1311221 HAS SOUS 1036236 HAS SOUPS 1036236 WITH SCORE 1037547.221
AT ITER 1853 NEW BEST:: SOT 6861519 SOS 1311415 HAS SOPS 1311415 HAS SOUS 1036179 HAS SOUPS 1036179 WITH SCORE 1037490.415
AT ITER 1854 NEW BEST:: SOT 6861448 SOS 1311273 HAS SOPS 1311273 HAS SOUS 1035815 HAS SOUPS 1035815 WITH SCORE 1037126.273
AT ITER 1879 NEW BEST:: SOT 6861254 SOS 1310769 HAS SOPS 1310769 HAS SOUS 1035311 HAS SOUPS 1035311 WITH SCORE 1036621.769
AT ITER 1893 NEW BEST:: SOT 6861110 SOS 1310669 HAS SOPS 1310669 HAS SOUS 1035180 HAS SOUPS 1035180 WITH SCORE 1036490.669
AT ITER 1909 NEW BEST:: SOT 6861110 SOS 1310666 HAS SOPS 1310666 HAS SOUS 1035177 HAS SOUPS 1035177 WITH SCORE 1036487.666
AT ITER 1938 NEW BEST:: SOT 6860222 SOS 1309667 HAS SOPS 1309667 HAS SOUS 1034955 HAS SOUPS 1034955 WITH SCORE 1036264.667
AT ITER 1945 NEW BEST:: SOT 6859913 SOS 1308850 HAS SOPS 1308850 HAS SOUS 1034336 HAS SOUPS 1034336 WITH SCORE 1035644.85
AT ITER 1946 NEW BEST:: SOT 6859913 SOS 1308850 HAS SOPS 1308850 HAS SOUS 1034335 HAS SOUPS 1034335 WITH SCORE 1035643.85
AT ITER 1950 NEW BEST:: SOT 6856845 SOS 1304910 HAS SOPS 1304910 HAS SOUS 1034308 HAS SOUPS 1034308 WITH SCORE 1035612.91
AT ITER 1957 NEW BEST:: SOT 6856667 SOS 1304816 HAS SOPS 1304816 HAS SOUS 1034214 HAS SOUPS 1034214 WITH SCORE 1035518.816
AT ITER 1959 NEW BEST:: SOT 6856624 SOS 1304730 HAS SOPS 1304730 HAS SOUS 1034128 HAS SOUPS 1034128 WITH SCORE 1035432.73
AT ITER 2001 NEW BEST:: SOT 6856624 SOS 1304772 HAS SOPS 1304772 HAS SOUS 1033218 HAS SOUPS 1033218 WITH SCORE 1034522.772
AT ITER 2027 NEW BEST:: SOT 6856542 SOS 1303609 HAS SOPS 1303609 HAS SOUS 1033051 HAS SOUPS 1033051 WITH SCORE 1034354.609
AT ITER 2030 NEW BEST:: SOT 6856413 SOS 1303480 HAS SOPS 1303480 HAS SOUS 1032793 HAS SOUPS 1032793 WITH SCORE 1034096.48
AT ITER 2035 NEW BEST:: SOT 6855692 SOS 1302759 HAS SOPS 1302759 HAS SOUS 1032793 HAS SOUPS 1032793 WITH SCORE 1034095.759
AT ITER 2076 NEW BEST:: SOT 6855617 SOS 1302657 HAS SOPS 1302657 HAS SOUS 1032768 HAS SOUPS 1032768 WITH SCORE 1034070.657
AT ITER 2077 NEW BEST:: SOT 6855343 SOS 1302109 HAS SOPS 1302109 HAS SOUS 1032220 HAS SOUPS 1032220 WITH SCORE 1033522.109
AT ITER 2096 NEW BEST:: SOT 6855306 SOS 1301997 HAS SOPS 1301997 HAS SOUS 1032145 HAS SOUPS 1032145 WITH SCORE 1033446.997
AT ITER 2122 NEW BEST:: SOT 6855182 SOS 1301749 HAS SOPS 1301749 HAS SOUS 1031897 HAS SOUPS 1031897 WITH SCORE 1033198.749
AT ITER 2138 NEW BEST:: SOT 6855182 SOS 1301734 HAS SOPS 1301734 HAS SOUS 1031882 HAS SOUPS 1031882 WITH SCORE 1033183.734
AT ITER 2189 NEW BEST:: SOT 6854880 SOS 1301421 HAS SOPS 1301421 HAS SOUS 1031569 HAS SOUPS 1031569 WITH SCORE 1032870.421
AT ITER 2207 NEW BEST:: SOT 6854880 SOS 1301418 HAS SOPS 1301418 HAS SOUS 1031566 HAS SOUPS 1031566 WITH SCORE 1032867.418
AT ITER 2219 NEW BEST:: SOT 6854819 SOS 1301183 HAS SOPS 1301183 HAS SOUS 1031393 HAS SOUPS 1031393 WITH SCORE 1032694.183
AT ITER 2255 NEW BEST:: SOT 6854813 SOS 1301176 HAS SOPS 1301176 HAS SOUS 1031385 HAS SOUPS 1031385 WITH SCORE 1032686.176
AT ITER 2266 NEW BEST:: SOT 6854711 SOS 1300905 HAS SOPS 1300905 HAS SOUS 1031180 HAS SOUPS 1031180 WITH SCORE 1032480.905
AT ITER 2279 NEW BEST:: SOT 6854597 SOS 1300374 HAS SOPS 1300374 HAS SOUS 1030952 HAS SOUPS 1030952 WITH SCORE 1032252.374
AT ITER 2284 NEW BEST:: SOT 6854340 SOS 1300003 HAS SOPS 1300003 HAS SOUS 1030920 HAS SOUPS 1030920 WITH SCORE 1032220.003
AT ITER 2289 NEW BEST:: SOT 6854340 SOS 1300002 HAS SOPS 1300002 HAS SOUS 1030919 HAS SOUPS 1030919 WITH SCORE 1032219.002
AT ITER 2324 NEW BEST:: SOT 6854215 SOS 1299877 HAS SOPS 1299877 HAS SOUS 1030794 HAS SOUPS 1030794 WITH SCORE 1032093.877
AT ITER 2328 NEW BEST:: SOT 6854071 SOS 1300518 HAS SOPS 1300518 HAS SOUS 1030468 HAS SOUPS 1030468 WITH SCORE 1031768.518
AT ITER 2382 NEW BEST:: SOT 6854071 SOS 1300311 HAS SOPS 1300311 HAS SOUS 1030409 HAS SOUPS 1030409 WITH SCORE 1031709.311
AT ITER 2398 NEW BEST:: SOT 6854071 SOS 1300309 HAS SOPS 1300309 HAS SOUS 1030407 HAS SOUPS 1030407 WITH SCORE 1031707.309
AT ITER 2474 NEW BEST:: SOT 6853293 SOS 1299848 HAS SOPS 1299848 HAS SOUS 1029951 HAS SOUPS 1029951 WITH SCORE 1031250.848
AT ITER 2479 NEW BEST:: SOT 6853130 SOS 1299521 HAS SOPS 1299521 HAS SOUS 1029787 HAS SOUPS 1029787 WITH SCORE 1031086.521
AT ITER 2486 NEW BEST:: SOT 6852933 SOS 1298977 HAS SOPS 1298977 HAS SOUS 1029480 HAS SOUPS 1029480 WITH SCORE 1030778.977
AT ITER 2487 NEW BEST:: SOT 6852888 SOS 1298883 HAS SOPS 1298883 HAS SOUS 1029386 HAS SOUPS 1029386 WITH SCORE 1030684.883
AT ITER 2492 NEW BEST:: SOT 6852818 SOS 1298599 HAS SOPS 1298599 HAS SOUS 1029102 HAS SOUPS 1029102 WITH SCORE 1030400.599
AT ITER 2493 NEW BEST:: SOT 6852587 SOS 1298368 HAS SOPS 1298368 HAS SOUS 1028865 HAS SOUPS 1028865 WITH SCORE 1030163.368
AT ITER 2494 NEW BEST:: SOT 6852438 SOS 1298144 HAS SOPS 1298144 HAS SOUS 1027761 HAS SOUPS 1027761 WITH SCORE 1029059.144
AT ITER 2499 NEW BEST:: SOT 6852092 SOS 1297798 HAS SOPS 1297798 HAS SOUS 1027415 HAS SOUPS 1027415 WITH SCORE 1028712.798
AT ITER 2511 NEW BEST:: SOT 6852092 SOS 1297717 HAS SOPS 1297717 HAS SOUS 1027334 HAS SOUPS 1027334 WITH SCORE 1028631.717
AT ITER 2517 NEW BEST:: SOT 6851984 SOS 1297501 HAS SOPS 1297501 HAS SOUS 1027226 HAS SOUPS 1027226 WITH SCORE 1028523.501
AT ITER 2521 NEW BEST:: SOT 6851984 SOS 1297323 HAS SOPS 1297323 HAS SOUS 1027225 HAS SOUPS 1027225 WITH SCORE 1028522.323
AT ITER 2522 NEW BEST:: SOT 6851984 SOS 1297334 HAS SOPS 1297334 HAS SOUS 1027133 HAS SOUPS 1027133 WITH SCORE 1028430.334
AT ITER 2524 NEW BEST:: SOT 6851976 SOS 1297318 HAS SOPS 1297318 HAS SOUS 1027117 HAS SOUPS 1027117 WITH SCORE 1028414.318
AT ITER 2539 NEW BEST:: SOT 6851976 SOS 1297300 HAS SOPS 1297300 HAS SOUS 1027099 HAS SOUPS 1027099 WITH SCORE 1028396.3
AT ITER 2554 NEW BEST:: SOT 6851730 SOS 1297136 HAS SOPS 1297136 HAS SOUS 1026935 HAS SOUPS 1026935 WITH SCORE 1028232.136
AT ITER 2560 NEW BEST:: SOT 6851378 SOS 1296784 HAS SOPS 1296784 HAS SOUS 1026583 HAS SOUPS 1026583 WITH SCORE 1027879.784
AT ITER 2565 NEW BEST:: SOT 6850954 SOS 1296041 HAS SOPS 1296041 HAS SOUS 1026074 HAS SOUPS 1026074 WITH SCORE 1027370.041
AT ITER 2577 NEW BEST:: SOT 6850499 SOS 1296459 HAS SOPS 1296459 HAS SOUS 1025540 HAS SOUPS 1025540 WITH SCORE 1026836.459
AT ITER 2626 NEW BEST:: SOT 6850460 SOS 1296825 HAS SOPS 1296825 HAS SOUS 1025466 HAS SOUPS 1025466 WITH SCORE 1026762.825
AT ITER 2635 NEW BEST:: SOT 6849326 SOS 1295620 HAS SOPS 1295620 HAS SOUS 1024261 HAS SOUPS 1024261 WITH SCORE 1025556.62
AT ITER 2645 NEW BEST:: SOT 6849202 SOS 1294621 HAS SOPS 1294621 HAS SOUS 1024009 HAS SOUPS 1024009 WITH SCORE 1025303.621
AT ITER 2685 NEW BEST:: SOT 6849043 SOS 1294303 HAS SOPS 1294303 HAS SOUS 1023691 HAS SOUPS 1023691 WITH SCORE 1024985.303
AT ITER 2693 NEW BEST:: SOT 6849028 SOS 1294273 HAS SOPS 1294273 HAS SOUS 1023661 HAS SOUPS 1023661 WITH SCORE 1024955.273
AT ITER 2713 NEW BEST:: SOT 6848843 SOS 1293851 HAS SOPS 1293851 HAS SOUS 1023567 HAS SOUPS 1023567 WITH SCORE 1024860.851
AT ITER 2734 NEW BEST:: SOT 6848843 SOS 1293709 HAS SOPS 1293709 HAS SOUS 1023565 HAS SOUPS 1023565 WITH SCORE 1024858.709
AT ITER 2745 NEW BEST:: SOT 6848604 SOS 1293859 HAS SOPS 1293859 HAS SOUS 1023399 HAS SOUPS 1023399 WITH SCORE 1024692.859
AT ITER 2769 NEW BEST:: SOT 6848463 SOS 1293437 HAS SOPS 1293437 HAS SOUS 1023117 HAS SOUPS 1023117 WITH SCORE 1024410.437
AT ITER 2771 NEW BEST:: SOT 6848463 SOS 1293345 HAS SOPS 1293345 HAS SOUS 1023103 HAS SOUPS 1023103 WITH SCORE 1024396.345
AT ITER 2785 NEW BEST:: SOT 6847839 SOS 1292721 HAS SOPS 1292721 HAS SOUS 1022478 HAS SOUPS 1022478 WITH SCORE 1023770.721
AT ITER 2813 NEW BEST:: SOT 6847839 SOS 1291191 HAS SOPS 1291191 HAS SOUS 1022341 HAS SOUPS 1022341 WITH SCORE 1023632.191
AT ITER 2850 NEW BEST:: SOT 6847663 SOS 1292123 HAS SOPS 1292123 HAS SOUS 1022249 HAS SOUPS 1022249 WITH SCORE 1023541.123
AT ITER 2854 NEW BEST:: SOT 6847663 SOS 1292116 HAS SOPS 1292116 HAS SOUS 1022242 HAS SOUPS 1022242 WITH SCORE 1023534.116
AT ITER 2894 NEW BEST:: SOT 6847688 SOS 1292065 HAS SOPS 1292065 HAS SOUS 1022197 HAS SOUPS 1022197 WITH SCORE 1023489.065
AT ITER 2918 NEW BEST:: SOT 6847727 SOS 1291942 HAS SOPS 1291942 HAS SOUS 1022074 HAS SOUPS 1022074 WITH SCORE 1023365.942
AT ITER 2924 NEW BEST:: SOT 6847727 SOS 1291938 HAS SOPS 1291938 HAS SOUS 1022074 HAS SOUPS 1022074 WITH SCORE 1023365.938
AT ITER 2936 NEW BEST:: SOT 6847727 SOS 1291932 HAS SOPS 1291932 HAS SOUS 1022068 HAS SOUPS 1022068 WITH SCORE 1023359.932
AT ITER 2937 NEW BEST:: SOT 6847727 SOS 1291757 HAS SOPS 1291757 HAS SOUS 1021964 HAS SOUPS 1021964 WITH SCORE 1023255.757
AT ITER 2941 NEW BEST:: SOT 6847611 SOS 1291430 HAS SOPS 1291430 HAS SOUS 1021694 HAS SOUPS 1021694 WITH SCORE 1022985.43
AT ITER 2959 NEW BEST:: SOT 6847343 SOS 1291232 HAS SOPS 1291232 HAS SOUS 1021496 HAS SOUPS 1021496 WITH SCORE 1022787.232
AT ITER 2968 NEW BEST:: SOT 6847143 SOS 1291067 HAS SOPS 1291067 HAS SOUS 1021331 HAS SOUPS 1021331 WITH SCORE 1022622.067
AT ITER 2988 NEW BEST:: SOT 6846562 SOS 1290649 HAS SOPS 1290649 HAS SOUS 1020913 HAS SOUPS 1020913 WITH SCORE 1022203.649
AT ITER 2994 NEW BEST:: SOT 6846465 SOS 1291237 HAS SOPS 1291237 HAS SOUS 1019453 HAS SOUPS 1019453 WITH SCORE 1020744.237
AT ITER 2997 NEW BEST:: SOT 6846465 SOS 1291214 HAS SOPS 1291214 HAS SOUS 1019430 HAS SOUPS 1019430 WITH SCORE 1020721.214
AT ITER 3018 NEW BEST:: SOT 6846367 SOS 1291238 HAS SOPS 1291238 HAS SOUS 1019332 HAS SOUPS 1019332 WITH SCORE 1020623.238
AT ITER 3031 NEW BEST:: SOT 6846344 SOS 1291188 HAS SOPS 1291188 HAS SOUS 1019282 HAS SOUPS 1019282 WITH SCORE 1020573.188
AT ITER 3035 NEW BEST:: SOT 6846344 SOS 1291021 HAS SOPS 1291021 HAS SOUS 1019115 HAS SOUPS 1019115 WITH SCORE 1020406.021
AT ITER 3042 NEW BEST:: SOT 6846310 SOS 1290952 HAS SOPS 1290952 HAS SOUS 1019046 HAS SOUPS 1019046 WITH SCORE 1020336.952
AT ITER 3068 NEW BEST:: SOT 6846310 SOS 1290954 HAS SOPS 1290954 HAS SOUS 1018803 HAS SOUPS 1018803 WITH SCORE 1020093.954
AT ITER 3087 NEW BEST:: SOT 6846187 SOS 1290737 HAS SOPS 1290737 HAS SOUS 1018544 HAS SOUPS 1018544 WITH SCORE 1019834.737
AT ITER 3118 NEW BEST:: SOT 6845924 SOS 1290472 HAS SOPS 1290472 HAS SOUS 1018272 HAS SOUPS 1018272 WITH SCORE 1019562.472
AT ITER 3121 NEW BEST:: SOT 6845904 SOS 1290432 HAS SOPS 1290432 HAS SOUS 1018232 HAS SOUPS 1018232 WITH SCORE 1019522.432
AT ITER 3125 NEW BEST:: SOT 6845904 SOS 1290197 HAS SOPS 1290197 HAS SOUS 1017917 HAS SOUPS 1017917 WITH SCORE 1019207.197
AT ITER 3126 NEW BEST:: SOT 6845709 SOS 1289838 HAS SOPS 1289838 HAS SOUS 1017698 HAS SOUPS 1017698 WITH SCORE 1018987.838
AT ITER 3135 NEW BEST:: SOT 6845548 SOS 1288979 HAS SOPS 1288979 HAS SOUS 1017322 HAS SOUPS 1017322 WITH SCORE 1018610.979
AT ITER 3142 NEW BEST:: SOT 6845430 SOS 1288726 HAS SOPS 1288726 HAS SOUS 1017187 HAS SOUPS 1017187 WITH SCORE 1018475.726
AT ITER 3153 NEW BEST:: SOT 6845415 SOS 1290735 HAS SOPS 1290735 HAS SOUS 1017124 HAS SOUPS 1017124 WITH SCORE 1018414.735
AT ITER 3165 NEW BEST:: SOT 6845329 SOS 1290563 HAS SOPS 1290563 HAS SOUS 1016952 HAS SOUPS 1016952 WITH SCORE 1018242.563
AT ITER 3172 NEW BEST:: SOT 6845266 SOS 1290051 HAS SOPS 1290051 HAS SOUS 1016823 HAS SOUPS 1016823 WITH SCORE 1018113.051
AT ITER 3184 NEW BEST:: SOT 6845212 SOS 1289925 HAS SOPS 1289925 HAS SOUS 1016705 HAS SOUPS 1016705 WITH SCORE 1017994.925
AT ITER 3208 NEW BEST:: SOT 6843992 SOS 1288705 HAS SOPS 1288705 HAS SOUS 1015180 HAS SOUPS 1015180 WITH SCORE 1016468.705
AT ITER 3218 NEW BEST:: SOT 6843702 SOS 1288313 HAS SOPS 1288313 HAS SOUS 1014788 HAS SOUPS 1014788 WITH SCORE 1016076.313
AT ITER 3220 NEW BEST:: SOT 6843701 SOS 1288216 HAS SOPS 1288216 HAS SOUS 1014690 HAS SOUPS 1014690 WITH SCORE 1015978.216
AT ITER 3236 NEW BEST:: SOT 6843701 SOS 1288144 HAS SOPS 1288144 HAS SOUS 1014618 HAS SOUPS 1014618 WITH SCORE 1015906.144
AT ITER 3248 NEW BEST:: SOT 6843614 SOS 1287846 HAS SOPS 1287846 HAS SOUS 1014486 HAS SOUPS 1014486 WITH SCORE 1015773.846
AT ITER 3264 NEW BEST:: SOT 6843514 SOS 1287646 HAS SOPS 1287646 HAS SOUS 1014286 HAS SOUPS 1014286 WITH SCORE 1015573.646
AT ITER 3295 NEW BEST:: SOT 6842037 SOS 1289820 HAS SOPS 1289820 HAS SOUS 1013677 HAS SOUPS 1013677 WITH SCORE 1014966.82
AT ITER 3303 NEW BEST:: SOT 6841847 SOS 1289143 HAS SOPS 1289143 HAS SOUS 1011779 HAS SOUPS 1011779 WITH SCORE 1013068.143
AT ITER 3315 NEW BEST:: SOT 6841847 SOS 1288931 HAS SOPS 1288931 HAS SOUS 1011776 HAS SOUPS 1011776 WITH SCORE 1013064.931
AT ITER 3316 NEW BEST:: SOT 6841814 SOS 1288640 HAS SOPS 1288640 HAS SOUS 1011485 HAS SOUPS 1011485 WITH SCORE 1012773.64
AT ITER 3326 NEW BEST:: SOT 6841876 SOS 1288587 HAS SOPS 1288587 HAS SOUS 1011476 HAS SOUPS 1011476 WITH SCORE 1012764.587
AT ITER 3369 NEW BEST:: SOT 6841680 SOS 1288391 HAS SOPS 1288391 HAS SOUS 1011276 HAS SOUPS 1011276 WITH SCORE 1012564.391
AT ITER 3394 NEW BEST:: SOT 6841568 SOS 1287835 HAS SOPS 1287835 HAS SOUS 1011033 HAS SOUPS 1011033 WITH SCORE 1012320.835
AT ITER 3404 NEW BEST:: SOT 6841121 SOS 1287388 HAS SOPS 1287388 HAS SOUS 1010586 HAS SOUPS 1010586 WITH SCORE 1011873.388
AT ITER 3408 NEW BEST:: SOT 6840659 SOS 1286814 HAS SOPS 1286814 HAS SOUS 1010012 HAS SOUPS 1010012 WITH SCORE 1011298.814
AT ITER 3417 NEW BEST:: SOT 6840490 SOS 1286476 HAS SOPS 1286476 HAS SOUS 1009505 HAS SOUPS 1009505 WITH SCORE 1010791.476
AT ITER 3428 NEW BEST:: SOT 6840473 SOS 1286449 HAS SOPS 1286449 HAS SOUS 1009478 HAS SOUPS 1009478 WITH SCORE 1010764.449
AT ITER 3439 NEW BEST:: SOT 6840730 SOS 1286871 HAS SOPS 1286871 HAS SOUS 1009426 HAS SOUPS 1009426 WITH SCORE 1010712.871
AT ITER 3474 NEW BEST:: SOT 6840443 SOS 1286584 HAS SOPS 1286584 HAS SOUS 1009426 HAS SOUPS 1009426 WITH SCORE 1010712.584
AT ITER 3475 NEW BEST:: SOT 6840443 SOS 1286227 HAS SOPS 1286227 HAS SOUS 1009396 HAS SOUPS 1009396 WITH SCORE 1010682.227
AT ITER 3478 NEW BEST:: SOT 6840257 SOS 1285966 HAS SOPS 1285966 HAS SOUS 1009135 HAS SOUPS 1009135 WITH SCORE 1010420.966
AT ITER 3509 NEW BEST:: SOT 6840110 SOS 1285816 HAS SOPS 1285816 HAS SOUS 1008985 HAS SOUPS 1008985 WITH SCORE 1010270.816
AT ITER 3523 NEW BEST:: SOT 6840011 SOS 1286245 HAS SOPS 1286245 HAS SOUS 1008850 HAS SOUPS 1008850 WITH SCORE 1010136.245
AT ITER 3532 NEW BEST:: SOT 6839931 SOS 1286165 HAS SOPS 1286165 HAS SOUS 1008770 HAS SOUPS 1008770 WITH SCORE 1010056.165
AT ITER 3535 NEW BEST:: SOT 6839810 SOS 1285876 HAS SOPS 1285876 HAS SOUS 1008528 HAS SOUPS 1008528 WITH SCORE 1009813.876
AT ITER 3565 NEW BEST:: SOT 6839653 SOS 1285765 HAS SOPS 1285765 HAS SOUS 1008214 HAS SOUPS 1008214 WITH SCORE 1009499.765
AT ITER 3616 NEW BEST:: SOT 6839651 SOS 1285751 HAS SOPS 1285751 HAS SOUS 1008200 HAS SOUPS 1008200 WITH SCORE 1009485.751
AT ITER 3640 NEW BEST:: SOT 6839651 SOS 1285580 HAS SOPS 1285580 HAS SOUS 1008200 HAS SOUPS 1008200 WITH SCORE 1009485.58
AT ITER 3644 NEW BEST:: SOT 6839651 SOS 1285900 HAS SOPS 1285900 HAS SOUS 1008180 HAS SOUPS 1008180 WITH SCORE 1009465.9
AT ITER 3652 NEW BEST:: SOT 6839446 SOS 1285815 HAS SOPS 1285815 HAS SOUS 1008099 HAS SOUPS 1008099 WITH SCORE 1009384.815
AT ITER 3668 NEW BEST:: SOT 6839095 SOS 1285483 HAS SOPS 1285483 HAS SOUS 1007767 HAS SOUPS 1007767 WITH SCORE 1009052.483
AT ITER 3673 NEW BEST:: SOT 6838922 SOS 1285240 HAS SOPS 1285240 HAS SOUS 1007524 HAS SOUPS 1007524 WITH SCORE 1008809.24
AT ITER 3682 NEW BEST:: SOT 6838921 SOS 1285238 HAS SOPS 1285238 HAS SOUS 1007522 HAS SOUPS 1007522 WITH SCORE 1008807.238
AT ITER 3693 NEW BEST:: SOT 6838921 SOS 1285237 HAS SOPS 1285237 HAS SOUS 1007521 HAS SOUPS 1007521 WITH SCORE 1008806.237
AT ITER 3702 NEW BEST:: SOT 6838920 SOS 1285235 HAS SOPS 1285235 HAS SOUS 1007519 HAS SOUPS 1007519 WITH SCORE 1008804.235
AT ITER 3706 NEW BEST:: SOT 6838637 SOS 1284951 HAS SOPS 1284951 HAS SOUS 1004539 HAS SOUPS 1004539 WITH SCORE 1005823.951
AT ITER 3773 NEW BEST:: SOT 6838536 SOS 1284745 HAS SOPS 1284745 HAS SOUS 1004333 HAS SOUPS 1004333 WITH SCORE 1005617.745
AT ITER 3775 NEW BEST:: SOT 6839304 SOS 1285595 HAS SOPS 1285595 HAS SOUS 1002208 HAS SOUPS 1002208 WITH SCORE 1003493.595
AT ITER 3780 NEW BEST:: SOT 6839265 SOS 1285555 HAS SOPS 1285555 HAS SOUS 1002168 HAS SOUPS 1002168 WITH SCORE 1003453.555
AT ITER 3784 NEW BEST:: SOT 6839115 SOS 1285195 HAS SOPS 1285195 HAS SOUS 1001868 HAS SOUPS 1001868 WITH SCORE 1003153.195
AT ITER 3790 NEW BEST:: SOT 6839041 SOS 1285042 HAS SOPS 1285042 HAS SOUS 1001715 HAS SOUPS 1001715 WITH SCORE 1003000.042
AT ITER 3807 NEW BEST:: SOT 6839017 SOS 1284994 HAS SOPS 1284994 HAS SOUS 1001667 HAS SOUPS 1001667 WITH SCORE 1002951.994
AT ITER 3881 NEW BEST:: SOT 6839012 SOS 1284989 HAS SOPS 1284989 HAS SOUS 1001662 HAS SOUPS 1001662 WITH SCORE 1002946.989
AT ITER 3901 NEW BEST:: SOT 6839012 SOS 1284647 HAS SOPS 1284647 HAS SOUS 1001662 HAS SOUPS 1001662 WITH SCORE 1002946.647
AT ITER 3909 NEW BEST:: SOT 6837251 SOS 1283441 HAS SOPS 1283441 HAS SOUS 1000022 HAS SOUPS 1000022 WITH SCORE 1001305.441
AT ITER 3966 NEW BEST:: SOT 6837140 SOS 1283219 HAS SOPS 1283219 HAS SOUS 999800 HAS SOUPS 999800 WITH SCORE 1001083.219
AT ITER 3969 NEW BEST:: SOT 6837139 SOS 1283217 HAS SOPS 1283217 HAS SOUS 999798 HAS SOUPS 999798 WITH SCORE 1001081.217
AT ITER 4012 NEW BEST:: SOT 6836868 SOS 1281781 HAS SOPS 1281781 HAS SOUS 999222 HAS SOUPS 999222 WITH SCORE 1000503.781
AT ITER 4039 NEW BEST:: SOT 6836790 SOS 1281726 HAS SOPS 1281726 HAS SOUS 999074 HAS SOUPS 999074 WITH SCORE 1000355.726
AT ITER 4072 NEW BEST:: SOT 6836790 SOS 1281794 HAS SOPS 1281794 HAS SOUS 998938 HAS SOUPS 998938 WITH SCORE 1000219.794
AT ITER 4074 NEW BEST:: SOT 6836576 SOS 1280908 HAS SOPS 1280908 HAS SOUS 998510 HAS SOUPS 998510 WITH SCORE 999790.908
AT ITER 4109 NEW BEST:: SOT 6836406 SOS 1280738 HAS SOPS 1280738 HAS SOUS 998340 HAS SOUPS 998340 WITH SCORE 999620.738
AT ITER 4113 NEW BEST:: SOT 6836171 SOS 1280522 HAS SOPS 1280522 HAS SOUS 998122 HAS SOUPS 998122 WITH SCORE 999402.522
AT ITER 4114 NEW BEST:: SOT 6836171 SOS 1280432 HAS SOPS 1280432 HAS SOUS 998119 HAS SOUPS 998119 WITH SCORE 999399.432
AT ITER 4126 NEW BEST:: SOT 6836171 SOS 1280044 HAS SOPS 1280044 HAS SOUS 996031 HAS SOUPS 996031 WITH SCORE 997311.044
AT ITER 4132 NEW BEST:: SOT 6836127 SOS 1280023 HAS SOPS 1280023 HAS SOUS 996009 HAS SOUPS 996009 WITH SCORE 997289.023
AT ITER 4156 NEW BEST:: SOT 6836126 SOS 1279969 HAS SOPS 1279969 HAS SOUS 996006 HAS SOUPS 996006 WITH SCORE 997285.969
AT ITER 4165 NEW BEST:: SOT 6836126 SOS 1279876 HAS SOPS 1279876 HAS SOUS 996005 HAS SOUPS 996005 WITH SCORE 997284.876
AT ITER 4195 NEW BEST:: SOT 6836126 SOS 1279693 HAS SOPS 1279693 HAS SOUS 996005 HAS SOUPS 996005 WITH SCORE 997284.693
AT ITER 4206 NEW BEST:: SOT 6836126 SOS 1279634 HAS SOPS 1279634 HAS SOUS 995946 HAS SOUPS 995946 WITH SCORE 997225.634
AT ITER 4297 NEW BEST:: SOT 6835954 SOS 1279417 HAS SOPS 1279417 HAS SOUS 995718 HAS SOUPS 995718 WITH SCORE 996997.417
AT ITER 4300 NEW BEST:: SOT 6835030 SOS 1278788 HAS SOPS 1278788 HAS SOUS 995089 HAS SOUPS 995089 WITH SCORE 996367.788
AT ITER 4331 NEW BEST:: SOT 6833934 SOS 1277901 HAS SOPS 1277901 HAS SOUS 994202 HAS SOUPS 994202 WITH SCORE 995479.901
AT ITER 4344 NEW BEST:: SOT 6833782 SOS 1278168 HAS SOPS 1278168 HAS SOUS 994047 HAS SOUPS 994047 WITH SCORE 995325.168
AT ITER 4397 NEW BEST:: SOT 6833782 SOS 1277999 HAS SOPS 1277999 HAS SOUS 994046 HAS SOUPS 994046 WITH SCORE 995323.999
AT ITER 4417 NEW BEST:: SOT 6833709 SOS 1277690 HAS SOPS 1277690 HAS SOUS 993973 HAS SOUPS 993973 WITH SCORE 995250.69
AT ITER 4431 NEW BEST:: SOT 6833678 SOS 1277628 HAS SOPS 1277628 HAS SOUS 993940 HAS SOUPS 993940 WITH SCORE 995217.628
AT ITER 4483 NEW BEST:: SOT 6832919 SOS 1277401 HAS SOPS 1277401 HAS SOUS 993553 HAS SOUPS 993553 WITH SCORE 994830.401
AT ITER 4494 NEW BEST:: SOT 6832909 SOS 1277373 HAS SOPS 1277373 HAS SOUS 993533 HAS SOUPS 993533 WITH SCORE 994810.373
AT ITER 4496 NEW BEST:: SOT 6832859 SOS 1277105 HAS SOPS 1277105 HAS SOUS 993377 HAS SOUPS 993377 WITH SCORE 994654.105
AT ITER 4503 NEW BEST:: SOT 6832858 SOS 1277040 HAS SOPS 1277040 HAS SOUS 993374 HAS SOUPS 993374 WITH SCORE 994651.04
AT ITER 4505 NEW BEST:: SOT 6832883 SOS 1277090 HAS SOPS 1277090 HAS SOUS 993364 HAS SOUPS 993364 WITH SCORE 994641.09
AT ITER 4509 NEW BEST:: SOT 6831987 SOS 1276935 HAS SOPS 1276935 HAS SOUS 992837 HAS SOUPS 992837 WITH SCORE 994113.935
AT ITER 4601 NEW BEST:: SOT 6831880 SOS 1276720 HAS SOPS 1276720 HAS SOUS 992622 HAS SOUPS 992622 WITH SCORE 993898.72
AT ITER 4618 NEW BEST:: SOT 6831663 SOS 1276221 HAS SOPS 1276221 HAS SOUS 992187 HAS SOUPS 992187 WITH SCORE 993463.221
AT ITER 4623 NEW BEST:: SOT 6831663 SOS 1276061 HAS SOPS 1276061 HAS SOUS 992027 HAS SOUPS 992027 WITH SCORE 993303.061
AT ITER 4649 NEW BEST:: SOT 6831611 SOS 1275958 HAS SOPS 1275958 HAS SOUS 991971 HAS SOUPS 991971 WITH SCORE 993246.958
AT ITER 4650 NEW BEST:: SOT 6830972 SOS 1275319 HAS SOPS 1275319 HAS SOUS 991331 HAS SOUPS 991331 WITH SCORE 992606.319
AT ITER 4744 NEW BEST:: SOT 6830855 SOS 1274732 HAS SOPS 1274732 HAS SOUS 991095 HAS SOUPS 991095 WITH SCORE 992369.732
AT ITER 4760 NEW BEST:: SOT 6830854 SOS 1274757 HAS SOPS 1274757 HAS SOUS 990813 HAS SOUPS 990813 WITH SCORE 992087.757
AT ITER 4800 NEW BEST:: SOT 6830854 SOS 1274621 HAS SOPS 1274621 HAS SOUS 990677 HAS SOUPS 990677 WITH SCORE 991951.621
AT ITER 4830 NEW BEST:: SOT 6830854 SOS 1274552 HAS SOPS 1274552 HAS SOUS 990676 HAS SOUPS 990676 WITH SCORE 991950.552
AT ITER 4839 NEW BEST:: SOT 6830828 SOS 1274500 HAS SOPS 1274500 HAS SOUS 990624 HAS SOUPS 990624 WITH SCORE 991898.5
AT ITER 4881 NEW BEST:: SOT 6830622 SOS 1274293 HAS SOPS 1274293 HAS SOUS 990417 HAS SOUPS 990417 WITH SCORE 991691.293
AT ITER 4914 NEW BEST:: SOT 6830621 SOS 1274291 HAS SOPS 1274291 HAS SOUS 990415 HAS SOUPS 990415 WITH SCORE 991689.291
AT ITER 4915 NEW BEST:: SOT 6830266 SOS 1273952 HAS SOPS 1273952 HAS SOUS 989688 HAS SOUPS 989688 WITH SCORE 990961.952
AT ITER 4916 NEW BEST:: SOT 6830141 SOS 1273932 HAS SOPS 1273932 HAS SOUS 989621 HAS SOUPS 989621 WITH SCORE 990894.932
AT ITER 4957 NEW BEST:: SOT 6830141 SOS 1273930 HAS SOPS 1273930 HAS SOUS 989619 HAS SOUPS 989619 WITH SCORE 990892.93
AT ITER 4962 NEW BEST:: SOT 6829831 SOS 1273551 HAS SOPS 1273551 HAS SOUS 989240 HAS SOUPS 989240 WITH SCORE 990513.551
AT ITER 4968 NEW BEST:: SOT 6829537 SOS 1273162 HAS SOPS 1273162 HAS SOUS 988956 HAS SOUPS 988956 WITH SCORE 990229.162
AT ITER 4972 NEW BEST:: SOT 6829334 SOS 1272754 HAS SOPS 1272754 HAS SOUS 988548 HAS SOUPS 988548 WITH SCORE 989820.754
AT ITER 4982 NEW BEST:: SOT 6829278 SOS 1272584 HAS SOPS 1272584 HAS SOUS 988535 HAS SOUPS 988535 WITH SCORE 989807.584
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ASLink-PT-07b-CTLCardinality-00 ( ( ( (EG( potential( (tk(P2769)) <= (tk(P2091)) ))) & ( ( potential( ( 1 ) <= (tk(P2089)) ) | potential( ( 2 ) <= (tk(P1656)) ) ) | potential( ( 3 ) <= (tk(P2604)) ) ) ) & ( ( ( potential( (tk(P1950)) <= (tk(P464)) ) | potential( ( 2 ) <= (tk(P1942)) ) ) | ( potential( (tk(P2012)) <= (tk(P3023)) ) | potential( ( 3 ) <= (tk(P871)) ) ) ) | potential( (tk(P3134)) <= (tk(P2532)) ) ) ) | (AG( (AF(potential( ( 2 ) <= (tk(P2595)) ))))) )
PROPERTY: ASLink-PT-07b-CTLCardinality-01 (EF((EF(potential( ( 2 ) <= (tk(P1637)) )))))
PROPERTY: ASLink-PT-07b-CTLCardinality-02 (EF(potential( ( 3 ) <= (tk(P2261)) )))
PROPERTY: ASLink-PT-07b-CTLCardinality-03 (AG( (AF(( potential( ( 1 ) <= (tk(P2318)) ) & potential( ( 3 ) <= (tk(P2876)) ) )))))
PROPERTY: ASLink-PT-07b-CTLCardinality-04 (EG( (AG( ( potential( (tk(P2158)) <= (tk(P1440)) ) | potential( ( 1 ) <= (tk(P961)) ) )))))
PROPERTY: ASLink-PT-07b-CTLCardinality-05 ( potential( (tk(P2087)) <= (tk(P2246)) ) & (AG( (EX( potential( (tk(P1297)) <= (tk(P209)) ))))) )
PROPERTY: ASLink-PT-07b-CTLCardinality-06 ( ( (! ( potential( ( 3 ) <= (tk(P935)) ) & potential( (tk(P1584)) <= (tk(P1292)) ) )) & potential( ( 2 ) <= (tk(P1377)) ) ) | (! (EF(potential( ( 2 ) <= (tk(P59)) )))) )
PROPERTY: ASLink-PT-07b-CTLCardinality-07 ( (AF((AF(potential( ( 3 ) <= (tk(P80)) ))))) & (AF(potential( (tk(P3195)) <= (tk(P283)) ))) )
PROPERTY: ASLink-PT-07b-CTLCardinality-08 ( (EG( (! ( potential( ( 1 ) <= (tk(P1572)) ) & potential( (tk(P2328)) <= (tk(P2312)) ) )))) | (EX( ( potential( ( 2 ) <= (tk(P948)) ) | (! potential( (tk(P2115)) <= (tk(P1148)) )) ))) )
PROPERTY: ASLink-PT-07b-CTLCardinality-09 (! ( (EX( ( potential( (tk(P2913)) <= (tk(P1789)) ) & potential( (tk(P3003)) <= (tk(P474)) ) ))) & (EF(potential( ( 3 ) <= (tk(P104)) ))) ))
PROPERTY: ASLink-PT-07b-CTLCardinality-10 (EG( (EU( potential( ( 3 ) <= (tk(P1193)) ),potential( (tk(P614)) <= (tk(P1749)) ) ))))
PROPERTY: ASLink-PT-07b-CTLCardinality-11 (AF(potential( ( 2 ) <= (tk(P2510)) )))
PROPERTY: ASLink-PT-07b-CTLCardinality-12 ( (AG( ( (! potential( ( 3 ) <= (tk(P2380)) )) & potential( ( 2 ) <= (tk(P140)) ) ))) | (AF((AG( potential( (tk(P2556)) <= (tk(P2743)) ))))) )
PROPERTY: ASLink-PT-07b-CTLCardinality-13 (EF((AU( potential( ( 2 ) <= (tk(P1611)) ),potential( ( 3 ) <= (tk(P1971)) ) ))))
PROPERTY: ASLink-PT-07b-CTLCardinality-14 (EU( ( (! potential( ( 3 ) <= (tk(P1606)) )) | potential( ( 3 ) <= (tk(P314)) ) ),(AF(potential( ( 3 ) <= (tk(P708)) ))) ))
PROPERTY: ASLink-PT-07b-CTLCardinality-15 (EF((EX( potential( ( 1 ) <= (tk(P2206)) )))))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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