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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 3.6K Mar 30 01:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 30 01:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 28 16:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 28 16:14 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.5K Apr 8 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Mar 27 08:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K Mar 27 08:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 26 08:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 26 08:14 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 912K 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-402-CTLCardinality-00
FORMULA_NAME CloudReconfiguration-PT-402-CTLCardinality-01
FORMULA_NAME CloudReconfiguration-PT-402-CTLCardinality-02
FORMULA_NAME CloudReconfiguration-PT-402-CTLCardinality-03
FORMULA_NAME CloudReconfiguration-PT-402-CTLCardinality-04
FORMULA_NAME CloudReconfiguration-PT-402-CTLCardinality-05
FORMULA_NAME CloudReconfiguration-PT-402-CTLCardinality-06
FORMULA_NAME CloudReconfiguration-PT-402-CTLCardinality-07
FORMULA_NAME CloudReconfiguration-PT-402-CTLCardinality-08
FORMULA_NAME CloudReconfiguration-PT-402-CTLCardinality-09
FORMULA_NAME CloudReconfiguration-PT-402-CTLCardinality-10
FORMULA_NAME CloudReconfiguration-PT-402-CTLCardinality-11
FORMULA_NAME CloudReconfiguration-PT-402-CTLCardinality-12
FORMULA_NAME CloudReconfiguration-PT-402-CTLCardinality-13
FORMULA_NAME CloudReconfiguration-PT-402-CTLCardinality-14
FORMULA_NAME CloudReconfiguration-PT-402-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589102735376

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 402
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: 3554 places, 4263 transitions, 8889 arcs.
AT ITER 0 NEW BEST:: SOT 8368586 SOS 1372003 HAS SOPS 1372003 HAS SOUS 1266370 HAS SOUPS 1266370 WITH SCORE 1267742.003
AT ITER 6 NEW BEST:: SOT 8368484 SOS 1371901 HAS SOPS 1371901 HAS SOUS 1266268 HAS SOUPS 1266268 WITH SCORE 1267639.901
AT ITER 8 NEW BEST:: SOT 8368503 SOS 1371939 HAS SOPS 1371939 HAS SOUS 1265985 HAS SOUPS 1265985 WITH SCORE 1267356.939
AT ITER 12 NEW BEST:: SOT 8368455 SOS 1371795 HAS SOPS 1371795 HAS SOUS 1265889 HAS SOUPS 1265889 WITH SCORE 1267260.795
AT ITER 25 NEW BEST:: SOT 8368454 SOS 1371793 HAS SOPS 1371793 HAS SOUS 1265887 HAS SOUPS 1265887 WITH SCORE 1267258.793
AT ITER 74 NEW BEST:: SOT 8368454 SOS 1371406 HAS SOPS 1371406 HAS SOUS 1265887 HAS SOUPS 1265887 WITH SCORE 1267258.406
AT ITER 77 NEW BEST:: SOT 8368308 SOS 1371114 HAS SOPS 1371114 HAS SOUS 1265595 HAS SOUPS 1265595 WITH SCORE 1266966.114
AT ITER 78 NEW BEST:: SOT 8368300 SOS 1371098 HAS SOPS 1371098 HAS SOUS 1265587 HAS SOUPS 1265587 WITH SCORE 1266958.098
AT ITER 80 NEW BEST:: SOT 8359543 SOS 1362344 HAS SOPS 1362344 HAS SOUS 1256833 HAS SOUPS 1256833 WITH SCORE 1258195.344
AT ITER 89 NEW BEST:: SOT 8359543 SOS 1362238 HAS SOPS 1362238 HAS SOUS 1256832 HAS SOUPS 1256832 WITH SCORE 1258194.238
AT ITER 107 NEW BEST:: SOT 8359500 SOS 1362152 HAS SOPS 1362152 HAS SOUS 1256746 HAS SOUPS 1256746 WITH SCORE 1258108.152
AT ITER 131 NEW BEST:: SOT 8359026 SOS 1361709 HAS SOPS 1361709 HAS SOUS 1256280 HAS SOUPS 1256280 WITH SCORE 1257641.709
AT ITER 146 NEW BEST:: SOT 8358847 SOS 1361657 HAS SOPS 1361657 HAS SOUS 1256228 HAS SOUPS 1256228 WITH SCORE 1257589.657
AT ITER 181 NEW BEST:: SOT 8358847 SOS 1361554 HAS SOPS 1361554 HAS SOUS 1256228 HAS SOUPS 1256228 WITH SCORE 1257589.554
AT ITER 189 NEW BEST:: SOT 8358615 SOS 1361554 HAS SOPS 1361554 HAS SOUS 1256112 HAS SOUPS 1256112 WITH SCORE 1257473.554
AT ITER 194 NEW BEST:: SOT 8358535 SOS 1361134 HAS SOPS 1361134 HAS SOUS 1255952 HAS SOUPS 1255952 WITH SCORE 1257313.134
AT ITER 204 NEW BEST:: SOT 8356658 SOS 1359876 HAS SOPS 1359876 HAS SOUS 1254465 HAS SOUPS 1254465 WITH SCORE 1255824.876
AT ITER 206 NEW BEST:: SOT 8356308 SOS 1359526 HAS SOPS 1359526 HAS SOUS 1254115 HAS SOUPS 1254115 WITH SCORE 1255474.526
AT ITER 244 NEW BEST:: SOT 8356014 SOS 1358497 HAS SOPS 1358497 HAS SOUS 1253453 HAS SOUPS 1253453 WITH SCORE 1254811.497
AT ITER 263 NEW BEST:: SOT 8356014 SOS 1358497 HAS SOPS 1358497 HAS SOUS 1253116 HAS SOUPS 1253116 WITH SCORE 1254474.497
AT ITER 312 NEW BEST:: SOT 8355686 SOS 1357841 HAS SOPS 1357841 HAS SOUS 1252460 HAS SOUPS 1252460 WITH SCORE 1253817.841
AT ITER 316 NEW BEST:: SOT 8355371 SOS 1357567 HAS SOPS 1357567 HAS SOUS 1252390 HAS SOUPS 1252390 WITH SCORE 1253747.567
AT ITER 317 NEW BEST:: SOT 8355252 SOS 1357674 HAS SOPS 1357674 HAS SOUS 1252273 HAS SOUPS 1252273 WITH SCORE 1253630.674
AT ITER 324 NEW BEST:: SOT 8355252 SOS 1357660 HAS SOPS 1357660 HAS SOUS 1252273 HAS SOUPS 1252273 WITH SCORE 1253630.66
AT ITER 326 NEW BEST:: SOT 8354996 SOS 1357404 HAS SOPS 1357404 HAS SOUS 1252017 HAS SOUPS 1252017 WITH SCORE 1253374.404
AT ITER 331 NEW BEST:: SOT 8354988 SOS 1357388 HAS SOPS 1357388 HAS SOUS 1251780 HAS SOUPS 1251780 WITH SCORE 1253137.388
AT ITER 374 NEW BEST:: SOT 8354726 SOS 1356864 HAS SOPS 1356864 HAS SOUS 1251297 HAS SOUPS 1251297 WITH SCORE 1252653.864
AT ITER 404 NEW BEST:: SOT 8350222 SOS 1437862 HAS SOPS 1437862 HAS SOUS 1250574 HAS SOUPS 1250574 WITH SCORE 1252011.862
AT ITER 421 NEW BEST:: SOT 8350085 SOS 1437021 HAS SOPS 1437021 HAS SOUS 1250021 HAS SOUPS 1250021 WITH SCORE 1251458.021
AT ITER 431 NEW BEST:: SOT 8349709 SOS 1436663 HAS SOPS 1436663 HAS SOUS 1249662 HAS SOUPS 1249662 WITH SCORE 1251098.663
AT ITER 438 NEW BEST:: SOT 8349434 SOS 1435788 HAS SOPS 1435788 HAS SOUS 1249062 HAS SOUPS 1249062 WITH SCORE 1250497.788
AT ITER 466 NEW BEST:: SOT 8349382 SOS 1435595 HAS SOPS 1435595 HAS SOUS 1248938 HAS SOUPS 1248938 WITH SCORE 1250373.595
AT ITER 478 NEW BEST:: SOT 8349347 SOS 1435525 HAS SOPS 1435525 HAS SOUS 1248868 HAS SOUPS 1248868 WITH SCORE 1250303.525
AT ITER 486 NEW BEST:: SOT 8349347 SOS 1435498 HAS SOPS 1435498 HAS SOUS 1248841 HAS SOUPS 1248841 WITH SCORE 1250276.498
AT ITER 515 NEW BEST:: SOT 8349054 SOS 1434912 HAS SOPS 1434912 HAS SOUS 1248548 HAS SOUPS 1248548 WITH SCORE 1249982.912
AT ITER 539 NEW BEST:: SOT 8348940 SOS 1434684 HAS SOPS 1434684 HAS SOUS 1248320 HAS SOUPS 1248320 WITH SCORE 1249754.684
AT ITER 574 NEW BEST:: SOT 8348940 SOS 1434631 HAS SOPS 1434631 HAS SOUS 1248319 HAS SOUPS 1248319 WITH SCORE 1249753.631
AT ITER 580 NEW BEST:: SOT 8348875 SOS 1434697 HAS SOPS 1434697 HAS SOUS 1248290 HAS SOUPS 1248290 WITH SCORE 1249724.697
AT ITER 585 NEW BEST:: SOT 8348479 SOS 1434300 HAS SOPS 1434300 HAS SOUS 1247894 HAS SOUPS 1247894 WITH SCORE 1249328.3
AT ITER 586 NEW BEST:: SOT 8337679 SOS 1483344 HAS SOPS 1483344 HAS SOUS 1239778 HAS SOUPS 1239778 WITH SCORE 1241261.344
AT ITER 593 NEW BEST:: SOT 8337774 SOS 1483156 HAS SOPS 1483156 HAS SOUS 1239590 HAS SOUPS 1239590 WITH SCORE 1241073.156
AT ITER 608 NEW BEST:: SOT 8336052 SOS 1487608 HAS SOPS 1487608 HAS SOUS 1239435 HAS SOUPS 1239435 WITH SCORE 1240922.608
AT ITER 622 NEW BEST:: SOT 8335980 SOS 1487464 HAS SOPS 1487464 HAS SOUS 1239006 HAS SOUPS 1239006 WITH SCORE 1240493.464
AT ITER 627 NEW BEST:: SOT 8336279 SOS 1488062 HAS SOPS 1488062 HAS SOUS 1238917 HAS SOUPS 1238917 WITH SCORE 1240405.062
AT ITER 635 NEW BEST:: SOT 8336267 SOS 1488038 HAS SOPS 1488038 HAS SOUS 1238893 HAS SOUPS 1238893 WITH SCORE 1240381.038
AT ITER 636 NEW BEST:: SOT 8336205 SOS 1487976 HAS SOPS 1487976 HAS SOUS 1238893 HAS SOUPS 1238893 WITH SCORE 1240380.976
AT ITER 681 NEW BEST:: SOT 8336196 SOS 1487958 HAS SOPS 1487958 HAS SOUS 1238725 HAS SOUPS 1238725 WITH SCORE 1240212.958
AT ITER 684 NEW BEST:: SOT 8335883 SOS 1487645 HAS SOPS 1487645 HAS SOUS 1238412 HAS SOUPS 1238412 WITH SCORE 1239899.645
AT ITER 693 NEW BEST:: SOT 8335882 SOS 1487643 HAS SOPS 1487643 HAS SOUS 1238410 HAS SOUPS 1238410 WITH SCORE 1239897.643
AT ITER 707 NEW BEST:: SOT 8335882 SOS 1487375 HAS SOPS 1487375 HAS SOUS 1238409 HAS SOUPS 1238409 WITH SCORE 1239896.375
AT ITER 713 NEW BEST:: SOT 8335981 SOS 1487573 HAS SOPS 1487573 HAS SOUS 1238226 HAS SOUPS 1238226 WITH SCORE 1239713.573
AT ITER 714 NEW BEST:: SOT 8335867 SOS 1487459 HAS SOPS 1487459 HAS SOUS 1238112 HAS SOUPS 1238112 WITH SCORE 1239599.459
AT ITER 722 NEW BEST:: SOT 8335846 SOS 1487417 HAS SOPS 1487417 HAS SOUS 1238070 HAS SOUPS 1238070 WITH SCORE 1239557.417
AT ITER 750 NEW BEST:: SOT 8320019 SOS 1493384 HAS SOPS 1493384 HAS SOUS 1223973 HAS SOUPS 1223973 WITH SCORE 1225466.384
AT ITER 761 NEW BEST:: SOT 8320003 SOS 1493352 HAS SOPS 1493352 HAS SOUS 1223957 HAS SOUPS 1223957 WITH SCORE 1225450.352
AT ITER 767 NEW BEST:: SOT 8320002 SOS 1493350 HAS SOPS 1493350 HAS SOUS 1223955 HAS SOUPS 1223955 WITH SCORE 1225448.35
AT ITER 773 NEW BEST:: SOT 8320002 SOS 1493314 HAS SOPS 1493314 HAS SOUS 1223953 HAS SOUPS 1223953 WITH SCORE 1225446.314
AT ITER 795 NEW BEST:: SOT 8319854 SOS 1493018 HAS SOPS 1493018 HAS SOUS 1223633 HAS SOUPS 1223633 WITH SCORE 1225126.018
AT ITER 821 NEW BEST:: SOT 8319688 SOS 1492852 HAS SOPS 1492852 HAS SOUS 1223467 HAS SOUPS 1223467 WITH SCORE 1224959.852
AT ITER 824 NEW BEST:: SOT 8319688 SOS 1492663 HAS SOPS 1492663 HAS SOUS 1223278 HAS SOUPS 1223278 WITH SCORE 1224770.663
AT ITER 836 NEW BEST:: SOT 8319532 SOS 1492507 HAS SOPS 1492507 HAS SOUS 1222966 HAS SOUPS 1222966 WITH SCORE 1224458.507
AT ITER 839 NEW BEST:: SOT 8319181 SOS 1491805 HAS SOPS 1491805 HAS SOUS 1222264 HAS SOUPS 1222264 WITH SCORE 1223755.805
AT ITER 841 NEW BEST:: SOT 8319180 SOS 1491803 HAS SOPS 1491803 HAS SOUS 1222262 HAS SOUPS 1222262 WITH SCORE 1223753.803
AT ITER 870 NEW BEST:: SOT 8318708 SOS 1492116 HAS SOPS 1492116 HAS SOUS 1222095 HAS SOUPS 1222095 WITH SCORE 1223587.116
AT ITER 891 NEW BEST:: SOT 8318581 SOS 1491862 HAS SOPS 1491862 HAS SOUS 1221968 HAS SOUPS 1221968 WITH SCORE 1223459.862
AT ITER 930 NEW BEST:: SOT 8318448 SOS 1491729 HAS SOPS 1491729 HAS SOUS 1221835 HAS SOUPS 1221835 WITH SCORE 1223326.729
AT ITER 939 NEW BEST:: SOT 8318277 SOS 1491558 HAS SOPS 1491558 HAS SOUS 1221664 HAS SOUPS 1221664 WITH SCORE 1223155.558
AT ITER 949 NEW BEST:: SOT 8318125 SOS 1491254 HAS SOPS 1491254 HAS SOUS 1221175 HAS SOUPS 1221175 WITH SCORE 1222666.254
AT ITER 1004 NEW BEST:: SOT 8317867 SOS 1491356 HAS SOPS 1491356 HAS SOUS 1220789 HAS SOUPS 1220789 WITH SCORE 1222280.356
AT ITER 1017 NEW BEST:: SOT 8317925 SOS 1491472 HAS SOPS 1491472 HAS SOUS 1220426 HAS SOUPS 1220426 WITH SCORE 1221917.472
AT ITER 1031 NEW BEST:: SOT 8318042 SOS 1491706 HAS SOPS 1491706 HAS SOUS 1220354 HAS SOUPS 1220354 WITH SCORE 1221845.706
AT ITER 1046 NEW BEST:: SOT 8318047 SOS 1491716 HAS SOPS 1491716 HAS SOUS 1220304 HAS SOUPS 1220304 WITH SCORE 1221795.716
AT ITER 1083 NEW BEST:: SOT 8317961 SOS 1491544 HAS SOPS 1491544 HAS SOUS 1220132 HAS SOUPS 1220132 WITH SCORE 1221623.544
AT ITER 1086 NEW BEST:: SOT 8317961 SOS 1491343 HAS SOPS 1491343 HAS SOUS 1220131 HAS SOUPS 1220131 WITH SCORE 1221622.343
AT ITER 1102 NEW BEST:: SOT 8317565 SOS 1491046 HAS SOPS 1491046 HAS SOUS 1219834 HAS SOUPS 1219834 WITH SCORE 1221325.046
AT ITER 1115 NEW BEST:: SOT 8317564 SOS 1491044 HAS SOPS 1491044 HAS SOUS 1219833 HAS SOUPS 1219833 WITH SCORE 1221324.044
AT ITER 1161 NEW BEST:: SOT 8317683 SOS 1491282 HAS SOPS 1491282 HAS SOUS 1219765 HAS SOUPS 1219765 WITH SCORE 1221256.282
AT ITER 1192 NEW BEST:: SOT 8317683 SOS 1491142 HAS SOPS 1491142 HAS SOUS 1219765 HAS SOUPS 1219765 WITH SCORE 1221256.142
AT ITER 1199 NEW BEST:: SOT 8317637 SOS 1491096 HAS SOPS 1491096 HAS SOUS 1219718 HAS SOUPS 1219718 WITH SCORE 1221209.096
AT ITER 1238 NEW BEST:: SOT 8317741 SOS 1490924 HAS SOPS 1490924 HAS SOUS 1219494 HAS SOUPS 1219494 WITH SCORE 1220984.924
AT ITER 1240 NEW BEST:: SOT 8318072 SOS 1489715 HAS SOPS 1489715 HAS SOUS 1219265 HAS SOUPS 1219265 WITH SCORE 1220754.715
AT ITER 1253 NEW BEST:: SOT 8317919 SOS 1489409 HAS SOPS 1489409 HAS SOUS 1218959 HAS SOUPS 1218959 WITH SCORE 1220448.409
AT ITER 1254 NEW BEST:: SOT 8317919 SOS 1489250 HAS SOPS 1489250 HAS SOUS 1218959 HAS SOUPS 1218959 WITH SCORE 1220448.25
AT ITER 1256 NEW BEST:: SOT 8318226 SOS 1489234 HAS SOPS 1489234 HAS SOUS 1218660 HAS SOUPS 1218660 WITH SCORE 1220149.234
AT ITER 1268 NEW BEST:: SOT 8317965 SOS 1488973 HAS SOPS 1488973 HAS SOUS 1218399 HAS SOUPS 1218399 WITH SCORE 1219887.973
AT ITER 1275 NEW BEST:: SOT 8317965 SOS 1488973 HAS SOPS 1488973 HAS SOUS 1218398 HAS SOUPS 1218398 WITH SCORE 1219886.973
AT ITER 1278 NEW BEST:: SOT 8317757 SOS 1488557 HAS SOPS 1488557 HAS SOUS 1217982 HAS SOUPS 1217982 WITH SCORE 1219470.557
AT ITER 1279 NEW BEST:: SOT 8317447 SOS 1488273 HAS SOPS 1488273 HAS SOUS 1217698 HAS SOUPS 1217698 WITH SCORE 1219186.273
AT ITER 1327 NEW BEST:: SOT 8317845 SOS 1488106 HAS SOPS 1488106 HAS SOUS 1217528 HAS SOUPS 1217528 WITH SCORE 1219016.106
AT ITER 1329 NEW BEST:: SOT 8317711 SOS 1487838 HAS SOPS 1487838 HAS SOUS 1217260 HAS SOUPS 1217260 WITH SCORE 1218747.838
AT ITER 1334 NEW BEST:: SOT 8317569 SOS 1487554 HAS SOPS 1487554 HAS SOUS 1216976 HAS SOUPS 1216976 WITH SCORE 1218463.554
AT ITER 1368 NEW BEST:: SOT 8317495 SOS 1487406 HAS SOPS 1487406 HAS SOUS 1216828 HAS SOUPS 1216828 WITH SCORE 1218315.406
AT ITER 1392 NEW BEST:: SOT 8317297 SOS 1487208 HAS SOPS 1487208 HAS SOUS 1216432 HAS SOUPS 1216432 WITH SCORE 1217919.208
AT ITER 1411 NEW BEST:: SOT 8302723 SOS 1554156 HAS SOPS 1554156 HAS SOUS 1206227 HAS SOUPS 1206227 WITH SCORE 1207781.156
AT ITER 1419 NEW BEST:: SOT 8302347 SOS 1553780 HAS SOPS 1553780 HAS SOUS 1205851 HAS SOUPS 1205851 WITH SCORE 1207404.78
AT ITER 1423 NEW BEST:: SOT 8302428 SOS 1553751 HAS SOPS 1553751 HAS SOUS 1205822 HAS SOUPS 1205822 WITH SCORE 1207375.751
AT ITER 1435 NEW BEST:: SOT 8302423 SOS 1553741 HAS SOPS 1553741 HAS SOUS 1205812 HAS SOUPS 1205812 WITH SCORE 1207365.741
AT ITER 1519 NEW BEST:: SOT 8302228 SOS 1553156 HAS SOPS 1553156 HAS SOUS 1205422 HAS SOUPS 1205422 WITH SCORE 1206975.156
AT ITER 1539 NEW BEST:: SOT 8302228 SOS 1552882 HAS SOPS 1552882 HAS SOUS 1205148 HAS SOUPS 1205148 WITH SCORE 1206700.882
AT ITER 1549 NEW BEST:: SOT 8301386 SOS 1551880 HAS SOPS 1551880 HAS SOUS 1204027 HAS SOUPS 1204027 WITH SCORE 1205578.88
AT ITER 1596 NEW BEST:: SOT 8301208 SOS 1551524 HAS SOPS 1551524 HAS SOUS 1202800 HAS SOUPS 1202800 WITH SCORE 1204351.524
AT ITER 1627 NEW BEST:: SOT 8295778 SOS 1578469 HAS SOPS 1578469 HAS SOUS 1198759 HAS SOUPS 1198759 WITH SCORE 1200337.469
AT ITER 1632 NEW BEST:: SOT 8295598 SOS 1578109 HAS SOPS 1578109 HAS SOUS 1198399 HAS SOUPS 1198399 WITH SCORE 1199977.109
AT ITER 1655 NEW BEST:: SOT 8295428 SOS 1577769 HAS SOPS 1577769 HAS SOUS 1198059 HAS SOUPS 1198059 WITH SCORE 1199636.769
AT ITER 1658 NEW BEST:: SOT 8295118 SOS 1577149 HAS SOPS 1577149 HAS SOUS 1198045 HAS SOUPS 1198045 WITH SCORE 1199622.149
AT ITER 1665 NEW BEST:: SOT 8295118 SOS 1577149 HAS SOPS 1577149 HAS SOUS 1197825 HAS SOUPS 1197825 WITH SCORE 1199402.149
AT ITER 1672 NEW BEST:: SOT 8294752 SOS 1576417 HAS SOPS 1576417 HAS SOUS 1197093 HAS SOUPS 1197093 WITH SCORE 1198669.417
AT ITER 1742 NEW BEST:: SOT 8294704 SOS 1576321 HAS SOPS 1576321 HAS SOUS 1196997 HAS SOUPS 1196997 WITH SCORE 1198573.321
AT ITER 1748 NEW BEST:: SOT 8294704 SOS 1576261 HAS SOPS 1576261 HAS SOUS 1196997 HAS SOUPS 1196997 WITH SCORE 1198573.261
AT ITER 1766 NEW BEST:: SOT 8294350 SOS 1575180 HAS SOPS 1575180 HAS SOUS 1196270 HAS SOUPS 1196270 WITH SCORE 1197845.18
AT ITER 1773 NEW BEST:: SOT 8294349 SOS 1575178 HAS SOPS 1575178 HAS SOUS 1196268 HAS SOUPS 1196268 WITH SCORE 1197843.178
AT ITER 1779 NEW BEST:: SOT 8294290 SOS 1575060 HAS SOPS 1575060 HAS SOUS 1195886 HAS SOUPS 1195886 WITH SCORE 1197461.06
AT ITER 1781 NEW BEST:: SOT 8294264 SOS 1574982 HAS SOPS 1574982 HAS SOUS 1195834 HAS SOUPS 1195834 WITH SCORE 1197408.982
AT ITER 1798 NEW BEST:: SOT 8293770 SOS 1574488 HAS SOPS 1574488 HAS SOUS 1195340 HAS SOUPS 1195340 WITH SCORE 1196914.488
AT ITER 1851 NEW BEST:: SOT 8293548 SOS 1574488 HAS SOPS 1574488 HAS SOUS 1195229 HAS SOUPS 1195229 WITH SCORE 1196803.488
AT ITER 1863 NEW BEST:: SOT 8292621 SOS 1520687 HAS SOPS 1520687 HAS SOUS 1193667 HAS SOUPS 1193667 WITH SCORE 1195187.687
AT ITER 1865 NEW BEST:: SOT 8292558 SOS 1520561 HAS SOPS 1520561 HAS SOUS 1193541 HAS SOUPS 1193541 WITH SCORE 1195061.561
AT ITER 1874 NEW BEST:: SOT 8292524 SOS 1519741 HAS SOPS 1519741 HAS SOUS 1193084 HAS SOUPS 1193084 WITH SCORE 1194603.741
AT ITER 1906 NEW BEST:: SOT 8292413 SOS 1519804 HAS SOPS 1519804 HAS SOUS 1192973 HAS SOUPS 1192973 WITH SCORE 1194492.804
AT ITER 1911 NEW BEST:: SOT 8292230 SOS 1519438 HAS SOPS 1519438 HAS SOUS 1192607 HAS SOUPS 1192607 WITH SCORE 1194126.438
AT ITER 1945 NEW BEST:: SOT 8292229 SOS 1519437 HAS SOPS 1519437 HAS SOUS 1192605 HAS SOUPS 1192605 WITH SCORE 1194124.437
AT ITER 1961 NEW BEST:: SOT 8292188 SOS 1519355 HAS SOPS 1519355 HAS SOUS 1192523 HAS SOUPS 1192523 WITH SCORE 1194042.355
AT ITER 2010 NEW BEST:: SOT 8291992 SOS 1519159 HAS SOPS 1519159 HAS SOUS 1192327 HAS SOUPS 1192327 WITH SCORE 1193846.159
AT ITER 2021 NEW BEST:: SOT 8291882 SOS 1519185 HAS SOPS 1519185 HAS SOUS 1192216 HAS SOUPS 1192216 WITH SCORE 1193735.185
AT ITER 2029 NEW BEST:: SOT 8291860 SOS 1519279 HAS SOPS 1519279 HAS SOUS 1192172 HAS SOUPS 1192172 WITH SCORE 1193691.279
AT ITER 2033 NEW BEST:: SOT 8291723 SOS 1519160 HAS SOPS 1519160 HAS SOUS 1192034 HAS SOUPS 1192034 WITH SCORE 1193553.16
AT ITER 2056 NEW BEST:: SOT 8291717 SOS 1519148 HAS SOPS 1519148 HAS SOUS 1192028 HAS SOUPS 1192028 WITH SCORE 1193547.148
AT ITER 2058 NEW BEST:: SOT 8291438 SOS 1518590 HAS SOPS 1518590 HAS SOUS 1191901 HAS SOUPS 1191901 WITH SCORE 1193419.59
AT ITER 2065 NEW BEST:: SOT 8291438 SOS 1518590 HAS SOPS 1518590 HAS SOUS 1191900 HAS SOUPS 1191900 WITH SCORE 1193418.59
AT ITER 2069 NEW BEST:: SOT 8291438 SOS 1518350 HAS SOPS 1518350 HAS SOUS 1191520 HAS SOUPS 1191520 WITH SCORE 1193038.35
AT ITER 2080 NEW BEST:: SOT 8291015 SOS 1518002 HAS SOPS 1518002 HAS SOUS 1191346 HAS SOUPS 1191346 WITH SCORE 1192864.002
AT ITER 2091 NEW BEST:: SOT 8291008 SOS 1517988 HAS SOPS 1517988 HAS SOUS 1191332 HAS SOUPS 1191332 WITH SCORE 1192849.988
AT ITER 2113 NEW BEST:: SOT 8291008 SOS 1517904 HAS SOPS 1517904 HAS SOUS 1191248 HAS SOUPS 1191248 WITH SCORE 1192765.904
AT ITER 2147 NEW BEST:: SOT 8291008 SOS 1517799 HAS SOPS 1517799 HAS SOUS 1191248 HAS SOUPS 1191248 WITH SCORE 1192765.799
AT ITER 2157 NEW BEST:: SOT 8290840 SOS 1517631 HAS SOPS 1517631 HAS SOUS 1191080 HAS SOUPS 1191080 WITH SCORE 1192597.631
AT ITER 2161 NEW BEST:: SOT 8290772 SOS 1517495 HAS SOPS 1517495 HAS SOUS 1190607 HAS SOUPS 1190607 WITH SCORE 1192124.495
AT ITER 2197 NEW BEST:: SOT 8289466 SOS 1517428 HAS SOPS 1517428 HAS SOUS 1189835 HAS SOUPS 1189835 WITH SCORE 1191352.428
AT ITER 2206 NEW BEST:: SOT 8289466 SOS 1517428 HAS SOPS 1517428 HAS SOUS 1189824 HAS SOUPS 1189824 WITH SCORE 1191341.428
AT ITER 2208 NEW BEST:: SOT 8289254 SOS 1517216 HAS SOPS 1517216 HAS SOUS 1189612 HAS SOUPS 1189612 WITH SCORE 1191129.216
AT ITER 2211 NEW BEST:: SOT 8289254 SOS 1517216 HAS SOPS 1517216 HAS SOUS 1189569 HAS SOUPS 1189569 WITH SCORE 1191086.216
AT ITER 2224 NEW BEST:: SOT 8288749 SOS 1516206 HAS SOPS 1516206 HAS SOUS 1188049 HAS SOUPS 1188049 WITH SCORE 1189565.206
AT ITER 2225 NEW BEST:: SOT 8288449 SOS 1515606 HAS SOPS 1515606 HAS SOUS 1187358 HAS SOUPS 1187358 WITH SCORE 1188873.606
AT ITER 2245 NEW BEST:: SOT 8288262 SOS 1515232 HAS SOPS 1515232 HAS SOUS 1187171 HAS SOUPS 1187171 WITH SCORE 1188686.232
AT ITER 2268 NEW BEST:: SOT 8286320 SOS 1534513 HAS SOPS 1534513 HAS SOUS 1186042 HAS SOUPS 1186042 WITH SCORE 1187576.513
AT ITER 2290 NEW BEST:: SOT 8286148 SOS 1533997 HAS SOPS 1533997 HAS SOUS 1185698 HAS SOUPS 1185698 WITH SCORE 1187231.997
AT ITER 2294 NEW BEST:: SOT 8285687 SOS 1533075 HAS SOPS 1533075 HAS SOUS 1185237 HAS SOUPS 1185237 WITH SCORE 1186770.075
AT ITER 2321 NEW BEST:: SOT 8285686 SOS 1533073 HAS SOPS 1533073 HAS SOUS 1185235 HAS SOUPS 1185235 WITH SCORE 1186768.073
AT ITER 2336 NEW BEST:: SOT 8285642 SOS 1532985 HAS SOPS 1532985 HAS SOUS 1185147 HAS SOUPS 1185147 WITH SCORE 1186679.985
AT ITER 2355 NEW BEST:: SOT 8285396 SOS 1532493 HAS SOPS 1532493 HAS SOUS 1184970 HAS SOUPS 1184970 WITH SCORE 1186502.493
AT ITER 2376 NEW BEST:: SOT 8284801 SOS 1532017 HAS SOPS 1532017 HAS SOUS 1184429 HAS SOUPS 1184429 WITH SCORE 1185961.017
AT ITER 2379 NEW BEST:: SOT 8284801 SOS 1532017 HAS SOPS 1532017 HAS SOUS 1184118 HAS SOUPS 1184118 WITH SCORE 1185650.017
AT ITER 2384 NEW BEST:: SOT 8284542 SOS 1531228 HAS SOPS 1531228 HAS SOUS 1183859 HAS SOUPS 1183859 WITH SCORE 1185390.228
AT ITER 2398 NEW BEST:: SOT 8284411 SOS 1530966 HAS SOPS 1530966 HAS SOUS 1183597 HAS SOUPS 1183597 WITH SCORE 1185127.966
AT ITER 2425 NEW BEST:: SOT 8284409 SOS 1530962 HAS SOPS 1530962 HAS SOUS 1183595 HAS SOUPS 1183595 WITH SCORE 1185125.962
AT ITER 2432 NEW BEST:: SOT 8280566 SOS 1592104 HAS SOPS 1592104 HAS SOUS 1183103 HAS SOUPS 1183103 WITH SCORE 1184695.104
AT ITER 2456 NEW BEST:: SOT 8280034 SOS 1592038 HAS SOPS 1592038 HAS SOUS 1182811 HAS SOUPS 1182811 WITH SCORE 1184403.038
AT ITER 2470 NEW BEST:: SOT 8280111 SOS 1592192 HAS SOPS 1592192 HAS SOUS 1182437 HAS SOUPS 1182437 WITH SCORE 1184029.192
AT ITER 2502 NEW BEST:: SOT 8280161 SOS 1592292 HAS SOPS 1592292 HAS SOUS 1182414 HAS SOUPS 1182414 WITH SCORE 1184006.292
AT ITER 2522 NEW BEST:: SOT 8280161 SOS 1591801 HAS SOPS 1591801 HAS SOUS 1182052 HAS SOUPS 1182052 WITH SCORE 1183643.801
AT ITER 2528 NEW BEST:: SOT 8279447 SOS 1591109 HAS SOPS 1591109 HAS SOUS 1181116 HAS SOUPS 1181116 WITH SCORE 1182707.109
AT ITER 2529 NEW BEST:: SOT 8279447 SOS 1590657 HAS SOPS 1590657 HAS SOUS 1180890 HAS SOUPS 1180890 WITH SCORE 1182480.657
AT ITER 2589 NEW BEST:: SOT 8279447 SOS 1590523 HAS SOPS 1590523 HAS SOUS 1180756 HAS SOUPS 1180756 WITH SCORE 1182346.523
AT ITER 2610 NEW BEST:: SOT 8279232 SOS 1590427 HAS SOPS 1590427 HAS SOUS 1180261 HAS SOUPS 1180261 WITH SCORE 1181851.427
AT ITER 2617 NEW BEST:: SOT 8279195 SOS 1590353 HAS SOPS 1590353 HAS SOUS 1180187 HAS SOUPS 1180187 WITH SCORE 1181777.353
AT ITER 2636 NEW BEST:: SOT 8278923 SOS 1589809 HAS SOPS 1589809 HAS SOUS 1179643 HAS SOUPS 1179643 WITH SCORE 1181232.809
AT ITER 2646 NEW BEST:: SOT 8278923 SOS 1589770 HAS SOPS 1589770 HAS SOUS 1179643 HAS SOUPS 1179643 WITH SCORE 1181232.77
AT ITER 2685 NEW BEST:: SOT 8278647 SOS 1537388 HAS SOPS 1537388 HAS SOUS 1179039 HAS SOUPS 1179039 WITH SCORE 1180576.388
AT ITER 2693 NEW BEST:: SOT 8278439 SOS 1536972 HAS SOPS 1536972 HAS SOUS 1178623 HAS SOUPS 1178623 WITH SCORE 1180159.972
AT ITER 2696 NEW BEST:: SOT 8278396 SOS 1536886 HAS SOPS 1536886 HAS SOUS 1178537 HAS SOUPS 1178537 WITH SCORE 1180073.886
AT ITER 2766 NEW BEST:: SOT 8277981 SOS 1536056 HAS SOPS 1536056 HAS SOUS 1178237 HAS SOUPS 1178237 WITH SCORE 1179773.056
AT ITER 2780 NEW BEST:: SOT 8277981 SOS 1535927 HAS SOPS 1535927 HAS SOUS 1178236 HAS SOUPS 1178236 WITH SCORE 1179771.927
AT ITER 2784 NEW BEST:: SOT 8277852 SOS 1535669 HAS SOPS 1535669 HAS SOUS 1178107 HAS SOUPS 1178107 WITH SCORE 1179642.669
AT ITER 2787 NEW BEST:: SOT 8277821 SOS 1535607 HAS SOPS 1535607 HAS SOUS 1178045 HAS SOUPS 1178045 WITH SCORE 1179580.607
AT ITER 2814 NEW BEST:: SOT 8276934 SOS 1534922 HAS SOPS 1534922 HAS SOUS 1177158 HAS SOUPS 1177158 WITH SCORE 1178692.922
AT ITER 2819 NEW BEST:: SOT 8276934 SOS 1534560 HAS SOPS 1534560 HAS SOUS 1177158 HAS SOUPS 1177158 WITH SCORE 1178692.56
AT ITER 2831 NEW BEST:: SOT 8276934 SOS 1534560 HAS SOPS 1534560 HAS SOUS 1177157 HAS SOUPS 1177157 WITH SCORE 1178691.56
AT ITER 2838 NEW BEST:: SOT 8276818 SOS 1534328 HAS SOPS 1534328 HAS SOUS 1176925 HAS SOUPS 1176925 WITH SCORE 1178459.328
AT ITER 2848 NEW BEST:: SOT 8276818 SOS 1534312 HAS SOPS 1534312 HAS SOUS 1176909 HAS SOUPS 1176909 WITH SCORE 1178443.312
AT ITER 2862 NEW BEST:: SOT 8276440 SOS 1534173 HAS SOPS 1534173 HAS SOUS 1176766 HAS SOUPS 1176766 WITH SCORE 1178300.173
AT ITER 2863 NEW BEST:: SOT 8276143 SOS 1534095 HAS SOPS 1534095 HAS SOUS 1176595 HAS SOUPS 1176595 WITH SCORE 1178129.095
AT ITER 2888 NEW BEST:: SOT 8275802 SOS 1533949 HAS SOPS 1533949 HAS SOUS 1176352 HAS SOUPS 1176352 WITH SCORE 1177885.949
AT ITER 2905 NEW BEST:: SOT 8275802 SOS 1533431 HAS SOPS 1533431 HAS SOUS 1176093 HAS SOUPS 1176093 WITH SCORE 1177626.431
AT ITER 2914 NEW BEST:: SOT 8275802 SOS 1533503 HAS SOPS 1533503 HAS SOUS 1176021 HAS SOUPS 1176021 WITH SCORE 1177554.503
AT ITER 2917 NEW BEST:: SOT 8275551 SOS 1533001 HAS SOPS 1533001 HAS SOUS 1175781 HAS SOUPS 1175781 WITH SCORE 1177314.001
AT ITER 2951 NEW BEST:: SOT 8274903 SOS 1532722 HAS SOPS 1532722 HAS SOUS 1175177 HAS SOUPS 1175177 WITH SCORE 1176709.722
AT ITER 2996 NEW BEST:: SOT 8274736 SOS 1532388 HAS SOPS 1532388 HAS SOUS 1174843 HAS SOUPS 1174843 WITH SCORE 1176375.388
AT ITER 3028 NEW BEST:: SOT 8274865 SOS 1532098 HAS SOPS 1532098 HAS SOUS 1174760 HAS SOUPS 1174760 WITH SCORE 1176292.098
AT ITER 3065 NEW BEST:: SOT 8274865 SOS 1531917 HAS SOPS 1531917 HAS SOUS 1174694 HAS SOUPS 1174694 WITH SCORE 1176225.917
AT ITER 3074 NEW BEST:: SOT 8274663 SOS 1531513 HAS SOPS 1531513 HAS SOUS 1174290 HAS SOUPS 1174290 WITH SCORE 1175821.513
AT ITER 3094 NEW BEST:: SOT 8274650 SOS 1531487 HAS SOPS 1531487 HAS SOUS 1174264 HAS SOUPS 1174264 WITH SCORE 1175795.487
AT ITER 3124 NEW BEST:: SOT 8274437 SOS 1531061 HAS SOPS 1531061 HAS SOUS 1173580 HAS SOUPS 1173580 WITH SCORE 1175111.061
AT ITER 3135 NEW BEST:: SOT 8274205 SOS 1530597 HAS SOPS 1530597 HAS SOUS 1173116 HAS SOUPS 1173116 WITH SCORE 1174646.597
AT ITER 3153 NEW BEST:: SOT 8273872 SOS 1530399 HAS SOPS 1530399 HAS SOUS 1172701 HAS SOUPS 1172701 WITH SCORE 1174231.399
AT ITER 3168 NEW BEST:: SOT 8274009 SOS 1530142 HAS SOPS 1530142 HAS SOUS 1172307 HAS SOUPS 1172307 WITH SCORE 1173837.142
AT ITER 3171 NEW BEST:: SOT 8274010 SOS 1528170 HAS SOPS 1528170 HAS SOUS 1172308 HAS SOUPS 1172308 WITH SCORE 1173836.17
AT ITER 3208 NEW BEST:: SOT 8273914 SOS 1527978 HAS SOPS 1527978 HAS SOUS 1172020 HAS SOUPS 1172020 WITH SCORE 1173547.978
AT ITER 3297 NEW BEST:: SOT 8273914 SOS 1527741 HAS SOPS 1527741 HAS SOUS 1171783 HAS SOUPS 1171783 WITH SCORE 1173310.741
AT ITER 3314 NEW BEST:: SOT 8273913 SOS 1527606 HAS SOPS 1527606 HAS SOUS 1171781 HAS SOUPS 1171781 WITH SCORE 1173308.606
AT ITER 3340 NEW BEST:: SOT 8273806 SOS 1527392 HAS SOPS 1527392 HAS SOUS 1171567 HAS SOUPS 1171567 WITH SCORE 1173094.392
AT ITER 3369 NEW BEST:: SOT 8273805 SOS 1527391 HAS SOPS 1527391 HAS SOUS 1171565 HAS SOUPS 1171565 WITH SCORE 1173092.391
AT ITER 3386 NEW BEST:: SOT 8273804 SOS 1527305 HAS SOPS 1527305 HAS SOUS 1171480 HAS SOUPS 1171480 WITH SCORE 1173007.305
AT ITER 3424 NEW BEST:: SOT 8273586 SOS 1526869 HAS SOPS 1526869 HAS SOUS 1171350 HAS SOUPS 1171350 WITH SCORE 1172876.869
AT ITER 3452 NEW BEST:: SOT 8273324 SOS 1526345 HAS SOPS 1526345 HAS SOUS 1170826 HAS SOUPS 1170826 WITH SCORE 1172352.345
AT ITER 3453 NEW BEST:: SOT 8273089 SOS 1518517 HAS SOPS 1518517 HAS SOUS 1170591 HAS SOUPS 1170591 WITH SCORE 1172109.517
AT ITER 3462 NEW BEST:: SOT 8272639 SOS 1517842 HAS SOPS 1517842 HAS SOUS 1169916 HAS SOUPS 1169916 WITH SCORE 1171433.842
AT ITER 3487 NEW BEST:: SOT 8272639 SOS 1517553 HAS SOPS 1517553 HAS SOUS 1169627 HAS SOUPS 1169627 WITH SCORE 1171144.553
AT ITER 3508 NEW BEST:: SOT 8272486 SOS 1517400 HAS SOPS 1517400 HAS SOUS 1169474 HAS SOUPS 1169474 WITH SCORE 1170991.4
AT ITER 3510 NEW BEST:: SOT 8272363 SOS 1517154 HAS SOPS 1517154 HAS SOUS 1168847 HAS SOUPS 1168847 WITH SCORE 1170364.154
AT ITER 3513 NEW BEST:: SOT 8272763 SOS 1517402 HAS SOPS 1517402 HAS SOUS 1168695 HAS SOUPS 1168695 WITH SCORE 1170212.402
AT ITER 3524 NEW BEST:: SOT 8272763 SOS 1517402 HAS SOPS 1517402 HAS SOUS 1168610 HAS SOUPS 1168610 WITH SCORE 1170127.402
AT ITER 3599 NEW BEST:: SOT 8272441 SOS 1517080 HAS SOPS 1517080 HAS SOUS 1168288 HAS SOUPS 1168288 WITH SCORE 1169805.08
AT ITER 3608 NEW BEST:: SOT 8272184 SOS 1516862 HAS SOPS 1516862 HAS SOUS 1168031 HAS SOUPS 1168031 WITH SCORE 1169547.862
AT ITER 3632 NEW BEST:: SOT 8272092 SOS 1516678 HAS SOPS 1516678 HAS SOUS 1167990 HAS SOUPS 1167990 WITH SCORE 1169506.678
AT ITER 3641 NEW BEST:: SOT 8271597 SOS 1515688 HAS SOPS 1515688 HAS SOUS 1167000 HAS SOUPS 1167000 WITH SCORE 1168515.688
AT ITER 3659 NEW BEST:: SOT 8271522 SOS 1515538 HAS SOPS 1515538 HAS SOUS 1166925 HAS SOUPS 1166925 WITH SCORE 1168440.538
AT ITER 3672 NEW BEST:: SOT 8271158 SOS 1514810 HAS SOPS 1514810 HAS SOUS 1166197 HAS SOUPS 1166197 WITH SCORE 1167711.81
AT ITER 3679 NEW BEST:: SOT 8270982 SOS 1514458 HAS SOPS 1514458 HAS SOUS 1166021 HAS SOUPS 1166021 WITH SCORE 1167535.458
AT ITER 3692 NEW BEST:: SOT 8270792 SOS 1514268 HAS SOPS 1514268 HAS SOUS 1165831 HAS SOUPS 1165831 WITH SCORE 1167345.268
AT ITER 3700 NEW BEST:: SOT 8270494 SOS 1513672 HAS SOPS 1513672 HAS SOUS 1165235 HAS SOUPS 1165235 WITH SCORE 1166748.672
AT ITER 3717 NEW BEST:: SOT 8270317 SOS 1513318 HAS SOPS 1513318 HAS SOUS 1164881 HAS SOUPS 1164881 WITH SCORE 1166394.318
AT ITER 3740 NEW BEST:: SOT 8270316 SOS 1513316 HAS SOPS 1513316 HAS SOUS 1164879 HAS SOUPS 1164879 WITH SCORE 1166392.316
AT ITER 3754 NEW BEST:: SOT 8269886 SOS 1512456 HAS SOPS 1512456 HAS SOUS 1164019 HAS SOUPS 1164019 WITH SCORE 1165531.456
AT ITER 3779 NEW BEST:: SOT 8269886 SOS 1512456 HAS SOPS 1512456 HAS SOUS 1163687 HAS SOUPS 1163687 WITH SCORE 1165199.456
AT ITER 3780 NEW BEST:: SOT 8269808 SOS 1512300 HAS SOPS 1512300 HAS SOUS 1163531 HAS SOUPS 1163531 WITH SCORE 1165043.3
AT ITER 3846 NEW BEST:: SOT 8269798 SOS 1512085 HAS SOPS 1512085 HAS SOUS 1163417 HAS SOUPS 1163417 WITH SCORE 1164929.085
AT ITER 3860 NEW BEST:: SOT 8269752 SOS 1511993 HAS SOPS 1511993 HAS SOUS 1163325 HAS SOUPS 1163325 WITH SCORE 1164836.993
AT ITER 3878 NEW BEST:: SOT 8269691 SOS 1513093 HAS SOPS 1513093 HAS SOUS 1163054 HAS SOUPS 1163054 WITH SCORE 1164567.093
AT ITER 3880 NEW BEST:: SOT 8269950 SOS 1513028 HAS SOPS 1513028 HAS SOUS 1162989 HAS SOUPS 1162989 WITH SCORE 1164502.028
AT ITER 3883 NEW BEST:: SOT 8269789 SOS 1512706 HAS SOPS 1512706 HAS SOUS 1162420 HAS SOUPS 1162420 WITH SCORE 1163932.706
AT ITER 3916 NEW BEST:: SOT 8269749 SOS 1512626 HAS SOPS 1512626 HAS SOUS 1162205 HAS SOUPS 1162205 WITH SCORE 1163717.626
AT ITER 3933 NEW BEST:: SOT 8269749 SOS 1512626 HAS SOPS 1512626 HAS SOUS 1162204 HAS SOUPS 1162204 WITH SCORE 1163716.626
AT ITER 3983 NEW BEST:: SOT 8269748 SOS 1512464 HAS SOPS 1512464 HAS SOUS 1162202 HAS SOUPS 1162202 WITH SCORE 1163714.464
AT ITER 3995 NEW BEST:: SOT 8269729 SOS 1512426 HAS SOPS 1512426 HAS SOUS 1162164 HAS SOUPS 1162164 WITH SCORE 1163676.426
AT ITER 4013 NEW BEST:: SOT 8269729 SOS 1512192 HAS SOPS 1512192 HAS SOUS 1162164 HAS SOUPS 1162164 WITH SCORE 1163676.192
AT ITER 4020 NEW BEST:: SOT 8269700 SOS 1512390 HAS SOPS 1512390 HAS SOUS 1162135 HAS SOUPS 1162135 WITH SCORE 1163647.39
AT ITER 4078 NEW BEST:: SOT 8269624 SOS 1512162 HAS SOPS 1512162 HAS SOUS 1161983 HAS SOUPS 1161983 WITH SCORE 1163495.162
AT ITER 4081 NEW BEST:: SOT 8269543 SOS 1512000 HAS SOPS 1512000 HAS SOUS 1161821 HAS SOUPS 1161821 WITH SCORE 1163333.0
AT ITER 4107 NEW BEST:: SOT 8269277 SOS 1511753 HAS SOPS 1511753 HAS SOUS 1161289 HAS SOUPS 1161289 WITH SCORE 1162800.753
AT ITER 4118 NEW BEST:: SOT 8269101 SOS 1511401 HAS SOPS 1511401 HAS SOUS 1161113 HAS SOUPS 1161113 WITH SCORE 1162624.401
AT ITER 4131 NEW BEST:: SOT 8269005 SOS 1511209 HAS SOPS 1511209 HAS SOUS 1160921 HAS SOUPS 1160921 WITH SCORE 1162432.209
AT ITER 4140 NEW BEST:: SOT 8268783 SOS 1511985 HAS SOPS 1511985 HAS SOUS 1160908 HAS SOUPS 1160908 WITH SCORE 1162419.985
AT ITER 4159 NEW BEST:: SOT 8268673 SOS 1511765 HAS SOPS 1511765 HAS SOUS 1160688 HAS SOUPS 1160688 WITH SCORE 1162199.765
AT ITER 4178 NEW BEST:: SOT 8268673 SOS 1511227 HAS SOPS 1511227 HAS SOUS 1160688 HAS SOUPS 1160688 WITH SCORE 1162199.227
AT ITER 4221 NEW BEST:: SOT 8268549 SOS 1510979 HAS SOPS 1510979 HAS SOUS 1160564 HAS SOUPS 1160564 WITH SCORE 1162074.979
AT ITER 4226 NEW BEST:: SOT 8268548 SOS 1510977 HAS SOPS 1510977 HAS SOUS 1160562 HAS SOUPS 1160562 WITH SCORE 1162072.977
AT ITER 4239 NEW BEST:: SOT 8268402 SOS 1510977 HAS SOPS 1510977 HAS SOUS 1160416 HAS SOUPS 1160416 WITH SCORE 1161926.977
AT ITER 4253 NEW BEST:: SOT 8267045 SOS 1509831 HAS SOPS 1509831 HAS SOUS 1159101 HAS SOUPS 1159101 WITH SCORE 1160610.831
AT ITER 4276 NEW BEST:: SOT 8266425 SOS 1483791 HAS SOPS 1483791 HAS SOUS 1157861 HAS SOUPS 1157861 WITH SCORE 1159344.791
AT ITER 4279 NEW BEST:: SOT 8266443 SOS 1483549 HAS SOPS 1483549 HAS SOUS 1157623 HAS SOUPS 1157623 WITH SCORE 1159106.549
AT ITER 4308 NEW BEST:: SOT 8266396 SOS 1483502 HAS SOPS 1483502 HAS SOUS 1157576 HAS SOUPS 1157576 WITH SCORE 1159059.502
AT ITER 4323 NEW BEST:: SOT 8266152 SOS 1482282 HAS SOPS 1482282 HAS SOUS 1157210 HAS SOUPS 1157210 WITH SCORE 1158692.282
AT ITER 4350 NEW BEST:: SOT 8266083 SOS 1482075 HAS SOPS 1482075 HAS SOUS 1157072 HAS SOUPS 1157072 WITH SCORE 1158554.075
AT ITER 4367 NEW BEST:: SOT 8265878 SOS 1425945 HAS SOPS 1425945 HAS SOUS 1156867 HAS SOUPS 1156867 WITH SCORE 1158292.945
AT ITER 4372 NEW BEST:: SOT 8266016 SOS 1426017 HAS SOPS 1426017 HAS SOUS 1156801 HAS SOUPS 1156801 WITH SCORE 1158227.017
AT ITER 4384 NEW BEST:: SOT 8265928 SOS 1425841 HAS SOPS 1425841 HAS SOUS 1156625 HAS SOUPS 1156625 WITH SCORE 1158050.841
AT ITER 4405 NEW BEST:: SOT 8265595 SOS 1425175 HAS SOPS 1425175 HAS SOUS 1156234 HAS SOUPS 1156234 WITH SCORE 1157659.175
AT ITER 4424 NEW BEST:: SOT 8265595 SOS 1425023 HAS SOPS 1425023 HAS SOUS 1156234 HAS SOUPS 1156234 WITH SCORE 1157659.023
AT ITER 4459 NEW BEST:: SOT 8265595 SOS 1424754 HAS SOPS 1424754 HAS SOUS 1156234 HAS SOUPS 1156234 WITH SCORE 1157658.754
AT ITER 4475 NEW BEST:: SOT 8265484 SOS 1424532 HAS SOPS 1424532 HAS SOUS 1156012 HAS SOUPS 1156012 WITH SCORE 1157436.532
AT ITER 4486 NEW BEST:: SOT 8265436 SOS 1424436 HAS SOPS 1424436 HAS SOUS 1155916 HAS SOUPS 1155916 WITH SCORE 1157340.436
AT ITER 4504 NEW BEST:: SOT 8265436 SOS 1424436 HAS SOPS 1424436 HAS SOUS 1155480 HAS SOUPS 1155480 WITH SCORE 1156904.436
AT ITER 4513 NEW BEST:: SOT 8265436 SOS 1423694 HAS SOPS 1423694 HAS SOUS 1155109 HAS SOUPS 1155109 WITH SCORE 1156532.694
AT ITER 4529 NEW BEST:: SOT 8265313 SOS 1423880 HAS SOPS 1423880 HAS SOUS 1154986 HAS SOUPS 1154986 WITH SCORE 1156409.88
AT ITER 4556 NEW BEST:: SOT 8265312 SOS 1423636 HAS SOPS 1423636 HAS SOUS 1154738 HAS SOUPS 1154738 WITH SCORE 1156161.636
AT ITER 4573 NEW BEST:: SOT 8265085 SOS 1423182 HAS SOPS 1423182 HAS SOUS 1154511 HAS SOUPS 1154511 WITH SCORE 1155934.182
AT ITER 4577 NEW BEST:: SOT 8264711 SOS 1422434 HAS SOPS 1422434 HAS SOUS 1153763 HAS SOUPS 1153763 WITH SCORE 1155185.434
AT ITER 4604 NEW BEST:: SOT 8264561 SOS 1422284 HAS SOPS 1422284 HAS SOUS 1153613 HAS SOUPS 1153613 WITH SCORE 1155035.284
AT ITER 4610 NEW BEST:: SOT 8264584 SOS 1422330 HAS SOPS 1422330 HAS SOUS 1153579 HAS SOUPS 1153579 WITH SCORE 1155001.33
AT ITER 4639 NEW BEST:: SOT 8264544 SOS 1422291 HAS SOPS 1422291 HAS SOUS 1153539 HAS SOUPS 1153539 WITH SCORE 1154961.291
AT ITER 4641 NEW BEST:: SOT 8264547 SOS 1422145 HAS SOPS 1422145 HAS SOUS 1153538 HAS SOUPS 1153538 WITH SCORE 1154960.145
AT ITER 4663 NEW BEST:: SOT 8264567 SOS 1422185 HAS SOPS 1422185 HAS SOUS 1153219 HAS SOUPS 1153219 WITH SCORE 1154641.185
AT ITER 4682 NEW BEST:: SOT 8264830 SOS 1421659 HAS SOPS 1421659 HAS SOUS 1153219 HAS SOUPS 1153219 WITH SCORE 1154640.659
AT ITER 4710 NEW BEST:: SOT 8264512 SOS 1420421 HAS SOPS 1420421 HAS SOUS 1152583 HAS SOUPS 1152583 WITH SCORE 1154003.421
AT ITER 4751 NEW BEST:: SOT 8264452 SOS 1420361 HAS SOPS 1420361 HAS SOUS 1152523 HAS SOUPS 1152523 WITH SCORE 1153943.361
AT ITER 4768 NEW BEST:: SOT 8264429 SOS 1420541 HAS SOPS 1420541 HAS SOUS 1152500 HAS SOUPS 1152500 WITH SCORE 1153920.541
AT ITER 4805 NEW BEST:: SOT 8264487 SOS 1420076 HAS SOPS 1420076 HAS SOUS 1152223 HAS SOUPS 1152223 WITH SCORE 1153643.076
AT ITER 4854 NEW BEST:: SOT 8264293 SOS 1419688 HAS SOPS 1419688 HAS SOUS 1152222 HAS SOUPS 1152222 WITH SCORE 1153641.688
AT ITER 4865 NEW BEST:: SOT 8264176 SOS 1419571 HAS SOPS 1419571 HAS SOUS 1152105 HAS SOUPS 1152105 WITH SCORE 1153524.571
AT ITER 4867 NEW BEST:: SOT 8263804 SOS 1419106 HAS SOPS 1419106 HAS SOUS 1151640 HAS SOUPS 1151640 WITH SCORE 1153059.106
AT ITER 4893 NEW BEST:: SOT 8263948 SOS 1419394 HAS SOPS 1419394 HAS SOUS 1151476 HAS SOUPS 1151476 WITH SCORE 1152895.394
AT ITER 4899 NEW BEST:: SOT 8263900 SOS 1419466 HAS SOPS 1419466 HAS SOUS 1151415 HAS SOUPS 1151415 WITH SCORE 1152834.466
AT ITER 4912 NEW BEST:: SOT 8263740 SOS 1419146 HAS SOPS 1419146 HAS SOUS 1151095 HAS SOUPS 1151095 WITH SCORE 1152514.146
AT ITER 4924 NEW BEST:: SOT 8262621 SOS 1422712 HAS SOPS 1422712 HAS SOUS 1150705 HAS SOUPS 1150705 WITH SCORE 1152127.712
AT ITER 4927 NEW BEST:: SOT 8262563 SOS 1422596 HAS SOPS 1422596 HAS SOUS 1150647 HAS SOUPS 1150647 WITH SCORE 1152069.596
AT ITER 4935 NEW BEST:: SOT 8262563 SOS 1422212 HAS SOPS 1422212 HAS SOUS 1150263 HAS SOUPS 1150263 WITH SCORE 1151685.212
AT ITER 4954 NEW BEST:: SOT 8262319 SOS 1421724 HAS SOPS 1421724 HAS SOUS 1149819 HAS SOUPS 1149819 WITH SCORE 1151240.724
AT ITER 4969 NEW BEST:: SOT 8262155 SOS 1415246 HAS SOPS 1415246 HAS SOUS 1149491 HAS SOUPS 1149491 WITH SCORE 1150906.246
AT ITER 4973 NEW BEST:: SOT 8261772 SOS 1414863 HAS SOPS 1414863 HAS SOUS 1149108 HAS SOUPS 1149108 WITH SCORE 1150522.863
AT ITER 4992 NEW BEST:: SOT 8261366 SOS 1414457 HAS SOPS 1414457 HAS SOUS 1149106 HAS SOUPS 1149106 WITH SCORE 1150520.457
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: CloudReconfiguration-PT-402-CTLCardinality-00 ( potential( (tk(P612)) <= (tk(P3177)) ) & (EG( ( ( potential( ( 3 ) <= (tk(P2174)) ) | potential( (tk(P1121)) <= (tk(P1824)) ) ) & ( potential( (tk(P491)) <= (tk(P229)) ) | potential( (tk(P967)) <= (tk(P2738)) ) ) ))) )
PROPERTY: CloudReconfiguration-PT-402-CTLCardinality-01 (! (EG( (EX( potential( (tk(P2138)) <= (tk(P1873)) ))))))
PROPERTY: CloudReconfiguration-PT-402-CTLCardinality-02 (! ( ( ( ( potential( (tk(P330)) <= (tk(P1065)) ) | potential( ( 2 ) <= (tk(P468)) ) ) & (! potential( ( 3 ) <= (tk(P1728)) )) ) | (! ( potential( (tk(P2713)) <= (tk(P1876)) ) & potential( ( 2 ) <= (tk(P167)) ) )) ) & (! (AG( potential( (tk(P3017)) <= (tk(P353)) )))) ))
PROPERTY: CloudReconfiguration-PT-402-CTLCardinality-03 (AG( (AG( ( potential( (tk(P1081)) <= (tk(P2525)) ) | potential( (tk(P1066)) <= (tk(P1527)) ) )))))
PROPERTY: CloudReconfiguration-PT-402-CTLCardinality-04 ( ( (AX( ( potential( (tk(P25)) <= (tk(P3196)) ) | potential( ( 1 ) <= (tk(P3490)) ) ))) & ( (EG( potential( (tk(P1078)) <= (tk(P1204)) ))) & (! (! potential( (tk(P3178)) <= (tk(P2994)) ))) ) ) | ( (EG( (! potential( (tk(P384)) <= (tk(P2509)) )))) & ( potential( ( 3 ) <= (tk(P1160)) ) & (! (! potential( ( 3 ) <= (tk(P3063)) ))) ) ) )
PROPERTY: CloudReconfiguration-PT-402-CTLCardinality-05 (AU( ( ( potential( (tk(P3019)) <= (tk(P2092)) ) | potential( ( 2 ) <= (tk(P3480)) ) ) & potential( ( 1 ) <= (tk(P2026)) ) ),(AG( potential( (tk(P270)) <= (tk(P1866)) ))) ))
PROPERTY: CloudReconfiguration-PT-402-CTLCardinality-06 (EG( potential( (tk(P2401)) <= (tk(P633)) )))
PROPERTY: CloudReconfiguration-PT-402-CTLCardinality-07 ( potential( ( 1 ) <= (tk(P1429)) ) | ( (EG( potential( (tk(P1640)) <= (tk(P3414)) ))) & (AU( potential( (tk(P2530)) <= (tk(P2983)) ),potential( (tk(P2685)) <= (tk(P2070)) ) )) ) )
PROPERTY: CloudReconfiguration-PT-402-CTLCardinality-08 (AG( (! (EF(potential( ( 3 ) <= (tk(P2507)) ))))))
PROPERTY: CloudReconfiguration-PT-402-CTLCardinality-09 ( ( (! (AX( potential( ( 3 ) <= (tk(P232)) )))) & (! (AF(potential( ( 2 ) <= (tk(P435)) )))) ) & potential( (tk(P3131)) <= (tk(P3315)) ) )
PROPERTY: CloudReconfiguration-PT-402-CTLCardinality-10 ( (EF((AF(potential( ( 2 ) <= (tk(P2979)) ))))) | (EG( potential( (tk(P349)) <= (tk(P2268)) ))) )
PROPERTY: CloudReconfiguration-PT-402-CTLCardinality-11 (AF((AF(( potential( ( 1 ) <= (tk(P899)) ) & potential( ( 1 ) <= (tk(P1600)) ) )))))
PROPERTY: CloudReconfiguration-PT-402-CTLCardinality-12 (EG( (AF(potential( ( 1 ) <= (tk(P174)) )))))
PROPERTY: CloudReconfiguration-PT-402-CTLCardinality-13 (EU( potential( (tk(P3319)) <= (tk(P1491)) ),(AG( potential( ( 1 ) <= (tk(P2652)) ))) ))
PROPERTY: CloudReconfiguration-PT-402-CTLCardinality-14 ( (EG( (! ( potential( ( 2 ) <= (tk(P3083)) ) & potential( ( 1 ) <= (tk(P81)) ) )))) | (AF((EX( potential( ( 2 ) <= (tk(P418)) ))))) )
PROPERTY: CloudReconfiguration-PT-402-CTLCardinality-15 (AG( ( (AG( potential( ( 1 ) <= (tk(P1591)) ))) | potential( (tk(P694)) <= (tk(P2780)) ) )))

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

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