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

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

=== Now, execution of the tool begins

BK_START 1589091748297

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 309
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 4443228 SOS 758806 HAS SOPS 758806 HAS SOUS 699828 HAS SOUPS 699828 WITH SCORE 700586.806
AT ITER 28 NEW BEST:: SOT 4443192 SOS 758783 HAS SOPS 758783 HAS SOUS 699804 HAS SOUPS 699804 WITH SCORE 700562.783
AT ITER 32 NEW BEST:: SOT 4443192 SOS 758558 HAS SOPS 758558 HAS SOUS 699803 HAS SOUPS 699803 WITH SCORE 700561.558
AT ITER 45 NEW BEST:: SOT 4442890 SOS 758312 HAS SOPS 758312 HAS SOUS 699501 HAS SOUPS 699501 WITH SCORE 700259.312
AT ITER 63 NEW BEST:: SOT 4442890 SOS 758087 HAS SOPS 758087 HAS SOUS 699270 HAS SOUPS 699270 WITH SCORE 700028.087
AT ITER 86 NEW BEST:: SOT 4442682 SOS 757775 HAS SOPS 757775 HAS SOUS 698958 HAS SOUPS 698958 WITH SCORE 699715.775
AT ITER 87 NEW BEST:: SOT 4442546 SOS 757673 HAS SOPS 757673 HAS SOUS 698856 HAS SOUPS 698856 WITH SCORE 699613.673
AT ITER 126 NEW BEST:: SOT 4442546 SOS 757637 HAS SOPS 757637 HAS SOUS 698820 HAS SOUPS 698820 WITH SCORE 699577.637
AT ITER 137 NEW BEST:: SOT 4442623 SOS 757401 HAS SOPS 757401 HAS SOUS 698546 HAS SOUPS 698546 WITH SCORE 699303.401
AT ITER 142 NEW BEST:: SOT 4435262 SOS 750138 HAS SOPS 750138 HAS SOUS 691642 HAS SOUPS 691642 WITH SCORE 692392.138
AT ITER 144 NEW BEST:: SOT 4435058 SOS 750138 HAS SOPS 750138 HAS SOUS 691641 HAS SOUPS 691641 WITH SCORE 692391.138
AT ITER 161 NEW BEST:: SOT 4435057 SOS 749937 HAS SOPS 749937 HAS SOUS 691639 HAS SOUPS 691639 WITH SCORE 692388.937
AT ITER 172 NEW BEST:: SOT 4435011 SOS 749757 HAS SOPS 749757 HAS SOUS 691505 HAS SOUPS 691505 WITH SCORE 692254.757
AT ITER 200 NEW BEST:: SOT 4435011 SOS 749743 HAS SOPS 749743 HAS SOUS 691505 HAS SOUPS 691505 WITH SCORE 692254.743
AT ITER 201 NEW BEST:: SOT 4435024 SOS 749769 HAS SOPS 749769 HAS SOUS 691443 HAS SOUPS 691443 WITH SCORE 692192.769
AT ITER 212 NEW BEST:: SOT 4435024 SOS 749749 HAS SOPS 749749 HAS SOUS 691443 HAS SOUPS 691443 WITH SCORE 692192.749
AT ITER 219 NEW BEST:: SOT 4434984 SOS 749709 HAS SOPS 749709 HAS SOUS 691403 HAS SOUPS 691403 WITH SCORE 692152.709
AT ITER 227 NEW BEST:: SOT 4434547 SOS 749287 HAS SOPS 749287 HAS SOUS 690981 HAS SOUPS 690981 WITH SCORE 691730.287
AT ITER 238 NEW BEST:: SOT 4434547 SOS 749102 HAS SOPS 749102 HAS SOUS 690980 HAS SOUPS 690980 WITH SCORE 691729.102
AT ITER 242 NEW BEST:: SOT 4434640 SOS 749288 HAS SOPS 749288 HAS SOUS 690955 HAS SOUPS 690955 WITH SCORE 691704.288
AT ITER 245 NEW BEST:: SOT 4434664 SOS 749336 HAS SOPS 749336 HAS SOUS 690859 HAS SOUPS 690859 WITH SCORE 691608.336
AT ITER 257 NEW BEST:: SOT 4434708 SOS 749424 HAS SOPS 749424 HAS SOUS 690635 HAS SOUPS 690635 WITH SCORE 691384.424
AT ITER 260 NEW BEST:: SOT 4434440 SOS 749418 HAS SOPS 749418 HAS SOUS 690466 HAS SOUPS 690466 WITH SCORE 691215.418
AT ITER 275 NEW BEST:: SOT 4434321 SOS 749675 HAS SOPS 749675 HAS SOUS 690442 HAS SOUPS 690442 WITH SCORE 691191.675
AT ITER 279 NEW BEST:: SOT 4434208 SOS 749638 HAS SOPS 749638 HAS SOUS 690371 HAS SOUPS 690371 WITH SCORE 691120.638
AT ITER 296 NEW BEST:: SOT 4434208 SOS 749638 HAS SOPS 749638 HAS SOUS 690175 HAS SOUPS 690175 WITH SCORE 690924.638
AT ITER 297 NEW BEST:: SOT 4434039 SOS 749469 HAS SOPS 749469 HAS SOUS 690006 HAS SOUPS 690006 WITH SCORE 690755.469
AT ITER 300 NEW BEST:: SOT 4434003 SOS 749526 HAS SOPS 749526 HAS SOUS 689970 HAS SOUPS 689970 WITH SCORE 690719.526
AT ITER 305 NEW BEST:: SOT 4433667 SOS 749756 HAS SOPS 749756 HAS SOUS 689907 HAS SOUPS 689907 WITH SCORE 690656.756
AT ITER 325 NEW BEST:: SOT 4433595 SOS 749684 HAS SOPS 749684 HAS SOUS 689835 HAS SOUPS 689835 WITH SCORE 690584.684
AT ITER 335 NEW BEST:: SOT 4433522 SOS 749538 HAS SOPS 749538 HAS SOUS 689494 HAS SOUPS 689494 WITH SCORE 690243.538
AT ITER 343 NEW BEST:: SOT 4433331 SOS 749156 HAS SOPS 749156 HAS SOUS 689479 HAS SOUPS 689479 WITH SCORE 690228.156
AT ITER 344 NEW BEST:: SOT 4433330 SOS 749154 HAS SOPS 749154 HAS SOUS 689477 HAS SOUPS 689477 WITH SCORE 690226.154
AT ITER 346 NEW BEST:: SOT 4433203 SOS 748900 HAS SOPS 748900 HAS SOUS 689223 HAS SOUPS 689223 WITH SCORE 689971.9
AT ITER 372 NEW BEST:: SOT 4433203 SOS 748757 HAS SOPS 748757 HAS SOUS 689080 HAS SOUPS 689080 WITH SCORE 689828.757
AT ITER 374 NEW BEST:: SOT 4432936 SOS 748490 HAS SOPS 748490 HAS SOUS 688813 HAS SOUPS 688813 WITH SCORE 689561.49
AT ITER 385 NEW BEST:: SOT 4432713 SOS 748386 HAS SOPS 748386 HAS SOUS 688650 HAS SOUPS 688650 WITH SCORE 689398.386
AT ITER 386 NEW BEST:: SOT 4432713 SOS 748356 HAS SOPS 748356 HAS SOUS 688650 HAS SOUPS 688650 WITH SCORE 689398.356
AT ITER 432 NEW BEST:: SOT 4432522 SOS 747974 HAS SOPS 747974 HAS SOUS 688268 HAS SOUPS 688268 WITH SCORE 689015.974
AT ITER 444 NEW BEST:: SOT 4432522 SOS 747974 HAS SOPS 747974 HAS SOUS 688021 HAS SOUPS 688021 WITH SCORE 688768.974
AT ITER 445 NEW BEST:: SOT 4432522 SOS 747648 HAS SOPS 747648 HAS SOUS 688021 HAS SOUPS 688021 WITH SCORE 688768.648
AT ITER 458 NEW BEST:: SOT 4432446 SOS 747343 HAS SOPS 747343 HAS SOUS 687875 HAS SOUPS 687875 WITH SCORE 688622.343
AT ITER 464 NEW BEST:: SOT 4432446 SOS 747343 HAS SOPS 747343 HAS SOUS 687664 HAS SOUPS 687664 WITH SCORE 688411.343
AT ITER 505 NEW BEST:: SOT 4432422 SOS 747295 HAS SOPS 747295 HAS SOUS 687640 HAS SOUPS 687640 WITH SCORE 688387.295
AT ITER 582 NEW BEST:: SOT 4431930 SOS 747049 HAS SOPS 747049 HAS SOUS 687394 HAS SOUPS 687394 WITH SCORE 688141.049
AT ITER 588 NEW BEST:: SOT 4431930 SOS 747049 HAS SOPS 747049 HAS SOUS 687342 HAS SOUPS 687342 WITH SCORE 688089.049
AT ITER 591 NEW BEST:: SOT 4431878 SOS 746945 HAS SOPS 746945 HAS SOUS 687238 HAS SOUPS 687238 WITH SCORE 687984.945
AT ITER 603 NEW BEST:: SOT 4431822 SOS 746593 HAS SOPS 746593 HAS SOUS 686942 HAS SOUPS 686942 WITH SCORE 687688.593
AT ITER 607 NEW BEST:: SOT 4431822 SOS 746300 HAS SOPS 746300 HAS SOUS 686942 HAS SOUPS 686942 WITH SCORE 687688.3
AT ITER 610 NEW BEST:: SOT 4431822 SOS 746072 HAS SOPS 746072 HAS SOUS 686827 HAS SOUPS 686827 WITH SCORE 687573.072
AT ITER 618 NEW BEST:: SOT 4431634 SOS 745696 HAS SOPS 745696 HAS SOUS 686451 HAS SOUPS 686451 WITH SCORE 687196.696
AT ITER 623 NEW BEST:: SOT 4431610 SOS 745244 HAS SOPS 745244 HAS SOUS 686124 HAS SOUPS 686124 WITH SCORE 686869.244
AT ITER 625 NEW BEST:: SOT 4431610 SOS 745244 HAS SOPS 745244 HAS SOUS 686052 HAS SOUPS 686052 WITH SCORE 686797.244
AT ITER 647 NEW BEST:: SOT 4431610 SOS 745013 HAS SOPS 745013 HAS SOUS 686052 HAS SOUPS 686052 WITH SCORE 686797.013
AT ITER 649 NEW BEST:: SOT 4431479 SOS 744882 HAS SOPS 744882 HAS SOUS 685921 HAS SOUPS 685921 WITH SCORE 686665.882
AT ITER 662 NEW BEST:: SOT 4431479 SOS 744818 HAS SOPS 744818 HAS SOUS 685921 HAS SOUPS 685921 WITH SCORE 686665.818
AT ITER 669 NEW BEST:: SOT 4431520 SOS 744843 HAS SOPS 744843 HAS SOUS 685730 HAS SOUPS 685730 WITH SCORE 686474.843
AT ITER 683 NEW BEST:: SOT 4431440 SOS 744723 HAS SOPS 744723 HAS SOUS 685610 HAS SOUPS 685610 WITH SCORE 686354.723
AT ITER 688 NEW BEST:: SOT 4431279 SOS 744632 HAS SOPS 744632 HAS SOUS 685519 HAS SOUPS 685519 WITH SCORE 686263.632
AT ITER 689 NEW BEST:: SOT 4430966 SOS 744319 HAS SOPS 744319 HAS SOUS 685206 HAS SOUPS 685206 WITH SCORE 685950.319
AT ITER 707 NEW BEST:: SOT 4431091 SOS 744152 HAS SOPS 744152 HAS SOUS 685039 HAS SOUPS 685039 WITH SCORE 685783.152
AT ITER 718 NEW BEST:: SOT 4430592 SOS 743451 HAS SOPS 743451 HAS SOUS 684291 HAS SOUPS 684291 WITH SCORE 685034.451
AT ITER 727 NEW BEST:: SOT 4430527 SOS 743097 HAS SOPS 743097 HAS SOUS 684002 HAS SOUPS 684002 WITH SCORE 684745.097
AT ITER 729 NEW BEST:: SOT 4430527 SOS 743046 HAS SOPS 743046 HAS SOUS 684001 HAS SOUPS 684001 WITH SCORE 684744.046
AT ITER 741 NEW BEST:: SOT 4430527 SOS 742961 HAS SOPS 742961 HAS SOUS 684001 HAS SOUPS 684001 WITH SCORE 684743.961
AT ITER 755 NEW BEST:: SOT 4430529 SOS 742965 HAS SOPS 742965 HAS SOUS 683972 HAS SOUPS 683972 WITH SCORE 684714.965
AT ITER 829 NEW BEST:: SOT 4430491 SOS 742889 HAS SOPS 742889 HAS SOUS 683896 HAS SOUPS 683896 WITH SCORE 684638.889
AT ITER 887 NEW BEST:: SOT 4430270 SOS 742697 HAS SOPS 742697 HAS SOUS 683704 HAS SOUPS 683704 WITH SCORE 684446.697
AT ITER 923 NEW BEST:: SOT 4430269 SOS 742695 HAS SOPS 742695 HAS SOUS 683702 HAS SOUPS 683702 WITH SCORE 684444.695
AT ITER 924 NEW BEST:: SOT 4430268 SOS 742386 HAS SOPS 742386 HAS SOUS 683700 HAS SOUPS 683700 WITH SCORE 684442.386
AT ITER 925 NEW BEST:: SOT 4430148 SOS 742386 HAS SOPS 742386 HAS SOUS 683640 HAS SOUPS 683640 WITH SCORE 684382.386
AT ITER 929 NEW BEST:: SOT 4429990 SOS 742306 HAS SOPS 742306 HAS SOUS 683482 HAS SOUPS 683482 WITH SCORE 684224.306
AT ITER 946 NEW BEST:: SOT 4429537 SOS 741910 HAS SOPS 741910 HAS SOUS 683047 HAS SOUPS 683047 WITH SCORE 683788.91
AT ITER 973 NEW BEST:: SOT 4428697 SOS 743926 HAS SOPS 743926 HAS SOUS 682802 HAS SOUPS 682802 WITH SCORE 683545.926
AT ITER 981 NEW BEST:: SOT 4428696 SOS 743924 HAS SOPS 743924 HAS SOUS 682800 HAS SOUPS 682800 WITH SCORE 683543.924
AT ITER 986 NEW BEST:: SOT 4423782 SOS 738928 HAS SOPS 738928 HAS SOUS 678057 HAS SOUPS 678057 WITH SCORE 678795.928
AT ITER 998 NEW BEST:: SOT 4423747 SOS 738923 HAS SOPS 738923 HAS SOUS 678022 HAS SOUPS 678022 WITH SCORE 678760.923
AT ITER 1015 NEW BEST:: SOT 4423708 SOS 738845 HAS SOPS 738845 HAS SOUS 677944 HAS SOUPS 677944 WITH SCORE 678682.845
AT ITER 1021 NEW BEST:: SOT 4422720 SOS 741225 HAS SOPS 741225 HAS SOUS 677666 HAS SOUPS 677666 WITH SCORE 678407.225
AT ITER 1060 NEW BEST:: SOT 4422553 SOS 741017 HAS SOPS 741017 HAS SOUS 677458 HAS SOUPS 677458 WITH SCORE 678199.017
AT ITER 1078 NEW BEST:: SOT 4422686 SOS 741283 HAS SOPS 741283 HAS SOUS 677343 HAS SOUPS 677343 WITH SCORE 678084.283
AT ITER 1089 NEW BEST:: SOT 4421851 SOS 740723 HAS SOPS 740723 HAS SOUS 676730 HAS SOUPS 676730 WITH SCORE 677470.723
AT ITER 1091 NEW BEST:: SOT 4421956 SOS 740933 HAS SOPS 740933 HAS SOUS 676665 HAS SOUPS 676665 WITH SCORE 677405.933
AT ITER 1114 NEW BEST:: SOT 4421878 SOS 740855 HAS SOPS 740855 HAS SOUS 676509 HAS SOUPS 676509 WITH SCORE 677249.855
AT ITER 1126 NEW BEST:: SOT 4414312 SOS 773164 HAS SOPS 773164 HAS SOUS 670508 HAS SOUPS 670508 WITH SCORE 671281.164
AT ITER 1132 NEW BEST:: SOT 4413910 SOS 772990 HAS SOPS 772990 HAS SOUS 670232 HAS SOUPS 670232 WITH SCORE 671004.99
AT ITER 1181 NEW BEST:: SOT 4414137 SOS 773003 HAS SOPS 773003 HAS SOUS 670048 HAS SOUPS 670048 WITH SCORE 670821.003
AT ITER 1189 NEW BEST:: SOT 4414012 SOS 772753 HAS SOPS 772753 HAS SOUS 669882 HAS SOUPS 669882 WITH SCORE 670654.753
AT ITER 1191 NEW BEST:: SOT 4414038 SOS 772363 HAS SOPS 772363 HAS SOUS 669713 HAS SOUPS 669713 WITH SCORE 670485.363
AT ITER 1192 NEW BEST:: SOT 4413833 SOS 771903 HAS SOPS 771903 HAS SOUS 669303 HAS SOUPS 669303 WITH SCORE 670074.903
AT ITER 1222 NEW BEST:: SOT 4413691 SOS 771761 HAS SOPS 771761 HAS SOUS 669161 HAS SOUPS 669161 WITH SCORE 669932.761
AT ITER 1240 NEW BEST:: SOT 4413620 SOS 771690 HAS SOPS 771690 HAS SOUS 669090 HAS SOUPS 669090 WITH SCORE 669861.69
AT ITER 1248 NEW BEST:: SOT 4403997 SOS 762734 HAS SOPS 762734 HAS SOUS 659709 HAS SOUPS 659709 WITH SCORE 660471.734
AT ITER 1259 NEW BEST:: SOT 4403896 SOS 762633 HAS SOPS 762633 HAS SOUS 659608 HAS SOUPS 659608 WITH SCORE 660370.633
AT ITER 1284 NEW BEST:: SOT 4403891 SOS 762623 HAS SOPS 762623 HAS SOUS 659598 HAS SOUPS 659598 WITH SCORE 660360.623
AT ITER 1297 NEW BEST:: SOT 4403261 SOS 762539 HAS SOPS 762539 HAS SOUS 658840 HAS SOUPS 658840 WITH SCORE 659602.539
AT ITER 1317 NEW BEST:: SOT 4403223 SOS 762759 HAS SOPS 762759 HAS SOUS 658827 HAS SOUPS 658827 WITH SCORE 659589.759
AT ITER 1327 NEW BEST:: SOT 4403198 SOS 762596 HAS SOPS 762596 HAS SOUS 658777 HAS SOUPS 658777 WITH SCORE 659539.596
AT ITER 1340 NEW BEST:: SOT 4403224 SOS 762925 HAS SOPS 762925 HAS SOUS 658735 HAS SOUPS 658735 WITH SCORE 659497.925
AT ITER 1346 NEW BEST:: SOT 4402977 SOS 762714 HAS SOPS 762714 HAS SOUS 658488 HAS SOUPS 658488 WITH SCORE 659250.714
AT ITER 1355 NEW BEST:: SOT 4402053 SOS 761944 HAS SOPS 761944 HAS SOUS 657718 HAS SOUPS 657718 WITH SCORE 658479.944
AT ITER 1362 NEW BEST:: SOT 4402028 SOS 761894 HAS SOPS 761894 HAS SOUS 657668 HAS SOUPS 657668 WITH SCORE 658429.894
AT ITER 1397 NEW BEST:: SOT 4402028 SOS 761716 HAS SOPS 761716 HAS SOUS 657664 HAS SOUPS 657664 WITH SCORE 658425.716
AT ITER 1468 NEW BEST:: SOT 4401828 SOS 761716 HAS SOPS 761716 HAS SOUS 657564 HAS SOUPS 657564 WITH SCORE 658325.716
AT ITER 1480 NEW BEST:: SOT 4401703 SOS 761466 HAS SOPS 761466 HAS SOUS 657314 HAS SOUPS 657314 WITH SCORE 658075.466
AT ITER 1485 NEW BEST:: SOT 4401511 SOS 761082 HAS SOPS 761082 HAS SOUS 656930 HAS SOUPS 656930 WITH SCORE 657691.082
AT ITER 1502 NEW BEST:: SOT 4401510 SOS 761081 HAS SOPS 761081 HAS SOUS 656928 HAS SOUPS 656928 WITH SCORE 657689.081
AT ITER 1511 NEW BEST:: SOT 4401509 SOS 761079 HAS SOPS 761079 HAS SOUS 656927 HAS SOUPS 656927 WITH SCORE 657688.079
AT ITER 1513 NEW BEST:: SOT 4401377 SOS 760630 HAS SOPS 760630 HAS SOUS 656610 HAS SOUPS 656610 WITH SCORE 657370.63
AT ITER 1533 NEW BEST:: SOT 4401364 SOS 760591 HAS SOPS 760591 HAS SOUS 656584 HAS SOUPS 656584 WITH SCORE 657344.591
AT ITER 1548 NEW BEST:: SOT 4401104 SOS 760591 HAS SOPS 760591 HAS SOUS 656454 HAS SOUPS 656454 WITH SCORE 657214.591
AT ITER 1575 NEW BEST:: SOT 4400892 SOS 760167 HAS SOPS 760167 HAS SOUS 656030 HAS SOUPS 656030 WITH SCORE 656790.167
AT ITER 1580 NEW BEST:: SOT 4400892 SOS 759857 HAS SOPS 759857 HAS SOUS 656030 HAS SOUPS 656030 WITH SCORE 656789.857
AT ITER 1581 NEW BEST:: SOT 4400764 SOS 759601 HAS SOPS 759601 HAS SOUS 655774 HAS SOUPS 655774 WITH SCORE 656533.601
AT ITER 1592 NEW BEST:: SOT 4400754 SOS 759581 HAS SOPS 759581 HAS SOUS 655754 HAS SOUPS 655754 WITH SCORE 656513.581
AT ITER 1607 NEW BEST:: SOT 4400754 SOS 759581 HAS SOPS 759581 HAS SOUS 655738 HAS SOUPS 655738 WITH SCORE 656497.581
AT ITER 1610 NEW BEST:: SOT 4400748 SOS 759577 HAS SOPS 759577 HAS SOUS 655732 HAS SOUPS 655732 WITH SCORE 656491.577
AT ITER 1625 NEW BEST:: SOT 4400554 SOS 758936 HAS SOPS 758936 HAS SOUS 655381 HAS SOUPS 655381 WITH SCORE 656139.936
AT ITER 1629 NEW BEST:: SOT 4396504 SOS 782676 HAS SOPS 782676 HAS SOUS 652210 HAS SOUPS 652210 WITH SCORE 652992.676
AT ITER 1641 NEW BEST:: SOT 4396284 SOS 782591 HAS SOPS 782591 HAS SOUS 652061 HAS SOUPS 652061 WITH SCORE 652843.591
AT ITER 1675 NEW BEST:: SOT 4396280 SOS 782583 HAS SOPS 782583 HAS SOUS 652057 HAS SOUPS 652057 WITH SCORE 652839.583
AT ITER 1678 NEW BEST:: SOT 4396175 SOS 782373 HAS SOPS 782373 HAS SOUS 651847 HAS SOUPS 651847 WITH SCORE 652629.373
AT ITER 1680 NEW BEST:: SOT 4396214 SOS 781957 HAS SOPS 781957 HAS SOUS 651658 HAS SOUPS 651658 WITH SCORE 652439.957
AT ITER 1687 NEW BEST:: SOT 4396038 SOS 781605 HAS SOPS 781605 HAS SOUS 651306 HAS SOUPS 651306 WITH SCORE 652087.605
AT ITER 1699 NEW BEST:: SOT 4396046 SOS 781605 HAS SOPS 781605 HAS SOUS 651240 HAS SOUPS 651240 WITH SCORE 652021.605
AT ITER 1710 NEW BEST:: SOT 4395610 SOS 781387 HAS SOPS 781387 HAS SOUS 650804 HAS SOUPS 650804 WITH SCORE 651585.387
AT ITER 1716 NEW BEST:: SOT 4395609 SOS 781278 HAS SOPS 781278 HAS SOUS 650748 HAS SOUPS 650748 WITH SCORE 651529.278
AT ITER 1784 NEW BEST:: SOT 4395582 SOS 781290 HAS SOPS 781290 HAS SOUS 650721 HAS SOUPS 650721 WITH SCORE 651502.29
AT ITER 1819 NEW BEST:: SOT 4395465 SOS 781056 HAS SOPS 781056 HAS SOUS 650487 HAS SOUPS 650487 WITH SCORE 651268.056
AT ITER 1849 NEW BEST:: SOT 4395285 SOS 742586 HAS SOPS 742586 HAS SOUS 649853 HAS SOUPS 649853 WITH SCORE 650595.586
AT ITER 1914 NEW BEST:: SOT 4395285 SOS 742283 HAS SOPS 742283 HAS SOUS 649853 HAS SOUPS 649853 WITH SCORE 650595.283
AT ITER 1924 NEW BEST:: SOT 4394897 SOS 741899 HAS SOPS 741899 HAS SOUS 649465 HAS SOUPS 649465 WITH SCORE 650206.899
AT ITER 1929 NEW BEST:: SOT 4394726 SOS 741557 HAS SOPS 741557 HAS SOUS 649123 HAS SOUPS 649123 WITH SCORE 649864.557
AT ITER 1934 NEW BEST:: SOT 4394726 SOS 741557 HAS SOPS 741557 HAS SOUS 649059 HAS SOUPS 649059 WITH SCORE 649800.557
AT ITER 1958 NEW BEST:: SOT 4394726 SOS 741509 HAS SOPS 741509 HAS SOUS 649011 HAS SOUPS 649011 WITH SCORE 649752.509
AT ITER 2005 NEW BEST:: SOT 4394622 SOS 741301 HAS SOPS 741301 HAS SOUS 648803 HAS SOUPS 648803 WITH SCORE 649544.301
AT ITER 2040 NEW BEST:: SOT 4394666 SOS 741062 HAS SOPS 741062 HAS SOUS 648564 HAS SOUPS 648564 WITH SCORE 649305.062
AT ITER 2061 NEW BEST:: SOT 4394666 SOS 741062 HAS SOPS 741062 HAS SOUS 648406 HAS SOUPS 648406 WITH SCORE 649147.062
AT ITER 2082 NEW BEST:: SOT 4394582 SOS 740894 HAS SOPS 740894 HAS SOUS 648280 HAS SOUPS 648280 WITH SCORE 649020.894
AT ITER 2097 NEW BEST:: SOT 4394621 SOS 740972 HAS SOPS 740972 HAS SOUS 648128 HAS SOUPS 648128 WITH SCORE 648868.972
AT ITER 2119 NEW BEST:: SOT 4394525 SOS 740780 HAS SOPS 740780 HAS SOUS 647936 HAS SOUPS 647936 WITH SCORE 648676.78
AT ITER 2134 NEW BEST:: SOT 4394021 SOS 740276 HAS SOPS 740276 HAS SOUS 647432 HAS SOUPS 647432 WITH SCORE 648172.276
AT ITER 2135 NEW BEST:: SOT 4393870 SOS 740125 HAS SOPS 740125 HAS SOUS 647281 HAS SOUPS 647281 WITH SCORE 648021.125
AT ITER 2216 NEW BEST:: SOT 4393660 SOS 740289 HAS SOPS 740289 HAS SOUS 647080 HAS SOUPS 647080 WITH SCORE 647820.289
AT ITER 2228 NEW BEST:: SOT 4393660 SOS 739795 HAS SOPS 739795 HAS SOUS 646833 HAS SOUPS 646833 WITH SCORE 647572.795
AT ITER 2231 NEW BEST:: SOT 4393659 SOS 739793 HAS SOPS 739793 HAS SOUS 646831 HAS SOUPS 646831 WITH SCORE 647570.793
AT ITER 2236 NEW BEST:: SOT 4393635 SOS 739697 HAS SOPS 739697 HAS SOUS 646759 HAS SOUPS 646759 WITH SCORE 647498.697
AT ITER 2244 NEW BEST:: SOT 4393634 SOS 739695 HAS SOPS 739695 HAS SOUS 646757 HAS SOUPS 646757 WITH SCORE 647496.695
AT ITER 2264 NEW BEST:: SOT 4393598 SOS 739659 HAS SOPS 739659 HAS SOUS 646721 HAS SOUPS 646721 WITH SCORE 647460.659
AT ITER 2283 NEW BEST:: SOT 4393413 SOS 739162 HAS SOPS 739162 HAS SOUS 646545 HAS SOUPS 646545 WITH SCORE 647284.162
AT ITER 2290 NEW BEST:: SOT 4393412 SOS 739160 HAS SOPS 739160 HAS SOUS 646543 HAS SOUPS 646543 WITH SCORE 647282.16
AT ITER 2305 NEW BEST:: SOT 4393271 SOS 739160 HAS SOPS 739160 HAS SOUS 646402 HAS SOUPS 646402 WITH SCORE 647141.16
AT ITER 2311 NEW BEST:: SOT 4393271 SOS 739045 HAS SOPS 739045 HAS SOUS 646287 HAS SOUPS 646287 WITH SCORE 647026.045
AT ITER 2325 NEW BEST:: SOT 4393037 SOS 738811 HAS SOPS 738811 HAS SOUS 646053 HAS SOUPS 646053 WITH SCORE 646791.811
AT ITER 2337 NEW BEST:: SOT 4393036 SOS 738809 HAS SOPS 738809 HAS SOUS 646051 HAS SOUPS 646051 WITH SCORE 646789.809
AT ITER 2343 NEW BEST:: SOT 4393070 SOS 737639 HAS SOPS 737639 HAS SOUS 645826 HAS SOUPS 645826 WITH SCORE 646563.639
AT ITER 2373 NEW BEST:: SOT 4392709 SOS 737472 HAS SOPS 737472 HAS SOUS 645658 HAS SOUPS 645658 WITH SCORE 646395.472
AT ITER 2376 NEW BEST:: SOT 4393100 SOS 737656 HAS SOPS 737656 HAS SOUS 645593 HAS SOUPS 645593 WITH SCORE 646330.656
AT ITER 2379 NEW BEST:: SOT 4393055 SOS 737656 HAS SOPS 737656 HAS SOUS 645548 HAS SOUPS 645548 WITH SCORE 646285.656
AT ITER 2382 NEW BEST:: SOT 4392852 SOS 737250 HAS SOPS 737250 HAS SOUS 645142 HAS SOUPS 645142 WITH SCORE 645879.25
AT ITER 2423 NEW BEST:: SOT 4392708 SOS 737137 HAS SOPS 737137 HAS SOUS 645029 HAS SOUPS 645029 WITH SCORE 645766.137
AT ITER 2433 NEW BEST:: SOT 4392797 SOS 737071 HAS SOPS 737071 HAS SOUS 644963 HAS SOUPS 644963 WITH SCORE 645700.071
AT ITER 2450 NEW BEST:: SOT 4392797 SOS 736998 HAS SOPS 736998 HAS SOUS 644963 HAS SOUPS 644963 WITH SCORE 645699.998
AT ITER 2463 NEW BEST:: SOT 4392563 SOS 737031 HAS SOPS 737031 HAS SOUS 644942 HAS SOUPS 644942 WITH SCORE 645679.031
AT ITER 2471 NEW BEST:: SOT 4392545 SOS 736995 HAS SOPS 736995 HAS SOUS 644924 HAS SOUPS 644924 WITH SCORE 645660.995
AT ITER 2513 NEW BEST:: SOT 4392518 SOS 736941 HAS SOPS 736941 HAS SOUS 644759 HAS SOUPS 644759 WITH SCORE 645495.941
AT ITER 2517 NEW BEST:: SOT 4392251 SOS 736407 HAS SOPS 736407 HAS SOUS 644225 HAS SOUPS 644225 WITH SCORE 644961.407
AT ITER 2518 NEW BEST:: SOT 4392245 SOS 736401 HAS SOPS 736401 HAS SOUS 644219 HAS SOUPS 644219 WITH SCORE 644955.401
AT ITER 2535 NEW BEST:: SOT 4391966 SOS 736215 HAS SOPS 736215 HAS SOUS 644033 HAS SOUPS 644033 WITH SCORE 644769.215
AT ITER 2540 NEW BEST:: SOT 4391650 SOS 736303 HAS SOPS 736303 HAS SOUS 643798 HAS SOUPS 643798 WITH SCORE 644534.303
AT ITER 2599 NEW BEST:: SOT 4391640 SOS 736375 HAS SOPS 736375 HAS SOUS 643696 HAS SOUPS 643696 WITH SCORE 644432.375
AT ITER 2619 NEW BEST:: SOT 4391366 SOS 735827 HAS SOPS 735827 HAS SOUS 643148 HAS SOUPS 643148 WITH SCORE 643883.827
AT ITER 2666 NEW BEST:: SOT 4391243 SOS 735581 HAS SOPS 735581 HAS SOUS 642914 HAS SOUPS 642914 WITH SCORE 643649.581
AT ITER 2668 NEW BEST:: SOT 4391243 SOS 735581 HAS SOPS 735581 HAS SOUS 642701 HAS SOUPS 642701 WITH SCORE 643436.581
AT ITER 2723 NEW BEST:: SOT 4391246 SOS 735486 HAS SOPS 735486 HAS SOUS 642701 HAS SOUPS 642701 WITH SCORE 643436.486
AT ITER 2733 NEW BEST:: SOT 4391216 SOS 735426 HAS SOPS 735426 HAS SOUS 642670 HAS SOUPS 642670 WITH SCORE 643405.426
AT ITER 2737 NEW BEST:: SOT 4391123 SOS 735240 HAS SOPS 735240 HAS SOUS 642484 HAS SOUPS 642484 WITH SCORE 643219.24
AT ITER 2739 NEW BEST:: SOT 4390857 SOS 734708 HAS SOPS 734708 HAS SOUS 641952 HAS SOUPS 641952 WITH SCORE 642686.708
AT ITER 2773 NEW BEST:: SOT 4390737 SOS 734468 HAS SOPS 734468 HAS SOUS 641712 HAS SOUPS 641712 WITH SCORE 642446.468
AT ITER 2774 NEW BEST:: SOT 4390538 SOS 733908 HAS SOPS 733908 HAS SOUS 641314 HAS SOUPS 641314 WITH SCORE 642047.908
AT ITER 2780 NEW BEST:: SOT 4390538 SOS 733757 HAS SOPS 733757 HAS SOUS 641163 HAS SOUPS 641163 WITH SCORE 641896.757
AT ITER 2784 NEW BEST:: SOT 4390321 SOS 733553 HAS SOPS 733553 HAS SOUS 640954 HAS SOUPS 640954 WITH SCORE 641687.553
AT ITER 2786 NEW BEST:: SOT 4389861 SOS 732633 HAS SOPS 732633 HAS SOUS 640710 HAS SOUPS 640710 WITH SCORE 641442.633
AT ITER 2827 NEW BEST:: SOT 4389861 SOS 732633 HAS SOPS 732633 HAS SOUS 640695 HAS SOUPS 640695 WITH SCORE 641427.633
AT ITER 2828 NEW BEST:: SOT 4389976 SOS 732863 HAS SOPS 732863 HAS SOUS 640649 HAS SOUPS 640649 WITH SCORE 641381.863
AT ITER 2836 NEW BEST:: SOT 4389976 SOS 732822 HAS SOPS 732822 HAS SOUS 640649 HAS SOUPS 640649 WITH SCORE 641381.822
AT ITER 2850 NEW BEST:: SOT 4389812 SOS 732494 HAS SOPS 732494 HAS SOUS 640483 HAS SOUPS 640483 WITH SCORE 641215.494
AT ITER 2865 NEW BEST:: SOT 4389756 SOS 732438 HAS SOPS 732438 HAS SOUS 640427 HAS SOUPS 640427 WITH SCORE 641159.438
AT ITER 2866 NEW BEST:: SOT 4389685 SOS 732296 HAS SOPS 732296 HAS SOUS 640088 HAS SOUPS 640088 WITH SCORE 640820.296
AT ITER 2895 NEW BEST:: SOT 4389651 SOS 732228 HAS SOPS 732228 HAS SOUS 640020 HAS SOUPS 640020 WITH SCORE 640752.228
AT ITER 2901 NEW BEST:: SOT 4389431 SOS 732250 HAS SOPS 732250 HAS SOUS 639661 HAS SOUPS 639661 WITH SCORE 640393.25
AT ITER 2909 NEW BEST:: SOT 4389309 SOS 732006 HAS SOPS 732006 HAS SOUS 639601 HAS SOUPS 639601 WITH SCORE 640333.006
AT ITER 2921 NEW BEST:: SOT 4389308 SOS 731994 HAS SOPS 731994 HAS SOUS 639599 HAS SOUPS 639599 WITH SCORE 640330.994
AT ITER 2951 NEW BEST:: SOT 4389109 SOS 731795 HAS SOPS 731795 HAS SOUS 639399 HAS SOUPS 639399 WITH SCORE 640130.795
AT ITER 2979 NEW BEST:: SOT 4389078 SOS 731733 HAS SOPS 731733 HAS SOUS 639337 HAS SOUPS 639337 WITH SCORE 640068.733
AT ITER 3013 NEW BEST:: SOT 4388996 SOS 731569 HAS SOPS 731569 HAS SOUS 639173 HAS SOUPS 639173 WITH SCORE 639904.569
AT ITER 3028 NEW BEST:: SOT 4388996 SOS 731489 HAS SOPS 731489 HAS SOUS 639093 HAS SOUPS 639093 WITH SCORE 639824.489
AT ITER 3088 NEW BEST:: SOT 4388969 SOS 731435 HAS SOPS 731435 HAS SOUS 639039 HAS SOUPS 639039 WITH SCORE 639770.435
AT ITER 3093 NEW BEST:: SOT 4388968 SOS 731194 HAS SOPS 731194 HAS SOUS 639037 HAS SOUPS 639037 WITH SCORE 639768.194
AT ITER 3103 NEW BEST:: SOT 4388860 SOS 731141 HAS SOPS 731141 HAS SOUS 638957 HAS SOUPS 638957 WITH SCORE 639688.141
AT ITER 3115 NEW BEST:: SOT 4388693 SOS 731069 HAS SOPS 731069 HAS SOUS 638828 HAS SOUPS 638828 WITH SCORE 639559.069
AT ITER 3147 NEW BEST:: SOT 4388899 SOS 731481 HAS SOPS 731481 HAS SOUS 638763 HAS SOUPS 638763 WITH SCORE 639494.481
AT ITER 3150 NEW BEST:: SOT 4388901 SOS 731562 HAS SOPS 731562 HAS SOUS 638690 HAS SOUPS 638690 WITH SCORE 639421.562
AT ITER 3192 NEW BEST:: SOT 4388845 SOS 731450 HAS SOPS 731450 HAS SOUS 638634 HAS SOUPS 638634 WITH SCORE 639365.45
AT ITER 3193 NEW BEST:: SOT 4388703 SOS 731562 HAS SOPS 731562 HAS SOUS 638625 HAS SOUPS 638625 WITH SCORE 639356.562
AT ITER 3220 NEW BEST:: SOT 4387305 SOS 731497 HAS SOPS 731497 HAS SOUS 637356 HAS SOUPS 637356 WITH SCORE 638087.497
AT ITER 3235 NEW BEST:: SOT 4387305 SOS 731476 HAS SOPS 731476 HAS SOUS 637335 HAS SOUPS 637335 WITH SCORE 638066.476
AT ITER 3237 NEW BEST:: SOT 4387305 SOS 731168 HAS SOPS 731168 HAS SOUS 637335 HAS SOUPS 637335 WITH SCORE 638066.168
AT ITER 3287 NEW BEST:: SOT 4387305 SOS 731151 HAS SOPS 731151 HAS SOUS 637335 HAS SOUPS 637335 WITH SCORE 638066.151
AT ITER 3305 NEW BEST:: SOT 4387082 SOS 731171 HAS SOPS 731171 HAS SOUS 636970 HAS SOUPS 636970 WITH SCORE 637701.171
AT ITER 3337 NEW BEST:: SOT 4387076 SOS 731159 HAS SOPS 731159 HAS SOUS 636964 HAS SOUPS 636964 WITH SCORE 637695.159
AT ITER 3340 NEW BEST:: SOT 4386856 SOS 730995 HAS SOPS 730995 HAS SOUS 636882 HAS SOUPS 636882 WITH SCORE 637612.995
AT ITER 3354 NEW BEST:: SOT 4386760 SOS 730803 HAS SOPS 730803 HAS SOUS 636690 HAS SOUPS 636690 WITH SCORE 637420.803
AT ITER 3356 NEW BEST:: SOT 4386760 SOS 730555 HAS SOPS 730555 HAS SOUS 636690 HAS SOUPS 636690 WITH SCORE 637420.555
AT ITER 3361 NEW BEST:: SOT 4386840 SOS 730715 HAS SOPS 730715 HAS SOUS 636658 HAS SOUPS 636658 WITH SCORE 637388.715
AT ITER 3368 NEW BEST:: SOT 4386772 SOS 730579 HAS SOPS 730579 HAS SOUS 636522 HAS SOUPS 636522 WITH SCORE 637252.579
AT ITER 3376 NEW BEST:: SOT 4386450 SOS 730249 HAS SOPS 730249 HAS SOUS 636137 HAS SOUPS 636137 WITH SCORE 636867.249
AT ITER 3380 NEW BEST:: SOT 4386380 SOS 730109 HAS SOPS 730109 HAS SOUS 635997 HAS SOUPS 635997 WITH SCORE 636727.109
AT ITER 3449 NEW BEST:: SOT 4386369 SOS 730087 HAS SOPS 730087 HAS SOUS 635975 HAS SOUPS 635975 WITH SCORE 636705.087
AT ITER 3451 NEW BEST:: SOT 4386142 SOS 729633 HAS SOPS 729633 HAS SOUS 635521 HAS SOUPS 635521 WITH SCORE 636250.633
AT ITER 3454 NEW BEST:: SOT 4386116 SOS 729607 HAS SOPS 729607 HAS SOUS 635495 HAS SOUPS 635495 WITH SCORE 636224.607
AT ITER 3464 NEW BEST:: SOT 4386245 SOS 729523 HAS SOPS 729523 HAS SOUS 635440 HAS SOUPS 635440 WITH SCORE 636169.523
AT ITER 3502 NEW BEST:: SOT 4386245 SOS 729462 HAS SOPS 729462 HAS SOUS 635440 HAS SOUPS 635440 WITH SCORE 636169.462
AT ITER 3533 NEW BEST:: SOT 4386139 SOS 729450 HAS SOPS 729450 HAS SOUS 635367 HAS SOUPS 635367 WITH SCORE 636096.45
AT ITER 3547 NEW BEST:: SOT 4386030 SOS 729934 HAS SOPS 729934 HAS SOUS 635338 HAS SOUPS 635338 WITH SCORE 636067.934
AT ITER 3635 NEW BEST:: SOT 4385530 SOS 729305 HAS SOPS 729305 HAS SOUS 634625 HAS SOUPS 634625 WITH SCORE 635354.305
AT ITER 3667 NEW BEST:: SOT 4385255 SOS 728755 HAS SOPS 728755 HAS SOUS 634075 HAS SOUPS 634075 WITH SCORE 634803.755
AT ITER 3675 NEW BEST:: SOT 4385225 SOS 728695 HAS SOPS 728695 HAS SOUS 634015 HAS SOUPS 634015 WITH SCORE 634743.695
AT ITER 3689 NEW BEST:: SOT 4385225 SOS 728695 HAS SOPS 728695 HAS SOUS 633762 HAS SOUPS 633762 WITH SCORE 634490.695
AT ITER 3700 NEW BEST:: SOT 4385192 SOS 728596 HAS SOPS 728596 HAS SOUS 633696 HAS SOUPS 633696 WITH SCORE 634424.596
AT ITER 3714 NEW BEST:: SOT 4385098 SOS 728502 HAS SOPS 728502 HAS SOUS 633602 HAS SOUPS 633602 WITH SCORE 634330.502
AT ITER 3733 NEW BEST:: SOT 4385175 SOS 728274 HAS SOPS 728274 HAS SOUS 633451 HAS SOUPS 633451 WITH SCORE 634179.274
AT ITER 3757 NEW BEST:: SOT 4384970 SOS 728216 HAS SOPS 728216 HAS SOUS 633319 HAS SOUPS 633319 WITH SCORE 634047.216
AT ITER 3768 NEW BEST:: SOT 4384970 SOS 728216 HAS SOPS 728216 HAS SOUS 632990 HAS SOUPS 632990 WITH SCORE 633718.216
AT ITER 3791 NEW BEST:: SOT 4384624 SOS 727990 HAS SOPS 727990 HAS SOUS 632687 HAS SOUPS 632687 WITH SCORE 633414.99
AT ITER 3841 NEW BEST:: SOT 4383988 SOS 727990 HAS SOPS 727990 HAS SOUS 632051 HAS SOUPS 632051 WITH SCORE 632778.99
AT ITER 3848 NEW BEST:: SOT 4383884 SOS 727990 HAS SOPS 727990 HAS SOUS 631947 HAS SOUPS 631947 WITH SCORE 632674.99
AT ITER 3930 NEW BEST:: SOT 4383776 SOS 727774 HAS SOPS 727774 HAS SOUS 631838 HAS SOUPS 631838 WITH SCORE 632565.774
AT ITER 3936 NEW BEST:: SOT 4383811 SOS 727844 HAS SOPS 727844 HAS SOUS 631556 HAS SOUPS 631556 WITH SCORE 632283.844
AT ITER 3945 NEW BEST:: SOT 4383735 SOS 727692 HAS SOPS 727692 HAS SOUS 631233 HAS SOUPS 631233 WITH SCORE 631960.692
AT ITER 3950 NEW BEST:: SOT 4383735 SOS 727532 HAS SOPS 727532 HAS SOUS 631153 HAS SOUPS 631153 WITH SCORE 631880.532
AT ITER 3968 NEW BEST:: SOT 4383735 SOS 727352 HAS SOPS 727352 HAS SOUS 631153 HAS SOUPS 631153 WITH SCORE 631880.352
AT ITER 3972 NEW BEST:: SOT 4383709 SOS 727300 HAS SOPS 727300 HAS SOUS 631101 HAS SOUPS 631101 WITH SCORE 631828.3
AT ITER 4043 NEW BEST:: SOT 4383431 SOS 727300 HAS SOPS 727300 HAS SOUS 630823 HAS SOUPS 630823 WITH SCORE 631550.3
AT ITER 4057 NEW BEST:: SOT 4383428 SOS 727294 HAS SOPS 727294 HAS SOUS 630715 HAS SOUPS 630715 WITH SCORE 631442.294
AT ITER 4063 NEW BEST:: SOT 4382689 SOS 745416 HAS SOPS 745416 HAS SOUS 630366 HAS SOUPS 630366 WITH SCORE 631111.416
AT ITER 4086 NEW BEST:: SOT 4382587 SOS 745473 HAS SOPS 745473 HAS SOUS 630332 HAS SOUPS 630332 WITH SCORE 631077.473
AT ITER 4091 NEW BEST:: SOT 4382555 SOS 745441 HAS SOPS 745441 HAS SOUS 630300 HAS SOUPS 630300 WITH SCORE 631045.441
AT ITER 4127 NEW BEST:: SOT 4382506 SOS 745236 HAS SOPS 745236 HAS SOUS 630202 HAS SOUPS 630202 WITH SCORE 630947.236
AT ITER 4139 NEW BEST:: SOT 4382426 SOS 745156 HAS SOPS 745156 HAS SOUS 630122 HAS SOUPS 630122 WITH SCORE 630867.156
AT ITER 4150 NEW BEST:: SOT 4382435 SOS 745174 HAS SOPS 745174 HAS SOUS 630005 HAS SOUPS 630005 WITH SCORE 630750.174
AT ITER 4156 NEW BEST:: SOT 4382516 SOS 745054 HAS SOPS 745054 HAS SOUS 629885 HAS SOUPS 629885 WITH SCORE 630630.054
AT ITER 4163 NEW BEST:: SOT 4382572 SOS 745166 HAS SOPS 745166 HAS SOUS 629730 HAS SOUPS 629730 WITH SCORE 630475.166
AT ITER 4194 NEW BEST:: SOT 4382571 SOS 745058 HAS SOPS 745058 HAS SOUS 629728 HAS SOUPS 629728 WITH SCORE 630473.058
AT ITER 4211 NEW BEST:: SOT 4382477 SOS 744870 HAS SOPS 744870 HAS SOUS 629540 HAS SOUPS 629540 WITH SCORE 630284.87
AT ITER 4223 NEW BEST:: SOT 4382375 SOS 744956 HAS SOPS 744956 HAS SOUS 629348 HAS SOUPS 629348 WITH SCORE 630092.956
AT ITER 4224 NEW BEST:: SOT 4382375 SOS 744720 HAS SOPS 744720 HAS SOUS 629348 HAS SOUPS 629348 WITH SCORE 630092.72
AT ITER 4226 NEW BEST:: SOT 4382340 SOS 744685 HAS SOPS 744685 HAS SOUS 629313 HAS SOUPS 629313 WITH SCORE 630057.685
AT ITER 4237 NEW BEST:: SOT 4381956 SOS 744952 HAS SOPS 744952 HAS SOUS 629134 HAS SOUPS 629134 WITH SCORE 629878.952
AT ITER 4264 NEW BEST:: SOT 4381918 SOS 744815 HAS SOPS 744815 HAS SOUS 629058 HAS SOUPS 629058 WITH SCORE 629802.815
AT ITER 4272 NEW BEST:: SOT 4381891 SOS 744788 HAS SOPS 744788 HAS SOUS 629031 HAS SOUPS 629031 WITH SCORE 629775.788
AT ITER 4273 NEW BEST:: SOT 4381831 SOS 744608 HAS SOPS 744608 HAS SOUS 628911 HAS SOUPS 628911 WITH SCORE 629655.608
AT ITER 4283 NEW BEST:: SOT 4381611 SOS 744168 HAS SOPS 744168 HAS SOUS 628822 HAS SOUPS 628822 WITH SCORE 629566.168
AT ITER 4289 NEW BEST:: SOT 4381605 SOS 744156 HAS SOPS 744156 HAS SOUS 628816 HAS SOUPS 628816 WITH SCORE 629560.156
AT ITER 4323 NEW BEST:: SOT 4381604 SOS 744154 HAS SOPS 744154 HAS SOUS 628814 HAS SOUPS 628814 WITH SCORE 629558.154
AT ITER 4346 NEW BEST:: SOT 4381423 SOS 743792 HAS SOPS 743792 HAS SOUS 628571 HAS SOUPS 628571 WITH SCORE 629314.792
AT ITER 4372 NEW BEST:: SOT 4381405 SOS 743654 HAS SOPS 743654 HAS SOUS 628510 HAS SOUPS 628510 WITH SCORE 629253.654
AT ITER 4379 NEW BEST:: SOT 4381382 SOS 743608 HAS SOPS 743608 HAS SOUS 628487 HAS SOUPS 628487 WITH SCORE 629230.608
AT ITER 4392 NEW BEST:: SOT 4381358 SOS 743560 HAS SOPS 743560 HAS SOUS 628463 HAS SOUPS 628463 WITH SCORE 629206.56
AT ITER 4422 NEW BEST:: SOT 4381382 SOS 743430 HAS SOPS 743430 HAS SOUS 628333 HAS SOUPS 628333 WITH SCORE 629076.43
AT ITER 4476 NEW BEST:: SOT 4381105 SOS 743092 HAS SOPS 743092 HAS SOUS 627918 HAS SOUPS 627918 WITH SCORE 628661.092
AT ITER 4535 NEW BEST:: SOT 4380917 SOS 743017 HAS SOPS 743017 HAS SOUS 627787 HAS SOUPS 627787 WITH SCORE 628530.017
AT ITER 4538 NEW BEST:: SOT 4380975 SOS 742861 HAS SOPS 742861 HAS SOUS 627633 HAS SOUPS 627633 WITH SCORE 628375.861
AT ITER 4547 NEW BEST:: SOT 4380863 SOS 744013 HAS SOPS 744013 HAS SOUS 627621 HAS SOUPS 627621 WITH SCORE 628365.013
AT ITER 4555 NEW BEST:: SOT 4380767 SOS 743821 HAS SOPS 743821 HAS SOUS 627401 HAS SOUPS 627401 WITH SCORE 628144.821
AT ITER 4558 NEW BEST:: SOT 4380564 SOS 743719 HAS SOPS 743719 HAS SOUS 627198 HAS SOUPS 627198 WITH SCORE 627941.719
AT ITER 4566 NEW BEST:: SOT 4380539 SOS 743345 HAS SOPS 743345 HAS SOUS 627145 HAS SOUPS 627145 WITH SCORE 627888.345
AT ITER 4577 NEW BEST:: SOT 4380283 SOS 742833 HAS SOPS 742833 HAS SOUS 626633 HAS SOUPS 626633 WITH SCORE 627375.833
AT ITER 4578 NEW BEST:: SOT 4380280 SOS 742827 HAS SOPS 742827 HAS SOUS 626627 HAS SOUPS 626627 WITH SCORE 627369.827
AT ITER 4619 NEW BEST:: SOT 4378692 SOS 751663 HAS SOPS 751663 HAS SOUS 625325 HAS SOUPS 625325 WITH SCORE 626076.663
AT ITER 4631 NEW BEST:: SOT 4378573 SOS 751425 HAS SOPS 751425 HAS SOUS 625087 HAS SOUPS 625087 WITH SCORE 625838.425
AT ITER 4636 NEW BEST:: SOT 4378573 SOS 751025 HAS SOPS 751025 HAS SOUS 625087 HAS SOUPS 625087 WITH SCORE 625838.025
AT ITER 4658 NEW BEST:: SOT 4378716 SOS 743905 HAS SOPS 743905 HAS SOUS 625024 HAS SOUPS 625024 WITH SCORE 625767.905
AT ITER 4702 NEW BEST:: SOT 4378545 SOS 743227 HAS SOPS 743227 HAS SOUS 624569 HAS SOUPS 624569 WITH SCORE 625312.227
AT ITER 4720 NEW BEST:: SOT 4378545 SOS 743008 HAS SOPS 743008 HAS SOUS 624350 HAS SOUPS 624350 WITH SCORE 625093.008
AT ITER 4724 NEW BEST:: SOT 4378467 SOS 743089 HAS SOPS 743089 HAS SOUS 624272 HAS SOUPS 624272 WITH SCORE 625015.089
AT ITER 4735 NEW BEST:: SOT 4378462 SOS 743079 HAS SOPS 743079 HAS SOUS 624124 HAS SOUPS 624124 WITH SCORE 624867.079
AT ITER 4753 NEW BEST:: SOT 4378365 SOS 742885 HAS SOPS 742885 HAS SOUS 624027 HAS SOUPS 624027 WITH SCORE 624769.885
AT ITER 4768 NEW BEST:: SOT 4378461 SOS 742502 HAS SOPS 742502 HAS SOUS 623830 HAS SOUPS 623830 WITH SCORE 624572.502
AT ITER 4778 NEW BEST:: SOT 4378461 SOS 742502 HAS SOPS 742502 HAS SOUS 623813 HAS SOUPS 623813 WITH SCORE 624555.502
AT ITER 4793 NEW BEST:: SOT 4378404 SOS 742252 HAS SOPS 742252 HAS SOUS 623756 HAS SOUPS 623756 WITH SCORE 624498.252
AT ITER 4857 NEW BEST:: SOT 4378404 SOS 742064 HAS SOPS 742064 HAS SOUS 623756 HAS SOUPS 623756 WITH SCORE 624498.064
AT ITER 4860 NEW BEST:: SOT 4378301 SOS 742185 HAS SOPS 742185 HAS SOUS 623653 HAS SOUPS 623653 WITH SCORE 624395.185
AT ITER 4871 NEW BEST:: SOT 4378301 SOS 742185 HAS SOPS 742185 HAS SOUS 623536 HAS SOUPS 623536 WITH SCORE 624278.185
AT ITER 4879 NEW BEST:: SOT 4378259 SOS 742059 HAS SOPS 742059 HAS SOUS 623452 HAS SOUPS 623452 WITH SCORE 624194.059
AT ITER 4892 NEW BEST:: SOT 4378258 SOS 742021 HAS SOPS 742021 HAS SOUS 623449 HAS SOUPS 623449 WITH SCORE 624191.021
AT ITER 4895 NEW BEST:: SOT 4378204 SOS 741913 HAS SOPS 741913 HAS SOUS 623395 HAS SOUPS 623395 WITH SCORE 624136.913
AT ITER 4954 NEW BEST:: SOT 4378128 SOS 741761 HAS SOPS 741761 HAS SOUS 623319 HAS SOUPS 623319 WITH SCORE 624060.761
AT ITER 4958 NEW BEST:: SOT 4378127 SOS 741759 HAS SOPS 741759 HAS SOUS 623317 HAS SOUPS 623317 WITH SCORE 624058.759
AT ITER 4961 NEW BEST:: SOT 4378126 SOS 741757 HAS SOPS 741757 HAS SOUS 623315 HAS SOUPS 623315 WITH SCORE 624056.757
AT ITER 4966 NEW BEST:: SOT 4377920 SOS 741345 HAS SOPS 741345 HAS SOUS 623116 HAS SOUPS 623116 WITH SCORE 623857.345
AT ITER 4984 NEW BEST:: SOT 4377820 SOS 741245 HAS SOPS 741245 HAS SOUS 623016 HAS SOUPS 623016 WITH SCORE 623757.245
Bounds file is: CTLFireability.xml
PROPERTY: CloudReconfiguration-PT-309-CTLFireability-00 ( ( ( ((potential((tk(P342)>=1)))) & (EF( ( ((potential((tk(P389)>=1)))) | ((potential((tk(P133)>=1)))) ))) ) & (! ( (AX( ((potential((tk(P948)>=1)))))) | (EF( ((potential((tk(P212)>=1)))))) )) ) | (EG( (EF( ((potential((tk(P233)>=1)))))))) )
PROPERTY: CloudReconfiguration-PT-309-CTLFireability-01 (AF( (EG( (EG( ((potential((tk(P818)>=1))))))))))
PROPERTY: CloudReconfiguration-PT-309-CTLFireability-02 (! ( (AG( (! ( ((potential((tk(P208)>=1)))) & ((potential((tk(P220)>=1)))) )))) & (EX( ( (! ((potential((tk(P838)>=1))))) & (! ((potential((tk(P1815)>=1))))) ))) ))
PROPERTY: CloudReconfiguration-PT-309-CTLFireability-03 (AX( ( (EG( (! ((potential((tk(P569)>=1))))))) & ( (EF( ((potential((tk(P2144)>=1)))))) | ( ( ((potential((tk(P1466)>=1)))) | ((potential((tk(P1822)>=1)))) ) | ( ((potential((tk(P614)>=1)))) | ((potential((tk(P2444)>=1)))) ) ) ) )))
PROPERTY: CloudReconfiguration-PT-309-CTLFireability-04 (EF( ( ( ( ( ((potential((tk(P1110)>=1)))) | ((potential((tk(P2124)>=1)))) ) | ((potential((tk(P1862)>=1)))) ) & ( ((potential((tk(P1469)>=1)))) | ( ((potential((tk(P1061)>=1)))) & ((potential((tk(P1604)>=1)))) ) ) ) & (AG( ( ((potential((tk(P1276)>=1)))) & ((potential((tk(P2135)>=1)))) ))) )))
PROPERTY: CloudReconfiguration-PT-309-CTLFireability-05 ( (EF( (AU( ((potential((tk(P50)>=1)))) , ((potential((tk(P2381)>=1)))) )))) | (EX( ( (EG( ((potential((tk(P2440)>=1)))))) & (EG( ((potential((tk(P1386)>=1)))))) ))) )
PROPERTY: CloudReconfiguration-PT-309-CTLFireability-06 ( (AF( ( ((potential((tk(P685)>=1)))) | ( ( ((potential((tk(P2013)>=1)))) & ((potential((tk(P2420)>=1)))) ) | ( ((potential((tk(P2444)>=1)))) | ((potential((tk(P69)>=1)))) ) ) ))) & (! ((potential((tk(P327)>=1))))) )
PROPERTY: CloudReconfiguration-PT-309-CTLFireability-07 (EU( (! (AX( ((potential((tk(P573)>=1) & (tk(P1873)>=1))))))) , (! (! ( ((potential((tk(P1980)>=1)))) & ((potential((tk(P1596)>=1)))) ))) ))
PROPERTY: CloudReconfiguration-PT-309-CTLFireability-08 (EU( (! (! (! ((potential((tk(P1386)>=1))))))) , (EF( ( ((potential((tk(P1073)>=1)))) & ((potential((tk(P1364)>=1)))) ))) ))
PROPERTY: CloudReconfiguration-PT-309-CTLFireability-09 (EU( (EF( ((potential((tk(P573)>=1) & (tk(P1809)>=1)))))) , (EX( ( ((potential((tk(P1004)>=1)))) & ((potential((tk(P2497)>=1)))) ))) ))
PROPERTY: CloudReconfiguration-PT-309-CTLFireability-10 (! (AF( (AF( ( ((potential((tk(P1770)>=1)))) | ((potential((tk(P17)>=1)))) ))))))
PROPERTY: CloudReconfiguration-PT-309-CTLFireability-11 ( ( ( (AF( ((potential((tk(P714)>=1)))))) & (EG( (! ((potential((tk(P340)>=1))))))) ) | ((potential((tk(P706)>=1)))) ) | ((potential((tk(P1962)>=1)))) )
PROPERTY: CloudReconfiguration-PT-309-CTLFireability-12 ( ((potential((tk(P1511)>=1)))) | ( ( ((potential((tk(P250)>=1)))) & ((potential((tk(P228)>=1)))) ) | (EF( (EX( ((potential((tk(P211)>=1)))))))) ) )
PROPERTY: CloudReconfiguration-PT-309-CTLFireability-13 (EG( ( (AG( ( ((potential((tk(P142)>=1)))) | ((potential((tk(P1231)>=1)))) ))) | (! ((potential((tk(P983)>=1))))) )))
PROPERTY: CloudReconfiguration-PT-309-CTLFireability-14 ( ( ((potential((tk(P50)>=1)))) | (! ( (AX( ((potential((tk(P2282)>=1)))))) & ( ( ((potential((tk(P520)>=1)))) | ((potential((tk(P346)>=1)))) ) & (! ((potential((tk(P2567)>=1))))) ) )) ) & (AF( ( ( (! ((potential((tk(P725)>=1))))) & ( ((potential((tk(P896)>=1)))) | ((potential((tk(P573)>=1) & (tk(P1648)>=1)))) ) ) | ((potential((tk(P169)>=1)))) ))) )
PROPERTY: CloudReconfiguration-PT-309-CTLFireability-15 (AG( (! (! (AF( ((potential((tk(P468)>=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-309"
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-309, 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-158902541700068"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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