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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 844K
-rw-r--r-- 1 mcc users 4.0K Mar 30 01:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 30 01:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Mar 28 16:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K Mar 28 16:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K 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:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 27 08:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 26 08:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 26 08:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 661K Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME CloudReconfiguration-PT-317-CTLCardinality-00
FORMULA_NAME CloudReconfiguration-PT-317-CTLCardinality-01
FORMULA_NAME CloudReconfiguration-PT-317-CTLCardinality-02
FORMULA_NAME CloudReconfiguration-PT-317-CTLCardinality-03
FORMULA_NAME CloudReconfiguration-PT-317-CTLCardinality-04
FORMULA_NAME CloudReconfiguration-PT-317-CTLCardinality-05
FORMULA_NAME CloudReconfiguration-PT-317-CTLCardinality-06
FORMULA_NAME CloudReconfiguration-PT-317-CTLCardinality-07
FORMULA_NAME CloudReconfiguration-PT-317-CTLCardinality-08
FORMULA_NAME CloudReconfiguration-PT-317-CTLCardinality-09
FORMULA_NAME CloudReconfiguration-PT-317-CTLCardinality-10
FORMULA_NAME CloudReconfiguration-PT-317-CTLCardinality-11
FORMULA_NAME CloudReconfiguration-PT-317-CTLCardinality-12
FORMULA_NAME CloudReconfiguration-PT-317-CTLCardinality-13
FORMULA_NAME CloudReconfiguration-PT-317-CTLCardinality-14
FORMULA_NAME CloudReconfiguration-PT-317-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589099167067

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 317
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 2587 places, 3099 transitions, 6479 arcs.
AT ITER 0 NEW BEST:: SOT 4458557 SOS 744619 HAS SOPS 744619 HAS SOUS 686904 HAS SOUPS 686904 WITH SCORE 687648.619
AT ITER 1 NEW BEST:: SOT 4458475 SOS 744550 HAS SOPS 744550 HAS SOUS 686822 HAS SOUPS 686822 WITH SCORE 687566.55
AT ITER 19 NEW BEST:: SOT 4458350 SOS 744495 HAS SOPS 744495 HAS SOUS 686700 HAS SOUPS 686700 WITH SCORE 687444.495
AT ITER 26 NEW BEST:: SOT 4458350 SOS 744495 HAS SOPS 744495 HAS SOUS 686611 HAS SOUPS 686611 WITH SCORE 687355.495
AT ITER 76 NEW BEST:: SOT 4458479 SOS 744753 HAS SOPS 744753 HAS SOUS 686561 HAS SOUPS 686561 WITH SCORE 687305.753
AT ITER 86 NEW BEST:: SOT 4458417 SOS 744629 HAS SOPS 744629 HAS SOUS 686437 HAS SOUPS 686437 WITH SCORE 687181.629
AT ITER 97 NEW BEST:: SOT 4458417 SOS 744450 HAS SOPS 744450 HAS SOUS 686325 HAS SOUPS 686325 WITH SCORE 687069.45
AT ITER 98 NEW BEST:: SOT 4458392 SOS 744005 HAS SOPS 744005 HAS SOUS 685994 HAS SOUPS 685994 WITH SCORE 686738.005
AT ITER 105 NEW BEST:: SOT 4458080 SOS 743794 HAS SOPS 743794 HAS SOUS 685473 HAS SOUPS 685473 WITH SCORE 686216.794
AT ITER 116 NEW BEST:: SOT 4457862 SOS 743655 HAS SOPS 743655 HAS SOUS 685254 HAS SOUPS 685254 WITH SCORE 685997.655
AT ITER 135 NEW BEST:: SOT 4457862 SOS 743655 HAS SOPS 743655 HAS SOUS 685183 HAS SOUPS 685183 WITH SCORE 685926.655
AT ITER 140 NEW BEST:: SOT 4457860 SOS 743625 HAS SOPS 743625 HAS SOUS 685180 HAS SOUPS 685180 WITH SCORE 685923.625
AT ITER 141 NEW BEST:: SOT 4457860 SOS 743369 HAS SOPS 743369 HAS SOUS 685180 HAS SOUPS 685180 WITH SCORE 685923.369
AT ITER 149 NEW BEST:: SOT 4456572 SOS 743717 HAS SOPS 743717 HAS SOUS 684460 HAS SOUPS 684460 WITH SCORE 685203.717
AT ITER 171 NEW BEST:: SOT 4456466 SOS 743630 HAS SOPS 743630 HAS SOUS 684373 HAS SOUPS 684373 WITH SCORE 685116.63
AT ITER 188 NEW BEST:: SOT 4456406 SOS 743577 HAS SOPS 743577 HAS SOUS 684253 HAS SOUPS 684253 WITH SCORE 684996.577
AT ITER 233 NEW BEST:: SOT 4456194 SOS 743365 HAS SOPS 743365 HAS SOUS 684041 HAS SOUPS 684041 WITH SCORE 684784.365
AT ITER 253 NEW BEST:: SOT 4455974 SOS 743145 HAS SOPS 743145 HAS SOUS 683821 HAS SOUPS 683821 WITH SCORE 684564.145
AT ITER 255 NEW BEST:: SOT 4456035 SOS 743267 HAS SOPS 743267 HAS SOUS 683713 HAS SOUPS 683713 WITH SCORE 684456.267
AT ITER 260 NEW BEST:: SOT 4455960 SOS 743192 HAS SOPS 743192 HAS SOUS 683712 HAS SOUPS 683712 WITH SCORE 684455.192
AT ITER 272 NEW BEST:: SOT 4455960 SOS 743192 HAS SOPS 743192 HAS SOUS 683485 HAS SOUPS 683485 WITH SCORE 684228.192
AT ITER 286 NEW BEST:: SOT 4455854 SOS 743086 HAS SOPS 743086 HAS SOUS 683379 HAS SOUPS 683379 WITH SCORE 684122.086
AT ITER 294 NEW BEST:: SOT 4455854 SOS 743086 HAS SOPS 743086 HAS SOUS 683119 HAS SOUPS 683119 WITH SCORE 683862.086
AT ITER 332 NEW BEST:: SOT 4455770 SOS 743055 HAS SOPS 743055 HAS SOUS 683088 HAS SOUPS 683088 WITH SCORE 683831.055
AT ITER 334 NEW BEST:: SOT 4455820 SOS 743155 HAS SOPS 743155 HAS SOUS 683000 HAS SOUPS 683000 WITH SCORE 683743.155
AT ITER 341 NEW BEST:: SOT 4455732 SOS 742979 HAS SOPS 742979 HAS SOUS 682824 HAS SOUPS 682824 WITH SCORE 683566.979
AT ITER 390 NEW BEST:: SOT 4455674 SOS 742863 HAS SOPS 742863 HAS SOUS 682708 HAS SOUPS 682708 WITH SCORE 683450.863
AT ITER 422 NEW BEST:: SOT 4455363 SOS 742935 HAS SOPS 742935 HAS SOUS 682539 HAS SOUPS 682539 WITH SCORE 683281.935
AT ITER 423 NEW BEST:: SOT 4455357 SOS 742923 HAS SOPS 742923 HAS SOUS 682527 HAS SOUPS 682527 WITH SCORE 683269.923
AT ITER 435 NEW BEST:: SOT 4455357 SOS 742768 HAS SOPS 742768 HAS SOUS 682372 HAS SOUPS 682372 WITH SCORE 683114.768
AT ITER 451 NEW BEST:: SOT 4455316 SOS 742686 HAS SOPS 742686 HAS SOUS 682290 HAS SOUPS 682290 WITH SCORE 683032.686
AT ITER 460 NEW BEST:: SOT 4455316 SOS 742628 HAS SOPS 742628 HAS SOUS 682290 HAS SOUPS 682290 WITH SCORE 683032.628
AT ITER 463 NEW BEST:: SOT 4455316 SOS 742628 HAS SOPS 742628 HAS SOUS 682287 HAS SOUPS 682287 WITH SCORE 683029.628
AT ITER 529 NEW BEST:: SOT 4455068 SOS 741905 HAS SOPS 741905 HAS SOUS 681790 HAS SOUPS 681790 WITH SCORE 682531.905
AT ITER 539 NEW BEST:: SOT 4454811 SOS 741651 HAS SOPS 741651 HAS SOUS 681533 HAS SOUPS 681533 WITH SCORE 682274.651
AT ITER 563 NEW BEST:: SOT 4454811 SOS 741567 HAS SOPS 741567 HAS SOUS 681533 HAS SOUPS 681533 WITH SCORE 682274.567
AT ITER 580 NEW BEST:: SOT 4454608 SOS 742649 HAS SOPS 742649 HAS SOUS 681501 HAS SOUPS 681501 WITH SCORE 682243.649
AT ITER 593 NEW BEST:: SOT 4454598 SOS 742639 HAS SOPS 742639 HAS SOUS 681491 HAS SOUPS 681491 WITH SCORE 682233.639
AT ITER 600 NEW BEST:: SOT 4454360 SOS 742163 HAS SOPS 742163 HAS SOUS 681015 HAS SOUPS 681015 WITH SCORE 681757.163
AT ITER 608 NEW BEST:: SOT 4454360 SOS 741926 HAS SOPS 741926 HAS SOUS 681015 HAS SOUPS 681015 WITH SCORE 681756.926
AT ITER 609 NEW BEST:: SOT 4453665 SOS 741086 HAS SOPS 741086 HAS SOUS 680090 HAS SOUPS 680090 WITH SCORE 680831.086
AT ITER 617 NEW BEST:: SOT 4453216 SOS 741936 HAS SOPS 741936 HAS SOUS 679947 HAS SOUPS 679947 WITH SCORE 680688.936
AT ITER 636 NEW BEST:: SOT 4452946 SOS 741396 HAS SOPS 741396 HAS SOUS 679407 HAS SOUPS 679407 WITH SCORE 680148.396
AT ITER 642 NEW BEST:: SOT 4452843 SOS 741356 HAS SOPS 741356 HAS SOUS 679367 HAS SOUPS 679367 WITH SCORE 680108.356
AT ITER 656 NEW BEST:: SOT 4452824 SOS 741318 HAS SOPS 741318 HAS SOUS 679348 HAS SOUPS 679348 WITH SCORE 680089.318
AT ITER 686 NEW BEST:: SOT 4450875 SOS 785426 HAS SOPS 785426 HAS SOUS 679286 HAS SOUPS 679286 WITH SCORE 680071.426
AT ITER 710 NEW BEST:: SOT 4450861 SOS 785398 HAS SOPS 785398 HAS SOUS 679272 HAS SOUPS 679272 WITH SCORE 680057.398
AT ITER 714 NEW BEST:: SOT 4450517 SOS 784894 HAS SOPS 784894 HAS SOUS 678768 HAS SOUPS 678768 WITH SCORE 679552.894
AT ITER 716 NEW BEST:: SOT 4450494 SOS 784848 HAS SOPS 784848 HAS SOUS 678722 HAS SOUPS 678722 WITH SCORE 679506.848
AT ITER 717 NEW BEST:: SOT 4450494 SOS 784824 HAS SOPS 784824 HAS SOUS 678721 HAS SOUPS 678721 WITH SCORE 679505.824
AT ITER 721 NEW BEST:: SOT 4450538 SOS 784162 HAS SOPS 784162 HAS SOUS 678337 HAS SOUPS 678337 WITH SCORE 679121.162
AT ITER 733 NEW BEST:: SOT 4450433 SOS 784057 HAS SOPS 784057 HAS SOUS 678337 HAS SOUPS 678337 WITH SCORE 679121.057
AT ITER 736 NEW BEST:: SOT 4445478 SOS 822237 HAS SOPS 822237 HAS SOUS 675339 HAS SOUPS 675339 WITH SCORE 676161.237
AT ITER 745 NEW BEST:: SOT 4445448 SOS 822177 HAS SOPS 822177 HAS SOUS 675309 HAS SOUPS 675309 WITH SCORE 676131.177
AT ITER 747 NEW BEST:: SOT 4445434 SOS 822149 HAS SOPS 822149 HAS SOUS 675281 HAS SOUPS 675281 WITH SCORE 676103.149
AT ITER 815 NEW BEST:: SOT 4445135 SOS 821551 HAS SOPS 821551 HAS SOUS 674683 HAS SOUPS 674683 WITH SCORE 675504.551
AT ITER 835 NEW BEST:: SOT 4444845 SOS 820971 HAS SOPS 820971 HAS SOUS 674103 HAS SOUPS 674103 WITH SCORE 674923.971
AT ITER 860 NEW BEST:: SOT 4443650 SOS 820002 HAS SOPS 820002 HAS SOUS 672779 HAS SOUPS 672779 WITH SCORE 673599.002
AT ITER 878 NEW BEST:: SOT 4443645 SOS 819992 HAS SOPS 819992 HAS SOUS 672766 HAS SOUPS 672766 WITH SCORE 673585.992
AT ITER 892 NEW BEST:: SOT 4443633 SOS 819857 HAS SOPS 819857 HAS SOUS 672754 HAS SOUPS 672754 WITH SCORE 673573.857
AT ITER 946 NEW BEST:: SOT 4443624 SOS 819839 HAS SOPS 819839 HAS SOUS 672736 HAS SOUPS 672736 WITH SCORE 673555.839
AT ITER 954 NEW BEST:: SOT 4443624 SOS 819599 HAS SOPS 819599 HAS SOUS 672616 HAS SOUPS 672616 WITH SCORE 673435.599
AT ITER 972 NEW BEST:: SOT 4443564 SOS 819539 HAS SOPS 819539 HAS SOUS 672556 HAS SOUPS 672556 WITH SCORE 673375.539
AT ITER 981 NEW BEST:: SOT 4443482 SOS 819375 HAS SOPS 819375 HAS SOUS 672232 HAS SOUPS 672232 WITH SCORE 673051.375
AT ITER 1005 NEW BEST:: SOT 4443412 SOS 819235 HAS SOPS 819235 HAS SOUS 672092 HAS SOUPS 672092 WITH SCORE 672911.235
AT ITER 1007 NEW BEST:: SOT 4443358 SOS 819235 HAS SOPS 819235 HAS SOUS 672065 HAS SOUPS 672065 WITH SCORE 672884.235
AT ITER 1015 NEW BEST:: SOT 4443353 SOS 819225 HAS SOPS 819225 HAS SOUS 672055 HAS SOUPS 672055 WITH SCORE 672874.225
AT ITER 1040 NEW BEST:: SOT 4443260 SOS 819132 HAS SOPS 819132 HAS SOUS 671962 HAS SOUPS 671962 WITH SCORE 672781.132
AT ITER 1070 NEW BEST:: SOT 4442920 SOS 818852 HAS SOPS 818852 HAS SOUS 671643 HAS SOUPS 671643 WITH SCORE 672461.852
AT ITER 1103 NEW BEST:: SOT 4442864 SOS 818852 HAS SOPS 818852 HAS SOUS 671642 HAS SOUPS 671642 WITH SCORE 672460.852
AT ITER 1109 NEW BEST:: SOT 4440296 SOS 816136 HAS SOPS 816136 HAS SOUS 668969 HAS SOUPS 668969 WITH SCORE 669785.136
AT ITER 1110 NEW BEST:: SOT 4440193 SOS 815930 HAS SOPS 815930 HAS SOUS 668763 HAS SOUPS 668763 WITH SCORE 669578.93
AT ITER 1120 NEW BEST:: SOT 4440108 SOS 815760 HAS SOPS 815760 HAS SOUS 668593 HAS SOUPS 668593 WITH SCORE 669408.76
AT ITER 1123 NEW BEST:: SOT 4439977 SOS 815614 HAS SOPS 815614 HAS SOUS 668404 HAS SOUPS 668404 WITH SCORE 669219.614
AT ITER 1147 NEW BEST:: SOT 4439816 SOS 815292 HAS SOPS 815292 HAS SOUS 668243 HAS SOUPS 668243 WITH SCORE 669058.292
AT ITER 1174 NEW BEST:: SOT 4439720 SOS 815292 HAS SOPS 815292 HAS SOUS 668163 HAS SOUPS 668163 WITH SCORE 668978.292
AT ITER 1195 NEW BEST:: SOT 4439766 SOS 815384 HAS SOPS 815384 HAS SOUS 668076 HAS SOUPS 668076 WITH SCORE 668891.384
AT ITER 1282 NEW BEST:: SOT 4439561 SOS 815179 HAS SOPS 815179 HAS SOUS 667666 HAS SOUPS 667666 WITH SCORE 668481.179
AT ITER 1286 NEW BEST:: SOT 4439561 SOS 814784 HAS SOPS 814784 HAS SOUS 667666 HAS SOUPS 667666 WITH SCORE 668480.784
AT ITER 1294 NEW BEST:: SOT 4439561 SOS 814637 HAS SOPS 814637 HAS SOUS 667665 HAS SOUPS 667665 WITH SCORE 668479.637
AT ITER 1298 NEW BEST:: SOT 4438368 SOS 816325 HAS SOPS 816325 HAS SOUS 666566 HAS SOUPS 666566 WITH SCORE 667382.325
AT ITER 1299 NEW BEST:: SOT 4438368 SOS 816282 HAS SOPS 816282 HAS SOUS 666566 HAS SOUPS 666566 WITH SCORE 667382.282
AT ITER 1319 NEW BEST:: SOT 4438304 SOS 816154 HAS SOPS 816154 HAS SOUS 666502 HAS SOUPS 666502 WITH SCORE 667318.154
AT ITER 1327 NEW BEST:: SOT 4438236 SOS 816018 HAS SOPS 816018 HAS SOUS 666411 HAS SOUPS 666411 WITH SCORE 667227.018
AT ITER 1375 NEW BEST:: SOT 4438192 SOS 816581 HAS SOPS 816581 HAS SOUS 666361 HAS SOUPS 666361 WITH SCORE 667177.581
AT ITER 1399 NEW BEST:: SOT 4438110 SOS 816417 HAS SOPS 816417 HAS SOUS 666197 HAS SOUPS 666197 WITH SCORE 667013.417
AT ITER 1402 NEW BEST:: SOT 4437990 SOS 816297 HAS SOPS 816297 HAS SOUS 666077 HAS SOUPS 666077 WITH SCORE 666893.297
AT ITER 1443 NEW BEST:: SOT 4437873 SOS 816405 HAS SOPS 816405 HAS SOUS 666044 HAS SOUPS 666044 WITH SCORE 666860.405
AT ITER 1464 NEW BEST:: SOT 4437873 SOS 816259 HAS SOPS 816259 HAS SOUS 665971 HAS SOUPS 665971 WITH SCORE 666787.259
AT ITER 1467 NEW BEST:: SOT 4437918 SOS 816017 HAS SOPS 816017 HAS SOUS 665735 HAS SOUPS 665735 WITH SCORE 666551.017
AT ITER 1492 NEW BEST:: SOT 4436944 SOS 815070 HAS SOPS 815070 HAS SOUS 664768 HAS SOUPS 664768 WITH SCORE 665583.07
AT ITER 1497 NEW BEST:: SOT 4436788 SOS 815009 HAS SOPS 815009 HAS SOUS 664661 HAS SOUPS 664661 WITH SCORE 665476.009
AT ITER 1501 NEW BEST:: SOT 4436757 SOS 814627 HAS SOPS 814627 HAS SOUS 664308 HAS SOUPS 664308 WITH SCORE 665122.627
AT ITER 1509 NEW BEST:: SOT 4436753 SOS 814619 HAS SOPS 814619 HAS SOUS 664262 HAS SOUPS 664262 WITH SCORE 665076.619
AT ITER 1516 NEW BEST:: SOT 4436952 SOS 814550 HAS SOPS 814550 HAS SOUS 664193 HAS SOUPS 664193 WITH SCORE 665007.55
AT ITER 1532 NEW BEST:: SOT 4436757 SOS 814160 HAS SOPS 814160 HAS SOUS 663803 HAS SOUPS 663803 WITH SCORE 664617.16
AT ITER 1553 NEW BEST:: SOT 4436757 SOS 814066 HAS SOPS 814066 HAS SOUS 663803 HAS SOUPS 663803 WITH SCORE 664617.066
AT ITER 1568 NEW BEST:: SOT 4436324 SOS 813654 HAS SOPS 813654 HAS SOUS 663369 HAS SOUPS 663369 WITH SCORE 664182.654
AT ITER 1573 NEW BEST:: SOT 4436286 SOS 813578 HAS SOPS 813578 HAS SOUS 663253 HAS SOUPS 663253 WITH SCORE 664066.578
AT ITER 1575 NEW BEST:: SOT 4436285 SOS 813576 HAS SOPS 813576 HAS SOUS 663251 HAS SOUPS 663251 WITH SCORE 664064.576
AT ITER 1577 NEW BEST:: SOT 4436323 SOS 812944 HAS SOPS 812944 HAS SOUS 663091 HAS SOUPS 663091 WITH SCORE 663903.944
AT ITER 1583 NEW BEST:: SOT 4436232 SOS 812763 HAS SOPS 812763 HAS SOUS 662909 HAS SOUPS 662909 WITH SCORE 663721.763
AT ITER 1619 NEW BEST:: SOT 4436166 SOS 812631 HAS SOPS 812631 HAS SOUS 662843 HAS SOUPS 662843 WITH SCORE 663655.631
AT ITER 1657 NEW BEST:: SOT 4436010 SOS 812725 HAS SOPS 812725 HAS SOUS 662776 HAS SOUPS 662776 WITH SCORE 663588.725
AT ITER 1678 NEW BEST:: SOT 4435945 SOS 812665 HAS SOPS 812665 HAS SOUS 662716 HAS SOUPS 662716 WITH SCORE 663528.665
AT ITER 1681 NEW BEST:: SOT 4435768 SOS 812488 HAS SOPS 812488 HAS SOUS 662539 HAS SOUPS 662539 WITH SCORE 663351.488
AT ITER 1688 NEW BEST:: SOT 4436014 SOS 812484 HAS SOPS 812484 HAS SOUS 662535 HAS SOUPS 662535 WITH SCORE 663347.484
AT ITER 1693 NEW BEST:: SOT 4435943 SOS 812153 HAS SOPS 812153 HAS SOUS 662393 HAS SOUPS 662393 WITH SCORE 663205.153
AT ITER 1694 NEW BEST:: SOT 4435854 SOS 811975 HAS SOPS 811975 HAS SOUS 662215 HAS SOUPS 662215 WITH SCORE 663026.975
AT ITER 1700 NEW BEST:: SOT 4435951 SOS 812072 HAS SOPS 812072 HAS SOUS 661807 HAS SOUPS 661807 WITH SCORE 662619.072
AT ITER 1703 NEW BEST:: SOT 4435792 SOS 811754 HAS SOPS 811754 HAS SOUS 661237 HAS SOUPS 661237 WITH SCORE 662048.754
AT ITER 1714 NEW BEST:: SOT 4435770 SOS 811710 HAS SOPS 811710 HAS SOUS 661193 HAS SOUPS 661193 WITH SCORE 662004.71
AT ITER 1715 NEW BEST:: SOT 4435909 SOS 811988 HAS SOPS 811988 HAS SOUS 661154 HAS SOUPS 661154 WITH SCORE 661965.988
AT ITER 1814 NEW BEST:: SOT 4435636 SOS 812182 HAS SOPS 812182 HAS SOUS 660977 HAS SOUPS 660977 WITH SCORE 661789.182
AT ITER 1825 NEW BEST:: SOT 4435538 SOS 811986 HAS SOPS 811986 HAS SOUS 660879 HAS SOUPS 660879 WITH SCORE 661690.986
AT ITER 1837 NEW BEST:: SOT 4435356 SOS 812080 HAS SOPS 812080 HAS SOUS 660654 HAS SOUPS 660654 WITH SCORE 661466.08
AT ITER 1871 NEW BEST:: SOT 4435355 SOS 812078 HAS SOPS 812078 HAS SOUS 660652 HAS SOUPS 660652 WITH SCORE 661464.078
AT ITER 1880 NEW BEST:: SOT 4435229 SOS 811455 HAS SOPS 811455 HAS SOUS 660219 HAS SOUPS 660219 WITH SCORE 661030.455
AT ITER 1883 NEW BEST:: SOT 4435051 SOS 811099 HAS SOPS 811099 HAS SOUS 659863 HAS SOUPS 659863 WITH SCORE 660674.099
AT ITER 1931 NEW BEST:: SOT 4434995 SOS 810987 HAS SOPS 810987 HAS SOUS 659751 HAS SOUPS 659751 WITH SCORE 660561.987
AT ITER 1936 NEW BEST:: SOT 4435002 SOS 810990 HAS SOPS 810990 HAS SOUS 659746 HAS SOUPS 659746 WITH SCORE 660556.99
AT ITER 1939 NEW BEST:: SOT 4434593 SOS 810504 HAS SOPS 810504 HAS SOUS 659230 HAS SOUPS 659230 WITH SCORE 660040.504
AT ITER 1942 NEW BEST:: SOT 4434592 SOS 810502 HAS SOPS 810502 HAS SOUS 659228 HAS SOUPS 659228 WITH SCORE 660038.502
AT ITER 1950 NEW BEST:: SOT 4434312 SOS 809819 HAS SOPS 809819 HAS SOUS 659102 HAS SOUPS 659102 WITH SCORE 659911.819
AT ITER 1951 NEW BEST:: SOT 4434311 SOS 809818 HAS SOPS 809818 HAS SOUS 659100 HAS SOUPS 659100 WITH SCORE 659909.818
AT ITER 1974 NEW BEST:: SOT 4434292 SOS 810180 HAS SOPS 810180 HAS SOUS 658943 HAS SOUPS 658943 WITH SCORE 659753.18
AT ITER 2011 NEW BEST:: SOT 4434191 SOS 809598 HAS SOPS 809598 HAS SOUS 658680 HAS SOUPS 658680 WITH SCORE 659489.598
AT ITER 2017 NEW BEST:: SOT 4434173 SOS 809562 HAS SOPS 809562 HAS SOUS 658644 HAS SOUPS 658644 WITH SCORE 659453.562
AT ITER 2040 NEW BEST:: SOT 4434125 SOS 809466 HAS SOPS 809466 HAS SOUS 658594 HAS SOUPS 658594 WITH SCORE 659403.466
AT ITER 2048 NEW BEST:: SOT 4433864 SOS 808944 HAS SOPS 808944 HAS SOUS 658218 HAS SOUPS 658218 WITH SCORE 659026.944
AT ITER 2101 NEW BEST:: SOT 4434074 SOS 808931 HAS SOPS 808931 HAS SOUS 658205 HAS SOUPS 658205 WITH SCORE 659013.931
AT ITER 2105 NEW BEST:: SOT 4434002 SOS 808787 HAS SOPS 808787 HAS SOUS 658133 HAS SOUPS 658133 WITH SCORE 658941.787
AT ITER 2126 NEW BEST:: SOT 4434001 SOS 808785 HAS SOPS 808785 HAS SOUS 658131 HAS SOUPS 658131 WITH SCORE 658939.785
AT ITER 2128 NEW BEST:: SOT 4434001 SOS 808785 HAS SOPS 808785 HAS SOUS 658087 HAS SOUPS 658087 WITH SCORE 658895.785
AT ITER 2130 NEW BEST:: SOT 4433845 SOS 808629 HAS SOPS 808629 HAS SOUS 657853 HAS SOUPS 657853 WITH SCORE 658661.629
AT ITER 2149 NEW BEST:: SOT 4433821 SOS 808581 HAS SOPS 808581 HAS SOUS 657849 HAS SOUPS 657849 WITH SCORE 658657.581
AT ITER 2155 NEW BEST:: SOT 4433820 SOS 808579 HAS SOPS 808579 HAS SOUS 657847 HAS SOUPS 657847 WITH SCORE 658655.579
AT ITER 2170 NEW BEST:: SOT 4433816 SOS 808571 HAS SOPS 808571 HAS SOUS 657843 HAS SOUPS 657843 WITH SCORE 658651.571
AT ITER 2181 NEW BEST:: SOT 4433816 SOS 808559 HAS SOPS 808559 HAS SOUS 657831 HAS SOUPS 657831 WITH SCORE 658639.559
AT ITER 2191 NEW BEST:: SOT 4433719 SOS 808462 HAS SOPS 808462 HAS SOUS 657828 HAS SOUPS 657828 WITH SCORE 658636.462
AT ITER 2228 NEW BEST:: SOT 4433512 SOS 808255 HAS SOPS 808255 HAS SOUS 657717 HAS SOUPS 657717 WITH SCORE 658525.255
AT ITER 2254 NEW BEST:: SOT 4433361 SOS 807953 HAS SOPS 807953 HAS SOUS 657269 HAS SOUPS 657269 WITH SCORE 658076.953
AT ITER 2272 NEW BEST:: SOT 4433295 SOS 807660 HAS SOPS 807660 HAS SOUS 657137 HAS SOUPS 657137 WITH SCORE 657944.66
AT ITER 2308 NEW BEST:: SOT 4433268 SOS 807606 HAS SOPS 807606 HAS SOUS 657083 HAS SOUPS 657083 WITH SCORE 657890.606
AT ITER 2315 NEW BEST:: SOT 4433254 SOS 807578 HAS SOPS 807578 HAS SOUS 657069 HAS SOUPS 657069 WITH SCORE 657876.578
AT ITER 2331 NEW BEST:: SOT 4433054 SOS 807520 HAS SOPS 807520 HAS SOUS 657011 HAS SOUPS 657011 WITH SCORE 657818.52
AT ITER 2342 NEW BEST:: SOT 4433015 SOS 807442 HAS SOPS 807442 HAS SOUS 656933 HAS SOUPS 656933 WITH SCORE 657740.442
AT ITER 2344 NEW BEST:: SOT 4432994 SOS 807421 HAS SOPS 807421 HAS SOUS 656891 HAS SOUPS 656891 WITH SCORE 657698.421
AT ITER 2350 NEW BEST:: SOT 4432993 SOS 807419 HAS SOPS 807419 HAS SOUS 656889 HAS SOUPS 656889 WITH SCORE 657696.419
AT ITER 2375 NEW BEST:: SOT 4432587 SOS 806969 HAS SOPS 806969 HAS SOUS 656386 HAS SOUPS 656386 WITH SCORE 657192.969
AT ITER 2391 NEW BEST:: SOT 4432428 SOS 806651 HAS SOPS 806651 HAS SOUS 656068 HAS SOUPS 656068 WITH SCORE 656874.651
AT ITER 2419 NEW BEST:: SOT 4432270 SOS 806335 HAS SOPS 806335 HAS SOUS 655752 HAS SOUPS 655752 WITH SCORE 656558.335
AT ITER 2423 NEW BEST:: SOT 4432086 SOS 805967 HAS SOPS 805967 HAS SOUS 655568 HAS SOUPS 655568 WITH SCORE 656373.967
AT ITER 2425 NEW BEST:: SOT 4432048 SOS 805891 HAS SOPS 805891 HAS SOUS 655412 HAS SOUPS 655412 WITH SCORE 656217.891
AT ITER 2459 NEW BEST:: SOT 4432131 SOS 805133 HAS SOPS 805133 HAS SOUS 654643 HAS SOUPS 654643 WITH SCORE 655448.133
AT ITER 2479 NEW BEST:: SOT 4431903 SOS 805004 HAS SOPS 805004 HAS SOUS 654105 HAS SOUPS 654105 WITH SCORE 654910.004
AT ITER 2486 NEW BEST:: SOT 4431735 SOS 805079 HAS SOPS 805079 HAS SOUS 654020 HAS SOUPS 654020 WITH SCORE 654825.079
AT ITER 2489 NEW BEST:: SOT 4431735 SOS 804916 HAS SOPS 804916 HAS SOUS 654020 HAS SOUPS 654020 WITH SCORE 654824.916
AT ITER 2494 NEW BEST:: SOT 4431723 SOS 804892 HAS SOPS 804892 HAS SOUS 654008 HAS SOUPS 654008 WITH SCORE 654812.892
AT ITER 2502 NEW BEST:: SOT 4431658 SOS 804594 HAS SOPS 804594 HAS SOUS 653859 HAS SOUPS 653859 WITH SCORE 654663.594
AT ITER 2519 NEW BEST:: SOT 4431532 SOS 804342 HAS SOPS 804342 HAS SOUS 653607 HAS SOUPS 653607 WITH SCORE 654411.342
AT ITER 2534 NEW BEST:: SOT 4431521 SOS 804320 HAS SOPS 804320 HAS SOUS 653585 HAS SOUPS 653585 WITH SCORE 654389.32
AT ITER 2549 NEW BEST:: SOT 4431484 SOS 803970 HAS SOPS 803970 HAS SOUS 653362 HAS SOUPS 653362 WITH SCORE 654165.97
AT ITER 2559 NEW BEST:: SOT 4431394 SOS 803848 HAS SOPS 803848 HAS SOUS 653240 HAS SOUPS 653240 WITH SCORE 654043.848
AT ITER 2577 NEW BEST:: SOT 4431465 SOS 803990 HAS SOPS 803990 HAS SOUS 653228 HAS SOUPS 653228 WITH SCORE 654031.99
AT ITER 2587 NEW BEST:: SOT 4431312 SOS 803684 HAS SOPS 803684 HAS SOUS 653173 HAS SOUPS 653173 WITH SCORE 653976.684
AT ITER 2604 NEW BEST:: SOT 4431610 SOS 804280 HAS SOPS 804280 HAS SOUS 653136 HAS SOUPS 653136 WITH SCORE 653940.28
AT ITER 2617 NEW BEST:: SOT 4431539 SOS 803794 HAS SOPS 803794 HAS SOUS 652760 HAS SOUPS 652760 WITH SCORE 653563.794
AT ITER 2637 NEW BEST:: SOT 4430659 SOS 802942 HAS SOPS 802942 HAS SOUS 651887 HAS SOUPS 651887 WITH SCORE 652689.942
AT ITER 2649 NEW BEST:: SOT 4430834 SOS 803018 HAS SOPS 803018 HAS SOUS 651822 HAS SOUPS 651822 WITH SCORE 652625.018
AT ITER 2653 NEW BEST:: SOT 4430612 SOS 802574 HAS SOPS 802574 HAS SOUS 651378 HAS SOUPS 651378 WITH SCORE 652180.574
AT ITER 2668 NEW BEST:: SOT 4430481 SOS 802312 HAS SOPS 802312 HAS SOUS 651116 HAS SOUPS 651116 WITH SCORE 651918.312
AT ITER 2679 NEW BEST:: SOT 4430383 SOS 802116 HAS SOPS 802116 HAS SOUS 651090 HAS SOUPS 651090 WITH SCORE 651892.116
AT ITER 2683 NEW BEST:: SOT 4430322 SOS 802062 HAS SOPS 802062 HAS SOUS 651036 HAS SOUPS 651036 WITH SCORE 651838.062
AT ITER 2685 NEW BEST:: SOT 4430321 SOS 802060 HAS SOPS 802060 HAS SOUS 651034 HAS SOUPS 651034 WITH SCORE 651836.06
AT ITER 2686 NEW BEST:: SOT 4429906 SOS 801230 HAS SOPS 801230 HAS SOUS 650295 HAS SOUPS 650295 WITH SCORE 651096.23
AT ITER 2700 NEW BEST:: SOT 4429854 SOS 801126 HAS SOPS 801126 HAS SOUS 650191 HAS SOUPS 650191 WITH SCORE 650992.126
AT ITER 2720 NEW BEST:: SOT 4429700 SOS 800571 HAS SOPS 800571 HAS SOUS 649831 HAS SOUPS 649831 WITH SCORE 650631.571
AT ITER 2725 NEW BEST:: SOT 4429610 SOS 800178 HAS SOPS 800178 HAS SOUS 649442 HAS SOUPS 649442 WITH SCORE 650242.178
AT ITER 2731 NEW BEST:: SOT 4429608 SOS 800174 HAS SOPS 800174 HAS SOUS 649438 HAS SOUPS 649438 WITH SCORE 650238.174
AT ITER 2734 NEW BEST:: SOT 4429608 SOS 800006 HAS SOPS 800006 HAS SOUS 649437 HAS SOUPS 649437 WITH SCORE 650237.006
AT ITER 2736 NEW BEST:: SOT 4429213 SOS 799216 HAS SOPS 799216 HAS SOUS 649234 HAS SOUPS 649234 WITH SCORE 650033.216
AT ITER 2763 NEW BEST:: SOT 4428943 SOS 798946 HAS SOPS 798946 HAS SOUS 649183 HAS SOUPS 649183 WITH SCORE 649981.946
AT ITER 2777 NEW BEST:: SOT 4426933 SOS 797057 HAS SOPS 797057 HAS SOUS 647414 HAS SOUPS 647414 WITH SCORE 648211.057
AT ITER 2819 NEW BEST:: SOT 4426880 SOS 796951 HAS SOPS 796951 HAS SOUS 647361 HAS SOUPS 647361 WITH SCORE 648157.951
AT ITER 2844 NEW BEST:: SOT 4426762 SOS 796715 HAS SOPS 796715 HAS SOUS 647125 HAS SOUPS 647125 WITH SCORE 647921.715
AT ITER 2854 NEW BEST:: SOT 4426546 SOS 796283 HAS SOPS 796283 HAS SOUS 646693 HAS SOUPS 646693 WITH SCORE 647489.283
AT ITER 2862 NEW BEST:: SOT 4426499 SOS 796100 HAS SOPS 796100 HAS SOUS 646264 HAS SOUPS 646264 WITH SCORE 647060.1
AT ITER 2894 NEW BEST:: SOT 4426602 SOS 796306 HAS SOPS 796306 HAS SOUS 646237 HAS SOUPS 646237 WITH SCORE 647033.306
AT ITER 2900 NEW BEST:: SOT 4426378 SOS 795858 HAS SOPS 795858 HAS SOUS 646010 HAS SOUPS 646010 WITH SCORE 646805.858
AT ITER 2904 NEW BEST:: SOT 4426490 SOS 795703 HAS SOPS 795703 HAS SOUS 645881 HAS SOUPS 645881 WITH SCORE 646676.703
AT ITER 2911 NEW BEST:: SOT 4426380 SOS 795483 HAS SOPS 795483 HAS SOUS 645661 HAS SOUPS 645661 WITH SCORE 646456.483
AT ITER 2919 NEW BEST:: SOT 4426098 SOS 795204 HAS SOPS 795204 HAS SOUS 645379 HAS SOUPS 645379 WITH SCORE 646174.204
AT ITER 2949 NEW BEST:: SOT 4426098 SOS 795204 HAS SOPS 795204 HAS SOUS 645314 HAS SOUPS 645314 WITH SCORE 646109.204
AT ITER 2956 NEW BEST:: SOT 4426088 SOS 795204 HAS SOPS 795204 HAS SOUS 645304 HAS SOUPS 645304 WITH SCORE 646099.204
AT ITER 2993 NEW BEST:: SOT 4425865 SOS 794758 HAS SOPS 794758 HAS SOUS 644858 HAS SOUPS 644858 WITH SCORE 645652.758
AT ITER 3002 NEW BEST:: SOT 4425863 SOS 794754 HAS SOPS 794754 HAS SOUS 644854 HAS SOUPS 644854 WITH SCORE 645648.754
AT ITER 3007 NEW BEST:: SOT 4425878 SOS 794784 HAS SOPS 794784 HAS SOUS 644718 HAS SOUPS 644718 WITH SCORE 645512.784
AT ITER 3018 NEW BEST:: SOT 4425834 SOS 792232 HAS SOPS 792232 HAS SOUS 644674 HAS SOUPS 644674 WITH SCORE 645466.232
AT ITER 3033 NEW BEST:: SOT 4426219 SOS 791626 HAS SOPS 791626 HAS SOUS 644479 HAS SOUPS 644479 WITH SCORE 645270.626
AT ITER 3040 NEW BEST:: SOT 4426543 SOS 791297 HAS SOPS 791297 HAS SOUS 644214 HAS SOUPS 644214 WITH SCORE 645005.297
AT ITER 3061 NEW BEST:: SOT 4426513 SOS 791237 HAS SOPS 791237 HAS SOUS 644154 HAS SOUPS 644154 WITH SCORE 644945.237
AT ITER 3079 NEW BEST:: SOT 4426471 SOS 791153 HAS SOPS 791153 HAS SOUS 644091 HAS SOUPS 644091 WITH SCORE 644882.153
AT ITER 3080 NEW BEST:: SOT 4426471 SOS 791111 HAS SOPS 791111 HAS SOUS 644090 HAS SOUPS 644090 WITH SCORE 644881.111
AT ITER 3081 NEW BEST:: SOT 4426423 SOS 791015 HAS SOPS 791015 HAS SOUS 643555 HAS SOUPS 643555 WITH SCORE 644346.015
AT ITER 3114 NEW BEST:: SOT 4425931 SOS 790523 HAS SOPS 790523 HAS SOUS 643063 HAS SOUPS 643063 WITH SCORE 643853.523
AT ITER 3123 NEW BEST:: SOT 4425870 SOS 790462 HAS SOPS 790462 HAS SOUS 643062 HAS SOUPS 643062 WITH SCORE 643852.462
AT ITER 3167 NEW BEST:: SOT 4425616 SOS 789954 HAS SOPS 789954 HAS SOUS 642807 HAS SOUPS 642807 WITH SCORE 643596.954
AT ITER 3193 NEW BEST:: SOT 4425636 SOS 789994 HAS SOPS 789994 HAS SOUS 642756 HAS SOUPS 642756 WITH SCORE 643545.994
AT ITER 3196 NEW BEST:: SOT 4425629 SOS 789980 HAS SOPS 789980 HAS SOUS 642742 HAS SOUPS 642742 WITH SCORE 643531.98
AT ITER 3226 NEW BEST:: SOT 4425629 SOS 789790 HAS SOPS 789790 HAS SOUS 642742 HAS SOUPS 642742 WITH SCORE 643531.79
AT ITER 3237 NEW BEST:: SOT 4425447 SOS 789426 HAS SOPS 789426 HAS SOUS 642378 HAS SOUPS 642378 WITH SCORE 643167.426
AT ITER 3246 NEW BEST:: SOT 4425444 SOS 789420 HAS SOPS 789420 HAS SOUS 642375 HAS SOUPS 642375 WITH SCORE 643164.42
AT ITER 3264 NEW BEST:: SOT 4425407 SOS 789098 HAS SOPS 789098 HAS SOUS 642148 HAS SOUPS 642148 WITH SCORE 642937.098
AT ITER 3359 NEW BEST:: SOT 4425407 SOS 789098 HAS SOPS 789098 HAS SOUS 642033 HAS SOUPS 642033 WITH SCORE 642822.098
AT ITER 3413 NEW BEST:: SOT 4424994 SOS 788896 HAS SOPS 788896 HAS SOUS 641776 HAS SOUPS 641776 WITH SCORE 642564.896
AT ITER 3416 NEW BEST:: SOT 4424994 SOS 788770 HAS SOPS 788770 HAS SOUS 641776 HAS SOUPS 641776 WITH SCORE 642564.77
AT ITER 3423 NEW BEST:: SOT 4424994 SOS 788719 HAS SOPS 788719 HAS SOUS 641725 HAS SOUPS 641725 WITH SCORE 642513.719
AT ITER 3438 NEW BEST:: SOT 4424931 SOS 788593 HAS SOPS 788593 HAS SOUS 641662 HAS SOUPS 641662 WITH SCORE 642450.593
AT ITER 3452 NEW BEST:: SOT 4424033 SOS 801107 HAS SOPS 801107 HAS SOUS 641489 HAS SOUPS 641489 WITH SCORE 642290.107
AT ITER 3456 NEW BEST:: SOT 4423941 SOS 801476 HAS SOPS 801476 HAS SOUS 641305 HAS SOUPS 641305 WITH SCORE 642106.476
AT ITER 3458 NEW BEST:: SOT 4423941 SOS 801405 HAS SOPS 801405 HAS SOUS 641289 HAS SOUPS 641289 WITH SCORE 642090.405
AT ITER 3462 NEW BEST:: SOT 4423886 SOS 801295 HAS SOPS 801295 HAS SOUS 641179 HAS SOUPS 641179 WITH SCORE 641980.295
AT ITER 3487 NEW BEST:: SOT 4423806 SOS 801135 HAS SOPS 801135 HAS SOUS 641019 HAS SOUPS 641019 WITH SCORE 641820.135
AT ITER 3528 NEW BEST:: SOT 4423040 SOS 800463 HAS SOPS 800463 HAS SOUS 640271 HAS SOUPS 640271 WITH SCORE 641071.463
AT ITER 3636 NEW BEST:: SOT 4422963 SOS 800505 HAS SOPS 800505 HAS SOUS 640254 HAS SOUPS 640254 WITH SCORE 641054.505
AT ITER 3650 NEW BEST:: SOT 4422954 SOS 800487 HAS SOPS 800487 HAS SOUS 640236 HAS SOUPS 640236 WITH SCORE 641036.487
AT ITER 3652 NEW BEST:: SOT 4423067 SOS 800472 HAS SOPS 800472 HAS SOUS 640221 HAS SOUPS 640221 WITH SCORE 641021.472
AT ITER 3655 NEW BEST:: SOT 4422961 SOS 800260 HAS SOPS 800260 HAS SOUS 640009 HAS SOUPS 640009 WITH SCORE 640809.26
AT ITER 3712 NEW BEST:: SOT 4422697 SOS 799999 HAS SOPS 799999 HAS SOUS 639880 HAS SOUPS 639880 WITH SCORE 640679.999
AT ITER 3715 NEW BEST:: SOT 4422547 SOS 799938 HAS SOPS 799938 HAS SOUS 639774 HAS SOUPS 639774 WITH SCORE 640573.938
AT ITER 3721 NEW BEST:: SOT 4422711 SOS 799800 HAS SOPS 799800 HAS SOUS 639679 HAS SOUPS 639679 WITH SCORE 640478.8
AT ITER 3734 NEW BEST:: SOT 4422711 SOS 799797 HAS SOPS 799797 HAS SOUS 639679 HAS SOUPS 639679 WITH SCORE 640478.797
AT ITER 3743 NEW BEST:: SOT 4422668 SOS 799711 HAS SOPS 799711 HAS SOUS 639593 HAS SOUPS 639593 WITH SCORE 640392.711
AT ITER 3787 NEW BEST:: SOT 4422624 SOS 799445 HAS SOPS 799445 HAS SOUS 639314 HAS SOUPS 639314 WITH SCORE 640113.445
AT ITER 3848 NEW BEST:: SOT 4422624 SOS 799445 HAS SOPS 799445 HAS SOUS 639096 HAS SOUPS 639096 WITH SCORE 639895.445
AT ITER 3864 NEW BEST:: SOT 4422248 SOS 799693 HAS SOPS 799693 HAS SOUS 638995 HAS SOUPS 638995 WITH SCORE 639794.693
AT ITER 3870 NEW BEST:: SOT 4422178 SOS 799553 HAS SOPS 799553 HAS SOUS 638855 HAS SOUPS 638855 WITH SCORE 639654.553
AT ITER 3891 NEW BEST:: SOT 4422177 SOS 799551 HAS SOPS 799551 HAS SOUS 638853 HAS SOUPS 638853 WITH SCORE 639652.551
AT ITER 3895 NEW BEST:: SOT 4422177 SOS 799507 HAS SOPS 799507 HAS SOUS 638853 HAS SOUPS 638853 WITH SCORE 639652.507
AT ITER 3912 NEW BEST:: SOT 4422165 SOS 798967 HAS SOPS 798967 HAS SOUS 638662 HAS SOUPS 638662 WITH SCORE 639460.967
AT ITER 3937 NEW BEST:: SOT 4422074 SOS 798785 HAS SOPS 798785 HAS SOUS 638599 HAS SOUPS 638599 WITH SCORE 639397.785
AT ITER 3953 NEW BEST:: SOT 4422073 SOS 798511 HAS SOPS 798511 HAS SOUS 638597 HAS SOUPS 638597 WITH SCORE 639395.511
AT ITER 3981 NEW BEST:: SOT 4422073 SOS 798511 HAS SOPS 798511 HAS SOUS 638574 HAS SOUPS 638574 WITH SCORE 639372.511
AT ITER 4005 NEW BEST:: SOT 4422072 SOS 798509 HAS SOPS 798509 HAS SOUS 638572 HAS SOUPS 638572 WITH SCORE 639370.509
AT ITER 4012 NEW BEST:: SOT 4422023 SOS 798411 HAS SOPS 798411 HAS SOUS 638523 HAS SOUPS 638523 WITH SCORE 639321.411
AT ITER 4066 NEW BEST:: SOT 4421782 SOS 797929 HAS SOPS 797929 HAS SOUS 638041 HAS SOUPS 638041 WITH SCORE 638838.929
AT ITER 4070 NEW BEST:: SOT 4421896 SOS 797512 HAS SOPS 797512 HAS SOUS 637990 HAS SOUPS 637990 WITH SCORE 638787.512
AT ITER 4083 NEW BEST:: SOT 4421808 SOS 797336 HAS SOPS 797336 HAS SOUS 637978 HAS SOUPS 637978 WITH SCORE 638775.336
AT ITER 4134 NEW BEST:: SOT 4421629 SOS 797278 HAS SOPS 797278 HAS SOUS 637744 HAS SOUPS 637744 WITH SCORE 638541.278
AT ITER 4142 NEW BEST:: SOT 4421540 SOS 797011 HAS SOPS 797011 HAS SOUS 637566 HAS SOUPS 637566 WITH SCORE 638363.011
AT ITER 4174 NEW BEST:: SOT 4421426 SOS 796899 HAS SOPS 796899 HAS SOUS 637454 HAS SOUPS 637454 WITH SCORE 638250.899
AT ITER 4176 NEW BEST:: SOT 4421425 SOS 796897 HAS SOPS 796897 HAS SOUS 637452 HAS SOUPS 637452 WITH SCORE 638248.897
AT ITER 4188 NEW BEST:: SOT 4421271 SOS 796310 HAS SOPS 796310 HAS SOUS 637019 HAS SOUPS 637019 WITH SCORE 637815.31
AT ITER 4199 NEW BEST:: SOT 4421023 SOS 796158 HAS SOPS 796158 HAS SOUS 636824 HAS SOUPS 636824 WITH SCORE 637620.158
AT ITER 4202 NEW BEST:: SOT 4420902 SOS 796200 HAS SOPS 796200 HAS SOUS 636674 HAS SOUPS 636674 WITH SCORE 637470.2
AT ITER 4226 NEW BEST:: SOT 4420901 SOS 796328 HAS SOPS 796328 HAS SOUS 636672 HAS SOUPS 636672 WITH SCORE 637468.328
AT ITER 4238 NEW BEST:: SOT 4420891 SOS 796308 HAS SOPS 796308 HAS SOUS 636657 HAS SOUPS 636657 WITH SCORE 637453.308
AT ITER 4253 NEW BEST:: SOT 4420872 SOS 796270 HAS SOPS 796270 HAS SOUS 636638 HAS SOUPS 636638 WITH SCORE 637434.27
AT ITER 4286 NEW BEST:: SOT 4420452 SOS 795850 HAS SOPS 795850 HAS SOUS 636218 HAS SOUPS 636218 WITH SCORE 637013.85
AT ITER 4307 NEW BEST:: SOT 4420428 SOS 795802 HAS SOPS 795802 HAS SOUS 636170 HAS SOUPS 636170 WITH SCORE 636965.802
AT ITER 4343 NEW BEST:: SOT 4420413 SOS 795772 HAS SOPS 795772 HAS SOUS 636140 HAS SOUPS 636140 WITH SCORE 636935.772
AT ITER 4352 NEW BEST:: SOT 4420179 SOS 795304 HAS SOPS 795304 HAS SOUS 635672 HAS SOUPS 635672 WITH SCORE 636467.304
AT ITER 4361 NEW BEST:: SOT 4420133 SOS 795258 HAS SOPS 795258 HAS SOUS 635580 HAS SOUPS 635580 WITH SCORE 636375.258
AT ITER 4365 NEW BEST:: SOT 4420131 SOS 795254 HAS SOPS 795254 HAS SOUS 635576 HAS SOUPS 635576 WITH SCORE 636371.254
AT ITER 4380 NEW BEST:: SOT 4419915 SOS 795038 HAS SOPS 795038 HAS SOUS 635360 HAS SOUPS 635360 WITH SCORE 636155.038
AT ITER 4399 NEW BEST:: SOT 4419860 SOS 794928 HAS SOPS 794928 HAS SOUS 635250 HAS SOUPS 635250 WITH SCORE 636044.928
AT ITER 4405 NEW BEST:: SOT 4419720 SOS 794918 HAS SOPS 794918 HAS SOUS 635218 HAS SOUPS 635218 WITH SCORE 636012.918
AT ITER 4429 NEW BEST:: SOT 4419720 SOS 794918 HAS SOPS 794918 HAS SOUS 635132 HAS SOUPS 635132 WITH SCORE 635926.918
AT ITER 4472 NEW BEST:: SOT 4419669 SOS 794944 HAS SOPS 794944 HAS SOUS 635081 HAS SOUPS 635081 WITH SCORE 635875.944
AT ITER 4481 NEW BEST:: SOT 4418929 SOS 800270 HAS SOPS 800270 HAS SOUS 634479 HAS SOUPS 634479 WITH SCORE 635279.27
AT ITER 4511 NEW BEST:: SOT 4418674 SOS 799760 HAS SOPS 799760 HAS SOUS 633921 HAS SOUPS 633921 WITH SCORE 634720.76
AT ITER 4538 NEW BEST:: SOT 4418674 SOS 799583 HAS SOPS 799583 HAS SOUS 633921 HAS SOUPS 633921 WITH SCORE 634720.583
AT ITER 4568 NEW BEST:: SOT 4418681 SOS 799597 HAS SOPS 799597 HAS SOUS 633832 HAS SOUPS 633832 WITH SCORE 634631.597
AT ITER 4595 NEW BEST:: SOT 4418555 SOS 799471 HAS SOPS 799471 HAS SOUS 633754 HAS SOUPS 633754 WITH SCORE 634553.471
AT ITER 4609 NEW BEST:: SOT 4418538 SOS 799437 HAS SOPS 799437 HAS SOUS 633720 HAS SOUPS 633720 WITH SCORE 634519.437
AT ITER 4612 NEW BEST:: SOT 4418498 SOS 798900 HAS SOPS 798900 HAS SOUS 633604 HAS SOUPS 633604 WITH SCORE 634402.9
AT ITER 4620 NEW BEST:: SOT 4418432 SOS 798841 HAS SOPS 798841 HAS SOUS 633472 HAS SOUPS 633472 WITH SCORE 634270.841
AT ITER 4640 NEW BEST:: SOT 4418428 SOS 798833 HAS SOPS 798833 HAS SOUS 633468 HAS SOUPS 633468 WITH SCORE 634266.833
AT ITER 4642 NEW BEST:: SOT 4418187 SOS 798351 HAS SOPS 798351 HAS SOUS 632986 HAS SOUPS 632986 WITH SCORE 633784.351
AT ITER 4669 NEW BEST:: SOT 4418118 SOS 798282 HAS SOPS 798282 HAS SOUS 632917 HAS SOUPS 632917 WITH SCORE 633715.282
AT ITER 4673 NEW BEST:: SOT 4417525 SOS 797096 HAS SOPS 797096 HAS SOUS 632089 HAS SOUPS 632089 WITH SCORE 632886.096
AT ITER 4675 NEW BEST:: SOT 4417384 SOS 796958 HAS SOPS 796958 HAS SOUS 631951 HAS SOUPS 631951 WITH SCORE 632747.958
AT ITER 4683 NEW BEST:: SOT 4417384 SOS 796968 HAS SOPS 796968 HAS SOUS 631941 HAS SOUPS 631941 WITH SCORE 632737.968
AT ITER 4688 NEW BEST:: SOT 4417348 SOS 796986 HAS SOPS 796986 HAS SOUS 631923 HAS SOUPS 631923 WITH SCORE 632719.986
AT ITER 4709 NEW BEST:: SOT 4417307 SOS 796904 HAS SOPS 796904 HAS SOUS 631841 HAS SOUPS 631841 WITH SCORE 632637.904
AT ITER 4717 NEW BEST:: SOT 4417221 SOS 796547 HAS SOPS 796547 HAS SOUS 631840 HAS SOUPS 631840 WITH SCORE 632636.547
AT ITER 4740 NEW BEST:: SOT 4417052 SOS 795997 HAS SOPS 795997 HAS SOUS 631502 HAS SOUPS 631502 WITH SCORE 632297.997
AT ITER 4744 NEW BEST:: SOT 4416666 SOS 795629 HAS SOPS 795629 HAS SOUS 631069 HAS SOUPS 631069 WITH SCORE 631864.629
AT ITER 4776 NEW BEST:: SOT 4416653 SOS 795603 HAS SOPS 795603 HAS SOUS 631043 HAS SOUPS 631043 WITH SCORE 631838.603
AT ITER 4838 NEW BEST:: SOT 4416653 SOS 795387 HAS SOPS 795387 HAS SOUS 630935 HAS SOUPS 630935 WITH SCORE 631730.387
AT ITER 4842 NEW BEST:: SOT 4416557 SOS 795195 HAS SOPS 795195 HAS SOUS 630743 HAS SOUPS 630743 WITH SCORE 631538.195
AT ITER 4843 NEW BEST:: SOT 4416360 SOS 794801 HAS SOPS 794801 HAS SOUS 630546 HAS SOUPS 630546 WITH SCORE 631340.801
AT ITER 4879 NEW BEST:: SOT 4416429 SOS 794939 HAS SOPS 794939 HAS SOUS 630505 HAS SOUPS 630505 WITH SCORE 631299.939
AT ITER 4912 NEW BEST:: SOT 4416152 SOS 794761 HAS SOPS 794761 HAS SOUS 630416 HAS SOUPS 630416 WITH SCORE 631210.761
AT ITER 4960 NEW BEST:: SOT 4415971 SOS 794399 HAS SOPS 794399 HAS SOUS 630054 HAS SOUPS 630054 WITH SCORE 630848.399
AT ITER 4961 NEW BEST:: SOT 4415982 SOS 794421 HAS SOPS 794421 HAS SOUS 630019 HAS SOUPS 630019 WITH SCORE 630813.421
AT ITER 4978 NEW BEST:: SOT 4415705 SOS 793867 HAS SOPS 793867 HAS SOUS 629465 HAS SOUPS 629465 WITH SCORE 630258.867
AT ITER 4983 NEW BEST:: SOT 4415788 SOS 794033 HAS SOPS 794033 HAS SOUS 629388 HAS SOUPS 629388 WITH SCORE 630182.033
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: CloudReconfiguration-PT-317-CTLCardinality-00 (AF(( ( ( potential( (tk(P1584)) <= (tk(P2024)) ) & potential( ( 2 ) <= (tk(P80)) ) ) | ( potential( ( 1 ) <= (tk(P2065)) ) & potential( ( 1 ) <= (tk(P1900)) ) ) ) & ( (! potential( ( 2 ) <= (tk(P1841)) )) & ( potential( ( 2 ) <= (tk(P707)) ) & potential( ( 2 ) <= (tk(P1378)) ) ) ) )))
PROPERTY: CloudReconfiguration-PT-317-CTLCardinality-01 ( ( ( (AX( potential( ( 2 ) <= (tk(P2043)) ))) & (AG( potential( (tk(P479)) <= (tk(P769)) ))) ) | ( ( potential( (tk(P1895)) <= (tk(P2585)) ) & ( potential( (tk(P2094)) <= (tk(P666)) ) & potential( (tk(P1076)) <= (tk(P1588)) ) ) ) & ( (! potential( (tk(P953)) <= (tk(P2024)) )) | ( potential( ( 3 ) <= (tk(P686)) ) | potential( (tk(P1747)) <= (tk(P2443)) ) ) ) ) ) & ( ( ( ( potential( (tk(P2403)) <= (tk(P879)) ) | potential( ( 2 ) <= (tk(P650)) ) ) | potential( (tk(P1408)) <= (tk(P13)) ) ) | ( ( potential( ( 1 ) <= (tk(P2143)) ) | potential( ( 2 ) <= (tk(P515)) ) ) | potential( (tk(P821)) <= (tk(P1732)) ) ) ) & (AF((! potential( (tk(P988)) <= (tk(P378)) )))) ) )
PROPERTY: CloudReconfiguration-PT-317-CTLCardinality-02 (EU( (AF(potential( ( 1 ) <= (tk(P1815)) ))),(! potential( (tk(P2365)) <= (tk(P216)) )) ))
PROPERTY: CloudReconfiguration-PT-317-CTLCardinality-03 ( (EX( potential( (tk(P62)) <= (tk(P1536)) ))) & (! ( (! (! potential( ( 1 ) <= (tk(P524)) ))) | (AF(potential( ( 1 ) <= (tk(P2095)) ))) )) )
PROPERTY: CloudReconfiguration-PT-317-CTLCardinality-04 ( (EF(( potential( (tk(P2296)) <= (tk(P1290)) ) & potential( ( 1 ) <= (tk(P200)) ) ))) | (EF(( potential( ( 1 ) <= (tk(P476)) ) & ( potential( (tk(P538)) <= (tk(P710)) ) | potential( ( 2 ) <= (tk(P2417)) ) ) ))) )
PROPERTY: CloudReconfiguration-PT-317-CTLCardinality-05 (EF(potential( ( 1 ) <= (tk(P956)) )))
PROPERTY: CloudReconfiguration-PT-317-CTLCardinality-06 ( potential( (tk(P1645)) <= (tk(P225)) ) & ( (AF(potential( ( 1 ) <= (tk(P1783)) ))) | (AG( ( potential( (tk(P1604)) <= (tk(P523)) ) | potential( (tk(P1674)) <= (tk(P1293)) ) ))) ) )
PROPERTY: CloudReconfiguration-PT-317-CTLCardinality-07 (EG( potential( (tk(P1859)) <= (tk(P394)) )))
PROPERTY: CloudReconfiguration-PT-317-CTLCardinality-08 (! (EG( potential( (tk(P1817)) <= (tk(P1424)) ))))
PROPERTY: CloudReconfiguration-PT-317-CTLCardinality-09 (EF((! (EF(potential( ( 3 ) <= (tk(P105)) ))))))
PROPERTY: CloudReconfiguration-PT-317-CTLCardinality-10 ( (! potential( (tk(P862)) <= (tk(P381)) )) | (AG( potential( (tk(P2109)) <= (tk(P1358)) ))) )
PROPERTY: CloudReconfiguration-PT-317-CTLCardinality-11 ( (AU( ( potential( (tk(P1968)) <= (tk(P165)) ) | potential( (tk(P1345)) <= (tk(P1280)) ) ),( potential( ( 3 ) <= (tk(P2582)) ) & potential( ( 3 ) <= (tk(P1432)) ) ) )) & ( ( (AG( potential( ( 2 ) <= (tk(P1171)) ))) | (AG( potential( (tk(P2545)) <= (tk(P1785)) ))) ) & potential( (tk(P63)) <= (tk(P2417)) ) ) )
PROPERTY: CloudReconfiguration-PT-317-CTLCardinality-12 (EG( ( potential( ( 2 ) <= (tk(P454)) ) | ( (! potential( ( 1 ) <= (tk(P1718)) )) | ( potential( ( 2 ) <= (tk(P1635)) ) | potential( (tk(P1284)) <= (tk(P298)) ) ) ) )))
PROPERTY: CloudReconfiguration-PT-317-CTLCardinality-13 (AG( (AG( (! potential( ( 1 ) <= (tk(P281)) ))))))
PROPERTY: CloudReconfiguration-PT-317-CTLCardinality-14 (! (! (AF(potential( ( 2 ) <= (tk(P2233)) )))))
PROPERTY: CloudReconfiguration-PT-317-CTLCardinality-15 (AF((! ( ( potential( (tk(P602)) <= (tk(P2547)) ) | potential( (tk(P2108)) <= (tk(P2030)) ) ) | potential( ( 3 ) <= (tk(P159)) ) ))))

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-317"
export BK_EXAMINATION="CTLCardinality"
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-317, examination is CTLCardinality"
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-158902541800131"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/CloudReconfiguration-PT-317.tgz
mv CloudReconfiguration-PT-317 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;