Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r138-smll-158961502700316.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/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 Railroad-PT-050, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502700316
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.6M
-rw-r--r-- 1 mcc users 4.1K Apr 12 08:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 12 08:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 11 09:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 11 09:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.8K Apr 14 12:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 14 12:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Apr 10 14:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 10 14:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 9 21:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 9 21:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 1.4M Mar 24 05:38 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 Railroad-PT-050-CTLFireability-00
FORMULA_NAME Railroad-PT-050-CTLFireability-01
FORMULA_NAME Railroad-PT-050-CTLFireability-02
FORMULA_NAME Railroad-PT-050-CTLFireability-03
FORMULA_NAME Railroad-PT-050-CTLFireability-04
FORMULA_NAME Railroad-PT-050-CTLFireability-05
FORMULA_NAME Railroad-PT-050-CTLFireability-06
FORMULA_NAME Railroad-PT-050-CTLFireability-07
FORMULA_NAME Railroad-PT-050-CTLFireability-08
FORMULA_NAME Railroad-PT-050-CTLFireability-09
FORMULA_NAME Railroad-PT-050-CTLFireability-10
FORMULA_NAME Railroad-PT-050-CTLFireability-11
FORMULA_NAME Railroad-PT-050-CTLFireability-12
FORMULA_NAME Railroad-PT-050-CTLFireability-13
FORMULA_NAME Railroad-PT-050-CTLFireability-14
FORMULA_NAME Railroad-PT-050-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589820379029

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Railroad (PT), instance 050
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: 518 places, 2756 transitions, 16378 arcs.
AT ITER 0 NEW BEST:: SOT 439031 SOS 346384 HAS SOPS 344095 HAS SOUS 205894 HAS SOUPS 205843 WITH SCORE 206189.384
AT ITER 20 NEW BEST:: SOT 437607 SOS 344984 HAS SOPS 342693 HAS SOUS 204476 HAS SOUPS 204425 WITH SCORE 204769.984
AT ITER 26 NEW BEST:: SOT 436551 SOS 343939 HAS SOPS 341648 HAS SOUS 203460 HAS SOUPS 203409 WITH SCORE 203752.939
AT ITER 28 NEW BEST:: SOT 438621 SOS 344070 HAS SOPS 340635 HAS SOUS 203352 HAS SOUPS 203301 WITH SCORE 203645.07
AT ITER 45 NEW BEST:: SOT 438009 SOS 343487 HAS SOPS 340049 HAS SOUS 202768 HAS SOUPS 202717 WITH SCORE 203060.487
AT ITER 48 NEW BEST:: SOT 438009 SOS 341534 HAS SOPS 338096 HAS SOUS 202726 HAS SOUPS 202675 WITH SCORE 203016.534
AT ITER 51 NEW BEST:: SOT 438009 SOS 341509 HAS SOPS 338071 HAS SOUS 202701 HAS SOUPS 202650 WITH SCORE 202991.509
AT ITER 54 NEW BEST:: SOT 438009 SOS 339998 HAS SOPS 335415 HAS SOUS 202696 HAS SOUPS 202645 WITH SCORE 202984.998
AT ITER 67 NEW BEST:: SOT 437990 SOS 339971 HAS SOPS 335388 HAS SOUS 202669 HAS SOUPS 202618 WITH SCORE 202957.971
AT ITER 69 NEW BEST:: SOT 437092 SOS 339117 HAS SOPS 334490 HAS SOUS 201285 HAS SOUPS 201234 WITH SCORE 201573.117
AT ITER 76 NEW BEST:: SOT 435170 SOS 337251 HAS SOPS 332624 HAS SOUS 199443 HAS SOUPS 199392 WITH SCORE 199729.251
AT ITER 78 NEW BEST:: SOT 435091 SOS 337172 HAS SOPS 332545 HAS SOUS 199364 HAS SOUPS 199313 WITH SCORE 199650.172
AT ITER 79 NEW BEST:: SOT 432121 SOS 334252 HAS SOPS 329625 HAS SOUS 196441 HAS SOUPS 196390 WITH SCORE 196724.252
AT ITER 86 NEW BEST:: SOT 430723 SOS 331014 HAS SOPS 325231 HAS SOUS 193027 HAS SOUPS 192976 WITH SCORE 193307.014
AT ITER 88 NEW BEST:: SOT 430228 SOS 330567 HAS SOPS 324779 HAS SOUS 192458 HAS SOUPS 192407 WITH SCORE 192737.567
AT ITER 90 NEW BEST:: SOT 430163 SOS 330525 HAS SOPS 324737 HAS SOUS 192416 HAS SOUPS 192365 WITH SCORE 192695.525
AT ITER 102 NEW BEST:: SOT 430163 SOS 330506 HAS SOPS 324718 HAS SOUS 192397 HAS SOUPS 192346 WITH SCORE 192676.506
AT ITER 103 NEW BEST:: SOT 430115 SOS 330430 HAS SOPS 324642 HAS SOUS 192321 HAS SOUPS 192270 WITH SCORE 192600.43
AT ITER 113 NEW BEST:: SOT 430647 SOS 329986 HAS SOPS 323041 HAS SOUS 190115 HAS SOUPS 190064 WITH SCORE 190393.986
AT ITER 115 NEW BEST:: SOT 430647 SOS 329903 HAS SOPS 322958 HAS SOUS 190032 HAS SOUPS 189981 WITH SCORE 190310.903
AT ITER 125 NEW BEST:: SOT 430352 SOS 329639 HAS SOPS 322688 HAS SOUS 189688 HAS SOUPS 189637 WITH SCORE 189966.639
AT ITER 160 NEW BEST:: SOT 430322 SOS 329609 HAS SOPS 322658 HAS SOUS 189658 HAS SOUPS 189607 WITH SCORE 189936.609
AT ITER 161 NEW BEST:: SOT 430269 SOS 329608 HAS SOPS 322657 HAS SOUS 189657 HAS SOUPS 189606 WITH SCORE 189935.608
AT ITER 164 NEW BEST:: SOT 430274 SOS 329617 HAS SOPS 322660 HAS SOUS 189614 HAS SOUPS 189563 WITH SCORE 189892.617
AT ITER 165 NEW BEST:: SOT 432404 SOS 330151 HAS SOPS 322035 HAS SOUS 188572 HAS SOUPS 188521 WITH SCORE 188851.151
AT ITER 170 NEW BEST:: SOT 432404 SOS 330119 HAS SOPS 322003 HAS SOUS 188572 HAS SOUPS 188521 WITH SCORE 188851.119
AT ITER 179 NEW BEST:: SOT 432404 SOS 330108 HAS SOPS 321992 HAS SOUS 188572 HAS SOUPS 188521 WITH SCORE 188851.108
AT ITER 210 NEW BEST:: SOT 432613 SOS 331120 HAS SOPS 323071 HAS SOUS 187971 HAS SOUPS 187918 WITH SCORE 188249.12
AT ITER 214 NEW BEST:: SOT 434581 SOS 331094 HAS SOPS 321864 HAS SOUS 187170 HAS SOUPS 187117 WITH SCORE 187448.094
AT ITER 217 NEW BEST:: SOT 433602 SOS 327427 HAS SOPS 317016 HAS SOUS 184333 HAS SOUPS 184280 WITH SCORE 184607.427
AT ITER 250 NEW BEST:: SOT 432766 SOS 326641 HAS SOPS 315890 HAS SOUS 182424 HAS SOUPS 182344 WITH SCORE 182670.641
AT ITER 255 NEW BEST:: SOT 432764 SOS 325806 HAS SOPS 314781 HAS SOUS 182356 HAS SOUPS 182276 WITH SCORE 182601.806
AT ITER 258 NEW BEST:: SOT 432748 SOS 325790 HAS SOPS 314765 HAS SOUS 182340 HAS SOUPS 182260 WITH SCORE 182585.79
AT ITER 259 NEW BEST:: SOT 431315 SOS 323140 HAS SOPS 310890 HAS SOUS 178565 HAS SOUPS 178485 WITH SCORE 178808.14
AT ITER 279 NEW BEST:: SOT 430400 SOS 321563 HAS SOPS 308102 HAS SOUS 176031 HAS SOUPS 175951 WITH SCORE 176272.563
AT ITER 280 NEW BEST:: SOT 418948 SOS 310565 HAS SOPS 298325 HAS SOUS 166986 HAS SOUPS 166906 WITH SCORE 167216.565
AT ITER 301 NEW BEST:: SOT 419156 SOS 310798 HAS SOPS 297962 HAS SOUS 164051 HAS SOUPS 163971 WITH SCORE 164281.798
AT ITER 304 NEW BEST:: SOT 413296 SOS 318997 HAS SOPS 295641 HAS SOUS 158797 HAS SOUPS 158386 WITH SCORE 158704.997
AT ITER 312 NEW BEST:: SOT 413296 SOS 319163 HAS SOPS 295807 HAS SOUS 158755 HAS SOUPS 158344 WITH SCORE 158663.163
AT ITER 321 NEW BEST:: SOT 413296 SOS 319163 HAS SOPS 295783 HAS SOUS 158731 HAS SOUPS 158320 WITH SCORE 158639.163
AT ITER 335 NEW BEST:: SOT 413296 SOS 319049 HAS SOPS 295669 HAS SOUS 158731 HAS SOUPS 158320 WITH SCORE 158639.049
AT ITER 365 NEW BEST:: SOT 413138 SOS 318891 HAS SOPS 295526 HAS SOUS 158588 HAS SOUPS 158177 WITH SCORE 158495.891
AT ITER 375 NEW BEST:: SOT 413045 SOS 318798 HAS SOPS 295465 HAS SOUS 158527 HAS SOUPS 158116 WITH SCORE 158434.798
AT ITER 405 NEW BEST:: SOT 413045 SOS 316442 HAS SOPS 291849 HAS SOUS 156937 HAS SOUPS 156526 WITH SCORE 156842.442
AT ITER 420 NEW BEST:: SOT 413043 SOS 316440 HAS SOPS 291846 HAS SOUS 156934 HAS SOUPS 156523 WITH SCORE 156839.44
AT ITER 443 NEW BEST:: SOT 412107 SOS 315507 HAS SOPS 290913 HAS SOUS 156086 HAS SOUPS 155675 WITH SCORE 155990.507
AT ITER 467 NEW BEST:: SOT 412107 SOS 313939 HAS SOPS 289249 HAS SOUS 156016 HAS SOUPS 155605 WITH SCORE 155918.939
AT ITER 468 NEW BEST:: SOT 412060 SOS 313875 HAS SOPS 289337 HAS SOUS 155980 HAS SOUPS 155569 WITH SCORE 155882.875
AT ITER 472 NEW BEST:: SOT 410274 SOS 312441 HAS SOPS 289167 HAS SOUS 155852 HAS SOUPS 155441 WITH SCORE 155753.441
AT ITER 475 NEW BEST:: SOT 409266 SOS 310283 HAS SOPS 285737 HAS SOUS 153065 HAS SOUPS 152654 WITH SCORE 152964.283
AT ITER 478 NEW BEST:: SOT 409204 SOS 310221 HAS SOPS 285641 HAS SOUS 152969 HAS SOUPS 152558 WITH SCORE 152868.221
AT ITER 480 NEW BEST:: SOT 409054 SOS 310071 HAS SOPS 285557 HAS SOUS 152885 HAS SOUPS 152474 WITH SCORE 152784.071
AT ITER 527 NEW BEST:: SOT 410632 SOS 311548 HAS SOPS 286008 HAS SOUS 150867 HAS SOUPS 150456 WITH SCORE 150767.548
AT ITER 549 NEW BEST:: SOT 410632 SOS 311488 HAS SOPS 285948 HAS SOUS 150807 HAS SOUPS 150396 WITH SCORE 150707.488
AT ITER 555 NEW BEST:: SOT 411514 SOS 311592 HAS SOPS 284748 HAS SOUS 148132 HAS SOUPS 147721 WITH SCORE 148032.592
AT ITER 557 NEW BEST:: SOT 411514 SOS 311588 HAS SOPS 284744 HAS SOUS 148128 HAS SOUPS 147717 WITH SCORE 148028.588
AT ITER 572 NEW BEST:: SOT 411542 SOS 311616 HAS SOPS 284717 HAS SOUS 148101 HAS SOUPS 147690 WITH SCORE 148001.616
AT ITER 580 NEW BEST:: SOT 411013 SOS 311087 HAS SOPS 283599 HAS SOUS 145160 HAS SOUPS 144740 WITH SCORE 145051.087
AT ITER 583 NEW BEST:: SOT 410962 SOS 311036 HAS SOPS 283599 HAS SOUS 145160 HAS SOUPS 144740 WITH SCORE 145051.036
AT ITER 594 NEW BEST:: SOT 410942 SOS 311016 HAS SOPS 283577 HAS SOUS 145138 HAS SOUPS 144718 WITH SCORE 145029.016
AT ITER 610 NEW BEST:: SOT 409336 SOS 309410 HAS SOPS 280804 HAS SOUS 138297 HAS SOUPS 137877 WITH SCORE 138186.41
AT ITER 612 NEW BEST:: SOT 409159 SOS 300554 HAS SOPS 276278 HAS SOUS 137874 HAS SOUPS 137563 WITH SCORE 137863.554
AT ITER 620 NEW BEST:: SOT 409155 SOS 300550 HAS SOPS 276274 HAS SOUS 137870 HAS SOUPS 137559 WITH SCORE 137859.55
AT ITER 644 NEW BEST:: SOT 409149 SOS 300544 HAS SOPS 276268 HAS SOUS 137864 HAS SOUPS 137553 WITH SCORE 137853.544
AT ITER 700 NEW BEST:: SOT 409149 SOS 297840 HAS SOPS 272246 HAS SOUS 134582 HAS SOUPS 134271 WITH SCORE 134568.84
AT ITER 709 NEW BEST:: SOT 408327 SOS 297018 HAS SOPS 271460 HAS SOUS 133956 HAS SOUPS 133645 WITH SCORE 133942.018
AT ITER 741 NEW BEST:: SOT 408318 SOS 297009 HAS SOPS 271454 HAS SOUS 133950 HAS SOUPS 133639 WITH SCORE 133936.009
AT ITER 749 NEW BEST:: SOT 408280 SOS 296971 HAS SOPS 271416 HAS SOUS 133912 HAS SOUPS 133601 WITH SCORE 133897.971
AT ITER 752 NEW BEST:: SOT 408264 SOS 296955 HAS SOPS 271396 HAS SOUS 133892 HAS SOUPS 133581 WITH SCORE 133877.955
AT ITER 758 NEW BEST:: SOT 408264 SOS 296914 HAS SOPS 271355 HAS SOUS 133892 HAS SOUPS 133581 WITH SCORE 133877.914
AT ITER 768 NEW BEST:: SOT 408251 SOS 296901 HAS SOPS 271355 HAS SOUS 133892 HAS SOUPS 133581 WITH SCORE 133877.901
AT ITER 780 NEW BEST:: SOT 407455 SOS 295194 HAS SOPS 268362 HAS SOUS 132963 HAS SOUPS 132652 WITH SCORE 132947.194
AT ITER 798 NEW BEST:: SOT 407409 SOS 295117 HAS SOPS 268285 HAS SOUS 132886 HAS SOUPS 132575 WITH SCORE 132870.117
AT ITER 814 NEW BEST:: SOT 407401 SOS 295109 HAS SOPS 268262 HAS SOUS 132863 HAS SOUPS 132552 WITH SCORE 132847.109
AT ITER 837 NEW BEST:: SOT 407001 SOS 294717 HAS SOPS 267870 HAS SOUS 132471 HAS SOUPS 132160 WITH SCORE 132454.717
AT ITER 854 NEW BEST:: SOT 406862 SOS 294578 HAS SOPS 267802 HAS SOUS 132403 HAS SOUPS 132092 WITH SCORE 132386.578
AT ITER 856 NEW BEST:: SOT 406816 SOS 294532 HAS SOPS 267760 HAS SOUS 132361 HAS SOUPS 132050 WITH SCORE 132344.532
AT ITER 867 NEW BEST:: SOT 406816 SOS 293864 HAS SOPS 266952 HAS SOUS 132309 HAS SOUPS 131998 WITH SCORE 132291.864
AT ITER 887 NEW BEST:: SOT 406816 SOS 293863 HAS SOPS 266951 HAS SOUS 132308 HAS SOUPS 131997 WITH SCORE 132290.863
AT ITER 902 NEW BEST:: SOT 406649 SOS 293696 HAS SOPS 266843 HAS SOUS 132200 HAS SOUPS 131889 WITH SCORE 132182.696
AT ITER 912 NEW BEST:: SOT 411088 SOS 298230 HAS SOPS 269745 HAS SOUS 132068 HAS SOUPS 131757 WITH SCORE 132055.23
AT ITER 920 NEW BEST:: SOT 411832 SOS 298974 HAS SOPS 270468 HAS SOUS 130723 HAS SOUPS 130412 WITH SCORE 130710.974
AT ITER 929 NEW BEST:: SOT 411775 SOS 298917 HAS SOPS 270339 HAS SOUS 130594 HAS SOUPS 130283 WITH SCORE 130581.917
AT ITER 936 NEW BEST:: SOT 411729 SOS 298949 HAS SOPS 270371 HAS SOUS 130501 HAS SOUPS 130190 WITH SCORE 130488.949
AT ITER 940 NEW BEST:: SOT 411721 SOS 298941 HAS SOPS 270363 HAS SOUS 130493 HAS SOUPS 130182 WITH SCORE 130480.941
AT ITER 956 NEW BEST:: SOT 411713 SOS 298933 HAS SOPS 270317 HAS SOUS 130447 HAS SOUPS 130136 WITH SCORE 130434.933
AT ITER 977 NEW BEST:: SOT 411285 SOS 298515 HAS SOPS 269895 HAS SOUS 129520 HAS SOUPS 129209 WITH SCORE 129507.515
AT ITER 982 NEW BEST:: SOT 410559 SOS 297789 HAS SOPS 268917 HAS SOUS 127509 HAS SOUPS 127198 WITH SCORE 127495.789
AT ITER 993 NEW BEST:: SOT 410543 SOS 297773 HAS SOPS 268900 HAS SOUS 127492 HAS SOUPS 127181 WITH SCORE 127478.773
AT ITER 1011 NEW BEST:: SOT 410525 SOS 297755 HAS SOPS 268868 HAS SOUS 127435 HAS SOUPS 127124 WITH SCORE 127421.755
AT ITER 1020 NEW BEST:: SOT 410525 SOS 297504 HAS SOPS 268617 HAS SOUS 127420 HAS SOUPS 127109 WITH SCORE 127406.504
AT ITER 1028 NEW BEST:: SOT 410469 SOS 297448 HAS SOPS 268617 HAS SOUS 127420 HAS SOUPS 127109 WITH SCORE 127406.448
AT ITER 1030 NEW BEST:: SOT 410350 SOS 299134 HAS SOPS 270303 HAS SOUS 127374 HAS SOUPS 127063 WITH SCORE 127362.134
AT ITER 1042 NEW BEST:: SOT 410235 SOS 299019 HAS SOPS 270188 HAS SOUS 127259 HAS SOUPS 126948 WITH SCORE 127247.019
AT ITER 1073 NEW BEST:: SOT 410225 SOS 299009 HAS SOPS 270178 HAS SOUS 127249 HAS SOUPS 126938 WITH SCORE 127237.009
AT ITER 1086 NEW BEST:: SOT 410225 SOS 298409 HAS SOPS 269578 HAS SOUS 127234 HAS SOUPS 126923 WITH SCORE 127221.409
AT ITER 1126 NEW BEST:: SOT 410225 SOS 298409 HAS SOPS 269566 HAS SOUS 127222 HAS SOUPS 126911 WITH SCORE 127209.409
AT ITER 1129 NEW BEST:: SOT 413044 SOS 299720 HAS SOPS 269247 HAS SOUS 127171 HAS SOUPS 126860 WITH SCORE 127159.72
AT ITER 1143 NEW BEST:: SOT 414448 SOS 298921 HAS SOPS 266817 HAS SOUS 124998 HAS SOUPS 124687 WITH SCORE 124985.921
AT ITER 1160 NEW BEST:: SOT 417176 SOS 300743 HAS SOPS 267072 HAS SOUS 124489 HAS SOUPS 124178 WITH SCORE 124478.743
AT ITER 1162 NEW BEST:: SOT 417176 SOS 300695 HAS SOPS 267024 HAS SOUS 124486 HAS SOUPS 124175 WITH SCORE 124475.695
AT ITER 1181 NEW BEST:: SOT 417038 SOS 300545 HAS SOPS 266874 HAS SOUS 124336 HAS SOUPS 124025 WITH SCORE 124325.545
AT ITER 1186 NEW BEST:: SOT 416992 SOS 300499 HAS SOPS 266853 HAS SOUS 124315 HAS SOUPS 124004 WITH SCORE 124304.499
AT ITER 1189 NEW BEST:: SOT 417532 SOS 301039 HAS SOPS 267393 HAS SOUS 123947 HAS SOUPS 123636 WITH SCORE 123937.039
AT ITER 1208 NEW BEST:: SOT 417504 SOS 301011 HAS SOPS 267365 HAS SOUS 123919 HAS SOUPS 123608 WITH SCORE 123909.011
AT ITER 1227 NEW BEST:: SOT 417670 SOS 300996 HAS SOPS 267350 HAS SOUS 123843 HAS SOUPS 123532 WITH SCORE 123832.996
AT ITER 1242 NEW BEST:: SOT 417563 SOS 300889 HAS SOPS 266486 HAS SOUS 123524 HAS SOUPS 123213 WITH SCORE 123513.889
AT ITER 1297 NEW BEST:: SOT 417545 SOS 300871 HAS SOPS 266451 HAS SOUS 123470 HAS SOUPS 123159 WITH SCORE 123459.871
AT ITER 1340 NEW BEST:: SOT 417541 SOS 300867 HAS SOPS 266447 HAS SOUS 123466 HAS SOUPS 123155 WITH SCORE 123455.867
AT ITER 1358 NEW BEST:: SOT 417537 SOS 300863 HAS SOPS 266447 HAS SOUS 123466 HAS SOUPS 123155 WITH SCORE 123455.863
AT ITER 1397 NEW BEST:: SOT 417528 SOS 300854 HAS SOPS 266443 HAS SOUS 123462 HAS SOUPS 123151 WITH SCORE 123451.854
AT ITER 1399 NEW BEST:: SOT 417472 SOS 300798 HAS SOPS 266443 HAS SOUS 123462 HAS SOUPS 123151 WITH SCORE 123451.798
AT ITER 1409 NEW BEST:: SOT 417458 SOS 300784 HAS SOPS 266429 HAS SOUS 123448 HAS SOUPS 123137 WITH SCORE 123437.784
AT ITER 1422 NEW BEST:: SOT 417458 SOS 300640 HAS SOPS 266285 HAS SOUS 123439 HAS SOUPS 123128 WITH SCORE 123428.64
AT ITER 1433 NEW BEST:: SOT 417447 SOS 300629 HAS SOPS 266274 HAS SOUS 122869 HAS SOUPS 122558 WITH SCORE 122858.629
AT ITER 1436 NEW BEST:: SOT 419559 SOS 301686 HAS SOPS 265750 HAS SOUS 122008 HAS SOUPS 121697 WITH SCORE 121998.686
AT ITER 1445 NEW BEST:: SOT 418455 SOS 300582 HAS SOPS 264646 HAS SOUS 120904 HAS SOUPS 120593 WITH SCORE 120893.582
AT ITER 1447 NEW BEST:: SOT 417328 SOS 296901 HAS SOPS 259444 HAS SOUS 117883 HAS SOUPS 117572 WITH SCORE 117868.901
AT ITER 1454 NEW BEST:: SOT 417318 SOS 296891 HAS SOPS 259443 HAS SOUS 117882 HAS SOUPS 117571 WITH SCORE 117867.891
AT ITER 1490 NEW BEST:: SOT 417317 SOS 296890 HAS SOPS 259442 HAS SOUS 117881 HAS SOUPS 117570 WITH SCORE 117866.89
AT ITER 1510 NEW BEST:: SOT 417317 SOS 296916 HAS SOPS 259468 HAS SOUS 116597 HAS SOUPS 116286 WITH SCORE 116582.916
AT ITER 1526 NEW BEST:: SOT 417316 SOS 296915 HAS SOPS 259462 HAS SOUS 116591 HAS SOUPS 116280 WITH SCORE 116576.915
AT ITER 1549 NEW BEST:: SOT 417233 SOS 296855 HAS SOPS 259401 HAS SOUS 116431 HAS SOUPS 116120 WITH SCORE 116416.855
AT ITER 1555 NEW BEST:: SOT 417231 SOS 296853 HAS SOPS 259399 HAS SOUS 116429 HAS SOUPS 116118 WITH SCORE 116414.853
AT ITER 1570 NEW BEST:: SOT 417231 SOS 295752 HAS SOPS 257266 HAS SOUS 116063 HAS SOUPS 115752 WITH SCORE 116047.752
AT ITER 1595 NEW BEST:: SOT 417126 SOS 295647 HAS SOPS 257222 HAS SOUS 116019 HAS SOUPS 115708 WITH SCORE 116003.647
AT ITER 1653 NEW BEST:: SOT 417120 SOS 295641 HAS SOPS 257195 HAS SOUS 115992 HAS SOUPS 115681 WITH SCORE 115976.641
AT ITER 1668 NEW BEST:: SOT 417091 SOS 295558 HAS SOPS 257170 HAS SOUS 115967 HAS SOUPS 115656 WITH SCORE 115951.558
AT ITER 1673 NEW BEST:: SOT 417114 SOS 295581 HAS SOPS 257127 HAS SOUS 115924 HAS SOUPS 115613 WITH SCORE 115908.581
AT ITER 1679 NEW BEST:: SOT 417114 SOS 295581 HAS SOPS 257125 HAS SOUS 115922 HAS SOUPS 115611 WITH SCORE 115906.581
AT ITER 1712 NEW BEST:: SOT 417083 SOS 295553 HAS SOPS 256965 HAS SOUS 115708 HAS SOUPS 115397 WITH SCORE 115692.553
AT ITER 1725 NEW BEST:: SOT 416997 SOS 295467 HAS SOPS 256942 HAS SOUS 115685 HAS SOUPS 115374 WITH SCORE 115669.467
AT ITER 1730 NEW BEST:: SOT 416907 SOS 295355 HAS SOPS 256830 HAS SOUS 115568 HAS SOUPS 115257 WITH SCORE 115552.355
AT ITER 1737 NEW BEST:: SOT 416978 SOS 295426 HAS SOPS 256437 HAS SOUS 115025 HAS SOUPS 114714 WITH SCORE 115009.426
AT ITER 1752 NEW BEST:: SOT 416892 SOS 295334 HAS SOPS 256431 HAS SOUS 115006 HAS SOUPS 114695 WITH SCORE 114990.334
AT ITER 1756 NEW BEST:: SOT 416837 SOS 295279 HAS SOPS 256376 HAS SOUS 114951 HAS SOUPS 114640 WITH SCORE 114935.279
AT ITER 1765 NEW BEST:: SOT 416815 SOS 295257 HAS SOPS 256354 HAS SOUS 114929 HAS SOUPS 114618 WITH SCORE 114913.257
AT ITER 1771 NEW BEST:: SOT 416815 SOS 294105 HAS SOPS 255202 HAS SOUS 114857 HAS SOUPS 114546 WITH SCORE 114840.105
AT ITER 1794 NEW BEST:: SOT 418333 SOS 295623 HAS SOPS 256806 HAS SOUS 113629 HAS SOUPS 113318 WITH SCORE 113613.623
AT ITER 1802 NEW BEST:: SOT 418437 SOS 295533 HAS SOPS 256716 HAS SOUS 113434 HAS SOUPS 113123 WITH SCORE 113418.533
AT ITER 1807 NEW BEST:: SOT 417458 SOS 294584 HAS SOPS 255767 HAS SOUS 112485 HAS SOUPS 112174 WITH SCORE 112468.584
AT ITER 1815 NEW BEST:: SOT 416200 SOS 293326 HAS SOPS 254508 HAS SOUS 111226 HAS SOUPS 110915 WITH SCORE 111208.326
AT ITER 1849 NEW BEST:: SOT 416015 SOS 293113 HAS SOPS 254295 HAS SOUS 110997 HAS SOUPS 110686 WITH SCORE 110979.113
AT ITER 1852 NEW BEST:: SOT 416015 SOS 293015 HAS SOPS 254197 HAS SOUS 110989 HAS SOUPS 110678 WITH SCORE 110971.015
AT ITER 1862 NEW BEST:: SOT 416022 SOS 293022 HAS SOPS 254191 HAS SOUS 110983 HAS SOUPS 110672 WITH SCORE 110965.022
AT ITER 1884 NEW BEST:: SOT 415882 SOS 292882 HAS SOPS 254023 HAS SOUS 110667 HAS SOUPS 110356 WITH SCORE 110648.882
AT ITER 1917 NEW BEST:: SOT 415882 SOS 292882 HAS SOPS 254014 HAS SOUS 110658 HAS SOUPS 110347 WITH SCORE 110639.882
AT ITER 1985 NEW BEST:: SOT 415882 SOS 292797 HAS SOPS 253886 HAS SOUS 110560 HAS SOUPS 110249 WITH SCORE 110541.797
AT ITER 1987 NEW BEST:: SOT 415838 SOS 292753 HAS SOPS 253865 HAS SOUS 110539 HAS SOUPS 110228 WITH SCORE 110520.753
AT ITER 2015 NEW BEST:: SOT 415792 SOS 292659 HAS SOPS 253119 HAS SOUS 110377 HAS SOUPS 110066 WITH SCORE 110358.659
AT ITER 2027 NEW BEST:: SOT 417708 SOS 294488 HAS SOPS 254307 HAS SOUS 109889 HAS SOUPS 109578 WITH SCORE 109872.488
AT ITER 2073 NEW BEST:: SOT 417693 SOS 294473 HAS SOPS 254292 HAS SOUS 109874 HAS SOUPS 109563 WITH SCORE 109857.473
AT ITER 2076 NEW BEST:: SOT 417638 SOS 294418 HAS SOPS 254256 HAS SOUS 109838 HAS SOUPS 109527 WITH SCORE 109821.418
AT ITER 2082 NEW BEST:: SOT 417607 SOS 294387 HAS SOPS 254225 HAS SOUS 109807 HAS SOUPS 109496 WITH SCORE 109790.387
AT ITER 2088 NEW BEST:: SOT 417601 SOS 294381 HAS SOPS 254225 HAS SOUS 109807 HAS SOUPS 109496 WITH SCORE 109790.381
AT ITER 2092 NEW BEST:: SOT 417586 SOS 294366 HAS SOPS 254210 HAS SOUS 109792 HAS SOUPS 109481 WITH SCORE 109775.366
AT ITER 2108 NEW BEST:: SOT 417586 SOS 294366 HAS SOPS 254178 HAS SOUS 109760 HAS SOUPS 109449 WITH SCORE 109743.366
AT ITER 2139 NEW BEST:: SOT 417584 SOS 294364 HAS SOPS 254174 HAS SOUS 109756 HAS SOUPS 109445 WITH SCORE 109739.364
AT ITER 2161 NEW BEST:: SOT 417644 SOS 294424 HAS SOPS 254144 HAS SOUS 109726 HAS SOUPS 109415 WITH SCORE 109709.424
AT ITER 2176 NEW BEST:: SOT 417639 SOS 294419 HAS SOPS 254138 HAS SOUS 109720 HAS SOUPS 109409 WITH SCORE 109703.419
AT ITER 2191 NEW BEST:: SOT 417817 SOS 294346 HAS SOPS 254048 HAS SOUS 109630 HAS SOUPS 109319 WITH SCORE 109613.346
AT ITER 2258 NEW BEST:: SOT 417798 SOS 294327 HAS SOPS 254009 HAS SOUS 109578 HAS SOUPS 109267 WITH SCORE 109561.327
AT ITER 2274 NEW BEST:: SOT 417810 SOS 294339 HAS SOPS 254007 HAS SOUS 109576 HAS SOUPS 109265 WITH SCORE 109559.339
AT ITER 2275 NEW BEST:: SOT 416660 SOS 293189 HAS SOPS 252857 HAS SOUS 108426 HAS SOUPS 108115 WITH SCORE 108408.189
AT ITER 2290 NEW BEST:: SOT 415588 SOS 292139 HAS SOPS 252176 HAS SOUS 107500 HAS SOUPS 107189 WITH SCORE 107481.139
AT ITER 2295 NEW BEST:: SOT 415579 SOS 292130 HAS SOPS 252163 HAS SOUS 107487 HAS SOUPS 107176 WITH SCORE 107468.13
AT ITER 2319 NEW BEST:: SOT 415579 SOS 292171 HAS SOPS 252204 HAS SOUS 107438 HAS SOUPS 107127 WITH SCORE 107419.171
AT ITER 2342 NEW BEST:: SOT 415579 SOS 292171 HAS SOPS 252204 HAS SOUS 105354 HAS SOUPS 105043 WITH SCORE 105335.171
AT ITER 2345 NEW BEST:: SOT 415579 SOS 292096 HAS SOPS 252129 HAS SOUS 105279 HAS SOUPS 104968 WITH SCORE 105260.096
AT ITER 2379 NEW BEST:: SOT 415478 SOS 291995 HAS SOPS 252127 HAS SOUS 105277 HAS SOUPS 104966 WITH SCORE 105257.995
AT ITER 2394 NEW BEST:: SOT 415383 SOS 291907 HAS SOPS 251466 HAS SOUS 104278 HAS SOUPS 103967 WITH SCORE 104258.907
AT ITER 2424 NEW BEST:: SOT 415373 SOS 291897 HAS SOPS 251446 HAS SOUS 104258 HAS SOUPS 103947 WITH SCORE 104238.897
AT ITER 2427 NEW BEST:: SOT 415203 SOS 291220 HAS SOPS 249747 HAS SOUS 103757 HAS SOUPS 103446 WITH SCORE 103737.22
AT ITER 2440 NEW BEST:: SOT 415141 SOS 291158 HAS SOPS 249663 HAS SOUS 103673 HAS SOUPS 103362 WITH SCORE 103653.158
AT ITER 2476 NEW BEST:: SOT 415141 SOS 290978 HAS SOPS 249483 HAS SOUS 103640 HAS SOUPS 103329 WITH SCORE 103619.978
AT ITER 2497 NEW BEST:: SOT 415097 SOS 290934 HAS SOPS 249442 HAS SOUS 103599 HAS SOUPS 103288 WITH SCORE 103578.934
AT ITER 2518 NEW BEST:: SOT 415061 SOS 290922 HAS SOPS 249379 HAS SOUS 103571 HAS SOUPS 103260 WITH SCORE 103550.922
AT ITER 2543 NEW BEST:: SOT 414993 SOS 290854 HAS SOPS 249311 HAS SOUS 103503 HAS SOUPS 103192 WITH SCORE 103482.854
AT ITER 2568 NEW BEST:: SOT 412395 SOS 290617 HAS SOPS 250096 HAS SOUS 101492 HAS SOUPS 101181 WITH SCORE 101471.617
AT ITER 2591 NEW BEST:: SOT 410532 SOS 288754 HAS SOPS 248231 HAS SOUS 100577 HAS SOUPS 100266 WITH SCORE 100554.754
AT ITER 2604 NEW BEST:: SOT 410532 SOS 288743 HAS SOPS 248220 HAS SOUS 100566 HAS SOUPS 100255 WITH SCORE 100543.743
AT ITER 2608 NEW BEST:: SOT 410530 SOS 288741 HAS SOPS 248218 HAS SOUS 100564 HAS SOUPS 100253 WITH SCORE 100541.741
AT ITER 2620 NEW BEST:: SOT 410508 SOS 288671 HAS SOPS 248148 HAS SOUS 100459 HAS SOUPS 100148 WITH SCORE 100436.671
AT ITER 2623 NEW BEST:: SOT 410495 SOS 288658 HAS SOPS 248122 HAS SOUS 100433 HAS SOUPS 100122 WITH SCORE 100410.658
AT ITER 2655 NEW BEST:: SOT 410463 SOS 288626 HAS SOPS 248090 HAS SOUS 100401 HAS SOUPS 100090 WITH SCORE 100378.626
AT ITER 2693 NEW BEST:: SOT 410582 SOS 288745 HAS SOPS 248089 HAS SOUS 100400 HAS SOUPS 100089 WITH SCORE 100377.745
AT ITER 2724 NEW BEST:: SOT 410607 SOS 288770 HAS SOPS 248088 HAS SOUS 100399 HAS SOUPS 100088 WITH SCORE 100376.77
AT ITER 2740 NEW BEST:: SOT 410607 SOS 287728 HAS SOPS 245448 HAS SOUS 98693 HAS SOUPS 98382 WITH SCORE 98669.728
AT ITER 2744 NEW BEST:: SOT 410807 SOS 287928 HAS SOPS 245648 HAS SOUS 96645 HAS SOUPS 96334 WITH SCORE 96621.928
AT ITER 2771 NEW BEST:: SOT 410785 SOS 287906 HAS SOPS 245637 HAS SOUS 96634 HAS SOUPS 96323 WITH SCORE 96610.906
AT ITER 2822 NEW BEST:: SOT 410785 SOS 287223 HAS SOPS 244954 HAS SOUS 96603 HAS SOUPS 96292 WITH SCORE 96579.223
AT ITER 2835 NEW BEST:: SOT 410302 SOS 286722 HAS SOPS 244348 HAS SOUS 95511 HAS SOUPS 95200 WITH SCORE 95486.722
AT ITER 2853 NEW BEST:: SOT 410254 SOS 286674 HAS SOPS 244277 HAS SOUS 95440 HAS SOUPS 95129 WITH SCORE 95415.674
AT ITER 2880 NEW BEST:: SOT 410214 SOS 286634 HAS SOPS 244237 HAS SOUS 95400 HAS SOUPS 95089 WITH SCORE 95375.634
AT ITER 2934 NEW BEST:: SOT 410213 SOS 286633 HAS SOPS 244236 HAS SOUS 95399 HAS SOUPS 95088 WITH SCORE 95374.633
AT ITER 2941 NEW BEST:: SOT 409699 SOS 286119 HAS SOPS 243649 HAS SOUS 94244 HAS SOUPS 93933 WITH SCORE 94219.119
AT ITER 2944 NEW BEST:: SOT 409559 SOS 285975 HAS SOPS 243545 HAS SOUS 94068 HAS SOUPS 93757 WITH SCORE 94042.975
AT ITER 3011 NEW BEST:: SOT 409533 SOS 285949 HAS SOPS 243519 HAS SOUS 94042 HAS SOUPS 93731 WITH SCORE 94016.949
AT ITER 3084 NEW BEST:: SOT 409529 SOS 285945 HAS SOPS 243518 HAS SOUS 94041 HAS SOUPS 93730 WITH SCORE 94015.945
AT ITER 3111 NEW BEST:: SOT 409362 SOS 285778 HAS SOPS 243230 HAS SOUS 93584 HAS SOUPS 93269 WITH SCORE 93554.778
AT ITER 3114 NEW BEST:: SOT 409362 SOS 285773 HAS SOPS 243225 HAS SOUS 93579 HAS SOUPS 93264 WITH SCORE 93549.773
AT ITER 3169 NEW BEST:: SOT 409317 SOS 285728 HAS SOPS 243176 HAS SOUS 93530 HAS SOUPS 93215 WITH SCORE 93500.728
AT ITER 3172 NEW BEST:: SOT 409308 SOS 285719 HAS SOPS 243174 HAS SOUS 93528 HAS SOUPS 93213 WITH SCORE 93498.719
AT ITER 3177 NEW BEST:: SOT 409198 SOS 285609 HAS SOPS 243064 HAS SOUS 93418 HAS SOUPS 93103 WITH SCORE 93388.609
AT ITER 3214 NEW BEST:: SOT 408120 SOS 284531 HAS SOPS 241964 HAS SOUS 92318 HAS SOUPS 92003 WITH SCORE 92287.531
AT ITER 3221 NEW BEST:: SOT 406807 SOS 283248 HAS SOPS 240681 HAS SOUS 91077 HAS SOUPS 90762 WITH SCORE 91045.248
AT ITER 3240 NEW BEST:: SOT 406764 SOS 283205 HAS SOPS 240675 HAS SOUS 91071 HAS SOUPS 90756 WITH SCORE 91039.205
AT ITER 3241 NEW BEST:: SOT 406783 SOS 283225 HAS SOPS 240717 HAS SOUS 91066 HAS SOUPS 90751 WITH SCORE 91034.225
AT ITER 3293 NEW BEST:: SOT 406769 SOS 283211 HAS SOPS 240703 HAS SOUS 91052 HAS SOUPS 90737 WITH SCORE 91020.211
AT ITER 3302 NEW BEST:: SOT 406714 SOS 283156 HAS SOPS 240637 HAS SOUS 90986 HAS SOUPS 90671 WITH SCORE 90954.156
AT ITER 3311 NEW BEST:: SOT 406781 SOS 283223 HAS SOPS 240594 HAS SOUS 90893 HAS SOUPS 90578 WITH SCORE 90861.223
AT ITER 3322 NEW BEST:: SOT 408081 SOS 284523 HAS SOPS 241858 HAS SOUS 90074 HAS SOUPS 89759 WITH SCORE 90043.523
AT ITER 3342 NEW BEST:: SOT 408092 SOS 284534 HAS SOPS 241826 HAS SOUS 90042 HAS SOUPS 89727 WITH SCORE 90011.534
AT ITER 3352 NEW BEST:: SOT 408092 SOS 284534 HAS SOPS 241812 HAS SOUS 90028 HAS SOUPS 89713 WITH SCORE 89997.534
AT ITER 3372 NEW BEST:: SOT 408029 SOS 284231 HAS SOPS 240784 HAS SOUS 89808 HAS SOUPS 89493 WITH SCORE 89777.231
AT ITER 3377 NEW BEST:: SOT 408029 SOS 283677 HAS SOPS 240230 HAS SOUS 89582 HAS SOUPS 89267 WITH SCORE 89550.677
AT ITER 3443 NEW BEST:: SOT 408029 SOS 283677 HAS SOPS 240224 HAS SOUS 89576 HAS SOUPS 89261 WITH SCORE 89544.677
AT ITER 3568 NEW BEST:: SOT 408029 SOS 283677 HAS SOPS 240221 HAS SOUS 89573 HAS SOUPS 89258 WITH SCORE 89541.677
AT ITER 3619 NEW BEST:: SOT 408029 SOS 282703 HAS SOPS 239247 HAS SOUS 89527 HAS SOUPS 89212 WITH SCORE 89494.703
AT ITER 3628 NEW BEST:: SOT 405453 SOS 281351 HAS SOPS 237895 HAS SOUS 87142 HAS SOUPS 86827 WITH SCORE 87108.351
AT ITER 3645 NEW BEST:: SOT 405443 SOS 281341 HAS SOPS 237885 HAS SOUS 87132 HAS SOUPS 86817 WITH SCORE 87098.341
AT ITER 3650 NEW BEST:: SOT 406515 SOS 282491 HAS SOPS 237526 HAS SOUS 86275 HAS SOUPS 85960 WITH SCORE 86242.491
AT ITER 3734 NEW BEST:: SOT 406487 SOS 282463 HAS SOPS 237498 HAS SOUS 86247 HAS SOUPS 85932 WITH SCORE 86214.463
AT ITER 3784 NEW BEST:: SOT 406486 SOS 282462 HAS SOPS 237497 HAS SOUS 86246 HAS SOUPS 85931 WITH SCORE 86213.462
AT ITER 3789 NEW BEST:: SOT 406446 SOS 282422 HAS SOPS 237427 HAS SOUS 86176 HAS SOUPS 85861 WITH SCORE 86143.422
AT ITER 3792 NEW BEST:: SOT 406424 SOS 282400 HAS SOPS 237394 HAS SOUS 86143 HAS SOUPS 85828 WITH SCORE 86110.4
AT ITER 3800 NEW BEST:: SOT 406115 SOS 282081 HAS SOPS 237006 HAS SOUS 85444 HAS SOUPS 85129 WITH SCORE 85411.081
AT ITER 3832 NEW BEST:: SOT 406115 SOS 282081 HAS SOPS 237004 HAS SOUS 85442 HAS SOUPS 85127 WITH SCORE 85409.081
AT ITER 3879 NEW BEST:: SOT 406095 SOS 282061 HAS SOPS 236990 HAS SOUS 85428 HAS SOUPS 85113 WITH SCORE 85395.061
AT ITER 3898 NEW BEST:: SOT 406096 SOS 282062 HAS SOPS 236959 HAS SOUS 85397 HAS SOUPS 85082 WITH SCORE 85364.062
AT ITER 3912 NEW BEST:: SOT 406036 SOS 282002 HAS SOPS 236870 HAS SOUS 85308 HAS SOUPS 84993 WITH SCORE 85275.002
AT ITER 3936 NEW BEST:: SOT 406036 SOS 282002 HAS SOPS 236869 HAS SOUS 85307 HAS SOUPS 84992 WITH SCORE 85274.002
AT ITER 3965 NEW BEST:: SOT 405990 SOS 281956 HAS SOPS 236823 HAS SOUS 85261 HAS SOUPS 84946 WITH SCORE 85227.956
AT ITER 3984 NEW BEST:: SOT 405974 SOS 281940 HAS SOPS 236807 HAS SOUS 85245 HAS SOUPS 84930 WITH SCORE 85211.94
AT ITER 4000 NEW BEST:: SOT 405958 SOS 281924 HAS SOPS 236796 HAS SOUS 85234 HAS SOUPS 84919 WITH SCORE 85200.924
AT ITER 4057 NEW BEST:: SOT 405913 SOS 281879 HAS SOPS 236760 HAS SOUS 85198 HAS SOUPS 84883 WITH SCORE 85164.879
AT ITER 4083 NEW BEST:: SOT 405838 SOS 281823 HAS SOPS 236704 HAS SOUS 84199 HAS SOUPS 83884 WITH SCORE 84165.823
AT ITER 4101 NEW BEST:: SOT 405838 SOS 281823 HAS SOPS 236702 HAS SOUS 84197 HAS SOUPS 83882 WITH SCORE 84163.823
AT ITER 4217 NEW BEST:: SOT 405838 SOS 281812 HAS SOPS 236691 HAS SOUS 84186 HAS SOUPS 83871 WITH SCORE 84152.812
AT ITER 4231 NEW BEST:: SOT 402733 SOS 278707 HAS SOPS 233848 HAS SOUS 81667 HAS SOUPS 81352 WITH SCORE 81630.707
AT ITER 4264 NEW BEST:: SOT 402733 SOS 278707 HAS SOPS 233841 HAS SOUS 81660 HAS SOUPS 81345 WITH SCORE 81623.707
AT ITER 4276 NEW BEST:: SOT 402701 SOS 278571 HAS SOPS 233684 HAS SOUS 81503 HAS SOUPS 81188 WITH SCORE 81466.571
AT ITER 4277 NEW BEST:: SOT 402701 SOS 277545 HAS SOPS 232658 HAS SOUS 81483 HAS SOUPS 81168 WITH SCORE 81445.545
AT ITER 4324 NEW BEST:: SOT 403201 SOS 278045 HAS SOPS 233193 HAS SOUS 80718 HAS SOUPS 80403 WITH SCORE 80681.045
AT ITER 4325 NEW BEST:: SOT 402774 SOS 277618 HAS SOPS 232757 HAS SOUS 80291 HAS SOUPS 79976 WITH SCORE 80253.618
AT ITER 4337 NEW BEST:: SOT 402774 SOS 277475 HAS SOPS 232614 HAS SOUS 80289 HAS SOUPS 79974 WITH SCORE 80251.475
AT ITER 4361 NEW BEST:: SOT 402690 SOS 276578 HAS SOPS 231160 HAS SOUS 80091 HAS SOUPS 79776 WITH SCORE 80052.578
AT ITER 4387 NEW BEST:: SOT 402688 SOS 276576 HAS SOPS 231158 HAS SOUS 80089 HAS SOUPS 79774 WITH SCORE 80050.576
AT ITER 4411 NEW BEST:: SOT 402705 SOS 276593 HAS SOPS 231153 HAS SOUS 80084 HAS SOUPS 79769 WITH SCORE 80045.593
AT ITER 4453 NEW BEST:: SOT 402705 SOS 276589 HAS SOPS 231149 HAS SOUS 80080 HAS SOUPS 79765 WITH SCORE 80041.589
AT ITER 4466 NEW BEST:: SOT 402705 SOS 276343 HAS SOPS 230903 HAS SOUS 79975 HAS SOUPS 79660 WITH SCORE 79936.343
AT ITER 4505 NEW BEST:: SOT 402693 SOS 276331 HAS SOPS 230891 HAS SOUS 79963 HAS SOUPS 79648 WITH SCORE 79924.331
AT ITER 4539 NEW BEST:: SOT 402682 SOS 276320 HAS SOPS 230853 HAS SOUS 79925 HAS SOUPS 79610 WITH SCORE 79886.32
AT ITER 4541 NEW BEST:: SOT 402685 SOS 276323 HAS SOPS 230829 HAS SOUS 79901 HAS SOUPS 79586 WITH SCORE 79862.323
AT ITER 4591 NEW BEST:: SOT 401963 SOS 275601 HAS SOPS 230079 HAS SOUS 79829 HAS SOUPS 79514 WITH SCORE 79789.601
AT ITER 4596 NEW BEST:: SOT 401963 SOS 275313 HAS SOPS 229791 HAS SOUS 79811 HAS SOUPS 79496 WITH SCORE 79771.313
AT ITER 4612 NEW BEST:: SOT 401962 SOS 275312 HAS SOPS 229707 HAS SOUS 79727 HAS SOUPS 79412 WITH SCORE 79687.312
AT ITER 4629 NEW BEST:: SOT 401820 SOS 275170 HAS SOPS 229668 HAS SOUS 79688 HAS SOUPS 79373 WITH SCORE 79648.17
AT ITER 4660 NEW BEST:: SOT 401815 SOS 275165 HAS SOPS 229677 HAS SOUS 78997 HAS SOUPS 78682 WITH SCORE 78957.165
AT ITER 4733 NEW BEST:: SOT 401804 SOS 275154 HAS SOPS 229677 HAS SOUS 78997 HAS SOUPS 78682 WITH SCORE 78957.154
AT ITER 4791 NEW BEST:: SOT 401804 SOS 274327 HAS SOPS 228850 HAS SOUS 78957 HAS SOUPS 78642 WITH SCORE 78916.327
AT ITER 4808 NEW BEST:: SOT 401774 SOS 274297 HAS SOPS 228809 HAS SOUS 78916 HAS SOUPS 78601 WITH SCORE 78875.297
AT ITER 4811 NEW BEST:: SOT 401774 SOS 274199 HAS SOPS 228711 HAS SOUS 78912 HAS SOUPS 78597 WITH SCORE 78871.199
AT ITER 4839 NEW BEST:: SOT 401767 SOS 274192 HAS SOPS 228704 HAS SOUS 78905 HAS SOUPS 78590 WITH SCORE 78864.192
AT ITER 4849 NEW BEST:: SOT 400508 SOS 272965 HAS SOPS 227480 HAS SOUS 77978 HAS SOUPS 77663 WITH SCORE 77935.965
AT ITER 4884 NEW BEST:: SOT 400501 SOS 272956 HAS SOPS 227478 HAS SOUS 77969 HAS SOUPS 77654 WITH SCORE 77926.956
AT ITER 4926 NEW BEST:: SOT 400499 SOS 272954 HAS SOPS 227476 HAS SOUS 77967 HAS SOUPS 77652 WITH SCORE 77924.954
AT ITER 4978 NEW BEST:: SOT 400499 SOS 272979 HAS SOPS 227501 HAS SOUS 77770 HAS SOUPS 77455 WITH SCORE 77727.979
Bounds file is: CTLFireability.xml
PROPERTY: Railroad-PT-050-CTLFireability-00 (AF( (! ( (! ( ((potential((tk(P186)>=1) & (tk(P442)>=1) & (tk(P135)>=1)))) | ((potential((tk(P197)>=1) & (tk(P442)>=1) & (tk(P148)>=1)))) )) | (EF( ((potential((tk(P217)>=1) & (tk(P442)>=1) & (tk(P127)>=1)))))) ))))
PROPERTY: Railroad-PT-050-CTLFireability-01 ( (! (! ((potential((tk(P213)>=1) & (tk(P442)>=1) & (tk(P145)>=1)))))) | (! ( (! ((potential((tk(P217)>=1) & (tk(P442)>=1) & (tk(P140)>=1))))) & (EF( ((potential((tk(P180)>=1) & (tk(P442)>=1) & (tk(P158)>=1)))))) )) )
PROPERTY: Railroad-PT-050-CTLFireability-02 (EF( (AF( (EG( ((potential((tk(P206)>=1) & (tk(P442)>=1) & (tk(P169)>=1))))))))))
PROPERTY: Railroad-PT-050-CTLFireability-03 (EF( ( ( (AG( ((potential((tk(P203)>=1) & (tk(P442)>=1) & (tk(P144)>=1)))))) & (AX( ((potential((tk(P191)>=1) & (tk(P442)>=1) & (tk(P170)>=1)))))) ) & ((potential((tk(P468)>=1) & (tk(P108)>=1)))) )))
PROPERTY: Railroad-PT-050-CTLFireability-04 (EF( (! (AX( (! ((potential((tk(P218)>=1) & (tk(P442)>=1) & (tk(P136)>=1))))))))))
PROPERTY: Railroad-PT-050-CTLFireability-05 ( (EF( ((potential((tk(P195)>=1) & (tk(P442)>=1) & (tk(P156)>=1)))))) & (! ( (EF( ( ((potential((tk(P205)>=1) & (tk(P442)>=1) & (tk(P164)>=1)))) & ((potential((tk(P207)>=1) & (tk(P442)>=1) & (tk(P170)>=1)))) ))) & ( ((potential((tk(P228)>=1) & (tk(P442)>=1) & (tk(P165)>=1)))) & (! ( ((potential((tk(P209)>=1) & (tk(P442)>=1) & (tk(P172)>=1)))) | ((potential((tk(P184)>=1) & (tk(P442)>=1) & (tk(P165)>=1)))) )) ) )) )
PROPERTY: Railroad-PT-050-CTLFireability-06 ( ( ((potential((tk(P224)>=1) & (tk(P442)>=1) & (tk(P129)>=1)))) | ( (EF( ( ((potential((tk(P199)>=1) & (tk(P442)>=1) & (tk(P155)>=1)))) | ((potential((tk(P183)>=1) & (tk(P442)>=1) & (tk(P150)>=1)))) ))) & (EG( (! ((potential((tk(P202)>=1) & (tk(P442)>=1) & (tk(P169)>=1))))))) ) ) & ( ( (EU( ((potential((tk(P188)>=1) & (tk(P442)>=1) & (tk(P165)>=1)))) , ((potential((tk(P195)>=1) & (tk(P442)>=1) & (tk(P130)>=1)))) )) | ( ( ( ((potential((tk(P197)>=1) & (tk(P442)>=1) & (tk(P160)>=1)))) & ((potential((tk(P188)>=1) & (tk(P442)>=1) & (tk(P140)>=1)))) ) | ((potential((tk(P213)>=1) & (tk(P442)>=1) & (tk(P129)>=1)))) ) & ( ((potential((tk(P212)>=1) & (tk(P442)>=1) & (tk(P129)>=1)))) & ( ((potential((tk(P213)>=1) & (tk(P442)>=1) & (tk(P164)>=1)))) & ((potential((tk(P182)>=1) & (tk(P442)>=1) & (tk(P143)>=1)))) ) ) ) ) | ( (AG( ((potential((tk(P224)>=1) & (tk(P442)>=1) & (tk(P134)>=1)))))) | (! (AF( ((potential((tk(P206)>=1) & (tk(P442)>=1) & (tk(P127)>=1))))))) ) ) )
PROPERTY: Railroad-PT-050-CTLFireability-07 (AF( (EX( ((potential((tk(P195)>=1) & (tk(P442)>=1) & (tk(P133)>=1))))))))
PROPERTY: Railroad-PT-050-CTLFireability-08 (AF( ((potential((tk(P224)>=1) & (tk(P442)>=1) & (tk(P169)>=1))))))
PROPERTY: Railroad-PT-050-CTLFireability-09 (EU( ( ( ((potential((tk(P181)>=1) & (tk(P442)>=1) & (tk(P130)>=1)))) | (! ((potential((tk(P183)>=1) & (tk(P442)>=1) & (tk(P171)>=1))))) ) & ( ((potential((tk(P205)>=1) & (tk(P442)>=1) & (tk(P156)>=1)))) | (! ((potential((tk(P194)>=1) & (tk(P442)>=1) & (tk(P161)>=1))))) ) ) , (EG( ((potential((tk(P192)>=1) & (tk(P442)>=1) & (tk(P133)>=1)))))) ))
PROPERTY: Railroad-PT-050-CTLFireability-10 (EX( (! (EG( (! ((potential((tk(P212)>=1) & (tk(P442)>=1) & (tk(P129)>=1))))))))))
PROPERTY: Railroad-PT-050-CTLFireability-11 (AG( (AF( (! ( ((potential((tk(P188)>=1) & (tk(P442)>=1) & (tk(P132)>=1)))) & ((potential((tk(P200)>=1) & (tk(P442)>=1) & (tk(P176)>=1)))) ))))))
PROPERTY: Railroad-PT-050-CTLFireability-12 (AU( (EX( ( ((potential((tk(P113)>=1) & (tk(P297)>=1)))) & ((potential((tk(P219)>=1) & (tk(P442)>=1) & (tk(P151)>=1)))) ))) , (EF( ((potential((tk(P223)>=1) & (tk(P442)>=1) & (tk(P176)>=1)))))) ))
PROPERTY: Railroad-PT-050-CTLFireability-13 (! ( (! (EF( ( ((potential((tk(P181)>=1) & (tk(P442)>=1) & (tk(P176)>=1)))) & ((potential((tk(P188)>=1) & (tk(P442)>=1) & (tk(P136)>=1)))) )))) | ( ( (EX( ((potential((tk(P211)>=1) & (tk(P442)>=1) & (tk(P153)>=1)))))) | ( ( ((potential((tk(P242)>=1) & (tk(P364)>=1)))) | ((potential((tk(P184)>=1) & (tk(P442)>=1) & (tk(P135)>=1)))) ) & ( ((potential((tk(P221)>=1) & (tk(P442)>=1) & (tk(P165)>=1)))) & ((potential((tk(P214)>=1) & (tk(P442)>=1) & (tk(P167)>=1)))) ) ) ) & ( (EX( ((potential((tk(P216)>=1) & (tk(P442)>=1) & (tk(P160)>=1)))))) | ( ( ((potential((tk(P442)>=1) & (tk(P491)>=1) & (tk(P134)>=1)))) & ((potential((tk(P203)>=1) & (tk(P442)>=1) & (tk(P172)>=1)))) ) & ((potential((tk(P183)>=1) & (tk(P442)>=1) & (tk(P167)>=1)))) ) ) ) ))
PROPERTY: Railroad-PT-050-CTLFireability-14 (AU( ((potential((tk(P189)>=1) & (tk(P442)>=1) & (tk(P168)>=1)))) , ( (AF( ((potential((tk(P209)>=1) & (tk(P442)>=1) & (tk(P156)>=1)))))) | ((potential((tk(P181)>=1) & (tk(P442)>=1) & (tk(P172)>=1)))) ) ))
PROPERTY: Railroad-PT-050-CTLFireability-15 (! (AU( ((potential((tk(P195)>=1) & (tk(P442)>=1) & (tk(P161)>=1)))) , (AF( ((potential((tk(P202)>=1) & (tk(P442)>=1) & (tk(P157)>=1)))))) )))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Railroad-PT-050"
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 Railroad-PT-050, 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 r138-smll-158961502700316"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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