Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 280K
-rw-r--r-- 1 mcc users 4.2K May 14 01:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 14 01:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 13 19:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K May 13 19:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K May 14 10:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 14 10:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 14 10:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.8K May 13 14:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 13 14:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 13 08:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 08:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 92K May 12 20:42 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 ShieldPPPt-PT-005B-CTLFireability-00
FORMULA_NAME ShieldPPPt-PT-005B-CTLFireability-01
FORMULA_NAME ShieldPPPt-PT-005B-CTLFireability-02
FORMULA_NAME ShieldPPPt-PT-005B-CTLFireability-03
FORMULA_NAME ShieldPPPt-PT-005B-CTLFireability-04
FORMULA_NAME ShieldPPPt-PT-005B-CTLFireability-05
FORMULA_NAME ShieldPPPt-PT-005B-CTLFireability-06
FORMULA_NAME ShieldPPPt-PT-005B-CTLFireability-07
FORMULA_NAME ShieldPPPt-PT-005B-CTLFireability-08
FORMULA_NAME ShieldPPPt-PT-005B-CTLFireability-09
FORMULA_NAME ShieldPPPt-PT-005B-CTLFireability-10
FORMULA_NAME ShieldPPPt-PT-005B-CTLFireability-11
FORMULA_NAME ShieldPPPt-PT-005B-CTLFireability-12
FORMULA_NAME ShieldPPPt-PT-005B-CTLFireability-13
FORMULA_NAME ShieldPPPt-PT-005B-CTLFireability-14
FORMULA_NAME ShieldPPPt-PT-005B-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590446654139

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPt (PT), instance 005B
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: 393 places, 358 transitions, 896 arcs.
AT ITER 0 NEW BEST:: SOT 77150 SOS 20642 HAS SOPS 20642 HAS SOUS 19102 HAS SOUPS 19102 WITH SCORE 19122.642
AT ITER 4 NEW BEST:: SOT 77150 SOS 20628 HAS SOPS 20628 HAS SOUS 19088 HAS SOUPS 19088 WITH SCORE 19108.628
AT ITER 9 NEW BEST:: SOT 77150 SOS 20616 HAS SOPS 20616 HAS SOUS 19076 HAS SOUPS 19076 WITH SCORE 19096.616
AT ITER 14 NEW BEST:: SOT 77150 SOS 20608 HAS SOPS 20608 HAS SOUS 19068 HAS SOUPS 19068 WITH SCORE 19088.608
AT ITER 28 NEW BEST:: SOT 77150 SOS 20647 HAS SOPS 20647 HAS SOUS 19066 HAS SOUPS 19066 WITH SCORE 19086.647
AT ITER 39 NEW BEST:: SOT 77150 SOS 20647 HAS SOPS 20647 HAS SOUS 19033 HAS SOUPS 19033 WITH SCORE 19053.647
AT ITER 43 NEW BEST:: SOT 77150 SOS 20644 HAS SOPS 20644 HAS SOUS 19030 HAS SOUPS 19030 WITH SCORE 19050.644
AT ITER 63 NEW BEST:: SOT 77134 SOS 20618 HAS SOPS 20618 HAS SOUS 19022 HAS SOUPS 19022 WITH SCORE 19042.618
AT ITER 68 NEW BEST:: SOT 77090 SOS 20530 HAS SOPS 20530 HAS SOUS 18934 HAS SOUPS 18934 WITH SCORE 18954.53
AT ITER 79 NEW BEST:: SOT 77079 SOS 20563 HAS SOPS 20563 HAS SOUS 18933 HAS SOUPS 18933 WITH SCORE 18953.563
AT ITER 85 NEW BEST:: SOT 77084 SOS 20521 HAS SOPS 20521 HAS SOUS 18891 HAS SOUPS 18891 WITH SCORE 18911.521
AT ITER 98 NEW BEST:: SOT 77084 SOS 20479 HAS SOPS 20479 HAS SOUS 18849 HAS SOUPS 18849 WITH SCORE 18869.479
AT ITER 104 NEW BEST:: SOT 77082 SOS 20477 HAS SOPS 20477 HAS SOUS 18849 HAS SOUPS 18849 WITH SCORE 18869.477
AT ITER 124 NEW BEST:: SOT 77074 SOS 20445 HAS SOPS 20445 HAS SOUS 18829 HAS SOUPS 18829 WITH SCORE 18849.445
AT ITER 149 NEW BEST:: SOT 77020 SOS 20402 HAS SOPS 20402 HAS SOUS 18775 HAS SOUPS 18775 WITH SCORE 18795.402
AT ITER 155 NEW BEST:: SOT 77026 SOS 20418 HAS SOPS 20418 HAS SOUS 18722 HAS SOUPS 18722 WITH SCORE 18742.418
AT ITER 156 NEW BEST:: SOT 77026 SOS 20376 HAS SOPS 20376 HAS SOUS 18719 HAS SOUPS 18719 WITH SCORE 18739.376
AT ITER 167 NEW BEST:: SOT 76972 SOS 20268 HAS SOPS 20268 HAS SOUS 18665 HAS SOUPS 18665 WITH SCORE 18685.268
AT ITER 198 NEW BEST:: SOT 76968 SOS 20264 HAS SOPS 20264 HAS SOUS 18661 HAS SOUPS 18661 WITH SCORE 18681.264
AT ITER 204 NEW BEST:: SOT 76961 SOS 20250 HAS SOPS 20250 HAS SOUS 18661 HAS SOUPS 18661 WITH SCORE 18681.25
AT ITER 227 NEW BEST:: SOT 76960 SOS 20236 HAS SOPS 20236 HAS SOUS 18658 HAS SOUPS 18658 WITH SCORE 18678.236
AT ITER 232 NEW BEST:: SOT 76906 SOS 20214 HAS SOPS 20214 HAS SOUS 18604 HAS SOUPS 18604 WITH SCORE 18624.214
AT ITER 247 NEW BEST:: SOT 76826 SOS 20163 HAS SOPS 20163 HAS SOUS 18524 HAS SOUPS 18524 WITH SCORE 18544.163
AT ITER 271 NEW BEST:: SOT 76819 SOS 20149 HAS SOPS 20149 HAS SOUS 18510 HAS SOUPS 18510 WITH SCORE 18530.149
AT ITER 272 NEW BEST:: SOT 76819 SOS 20149 HAS SOPS 20149 HAS SOUS 18508 HAS SOUPS 18508 WITH SCORE 18528.149
AT ITER 273 NEW BEST:: SOT 76827 SOS 20083 HAS SOPS 20083 HAS SOUS 18507 HAS SOUPS 18507 WITH SCORE 18527.083
AT ITER 307 NEW BEST:: SOT 76826 SOS 20043 HAS SOPS 20043 HAS SOUS 18505 HAS SOUPS 18505 WITH SCORE 18525.043
AT ITER 308 NEW BEST:: SOT 76825 SOS 20042 HAS SOPS 20042 HAS SOUS 18504 HAS SOUPS 18504 WITH SCORE 18524.042
AT ITER 320 NEW BEST:: SOT 76847 SOS 20094 HAS SOPS 20094 HAS SOUS 18489 HAS SOUPS 18489 WITH SCORE 18509.094
AT ITER 325 NEW BEST:: SOT 76816 SOS 20032 HAS SOPS 20032 HAS SOUS 18412 HAS SOUPS 18412 WITH SCORE 18432.032
AT ITER 328 NEW BEST:: SOT 76816 SOS 20018 HAS SOPS 20018 HAS SOUS 18398 HAS SOUPS 18398 WITH SCORE 18418.018
AT ITER 389 NEW BEST:: SOT 76815 SOS 19988 HAS SOPS 19988 HAS SOUS 18382 HAS SOUPS 18382 WITH SCORE 18401.988
AT ITER 402 NEW BEST:: SOT 76814 SOS 19921 HAS SOPS 19921 HAS SOUS 18380 HAS SOUPS 18380 WITH SCORE 18399.921
AT ITER 466 NEW BEST:: SOT 76818 SOS 19959 HAS SOPS 19959 HAS SOUS 18377 HAS SOUPS 18377 WITH SCORE 18396.959
AT ITER 468 NEW BEST:: SOT 76858 SOS 19959 HAS SOPS 19959 HAS SOUS 18371 HAS SOUPS 18371 WITH SCORE 18390.959
AT ITER 493 NEW BEST:: SOT 76858 SOS 19926 HAS SOPS 19926 HAS SOUS 18364 HAS SOUPS 18364 WITH SCORE 18383.926
AT ITER 494 NEW BEST:: SOT 76819 SOS 19951 HAS SOPS 19951 HAS SOUS 18357 HAS SOUPS 18357 WITH SCORE 18376.951
AT ITER 495 NEW BEST:: SOT 76819 SOS 19958 HAS SOPS 19958 HAS SOUS 18350 HAS SOUPS 18350 WITH SCORE 18369.958
AT ITER 498 NEW BEST:: SOT 76806 SOS 19931 HAS SOPS 19931 HAS SOUS 18337 HAS SOUPS 18337 WITH SCORE 18356.931
AT ITER 514 NEW BEST:: SOT 76784 SOS 19927 HAS SOPS 19927 HAS SOUS 18333 HAS SOUPS 18333 WITH SCORE 18352.927
AT ITER 517 NEW BEST:: SOT 76780 SOS 19923 HAS SOPS 19923 HAS SOUS 18329 HAS SOUPS 18329 WITH SCORE 18348.923
AT ITER 539 NEW BEST:: SOT 76779 SOS 19861 HAS SOPS 19861 HAS SOUS 18297 HAS SOUPS 18297 WITH SCORE 18316.861
AT ITER 544 NEW BEST:: SOT 76657 SOS 19809 HAS SOPS 19809 HAS SOUS 18218 HAS SOUPS 18218 WITH SCORE 18237.809
AT ITER 560 NEW BEST:: SOT 76651 SOS 19774 HAS SOPS 19774 HAS SOUS 18206 HAS SOUPS 18206 WITH SCORE 18225.774
AT ITER 579 NEW BEST:: SOT 76664 SOS 19772 HAS SOPS 19772 HAS SOUS 18204 HAS SOUPS 18204 WITH SCORE 18223.772
AT ITER 593 NEW BEST:: SOT 76664 SOS 19766 HAS SOPS 19766 HAS SOUS 18198 HAS SOUPS 18198 WITH SCORE 18217.766
AT ITER 607 NEW BEST:: SOT 76649 SOS 19803 HAS SOPS 19803 HAS SOUS 18191 HAS SOUPS 18191 WITH SCORE 18210.803
AT ITER 626 NEW BEST:: SOT 76636 SOS 19810 HAS SOPS 19810 HAS SOUS 18189 HAS SOUPS 18189 WITH SCORE 18208.81
AT ITER 630 NEW BEST:: SOT 76621 SOS 19780 HAS SOPS 19780 HAS SOUS 18174 HAS SOUPS 18174 WITH SCORE 18193.78
AT ITER 668 NEW BEST:: SOT 76608 SOS 19766 HAS SOPS 19766 HAS SOUS 18160 HAS SOUPS 18160 WITH SCORE 18179.766
AT ITER 721 NEW BEST:: SOT 76627 SOS 19752 HAS SOPS 19752 HAS SOUS 18153 HAS SOUPS 18153 WITH SCORE 18172.752
AT ITER 724 NEW BEST:: SOT 76588 SOS 19665 HAS SOPS 19665 HAS SOUS 18066 HAS SOUPS 18066 WITH SCORE 18085.665
AT ITER 737 NEW BEST:: SOT 76584 SOS 19661 HAS SOPS 19661 HAS SOUS 18066 HAS SOUPS 18066 WITH SCORE 18085.661
AT ITER 741 NEW BEST:: SOT 76584 SOS 19660 HAS SOPS 19660 HAS SOUS 18065 HAS SOUPS 18065 WITH SCORE 18084.66
AT ITER 752 NEW BEST:: SOT 76556 SOS 19606 HAS SOPS 19606 HAS SOUS 18011 HAS SOUPS 18011 WITH SCORE 18030.606
AT ITER 770 NEW BEST:: SOT 76550 SOS 19594 HAS SOPS 19594 HAS SOUS 17999 HAS SOUPS 17999 WITH SCORE 18018.594
AT ITER 792 NEW BEST:: SOT 76560 SOS 19576 HAS SOPS 19576 HAS SOUS 17990 HAS SOUPS 17990 WITH SCORE 18009.576
AT ITER 809 NEW BEST:: SOT 76555 SOS 19542 HAS SOPS 19542 HAS SOUS 17985 HAS SOUPS 17985 WITH SCORE 18004.542
AT ITER 845 NEW BEST:: SOT 76539 SOS 19517 HAS SOPS 19517 HAS SOUS 17960 HAS SOUPS 17960 WITH SCORE 17979.517
AT ITER 850 NEW BEST:: SOT 76539 SOS 19517 HAS SOPS 19517 HAS SOUS 17955 HAS SOUPS 17955 WITH SCORE 17974.517
AT ITER 918 NEW BEST:: SOT 76535 SOS 19505 HAS SOPS 19505 HAS SOUS 17947 HAS SOUPS 17947 WITH SCORE 17966.505
AT ITER 931 NEW BEST:: SOT 76535 SOS 19504 HAS SOPS 19504 HAS SOUS 17946 HAS SOUPS 17946 WITH SCORE 17965.504
AT ITER 943 NEW BEST:: SOT 76523 SOS 19472 HAS SOPS 19472 HAS SOUS 17914 HAS SOUPS 17914 WITH SCORE 17933.472
AT ITER 964 NEW BEST:: SOT 76552 SOS 19443 HAS SOPS 19443 HAS SOUS 17905 HAS SOUPS 17905 WITH SCORE 17924.443
AT ITER 973 NEW BEST:: SOT 76547 SOS 19440 HAS SOPS 19440 HAS SOUS 17902 HAS SOUPS 17902 WITH SCORE 17921.44
AT ITER 984 NEW BEST:: SOT 76525 SOS 19418 HAS SOPS 19418 HAS SOUS 17880 HAS SOUPS 17880 WITH SCORE 17899.418
AT ITER 1009 NEW BEST:: SOT 76505 SOS 19409 HAS SOPS 19409 HAS SOUS 17871 HAS SOUPS 17871 WITH SCORE 17890.409
AT ITER 1029 NEW BEST:: SOT 76394 SOS 19394 HAS SOPS 19394 HAS SOUS 17831 HAS SOUPS 17831 WITH SCORE 17850.394
AT ITER 1041 NEW BEST:: SOT 76394 SOS 19383 HAS SOPS 19383 HAS SOUS 17824 HAS SOUPS 17824 WITH SCORE 17843.383
AT ITER 1050 NEW BEST:: SOT 76393 SOS 19382 HAS SOPS 19382 HAS SOUS 17823 HAS SOUPS 17823 WITH SCORE 17842.382
AT ITER 1076 NEW BEST:: SOT 76389 SOS 19373 HAS SOPS 19373 HAS SOUS 17818 HAS SOUPS 17818 WITH SCORE 17837.373
AT ITER 1096 NEW BEST:: SOT 76389 SOS 19347 HAS SOPS 19347 HAS SOUS 17807 HAS SOUPS 17807 WITH SCORE 17826.347
AT ITER 1102 NEW BEST:: SOT 76389 SOS 19343 HAS SOPS 19343 HAS SOUS 17803 HAS SOUPS 17803 WITH SCORE 17822.343
AT ITER 1109 NEW BEST:: SOT 76387 SOS 19341 HAS SOPS 19341 HAS SOUS 17801 HAS SOUPS 17801 WITH SCORE 17820.341
AT ITER 1119 NEW BEST:: SOT 76376 SOS 19312 HAS SOPS 19312 HAS SOUS 17772 HAS SOUPS 17772 WITH SCORE 17791.312
AT ITER 1125 NEW BEST:: SOT 76376 SOS 19311 HAS SOPS 19311 HAS SOUS 17771 HAS SOUPS 17771 WITH SCORE 17790.311
AT ITER 1138 NEW BEST:: SOT 76361 SOS 19322 HAS SOPS 19322 HAS SOUS 17769 HAS SOUPS 17769 WITH SCORE 17788.322
AT ITER 1148 NEW BEST:: SOT 76293 SOS 19288 HAS SOPS 19288 HAS SOUS 17735 HAS SOUPS 17735 WITH SCORE 17754.288
AT ITER 1160 NEW BEST:: SOT 76288 SOS 19278 HAS SOPS 19278 HAS SOUS 17725 HAS SOUPS 17725 WITH SCORE 17744.278
AT ITER 1162 NEW BEST:: SOT 76250 SOS 19240 HAS SOPS 19240 HAS SOUS 17687 HAS SOUPS 17687 WITH SCORE 17706.24
AT ITER 1172 NEW BEST:: SOT 76233 SOS 19174 HAS SOPS 19174 HAS SOUS 17621 HAS SOUPS 17621 WITH SCORE 17640.174
AT ITER 1239 NEW BEST:: SOT 76216 SOS 19095 HAS SOPS 19095 HAS SOUS 17542 HAS SOUPS 17542 WITH SCORE 17561.095
AT ITER 1257 NEW BEST:: SOT 76222 SOS 19089 HAS SOPS 19089 HAS SOUS 17542 HAS SOUPS 17542 WITH SCORE 17561.089
AT ITER 1286 NEW BEST:: SOT 76242 SOS 19126 HAS SOPS 19126 HAS SOUS 17539 HAS SOUPS 17539 WITH SCORE 17558.126
AT ITER 1304 NEW BEST:: SOT 76276 SOS 19064 HAS SOPS 19064 HAS SOUS 17508 HAS SOUPS 17508 WITH SCORE 17527.064
AT ITER 1315 NEW BEST:: SOT 76275 SOS 19006 HAS SOPS 19006 HAS SOUS 17450 HAS SOUPS 17450 WITH SCORE 17469.006
AT ITER 1354 NEW BEST:: SOT 76291 SOS 19003 HAS SOPS 19003 HAS SOUS 17447 HAS SOUPS 17447 WITH SCORE 17466.003
AT ITER 1401 NEW BEST:: SOT 76279 SOS 18958 HAS SOPS 18958 HAS SOUS 17428 HAS SOUPS 17428 WITH SCORE 17446.958
AT ITER 1404 NEW BEST:: SOT 76281 SOS 18955 HAS SOPS 18955 HAS SOUS 17425 HAS SOUPS 17425 WITH SCORE 17443.955
AT ITER 1431 NEW BEST:: SOT 76281 SOS 18955 HAS SOPS 18955 HAS SOUS 17415 HAS SOUPS 17415 WITH SCORE 17433.955
AT ITER 1443 NEW BEST:: SOT 76281 SOS 18944 HAS SOPS 18944 HAS SOUS 17404 HAS SOUPS 17404 WITH SCORE 17422.944
AT ITER 1512 NEW BEST:: SOT 76254 SOS 18917 HAS SOPS 18917 HAS SOUS 17377 HAS SOUPS 17377 WITH SCORE 17395.917
AT ITER 1531 NEW BEST:: SOT 76271 SOS 18893 HAS SOPS 18893 HAS SOUS 17353 HAS SOUPS 17353 WITH SCORE 17371.893
AT ITER 1538 NEW BEST:: SOT 76271 SOS 18882 HAS SOPS 18882 HAS SOUS 17342 HAS SOUPS 17342 WITH SCORE 17360.882
AT ITER 1548 NEW BEST:: SOT 76238 SOS 18816 HAS SOPS 18816 HAS SOUS 17309 HAS SOUPS 17309 WITH SCORE 17327.816
AT ITER 1552 NEW BEST:: SOT 76236 SOS 18812 HAS SOPS 18812 HAS SOUS 17305 HAS SOUPS 17305 WITH SCORE 17323.812
AT ITER 1555 NEW BEST:: SOT 76271 SOS 18815 HAS SOPS 18815 HAS SOUS 17251 HAS SOUPS 17251 WITH SCORE 17269.815
AT ITER 1578 NEW BEST:: SOT 76264 SOS 18794 HAS SOPS 18794 HAS SOUS 17251 HAS SOUPS 17251 WITH SCORE 17269.794
AT ITER 1582 NEW BEST:: SOT 76250 SOS 18752 HAS SOPS 18752 HAS SOUS 17223 HAS SOUPS 17223 WITH SCORE 17241.752
AT ITER 1610 NEW BEST:: SOT 76250 SOS 18752 HAS SOPS 18752 HAS SOUS 17222 HAS SOUPS 17222 WITH SCORE 17240.752
AT ITER 1614 NEW BEST:: SOT 76249 SOS 18749 HAS SOPS 18749 HAS SOUS 17220 HAS SOUPS 17220 WITH SCORE 17238.749
AT ITER 1618 NEW BEST:: SOT 76245 SOS 18741 HAS SOPS 18741 HAS SOUS 17204 HAS SOUPS 17204 WITH SCORE 17222.741
AT ITER 1620 NEW BEST:: SOT 76243 SOS 18728 HAS SOPS 18728 HAS SOUS 17191 HAS SOUPS 17191 WITH SCORE 17209.728
AT ITER 1636 NEW BEST:: SOT 76251 SOS 18699 HAS SOPS 18699 HAS SOUS 17173 HAS SOUPS 17173 WITH SCORE 17191.699
AT ITER 1671 NEW BEST:: SOT 76251 SOS 18686 HAS SOPS 18686 HAS SOUS 17160 HAS SOUPS 17160 WITH SCORE 17178.686
AT ITER 1681 NEW BEST:: SOT 76226 SOS 18661 HAS SOPS 18661 HAS SOUS 17135 HAS SOUPS 17135 WITH SCORE 17153.661
AT ITER 1687 NEW BEST:: SOT 76226 SOS 18652 HAS SOPS 18652 HAS SOUS 17126 HAS SOUPS 17126 WITH SCORE 17144.652
AT ITER 1695 NEW BEST:: SOT 76222 SOS 18648 HAS SOPS 18648 HAS SOUS 17124 HAS SOUPS 17124 WITH SCORE 17142.648
AT ITER 1697 NEW BEST:: SOT 76222 SOS 18568 HAS SOPS 18568 HAS SOUS 17084 HAS SOUPS 17084 WITH SCORE 17102.568
AT ITER 1745 NEW BEST:: SOT 76230 SOS 18567 HAS SOPS 18567 HAS SOUS 17083 HAS SOUPS 17083 WITH SCORE 17101.567
AT ITER 1750 NEW BEST:: SOT 76230 SOS 18559 HAS SOPS 18559 HAS SOUS 17075 HAS SOUPS 17075 WITH SCORE 17093.559
AT ITER 1757 NEW BEST:: SOT 76246 SOS 18599 HAS SOPS 18599 HAS SOUS 17039 HAS SOUPS 17039 WITH SCORE 17057.599
AT ITER 1761 NEW BEST:: SOT 76246 SOS 18593 HAS SOPS 18593 HAS SOUS 17033 HAS SOUPS 17033 WITH SCORE 17051.593
AT ITER 1809 NEW BEST:: SOT 76222 SOS 18611 HAS SOPS 18611 HAS SOUS 17031 HAS SOUPS 17031 WITH SCORE 17049.611
AT ITER 1835 NEW BEST:: SOT 76216 SOS 18603 HAS SOPS 18603 HAS SOUS 17023 HAS SOUPS 17023 WITH SCORE 17041.603
AT ITER 1894 NEW BEST:: SOT 76185 SOS 18533 HAS SOPS 18533 HAS SOUS 16984 HAS SOUPS 16984 WITH SCORE 17002.533
AT ITER 1898 NEW BEST:: SOT 76206 SOS 18554 HAS SOPS 18554 HAS SOUS 16973 HAS SOUPS 16973 WITH SCORE 16991.554
AT ITER 1954 NEW BEST:: SOT 76239 SOS 18587 HAS SOPS 18587 HAS SOUS 16972 HAS SOUPS 16972 WITH SCORE 16990.587
AT ITER 1962 NEW BEST:: SOT 76214 SOS 18544 HAS SOPS 18544 HAS SOUS 16929 HAS SOUPS 16929 WITH SCORE 16947.544
AT ITER 2041 NEW BEST:: SOT 76214 SOS 18524 HAS SOPS 18524 HAS SOUS 16919 HAS SOUPS 16919 WITH SCORE 16937.524
AT ITER 2045 NEW BEST:: SOT 76256 SOS 18520 HAS SOPS 18520 HAS SOUS 16915 HAS SOUPS 16915 WITH SCORE 16933.52
AT ITER 2085 NEW BEST:: SOT 76194 SOS 18473 HAS SOPS 18473 HAS SOUS 16868 HAS SOUPS 16868 WITH SCORE 16886.473
AT ITER 2143 NEW BEST:: SOT 76167 SOS 18393 HAS SOPS 18393 HAS SOUS 16788 HAS SOUPS 16788 WITH SCORE 16806.393
AT ITER 2191 NEW BEST:: SOT 76167 SOS 18393 HAS SOPS 18393 HAS SOUS 16784 HAS SOUPS 16784 WITH SCORE 16802.393
AT ITER 2213 NEW BEST:: SOT 76116 SOS 18326 HAS SOPS 18326 HAS SOUS 16764 HAS SOUPS 16764 WITH SCORE 16782.326
AT ITER 2228 NEW BEST:: SOT 76076 SOS 18314 HAS SOPS 18314 HAS SOUS 16752 HAS SOUPS 16752 WITH SCORE 16770.314
AT ITER 2231 NEW BEST:: SOT 76082 SOS 18195 HAS SOPS 18195 HAS SOUS 16689 HAS SOUPS 16689 WITH SCORE 16707.195
AT ITER 2249 NEW BEST:: SOT 76083 SOS 18194 HAS SOPS 18194 HAS SOUS 16688 HAS SOUPS 16688 WITH SCORE 16706.194
AT ITER 2257 NEW BEST:: SOT 76080 SOS 18178 HAS SOPS 18178 HAS SOUS 16642 HAS SOUPS 16642 WITH SCORE 16660.178
AT ITER 2262 NEW BEST:: SOT 76059 SOS 18112 HAS SOPS 18112 HAS SOUS 16600 HAS SOUPS 16600 WITH SCORE 16618.112
AT ITER 2273 NEW BEST:: SOT 76059 SOS 18108 HAS SOPS 18108 HAS SOUS 16596 HAS SOUPS 16596 WITH SCORE 16614.108
AT ITER 2307 NEW BEST:: SOT 76026 SOS 18009 HAS SOPS 18009 HAS SOUS 16525 HAS SOUPS 16525 WITH SCORE 16543.009
AT ITER 2329 NEW BEST:: SOT 76018 SOS 18042 HAS SOPS 18042 HAS SOUS 16517 HAS SOUPS 16517 WITH SCORE 16535.042
AT ITER 2334 NEW BEST:: SOT 76018 SOS 18032 HAS SOPS 18032 HAS SOUS 16507 HAS SOUPS 16507 WITH SCORE 16525.032
AT ITER 2365 NEW BEST:: SOT 75984 SOS 18034 HAS SOPS 18034 HAS SOUS 16473 HAS SOUPS 16473 WITH SCORE 16491.034
AT ITER 2400 NEW BEST:: SOT 75977 SOS 18046 HAS SOPS 18046 HAS SOUS 16466 HAS SOUPS 16466 WITH SCORE 16484.046
AT ITER 2411 NEW BEST:: SOT 75957 SOS 18021 HAS SOPS 18021 HAS SOUS 16461 HAS SOUPS 16461 WITH SCORE 16479.021
AT ITER 2419 NEW BEST:: SOT 75913 SOS 17994 HAS SOPS 17994 HAS SOUS 16417 HAS SOUPS 16417 WITH SCORE 16434.994
AT ITER 2421 NEW BEST:: SOT 75952 SOS 17978 HAS SOPS 17978 HAS SOUS 16401 HAS SOUPS 16401 WITH SCORE 16418.978
AT ITER 2432 NEW BEST:: SOT 75951 SOS 17961 HAS SOPS 17961 HAS SOUS 16391 HAS SOUPS 16391 WITH SCORE 16408.961
AT ITER 2476 NEW BEST:: SOT 75934 SOS 17927 HAS SOPS 17927 HAS SOUS 16374 HAS SOUPS 16374 WITH SCORE 16391.927
AT ITER 2481 NEW BEST:: SOT 75893 SOS 17845 HAS SOPS 17845 HAS SOUS 16311 HAS SOUPS 16311 WITH SCORE 16328.845
AT ITER 2494 NEW BEST:: SOT 75904 SOS 17842 HAS SOPS 17842 HAS SOUS 16297 HAS SOUPS 16297 WITH SCORE 16314.842
AT ITER 2527 NEW BEST:: SOT 75868 SOS 17838 HAS SOPS 17838 HAS SOUS 16293 HAS SOUPS 16293 WITH SCORE 16310.838
AT ITER 2529 NEW BEST:: SOT 75868 SOS 17827 HAS SOPS 17827 HAS SOUS 16293 HAS SOUPS 16293 WITH SCORE 16310.827
AT ITER 2531 NEW BEST:: SOT 75855 SOS 17783 HAS SOPS 17783 HAS SOUS 16255 HAS SOUPS 16255 WITH SCORE 16272.783
AT ITER 2565 NEW BEST:: SOT 75855 SOS 17781 HAS SOPS 17781 HAS SOUS 16255 HAS SOUPS 16255 WITH SCORE 16272.781
AT ITER 2575 NEW BEST:: SOT 75851 SOS 17777 HAS SOPS 17777 HAS SOUS 16255 HAS SOUPS 16255 WITH SCORE 16272.777
AT ITER 2581 NEW BEST:: SOT 75836 SOS 17732 HAS SOPS 17732 HAS SOUS 16222 HAS SOUPS 16222 WITH SCORE 16239.732
AT ITER 2584 NEW BEST:: SOT 75828 SOS 17724 HAS SOPS 17724 HAS SOUS 16214 HAS SOUPS 16214 WITH SCORE 16231.724
AT ITER 2624 NEW BEST:: SOT 75828 SOS 17715 HAS SOPS 17715 HAS SOUS 16150 HAS SOUPS 16150 WITH SCORE 16167.715
AT ITER 2652 NEW BEST:: SOT 75809 SOS 17585 HAS SOPS 17585 HAS SOUS 16092 HAS SOUPS 16092 WITH SCORE 16109.585
AT ITER 2672 NEW BEST:: SOT 75836 SOS 17506 HAS SOPS 17506 HAS SOUS 16055 HAS SOUPS 16055 WITH SCORE 16072.506
AT ITER 2675 NEW BEST:: SOT 75836 SOS 17505 HAS SOPS 17505 HAS SOUS 16054 HAS SOUPS 16054 WITH SCORE 16071.505
AT ITER 2703 NEW BEST:: SOT 75837 SOS 17474 HAS SOPS 17474 HAS SOUS 16044 HAS SOUPS 16044 WITH SCORE 16061.474
AT ITER 2780 NEW BEST:: SOT 75842 SOS 17468 HAS SOPS 17468 HAS SOUS 16038 HAS SOUPS 16038 WITH SCORE 16055.468
AT ITER 2793 NEW BEST:: SOT 75842 SOS 17417 HAS SOPS 17417 HAS SOUS 16038 HAS SOUPS 16038 WITH SCORE 16055.417
AT ITER 2893 NEW BEST:: SOT 75814 SOS 17334 HAS SOPS 17334 HAS SOUS 15955 HAS SOUPS 15955 WITH SCORE 15972.334
AT ITER 2913 NEW BEST:: SOT 75808 SOS 17328 HAS SOPS 17328 HAS SOUS 15955 HAS SOUPS 15955 WITH SCORE 15972.328
AT ITER 2934 NEW BEST:: SOT 75826 SOS 17365 HAS SOPS 17365 HAS SOUS 15954 HAS SOUPS 15954 WITH SCORE 15971.365
AT ITER 2960 NEW BEST:: SOT 75828 SOS 17253 HAS SOPS 17253 HAS SOUS 15943 HAS SOUPS 15943 WITH SCORE 15960.253
AT ITER 2999 NEW BEST:: SOT 75831 SOS 17259 HAS SOPS 17259 HAS SOUS 15933 HAS SOUPS 15933 WITH SCORE 15950.259
AT ITER 3027 NEW BEST:: SOT 75831 SOS 17273 HAS SOPS 17273 HAS SOUS 15932 HAS SOUPS 15932 WITH SCORE 15949.273
AT ITER 3114 NEW BEST:: SOT 75831 SOS 17272 HAS SOPS 17272 HAS SOUS 15931 HAS SOUPS 15931 WITH SCORE 15948.272
AT ITER 3160 NEW BEST:: SOT 75857 SOS 17323 HAS SOPS 17323 HAS SOUS 15901 HAS SOUPS 15901 WITH SCORE 15918.323
AT ITER 3178 NEW BEST:: SOT 75844 SOS 17284 HAS SOPS 17284 HAS SOUS 15862 HAS SOUPS 15862 WITH SCORE 15879.284
AT ITER 3196 NEW BEST:: SOT 75812 SOS 17371 HAS SOPS 17371 HAS SOUS 15853 HAS SOUPS 15853 WITH SCORE 15870.371
AT ITER 3224 NEW BEST:: SOT 75811 SOS 17354 HAS SOPS 17354 HAS SOUS 15820 HAS SOUPS 15820 WITH SCORE 15837.354
AT ITER 3236 NEW BEST:: SOT 75791 SOS 17314 HAS SOPS 17314 HAS SOUS 15800 HAS SOUPS 15800 WITH SCORE 15817.314
AT ITER 3241 NEW BEST:: SOT 75791 SOS 17305 HAS SOPS 17305 HAS SOUS 15791 HAS SOUPS 15791 WITH SCORE 15808.305
AT ITER 3257 NEW BEST:: SOT 75775 SOS 17276 HAS SOPS 17276 HAS SOUS 15778 HAS SOUPS 15778 WITH SCORE 15795.276
AT ITER 3307 NEW BEST:: SOT 75713 SOS 17252 HAS SOPS 17252 HAS SOUS 15754 HAS SOUPS 15754 WITH SCORE 15771.252
AT ITER 3355 NEW BEST:: SOT 75701 SOS 17216 HAS SOPS 17216 HAS SOUS 15730 HAS SOUPS 15730 WITH SCORE 15747.216
AT ITER 3375 NEW BEST:: SOT 75701 SOS 17211 HAS SOPS 17211 HAS SOUS 15725 HAS SOUPS 15725 WITH SCORE 15742.211
AT ITER 3384 NEW BEST:: SOT 75701 SOS 17211 HAS SOPS 17211 HAS SOUS 15721 HAS SOUPS 15721 WITH SCORE 15738.211
AT ITER 3396 NEW BEST:: SOT 75693 SOS 17195 HAS SOPS 17195 HAS SOUS 15713 HAS SOUPS 15713 WITH SCORE 15730.195
AT ITER 3433 NEW BEST:: SOT 75705 SOS 17174 HAS SOPS 17174 HAS SOUS 15692 HAS SOUPS 15692 WITH SCORE 15709.174
AT ITER 3460 NEW BEST:: SOT 75671 SOS 17067 HAS SOPS 17067 HAS SOUS 15599 HAS SOUPS 15599 WITH SCORE 15616.067
AT ITER 3484 NEW BEST:: SOT 75672 SOS 17140 HAS SOPS 17140 HAS SOUS 15587 HAS SOUPS 15587 WITH SCORE 15604.14
AT ITER 3496 NEW BEST:: SOT 75621 SOS 17087 HAS SOPS 17087 HAS SOUS 15580 HAS SOUPS 15580 WITH SCORE 15597.087
AT ITER 3526 NEW BEST:: SOT 75621 SOS 17091 HAS SOPS 17091 HAS SOUS 15544 HAS SOUPS 15544 WITH SCORE 15561.091
AT ITER 3546 NEW BEST:: SOT 75619 SOS 17080 HAS SOPS 17080 HAS SOUS 15544 HAS SOUPS 15544 WITH SCORE 15561.08
AT ITER 3553 NEW BEST:: SOT 75618 SOS 17077 HAS SOPS 17077 HAS SOUS 15542 HAS SOUPS 15542 WITH SCORE 15559.077
AT ITER 3615 NEW BEST:: SOT 75618 SOS 17070 HAS SOPS 17070 HAS SOUS 15535 HAS SOUPS 15535 WITH SCORE 15552.07
AT ITER 3674 NEW BEST:: SOT 75608 SOS 17082 HAS SOPS 17082 HAS SOUS 15531 HAS SOUPS 15531 WITH SCORE 15548.082
AT ITER 3697 NEW BEST:: SOT 75608 SOS 17075 HAS SOPS 17075 HAS SOUS 15528 HAS SOUPS 15528 WITH SCORE 15545.075
AT ITER 3701 NEW BEST:: SOT 75615 SOS 17049 HAS SOPS 17049 HAS SOUS 15517 HAS SOUPS 15517 WITH SCORE 15534.049
AT ITER 3710 NEW BEST:: SOT 75615 SOS 17048 HAS SOPS 17048 HAS SOUS 15517 HAS SOUPS 15517 WITH SCORE 15534.048
AT ITER 3715 NEW BEST:: SOT 75581 SOS 17014 HAS SOPS 17014 HAS SOUS 15483 HAS SOUPS 15483 WITH SCORE 15500.014
AT ITER 3746 NEW BEST:: SOT 75581 SOS 16995 HAS SOPS 16995 HAS SOUS 15483 HAS SOUPS 15483 WITH SCORE 15499.995
AT ITER 3779 NEW BEST:: SOT 75581 SOS 16990 HAS SOPS 16990 HAS SOUS 15478 HAS SOUPS 15478 WITH SCORE 15494.99
AT ITER 3785 NEW BEST:: SOT 75545 SOS 16962 HAS SOPS 16962 HAS SOUS 15450 HAS SOUPS 15450 WITH SCORE 15466.962
AT ITER 3792 NEW BEST:: SOT 75544 SOS 16960 HAS SOPS 16960 HAS SOUS 15447 HAS SOUPS 15447 WITH SCORE 15463.96
AT ITER 3811 NEW BEST:: SOT 75533 SOS 16915 HAS SOPS 16915 HAS SOUS 15430 HAS SOUPS 15430 WITH SCORE 15446.915
AT ITER 3852 NEW BEST:: SOT 75473 SOS 16892 HAS SOPS 16892 HAS SOUS 15407 HAS SOUPS 15407 WITH SCORE 15423.892
AT ITER 3860 NEW BEST:: SOT 75458 SOS 16818 HAS SOPS 16818 HAS SOUS 15362 HAS SOUPS 15362 WITH SCORE 15378.818
AT ITER 3862 NEW BEST:: SOT 75448 SOS 16806 HAS SOPS 16806 HAS SOUS 15356 HAS SOUPS 15356 WITH SCORE 15372.806
AT ITER 3895 NEW BEST:: SOT 75439 SOS 16746 HAS SOPS 16746 HAS SOUS 15323 HAS SOUPS 15323 WITH SCORE 15339.746
AT ITER 3932 NEW BEST:: SOT 75439 SOS 16735 HAS SOPS 16735 HAS SOUS 15311 HAS SOUPS 15311 WITH SCORE 15327.735
AT ITER 3959 NEW BEST:: SOT 75439 SOS 16721 HAS SOPS 16721 HAS SOUS 15311 HAS SOUPS 15311 WITH SCORE 15327.721
AT ITER 3961 NEW BEST:: SOT 75364 SOS 16742 HAS SOPS 16742 HAS SOUS 15266 HAS SOUPS 15266 WITH SCORE 15282.742
AT ITER 3974 NEW BEST:: SOT 75377 SOS 16768 HAS SOPS 16768 HAS SOUS 15258 HAS SOUPS 15258 WITH SCORE 15274.768
AT ITER 4081 NEW BEST:: SOT 75372 SOS 16763 HAS SOPS 16763 HAS SOUS 15248 HAS SOUPS 15248 WITH SCORE 15264.763
AT ITER 4089 NEW BEST:: SOT 75372 SOS 16747 HAS SOPS 16747 HAS SOUS 15232 HAS SOUPS 15232 WITH SCORE 15248.747
AT ITER 4090 NEW BEST:: SOT 75370 SOS 16743 HAS SOPS 16743 HAS SOUS 15228 HAS SOUPS 15228 WITH SCORE 15244.743
AT ITER 4104 NEW BEST:: SOT 75369 SOS 16745 HAS SOPS 16745 HAS SOUS 15225 HAS SOUPS 15225 WITH SCORE 15241.745
AT ITER 4129 NEW BEST:: SOT 75326 SOS 16741 HAS SOPS 16741 HAS SOUS 15211 HAS SOUPS 15211 WITH SCORE 15227.741
AT ITER 4144 NEW BEST:: SOT 75322 SOS 16715 HAS SOPS 16715 HAS SOUS 15185 HAS SOUPS 15185 WITH SCORE 15201.715
AT ITER 4148 NEW BEST:: SOT 75318 SOS 16660 HAS SOPS 16660 HAS SOUS 15177 HAS SOUPS 15177 WITH SCORE 15193.66
AT ITER 4172 NEW BEST:: SOT 75344 SOS 16686 HAS SOPS 16686 HAS SOUS 15176 HAS SOUPS 15176 WITH SCORE 15192.686
AT ITER 4215 NEW BEST:: SOT 75338 SOS 16669 HAS SOPS 16669 HAS SOUS 15159 HAS SOUPS 15159 WITH SCORE 15175.669
AT ITER 4221 NEW BEST:: SOT 75330 SOS 16573 HAS SOPS 16573 HAS SOUS 15108 HAS SOUPS 15108 WITH SCORE 15124.573
AT ITER 4227 NEW BEST:: SOT 75311 SOS 16554 HAS SOPS 16554 HAS SOUS 15089 HAS SOUPS 15089 WITH SCORE 15105.554
AT ITER 4230 NEW BEST:: SOT 75311 SOS 16553 HAS SOPS 16553 HAS SOUS 15088 HAS SOUPS 15088 WITH SCORE 15104.553
AT ITER 4231 NEW BEST:: SOT 75309 SOS 16551 HAS SOPS 16551 HAS SOUS 15086 HAS SOUPS 15086 WITH SCORE 15102.551
AT ITER 4236 NEW BEST:: SOT 75304 SOS 16546 HAS SOPS 16546 HAS SOUS 15081 HAS SOUPS 15081 WITH SCORE 15097.546
AT ITER 4250 NEW BEST:: SOT 75289 SOS 16541 HAS SOPS 16541 HAS SOUS 15076 HAS SOUPS 15076 WITH SCORE 15092.541
AT ITER 4264 NEW BEST:: SOT 75280 SOS 16540 HAS SOPS 16540 HAS SOUS 15067 HAS SOUPS 15067 WITH SCORE 15083.54
AT ITER 4272 NEW BEST:: SOT 75271 SOS 16481 HAS SOPS 16481 HAS SOUS 15008 HAS SOUPS 15008 WITH SCORE 15024.481
AT ITER 4287 NEW BEST:: SOT 75230 SOS 16495 HAS SOPS 16495 HAS SOUS 14999 HAS SOUPS 14999 WITH SCORE 15015.495
AT ITER 4363 NEW BEST:: SOT 75218 SOS 16465 HAS SOPS 16465 HAS SOUS 14981 HAS SOUPS 14981 WITH SCORE 14997.465
AT ITER 4419 NEW BEST:: SOT 75218 SOS 16460 HAS SOPS 16460 HAS SOUS 14976 HAS SOUPS 14976 WITH SCORE 14992.46
AT ITER 4422 NEW BEST:: SOT 75214 SOS 16452 HAS SOPS 16452 HAS SOUS 14972 HAS SOUPS 14972 WITH SCORE 14988.452
AT ITER 4430 NEW BEST:: SOT 75214 SOS 16438 HAS SOPS 16438 HAS SOUS 14952 HAS SOUPS 14952 WITH SCORE 14968.438
AT ITER 4483 NEW BEST:: SOT 75253 SOS 16408 HAS SOPS 16408 HAS SOUS 14922 HAS SOUPS 14922 WITH SCORE 14938.408
AT ITER 4503 NEW BEST:: SOT 75238 SOS 16392 HAS SOPS 16392 HAS SOUS 14906 HAS SOUPS 14906 WITH SCORE 14922.392
AT ITER 4538 NEW BEST:: SOT 75255 SOS 16392 HAS SOPS 16392 HAS SOUS 14889 HAS SOUPS 14889 WITH SCORE 14905.392
AT ITER 4545 NEW BEST:: SOT 75255 SOS 16360 HAS SOPS 16360 HAS SOUS 14857 HAS SOUPS 14857 WITH SCORE 14873.36
AT ITER 4552 NEW BEST:: SOT 75283 SOS 16313 HAS SOPS 16313 HAS SOUS 14831 HAS SOUPS 14831 WITH SCORE 14847.313
AT ITER 4557 NEW BEST:: SOT 75283 SOS 16278 HAS SOPS 16278 HAS SOUS 14797 HAS SOUPS 14797 WITH SCORE 14813.278
AT ITER 4581 NEW BEST:: SOT 75283 SOS 16271 HAS SOPS 16271 HAS SOUS 14779 HAS SOUPS 14779 WITH SCORE 14795.271
AT ITER 4588 NEW BEST:: SOT 75282 SOS 16258 HAS SOPS 16258 HAS SOUS 14777 HAS SOUPS 14777 WITH SCORE 14793.258
AT ITER 4612 NEW BEST:: SOT 75267 SOS 16237 HAS SOPS 16237 HAS SOUS 14756 HAS SOUPS 14756 WITH SCORE 14772.237
AT ITER 4620 NEW BEST:: SOT 75244 SOS 16191 HAS SOPS 16191 HAS SOUS 14710 HAS SOUPS 14710 WITH SCORE 14726.191
AT ITER 4665 NEW BEST:: SOT 75243 SOS 16138 HAS SOPS 16138 HAS SOUS 14704 HAS SOUPS 14704 WITH SCORE 14720.138
AT ITER 4683 NEW BEST:: SOT 75244 SOS 16105 HAS SOPS 16105 HAS SOUS 14681 HAS SOUPS 14681 WITH SCORE 14697.105
AT ITER 4741 NEW BEST:: SOT 75248 SOS 16103 HAS SOPS 16103 HAS SOUS 14679 HAS SOUPS 14679 WITH SCORE 14695.103
AT ITER 4800 NEW BEST:: SOT 75244 SOS 16095 HAS SOPS 16095 HAS SOUS 14671 HAS SOUPS 14671 WITH SCORE 14687.095
AT ITER 4821 NEW BEST:: SOT 75193 SOS 16060 HAS SOPS 16060 HAS SOUS 14636 HAS SOUPS 14636 WITH SCORE 14652.06
AT ITER 4836 NEW BEST:: SOT 75189 SOS 16064 HAS SOPS 16064 HAS SOUS 14632 HAS SOUPS 14632 WITH SCORE 14648.064
AT ITER 4859 NEW BEST:: SOT 75180 SOS 16045 HAS SOPS 16045 HAS SOUS 14613 HAS SOUPS 14613 WITH SCORE 14629.045
AT ITER 4950 NEW BEST:: SOT 75181 SOS 16006 HAS SOPS 16006 HAS SOUS 14613 HAS SOUPS 14613 WITH SCORE 14629.006
AT ITER 4991 NEW BEST:: SOT 75176 SOS 16004 HAS SOPS 16004 HAS SOUS 14611 HAS SOUPS 14611 WITH SCORE 14627.004
Bounds file is: CTLFireability.xml
PROPERTY: ShieldPPPt-PT-005B-CTLFireability-00 (AU( ( ( ((potential((tk(P188)>=1) & (tk(P298)>=1)))) | ((potential((tk(P52)>=1)))) ) & ( (! ((potential((tk(P274)>=1))))) & (! ((potential((tk(P374)>=1))))) ) ) , ( (EG( ((potential((tk(P175)>=1)))))) | (EF( ((potential((tk(P212)>=1)))))) ) ))
PROPERTY: ShieldPPPt-PT-005B-CTLFireability-01 ( ( ( (AU( ((potential((tk(P202)>=1)))) , ((potential((tk(P318)>=1)))) )) | (EX( (! ((potential((tk(P132)>=1))))))) ) | (! ( (AF( ((potential((tk(P15)>=1)))))) & ((potential((tk(P292)>=1)))) )) ) & (AF( (AU( ((potential((tk(P6)>=1) & (tk(P67)>=1)))) , ((potential((tk(P286)>=1)))) )))) )
PROPERTY: ShieldPPPt-PT-005B-CTLFireability-02 (EF( (EU( ( ((potential((tk(P66)>=1)))) & ((potential((tk(P97)>=1) & (tk(P133)>=1)))) ) , ( ((potential((tk(P146)>=1)))) | ((potential((tk(P355)>=1)))) ) ))))
PROPERTY: ShieldPPPt-PT-005B-CTLFireability-03 (EG( (EG( (AF( ((potential((tk(P251)>=1) & (tk(P287)>=1))))))))))
PROPERTY: ShieldPPPt-PT-005B-CTLFireability-04 (EF( ( ( (AG( ((potential((tk(P337)>=1)))))) & ((potential((tk(P29)>=1)))) ) | (EG( ( ((potential((tk(P120)>=1)))) & ((potential((tk(P18)>=1)))) ))) )))
PROPERTY: ShieldPPPt-PT-005B-CTLFireability-05 (! (EU( (EX( ((potential((tk(P244)>=1)))))) , (EF( ((potential((tk(P126)>=1)))))) )))
PROPERTY: ShieldPPPt-PT-005B-CTLFireability-06 (AF( (EF( ((potential((tk(P55)>=1))))))))
PROPERTY: ShieldPPPt-PT-005B-CTLFireability-07 (EF( ((potential((tk(P276)>=1) & (tk(P335)>=1))))))
PROPERTY: ShieldPPPt-PT-005B-CTLFireability-08 ( (AU( (AF( ((potential((tk(P23)>=1) & (tk(P50)>=1)))))) , ((potential((tk(P272)>=1)))) )) & ( (! (AU( ((potential((tk(P271)>=1) & (tk(P269)>=1)))) , ((potential((tk(P12)>=1)))) ))) | ( ( ((potential((tk(P78)>=1)))) | (AF( ((potential((tk(P91)>=1)))))) ) | (! (AG( ((potential((tk(P312)>=1))))))) ) ) )
PROPERTY: ShieldPPPt-PT-005B-CTLFireability-09 (AF( ( (! ( (! ((potential((tk(P360)>=1))))) | ( ((potential((tk(P276)>=1) & (tk(P335)>=1)))) | ((potential((tk(P297)>=1)))) ) )) & ( ((potential((tk(P352)>=1)))) & ( ((potential((tk(P318)>=1)))) & (! ((potential((tk(P219)>=1))))) ) ) )))
PROPERTY: ShieldPPPt-PT-005B-CTLFireability-10 ( ( ( (EF( ( ((potential((tk(P250)>=1) & (tk(P291)>=1)))) & ((potential((tk(P194)>=1) & (tk(P192)>=1)))) ))) | (AU( ((potential((tk(P249)>=1)))) , ((potential((tk(P36)>=1)))) )) ) | (! ( (EF( ((potential((tk(P100)>=1) & (tk(P127)>=1)))))) | ( ( ((potential((tk(P275)>=1)))) & ((potential((tk(P100)>=1) & (tk(P127)>=1)))) ) | ( ((potential((tk(P166)>=1)))) & ((potential((tk(P323)>=1)))) ) ) )) ) & (EF( (! ( (! ((potential((tk(P290)>=1))))) & ((potential((tk(P57)>=1)))) )))) )
PROPERTY: ShieldPPPt-PT-005B-CTLFireability-11 (AU( (! (EF( ((potential((tk(P191)>=1) & (tk(P238)>=1))))))) , ( ((potential((tk(P206)>=1)))) | ( ((potential((tk(P145)>=1)))) | ( ((potential((tk(P336)>=1)))) | ((potential((tk(P213)>=1)))) ) ) ) ))
PROPERTY: ShieldPPPt-PT-005B-CTLFireability-12 ( ( ( (EX( ((potential((tk(P110)>=1) & (tk(P108)>=1)))))) & (EG( ((potential((tk(P70)>=1)))))) ) | (AG( ( ( ((potential((tk(P227)>=1)))) | ((potential((tk(P360)>=1)))) ) | (! ((potential((tk(P373)>=1))))) ))) ) | (EX( (AX( ( ((potential((tk(P65)>=1)))) & ((potential((tk(P351)>=1)))) ))))) )
PROPERTY: ShieldPPPt-PT-005B-CTLFireability-13 ( ( ( ( (EX( ((potential((tk(P232)>=1)))))) | (AG( ((potential((tk(P202)>=1)))))) ) | ( ( (! ((potential((tk(P120)>=1))))) & (! ((potential((tk(P47)>=1))))) ) & (AF( ((potential((tk(P275)>=1)))))) ) ) | (AF( (EG( ((potential((tk(P59)>=1)))))))) ) & ( (! ((potential((tk(P267)>=1))))) | (EX( ( ( ((potential((tk(P304)>=1)))) & ((potential((tk(P366)>=1)))) ) | ( ((potential((tk(P61)>=1)))) | ((potential((tk(P106)>=1)))) ) ))) ) )
PROPERTY: ShieldPPPt-PT-005B-CTLFireability-14 (AU( (AG( ( ((potential((tk(P44)>=1)))) & ((potential((tk(P327)>=1) & (tk(P368)>=1)))) ))) , (AF( ( ((potential((tk(P47)>=1)))) & ((potential((tk(P118)>=1)))) ))) ))
PROPERTY: ShieldPPPt-PT-005B-CTLFireability-15 (AU( (EX( ((potential((tk(P313)>=1)))))) , (AF( ( ((potential((tk(P43)>=1)))) | ((potential((tk(P81)>=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="ShieldPPPt-PT-005B"
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 ShieldPPPt-PT-005B, 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 r207-tajo-159033469800644"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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