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.r003-smll-158897508600460.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 AutoFlight-PT-06b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508600460
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 324K
-rw-r--r-- 1 mcc users 4.1K Mar 25 23:18 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 25 23:18 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 18:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 18:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.0K Mar 25 15:01 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K Mar 25 15:01 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 25 10:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 25 10:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 17:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 25 17:54 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 134K 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 AutoFlight-PT-06b-CTLFireability-00
FORMULA_NAME AutoFlight-PT-06b-CTLFireability-01
FORMULA_NAME AutoFlight-PT-06b-CTLFireability-02
FORMULA_NAME AutoFlight-PT-06b-CTLFireability-03
FORMULA_NAME AutoFlight-PT-06b-CTLFireability-04
FORMULA_NAME AutoFlight-PT-06b-CTLFireability-05
FORMULA_NAME AutoFlight-PT-06b-CTLFireability-06
FORMULA_NAME AutoFlight-PT-06b-CTLFireability-07
FORMULA_NAME AutoFlight-PT-06b-CTLFireability-08
FORMULA_NAME AutoFlight-PT-06b-CTLFireability-09
FORMULA_NAME AutoFlight-PT-06b-CTLFireability-10
FORMULA_NAME AutoFlight-PT-06b-CTLFireability-11
FORMULA_NAME AutoFlight-PT-06b-CTLFireability-12
FORMULA_NAME AutoFlight-PT-06b-CTLFireability-13
FORMULA_NAME AutoFlight-PT-06b-CTLFireability-14
FORMULA_NAME AutoFlight-PT-06b-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589161783051

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutoFlight (PT), instance 06b
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: 574 places, 572 transitions, 1334 arcs.
AT ITER 0 NEW BEST:: SOT 177901 SOS 33567 HAS SOPS 33567 HAS SOUS 30750 HAS SOUPS 30750 WITH SCORE 30783.567
AT ITER 6 NEW BEST:: SOT 177896 SOS 33552 HAS SOPS 33552 HAS SOUS 30735 HAS SOUPS 30735 WITH SCORE 30768.552
AT ITER 19 NEW BEST:: SOT 177896 SOS 33552 HAS SOPS 33552 HAS SOUS 30704 HAS SOUPS 30704 WITH SCORE 30737.552
AT ITER 43 NEW BEST:: SOT 177869 SOS 33556 HAS SOPS 33556 HAS SOUS 30677 HAS SOUPS 30677 WITH SCORE 30710.556
AT ITER 45 NEW BEST:: SOT 177861 SOS 33541 HAS SOPS 33541 HAS SOUS 30662 HAS SOUPS 30662 WITH SCORE 30695.541
AT ITER 50 NEW BEST:: SOT 177861 SOS 33527 HAS SOPS 33527 HAS SOUS 30662 HAS SOUPS 30662 WITH SCORE 30695.527
AT ITER 51 NEW BEST:: SOT 177794 SOS 33460 HAS SOPS 33460 HAS SOUS 30528 HAS SOUPS 30528 WITH SCORE 30561.46
AT ITER 75 NEW BEST:: SOT 177788 SOS 33463 HAS SOPS 33463 HAS SOUS 30517 HAS SOUPS 30517 WITH SCORE 30550.463
AT ITER 104 NEW BEST:: SOT 177777 SOS 33441 HAS SOPS 33441 HAS SOUS 30478 HAS SOUPS 30478 WITH SCORE 30511.441
AT ITER 128 NEW BEST:: SOT 177768 SOS 33414 HAS SOPS 33414 HAS SOUS 30451 HAS SOUPS 30451 WITH SCORE 30484.414
AT ITER 132 NEW BEST:: SOT 177750 SOS 33438 HAS SOPS 33438 HAS SOUS 30433 HAS SOUPS 30433 WITH SCORE 30466.438
AT ITER 136 NEW BEST:: SOT 177744 SOS 33432 HAS SOPS 33432 HAS SOUS 30427 HAS SOUPS 30427 WITH SCORE 30460.432
AT ITER 142 NEW BEST:: SOT 177744 SOS 33401 HAS SOPS 33401 HAS SOUS 30396 HAS SOUPS 30396 WITH SCORE 30429.401
AT ITER 147 NEW BEST:: SOT 177707 SOS 33364 HAS SOPS 33364 HAS SOUS 30359 HAS SOUPS 30359 WITH SCORE 30392.364
AT ITER 165 NEW BEST:: SOT 177731 SOS 33412 HAS SOPS 33412 HAS SOUS 30351 HAS SOUPS 30351 WITH SCORE 30384.412
AT ITER 180 NEW BEST:: SOT 177717 SOS 33384 HAS SOPS 33384 HAS SOUS 30323 HAS SOUPS 30323 WITH SCORE 30356.384
AT ITER 201 NEW BEST:: SOT 177667 SOS 33317 HAS SOPS 33317 HAS SOUS 30240 HAS SOUPS 30240 WITH SCORE 30273.317
AT ITER 208 NEW BEST:: SOT 177622 SOS 33227 HAS SOPS 33227 HAS SOUS 30111 HAS SOUPS 30111 WITH SCORE 30144.227
AT ITER 213 NEW BEST:: SOT 177608 SOS 33188 HAS SOPS 33188 HAS SOUS 30082 HAS SOUPS 30082 WITH SCORE 30115.188
AT ITER 217 NEW BEST:: SOT 177608 SOS 33183 HAS SOPS 33183 HAS SOUS 30079 HAS SOUPS 30079 WITH SCORE 30112.183
AT ITER 258 NEW BEST:: SOT 177604 SOS 33169 HAS SOPS 33169 HAS SOUS 30059 HAS SOUPS 30059 WITH SCORE 30092.169
AT ITER 281 NEW BEST:: SOT 177577 SOS 33142 HAS SOPS 33142 HAS SOUS 30005 HAS SOUPS 30005 WITH SCORE 30038.142
AT ITER 297 NEW BEST:: SOT 177585 SOS 33123 HAS SOPS 33123 HAS SOUS 29986 HAS SOUPS 29986 WITH SCORE 30019.123
AT ITER 303 NEW BEST:: SOT 177571 SOS 33117 HAS SOPS 33117 HAS SOUS 29986 HAS SOUPS 29986 WITH SCORE 30019.117
AT ITER 305 NEW BEST:: SOT 177532 SOS 33018 HAS SOPS 33018 HAS SOUS 29859 HAS SOUPS 29859 WITH SCORE 29892.018
AT ITER 317 NEW BEST:: SOT 177500 SOS 32977 HAS SOPS 32977 HAS SOUS 29818 HAS SOUPS 29818 WITH SCORE 29850.977
AT ITER 338 NEW BEST:: SOT 177455 SOS 33022 HAS SOPS 33022 HAS SOUS 29773 HAS SOUPS 29773 WITH SCORE 29806.022
AT ITER 339 NEW BEST:: SOT 177432 SOS 33011 HAS SOPS 33011 HAS SOUS 29750 HAS SOUPS 29750 WITH SCORE 29783.011
AT ITER 356 NEW BEST:: SOT 177398 SOS 32960 HAS SOPS 32960 HAS SOUS 29699 HAS SOUPS 29699 WITH SCORE 29731.96
AT ITER 370 NEW BEST:: SOT 177361 SOS 32921 HAS SOPS 32921 HAS SOUS 29662 HAS SOUPS 29662 WITH SCORE 29694.921
AT ITER 376 NEW BEST:: SOT 177393 SOS 32831 HAS SOPS 32831 HAS SOUS 29655 HAS SOUPS 29655 WITH SCORE 29687.831
AT ITER 378 NEW BEST:: SOT 177382 SOS 32798 HAS SOPS 32798 HAS SOUS 29633 HAS SOUPS 29633 WITH SCORE 29665.798
AT ITER 391 NEW BEST:: SOT 177382 SOS 32790 HAS SOPS 32790 HAS SOUS 29625 HAS SOUPS 29625 WITH SCORE 29657.79
AT ITER 407 NEW BEST:: SOT 177382 SOS 32788 HAS SOPS 32788 HAS SOUS 29625 HAS SOUPS 29625 WITH SCORE 29657.788
AT ITER 412 NEW BEST:: SOT 177316 SOS 32765 HAS SOPS 32765 HAS SOUS 29602 HAS SOUPS 29602 WITH SCORE 29634.765
AT ITER 420 NEW BEST:: SOT 177316 SOS 32765 HAS SOPS 32765 HAS SOUS 29562 HAS SOUPS 29562 WITH SCORE 29594.765
AT ITER 473 NEW BEST:: SOT 177316 SOS 32896 HAS SOPS 32896 HAS SOUS 29543 HAS SOUPS 29543 WITH SCORE 29575.896
AT ITER 476 NEW BEST:: SOT 177288 SOS 32857 HAS SOPS 32857 HAS SOUS 29504 HAS SOUPS 29504 WITH SCORE 29536.857
AT ITER 477 NEW BEST:: SOT 177288 SOS 32834 HAS SOPS 32834 HAS SOUS 29504 HAS SOUPS 29504 WITH SCORE 29536.834
AT ITER 491 NEW BEST:: SOT 177268 SOS 32845 HAS SOPS 32845 HAS SOUS 29501 HAS SOUPS 29501 WITH SCORE 29533.845
AT ITER 527 NEW BEST:: SOT 177268 SOS 32824 HAS SOPS 32824 HAS SOUS 29497 HAS SOUPS 29497 WITH SCORE 29529.824
AT ITER 533 NEW BEST:: SOT 177280 SOS 32845 HAS SOPS 32845 HAS SOUS 29440 HAS SOUPS 29440 WITH SCORE 29472.845
AT ITER 549 NEW BEST:: SOT 177273 SOS 32838 HAS SOPS 32838 HAS SOUS 29433 HAS SOUPS 29433 WITH SCORE 29465.838
AT ITER 558 NEW BEST:: SOT 177300 SOS 32892 HAS SOPS 32892 HAS SOUS 29405 HAS SOUPS 29405 WITH SCORE 29437.892
AT ITER 561 NEW BEST:: SOT 177300 SOS 32892 HAS SOPS 32892 HAS SOUS 29400 HAS SOUPS 29400 WITH SCORE 29432.892
AT ITER 604 NEW BEST:: SOT 177300 SOS 32883 HAS SOPS 32883 HAS SOUS 29400 HAS SOUPS 29400 WITH SCORE 29432.883
AT ITER 606 NEW BEST:: SOT 177300 SOS 32883 HAS SOPS 32883 HAS SOUS 29399 HAS SOUPS 29399 WITH SCORE 29431.883
AT ITER 608 NEW BEST:: SOT 177300 SOS 32873 HAS SOPS 32873 HAS SOUS 29389 HAS SOUPS 29389 WITH SCORE 29421.873
AT ITER 623 NEW BEST:: SOT 177299 SOS 32872 HAS SOPS 32872 HAS SOUS 29388 HAS SOUPS 29388 WITH SCORE 29420.872
AT ITER 636 NEW BEST:: SOT 177299 SOS 32842 HAS SOPS 32842 HAS SOUS 29388 HAS SOUPS 29388 WITH SCORE 29420.842
AT ITER 641 NEW BEST:: SOT 177326 SOS 32865 HAS SOPS 32865 HAS SOUS 29384 HAS SOUPS 29384 WITH SCORE 29416.865
AT ITER 648 NEW BEST:: SOT 177305 SOS 32835 HAS SOPS 32835 HAS SOUS 29363 HAS SOUPS 29363 WITH SCORE 29395.835
AT ITER 656 NEW BEST:: SOT 177261 SOS 32781 HAS SOPS 32781 HAS SOUS 29309 HAS SOUPS 29309 WITH SCORE 29341.781
AT ITER 664 NEW BEST:: SOT 177170 SOS 32797 HAS SOPS 32797 HAS SOUS 29234 HAS SOUPS 29234 WITH SCORE 29266.797
AT ITER 672 NEW BEST:: SOT 177169 SOS 32794 HAS SOPS 32794 HAS SOUS 29233 HAS SOUPS 29233 WITH SCORE 29265.794
AT ITER 719 NEW BEST:: SOT 177153 SOS 32762 HAS SOPS 32762 HAS SOUS 29198 HAS SOUPS 29198 WITH SCORE 29230.762
AT ITER 721 NEW BEST:: SOT 177103 SOS 32709 HAS SOPS 32709 HAS SOUS 29145 HAS SOUPS 29145 WITH SCORE 29177.709
AT ITER 740 NEW BEST:: SOT 177077 SOS 32769 HAS SOPS 32769 HAS SOUS 29119 HAS SOUPS 29119 WITH SCORE 29151.769
AT ITER 744 NEW BEST:: SOT 177077 SOS 32766 HAS SOPS 32766 HAS SOUS 29119 HAS SOUPS 29119 WITH SCORE 29151.766
AT ITER 766 NEW BEST:: SOT 177077 SOS 32737 HAS SOPS 32737 HAS SOUS 29119 HAS SOUPS 29119 WITH SCORE 29151.737
AT ITER 785 NEW BEST:: SOT 177046 SOS 32666 HAS SOPS 32666 HAS SOUS 29079 HAS SOUPS 29079 WITH SCORE 29111.666
AT ITER 799 NEW BEST:: SOT 177007 SOS 32627 HAS SOPS 32627 HAS SOUS 29040 HAS SOUPS 29040 WITH SCORE 29072.627
AT ITER 830 NEW BEST:: SOT 176994 SOS 32601 HAS SOPS 32601 HAS SOUS 29027 HAS SOUPS 29027 WITH SCORE 29059.601
AT ITER 843 NEW BEST:: SOT 176951 SOS 32657 HAS SOPS 32657 HAS SOUS 28984 HAS SOUPS 28984 WITH SCORE 29016.657
AT ITER 849 NEW BEST:: SOT 176951 SOS 32644 HAS SOPS 32644 HAS SOUS 28971 HAS SOUPS 28971 WITH SCORE 29003.644
AT ITER 870 NEW BEST:: SOT 176943 SOS 32633 HAS SOPS 32633 HAS SOUS 28960 HAS SOUPS 28960 WITH SCORE 28992.633
AT ITER 940 NEW BEST:: SOT 176942 SOS 32632 HAS SOPS 32632 HAS SOUS 28959 HAS SOUPS 28959 WITH SCORE 28991.632
AT ITER 945 NEW BEST:: SOT 176942 SOS 32611 HAS SOPS 32611 HAS SOUS 28938 HAS SOUPS 28938 WITH SCORE 28970.611
AT ITER 973 NEW BEST:: SOT 176939 SOS 32605 HAS SOPS 32605 HAS SOUS 28919 HAS SOUPS 28919 WITH SCORE 28951.605
AT ITER 992 NEW BEST:: SOT 176938 SOS 32603 HAS SOPS 32603 HAS SOUS 28917 HAS SOUPS 28917 WITH SCORE 28949.603
AT ITER 998 NEW BEST:: SOT 176938 SOS 32598 HAS SOPS 32598 HAS SOUS 28911 HAS SOUPS 28911 WITH SCORE 28943.598
AT ITER 1003 NEW BEST:: SOT 176931 SOS 32591 HAS SOPS 32591 HAS SOUS 28911 HAS SOUPS 28911 WITH SCORE 28943.591
AT ITER 1018 NEW BEST:: SOT 176910 SOS 32570 HAS SOPS 32570 HAS SOUS 28890 HAS SOUPS 28890 WITH SCORE 28922.57
AT ITER 1022 NEW BEST:: SOT 176888 SOS 32540 HAS SOPS 32540 HAS SOUS 28860 HAS SOUPS 28860 WITH SCORE 28892.54
AT ITER 1031 NEW BEST:: SOT 176888 SOS 32529 HAS SOPS 32529 HAS SOUS 28849 HAS SOUPS 28849 WITH SCORE 28881.529
AT ITER 1032 NEW BEST:: SOT 176888 SOS 32536 HAS SOPS 32536 HAS SOUS 28842 HAS SOUPS 28842 WITH SCORE 28874.536
AT ITER 1040 NEW BEST:: SOT 176886 SOS 32478 HAS SOPS 32478 HAS SOUS 28781 HAS SOUPS 28781 WITH SCORE 28813.478
AT ITER 1080 NEW BEST:: SOT 176884 SOS 32460 HAS SOPS 32460 HAS SOUS 28777 HAS SOUPS 28777 WITH SCORE 28809.46
AT ITER 1082 NEW BEST:: SOT 176867 SOS 32422 HAS SOPS 32422 HAS SOUS 28759 HAS SOUPS 28759 WITH SCORE 28791.422
AT ITER 1083 NEW BEST:: SOT 176867 SOS 32396 HAS SOPS 32396 HAS SOUS 28733 HAS SOUPS 28733 WITH SCORE 28765.396
AT ITER 1093 NEW BEST:: SOT 176825 SOS 32312 HAS SOPS 32312 HAS SOUS 28649 HAS SOUPS 28649 WITH SCORE 28681.312
AT ITER 1116 NEW BEST:: SOT 176829 SOS 32252 HAS SOPS 32252 HAS SOUS 28615 HAS SOUPS 28615 WITH SCORE 28647.252
AT ITER 1119 NEW BEST:: SOT 176785 SOS 32164 HAS SOPS 32164 HAS SOUS 28614 HAS SOUPS 28614 WITH SCORE 28646.164
AT ITER 1125 NEW BEST:: SOT 176785 SOS 32093 HAS SOPS 32093 HAS SOUS 28613 HAS SOUPS 28613 WITH SCORE 28645.093
AT ITER 1134 NEW BEST:: SOT 176750 SOS 32019 HAS SOPS 32019 HAS SOUS 28539 HAS SOUPS 28539 WITH SCORE 28571.019
AT ITER 1151 NEW BEST:: SOT 176743 SOS 32007 HAS SOPS 32007 HAS SOUS 28527 HAS SOUPS 28527 WITH SCORE 28559.007
AT ITER 1157 NEW BEST:: SOT 176739 SOS 32005 HAS SOPS 32005 HAS SOUS 28523 HAS SOUPS 28523 WITH SCORE 28555.005
AT ITER 1166 NEW BEST:: SOT 176707 SOS 31897 HAS SOPS 31897 HAS SOUS 28521 HAS SOUPS 28521 WITH SCORE 28552.897
AT ITER 1173 NEW BEST:: SOT 176697 SOS 31882 HAS SOPS 31882 HAS SOUS 28506 HAS SOUPS 28506 WITH SCORE 28537.882
AT ITER 1182 NEW BEST:: SOT 176646 SOS 31815 HAS SOPS 31815 HAS SOUS 28436 HAS SOUPS 28436 WITH SCORE 28467.815
AT ITER 1189 NEW BEST:: SOT 176611 SOS 31871 HAS SOPS 31871 HAS SOUS 28366 HAS SOUPS 28366 WITH SCORE 28397.871
AT ITER 1190 NEW BEST:: SOT 176611 SOS 31846 HAS SOPS 31846 HAS SOUS 28340 HAS SOUPS 28340 WITH SCORE 28371.846
AT ITER 1192 NEW BEST:: SOT 176547 SOS 31746 HAS SOPS 31746 HAS SOUS 28248 HAS SOUPS 28248 WITH SCORE 28279.746
AT ITER 1232 NEW BEST:: SOT 176547 SOS 31670 HAS SOPS 31670 HAS SOUS 28172 HAS SOUPS 28172 WITH SCORE 28203.67
AT ITER 1236 NEW BEST:: SOT 176532 SOS 31640 HAS SOPS 31640 HAS SOUS 28142 HAS SOUPS 28142 WITH SCORE 28173.64
AT ITER 1241 NEW BEST:: SOT 176527 SOS 31635 HAS SOPS 31635 HAS SOUS 28132 HAS SOUPS 28132 WITH SCORE 28163.635
AT ITER 1263 NEW BEST:: SOT 176512 SOS 31604 HAS SOPS 31604 HAS SOUS 28103 HAS SOUPS 28103 WITH SCORE 28134.604
AT ITER 1265 NEW BEST:: SOT 176516 SOS 31612 HAS SOPS 31612 HAS SOUS 28065 HAS SOUPS 28065 WITH SCORE 28096.612
AT ITER 1281 NEW BEST:: SOT 176442 SOS 31640 HAS SOPS 31640 HAS SOUS 27985 HAS SOUPS 27985 WITH SCORE 28016.64
AT ITER 1283 NEW BEST:: SOT 176421 SOS 31585 HAS SOPS 31585 HAS SOUS 27930 HAS SOUPS 27930 WITH SCORE 27961.585
AT ITER 1308 NEW BEST:: SOT 176404 SOS 31581 HAS SOPS 31581 HAS SOUS 27916 HAS SOUPS 27916 WITH SCORE 27947.581
AT ITER 1347 NEW BEST:: SOT 176395 SOS 31561 HAS SOPS 31561 HAS SOUS 27905 HAS SOUPS 27905 WITH SCORE 27936.561
AT ITER 1351 NEW BEST:: SOT 176395 SOS 31558 HAS SOPS 31558 HAS SOUS 27902 HAS SOUPS 27902 WITH SCORE 27933.558
AT ITER 1363 NEW BEST:: SOT 176375 SOS 31424 HAS SOPS 31424 HAS SOUS 27862 HAS SOUPS 27862 WITH SCORE 27893.424
AT ITER 1369 NEW BEST:: SOT 176375 SOS 31399 HAS SOPS 31399 HAS SOUS 27854 HAS SOUPS 27854 WITH SCORE 27885.399
AT ITER 1383 NEW BEST:: SOT 176375 SOS 31398 HAS SOPS 31398 HAS SOUS 27854 HAS SOUPS 27854 WITH SCORE 27885.398
AT ITER 1425 NEW BEST:: SOT 176375 SOS 31370 HAS SOPS 31370 HAS SOUS 27854 HAS SOUPS 27854 WITH SCORE 27885.37
AT ITER 1450 NEW BEST:: SOT 176375 SOS 31312 HAS SOPS 31312 HAS SOUS 27796 HAS SOUPS 27796 WITH SCORE 27827.312
AT ITER 1466 NEW BEST:: SOT 176443 SOS 31346 HAS SOPS 31346 HAS SOUS 27786 HAS SOUPS 27786 WITH SCORE 27817.346
AT ITER 1486 NEW BEST:: SOT 176419 SOS 31310 HAS SOPS 31310 HAS SOUS 27750 HAS SOUPS 27750 WITH SCORE 27781.31
AT ITER 1488 NEW BEST:: SOT 176407 SOS 31298 HAS SOPS 31298 HAS SOUS 27726 HAS SOUPS 27726 WITH SCORE 27757.298
AT ITER 1499 NEW BEST:: SOT 176388 SOS 31260 HAS SOPS 31260 HAS SOUS 27688 HAS SOUPS 27688 WITH SCORE 27719.26
AT ITER 1515 NEW BEST:: SOT 176385 SOS 31304 HAS SOPS 31304 HAS SOUS 27679 HAS SOUPS 27679 WITH SCORE 27710.304
AT ITER 1519 NEW BEST:: SOT 176385 SOS 31283 HAS SOPS 31283 HAS SOUS 27658 HAS SOUPS 27658 WITH SCORE 27689.283
AT ITER 1544 NEW BEST:: SOT 176385 SOS 31271 HAS SOPS 31271 HAS SOUS 27646 HAS SOUPS 27646 WITH SCORE 27677.271
AT ITER 1545 NEW BEST:: SOT 176382 SOS 31262 HAS SOPS 31262 HAS SOUS 27640 HAS SOUPS 27640 WITH SCORE 27671.262
AT ITER 1625 NEW BEST:: SOT 176382 SOS 31258 HAS SOPS 31258 HAS SOUS 27636 HAS SOUPS 27636 WITH SCORE 27667.258
AT ITER 1626 NEW BEST:: SOT 176381 SOS 31237 HAS SOPS 31237 HAS SOUS 27615 HAS SOUPS 27615 WITH SCORE 27646.237
AT ITER 1633 NEW BEST:: SOT 176355 SOS 31214 HAS SOPS 31214 HAS SOUS 27595 HAS SOUPS 27595 WITH SCORE 27626.214
AT ITER 1634 NEW BEST:: SOT 176381 SOS 31107 HAS SOPS 31107 HAS SOUS 27562 HAS SOUPS 27562 WITH SCORE 27593.107
AT ITER 1637 NEW BEST:: SOT 176383 SOS 31086 HAS SOPS 31086 HAS SOUS 27541 HAS SOUPS 27541 WITH SCORE 27572.086
AT ITER 1656 NEW BEST:: SOT 176373 SOS 31056 HAS SOPS 31056 HAS SOUS 27531 HAS SOUPS 27531 WITH SCORE 27562.056
AT ITER 1681 NEW BEST:: SOT 176286 SOS 30980 HAS SOPS 30980 HAS SOUS 27455 HAS SOUPS 27455 WITH SCORE 27485.98
AT ITER 1726 NEW BEST:: SOT 176282 SOS 30972 HAS SOPS 30972 HAS SOUS 27447 HAS SOUPS 27447 WITH SCORE 27477.972
AT ITER 1728 NEW BEST:: SOT 176262 SOS 30932 HAS SOPS 30932 HAS SOUS 27415 HAS SOUPS 27415 WITH SCORE 27445.932
AT ITER 1766 NEW BEST:: SOT 176262 SOS 30932 HAS SOPS 30932 HAS SOUS 27401 HAS SOUPS 27401 WITH SCORE 27431.932
AT ITER 1775 NEW BEST:: SOT 176262 SOS 30925 HAS SOPS 30925 HAS SOUS 27384 HAS SOUPS 27384 WITH SCORE 27414.925
AT ITER 1823 NEW BEST:: SOT 176256 SOS 30898 HAS SOPS 30898 HAS SOUS 27357 HAS SOUPS 27357 WITH SCORE 27387.898
AT ITER 1837 NEW BEST:: SOT 176256 SOS 30890 HAS SOPS 30890 HAS SOUS 27349 HAS SOUPS 27349 WITH SCORE 27379.89
AT ITER 1845 NEW BEST:: SOT 176238 SOS 30854 HAS SOPS 30854 HAS SOUS 27331 HAS SOUPS 27331 WITH SCORE 27361.854
AT ITER 1864 NEW BEST:: SOT 176233 SOS 30839 HAS SOPS 30839 HAS SOUS 27321 HAS SOUPS 27321 WITH SCORE 27351.839
AT ITER 1867 NEW BEST:: SOT 176233 SOS 30832 HAS SOPS 30832 HAS SOUS 27314 HAS SOUPS 27314 WITH SCORE 27344.832
AT ITER 1900 NEW BEST:: SOT 176233 SOS 30826 HAS SOPS 30826 HAS SOUS 27308 HAS SOUPS 27308 WITH SCORE 27338.826
AT ITER 1920 NEW BEST:: SOT 176226 SOS 30778 HAS SOPS 30778 HAS SOUS 27301 HAS SOUPS 27301 WITH SCORE 27331.778
AT ITER 1924 NEW BEST:: SOT 176217 SOS 30751 HAS SOPS 30751 HAS SOUS 27292 HAS SOUPS 27292 WITH SCORE 27322.751
AT ITER 1933 NEW BEST:: SOT 176235 SOS 30745 HAS SOPS 30745 HAS SOUS 27289 HAS SOUPS 27289 WITH SCORE 27319.745
AT ITER 1946 NEW BEST:: SOT 176235 SOS 30731 HAS SOPS 30731 HAS SOUS 27275 HAS SOUPS 27275 WITH SCORE 27305.731
AT ITER 1953 NEW BEST:: SOT 176164 SOS 30723 HAS SOPS 30723 HAS SOUS 27261 HAS SOUPS 27261 WITH SCORE 27291.723
AT ITER 1962 NEW BEST:: SOT 176164 SOS 30717 HAS SOPS 30717 HAS SOUS 27255 HAS SOUPS 27255 WITH SCORE 27285.717
AT ITER 1968 NEW BEST:: SOT 176116 SOS 30621 HAS SOPS 30621 HAS SOUS 27159 HAS SOUPS 27159 WITH SCORE 27189.621
AT ITER 1972 NEW BEST:: SOT 176116 SOS 30608 HAS SOPS 30608 HAS SOUS 27159 HAS SOUPS 27159 WITH SCORE 27189.608
AT ITER 2002 NEW BEST:: SOT 176110 SOS 30596 HAS SOPS 30596 HAS SOUS 27147 HAS SOUPS 27147 WITH SCORE 27177.596
AT ITER 2008 NEW BEST:: SOT 176117 SOS 30585 HAS SOPS 30585 HAS SOUS 27136 HAS SOUPS 27136 WITH SCORE 27166.585
AT ITER 2018 NEW BEST:: SOT 176117 SOS 30580 HAS SOPS 30580 HAS SOUS 27131 HAS SOUPS 27131 WITH SCORE 27161.58
AT ITER 2033 NEW BEST:: SOT 176117 SOS 30578 HAS SOPS 30578 HAS SOUS 27129 HAS SOUPS 27129 WITH SCORE 27159.578
AT ITER 2034 NEW BEST:: SOT 176122 SOS 30524 HAS SOPS 30524 HAS SOUS 27075 HAS SOUPS 27075 WITH SCORE 27105.524
AT ITER 2040 NEW BEST:: SOT 176122 SOS 30505 HAS SOPS 30505 HAS SOUS 27056 HAS SOUPS 27056 WITH SCORE 27086.505
AT ITER 2071 NEW BEST:: SOT 176133 SOS 30494 HAS SOPS 30494 HAS SOUS 27048 HAS SOUPS 27048 WITH SCORE 27078.494
AT ITER 2101 NEW BEST:: SOT 176120 SOS 30507 HAS SOPS 30507 HAS SOUS 27035 HAS SOUPS 27035 WITH SCORE 27065.507
AT ITER 2104 NEW BEST:: SOT 176102 SOS 30553 HAS SOPS 30553 HAS SOUS 27031 HAS SOUPS 27031 WITH SCORE 27061.553
AT ITER 2106 NEW BEST:: SOT 176085 SOS 30519 HAS SOPS 30519 HAS SOUS 26997 HAS SOUPS 26997 WITH SCORE 27027.519
AT ITER 2123 NEW BEST:: SOT 176076 SOS 30501 HAS SOPS 30501 HAS SOUS 26979 HAS SOUPS 26979 WITH SCORE 27009.501
AT ITER 2162 NEW BEST:: SOT 176071 SOS 30473 HAS SOPS 30473 HAS SOUS 26963 HAS SOUPS 26963 WITH SCORE 26993.473
AT ITER 2170 NEW BEST:: SOT 176066 SOS 30327 HAS SOPS 30327 HAS SOUS 26953 HAS SOUPS 26953 WITH SCORE 26983.327
AT ITER 2188 NEW BEST:: SOT 176035 SOS 30324 HAS SOPS 30324 HAS SOUS 26926 HAS SOUPS 26926 WITH SCORE 26956.324
AT ITER 2206 NEW BEST:: SOT 176035 SOS 30308 HAS SOPS 30308 HAS SOUS 26910 HAS SOUPS 26910 WITH SCORE 26940.308
AT ITER 2234 NEW BEST:: SOT 176063 SOS 30271 HAS SOPS 30271 HAS SOUS 26890 HAS SOUPS 26890 WITH SCORE 26920.271
AT ITER 2296 NEW BEST:: SOT 176042 SOS 30310 HAS SOPS 30310 HAS SOUS 26887 HAS SOUPS 26887 WITH SCORE 26917.31
AT ITER 2297 NEW BEST:: SOT 175872 SOS 30082 HAS SOPS 30082 HAS SOUS 26685 HAS SOUPS 26685 WITH SCORE 26715.082
AT ITER 2394 NEW BEST:: SOT 175872 SOS 30062 HAS SOPS 30062 HAS SOUS 26665 HAS SOUPS 26665 WITH SCORE 26695.062
AT ITER 2404 NEW BEST:: SOT 175891 SOS 30061 HAS SOPS 30061 HAS SOUS 26664 HAS SOUPS 26664 WITH SCORE 26694.061
AT ITER 2410 NEW BEST:: SOT 175890 SOS 30106 HAS SOPS 30106 HAS SOUS 26663 HAS SOUPS 26663 WITH SCORE 26693.106
AT ITER 2418 NEW BEST:: SOT 175899 SOS 30105 HAS SOPS 30105 HAS SOUS 26662 HAS SOUPS 26662 WITH SCORE 26692.105
AT ITER 2427 NEW BEST:: SOT 175907 SOS 30102 HAS SOPS 30102 HAS SOUS 26659 HAS SOUPS 26659 WITH SCORE 26689.102
AT ITER 2439 NEW BEST:: SOT 175909 SOS 29878 HAS SOPS 29878 HAS SOUS 26578 HAS SOUPS 26578 WITH SCORE 26607.878
AT ITER 2494 NEW BEST:: SOT 175898 SOS 29867 HAS SOPS 29867 HAS SOUS 26567 HAS SOUPS 26567 WITH SCORE 26596.867
AT ITER 2500 NEW BEST:: SOT 175898 SOS 29869 HAS SOPS 29869 HAS SOUS 26564 HAS SOUPS 26564 WITH SCORE 26593.869
AT ITER 2536 NEW BEST:: SOT 175896 SOS 29865 HAS SOPS 29865 HAS SOUS 26560 HAS SOUPS 26560 WITH SCORE 26589.865
AT ITER 2556 NEW BEST:: SOT 175896 SOS 29860 HAS SOPS 29860 HAS SOUS 26560 HAS SOUPS 26560 WITH SCORE 26589.86
AT ITER 2558 NEW BEST:: SOT 175895 SOS 29858 HAS SOPS 29858 HAS SOUS 26559 HAS SOUPS 26559 WITH SCORE 26588.858
AT ITER 2572 NEW BEST:: SOT 175888 SOS 29844 HAS SOPS 29844 HAS SOUS 26552 HAS SOUPS 26552 WITH SCORE 26581.844
AT ITER 2594 NEW BEST:: SOT 175883 SOS 29834 HAS SOPS 29834 HAS SOUS 26547 HAS SOUPS 26547 WITH SCORE 26576.834
AT ITER 2639 NEW BEST:: SOT 175844 SOS 29788 HAS SOPS 29788 HAS SOUS 26501 HAS SOUPS 26501 WITH SCORE 26530.788
AT ITER 2662 NEW BEST:: SOT 175852 SOS 29739 HAS SOPS 29739 HAS SOUS 26452 HAS SOUPS 26452 WITH SCORE 26481.739
AT ITER 2663 NEW BEST:: SOT 175852 SOS 29724 HAS SOPS 29724 HAS SOUS 26437 HAS SOUPS 26437 WITH SCORE 26466.724
AT ITER 2686 NEW BEST:: SOT 175837 SOS 29694 HAS SOPS 29694 HAS SOUS 26407 HAS SOUPS 26407 WITH SCORE 26436.694
AT ITER 2702 NEW BEST:: SOT 175834 SOS 29688 HAS SOPS 29688 HAS SOUS 26401 HAS SOUPS 26401 WITH SCORE 26430.688
AT ITER 2704 NEW BEST:: SOT 175823 SOS 29666 HAS SOPS 29666 HAS SOUS 26401 HAS SOUPS 26401 WITH SCORE 26430.666
AT ITER 2734 NEW BEST:: SOT 175797 SOS 29662 HAS SOPS 29662 HAS SOUS 26391 HAS SOUPS 26391 WITH SCORE 26420.662
AT ITER 2759 NEW BEST:: SOT 175787 SOS 29642 HAS SOPS 29642 HAS SOUS 26371 HAS SOUPS 26371 WITH SCORE 26400.642
AT ITER 2766 NEW BEST:: SOT 175786 SOS 29626 HAS SOPS 29626 HAS SOUS 26356 HAS SOUPS 26356 WITH SCORE 26385.626
AT ITER 2779 NEW BEST:: SOT 175786 SOS 29625 HAS SOPS 29625 HAS SOUS 26355 HAS SOUPS 26355 WITH SCORE 26384.625
AT ITER 2789 NEW BEST:: SOT 175784 SOS 29619 HAS SOPS 29619 HAS SOUS 26351 HAS SOUPS 26351 WITH SCORE 26380.619
AT ITER 2893 NEW BEST:: SOT 175776 SOS 29604 HAS SOPS 29604 HAS SOUS 26336 HAS SOUPS 26336 WITH SCORE 26365.604
AT ITER 2911 NEW BEST:: SOT 175805 SOS 29572 HAS SOPS 29572 HAS SOUS 26323 HAS SOUPS 26323 WITH SCORE 26352.572
AT ITER 2930 NEW BEST:: SOT 175805 SOS 29570 HAS SOPS 29570 HAS SOUS 26323 HAS SOUPS 26323 WITH SCORE 26352.57
AT ITER 2977 NEW BEST:: SOT 175798 SOS 29556 HAS SOPS 29556 HAS SOUS 26314 HAS SOUPS 26314 WITH SCORE 26343.556
AT ITER 3009 NEW BEST:: SOT 175791 SOS 29567 HAS SOPS 29567 HAS SOUS 26310 HAS SOUPS 26310 WITH SCORE 26339.567
AT ITER 3017 NEW BEST:: SOT 175785 SOS 29555 HAS SOPS 29555 HAS SOUS 26296 HAS SOUPS 26296 WITH SCORE 26325.555
AT ITER 3018 NEW BEST:: SOT 175776 SOS 29537 HAS SOPS 29537 HAS SOUS 26278 HAS SOUPS 26278 WITH SCORE 26307.537
AT ITER 3121 NEW BEST:: SOT 175740 SOS 29465 HAS SOPS 29465 HAS SOUS 26242 HAS SOUPS 26242 WITH SCORE 26271.465
AT ITER 3125 NEW BEST:: SOT 175740 SOS 29449 HAS SOPS 29449 HAS SOUS 26226 HAS SOUPS 26226 WITH SCORE 26255.449
AT ITER 3129 NEW BEST:: SOT 175740 SOS 29449 HAS SOPS 29449 HAS SOUS 26212 HAS SOUPS 26212 WITH SCORE 26241.449
AT ITER 3145 NEW BEST:: SOT 175737 SOS 29447 HAS SOPS 29447 HAS SOUS 26210 HAS SOUPS 26210 WITH SCORE 26239.447
AT ITER 3184 NEW BEST:: SOT 175728 SOS 29429 HAS SOPS 29429 HAS SOUS 26192 HAS SOUPS 26192 WITH SCORE 26221.429
AT ITER 3209 NEW BEST:: SOT 175681 SOS 29335 HAS SOPS 29335 HAS SOUS 26182 HAS SOUPS 26182 WITH SCORE 26211.335
AT ITER 3226 NEW BEST:: SOT 175676 SOS 29330 HAS SOPS 29330 HAS SOUS 26177 HAS SOUPS 26177 WITH SCORE 26206.33
AT ITER 3240 NEW BEST:: SOT 175685 SOS 29378 HAS SOPS 29378 HAS SOUS 26171 HAS SOUPS 26171 WITH SCORE 26200.378
AT ITER 3247 NEW BEST:: SOT 175677 SOS 29362 HAS SOPS 29362 HAS SOUS 26155 HAS SOUPS 26155 WITH SCORE 26184.362
AT ITER 3250 NEW BEST:: SOT 175588 SOS 29290 HAS SOPS 29290 HAS SOUS 26096 HAS SOUPS 26096 WITH SCORE 26125.29
AT ITER 3290 NEW BEST:: SOT 175587 SOS 29289 HAS SOPS 29289 HAS SOUS 26096 HAS SOUPS 26096 WITH SCORE 26125.289
AT ITER 3306 NEW BEST:: SOT 175556 SOS 29168 HAS SOPS 29168 HAS SOUS 26042 HAS SOUPS 26042 WITH SCORE 26071.168
AT ITER 3339 NEW BEST:: SOT 175554 SOS 29164 HAS SOPS 29164 HAS SOUS 26040 HAS SOUPS 26040 WITH SCORE 26069.164
AT ITER 3341 NEW BEST:: SOT 175552 SOS 29160 HAS SOPS 29160 HAS SOUS 26036 HAS SOUPS 26036 WITH SCORE 26065.16
AT ITER 3350 NEW BEST:: SOT 175539 SOS 29121 HAS SOPS 29121 HAS SOUS 25997 HAS SOUPS 25997 WITH SCORE 26026.121
AT ITER 3352 NEW BEST:: SOT 175522 SOS 29118 HAS SOPS 29118 HAS SOUS 25994 HAS SOUPS 25994 WITH SCORE 26023.118
AT ITER 3366 NEW BEST:: SOT 175520 SOS 29115 HAS SOPS 29115 HAS SOUS 25991 HAS SOUPS 25991 WITH SCORE 26020.115
AT ITER 3382 NEW BEST:: SOT 175525 SOS 29113 HAS SOPS 29113 HAS SOUS 25989 HAS SOUPS 25989 WITH SCORE 26018.113
AT ITER 3395 NEW BEST:: SOT 175518 SOS 29077 HAS SOPS 29077 HAS SOUS 25968 HAS SOUPS 25968 WITH SCORE 25997.077
AT ITER 3446 NEW BEST:: SOT 175490 SOS 29049 HAS SOPS 29049 HAS SOUS 25960 HAS SOUPS 25960 WITH SCORE 25989.049
AT ITER 3456 NEW BEST:: SOT 175490 SOS 29042 HAS SOPS 29042 HAS SOUS 25960 HAS SOUPS 25960 WITH SCORE 25989.042
AT ITER 3470 NEW BEST:: SOT 175490 SOS 29035 HAS SOPS 29035 HAS SOUS 25953 HAS SOUPS 25953 WITH SCORE 25982.035
AT ITER 3522 NEW BEST:: SOT 175490 SOS 29035 HAS SOPS 29035 HAS SOUS 25945 HAS SOUPS 25945 WITH SCORE 25974.035
AT ITER 3551 NEW BEST:: SOT 175477 SOS 29009 HAS SOPS 29009 HAS SOUS 25943 HAS SOUPS 25943 WITH SCORE 25972.009
AT ITER 3578 NEW BEST:: SOT 175464 SOS 29015 HAS SOPS 29015 HAS SOUS 25930 HAS SOUPS 25930 WITH SCORE 25959.015
AT ITER 3604 NEW BEST:: SOT 175441 SOS 29004 HAS SOPS 29004 HAS SOUS 25890 HAS SOUPS 25890 WITH SCORE 25919.004
AT ITER 3626 NEW BEST:: SOT 175426 SOS 28944 HAS SOPS 28944 HAS SOUS 25875 HAS SOUPS 25875 WITH SCORE 25903.944
AT ITER 3657 NEW BEST:: SOT 175426 SOS 28944 HAS SOPS 28944 HAS SOUS 25834 HAS SOUPS 25834 WITH SCORE 25862.944
AT ITER 3702 NEW BEST:: SOT 175420 SOS 28932 HAS SOPS 28932 HAS SOUS 25822 HAS SOUPS 25822 WITH SCORE 25850.932
AT ITER 3704 NEW BEST:: SOT 175418 SOS 28918 HAS SOPS 28918 HAS SOUS 25816 HAS SOUPS 25816 WITH SCORE 25844.918
AT ITER 3720 NEW BEST:: SOT 175419 SOS 28885 HAS SOPS 28885 HAS SOUS 25783 HAS SOUPS 25783 WITH SCORE 25811.885
AT ITER 3726 NEW BEST:: SOT 175380 SOS 28938 HAS SOPS 28938 HAS SOUS 25769 HAS SOUPS 25769 WITH SCORE 25797.938
AT ITER 3773 NEW BEST:: SOT 175363 SOS 28887 HAS SOPS 28887 HAS SOUS 25735 HAS SOUPS 25735 WITH SCORE 25763.887
AT ITER 3774 NEW BEST:: SOT 175363 SOS 28885 HAS SOPS 28885 HAS SOUS 25733 HAS SOUPS 25733 WITH SCORE 25761.885
AT ITER 3808 NEW BEST:: SOT 175352 SOS 28863 HAS SOPS 28863 HAS SOUS 25711 HAS SOUPS 25711 WITH SCORE 25739.863
AT ITER 3811 NEW BEST:: SOT 175368 SOS 28834 HAS SOPS 28834 HAS SOUS 25682 HAS SOUPS 25682 WITH SCORE 25710.834
AT ITER 3822 NEW BEST:: SOT 175391 SOS 29016 HAS SOPS 29016 HAS SOUS 25611 HAS SOUPS 25611 WITH SCORE 25640.016
AT ITER 3837 NEW BEST:: SOT 175390 SOS 29015 HAS SOPS 29015 HAS SOUS 25611 HAS SOUPS 25611 WITH SCORE 25640.015
AT ITER 3899 NEW BEST:: SOT 175399 SOS 29014 HAS SOPS 29014 HAS SOUS 25610 HAS SOUPS 25610 WITH SCORE 25639.014
AT ITER 3907 NEW BEST:: SOT 175380 SOS 29014 HAS SOPS 29014 HAS SOUS 25591 HAS SOUPS 25591 WITH SCORE 25620.014
AT ITER 3936 NEW BEST:: SOT 175380 SOS 29026 HAS SOPS 29026 HAS SOUS 25579 HAS SOUPS 25579 WITH SCORE 25608.026
AT ITER 3958 NEW BEST:: SOT 175370 SOS 29022 HAS SOPS 29022 HAS SOUS 25575 HAS SOUPS 25575 WITH SCORE 25604.022
AT ITER 3983 NEW BEST:: SOT 175371 SOS 29020 HAS SOPS 29020 HAS SOUS 25575 HAS SOUPS 25575 WITH SCORE 25604.02
AT ITER 4007 NEW BEST:: SOT 175358 SOS 28994 HAS SOPS 28994 HAS SOUS 25549 HAS SOUPS 25549 WITH SCORE 25577.994
AT ITER 4013 NEW BEST:: SOT 175352 SOS 28982 HAS SOPS 28982 HAS SOUS 25543 HAS SOUPS 25543 WITH SCORE 25571.982
AT ITER 4021 NEW BEST:: SOT 175345 SOS 28968 HAS SOPS 28968 HAS SOUS 25529 HAS SOUPS 25529 WITH SCORE 25557.968
AT ITER 4022 NEW BEST:: SOT 175346 SOS 28945 HAS SOPS 28945 HAS SOUS 25456 HAS SOUPS 25456 WITH SCORE 25484.945
AT ITER 4038 NEW BEST:: SOT 175346 SOS 28916 HAS SOPS 28916 HAS SOUS 25427 HAS SOUPS 25427 WITH SCORE 25455.916
AT ITER 4040 NEW BEST:: SOT 175341 SOS 28906 HAS SOPS 28906 HAS SOUS 25417 HAS SOUPS 25417 WITH SCORE 25445.906
AT ITER 4044 NEW BEST:: SOT 175329 SOS 28901 HAS SOPS 28901 HAS SOUS 25412 HAS SOUPS 25412 WITH SCORE 25440.901
AT ITER 4053 NEW BEST:: SOT 175329 SOS 28815 HAS SOPS 28815 HAS SOUS 25412 HAS SOUPS 25412 WITH SCORE 25440.815
AT ITER 4085 NEW BEST:: SOT 175325 SOS 28807 HAS SOPS 28807 HAS SOUS 25404 HAS SOUPS 25404 WITH SCORE 25432.807
AT ITER 4091 NEW BEST:: SOT 175343 SOS 28823 HAS SOPS 28823 HAS SOUS 25400 HAS SOUPS 25400 WITH SCORE 25428.823
AT ITER 4105 NEW BEST:: SOT 175343 SOS 28740 HAS SOPS 28740 HAS SOUS 25317 HAS SOUPS 25317 WITH SCORE 25345.74
AT ITER 4178 NEW BEST:: SOT 175362 SOS 28685 HAS SOPS 28685 HAS SOUS 25305 HAS SOUPS 25305 WITH SCORE 25333.685
AT ITER 4249 NEW BEST:: SOT 175364 SOS 28705 HAS SOPS 28705 HAS SOUS 25287 HAS SOUPS 25287 WITH SCORE 25315.705
AT ITER 4277 NEW BEST:: SOT 175364 SOS 28697 HAS SOPS 28697 HAS SOUS 25281 HAS SOUPS 25281 WITH SCORE 25309.697
AT ITER 4289 NEW BEST:: SOT 175363 SOS 28696 HAS SOPS 28696 HAS SOUS 25280 HAS SOUPS 25280 WITH SCORE 25308.696
AT ITER 4301 NEW BEST:: SOT 175358 SOS 28676 HAS SOPS 28676 HAS SOUS 25280 HAS SOUPS 25280 WITH SCORE 25308.676
AT ITER 4326 NEW BEST:: SOT 175327 SOS 28623 HAS SOPS 28623 HAS SOUS 25249 HAS SOUPS 25249 WITH SCORE 25277.623
AT ITER 4328 NEW BEST:: SOT 175306 SOS 28581 HAS SOPS 28581 HAS SOUS 25222 HAS SOUPS 25222 WITH SCORE 25250.581
AT ITER 4367 NEW BEST:: SOT 175310 SOS 28555 HAS SOPS 28555 HAS SOUS 25196 HAS SOUPS 25196 WITH SCORE 25224.555
AT ITER 4380 NEW BEST:: SOT 175315 SOS 28541 HAS SOPS 28541 HAS SOUS 25176 HAS SOUPS 25176 WITH SCORE 25204.541
AT ITER 4390 NEW BEST:: SOT 175321 SOS 28528 HAS SOPS 28528 HAS SOUS 25163 HAS SOUPS 25163 WITH SCORE 25191.528
AT ITER 4434 NEW BEST:: SOT 175308 SOS 28502 HAS SOPS 28502 HAS SOUS 25121 HAS SOUPS 25121 WITH SCORE 25149.502
AT ITER 4435 NEW BEST:: SOT 175302 SOS 28496 HAS SOPS 28496 HAS SOUS 25115 HAS SOUPS 25115 WITH SCORE 25143.496
AT ITER 4450 NEW BEST:: SOT 175254 SOS 28454 HAS SOPS 28454 HAS SOUS 25057 HAS SOUPS 25057 WITH SCORE 25085.454
AT ITER 4492 NEW BEST:: SOT 175254 SOS 28470 HAS SOPS 28470 HAS SOUS 25055 HAS SOUPS 25055 WITH SCORE 25083.47
AT ITER 4513 NEW BEST:: SOT 175252 SOS 28466 HAS SOPS 28466 HAS SOUS 25053 HAS SOUPS 25053 WITH SCORE 25081.466
AT ITER 4521 NEW BEST:: SOT 175252 SOS 28451 HAS SOPS 28451 HAS SOUS 25035 HAS SOUPS 25035 WITH SCORE 25063.451
AT ITER 4540 NEW BEST:: SOT 175250 SOS 28445 HAS SOPS 28445 HAS SOUS 25031 HAS SOUPS 25031 WITH SCORE 25059.445
AT ITER 4546 NEW BEST:: SOT 175260 SOS 28442 HAS SOPS 28442 HAS SOUS 25028 HAS SOUPS 25028 WITH SCORE 25056.442
AT ITER 4636 NEW BEST:: SOT 175239 SOS 28281 HAS SOPS 28281 HAS SOUS 24937 HAS SOUPS 24937 WITH SCORE 24965.281
AT ITER 4688 NEW BEST:: SOT 175230 SOS 28212 HAS SOPS 28212 HAS SOUS 24937 HAS SOUPS 24937 WITH SCORE 24965.212
AT ITER 4715 NEW BEST:: SOT 175230 SOS 28201 HAS SOPS 28201 HAS SOUS 24937 HAS SOUPS 24937 WITH SCORE 24965.201
AT ITER 4796 NEW BEST:: SOT 175230 SOS 28105 HAS SOPS 28105 HAS SOUS 24889 HAS SOUPS 24889 WITH SCORE 24917.105
AT ITER 4809 NEW BEST:: SOT 175226 SOS 28099 HAS SOPS 28099 HAS SOUS 24883 HAS SOUPS 24883 WITH SCORE 24911.099
AT ITER 4875 NEW BEST:: SOT 175220 SOS 28087 HAS SOPS 28087 HAS SOUS 24871 HAS SOUPS 24871 WITH SCORE 24899.087
AT ITER 4876 NEW BEST:: SOT 175184 SOS 28060 HAS SOPS 28060 HAS SOUS 24818 HAS SOUPS 24818 WITH SCORE 24846.06
AT ITER 4931 NEW BEST:: SOT 175174 SOS 28064 HAS SOPS 28064 HAS SOUS 24798 HAS SOUPS 24798 WITH SCORE 24826.064
AT ITER 4980 NEW BEST:: SOT 175221 SOS 27984 HAS SOPS 27984 HAS SOUS 24786 HAS SOUPS 24786 WITH SCORE 24813.984
AT ITER 4986 NEW BEST:: SOT 175215 SOS 27972 HAS SOPS 27972 HAS SOUS 24774 HAS SOUPS 24774 WITH SCORE 24801.972
Bounds file is: CTLFireability.xml
PROPERTY: AutoFlight-PT-06b-CTLFireability-00 (EG( (EU( (! ((potential((tk(P55)>=1))))) , ((potential((tk(P465)>=1)))) ))))
PROPERTY: AutoFlight-PT-06b-CTLFireability-01 (AF( ((potential((tk(P549)>=1))))))
PROPERTY: AutoFlight-PT-06b-CTLFireability-02 ( ( ((potential((tk(P54)>=1)))) & (! ( ((potential((tk(P260)>=1)))) & ( ((potential((tk(P245)>=1)))) & ( ((potential((tk(P426)>=1)))) | ((potential((tk(P478)>=1) & (tk(P571)>=1)))) ) ) )) ) | (AF( (AG( ( ((potential((tk(P236)>=1) & (tk(P558)>=1)))) | ((potential((tk(P470)>=1)))) ))))) )
PROPERTY: AutoFlight-PT-06b-CTLFireability-03 (AU( ((potential((tk(P362)>=1)))) , (EF( ((potential((tk(P181)>=1) & (tk(P403)>=1)))))) ))
PROPERTY: AutoFlight-PT-06b-CTLFireability-04 (EG( ( (! (! ( ((potential((tk(P564)>=1)))) | ((potential((tk(P488)>=1) & (tk(P573)>=1)))) ))) | ( (AF( ((potential((tk(P145)>=1) & (tk(P439)>=1)))))) | (! (! ((potential((tk(P478)>=1) & (tk(P571)>=1)))))) ) )))
PROPERTY: AutoFlight-PT-06b-CTLFireability-05 (! ( (! (AF( ((potential((tk(P444)>=1))))))) & (AU( (! ((potential((tk(P29)>=1))))) , ( ((potential((tk(P126)>=1) & (tk(P458)>=1)))) & ((potential((tk(P75)>=1)))) ) )) ))
PROPERTY: AutoFlight-PT-06b-CTLFireability-06 ( (EF( ((potential((tk(P196)>=1)))))) | ( ((potential((tk(P353)>=1)))) & (AG( ( ( ((potential((tk(P143)>=1)))) & ((potential((tk(P305)>=1)))) ) & ( ((potential((tk(P120)>=1)))) | ((potential((tk(P389)>=1)))) ) ))) ) )
PROPERTY: AutoFlight-PT-06b-CTLFireability-07 (AX( ( (AF( ((potential((tk(P130)>=1)))))) | (AX( ( ((potential((tk(P52)>=1) & (tk(P474)>=1)))) | ((potential((tk(P348)>=1)))) ))) )))
PROPERTY: AutoFlight-PT-06b-CTLFireability-08 (AF( ( ( (! ( ((potential((tk(P207)>=1)))) & ((potential((tk(P154)>=1) & (tk(P409)>=1)))) )) | (EX( ((potential((tk(P72)>=1)))))) ) & ( (EG( ((potential((tk(P522)>=1) & (tk(P573)>=1)))))) & (AX( ((potential((tk(P79)>=1)))))) ) )))
PROPERTY: AutoFlight-PT-06b-CTLFireability-09 (EF( (EU( ((potential((tk(P56)>=1)))) , ((potential((tk(P557)>=1)))) ))))
PROPERTY: AutoFlight-PT-06b-CTLFireability-10 (EF( (! ( (! ( ((potential((tk(P448)>=1)))) | ((potential((tk(P158)>=1)))) )) | (EX( ((potential((tk(P78)>=1)))))) ))))
PROPERTY: AutoFlight-PT-06b-CTLFireability-11 (AF( ( (! (! (! ((potential((tk(P209)>=1))))))) & (! (EF( ((potential((tk(P467)>=1))))))) )))
PROPERTY: AutoFlight-PT-06b-CTLFireability-12 (AU( (! (AG( ((potential((tk(P146)>=1))))))) , (AG( ( ((potential((tk(P12)>=1)))) & ((potential((tk(P90)>=1)))) ))) ))
PROPERTY: AutoFlight-PT-06b-CTLFireability-13 ( ( ( (AU( ((potential((tk(P32)>=1)))) , ((potential((tk(P201)>=1)))) )) & ( (AF( ((potential((tk(P69)>=1)))))) | (! (! ((potential((tk(P357)>=1) & (tk(P561)>=1)))))) ) ) | ( ((potential((tk(P429)>=1)))) | (! (AG( ((potential((tk(P344)>=1))))))) ) ) & (! (AG( (! ((potential((tk(P353)>=1)))))))) )
PROPERTY: AutoFlight-PT-06b-CTLFireability-14 (! ( (AF( ( ( ((potential((tk(P68)>=1)))) | ((potential((tk(P129)>=1)))) ) & (! ((potential((tk(P449)>=1))))) ))) & (AF( ((potential((tk(P106)>=1) & (tk(P382)>=1)))))) ))
PROPERTY: AutoFlight-PT-06b-CTLFireability-15 (AU( (! (AF( ((potential((tk(P67)>=1))))))) , ( ( ( ((potential((tk(P536)>=1)))) & ((potential((tk(P345)>=1)))) ) & ((potential((tk(P428)>=1)))) ) & ((potential((tk(P311)>=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="AutoFlight-PT-06b"
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 AutoFlight-PT-06b, 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 r003-smll-158897508600460"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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