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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 3.3K Mar 30 19:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 30 19:09 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 29 09:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 29 09:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Mar 28 04:57 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 28 04:57 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 26 23:28 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 26 23:28 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 963K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1589125958019

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 07b
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: 2703 places, 4071 transitions, 11073 arcs.
AT ITER 0 NEW BEST:: SOT 6825256 SOS 1533996 HAS SOPS 1533996 HAS SOUS 962756 HAS SOUPS 962756 WITH SCORE 964289.996
AT ITER 9 NEW BEST:: SOT 6825195 SOS 1533993 HAS SOPS 1533993 HAS SOUS 962755 HAS SOUPS 962755 WITH SCORE 964288.993
AT ITER 24 NEW BEST:: SOT 6825142 SOS 1533887 HAS SOPS 1533887 HAS SOUS 962702 HAS SOUPS 962702 WITH SCORE 964235.887
AT ITER 46 NEW BEST:: SOT 6824961 SOS 1533819 HAS SOPS 1533819 HAS SOUS 962634 HAS SOUPS 962634 WITH SCORE 964167.819
AT ITER 59 NEW BEST:: SOT 6824537 SOS 1532971 HAS SOPS 1532971 HAS SOUS 961786 HAS SOUPS 961786 WITH SCORE 963318.971
AT ITER 61 NEW BEST:: SOT 6824319 SOS 1532816 HAS SOPS 1532816 HAS SOUS 961596 HAS SOUPS 961596 WITH SCORE 963128.816
AT ITER 66 NEW BEST:: SOT 6824318 SOS 1532814 HAS SOPS 1532814 HAS SOUS 961594 HAS SOUPS 961594 WITH SCORE 963126.814
AT ITER 76 NEW BEST:: SOT 6824107 SOS 1531650 HAS SOPS 1531650 HAS SOUS 961383 HAS SOUPS 961383 WITH SCORE 962914.65
AT ITER 119 NEW BEST:: SOT 6822343 SOS 1529298 HAS SOPS 1529298 HAS SOUS 959031 HAS SOUPS 959031 WITH SCORE 960560.298
AT ITER 144 NEW BEST:: SOT 6822600 SOS 1528784 HAS SOPS 1528784 HAS SOUS 959031 HAS SOUPS 959031 WITH SCORE 960559.784
AT ITER 154 NEW BEST:: SOT 6822600 SOS 1528614 HAS SOPS 1528614 HAS SOUS 958861 HAS SOUPS 958861 WITH SCORE 960389.614
AT ITER 161 NEW BEST:: SOT 6822046 SOS 1528060 HAS SOPS 1528060 HAS SOUS 958307 HAS SOUPS 958307 WITH SCORE 959835.06
AT ITER 183 NEW BEST:: SOT 6821256 SOS 1527270 HAS SOPS 1527270 HAS SOUS 957517 HAS SOUPS 957517 WITH SCORE 959044.27
AT ITER 187 NEW BEST:: SOT 6821129 SOS 1526254 HAS SOPS 1526254 HAS SOUS 957390 HAS SOUPS 957390 WITH SCORE 958916.254
AT ITER 218 NEW BEST:: SOT 6821144 SOS 1526284 HAS SOPS 1526284 HAS SOUS 956652 HAS SOUPS 956652 WITH SCORE 958178.284
AT ITER 225 NEW BEST:: SOT 6821134 SOS 1526264 HAS SOPS 1526264 HAS SOUS 956632 HAS SOUPS 956632 WITH SCORE 958158.264
AT ITER 286 NEW BEST:: SOT 6820998 SOS 1525992 HAS SOPS 1525992 HAS SOUS 956360 HAS SOUPS 956360 WITH SCORE 957885.992
AT ITER 309 NEW BEST:: SOT 6818028 SOS 1523022 HAS SOPS 1523022 HAS SOUS 953120 HAS SOUPS 953120 WITH SCORE 954643.022
AT ITER 320 NEW BEST:: SOT 6817824 SOS 1523226 HAS SOPS 1523226 HAS SOUS 952916 HAS SOUPS 952916 WITH SCORE 954439.226
AT ITER 337 NEW BEST:: SOT 6817823 SOS 1523224 HAS SOPS 1523224 HAS SOUS 952914 HAS SOUPS 952914 WITH SCORE 954437.224
AT ITER 391 NEW BEST:: SOT 6817515 SOS 1523214 HAS SOPS 1523214 HAS SOUS 952759 HAS SOUPS 952759 WITH SCORE 954282.214
AT ITER 399 NEW BEST:: SOT 6817629 SOS 1524593 HAS SOPS 1524593 HAS SOUS 952409 HAS SOUPS 952409 WITH SCORE 953933.593
AT ITER 412 NEW BEST:: SOT 6817629 SOS 1524221 HAS SOPS 1524221 HAS SOUS 952285 HAS SOUPS 952285 WITH SCORE 953809.221
AT ITER 440 NEW BEST:: SOT 6817629 SOS 1524967 HAS SOPS 1524967 HAS SOUS 951539 HAS SOUPS 951539 WITH SCORE 953063.967
AT ITER 442 NEW BEST:: SOT 6817332 SOS 1524866 HAS SOPS 1524866 HAS SOUS 951438 HAS SOUPS 951438 WITH SCORE 952962.866
AT ITER 443 NEW BEST:: SOT 6817521 SOS 1525243 HAS SOPS 1525243 HAS SOUS 951398 HAS SOUPS 951398 WITH SCORE 952923.243
AT ITER 458 NEW BEST:: SOT 6817521 SOS 1525176 HAS SOPS 1525176 HAS SOUS 951331 HAS SOUPS 951331 WITH SCORE 952856.176
AT ITER 495 NEW BEST:: SOT 6816988 SOS 1519313 HAS SOPS 1519313 HAS SOUS 950265 HAS SOUPS 950265 WITH SCORE 951784.313
AT ITER 497 NEW BEST:: SOT 6815816 SOS 1518139 HAS SOPS 1518139 HAS SOUS 949762 HAS SOUPS 949762 WITH SCORE 951280.139
AT ITER 498 NEW BEST:: SOT 6815358 SOS 1517677 HAS SOPS 1517677 HAS SOUS 949303 HAS SOUPS 949303 WITH SCORE 950820.677
AT ITER 504 NEW BEST:: SOT 6815358 SOS 1517677 HAS SOPS 1517677 HAS SOUS 949278 HAS SOUPS 949278 WITH SCORE 950795.677
AT ITER 505 NEW BEST:: SOT 6815358 SOS 1517677 HAS SOPS 1517677 HAS SOUS 949277 HAS SOUPS 949277 WITH SCORE 950794.677
AT ITER 553 NEW BEST:: SOT 6815312 SOS 1517654 HAS SOPS 1517654 HAS SOUS 949254 HAS SOUPS 949254 WITH SCORE 950771.654
AT ITER 561 NEW BEST:: SOT 6815057 SOS 1514577 HAS SOPS 1514577 HAS SOUS 948985 HAS SOUPS 948985 WITH SCORE 950499.577
AT ITER 563 NEW BEST:: SOT 6815057 SOS 1513686 HAS SOPS 1513686 HAS SOUS 948688 HAS SOUPS 948688 WITH SCORE 950201.686
AT ITER 586 NEW BEST:: SOT 6814958 SOS 1513464 HAS SOPS 1513464 HAS SOUS 948466 HAS SOUPS 948466 WITH SCORE 949979.464
AT ITER 588 NEW BEST:: SOT 6814675 SOS 1513454 HAS SOPS 1513454 HAS SOUS 948379 HAS SOUPS 948379 WITH SCORE 949892.454
AT ITER 604 NEW BEST:: SOT 6814573 SOS 1513392 HAS SOPS 1513392 HAS SOUS 948317 HAS SOUPS 948317 WITH SCORE 949830.392
AT ITER 612 NEW BEST:: SOT 6814070 SOS 1513895 HAS SOPS 1513895 HAS SOUS 947814 HAS SOUPS 947814 WITH SCORE 949327.895
AT ITER 621 NEW BEST:: SOT 6813504 SOS 1513226 HAS SOPS 1513226 HAS SOUS 946964 HAS SOUPS 946964 WITH SCORE 948477.226
AT ITER 629 NEW BEST:: SOT 6813504 SOS 1513082 HAS SOPS 1513082 HAS SOUS 946820 HAS SOUPS 946820 WITH SCORE 948333.082
AT ITER 634 NEW BEST:: SOT 6813232 SOS 1512538 HAS SOPS 1512538 HAS SOUS 946547 HAS SOUPS 946547 WITH SCORE 948059.538
AT ITER 662 NEW BEST:: SOT 6812514 SOS 1512404 HAS SOPS 1512404 HAS SOUS 946308 HAS SOUPS 946308 WITH SCORE 947820.404
AT ITER 683 NEW BEST:: SOT 6811828 SOS 1512214 HAS SOPS 1512214 HAS SOUS 946057 HAS SOUPS 946057 WITH SCORE 947569.214
AT ITER 685 NEW BEST:: SOT 6811802 SOS 1512188 HAS SOPS 1512188 HAS SOUS 946031 HAS SOUPS 946031 WITH SCORE 947543.188
AT ITER 692 NEW BEST:: SOT 6811415 SOS 1511801 HAS SOPS 1511801 HAS SOUS 945644 HAS SOUPS 945644 WITH SCORE 947155.801
AT ITER 698 NEW BEST:: SOT 6810663 SOS 1511425 HAS SOPS 1511425 HAS SOUS 945268 HAS SOUPS 945268 WITH SCORE 946779.425
AT ITER 716 NEW BEST:: SOT 6810663 SOS 1510378 HAS SOPS 1510378 HAS SOUS 945268 HAS SOUPS 945268 WITH SCORE 946778.378
AT ITER 734 NEW BEST:: SOT 6810663 SOS 1510509 HAS SOPS 1510509 HAS SOUS 945267 HAS SOUPS 945267 WITH SCORE 946777.509
AT ITER 757 NEW BEST:: SOT 6810253 SOS 1509689 HAS SOPS 1509689 HAS SOUS 944281 HAS SOUPS 944281 WITH SCORE 945790.689
AT ITER 768 NEW BEST:: SOT 6809902 SOS 1507934 HAS SOPS 1507934 HAS SOUS 943579 HAS SOUPS 943579 WITH SCORE 945086.934
AT ITER 771 NEW BEST:: SOT 6809786 SOS 1507702 HAS SOPS 1507702 HAS SOUS 943347 HAS SOUPS 943347 WITH SCORE 944854.702
AT ITER 778 NEW BEST:: SOT 6809831 SOS 1507792 HAS SOPS 1507792 HAS SOUS 943307 HAS SOUPS 943307 WITH SCORE 944814.792
AT ITER 796 NEW BEST:: SOT 6809773 SOS 1507676 HAS SOPS 1507676 HAS SOUS 943071 HAS SOUPS 943071 WITH SCORE 944578.676
AT ITER 809 NEW BEST:: SOT 6808106 SOS 1509402 HAS SOPS 1509402 HAS SOUS 941725 HAS SOUPS 941725 WITH SCORE 943234.402
AT ITER 824 NEW BEST:: SOT 6807974 SOS 1510326 HAS SOPS 1510326 HAS SOUS 941593 HAS SOUPS 941593 WITH SCORE 943103.326
AT ITER 844 NEW BEST:: SOT 6807778 SOS 1511560 HAS SOPS 1511560 HAS SOUS 941201 HAS SOUPS 941201 WITH SCORE 942712.56
AT ITER 901 NEW BEST:: SOT 6807256 SOS 1511038 HAS SOPS 1511038 HAS SOUS 940679 HAS SOUPS 940679 WITH SCORE 942190.038
AT ITER 905 NEW BEST:: SOT 6807224 SOS 1510974 HAS SOPS 1510974 HAS SOUS 940615 HAS SOUPS 940615 WITH SCORE 942125.974
AT ITER 920 NEW BEST:: SOT 6807187 SOS 1511040 HAS SOPS 1511040 HAS SOUS 940576 HAS SOUPS 940576 WITH SCORE 942087.04
AT ITER 929 NEW BEST:: SOT 6806828 SOS 1510322 HAS SOPS 1510322 HAS SOUS 939858 HAS SOUPS 939858 WITH SCORE 941368.322
AT ITER 946 NEW BEST:: SOT 6806768 SOS 1510262 HAS SOPS 1510262 HAS SOUS 939798 HAS SOUPS 939798 WITH SCORE 941308.262
AT ITER 962 NEW BEST:: SOT 6806721 SOS 1510168 HAS SOPS 1510168 HAS SOUS 939593 HAS SOUPS 939593 WITH SCORE 941103.168
AT ITER 991 NEW BEST:: SOT 6806239 SOS 1509204 HAS SOPS 1509204 HAS SOUS 938629 HAS SOUPS 938629 WITH SCORE 940138.204
AT ITER 1013 NEW BEST:: SOT 6806238 SOS 1509202 HAS SOPS 1509202 HAS SOUS 938627 HAS SOUPS 938627 WITH SCORE 940136.202
AT ITER 1032 NEW BEST:: SOT 6806238 SOS 1509310 HAS SOPS 1509310 HAS SOUS 938498 HAS SOUPS 938498 WITH SCORE 940007.31
AT ITER 1108 NEW BEST:: SOT 6805950 SOS 1507870 HAS SOPS 1507870 HAS SOUS 937922 HAS SOUPS 937922 WITH SCORE 939429.87
AT ITER 1111 NEW BEST:: SOT 6805840 SOS 1509039 HAS SOPS 1509039 HAS SOUS 937812 HAS SOUPS 937812 WITH SCORE 939321.039
AT ITER 1159 NEW BEST:: SOT 6805825 SOS 1509001 HAS SOPS 1509001 HAS SOUS 937789 HAS SOUPS 937789 WITH SCORE 939298.001
AT ITER 1173 NEW BEST:: SOT 6805930 SOS 1509211 HAS SOPS 1509211 HAS SOUS 937327 HAS SOUPS 937327 WITH SCORE 938836.211
AT ITER 1187 NEW BEST:: SOT 6805930 SOS 1509127 HAS SOPS 1509127 HAS SOUS 937243 HAS SOUPS 937243 WITH SCORE 938752.127
AT ITER 1198 NEW BEST:: SOT 6805450 SOS 1508643 HAS SOPS 1508643 HAS SOUS 936762 HAS SOUPS 936762 WITH SCORE 938270.643
AT ITER 1205 NEW BEST:: SOT 6805181 SOS 1508105 HAS SOPS 1508105 HAS SOUS 936611 HAS SOUPS 936611 WITH SCORE 938119.105
AT ITER 1206 NEW BEST:: SOT 6805181 SOS 1508101 HAS SOPS 1508101 HAS SOUS 936607 HAS SOUPS 936607 WITH SCORE 938115.101
AT ITER 1216 NEW BEST:: SOT 6804407 SOS 1507364 HAS SOPS 1507364 HAS SOUS 935870 HAS SOUPS 935870 WITH SCORE 937377.364
AT ITER 1221 NEW BEST:: SOT 6804595 SOS 1507453 HAS SOPS 1507453 HAS SOUS 935771 HAS SOUPS 935771 WITH SCORE 937278.453
AT ITER 1240 NEW BEST:: SOT 6804196 SOS 1507176 HAS SOPS 1507176 HAS SOUS 935504 HAS SOUPS 935504 WITH SCORE 937011.176
AT ITER 1244 NEW BEST:: SOT 6803717 SOS 1506697 HAS SOPS 1506697 HAS SOUS 935025 HAS SOUPS 935025 WITH SCORE 936531.697
AT ITER 1248 NEW BEST:: SOT 6803087 SOS 1506067 HAS SOPS 1506067 HAS SOUS 934395 HAS SOUPS 934395 WITH SCORE 935901.067
AT ITER 1271 NEW BEST:: SOT 6803086 SOS 1505806 HAS SOPS 1505806 HAS SOUS 934134 HAS SOUPS 934134 WITH SCORE 935639.806
AT ITER 1275 NEW BEST:: SOT 6802991 SOS 1506573 HAS SOPS 1506573 HAS SOUS 933925 HAS SOUPS 933925 WITH SCORE 935431.573
AT ITER 1350 NEW BEST:: SOT 6802557 SOS 1506139 HAS SOPS 1506139 HAS SOUS 933491 HAS SOUPS 933491 WITH SCORE 934997.139
AT ITER 1351 NEW BEST:: SOT 6801342 SOS 1504421 HAS SOPS 1504421 HAS SOUS 931651 HAS SOUPS 931651 WITH SCORE 933155.421
AT ITER 1355 NEW BEST:: SOT 6801516 SOS 1504435 HAS SOPS 1504435 HAS SOUS 931490 HAS SOUPS 931490 WITH SCORE 932994.435
AT ITER 1378 NEW BEST:: SOT 6801852 SOS 1505107 HAS SOPS 1505107 HAS SOUS 931471 HAS SOUPS 931471 WITH SCORE 932976.107
AT ITER 1443 NEW BEST:: SOT 6801852 SOS 1505054 HAS SOPS 1505054 HAS SOUS 931418 HAS SOUPS 931418 WITH SCORE 932923.054
AT ITER 1444 NEW BEST:: SOT 6802031 SOS 1504311 HAS SOPS 1504311 HAS SOUS 931319 HAS SOUPS 931319 WITH SCORE 932823.311
AT ITER 1448 NEW BEST:: SOT 6801996 SOS 1504171 HAS SOPS 1504171 HAS SOUS 931249 HAS SOUPS 931249 WITH SCORE 932753.171
AT ITER 1450 NEW BEST:: SOT 6801995 SOS 1503878 HAS SOPS 1503878 HAS SOUS 931247 HAS SOUPS 931247 WITH SCORE 932750.878
AT ITER 1452 NEW BEST:: SOT 6801908 SOS 1503704 HAS SOPS 1503704 HAS SOUS 931160 HAS SOUPS 931160 WITH SCORE 932663.704
AT ITER 1467 NEW BEST:: SOT 6801993 SOS 1502599 HAS SOPS 1502599 HAS SOUS 930862 HAS SOUPS 930862 WITH SCORE 932364.599
AT ITER 1471 NEW BEST:: SOT 6801993 SOS 1502462 HAS SOPS 1502462 HAS SOUS 930725 HAS SOUPS 930725 WITH SCORE 932227.462
AT ITER 1521 NEW BEST:: SOT 6801949 SOS 1502794 HAS SOPS 1502794 HAS SOUS 930679 HAS SOUPS 930679 WITH SCORE 932181.794
AT ITER 1536 NEW BEST:: SOT 6801827 SOS 1502672 HAS SOPS 1502672 HAS SOUS 930557 HAS SOUPS 930557 WITH SCORE 932059.672
AT ITER 1539 NEW BEST:: SOT 6801232 SOS 1502436 HAS SOPS 1502436 HAS SOUS 930280 HAS SOUPS 930280 WITH SCORE 931782.436
AT ITER 1574 NEW BEST:: SOT 6801231 SOS 1502364 HAS SOPS 1502364 HAS SOUS 930208 HAS SOUPS 930208 WITH SCORE 931710.364
AT ITER 1585 NEW BEST:: SOT 6801174 SOS 1502324 HAS SOPS 1502324 HAS SOUS 930168 HAS SOUPS 930168 WITH SCORE 931670.324
AT ITER 1591 NEW BEST:: SOT 6800870 SOS 1502020 HAS SOPS 1502020 HAS SOUS 929864 HAS SOUPS 929864 WITH SCORE 931366.02
AT ITER 1594 NEW BEST:: SOT 6800487 SOS 1501254 HAS SOPS 1501254 HAS SOUS 928907 HAS SOUPS 928907 WITH SCORE 930408.254
AT ITER 1611 NEW BEST:: SOT 6800168 SOS 1500616 HAS SOPS 1500616 HAS SOUS 927818 HAS SOUPS 927818 WITH SCORE 929318.616
AT ITER 1621 NEW BEST:: SOT 6800168 SOS 1503021 HAS SOPS 1503021 HAS SOUS 927775 HAS SOUPS 927775 WITH SCORE 929278.021
AT ITER 1623 NEW BEST:: SOT 6799585 SOS 1501855 HAS SOPS 1501855 HAS SOUS 927220 HAS SOUPS 927220 WITH SCORE 928721.855
AT ITER 1648 NEW BEST:: SOT 6798479 SOS 1502779 HAS SOPS 1502779 HAS SOUS 926626 HAS SOUPS 926626 WITH SCORE 928128.779
AT ITER 1661 NEW BEST:: SOT 6798479 SOS 1503067 HAS SOPS 1503067 HAS SOUS 926625 HAS SOUPS 926625 WITH SCORE 928128.067
AT ITER 1668 NEW BEST:: SOT 6798307 SOS 1502723 HAS SOPS 1502723 HAS SOUS 926281 HAS SOUPS 926281 WITH SCORE 927783.723
AT ITER 1714 NEW BEST:: SOT 6798307 SOS 1502835 HAS SOPS 1502835 HAS SOUS 926279 HAS SOUPS 926279 WITH SCORE 927781.835
AT ITER 1715 NEW BEST:: SOT 6798307 SOS 1502409 HAS SOPS 1502409 HAS SOUS 926279 HAS SOUPS 926279 WITH SCORE 927781.409
AT ITER 1717 NEW BEST:: SOT 6798219 SOS 1501969 HAS SOPS 1501969 HAS SOUS 926103 HAS SOUPS 926103 WITH SCORE 927604.969
AT ITER 1723 NEW BEST:: SOT 6798219 SOS 1501778 HAS SOPS 1501778 HAS SOUS 926103 HAS SOUPS 926103 WITH SCORE 927604.778
AT ITER 1735 NEW BEST:: SOT 6798383 SOS 1502106 HAS SOPS 1502106 HAS SOUS 925985 HAS SOUPS 925985 WITH SCORE 927487.106
AT ITER 1763 NEW BEST:: SOT 6798199 SOS 1501738 HAS SOPS 1501738 HAS SOUS 925224 HAS SOUPS 925224 WITH SCORE 926725.738
AT ITER 1787 NEW BEST:: SOT 6797426 SOS 1501383 HAS SOPS 1501383 HAS SOUS 924848 HAS SOUPS 924848 WITH SCORE 926349.383
AT ITER 1826 NEW BEST:: SOT 6796780 SOS 1500737 HAS SOPS 1500737 HAS SOUS 924202 HAS SOUPS 924202 WITH SCORE 925702.737
AT ITER 1827 NEW BEST:: SOT 6796170 SOS 1499517 HAS SOPS 1499517 HAS SOUS 922909 HAS SOUPS 922909 WITH SCORE 924408.517
AT ITER 1830 NEW BEST:: SOT 6795993 SOS 1499340 HAS SOPS 1499340 HAS SOUS 922732 HAS SOUPS 922732 WITH SCORE 924231.34
AT ITER 1834 NEW BEST:: SOT 6795993 SOS 1499336 HAS SOPS 1499336 HAS SOUS 922710 HAS SOUPS 922710 WITH SCORE 924209.336
AT ITER 1836 NEW BEST:: SOT 6795993 SOS 1499173 HAS SOPS 1499173 HAS SOUS 922546 HAS SOUPS 922546 WITH SCORE 924045.173
AT ITER 1857 NEW BEST:: SOT 6795633 SOS 1498813 HAS SOPS 1498813 HAS SOUS 922186 HAS SOUPS 922186 WITH SCORE 923684.813
AT ITER 1866 NEW BEST:: SOT 6795633 SOS 1498798 HAS SOPS 1498798 HAS SOUS 922171 HAS SOUPS 922171 WITH SCORE 923669.798
AT ITER 1874 NEW BEST:: SOT 6795036 SOS 1498587 HAS SOPS 1498587 HAS SOUS 921960 HAS SOUPS 921960 WITH SCORE 923458.587
AT ITER 1898 NEW BEST:: SOT 6795023 SOS 1499938 HAS SOPS 1499938 HAS SOUS 921934 HAS SOUPS 921934 WITH SCORE 923433.938
AT ITER 1930 NEW BEST:: SOT 6794689 SOS 1499270 HAS SOPS 1499270 HAS SOUS 921266 HAS SOUPS 921266 WITH SCORE 922765.27
AT ITER 1950 NEW BEST:: SOT 6794606 SOS 1499200 HAS SOPS 1499200 HAS SOUS 921134 HAS SOUPS 921134 WITH SCORE 922633.2
AT ITER 1982 NEW BEST:: SOT 6793866 SOS 1498386 HAS SOPS 1498386 HAS SOUS 920444 HAS SOUPS 920444 WITH SCORE 921942.386
AT ITER 2011 NEW BEST:: SOT 6793865 SOS 1498384 HAS SOPS 1498384 HAS SOUS 920347 HAS SOUPS 920347 WITH SCORE 921845.384
AT ITER 2019 NEW BEST:: SOT 6793865 SOS 1498384 HAS SOPS 1498384 HAS SOUS 920343 HAS SOUPS 920343 WITH SCORE 921841.384
AT ITER 2032 NEW BEST:: SOT 6793752 SOS 1498158 HAS SOPS 1498158 HAS SOUS 920229 HAS SOUPS 920229 WITH SCORE 921727.158
AT ITER 2069 NEW BEST:: SOT 6793519 SOS 1497842 HAS SOPS 1497842 HAS SOUS 919913 HAS SOUPS 919913 WITH SCORE 921410.842
AT ITER 2105 NEW BEST:: SOT 6793112 SOS 1499277 HAS SOPS 1499277 HAS SOUS 919518 HAS SOUPS 919518 WITH SCORE 921017.277
AT ITER 2161 NEW BEST:: SOT 6793035 SOS 1499123 HAS SOPS 1499123 HAS SOUS 919364 HAS SOUPS 919364 WITH SCORE 920863.123
AT ITER 2162 NEW BEST:: SOT 6793068 SOS 1499104 HAS SOPS 1499104 HAS SOUS 919345 HAS SOUPS 919345 WITH SCORE 920844.104
AT ITER 2174 NEW BEST:: SOT 6792784 SOS 1498943 HAS SOPS 1498943 HAS SOUS 919184 HAS SOUPS 919184 WITH SCORE 920682.943
AT ITER 2182 NEW BEST:: SOT 6792784 SOS 1498943 HAS SOPS 1498943 HAS SOUS 919098 HAS SOUPS 919098 WITH SCORE 920596.943
AT ITER 2202 NEW BEST:: SOT 6792728 SOS 1498831 HAS SOPS 1498831 HAS SOUS 918986 HAS SOUPS 918986 WITH SCORE 920484.831
AT ITER 2234 NEW BEST:: SOT 6792406 SOS 1498187 HAS SOPS 1498187 HAS SOUS 918878 HAS SOUPS 918878 WITH SCORE 920376.187
AT ITER 2239 NEW BEST:: SOT 6792322 SOS 1498103 HAS SOPS 1498103 HAS SOUS 918794 HAS SOUPS 918794 WITH SCORE 920292.103
AT ITER 2241 NEW BEST:: SOT 6792322 SOS 1498103 HAS SOPS 1498103 HAS SOUS 918660 HAS SOUPS 918660 WITH SCORE 920158.103
AT ITER 2248 NEW BEST:: SOT 6792322 SOS 1498425 HAS SOPS 1498425 HAS SOUS 918659 HAS SOUPS 918659 WITH SCORE 920157.425
AT ITER 2254 NEW BEST:: SOT 6792576 SOS 1497199 HAS SOPS 1497199 HAS SOUS 918426 HAS SOUPS 918426 WITH SCORE 919923.199
AT ITER 2292 NEW BEST:: SOT 6792376 SOS 1496799 HAS SOPS 1496799 HAS SOUS 918026 HAS SOUPS 918026 WITH SCORE 919522.799
AT ITER 2341 NEW BEST:: SOT 6791772 SOS 1496195 HAS SOPS 1496195 HAS SOUS 917422 HAS SOUPS 917422 WITH SCORE 918918.195
AT ITER 2359 NEW BEST:: SOT 6791650 SOS 1495951 HAS SOPS 1495951 HAS SOUS 917178 HAS SOUPS 917178 WITH SCORE 918673.951
AT ITER 2361 NEW BEST:: SOT 6791462 SOS 1495925 HAS SOPS 1495925 HAS SOUS 917152 HAS SOUPS 917152 WITH SCORE 918647.925
AT ITER 2391 NEW BEST:: SOT 6791560 SOS 1495898 HAS SOPS 1495898 HAS SOUS 917125 HAS SOUPS 917125 WITH SCORE 918620.898
AT ITER 2393 NEW BEST:: SOT 6791584 SOS 1495632 HAS SOPS 1495632 HAS SOUS 916970 HAS SOUPS 916970 WITH SCORE 918465.632
AT ITER 2413 NEW BEST:: SOT 6791155 SOS 1495329 HAS SOPS 1495329 HAS SOUS 916555 HAS SOUPS 916555 WITH SCORE 918050.329
AT ITER 2459 NEW BEST:: SOT 6791155 SOS 1495826 HAS SOPS 1495826 HAS SOUS 916554 HAS SOUPS 916554 WITH SCORE 918049.826
AT ITER 2465 NEW BEST:: SOT 6790459 SOS 1495478 HAS SOPS 1495478 HAS SOUS 916206 HAS SOUPS 916206 WITH SCORE 917701.478
AT ITER 2516 NEW BEST:: SOT 6789918 SOS 1495049 HAS SOPS 1495049 HAS SOUS 915665 HAS SOUPS 915665 WITH SCORE 917160.049
AT ITER 2538 NEW BEST:: SOT 6789790 SOS 1494991 HAS SOPS 1494991 HAS SOUS 915607 HAS SOUPS 915607 WITH SCORE 917101.991
AT ITER 2587 NEW BEST:: SOT 6789383 SOS 1494584 HAS SOPS 1494584 HAS SOUS 915200 HAS SOUPS 915200 WITH SCORE 916694.584
AT ITER 2597 NEW BEST:: SOT 6789305 SOS 1494428 HAS SOPS 1494428 HAS SOUS 914439 HAS SOUPS 914439 WITH SCORE 915933.428
AT ITER 2628 NEW BEST:: SOT 6789305 SOS 1494428 HAS SOPS 1494428 HAS SOUS 914438 HAS SOUPS 914438 WITH SCORE 915932.428
AT ITER 2639 NEW BEST:: SOT 6789363 SOS 1493668 HAS SOPS 1493668 HAS SOUS 914204 HAS SOUPS 914204 WITH SCORE 915697.668
AT ITER 2640 NEW BEST:: SOT 6789310 SOS 1493562 HAS SOPS 1493562 HAS SOUS 914151 HAS SOUPS 914151 WITH SCORE 915644.562
AT ITER 2645 NEW BEST:: SOT 6788134 SOS 1497866 HAS SOPS 1497866 HAS SOUS 914099 HAS SOUPS 914099 WITH SCORE 915596.866
AT ITER 2659 NEW BEST:: SOT 6788124 SOS 1497861 HAS SOPS 1497861 HAS SOUS 914094 HAS SOUPS 914094 WITH SCORE 915591.861
AT ITER 2689 NEW BEST:: SOT 6787810 SOS 1497861 HAS SOPS 1497861 HAS SOUS 913780 HAS SOUPS 913780 WITH SCORE 915277.861
AT ITER 2707 NEW BEST:: SOT 6787678 SOS 1498448 HAS SOPS 1498448 HAS SOUS 913362 HAS SOUPS 913362 WITH SCORE 914860.448
AT ITER 2713 NEW BEST:: SOT 6787572 SOS 1498395 HAS SOPS 1498395 HAS SOUS 913256 HAS SOUPS 913256 WITH SCORE 914754.395
AT ITER 2745 NEW BEST:: SOT 6787554 SOS 1498359 HAS SOPS 1498359 HAS SOUS 913220 HAS SOUPS 913220 WITH SCORE 914718.359
AT ITER 2752 NEW BEST:: SOT 6787485 SOS 1498221 HAS SOPS 1498221 HAS SOUS 913150 HAS SOUPS 913150 WITH SCORE 914648.221
AT ITER 2770 NEW BEST:: SOT 6787485 SOS 1498221 HAS SOPS 1498221 HAS SOUS 913149 HAS SOUPS 913149 WITH SCORE 914647.221
AT ITER 2820 NEW BEST:: SOT 6786919 SOS 1497414 HAS SOPS 1497414 HAS SOUS 912511 HAS SOUPS 912511 WITH SCORE 914008.414
AT ITER 2834 NEW BEST:: SOT 6786884 SOS 1497309 HAS SOPS 1497309 HAS SOUS 912476 HAS SOUPS 912476 WITH SCORE 913973.309
AT ITER 2852 NEW BEST:: SOT 6786804 SOS 1497229 HAS SOPS 1497229 HAS SOUS 912396 HAS SOUPS 912396 WITH SCORE 913893.229
AT ITER 2873 NEW BEST:: SOT 6786804 SOS 1497741 HAS SOPS 1497741 HAS SOUS 912395 HAS SOUPS 912395 WITH SCORE 913892.741
AT ITER 2879 NEW BEST:: SOT 6786225 SOS 1497162 HAS SOPS 1497162 HAS SOUS 911816 HAS SOUPS 911816 WITH SCORE 913313.162
AT ITER 2883 NEW BEST:: SOT 6786224 SOS 1497160 HAS SOPS 1497160 HAS SOUS 911814 HAS SOUPS 911814 WITH SCORE 913311.16
AT ITER 2885 NEW BEST:: SOT 6786193 SOS 1497098 HAS SOPS 1497098 HAS SOUS 911752 HAS SOUPS 911752 WITH SCORE 913249.098
AT ITER 2910 NEW BEST:: SOT 6785612 SOS 1496736 HAS SOPS 1496736 HAS SOUS 911231 HAS SOUPS 911231 WITH SCORE 912727.736
AT ITER 2968 NEW BEST:: SOT 6785564 SOS 1496690 HAS SOPS 1496690 HAS SOUS 911185 HAS SOUPS 911185 WITH SCORE 912681.69
AT ITER 2973 NEW BEST:: SOT 6785564 SOS 1496627 HAS SOPS 1496627 HAS SOUS 911122 HAS SOUPS 911122 WITH SCORE 912618.627
AT ITER 3025 NEW BEST:: SOT 6785645 SOS 1496439 HAS SOPS 1496439 HAS SOUS 911066 HAS SOUPS 911066 WITH SCORE 912562.439
AT ITER 3056 NEW BEST:: SOT 6785776 SOS 1498182 HAS SOPS 1498182 HAS SOUS 910910 HAS SOUPS 910910 WITH SCORE 912408.182
AT ITER 3084 NEW BEST:: SOT 6785912 SOS 1506734 HAS SOPS 1506734 HAS SOUS 910285 HAS SOUPS 910285 WITH SCORE 911791.734
AT ITER 3093 NEW BEST:: SOT 6785332 SOS 1506305 HAS SOPS 1506305 HAS SOUS 909780 HAS SOUPS 909780 WITH SCORE 911286.305
AT ITER 3094 NEW BEST:: SOT 6785218 SOS 1506715 HAS SOPS 1506715 HAS SOUS 909666 HAS SOUPS 909666 WITH SCORE 911172.715
AT ITER 3104 NEW BEST:: SOT 6785219 SOS 1506616 HAS SOPS 1506616 HAS SOUS 909606 HAS SOUPS 909606 WITH SCORE 911112.616
AT ITER 3135 NEW BEST:: SOT 6785200 SOS 1506615 HAS SOPS 1506615 HAS SOUS 909605 HAS SOUPS 909605 WITH SCORE 911111.615
AT ITER 3157 NEW BEST:: SOT 6784864 SOS 1506209 HAS SOPS 1506209 HAS SOUS 909199 HAS SOUPS 909199 WITH SCORE 910705.209
AT ITER 3159 NEW BEST:: SOT 6784596 SOS 1505673 HAS SOPS 1505673 HAS SOUS 909088 HAS SOUPS 909088 WITH SCORE 910593.673
AT ITER 3186 NEW BEST:: SOT 6784300 SOS 1505485 HAS SOPS 1505485 HAS SOUS 908900 HAS SOUPS 908900 WITH SCORE 910405.485
AT ITER 3199 NEW BEST:: SOT 6784296 SOS 1505477 HAS SOPS 1505477 HAS SOUS 908892 HAS SOUPS 908892 WITH SCORE 910397.477
AT ITER 3239 NEW BEST:: SOT 6784296 SOS 1505477 HAS SOPS 1505477 HAS SOUS 908891 HAS SOUPS 908891 WITH SCORE 910396.477
AT ITER 3285 NEW BEST:: SOT 6784095 SOS 1505276 HAS SOPS 1505276 HAS SOUS 908690 HAS SOUPS 908690 WITH SCORE 910195.276
AT ITER 3286 NEW BEST:: SOT 6784095 SOS 1506049 HAS SOPS 1506049 HAS SOUS 908689 HAS SOUPS 908689 WITH SCORE 910195.049
AT ITER 3299 NEW BEST:: SOT 6783426 SOS 1506049 HAS SOPS 1506049 HAS SOUS 907924 HAS SOUPS 907924 WITH SCORE 909430.049
AT ITER 3336 NEW BEST:: SOT 6783382 SOS 1506027 HAS SOPS 1506027 HAS SOUS 907902 HAS SOUPS 907902 WITH SCORE 909408.027
AT ITER 3367 NEW BEST:: SOT 6783324 SOS 1505911 HAS SOPS 1505911 HAS SOUS 907850 HAS SOUPS 907850 WITH SCORE 909355.911
AT ITER 3405 NEW BEST:: SOT 6782987 SOS 1504823 HAS SOPS 1504823 HAS SOUS 907176 HAS SOUPS 907176 WITH SCORE 908680.823
AT ITER 3408 NEW BEST:: SOT 6782834 SOS 1504211 HAS SOPS 1504211 HAS SOUS 906870 HAS SOUPS 906870 WITH SCORE 908374.211
AT ITER 3412 NEW BEST:: SOT 6782648 SOS 1505513 HAS SOPS 1505513 HAS SOUS 906684 HAS SOUPS 906684 WITH SCORE 908189.513
AT ITER 3459 NEW BEST:: SOT 6782594 SOS 1505195 HAS SOPS 1505195 HAS SOUS 906560 HAS SOUPS 906560 WITH SCORE 908065.195
AT ITER 3474 NEW BEST:: SOT 6782154 SOS 1504751 HAS SOPS 1504751 HAS SOUS 906339 HAS SOUPS 906339 WITH SCORE 907843.751
AT ITER 3503 NEW BEST:: SOT 6782154 SOS 1504751 HAS SOPS 1504751 HAS SOUS 906338 HAS SOUPS 906338 WITH SCORE 907842.751
AT ITER 3512 NEW BEST:: SOT 6781863 SOS 1504460 HAS SOPS 1504460 HAS SOUS 906303 HAS SOUPS 906303 WITH SCORE 907807.46
AT ITER 3549 NEW BEST:: SOT 6781730 SOS 1504327 HAS SOPS 1504327 HAS SOUS 906303 HAS SOUPS 906303 WITH SCORE 907807.327
AT ITER 3558 NEW BEST:: SOT 6781730 SOS 1504327 HAS SOPS 1504327 HAS SOUS 906160 HAS SOUPS 906160 WITH SCORE 907664.327
AT ITER 3560 NEW BEST:: SOT 6781248 SOS 1503363 HAS SOPS 1503363 HAS SOUS 905678 HAS SOUPS 905678 WITH SCORE 907181.363
AT ITER 3580 NEW BEST:: SOT 6781248 SOS 1503247 HAS SOPS 1503247 HAS SOUS 905562 HAS SOUPS 905562 WITH SCORE 907065.247
AT ITER 3602 NEW BEST:: SOT 6781167 SOS 1503244 HAS SOPS 1503244 HAS SOUS 905561 HAS SOUPS 905561 WITH SCORE 907064.244
AT ITER 3619 NEW BEST:: SOT 6781167 SOS 1503244 HAS SOPS 1503244 HAS SOUS 905413 HAS SOUPS 905413 WITH SCORE 906916.244
AT ITER 3639 NEW BEST:: SOT 6780878 SOS 1502945 HAS SOPS 1502945 HAS SOUS 905412 HAS SOUPS 905412 WITH SCORE 906914.945
AT ITER 3647 NEW BEST:: SOT 6780773 SOS 1502735 HAS SOPS 1502735 HAS SOUS 905202 HAS SOUPS 905202 WITH SCORE 906704.735
AT ITER 3668 NEW BEST:: SOT 6780410 SOS 1502362 HAS SOPS 1502362 HAS SOUS 904838 HAS SOUPS 904838 WITH SCORE 906340.362
AT ITER 3671 NEW BEST:: SOT 6780337 SOS 1502216 HAS SOPS 1502216 HAS SOUS 904692 HAS SOUPS 904692 WITH SCORE 906194.216
AT ITER 3698 NEW BEST:: SOT 6780169 SOS 1502048 HAS SOPS 1502048 HAS SOUS 904468 HAS SOUPS 904468 WITH SCORE 905970.048
AT ITER 3718 NEW BEST:: SOT 6780169 SOS 1502048 HAS SOPS 1502048 HAS SOUS 904467 HAS SOUPS 904467 WITH SCORE 905969.048
AT ITER 3736 NEW BEST:: SOT 6779870 SOS 1501450 HAS SOPS 1501450 HAS SOUS 903869 HAS SOUPS 903869 WITH SCORE 905370.45
AT ITER 3742 NEW BEST:: SOT 6779732 SOS 1501036 HAS SOPS 1501036 HAS SOUS 903593 HAS SOUPS 903593 WITH SCORE 905094.036
AT ITER 3779 NEW BEST:: SOT 6779846 SOS 1501035 HAS SOPS 1501035 HAS SOUS 903592 HAS SOUPS 903592 WITH SCORE 905093.035
AT ITER 3785 NEW BEST:: SOT 6779817 SOS 1500977 HAS SOPS 1500977 HAS SOUS 903534 HAS SOUPS 903534 WITH SCORE 905034.977
AT ITER 3803 NEW BEST:: SOT 6779642 SOS 1500054 HAS SOPS 1500054 HAS SOUS 903088 HAS SOUPS 903088 WITH SCORE 904588.054
AT ITER 3848 NEW BEST:: SOT 6779448 SOS 1499957 HAS SOPS 1499957 HAS SOUS 902991 HAS SOUPS 902991 WITH SCORE 904490.957
AT ITER 3858 NEW BEST:: SOT 6779428 SOS 1499917 HAS SOPS 1499917 HAS SOUS 902951 HAS SOUPS 902951 WITH SCORE 904450.917
AT ITER 3863 NEW BEST:: SOT 6779428 SOS 1499863 HAS SOPS 1499863 HAS SOUS 902897 HAS SOUPS 902897 WITH SCORE 904396.863
AT ITER 3921 NEW BEST:: SOT 6779052 SOS 1499862 HAS SOPS 1499862 HAS SOUS 902896 HAS SOUPS 902896 WITH SCORE 904395.862
AT ITER 3924 NEW BEST:: SOT 6778550 SOS 1495730 HAS SOPS 1495730 HAS SOUS 902031 HAS SOUPS 902031 WITH SCORE 903526.73
AT ITER 3939 NEW BEST:: SOT 6778178 SOS 1496400 HAS SOPS 1496400 HAS SOUS 901965 HAS SOUPS 901965 WITH SCORE 903461.4
AT ITER 3954 NEW BEST:: SOT 6778178 SOS 1496262 HAS SOPS 1496262 HAS SOUS 901965 HAS SOUPS 901965 WITH SCORE 903461.262
AT ITER 3965 NEW BEST:: SOT 6777536 SOS 1496112 HAS SOPS 1496112 HAS SOUS 901568 HAS SOUPS 901568 WITH SCORE 903064.112
AT ITER 3972 NEW BEST:: SOT 6777240 SOS 1496064 HAS SOPS 1496064 HAS SOUS 900960 HAS SOUPS 900960 WITH SCORE 902456.064
AT ITER 3992 NEW BEST:: SOT 6777240 SOS 1496414 HAS SOPS 1496414 HAS SOUS 900959 HAS SOUPS 900959 WITH SCORE 902455.414
AT ITER 3996 NEW BEST:: SOT 6777114 SOS 1496162 HAS SOPS 1496162 HAS SOUS 900693 HAS SOUPS 900693 WITH SCORE 902189.162
AT ITER 4019 NEW BEST:: SOT 6777161 SOS 1495753 HAS SOPS 1495753 HAS SOUS 900284 HAS SOUPS 900284 WITH SCORE 901779.753
AT ITER 4023 NEW BEST:: SOT 6777161 SOS 1495333 HAS SOPS 1495333 HAS SOUS 900144 HAS SOUPS 900144 WITH SCORE 901639.333
AT ITER 4085 NEW BEST:: SOT 6776770 SOS 1495485 HAS SOPS 1495485 HAS SOUS 899301 HAS SOUPS 899301 WITH SCORE 900796.485
AT ITER 4162 NEW BEST:: SOT 6776770 SOS 1495619 HAS SOPS 1495619 HAS SOUS 899295 HAS SOUPS 899295 WITH SCORE 900790.619
AT ITER 4175 NEW BEST:: SOT 6776718 SOS 1494044 HAS SOPS 1494044 HAS SOUS 898699 HAS SOUPS 898699 WITH SCORE 900193.044
AT ITER 4216 NEW BEST:: SOT 6776716 SOS 1494040 HAS SOPS 1494040 HAS SOUS 898695 HAS SOUPS 898695 WITH SCORE 900189.04
AT ITER 4220 NEW BEST:: SOT 6776309 SOS 1492577 HAS SOPS 1492577 HAS SOUS 898508 HAS SOUPS 898508 WITH SCORE 900000.577
AT ITER 4221 NEW BEST:: SOT 6776309 SOS 1493294 HAS SOPS 1493294 HAS SOUS 898507 HAS SOUPS 898507 WITH SCORE 900000.294
AT ITER 4224 NEW BEST:: SOT 6776123 SOS 1493015 HAS SOPS 1493015 HAS SOUS 898228 HAS SOUPS 898228 WITH SCORE 899721.015
AT ITER 4226 NEW BEST:: SOT 6776057 SOS 1492964 HAS SOPS 1492964 HAS SOUS 898177 HAS SOUPS 898177 WITH SCORE 899669.964
AT ITER 4235 NEW BEST:: SOT 6776056 SOS 1492962 HAS SOPS 1492962 HAS SOUS 898175 HAS SOUPS 898175 WITH SCORE 899667.962
AT ITER 4268 NEW BEST:: SOT 6776056 SOS 1492962 HAS SOPS 1492962 HAS SOUS 897556 HAS SOUPS 897556 WITH SCORE 899048.962
AT ITER 4282 NEW BEST:: SOT 6775796 SOS 1492723 HAS SOPS 1492723 HAS SOUS 897317 HAS SOUPS 897317 WITH SCORE 898809.723
AT ITER 4283 NEW BEST:: SOT 6775456 SOS 1492669 HAS SOPS 1492669 HAS SOUS 897007 HAS SOUPS 897007 WITH SCORE 898499.669
AT ITER 4288 NEW BEST:: SOT 6775456 SOS 1492632 HAS SOPS 1492632 HAS SOUS 896970 HAS SOUPS 896970 WITH SCORE 898462.632
AT ITER 4316 NEW BEST:: SOT 6775257 SOS 1492234 HAS SOPS 1492234 HAS SOUS 896572 HAS SOUPS 896572 WITH SCORE 898064.234
AT ITER 4339 NEW BEST:: SOT 6775092 SOS 1491574 HAS SOPS 1491574 HAS SOUS 896242 HAS SOUPS 896242 WITH SCORE 897733.574
AT ITER 4345 NEW BEST:: SOT 6775055 SOS 1491537 HAS SOPS 1491537 HAS SOUS 896205 HAS SOUPS 896205 WITH SCORE 897696.537
AT ITER 4370 NEW BEST:: SOT 6773475 SOS 1489829 HAS SOPS 1489829 HAS SOUS 895295 HAS SOUPS 895295 WITH SCORE 896784.829
AT ITER 4377 NEW BEST:: SOT 6773474 SOS 1489827 HAS SOPS 1489827 HAS SOUS 895293 HAS SOUPS 895293 WITH SCORE 896782.827
AT ITER 4381 NEW BEST:: SOT 6773442 SOS 1489763 HAS SOPS 1489763 HAS SOUS 895229 HAS SOUPS 895229 WITH SCORE 896718.763
AT ITER 4393 NEW BEST:: SOT 6773074 SOS 1489391 HAS SOPS 1489391 HAS SOUS 894860 HAS SOUPS 894860 WITH SCORE 896349.391
AT ITER 4413 NEW BEST:: SOT 6772988 SOS 1489579 HAS SOPS 1489579 HAS SOUS 894774 HAS SOUPS 894774 WITH SCORE 896263.579
AT ITER 4453 NEW BEST:: SOT 6772933 SOS 1489469 HAS SOPS 1489469 HAS SOUS 894664 HAS SOUPS 894664 WITH SCORE 896153.469
AT ITER 4461 NEW BEST:: SOT 6773087 SOS 1493827 HAS SOPS 1493827 HAS SOUS 894630 HAS SOUPS 894630 WITH SCORE 896123.827
AT ITER 4492 NEW BEST:: SOT 6773052 SOS 1493757 HAS SOPS 1493757 HAS SOUS 894560 HAS SOUPS 894560 WITH SCORE 896053.757
AT ITER 4527 NEW BEST:: SOT 6772731 SOS 1493187 HAS SOPS 1493187 HAS SOUS 894503 HAS SOUPS 894503 WITH SCORE 895996.187
AT ITER 4537 NEW BEST:: SOT 6772686 SOS 1493097 HAS SOPS 1493097 HAS SOUS 894503 HAS SOUPS 894503 WITH SCORE 895996.097
AT ITER 4545 NEW BEST:: SOT 6772209 SOS 1487355 HAS SOPS 1487355 HAS SOUS 893549 HAS SOUPS 893549 WITH SCORE 895036.355
AT ITER 4563 NEW BEST:: SOT 6772209 SOS 1487287 HAS SOPS 1487287 HAS SOUS 893549 HAS SOUPS 893549 WITH SCORE 895036.287
AT ITER 4603 NEW BEST:: SOT 6771812 SOS 1486886 HAS SOPS 1486886 HAS SOUS 893351 HAS SOUPS 893351 WITH SCORE 894837.886
AT ITER 4658 NEW BEST:: SOT 6771800 SOS 1486862 HAS SOPS 1486862 HAS SOUS 893327 HAS SOUPS 893327 WITH SCORE 894813.862
AT ITER 4665 NEW BEST:: SOT 6771591 SOS 1484552 HAS SOPS 1484552 HAS SOUS 892909 HAS SOUPS 892909 WITH SCORE 894393.552
AT ITER 4688 NEW BEST:: SOT 6771516 SOS 1484314 HAS SOPS 1484314 HAS SOUS 892843 HAS SOUPS 892843 WITH SCORE 894327.314
AT ITER 4690 NEW BEST:: SOT 6771400 SOS 1484256 HAS SOPS 1484256 HAS SOUS 892785 HAS SOUPS 892785 WITH SCORE 894269.256
AT ITER 4749 NEW BEST:: SOT 6771400 SOS 1483620 HAS SOPS 1483620 HAS SOUS 892573 HAS SOUPS 892573 WITH SCORE 894056.62
AT ITER 4751 NEW BEST:: SOT 6771157 SOS 1483377 HAS SOPS 1483377 HAS SOUS 892330 HAS SOUPS 892330 WITH SCORE 893813.377
AT ITER 4771 NEW BEST:: SOT 6770993 SOS 1483049 HAS SOPS 1483049 HAS SOUS 892077 HAS SOUPS 892077 WITH SCORE 893560.049
AT ITER 4788 NEW BEST:: SOT 6770906 SOS 1482762 HAS SOPS 1482762 HAS SOUS 892057 HAS SOUPS 892057 WITH SCORE 893539.762
AT ITER 4797 NEW BEST:: SOT 6771035 SOS 1482009 HAS SOPS 1482009 HAS SOUS 891913 HAS SOUPS 891913 WITH SCORE 893395.009
AT ITER 4808 NEW BEST:: SOT 6770651 SOS 1481241 HAS SOPS 1481241 HAS SOUS 891529 HAS SOUPS 891529 WITH SCORE 893010.241
AT ITER 4893 NEW BEST:: SOT 6770276 SOS 1480866 HAS SOPS 1480866 HAS SOUS 891154 HAS SOUPS 891154 WITH SCORE 892634.866
AT ITER 4915 NEW BEST:: SOT 6770219 SOS 1480752 HAS SOPS 1480752 HAS SOUS 891007 HAS SOUPS 891007 WITH SCORE 892487.752
AT ITER 4923 NEW BEST:: SOT 6769922 SOS 1480158 HAS SOPS 1480158 HAS SOUS 890887 HAS SOUPS 890887 WITH SCORE 892367.158
AT ITER 4927 NEW BEST:: SOT 6769921 SOS 1480156 HAS SOPS 1480156 HAS SOUS 890885 HAS SOUPS 890885 WITH SCORE 892365.156
AT ITER 4930 NEW BEST:: SOT 6769921 SOS 1479921 HAS SOPS 1479921 HAS SOUS 890650 HAS SOUPS 890650 WITH SCORE 892129.921
AT ITER 4946 NEW BEST:: SOT 6770088 SOS 1480255 HAS SOPS 1480255 HAS SOUS 890307 HAS SOUPS 890307 WITH SCORE 891787.255
AT ITER 4947 NEW BEST:: SOT 6770010 SOS 1480099 HAS SOPS 1480099 HAS SOUS 890151 HAS SOUPS 890151 WITH SCORE 891631.099
Bounds file is: CTLFireability.xml
PROPERTY: DLCround-PT-07b-CTLFireability-00 ( (EU( ((potential((tk(P1123)>=1)))) , (EF( ((potential((tk(P1962)>=1)))))) )) & (! ( ((potential((tk(P927)>=1) & (tk(P2607)>=1)))) & (AF( (! ((potential((tk(P1895)>=1))))))) )) )
PROPERTY: DLCround-PT-07b-CTLFireability-01 (AF( (! ( ( ( ((potential((tk(P931)>=1)))) & ((potential((tk(P915)>=1)))) ) & ( ((potential((tk(P612)>=1) & (tk(P1660)>=1)))) & ((potential((tk(P646)>=1)))) ) ) | (! ( ((potential((tk(P2435)>=1)))) | ((potential((tk(P1955)>=1)))) )) ))))
PROPERTY: DLCround-PT-07b-CTLFireability-02 (AX( (AF( ((potential((tk(P1781)>=1))))))))
PROPERTY: DLCround-PT-07b-CTLFireability-03 (EF( (EG( ((potential((tk(P62)>=1))))))))
PROPERTY: DLCround-PT-07b-CTLFireability-04 (! (AF( ((potential((tk(P1854)>=1)))))))
PROPERTY: DLCround-PT-07b-CTLFireability-05 (AF( ( ( ( ( ((potential((tk(P1861)>=1)))) | ((potential((tk(P1841)>=1)))) ) | ( ((potential((tk(P41)>=1)))) & ((potential((tk(P161)>=1)))) ) ) | ((potential((tk(P1055)>=1) & (tk(P2560)>=1)))) ) | ( (! (! ((potential((tk(P1295)>=1) & (tk(P2680)>=1)))))) & (AX( ((potential((tk(P559)>=1)))))) ) )))
PROPERTY: DLCround-PT-07b-CTLFireability-06 (AU( (EX( (! ((potential((tk(P1295)>=1) & (tk(P2670)>=1))))))) , (EX( ((potential((tk(P721)>=1) & (tk(P2310)>=1)))))) ))
PROPERTY: DLCround-PT-07b-CTLFireability-07 (AF( ( (AG( ((potential((tk(P1289)>=1) & (tk(P2207)>=1)))))) & ( (EX( ((potential((tk(P499)>=1)))))) & (EX( ((potential((tk(P1305)>=1) & (tk(P2660)>=1)))))) ) )))
PROPERTY: DLCround-PT-07b-CTLFireability-08 (AF( (AG( (! ( ((potential((tk(P769)>=1)))) & ((potential((tk(P972)>=1) & (tk(P2440)>=1)))) ))))))
PROPERTY: DLCround-PT-07b-CTLFireability-09 ( ((potential((tk(P368)>=1)))) | ( (! (EF( ((potential((tk(P825)>=1) & (tk(P2400)>=1))))))) & (AF( (EX( ((potential((tk(P1077)>=1)))))))) ) )
PROPERTY: DLCround-PT-07b-CTLFireability-10 (EG( (EF( (AF( ((potential((tk(P825)>=1) & (tk(P2410)>=1))))))))))
PROPERTY: DLCround-PT-07b-CTLFireability-11 (EF( ( ( (AG( ((potential((tk(P623)>=1) & (tk(P2280)>=1)))))) & (AG( ((potential((tk(P2661)>=1)))))) ) & ((potential((tk(P131)>=1)))) )))
PROPERTY: DLCround-PT-07b-CTLFireability-12 ( (AF( ( ((potential((tk(P331)>=1)))) | ((potential((tk(P2258)>=1)))) ))) | ( (EF( (! ( ((potential((tk(P2444)>=1)))) & ((potential((tk(P908)>=1) & (tk(P2430)>=1)))) )))) & (AF( (EX( ((potential((tk(P1497)>=1)))))))) ) )
PROPERTY: DLCround-PT-07b-CTLFireability-13 (AU( ( ( ( ((potential((tk(P1007)>=1)))) | ((potential((tk(P2668)>=1)))) ) | ( ((potential((tk(P642)>=1) & (tk(P2250)>=1)))) | ((potential((tk(P288)>=1)))) ) ) & (AF( ((potential((tk(P858)>=1) & (tk(P2360)>=1)))))) ) , ( ( ((potential((tk(P467)>=1)))) | ( ((potential((tk(P9)>=1)))) & ((potential((tk(P1273)>=1)))) ) ) | (EF( ((potential((tk(P1213)>=1)))))) ) ))
PROPERTY: DLCround-PT-07b-CTLFireability-14 (AF( ( (! (AG( ((potential((tk(P657)>=1))))))) & (AX( ((potential((tk(P2189)>=1)))))) )))
PROPERTY: DLCround-PT-07b-CTLFireability-15 (EF( ((potential((tk(P1343)>=1) & (tk(P2640)>=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="DLCround-PT-07b"
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 DLCround-PT-07b, 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-158902542300524"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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