Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r131-smll-167819407400368.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is DiscoveryGPU-PT-11a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r131-smll-167819407400368
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 520K
-rw-r--r-- 1 mcc users 9.0K Feb 25 13:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 105K Feb 25 13:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.3K Feb 25 13:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 36K Feb 25 13:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K Feb 25 16:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 10K Feb 25 13:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 107K Feb 25 13:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 13:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 98K Feb 25 13:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:00 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:00 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 39K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679893123226

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DiscoveryGPU-PT-11a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 11a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 113 places, 155 transitions, 498 arcs.
AT ITER 0 NEW BEST:: SOT 12844 SOS 6446 HAS SOPS 6446 HAS SOUS 6388 HAS SOUPS 6388 WITH SCORE 6394.446
AT ITER 5 NEW BEST:: SOT 12877 SOS 6412 HAS SOPS 6412 HAS SOUS 6354 HAS SOUPS 6354 WITH SCORE 6360.412
AT ITER 12 NEW BEST:: SOT 12921 SOS 6367 HAS SOPS 6367 HAS SOUS 6309 HAS SOUPS 6309 WITH SCORE 6315.367
AT ITER 13 NEW BEST:: SOT 12136 SOS 5599 HAS SOPS 5586 HAS SOUS 5537 HAS SOUPS 5531 WITH SCORE 5536.599
AT ITER 15 NEW BEST:: SOT 12221 SOS 5588 HAS SOPS 5575 HAS SOUS 5526 HAS SOUPS 5520 WITH SCORE 5525.588
AT ITER 28 NEW BEST:: SOT 12004 SOS 5440 HAS SOPS 5358 HAS SOUS 5330 HAS SOUPS 5312 WITH SCORE 5317.44
AT ITER 29 NEW BEST:: SOT 12036 SOS 5363 HAS SOPS 5281 HAS SOUS 5253 HAS SOUPS 5235 WITH SCORE 5240.363
AT ITER 30 NEW BEST:: SOT 12044 SOS 5355 HAS SOPS 5273 HAS SOUS 5245 HAS SOUPS 5227 WITH SCORE 5232.355
AT ITER 40 NEW BEST:: SOT 12071 SOS 5284 HAS SOPS 5202 HAS SOUS 5167 HAS SOUPS 5149 WITH SCORE 5154.284
AT ITER 59 NEW BEST:: SOT 12071 SOS 5300 HAS SOPS 5202 HAS SOUS 5156 HAS SOUPS 5133 WITH SCORE 5138.3
AT ITER 70 NEW BEST:: SOT 12007 SOS 5265 HAS SOPS 5167 HAS SOUS 5121 HAS SOUPS 5098 WITH SCORE 5103.265
AT ITER 82 NEW BEST:: SOT 12011 SOS 5267 HAS SOPS 5169 HAS SOUS 5120 HAS SOUPS 5097 WITH SCORE 5102.267
AT ITER 83 NEW BEST:: SOT 12011 SOS 5255 HAS SOPS 5157 HAS SOUS 5108 HAS SOUPS 5085 WITH SCORE 5090.255
AT ITER 88 NEW BEST:: SOT 12028 SOS 5358 HAS SOPS 5236 HAS SOUS 5107 HAS SOUPS 5083 WITH SCORE 5088.358
AT ITER 92 NEW BEST:: SOT 12028 SOS 5350 HAS SOPS 5228 HAS SOUS 5099 HAS SOUPS 5075 WITH SCORE 5080.35
AT ITER 101 NEW BEST:: SOT 12064 SOS 5355 HAS SOPS 5225 HAS SOUS 5105 HAS SOUPS 5073 WITH SCORE 5078.355
AT ITER 105 NEW BEST:: SOT 12081 SOS 5337 HAS SOPS 5207 HAS SOUS 5087 HAS SOUPS 5055 WITH SCORE 5060.337
AT ITER 109 NEW BEST:: SOT 12081 SOS 5336 HAS SOPS 5206 HAS SOUS 5086 HAS SOUPS 5054 WITH SCORE 5059.336
AT ITER 116 NEW BEST:: SOT 11760 SOS 5876 HAS SOPS 4927 HAS SOUS 4869 HAS SOUPS 4793 WITH SCORE 4798.876
AT ITER 122 NEW BEST:: SOT 11763 SOS 5817 HAS SOPS 4837 HAS SOUS 4794 HAS SOUPS 4703 WITH SCORE 4708.817
AT ITER 133 NEW BEST:: SOT 11764 SOS 5825 HAS SOPS 4839 HAS SOUS 4789 HAS SOUPS 4698 WITH SCORE 4703.825
AT ITER 148 NEW BEST:: SOT 11698 SOS 5759 HAS SOPS 4740 HAS SOUS 4657 HAS SOUPS 4566 WITH SCORE 4571.759
AT ITER 154 NEW BEST:: SOT 11712 SOS 5673 HAS SOPS 4654 HAS SOUS 4606 HAS SOUPS 4515 WITH SCORE 4520.673
AT ITER 163 NEW BEST:: SOT 11713 SOS 5674 HAS SOPS 4646 HAS SOUS 4607 HAS SOUPS 4507 WITH SCORE 4512.674
AT ITER 168 NEW BEST:: SOT 11699 SOS 5662 HAS SOPS 4619 HAS SOUS 4579 HAS SOUPS 4479 WITH SCORE 4484.662
AT ITER 196 NEW BEST:: SOT 11679 SOS 5602 HAS SOPS 4559 HAS SOUS 4539 HAS SOUPS 4439 WITH SCORE 4444.602
AT ITER 198 NEW BEST:: SOT 11732 SOS 5598 HAS SOPS 4548 HAS SOUS 4528 HAS SOUPS 4428 WITH SCORE 4433.598
AT ITER 201 NEW BEST:: SOT 11694 SOS 5560 HAS SOPS 4514 HAS SOUS 4515 HAS SOUPS 4415 WITH SCORE 4420.56
AT ITER 216 NEW BEST:: SOT 10682 SOS 4698 HAS SOPS 3474 HAS SOUS 3510 HAS SOUPS 3384 WITH SCORE 3388.698
AT ITER 218 NEW BEST:: SOT 10674 SOS 4674 HAS SOPS 3450 HAS SOUS 3494 HAS SOUPS 3368 WITH SCORE 3372.674
AT ITER 219 NEW BEST:: SOT 10673 SOS 4671 HAS SOPS 3447 HAS SOUS 3492 HAS SOUPS 3366 WITH SCORE 3370.671
AT ITER 240 NEW BEST:: SOT 10669 SOS 4664 HAS SOPS 3439 HAS SOUS 3484 HAS SOUPS 3358 WITH SCORE 3362.664
AT ITER 253 NEW BEST:: SOT 10666 SOS 4661 HAS SOPS 3436 HAS SOUS 3481 HAS SOUPS 3355 WITH SCORE 3359.661
AT ITER 257 NEW BEST:: SOT 10643 SOS 4654 HAS SOPS 3406 HAS SOUS 3451 HAS SOUPS 3325 WITH SCORE 3329.654
AT ITER 262 NEW BEST:: SOT 10616 SOS 4627 HAS SOPS 3369 HAS SOUS 3414 HAS SOUPS 3288 WITH SCORE 3292.627
AT ITER 284 NEW BEST:: SOT 10612 SOS 4621 HAS SOPS 3360 HAS SOUS 3405 HAS SOUPS 3279 WITH SCORE 3283.621
AT ITER 297 NEW BEST:: SOT 10610 SOS 4608 HAS SOPS 3352 HAS SOUS 3403 HAS SOUPS 3277 WITH SCORE 3281.608
AT ITER 302 NEW BEST:: SOT 10608 SOS 4604 HAS SOPS 3348 HAS SOUS 3399 HAS SOUPS 3273 WITH SCORE 3277.604
AT ITER 307 NEW BEST:: SOT 10608 SOS 4626 HAS SOPS 3348 HAS SOUS 3385 HAS SOUPS 3259 WITH SCORE 3263.626
AT ITER 320 NEW BEST:: SOT 10608 SOS 4626 HAS SOPS 3338 HAS SOUS 3365 HAS SOUPS 3239 WITH SCORE 3243.626
AT ITER 356 NEW BEST:: SOT 10663 SOS 4623 HAS SOPS 3335 HAS SOUS 3362 HAS SOUPS 3236 WITH SCORE 3240.623
AT ITER 362 NEW BEST:: SOT 10663 SOS 4623 HAS SOPS 3332 HAS SOUS 3359 HAS SOUPS 3233 WITH SCORE 3237.623
AT ITER 364 NEW BEST:: SOT 10663 SOS 4613 HAS SOPS 3322 HAS SOUS 3349 HAS SOUPS 3223 WITH SCORE 3227.613
AT ITER 388 NEW BEST:: SOT 10663 SOS 4617 HAS SOPS 3322 HAS SOUS 3345 HAS SOUPS 3219 WITH SCORE 3223.617
AT ITER 393 NEW BEST:: SOT 10662 SOS 4616 HAS SOPS 3321 HAS SOUS 3343 HAS SOUPS 3217 WITH SCORE 3221.616
AT ITER 405 NEW BEST:: SOT 9687 SOS 5795 HAS SOPS 2346 HAS SOUS 2527 HAS SOUPS 2338 WITH SCORE 2343.795
AT ITER 426 NEW BEST:: SOT 9737 SOS 5822 HAS SOPS 2335 HAS SOUS 2516 HAS SOUPS 2327 WITH SCORE 2332.822
AT ITER 430 NEW BEST:: SOT 9735 SOS 5820 HAS SOPS 2331 HAS SOUS 2512 HAS SOUPS 2323 WITH SCORE 2328.82
AT ITER 435 NEW BEST:: SOT 9729 SOS 5832 HAS SOPS 2319 HAS SOUS 2500 HAS SOUPS 2311 WITH SCORE 2316.832
AT ITER 439 NEW BEST:: SOT 9725 SOS 5825 HAS SOPS 2311 HAS SOUS 2492 HAS SOUPS 2303 WITH SCORE 2308.825
AT ITER 457 NEW BEST:: SOT 9762 SOS 5823 HAS SOPS 2307 HAS SOUS 2488 HAS SOUPS 2299 WITH SCORE 2304.823
AT ITER 461 NEW BEST:: SOT 9760 SOS 5820 HAS SOPS 2303 HAS SOUS 2484 HAS SOUPS 2295 WITH SCORE 2300.82
AT ITER 508 NEW BEST:: SOT 9712 SOS 5799 HAS SOPS 2261 HAS SOUS 2442 HAS SOUPS 2253 WITH SCORE 2258.799
AT ITER 514 NEW BEST:: SOT 9722 SOS 5809 HAS SOPS 2260 HAS SOUS 2444 HAS SOUPS 2252 WITH SCORE 2257.809
AT ITER 524 NEW BEST:: SOT 9694 SOS 5781 HAS SOPS 2235 HAS SOUS 2419 HAS SOUPS 2227 WITH SCORE 2232.781
AT ITER 549 NEW BEST:: SOT 9691 SOS 5778 HAS SOPS 2229 HAS SOUS 2413 HAS SOUPS 2221 WITH SCORE 2226.778
AT ITER 560 NEW BEST:: SOT 9678 SOS 5766 HAS SOPS 2208 HAS SOUS 2392 HAS SOUPS 2200 WITH SCORE 2205.766
AT ITER 583 NEW BEST:: SOT 9674 SOS 5762 HAS SOPS 2200 HAS SOUS 2384 HAS SOUPS 2192 WITH SCORE 2197.762
AT ITER 588 NEW BEST:: SOT 9682 SOS 5749 HAS SOPS 2195 HAS SOUS 2379 HAS SOUPS 2187 WITH SCORE 2192.749
AT ITER 594 NEW BEST:: SOT 9680 SOS 5747 HAS SOPS 2191 HAS SOUS 2375 HAS SOUPS 2183 WITH SCORE 2188.747
AT ITER 605 NEW BEST:: SOT 9675 SOS 5777 HAS SOPS 2181 HAS SOUS 2365 HAS SOUPS 2173 WITH SCORE 2178.777
AT ITER 631 NEW BEST:: SOT 9664 SOS 5766 HAS SOPS 2159 HAS SOUS 2343 HAS SOUPS 2151 WITH SCORE 2156.766
AT ITER 634 NEW BEST:: SOT 9691 SOS 5793 HAS SOPS 2126 HAS SOUS 2310 HAS SOUPS 2118 WITH SCORE 2123.793
AT ITER 639 NEW BEST:: SOT 9690 SOS 5798 HAS SOPS 2123 HAS SOUS 2304 HAS SOUPS 2112 WITH SCORE 2117.798
AT ITER 654 NEW BEST:: SOT 9681 SOS 5775 HAS SOPS 2091 HAS SOUS 2272 HAS SOUPS 2080 WITH SCORE 2085.775
AT ITER 663 NEW BEST:: SOT 9718 SOS 5765 HAS SOPS 2017 HAS SOUS 2198 HAS SOUPS 2006 WITH SCORE 2011.765
AT ITER 676 NEW BEST:: SOT 9714 SOS 5740 HAS SOPS 1984 HAS SOUS 2168 HAS SOUPS 1976 WITH SCORE 1981.74
AT ITER 678 NEW BEST:: SOT 9712 SOS 5738 HAS SOPS 1980 HAS SOUS 2164 HAS SOUPS 1972 WITH SCORE 1977.738
AT ITER 694 NEW BEST:: SOT 9724 SOS 5742 HAS SOPS 1979 HAS SOUS 2163 HAS SOUPS 1971 WITH SCORE 1976.742
AT ITER 695 NEW BEST:: SOT 9713 SOS 5731 HAS SOPS 1967 HAS SOUS 2151 HAS SOUPS 1959 WITH SCORE 1964.731
AT ITER 713 NEW BEST:: SOT 9713 SOS 5737 HAS SOPS 1973 HAS SOUS 2150 HAS SOUPS 1958 WITH SCORE 1963.737
AT ITER 715 NEW BEST:: SOT 9698 SOS 5725 HAS SOPS 1943 HAS SOUS 2120 HAS SOUPS 1928 WITH SCORE 1933.725
AT ITER 728 NEW BEST:: SOT 9692 SOS 5718 HAS SOPS 1931 HAS SOUS 2108 HAS SOUPS 1916 WITH SCORE 1921.718
AT ITER 730 NEW BEST:: SOT 9692 SOS 5711 HAS SOPS 1924 HAS SOUS 2107 HAS SOUPS 1915 WITH SCORE 1920.711
AT ITER 746 NEW BEST:: SOT 9691 SOS 5714 HAS SOPS 1922 HAS SOUS 2105 HAS SOUPS 1913 WITH SCORE 1918.714
AT ITER 760 NEW BEST:: SOT 9690 SOS 5711 HAS SOPS 1920 HAS SOUS 2103 HAS SOUPS 1911 WITH SCORE 1916.711
AT ITER 765 NEW BEST:: SOT 9689 SOS 5710 HAS SOPS 1919 HAS SOUS 2102 HAS SOUPS 1910 WITH SCORE 1915.71
AT ITER 776 NEW BEST:: SOT 9714 SOS 5717 HAS SOPS 1915 HAS SOUS 2098 HAS SOUPS 1906 WITH SCORE 1911.717
AT ITER 840 NEW BEST:: SOT 9708 SOS 5694 HAS SOPS 1872 HAS SOUS 2055 HAS SOUPS 1863 WITH SCORE 1868.694
AT ITER 881 NEW BEST:: SOT 9692 SOS 5678 HAS SOPS 1847 HAS SOUS 2030 HAS SOUPS 1838 WITH SCORE 1843.678
AT ITER 884 NEW BEST:: SOT 9678 SOS 5662 HAS SOPS 1819 HAS SOUS 2002 HAS SOUPS 1810 WITH SCORE 1815.662
AT ITER 886 NEW BEST:: SOT 9656 SOS 5672 HAS SOPS 1807 HAS SOUS 1990 HAS SOUPS 1798 WITH SCORE 1803.672
AT ITER 891 NEW BEST:: SOT 9652 SOS 5672 HAS SOPS 1803 HAS SOUS 1986 HAS SOUPS 1794 WITH SCORE 1799.672
AT ITER 894 NEW BEST:: SOT 9664 SOS 5672 HAS SOPS 1791 HAS SOUS 1974 HAS SOUPS 1782 WITH SCORE 1787.672
AT ITER 903 NEW BEST:: SOT 9656 SOS 5664 HAS SOPS 1775 HAS SOUS 1958 HAS SOUPS 1766 WITH SCORE 1771.664
AT ITER 907 NEW BEST:: SOT 9654 SOS 5662 HAS SOPS 1772 HAS SOUS 1955 HAS SOUPS 1763 WITH SCORE 1768.662
AT ITER 915 NEW BEST:: SOT 9652 SOS 5657 HAS SOPS 1768 HAS SOUS 1951 HAS SOUPS 1759 WITH SCORE 1764.657
AT ITER 930 NEW BEST:: SOT 9649 SOS 5650 HAS SOPS 1762 HAS SOUS 1945 HAS SOUPS 1753 WITH SCORE 1758.65
AT ITER 943 NEW BEST:: SOT 9630 SOS 5647 HAS SOPS 1759 HAS SOUS 1942 HAS SOUPS 1750 WITH SCORE 1755.647
AT ITER 949 NEW BEST:: SOT 9626 SOS 5643 HAS SOPS 1751 HAS SOUS 1934 HAS SOUPS 1742 WITH SCORE 1747.643
AT ITER 951 NEW BEST:: SOT 9622 SOS 5638 HAS SOPS 1742 HAS SOUS 1925 HAS SOUPS 1733 WITH SCORE 1738.638
AT ITER 965 NEW BEST:: SOT 9596 SOS 5612 HAS SOPS 1690 HAS SOUS 1873 HAS SOUPS 1681 WITH SCORE 1686.612
AT ITER 972 NEW BEST:: SOT 9620 SOS 5635 HAS SOPS 1686 HAS SOUS 1869 HAS SOUPS 1677 WITH SCORE 1682.635
AT ITER 975 NEW BEST:: SOT 9616 SOS 5633 HAS SOPS 1686 HAS SOUS 1869 HAS SOUPS 1677 WITH SCORE 1682.633
AT ITER 993 NEW BEST:: SOT 9619 SOS 5610 HAS SOPS 1640 HAS SOUS 1823 HAS SOUPS 1631 WITH SCORE 1636.61
AT ITER 1027 NEW BEST:: SOT 9617 SOS 5607 HAS SOPS 1636 HAS SOUS 1819 HAS SOUPS 1627 WITH SCORE 1632.607
AT ITER 1087 NEW BEST:: SOT 9611 SOS 6221 HAS SOPS 1626 HAS SOUS 1814 HAS SOUPS 1612 WITH SCORE 1618.221
AT ITER 1110 NEW BEST:: SOT 9610 SOS 6219 HAS SOPS 1623 HAS SOUS 1811 HAS SOUPS 1609 WITH SCORE 1615.219
AT ITER 1114 NEW BEST:: SOT 9601 SOS 6222 HAS SOPS 1617 HAS SOUS 1805 HAS SOUPS 1603 WITH SCORE 1609.222
AT ITER 1124 NEW BEST:: SOT 9575 SOS 6220 HAS SOPS 1589 HAS SOUS 1777 HAS SOUPS 1575 WITH SCORE 1581.22
AT ITER 1132 NEW BEST:: SOT 9573 SOS 6221 HAS SOPS 1585 HAS SOUS 1773 HAS SOUPS 1571 WITH SCORE 1577.221
AT ITER 1160 NEW BEST:: SOT 9565 SOS 6217 HAS SOPS 1581 HAS SOUS 1769 HAS SOUPS 1567 WITH SCORE 1573.217
AT ITER 1163 NEW BEST:: SOT 9555 SOS 6207 HAS SOPS 1561 HAS SOUS 1749 HAS SOUPS 1547 WITH SCORE 1553.207
AT ITER 1166 NEW BEST:: SOT 9554 SOS 6204 HAS SOPS 1555 HAS SOUS 1743 HAS SOUPS 1541 WITH SCORE 1547.204
AT ITER 1186 NEW BEST:: SOT 9524 SOS 6184 HAS SOPS 1525 HAS SOUS 1713 HAS SOUPS 1511 WITH SCORE 1517.184
AT ITER 1187 NEW BEST:: SOT 9492 SOS 6168 HAS SOPS 1509 HAS SOUS 1697 HAS SOUPS 1495 WITH SCORE 1501.168
AT ITER 1201 NEW BEST:: SOT 9482 SOS 6158 HAS SOPS 1489 HAS SOUS 1677 HAS SOUPS 1475 WITH SCORE 1481.158
AT ITER 1207 NEW BEST:: SOT 9482 SOS 6147 HAS SOPS 1489 HAS SOUS 1677 HAS SOUPS 1475 WITH SCORE 1481.147
AT ITER 1225 NEW BEST:: SOT 9485 SOS 6147 HAS SOPS 1477 HAS SOUS 1665 HAS SOUPS 1463 WITH SCORE 1469.147
AT ITER 1230 NEW BEST:: SOT 9486 SOS 6138 HAS SOPS 1469 HAS SOUS 1657 HAS SOUPS 1455 WITH SCORE 1461.138
AT ITER 1237 NEW BEST:: SOT 9486 SOS 6307 HAS SOPS 1457 HAS SOUS 1658 HAS SOUPS 1450 WITH SCORE 1456.307
AT ITER 1243 NEW BEST:: SOT 9486 SOS 6306 HAS SOPS 1455 HAS SOUS 1656 HAS SOUPS 1448 WITH SCORE 1454.306
AT ITER 1266 NEW BEST:: SOT 9485 SOS 6309 HAS SOPS 1453 HAS SOUS 1654 HAS SOUPS 1446 WITH SCORE 1452.309
AT ITER 1267 NEW BEST:: SOT 9471 SOS 6309 HAS SOPS 1425 HAS SOUS 1626 HAS SOUPS 1418 WITH SCORE 1424.309
AT ITER 1303 NEW BEST:: SOT 9464 SOS 6302 HAS SOPS 1418 HAS SOUS 1619 HAS SOUPS 1411 WITH SCORE 1417.302
AT ITER 1316 NEW BEST:: SOT 9456 SOS 6290 HAS SOPS 1402 HAS SOUS 1603 HAS SOUPS 1395 WITH SCORE 1401.29
AT ITER 1322 NEW BEST:: SOT 9456 SOS 6285 HAS SOPS 1397 HAS SOUS 1598 HAS SOUPS 1390 WITH SCORE 1396.285
AT ITER 1340 NEW BEST:: SOT 9447 SOS 6276 HAS SOPS 1379 HAS SOUS 1580 HAS SOUPS 1372 WITH SCORE 1378.276
AT ITER 1360 NEW BEST:: SOT 9450 SOS 6279 HAS SOPS 1377 HAS SOUS 1578 HAS SOUPS 1370 WITH SCORE 1376.279
AT ITER 1403 NEW BEST:: SOT 9443 SOS 6272 HAS SOPS 1372 HAS SOUS 1573 HAS SOUPS 1365 WITH SCORE 1371.272
AT ITER 1405 NEW BEST:: SOT 9439 SOS 6269 HAS SOPS 1368 HAS SOUS 1570 HAS SOUPS 1361 WITH SCORE 1367.269
AT ITER 1428 NEW BEST:: SOT 9439 SOS 6263 HAS SOPS 1362 HAS SOUS 1564 HAS SOUPS 1355 WITH SCORE 1361.263
AT ITER 1429 NEW BEST:: SOT 9437 SOS 6260 HAS SOPS 1358 HAS SOUS 1560 HAS SOUPS 1351 WITH SCORE 1357.26
AT ITER 1432 NEW BEST:: SOT 9440 SOS 6261 HAS SOPS 1357 HAS SOUS 1559 HAS SOUPS 1350 WITH SCORE 1356.261
AT ITER 1556 NEW BEST:: SOT 9430 SOS 6257 HAS SOPS 1352 HAS SOUS 1554 HAS SOUPS 1345 WITH SCORE 1351.257
AT ITER 1557 NEW BEST:: SOT 9430 SOS 6257 HAS SOPS 1347 HAS SOUS 1549 HAS SOUPS 1340 WITH SCORE 1346.257
AT ITER 1576 NEW BEST:: SOT 9429 SOS 6256 HAS SOPS 1345 HAS SOUS 1547 HAS SOUPS 1338 WITH SCORE 1344.256
AT ITER 1578 NEW BEST:: SOT 9428 SOS 6254 HAS SOPS 1342 HAS SOUS 1544 HAS SOUPS 1335 WITH SCORE 1341.254
AT ITER 1581 NEW BEST:: SOT 9426 SOS 6241 HAS SOPS 1327 HAS SOUS 1529 HAS SOUPS 1320 WITH SCORE 1326.241
AT ITER 1593 NEW BEST:: SOT 9426 SOS 6231 HAS SOPS 1307 HAS SOUS 1509 HAS SOUPS 1300 WITH SCORE 1306.231
AT ITER 1603 NEW BEST:: SOT 9424 SOS 6228 HAS SOPS 1303 HAS SOUS 1505 HAS SOUPS 1296 WITH SCORE 1302.228
AT ITER 1635 NEW BEST:: SOT 9424 SOS 6227 HAS SOPS 1303 HAS SOUS 1505 HAS SOUPS 1296 WITH SCORE 1302.227
AT ITER 1638 NEW BEST:: SOT 9405 SOS 6218 HAS SOPS 1295 HAS SOUS 1497 HAS SOUPS 1288 WITH SCORE 1294.218
AT ITER 1645 NEW BEST:: SOT 9414 SOS 6226 HAS SOPS 1291 HAS SOUS 1493 HAS SOUPS 1284 WITH SCORE 1290.226
AT ITER 1650 NEW BEST:: SOT 9408 SOS 6220 HAS SOPS 1279 HAS SOUS 1481 HAS SOUPS 1272 WITH SCORE 1278.22
AT ITER 1676 NEW BEST:: SOT 9406 SOS 6217 HAS SOPS 1275 HAS SOUS 1477 HAS SOUPS 1268 WITH SCORE 1274.217
AT ITER 1701 NEW BEST:: SOT 9405 SOS 6222 HAS SOPS 1273 HAS SOUS 1475 HAS SOUPS 1266 WITH SCORE 1272.222
AT ITER 1756 NEW BEST:: SOT 9404 SOS 6221 HAS SOPS 1271 HAS SOUS 1473 HAS SOUPS 1264 WITH SCORE 1270.221
AT ITER 1767 NEW BEST:: SOT 9387 SOS 6204 HAS SOPS 1237 HAS SOUS 1439 HAS SOUPS 1230 WITH SCORE 1236.204
AT ITER 1783 NEW BEST:: SOT 9387 SOS 6202 HAS SOPS 1235 HAS SOUS 1437 HAS SOUPS 1228 WITH SCORE 1234.202
AT ITER 1785 NEW BEST:: SOT 9386 SOS 6201 HAS SOPS 1233 HAS SOUS 1435 HAS SOUPS 1226 WITH SCORE 1232.201
AT ITER 1786 NEW BEST:: SOT 9383 SOS 6198 HAS SOPS 1231 HAS SOUS 1433 HAS SOUPS 1224 WITH SCORE 1230.198
AT ITER 1790 NEW BEST:: SOT 9381 SOS 6195 HAS SOPS 1227 HAS SOUS 1432 HAS SOUPS 1223 WITH SCORE 1229.195
AT ITER 1795 NEW BEST:: SOT 9373 SOS 6179 HAS SOPS 1203 HAS SOUS 1408 HAS SOUPS 1199 WITH SCORE 1205.179
AT ITER 1980 NEW BEST:: SOT 9373 SOS 6178 HAS SOPS 1203 HAS SOUS 1408 HAS SOUPS 1199 WITH SCORE 1205.178
AT ITER 2045 NEW BEST:: SOT 9371 SOS 6175 HAS SOPS 1199 HAS SOUS 1404 HAS SOUPS 1195 WITH SCORE 1201.175
AT ITER 2077 NEW BEST:: SOT 9370 SOS 6173 HAS SOPS 1196 HAS SOUS 1401 HAS SOUPS 1192 WITH SCORE 1198.173
AT ITER 2117 NEW BEST:: SOT 9368 SOS 6171 HAS SOPS 1192 HAS SOUS 1397 HAS SOUPS 1188 WITH SCORE 1194.171
AT ITER 2135 NEW BEST:: SOT 9368 SOS 6169 HAS SOPS 1190 HAS SOUS 1395 HAS SOUPS 1186 WITH SCORE 1192.169
AT ITER 2136 NEW BEST:: SOT 9368 SOS 6165 HAS SOPS 1190 HAS SOUS 1395 HAS SOUPS 1186 WITH SCORE 1192.165
AT ITER 2257 NEW BEST:: SOT 9356 SOS 6159 HAS SOPS 1190 HAS SOUS 1395 HAS SOUPS 1186 WITH SCORE 1192.159
AT ITER 2312 NEW BEST:: SOT 9350 SOS 6153 HAS SOPS 1184 HAS SOUS 1389 HAS SOUPS 1180 WITH SCORE 1186.153
AT ITER 2336 NEW BEST:: SOT 9338 SOS 6139 HAS SOPS 1160 HAS SOUS 1365 HAS SOUPS 1156 WITH SCORE 1162.139
AT ITER 2360 NEW BEST:: SOT 9330 SOS 6135 HAS SOPS 1156 HAS SOUS 1361 HAS SOUPS 1152 WITH SCORE 1158.135
AT ITER 2373 NEW BEST:: SOT 9353 SOS 6132 HAS SOPS 1150 HAS SOUS 1355 HAS SOUPS 1146 WITH SCORE 1152.132
AT ITER 2376 NEW BEST:: SOT 9348 SOS 6128 HAS SOPS 1147 HAS SOUS 1352 HAS SOUPS 1143 WITH SCORE 1149.128
AT ITER 2386 NEW BEST:: SOT 9267 SOS 6088 HAS SOPS 1108 HAS SOUS 1313 HAS SOUPS 1104 WITH SCORE 1110.088
AT ITER 2439 NEW BEST:: SOT 9264 SOS 6085 HAS SOPS 1102 HAS SOUS 1307 HAS SOUPS 1098 WITH SCORE 1104.085
AT ITER 2440 NEW BEST:: SOT 9262 SOS 6083 HAS SOPS 1100 HAS SOUS 1305 HAS SOUPS 1096 WITH SCORE 1102.083
AT ITER 2455 NEW BEST:: SOT 9251 SOS 6079 HAS SOPS 1096 HAS SOUS 1301 HAS SOUPS 1092 WITH SCORE 1098.079
AT ITER 2501 NEW BEST:: SOT 9246 SOS 6078 HAS SOPS 1091 HAS SOUS 1296 HAS SOUPS 1087 WITH SCORE 1093.078
AT ITER 2600 NEW BEST:: SOT 9241 SOS 6076 HAS SOPS 1081 HAS SOUS 1286 HAS SOUPS 1077 WITH SCORE 1083.076
AT ITER 2681 NEW BEST:: SOT 9240 SOS 6072 HAS SOPS 1079 HAS SOUS 1284 HAS SOUPS 1075 WITH SCORE 1081.072
AT ITER 2689 NEW BEST:: SOT 9243 SOS 6071 HAS SOPS 1079 HAS SOUS 1284 HAS SOUPS 1075 WITH SCORE 1081.071
AT ITER 2742 NEW BEST:: SOT 9237 SOS 6068 HAS SOPS 1071 HAS SOUS 1276 HAS SOUPS 1067 WITH SCORE 1073.068
AT ITER 2745 NEW BEST:: SOT 9235 SOS 6066 HAS SOPS 1071 HAS SOUS 1274 HAS SOUPS 1067 WITH SCORE 1073.066
AT ITER 2769 NEW BEST:: SOT 9230 SOS 6064 HAS SOPS 1067 HAS SOUS 1270 HAS SOUPS 1063 WITH SCORE 1069.064
AT ITER 2789 NEW BEST:: SOT 9235 SOS 6067 HAS SOPS 1063 HAS SOUS 1266 HAS SOUPS 1059 WITH SCORE 1065.067
AT ITER 2816 NEW BEST:: SOT 9232 SOS 6065 HAS SOPS 1061 HAS SOUS 1264 HAS SOUPS 1057 WITH SCORE 1063.065
AT ITER 2818 NEW BEST:: SOT 9233 SOS 6064 HAS SOPS 1059 HAS SOUS 1262 HAS SOUPS 1055 WITH SCORE 1061.064
AT ITER 2833 NEW BEST:: SOT 9231 SOS 6062 HAS SOPS 1055 HAS SOUS 1258 HAS SOUPS 1051 WITH SCORE 1057.062
AT ITER 2839 NEW BEST:: SOT 9229 SOS 6059 HAS SOPS 1051 HAS SOUS 1254 HAS SOUPS 1047 WITH SCORE 1053.059
AT ITER 2857 NEW BEST:: SOT 9217 SOS 6059 HAS SOPS 1045 HAS SOUS 1248 HAS SOUPS 1041 WITH SCORE 1047.059
AT ITER 2872 NEW BEST:: SOT 9219 SOS 6061 HAS SOPS 1041 HAS SOUS 1244 HAS SOUPS 1037 WITH SCORE 1043.061
AT ITER 2902 NEW BEST:: SOT 9217 SOS 6058 HAS SOPS 1037 HAS SOUS 1240 HAS SOUPS 1033 WITH SCORE 1039.058
AT ITER 2928 NEW BEST:: SOT 9224 SOS 6057 HAS SOPS 1035 HAS SOUS 1238 HAS SOUPS 1031 WITH SCORE 1037.057
AT ITER 2959 NEW BEST:: SOT 9222 SOS 6055 HAS SOPS 1031 HAS SOUS 1234 HAS SOUPS 1027 WITH SCORE 1033.055
AT ITER 2990 NEW BEST:: SOT 9222 SOS 6047 HAS SOPS 1015 HAS SOUS 1218 HAS SOUPS 1011 WITH SCORE 1017.047
AT ITER 2996 NEW BEST:: SOT 9218 SOS 6045 HAS SOPS 1011 HAS SOUS 1214 HAS SOUPS 1007 WITH SCORE 1013.045
AT ITER 3015 NEW BEST:: SOT 9212 SOS 6047 HAS SOPS 1010 HAS SOUS 1213 HAS SOUPS 1006 WITH SCORE 1012.047
AT ITER 3048 NEW BEST:: SOT 9210 SOS 6044 HAS SOPS 1006 HAS SOUS 1209 HAS SOUPS 1002 WITH SCORE 1008.044
AT ITER 3114 NEW BEST:: SOT 9210 SOS 6044 HAS SOPS 1005 HAS SOUS 1208 HAS SOUPS 1001 WITH SCORE 1007.044
AT ITER 3136 NEW BEST:: SOT 9206 SOS 6053 HAS SOPS 997 HAS SOUS 1200 HAS SOUPS 993 WITH SCORE 999.053
AT ITER 3167 NEW BEST:: SOT 9227 SOS 6067 HAS SOPS 994 HAS SOUS 1197 HAS SOUPS 990 WITH SCORE 996.067
AT ITER 3221 NEW BEST:: SOT 9219 SOS 6059 HAS SOPS 986 HAS SOUS 1189 HAS SOUPS 982 WITH SCORE 988.059
AT ITER 3225 NEW BEST:: SOT 9223 SOS 6057 HAS SOPS 982 HAS SOUS 1185 HAS SOUPS 978 WITH SCORE 984.057
AT ITER 3273 NEW BEST:: SOT 9222 SOS 6056 HAS SOPS 980 HAS SOUS 1183 HAS SOUPS 976 WITH SCORE 982.056
AT ITER 3274 NEW BEST:: SOT 9219 SOS 6054 HAS SOPS 980 HAS SOUS 1183 HAS SOUPS 976 WITH SCORE 982.054
AT ITER 3304 NEW BEST:: SOT 9216 SOS 6052 HAS SOPS 974 HAS SOUS 1177 HAS SOUPS 970 WITH SCORE 976.052
AT ITER 3390 NEW BEST:: SOT 9219 SOS 6052 HAS SOPS 971 HAS SOUS 1174 HAS SOUPS 967 WITH SCORE 973.052
AT ITER 3421 NEW BEST:: SOT 9211 SOS 6044 HAS SOPS 963 HAS SOUS 1166 HAS SOUPS 959 WITH SCORE 965.044
AT ITER 3434 NEW BEST:: SOT 9210 SOS 6042 HAS SOPS 961 HAS SOUS 1165 HAS SOUPS 958 WITH SCORE 964.042
AT ITER 3696 NEW BEST:: SOT 9206 SOS 6039 HAS SOPS 961 HAS SOUS 1165 HAS SOUPS 958 WITH SCORE 964.039
AT ITER 3704 NEW BEST:: SOT 9201 SOS 6036 HAS SOPS 951 HAS SOUS 1155 HAS SOUPS 948 WITH SCORE 954.036
AT ITER 3763 NEW BEST:: SOT 9201 SOS 6036 HAS SOPS 950 HAS SOUS 1154 HAS SOUPS 947 WITH SCORE 953.036
AT ITER 3811 NEW BEST:: SOT 9199 SOS 6034 HAS SOPS 950 HAS SOUS 1154 HAS SOUPS 947 WITH SCORE 953.034
AT ITER 3977 NEW BEST:: SOT 9198 SOS 6035 HAS SOPS 948 HAS SOUS 1152 HAS SOUPS 945 WITH SCORE 951.035
AT ITER 3978 NEW BEST:: SOT 9185 SOS 6043 HAS SOPS 943 HAS SOUS 1147 HAS SOUPS 940 WITH SCORE 946.043
AT ITER 3986 NEW BEST:: SOT 9185 SOS 6041 HAS SOPS 943 HAS SOUS 1147 HAS SOUPS 940 WITH SCORE 946.041
AT ITER 3996 NEW BEST:: SOT 9179 SOS 6035 HAS SOPS 931 HAS SOUS 1135 HAS SOUPS 928 WITH SCORE 934.035
AT ITER 3998 NEW BEST:: SOT 9178 SOS 6034 HAS SOPS 929 HAS SOUS 1133 HAS SOUPS 926 WITH SCORE 932.034
AT ITER 4025 NEW BEST:: SOT 9169 SOS 6028 HAS SOPS 923 HAS SOUS 1127 HAS SOUPS 920 WITH SCORE 926.028
AT ITER 4192 NEW BEST:: SOT 9167 SOS 6025 HAS SOPS 919 HAS SOUS 1123 HAS SOUPS 916 WITH SCORE 922.025
AT ITER 4249 NEW BEST:: SOT 9158 SOS 6016 HAS SOPS 908 HAS SOUS 1112 HAS SOUPS 905 WITH SCORE 911.016
AT ITER 4390 NEW BEST:: SOT 9157 SOS 6015 HAS SOPS 908 HAS SOUS 1112 HAS SOUPS 905 WITH SCORE 911.015
AT ITER 4442 NEW BEST:: SOT 9156 SOS 6012 HAS SOPS 906 HAS SOUS 1110 HAS SOUPS 903 WITH SCORE 909.012
AT ITER 4584 NEW BEST:: SOT 9154 SOS 6010 HAS SOPS 904 HAS SOUS 1108 HAS SOUPS 901 WITH SCORE 907.01
AT ITER 4594 NEW BEST:: SOT 9152 SOS 6007 HAS SOPS 900 HAS SOUS 1104 HAS SOUPS 897 WITH SCORE 903.007
AT ITER 4613 NEW BEST:: SOT 9152 SOS 6006 HAS SOPS 900 HAS SOUS 1104 HAS SOUPS 897 WITH SCORE 903.006
AT ITER 4633 NEW BEST:: SOT 9152 SOS 6003 HAS SOPS 895 HAS SOUS 1099 HAS SOUPS 892 WITH SCORE 898.003
AT ITER 4648 NEW BEST:: SOT 9150 SOS 6002 HAS SOPS 895 HAS SOUS 1099 HAS SOUPS 892 WITH SCORE 898.002
AT ITER 4739 NEW BEST:: SOT 9150 SOS 6001 HAS SOPS 895 HAS SOUS 1099 HAS SOUPS 892 WITH SCORE 898.001
AT ITER 4746 NEW BEST:: SOT 9144 SOS 5995 HAS SOPS 883 HAS SOUS 1087 HAS SOUPS 880 WITH SCORE 885.995
AT ITER 4874 NEW BEST:: SOT 9140 SOS 5991 HAS SOPS 883 HAS SOUS 1087 HAS SOUPS 880 WITH SCORE 885.991
AT ITER 4886 NEW BEST:: SOT 9137 SOS 5988 HAS SOPS 879 HAS SOUS 1083 HAS SOUPS 876 WITH SCORE 881.988
AT ITER 5066 NEW BEST:: SOT 9136 SOS 5988 HAS SOPS 877 HAS SOUS 1081 HAS SOUPS 874 WITH SCORE 879.988
AT ITER 5182 NEW BEST:: SOT 9139 SOS 5980 HAS SOPS 872 HAS SOUS 1076 HAS SOUPS 869 WITH SCORE 874.98
AT ITER 5206 NEW BEST:: SOT 9140 SOS 5980 HAS SOPS 870 HAS SOUS 1074 HAS SOUPS 867 WITH SCORE 872.98
AT ITER 5218 NEW BEST:: SOT 9139 SOS 5979 HAS SOPS 868 HAS SOUS 1072 HAS SOUPS 865 WITH SCORE 870.979
AT ITER 5223 NEW BEST:: SOT 9136 SOS 5976 HAS SOPS 865 HAS SOUS 1069 HAS SOUPS 862 WITH SCORE 867.976
AT ITER 5275 NEW BEST:: SOT 9128 SOS 5968 HAS SOPS 855 HAS SOUS 1059 HAS SOUPS 852 WITH SCORE 857.968
AT ITER 5332 NEW BEST:: SOT 9142 SOS 5967 HAS SOPS 853 HAS SOUS 1057 HAS SOUPS 850 WITH SCORE 855.967
AT ITER 5492 NEW BEST:: SOT 9141 SOS 5965 HAS SOPS 851 HAS SOUS 1055 HAS SOUPS 848 WITH SCORE 853.965
AT ITER 5496 NEW BEST:: SOT 9139 SOS 5964 HAS SOPS 849 HAS SOUS 1053 HAS SOUPS 846 WITH SCORE 851.964
AT ITER 5502 NEW BEST:: SOT 9138 SOS 5962 HAS SOPS 847 HAS SOUS 1051 HAS SOUPS 844 WITH SCORE 849.962
AT ITER 5581 NEW BEST:: SOT 9136 SOS 5961 HAS SOPS 845 HAS SOUS 1049 HAS SOUPS 842 WITH SCORE 847.961
AT ITER 5605 NEW BEST:: SOT 9137 SOS 5962 HAS SOPS 843 HAS SOUS 1047 HAS SOUPS 840 WITH SCORE 845.962
AT ITER 5636 NEW BEST:: SOT 9139 SOS 5962 HAS SOPS 842 HAS SOUS 1046 HAS SOUPS 839 WITH SCORE 844.962
AT ITER 5723 NEW BEST:: SOT 9144 SOS 5957 HAS SOPS 842 HAS SOUS 1046 HAS SOUPS 839 WITH SCORE 844.957
AT ITER 6010 NEW BEST:: SOT 9143 SOS 5956 HAS SOPS 840 HAS SOUS 1044 HAS SOUPS 837 WITH SCORE 842.956
AT ITER 6031 NEW BEST:: SOT 9141 SOS 5954 HAS SOPS 836 HAS SOUS 1040 HAS SOUPS 833 WITH SCORE 838.954
AT ITER 6064 NEW BEST:: SOT 9132 SOS 5953 HAS SOPS 826 HAS SOUS 1030 HAS SOUPS 823 WITH SCORE 828.953
AT ITER 6202 NEW BEST:: SOT 9130 SOS 5948 HAS SOPS 817 HAS SOUS 1021 HAS SOUPS 814 WITH SCORE 819.948
AT ITER 6377 NEW BEST:: SOT 9129 SOS 5946 HAS SOPS 815 HAS SOUS 1019 HAS SOUPS 812 WITH SCORE 817.946
AT ITER 6386 NEW BEST:: SOT 9128 SOS 5946 HAS SOPS 814 HAS SOUS 1018 HAS SOUPS 811 WITH SCORE 816.946
AT ITER 6456 NEW BEST:: SOT 9126 SOS 5944 HAS SOPS 810 HAS SOUS 1014 HAS SOUPS 807 WITH SCORE 812.944
AT ITER 6495 NEW BEST:: SOT 9124 SOS 5943 HAS SOPS 808 HAS SOUS 1012 HAS SOUPS 805 WITH SCORE 810.943
AT ITER 6496 NEW BEST:: SOT 9124 SOS 5942 HAS SOPS 807 HAS SOUS 1011 HAS SOUPS 804 WITH SCORE 809.942
AT ITER 6572 NEW BEST:: SOT 9120 SOS 5939 HAS SOPS 802 HAS SOUS 1006 HAS SOUPS 799 WITH SCORE 804.939
AT ITER 6703 NEW BEST:: SOT 9119 SOS 5938 HAS SOPS 800 HAS SOUS 1004 HAS SOUPS 797 WITH SCORE 802.938
AT ITER 6849 NEW BEST:: SOT 9119 SOS 5938 HAS SOPS 798 HAS SOUS 1002 HAS SOUPS 795 WITH SCORE 800.938
AT ITER 6952 NEW BEST:: SOT 9118 SOS 5937 HAS SOPS 796 HAS SOUS 1000 HAS SOUPS 793 WITH SCORE 798.937
AT ITER 6979 NEW BEST:: SOT 9124 SOS 5938 HAS SOPS 793 HAS SOUS 997 HAS SOUPS 790 WITH SCORE 795.938
AT ITER 7048 NEW BEST:: SOT 9123 SOS 5937 HAS SOPS 791 HAS SOUS 995 HAS SOUPS 788 WITH SCORE 793.937
AT ITER 7089 NEW BEST:: SOT 9122 SOS 5936 HAS SOPS 789 HAS SOUS 993 HAS SOUPS 786 WITH SCORE 791.936
AT ITER 7633 NEW BEST:: SOT 9121 SOS 5935 HAS SOPS 787 HAS SOUS 991 HAS SOUPS 784 WITH SCORE 789.935
AT ITER 7887 NEW BEST:: SOT 9121 SOS 5934 HAS SOPS 787 HAS SOUS 991 HAS SOUPS 784 WITH SCORE 789.934
AT ITER 8129 NEW BEST:: SOT 9119 SOS 5931 HAS SOPS 783 HAS SOUS 987 HAS SOUPS 780 WITH SCORE 785.931
AT ITER 8341 NEW BEST:: SOT 9118 SOS 5929 HAS SOPS 781 HAS SOUS 986 HAS SOUPS 779 WITH SCORE 784.929
AT ITER 8429 NEW BEST:: SOT 9114 SOS 5925 HAS SOPS 781 HAS SOUS 986 HAS SOUPS 779 WITH SCORE 784.925
AT ITER 8441 NEW BEST:: SOT 9113 SOS 5925 HAS SOPS 780 HAS SOUS 985 HAS SOUPS 778 WITH SCORE 783.925
AT ITER 8528 NEW BEST:: SOT 9111 SOS 5924 HAS SOPS 779 HAS SOUS 984 HAS SOUPS 777 WITH SCORE 782.924
AT ITER 8739 NEW BEST:: SOT 9112 SOS 5923 HAS SOPS 775 HAS SOUS 980 HAS SOUPS 773 WITH SCORE 778.923
AT ITER 8891 NEW BEST:: SOT 9111 SOS 5922 HAS SOPS 773 HAS SOUS 978 HAS SOUPS 771 WITH SCORE 776.922
AT ITER 8924 NEW BEST:: SOT 9112 SOS 5921 HAS SOPS 772 HAS SOUS 977 HAS SOUPS 770 WITH SCORE 775.921
AT ITER 9562 NEW BEST:: SOT 9101 SOS 5910 HAS SOPS 772 HAS SOUS 977 HAS SOUPS 770 WITH SCORE 775.91
AT ITER 9608 NEW BEST:: SOT 9101 SOS 5908 HAS SOPS 770 HAS SOUS 975 HAS SOUPS 768 WITH SCORE 773.908
AT ITER 9906 NEW BEST:: SOT 9102 SOS 5999 HAS SOPS 766 HAS SOUS 976 HAS SOUPS 766 WITH SCORE 771.999
STATE_SPACE STATES 285311670612 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 13 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 3994363388555 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679893131930

--------------------
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="DiscoveryGPU-PT-11a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smart"
echo " Input is DiscoveryGPU-PT-11a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r131-smll-167819407400368"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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