About the Execution of smart for CloudReconfiguration-PT-320
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15766.700 | 3600000.00 | 3600071.00 | 0.00 | [undef] | Time out reached |
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-158902541800156.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-320, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902541800156
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 828K
-rw-r--r-- 1 mcc users 3.4K Mar 30 01:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 30 01:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 28 16:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 28 16:14 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.6K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K 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 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 27 08:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 27 08:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 26 08:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 11K Mar 26 08:14 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 661K 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-320-CTLFireability-00
FORMULA_NAME CloudReconfiguration-PT-320-CTLFireability-01
FORMULA_NAME CloudReconfiguration-PT-320-CTLFireability-02
FORMULA_NAME CloudReconfiguration-PT-320-CTLFireability-03
FORMULA_NAME CloudReconfiguration-PT-320-CTLFireability-04
FORMULA_NAME CloudReconfiguration-PT-320-CTLFireability-05
FORMULA_NAME CloudReconfiguration-PT-320-CTLFireability-06
FORMULA_NAME CloudReconfiguration-PT-320-CTLFireability-07
FORMULA_NAME CloudReconfiguration-PT-320-CTLFireability-08
FORMULA_NAME CloudReconfiguration-PT-320-CTLFireability-09
FORMULA_NAME CloudReconfiguration-PT-320-CTLFireability-10
FORMULA_NAME CloudReconfiguration-PT-320-CTLFireability-11
FORMULA_NAME CloudReconfiguration-PT-320-CTLFireability-12
FORMULA_NAME CloudReconfiguration-PT-320-CTLFireability-13
FORMULA_NAME CloudReconfiguration-PT-320-CTLFireability-14
FORMULA_NAME CloudReconfiguration-PT-320-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589099207159
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 320
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: 2587 places, 3099 transitions, 6479 arcs.
AT ITER 0 NEW BEST:: SOT 4458525 SOS 744630 HAS SOPS 744630 HAS SOUS 686894 HAS SOUPS 686894 WITH SCORE 687638.63
AT ITER 22 NEW BEST:: SOT 4458340 SOS 744260 HAS SOPS 744260 HAS SOUS 686524 HAS SOUPS 686524 WITH SCORE 687268.26
AT ITER 49 NEW BEST:: SOT 4458235 SOS 744184 HAS SOPS 744184 HAS SOUS 686448 HAS SOUPS 686448 WITH SCORE 687192.184
AT ITER 53 NEW BEST:: SOT 4458068 SOS 743850 HAS SOPS 743850 HAS SOUS 686114 HAS SOUPS 686114 WITH SCORE 686857.85
AT ITER 72 NEW BEST:: SOT 4457908 SOS 744018 HAS SOPS 744018 HAS SOUS 686060 HAS SOUPS 686060 WITH SCORE 686804.018
AT ITER 102 NEW BEST:: SOT 4457736 SOS 743674 HAS SOPS 743674 HAS SOUS 685716 HAS SOUPS 685716 WITH SCORE 686459.674
AT ITER 106 NEW BEST:: SOT 4456969 SOS 742910 HAS SOPS 742910 HAS SOUS 684949 HAS SOUPS 684949 WITH SCORE 685691.91
AT ITER 112 NEW BEST:: SOT 4456792 SOS 742860 HAS SOPS 742860 HAS SOUS 684715 HAS SOUPS 684715 WITH SCORE 685457.86
AT ITER 115 NEW BEST:: SOT 4456969 SOS 742278 HAS SOPS 742278 HAS SOUS 684246 HAS SOUPS 684246 WITH SCORE 684988.278
AT ITER 135 NEW BEST:: SOT 4456803 SOS 742132 HAS SOPS 742132 HAS SOUS 684100 HAS SOUPS 684100 WITH SCORE 684842.132
AT ITER 150 NEW BEST:: SOT 4456439 SOS 741768 HAS SOPS 741768 HAS SOUS 683736 HAS SOUPS 683736 WITH SCORE 684477.768
AT ITER 165 NEW BEST:: SOT 4456355 SOS 741684 HAS SOPS 741684 HAS SOUS 683734 HAS SOUPS 683734 WITH SCORE 684475.684
AT ITER 206 NEW BEST:: SOT 4456385 SOS 741744 HAS SOPS 741744 HAS SOUS 683469 HAS SOUPS 683469 WITH SCORE 684210.744
AT ITER 209 NEW BEST:: SOT 4455871 SOS 741012 HAS SOPS 741012 HAS SOUS 682659 HAS SOUPS 682659 WITH SCORE 683400.012
AT ITER 214 NEW BEST:: SOT 4455843 SOS 741036 HAS SOPS 741036 HAS SOUS 682643 HAS SOUPS 682643 WITH SCORE 683384.036
AT ITER 222 NEW BEST:: SOT 4455650 SOS 740650 HAS SOPS 740650 HAS SOUS 682450 HAS SOUPS 682450 WITH SCORE 683190.65
AT ITER 232 NEW BEST:: SOT 4455650 SOS 740650 HAS SOPS 740650 HAS SOUS 682235 HAS SOUPS 682235 WITH SCORE 682975.65
AT ITER 249 NEW BEST:: SOT 4455650 SOS 740594 HAS SOPS 740594 HAS SOUS 682235 HAS SOUPS 682235 WITH SCORE 682975.594
AT ITER 278 NEW BEST:: SOT 4455546 SOS 740386 HAS SOPS 740386 HAS SOUS 682131 HAS SOUPS 682131 WITH SCORE 682871.386
AT ITER 304 NEW BEST:: SOT 4455619 SOS 740298 HAS SOPS 740298 HAS SOUS 682092 HAS SOUPS 682092 WITH SCORE 682832.298
AT ITER 328 NEW BEST:: SOT 4455570 SOS 740200 HAS SOPS 740200 HAS SOUS 681994 HAS SOUPS 681994 WITH SCORE 682734.2
AT ITER 348 NEW BEST:: SOT 4454661 SOS 740194 HAS SOPS 740194 HAS SOUS 681182 HAS SOUPS 681182 WITH SCORE 681922.194
AT ITER 358 NEW BEST:: SOT 4454346 SOS 739564 HAS SOPS 739564 HAS SOUS 680552 HAS SOUPS 680552 WITH SCORE 681291.564
AT ITER 374 NEW BEST:: SOT 4454346 SOS 739564 HAS SOPS 739564 HAS SOUS 680551 HAS SOUPS 680551 WITH SCORE 681290.564
AT ITER 375 NEW BEST:: SOT 4454346 SOS 739564 HAS SOPS 739564 HAS SOUS 680550 HAS SOUPS 680550 WITH SCORE 681289.564
AT ITER 380 NEW BEST:: SOT 4454196 SOS 739414 HAS SOPS 739414 HAS SOUS 680400 HAS SOUPS 680400 WITH SCORE 681139.414
AT ITER 390 NEW BEST:: SOT 4454337 SOS 739376 HAS SOPS 739376 HAS SOUS 680369 HAS SOUPS 680369 WITH SCORE 681108.376
AT ITER 395 NEW BEST:: SOT 4454337 SOS 739301 HAS SOPS 739301 HAS SOUS 680294 HAS SOUPS 680294 WITH SCORE 681033.301
AT ITER 398 NEW BEST:: SOT 4452910 SOS 738785 HAS SOPS 738785 HAS SOUS 679008 HAS SOUPS 679008 WITH SCORE 679746.785
AT ITER 412 NEW BEST:: SOT 4452909 SOS 738557 HAS SOPS 738557 HAS SOUS 679006 HAS SOUPS 679006 WITH SCORE 679744.557
AT ITER 441 NEW BEST:: SOT 4452723 SOS 738381 HAS SOPS 738381 HAS SOUS 678624 HAS SOUPS 678624 WITH SCORE 679362.381
AT ITER 466 NEW BEST:: SOT 4452659 SOS 738253 HAS SOPS 738253 HAS SOUS 678496 HAS SOUPS 678496 WITH SCORE 679234.253
AT ITER 497 NEW BEST:: SOT 4452557 SOS 738253 HAS SOPS 738253 HAS SOUS 678408 HAS SOUPS 678408 WITH SCORE 679146.253
AT ITER 558 NEW BEST:: SOT 4452451 SOS 738041 HAS SOPS 738041 HAS SOUS 678299 HAS SOUPS 678299 WITH SCORE 679037.041
AT ITER 561 NEW BEST:: SOT 4452422 SOS 737983 HAS SOPS 737983 HAS SOUS 678241 HAS SOUPS 678241 WITH SCORE 678978.983
AT ITER 596 NEW BEST:: SOT 4452422 SOS 737763 HAS SOPS 737763 HAS SOUS 678241 HAS SOUPS 678241 WITH SCORE 678978.763
AT ITER 613 NEW BEST:: SOT 4452420 SOS 737759 HAS SOPS 737759 HAS SOUS 678225 HAS SOUPS 678225 WITH SCORE 678962.759
AT ITER 614 NEW BEST:: SOT 4452514 SOS 737660 HAS SOPS 737660 HAS SOUS 678221 HAS SOUPS 678221 WITH SCORE 678958.66
AT ITER 616 NEW BEST:: SOT 4452252 SOS 737136 HAS SOPS 737136 HAS SOUS 677697 HAS SOUPS 677697 WITH SCORE 678434.136
AT ITER 625 NEW BEST:: SOT 4452104 SOS 736840 HAS SOPS 736840 HAS SOUS 677401 HAS SOUPS 677401 WITH SCORE 678137.84
AT ITER 635 NEW BEST:: SOT 4452043 SOS 736718 HAS SOPS 736718 HAS SOUS 677279 HAS SOUPS 677279 WITH SCORE 678015.718
AT ITER 636 NEW BEST:: SOT 4452043 SOS 736686 HAS SOPS 736686 HAS SOUS 677276 HAS SOUPS 677276 WITH SCORE 678012.686
AT ITER 648 NEW BEST:: SOT 4451544 SOS 735967 HAS SOPS 735967 HAS SOUS 676498 HAS SOUPS 676498 WITH SCORE 677233.967
AT ITER 660 NEW BEST:: SOT 4451323 SOS 735525 HAS SOPS 735525 HAS SOUS 676056 HAS SOUPS 676056 WITH SCORE 676791.525
AT ITER 688 NEW BEST:: SOT 4451128 SOS 735277 HAS SOPS 735277 HAS SOUS 675790 HAS SOUPS 675790 WITH SCORE 676525.277
AT ITER 696 NEW BEST:: SOT 4451057 SOS 735135 HAS SOPS 735135 HAS SOUS 675648 HAS SOUPS 675648 WITH SCORE 676383.135
AT ITER 789 NEW BEST:: SOT 4451142 SOS 735305 HAS SOPS 735305 HAS SOUS 675646 HAS SOUPS 675646 WITH SCORE 676381.305
AT ITER 796 NEW BEST:: SOT 4451314 SOS 735282 HAS SOPS 735282 HAS SOUS 675627 HAS SOUPS 675627 WITH SCORE 676362.282
AT ITER 810 NEW BEST:: SOT 4451114 SOS 734982 HAS SOPS 734982 HAS SOUS 675327 HAS SOUPS 675327 WITH SCORE 676061.982
AT ITER 821 NEW BEST:: SOT 4451113 SOS 734980 HAS SOPS 734980 HAS SOUS 675325 HAS SOUPS 675325 WITH SCORE 676059.98
AT ITER 861 NEW BEST:: SOT 4451113 SOS 734874 HAS SOPS 734874 HAS SOUS 675325 HAS SOUPS 675325 WITH SCORE 676059.874
AT ITER 880 NEW BEST:: SOT 4451130 SOS 734908 HAS SOPS 734908 HAS SOUS 675271 HAS SOUPS 675271 WITH SCORE 676005.908
AT ITER 889 NEW BEST:: SOT 4451130 SOS 734941 HAS SOPS 734941 HAS SOUS 675238 HAS SOUPS 675238 WITH SCORE 675972.941
AT ITER 937 NEW BEST:: SOT 4450960 SOS 734601 HAS SOPS 734601 HAS SOUS 675103 HAS SOUPS 675103 WITH SCORE 675837.601
AT ITER 950 NEW BEST:: SOT 4450782 SOS 734084 HAS SOPS 734084 HAS SOUS 674544 HAS SOUPS 674544 WITH SCORE 675278.084
AT ITER 952 NEW BEST:: SOT 4450769 SOS 734058 HAS SOPS 734058 HAS SOUS 674518 HAS SOUPS 674518 WITH SCORE 675252.058
AT ITER 982 NEW BEST:: SOT 4450750 SOS 734062 HAS SOPS 734062 HAS SOUS 674504 HAS SOUPS 674504 WITH SCORE 675238.062
AT ITER 1002 NEW BEST:: SOT 4450146 SOS 734016 HAS SOPS 734016 HAS SOUS 673978 HAS SOUPS 673978 WITH SCORE 674712.016
AT ITER 1003 NEW BEST:: SOT 4449909 SOS 733779 HAS SOPS 733779 HAS SOUS 673741 HAS SOUPS 673741 WITH SCORE 674474.779
AT ITER 1008 NEW BEST:: SOT 4449908 SOS 733777 HAS SOPS 733777 HAS SOUS 673739 HAS SOUPS 673739 WITH SCORE 674472.777
AT ITER 1053 NEW BEST:: SOT 4449781 SOS 733747 HAS SOPS 733747 HAS SOUS 673612 HAS SOUPS 673612 WITH SCORE 674345.747
AT ITER 1062 NEW BEST:: SOT 4447207 SOS 752912 HAS SOPS 752912 HAS SOUS 671563 HAS SOUPS 671563 WITH SCORE 672315.912
AT ITER 1066 NEW BEST:: SOT 4447289 SOS 753076 HAS SOPS 753076 HAS SOUS 671044 HAS SOUPS 671044 WITH SCORE 671797.076
AT ITER 1069 NEW BEST:: SOT 4447289 SOS 752885 HAS SOPS 752885 HAS SOUS 671044 HAS SOUPS 671044 WITH SCORE 671796.885
AT ITER 1097 NEW BEST:: SOT 4447226 SOS 752759 HAS SOPS 752759 HAS SOUS 670981 HAS SOUPS 670981 WITH SCORE 671733.759
AT ITER 1118 NEW BEST:: SOT 4447226 SOS 752759 HAS SOPS 752759 HAS SOUS 670797 HAS SOUPS 670797 WITH SCORE 671549.759
AT ITER 1125 NEW BEST:: SOT 4447234 SOS 752775 HAS SOPS 752775 HAS SOUS 670524 HAS SOUPS 670524 WITH SCORE 671276.775
AT ITER 1129 NEW BEST:: SOT 4447136 SOS 752579 HAS SOPS 752579 HAS SOUS 670426 HAS SOUPS 670426 WITH SCORE 671178.579
AT ITER 1142 NEW BEST:: SOT 4447136 SOS 752305 HAS SOPS 752305 HAS SOUS 670249 HAS SOUPS 670249 WITH SCORE 671001.305
AT ITER 1156 NEW BEST:: SOT 4446931 SOS 752100 HAS SOPS 752100 HAS SOUS 670233 HAS SOUPS 670233 WITH SCORE 670985.1
AT ITER 1172 NEW BEST:: SOT 4446930 SOS 752098 HAS SOPS 752098 HAS SOUS 670231 HAS SOUPS 670231 WITH SCORE 670983.098
AT ITER 1187 NEW BEST:: SOT 4446889 SOS 752097 HAS SOPS 752097 HAS SOUS 670217 HAS SOUPS 670217 WITH SCORE 670969.097
AT ITER 1201 NEW BEST:: SOT 4446889 SOS 752097 HAS SOPS 752097 HAS SOUS 670215 HAS SOUPS 670215 WITH SCORE 670967.097
AT ITER 1216 NEW BEST:: SOT 4446700 SOS 751719 HAS SOPS 751719 HAS SOUS 670026 HAS SOUPS 670026 WITH SCORE 670777.719
AT ITER 1223 NEW BEST:: SOT 4446700 SOS 751719 HAS SOPS 751719 HAS SOUS 670025 HAS SOUPS 670025 WITH SCORE 670776.719
AT ITER 1253 NEW BEST:: SOT 4446632 SOS 751583 HAS SOPS 751583 HAS SOUS 669889 HAS SOUPS 669889 WITH SCORE 670640.583
AT ITER 1258 NEW BEST:: SOT 4446515 SOS 751349 HAS SOPS 751349 HAS SOUS 669655 HAS SOUPS 669655 WITH SCORE 670406.349
AT ITER 1277 NEW BEST:: SOT 4446265 SOS 751349 HAS SOPS 751349 HAS SOUS 669530 HAS SOUPS 669530 WITH SCORE 670281.349
AT ITER 1288 NEW BEST:: SOT 4446265 SOS 751209 HAS SOPS 751209 HAS SOUS 669530 HAS SOUPS 669530 WITH SCORE 670281.209
AT ITER 1298 NEW BEST:: SOT 4445989 SOS 750657 HAS SOPS 750657 HAS SOUS 668978 HAS SOUPS 668978 WITH SCORE 669728.657
AT ITER 1299 NEW BEST:: SOT 4445989 SOS 750592 HAS SOPS 750592 HAS SOUS 668978 HAS SOUPS 668978 WITH SCORE 669728.592
AT ITER 1305 NEW BEST:: SOT 4445957 SOS 750621 HAS SOPS 750621 HAS SOUS 668946 HAS SOUPS 668946 WITH SCORE 669696.621
AT ITER 1313 NEW BEST:: SOT 4445947 SOS 750601 HAS SOPS 750601 HAS SOUS 668926 HAS SOUPS 668926 WITH SCORE 669676.601
AT ITER 1352 NEW BEST:: SOT 4445978 SOS 750663 HAS SOPS 750663 HAS SOUS 668914 HAS SOUPS 668914 WITH SCORE 669664.663
AT ITER 1396 NEW BEST:: SOT 4445691 SOS 750992 HAS SOPS 750992 HAS SOUS 668804 HAS SOUPS 668804 WITH SCORE 669554.992
AT ITER 1430 NEW BEST:: SOT 4445691 SOS 750870 HAS SOPS 750870 HAS SOUS 668682 HAS SOUPS 668682 WITH SCORE 669432.87
AT ITER 1447 NEW BEST:: SOT 4445500 SOS 750870 HAS SOPS 750870 HAS SOUS 668491 HAS SOUPS 668491 WITH SCORE 669241.87
AT ITER 1468 NEW BEST:: SOT 4445482 SOS 750834 HAS SOPS 750834 HAS SOUS 668455 HAS SOUPS 668455 WITH SCORE 669205.834
AT ITER 1469 NEW BEST:: SOT 4445501 SOS 750872 HAS SOPS 750872 HAS SOUS 668275 HAS SOUPS 668275 WITH SCORE 669025.872
AT ITER 1471 NEW BEST:: SOT 4445493 SOS 750856 HAS SOPS 750856 HAS SOUS 668259 HAS SOUPS 668259 WITH SCORE 669009.856
AT ITER 1497 NEW BEST:: SOT 4445493 SOS 750912 HAS SOPS 750912 HAS SOUS 668255 HAS SOUPS 668255 WITH SCORE 669005.912
AT ITER 1533 NEW BEST:: SOT 4445703 SOS 751332 HAS SOPS 751332 HAS SOUS 668232 HAS SOUPS 668232 WITH SCORE 668983.332
AT ITER 1536 NEW BEST:: SOT 4445659 SOS 751288 HAS SOPS 751288 HAS SOUS 668188 HAS SOUPS 668188 WITH SCORE 668939.288
AT ITER 1580 NEW BEST:: SOT 4445527 SOS 751156 HAS SOPS 751156 HAS SOUS 668085 HAS SOUPS 668085 WITH SCORE 668836.156
AT ITER 1589 NEW BEST:: SOT 4445526 SOS 751154 HAS SOPS 751154 HAS SOUS 668083 HAS SOUPS 668083 WITH SCORE 668834.154
AT ITER 1592 NEW BEST:: SOT 4445605 SOS 751312 HAS SOPS 751312 HAS SOUS 667970 HAS SOUPS 667970 WITH SCORE 668721.312
AT ITER 1594 NEW BEST:: SOT 4445574 SOS 751250 HAS SOPS 751250 HAS SOUS 667908 HAS SOUPS 667908 WITH SCORE 668659.25
AT ITER 1597 NEW BEST:: SOT 4445512 SOS 751264 HAS SOPS 751264 HAS SOUS 667846 HAS SOUPS 667846 WITH SCORE 668597.264
AT ITER 1602 NEW BEST:: SOT 4445442 SOS 751124 HAS SOPS 751124 HAS SOUS 667706 HAS SOUPS 667706 WITH SCORE 668457.124
AT ITER 1640 NEW BEST:: SOT 4445291 SOS 751092 HAS SOPS 751092 HAS SOUS 667577 HAS SOUPS 667577 WITH SCORE 668328.092
AT ITER 1645 NEW BEST:: SOT 4445160 SOS 751047 HAS SOPS 751047 HAS SOUS 667486 HAS SOUPS 667486 WITH SCORE 668237.047
AT ITER 1654 NEW BEST:: SOT 4445160 SOS 751047 HAS SOPS 751047 HAS SOUS 667305 HAS SOUPS 667305 WITH SCORE 668056.047
AT ITER 1661 NEW BEST:: SOT 4445012 SOS 750751 HAS SOPS 750751 HAS SOUS 667009 HAS SOUPS 667009 WITH SCORE 667759.751
AT ITER 1667 NEW BEST:: SOT 4444930 SOS 750587 HAS SOPS 750587 HAS SOUS 666988 HAS SOUPS 666988 WITH SCORE 667738.587
AT ITER 1676 NEW BEST:: SOT 4444788 SOS 750303 HAS SOPS 750303 HAS SOUS 666704 HAS SOUPS 666704 WITH SCORE 667454.303
AT ITER 1686 NEW BEST:: SOT 4444788 SOS 750303 HAS SOPS 750303 HAS SOUS 666639 HAS SOUPS 666639 WITH SCORE 667389.303
AT ITER 1693 NEW BEST:: SOT 4444788 SOS 723891 HAS SOPS 723891 HAS SOUS 666412 HAS SOUPS 666412 WITH SCORE 667135.891
AT ITER 1705 NEW BEST:: SOT 4444633 SOS 723581 HAS SOPS 723581 HAS SOUS 666065 HAS SOUPS 666065 WITH SCORE 666788.581
AT ITER 1717 NEW BEST:: SOT 4444451 SOS 723217 HAS SOPS 723217 HAS SOUS 665701 HAS SOUPS 665701 WITH SCORE 666424.217
AT ITER 1720 NEW BEST:: SOT 4443840 SOS 723683 HAS SOPS 723683 HAS SOUS 665333 HAS SOUPS 665333 WITH SCORE 666056.683
AT ITER 1730 NEW BEST:: SOT 4443737 SOS 723477 HAS SOPS 723477 HAS SOUS 665127 HAS SOUPS 665127 WITH SCORE 665850.477
AT ITER 1737 NEW BEST:: SOT 4443736 SOS 723475 HAS SOPS 723475 HAS SOUS 665125 HAS SOUPS 665125 WITH SCORE 665848.475
AT ITER 1753 NEW BEST:: SOT 4443635 SOS 723209 HAS SOPS 723209 HAS SOUS 664923 HAS SOUPS 664923 WITH SCORE 665646.209
AT ITER 1761 NEW BEST:: SOT 4443584 SOS 723107 HAS SOPS 723107 HAS SOUS 664821 HAS SOUPS 664821 WITH SCORE 665544.107
AT ITER 1766 NEW BEST:: SOT 4443584 SOS 722996 HAS SOPS 722996 HAS SOUS 664710 HAS SOUPS 664710 WITH SCORE 665432.996
AT ITER 1772 NEW BEST:: SOT 4443344 SOS 781226 HAS SOPS 781226 HAS SOUS 664008 HAS SOUPS 664008 WITH SCORE 664789.226
AT ITER 1775 NEW BEST:: SOT 4443149 SOS 780836 HAS SOPS 780836 HAS SOUS 663618 HAS SOUPS 663618 WITH SCORE 664398.836
AT ITER 1776 NEW BEST:: SOT 4443126 SOS 780790 HAS SOPS 780790 HAS SOUS 663572 HAS SOUPS 663572 WITH SCORE 664352.79
AT ITER 1780 NEW BEST:: SOT 4443126 SOS 780790 HAS SOPS 780790 HAS SOUS 663453 HAS SOUPS 663453 WITH SCORE 664233.79
AT ITER 1801 NEW BEST:: SOT 4442646 SOS 780698 HAS SOPS 780698 HAS SOUS 663107 HAS SOUPS 663107 WITH SCORE 663887.698
AT ITER 1818 NEW BEST:: SOT 4442469 SOS 780344 HAS SOPS 780344 HAS SOUS 662753 HAS SOUPS 662753 WITH SCORE 663533.344
AT ITER 1831 NEW BEST:: SOT 4442211 SOS 780318 HAS SOPS 780318 HAS SOUS 662560 HAS SOUPS 662560 WITH SCORE 663340.318
AT ITER 1843 NEW BEST:: SOT 4442017 SOS 779930 HAS SOPS 779930 HAS SOUS 662172 HAS SOUPS 662172 WITH SCORE 662951.93
AT ITER 1847 NEW BEST:: SOT 4442017 SOS 779842 HAS SOPS 779842 HAS SOUS 662172 HAS SOUPS 662172 WITH SCORE 662951.842
AT ITER 1854 NEW BEST:: SOT 4442025 SOS 779858 HAS SOPS 779858 HAS SOUS 661990 HAS SOUPS 661990 WITH SCORE 662769.858
AT ITER 1867 NEW BEST:: SOT 4442024 SOS 779856 HAS SOPS 779856 HAS SOUS 661988 HAS SOUPS 661988 WITH SCORE 662767.856
AT ITER 1874 NEW BEST:: SOT 4441980 SOS 779822 HAS SOPS 779822 HAS SOUS 661890 HAS SOUPS 661890 WITH SCORE 662669.822
AT ITER 1886 NEW BEST:: SOT 4442071 SOS 779661 HAS SOPS 779661 HAS SOUS 661729 HAS SOUPS 661729 WITH SCORE 662508.661
AT ITER 1935 NEW BEST:: SOT 4441664 SOS 781007 HAS SOPS 781007 HAS SOUS 661374 HAS SOUPS 661374 WITH SCORE 662155.007
AT ITER 1953 NEW BEST:: SOT 4441549 SOS 780777 HAS SOPS 780777 HAS SOUS 660953 HAS SOUPS 660953 WITH SCORE 661733.777
AT ITER 1973 NEW BEST:: SOT 4441549 SOS 780639 HAS SOPS 780639 HAS SOUS 660953 HAS SOUPS 660953 WITH SCORE 661733.639
AT ITER 1974 NEW BEST:: SOT 4441215 SOS 780138 HAS SOPS 780138 HAS SOUS 660452 HAS SOUPS 660452 WITH SCORE 661232.138
AT ITER 1981 NEW BEST:: SOT 4441017 SOS 779940 HAS SOPS 779940 HAS SOUS 660254 HAS SOUPS 660254 WITH SCORE 661033.94
AT ITER 2020 NEW BEST:: SOT 4441003 SOS 779982 HAS SOPS 779982 HAS SOUS 660226 HAS SOUPS 660226 WITH SCORE 661005.982
AT ITER 2033 NEW BEST:: SOT 4440867 SOS 779710 HAS SOPS 779710 HAS SOUS 659954 HAS SOUPS 659954 WITH SCORE 660733.71
AT ITER 2039 NEW BEST:: SOT 4440773 SOS 779522 HAS SOPS 779522 HAS SOUS 659766 HAS SOUPS 659766 WITH SCORE 660545.522
AT ITER 2050 NEW BEST:: SOT 4440551 SOS 779300 HAS SOPS 779300 HAS SOUS 659544 HAS SOUPS 659544 WITH SCORE 660323.3
AT ITER 2057 NEW BEST:: SOT 4440301 SOS 779050 HAS SOPS 779050 HAS SOUS 659294 HAS SOUPS 659294 WITH SCORE 660073.05
AT ITER 2084 NEW BEST:: SOT 4440383 SOS 778865 HAS SOPS 778865 HAS SOUS 659109 HAS SOUPS 659109 WITH SCORE 659887.865
AT ITER 2163 NEW BEST:: SOT 4440589 SOS 778659 HAS SOPS 778659 HAS SOUS 659109 HAS SOUPS 659109 WITH SCORE 659887.659
AT ITER 2196 NEW BEST:: SOT 4440455 SOS 778391 HAS SOPS 778391 HAS SOUS 658841 HAS SOUPS 658841 WITH SCORE 659619.391
AT ITER 2223 NEW BEST:: SOT 4440455 SOS 777941 HAS SOPS 777941 HAS SOUS 658616 HAS SOUPS 658616 WITH SCORE 659393.941
AT ITER 2231 NEW BEST:: SOT 4440437 SOS 777905 HAS SOPS 777905 HAS SOUS 658580 HAS SOUPS 658580 WITH SCORE 659357.905
AT ITER 2253 NEW BEST:: SOT 4440329 SOS 777996 HAS SOPS 777996 HAS SOUS 658508 HAS SOUPS 658508 WITH SCORE 659285.996
AT ITER 2258 NEW BEST:: SOT 4437436 SOS 775030 HAS SOPS 775030 HAS SOUS 655615 HAS SOUPS 655615 WITH SCORE 656390.03
AT ITER 2275 NEW BEST:: SOT 4437168 SOS 774081 HAS SOPS 774081 HAS SOUS 655272 HAS SOUPS 655272 WITH SCORE 656046.081
AT ITER 2310 NEW BEST:: SOT 4437168 SOS 773705 HAS SOPS 773705 HAS SOUS 655272 HAS SOUPS 655272 WITH SCORE 656045.705
AT ITER 2340 NEW BEST:: SOT 4437089 SOS 773547 HAS SOPS 773547 HAS SOUS 655114 HAS SOUPS 655114 WITH SCORE 655887.547
AT ITER 2362 NEW BEST:: SOT 4437221 SOS 773394 HAS SOPS 773394 HAS SOUS 655093 HAS SOUPS 655093 WITH SCORE 655866.394
AT ITER 2410 NEW BEST:: SOT 4436909 SOS 773162 HAS SOPS 773162 HAS SOUS 654861 HAS SOUPS 654861 WITH SCORE 655634.162
AT ITER 2411 NEW BEST:: SOT 4436638 SOS 772620 HAS SOPS 772620 HAS SOUS 654713 HAS SOUPS 654713 WITH SCORE 655485.62
AT ITER 2451 NEW BEST:: SOT 4436456 SOS 772256 HAS SOPS 772256 HAS SOUS 654386 HAS SOUPS 654386 WITH SCORE 655158.256
AT ITER 2458 NEW BEST:: SOT 4436434 SOS 772212 HAS SOPS 772212 HAS SOUS 654342 HAS SOUPS 654342 WITH SCORE 655114.212
AT ITER 2496 NEW BEST:: SOT 4436210 SOS 771988 HAS SOPS 771988 HAS SOUS 654118 HAS SOUPS 654118 WITH SCORE 654889.988
AT ITER 2527 NEW BEST:: SOT 4436054 SOS 771676 HAS SOPS 771676 HAS SOUS 653806 HAS SOUPS 653806 WITH SCORE 654577.676
AT ITER 2543 NEW BEST:: SOT 4436053 SOS 771585 HAS SOPS 771585 HAS SOUS 653716 HAS SOUPS 653716 WITH SCORE 654487.585
AT ITER 2563 NEW BEST:: SOT 4435845 SOS 771169 HAS SOPS 771169 HAS SOUS 653300 HAS SOUPS 653300 WITH SCORE 654071.169
AT ITER 2583 NEW BEST:: SOT 4435590 SOS 770999 HAS SOPS 770999 HAS SOUS 653045 HAS SOUPS 653045 WITH SCORE 653815.999
AT ITER 2601 NEW BEST:: SOT 4435712 SOS 771041 HAS SOPS 771041 HAS SOUS 652965 HAS SOUPS 652965 WITH SCORE 653736.041
AT ITER 2634 NEW BEST:: SOT 4435712 SOS 771041 HAS SOPS 771041 HAS SOUS 652822 HAS SOUPS 652822 WITH SCORE 653593.041
AT ITER 2709 NEW BEST:: SOT 4435712 SOS 771041 HAS SOPS 771041 HAS SOUS 652799 HAS SOUPS 652799 WITH SCORE 653570.041
AT ITER 2714 NEW BEST:: SOT 4435575 SOS 771048 HAS SOPS 771048 HAS SOUS 652662 HAS SOUPS 652662 WITH SCORE 653433.048
AT ITER 2761 NEW BEST:: SOT 4434812 SOS 770737 HAS SOPS 770737 HAS SOUS 652422 HAS SOUPS 652422 WITH SCORE 653192.737
AT ITER 2795 NEW BEST:: SOT 4434812 SOS 770588 HAS SOPS 770588 HAS SOUS 652422 HAS SOUPS 652422 WITH SCORE 653192.588
AT ITER 2804 NEW BEST:: SOT 4434846 SOS 770584 HAS SOPS 770584 HAS SOUS 652418 HAS SOUPS 652418 WITH SCORE 653188.584
AT ITER 2816 NEW BEST:: SOT 4434845 SOS 770366 HAS SOPS 770366 HAS SOUS 652415 HAS SOUPS 652415 WITH SCORE 653185.366
AT ITER 2828 NEW BEST:: SOT 4434772 SOS 770220 HAS SOPS 770220 HAS SOUS 652378 HAS SOUPS 652378 WITH SCORE 653148.22
AT ITER 2832 NEW BEST:: SOT 4434771 SOS 770014 HAS SOPS 770014 HAS SOUS 652358 HAS SOUPS 652358 WITH SCORE 653128.014
AT ITER 2847 NEW BEST:: SOT 4434770 SOS 769563 HAS SOPS 769563 HAS SOUS 652356 HAS SOUPS 652356 WITH SCORE 653125.563
AT ITER 2858 NEW BEST:: SOT 4434770 SOS 769563 HAS SOPS 769563 HAS SOUS 652266 HAS SOUPS 652266 WITH SCORE 653035.563
AT ITER 2859 NEW BEST:: SOT 4434923 SOS 769869 HAS SOPS 769869 HAS SOUS 652157 HAS SOUPS 652157 WITH SCORE 652926.869
AT ITER 2865 NEW BEST:: SOT 4434923 SOS 769721 HAS SOPS 769721 HAS SOUS 652009 HAS SOUPS 652009 WITH SCORE 652778.721
AT ITER 2965 NEW BEST:: SOT 4434682 SOS 769239 HAS SOPS 769239 HAS SOUS 651527 HAS SOUPS 651527 WITH SCORE 652296.239
AT ITER 2972 NEW BEST:: SOT 4434533 SOS 769187 HAS SOPS 769187 HAS SOUS 651405 HAS SOUPS 651405 WITH SCORE 652174.187
AT ITER 2981 NEW BEST:: SOT 4434532 SOS 769185 HAS SOPS 769185 HAS SOUS 651403 HAS SOUPS 651403 WITH SCORE 652172.185
AT ITER 2993 NEW BEST:: SOT 4434701 SOS 769041 HAS SOPS 769041 HAS SOUS 651369 HAS SOUPS 651369 WITH SCORE 652138.041
AT ITER 2994 NEW BEST:: SOT 4434590 SOS 768819 HAS SOPS 768819 HAS SOUS 651258 HAS SOUPS 651258 WITH SCORE 652026.819
AT ITER 2999 NEW BEST:: SOT 4434590 SOS 768819 HAS SOPS 768819 HAS SOUS 651214 HAS SOUPS 651214 WITH SCORE 651982.819
AT ITER 3036 NEW BEST:: SOT 4434634 SOS 768420 HAS SOPS 768420 HAS SOUS 651013 HAS SOUPS 651013 WITH SCORE 651781.42
AT ITER 3057 NEW BEST:: SOT 4434633 SOS 768418 HAS SOPS 768418 HAS SOUS 651011 HAS SOUPS 651011 WITH SCORE 651779.418
AT ITER 3060 NEW BEST:: SOT 4434459 SOS 768070 HAS SOPS 768070 HAS SOUS 650549 HAS SOUPS 650549 WITH SCORE 651317.07
AT ITER 3094 NEW BEST:: SOT 4434404 SOS 767960 HAS SOPS 767960 HAS SOUS 650439 HAS SOUPS 650439 WITH SCORE 651206.96
AT ITER 3108 NEW BEST:: SOT 4434325 SOS 769314 HAS SOPS 769314 HAS SOUS 650266 HAS SOUPS 650266 WITH SCORE 651035.314
AT ITER 3138 NEW BEST:: SOT 4434325 SOS 769112 HAS SOPS 769112 HAS SOUS 650064 HAS SOUPS 650064 WITH SCORE 650833.112
AT ITER 3158 NEW BEST:: SOT 4434285 SOS 768683 HAS SOPS 768683 HAS SOUS 649782 HAS SOUPS 649782 WITH SCORE 650550.683
AT ITER 3179 NEW BEST:: SOT 4434200 SOS 768513 HAS SOPS 768513 HAS SOUS 649697 HAS SOUPS 649697 WITH SCORE 650465.513
AT ITER 3183 NEW BEST:: SOT 4434079 SOS 768271 HAS SOPS 768271 HAS SOUS 649695 HAS SOUPS 649695 WITH SCORE 650463.271
AT ITER 3212 NEW BEST:: SOT 4433877 SOS 768142 HAS SOPS 768142 HAS SOUS 649545 HAS SOUPS 649545 WITH SCORE 650313.142
AT ITER 3213 NEW BEST:: SOT 4433701 SOS 767319 HAS SOPS 767319 HAS SOUS 649193 HAS SOUPS 649193 WITH SCORE 649960.319
AT ITER 3236 NEW BEST:: SOT 4433480 SOS 766877 HAS SOPS 766877 HAS SOUS 648751 HAS SOUPS 648751 WITH SCORE 649517.877
AT ITER 3260 NEW BEST:: SOT 4433463 SOS 766843 HAS SOPS 766843 HAS SOUS 648686 HAS SOUPS 648686 WITH SCORE 649452.843
AT ITER 3265 NEW BEST:: SOT 4433557 SOS 766803 HAS SOPS 766803 HAS SOUS 648646 HAS SOUPS 648646 WITH SCORE 649412.803
AT ITER 3272 NEW BEST:: SOT 4433520 SOS 766729 HAS SOPS 766729 HAS SOUS 648609 HAS SOUPS 648609 WITH SCORE 649375.729
AT ITER 3283 NEW BEST:: SOT 4433260 SOS 766469 HAS SOPS 766469 HAS SOUS 648349 HAS SOUPS 648349 WITH SCORE 649115.469
AT ITER 3287 NEW BEST:: SOT 4433239 SOS 766427 HAS SOPS 766427 HAS SOUS 648307 HAS SOUPS 648307 WITH SCORE 649073.427
AT ITER 3291 NEW BEST:: SOT 4432983 SOS 765915 HAS SOPS 765915 HAS SOUS 648051 HAS SOUPS 648051 WITH SCORE 648816.915
AT ITER 3298 NEW BEST:: SOT 4432983 SOS 765780 HAS SOPS 765780 HAS SOUS 648051 HAS SOUPS 648051 WITH SCORE 648816.78
AT ITER 3319 NEW BEST:: SOT 4432934 SOS 765682 HAS SOPS 765682 HAS SOUS 647953 HAS SOUPS 647953 WITH SCORE 648718.682
AT ITER 3335 NEW BEST:: SOT 4432934 SOS 765331 HAS SOPS 765331 HAS SOUS 647953 HAS SOUPS 647953 WITH SCORE 648718.331
AT ITER 3339 NEW BEST:: SOT 4433046 SOS 765555 HAS SOPS 765555 HAS SOUS 647898 HAS SOUPS 647898 WITH SCORE 648663.555
AT ITER 3357 NEW BEST:: SOT 4433003 SOS 765512 HAS SOPS 765512 HAS SOUS 647855 HAS SOUPS 647855 WITH SCORE 648620.512
AT ITER 3387 NEW BEST:: SOT 4433002 SOS 765510 HAS SOPS 765510 HAS SOUS 647853 HAS SOUPS 647853 WITH SCORE 648618.51
AT ITER 3465 NEW BEST:: SOT 4432955 SOS 765416 HAS SOPS 765416 HAS SOUS 647759 HAS SOUPS 647759 WITH SCORE 648524.416
AT ITER 3468 NEW BEST:: SOT 4432739 SOS 764984 HAS SOPS 764984 HAS SOUS 647327 HAS SOUPS 647327 WITH SCORE 648091.984
AT ITER 3478 NEW BEST:: SOT 4432739 SOS 764673 HAS SOPS 764673 HAS SOUS 647327 HAS SOUPS 647327 WITH SCORE 648091.673
AT ITER 3505 NEW BEST:: SOT 4432739 SOS 764293 HAS SOPS 764293 HAS SOUS 647327 HAS SOUPS 647327 WITH SCORE 648091.293
AT ITER 3556 NEW BEST:: SOT 4432739 SOS 764285 HAS SOPS 764285 HAS SOUS 647319 HAS SOUPS 647319 WITH SCORE 648083.285
AT ITER 3558 NEW BEST:: SOT 4432739 SOS 764153 HAS SOPS 764153 HAS SOUS 647319 HAS SOUPS 647319 WITH SCORE 648083.153
AT ITER 3619 NEW BEST:: SOT 4432550 SOS 764311 HAS SOPS 764311 HAS SOUS 647130 HAS SOUPS 647130 WITH SCORE 647894.311
AT ITER 3637 NEW BEST:: SOT 4432663 SOS 764309 HAS SOPS 764309 HAS SOUS 647128 HAS SOUPS 647128 WITH SCORE 647892.309
AT ITER 3639 NEW BEST:: SOT 4432350 SOS 764309 HAS SOPS 764309 HAS SOUS 646622 HAS SOUPS 646622 WITH SCORE 647386.309
AT ITER 3651 NEW BEST:: SOT 4431969 SOS 764055 HAS SOPS 764055 HAS SOUS 646241 HAS SOUPS 646241 WITH SCORE 647005.055
AT ITER 3666 NEW BEST:: SOT 4431969 SOS 764045 HAS SOPS 764045 HAS SOUS 646241 HAS SOUPS 646241 WITH SCORE 647005.045
AT ITER 3682 NEW BEST:: SOT 4431759 SOS 763070 HAS SOPS 763070 HAS SOUS 645821 HAS SOUPS 645821 WITH SCORE 646584.07
AT ITER 3686 NEW BEST:: SOT 4431911 SOS 762817 HAS SOPS 762817 HAS SOUS 645568 HAS SOUPS 645568 WITH SCORE 646330.817
AT ITER 3692 NEW BEST:: SOT 4431910 SOS 762584 HAS SOPS 762584 HAS SOUS 645566 HAS SOUPS 645566 WITH SCORE 646328.584
AT ITER 3708 NEW BEST:: SOT 4431776 SOS 762316 HAS SOPS 762316 HAS SOUS 645298 HAS SOUPS 645298 WITH SCORE 646060.316
AT ITER 3723 NEW BEST:: SOT 4431775 SOS 762314 HAS SOPS 762314 HAS SOUS 645296 HAS SOUPS 645296 WITH SCORE 646058.314
AT ITER 3740 NEW BEST:: SOT 4431775 SOS 762238 HAS SOPS 762238 HAS SOUS 645296 HAS SOUPS 645296 WITH SCORE 646058.238
AT ITER 3751 NEW BEST:: SOT 4431775 SOS 762093 HAS SOPS 762093 HAS SOUS 645151 HAS SOUPS 645151 WITH SCORE 645913.093
AT ITER 3752 NEW BEST:: SOT 4431775 SOS 762057 HAS SOPS 762057 HAS SOUS 645150 HAS SOUPS 645150 WITH SCORE 645912.057
AT ITER 3772 NEW BEST:: SOT 4431774 SOS 762013 HAS SOPS 762013 HAS SOUS 645149 HAS SOUPS 645149 WITH SCORE 645911.013
AT ITER 3777 NEW BEST:: SOT 4431773 SOS 761989 HAS SOPS 761989 HAS SOUS 645147 HAS SOUPS 645147 WITH SCORE 645908.989
AT ITER 3779 NEW BEST:: SOT 4431738 SOS 761919 HAS SOPS 761919 HAS SOUS 645018 HAS SOUPS 645018 WITH SCORE 645779.919
AT ITER 3784 NEW BEST:: SOT 4431720 SOS 761883 HAS SOPS 761883 HAS SOUS 645000 HAS SOUPS 645000 WITH SCORE 645761.883
AT ITER 3787 NEW BEST:: SOT 4431506 SOS 761241 HAS SOPS 761241 HAS SOUS 644572 HAS SOUPS 644572 WITH SCORE 645333.241
AT ITER 3796 NEW BEST:: SOT 4431506 SOS 761241 HAS SOPS 761241 HAS SOUS 644421 HAS SOUPS 644421 WITH SCORE 645182.241
AT ITER 3822 NEW BEST:: SOT 4431432 SOS 761093 HAS SOPS 761093 HAS SOUS 644347 HAS SOUPS 644347 WITH SCORE 645108.093
AT ITER 3826 NEW BEST:: SOT 4431319 SOS 760867 HAS SOPS 760867 HAS SOUS 644121 HAS SOUPS 644121 WITH SCORE 644881.867
AT ITER 3829 NEW BEST:: SOT 4431319 SOS 760723 HAS SOPS 760723 HAS SOUS 643977 HAS SOUPS 643977 WITH SCORE 644737.723
AT ITER 3859 NEW BEST:: SOT 4431319 SOS 760697 HAS SOPS 760697 HAS SOUS 643977 HAS SOUPS 643977 WITH SCORE 644737.697
AT ITER 3862 NEW BEST:: SOT 4431233 SOS 760611 HAS SOPS 760611 HAS SOUS 643891 HAS SOUPS 643891 WITH SCORE 644651.611
AT ITER 3894 NEW BEST:: SOT 4431181 SOS 759535 HAS SOPS 759535 HAS SOUS 643839 HAS SOUPS 643839 WITH SCORE 644598.535
AT ITER 3895 NEW BEST:: SOT 4431136 SOS 759445 HAS SOPS 759445 HAS SOUS 643792 HAS SOUPS 643792 WITH SCORE 644551.445
AT ITER 3948 NEW BEST:: SOT 4431075 SOS 759418 HAS SOPS 759418 HAS SOUS 643762 HAS SOUPS 643762 WITH SCORE 644521.418
AT ITER 3999 NEW BEST:: SOT 4430745 SOS 759082 HAS SOPS 759082 HAS SOUS 643311 HAS SOUPS 643311 WITH SCORE 644070.082
AT ITER 4046 NEW BEST:: SOT 4430690 SOS 758972 HAS SOPS 758972 HAS SOUS 643201 HAS SOUPS 643201 WITH SCORE 643959.972
AT ITER 4047 NEW BEST:: SOT 4430690 SOS 758872 HAS SOPS 758872 HAS SOUS 643151 HAS SOUPS 643151 WITH SCORE 643909.872
AT ITER 4067 NEW BEST:: SOT 4430396 SOS 759257 HAS SOPS 759257 HAS SOUS 642941 HAS SOUPS 642941 WITH SCORE 643700.257
AT ITER 4102 NEW BEST:: SOT 4430350 SOS 759165 HAS SOPS 759165 HAS SOUS 642870 HAS SOUPS 642870 WITH SCORE 643629.165
AT ITER 4109 NEW BEST:: SOT 4430273 SOS 759011 HAS SOPS 759011 HAS SOUS 642793 HAS SOUPS 642793 WITH SCORE 643552.011
AT ITER 4120 NEW BEST:: SOT 4430332 SOS 759129 HAS SOPS 759129 HAS SOUS 642776 HAS SOUPS 642776 WITH SCORE 643535.129
AT ITER 4124 NEW BEST:: SOT 4430222 SOS 758909 HAS SOPS 758909 HAS SOUS 642695 HAS SOUPS 642695 WITH SCORE 643453.909
AT ITER 4149 NEW BEST:: SOT 4430166 SOS 758797 HAS SOPS 758797 HAS SOUS 642583 HAS SOUPS 642583 WITH SCORE 643341.797
AT ITER 4166 NEW BEST:: SOT 4430051 SOS 759154 HAS SOPS 759154 HAS SOUS 642581 HAS SOUPS 642581 WITH SCORE 643340.154
AT ITER 4183 NEW BEST:: SOT 4429996 SOS 759044 HAS SOPS 759044 HAS SOUS 642471 HAS SOUPS 642471 WITH SCORE 643230.044
AT ITER 4197 NEW BEST:: SOT 4429402 SOS 758648 HAS SOPS 758648 HAS SOUS 641877 HAS SOUPS 641877 WITH SCORE 642635.648
AT ITER 4206 NEW BEST:: SOT 4429402 SOS 758593 HAS SOPS 758593 HAS SOUS 641822 HAS SOUPS 641822 WITH SCORE 642580.593
AT ITER 4230 NEW BEST:: SOT 4429402 SOS 758465 HAS SOPS 758465 HAS SOUS 641694 HAS SOUPS 641694 WITH SCORE 642452.465
AT ITER 4285 NEW BEST:: SOT 4429402 SOS 758081 HAS SOPS 758081 HAS SOUS 641694 HAS SOUPS 641694 WITH SCORE 642452.081
AT ITER 4295 NEW BEST:: SOT 4429402 SOS 758081 HAS SOPS 758081 HAS SOUS 641534 HAS SOUPS 641534 WITH SCORE 642292.081
AT ITER 4321 NEW BEST:: SOT 4429401 SOS 757878 HAS SOPS 757878 HAS SOUS 641532 HAS SOUPS 641532 WITH SCORE 642289.878
AT ITER 4330 NEW BEST:: SOT 4429168 SOS 757295 HAS SOPS 757295 HAS SOUS 640839 HAS SOUPS 640839 WITH SCORE 641596.295
AT ITER 4336 NEW BEST:: SOT 4428479 SOS 756927 HAS SOPS 756927 HAS SOUS 640206 HAS SOUPS 640206 WITH SCORE 640962.927
AT ITER 4343 NEW BEST:: SOT 4428431 SOS 756831 HAS SOPS 756831 HAS SOUS 640158 HAS SOUPS 640158 WITH SCORE 640914.831
AT ITER 4350 NEW BEST:: SOT 4428325 SOS 756831 HAS SOPS 756831 HAS SOUS 640105 HAS SOUPS 640105 WITH SCORE 640861.831
AT ITER 4390 NEW BEST:: SOT 4428113 SOS 756107 HAS SOPS 756107 HAS SOUS 639861 HAS SOUPS 639861 WITH SCORE 640617.107
AT ITER 4415 NEW BEST:: SOT 4428031 SOS 756018 HAS SOPS 756018 HAS SOUS 639704 HAS SOUPS 639704 WITH SCORE 640460.018
AT ITER 4425 NEW BEST:: SOT 4427918 SOS 754711 HAS SOPS 754711 HAS SOUS 638689 HAS SOUPS 638689 WITH SCORE 639443.711
AT ITER 4442 NEW BEST:: SOT 4427975 SOS 754825 HAS SOPS 754825 HAS SOUS 638677 HAS SOUPS 638677 WITH SCORE 639431.825
AT ITER 4444 NEW BEST:: SOT 4427624 SOS 753687 HAS SOPS 753687 HAS SOUS 637890 HAS SOUPS 637890 WITH SCORE 638643.687
AT ITER 4457 NEW BEST:: SOT 4427566 SOS 753513 HAS SOPS 753513 HAS SOUS 637716 HAS SOUPS 637716 WITH SCORE 638469.513
AT ITER 4487 NEW BEST:: SOT 4427566 SOS 753390 HAS SOPS 753390 HAS SOUS 637593 HAS SOUPS 637593 WITH SCORE 638346.39
AT ITER 4504 NEW BEST:: SOT 4427496 SOS 753320 HAS SOPS 753320 HAS SOUS 637523 HAS SOUPS 637523 WITH SCORE 638276.32
AT ITER 4519 NEW BEST:: SOT 4427495 SOS 753318 HAS SOPS 753318 HAS SOUS 637521 HAS SOUPS 637521 WITH SCORE 638274.318
AT ITER 4523 NEW BEST:: SOT 4427456 SOS 753279 HAS SOPS 753279 HAS SOUS 637482 HAS SOUPS 637482 WITH SCORE 638235.279
AT ITER 4528 NEW BEST:: SOT 4427753 SOS 753873 HAS SOPS 753873 HAS SOUS 637367 HAS SOUPS 637367 WITH SCORE 638120.873
AT ITER 4535 NEW BEST:: SOT 4427652 SOS 753671 HAS SOPS 753671 HAS SOUS 637165 HAS SOUPS 637165 WITH SCORE 637918.671
AT ITER 4537 NEW BEST:: SOT 4427576 SOS 753519 HAS SOPS 753519 HAS SOUS 636996 HAS SOUPS 636996 WITH SCORE 637749.519
AT ITER 4568 NEW BEST:: SOT 4427568 SOS 753503 HAS SOPS 753503 HAS SOUS 636980 HAS SOUPS 636980 WITH SCORE 637733.503
AT ITER 4584 NEW BEST:: SOT 4427476 SOS 753319 HAS SOPS 753319 HAS SOUS 636796 HAS SOUPS 636796 WITH SCORE 637549.319
AT ITER 4605 NEW BEST:: SOT 4427841 SOS 753245 HAS SOPS 753245 HAS SOUS 636785 HAS SOUPS 636785 WITH SCORE 637538.245
AT ITER 4617 NEW BEST:: SOT 4427841 SOS 752988 HAS SOPS 752988 HAS SOUS 636785 HAS SOUPS 636785 WITH SCORE 637537.988
AT ITER 4633 NEW BEST:: SOT 4427740 SOS 752786 HAS SOPS 752786 HAS SOUS 636684 HAS SOUPS 636684 WITH SCORE 637436.786
AT ITER 4634 NEW BEST:: SOT 4427740 SOS 752749 HAS SOPS 752749 HAS SOUS 636683 HAS SOUPS 636683 WITH SCORE 637435.749
AT ITER 4702 NEW BEST:: SOT 4427736 SOS 752737 HAS SOPS 752737 HAS SOUS 636678 HAS SOUPS 636678 WITH SCORE 637430.737
AT ITER 4720 NEW BEST:: SOT 4427602 SOS 752999 HAS SOPS 752999 HAS SOUS 636544 HAS SOUPS 636544 WITH SCORE 637296.999
AT ITER 4743 NEW BEST:: SOT 4427584 SOS 752963 HAS SOPS 752963 HAS SOUS 636508 HAS SOUPS 636508 WITH SCORE 637260.963
AT ITER 4746 NEW BEST:: SOT 4427767 SOS 752787 HAS SOPS 752787 HAS SOUS 636420 HAS SOUPS 636420 WITH SCORE 637172.787
AT ITER 4761 NEW BEST:: SOT 4427728 SOS 752758 HAS SOPS 752758 HAS SOUS 636391 HAS SOUPS 636391 WITH SCORE 637143.758
AT ITER 4779 NEW BEST:: SOT 4427728 SOS 752743 HAS SOPS 752743 HAS SOUS 636376 HAS SOUPS 636376 WITH SCORE 637128.743
AT ITER 4784 NEW BEST:: SOT 4427707 SOS 752701 HAS SOPS 752701 HAS SOUS 636334 HAS SOUPS 636334 WITH SCORE 637086.701
AT ITER 4791 NEW BEST:: SOT 4427642 SOS 752311 HAS SOPS 752311 HAS SOUS 636139 HAS SOUPS 636139 WITH SCORE 636891.311
AT ITER 4812 NEW BEST:: SOT 4427537 SOS 752515 HAS SOPS 752515 HAS SOUS 636081 HAS SOUPS 636081 WITH SCORE 636833.515
AT ITER 4814 NEW BEST:: SOT 4427441 SOS 752355 HAS SOPS 752355 HAS SOUS 635921 HAS SOUPS 635921 WITH SCORE 636673.355
AT ITER 4816 NEW BEST:: SOT 4427440 SOS 752303 HAS SOPS 752303 HAS SOUS 635870 HAS SOUPS 635870 WITH SCORE 636622.303
AT ITER 4886 NEW BEST:: SOT 4427481 SOS 752385 HAS SOPS 752385 HAS SOUS 635588 HAS SOUPS 635588 WITH SCORE 636340.385
AT ITER 4893 NEW BEST:: SOT 4427313 SOS 751516 HAS SOPS 751516 HAS SOUS 635463 HAS SOUPS 635463 WITH SCORE 636214.516
AT ITER 4980 NEW BEST:: SOT 4427061 SOS 751012 HAS SOPS 751012 HAS SOUS 634959 HAS SOUPS 634959 WITH SCORE 635710.012
AT ITER 4981 NEW BEST:: SOT 4427203 SOS 751003 HAS SOPS 751003 HAS SOUS 634899 HAS SOUPS 634899 WITH SCORE 635650.003
Bounds file is: CTLFireability.xml
PROPERTY: CloudReconfiguration-PT-320-CTLFireability-00 (AU( (AF( (! ((potential((tk(P1728)>=1))))))) , (AG( ( ((potential((tk(P762)>=1)))) & ((potential((tk(P364)>=1)))) ))) ))
PROPERTY: CloudReconfiguration-PT-320-CTLFireability-01 ( (AF( ((potential((tk(P443)>=1)))))) & (AU( ( (! ((potential((tk(P1380)>=1))))) & ( ((potential((tk(P613)>=1)))) | ((potential((tk(P562)>=1)))) ) ) , (AF( ((potential((tk(P1595)>=1)))))) )) )
PROPERTY: CloudReconfiguration-PT-320-CTLFireability-02 ( (AX( (EF( ( ((potential((tk(P676)>=1)))) & ((potential((tk(P1559)>=1)))) ))))) & (! (EG( ( ( ((potential((tk(P251)>=1)))) & ((potential((tk(P2519)>=1)))) ) & ((potential((tk(P286)>=1)))) )))) )
PROPERTY: CloudReconfiguration-PT-320-CTLFireability-03 (AF( ((potential((tk(P708)>=1))))))
PROPERTY: CloudReconfiguration-PT-320-CTLFireability-04 (EF( (AF( ( ( ((potential((tk(P573)>=1) & (tk(P1188)>=1)))) | ((potential((tk(P1293)>=1)))) ) | ( ((potential((tk(P240)>=1)))) & ((potential((tk(P219)>=1)))) ) )))))
PROPERTY: CloudReconfiguration-PT-320-CTLFireability-05 ( (AG( ( (! (! ((potential((tk(P909)>=1)))))) | ( (! ((potential((tk(P986)>=1))))) & (! ((potential((tk(P2342)>=1))))) ) ))) & (EU( (EF( ((potential((tk(P1462)>=1)))))) , (! ( ((potential((tk(P1234)>=1)))) & ((potential((tk(P2220)>=1)))) )) )) )
PROPERTY: CloudReconfiguration-PT-320-CTLFireability-06 (AF( (AF( ((potential((tk(P634)>=1))))))))
PROPERTY: CloudReconfiguration-PT-320-CTLFireability-07 (! ( ( (EG( ( ((potential((tk(P573)>=1) & (tk(P2064)>=1)))) | ((potential((tk(P573)>=1) & (tk(P1253)>=1)))) ))) | (EU( ((potential((tk(P2340)>=1)))) , ((potential((tk(P177)>=1)))) )) ) | ( ( ( ((potential((tk(P169)>=1)))) | ((potential((tk(P66)>=1)))) ) | (AF( ((potential((tk(P219)>=1)))))) ) | (AG( (! ((potential((tk(P1051)>=1))))))) ) ))
PROPERTY: CloudReconfiguration-PT-320-CTLFireability-08 (EF( ( ( (AX( ((potential((tk(P1246)>=1) & (tk(P2580)>=1)))))) | ((potential((tk(P389)>=1)))) ) | (AX( ( ((potential((tk(P1337)>=1)))) | ((potential((tk(P1591)>=1)))) ))) )))
PROPERTY: CloudReconfiguration-PT-320-CTLFireability-09 (! (AU( (! ( ((potential((tk(P573)>=1) & (tk(P591)>=1)))) & ((potential((tk(P557)>=1)))) )) , ((potential((tk(P1300)>=1)))) )))
PROPERTY: CloudReconfiguration-PT-320-CTLFireability-10 (AU( (AF( (! ((potential((tk(P1704)>=1))))))) , (AU( ((potential((tk(P295)>=1)))) , ((potential((tk(P1083)>=1)))) )) ))
PROPERTY: CloudReconfiguration-PT-320-CTLFireability-11 (EF( ((potential((tk(P779)>=1))))))
PROPERTY: CloudReconfiguration-PT-320-CTLFireability-12 ( (AF( ( (EX( ((potential((tk(P127)>=1)))))) & ((potential((tk(P144)>=1)))) ))) | (EF( ((potential((tk(P1424)>=1)))))) )
PROPERTY: CloudReconfiguration-PT-320-CTLFireability-13 (AF( ((potential((tk(P1546)>=1))))))
PROPERTY: CloudReconfiguration-PT-320-CTLFireability-14 (EG( (EU( (! ((potential((tk(P491)>=1))))) , ( ((potential((tk(P1875)>=1)))) & ((potential((tk(P1603)>=1)))) ) ))))
PROPERTY: CloudReconfiguration-PT-320-CTLFireability-15 (AF( (EG( ( ( ((potential((tk(P784)>=1)))) & ((potential((tk(P621)>=1)))) ) & (! ((potential((tk(P614)>=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-320"
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-320, 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-158902541800156"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CloudReconfiguration-PT-320.tgz
mv CloudReconfiguration-PT-320 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 '
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 ;