fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r048-ebro-158902541700084
Last Updated
Jun 28, 2020

About the Execution of smart for CloudReconfiguration-PT-311

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15764.470 3600000.00 3600090.00 9.90 [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-158902541700084.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-311, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902541700084
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 836K
-rw-r--r-- 1 mcc users 3.5K Mar 30 01:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 30 01:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 28 16:13 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 16:13 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.7K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K 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:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 08:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 26 08:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K 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-311-CTLFireability-00
FORMULA_NAME CloudReconfiguration-PT-311-CTLFireability-01
FORMULA_NAME CloudReconfiguration-PT-311-CTLFireability-02
FORMULA_NAME CloudReconfiguration-PT-311-CTLFireability-03
FORMULA_NAME CloudReconfiguration-PT-311-CTLFireability-04
FORMULA_NAME CloudReconfiguration-PT-311-CTLFireability-05
FORMULA_NAME CloudReconfiguration-PT-311-CTLFireability-06
FORMULA_NAME CloudReconfiguration-PT-311-CTLFireability-07
FORMULA_NAME CloudReconfiguration-PT-311-CTLFireability-08
FORMULA_NAME CloudReconfiguration-PT-311-CTLFireability-09
FORMULA_NAME CloudReconfiguration-PT-311-CTLFireability-10
FORMULA_NAME CloudReconfiguration-PT-311-CTLFireability-11
FORMULA_NAME CloudReconfiguration-PT-311-CTLFireability-12
FORMULA_NAME CloudReconfiguration-PT-311-CTLFireability-13
FORMULA_NAME CloudReconfiguration-PT-311-CTLFireability-14
FORMULA_NAME CloudReconfiguration-PT-311-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589091798040

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 311
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 4449288 SOS 709644 HAS SOPS 709644 HAS SOUS 687805 HAS SOUPS 687805 WITH SCORE 688514.644
AT ITER 9 NEW BEST:: SOT 4449288 SOS 709492 HAS SOPS 709492 HAS SOUS 687805 HAS SOUPS 687805 WITH SCORE 688514.492
AT ITER 41 NEW BEST:: SOT 4445785 SOS 779010 HAS SOPS 779010 HAS SOUS 687543 HAS SOUPS 687543 WITH SCORE 688322.01
AT ITER 42 NEW BEST:: SOT 4445661 SOS 778912 HAS SOPS 778912 HAS SOUS 687445 HAS SOUPS 687445 WITH SCORE 688223.912
AT ITER 46 NEW BEST:: SOT 4445661 SOS 778912 HAS SOPS 778912 HAS SOUS 687444 HAS SOUPS 687444 WITH SCORE 688222.912
AT ITER 52 NEW BEST:: SOT 4445660 SOS 778939 HAS SOPS 778939 HAS SOUS 687442 HAS SOUPS 687442 WITH SCORE 688220.939
AT ITER 53 NEW BEST:: SOT 4445509 SOS 778857 HAS SOPS 778857 HAS SOUS 687106 HAS SOUPS 687106 WITH SCORE 687884.857
AT ITER 69 NEW BEST:: SOT 4445363 SOS 778711 HAS SOPS 778711 HAS SOUS 686960 HAS SOUPS 686960 WITH SCORE 687738.711
AT ITER 118 NEW BEST:: SOT 4445338 SOS 778709 HAS SOPS 778709 HAS SOUS 686958 HAS SOUPS 686958 WITH SCORE 687736.709
AT ITER 123 NEW BEST:: SOT 4445010 SOS 779109 HAS SOPS 779109 HAS SOUS 686819 HAS SOUPS 686819 WITH SCORE 687598.109
AT ITER 126 NEW BEST:: SOT 4444819 SOS 778727 HAS SOPS 778727 HAS SOUS 686437 HAS SOUPS 686437 WITH SCORE 687215.727
AT ITER 146 NEW BEST:: SOT 4444553 SOS 778423 HAS SOPS 778423 HAS SOUS 686108 HAS SOUPS 686108 WITH SCORE 686886.423
AT ITER 154 NEW BEST:: SOT 4444383 SOS 778423 HAS SOPS 778423 HAS SOUS 685999 HAS SOUPS 685999 WITH SCORE 686777.423
AT ITER 189 NEW BEST:: SOT 4444144 SOS 777945 HAS SOPS 777945 HAS SOUS 685521 HAS SOUPS 685521 WITH SCORE 686298.945
AT ITER 191 NEW BEST:: SOT 4444144 SOS 777945 HAS SOPS 777945 HAS SOUS 685231 HAS SOUPS 685231 WITH SCORE 686008.945
AT ITER 195 NEW BEST:: SOT 4444141 SOS 777939 HAS SOPS 777939 HAS SOUS 685228 HAS SOUPS 685228 WITH SCORE 686005.939
AT ITER 249 NEW BEST:: SOT 4443925 SOS 777785 HAS SOPS 777785 HAS SOUS 685042 HAS SOUPS 685042 WITH SCORE 685819.785
AT ITER 251 NEW BEST:: SOT 4443925 SOS 777483 HAS SOPS 777483 HAS SOUS 684740 HAS SOUPS 684740 WITH SCORE 685517.483
AT ITER 262 NEW BEST:: SOT 4443924 SOS 777481 HAS SOPS 777481 HAS SOUS 684738 HAS SOUPS 684738 WITH SCORE 685515.481
AT ITER 267 NEW BEST:: SOT 4443973 SOS 777579 HAS SOPS 777579 HAS SOUS 684571 HAS SOUPS 684571 WITH SCORE 685348.579
AT ITER 278 NEW BEST:: SOT 4443819 SOS 777271 HAS SOPS 777271 HAS SOUS 684263 HAS SOUPS 684263 WITH SCORE 685040.271
AT ITER 328 NEW BEST:: SOT 4443439 SOS 776891 HAS SOPS 776891 HAS SOUS 683883 HAS SOUPS 683883 WITH SCORE 684659.891
AT ITER 369 NEW BEST:: SOT 4443438 SOS 776889 HAS SOPS 776889 HAS SOUS 683881 HAS SOUPS 683881 WITH SCORE 684657.889
AT ITER 406 NEW BEST:: SOT 4443586 SOS 777185 HAS SOPS 777185 HAS SOUS 683806 HAS SOUPS 683806 WITH SCORE 684583.185
AT ITER 412 NEW BEST:: SOT 4443395 SOS 778612 HAS SOPS 778612 HAS SOUS 683716 HAS SOUPS 683716 WITH SCORE 684494.612
AT ITER 422 NEW BEST:: SOT 4443394 SOS 778610 HAS SOPS 778610 HAS SOUS 683714 HAS SOUPS 683714 WITH SCORE 684492.61
AT ITER 429 NEW BEST:: SOT 4443348 SOS 778564 HAS SOPS 778564 HAS SOUS 683668 HAS SOUPS 683668 WITH SCORE 684446.564
AT ITER 430 NEW BEST:: SOT 4443260 SOS 778388 HAS SOPS 778388 HAS SOUS 683492 HAS SOUPS 683492 WITH SCORE 684270.388
AT ITER 433 NEW BEST:: SOT 4443080 SOS 778028 HAS SOPS 778028 HAS SOUS 683132 HAS SOUPS 683132 WITH SCORE 683910.028
AT ITER 442 NEW BEST:: SOT 4442984 SOS 777932 HAS SOPS 777932 HAS SOUS 683036 HAS SOUPS 683036 WITH SCORE 683813.932
AT ITER 449 NEW BEST:: SOT 4442818 SOS 777863 HAS SOPS 777863 HAS SOUS 682656 HAS SOUPS 682656 WITH SCORE 683433.863
AT ITER 459 NEW BEST:: SOT 4442771 SOS 778037 HAS SOPS 778037 HAS SOUS 682562 HAS SOUPS 682562 WITH SCORE 683340.037
AT ITER 469 NEW BEST:: SOT 4442531 SOS 777947 HAS SOPS 777947 HAS SOUS 682430 HAS SOUPS 682430 WITH SCORE 683207.947
AT ITER 499 NEW BEST:: SOT 4442530 SOS 777945 HAS SOPS 777945 HAS SOUS 682428 HAS SOUPS 682428 WITH SCORE 683205.945
AT ITER 509 NEW BEST:: SOT 4442373 SOS 778016 HAS SOPS 778016 HAS SOUS 682062 HAS SOUPS 682062 WITH SCORE 682840.016
AT ITER 532 NEW BEST:: SOT 4442144 SOS 777558 HAS SOPS 777558 HAS SOUS 681604 HAS SOUPS 681604 WITH SCORE 682381.558
AT ITER 545 NEW BEST:: SOT 4441948 SOS 777166 HAS SOPS 777166 HAS SOUS 681431 HAS SOUPS 681431 WITH SCORE 682208.166
AT ITER 556 NEW BEST:: SOT 4441948 SOS 777107 HAS SOPS 777107 HAS SOUS 681372 HAS SOUPS 681372 WITH SCORE 682149.107
AT ITER 571 NEW BEST:: SOT 4441948 SOS 777106 HAS SOPS 777106 HAS SOUS 681371 HAS SOUPS 681371 WITH SCORE 682148.106
AT ITER 576 NEW BEST:: SOT 4441948 SOS 777106 HAS SOPS 777106 HAS SOUS 681143 HAS SOUPS 681143 WITH SCORE 681920.106
AT ITER 582 NEW BEST:: SOT 4441946 SOS 777102 HAS SOPS 777102 HAS SOUS 681139 HAS SOUPS 681139 WITH SCORE 681916.102
AT ITER 587 NEW BEST:: SOT 4441906 SOS 777186 HAS SOPS 777186 HAS SOUS 681121 HAS SOUPS 681121 WITH SCORE 681898.186
AT ITER 602 NEW BEST:: SOT 4441769 SOS 776912 HAS SOPS 776912 HAS SOUS 680847 HAS SOUPS 680847 WITH SCORE 681623.912
AT ITER 607 NEW BEST:: SOT 4441689 SOS 776832 HAS SOPS 776832 HAS SOUS 680767 HAS SOUPS 680767 WITH SCORE 681543.832
AT ITER 643 NEW BEST:: SOT 4441567 SOS 776765 HAS SOPS 776765 HAS SOUS 680645 HAS SOUPS 680645 WITH SCORE 681421.765
AT ITER 656 NEW BEST:: SOT 4441506 SOS 776643 HAS SOPS 776643 HAS SOUS 680642 HAS SOUPS 680642 WITH SCORE 681418.643
AT ITER 664 NEW BEST:: SOT 4441424 SOS 777085 HAS SOPS 777085 HAS SOUS 680611 HAS SOUPS 680611 WITH SCORE 681388.085
AT ITER 683 NEW BEST:: SOT 4441424 SOS 776915 HAS SOPS 776915 HAS SOUS 680441 HAS SOUPS 680441 WITH SCORE 681217.915
AT ITER 686 NEW BEST:: SOT 4440964 SOS 775995 HAS SOPS 775995 HAS SOUS 679521 HAS SOUPS 679521 WITH SCORE 680296.995
AT ITER 704 NEW BEST:: SOT 4440948 SOS 775962 HAS SOPS 775962 HAS SOUS 679220 HAS SOUPS 679220 WITH SCORE 679995.962
AT ITER 725 NEW BEST:: SOT 4440829 SOS 775724 HAS SOPS 775724 HAS SOUS 679100 HAS SOUPS 679100 WITH SCORE 679875.724
AT ITER 727 NEW BEST:: SOT 4440684 SOS 775434 HAS SOPS 775434 HAS SOUS 678546 HAS SOUPS 678546 WITH SCORE 679321.434
AT ITER 735 NEW BEST:: SOT 4440869 SOS 775804 HAS SOPS 775804 HAS SOUS 678519 HAS SOUPS 678519 WITH SCORE 679294.804
AT ITER 747 NEW BEST:: SOT 4440850 SOS 775766 HAS SOPS 775766 HAS SOUS 678481 HAS SOUPS 678481 WITH SCORE 679256.766
AT ITER 752 NEW BEST:: SOT 4440850 SOS 775766 HAS SOPS 775766 HAS SOUS 678469 HAS SOUPS 678469 WITH SCORE 679244.766
AT ITER 793 NEW BEST:: SOT 4440784 SOS 775634 HAS SOPS 775634 HAS SOUS 678337 HAS SOUPS 678337 WITH SCORE 679112.634
AT ITER 797 NEW BEST:: SOT 4440488 SOS 775371 HAS SOPS 775371 HAS SOUS 678057 HAS SOUPS 678057 WITH SCORE 678832.371
AT ITER 802 NEW BEST:: SOT 4439382 SOS 774265 HAS SOPS 774265 HAS SOUS 676951 HAS SOUPS 676951 WITH SCORE 677725.265
AT ITER 824 NEW BEST:: SOT 4439251 SOS 774134 HAS SOPS 774134 HAS SOUS 676820 HAS SOUPS 676820 WITH SCORE 677594.134
AT ITER 827 NEW BEST:: SOT 4439277 SOS 774186 HAS SOPS 774186 HAS SOUS 676534 HAS SOUPS 676534 WITH SCORE 677308.186
AT ITER 831 NEW BEST:: SOT 4438981 SOS 773594 HAS SOPS 773594 HAS SOUS 675942 HAS SOUPS 675942 WITH SCORE 676715.594
AT ITER 834 NEW BEST:: SOT 4438893 SOS 773615 HAS SOPS 773615 HAS SOUS 675854 HAS SOUPS 675854 WITH SCORE 676627.615
AT ITER 858 NEW BEST:: SOT 4438820 SOS 773469 HAS SOPS 773469 HAS SOUS 675708 HAS SOUPS 675708 WITH SCORE 676481.469
AT ITER 860 NEW BEST:: SOT 4438786 SOS 773321 HAS SOPS 773321 HAS SOUS 675594 HAS SOUPS 675594 WITH SCORE 676367.321
AT ITER 869 NEW BEST:: SOT 4438785 SOS 773319 HAS SOPS 773319 HAS SOUS 675592 HAS SOUPS 675592 WITH SCORE 676365.319
AT ITER 911 NEW BEST:: SOT 4438498 SOS 772849 HAS SOPS 772849 HAS SOUS 675438 HAS SOUPS 675438 WITH SCORE 676210.849
AT ITER 942 NEW BEST:: SOT 4438441 SOS 772735 HAS SOPS 772735 HAS SOUS 675381 HAS SOUPS 675381 WITH SCORE 676153.735
AT ITER 949 NEW BEST:: SOT 4438441 SOS 772734 HAS SOPS 772734 HAS SOUS 675380 HAS SOUPS 675380 WITH SCORE 676152.734
AT ITER 952 NEW BEST:: SOT 4438425 SOS 772702 HAS SOPS 772702 HAS SOUS 675348 HAS SOUPS 675348 WITH SCORE 676120.702
AT ITER 994 NEW BEST:: SOT 4438208 SOS 772641 HAS SOPS 772641 HAS SOUS 674936 HAS SOUPS 674936 WITH SCORE 675708.641
AT ITER 999 NEW BEST:: SOT 4438208 SOS 772378 HAS SOPS 772378 HAS SOUS 674936 HAS SOUPS 674936 WITH SCORE 675708.378
AT ITER 1003 NEW BEST:: SOT 4438001 SOS 772193 HAS SOPS 772193 HAS SOUS 674729 HAS SOUPS 674729 WITH SCORE 675501.193
AT ITER 1017 NEW BEST:: SOT 4437717 SOS 771625 HAS SOPS 771625 HAS SOUS 674476 HAS SOUPS 674476 WITH SCORE 675247.625
AT ITER 1027 NEW BEST:: SOT 4437658 SOS 771810 HAS SOPS 771810 HAS SOUS 674461 HAS SOUPS 674461 WITH SCORE 675232.81
AT ITER 1054 NEW BEST:: SOT 4437631 SOS 771756 HAS SOPS 771756 HAS SOUS 674274 HAS SOUPS 674274 WITH SCORE 675045.756
AT ITER 1057 NEW BEST:: SOT 4437631 SOS 771523 HAS SOPS 771523 HAS SOUS 674274 HAS SOUPS 674274 WITH SCORE 675045.523
AT ITER 1120 NEW BEST:: SOT 4437461 SOS 771183 HAS SOPS 771183 HAS SOUS 673934 HAS SOUPS 673934 WITH SCORE 674705.183
AT ITER 1158 NEW BEST:: SOT 4437220 SOS 770701 HAS SOPS 770701 HAS SOUS 673452 HAS SOUPS 673452 WITH SCORE 674222.701
AT ITER 1168 NEW BEST:: SOT 4437044 SOS 770525 HAS SOPS 770525 HAS SOUS 673276 HAS SOUPS 673276 WITH SCORE 674046.525
AT ITER 1179 NEW BEST:: SOT 4437043 SOS 770523 HAS SOPS 770523 HAS SOUS 673274 HAS SOUPS 673274 WITH SCORE 674044.523
AT ITER 1212 NEW BEST:: SOT 4436887 SOS 770211 HAS SOPS 770211 HAS SOUS 673092 HAS SOUPS 673092 WITH SCORE 673862.211
AT ITER 1220 NEW BEST:: SOT 4437110 SOS 770221 HAS SOPS 770221 HAS SOUS 672898 HAS SOUPS 672898 WITH SCORE 673668.221
AT ITER 1234 NEW BEST:: SOT 4436399 SOS 769869 HAS SOPS 769869 HAS SOUS 672366 HAS SOUPS 672366 WITH SCORE 673135.869
AT ITER 1246 NEW BEST:: SOT 4436381 SOS 769833 HAS SOPS 769833 HAS SOUS 672269 HAS SOUPS 672269 WITH SCORE 673038.833
AT ITER 1274 NEW BEST:: SOT 4436363 SOS 769984 HAS SOPS 769984 HAS SOUS 672179 HAS SOUPS 672179 WITH SCORE 672948.984
AT ITER 1288 NEW BEST:: SOT 4436374 SOS 770006 HAS SOPS 770006 HAS SOUS 672178 HAS SOUPS 672178 WITH SCORE 672948.006
AT ITER 1304 NEW BEST:: SOT 4436131 SOS 769520 HAS SOPS 769520 HAS SOUS 671692 HAS SOUPS 671692 WITH SCORE 672461.52
AT ITER 1325 NEW BEST:: SOT 4435997 SOS 769385 HAS SOPS 769385 HAS SOUS 671557 HAS SOUPS 671557 WITH SCORE 672326.385
AT ITER 1329 NEW BEST:: SOT 4435832 SOS 769055 HAS SOPS 769055 HAS SOUS 671093 HAS SOUPS 671093 WITH SCORE 671862.055
AT ITER 1336 NEW BEST:: SOT 4435645 SOS 768681 HAS SOPS 768681 HAS SOUS 670719 HAS SOUPS 670719 WITH SCORE 671487.681
AT ITER 1365 NEW BEST:: SOT 4435353 SOS 768097 HAS SOPS 768097 HAS SOUS 670627 HAS SOUPS 670627 WITH SCORE 671395.097
AT ITER 1378 NEW BEST:: SOT 4435432 SOS 767669 HAS SOPS 767669 HAS SOUS 670410 HAS SOUPS 670410 WITH SCORE 671177.669
AT ITER 1395 NEW BEST:: SOT 4435396 SOS 767597 HAS SOPS 767597 HAS SOUS 670338 HAS SOUPS 670338 WITH SCORE 671105.597
AT ITER 1401 NEW BEST:: SOT 4435367 SOS 767539 HAS SOPS 767539 HAS SOUS 670309 HAS SOUPS 670309 WITH SCORE 671076.539
AT ITER 1432 NEW BEST:: SOT 4435337 SOS 767479 HAS SOPS 767479 HAS SOUS 670249 HAS SOUPS 670249 WITH SCORE 671016.479
AT ITER 1436 NEW BEST:: SOT 4432730 SOS 791581 HAS SOPS 791581 HAS SOUS 668823 HAS SOUPS 668823 WITH SCORE 669614.581
AT ITER 1461 NEW BEST:: SOT 4432730 SOS 791427 HAS SOPS 791427 HAS SOUS 668823 HAS SOUPS 668823 WITH SCORE 669614.427
AT ITER 1462 NEW BEST:: SOT 4432286 SOS 790983 HAS SOPS 790983 HAS SOUS 668379 HAS SOUPS 668379 WITH SCORE 669169.983
AT ITER 1483 NEW BEST:: SOT 4432286 SOS 790983 HAS SOPS 790983 HAS SOUS 668372 HAS SOUPS 668372 WITH SCORE 669162.983
AT ITER 1515 NEW BEST:: SOT 4432218 SOS 790847 HAS SOPS 790847 HAS SOUS 667915 HAS SOUPS 667915 WITH SCORE 668705.847
AT ITER 1557 NEW BEST:: SOT 4432218 SOS 790847 HAS SOPS 790847 HAS SOUS 667662 HAS SOUPS 667662 WITH SCORE 668452.847
AT ITER 1617 NEW BEST:: SOT 4431691 SOS 791238 HAS SOPS 791238 HAS SOUS 667645 HAS SOUPS 667645 WITH SCORE 668436.238
AT ITER 1618 NEW BEST:: SOT 4431536 SOS 790928 HAS SOPS 790928 HAS SOUS 667335 HAS SOUPS 667335 WITH SCORE 668125.928
AT ITER 1637 NEW BEST:: SOT 4431434 SOS 790723 HAS SOPS 790723 HAS SOUS 666784 HAS SOUPS 666784 WITH SCORE 667574.723
AT ITER 1649 NEW BEST:: SOT 4431180 SOS 790563 HAS SOPS 790563 HAS SOUS 666563 HAS SOUPS 666563 WITH SCORE 667353.563
AT ITER 1657 NEW BEST:: SOT 4430818 SOS 790563 HAS SOPS 790563 HAS SOUS 666382 HAS SOUPS 666382 WITH SCORE 667172.563
AT ITER 1659 NEW BEST:: SOT 4430436 SOS 789799 HAS SOPS 789799 HAS SOUS 665848 HAS SOUPS 665848 WITH SCORE 666637.799
AT ITER 1683 NEW BEST:: SOT 4430264 SOS 789455 HAS SOPS 789455 HAS SOUS 665504 HAS SOUPS 665504 WITH SCORE 666293.455
AT ITER 1689 NEW BEST:: SOT 4429920 SOS 789125 HAS SOPS 789125 HAS SOUS 665174 HAS SOUPS 665174 WITH SCORE 665963.125
AT ITER 1697 NEW BEST:: SOT 4430012 SOS 789116 HAS SOPS 789116 HAS SOUS 665073 HAS SOUPS 665073 WITH SCORE 665862.116
AT ITER 1699 NEW BEST:: SOT 4430254 SOS 789600 HAS SOPS 789600 HAS SOUS 664932 HAS SOUPS 664932 WITH SCORE 665721.6
AT ITER 1746 NEW BEST:: SOT 4429795 SOS 790263 HAS SOPS 790263 HAS SOUS 664810 HAS SOUPS 664810 WITH SCORE 665600.263
AT ITER 1773 NEW BEST:: SOT 4429668 SOS 790212 HAS SOPS 790212 HAS SOUS 664683 HAS SOUPS 664683 WITH SCORE 665473.212
AT ITER 1804 NEW BEST:: SOT 4429668 SOS 790212 HAS SOPS 790212 HAS SOUS 664682 HAS SOUPS 664682 WITH SCORE 665472.212
AT ITER 1840 NEW BEST:: SOT 4429648 SOS 790152 HAS SOPS 790152 HAS SOUS 664662 HAS SOUPS 664662 WITH SCORE 665452.152
AT ITER 1845 NEW BEST:: SOT 4429648 SOS 789708 HAS SOPS 789708 HAS SOUS 664218 HAS SOUPS 664218 WITH SCORE 665007.708
AT ITER 1975 NEW BEST:: SOT 4429484 SOS 789380 HAS SOPS 789380 HAS SOUS 663890 HAS SOUPS 663890 WITH SCORE 664679.38
AT ITER 2001 NEW BEST:: SOT 4429460 SOS 789120 HAS SOPS 789120 HAS SOUS 663866 HAS SOUPS 663866 WITH SCORE 664655.12
AT ITER 2008 NEW BEST:: SOT 4429627 SOS 788564 HAS SOPS 788564 HAS SOUS 663588 HAS SOUPS 663588 WITH SCORE 664376.564
AT ITER 2011 NEW BEST:: SOT 4429179 SOS 787668 HAS SOPS 787668 HAS SOUS 663131 HAS SOUPS 663131 WITH SCORE 663918.668
AT ITER 2012 NEW BEST:: SOT 4429178 SOS 787666 HAS SOPS 787666 HAS SOUS 663129 HAS SOUPS 663129 WITH SCORE 663916.666
AT ITER 2022 NEW BEST:: SOT 4429132 SOS 785734 HAS SOPS 785734 HAS SOUS 663083 HAS SOUPS 663083 WITH SCORE 663868.734
AT ITER 2030 NEW BEST:: SOT 4429083 SOS 785967 HAS SOPS 785967 HAS SOUS 662985 HAS SOUPS 662985 WITH SCORE 663770.967
AT ITER 2033 NEW BEST:: SOT 4429083 SOS 785664 HAS SOPS 785664 HAS SOUS 662985 HAS SOUPS 662985 WITH SCORE 663770.664
AT ITER 2035 NEW BEST:: SOT 4429083 SOS 785619 HAS SOPS 785619 HAS SOUS 662985 HAS SOUPS 662985 WITH SCORE 663770.619
AT ITER 2042 NEW BEST:: SOT 4429158 SOS 785430 HAS SOPS 785430 HAS SOUS 662911 HAS SOUPS 662911 WITH SCORE 663696.43
AT ITER 2049 NEW BEST:: SOT 4428874 SOS 785146 HAS SOPS 785146 HAS SOUS 662627 HAS SOUPS 662627 WITH SCORE 663412.146
AT ITER 2073 NEW BEST:: SOT 4428204 SOS 786613 HAS SOPS 786613 HAS SOUS 662597 HAS SOUPS 662597 WITH SCORE 663383.613
AT ITER 2098 NEW BEST:: SOT 4427916 SOS 786347 HAS SOPS 786347 HAS SOUS 662317 HAS SOUPS 662317 WITH SCORE 663103.347
AT ITER 2131 NEW BEST:: SOT 4427675 SOS 785865 HAS SOPS 785865 HAS SOUS 661878 HAS SOUPS 661878 WITH SCORE 662663.865
AT ITER 2142 NEW BEST:: SOT 4427675 SOS 785677 HAS SOPS 785677 HAS SOUS 661690 HAS SOUPS 661690 WITH SCORE 662475.677
AT ITER 2150 NEW BEST:: SOT 4427544 SOS 785415 HAS SOPS 785415 HAS SOUS 661428 HAS SOUPS 661428 WITH SCORE 662213.415
AT ITER 2173 NEW BEST:: SOT 4427160 SOS 788037 HAS SOPS 788037 HAS SOUS 661136 HAS SOUPS 661136 WITH SCORE 661924.037
AT ITER 2176 NEW BEST:: SOT 4427061 SOS 787839 HAS SOPS 787839 HAS SOUS 661037 HAS SOUPS 661037 WITH SCORE 661824.839
AT ITER 2182 NEW BEST:: SOT 4427021 SOS 787759 HAS SOPS 787759 HAS SOUS 660957 HAS SOUPS 660957 WITH SCORE 661744.759
AT ITER 2184 NEW BEST:: SOT 4426649 SOS 787015 HAS SOPS 787015 HAS SOUS 660488 HAS SOUPS 660488 WITH SCORE 661275.015
AT ITER 2199 NEW BEST:: SOT 4426655 SOS 786979 HAS SOPS 786979 HAS SOUS 660452 HAS SOUPS 660452 WITH SCORE 661238.979
AT ITER 2224 NEW BEST:: SOT 4426625 SOS 786720 HAS SOPS 786720 HAS SOUS 660193 HAS SOUPS 660193 WITH SCORE 660979.72
AT ITER 2232 NEW BEST:: SOT 4426810 SOS 787090 HAS SOPS 787090 HAS SOUS 660141 HAS SOUPS 660141 WITH SCORE 660928.09
AT ITER 2240 NEW BEST:: SOT 4426513 SOS 785204 HAS SOPS 785204 HAS SOUS 659547 HAS SOUPS 659547 WITH SCORE 660332.204
AT ITER 2248 NEW BEST:: SOT 4426411 SOS 785102 HAS SOPS 785102 HAS SOUS 659445 HAS SOUPS 659445 WITH SCORE 660230.102
AT ITER 2258 NEW BEST:: SOT 4426229 SOS 784920 HAS SOPS 784920 HAS SOUS 659263 HAS SOUPS 659263 WITH SCORE 660047.92
AT ITER 2263 NEW BEST:: SOT 4426629 SOS 784720 HAS SOPS 784720 HAS SOUS 659190 HAS SOUPS 659190 WITH SCORE 659974.72
AT ITER 2265 NEW BEST:: SOT 4426569 SOS 784600 HAS SOPS 784600 HAS SOUS 659070 HAS SOUPS 659070 WITH SCORE 659854.6
AT ITER 2272 NEW BEST:: SOT 4426397 SOS 784256 HAS SOPS 784256 HAS SOUS 658726 HAS SOUPS 658726 WITH SCORE 659510.256
AT ITER 2292 NEW BEST:: SOT 4426191 SOS 783844 HAS SOPS 783844 HAS SOUS 658649 HAS SOUPS 658649 WITH SCORE 659432.844
AT ITER 2306 NEW BEST:: SOT 4426331 SOS 784491 HAS SOPS 784491 HAS SOUS 658636 HAS SOUPS 658636 WITH SCORE 659420.491
AT ITER 2314 NEW BEST:: SOT 4426006 SOS 786306 HAS SOPS 786306 HAS SOUS 658352 HAS SOUPS 658352 WITH SCORE 659138.306
AT ITER 2327 NEW BEST:: SOT 4426006 SOS 786253 HAS SOPS 786253 HAS SOUS 658352 HAS SOUPS 658352 WITH SCORE 659138.253
AT ITER 2342 NEW BEST:: SOT 4426006 SOS 786178 HAS SOPS 786178 HAS SOUS 658301 HAS SOUPS 658301 WITH SCORE 659087.178
AT ITER 2344 NEW BEST:: SOT 4425991 SOS 786148 HAS SOPS 786148 HAS SOUS 658271 HAS SOUPS 658271 WITH SCORE 659057.148
AT ITER 2363 NEW BEST:: SOT 4425924 SOS 786014 HAS SOPS 786014 HAS SOUS 658204 HAS SOUPS 658204 WITH SCORE 658990.014
AT ITER 2372 NEW BEST:: SOT 4425924 SOS 786014 HAS SOPS 786014 HAS SOUS 658051 HAS SOUPS 658051 WITH SCORE 658837.014
AT ITER 2375 NEW BEST:: SOT 4425801 SOS 785884 HAS SOPS 785884 HAS SOUS 657921 HAS SOUPS 657921 WITH SCORE 658706.884
AT ITER 2386 NEW BEST:: SOT 4425782 SOS 785846 HAS SOPS 785846 HAS SOUS 657883 HAS SOUPS 657883 WITH SCORE 658668.846
AT ITER 2389 NEW BEST:: SOT 4425736 SOS 785754 HAS SOPS 785754 HAS SOUS 657791 HAS SOUPS 657791 WITH SCORE 658576.754
AT ITER 2397 NEW BEST:: SOT 4425736 SOS 785754 HAS SOPS 785754 HAS SOUS 657790 HAS SOUPS 657790 WITH SCORE 658575.754
AT ITER 2404 NEW BEST:: SOT 4425692 SOS 785666 HAS SOPS 785666 HAS SOUS 657702 HAS SOUPS 657702 WITH SCORE 658487.666
AT ITER 2405 NEW BEST:: SOT 4425657 SOS 785596 HAS SOPS 785596 HAS SOUS 657632 HAS SOUPS 657632 WITH SCORE 658417.596
AT ITER 2407 NEW BEST:: SOT 4425395 SOS 785539 HAS SOPS 785539 HAS SOUS 657276 HAS SOUPS 657276 WITH SCORE 658061.539
AT ITER 2412 NEW BEST:: SOT 4425355 SOS 785520 HAS SOPS 785520 HAS SOUS 657254 HAS SOUPS 657254 WITH SCORE 658039.52
AT ITER 2425 NEW BEST:: SOT 4425355 SOS 785413 HAS SOPS 785413 HAS SOUS 657251 HAS SOUPS 657251 WITH SCORE 658036.413
AT ITER 2441 NEW BEST:: SOT 4425400 SOS 785227 HAS SOPS 785227 HAS SOUS 657238 HAS SOUPS 657238 WITH SCORE 658023.227
AT ITER 2476 NEW BEST:: SOT 4425159 SOS 784745 HAS SOPS 784745 HAS SOUS 656999 HAS SOUPS 656999 WITH SCORE 657783.745
AT ITER 2493 NEW BEST:: SOT 4425466 SOS 784441 HAS SOPS 784441 HAS SOUS 656969 HAS SOUPS 656969 WITH SCORE 657753.441
AT ITER 2535 NEW BEST:: SOT 4425406 SOS 784381 HAS SOPS 784381 HAS SOUS 656909 HAS SOUPS 656909 WITH SCORE 657693.381
AT ITER 2555 NEW BEST:: SOT 4425288 SOS 784145 HAS SOPS 784145 HAS SOUS 656673 HAS SOUPS 656673 WITH SCORE 657457.145
AT ITER 2556 NEW BEST:: SOT 4425215 SOS 784145 HAS SOPS 784145 HAS SOUS 656600 HAS SOUPS 656600 WITH SCORE 657384.145
AT ITER 2558 NEW BEST:: SOT 4425010 SOS 783940 HAS SOPS 783940 HAS SOUS 656395 HAS SOUPS 656395 WITH SCORE 657178.94
AT ITER 2580 NEW BEST:: SOT 4425179 SOS 784278 HAS SOPS 784278 HAS SOUS 656343 HAS SOUPS 656343 WITH SCORE 657127.278
AT ITER 2623 NEW BEST:: SOT 4425294 SOS 784172 HAS SOPS 784172 HAS SOUS 656237 HAS SOUPS 656237 WITH SCORE 657021.172
AT ITER 2626 NEW BEST:: SOT 4425294 SOS 784104 HAS SOPS 784104 HAS SOUS 656237 HAS SOUPS 656237 WITH SCORE 657021.104
AT ITER 2630 NEW BEST:: SOT 4425294 SOS 784103 HAS SOPS 784103 HAS SOUS 656236 HAS SOUPS 656236 WITH SCORE 657020.103
AT ITER 2648 NEW BEST:: SOT 4425294 SOS 783887 HAS SOPS 783887 HAS SOUS 656020 HAS SOUPS 656020 WITH SCORE 656803.887
AT ITER 2667 NEW BEST:: SOT 4425645 SOS 783953 HAS SOPS 783953 HAS SOUS 655771 HAS SOUPS 655771 WITH SCORE 656554.953
AT ITER 2673 NEW BEST:: SOT 4425645 SOS 783953 HAS SOPS 783953 HAS SOUS 655770 HAS SOUPS 655770 WITH SCORE 656553.953
AT ITER 2674 NEW BEST:: SOT 4425568 SOS 783799 HAS SOPS 783799 HAS SOUS 655693 HAS SOUPS 655693 WITH SCORE 656476.799
AT ITER 2694 NEW BEST:: SOT 4425568 SOS 783778 HAS SOPS 783778 HAS SOUS 655692 HAS SOUPS 655692 WITH SCORE 656475.778
AT ITER 2698 NEW BEST:: SOT 4425544 SOS 783730 HAS SOPS 783730 HAS SOUS 655689 HAS SOUPS 655689 WITH SCORE 656472.73
AT ITER 2714 NEW BEST:: SOT 4424772 SOS 782893 HAS SOPS 782893 HAS SOUS 654917 HAS SOUPS 654917 WITH SCORE 655699.893
AT ITER 2733 NEW BEST:: SOT 4424572 SOS 782493 HAS SOPS 782493 HAS SOUS 654517 HAS SOUPS 654517 WITH SCORE 655299.493
AT ITER 2769 NEW BEST:: SOT 4424416 SOS 782297 HAS SOPS 782297 HAS SOUS 654310 HAS SOUPS 654310 WITH SCORE 655092.297
AT ITER 2780 NEW BEST:: SOT 4424283 SOS 782031 HAS SOPS 782031 HAS SOUS 654177 HAS SOUPS 654177 WITH SCORE 654959.031
AT ITER 2786 NEW BEST:: SOT 4424282 SOS 782029 HAS SOPS 782029 HAS SOUS 654175 HAS SOUPS 654175 WITH SCORE 654957.029
AT ITER 2789 NEW BEST:: SOT 4424116 SOS 781863 HAS SOPS 781863 HAS SOUS 654175 HAS SOUPS 654175 WITH SCORE 654956.863
AT ITER 2810 NEW BEST:: SOT 4424105 SOS 781841 HAS SOPS 781841 HAS SOUS 654164 HAS SOUPS 654164 WITH SCORE 654945.841
AT ITER 2850 NEW BEST:: SOT 4424005 SOS 781641 HAS SOPS 781641 HAS SOUS 653964 HAS SOUPS 653964 WITH SCORE 654745.641
AT ITER 2854 NEW BEST:: SOT 4424006 SOS 781643 HAS SOPS 781643 HAS SOUS 653889 HAS SOUPS 653889 WITH SCORE 654670.643
AT ITER 2865 NEW BEST:: SOT 4423993 SOS 781617 HAS SOPS 781617 HAS SOUS 653863 HAS SOUPS 653863 WITH SCORE 654644.617
AT ITER 2878 NEW BEST:: SOT 4423771 SOS 781395 HAS SOPS 781395 HAS SOUS 653641 HAS SOUPS 653641 WITH SCORE 654422.395
AT ITER 2883 NEW BEST:: SOT 4423777 SOS 781033 HAS SOPS 781033 HAS SOUS 653463 HAS SOUPS 653463 WITH SCORE 654244.033
AT ITER 2894 NEW BEST:: SOT 4423683 SOS 780845 HAS SOPS 780845 HAS SOUS 653275 HAS SOUPS 653275 WITH SCORE 654055.845
AT ITER 2948 NEW BEST:: SOT 4423705 SOS 780889 HAS SOPS 780889 HAS SOUS 653198 HAS SOUPS 653198 WITH SCORE 653978.889
AT ITER 2982 NEW BEST:: SOT 4423734 SOS 780947 HAS SOPS 780947 HAS SOUS 653161 HAS SOUPS 653161 WITH SCORE 653941.947
AT ITER 2985 NEW BEST:: SOT 4423825 SOS 780903 HAS SOPS 780903 HAS SOUS 653068 HAS SOUPS 653068 WITH SCORE 653848.903
AT ITER 2999 NEW BEST:: SOT 4423825 SOS 780734 HAS SOPS 780734 HAS SOUS 652899 HAS SOUPS 652899 WITH SCORE 653679.734
AT ITER 3010 NEW BEST:: SOT 4423531 SOS 780587 HAS SOPS 780587 HAS SOUS 652752 HAS SOUPS 652752 WITH SCORE 653532.587
AT ITER 3012 NEW BEST:: SOT 4423434 SOS 780393 HAS SOPS 780393 HAS SOUS 652558 HAS SOUPS 652558 WITH SCORE 653338.393
AT ITER 3016 NEW BEST:: SOT 4423433 SOS 780391 HAS SOPS 780391 HAS SOUS 652556 HAS SOUPS 652556 WITH SCORE 653336.391
AT ITER 3021 NEW BEST:: SOT 4423433 SOS 780138 HAS SOPS 780138 HAS SOUS 652303 HAS SOUPS 652303 WITH SCORE 653083.138
AT ITER 3029 NEW BEST:: SOT 4423303 SOS 780095 HAS SOPS 780095 HAS SOUS 652260 HAS SOUPS 652260 WITH SCORE 653040.095
AT ITER 3042 NEW BEST:: SOT 4423207 SOS 779999 HAS SOPS 779999 HAS SOUS 652164 HAS SOUPS 652164 WITH SCORE 652943.999
AT ITER 3066 NEW BEST:: SOT 4422977 SOS 780299 HAS SOPS 780299 HAS SOUS 652139 HAS SOUPS 652139 WITH SCORE 652919.299
AT ITER 3097 NEW BEST:: SOT 4422723 SOS 780426 HAS SOPS 780426 HAS SOUS 652012 HAS SOUPS 652012 WITH SCORE 652792.426
AT ITER 3124 NEW BEST:: SOT 4422919 SOS 780273 HAS SOPS 780273 HAS SOUS 651758 HAS SOUPS 651758 WITH SCORE 652538.273
AT ITER 3127 NEW BEST:: SOT 4422919 SOS 780272 HAS SOPS 780272 HAS SOUS 651757 HAS SOUPS 651757 WITH SCORE 652537.272
AT ITER 3166 NEW BEST:: SOT 4422747 SOS 780111 HAS SOPS 780111 HAS SOUS 651413 HAS SOUPS 651413 WITH SCORE 652193.111
AT ITER 3193 NEW BEST:: SOT 4422715 SOS 780106 HAS SOPS 780106 HAS SOUS 651381 HAS SOUPS 651381 WITH SCORE 652161.106
AT ITER 3196 NEW BEST:: SOT 4422700 SOS 780090 HAS SOPS 780090 HAS SOUS 651365 HAS SOUPS 651365 WITH SCORE 652145.09
AT ITER 3202 NEW BEST:: SOT 4422469 SOS 779972 HAS SOPS 779972 HAS SOUS 651190 HAS SOUPS 651190 WITH SCORE 651969.972
AT ITER 3294 NEW BEST:: SOT 4422452 SOS 779938 HAS SOPS 779938 HAS SOUS 651173 HAS SOUPS 651173 WITH SCORE 651952.938
AT ITER 3334 NEW BEST:: SOT 4422452 SOS 779938 HAS SOPS 779938 HAS SOUS 651019 HAS SOUPS 651019 WITH SCORE 651798.938
AT ITER 3338 NEW BEST:: SOT 4422458 SOS 779950 HAS SOPS 779950 HAS SOUS 650483 HAS SOUPS 650483 WITH SCORE 651262.95
AT ITER 3360 NEW BEST:: SOT 4422397 SOS 779675 HAS SOPS 779675 HAS SOUS 650132 HAS SOUPS 650132 WITH SCORE 650911.675
AT ITER 3379 NEW BEST:: SOT 4422173 SOS 779509 HAS SOPS 779509 HAS SOUS 649929 HAS SOUPS 649929 WITH SCORE 650708.509
AT ITER 3415 NEW BEST:: SOT 4421963 SOS 779089 HAS SOPS 779089 HAS SOUS 649509 HAS SOUPS 649509 WITH SCORE 650288.089
AT ITER 3425 NEW BEST:: SOT 4421962 SOS 779087 HAS SOPS 779087 HAS SOUS 649507 HAS SOUPS 649507 WITH SCORE 650286.087
AT ITER 3453 NEW BEST:: SOT 4421821 SOS 778805 HAS SOPS 778805 HAS SOUS 649225 HAS SOUPS 649225 WITH SCORE 650003.805
AT ITER 3454 NEW BEST:: SOT 4421546 SOS 778637 HAS SOPS 778637 HAS SOUS 649057 HAS SOUPS 649057 WITH SCORE 649835.637
AT ITER 3456 NEW BEST:: SOT 4421521 SOS 778587 HAS SOPS 778587 HAS SOUS 649014 HAS SOUPS 649014 WITH SCORE 649792.587
AT ITER 3478 NEW BEST:: SOT 4420690 SOS 740553 HAS SOPS 740553 HAS SOUS 647517 HAS SOUPS 647517 WITH SCORE 648257.553
AT ITER 3492 NEW BEST:: SOT 4420316 SOS 740291 HAS SOPS 740291 HAS SOUS 647173 HAS SOUPS 647173 WITH SCORE 647913.291
AT ITER 3512 NEW BEST:: SOT 4420152 SOS 740112 HAS SOPS 740112 HAS SOUS 647137 HAS SOUPS 647137 WITH SCORE 647877.112
AT ITER 3523 NEW BEST:: SOT 4420042 SOS 739892 HAS SOPS 739892 HAS SOUS 647027 HAS SOUPS 647027 WITH SCORE 647766.892
AT ITER 3531 NEW BEST:: SOT 4420009 SOS 739826 HAS SOPS 739826 HAS SOUS 646961 HAS SOUPS 646961 WITH SCORE 647700.826
AT ITER 3543 NEW BEST:: SOT 4419918 SOS 739644 HAS SOPS 739644 HAS SOUS 646779 HAS SOUPS 646779 WITH SCORE 647518.644
AT ITER 3548 NEW BEST:: SOT 4419867 SOS 739542 HAS SOPS 739542 HAS SOUS 646677 HAS SOUPS 646677 WITH SCORE 647416.542
AT ITER 3572 NEW BEST:: SOT 4419801 SOS 739410 HAS SOPS 739410 HAS SOUS 646343 HAS SOUPS 646343 WITH SCORE 647082.41
AT ITER 3574 NEW BEST:: SOT 4419800 SOS 739408 HAS SOPS 739408 HAS SOUS 646341 HAS SOUPS 646341 WITH SCORE 647080.408
AT ITER 3584 NEW BEST:: SOT 4419740 SOS 739288 HAS SOPS 739288 HAS SOUS 646281 HAS SOUPS 646281 WITH SCORE 647020.288
AT ITER 3595 NEW BEST:: SOT 4419394 SOS 738596 HAS SOPS 738596 HAS SOUS 645935 HAS SOUPS 645935 WITH SCORE 646673.596
AT ITER 3609 NEW BEST:: SOT 4419075 SOS 737958 HAS SOPS 737958 HAS SOUS 645297 HAS SOUPS 645297 WITH SCORE 646034.958
AT ITER 3611 NEW BEST:: SOT 4419033 SOS 737874 HAS SOPS 737874 HAS SOUS 645213 HAS SOUPS 645213 WITH SCORE 645950.874
AT ITER 3617 NEW BEST:: SOT 4418809 SOS 737426 HAS SOPS 737426 HAS SOUS 644765 HAS SOUPS 644765 WITH SCORE 645502.426
AT ITER 3630 NEW BEST:: SOT 4418746 SOS 737300 HAS SOPS 737300 HAS SOUS 644760 HAS SOUPS 644760 WITH SCORE 645497.3
AT ITER 3657 NEW BEST:: SOT 4418746 SOS 737289 HAS SOPS 737289 HAS SOUS 644749 HAS SOUPS 644749 WITH SCORE 645486.289
AT ITER 3662 NEW BEST:: SOT 4418746 SOS 737185 HAS SOPS 737185 HAS SOUS 644645 HAS SOUPS 644645 WITH SCORE 645382.185
AT ITER 3667 NEW BEST:: SOT 4418746 SOS 737177 HAS SOPS 737177 HAS SOUS 644637 HAS SOUPS 644637 WITH SCORE 645374.177
AT ITER 3675 NEW BEST:: SOT 4418703 SOS 737149 HAS SOPS 737149 HAS SOUS 644579 HAS SOUPS 644579 WITH SCORE 645316.149
AT ITER 3685 NEW BEST:: SOT 4418633 SOS 737009 HAS SOPS 737009 HAS SOUS 644439 HAS SOUPS 644439 WITH SCORE 645176.009
AT ITER 3742 NEW BEST:: SOT 4418558 SOS 736874 HAS SOPS 736874 HAS SOUS 644227 HAS SOUPS 644227 WITH SCORE 644963.874
AT ITER 3753 NEW BEST:: SOT 4418139 SOS 736036 HAS SOPS 736036 HAS SOUS 643389 HAS SOUPS 643389 WITH SCORE 644125.036
AT ITER 3758 NEW BEST:: SOT 4418138 SOS 736034 HAS SOPS 736034 HAS SOUS 643387 HAS SOUPS 643387 WITH SCORE 644123.034
AT ITER 3789 NEW BEST:: SOT 4417676 SOS 735992 HAS SOPS 735992 HAS SOUS 643114 HAS SOUPS 643114 WITH SCORE 643849.992
AT ITER 3846 NEW BEST:: SOT 4417551 SOS 735847 HAS SOPS 735847 HAS SOUS 642934 HAS SOUPS 642934 WITH SCORE 643669.847
AT ITER 3853 NEW BEST:: SOT 4417550 SOS 735845 HAS SOPS 735845 HAS SOUS 642932 HAS SOUPS 642932 WITH SCORE 643667.845
AT ITER 3879 NEW BEST:: SOT 4417133 SOS 735509 HAS SOPS 735509 HAS SOUS 642596 HAS SOUPS 642596 WITH SCORE 643331.509
AT ITER 3887 NEW BEST:: SOT 4416859 SOS 735258 HAS SOPS 735258 HAS SOUS 642096 HAS SOUPS 642096 WITH SCORE 642831.258
AT ITER 3888 NEW BEST:: SOT 4416576 SOS 735056 HAS SOPS 735056 HAS SOUS 641813 HAS SOUPS 641813 WITH SCORE 642548.056
AT ITER 3949 NEW BEST:: SOT 4416548 SOS 735000 HAS SOPS 735000 HAS SOUS 641780 HAS SOUPS 641780 WITH SCORE 642515.0
AT ITER 3957 NEW BEST:: SOT 4416548 SOS 734967 HAS SOPS 734967 HAS SOUS 641747 HAS SOUPS 641747 WITH SCORE 642481.967
AT ITER 3962 NEW BEST:: SOT 4416904 SOS 735024 HAS SOPS 735024 HAS SOUS 641655 HAS SOUPS 641655 WITH SCORE 642390.024
AT ITER 3967 NEW BEST:: SOT 4416840 SOS 734960 HAS SOPS 734960 HAS SOUS 641591 HAS SOUPS 641591 WITH SCORE 642325.96
AT ITER 4021 NEW BEST:: SOT 4416783 SOS 734846 HAS SOPS 734846 HAS SOUS 641477 HAS SOUPS 641477 WITH SCORE 642211.846
AT ITER 4032 NEW BEST:: SOT 4416714 SOS 734708 HAS SOPS 734708 HAS SOUS 641339 HAS SOUPS 641339 WITH SCORE 642073.708
AT ITER 4036 NEW BEST:: SOT 4416695 SOS 734670 HAS SOPS 734670 HAS SOUS 641320 HAS SOUPS 641320 WITH SCORE 642054.67
AT ITER 4040 NEW BEST:: SOT 4416695 SOS 734503 HAS SOPS 734503 HAS SOUS 641320 HAS SOUPS 641320 WITH SCORE 642054.503
AT ITER 4153 NEW BEST:: SOT 4416277 SOS 734937 HAS SOPS 734937 HAS SOUS 641001 HAS SOUPS 641001 WITH SCORE 641735.937
AT ITER 4159 NEW BEST:: SOT 4416182 SOS 734747 HAS SOPS 734747 HAS SOUS 640811 HAS SOUPS 640811 WITH SCORE 641545.747
AT ITER 4164 NEW BEST:: SOT 4416225 SOS 734529 HAS SOPS 734529 HAS SOUS 640593 HAS SOUPS 640593 WITH SCORE 641327.529
AT ITER 4221 NEW BEST:: SOT 4415976 SOS 734103 HAS SOPS 734103 HAS SOUS 640593 HAS SOUPS 640593 WITH SCORE 641327.103
AT ITER 4224 NEW BEST:: SOT 4415955 SOS 734061 HAS SOPS 734061 HAS SOUS 640551 HAS SOUPS 640551 WITH SCORE 641285.061
AT ITER 4271 NEW BEST:: SOT 4415871 SOS 733977 HAS SOPS 733977 HAS SOUS 640467 HAS SOUPS 640467 WITH SCORE 641200.977
AT ITER 4272 NEW BEST:: SOT 4414188 SOS 742639 HAS SOPS 742639 HAS SOUS 639353 HAS SOUPS 639353 WITH SCORE 640095.639
AT ITER 4285 NEW BEST:: SOT 4414101 SOS 742465 HAS SOPS 742465 HAS SOUS 639266 HAS SOUPS 639266 WITH SCORE 640008.465
AT ITER 4333 NEW BEST:: SOT 4414039 SOS 742341 HAS SOPS 742341 HAS SOUS 639142 HAS SOUPS 639142 WITH SCORE 639884.341
AT ITER 4341 NEW BEST:: SOT 4413704 SOS 741671 HAS SOPS 741671 HAS SOUS 639026 HAS SOUPS 639026 WITH SCORE 639767.671
AT ITER 4345 NEW BEST:: SOT 4413703 SOS 741669 HAS SOPS 741669 HAS SOUS 639024 HAS SOUPS 639024 WITH SCORE 639765.669
AT ITER 4347 NEW BEST:: SOT 4413558 SOS 741553 HAS SOPS 741553 HAS SOUS 638879 HAS SOUPS 638879 WITH SCORE 639620.553
AT ITER 4368 NEW BEST:: SOT 4413398 SOS 741233 HAS SOPS 741233 HAS SOUS 638708 HAS SOUPS 638708 WITH SCORE 639449.233
AT ITER 4381 NEW BEST:: SOT 4413238 SOS 741120 HAS SOPS 741120 HAS SOUS 638595 HAS SOUPS 638595 WITH SCORE 639336.12
AT ITER 4384 NEW BEST:: SOT 4413176 SOS 740996 HAS SOPS 740996 HAS SOUS 638471 HAS SOUPS 638471 WITH SCORE 639211.996
AT ITER 4451 NEW BEST:: SOT 4413074 SOS 740843 HAS SOPS 740843 HAS SOUS 638318 HAS SOUPS 638318 WITH SCORE 639058.843
AT ITER 4459 NEW BEST:: SOT 4413064 SOS 740823 HAS SOPS 740823 HAS SOUS 638308 HAS SOUPS 638308 WITH SCORE 639048.823
AT ITER 4470 NEW BEST:: SOT 4412979 SOS 740653 HAS SOPS 740653 HAS SOUS 638138 HAS SOUPS 638138 WITH SCORE 638878.653
AT ITER 4472 NEW BEST:: SOT 4412841 SOS 740579 HAS SOPS 740579 HAS SOUS 638064 HAS SOUPS 638064 WITH SCORE 638804.579
AT ITER 4495 NEW BEST:: SOT 4412821 SOS 740539 HAS SOPS 740539 HAS SOUS 638024 HAS SOUPS 638024 WITH SCORE 638764.539
AT ITER 4504 NEW BEST:: SOT 4412746 SOS 740389 HAS SOPS 740389 HAS SOUS 637874 HAS SOUPS 637874 WITH SCORE 638614.389
AT ITER 4512 NEW BEST:: SOT 4412820 SOS 740537 HAS SOPS 740537 HAS SOUS 637701 HAS SOUPS 637701 WITH SCORE 638441.537
AT ITER 4522 NEW BEST:: SOT 4412329 SOS 739664 HAS SOPS 739664 HAS SOUS 637446 HAS SOUPS 637446 WITH SCORE 638185.664
AT ITER 4529 NEW BEST:: SOT 4412491 SOS 739541 HAS SOPS 739541 HAS SOUS 637430 HAS SOUPS 637430 WITH SCORE 638169.541
AT ITER 4531 NEW BEST:: SOT 4412472 SOS 739522 HAS SOPS 739522 HAS SOUS 637423 HAS SOUPS 637423 WITH SCORE 638162.522
AT ITER 4553 NEW BEST:: SOT 4412368 SOS 739418 HAS SOPS 739418 HAS SOUS 637319 HAS SOUPS 637319 WITH SCORE 638058.418
AT ITER 4556 NEW BEST:: SOT 4412268 SOS 739320 HAS SOPS 739320 HAS SOUS 637221 HAS SOUPS 637221 WITH SCORE 637960.32
AT ITER 4579 NEW BEST:: SOT 4412268 SOS 739319 HAS SOPS 739319 HAS SOUS 637220 HAS SOUPS 637220 WITH SCORE 637959.319
AT ITER 4631 NEW BEST:: SOT 4412268 SOS 739289 HAS SOPS 739289 HAS SOUS 637190 HAS SOUPS 637190 WITH SCORE 637929.289
AT ITER 4634 NEW BEST:: SOT 4412208 SOS 739320 HAS SOPS 739320 HAS SOUS 637070 HAS SOUPS 637070 WITH SCORE 637809.32
AT ITER 4642 NEW BEST:: SOT 4412208 SOS 739086 HAS SOPS 739086 HAS SOUS 637070 HAS SOUPS 637070 WITH SCORE 637809.086
AT ITER 4699 NEW BEST:: SOT 4412191 SOS 739052 HAS SOPS 739052 HAS SOUS 637036 HAS SOUPS 637036 WITH SCORE 637775.052
AT ITER 4715 NEW BEST:: SOT 4412092 SOS 739120 HAS SOPS 739120 HAS SOUS 637021 HAS SOUPS 637021 WITH SCORE 637760.12
AT ITER 4751 NEW BEST:: SOT 4412092 SOS 739120 HAS SOPS 739120 HAS SOUS 637020 HAS SOUPS 637020 WITH SCORE 637759.12
AT ITER 4757 NEW BEST:: SOT 4411920 SOS 738776 HAS SOPS 738776 HAS SOUS 636866 HAS SOUPS 636866 WITH SCORE 637604.776
AT ITER 4795 NEW BEST:: SOT 4411920 SOS 738746 HAS SOPS 738746 HAS SOUS 636865 HAS SOUPS 636865 WITH SCORE 637603.746
AT ITER 4805 NEW BEST:: SOT 4411564 SOS 738532 HAS SOPS 738532 HAS SOUS 636572 HAS SOUPS 636572 WITH SCORE 637310.532
AT ITER 4822 NEW BEST:: SOT 4411363 SOS 738368 HAS SOPS 738368 HAS SOUS 636395 HAS SOUPS 636395 WITH SCORE 637133.368
AT ITER 4871 NEW BEST:: SOT 4411078 SOS 738083 HAS SOPS 738083 HAS SOUS 636110 HAS SOUPS 636110 WITH SCORE 636848.083
AT ITER 4890 NEW BEST:: SOT 4410975 SOS 737856 HAS SOPS 737856 HAS SOUS 635904 HAS SOUPS 635904 WITH SCORE 636641.856
AT ITER 4891 NEW BEST:: SOT 4410975 SOS 737838 HAS SOPS 737838 HAS SOUS 635904 HAS SOUPS 635904 WITH SCORE 636641.838
AT ITER 4893 NEW BEST:: SOT 4410678 SOS 737244 HAS SOPS 737244 HAS SOUS 635584 HAS SOUPS 635584 WITH SCORE 636321.244
AT ITER 4921 NEW BEST:: SOT 4410397 SOS 736992 HAS SOPS 736992 HAS SOUS 635312 HAS SOUPS 635312 WITH SCORE 636048.992
AT ITER 4944 NEW BEST:: SOT 4410404 SOS 737006 HAS SOPS 737006 HAS SOUS 635066 HAS SOUPS 635066 WITH SCORE 635803.006
AT ITER 4946 NEW BEST:: SOT 4410263 SOS 736724 HAS SOPS 736724 HAS SOUS 634784 HAS SOUPS 634784 WITH SCORE 635520.724
AT ITER 4964 NEW BEST:: SOT 4409927 SOS 736052 HAS SOPS 736052 HAS SOUS 634784 HAS SOUPS 634784 WITH SCORE 635520.052
AT ITER 4970 NEW BEST:: SOT 4409907 SOS 736012 HAS SOPS 736012 HAS SOUS 634744 HAS SOUPS 634744 WITH SCORE 635480.012
Bounds file is: CTLFireability.xml
PROPERTY: CloudReconfiguration-PT-311-CTLFireability-00 (AF( (AU( (! ((potential((tk(P1159)>=1))))) , ( ((potential((tk(P569)>=1)))) | ((potential((tk(P883)>=1)))) ) ))))
PROPERTY: CloudReconfiguration-PT-311-CTLFireability-01 (! ( (EG( (AF( ((potential((tk(P415)>=1)))))))) | ((potential((tk(P582)>=1)))) ))
PROPERTY: CloudReconfiguration-PT-311-CTLFireability-02 (AG( (! (EG( ( ((potential((tk(P402)>=1)))) & ((potential((tk(P110)>=1)))) ))))))
PROPERTY: CloudReconfiguration-PT-311-CTLFireability-03 ( (EU( ( (! ((potential((tk(P2435)>=1))))) & (! ((potential((tk(P1169)>=1))))) ) , ( ((potential((tk(P2421)>=1)))) | ((potential((tk(P135)>=1)))) ) )) & (! ((potential((tk(P2443)>=1))))) )
PROPERTY: CloudReconfiguration-PT-311-CTLFireability-04 (EF( ( (! (AX( ((potential((tk(P1386)>=1))))))) & ( ( ( ((potential((tk(P2292)>=1)))) & ((potential((tk(P1402)>=1)))) ) | ( ((potential((tk(P2395)>=1)))) & ((potential((tk(P1892)>=1)))) ) ) | ((potential((tk(P1009)>=1)))) ) )))
PROPERTY: CloudReconfiguration-PT-311-CTLFireability-05 (EU( (! (EF( ((potential((tk(P2127)>=1))))))) , (AX( ( ((potential((tk(P573)>=1) & (tk(P2413)>=1)))) & ((potential((tk(P79)>=1)))) ))) ))
PROPERTY: CloudReconfiguration-PT-311-CTLFireability-06 (AU( ( ( (! ((potential((tk(P1129)>=1))))) & (! ((potential((tk(P793)>=1))))) ) | ((potential((tk(P227)>=1)))) ) , (AG( (! ((potential((tk(P1811)>=1))))))) ))
PROPERTY: CloudReconfiguration-PT-311-CTLFireability-07 (AU( ( (AF( ((potential((tk(P1957)>=1)))))) & ( ( ((potential((tk(P48)>=1)))) | ((potential((tk(P345)>=1)))) ) | (! ((potential((tk(P1045)>=1))))) ) ) , ((potential((tk(P1996)>=1)))) ))
PROPERTY: CloudReconfiguration-PT-311-CTLFireability-08 (! (EU( (EF( ((potential((tk(P494)>=1)))))) , ( ( ((potential((tk(P2567)>=1)))) & ((potential((tk(P573)>=1) & (tk(P1019)>=1)))) ) | ((potential((tk(P1733)>=1)))) ) )))
PROPERTY: CloudReconfiguration-PT-311-CTLFireability-09 (! (AF( ((potential((tk(P1643)>=1)))))))
PROPERTY: CloudReconfiguration-PT-311-CTLFireability-10 (AU( (AG( ( ((potential((tk(P2470)>=1)))) & ((potential((tk(P340)>=1)))) ))) , (AF( ( ((potential((tk(P1896)>=1)))) | ((potential((tk(P901)>=1)))) ))) ))
PROPERTY: CloudReconfiguration-PT-311-CTLFireability-11 (AF( ( ( ( ( ((potential((tk(P92)>=1)))) | ((potential((tk(P1711)>=1)))) ) & ( ((potential((tk(P652)>=1)))) | ((potential((tk(P1897)>=1)))) ) ) & (EF( ((potential((tk(P832)>=1)))))) ) | ( ( ( ((potential((tk(P1256)>=1)))) | ((potential((tk(P458)>=1)))) ) & ( ((potential((tk(P676)>=1)))) | ((potential((tk(P1529)>=1)))) ) ) & ( ( ((potential((tk(P1295)>=1)))) | ((potential((tk(P34)>=1)))) ) & (! ((potential((tk(P663)>=1))))) ) ) )))
PROPERTY: CloudReconfiguration-PT-311-CTLFireability-12 (AF( ( ((potential((tk(P598)>=1)))) & (EU( ((potential((tk(P2113)>=1)))) , ((potential((tk(P8)>=1)))) )) )))
PROPERTY: CloudReconfiguration-PT-311-CTLFireability-13 ( ((potential((tk(P2088)>=1)))) | (AG( ( (EX( ((potential((tk(P858)>=1)))))) | (! ((potential((tk(P1110)>=1))))) ))) )
PROPERTY: CloudReconfiguration-PT-311-CTLFireability-14 (EX( (! ( (EF( ((potential((tk(P102)>=1)))))) & (EF( ((potential((tk(P515)>=1)))))) ))))
PROPERTY: CloudReconfiguration-PT-311-CTLFireability-15 ( (EU( ( ( ((potential((tk(P1356)>=1)))) & ((potential((tk(P300)>=1)))) ) & ( ((potential((tk(P1864)>=1)))) | ((potential((tk(P1446)>=1)))) ) ) , (AX( ((potential((tk(P1206)>=1)))))) )) | (AG( ( ( (! ((potential((tk(P639)>=1))))) | ((potential((tk(P1066)>=1)))) ) | (AF( ((potential((tk(P1840)>=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-311"
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-311, 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-158902541700084"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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