Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902542400580.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.......................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DLCround-PT-11a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542400580
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 940K
-rw-r--r-- 1 mcc users 3.5K Mar 30 20:21 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 30 20:21 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 29 10:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 29 10:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 28 06:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 28 06:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 27 00:31 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 27 00:31 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 762K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME DLCround-PT-11a-CTLFireability-00
FORMULA_NAME DLCround-PT-11a-CTLFireability-01
FORMULA_NAME DLCround-PT-11a-CTLFireability-02
FORMULA_NAME DLCround-PT-11a-CTLFireability-03
FORMULA_NAME DLCround-PT-11a-CTLFireability-04
FORMULA_NAME DLCround-PT-11a-CTLFireability-05
FORMULA_NAME DLCround-PT-11a-CTLFireability-06
FORMULA_NAME DLCround-PT-11a-CTLFireability-07
FORMULA_NAME DLCround-PT-11a-CTLFireability-08
FORMULA_NAME DLCround-PT-11a-CTLFireability-09
FORMULA_NAME DLCround-PT-11a-CTLFireability-10
FORMULA_NAME DLCround-PT-11a-CTLFireability-11
FORMULA_NAME DLCround-PT-11a-CTLFireability-12
FORMULA_NAME DLCround-PT-11a-CTLFireability-13
FORMULA_NAME DLCround-PT-11a-CTLFireability-14
FORMULA_NAME DLCround-PT-11a-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589130668277

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 11a
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: 377 places, 2993 transitions, 11677 arcs.
AT ITER 0 NEW BEST:: SOT 704367 SOS 601399 HAS SOPS 364833 HAS SOUS 69005 HAS SOUPS 48869 WITH SCORE 49470.399
AT ITER 10 NEW BEST:: SOT 703683 SOS 600829 HAS SOPS 363693 HAS SOUS 67916 HAS SOUPS 47352 WITH SCORE 47952.829
AT ITER 13 NEW BEST:: SOT 703664 SOS 600525 HAS SOPS 363389 HAS SOUS 67897 HAS SOUPS 47333 WITH SCORE 47933.525
AT ITER 41 NEW BEST:: SOT 703770 SOS 600809 HAS SOPS 362605 HAS SOUS 65991 HAS SOUPS 45419 WITH SCORE 46019.809
AT ITER 43 NEW BEST:: SOT 703894 SOS 599697 HAS SOPS 362693 HAS SOUS 65851 HAS SOUPS 45359 WITH SCORE 45958.697
AT ITER 78 NEW BEST:: SOT 703866 SOS 599277 HAS SOPS 362609 HAS SOUS 65739 HAS SOUPS 45275 WITH SCORE 45874.277
AT ITER 81 NEW BEST:: SOT 703870 SOS 599281 HAS SOPS 362541 HAS SOUS 65761 HAS SOUPS 45257 WITH SCORE 45856.281
AT ITER 92 NEW BEST:: SOT 703774 SOS 594578 HAS SOPS 358498 HAS SOUS 65676 HAS SOUPS 45216 WITH SCORE 45810.578
AT ITER 100 NEW BEST:: SOT 703773 SOS 594561 HAS SOPS 358496 HAS SOUS 65674 HAS SOUPS 45215 WITH SCORE 45809.561
AT ITER 109 NEW BEST:: SOT 703685 SOS 596603 HAS SOPS 359242 HAS SOUS 65623 HAS SOUPS 45128 WITH SCORE 45724.603
AT ITER 111 NEW BEST:: SOT 703745 SOS 596670 HAS SOPS 359267 HAS SOUS 65592 HAS SOUPS 45097 WITH SCORE 45693.67
AT ITER 116 NEW BEST:: SOT 703329 SOS 596462 HAS SOPS 359059 HAS SOUS 65403 HAS SOUPS 44908 WITH SCORE 45504.462
AT ITER 117 NEW BEST:: SOT 703234 SOS 591520 HAS SOPS 354837 HAS SOUS 65326 HAS SOUPS 44879 WITH SCORE 45470.52
AT ITER 122 NEW BEST:: SOT 703366 SOS 590356 HAS SOPS 354933 HAS SOUS 65180 HAS SOUPS 44817 WITH SCORE 45407.356
AT ITER 123 NEW BEST:: SOT 703326 SOS 589636 HAS SOPS 354813 HAS SOUS 65116 HAS SOUPS 44793 WITH SCORE 45382.636
AT ITER 135 NEW BEST:: SOT 703269 SOS 589522 HAS SOPS 355083 HAS SOUS 65001 HAS SOUPS 44710 WITH SCORE 45299.522
AT ITER 145 NEW BEST:: SOT 703347 SOS 588947 HAS SOPS 355153 HAS SOUS 64942 HAS SOUPS 44694 WITH SCORE 45282.947
AT ITER 149 NEW BEST:: SOT 703759 SOS 588455 HAS SOPS 355059 HAS SOUS 65276 HAS SOUPS 44600 WITH SCORE 45188.455
AT ITER 160 NEW BEST:: SOT 704743 SOS 589619 HAS SOPS 355143 HAS SOUS 65154 HAS SOUPS 44054 WITH SCORE 44643.619
AT ITER 166 NEW BEST:: SOT 704693 SOS 590293 HAS SOPS 355205 HAS SOUS 65134 HAS SOUPS 44017 WITH SCORE 44607.293
AT ITER 195 NEW BEST:: SOT 704135 SOS 589828 HAS SOPS 354275 HAS SOUS 64252 HAS SOUPS 42783 WITH SCORE 43372.828
AT ITER 206 NEW BEST:: SOT 704119 SOS 589812 HAS SOPS 354259 HAS SOUS 64236 HAS SOUPS 42767 WITH SCORE 43356.812
AT ITER 209 NEW BEST:: SOT 704108 SOS 589636 HAS SOPS 354083 HAS SOUS 64225 HAS SOUPS 42756 WITH SCORE 43345.636
AT ITER 213 NEW BEST:: SOT 704094 SOS 589405 HAS SOPS 353957 HAS SOUS 64204 HAS SOUPS 42742 WITH SCORE 43331.405
AT ITER 235 NEW BEST:: SOT 704093 SOS 589403 HAS SOPS 353955 HAS SOUS 64202 HAS SOUPS 42740 WITH SCORE 43329.403
AT ITER 236 NEW BEST:: SOT 704109 SOS 589133 HAS SOPS 353925 HAS SOUS 64184 HAS SOUPS 42738 WITH SCORE 43327.133
AT ITER 239 NEW BEST:: SOT 704097 SOS 589121 HAS SOPS 353913 HAS SOUS 64190 HAS SOUPS 42736 WITH SCORE 43325.121
AT ITER 264 NEW BEST:: SOT 703881 SOS 588941 HAS SOPS 353553 HAS SOUS 63857 HAS SOUPS 42263 WITH SCORE 42851.941
AT ITER 266 NEW BEST:: SOT 704243 SOS 589303 HAS SOPS 353734 HAS SOUS 63265 HAS SOUPS 42019 WITH SCORE 42608.303
AT ITER 278 NEW BEST:: SOT 704300 SOS 589967 HAS SOPS 354398 HAS SOUS 63247 HAS SOUPS 42001 WITH SCORE 42590.967
AT ITER 291 NEW BEST:: SOT 704205 SOS 589891 HAS SOPS 354227 HAS SOUS 63068 HAS SOUPS 41758 WITH SCORE 42347.891
AT ITER 292 NEW BEST:: SOT 704029 SOS 586188 HAS SOPS 353794 HAS SOUS 63727 HAS SOUPS 41634 WITH SCORE 42220.188
AT ITER 300 NEW BEST:: SOT 703915 SOS 580602 HAS SOPS 348208 HAS SOUS 63670 HAS SOUPS 41577 WITH SCORE 42157.602
AT ITER 318 NEW BEST:: SOT 703915 SOS 580602 HAS SOPS 348168 HAS SOUS 63630 HAS SOUPS 41537 WITH SCORE 42117.602
AT ITER 319 NEW BEST:: SOT 703753 SOS 582154 HAS SOPS 348884 HAS SOUS 63573 HAS SOUPS 41492 WITH SCORE 42074.154
AT ITER 331 NEW BEST:: SOT 703735 SOS 581857 HAS SOPS 348722 HAS SOUS 63546 HAS SOUPS 41474 WITH SCORE 42055.857
AT ITER 334 NEW BEST:: SOT 703483 SOS 581605 HAS SOPS 348597 HAS SOUS 63447 HAS SOUPS 41359 WITH SCORE 41940.605
AT ITER 338 NEW BEST:: SOT 702645 SOS 580269 HAS SOPS 347925 HAS SOUS 62410 HAS SOUPS 40670 WITH SCORE 41250.269
AT ITER 339 NEW BEST:: SOT 702580 SOS 579164 HAS SOPS 347795 HAS SOUS 62321 HAS SOUPS 40646 WITH SCORE 41225.164
AT ITER 344 NEW BEST:: SOT 702580 SOS 579164 HAS SOPS 347782 HAS SOUS 62308 HAS SOUPS 40633 WITH SCORE 41212.164
AT ITER 352 NEW BEST:: SOT 702939 SOS 575787 HAS SOPS 347358 HAS SOUS 62506 HAS SOUPS 40500 WITH SCORE 41075.787
AT ITER 360 NEW BEST:: SOT 702943 SOS 575723 HAS SOPS 347354 HAS SOUS 62494 HAS SOUPS 40492 WITH SCORE 41067.723
AT ITER 371 NEW BEST:: SOT 702977 SOS 576225 HAS SOPS 347856 HAS SOUS 62492 HAS SOUPS 40490 WITH SCORE 41066.225
AT ITER 378 NEW BEST:: SOT 702934 SOS 576182 HAS SOPS 347858 HAS SOUS 62440 HAS SOUPS 40422 WITH SCORE 40998.182
AT ITER 381 NEW BEST:: SOT 702910 SOS 575954 HAS SOPS 347630 HAS SOUS 62404 HAS SOUPS 40386 WITH SCORE 40961.954
AT ITER 398 NEW BEST:: SOT 702822 SOS 577594 HAS SOPS 347902 HAS SOUS 62395 HAS SOUPS 40339 WITH SCORE 40916.594
AT ITER 403 NEW BEST:: SOT 703187 SOS 578040 HAS SOPS 347862 HAS SOUS 61813 HAS SOUPS 39757 WITH SCORE 40335.04
AT ITER 412 NEW BEST:: SOT 703258 SOS 576038 HAS SOPS 346865 HAS SOUS 61687 HAS SOUPS 39698 WITH SCORE 40274.038
AT ITER 426 NEW BEST:: SOT 703192 SOS 573646 HAS SOPS 346123 HAS SOUS 61537 HAS SOUPS 39658 WITH SCORE 40231.646
AT ITER 429 NEW BEST:: SOT 701758 SOS 569248 HAS SOPS 344833 HAS SOUS 62030 HAS SOUPS 39652 WITH SCORE 40221.248
AT ITER 437 NEW BEST:: SOT 701501 SOS 569033 HAS SOPS 344357 HAS SOUS 61554 HAS SOUPS 38978 WITH SCORE 39547.033
AT ITER 438 NEW BEST:: SOT 701484 SOS 569005 HAS SOPS 344351 HAS SOUS 61537 HAS SOUPS 38972 WITH SCORE 39541.005
AT ITER 440 NEW BEST:: SOT 701466 SOS 568987 HAS SOPS 344333 HAS SOUS 61519 HAS SOUPS 38954 WITH SCORE 39522.987
AT ITER 447 NEW BEST:: SOT 701214 SOS 568825 HAS SOPS 343721 HAS SOUS 60988 HAS SOUPS 38067 WITH SCORE 38635.825
AT ITER 452 NEW BEST:: SOT 701186 SOS 568783 HAS SOPS 343707 HAS SOUS 60960 HAS SOUPS 38053 WITH SCORE 38621.783
AT ITER 455 NEW BEST:: SOT 701101 SOS 567338 HAS SOPS 343162 HAS SOUS 60877 HAS SOUPS 38030 WITH SCORE 38597.338
AT ITER 474 NEW BEST:: SOT 701163 SOS 567400 HAS SOPS 343159 HAS SOUS 60876 HAS SOUPS 38029 WITH SCORE 38596.4
AT ITER 482 NEW BEST:: SOT 701148 SOS 567538 HAS SOPS 343231 HAS SOUS 60867 HAS SOUPS 38020 WITH SCORE 38587.538
AT ITER 491 NEW BEST:: SOT 700974 SOS 565313 HAS SOPS 341268 HAS SOUS 60424 HAS SOUPS 36044 WITH SCORE 36609.313
AT ITER 496 NEW BEST:: SOT 700970 SOS 565305 HAS SOPS 341260 HAS SOUS 60416 HAS SOUPS 36036 WITH SCORE 36601.305
AT ITER 514 NEW BEST:: SOT 701682 SOS 566105 HAS SOPS 341532 HAS SOUS 60360 HAS SOUPS 35852 WITH SCORE 36418.105
AT ITER 528 NEW BEST:: SOT 701680 SOS 566103 HAS SOPS 341532 HAS SOUS 60338 HAS SOUPS 35838 WITH SCORE 36404.103
AT ITER 545 NEW BEST:: SOT 701680 SOS 566103 HAS SOPS 341532 HAS SOUS 60257 HAS SOUPS 35793 WITH SCORE 36359.103
AT ITER 546 NEW BEST:: SOT 701676 SOS 566099 HAS SOPS 341528 HAS SOUS 60253 HAS SOUPS 35789 WITH SCORE 36355.099
AT ITER 552 NEW BEST:: SOT 701634 SOS 563630 HAS SOPS 339059 HAS SOUS 60238 HAS SOUPS 35774 WITH SCORE 36337.63
AT ITER 560 NEW BEST:: SOT 701475 SOS 563312 HAS SOPS 339059 HAS SOUS 60079 HAS SOUPS 35774 WITH SCORE 36337.312
AT ITER 565 NEW BEST:: SOT 702482 SOS 564319 HAS SOPS 339901 HAS SOUS 60088 HAS SOUPS 35723 WITH SCORE 36287.319
AT ITER 573 NEW BEST:: SOT 702723 SOS 564853 HAS SOPS 339620 HAS SOUS 59524 HAS SOUPS 35218 WITH SCORE 35782.853
AT ITER 578 NEW BEST:: SOT 702743 SOS 565406 HAS SOPS 340173 HAS SOUS 59505 HAS SOUPS 35199 WITH SCORE 35764.406
AT ITER 583 NEW BEST:: SOT 702774 SOS 565384 HAS SOPS 340170 HAS SOUS 59449 HAS SOUPS 35196 WITH SCORE 35761.384
AT ITER 589 NEW BEST:: SOT 702712 SOS 563993 HAS SOPS 340024 HAS SOUS 59315 HAS SOUPS 35145 WITH SCORE 35708.993
AT ITER 591 NEW BEST:: SOT 702966 SOS 565654 HAS SOPS 340407 HAS SOUS 58154 HAS SOUPS 34504 WITH SCORE 35069.654
AT ITER 595 NEW BEST:: SOT 702980 SOS 565500 HAS SOPS 340421 HAS SOUS 58126 HAS SOUPS 34490 WITH SCORE 35055.5
AT ITER 602 NEW BEST:: SOT 703071 SOS 564512 HAS SOPS 340408 HAS SOUS 57990 HAS SOUPS 34419 WITH SCORE 34983.512
AT ITER 621 NEW BEST:: SOT 703031 SOS 562272 HAS SOPS 338528 HAS SOUS 57934 HAS SOUPS 34387 WITH SCORE 34949.272
AT ITER 634 NEW BEST:: SOT 703031 SOS 562617 HAS SOPS 338528 HAS SOUS 57911 HAS SOUPS 34341 WITH SCORE 34903.617
AT ITER 646 NEW BEST:: SOT 703004 SOS 562185 HAS SOPS 338501 HAS SOUS 57830 HAS SOUPS 34287 WITH SCORE 34849.185
AT ITER 661 NEW BEST:: SOT 702992 SOS 562161 HAS SOPS 338489 HAS SOUS 57806 HAS SOUPS 34275 WITH SCORE 34837.161
AT ITER 672 NEW BEST:: SOT 703009 SOS 562386 HAS SOPS 338714 HAS SOUS 57594 HAS SOUPS 34063 WITH SCORE 34625.386
AT ITER 703 NEW BEST:: SOT 703002 SOS 562276 HAS SOPS 338604 HAS SOUS 57587 HAS SOUPS 34056 WITH SCORE 34618.276
AT ITER 710 NEW BEST:: SOT 702978 SOS 562228 HAS SOPS 338604 HAS SOUS 57563 HAS SOUPS 34056 WITH SCORE 34618.228
AT ITER 722 NEW BEST:: SOT 702988 SOS 562243 HAS SOPS 338485 HAS SOUS 57567 HAS SOUPS 34055 WITH SCORE 34617.243
AT ITER 753 NEW BEST:: SOT 702936 SOS 562139 HAS SOPS 338485 HAS SOUS 57515 HAS SOUPS 34055 WITH SCORE 34617.139
AT ITER 755 NEW BEST:: SOT 702925 SOS 561963 HAS SOPS 338474 HAS SOUS 57493 HAS SOUPS 34044 WITH SCORE 34605.963
AT ITER 758 NEW BEST:: SOT 702907 SOS 561927 HAS SOPS 338438 HAS SOUS 57478 HAS SOUPS 34029 WITH SCORE 34590.927
AT ITER 764 NEW BEST:: SOT 702969 SOS 562051 HAS SOPS 338376 HAS SOUS 57478 HAS SOUPS 33967 WITH SCORE 34529.051
AT ITER 777 NEW BEST:: SOT 702936 SOS 561985 HAS SOPS 338310 HAS SOUS 57419 HAS SOUPS 33908 WITH SCORE 34469.985
AT ITER 780 NEW BEST:: SOT 702873 SOS 560809 HAS SOPS 337749 HAS SOUS 57334 HAS SOUPS 33864 WITH SCORE 34424.809
AT ITER 787 NEW BEST:: SOT 702866 SOS 560677 HAS SOPS 337422 HAS SOUS 57341 HAS SOUPS 33858 WITH SCORE 34418.677
AT ITER 860 NEW BEST:: SOT 702866 SOS 560677 HAS SOPS 337422 HAS SOUS 57339 HAS SOUPS 33856 WITH SCORE 34416.677
AT ITER 864 NEW BEST:: SOT 702858 SOS 560573 HAS SOPS 337414 HAS SOUS 57331 HAS SOUPS 33856 WITH SCORE 34416.573
AT ITER 868 NEW BEST:: SOT 703026 SOS 560975 HAS SOPS 337513 HAS SOUS 57319 HAS SOUPS 33835 WITH SCORE 34395.975
AT ITER 894 NEW BEST:: SOT 703010 SOS 560883 HAS SOPS 337421 HAS SOUS 57297 HAS SOUPS 33813 WITH SCORE 34373.883
AT ITER 899 NEW BEST:: SOT 703008 SOS 554939 HAS SOPS 331477 HAS SOUS 57295 HAS SOUPS 33811 WITH SCORE 34365.939
AT ITER 902 NEW BEST:: SOT 703008 SOS 554889 HAS SOPS 331477 HAS SOUS 57245 HAS SOUPS 33811 WITH SCORE 34365.889
AT ITER 954 NEW BEST:: SOT 702960 SOS 555813 HAS SOPS 332086 HAS SOUS 57220 HAS SOUPS 33765 WITH SCORE 34320.813
AT ITER 963 NEW BEST:: SOT 703183 SOS 555852 HAS SOPS 332101 HAS SOUS 57105 HAS SOUPS 33696 WITH SCORE 34251.852
AT ITER 964 NEW BEST:: SOT 703052 SOS 558002 HAS SOPS 333099 HAS SOUS 57045 HAS SOUPS 33636 WITH SCORE 34194.002
AT ITER 975 NEW BEST:: SOT 704566 SOS 558502 HAS SOPS 332809 HAS SOUS 58730 HAS SOUPS 33535 WITH SCORE 34093.502
AT ITER 1002 NEW BEST:: SOT 704610 SOS 559520 HAS SOPS 333167 HAS SOUS 58768 HAS SOUPS 33529 WITH SCORE 34088.52
AT ITER 1043 NEW BEST:: SOT 705255 SOS 558218 HAS SOPS 332739 HAS SOUS 60246 HAS SOUPS 33408 WITH SCORE 33966.218
AT ITER 1072 NEW BEST:: SOT 705165 SOS 558146 HAS SOPS 332631 HAS SOUS 60264 HAS SOUPS 33408 WITH SCORE 33966.146
AT ITER 1074 NEW BEST:: SOT 705187 SOS 558520 HAS SOPS 333005 HAS SOUS 60261 HAS SOUPS 33405 WITH SCORE 33963.52
AT ITER 1085 NEW BEST:: SOT 705187 SOS 558447 HAS SOPS 333005 HAS SOUS 60188 HAS SOUPS 33405 WITH SCORE 33963.447
AT ITER 1089 NEW BEST:: SOT 705109 SOS 558343 HAS SOPS 332901 HAS SOUS 60162 HAS SOUPS 33379 WITH SCORE 33937.343
AT ITER 1096 NEW BEST:: SOT 705086 SOS 557630 HAS SOPS 332533 HAS SOUS 60125 HAS SOUPS 33365 WITH SCORE 33922.63
AT ITER 1116 NEW BEST:: SOT 705374 SOS 557918 HAS SOPS 332821 HAS SOUS 60083 HAS SOUPS 33323 WITH SCORE 33880.918
AT ITER 1117 NEW BEST:: SOT 705416 SOS 557654 HAS SOPS 333142 HAS SOUS 60031 HAS SOUPS 33310 WITH SCORE 33867.654
AT ITER 1122 NEW BEST:: SOT 705324 SOS 557558 HAS SOPS 333054 HAS SOUS 59848 HAS SOUPS 33134 WITH SCORE 33691.558
AT ITER 1124 NEW BEST:: SOT 705289 SOS 557488 HAS SOPS 333054 HAS SOUS 59723 HAS SOUPS 33084 WITH SCORE 33641.488
AT ITER 1130 NEW BEST:: SOT 705289 SOS 557488 HAS SOPS 332975 HAS SOUS 59684 HAS SOUPS 33045 WITH SCORE 33602.488
AT ITER 1140 NEW BEST:: SOT 705287 SOS 557454 HAS SOPS 332941 HAS SOUS 59682 HAS SOUPS 33043 WITH SCORE 33600.454
AT ITER 1141 NEW BEST:: SOT 704912 SOS 557268 HAS SOPS 332941 HAS SOUS 59072 HAS SOUPS 32949 WITH SCORE 33506.268
AT ITER 1147 NEW BEST:: SOT 705372 SOS 557633 HAS SOPS 333496 HAS SOUS 59023 HAS SOUPS 32935 WITH SCORE 33492.633
AT ITER 1153 NEW BEST:: SOT 705792 SOS 557956 HAS SOPS 334013 HAS SOUS 58831 HAS SOUPS 32840 WITH SCORE 33397.956
AT ITER 1157 NEW BEST:: SOT 705777 SOS 557548 HAS SOPS 334235 HAS SOUS 58788 HAS SOUPS 32839 WITH SCORE 33396.548
AT ITER 1168 NEW BEST:: SOT 705777 SOS 557488 HAS SOPS 334235 HAS SOUS 58728 HAS SOUPS 32839 WITH SCORE 33396.488
AT ITER 1172 NEW BEST:: SOT 705918 SOS 557789 HAS SOPS 333996 HAS SOUS 57707 HAS SOUPS 31870 WITH SCORE 32427.789
AT ITER 1185 NEW BEST:: SOT 705913 SOS 557704 HAS SOPS 333911 HAS SOUS 57702 HAS SOUPS 31865 WITH SCORE 32422.704
AT ITER 1186 NEW BEST:: SOT 705878 SOS 557634 HAS SOPS 333911 HAS SOUS 57667 HAS SOUPS 31865 WITH SCORE 32422.634
AT ITER 1196 NEW BEST:: SOT 705848 SOS 557604 HAS SOPS 333881 HAS SOUS 57637 HAS SOUPS 31835 WITH SCORE 32392.604
AT ITER 1199 NEW BEST:: SOT 705236 SOS 556992 HAS SOPS 333269 HAS SOUS 57637 HAS SOUPS 31835 WITH SCORE 32391.992
AT ITER 1203 NEW BEST:: SOT 705218 SOS 556974 HAS SOPS 333251 HAS SOUS 57637 HAS SOUPS 31835 WITH SCORE 32391.974
AT ITER 1209 NEW BEST:: SOT 704848 SOS 556678 HAS SOPS 332807 HAS SOUS 57711 HAS SOUPS 31835 WITH SCORE 32391.678
AT ITER 1216 NEW BEST:: SOT 704857 SOS 556873 HAS SOPS 333002 HAS SOUS 57706 HAS SOUPS 31830 WITH SCORE 32386.873
AT ITER 1227 NEW BEST:: SOT 704836 SOS 556600 HAS SOPS 332729 HAS SOUS 57699 HAS SOUPS 31823 WITH SCORE 32379.6
AT ITER 1239 NEW BEST:: SOT 704799 SOS 556526 HAS SOPS 332729 HAS SOUS 57662 HAS SOUPS 31823 WITH SCORE 32379.526
AT ITER 1244 NEW BEST:: SOT 703654 SOS 555511 HAS SOPS 332711 HAS SOUS 56716 HAS SOUPS 31784 WITH SCORE 32339.511
AT ITER 1257 NEW BEST:: SOT 703618 SOS 555475 HAS SOPS 332711 HAS SOUS 56731 HAS SOUPS 31779 WITH SCORE 32334.475
AT ITER 1259 NEW BEST:: SOT 703434 SOS 547569 HAS SOPS 328184 HAS SOUS 56977 HAS SOUPS 31412 WITH SCORE 31959.569
AT ITER 1260 NEW BEST:: SOT 703427 SOS 547562 HAS SOPS 328177 HAS SOUS 56970 HAS SOUPS 31405 WITH SCORE 31952.562
AT ITER 1264 NEW BEST:: SOT 702649 SOS 546984 HAS SOPS 327673 HAS SOUS 57049 HAS SOUPS 31372 WITH SCORE 31918.984
AT ITER 1288 NEW BEST:: SOT 702605 SOS 546940 HAS SOPS 327673 HAS SOUS 57049 HAS SOUPS 31372 WITH SCORE 31918.94
AT ITER 1299 NEW BEST:: SOT 702580 SOS 544790 HAS SOPS 325523 HAS SOUS 57042 HAS SOUPS 31365 WITH SCORE 31909.79
AT ITER 1307 NEW BEST:: SOT 702579 SOS 544773 HAS SOPS 325506 HAS SOUS 57041 HAS SOUPS 31364 WITH SCORE 31908.773
AT ITER 1309 NEW BEST:: SOT 702471 SOS 544665 HAS SOPS 325398 HAS SOUS 57041 HAS SOUPS 31364 WITH SCORE 31908.665
AT ITER 1314 NEW BEST:: SOT 701740 SOS 544052 HAS SOPS 324549 HAS SOUS 57138 HAS SOUPS 31343 WITH SCORE 31887.052
AT ITER 1331 NEW BEST:: SOT 700469 SOS 538370 HAS SOPS 321578 HAS SOUS 56974 HAS SOUPS 31259 WITH SCORE 31797.37
AT ITER 1334 NEW BEST:: SOT 700437 SOS 537826 HAS SOPS 321514 HAS SOUS 56942 HAS SOUPS 31259 WITH SCORE 31796.826
AT ITER 1347 NEW BEST:: SOT 700397 SOS 537786 HAS SOPS 321494 HAS SOUS 56922 HAS SOUPS 31239 WITH SCORE 31776.786
AT ITER 1361 NEW BEST:: SOT 699914 SOS 537234 HAS SOPS 321080 HAS SOUS 56853 HAS SOUPS 31239 WITH SCORE 31776.234
AT ITER 1367 NEW BEST:: SOT 700164 SOS 538832 HAS SOPS 322004 HAS SOUS 56818 HAS SOUPS 31204 WITH SCORE 31742.832
AT ITER 1400 NEW BEST:: SOT 700520 SOS 540514 HAS SOPS 323063 HAS SOUS 55808 HAS SOUPS 31195 WITH SCORE 31735.514
AT ITER 1411 NEW BEST:: SOT 700437 SOS 538833 HAS SOPS 322657 HAS SOUS 55684 HAS SOUPS 31156 WITH SCORE 31694.833
AT ITER 1421 NEW BEST:: SOT 700766 SOS 539220 HAS SOPS 322864 HAS SOUS 55671 HAS SOUPS 31143 WITH SCORE 31682.22
AT ITER 1439 NEW BEST:: SOT 700634 SOS 539088 HAS SOPS 322732 HAS SOUS 55473 HAS SOUPS 31033 WITH SCORE 31572.088
AT ITER 1447 NEW BEST:: SOT 700823 SOS 537431 HAS SOPS 322725 HAS SOUS 55352 HAS SOUPS 31022 WITH SCORE 31559.431
AT ITER 1458 NEW BEST:: SOT 700732 SOS 536572 HAS SOPS 322586 HAS SOUS 55298 HAS SOUPS 31016 WITH SCORE 31552.572
AT ITER 1459 NEW BEST:: SOT 700654 SOS 535965 HAS SOPS 322471 HAS SOUS 55256 HAS SOUPS 31015 WITH SCORE 31550.965
AT ITER 1490 NEW BEST:: SOT 701178 SOS 537751 HAS SOPS 323209 HAS SOUS 54427 HAS SOUPS 30769 WITH SCORE 31306.751
AT ITER 1503 NEW BEST:: SOT 701173 SOS 537666 HAS SOPS 323124 HAS SOUS 54422 HAS SOUPS 30764 WITH SCORE 31301.666
AT ITER 1506 NEW BEST:: SOT 701269 SOS 536811 HAS SOPS 323259 HAS SOUS 54345 HAS SOUPS 30753 WITH SCORE 31289.811
AT ITER 1540 NEW BEST:: SOT 701269 SOS 536811 HAS SOPS 323259 HAS SOUS 54336 HAS SOUPS 30748 WITH SCORE 31284.811
AT ITER 1558 NEW BEST:: SOT 701196 SOS 536731 HAS SOPS 323179 HAS SOUS 54286 HAS SOUPS 30698 WITH SCORE 31234.731
AT ITER 1572 NEW BEST:: SOT 701006 SOS 536522 HAS SOPS 323046 HAS SOUS 54305 HAS SOUPS 30698 WITH SCORE 31234.522
AT ITER 1581 NEW BEST:: SOT 700993 SOS 536496 HAS SOPS 322705 HAS SOUS 54313 HAS SOUPS 30685 WITH SCORE 31221.496
AT ITER 1599 NEW BEST:: SOT 700959 SOS 536428 HAS SOPS 322705 HAS SOUS 54279 HAS SOUPS 30685 WITH SCORE 31221.428
AT ITER 1601 NEW BEST:: SOT 700997 SOS 536684 HAS SOPS 323455 HAS SOUS 54199 HAS SOUPS 30643 WITH SCORE 31179.684
AT ITER 1612 NEW BEST:: SOT 700979 SOS 534842 HAS SOPS 321801 HAS SOUS 54195 HAS SOUPS 30639 WITH SCORE 31173.842
AT ITER 1644 NEW BEST:: SOT 701013 SOS 533626 HAS SOPS 321221 HAS SOUS 54124 HAS SOUPS 30568 WITH SCORE 31101.626
AT ITER 1659 NEW BEST:: SOT 701013 SOS 533626 HAS SOPS 321221 HAS SOUS 54106 HAS SOUPS 30558 WITH SCORE 31091.626
AT ITER 1661 NEW BEST:: SOT 701436 SOS 534366 HAS SOPS 321325 HAS SOUS 54199 HAS SOUPS 30498 WITH SCORE 31032.366
AT ITER 1676 NEW BEST:: SOT 701413 SOS 534320 HAS SOPS 321325 HAS SOUS 54176 HAS SOUPS 30498 WITH SCORE 31032.32
AT ITER 1686 NEW BEST:: SOT 701372 SOS 534238 HAS SOPS 321325 HAS SOUS 54135 HAS SOUPS 30498 WITH SCORE 31032.238
AT ITER 1692 NEW BEST:: SOT 701372 SOS 534462 HAS SOPS 321339 HAS SOUS 54135 HAS SOUPS 30484 WITH SCORE 31018.462
AT ITER 1707 NEW BEST:: SOT 701371 SOS 534740 HAS SOPS 321317 HAS SOUS 54153 HAS SOUPS 30482 WITH SCORE 31016.74
AT ITER 1711 NEW BEST:: SOT 700820 SOS 533212 HAS SOPS 320793 HAS SOUS 54285 HAS SOUPS 30477 WITH SCORE 31010.212
AT ITER 1713 NEW BEST:: SOT 699789 SOS 531054 HAS SOPS 320211 HAS SOUS 54214 HAS SOUPS 30474 WITH SCORE 31005.054
AT ITER 1719 NEW BEST:: SOT 699779 SOS 531034 HAS SOPS 320211 HAS SOUS 54204 HAS SOUPS 30474 WITH SCORE 31005.034
AT ITER 1726 NEW BEST:: SOT 699794 SOS 531511 HAS SOPS 320193 HAS SOUS 54219 HAS SOUPS 30456 WITH SCORE 30987.511
AT ITER 1761 NEW BEST:: SOT 699826 SOS 531443 HAS SOPS 320193 HAS SOUS 54119 HAS SOUPS 30456 WITH SCORE 30987.443
AT ITER 1764 NEW BEST:: SOT 699865 SOS 529796 HAS SOPS 318546 HAS SOUS 54102 HAS SOUPS 30439 WITH SCORE 30968.796
AT ITER 1770 NEW BEST:: SOT 699829 SOS 529742 HAS SOPS 318492 HAS SOUS 54066 HAS SOUPS 30403 WITH SCORE 30932.742
AT ITER 1772 NEW BEST:: SOT 699817 SOS 528612 HAS SOPS 318562 HAS SOUS 53961 HAS SOUPS 30378 WITH SCORE 30906.612
AT ITER 1801 NEW BEST:: SOT 699982 SOS 529104 HAS SOPS 318734 HAS SOUS 53839 HAS SOUPS 30339 WITH SCORE 30868.104
AT ITER 1810 NEW BEST:: SOT 699951 SOS 529073 HAS SOPS 318734 HAS SOUS 53839 HAS SOUPS 30339 WITH SCORE 30868.073
AT ITER 1815 NEW BEST:: SOT 699861 SOS 528894 HAS SOPS 318689 HAS SOUS 53793 HAS SOUPS 30338 WITH SCORE 30866.894
AT ITER 1822 NEW BEST:: SOT 699817 SOS 528806 HAS SOPS 318667 HAS SOUS 53771 HAS SOUPS 30338 WITH SCORE 30866.806
AT ITER 1842 NEW BEST:: SOT 699945 SOS 529114 HAS SOPS 318747 HAS SOUS 53767 HAS SOUPS 30334 WITH SCORE 30863.114
AT ITER 1878 NEW BEST:: SOT 700138 SOS 529794 HAS SOPS 318992 HAS SOUS 53372 HAS SOUPS 30187 WITH SCORE 30716.794
AT ITER 1886 NEW BEST:: SOT 700128 SOS 529769 HAS SOPS 318984 HAS SOUS 53372 HAS SOUPS 30186 WITH SCORE 30715.769
AT ITER 1895 NEW BEST:: SOT 700124 SOS 529761 HAS SOPS 318976 HAS SOUS 53371 HAS SOUPS 30185 WITH SCORE 30714.761
AT ITER 1897 NEW BEST:: SOT 699519 SOS 528496 HAS SOPS 318646 HAS SOUS 53316 HAS SOUPS 30185 WITH SCORE 30713.496
AT ITER 1905 NEW BEST:: SOT 699546 SOS 528565 HAS SOPS 318664 HAS SOUS 53307 HAS SOUPS 30179 WITH SCORE 30707.565
AT ITER 1919 NEW BEST:: SOT 699566 SOS 527575 HAS SOPS 317884 HAS SOUS 53288 HAS SOUPS 30174 WITH SCORE 30701.575
AT ITER 1944 NEW BEST:: SOT 699756 SOS 526189 HAS SOPS 316549 HAS SOUS 53215 HAS SOUPS 30129 WITH SCORE 30655.189
AT ITER 1962 NEW BEST:: SOT 699751 SOS 526218 HAS SOPS 316559 HAS SOUS 53214 HAS SOUPS 30128 WITH SCORE 30654.218
AT ITER 1975 NEW BEST:: SOT 699647 SOS 525978 HAS SOPS 316487 HAS SOUS 53198 HAS SOUPS 30120 WITH SCORE 30645.978
AT ITER 1976 NEW BEST:: SOT 699621 SOS 525926 HAS SOPS 316487 HAS SOUS 53172 HAS SOUPS 30120 WITH SCORE 30645.926
AT ITER 1985 NEW BEST:: SOT 699617 SOS 525225 HAS SOPS 316866 HAS SOUS 53083 HAS SOUPS 30103 WITH SCORE 30628.225
AT ITER 1986 NEW BEST:: SOT 699575 SOS 525986 HAS SOPS 317880 HAS SOUS 51200 HAS SOUPS 29925 WITH SCORE 30450.986
AT ITER 1994 NEW BEST:: SOT 699563 SOS 525974 HAS SOPS 317880 HAS SOUS 51200 HAS SOUPS 29925 WITH SCORE 30450.974
AT ITER 2012 NEW BEST:: SOT 699525 SOS 525915 HAS SOPS 317859 HAS SOUS 51170 HAS SOUPS 29912 WITH SCORE 30437.915
AT ITER 2017 NEW BEST:: SOT 699522 SOS 525896 HAS SOPS 317840 HAS SOUS 51169 HAS SOUPS 29911 WITH SCORE 30436.896
AT ITER 2027 NEW BEST:: SOT 699495 SOS 526031 HAS SOPS 317615 HAS SOUS 51156 HAS SOUPS 29874 WITH SCORE 30400.031
AT ITER 2032 NEW BEST:: SOT 699559 SOS 525463 HAS SOPS 317047 HAS SOUS 51135 HAS SOUPS 29853 WITH SCORE 30378.463
AT ITER 2033 NEW BEST:: SOT 700442 SOS 526222 HAS SOPS 317368 HAS SOUS 50725 HAS SOUPS 29589 WITH SCORE 30115.222
AT ITER 2044 NEW BEST:: SOT 700498 SOS 524681 HAS SOPS 316862 HAS SOUS 50533 HAS SOUPS 29466 WITH SCORE 29990.681
AT ITER 2045 NEW BEST:: SOT 700462 SOS 524453 HAS SOPS 316634 HAS SOUS 50521 HAS SOUPS 29454 WITH SCORE 29978.453
AT ITER 2069 NEW BEST:: SOT 700462 SOS 524413 HAS SOPS 316634 HAS SOUS 50481 HAS SOUPS 29454 WITH SCORE 29978.413
AT ITER 2076 NEW BEST:: SOT 700437 SOS 524013 HAS SOPS 316609 HAS SOUS 50427 HAS SOUPS 29425 WITH SCORE 29949.013
AT ITER 2111 NEW BEST:: SOT 700465 SOS 523189 HAS SOPS 316241 HAS SOUS 50403 HAS SOUPS 29414 WITH SCORE 29937.189
AT ITER 2144 NEW BEST:: SOT 701546 SOS 526041 HAS SOPS 317069 HAS SOUS 50015 HAS SOUPS 29297 WITH SCORE 29823.041
AT ITER 2170 NEW BEST:: SOT 701541 SOS 525478 HAS SOPS 316611 HAS SOUS 50003 HAS SOUPS 29292 WITH SCORE 29817.478
AT ITER 2186 NEW BEST:: SOT 701486 SOS 525434 HAS SOPS 316556 HAS SOUS 50003 HAS SOUPS 29292 WITH SCORE 29817.434
AT ITER 2205 NEW BEST:: SOT 701406 SOS 525349 HAS SOPS 316471 HAS SOUS 49954 HAS SOUPS 29243 WITH SCORE 29768.349
AT ITER 2258 NEW BEST:: SOT 701406 SOS 525447 HAS SOPS 316569 HAS SOUS 49951 HAS SOUPS 29240 WITH SCORE 29765.447
AT ITER 2346 NEW BEST:: SOT 701448 SOS 525489 HAS SOPS 316611 HAS SOUS 49930 HAS SOUPS 29226 WITH SCORE 29751.489
AT ITER 2354 NEW BEST:: SOT 701436 SOS 525473 HAS SOPS 316603 HAS SOUS 49902 HAS SOUPS 29202 WITH SCORE 29727.472999999998
AT ITER 2388 NEW BEST:: SOT 701288 SOS 524799 HAS SOPS 316603 HAS SOUS 49902 HAS SOUPS 29202 WITH SCORE 29726.799
AT ITER 2393 NEW BEST:: SOT 701258 SOS 524596 HAS SOPS 316556 HAS SOUS 49885 HAS SOUPS 29198 WITH SCORE 29722.596
AT ITER 2417 NEW BEST:: SOT 701191 SOS 524529 HAS SOPS 316556 HAS SOUS 49649 HAS SOUPS 29058 WITH SCORE 29582.529
AT ITER 2454 NEW BEST:: SOT 701171 SOS 524734 HAS SOPS 316611 HAS SOUS 49654 HAS SOUPS 29053 WITH SCORE 29577.734
AT ITER 2456 NEW BEST:: SOT 701159 SOS 524169 HAS SOPS 316046 HAS SOUS 49617 HAS SOUPS 29016 WITH SCORE 29540.169
AT ITER 2493 NEW BEST:: SOT 701159 SOS 524169 HAS SOPS 316046 HAS SOUS 49600 HAS SOUPS 28999 WITH SCORE 29523.169
AT ITER 2525 NEW BEST:: SOT 701155 SOS 523975 HAS SOPS 315882 HAS SOUS 49598 HAS SOUPS 28999 WITH SCORE 29522.975
AT ITER 2544 NEW BEST:: SOT 701147 SOS 523959 HAS SOPS 315882 HAS SOUS 49590 HAS SOUPS 28999 WITH SCORE 29522.959
AT ITER 2560 NEW BEST:: SOT 700528 SOS 515598 HAS SOPS 309045 HAS SOUS 49558 HAS SOUPS 28988 WITH SCORE 29503.597999999998
AT ITER 2589 NEW BEST:: SOT 700444 SOS 515458 HAS SOPS 308905 HAS SOUS 49502 HAS SOUPS 28932 WITH SCORE 29447.458
AT ITER 2590 NEW BEST:: SOT 700388 SOS 515192 HAS SOPS 308905 HAS SOUS 49477 HAS SOUPS 28930 WITH SCORE 29445.192
AT ITER 2591 NEW BEST:: SOT 700421 SOS 515225 HAS SOPS 308920 HAS SOUS 49474 HAS SOUPS 28927 WITH SCORE 29442.225
AT ITER 2618 NEW BEST:: SOT 700530 SOS 515334 HAS SOPS 308920 HAS SOUS 49231 HAS SOUPS 28792 WITH SCORE 29307.334
AT ITER 2623 NEW BEST:: SOT 700477 SOS 515281 HAS SOPS 308920 HAS SOUS 49231 HAS SOUPS 28792 WITH SCORE 29307.281
AT ITER 2662 NEW BEST:: SOT 699947 SOS 514698 HAS SOPS 308602 HAS SOUS 49231 HAS SOUPS 28792 WITH SCORE 29306.698
AT ITER 2664 NEW BEST:: SOT 699924 SOS 514660 HAS SOPS 308593 HAS SOUS 49210 HAS SOUPS 28785 WITH SCORE 29299.66
AT ITER 2719 NEW BEST:: SOT 699752 SOS 514206 HAS SOPS 308425 HAS SOUS 49059 HAS SOUPS 28771 WITH SCORE 29285.206
AT ITER 2720 NEW BEST:: SOT 699715 SOS 515367 HAS SOPS 309211 HAS SOUS 49077 HAS SOUPS 28764 WITH SCORE 29279.367
AT ITER 2742 NEW BEST:: SOT 699589 SOS 514811 HAS SOPS 309111 HAS SOUS 49028 HAS SOUPS 28753 WITH SCORE 29267.811
AT ITER 2744 NEW BEST:: SOT 699541 SOS 514763 HAS SOPS 309063 HAS SOUS 49028 HAS SOUPS 28753 WITH SCORE 29267.763
AT ITER 2776 NEW BEST:: SOT 699353 SOS 514319 HAS SOPS 308944 HAS SOUS 49027 HAS SOUPS 28753 WITH SCORE 29267.319
AT ITER 2783 NEW BEST:: SOT 699319 SOS 514501 HAS SOPS 309006 HAS SOUS 49024 HAS SOUPS 28742 WITH SCORE 29256.501
AT ITER 2784 NEW BEST:: SOT 699037 SOS 514219 HAS SOPS 308724 HAS SOUS 49024 HAS SOUPS 28742 WITH SCORE 29256.219
AT ITER 2796 NEW BEST:: SOT 699037 SOS 514216 HAS SOPS 308724 HAS SOUS 49021 HAS SOUPS 28742 WITH SCORE 29256.216
AT ITER 2813 NEW BEST:: SOT 698989 SOS 510830 HAS SOPS 305338 HAS SOUS 49008 HAS SOUPS 28729 WITH SCORE 29239.83
AT ITER 2853 NEW BEST:: SOT 698989 SOS 510830 HAS SOPS 305338 HAS SOUS 48999 HAS SOUPS 28724 WITH SCORE 29234.83
AT ITER 2865 NEW BEST:: SOT 698987 SOS 510828 HAS SOPS 305338 HAS SOUS 48999 HAS SOUPS 28724 WITH SCORE 29234.828
AT ITER 2885 NEW BEST:: SOT 698843 SOS 510684 HAS SOPS 305194 HAS SOUS 48963 HAS SOUPS 28704 WITH SCORE 29214.684
AT ITER 2918 NEW BEST:: SOT 698815 SOS 510656 HAS SOPS 305194 HAS SOUS 48963 HAS SOUPS 28704 WITH SCORE 29214.656
AT ITER 2954 NEW BEST:: SOT 698815 SOS 510656 HAS SOPS 305194 HAS SOUS 48747 HAS SOUPS 28584 WITH SCORE 29094.656
AT ITER 2968 NEW BEST:: SOT 698753 SOS 510594 HAS SOPS 305194 HAS SOUS 48747 HAS SOUPS 28584 WITH SCORE 29094.594
AT ITER 3019 NEW BEST:: SOT 700452 SOS 514219 HAS SOPS 306192 HAS SOUS 48816 HAS SOUPS 28530 WITH SCORE 29044.219
AT ITER 3028 NEW BEST:: SOT 700477 SOS 514243 HAS SOPS 306191 HAS SOUS 48814 HAS SOUPS 28529 WITH SCORE 29043.243
AT ITER 3040 NEW BEST:: SOT 700172 SOS 513492 HAS SOPS 306002 HAS SOUS 48809 HAS SOUPS 28524 WITH SCORE 29037.492
AT ITER 3062 NEW BEST:: SOT 700148 SOS 513648 HAS SOPS 305978 HAS SOUS 48809 HAS SOUPS 28512 WITH SCORE 29025.648
AT ITER 3078 NEW BEST:: SOT 699896 SOS 513498 HAS SOPS 306056 HAS SOUS 48586 HAS SOUPS 28487 WITH SCORE 29000.498
AT ITER 3080 NEW BEST:: SOT 699878 SOS 513444 HAS SOPS 306038 HAS SOUS 48568 HAS SOUPS 28487 WITH SCORE 29000.444
AT ITER 3086 NEW BEST:: SOT 700092 SOS 513592 HAS SOPS 306285 HAS SOUS 48521 HAS SOUPS 28475 WITH SCORE 28988.592
AT ITER 3127 NEW BEST:: SOT 700092 SOS 513592 HAS SOPS 306285 HAS SOUS 48517 HAS SOUPS 28471 WITH SCORE 28984.592
AT ITER 3133 NEW BEST:: SOT 700057 SOS 513557 HAS SOPS 306255 HAS SOUS 48517 HAS SOUPS 28471 WITH SCORE 28984.557
AT ITER 3138 NEW BEST:: SOT 699864 SOS 513318 HAS SOPS 306121 HAS SOUS 48495 HAS SOUPS 28449 WITH SCORE 28962.318
AT ITER 3159 NEW BEST:: SOT 699842 SOS 513264 HAS SOPS 306107 HAS SOUS 48491 HAS SOUPS 28447 WITH SCORE 28960.264
AT ITER 3187 NEW BEST:: SOT 699846 SOS 513238 HAS SOPS 306081 HAS SOUS 48491 HAS SOUPS 28447 WITH SCORE 28960.238
AT ITER 3189 NEW BEST:: SOT 699833 SOS 513225 HAS SOPS 306081 HAS SOUS 48491 HAS SOUPS 28447 WITH SCORE 28960.225
AT ITER 3195 NEW BEST:: SOT 699831 SOS 513238 HAS SOPS 306079 HAS SOUS 48490 HAS SOUPS 28445 WITH SCORE 28958.238
AT ITER 3199 NEW BEST:: SOT 699827 SOS 513232 HAS SOPS 306077 HAS SOUS 48488 HAS SOUPS 28443 WITH SCORE 28956.232
AT ITER 3206 NEW BEST:: SOT 699786 SOS 513109 HAS SOPS 306036 HAS SOUS 48447 HAS SOUPS 28443 WITH SCORE 28956.109
AT ITER 3225 NEW BEST:: SOT 700535 SOS 513965 HAS SOPS 306678 HAS SOUS 48551 HAS SOUPS 28441 WITH SCORE 28954.965
AT ITER 3231 NEW BEST:: SOT 700577 SOS 510039 HAS SOPS 303622 HAS SOUS 48495 HAS SOUPS 28443 WITH SCORE 28953.039
AT ITER 3281 NEW BEST:: SOT 700373 SOS 513027 HAS SOPS 305179 HAS SOUS 48462 HAS SOUPS 28410 WITH SCORE 28923.027000000002
AT ITER 3303 NEW BEST:: SOT 700338 SOS 512987 HAS SOPS 305149 HAS SOUS 48457 HAS SOUPS 28410 WITH SCORE 28922.987
AT ITER 3316 NEW BEST:: SOT 700645 SOS 513688 HAS SOPS 305248 HAS SOUS 48524 HAS SOUPS 28374 WITH SCORE 28887.688
AT ITER 3331 NEW BEST:: SOT 700650 SOS 513705 HAS SOPS 305252 HAS SOUS 48522 HAS SOUPS 28372 WITH SCORE 28885.705
AT ITER 3341 NEW BEST:: SOT 700634 SOS 513449 HAS SOPS 304996 HAS SOUS 48474 HAS SOUPS 28324 WITH SCORE 28837.449
AT ITER 3348 NEW BEST:: SOT 700575 SOS 513390 HAS SOPS 304996 HAS SOUS 48474 HAS SOUPS 28324 WITH SCORE 28837.39
AT ITER 3374 NEW BEST:: SOT 700715 SOS 512504 HAS SOPS 304555 HAS SOUS 48457 HAS SOUPS 28283 WITH SCORE 28795.504
AT ITER 3385 NEW BEST:: SOT 700695 SOS 512190 HAS SOPS 304436 HAS SOUS 48430 HAS SOUPS 28269 WITH SCORE 28781.19
AT ITER 3389 NEW BEST:: SOT 700636 SOS 512862 HAS SOPS 304847 HAS SOUS 48428 HAS SOUPS 28267 WITH SCORE 28779.862
AT ITER 3398 NEW BEST:: SOT 700614 SOS 512826 HAS SOPS 304832 HAS SOUS 48413 HAS SOUPS 28259 WITH SCORE 28771.826
AT ITER 3428 NEW BEST:: SOT 700605 SOS 512763 HAS SOPS 304769 HAS SOUS 48404 HAS SOUPS 28250 WITH SCORE 28762.763
AT ITER 3462 NEW BEST:: SOT 700543 SOS 512643 HAS SOPS 304736 HAS SOUS 48371 HAS SOUPS 28246 WITH SCORE 28758.643
AT ITER 3466 NEW BEST:: SOT 700469 SOS 512569 HAS SOPS 304736 HAS SOUS 48248 HAS SOUPS 28151 WITH SCORE 28663.569
AT ITER 3470 NEW BEST:: SOT 700431 SOS 512493 HAS SOPS 304717 HAS SOUS 48229 HAS SOUPS 28151 WITH SCORE 28663.493
AT ITER 3493 NEW BEST:: SOT 700429 SOS 512476 HAS SOPS 304715 HAS SOUS 48228 HAS SOUPS 28151 WITH SCORE 28663.476
AT ITER 3543 NEW BEST:: SOT 700429 SOS 512476 HAS SOPS 304715 HAS SOUS 48210 HAS SOUPS 28133 WITH SCORE 28645.476
AT ITER 3573 NEW BEST:: SOT 700429 SOS 512476 HAS SOPS 304715 HAS SOUS 48138 HAS SOUPS 28093 WITH SCORE 28605.476
AT ITER 3584 NEW BEST:: SOT 700436 SOS 512476 HAS SOPS 304505 HAS SOUS 48145 HAS SOUPS 28086 WITH SCORE 28598.476
AT ITER 3590 NEW BEST:: SOT 700502 SOS 509243 HAS SOPS 301272 HAS SOUS 48114 HAS SOUPS 28055 WITH SCORE 28564.243
AT ITER 3610 NEW BEST:: SOT 700492 SOS 509233 HAS SOPS 301272 HAS SOUS 48114 HAS SOUPS 28055 WITH SCORE 28564.233
AT ITER 3614 NEW BEST:: SOT 700492 SOS 509233 HAS SOPS 301272 HAS SOUS 47925 HAS SOUPS 27950 WITH SCORE 28459.233
AT ITER 3615 NEW BEST:: SOT 700486 SOS 509227 HAS SOPS 301221 HAS SOUS 47925 HAS SOUPS 27947 WITH SCORE 28456.227
AT ITER 3619 NEW BEST:: SOT 700014 SOS 508755 HAS SOPS 301031 HAS SOUS 47901 HAS SOUPS 27923 WITH SCORE 28431.755
AT ITER 3627 NEW BEST:: SOT 700006 SOS 508747 HAS SOPS 301031 HAS SOUS 47901 HAS SOUPS 27923 WITH SCORE 28431.747
AT ITER 3631 NEW BEST:: SOT 699998 SOS 507138 HAS SOPS 299395 HAS SOUS 47847 HAS SOUPS 27869 WITH SCORE 28376.138
AT ITER 3633 NEW BEST:: SOT 698736 SOS 503150 HAS SOPS 297712 HAS SOUS 47708 HAS SOUPS 27810 WITH SCORE 28313.15
AT ITER 3698 NEW BEST:: SOT 698694 SOS 503108 HAS SOPS 297712 HAS SOUS 47704 HAS SOUPS 27806 WITH SCORE 28309.108
AT ITER 3701 NEW BEST:: SOT 698589 SOS 503318 HAS SOPS 297922 HAS SOUS 47662 HAS SOUPS 27764 WITH SCORE 28267.318
AT ITER 3717 NEW BEST:: SOT 698573 SOS 503300 HAS SOPS 297910 HAS SOUS 47660 HAS SOUPS 27764 WITH SCORE 28267.3
AT ITER 3776 NEW BEST:: SOT 698570 SOS 502614 HAS SOPS 297329 HAS SOUS 47652 HAS SOUPS 27763 WITH SCORE 28265.614
AT ITER 3784 NEW BEST:: SOT 698820 SOS 503504 HAS SOPS 298135 HAS SOUS 47627 HAS SOUPS 27759 WITH SCORE 28262.504
AT ITER 3797 NEW BEST:: SOT 698808 SOS 503220 HAS SOPS 297995 HAS SOUS 47611 HAS SOUPS 27747 WITH SCORE 28250.22
AT ITER 3802 NEW BEST:: SOT 698618 SOS 502589 HAS SOPS 297765 HAS SOUS 47606 HAS SOUPS 27742 WITH SCORE 28244.589
AT ITER 3845 NEW BEST:: SOT 698620 SOS 502591 HAS SOPS 297767 HAS SOUS 47604 HAS SOUPS 27740 WITH SCORE 28242.591
AT ITER 3848 NEW BEST:: SOT 698312 SOS 502283 HAS SOPS 297503 HAS SOUS 47604 HAS SOUPS 27740 WITH SCORE 28242.283
AT ITER 3897 NEW BEST:: SOT 698220 SOS 502783 HAS SOPS 298003 HAS SOUS 47589 HAS SOUPS 27725 WITH SCORE 28227.783
AT ITER 3907 NEW BEST:: SOT 698371 SOS 498671 HAS SOPS 297007 HAS SOUS 47448 HAS SOUPS 27675 WITH SCORE 28173.671
AT ITER 3909 NEW BEST:: SOT 698400 SOS 498758 HAS SOPS 297036 HAS SOUS 47473 HAS SOUPS 27671 WITH SCORE 28169.758
AT ITER 3913 NEW BEST:: SOT 698300 SOS 498512 HAS SOPS 296968 HAS SOUS 47465 HAS SOUPS 27671 WITH SCORE 28169.512
AT ITER 3923 NEW BEST:: SOT 698298 SOS 498512 HAS SOPS 296965 HAS SOUS 47462 HAS SOUPS 27668 WITH SCORE 28166.512
AT ITER 3941 NEW BEST:: SOT 698072 SOS 498286 HAS SOPS 296854 HAS SOUS 47462 HAS SOUPS 27668 WITH SCORE 28166.286
AT ITER 3943 NEW BEST:: SOT 698071 SOS 498285 HAS SOPS 296854 HAS SOUS 47462 HAS SOUPS 27668 WITH SCORE 28166.285
AT ITER 3958 NEW BEST:: SOT 698090 SOS 498874 HAS SOPS 297443 HAS SOUS 47445 HAS SOUPS 27651 WITH SCORE 28149.874
AT ITER 3962 NEW BEST:: SOT 698107 SOS 494960 HAS SOPS 293655 HAS SOUS 47425 HAS SOUPS 27631 WITH SCORE 28125.96
AT ITER 3981 NEW BEST:: SOT 698110 SOS 494951 HAS SOPS 293655 HAS SOUS 47425 HAS SOUPS 27631 WITH SCORE 28125.951
AT ITER 4002 NEW BEST:: SOT 698106 SOS 494947 HAS SOPS 293651 HAS SOUS 47421 HAS SOUPS 27627 WITH SCORE 28121.947
AT ITER 4043 NEW BEST:: SOT 698120 SOS 495462 HAS SOPS 294166 HAS SOUS 47418 HAS SOUPS 27624 WITH SCORE 28119.462
AT ITER 4057 NEW BEST:: SOT 697811 SOS 497473 HAS SOPS 293491 HAS SOUS 47482 HAS SOUPS 27609 WITH SCORE 28106.473
AT ITER 4058 NEW BEST:: SOT 697799 SOS 497578 HAS SOPS 292935 HAS SOUS 47509 HAS SOUPS 27593 WITH SCORE 28090.578
AT ITER 4068 NEW BEST:: SOT 697799 SOS 497578 HAS SOPS 292935 HAS SOUS 47491 HAS SOUPS 27583 WITH SCORE 28080.578
AT ITER 4073 NEW BEST:: SOT 697799 SOS 497578 HAS SOPS 292935 HAS SOUS 47302 HAS SOUPS 27478 WITH SCORE 27975.578
AT ITER 4077 NEW BEST:: SOT 697865 SOS 497640 HAS SOPS 292981 HAS SOUS 47294 HAS SOUPS 27476 WITH SCORE 27973.64
AT ITER 4116 NEW BEST:: SOT 697966 SOS 497703 HAS SOPS 293101 HAS SOUS 47270 HAS SOUPS 27471 WITH SCORE 27968.703
AT ITER 4129 NEW BEST:: SOT 697873 SOS 497610 HAS SOPS 293101 HAS SOUS 47270 HAS SOUPS 27471 WITH SCORE 27968.61
AT ITER 4160 NEW BEST:: SOT 697807 SOS 497478 HAS SOPS 293068 HAS SOUS 47237 HAS SOUPS 27471 WITH SCORE 27968.478
AT ITER 4188 NEW BEST:: SOT 697782 SOS 497387 HAS SOPS 292977 HAS SOUS 47237 HAS SOUPS 27471 WITH SCORE 27968.387
AT ITER 4192 NEW BEST:: SOT 697781 SOS 497386 HAS SOPS 292977 HAS SOUS 47237 HAS SOUPS 27471 WITH SCORE 27968.386
AT ITER 4205 NEW BEST:: SOT 697806 SOS 497226 HAS SOPS 292817 HAS SOUS 47230 HAS SOUPS 27464 WITH SCORE 27961.226
AT ITER 4209 NEW BEST:: SOT 698392 SOS 497566 HAS SOPS 293526 HAS SOUS 47099 HAS SOUPS 27456 WITH SCORE 27953.566
AT ITER 4239 NEW BEST:: SOT 698446 SOS 496624 HAS SOPS 293259 HAS SOUS 47044 HAS SOUPS 27446 WITH SCORE 27942.624
AT ITER 4261 NEW BEST:: SOT 698448 SOS 496592 HAS SOPS 293227 HAS SOUS 47042 HAS SOUPS 27444 WITH SCORE 27940.592
AT ITER 4289 NEW BEST:: SOT 698448 SOS 496592 HAS SOPS 293227 HAS SOUS 47006 HAS SOUPS 27424 WITH SCORE 27920.592
AT ITER 4314 NEW BEST:: SOT 698424 SOS 496568 HAS SOPS 293227 HAS SOUS 47006 HAS SOUPS 27424 WITH SCORE 27920.568
AT ITER 4402 NEW BEST:: SOT 698406 SOS 496577 HAS SOPS 293209 HAS SOUS 46997 HAS SOUPS 27415 WITH SCORE 27911.577
AT ITER 4406 NEW BEST:: SOT 698388 SOS 496550 HAS SOPS 293200 HAS SOUS 46988 HAS SOUPS 27406 WITH SCORE 27902.55
AT ITER 4416 NEW BEST:: SOT 698729 SOS 497376 HAS SOPS 293449 HAS SOUS 47114 HAS SOUPS 27375 WITH SCORE 27872.376
AT ITER 4418 NEW BEST:: SOT 698729 SOS 497222 HAS SOPS 293463 HAS SOUS 47091 HAS SOUPS 27366 WITH SCORE 27863.222
AT ITER 4420 NEW BEST:: SOT 698764 SOS 497257 HAS SOPS 293463 HAS SOUS 47010 HAS SOUPS 27321 WITH SCORE 27818.257
AT ITER 4455 NEW BEST:: SOT 698764 SOS 497145 HAS SOPS 293351 HAS SOUS 47010 HAS SOUPS 27321 WITH SCORE 27818.145
AT ITER 4459 NEW BEST:: SOT 698717 SOS 496231 HAS SOPS 292027 HAS SOUS 47042 HAS SOUPS 27313 WITH SCORE 27809.231
AT ITER 4514 NEW BEST:: SOT 698708 SOS 496222 HAS SOPS 292027 HAS SOUS 47042 HAS SOUPS 27313 WITH SCORE 27809.222
AT ITER 4516 NEW BEST:: SOT 698706 SOS 495601 HAS SOPS 291526 HAS SOUS 47032 HAS SOUPS 27311 WITH SCORE 27806.601
AT ITER 4526 NEW BEST:: SOT 698124 SOS 494089 HAS SOPS 291098 HAS SOUS 46965 HAS SOUPS 27255 WITH SCORE 27749.089
AT ITER 4547 NEW BEST:: SOT 696765 SOS 491239 HAS SOPS 290306 HAS SOUS 46833 HAS SOUPS 27255 WITH SCORE 27746.239
AT ITER 4549 NEW BEST:: SOT 696707 SOS 491916 HAS SOPS 290975 HAS SOUS 46819 HAS SOUPS 27254 WITH SCORE 27745.916
AT ITER 4564 NEW BEST:: SOT 696689 SOS 491888 HAS SOPS 290962 HAS SOUS 46770 HAS SOUPS 27226 WITH SCORE 27717.888
AT ITER 4565 NEW BEST:: SOT 696640 SOS 491055 HAS SOPS 289394 HAS SOUS 46763 HAS SOUPS 27170 WITH SCORE 27661.055
AT ITER 4573 NEW BEST:: SOT 696648 SOS 490624 HAS SOPS 288681 HAS SOUS 46770 HAS SOUPS 27155 WITH SCORE 27645.624
AT ITER 4575 NEW BEST:: SOT 695938 SOS 489756 HAS SOPS 288129 HAS SOUS 46678 HAS SOUPS 27155 WITH SCORE 27644.756
AT ITER 4582 NEW BEST:: SOT 695921 SOS 489739 HAS SOPS 288129 HAS SOUS 46678 HAS SOUPS 27155 WITH SCORE 27644.739
AT ITER 4603 NEW BEST:: SOT 695854 SOS 489672 HAS SOPS 288129 HAS SOUS 46678 HAS SOUPS 27155 WITH SCORE 27644.672
AT ITER 4642 NEW BEST:: SOT 695819 SOS 489787 HAS SOPS 288169 HAS SOUS 46673 HAS SOUPS 27145 WITH SCORE 27634.787
AT ITER 4645 NEW BEST:: SOT 695989 SOS 489967 HAS SOPS 288320 HAS SOUS 46684 HAS SOUPS 27137 WITH SCORE 27626.967
AT ITER 4653 NEW BEST:: SOT 695986 SOS 489931 HAS SOPS 288254 HAS SOUS 46685 HAS SOUPS 27136 WITH SCORE 27625.931
AT ITER 4658 NEW BEST:: SOT 695914 SOS 488381 HAS SOPS 287074 HAS SOUS 46665 HAS SOUPS 27116 WITH SCORE 27604.381
AT ITER 4661 NEW BEST:: SOT 695902 SOS 488177 HAS SOPS 287050 HAS SOUS 46652 HAS SOUPS 27115 WITH SCORE 27603.177
AT ITER 4694 NEW BEST:: SOT 695902 SOS 488177 HAS SOPS 287050 HAS SOUS 46634 HAS SOUPS 27105 WITH SCORE 27593.177
AT ITER 4698 NEW BEST:: SOT 695870 SOS 488049 HAS SOPS 286794 HAS SOUS 46626 HAS SOUPS 27087 WITH SCORE 27575.049
AT ITER 4744 NEW BEST:: SOT 695870 SOS 488049 HAS SOPS 286794 HAS SOUS 46590 HAS SOUPS 27067 WITH SCORE 27555.049
AT ITER 4750 NEW BEST:: SOT 695932 SOS 484340 HAS SOPS 283085 HAS SOUS 46578 HAS SOUPS 27055 WITH SCORE 27539.34
AT ITER 4762 NEW BEST:: SOT 695932 SOS 484340 HAS SOPS 283085 HAS SOUS 46554 HAS SOUPS 27039 WITH SCORE 27523.34
AT ITER 4771 NEW BEST:: SOT 695928 SOS 484332 HAS SOPS 283141 HAS SOUS 46550 HAS SOUPS 27039 WITH SCORE 27523.332
AT ITER 4780 NEW BEST:: SOT 695927 SOS 484317 HAS SOPS 283141 HAS SOUS 46547 HAS SOUPS 27037 WITH SCORE 27521.317
AT ITER 4784 NEW BEST:: SOT 695927 SOS 484317 HAS SOPS 283141 HAS SOUS 46493 HAS SOUPS 27007 WITH SCORE 27491.317
AT ITER 4829 NEW BEST:: SOT 695927 SOS 484392 HAS SOPS 283136 HAS SOUS 46493 HAS SOUPS 27002 WITH SCORE 27486.392
AT ITER 4838 NEW BEST:: SOT 695995 SOS 484460 HAS SOPS 283136 HAS SOUS 46459 HAS SOUPS 26984 WITH SCORE 27468.46
AT ITER 4846 NEW BEST:: SOT 695974 SOS 484439 HAS SOPS 283136 HAS SOUS 46459 HAS SOUPS 26984 WITH SCORE 27468.439
AT ITER 4859 NEW BEST:: SOT 695915 SOS 483827 HAS SOPS 282818 HAS SOUS 46444 HAS SOUPS 26973 WITH SCORE 27456.827
AT ITER 4868 NEW BEST:: SOT 695863 SOS 482862 HAS SOPS 283563 HAS SOUS 46262 HAS SOUPS 26905 WITH SCORE 27387.862
AT ITER 4870 NEW BEST:: SOT 695863 SOS 482862 HAS SOPS 283563 HAS SOUS 46253 HAS SOUPS 26900 WITH SCORE 27382.862
AT ITER 4964 NEW BEST:: SOT 695861 SOS 482859 HAS SOPS 283562 HAS SOUS 46249 HAS SOUPS 26897 WITH SCORE 27379.859
AT ITER 4981 NEW BEST:: SOT 695839 SOS 482647 HAS SOPS 283602 HAS SOUS 46224 HAS SOUPS 26893 WITH SCORE 27375.647
AT ITER 4998 NEW BEST:: SOT 695839 SOS 482812 HAS SOPS 283767 HAS SOUS 46213 HAS SOUPS 26882 WITH SCORE 27364.812
Bounds file is: CTLFireability.xml
PROPERTY: DLCround-PT-11a-CTLFireability-00 ( ( ( ((potential((tk(P110)>=1) & (tk(P340)>=1)))) & ( (AX( ((potential((tk(P97)>=1) & (tk(P315)>=1)))))) | ((potential((tk(P117)>=1) & (tk(P344)>=1)))) ) ) & ((potential((tk(P165)>=1) & (tk(P46)>=1)))) ) | ( (EF( ( ( ((potential((tk(P98)>=1) & (tk(P351)>=1)))) & ((potential((tk(P306)>=1) & (tk(P98)>=1)))) ) & ((potential((tk(P338)>=1) & (tk(P116)>=1)))) ))) & (! ((potential((tk(P35)>=1) & (tk(P151)>=1))))) ) )
PROPERTY: DLCround-PT-11a-CTLFireability-01 ( (EU( (! ( ((potential((tk(P45)>=1) & (tk(P257)>=1)))) & ((potential((tk(P114)>=1) & (tk(P334)>=1)))) )) , ( ( ((potential((tk(P80)>=1) & (tk(P310)>=1)))) & ((potential((tk(P29)>=1) & (tk(P173)>=1)))) ) & ((potential((tk(P124)>=1) & (tk(P345)>=1)))) ) )) | ((potential((tk(P54)>=1) & (tk(P274)>=1)))) )
PROPERTY: DLCround-PT-11a-CTLFireability-02 (EF( (EG( (AX( ((potential((tk(P78)>=1))))))))))
PROPERTY: DLCround-PT-11a-CTLFireability-03 ( ( (AF( (! ( ((potential((tk(P209)>=1) & (tk(P15)>=1)))) | ((potential((tk(P88)>=1) & (tk(P192)>=1)))) )))) & ((potential((tk(P118)>=1) & (tk(P217)>=1)))) ) | (EF( (AG( ((potential((tk(P83)>=1)))))))) )
PROPERTY: DLCround-PT-11a-CTLFireability-04 (EF( (AG( ( ( ((potential((tk(P128)>=1) & (tk(P228)>=1)))) & ((potential((tk(P163)>=1) & (tk(P46)>=1)))) ) | ( ((potential((tk(P68)>=1) & (tk(P174)>=1)))) | ((potential((tk(P15)>=1) & (tk(P169)>=1)))) ) )))))
PROPERTY: DLCround-PT-11a-CTLFireability-05 ( ( ( (! (AF( ((potential((tk(P12)>=1))))))) | ((potential((tk(P100)>=1) & (tk(P325)>=1)))) ) | (! (AU( ((potential((tk(P78)>=1) & (tk(P186)>=1)))) , ((potential((tk(P127)>=1) & (tk(P229)>=1)))) ))) ) & (EU( (! ( ((potential((tk(P138)>=1) & (tk(P288)>=1)))) & ((potential((tk(P8)>=1)))) )) , (EG( ((potential((tk(P68)>=1) & (tk(P248)>=1)))))) )) )
PROPERTY: DLCround-PT-11a-CTLFireability-06 ( (EG( (EX( ( ((potential((tk(P138)>=1) & (tk(P237)>=1)))) & ((potential((tk(P351)>=1) & (tk(P98)>=1)))) ))))) | (EF( (AX( ( ((potential((tk(P2)>=1) & (tk(P158)>=1)))) & ((potential((tk(P52)>=1) & (tk(P272)>=1)))) ))))) )
PROPERTY: DLCround-PT-11a-CTLFireability-07 (EX( (AF( (EF( ((potential((tk(P45)>=1) & (tk(P165)>=1))))))))))
PROPERTY: DLCround-PT-11a-CTLFireability-08 ( ( (! (! ( ( ((potential((tk(P147)>=1) & (tk(P368)>=1)))) & ((potential((tk(P49)>=1)))) ) & ((potential((tk(P107)>=1)))) ))) | (EU( (! ((potential((tk(P33)>=1) & (tk(P155)>=1))))) , ((potential((tk(P125)>=1) & (tk(P225)>=1)))) )) ) & ( ( ( ((potential((tk(P38)>=1) & (tk(P253)>=1)))) | ((potential((tk(P15)>=1) & (tk(P185)>=1)))) ) & ( (! ((potential((tk(P108)>=1) & (tk(P213)>=1))))) | ( ((potential((tk(P128)>=1) & (tk(P265)>=1)))) & (! ((potential((tk(P37)>=1) & (tk(P254)>=1))))) ) ) ) | (EF( (AX( ((potential((tk(P341)>=1) & (tk(P116)>=1)))))))) ) )
PROPERTY: DLCround-PT-11a-CTLFireability-09 (EU( (! (AG( ((potential((tk(P133)>=1))))))) , (AX( ( ((potential((tk(P75)>=1) & (tk(P291)>=1)))) | ((potential((tk(P5)>=1) & (tk(P166)>=1)))) ))) ))
PROPERTY: DLCround-PT-11a-CTLFireability-10 (EF( ( ( ( (! ((potential((tk(P142)>=1) & (tk(P377)>=1))))) | ( ((potential((tk(P229)>=1) & (tk(P29)>=1)))) & ((potential((tk(P270)>=1) & (tk(P56)>=1)))) ) ) & ( ( ((potential((tk(P123)>=1) & (tk(P353)>=1)))) & ((potential((tk(P108)>=1) & (tk(P213)>=1)))) ) & (! ((potential((tk(P153)>=1) & (tk(P36)>=1))))) ) ) & (EG( ( ((potential((tk(P38)>=1) & (tk(P250)>=1)))) & ((potential((tk(P131)>=1)))) ))) )))
PROPERTY: DLCround-PT-11a-CTLFireability-11 (! (AG( (EF( ( ((potential((tk(P119)>=1) & (tk(P342)>=1)))) & ((potential((tk(P78)>=1) & (tk(P360)>=1)))) ))))))
PROPERTY: DLCround-PT-11a-CTLFireability-12 (EX( (EF( ( ( ((potential((tk(P8)>=1) & (tk(P183)>=1)))) & ((potential((tk(P331)>=1) & (tk(P106)>=1)))) ) & ( ((potential((tk(P52)>=1) & (tk(P275)>=1)))) | ((potential((tk(P132)>=1)))) ) )))))
PROPERTY: DLCround-PT-11a-CTLFireability-13 (EG( ( (AG( (! ((potential((tk(P45)>=1) & (tk(P165)>=1))))))) | (AX( ( ((potential((tk(P360)>=1) & (tk(P136)>=1)))) | ((potential((tk(P118)>=1) & (tk(P264)>=1)))) ))) )))
PROPERTY: DLCround-PT-11a-CTLFireability-14 (EG( ( ( (EF( ((potential((tk(P78)>=1) & (tk(P184)>=1)))))) | (EF( ((potential((tk(P88)>=1) & (tk(P250)>=1)))))) ) & (AG( (! ((potential((tk(P323)>=1) & (tk(P106)>=1))))))) )))
PROPERTY: DLCround-PT-11a-CTLFireability-15 (EU( (! (AX( ((potential((tk(P118)>=1) & (tk(P214)>=1))))))) , (EG( ((potential((tk(P68)>=1) & (tk(P326)>=1)))))) ))

BK_STOP 1589133079366

--------------------
content from stderr:

/home/mcc/BenchKit/bin/smart.sh: line 117: 486 Segmentation fault ${SMART} ${INPUT_SM}

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCround-PT-11a"
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 DLCround-PT-11a, 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 r048-ebro-158902542400580"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-11a.tgz
mv DLCround-PT-11a 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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;