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-158902541700124.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-316, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902541700124
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 832K
-rw-r--r-- 1 mcc users 3.2K Mar 30 01:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 30 01:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 28 16:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K 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.5K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K 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 17K 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 17K Mar 27 08:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 26 08:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K 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 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-316-CTLFireability-00
FORMULA_NAME CloudReconfiguration-PT-316-CTLFireability-01
FORMULA_NAME CloudReconfiguration-PT-316-CTLFireability-02
FORMULA_NAME CloudReconfiguration-PT-316-CTLFireability-03
FORMULA_NAME CloudReconfiguration-PT-316-CTLFireability-04
FORMULA_NAME CloudReconfiguration-PT-316-CTLFireability-05
FORMULA_NAME CloudReconfiguration-PT-316-CTLFireability-06
FORMULA_NAME CloudReconfiguration-PT-316-CTLFireability-07
FORMULA_NAME CloudReconfiguration-PT-316-CTLFireability-08
FORMULA_NAME CloudReconfiguration-PT-316-CTLFireability-09
FORMULA_NAME CloudReconfiguration-PT-316-CTLFireability-10
FORMULA_NAME CloudReconfiguration-PT-316-CTLFireability-11
FORMULA_NAME CloudReconfiguration-PT-316-CTLFireability-12
FORMULA_NAME CloudReconfiguration-PT-316-CTLFireability-13
FORMULA_NAME CloudReconfiguration-PT-316-CTLFireability-14
FORMULA_NAME CloudReconfiguration-PT-316-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589095513084

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 316
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 4449380 SOS 709814 HAS SOPS 709814 HAS SOUS 687976 HAS SOUPS 687976 WITH SCORE 688685.814
AT ITER 3 NEW BEST:: SOT 4449192 SOS 709822 HAS SOPS 709822 HAS SOUS 687855 HAS SOUPS 687855 WITH SCORE 688564.822
AT ITER 14 NEW BEST:: SOT 4448675 SOS 709628 HAS SOPS 709628 HAS SOUS 687369 HAS SOUPS 687369 WITH SCORE 688078.628
AT ITER 24 NEW BEST:: SOT 4448744 SOS 709766 HAS SOPS 709766 HAS SOUS 687199 HAS SOUPS 687199 WITH SCORE 687908.766
AT ITER 63 NEW BEST:: SOT 4448668 SOS 709690 HAS SOPS 709690 HAS SOUS 687123 HAS SOUPS 687123 WITH SCORE 687832.69
AT ITER 108 NEW BEST:: SOT 4448661 SOS 709685 HAS SOPS 709685 HAS SOUS 687118 HAS SOUPS 687118 WITH SCORE 687827.685
AT ITER 164 NEW BEST:: SOT 4448661 SOS 709495 HAS SOPS 709495 HAS SOUS 686928 HAS SOUPS 686928 WITH SCORE 687637.495
AT ITER 180 NEW BEST:: SOT 4448549 SOS 709271 HAS SOPS 709271 HAS SOUS 686704 HAS SOUPS 686704 WITH SCORE 687413.271
AT ITER 216 NEW BEST:: SOT 4448222 SOS 708617 HAS SOPS 708617 HAS SOUS 686050 HAS SOUPS 686050 WITH SCORE 686758.617
AT ITER 260 NEW BEST:: SOT 4448100 SOS 708505 HAS SOPS 708505 HAS SOUS 685938 HAS SOUPS 685938 WITH SCORE 686646.505
AT ITER 291 NEW BEST:: SOT 4447453 SOS 707988 HAS SOPS 707988 HAS SOUS 685421 HAS SOUPS 685421 WITH SCORE 686128.988
AT ITER 297 NEW BEST:: SOT 4447453 SOS 707988 HAS SOPS 707988 HAS SOUS 685315 HAS SOUPS 685315 WITH SCORE 686022.988
AT ITER 329 NEW BEST:: SOT 4447466 SOS 708013 HAS SOPS 708013 HAS SOUS 685024 HAS SOUPS 685024 WITH SCORE 685732.013
AT ITER 330 NEW BEST:: SOT 4447051 SOS 709007 HAS SOPS 709007 HAS SOUS 684949 HAS SOUPS 684949 WITH SCORE 685658.007
AT ITER 355 NEW BEST:: SOT 4447051 SOS 709007 HAS SOPS 709007 HAS SOUS 684846 HAS SOUPS 684846 WITH SCORE 685555.007
AT ITER 359 NEW BEST:: SOT 4446848 SOS 708601 HAS SOPS 708601 HAS SOUS 684440 HAS SOUPS 684440 WITH SCORE 685148.601
AT ITER 411 NEW BEST:: SOT 4446610 SOS 708125 HAS SOPS 708125 HAS SOUS 683964 HAS SOUPS 683964 WITH SCORE 684672.125
AT ITER 447 NEW BEST:: SOT 4446523 SOS 708009 HAS SOPS 708009 HAS SOUS 683848 HAS SOUPS 683848 WITH SCORE 684556.009
AT ITER 496 NEW BEST:: SOT 4446408 SOS 707779 HAS SOPS 707779 HAS SOUS 683733 HAS SOUPS 683733 WITH SCORE 684440.779
AT ITER 497 NEW BEST:: SOT 4446548 SOS 708059 HAS SOPS 708059 HAS SOUS 683561 HAS SOUPS 683561 WITH SCORE 684269.059
AT ITER 512 NEW BEST:: SOT 4446345 SOS 707653 HAS SOPS 707653 HAS SOUS 683155 HAS SOUPS 683155 WITH SCORE 683862.653
AT ITER 514 NEW BEST:: SOT 4446196 SOS 707354 HAS SOPS 707354 HAS SOUS 682856 HAS SOUPS 682856 WITH SCORE 683563.354
AT ITER 569 NEW BEST:: SOT 4446196 SOS 707241 HAS SOPS 707241 HAS SOUS 682743 HAS SOUPS 682743 WITH SCORE 683450.241
AT ITER 626 NEW BEST:: SOT 4446063 SOS 706975 HAS SOPS 706975 HAS SOUS 682477 HAS SOUPS 682477 WITH SCORE 683183.975
AT ITER 634 NEW BEST:: SOT 4445996 SOS 706907 HAS SOPS 706907 HAS SOUS 682409 HAS SOUPS 682409 WITH SCORE 683115.907
AT ITER 638 NEW BEST:: SOT 4445715 SOS 706494 HAS SOPS 706494 HAS SOUS 681996 HAS SOUPS 681996 WITH SCORE 682702.494
AT ITER 643 NEW BEST:: SOT 4445367 SOS 706146 HAS SOPS 706146 HAS SOUS 681648 HAS SOUPS 681648 WITH SCORE 682354.146
AT ITER 687 NEW BEST:: SOT 4445289 SOS 705990 HAS SOPS 705990 HAS SOUS 681492 HAS SOUPS 681492 WITH SCORE 682197.99
AT ITER 722 NEW BEST:: SOT 4445288 SOS 705988 HAS SOPS 705988 HAS SOUS 681490 HAS SOUPS 681490 WITH SCORE 682195.988
AT ITER 741 NEW BEST:: SOT 4444775 SOS 705860 HAS SOPS 705860 HAS SOUS 681234 HAS SOUPS 681234 WITH SCORE 681939.86
AT ITER 820 NEW BEST:: SOT 4444775 SOS 705860 HAS SOPS 705860 HAS SOUS 681008 HAS SOUPS 681008 WITH SCORE 681713.86
AT ITER 849 NEW BEST:: SOT 4444774 SOS 705859 HAS SOPS 705859 HAS SOUS 681008 HAS SOUPS 681008 WITH SCORE 681713.859
AT ITER 870 NEW BEST:: SOT 4444923 SOS 706157 HAS SOPS 706157 HAS SOUS 680916 HAS SOUPS 680916 WITH SCORE 681622.157
AT ITER 891 NEW BEST:: SOT 4444776 SOS 707147 HAS SOPS 707147 HAS SOUS 680655 HAS SOUPS 680655 WITH SCORE 681362.147
AT ITER 935 NEW BEST:: SOT 4444618 SOS 707012 HAS SOPS 707012 HAS SOUS 680520 HAS SOUPS 680520 WITH SCORE 681227.012
AT ITER 944 NEW BEST:: SOT 4444576 SOS 706928 HAS SOPS 706928 HAS SOUS 680436 HAS SOUPS 680436 WITH SCORE 681142.928
AT ITER 959 NEW BEST:: SOT 4444414 SOS 706766 HAS SOPS 706766 HAS SOUS 680274 HAS SOUPS 680274 WITH SCORE 680980.766
AT ITER 988 NEW BEST:: SOT 4444363 SOS 706664 HAS SOPS 706664 HAS SOUS 680172 HAS SOUPS 680172 WITH SCORE 680878.664
AT ITER 992 NEW BEST:: SOT 4444294 SOS 706452 HAS SOPS 706452 HAS SOUS 679960 HAS SOUPS 679960 WITH SCORE 680666.452
AT ITER 996 NEW BEST:: SOT 4444245 SOS 706246 HAS SOPS 706246 HAS SOUS 679803 HAS SOUPS 679803 WITH SCORE 680509.246
AT ITER 997 NEW BEST:: SOT 4444231 SOS 706218 HAS SOPS 706218 HAS SOUS 679775 HAS SOUPS 679775 WITH SCORE 680481.218
AT ITER 1009 NEW BEST:: SOT 4444118 SOS 705992 HAS SOPS 705992 HAS SOUS 679549 HAS SOUPS 679549 WITH SCORE 680254.992
AT ITER 1017 NEW BEST:: SOT 4443902 SOS 705846 HAS SOPS 705846 HAS SOUS 679360 HAS SOUPS 679360 WITH SCORE 680065.846
AT ITER 1020 NEW BEST:: SOT 4443886 SOS 705607 HAS SOPS 705607 HAS SOUS 679160 HAS SOUPS 679160 WITH SCORE 679865.607
AT ITER 1030 NEW BEST:: SOT 4443531 SOS 705107 HAS SOPS 705107 HAS SOUS 678595 HAS SOUPS 678595 WITH SCORE 679300.107
AT ITER 1031 NEW BEST:: SOT 4443508 SOS 705061 HAS SOPS 705061 HAS SOUS 678549 HAS SOUPS 678549 WITH SCORE 679254.061
AT ITER 1063 NEW BEST:: SOT 4443330 SOS 704527 HAS SOPS 704527 HAS SOUS 678193 HAS SOUPS 678193 WITH SCORE 678897.527
AT ITER 1071 NEW BEST:: SOT 4443102 SOS 705807 HAS SOPS 705807 HAS SOUS 678186 HAS SOUPS 678186 WITH SCORE 678891.807
AT ITER 1126 NEW BEST:: SOT 4442696 SOS 705447 HAS SOPS 705447 HAS SOUS 677797 HAS SOUPS 677797 WITH SCORE 678502.447
AT ITER 1136 NEW BEST:: SOT 4442644 SOS 705166 HAS SOPS 705166 HAS SOUS 677568 HAS SOUPS 677568 WITH SCORE 678273.166
AT ITER 1164 NEW BEST:: SOT 4442282 SOS 704442 HAS SOPS 704442 HAS SOUS 676844 HAS SOUPS 676844 WITH SCORE 677548.442
AT ITER 1183 NEW BEST:: SOT 4442137 SOS 704521 HAS SOPS 704521 HAS SOUS 676699 HAS SOUPS 676699 WITH SCORE 677403.521
AT ITER 1242 NEW BEST:: SOT 4442023 SOS 704407 HAS SOPS 704407 HAS SOUS 676585 HAS SOUPS 676585 WITH SCORE 677289.407
AT ITER 1252 NEW BEST:: SOT 4441618 SOS 705151 HAS SOPS 705151 HAS SOUS 676374 HAS SOUPS 676374 WITH SCORE 677079.151
AT ITER 1281 NEW BEST:: SOT 4441311 SOS 704142 HAS SOPS 704142 HAS SOUS 675760 HAS SOUPS 675760 WITH SCORE 676464.142
AT ITER 1283 NEW BEST:: SOT 4441139 SOS 704218 HAS SOPS 704218 HAS SOUS 675492 HAS SOUPS 675492 WITH SCORE 676196.218
AT ITER 1305 NEW BEST:: SOT 4441116 SOS 704172 HAS SOPS 704172 HAS SOUS 675446 HAS SOUPS 675446 WITH SCORE 676150.172
AT ITER 1309 NEW BEST:: SOT 4440957 SOS 703854 HAS SOPS 703854 HAS SOUS 675128 HAS SOUPS 675128 WITH SCORE 675831.854
AT ITER 1330 NEW BEST:: SOT 4440561 SOS 703260 HAS SOPS 703260 HAS SOUS 674534 HAS SOUPS 674534 WITH SCORE 675237.26
AT ITER 1335 NEW BEST:: SOT 4440493 SOS 703192 HAS SOPS 703192 HAS SOUS 674466 HAS SOUPS 674466 WITH SCORE 675169.192
AT ITER 1340 NEW BEST:: SOT 4440493 SOS 703192 HAS SOPS 703192 HAS SOUS 674465 HAS SOUPS 674465 WITH SCORE 675168.192
AT ITER 1347 NEW BEST:: SOT 4440633 SOS 703472 HAS SOPS 703472 HAS SOUS 674271 HAS SOUPS 674271 WITH SCORE 674974.472
AT ITER 1348 NEW BEST:: SOT 4440546 SOS 703298 HAS SOPS 703298 HAS SOUS 674097 HAS SOUPS 674097 WITH SCORE 674800.298
AT ITER 1356 NEW BEST:: SOT 4440487 SOS 703180 HAS SOPS 703180 HAS SOUS 673979 HAS SOUPS 673979 WITH SCORE 674682.18
AT ITER 1360 NEW BEST:: SOT 4440481 SOS 703180 HAS SOPS 703180 HAS SOUS 673976 HAS SOUPS 673976 WITH SCORE 674679.18
AT ITER 1404 NEW BEST:: SOT 4440336 SOS 703280 HAS SOPS 703280 HAS SOUS 673858 HAS SOUPS 673858 WITH SCORE 674561.28
AT ITER 1406 NEW BEST:: SOT 4440336 SOS 703280 HAS SOPS 703280 HAS SOUS 673855 HAS SOUPS 673855 WITH SCORE 674558.28
AT ITER 1416 NEW BEST:: SOT 4438701 SOS 701753 HAS SOPS 701753 HAS SOUS 672241 HAS SOUPS 672241 WITH SCORE 672942.753
AT ITER 1435 NEW BEST:: SOT 4438518 SOS 701387 HAS SOPS 701387 HAS SOUS 671875 HAS SOUPS 671875 WITH SCORE 672576.387
AT ITER 1437 NEW BEST:: SOT 4438518 SOS 701386 HAS SOPS 701386 HAS SOUS 671874 HAS SOUPS 671874 WITH SCORE 672575.386
AT ITER 1440 NEW BEST:: SOT 4438559 SOS 701297 HAS SOPS 701297 HAS SOUS 671785 HAS SOUPS 671785 WITH SCORE 672486.297
AT ITER 1448 NEW BEST:: SOT 4438537 SOS 701253 HAS SOPS 701253 HAS SOUS 671763 HAS SOUPS 671763 WITH SCORE 672464.253
AT ITER 1455 NEW BEST:: SOT 4438489 SOS 701109 HAS SOPS 701109 HAS SOUS 671667 HAS SOUPS 671667 WITH SCORE 672368.109
AT ITER 1461 NEW BEST:: SOT 4438357 SOS 701173 HAS SOPS 701173 HAS SOUS 671582 HAS SOUPS 671582 WITH SCORE 672283.173
AT ITER 1470 NEW BEST:: SOT 4437978 SOS 700623 HAS SOPS 700623 HAS SOUS 671032 HAS SOUPS 671032 WITH SCORE 671732.623
AT ITER 1472 NEW BEST:: SOT 4437870 SOS 700622 HAS SOPS 700622 HAS SOUS 671031 HAS SOUPS 671031 WITH SCORE 671731.622
AT ITER 1492 NEW BEST:: SOT 4437844 SOS 700570 HAS SOPS 700570 HAS SOUS 670979 HAS SOUPS 670979 WITH SCORE 671679.57
AT ITER 1501 NEW BEST:: SOT 4437844 SOS 700271 HAS SOPS 700271 HAS SOUS 670680 HAS SOUPS 670680 WITH SCORE 671380.271
AT ITER 1527 NEW BEST:: SOT 4437823 SOS 700229 HAS SOPS 700229 HAS SOUS 670572 HAS SOUPS 670572 WITH SCORE 671272.229
AT ITER 1537 NEW BEST:: SOT 4437782 SOS 700147 HAS SOPS 700147 HAS SOUS 670544 HAS SOUPS 670544 WITH SCORE 671244.147
AT ITER 1558 NEW BEST:: SOT 4437676 SOS 699829 HAS SOPS 699829 HAS SOUS 670438 HAS SOUPS 670438 WITH SCORE 671137.829
AT ITER 1560 NEW BEST:: SOT 4437589 SOS 699750 HAS SOPS 699750 HAS SOUS 670351 HAS SOUPS 670351 WITH SCORE 671050.75
AT ITER 1564 NEW BEST:: SOT 4437588 SOS 699748 HAS SOPS 699748 HAS SOUS 670349 HAS SOUPS 670349 WITH SCORE 671048.748
AT ITER 1578 NEW BEST:: SOT 4433865 SOS 702592 HAS SOPS 702592 HAS SOUS 666803 HAS SOUPS 666803 WITH SCORE 667505.592
AT ITER 1603 NEW BEST:: SOT 4433815 SOS 702492 HAS SOPS 702492 HAS SOUS 666393 HAS SOUPS 666393 WITH SCORE 667095.492
AT ITER 1611 NEW BEST:: SOT 4433172 SOS 703069 HAS SOPS 703069 HAS SOUS 666324 HAS SOUPS 666324 WITH SCORE 667027.069
AT ITER 1663 NEW BEST:: SOT 4432854 SOS 702857 HAS SOPS 702857 HAS SOUS 666006 HAS SOUPS 666006 WITH SCORE 666708.857
AT ITER 1666 NEW BEST:: SOT 4432803 SOS 702755 HAS SOPS 702755 HAS SOUS 665904 HAS SOUPS 665904 WITH SCORE 666606.755
AT ITER 1677 NEW BEST:: SOT 4432595 SOS 702339 HAS SOPS 702339 HAS SOUS 665694 HAS SOUPS 665694 WITH SCORE 666396.339
AT ITER 1712 NEW BEST:: SOT 4432531 SOS 702434 HAS SOPS 702434 HAS SOUS 665630 HAS SOUPS 665630 WITH SCORE 666332.434
AT ITER 1714 NEW BEST:: SOT 4432531 SOS 702433 HAS SOPS 702433 HAS SOUS 665629 HAS SOUPS 665629 WITH SCORE 666331.433
AT ITER 1726 NEW BEST:: SOT 4432456 SOS 702283 HAS SOPS 702283 HAS SOUS 665554 HAS SOUPS 665554 WITH SCORE 666256.283
AT ITER 1759 NEW BEST:: SOT 4432456 SOS 702283 HAS SOPS 702283 HAS SOUS 665553 HAS SOUPS 665553 WITH SCORE 666255.283
AT ITER 1830 NEW BEST:: SOT 4431883 SOS 701789 HAS SOPS 701789 HAS SOUS 665008 HAS SOUPS 665008 WITH SCORE 665709.789
AT ITER 1841 NEW BEST:: SOT 4431777 SOS 701577 HAS SOPS 701577 HAS SOUS 664796 HAS SOUPS 664796 WITH SCORE 665497.577
AT ITER 1888 NEW BEST:: SOT 4431639 SOS 701439 HAS SOPS 701439 HAS SOUS 664658 HAS SOUPS 664658 WITH SCORE 665359.439
AT ITER 1900 NEW BEST:: SOT 4431770 SOS 701701 HAS SOPS 701701 HAS SOUS 664652 HAS SOUPS 664652 WITH SCORE 665353.701
AT ITER 1938 NEW BEST:: SOT 4431679 SOS 701519 HAS SOPS 701519 HAS SOUS 664561 HAS SOUPS 664561 WITH SCORE 665262.519
AT ITER 1979 NEW BEST:: SOT 4431612 SOS 701707 HAS SOPS 701707 HAS SOUS 664442 HAS SOUPS 664442 WITH SCORE 665143.707
AT ITER 1980 NEW BEST:: SOT 4431612 SOS 701707 HAS SOPS 701707 HAS SOUS 664412 HAS SOUPS 664412 WITH SCORE 665113.707
AT ITER 2040 NEW BEST:: SOT 4431611 SOS 701704 HAS SOPS 701704 HAS SOUS 664409 HAS SOUPS 664409 WITH SCORE 665110.704
AT ITER 2065 NEW BEST:: SOT 4431570 SOS 701622 HAS SOPS 701622 HAS SOUS 664327 HAS SOUPS 664327 WITH SCORE 665028.622
AT ITER 2109 NEW BEST:: SOT 4431486 SOS 701538 HAS SOPS 701538 HAS SOUS 664243 HAS SOUPS 664243 WITH SCORE 664944.538
AT ITER 2125 NEW BEST:: SOT 4431265 SOS 701376 HAS SOPS 701376 HAS SOUS 664022 HAS SOUPS 664022 WITH SCORE 664723.376
AT ITER 2152 NEW BEST:: SOT 4431265 SOS 701375 HAS SOPS 701375 HAS SOUS 664021 HAS SOUPS 664021 WITH SCORE 664722.375
AT ITER 2170 NEW BEST:: SOT 4431142 SOS 701361 HAS SOPS 701361 HAS SOUS 663820 HAS SOUPS 663820 WITH SCORE 664521.361
AT ITER 2175 NEW BEST:: SOT 4430976 SOS 701161 HAS SOPS 701161 HAS SOUS 663620 HAS SOUPS 663620 WITH SCORE 664321.161
AT ITER 2206 NEW BEST:: SOT 4430865 SOS 700939 HAS SOPS 700939 HAS SOUS 663398 HAS SOUPS 663398 WITH SCORE 664098.939
AT ITER 2258 NEW BEST:: SOT 4430848 SOS 700747 HAS SOPS 700747 HAS SOUS 663220 HAS SOUPS 663220 WITH SCORE 663920.747
AT ITER 2278 NEW BEST:: SOT 4430799 SOS 700649 HAS SOPS 700649 HAS SOUS 663171 HAS SOUPS 663171 WITH SCORE 663871.649
AT ITER 2293 NEW BEST:: SOT 4430622 SOS 700295 HAS SOPS 700295 HAS SOUS 662817 HAS SOUPS 662817 WITH SCORE 663517.295
AT ITER 2309 NEW BEST:: SOT 4430571 SOS 700193 HAS SOPS 700193 HAS SOUS 662715 HAS SOUPS 662715 WITH SCORE 663415.193
AT ITER 2310 NEW BEST:: SOT 4430629 SOS 700181 HAS SOPS 700181 HAS SOUS 662703 HAS SOUPS 662703 WITH SCORE 663403.181
AT ITER 2312 NEW BEST:: SOT 4430540 SOS 700003 HAS SOPS 700003 HAS SOUS 662614 HAS SOUPS 662614 WITH SCORE 663314.003
AT ITER 2377 NEW BEST:: SOT 4430509 SOS 699941 HAS SOPS 699941 HAS SOUS 662581 HAS SOUPS 662581 WITH SCORE 663280.941
AT ITER 2444 NEW BEST:: SOT 4430460 SOS 699843 HAS SOPS 699843 HAS SOUS 662483 HAS SOUPS 662483 WITH SCORE 663182.843
AT ITER 2452 NEW BEST:: SOT 4430230 SOS 699383 HAS SOPS 699383 HAS SOUS 662023 HAS SOUPS 662023 WITH SCORE 662722.383
AT ITER 2480 NEW BEST:: SOT 4430229 SOS 699381 HAS SOPS 699381 HAS SOUS 662022 HAS SOUPS 662022 WITH SCORE 662721.381
AT ITER 2495 NEW BEST:: SOT 4430229 SOS 699381 HAS SOPS 699381 HAS SOUS 661870 HAS SOUPS 661870 WITH SCORE 662569.381
AT ITER 2503 NEW BEST:: SOT 4429976 SOS 699127 HAS SOPS 699127 HAS SOUS 661616 HAS SOUPS 661616 WITH SCORE 662315.127
AT ITER 2512 NEW BEST:: SOT 4429848 SOS 698871 HAS SOPS 698871 HAS SOUS 661360 HAS SOUPS 661360 WITH SCORE 662058.871
AT ITER 2527 NEW BEST:: SOT 4429787 SOS 698821 HAS SOPS 698821 HAS SOUS 661299 HAS SOUPS 661299 WITH SCORE 661997.821
AT ITER 2538 NEW BEST:: SOT 4429757 SOS 698791 HAS SOPS 698791 HAS SOUS 661269 HAS SOUPS 661269 WITH SCORE 661967.791
AT ITER 2539 NEW BEST:: SOT 4429603 SOS 698739 HAS SOPS 698739 HAS SOUS 661115 HAS SOUPS 661115 WITH SCORE 661813.739
AT ITER 2553 NEW BEST:: SOT 4429696 SOS 698729 HAS SOPS 698729 HAS SOUS 661105 HAS SOUPS 661105 WITH SCORE 661803.729
AT ITER 2567 NEW BEST:: SOT 4429605 SOS 698547 HAS SOPS 698547 HAS SOUS 661014 HAS SOUPS 661014 WITH SCORE 661712.547
AT ITER 2603 NEW BEST:: SOT 4429390 SOS 699453 HAS SOPS 699453 HAS SOUS 660936 HAS SOUPS 660936 WITH SCORE 661635.453
AT ITER 2606 NEW BEST:: SOT 4429390 SOS 699151 HAS SOPS 699151 HAS SOUS 660936 HAS SOUPS 660936 WITH SCORE 661635.151
AT ITER 2611 NEW BEST:: SOT 4428980 SOS 699171 HAS SOPS 699171 HAS SOUS 660736 HAS SOUPS 660736 WITH SCORE 661435.171
AT ITER 2623 NEW BEST:: SOT 4429006 SOS 699075 HAS SOPS 699075 HAS SOUS 660640 HAS SOUPS 660640 WITH SCORE 661339.075
AT ITER 2626 NEW BEST:: SOT 4428945 SOS 698991 HAS SOPS 698991 HAS SOUS 660551 HAS SOUPS 660551 WITH SCORE 661249.991
AT ITER 2641 NEW BEST:: SOT 4429018 SOS 698806 HAS SOPS 698806 HAS SOUS 660366 HAS SOUPS 660366 WITH SCORE 661064.806
AT ITER 2645 NEW BEST:: SOT 4429018 SOS 698739 HAS SOPS 698739 HAS SOUS 660299 HAS SOUPS 660299 WITH SCORE 660997.739
AT ITER 2665 NEW BEST:: SOT 4428916 SOS 698535 HAS SOPS 698535 HAS SOUS 660195 HAS SOUPS 660195 WITH SCORE 660893.535
AT ITER 2669 NEW BEST:: SOT 4428870 SOS 698174 HAS SOPS 698174 HAS SOUS 659952 HAS SOUPS 659952 WITH SCORE 660650.174
AT ITER 2679 NEW BEST:: SOT 4429000 SOS 698125 HAS SOPS 698125 HAS SOUS 659903 HAS SOUPS 659903 WITH SCORE 660601.125
AT ITER 2697 NEW BEST:: SOT 4428970 SOS 698065 HAS SOPS 698065 HAS SOUS 659843 HAS SOUPS 659843 WITH SCORE 660541.065
AT ITER 2703 NEW BEST:: SOT 4428970 SOS 698065 HAS SOPS 698065 HAS SOUS 659786 HAS SOUPS 659786 WITH SCORE 660484.065
AT ITER 2708 NEW BEST:: SOT 4428908 SOS 697941 HAS SOPS 697941 HAS SOUS 659662 HAS SOUPS 659662 WITH SCORE 660359.941
AT ITER 2709 NEW BEST:: SOT 4428908 SOS 697941 HAS SOPS 697941 HAS SOUS 659614 HAS SOUPS 659614 WITH SCORE 660311.941
AT ITER 2718 NEW BEST:: SOT 4428493 SOS 697595 HAS SOPS 697595 HAS SOUS 659211 HAS SOUPS 659211 WITH SCORE 659908.595
AT ITER 2753 NEW BEST:: SOT 4428655 SOS 697581 HAS SOPS 697581 HAS SOUS 659118 HAS SOUPS 659118 WITH SCORE 659815.581
AT ITER 2768 NEW BEST:: SOT 4428712 SOS 697695 HAS SOPS 697695 HAS SOUS 659046 HAS SOUPS 659046 WITH SCORE 659743.695
AT ITER 2773 NEW BEST:: SOT 4428693 SOS 697657 HAS SOPS 697657 HAS SOUS 659027 HAS SOUPS 659027 WITH SCORE 659724.657
AT ITER 2778 NEW BEST:: SOT 4428609 SOS 697489 HAS SOPS 697489 HAS SOUS 658859 HAS SOUPS 658859 WITH SCORE 659556.489
AT ITER 2815 NEW BEST:: SOT 4428583 SOS 697437 HAS SOPS 697437 HAS SOUS 658833 HAS SOUPS 658833 WITH SCORE 659530.437
AT ITER 2842 NEW BEST:: SOT 4428802 SOS 697619 HAS SOPS 697619 HAS SOUS 658796 HAS SOUPS 658796 WITH SCORE 659493.619
AT ITER 2862 NEW BEST:: SOT 4428466 SOS 697192 HAS SOPS 697192 HAS SOUS 658268 HAS SOUPS 658268 WITH SCORE 658965.192
AT ITER 2864 NEW BEST:: SOT 4428255 SOS 697134 HAS SOPS 697134 HAS SOUS 658210 HAS SOUPS 658210 WITH SCORE 658907.134
AT ITER 2909 NEW BEST:: SOT 4428254 SOS 697132 HAS SOPS 697132 HAS SOUS 658208 HAS SOUPS 658208 WITH SCORE 658905.132
AT ITER 2932 NEW BEST:: SOT 4428046 SOS 696924 HAS SOPS 696924 HAS SOUS 657948 HAS SOUPS 657948 WITH SCORE 658644.924
AT ITER 2942 NEW BEST:: SOT 4427985 SOS 696802 HAS SOPS 696802 HAS SOUS 657826 HAS SOUPS 657826 WITH SCORE 658522.802
AT ITER 2956 NEW BEST:: SOT 4422658 SOS 736380 HAS SOPS 736380 HAS SOUS 654448 HAS SOUPS 654448 WITH SCORE 655184.38
AT ITER 3009 NEW BEST:: SOT 4422477 SOS 736018 HAS SOPS 736018 HAS SOUS 654086 HAS SOUPS 654086 WITH SCORE 654822.018
AT ITER 3010 NEW BEST:: SOT 4422376 SOS 735816 HAS SOPS 735816 HAS SOUS 654050 HAS SOUPS 654050 WITH SCORE 654785.816
AT ITER 3016 NEW BEST:: SOT 4422022 SOS 735108 HAS SOPS 735108 HAS SOUS 653670 HAS SOUPS 653670 WITH SCORE 654405.108
AT ITER 3030 NEW BEST:: SOT 4422004 SOS 735072 HAS SOPS 735072 HAS SOUS 653572 HAS SOUPS 653572 WITH SCORE 654307.072
AT ITER 3048 NEW BEST:: SOT 4421981 SOS 735026 HAS SOPS 735026 HAS SOUS 653526 HAS SOUPS 653526 WITH SCORE 654261.026
AT ITER 3058 NEW BEST:: SOT 4421577 SOS 734218 HAS SOPS 734218 HAS SOUS 653062 HAS SOUPS 653062 WITH SCORE 653796.218
AT ITER 3101 NEW BEST:: SOT 4421576 SOS 734216 HAS SOPS 734216 HAS SOUS 653060 HAS SOUPS 653060 WITH SCORE 653794.216
AT ITER 3102 NEW BEST:: SOT 4421576 SOS 734078 HAS SOPS 734078 HAS SOUS 653060 HAS SOUPS 653060 WITH SCORE 653794.078
AT ITER 3114 NEW BEST:: SOT 4421433 SOS 734440 HAS SOPS 734440 HAS SOUS 652826 HAS SOUPS 652826 WITH SCORE 653560.44
AT ITER 3117 NEW BEST:: SOT 4421433 SOS 734440 HAS SOPS 734440 HAS SOUS 652784 HAS SOUPS 652784 WITH SCORE 653518.44
AT ITER 3122 NEW BEST:: SOT 4421516 SOS 734606 HAS SOPS 734606 HAS SOUS 652714 HAS SOUPS 652714 WITH SCORE 653448.606
AT ITER 3161 NEW BEST:: SOT 4421443 SOS 734460 HAS SOPS 734460 HAS SOUS 652568 HAS SOUPS 652568 WITH SCORE 653302.46
AT ITER 3174 NEW BEST:: SOT 4421410 SOS 734416 HAS SOPS 734416 HAS SOUS 652524 HAS SOUPS 652524 WITH SCORE 653258.416
AT ITER 3181 NEW BEST:: SOT 4419936 SOS 735245 HAS SOPS 735245 HAS SOUS 651825 HAS SOUPS 651825 WITH SCORE 652560.245
AT ITER 3189 NEW BEST:: SOT 4419850 SOS 735073 HAS SOPS 735073 HAS SOUS 651653 HAS SOUPS 651653 WITH SCORE 652388.073
AT ITER 3217 NEW BEST:: SOT 4419894 SOS 735161 HAS SOPS 735161 HAS SOUS 651408 HAS SOUPS 651408 WITH SCORE 652143.161
AT ITER 3223 NEW BEST:: SOT 4419417 SOS 734525 HAS SOPS 734525 HAS SOUS 650772 HAS SOUPS 650772 WITH SCORE 651506.525
AT ITER 3249 NEW BEST:: SOT 4419371 SOS 734433 HAS SOPS 734433 HAS SOUS 650745 HAS SOUPS 650745 WITH SCORE 651479.433
AT ITER 3271 NEW BEST:: SOT 4419193 SOS 734077 HAS SOPS 734077 HAS SOUS 650567 HAS SOUPS 650567 WITH SCORE 651301.077
AT ITER 3272 NEW BEST:: SOT 4419193 SOS 734012 HAS SOPS 734012 HAS SOUS 650567 HAS SOUPS 650567 WITH SCORE 651301.012
AT ITER 3292 NEW BEST:: SOT 4418982 SOS 733590 HAS SOPS 733590 HAS SOUS 650321 HAS SOUPS 650321 WITH SCORE 651054.59
AT ITER 3294 NEW BEST:: SOT 4418862 SOS 733510 HAS SOPS 733510 HAS SOUS 650201 HAS SOUPS 650201 WITH SCORE 650934.51
AT ITER 3333 NEW BEST:: SOT 4418816 SOS 733510 HAS SOPS 733510 HAS SOUS 650178 HAS SOUPS 650178 WITH SCORE 650911.51
AT ITER 3346 NEW BEST:: SOT 4418814 SOS 733506 HAS SOPS 733506 HAS SOUS 650174 HAS SOUPS 650174 WITH SCORE 650907.506
AT ITER 3348 NEW BEST:: SOT 4418814 SOS 733394 HAS SOPS 733394 HAS SOUS 650174 HAS SOUPS 650174 WITH SCORE 650907.394
AT ITER 3350 NEW BEST:: SOT 4418409 SOS 733044 HAS SOPS 733044 HAS SOUS 649824 HAS SOUPS 649824 WITH SCORE 650557.044
AT ITER 3361 NEW BEST:: SOT 4418167 SOS 732938 HAS SOPS 732938 HAS SOUS 649718 HAS SOUPS 649718 WITH SCORE 650450.938
AT ITER 3378 NEW BEST:: SOT 4417780 SOS 732164 HAS SOPS 732164 HAS SOUS 649575 HAS SOUPS 649575 WITH SCORE 650307.164
AT ITER 3405 NEW BEST:: SOT 4417796 SOS 732196 HAS SOPS 732196 HAS SOUS 649567 HAS SOUPS 649567 WITH SCORE 650299.196
AT ITER 3417 NEW BEST:: SOT 4417796 SOS 732196 HAS SOPS 732196 HAS SOUS 649564 HAS SOUPS 649564 WITH SCORE 650296.196
AT ITER 3444 NEW BEST:: SOT 4417545 SOS 731694 HAS SOPS 731694 HAS SOUS 649062 HAS SOUPS 649062 WITH SCORE 649793.694
AT ITER 3455 NEW BEST:: SOT 4417545 SOS 731694 HAS SOPS 731694 HAS SOUS 648986 HAS SOUPS 648986 WITH SCORE 649717.694
AT ITER 3469 NEW BEST:: SOT 4417531 SOS 731666 HAS SOPS 731666 HAS SOUS 648958 HAS SOUPS 648958 WITH SCORE 649689.666
AT ITER 3493 NEW BEST:: SOT 4417422 SOS 731621 HAS SOPS 731621 HAS SOUS 648913 HAS SOUPS 648913 WITH SCORE 649644.621
AT ITER 3501 NEW BEST:: SOT 4417421 SOS 731619 HAS SOPS 731619 HAS SOUS 648911 HAS SOUPS 648911 WITH SCORE 649642.619
AT ITER 3523 NEW BEST:: SOT 4417411 SOS 731599 HAS SOPS 731599 HAS SOUS 648756 HAS SOUPS 648756 WITH SCORE 649487.599
AT ITER 3542 NEW BEST:: SOT 4417406 SOS 731589 HAS SOPS 731589 HAS SOUS 648612 HAS SOUPS 648612 WITH SCORE 649343.589
AT ITER 3548 NEW BEST:: SOT 4416928 SOS 731097 HAS SOPS 731097 HAS SOUS 647902 HAS SOUPS 647902 WITH SCORE 648633.097
AT ITER 3580 NEW BEST:: SOT 4416928 SOS 730890 HAS SOPS 730890 HAS SOUS 647902 HAS SOUPS 647902 WITH SCORE 648632.89
AT ITER 3602 NEW BEST:: SOT 4416928 SOS 730795 HAS SOPS 730795 HAS SOUS 647806 HAS SOUPS 647806 WITH SCORE 648536.795
AT ITER 3603 NEW BEST:: SOT 4417231 SOS 730647 HAS SOPS 730647 HAS SOUS 647732 HAS SOUPS 647732 WITH SCORE 648462.647
AT ITER 3614 NEW BEST:: SOT 4417285 SOS 730606 HAS SOPS 730606 HAS SOUS 647426 HAS SOUPS 647426 WITH SCORE 648156.606
AT ITER 3625 NEW BEST:: SOT 4417253 SOS 730542 HAS SOPS 730542 HAS SOUS 647362 HAS SOUPS 647362 WITH SCORE 648092.542
AT ITER 3632 NEW BEST:: SOT 4417238 SOS 730512 HAS SOPS 730512 HAS SOUS 647347 HAS SOUPS 647347 WITH SCORE 648077.512
AT ITER 3655 NEW BEST:: SOT 4417238 SOS 730406 HAS SOPS 730406 HAS SOUS 647294 HAS SOUPS 647294 WITH SCORE 648024.406
AT ITER 3708 NEW BEST:: SOT 4417146 SOS 730222 HAS SOPS 730222 HAS SOUS 647110 HAS SOUPS 647110 WITH SCORE 647840.222
AT ITER 3709 NEW BEST:: SOT 4417145 SOS 730220 HAS SOPS 730220 HAS SOUS 647108 HAS SOUPS 647108 WITH SCORE 647838.22
AT ITER 3780 NEW BEST:: SOT 4417120 SOS 730056 HAS SOPS 730056 HAS SOUS 646969 HAS SOUPS 646969 WITH SCORE 647699.056
AT ITER 3781 NEW BEST:: SOT 4417251 SOS 730318 HAS SOPS 730318 HAS SOUS 646931 HAS SOUPS 646931 WITH SCORE 647661.318
AT ITER 3784 NEW BEST:: SOT 4417231 SOS 730328 HAS SOPS 730328 HAS SOUS 646921 HAS SOUPS 646921 WITH SCORE 647651.328
AT ITER 3796 NEW BEST:: SOT 4417017 SOS 729900 HAS SOPS 729900 HAS SOUS 646493 HAS SOUPS 646493 WITH SCORE 647222.9
AT ITER 3805 NEW BEST:: SOT 4417017 SOS 729870 HAS SOPS 729870 HAS SOUS 646463 HAS SOUPS 646463 WITH SCORE 647192.87
AT ITER 3812 NEW BEST:: SOT 4416999 SOS 729852 HAS SOPS 729852 HAS SOUS 646445 HAS SOUPS 646445 WITH SCORE 647174.852
AT ITER 3832 NEW BEST:: SOT 4416999 SOS 729803 HAS SOPS 729803 HAS SOUS 646445 HAS SOUPS 646445 WITH SCORE 647174.803
AT ITER 3859 NEW BEST:: SOT 4417100 SOS 730005 HAS SOPS 730005 HAS SOUS 646389 HAS SOUPS 646389 WITH SCORE 647119.005
AT ITER 3872 NEW BEST:: SOT 4417067 SOS 729939 HAS SOPS 729939 HAS SOUS 646323 HAS SOUPS 646323 WITH SCORE 647052.939
AT ITER 3880 NEW BEST:: SOT 4417174 SOS 730153 HAS SOPS 730153 HAS SOUS 645982 HAS SOUPS 645982 WITH SCORE 646712.153
AT ITER 3890 NEW BEST:: SOT 4416954 SOS 729713 HAS SOPS 729713 HAS SOUS 645542 HAS SOUPS 645542 WITH SCORE 646271.713
AT ITER 3892 NEW BEST:: SOT 4416867 SOS 729539 HAS SOPS 729539 HAS SOUS 645288 HAS SOUPS 645288 WITH SCORE 646017.539
AT ITER 3894 NEW BEST:: SOT 4416508 SOS 730389 HAS SOPS 730389 HAS SOUS 645152 HAS SOUPS 645152 WITH SCORE 645882.389
AT ITER 3915 NEW BEST:: SOT 4416342 SOS 730057 HAS SOPS 730057 HAS SOUS 644820 HAS SOUPS 644820 WITH SCORE 645550.057
AT ITER 3923 NEW BEST:: SOT 4416342 SOS 730057 HAS SOPS 730057 HAS SOUS 644819 HAS SOUPS 644819 WITH SCORE 645549.057
AT ITER 3945 NEW BEST:: SOT 4416341 SOS 730055 HAS SOPS 730055 HAS SOUS 644817 HAS SOUPS 644817 WITH SCORE 645547.055
AT ITER 3947 NEW BEST:: SOT 4416246 SOS 730697 HAS SOPS 730697 HAS SOUS 644770 HAS SOUPS 644770 WITH SCORE 645500.697
AT ITER 3949 NEW BEST:: SOT 4416246 SOS 730615 HAS SOPS 730615 HAS SOUS 644688 HAS SOUPS 644688 WITH SCORE 645418.615
AT ITER 3963 NEW BEST:: SOT 4416079 SOS 730281 HAS SOPS 730281 HAS SOUS 644354 HAS SOUPS 644354 WITH SCORE 645084.281
AT ITER 3972 NEW BEST:: SOT 4415853 SOS 729829 HAS SOPS 729829 HAS SOUS 644310 HAS SOUPS 644310 WITH SCORE 645039.829
AT ITER 4005 NEW BEST:: SOT 4415763 SOS 729769 HAS SOPS 729769 HAS SOUS 644220 HAS SOUPS 644220 WITH SCORE 644949.769
AT ITER 4015 NEW BEST:: SOT 4415703 SOS 729649 HAS SOPS 729649 HAS SOUS 644100 HAS SOUPS 644100 WITH SCORE 644829.649
AT ITER 4048 NEW BEST:: SOT 4415703 SOS 729507 HAS SOPS 729507 HAS SOUS 644100 HAS SOUPS 644100 WITH SCORE 644829.507
AT ITER 4066 NEW BEST:: SOT 4415688 SOS 729276 HAS SOPS 729276 HAS SOUS 643884 HAS SOUPS 643884 WITH SCORE 644613.276
AT ITER 4072 NEW BEST:: SOT 4415434 SOS 729449 HAS SOPS 729449 HAS SOUS 643574 HAS SOUPS 643574 WITH SCORE 644303.449
AT ITER 4080 NEW BEST:: SOT 4415358 SOS 729536 HAS SOPS 729536 HAS SOUS 643417 HAS SOUPS 643417 WITH SCORE 644146.536
AT ITER 4130 NEW BEST:: SOT 4415344 SOS 729508 HAS SOPS 729508 HAS SOUS 643400 HAS SOUPS 643400 WITH SCORE 644129.508
AT ITER 4133 NEW BEST:: SOT 4415385 SOS 729590 HAS SOPS 729590 HAS SOUS 643335 HAS SOUPS 643335 WITH SCORE 644064.59
AT ITER 4169 NEW BEST:: SOT 4415348 SOS 729516 HAS SOPS 729516 HAS SOUS 643261 HAS SOUPS 643261 WITH SCORE 643990.516
AT ITER 4221 NEW BEST:: SOT 4415174 SOS 729168 HAS SOPS 729168 HAS SOUS 643180 HAS SOUPS 643180 WITH SCORE 643909.168
AT ITER 4258 NEW BEST:: SOT 4415102 SOS 729024 HAS SOPS 729024 HAS SOUS 643036 HAS SOUPS 643036 WITH SCORE 643765.024
AT ITER 4279 NEW BEST:: SOT 4415102 SOS 728955 HAS SOPS 728955 HAS SOUS 642967 HAS SOUPS 642967 WITH SCORE 643695.955
AT ITER 4310 NEW BEST:: SOT 4415065 SOS 728881 HAS SOPS 728881 HAS SOUS 642893 HAS SOUPS 642893 WITH SCORE 643621.881
AT ITER 4313 NEW BEST:: SOT 4414777 SOS 728416 HAS SOPS 728416 HAS SOUS 642729 HAS SOUPS 642729 WITH SCORE 643457.416
AT ITER 4363 NEW BEST:: SOT 4414777 SOS 728394 HAS SOPS 728394 HAS SOUS 642707 HAS SOUPS 642707 WITH SCORE 643435.394
AT ITER 4364 NEW BEST:: SOT 4414777 SOS 728157 HAS SOPS 728157 HAS SOUS 642707 HAS SOUPS 642707 WITH SCORE 643435.157
AT ITER 4375 NEW BEST:: SOT 4414754 SOS 728111 HAS SOPS 728111 HAS SOUS 642661 HAS SOUPS 642661 WITH SCORE 643389.111
AT ITER 4377 NEW BEST:: SOT 4414728 SOS 728085 HAS SOPS 728085 HAS SOUS 642635 HAS SOUPS 642635 WITH SCORE 643363.085
AT ITER 4383 NEW BEST:: SOT 4414728 SOS 728034 HAS SOPS 728034 HAS SOUS 642584 HAS SOUPS 642584 WITH SCORE 643312.034
AT ITER 4390 NEW BEST:: SOT 4414452 SOS 727772 HAS SOPS 727772 HAS SOUS 642280 HAS SOUPS 642280 WITH SCORE 643007.772
AT ITER 4395 NEW BEST:: SOT 4414452 SOS 727772 HAS SOPS 727772 HAS SOUS 642158 HAS SOUPS 642158 WITH SCORE 642885.772
AT ITER 4405 NEW BEST:: SOT 4414503 SOS 727874 HAS SOPS 727874 HAS SOUS 642108 HAS SOUPS 642108 WITH SCORE 642835.874
AT ITER 4437 NEW BEST:: SOT 4414390 SOS 727648 HAS SOPS 727648 HAS SOUS 642074 HAS SOUPS 642074 WITH SCORE 642801.648
AT ITER 4482 NEW BEST:: SOT 4414192 SOS 727450 HAS SOPS 727450 HAS SOUS 641876 HAS SOUPS 641876 WITH SCORE 642603.45
AT ITER 4509 NEW BEST:: SOT 4413916 SOS 726898 HAS SOPS 726898 HAS SOUS 641664 HAS SOUPS 641664 WITH SCORE 642390.898
AT ITER 4515 NEW BEST:: SOT 4413810 SOS 726792 HAS SOPS 726792 HAS SOUS 641558 HAS SOUPS 641558 WITH SCORE 642284.792
AT ITER 4520 NEW BEST:: SOT 4413705 SOS 726582 HAS SOPS 726582 HAS SOUS 641348 HAS SOUPS 641348 WITH SCORE 642074.582
AT ITER 4553 NEW BEST:: SOT 4413704 SOS 726580 HAS SOPS 726580 HAS SOUS 641346 HAS SOUPS 641346 WITH SCORE 642072.58
AT ITER 4557 NEW BEST:: SOT 4413643 SOS 726376 HAS SOPS 726376 HAS SOUS 641213 HAS SOUPS 641213 WITH SCORE 641939.376
AT ITER 4573 NEW BEST:: SOT 4413479 SOS 726212 HAS SOPS 726212 HAS SOUS 641213 HAS SOUPS 641213 WITH SCORE 641939.212
AT ITER 4618 NEW BEST:: SOT 4413472 SOS 726198 HAS SOPS 726198 HAS SOUS 641199 HAS SOUPS 641199 WITH SCORE 641925.198
AT ITER 4633 NEW BEST:: SOT 4413372 SOS 726164 HAS SOPS 726164 HAS SOUS 641160 HAS SOUPS 641160 WITH SCORE 641886.164
AT ITER 4640 NEW BEST:: SOT 4413385 SOS 725980 HAS SOPS 725980 HAS SOUS 640976 HAS SOUPS 640976 WITH SCORE 641701.98
AT ITER 4766 NEW BEST:: SOT 4413379 SOS 725943 HAS SOPS 725943 HAS SOUS 640963 HAS SOUPS 640963 WITH SCORE 641688.943
AT ITER 4821 NEW BEST:: SOT 4413227 SOS 725639 HAS SOPS 725639 HAS SOUS 640855 HAS SOUPS 640855 WITH SCORE 641580.639
AT ITER 4829 NEW BEST:: SOT 4412971 SOS 725127 HAS SOPS 725127 HAS SOUS 640368 HAS SOUPS 640368 WITH SCORE 641093.127
AT ITER 4830 NEW BEST:: SOT 4412946 SOS 725077 HAS SOPS 725077 HAS SOUS 640343 HAS SOUPS 640343 WITH SCORE 641068.077
AT ITER 4834 NEW BEST:: SOT 4412852 SOS 724889 HAS SOPS 724889 HAS SOUS 640088 HAS SOUPS 640088 WITH SCORE 640812.889
AT ITER 4848 NEW BEST:: SOT 4412697 SOS 724902 HAS SOPS 724902 HAS SOUS 640000 HAS SOUPS 640000 WITH SCORE 640724.902
AT ITER 4876 NEW BEST:: SOT 4412665 SOS 724838 HAS SOPS 724838 HAS SOUS 639936 HAS SOUPS 639936 WITH SCORE 640660.838
AT ITER 4889 NEW BEST:: SOT 4412664 SOS 724836 HAS SOPS 724836 HAS SOUS 639934 HAS SOUPS 639934 WITH SCORE 640658.836
AT ITER 4910 NEW BEST:: SOT 4412664 SOS 724668 HAS SOPS 724668 HAS SOUS 639766 HAS SOUPS 639766 WITH SCORE 640490.668
AT ITER 4911 NEW BEST:: SOT 4412578 SOS 724496 HAS SOPS 724496 HAS SOUS 639594 HAS SOUPS 639594 WITH SCORE 640318.496
AT ITER 4918 NEW BEST:: SOT 4412528 SOS 724396 HAS SOPS 724396 HAS SOUS 639494 HAS SOUPS 639494 WITH SCORE 640218.396
AT ITER 4949 NEW BEST:: SOT 4412472 SOS 724284 HAS SOPS 724284 HAS SOUS 639113 HAS SOUPS 639113 WITH SCORE 639837.284
AT ITER 4958 NEW BEST:: SOT 4412436 SOS 724212 HAS SOPS 724212 HAS SOUS 639077 HAS SOUPS 639077 WITH SCORE 639801.212
AT ITER 4959 NEW BEST:: SOT 4412379 SOS 724155 HAS SOPS 724155 HAS SOUS 639020 HAS SOUPS 639020 WITH SCORE 639744.155
AT ITER 4970 NEW BEST:: SOT 4412232 SOS 723861 HAS SOPS 723861 HAS SOUS 638628 HAS SOUPS 638628 WITH SCORE 639351.861
AT ITER 4975 NEW BEST:: SOT 4412217 SOS 723831 HAS SOPS 723831 HAS SOUS 638613 HAS SOUPS 638613 WITH SCORE 639336.831
AT ITER 4999 NEW BEST:: SOT 4412086 SOS 723569 HAS SOPS 723569 HAS SOUS 638351 HAS SOUPS 638351 WITH SCORE 639074.569
Bounds file is: CTLFireability.xml
PROPERTY: CloudReconfiguration-PT-316-CTLFireability-00 (AF( ( ((potential((tk(P663)>=1)))) & ((potential((tk(P598)>=1)))) )))
PROPERTY: CloudReconfiguration-PT-316-CTLFireability-01 ( (EF( (! (AF( ((potential((tk(P837)>=1))))))))) | (EU( ( ( ((potential((tk(P1536)>=1)))) & ((potential((tk(P1743)>=1)))) ) | ( ((potential((tk(P1959)>=1)))) & ((potential((tk(P1509)>=1)))) ) ) , (AX( ((potential((tk(P1230)>=1)))))) )) )
PROPERTY: CloudReconfiguration-PT-316-CTLFireability-02 (EF( (EG( ((potential((tk(P1823)>=1))))))))
PROPERTY: CloudReconfiguration-PT-316-CTLFireability-03 (EF( (EX( (AG( ((potential((tk(P1453)>=1))))))))))
PROPERTY: CloudReconfiguration-PT-316-CTLFireability-04 (AX( (AF( (AG( ((potential((tk(P1379)>=1))))))))))
PROPERTY: CloudReconfiguration-PT-316-CTLFireability-05 (EF( (EG( ( ( ((potential((tk(P2212)>=1)))) | ((potential((tk(P878)>=1)))) ) & ((potential((tk(P458)>=1)))) )))))
PROPERTY: CloudReconfiguration-PT-316-CTLFireability-06 (! ( (! (EF( ((potential((tk(P622)>=1))))))) & (EG( ( (! ((potential((tk(P57)>=1))))) | ( ((potential((tk(P2099)>=1)))) | ((potential((tk(P1041)>=1)))) ) ))) ))
PROPERTY: CloudReconfiguration-PT-316-CTLFireability-07 (EF( (AF( (EX( ((potential((tk(P976)>=1))))))))))
PROPERTY: CloudReconfiguration-PT-316-CTLFireability-08 (EU( ( (AF( ((potential((tk(P2422)>=1)))))) & ((potential((tk(P1605)>=1)))) ) , (! (EF( ((potential((tk(P1871)>=1))))))) ))
PROPERTY: CloudReconfiguration-PT-316-CTLFireability-09 ( ( ( (AF( ((potential((tk(P900)>=1)))))) & ( (EX( ((potential((tk(P88)>=1)))))) & ( ( ((potential((tk(P884)>=1)))) & ((potential((tk(P246)>=1)))) ) | ((potential((tk(P2014)>=1)))) ) ) ) | (! (AF( ( ((potential((tk(P2115)>=1)))) & ((potential((tk(P180)>=1)))) )))) ) | (AU( (AG( ((potential((tk(P2371)>=1)))))) , (EG( ((potential((tk(P59)>=1)))))) )) )
PROPERTY: CloudReconfiguration-PT-316-CTLFireability-10 (AF( ( ( ( ( ((potential((tk(P1969)>=1)))) & ((potential((tk(P1302)>=1)))) ) | ( ((potential((tk(P1572)>=1)))) & ((potential((tk(P1297)>=1)))) ) ) & ((potential((tk(P2129)>=1)))) ) | ( ((potential((tk(P908)>=1)))) & ( ((potential((tk(P721)>=1)))) & ( ((potential((tk(P1664)>=1)))) & ((potential((tk(P2082)>=1)))) ) ) ) )))
PROPERTY: CloudReconfiguration-PT-316-CTLFireability-11 (AU( ( ((potential((tk(P690)>=1)))) & (AX( ((potential((tk(P1628)>=1)))))) ) , ( (AF( ((potential((tk(P208)>=1)))))) | ((potential((tk(P2213)>=1)))) ) ))
PROPERTY: CloudReconfiguration-PT-316-CTLFireability-12 (AF( (! (AF( ( ((potential((tk(P2382)>=1)))) & ((potential((tk(P1163)>=1)))) ))))))
PROPERTY: CloudReconfiguration-PT-316-CTLFireability-13 ( (AX( ((potential((tk(P481)>=1)))))) | (! (AG( ( (! ((potential((tk(P573)>=1) & (tk(P2123)>=1))))) | ( ((potential((tk(P573)>=1) & (tk(P1873)>=1)))) & ((potential((tk(P1182)>=1)))) ) )))) )
PROPERTY: CloudReconfiguration-PT-316-CTLFireability-14 ( ((potential((tk(P164)>=1)))) | ( ( (! (EF( ((potential((tk(P192)>=1))))))) | ((potential((tk(P1854)>=1)))) ) & (! ( (EX( ((potential((tk(P1349)>=1)))))) | (EX( ((potential((tk(P1112)>=1)))))) )) ) )
PROPERTY: CloudReconfiguration-PT-316-CTLFireability-15 ( (AX( ( ((potential((tk(P2009)>=1)))) & (EG( ((potential((tk(P1803)>=1)))))) ))) | (AF( (EU( ((potential((tk(P1937)>=1)))) , ((potential((tk(P2144)>=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-316"
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-316, 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-158902541700124"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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