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-158902542000275.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 DES-PT-30a, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542000275
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 256K
-rw-r--r-- 1 mcc users 3.4K Mar 30 01:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 30 01:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 28 16:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 16:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Mar 27 08:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 27 08:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 26 08:17 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 26 08:17 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K 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 70K 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 DES-PT-30a-CTLCardinality-00
FORMULA_NAME DES-PT-30a-CTLCardinality-01
FORMULA_NAME DES-PT-30a-CTLCardinality-02
FORMULA_NAME DES-PT-30a-CTLCardinality-03
FORMULA_NAME DES-PT-30a-CTLCardinality-04
FORMULA_NAME DES-PT-30a-CTLCardinality-05
FORMULA_NAME DES-PT-30a-CTLCardinality-06
FORMULA_NAME DES-PT-30a-CTLCardinality-07
FORMULA_NAME DES-PT-30a-CTLCardinality-08
FORMULA_NAME DES-PT-30a-CTLCardinality-09
FORMULA_NAME DES-PT-30a-CTLCardinality-10
FORMULA_NAME DES-PT-30a-CTLCardinality-11
FORMULA_NAME DES-PT-30a-CTLCardinality-12
FORMULA_NAME DES-PT-30a-CTLCardinality-13
FORMULA_NAME DES-PT-30a-CTLCardinality-14
FORMULA_NAME DES-PT-30a-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589106655223

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 30a
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: 234 places, 191 transitions, 926 arcs.
AT ITER 0 NEW BEST:: SOT 36651 SOS 32681 HAS SOPS 32681 HAS SOUS 19391 HAS SOUPS 19391 WITH SCORE 19423.681
AT ITER 46 NEW BEST:: SOT 36651 SOS 32681 HAS SOPS 32681 HAS SOUS 19390 HAS SOUPS 19390 WITH SCORE 19422.681
AT ITER 58 NEW BEST:: SOT 36651 SOS 32648 HAS SOPS 32648 HAS SOUS 19376 HAS SOUPS 19376 WITH SCORE 19408.648
AT ITER 71 NEW BEST:: SOT 36631 SOS 32634 HAS SOPS 32634 HAS SOUS 19361 HAS SOUPS 19361 WITH SCORE 19393.634
AT ITER 82 NEW BEST:: SOT 33594 SOS 29787 HAS SOPS 29787 HAS SOUS 16456 HAS SOUPS 16456 WITH SCORE 16485.787
AT ITER 84 NEW BEST:: SOT 33529 SOS 29730 HAS SOPS 29730 HAS SOUS 16399 HAS SOUPS 16399 WITH SCORE 16428.73
AT ITER 93 NEW BEST:: SOT 33525 SOS 29726 HAS SOPS 29726 HAS SOUS 16395 HAS SOUPS 16395 WITH SCORE 16424.726
AT ITER 105 NEW BEST:: SOT 33525 SOS 29726 HAS SOPS 29726 HAS SOUS 16394 HAS SOUPS 16394 WITH SCORE 16423.726
AT ITER 111 NEW BEST:: SOT 33490 SOS 29705 HAS SOPS 29705 HAS SOUS 16320 HAS SOUPS 16320 WITH SCORE 16349.705
AT ITER 116 NEW BEST:: SOT 33481 SOS 29702 HAS SOPS 29702 HAS SOUS 16317 HAS SOUPS 16317 WITH SCORE 16346.702
AT ITER 119 NEW BEST:: SOT 33464 SOS 29685 HAS SOPS 29685 HAS SOUS 16299 HAS SOUPS 16299 WITH SCORE 16328.685
AT ITER 123 NEW BEST:: SOT 33036 SOS 29257 HAS SOPS 29257 HAS SOUS 16212 HAS SOUPS 16212 WITH SCORE 16241.257
AT ITER 127 NEW BEST:: SOT 33025 SOS 29122 HAS SOPS 29122 HAS SOUS 16077 HAS SOUPS 16077 WITH SCORE 16106.122
AT ITER 136 NEW BEST:: SOT 32386 SOS 28474 HAS SOPS 28474 HAS SOUS 15429 HAS SOUPS 15429 WITH SCORE 15457.474
AT ITER 149 NEW BEST:: SOT 32301 SOS 28389 HAS SOPS 28389 HAS SOUS 15343 HAS SOUPS 15343 WITH SCORE 15371.389
AT ITER 161 NEW BEST:: SOT 32270 SOS 28358 HAS SOPS 28358 HAS SOUS 15312 HAS SOUPS 15312 WITH SCORE 15340.358
AT ITER 205 NEW BEST:: SOT 32270 SOS 28348 HAS SOPS 28348 HAS SOUS 15302 HAS SOUPS 15302 WITH SCORE 15330.348
AT ITER 215 NEW BEST:: SOT 32270 SOS 28306 HAS SOPS 28306 HAS SOUS 15280 HAS SOUPS 15280 WITH SCORE 15308.306
AT ITER 222 NEW BEST:: SOT 32043 SOS 28079 HAS SOPS 28079 HAS SOUS 15230 HAS SOUPS 15230 WITH SCORE 15258.079
AT ITER 244 NEW BEST:: SOT 31156 SOS 27192 HAS SOPS 27192 HAS SOUS 14343 HAS SOUPS 14343 WITH SCORE 14370.192
AT ITER 248 NEW BEST:: SOT 31156 SOS 27192 HAS SOPS 27192 HAS SOUS 14342 HAS SOUPS 14342 WITH SCORE 14369.192
AT ITER 262 NEW BEST:: SOT 31157 SOS 27196 HAS SOPS 27196 HAS SOUS 14341 HAS SOUPS 14341 WITH SCORE 14368.196
AT ITER 264 NEW BEST:: SOT 31135 SOS 27174 HAS SOPS 27174 HAS SOUS 14318 HAS SOUPS 14318 WITH SCORE 14345.174
AT ITER 266 NEW BEST:: SOT 31120 SOS 27156 HAS SOPS 27156 HAS SOUS 14310 HAS SOUPS 14310 WITH SCORE 14337.156
AT ITER 293 NEW BEST:: SOT 31056 SOS 27092 HAS SOPS 27092 HAS SOUS 14246 HAS SOUPS 14246 WITH SCORE 14273.092
AT ITER 294 NEW BEST:: SOT 31056 SOS 27052 HAS SOPS 27052 HAS SOUS 14220 HAS SOUPS 14220 WITH SCORE 14247.052
AT ITER 296 NEW BEST:: SOT 30878 SOS 26874 HAS SOPS 26874 HAS SOUS 14011 HAS SOUPS 14011 WITH SCORE 14037.874
AT ITER 299 NEW BEST:: SOT 30850 SOS 26846 HAS SOPS 26846 HAS SOUS 13963 HAS SOUPS 13963 WITH SCORE 13989.846
AT ITER 304 NEW BEST:: SOT 29844 SOS 25840 HAS SOPS 25840 HAS SOUS 12836 HAS SOUPS 12836 WITH SCORE 12861.84
AT ITER 306 NEW BEST:: SOT 29816 SOS 25784 HAS SOPS 25784 HAS SOUS 12780 HAS SOUPS 12780 WITH SCORE 12805.784
AT ITER 307 NEW BEST:: SOT 29797 SOS 25764 HAS SOPS 25764 HAS SOUS 12760 HAS SOUPS 12760 WITH SCORE 12785.764
AT ITER 311 NEW BEST:: SOT 29525 SOS 25492 HAS SOPS 25492 HAS SOUS 12625 HAS SOUPS 12625 WITH SCORE 12650.492
AT ITER 313 NEW BEST:: SOT 29479 SOS 25457 HAS SOPS 25457 HAS SOUS 12590 HAS SOUPS 12590 WITH SCORE 12615.457
AT ITER 314 NEW BEST:: SOT 29433 SOS 25411 HAS SOPS 25411 HAS SOUS 12575 HAS SOUPS 12575 WITH SCORE 12600.411
AT ITER 321 NEW BEST:: SOT 29413 SOS 25260 HAS SOPS 25260 HAS SOUS 12457 HAS SOUPS 12457 WITH SCORE 12482.26
AT ITER 336 NEW BEST:: SOT 29485 SOS 25332 HAS SOPS 25332 HAS SOUS 12453 HAS SOUPS 12453 WITH SCORE 12478.332
AT ITER 339 NEW BEST:: SOT 28968 SOS 24815 HAS SOPS 24815 HAS SOUS 11936 HAS SOUPS 11936 WITH SCORE 11960.815
AT ITER 345 NEW BEST:: SOT 28966 SOS 24720 HAS SOPS 24720 HAS SOUS 11932 HAS SOUPS 11932 WITH SCORE 11956.72
AT ITER 361 NEW BEST:: SOT 28208 SOS 23962 HAS SOPS 23962 HAS SOUS 11173 HAS SOUPS 11173 WITH SCORE 11196.962
AT ITER 372 NEW BEST:: SOT 27830 SOS 23584 HAS SOPS 23584 HAS SOUS 11114 HAS SOUPS 11114 WITH SCORE 11137.584
AT ITER 376 NEW BEST:: SOT 27827 SOS 23581 HAS SOPS 23581 HAS SOUS 11110 HAS SOUPS 11110 WITH SCORE 11133.581
AT ITER 392 NEW BEST:: SOT 27825 SOS 23579 HAS SOPS 23579 HAS SOUS 11108 HAS SOUPS 11108 WITH SCORE 11131.579
AT ITER 396 NEW BEST:: SOT 27785 SOS 23539 HAS SOPS 23539 HAS SOUS 11059 HAS SOUPS 11059 WITH SCORE 11082.539
AT ITER 409 NEW BEST:: SOT 27783 SOS 23537 HAS SOPS 23537 HAS SOUS 10997 HAS SOUPS 10997 WITH SCORE 11020.537
AT ITER 412 NEW BEST:: SOT 27705 SOS 23450 HAS SOPS 23450 HAS SOUS 10993 HAS SOUPS 10993 WITH SCORE 11016.45
AT ITER 422 NEW BEST:: SOT 27675 SOS 23392 HAS SOPS 23392 HAS SOUS 10935 HAS SOUPS 10935 WITH SCORE 10958.392
AT ITER 427 NEW BEST:: SOT 27583 SOS 23300 HAS SOPS 23300 HAS SOUS 10814 HAS SOUPS 10814 WITH SCORE 10837.3
AT ITER 439 NEW BEST:: SOT 27583 SOS 23300 HAS SOPS 23300 HAS SOUS 10813 HAS SOUPS 10813 WITH SCORE 10836.3
AT ITER 458 NEW BEST:: SOT 27583 SOS 23250 HAS SOPS 23250 HAS SOUS 10763 HAS SOUPS 10763 WITH SCORE 10786.25
AT ITER 461 NEW BEST:: SOT 27595 SOS 23352 HAS SOPS 23352 HAS SOUS 10740 HAS SOUPS 10740 WITH SCORE 10763.352
AT ITER 476 NEW BEST:: SOT 27595 SOS 23361 HAS SOPS 23361 HAS SOUS 10735 HAS SOUPS 10735 WITH SCORE 10758.361
AT ITER 480 NEW BEST:: SOT 27510 SOS 23276 HAS SOPS 23276 HAS SOUS 10650 HAS SOUPS 10650 WITH SCORE 10673.276
AT ITER 495 NEW BEST:: SOT 27510 SOS 23276 HAS SOPS 23276 HAS SOUS 10646 HAS SOUPS 10646 WITH SCORE 10669.276
AT ITER 501 NEW BEST:: SOT 27510 SOS 23272 HAS SOPS 23272 HAS SOUS 10646 HAS SOUPS 10646 WITH SCORE 10669.272
AT ITER 510 NEW BEST:: SOT 27468 SOS 23230 HAS SOPS 23230 HAS SOUS 10603 HAS SOUPS 10603 WITH SCORE 10626.23
AT ITER 513 NEW BEST:: SOT 27468 SOS 23281 HAS SOPS 23281 HAS SOUS 10593 HAS SOUPS 10593 WITH SCORE 10616.281
AT ITER 522 NEW BEST:: SOT 27703 SOS 23482 HAS SOPS 23482 HAS SOUS 10550 HAS SOUPS 10550 WITH SCORE 10573.482
AT ITER 524 NEW BEST:: SOT 27615 SOS 23394 HAS SOPS 23394 HAS SOUS 10486 HAS SOUPS 10486 WITH SCORE 10509.394
AT ITER 526 NEW BEST:: SOT 27557 SOS 23336 HAS SOPS 23336 HAS SOUS 10481 HAS SOUPS 10481 WITH SCORE 10504.336
AT ITER 533 NEW BEST:: SOT 27557 SOS 23335 HAS SOPS 23335 HAS SOUS 10480 HAS SOUPS 10480 WITH SCORE 10503.335
AT ITER 534 NEW BEST:: SOT 27573 SOS 23351 HAS SOPS 23351 HAS SOUS 10409 HAS SOUPS 10409 WITH SCORE 10432.351
AT ITER 539 NEW BEST:: SOT 27554 SOS 23298 HAS SOPS 23298 HAS SOUS 10404 HAS SOUPS 10404 WITH SCORE 10427.298
AT ITER 553 NEW BEST:: SOT 27556 SOS 23300 HAS SOPS 23300 HAS SOUS 10396 HAS SOUPS 10396 WITH SCORE 10419.3
AT ITER 565 NEW BEST:: SOT 27556 SOS 22101 HAS SOPS 22101 HAS SOUS 10370 HAS SOUPS 10370 WITH SCORE 10392.101
AT ITER 568 NEW BEST:: SOT 27555 SOS 22099 HAS SOPS 22099 HAS SOUS 10368 HAS SOUPS 10368 WITH SCORE 10390.099
AT ITER 576 NEW BEST:: SOT 27549 SOS 22093 HAS SOPS 22093 HAS SOUS 10367 HAS SOUPS 10367 WITH SCORE 10389.093
AT ITER 577 NEW BEST:: SOT 27547 SOS 22091 HAS SOPS 22091 HAS SOUS 10367 HAS SOUPS 10367 WITH SCORE 10389.091
AT ITER 585 NEW BEST:: SOT 27567 SOS 22111 HAS SOPS 22111 HAS SOUS 10360 HAS SOUPS 10360 WITH SCORE 10382.111
AT ITER 594 NEW BEST:: SOT 27568 SOS 22126 HAS SOPS 22126 HAS SOUS 10326 HAS SOUPS 10326 WITH SCORE 10348.126
AT ITER 606 NEW BEST:: SOT 27529 SOS 22087 HAS SOPS 22087 HAS SOUS 10287 HAS SOUPS 10287 WITH SCORE 10309.087
AT ITER 649 NEW BEST:: SOT 27528 SOS 22086 HAS SOPS 22086 HAS SOUS 10285 HAS SOUPS 10285 WITH SCORE 10307.086
AT ITER 664 NEW BEST:: SOT 27483 SOS 22041 HAS SOPS 22041 HAS SOUS 10260 HAS SOUPS 10260 WITH SCORE 10282.041
AT ITER 669 NEW BEST:: SOT 27483 SOS 22040 HAS SOPS 22040 HAS SOUS 10259 HAS SOUPS 10259 WITH SCORE 10281.04
AT ITER 708 NEW BEST:: SOT 27452 SOS 21951 HAS SOPS 21951 HAS SOUS 10250 HAS SOUPS 10250 WITH SCORE 10271.951
AT ITER 714 NEW BEST:: SOT 27292 SOS 21791 HAS SOPS 21791 HAS SOUS 10119 HAS SOUPS 10119 WITH SCORE 10140.791
AT ITER 717 NEW BEST:: SOT 27284 SOS 21772 HAS SOPS 21772 HAS SOUS 10100 HAS SOUPS 10100 WITH SCORE 10121.772
AT ITER 722 NEW BEST:: SOT 27264 SOS 21752 HAS SOPS 21752 HAS SOUS 10040 HAS SOUPS 10040 WITH SCORE 10061.752
AT ITER 730 NEW BEST:: SOT 27264 SOS 21753 HAS SOPS 21753 HAS SOUS 10039 HAS SOUPS 10039 WITH SCORE 10060.753
AT ITER 754 NEW BEST:: SOT 27264 SOS 21763 HAS SOPS 21763 HAS SOUS 10029 HAS SOUPS 10029 WITH SCORE 10050.763
AT ITER 757 NEW BEST:: SOT 27262 SOS 21761 HAS SOPS 21761 HAS SOUS 10025 HAS SOUPS 10025 WITH SCORE 10046.761
AT ITER 774 NEW BEST:: SOT 27243 SOS 21742 HAS SOPS 21742 HAS SOUS 9994 HAS SOUPS 9994 WITH SCORE 10015.742
AT ITER 780 NEW BEST:: SOT 27243 SOS 21742 HAS SOPS 21742 HAS SOUS 9972 HAS SOUPS 9972 WITH SCORE 9993.742
AT ITER 786 NEW BEST:: SOT 27105 SOS 21604 HAS SOPS 21604 HAS SOUS 9926 HAS SOUPS 9926 WITH SCORE 9947.604
AT ITER 791 NEW BEST:: SOT 27110 SOS 21609 HAS SOPS 21609 HAS SOUS 9904 HAS SOUPS 9904 WITH SCORE 9925.609
AT ITER 806 NEW BEST:: SOT 27054 SOS 21550 HAS SOPS 21550 HAS SOUS 9901 HAS SOUPS 9901 WITH SCORE 9922.55
AT ITER 811 NEW BEST:: SOT 26980 SOS 21439 HAS SOPS 21439 HAS SOUS 9790 HAS SOUPS 9790 WITH SCORE 9811.439
AT ITER 814 NEW BEST:: SOT 26981 SOS 21440 HAS SOPS 21440 HAS SOUS 9780 HAS SOUPS 9780 WITH SCORE 9801.44
AT ITER 825 NEW BEST:: SOT 26966 SOS 21410 HAS SOPS 21410 HAS SOUS 9779 HAS SOUPS 9779 WITH SCORE 9800.41
AT ITER 831 NEW BEST:: SOT 26966 SOS 21774 HAS SOPS 21774 HAS SOUS 9775 HAS SOUPS 9775 WITH SCORE 9796.774
AT ITER 837 NEW BEST:: SOT 26983 SOS 21791 HAS SOPS 21791 HAS SOUS 9766 HAS SOUPS 9766 WITH SCORE 9787.791
AT ITER 850 NEW BEST:: SOT 26939 SOS 21747 HAS SOPS 21747 HAS SOUS 9699 HAS SOUPS 9699 WITH SCORE 9720.747
AT ITER 852 NEW BEST:: SOT 26947 SOS 21755 HAS SOPS 21755 HAS SOUS 9677 HAS SOUPS 9677 WITH SCORE 9698.755
AT ITER 862 NEW BEST:: SOT 26911 SOS 21719 HAS SOPS 21719 HAS SOUS 9654 HAS SOUPS 9654 WITH SCORE 9675.719
AT ITER 864 NEW BEST:: SOT 26859 SOS 21667 HAS SOPS 21667 HAS SOUS 9602 HAS SOUPS 9602 WITH SCORE 9623.667
AT ITER 872 NEW BEST:: SOT 26859 SOS 21791 HAS SOPS 21791 HAS SOUS 9590 HAS SOUPS 9590 WITH SCORE 9611.791
AT ITER 876 NEW BEST:: SOT 26844 SOS 21776 HAS SOPS 21776 HAS SOUS 9575 HAS SOUPS 9575 WITH SCORE 9596.776
AT ITER 879 NEW BEST:: SOT 26844 SOS 21776 HAS SOPS 21776 HAS SOUS 9573 HAS SOUPS 9573 WITH SCORE 9594.776
AT ITER 886 NEW BEST:: SOT 26839 SOS 21771 HAS SOPS 21771 HAS SOUS 9563 HAS SOUPS 9563 WITH SCORE 9584.771
AT ITER 887 NEW BEST:: SOT 26822 SOS 21754 HAS SOPS 21754 HAS SOUS 9546 HAS SOUPS 9546 WITH SCORE 9567.754
AT ITER 892 NEW BEST:: SOT 26737 SOS 21669 HAS SOPS 21669 HAS SOUS 9394 HAS SOUPS 9394 WITH SCORE 9415.669
AT ITER 896 NEW BEST:: SOT 26705 SOS 21626 HAS SOPS 21626 HAS SOUS 9383 HAS SOUPS 9383 WITH SCORE 9404.626
AT ITER 903 NEW BEST:: SOT 26668 SOS 21589 HAS SOPS 21589 HAS SOUS 9269 HAS SOUPS 9269 WITH SCORE 9290.589
AT ITER 916 NEW BEST:: SOT 26656 SOS 21567 HAS SOPS 21567 HAS SOUS 9247 HAS SOUPS 9247 WITH SCORE 9268.567
AT ITER 921 NEW BEST:: SOT 26645 SOS 21556 HAS SOPS 21556 HAS SOUS 9236 HAS SOUPS 9236 WITH SCORE 9257.556
AT ITER 924 NEW BEST:: SOT 26550 SOS 21493 HAS SOPS 21493 HAS SOUS 9131 HAS SOUPS 9131 WITH SCORE 9152.493
AT ITER 931 NEW BEST:: SOT 26547 SOS 21490 HAS SOPS 21490 HAS SOUS 9128 HAS SOUPS 9128 WITH SCORE 9149.49
AT ITER 937 NEW BEST:: SOT 26553 SOS 21496 HAS SOPS 21496 HAS SOUS 9124 HAS SOUPS 9124 WITH SCORE 9145.496
AT ITER 938 NEW BEST:: SOT 26552 SOS 21495 HAS SOPS 21495 HAS SOUS 9123 HAS SOUPS 9123 WITH SCORE 9144.495
AT ITER 941 NEW BEST:: SOT 26553 SOS 21496 HAS SOPS 21496 HAS SOUS 9120 HAS SOUPS 9120 WITH SCORE 9141.496
AT ITER 946 NEW BEST:: SOT 26553 SOS 21492 HAS SOPS 21492 HAS SOUS 9116 HAS SOUPS 9116 WITH SCORE 9137.492
AT ITER 957 NEW BEST:: SOT 26533 SOS 21472 HAS SOPS 21472 HAS SOUS 9109 HAS SOUPS 9109 WITH SCORE 9130.472
AT ITER 958 NEW BEST:: SOT 26539 SOS 21370 HAS SOPS 21370 HAS SOUS 9086 HAS SOUPS 9086 WITH SCORE 9107.37
AT ITER 972 NEW BEST:: SOT 26539 SOS 21370 HAS SOPS 21370 HAS SOUS 9075 HAS SOUPS 9075 WITH SCORE 9096.37
AT ITER 976 NEW BEST:: SOT 26540 SOS 21379 HAS SOPS 21379 HAS SOUS 9070 HAS SOUPS 9070 WITH SCORE 9091.379
AT ITER 990 NEW BEST:: SOT 26520 SOS 21371 HAS SOPS 21371 HAS SOUS 9062 HAS SOUPS 9062 WITH SCORE 9083.371
AT ITER 992 NEW BEST:: SOT 26424 SOS 21275 HAS SOPS 21275 HAS SOUS 8966 HAS SOUPS 8966 WITH SCORE 8987.275
AT ITER 1000 NEW BEST:: SOT 26443 SOS 21294 HAS SOPS 21294 HAS SOUS 8942 HAS SOUPS 8942 WITH SCORE 8963.294
AT ITER 1008 NEW BEST:: SOT 26470 SOS 21284 HAS SOPS 21284 HAS SOUS 8932 HAS SOUPS 8932 WITH SCORE 8953.284
AT ITER 1011 NEW BEST:: SOT 26442 SOS 21229 HAS SOPS 21229 HAS SOUS 8903 HAS SOUPS 8903 WITH SCORE 8924.229
AT ITER 1013 NEW BEST:: SOT 26434 SOS 21221 HAS SOPS 21221 HAS SOUS 8895 HAS SOUPS 8895 WITH SCORE 8916.221
AT ITER 1018 NEW BEST:: SOT 26424 SOS 21211 HAS SOPS 21211 HAS SOUS 8892 HAS SOUPS 8892 WITH SCORE 8913.211
AT ITER 1025 NEW BEST:: SOT 26423 SOS 21210 HAS SOPS 21210 HAS SOUS 8890 HAS SOUPS 8890 WITH SCORE 8911.21
AT ITER 1034 NEW BEST:: SOT 26423 SOS 21210 HAS SOPS 21210 HAS SOUS 8864 HAS SOUPS 8864 WITH SCORE 8885.21
AT ITER 1044 NEW BEST:: SOT 26376 SOS 21163 HAS SOPS 21163 HAS SOUS 8817 HAS SOUPS 8817 WITH SCORE 8838.163
AT ITER 1053 NEW BEST:: SOT 26277 SOS 21064 HAS SOPS 21064 HAS SOUS 8778 HAS SOUPS 8778 WITH SCORE 8799.064
AT ITER 1055 NEW BEST:: SOT 26235 SOS 21022 HAS SOPS 21022 HAS SOUS 8743 HAS SOUPS 8743 WITH SCORE 8764.022
AT ITER 1068 NEW BEST:: SOT 26235 SOS 21022 HAS SOPS 21022 HAS SOUS 8726 HAS SOUPS 8726 WITH SCORE 8747.022
AT ITER 1072 NEW BEST:: SOT 26226 SOS 21013 HAS SOPS 21013 HAS SOUS 8705 HAS SOUPS 8705 WITH SCORE 8726.013
AT ITER 1073 NEW BEST:: SOT 26226 SOS 21035 HAS SOPS 21035 HAS SOUS 8699 HAS SOUPS 8699 WITH SCORE 8720.035
AT ITER 1075 NEW BEST:: SOT 26188 SOS 20988 HAS SOPS 20988 HAS SOUS 8690 HAS SOUPS 8690 WITH SCORE 8710.988
AT ITER 1081 NEW BEST:: SOT 26220 SOS 20964 HAS SOPS 20964 HAS SOUS 8666 HAS SOUPS 8666 WITH SCORE 8686.964
AT ITER 1103 NEW BEST:: SOT 26173 SOS 20860 HAS SOPS 20860 HAS SOUS 8645 HAS SOUPS 8645 WITH SCORE 8665.86
AT ITER 1111 NEW BEST:: SOT 25948 SOS 18906 HAS SOPS 18906 HAS SOUS 8522 HAS SOUPS 8522 WITH SCORE 8540.906
AT ITER 1128 NEW BEST:: SOT 25927 SOS 18885 HAS SOPS 18885 HAS SOUS 8501 HAS SOUPS 8501 WITH SCORE 8519.885
AT ITER 1165 NEW BEST:: SOT 25864 SOS 18813 HAS SOPS 18813 HAS SOUS 8470 HAS SOUPS 8470 WITH SCORE 8488.813
AT ITER 1169 NEW BEST:: SOT 25846 SOS 18795 HAS SOPS 18795 HAS SOUS 8452 HAS SOUPS 8452 WITH SCORE 8470.795
AT ITER 1190 NEW BEST:: SOT 25696 SOS 18645 HAS SOPS 18645 HAS SOUS 8302 HAS SOUPS 8302 WITH SCORE 8320.645
AT ITER 1198 NEW BEST:: SOT 25570 SOS 18518 HAS SOPS 18518 HAS SOUS 8225 HAS SOUPS 8225 WITH SCORE 8243.518
AT ITER 1201 NEW BEST:: SOT 25547 SOS 18493 HAS SOPS 18493 HAS SOUS 8200 HAS SOUPS 8200 WITH SCORE 8218.493
AT ITER 1242 NEW BEST:: SOT 25485 SOS 18458 HAS SOPS 18458 HAS SOUS 8162 HAS SOUPS 8162 WITH SCORE 8180.458
AT ITER 1246 NEW BEST:: SOT 25452 SOS 18407 HAS SOPS 18407 HAS SOUS 8151 HAS SOUPS 8151 WITH SCORE 8169.407
AT ITER 1263 NEW BEST:: SOT 25451 SOS 18406 HAS SOPS 18406 HAS SOUS 8149 HAS SOUPS 8149 WITH SCORE 8167.406
AT ITER 1265 NEW BEST:: SOT 25429 SOS 18362 HAS SOPS 18362 HAS SOUS 8127 HAS SOUPS 8127 WITH SCORE 8145.362
AT ITER 1275 NEW BEST:: SOT 25377 SOS 18321 HAS SOPS 18321 HAS SOUS 8058 HAS SOUPS 8058 WITH SCORE 8076.321
AT ITER 1298 NEW BEST:: SOT 25376 SOS 18320 HAS SOPS 18320 HAS SOUS 8056 HAS SOUPS 8056 WITH SCORE 8074.32
AT ITER 1302 NEW BEST:: SOT 25376 SOS 18275 HAS SOPS 18275 HAS SOUS 8011 HAS SOUPS 8011 WITH SCORE 8029.275
AT ITER 1306 NEW BEST:: SOT 25376 SOS 18273 HAS SOPS 18273 HAS SOUS 8009 HAS SOUPS 8009 WITH SCORE 8027.273
AT ITER 1313 NEW BEST:: SOT 24697 SOS 17561 HAS SOPS 17561 HAS SOUS 7893 HAS SOUPS 7893 WITH SCORE 7910.561
AT ITER 1327 NEW BEST:: SOT 24741 SOS 17618 HAS SOPS 17618 HAS SOUS 7889 HAS SOUPS 7889 WITH SCORE 7906.618
AT ITER 1343 NEW BEST:: SOT 24711 SOS 17573 HAS SOPS 17573 HAS SOUS 7844 HAS SOUPS 7844 WITH SCORE 7861.573
AT ITER 1351 NEW BEST:: SOT 24710 SOS 17572 HAS SOPS 17572 HAS SOUS 7842 HAS SOUPS 7842 WITH SCORE 7859.572
AT ITER 1369 NEW BEST:: SOT 24737 SOS 17507 HAS SOPS 17507 HAS SOUS 7823 HAS SOUPS 7823 WITH SCORE 7840.507
AT ITER 1381 NEW BEST:: SOT 24737 SOS 17575 HAS SOPS 17575 HAS SOUS 7803 HAS SOUPS 7803 WITH SCORE 7820.575
AT ITER 1388 NEW BEST:: SOT 24724 SOS 17549 HAS SOPS 17549 HAS SOUS 7777 HAS SOUPS 7777 WITH SCORE 7794.549
AT ITER 1452 NEW BEST:: SOT 24706 SOS 17521 HAS SOPS 17521 HAS SOUS 7729 HAS SOUPS 7729 WITH SCORE 7746.521
AT ITER 1480 NEW BEST:: SOT 24647 SOS 17462 HAS SOPS 17462 HAS SOUS 7627 HAS SOUPS 7627 WITH SCORE 7644.462
AT ITER 1483 NEW BEST:: SOT 24647 SOS 17397 HAS SOPS 17397 HAS SOUS 7562 HAS SOUPS 7562 WITH SCORE 7579.397
AT ITER 1497 NEW BEST:: SOT 24619 SOS 17369 HAS SOPS 17369 HAS SOUS 7548 HAS SOUPS 7548 WITH SCORE 7565.369
AT ITER 1499 NEW BEST:: SOT 24605 SOS 17355 HAS SOPS 17355 HAS SOUS 7534 HAS SOUPS 7534 WITH SCORE 7551.355
AT ITER 1512 NEW BEST:: SOT 24552 SOS 17256 HAS SOPS 17256 HAS SOUS 7421 HAS SOUPS 7421 WITH SCORE 7438.256
AT ITER 1530 NEW BEST:: SOT 24552 SOS 17255 HAS SOPS 17255 HAS SOUS 7420 HAS SOUPS 7420 WITH SCORE 7437.255
AT ITER 1534 NEW BEST:: SOT 24581 SOS 17284 HAS SOPS 17284 HAS SOUS 7393 HAS SOUPS 7393 WITH SCORE 7410.284
AT ITER 1546 NEW BEST:: SOT 24580 SOS 17283 HAS SOPS 17283 HAS SOUS 7391 HAS SOUPS 7391 WITH SCORE 7408.283
AT ITER 1577 NEW BEST:: SOT 24529 SOS 17232 HAS SOPS 17232 HAS SOUS 7372 HAS SOUPS 7372 WITH SCORE 7389.232
AT ITER 1583 NEW BEST:: SOT 24529 SOS 17232 HAS SOPS 17232 HAS SOUS 7341 HAS SOUPS 7341 WITH SCORE 7358.232
AT ITER 1594 NEW BEST:: SOT 24521 SOS 17196 HAS SOPS 17196 HAS SOUS 7305 HAS SOUPS 7305 WITH SCORE 7322.196
AT ITER 1622 NEW BEST:: SOT 24500 SOS 17158 HAS SOPS 17158 HAS SOUS 7280 HAS SOUPS 7280 WITH SCORE 7297.158
AT ITER 1637 NEW BEST:: SOT 24494 SOS 17152 HAS SOPS 17152 HAS SOUS 7274 HAS SOUPS 7274 WITH SCORE 7291.152
AT ITER 1647 NEW BEST:: SOT 24448 SOS 17081 HAS SOPS 17081 HAS SOUS 7249 HAS SOUPS 7249 WITH SCORE 7266.081
AT ITER 1650 NEW BEST:: SOT 24418 SOS 17040 HAS SOPS 17040 HAS SOUS 7220 HAS SOUPS 7220 WITH SCORE 7237.04
AT ITER 1652 NEW BEST:: SOT 24375 SOS 16997 HAS SOPS 16997 HAS SOUS 7177 HAS SOUPS 7177 WITH SCORE 7193.997
AT ITER 1654 NEW BEST:: SOT 24343 SOS 16915 HAS SOPS 16915 HAS SOUS 7162 HAS SOUPS 7162 WITH SCORE 7178.915
AT ITER 1660 NEW BEST:: SOT 24343 SOS 16917 HAS SOPS 16917 HAS SOUS 7160 HAS SOUPS 7160 WITH SCORE 7176.917
AT ITER 1684 NEW BEST:: SOT 24317 SOS 16880 HAS SOPS 16880 HAS SOUS 7123 HAS SOUPS 7123 WITH SCORE 7139.88
AT ITER 1689 NEW BEST:: SOT 24317 SOS 16874 HAS SOPS 16874 HAS SOUS 7123 HAS SOUPS 7123 WITH SCORE 7139.874
AT ITER 1693 NEW BEST:: SOT 24298 SOS 16869 HAS SOPS 16869 HAS SOUS 7107 HAS SOUPS 7107 WITH SCORE 7123.869
AT ITER 1699 NEW BEST:: SOT 24293 SOS 16864 HAS SOPS 16864 HAS SOUS 7102 HAS SOUPS 7102 WITH SCORE 7118.864
AT ITER 1704 NEW BEST:: SOT 24314 SOS 16859 HAS SOPS 16859 HAS SOUS 7097 HAS SOUPS 7097 WITH SCORE 7113.859
AT ITER 1716 NEW BEST:: SOT 24156 SOS 16717 HAS SOPS 16717 HAS SOUS 7062 HAS SOUPS 7062 WITH SCORE 7078.717
AT ITER 1732 NEW BEST:: SOT 24142 SOS 16705 HAS SOPS 16705 HAS SOUS 7055 HAS SOUPS 7055 WITH SCORE 7071.705
AT ITER 1743 NEW BEST:: SOT 24089 SOS 16605 HAS SOPS 16605 HAS SOUS 6997 HAS SOUPS 6997 WITH SCORE 7013.605
AT ITER 1753 NEW BEST:: SOT 24102 SOS 16597 HAS SOPS 16597 HAS SOUS 6989 HAS SOUPS 6989 WITH SCORE 7005.597
AT ITER 1756 NEW BEST:: SOT 24087 SOS 16554 HAS SOPS 16554 HAS SOUS 6978 HAS SOUPS 6978 WITH SCORE 6994.554
AT ITER 1786 NEW BEST:: SOT 24079 SOS 16526 HAS SOPS 16526 HAS SOUS 6965 HAS SOUPS 6965 WITH SCORE 6981.526
AT ITER 1794 NEW BEST:: SOT 24114 SOS 16561 HAS SOPS 16561 HAS SOUS 6963 HAS SOUPS 6963 WITH SCORE 6979.561
AT ITER 1802 NEW BEST:: SOT 24112 SOS 16559 HAS SOPS 16559 HAS SOUS 6961 HAS SOUPS 6961 WITH SCORE 6977.559
AT ITER 1804 NEW BEST:: SOT 24047 SOS 16858 HAS SOPS 16858 HAS SOUS 6935 HAS SOUPS 6935 WITH SCORE 6951.858
AT ITER 1815 NEW BEST:: SOT 24046 SOS 16859 HAS SOPS 16859 HAS SOUS 6934 HAS SOUPS 6934 WITH SCORE 6950.859
AT ITER 1827 NEW BEST:: SOT 24045 SOS 16792 HAS SOPS 16792 HAS SOUS 6932 HAS SOUPS 6932 WITH SCORE 6948.792
AT ITER 1837 NEW BEST:: SOT 24039 SOS 16786 HAS SOPS 16786 HAS SOUS 6926 HAS SOUPS 6926 WITH SCORE 6942.786
AT ITER 1884 NEW BEST:: SOT 24038 SOS 16785 HAS SOPS 16785 HAS SOUS 6925 HAS SOUPS 6925 WITH SCORE 6941.785
AT ITER 1905 NEW BEST:: SOT 24032 SOS 16779 HAS SOPS 16779 HAS SOUS 6913 HAS SOUPS 6913 WITH SCORE 6929.779
AT ITER 1912 NEW BEST:: SOT 24032 SOS 16778 HAS SOPS 16778 HAS SOUS 6912 HAS SOUPS 6912 WITH SCORE 6928.778
AT ITER 1926 NEW BEST:: SOT 24028 SOS 16774 HAS SOPS 16774 HAS SOUS 6912 HAS SOUPS 6912 WITH SCORE 6928.774
AT ITER 1928 NEW BEST:: SOT 24024 SOS 16824 HAS SOPS 16824 HAS SOUS 6856 HAS SOUPS 6856 WITH SCORE 6872.824
AT ITER 1931 NEW BEST:: SOT 24023 SOS 16777 HAS SOPS 16777 HAS SOUS 6854 HAS SOUPS 6854 WITH SCORE 6870.777
AT ITER 1936 NEW BEST:: SOT 24029 SOS 16790 HAS SOPS 16790 HAS SOUS 6800 HAS SOUPS 6800 WITH SCORE 6816.79
AT ITER 1956 NEW BEST:: SOT 23994 SOS 16732 HAS SOPS 16732 HAS SOUS 6742 HAS SOUPS 6742 WITH SCORE 6758.732
AT ITER 1974 NEW BEST:: SOT 23994 SOS 16740 HAS SOPS 16740 HAS SOUS 6730 HAS SOUPS 6730 WITH SCORE 6746.74
AT ITER 1984 NEW BEST:: SOT 23975 SOS 16693 HAS SOPS 16693 HAS SOUS 6720 HAS SOUPS 6720 WITH SCORE 6736.693
AT ITER 1990 NEW BEST:: SOT 23975 SOS 16693 HAS SOPS 16693 HAS SOUS 6718 HAS SOUPS 6718 WITH SCORE 6734.693
AT ITER 2003 NEW BEST:: SOT 23972 SOS 16690 HAS SOPS 16690 HAS SOUS 6715 HAS SOUPS 6715 WITH SCORE 6731.69
AT ITER 2005 NEW BEST:: SOT 23855 SOS 16503 HAS SOPS 16503 HAS SOUS 6528 HAS SOUPS 6528 WITH SCORE 6544.503
AT ITER 2015 NEW BEST:: SOT 23855 SOS 16479 HAS SOPS 16479 HAS SOUS 6504 HAS SOUPS 6504 WITH SCORE 6520.479
AT ITER 2025 NEW BEST:: SOT 23840 SOS 16415 HAS SOPS 16415 HAS SOUS 6421 HAS SOUPS 6421 WITH SCORE 6437.415
AT ITER 2031 NEW BEST:: SOT 23792 SOS 16367 HAS SOPS 16367 HAS SOUS 6373 HAS SOUPS 6373 WITH SCORE 6389.367
AT ITER 2037 NEW BEST:: SOT 23772 SOS 16347 HAS SOPS 16347 HAS SOUS 6353 HAS SOUPS 6353 WITH SCORE 6369.347
AT ITER 2039 NEW BEST:: SOT 23772 SOS 16333 HAS SOPS 16333 HAS SOUS 6339 HAS SOUPS 6339 WITH SCORE 6355.333
AT ITER 2042 NEW BEST:: SOT 23763 SOS 16317 HAS SOPS 16317 HAS SOUS 6312 HAS SOUPS 6312 WITH SCORE 6328.317
AT ITER 2044 NEW BEST:: SOT 23752 SOS 16306 HAS SOPS 16306 HAS SOUS 6290 HAS SOUPS 6290 WITH SCORE 6306.306
AT ITER 2064 NEW BEST:: SOT 23737 SOS 16291 HAS SOPS 16291 HAS SOUS 6287 HAS SOUPS 6287 WITH SCORE 6303.291
AT ITER 2087 NEW BEST:: SOT 23710 SOS 16264 HAS SOPS 16264 HAS SOUS 6260 HAS SOUPS 6260 WITH SCORE 6276.264
AT ITER 2088 NEW BEST:: SOT 23690 SOS 16244 HAS SOPS 16244 HAS SOUS 6220 HAS SOUPS 6220 WITH SCORE 6236.244
AT ITER 2107 NEW BEST:: SOT 23688 SOS 16236 HAS SOPS 16236 HAS SOUS 6210 HAS SOUPS 6210 WITH SCORE 6226.236
AT ITER 2136 NEW BEST:: SOT 23685 SOS 16233 HAS SOPS 16233 HAS SOUS 6203 HAS SOUPS 6203 WITH SCORE 6219.233
AT ITER 2146 NEW BEST:: SOT 23683 SOS 16231 HAS SOPS 16231 HAS SOUS 6203 HAS SOUPS 6203 WITH SCORE 6219.231
AT ITER 2164 NEW BEST:: SOT 23663 SOS 16211 HAS SOPS 16211 HAS SOUS 6183 HAS SOUPS 6183 WITH SCORE 6199.211
AT ITER 2165 NEW BEST:: SOT 23663 SOS 16210 HAS SOPS 16210 HAS SOUS 6182 HAS SOUPS 6182 WITH SCORE 6198.21
AT ITER 2166 NEW BEST:: SOT 23640 SOS 16156 HAS SOPS 16156 HAS SOUS 6145 HAS SOUPS 6145 WITH SCORE 6161.156
AT ITER 2173 NEW BEST:: SOT 23636 SOS 16152 HAS SOPS 16152 HAS SOUS 6137 HAS SOUPS 6137 WITH SCORE 6153.152
AT ITER 2184 NEW BEST:: SOT 23622 SOS 16138 HAS SOPS 16138 HAS SOUS 6127 HAS SOUPS 6127 WITH SCORE 6143.138
AT ITER 2202 NEW BEST:: SOT 23609 SOS 16109 HAS SOPS 16109 HAS SOUS 6106 HAS SOUPS 6106 WITH SCORE 6122.109
AT ITER 2211 NEW BEST:: SOT 23649 SOS 16095 HAS SOPS 16095 HAS SOUS 6082 HAS SOUPS 6082 WITH SCORE 6098.095
AT ITER 2241 NEW BEST:: SOT 23648 SOS 16094 HAS SOPS 16094 HAS SOUS 6080 HAS SOUPS 6080 WITH SCORE 6096.094
AT ITER 2262 NEW BEST:: SOT 23640 SOS 16078 HAS SOPS 16078 HAS SOUS 6064 HAS SOUPS 6064 WITH SCORE 6080.078
AT ITER 2281 NEW BEST:: SOT 23603 SOS 16031 HAS SOPS 16031 HAS SOUS 6017 HAS SOUPS 6017 WITH SCORE 6033.031
AT ITER 2288 NEW BEST:: SOT 23603 SOS 15626 HAS SOPS 15626 HAS SOUS 6017 HAS SOUPS 6017 WITH SCORE 6032.626
AT ITER 2328 NEW BEST:: SOT 23590 SOS 15613 HAS SOPS 15613 HAS SOUS 5991 HAS SOUPS 5991 WITH SCORE 6006.613
AT ITER 2339 NEW BEST:: SOT 23568 SOS 15591 HAS SOPS 15591 HAS SOUS 5989 HAS SOUPS 5989 WITH SCORE 6004.591
AT ITER 2341 NEW BEST:: SOT 23565 SOS 15588 HAS SOPS 15588 HAS SOUS 5986 HAS SOUPS 5986 WITH SCORE 6001.588
AT ITER 2381 NEW BEST:: SOT 23543 SOS 15535 HAS SOPS 15535 HAS SOUS 5927 HAS SOUPS 5927 WITH SCORE 5942.535
AT ITER 2392 NEW BEST:: SOT 23526 SOS 15489 HAS SOPS 15489 HAS SOUS 5881 HAS SOUPS 5881 WITH SCORE 5896.489
AT ITER 2403 NEW BEST:: SOT 23521 SOS 15462 HAS SOPS 15462 HAS SOUS 5856 HAS SOUPS 5856 WITH SCORE 5871.462
AT ITER 2404 NEW BEST:: SOT 23503 SOS 15422 HAS SOPS 15422 HAS SOUS 5820 HAS SOUPS 5820 WITH SCORE 5835.422
AT ITER 2426 NEW BEST:: SOT 23496 SOS 15394 HAS SOPS 15394 HAS SOUS 5814 HAS SOUPS 5814 WITH SCORE 5829.394
AT ITER 2455 NEW BEST:: SOT 23496 SOS 15395 HAS SOPS 15395 HAS SOUS 5813 HAS SOUPS 5813 WITH SCORE 5828.395
AT ITER 2486 NEW BEST:: SOT 23476 SOS 15375 HAS SOPS 15375 HAS SOUS 5793 HAS SOUPS 5793 WITH SCORE 5808.375
AT ITER 2490 NEW BEST:: SOT 23451 SOS 15350 HAS SOPS 15350 HAS SOUS 5766 HAS SOUPS 5766 WITH SCORE 5781.35
AT ITER 2503 NEW BEST:: SOT 23451 SOS 15344 HAS SOPS 15344 HAS SOUS 5758 HAS SOUPS 5758 WITH SCORE 5773.344
AT ITER 2507 NEW BEST:: SOT 23427 SOS 15320 HAS SOPS 15320 HAS SOUS 5710 HAS SOUPS 5710 WITH SCORE 5725.32
AT ITER 2512 NEW BEST:: SOT 23427 SOS 15318 HAS SOPS 15318 HAS SOUS 5710 HAS SOUPS 5710 WITH SCORE 5725.318
AT ITER 2513 NEW BEST:: SOT 23426 SOS 15317 HAS SOPS 15317 HAS SOUS 5708 HAS SOUPS 5708 WITH SCORE 5723.317
AT ITER 2525 NEW BEST:: SOT 23421 SOS 15312 HAS SOPS 15312 HAS SOUS 5703 HAS SOUPS 5703 WITH SCORE 5718.312
AT ITER 2526 NEW BEST:: SOT 23421 SOS 15311 HAS SOPS 15311 HAS SOUS 5703 HAS SOUPS 5703 WITH SCORE 5718.311
AT ITER 2546 NEW BEST:: SOT 23412 SOS 15304 HAS SOPS 15304 HAS SOUS 5685 HAS SOUPS 5685 WITH SCORE 5700.304
AT ITER 2547 NEW BEST:: SOT 23406 SOS 15314 HAS SOPS 15314 HAS SOUS 5661 HAS SOUPS 5661 WITH SCORE 5676.314
AT ITER 2549 NEW BEST:: SOT 23406 SOS 15307 HAS SOPS 15307 HAS SOUS 5654 HAS SOUPS 5654 WITH SCORE 5669.307
AT ITER 2558 NEW BEST:: SOT 23407 SOS 15306 HAS SOPS 15306 HAS SOUS 5654 HAS SOUPS 5654 WITH SCORE 5669.306
AT ITER 2576 NEW BEST:: SOT 23407 SOS 15306 HAS SOPS 15306 HAS SOUS 5646 HAS SOUPS 5646 WITH SCORE 5661.306
AT ITER 2602 NEW BEST:: SOT 23406 SOS 15305 HAS SOPS 15305 HAS SOUS 5644 HAS SOUPS 5644 WITH SCORE 5659.305
AT ITER 2615 NEW BEST:: SOT 23400 SOS 15286 HAS SOPS 15286 HAS SOUS 5625 HAS SOUPS 5625 WITH SCORE 5640.286
AT ITER 2626 NEW BEST:: SOT 23399 SOS 15285 HAS SOPS 15285 HAS SOUS 5624 HAS SOUPS 5624 WITH SCORE 5639.285
AT ITER 2634 NEW BEST:: SOT 23396 SOS 15282 HAS SOPS 15282 HAS SOUS 5614 HAS SOUPS 5614 WITH SCORE 5629.282
AT ITER 2641 NEW BEST:: SOT 23396 SOS 15282 HAS SOPS 15282 HAS SOUS 5605 HAS SOUPS 5605 WITH SCORE 5620.282
AT ITER 2673 NEW BEST:: SOT 23386 SOS 15262 HAS SOPS 15262 HAS SOUS 5595 HAS SOUPS 5595 WITH SCORE 5610.262
AT ITER 2678 NEW BEST:: SOT 23374 SOS 15238 HAS SOPS 15238 HAS SOUS 5583 HAS SOUPS 5583 WITH SCORE 5598.238
AT ITER 2690 NEW BEST:: SOT 23345 SOS 15204 HAS SOPS 15204 HAS SOUS 5555 HAS SOUPS 5555 WITH SCORE 5570.204
AT ITER 2702 NEW BEST:: SOT 23345 SOS 15199 HAS SOPS 15199 HAS SOUS 5551 HAS SOUPS 5551 WITH SCORE 5566.199
AT ITER 2739 NEW BEST:: SOT 23339 SOS 15193 HAS SOPS 15193 HAS SOUS 5539 HAS SOUPS 5539 WITH SCORE 5554.193
AT ITER 2756 NEW BEST:: SOT 23326 SOS 15180 HAS SOPS 15180 HAS SOUS 5526 HAS SOUPS 5526 WITH SCORE 5541.18
AT ITER 2781 NEW BEST:: SOT 23289 SOS 15143 HAS SOPS 15143 HAS SOUS 5452 HAS SOUPS 5452 WITH SCORE 5467.143
AT ITER 2810 NEW BEST:: SOT 23281 SOS 15133 HAS SOPS 15133 HAS SOUS 5442 HAS SOUPS 5442 WITH SCORE 5457.133
AT ITER 2827 NEW BEST:: SOT 23274 SOS 14976 HAS SOPS 14976 HAS SOUS 5432 HAS SOUPS 5432 WITH SCORE 5446.976
AT ITER 2832 NEW BEST:: SOT 23267 SOS 14969 HAS SOPS 14969 HAS SOUS 5418 HAS SOUPS 5418 WITH SCORE 5432.969
AT ITER 2834 NEW BEST:: SOT 23267 SOS 14967 HAS SOPS 14967 HAS SOUS 5418 HAS SOUPS 5418 WITH SCORE 5432.967
AT ITER 2852 NEW BEST:: SOT 23259 SOS 14947 HAS SOPS 14947 HAS SOUS 5406 HAS SOUPS 5406 WITH SCORE 5420.947
AT ITER 2871 NEW BEST:: SOT 23259 SOS 15792 HAS SOPS 15792 HAS SOUS 5368 HAS SOUPS 5368 WITH SCORE 5383.792
AT ITER 2873 NEW BEST:: SOT 23248 SOS 15793 HAS SOPS 15793 HAS SOUS 5346 HAS SOUPS 5346 WITH SCORE 5361.793
AT ITER 2887 NEW BEST:: SOT 23246 SOS 15789 HAS SOPS 15789 HAS SOUS 5344 HAS SOUPS 5344 WITH SCORE 5359.789
AT ITER 2897 NEW BEST:: SOT 23228 SOS 15951 HAS SOPS 15951 HAS SOUS 5332 HAS SOUPS 5332 WITH SCORE 5347.951
AT ITER 2938 NEW BEST:: SOT 23205 SOS 15890 HAS SOPS 15890 HAS SOUS 5259 HAS SOUPS 5259 WITH SCORE 5274.89
AT ITER 2939 NEW BEST:: SOT 23202 SOS 15887 HAS SOPS 15887 HAS SOUS 5253 HAS SOUPS 5253 WITH SCORE 5268.887
AT ITER 2990 NEW BEST:: SOT 23194 SOS 15879 HAS SOPS 15879 HAS SOUS 5241 HAS SOUPS 5241 WITH SCORE 5256.879
AT ITER 2994 NEW BEST:: SOT 23190 SOS 15875 HAS SOPS 15875 HAS SOUS 5241 HAS SOUPS 5241 WITH SCORE 5256.875
AT ITER 3009 NEW BEST:: SOT 23177 SOS 15862 HAS SOPS 15862 HAS SOUS 5228 HAS SOUPS 5228 WITH SCORE 5243.862
AT ITER 3023 NEW BEST:: SOT 23167 SOS 15852 HAS SOPS 15852 HAS SOUS 5208 HAS SOUPS 5208 WITH SCORE 5223.852
AT ITER 3038 NEW BEST:: SOT 23159 SOS 15844 HAS SOPS 15844 HAS SOUS 5192 HAS SOUPS 5192 WITH SCORE 5207.844
AT ITER 3059 NEW BEST:: SOT 23142 SOS 15833 HAS SOPS 15833 HAS SOUS 5159 HAS SOUPS 5159 WITH SCORE 5174.833
AT ITER 3095 NEW BEST:: SOT 23141 SOS 15832 HAS SOPS 15832 HAS SOUS 5159 HAS SOUPS 5159 WITH SCORE 5174.832
AT ITER 3124 NEW BEST:: SOT 23141 SOS 15838 HAS SOPS 15838 HAS SOUS 5153 HAS SOUPS 5153 WITH SCORE 5168.838
AT ITER 3143 NEW BEST:: SOT 23128 SOS 15825 HAS SOPS 15825 HAS SOUS 5149 HAS SOUPS 5149 WITH SCORE 5164.825
AT ITER 3149 NEW BEST:: SOT 23125 SOS 15822 HAS SOPS 15822 HAS SOUS 5143 HAS SOUPS 5143 WITH SCORE 5158.822
AT ITER 3153 NEW BEST:: SOT 23123 SOS 15820 HAS SOPS 15820 HAS SOUS 5139 HAS SOUPS 5139 WITH SCORE 5154.82
AT ITER 3184 NEW BEST:: SOT 23121 SOS 15818 HAS SOPS 15818 HAS SOUS 5135 HAS SOUPS 5135 WITH SCORE 5150.818
AT ITER 3185 NEW BEST:: SOT 23113 SOS 15802 HAS SOPS 15802 HAS SOUS 5127 HAS SOUPS 5127 WITH SCORE 5142.802
AT ITER 3236 NEW BEST:: SOT 23113 SOS 15814 HAS SOPS 15814 HAS SOUS 5122 HAS SOUPS 5122 WITH SCORE 5137.814
AT ITER 3254 NEW BEST:: SOT 23117 SOS 15818 HAS SOPS 15818 HAS SOUS 5120 HAS SOUPS 5120 WITH SCORE 5135.818
AT ITER 3328 NEW BEST:: SOT 23120 SOS 15821 HAS SOPS 15821 HAS SOUS 5116 HAS SOUPS 5116 WITH SCORE 5131.821
AT ITER 3409 NEW BEST:: SOT 23121 SOS 15822 HAS SOPS 15822 HAS SOUS 5100 HAS SOUPS 5100 WITH SCORE 5115.822
AT ITER 3467 NEW BEST:: SOT 23119 SOS 15820 HAS SOPS 15820 HAS SOUS 5100 HAS SOUPS 5100 WITH SCORE 5115.82
AT ITER 3512 NEW BEST:: SOT 23096 SOS 15786 HAS SOPS 15786 HAS SOUS 5089 HAS SOUPS 5089 WITH SCORE 5104.786
AT ITER 3526 NEW BEST:: SOT 23056 SOS 15746 HAS SOPS 15746 HAS SOUS 5071 HAS SOUPS 5071 WITH SCORE 5086.746
AT ITER 3540 NEW BEST:: SOT 23056 SOS 15736 HAS SOPS 15736 HAS SOUS 5061 HAS SOUPS 5061 WITH SCORE 5076.736
AT ITER 3558 NEW BEST:: SOT 23056 SOS 15733 HAS SOPS 15733 HAS SOUS 5058 HAS SOUPS 5058 WITH SCORE 5073.733
AT ITER 3559 NEW BEST:: SOT 23039 SOS 15716 HAS SOPS 15716 HAS SOUS 5024 HAS SOUPS 5024 WITH SCORE 5039.716
AT ITER 3565 NEW BEST:: SOT 23039 SOS 15716 HAS SOPS 15716 HAS SOUS 5022 HAS SOUPS 5022 WITH SCORE 5037.716
AT ITER 3571 NEW BEST:: SOT 23038 SOS 15713 HAS SOPS 15713 HAS SOUS 5021 HAS SOUPS 5021 WITH SCORE 5036.713
AT ITER 3589 NEW BEST:: SOT 23033 SOS 15708 HAS SOPS 15708 HAS SOUS 5011 HAS SOUPS 5011 WITH SCORE 5026.708
AT ITER 3627 NEW BEST:: SOT 23032 SOS 15707 HAS SOPS 15707 HAS SOUS 5008 HAS SOUPS 5008 WITH SCORE 5023.707
AT ITER 3630 NEW BEST:: SOT 23030 SOS 15719 HAS SOPS 15719 HAS SOUS 4980 HAS SOUPS 4980 WITH SCORE 4995.719
AT ITER 3688 NEW BEST:: SOT 23030 SOS 15718 HAS SOPS 15718 HAS SOUS 4979 HAS SOUPS 4979 WITH SCORE 4994.718
AT ITER 3708 NEW BEST:: SOT 23027 SOS 15711 HAS SOPS 15711 HAS SOUS 4974 HAS SOUPS 4974 WITH SCORE 4989.711
AT ITER 3721 NEW BEST:: SOT 23025 SOS 15709 HAS SOPS 15709 HAS SOUS 4970 HAS SOUPS 4970 WITH SCORE 4985.709
AT ITER 3723 NEW BEST:: SOT 23024 SOS 15708 HAS SOPS 15708 HAS SOUS 4969 HAS SOUPS 4969 WITH SCORE 4984.708
AT ITER 3770 NEW BEST:: SOT 23026 SOS 15707 HAS SOPS 15707 HAS SOUS 4968 HAS SOUPS 4968 WITH SCORE 4983.707
AT ITER 3773 NEW BEST:: SOT 22991 SOS 15672 HAS SOPS 15672 HAS SOUS 4896 HAS SOUPS 4896 WITH SCORE 4911.672
AT ITER 3780 NEW BEST:: SOT 22977 SOS 15649 HAS SOPS 15649 HAS SOUS 4877 HAS SOUPS 4877 WITH SCORE 4892.649
AT ITER 3833 NEW BEST:: SOT 22971 SOS 15643 HAS SOPS 15643 HAS SOUS 4869 HAS SOUPS 4869 WITH SCORE 4884.643
AT ITER 3859 NEW BEST:: SOT 22971 SOS 15641 HAS SOPS 15641 HAS SOUS 4867 HAS SOUPS 4867 WITH SCORE 4882.641
AT ITER 3874 NEW BEST:: SOT 22971 SOS 15632 HAS SOPS 15632 HAS SOUS 4858 HAS SOUPS 4858 WITH SCORE 4873.632
AT ITER 3879 NEW BEST:: SOT 22967 SOS 15628 HAS SOPS 15628 HAS SOUS 4854 HAS SOUPS 4854 WITH SCORE 4869.628
AT ITER 3883 NEW BEST:: SOT 22964 SOS 15625 HAS SOPS 15625 HAS SOUS 4848 HAS SOUPS 4848 WITH SCORE 4863.625
AT ITER 3889 NEW BEST:: SOT 22960 SOS 15621 HAS SOPS 15621 HAS SOUS 4840 HAS SOUPS 4840 WITH SCORE 4855.621
AT ITER 3921 NEW BEST:: SOT 22928 SOS 15589 HAS SOPS 15589 HAS SOUS 4805 HAS SOUPS 4805 WITH SCORE 4820.589
AT ITER 3939 NEW BEST:: SOT 22919 SOS 15571 HAS SOPS 15571 HAS SOUS 4805 HAS SOUPS 4805 WITH SCORE 4820.571
AT ITER 3969 NEW BEST:: SOT 22927 SOS 15566 HAS SOPS 15566 HAS SOUS 4800 HAS SOUPS 4800 WITH SCORE 4815.566
AT ITER 3970 NEW BEST:: SOT 22939 SOS 15578 HAS SOPS 15578 HAS SOUS 4798 HAS SOUPS 4798 WITH SCORE 4813.578
AT ITER 4004 NEW BEST:: SOT 22974 SOS 15613 HAS SOPS 15613 HAS SOUS 4796 HAS SOUPS 4796 WITH SCORE 4811.613
AT ITER 4016 NEW BEST:: SOT 22975 SOS 15617 HAS SOPS 15617 HAS SOUS 4795 HAS SOUPS 4795 WITH SCORE 4810.617
AT ITER 4017 NEW BEST:: SOT 22940 SOS 15626 HAS SOPS 15626 HAS SOUS 4782 HAS SOUPS 4782 WITH SCORE 4797.626
AT ITER 4024 NEW BEST:: SOT 22910 SOS 15596 HAS SOPS 15596 HAS SOUS 4774 HAS SOUPS 4774 WITH SCORE 4789.596
AT ITER 4058 NEW BEST:: SOT 22898 SOS 15584 HAS SOPS 15584 HAS SOUS 4750 HAS SOUPS 4750 WITH SCORE 4765.584
AT ITER 4073 NEW BEST:: SOT 22898 SOS 15582 HAS SOPS 15582 HAS SOUS 4750 HAS SOUPS 4750 WITH SCORE 4765.582
AT ITER 4088 NEW BEST:: SOT 22905 SOS 15581 HAS SOPS 15581 HAS SOUS 4749 HAS SOUPS 4749 WITH SCORE 4764.581
AT ITER 4115 NEW BEST:: SOT 22893 SOS 15575 HAS SOPS 15575 HAS SOUS 4743 HAS SOUPS 4743 WITH SCORE 4758.575
AT ITER 4120 NEW BEST:: SOT 22895 SOS 15569 HAS SOPS 15569 HAS SOUS 4741 HAS SOUPS 4741 WITH SCORE 4756.569
AT ITER 4121 NEW BEST:: SOT 22890 SOS 15558 HAS SOPS 15558 HAS SOUS 4736 HAS SOUPS 4736 WITH SCORE 4751.558
AT ITER 4159 NEW BEST:: SOT 22884 SOS 15541 HAS SOPS 15541 HAS SOUS 4735 HAS SOUPS 4735 WITH SCORE 4750.541
AT ITER 4171 NEW BEST:: SOT 22855 SOS 15491 HAS SOPS 15491 HAS SOUS 4702 HAS SOUPS 4702 WITH SCORE 4717.491
AT ITER 4197 NEW BEST:: SOT 22851 SOS 15487 HAS SOPS 15487 HAS SOUS 4678 HAS SOUPS 4678 WITH SCORE 4693.487
AT ITER 4208 NEW BEST:: SOT 22838 SOS 15474 HAS SOPS 15474 HAS SOUS 4652 HAS SOUPS 4652 WITH SCORE 4667.474
AT ITER 4218 NEW BEST:: SOT 22827 SOS 15463 HAS SOPS 15463 HAS SOUS 4630 HAS SOUPS 4630 WITH SCORE 4645.463
AT ITER 4221 NEW BEST:: SOT 22827 SOS 15463 HAS SOPS 15463 HAS SOUS 4618 HAS SOUPS 4618 WITH SCORE 4633.463
AT ITER 4224 NEW BEST:: SOT 22767 SOS 15407 HAS SOPS 15407 HAS SOUS 4592 HAS SOUPS 4592 WITH SCORE 4607.407
AT ITER 4297 NEW BEST:: SOT 22762 SOS 15387 HAS SOPS 15387 HAS SOUS 4587 HAS SOUPS 4587 WITH SCORE 4602.387
AT ITER 4306 NEW BEST:: SOT 22761 SOS 15379 HAS SOPS 15379 HAS SOUS 4579 HAS SOUPS 4579 WITH SCORE 4594.379
AT ITER 4308 NEW BEST:: SOT 22745 SOS 15359 HAS SOPS 15359 HAS SOUS 4567 HAS SOUPS 4567 WITH SCORE 4582.359
AT ITER 4312 NEW BEST:: SOT 22740 SOS 15365 HAS SOPS 15365 HAS SOUS 4545 HAS SOUPS 4545 WITH SCORE 4560.365
AT ITER 4330 NEW BEST:: SOT 22740 SOS 15365 HAS SOPS 15365 HAS SOUS 4537 HAS SOUPS 4537 WITH SCORE 4552.365
AT ITER 4348 NEW BEST:: SOT 22736 SOS 15357 HAS SOPS 15357 HAS SOUS 4533 HAS SOUPS 4533 WITH SCORE 4548.357
AT ITER 4361 NEW BEST:: SOT 22735 SOS 15356 HAS SOPS 15356 HAS SOUS 4531 HAS SOUPS 4531 WITH SCORE 4546.356
AT ITER 4379 NEW BEST:: SOT 22743 SOS 15364 HAS SOPS 15364 HAS SOUS 4529 HAS SOUPS 4529 WITH SCORE 4544.364
AT ITER 4381 NEW BEST:: SOT 22743 SOS 15361 HAS SOPS 15361 HAS SOUS 4526 HAS SOUPS 4526 WITH SCORE 4541.361
AT ITER 4388 NEW BEST:: SOT 22738 SOS 15353 HAS SOPS 15353 HAS SOUS 4518 HAS SOUPS 4518 WITH SCORE 4533.353
AT ITER 4390 NEW BEST:: SOT 22722 SOS 15331 HAS SOPS 15331 HAS SOUS 4496 HAS SOUPS 4496 WITH SCORE 4511.331
AT ITER 4443 NEW BEST:: SOT 22716 SOS 15325 HAS SOPS 15325 HAS SOUS 4490 HAS SOUPS 4490 WITH SCORE 4505.325
AT ITER 4463 NEW BEST:: SOT 22716 SOS 15323 HAS SOPS 15323 HAS SOUS 4488 HAS SOUPS 4488 WITH SCORE 4503.323
AT ITER 4491 NEW BEST:: SOT 22711 SOS 15318 HAS SOPS 15318 HAS SOUS 4478 HAS SOUPS 4478 WITH SCORE 4493.318
AT ITER 4527 NEW BEST:: SOT 22713 SOS 15314 HAS SOPS 15314 HAS SOUS 4476 HAS SOUPS 4476 WITH SCORE 4491.314
AT ITER 4556 NEW BEST:: SOT 22717 SOS 15308 HAS SOPS 15308 HAS SOUS 4470 HAS SOUPS 4470 WITH SCORE 4485.308
AT ITER 4568 NEW BEST:: SOT 22712 SOS 15303 HAS SOPS 15303 HAS SOUS 4460 HAS SOUPS 4460 WITH SCORE 4475.303
AT ITER 4569 NEW BEST:: SOT 22712 SOS 15297 HAS SOPS 15297 HAS SOUS 4454 HAS SOUPS 4454 WITH SCORE 4469.297
AT ITER 4579 NEW BEST:: SOT 22698 SOS 15279 HAS SOPS 15279 HAS SOUS 4436 HAS SOUPS 4436 WITH SCORE 4451.279
AT ITER 4615 NEW BEST:: SOT 22650 SOS 15207 HAS SOPS 15207 HAS SOUS 4364 HAS SOUPS 4364 WITH SCORE 4379.207
AT ITER 4632 NEW BEST:: SOT 22642 SOS 15196 HAS SOPS 15196 HAS SOUS 4363 HAS SOUPS 4363 WITH SCORE 4378.196
AT ITER 4701 NEW BEST:: SOT 22632 SOS 15183 HAS SOPS 15183 HAS SOUS 4350 HAS SOUPS 4350 WITH SCORE 4365.183
AT ITER 4711 NEW BEST:: SOT 22628 SOS 15179 HAS SOPS 15179 HAS SOUS 4340 HAS SOUPS 4340 WITH SCORE 4355.179
AT ITER 4713 NEW BEST:: SOT 22623 SOS 15174 HAS SOPS 15174 HAS SOUS 4325 HAS SOUPS 4325 WITH SCORE 4340.174
AT ITER 4727 NEW BEST:: SOT 22622 SOS 15173 HAS SOPS 15173 HAS SOUS 4323 HAS SOUPS 4323 WITH SCORE 4338.173
AT ITER 4742 NEW BEST:: SOT 22622 SOS 15372 HAS SOPS 15372 HAS SOUS 4320 HAS SOUPS 4320 WITH SCORE 4335.372
AT ITER 4758 NEW BEST:: SOT 22619 SOS 15369 HAS SOPS 15369 HAS SOUS 4314 HAS SOUPS 4314 WITH SCORE 4329.369
AT ITER 4759 NEW BEST:: SOT 22618 SOS 15368 HAS SOPS 15368 HAS SOUS 4314 HAS SOUPS 4314 WITH SCORE 4329.368
AT ITER 4764 NEW BEST:: SOT 22597 SOS 15340 HAS SOPS 15340 HAS SOUS 4286 HAS SOUPS 4286 WITH SCORE 4301.34
AT ITER 4773 NEW BEST:: SOT 22598 SOS 15341 HAS SOPS 15341 HAS SOUS 4282 HAS SOUPS 4282 WITH SCORE 4297.341
AT ITER 4861 NEW BEST:: SOT 22588 SOS 15331 HAS SOPS 15331 HAS SOUS 4262 HAS SOUPS 4262 WITH SCORE 4277.331
AT ITER 4914 NEW BEST:: SOT 22583 SOS 15326 HAS SOPS 15326 HAS SOUS 4252 HAS SOUPS 4252 WITH SCORE 4267.326
AT ITER 4923 NEW BEST:: SOT 22579 SOS 15322 HAS SOPS 15322 HAS SOUS 4244 HAS SOUPS 4244 WITH SCORE 4259.322
AT ITER 4975 NEW BEST:: SOT 22571 SOS 15304 HAS SOPS 15304 HAS SOUS 4236 HAS SOUPS 4236 WITH SCORE 4251.304
AT ITER 4994 NEW BEST:: SOT 22571 SOS 15298 HAS SOPS 15298 HAS SOUS 4223 HAS SOUPS 4223 WITH SCORE 4238.298
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: DES-PT-30a-CTLCardinality-00 ( ( (! (EX( potential( (tk(P170)) <= (tk(P134)) )))) & (AX( (! potential( ( 1 ) <= (tk(P55)) )))) ) & (EG( potential( (tk(P173)) <= (tk(P141)) ))) )
PROPERTY: DES-PT-30a-CTLCardinality-01 ( ( (AU( potential( ( 3 ) <= (tk(P123)) ),potential( ( 1 ) <= (tk(P205)) ) )) & (EG( ( potential( ( 2 ) <= (tk(P30)) ) & potential( (tk(P59)) <= (tk(P233)) ) ))) ) | ( (AG( (! potential( ( 2 ) <= (tk(P198)) )))) & (AF(( potential( ( 3 ) <= (tk(P100)) ) | potential( (tk(P195)) <= (tk(P175)) ) ))) ) )
PROPERTY: DES-PT-30a-CTLCardinality-02 (AF((AU( potential( (tk(P88)) <= (tk(P21)) ),potential( ( 3 ) <= (tk(P180)) ) ))))
PROPERTY: DES-PT-30a-CTLCardinality-03 (EU( (EX( potential( (tk(P98)) <= (tk(P111)) ))),(EX( potential( ( 3 ) <= (tk(P49)) ))) ))
PROPERTY: DES-PT-30a-CTLCardinality-04 (EF(( (! (! potential( (tk(P138)) <= (tk(P55)) ))) & (! (! potential( ( 2 ) <= (tk(P222)) ))) )))
PROPERTY: DES-PT-30a-CTLCardinality-05 (EG( ( ( (! potential( (tk(P30)) <= (tk(P98)) )) | (! potential( ( 2 ) <= (tk(P166)) )) ) | (! ( potential( (tk(P129)) <= (tk(P34)) ) | potential( ( 3 ) <= (tk(P114)) ) )) )))
PROPERTY: DES-PT-30a-CTLCardinality-06 (AF((! (! ( potential( ( 2 ) <= (tk(P138)) ) & potential( ( 1 ) <= (tk(P8)) ) )))))
PROPERTY: DES-PT-30a-CTLCardinality-07 (AF((EG( ( potential( (tk(P147)) <= (tk(P59)) ) | potential( (tk(P24)) <= (tk(P140)) ) )))))
PROPERTY: DES-PT-30a-CTLCardinality-08 (EF((AU( potential( ( 3 ) <= (tk(P58)) ),potential( ( 1 ) <= (tk(P74)) ) ))))
PROPERTY: DES-PT-30a-CTLCardinality-09 ( (EF((EG( potential( (tk(P105)) <= (tk(P203)) ))))) | ( (! (EF(potential( ( 3 ) <= (tk(P75)) )))) & ( potential( (tk(P230)) <= (tk(P30)) ) | ( ( potential( ( 1 ) <= (tk(P59)) ) & potential( (tk(P19)) <= (tk(P164)) ) ) & ( potential( ( 3 ) <= (tk(P130)) ) & potential( (tk(P77)) <= (tk(P78)) ) ) ) ) ) )
PROPERTY: DES-PT-30a-CTLCardinality-10 (AG( potential( (tk(P37)) <= (tk(P89)) )))
PROPERTY: DES-PT-30a-CTLCardinality-11 ( ( ( ( (! potential( ( 3 ) <= (tk(P211)) )) & potential( ( 2 ) <= (tk(P2)) ) ) | (EF(potential( ( 2 ) <= (tk(P72)) ))) ) | (! ( (! potential( ( 3 ) <= (tk(P33)) )) & potential( ( 1 ) <= (tk(P24)) ) )) ) & (EU( ( potential( ( 3 ) <= (tk(P116)) ) | potential( (tk(P4)) <= (tk(P193)) ) ),potential( ( 1 ) <= (tk(P175)) ) )) )
PROPERTY: DES-PT-30a-CTLCardinality-12 ( (! (AU( potential( ( 3 ) <= (tk(P6)) ),potential( (tk(P229)) <= (tk(P162)) ) ))) | (AU( (! potential( ( 2 ) <= (tk(P118)) )),potential( ( 2 ) <= (tk(P141)) ) )) )
PROPERTY: DES-PT-30a-CTLCardinality-13 (AF((AU( potential( ( 2 ) <= (tk(P214)) ),potential( ( 1 ) <= (tk(P95)) ) ))))
PROPERTY: DES-PT-30a-CTLCardinality-14 (AF(( (EG( potential( ( 3 ) <= (tk(P171)) ))) | ( ( potential( ( 2 ) <= (tk(P85)) ) | potential( ( 1 ) <= (tk(P66)) ) ) | (! potential( (tk(P177)) <= (tk(P75)) )) ) )))
PROPERTY: DES-PT-30a-CTLCardinality-15 (EF((EU( potential( ( 3 ) <= (tk(P32)) ),potential( ( 3 ) <= (tk(P167)) ) ))))

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="DES-PT-30a"
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 DES-PT-30a, 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-158902542000275"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DES-PT-30a.tgz
mv DES-PT-30a 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 ;