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.r063-tajo-158922807700611.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 DiscoveryGPU-PT-07b, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922807700611
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 232K
-rw-r--r-- 1 mcc users 3.8K Mar 31 06:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 31 06:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 29 23:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 29 23:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 28 14:34 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 28 14:34 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 27 07:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 27 07:35 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:50 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 54K 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 DiscoveryGPU-PT-07b-CTLCardinality-00
FORMULA_NAME DiscoveryGPU-PT-07b-CTLCardinality-01
FORMULA_NAME DiscoveryGPU-PT-07b-CTLCardinality-02
FORMULA_NAME DiscoveryGPU-PT-07b-CTLCardinality-03
FORMULA_NAME DiscoveryGPU-PT-07b-CTLCardinality-04
FORMULA_NAME DiscoveryGPU-PT-07b-CTLCardinality-05
FORMULA_NAME DiscoveryGPU-PT-07b-CTLCardinality-06
FORMULA_NAME DiscoveryGPU-PT-07b-CTLCardinality-07
FORMULA_NAME DiscoveryGPU-PT-07b-CTLCardinality-08
FORMULA_NAME DiscoveryGPU-PT-07b-CTLCardinality-09
FORMULA_NAME DiscoveryGPU-PT-07b-CTLCardinality-10
FORMULA_NAME DiscoveryGPU-PT-07b-CTLCardinality-11
FORMULA_NAME DiscoveryGPU-PT-07b-CTLCardinality-12
FORMULA_NAME DiscoveryGPU-PT-07b-CTLCardinality-13
FORMULA_NAME DiscoveryGPU-PT-07b-CTLCardinality-14
FORMULA_NAME DiscoveryGPU-PT-07b-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589363153055

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (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: 212 places, 224 transitions, 582 arcs.
AT ITER 0 NEW BEST:: SOT 32957 SOS 15503 HAS SOPS 15503 HAS SOUS 13832 HAS SOUPS 13832 WITH SCORE 13847.503
AT ITER 1 NEW BEST:: SOT 32912 SOS 15119 HAS SOPS 15119 HAS SOUS 13784 HAS SOUPS 13784 WITH SCORE 13799.119
AT ITER 3 NEW BEST:: SOT 32887 SOS 15093 HAS SOPS 15093 HAS SOUS 13758 HAS SOUPS 13758 WITH SCORE 13773.093
AT ITER 8 NEW BEST:: SOT 32887 SOS 15020 HAS SOPS 15020 HAS SOUS 13712 HAS SOUPS 13712 WITH SCORE 13727.02
AT ITER 10 NEW BEST:: SOT 32886 SOS 15018 HAS SOPS 15018 HAS SOUS 13710 HAS SOUPS 13710 WITH SCORE 13725.018
AT ITER 12 NEW BEST:: SOT 32885 SOS 15016 HAS SOPS 15016 HAS SOUS 13708 HAS SOUPS 13708 WITH SCORE 13723.016
AT ITER 15 NEW BEST:: SOT 32840 SOS 15006 HAS SOPS 15006 HAS SOUS 13681 HAS SOUPS 13681 WITH SCORE 13696.006
AT ITER 20 NEW BEST:: SOT 32426 SOS 14910 HAS SOPS 14910 HAS SOUS 13283 HAS SOUPS 13283 WITH SCORE 13297.91
AT ITER 22 NEW BEST:: SOT 32364 SOS 14848 HAS SOPS 14848 HAS SOUS 13221 HAS SOUPS 13221 WITH SCORE 13235.848
AT ITER 24 NEW BEST:: SOT 32339 SOS 14798 HAS SOPS 14798 HAS SOUS 13217 HAS SOUPS 13217 WITH SCORE 13231.798
AT ITER 25 NEW BEST:: SOT 32286 SOS 14771 HAS SOPS 14771 HAS SOUS 13150 HAS SOUPS 13150 WITH SCORE 13164.771
AT ITER 26 NEW BEST:: SOT 32148 SOS 14564 HAS SOPS 14564 HAS SOUS 12943 HAS SOUPS 12943 WITH SCORE 12957.564
AT ITER 36 NEW BEST:: SOT 32144 SOS 14560 HAS SOPS 14560 HAS SOUS 12939 HAS SOUPS 12939 WITH SCORE 12953.56
AT ITER 41 NEW BEST:: SOT 32136 SOS 14548 HAS SOPS 14548 HAS SOUS 12927 HAS SOUPS 12927 WITH SCORE 12941.548
AT ITER 46 NEW BEST:: SOT 32136 SOS 14547 HAS SOPS 14547 HAS SOUS 12926 HAS SOUPS 12926 WITH SCORE 12940.547
AT ITER 47 NEW BEST:: SOT 32115 SOS 14500 HAS SOPS 14500 HAS SOUS 12886 HAS SOUPS 12886 WITH SCORE 12900.5
AT ITER 49 NEW BEST:: SOT 31932 SOS 14331 HAS SOPS 14331 HAS SOUS 12716 HAS SOUPS 12716 WITH SCORE 12730.331
AT ITER 51 NEW BEST:: SOT 31917 SOS 14375 HAS SOPS 14375 HAS SOUS 12703 HAS SOUPS 12703 WITH SCORE 12717.375
AT ITER 53 NEW BEST:: SOT 31917 SOS 14367 HAS SOPS 14367 HAS SOUS 12703 HAS SOUPS 12703 WITH SCORE 12717.367
AT ITER 59 NEW BEST:: SOT 31917 SOS 14366 HAS SOPS 14366 HAS SOUS 12703 HAS SOUPS 12703 WITH SCORE 12717.366
AT ITER 62 NEW BEST:: SOT 31798 SOS 14127 HAS SOPS 14127 HAS SOUS 12521 HAS SOUPS 12521 WITH SCORE 12535.127
AT ITER 68 NEW BEST:: SOT 31798 SOS 14126 HAS SOPS 14126 HAS SOUS 12521 HAS SOUPS 12521 WITH SCORE 12535.126
AT ITER 72 NEW BEST:: SOT 31742 SOS 14014 HAS SOPS 14014 HAS SOUS 12474 HAS SOUPS 12474 WITH SCORE 12488.014
AT ITER 75 NEW BEST:: SOT 31644 SOS 13818 HAS SOPS 13818 HAS SOUS 12268 HAS SOUPS 12268 WITH SCORE 12281.818
AT ITER 79 NEW BEST:: SOT 31577 SOS 13769 HAS SOPS 13769 HAS SOUS 12219 HAS SOUPS 12219 WITH SCORE 12232.769
AT ITER 85 NEW BEST:: SOT 31577 SOS 13768 HAS SOPS 13768 HAS SOUS 12218 HAS SOUPS 12218 WITH SCORE 12231.768
AT ITER 94 NEW BEST:: SOT 31564 SOS 13742 HAS SOPS 13742 HAS SOUS 12218 HAS SOUPS 12218 WITH SCORE 12231.742
AT ITER 103 NEW BEST:: SOT 31522 SOS 13664 HAS SOPS 13664 HAS SOUS 12196 HAS SOUPS 12196 WITH SCORE 12209.664
AT ITER 106 NEW BEST:: SOT 31524 SOS 13627 HAS SOPS 13627 HAS SOUS 12145 HAS SOUPS 12145 WITH SCORE 12158.627
AT ITER 107 NEW BEST:: SOT 31522 SOS 13623 HAS SOPS 13623 HAS SOUS 12141 HAS SOUPS 12141 WITH SCORE 12154.623
AT ITER 110 NEW BEST:: SOT 31595 SOS 13599 HAS SOPS 13599 HAS SOUS 12134 HAS SOUPS 12134 WITH SCORE 12147.599
AT ITER 113 NEW BEST:: SOT 31361 SOS 13482 HAS SOPS 13482 HAS SOUS 11966 HAS SOUPS 11966 WITH SCORE 11979.482
AT ITER 116 NEW BEST:: SOT 31208 SOS 13176 HAS SOPS 13176 HAS SOUS 11643 HAS SOUPS 11643 WITH SCORE 11656.176
AT ITER 129 NEW BEST:: SOT 31149 SOS 13116 HAS SOPS 13116 HAS SOUS 11583 HAS SOUPS 11583 WITH SCORE 11596.116
AT ITER 132 NEW BEST:: SOT 31121 SOS 13073 HAS SOPS 13073 HAS SOUS 11554 HAS SOUPS 11554 WITH SCORE 11567.073
AT ITER 135 NEW BEST:: SOT 31120 SOS 13022 HAS SOPS 13022 HAS SOUS 11539 HAS SOUPS 11539 WITH SCORE 11552.022
AT ITER 143 NEW BEST:: SOT 31084 SOS 12947 HAS SOPS 12947 HAS SOUS 11468 HAS SOUPS 11468 WITH SCORE 11480.947
AT ITER 146 NEW BEST:: SOT 31078 SOS 12935 HAS SOPS 12935 HAS SOUS 11456 HAS SOUPS 11456 WITH SCORE 11468.935
AT ITER 156 NEW BEST:: SOT 31077 SOS 12933 HAS SOPS 12933 HAS SOUS 11454 HAS SOUPS 11454 WITH SCORE 11466.933
AT ITER 162 NEW BEST:: SOT 31046 SOS 12909 HAS SOPS 12909 HAS SOUS 11420 HAS SOUPS 11420 WITH SCORE 11432.909
AT ITER 171 NEW BEST:: SOT 30995 SOS 12841 HAS SOPS 12841 HAS SOUS 11352 HAS SOUPS 11352 WITH SCORE 11364.841
AT ITER 174 NEW BEST:: SOT 30989 SOS 12829 HAS SOPS 12829 HAS SOUS 11340 HAS SOUPS 11340 WITH SCORE 11352.829
AT ITER 175 NEW BEST:: SOT 30988 SOS 12821 HAS SOPS 12821 HAS SOUS 11338 HAS SOUPS 11338 WITH SCORE 11350.821
AT ITER 179 NEW BEST:: SOT 30985 SOS 12816 HAS SOPS 12816 HAS SOUS 11333 HAS SOUPS 11333 WITH SCORE 11345.816
AT ITER 186 NEW BEST:: SOT 30923 SOS 12861 HAS SOPS 12861 HAS SOUS 11282 HAS SOUPS 11282 WITH SCORE 11294.861
AT ITER 197 NEW BEST:: SOT 30912 SOS 12860 HAS SOPS 12860 HAS SOUS 11270 HAS SOUPS 11270 WITH SCORE 11282.86
AT ITER 207 NEW BEST:: SOT 30912 SOS 12860 HAS SOPS 12860 HAS SOUS 11257 HAS SOUPS 11257 WITH SCORE 11269.86
AT ITER 210 NEW BEST:: SOT 30904 SOS 12831 HAS SOPS 12831 HAS SOUS 11209 HAS SOUPS 11209 WITH SCORE 11221.831
AT ITER 212 NEW BEST:: SOT 30848 SOS 12775 HAS SOPS 12775 HAS SOUS 11152 HAS SOUPS 11152 WITH SCORE 11164.775
AT ITER 229 NEW BEST:: SOT 30827 SOS 12733 HAS SOPS 12733 HAS SOUS 11110 HAS SOUPS 11110 WITH SCORE 11122.733
AT ITER 230 NEW BEST:: SOT 30785 SOS 12690 HAS SOPS 12690 HAS SOUS 11067 HAS SOUPS 11067 WITH SCORE 11079.69
AT ITER 232 NEW BEST:: SOT 30606 SOS 12795 HAS SOPS 12795 HAS SOUS 10912 HAS SOUPS 10912 WITH SCORE 10924.795
AT ITER 239 NEW BEST:: SOT 30599 SOS 12744 HAS SOPS 12744 HAS SOUS 10880 HAS SOUPS 10880 WITH SCORE 10892.744
AT ITER 240 NEW BEST:: SOT 30549 SOS 12693 HAS SOPS 12693 HAS SOUS 10869 HAS SOUPS 10869 WITH SCORE 10881.693
AT ITER 242 NEW BEST:: SOT 30549 SOS 12665 HAS SOPS 12665 HAS SOUS 10869 HAS SOUPS 10869 WITH SCORE 10881.665
AT ITER 249 NEW BEST:: SOT 30548 SOS 12661 HAS SOPS 12661 HAS SOUS 10846 HAS SOUPS 10846 WITH SCORE 10858.661
AT ITER 251 NEW BEST:: SOT 30261 SOS 13339 HAS SOPS 13339 HAS SOUS 10673 HAS SOUPS 10673 WITH SCORE 10686.339
AT ITER 252 NEW BEST:: SOT 30237 SOS 13315 HAS SOPS 13315 HAS SOUS 10649 HAS SOUPS 10649 WITH SCORE 10662.315
AT ITER 257 NEW BEST:: SOT 30236 SOS 13301 HAS SOPS 13301 HAS SOUS 10647 HAS SOUPS 10647 WITH SCORE 10660.301
AT ITER 261 NEW BEST:: SOT 30218 SOS 13272 HAS SOPS 13272 HAS SOUS 10631 HAS SOUPS 10631 WITH SCORE 10644.272
AT ITER 271 NEW BEST:: SOT 30188 SOS 13273 HAS SOPS 13273 HAS SOUS 10601 HAS SOUPS 10601 WITH SCORE 10614.273
AT ITER 274 NEW BEST:: SOT 30187 SOS 13271 HAS SOPS 13271 HAS SOUS 10599 HAS SOUPS 10599 WITH SCORE 10612.271
AT ITER 278 NEW BEST:: SOT 30187 SOS 13265 HAS SOPS 13265 HAS SOUS 10593 HAS SOUPS 10593 WITH SCORE 10606.265
AT ITER 281 NEW BEST:: SOT 30232 SOS 13359 HAS SOPS 13359 HAS SOUS 10579 HAS SOUPS 10579 WITH SCORE 10592.359
AT ITER 282 NEW BEST:: SOT 30232 SOS 13358 HAS SOPS 13358 HAS SOUS 10579 HAS SOUPS 10579 WITH SCORE 10592.358
AT ITER 283 NEW BEST:: SOT 30227 SOS 13342 HAS SOPS 13342 HAS SOUS 10563 HAS SOUPS 10563 WITH SCORE 10576.342
AT ITER 290 NEW BEST:: SOT 30162 SOS 13241 HAS SOPS 13241 HAS SOUS 10480 HAS SOUPS 10480 WITH SCORE 10493.241
AT ITER 293 NEW BEST:: SOT 30158 SOS 13192 HAS SOPS 13192 HAS SOUS 10460 HAS SOUPS 10460 WITH SCORE 10473.192
AT ITER 297 NEW BEST:: SOT 30160 SOS 13252 HAS SOPS 13252 HAS SOUS 10446 HAS SOUPS 10446 WITH SCORE 10459.252
AT ITER 302 NEW BEST:: SOT 30153 SOS 13238 HAS SOPS 13238 HAS SOUS 10432 HAS SOUPS 10432 WITH SCORE 10445.238
AT ITER 336 NEW BEST:: SOT 30123 SOS 13208 HAS SOPS 13208 HAS SOUS 10372 HAS SOUPS 10372 WITH SCORE 10385.208
AT ITER 343 NEW BEST:: SOT 30121 SOS 13199 HAS SOPS 13199 HAS SOUS 10368 HAS SOUPS 10368 WITH SCORE 10381.199
AT ITER 344 NEW BEST:: SOT 30120 SOS 13198 HAS SOPS 13198 HAS SOUS 10367 HAS SOUPS 10367 WITH SCORE 10380.198
AT ITER 349 NEW BEST:: SOT 30103 SOS 13164 HAS SOPS 13164 HAS SOUS 10330 HAS SOUPS 10330 WITH SCORE 10343.164
AT ITER 373 NEW BEST:: SOT 30099 SOS 13156 HAS SOPS 13156 HAS SOUS 10324 HAS SOUPS 10324 WITH SCORE 10337.156
AT ITER 380 NEW BEST:: SOT 30092 SOS 13142 HAS SOPS 13142 HAS SOUS 10317 HAS SOUPS 10317 WITH SCORE 10330.142
AT ITER 391 NEW BEST:: SOT 30092 SOS 13130 HAS SOPS 13130 HAS SOUS 10317 HAS SOUPS 10317 WITH SCORE 10330.13
AT ITER 393 NEW BEST:: SOT 30036 SOS 13053 HAS SOPS 13053 HAS SOUS 10240 HAS SOUPS 10240 WITH SCORE 10253.053
AT ITER 395 NEW BEST:: SOT 29990 SOS 13004 HAS SOPS 13004 HAS SOUS 10191 HAS SOUPS 10191 WITH SCORE 10204.004
AT ITER 402 NEW BEST:: SOT 29962 SOS 12981 HAS SOPS 12981 HAS SOUS 10168 HAS SOUPS 10168 WITH SCORE 10180.981
AT ITER 403 NEW BEST:: SOT 29964 SOS 12928 HAS SOPS 12928 HAS SOUS 10115 HAS SOUPS 10115 WITH SCORE 10127.928
AT ITER 404 NEW BEST:: SOT 29956 SOS 12898 HAS SOPS 12898 HAS SOUS 10077 HAS SOUPS 10077 WITH SCORE 10089.898
AT ITER 405 NEW BEST:: SOT 29956 SOS 12857 HAS SOPS 12857 HAS SOUS 10076 HAS SOUPS 10076 WITH SCORE 10088.857
AT ITER 408 NEW BEST:: SOT 29934 SOS 12594 HAS SOPS 12594 HAS SOUS 10010 HAS SOUPS 10010 WITH SCORE 10022.594
AT ITER 411 NEW BEST:: SOT 29934 SOS 12594 HAS SOPS 12594 HAS SOUS 10009 HAS SOUPS 10009 WITH SCORE 10021.594
AT ITER 416 NEW BEST:: SOT 29915 SOS 12583 HAS SOPS 12583 HAS SOUS 9995 HAS SOUPS 9995 WITH SCORE 10007.583
AT ITER 429 NEW BEST:: SOT 29894 SOS 12562 HAS SOPS 12562 HAS SOUS 9980 HAS SOUPS 9980 WITH SCORE 9992.562
AT ITER 433 NEW BEST:: SOT 29865 SOS 12503 HAS SOPS 12503 HAS SOUS 9949 HAS SOUPS 9949 WITH SCORE 9961.503
AT ITER 435 NEW BEST:: SOT 29285 SOS 12662 HAS SOPS 12662 HAS SOUS 9361 HAS SOUPS 9361 WITH SCORE 9373.662
AT ITER 456 NEW BEST:: SOT 29285 SOS 12662 HAS SOPS 12662 HAS SOUS 9349 HAS SOUPS 9349 WITH SCORE 9361.662
AT ITER 472 NEW BEST:: SOT 29265 SOS 12622 HAS SOPS 12622 HAS SOUS 9329 HAS SOUPS 9329 WITH SCORE 9341.622
AT ITER 480 NEW BEST:: SOT 29249 SOS 12606 HAS SOPS 12606 HAS SOUS 9305 HAS SOUPS 9305 WITH SCORE 9317.606
AT ITER 483 NEW BEST:: SOT 29034 SOS 12513 HAS SOPS 12513 HAS SOUS 9099 HAS SOUPS 9099 WITH SCORE 9111.513
AT ITER 497 NEW BEST:: SOT 28979 SOS 12495 HAS SOPS 12495 HAS SOUS 9081 HAS SOUPS 9081 WITH SCORE 9093.495
AT ITER 498 NEW BEST:: SOT 28975 SOS 12507 HAS SOPS 12507 HAS SOUS 9073 HAS SOUPS 9073 WITH SCORE 9085.507
AT ITER 522 NEW BEST:: SOT 28965 SOS 12487 HAS SOPS 12487 HAS SOUS 9053 HAS SOUPS 9053 WITH SCORE 9065.487
AT ITER 524 NEW BEST:: SOT 28930 SOS 12417 HAS SOPS 12417 HAS SOUS 9002 HAS SOUPS 9002 WITH SCORE 9014.417
AT ITER 545 NEW BEST:: SOT 28911 SOS 12415 HAS SOPS 12415 HAS SOUS 8968 HAS SOUPS 8968 WITH SCORE 8980.415
AT ITER 559 NEW BEST:: SOT 28677 SOS 12131 HAS SOPS 12131 HAS SOUS 8761 HAS SOUPS 8761 WITH SCORE 8773.131
AT ITER 561 NEW BEST:: SOT 28671 SOS 12119 HAS SOPS 12119 HAS SOUS 8749 HAS SOUPS 8749 WITH SCORE 8761.119
AT ITER 565 NEW BEST:: SOT 28645 SOS 12067 HAS SOPS 12067 HAS SOUS 8721 HAS SOUPS 8721 WITH SCORE 8733.067
AT ITER 573 NEW BEST:: SOT 28596 SOS 11996 HAS SOPS 11996 HAS SOUS 8650 HAS SOUPS 8650 WITH SCORE 8661.996
AT ITER 577 NEW BEST:: SOT 28574 SOS 11922 HAS SOPS 11922 HAS SOUS 8606 HAS SOUPS 8606 WITH SCORE 8617.922
AT ITER 611 NEW BEST:: SOT 28558 SOS 11911 HAS SOPS 11911 HAS SOUS 8593 HAS SOUPS 8593 WITH SCORE 8604.911
AT ITER 625 NEW BEST:: SOT 28527 SOS 11871 HAS SOPS 11871 HAS SOUS 8550 HAS SOUPS 8550 WITH SCORE 8561.871
AT ITER 630 NEW BEST:: SOT 28543 SOS 11828 HAS SOPS 11828 HAS SOUS 8538 HAS SOUPS 8538 WITH SCORE 8549.828
AT ITER 638 NEW BEST:: SOT 28513 SOS 11829 HAS SOPS 11829 HAS SOUS 8534 HAS SOUPS 8534 WITH SCORE 8545.829
AT ITER 661 NEW BEST:: SOT 28513 SOS 11819 HAS SOPS 11819 HAS SOUS 8534 HAS SOUPS 8534 WITH SCORE 8545.819
AT ITER 675 NEW BEST:: SOT 28489 SOS 11771 HAS SOPS 11771 HAS SOUS 8497 HAS SOUPS 8497 WITH SCORE 8508.771
AT ITER 693 NEW BEST:: SOT 28488 SOS 11767 HAS SOPS 11767 HAS SOUS 8497 HAS SOUPS 8497 WITH SCORE 8508.767
AT ITER 694 NEW BEST:: SOT 28455 SOS 11722 HAS SOPS 11722 HAS SOUS 8452 HAS SOUPS 8452 WITH SCORE 8463.722
AT ITER 702 NEW BEST:: SOT 28452 SOS 11690 HAS SOPS 11690 HAS SOUS 8446 HAS SOUPS 8446 WITH SCORE 8457.69
AT ITER 722 NEW BEST:: SOT 28451 SOS 11704 HAS SOPS 11704 HAS SOUS 8444 HAS SOUPS 8444 WITH SCORE 8455.704
AT ITER 729 NEW BEST:: SOT 28443 SOS 11666 HAS SOPS 11666 HAS SOUS 8425 HAS SOUPS 8425 WITH SCORE 8436.666
AT ITER 735 NEW BEST:: SOT 28385 SOS 11550 HAS SOPS 11550 HAS SOUS 8315 HAS SOUPS 8315 WITH SCORE 8326.55
AT ITER 739 NEW BEST:: SOT 28371 SOS 11553 HAS SOPS 11553 HAS SOUS 8304 HAS SOUPS 8304 WITH SCORE 8315.553
AT ITER 746 NEW BEST:: SOT 28357 SOS 11511 HAS SOPS 11511 HAS SOUS 8276 HAS SOUPS 8276 WITH SCORE 8287.511
AT ITER 751 NEW BEST:: SOT 28357 SOS 11487 HAS SOPS 11487 HAS SOUS 8276 HAS SOUPS 8276 WITH SCORE 8287.487
AT ITER 753 NEW BEST:: SOT 28355 SOS 11483 HAS SOPS 11483 HAS SOUS 8274 HAS SOUPS 8274 WITH SCORE 8285.483
AT ITER 779 NEW BEST:: SOT 28347 SOS 11471 HAS SOPS 11471 HAS SOUS 8262 HAS SOUPS 8262 WITH SCORE 8273.471
AT ITER 781 NEW BEST:: SOT 28348 SOS 11473 HAS SOPS 11473 HAS SOUS 8248 HAS SOUPS 8248 WITH SCORE 8259.473
AT ITER 803 NEW BEST:: SOT 28317 SOS 11360 HAS SOPS 11360 HAS SOUS 8217 HAS SOUPS 8217 WITH SCORE 8228.36
AT ITER 808 NEW BEST:: SOT 28315 SOS 11354 HAS SOPS 11354 HAS SOUS 8213 HAS SOUPS 8213 WITH SCORE 8224.354
AT ITER 809 NEW BEST:: SOT 28305 SOS 11334 HAS SOPS 11334 HAS SOUS 8199 HAS SOUPS 8199 WITH SCORE 8210.334
AT ITER 813 NEW BEST:: SOT 28249 SOS 11222 HAS SOPS 11222 HAS SOUS 8142 HAS SOUPS 8142 WITH SCORE 8153.222
AT ITER 821 NEW BEST:: SOT 28223 SOS 11196 HAS SOPS 11196 HAS SOUS 8131 HAS SOUPS 8131 WITH SCORE 8142.196
AT ITER 829 NEW BEST:: SOT 28216 SOS 11172 HAS SOPS 11172 HAS SOUS 8117 HAS SOUPS 8117 WITH SCORE 8128.172
AT ITER 830 NEW BEST:: SOT 28198 SOS 11136 HAS SOPS 11136 HAS SOUS 8084 HAS SOUPS 8084 WITH SCORE 8095.136
AT ITER 843 NEW BEST:: SOT 28185 SOS 11136 HAS SOPS 11136 HAS SOUS 8071 HAS SOUPS 8071 WITH SCORE 8082.136
AT ITER 854 NEW BEST:: SOT 28159 SOS 11143 HAS SOPS 11143 HAS SOUS 8045 HAS SOUPS 8045 WITH SCORE 8056.143
AT ITER 857 NEW BEST:: SOT 28125 SOS 11179 HAS SOPS 11179 HAS SOUS 8022 HAS SOUPS 8022 WITH SCORE 8033.179
AT ITER 860 NEW BEST:: SOT 28111 SOS 11154 HAS SOPS 11154 HAS SOUS 8005 HAS SOUPS 8005 WITH SCORE 8016.154
AT ITER 861 NEW BEST:: SOT 28120 SOS 11182 HAS SOPS 11182 HAS SOUS 8001 HAS SOUPS 8001 WITH SCORE 8012.182
AT ITER 864 NEW BEST:: SOT 28129 SOS 11167 HAS SOPS 11167 HAS SOUS 7986 HAS SOUPS 7986 WITH SCORE 7997.167
AT ITER 896 NEW BEST:: SOT 28121 SOS 11151 HAS SOPS 11151 HAS SOUS 7973 HAS SOUPS 7973 WITH SCORE 7984.151
AT ITER 897 NEW BEST:: SOT 28116 SOS 11146 HAS SOPS 11146 HAS SOUS 7963 HAS SOUPS 7963 WITH SCORE 7974.146
AT ITER 900 NEW BEST:: SOT 28069 SOS 11052 HAS SOPS 11052 HAS SOUS 7916 HAS SOUPS 7916 WITH SCORE 7927.052
AT ITER 909 NEW BEST:: SOT 28057 SOS 11040 HAS SOPS 11040 HAS SOUS 7892 HAS SOUPS 7892 WITH SCORE 7903.04
AT ITER 928 NEW BEST:: SOT 28030 SOS 10986 HAS SOPS 10986 HAS SOUS 7838 HAS SOUPS 7838 WITH SCORE 7848.986
AT ITER 955 NEW BEST:: SOT 28047 SOS 11020 HAS SOPS 11020 HAS SOUS 7830 HAS SOUPS 7830 WITH SCORE 7841.02
AT ITER 956 NEW BEST:: SOT 28045 SOS 11016 HAS SOPS 11016 HAS SOUS 7826 HAS SOUPS 7826 WITH SCORE 7837.016
AT ITER 995 NEW BEST:: SOT 28043 SOS 11014 HAS SOPS 11014 HAS SOUS 7824 HAS SOUPS 7824 WITH SCORE 7835.014
AT ITER 999 NEW BEST:: SOT 28033 SOS 10994 HAS SOPS 10994 HAS SOUS 7804 HAS SOUPS 7804 WITH SCORE 7814.994
AT ITER 1003 NEW BEST:: SOT 28067 SOS 11020 HAS SOPS 11020 HAS SOUS 7786 HAS SOUPS 7786 WITH SCORE 7797.02
AT ITER 1014 NEW BEST:: SOT 28047 SOS 10880 HAS SOPS 10880 HAS SOUS 7759 HAS SOUPS 7759 WITH SCORE 7769.88
AT ITER 1022 NEW BEST:: SOT 28031 SOS 10864 HAS SOPS 10864 HAS SOUS 7727 HAS SOUPS 7727 WITH SCORE 7737.864
AT ITER 1023 NEW BEST:: SOT 27955 SOS 10817 HAS SOPS 10817 HAS SOUS 7678 HAS SOUPS 7678 WITH SCORE 7688.817
AT ITER 1049 NEW BEST:: SOT 27966 SOS 10812 HAS SOPS 10812 HAS SOUS 7675 HAS SOUPS 7675 WITH SCORE 7685.812
AT ITER 1070 NEW BEST:: SOT 27966 SOS 10725 HAS SOPS 10725 HAS SOUS 7675 HAS SOUPS 7675 WITH SCORE 7685.725
AT ITER 1081 NEW BEST:: SOT 27955 SOS 10703 HAS SOPS 10703 HAS SOUS 7663 HAS SOUPS 7663 WITH SCORE 7673.703
AT ITER 1082 NEW BEST:: SOT 27938 SOS 10669 HAS SOPS 10669 HAS SOUS 7629 HAS SOUPS 7629 WITH SCORE 7639.669
AT ITER 1084 NEW BEST:: SOT 27938 SOS 10658 HAS SOPS 10658 HAS SOUS 7629 HAS SOUPS 7629 WITH SCORE 7639.658
AT ITER 1093 NEW BEST:: SOT 27930 SOS 10642 HAS SOPS 10642 HAS SOUS 7613 HAS SOUPS 7613 WITH SCORE 7623.642
AT ITER 1110 NEW BEST:: SOT 27928 SOS 10648 HAS SOPS 10648 HAS SOUS 7611 HAS SOUPS 7611 WITH SCORE 7621.648
AT ITER 1144 NEW BEST:: SOT 27900 SOS 10592 HAS SOPS 10592 HAS SOUS 7607 HAS SOUPS 7607 WITH SCORE 7617.592
AT ITER 1161 NEW BEST:: SOT 27893 SOS 10578 HAS SOPS 10578 HAS SOUS 7593 HAS SOUPS 7593 WITH SCORE 7603.578
AT ITER 1193 NEW BEST:: SOT 27861 SOS 10546 HAS SOPS 10546 HAS SOUS 7561 HAS SOUPS 7561 WITH SCORE 7571.546
AT ITER 1233 NEW BEST:: SOT 27853 SOS 10515 HAS SOPS 10515 HAS SOUS 7545 HAS SOUPS 7545 WITH SCORE 7555.515
AT ITER 1245 NEW BEST:: SOT 27845 SOS 10499 HAS SOPS 10499 HAS SOUS 7534 HAS SOUPS 7534 WITH SCORE 7544.499
AT ITER 1246 NEW BEST:: SOT 27844 SOS 10496 HAS SOPS 10496 HAS SOUS 7532 HAS SOUPS 7532 WITH SCORE 7542.496
AT ITER 1282 NEW BEST:: SOT 27846 SOS 10492 HAS SOPS 10492 HAS SOUS 7528 HAS SOUPS 7528 WITH SCORE 7538.492
AT ITER 1283 NEW BEST:: SOT 27845 SOS 10491 HAS SOPS 10491 HAS SOUS 7526 HAS SOUPS 7526 WITH SCORE 7536.491
AT ITER 1286 NEW BEST:: SOT 27845 SOS 10488 HAS SOPS 10488 HAS SOUS 7523 HAS SOUPS 7523 WITH SCORE 7533.488
AT ITER 1290 NEW BEST:: SOT 27842 SOS 10483 HAS SOPS 10483 HAS SOUS 7517 HAS SOUPS 7517 WITH SCORE 7527.483
AT ITER 1291 NEW BEST:: SOT 27842 SOS 10458 HAS SOPS 10458 HAS SOUS 7492 HAS SOUPS 7492 WITH SCORE 7502.458
AT ITER 1295 NEW BEST:: SOT 27835 SOS 10451 HAS SOPS 10451 HAS SOUS 7485 HAS SOUPS 7485 WITH SCORE 7495.451
AT ITER 1309 NEW BEST:: SOT 27851 SOS 10422 HAS SOPS 10422 HAS SOUS 7465 HAS SOUPS 7465 WITH SCORE 7475.422
AT ITER 1311 NEW BEST:: SOT 27850 SOS 10423 HAS SOPS 10423 HAS SOUS 7463 HAS SOUPS 7463 WITH SCORE 7473.423
AT ITER 1312 NEW BEST:: SOT 27842 SOS 10411 HAS SOPS 10411 HAS SOUS 7451 HAS SOUPS 7451 WITH SCORE 7461.411
AT ITER 1319 NEW BEST:: SOT 27793 SOS 10313 HAS SOPS 10313 HAS SOUS 7377 HAS SOUPS 7377 WITH SCORE 7387.313
AT ITER 1353 NEW BEST:: SOT 27786 SOS 10084 HAS SOPS 10084 HAS SOUS 7363 HAS SOUPS 7363 WITH SCORE 7373.084
AT ITER 1373 NEW BEST:: SOT 27783 SOS 10075 HAS SOPS 10075 HAS SOUS 7357 HAS SOUPS 7357 WITH SCORE 7367.075
AT ITER 1380 NEW BEST:: SOT 27766 SOS 10041 HAS SOPS 10041 HAS SOUS 7345 HAS SOUPS 7345 WITH SCORE 7355.041
AT ITER 1385 NEW BEST:: SOT 27735 SOS 9948 HAS SOPS 9948 HAS SOUS 7283 HAS SOUPS 7283 WITH SCORE 7292.948
AT ITER 1428 NEW BEST:: SOT 27733 SOS 9944 HAS SOPS 9944 HAS SOUS 7279 HAS SOUPS 7279 WITH SCORE 7288.944
AT ITER 1445 NEW BEST:: SOT 27656 SOS 10308 HAS SOPS 10308 HAS SOUS 7243 HAS SOUPS 7243 WITH SCORE 7253.308
AT ITER 1446 NEW BEST:: SOT 27649 SOS 10246 HAS SOPS 10246 HAS SOUS 7220 HAS SOUPS 7220 WITH SCORE 7230.246
AT ITER 1464 NEW BEST:: SOT 27638 SOS 10229 HAS SOPS 10229 HAS SOUS 7206 HAS SOUPS 7206 WITH SCORE 7216.229
AT ITER 1477 NEW BEST:: SOT 27629 SOS 10184 HAS SOPS 10184 HAS SOUS 7165 HAS SOUPS 7165 WITH SCORE 7175.184
AT ITER 1483 NEW BEST:: SOT 27614 SOS 10154 HAS SOPS 10154 HAS SOUS 7132 HAS SOUPS 7132 WITH SCORE 7142.154
AT ITER 1493 NEW BEST:: SOT 27582 SOS 10083 HAS SOPS 10083 HAS SOUS 7093 HAS SOUPS 7093 WITH SCORE 7103.083
AT ITER 1499 NEW BEST:: SOT 27573 SOS 10076 HAS SOPS 10076 HAS SOUS 7075 HAS SOUPS 7075 WITH SCORE 7085.076
AT ITER 1532 NEW BEST:: SOT 27586 SOS 10075 HAS SOPS 10075 HAS SOUS 7074 HAS SOUPS 7074 WITH SCORE 7084.075
AT ITER 1544 NEW BEST:: SOT 27584 SOS 10071 HAS SOPS 10071 HAS SOUS 7071 HAS SOUPS 7071 WITH SCORE 7081.071
AT ITER 1545 NEW BEST:: SOT 27570 SOS 10320 HAS SOPS 10320 HAS SOUS 7065 HAS SOUPS 7065 WITH SCORE 7075.32
AT ITER 1555 NEW BEST:: SOT 27563 SOS 10313 HAS SOPS 10313 HAS SOUS 7051 HAS SOUPS 7051 WITH SCORE 7061.313
AT ITER 1575 NEW BEST:: SOT 27553 SOS 10321 HAS SOPS 10321 HAS SOUS 7035 HAS SOUPS 7035 WITH SCORE 7045.321
AT ITER 1594 NEW BEST:: SOT 27554 SOS 10315 HAS SOPS 10315 HAS SOUS 7022 HAS SOUPS 7022 WITH SCORE 7032.315
AT ITER 1606 NEW BEST:: SOT 27548 SOS 10309 HAS SOPS 10309 HAS SOUS 7016 HAS SOUPS 7016 WITH SCORE 7026.309
AT ITER 1615 NEW BEST:: SOT 27547 SOS 10306 HAS SOPS 10306 HAS SOUS 7012 HAS SOUPS 7012 WITH SCORE 7022.306
AT ITER 1619 NEW BEST:: SOT 27545 SOS 10304 HAS SOPS 10304 HAS SOUS 7010 HAS SOUPS 7010 WITH SCORE 7020.304
AT ITER 1622 NEW BEST:: SOT 27554 SOS 10322 HAS SOPS 10322 HAS SOUS 6990 HAS SOUPS 6990 WITH SCORE 7000.322
AT ITER 1633 NEW BEST:: SOT 27509 SOS 10264 HAS SOPS 10264 HAS SOUS 6940 HAS SOUPS 6940 WITH SCORE 6950.264
AT ITER 1634 NEW BEST:: SOT 27482 SOS 10210 HAS SOPS 10210 HAS SOUS 6886 HAS SOUPS 6886 WITH SCORE 6896.21
AT ITER 1639 NEW BEST:: SOT 27475 SOS 10199 HAS SOPS 10199 HAS SOUS 6877 HAS SOUPS 6877 WITH SCORE 6887.199
AT ITER 1645 NEW BEST:: SOT 27489 SOS 10227 HAS SOPS 10227 HAS SOUS 6875 HAS SOUPS 6875 WITH SCORE 6885.227
AT ITER 1647 NEW BEST:: SOT 27478 SOS 10205 HAS SOPS 10205 HAS SOUS 6853 HAS SOUPS 6853 WITH SCORE 6863.205
AT ITER 1674 NEW BEST:: SOT 27471 SOS 10198 HAS SOPS 10198 HAS SOUS 6838 HAS SOUPS 6838 WITH SCORE 6848.198
AT ITER 1686 NEW BEST:: SOT 27463 SOS 10182 HAS SOPS 10182 HAS SOUS 6833 HAS SOUPS 6833 WITH SCORE 6843.182
AT ITER 1702 NEW BEST:: SOT 27435 SOS 10159 HAS SOPS 10159 HAS SOUS 6790 HAS SOUPS 6790 WITH SCORE 6800.159
AT ITER 1717 NEW BEST:: SOT 27392 SOS 10130 HAS SOPS 10130 HAS SOUS 6759 HAS SOUPS 6759 WITH SCORE 6769.13
AT ITER 1718 NEW BEST:: SOT 27391 SOS 10128 HAS SOPS 10128 HAS SOUS 6758 HAS SOUPS 6758 WITH SCORE 6768.128
AT ITER 1725 NEW BEST:: SOT 27389 SOS 10126 HAS SOPS 10126 HAS SOUS 6757 HAS SOUPS 6757 WITH SCORE 6767.126
AT ITER 1730 NEW BEST:: SOT 27381 SOS 10110 HAS SOPS 10110 HAS SOUS 6737 HAS SOUPS 6737 WITH SCORE 6747.11
AT ITER 1735 NEW BEST:: SOT 27381 SOS 10132 HAS SOPS 10132 HAS SOUS 6723 HAS SOUPS 6723 WITH SCORE 6733.132
AT ITER 1762 NEW BEST:: SOT 27357 SOS 10123 HAS SOPS 10123 HAS SOUS 6693 HAS SOUPS 6693 WITH SCORE 6703.123
AT ITER 1765 NEW BEST:: SOT 27345 SOS 10099 HAS SOPS 10099 HAS SOUS 6669 HAS SOUPS 6669 WITH SCORE 6679.099
AT ITER 1771 NEW BEST:: SOT 27341 SOS 10091 HAS SOPS 10091 HAS SOUS 6661 HAS SOUPS 6661 WITH SCORE 6671.091
AT ITER 1778 NEW BEST:: SOT 27336 SOS 10090 HAS SOPS 10090 HAS SOUS 6651 HAS SOUPS 6651 WITH SCORE 6661.09
AT ITER 1795 NEW BEST:: SOT 27329 SOS 10076 HAS SOPS 10076 HAS SOUS 6642 HAS SOUPS 6642 WITH SCORE 6652.076
AT ITER 1801 NEW BEST:: SOT 27294 SOS 10029 HAS SOPS 10029 HAS SOUS 6595 HAS SOUPS 6595 WITH SCORE 6605.029
AT ITER 1813 NEW BEST:: SOT 27278 SOS 9977 HAS SOPS 9977 HAS SOUS 6575 HAS SOUPS 6575 WITH SCORE 6584.977
AT ITER 1822 NEW BEST:: SOT 27267 SOS 9955 HAS SOPS 9955 HAS SOUS 6553 HAS SOUPS 6553 WITH SCORE 6562.955
AT ITER 1825 NEW BEST:: SOT 27274 SOS 9954 HAS SOPS 9954 HAS SOUS 6552 HAS SOUPS 6552 WITH SCORE 6561.954
AT ITER 1842 NEW BEST:: SOT 27279 SOS 9952 HAS SOPS 9952 HAS SOUS 6544 HAS SOUPS 6544 WITH SCORE 6553.952
AT ITER 1856 NEW BEST:: SOT 27278 SOS 9960 HAS SOPS 9960 HAS SOUS 6542 HAS SOUPS 6542 WITH SCORE 6551.96
AT ITER 1865 NEW BEST:: SOT 27273 SOS 9936 HAS SOPS 9936 HAS SOUS 6534 HAS SOUPS 6534 WITH SCORE 6543.936
AT ITER 1874 NEW BEST:: SOT 27273 SOS 9934 HAS SOPS 9934 HAS SOUS 6534 HAS SOUPS 6534 WITH SCORE 6543.934
AT ITER 1890 NEW BEST:: SOT 27275 SOS 9893 HAS SOPS 9893 HAS SOUS 6495 HAS SOUPS 6495 WITH SCORE 6504.893
AT ITER 1891 NEW BEST:: SOT 27274 SOS 9885 HAS SOPS 9885 HAS SOUS 6493 HAS SOUPS 6493 WITH SCORE 6502.885
AT ITER 1920 NEW BEST:: SOT 27272 SOS 9881 HAS SOPS 9881 HAS SOUS 6489 HAS SOUPS 6489 WITH SCORE 6498.881
AT ITER 1936 NEW BEST:: SOT 27239 SOS 9836 HAS SOPS 9836 HAS SOUS 6466 HAS SOUPS 6466 WITH SCORE 6475.836
AT ITER 1937 NEW BEST:: SOT 27230 SOS 9827 HAS SOPS 9827 HAS SOUS 6452 HAS SOUPS 6452 WITH SCORE 6461.827
AT ITER 1992 NEW BEST:: SOT 27230 SOS 9799 HAS SOPS 9799 HAS SOUS 6452 HAS SOUPS 6452 WITH SCORE 6461.799
AT ITER 2009 NEW BEST:: SOT 27197 SOS 9738 HAS SOPS 9738 HAS SOUS 6414 HAS SOUPS 6414 WITH SCORE 6423.738
AT ITER 2025 NEW BEST:: SOT 27195 SOS 9737 HAS SOPS 9737 HAS SOUS 6410 HAS SOUPS 6410 WITH SCORE 6419.737
AT ITER 2036 NEW BEST:: SOT 27195 SOS 9735 HAS SOPS 9735 HAS SOUS 6408 HAS SOUPS 6408 WITH SCORE 6417.735
AT ITER 2043 NEW BEST:: SOT 27191 SOS 9727 HAS SOPS 9727 HAS SOUS 6404 HAS SOUPS 6404 WITH SCORE 6413.727
AT ITER 2061 NEW BEST:: SOT 27188 SOS 9724 HAS SOPS 9724 HAS SOUS 6401 HAS SOUPS 6401 WITH SCORE 6410.724
AT ITER 2102 NEW BEST:: SOT 27188 SOS 9722 HAS SOPS 9722 HAS SOUS 6399 HAS SOUPS 6399 WITH SCORE 6408.722
AT ITER 2104 NEW BEST:: SOT 27174 SOS 9696 HAS SOPS 9696 HAS SOUS 6371 HAS SOUPS 6371 WITH SCORE 6380.696
AT ITER 2110 NEW BEST:: SOT 27174 SOS 9688 HAS SOPS 9688 HAS SOUS 6363 HAS SOUPS 6363 WITH SCORE 6372.688
AT ITER 2116 NEW BEST:: SOT 27174 SOS 9626 HAS SOPS 9626 HAS SOUS 6349 HAS SOUPS 6349 WITH SCORE 6358.626
AT ITER 2121 NEW BEST:: SOT 27174 SOS 9621 HAS SOPS 9621 HAS SOUS 6349 HAS SOUPS 6349 WITH SCORE 6358.621
AT ITER 2128 NEW BEST:: SOT 27165 SOS 9619 HAS SOPS 9619 HAS SOUS 6333 HAS SOUPS 6333 WITH SCORE 6342.619
AT ITER 2194 NEW BEST:: SOT 27133 SOS 9616 HAS SOPS 9616 HAS SOUS 6330 HAS SOUPS 6330 WITH SCORE 6339.616
AT ITER 2214 NEW BEST:: SOT 27126 SOS 9602 HAS SOPS 9602 HAS SOUS 6303 HAS SOUPS 6303 WITH SCORE 6312.602
AT ITER 2256 NEW BEST:: SOT 27126 SOS 9589 HAS SOPS 9589 HAS SOUS 6303 HAS SOUPS 6303 WITH SCORE 6312.589
AT ITER 2286 NEW BEST:: SOT 27120 SOS 9577 HAS SOPS 9577 HAS SOUS 6291 HAS SOUPS 6291 WITH SCORE 6300.577
AT ITER 2301 NEW BEST:: SOT 27118 SOS 9561 HAS SOPS 9561 HAS SOUS 6287 HAS SOUPS 6287 WITH SCORE 6296.561
AT ITER 2304 NEW BEST:: SOT 27116 SOS 9557 HAS SOPS 9557 HAS SOUS 6283 HAS SOUPS 6283 WITH SCORE 6292.557
AT ITER 2321 NEW BEST:: SOT 27114 SOS 9555 HAS SOPS 9555 HAS SOUS 6281 HAS SOUPS 6281 WITH SCORE 6290.555
AT ITER 2352 NEW BEST:: SOT 27107 SOS 9625 HAS SOPS 9625 HAS SOUS 6277 HAS SOUPS 6277 WITH SCORE 6286.625
AT ITER 2386 NEW BEST:: SOT 27101 SOS 9612 HAS SOPS 9612 HAS SOUS 6265 HAS SOUPS 6265 WITH SCORE 6274.612
AT ITER 2394 NEW BEST:: SOT 27078 SOS 9566 HAS SOPS 9566 HAS SOUS 6230 HAS SOUPS 6230 WITH SCORE 6239.566
AT ITER 2406 NEW BEST:: SOT 27078 SOS 9534 HAS SOPS 9534 HAS SOUS 6230 HAS SOUPS 6230 WITH SCORE 6239.534
AT ITER 2424 NEW BEST:: SOT 27075 SOS 9531 HAS SOPS 9531 HAS SOUS 6227 HAS SOUPS 6227 WITH SCORE 6236.531
AT ITER 2478 NEW BEST:: SOT 27067 SOS 9523 HAS SOPS 9523 HAS SOUS 6219 HAS SOUPS 6219 WITH SCORE 6228.523
AT ITER 2479 NEW BEST:: SOT 27057 SOS 9485 HAS SOPS 9485 HAS SOUS 6194 HAS SOUPS 6194 WITH SCORE 6203.485
AT ITER 2485 NEW BEST:: SOT 27057 SOS 9483 HAS SOPS 9483 HAS SOUS 6192 HAS SOUPS 6192 WITH SCORE 6201.483
AT ITER 2494 NEW BEST:: SOT 27057 SOS 9479 HAS SOPS 9479 HAS SOUS 6192 HAS SOUPS 6192 WITH SCORE 6201.479
AT ITER 2507 NEW BEST:: SOT 27055 SOS 9475 HAS SOPS 9475 HAS SOUS 6175 HAS SOUPS 6175 WITH SCORE 6184.475
AT ITER 2523 NEW BEST:: SOT 27052 SOS 9469 HAS SOPS 9469 HAS SOUS 6172 HAS SOUPS 6172 WITH SCORE 6181.469
AT ITER 2527 NEW BEST:: SOT 27053 SOS 9466 HAS SOPS 9466 HAS SOUS 6167 HAS SOUPS 6167 WITH SCORE 6176.466
AT ITER 2537 NEW BEST:: SOT 27057 SOS 9474 HAS SOPS 9474 HAS SOUS 6140 HAS SOUPS 6140 WITH SCORE 6149.474
AT ITER 2546 NEW BEST:: SOT 27054 SOS 9228 HAS SOPS 9228 HAS SOUS 6137 HAS SOUPS 6137 WITH SCORE 6146.228
AT ITER 2578 NEW BEST:: SOT 27054 SOS 9187 HAS SOPS 9187 HAS SOUS 6137 HAS SOUPS 6137 WITH SCORE 6146.187
AT ITER 2604 NEW BEST:: SOT 27048 SOS 9181 HAS SOPS 9181 HAS SOUS 6132 HAS SOUPS 6132 WITH SCORE 6141.181
AT ITER 2642 NEW BEST:: SOT 27048 SOS 9181 HAS SOPS 9181 HAS SOUS 6124 HAS SOUPS 6124 WITH SCORE 6133.181
AT ITER 2660 NEW BEST:: SOT 27018 SOS 9307 HAS SOPS 9307 HAS SOUS 6105 HAS SOUPS 6105 WITH SCORE 6114.307
AT ITER 2661 NEW BEST:: SOT 26997 SOS 9278 HAS SOPS 9278 HAS SOUS 6091 HAS SOUPS 6091 WITH SCORE 6100.278
AT ITER 2662 NEW BEST:: SOT 26997 SOS 9276 HAS SOPS 9276 HAS SOUS 6079 HAS SOUPS 6079 WITH SCORE 6088.276
AT ITER 2676 NEW BEST:: SOT 26983 SOS 9265 HAS SOPS 9265 HAS SOUS 6071 HAS SOUPS 6071 WITH SCORE 6080.265
AT ITER 2679 NEW BEST:: SOT 26963 SOS 9225 HAS SOPS 9225 HAS SOUS 6031 HAS SOUPS 6031 WITH SCORE 6040.225
AT ITER 2700 NEW BEST:: SOT 26958 SOS 9222 HAS SOPS 9222 HAS SOUS 6021 HAS SOUPS 6021 WITH SCORE 6030.222
AT ITER 2704 NEW BEST:: SOT 26941 SOS 9201 HAS SOPS 9201 HAS SOUS 6000 HAS SOUPS 6000 WITH SCORE 6009.201
AT ITER 2771 NEW BEST:: SOT 26917 SOS 9177 HAS SOPS 9177 HAS SOUS 5976 HAS SOUPS 5976 WITH SCORE 5985.177
AT ITER 2786 NEW BEST:: SOT 26846 SOS 9103 HAS SOPS 9103 HAS SOUS 5929 HAS SOUPS 5929 WITH SCORE 5938.103
AT ITER 2804 NEW BEST:: SOT 26845 SOS 9085 HAS SOPS 9085 HAS SOUS 5921 HAS SOUPS 5921 WITH SCORE 5930.085
AT ITER 2844 NEW BEST:: SOT 26843 SOS 9081 HAS SOPS 9081 HAS SOUS 5917 HAS SOUPS 5917 WITH SCORE 5926.081
AT ITER 2890 NEW BEST:: SOT 26816 SOS 9037 HAS SOPS 9037 HAS SOUS 5906 HAS SOUPS 5906 WITH SCORE 5915.037
AT ITER 2936 NEW BEST:: SOT 26796 SOS 9017 HAS SOPS 9017 HAS SOUS 5886 HAS SOUPS 5886 WITH SCORE 5895.017
AT ITER 2942 NEW BEST:: SOT 26796 SOS 9011 HAS SOPS 9011 HAS SOUS 5886 HAS SOUPS 5886 WITH SCORE 5895.011
AT ITER 2960 NEW BEST:: SOT 26795 SOS 9009 HAS SOPS 9009 HAS SOUS 5877 HAS SOUPS 5877 WITH SCORE 5886.009
AT ITER 2962 NEW BEST:: SOT 26781 SOS 8996 HAS SOPS 8996 HAS SOUS 5856 HAS SOUPS 5856 WITH SCORE 5864.996
AT ITER 2987 NEW BEST:: SOT 26765 SOS 8992 HAS SOPS 8992 HAS SOUS 5821 HAS SOUPS 5821 WITH SCORE 5829.992
AT ITER 3012 NEW BEST:: SOT 26740 SOS 8972 HAS SOPS 8972 HAS SOUS 5798 HAS SOUPS 5798 WITH SCORE 5806.972
AT ITER 3042 NEW BEST:: SOT 26739 SOS 8971 HAS SOPS 8971 HAS SOUS 5796 HAS SOUPS 5796 WITH SCORE 5804.971
AT ITER 3051 NEW BEST:: SOT 26736 SOS 8965 HAS SOPS 8965 HAS SOUS 5790 HAS SOUPS 5790 WITH SCORE 5798.965
AT ITER 3055 NEW BEST:: SOT 26729 SOS 8946 HAS SOPS 8946 HAS SOUS 5777 HAS SOUPS 5777 WITH SCORE 5785.946
AT ITER 3067 NEW BEST:: SOT 26719 SOS 8926 HAS SOPS 8926 HAS SOUS 5767 HAS SOUPS 5767 WITH SCORE 5775.926
AT ITER 3080 NEW BEST:: SOT 26718 SOS 8924 HAS SOPS 8924 HAS SOUS 5765 HAS SOUPS 5765 WITH SCORE 5773.924
AT ITER 3102 NEW BEST:: SOT 26694 SOS 8900 HAS SOPS 8900 HAS SOUS 5741 HAS SOUPS 5741 WITH SCORE 5749.9
AT ITER 3126 NEW BEST:: SOT 26694 SOS 8902 HAS SOPS 8902 HAS SOUS 5739 HAS SOUPS 5739 WITH SCORE 5747.902
AT ITER 3141 NEW BEST:: SOT 26697 SOS 8894 HAS SOPS 8894 HAS SOUS 5728 HAS SOUPS 5728 WITH SCORE 5736.894
AT ITER 3144 NEW BEST:: SOT 26697 SOS 8886 HAS SOPS 8886 HAS SOUS 5728 HAS SOUPS 5728 WITH SCORE 5736.886
AT ITER 3165 NEW BEST:: SOT 26683 SOS 8858 HAS SOPS 8858 HAS SOUS 5722 HAS SOUPS 5722 WITH SCORE 5730.858
AT ITER 3166 NEW BEST:: SOT 26704 SOS 8849 HAS SOPS 8849 HAS SOUS 5713 HAS SOUPS 5713 WITH SCORE 5721.849
AT ITER 3171 NEW BEST:: SOT 26704 SOS 8833 HAS SOPS 8833 HAS SOUS 5713 HAS SOUPS 5713 WITH SCORE 5721.833
AT ITER 3177 NEW BEST:: SOT 26703 SOS 8830 HAS SOPS 8830 HAS SOUS 5711 HAS SOUPS 5711 WITH SCORE 5719.83
AT ITER 3196 NEW BEST:: SOT 26694 SOS 8821 HAS SOPS 8821 HAS SOUS 5693 HAS SOUPS 5693 WITH SCORE 5701.821
AT ITER 3242 NEW BEST:: SOT 26693 SOS 8879 HAS SOPS 8879 HAS SOUS 5691 HAS SOUPS 5691 WITH SCORE 5699.879
AT ITER 3249 NEW BEST:: SOT 26690 SOS 8870 HAS SOPS 8870 HAS SOUS 5682 HAS SOUPS 5682 WITH SCORE 5690.87
AT ITER 3266 NEW BEST:: SOT 26695 SOS 8846 HAS SOPS 8846 HAS SOUS 5675 HAS SOUPS 5675 WITH SCORE 5683.846
AT ITER 3272 NEW BEST:: SOT 26700 SOS 8875 HAS SOPS 8875 HAS SOUS 5674 HAS SOUPS 5674 WITH SCORE 5682.875
AT ITER 3322 NEW BEST:: SOT 26696 SOS 8867 HAS SOPS 8867 HAS SOUS 5666 HAS SOUPS 5666 WITH SCORE 5674.867
AT ITER 3326 NEW BEST:: SOT 26694 SOS 8863 HAS SOPS 8863 HAS SOUS 5662 HAS SOUPS 5662 WITH SCORE 5670.863
AT ITER 3329 NEW BEST:: SOT 26679 SOS 8833 HAS SOPS 8833 HAS SOUS 5647 HAS SOUPS 5647 WITH SCORE 5655.833
AT ITER 3334 NEW BEST:: SOT 26673 SOS 8821 HAS SOPS 8821 HAS SOUS 5635 HAS SOUPS 5635 WITH SCORE 5643.821
AT ITER 3346 NEW BEST:: SOT 26662 SOS 8810 HAS SOPS 8810 HAS SOUS 5624 HAS SOUPS 5624 WITH SCORE 5632.81
AT ITER 3361 NEW BEST:: SOT 26666 SOS 8818 HAS SOPS 8818 HAS SOUS 5620 HAS SOUPS 5620 WITH SCORE 5628.818
AT ITER 3363 NEW BEST:: SOT 26660 SOS 8810 HAS SOPS 8810 HAS SOUS 5613 HAS SOUPS 5613 WITH SCORE 5621.81
AT ITER 3391 NEW BEST:: SOT 26621 SOS 8712 HAS SOPS 8712 HAS SOUS 5540 HAS SOUPS 5540 WITH SCORE 5548.712
AT ITER 3392 NEW BEST:: SOT 26621 SOS 8691 HAS SOPS 8691 HAS SOUS 5540 HAS SOUPS 5540 WITH SCORE 5548.691
AT ITER 3412 NEW BEST:: SOT 26619 SOS 8687 HAS SOPS 8687 HAS SOUS 5538 HAS SOUPS 5538 WITH SCORE 5546.687
AT ITER 3430 NEW BEST:: SOT 26616 SOS 8686 HAS SOPS 8686 HAS SOUS 5537 HAS SOUPS 5537 WITH SCORE 5545.686
AT ITER 3435 NEW BEST:: SOT 26616 SOS 8667 HAS SOPS 8667 HAS SOUS 5537 HAS SOUPS 5537 WITH SCORE 5545.667
AT ITER 3440 NEW BEST:: SOT 26606 SOS 8658 HAS SOPS 8658 HAS SOUS 5517 HAS SOUPS 5517 WITH SCORE 5525.658
AT ITER 3441 NEW BEST:: SOT 26607 SOS 8653 HAS SOPS 8653 HAS SOUS 5513 HAS SOUPS 5513 WITH SCORE 5521.653
AT ITER 3511 NEW BEST:: SOT 26599 SOS 8740 HAS SOPS 8740 HAS SOUS 5512 HAS SOUPS 5512 WITH SCORE 5520.74
AT ITER 3581 NEW BEST:: SOT 26597 SOS 8736 HAS SOPS 8736 HAS SOUS 5509 HAS SOUPS 5509 WITH SCORE 5517.736
AT ITER 3585 NEW BEST:: SOT 26595 SOS 8722 HAS SOPS 8722 HAS SOUS 5505 HAS SOUPS 5505 WITH SCORE 5513.722
AT ITER 3607 NEW BEST:: SOT 26593 SOS 8720 HAS SOPS 8720 HAS SOUS 5501 HAS SOUPS 5501 WITH SCORE 5509.72
AT ITER 3649 NEW BEST:: SOT 26592 SOS 8739 HAS SOPS 8739 HAS SOUS 5499 HAS SOUPS 5499 WITH SCORE 5507.739
AT ITER 3685 NEW BEST:: SOT 26588 SOS 8731 HAS SOPS 8731 HAS SOUS 5469 HAS SOUPS 5469 WITH SCORE 5477.731
AT ITER 3694 NEW BEST:: SOT 26587 SOS 8729 HAS SOPS 8729 HAS SOUS 5467 HAS SOUPS 5467 WITH SCORE 5475.729
AT ITER 3727 NEW BEST:: SOT 26580 SOS 8717 HAS SOPS 8717 HAS SOUS 5461 HAS SOUPS 5461 WITH SCORE 5469.717
AT ITER 3768 NEW BEST:: SOT 26581 SOS 8711 HAS SOPS 8711 HAS SOUS 5456 HAS SOUPS 5456 WITH SCORE 5464.711
AT ITER 3808 NEW BEST:: SOT 26577 SOS 8685 HAS SOPS 8685 HAS SOUS 5434 HAS SOUPS 5434 WITH SCORE 5442.685
AT ITER 3850 NEW BEST:: SOT 26541 SOS 8649 HAS SOPS 8649 HAS SOUS 5427 HAS SOUPS 5427 WITH SCORE 5435.649
AT ITER 3851 NEW BEST:: SOT 26528 SOS 8636 HAS SOPS 8636 HAS SOUS 5401 HAS SOUPS 5401 WITH SCORE 5409.636
AT ITER 3866 NEW BEST:: SOT 26528 SOS 8636 HAS SOPS 8636 HAS SOUS 5394 HAS SOUPS 5394 WITH SCORE 5402.636
AT ITER 3874 NEW BEST:: SOT 26528 SOS 8635 HAS SOPS 8635 HAS SOUS 5393 HAS SOUPS 5393 WITH SCORE 5401.635
AT ITER 3895 NEW BEST:: SOT 26503 SOS 8610 HAS SOPS 8610 HAS SOUS 5373 HAS SOUPS 5373 WITH SCORE 5381.61
AT ITER 3904 NEW BEST:: SOT 26500 SOS 8603 HAS SOPS 8603 HAS SOUS 5370 HAS SOUPS 5370 WITH SCORE 5378.603
AT ITER 3922 NEW BEST:: SOT 26498 SOS 8601 HAS SOPS 8601 HAS SOUS 5366 HAS SOUPS 5366 WITH SCORE 5374.601
AT ITER 3933 NEW BEST:: SOT 26498 SOS 8600 HAS SOPS 8600 HAS SOUS 5366 HAS SOUPS 5366 WITH SCORE 5374.6
AT ITER 3935 NEW BEST:: SOT 26522 SOS 8594 HAS SOPS 8594 HAS SOUS 5360 HAS SOUPS 5360 WITH SCORE 5368.594
AT ITER 3978 NEW BEST:: SOT 26498 SOS 8539 HAS SOPS 8539 HAS SOUS 5312 HAS SOUPS 5312 WITH SCORE 5320.539
AT ITER 3989 NEW BEST:: SOT 26493 SOS 8534 HAS SOPS 8534 HAS SOUS 5307 HAS SOUPS 5307 WITH SCORE 5315.534
AT ITER 4047 NEW BEST:: SOT 26492 SOS 8531 HAS SOPS 8531 HAS SOUS 5304 HAS SOUPS 5304 WITH SCORE 5312.531
AT ITER 4063 NEW BEST:: SOT 26488 SOS 8523 HAS SOPS 8523 HAS SOUS 5296 HAS SOUPS 5296 WITH SCORE 5304.523
AT ITER 4076 NEW BEST:: SOT 26486 SOS 8521 HAS SOPS 8521 HAS SOUS 5292 HAS SOUPS 5292 WITH SCORE 5300.521
AT ITER 4097 NEW BEST:: SOT 26490 SOS 8515 HAS SOPS 8515 HAS SOUS 5288 HAS SOUPS 5288 WITH SCORE 5296.515
AT ITER 4116 NEW BEST:: SOT 26494 SOS 8509 HAS SOPS 8509 HAS SOUS 5286 HAS SOUPS 5286 WITH SCORE 5294.509
AT ITER 4186 NEW BEST:: SOT 26494 SOS 8503 HAS SOPS 8503 HAS SOUS 5286 HAS SOUPS 5286 WITH SCORE 5294.503
AT ITER 4201 NEW BEST:: SOT 26491 SOS 8523 HAS SOPS 8523 HAS SOUS 5283 HAS SOUPS 5283 WITH SCORE 5291.523
AT ITER 4226 NEW BEST:: SOT 26493 SOS 8527 HAS SOPS 8527 HAS SOUS 5282 HAS SOUPS 5282 WITH SCORE 5290.527
AT ITER 4231 NEW BEST:: SOT 26489 SOS 8519 HAS SOPS 8519 HAS SOUS 5274 HAS SOUPS 5274 WITH SCORE 5282.519
AT ITER 4235 NEW BEST:: SOT 26488 SOS 8518 HAS SOPS 8518 HAS SOUS 5273 HAS SOUPS 5273 WITH SCORE 5281.518
AT ITER 4262 NEW BEST:: SOT 26486 SOS 8508 HAS SOPS 8508 HAS SOUS 5269 HAS SOUPS 5269 WITH SCORE 5277.508
AT ITER 4338 NEW BEST:: SOT 26462 SOS 8601 HAS SOPS 8601 HAS SOUS 5263 HAS SOUPS 5263 WITH SCORE 5271.601
AT ITER 4377 NEW BEST:: SOT 26462 SOS 8597 HAS SOPS 8597 HAS SOUS 5263 HAS SOUPS 5263 WITH SCORE 5271.597
AT ITER 4413 NEW BEST:: SOT 26460 SOS 8681 HAS SOPS 8681 HAS SOUS 5259 HAS SOUPS 5259 WITH SCORE 5267.681
AT ITER 4418 NEW BEST:: SOT 26460 SOS 8679 HAS SOPS 8679 HAS SOUS 5257 HAS SOUPS 5257 WITH SCORE 5265.679
AT ITER 4456 NEW BEST:: SOT 26431 SOS 8650 HAS SOPS 8650 HAS SOUS 5244 HAS SOUPS 5244 WITH SCORE 5252.65
AT ITER 4552 NEW BEST:: SOT 26431 SOS 8649 HAS SOPS 8649 HAS SOUS 5244 HAS SOUPS 5244 WITH SCORE 5252.649
AT ITER 4556 NEW BEST:: SOT 26431 SOS 8649 HAS SOPS 8649 HAS SOUS 5243 HAS SOUPS 5243 WITH SCORE 5251.649
AT ITER 4583 NEW BEST:: SOT 26413 SOS 8600 HAS SOPS 8600 HAS SOUS 5202 HAS SOUPS 5202 WITH SCORE 5210.6
AT ITER 4615 NEW BEST:: SOT 26406 SOS 8593 HAS SOPS 8593 HAS SOUS 5195 HAS SOUPS 5195 WITH SCORE 5203.593
AT ITER 4622 NEW BEST:: SOT 26403 SOS 8587 HAS SOPS 8587 HAS SOUS 5188 HAS SOUPS 5188 WITH SCORE 5196.587
AT ITER 4720 NEW BEST:: SOT 26404 SOS 8559 HAS SOPS 8559 HAS SOUS 5175 HAS SOUPS 5175 WITH SCORE 5183.559
AT ITER 4722 NEW BEST:: SOT 26403 SOS 8557 HAS SOPS 8557 HAS SOUS 5172 HAS SOUPS 5172 WITH SCORE 5180.557
AT ITER 4730 NEW BEST:: SOT 26402 SOS 8568 HAS SOPS 8568 HAS SOUS 5171 HAS SOUPS 5171 WITH SCORE 5179.568
AT ITER 4769 NEW BEST:: SOT 26371 SOS 8506 HAS SOPS 8506 HAS SOUS 5121 HAS SOUPS 5121 WITH SCORE 5129.506
AT ITER 4802 NEW BEST:: SOT 26369 SOS 8509 HAS SOPS 8509 HAS SOUS 5116 HAS SOUPS 5116 WITH SCORE 5124.509
AT ITER 4810 NEW BEST:: SOT 26359 SOS 8494 HAS SOPS 8494 HAS SOUS 5096 HAS SOUPS 5096 WITH SCORE 5104.494
AT ITER 4846 NEW BEST:: SOT 26356 SOS 8488 HAS SOPS 8488 HAS SOUS 5090 HAS SOUPS 5090 WITH SCORE 5098.488
AT ITER 4898 NEW BEST:: SOT 26351 SOS 8483 HAS SOPS 8483 HAS SOUS 5085 HAS SOUPS 5085 WITH SCORE 5093.483
AT ITER 4915 NEW BEST:: SOT 26353 SOS 8487 HAS SOPS 8487 HAS SOUS 5079 HAS SOUPS 5079 WITH SCORE 5087.487
AT ITER 4956 NEW BEST:: SOT 26341 SOS 8469 HAS SOPS 8469 HAS SOUS 5067 HAS SOUPS 5067 WITH SCORE 5075.469
AT ITER 4962 NEW BEST:: SOT 26327 SOS 8458 HAS SOPS 8458 HAS SOUS 5059 HAS SOUPS 5059 WITH SCORE 5067.458
AT ITER 4997 NEW BEST:: SOT 26326 SOS 8461 HAS SOPS 8461 HAS SOUS 5058 HAS SOUPS 5058 WITH SCORE 5066.461
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: DiscoveryGPU-PT-07b-CTLCardinality-00 ( (EG( (AG( potential( (tk(P138)) <= (tk(P51)) ))))) | (! ( potential( (tk(P60)) <= (tk(P160)) ) & ( (! potential( ( 2 ) <= (tk(P207)) )) | ( potential( ( 3 ) <= (tk(P205)) ) & potential( ( 1 ) <= (tk(P198)) ) ) ) )) )
PROPERTY: DiscoveryGPU-PT-07b-CTLCardinality-01 (! (AG( (AF(potential( (tk(P21)) <= (tk(P6)) ))))))
PROPERTY: DiscoveryGPU-PT-07b-CTLCardinality-02 (AG( (EX( potential( (tk(P73)) <= (tk(P148)) )))))
PROPERTY: DiscoveryGPU-PT-07b-CTLCardinality-03 ( ( (! (AG( potential( (tk(P17)) <= (tk(P51)) )))) | (! ( ( potential( (tk(P188)) <= (tk(P137)) ) | potential( ( 3 ) <= (tk(P176)) ) ) & (! potential( ( 3 ) <= (tk(P72)) )) )) ) & ( (EX( (! potential( (tk(P18)) <= (tk(P4)) )))) | ( ( potential( ( 1 ) <= (tk(P151)) ) & ( potential( ( 3 ) <= (tk(P48)) ) | potential( (tk(P151)) <= (tk(P63)) ) ) ) | ( ( potential( (tk(P105)) <= (tk(P7)) ) & potential( (tk(P179)) <= (tk(P105)) ) ) | ( potential( (tk(P190)) <= (tk(P20)) ) & potential( (tk(P15)) <= (tk(P166)) ) ) ) ) ) )
PROPERTY: DiscoveryGPU-PT-07b-CTLCardinality-04 (EF(potential( ( 2 ) <= (tk(P65)) )))
PROPERTY: DiscoveryGPU-PT-07b-CTLCardinality-05 ( (AU( ( potential( ( 2 ) <= (tk(P143)) ) | potential( (tk(P182)) <= (tk(P189)) ) ),( potential( ( 2 ) <= (tk(P193)) ) & potential( (tk(P136)) <= (tk(P19)) ) ) )) & (AU( ( potential( ( 3 ) <= (tk(P48)) ) & potential( (tk(P199)) <= (tk(P139)) ) ),potential( (tk(P185)) <= (tk(P81)) ) )) )
PROPERTY: DiscoveryGPU-PT-07b-CTLCardinality-06 (AF((! ( potential( (tk(P16)) <= (tk(P175)) ) & ( potential( (tk(P91)) <= (tk(P53)) ) | potential( ( 2 ) <= (tk(P112)) ) ) ))))
PROPERTY: DiscoveryGPU-PT-07b-CTLCardinality-07 (EU( (AF(potential( ( 1 ) <= (tk(P3)) ))),( ( potential( ( 2 ) <= (tk(P209)) ) & potential( ( 1 ) <= (tk(P72)) ) ) | (! potential( (tk(P167)) <= (tk(P22)) )) ) ))
PROPERTY: DiscoveryGPU-PT-07b-CTLCardinality-08 (AF(( potential( ( 3 ) <= (tk(P9)) ) & ( ( potential( (tk(P117)) <= (tk(P74)) ) | potential( ( 1 ) <= (tk(P2)) ) ) & potential( (tk(P192)) <= (tk(P206)) ) ) )))
PROPERTY: DiscoveryGPU-PT-07b-CTLCardinality-09 (AF(potential( ( 3 ) <= (tk(P194)) )))
PROPERTY: DiscoveryGPU-PT-07b-CTLCardinality-10 (AG( (AF(( potential( ( 3 ) <= (tk(P210)) ) & potential( ( 2 ) <= (tk(P210)) ) )))))
PROPERTY: DiscoveryGPU-PT-07b-CTLCardinality-11 ( (EF(( ( potential( ( 2 ) <= (tk(P86)) ) & potential( ( 2 ) <= (tk(P48)) ) ) & potential( (tk(P80)) <= (tk(P80)) ) ))) | potential( ( 1 ) <= (tk(P59)) ) )
PROPERTY: DiscoveryGPU-PT-07b-CTLCardinality-12 (! ( (EG( ( potential( (tk(P148)) <= (tk(P48)) ) & potential( (tk(P27)) <= (tk(P167)) ) ))) | potential( ( 3 ) <= (tk(P186)) ) ))
PROPERTY: DiscoveryGPU-PT-07b-CTLCardinality-13 (AF((EG( (! potential( (tk(P5)) <= (tk(P125)) ))))))
PROPERTY: DiscoveryGPU-PT-07b-CTLCardinality-14 ( (AG( (EX( potential( (tk(P33)) <= (tk(P13)) ))))) | ( ( ( (! potential( ( 2 ) <= (tk(P187)) )) & (! potential( ( 1 ) <= (tk(P125)) )) ) | (EF(potential( (tk(P124)) <= (tk(P196)) ))) ) & (! ( potential( ( 3 ) <= (tk(P94)) ) | ( potential( (tk(P122)) <= (tk(P203)) ) & potential( (tk(P142)) <= (tk(P100)) ) ) )) ) )
PROPERTY: DiscoveryGPU-PT-07b-CTLCardinality-15 (! (EF(potential( ( 3 ) <= (tk(P26)) ))))

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="DiscoveryGPU-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 DiscoveryGPU-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 r063-tajo-158922807700611"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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