Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902541600012.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 CloudReconfiguration-PT-302, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902541600012
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 852K
-rw-r--r-- 1 mcc users 4.4K Mar 30 01:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Mar 30 01:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Mar 28 16:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K Mar 28 16:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.1K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 8 14:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Mar 27 08:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 27 08:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 26 08:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 26 08:13 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 660K 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 CloudReconfiguration-PT-302-CTLFireability-00
FORMULA_NAME CloudReconfiguration-PT-302-CTLFireability-01
FORMULA_NAME CloudReconfiguration-PT-302-CTLFireability-02
FORMULA_NAME CloudReconfiguration-PT-302-CTLFireability-03
FORMULA_NAME CloudReconfiguration-PT-302-CTLFireability-04
FORMULA_NAME CloudReconfiguration-PT-302-CTLFireability-05
FORMULA_NAME CloudReconfiguration-PT-302-CTLFireability-06
FORMULA_NAME CloudReconfiguration-PT-302-CTLFireability-07
FORMULA_NAME CloudReconfiguration-PT-302-CTLFireability-08
FORMULA_NAME CloudReconfiguration-PT-302-CTLFireability-09
FORMULA_NAME CloudReconfiguration-PT-302-CTLFireability-10
FORMULA_NAME CloudReconfiguration-PT-302-CTLFireability-11
FORMULA_NAME CloudReconfiguration-PT-302-CTLFireability-12
FORMULA_NAME CloudReconfiguration-PT-302-CTLFireability-13
FORMULA_NAME CloudReconfiguration-PT-302-CTLFireability-14
FORMULA_NAME CloudReconfiguration-PT-302-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589088016214

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 302
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: 2585 places, 3095 transitions, 6463 arcs.
AT ITER 0 NEW BEST:: SOT 4449289 SOS 709645 HAS SOPS 709645 HAS SOUS 687806 HAS SOUPS 687806 WITH SCORE 688515.645
AT ITER 53 NEW BEST:: SOT 4449007 SOS 709081 HAS SOPS 709081 HAS SOUS 687242 HAS SOUPS 687242 WITH SCORE 687951.081
AT ITER 56 NEW BEST:: SOT 4448935 SOS 709037 HAS SOPS 709037 HAS SOUS 687178 HAS SOUPS 687178 WITH SCORE 687887.037
AT ITER 64 NEW BEST:: SOT 4448877 SOS 708921 HAS SOPS 708921 HAS SOUS 687062 HAS SOUPS 687062 WITH SCORE 687770.921
AT ITER 71 NEW BEST:: SOT 4443518 SOS 734659 HAS SOPS 734659 HAS SOUS 683088 HAS SOUPS 683088 WITH SCORE 683822.659
AT ITER 131 NEW BEST:: SOT 4443071 SOS 734359 HAS SOPS 734359 HAS SOUS 682691 HAS SOUPS 682691 WITH SCORE 683425.359
AT ITER 151 NEW BEST:: SOT 4443071 SOS 734358 HAS SOPS 734358 HAS SOUS 682690 HAS SOUPS 682690 WITH SCORE 683424.358
AT ITER 164 NEW BEST:: SOT 4443071 SOS 734357 HAS SOPS 734357 HAS SOUS 682689 HAS SOUPS 682689 WITH SCORE 683423.357
AT ITER 176 NEW BEST:: SOT 4442899 SOS 734263 HAS SOPS 734263 HAS SOUS 682533 HAS SOUPS 682533 WITH SCORE 683267.263
AT ITER 181 NEW BEST:: SOT 4442899 SOS 734262 HAS SOPS 734262 HAS SOUS 682532 HAS SOUPS 682532 WITH SCORE 683266.262
AT ITER 184 NEW BEST:: SOT 4442676 SOS 734093 HAS SOPS 734093 HAS SOUS 682346 HAS SOUPS 682346 WITH SCORE 683080.093
AT ITER 196 NEW BEST:: SOT 4442714 SOS 733981 HAS SOPS 733981 HAS SOUS 682234 HAS SOUPS 682234 WITH SCORE 682967.981
AT ITER 216 NEW BEST:: SOT 4442272 SOS 733097 HAS SOPS 733097 HAS SOUS 681863 HAS SOUPS 681863 WITH SCORE 682596.097
AT ITER 233 NEW BEST:: SOT 4442028 SOS 732609 HAS SOPS 732609 HAS SOUS 681375 HAS SOUPS 681375 WITH SCORE 682107.609
AT ITER 276 NEW BEST:: SOT 4441945 SOS 732545 HAS SOPS 732545 HAS SOUS 681311 HAS SOUPS 681311 WITH SCORE 682043.545
AT ITER 289 NEW BEST:: SOT 4441872 SOS 732399 HAS SOPS 732399 HAS SOUS 681238 HAS SOUPS 681238 WITH SCORE 681970.399
AT ITER 298 NEW BEST:: SOT 4441858 SOS 732357 HAS SOPS 732357 HAS SOUS 681210 HAS SOUPS 681210 WITH SCORE 681942.357
AT ITER 321 NEW BEST:: SOT 4441626 SOS 732125 HAS SOPS 732125 HAS SOUS 680978 HAS SOUPS 680978 WITH SCORE 681710.125
AT ITER 322 NEW BEST:: SOT 4441257 SOS 735767 HAS SOPS 735767 HAS SOUS 680747 HAS SOUPS 680747 WITH SCORE 681482.767
AT ITER 324 NEW BEST:: SOT 4441003 SOS 735576 HAS SOPS 735576 HAS SOUS 680493 HAS SOUPS 680493 WITH SCORE 681228.576
AT ITER 366 NEW BEST:: SOT 4440804 SOS 735178 HAS SOPS 735178 HAS SOUS 680095 HAS SOUPS 680095 WITH SCORE 680830.178
AT ITER 374 NEW BEST:: SOT 4440800 SOS 735170 HAS SOPS 735170 HAS SOUS 680087 HAS SOUPS 680087 WITH SCORE 680822.17
AT ITER 386 NEW BEST:: SOT 4440777 SOS 735293 HAS SOPS 735293 HAS SOUS 680041 HAS SOUPS 680041 WITH SCORE 680776.293
AT ITER 388 NEW BEST:: SOT 4440900 SOS 735111 HAS SOPS 735111 HAS SOUS 679950 HAS SOUPS 679950 WITH SCORE 680685.111
AT ITER 422 NEW BEST:: SOT 4440899 SOS 735109 HAS SOPS 735109 HAS SOUS 679948 HAS SOUPS 679948 WITH SCORE 680683.109
AT ITER 433 NEW BEST:: SOT 4440709 SOS 734729 HAS SOPS 734729 HAS SOUS 679568 HAS SOUPS 679568 WITH SCORE 680302.729
AT ITER 441 NEW BEST:: SOT 4440571 SOS 734587 HAS SOPS 734587 HAS SOUS 679561 HAS SOUPS 679561 WITH SCORE 680295.587
AT ITER 489 NEW BEST:: SOT 4440131 SOS 734147 HAS SOPS 734147 HAS SOUS 679121 HAS SOUPS 679121 WITH SCORE 679855.147
AT ITER 493 NEW BEST:: SOT 4440321 SOS 734021 HAS SOPS 734021 HAS SOUS 679058 HAS SOUPS 679058 WITH SCORE 679792.021
AT ITER 504 NEW BEST:: SOT 4440159 SOS 733697 HAS SOPS 733697 HAS SOUS 678734 HAS SOUPS 678734 WITH SCORE 679467.697
AT ITER 544 NEW BEST:: SOT 4440159 SOS 733631 HAS SOPS 733631 HAS SOUS 678668 HAS SOUPS 678668 WITH SCORE 679401.631
AT ITER 556 NEW BEST:: SOT 4439892 SOS 733603 HAS SOPS 733603 HAS SOUS 678499 HAS SOUPS 678499 WITH SCORE 679232.603
AT ITER 566 NEW BEST:: SOT 4439885 SOS 733625 HAS SOPS 733625 HAS SOUS 678492 HAS SOUPS 678492 WITH SCORE 679225.625
AT ITER 586 NEW BEST:: SOT 4439839 SOS 733579 HAS SOPS 733579 HAS SOUS 678446 HAS SOUPS 678446 WITH SCORE 679179.579
AT ITER 587 NEW BEST:: SOT 4439947 SOS 733524 HAS SOPS 733524 HAS SOUS 678391 HAS SOUPS 678391 WITH SCORE 679124.524
AT ITER 593 NEW BEST:: SOT 4439800 SOS 734110 HAS SOPS 734110 HAS SOUS 678375 HAS SOUPS 678375 WITH SCORE 679109.11
AT ITER 600 NEW BEST:: SOT 4439660 SOS 733830 HAS SOPS 733830 HAS SOUS 678095 HAS SOUPS 678095 WITH SCORE 678828.83
AT ITER 604 NEW BEST:: SOT 4439364 SOS 733542 HAS SOPS 733542 HAS SOUS 677799 HAS SOUPS 677799 WITH SCORE 678532.542
AT ITER 649 NEW BEST:: SOT 4439111 SOS 733337 HAS SOPS 733337 HAS SOUS 677594 HAS SOUPS 677594 WITH SCORE 678327.337
AT ITER 661 NEW BEST:: SOT 4439035 SOS 733185 HAS SOPS 733185 HAS SOUS 677442 HAS SOUPS 677442 WITH SCORE 678175.185
AT ITER 667 NEW BEST:: SOT 4438862 SOS 733206 HAS SOPS 733206 HAS SOUS 677170 HAS SOUPS 677170 WITH SCORE 677903.206
AT ITER 681 NEW BEST:: SOT 4438722 SOS 733066 HAS SOPS 733066 HAS SOUS 677030 HAS SOUPS 677030 WITH SCORE 677763.066
AT ITER 685 NEW BEST:: SOT 4438685 SOS 733029 HAS SOPS 733029 HAS SOUS 677030 HAS SOUPS 677030 WITH SCORE 677763.029
AT ITER 694 NEW BEST:: SOT 4438431 SOS 732521 HAS SOPS 732521 HAS SOUS 676522 HAS SOUPS 676522 WITH SCORE 677254.521
AT ITER 728 NEW BEST:: SOT 4438200 SOS 732323 HAS SOPS 732323 HAS SOUS 676324 HAS SOUPS 676324 WITH SCORE 677056.323
AT ITER 732 NEW BEST:: SOT 4438011 SOS 731945 HAS SOPS 731945 HAS SOUS 676135 HAS SOUPS 676135 WITH SCORE 676866.945
AT ITER 778 NEW BEST:: SOT 4437938 SOS 731461 HAS SOPS 731461 HAS SOUS 675761 HAS SOUPS 675761 WITH SCORE 676492.461
AT ITER 810 NEW BEST:: SOT 4437938 SOS 731461 HAS SOPS 731461 HAS SOUS 675758 HAS SOUPS 675758 WITH SCORE 676489.461
AT ITER 825 NEW BEST:: SOT 4437729 SOS 731043 HAS SOPS 731043 HAS SOUS 675318 HAS SOUPS 675318 WITH SCORE 676049.043
AT ITER 842 NEW BEST:: SOT 4437608 SOS 730867 HAS SOPS 730867 HAS SOUS 675131 HAS SOUPS 675131 WITH SCORE 675861.867
AT ITER 887 NEW BEST:: SOT 4437799 SOS 731249 HAS SOPS 731249 HAS SOUS 675108 HAS SOUPS 675108 WITH SCORE 675839.249
AT ITER 888 NEW BEST:: SOT 4437842 SOS 731108 HAS SOPS 731108 HAS SOUS 674967 HAS SOUPS 674967 WITH SCORE 675698.108
AT ITER 892 NEW BEST:: SOT 4437786 SOS 730996 HAS SOPS 730996 HAS SOUS 674855 HAS SOUPS 674855 WITH SCORE 675585.996
AT ITER 893 NEW BEST:: SOT 4437754 SOS 731033 HAS SOPS 731033 HAS SOUS 674823 HAS SOUPS 674823 WITH SCORE 675554.033
AT ITER 899 NEW BEST:: SOT 4437754 SOS 730870 HAS SOPS 730870 HAS SOUS 674823 HAS SOUPS 674823 WITH SCORE 675553.87
AT ITER 925 NEW BEST:: SOT 4437546 SOS 731024 HAS SOPS 731024 HAS SOUS 674727 HAS SOUPS 674727 WITH SCORE 675458.024
AT ITER 945 NEW BEST:: SOT 4437334 SOS 730812 HAS SOPS 730812 HAS SOUS 674515 HAS SOUPS 674515 WITH SCORE 675245.812
AT ITER 947 NEW BEST:: SOT 4437644 SOS 730832 HAS SOPS 730832 HAS SOUS 674390 HAS SOUPS 674390 WITH SCORE 675120.832
AT ITER 948 NEW BEST:: SOT 4437597 SOS 730738 HAS SOPS 730738 HAS SOUS 674275 HAS SOUPS 674275 WITH SCORE 675005.738
AT ITER 1018 NEW BEST:: SOT 4437596 SOS 730736 HAS SOPS 730736 HAS SOUS 674273 HAS SOUPS 674273 WITH SCORE 675003.736
AT ITER 1030 NEW BEST:: SOT 4437481 SOS 730899 HAS SOPS 730899 HAS SOUS 674255 HAS SOUPS 674255 WITH SCORE 674985.899
AT ITER 1039 NEW BEST:: SOT 4437481 SOS 730856 HAS SOPS 730856 HAS SOUS 674255 HAS SOUPS 674255 WITH SCORE 674985.856
AT ITER 1050 NEW BEST:: SOT 4437557 SOS 731008 HAS SOPS 731008 HAS SOUS 674126 HAS SOUPS 674126 WITH SCORE 674857.008
AT ITER 1075 NEW BEST:: SOT 4437522 SOS 730938 HAS SOPS 730938 HAS SOUS 674056 HAS SOUPS 674056 WITH SCORE 674786.938
AT ITER 1085 NEW BEST:: SOT 4437528 SOS 730932 HAS SOPS 730932 HAS SOUS 674056 HAS SOUPS 674056 WITH SCORE 674786.932
AT ITER 1086 NEW BEST:: SOT 4437475 SOS 730962 HAS SOPS 730962 HAS SOUS 674019 HAS SOUPS 674019 WITH SCORE 674749.962
AT ITER 1103 NEW BEST:: SOT 4437247 SOS 730506 HAS SOPS 730506 HAS SOUS 673563 HAS SOUPS 673563 WITH SCORE 674293.506
AT ITER 1107 NEW BEST:: SOT 4435808 SOS 729126 HAS SOPS 729126 HAS SOUS 672183 HAS SOUPS 672183 WITH SCORE 672912.126
AT ITER 1112 NEW BEST:: SOT 4435680 SOS 728870 HAS SOPS 728870 HAS SOUS 671927 HAS SOUPS 671927 WITH SCORE 672655.87
AT ITER 1136 NEW BEST:: SOT 4435680 SOS 728869 HAS SOPS 728869 HAS SOUS 671925 HAS SOUPS 671925 WITH SCORE 672653.869
AT ITER 1151 NEW BEST:: SOT 4435421 SOS 728351 HAS SOPS 728351 HAS SOUS 671407 HAS SOUPS 671407 WITH SCORE 672135.351
AT ITER 1153 NEW BEST:: SOT 4435229 SOS 727967 HAS SOPS 727967 HAS SOUS 670767 HAS SOUPS 670767 WITH SCORE 671494.967
AT ITER 1158 NEW BEST:: SOT 4435221 SOS 727959 HAS SOPS 727959 HAS SOUS 670759 HAS SOUPS 670759 WITH SCORE 671486.959
AT ITER 1163 NEW BEST:: SOT 4435017 SOS 727770 HAS SOPS 727770 HAS SOUS 670569 HAS SOUPS 670569 WITH SCORE 671296.77
AT ITER 1165 NEW BEST:: SOT 4435017 SOS 727652 HAS SOPS 727652 HAS SOUS 670451 HAS SOUPS 670451 WITH SCORE 671178.652
AT ITER 1171 NEW BEST:: SOT 4434961 SOS 727540 HAS SOPS 727540 HAS SOUS 670339 HAS SOUPS 670339 WITH SCORE 671066.54
AT ITER 1180 NEW BEST:: SOT 4434883 SOS 727384 HAS SOPS 727384 HAS SOUS 670183 HAS SOUPS 670183 WITH SCORE 670910.384
AT ITER 1191 NEW BEST:: SOT 4434883 SOS 727383 HAS SOPS 727383 HAS SOUS 670182 HAS SOUPS 670182 WITH SCORE 670909.383
AT ITER 1203 NEW BEST:: SOT 4434883 SOS 727383 HAS SOPS 727383 HAS SOUS 670011 HAS SOUPS 670011 WITH SCORE 670738.383
AT ITER 1213 NEW BEST:: SOT 4434851 SOS 727319 HAS SOPS 727319 HAS SOUS 669979 HAS SOUPS 669979 WITH SCORE 670706.319
AT ITER 1228 NEW BEST:: SOT 4434851 SOS 727248 HAS SOPS 727248 HAS SOUS 669908 HAS SOUPS 669908 WITH SCORE 670635.248
AT ITER 1246 NEW BEST:: SOT 4434711 SOS 726968 HAS SOPS 726968 HAS SOUS 669628 HAS SOUPS 669628 WITH SCORE 670354.968
AT ITER 1251 NEW BEST:: SOT 4434676 SOS 726933 HAS SOPS 726933 HAS SOUS 669593 HAS SOUPS 669593 WITH SCORE 670319.933
AT ITER 1254 NEW BEST:: SOT 4434659 SOS 727176 HAS SOPS 727176 HAS SOUS 669576 HAS SOUPS 669576 WITH SCORE 670303.176
AT ITER 1260 NEW BEST:: SOT 4435262 SOS 728382 HAS SOPS 728382 HAS SOUS 669573 HAS SOUPS 669573 WITH SCORE 670301.382
AT ITER 1265 NEW BEST:: SOT 4434736 SOS 728249 HAS SOPS 728249 HAS SOUS 669320 HAS SOUPS 669320 WITH SCORE 670048.249
AT ITER 1272 NEW BEST:: SOT 4434642 SOS 728155 HAS SOPS 728155 HAS SOUS 669226 HAS SOUPS 669226 WITH SCORE 669954.155
AT ITER 1291 NEW BEST:: SOT 4434642 SOS 728154 HAS SOPS 728154 HAS SOUS 669225 HAS SOUPS 669225 WITH SCORE 669953.154
AT ITER 1294 NEW BEST:: SOT 4434748 SOS 727716 HAS SOPS 727716 HAS SOUS 669000 HAS SOUPS 669000 WITH SCORE 669727.716
AT ITER 1304 NEW BEST:: SOT 4434303 SOS 726881 HAS SOPS 726881 HAS SOUS 668821 HAS SOUPS 668821 WITH SCORE 669547.881
AT ITER 1360 NEW BEST:: SOT 4434302 SOS 726879 HAS SOPS 726879 HAS SOUS 668819 HAS SOUPS 668819 WITH SCORE 669545.879
AT ITER 1377 NEW BEST:: SOT 4434269 SOS 726813 HAS SOPS 726813 HAS SOUS 668753 HAS SOUPS 668753 WITH SCORE 669479.813
AT ITER 1388 NEW BEST:: SOT 4434158 SOS 726591 HAS SOPS 726591 HAS SOUS 668531 HAS SOUPS 668531 WITH SCORE 669257.591
AT ITER 1470 NEW BEST:: SOT 4434014 SOS 726447 HAS SOPS 726447 HAS SOUS 668387 HAS SOUPS 668387 WITH SCORE 669113.447
AT ITER 1478 NEW BEST:: SOT 4433875 SOS 726169 HAS SOPS 726169 HAS SOUS 668109 HAS SOUPS 668109 WITH SCORE 668835.169
AT ITER 1492 NEW BEST:: SOT 4433545 SOS 725674 HAS SOPS 725674 HAS SOUS 667614 HAS SOUPS 667614 WITH SCORE 668339.674
AT ITER 1508 NEW BEST:: SOT 4433080 SOS 726036 HAS SOPS 726036 HAS SOUS 667149 HAS SOUPS 667149 WITH SCORE 667875.036
AT ITER 1521 NEW BEST:: SOT 4432849 SOS 725973 HAS SOPS 725973 HAS SOUS 666863 HAS SOUPS 666863 WITH SCORE 667588.973
AT ITER 1550 NEW BEST:: SOT 4432511 SOS 725919 HAS SOPS 725919 HAS SOUS 666462 HAS SOUPS 666462 WITH SCORE 667187.919
AT ITER 1554 NEW BEST:: SOT 4432461 SOS 725819 HAS SOPS 725819 HAS SOUS 666362 HAS SOUPS 666362 WITH SCORE 667087.819
AT ITER 1575 NEW BEST:: SOT 4432413 SOS 725723 HAS SOPS 725723 HAS SOUS 666314 HAS SOUPS 666314 WITH SCORE 667039.723
AT ITER 1583 NEW BEST:: SOT 4432303 SOS 725781 HAS SOPS 725781 HAS SOUS 666291 HAS SOUPS 666291 WITH SCORE 667016.781
AT ITER 1594 NEW BEST:: SOT 4432303 SOS 725781 HAS SOPS 725781 HAS SOUS 666223 HAS SOUPS 666223 WITH SCORE 666948.781
AT ITER 1623 NEW BEST:: SOT 4432210 SOS 725595 HAS SOPS 725595 HAS SOUS 665846 HAS SOUPS 665846 WITH SCORE 666571.595
AT ITER 1634 NEW BEST:: SOT 4432210 SOS 725595 HAS SOPS 725595 HAS SOUS 665810 HAS SOUPS 665810 WITH SCORE 666535.595
AT ITER 1659 NEW BEST:: SOT 4432108 SOS 725493 HAS SOPS 725493 HAS SOUS 665708 HAS SOUPS 665708 WITH SCORE 666433.493
AT ITER 1660 NEW BEST:: SOT 4432228 SOS 725271 HAS SOPS 725271 HAS SOUS 665563 HAS SOUPS 665563 WITH SCORE 666288.271
AT ITER 1663 NEW BEST:: SOT 4432228 SOS 725035 HAS SOPS 725035 HAS SOUS 665560 HAS SOUPS 665560 WITH SCORE 666285.035
AT ITER 1688 NEW BEST:: SOT 4432228 SOS 725031 HAS SOPS 725031 HAS SOUS 665560 HAS SOUPS 665560 WITH SCORE 666285.031
AT ITER 1702 NEW BEST:: SOT 4432081 SOS 724839 HAS SOPS 724839 HAS SOUS 665342 HAS SOUPS 665342 WITH SCORE 666066.839
AT ITER 1730 NEW BEST:: SOT 4432080 SOS 724837 HAS SOPS 724837 HAS SOUS 665340 HAS SOUPS 665340 WITH SCORE 666064.837
AT ITER 1775 NEW BEST:: SOT 4431890 SOS 724837 HAS SOPS 724837 HAS SOUS 665245 HAS SOUPS 665245 WITH SCORE 665969.837
AT ITER 1792 NEW BEST:: SOT 4431847 SOS 724751 HAS SOPS 724751 HAS SOUS 665159 HAS SOUPS 665159 WITH SCORE 665883.751
AT ITER 1796 NEW BEST:: SOT 4431846 SOS 724749 HAS SOPS 724749 HAS SOUS 665157 HAS SOUPS 665157 WITH SCORE 665881.749
AT ITER 1813 NEW BEST:: SOT 4431846 SOS 724734 HAS SOPS 724734 HAS SOUS 665143 HAS SOUPS 665143 WITH SCORE 665867.734
AT ITER 1817 NEW BEST:: SOT 4431846 SOS 724734 HAS SOPS 724734 HAS SOUS 665124 HAS SOUPS 665124 WITH SCORE 665848.734
AT ITER 1888 NEW BEST:: SOT 4431751 SOS 724586 HAS SOPS 724586 HAS SOUS 664975 HAS SOUPS 664975 WITH SCORE 665699.586
AT ITER 1908 NEW BEST:: SOT 4432165 SOS 724939 HAS SOPS 724939 HAS SOUS 664953 HAS SOUPS 664953 WITH SCORE 665677.939
AT ITER 1933 NEW BEST:: SOT 4432065 SOS 724814 HAS SOPS 724814 HAS SOUS 664828 HAS SOUPS 664828 WITH SCORE 665552.814
AT ITER 1934 NEW BEST:: SOT 4432058 SOS 724800 HAS SOPS 724800 HAS SOUS 664820 HAS SOUPS 664820 WITH SCORE 665544.8
AT ITER 1963 NEW BEST:: SOT 4431848 SOS 724726 HAS SOPS 724726 HAS SOUS 664746 HAS SOUPS 664746 WITH SCORE 665470.726
AT ITER 1979 NEW BEST:: SOT 4431848 SOS 724726 HAS SOPS 724726 HAS SOUS 664446 HAS SOUPS 664446 WITH SCORE 665170.726
AT ITER 1981 NEW BEST:: SOT 4431848 SOS 724626 HAS SOPS 724626 HAS SOUS 664346 HAS SOUPS 664346 WITH SCORE 665070.626
AT ITER 2035 NEW BEST:: SOT 4431810 SOS 724604 HAS SOPS 724604 HAS SOUS 664324 HAS SOUPS 664324 WITH SCORE 665048.604
AT ITER 2040 NEW BEST:: SOT 4431743 SOS 724470 HAS SOPS 724470 HAS SOUS 664190 HAS SOUPS 664190 WITH SCORE 664914.47
AT ITER 2045 NEW BEST:: SOT 4431679 SOS 724507 HAS SOPS 724507 HAS SOUS 664177 HAS SOUPS 664177 WITH SCORE 664901.507
AT ITER 2063 NEW BEST:: SOT 4431532 SOS 724213 HAS SOPS 724213 HAS SOUS 663817 HAS SOUPS 663817 WITH SCORE 664541.213
AT ITER 2066 NEW BEST:: SOT 4431290 SOS 723729 HAS SOPS 723729 HAS SOUS 663333 HAS SOUPS 663333 WITH SCORE 664056.729
AT ITER 2084 NEW BEST:: SOT 4430997 SOS 723143 HAS SOPS 723143 HAS SOUS 663206 HAS SOUPS 663206 WITH SCORE 663929.143
AT ITER 2105 NEW BEST:: SOT 4430591 SOS 722737 HAS SOPS 722737 HAS SOUS 662800 HAS SOUPS 662800 WITH SCORE 663522.737
AT ITER 2112 NEW BEST:: SOT 4430449 SOS 722597 HAS SOPS 722597 HAS SOUS 662660 HAS SOUPS 662660 WITH SCORE 663382.597
AT ITER 2131 NEW BEST:: SOT 4430513 SOS 722725 HAS SOPS 722725 HAS SOUS 662564 HAS SOUPS 662564 WITH SCORE 663286.725
AT ITER 2142 NEW BEST:: SOT 4430502 SOS 722703 HAS SOPS 722703 HAS SOUS 662440 HAS SOUPS 662440 WITH SCORE 663162.703
AT ITER 2144 NEW BEST:: SOT 4430424 SOS 722586 HAS SOPS 722586 HAS SOUS 662323 HAS SOUPS 662323 WITH SCORE 663045.586
AT ITER 2162 NEW BEST:: SOT 4430366 SOS 722470 HAS SOPS 722470 HAS SOUS 662265 HAS SOUPS 662265 WITH SCORE 662987.47
AT ITER 2167 NEW BEST:: SOT 4430475 SOS 722506 HAS SOPS 722506 HAS SOUS 662192 HAS SOUPS 662192 WITH SCORE 662914.506
AT ITER 2183 NEW BEST:: SOT 4430438 SOS 722432 HAS SOPS 722432 HAS SOUS 662118 HAS SOUPS 662118 WITH SCORE 662840.432
AT ITER 2184 NEW BEST:: SOT 4430408 SOS 722372 HAS SOPS 722372 HAS SOUS 662010 HAS SOUPS 662010 WITH SCORE 662732.372
AT ITER 2191 NEW BEST:: SOT 4430334 SOS 722224 HAS SOPS 722224 HAS SOUS 661862 HAS SOUPS 661862 WITH SCORE 662584.224
AT ITER 2198 NEW BEST:: SOT 4430278 SOS 722112 HAS SOPS 722112 HAS SOUS 661750 HAS SOUPS 661750 WITH SCORE 662472.112
AT ITER 2222 NEW BEST:: SOT 4430215 SOS 722049 HAS SOPS 722049 HAS SOUS 661687 HAS SOUPS 661687 WITH SCORE 662409.049
AT ITER 2241 NEW BEST:: SOT 4430050 SOS 722104 HAS SOPS 722104 HAS SOUS 661546 HAS SOUPS 661546 WITH SCORE 662268.104
AT ITER 2247 NEW BEST:: SOT 4429963 SOS 721930 HAS SOPS 721930 HAS SOUS 661214 HAS SOUPS 661214 WITH SCORE 661935.93
AT ITER 2283 NEW BEST:: SOT 4429963 SOS 721929 HAS SOPS 721929 HAS SOUS 661212 HAS SOUPS 661212 WITH SCORE 661933.929
AT ITER 2288 NEW BEST:: SOT 4429638 SOS 721641 HAS SOPS 721641 HAS SOUS 660789 HAS SOUPS 660789 WITH SCORE 661510.641
AT ITER 2300 NEW BEST:: SOT 4429517 SOS 721583 HAS SOPS 721583 HAS SOUS 660668 HAS SOUPS 660668 WITH SCORE 661389.583
AT ITER 2328 NEW BEST:: SOT 4429403 SOS 721355 HAS SOPS 721355 HAS SOUS 660440 HAS SOUPS 660440 WITH SCORE 661161.355
AT ITER 2355 NEW BEST:: SOT 4429108 SOS 721021 HAS SOPS 721021 HAS SOUS 660106 HAS SOUPS 660106 WITH SCORE 660827.021
AT ITER 2365 NEW BEST:: SOT 4426629 SOS 745547 HAS SOPS 745547 HAS SOUS 658182 HAS SOUPS 658182 WITH SCORE 658927.547
AT ITER 2385 NEW BEST:: SOT 4426629 SOS 745475 HAS SOPS 745475 HAS SOUS 658182 HAS SOUPS 658182 WITH SCORE 658927.475
AT ITER 2453 NEW BEST:: SOT 4426415 SOS 745261 HAS SOPS 745261 HAS SOUS 657968 HAS SOUPS 657968 WITH SCORE 658713.261
AT ITER 2521 NEW BEST:: SOT 4426314 SOS 745180 HAS SOPS 745180 HAS SOUS 657887 HAS SOUPS 657887 WITH SCORE 658632.18
AT ITER 2533 NEW BEST:: SOT 4426313 SOS 745178 HAS SOPS 745178 HAS SOUS 657885 HAS SOUPS 657885 WITH SCORE 658630.178
AT ITER 2537 NEW BEST:: SOT 4426313 SOS 745097 HAS SOPS 745097 HAS SOUS 657885 HAS SOUPS 657885 WITH SCORE 658630.097
AT ITER 2547 NEW BEST:: SOT 4425832 SOS 744787 HAS SOPS 744787 HAS SOUS 657558 HAS SOUPS 657558 WITH SCORE 658302.787
AT ITER 2558 NEW BEST:: SOT 4425757 SOS 744637 HAS SOPS 744637 HAS SOUS 657408 HAS SOUPS 657408 WITH SCORE 658152.637
AT ITER 2596 NEW BEST:: SOT 4425508 SOS 744388 HAS SOPS 744388 HAS SOUS 657159 HAS SOUPS 657159 WITH SCORE 657903.388
AT ITER 2654 NEW BEST:: SOT 4425508 SOS 744184 HAS SOPS 744184 HAS SOUS 656955 HAS SOUPS 656955 WITH SCORE 657699.184
AT ITER 2658 NEW BEST:: SOT 4425488 SOS 744144 HAS SOPS 744144 HAS SOUS 656915 HAS SOUPS 656915 WITH SCORE 657659.144
AT ITER 2659 NEW BEST:: SOT 4425488 SOS 744144 HAS SOPS 744144 HAS SOUS 656914 HAS SOUPS 656914 WITH SCORE 657658.144
AT ITER 2683 NEW BEST:: SOT 4425399 SOS 743966 HAS SOPS 743966 HAS SOUS 656706 HAS SOUPS 656706 WITH SCORE 657449.966
AT ITER 2695 NEW BEST:: SOT 4425117 SOS 743684 HAS SOPS 743684 HAS SOUS 656424 HAS SOUPS 656424 WITH SCORE 657167.684
AT ITER 2762 NEW BEST:: SOT 4425053 SOS 743556 HAS SOPS 743556 HAS SOUS 656296 HAS SOUPS 656296 WITH SCORE 657039.556
AT ITER 2775 NEW BEST:: SOT 4425053 SOS 743445 HAS SOPS 743445 HAS SOUS 656185 HAS SOUPS 656185 WITH SCORE 656928.445
AT ITER 2780 NEW BEST:: SOT 4424994 SOS 743327 HAS SOPS 743327 HAS SOUS 655844 HAS SOUPS 655844 WITH SCORE 656587.327
AT ITER 2792 NEW BEST:: SOT 4424604 SOS 742869 HAS SOPS 742869 HAS SOUS 655278 HAS SOUPS 655278 WITH SCORE 656020.869
AT ITER 2796 NEW BEST:: SOT 4424272 SOS 742373 HAS SOPS 742373 HAS SOUS 654780 HAS SOUPS 654780 WITH SCORE 655522.373
AT ITER 2813 NEW BEST:: SOT 4424123 SOS 742075 HAS SOPS 742075 HAS SOUS 654631 HAS SOUPS 654631 WITH SCORE 655373.075
AT ITER 2814 NEW BEST:: SOT 4423952 SOS 742205 HAS SOPS 742205 HAS SOUS 654578 HAS SOUPS 654578 WITH SCORE 655320.205
AT ITER 2847 NEW BEST:: SOT 4423701 SOS 741703 HAS SOPS 741703 HAS SOUS 654076 HAS SOUPS 654076 WITH SCORE 654817.703
AT ITER 2884 NEW BEST:: SOT 4423586 SOS 741473 HAS SOPS 741473 HAS SOUS 653961 HAS SOUPS 653961 WITH SCORE 654702.473
AT ITER 2900 NEW BEST:: SOT 4423394 SOS 741089 HAS SOPS 741089 HAS SOUS 653577 HAS SOUPS 653577 WITH SCORE 654318.089
AT ITER 2903 NEW BEST:: SOT 4423170 SOS 740641 HAS SOPS 740641 HAS SOUS 653129 HAS SOUPS 653129 WITH SCORE 653869.641
AT ITER 2916 NEW BEST:: SOT 4423017 SOS 740606 HAS SOPS 740606 HAS SOUS 653046 HAS SOUPS 653046 WITH SCORE 653786.606
AT ITER 2939 NEW BEST:: SOT 4422965 SOS 740502 HAS SOPS 740502 HAS SOUS 652942 HAS SOUPS 652942 WITH SCORE 653682.502
AT ITER 2973 NEW BEST:: SOT 4422838 SOS 740375 HAS SOPS 740375 HAS SOUS 652815 HAS SOUPS 652815 WITH SCORE 653555.375
AT ITER 3001 NEW BEST:: SOT 4422811 SOS 740321 HAS SOPS 740321 HAS SOUS 652761 HAS SOUPS 652761 WITH SCORE 653501.321
AT ITER 3006 NEW BEST:: SOT 4422566 SOS 740075 HAS SOPS 740075 HAS SOUS 652515 HAS SOUPS 652515 WITH SCORE 653255.075
AT ITER 3018 NEW BEST:: SOT 4422565 SOS 740073 HAS SOPS 740073 HAS SOUS 652513 HAS SOUPS 652513 WITH SCORE 653253.073
AT ITER 3035 NEW BEST:: SOT 4422540 SOS 740023 HAS SOPS 740023 HAS SOUS 652463 HAS SOUPS 652463 WITH SCORE 653203.023
AT ITER 3038 NEW BEST:: SOT 4422465 SOS 739873 HAS SOPS 739873 HAS SOUS 652017 HAS SOUPS 652017 WITH SCORE 652756.873
AT ITER 3061 NEW BEST:: SOT 4422469 SOS 739881 HAS SOPS 739881 HAS SOUS 652006 HAS SOUPS 652006 WITH SCORE 652745.881
AT ITER 3088 NEW BEST:: SOT 4422355 SOS 739529 HAS SOPS 739529 HAS SOUS 651768 HAS SOUPS 651768 WITH SCORE 652507.529
AT ITER 3089 NEW BEST:: SOT 4422319 SOS 739457 HAS SOPS 739457 HAS SOUS 651696 HAS SOUPS 651696 WITH SCORE 652435.457
AT ITER 3113 NEW BEST:: SOT 4422318 SOS 739455 HAS SOPS 739455 HAS SOUS 651694 HAS SOUPS 651694 WITH SCORE 652433.455
AT ITER 3137 NEW BEST:: SOT 4422171 SOS 739461 HAS SOPS 739461 HAS SOUS 651678 HAS SOUPS 651678 WITH SCORE 652417.461
AT ITER 3154 NEW BEST:: SOT 4421723 SOS 739433 HAS SOPS 739433 HAS SOUS 651401 HAS SOUPS 651401 WITH SCORE 652140.433
AT ITER 3165 NEW BEST:: SOT 4421604 SOS 739195 HAS SOPS 739195 HAS SOUS 651282 HAS SOUPS 651282 WITH SCORE 652021.195
AT ITER 3181 NEW BEST:: SOT 4421588 SOS 739163 HAS SOPS 739163 HAS SOUS 651250 HAS SOUPS 651250 WITH SCORE 651989.163
AT ITER 3187 NEW BEST:: SOT 4421399 SOS 738251 HAS SOPS 738251 HAS SOUS 650803 HAS SOUPS 650803 WITH SCORE 651541.251
AT ITER 3221 NEW BEST:: SOT 4421303 SOS 738059 HAS SOPS 738059 HAS SOUS 650611 HAS SOUPS 650611 WITH SCORE 651349.059
AT ITER 3237 NEW BEST:: SOT 4421303 SOS 737880 HAS SOPS 737880 HAS SOUS 650611 HAS SOUPS 650611 WITH SCORE 651348.88
AT ITER 3253 NEW BEST:: SOT 4421198 SOS 737670 HAS SOPS 737670 HAS SOUS 650259 HAS SOUPS 650259 WITH SCORE 650996.67
AT ITER 3281 NEW BEST:: SOT 4421316 SOS 737341 HAS SOPS 737341 HAS SOUS 650120 HAS SOUPS 650120 WITH SCORE 650857.341
AT ITER 3296 NEW BEST:: SOT 4421211 SOS 737256 HAS SOPS 737256 HAS SOUS 650035 HAS SOUPS 650035 WITH SCORE 650772.256
AT ITER 3326 NEW BEST:: SOT 4421188 SOS 737210 HAS SOPS 737210 HAS SOUS 650034 HAS SOUPS 650034 WITH SCORE 650771.21
AT ITER 3333 NEW BEST:: SOT 4421186 SOS 737395 HAS SOPS 737395 HAS SOUS 650030 HAS SOUPS 650030 WITH SCORE 650767.395
AT ITER 3343 NEW BEST:: SOT 4421242 SOS 737507 HAS SOPS 737507 HAS SOUS 649798 HAS SOUPS 649798 WITH SCORE 650535.507
AT ITER 3378 NEW BEST:: SOT 4420998 SOS 737533 HAS SOPS 737533 HAS SOUS 649641 HAS SOUPS 649641 WITH SCORE 650378.533
AT ITER 3395 NEW BEST:: SOT 4420998 SOS 737533 HAS SOPS 737533 HAS SOUS 649620 HAS SOUPS 649620 WITH SCORE 650357.533
AT ITER 3404 NEW BEST:: SOT 4420997 SOS 737531 HAS SOPS 737531 HAS SOUS 649618 HAS SOUPS 649618 WITH SCORE 650355.531
AT ITER 3410 NEW BEST:: SOT 4420936 SOS 737217 HAS SOPS 737217 HAS SOUS 649609 HAS SOUPS 649609 WITH SCORE 650346.217
AT ITER 3421 NEW BEST:: SOT 4420899 SOS 737203 HAS SOPS 737203 HAS SOUS 649572 HAS SOUPS 649572 WITH SCORE 650309.203
AT ITER 3441 NEW BEST:: SOT 4420957 SOS 737050 HAS SOPS 737050 HAS SOUS 649361 HAS SOUPS 649361 WITH SCORE 650098.05
AT ITER 3452 NEW BEST:: SOT 4420882 SOS 736950 HAS SOPS 736950 HAS SOUS 649261 HAS SOUPS 649261 WITH SCORE 649997.95
AT ITER 3475 NEW BEST:: SOT 4421107 SOS 736850 HAS SOPS 736850 HAS SOUS 649211 HAS SOUPS 649211 WITH SCORE 649947.85
AT ITER 3538 NEW BEST:: SOT 4421155 SOS 736946 HAS SOPS 736946 HAS SOUS 649084 HAS SOUPS 649084 WITH SCORE 649820.946
AT ITER 3568 NEW BEST:: SOT 4421509 SOS 719552 HAS SOPS 719552 HAS SOUS 649007 HAS SOUPS 649007 WITH SCORE 649726.552
AT ITER 3571 NEW BEST:: SOT 4421435 SOS 719469 HAS SOPS 719469 HAS SOUS 648933 HAS SOUPS 648933 WITH SCORE 649652.469
AT ITER 3577 NEW BEST:: SOT 4421113 SOS 719630 HAS SOPS 719630 HAS SOUS 648772 HAS SOUPS 648772 WITH SCORE 649491.63
AT ITER 3606 NEW BEST:: SOT 4421113 SOS 719630 HAS SOPS 719630 HAS SOUS 648767 HAS SOUPS 648767 WITH SCORE 649486.63
AT ITER 3620 NEW BEST:: SOT 4421181 SOS 719482 HAS SOPS 719482 HAS SOUS 648619 HAS SOUPS 648619 WITH SCORE 649338.482
AT ITER 3641 NEW BEST:: SOT 4421130 SOS 719525 HAS SOPS 719525 HAS SOUS 648548 HAS SOUPS 648548 WITH SCORE 649267.525
AT ITER 3642 NEW BEST:: SOT 4420930 SOS 719629 HAS SOPS 719629 HAS SOUS 648396 HAS SOUPS 648396 WITH SCORE 649115.629
AT ITER 3657 NEW BEST:: SOT 4420887 SOS 719543 HAS SOPS 719543 HAS SOUS 648310 HAS SOUPS 648310 WITH SCORE 649029.543
AT ITER 3659 NEW BEST:: SOT 4420781 SOS 719331 HAS SOPS 719331 HAS SOUS 648308 HAS SOUPS 648308 WITH SCORE 649027.331
AT ITER 3678 NEW BEST:: SOT 4420632 SOS 719211 HAS SOPS 719211 HAS SOUS 648188 HAS SOUPS 648188 WITH SCORE 648907.211
AT ITER 3685 NEW BEST:: SOT 4420581 SOS 719304 HAS SOPS 719304 HAS SOUS 648175 HAS SOUPS 648175 WITH SCORE 648894.304
AT ITER 3686 NEW BEST:: SOT 4420250 SOS 718642 HAS SOPS 718642 HAS SOUS 647513 HAS SOUPS 647513 WITH SCORE 648231.642
AT ITER 3687 NEW BEST:: SOT 4420268 SOS 718678 HAS SOPS 718678 HAS SOUS 647396 HAS SOUPS 647396 WITH SCORE 648114.678
AT ITER 3694 NEW BEST:: SOT 4420188 SOS 718518 HAS SOPS 718518 HAS SOUS 647236 HAS SOUPS 647236 WITH SCORE 647954.518
AT ITER 3700 NEW BEST:: SOT 4420118 SOS 718378 HAS SOPS 718378 HAS SOUS 647096 HAS SOUPS 647096 WITH SCORE 647814.378
AT ITER 3708 NEW BEST:: SOT 4420255 SOS 697148 HAS SOPS 697148 HAS SOUS 646948 HAS SOUPS 646948 WITH SCORE 647645.148
AT ITER 3745 NEW BEST:: SOT 4420221 SOS 697080 HAS SOPS 697080 HAS SOUS 646880 HAS SOUPS 646880 WITH SCORE 647577.08
AT ITER 3752 NEW BEST:: SOT 4420044 SOS 696200 HAS SOPS 696200 HAS SOUS 646344 HAS SOUPS 646344 WITH SCORE 647040.2
AT ITER 3773 NEW BEST:: SOT 4419957 SOS 696026 HAS SOPS 696026 HAS SOUS 646170 HAS SOUPS 646170 WITH SCORE 646866.026
AT ITER 3781 NEW BEST:: SOT 4419966 SOS 696044 HAS SOPS 696044 HAS SOUS 646074 HAS SOUPS 646074 WITH SCORE 646770.044
AT ITER 3788 NEW BEST:: SOT 4419966 SOS 696044 HAS SOPS 696044 HAS SOUS 646043 HAS SOUPS 646043 WITH SCORE 646739.044
AT ITER 3804 NEW BEST:: SOT 4419902 SOS 695916 HAS SOPS 695916 HAS SOUS 645915 HAS SOUPS 645915 WITH SCORE 646610.916
AT ITER 3815 NEW BEST:: SOT 4419813 SOS 695588 HAS SOPS 695588 HAS SOUS 645587 HAS SOUPS 645587 WITH SCORE 646282.588
AT ITER 3822 NEW BEST:: SOT 4419802 SOS 695566 HAS SOPS 695566 HAS SOUS 645565 HAS SOUPS 645565 WITH SCORE 646260.566
AT ITER 3823 NEW BEST:: SOT 4419682 SOS 695326 HAS SOPS 695326 HAS SOUS 645235 HAS SOUPS 645235 WITH SCORE 645930.326
AT ITER 3868 NEW BEST:: SOT 4419580 SOS 695294 HAS SOPS 695294 HAS SOUS 645031 HAS SOUPS 645031 WITH SCORE 645726.294
AT ITER 3878 NEW BEST:: SOT 4419580 SOS 695095 HAS SOPS 695095 HAS SOUS 644832 HAS SOUPS 644832 WITH SCORE 645527.095
AT ITER 3879 NEW BEST:: SOT 4419499 SOS 694933 HAS SOPS 694933 HAS SOUS 644670 HAS SOUPS 644670 WITH SCORE 645364.933
AT ITER 3884 NEW BEST:: SOT 4419169 SOS 694273 HAS SOPS 694273 HAS SOUS 644095 HAS SOUPS 644095 WITH SCORE 644789.273
AT ITER 3887 NEW BEST:: SOT 4419149 SOS 694443 HAS SOPS 694443 HAS SOUS 644048 HAS SOUPS 644048 WITH SCORE 644742.443
AT ITER 3891 NEW BEST:: SOT 4418775 SOS 694146 HAS SOPS 694146 HAS SOUS 643554 HAS SOUPS 643554 WITH SCORE 644248.146
AT ITER 3914 NEW BEST:: SOT 4418747 SOS 694090 HAS SOPS 694090 HAS SOUS 643498 HAS SOUPS 643498 WITH SCORE 644192.09
AT ITER 3938 NEW BEST:: SOT 4418705 SOS 694006 HAS SOPS 694006 HAS SOUS 643414 HAS SOUPS 643414 WITH SCORE 644108.006
AT ITER 3950 NEW BEST:: SOT 4418632 SOS 693860 HAS SOPS 693860 HAS SOUS 643222 HAS SOUPS 643222 WITH SCORE 643915.86
AT ITER 3982 NEW BEST:: SOT 4418381 SOS 693357 HAS SOPS 693357 HAS SOUS 642719 HAS SOUPS 642719 WITH SCORE 643412.357
AT ITER 4060 NEW BEST:: SOT 4418144 SOS 693143 HAS SOPS 693143 HAS SOUS 642505 HAS SOUPS 642505 WITH SCORE 643198.143
AT ITER 4064 NEW BEST:: SOT 4417985 SOS 693086 HAS SOPS 693086 HAS SOUS 642499 HAS SOUPS 642499 WITH SCORE 643192.086
AT ITER 4065 NEW BEST:: SOT 4417971 SOS 693058 HAS SOPS 693058 HAS SOUS 642044 HAS SOUPS 642044 WITH SCORE 642737.058
AT ITER 4068 NEW BEST:: SOT 4418218 SOS 693057 HAS SOPS 693057 HAS SOUS 642043 HAS SOUPS 642043 WITH SCORE 642736.057
AT ITER 4146 NEW BEST:: SOT 4418292 SOS 693205 HAS SOPS 693205 HAS SOUS 641908 HAS SOUPS 641908 WITH SCORE 642601.205
AT ITER 4154 NEW BEST:: SOT 4418291 SOS 693203 HAS SOPS 693203 HAS SOUS 641906 HAS SOUPS 641906 WITH SCORE 642599.203
AT ITER 4177 NEW BEST:: SOT 4418190 SOS 693001 HAS SOPS 693001 HAS SOUS 641704 HAS SOUPS 641704 WITH SCORE 642397.001
AT ITER 4202 NEW BEST:: SOT 4418365 SOS 692820 HAS SOPS 692820 HAS SOUS 641523 HAS SOUPS 641523 WITH SCORE 642215.82
AT ITER 4220 NEW BEST:: SOT 4418302 SOS 692694 HAS SOPS 692694 HAS SOUS 641397 HAS SOUPS 641397 WITH SCORE 642089.694
AT ITER 4225 NEW BEST:: SOT 4417884 SOS 691440 HAS SOPS 691440 HAS SOUS 640561 HAS SOUPS 640561 WITH SCORE 641252.44
AT ITER 4248 NEW BEST:: SOT 4417647 SOS 690966 HAS SOPS 690966 HAS SOUS 640087 HAS SOUPS 640087 WITH SCORE 640777.966
AT ITER 4270 NEW BEST:: SOT 4417591 SOS 690854 HAS SOPS 690854 HAS SOUS 640077 HAS SOUPS 640077 WITH SCORE 640767.854
AT ITER 4278 NEW BEST:: SOT 4417591 SOS 690834 HAS SOPS 690834 HAS SOUS 640077 HAS SOUPS 640077 WITH SCORE 640767.834
AT ITER 4293 NEW BEST:: SOT 4417476 SOS 690604 HAS SOPS 690604 HAS SOUS 639847 HAS SOUPS 639847 WITH SCORE 640537.604
AT ITER 4325 NEW BEST:: SOT 4417542 SOS 690478 HAS SOPS 690478 HAS SOUS 639721 HAS SOUPS 639721 WITH SCORE 640411.478
AT ITER 4345 NEW BEST:: SOT 4417542 SOS 690458 HAS SOPS 690458 HAS SOUS 639573 HAS SOUPS 639573 WITH SCORE 640263.458
AT ITER 4357 NEW BEST:: SOT 4417547 SOS 690468 HAS SOPS 690468 HAS SOUS 639474 HAS SOUPS 639474 WITH SCORE 640164.468
AT ITER 4376 NEW BEST:: SOT 4417511 SOS 690396 HAS SOPS 690396 HAS SOUS 639473 HAS SOUPS 639473 WITH SCORE 640163.396
AT ITER 4436 NEW BEST:: SOT 4417496 SOS 690255 HAS SOPS 690255 HAS SOUS 639332 HAS SOUPS 639332 WITH SCORE 640022.255
AT ITER 4518 NEW BEST:: SOT 4417496 SOS 690192 HAS SOPS 690192 HAS SOUS 639269 HAS SOUPS 639269 WITH SCORE 639959.192
AT ITER 4519 NEW BEST:: SOT 4417359 SOS 690258 HAS SOPS 690258 HAS SOUS 639232 HAS SOUPS 639232 WITH SCORE 639922.258
AT ITER 4534 NEW BEST:: SOT 4417267 SOS 690165 HAS SOPS 690165 HAS SOUS 639139 HAS SOUPS 639139 WITH SCORE 639829.165
AT ITER 4572 NEW BEST:: SOT 4417223 SOS 690077 HAS SOPS 690077 HAS SOUS 639051 HAS SOUPS 639051 WITH SCORE 639741.077
AT ITER 4599 NEW BEST:: SOT 4417053 SOS 689737 HAS SOPS 689737 HAS SOUS 639000 HAS SOUPS 639000 WITH SCORE 639689.737
AT ITER 4699 NEW BEST:: SOT 4417053 SOS 689737 HAS SOPS 689737 HAS SOUS 638999 HAS SOUPS 638999 WITH SCORE 639688.737
AT ITER 4743 NEW BEST:: SOT 4416844 SOS 689544 HAS SOPS 689544 HAS SOUS 638790 HAS SOUPS 638790 WITH SCORE 639479.544
AT ITER 4746 NEW BEST:: SOT 4416572 SOS 689272 HAS SOPS 689272 HAS SOUS 638246 HAS SOUPS 638246 WITH SCORE 638935.272
AT ITER 4748 NEW BEST:: SOT 4416560 SOS 689248 HAS SOPS 689248 HAS SOUS 638222 HAS SOUPS 638222 WITH SCORE 638911.248
AT ITER 4761 NEW BEST:: SOT 4416441 SOS 689010 HAS SOPS 689010 HAS SOUS 638103 HAS SOUPS 638103 WITH SCORE 638792.01
AT ITER 4772 NEW BEST:: SOT 4416314 SOS 689186 HAS SOPS 689186 HAS SOUS 638073 HAS SOUPS 638073 WITH SCORE 638762.186
AT ITER 4790 NEW BEST:: SOT 4415940 SOS 689428 HAS SOPS 689428 HAS SOUS 637742 HAS SOUPS 637742 WITH SCORE 638431.428
AT ITER 4795 NEW BEST:: SOT 4415940 SOS 689428 HAS SOPS 689428 HAS SOUS 637681 HAS SOUPS 637681 WITH SCORE 638370.428
AT ITER 4814 NEW BEST:: SOT 4415612 SOS 690788 HAS SOPS 690788 HAS SOUS 637647 HAS SOUPS 637647 WITH SCORE 638337.788
AT ITER 4828 NEW BEST:: SOT 4415536 SOS 690636 HAS SOPS 690636 HAS SOUS 637527 HAS SOUPS 637527 WITH SCORE 638217.636
AT ITER 4854 NEW BEST:: SOT 4415361 SOS 691522 HAS SOPS 691522 HAS SOUS 637474 HAS SOUPS 637474 WITH SCORE 638165.522
AT ITER 4858 NEW BEST:: SOT 4415361 SOS 691522 HAS SOPS 691522 HAS SOUS 637289 HAS SOUPS 637289 WITH SCORE 637980.522
AT ITER 4859 NEW BEST:: SOT 4415360 SOS 691520 HAS SOPS 691520 HAS SOUS 637287 HAS SOUPS 637287 WITH SCORE 637978.52
AT ITER 4893 NEW BEST:: SOT 4415282 SOS 691364 HAS SOPS 691364 HAS SOUS 637209 HAS SOUPS 637209 WITH SCORE 637900.364
AT ITER 4896 NEW BEST:: SOT 4415296 SOS 691322 HAS SOPS 691322 HAS SOUS 637167 HAS SOUPS 637167 WITH SCORE 637858.322
AT ITER 4902 NEW BEST:: SOT 4415221 SOS 691172 HAS SOPS 691172 HAS SOUS 637092 HAS SOUPS 637092 WITH SCORE 637783.172
AT ITER 4928 NEW BEST:: SOT 4415144 SOS 691018 HAS SOPS 691018 HAS SOUS 637039 HAS SOUPS 637039 WITH SCORE 637730.018
AT ITER 4960 NEW BEST:: SOT 4414817 SOS 690582 HAS SOPS 690582 HAS SOUS 636603 HAS SOUPS 636603 WITH SCORE 637293.582
AT ITER 4967 NEW BEST:: SOT 4414801 SOS 690550 HAS SOPS 690550 HAS SOUS 636571 HAS SOUPS 636571 WITH SCORE 637261.55
Bounds file is: CTLFireability.xml
PROPERTY: CloudReconfiguration-PT-302-CTLFireability-00 (! (AF( (EF( ( ((potential((tk(P349)>=1)))) | ((potential((tk(P1451)>=1)))) ))))))
PROPERTY: CloudReconfiguration-PT-302-CTLFireability-01 (EF( ( (EF( (! ((potential((tk(P1067)>=1))))))) & ( ((potential((tk(P517)>=1)))) | ( ( ((potential((tk(P1031)>=1)))) & ((potential((tk(P629)>=1)))) ) & ((potential((tk(P416)>=1)))) ) ) )))
PROPERTY: CloudReconfiguration-PT-302-CTLFireability-02 ( (EF( ((potential((tk(P1498)>=1)))))) | (AG( ( (EG( ((potential((tk(P1959)>=1)))))) & ((potential((tk(P1944)>=1)))) ))) )
PROPERTY: CloudReconfiguration-PT-302-CTLFireability-03 (EG( (AG( (! ( ((potential((tk(P764)>=1)))) & ((potential((tk(P1268)>=1)))) ))))))
PROPERTY: CloudReconfiguration-PT-302-CTLFireability-04 ( ( ( (AU( ((potential((tk(P1897)>=1)))) , ((potential((tk(P1897)>=1)))) )) | (AF( ( ((potential((tk(P335)>=1)))) & ((potential((tk(P502)>=1)))) ))) ) | ( (EF( ( ((potential((tk(P2335)>=1)))) | ((potential((tk(P790)>=1)))) ))) & ( ( ( ((potential((tk(P2202)>=1)))) & ((potential((tk(P1739)>=1)))) ) & ( ((potential((tk(P708)>=1)))) | ((potential((tk(P2176)>=1)))) ) ) & (! ( ((potential((tk(P1698)>=1)))) & ((potential((tk(P1382)>=1)))) )) ) ) ) & ( (! ( (EF( ((potential((tk(P1406)>=1)))))) | (AG( ((potential((tk(P2280)>=1)))))) )) | ( ( ( ( ((potential((tk(P613)>=1)))) | ((potential((tk(P1919)>=1)))) ) & ( ((potential((tk(P239)>=1)))) | ((potential((tk(P512)>=1)))) ) ) & ((potential((tk(P2268)>=1)))) ) & (EX( (! ((potential((tk(P683)>=1))))))) ) ) )
PROPERTY: CloudReconfiguration-PT-302-CTLFireability-05 (EU( (AF( ((potential((tk(P1618)>=1)))))) , ( (AF( ((potential((tk(P2039)>=1)))))) | ( ((potential((tk(P1219)>=1)))) | ( ((potential((tk(P1564)>=1)))) | ((potential((tk(P504)>=1)))) ) ) ) ))
PROPERTY: CloudReconfiguration-PT-302-CTLFireability-06 ( ( (! (! (EF( ((potential((tk(P2030)>=1)))))))) | ( ( ( ( ((potential((tk(P933)>=1)))) & ((potential((tk(P2362)>=1)))) ) & ((potential((tk(P1708)>=1)))) ) & (AF( ((potential((tk(P1353)>=1)))))) ) & (AG( ( ((potential((tk(P573)>=1) & (tk(P2123)>=1)))) & ((potential((tk(P573)>=1) & (tk(P1597)>=1)))) ))) ) ) | ((potential((tk(P374)>=1)))) )
PROPERTY: CloudReconfiguration-PT-302-CTLFireability-07 (AG( ( ( (! (! ((potential((tk(P837)>=1)))))) | (AF( ((potential((tk(P316)>=1)))))) ) & ( ((potential((tk(P1080)>=1)))) | ( ((potential((tk(P637)>=1)))) | (! ((potential((tk(P1376)>=1))))) ) ) )))
PROPERTY: CloudReconfiguration-PT-302-CTLFireability-08 (AU( ((potential((tk(P1515)>=1)))) , ( (EF( ((potential((tk(P1739)>=1)))))) | ( ( ((potential((tk(P488)>=1)))) & ((potential((tk(P1095)>=1)))) ) | ( ((potential((tk(P365)>=1)))) & ((potential((tk(P1894)>=1)))) ) ) ) ))
PROPERTY: CloudReconfiguration-PT-302-CTLFireability-09 (EF( ( ( (EG( ((potential((tk(P120)>=1)))))) & (AF( ((potential((tk(P1304)>=1)))))) ) & ( ( ( ((potential((tk(P1826)>=1)))) & ((potential((tk(P555)>=1)))) ) | ( ((potential((tk(P573)>=1) & (tk(P1975)>=1)))) | ((potential((tk(P2157)>=1)))) ) ) | (EG( ((potential((tk(P2088)>=1)))))) ) )))
PROPERTY: CloudReconfiguration-PT-302-CTLFireability-10 ( (AG( (AF( ((potential((tk(P1250)>=1)))))))) & (AU( ( (! ((potential((tk(P2551)>=1))))) & ( ((potential((tk(P215)>=1)))) | ((potential((tk(P567)>=1)))) ) ) , ( ( ((potential((tk(P1307)>=1)))) | ((potential((tk(P1191)>=1)))) ) | (! ((potential((tk(P2564)>=1) & (tk(P2576)>=1))))) ) )) )
PROPERTY: CloudReconfiguration-PT-302-CTLFireability-11 (AG( (! ( (! ( ((potential((tk(P1748)>=1)))) & ((potential((tk(P2073)>=1)))) )) & (EX( ((potential((tk(P436)>=1)))))) ))))
PROPERTY: CloudReconfiguration-PT-302-CTLFireability-12 (! (EF( ( (AX( ((potential((tk(P2010)>=1)))))) & (EX( ((potential((tk(P2471)>=1)))))) ))))
PROPERTY: CloudReconfiguration-PT-302-CTLFireability-13 (EF( (EU( ( ((potential((tk(P59)>=1)))) & ((potential((tk(P573)>=1) & (tk(P2431)>=1)))) ) , ((potential((tk(P75)>=1)))) ))))
PROPERTY: CloudReconfiguration-PT-302-CTLFireability-14 (EU( (AF( ((potential((tk(P1903)>=1)))))) , ( (! ( ((potential((tk(P2125)>=1)))) | ((potential((tk(P1808)>=1)))) )) & (AX( ((potential((tk(P2224)>=1)))))) ) ))
PROPERTY: CloudReconfiguration-PT-302-CTLFireability-15 (EG( (! ((potential((tk(P988)>=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="CloudReconfiguration-PT-302"
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 CloudReconfiguration-PT-302, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r048-ebro-158902541600012"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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