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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 288K
-rw-r--r-- 1 mcc users 3.3K Mar 25 23:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 25 23:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 18:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 18:28 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.2K Apr 8 14:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 25 15:00 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 25 15:00 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 10:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 25 10:43 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 113K 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-05b-CTLFireability-00
FORMULA_NAME AutoFlight-PT-05b-CTLFireability-01
FORMULA_NAME AutoFlight-PT-05b-CTLFireability-02
FORMULA_NAME AutoFlight-PT-05b-CTLFireability-03
FORMULA_NAME AutoFlight-PT-05b-CTLFireability-04
FORMULA_NAME AutoFlight-PT-05b-CTLFireability-05
FORMULA_NAME AutoFlight-PT-05b-CTLFireability-06
FORMULA_NAME AutoFlight-PT-05b-CTLFireability-07
FORMULA_NAME AutoFlight-PT-05b-CTLFireability-08
FORMULA_NAME AutoFlight-PT-05b-CTLFireability-09
FORMULA_NAME AutoFlight-PT-05b-CTLFireability-10
FORMULA_NAME AutoFlight-PT-05b-CTLFireability-11
FORMULA_NAME AutoFlight-PT-05b-CTLFireability-12
FORMULA_NAME AutoFlight-PT-05b-CTLFireability-13
FORMULA_NAME AutoFlight-PT-05b-CTLFireability-14
FORMULA_NAME AutoFlight-PT-05b-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589154450686

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutoFlight (PT), instance 05b
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: 482 places, 480 transitions, 1120 arcs.
AT ITER 0 NEW BEST:: SOT 125658 SOS 25107 HAS SOPS 25107 HAS SOUS 23055 HAS SOUPS 23055 WITH SCORE 23080.107
AT ITER 12 NEW BEST:: SOT 125643 SOS 25032 HAS SOPS 25032 HAS SOUS 23025 HAS SOUPS 23025 WITH SCORE 23050.032
AT ITER 28 NEW BEST:: SOT 125643 SOS 25027 HAS SOPS 25027 HAS SOUS 23025 HAS SOUPS 23025 WITH SCORE 23050.027
AT ITER 33 NEW BEST:: SOT 125639 SOS 25024 HAS SOPS 25024 HAS SOUS 23022 HAS SOUPS 23022 WITH SCORE 23047.024
AT ITER 45 NEW BEST:: SOT 125638 SOS 25023 HAS SOPS 25023 HAS SOUS 23021 HAS SOUPS 23021 WITH SCORE 23046.023
AT ITER 87 NEW BEST:: SOT 125622 SOS 24877 HAS SOPS 24877 HAS SOUS 22989 HAS SOUPS 22989 WITH SCORE 23013.877
AT ITER 94 NEW BEST:: SOT 125622 SOS 24870 HAS SOPS 24870 HAS SOUS 22982 HAS SOUPS 22982 WITH SCORE 23006.87
AT ITER 107 NEW BEST:: SOT 125622 SOS 24767 HAS SOPS 24767 HAS SOUS 22981 HAS SOUPS 22981 WITH SCORE 23005.767
AT ITER 120 NEW BEST:: SOT 125623 SOS 24738 HAS SOPS 24738 HAS SOUS 22952 HAS SOUPS 22952 WITH SCORE 22976.738
AT ITER 133 NEW BEST:: SOT 125623 SOS 24700 HAS SOPS 24700 HAS SOUS 22914 HAS SOUPS 22914 WITH SCORE 22938.7
AT ITER 135 NEW BEST:: SOT 125623 SOS 24674 HAS SOPS 24674 HAS SOUS 22913 HAS SOUPS 22913 WITH SCORE 22937.674
AT ITER 161 NEW BEST:: SOT 125612 SOS 24749 HAS SOPS 24749 HAS SOUS 22902 HAS SOUPS 22902 WITH SCORE 22926.749
AT ITER 166 NEW BEST:: SOT 125568 SOS 24732 HAS SOPS 24732 HAS SOUS 22885 HAS SOUPS 22885 WITH SCORE 22909.732
AT ITER 167 NEW BEST:: SOT 125568 SOS 24714 HAS SOPS 24714 HAS SOUS 22867 HAS SOUPS 22867 WITH SCORE 22891.714
AT ITER 176 NEW BEST:: SOT 125568 SOS 24654 HAS SOPS 24654 HAS SOUS 22807 HAS SOUPS 22807 WITH SCORE 22831.654
AT ITER 200 NEW BEST:: SOT 125607 SOS 24583 HAS SOPS 24583 HAS SOUS 22783 HAS SOUPS 22783 WITH SCORE 22807.583
AT ITER 209 NEW BEST:: SOT 125666 SOS 24560 HAS SOPS 24560 HAS SOUS 22760 HAS SOUPS 22760 WITH SCORE 22784.56
AT ITER 217 NEW BEST:: SOT 125602 SOS 24534 HAS SOPS 24534 HAS SOUS 22734 HAS SOUPS 22734 WITH SCORE 22758.534
AT ITER 218 NEW BEST:: SOT 125602 SOS 24533 HAS SOPS 24533 HAS SOUS 22733 HAS SOUPS 22733 WITH SCORE 22757.533
AT ITER 228 NEW BEST:: SOT 125616 SOS 24544 HAS SOPS 24544 HAS SOUS 22730 HAS SOUPS 22730 WITH SCORE 22754.544
AT ITER 236 NEW BEST:: SOT 125652 SOS 24577 HAS SOPS 24577 HAS SOUS 22727 HAS SOUPS 22727 WITH SCORE 22751.577
AT ITER 254 NEW BEST:: SOT 125657 SOS 24522 HAS SOPS 24522 HAS SOUS 22672 HAS SOUPS 22672 WITH SCORE 22696.522
AT ITER 260 NEW BEST:: SOT 125656 SOS 24520 HAS SOPS 24520 HAS SOUS 22662 HAS SOUPS 22662 WITH SCORE 22686.52
AT ITER 263 NEW BEST:: SOT 125657 SOS 24522 HAS SOPS 24522 HAS SOUS 22651 HAS SOUPS 22651 WITH SCORE 22675.522
AT ITER 282 NEW BEST:: SOT 125660 SOS 24511 HAS SOPS 24511 HAS SOUS 22647 HAS SOUPS 22647 WITH SCORE 22671.511
AT ITER 284 NEW BEST:: SOT 125630 SOS 24451 HAS SOPS 24451 HAS SOUS 22617 HAS SOUPS 22617 WITH SCORE 22641.451
AT ITER 287 NEW BEST:: SOT 125630 SOS 24448 HAS SOPS 24448 HAS SOUS 22617 HAS SOUPS 22617 WITH SCORE 22641.448
AT ITER 296 NEW BEST:: SOT 125627 SOS 24442 HAS SOPS 24442 HAS SOUS 22611 HAS SOUPS 22611 WITH SCORE 22635.442
AT ITER 299 NEW BEST:: SOT 125632 SOS 24424 HAS SOPS 24424 HAS SOUS 22599 HAS SOUPS 22599 WITH SCORE 22623.424
AT ITER 307 NEW BEST:: SOT 125632 SOS 24408 HAS SOPS 24408 HAS SOUS 22583 HAS SOUPS 22583 WITH SCORE 22607.408
AT ITER 309 NEW BEST:: SOT 125597 SOS 24292 HAS SOPS 24292 HAS SOUS 22467 HAS SOUPS 22467 WITH SCORE 22491.292
AT ITER 337 NEW BEST:: SOT 125602 SOS 24280 HAS SOPS 24280 HAS SOUS 22455 HAS SOUPS 22455 WITH SCORE 22479.28
AT ITER 350 NEW BEST:: SOT 125602 SOS 24280 HAS SOPS 24280 HAS SOUS 22453 HAS SOUPS 22453 WITH SCORE 22477.28
AT ITER 366 NEW BEST:: SOT 125608 SOS 24254 HAS SOPS 24254 HAS SOUS 22427 HAS SOUPS 22427 WITH SCORE 22451.254
AT ITER 373 NEW BEST:: SOT 125594 SOS 24251 HAS SOPS 24251 HAS SOUS 22424 HAS SOUPS 22424 WITH SCORE 22448.251
AT ITER 375 NEW BEST:: SOT 125598 SOS 24259 HAS SOPS 24259 HAS SOUS 22417 HAS SOUPS 22417 WITH SCORE 22441.259
AT ITER 377 NEW BEST:: SOT 125598 SOS 24239 HAS SOPS 24239 HAS SOUS 22397 HAS SOUPS 22397 WITH SCORE 22421.239
AT ITER 385 NEW BEST:: SOT 125598 SOS 24234 HAS SOPS 24234 HAS SOUS 22392 HAS SOUPS 22392 WITH SCORE 22416.234
AT ITER 399 NEW BEST:: SOT 125597 SOS 24232 HAS SOPS 24232 HAS SOUS 22390 HAS SOUPS 22390 WITH SCORE 22414.232
AT ITER 436 NEW BEST:: SOT 125588 SOS 24231 HAS SOPS 24231 HAS SOUS 22389 HAS SOUPS 22389 WITH SCORE 22413.231
AT ITER 449 NEW BEST:: SOT 125562 SOS 24216 HAS SOPS 24216 HAS SOUS 22370 HAS SOUPS 22370 WITH SCORE 22394.216
AT ITER 460 NEW BEST:: SOT 125561 SOS 24215 HAS SOPS 24215 HAS SOUS 22370 HAS SOUPS 22370 WITH SCORE 22394.215
AT ITER 467 NEW BEST:: SOT 125548 SOS 24249 HAS SOPS 24249 HAS SOUS 22367 HAS SOUPS 22367 WITH SCORE 22391.249
AT ITER 478 NEW BEST:: SOT 125598 SOS 24246 HAS SOPS 24246 HAS SOUS 22364 HAS SOUPS 22364 WITH SCORE 22388.246
AT ITER 490 NEW BEST:: SOT 125521 SOS 24152 HAS SOPS 24152 HAS SOUS 22251 HAS SOUPS 22251 WITH SCORE 22275.152
AT ITER 501 NEW BEST:: SOT 125490 SOS 24090 HAS SOPS 24090 HAS SOUS 22165 HAS SOUPS 22165 WITH SCORE 22189.09
AT ITER 514 NEW BEST:: SOT 125469 SOS 24086 HAS SOPS 24086 HAS SOUS 22158 HAS SOUPS 22158 WITH SCORE 22182.086
AT ITER 536 NEW BEST:: SOT 125460 SOS 24059 HAS SOPS 24059 HAS SOUS 22149 HAS SOUPS 22149 WITH SCORE 22173.059
AT ITER 570 NEW BEST:: SOT 125424 SOS 24036 HAS SOPS 24036 HAS SOUS 22126 HAS SOUPS 22126 WITH SCORE 22150.036
AT ITER 600 NEW BEST:: SOT 125424 SOS 24036 HAS SOPS 24036 HAS SOUS 22083 HAS SOUPS 22083 WITH SCORE 22107.036
AT ITER 636 NEW BEST:: SOT 125424 SOS 24036 HAS SOPS 24036 HAS SOUS 22082 HAS SOUPS 22082 WITH SCORE 22106.036
AT ITER 645 NEW BEST:: SOT 125424 SOS 24011 HAS SOPS 24011 HAS SOUS 22057 HAS SOUPS 22057 WITH SCORE 22081.011
AT ITER 682 NEW BEST:: SOT 125478 SOS 24033 HAS SOPS 24033 HAS SOUS 22035 HAS SOUPS 22035 WITH SCORE 22059.033
AT ITER 698 NEW BEST:: SOT 125422 SOS 23965 HAS SOPS 23965 HAS SOUS 21942 HAS SOUPS 21942 WITH SCORE 21965.965
AT ITER 702 NEW BEST:: SOT 125402 SOS 23905 HAS SOPS 23905 HAS SOUS 21882 HAS SOUPS 21882 WITH SCORE 21905.905
AT ITER 706 NEW BEST:: SOT 125402 SOS 23894 HAS SOPS 23894 HAS SOUS 21871 HAS SOUPS 21871 WITH SCORE 21894.894
AT ITER 728 NEW BEST:: SOT 125333 SOS 23947 HAS SOPS 23947 HAS SOUS 21869 HAS SOUPS 21869 WITH SCORE 21892.947
AT ITER 769 NEW BEST:: SOT 125332 SOS 23945 HAS SOPS 23945 HAS SOUS 21867 HAS SOUPS 21867 WITH SCORE 21890.945
AT ITER 779 NEW BEST:: SOT 125332 SOS 23885 HAS SOPS 23885 HAS SOUS 21807 HAS SOUPS 21807 WITH SCORE 21830.885
AT ITER 783 NEW BEST:: SOT 125263 SOS 23883 HAS SOPS 23883 HAS SOUS 21805 HAS SOUPS 21805 WITH SCORE 21828.883
AT ITER 796 NEW BEST:: SOT 125243 SOS 23897 HAS SOPS 23897 HAS SOUS 21785 HAS SOUPS 21785 WITH SCORE 21808.897
AT ITER 812 NEW BEST:: SOT 125191 SOS 23759 HAS SOPS 23759 HAS SOUS 21754 HAS SOUPS 21754 WITH SCORE 21777.759
AT ITER 827 NEW BEST:: SOT 125161 SOS 23729 HAS SOPS 23729 HAS SOUS 21724 HAS SOUPS 21724 WITH SCORE 21747.729
AT ITER 828 NEW BEST:: SOT 125166 SOS 23707 HAS SOPS 23707 HAS SOUS 21708 HAS SOUPS 21708 WITH SCORE 21731.707
AT ITER 842 NEW BEST:: SOT 125157 SOS 23707 HAS SOPS 23707 HAS SOUS 21690 HAS SOUPS 21690 WITH SCORE 21713.707
AT ITER 854 NEW BEST:: SOT 125127 SOS 23583 HAS SOPS 23583 HAS SOUS 21603 HAS SOUPS 21603 WITH SCORE 21626.583
AT ITER 872 NEW BEST:: SOT 125123 SOS 23579 HAS SOPS 23579 HAS SOUS 21599 HAS SOUPS 21599 WITH SCORE 21622.579
AT ITER 887 NEW BEST:: SOT 125087 SOS 23495 HAS SOPS 23495 HAS SOUS 21587 HAS SOUPS 21587 WITH SCORE 21610.495
AT ITER 914 NEW BEST:: SOT 125089 SOS 23499 HAS SOPS 23499 HAS SOUS 21539 HAS SOUPS 21539 WITH SCORE 21562.499
AT ITER 928 NEW BEST:: SOT 125090 SOS 23500 HAS SOPS 23500 HAS SOUS 21538 HAS SOUPS 21538 WITH SCORE 21561.5
AT ITER 948 NEW BEST:: SOT 125103 SOS 23498 HAS SOPS 23498 HAS SOUS 21536 HAS SOUPS 21536 WITH SCORE 21559.498
AT ITER 952 NEW BEST:: SOT 125101 SOS 23494 HAS SOPS 23494 HAS SOUS 21534 HAS SOUPS 21534 WITH SCORE 21557.494
AT ITER 955 NEW BEST:: SOT 125100 SOS 23492 HAS SOPS 23492 HAS SOUS 21532 HAS SOUPS 21532 WITH SCORE 21555.492
AT ITER 968 NEW BEST:: SOT 125100 SOS 23492 HAS SOPS 23492 HAS SOUS 21530 HAS SOUPS 21530 WITH SCORE 21553.492
AT ITER 983 NEW BEST:: SOT 125077 SOS 23429 HAS SOPS 23429 HAS SOUS 21467 HAS SOUPS 21467 WITH SCORE 21490.429
AT ITER 993 NEW BEST:: SOT 125070 SOS 23415 HAS SOPS 23415 HAS SOUS 21460 HAS SOUPS 21460 WITH SCORE 21483.415
AT ITER 999 NEW BEST:: SOT 125063 SOS 23408 HAS SOPS 23408 HAS SOUS 21453 HAS SOUPS 21453 WITH SCORE 21476.408
AT ITER 1002 NEW BEST:: SOT 125059 SOS 23392 HAS SOPS 23392 HAS SOUS 21437 HAS SOUPS 21437 WITH SCORE 21460.392
AT ITER 1020 NEW BEST:: SOT 125069 SOS 23412 HAS SOPS 23412 HAS SOUS 21428 HAS SOUPS 21428 WITH SCORE 21451.412
AT ITER 1062 NEW BEST:: SOT 125075 SOS 23466 HAS SOPS 23466 HAS SOUS 21419 HAS SOUPS 21419 WITH SCORE 21442.466
AT ITER 1077 NEW BEST:: SOT 125075 SOS 23430 HAS SOPS 23430 HAS SOUS 21383 HAS SOUPS 21383 WITH SCORE 21406.43
AT ITER 1093 NEW BEST:: SOT 125075 SOS 23417 HAS SOPS 23417 HAS SOUS 21370 HAS SOUPS 21370 WITH SCORE 21393.417
AT ITER 1095 NEW BEST:: SOT 125075 SOS 23417 HAS SOPS 23417 HAS SOUS 21358 HAS SOUPS 21358 WITH SCORE 21381.417
AT ITER 1154 NEW BEST:: SOT 125075 SOS 23417 HAS SOPS 23417 HAS SOUS 21357 HAS SOUPS 21357 WITH SCORE 21380.417
AT ITER 1160 NEW BEST:: SOT 125075 SOS 23446 HAS SOPS 23446 HAS SOUS 21328 HAS SOUPS 21328 WITH SCORE 21351.446
AT ITER 1168 NEW BEST:: SOT 125045 SOS 23380 HAS SOPS 23380 HAS SOUS 21273 HAS SOUPS 21273 WITH SCORE 21296.38
AT ITER 1218 NEW BEST:: SOT 125036 SOS 23307 HAS SOPS 23307 HAS SOUS 21250 HAS SOUPS 21250 WITH SCORE 21273.307
AT ITER 1219 NEW BEST:: SOT 125036 SOS 23280 HAS SOPS 23280 HAS SOUS 21223 HAS SOUPS 21223 WITH SCORE 21246.28
AT ITER 1291 NEW BEST:: SOT 125036 SOS 23233 HAS SOPS 23233 HAS SOUS 21176 HAS SOUPS 21176 WITH SCORE 21199.233
AT ITER 1293 NEW BEST:: SOT 125020 SOS 23201 HAS SOPS 23201 HAS SOUS 21144 HAS SOUPS 21144 WITH SCORE 21167.201
AT ITER 1324 NEW BEST:: SOT 125020 SOS 23183 HAS SOPS 23183 HAS SOUS 21144 HAS SOUPS 21144 WITH SCORE 21167.183
AT ITER 1325 NEW BEST:: SOT 125004 SOS 23177 HAS SOPS 23177 HAS SOUS 21138 HAS SOUPS 21138 WITH SCORE 21161.177
AT ITER 1335 NEW BEST:: SOT 124952 SOS 23121 HAS SOPS 23121 HAS SOUS 21082 HAS SOUPS 21082 WITH SCORE 21105.121
AT ITER 1337 NEW BEST:: SOT 124878 SOS 23073 HAS SOPS 23073 HAS SOUS 21034 HAS SOUPS 21034 WITH SCORE 21057.073
AT ITER 1343 NEW BEST:: SOT 124878 SOS 23047 HAS SOPS 23047 HAS SOUS 21008 HAS SOUPS 21008 WITH SCORE 21031.047
AT ITER 1413 NEW BEST:: SOT 124877 SOS 23045 HAS SOPS 23045 HAS SOUS 21006 HAS SOUPS 21006 WITH SCORE 21029.045
AT ITER 1428 NEW BEST:: SOT 124877 SOS 22989 HAS SOPS 22989 HAS SOUS 21006 HAS SOUPS 21006 WITH SCORE 21028.989
AT ITER 1436 NEW BEST:: SOT 124857 SOS 22974 HAS SOPS 22974 HAS SOUS 20994 HAS SOUPS 20994 WITH SCORE 21016.974
AT ITER 1444 NEW BEST:: SOT 124829 SOS 22918 HAS SOPS 22918 HAS SOUS 20982 HAS SOUPS 20982 WITH SCORE 21004.918
AT ITER 1452 NEW BEST:: SOT 124808 SOS 22911 HAS SOPS 22911 HAS SOUS 20975 HAS SOUPS 20975 WITH SCORE 20997.911
AT ITER 1473 NEW BEST:: SOT 124808 SOS 22910 HAS SOPS 22910 HAS SOUS 20975 HAS SOUPS 20975 WITH SCORE 20997.91
AT ITER 1479 NEW BEST:: SOT 124812 SOS 22821 HAS SOPS 22821 HAS SOUS 20955 HAS SOUPS 20955 WITH SCORE 20977.821
AT ITER 1482 NEW BEST:: SOT 124807 SOS 22816 HAS SOPS 22816 HAS SOUS 20950 HAS SOUPS 20950 WITH SCORE 20972.816
AT ITER 1526 NEW BEST:: SOT 124746 SOS 22694 HAS SOPS 22694 HAS SOUS 20828 HAS SOUPS 20828 WITH SCORE 20850.694
AT ITER 1537 NEW BEST:: SOT 124768 SOS 22738 HAS SOPS 22738 HAS SOUS 20827 HAS SOUPS 20827 WITH SCORE 20849.738
AT ITER 1563 NEW BEST:: SOT 124762 SOS 22732 HAS SOPS 22732 HAS SOUS 20827 HAS SOUPS 20827 WITH SCORE 20849.732
AT ITER 1567 NEW BEST:: SOT 124762 SOS 22706 HAS SOPS 22706 HAS SOUS 20801 HAS SOUPS 20801 WITH SCORE 20823.706
AT ITER 1576 NEW BEST:: SOT 124760 SOS 22681 HAS SOPS 22681 HAS SOUS 20787 HAS SOUPS 20787 WITH SCORE 20809.681
AT ITER 1588 NEW BEST:: SOT 124745 SOS 22616 HAS SOPS 22616 HAS SOUS 20732 HAS SOUPS 20732 WITH SCORE 20754.616
AT ITER 1590 NEW BEST:: SOT 124740 SOS 22606 HAS SOPS 22606 HAS SOUS 20722 HAS SOUPS 20722 WITH SCORE 20744.606
AT ITER 1597 NEW BEST:: SOT 124759 SOS 22644 HAS SOPS 22644 HAS SOUS 20703 HAS SOUPS 20703 WITH SCORE 20725.644
AT ITER 1603 NEW BEST:: SOT 124740 SOS 22606 HAS SOPS 22606 HAS SOUS 20665 HAS SOUPS 20665 WITH SCORE 20687.606
AT ITER 1660 NEW BEST:: SOT 124740 SOS 22569 HAS SOPS 22569 HAS SOUS 20628 HAS SOUPS 20628 WITH SCORE 20650.569
AT ITER 1717 NEW BEST:: SOT 124729 SOS 22559 HAS SOPS 22559 HAS SOUS 20622 HAS SOUPS 20622 WITH SCORE 20644.559
AT ITER 1736 NEW BEST:: SOT 124729 SOS 22559 HAS SOPS 22559 HAS SOUS 20621 HAS SOUPS 20621 WITH SCORE 20643.559
AT ITER 1738 NEW BEST:: SOT 124724 SOS 22452 HAS SOPS 22452 HAS SOUS 20565 HAS SOUPS 20565 WITH SCORE 20587.452
AT ITER 1817 NEW BEST:: SOT 124723 SOS 22451 HAS SOPS 22451 HAS SOUS 20564 HAS SOUPS 20564 WITH SCORE 20586.451
AT ITER 1829 NEW BEST:: SOT 124723 SOS 22440 HAS SOPS 22440 HAS SOUS 20553 HAS SOUPS 20553 WITH SCORE 20575.44
AT ITER 1909 NEW BEST:: SOT 124723 SOS 22434 HAS SOPS 22434 HAS SOUS 20547 HAS SOUPS 20547 WITH SCORE 20569.434
AT ITER 1910 NEW BEST:: SOT 124757 SOS 22430 HAS SOPS 22430 HAS SOUS 20536 HAS SOUPS 20536 WITH SCORE 20558.43
AT ITER 2021 NEW BEST:: SOT 124754 SOS 22424 HAS SOPS 22424 HAS SOUS 20530 HAS SOUPS 20530 WITH SCORE 20552.424
AT ITER 2075 NEW BEST:: SOT 124760 SOS 22514 HAS SOPS 22514 HAS SOUS 20519 HAS SOUPS 20519 WITH SCORE 20541.514
AT ITER 2123 NEW BEST:: SOT 124705 SOS 22338 HAS SOPS 22338 HAS SOUS 20419 HAS SOUPS 20419 WITH SCORE 20441.338
AT ITER 2130 NEW BEST:: SOT 124693 SOS 22314 HAS SOPS 22314 HAS SOUS 20404 HAS SOUPS 20404 WITH SCORE 20426.314
AT ITER 2161 NEW BEST:: SOT 124693 SOS 22308 HAS SOPS 22308 HAS SOUS 20398 HAS SOUPS 20398 WITH SCORE 20420.308
AT ITER 2188 NEW BEST:: SOT 124681 SOS 22272 HAS SOPS 22272 HAS SOUS 20362 HAS SOUPS 20362 WITH SCORE 20384.272
AT ITER 2206 NEW BEST:: SOT 124676 SOS 22262 HAS SOPS 22262 HAS SOUS 20352 HAS SOUPS 20352 WITH SCORE 20374.262
AT ITER 2208 NEW BEST:: SOT 124644 SOS 22239 HAS SOPS 22239 HAS SOUS 20320 HAS SOUPS 20320 WITH SCORE 20342.239
AT ITER 2266 NEW BEST:: SOT 124613 SOS 22166 HAS SOPS 22166 HAS SOUS 20277 HAS SOUPS 20277 WITH SCORE 20299.166
AT ITER 2269 NEW BEST:: SOT 124603 SOS 22146 HAS SOPS 22146 HAS SOUS 20257 HAS SOUPS 20257 WITH SCORE 20279.146
AT ITER 2309 NEW BEST:: SOT 124600 SOS 22140 HAS SOPS 22140 HAS SOUS 20251 HAS SOUPS 20251 WITH SCORE 20273.14
AT ITER 2326 NEW BEST:: SOT 124598 SOS 22067 HAS SOPS 22067 HAS SOUS 20224 HAS SOUPS 20224 WITH SCORE 20246.067
AT ITER 2327 NEW BEST:: SOT 124590 SOS 21977 HAS SOPS 21977 HAS SOUS 20168 HAS SOUPS 20168 WITH SCORE 20189.977
AT ITER 2329 NEW BEST:: SOT 124584 SOS 21967 HAS SOPS 21967 HAS SOUS 20158 HAS SOUPS 20158 WITH SCORE 20179.967
AT ITER 2373 NEW BEST:: SOT 124588 SOS 21945 HAS SOPS 21945 HAS SOUS 20106 HAS SOUPS 20106 WITH SCORE 20127.945
AT ITER 2410 NEW BEST:: SOT 124581 SOS 21940 HAS SOPS 21940 HAS SOUS 20104 HAS SOUPS 20104 WITH SCORE 20125.94
AT ITER 2413 NEW BEST:: SOT 124562 SOS 21939 HAS SOPS 21939 HAS SOUS 20103 HAS SOUPS 20103 WITH SCORE 20124.939
AT ITER 2417 NEW BEST:: SOT 124528 SOS 21912 HAS SOPS 21912 HAS SOUS 20081 HAS SOUPS 20081 WITH SCORE 20102.912
AT ITER 2422 NEW BEST:: SOT 124528 SOS 21910 HAS SOPS 21910 HAS SOUS 20079 HAS SOUPS 20079 WITH SCORE 20100.91
AT ITER 2424 NEW BEST:: SOT 124528 SOS 21907 HAS SOPS 21907 HAS SOUS 20076 HAS SOUPS 20076 WITH SCORE 20097.907
AT ITER 2464 NEW BEST:: SOT 124528 SOS 21907 HAS SOPS 21907 HAS SOUS 20069 HAS SOUPS 20069 WITH SCORE 20090.907
AT ITER 2476 NEW BEST:: SOT 124550 SOS 21895 HAS SOPS 21895 HAS SOUS 20057 HAS SOUPS 20057 WITH SCORE 20078.895
AT ITER 2505 NEW BEST:: SOT 124515 SOS 21885 HAS SOPS 21885 HAS SOUS 20047 HAS SOUPS 20047 WITH SCORE 20068.885
AT ITER 2507 NEW BEST:: SOT 124496 SOS 21958 HAS SOPS 21958 HAS SOUS 20046 HAS SOUPS 20046 WITH SCORE 20067.958
AT ITER 2512 NEW BEST:: SOT 124476 SOS 21918 HAS SOPS 21918 HAS SOUS 20006 HAS SOUPS 20006 WITH SCORE 20027.918
AT ITER 2545 NEW BEST:: SOT 124476 SOS 21879 HAS SOPS 21879 HAS SOUS 19967 HAS SOUPS 19967 WITH SCORE 19988.879
AT ITER 2551 NEW BEST:: SOT 124487 SOS 21871 HAS SOPS 21871 HAS SOUS 19959 HAS SOUPS 19959 WITH SCORE 19980.871
AT ITER 2560 NEW BEST:: SOT 124450 SOS 21872 HAS SOPS 21872 HAS SOUS 19947 HAS SOUPS 19947 WITH SCORE 19968.872
AT ITER 2589 NEW BEST:: SOT 124450 SOS 21867 HAS SOPS 21867 HAS SOUS 19942 HAS SOUPS 19942 WITH SCORE 19963.867
AT ITER 2594 NEW BEST:: SOT 124440 SOS 21795 HAS SOPS 21795 HAS SOUS 19920 HAS SOUPS 19920 WITH SCORE 19941.795
AT ITER 2602 NEW BEST:: SOT 124407 SOS 21854 HAS SOPS 21854 HAS SOUS 19916 HAS SOUPS 19916 WITH SCORE 19937.854
AT ITER 2613 NEW BEST:: SOT 124407 SOS 21847 HAS SOPS 21847 HAS SOUS 19909 HAS SOUPS 19909 WITH SCORE 19930.847
AT ITER 2619 NEW BEST:: SOT 124407 SOS 21845 HAS SOPS 21845 HAS SOUS 19908 HAS SOUPS 19908 WITH SCORE 19929.845
AT ITER 2628 NEW BEST:: SOT 124379 SOS 21818 HAS SOPS 21818 HAS SOUS 19881 HAS SOUPS 19881 WITH SCORE 19902.818
AT ITER 2641 NEW BEST:: SOT 124379 SOS 21817 HAS SOPS 21817 HAS SOUS 19881 HAS SOUPS 19881 WITH SCORE 19902.817
AT ITER 2652 NEW BEST:: SOT 124379 SOS 21797 HAS SOPS 21797 HAS SOUS 19870 HAS SOUPS 19870 WITH SCORE 19891.797
AT ITER 2653 NEW BEST:: SOT 124379 SOS 21771 HAS SOPS 21771 HAS SOUS 19844 HAS SOUPS 19844 WITH SCORE 19865.771
AT ITER 2691 NEW BEST:: SOT 124379 SOS 21765 HAS SOPS 21765 HAS SOUS 19838 HAS SOUPS 19838 WITH SCORE 19859.765
AT ITER 2719 NEW BEST:: SOT 124368 SOS 21743 HAS SOPS 21743 HAS SOUS 19816 HAS SOUPS 19816 WITH SCORE 19837.743
AT ITER 2732 NEW BEST:: SOT 124360 SOS 21727 HAS SOPS 21727 HAS SOUS 19800 HAS SOUPS 19800 WITH SCORE 19821.727
AT ITER 2753 NEW BEST:: SOT 124366 SOS 21715 HAS SOPS 21715 HAS SOUS 19800 HAS SOUPS 19800 WITH SCORE 19821.715
AT ITER 2757 NEW BEST:: SOT 124366 SOS 21703 HAS SOPS 21703 HAS SOUS 19788 HAS SOUPS 19788 WITH SCORE 19809.703
AT ITER 2759 NEW BEST:: SOT 124338 SOS 21647 HAS SOPS 21647 HAS SOUS 19732 HAS SOUPS 19732 WITH SCORE 19753.647
AT ITER 2774 NEW BEST:: SOT 124338 SOS 21629 HAS SOPS 21629 HAS SOUS 19732 HAS SOUPS 19732 WITH SCORE 19753.629
AT ITER 2797 NEW BEST:: SOT 124321 SOS 21571 HAS SOPS 21571 HAS SOUS 19683 HAS SOUPS 19683 WITH SCORE 19704.571
AT ITER 2816 NEW BEST:: SOT 124307 SOS 21508 HAS SOPS 21508 HAS SOUS 19654 HAS SOUPS 19654 WITH SCORE 19675.508
AT ITER 2863 NEW BEST:: SOT 124301 SOS 21502 HAS SOPS 21502 HAS SOUS 19651 HAS SOUPS 19651 WITH SCORE 19672.502
AT ITER 2917 NEW BEST:: SOT 124297 SOS 21494 HAS SOPS 21494 HAS SOUS 19643 HAS SOUPS 19643 WITH SCORE 19664.494
AT ITER 2922 NEW BEST:: SOT 124284 SOS 21481 HAS SOPS 21481 HAS SOUS 19630 HAS SOUPS 19630 WITH SCORE 19651.481
AT ITER 2927 NEW BEST:: SOT 124258 SOS 21449 HAS SOPS 21449 HAS SOUS 19598 HAS SOUPS 19598 WITH SCORE 19619.449
AT ITER 2946 NEW BEST:: SOT 124253 SOS 21434 HAS SOPS 21434 HAS SOUS 19588 HAS SOUPS 19588 WITH SCORE 19609.434
AT ITER 2964 NEW BEST:: SOT 124247 SOS 21427 HAS SOPS 21427 HAS SOUS 19587 HAS SOUPS 19587 WITH SCORE 19608.427
AT ITER 2983 NEW BEST:: SOT 124249 SOS 21385 HAS SOPS 21385 HAS SOUS 19587 HAS SOUPS 19587 WITH SCORE 19608.385
AT ITER 2986 NEW BEST:: SOT 124257 SOS 21392 HAS SOPS 21392 HAS SOUS 19586 HAS SOUPS 19586 WITH SCORE 19607.392
AT ITER 2990 NEW BEST:: SOT 124240 SOS 21358 HAS SOPS 21358 HAS SOUS 19584 HAS SOUPS 19584 WITH SCORE 19605.358
AT ITER 2999 NEW BEST:: SOT 124241 SOS 21360 HAS SOPS 21360 HAS SOUS 19583 HAS SOUPS 19583 WITH SCORE 19604.36
AT ITER 3053 NEW BEST:: SOT 124231 SOS 21396 HAS SOPS 21396 HAS SOUS 19563 HAS SOUPS 19563 WITH SCORE 19584.396
AT ITER 3078 NEW BEST:: SOT 124219 SOS 21372 HAS SOPS 21372 HAS SOUS 19507 HAS SOUPS 19507 WITH SCORE 19528.372
AT ITER 3096 NEW BEST:: SOT 124210 SOS 21392 HAS SOPS 21392 HAS SOUS 19498 HAS SOUPS 19498 WITH SCORE 19519.392
AT ITER 3127 NEW BEST:: SOT 124145 SOS 21360 HAS SOPS 21360 HAS SOUS 19466 HAS SOUPS 19466 WITH SCORE 19487.36
AT ITER 3135 NEW BEST:: SOT 124145 SOS 21354 HAS SOPS 21354 HAS SOUS 19460 HAS SOUPS 19460 WITH SCORE 19481.354
AT ITER 3150 NEW BEST:: SOT 124149 SOS 21354 HAS SOPS 21354 HAS SOUS 19456 HAS SOUPS 19456 WITH SCORE 19477.354
AT ITER 3151 NEW BEST:: SOT 124117 SOS 21290 HAS SOPS 21290 HAS SOUS 19392 HAS SOUPS 19392 WITH SCORE 19413.29
AT ITER 3198 NEW BEST:: SOT 124110 SOS 21276 HAS SOPS 21276 HAS SOUS 19378 HAS SOUPS 19378 WITH SCORE 19399.276
AT ITER 3215 NEW BEST:: SOT 124101 SOS 21258 HAS SOPS 21258 HAS SOUS 19360 HAS SOUPS 19360 WITH SCORE 19381.258
AT ITER 3231 NEW BEST:: SOT 124098 SOS 21252 HAS SOPS 21252 HAS SOUS 19354 HAS SOUPS 19354 WITH SCORE 19375.252
AT ITER 3248 NEW BEST:: SOT 124076 SOS 21242 HAS SOPS 21242 HAS SOUS 19344 HAS SOUPS 19344 WITH SCORE 19365.242
AT ITER 3264 NEW BEST:: SOT 124078 SOS 21242 HAS SOPS 21242 HAS SOUS 19343 HAS SOUPS 19343 WITH SCORE 19364.242
AT ITER 3274 NEW BEST:: SOT 124078 SOS 21226 HAS SOPS 21226 HAS SOUS 19327 HAS SOUPS 19327 WITH SCORE 19348.226
AT ITER 3286 NEW BEST:: SOT 124077 SOS 21224 HAS SOPS 21224 HAS SOUS 19316 HAS SOUPS 19316 WITH SCORE 19337.224
AT ITER 3315 NEW BEST:: SOT 124083 SOS 21211 HAS SOPS 21211 HAS SOUS 19303 HAS SOUPS 19303 WITH SCORE 19324.211
AT ITER 3329 NEW BEST:: SOT 124070 SOS 21356 HAS SOPS 21356 HAS SOUS 19302 HAS SOUPS 19302 WITH SCORE 19323.356
AT ITER 3331 NEW BEST:: SOT 124070 SOS 21342 HAS SOPS 21342 HAS SOUS 19298 HAS SOUPS 19298 WITH SCORE 19319.342
AT ITER 3342 NEW BEST:: SOT 124062 SOS 21326 HAS SOPS 21326 HAS SOUS 19282 HAS SOUPS 19282 WITH SCORE 19303.326
AT ITER 3350 NEW BEST:: SOT 124062 SOS 21326 HAS SOPS 21326 HAS SOUS 19250 HAS SOUPS 19250 WITH SCORE 19271.326
AT ITER 3423 NEW BEST:: SOT 124072 SOS 21292 HAS SOPS 21292 HAS SOUS 19216 HAS SOUPS 19216 WITH SCORE 19237.292
AT ITER 3462 NEW BEST:: SOT 124064 SOS 21269 HAS SOPS 21269 HAS SOUS 19193 HAS SOUPS 19193 WITH SCORE 19214.269
AT ITER 3477 NEW BEST:: SOT 124064 SOS 21254 HAS SOPS 21254 HAS SOUS 19178 HAS SOUPS 19178 WITH SCORE 19199.254
AT ITER 3494 NEW BEST:: SOT 124067 SOS 21253 HAS SOPS 21253 HAS SOUS 19177 HAS SOUPS 19177 WITH SCORE 19198.253
AT ITER 3495 NEW BEST:: SOT 124069 SOS 21227 HAS SOPS 21227 HAS SOUS 19151 HAS SOUPS 19151 WITH SCORE 19172.227
AT ITER 3520 NEW BEST:: SOT 124057 SOS 21172 HAS SOPS 21172 HAS SOUS 19131 HAS SOUPS 19131 WITH SCORE 19152.172
AT ITER 3527 NEW BEST:: SOT 124082 SOS 21165 HAS SOPS 21165 HAS SOUS 19124 HAS SOUPS 19124 WITH SCORE 19145.165
AT ITER 3549 NEW BEST:: SOT 124047 SOS 21159 HAS SOPS 21159 HAS SOUS 19118 HAS SOUPS 19118 WITH SCORE 19139.159
AT ITER 3563 NEW BEST:: SOT 124059 SOS 21183 HAS SOPS 21183 HAS SOUS 19112 HAS SOUPS 19112 WITH SCORE 19133.183
AT ITER 3588 NEW BEST:: SOT 124038 SOS 21124 HAS SOPS 21124 HAS SOUS 19098 HAS SOUPS 19098 WITH SCORE 19119.124
AT ITER 3589 NEW BEST:: SOT 124038 SOS 21104 HAS SOPS 21104 HAS SOUS 19098 HAS SOUPS 19098 WITH SCORE 19119.104
AT ITER 3607 NEW BEST:: SOT 124040 SOS 21108 HAS SOPS 21108 HAS SOUS 19054 HAS SOUPS 19054 WITH SCORE 19075.108
AT ITER 3625 NEW BEST:: SOT 123970 SOS 20968 HAS SOPS 20968 HAS SOUS 18953 HAS SOUPS 18953 WITH SCORE 18973.968
AT ITER 3647 NEW BEST:: SOT 123955 SOS 20950 HAS SOPS 20950 HAS SOUS 18935 HAS SOUPS 18935 WITH SCORE 18955.95
AT ITER 3657 NEW BEST:: SOT 123967 SOS 20929 HAS SOPS 20929 HAS SOUS 18914 HAS SOUPS 18914 WITH SCORE 18934.929
AT ITER 3683 NEW BEST:: SOT 123967 SOS 20897 HAS SOPS 20897 HAS SOUS 18898 HAS SOUPS 18898 WITH SCORE 18918.897
AT ITER 3705 NEW BEST:: SOT 123965 SOS 20893 HAS SOPS 20893 HAS SOUS 18894 HAS SOUPS 18894 WITH SCORE 18914.893
AT ITER 3713 NEW BEST:: SOT 123999 SOS 20850 HAS SOPS 20850 HAS SOUS 18851 HAS SOUPS 18851 WITH SCORE 18871.85
AT ITER 3721 NEW BEST:: SOT 123997 SOS 20846 HAS SOPS 20846 HAS SOUS 18847 HAS SOUPS 18847 WITH SCORE 18867.846
AT ITER 3722 NEW BEST:: SOT 123996 SOS 20845 HAS SOPS 20845 HAS SOUS 18846 HAS SOUPS 18846 WITH SCORE 18866.845
AT ITER 3733 NEW BEST:: SOT 123994 SOS 20841 HAS SOPS 20841 HAS SOUS 18842 HAS SOUPS 18842 WITH SCORE 18862.841
AT ITER 3753 NEW BEST:: SOT 123994 SOS 20840 HAS SOPS 20840 HAS SOUS 18841 HAS SOUPS 18841 WITH SCORE 18861.84
AT ITER 3763 NEW BEST:: SOT 123986 SOS 20824 HAS SOPS 20824 HAS SOUS 18825 HAS SOUPS 18825 WITH SCORE 18845.824
AT ITER 3801 NEW BEST:: SOT 124000 SOS 20800 HAS SOPS 20800 HAS SOUS 18808 HAS SOUPS 18808 WITH SCORE 18828.8
AT ITER 3825 NEW BEST:: SOT 124000 SOS 20799 HAS SOPS 20799 HAS SOUS 18807 HAS SOUPS 18807 WITH SCORE 18827.799
AT ITER 3836 NEW BEST:: SOT 123992 SOS 20791 HAS SOPS 20791 HAS SOUS 18799 HAS SOUPS 18799 WITH SCORE 18819.791
AT ITER 3857 NEW BEST:: SOT 123965 SOS 20801 HAS SOPS 20801 HAS SOUS 18772 HAS SOUPS 18772 WITH SCORE 18792.801
AT ITER 3896 NEW BEST:: SOT 123958 SOS 20787 HAS SOPS 20787 HAS SOUS 18758 HAS SOUPS 18758 WITH SCORE 18778.787
AT ITER 3928 NEW BEST:: SOT 123977 SOS 20797 HAS SOPS 20797 HAS SOUS 18749 HAS SOUPS 18749 WITH SCORE 18769.797
AT ITER 3947 NEW BEST:: SOT 123952 SOS 20772 HAS SOPS 20772 HAS SOUS 18724 HAS SOUPS 18724 WITH SCORE 18744.772
AT ITER 3964 NEW BEST:: SOT 123944 SOS 20780 HAS SOPS 20780 HAS SOUS 18708 HAS SOUPS 18708 WITH SCORE 18728.78
AT ITER 3992 NEW BEST:: SOT 123936 SOS 20780 HAS SOPS 20780 HAS SOUS 18692 HAS SOUPS 18692 WITH SCORE 18712.78
AT ITER 3994 NEW BEST:: SOT 123913 SOS 20752 HAS SOPS 20752 HAS SOUS 18664 HAS SOUPS 18664 WITH SCORE 18684.752
AT ITER 4052 NEW BEST:: SOT 123900 SOS 20711 HAS SOPS 20711 HAS SOUS 18654 HAS SOUPS 18654 WITH SCORE 18674.711
AT ITER 4098 NEW BEST:: SOT 123896 SOS 20707 HAS SOPS 20707 HAS SOUS 18650 HAS SOUPS 18650 WITH SCORE 18670.707
AT ITER 4112 NEW BEST:: SOT 123896 SOS 20702 HAS SOPS 20702 HAS SOUS 18645 HAS SOUPS 18645 WITH SCORE 18665.702
AT ITER 4135 NEW BEST:: SOT 123896 SOS 20666 HAS SOPS 20666 HAS SOUS 18609 HAS SOUPS 18609 WITH SCORE 18629.666
AT ITER 4173 NEW BEST:: SOT 123862 SOS 20630 HAS SOPS 20630 HAS SOUS 18585 HAS SOUPS 18585 WITH SCORE 18605.63
AT ITER 4177 NEW BEST:: SOT 123848 SOS 20616 HAS SOPS 20616 HAS SOUS 18571 HAS SOUPS 18571 WITH SCORE 18591.616
AT ITER 4236 NEW BEST:: SOT 123848 SOS 20544 HAS SOPS 20544 HAS SOUS 18571 HAS SOUPS 18571 WITH SCORE 18591.544
AT ITER 4267 NEW BEST:: SOT 123846 SOS 20540 HAS SOPS 20540 HAS SOUS 18567 HAS SOUPS 18567 WITH SCORE 18587.54
AT ITER 4321 NEW BEST:: SOT 123846 SOS 20539 HAS SOPS 20539 HAS SOUS 18567 HAS SOUPS 18567 WITH SCORE 18587.539
AT ITER 4374 NEW BEST:: SOT 123842 SOS 20511 HAS SOPS 20511 HAS SOUS 18559 HAS SOUPS 18559 WITH SCORE 18579.511
AT ITER 4398 NEW BEST:: SOT 123822 SOS 20510 HAS SOPS 20510 HAS SOUS 18539 HAS SOUPS 18539 WITH SCORE 18559.51
AT ITER 4431 NEW BEST:: SOT 123814 SOS 20502 HAS SOPS 20502 HAS SOUS 18531 HAS SOUPS 18531 WITH SCORE 18551.502
AT ITER 4538 NEW BEST:: SOT 123833 SOS 20540 HAS SOPS 20540 HAS SOUS 18501 HAS SOUPS 18501 WITH SCORE 18521.54
AT ITER 4540 NEW BEST:: SOT 123829 SOS 20532 HAS SOPS 20532 HAS SOUS 18493 HAS SOUPS 18493 WITH SCORE 18513.532
AT ITER 4586 NEW BEST:: SOT 123846 SOS 20480 HAS SOPS 20480 HAS SOUS 18465 HAS SOUPS 18465 WITH SCORE 18485.48
AT ITER 4605 NEW BEST:: SOT 123819 SOS 20522 HAS SOPS 20522 HAS SOUS 18458 HAS SOUPS 18458 WITH SCORE 18478.522
AT ITER 4609 NEW BEST:: SOT 123780 SOS 20444 HAS SOPS 20444 HAS SOUS 18458 HAS SOUPS 18458 WITH SCORE 18478.444
AT ITER 4637 NEW BEST:: SOT 123783 SOS 20494 HAS SOPS 20494 HAS SOUS 18420 HAS SOUPS 18420 WITH SCORE 18440.494
AT ITER 4700 NEW BEST:: SOT 123782 SOS 20492 HAS SOPS 20492 HAS SOUS 18418 HAS SOUPS 18418 WITH SCORE 18438.492
AT ITER 4793 NEW BEST:: SOT 123776 SOS 20486 HAS SOPS 20486 HAS SOUS 18418 HAS SOUPS 18418 WITH SCORE 18438.486
AT ITER 4869 NEW BEST:: SOT 123777 SOS 20442 HAS SOPS 20442 HAS SOUS 18375 HAS SOUPS 18375 WITH SCORE 18395.442
AT ITER 4889 NEW BEST:: SOT 123776 SOS 20440 HAS SOPS 20440 HAS SOUS 18373 HAS SOUPS 18373 WITH SCORE 18393.44
AT ITER 4927 NEW BEST:: SOT 123762 SOS 20412 HAS SOPS 20412 HAS SOUS 18335 HAS SOUPS 18335 WITH SCORE 18355.412
AT ITER 4991 NEW BEST:: SOT 123759 SOS 20406 HAS SOPS 20406 HAS SOUS 18329 HAS SOUPS 18329 WITH SCORE 18349.406
Bounds file is: CTLFireability.xml
PROPERTY: AutoFlight-PT-05b-CTLFireability-00 ( (AF( ( ((potential((tk(P148)>=1)))) | (EG( ((potential((tk(P63)>=1)))))) ))) | (EX( ( (AX( ((potential((tk(P120)>=1)))))) & (! ( ((potential((tk(P48)>=1)))) | ((potential((tk(P256)>=1) & (tk(P419)>=1)))) )) ))) )
PROPERTY: AutoFlight-PT-05b-CTLFireability-01 (! ( ( (AG( (! ((potential((tk(P353)>=1))))))) | (EU( ((potential((tk(P439)>=1)))) , ((potential((tk(P151)>=1)))) )) ) | (AG( (AF( ((potential((tk(P478)>=1)))))))) ))
PROPERTY: AutoFlight-PT-05b-CTLFireability-02 (AG( (EF( ((potential((tk(P7)>=1))))))))
PROPERTY: AutoFlight-PT-05b-CTLFireability-03 (AU( (! (AF( ((potential((tk(P442)>=1))))))) , ( ( ((potential((tk(P81)>=1)))) | (! ((potential((tk(P113)>=1))))) ) & (EF( ((potential((tk(P106)>=1)))))) ) ))
PROPERTY: AutoFlight-PT-05b-CTLFireability-04 ( ((potential((tk(P404)>=1)))) | (EU( (! ( ((potential((tk(P356)>=1)))) | ((potential((tk(P273)>=1) & (tk(P436)>=1)))) )) , (AG( ((potential((tk(P200)>=1)))))) )) )
PROPERTY: AutoFlight-PT-05b-CTLFireability-05 ( (! ((potential((tk(P204)>=1))))) & ( (EG( ( (! ((potential((tk(P311)>=1))))) | ( ((potential((tk(P61)>=1)))) | ((potential((tk(P158)>=1)))) ) ))) | (AX( (EG( ((potential((tk(P65)>=1)))))))) ) )
PROPERTY: AutoFlight-PT-05b-CTLFireability-06 ( (AU( (! ( ((potential((tk(P397)>=1)))) | ((potential((tk(P198)>=1)))) )) , (AF( ((potential((tk(P112)>=1)))))) )) & (! ((potential((tk(P409)>=1))))) )
PROPERTY: AutoFlight-PT-05b-CTLFireability-07 (AF( ((potential((tk(P11)>=1))))))
PROPERTY: AutoFlight-PT-05b-CTLFireability-08 (! (AX( ( ( (! ((potential((tk(P250)>=1))))) & ( ((potential((tk(P22)>=1)))) | ((potential((tk(P80)>=1)))) ) ) | (AF( ((potential((tk(P234)>=1)))))) ))))
PROPERTY: AutoFlight-PT-05b-CTLFireability-09 (AG( (! (! ( (! ((potential((tk(P11)>=1))))) | (! ((potential((tk(P212)>=1))))) )))))
PROPERTY: AutoFlight-PT-05b-CTLFireability-10 (EG( (! (! (! ( ((potential((tk(P172)>=1)))) | ((potential((tk(P425)>=1)))) ))))))
PROPERTY: AutoFlight-PT-05b-CTLFireability-11 (AX( (! ( (EF( ((potential((tk(P187)>=1)))))) & ( (! ((potential((tk(P153)>=1))))) | ((potential((tk(P292)>=1)))) ) ))))
PROPERTY: AutoFlight-PT-05b-CTLFireability-12 (AF( (AX( (AX( ((potential((tk(P64)>=1))))))))))
PROPERTY: AutoFlight-PT-05b-CTLFireability-13 ( (EX( ( ( (! ((potential((tk(P238)>=1))))) & ( ((potential((tk(P265)>=1)))) & ((potential((tk(P72)>=1)))) ) ) | ( ( ((potential((tk(P348)>=1)))) | ((potential((tk(P215)>=1) & (tk(P339)>=1)))) ) & ( ((potential((tk(P154)>=1)))) | ((potential((tk(P207)>=1)))) ) ) ))) | (AX( (! (AF( ((potential((tk(P159)>=1))))))))) )
PROPERTY: AutoFlight-PT-05b-CTLFireability-14 ( (! (EU( (! ((potential((tk(P357)>=1))))) , ( ((potential((tk(P404)>=1)))) & ((potential((tk(P155)>=1)))) ) ))) | ( ( ( (AF( ((potential((tk(P455)>=1)))))) | ( ( ((potential((tk(P153)>=1) & (tk(P449)>=1)))) | ((potential((tk(P306)>=1)))) ) | ( ((potential((tk(P75)>=1) & (tk(P415)>=1)))) & ((potential((tk(P454)>=1) & (tk(P479)>=1)))) ) ) ) | ((potential((tk(P477)>=1)))) ) & (! (! ((potential((tk(P457)>=1)))))) ) )
PROPERTY: AutoFlight-PT-05b-CTLFireability-15 (EU( (! (AF( ((potential((tk(P460)>=1))))))) , (AU( ((potential((tk(P80)>=1)))) , ((potential((tk(P137)>=1) & (tk(P337)>=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-05b"
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-05b, 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-158897508500444"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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