About the Execution of smart for CloudReconfiguration-PT-402
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15763.850 | 3600000.00 | 3600040.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-158902541800172.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 CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902541800172
=====================================================================
--------------------
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-CTLFireability-00
FORMULA_NAME CloudReconfiguration-PT-402-CTLFireability-01
FORMULA_NAME CloudReconfiguration-PT-402-CTLFireability-02
FORMULA_NAME CloudReconfiguration-PT-402-CTLFireability-03
FORMULA_NAME CloudReconfiguration-PT-402-CTLFireability-04
FORMULA_NAME CloudReconfiguration-PT-402-CTLFireability-05
FORMULA_NAME CloudReconfiguration-PT-402-CTLFireability-06
FORMULA_NAME CloudReconfiguration-PT-402-CTLFireability-07
FORMULA_NAME CloudReconfiguration-PT-402-CTLFireability-08
FORMULA_NAME CloudReconfiguration-PT-402-CTLFireability-09
FORMULA_NAME CloudReconfiguration-PT-402-CTLFireability-10
FORMULA_NAME CloudReconfiguration-PT-402-CTLFireability-11
FORMULA_NAME CloudReconfiguration-PT-402-CTLFireability-12
FORMULA_NAME CloudReconfiguration-PT-402-CTLFireability-13
FORMULA_NAME CloudReconfiguration-PT-402-CTLFireability-14
FORMULA_NAME CloudReconfiguration-PT-402-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589102789211
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 402
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 8368586 SOS 1372003 HAS SOPS 1372003 HAS SOUS 1266370 HAS SOUPS 1266370 WITH SCORE 1267742.003
AT ITER 2 NEW BEST:: SOT 8362133 SOS 1398662 HAS SOPS 1398662 HAS SOUS 1261126 HAS SOUPS 1261126 WITH SCORE 1262524.662
AT ITER 8 NEW BEST:: SOT 8344371 SOS 1409464 HAS SOPS 1409464 HAS SOUS 1244957 HAS SOUPS 1244957 WITH SCORE 1246366.464
AT ITER 21 NEW BEST:: SOT 8344370 SOS 1409462 HAS SOPS 1409462 HAS SOUS 1244955 HAS SOUPS 1244955 WITH SCORE 1246364.462
AT ITER 30 NEW BEST:: SOT 8344224 SOS 1409316 HAS SOPS 1409316 HAS SOUS 1244809 HAS SOUPS 1244809 WITH SCORE 1246218.316
AT ITER 33 NEW BEST:: SOT 8335016 SOS 1455239 HAS SOPS 1455239 HAS SOUS 1238719 HAS SOUPS 1238719 WITH SCORE 1240174.239
AT ITER 64 NEW BEST:: SOT 8334824 SOS 1455047 HAS SOPS 1455047 HAS SOUS 1238527 HAS SOUPS 1238527 WITH SCORE 1239982.047
AT ITER 130 NEW BEST:: SOT 8334537 SOS 1454473 HAS SOPS 1454473 HAS SOUS 1238240 HAS SOUPS 1238240 WITH SCORE 1239694.473
AT ITER 137 NEW BEST:: SOT 8334465 SOS 1454329 HAS SOPS 1454329 HAS SOUS 1238096 HAS SOUPS 1238096 WITH SCORE 1239550.329
AT ITER 154 NEW BEST:: SOT 8334459 SOS 1455181 HAS SOPS 1455181 HAS SOUS 1238090 HAS SOUPS 1238090 WITH SCORE 1239545.181
AT ITER 166 NEW BEST:: SOT 8334395 SOS 1455179 HAS SOPS 1455179 HAS SOUS 1238058 HAS SOUPS 1238058 WITH SCORE 1239513.179
AT ITER 167 NEW BEST:: SOT 8334053 SOS 1454495 HAS SOPS 1454495 HAS SOUS 1237374 HAS SOUPS 1237374 WITH SCORE 1238828.495
AT ITER 197 NEW BEST:: SOT 8333859 SOS 1454301 HAS SOPS 1454301 HAS SOUS 1237180 HAS SOUPS 1237180 WITH SCORE 1238634.301
AT ITER 221 NEW BEST:: SOT 8333942 SOS 1454467 HAS SOPS 1454467 HAS SOUS 1237162 HAS SOUPS 1237162 WITH SCORE 1238616.467
AT ITER 235 NEW BEST:: SOT 8333878 SOS 1454339 HAS SOPS 1454339 HAS SOUS 1237034 HAS SOUPS 1237034 WITH SCORE 1238488.339
AT ITER 246 NEW BEST:: SOT 8333704 SOS 1453817 HAS SOPS 1453817 HAS SOUS 1236686 HAS SOUPS 1236686 WITH SCORE 1238139.817
AT ITER 272 NEW BEST:: SOT 8333704 SOS 1453724 HAS SOPS 1453724 HAS SOUS 1236686 HAS SOUPS 1236686 WITH SCORE 1238139.724
AT ITER 279 NEW BEST:: SOT 8329933 SOS 1449954 HAS SOPS 1449954 HAS SOUS 1232916 HAS SOUPS 1232916 WITH SCORE 1234365.954
AT ITER 293 NEW BEST:: SOT 8329675 SOS 1449801 HAS SOPS 1449801 HAS SOUS 1232763 HAS SOUPS 1232763 WITH SCORE 1234212.801
AT ITER 312 NEW BEST:: SOT 8329877 SOS 1450205 HAS SOPS 1450205 HAS SOUS 1232660 HAS SOUPS 1232660 WITH SCORE 1234110.205
AT ITER 337 NEW BEST:: SOT 8329986 SOS 1449619 HAS SOPS 1449619 HAS SOUS 1232421 HAS SOUPS 1232421 WITH SCORE 1233870.619
AT ITER 344 NEW BEST:: SOT 8329986 SOS 1449607 HAS SOPS 1449607 HAS SOUS 1232409 HAS SOUPS 1232409 WITH SCORE 1233858.607
AT ITER 359 NEW BEST:: SOT 8329896 SOS 1449427 HAS SOPS 1449427 HAS SOUS 1232319 HAS SOUPS 1232319 WITH SCORE 1233768.427
AT ITER 371 NEW BEST:: SOT 8329722 SOS 1449079 HAS SOPS 1449079 HAS SOUS 1231794 HAS SOUPS 1231794 WITH SCORE 1233243.079
AT ITER 377 NEW BEST:: SOT 8329722 SOS 1448379 HAS SOPS 1448379 HAS SOUS 1231444 HAS SOUPS 1231444 WITH SCORE 1232892.379
AT ITER 378 NEW BEST:: SOT 8329722 SOS 1448215 HAS SOPS 1448215 HAS SOUS 1231140 HAS SOUPS 1231140 WITH SCORE 1232588.215
AT ITER 427 NEW BEST:: SOT 8329497 SOS 1447765 HAS SOPS 1447765 HAS SOUS 1230914 HAS SOUPS 1230914 WITH SCORE 1232361.765
AT ITER 435 NEW BEST:: SOT 8329039 SOS 1446849 HAS SOPS 1446849 HAS SOUS 1230456 HAS SOUPS 1230456 WITH SCORE 1231902.849
AT ITER 452 NEW BEST:: SOT 8328717 SOS 1446205 HAS SOPS 1446205 HAS SOUS 1230417 HAS SOUPS 1230417 WITH SCORE 1231863.205
AT ITER 479 NEW BEST:: SOT 8328863 SOS 1446497 HAS SOPS 1446497 HAS SOUS 1230102 HAS SOUPS 1230102 WITH SCORE 1231548.497
AT ITER 480 NEW BEST:: SOT 8328730 SOS 1446497 HAS SOPS 1446497 HAS SOUS 1230101 HAS SOUPS 1230101 WITH SCORE 1231547.497
AT ITER 517 NEW BEST:: SOT 8328730 SOS 1445971 HAS SOPS 1445971 HAS SOUS 1230100 HAS SOUPS 1230100 WITH SCORE 1231545.971
AT ITER 536 NEW BEST:: SOT 8328487 SOS 1445074 HAS SOPS 1445074 HAS SOUS 1229857 HAS SOUPS 1229857 WITH SCORE 1231302.074
AT ITER 542 NEW BEST:: SOT 8328620 SOS 1444808 HAS SOPS 1444808 HAS SOUS 1229857 HAS SOUPS 1229857 WITH SCORE 1231301.808
AT ITER 548 NEW BEST:: SOT 8328619 SOS 1444806 HAS SOPS 1444806 HAS SOUS 1229855 HAS SOUPS 1229855 WITH SCORE 1231299.806
AT ITER 549 NEW BEST:: SOT 8328531 SOS 1444718 HAS SOPS 1444718 HAS SOUS 1229767 HAS SOUPS 1229767 WITH SCORE 1231211.718
AT ITER 581 NEW BEST:: SOT 8328531 SOS 1444593 HAS SOPS 1444593 HAS SOUS 1229642 HAS SOUPS 1229642 WITH SCORE 1231086.593
AT ITER 585 NEW BEST:: SOT 8328531 SOS 1444455 HAS SOPS 1444455 HAS SOUS 1229642 HAS SOUPS 1229642 WITH SCORE 1231086.455
AT ITER 602 NEW BEST:: SOT 8328406 SOS 1444205 HAS SOPS 1444205 HAS SOUS 1229392 HAS SOUPS 1229392 WITH SCORE 1230836.205
AT ITER 663 NEW BEST:: SOT 8328484 SOS 1444361 HAS SOPS 1444361 HAS SOUS 1229242 HAS SOUPS 1229242 WITH SCORE 1230686.361
AT ITER 691 NEW BEST:: SOT 8328484 SOS 1444186 HAS SOPS 1444186 HAS SOUS 1229242 HAS SOUPS 1229242 WITH SCORE 1230686.186
AT ITER 740 NEW BEST:: SOT 8328096 SOS 1443410 HAS SOPS 1443410 HAS SOUS 1228466 HAS SOUPS 1228466 WITH SCORE 1229909.41
AT ITER 743 NEW BEST:: SOT 8327927 SOS 1443072 HAS SOPS 1443072 HAS SOUS 1228128 HAS SOUPS 1228128 WITH SCORE 1229571.072
AT ITER 755 NEW BEST:: SOT 8326747 SOS 1443252 HAS SOPS 1443252 HAS SOUS 1226818 HAS SOUPS 1226818 WITH SCORE 1228261.252
AT ITER 763 NEW BEST:: SOT 8326906 SOS 1443014 HAS SOPS 1443014 HAS SOUS 1226655 HAS SOUPS 1226655 WITH SCORE 1228098.014
AT ITER 766 NEW BEST:: SOT 8326906 SOS 1443014 HAS SOPS 1443014 HAS SOUS 1226647 HAS SOUPS 1226647 WITH SCORE 1228090.014
AT ITER 803 NEW BEST:: SOT 8326392 SOS 1441986 HAS SOPS 1441986 HAS SOUS 1225619 HAS SOUPS 1225619 WITH SCORE 1227060.986
AT ITER 827 NEW BEST:: SOT 8326664 SOS 1441632 HAS SOPS 1441632 HAS SOUS 1225442 HAS SOUPS 1225442 WITH SCORE 1226883.632
AT ITER 859 NEW BEST:: SOT 8326664 SOS 1441568 HAS SOPS 1441568 HAS SOUS 1225442 HAS SOUPS 1225442 WITH SCORE 1226883.568
AT ITER 864 NEW BEST:: SOT 8326597 SOS 1441434 HAS SOPS 1441434 HAS SOUS 1225308 HAS SOUPS 1225308 WITH SCORE 1226749.434
AT ITER 873 NEW BEST:: SOT 8326542 SOS 1441324 HAS SOPS 1441324 HAS SOUS 1224902 HAS SOUPS 1224902 WITH SCORE 1226343.324
AT ITER 906 NEW BEST:: SOT 8326542 SOS 1441219 HAS SOPS 1441219 HAS SOUS 1224902 HAS SOUPS 1224902 WITH SCORE 1226343.219
AT ITER 924 NEW BEST:: SOT 8321693 SOS 1436495 HAS SOPS 1436495 HAS SOUS 1220184 HAS SOUPS 1220184 WITH SCORE 1221620.495
AT ITER 925 NEW BEST:: SOT 8321417 SOS 1436519 HAS SOPS 1436519 HAS SOUS 1220011 HAS SOUPS 1220011 WITH SCORE 1221447.519
AT ITER 938 NEW BEST:: SOT 8321431 SOS 1436547 HAS SOPS 1436547 HAS SOUS 1219923 HAS SOUPS 1219923 WITH SCORE 1221359.547
AT ITER 940 NEW BEST:: SOT 8321299 SOS 1436623 HAS SOPS 1436623 HAS SOUS 1219791 HAS SOUPS 1219791 WITH SCORE 1221227.623
AT ITER 954 NEW BEST:: SOT 8321189 SOS 1436551 HAS SOPS 1436551 HAS SOUS 1219680 HAS SOUPS 1219680 WITH SCORE 1221116.551
AT ITER 990 NEW BEST:: SOT 8321189 SOS 1436440 HAS SOPS 1436440 HAS SOUS 1219680 HAS SOUPS 1219680 WITH SCORE 1221116.44
AT ITER 1045 NEW BEST:: SOT 8321121 SOS 1436304 HAS SOPS 1436304 HAS SOUS 1219544 HAS SOUPS 1219544 WITH SCORE 1220980.304
AT ITER 1056 NEW BEST:: SOT 8321009 SOS 1436192 HAS SOPS 1436192 HAS SOUS 1219432 HAS SOUPS 1219432 WITH SCORE 1220868.192
AT ITER 1059 NEW BEST:: SOT 8320886 SOS 1436212 HAS SOPS 1436212 HAS SOUS 1219381 HAS SOUPS 1219381 WITH SCORE 1220817.212
AT ITER 1075 NEW BEST:: SOT 8320905 SOS 1436250 HAS SOPS 1436250 HAS SOUS 1219375 HAS SOUPS 1219375 WITH SCORE 1220811.25
AT ITER 1116 NEW BEST:: SOT 8320156 SOS 1435244 HAS SOPS 1435244 HAS SOUS 1218162 HAS SOUPS 1218162 WITH SCORE 1219597.244
AT ITER 1127 NEW BEST:: SOT 8320238 SOS 1435064 HAS SOPS 1435064 HAS SOUS 1217982 HAS SOUPS 1217982 WITH SCORE 1219417.064
AT ITER 1151 NEW BEST:: SOT 8320082 SOS 1435120 HAS SOPS 1435120 HAS SOUS 1217915 HAS SOUPS 1217915 WITH SCORE 1219350.12
AT ITER 1164 NEW BEST:: SOT 8319974 SOS 1434904 HAS SOPS 1434904 HAS SOUS 1217699 HAS SOUPS 1217699 WITH SCORE 1219133.904
AT ITER 1176 NEW BEST:: SOT 8319974 SOS 1434380 HAS SOPS 1434380 HAS SOUS 1217437 HAS SOUPS 1217437 WITH SCORE 1218871.38
AT ITER 1181 NEW BEST:: SOT 8319887 SOS 1434293 HAS SOPS 1434293 HAS SOUS 1217437 HAS SOUPS 1217437 WITH SCORE 1218871.293
AT ITER 1243 NEW BEST:: SOT 8319663 SOS 1434103 HAS SOPS 1434103 HAS SOUS 1217247 HAS SOUPS 1217247 WITH SCORE 1218681.103
AT ITER 1288 NEW BEST:: SOT 8317453 SOS 1433456 HAS SOPS 1433456 HAS SOUS 1215375 HAS SOUPS 1215375 WITH SCORE 1216808.456
AT ITER 1325 NEW BEST:: SOT 8317453 SOS 1433456 HAS SOPS 1433456 HAS SOUS 1215372 HAS SOUPS 1215372 WITH SCORE 1216805.456
AT ITER 1337 NEW BEST:: SOT 8317441 SOS 1433432 HAS SOPS 1433432 HAS SOUS 1215348 HAS SOUPS 1215348 WITH SCORE 1216781.432
AT ITER 1345 NEW BEST:: SOT 8317187 SOS 1433178 HAS SOPS 1433178 HAS SOUS 1215094 HAS SOUPS 1215094 WITH SCORE 1216527.178
AT ITER 1346 NEW BEST:: SOT 8316827 SOS 1432834 HAS SOPS 1432834 HAS SOUS 1214734 HAS SOUPS 1214734 WITH SCORE 1216166.834
AT ITER 1349 NEW BEST:: SOT 8316759 SOS 1432834 HAS SOPS 1432834 HAS SOUS 1214700 HAS SOUPS 1214700 WITH SCORE 1216132.834
AT ITER 1396 NEW BEST:: SOT 8316759 SOS 1432750 HAS SOPS 1432750 HAS SOUS 1214616 HAS SOUPS 1214616 WITH SCORE 1216048.75
AT ITER 1407 NEW BEST:: SOT 8316984 SOS 1432650 HAS SOPS 1432650 HAS SOUS 1214517 HAS SOUPS 1214517 WITH SCORE 1215949.65
AT ITER 1453 NEW BEST:: SOT 8316984 SOS 1432650 HAS SOPS 1432650 HAS SOUS 1214516 HAS SOUPS 1214516 WITH SCORE 1215948.65
AT ITER 1466 NEW BEST:: SOT 8316984 SOS 1432650 HAS SOPS 1432650 HAS SOUS 1214429 HAS SOUPS 1214429 WITH SCORE 1215861.65
AT ITER 1467 NEW BEST:: SOT 8316539 SOS 1432041 HAS SOPS 1432041 HAS SOUS 1213703 HAS SOUPS 1213703 WITH SCORE 1215135.041
AT ITER 1473 NEW BEST:: SOT 8316571 SOS 1432105 HAS SOPS 1432105 HAS SOUS 1213395 HAS SOUPS 1213395 WITH SCORE 1214827.105
AT ITER 1479 NEW BEST:: SOT 8316570 SOS 1432103 HAS SOPS 1432103 HAS SOUS 1213393 HAS SOUPS 1213393 WITH SCORE 1214825.103
AT ITER 1491 NEW BEST:: SOT 8316570 SOS 1432103 HAS SOPS 1432103 HAS SOUS 1213239 HAS SOUPS 1213239 WITH SCORE 1214671.103
AT ITER 1500 NEW BEST:: SOT 8316400 SOS 1431933 HAS SOPS 1431933 HAS SOUS 1213069 HAS SOUPS 1213069 WITH SCORE 1214500.933
AT ITER 1585 NEW BEST:: SOT 8316400 SOS 1431854 HAS SOPS 1431854 HAS SOUS 1213069 HAS SOUPS 1213069 WITH SCORE 1214500.854
AT ITER 1594 NEW BEST:: SOT 8316198 SOS 1431450 HAS SOPS 1431450 HAS SOUS 1212665 HAS SOUPS 1212665 WITH SCORE 1214096.45
AT ITER 1627 NEW BEST:: SOT 8316082 SOS 1431218 HAS SOPS 1431218 HAS SOUS 1212651 HAS SOUPS 1212651 WITH SCORE 1214082.218
AT ITER 1635 NEW BEST:: SOT 8315909 SOS 1431045 HAS SOPS 1431045 HAS SOUS 1212478 HAS SOUPS 1212478 WITH SCORE 1213909.045
AT ITER 1647 NEW BEST:: SOT 8315701 SOS 1430629 HAS SOPS 1430629 HAS SOUS 1212062 HAS SOUPS 1212062 WITH SCORE 1213492.629
AT ITER 1663 NEW BEST:: SOT 8315312 SOS 1430111 HAS SOPS 1430111 HAS SOUS 1211544 HAS SOUPS 1211544 WITH SCORE 1212974.111
AT ITER 1668 NEW BEST:: SOT 8315131 SOS 1429524 HAS SOPS 1429524 HAS SOUS 1211138 HAS SOUPS 1211138 WITH SCORE 1212567.524
AT ITER 1684 NEW BEST:: SOT 8315034 SOS 1429441 HAS SOPS 1429441 HAS SOUS 1211047 HAS SOUPS 1211047 WITH SCORE 1212476.441
AT ITER 1713 NEW BEST:: SOT 8314042 SOS 1427961 HAS SOPS 1427961 HAS SOUS 1209560 HAS SOUPS 1209560 WITH SCORE 1210987.961
AT ITER 1759 NEW BEST:: SOT 8314220 SOS 1428317 HAS SOPS 1428317 HAS SOUS 1209509 HAS SOUPS 1209509 WITH SCORE 1210937.317
AT ITER 1777 NEW BEST:: SOT 8314051 SOS 1427979 HAS SOPS 1427979 HAS SOUS 1209171 HAS SOUPS 1209171 WITH SCORE 1210598.979
AT ITER 1787 NEW BEST:: SOT 8314051 SOS 1427505 HAS SOPS 1427505 HAS SOUS 1208934 HAS SOUPS 1208934 WITH SCORE 1210361.505
AT ITER 1802 NEW BEST:: SOT 8313989 SOS 1427465 HAS SOPS 1427465 HAS SOUS 1208893 HAS SOUPS 1208893 WITH SCORE 1210320.465
AT ITER 1811 NEW BEST:: SOT 8313989 SOS 1427415 HAS SOPS 1427415 HAS SOUS 1208893 HAS SOUPS 1208893 WITH SCORE 1210320.415
AT ITER 1836 NEW BEST:: SOT 8313511 SOS 1426937 HAS SOPS 1426937 HAS SOUS 1208415 HAS SOUPS 1208415 WITH SCORE 1209841.937
AT ITER 1838 NEW BEST:: SOT 8313458 SOS 1426831 HAS SOPS 1426831 HAS SOUS 1208309 HAS SOUPS 1208309 WITH SCORE 1209735.831
AT ITER 1851 NEW BEST:: SOT 8310192 SOS 1437943 HAS SOPS 1437943 HAS SOUS 1205845 HAS SOUPS 1205845 WITH SCORE 1207282.943
AT ITER 1862 NEW BEST:: SOT 8306289 SOS 1465465 HAS SOPS 1465465 HAS SOUS 1203539 HAS SOUPS 1203539 WITH SCORE 1205004.465
AT ITER 1880 NEW BEST:: SOT 8306288 SOS 1465463 HAS SOPS 1465463 HAS SOUS 1203537 HAS SOUPS 1203537 WITH SCORE 1205002.463
AT ITER 1903 NEW BEST:: SOT 8306258 SOS 1465918 HAS SOPS 1465918 HAS SOUS 1203234 HAS SOUPS 1203234 WITH SCORE 1204699.918
AT ITER 1916 NEW BEST:: SOT 8306020 SOS 1465564 HAS SOPS 1465564 HAS SOUS 1202874 HAS SOUPS 1202874 WITH SCORE 1204339.564
AT ITER 1930 NEW BEST:: SOT 8305584 SOS 1465142 HAS SOPS 1465142 HAS SOUS 1202294 HAS SOUPS 1202294 WITH SCORE 1203759.142
AT ITER 1937 NEW BEST:: SOT 8304796 SOS 1464192 HAS SOPS 1464192 HAS SOUS 1201270 HAS SOUPS 1201270 WITH SCORE 1202734.192
AT ITER 1944 NEW BEST:: SOT 8304718 SOS 1464036 HAS SOPS 1464036 HAS SOUS 1201114 HAS SOUPS 1201114 WITH SCORE 1202578.036
AT ITER 1946 NEW BEST:: SOT 8304372 SOS 1463344 HAS SOPS 1463344 HAS SOUS 1200422 HAS SOUPS 1200422 WITH SCORE 1201885.344
AT ITER 2003 NEW BEST:: SOT 8304307 SOS 1463214 HAS SOPS 1463214 HAS SOUS 1200292 HAS SOUPS 1200292 WITH SCORE 1201755.214
AT ITER 2004 NEW BEST:: SOT 8304307 SOS 1462681 HAS SOPS 1462681 HAS SOUS 1200292 HAS SOUPS 1200292 WITH SCORE 1201754.681
AT ITER 2008 NEW BEST:: SOT 8304335 SOS 1462450 HAS SOPS 1462450 HAS SOUS 1200189 HAS SOUPS 1200189 WITH SCORE 1201651.45
AT ITER 2013 NEW BEST:: SOT 8304334 SOS 1462448 HAS SOPS 1462448 HAS SOUS 1200187 HAS SOUPS 1200187 WITH SCORE 1201649.448
AT ITER 2033 NEW BEST:: SOT 8303629 SOS 1461743 HAS SOPS 1461743 HAS SOUS 1199482 HAS SOUPS 1199482 WITH SCORE 1200943.743
AT ITER 2043 NEW BEST:: SOT 8303591 SOS 1460927 HAS SOPS 1460927 HAS SOUS 1198913 HAS SOUPS 1198913 WITH SCORE 1200373.927
AT ITER 2114 NEW BEST:: SOT 8303591 SOS 1460812 HAS SOPS 1460812 HAS SOUS 1198798 HAS SOUPS 1198798 WITH SCORE 1200258.812
AT ITER 2135 NEW BEST:: SOT 8303591 SOS 1460442 HAS SOPS 1460442 HAS SOUS 1198797 HAS SOUPS 1198797 WITH SCORE 1200257.442
AT ITER 2190 NEW BEST:: SOT 8303315 SOS 1460243 HAS SOPS 1460243 HAS SOUS 1198521 HAS SOUPS 1198521 WITH SCORE 1199981.243
AT ITER 2191 NEW BEST:: SOT 8303103 SOS 1460031 HAS SOPS 1460031 HAS SOUS 1198309 HAS SOUPS 1198309 WITH SCORE 1199769.031
AT ITER 2217 NEW BEST:: SOT 8302897 SOS 1460279 HAS SOPS 1460279 HAS SOUS 1198268 HAS SOUPS 1198268 WITH SCORE 1199728.279
AT ITER 2251 NEW BEST:: SOT 8302897 SOS 1460130 HAS SOPS 1460130 HAS SOUS 1198268 HAS SOUPS 1198268 WITH SCORE 1199728.13
AT ITER 2273 NEW BEST:: SOT 8302831 SOS 1459998 HAS SOPS 1459998 HAS SOUS 1198136 HAS SOUPS 1198136 WITH SCORE 1199595.998
AT ITER 2317 NEW BEST:: SOT 8302391 SOS 1459602 HAS SOPS 1459602 HAS SOUS 1197714 HAS SOUPS 1197714 WITH SCORE 1199173.602
AT ITER 2380 NEW BEST:: SOT 8302214 SOS 1459248 HAS SOPS 1459248 HAS SOUS 1197360 HAS SOUPS 1197360 WITH SCORE 1198819.248
AT ITER 2419 NEW BEST:: SOT 8302067 SOS 1459740 HAS SOPS 1459740 HAS SOUS 1197213 HAS SOUPS 1197213 WITH SCORE 1198672.74
AT ITER 2431 NEW BEST:: SOT 8301493 SOS 1458592 HAS SOPS 1458592 HAS SOUS 1196065 HAS SOUPS 1196065 WITH SCORE 1197523.592
AT ITER 2440 NEW BEST:: SOT 8301368 SOS 1459047 HAS SOPS 1459047 HAS SOUS 1196028 HAS SOUPS 1196028 WITH SCORE 1197487.047
AT ITER 2471 NEW BEST:: SOT 8301303 SOS 1458982 HAS SOPS 1458982 HAS SOUS 1195963 HAS SOUPS 1195963 WITH SCORE 1197421.982
AT ITER 2494 NEW BEST:: SOT 8301298 SOS 1458972 HAS SOPS 1458972 HAS SOUS 1195958 HAS SOUPS 1195958 WITH SCORE 1197416.972
AT ITER 2505 NEW BEST:: SOT 8300994 SOS 1458257 HAS SOPS 1458257 HAS SOUS 1195350 HAS SOUPS 1195350 WITH SCORE 1196808.257
AT ITER 2538 NEW BEST:: SOT 8300994 SOS 1458257 HAS SOPS 1458257 HAS SOUS 1195347 HAS SOUPS 1195347 WITH SCORE 1196805.257
AT ITER 2572 NEW BEST:: SOT 8301008 SOS 1458060 HAS SOPS 1458060 HAS SOUS 1195150 HAS SOUPS 1195150 WITH SCORE 1196608.06
AT ITER 2574 NEW BEST:: SOT 8292111 SOS 1541333 HAS SOPS 1541333 HAS SOUS 1191233 HAS SOUPS 1191233 WITH SCORE 1192774.333
AT ITER 2582 NEW BEST:: SOT 8292090 SOS 1541291 HAS SOPS 1541291 HAS SOUS 1191212 HAS SOUPS 1191212 WITH SCORE 1192753.291
AT ITER 2596 NEW BEST:: SOT 8291874 SOS 1540859 HAS SOPS 1540859 HAS SOUS 1190567 HAS SOUPS 1190567 WITH SCORE 1192107.859
AT ITER 2611 NEW BEST:: SOT 8291870 SOS 1540851 HAS SOPS 1540851 HAS SOUS 1190559 HAS SOUPS 1190559 WITH SCORE 1192099.851
AT ITER 2616 NEW BEST:: SOT 8291869 SOS 1540849 HAS SOPS 1540849 HAS SOUS 1190558 HAS SOUPS 1190558 WITH SCORE 1192098.849
AT ITER 2634 NEW BEST:: SOT 8291871 SOS 1540853 HAS SOPS 1540853 HAS SOUS 1190340 HAS SOUPS 1190340 WITH SCORE 1191880.853
AT ITER 2655 NEW BEST:: SOT 8291724 SOS 1540559 HAS SOPS 1540559 HAS SOUS 1190081 HAS SOUPS 1190081 WITH SCORE 1191621.559
AT ITER 2658 NEW BEST:: SOT 8291614 SOS 1540339 HAS SOPS 1540339 HAS SOUS 1189768 HAS SOUPS 1189768 WITH SCORE 1191308.339
AT ITER 2659 NEW BEST:: SOT 8291614 SOS 1539921 HAS SOPS 1539921 HAS SOUS 1189559 HAS SOUPS 1189559 WITH SCORE 1191098.921
AT ITER 2670 NEW BEST:: SOT 8291552 SOS 1539797 HAS SOPS 1539797 HAS SOUS 1189435 HAS SOUPS 1189435 WITH SCORE 1190974.797
AT ITER 2695 NEW BEST:: SOT 8291321 SOS 1539335 HAS SOPS 1539335 HAS SOUS 1189420 HAS SOUPS 1189420 WITH SCORE 1190959.335
AT ITER 2707 NEW BEST:: SOT 8291240 SOS 1539263 HAS SOPS 1539263 HAS SOUS 1189344 HAS SOUPS 1189344 WITH SCORE 1190883.263
AT ITER 2743 NEW BEST:: SOT 8290931 SOS 1539511 HAS SOPS 1539511 HAS SOUS 1189035 HAS SOUPS 1189035 WITH SCORE 1190574.511
AT ITER 2745 NEW BEST:: SOT 8290891 SOS 1539267 HAS SOPS 1539267 HAS SOUS 1188954 HAS SOUPS 1188954 WITH SCORE 1190493.267
AT ITER 2751 NEW BEST:: SOT 8290891 SOS 1539267 HAS SOPS 1539267 HAS SOUS 1188703 HAS SOUPS 1188703 WITH SCORE 1190242.267
AT ITER 2763 NEW BEST:: SOT 8290890 SOS 1539265 HAS SOPS 1539265 HAS SOUS 1188701 HAS SOUPS 1188701 WITH SCORE 1190240.265
AT ITER 2764 NEW BEST:: SOT 8290680 SOS 1538846 HAS SOPS 1538846 HAS SOUS 1188281 HAS SOUPS 1188281 WITH SCORE 1189819.846
AT ITER 2772 NEW BEST:: SOT 8290497 SOS 1538480 HAS SOPS 1538480 HAS SOUS 1187915 HAS SOUPS 1187915 WITH SCORE 1189453.48
AT ITER 2818 NEW BEST:: SOT 8290331 SOS 1538554 HAS SOPS 1538554 HAS SOUS 1187882 HAS SOUPS 1187882 WITH SCORE 1189420.554
AT ITER 2824 NEW BEST:: SOT 8290039 SOS 1538262 HAS SOPS 1538262 HAS SOUS 1187590 HAS SOUPS 1187590 WITH SCORE 1189128.262
AT ITER 2884 NEW BEST:: SOT 8289940 SOS 1538163 HAS SOPS 1538163 HAS SOUS 1187491 HAS SOUPS 1187491 WITH SCORE 1189029.163
AT ITER 2898 NEW BEST:: SOT 8289962 SOS 1537954 HAS SOPS 1537954 HAS SOUS 1187397 HAS SOUPS 1187397 WITH SCORE 1188934.954
AT ITER 2919 NEW BEST:: SOT 8289870 SOS 1537770 HAS SOPS 1537770 HAS SOUS 1187206 HAS SOUPS 1187206 WITH SCORE 1188743.77
AT ITER 2949 NEW BEST:: SOT 8289837 SOS 1537704 HAS SOPS 1537704 HAS SOUS 1187084 HAS SOUPS 1187084 WITH SCORE 1188621.704
AT ITER 2957 NEW BEST:: SOT 8289300 SOS 1536630 HAS SOPS 1536630 HAS SOUS 1186244 HAS SOUPS 1186244 WITH SCORE 1187780.63
AT ITER 2962 NEW BEST:: SOT 8288986 SOS 1536634 HAS SOPS 1536634 HAS SOUS 1185932 HAS SOUPS 1185932 WITH SCORE 1187468.634
AT ITER 2964 NEW BEST:: SOT 8288986 SOS 1536538 HAS SOPS 1536538 HAS SOUS 1185884 HAS SOUPS 1185884 WITH SCORE 1187420.538
AT ITER 2982 NEW BEST:: SOT 8289072 SOS 1536262 HAS SOPS 1536262 HAS SOUS 1185761 HAS SOUPS 1185761 WITH SCORE 1187297.262
AT ITER 2983 NEW BEST:: SOT 8289012 SOS 1536226 HAS SOPS 1536226 HAS SOUS 1185725 HAS SOUPS 1185725 WITH SCORE 1187261.226
AT ITER 3026 NEW BEST:: SOT 8288733 SOS 1536056 HAS SOPS 1536056 HAS SOUS 1185555 HAS SOUPS 1185555 WITH SCORE 1187091.056
AT ITER 3030 NEW BEST:: SOT 8288507 SOS 1535604 HAS SOPS 1535604 HAS SOUS 1185353 HAS SOUPS 1185353 WITH SCORE 1186888.604
AT ITER 3039 NEW BEST:: SOT 8288264 SOS 1535776 HAS SOPS 1535776 HAS SOUS 1185168 HAS SOUPS 1185168 WITH SCORE 1186703.776
AT ITER 3064 NEW BEST:: SOT 8288268 SOS 1535784 HAS SOPS 1535784 HAS SOUS 1185004 HAS SOUPS 1185004 WITH SCORE 1186539.784
AT ITER 3113 NEW BEST:: SOT 8288084 SOS 1535416 HAS SOPS 1535416 HAS SOUS 1184636 HAS SOUPS 1184636 WITH SCORE 1186171.416
AT ITER 3123 NEW BEST:: SOT 8288002 SOS 1535443 HAS SOPS 1535443 HAS SOUS 1184554 HAS SOUPS 1184554 WITH SCORE 1186089.443
AT ITER 3134 NEW BEST:: SOT 8288001 SOS 1535059 HAS SOPS 1535059 HAS SOUS 1184168 HAS SOUPS 1184168 WITH SCORE 1185703.059
AT ITER 3158 NEW BEST:: SOT 8287964 SOS 1534985 HAS SOPS 1534985 HAS SOUS 1184094 HAS SOUPS 1184094 WITH SCORE 1185628.985
AT ITER 3167 NEW BEST:: SOT 8287964 SOS 1534827 HAS SOPS 1534827 HAS SOUS 1183936 HAS SOUPS 1183936 WITH SCORE 1185470.827
AT ITER 3175 NEW BEST:: SOT 8287773 SOS 1534760 HAS SOPS 1534760 HAS SOUS 1183766 HAS SOUPS 1183766 WITH SCORE 1185300.76
AT ITER 3177 NEW BEST:: SOT 8287671 SOS 1534556 HAS SOPS 1534556 HAS SOUS 1183562 HAS SOUPS 1183562 WITH SCORE 1185096.556
AT ITER 3180 NEW BEST:: SOT 8287636 SOS 1534451 HAS SOPS 1534451 HAS SOUS 1183492 HAS SOUPS 1183492 WITH SCORE 1185026.451
AT ITER 3193 NEW BEST:: SOT 8287636 SOS 1534430 HAS SOPS 1534430 HAS SOUS 1183471 HAS SOUPS 1183471 WITH SCORE 1185005.43
AT ITER 3199 NEW BEST:: SOT 8287258 SOS 1534430 HAS SOPS 1534430 HAS SOUS 1183282 HAS SOUPS 1183282 WITH SCORE 1184816.43
AT ITER 3202 NEW BEST:: SOT 8287258 SOS 1534331 HAS SOPS 1534331 HAS SOUS 1183282 HAS SOUPS 1183282 WITH SCORE 1184816.331
AT ITER 3332 NEW BEST:: SOT 8277440 SOS 1619569 HAS SOPS 1619569 HAS SOUS 1178022 HAS SOUPS 1178022 WITH SCORE 1179641.569
AT ITER 3371 NEW BEST:: SOT 8277439 SOS 1619567 HAS SOPS 1619567 HAS SOUS 1178020 HAS SOUPS 1178020 WITH SCORE 1179639.567
AT ITER 3377 NEW BEST:: SOT 8277439 SOS 1619286 HAS SOPS 1619286 HAS SOUS 1178020 HAS SOUPS 1178020 WITH SCORE 1179639.286
AT ITER 3412 NEW BEST:: SOT 8277027 SOS 1618462 HAS SOPS 1618462 HAS SOUS 1177608 HAS SOUPS 1177608 WITH SCORE 1179226.462
AT ITER 3464 NEW BEST:: SOT 8276910 SOS 1617935 HAS SOPS 1617935 HAS SOUS 1177490 HAS SOUPS 1177490 WITH SCORE 1179107.935
AT ITER 3469 NEW BEST:: SOT 8276910 SOS 1617600 HAS SOPS 1617600 HAS SOUS 1177490 HAS SOUPS 1177490 WITH SCORE 1179107.6
AT ITER 3472 NEW BEST:: SOT 8276816 SOS 1617318 HAS SOPS 1617318 HAS SOUS 1177396 HAS SOUPS 1177396 WITH SCORE 1179013.318
AT ITER 3473 NEW BEST:: SOT 8276815 SOS 1617167 HAS SOPS 1617167 HAS SOUS 1177394 HAS SOUPS 1177394 WITH SCORE 1179011.167
AT ITER 3483 NEW BEST:: SOT 8276826 SOS 1617189 HAS SOPS 1617189 HAS SOUS 1177289 HAS SOUPS 1177289 WITH SCORE 1178906.189
AT ITER 3502 NEW BEST:: SOT 8276527 SOS 1616591 HAS SOPS 1616591 HAS SOUS 1176691 HAS SOUPS 1176691 WITH SCORE 1178307.591
AT ITER 3534 NEW BEST:: SOT 8277012 SOS 1617561 HAS SOPS 1617561 HAS SOUS 1176394 HAS SOUPS 1176394 WITH SCORE 1178011.561
AT ITER 3555 NEW BEST:: SOT 8277012 SOS 1617034 HAS SOPS 1617034 HAS SOUS 1176394 HAS SOUPS 1176394 WITH SCORE 1178011.034
AT ITER 3571 NEW BEST:: SOT 8277012 SOS 1616898 HAS SOPS 1616898 HAS SOUS 1176258 HAS SOUPS 1176258 WITH SCORE 1177874.898
AT ITER 3587 NEW BEST:: SOT 8276759 SOS 1616392 HAS SOPS 1616392 HAS SOUS 1176005 HAS SOUPS 1176005 WITH SCORE 1177621.392
AT ITER 3608 NEW BEST:: SOT 8276288 SOS 1564630 HAS SOPS 1564630 HAS SOUS 1175063 HAS SOUPS 1175063 WITH SCORE 1176627.63
AT ITER 3611 NEW BEST:: SOT 8276203 SOS 1564545 HAS SOPS 1564545 HAS SOUS 1175062 HAS SOUPS 1175062 WITH SCORE 1176626.545
AT ITER 3612 NEW BEST:: SOT 8276203 SOS 1564161 HAS SOPS 1564161 HAS SOUS 1174678 HAS SOUPS 1174678 WITH SCORE 1176242.161
AT ITER 3679 NEW BEST:: SOT 8276203 SOS 1563555 HAS SOPS 1563555 HAS SOUS 1174678 HAS SOUPS 1174678 WITH SCORE 1176241.555
AT ITER 3694 NEW BEST:: SOT 8276076 SOS 1563301 HAS SOPS 1563301 HAS SOUS 1174576 HAS SOUPS 1174576 WITH SCORE 1176139.301
AT ITER 3697 NEW BEST:: SOT 8276178 SOS 1563505 HAS SOPS 1563505 HAS SOUS 1174418 HAS SOUPS 1174418 WITH SCORE 1175981.505
AT ITER 3702 NEW BEST:: SOT 8276082 SOS 1563384 HAS SOPS 1563384 HAS SOUS 1174297 HAS SOUPS 1174297 WITH SCORE 1175860.384
AT ITER 3707 NEW BEST:: SOT 8275932 SOS 1563434 HAS SOPS 1563434 HAS SOUS 1174147 HAS SOUPS 1174147 WITH SCORE 1175710.434
AT ITER 3740 NEW BEST:: SOT 8276058 SOS 1563333 HAS SOPS 1563333 HAS SOUS 1174046 HAS SOUPS 1174046 WITH SCORE 1175609.333
AT ITER 3768 NEW BEST:: SOT 8276044 SOS 1563434 HAS SOPS 1563434 HAS SOUS 1173988 HAS SOUPS 1173988 WITH SCORE 1175551.434
AT ITER 3783 NEW BEST:: SOT 8276044 SOS 1563091 HAS SOPS 1563091 HAS SOUS 1173988 HAS SOUPS 1173988 WITH SCORE 1175551.091
AT ITER 3789 NEW BEST:: SOT 8276035 SOS 1563073 HAS SOPS 1563073 HAS SOUS 1173977 HAS SOUPS 1173977 WITH SCORE 1175540.073
AT ITER 3794 NEW BEST:: SOT 8275775 SOS 1562553 HAS SOPS 1562553 HAS SOUS 1173457 HAS SOUPS 1173457 WITH SCORE 1175019.553
AT ITER 3806 NEW BEST:: SOT 8275794 SOS 1561993 HAS SOPS 1561993 HAS SOUS 1173225 HAS SOUPS 1173225 WITH SCORE 1174786.993
AT ITER 3819 NEW BEST:: SOT 8275681 SOS 1561366 HAS SOPS 1561366 HAS SOUS 1172711 HAS SOUPS 1172711 WITH SCORE 1174272.366
AT ITER 3832 NEW BEST:: SOT 8275565 SOS 1561366 HAS SOPS 1561366 HAS SOUS 1172595 HAS SOUPS 1172595 WITH SCORE 1174156.366
AT ITER 3841 NEW BEST:: SOT 8275564 SOS 1561364 HAS SOPS 1561364 HAS SOUS 1172593 HAS SOUPS 1172593 WITH SCORE 1174154.364
AT ITER 3850 NEW BEST:: SOT 8275541 SOS 1561318 HAS SOPS 1561318 HAS SOUS 1172547 HAS SOUPS 1172547 WITH SCORE 1174108.318
AT ITER 3873 NEW BEST:: SOT 8275458 SOS 1561152 HAS SOPS 1561152 HAS SOUS 1172381 HAS SOUPS 1172381 WITH SCORE 1173942.152
AT ITER 3901 NEW BEST:: SOT 8275458 SOS 1561052 HAS SOPS 1561052 HAS SOUS 1172281 HAS SOUPS 1172281 WITH SCORE 1173842.052
AT ITER 3970 NEW BEST:: SOT 8275150 SOS 1560744 HAS SOPS 1560744 HAS SOUS 1171973 HAS SOUPS 1171973 WITH SCORE 1173533.744
AT ITER 3976 NEW BEST:: SOT 8275024 SOS 1559963 HAS SOPS 1559963 HAS SOUS 1171847 HAS SOUPS 1171847 WITH SCORE 1173406.963
AT ITER 3981 NEW BEST:: SOT 8275023 SOS 1560486 HAS SOPS 1560486 HAS SOUS 1171846 HAS SOUPS 1171846 WITH SCORE 1173406.486
AT ITER 4021 NEW BEST:: SOT 8273286 SOS 1559007 HAS SOPS 1559007 HAS SOUS 1170158 HAS SOUPS 1170158 WITH SCORE 1171717.007
AT ITER 4048 NEW BEST:: SOT 8273256 SOS 1558947 HAS SOPS 1558947 HAS SOUS 1170125 HAS SOUPS 1170125 WITH SCORE 1171683.947
AT ITER 4072 NEW BEST:: SOT 8273027 SOS 1558489 HAS SOPS 1558489 HAS SOUS 1169551 HAS SOUPS 1169551 WITH SCORE 1171109.489
AT ITER 4078 NEW BEST:: SOT 8272933 SOS 1558301 HAS SOPS 1558301 HAS SOUS 1169086 HAS SOUPS 1169086 WITH SCORE 1170644.301
AT ITER 4080 NEW BEST:: SOT 8272933 SOS 1558301 HAS SOPS 1558301 HAS SOUS 1168864 HAS SOUPS 1168864 WITH SCORE 1170422.301
AT ITER 4092 NEW BEST:: SOT 8272933 SOS 1558301 HAS SOPS 1558301 HAS SOUS 1168802 HAS SOUPS 1168802 WITH SCORE 1170360.301
AT ITER 4097 NEW BEST:: SOT 8272560 SOS 1557555 HAS SOPS 1557555 HAS SOUS 1168056 HAS SOUPS 1168056 WITH SCORE 1169613.555
AT ITER 4129 NEW BEST:: SOT 8272560 SOS 1557537 HAS SOPS 1557537 HAS SOUS 1168056 HAS SOUPS 1168056 WITH SCORE 1169613.537
AT ITER 4142 NEW BEST:: SOT 8272559 SOS 1557535 HAS SOPS 1557535 HAS SOUS 1168054 HAS SOUPS 1168054 WITH SCORE 1169611.535
AT ITER 4143 NEW BEST:: SOT 8271975 SOS 1556805 HAS SOPS 1556805 HAS SOUS 1167324 HAS SOUPS 1167324 WITH SCORE 1168880.805
AT ITER 4144 NEW BEST:: SOT 8271479 SOS 1555813 HAS SOPS 1555813 HAS SOUS 1166927 HAS SOUPS 1166927 WITH SCORE 1168482.813
AT ITER 4151 NEW BEST:: SOT 8271329 SOS 1555777 HAS SOPS 1555777 HAS SOUS 1166818 HAS SOUPS 1166818 WITH SCORE 1168373.777
AT ITER 4157 NEW BEST:: SOT 8271186 SOS 1555491 HAS SOPS 1555491 HAS SOUS 1166532 HAS SOUPS 1166532 WITH SCORE 1168087.491
AT ITER 4184 NEW BEST:: SOT 8270939 SOS 1555244 HAS SOPS 1555244 HAS SOUS 1166285 HAS SOUPS 1166285 WITH SCORE 1167840.244
AT ITER 4186 NEW BEST:: SOT 8270913 SOS 1555192 HAS SOPS 1555192 HAS SOUS 1166233 HAS SOUPS 1166233 WITH SCORE 1167788.192
AT ITER 4187 NEW BEST:: SOT 8270704 SOS 1554774 HAS SOPS 1554774 HAS SOUS 1165791 HAS SOUPS 1165791 WITH SCORE 1167345.774
AT ITER 4197 NEW BEST:: SOT 8270344 SOS 1554414 HAS SOPS 1554414 HAS SOUS 1165431 HAS SOUPS 1165431 WITH SCORE 1166985.414
AT ITER 4202 NEW BEST:: SOT 8270343 SOS 1554362 HAS SOPS 1554362 HAS SOUS 1165430 HAS SOUPS 1165430 WITH SCORE 1166984.362
AT ITER 4214 NEW BEST:: SOT 8270216 SOS 1554108 HAS SOPS 1554108 HAS SOUS 1165204 HAS SOUPS 1165204 WITH SCORE 1166758.108
AT ITER 4226 NEW BEST:: SOT 8270160 SOS 1554064 HAS SOPS 1554064 HAS SOUS 1165148 HAS SOUPS 1165148 WITH SCORE 1166702.064
AT ITER 4230 NEW BEST:: SOT 8269839 SOS 1553773 HAS SOPS 1553773 HAS SOUS 1164835 HAS SOUPS 1164835 WITH SCORE 1166388.773
AT ITER 4277 NEW BEST:: SOT 8269909 SOS 1553757 HAS SOPS 1553757 HAS SOUS 1164819 HAS SOUPS 1164819 WITH SCORE 1166372.757
AT ITER 4304 NEW BEST:: SOT 8269909 SOS 1553757 HAS SOPS 1553757 HAS SOUS 1164446 HAS SOUPS 1164446 WITH SCORE 1165999.757
AT ITER 4313 NEW BEST:: SOT 8269909 SOS 1553744 HAS SOPS 1553744 HAS SOUS 1164446 HAS SOUPS 1164446 WITH SCORE 1165999.744
AT ITER 4324 NEW BEST:: SOT 8269909 SOS 1553236 HAS SOPS 1553236 HAS SOUS 1163938 HAS SOUPS 1163938 WITH SCORE 1165491.236
AT ITER 4363 NEW BEST:: SOT 8269581 SOS 1554095 HAS SOPS 1554095 HAS SOUS 1163902 HAS SOUPS 1163902 WITH SCORE 1165456.095
AT ITER 4385 NEW BEST:: SOT 8269876 SOS 1553796 HAS SOPS 1553796 HAS SOUS 1163748 HAS SOUPS 1163748 WITH SCORE 1165301.796
AT ITER 4398 NEW BEST:: SOT 8269798 SOS 1553963 HAS SOPS 1553963 HAS SOUS 1163670 HAS SOUPS 1163670 WITH SCORE 1165223.963
AT ITER 4423 NEW BEST:: SOT 8269798 SOS 1553963 HAS SOPS 1553963 HAS SOUS 1163668 HAS SOUPS 1163668 WITH SCORE 1165221.963
AT ITER 4475 NEW BEST:: SOT 8269798 SOS 1553933 HAS SOPS 1553933 HAS SOUS 1163668 HAS SOUPS 1163668 WITH SCORE 1165221.933
AT ITER 4493 NEW BEST:: SOT 8269552 SOS 1553441 HAS SOPS 1553441 HAS SOUS 1162999 HAS SOUPS 1162999 WITH SCORE 1164552.441
AT ITER 4507 NEW BEST:: SOT 8269268 SOS 1553228 HAS SOPS 1553228 HAS SOUS 1162786 HAS SOUPS 1162786 WITH SCORE 1164339.228
AT ITER 4514 NEW BEST:: SOT 8269175 SOS 1553042 HAS SOPS 1553042 HAS SOUS 1162497 HAS SOUPS 1162497 WITH SCORE 1164050.042
AT ITER 4516 NEW BEST:: SOT 8268672 SOS 1553398 HAS SOPS 1553398 HAS SOUS 1162360 HAS SOUPS 1162360 WITH SCORE 1163913.398
AT ITER 4519 NEW BEST:: SOT 8268751 SOS 1553444 HAS SOPS 1553444 HAS SOUS 1162327 HAS SOUPS 1162327 WITH SCORE 1163880.444
AT ITER 4520 NEW BEST:: SOT 8268652 SOS 1553147 HAS SOPS 1553147 HAS SOUS 1162129 HAS SOUPS 1162129 WITH SCORE 1163682.147
AT ITER 4521 NEW BEST:: SOT 8268861 SOS 1544578 HAS SOPS 1544578 HAS SOUS 1162128 HAS SOUPS 1162128 WITH SCORE 1163672.578
AT ITER 4545 NEW BEST:: SOT 8268786 SOS 1544428 HAS SOPS 1544428 HAS SOUS 1162052 HAS SOUPS 1162052 WITH SCORE 1163596.428
AT ITER 4549 NEW BEST:: SOT 8268786 SOS 1544428 HAS SOPS 1544428 HAS SOUS 1162045 HAS SOUPS 1162045 WITH SCORE 1163589.428
AT ITER 4558 NEW BEST:: SOT 8268786 SOS 1544428 HAS SOPS 1544428 HAS SOUS 1161588 HAS SOUPS 1161588 WITH SCORE 1163132.428
AT ITER 4589 NEW BEST:: SOT 8268786 SOS 1544146 HAS SOPS 1544146 HAS SOUS 1161306 HAS SOUPS 1161306 WITH SCORE 1162850.146
AT ITER 4594 NEW BEST:: SOT 8268787 SOS 1543715 HAS SOPS 1543715 HAS SOUS 1160874 HAS SOUPS 1160874 WITH SCORE 1162417.715
AT ITER 4620 NEW BEST:: SOT 8268429 SOS 1542999 HAS SOPS 1542999 HAS SOUS 1160694 HAS SOUPS 1160694 WITH SCORE 1162236.999
AT ITER 4634 NEW BEST:: SOT 8268270 SOS 1542681 HAS SOPS 1542681 HAS SOUS 1160376 HAS SOUPS 1160376 WITH SCORE 1161918.681
AT ITER 4636 NEW BEST:: SOT 8268306 SOS 1542753 HAS SOPS 1542753 HAS SOUS 1160339 HAS SOUPS 1160339 WITH SCORE 1161881.753
AT ITER 4639 NEW BEST:: SOT 8268075 SOS 1542727 HAS SOPS 1542727 HAS SOUS 1160152 HAS SOUPS 1160152 WITH SCORE 1161694.727
AT ITER 4643 NEW BEST:: SOT 8268031 SOS 1542639 HAS SOPS 1542639 HAS SOUS 1159916 HAS SOUPS 1159916 WITH SCORE 1161458.639
AT ITER 4679 NEW BEST:: SOT 8268031 SOS 1542587 HAS SOPS 1542587 HAS SOUS 1159916 HAS SOUPS 1159916 WITH SCORE 1161458.587
AT ITER 4693 NEW BEST:: SOT 8267891 SOS 1542307 HAS SOPS 1542307 HAS SOUS 1159865 HAS SOUPS 1159865 WITH SCORE 1161407.307
AT ITER 4803 NEW BEST:: SOT 8267546 SOS 1542361 HAS SOPS 1542361 HAS SOUS 1159537 HAS SOUPS 1159537 WITH SCORE 1161079.361
AT ITER 4832 NEW BEST:: SOT 8267546 SOS 1542307 HAS SOPS 1542307 HAS SOUS 1159537 HAS SOUPS 1159537 WITH SCORE 1161079.307
AT ITER 4835 NEW BEST:: SOT 8267443 SOS 1542289 HAS SOPS 1542289 HAS SOUS 1159519 HAS SOUPS 1159519 WITH SCORE 1161061.289
AT ITER 4855 NEW BEST:: SOT 8267289 SOS 1541981 HAS SOPS 1541981 HAS SOUS 1159365 HAS SOUPS 1159365 WITH SCORE 1160906.981
AT ITER 4857 NEW BEST:: SOT 8267289 SOS 1541981 HAS SOPS 1541981 HAS SOUS 1159313 HAS SOUPS 1159313 WITH SCORE 1160854.981
AT ITER 4865 NEW BEST:: SOT 8267288 SOS 1541979 HAS SOPS 1541979 HAS SOUS 1159311 HAS SOUPS 1159311 WITH SCORE 1160852.979
AT ITER 4887 NEW BEST:: SOT 8266866 SOS 1541557 HAS SOPS 1541557 HAS SOUS 1158889 HAS SOUPS 1158889 WITH SCORE 1160430.557
AT ITER 4889 NEW BEST:: SOT 8266503 SOS 1541194 HAS SOPS 1541194 HAS SOUS 1158525 HAS SOUPS 1158525 WITH SCORE 1160066.194
AT ITER 4891 NEW BEST:: SOT 8266221 SOS 1516580 HAS SOPS 1516580 HAS SOUS 1158176 HAS SOUPS 1158176 WITH SCORE 1159692.58
AT ITER 4977 NEW BEST:: SOT 8266219 SOS 1516576 HAS SOPS 1516576 HAS SOUS 1158172 HAS SOUPS 1158172 WITH SCORE 1159688.576
AT ITER 4989 NEW BEST:: SOT 8266219 SOS 1516537 HAS SOPS 1516537 HAS SOUS 1158133 HAS SOUPS 1158133 WITH SCORE 1159649.537
AT ITER 4990 NEW BEST:: SOT 8266289 SOS 1516677 HAS SOPS 1516677 HAS SOUS 1158099 HAS SOUPS 1158099 WITH SCORE 1159615.677
Bounds file is: CTLFireability.xml
PROPERTY: CloudReconfiguration-PT-402-CTLFireability-00 (AF( ( (! (EF( ((potential((tk(P645)>=1))))))) & (EF( (! ((potential((tk(P992)>=1))))))) )))
PROPERTY: CloudReconfiguration-PT-402-CTLFireability-01 (EG( ( ( (AG( ((potential((tk(P2003)>=1)))))) | ((potential((tk(P651)>=1)))) ) | (! ((potential((tk(P605)>=1))))) )))
PROPERTY: CloudReconfiguration-PT-402-CTLFireability-02 (EG( ( (! ((potential((tk(P1559)>=1))))) | (! (AF( ((potential((tk(P1106)>=1))))))) )))
PROPERTY: CloudReconfiguration-PT-402-CTLFireability-03 (! (EF( (AX( ((potential((tk(P2489)>=1)))))))))
PROPERTY: CloudReconfiguration-PT-402-CTLFireability-04 (AU( (! ((potential((tk(P2810)>=1))))) , ( (AF( ((potential((tk(P1098)>=1)))))) | (EF( ((potential((tk(P3322)>=1)))))) ) ))
PROPERTY: CloudReconfiguration-PT-402-CTLFireability-05 (EF( (EF( (EG( ((potential((tk(P1349)>=1))))))))))
PROPERTY: CloudReconfiguration-PT-402-CTLFireability-06 (! (EF( (AX( ((potential((tk(P2633)>=1)))))))))
PROPERTY: CloudReconfiguration-PT-402-CTLFireability-07 (EF( (EU( ( ((potential((tk(P1334)>=1)))) | ((potential((tk(P2844)>=1)))) ) , ( ((potential((tk(P2991)>=1)))) | ((potential((tk(P678)>=1)))) ) ))))
PROPERTY: CloudReconfiguration-PT-402-CTLFireability-08 (! (AX( (EF( ( ((potential((tk(P564)>=1)))) | ((potential((tk(P2079)>=1)))) ))))))
PROPERTY: CloudReconfiguration-PT-402-CTLFireability-09 ( ( (! ( (EG( ((potential((tk(P3162)>=1)))))) | (EF( ((potential((tk(P2386)>=1)))))) )) | ((potential((tk(P2386)>=1)))) ) | ( ( ( ( ((potential((tk(P623)>=1)))) & ( ((potential((tk(P2249)>=1)))) & ((potential((tk(P979)>=1)))) ) ) | (EF( ((potential((tk(P3272)>=1)))))) ) | (AG( ( ((potential((tk(P238)>=1)))) | ((potential((tk(P1424)>=1)))) ))) ) | (AG( ( ( ((potential((tk(P3213)>=1)))) & ((potential((tk(P1144)>=1)))) ) | ((potential((tk(P142)>=1)))) ))) ) )
PROPERTY: CloudReconfiguration-PT-402-CTLFireability-10 ( ( ( (EF( ((potential((tk(P1155)>=1)))))) | ( (AG( ((potential((tk(P2447)>=1)))))) | ((potential((tk(P1792)>=1)))) ) ) | ((potential((tk(P905)>=1)))) ) & (EX( (! (AG( ((potential((tk(P3070)>=1))))))))) )
PROPERTY: CloudReconfiguration-PT-402-CTLFireability-11 (! (AF( (EG( (! ((potential((tk(P1473)>=1))))))))))
PROPERTY: CloudReconfiguration-PT-402-CTLFireability-12 (AF( (EF( (! (! ((potential((tk(P873)>=1) & (tk(P2703)>=1))))))))))
PROPERTY: CloudReconfiguration-PT-402-CTLFireability-13 (! (AU( (! ( ((potential((tk(P2899)>=1)))) & ((potential((tk(P2658)>=1)))) )) , (AF( ((potential((tk(P1176)>=1)))))) )))
PROPERTY: CloudReconfiguration-PT-402-CTLFireability-14 (AF( ( ((potential((tk(P873)>=1) & (tk(P2180)>=1)))) & ((potential((tk(P812)>=1)))) )))
PROPERTY: CloudReconfiguration-PT-402-CTLFireability-15 (EU( (! (EG( ((potential((tk(P1638)>=1))))))) , ( ( ( ((potential((tk(P3125)>=1)))) & ((potential((tk(P3112)>=1)))) ) & (! ((potential((tk(P1256)>=1))))) ) | ( ((potential((tk(P2731)>=1)))) & (! ((potential((tk(P1617)>=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-402"
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-402, 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-158902541800172"
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 [ "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 '
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 ;