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

About the Execution of smart for CloudReconfiguration-PT-305

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 836K
-rw-r--r-- 1 mcc users 4.0K Mar 30 01:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 30 01:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 28 16:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 28 16:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.7K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K 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 4.0K Mar 27 08:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K 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-305-CTLFireability-00
FORMULA_NAME CloudReconfiguration-PT-305-CTLFireability-01
FORMULA_NAME CloudReconfiguration-PT-305-CTLFireability-02
FORMULA_NAME CloudReconfiguration-PT-305-CTLFireability-03
FORMULA_NAME CloudReconfiguration-PT-305-CTLFireability-04
FORMULA_NAME CloudReconfiguration-PT-305-CTLFireability-05
FORMULA_NAME CloudReconfiguration-PT-305-CTLFireability-06
FORMULA_NAME CloudReconfiguration-PT-305-CTLFireability-07
FORMULA_NAME CloudReconfiguration-PT-305-CTLFireability-08
FORMULA_NAME CloudReconfiguration-PT-305-CTLFireability-09
FORMULA_NAME CloudReconfiguration-PT-305-CTLFireability-10
FORMULA_NAME CloudReconfiguration-PT-305-CTLFireability-11
FORMULA_NAME CloudReconfiguration-PT-305-CTLFireability-12
FORMULA_NAME CloudReconfiguration-PT-305-CTLFireability-13
FORMULA_NAME CloudReconfiguration-PT-305-CTLFireability-14
FORMULA_NAME CloudReconfiguration-PT-305-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589088036285

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 305
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 4443229 SOS 758854 HAS SOPS 758854 HAS SOUS 699876 HAS SOUPS 699876 WITH SCORE 700634.854
AT ITER 5 NEW BEST:: SOT 4443215 SOS 758826 HAS SOPS 758826 HAS SOUS 699848 HAS SOUPS 699848 WITH SCORE 700606.826
AT ITER 11 NEW BEST:: SOT 4443009 SOS 758826 HAS SOPS 758826 HAS SOUS 699745 HAS SOUPS 699745 WITH SCORE 700503.826
AT ITER 21 NEW BEST:: SOT 4442871 SOS 758550 HAS SOPS 758550 HAS SOUS 699469 HAS SOUPS 699469 WITH SCORE 700227.55
AT ITER 22 NEW BEST:: SOT 4442871 SOS 758398 HAS SOPS 758398 HAS SOUS 699469 HAS SOUPS 699469 WITH SCORE 700227.398
AT ITER 23 NEW BEST:: SOT 4442871 SOS 758398 HAS SOPS 758398 HAS SOUS 699437 HAS SOUPS 699437 WITH SCORE 700195.398
AT ITER 39 NEW BEST:: SOT 4442871 SOS 758054 HAS SOPS 758054 HAS SOUS 699284 HAS SOUPS 699284 WITH SCORE 700042.054
AT ITER 75 NEW BEST:: SOT 4443146 SOS 757772 HAS SOPS 757772 HAS SOUS 699280 HAS SOUPS 699280 WITH SCORE 700037.772
AT ITER 90 NEW BEST:: SOT 4442955 SOS 757390 HAS SOPS 757390 HAS SOUS 698898 HAS SOUPS 698898 WITH SCORE 699655.39
AT ITER 92 NEW BEST:: SOT 4442694 SOS 756868 HAS SOPS 756868 HAS SOUS 698376 HAS SOUPS 698376 WITH SCORE 699132.868
AT ITER 111 NEW BEST:: SOT 4442694 SOS 756709 HAS SOPS 756709 HAS SOUS 698217 HAS SOUPS 698217 WITH SCORE 698973.709
AT ITER 114 NEW BEST:: SOT 4442420 SOS 756450 HAS SOPS 756450 HAS SOUS 697958 HAS SOUPS 697958 WITH SCORE 698714.45
AT ITER 140 NEW BEST:: SOT 4442420 SOS 756171 HAS SOPS 756171 HAS SOUS 697958 HAS SOUPS 697958 WITH SCORE 698714.171
AT ITER 141 NEW BEST:: SOT 4442171 SOS 755673 HAS SOPS 755673 HAS SOUS 697460 HAS SOUPS 697460 WITH SCORE 698215.673
AT ITER 145 NEW BEST:: SOT 4442171 SOS 755632 HAS SOPS 755632 HAS SOUS 697460 HAS SOUPS 697460 WITH SCORE 698215.632
AT ITER 154 NEW BEST:: SOT 4442234 SOS 755758 HAS SOPS 755758 HAS SOUS 697358 HAS SOUPS 697358 WITH SCORE 698113.758
AT ITER 169 NEW BEST:: SOT 4442233 SOS 755756 HAS SOPS 755756 HAS SOUS 697356 HAS SOUPS 697356 WITH SCORE 698111.756
AT ITER 171 NEW BEST:: SOT 4442109 SOS 755384 HAS SOPS 755384 HAS SOUS 697108 HAS SOUPS 697108 WITH SCORE 697863.384
AT ITER 218 NEW BEST:: SOT 4435527 SOS 753185 HAS SOPS 753185 HAS SOUS 690659 HAS SOUPS 690659 WITH SCORE 691412.185
AT ITER 247 NEW BEST:: SOT 4435221 SOS 752573 HAS SOPS 752573 HAS SOUS 690047 HAS SOUPS 690047 WITH SCORE 690799.573
AT ITER 250 NEW BEST:: SOT 4435219 SOS 752569 HAS SOPS 752569 HAS SOUS 690043 HAS SOUPS 690043 WITH SCORE 690795.569
AT ITER 280 NEW BEST:: SOT 4435061 SOS 752411 HAS SOPS 752411 HAS SOUS 689885 HAS SOUPS 689885 WITH SCORE 690637.411
AT ITER 318 NEW BEST:: SOT 4435001 SOS 752371 HAS SOPS 752371 HAS SOUS 689845 HAS SOUPS 689845 WITH SCORE 690597.371
AT ITER 326 NEW BEST:: SOT 4434710 SOS 751789 HAS SOPS 751789 HAS SOUS 689657 HAS SOUPS 689657 WITH SCORE 690408.789
AT ITER 327 NEW BEST:: SOT 4434514 SOS 751773 HAS SOPS 751773 HAS SOUS 689524 HAS SOUPS 689524 WITH SCORE 690275.773
AT ITER 337 NEW BEST:: SOT 4434391 SOS 751650 HAS SOPS 751650 HAS SOUS 689401 HAS SOUPS 689401 WITH SCORE 690152.65
AT ITER 356 NEW BEST:: SOT 4433605 SOS 750995 HAS SOPS 750995 HAS SOUS 688744 HAS SOUPS 688744 WITH SCORE 689494.995
AT ITER 360 NEW BEST:: SOT 4433605 SOS 750871 HAS SOPS 750871 HAS SOUS 688744 HAS SOUPS 688744 WITH SCORE 689494.871
AT ITER 395 NEW BEST:: SOT 4433312 SOS 750573 HAS SOPS 750573 HAS SOUS 688345 HAS SOUPS 688345 WITH SCORE 689095.573
AT ITER 397 NEW BEST:: SOT 4433312 SOS 750382 HAS SOPS 750382 HAS SOUS 688345 HAS SOUPS 688345 WITH SCORE 689095.382
AT ITER 441 NEW BEST:: SOT 4433221 SOS 750296 HAS SOPS 750296 HAS SOUS 688163 HAS SOUPS 688163 WITH SCORE 688913.296
AT ITER 445 NEW BEST:: SOT 4432991 SOS 751615 HAS SOPS 751615 HAS SOUS 688058 HAS SOUPS 688058 WITH SCORE 688809.615
AT ITER 453 NEW BEST:: SOT 4432991 SOS 751472 HAS SOPS 751472 HAS SOUS 688057 HAS SOUPS 688057 WITH SCORE 688808.472
AT ITER 466 NEW BEST:: SOT 4432635 SOS 751206 HAS SOPS 751206 HAS SOUS 687701 HAS SOUPS 687701 WITH SCORE 688452.206
AT ITER 511 NEW BEST:: SOT 4432760 SOS 751081 HAS SOPS 751081 HAS SOUS 687701 HAS SOUPS 687701 WITH SCORE 688452.081
AT ITER 597 NEW BEST:: SOT 4432613 SOS 751125 HAS SOPS 751125 HAS SOUS 687407 HAS SOUPS 687407 WITH SCORE 688158.125
AT ITER 628 NEW BEST:: SOT 4432613 SOS 751044 HAS SOPS 751044 HAS SOUS 687406 HAS SOUPS 687406 WITH SCORE 688157.044
AT ITER 645 NEW BEST:: SOT 4432468 SOS 750973 HAS SOPS 750973 HAS SOUS 687286 HAS SOUPS 687286 WITH SCORE 688036.973
AT ITER 672 NEW BEST:: SOT 4432410 SOS 750857 HAS SOPS 750857 HAS SOUS 687228 HAS SOUPS 687228 WITH SCORE 687978.857
AT ITER 676 NEW BEST:: SOT 4431870 SOS 750317 HAS SOPS 750317 HAS SOUS 686508 HAS SOUPS 686508 WITH SCORE 687258.317
AT ITER 677 NEW BEST:: SOT 4431780 SOS 750197 HAS SOPS 750197 HAS SOUS 686388 HAS SOUPS 686388 WITH SCORE 687138.197
AT ITER 679 NEW BEST:: SOT 4431733 SOS 750103 HAS SOPS 750103 HAS SOUS 686294 HAS SOUPS 686294 WITH SCORE 687044.103
AT ITER 681 NEW BEST:: SOT 4431733 SOS 749996 HAS SOPS 749996 HAS SOUS 686187 HAS SOUPS 686187 WITH SCORE 686936.996
AT ITER 712 NEW BEST:: SOT 4431733 SOS 749996 HAS SOPS 749996 HAS SOUS 686010 HAS SOUPS 686010 WITH SCORE 686759.996
AT ITER 721 NEW BEST:: SOT 4431558 SOS 749821 HAS SOPS 749821 HAS SOUS 685835 HAS SOUPS 685835 WITH SCORE 686584.821
AT ITER 727 NEW BEST:: SOT 4431551 SOS 749807 HAS SOPS 749807 HAS SOUS 685647 HAS SOUPS 685647 WITH SCORE 686396.807
AT ITER 758 NEW BEST:: SOT 4431423 SOS 749551 HAS SOPS 749551 HAS SOUS 685353 HAS SOUPS 685353 WITH SCORE 686102.551
AT ITER 764 NEW BEST:: SOT 4431423 SOS 749551 HAS SOPS 749551 HAS SOUS 685350 HAS SOUPS 685350 WITH SCORE 686099.551
AT ITER 766 NEW BEST:: SOT 4431346 SOS 749397 HAS SOPS 749397 HAS SOUS 685196 HAS SOUPS 685196 WITH SCORE 685945.397
AT ITER 789 NEW BEST:: SOT 4431202 SOS 749913 HAS SOPS 749913 HAS SOUS 685163 HAS SOUPS 685163 WITH SCORE 685912.913
AT ITER 819 NEW BEST:: SOT 4431139 SOS 749787 HAS SOPS 749787 HAS SOUS 685037 HAS SOUPS 685037 WITH SCORE 685786.787
AT ITER 838 NEW BEST:: SOT 4431101 SOS 749711 HAS SOPS 749711 HAS SOUS 684991 HAS SOUPS 684991 WITH SCORE 685740.711
AT ITER 885 NEW BEST:: SOT 4431042 SOS 749593 HAS SOPS 749593 HAS SOUS 684932 HAS SOUPS 684932 WITH SCORE 685681.593
AT ITER 899 NEW BEST:: SOT 4431010 SOS 749644 HAS SOPS 749644 HAS SOUS 684915 HAS SOUPS 684915 WITH SCORE 685664.644
AT ITER 901 NEW BEST:: SOT 4431071 SOS 749228 HAS SOPS 749228 HAS SOUS 684767 HAS SOUPS 684767 WITH SCORE 685516.228
AT ITER 903 NEW BEST:: SOT 4431066 SOS 749218 HAS SOPS 749218 HAS SOUS 684757 HAS SOUPS 684757 WITH SCORE 685506.218
AT ITER 951 NEW BEST:: SOT 4430937 SOS 749135 HAS SOPS 749135 HAS SOUS 684609 HAS SOUPS 684609 WITH SCORE 685358.135
AT ITER 960 NEW BEST:: SOT 4430924 SOS 748963 HAS SOPS 748963 HAS SOUS 684583 HAS SOUPS 684583 WITH SCORE 685331.963
AT ITER 967 NEW BEST:: SOT 4430733 SOS 748869 HAS SOPS 748869 HAS SOUS 684426 HAS SOUPS 684426 WITH SCORE 685174.869
AT ITER 995 NEW BEST:: SOT 4430817 SOS 749037 HAS SOPS 749037 HAS SOUS 684209 HAS SOUPS 684209 WITH SCORE 684958.037
AT ITER 1000 NEW BEST:: SOT 4430691 SOS 748869 HAS SOPS 748869 HAS SOUS 684041 HAS SOUPS 684041 WITH SCORE 684789.869
AT ITER 1016 NEW BEST:: SOT 4430799 SOS 747129 HAS SOPS 747129 HAS SOUS 683841 HAS SOUPS 683841 WITH SCORE 684588.129
AT ITER 1064 NEW BEST:: SOT 4430693 SOS 747093 HAS SOPS 747093 HAS SOUS 683805 HAS SOUPS 683805 WITH SCORE 684552.093
AT ITER 1070 NEW BEST:: SOT 4427828 SOS 765555 HAS SOPS 765555 HAS SOUS 681215 HAS SOUPS 681215 WITH SCORE 681980.555
AT ITER 1082 NEW BEST:: SOT 4427803 SOS 764986 HAS SOPS 764986 HAS SOUS 680877 HAS SOUPS 680877 WITH SCORE 681641.986
AT ITER 1087 NEW BEST:: SOT 4427276 SOS 765183 HAS SOPS 765183 HAS SOUS 680590 HAS SOUPS 680590 WITH SCORE 681355.183
AT ITER 1093 NEW BEST:: SOT 4427264 SOS 765523 HAS SOPS 765523 HAS SOUS 680455 HAS SOUPS 680455 WITH SCORE 681220.523
AT ITER 1096 NEW BEST:: SOT 4427264 SOS 765167 HAS SOPS 765167 HAS SOUS 680454 HAS SOUPS 680454 WITH SCORE 681219.167
AT ITER 1112 NEW BEST:: SOT 4427264 SOS 741094 HAS SOPS 741094 HAS SOUS 680454 HAS SOUPS 680454 WITH SCORE 681195.094
AT ITER 1117 NEW BEST:: SOT 4427114 SOS 740794 HAS SOPS 740794 HAS SOUS 680304 HAS SOUPS 680304 WITH SCORE 681044.794
AT ITER 1124 NEW BEST:: SOT 4426748 SOS 740794 HAS SOPS 740794 HAS SOUS 680121 HAS SOUPS 680121 WITH SCORE 680861.794
AT ITER 1127 NEW BEST:: SOT 4426492 SOS 740720 HAS SOPS 740720 HAS SOUS 679871 HAS SOUPS 679871 WITH SCORE 680611.72
AT ITER 1136 NEW BEST:: SOT 4426335 SOS 740406 HAS SOPS 740406 HAS SOUS 679505 HAS SOUPS 679505 WITH SCORE 680245.406
AT ITER 1150 NEW BEST:: SOT 4426168 SOS 740239 HAS SOPS 740239 HAS SOUS 679338 HAS SOUPS 679338 WITH SCORE 680078.239
AT ITER 1153 NEW BEST:: SOT 4426085 SOS 739964 HAS SOPS 739964 HAS SOUS 679146 HAS SOUPS 679146 WITH SCORE 679885.964
AT ITER 1162 NEW BEST:: SOT 4425953 SOS 739700 HAS SOPS 739700 HAS SOUS 678677 HAS SOUPS 678677 WITH SCORE 679416.7
AT ITER 1176 NEW BEST:: SOT 4425806 SOS 739464 HAS SOPS 739464 HAS SOUS 678529 HAS SOUPS 678529 WITH SCORE 679268.464
AT ITER 1181 NEW BEST:: SOT 4425593 SOS 739704 HAS SOPS 739704 HAS SOUS 678372 HAS SOUPS 678372 WITH SCORE 679111.704
AT ITER 1233 NEW BEST:: SOT 4425414 SOS 739556 HAS SOPS 739556 HAS SOUS 678193 HAS SOUPS 678193 WITH SCORE 678932.556
AT ITER 1242 NEW BEST:: SOT 4425375 SOS 739517 HAS SOPS 739517 HAS SOUS 678154 HAS SOUPS 678154 WITH SCORE 678893.517
AT ITER 1250 NEW BEST:: SOT 4425375 SOS 739516 HAS SOPS 739516 HAS SOUS 678153 HAS SOUPS 678153 WITH SCORE 678892.516
AT ITER 1293 NEW BEST:: SOT 4425364 SOS 739494 HAS SOPS 739494 HAS SOUS 678142 HAS SOUPS 678142 WITH SCORE 678881.494
AT ITER 1310 NEW BEST:: SOT 4425364 SOS 739494 HAS SOPS 739494 HAS SOUS 678137 HAS SOUPS 678137 WITH SCORE 678876.494
AT ITER 1315 NEW BEST:: SOT 4425211 SOS 739188 HAS SOPS 739188 HAS SOUS 677983 HAS SOUPS 677983 WITH SCORE 678722.188
AT ITER 1378 NEW BEST:: SOT 4425295 SOS 739270 HAS SOPS 739270 HAS SOUS 677807 HAS SOUPS 677807 WITH SCORE 678546.27
AT ITER 1388 NEW BEST:: SOT 4425155 SOS 739269 HAS SOPS 739269 HAS SOUS 677806 HAS SOUPS 677806 WITH SCORE 678545.269
AT ITER 1409 NEW BEST:: SOT 4425155 SOS 739269 HAS SOPS 739269 HAS SOUS 677770 HAS SOUPS 677770 WITH SCORE 678509.269
AT ITER 1413 NEW BEST:: SOT 4425144 SOS 739343 HAS SOPS 739343 HAS SOUS 677759 HAS SOUPS 677759 WITH SCORE 678498.343
AT ITER 1422 NEW BEST:: SOT 4425083 SOS 739081 HAS SOPS 739081 HAS SOUS 677558 HAS SOUPS 677558 WITH SCORE 678297.081
AT ITER 1427 NEW BEST:: SOT 4425082 SOS 739122 HAS SOPS 739122 HAS SOUS 677556 HAS SOUPS 677556 WITH SCORE 678295.122
AT ITER 1443 NEW BEST:: SOT 4425081 SOS 739120 HAS SOPS 739120 HAS SOUS 677554 HAS SOUPS 677554 WITH SCORE 678293.12
AT ITER 1457 NEW BEST:: SOT 4424941 SOS 739002 HAS SOPS 739002 HAS SOUS 677436 HAS SOUPS 677436 WITH SCORE 678175.002
AT ITER 1467 NEW BEST:: SOT 4423687 SOS 737883 HAS SOPS 737883 HAS SOUS 676355 HAS SOUPS 676355 WITH SCORE 677092.883
AT ITER 1474 NEW BEST:: SOT 4423687 SOS 737841 HAS SOPS 737841 HAS SOUS 676355 HAS SOUPS 676355 WITH SCORE 677092.841
AT ITER 1485 NEW BEST:: SOT 4423556 SOS 737579 HAS SOPS 737579 HAS SOUS 676093 HAS SOUPS 676093 WITH SCORE 676830.579
AT ITER 1489 NEW BEST:: SOT 4423577 SOS 737575 HAS SOPS 737575 HAS SOUS 676089 HAS SOUPS 676089 WITH SCORE 676826.575
AT ITER 1492 NEW BEST:: SOT 4423504 SOS 737429 HAS SOPS 737429 HAS SOUS 675943 HAS SOUPS 675943 WITH SCORE 676680.429
AT ITER 1542 NEW BEST:: SOT 4423504 SOS 737428 HAS SOPS 737428 HAS SOUS 675942 HAS SOUPS 675942 WITH SCORE 676679.428
AT ITER 1561 NEW BEST:: SOT 4423340 SOS 737099 HAS SOPS 737099 HAS SOUS 675535 HAS SOUPS 675535 WITH SCORE 676272.099
AT ITER 1576 NEW BEST:: SOT 4423259 SOS 737337 HAS SOPS 737337 HAS SOUS 675373 HAS SOUPS 675373 WITH SCORE 676110.337
AT ITER 1581 NEW BEST:: SOT 4422995 SOS 737073 HAS SOPS 737073 HAS SOUS 675109 HAS SOUPS 675109 WITH SCORE 675846.073
AT ITER 1590 NEW BEST:: SOT 4422945 SOS 736973 HAS SOPS 736973 HAS SOUS 675009 HAS SOUPS 675009 WITH SCORE 675745.973
AT ITER 1601 NEW BEST:: SOT 4422833 SOS 736749 HAS SOPS 736749 HAS SOUS 674785 HAS SOUPS 674785 WITH SCORE 675521.749
AT ITER 1607 NEW BEST:: SOT 4422684 SOS 736302 HAS SOPS 736302 HAS SOUS 674487 HAS SOUPS 674487 WITH SCORE 675223.302
AT ITER 1618 NEW BEST:: SOT 4416459 SOS 746905 HAS SOPS 746905 HAS SOUS 669077 HAS SOUPS 669077 WITH SCORE 669823.905
AT ITER 1668 NEW BEST:: SOT 4416006 SOS 746747 HAS SOPS 746747 HAS SOUS 668740 HAS SOUPS 668740 WITH SCORE 669486.747
AT ITER 1676 NEW BEST:: SOT 4415853 SOS 746724 HAS SOPS 746724 HAS SOUS 668613 HAS SOUPS 668613 WITH SCORE 669359.724
AT ITER 1679 NEW BEST:: SOT 4415731 SOS 746156 HAS SOPS 746156 HAS SOUS 668167 HAS SOUPS 668167 WITH SCORE 668913.156
AT ITER 1695 NEW BEST:: SOT 4415685 SOS 746480 HAS SOPS 746480 HAS SOUS 668121 HAS SOUPS 668121 WITH SCORE 668867.48
AT ITER 1716 NEW BEST:: SOT 4415621 SOS 745991 HAS SOPS 745991 HAS SOUS 667727 HAS SOUPS 667727 WITH SCORE 668472.991
AT ITER 1721 NEW BEST:: SOT 4415607 SOS 745977 HAS SOPS 745977 HAS SOUS 667713 HAS SOUPS 667713 WITH SCORE 668458.977
AT ITER 1731 NEW BEST:: SOT 4415607 SOS 745753 HAS SOPS 745753 HAS SOUS 667489 HAS SOUPS 667489 WITH SCORE 668234.753
AT ITER 1740 NEW BEST:: SOT 4415500 SOS 745539 HAS SOPS 745539 HAS SOUS 667382 HAS SOUPS 667382 WITH SCORE 668127.539
AT ITER 1756 NEW BEST:: SOT 4407166 SOS 794307 HAS SOPS 794307 HAS SOUS 661852 HAS SOUPS 661852 WITH SCORE 662646.307
AT ITER 1757 NEW BEST:: SOT 4406988 SOS 794586 HAS SOPS 794586 HAS SOUS 661801 HAS SOUPS 661801 WITH SCORE 662595.586
AT ITER 1758 NEW BEST:: SOT 4406988 SOS 794538 HAS SOPS 794538 HAS SOUS 661801 HAS SOUPS 661801 WITH SCORE 662595.538
AT ITER 1760 NEW BEST:: SOT 4406988 SOS 794471 HAS SOPS 794471 HAS SOUS 661801 HAS SOUPS 661801 WITH SCORE 662595.471
AT ITER 1761 NEW BEST:: SOT 4407039 SOS 794573 HAS SOPS 794573 HAS SOUS 661783 HAS SOUPS 661783 WITH SCORE 662577.573
AT ITER 1797 NEW BEST:: SOT 4407115 SOS 794615 HAS SOPS 794615 HAS SOUS 661589 HAS SOUPS 661589 WITH SCORE 662383.615
AT ITER 1809 NEW BEST:: SOT 4406901 SOS 794187 HAS SOPS 794187 HAS SOUS 661161 HAS SOUPS 661161 WITH SCORE 661955.187
AT ITER 1817 NEW BEST:: SOT 4406833 SOS 794051 HAS SOPS 794051 HAS SOUS 661093 HAS SOUPS 661093 WITH SCORE 661887.051
AT ITER 1818 NEW BEST:: SOT 4406865 SOS 793998 HAS SOPS 793998 HAS SOUS 661008 HAS SOUPS 661008 WITH SCORE 661801.998
AT ITER 1848 NEW BEST:: SOT 4406806 SOS 793808 HAS SOPS 793808 HAS SOUS 660882 HAS SOUPS 660882 WITH SCORE 661675.808
AT ITER 1851 NEW BEST:: SOT 4406755 SOS 793706 HAS SOPS 793706 HAS SOUS 660780 HAS SOUPS 660780 WITH SCORE 661573.706
AT ITER 1855 NEW BEST:: SOT 4406544 SOS 792898 HAS SOPS 792898 HAS SOUS 660358 HAS SOUPS 660358 WITH SCORE 661150.898
AT ITER 1867 NEW BEST:: SOT 4406376 SOS 792394 HAS SOPS 792394 HAS SOUS 660022 HAS SOUPS 660022 WITH SCORE 660814.394
AT ITER 1872 NEW BEST:: SOT 4406221 SOS 792296 HAS SOPS 792296 HAS SOUS 659924 HAS SOUPS 659924 WITH SCORE 660716.296
AT ITER 1882 NEW BEST:: SOT 4406242 SOS 792338 HAS SOPS 792338 HAS SOUS 659731 HAS SOUPS 659731 WITH SCORE 660523.338
AT ITER 1885 NEW BEST:: SOT 4406406 SOS 792116 HAS SOPS 792116 HAS SOUS 659620 HAS SOUPS 659620 WITH SCORE 660412.116
AT ITER 1891 NEW BEST:: SOT 4406130 SOS 791897 HAS SOPS 791897 HAS SOUS 659370 HAS SOUPS 659370 WITH SCORE 660161.897
AT ITER 1920 NEW BEST:: SOT 4406094 SOS 791825 HAS SOPS 791825 HAS SOUS 659298 HAS SOUPS 659298 WITH SCORE 660089.825
AT ITER 1928 NEW BEST:: SOT 4406029 SOS 791760 HAS SOPS 791760 HAS SOUS 659297 HAS SOUPS 659297 WITH SCORE 660088.76
AT ITER 1929 NEW BEST:: SOT 4406029 SOS 791631 HAS SOPS 791631 HAS SOUS 659168 HAS SOUPS 659168 WITH SCORE 659959.631
AT ITER 1962 NEW BEST:: SOT 4405661 SOS 790895 HAS SOPS 790895 HAS SOUS 658932 HAS SOUPS 658932 WITH SCORE 659722.895
AT ITER 1996 NEW BEST:: SOT 4405627 SOS 790827 HAS SOPS 790827 HAS SOUS 658864 HAS SOUPS 658864 WITH SCORE 659654.827
AT ITER 1999 NEW BEST:: SOT 4405534 SOS 790641 HAS SOPS 790641 HAS SOUS 658678 HAS SOUPS 658678 WITH SCORE 659468.641
AT ITER 2014 NEW BEST:: SOT 4405464 SOS 790571 HAS SOPS 790571 HAS SOUS 658678 HAS SOUPS 658678 WITH SCORE 659468.571
AT ITER 2023 NEW BEST:: SOT 4405312 SOS 790267 HAS SOPS 790267 HAS SOUS 658374 HAS SOUPS 658374 WITH SCORE 659164.267
AT ITER 2053 NEW BEST:: SOT 4405312 SOS 790044 HAS SOPS 790044 HAS SOUS 658151 HAS SOUPS 658151 WITH SCORE 658941.044
AT ITER 2105 NEW BEST:: SOT 4405155 SOS 768184 HAS SOPS 768184 HAS SOUS 657837 HAS SOUPS 657837 WITH SCORE 658605.184
AT ITER 2152 NEW BEST:: SOT 4405132 SOS 768342 HAS SOPS 768342 HAS SOUS 657776 HAS SOUPS 657776 WITH SCORE 658544.342
AT ITER 2171 NEW BEST:: SOT 4405131 SOS 768340 HAS SOPS 768340 HAS SOUS 657774 HAS SOUPS 657774 WITH SCORE 658542.34
AT ITER 2173 NEW BEST:: SOT 4405021 SOS 768120 HAS SOPS 768120 HAS SOUS 657554 HAS SOUPS 657554 WITH SCORE 658322.12
AT ITER 2175 NEW BEST:: SOT 4404889 SOS 767516 HAS SOPS 767516 HAS SOUS 657082 HAS SOUPS 657082 WITH SCORE 657849.516
AT ITER 2180 NEW BEST:: SOT 4404871 SOS 767480 HAS SOPS 767480 HAS SOUS 656723 HAS SOUPS 656723 WITH SCORE 657490.48
AT ITER 2186 NEW BEST:: SOT 4404870 SOS 767055 HAS SOPS 767055 HAS SOUS 656722 HAS SOUPS 656722 WITH SCORE 657489.055
AT ITER 2191 NEW BEST:: SOT 4404870 SOS 767054 HAS SOPS 767054 HAS SOUS 656721 HAS SOUPS 656721 WITH SCORE 657488.054
AT ITER 2199 NEW BEST:: SOT 4404814 SOS 766942 HAS SOPS 766942 HAS SOUS 656698 HAS SOUPS 656698 WITH SCORE 657464.942
AT ITER 2229 NEW BEST:: SOT 4404904 SOS 767122 HAS SOPS 767122 HAS SOUS 656633 HAS SOUPS 656633 WITH SCORE 657400.122
AT ITER 2231 NEW BEST:: SOT 4404705 SOS 766724 HAS SOPS 766724 HAS SOUS 656235 HAS SOUPS 656235 WITH SCORE 657001.724
AT ITER 2238 NEW BEST:: SOT 4404704 SOS 766722 HAS SOPS 766722 HAS SOUS 656233 HAS SOUPS 656233 WITH SCORE 656999.722
AT ITER 2241 NEW BEST:: SOT 4404625 SOS 766564 HAS SOPS 766564 HAS SOUS 656154 HAS SOUPS 656154 WITH SCORE 656920.564
AT ITER 2242 NEW BEST:: SOT 4404625 SOS 766238 HAS SOPS 766238 HAS SOUS 655828 HAS SOUPS 655828 WITH SCORE 656594.238
AT ITER 2263 NEW BEST:: SOT 4403840 SOS 767218 HAS SOPS 767218 HAS SOUS 655368 HAS SOUPS 655368 WITH SCORE 656135.218
AT ITER 2298 NEW BEST:: SOT 4403665 SOS 767138 HAS SOPS 767138 HAS SOUS 655208 HAS SOUPS 655208 WITH SCORE 655975.138
AT ITER 2299 NEW BEST:: SOT 4403665 SOS 767119 HAS SOPS 767119 HAS SOUS 655189 HAS SOUPS 655189 WITH SCORE 655956.119
AT ITER 2321 NEW BEST:: SOT 4403665 SOS 767061 HAS SOPS 767061 HAS SOUS 655189 HAS SOUPS 655189 WITH SCORE 655956.061
AT ITER 2329 NEW BEST:: SOT 4403665 SOS 767061 HAS SOPS 767061 HAS SOUS 655188 HAS SOUPS 655188 WITH SCORE 655955.061
AT ITER 2344 NEW BEST:: SOT 4403185 SOS 766581 HAS SOPS 766581 HAS SOUS 654708 HAS SOUPS 654708 WITH SCORE 655474.581
AT ITER 2355 NEW BEST:: SOT 4403111 SOS 766603 HAS SOPS 766603 HAS SOUS 654634 HAS SOUPS 654634 WITH SCORE 655400.603
AT ITER 2360 NEW BEST:: SOT 4403081 SOS 766513 HAS SOPS 766513 HAS SOUS 654574 HAS SOUPS 654574 WITH SCORE 655340.513
AT ITER 2372 NEW BEST:: SOT 4402957 SOS 766391 HAS SOPS 766391 HAS SOUS 654452 HAS SOUPS 654452 WITH SCORE 655218.391
AT ITER 2381 NEW BEST:: SOT 4402868 SOS 766411 HAS SOPS 766411 HAS SOUS 654380 HAS SOUPS 654380 WITH SCORE 655146.411
AT ITER 2418 NEW BEST:: SOT 4402497 SOS 766253 HAS SOPS 766253 HAS SOUS 654124 HAS SOUPS 654124 WITH SCORE 654890.253
AT ITER 2427 NEW BEST:: SOT 4402497 SOS 766253 HAS SOPS 766253 HAS SOUS 654083 HAS SOUPS 654083 WITH SCORE 654849.253
AT ITER 2494 NEW BEST:: SOT 4402356 SOS 766112 HAS SOPS 766112 HAS SOUS 653942 HAS SOUPS 653942 WITH SCORE 654708.112
AT ITER 2523 NEW BEST:: SOT 4402282 SOS 765964 HAS SOPS 765964 HAS SOUS 653657 HAS SOUPS 653657 WITH SCORE 654422.964
AT ITER 2565 NEW BEST:: SOT 4402564 SOS 764808 HAS SOPS 764808 HAS SOUS 653509 HAS SOUPS 653509 WITH SCORE 654273.808
AT ITER 2567 NEW BEST:: SOT 4402240 SOS 765501 HAS SOPS 765501 HAS SOUS 653325 HAS SOUPS 653325 WITH SCORE 654090.501
AT ITER 2586 NEW BEST:: SOT 4402066 SOS 765153 HAS SOPS 765153 HAS SOUS 652900 HAS SOUPS 652900 WITH SCORE 653665.153
AT ITER 2600 NEW BEST:: SOT 4401926 SOS 764873 HAS SOPS 764873 HAS SOUS 652620 HAS SOUPS 652620 WITH SCORE 653384.873
AT ITER 2609 NEW BEST:: SOT 4401865 SOS 764751 HAS SOPS 764751 HAS SOUS 652498 HAS SOUPS 652498 WITH SCORE 653262.751
AT ITER 2617 NEW BEST:: SOT 4401709 SOS 764207 HAS SOPS 764207 HAS SOUS 651878 HAS SOUPS 651878 WITH SCORE 652642.207
AT ITER 2627 NEW BEST:: SOT 4401599 SOS 764207 HAS SOPS 764207 HAS SOUS 651823 HAS SOUPS 651823 WITH SCORE 652587.207
AT ITER 2635 NEW BEST:: SOT 4401496 SOS 764001 HAS SOPS 764001 HAS SOUS 651720 HAS SOUPS 651720 WITH SCORE 652484.001
AT ITER 2639 NEW BEST:: SOT 4401395 SOS 763799 HAS SOPS 763799 HAS SOUS 651262 HAS SOUPS 651262 WITH SCORE 652025.799
AT ITER 2653 NEW BEST:: SOT 4401395 SOS 763799 HAS SOPS 763799 HAS SOUS 651261 HAS SOUPS 651261 WITH SCORE 652024.799
AT ITER 2654 NEW BEST:: SOT 4400524 SOS 762057 HAS SOPS 762057 HAS SOUS 650281 HAS SOUPS 650281 WITH SCORE 651043.057
AT ITER 2663 NEW BEST:: SOT 4400506 SOS 762039 HAS SOPS 762039 HAS SOUS 650281 HAS SOUPS 650281 WITH SCORE 651043.039
AT ITER 2681 NEW BEST:: SOT 4400542 SOS 762111 HAS SOPS 762111 HAS SOUS 650247 HAS SOUPS 650247 WITH SCORE 651009.111
AT ITER 2685 NEW BEST:: SOT 4400076 SOS 761179 HAS SOPS 761179 HAS SOUS 649963 HAS SOUPS 649963 WITH SCORE 650724.179
AT ITER 2691 NEW BEST:: SOT 4400068 SOS 761163 HAS SOPS 761163 HAS SOUS 649947 HAS SOUPS 649947 WITH SCORE 650708.163
AT ITER 2692 NEW BEST:: SOT 4400068 SOS 761004 HAS SOPS 761004 HAS SOUS 649947 HAS SOUPS 649947 WITH SCORE 650708.004
AT ITER 2717 NEW BEST:: SOT 4400173 SOS 760691 HAS SOPS 760691 HAS SOUS 649771 HAS SOUPS 649771 WITH SCORE 650531.691
AT ITER 2719 NEW BEST:: SOT 4400173 SOS 760645 HAS SOPS 760645 HAS SOUS 649748 HAS SOUPS 649748 WITH SCORE 650508.645
AT ITER 2735 NEW BEST:: SOT 4400083 SOS 760465 HAS SOPS 760465 HAS SOUS 649584 HAS SOUPS 649584 WITH SCORE 650344.465
AT ITER 2740 NEW BEST:: SOT 4400064 SOS 760427 HAS SOPS 760427 HAS SOUS 649546 HAS SOUPS 649546 WITH SCORE 650306.427
AT ITER 2761 NEW BEST:: SOT 4400064 SOS 760379 HAS SOPS 760379 HAS SOUS 649546 HAS SOUPS 649546 WITH SCORE 650306.379
AT ITER 2783 NEW BEST:: SOT 4400056 SOS 760363 HAS SOPS 760363 HAS SOUS 649530 HAS SOUPS 649530 WITH SCORE 650290.363
AT ITER 2798 NEW BEST:: SOT 4400056 SOS 760363 HAS SOPS 760363 HAS SOUS 649424 HAS SOUPS 649424 WITH SCORE 650184.363
AT ITER 2799 NEW BEST:: SOT 4399996 SOS 760349 HAS SOPS 760349 HAS SOUS 649390 HAS SOUPS 649390 WITH SCORE 650150.349
AT ITER 2827 NEW BEST:: SOT 4399996 SOS 760286 HAS SOPS 760286 HAS SOUS 649390 HAS SOUPS 649390 WITH SCORE 650150.286
AT ITER 2846 NEW BEST:: SOT 4399996 SOS 760226 HAS SOPS 760226 HAS SOUS 649330 HAS SOUPS 649330 WITH SCORE 650090.226
AT ITER 2856 NEW BEST:: SOT 4399522 SOS 759534 HAS SOPS 759534 HAS SOUS 648859 HAS SOUPS 648859 WITH SCORE 649618.534
AT ITER 2864 NEW BEST:: SOT 4399521 SOS 759533 HAS SOPS 759533 HAS SOUS 648857 HAS SOUPS 648857 WITH SCORE 649616.533
AT ITER 2899 NEW BEST:: SOT 4399320 SOS 759332 HAS SOPS 759332 HAS SOUS 648656 HAS SOUPS 648656 WITH SCORE 649415.332
AT ITER 2952 NEW BEST:: SOT 4399188 SOS 759360 HAS SOPS 759360 HAS SOUS 648524 HAS SOUPS 648524 WITH SCORE 649283.36
AT ITER 2956 NEW BEST:: SOT 4399188 SOS 759326 HAS SOPS 759326 HAS SOUS 648490 HAS SOUPS 648490 WITH SCORE 649249.326
AT ITER 2990 NEW BEST:: SOT 4399063 SOS 759303 HAS SOPS 759303 HAS SOUS 648467 HAS SOUPS 648467 WITH SCORE 649226.303
AT ITER 2993 NEW BEST:: SOT 4399062 SOS 759301 HAS SOPS 759301 HAS SOUS 648465 HAS SOUPS 648465 WITH SCORE 649224.301
AT ITER 3017 NEW BEST:: SOT 4398568 SOS 758313 HAS SOPS 758313 HAS SOUS 647724 HAS SOUPS 647724 WITH SCORE 648482.313
AT ITER 3053 NEW BEST:: SOT 4398538 SOS 758253 HAS SOPS 758253 HAS SOUS 647664 HAS SOUPS 647664 WITH SCORE 648422.253
AT ITER 3077 NEW BEST:: SOT 4398504 SOS 758185 HAS SOPS 758185 HAS SOUS 647596 HAS SOUPS 647596 WITH SCORE 648354.185
AT ITER 3090 NEW BEST:: SOT 4398259 SOS 758037 HAS SOPS 758037 HAS SOUS 647374 HAS SOUPS 647374 WITH SCORE 648132.037
AT ITER 3092 NEW BEST:: SOT 4398233 SOS 757985 HAS SOPS 757985 HAS SOUS 647348 HAS SOUPS 647348 WITH SCORE 648105.985
AT ITER 3112 NEW BEST:: SOT 4398214 SOS 757947 HAS SOPS 757947 HAS SOUS 647310 HAS SOUPS 647310 WITH SCORE 648067.947
AT ITER 3157 NEW BEST:: SOT 4398301 SOS 758121 HAS SOPS 758121 HAS SOUS 647242 HAS SOUPS 647242 WITH SCORE 648000.121
AT ITER 3160 NEW BEST:: SOT 4398300 SOS 758119 HAS SOPS 758119 HAS SOUS 647240 HAS SOUPS 647240 WITH SCORE 647998.119
AT ITER 3170 NEW BEST:: SOT 4397600 SOS 757569 HAS SOPS 757569 HAS SOUS 646696 HAS SOUPS 646696 WITH SCORE 647453.569
AT ITER 3179 NEW BEST:: SOT 4397477 SOS 757446 HAS SOPS 757446 HAS SOUS 646573 HAS SOUPS 646573 WITH SCORE 647330.446
AT ITER 3181 NEW BEST:: SOT 4393610 SOS 775554 HAS SOPS 775554 HAS SOUS 643210 HAS SOUPS 643210 WITH SCORE 643985.554
AT ITER 3197 NEW BEST:: SOT 4393470 SOS 775463 HAS SOPS 775463 HAS SOUS 643113 HAS SOUPS 643113 WITH SCORE 643888.463
AT ITER 3206 NEW BEST:: SOT 4393555 SOS 775491 HAS SOPS 775491 HAS SOUS 642922 HAS SOUPS 642922 WITH SCORE 643697.491
AT ITER 3241 NEW BEST:: SOT 4393486 SOS 775290 HAS SOPS 775290 HAS SOUS 642727 HAS SOUPS 642727 WITH SCORE 643502.29
AT ITER 3250 NEW BEST:: SOT 4393601 SOS 775189 HAS SOPS 775189 HAS SOUS 642626 HAS SOUPS 642626 WITH SCORE 643401.189
AT ITER 3251 NEW BEST:: SOT 4393539 SOS 774759 HAS SOPS 774759 HAS SOUS 642411 HAS SOUPS 642411 WITH SCORE 643185.759
AT ITER 3263 NEW BEST:: SOT 4393325 SOS 774331 HAS SOPS 774331 HAS SOUS 642197 HAS SOUPS 642197 WITH SCORE 642971.331
AT ITER 3288 NEW BEST:: SOT 4393265 SOS 774211 HAS SOPS 774211 HAS SOUS 642077 HAS SOUPS 642077 WITH SCORE 642851.211
AT ITER 3297 NEW BEST:: SOT 4393265 SOS 773917 HAS SOPS 773917 HAS SOUS 641930 HAS SOUPS 641930 WITH SCORE 642703.917
AT ITER 3345 NEW BEST:: SOT 4393006 SOS 773399 HAS SOPS 773399 HAS SOUS 641412 HAS SOUPS 641412 WITH SCORE 642185.399
AT ITER 3346 NEW BEST:: SOT 4392866 SOS 773399 HAS SOPS 773399 HAS SOUS 641342 HAS SOUPS 641342 WITH SCORE 642115.399
AT ITER 3351 NEW BEST:: SOT 4392625 SOS 773135 HAS SOPS 773135 HAS SOUS 641022 HAS SOUPS 641022 WITH SCORE 641795.135
AT ITER 3359 NEW BEST:: SOT 4392607 SOS 773117 HAS SOPS 773117 HAS SOUS 640986 HAS SOUPS 640986 WITH SCORE 641759.117
AT ITER 3364 NEW BEST:: SOT 4392607 SOS 772814 HAS SOPS 772814 HAS SOUS 640986 HAS SOUPS 640986 WITH SCORE 641758.814
AT ITER 3378 NEW BEST:: SOT 4392447 SOS 772654 HAS SOPS 772654 HAS SOUS 640826 HAS SOUPS 640826 WITH SCORE 641598.654
AT ITER 3384 NEW BEST:: SOT 4392221 SOS 772348 HAS SOPS 772348 HAS SOUS 640484 HAS SOUPS 640484 WITH SCORE 641256.348
AT ITER 3407 NEW BEST:: SOT 4392214 SOS 772334 HAS SOPS 772334 HAS SOUS 640470 HAS SOUPS 640470 WITH SCORE 641242.334
AT ITER 3434 NEW BEST:: SOT 4392126 SOS 772070 HAS SOPS 772070 HAS SOUS 640294 HAS SOUPS 640294 WITH SCORE 641066.07
AT ITER 3462 NEW BEST:: SOT 4392083 SOS 772053 HAS SOPS 772053 HAS SOUS 640251 HAS SOUPS 640251 WITH SCORE 641023.053
AT ITER 3463 NEW BEST:: SOT 4391893 SOS 771989 HAS SOPS 771989 HAS SOUS 640153 HAS SOUPS 640153 WITH SCORE 640924.989
AT ITER 3465 NEW BEST:: SOT 4391788 SOS 771857 HAS SOPS 771857 HAS SOUS 639970 HAS SOUPS 639970 WITH SCORE 640741.857
AT ITER 3474 NEW BEST:: SOT 4391787 SOS 771855 HAS SOPS 771855 HAS SOUS 639968 HAS SOUPS 639968 WITH SCORE 640739.855
AT ITER 3478 NEW BEST:: SOT 4391687 SOS 771655 HAS SOPS 771655 HAS SOUS 639768 HAS SOUPS 639768 WITH SCORE 640539.655
AT ITER 3479 NEW BEST:: SOT 4391686 SOS 771745 HAS SOPS 771745 HAS SOUS 639767 HAS SOUPS 639767 WITH SCORE 640538.745
AT ITER 3493 NEW BEST:: SOT 4391747 SOS 771195 HAS SOPS 771195 HAS SOUS 639659 HAS SOUPS 639659 WITH SCORE 640430.195
AT ITER 3525 NEW BEST:: SOT 4391584 SOS 770869 HAS SOPS 770869 HAS SOUS 639333 HAS SOUPS 639333 WITH SCORE 640103.869
AT ITER 3602 NEW BEST:: SOT 4391582 SOS 771443 HAS SOPS 771443 HAS SOUS 639330 HAS SOUPS 639330 WITH SCORE 640101.443
AT ITER 3619 NEW BEST:: SOT 4391522 SOS 771323 HAS SOPS 771323 HAS SOUS 639270 HAS SOUPS 639270 WITH SCORE 640041.323
AT ITER 3638 NEW BEST:: SOT 4391424 SOS 771127 HAS SOPS 771127 HAS SOUS 639172 HAS SOUPS 639172 WITH SCORE 639943.127
AT ITER 3656 NEW BEST:: SOT 4391268 SOS 770991 HAS SOPS 770991 HAS SOUS 639016 HAS SOUPS 639016 WITH SCORE 639786.991
AT ITER 3671 NEW BEST:: SOT 4391245 SOS 770945 HAS SOPS 770945 HAS SOUS 638970 HAS SOUPS 638970 WITH SCORE 639740.945
AT ITER 3688 NEW BEST:: SOT 4391245 SOS 770945 HAS SOPS 770945 HAS SOUS 638920 HAS SOUPS 638920 WITH SCORE 639690.945
AT ITER 3694 NEW BEST:: SOT 4391099 SOS 770321 HAS SOPS 770321 HAS SOUS 638628 HAS SOUPS 638628 WITH SCORE 639398.321
AT ITER 3705 NEW BEST:: SOT 4391008 SOS 770489 HAS SOPS 770489 HAS SOUS 638537 HAS SOUPS 638537 WITH SCORE 639307.489
AT ITER 3739 NEW BEST:: SOT 4391089 SOS 770651 HAS SOPS 770651 HAS SOUS 638382 HAS SOUPS 638382 WITH SCORE 639152.651
AT ITER 3760 NEW BEST:: SOT 4391020 SOS 770513 HAS SOPS 770513 HAS SOUS 638244 HAS SOUPS 638244 WITH SCORE 639014.513
AT ITER 3778 NEW BEST:: SOT 4391010 SOS 770493 HAS SOPS 770493 HAS SOUS 638224 HAS SOUPS 638224 WITH SCORE 638994.493
AT ITER 3812 NEW BEST:: SOT 4390977 SOS 770248 HAS SOPS 770248 HAS SOUS 638158 HAS SOUPS 638158 WITH SCORE 638928.248
AT ITER 3845 NEW BEST:: SOT 4390791 SOS 769923 HAS SOPS 769923 HAS SOUS 637971 HAS SOUPS 637971 WITH SCORE 638740.923
AT ITER 3857 NEW BEST:: SOT 4390791 SOS 769718 HAS SOPS 769718 HAS SOUS 637766 HAS SOUPS 637766 WITH SCORE 638535.718
AT ITER 3869 NEW BEST:: SOT 4390776 SOS 769305 HAS SOPS 769305 HAS SOUS 637751 HAS SOUPS 637751 WITH SCORE 638520.305
AT ITER 3925 NEW BEST:: SOT 4390626 SOS 769005 HAS SOPS 769005 HAS SOUS 637451 HAS SOUPS 637451 WITH SCORE 638220.005
AT ITER 3936 NEW BEST:: SOT 4390519 SOS 768791 HAS SOPS 768791 HAS SOUS 637277 HAS SOUPS 637277 WITH SCORE 638045.791
AT ITER 3948 NEW BEST:: SOT 4390337 SOS 768427 HAS SOPS 768427 HAS SOUS 636913 HAS SOUPS 636913 WITH SCORE 637681.427
AT ITER 3962 NEW BEST:: SOT 4389925 SOS 767603 HAS SOPS 767603 HAS SOUS 636647 HAS SOUPS 636647 WITH SCORE 637414.603
AT ITER 3967 NEW BEST:: SOT 4389620 SOS 768973 HAS SOPS 768973 HAS SOUS 636602 HAS SOUPS 636602 WITH SCORE 637370.973
AT ITER 3987 NEW BEST:: SOT 4389309 SOS 768680 HAS SOPS 768680 HAS SOUS 636309 HAS SOUPS 636309 WITH SCORE 637077.68
AT ITER 4005 NEW BEST:: SOT 4389480 SOS 768273 HAS SOPS 768273 HAS SOUS 636254 HAS SOUPS 636254 WITH SCORE 637022.273
AT ITER 4008 NEW BEST:: SOT 4389482 SOS 768167 HAS SOPS 768167 HAS SOUS 636146 HAS SOUPS 636146 WITH SCORE 636914.167
AT ITER 4015 NEW BEST:: SOT 4389482 SOS 768094 HAS SOPS 768094 HAS SOUS 636146 HAS SOUPS 636146 WITH SCORE 636914.094
AT ITER 4025 NEW BEST:: SOT 4389271 SOS 767883 HAS SOPS 767883 HAS SOUS 635935 HAS SOUPS 635935 WITH SCORE 636702.883
AT ITER 4026 NEW BEST:: SOT 4388980 SOS 767301 HAS SOPS 767301 HAS SOUS 635353 HAS SOUPS 635353 WITH SCORE 636120.301
AT ITER 4027 NEW BEST:: SOT 4388979 SOS 767056 HAS SOPS 767056 HAS SOUS 635351 HAS SOUPS 635351 WITH SCORE 636118.056
AT ITER 4038 NEW BEST:: SOT 4388979 SOS 767056 HAS SOPS 767056 HAS SOUS 635350 HAS SOUPS 635350 WITH SCORE 636117.056
AT ITER 4077 NEW BEST:: SOT 4388889 SOS 766876 HAS SOPS 766876 HAS SOUS 635260 HAS SOUPS 635260 WITH SCORE 636026.876
AT ITER 4111 NEW BEST:: SOT 4388681 SOS 766460 HAS SOPS 766460 HAS SOUS 634844 HAS SOUPS 634844 WITH SCORE 635610.46
AT ITER 4115 NEW BEST:: SOT 4388471 SOS 766256 HAS SOPS 766256 HAS SOUS 634640 HAS SOUPS 634640 WITH SCORE 635406.256
AT ITER 4145 NEW BEST:: SOT 4388301 SOS 765916 HAS SOPS 765916 HAS SOUS 634470 HAS SOUPS 634470 WITH SCORE 635235.916
AT ITER 4147 NEW BEST:: SOT 4388240 SOS 765666 HAS SOPS 765666 HAS SOUS 634348 HAS SOUPS 634348 WITH SCORE 635113.666
AT ITER 4149 NEW BEST:: SOT 4388240 SOS 765612 HAS SOPS 765612 HAS SOUS 634347 HAS SOUPS 634347 WITH SCORE 635112.612
AT ITER 4167 NEW BEST:: SOT 4388070 SOS 765442 HAS SOPS 765442 HAS SOUS 634347 HAS SOUPS 634347 WITH SCORE 635112.442
AT ITER 4187 NEW BEST:: SOT 4387668 SOS 765174 HAS SOPS 765174 HAS SOUS 633945 HAS SOUPS 633945 WITH SCORE 634710.174
AT ITER 4194 NEW BEST:: SOT 4387642 SOS 766086 HAS SOPS 766086 HAS SOUS 633943 HAS SOUPS 633943 WITH SCORE 634709.086
AT ITER 4200 NEW BEST:: SOT 4387540 SOS 766058 HAS SOPS 766058 HAS SOUS 633915 HAS SOUPS 633915 WITH SCORE 634681.058
AT ITER 4215 NEW BEST:: SOT 4387488 SOS 765718 HAS SOPS 765718 HAS SOUS 633627 HAS SOUPS 633627 WITH SCORE 634392.718
AT ITER 4219 NEW BEST:: SOT 4387283 SOS 765483 HAS SOPS 765483 HAS SOUS 633320 HAS SOUPS 633320 WITH SCORE 634085.483
AT ITER 4226 NEW BEST:: SOT 4387233 SOS 765275 HAS SOPS 765275 HAS SOUS 633162 HAS SOUPS 633162 WITH SCORE 633927.275
AT ITER 4312 NEW BEST:: SOT 4387233 SOS 765275 HAS SOPS 765275 HAS SOUS 633161 HAS SOUPS 633161 WITH SCORE 633926.275
AT ITER 4335 NEW BEST:: SOT 4387228 SOS 765265 HAS SOPS 765265 HAS SOUS 633151 HAS SOUPS 633151 WITH SCORE 633916.265
AT ITER 4374 NEW BEST:: SOT 4386802 SOS 764413 HAS SOPS 764413 HAS SOUS 632727 HAS SOUPS 632727 WITH SCORE 633491.413
AT ITER 4381 NEW BEST:: SOT 4386684 SOS 764177 HAS SOPS 764177 HAS SOUS 632491 HAS SOUPS 632491 WITH SCORE 633255.177
AT ITER 4404 NEW BEST:: SOT 4386381 SOS 764075 HAS SOPS 764075 HAS SOUS 632258 HAS SOUPS 632258 WITH SCORE 633022.075
AT ITER 4421 NEW BEST:: SOT 4386015 SOS 763687 HAS SOPS 763687 HAS SOUS 631851 HAS SOUPS 631851 WITH SCORE 632614.687
AT ITER 4459 NEW BEST:: SOT 4385131 SOS 763024 HAS SOPS 763024 HAS SOUS 630967 HAS SOUPS 630967 WITH SCORE 631730.024
AT ITER 4492 NEW BEST:: SOT 4385131 SOS 763024 HAS SOPS 763024 HAS SOUS 630966 HAS SOUPS 630966 WITH SCORE 631729.024
AT ITER 4560 NEW BEST:: SOT 4385095 SOS 762952 HAS SOPS 762952 HAS SOUS 630894 HAS SOUPS 630894 WITH SCORE 631656.952
AT ITER 4583 NEW BEST:: SOT 4385057 SOS 762876 HAS SOPS 762876 HAS SOUS 630818 HAS SOUPS 630818 WITH SCORE 631580.876
AT ITER 4626 NEW BEST:: SOT 4384947 SOS 762656 HAS SOPS 762656 HAS SOUS 630598 HAS SOUPS 630598 WITH SCORE 631360.656
AT ITER 4627 NEW BEST:: SOT 4384738 SOS 762611 HAS SOPS 762611 HAS SOUS 630540 HAS SOUPS 630540 WITH SCORE 631302.611
AT ITER 4638 NEW BEST:: SOT 4384709 SOS 762553 HAS SOPS 762553 HAS SOUS 630482 HAS SOUPS 630482 WITH SCORE 631244.553
AT ITER 4661 NEW BEST:: SOT 4384412 SOS 762603 HAS SOPS 762603 HAS SOUS 630346 HAS SOUPS 630346 WITH SCORE 631108.603
AT ITER 4686 NEW BEST:: SOT 4384412 SOS 762600 HAS SOPS 762600 HAS SOUS 630343 HAS SOUPS 630343 WITH SCORE 631105.6
AT ITER 4704 NEW BEST:: SOT 4384412 SOS 762590 HAS SOPS 762590 HAS SOUS 630333 HAS SOUPS 630333 WITH SCORE 631095.59
AT ITER 4710 NEW BEST:: SOT 4384315 SOS 762396 HAS SOPS 762396 HAS SOUS 629887 HAS SOUPS 629887 WITH SCORE 630649.396
AT ITER 4725 NEW BEST:: SOT 4384139 SOS 762044 HAS SOPS 762044 HAS SOUS 629535 HAS SOUPS 629535 WITH SCORE 630297.044
AT ITER 4738 NEW BEST:: SOT 4384124 SOS 762014 HAS SOPS 762014 HAS SOUS 629505 HAS SOUPS 629505 WITH SCORE 630267.014
AT ITER 4770 NEW BEST:: SOT 4383989 SOS 761827 HAS SOPS 761827 HAS SOUS 629302 HAS SOUPS 629302 WITH SCORE 630063.827
AT ITER 4784 NEW BEST:: SOT 4383969 SOS 761787 HAS SOPS 761787 HAS SOUS 629262 HAS SOUPS 629262 WITH SCORE 630023.787
AT ITER 4799 NEW BEST:: SOT 4384032 SOS 760884 HAS SOPS 760884 HAS SOUS 629178 HAS SOUPS 629178 WITH SCORE 629938.884
AT ITER 4818 NEW BEST:: SOT 4383890 SOS 760600 HAS SOPS 760600 HAS SOUS 628894 HAS SOUPS 628894 WITH SCORE 629654.6
AT ITER 4825 NEW BEST:: SOT 4383960 SOS 760740 HAS SOPS 760740 HAS SOUS 628778 HAS SOUPS 628778 WITH SCORE 629538.74
AT ITER 4841 NEW BEST:: SOT 4379595 SOS 760133 HAS SOPS 760133 HAS SOUS 625152 HAS SOUPS 625152 WITH SCORE 625912.133
AT ITER 4862 NEW BEST:: SOT 4379594 SOS 760098 HAS SOPS 760098 HAS SOUS 625150 HAS SOUPS 625150 WITH SCORE 625910.098
AT ITER 4864 NEW BEST:: SOT 4379673 SOS 760256 HAS SOPS 760256 HAS SOUS 625145 HAS SOUPS 625145 WITH SCORE 625905.256
AT ITER 4872 NEW BEST:: SOT 4379673 SOS 760211 HAS SOPS 760211 HAS SOUS 625145 HAS SOUPS 625145 WITH SCORE 625905.211
AT ITER 4902 NEW BEST:: SOT 4379596 SOS 759767 HAS SOPS 759767 HAS SOUS 624877 HAS SOUPS 624877 WITH SCORE 625636.767
AT ITER 4904 NEW BEST:: SOT 4379412 SOS 759399 HAS SOPS 759399 HAS SOUS 624509 HAS SOUPS 624509 WITH SCORE 625268.399
AT ITER 4905 NEW BEST:: SOT 4379418 SOS 759411 HAS SOPS 759411 HAS SOUS 624322 HAS SOUPS 624322 WITH SCORE 625081.411
AT ITER 4929 NEW BEST:: SOT 4379322 SOS 759219 HAS SOPS 759219 HAS SOUS 624123 HAS SOUPS 624123 WITH SCORE 624882.219
Bounds file is: CTLFireability.xml
PROPERTY: CloudReconfiguration-PT-305-CTLFireability-00 (EG( (EG( (AF( ((potential((tk(P2158)>=1))))))))))
PROPERTY: CloudReconfiguration-PT-305-CTLFireability-01 ( (EU( (! ( ((potential((tk(P1422)>=1)))) & ((potential((tk(P1167)>=1)))) )) , (EX( ((potential((tk(P1473)>=1)))))) )) | (AG( (EU( ((potential((tk(P999)>=1)))) , ((potential((tk(P1098)>=1)))) )))) )
PROPERTY: CloudReconfiguration-PT-305-CTLFireability-02 (EF( ((potential((tk(P1665)>=1))))))
PROPERTY: CloudReconfiguration-PT-305-CTLFireability-03 ( ( (! (! (EF( ((potential((tk(P818)>=1)))))))) | ((potential((tk(P1476)>=1)))) ) & (! ( (EX( ( ((potential((tk(P167)>=1)))) & ((potential((tk(P2142)>=1)))) ))) | (EF( ( ((potential((tk(P1406)>=1)))) | ((potential((tk(P2182)>=1)))) ))) )) )
PROPERTY: CloudReconfiguration-PT-305-CTLFireability-04 (AG( (EU( ( ((potential((tk(P2118)>=1)))) | ((potential((tk(P573)>=1) & (tk(P1782)>=1)))) ) , (! ((potential((tk(P512)>=1))))) ))))
PROPERTY: CloudReconfiguration-PT-305-CTLFireability-05 (EU( (! ( ((potential((tk(P648)>=1)))) & ( ((potential((tk(P1741)>=1)))) | ((potential((tk(P1236)>=1)))) ) )) , ( (AX( ((potential((tk(P759)>=1)))))) | (EF( ((potential((tk(P420)>=1)))))) ) ))
PROPERTY: CloudReconfiguration-PT-305-CTLFireability-06 (! ( ( ( (! ( ((potential((tk(P710)>=1)))) | ((potential((tk(P1712)>=1)))) )) & ( ( ((potential((tk(P1092)>=1)))) & ((potential((tk(P1789)>=1)))) ) & ( ((potential((tk(P1184)>=1)))) | ((potential((tk(P909)>=1)))) ) ) ) | ( ( ( ((potential((tk(P1999)>=1)))) & ((potential((tk(P2508)>=1)))) ) & ( ((potential((tk(P449)>=1)))) | ((potential((tk(P2401)>=1)))) ) ) & ( ((potential((tk(P1281)>=1)))) & ( ((potential((tk(P2218)>=1)))) | ((potential((tk(P443)>=1)))) ) ) ) ) | (EX( (AF( ((potential((tk(P18)>=1)))))))) ))
PROPERTY: CloudReconfiguration-PT-305-CTLFireability-07 (EX( (AF( (AX( ((potential((tk(P156)>=1))))))))))
PROPERTY: CloudReconfiguration-PT-305-CTLFireability-08 (EG( (AU( ((potential((tk(P716)>=1)))) , (! ((potential((tk(P1773)>=1))))) ))))
PROPERTY: CloudReconfiguration-PT-305-CTLFireability-09 ( (EG( ( ( (! ((potential((tk(P2016)>=1))))) & ( ((potential((tk(P2499)>=1)))) | ((potential((tk(P1834)>=1)))) ) ) | ( (! ((potential((tk(P573)>=1) & (tk(P1321)>=1))))) | ((potential((tk(P2352)>=1)))) ) ))) & (EF( ( (AG( ((potential((tk(P1020)>=1)))))) | ( (! ((potential((tk(P790)>=1))))) | (! ((potential((tk(P2040)>=1))))) ) ))) )
PROPERTY: CloudReconfiguration-PT-305-CTLFireability-10 (AF( ( ((potential((tk(P469)>=1)))) | ( (AG( ((potential((tk(P2491)>=1)))))) & (! ((potential((tk(P1776)>=1))))) ) )))
PROPERTY: CloudReconfiguration-PT-305-CTLFireability-11 (EU( ( (EF( ((potential((tk(P1190)>=1)))))) | ((potential((tk(P1501)>=1)))) ) , (AU( ((potential((tk(P18)>=1)))) , ((potential((tk(P1636)>=1)))) )) ))
PROPERTY: CloudReconfiguration-PT-305-CTLFireability-12 (! (EU( (EG( ((potential((tk(P2204)>=1)))))) , (AF( ((potential((tk(P573)>=1) & (tk(P2431)>=1)))))) )))
PROPERTY: CloudReconfiguration-PT-305-CTLFireability-13 ( (EU( ( ((potential((tk(P2252)>=1)))) | ( ((potential((tk(P1789)>=1)))) & ((potential((tk(P188)>=1)))) ) ) , (! ((potential((tk(P2250)>=1))))) )) & (EU( ( (! ((potential((tk(P940)>=1))))) | (! ((potential((tk(P973)>=1))))) ) , (AF( ((potential((tk(P404)>=1)))))) )) )
PROPERTY: CloudReconfiguration-PT-305-CTLFireability-14 (AU( (! (! ( ((potential((tk(P573)>=1) & (tk(P1263)>=1)))) | ((potential((tk(P452)>=1)))) ))) , (! (AF( ((potential((tk(P1438)>=1))))))) ))
PROPERTY: CloudReconfiguration-PT-305-CTLFireability-15 (AU( (AU( ((potential((tk(P573)>=1) & (tk(P1025)>=1)))) , ((potential((tk(P438)>=1)))) )) , (AF( ((potential((tk(P2044)>=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-305"
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-305, 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-158902541600036"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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