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

--------------------
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-CTLCardinality-00
FORMULA_NAME DLCround-PT-07b-CTLCardinality-01
FORMULA_NAME DLCround-PT-07b-CTLCardinality-02
FORMULA_NAME DLCround-PT-07b-CTLCardinality-03
FORMULA_NAME DLCround-PT-07b-CTLCardinality-04
FORMULA_NAME DLCround-PT-07b-CTLCardinality-05
FORMULA_NAME DLCround-PT-07b-CTLCardinality-06
FORMULA_NAME DLCround-PT-07b-CTLCardinality-07
FORMULA_NAME DLCround-PT-07b-CTLCardinality-08
FORMULA_NAME DLCround-PT-07b-CTLCardinality-09
FORMULA_NAME DLCround-PT-07b-CTLCardinality-10
FORMULA_NAME DLCround-PT-07b-CTLCardinality-11
FORMULA_NAME DLCround-PT-07b-CTLCardinality-12
FORMULA_NAME DLCround-PT-07b-CTLCardinality-13
FORMULA_NAME DLCround-PT-07b-CTLCardinality-14
FORMULA_NAME DLCround-PT-07b-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589125858364

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 07b
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 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 23 NEW BEST:: SOT 6825208 SOS 1534088 HAS SOPS 1534088 HAS SOUS 962707 HAS SOUPS 962707 WITH SCORE 964241.088
AT ITER 27 NEW BEST:: SOT 6825208 SOS 1533984 HAS SOPS 1533984 HAS SOUS 962707 HAS SOUPS 962707 WITH SCORE 964240.984
AT ITER 44 NEW BEST:: SOT 6824858 SOS 1533630 HAS SOPS 1533630 HAS SOUS 962356 HAS SOUPS 962356 WITH SCORE 963889.63
AT ITER 66 NEW BEST:: SOT 6824769 SOS 1534088 HAS SOPS 1534088 HAS SOUS 962267 HAS SOUPS 962267 WITH SCORE 963801.088
AT ITER 154 NEW BEST:: SOT 6824597 SOS 1533744 HAS SOPS 1533744 HAS SOUS 961923 HAS SOUPS 961923 WITH SCORE 963456.744
AT ITER 184 NEW BEST:: SOT 6824597 SOS 1534259 HAS SOPS 1534259 HAS SOUS 961922 HAS SOUPS 961922 WITH SCORE 963456.259
AT ITER 198 NEW BEST:: SOT 6824384 SOS 1533833 HAS SOPS 1533833 HAS SOUS 961708 HAS SOUPS 961708 WITH SCORE 963241.833
AT ITER 206 NEW BEST:: SOT 6824383 SOS 1533831 HAS SOPS 1533831 HAS SOUS 961706 HAS SOUPS 961706 WITH SCORE 963239.831
AT ITER 214 NEW BEST:: SOT 6824370 SOS 1533823 HAS SOPS 1533823 HAS SOUS 961688 HAS SOUPS 961688 WITH SCORE 963221.823
AT ITER 219 NEW BEST:: SOT 6824370 SOS 1534641 HAS SOPS 1534641 HAS SOUS 961686 HAS SOUPS 961686 WITH SCORE 963220.641
AT ITER 246 NEW BEST:: SOT 6824293 SOS 1534487 HAS SOPS 1534487 HAS SOUS 961532 HAS SOUPS 961532 WITH SCORE 963066.487
AT ITER 280 NEW BEST:: SOT 6824184 SOS 1534183 HAS SOPS 1534183 HAS SOUS 961228 HAS SOUPS 961228 WITH SCORE 962762.183
AT ITER 282 NEW BEST:: SOT 6823772 SOS 1533767 HAS SOPS 1533767 HAS SOUS 960815 HAS SOUPS 960815 WITH SCORE 962348.767
AT ITER 298 NEW BEST:: SOT 6823580 SOS 1533383 HAS SOPS 1533383 HAS SOUS 960431 HAS SOUPS 960431 WITH SCORE 961964.383
AT ITER 313 NEW BEST:: SOT 6822915 SOS 1532053 HAS SOPS 1532053 HAS SOUS 959101 HAS SOUPS 959101 WITH SCORE 960633.053
AT ITER 315 NEW BEST:: SOT 6822535 SOS 1531683 HAS SOPS 1531683 HAS SOUS 958721 HAS SOUPS 958721 WITH SCORE 960252.683
AT ITER 317 NEW BEST:: SOT 6822535 SOS 1531479 HAS SOPS 1531479 HAS SOUS 958517 HAS SOUPS 958517 WITH SCORE 960048.479
AT ITER 336 NEW BEST:: SOT 6821921 SOS 1531325 HAS SOPS 1531325 HAS SOUS 958296 HAS SOUPS 958296 WITH SCORE 959827.325
AT ITER 353 NEW BEST:: SOT 6821921 SOS 1532881 HAS SOPS 1532881 HAS SOUS 958294 HAS SOUPS 958294 WITH SCORE 959826.881
AT ITER 361 NEW BEST:: SOT 6821920 SOS 1532879 HAS SOPS 1532879 HAS SOUS 958292 HAS SOUPS 958292 WITH SCORE 959824.879
AT ITER 363 NEW BEST:: SOT 6820867 SOS 1531727 HAS SOPS 1531727 HAS SOUS 957133 HAS SOUPS 957133 WITH SCORE 958664.727
AT ITER 396 NEW BEST:: SOT 6820767 SOS 1531875 HAS SOPS 1531875 HAS SOUS 957095 HAS SOUPS 957095 WITH SCORE 958626.875
AT ITER 467 NEW BEST:: SOT 6820675 SOS 1531691 HAS SOPS 1531691 HAS SOUS 957003 HAS SOUPS 957003 WITH SCORE 958534.691
AT ITER 474 NEW BEST:: SOT 6819623 SOS 1530639 HAS SOPS 1530639 HAS SOUS 955951 HAS SOUPS 955951 WITH SCORE 957481.639
AT ITER 501 NEW BEST:: SOT 6819639 SOS 1530671 HAS SOPS 1530671 HAS SOUS 955924 HAS SOUPS 955924 WITH SCORE 957454.671
AT ITER 512 NEW BEST:: SOT 6819548 SOS 1530489 HAS SOPS 1530489 HAS SOUS 955742 HAS SOUPS 955742 WITH SCORE 957272.489
AT ITER 518 NEW BEST:: SOT 6819410 SOS 1530627 HAS SOPS 1530627 HAS SOUS 955604 HAS SOUPS 955604 WITH SCORE 957134.627
AT ITER 554 NEW BEST:: SOT 6819409 SOS 1530625 HAS SOPS 1530625 HAS SOUS 955602 HAS SOUPS 955602 WITH SCORE 957132.625
AT ITER 589 NEW BEST:: SOT 6819368 SOS 1530543 HAS SOPS 1530543 HAS SOUS 955475 HAS SOUPS 955475 WITH SCORE 957005.543
AT ITER 594 NEW BEST:: SOT 6819368 SOS 1530528 HAS SOPS 1530528 HAS SOUS 955452 HAS SOUPS 955452 WITH SCORE 956982.528
AT ITER 600 NEW BEST:: SOT 6819368 SOS 1531172 HAS SOPS 1531172 HAS SOUS 955451 HAS SOUPS 955451 WITH SCORE 956982.172
AT ITER 609 NEW BEST:: SOT 6819208 SOS 1531104 HAS SOPS 1531104 HAS SOUS 955223 HAS SOUPS 955223 WITH SCORE 956754.104
AT ITER 620 NEW BEST:: SOT 6819208 SOS 1531616 HAS SOPS 1531616 HAS SOUS 955222 HAS SOUPS 955222 WITH SCORE 956753.616
AT ITER 624 NEW BEST:: SOT 6818681 SOS 1531246 HAS SOPS 1531246 HAS SOUS 954713 HAS SOUPS 954713 WITH SCORE 956244.246
AT ITER 638 NEW BEST:: SOT 6818571 SOS 1531026 HAS SOPS 1531026 HAS SOUS 954493 HAS SOUPS 954493 WITH SCORE 956024.026
AT ITER 659 NEW BEST:: SOT 6818571 SOS 1531089 HAS SOPS 1531089 HAS SOUS 954492 HAS SOUPS 954492 WITH SCORE 956023.089
AT ITER 668 NEW BEST:: SOT 6818485 SOS 1531003 HAS SOPS 1531003 HAS SOUS 954406 HAS SOUPS 954406 WITH SCORE 955937.003
AT ITER 670 NEW BEST:: SOT 6818460 SOS 1530953 HAS SOPS 1530953 HAS SOUS 954084 HAS SOUPS 954084 WITH SCORE 955614.953
AT ITER 699 NEW BEST:: SOT 6818639 SOS 1531311 HAS SOPS 1531311 HAS SOUS 954035 HAS SOUPS 954035 WITH SCORE 955566.311
AT ITER 704 NEW BEST:: SOT 6816937 SOS 1532610 HAS SOPS 1532610 HAS SOUS 952626 HAS SOUPS 952626 WITH SCORE 954158.61
AT ITER 710 NEW BEST:: SOT 6816937 SOS 1532512 HAS SOPS 1532512 HAS SOUS 952577 HAS SOUPS 952577 WITH SCORE 954109.512
AT ITER 728 NEW BEST:: SOT 6816748 SOS 1530996 HAS SOPS 1530996 HAS SOUS 952198 HAS SOUPS 952198 WITH SCORE 953728.996
AT ITER 730 NEW BEST:: SOT 6816461 SOS 1531843 HAS SOPS 1531843 HAS SOUS 951623 HAS SOUPS 951623 WITH SCORE 953154.843
AT ITER 765 NEW BEST:: SOT 6816283 SOS 1531662 HAS SOPS 1531662 HAS SOUS 951444 HAS SOUPS 951444 WITH SCORE 952975.662
AT ITER 778 NEW BEST:: SOT 6816200 SOS 1531496 HAS SOPS 1531496 HAS SOUS 951278 HAS SOUPS 951278 WITH SCORE 952809.496
AT ITER 785 NEW BEST:: SOT 6816199 SOS 1531494 HAS SOPS 1531494 HAS SOUS 951276 HAS SOUPS 951276 WITH SCORE 952807.494
AT ITER 792 NEW BEST:: SOT 6815996 SOS 1531291 HAS SOPS 1531291 HAS SOUS 951073 HAS SOUPS 951073 WITH SCORE 952604.291
AT ITER 837 NEW BEST:: SOT 6815481 SOS 1528716 HAS SOPS 1528716 HAS SOUS 950043 HAS SOUPS 950043 WITH SCORE 951571.716
AT ITER 872 NEW BEST:: SOT 6815423 SOS 1528600 HAS SOPS 1528600 HAS SOUS 949697 HAS SOUPS 949697 WITH SCORE 951225.6
AT ITER 874 NEW BEST:: SOT 6815177 SOS 1529359 HAS SOPS 1529359 HAS SOUS 949451 HAS SOUPS 949451 WITH SCORE 950980.359
AT ITER 880 NEW BEST:: SOT 6815177 SOS 1529877 HAS SOPS 1529877 HAS SOUS 949449 HAS SOUPS 949449 WITH SCORE 950978.877
AT ITER 900 NEW BEST:: SOT 6814991 SOS 1529505 HAS SOPS 1529505 HAS SOUS 949077 HAS SOUPS 949077 WITH SCORE 950606.505
AT ITER 903 NEW BEST:: SOT 6814618 SOS 1529132 HAS SOPS 1529132 HAS SOUS 948704 HAS SOUPS 948704 WITH SCORE 950233.132
AT ITER 910 NEW BEST:: SOT 6814618 SOS 1529977 HAS SOPS 1529977 HAS SOUS 948703 HAS SOUPS 948703 WITH SCORE 950232.977
AT ITER 933 NEW BEST:: SOT 6814004 SOS 1526293 HAS SOPS 1526293 HAS SOUS 947782 HAS SOUPS 947782 WITH SCORE 949308.293
AT ITER 947 NEW BEST:: SOT 6814004 SOS 1526082 HAS SOPS 1526082 HAS SOUS 947571 HAS SOUPS 947571 WITH SCORE 949097.082
AT ITER 974 NEW BEST:: SOT 6814004 SOS 1526088 HAS SOPS 1526088 HAS SOUS 947570 HAS SOUPS 947570 WITH SCORE 949096.088
AT ITER 991 NEW BEST:: SOT 6813708 SOS 1525496 HAS SOPS 1525496 HAS SOUS 947274 HAS SOUPS 947274 WITH SCORE 948799.496
AT ITER 1008 NEW BEST:: SOT 6813639 SOS 1525427 HAS SOPS 1525427 HAS SOUS 947205 HAS SOUPS 947205 WITH SCORE 948730.427
AT ITER 1012 NEW BEST:: SOT 6812703 SOS 1524428 HAS SOPS 1524428 HAS SOUS 946903 HAS SOUPS 946903 WITH SCORE 948427.428
AT ITER 1029 NEW BEST:: SOT 6812743 SOS 1524402 HAS SOPS 1524402 HAS SOUS 946877 HAS SOUPS 946877 WITH SCORE 948401.402
AT ITER 1033 NEW BEST:: SOT 6812045 SOS 1523355 HAS SOPS 1523355 HAS SOUS 945830 HAS SOUPS 945830 WITH SCORE 947353.355
AT ITER 1037 NEW BEST:: SOT 6811513 SOS 1524604 HAS SOPS 1524604 HAS SOUS 945297 HAS SOUPS 945297 WITH SCORE 946821.604
AT ITER 1066 NEW BEST:: SOT 6811059 SOS 1523696 HAS SOPS 1523696 HAS SOUS 944389 HAS SOUPS 944389 WITH SCORE 945912.696
AT ITER 1085 NEW BEST:: SOT 6810874 SOS 1523710 HAS SOPS 1523710 HAS SOUS 944332 HAS SOUPS 944332 WITH SCORE 945855.71
AT ITER 1102 NEW BEST:: SOT 6810874 SOS 1523710 HAS SOPS 1523710 HAS SOUS 944193 HAS SOUPS 944193 WITH SCORE 945716.71
AT ITER 1118 NEW BEST:: SOT 6810471 SOS 1521695 HAS SOPS 1521695 HAS SOUS 943387 HAS SOUPS 943387 WITH SCORE 944908.695
AT ITER 1125 NEW BEST:: SOT 6810123 SOS 1521521 HAS SOPS 1521521 HAS SOUS 943213 HAS SOUPS 943213 WITH SCORE 944734.521
AT ITER 1181 NEW BEST:: SOT 6809467 SOS 1520865 HAS SOPS 1520865 HAS SOUS 942557 HAS SOUPS 942557 WITH SCORE 944077.865
AT ITER 1195 NEW BEST:: SOT 6809467 SOS 1521249 HAS SOPS 1521249 HAS SOUS 942556 HAS SOUPS 942556 WITH SCORE 944077.249
AT ITER 1196 NEW BEST:: SOT 6809410 SOS 1521135 HAS SOPS 1521135 HAS SOUS 942499 HAS SOUPS 942499 WITH SCORE 944020.135
AT ITER 1209 NEW BEST:: SOT 6809389 SOS 1521283 HAS SOPS 1521283 HAS SOUS 942476 HAS SOUPS 942476 WITH SCORE 943997.283
AT ITER 1215 NEW BEST:: SOT 6808851 SOS 1520189 HAS SOPS 1520189 HAS SOUS 941799 HAS SOUPS 941799 WITH SCORE 943319.189
AT ITER 1224 NEW BEST:: SOT 6808666 SOS 1520162 HAS SOPS 1520162 HAS SOUS 941772 HAS SOUPS 941772 WITH SCORE 943292.162
AT ITER 1235 NEW BEST:: SOT 6808626 SOS 1520159 HAS SOPS 1520159 HAS SOUS 941771 HAS SOUPS 941771 WITH SCORE 943291.159
AT ITER 1250 NEW BEST:: SOT 6808549 SOS 1520005 HAS SOPS 1520005 HAS SOUS 941311 HAS SOUPS 941311 WITH SCORE 942831.005
AT ITER 1257 NEW BEST:: SOT 6808549 SOS 1520005 HAS SOPS 1520005 HAS SOUS 941074 HAS SOUPS 941074 WITH SCORE 942594.005
AT ITER 1263 NEW BEST:: SOT 6808549 SOS 1520284 HAS SOPS 1520284 HAS SOUS 941073 HAS SOUPS 941073 WITH SCORE 942593.284
AT ITER 1267 NEW BEST:: SOT 6808549 SOS 1520144 HAS SOPS 1520144 HAS SOUS 941038 HAS SOUPS 941038 WITH SCORE 942558.144
AT ITER 1310 NEW BEST:: SOT 6807760 SOS 1519842 HAS SOPS 1519842 HAS SOUS 940367 HAS SOUPS 940367 WITH SCORE 941886.842
AT ITER 1375 NEW BEST:: SOT 6807864 SOS 1520050 HAS SOPS 1520050 HAS SOUS 939882 HAS SOUPS 939882 WITH SCORE 941402.05
AT ITER 1384 NEW BEST:: SOT 6807505 SOS 1519691 HAS SOPS 1519691 HAS SOUS 939523 HAS SOUPS 939523 WITH SCORE 941042.691
AT ITER 1387 NEW BEST:: SOT 6807288 SOS 1519384 HAS SOPS 1519384 HAS SOUS 939203 HAS SOUPS 939203 WITH SCORE 940722.384
AT ITER 1390 NEW BEST:: SOT 6807288 SOS 1519229 HAS SOPS 1519229 HAS SOUS 939203 HAS SOUPS 939203 WITH SCORE 940722.229
AT ITER 1414 NEW BEST:: SOT 6807089 SOS 1519129 HAS SOPS 1519129 HAS SOUS 939103 HAS SOUPS 939103 WITH SCORE 940622.129
AT ITER 1416 NEW BEST:: SOT 6806859 SOS 1518669 HAS SOPS 1518669 HAS SOUS 938643 HAS SOUPS 938643 WITH SCORE 940161.669
AT ITER 1430 NEW BEST:: SOT 6807967 SOS 1518845 HAS SOPS 1518845 HAS SOUS 938117 HAS SOUPS 938117 WITH SCORE 939635.845
AT ITER 1434 NEW BEST:: SOT 6807684 SOS 1518279 HAS SOPS 1518279 HAS SOUS 937833 HAS SOUPS 937833 WITH SCORE 939351.279
AT ITER 1441 NEW BEST:: SOT 6807208 SOS 1517645 HAS SOPS 1517645 HAS SOUS 937517 HAS SOUPS 937517 WITH SCORE 939034.645
AT ITER 1451 NEW BEST:: SOT 6806540 SOS 1517311 HAS SOPS 1517311 HAS SOUS 937183 HAS SOUPS 937183 WITH SCORE 938700.311
AT ITER 1452 NEW BEST:: SOT 6806128 SOS 1515975 HAS SOPS 1515975 HAS SOUS 936707 HAS SOUPS 936707 WITH SCORE 938222.975
AT ITER 1464 NEW BEST:: SOT 6806128 SOS 1516086 HAS SOPS 1516086 HAS SOUS 936670 HAS SOUPS 936670 WITH SCORE 938186.086
AT ITER 1506 NEW BEST:: SOT 6806128 SOS 1516085 HAS SOPS 1516085 HAS SOUS 936669 HAS SOUPS 936669 WITH SCORE 938185.085
AT ITER 1517 NEW BEST:: SOT 6806104 SOS 1516061 HAS SOPS 1516061 HAS SOUS 936645 HAS SOUPS 936645 WITH SCORE 938161.061
AT ITER 1524 NEW BEST:: SOT 6806090 SOS 1516087 HAS SOPS 1516087 HAS SOUS 936617 HAS SOUPS 936617 WITH SCORE 938133.087
AT ITER 1560 NEW BEST:: SOT 6805525 SOS 1516355 HAS SOPS 1516355 HAS SOUS 936052 HAS SOUPS 936052 WITH SCORE 937568.355
AT ITER 1568 NEW BEST:: SOT 6805026 SOS 1515934 HAS SOPS 1515934 HAS SOUS 935937 HAS SOUPS 935937 WITH SCORE 937452.934
AT ITER 1569 NEW BEST:: SOT 6805026 SOS 1515905 HAS SOPS 1515905 HAS SOUS 935908 HAS SOUPS 935908 WITH SCORE 937423.905
AT ITER 1603 NEW BEST:: SOT 6804570 SOS 1511919 HAS SOPS 1511919 HAS SOUS 935099 HAS SOUPS 935099 WITH SCORE 936610.919
AT ITER 1608 NEW BEST:: SOT 6804570 SOS 1511821 HAS SOPS 1511821 HAS SOUS 935099 HAS SOUPS 935099 WITH SCORE 936610.821
AT ITER 1636 NEW BEST:: SOT 6804448 SOS 1511577 HAS SOPS 1511577 HAS SOUS 934855 HAS SOUPS 934855 WITH SCORE 936366.577
AT ITER 1642 NEW BEST:: SOT 6803899 SOS 1512126 HAS SOPS 1512126 HAS SOUS 934306 HAS SOUPS 934306 WITH SCORE 935818.126
AT ITER 1659 NEW BEST:: SOT 6803551 SOS 1511926 HAS SOPS 1511926 HAS SOUS 934286 HAS SOUPS 934286 WITH SCORE 935797.926
AT ITER 1698 NEW BEST:: SOT 6803519 SOS 1511910 HAS SOPS 1511910 HAS SOUS 934270 HAS SOUPS 934270 WITH SCORE 935781.91
AT ITER 1703 NEW BEST:: SOT 6803401 SOS 1511851 HAS SOPS 1511851 HAS SOUS 934211 HAS SOUPS 934211 WITH SCORE 935722.851
AT ITER 1708 NEW BEST:: SOT 6803287 SOS 1511623 HAS SOPS 1511623 HAS SOUS 933983 HAS SOUPS 933983 WITH SCORE 935494.623
AT ITER 1710 NEW BEST:: SOT 6803014 SOS 1511934 HAS SOPS 1511934 HAS SOUS 933430 HAS SOUPS 933430 WITH SCORE 934941.934
AT ITER 1723 NEW BEST:: SOT 6802825 SOS 1512879 HAS SOPS 1512879 HAS SOUS 933052 HAS SOUPS 933052 WITH SCORE 934564.879
AT ITER 1751 NEW BEST:: SOT 6802727 SOS 1512781 HAS SOPS 1512781 HAS SOUS 932954 HAS SOUPS 932954 WITH SCORE 934466.781
AT ITER 1757 NEW BEST:: SOT 6802689 SOS 1512591 HAS SOPS 1512591 HAS SOUS 932878 HAS SOUPS 932878 WITH SCORE 934390.591
AT ITER 1800 NEW BEST:: SOT 6801738 SOS 1511640 HAS SOPS 1511640 HAS SOUS 931927 HAS SOUPS 931927 WITH SCORE 933438.64
AT ITER 1840 NEW BEST:: SOT 6801728 SOS 1511620 HAS SOPS 1511620 HAS SOUS 931917 HAS SOUPS 931917 WITH SCORE 933428.62
AT ITER 1856 NEW BEST:: SOT 6801728 SOS 1511354 HAS SOPS 1511354 HAS SOUS 931651 HAS SOUPS 931651 WITH SCORE 933162.354
AT ITER 1906 NEW BEST:: SOT 6801728 SOS 1511563 HAS SOPS 1511563 HAS SOUS 931544 HAS SOUPS 931544 WITH SCORE 933055.563
AT ITER 1936 NEW BEST:: SOT 6801708 SOS 1511523 HAS SOPS 1511523 HAS SOUS 931504 HAS SOUPS 931504 WITH SCORE 933015.523
AT ITER 1937 NEW BEST:: SOT 6801542 SOS 1511519 HAS SOPS 1511519 HAS SOUS 931503 HAS SOUPS 931503 WITH SCORE 933014.519
AT ITER 1940 NEW BEST:: SOT 6801184 SOS 1511117 HAS SOPS 1511117 HAS SOUS 931053 HAS SOUPS 931053 WITH SCORE 932564.117
AT ITER 2003 NEW BEST:: SOT 6800713 SOS 1505936 HAS SOPS 1505936 HAS SOUS 930111 HAS SOUPS 930111 WITH SCORE 931616.936
AT ITER 2006 NEW BEST:: SOT 6800655 SOS 1505878 HAS SOPS 1505878 HAS SOUS 930108 HAS SOUPS 930108 WITH SCORE 931613.878
AT ITER 2012 NEW BEST:: SOT 6800655 SOS 1506077 HAS SOPS 1506077 HAS SOUS 930107 HAS SOUPS 930107 WITH SCORE 931613.077
AT ITER 2046 NEW BEST:: SOT 6800618 SOS 1507160 HAS SOPS 1507160 HAS SOUS 929944 HAS SOUPS 929944 WITH SCORE 931451.16
AT ITER 2083 NEW BEST:: SOT 6800196 SOS 1506781 HAS SOPS 1506781 HAS SOUS 929565 HAS SOUPS 929565 WITH SCORE 931071.781
AT ITER 2096 NEW BEST:: SOT 6800191 SOS 1507629 HAS SOPS 1507629 HAS SOUS 929555 HAS SOUPS 929555 WITH SCORE 931062.629
AT ITER 2097 NEW BEST:: SOT 6800060 SOS 1507498 HAS SOPS 1507498 HAS SOUS 929424 HAS SOUPS 929424 WITH SCORE 930931.498
AT ITER 2110 NEW BEST:: SOT 6800060 SOS 1507439 HAS SOPS 1507439 HAS SOUS 929365 HAS SOUPS 929365 WITH SCORE 930872.439
AT ITER 2131 NEW BEST:: SOT 6799798 SOS 1506915 HAS SOPS 1506915 HAS SOUS 928841 HAS SOUPS 928841 WITH SCORE 930347.915
AT ITER 2188 NEW BEST:: SOT 6799901 SOS 1505831 HAS SOPS 1505831 HAS SOUS 928565 HAS SOUPS 928565 WITH SCORE 930070.831
AT ITER 2218 NEW BEST:: SOT 6799896 SOS 1505821 HAS SOPS 1505821 HAS SOUS 928555 HAS SOUPS 928555 WITH SCORE 930060.821
AT ITER 2222 NEW BEST:: SOT 6799892 SOS 1505813 HAS SOPS 1505813 HAS SOUS 928547 HAS SOUPS 928547 WITH SCORE 930052.813
AT ITER 2289 NEW BEST:: SOT 6799892 SOS 1505720 HAS SOPS 1505720 HAS SOUS 928454 HAS SOUPS 928454 WITH SCORE 929959.72
AT ITER 2299 NEW BEST:: SOT 6799226 SOS 1505097 HAS SOPS 1505097 HAS SOUS 927100 HAS SOUPS 927100 WITH SCORE 928605.097
AT ITER 2317 NEW BEST:: SOT 6799056 SOS 1503857 HAS SOPS 1503857 HAS SOUS 926823 HAS SOUPS 926823 WITH SCORE 928326.857
AT ITER 2322 NEW BEST:: SOT 6798910 SOS 1503565 HAS SOPS 1503565 HAS SOUS 926531 HAS SOUPS 926531 WITH SCORE 928034.565
AT ITER 2334 NEW BEST:: SOT 6798846 SOS 1503562 HAS SOPS 1503562 HAS SOUS 926402 HAS SOUPS 926402 WITH SCORE 927905.562
AT ITER 2336 NEW BEST:: SOT 6798828 SOS 1503576 HAS SOPS 1503576 HAS SOUS 926383 HAS SOUPS 926383 WITH SCORE 927886.576
AT ITER 2352 NEW BEST:: SOT 6798494 SOS 1503430 HAS SOPS 1503430 HAS SOUS 926274 HAS SOUPS 926274 WITH SCORE 927777.43
AT ITER 2355 NEW BEST:: SOT 6798493 SOS 1503428 HAS SOPS 1503428 HAS SOUS 926272 HAS SOUPS 926272 WITH SCORE 927775.428
AT ITER 2365 NEW BEST:: SOT 6798210 SOS 1503134 HAS SOPS 1503134 HAS SOUS 925988 HAS SOUPS 925988 WITH SCORE 927491.134
AT ITER 2421 NEW BEST:: SOT 6797682 SOS 1502540 HAS SOPS 1502540 HAS SOUS 924800 HAS SOUPS 924800 WITH SCORE 926302.54
AT ITER 2437 NEW BEST:: SOT 6797682 SOS 1502540 HAS SOPS 1502540 HAS SOUS 924707 HAS SOUPS 924707 WITH SCORE 926209.54
AT ITER 2442 NEW BEST:: SOT 6797468 SOS 1502112 HAS SOPS 1502112 HAS SOUS 924279 HAS SOUPS 924279 WITH SCORE 925781.112
AT ITER 2443 NEW BEST:: SOT 6796847 SOS 1501490 HAS SOPS 1501490 HAS SOUS 923657 HAS SOUPS 923657 WITH SCORE 925158.49
AT ITER 2444 NEW BEST:: SOT 6796989 SOS 1503094 HAS SOPS 1503094 HAS SOUS 923316 HAS SOUPS 923316 WITH SCORE 924819.094
AT ITER 2451 NEW BEST:: SOT 6796989 SOS 1503083 HAS SOPS 1503083 HAS SOUS 923315 HAS SOUPS 923315 WITH SCORE 924818.083
AT ITER 2470 NEW BEST:: SOT 6796988 SOS 1503081 HAS SOPS 1503081 HAS SOUS 923313 HAS SOUPS 923313 WITH SCORE 924816.081
AT ITER 2482 NEW BEST:: SOT 6796971 SOS 1503047 HAS SOPS 1503047 HAS SOUS 923279 HAS SOUPS 923279 WITH SCORE 924782.047
AT ITER 2509 NEW BEST:: SOT 6797520 SOS 1504144 HAS SOPS 1504144 HAS SOUS 923171 HAS SOUPS 923171 WITH SCORE 924675.144
AT ITER 2537 NEW BEST:: SOT 6797371 SOS 1504144 HAS SOPS 1504144 HAS SOUS 923022 HAS SOUPS 923022 WITH SCORE 924526.144
AT ITER 2538 NEW BEST:: SOT 6797333 SOS 1504074 HAS SOPS 1504074 HAS SOUS 922986 HAS SOUPS 922986 WITH SCORE 924490.074
AT ITER 2541 NEW BEST:: SOT 6797037 SOS 1503482 HAS SOPS 1503482 HAS SOUS 922690 HAS SOUPS 922690 WITH SCORE 924193.482
AT ITER 2556 NEW BEST:: SOT 6796939 SOS 1503286 HAS SOPS 1503286 HAS SOUS 922494 HAS SOUPS 922494 WITH SCORE 923997.286
AT ITER 2623 NEW BEST:: SOT 6796598 SOS 1502604 HAS SOPS 1502604 HAS SOUS 921925 HAS SOUPS 921925 WITH SCORE 923427.604
AT ITER 2629 NEW BEST:: SOT 6796598 SOS 1502145 HAS SOPS 1502145 HAS SOUS 921921 HAS SOUPS 921921 WITH SCORE 923423.145
AT ITER 2642 NEW BEST:: SOT 6796509 SOS 1502056 HAS SOPS 1502056 HAS SOUS 921832 HAS SOUPS 921832 WITH SCORE 923334.056
AT ITER 2650 NEW BEST:: SOT 6796108 SOS 1501651 HAS SOPS 1501651 HAS SOUS 921430 HAS SOUPS 921430 WITH SCORE 922931.651
AT ITER 2748 NEW BEST:: SOT 6796147 SOS 1501629 HAS SOPS 1501629 HAS SOUS 921408 HAS SOUPS 921408 WITH SCORE 922909.629
AT ITER 2782 NEW BEST:: SOT 6796124 SOS 1501628 HAS SOPS 1501628 HAS SOUS 921407 HAS SOUPS 921407 WITH SCORE 922908.628
AT ITER 2794 NEW BEST:: SOT 6796124 SOS 1501690 HAS SOPS 1501690 HAS SOUS 921364 HAS SOUPS 921364 WITH SCORE 922865.69
AT ITER 2806 NEW BEST:: SOT 6796124 SOS 1501402 HAS SOPS 1501402 HAS SOUS 921220 HAS SOUPS 921220 WITH SCORE 922721.402
AT ITER 2830 NEW BEST:: SOT 6796250 SOS 1504840 HAS SOPS 1504840 HAS SOUS 921118 HAS SOUPS 921118 WITH SCORE 922622.84
AT ITER 2838 NEW BEST:: SOT 6796149 SOS 1504739 HAS SOPS 1504739 HAS SOUS 921118 HAS SOUPS 921118 WITH SCORE 922622.739
AT ITER 2855 NEW BEST:: SOT 6796149 SOS 1504807 HAS SOPS 1504807 HAS SOUS 921117 HAS SOUPS 921117 WITH SCORE 922621.807
AT ITER 2863 NEW BEST:: SOT 6796213 SOS 1504371 HAS SOPS 1504371 HAS SOUS 921076 HAS SOUPS 921076 WITH SCORE 922580.371
AT ITER 2879 NEW BEST:: SOT 6796213 SOS 1504367 HAS SOPS 1504367 HAS SOUS 921072 HAS SOUPS 921072 WITH SCORE 922576.367
AT ITER 2902 NEW BEST:: SOT 6796284 SOS 1505972 HAS SOPS 1505972 HAS SOUS 920968 HAS SOUPS 920968 WITH SCORE 922473.972
AT ITER 2922 NEW BEST:: SOT 6796177 SOS 1505865 HAS SOPS 1505865 HAS SOUS 920861 HAS SOUPS 920861 WITH SCORE 922366.865
AT ITER 2939 NEW BEST:: SOT 6795986 SOS 1505753 HAS SOPS 1505753 HAS SOUS 920759 HAS SOUPS 920759 WITH SCORE 922264.753
AT ITER 2943 NEW BEST:: SOT 6795602 SOS 1505587 HAS SOPS 1505587 HAS SOUS 919991 HAS SOUPS 919991 WITH SCORE 921496.587
AT ITER 2957 NEW BEST:: SOT 6795584 SOS 1505551 HAS SOPS 1505551 HAS SOUS 919973 HAS SOUPS 919973 WITH SCORE 921478.551
AT ITER 2961 NEW BEST:: SOT 6795354 SOS 1505548 HAS SOPS 1505548 HAS SOUS 919512 HAS SOUPS 919512 WITH SCORE 921017.548
AT ITER 3013 NEW BEST:: SOT 6795058 SOS 1505351 HAS SOPS 1505351 HAS SOUS 919315 HAS SOUPS 919315 WITH SCORE 920820.351
AT ITER 3016 NEW BEST:: SOT 6794928 SOS 1505347 HAS SOPS 1505347 HAS SOUS 919314 HAS SOUPS 919314 WITH SCORE 920819.347
AT ITER 3065 NEW BEST:: SOT 6794259 SOS 1505224 HAS SOPS 1505224 HAS SOUS 919151 HAS SOUPS 919151 WITH SCORE 920656.224
AT ITER 3084 NEW BEST:: SOT 6794195 SOS 1504904 HAS SOPS 1504904 HAS SOUS 919023 HAS SOUPS 919023 WITH SCORE 920527.904
AT ITER 3085 NEW BEST:: SOT 6794373 SOS 1505260 HAS SOPS 1505260 HAS SOUS 918931 HAS SOUPS 918931 WITH SCORE 920436.26
AT ITER 3118 NEW BEST:: SOT 6793794 SOS 1504778 HAS SOPS 1504778 HAS SOUS 918152 HAS SOUPS 918152 WITH SCORE 919656.778
AT ITER 3127 NEW BEST:: SOT 6793636 SOS 1504070 HAS SOPS 1504070 HAS SOUS 917798 HAS SOUPS 917798 WITH SCORE 919302.07
AT ITER 3137 NEW BEST:: SOT 6793658 SOS 1503634 HAS SOPS 1503634 HAS SOUS 917362 HAS SOUPS 917362 WITH SCORE 918865.634
AT ITER 3143 NEW BEST:: SOT 6793988 SOS 1503304 HAS SOPS 1503304 HAS SOUS 917362 HAS SOUPS 917362 WITH SCORE 918865.304
AT ITER 3149 NEW BEST:: SOT 6793988 SOS 1503300 HAS SOPS 1503300 HAS SOUS 917319 HAS SOUPS 917319 WITH SCORE 918822.3
AT ITER 3154 NEW BEST:: SOT 6793941 SOS 1503619 HAS SOPS 1503619 HAS SOUS 917224 HAS SOUPS 917224 WITH SCORE 918727.619
AT ITER 3172 NEW BEST:: SOT 6793922 SOS 1503580 HAS SOPS 1503580 HAS SOUS 916998 HAS SOUPS 916998 WITH SCORE 918501.58
AT ITER 3202 NEW BEST:: SOT 6793765 SOS 1503375 HAS SOPS 1503375 HAS SOUS 916793 HAS SOUPS 916793 WITH SCORE 918296.375
AT ITER 3239 NEW BEST:: SOT 6793627 SOS 1503375 HAS SOPS 1503375 HAS SOUS 916655 HAS SOUPS 916655 WITH SCORE 918158.375
AT ITER 3240 NEW BEST:: SOT 6793219 SOS 1503103 HAS SOPS 1503103 HAS SOUS 916383 HAS SOUPS 916383 WITH SCORE 917886.103
AT ITER 3257 NEW BEST:: SOT 6793217 SOS 1503055 HAS SOPS 1503055 HAS SOUS 916335 HAS SOUPS 916335 WITH SCORE 917838.055
AT ITER 3291 NEW BEST:: SOT 6793215 SOS 1503051 HAS SOPS 1503051 HAS SOUS 916331 HAS SOUPS 916331 WITH SCORE 917834.051
AT ITER 3314 NEW BEST:: SOT 6793215 SOS 1503051 HAS SOPS 1503051 HAS SOUS 916329 HAS SOUPS 916329 WITH SCORE 917832.051
AT ITER 3336 NEW BEST:: SOT 6792117 SOS 1504079 HAS SOPS 1504079 HAS SOUS 915759 HAS SOUPS 915759 WITH SCORE 917263.079
AT ITER 3337 NEW BEST:: SOT 6791944 SOS 1504107 HAS SOPS 1504107 HAS SOUS 915586 HAS SOUPS 915586 WITH SCORE 917090.107
AT ITER 3364 NEW BEST:: SOT 6791728 SOS 1503911 HAS SOPS 1503911 HAS SOUS 915400 HAS SOUPS 915400 WITH SCORE 916903.911
AT ITER 3368 NEW BEST:: SOT 6791700 SOS 1504152 HAS SOPS 1504152 HAS SOUS 915371 HAS SOUPS 915371 WITH SCORE 916875.152
AT ITER 3372 NEW BEST:: SOT 6791647 SOS 1504566 HAS SOPS 1504566 HAS SOUS 915317 HAS SOUPS 915317 WITH SCORE 916821.566
AT ITER 3388 NEW BEST:: SOT 6790061 SOS 1503746 HAS SOPS 1503746 HAS SOUS 915075 HAS SOUPS 915075 WITH SCORE 916578.746
AT ITER 3393 NEW BEST:: SOT 6790061 SOS 1503694 HAS SOPS 1503694 HAS SOUS 915075 HAS SOUPS 915075 WITH SCORE 916578.694
AT ITER 3419 NEW BEST:: SOT 6789895 SOS 1503528 HAS SOPS 1503528 HAS SOUS 914909 HAS SOUPS 914909 WITH SCORE 916412.528
AT ITER 3435 NEW BEST:: SOT 6789706 SOS 1503717 HAS SOPS 1503717 HAS SOUS 914616 HAS SOUPS 914616 WITH SCORE 916119.717
AT ITER 3465 NEW BEST:: SOT 6789605 SOS 1503801 HAS SOPS 1503801 HAS SOUS 914515 HAS SOUPS 914515 WITH SCORE 916018.801
AT ITER 3480 NEW BEST:: SOT 6789362 SOS 1503801 HAS SOPS 1503801 HAS SOUS 914272 HAS SOUPS 914272 WITH SCORE 915775.801
AT ITER 3488 NEW BEST:: SOT 6789362 SOS 1503625 HAS SOPS 1503625 HAS SOUS 914096 HAS SOUPS 914096 WITH SCORE 915599.625
AT ITER 3550 NEW BEST:: SOT 6788809 SOS 1503072 HAS SOPS 1503072 HAS SOUS 913543 HAS SOUPS 913543 WITH SCORE 915046.072
AT ITER 3575 NEW BEST:: SOT 6788801 SOS 1503056 HAS SOPS 1503056 HAS SOUS 913527 HAS SOUPS 913527 WITH SCORE 915030.056
AT ITER 3612 NEW BEST:: SOT 6788797 SOS 1502832 HAS SOPS 1502832 HAS SOUS 913519 HAS SOUPS 913519 WITH SCORE 915021.832
AT ITER 3631 NEW BEST:: SOT 6788792 SOS 1502822 HAS SOPS 1502822 HAS SOUS 913464 HAS SOUPS 913464 WITH SCORE 914966.822
AT ITER 3649 NEW BEST:: SOT 6788934 SOS 1504389 HAS SOPS 1504389 HAS SOUS 913318 HAS SOUPS 913318 WITH SCORE 914822.389
AT ITER 3695 NEW BEST:: SOT 6787529 SOS 1509234 HAS SOPS 1509234 HAS SOUS 912902 HAS SOUPS 912902 WITH SCORE 914411.234
AT ITER 3697 NEW BEST:: SOT 6787529 SOS 1509431 HAS SOPS 1509431 HAS SOUS 912901 HAS SOUPS 912901 WITH SCORE 914410.431
AT ITER 3704 NEW BEST:: SOT 6787496 SOS 1509365 HAS SOPS 1509365 HAS SOUS 912724 HAS SOUPS 912724 WITH SCORE 914233.365
AT ITER 3719 NEW BEST:: SOT 6787316 SOS 1509290 HAS SOPS 1509290 HAS SOUS 912649 HAS SOUPS 912649 WITH SCORE 914158.29
AT ITER 3722 NEW BEST:: SOT 6787017 SOS 1510045 HAS SOPS 1510045 HAS SOUS 912502 HAS SOUPS 912502 WITH SCORE 914012.045
AT ITER 3736 NEW BEST:: SOT 6787134 SOS 1509671 HAS SOPS 1509671 HAS SOUS 912315 HAS SOUPS 912315 WITH SCORE 913824.671
AT ITER 3775 NEW BEST:: SOT 6787134 SOS 1509671 HAS SOPS 1509671 HAS SOUS 912314 HAS SOUPS 912314 WITH SCORE 913823.671
AT ITER 3777 NEW BEST:: SOT 6786627 SOS 1509251 HAS SOPS 1509251 HAS SOUS 911903 HAS SOUPS 911903 WITH SCORE 913412.251
AT ITER 3785 NEW BEST:: SOT 6786488 SOS 1508973 HAS SOPS 1508973 HAS SOUS 911625 HAS SOUPS 911625 WITH SCORE 913133.973
AT ITER 3788 NEW BEST:: SOT 6785958 SOS 1508708 HAS SOPS 1508708 HAS SOUS 911351 HAS SOUPS 911351 WITH SCORE 912859.708
AT ITER 3791 NEW BEST:: SOT 6785939 SOS 1508723 HAS SOPS 1508723 HAS SOUS 911322 HAS SOUPS 911322 WITH SCORE 912830.723
AT ITER 3842 NEW BEST:: SOT 6785939 SOS 1510360 HAS SOPS 1510360 HAS SOUS 911320 HAS SOUPS 911320 WITH SCORE 912830.36
AT ITER 3855 NEW BEST:: SOT 6785821 SOS 1509233 HAS SOPS 1509233 HAS SOUS 911084 HAS SOUPS 911084 WITH SCORE 912593.233
AT ITER 3872 NEW BEST:: SOT 6785500 SOS 1509041 HAS SOPS 1509041 HAS SOUS 910989 HAS SOUPS 910989 WITH SCORE 912498.041
AT ITER 3951 NEW BEST:: SOT 6785500 SOS 1508306 HAS SOPS 1508306 HAS SOUS 910744 HAS SOUPS 910744 WITH SCORE 912252.306
AT ITER 4001 NEW BEST:: SOT 6785452 SOS 1508210 HAS SOPS 1508210 HAS SOUS 910696 HAS SOUPS 910696 WITH SCORE 912204.21
AT ITER 4036 NEW BEST:: SOT 6785451 SOS 1508208 HAS SOPS 1508208 HAS SOUS 910694 HAS SOUPS 910694 WITH SCORE 912202.208
AT ITER 4044 NEW BEST:: SOT 6785145 SOS 1505198 HAS SOPS 1505198 HAS SOUS 910393 HAS SOUPS 910393 WITH SCORE 911898.198
AT ITER 4068 NEW BEST:: SOT 6784794 SOS 1504787 HAS SOPS 1504787 HAS SOUS 909982 HAS SOUPS 909982 WITH SCORE 911486.787
AT ITER 4079 NEW BEST:: SOT 6783676 SOS 1501624 HAS SOPS 1501624 HAS SOUS 909229 HAS SOUPS 909229 WITH SCORE 910730.624
AT ITER 4084 NEW BEST:: SOT 6783413 SOS 1501884 HAS SOPS 1501884 HAS SOUS 908965 HAS SOUPS 908965 WITH SCORE 910466.884
AT ITER 4098 NEW BEST:: SOT 6783408 SOS 1501914 HAS SOPS 1501914 HAS SOUS 908959 HAS SOUPS 908959 WITH SCORE 910460.914
AT ITER 4117 NEW BEST:: SOT 6782745 SOS 1501848 HAS SOPS 1501848 HAS SOUS 908768 HAS SOUPS 908768 WITH SCORE 910269.848
AT ITER 4125 NEW BEST:: SOT 6782745 SOS 1502479 HAS SOPS 1502479 HAS SOUS 908767 HAS SOUPS 908767 WITH SCORE 910269.479
AT ITER 4130 NEW BEST:: SOT 6782776 SOS 1502417 HAS SOPS 1502417 HAS SOUS 908736 HAS SOUPS 908736 WITH SCORE 910238.417
AT ITER 4177 NEW BEST:: SOT 6782590 SOS 1502138 HAS SOPS 1502138 HAS SOUS 908457 HAS SOUPS 908457 WITH SCORE 909959.138
AT ITER 4183 NEW BEST:: SOT 6782312 SOS 1501582 HAS SOPS 1501582 HAS SOUS 907901 HAS SOUPS 907901 WITH SCORE 909402.582
AT ITER 4220 NEW BEST:: SOT 6782227 SOS 1501412 HAS SOPS 1501412 HAS SOUS 907731 HAS SOUPS 907731 WITH SCORE 909232.412
AT ITER 4239 NEW BEST:: SOT 6781987 SOS 1500760 HAS SOPS 1500760 HAS SOUS 907388 HAS SOUPS 907388 WITH SCORE 908888.76
AT ITER 4252 NEW BEST:: SOT 6781781 SOS 1500348 HAS SOPS 1500348 HAS SOUS 907284 HAS SOUPS 907284 WITH SCORE 908784.348
AT ITER 4264 NEW BEST:: SOT 6781749 SOS 1500284 HAS SOPS 1500284 HAS SOUS 907220 HAS SOUPS 907220 WITH SCORE 908720.284
AT ITER 4277 NEW BEST:: SOT 6781749 SOS 1500374 HAS SOPS 1500374 HAS SOUS 907219 HAS SOUPS 907219 WITH SCORE 908719.374
AT ITER 4289 NEW BEST:: SOT 6781711 SOS 1502202 HAS SOPS 1502202 HAS SOUS 907143 HAS SOUPS 907143 WITH SCORE 908645.202
AT ITER 4311 NEW BEST:: SOT 6781670 SOS 1502192 HAS SOPS 1502192 HAS SOUS 907142 HAS SOUPS 907142 WITH SCORE 908644.192
AT ITER 4323 NEW BEST:: SOT 6781624 SOS 1501886 HAS SOPS 1501886 HAS SOUS 906836 HAS SOUPS 906836 WITH SCORE 908337.886
AT ITER 4345 NEW BEST:: SOT 6781490 SOS 1501148 HAS SOPS 1501148 HAS SOUS 906467 HAS SOUPS 906467 WITH SCORE 907968.148
AT ITER 4371 NEW BEST:: SOT 6781490 SOS 1501712 HAS SOPS 1501712 HAS SOUS 906371 HAS SOUPS 906371 WITH SCORE 907872.712
AT ITER 4373 NEW BEST:: SOT 6781060 SOS 1508427 HAS SOPS 1508427 HAS SOUS 906199 HAS SOUPS 906199 WITH SCORE 907707.427
AT ITER 4386 NEW BEST:: SOT 6780474 SOS 1507831 HAS SOPS 1507831 HAS SOUS 905612 HAS SOUPS 905612 WITH SCORE 907119.831
AT ITER 4402 NEW BEST:: SOT 6779919 SOS 1507276 HAS SOPS 1507276 HAS SOUS 905057 HAS SOUPS 905057 WITH SCORE 906564.276
AT ITER 4450 NEW BEST:: SOT 6779857 SOS 1507152 HAS SOPS 1507152 HAS SOUS 904933 HAS SOUPS 904933 WITH SCORE 906440.152
AT ITER 4455 NEW BEST:: SOT 6779848 SOS 1507134 HAS SOPS 1507134 HAS SOUS 904924 HAS SOUPS 904924 WITH SCORE 906431.134
AT ITER 4486 NEW BEST:: SOT 6779848 SOS 1508252 HAS SOPS 1508252 HAS SOUS 904780 HAS SOUPS 904780 WITH SCORE 906288.252
AT ITER 4493 NEW BEST:: SOT 6779675 SOS 1507906 HAS SOPS 1507906 HAS SOUS 904434 HAS SOUPS 904434 WITH SCORE 905941.906
AT ITER 4494 NEW BEST:: SOT 6779545 SOS 1507776 HAS SOPS 1507776 HAS SOUS 904434 HAS SOUPS 904434 WITH SCORE 905941.776
AT ITER 4500 NEW BEST:: SOT 6779434 SOS 1507751 HAS SOPS 1507751 HAS SOUS 904409 HAS SOUPS 904409 WITH SCORE 905916.751
AT ITER 4511 NEW BEST:: SOT 6779056 SOS 1507373 HAS SOPS 1507373 HAS SOUS 904031 HAS SOUPS 904031 WITH SCORE 905538.373
AT ITER 4518 NEW BEST:: SOT 6778749 SOS 1503249 HAS SOPS 1503249 HAS SOUS 903417 HAS SOUPS 903417 WITH SCORE 904920.249
AT ITER 4523 NEW BEST:: SOT 6778281 SOS 1503015 HAS SOPS 1503015 HAS SOUS 903183 HAS SOUPS 903183 WITH SCORE 904686.015
AT ITER 4572 NEW BEST:: SOT 6778167 SOS 1502652 HAS SOPS 1502652 HAS SOUS 902955 HAS SOUPS 902955 WITH SCORE 904457.652
AT ITER 4585 NEW BEST:: SOT 6778167 SOS 1502652 HAS SOPS 1502652 HAS SOUS 902858 HAS SOUPS 902858 WITH SCORE 904360.652
AT ITER 4596 NEW BEST:: SOT 6777838 SOS 1502652 HAS SOPS 1502652 HAS SOUS 902761 HAS SOUPS 902761 WITH SCORE 904263.652
AT ITER 4605 NEW BEST:: SOT 6777837 SOS 1503631 HAS SOPS 1503631 HAS SOUS 902760 HAS SOUPS 902760 WITH SCORE 904263.631
AT ITER 4611 NEW BEST:: SOT 6777314 SOS 1504154 HAS SOPS 1504154 HAS SOUS 902151 HAS SOUPS 902151 WITH SCORE 903655.154
AT ITER 4628 NEW BEST:: SOT 6777314 SOS 1504490 HAS SOPS 1504490 HAS SOUS 902150 HAS SOUPS 902150 WITH SCORE 903654.49
AT ITER 4643 NEW BEST:: SOT 6777022 SOS 1502149 HAS SOPS 1502149 HAS SOUS 901858 HAS SOUPS 901858 WITH SCORE 903360.149
AT ITER 4653 NEW BEST:: SOT 6776987 SOS 1502114 HAS SOPS 1502114 HAS SOUS 901823 HAS SOUPS 901823 WITH SCORE 903325.114
AT ITER 4658 NEW BEST:: SOT 6776866 SOS 1501872 HAS SOPS 1501872 HAS SOUS 901581 HAS SOUPS 901581 WITH SCORE 903082.872
AT ITER 4666 NEW BEST:: SOT 6776793 SOS 1501512 HAS SOPS 1501512 HAS SOUS 901221 HAS SOUPS 901221 WITH SCORE 902722.512
AT ITER 4695 NEW BEST:: SOT 6776806 SOS 1501353 HAS SOPS 1501353 HAS SOUS 901177 HAS SOUPS 901177 WITH SCORE 902678.353
AT ITER 4703 NEW BEST:: SOT 6776546 SOS 1501145 HAS SOPS 1501145 HAS SOUS 901120 HAS SOUPS 901120 WITH SCORE 902621.145
AT ITER 4728 NEW BEST:: SOT 6776347 SOS 1500946 HAS SOPS 1500946 HAS SOUS 900921 HAS SOUPS 900921 WITH SCORE 902421.946
AT ITER 4729 NEW BEST:: SOT 6776451 SOS 1501154 HAS SOPS 1501154 HAS SOUS 900917 HAS SOUPS 900917 WITH SCORE 902418.154
AT ITER 4743 NEW BEST:: SOT 6776451 SOS 1500489 HAS SOPS 1500489 HAS SOUS 900252 HAS SOUPS 900252 WITH SCORE 901752.489
AT ITER 4796 NEW BEST:: SOT 6776405 SOS 1499755 HAS SOPS 1499755 HAS SOUS 900206 HAS SOUPS 900206 WITH SCORE 901705.755
AT ITER 4805 NEW BEST:: SOT 6776020 SOS 1499754 HAS SOPS 1499754 HAS SOUS 900205 HAS SOUPS 900205 WITH SCORE 901704.754
AT ITER 4806 NEW BEST:: SOT 6775725 SOS 1499622 HAS SOPS 1499622 HAS SOUS 899910 HAS SOUPS 899910 WITH SCORE 901409.622
AT ITER 4809 NEW BEST:: SOT 6775725 SOS 1499616 HAS SOPS 1499616 HAS SOUS 899904 HAS SOUPS 899904 WITH SCORE 901403.616
AT ITER 4814 NEW BEST:: SOT 6775529 SOS 1499224 HAS SOPS 1499224 HAS SOUS 899512 HAS SOUPS 899512 WITH SCORE 901011.224
AT ITER 4825 NEW BEST:: SOT 6775091 SOS 1499224 HAS SOPS 1499224 HAS SOUS 898852 HAS SOUPS 898852 WITH SCORE 900351.224
AT ITER 4833 NEW BEST:: SOT 6775091 SOS 1499094 HAS SOPS 1499094 HAS SOUS 898722 HAS SOUPS 898722 WITH SCORE 900221.094
AT ITER 4851 NEW BEST:: SOT 6774907 SOS 1498726 HAS SOPS 1498726 HAS SOUS 898686 HAS SOUPS 898686 WITH SCORE 900184.726
AT ITER 4881 NEW BEST:: SOT 6774718 SOS 1498348 HAS SOPS 1498348 HAS SOUS 898538 HAS SOUPS 898538 WITH SCORE 900036.348
AT ITER 4905 NEW BEST:: SOT 6774678 SOS 1498305 HAS SOPS 1498305 HAS SOUS 898537 HAS SOUPS 898537 WITH SCORE 900035.305
AT ITER 4908 NEW BEST:: SOT 6774678 SOS 1498295 HAS SOPS 1498295 HAS SOUS 898527 HAS SOUPS 898527 WITH SCORE 900025.295
AT ITER 4936 NEW BEST:: SOT 6774030 SOS 1497701 HAS SOPS 1497701 HAS SOUS 897855 HAS SOUPS 897855 WITH SCORE 899352.701
AT ITER 4987 NEW BEST:: SOT 6774104 SOS 1497617 HAS SOPS 1497617 HAS SOUS 897675 HAS SOUPS 897675 WITH SCORE 899172.617
AT ITER 4996 NEW BEST:: SOT 6774096 SOS 1497616 HAS SOPS 1497616 HAS SOUS 897674 HAS SOUPS 897674 WITH SCORE 899171.616
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: DLCround-PT-07b-CTLCardinality-00 (EG( potential( (tk(P2356)) <= (tk(P35)) )))
PROPERTY: DLCround-PT-07b-CTLCardinality-01 ( (EG( potential( (tk(P2388)) <= (tk(P937)) ))) & (! (AX( potential( ( 3 ) <= (tk(P1149)) )))) )
PROPERTY: DLCround-PT-07b-CTLCardinality-02 (! (EG( ( ( potential( ( 2 ) <= (tk(P264)) ) | potential( (tk(P84)) <= (tk(P2587)) ) ) | ( potential( ( 3 ) <= (tk(P2466)) ) & potential( ( 1 ) <= (tk(P2348)) ) ) ))))
PROPERTY: DLCround-PT-07b-CTLCardinality-03 (AF(potential( ( 3 ) <= (tk(P638)) )))
PROPERTY: DLCround-PT-07b-CTLCardinality-04 (AF(potential( ( 2 ) <= (tk(P592)) )))
PROPERTY: DLCround-PT-07b-CTLCardinality-05 (EU( ( ( potential( (tk(P1909)) <= (tk(P2185)) ) & potential( (tk(P1419)) <= (tk(P130)) ) ) & (! potential( ( 3 ) <= (tk(P2292)) )) ),(AF(potential( ( 2 ) <= (tk(P2067)) ))) ))
PROPERTY: DLCround-PT-07b-CTLCardinality-06 (EF((EG( ( potential( (tk(P399)) <= (tk(P2196)) ) & potential( ( 1 ) <= (tk(P1917)) ) )))))
PROPERTY: DLCround-PT-07b-CTLCardinality-07 (EX( (AF(( potential( ( 2 ) <= (tk(P879)) ) & potential( ( 2 ) <= (tk(P2144)) ) )))))
PROPERTY: DLCround-PT-07b-CTLCardinality-08 ( ( ( ( ( potential( ( 3 ) <= (tk(P720)) ) & potential( ( 2 ) <= (tk(P1880)) ) ) & ( potential( (tk(P187)) <= (tk(P613)) ) & potential( (tk(P836)) <= (tk(P1669)) ) ) ) | (EG( potential( ( 3 ) <= (tk(P738)) ))) ) & ( potential( ( 3 ) <= (tk(P1414)) ) & (AF(potential( ( 2 ) <= (tk(P540)) ))) ) ) | (! (EG( (! potential( ( 2 ) <= (tk(P2354)) ))))) )
PROPERTY: DLCround-PT-07b-CTLCardinality-09 (! (AF((AF(potential( ( 1 ) <= (tk(P852)) ))))))
PROPERTY: DLCround-PT-07b-CTLCardinality-10 (! ( (AU( potential( (tk(P2528)) <= (tk(P1472)) ),potential( ( 2 ) <= (tk(P2381)) ) )) | (EG( ( potential( ( 2 ) <= (tk(P2503)) ) & potential( ( 1 ) <= (tk(P1105)) ) ))) ))
PROPERTY: DLCround-PT-07b-CTLCardinality-11 (AF((AX( potential( ( 2 ) <= (tk(P737)) )))))
PROPERTY: DLCround-PT-07b-CTLCardinality-12 (! (EU( ( potential( (tk(P1353)) <= (tk(P787)) ) & potential( (tk(P596)) <= (tk(P733)) ) ),potential( ( 2 ) <= (tk(P2066)) ) )))
PROPERTY: DLCround-PT-07b-CTLCardinality-13 ( ( (EX( ( potential( ( 3 ) <= (tk(P804)) ) | potential( ( 2 ) <= (tk(P254)) ) ))) | (EF(( potential( ( 1 ) <= (tk(P1268)) ) & potential( ( 2 ) <= (tk(P2415)) ) ))) ) & (! (EU( potential( (tk(P2511)) <= (tk(P899)) ),potential( ( 2 ) <= (tk(P2362)) ) ))) )
PROPERTY: DLCround-PT-07b-CTLCardinality-14 (EU( (AG( potential( (tk(P907)) <= (tk(P1923)) ))),potential( ( 3 ) <= (tk(P1700)) ) ))
PROPERTY: DLCround-PT-07b-CTLCardinality-15 ( (AF(( (! potential( (tk(P2455)) <= (tk(P1559)) )) | ( potential( ( 3 ) <= (tk(P544)) ) & potential( (tk(P2207)) <= (tk(P2306)) ) ) ))) | ( (EU( potential( (tk(P2367)) <= (tk(P2575)) ),potential( ( 1 ) <= (tk(P1844)) ) )) & potential( ( 2 ) <= (tk(P496)) ) ) )

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="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is DLCround-PT-07b, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r048-ebro-158902542300523"
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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;