About the Execution of smart for DiscoveryGPU-PT-13b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15766.070 | 3600000.00 | 3600049.00 | 0.00 | [undef] | Time out reached |
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-158922807900708.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-13b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922807900708
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 268K
-rw-r--r-- 1 mcc users 4.0K Mar 31 07:24 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 31 07:24 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 30 00:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 30 00: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.3K Apr 8 14:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 28 14:42 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 28 14:42 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 27 07:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 27 07:42 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 97K 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-13b-CTLFireability-00
FORMULA_NAME DiscoveryGPU-PT-13b-CTLFireability-01
FORMULA_NAME DiscoveryGPU-PT-13b-CTLFireability-02
FORMULA_NAME DiscoveryGPU-PT-13b-CTLFireability-03
FORMULA_NAME DiscoveryGPU-PT-13b-CTLFireability-04
FORMULA_NAME DiscoveryGPU-PT-13b-CTLFireability-05
FORMULA_NAME DiscoveryGPU-PT-13b-CTLFireability-06
FORMULA_NAME DiscoveryGPU-PT-13b-CTLFireability-07
FORMULA_NAME DiscoveryGPU-PT-13b-CTLFireability-08
FORMULA_NAME DiscoveryGPU-PT-13b-CTLFireability-09
FORMULA_NAME DiscoveryGPU-PT-13b-CTLFireability-10
FORMULA_NAME DiscoveryGPU-PT-13b-CTLFireability-11
FORMULA_NAME DiscoveryGPU-PT-13b-CTLFireability-12
FORMULA_NAME DiscoveryGPU-PT-13b-CTLFireability-13
FORMULA_NAME DiscoveryGPU-PT-13b-CTLFireability-14
FORMULA_NAME DiscoveryGPU-PT-13b-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589363914078
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 13b
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart
GOT IT HERE. BS
Petri model created: 380 places, 404 transitions, 1056 arcs.
AT ITER 0 NEW BEST:: SOT 107316 SOS 51583 HAS SOPS 51583 HAS SOUS 45560 HAS SOUPS 45560 WITH SCORE 45611.583
AT ITER 4 NEW BEST:: SOT 107257 SOS 51465 HAS SOPS 51465 HAS SOUS 45442 HAS SOUPS 45442 WITH SCORE 45493.465
AT ITER 7 NEW BEST:: SOT 106961 SOS 51062 HAS SOPS 51062 HAS SOUS 45039 HAS SOUPS 45039 WITH SCORE 45090.062
AT ITER 9 NEW BEST:: SOT 106961 SOS 51011 HAS SOPS 51011 HAS SOUS 45038 HAS SOUPS 45038 WITH SCORE 45089.011
AT ITER 15 NEW BEST:: SOT 106961 SOS 50941 HAS SOPS 50941 HAS SOUS 45034 HAS SOUPS 45034 WITH SCORE 45084.941
AT ITER 19 NEW BEST:: SOT 106886 SOS 50705 HAS SOPS 50705 HAS SOUS 44833 HAS SOUPS 44833 WITH SCORE 44883.705
AT ITER 25 NEW BEST:: SOT 106692 SOS 50727 HAS SOPS 50727 HAS SOUS 44811 HAS SOUPS 44811 WITH SCORE 44861.727
AT ITER 30 NEW BEST:: SOT 106691 SOS 50581 HAS SOPS 50581 HAS SOUS 44612 HAS SOUPS 44612 WITH SCORE 44662.581
AT ITER 34 NEW BEST:: SOT 106591 SOS 50552 HAS SOPS 50552 HAS SOUS 44512 HAS SOUPS 44512 WITH SCORE 44562.552
AT ITER 37 NEW BEST:: SOT 106556 SOS 50355 HAS SOPS 50355 HAS SOUS 44359 HAS SOUPS 44359 WITH SCORE 44409.355
AT ITER 40 NEW BEST:: SOT 106457 SOS 50171 HAS SOPS 50171 HAS SOUS 44311 HAS SOUPS 44311 WITH SCORE 44361.171
AT ITER 46 NEW BEST:: SOT 106457 SOS 50102 HAS SOPS 50102 HAS SOUS 44241 HAS SOUPS 44241 WITH SCORE 44291.102
AT ITER 48 NEW BEST:: SOT 106457 SOS 50023 HAS SOPS 50023 HAS SOUS 44239 HAS SOUPS 44239 WITH SCORE 44289.023
AT ITER 50 NEW BEST:: SOT 106447 SOS 49793 HAS SOPS 49793 HAS SOUS 44229 HAS SOUPS 44229 WITH SCORE 44278.793
AT ITER 52 NEW BEST:: SOT 106270 SOS 49570 HAS SOPS 49570 HAS SOUS 44051 HAS SOUPS 44051 WITH SCORE 44100.57
AT ITER 56 NEW BEST:: SOT 106198 SOS 49295 HAS SOPS 49295 HAS SOUS 43977 HAS SOUPS 43977 WITH SCORE 44026.295
AT ITER 57 NEW BEST:: SOT 106198 SOS 49152 HAS SOPS 49152 HAS SOUS 43834 HAS SOUPS 43834 WITH SCORE 43883.152
AT ITER 59 NEW BEST:: SOT 106149 SOS 49121 HAS SOPS 49121 HAS SOUS 43800 HAS SOUPS 43800 WITH SCORE 43849.121
AT ITER 60 NEW BEST:: SOT 106116 SOS 49088 HAS SOPS 49088 HAS SOUS 43767 HAS SOUPS 43767 WITH SCORE 43816.088
AT ITER 67 NEW BEST:: SOT 105964 SOS 48968 HAS SOPS 48968 HAS SOUS 43647 HAS SOUPS 43647 WITH SCORE 43695.968
AT ITER 71 NEW BEST:: SOT 105868 SOS 48824 HAS SOPS 48824 HAS SOUS 43503 HAS SOUPS 43503 WITH SCORE 43551.824
AT ITER 72 NEW BEST:: SOT 105825 SOS 48602 HAS SOPS 48602 HAS SOUS 43417 HAS SOUPS 43417 WITH SCORE 43465.602
AT ITER 74 NEW BEST:: SOT 101979 SOS 45283 HAS SOPS 45283 HAS SOUS 39705 HAS SOUPS 39705 WITH SCORE 39750.283
AT ITER 84 NEW BEST:: SOT 101978 SOS 45281 HAS SOPS 45281 HAS SOUS 39703 HAS SOUPS 39703 WITH SCORE 39748.281
AT ITER 87 NEW BEST:: SOT 101969 SOS 45263 HAS SOPS 45263 HAS SOUS 39684 HAS SOUPS 39684 WITH SCORE 39729.263
AT ITER 89 NEW BEST:: SOT 101921 SOS 45215 HAS SOPS 45215 HAS SOUS 39682 HAS SOUPS 39682 WITH SCORE 39727.215
AT ITER 92 NEW BEST:: SOT 101802 SOS 45087 HAS SOPS 45087 HAS SOUS 39567 HAS SOUPS 39567 WITH SCORE 39612.087
AT ITER 93 NEW BEST:: SOT 101764 SOS 45049 HAS SOPS 45049 HAS SOUS 39529 HAS SOUPS 39529 WITH SCORE 39574.049
AT ITER 97 NEW BEST:: SOT 101791 SOS 45016 HAS SOPS 45016 HAS SOUS 39526 HAS SOUPS 39526 WITH SCORE 39571.016
AT ITER 103 NEW BEST:: SOT 101752 SOS 44977 HAS SOPS 44977 HAS SOUS 39487 HAS SOUPS 39487 WITH SCORE 39531.977
AT ITER 105 NEW BEST:: SOT 101733 SOS 44928 HAS SOPS 44928 HAS SOUS 39464 HAS SOUPS 39464 WITH SCORE 39508.928
AT ITER 119 NEW BEST:: SOT 101694 SOS 44850 HAS SOPS 44850 HAS SOUS 39386 HAS SOUPS 39386 WITH SCORE 39430.85
AT ITER 142 NEW BEST:: SOT 101693 SOS 44849 HAS SOPS 44849 HAS SOUS 39384 HAS SOUPS 39384 WITH SCORE 39428.849
AT ITER 147 NEW BEST:: SOT 100646 SOS 47047 HAS SOPS 47047 HAS SOUS 38437 HAS SOUPS 38437 WITH SCORE 38484.047
AT ITER 151 NEW BEST:: SOT 100662 SOS 46947 HAS SOPS 46947 HAS SOUS 38341 HAS SOUPS 38341 WITH SCORE 38387.947
AT ITER 161 NEW BEST:: SOT 100563 SOS 46749 HAS SOPS 46749 HAS SOUS 38240 HAS SOUPS 38240 WITH SCORE 38286.749
AT ITER 166 NEW BEST:: SOT 100479 SOS 46359 HAS SOPS 46359 HAS SOUS 37954 HAS SOUPS 37954 WITH SCORE 38000.359
AT ITER 171 NEW BEST:: SOT 100277 SOS 45955 HAS SOPS 45955 HAS SOUS 37662 HAS SOUPS 37662 WITH SCORE 37707.955
AT ITER 177 NEW BEST:: SOT 100151 SOS 45678 HAS SOPS 45678 HAS SOUS 37368 HAS SOUPS 37368 WITH SCORE 37413.678
AT ITER 178 NEW BEST:: SOT 100077 SOS 45596 HAS SOPS 45596 HAS SOUS 37293 HAS SOUPS 37293 WITH SCORE 37338.596
AT ITER 179 NEW BEST:: SOT 100023 SOS 45488 HAS SOPS 45488 HAS SOUS 37185 HAS SOUPS 37185 WITH SCORE 37230.488
AT ITER 181 NEW BEST:: SOT 99961 SOS 45404 HAS SOPS 45404 HAS SOUS 37122 HAS SOUPS 37122 WITH SCORE 37167.404
AT ITER 183 NEW BEST:: SOT 99932 SOS 45395 HAS SOPS 45395 HAS SOUS 37113 HAS SOUPS 37113 WITH SCORE 37158.395
AT ITER 188 NEW BEST:: SOT 99909 SOS 45349 HAS SOPS 45349 HAS SOUS 37067 HAS SOUPS 37067 WITH SCORE 37112.349
AT ITER 190 NEW BEST:: SOT 99909 SOS 45272 HAS SOPS 45272 HAS SOUS 36990 HAS SOUPS 36990 WITH SCORE 37035.272
AT ITER 192 NEW BEST:: SOT 99900 SOS 45245 HAS SOPS 45245 HAS SOUS 36981 HAS SOUPS 36981 WITH SCORE 37026.245
AT ITER 196 NEW BEST:: SOT 99734 SOS 44964 HAS SOPS 44964 HAS SOUS 36731 HAS SOUPS 36731 WITH SCORE 36775.964
AT ITER 201 NEW BEST:: SOT 99722 SOS 44928 HAS SOPS 44928 HAS SOUS 36719 HAS SOUPS 36719 WITH SCORE 36763.928
AT ITER 204 NEW BEST:: SOT 99647 SOS 44781 HAS SOPS 44781 HAS SOUS 36702 HAS SOUPS 36702 WITH SCORE 36746.781
AT ITER 206 NEW BEST:: SOT 99632 SOS 44668 HAS SOPS 44668 HAS SOUS 36671 HAS SOUPS 36671 WITH SCORE 36715.668
AT ITER 212 NEW BEST:: SOT 99590 SOS 44589 HAS SOPS 44589 HAS SOUS 36649 HAS SOUPS 36649 WITH SCORE 36693.589
AT ITER 220 NEW BEST:: SOT 99583 SOS 44553 HAS SOPS 44553 HAS SOUS 36636 HAS SOUPS 36636 WITH SCORE 36680.553
AT ITER 231 NEW BEST:: SOT 99649 SOS 44359 HAS SOPS 44359 HAS SOUS 36574 HAS SOUPS 36574 WITH SCORE 36618.359
AT ITER 232 NEW BEST:: SOT 99463 SOS 44022 HAS SOPS 44022 HAS SOUS 36139 HAS SOUPS 36139 WITH SCORE 36183.022
AT ITER 239 NEW BEST:: SOT 99221 SOS 43538 HAS SOPS 43538 HAS SOUS 35789 HAS SOUPS 35789 WITH SCORE 35832.538
AT ITER 248 NEW BEST:: SOT 99127 SOS 43350 HAS SOPS 43350 HAS SOUS 35695 HAS SOUPS 35695 WITH SCORE 35738.35
AT ITER 249 NEW BEST:: SOT 99106 SOS 43349 HAS SOPS 43349 HAS SOUS 35694 HAS SOUPS 35694 WITH SCORE 35737.349
AT ITER 251 NEW BEST:: SOT 98927 SOS 43053 HAS SOPS 43053 HAS SOUS 35491 HAS SOUPS 35491 WITH SCORE 35534.053
AT ITER 261 NEW BEST:: SOT 99058 SOS 43000 HAS SOPS 43000 HAS SOUS 35488 HAS SOUPS 35488 WITH SCORE 35531.0
AT ITER 263 NEW BEST:: SOT 99041 SOS 42966 HAS SOPS 42966 HAS SOUS 35454 HAS SOUPS 35454 WITH SCORE 35496.966
AT ITER 267 NEW BEST:: SOT 99016 SOS 42916 HAS SOPS 42916 HAS SOUS 35404 HAS SOUPS 35404 WITH SCORE 35446.916
AT ITER 270 NEW BEST:: SOT 98919 SOS 42898 HAS SOPS 42898 HAS SOUS 35386 HAS SOUPS 35386 WITH SCORE 35428.898
AT ITER 272 NEW BEST:: SOT 98581 SOS 52054 HAS SOPS 52054 HAS SOUS 35253 HAS SOUPS 35253 WITH SCORE 35305.054
AT ITER 277 NEW BEST:: SOT 98531 SOS 51954 HAS SOPS 51954 HAS SOUS 35202 HAS SOUPS 35202 WITH SCORE 35253.954
AT ITER 279 NEW BEST:: SOT 98397 SOS 51687 HAS SOPS 51687 HAS SOUS 35065 HAS SOUPS 35065 WITH SCORE 35116.687
AT ITER 284 NEW BEST:: SOT 98401 SOS 51686 HAS SOPS 51686 HAS SOUS 35064 HAS SOUPS 35064 WITH SCORE 35115.686
AT ITER 285 NEW BEST:: SOT 98336 SOS 51602 HAS SOPS 51602 HAS SOUS 34980 HAS SOUPS 34980 WITH SCORE 35031.602
AT ITER 292 NEW BEST:: SOT 98335 SOS 51600 HAS SOPS 51600 HAS SOUS 34978 HAS SOUPS 34978 WITH SCORE 35029.6
AT ITER 295 NEW BEST:: SOT 98332 SOS 51594 HAS SOPS 51594 HAS SOUS 34975 HAS SOUPS 34975 WITH SCORE 35026.594
AT ITER 297 NEW BEST:: SOT 98310 SOS 51504 HAS SOPS 51504 HAS SOUS 34905 HAS SOUPS 34905 WITH SCORE 34956.504
AT ITER 300 NEW BEST:: SOT 98301 SOS 51477 HAS SOPS 51477 HAS SOUS 34887 HAS SOUPS 34887 WITH SCORE 34938.477
AT ITER 302 NEW BEST:: SOT 98185 SOS 51297 HAS SOPS 51297 HAS SOUS 34809 HAS SOUPS 34809 WITH SCORE 34860.297
AT ITER 303 NEW BEST:: SOT 98185 SOS 51297 HAS SOPS 51297 HAS SOUS 34797 HAS SOUPS 34797 WITH SCORE 34848.297
AT ITER 314 NEW BEST:: SOT 98185 SOS 51230 HAS SOPS 51230 HAS SOUS 34730 HAS SOUPS 34730 WITH SCORE 34781.23
AT ITER 327 NEW BEST:: SOT 98185 SOS 51226 HAS SOPS 51226 HAS SOUS 34726 HAS SOUPS 34726 WITH SCORE 34777.226
AT ITER 334 NEW BEST:: SOT 98111 SOS 51022 HAS SOPS 51022 HAS SOUS 34700 HAS SOUPS 34700 WITH SCORE 34751.022
AT ITER 337 NEW BEST:: SOT 98008 SOS 50881 HAS SOPS 50881 HAS SOUS 34559 HAS SOUPS 34559 WITH SCORE 34609.881
AT ITER 340 NEW BEST:: SOT 98008 SOS 50716 HAS SOPS 50716 HAS SOUS 34559 HAS SOUPS 34559 WITH SCORE 34609.716
AT ITER 349 NEW BEST:: SOT 97958 SOS 50672 HAS SOPS 50672 HAS SOUS 34532 HAS SOUPS 34532 WITH SCORE 34582.672
AT ITER 358 NEW BEST:: SOT 97790 SOS 50429 HAS SOPS 50429 HAS SOUS 34375 HAS SOUPS 34375 WITH SCORE 34425.429
AT ITER 362 NEW BEST:: SOT 97834 SOS 50456 HAS SOPS 50456 HAS SOUS 34316 HAS SOUPS 34316 WITH SCORE 34366.456
AT ITER 369 NEW BEST:: SOT 97798 SOS 50376 HAS SOPS 50376 HAS SOUS 34213 HAS SOUPS 34213 WITH SCORE 34263.376
AT ITER 373 NEW BEST:: SOT 97779 SOS 50365 HAS SOPS 50365 HAS SOUS 34202 HAS SOUPS 34202 WITH SCORE 34252.365
AT ITER 374 NEW BEST:: SOT 97769 SOS 50350 HAS SOPS 50350 HAS SOUS 34182 HAS SOUPS 34182 WITH SCORE 34232.35
AT ITER 384 NEW BEST:: SOT 97759 SOS 50328 HAS SOPS 50328 HAS SOUS 34160 HAS SOUPS 34160 WITH SCORE 34210.328
AT ITER 385 NEW BEST:: SOT 97736 SOS 50305 HAS SOPS 50305 HAS SOUS 34137 HAS SOUPS 34137 WITH SCORE 34187.305
AT ITER 399 NEW BEST:: SOT 97702 SOS 50237 HAS SOPS 50237 HAS SOUS 34069 HAS SOUPS 34069 WITH SCORE 34119.237
AT ITER 401 NEW BEST:: SOT 97748 SOS 50229 HAS SOPS 50229 HAS SOUS 34063 HAS SOUPS 34063 WITH SCORE 34113.229
AT ITER 402 NEW BEST:: SOT 97732 SOS 50189 HAS SOPS 50189 HAS SOUS 34039 HAS SOUPS 34039 WITH SCORE 34089.189
AT ITER 408 NEW BEST:: SOT 97732 SOS 50135 HAS SOPS 50135 HAS SOUS 34039 HAS SOUPS 34039 WITH SCORE 34089.135
AT ITER 410 NEW BEST:: SOT 97699 SOS 50178 HAS SOPS 50178 HAS SOUS 34015 HAS SOUPS 34015 WITH SCORE 34065.178
AT ITER 420 NEW BEST:: SOT 97686 SOS 50152 HAS SOPS 50152 HAS SOUS 34002 HAS SOUPS 34002 WITH SCORE 34052.152
AT ITER 422 NEW BEST:: SOT 97508 SOS 49900 HAS SOPS 49900 HAS SOUS 33950 HAS SOUPS 33950 WITH SCORE 33999.9
AT ITER 425 NEW BEST:: SOT 97469 SOS 49742 HAS SOPS 49742 HAS SOUS 33846 HAS SOUPS 33846 WITH SCORE 33895.742
AT ITER 436 NEW BEST:: SOT 97363 SOS 49513 HAS SOPS 49513 HAS SOUS 33789 HAS SOUPS 33789 WITH SCORE 33838.513
AT ITER 444 NEW BEST:: SOT 97304 SOS 49395 HAS SOPS 49395 HAS SOUS 33730 HAS SOUPS 33730 WITH SCORE 33779.395
AT ITER 446 NEW BEST:: SOT 97296 SOS 49379 HAS SOPS 49379 HAS SOUS 33721 HAS SOUPS 33721 WITH SCORE 33770.379
AT ITER 454 NEW BEST:: SOT 97285 SOS 49357 HAS SOPS 49357 HAS SOUS 33705 HAS SOUPS 33705 WITH SCORE 33754.357
AT ITER 456 NEW BEST:: SOT 97185 SOS 49157 HAS SOPS 49157 HAS SOUS 33435 HAS SOUPS 33435 WITH SCORE 33484.157
AT ITER 457 NEW BEST:: SOT 97207 SOS 49294 HAS SOPS 49294 HAS SOUS 33418 HAS SOUPS 33418 WITH SCORE 33467.294
AT ITER 459 NEW BEST:: SOT 97021 SOS 48922 HAS SOPS 48922 HAS SOUS 33224 HAS SOUPS 33224 WITH SCORE 33272.922
AT ITER 465 NEW BEST:: SOT 97021 SOS 48922 HAS SOPS 48922 HAS SOUS 33213 HAS SOUPS 33213 WITH SCORE 33261.922
AT ITER 467 NEW BEST:: SOT 96972 SOS 48615 HAS SOPS 48615 HAS SOUS 33115 HAS SOUPS 33115 WITH SCORE 33163.615
AT ITER 486 NEW BEST:: SOT 96952 SOS 48575 HAS SOPS 48575 HAS SOUS 33104 HAS SOUPS 33104 WITH SCORE 33152.575
AT ITER 491 NEW BEST:: SOT 96952 SOS 48519 HAS SOPS 48519 HAS SOUS 33103 HAS SOUPS 33103 WITH SCORE 33151.519
AT ITER 503 NEW BEST:: SOT 96851 SOS 48225 HAS SOPS 48225 HAS SOUS 33024 HAS SOUPS 33024 WITH SCORE 33072.225
AT ITER 505 NEW BEST:: SOT 96832 SOS 48207 HAS SOPS 48207 HAS SOUS 33006 HAS SOUPS 33006 WITH SCORE 33054.207
AT ITER 508 NEW BEST:: SOT 96766 SOS 48089 HAS SOPS 48089 HAS SOUS 32993 HAS SOUPS 32993 WITH SCORE 33041.089
AT ITER 536 NEW BEST:: SOT 96714 SOS 48034 HAS SOPS 48034 HAS SOUS 32915 HAS SOUPS 32915 WITH SCORE 32963.034
AT ITER 547 NEW BEST:: SOT 96701 SOS 48021 HAS SOPS 48021 HAS SOUS 32889 HAS SOUPS 32889 WITH SCORE 32937.021
AT ITER 549 NEW BEST:: SOT 96631 SOS 47881 HAS SOPS 47881 HAS SOUS 32819 HAS SOUPS 32819 WITH SCORE 32866.881
AT ITER 556 NEW BEST:: SOT 96631 SOS 47871 HAS SOPS 47871 HAS SOUS 32819 HAS SOUPS 32819 WITH SCORE 32866.871
AT ITER 558 NEW BEST:: SOT 96628 SOS 47868 HAS SOPS 47868 HAS SOUS 32816 HAS SOUPS 32816 WITH SCORE 32863.868
AT ITER 559 NEW BEST:: SOT 96693 SOS 47734 HAS SOPS 47734 HAS SOUS 32814 HAS SOUPS 32814 WITH SCORE 32861.734
AT ITER 560 NEW BEST:: SOT 96693 SOS 47733 HAS SOPS 47733 HAS SOUS 32814 HAS SOUPS 32814 WITH SCORE 32861.733
AT ITER 566 NEW BEST:: SOT 96692 SOS 47721 HAS SOPS 47721 HAS SOUS 32801 HAS SOUPS 32801 WITH SCORE 32848.721
AT ITER 569 NEW BEST:: SOT 96668 SOS 47697 HAS SOPS 47697 HAS SOUS 32777 HAS SOUPS 32777 WITH SCORE 32824.697
AT ITER 578 NEW BEST:: SOT 96552 SOS 47532 HAS SOPS 47532 HAS SOUS 32612 HAS SOUPS 32612 WITH SCORE 32659.532
AT ITER 583 NEW BEST:: SOT 96510 SOS 46769 HAS SOPS 46769 HAS SOUS 32527 HAS SOUPS 32527 WITH SCORE 32573.769
AT ITER 584 NEW BEST:: SOT 96510 SOS 46766 HAS SOPS 46766 HAS SOUS 32527 HAS SOUPS 32527 WITH SCORE 32573.766
AT ITER 598 NEW BEST:: SOT 96505 SOS 46756 HAS SOPS 46756 HAS SOUS 32517 HAS SOUPS 32517 WITH SCORE 32563.756
AT ITER 602 NEW BEST:: SOT 96534 SOS 46751 HAS SOPS 46751 HAS SOUS 32449 HAS SOUPS 32449 WITH SCORE 32495.751
AT ITER 604 NEW BEST:: SOT 96487 SOS 46704 HAS SOPS 46704 HAS SOUS 32414 HAS SOUPS 32414 WITH SCORE 32460.704
AT ITER 605 NEW BEST:: SOT 96440 SOS 46607 HAS SOPS 46607 HAS SOUS 32290 HAS SOUPS 32290 WITH SCORE 32336.607
AT ITER 611 NEW BEST:: SOT 96431 SOS 46427 HAS SOPS 46427 HAS SOUS 32110 HAS SOUPS 32110 WITH SCORE 32156.427
AT ITER 613 NEW BEST:: SOT 96397 SOS 46393 HAS SOPS 46393 HAS SOUS 32076 HAS SOUPS 32076 WITH SCORE 32122.393
AT ITER 617 NEW BEST:: SOT 96393 SOS 46385 HAS SOPS 46385 HAS SOUS 32068 HAS SOUPS 32068 WITH SCORE 32114.385
AT ITER 636 NEW BEST:: SOT 96343 SOS 46371 HAS SOPS 46371 HAS SOUS 31940 HAS SOUPS 31940 WITH SCORE 31986.371
AT ITER 643 NEW BEST:: SOT 96237 SOS 46265 HAS SOPS 46265 HAS SOUS 31781 HAS SOUPS 31781 WITH SCORE 31827.265
AT ITER 650 NEW BEST:: SOT 96227 SOS 46245 HAS SOPS 46245 HAS SOUS 31769 HAS SOUPS 31769 WITH SCORE 31815.245
AT ITER 651 NEW BEST:: SOT 96221 SOS 46129 HAS SOPS 46129 HAS SOUS 31714 HAS SOUPS 31714 WITH SCORE 31760.129
AT ITER 666 NEW BEST:: SOT 96160 SOS 46068 HAS SOPS 46068 HAS SOUS 31592 HAS SOUPS 31592 WITH SCORE 31638.068
AT ITER 692 NEW BEST:: SOT 96154 SOS 46068 HAS SOPS 46068 HAS SOUS 31586 HAS SOUPS 31586 WITH SCORE 31632.068
AT ITER 710 NEW BEST:: SOT 96177 SOS 46062 HAS SOPS 46062 HAS SOUS 31559 HAS SOUPS 31559 WITH SCORE 31605.062
AT ITER 719 NEW BEST:: SOT 96160 SOS 46093 HAS SOPS 46093 HAS SOUS 31532 HAS SOUPS 31532 WITH SCORE 31578.093
AT ITER 721 NEW BEST:: SOT 96104 SOS 45981 HAS SOPS 45981 HAS SOUS 31420 HAS SOUPS 31420 WITH SCORE 31465.981
AT ITER 724 NEW BEST:: SOT 96087 SOS 45950 HAS SOPS 45950 HAS SOUS 31403 HAS SOUPS 31403 WITH SCORE 31448.95
AT ITER 725 NEW BEST:: SOT 96087 SOS 45936 HAS SOPS 45936 HAS SOUS 31389 HAS SOUPS 31389 WITH SCORE 31434.936
AT ITER 733 NEW BEST:: SOT 95981 SOS 45724 HAS SOPS 45724 HAS SOUS 31206 HAS SOUPS 31206 WITH SCORE 31251.724
AT ITER 735 NEW BEST:: SOT 96017 SOS 45725 HAS SOPS 45725 HAS SOUS 31199 HAS SOUPS 31199 WITH SCORE 31244.725
AT ITER 742 NEW BEST:: SOT 95950 SOS 45658 HAS SOPS 45658 HAS SOUS 31132 HAS SOUPS 31132 WITH SCORE 31177.658
AT ITER 743 NEW BEST:: SOT 95368 SOS 45600 HAS SOPS 45600 HAS SOUS 30615 HAS SOUPS 30615 WITH SCORE 30660.6
AT ITER 746 NEW BEST:: SOT 95286 SOS 45546 HAS SOPS 45546 HAS SOUS 30561 HAS SOUPS 30561 WITH SCORE 30606.546
AT ITER 752 NEW BEST:: SOT 95211 SOS 45469 HAS SOPS 45469 HAS SOUS 30457 HAS SOUPS 30457 WITH SCORE 30502.469
AT ITER 755 NEW BEST:: SOT 95222 SOS 45480 HAS SOPS 45480 HAS SOUS 30350 HAS SOUPS 30350 WITH SCORE 30395.48
AT ITER 773 NEW BEST:: SOT 95236 SOS 45450 HAS SOPS 45450 HAS SOUS 30262 HAS SOUPS 30262 WITH SCORE 30307.45
AT ITER 779 NEW BEST:: SOT 95220 SOS 45487 HAS SOPS 45487 HAS SOUS 30230 HAS SOUPS 30230 WITH SCORE 30275.487
AT ITER 781 NEW BEST:: SOT 95085 SOS 45323 HAS SOPS 45323 HAS SOUS 30066 HAS SOUPS 30066 WITH SCORE 30111.323
AT ITER 786 NEW BEST:: SOT 95056 SOS 45265 HAS SOPS 45265 HAS SOUS 30037 HAS SOUPS 30037 WITH SCORE 30082.265
AT ITER 796 NEW BEST:: SOT 94922 SOS 45037 HAS SOPS 45037 HAS SOUS 29939 HAS SOUPS 29939 WITH SCORE 29984.037
AT ITER 807 NEW BEST:: SOT 94873 SOS 44871 HAS SOPS 44871 HAS SOUS 29822 HAS SOUPS 29822 WITH SCORE 29866.871
AT ITER 821 NEW BEST:: SOT 94858 SOS 44888 HAS SOPS 44888 HAS SOUS 29807 HAS SOUPS 29807 WITH SCORE 29851.888
AT ITER 823 NEW BEST:: SOT 94857 SOS 44886 HAS SOPS 44886 HAS SOUS 29805 HAS SOUPS 29805 WITH SCORE 29849.886
AT ITER 841 NEW BEST:: SOT 94811 SOS 44794 HAS SOPS 44794 HAS SOUS 29713 HAS SOUPS 29713 WITH SCORE 29757.794
AT ITER 845 NEW BEST:: SOT 94805 SOS 44776 HAS SOPS 44776 HAS SOUS 29701 HAS SOUPS 29701 WITH SCORE 29745.776
AT ITER 846 NEW BEST:: SOT 94458 SOS 44342 HAS SOPS 44342 HAS SOUS 29441 HAS SOUPS 29441 WITH SCORE 29485.342
AT ITER 852 NEW BEST:: SOT 94337 SOS 44342 HAS SOPS 44342 HAS SOUS 29413 HAS SOUPS 29413 WITH SCORE 29457.342
AT ITER 861 NEW BEST:: SOT 94257 SOS 44251 HAS SOPS 44251 HAS SOUS 29333 HAS SOUPS 29333 WITH SCORE 29377.251
AT ITER 869 NEW BEST:: SOT 94126 SOS 44057 HAS SOPS 44057 HAS SOUS 29139 HAS SOUPS 29139 WITH SCORE 29183.057
AT ITER 872 NEW BEST:: SOT 94113 SOS 44032 HAS SOPS 44032 HAS SOUS 29113 HAS SOUPS 29113 WITH SCORE 29157.032
AT ITER 879 NEW BEST:: SOT 94113 SOS 43985 HAS SOPS 43985 HAS SOUS 29113 HAS SOUPS 29113 WITH SCORE 29156.985
AT ITER 881 NEW BEST:: SOT 94046 SOS 43851 HAS SOPS 43851 HAS SOUS 29096 HAS SOUPS 29096 WITH SCORE 29139.851
AT ITER 884 NEW BEST:: SOT 94041 SOS 43828 HAS SOPS 43828 HAS SOUS 29090 HAS SOUPS 29090 WITH SCORE 29133.828
AT ITER 889 NEW BEST:: SOT 93966 SOS 43703 HAS SOPS 43703 HAS SOUS 29046 HAS SOUPS 29046 WITH SCORE 29089.703
AT ITER 914 NEW BEST:: SOT 93929 SOS 43597 HAS SOPS 43597 HAS SOUS 28948 HAS SOUPS 28948 WITH SCORE 28991.597
AT ITER 921 NEW BEST:: SOT 93906 SOS 43550 HAS SOPS 43550 HAS SOUS 28901 HAS SOUPS 28901 WITH SCORE 28944.55
AT ITER 926 NEW BEST:: SOT 93906 SOS 43540 HAS SOPS 43540 HAS SOUS 28901 HAS SOUPS 28901 WITH SCORE 28944.54
AT ITER 928 NEW BEST:: SOT 93906 SOS 43539 HAS SOPS 43539 HAS SOUS 28901 HAS SOUPS 28901 WITH SCORE 28944.539
AT ITER 934 NEW BEST:: SOT 93900 SOS 43527 HAS SOPS 43527 HAS SOUS 28892 HAS SOUPS 28892 WITH SCORE 28935.527
AT ITER 949 NEW BEST:: SOT 93844 SOS 43191 HAS SOPS 43191 HAS SOUS 28500 HAS SOUPS 28500 WITH SCORE 28543.191
AT ITER 966 NEW BEST:: SOT 93820 SOS 43143 HAS SOPS 43143 HAS SOUS 28475 HAS SOUPS 28475 WITH SCORE 28518.143
AT ITER 970 NEW BEST:: SOT 93808 SOS 43119 HAS SOPS 43119 HAS SOUS 28463 HAS SOUPS 28463 WITH SCORE 28506.119
AT ITER 973 NEW BEST:: SOT 93806 SOS 43117 HAS SOPS 43117 HAS SOUS 28459 HAS SOUPS 28459 WITH SCORE 28502.117
AT ITER 974 NEW BEST:: SOT 93780 SOS 43091 HAS SOPS 43091 HAS SOUS 28433 HAS SOUPS 28433 WITH SCORE 28476.091
AT ITER 976 NEW BEST:: SOT 93770 SOS 43071 HAS SOPS 43071 HAS SOUS 28413 HAS SOUPS 28413 WITH SCORE 28456.071
AT ITER 988 NEW BEST:: SOT 93662 SOS 44565 HAS SOPS 44565 HAS SOUS 28305 HAS SOUPS 28305 WITH SCORE 28349.565
AT ITER 999 NEW BEST:: SOT 93663 SOS 44567 HAS SOPS 44567 HAS SOUS 28295 HAS SOUPS 28295 WITH SCORE 28339.567
AT ITER 1002 NEW BEST:: SOT 93562 SOS 44445 HAS SOPS 44445 HAS SOUS 28196 HAS SOUPS 28196 WITH SCORE 28240.445
AT ITER 1008 NEW BEST:: SOT 93526 SOS 44373 HAS SOPS 44373 HAS SOUS 28160 HAS SOUPS 28160 WITH SCORE 28204.373
AT ITER 1017 NEW BEST:: SOT 93507 SOS 44301 HAS SOPS 44301 HAS SOUS 28122 HAS SOUPS 28122 WITH SCORE 28166.301
AT ITER 1019 NEW BEST:: SOT 93495 SOS 44218 HAS SOPS 44218 HAS SOUS 28049 HAS SOUPS 28049 WITH SCORE 28093.218
AT ITER 1032 NEW BEST:: SOT 93495 SOS 44213 HAS SOPS 44213 HAS SOUS 28048 HAS SOUPS 28048 WITH SCORE 28092.213
AT ITER 1035 NEW BEST:: SOT 93416 SOS 44113 HAS SOPS 44113 HAS SOUS 27954 HAS SOUPS 27954 WITH SCORE 27998.113
AT ITER 1039 NEW BEST:: SOT 93335 SOS 43951 HAS SOPS 43951 HAS SOUS 27892 HAS SOUPS 27892 WITH SCORE 27935.951
AT ITER 1047 NEW BEST:: SOT 93269 SOS 43819 HAS SOPS 43819 HAS SOUS 27760 HAS SOUPS 27760 WITH SCORE 27803.819
AT ITER 1048 NEW BEST:: SOT 93247 SOS 43797 HAS SOPS 43797 HAS SOUS 27716 HAS SOUPS 27716 WITH SCORE 27759.797
AT ITER 1049 NEW BEST:: SOT 93223 SOS 43855 HAS SOPS 43855 HAS SOUS 27700 HAS SOUPS 27700 WITH SCORE 27743.855
AT ITER 1060 NEW BEST:: SOT 93207 SOS 43831 HAS SOPS 43831 HAS SOUS 27684 HAS SOUPS 27684 WITH SCORE 27727.831
AT ITER 1070 NEW BEST:: SOT 93163 SOS 43931 HAS SOPS 43931 HAS SOUS 27660 HAS SOUPS 27660 WITH SCORE 27703.931
AT ITER 1072 NEW BEST:: SOT 93138 SOS 43950 HAS SOPS 43950 HAS SOUS 27653 HAS SOUPS 27653 WITH SCORE 27696.95
AT ITER 1076 NEW BEST:: SOT 93123 SOS 43920 HAS SOPS 43920 HAS SOUS 27608 HAS SOUPS 27608 WITH SCORE 27651.92
AT ITER 1078 NEW BEST:: SOT 93099 SOS 43850 HAS SOPS 43850 HAS SOUS 27606 HAS SOUPS 27606 WITH SCORE 27649.85
AT ITER 1080 NEW BEST:: SOT 93069 SOS 43790 HAS SOPS 43790 HAS SOUS 27564 HAS SOUPS 27564 WITH SCORE 27607.79
AT ITER 1085 NEW BEST:: SOT 93085 SOS 43788 HAS SOPS 43788 HAS SOUS 27560 HAS SOUPS 27560 WITH SCORE 27603.788
AT ITER 1091 NEW BEST:: SOT 93079 SOS 43776 HAS SOPS 43776 HAS SOUS 27548 HAS SOUPS 27548 WITH SCORE 27591.776
AT ITER 1093 NEW BEST:: SOT 93041 SOS 43738 HAS SOPS 43738 HAS SOUS 27510 HAS SOUPS 27510 WITH SCORE 27553.738
AT ITER 1094 NEW BEST:: SOT 93000 SOS 43656 HAS SOPS 43656 HAS SOUS 27464 HAS SOUPS 27464 WITH SCORE 27507.656
AT ITER 1104 NEW BEST:: SOT 92931 SOS 43616 HAS SOPS 43616 HAS SOUS 27345 HAS SOUPS 27345 WITH SCORE 27388.616
AT ITER 1109 NEW BEST:: SOT 92929 SOS 43612 HAS SOPS 43612 HAS SOUS 27341 HAS SOUPS 27341 WITH SCORE 27384.612
AT ITER 1139 NEW BEST:: SOT 92912 SOS 43578 HAS SOPS 43578 HAS SOUS 27307 HAS SOUPS 27307 WITH SCORE 27350.578
AT ITER 1171 NEW BEST:: SOT 92826 SOS 43411 HAS SOPS 43411 HAS SOUS 27230 HAS SOUPS 27230 WITH SCORE 27273.411
AT ITER 1173 NEW BEST:: SOT 92790 SOS 43339 HAS SOPS 43339 HAS SOUS 27158 HAS SOUPS 27158 WITH SCORE 27201.339
AT ITER 1193 NEW BEST:: SOT 92790 SOS 43339 HAS SOPS 43339 HAS SOUS 27157 HAS SOUPS 27157 WITH SCORE 27200.339
AT ITER 1198 NEW BEST:: SOT 92573 SOS 43122 HAS SOPS 43122 HAS SOUS 26910 HAS SOUPS 26910 WITH SCORE 26953.122
AT ITER 1204 NEW BEST:: SOT 92542 SOS 43060 HAS SOPS 43060 HAS SOUS 26892 HAS SOUPS 26892 WITH SCORE 26935.06
AT ITER 1206 NEW BEST:: SOT 92567 SOS 43072 HAS SOPS 43072 HAS SOUS 26888 HAS SOUPS 26888 WITH SCORE 26931.072
AT ITER 1207 NEW BEST:: SOT 92552 SOS 43027 HAS SOPS 43027 HAS SOUS 26858 HAS SOUPS 26858 WITH SCORE 26901.027
AT ITER 1212 NEW BEST:: SOT 92491 SOS 42960 HAS SOPS 42960 HAS SOUS 26805 HAS SOUPS 26805 WITH SCORE 26847.96
AT ITER 1219 NEW BEST:: SOT 92480 SOS 42949 HAS SOPS 42949 HAS SOUS 26793 HAS SOUPS 26793 WITH SCORE 26835.949
AT ITER 1225 NEW BEST:: SOT 92463 SOS 42905 HAS SOPS 42905 HAS SOUS 26749 HAS SOUPS 26749 WITH SCORE 26791.905
AT ITER 1242 NEW BEST:: SOT 92442 SOS 42811 HAS SOPS 42811 HAS SOUS 26707 HAS SOUPS 26707 WITH SCORE 26749.811
AT ITER 1272 NEW BEST:: SOT 92280 SOS 42707 HAS SOPS 42707 HAS SOUS 26681 HAS SOUPS 26681 WITH SCORE 26723.707
AT ITER 1291 NEW BEST:: SOT 92330 SOS 42704 HAS SOPS 42704 HAS SOUS 26621 HAS SOUPS 26621 WITH SCORE 26663.704
AT ITER 1304 NEW BEST:: SOT 92294 SOS 42707 HAS SOPS 42707 HAS SOUS 26585 HAS SOUPS 26585 WITH SCORE 26627.707
AT ITER 1310 NEW BEST:: SOT 92293 SOS 42660 HAS SOPS 42660 HAS SOUS 26583 HAS SOUPS 26583 WITH SCORE 26625.66
AT ITER 1314 NEW BEST:: SOT 92225 SOS 42531 HAS SOPS 42531 HAS SOUS 26447 HAS SOUPS 26447 WITH SCORE 26489.531
AT ITER 1322 NEW BEST:: SOT 92195 SOS 42553 HAS SOPS 42553 HAS SOUS 26421 HAS SOUPS 26421 WITH SCORE 26463.553
AT ITER 1327 NEW BEST:: SOT 92074 SOS 42335 HAS SOPS 42335 HAS SOUS 26403 HAS SOUPS 26403 WITH SCORE 26445.335
AT ITER 1341 NEW BEST:: SOT 92021 SOS 42229 HAS SOPS 42229 HAS SOUS 26297 HAS SOUPS 26297 WITH SCORE 26339.229
AT ITER 1353 NEW BEST:: SOT 91980 SOS 42193 HAS SOPS 42193 HAS SOUS 26261 HAS SOUPS 26261 WITH SCORE 26303.193
AT ITER 1358 NEW BEST:: SOT 92055 SOS 42190 HAS SOPS 42190 HAS SOUS 26258 HAS SOUPS 26258 WITH SCORE 26300.19
AT ITER 1360 NEW BEST:: SOT 92019 SOS 42123 HAS SOPS 42123 HAS SOUS 26196 HAS SOUPS 26196 WITH SCORE 26238.123
AT ITER 1367 NEW BEST:: SOT 91975 SOS 42086 HAS SOPS 42086 HAS SOUS 26159 HAS SOUPS 26159 WITH SCORE 26201.086
AT ITER 1375 NEW BEST:: SOT 91912 SOS 41960 HAS SOPS 41960 HAS SOUS 26025 HAS SOUPS 26025 WITH SCORE 26066.96
AT ITER 1385 NEW BEST:: SOT 91936 SOS 41938 HAS SOPS 41938 HAS SOUS 26013 HAS SOUPS 26013 WITH SCORE 26054.938
AT ITER 1402 NEW BEST:: SOT 91936 SOS 41948 HAS SOPS 41948 HAS SOUS 26011 HAS SOUPS 26011 WITH SCORE 26052.948
AT ITER 1407 NEW BEST:: SOT 91932 SOS 41940 HAS SOPS 41940 HAS SOUS 26003 HAS SOUPS 26003 WITH SCORE 26044.94
AT ITER 1408 NEW BEST:: SOT 91324 SOS 41294 HAS SOPS 41294 HAS SOUS 25463 HAS SOUPS 25463 WITH SCORE 25504.294
AT ITER 1409 NEW BEST:: SOT 91287 SOS 41296 HAS SOPS 41296 HAS SOUS 25406 HAS SOUPS 25406 WITH SCORE 25447.296
AT ITER 1413 NEW BEST:: SOT 91287 SOS 41249 HAS SOPS 41249 HAS SOUS 25359 HAS SOUPS 25359 WITH SCORE 25400.249
AT ITER 1415 NEW BEST:: SOT 91202 SOS 41116 HAS SOPS 41116 HAS SOUS 25303 HAS SOUPS 25303 WITH SCORE 25344.116
AT ITER 1450 NEW BEST:: SOT 91108 SOS 40914 HAS SOPS 40914 HAS SOUS 25164 HAS SOUPS 25164 WITH SCORE 25204.914
AT ITER 1466 NEW BEST:: SOT 91099 SOS 40905 HAS SOPS 40905 HAS SOUS 25155 HAS SOUPS 25155 WITH SCORE 25195.905
AT ITER 1472 NEW BEST:: SOT 90621 SOS 41283 HAS SOPS 41283 HAS SOUS 24762 HAS SOUPS 24762 WITH SCORE 24803.283
AT ITER 1479 NEW BEST:: SOT 90556 SOS 41177 HAS SOPS 41177 HAS SOUS 24656 HAS SOUPS 24656 WITH SCORE 24697.177
AT ITER 1485 NEW BEST:: SOT 90547 SOS 41154 HAS SOPS 41154 HAS SOUS 24638 HAS SOUPS 24638 WITH SCORE 24679.154
AT ITER 1498 NEW BEST:: SOT 90546 SOS 41129 HAS SOPS 41129 HAS SOUS 24612 HAS SOUPS 24612 WITH SCORE 24653.129
AT ITER 1532 NEW BEST:: SOT 90457 SOS 41107 HAS SOPS 41107 HAS SOUS 24434 HAS SOUPS 24434 WITH SCORE 24475.107
AT ITER 1543 NEW BEST:: SOT 90438 SOS 41088 HAS SOPS 41088 HAS SOUS 24422 HAS SOUPS 24422 WITH SCORE 24463.088
AT ITER 1546 NEW BEST:: SOT 90433 SOS 41078 HAS SOPS 41078 HAS SOUS 24417 HAS SOUPS 24417 WITH SCORE 24458.078
AT ITER 1560 NEW BEST:: SOT 90418 SOS 41055 HAS SOPS 41055 HAS SOUS 24388 HAS SOUPS 24388 WITH SCORE 24429.055
AT ITER 1576 NEW BEST:: SOT 90430 SOS 41055 HAS SOPS 41055 HAS SOUS 24376 HAS SOUPS 24376 WITH SCORE 24417.055
AT ITER 1581 NEW BEST:: SOT 90317 SOS 40829 HAS SOPS 40829 HAS SOUS 24150 HAS SOUPS 24150 WITH SCORE 24190.829
AT ITER 1584 NEW BEST:: SOT 90291 SOS 40809 HAS SOPS 40809 HAS SOUS 24115 HAS SOUPS 24115 WITH SCORE 24155.809
AT ITER 1600 NEW BEST:: SOT 90301 SOS 40819 HAS SOPS 40819 HAS SOUS 24071 HAS SOUPS 24071 WITH SCORE 24111.819
AT ITER 1616 NEW BEST:: SOT 90262 SOS 40741 HAS SOPS 40741 HAS SOUS 24013 HAS SOUPS 24013 WITH SCORE 24053.741
AT ITER 1644 NEW BEST:: SOT 90262 SOS 40741 HAS SOPS 40741 HAS SOUS 24009 HAS SOUPS 24009 WITH SCORE 24049.741
AT ITER 1652 NEW BEST:: SOT 90258 SOS 40718 HAS SOPS 40718 HAS SOUS 23946 HAS SOUPS 23946 WITH SCORE 23986.718
AT ITER 1656 NEW BEST:: SOT 90254 SOS 40710 HAS SOPS 40710 HAS SOUS 23938 HAS SOUPS 23938 WITH SCORE 23978.71
AT ITER 1662 NEW BEST:: SOT 90250 SOS 40706 HAS SOPS 40706 HAS SOUS 23930 HAS SOUPS 23930 WITH SCORE 23970.706
AT ITER 1685 NEW BEST:: SOT 90248 SOS 40703 HAS SOPS 40703 HAS SOUS 23926 HAS SOUPS 23926 WITH SCORE 23966.703
AT ITER 1686 NEW BEST:: SOT 90241 SOS 40689 HAS SOPS 40689 HAS SOUS 23912 HAS SOUPS 23912 WITH SCORE 23952.689
AT ITER 1700 NEW BEST:: SOT 90230 SOS 40667 HAS SOPS 40667 HAS SOUS 23883 HAS SOUPS 23883 WITH SCORE 23923.667
AT ITER 1709 NEW BEST:: SOT 90181 SOS 40519 HAS SOPS 40519 HAS SOUS 23735 HAS SOUPS 23735 WITH SCORE 23775.519
AT ITER 1734 NEW BEST:: SOT 90070 SOS 40391 HAS SOPS 40391 HAS SOUS 23607 HAS SOUPS 23607 WITH SCORE 23647.391
AT ITER 1735 NEW BEST:: SOT 90070 SOS 40353 HAS SOPS 40353 HAS SOUS 23607 HAS SOUPS 23607 WITH SCORE 23647.353
AT ITER 1738 NEW BEST:: SOT 90068 SOS 40351 HAS SOPS 40351 HAS SOUS 23605 HAS SOUPS 23605 WITH SCORE 23645.351
AT ITER 1741 NEW BEST:: SOT 90060 SOS 40335 HAS SOPS 40335 HAS SOUS 23597 HAS SOUPS 23597 WITH SCORE 23637.335
AT ITER 1760 NEW BEST:: SOT 90057 SOS 40329 HAS SOPS 40329 HAS SOUS 23591 HAS SOUPS 23591 WITH SCORE 23631.329
AT ITER 1764 NEW BEST:: SOT 90056 SOS 40327 HAS SOPS 40327 HAS SOUS 23589 HAS SOUPS 23589 WITH SCORE 23629.327
AT ITER 1771 NEW BEST:: SOT 90038 SOS 40245 HAS SOPS 40245 HAS SOUS 23553 HAS SOUPS 23553 WITH SCORE 23593.245
AT ITER 1791 NEW BEST:: SOT 90030 SOS 40225 HAS SOPS 40225 HAS SOUS 23533 HAS SOUPS 23533 WITH SCORE 23573.225
AT ITER 1797 NEW BEST:: SOT 90023 SOS 40218 HAS SOPS 40218 HAS SOUS 23524 HAS SOUPS 23524 WITH SCORE 23564.218
AT ITER 1801 NEW BEST:: SOT 90004 SOS 40278 HAS SOPS 40278 HAS SOUS 23486 HAS SOUPS 23486 WITH SCORE 23526.278
AT ITER 1804 NEW BEST:: SOT 89997 SOS 40271 HAS SOPS 40271 HAS SOUS 23479 HAS SOUPS 23479 WITH SCORE 23519.271
AT ITER 1829 NEW BEST:: SOT 89956 SOS 40189 HAS SOPS 40189 HAS SOUS 23397 HAS SOUPS 23397 WITH SCORE 23437.189
AT ITER 1844 NEW BEST:: SOT 89953 SOS 40121 HAS SOPS 40121 HAS SOUS 23394 HAS SOUPS 23394 WITH SCORE 23434.121
AT ITER 1846 NEW BEST:: SOT 89957 SOS 40122 HAS SOPS 40122 HAS SOUS 23367 HAS SOUPS 23367 WITH SCORE 23407.122
AT ITER 1851 NEW BEST:: SOT 89955 SOS 40118 HAS SOPS 40118 HAS SOUS 23363 HAS SOUPS 23363 WITH SCORE 23403.118
AT ITER 1889 NEW BEST:: SOT 89937 SOS 40082 HAS SOPS 40082 HAS SOUS 23327 HAS SOUPS 23327 WITH SCORE 23367.082
AT ITER 1898 NEW BEST:: SOT 89937 SOS 39818 HAS SOPS 39818 HAS SOUS 23327 HAS SOUPS 23327 WITH SCORE 23366.818
AT ITER 1929 NEW BEST:: SOT 89922 SOS 39803 HAS SOPS 39803 HAS SOUS 23297 HAS SOUPS 23297 WITH SCORE 23336.803
AT ITER 1934 NEW BEST:: SOT 89913 SOS 39785 HAS SOPS 39785 HAS SOUS 23279 HAS SOUPS 23279 WITH SCORE 23318.785
AT ITER 1942 NEW BEST:: SOT 89912 SOS 39784 HAS SOPS 39784 HAS SOUS 23277 HAS SOUPS 23277 WITH SCORE 23316.784
AT ITER 1946 NEW BEST:: SOT 89898 SOS 39755 HAS SOPS 39755 HAS SOUS 23249 HAS SOUPS 23249 WITH SCORE 23288.755
AT ITER 1954 NEW BEST:: SOT 89898 SOS 39742 HAS SOPS 39742 HAS SOUS 23249 HAS SOUPS 23249 WITH SCORE 23288.742
AT ITER 1978 NEW BEST:: SOT 89855 SOS 39737 HAS SOPS 39737 HAS SOUS 23244 HAS SOUPS 23244 WITH SCORE 23283.737
AT ITER 1991 NEW BEST:: SOT 89865 SOS 39672 HAS SOPS 39672 HAS SOUS 23229 HAS SOUPS 23229 WITH SCORE 23268.672
AT ITER 1996 NEW BEST:: SOT 89864 SOS 39670 HAS SOPS 39670 HAS SOUS 23227 HAS SOUPS 23227 WITH SCORE 23266.67
AT ITER 2006 NEW BEST:: SOT 89863 SOS 39668 HAS SOPS 39668 HAS SOUS 23225 HAS SOUPS 23225 WITH SCORE 23264.668
AT ITER 2013 NEW BEST:: SOT 89865 SOS 39660 HAS SOPS 39660 HAS SOUS 23215 HAS SOUPS 23215 WITH SCORE 23254.66
AT ITER 2026 NEW BEST:: SOT 89865 SOS 39654 HAS SOPS 39654 HAS SOUS 23203 HAS SOUPS 23203 WITH SCORE 23242.654
AT ITER 2033 NEW BEST:: SOT 89861 SOS 39646 HAS SOPS 39646 HAS SOUS 23199 HAS SOUPS 23199 WITH SCORE 23238.646
AT ITER 2058 NEW BEST:: SOT 89844 SOS 39629 HAS SOPS 39629 HAS SOUS 23146 HAS SOUPS 23146 WITH SCORE 23185.629
AT ITER 2063 NEW BEST:: SOT 89785 SOS 39570 HAS SOPS 39570 HAS SOUS 23028 HAS SOUPS 23028 WITH SCORE 23067.57
AT ITER 2065 NEW BEST:: SOT 89766 SOS 39587 HAS SOPS 39587 HAS SOUS 23012 HAS SOUPS 23012 WITH SCORE 23051.587
AT ITER 2079 NEW BEST:: SOT 89607 SOS 39298 HAS SOPS 39298 HAS SOUS 22824 HAS SOUPS 22824 WITH SCORE 22863.298
AT ITER 2082 NEW BEST:: SOT 89606 SOS 39296 HAS SOPS 39296 HAS SOUS 22822 HAS SOUPS 22822 WITH SCORE 22861.296
AT ITER 2100 NEW BEST:: SOT 89715 SOS 39286 HAS SOPS 39286 HAS SOUS 22812 HAS SOUPS 22812 WITH SCORE 22851.286
AT ITER 2133 NEW BEST:: SOT 89715 SOS 39181 HAS SOPS 39181 HAS SOUS 22761 HAS SOUPS 22761 WITH SCORE 22800.181
AT ITER 2136 NEW BEST:: SOT 89715 SOS 39179 HAS SOPS 39179 HAS SOUS 22759 HAS SOUPS 22759 WITH SCORE 22798.179
AT ITER 2137 NEW BEST:: SOT 89647 SOS 39043 HAS SOPS 39043 HAS SOUS 22657 HAS SOUPS 22657 WITH SCORE 22696.043
AT ITER 2138 NEW BEST:: SOT 89624 SOS 38997 HAS SOPS 38997 HAS SOUS 22619 HAS SOUPS 22619 WITH SCORE 22657.997
AT ITER 2156 NEW BEST:: SOT 89603 SOS 38969 HAS SOPS 38969 HAS SOUS 22584 HAS SOUPS 22584 WITH SCORE 22622.969
AT ITER 2166 NEW BEST:: SOT 89638 SOS 38966 HAS SOPS 38966 HAS SOUS 22581 HAS SOUPS 22581 WITH SCORE 22619.966
AT ITER 2177 NEW BEST:: SOT 89595 SOS 38923 HAS SOPS 38923 HAS SOUS 22569 HAS SOUPS 22569 WITH SCORE 22607.923
AT ITER 2178 NEW BEST:: SOT 89563 SOS 38859 HAS SOPS 38859 HAS SOUS 22456 HAS SOUPS 22456 WITH SCORE 22494.859
AT ITER 2188 NEW BEST:: SOT 89579 SOS 38819 HAS SOPS 38819 HAS SOUS 22433 HAS SOUPS 22433 WITH SCORE 22471.819
AT ITER 2192 NEW BEST:: SOT 89562 SOS 38785 HAS SOPS 38785 HAS SOUS 22399 HAS SOUPS 22399 WITH SCORE 22437.785
AT ITER 2196 NEW BEST:: SOT 89542 SOS 38771 HAS SOPS 38771 HAS SOUS 22353 HAS SOUPS 22353 WITH SCORE 22391.771
AT ITER 2200 NEW BEST:: SOT 89530 SOS 38759 HAS SOPS 38759 HAS SOUS 22342 HAS SOUPS 22342 WITH SCORE 22380.759
AT ITER 2209 NEW BEST:: SOT 89520 SOS 38739 HAS SOPS 38739 HAS SOUS 22332 HAS SOUPS 22332 WITH SCORE 22370.739
AT ITER 2211 NEW BEST:: SOT 89508 SOS 38715 HAS SOPS 38715 HAS SOUS 22308 HAS SOUPS 22308 WITH SCORE 22346.715
AT ITER 2213 NEW BEST:: SOT 89499 SOS 38655 HAS SOPS 38655 HAS SOUS 22271 HAS SOUPS 22271 WITH SCORE 22309.655
AT ITER 2253 NEW BEST:: SOT 89490 SOS 38637 HAS SOPS 38637 HAS SOUS 22253 HAS SOUPS 22253 WITH SCORE 22291.637
AT ITER 2256 NEW BEST:: SOT 89289 SOS 38409 HAS SOPS 38409 HAS SOUS 22103 HAS SOUPS 22103 WITH SCORE 22141.409
AT ITER 2260 NEW BEST:: SOT 89260 SOS 38400 HAS SOPS 38400 HAS SOUS 22094 HAS SOUPS 22094 WITH SCORE 22132.4
AT ITER 2262 NEW BEST:: SOT 89257 SOS 38391 HAS SOPS 38391 HAS SOUS 22088 HAS SOUPS 22088 WITH SCORE 22126.391
AT ITER 2270 NEW BEST:: SOT 89238 SOS 38373 HAS SOPS 38373 HAS SOUS 22088 HAS SOUPS 22088 WITH SCORE 22126.373
AT ITER 2280 NEW BEST:: SOT 89233 SOS 38373 HAS SOPS 38373 HAS SOUS 22083 HAS SOUPS 22083 WITH SCORE 22121.373
AT ITER 2310 NEW BEST:: SOT 89215 SOS 38337 HAS SOPS 38337 HAS SOUS 22065 HAS SOUPS 22065 WITH SCORE 22103.337
AT ITER 2317 NEW BEST:: SOT 89271 SOS 38422 HAS SOPS 38422 HAS SOUS 22064 HAS SOUPS 22064 WITH SCORE 22102.422
AT ITER 2322 NEW BEST:: SOT 89176 SOS 38232 HAS SOPS 38232 HAS SOUS 21874 HAS SOUPS 21874 WITH SCORE 21912.232
AT ITER 2366 NEW BEST:: SOT 89215 SOS 38263 HAS SOPS 38263 HAS SOUS 21867 HAS SOUPS 21867 WITH SCORE 21905.263
AT ITER 2382 NEW BEST:: SOT 89207 SOS 38255 HAS SOPS 38255 HAS SOUS 21846 HAS SOUPS 21846 WITH SCORE 21884.255
AT ITER 2386 NEW BEST:: SOT 89206 SOS 38254 HAS SOPS 38254 HAS SOUS 21844 HAS SOUPS 21844 WITH SCORE 21882.254
AT ITER 2392 NEW BEST:: SOT 89203 SOS 38251 HAS SOPS 38251 HAS SOUS 21838 HAS SOUPS 21838 WITH SCORE 21876.251
AT ITER 2400 NEW BEST:: SOT 89202 SOS 38249 HAS SOPS 38249 HAS SOUS 21836 HAS SOUPS 21836 WITH SCORE 21874.249
AT ITER 2448 NEW BEST:: SOT 89210 SOS 38265 HAS SOPS 38265 HAS SOUS 21835 HAS SOUPS 21835 WITH SCORE 21873.265
AT ITER 2454 NEW BEST:: SOT 89189 SOS 38244 HAS SOPS 38244 HAS SOUS 21827 HAS SOUPS 21827 WITH SCORE 21865.244
AT ITER 2467 NEW BEST:: SOT 89150 SOS 38112 HAS SOPS 38112 HAS SOUS 21735 HAS SOUPS 21735 WITH SCORE 21773.112
AT ITER 2515 NEW BEST:: SOT 89094 SOS 38048 HAS SOPS 38048 HAS SOUS 21671 HAS SOUPS 21671 WITH SCORE 21709.048
AT ITER 2524 NEW BEST:: SOT 89081 SOS 38002 HAS SOPS 38002 HAS SOUS 21645 HAS SOUPS 21645 WITH SCORE 21683.002
AT ITER 2527 NEW BEST:: SOT 89077 SOS 37955 HAS SOPS 37955 HAS SOUS 21633 HAS SOUPS 21633 WITH SCORE 21670.955
AT ITER 2549 NEW BEST:: SOT 89071 SOS 37941 HAS SOPS 37941 HAS SOUS 21621 HAS SOUPS 21621 WITH SCORE 21658.941
AT ITER 2557 NEW BEST:: SOT 89065 SOS 37929 HAS SOPS 37929 HAS SOUS 21609 HAS SOUPS 21609 WITH SCORE 21646.929
AT ITER 2572 NEW BEST:: SOT 89031 SOS 37903 HAS SOPS 37903 HAS SOUS 21599 HAS SOUPS 21599 WITH SCORE 21636.903
AT ITER 2588 NEW BEST:: SOT 89041 SOS 37902 HAS SOPS 37902 HAS SOUS 21598 HAS SOUPS 21598 WITH SCORE 21635.902
AT ITER 2609 NEW BEST:: SOT 89041 SOS 37840 HAS SOPS 37840 HAS SOUS 21598 HAS SOUPS 21598 WITH SCORE 21635.84
AT ITER 2673 NEW BEST:: SOT 89020 SOS 37798 HAS SOPS 37798 HAS SOUS 21532 HAS SOUPS 21532 WITH SCORE 21569.798
AT ITER 2684 NEW BEST:: SOT 88955 SOS 37736 HAS SOPS 37736 HAS SOUS 21344 HAS SOUPS 21344 WITH SCORE 21381.736
AT ITER 2711 NEW BEST:: SOT 88941 SOS 37708 HAS SOPS 37708 HAS SOUS 21316 HAS SOUPS 21316 WITH SCORE 21353.708
AT ITER 2715 NEW BEST:: SOT 88928 SOS 37695 HAS SOPS 37695 HAS SOUS 21303 HAS SOUPS 21303 WITH SCORE 21340.695
AT ITER 2719 NEW BEST:: SOT 88928 SOS 37688 HAS SOPS 37688 HAS SOUS 21303 HAS SOUPS 21303 WITH SCORE 21340.688
AT ITER 2720 NEW BEST:: SOT 88933 SOS 37669 HAS SOPS 37669 HAS SOUS 21289 HAS SOUPS 21289 WITH SCORE 21326.669
AT ITER 2740 NEW BEST:: SOT 88931 SOS 37665 HAS SOPS 37665 HAS SOUS 21287 HAS SOUPS 21287 WITH SCORE 21324.665
AT ITER 2759 NEW BEST:: SOT 88918 SOS 37595 HAS SOPS 37595 HAS SOUS 21191 HAS SOUPS 21191 WITH SCORE 21228.595
AT ITER 2786 NEW BEST:: SOT 88901 SOS 37561 HAS SOPS 37561 HAS SOUS 21159 HAS SOUPS 21159 WITH SCORE 21196.561
AT ITER 2795 NEW BEST:: SOT 88873 SOS 37533 HAS SOPS 37533 HAS SOUS 21131 HAS SOUPS 21131 WITH SCORE 21168.533
AT ITER 2802 NEW BEST:: SOT 88775 SOS 37435 HAS SOPS 37435 HAS SOUS 21131 HAS SOUPS 21131 WITH SCORE 21168.435
AT ITER 2804 NEW BEST:: SOT 88721 SOS 37434 HAS SOPS 37434 HAS SOUS 21130 HAS SOUPS 21130 WITH SCORE 21167.434
AT ITER 2808 NEW BEST:: SOT 88751 SOS 37459 HAS SOPS 37459 HAS SOUS 21125 HAS SOUPS 21125 WITH SCORE 21162.459
AT ITER 2810 NEW BEST:: SOT 88752 SOS 37438 HAS SOPS 37438 HAS SOUS 21104 HAS SOUPS 21104 WITH SCORE 21141.438
AT ITER 2812 NEW BEST:: SOT 88723 SOS 37380 HAS SOPS 37380 HAS SOUS 21075 HAS SOUPS 21075 WITH SCORE 21112.38
AT ITER 2838 NEW BEST:: SOT 88673 SOS 37231 HAS SOPS 37231 HAS SOUS 21024 HAS SOUPS 21024 WITH SCORE 21061.231
AT ITER 2843 NEW BEST:: SOT 88624 SOS 37179 HAS SOPS 37179 HAS SOUS 20889 HAS SOUPS 20889 WITH SCORE 20926.179
AT ITER 2857 NEW BEST:: SOT 88521 SOS 37081 HAS SOPS 37081 HAS SOUS 20791 HAS SOUPS 20791 WITH SCORE 20828.081
AT ITER 2860 NEW BEST:: SOT 88516 SOS 37076 HAS SOPS 37076 HAS SOUS 20786 HAS SOUPS 20786 WITH SCORE 20823.076
AT ITER 2869 NEW BEST:: SOT 88494 SOS 37087 HAS SOPS 37087 HAS SOUS 20742 HAS SOUPS 20742 WITH SCORE 20779.087
AT ITER 2886 NEW BEST:: SOT 88485 SOS 37069 HAS SOPS 37069 HAS SOUS 20724 HAS SOUPS 20724 WITH SCORE 20761.069
AT ITER 2904 NEW BEST:: SOT 88485 SOS 37010 HAS SOPS 37010 HAS SOUS 20724 HAS SOUPS 20724 WITH SCORE 20761.01
AT ITER 2915 NEW BEST:: SOT 88465 SOS 36970 HAS SOPS 36970 HAS SOUS 20684 HAS SOUPS 20684 WITH SCORE 20720.97
AT ITER 2916 NEW BEST:: SOT 88453 SOS 36946 HAS SOPS 36946 HAS SOUS 20660 HAS SOUPS 20660 WITH SCORE 20696.946
AT ITER 2941 NEW BEST:: SOT 88447 SOS 36934 HAS SOPS 36934 HAS SOUS 20654 HAS SOUPS 20654 WITH SCORE 20690.934
AT ITER 2947 NEW BEST:: SOT 88351 SOS 36777 HAS SOPS 36777 HAS SOUS 20627 HAS SOUPS 20627 WITH SCORE 20663.777
AT ITER 2953 NEW BEST:: SOT 88341 SOS 36747 HAS SOPS 36747 HAS SOUS 20607 HAS SOUPS 20607 WITH SCORE 20643.747
AT ITER 2959 NEW BEST:: SOT 88340 SOS 36746 HAS SOPS 36746 HAS SOUS 20605 HAS SOUPS 20605 WITH SCORE 20641.746
AT ITER 2968 NEW BEST:: SOT 88283 SOS 36632 HAS SOPS 36632 HAS SOUS 20561 HAS SOUPS 20561 WITH SCORE 20597.632
AT ITER 2974 NEW BEST:: SOT 88277 SOS 36620 HAS SOPS 36620 HAS SOUS 20555 HAS SOUPS 20555 WITH SCORE 20591.62
AT ITER 3003 NEW BEST:: SOT 88241 SOS 36491 HAS SOPS 36491 HAS SOUS 20462 HAS SOUPS 20462 WITH SCORE 20498.491
AT ITER 3020 NEW BEST:: SOT 88237 SOS 36482 HAS SOPS 36482 HAS SOUS 20454 HAS SOUPS 20454 WITH SCORE 20490.482
AT ITER 3026 NEW BEST:: SOT 88231 SOS 36476 HAS SOPS 36476 HAS SOUS 20442 HAS SOUPS 20442 WITH SCORE 20478.476
AT ITER 3032 NEW BEST:: SOT 88174 SOS 36362 HAS SOPS 36362 HAS SOUS 20317 HAS SOUPS 20317 WITH SCORE 20353.362
AT ITER 3072 NEW BEST:: SOT 88216 SOS 36355 HAS SOPS 36355 HAS SOUS 20310 HAS SOUPS 20310 WITH SCORE 20346.355
AT ITER 3133 NEW BEST:: SOT 88129 SOS 36320 HAS SOPS 36320 HAS SOUS 20296 HAS SOUPS 20296 WITH SCORE 20332.32
AT ITER 3137 NEW BEST:: SOT 88125 SOS 36316 HAS SOPS 36316 HAS SOUS 20292 HAS SOUPS 20292 WITH SCORE 20328.316
AT ITER 3182 NEW BEST:: SOT 88115 SOS 36183 HAS SOPS 36183 HAS SOUS 20273 HAS SOUPS 20273 WITH SCORE 20309.183
AT ITER 3183 NEW BEST:: SOT 88112 SOS 36177 HAS SOPS 36177 HAS SOUS 20267 HAS SOUPS 20267 WITH SCORE 20303.177
AT ITER 3209 NEW BEST:: SOT 88112 SOS 36171 HAS SOPS 36171 HAS SOUS 20267 HAS SOUPS 20267 WITH SCORE 20303.171
AT ITER 3213 NEW BEST:: SOT 88091 SOS 36145 HAS SOPS 36145 HAS SOUS 20257 HAS SOUPS 20257 WITH SCORE 20293.145
AT ITER 3220 NEW BEST:: SOT 88085 SOS 36139 HAS SOPS 36139 HAS SOUS 20245 HAS SOUPS 20245 WITH SCORE 20281.139
AT ITER 3241 NEW BEST:: SOT 87973 SOS 36029 HAS SOPS 36029 HAS SOUS 20135 HAS SOUPS 20135 WITH SCORE 20171.029
AT ITER 3246 NEW BEST:: SOT 87973 SOS 36009 HAS SOPS 36009 HAS SOUS 20135 HAS SOUPS 20135 WITH SCORE 20171.009
AT ITER 3247 NEW BEST:: SOT 87913 SOS 35929 HAS SOPS 35929 HAS SOUS 20040 HAS SOUPS 20040 WITH SCORE 20075.929
AT ITER 3254 NEW BEST:: SOT 87913 SOS 35929 HAS SOPS 35929 HAS SOUS 20037 HAS SOUPS 20037 WITH SCORE 20072.929
AT ITER 3257 NEW BEST:: SOT 87913 SOS 35911 HAS SOPS 35911 HAS SOUS 20037 HAS SOUPS 20037 WITH SCORE 20072.911
AT ITER 3261 NEW BEST:: SOT 87878 SOS 35841 HAS SOPS 35841 HAS SOUS 19967 HAS SOUPS 19967 WITH SCORE 20002.841
AT ITER 3269 NEW BEST:: SOT 87878 SOS 35832 HAS SOPS 35832 HAS SOUS 19958 HAS SOUPS 19958 WITH SCORE 19993.832
AT ITER 3297 NEW BEST:: SOT 87886 SOS 35824 HAS SOPS 35824 HAS SOUS 19952 HAS SOUPS 19952 WITH SCORE 19987.824
AT ITER 3298 NEW BEST:: SOT 87848 SOS 35748 HAS SOPS 35748 HAS SOUS 19869 HAS SOUPS 19869 WITH SCORE 19904.748
AT ITER 3354 NEW BEST:: SOT 87819 SOS 35719 HAS SOPS 35719 HAS SOUS 19869 HAS SOUPS 19869 WITH SCORE 19904.719
AT ITER 3364 NEW BEST:: SOT 87790 SOS 35576 HAS SOPS 35576 HAS SOUS 19798 HAS SOUPS 19798 WITH SCORE 19833.576
AT ITER 3367 NEW BEST:: SOT 87774 SOS 35629 HAS SOPS 35629 HAS SOUS 19790 HAS SOUPS 19790 WITH SCORE 19825.629
AT ITER 3377 NEW BEST:: SOT 87784 SOS 35608 HAS SOPS 35608 HAS SOUS 19736 HAS SOUPS 19736 WITH SCORE 19771.608
AT ITER 3385 NEW BEST:: SOT 87779 SOS 35598 HAS SOPS 35598 HAS SOUS 19726 HAS SOUPS 19726 WITH SCORE 19761.598
AT ITER 3399 NEW BEST:: SOT 87791 SOS 35610 HAS SOPS 35610 HAS SOUS 19717 HAS SOUPS 19717 WITH SCORE 19752.61
AT ITER 3402 NEW BEST:: SOT 87769 SOS 35612 HAS SOPS 35612 HAS SOUS 19673 HAS SOUPS 19673 WITH SCORE 19708.612
AT ITER 3406 NEW BEST:: SOT 87763 SOS 35606 HAS SOPS 35606 HAS SOUS 19667 HAS SOUPS 19667 WITH SCORE 19702.606
AT ITER 3452 NEW BEST:: SOT 87758 SOS 35601 HAS SOPS 35601 HAS SOUS 19657 HAS SOUPS 19657 WITH SCORE 19692.601
AT ITER 3456 NEW BEST:: SOT 87765 SOS 35615 HAS SOPS 35615 HAS SOUS 19640 HAS SOUPS 19640 WITH SCORE 19675.615
AT ITER 3482 NEW BEST:: SOT 87765 SOS 35603 HAS SOPS 35603 HAS SOUS 19628 HAS SOUPS 19628 WITH SCORE 19663.603
AT ITER 3488 NEW BEST:: SOT 87767 SOS 35595 HAS SOPS 35595 HAS SOUS 19601 HAS SOUPS 19601 WITH SCORE 19636.595
AT ITER 3497 NEW BEST:: SOT 87766 SOS 35594 HAS SOPS 35594 HAS SOUS 19599 HAS SOUPS 19599 WITH SCORE 19634.594
AT ITER 3514 NEW BEST:: SOT 87761 SOS 35589 HAS SOPS 35589 HAS SOUS 19592 HAS SOUPS 19592 WITH SCORE 19627.589
AT ITER 3538 NEW BEST:: SOT 87760 SOS 35564 HAS SOPS 35564 HAS SOUS 19590 HAS SOUPS 19590 WITH SCORE 19625.564
AT ITER 3541 NEW BEST:: SOT 87732 SOS 35536 HAS SOPS 35536 HAS SOUS 19562 HAS SOUPS 19562 WITH SCORE 19597.536
AT ITER 3562 NEW BEST:: SOT 87729 SOS 35533 HAS SOPS 35533 HAS SOUS 19559 HAS SOUPS 19559 WITH SCORE 19594.533
AT ITER 3589 NEW BEST:: SOT 87763 SOS 35399 HAS SOPS 35399 HAS SOUS 19507 HAS SOUPS 19507 WITH SCORE 19542.399
AT ITER 3594 NEW BEST:: SOT 87763 SOS 35385 HAS SOPS 35385 HAS SOUS 19493 HAS SOUPS 19493 WITH SCORE 19528.385
AT ITER 3595 NEW BEST:: SOT 87757 SOS 35379 HAS SOPS 35379 HAS SOUS 19487 HAS SOUPS 19487 WITH SCORE 19522.379
AT ITER 3596 NEW BEST:: SOT 87747 SOS 35359 HAS SOPS 35359 HAS SOUS 19477 HAS SOUPS 19477 WITH SCORE 19512.359
AT ITER 3600 NEW BEST:: SOT 87742 SOS 35345 HAS SOPS 35345 HAS SOUS 19462 HAS SOUPS 19462 WITH SCORE 19497.345
AT ITER 3601 NEW BEST:: SOT 87742 SOS 35291 HAS SOPS 35291 HAS SOUS 19435 HAS SOUPS 19435 WITH SCORE 19470.291
AT ITER 3606 NEW BEST:: SOT 87742 SOS 35280 HAS SOPS 35280 HAS SOUS 19424 HAS SOUPS 19424 WITH SCORE 19459.28
AT ITER 3610 NEW BEST:: SOT 87707 SOS 35248 HAS SOPS 35248 HAS SOUS 19394 HAS SOUPS 19394 WITH SCORE 19429.248
AT ITER 3635 NEW BEST:: SOT 87696 SOS 35240 HAS SOPS 35240 HAS SOUS 19386 HAS SOUPS 19386 WITH SCORE 19421.24
AT ITER 3641 NEW BEST:: SOT 87655 SOS 35158 HAS SOPS 35158 HAS SOUS 19295 HAS SOUPS 19295 WITH SCORE 19330.158
AT ITER 3648 NEW BEST:: SOT 87648 SOS 35144 HAS SOPS 35144 HAS SOUS 19281 HAS SOUPS 19281 WITH SCORE 19316.144
AT ITER 3653 NEW BEST:: SOT 87603 SOS 35099 HAS SOPS 35099 HAS SOUS 19236 HAS SOUPS 19236 WITH SCORE 19271.099
AT ITER 3695 NEW BEST:: SOT 87602 SOS 35103 HAS SOPS 35103 HAS SOUS 19235 HAS SOUPS 19235 WITH SCORE 19270.103
AT ITER 3708 NEW BEST:: SOT 87598 SOS 35097 HAS SOPS 35097 HAS SOUS 19229 HAS SOUPS 19229 WITH SCORE 19264.097
AT ITER 3755 NEW BEST:: SOT 87583 SOS 35183 HAS SOPS 35183 HAS SOUS 19204 HAS SOUPS 19204 WITH SCORE 19239.183
AT ITER 3770 NEW BEST:: SOT 87587 SOS 35144 HAS SOPS 35144 HAS SOUS 19165 HAS SOUPS 19165 WITH SCORE 19200.144
AT ITER 3808 NEW BEST:: SOT 87566 SOS 35123 HAS SOPS 35123 HAS SOUS 19144 HAS SOUPS 19144 WITH SCORE 19179.123
AT ITER 3844 NEW BEST:: SOT 87564 SOS 35121 HAS SOPS 35121 HAS SOUS 19142 HAS SOUPS 19142 WITH SCORE 19177.121
AT ITER 3855 NEW BEST:: SOT 87544 SOS 35101 HAS SOPS 35101 HAS SOUS 19102 HAS SOUPS 19102 WITH SCORE 19137.101
AT ITER 3856 NEW BEST:: SOT 87543 SOS 35100 HAS SOPS 35100 HAS SOUS 19102 HAS SOUPS 19102 WITH SCORE 19137.1
AT ITER 3860 NEW BEST:: SOT 87523 SOS 35080 HAS SOPS 35080 HAS SOUS 19082 HAS SOUPS 19082 WITH SCORE 19117.08
AT ITER 3864 NEW BEST:: SOT 87522 SOS 35079 HAS SOPS 35079 HAS SOUS 19080 HAS SOUPS 19080 WITH SCORE 19115.079
AT ITER 3868 NEW BEST:: SOT 87520 SOS 35077 HAS SOPS 35077 HAS SOUS 19078 HAS SOUPS 19078 WITH SCORE 19113.077
AT ITER 3878 NEW BEST:: SOT 87503 SOS 35051 HAS SOPS 35051 HAS SOUS 19064 HAS SOUPS 19064 WITH SCORE 19099.051
AT ITER 3884 NEW BEST:: SOT 87499 SOS 35050 HAS SOPS 35050 HAS SOUS 19058 HAS SOUPS 19058 WITH SCORE 19093.05
AT ITER 3888 NEW BEST:: SOT 87510 SOS 35027 HAS SOPS 35027 HAS SOUS 19012 HAS SOUPS 19012 WITH SCORE 19047.027
AT ITER 3889 NEW BEST:: SOT 87552 SOS 34925 HAS SOPS 34925 HAS SOUS 19010 HAS SOUPS 19010 WITH SCORE 19044.925
AT ITER 3912 NEW BEST:: SOT 87539 SOS 34865 HAS SOPS 34865 HAS SOUS 18984 HAS SOUPS 18984 WITH SCORE 19018.865
AT ITER 3919 NEW BEST:: SOT 87539 SOS 34821 HAS SOPS 34821 HAS SOUS 18940 HAS SOUPS 18940 WITH SCORE 18974.821
AT ITER 3920 NEW BEST:: SOT 87539 SOS 34821 HAS SOPS 34821 HAS SOUS 18909 HAS SOUPS 18909 WITH SCORE 18943.821
AT ITER 3929 NEW BEST:: SOT 87517 SOS 34777 HAS SOPS 34777 HAS SOUS 18865 HAS SOUPS 18865 WITH SCORE 18899.777
AT ITER 3977 NEW BEST:: SOT 87507 SOS 34767 HAS SOPS 34767 HAS SOUS 18865 HAS SOUPS 18865 WITH SCORE 18899.767
AT ITER 3981 NEW BEST:: SOT 87397 SOS 34621 HAS SOPS 34621 HAS SOUS 18815 HAS SOUPS 18815 WITH SCORE 18849.621
AT ITER 3985 NEW BEST:: SOT 87355 SOS 34537 HAS SOPS 34537 HAS SOUS 18731 HAS SOUPS 18731 WITH SCORE 18765.537
AT ITER 3997 NEW BEST:: SOT 87338 SOS 34503 HAS SOPS 34503 HAS SOUS 18714 HAS SOUPS 18714 WITH SCORE 18748.503
AT ITER 4001 NEW BEST:: SOT 87306 SOS 34493 HAS SOPS 34493 HAS SOUS 18688 HAS SOUPS 18688 WITH SCORE 18722.493
AT ITER 4039 NEW BEST:: SOT 87311 SOS 34488 HAS SOPS 34488 HAS SOUS 18683 HAS SOUPS 18683 WITH SCORE 18717.488
AT ITER 4044 NEW BEST:: SOT 87307 SOS 34483 HAS SOPS 34483 HAS SOUS 18678 HAS SOUPS 18678 WITH SCORE 18712.483
AT ITER 4057 NEW BEST:: SOT 87278 SOS 34425 HAS SOPS 34425 HAS SOUS 18649 HAS SOUPS 18649 WITH SCORE 18683.425
AT ITER 4062 NEW BEST:: SOT 87271 SOS 34411 HAS SOPS 34411 HAS SOUS 18635 HAS SOUPS 18635 WITH SCORE 18669.411
AT ITER 4081 NEW BEST:: SOT 87272 SOS 34397 HAS SOPS 34397 HAS SOUS 18632 HAS SOUPS 18632 WITH SCORE 18666.397
AT ITER 4083 NEW BEST:: SOT 87272 SOS 34397 HAS SOPS 34397 HAS SOUS 18628 HAS SOUPS 18628 WITH SCORE 18662.397
AT ITER 4109 NEW BEST:: SOT 87270 SOS 34393 HAS SOPS 34393 HAS SOUS 18626 HAS SOUPS 18626 WITH SCORE 18660.393
AT ITER 4112 NEW BEST:: SOT 87259 SOS 34354 HAS SOPS 34354 HAS SOUS 18625 HAS SOUPS 18625 WITH SCORE 18659.354
AT ITER 4119 NEW BEST:: SOT 87251 SOS 34345 HAS SOPS 34345 HAS SOUS 18621 HAS SOUPS 18621 WITH SCORE 18655.345
AT ITER 4147 NEW BEST:: SOT 87247 SOS 34337 HAS SOPS 34337 HAS SOUS 18613 HAS SOUPS 18613 WITH SCORE 18647.337
AT ITER 4155 NEW BEST:: SOT 87242 SOS 34327 HAS SOPS 34327 HAS SOUS 18603 HAS SOUPS 18603 WITH SCORE 18637.327
AT ITER 4172 NEW BEST:: SOT 87242 SOS 34325 HAS SOPS 34325 HAS SOUS 18603 HAS SOUPS 18603 WITH SCORE 18637.325
AT ITER 4189 NEW BEST:: SOT 87220 SOS 34281 HAS SOPS 34281 HAS SOUS 18581 HAS SOUPS 18581 WITH SCORE 18615.281
AT ITER 4211 NEW BEST:: SOT 87221 SOS 34274 HAS SOPS 34274 HAS SOUS 18574 HAS SOUPS 18574 WITH SCORE 18608.274
AT ITER 4227 NEW BEST:: SOT 87201 SOS 34254 HAS SOPS 34254 HAS SOUS 18564 HAS SOUPS 18564 WITH SCORE 18598.254
AT ITER 4236 NEW BEST:: SOT 87201 SOS 34254 HAS SOPS 34254 HAS SOUS 18534 HAS SOUPS 18534 WITH SCORE 18568.254
AT ITER 4238 NEW BEST:: SOT 87186 SOS 34253 HAS SOPS 34253 HAS SOUS 18510 HAS SOUPS 18510 WITH SCORE 18544.253
AT ITER 4260 NEW BEST:: SOT 87180 SOS 34224 HAS SOPS 34224 HAS SOUS 18475 HAS SOUPS 18475 WITH SCORE 18509.224
AT ITER 4283 NEW BEST:: SOT 87162 SOS 34170 HAS SOPS 34170 HAS SOUS 18439 HAS SOUPS 18439 WITH SCORE 18473.17
AT ITER 4290 NEW BEST:: SOT 87156 SOS 34158 HAS SOPS 34158 HAS SOUS 18427 HAS SOUPS 18427 WITH SCORE 18461.158
AT ITER 4301 NEW BEST:: SOT 87139 SOS 34121 HAS SOPS 34121 HAS SOUS 18393 HAS SOUPS 18393 WITH SCORE 18427.121
AT ITER 4335 NEW BEST:: SOT 87135 SOS 34115 HAS SOPS 34115 HAS SOUS 18387 HAS SOUPS 18387 WITH SCORE 18421.115
AT ITER 4355 NEW BEST:: SOT 87135 SOS 34112 HAS SOPS 34112 HAS SOUS 18387 HAS SOUPS 18387 WITH SCORE 18421.112
AT ITER 4364 NEW BEST:: SOT 87110 SOS 34087 HAS SOPS 34087 HAS SOUS 18362 HAS SOUPS 18362 WITH SCORE 18396.087
AT ITER 4452 NEW BEST:: SOT 86950 SOS 34022 HAS SOPS 34022 HAS SOUS 18354 HAS SOUPS 18354 WITH SCORE 18388.022
AT ITER 4458 NEW BEST:: SOT 86950 SOS 34022 HAS SOPS 34022 HAS SOUS 18344 HAS SOUPS 18344 WITH SCORE 18378.022
AT ITER 4470 NEW BEST:: SOT 86925 SOS 33977 HAS SOPS 33977 HAS SOUS 18331 HAS SOUPS 18331 WITH SCORE 18364.977
AT ITER 4477 NEW BEST:: SOT 86874 SOS 33900 HAS SOPS 33900 HAS SOUS 18259 HAS SOUPS 18259 WITH SCORE 18292.9
AT ITER 4485 NEW BEST:: SOT 86850 SOS 33876 HAS SOPS 33876 HAS SOUS 18211 HAS SOUPS 18211 WITH SCORE 18244.876
AT ITER 4489 NEW BEST:: SOT 86812 SOS 33979 HAS SOPS 33979 HAS SOUS 18187 HAS SOUPS 18187 WITH SCORE 18220.979
AT ITER 4506 NEW BEST:: SOT 86937 SOS 34009 HAS SOPS 34009 HAS SOUS 18186 HAS SOUPS 18186 WITH SCORE 18220.009
AT ITER 4552 NEW BEST:: SOT 86937 SOS 33981 HAS SOPS 33981 HAS SOUS 18186 HAS SOUPS 18186 WITH SCORE 18219.981
AT ITER 4569 NEW BEST:: SOT 86926 SOS 33971 HAS SOPS 33971 HAS SOUS 18176 HAS SOUPS 18176 WITH SCORE 18209.971
AT ITER 4588 NEW BEST:: SOT 86925 SOS 33968 HAS SOPS 33968 HAS SOUS 18174 HAS SOUPS 18174 WITH SCORE 18207.968
AT ITER 4616 NEW BEST:: SOT 86909 SOS 33949 HAS SOPS 33949 HAS SOUS 18140 HAS SOUPS 18140 WITH SCORE 18173.949
AT ITER 4632 NEW BEST:: SOT 86906 SOS 33943 HAS SOPS 33943 HAS SOUS 18137 HAS SOUPS 18137 WITH SCORE 18170.943
AT ITER 4634 NEW BEST:: SOT 86859 SOS 33881 HAS SOPS 33881 HAS SOUS 18081 HAS SOUPS 18081 WITH SCORE 18114.881
AT ITER 4637 NEW BEST:: SOT 86851 SOS 33865 HAS SOPS 33865 HAS SOUS 18063 HAS SOUPS 18063 WITH SCORE 18096.865
AT ITER 4660 NEW BEST:: SOT 86843 SOS 33857 HAS SOPS 33857 HAS SOUS 18047 HAS SOUPS 18047 WITH SCORE 18080.857
AT ITER 4676 NEW BEST:: SOT 86838 SOS 33847 HAS SOPS 33847 HAS SOUS 18037 HAS SOUPS 18037 WITH SCORE 18070.847
AT ITER 4703 NEW BEST:: SOT 86828 SOS 33883 HAS SOPS 33883 HAS SOUS 18017 HAS SOUPS 18017 WITH SCORE 18050.883
AT ITER 4715 NEW BEST:: SOT 86825 SOS 33877 HAS SOPS 33877 HAS SOUS 18011 HAS SOUPS 18011 WITH SCORE 18044.877
AT ITER 4737 NEW BEST:: SOT 86823 SOS 33874 HAS SOPS 33874 HAS SOUS 18009 HAS SOUPS 18009 WITH SCORE 18042.874
AT ITER 4740 NEW BEST:: SOT 86819 SOS 33868 HAS SOPS 33868 HAS SOUS 18003 HAS SOUPS 18003 WITH SCORE 18036.868
AT ITER 4756 NEW BEST:: SOT 86827 SOS 33884 HAS SOPS 33884 HAS SOUS 17997 HAS SOUPS 17997 WITH SCORE 18030.884
AT ITER 4827 NEW BEST:: SOT 86813 SOS 33884 HAS SOPS 33884 HAS SOUS 17969 HAS SOUPS 17969 WITH SCORE 18002.884
AT ITER 4832 NEW BEST:: SOT 86811 SOS 33885 HAS SOPS 33885 HAS SOUS 17962 HAS SOUPS 17962 WITH SCORE 17995.885
AT ITER 4871 NEW BEST:: SOT 86722 SOS 33774 HAS SOPS 33774 HAS SOUS 17851 HAS SOUPS 17851 WITH SCORE 17884.774
AT ITER 4912 NEW BEST:: SOT 86741 SOS 33832 HAS SOPS 33832 HAS SOUS 17850 HAS SOUPS 17850 WITH SCORE 17883.832
AT ITER 4915 NEW BEST:: SOT 86665 SOS 33680 HAS SOPS 33680 HAS SOUS 17698 HAS SOUPS 17698 WITH SCORE 17731.68
AT ITER 4916 NEW BEST:: SOT 86664 SOS 33679 HAS SOPS 33679 HAS SOUS 17696 HAS SOUPS 17696 WITH SCORE 17729.679
AT ITER 4942 NEW BEST:: SOT 86681 SOS 33732 HAS SOPS 33732 HAS SOUS 17689 HAS SOUPS 17689 WITH SCORE 17722.732
AT ITER 4943 NEW BEST:: SOT 86666 SOS 33702 HAS SOPS 33702 HAS SOUS 17665 HAS SOUPS 17665 WITH SCORE 17698.702
AT ITER 4964 NEW BEST:: SOT 86664 SOS 33698 HAS SOPS 33698 HAS SOUS 17663 HAS SOUPS 17663 WITH SCORE 17696.698
AT ITER 4994 NEW BEST:: SOT 86653 SOS 33676 HAS SOPS 33676 HAS SOUS 17641 HAS SOUPS 17641 WITH SCORE 17674.676
Bounds file is: CTLFireability.xml
PROPERTY: DiscoveryGPU-PT-13b-CTLFireability-00 ( ((potential((tk(P89)>=1) & (tk(P379)>=1)))) | ( ((potential((tk(P266)>=1)))) | ( (EF( ((potential((tk(P209)>=1) & (tk(P372)>=1)))))) | ( ( ((potential((tk(P256)>=1) & (tk(P372)>=1)))) & ((potential((tk(P195)>=1)))) ) & (EX( ((potential((tk(P156)>=1)))))) ) ) ) )
PROPERTY: DiscoveryGPU-PT-13b-CTLFireability-01 ( (AU( (AG( ((potential((tk(P359)>=1) & (tk(P379)>=1)))))) , (AF( ((potential((tk(P97)>=1)))))) )) & ( (EG( ( ( ((potential((tk(P196)>=1) & (tk(P372)>=1)))) | ((potential((tk(P254)>=1) & (tk(P372)>=1)))) ) & ( ((potential((tk(P347)>=1)))) & ((potential((tk(P53)>=1)))) ) ))) | (AU( (! ((potential((tk(P141)>=1))))) , ( ((potential((tk(P117)>=1)))) & ((potential((tk(P347)>=1)))) ) )) ) )
PROPERTY: DiscoveryGPU-PT-13b-CTLFireability-02 ( ((potential((tk(P309)>=1)))) | (AF( ((potential((tk(P92)>=1) & (tk(P372)>=1)))))) )
PROPERTY: DiscoveryGPU-PT-13b-CTLFireability-03 ( (EU( (AF( ((potential((tk(P116)>=1) & (tk(P379)>=1)))))) , (AF( ((potential((tk(P239)>=1)))))) )) | ( ( ((potential((tk(P297)>=1) & (tk(P372)>=1)))) & ((potential((tk(P259)>=1)))) ) | ( ((potential((tk(P277)>=1) & (tk(P372)>=1)))) & ( (EX( ((potential((tk(P370)>=1)))))) | ((potential((tk(P104)>=1)))) ) ) ) )
PROPERTY: DiscoveryGPU-PT-13b-CTLFireability-04 (AX( (AG( (! ( ((potential((tk(P216)>=1) & (tk(P372)>=1)))) & ((potential((tk(P92)>=1) & (tk(P372)>=1)))) ))))))
PROPERTY: DiscoveryGPU-PT-13b-CTLFireability-05 (EF( ((potential((tk(P263)>=1) & (tk(P372)>=1))))))
PROPERTY: DiscoveryGPU-PT-13b-CTLFireability-06 (AG( (EF( ( (! ((potential((tk(P212)>=1))))) | ( ((potential((tk(P326)>=1) & (tk(P372)>=1)))) & ((potential((tk(P143)>=1) & (tk(P379)>=1)))) ) )))))
PROPERTY: DiscoveryGPU-PT-13b-CTLFireability-07 (! ( ( ((potential((tk(P265)>=1) & (tk(P379)>=1)))) & ( (EX( ((potential((tk(P103)>=1) & (tk(P379)>=1)))))) | (! (! ((potential((tk(P367)>=1)))))) ) ) | (AX( (EF( ((potential((tk(P21)>=1)))))))) ))
PROPERTY: DiscoveryGPU-PT-13b-CTLFireability-08 ( ( (AF( ((potential((tk(P289)>=1)))))) & ( (! (EG( ((potential((tk(P284)>=1))))))) | (EU( ((potential((tk(P357)>=1)))) , ((potential((tk(P202)>=1) & (tk(P372)>=1)))) )) ) ) | (AX( ((potential((tk(P266)>=1)))))) )
PROPERTY: DiscoveryGPU-PT-13b-CTLFireability-09 (AF( (EU( ((potential((tk(P266)>=1)))) , ( ((potential((tk(P235)>=1)))) & ((potential((tk(P26)>=1)))) ) ))))
PROPERTY: DiscoveryGPU-PT-13b-CTLFireability-10 (AG( (! ( (AG( ((potential((tk(P206)>=1)))))) | (! (! ((potential((tk(P61)>=1) & (tk(P372)>=1)))))) ))))
PROPERTY: DiscoveryGPU-PT-13b-CTLFireability-11 (EU( (! ((potential((tk(P100)>=1))))) , (EF( ( ((potential((tk(P161)>=1)))) & ((potential((tk(P124)>=1)))) ))) ))
PROPERTY: DiscoveryGPU-PT-13b-CTLFireability-12 (EF( ( (AG( (! ((potential((tk(P62)>=1) & (tk(P379)>=1))))))) & (EF( (! ((potential((tk(P258)>=1))))))) )))
PROPERTY: DiscoveryGPU-PT-13b-CTLFireability-13 (AU( ( (! ( ((potential((tk(P270)>=1) & (tk(P372)>=1)))) | ((potential((tk(P121)>=1) & (tk(P372)>=1)))) )) | ( ( ((potential((tk(P334)>=1)))) & ((potential((tk(P294)>=1) & (tk(P379)>=1)))) ) & ((potential((tk(P134)>=1)))) ) ) , (EG( ((potential((tk(P346)>=1) & (tk(P379)>=1)))))) ))
PROPERTY: DiscoveryGPU-PT-13b-CTLFireability-14 ( (AF( ( ( ((potential((tk(P143)>=1) & (tk(P379)>=1)))) & ( ((potential((tk(P347)>=1)))) | ((potential((tk(P78)>=1) & (tk(P379)>=1)))) ) ) & (AG( ((potential((tk(P32)>=1)))))) ))) | (! (! (EX( ((potential((tk(P269)>=1)))))))) )
PROPERTY: DiscoveryGPU-PT-13b-CTLFireability-15 (AX( (EF( ((potential((tk(P183)>=1))))))))
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DiscoveryGPU-PT-13b"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is DiscoveryGPU-PT-13b, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r063-tajo-158922807900708"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DiscoveryGPU-PT-13b.tgz
mv DiscoveryGPU-PT-13b execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;