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-158902542300532.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-08a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542300532
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 640K
-rw-r--r-- 1 mcc users 2.6K Mar 30 19:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 14K Mar 30 19:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 29 09:25 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 29 09:25 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.0K Apr 8 14:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K 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 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Mar 28 05:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 28 05:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 26 23:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 26 23:39 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 479K 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-08a-CTLFireability-00
FORMULA_NAME DLCround-PT-08a-CTLFireability-01
FORMULA_NAME DLCround-PT-08a-CTLFireability-02
FORMULA_NAME DLCround-PT-08a-CTLFireability-03
FORMULA_NAME DLCround-PT-08a-CTLFireability-04
FORMULA_NAME DLCround-PT-08a-CTLFireability-05
FORMULA_NAME DLCround-PT-08a-CTLFireability-06
FORMULA_NAME DLCround-PT-08a-CTLFireability-07
FORMULA_NAME DLCround-PT-08a-CTLFireability-08
FORMULA_NAME DLCround-PT-08a-CTLFireability-09
FORMULA_NAME DLCround-PT-08a-CTLFireability-10
FORMULA_NAME DLCround-PT-08a-CTLFireability-11
FORMULA_NAME DLCround-PT-08a-CTLFireability-12
FORMULA_NAME DLCround-PT-08a-CTLFireability-13
FORMULA_NAME DLCround-PT-08a-CTLFireability-14
FORMULA_NAME DLCround-PT-08a-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589127387423

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 08a
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: 263 places, 1907 transitions, 7354 arcs.
AT ITER 0 NEW BEST:: SOT 320727 SOS 265771 HAS SOPS 160044 HAS SOUS 35066 HAS SOUPS 23630 WITH SCORE 23895.771
AT ITER 2 NEW BEST:: SOT 320653 SOS 262807 HAS SOPS 157500 HAS SOUS 35002 HAS SOUPS 23601 WITH SCORE 23863.807
AT ITER 13 NEW BEST:: SOT 320653 SOS 262807 HAS SOPS 157500 HAS SOUS 35000 HAS SOUPS 23599 WITH SCORE 23861.807
AT ITER 18 NEW BEST:: SOT 320620 SOS 262653 HAS SOPS 157445 HAS SOUS 34967 HAS SOUPS 23577 WITH SCORE 23839.653
AT ITER 26 NEW BEST:: SOT 320670 SOS 262153 HAS SOPS 157425 HAS SOUS 34867 HAS SOUPS 23517 WITH SCORE 23779.153
AT ITER 34 NEW BEST:: SOT 320607 SOS 261271 HAS SOPS 157299 HAS SOUS 34786 HAS SOUPS 23499 WITH SCORE 23760.271
AT ITER 42 NEW BEST:: SOT 320545 SOS 259497 HAS SOPS 157052 HAS SOUS 35318 HAS SOUPS 23461 WITH SCORE 23720.497
AT ITER 59 NEW BEST:: SOT 320743 SOS 257920 HAS SOPS 156733 HAS SOUS 36254 HAS SOUPS 23421 WITH SCORE 23678.92
AT ITER 67 NEW BEST:: SOT 321802 SOS 259143 HAS SOPS 157956 HAS SOUS 36235 HAS SOUPS 23402 WITH SCORE 23661.143
AT ITER 70 NEW BEST:: SOT 321783 SOS 259105 HAS SOPS 157918 HAS SOUS 36197 HAS SOUPS 23364 WITH SCORE 23623.105
AT ITER 83 NEW BEST:: SOT 321695 SOS 259694 HAS SOPS 158021 HAS SOUS 36178 HAS SOUPS 23327 WITH SCORE 23586.694
AT ITER 95 NEW BEST:: SOT 321816 SOS 260196 HAS SOPS 158533 HAS SOUS 36086 HAS SOUPS 23289 WITH SCORE 23549.196
AT ITER 103 NEW BEST:: SOT 321904 SOS 259186 HAS SOPS 158375 HAS SOUS 35986 HAS SOUPS 23260 WITH SCORE 23519.186
AT ITER 108 NEW BEST:: SOT 320870 SOS 256981 HAS SOPS 157297 HAS SOUS 34883 HAS SOUPS 22201 WITH SCORE 22457.981
AT ITER 111 NEW BEST:: SOT 320700 SOS 258080 HAS SOPS 157730 HAS SOUS 34765 HAS SOUPS 22083 WITH SCORE 22341.08
AT ITER 112 NEW BEST:: SOT 319720 SOS 257100 HAS SOPS 156400 HAS SOUS 34361 HAS SOUPS 21423 WITH SCORE 21680.1
AT ITER 121 NEW BEST:: SOT 319776 SOS 256567 HAS SOPS 156383 HAS SOUS 34258 HAS SOUPS 21363 WITH SCORE 21619.567
AT ITER 129 NEW BEST:: SOT 319784 SOS 256368 HAS SOPS 156184 HAS SOUS 34256 HAS SOUPS 21361 WITH SCORE 21617.368
AT ITER 135 NEW BEST:: SOT 319897 SOS 252175 HAS SOPS 152891 HAS SOUS 34171 HAS SOUPS 21351 WITH SCORE 21603.175
AT ITER 136 NEW BEST:: SOT 320153 SOS 251202 HAS SOPS 152623 HAS SOUS 35086 HAS SOUPS 21314 WITH SCORE 21565.202
AT ITER 159 NEW BEST:: SOT 319656 SOS 250018 HAS SOPS 152268 HAS SOUS 35053 HAS SOUPS 21288 WITH SCORE 21538.018
AT ITER 179 NEW BEST:: SOT 319656 SOS 250016 HAS SOPS 152260 HAS SOUS 35047 HAS SOUPS 21284 WITH SCORE 21534.016
AT ITER 187 NEW BEST:: SOT 319676 SOS 248913 HAS SOPS 152042 HAS SOUS 35514 HAS SOUPS 21216 WITH SCORE 21464.913
AT ITER 204 NEW BEST:: SOT 319662 SOS 248717 HAS SOPS 151846 HAS SOUS 35500 HAS SOUPS 21202 WITH SCORE 21450.717
AT ITER 207 NEW BEST:: SOT 319668 SOS 246871 HAS SOPS 151529 HAS SOUS 36151 HAS SOUPS 21131 WITH SCORE 21377.871
AT ITER 224 NEW BEST:: SOT 319619 SOS 246822 HAS SOPS 151480 HAS SOUS 36102 HAS SOUPS 21082 WITH SCORE 21328.822
AT ITER 227 NEW BEST:: SOT 319566 SOS 240957 HAS SOPS 146630 HAS SOUS 36075 HAS SOUPS 21055 WITH SCORE 21295.957
AT ITER 264 NEW BEST:: SOT 319562 SOS 240917 HAS SOPS 146610 HAS SOUS 36063 HAS SOUPS 21047 WITH SCORE 21287.917
AT ITER 270 NEW BEST:: SOT 319146 SOS 240244 HAS SOPS 146109 HAS SOUS 36104 HAS SOUPS 21045 WITH SCORE 21285.244
AT ITER 292 NEW BEST:: SOT 319143 SOS 240202 HAS SOPS 146067 HAS SOUS 36101 HAS SOUPS 21042 WITH SCORE 21282.202
AT ITER 293 NEW BEST:: SOT 319159 SOS 240039 HAS SOPS 146060 HAS SOUS 36068 HAS SOUPS 21022 WITH SCORE 21262.039
AT ITER 312 NEW BEST:: SOT 319149 SOS 240249 HAS SOPS 146205 HAS SOUS 36068 HAS SOUPS 21017 WITH SCORE 21257.249
AT ITER 314 NEW BEST:: SOT 319150 SOS 240193 HAS SOPS 146605 HAS SOUS 35997 HAS SOUPS 20984 WITH SCORE 21224.193
AT ITER 325 NEW BEST:: SOT 319663 SOS 239287 HAS SOPS 146325 HAS SOUS 37034 HAS SOUPS 20937 WITH SCORE 21176.287
AT ITER 327 NEW BEST:: SOT 319684 SOS 240010 HAS SOPS 146375 HAS SOUS 37012 HAS SOUPS 20915 WITH SCORE 21155.01
AT ITER 339 NEW BEST:: SOT 319815 SOS 240025 HAS SOPS 146390 HAS SOUS 36943 HAS SOUPS 20875 WITH SCORE 21115.025
AT ITER 355 NEW BEST:: SOT 319796 SOS 239759 HAS SOPS 146496 HAS SOUS 36881 HAS SOUPS 20844 WITH SCORE 21083.759
AT ITER 358 NEW BEST:: SOT 320291 SOS 240345 HAS SOPS 146718 HAS SOUS 36754 HAS SOUPS 20715 WITH SCORE 20955.345
AT ITER 359 NEW BEST:: SOT 320482 SOS 240822 HAS SOPS 147195 HAS SOUS 36254 HAS SOUPS 20215 WITH SCORE 20455.822
AT ITER 363 NEW BEST:: SOT 320482 SOS 240712 HAS SOPS 147162 HAS SOUS 36210 HAS SOUPS 20182 WITH SCORE 20422.712
AT ITER 364 NEW BEST:: SOT 320471 SOS 240733 HAS SOPS 147119 HAS SOUS 36231 HAS SOUPS 20171 WITH SCORE 20411.733
AT ITER 365 NEW BEST:: SOT 320348 SOS 240533 HAS SOPS 146611 HAS SOUS 36054 HAS SOUPS 20044 WITH SCORE 20284.533
AT ITER 371 NEW BEST:: SOT 320121 SOS 240544 HAS SOPS 146622 HAS SOUS 35673 HAS SOUPS 19663 WITH SCORE 19903.544
AT ITER 375 NEW BEST:: SOT 320080 SOS 240480 HAS SOPS 146466 HAS SOUS 35479 HAS SOUPS 19492 WITH SCORE 19732.48
AT ITER 382 NEW BEST:: SOT 319684 SOS 239829 HAS SOPS 146144 HAS SOUS 35458 HAS SOUPS 19471 WITH SCORE 19710.829
AT ITER 387 NEW BEST:: SOT 319648 SOS 239013 HAS SOPS 145700 HAS SOUS 35417 HAS SOUPS 19461 WITH SCORE 19700.013
AT ITER 403 NEW BEST:: SOT 319646 SOS 238985 HAS SOPS 145672 HAS SOUS 35415 HAS SOUPS 19459 WITH SCORE 19697.985
AT ITER 406 NEW BEST:: SOT 319666 SOS 239005 HAS SOPS 145664 HAS SOUS 35407 HAS SOUPS 19451 WITH SCORE 19690.005
AT ITER 410 NEW BEST:: SOT 319684 SOS 239809 HAS SOPS 146063 HAS SOUS 35419 HAS SOUPS 19448 WITH SCORE 19687.809
AT ITER 414 NEW BEST:: SOT 319573 SOS 239403 HAS SOPS 145853 HAS SOUS 35318 HAS SOUPS 19411 WITH SCORE 19650.403
AT ITER 415 NEW BEST:: SOT 319641 SOS 239396 HAS SOPS 145876 HAS SOUS 35300 HAS SOUPS 19408 WITH SCORE 19647.396
AT ITER 444 NEW BEST:: SOT 319567 SOS 238391 HAS SOPS 145725 HAS SOUS 35195 HAS SOUPS 19375 WITH SCORE 19613.391
AT ITER 446 NEW BEST:: SOT 319503 SOS 239761 HAS SOPS 147095 HAS SOUS 35168 HAS SOUPS 19348 WITH SCORE 19587.761
AT ITER 450 NEW BEST:: SOT 319581 SOS 239912 HAS SOPS 146881 HAS SOUS 34964 HAS SOUPS 18880 WITH SCORE 19119.912
AT ITER 452 NEW BEST:: SOT 319585 SOS 239916 HAS SOPS 146791 HAS SOUS 34590 HAS SOUPS 18674 WITH SCORE 18913.916
AT ITER 453 NEW BEST:: SOT 319585 SOS 239916 HAS SOPS 146791 HAS SOUS 34509 HAS SOUPS 18629 WITH SCORE 18868.916
AT ITER 467 NEW BEST:: SOT 319585 SOS 239916 HAS SOPS 146709 HAS SOUS 34531 HAS SOUPS 18606 WITH SCORE 18845.916
AT ITER 469 NEW BEST:: SOT 319571 SOS 239566 HAS SOPS 146527 HAS SOUS 34517 HAS SOUPS 18606 WITH SCORE 18845.566
AT ITER 476 NEW BEST:: SOT 319572 SOS 239567 HAS SOPS 146504 HAS SOUS 34494 HAS SOUPS 18583 WITH SCORE 18822.567
AT ITER 492 NEW BEST:: SOT 319566 SOS 239579 HAS SOPS 146516 HAS SOUS 34482 HAS SOUPS 18571 WITH SCORE 18810.579
AT ITER 503 NEW BEST:: SOT 319556 SOS 239273 HAS SOPS 146474 HAS SOUS 34453 HAS SOUPS 18564 WITH SCORE 18803.273
AT ITER 510 NEW BEST:: SOT 319531 SOS 239248 HAS SOPS 146474 HAS SOUS 34390 HAS SOUPS 18528 WITH SCORE 18767.248
AT ITER 515 NEW BEST:: SOT 319552 SOS 238954 HAS SOPS 146432 HAS SOUS 34369 HAS SOUPS 18528 WITH SCORE 18766.954
AT ITER 521 NEW BEST:: SOT 319552 SOS 238954 HAS SOPS 146406 HAS SOUS 34343 HAS SOUPS 18502 WITH SCORE 18740.954
AT ITER 524 NEW BEST:: SOT 319430 SOS 238977 HAS SOPS 146940 HAS SOUS 33410 HAS SOUPS 18462 WITH SCORE 18700.977
AT ITER 531 NEW BEST:: SOT 319398 SOS 239837 HAS SOPS 147418 HAS SOUS 33399 HAS SOUPS 18449 WITH SCORE 18688.837
AT ITER 532 NEW BEST:: SOT 319397 SOS 239799 HAS SOPS 147417 HAS SOUS 33361 HAS SOUPS 18448 WITH SCORE 18687.799
AT ITER 542 NEW BEST:: SOT 319345 SOS 239695 HAS SOPS 146584 HAS SOUS 33373 HAS SOUPS 18379 WITH SCORE 18618.695
AT ITER 545 NEW BEST:: SOT 319125 SOS 239431 HAS SOPS 146430 HAS SOUS 33373 HAS SOUPS 18379 WITH SCORE 18618.431
AT ITER 546 NEW BEST:: SOT 319123 SOS 239421 HAS SOPS 146426 HAS SOUS 33371 HAS SOUPS 18379 WITH SCORE 18618.421
AT ITER 550 NEW BEST:: SOT 319100 SOS 239375 HAS SOPS 146403 HAS SOUS 33339 HAS SOUPS 18370 WITH SCORE 18609.375
AT ITER 563 NEW BEST:: SOT 319262 SOS 239510 HAS SOPS 146430 HAS SOUS 33308 HAS SOUPS 18333 WITH SCORE 18572.51
AT ITER 572 NEW BEST:: SOT 319250 SOS 239342 HAS SOPS 146262 HAS SOUS 33296 HAS SOUPS 18321 WITH SCORE 18560.342
AT ITER 576 NEW BEST:: SOT 319220 SOS 239004 HAS SOPS 146128 HAS SOUS 33245 HAS SOUPS 18287 WITH SCORE 18526.004
AT ITER 589 NEW BEST:: SOT 319217 SOS 239001 HAS SOPS 146125 HAS SOUS 33242 HAS SOUPS 18284 WITH SCORE 18523.001
AT ITER 621 NEW BEST:: SOT 319350 SOS 239036 HAS SOPS 146279 HAS SOUS 33200 HAS SOUPS 18270 WITH SCORE 18509.036
AT ITER 624 NEW BEST:: SOT 319329 SOS 239000 HAS SOPS 146258 HAS SOUS 33170 HAS SOUPS 18255 WITH SCORE 18494.0
AT ITER 635 NEW BEST:: SOT 319388 SOS 239118 HAS SOPS 146317 HAS SOUS 33176 HAS SOUPS 18250 WITH SCORE 18489.118
AT ITER 653 NEW BEST:: SOT 319357 SOS 240231 HAS SOPS 146881 HAS SOUS 33170 HAS SOUPS 18244 WITH SCORE 18484.231
AT ITER 678 NEW BEST:: SOT 320064 SOS 241105 HAS SOPS 147219 HAS SOUS 33231 HAS SOUPS 18124 WITH SCORE 18365.105
AT ITER 686 NEW BEST:: SOT 320016 SOS 241033 HAS SOPS 147219 HAS SOUS 33159 HAS SOUPS 18109 WITH SCORE 18350.033
AT ITER 690 NEW BEST:: SOT 320090 SOS 241198 HAS SOPS 147274 HAS SOUS 33154 HAS SOUPS 18104 WITH SCORE 18345.198
AT ITER 709 NEW BEST:: SOT 320023 SOS 241020 HAS SOPS 147241 HAS SOUS 33084 HAS SOUPS 18091 WITH SCORE 18332.02
AT ITER 717 NEW BEST:: SOT 320037 SOS 240840 HAS SOPS 147225 HAS SOUS 33048 HAS SOUPS 18071 WITH SCORE 18311.84
AT ITER 723 NEW BEST:: SOT 320023 SOS 240826 HAS SOPS 147211 HAS SOUS 33034 HAS SOUPS 18057 WITH SCORE 18297.826
AT ITER 727 NEW BEST:: SOT 320049 SOS 240768 HAS SOPS 147295 HAS SOUS 33010 HAS SOUPS 18055 WITH SCORE 18295.768
AT ITER 736 NEW BEST:: SOT 320026 SOS 240722 HAS SOPS 147295 HAS SOUS 32987 HAS SOUPS 18055 WITH SCORE 18295.722
AT ITER 755 NEW BEST:: SOT 319954 SOS 240662 HAS SOPS 147235 HAS SOUS 32951 HAS SOUPS 18019 WITH SCORE 18259.662
AT ITER 778 NEW BEST:: SOT 319954 SOS 240662 HAS SOPS 147235 HAS SOUS 32942 HAS SOUPS 18014 WITH SCORE 18254.662
AT ITER 785 NEW BEST:: SOT 320041 SOS 240834 HAS SOPS 147237 HAS SOUS 33021 HAS SOUPS 18011 WITH SCORE 18251.834
AT ITER 798 NEW BEST:: SOT 320317 SOS 234666 HAS SOPS 142509 HAS SOUS 32883 HAS SOUPS 17993 WITH SCORE 18227.666
AT ITER 810 NEW BEST:: SOT 319664 SOS 232132 HAS SOPS 140961 HAS SOUS 32790 HAS SOUPS 17907 WITH SCORE 18139.132
AT ITER 811 NEW BEST:: SOT 319680 SOS 228111 HAS SOPS 137624 HAS SOUS 32695 HAS SOUPS 17869 WITH SCORE 18097.111
AT ITER 815 NEW BEST:: SOT 319224 SOS 227129 HAS SOPS 135842 HAS SOUS 32693 HAS SOUPS 17745 WITH SCORE 17972.129
AT ITER 824 NEW BEST:: SOT 319224 SOS 227116 HAS SOPS 135842 HAS SOUS 32671 HAS SOUPS 17740 WITH SCORE 17967.116
AT ITER 826 NEW BEST:: SOT 319226 SOS 227060 HAS SOPS 135840 HAS SOUS 32657 HAS SOUPS 17732 WITH SCORE 17959.06
AT ITER 840 NEW BEST:: SOT 319229 SOS 226814 HAS SOPS 135816 HAS SOUS 32621 HAS SOUPS 17732 WITH SCORE 17958.814
AT ITER 848 NEW BEST:: SOT 319561 SOS 227264 HAS SOPS 135971 HAS SOUS 32792 HAS SOUPS 17711 WITH SCORE 17938.264
AT ITER 849 NEW BEST:: SOT 319357 SOS 226522 HAS SOPS 135185 HAS SOUS 32779 HAS SOUPS 17631 WITH SCORE 17857.522
AT ITER 878 NEW BEST:: SOT 319333 SOS 226478 HAS SOPS 135153 HAS SOUS 32775 HAS SOUPS 17623 WITH SCORE 17849.478
AT ITER 882 NEW BEST:: SOT 318876 SOS 226941 HAS SOPS 135203 HAS SOUS 31551 HAS SOUPS 17401 WITH SCORE 17627.941
AT ITER 897 NEW BEST:: SOT 318916 SOS 226425 HAS SOPS 134687 HAS SOUS 31495 HAS SOUPS 17345 WITH SCORE 17571.425
AT ITER 903 NEW BEST:: SOT 318856 SOS 226355 HAS SOPS 134642 HAS SOUS 31495 HAS SOUPS 17345 WITH SCORE 17571.355
AT ITER 905 NEW BEST:: SOT 318857 SOS 226356 HAS SOPS 134566 HAS SOUS 31373 HAS SOUPS 17289 WITH SCORE 17515.356
AT ITER 912 NEW BEST:: SOT 318884 SOS 226403 HAS SOPS 134553 HAS SOUS 31380 HAS SOUPS 17276 WITH SCORE 17502.403
AT ITER 917 NEW BEST:: SOT 318890 SOS 226206 HAS SOPS 134546 HAS SOUS 31354 HAS SOUPS 17269 WITH SCORE 17495.206
AT ITER 926 NEW BEST:: SOT 319218 SOS 227062 HAS SOPS 135146 HAS SOUS 30737 HAS SOUPS 17244 WITH SCORE 17471.062
AT ITER 929 NEW BEST:: SOT 319217 SOS 227125 HAS SOPS 135081 HAS SOUS 30759 HAS SOUPS 17188 WITH SCORE 17415.125
AT ITER 937 NEW BEST:: SOT 319223 SOS 226852 HAS SOPS 134808 HAS SOUS 30728 HAS SOUPS 17157 WITH SCORE 17383.852
AT ITER 945 NEW BEST:: SOT 319338 SOS 226940 HAS SOPS 134950 HAS SOUS 30705 HAS SOUPS 17152 WITH SCORE 17378.94
AT ITER 946 NEW BEST:: SOT 319239 SOS 227324 HAS SOPS 135286 HAS SOUS 30701 HAS SOUPS 17148 WITH SCORE 17375.324
AT ITER 971 NEW BEST:: SOT 319329 SOS 227487 HAS SOPS 135303 HAS SOUS 30719 HAS SOUPS 17120 WITH SCORE 17347.487
AT ITER 974 NEW BEST:: SOT 319677 SOS 228195 HAS SOPS 135297 HAS SOUS 30858 HAS SOUPS 17108 WITH SCORE 17336.195
AT ITER 984 NEW BEST:: SOT 319500 SOS 227867 HAS SOPS 135271 HAS SOUS 30709 HAS SOUPS 17080 WITH SCORE 17307.867
AT ITER 988 NEW BEST:: SOT 319500 SOS 227867 HAS SOPS 135271 HAS SOUS 30700 HAS SOUPS 17075 WITH SCORE 17302.867
AT ITER 998 NEW BEST:: SOT 319512 SOS 227341 HAS SOPS 134979 HAS SOUS 30652 HAS SOUPS 17053 WITH SCORE 17280.341
AT ITER 1006 NEW BEST:: SOT 319602 SOS 227431 HAS SOPS 135069 HAS SOUS 30649 HAS SOUPS 17051 WITH SCORE 17278.431
AT ITER 1021 NEW BEST:: SOT 319637 SOS 227476 HAS SOPS 135089 HAS SOUS 30634 HAS SOUPS 17036 WITH SCORE 17263.476
AT ITER 1050 NEW BEST:: SOT 319588 SOS 227427 HAS SOPS 135047 HAS SOUS 30572 HAS SOUPS 16997 WITH SCORE 17224.427
AT ITER 1056 NEW BEST:: SOT 319589 SOS 227407 HAS SOPS 135021 HAS SOUS 30567 HAS SOUPS 16992 WITH SCORE 17219.407
AT ITER 1062 NEW BEST:: SOT 319692 SOS 227562 HAS SOPS 135020 HAS SOUS 30618 HAS SOUPS 16991 WITH SCORE 17218.562
AT ITER 1073 NEW BEST:: SOT 319705 SOS 226886 HAS SOPS 134695 HAS SOUS 30592 HAS SOUPS 16978 WITH SCORE 17204.886
AT ITER 1082 NEW BEST:: SOT 319732 SOS 227126 HAS SOPS 135067 HAS SOUS 29991 HAS SOUPS 16903 WITH SCORE 17130.126
AT ITER 1087 NEW BEST:: SOT 320514 SOS 228512 HAS SOPS 135601 HAS SOUS 29957 HAS SOUPS 16865 WITH SCORE 17093.512
AT ITER 1092 NEW BEST:: SOT 320498 SOS 228492 HAS SOPS 135545 HAS SOUS 29950 HAS SOUPS 16846 WITH SCORE 17074.492
AT ITER 1100 NEW BEST:: SOT 320618 SOS 228612 HAS SOPS 135665 HAS SOUS 29944 HAS SOUPS 16842 WITH SCORE 17070.612
AT ITER 1114 NEW BEST:: SOT 320528 SOS 228492 HAS SOPS 135635 HAS SOUS 29884 HAS SOUPS 16812 WITH SCORE 17040.492
AT ITER 1151 NEW BEST:: SOT 320463 SOS 228392 HAS SOPS 135605 HAS SOUS 29567 HAS SOUPS 16642 WITH SCORE 16870.392
AT ITER 1155 NEW BEST:: SOT 320475 SOS 228418 HAS SOPS 135603 HAS SOUS 29579 HAS SOUPS 16640 WITH SCORE 16868.418
AT ITER 1164 NEW BEST:: SOT 320472 SOS 228401 HAS SOPS 135588 HAS SOUS 29576 HAS SOUPS 16637 WITH SCORE 16865.401
AT ITER 1173 NEW BEST:: SOT 319853 SOS 226956 HAS SOPS 135146 HAS SOUS 29488 HAS SOUPS 16608 WITH SCORE 16834.956
AT ITER 1194 NEW BEST:: SOT 320358 SOS 227722 HAS SOPS 135639 HAS SOUS 29482 HAS SOUPS 16602 WITH SCORE 16829.722
AT ITER 1219 NEW BEST:: SOT 320392 SOS 227756 HAS SOPS 135639 HAS SOUS 29473 HAS SOUPS 16597 WITH SCORE 16824.756
AT ITER 1222 NEW BEST:: SOT 320509 SOS 227590 HAS SOPS 135473 HAS SOUS 29472 HAS SOUPS 16596 WITH SCORE 16823.59
AT ITER 1227 NEW BEST:: SOT 320635 SOS 227540 HAS SOPS 135423 HAS SOUS 29407 HAS SOUPS 16531 WITH SCORE 16758.54
AT ITER 1228 NEW BEST:: SOT 320615 SOS 227510 HAS SOPS 135413 HAS SOUS 29387 HAS SOUPS 16521 WITH SCORE 16748.51
AT ITER 1246 NEW BEST:: SOT 320575 SOS 226720 HAS SOPS 135081 HAS SOUS 29441 HAS SOUPS 16449 WITH SCORE 16675.72
AT ITER 1252 NEW BEST:: SOT 320269 SOS 226181 HAS SOPS 135008 HAS SOUS 29332 HAS SOUPS 16402 WITH SCORE 16628.181
AT ITER 1256 NEW BEST:: SOT 320307 SOS 226233 HAS SOPS 135025 HAS SOUS 29300 HAS SOUPS 16370 WITH SCORE 16596.233
AT ITER 1262 NEW BEST:: SOT 321184 SOS 228386 HAS SOPS 135705 HAS SOUS 29124 HAS SOUPS 16255 WITH SCORE 16483.386
AT ITER 1271 NEW BEST:: SOT 321148 SOS 228359 HAS SOPS 135678 HAS SOUS 29097 HAS SOUPS 16228 WITH SCORE 16456.359
AT ITER 1273 NEW BEST:: SOT 321144 SOS 228312 HAS SOPS 135674 HAS SOUS 29052 HAS SOUPS 16226 WITH SCORE 16454.312
AT ITER 1299 NEW BEST:: SOT 321144 SOS 228286 HAS SOPS 135473 HAS SOUS 29051 HAS SOUPS 16211 WITH SCORE 16439.286
AT ITER 1318 NEW BEST:: SOT 321036 SOS 228824 HAS SOPS 135651 HAS SOUS 29038 HAS SOUPS 16182 WITH SCORE 16410.824
AT ITER 1321 NEW BEST:: SOT 321015 SOS 228444 HAS SOPS 135535 HAS SOUS 29009 HAS SOUPS 16175 WITH SCORE 16403.444
AT ITER 1328 NEW BEST:: SOT 320986 SOS 228415 HAS SOPS 135535 HAS SOUS 28946 HAS SOUPS 16140 WITH SCORE 16368.415
AT ITER 1333 NEW BEST:: SOT 320966 SOS 228399 HAS SOPS 135511 HAS SOUS 28950 HAS SOUPS 16140 WITH SCORE 16368.399
AT ITER 1336 NEW BEST:: SOT 320927 SOS 227853 HAS SOPS 135433 HAS SOUS 28911 HAS SOUPS 16140 WITH SCORE 16367.853
AT ITER 1353 NEW BEST:: SOT 320869 SOS 226909 HAS SOPS 134921 HAS SOUS 28801 HAS SOUPS 16066 WITH SCORE 16292.909
AT ITER 1358 NEW BEST:: SOT 320893 SOS 226933 HAS SOPS 134945 HAS SOUS 28795 HAS SOUPS 16060 WITH SCORE 16286.933
AT ITER 1377 NEW BEST:: SOT 320846 SOS 226343 HAS SOPS 134536 HAS SOUS 28714 HAS SOUPS 16005 WITH SCORE 16231.343
AT ITER 1379 NEW BEST:: SOT 320998 SOS 226902 HAS SOPS 135046 HAS SOUS 28042 HAS SOUPS 15920 WITH SCORE 16146.902
AT ITER 1392 NEW BEST:: SOT 320971 SOS 228929 HAS SOPS 135477 HAS SOUS 27977 HAS SOUPS 15902 WITH SCORE 16130.929
AT ITER 1401 NEW BEST:: SOT 320968 SOS 228923 HAS SOPS 135477 HAS SOUS 27974 HAS SOUPS 15902 WITH SCORE 16130.923
AT ITER 1402 NEW BEST:: SOT 320959 SOS 228855 HAS SOPS 135400 HAS SOUS 27958 HAS SOUPS 15886 WITH SCORE 16114.855
AT ITER 1410 NEW BEST:: SOT 320997 SOS 225435 HAS SOPS 132676 HAS SOUS 27881 HAS SOUPS 15867 WITH SCORE 16092.435
AT ITER 1425 NEW BEST:: SOT 320965 SOS 224587 HAS SOPS 132236 HAS SOUS 27771 HAS SOUPS 15791 WITH SCORE 16015.587
AT ITER 1427 NEW BEST:: SOT 320958 SOS 224580 HAS SOPS 132236 HAS SOUS 27771 HAS SOUPS 15791 WITH SCORE 16015.58
AT ITER 1429 NEW BEST:: SOT 320943 SOS 224751 HAS SOPS 132371 HAS SOUS 27771 HAS SOUPS 15788 WITH SCORE 16012.751
AT ITER 1431 NEW BEST:: SOT 320898 SOS 224683 HAS SOPS 132349 HAS SOUS 27726 HAS SOUPS 15766 WITH SCORE 15990.683
AT ITER 1448 NEW BEST:: SOT 320935 SOS 223842 HAS SOPS 131482 HAS SOUS 27724 HAS SOUPS 15764 WITH SCORE 15987.842
AT ITER 1450 NEW BEST:: SOT 320923 SOS 223830 HAS SOPS 131482 HAS SOUS 27727 HAS SOUPS 15755 WITH SCORE 15978.83
AT ITER 1477 NEW BEST:: SOT 320914 SOS 224051 HAS SOPS 131486 HAS SOUS 27733 HAS SOUPS 15744 WITH SCORE 15968.051
AT ITER 1482 NEW BEST:: SOT 320845 SOS 223938 HAS SOPS 131461 HAS SOUS 27704 HAS SOUPS 15744 WITH SCORE 15967.938
AT ITER 1486 NEW BEST:: SOT 320847 SOS 223937 HAS SOPS 131461 HAS SOUS 27701 HAS SOUPS 15744 WITH SCORE 15967.937
AT ITER 1489 NEW BEST:: SOT 320847 SOS 223937 HAS SOPS 131461 HAS SOUS 27656 HAS SOUPS 15719 WITH SCORE 15942.937
AT ITER 1493 NEW BEST:: SOT 320885 SOS 224035 HAS SOPS 131527 HAS SOUS 27562 HAS SOUPS 15697 WITH SCORE 15921.035
AT ITER 1522 NEW BEST:: SOT 320894 SOS 223821 HAS SOPS 131550 HAS SOUS 27515 HAS SOUPS 15667 WITH SCORE 15890.821
AT ITER 1523 NEW BEST:: SOT 320957 SOS 223925 HAS SOPS 131572 HAS SOUS 27538 HAS SOUPS 15664 WITH SCORE 15887.925
AT ITER 1537 NEW BEST:: SOT 320717 SOS 223685 HAS SOPS 131332 HAS SOUS 27466 HAS SOUPS 15627 WITH SCORE 15850.685
AT ITER 1543 NEW BEST:: SOT 320718 SOS 223673 HAS SOPS 131332 HAS SOUS 27465 HAS SOUPS 15627 WITH SCORE 15850.673
AT ITER 1550 NEW BEST:: SOT 320713 SOS 224255 HAS SOPS 131589 HAS SOUS 27474 HAS SOUPS 15623 WITH SCORE 15847.255
AT ITER 1556 NEW BEST:: SOT 320703 SOS 224343 HAS SOPS 131572 HAS SOUS 27464 HAS SOUPS 15613 WITH SCORE 15837.343
AT ITER 1580 NEW BEST:: SOT 320684 SOS 224324 HAS SOPS 131567 HAS SOUS 27459 HAS SOUPS 15608 WITH SCORE 15832.324
AT ITER 1592 NEW BEST:: SOT 320810 SOS 224450 HAS SOPS 131609 HAS SOUS 27444 HAS SOUPS 15593 WITH SCORE 15817.45
AT ITER 1597 NEW BEST:: SOT 320843 SOS 224540 HAS SOPS 131657 HAS SOUS 27389 HAS SOUPS 15577 WITH SCORE 15801.54
AT ITER 1609 NEW BEST:: SOT 320885 SOS 224089 HAS SOPS 131356 HAS SOUS 27181 HAS SOUPS 15498 WITH SCORE 15722.089
AT ITER 1619 NEW BEST:: SOT 320951 SOS 224155 HAS SOPS 131356 HAS SOUS 27163 HAS SOUPS 15488 WITH SCORE 15712.155
AT ITER 1639 NEW BEST:: SOT 320957 SOS 223999 HAS SOPS 131344 HAS SOUS 27149 HAS SOUPS 15486 WITH SCORE 15709.999
AT ITER 1656 NEW BEST:: SOT 320897 SOS 223939 HAS SOPS 131284 HAS SOUS 27149 HAS SOUPS 15486 WITH SCORE 15709.939
AT ITER 1664 NEW BEST:: SOT 320661 SOS 223356 HAS SOPS 131067 HAS SOUS 27128 HAS SOUPS 15483 WITH SCORE 15706.356
AT ITER 1719 NEW BEST:: SOT 320655 SOS 223317 HAS SOPS 131025 HAS SOUS 27131 HAS SOUPS 15483 WITH SCORE 15706.317
AT ITER 1727 NEW BEST:: SOT 320691 SOS 223341 HAS SOPS 131022 HAS SOUS 27098 HAS SOUPS 15470 WITH SCORE 15693.341
AT ITER 1768 NEW BEST:: SOT 320714 SOS 223243 HAS SOPS 130913 HAS SOUS 27096 HAS SOUPS 15468 WITH SCORE 15691.243
AT ITER 1844 NEW BEST:: SOT 320474 SOS 223003 HAS SOPS 130793 HAS SOUS 27083 HAS SOUPS 15455 WITH SCORE 15678.003
AT ITER 1848 NEW BEST:: SOT 320483 SOS 223012 HAS SOPS 130802 HAS SOUS 27077 HAS SOUPS 15454 WITH SCORE 15677.012
AT ITER 1852 NEW BEST:: SOT 320159 SOS 222688 HAS SOPS 130478 HAS SOUS 27068 HAS SOUPS 15449 WITH SCORE 15671.688
AT ITER 1855 NEW BEST:: SOT 320131 SOS 222646 HAS SOPS 130464 HAS SOUS 27040 HAS SOUPS 15435 WITH SCORE 15657.646
AT ITER 1864 NEW BEST:: SOT 320124 SOS 223828 HAS SOPS 131646 HAS SOUS 27032 HAS SOUPS 15427 WITH SCORE 15650.828
AT ITER 1870 NEW BEST:: SOT 320115 SOS 223735 HAS SOPS 131553 HAS SOUS 27029 HAS SOUPS 15424 WITH SCORE 15647.735
AT ITER 1879 NEW BEST:: SOT 320016 SOS 222362 HAS SOPS 130876 HAS SOUS 26948 HAS SOUPS 15401 WITH SCORE 15623.362
AT ITER 1891 NEW BEST:: SOT 319994 SOS 222329 HAS SOPS 130865 HAS SOUS 26926 HAS SOUPS 15390 WITH SCORE 15612.329
AT ITER 1903 NEW BEST:: SOT 319995 SOS 222330 HAS SOPS 130710 HAS SOUS 26926 HAS SOUPS 15377 WITH SCORE 15599.33
AT ITER 1920 NEW BEST:: SOT 320067 SOS 222402 HAS SOPS 130728 HAS SOUS 26908 HAS SOUPS 15359 WITH SCORE 15581.402
AT ITER 1923 NEW BEST:: SOT 320089 SOS 222561 HAS SOPS 130799 HAS SOUS 26934 HAS SOUPS 15349 WITH SCORE 15571.561
AT ITER 1941 NEW BEST:: SOT 320099 SOS 222576 HAS SOPS 130779 HAS SOUS 26919 HAS SOUPS 15329 WITH SCORE 15551.576
AT ITER 1946 NEW BEST:: SOT 320121 SOS 222614 HAS SOPS 130791 HAS SOUS 26915 HAS SOUPS 15325 WITH SCORE 15547.614
AT ITER 1972 NEW BEST:: SOT 320127 SOS 222272 HAS SOPS 130449 HAS SOUS 26904 HAS SOUPS 15314 WITH SCORE 15536.272
AT ITER 1974 NEW BEST:: SOT 320151 SOS 222296 HAS SOPS 130473 HAS SOUS 26901 HAS SOUPS 15312 WITH SCORE 15534.296
AT ITER 1981 NEW BEST:: SOT 320104 SOS 222249 HAS SOPS 130473 HAS SOUS 26901 HAS SOUPS 15312 WITH SCORE 15534.249
AT ITER 1984 NEW BEST:: SOT 320080 SOS 222225 HAS SOPS 130449 HAS SOUS 26871 HAS SOUPS 15296 WITH SCORE 15518.225
AT ITER 1986 NEW BEST:: SOT 320071 SOS 222216 HAS SOPS 130449 HAS SOUS 26871 HAS SOUPS 15296 WITH SCORE 15518.216
AT ITER 2002 NEW BEST:: SOT 320100 SOS 222245 HAS SOPS 130449 HAS SOUS 26790 HAS SOUPS 15251 WITH SCORE 15473.245
AT ITER 2025 NEW BEST:: SOT 320076 SOS 222873 HAS SOPS 130909 HAS SOUS 26799 HAS SOUPS 15246 WITH SCORE 15468.873
AT ITER 2029 NEW BEST:: SOT 320025 SOS 222821 HAS SOPS 130909 HAS SOUS 26796 HAS SOUPS 15244 WITH SCORE 15466.821
AT ITER 2038 NEW BEST:: SOT 320054 SOS 222887 HAS SOPS 130938 HAS SOUS 26790 HAS SOUPS 15201 WITH SCORE 15423.887
AT ITER 2059 NEW BEST:: SOT 320047 SOS 222626 HAS SOPS 130677 HAS SOUS 26779 HAS SOUPS 15190 WITH SCORE 15412.626
AT ITER 2060 NEW BEST:: SOT 320019 SOS 222584 HAS SOPS 130663 HAS SOUS 26751 HAS SOUPS 15176 WITH SCORE 15398.584
AT ITER 2108 NEW BEST:: SOT 320019 SOS 222584 HAS SOPS 130663 HAS SOUS 26749 HAS SOUPS 15174 WITH SCORE 15396.584
AT ITER 2109 NEW BEST:: SOT 319992 SOS 222557 HAS SOPS 130528 HAS SOUS 26726 HAS SOUPS 15142 WITH SCORE 15364.557
AT ITER 2190 NEW BEST:: SOT 320110 SOS 222829 HAS SOPS 130606 HAS SOUS 26718 HAS SOUPS 15127 WITH SCORE 15349.829
AT ITER 2194 NEW BEST:: SOT 320273 SOS 222955 HAS SOPS 130806 HAS SOUS 26667 HAS SOUPS 15110 WITH SCORE 15332.955
AT ITER 2195 NEW BEST:: SOT 320279 SOS 223193 HAS SOPS 130876 HAS SOUS 26672 HAS SOUPS 15101 WITH SCORE 15324.193
AT ITER 2246 NEW BEST:: SOT 320268 SOS 223255 HAS SOPS 130707 HAS SOUS 26679 HAS SOUPS 15082 WITH SCORE 15305.255
AT ITER 2256 NEW BEST:: SOT 320235 SOS 223222 HAS SOPS 130698 HAS SOUS 26670 HAS SOUPS 15073 WITH SCORE 15296.222
AT ITER 2294 NEW BEST:: SOT 320236 SOS 223180 HAS SOPS 130674 HAS SOUS 26670 HAS SOUPS 15073 WITH SCORE 15296.18
AT ITER 2296 NEW BEST:: SOT 320715 SOS 224295 HAS SOPS 131043 HAS SOUS 26661 HAS SOUPS 15058 WITH SCORE 15282.295
AT ITER 2304 NEW BEST:: SOT 320610 SOS 224190 HAS SOPS 130953 HAS SOUS 26661 HAS SOUPS 15058 WITH SCORE 15282.19
AT ITER 2316 NEW BEST:: SOT 320713 SOS 224293 HAS SOPS 130990 HAS SOUS 26630 HAS SOUPS 15027 WITH SCORE 15251.293
AT ITER 2321 NEW BEST:: SOT 320753 SOS 223769 HAS SOPS 130964 HAS SOUS 26593 HAS SOUPS 14990 WITH SCORE 15213.769
AT ITER 2339 NEW BEST:: SOT 320745 SOS 223753 HAS SOPS 130964 HAS SOUS 26585 HAS SOUPS 14990 WITH SCORE 15213.753
AT ITER 2365 NEW BEST:: SOT 320810 SOS 223836 HAS SOPS 131002 HAS SOUS 26560 HAS SOUPS 14965 WITH SCORE 15188.836
AT ITER 2377 NEW BEST:: SOT 320804 SOS 223824 HAS SOPS 130990 HAS SOUS 26560 HAS SOUPS 14965 WITH SCORE 15188.824
AT ITER 2390 NEW BEST:: SOT 320693 SOS 223701 HAS SOPS 130867 HAS SOUS 26558 HAS SOUPS 14963 WITH SCORE 15186.701
AT ITER 2401 NEW BEST:: SOT 320689 SOS 223693 HAS SOPS 130863 HAS SOUS 26514 HAS SOUPS 14939 WITH SCORE 15162.693
AT ITER 2424 NEW BEST:: SOT 320503 SOS 223507 HAS SOPS 130677 HAS SOUS 26514 HAS SOUPS 14939 WITH SCORE 15162.507
AT ITER 2425 NEW BEST:: SOT 320503 SOS 223539 HAS SOPS 131093 HAS SOUS 26454 HAS SOUPS 14911 WITH SCORE 15134.539
AT ITER 2428 NEW BEST:: SOT 320516 SOS 223585 HAS SOPS 131106 HAS SOUS 26436 HAS SOUPS 14860 WITH SCORE 15083.585
AT ITER 2431 NEW BEST:: SOT 320521 SOS 223613 HAS SOPS 131062 HAS SOUS 26441 HAS SOUPS 14859 WITH SCORE 15082.613
AT ITER 2435 NEW BEST:: SOT 320508 SOS 223619 HAS SOPS 131068 HAS SOUS 26438 HAS SOUPS 14856 WITH SCORE 15079.619
AT ITER 2438 NEW BEST:: SOT 320481 SOS 223565 HAS SOPS 131068 HAS SOUS 26411 HAS SOUPS 14856 WITH SCORE 15079.565
AT ITER 2446 NEW BEST:: SOT 320833 SOS 224182 HAS SOPS 131250 HAS SOUS 26414 HAS SOUPS 14830 WITH SCORE 15054.182
AT ITER 2460 NEW BEST:: SOT 320457 SOS 223806 HAS SOPS 131064 HAS SOUS 26414 HAS SOUPS 14830 WITH SCORE 15053.806
AT ITER 2464 NEW BEST:: SOT 320779 SOS 224555 HAS SOPS 131288 HAS SOUS 26365 HAS SOUPS 14781 WITH SCORE 15005.555
AT ITER 2473 NEW BEST:: SOT 320681 SOS 224437 HAS SOPS 131170 HAS SOUS 26364 HAS SOUPS 14780 WITH SCORE 15004.437
AT ITER 2495 NEW BEST:: SOT 320557 SOS 224312 HAS SOPS 131099 HAS SOUS 26370 HAS SOUPS 14774 WITH SCORE 14998.312
AT ITER 2522 NEW BEST:: SOT 320578 SOS 224373 HAS SOPS 131120 HAS SOUS 26377 HAS SOUPS 14741 WITH SCORE 14965.373
AT ITER 2527 NEW BEST:: SOT 320563 SOS 224346 HAS SOPS 131117 HAS SOUS 26362 HAS SOUPS 14738 WITH SCORE 14962.346
AT ITER 2530 NEW BEST:: SOT 320586 SOS 224369 HAS SOPS 131117 HAS SOUS 26353 HAS SOUPS 14733 WITH SCORE 14957.369
AT ITER 2536 NEW BEST:: SOT 320586 SOS 224369 HAS SOPS 131117 HAS SOUS 26354 HAS SOUPS 14731 WITH SCORE 14955.369
AT ITER 2538 NEW BEST:: SOT 320564 SOS 224061 HAS SOPS 130809 HAS SOUS 26332 HAS SOUPS 14709 WITH SCORE 14933.061
AT ITER 2572 NEW BEST:: SOT 320438 SOS 223935 HAS SOPS 130683 HAS SOUS 26332 HAS SOUPS 14709 WITH SCORE 14932.935
AT ITER 2573 NEW BEST:: SOT 320409 SOS 223829 HAS SOPS 130577 HAS SOUS 26327 HAS SOUPS 14704 WITH SCORE 14927.829
AT ITER 2577 NEW BEST:: SOT 320383 SOS 223803 HAS SOPS 130577 HAS SOUS 26327 HAS SOUPS 14704 WITH SCORE 14927.803
AT ITER 2586 NEW BEST:: SOT 320379 SOS 223790 HAS SOPS 130564 HAS SOUS 26314 HAS SOUPS 14691 WITH SCORE 14914.79
AT ITER 2589 NEW BEST:: SOT 320366 SOS 223064 HAS SOPS 130098 HAS SOUS 26300 HAS SOUPS 14677 WITH SCORE 14900.064
AT ITER 2599 NEW BEST:: SOT 320142 SOS 222868 HAS SOPS 130098 HAS SOUS 25995 HAS SOUPS 14671 WITH SCORE 14893.868
AT ITER 2608 NEW BEST:: SOT 319739 SOS 221413 HAS SOPS 130018 HAS SOUS 25915 HAS SOUPS 14672 WITH SCORE 14893.413
AT ITER 2636 NEW BEST:: SOT 319712 SOS 221374 HAS SOPS 129987 HAS SOUS 25888 HAS SOUPS 14649 WITH SCORE 14870.374
AT ITER 2644 NEW BEST:: SOT 319745 SOS 220237 HAS SOPS 128930 HAS SOUS 25872 HAS SOUPS 14633 WITH SCORE 14853.237
AT ITER 2730 NEW BEST:: SOT 319747 SOS 220224 HAS SOPS 128908 HAS SOUS 25835 HAS SOUPS 14611 WITH SCORE 14831.224
AT ITER 2736 NEW BEST:: SOT 319759 SOS 220236 HAS SOPS 128908 HAS SOUS 25817 HAS SOUPS 14601 WITH SCORE 14821.236
AT ITER 2737 NEW BEST:: SOT 319759 SOS 220236 HAS SOPS 128908 HAS SOUS 25809 HAS SOUPS 14593 WITH SCORE 14813.236
AT ITER 2760 NEW BEST:: SOT 319750 SOS 220227 HAS SOPS 128908 HAS SOUS 25809 HAS SOUPS 14593 WITH SCORE 14813.227
AT ITER 2794 NEW BEST:: SOT 319670 SOS 220043 HAS SOPS 128860 HAS SOUS 25801 HAS SOUPS 14593 WITH SCORE 14813.043
AT ITER 2799 NEW BEST:: SOT 319662 SOS 220027 HAS SOPS 128844 HAS SOUS 25793 HAS SOUPS 14585 WITH SCORE 14805.027
AT ITER 2816 NEW BEST:: SOT 319646 SOS 219867 HAS SOPS 128828 HAS SOUS 25793 HAS SOUPS 14585 WITH SCORE 14804.867
AT ITER 2818 NEW BEST:: SOT 319646 SOS 219795 HAS SOPS 128828 HAS SOUS 25787 HAS SOUPS 14585 WITH SCORE 14804.795
AT ITER 2861 NEW BEST:: SOT 319619 SOS 219795 HAS SOPS 128975 HAS SOUS 25760 HAS SOUPS 14579 WITH SCORE 14798.795
AT ITER 2880 NEW BEST:: SOT 319835 SOS 220011 HAS SOPS 129071 HAS SOUS 25750 HAS SOUPS 14569 WITH SCORE 14789.011
AT ITER 2887 NEW BEST:: SOT 319810 SOS 219986 HAS SOPS 129071 HAS SOUS 25750 HAS SOUPS 14569 WITH SCORE 14788.986
AT ITER 2891 NEW BEST:: SOT 319807 SOS 220021 HAS SOPS 129108 HAS SOUS 25748 HAS SOUPS 14568 WITH SCORE 14788.021
AT ITER 2932 NEW BEST:: SOT 318711 SOS 218415 HAS SOPS 128000 HAS SOUS 25742 HAS SOUPS 14562 WITH SCORE 14780.415
AT ITER 2940 NEW BEST:: SOT 318709 SOS 218412 HAS SOPS 127999 HAS SOUS 25740 HAS SOUPS 14561 WITH SCORE 14779.412
AT ITER 2957 NEW BEST:: SOT 318712 SOS 218161 HAS SOPS 127940 HAS SOUS 25718 HAS SOUPS 14555 WITH SCORE 14773.161
AT ITER 2962 NEW BEST:: SOT 318049 SOS 216619 HAS SOPS 127424 HAS SOUS 25615 HAS SOUPS 14493 WITH SCORE 14709.619
AT ITER 2991 NEW BEST:: SOT 318033 SOS 216650 HAS SOPS 127455 HAS SOUS 25599 HAS SOUPS 14477 WITH SCORE 14693.65
AT ITER 3029 NEW BEST:: SOT 318079 SOS 216638 HAS SOPS 127365 HAS SOUS 25592 HAS SOUPS 14470 WITH SCORE 14686.638
AT ITER 3114 NEW BEST:: SOT 317992 SOS 216376 HAS SOPS 127232 HAS SOUS 25581 HAS SOUPS 14464 WITH SCORE 14680.376
AT ITER 3149 NEW BEST:: SOT 317981 SOS 216354 HAS SOPS 127232 HAS SOUS 25570 HAS SOUPS 14464 WITH SCORE 14680.354
AT ITER 3158 NEW BEST:: SOT 317952 SOS 216276 HAS SOPS 127212 HAS SOUS 25556 HAS SOUPS 14454 WITH SCORE 14670.276
AT ITER 3187 NEW BEST:: SOT 317935 SOS 216259 HAS SOPS 127212 HAS SOUS 25556 HAS SOUPS 14454 WITH SCORE 14670.259
AT ITER 3218 NEW BEST:: SOT 317930 SOS 216254 HAS SOPS 127207 HAS SOUS 25551 HAS SOUPS 14449 WITH SCORE 14665.254
AT ITER 3283 NEW BEST:: SOT 317921 SOS 216590 HAS SOPS 127543 HAS SOUS 25548 HAS SOUPS 14446 WITH SCORE 14662.59
AT ITER 3302 NEW BEST:: SOT 317941 SOS 216610 HAS SOPS 127559 HAS SOUS 25540 HAS SOUPS 14438 WITH SCORE 14654.61
AT ITER 3309 NEW BEST:: SOT 317935 SOS 216604 HAS SOPS 127553 HAS SOUS 25531 HAS SOUPS 14433 WITH SCORE 14649.604
AT ITER 3322 NEW BEST:: SOT 317925 SOS 216594 HAS SOPS 127543 HAS SOUS 25521 HAS SOUPS 14423 WITH SCORE 14639.594
AT ITER 3344 NEW BEST:: SOT 317925 SOS 215883 HAS SOPS 126940 HAS SOUS 25512 HAS SOUPS 14423 WITH SCORE 14638.883
AT ITER 3362 NEW BEST:: SOT 317889 SOS 215739 HAS SOPS 126931 HAS SOUS 25512 HAS SOUPS 14423 WITH SCORE 14638.739
AT ITER 3379 NEW BEST:: SOT 317944 SOS 215794 HAS SOPS 126956 HAS SOUS 25507 HAS SOUPS 14418 WITH SCORE 14633.794
AT ITER 3400 NEW BEST:: SOT 317922 SOS 215772 HAS SOPS 126956 HAS SOUS 25507 HAS SOUPS 14418 WITH SCORE 14633.772
AT ITER 3401 NEW BEST:: SOT 317847 SOS 216781 HAS SOPS 127577 HAS SOUS 25469 HAS SOUPS 14383 WITH SCORE 14599.781
AT ITER 3411 NEW BEST:: SOT 317847 SOS 216781 HAS SOPS 127577 HAS SOUS 25460 HAS SOUPS 14377 WITH SCORE 14593.781
AT ITER 3421 NEW BEST:: SOT 317711 SOS 216467 HAS SOPS 127473 HAS SOUS 25444 HAS SOUPS 14371 WITH SCORE 14587.467
AT ITER 3424 NEW BEST:: SOT 317464 SOS 214564 HAS SOPS 125974 HAS SOUS 25375 HAS SOUPS 14309 WITH SCORE 14523.564
AT ITER 3441 NEW BEST:: SOT 317478 SOS 214592 HAS SOPS 125974 HAS SOUS 25386 HAS SOUPS 14307 WITH SCORE 14521.592
AT ITER 3461 NEW BEST:: SOT 317453 SOS 214567 HAS SOPS 125974 HAS SOUS 25386 HAS SOUPS 14307 WITH SCORE 14521.567
AT ITER 3535 NEW BEST:: SOT 317513 SOS 213751 HAS SOPS 125310 HAS SOUS 25368 HAS SOUPS 14305 WITH SCORE 14518.751
AT ITER 3561 NEW BEST:: SOT 317503 SOS 213731 HAS SOPS 125310 HAS SOUS 25358 HAS SOUPS 14305 WITH SCORE 14518.731
AT ITER 3566 NEW BEST:: SOT 317532 SOS 213760 HAS SOPS 125310 HAS SOUS 25340 HAS SOUPS 14295 WITH SCORE 14508.76
AT ITER 3580 NEW BEST:: SOT 317531 SOS 213759 HAS SOPS 125310 HAS SOUS 25340 HAS SOUPS 14295 WITH SCORE 14508.759
AT ITER 3583 NEW BEST:: SOT 317531 SOS 213760 HAS SOPS 125297 HAS SOUS 25339 HAS SOUPS 14293 WITH SCORE 14506.76
AT ITER 3610 NEW BEST:: SOT 317534 SOS 213634 HAS SOPS 125225 HAS SOUS 25339 HAS SOUPS 14293 WITH SCORE 14506.634
AT ITER 3612 NEW BEST:: SOT 317513 SOS 213532 HAS SOPS 125224 HAS SOUS 25335 HAS SOUPS 14289 WITH SCORE 14502.532
AT ITER 3653 NEW BEST:: SOT 317683 SOS 213715 HAS SOPS 125372 HAS SOUS 25330 HAS SOUPS 14284 WITH SCORE 14497.715
AT ITER 3726 NEW BEST:: SOT 317791 SOS 213853 HAS SOPS 125435 HAS SOUS 25333 HAS SOUPS 14267 WITH SCORE 14480.853
AT ITER 3732 NEW BEST:: SOT 317770 SOS 213897 HAS SOPS 125250 HAS SOUS 25315 HAS SOUPS 14231 WITH SCORE 14444.897
AT ITER 3733 NEW BEST:: SOT 317767 SOS 213891 HAS SOPS 125250 HAS SOUS 25312 HAS SOUPS 14231 WITH SCORE 14444.891
AT ITER 3735 NEW BEST:: SOT 317757 SOS 213881 HAS SOPS 125250 HAS SOUS 25312 HAS SOUPS 14231 WITH SCORE 14444.881
AT ITER 3738 NEW BEST:: SOT 317733 SOS 213831 HAS SOPS 125236 HAS SOUS 25310 HAS SOUPS 14231 WITH SCORE 14444.831
AT ITER 3740 NEW BEST:: SOT 317742 SOS 213857 HAS SOPS 125070 HAS SOUS 25323 HAS SOUPS 14228 WITH SCORE 14441.857
AT ITER 3746 NEW BEST:: SOT 317737 SOS 213852 HAS SOPS 125065 HAS SOUS 25318 HAS SOUPS 14223 WITH SCORE 14436.852
AT ITER 3772 NEW BEST:: SOT 317705 SOS 213820 HAS SOPS 125065 HAS SOUS 25318 HAS SOUPS 14223 WITH SCORE 14436.82
AT ITER 3827 NEW BEST:: SOT 317498 SOS 213238 HAS SOPS 124859 HAS SOUS 25305 HAS SOUPS 14210 WITH SCORE 14423.238
AT ITER 3846 NEW BEST:: SOT 317479 SOS 213219 HAS SOPS 124859 HAS SOUS 25305 HAS SOUPS 14210 WITH SCORE 14423.219
AT ITER 3854 NEW BEST:: SOT 317499 SOS 213239 HAS SOPS 124867 HAS SOUS 25301 HAS SOUPS 14206 WITH SCORE 14419.239
AT ITER 3862 NEW BEST:: SOT 317500 SOS 213327 HAS SOPS 124868 HAS SOUS 25297 HAS SOUPS 14178 WITH SCORE 14391.327
AT ITER 3872 NEW BEST:: SOT 317552 SOS 213379 HAS SOPS 124896 HAS SOUS 25293 HAS SOUPS 14174 WITH SCORE 14387.379
AT ITER 3898 NEW BEST:: SOT 317552 SOS 213379 HAS SOPS 124896 HAS SOUS 25275 HAS SOUPS 14164 WITH SCORE 14377.379
AT ITER 3905 NEW BEST:: SOT 317552 SOS 213379 HAS SOPS 124896 HAS SOUS 25272 HAS SOUPS 14162 WITH SCORE 14375.379
AT ITER 3922 NEW BEST:: SOT 317549 SOS 213340 HAS SOPS 124857 HAS SOUS 25269 HAS SOUPS 14159 WITH SCORE 14372.34
AT ITER 3957 NEW BEST:: SOT 317301 SOS 213070 HAS SOPS 124697 HAS SOUS 25251 HAS SOUPS 14141 WITH SCORE 14354.07
AT ITER 4072 NEW BEST:: SOT 317308 SOS 212938 HAS SOPS 124569 HAS SOUS 25245 HAS SOUPS 14135 WITH SCORE 14347.938
AT ITER 4100 NEW BEST:: SOT 317275 SOS 212866 HAS SOPS 124548 HAS SOUS 25242 HAS SOUPS 14135 WITH SCORE 14347.866
AT ITER 4101 NEW BEST:: SOT 317283 SOS 212540 HAS SOPS 124438 HAS SOUS 25213 HAS SOUPS 14124 WITH SCORE 14336.54
AT ITER 4118 NEW BEST:: SOT 317270 SOS 212514 HAS SOPS 124438 HAS SOUS 25114 HAS SOUPS 14079 WITH SCORE 14291.514
AT ITER 4145 NEW BEST:: SOT 317071 SOS 212003 HAS SOPS 124237 HAS SOUS 25102 HAS SOUPS 14076 WITH SCORE 14288.003
AT ITER 4146 NEW BEST:: SOT 317069 SOS 211999 HAS SOPS 124237 HAS SOUS 25082 HAS SOUPS 14066 WITH SCORE 14277.999
AT ITER 4153 NEW BEST:: SOT 317055 SOS 211971 HAS SOPS 124237 HAS SOUS 25068 HAS SOUPS 14066 WITH SCORE 14277.971
AT ITER 4163 NEW BEST:: SOT 316983 SOS 211815 HAS SOPS 124189 HAS SOUS 25056 HAS SOUPS 14060 WITH SCORE 14271.815
AT ITER 4256 NEW BEST:: SOT 316968 SOS 211712 HAS SOPS 123956 HAS SOUS 25045 HAS SOUPS 14049 WITH SCORE 14260.712
AT ITER 4257 NEW BEST:: SOT 316391 SOS 210466 HAS SOPS 122980 HAS SOUS 24976 HAS SOUPS 13980 WITH SCORE 14190.466
AT ITER 4259 NEW BEST:: SOT 316424 SOS 210499 HAS SOPS 122980 HAS SOUS 24949 HAS SOUPS 13965 WITH SCORE 14175.499
AT ITER 4275 NEW BEST:: SOT 316422 SOS 210497 HAS SOPS 122980 HAS SOUS 24949 HAS SOUPS 13965 WITH SCORE 14175.497
AT ITER 4278 NEW BEST:: SOT 316384 SOS 210253 HAS SOPS 122832 HAS SOUS 24919 HAS SOUPS 13943 WITH SCORE 14153.253
AT ITER 4298 NEW BEST:: SOT 316384 SOS 210253 HAS SOPS 122832 HAS SOUS 24829 HAS SOUPS 13893 WITH SCORE 14103.253
AT ITER 4325 NEW BEST:: SOT 316386 SOS 210252 HAS SOPS 122821 HAS SOUS 24826 HAS SOUPS 13890 WITH SCORE 14100.252
AT ITER 4335 NEW BEST:: SOT 316399 SOS 210154 HAS SOPS 122814 HAS SOUS 24813 HAS SOUPS 13886 WITH SCORE 14096.154
AT ITER 4352 NEW BEST:: SOT 316408 SOS 210163 HAS SOPS 122814 HAS SOUS 24804 HAS SOUPS 13881 WITH SCORE 14091.163
AT ITER 4474 NEW BEST:: SOT 316472 SOS 210286 HAS SOPS 122759 HAS SOUS 24790 HAS SOUPS 13859 WITH SCORE 14069.286
AT ITER 4477 NEW BEST:: SOT 316472 SOS 210288 HAS SOPS 122759 HAS SOUS 24790 HAS SOUPS 13857 WITH SCORE 14067.288
AT ITER 4506 NEW BEST:: SOT 316722 SOS 210810 HAS SOPS 122905 HAS SOUS 24810 HAS SOUPS 13856 WITH SCORE 14066.81
AT ITER 4548 NEW BEST:: SOT 316691 SOS 210779 HAS SOPS 122905 HAS SOUS 24784 HAS SOUPS 13830 WITH SCORE 14040.779
AT ITER 4575 NEW BEST:: SOT 316601 SOS 210087 HAS SOPS 122349 HAS SOUS 24762 HAS SOUPS 13816 WITH SCORE 14026.087
AT ITER 4585 NEW BEST:: SOT 316593 SOS 210071 HAS SOPS 122343 HAS SOUS 24759 HAS SOUPS 13813 WITH SCORE 14023.071
AT ITER 4608 NEW BEST:: SOT 316592 SOS 210058 HAS SOPS 122332 HAS SOUS 24759 HAS SOUPS 13813 WITH SCORE 14023.058
AT ITER 4625 NEW BEST:: SOT 316604 SOS 210042 HAS SOPS 122332 HAS SOUS 24759 HAS SOUPS 13813 WITH SCORE 14023.042
AT ITER 4631 NEW BEST:: SOT 316826 SOS 210545 HAS SOPS 122472 HAS SOUS 24753 HAS SOUPS 13793 WITH SCORE 14003.545
AT ITER 4642 NEW BEST:: SOT 316823 SOS 210539 HAS SOPS 122469 HAS SOUS 24747 HAS SOUPS 13790 WITH SCORE 14000.539
AT ITER 4646 NEW BEST:: SOT 316809 SOS 210511 HAS SOPS 122463 HAS SOUS 24733 HAS SOUPS 13787 WITH SCORE 13997.511
AT ITER 4720 NEW BEST:: SOT 316842 SOS 210571 HAS SOPS 122481 HAS SOUS 24731 HAS SOUPS 13782 WITH SCORE 13992.571
AT ITER 4728 NEW BEST:: SOT 316834 SOS 210262 HAS SOPS 122172 HAS SOUS 24709 HAS SOUPS 13760 WITH SCORE 13970.262
AT ITER 4775 NEW BEST:: SOT 316832 SOS 210260 HAS SOPS 122172 HAS SOUS 24709 HAS SOUPS 13760 WITH SCORE 13970.26
AT ITER 4794 NEW BEST:: SOT 316817 SOS 209860 HAS SOPS 121748 HAS SOUS 24701 HAS SOUPS 13752 WITH SCORE 13961.86
AT ITER 4807 NEW BEST:: SOT 316663 SOS 209510 HAS SOPS 121468 HAS SOUS 24701 HAS SOUPS 13752 WITH SCORE 13961.51
AT ITER 4865 NEW BEST:: SOT 316632 SOS 209439 HAS SOPS 121448 HAS SOUS 24674 HAS SOUPS 13740 WITH SCORE 13949.439
AT ITER 4884 NEW BEST:: SOT 316634 SOS 209417 HAS SOPS 121446 HAS SOUS 24672 HAS SOUPS 13738 WITH SCORE 13947.417
AT ITER 4930 NEW BEST:: SOT 316568 SOS 209351 HAS SOPS 121380 HAS SOUS 24582 HAS SOUPS 13688 WITH SCORE 13897.351
AT ITER 4939 NEW BEST:: SOT 316503 SOS 209299 HAS SOPS 121302 HAS SOUS 24595 HAS SOUPS 13688 WITH SCORE 13897.299
AT ITER 4988 NEW BEST:: SOT 316753 SOS 209757 HAS SOPS 121448 HAS SOUS 24576 HAS SOUPS 13669 WITH SCORE 13878.757
AT ITER 4994 NEW BEST:: SOT 316751 SOS 209753 HAS SOPS 121448 HAS SOUS 24574 HAS SOUPS 13669 WITH SCORE 13878.753
Bounds file is: CTLFireability.xml
PROPERTY: DLCround-PT-08a-CTLFireability-00 (EF( (AX( (EX( ((potential((tk(P81)>=1))))))))))
PROPERTY: DLCround-PT-08a-CTLFireability-01 ( ((potential((tk(P78)>=1) & (tk(P203)>=1)))) | (EF( ( (AX( ((potential((tk(P17)>=1) & (tk(P132)>=1)))))) & ( ( ((potential((tk(P65)>=1) & (tk(P149)>=1)))) & ((potential((tk(P30)>=1) & (tk(P198)>=1)))) ) & ( ((potential((tk(P87)>=1) & (tk(P235)>=1)))) | ((potential((tk(P48)>=1) & (tk(P207)>=1)))) ) ) ))) )
PROPERTY: DLCround-PT-08a-CTLFireability-02 (EG( (EF( (AG( ((potential((tk(P109)>=1) & (tk(P251)>=1))))))))))
PROPERTY: DLCround-PT-08a-CTLFireability-03 (EX( (AG( (EF( ((potential((tk(P49)>=1) & (tk(P135)>=1))))))))))
PROPERTY: DLCround-PT-08a-CTLFireability-04 (AG( (! ( ( (! ((potential((tk(P104)>=1) & (tk(P177)>=1))))) & ( ((potential((tk(P41)>=1)))) | ((potential((tk(P259)>=1) & (tk(P68)>=1)))) ) ) & (EG( ((potential((tk(P97)>=1) & (tk(P175)>=1)))))) ))))
PROPERTY: DLCround-PT-08a-CTLFireability-05 (EG( (EF( (EF( ((potential((tk(P85)>=1) & (tk(P235)>=1))))))))))
PROPERTY: DLCround-PT-08a-CTLFireability-06 (EF( ( (AX( ((potential((tk(P70)>=1) & (tk(P229)>=1)))))) & ((potential((tk(P29)>=1) & (tk(P151)>=1)))) )))
PROPERTY: DLCround-PT-08a-CTLFireability-07 (AG( ( (! (! (! ((potential((tk(P105)>=1) & (tk(P249)>=1))))))) | ( (AG( ((potential((tk(P95)>=1)))))) | ((potential((tk(P15)>=1)))) ) )))
PROPERTY: DLCround-PT-08a-CTLFireability-08 ( (AG( (EF( ( ((potential((tk(P108)>=1) & (tk(P230)>=1)))) | ((potential((tk(P65)>=1) & (tk(P151)>=1)))) ))))) | (EU( ( ((potential((tk(P108)>=1) & (tk(P198)>=1)))) | (! ((potential((tk(P42)>=1) & (tk(P203)>=1))))) ) , (! (! ((potential((tk(P95)>=1) & (tk(P247)>=1)))))) )) )
PROPERTY: DLCround-PT-08a-CTLFireability-09 (EU( (! (AF( ((potential((tk(P139)>=1) & (tk(P15)>=1))))))) , ( ((potential((tk(P35)>=1) & (tk(P198)>=1)))) | (EF( ((potential((tk(P241)>=1) & (tk(P96)>=1)))))) ) ))
PROPERTY: DLCround-PT-08a-CTLFireability-10 ( ((potential((tk(P169)>=1) & (tk(P96)>=1)))) | ( (EF( ( ((potential((tk(P89)>=1) & (tk(P239)>=1)))) & ( ((potential((tk(P113)>=1) & (tk(P263)>=1)))) | ((potential((tk(P53)>=1) & (tk(P139)>=1)))) ) ))) & (EG( (! ((potential((tk(P98)>=1) & (tk(P172)>=1))))))) ) )
PROPERTY: DLCround-PT-08a-CTLFireability-11 (! (EF( ( (AG( ((potential((tk(P261)>=1) & (tk(P88)>=1)))))) | (EF( ((potential((tk(P240)>=1) & (tk(P96)>=1)))))) ))))
PROPERTY: DLCround-PT-08a-CTLFireability-12 (AF( (EF( ( ((potential((tk(P113)>=1) & (tk(P191)>=1)))) & ( ((potential((tk(P85)>=1) & (tk(P167)>=1)))) & ((potential((tk(P93)>=1) & (tk(P243)>=1)))) ) )))))
PROPERTY: DLCround-PT-08a-CTLFireability-13 (EU( (EF( ( ((potential((tk(P37)>=1) & (tk(P199)>=1)))) & ((potential((tk(P15)>=1) & (tk(P122)>=1)))) ))) , (! (EF( ((potential((tk(P40)>=1))))))) ))
PROPERTY: DLCround-PT-08a-CTLFireability-14 ( (EG( (AF( ( ((potential((tk(P24)>=1) & (tk(P158)>=1)))) & ((potential((tk(P78)>=1) & (tk(P203)>=1)))) ))))) | (EF( (EG( ( ((potential((tk(P118)>=1) & (tk(P185)>=1)))) & ((potential((tk(P94)>=1) & (tk(P171)>=1)))) ))))) )
PROPERTY: DLCround-PT-08a-CTLFireability-15 (! ( (! (AG( (! ((potential((tk(P113)>=1) & (tk(P260)>=1)))))))) | (EG( ((potential((tk(P97)>=1) & (tk(P245)>=1)))))) ))

BK_STOP 1589129029419

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

terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 484 Aborted ${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-08a"
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-08a, 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-158902542300532"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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