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

About the Execution of smart for CloudReconfiguration-PT-401

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15771.970 3600000.00 3600070.00 0.00 [undef] Time out reached

Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902541800164.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-401, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902541800164
=====================================================================

--------------------
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.9K Mar 28 16:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K 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.1K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 27 08:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K 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 16K 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-401-CTLFireability-00
FORMULA_NAME CloudReconfiguration-PT-401-CTLFireability-01
FORMULA_NAME CloudReconfiguration-PT-401-CTLFireability-02
FORMULA_NAME CloudReconfiguration-PT-401-CTLFireability-03
FORMULA_NAME CloudReconfiguration-PT-401-CTLFireability-04
FORMULA_NAME CloudReconfiguration-PT-401-CTLFireability-05
FORMULA_NAME CloudReconfiguration-PT-401-CTLFireability-06
FORMULA_NAME CloudReconfiguration-PT-401-CTLFireability-07
FORMULA_NAME CloudReconfiguration-PT-401-CTLFireability-08
FORMULA_NAME CloudReconfiguration-PT-401-CTLFireability-09
FORMULA_NAME CloudReconfiguration-PT-401-CTLFireability-10
FORMULA_NAME CloudReconfiguration-PT-401-CTLFireability-11
FORMULA_NAME CloudReconfiguration-PT-401-CTLFireability-12
FORMULA_NAME CloudReconfiguration-PT-401-CTLFireability-13
FORMULA_NAME CloudReconfiguration-PT-401-CTLFireability-14
FORMULA_NAME CloudReconfiguration-PT-401-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589099232259

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 401
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.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 8368963 SOS 1372342 HAS SOPS 1372342 HAS SOUS 1266497 HAS SOUPS 1266497 WITH SCORE 1267869.342
AT ITER 61 NEW BEST:: SOT 8368963 SOS 1372342 HAS SOPS 1372342 HAS SOUS 1266496 HAS SOUPS 1266496 WITH SCORE 1267868.342
AT ITER 89 NEW BEST:: SOT 8368962 SOS 1372340 HAS SOPS 1372340 HAS SOUS 1266494 HAS SOUPS 1266494 WITH SCORE 1267866.34
AT ITER 97 NEW BEST:: SOT 8369089 SOS 1371875 HAS SOPS 1371875 HAS SOUS 1266284 HAS SOUPS 1266284 WITH SCORE 1267655.875
AT ITER 144 NEW BEST:: SOT 8369089 SOS 1371808 HAS SOPS 1371808 HAS SOUS 1266217 HAS SOUPS 1266217 WITH SCORE 1267588.808
AT ITER 156 NEW BEST:: SOT 8368823 SOS 1371814 HAS SOPS 1371814 HAS SOUS 1265996 HAS SOUPS 1265996 WITH SCORE 1267367.814
AT ITER 176 NEW BEST:: SOT 8368683 SOS 1371674 HAS SOPS 1371674 HAS SOUS 1265856 HAS SOUPS 1265856 WITH SCORE 1267227.674
AT ITER 219 NEW BEST:: SOT 8368704 SOS 1370927 HAS SOPS 1370927 HAS SOUS 1265472 HAS SOUPS 1265472 WITH SCORE 1266842.927
AT ITER 231 NEW BEST:: SOT 8368540 SOS 1370073 HAS SOPS 1370073 HAS SOUS 1265029 HAS SOUPS 1265029 WITH SCORE 1266399.073
AT ITER 233 NEW BEST:: SOT 8368540 SOS 1369813 HAS SOPS 1369813 HAS SOUS 1264769 HAS SOUPS 1264769 WITH SCORE 1266138.813
AT ITER 239 NEW BEST:: SOT 8368223 SOS 1369520 HAS SOPS 1369520 HAS SOUS 1264476 HAS SOUPS 1264476 WITH SCORE 1265845.52
AT ITER 244 NEW BEST:: SOT 8368376 SOS 1369826 HAS SOPS 1369826 HAS SOUS 1264440 HAS SOUPS 1264440 WITH SCORE 1265809.826
AT ITER 292 NEW BEST:: SOT 8368279 SOS 1369722 HAS SOPS 1369722 HAS SOUS 1264322 HAS SOUPS 1264322 WITH SCORE 1265691.722
AT ITER 317 NEW BEST:: SOT 8368278 SOS 1369720 HAS SOPS 1369720 HAS SOUS 1264320 HAS SOUPS 1264320 WITH SCORE 1265689.72
AT ITER 354 NEW BEST:: SOT 8362320 SOS 1371472 HAS SOPS 1371472 HAS SOUS 1259063 HAS SOUPS 1259063 WITH SCORE 1260434.472
AT ITER 377 NEW BEST:: SOT 8362320 SOS 1371046 HAS SOPS 1371046 HAS SOUS 1258637 HAS SOUPS 1258637 WITH SCORE 1260008.046
AT ITER 403 NEW BEST:: SOT 8362222 SOS 1370850 HAS SOPS 1370850 HAS SOUS 1258441 HAS SOUPS 1258441 WITH SCORE 1259811.85
AT ITER 410 NEW BEST:: SOT 8361658 SOS 1369722 HAS SOPS 1369722 HAS SOUS 1257313 HAS SOUPS 1257313 WITH SCORE 1258682.722
AT ITER 441 NEW BEST:: SOT 8361580 SOS 1369858 HAS SOPS 1369858 HAS SOUS 1257235 HAS SOUPS 1257235 WITH SCORE 1258604.858
AT ITER 451 NEW BEST:: SOT 8361535 SOS 1369768 HAS SOPS 1369768 HAS SOUS 1257145 HAS SOUPS 1257145 WITH SCORE 1258514.768
AT ITER 464 NEW BEST:: SOT 8361535 SOS 1369768 HAS SOPS 1369768 HAS SOUS 1257144 HAS SOUPS 1257144 WITH SCORE 1258513.768
AT ITER 473 NEW BEST:: SOT 8361205 SOS 1368632 HAS SOPS 1368632 HAS SOUS 1256429 HAS SOUPS 1256429 WITH SCORE 1257797.632
AT ITER 474 NEW BEST:: SOT 8361205 SOS 1368632 HAS SOPS 1368632 HAS SOUS 1256405 HAS SOUPS 1256405 WITH SCORE 1257773.632
AT ITER 485 NEW BEST:: SOT 8361265 SOS 1368752 HAS SOPS 1368752 HAS SOUS 1255973 HAS SOUPS 1255973 WITH SCORE 1257341.752
AT ITER 499 NEW BEST:: SOT 8360600 SOS 1367968 HAS SOPS 1367968 HAS SOUS 1254833 HAS SOUPS 1254833 WITH SCORE 1256200.968
AT ITER 517 NEW BEST:: SOT 8360600 SOS 1367857 HAS SOPS 1367857 HAS SOUS 1254833 HAS SOUPS 1254833 WITH SCORE 1256200.857
AT ITER 534 NEW BEST:: SOT 8360321 SOS 1367597 HAS SOPS 1367597 HAS SOUS 1254554 HAS SOUPS 1254554 WITH SCORE 1255921.597
AT ITER 592 NEW BEST:: SOT 8348581 SOS 1359417 HAS SOPS 1359417 HAS SOUS 1243440 HAS SOUPS 1243440 WITH SCORE 1244799.417
AT ITER 600 NEW BEST:: SOT 8348254 SOS 1359140 HAS SOPS 1359140 HAS SOUS 1243132 HAS SOUPS 1243132 WITH SCORE 1244491.14
AT ITER 618 NEW BEST:: SOT 8347983 SOS 1358056 HAS SOPS 1358056 HAS SOUS 1242590 HAS SOUPS 1242590 WITH SCORE 1243948.056
AT ITER 619 NEW BEST:: SOT 8347466 SOS 1357523 HAS SOPS 1357523 HAS SOUS 1241850 HAS SOUPS 1241850 WITH SCORE 1243207.523
AT ITER 629 NEW BEST:: SOT 8347054 SOS 1357111 HAS SOPS 1357111 HAS SOUS 1241438 HAS SOUPS 1241438 WITH SCORE 1242795.111
AT ITER 654 NEW BEST:: SOT 8346973 SOS 1357109 HAS SOPS 1357109 HAS SOUS 1241436 HAS SOUPS 1241436 WITH SCORE 1242793.109
AT ITER 668 NEW BEST:: SOT 8346973 SOS 1356749 HAS SOPS 1356749 HAS SOUS 1241436 HAS SOUPS 1241436 WITH SCORE 1242792.749
AT ITER 680 NEW BEST:: SOT 8346973 SOS 1356749 HAS SOPS 1356749 HAS SOUS 1241357 HAS SOUPS 1241357 WITH SCORE 1242713.749
AT ITER 691 NEW BEST:: SOT 8346973 SOS 1356603 HAS SOPS 1356603 HAS SOUS 1241357 HAS SOUPS 1241357 WITH SCORE 1242713.603
AT ITER 704 NEW BEST:: SOT 8346850 SOS 1356631 HAS SOPS 1356631 HAS SOUS 1241234 HAS SOUPS 1241234 WITH SCORE 1242590.631
AT ITER 727 NEW BEST:: SOT 8346708 SOS 1356631 HAS SOPS 1356631 HAS SOUS 1241163 HAS SOUPS 1241163 WITH SCORE 1242519.631
AT ITER 738 NEW BEST:: SOT 8346708 SOS 1356434 HAS SOPS 1356434 HAS SOUS 1241163 HAS SOUPS 1241163 WITH SCORE 1242519.434
AT ITER 743 NEW BEST:: SOT 8346619 SOS 1356587 HAS SOPS 1356587 HAS SOUS 1241074 HAS SOUPS 1241074 WITH SCORE 1242430.587
AT ITER 757 NEW BEST:: SOT 8346363 SOS 1356267 HAS SOPS 1356267 HAS SOUS 1240754 HAS SOUPS 1240754 WITH SCORE 1242110.267
AT ITER 810 NEW BEST:: SOT 8346282 SOS 1356341 HAS SOPS 1356341 HAS SOUS 1240732 HAS SOUPS 1240732 WITH SCORE 1242088.341
AT ITER 828 NEW BEST:: SOT 8346282 SOS 1356341 HAS SOPS 1356341 HAS SOUS 1240413 HAS SOUPS 1240413 WITH SCORE 1241769.341
AT ITER 883 NEW BEST:: SOT 8345876 SOS 1355935 HAS SOPS 1355935 HAS SOUS 1240007 HAS SOUPS 1240007 WITH SCORE 1241362.935
AT ITER 913 NEW BEST:: SOT 8345324 SOS 1357816 HAS SOPS 1357816 HAS SOUS 1239792 HAS SOUPS 1239792 WITH SCORE 1241149.816
AT ITER 918 NEW BEST:: SOT 8340253 SOS 1427012 HAS SOPS 1427012 HAS SOUS 1238040 HAS SOUPS 1238040 WITH SCORE 1239467.012
AT ITER 923 NEW BEST:: SOT 8339939 SOS 1426850 HAS SOPS 1426850 HAS SOUS 1237812 HAS SOUPS 1237812 WITH SCORE 1239238.85
AT ITER 971 NEW BEST:: SOT 8339759 SOS 1426801 HAS SOPS 1426801 HAS SOUS 1237763 HAS SOUPS 1237763 WITH SCORE 1239189.801
AT ITER 972 NEW BEST:: SOT 8335638 SOS 1477856 HAS SOPS 1477856 HAS SOUS 1237003 HAS SOUPS 1237003 WITH SCORE 1238480.856
AT ITER 975 NEW BEST:: SOT 8335638 SOS 1477738 HAS SOPS 1477738 HAS SOUS 1237003 HAS SOUPS 1237003 WITH SCORE 1238480.738
AT ITER 992 NEW BEST:: SOT 8335424 SOS 1477310 HAS SOPS 1477310 HAS SOUS 1236789 HAS SOUPS 1236789 WITH SCORE 1238266.31
AT ITER 1009 NEW BEST:: SOT 8335209 SOS 1476880 HAS SOPS 1476880 HAS SOUS 1236574 HAS SOUPS 1236574 WITH SCORE 1238050.88
AT ITER 1028 NEW BEST:: SOT 8335419 SOS 1476671 HAS SOPS 1476671 HAS SOUS 1236535 HAS SOUPS 1236535 WITH SCORE 1238011.671
AT ITER 1032 NEW BEST:: SOT 8335419 SOS 1476626 HAS SOPS 1476626 HAS SOUS 1236535 HAS SOUPS 1236535 WITH SCORE 1238011.626
AT ITER 1049 NEW BEST:: SOT 8335419 SOS 1476530 HAS SOPS 1476530 HAS SOUS 1236535 HAS SOUPS 1236535 WITH SCORE 1238011.53
AT ITER 1054 NEW BEST:: SOT 8335419 SOS 1476435 HAS SOPS 1476435 HAS SOUS 1236534 HAS SOUPS 1236534 WITH SCORE 1238010.435
AT ITER 1055 NEW BEST:: SOT 8335799 SOS 1476377 HAS SOPS 1476377 HAS SOUS 1236518 HAS SOUPS 1236518 WITH SCORE 1237994.377
AT ITER 1088 NEW BEST:: SOT 8335543 SOS 1476188 HAS SOPS 1476188 HAS SOUS 1236262 HAS SOUPS 1236262 WITH SCORE 1237738.188
AT ITER 1103 NEW BEST:: SOT 8335390 SOS 1475882 HAS SOPS 1475882 HAS SOUS 1235877 HAS SOUPS 1235877 WITH SCORE 1237352.882
AT ITER 1110 NEW BEST:: SOT 8335387 SOS 1475876 HAS SOPS 1475876 HAS SOUS 1235728 HAS SOUPS 1235728 WITH SCORE 1237203.876
AT ITER 1121 NEW BEST:: SOT 8335293 SOS 1475688 HAS SOPS 1475688 HAS SOUS 1235540 HAS SOUPS 1235540 WITH SCORE 1237015.688
AT ITER 1142 NEW BEST:: SOT 8335293 SOS 1475688 HAS SOPS 1475688 HAS SOUS 1235532 HAS SOUPS 1235532 WITH SCORE 1237007.688
AT ITER 1161 NEW BEST:: SOT 8334856 SOS 1476059 HAS SOPS 1476059 HAS SOUS 1235238 HAS SOUPS 1235238 WITH SCORE 1236714.059
AT ITER 1164 NEW BEST:: SOT 8334768 SOS 1476007 HAS SOPS 1476007 HAS SOUS 1235186 HAS SOUPS 1235186 WITH SCORE 1236662.007
AT ITER 1184 NEW BEST:: SOT 8335018 SOS 1475747 HAS SOPS 1475747 HAS SOUS 1235056 HAS SOUPS 1235056 WITH SCORE 1236531.747
AT ITER 1211 NEW BEST:: SOT 8334959 SOS 1475629 HAS SOPS 1475629 HAS SOUS 1234938 HAS SOUPS 1234938 WITH SCORE 1236413.629
AT ITER 1255 NEW BEST:: SOT 8334565 SOS 1475931 HAS SOPS 1475931 HAS SOUS 1234923 HAS SOUPS 1234923 WITH SCORE 1236398.931
AT ITER 1265 NEW BEST:: SOT 8334550 SOS 1475901 HAS SOPS 1475901 HAS SOUS 1234841 HAS SOUPS 1234841 WITH SCORE 1236316.901
AT ITER 1278 NEW BEST:: SOT 8334550 SOS 1475894 HAS SOPS 1475894 HAS SOUS 1234834 HAS SOUPS 1234834 WITH SCORE 1236309.894
AT ITER 1289 NEW BEST:: SOT 8334704 SOS 1475874 HAS SOPS 1475874 HAS SOUS 1234814 HAS SOUPS 1234814 WITH SCORE 1236289.874
AT ITER 1295 NEW BEST:: SOT 8333699 SOS 1475740 HAS SOPS 1475740 HAS SOUS 1234182 HAS SOUPS 1234182 WITH SCORE 1235657.74
AT ITER 1314 NEW BEST:: SOT 8333201 SOS 1475432 HAS SOPS 1475432 HAS SOUS 1233749 HAS SOUPS 1233749 WITH SCORE 1235224.432
AT ITER 1350 NEW BEST:: SOT 8333573 SOS 1475873 HAS SOPS 1475873 HAS SOUS 1233536 HAS SOUPS 1233536 WITH SCORE 1235011.873
AT ITER 1369 NEW BEST:: SOT 8333528 SOS 1476032 HAS SOPS 1476032 HAS SOUS 1233491 HAS SOUPS 1233491 WITH SCORE 1234967.032
AT ITER 1372 NEW BEST:: SOT 8333213 SOS 1475891 HAS SOPS 1475891 HAS SOUS 1232956 HAS SOUPS 1232956 WITH SCORE 1234431.891
AT ITER 1387 NEW BEST:: SOT 8333008 SOS 1475481 HAS SOPS 1475481 HAS SOUS 1232546 HAS SOUPS 1232546 WITH SCORE 1234021.481
AT ITER 1412 NEW BEST:: SOT 8332976 SOS 1475417 HAS SOPS 1475417 HAS SOUS 1232482 HAS SOUPS 1232482 WITH SCORE 1233957.417
AT ITER 1424 NEW BEST:: SOT 8332649 SOS 1476075 HAS SOPS 1476075 HAS SOUS 1232326 HAS SOUPS 1232326 WITH SCORE 1233802.075
AT ITER 1470 NEW BEST:: SOT 8332431 SOS 1475639 HAS SOPS 1475639 HAS SOUS 1231890 HAS SOUPS 1231890 WITH SCORE 1233365.639
AT ITER 1473 NEW BEST:: SOT 8332252 SOS 1475460 HAS SOPS 1475460 HAS SOUS 1231890 HAS SOUPS 1231890 WITH SCORE 1233365.46
AT ITER 1523 NEW BEST:: SOT 8332252 SOS 1475284 HAS SOPS 1475284 HAS SOUS 1231714 HAS SOUPS 1231714 WITH SCORE 1233189.284
AT ITER 1554 NEW BEST:: SOT 8332252 SOS 1475284 HAS SOPS 1475284 HAS SOUS 1231528 HAS SOUPS 1231528 WITH SCORE 1233003.284
AT ITER 1620 NEW BEST:: SOT 8332251 SOS 1475282 HAS SOPS 1475282 HAS SOUS 1231526 HAS SOUPS 1231526 WITH SCORE 1233001.282
AT ITER 1624 NEW BEST:: SOT 8332251 SOS 1475249 HAS SOPS 1475249 HAS SOUS 1231525 HAS SOUPS 1231525 WITH SCORE 1233000.249
AT ITER 1643 NEW BEST:: SOT 8332511 SOS 1474706 HAS SOPS 1474706 HAS SOUS 1231513 HAS SOUPS 1231513 WITH SCORE 1232987.706
AT ITER 1664 NEW BEST:: SOT 8332951 SOS 1474901 HAS SOPS 1474901 HAS SOUS 1231316 HAS SOUPS 1231316 WITH SCORE 1232790.901
AT ITER 1684 NEW BEST:: SOT 8332779 SOS 1474557 HAS SOPS 1474557 HAS SOUS 1231144 HAS SOUPS 1231144 WITH SCORE 1232618.557
AT ITER 1706 NEW BEST:: SOT 8332779 SOS 1474557 HAS SOPS 1474557 HAS SOUS 1231141 HAS SOUPS 1231141 WITH SCORE 1232615.557
AT ITER 1708 NEW BEST:: SOT 8332765 SOS 1474529 HAS SOPS 1474529 HAS SOUS 1231113 HAS SOUPS 1231113 WITH SCORE 1232587.529
AT ITER 1713 NEW BEST:: SOT 8332802 SOS 1473676 HAS SOPS 1473676 HAS SOUS 1230487 HAS SOUPS 1230487 WITH SCORE 1231960.676
AT ITER 1735 NEW BEST:: SOT 8332474 SOS 1472692 HAS SOPS 1472692 HAS SOUS 1229831 HAS SOUPS 1229831 WITH SCORE 1231303.692
AT ITER 1741 NEW BEST:: SOT 8332474 SOS 1472478 HAS SOPS 1472478 HAS SOUS 1229831 HAS SOUPS 1229831 WITH SCORE 1231303.478
AT ITER 1772 NEW BEST:: SOT 8332474 SOS 1472478 HAS SOPS 1472478 HAS SOUS 1229533 HAS SOUPS 1229533 WITH SCORE 1231005.478
AT ITER 1792 NEW BEST:: SOT 8332380 SOS 1472290 HAS SOPS 1472290 HAS SOUS 1229439 HAS SOUPS 1229439 WITH SCORE 1230911.29
AT ITER 1794 NEW BEST:: SOT 8332253 SOS 1472163 HAS SOPS 1472163 HAS SOUS 1229312 HAS SOUPS 1229312 WITH SCORE 1230784.163
AT ITER 1798 NEW BEST:: SOT 8332309 SOS 1471938 HAS SOPS 1471938 HAS SOUS 1229171 HAS SOUPS 1229171 WITH SCORE 1230642.938
AT ITER 1810 NEW BEST:: SOT 8331562 SOS 1472024 HAS SOPS 1472024 HAS SOUS 1228338 HAS SOUPS 1228338 WITH SCORE 1229810.024
AT ITER 1844 NEW BEST:: SOT 8331384 SOS 1471846 HAS SOPS 1471846 HAS SOUS 1228160 HAS SOUPS 1228160 WITH SCORE 1229631.846
AT ITER 1881 NEW BEST:: SOT 8331162 SOS 1471624 HAS SOPS 1471624 HAS SOUS 1228159 HAS SOUPS 1228159 WITH SCORE 1229630.624
AT ITER 1895 NEW BEST:: SOT 8331314 SOS 1471928 HAS SOPS 1471928 HAS SOUS 1228126 HAS SOUPS 1228126 WITH SCORE 1229597.928
AT ITER 1920 NEW BEST:: SOT 8331302 SOS 1471904 HAS SOPS 1471904 HAS SOUS 1228102 HAS SOUPS 1228102 WITH SCORE 1229573.904
AT ITER 1927 NEW BEST:: SOT 8331284 SOS 1471868 HAS SOPS 1471868 HAS SOUS 1228066 HAS SOUPS 1228066 WITH SCORE 1229537.868
AT ITER 1932 NEW BEST:: SOT 8331141 SOS 1471582 HAS SOPS 1471582 HAS SOUS 1227919 HAS SOUPS 1227919 WITH SCORE 1229390.582
AT ITER 1968 NEW BEST:: SOT 8331085 SOS 1472528 HAS SOPS 1472528 HAS SOUS 1227914 HAS SOUPS 1227914 WITH SCORE 1229386.528
AT ITER 1980 NEW BEST:: SOT 8331085 SOS 1472439 HAS SOPS 1472439 HAS SOUS 1227914 HAS SOUPS 1227914 WITH SCORE 1229386.439
AT ITER 2013 NEW BEST:: SOT 8331101 SOS 1472471 HAS SOPS 1472471 HAS SOUS 1227731 HAS SOUPS 1227731 WITH SCORE 1229203.471
AT ITER 2030 NEW BEST:: SOT 8330959 SOS 1472076 HAS SOPS 1472076 HAS SOUS 1227447 HAS SOUPS 1227447 WITH SCORE 1228919.076
AT ITER 2034 NEW BEST:: SOT 8330958 SOS 1472074 HAS SOPS 1472074 HAS SOUS 1227445 HAS SOUPS 1227445 WITH SCORE 1228917.074
AT ITER 2060 NEW BEST:: SOT 8330805 SOS 1472049 HAS SOPS 1472049 HAS SOUS 1227291 HAS SOUPS 1227291 WITH SCORE 1228763.049
AT ITER 2068 NEW BEST:: SOT 8330309 SOS 1471435 HAS SOPS 1471435 HAS SOUS 1226632 HAS SOUPS 1226632 WITH SCORE 1228103.435
AT ITER 2124 NEW BEST:: SOT 8330200 SOS 1471217 HAS SOPS 1471217 HAS SOUS 1226414 HAS SOUPS 1226414 WITH SCORE 1227885.217
AT ITER 2125 NEW BEST:: SOT 8330200 SOS 1471217 HAS SOPS 1471217 HAS SOUS 1226413 HAS SOUPS 1226413 WITH SCORE 1227884.217
AT ITER 2154 NEW BEST:: SOT 8330169 SOS 1471155 HAS SOPS 1471155 HAS SOUS 1226351 HAS SOUPS 1226351 WITH SCORE 1227822.155
AT ITER 2175 NEW BEST:: SOT 8329822 SOS 1470461 HAS SOPS 1470461 HAS SOUS 1225657 HAS SOUPS 1225657 WITH SCORE 1227127.461
AT ITER 2197 NEW BEST:: SOT 8329822 SOS 1470461 HAS SOPS 1470461 HAS SOUS 1225502 HAS SOUPS 1225502 WITH SCORE 1226972.461
AT ITER 2200 NEW BEST:: SOT 8329587 SOS 1470335 HAS SOPS 1470335 HAS SOUS 1225267 HAS SOUPS 1225267 WITH SCORE 1226737.335
AT ITER 2225 NEW BEST:: SOT 8329473 SOS 1470221 HAS SOPS 1470221 HAS SOUS 1225153 HAS SOUPS 1225153 WITH SCORE 1226623.221
AT ITER 2234 NEW BEST:: SOT 8329302 SOS 1469879 HAS SOPS 1469879 HAS SOUS 1224811 HAS SOUPS 1224811 WITH SCORE 1226280.879
AT ITER 2257 NEW BEST:: SOT 8329302 SOS 1469809 HAS SOPS 1469809 HAS SOUS 1224741 HAS SOUPS 1224741 WITH SCORE 1226210.809
AT ITER 2259 NEW BEST:: SOT 8329331 SOS 1469867 HAS SOPS 1469867 HAS SOUS 1224667 HAS SOUPS 1224667 WITH SCORE 1226136.867
AT ITER 2268 NEW BEST:: SOT 8328515 SOS 1468235 HAS SOPS 1468235 HAS SOUS 1223906 HAS SOUPS 1223906 WITH SCORE 1225374.235
AT ITER 2272 NEW BEST:: SOT 8328504 SOS 1468213 HAS SOPS 1468213 HAS SOUS 1223884 HAS SOUPS 1223884 WITH SCORE 1225352.213
AT ITER 2286 NEW BEST:: SOT 8328504 SOS 1467916 HAS SOPS 1467916 HAS SOUS 1223587 HAS SOUPS 1223587 WITH SCORE 1225054.916
AT ITER 2292 NEW BEST:: SOT 8328504 SOS 1467771 HAS SOPS 1467771 HAS SOUS 1223587 HAS SOUPS 1223587 WITH SCORE 1225054.771
AT ITER 2336 NEW BEST:: SOT 8328491 SOS 1467745 HAS SOPS 1467745 HAS SOUS 1223433 HAS SOUPS 1223433 WITH SCORE 1224900.745
AT ITER 2365 NEW BEST:: SOT 8328491 SOS 1467693 HAS SOPS 1467693 HAS SOUS 1223381 HAS SOUPS 1223381 WITH SCORE 1224848.693
AT ITER 2396 NEW BEST:: SOT 8328273 SOS 1467577 HAS SOPS 1467577 HAS SOUS 1223265 HAS SOUPS 1223265 WITH SCORE 1224732.577
AT ITER 2407 NEW BEST:: SOT 8328271 SOS 1467085 HAS SOPS 1467085 HAS SOUS 1223261 HAS SOUPS 1223261 WITH SCORE 1224728.085
AT ITER 2443 NEW BEST:: SOT 8327782 SOS 1466621 HAS SOPS 1466621 HAS SOUS 1222771 HAS SOUPS 1222771 WITH SCORE 1224237.621
AT ITER 2455 NEW BEST:: SOT 8327636 SOS 1466329 HAS SOPS 1466329 HAS SOUS 1222479 HAS SOUPS 1222479 WITH SCORE 1223945.329
AT ITER 2460 NEW BEST:: SOT 8327636 SOS 1466187 HAS SOPS 1466187 HAS SOUS 1222241 HAS SOUPS 1222241 WITH SCORE 1223707.187
AT ITER 2461 NEW BEST:: SOT 8327734 SOS 1466383 HAS SOPS 1466383 HAS SOUS 1222143 HAS SOUPS 1222143 WITH SCORE 1223609.383
AT ITER 2521 NEW BEST:: SOT 8327602 SOS 1466119 HAS SOPS 1466119 HAS SOUS 1221325 HAS SOUPS 1221325 WITH SCORE 1222791.119
AT ITER 2528 NEW BEST:: SOT 8326191 SOS 1465727 HAS SOPS 1465727 HAS SOUS 1219826 HAS SOUPS 1219826 WITH SCORE 1221291.727
AT ITER 2534 NEW BEST:: SOT 8326032 SOS 1465409 HAS SOPS 1465409 HAS SOUS 1219516 HAS SOUPS 1219516 WITH SCORE 1220981.409
AT ITER 2549 NEW BEST:: SOT 8325720 SOS 1465409 HAS SOPS 1465409 HAS SOUS 1219360 HAS SOUPS 1219360 WITH SCORE 1220825.409
AT ITER 2562 NEW BEST:: SOT 8324725 SOS 1465987 HAS SOPS 1465987 HAS SOUS 1218572 HAS SOUPS 1218572 WITH SCORE 1220037.987
AT ITER 2568 NEW BEST:: SOT 8324725 SOS 1465519 HAS SOPS 1465519 HAS SOUS 1218572 HAS SOUPS 1218572 WITH SCORE 1220037.519
AT ITER 2605 NEW BEST:: SOT 8324508 SOS 1465315 HAS SOPS 1465315 HAS SOUS 1218368 HAS SOUPS 1218368 WITH SCORE 1219833.315
AT ITER 2611 NEW BEST:: SOT 8324501 SOS 1465305 HAS SOPS 1465305 HAS SOUS 1218358 HAS SOUPS 1218358 WITH SCORE 1219823.305
AT ITER 2656 NEW BEST:: SOT 8324303 SOS 1464533 HAS SOPS 1464533 HAS SOUS 1217962 HAS SOUPS 1217962 WITH SCORE 1219426.533
AT ITER 2664 NEW BEST:: SOT 8324240 SOS 1464407 HAS SOPS 1464407 HAS SOUS 1217826 HAS SOUPS 1217826 WITH SCORE 1219290.407
AT ITER 2670 NEW BEST:: SOT 8324236 SOS 1464399 HAS SOPS 1464399 HAS SOUS 1217818 HAS SOUPS 1217818 WITH SCORE 1219282.399
AT ITER 2695 NEW BEST:: SOT 8324236 SOS 1464390 HAS SOPS 1464390 HAS SOUS 1217810 HAS SOUPS 1217810 WITH SCORE 1219274.39
AT ITER 2706 NEW BEST:: SOT 8324016 SOS 1463950 HAS SOPS 1463950 HAS SOUS 1217370 HAS SOUPS 1217370 WITH SCORE 1218833.95
AT ITER 2729 NEW BEST:: SOT 8323808 SOS 1463534 HAS SOPS 1463534 HAS SOUS 1217058 HAS SOUPS 1217058 WITH SCORE 1218521.534
AT ITER 2780 NEW BEST:: SOT 8320302 SOS 1478194 HAS SOPS 1478194 HAS SOUS 1213511 HAS SOUPS 1213511 WITH SCORE 1214989.194
AT ITER 2784 NEW BEST:: SOT 8318058 SOS 1476324 HAS SOPS 1476324 HAS SOUS 1210916 HAS SOUPS 1210916 WITH SCORE 1212392.324
AT ITER 2797 NEW BEST:: SOT 8317963 SOS 1476572 HAS SOPS 1476572 HAS SOUS 1210821 HAS SOUPS 1210821 WITH SCORE 1212297.572
AT ITER 2837 NEW BEST:: SOT 8317854 SOS 1476354 HAS SOPS 1476354 HAS SOUS 1210603 HAS SOUPS 1210603 WITH SCORE 1212079.354
AT ITER 2860 NEW BEST:: SOT 8317853 SOS 1476179 HAS SOPS 1476179 HAS SOUS 1210601 HAS SOUPS 1210601 WITH SCORE 1212077.179
AT ITER 2875 NEW BEST:: SOT 8317422 SOS 1475317 HAS SOPS 1475317 HAS SOUS 1209856 HAS SOUPS 1209856 WITH SCORE 1211331.317
AT ITER 2886 NEW BEST:: SOT 8317205 SOS 1475135 HAS SOPS 1475135 HAS SOUS 1209639 HAS SOUPS 1209639 WITH SCORE 1211114.135
AT ITER 2951 NEW BEST:: SOT 8316975 SOS 1474675 HAS SOPS 1474675 HAS SOUS 1209179 HAS SOUPS 1209179 WITH SCORE 1210653.675
AT ITER 2954 NEW BEST:: SOT 8317037 SOS 1474799 HAS SOPS 1474799 HAS SOUS 1208895 HAS SOUPS 1208895 WITH SCORE 1210369.799
AT ITER 2967 NEW BEST:: SOT 8317036 SOS 1474797 HAS SOPS 1474797 HAS SOUS 1208893 HAS SOUPS 1208893 WITH SCORE 1210367.797
AT ITER 2970 NEW BEST:: SOT 8316924 SOS 1474573 HAS SOPS 1474573 HAS SOUS 1208669 HAS SOUPS 1208669 WITH SCORE 1210143.573
AT ITER 2976 NEW BEST:: SOT 8316923 SOS 1474571 HAS SOPS 1474571 HAS SOUS 1208667 HAS SOUPS 1208667 WITH SCORE 1210141.571
AT ITER 2994 NEW BEST:: SOT 8316923 SOS 1474571 HAS SOPS 1474571 HAS SOUS 1208357 HAS SOUPS 1208357 WITH SCORE 1209831.571
AT ITER 3005 NEW BEST:: SOT 8316298 SOS 1473800 HAS SOPS 1473800 HAS SOUS 1207351 HAS SOUPS 1207351 WITH SCORE 1208824.8
AT ITER 3015 NEW BEST:: SOT 8315960 SOS 1473124 HAS SOPS 1473124 HAS SOUS 1206844 HAS SOUPS 1206844 WITH SCORE 1208317.124
AT ITER 3041 NEW BEST:: SOT 8315899 SOS 1473086 HAS SOPS 1473086 HAS SOUS 1206792 HAS SOUPS 1206792 WITH SCORE 1208265.086
AT ITER 3055 NEW BEST:: SOT 8315782 SOS 1472969 HAS SOPS 1472969 HAS SOUS 1206675 HAS SOUPS 1206675 WITH SCORE 1208147.969
AT ITER 3057 NEW BEST:: SOT 8315588 SOS 1472581 HAS SOPS 1472581 HAS SOUS 1206287 HAS SOUPS 1206287 WITH SCORE 1207759.581
AT ITER 3061 NEW BEST:: SOT 8299314 SOS 1486443 HAS SOPS 1486443 HAS SOUS 1191067 HAS SOUPS 1191067 WITH SCORE 1192553.443
AT ITER 3063 NEW BEST:: SOT 8298974 SOS 1486953 HAS SOPS 1486953 HAS SOUS 1190897 HAS SOUPS 1190897 WITH SCORE 1192383.953
AT ITER 3066 NEW BEST:: SOT 8298496 SOS 1486307 HAS SOPS 1486307 HAS SOUS 1190109 HAS SOUPS 1190109 WITH SCORE 1191595.307
AT ITER 3092 NEW BEST:: SOT 8298495 SOS 1486227 HAS SOPS 1486227 HAS SOUS 1190107 HAS SOUPS 1190107 WITH SCORE 1191593.227
AT ITER 3107 NEW BEST:: SOT 8298495 SOS 1486098 HAS SOPS 1486098 HAS SOUS 1190107 HAS SOUPS 1190107 WITH SCORE 1191593.098
AT ITER 3118 NEW BEST:: SOT 8298347 SOS 1485802 HAS SOPS 1485802 HAS SOUS 1189638 HAS SOUPS 1189638 WITH SCORE 1191123.802
AT ITER 3127 NEW BEST:: SOT 8298072 SOS 1485984 HAS SOPS 1485984 HAS SOUS 1189363 HAS SOUPS 1189363 WITH SCORE 1190848.984
AT ITER 3157 NEW BEST:: SOT 8298067 SOS 1485774 HAS SOPS 1485774 HAS SOUS 1189353 HAS SOUPS 1189353 WITH SCORE 1190838.774
AT ITER 3166 NEW BEST:: SOT 8298067 SOS 1485774 HAS SOPS 1485774 HAS SOUS 1189350 HAS SOUPS 1189350 WITH SCORE 1190835.774
AT ITER 3183 NEW BEST:: SOT 8297649 SOS 1485356 HAS SOPS 1485356 HAS SOUS 1188932 HAS SOUPS 1188932 WITH SCORE 1190417.356
AT ITER 3191 NEW BEST:: SOT 8297312 SOS 1484270 HAS SOPS 1484270 HAS SOUS 1188183 HAS SOUPS 1188183 WITH SCORE 1189667.27
AT ITER 3194 NEW BEST:: SOT 8297312 SOS 1484031 HAS SOPS 1484031 HAS SOUS 1187944 HAS SOUPS 1187944 WITH SCORE 1189428.031
AT ITER 3218 NEW BEST:: SOT 8297312 SOS 1484031 HAS SOPS 1484031 HAS SOUS 1187943 HAS SOUPS 1187943 WITH SCORE 1189427.031
AT ITER 3221 NEW BEST:: SOT 8297255 SOS 1483860 HAS SOPS 1483860 HAS SOUS 1187829 HAS SOUPS 1187829 WITH SCORE 1189312.86
AT ITER 3226 NEW BEST:: SOT 8296917 SOS 1483536 HAS SOPS 1483536 HAS SOUS 1187502 HAS SOUPS 1187502 WITH SCORE 1188985.536
AT ITER 3275 NEW BEST:: SOT 8296722 SOS 1483146 HAS SOPS 1483146 HAS SOUS 1187307 HAS SOUPS 1187307 WITH SCORE 1188790.146
AT ITER 3285 NEW BEST:: SOT 8296684 SOS 1483203 HAS SOPS 1483203 HAS SOUS 1187269 HAS SOUPS 1187269 WITH SCORE 1188752.203
AT ITER 3294 NEW BEST:: SOT 8296448 SOS 1482731 HAS SOPS 1482731 HAS SOUS 1186797 HAS SOUPS 1186797 WITH SCORE 1188279.731
AT ITER 3298 NEW BEST:: SOT 8296076 SOS 1481987 HAS SOPS 1481987 HAS SOUS 1186641 HAS SOUPS 1186641 WITH SCORE 1188122.987
AT ITER 3300 NEW BEST:: SOT 8295742 SOS 1481711 HAS SOPS 1481711 HAS SOUS 1186307 HAS SOUPS 1186307 WITH SCORE 1187788.711
AT ITER 3303 NEW BEST:: SOT 8295742 SOS 1481711 HAS SOPS 1481711 HAS SOUS 1186257 HAS SOUPS 1186257 WITH SCORE 1187738.711
AT ITER 3350 NEW BEST:: SOT 8295665 SOS 1481557 HAS SOPS 1481557 HAS SOUS 1186103 HAS SOUPS 1186103 WITH SCORE 1187584.557
AT ITER 3460 NEW BEST:: SOT 8295665 SOS 1481557 HAS SOPS 1481557 HAS SOUS 1186100 HAS SOUPS 1186100 WITH SCORE 1187581.557
AT ITER 3487 NEW BEST:: SOT 8295519 SOS 1481119 HAS SOPS 1481119 HAS SOUS 1185808 HAS SOUPS 1185808 WITH SCORE 1187289.119
AT ITER 3493 NEW BEST:: SOT 8295620 SOS 1481321 HAS SOPS 1481321 HAS SOUS 1185802 HAS SOUPS 1185802 WITH SCORE 1187283.321
AT ITER 3502 NEW BEST:: SOT 8295754 SOS 1480452 HAS SOPS 1480452 HAS SOUS 1185128 HAS SOUPS 1185128 WITH SCORE 1186608.452
AT ITER 3505 NEW BEST:: SOT 8295741 SOS 1480729 HAS SOPS 1480729 HAS SOUS 1185115 HAS SOUPS 1185115 WITH SCORE 1186595.729
AT ITER 3520 NEW BEST:: SOT 8295674 SOS 1480595 HAS SOPS 1480595 HAS SOUS 1184749 HAS SOUPS 1184749 WITH SCORE 1186229.595
AT ITER 3539 NEW BEST:: SOT 8294879 SOS 1479468 HAS SOPS 1479468 HAS SOUS 1183694 HAS SOUPS 1183694 WITH SCORE 1185173.468
AT ITER 3552 NEW BEST:: SOT 8294908 SOS 1479526 HAS SOPS 1479526 HAS SOUS 1183687 HAS SOUPS 1183687 WITH SCORE 1185166.526
AT ITER 3554 NEW BEST:: SOT 8294749 SOS 1479208 HAS SOPS 1479208 HAS SOUS 1183528 HAS SOUPS 1183528 WITH SCORE 1185007.208
AT ITER 3560 NEW BEST:: SOT 8294703 SOS 1479182 HAS SOPS 1479182 HAS SOUS 1183502 HAS SOUPS 1183502 WITH SCORE 1184981.182
AT ITER 3565 NEW BEST:: SOT 8294703 SOS 1478806 HAS SOPS 1478806 HAS SOUS 1183502 HAS SOUPS 1183502 WITH SCORE 1184980.806
AT ITER 3574 NEW BEST:: SOT 8290006 SOS 1474231 HAS SOPS 1474231 HAS SOUS 1178926 HAS SOUPS 1178926 WITH SCORE 1180400.231
AT ITER 3575 NEW BEST:: SOT 8289880 SOS 1473979 HAS SOPS 1473979 HAS SOUS 1178925 HAS SOUPS 1178925 WITH SCORE 1180398.979
AT ITER 3605 NEW BEST:: SOT 8289998 SOS 1474215 HAS SOPS 1474215 HAS SOUS 1178632 HAS SOUPS 1178632 WITH SCORE 1180106.215
AT ITER 3648 NEW BEST:: SOT 8289832 SOS 1473883 HAS SOPS 1473883 HAS SOUS 1178300 HAS SOUPS 1178300 WITH SCORE 1179773.883
AT ITER 3662 NEW BEST:: SOT 8289556 SOS 1473331 HAS SOPS 1473331 HAS SOUS 1178024 HAS SOUPS 1178024 WITH SCORE 1179497.331
AT ITER 3685 NEW BEST:: SOT 8289556 SOS 1473331 HAS SOPS 1473331 HAS SOUS 1177737 HAS SOUPS 1177737 WITH SCORE 1179210.331
AT ITER 3722 NEW BEST:: SOT 8289467 SOS 1473242 HAS SOPS 1473242 HAS SOUS 1177648 HAS SOUPS 1177648 WITH SCORE 1179121.242
AT ITER 3728 NEW BEST:: SOT 8289467 SOS 1472919 HAS SOPS 1472919 HAS SOUS 1177648 HAS SOUPS 1177648 WITH SCORE 1179120.919
AT ITER 3776 NEW BEST:: SOT 8289119 SOS 1472571 HAS SOPS 1472571 HAS SOUS 1177300 HAS SOUPS 1177300 WITH SCORE 1178772.571
AT ITER 3817 NEW BEST:: SOT 8288830 SOS 1472715 HAS SOPS 1472715 HAS SOUS 1177157 HAS SOUPS 1177157 WITH SCORE 1178629.715
AT ITER 3847 NEW BEST:: SOT 8288761 SOS 1472714 HAS SOPS 1472714 HAS SOUS 1177156 HAS SOUPS 1177156 WITH SCORE 1178628.714
AT ITER 3864 NEW BEST:: SOT 8288564 SOS 1472320 HAS SOPS 1472320 HAS SOUS 1176762 HAS SOUPS 1176762 WITH SCORE 1178234.32
AT ITER 3891 NEW BEST:: SOT 8288564 SOS 1472320 HAS SOPS 1472320 HAS SOUS 1176757 HAS SOUPS 1176757 WITH SCORE 1178229.32
AT ITER 3930 NEW BEST:: SOT 8288524 SOS 1472240 HAS SOPS 1472240 HAS SOUS 1176717 HAS SOUPS 1176717 WITH SCORE 1178189.24
AT ITER 3934 NEW BEST:: SOT 8288316 SOS 1471288 HAS SOPS 1471288 HAS SOUS 1176260 HAS SOUPS 1176260 WITH SCORE 1177731.288
AT ITER 3975 NEW BEST:: SOT 8288098 SOS 1471250 HAS SOPS 1471250 HAS SOUS 1175971 HAS SOUPS 1175971 WITH SCORE 1177442.25
AT ITER 3977 NEW BEST:: SOT 8288126 SOS 1471234 HAS SOPS 1471234 HAS SOUS 1175955 HAS SOUPS 1175955 WITH SCORE 1177426.234
AT ITER 3982 NEW BEST:: SOT 8288125 SOS 1470888 HAS SOPS 1470888 HAS SOUS 1175953 HAS SOUPS 1175953 WITH SCORE 1177423.888
AT ITER 3988 NEW BEST:: SOT 8288076 SOS 1470692 HAS SOPS 1470692 HAS SOUS 1175855 HAS SOUPS 1175855 WITH SCORE 1177325.692
AT ITER 3990 NEW BEST:: SOT 8288345 SOS 1470659 HAS SOPS 1470659 HAS SOUS 1175659 HAS SOUPS 1175659 WITH SCORE 1177129.659
AT ITER 4003 NEW BEST:: SOT 8288397 SOS 1470482 HAS SOPS 1470482 HAS SOUS 1175482 HAS SOUPS 1175482 WITH SCORE 1176952.482
AT ITER 4014 NEW BEST:: SOT 8288209 SOS 1470388 HAS SOPS 1470388 HAS SOUS 1175385 HAS SOUPS 1175385 WITH SCORE 1176855.388
AT ITER 4017 NEW BEST:: SOT 8288177 SOS 1470324 HAS SOPS 1470324 HAS SOUS 1175353 HAS SOUPS 1175353 WITH SCORE 1176823.324
AT ITER 4018 NEW BEST:: SOT 8280446 SOS 1553344 HAS SOPS 1553344 HAS SOUS 1171322 HAS SOUPS 1171322 WITH SCORE 1172875.344
AT ITER 4033 NEW BEST:: SOT 8280444 SOS 1553340 HAS SOPS 1553340 HAS SOUS 1171318 HAS SOUPS 1171318 WITH SCORE 1172871.34
AT ITER 4034 NEW BEST:: SOT 8278770 SOS 1551945 HAS SOPS 1551945 HAS SOUS 1169923 HAS SOUPS 1169923 WITH SCORE 1171474.945
AT ITER 4039 NEW BEST:: SOT 8278750 SOS 1551905 HAS SOPS 1551905 HAS SOUS 1169893 HAS SOUPS 1169893 WITH SCORE 1171444.905
AT ITER 4044 NEW BEST:: SOT 8278753 SOS 1551663 HAS SOPS 1551663 HAS SOUS 1169772 HAS SOUPS 1169772 WITH SCORE 1171323.663
AT ITER 4045 NEW BEST:: SOT 8278870 SOS 1551228 HAS SOPS 1551228 HAS SOUS 1169499 HAS SOUPS 1169499 WITH SCORE 1171050.228
AT ITER 4061 NEW BEST:: SOT 8278812 SOS 1551141 HAS SOPS 1551141 HAS SOUS 1169441 HAS SOUPS 1169441 WITH SCORE 1170992.141
AT ITER 4096 NEW BEST:: SOT 8278598 SOS 1551163 HAS SOPS 1551163 HAS SOUS 1168962 HAS SOUPS 1168962 WITH SCORE 1170513.163
AT ITER 4133 NEW BEST:: SOT 8278534 SOS 1550777 HAS SOPS 1550777 HAS SOUS 1168834 HAS SOUPS 1168834 WITH SCORE 1170384.777
AT ITER 4134 NEW BEST:: SOT 8278388 SOS 1550485 HAS SOPS 1550485 HAS SOUS 1168685 HAS SOUPS 1168685 WITH SCORE 1170235.485
AT ITER 4141 NEW BEST:: SOT 8278388 SOS 1550485 HAS SOPS 1550485 HAS SOUS 1168684 HAS SOUPS 1168684 WITH SCORE 1170234.485
AT ITER 4165 NEW BEST:: SOT 8278332 SOS 1550373 HAS SOPS 1550373 HAS SOUS 1168628 HAS SOUPS 1168628 WITH SCORE 1170178.373
AT ITER 4196 NEW BEST:: SOT 8278072 SOS 1550433 HAS SOPS 1550433 HAS SOUS 1168455 HAS SOUPS 1168455 WITH SCORE 1170005.433
AT ITER 4232 NEW BEST:: SOT 8278072 SOS 1550327 HAS SOPS 1550327 HAS SOUS 1168455 HAS SOUPS 1168455 WITH SCORE 1170005.327
AT ITER 4238 NEW BEST:: SOT 8277964 SOS 1550111 HAS SOPS 1550111 HAS SOUS 1168239 HAS SOUPS 1168239 WITH SCORE 1169789.111
AT ITER 4264 NEW BEST:: SOT 8277964 SOS 1550109 HAS SOPS 1550109 HAS SOUS 1168239 HAS SOUPS 1168239 WITH SCORE 1169789.109
AT ITER 4271 NEW BEST:: SOT 8278071 SOS 1549768 HAS SOPS 1549768 HAS SOUS 1168213 HAS SOUPS 1168213 WITH SCORE 1169762.768
AT ITER 4279 NEW BEST:: SOT 8278015 SOS 1549818 HAS SOPS 1549818 HAS SOUS 1168101 HAS SOUPS 1168101 WITH SCORE 1169650.818
AT ITER 4318 NEW BEST:: SOT 8278004 SOS 1549796 HAS SOPS 1549796 HAS SOUS 1168090 HAS SOUPS 1168090 WITH SCORE 1169639.796
AT ITER 4335 NEW BEST:: SOT 8278004 SOS 1549796 HAS SOPS 1549796 HAS SOUS 1168089 HAS SOUPS 1168089 WITH SCORE 1169638.796
AT ITER 4338 NEW BEST:: SOT 8278004 SOS 1549565 HAS SOPS 1549565 HAS SOUS 1168089 HAS SOUPS 1168089 WITH SCORE 1169638.565
AT ITER 4340 NEW BEST:: SOT 8277750 SOS 1543850 HAS SOPS 1543850 HAS SOUS 1167708 HAS SOUPS 1167708 WITH SCORE 1169251.85
AT ITER 4390 NEW BEST:: SOT 8277391 SOS 1536701 HAS SOPS 1536701 HAS SOUS 1166990 HAS SOUPS 1166990 WITH SCORE 1168526.701
AT ITER 4406 NEW BEST:: SOT 8277329 SOS 1536401 HAS SOPS 1536401 HAS SOUS 1166893 HAS SOUPS 1166893 WITH SCORE 1168429.401
AT ITER 4414 NEW BEST:: SOT 8277395 SOS 1536533 HAS SOPS 1536533 HAS SOUS 1166637 HAS SOUPS 1166637 WITH SCORE 1168173.533
AT ITER 4416 NEW BEST:: SOT 8277292 SOS 1537785 HAS SOPS 1537785 HAS SOUS 1166571 HAS SOUPS 1166571 WITH SCORE 1168108.785
AT ITER 4438 NEW BEST:: SOT 8277196 SOS 1537593 HAS SOPS 1537593 HAS SOUS 1166475 HAS SOUPS 1166475 WITH SCORE 1168012.593
AT ITER 4461 NEW BEST:: SOT 8276935 SOS 1537332 HAS SOPS 1537332 HAS SOUS 1166214 HAS SOUPS 1166214 WITH SCORE 1167751.332
AT ITER 4464 NEW BEST:: SOT 8276227 SOS 1536259 HAS SOPS 1536259 HAS SOUS 1165367 HAS SOUPS 1165367 WITH SCORE 1166903.259
AT ITER 4476 NEW BEST:: SOT 8275863 SOS 1535895 HAS SOPS 1535895 HAS SOUS 1165003 HAS SOUPS 1165003 WITH SCORE 1166538.895
AT ITER 4508 NEW BEST:: SOT 8275450 SOS 1535069 HAS SOPS 1535069 HAS SOUS 1164841 HAS SOUPS 1164841 WITH SCORE 1166376.069
AT ITER 4512 NEW BEST:: SOT 8275190 SOS 1534549 HAS SOPS 1534549 HAS SOUS 1164321 HAS SOUPS 1164321 WITH SCORE 1165855.549
AT ITER 4524 NEW BEST:: SOT 8275190 SOS 1534446 HAS SOPS 1534446 HAS SOUS 1164218 HAS SOUPS 1164218 WITH SCORE 1165752.446
AT ITER 4527 NEW BEST:: SOT 8275189 SOS 1534194 HAS SOPS 1534194 HAS SOUS 1164136 HAS SOUPS 1164136 WITH SCORE 1165670.194
AT ITER 4547 NEW BEST:: SOT 8274701 SOS 1504553 HAS SOPS 1504553 HAS SOUS 1163648 HAS SOUPS 1163648 WITH SCORE 1165152.553
AT ITER 4570 NEW BEST:: SOT 8274595 SOS 1504180 HAS SOPS 1504180 HAS SOUS 1163381 HAS SOUPS 1163381 WITH SCORE 1164885.18
AT ITER 4579 NEW BEST:: SOT 8274595 SOS 1504125 HAS SOPS 1504125 HAS SOUS 1163378 HAS SOUPS 1163378 WITH SCORE 1164882.125
AT ITER 4607 NEW BEST:: SOT 8274595 SOS 1504006 HAS SOPS 1504006 HAS SOUS 1163259 HAS SOUPS 1163259 WITH SCORE 1164763.006
AT ITER 4616 NEW BEST:: SOT 8274252 SOS 1503320 HAS SOPS 1503320 HAS SOUS 1162573 HAS SOUPS 1162573 WITH SCORE 1164076.32
AT ITER 4644 NEW BEST:: SOT 8274234 SOS 1503284 HAS SOPS 1503284 HAS SOUS 1162555 HAS SOUPS 1162555 WITH SCORE 1164058.284
AT ITER 4658 NEW BEST:: SOT 8274360 SOS 1503536 HAS SOPS 1503536 HAS SOUS 1162477 HAS SOUPS 1162477 WITH SCORE 1163980.536
AT ITER 4691 NEW BEST:: SOT 8274283 SOS 1503382 HAS SOPS 1503382 HAS SOUS 1162323 HAS SOUPS 1162323 WITH SCORE 1163826.382
AT ITER 4712 NEW BEST:: SOT 8273886 SOS 1503302 HAS SOPS 1503302 HAS SOUS 1162228 HAS SOUPS 1162228 WITH SCORE 1163731.302
AT ITER 4722 NEW BEST:: SOT 8273033 SOS 1502758 HAS SOPS 1502758 HAS SOUS 1161483 HAS SOUPS 1161483 WITH SCORE 1162985.758
AT ITER 4745 NEW BEST:: SOT 8273223 SOS 1502579 HAS SOPS 1502579 HAS SOUS 1161193 HAS SOUPS 1161193 WITH SCORE 1162695.579
AT ITER 4749 NEW BEST:: SOT 8273144 SOS 1502421 HAS SOPS 1502421 HAS SOUS 1161114 HAS SOUPS 1161114 WITH SCORE 1162616.421
AT ITER 4753 NEW BEST:: SOT 8273144 SOS 1502022 HAS SOPS 1502022 HAS SOUS 1161114 HAS SOUPS 1161114 WITH SCORE 1162616.022
AT ITER 4760 NEW BEST:: SOT 8272961 SOS 1502577 HAS SOPS 1502577 HAS SOUS 1160931 HAS SOUPS 1160931 WITH SCORE 1162433.577
AT ITER 4782 NEW BEST:: SOT 8272522 SOS 1501699 HAS SOPS 1501699 HAS SOUS 1160492 HAS SOUPS 1160492 WITH SCORE 1161993.699
AT ITER 4790 NEW BEST:: SOT 8272623 SOS 1501510 HAS SOPS 1501510 HAS SOUS 1160303 HAS SOUPS 1160303 WITH SCORE 1161804.51
AT ITER 4808 NEW BEST:: SOT 8272623 SOS 1501247 HAS SOPS 1501247 HAS SOUS 1160303 HAS SOUPS 1160303 WITH SCORE 1161804.247
AT ITER 4832 NEW BEST:: SOT 8272623 SOS 1501247 HAS SOPS 1501247 HAS SOUS 1160302 HAS SOUPS 1160302 WITH SCORE 1161803.247
AT ITER 4834 NEW BEST:: SOT 8272548 SOS 1501097 HAS SOPS 1501097 HAS SOUS 1160243 HAS SOUPS 1160243 WITH SCORE 1161744.097
AT ITER 4848 NEW BEST:: SOT 8272369 SOS 1500918 HAS SOPS 1500918 HAS SOUS 1160211 HAS SOUPS 1160211 WITH SCORE 1161711.918
AT ITER 4884 NEW BEST:: SOT 8272135 SOS 1500947 HAS SOPS 1500947 HAS SOUS 1160026 HAS SOUPS 1160026 WITH SCORE 1161526.947
AT ITER 4891 NEW BEST:: SOT 8272115 SOS 1500907 HAS SOPS 1500907 HAS SOUS 1159986 HAS SOUPS 1159986 WITH SCORE 1161486.907
AT ITER 4918 NEW BEST:: SOT 8271829 SOS 1500907 HAS SOPS 1500907 HAS SOUS 1159843 HAS SOUPS 1159843 WITH SCORE 1161343.907
AT ITER 4926 NEW BEST:: SOT 8271704 SOS 1500657 HAS SOPS 1500657 HAS SOUS 1159593 HAS SOUPS 1159593 WITH SCORE 1161093.657
AT ITER 4938 NEW BEST:: SOT 8271574 SOS 1500462 HAS SOPS 1500462 HAS SOUS 1159398 HAS SOUPS 1159398 WITH SCORE 1160898.462
AT ITER 4960 NEW BEST:: SOT 8271697 SOS 1501265 HAS SOPS 1501265 HAS SOUS 1159389 HAS SOUPS 1159389 WITH SCORE 1160890.265
Bounds file is: CTLFireability.xml
PROPERTY: CloudReconfiguration-PT-401-CTLFireability-00 (AF( ((potential((tk(P2593)>=1))))))
PROPERTY: CloudReconfiguration-PT-401-CTLFireability-01 ( (EF( ( (EX( ((potential((tk(P825)>=1)))))) | ( (! ((potential((tk(P1836)>=1))))) & ( ((potential((tk(P2643)>=1)))) | ((potential((tk(P2481)>=1)))) ) ) ))) | (AG( ( (AX( ((potential((tk(P3289)>=1)))))) & (EG( ((potential((tk(P2928)>=1)))))) ))) )
PROPERTY: CloudReconfiguration-PT-401-CTLFireability-02 (AG( ( (EF( ((potential((tk(P41)>=1)))))) & ( (EF( ((potential((tk(P358)>=1)))))) | ( (! ((potential((tk(P2008)>=1))))) | ((potential((tk(P873)>=1) & (tk(P2691)>=1)))) ) ) )))
PROPERTY: CloudReconfiguration-PT-401-CTLFireability-03 ( ( (AX( (EG( ((potential((tk(P3221)>=1)))))))) & ( ( ( ( ((potential((tk(P2375)>=1)))) & ((potential((tk(P3408)>=1)))) ) & ( ((potential((tk(P923)>=1)))) & ((potential((tk(P3448)>=1)))) ) ) & ((potential((tk(P2904)>=1)))) ) | ( (AF( ((potential((tk(P189)>=1)))))) | ( ((potential((tk(P2405)>=1)))) | (! ((potential((tk(P812)>=1))))) ) ) ) ) | ( (AX( ( ( ((potential((tk(P802)>=1)))) | ((potential((tk(P3522)>=1)))) ) & ( ((potential((tk(P541)>=1)))) | ((potential((tk(P1815)>=1)))) ) ))) | (EX( (AF( ((potential((tk(P873)>=1) & (tk(P3397)>=1)))))))) ) )
PROPERTY: CloudReconfiguration-PT-401-CTLFireability-04 (AF( ( (AU( ((potential((tk(P882)>=1)))) , ((potential((tk(P1847)>=1)))) )) & ((potential((tk(P2384)>=1)))) )))
PROPERTY: CloudReconfiguration-PT-401-CTLFireability-05 ( ( ( ( ( ( ((potential((tk(P1451)>=1)))) & ((potential((tk(P690)>=1)))) ) & ((potential((tk(P106)>=1)))) ) & ( ((potential((tk(P3040)>=1)))) & ( ((potential((tk(P2561)>=1)))) & ((potential((tk(P336)>=1)))) ) ) ) & (EF( ( ((potential((tk(P812)>=1)))) & ((potential((tk(P873)>=1) & (tk(P2563)>=1)))) ))) ) & ((potential((tk(P3054)>=1)))) ) | (EG( (! ( ((potential((tk(P2880)>=1)))) & ( ((potential((tk(P3377)>=1)))) | ((potential((tk(P1608)>=1)))) ) )))) )
PROPERTY: CloudReconfiguration-PT-401-CTLFireability-06 (EF( (AU( ( ((potential((tk(P150)>=1)))) | ((potential((tk(P2762)>=1)))) ) , ( ((potential((tk(P136)>=1)))) | ((potential((tk(P2840)>=1)))) ) ))))
PROPERTY: CloudReconfiguration-PT-401-CTLFireability-07 (! ( (AF( ((potential((tk(P2042)>=1)))))) | (EX( ((potential((tk(P1932)>=1)))))) ))
PROPERTY: CloudReconfiguration-PT-401-CTLFireability-08 (AF( ( (AX( ( ((potential((tk(P3029)>=1)))) & ((potential((tk(P2046)>=1)))) ))) & (EX( (! ((potential((tk(P1986)>=1))))))) )))
PROPERTY: CloudReconfiguration-PT-401-CTLFireability-09 ( (! (EF( (EF( ((potential((tk(P269)>=1))))))))) | (AG( (! ( ((potential((tk(P1062)>=1)))) | ((potential((tk(P1294)>=1)))) )))) )
PROPERTY: CloudReconfiguration-PT-401-CTLFireability-10 (EG( (AU( (! ((potential((tk(P371)>=1))))) , ( ((potential((tk(P415)>=1)))) & ((potential((tk(P2102)>=1)))) ) ))))
PROPERTY: CloudReconfiguration-PT-401-CTLFireability-11 ( (EX( ((potential((tk(P2544)>=1)))))) | (AG( (EF( ( ((potential((tk(P242)>=1)))) & ((potential((tk(P1253)>=1)))) ))))) )
PROPERTY: CloudReconfiguration-PT-401-CTLFireability-12 (EX( (AF( ((potential((tk(P1262)>=1))))))))
PROPERTY: CloudReconfiguration-PT-401-CTLFireability-13 ( (! ( ( (EF( ((potential((tk(P648)>=1)))))) | (! ( ((potential((tk(P812)>=1)))) & ((potential((tk(P2900)>=1)))) )) ) & ( (! ((potential((tk(P148)>=1))))) & ( (! ((potential((tk(P79)>=1))))) & ( ((potential((tk(P412)>=1)))) | ((potential((tk(P873)>=1) & (tk(P2563)>=1)))) ) ) ) )) & (AF( ((potential((tk(P1839)>=1)))))) )
PROPERTY: CloudReconfiguration-PT-401-CTLFireability-14 ( (! (AU( (! ((potential((tk(P449)>=1))))) , ( ((potential((tk(P2947)>=1)))) | ((potential((tk(P1770)>=1)))) ) ))) | ( (AF( (! ( ((potential((tk(P2410)>=1)))) | ((potential((tk(P2967)>=1)))) )))) & ((potential((tk(P1078)>=1)))) ) )
PROPERTY: CloudReconfiguration-PT-401-CTLFireability-15 (AG( (EG( (EF( ((potential((tk(P163)>=1))))))))))

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-401"
export BK_EXAMINATION="CTLFireability"
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-401, examination is CTLFireability"
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-158902541800164"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/CloudReconfiguration-PT-401.tgz
mv CloudReconfiguration-PT-401 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;