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

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

=== Now, execution of the tool begins

BK_START 1589095450188

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 312
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 4443289 SOS 758943 HAS SOPS 758943 HAS SOUS 699965 HAS SOUPS 699965 WITH SCORE 700723.943
AT ITER 14 NEW BEST:: SOT 4443328 SOS 758913 HAS SOPS 758913 HAS SOUS 699935 HAS SOUPS 699935 WITH SCORE 700693.913
AT ITER 50 NEW BEST:: SOT 4439937 SOS 825925 HAS SOPS 825925 HAS SOUS 699614 HAS SOUPS 699614 WITH SCORE 700439.925
AT ITER 63 NEW BEST:: SOT 4439937 SOS 825389 HAS SOPS 825389 HAS SOUS 699614 HAS SOUPS 699614 WITH SCORE 700439.389
AT ITER 108 NEW BEST:: SOT 4439937 SOS 825389 HAS SOPS 825389 HAS SOUS 699613 HAS SOUPS 699613 WITH SCORE 700438.389
AT ITER 110 NEW BEST:: SOT 4439705 SOS 825157 HAS SOPS 825157 HAS SOUS 699381 HAS SOUPS 699381 WITH SCORE 700206.157
AT ITER 130 NEW BEST:: SOT 4439851 SOS 825449 HAS SOPS 825449 HAS SOUS 699341 HAS SOUPS 699341 WITH SCORE 700166.449
AT ITER 135 NEW BEST:: SOT 4439895 SOS 825537 HAS SOPS 825537 HAS SOUS 699112 HAS SOUPS 699112 WITH SCORE 699937.537
AT ITER 144 NEW BEST:: SOT 4439895 SOS 794978 HAS SOPS 794978 HAS SOUS 699111 HAS SOUPS 699111 WITH SCORE 699905.978
AT ITER 148 NEW BEST:: SOT 4439894 SOS 794976 HAS SOPS 794976 HAS SOUS 699109 HAS SOUPS 699109 WITH SCORE 699903.976
AT ITER 155 NEW BEST:: SOT 4439735 SOS 794817 HAS SOPS 794817 HAS SOUS 698950 HAS SOUPS 698950 WITH SCORE 699744.817
AT ITER 174 NEW BEST:: SOT 4439389 SOS 794627 HAS SOPS 794627 HAS SOUS 698479 HAS SOUPS 698479 WITH SCORE 699273.627
AT ITER 185 NEW BEST:: SOT 4439389 SOS 794587 HAS SOPS 794587 HAS SOUS 698479 HAS SOUPS 698479 WITH SCORE 699273.587
AT ITER 206 NEW BEST:: SOT 4439389 SOS 794347 HAS SOPS 794347 HAS SOUS 698284 HAS SOUPS 698284 WITH SCORE 699078.347
AT ITER 220 NEW BEST:: SOT 4439286 SOS 794244 HAS SOPS 794244 HAS SOUS 698181 HAS SOUPS 698181 WITH SCORE 698975.244
AT ITER 221 NEW BEST:: SOT 4439087 SOS 793630 HAS SOPS 793630 HAS SOUS 697766 HAS SOUPS 697766 WITH SCORE 698559.63
AT ITER 225 NEW BEST:: SOT 4439044 SOS 793587 HAS SOPS 793587 HAS SOUS 697723 HAS SOUPS 697723 WITH SCORE 698516.587
AT ITER 267 NEW BEST:: SOT 4438881 SOS 793261 HAS SOPS 793261 HAS SOUS 697560 HAS SOUPS 697560 WITH SCORE 698353.261
AT ITER 273 NEW BEST:: SOT 4438556 SOS 794455 HAS SOPS 794455 HAS SOUS 697536 HAS SOUPS 697536 WITH SCORE 698330.455
AT ITER 323 NEW BEST:: SOT 4438336 SOS 793653 HAS SOPS 793653 HAS SOUS 696954 HAS SOUPS 696954 WITH SCORE 697747.653
AT ITER 327 NEW BEST:: SOT 4437936 SOS 793255 HAS SOPS 793255 HAS SOUS 696556 HAS SOUPS 696556 WITH SCORE 697349.255
AT ITER 349 NEW BEST:: SOT 4437989 SOS 793361 HAS SOPS 793361 HAS SOUS 696336 HAS SOUPS 696336 WITH SCORE 697129.361
AT ITER 352 NEW BEST:: SOT 4437989 SOS 793361 HAS SOPS 793361 HAS SOUS 696335 HAS SOUPS 696335 WITH SCORE 697128.361
AT ITER 380 NEW BEST:: SOT 4437871 SOS 793449 HAS SOPS 793449 HAS SOUS 696236 HAS SOUPS 696236 WITH SCORE 697029.449
AT ITER 407 NEW BEST:: SOT 4437220 SOS 792733 HAS SOPS 792733 HAS SOUS 695438 HAS SOUPS 695438 WITH SCORE 696230.733
AT ITER 431 NEW BEST:: SOT 4437219 SOS 792731 HAS SOPS 792731 HAS SOUS 695436 HAS SOUPS 695436 WITH SCORE 696228.731
AT ITER 455 NEW BEST:: SOT 4437208 SOS 793103 HAS SOPS 793103 HAS SOUS 695354 HAS SOUPS 695354 WITH SCORE 696147.103
AT ITER 456 NEW BEST:: SOT 4437072 SOS 793225 HAS SOPS 793225 HAS SOUS 695309 HAS SOUPS 695309 WITH SCORE 696102.225
AT ITER 482 NEW BEST:: SOT 4436862 SOS 792805 HAS SOPS 792805 HAS SOUS 695099 HAS SOUPS 695099 WITH SCORE 695891.805
AT ITER 515 NEW BEST:: SOT 4434570 SOS 820073 HAS SOPS 820073 HAS SOUS 693862 HAS SOUPS 693862 WITH SCORE 694682.073
AT ITER 541 NEW BEST:: SOT 4429617 SOS 867034 HAS SOPS 867034 HAS SOUS 689074 HAS SOUPS 689074 WITH SCORE 689941.034
AT ITER 555 NEW BEST:: SOT 4429382 SOS 866819 HAS SOPS 866819 HAS SOUS 688846 HAS SOUPS 688846 WITH SCORE 689712.819
AT ITER 570 NEW BEST:: SOT 4429362 SOS 866739 HAS SOPS 866739 HAS SOUS 688808 HAS SOUPS 688808 WITH SCORE 689674.739
AT ITER 571 NEW BEST:: SOT 4428611 SOS 866182 HAS SOPS 866182 HAS SOUS 688193 HAS SOUPS 688193 WITH SCORE 689059.182
AT ITER 572 NEW BEST:: SOT 4428694 SOS 866348 HAS SOPS 866348 HAS SOUS 688101 HAS SOUPS 688101 WITH SCORE 688967.348
AT ITER 578 NEW BEST:: SOT 4428608 SOS 866176 HAS SOPS 866176 HAS SOUS 687929 HAS SOUPS 687929 WITH SCORE 688795.176
AT ITER 579 NEW BEST:: SOT 4428608 SOS 865948 HAS SOPS 865948 HAS SOUS 687929 HAS SOUPS 687929 WITH SCORE 688794.948
AT ITER 588 NEW BEST:: SOT 4428700 SOS 865783 HAS SOPS 865783 HAS SOUS 687766 HAS SOUPS 687766 WITH SCORE 688631.783
AT ITER 609 NEW BEST:: SOT 4428668 SOS 865719 HAS SOPS 865719 HAS SOUS 687702 HAS SOUPS 687702 WITH SCORE 688567.719
AT ITER 614 NEW BEST:: SOT 4428475 SOS 865333 HAS SOPS 865333 HAS SOUS 687509 HAS SOUPS 687509 WITH SCORE 688374.333
AT ITER 669 NEW BEST:: SOT 4428326 SOS 865035 HAS SOPS 865035 HAS SOUS 687211 HAS SOUPS 687211 WITH SCORE 688076.035
AT ITER 679 NEW BEST:: SOT 4428141 SOS 864071 HAS SOPS 864071 HAS SOUS 686822 HAS SOUPS 686822 WITH SCORE 687686.071
AT ITER 684 NEW BEST:: SOT 4427979 SOS 863909 HAS SOPS 863909 HAS SOUS 686660 HAS SOUPS 686660 WITH SCORE 687523.909
AT ITER 694 NEW BEST:: SOT 4427754 SOS 863612 HAS SOPS 863612 HAS SOUS 686337 HAS SOUPS 686337 WITH SCORE 687200.612
AT ITER 698 NEW BEST:: SOT 4427631 SOS 863366 HAS SOPS 863366 HAS SOUS 686091 HAS SOUPS 686091 WITH SCORE 686954.366
AT ITER 705 NEW BEST:: SOT 4427606 SOS 863341 HAS SOPS 863341 HAS SOUS 686091 HAS SOUPS 686091 WITH SCORE 686954.341
AT ITER 714 NEW BEST:: SOT 4427606 SOS 863268 HAS SOPS 863268 HAS SOUS 686018 HAS SOUPS 686018 WITH SCORE 686881.268
AT ITER 718 NEW BEST:: SOT 4427326 SOS 863060 HAS SOPS 863060 HAS SOUS 685763 HAS SOUPS 685763 WITH SCORE 686626.06
AT ITER 755 NEW BEST:: SOT 4427326 SOS 863036 HAS SOPS 863036 HAS SOUS 685763 HAS SOUPS 685763 WITH SCORE 686626.036
AT ITER 763 NEW BEST:: SOT 4427236 SOS 862856 HAS SOPS 862856 HAS SOUS 685644 HAS SOUPS 685644 WITH SCORE 686506.856
AT ITER 776 NEW BEST:: SOT 4427236 SOS 862533 HAS SOPS 862533 HAS SOUS 685644 HAS SOUPS 685644 WITH SCORE 686506.533
AT ITER 779 NEW BEST:: SOT 4427084 SOS 862472 HAS SOPS 862472 HAS SOUS 685538 HAS SOUPS 685538 WITH SCORE 686400.472
AT ITER 794 NEW BEST:: SOT 4427084 SOS 862251 HAS SOPS 862251 HAS SOUS 685537 HAS SOUPS 685537 WITH SCORE 686399.251
AT ITER 806 NEW BEST:: SOT 4426902 SOS 861887 HAS SOPS 861887 HAS SOUS 685173 HAS SOUPS 685173 WITH SCORE 686034.887
AT ITER 826 NEW BEST:: SOT 4426687 SOS 861627 HAS SOPS 861627 HAS SOUS 684873 HAS SOUPS 684873 WITH SCORE 685734.627
AT ITER 827 NEW BEST:: SOT 4426657 SOS 861567 HAS SOPS 861567 HAS SOUS 684813 HAS SOUPS 684813 WITH SCORE 685674.567
AT ITER 831 NEW BEST:: SOT 4426794 SOS 861841 HAS SOPS 861841 HAS SOUS 684638 HAS SOUPS 684638 WITH SCORE 685499.841
AT ITER 847 NEW BEST:: SOT 4426767 SOS 861787 HAS SOPS 861787 HAS SOUS 684584 HAS SOUPS 684584 WITH SCORE 685445.787
AT ITER 850 NEW BEST:: SOT 4426732 SOS 861717 HAS SOPS 861717 HAS SOUS 684363 HAS SOUPS 684363 WITH SCORE 685224.717
AT ITER 851 NEW BEST:: SOT 4426748 SOS 861661 HAS SOPS 861661 HAS SOUS 684354 HAS SOUPS 684354 WITH SCORE 685215.661
AT ITER 854 NEW BEST:: SOT 4426597 SOS 861359 HAS SOPS 861359 HAS SOUS 684236 HAS SOUPS 684236 WITH SCORE 685097.359
AT ITER 885 NEW BEST:: SOT 4422236 SOS 857202 HAS SOPS 857202 HAS SOUS 680275 HAS SOUPS 680275 WITH SCORE 681132.202
AT ITER 890 NEW BEST:: SOT 4422236 SOS 856965 HAS SOPS 856965 HAS SOUS 680275 HAS SOUPS 680275 WITH SCORE 681131.965
AT ITER 913 NEW BEST:: SOT 4422068 SOS 856629 HAS SOPS 856629 HAS SOUS 680274 HAS SOUPS 680274 WITH SCORE 681130.629
AT ITER 947 NEW BEST:: SOT 4421877 SOS 856247 HAS SOPS 856247 HAS SOUS 679892 HAS SOUPS 679892 WITH SCORE 680748.247
AT ITER 982 NEW BEST:: SOT 4421877 SOS 856216 HAS SOPS 856216 HAS SOUS 679892 HAS SOUPS 679892 WITH SCORE 680748.216
AT ITER 988 NEW BEST:: SOT 4421894 SOS 856526 HAS SOPS 856526 HAS SOUS 679838 HAS SOUPS 679838 WITH SCORE 680694.526
AT ITER 999 NEW BEST:: SOT 4421894 SOS 856319 HAS SOPS 856319 HAS SOUS 679838 HAS SOUPS 679838 WITH SCORE 680694.319
AT ITER 1004 NEW BEST:: SOT 4421894 SOS 856226 HAS SOPS 856226 HAS SOUS 679838 HAS SOUPS 679838 WITH SCORE 680694.226
AT ITER 1021 NEW BEST:: SOT 4421762 SOS 856094 HAS SOPS 856094 HAS SOUS 679706 HAS SOUPS 679706 WITH SCORE 680562.094
AT ITER 1024 NEW BEST:: SOT 4421762 SOS 856061 HAS SOPS 856061 HAS SOUS 679673 HAS SOUPS 679673 WITH SCORE 680529.061
AT ITER 1048 NEW BEST:: SOT 4421761 SOS 856059 HAS SOPS 856059 HAS SOUS 679671 HAS SOUPS 679671 WITH SCORE 680527.059
AT ITER 1079 NEW BEST:: SOT 4421761 SOS 856059 HAS SOPS 856059 HAS SOUS 679670 HAS SOUPS 679670 WITH SCORE 680526.059
AT ITER 1108 NEW BEST:: SOT 4421657 SOS 855851 HAS SOPS 855851 HAS SOUS 679462 HAS SOUPS 679462 WITH SCORE 680317.851
AT ITER 1111 NEW BEST:: SOT 4421657 SOS 855707 HAS SOPS 855707 HAS SOUS 679462 HAS SOUPS 679462 WITH SCORE 680317.707
AT ITER 1123 NEW BEST:: SOT 4421656 SOS 855705 HAS SOPS 855705 HAS SOUS 679460 HAS SOUPS 679460 WITH SCORE 680315.705
AT ITER 1149 NEW BEST:: SOT 4421494 SOS 855705 HAS SOPS 855705 HAS SOUS 679298 HAS SOUPS 679298 WITH SCORE 680153.705
AT ITER 1150 NEW BEST:: SOT 4421444 SOS 855605 HAS SOPS 855605 HAS SOUS 679198 HAS SOUPS 679198 WITH SCORE 680053.605
AT ITER 1164 NEW BEST:: SOT 4421444 SOS 855279 HAS SOPS 855279 HAS SOUS 679198 HAS SOUPS 679198 WITH SCORE 680053.279
AT ITER 1177 NEW BEST:: SOT 4421444 SOS 855152 HAS SOPS 855152 HAS SOUS 679198 HAS SOUPS 679198 WITH SCORE 680053.152
AT ITER 1197 NEW BEST:: SOT 4421444 SOS 854780 HAS SOPS 854780 HAS SOUS 679198 HAS SOUPS 679198 WITH SCORE 680052.78
AT ITER 1207 NEW BEST:: SOT 4421384 SOS 854745 HAS SOPS 854745 HAS SOUS 679138 HAS SOUPS 679138 WITH SCORE 679992.745
AT ITER 1216 NEW BEST:: SOT 4421384 SOS 854745 HAS SOPS 854745 HAS SOUS 678971 HAS SOUPS 678971 WITH SCORE 679825.745
AT ITER 1221 NEW BEST:: SOT 4421134 SOS 854663 HAS SOPS 854663 HAS SOUS 678825 HAS SOUPS 678825 WITH SCORE 679679.663
AT ITER 1253 NEW BEST:: SOT 4421134 SOS 854499 HAS SOPS 854499 HAS SOUS 678824 HAS SOUPS 678824 WITH SCORE 679678.499
AT ITER 1269 NEW BEST:: SOT 4420913 SOS 854933 HAS SOPS 854933 HAS SOUS 678603 HAS SOUPS 678603 WITH SCORE 679457.933
AT ITER 1270 NEW BEST:: SOT 4421147 SOS 855133 HAS SOPS 855133 HAS SOUS 678487 HAS SOUPS 678487 WITH SCORE 679342.133
AT ITER 1278 NEW BEST:: SOT 4421146 SOS 854863 HAS SOPS 854863 HAS SOUS 678485 HAS SOUPS 678485 WITH SCORE 679339.863
AT ITER 1281 NEW BEST:: SOT 4421145 SOS 854861 HAS SOPS 854861 HAS SOUS 678483 HAS SOUPS 678483 WITH SCORE 679337.861
AT ITER 1288 NEW BEST:: SOT 4421145 SOS 854778 HAS SOPS 854778 HAS SOUS 678483 HAS SOUPS 678483 WITH SCORE 679337.778
AT ITER 1292 NEW BEST:: SOT 4420857 SOS 854202 HAS SOPS 854202 HAS SOUS 677907 HAS SOUPS 677907 WITH SCORE 678761.202
AT ITER 1293 NEW BEST:: SOT 4420857 SOS 854136 HAS SOPS 854136 HAS SOUS 677907 HAS SOUPS 677907 WITH SCORE 678761.136
AT ITER 1309 NEW BEST:: SOT 4420828 SOS 854107 HAS SOPS 854107 HAS SOUS 677878 HAS SOUPS 677878 WITH SCORE 678732.107
AT ITER 1312 NEW BEST:: SOT 4420432 SOS 854237 HAS SOPS 854237 HAS SOUS 677659 HAS SOUPS 677659 WITH SCORE 678513.237
AT ITER 1320 NEW BEST:: SOT 4420387 SOS 854147 HAS SOPS 854147 HAS SOUS 677553 HAS SOUPS 677553 WITH SCORE 678407.147
AT ITER 1333 NEW BEST:: SOT 4420386 SOS 854077 HAS SOPS 854077 HAS SOUS 677550 HAS SOUPS 677550 WITH SCORE 678404.077
AT ITER 1339 NEW BEST:: SOT 4420326 SOS 854002 HAS SOPS 854002 HAS SOUS 677475 HAS SOUPS 677475 WITH SCORE 678329.002
AT ITER 1341 NEW BEST:: SOT 4420446 SOS 853758 HAS SOPS 853758 HAS SOUS 677353 HAS SOUPS 677353 WITH SCORE 678206.758
AT ITER 1346 NEW BEST:: SOT 4420493 SOS 853711 HAS SOPS 853711 HAS SOUS 677353 HAS SOUPS 677353 WITH SCORE 678206.711
AT ITER 1355 NEW BEST:: SOT 4420470 SOS 853665 HAS SOPS 853665 HAS SOUS 677263 HAS SOUPS 677263 WITH SCORE 678116.665
AT ITER 1418 NEW BEST:: SOT 4420470 SOS 853665 HAS SOPS 853665 HAS SOUS 677262 HAS SOUPS 677262 WITH SCORE 678115.665
AT ITER 1445 NEW BEST:: SOT 4420470 SOS 853647 HAS SOPS 853647 HAS SOUS 677261 HAS SOUPS 677261 WITH SCORE 678114.647
AT ITER 1449 NEW BEST:: SOT 4420470 SOS 853514 HAS SOPS 853514 HAS SOUS 677128 HAS SOUPS 677128 WITH SCORE 677981.514
AT ITER 1450 NEW BEST:: SOT 4420221 SOS 853282 HAS SOPS 853282 HAS SOUS 676896 HAS SOUPS 676896 WITH SCORE 677749.282
AT ITER 1483 NEW BEST:: SOT 4419973 SOS 853462 HAS SOPS 853462 HAS SOUS 676716 HAS SOUPS 676716 WITH SCORE 677569.462
AT ITER 1485 NEW BEST:: SOT 4419907 SOS 853330 HAS SOPS 853330 HAS SOUS 676650 HAS SOUPS 676650 WITH SCORE 677503.33
AT ITER 1486 NEW BEST:: SOT 4419858 SOS 853232 HAS SOPS 853232 HAS SOUS 676552 HAS SOUPS 676552 WITH SCORE 677405.232
AT ITER 1488 NEW BEST:: SOT 4419851 SOS 853218 HAS SOPS 853218 HAS SOUS 676545 HAS SOUPS 676545 WITH SCORE 677398.218
AT ITER 1536 NEW BEST:: SOT 4419851 SOS 852648 HAS SOPS 852648 HAS SOUS 676260 HAS SOUPS 676260 WITH SCORE 677112.648
AT ITER 1537 NEW BEST:: SOT 4419729 SOS 852941 HAS SOPS 852941 HAS SOUS 676199 HAS SOUPS 676199 WITH SCORE 677051.941
AT ITER 1576 NEW BEST:: SOT 4419700 SOS 852883 HAS SOPS 852883 HAS SOUS 676141 HAS SOUPS 676141 WITH SCORE 676993.883
AT ITER 1597 NEW BEST:: SOT 4419653 SOS 852789 HAS SOPS 852789 HAS SOUS 675988 HAS SOUPS 675988 WITH SCORE 676840.789
AT ITER 1606 NEW BEST:: SOT 4419653 SOS 852581 HAS SOPS 852581 HAS SOUS 675987 HAS SOUPS 675987 WITH SCORE 676839.581
AT ITER 1620 NEW BEST:: SOT 4419613 SOS 852541 HAS SOPS 852541 HAS SOUS 675947 HAS SOUPS 675947 WITH SCORE 676799.541
AT ITER 1638 NEW BEST:: SOT 4419557 SOS 852429 HAS SOPS 852429 HAS SOUS 675835 HAS SOUPS 675835 WITH SCORE 676687.429
AT ITER 1658 NEW BEST:: SOT 4419537 SOS 852389 HAS SOPS 852389 HAS SOUS 675795 HAS SOUPS 675795 WITH SCORE 676647.389
AT ITER 1669 NEW BEST:: SOT 4419537 SOS 851980 HAS SOPS 851980 HAS SOUS 675386 HAS SOUPS 675386 WITH SCORE 676237.98
AT ITER 1682 NEW BEST:: SOT 4419462 SOS 852110 HAS SOPS 852110 HAS SOUS 675379 HAS SOUPS 675379 WITH SCORE 676231.11
AT ITER 1696 NEW BEST:: SOT 4419445 SOS 852110 HAS SOPS 852110 HAS SOUS 675362 HAS SOUPS 675362 WITH SCORE 676214.11
AT ITER 1734 NEW BEST:: SOT 4419319 SOS 851858 HAS SOPS 851858 HAS SOUS 675110 HAS SOUPS 675110 WITH SCORE 675961.858
AT ITER 1738 NEW BEST:: SOT 4419109 SOS 851648 HAS SOPS 851648 HAS SOUS 674900 HAS SOUPS 674900 WITH SCORE 675751.648
AT ITER 1741 NEW BEST:: SOT 4419108 SOS 851646 HAS SOPS 851646 HAS SOUS 674898 HAS SOUPS 674898 WITH SCORE 675749.646
AT ITER 1750 NEW BEST:: SOT 4419108 SOS 851646 HAS SOPS 851646 HAS SOUS 674773 HAS SOUPS 674773 WITH SCORE 675624.646
AT ITER 1754 NEW BEST:: SOT 4418690 SOS 851860 HAS SOPS 851860 HAS SOUS 674565 HAS SOUPS 674565 WITH SCORE 675416.86
AT ITER 1770 NEW BEST:: SOT 4418502 SOS 851484 HAS SOPS 851484 HAS SOUS 674189 HAS SOUPS 674189 WITH SCORE 675040.484
AT ITER 1787 NEW BEST:: SOT 4412017 SOS 927722 HAS SOPS 927722 HAS SOUS 671929 HAS SOUPS 671929 WITH SCORE 672856.722
AT ITER 1795 NEW BEST:: SOT 4411854 SOS 927396 HAS SOPS 927396 HAS SOUS 671766 HAS SOUPS 671766 WITH SCORE 672693.396
AT ITER 1883 NEW BEST:: SOT 4411927 SOS 927276 HAS SOPS 927276 HAS SOUS 671741 HAS SOUPS 671741 WITH SCORE 672668.276
AT ITER 1892 NEW BEST:: SOT 4411638 SOS 926698 HAS SOPS 926698 HAS SOUS 671452 HAS SOUPS 671452 WITH SCORE 672378.698
AT ITER 1939 NEW BEST:: SOT 4411230 SOS 925882 HAS SOPS 925882 HAS SOUS 670866 HAS SOUPS 670866 WITH SCORE 671791.882
AT ITER 1945 NEW BEST:: SOT 4411212 SOS 925728 HAS SOPS 925728 HAS SOUS 670830 HAS SOUPS 670830 WITH SCORE 671755.728
AT ITER 1987 NEW BEST:: SOT 4408582 SOS 937553 HAS SOPS 937553 HAS SOUS 668984 HAS SOUPS 668984 WITH SCORE 669921.553
AT ITER 2003 NEW BEST:: SOT 4408438 SOS 937409 HAS SOPS 937409 HAS SOUS 668983 HAS SOUPS 668983 WITH SCORE 669920.409
AT ITER 2034 NEW BEST:: SOT 4408438 SOS 937030 HAS SOPS 937030 HAS SOUS 668983 HAS SOUPS 668983 WITH SCORE 669920.03
AT ITER 2040 NEW BEST:: SOT 4408492 SOS 936818 HAS SOPS 936818 HAS SOUS 668877 HAS SOUPS 668877 WITH SCORE 669813.818
AT ITER 2061 NEW BEST:: SOT 4408255 SOS 936107 HAS SOPS 936107 HAS SOUS 668403 HAS SOUPS 668403 WITH SCORE 669339.107
AT ITER 2085 NEW BEST:: SOT 4408513 SOS 936362 HAS SOPS 936362 HAS SOUS 668401 HAS SOUPS 668401 WITH SCORE 669337.362
AT ITER 2105 NEW BEST:: SOT 4408513 SOS 936362 HAS SOPS 936362 HAS SOUS 668352 HAS SOUPS 668352 WITH SCORE 669288.362
AT ITER 2130 NEW BEST:: SOT 4408513 SOS 936100 HAS SOPS 936100 HAS SOUS 668352 HAS SOUPS 668352 WITH SCORE 669288.1
AT ITER 2144 NEW BEST:: SOT 4408219 SOS 935512 HAS SOPS 935512 HAS SOUS 667764 HAS SOUPS 667764 WITH SCORE 668699.512
AT ITER 2145 NEW BEST:: SOT 4408063 SOS 935200 HAS SOPS 935200 HAS SOUS 667452 HAS SOUPS 667452 WITH SCORE 668387.2
AT ITER 2153 NEW BEST:: SOT 4407921 SOS 935058 HAS SOPS 935058 HAS SOUS 667310 HAS SOUPS 667310 WITH SCORE 668245.058
AT ITER 2156 NEW BEST:: SOT 4406101 SOS 933964 HAS SOPS 933964 HAS SOUS 666092 HAS SOUPS 666092 WITH SCORE 667025.964
AT ITER 2168 NEW BEST:: SOT 4406101 SOS 933964 HAS SOPS 933964 HAS SOUS 665852 HAS SOUPS 665852 WITH SCORE 666785.964
AT ITER 2194 NEW BEST:: SOT 4406076 SOS 933914 HAS SOPS 933914 HAS SOUS 665827 HAS SOUPS 665827 WITH SCORE 666760.914
AT ITER 2206 NEW BEST:: SOT 4406075 SOS 933666 HAS SOPS 933666 HAS SOUS 665825 HAS SOUPS 665825 WITH SCORE 666758.666
AT ITER 2226 NEW BEST:: SOT 4405651 SOS 933030 HAS SOPS 933030 HAS SOUS 665189 HAS SOUPS 665189 WITH SCORE 666122.03
AT ITER 2227 NEW BEST:: SOT 4405651 SOS 932865 HAS SOPS 932865 HAS SOUS 665024 HAS SOUPS 665024 WITH SCORE 665956.865
AT ITER 2230 NEW BEST:: SOT 4405650 SOS 932814 HAS SOPS 932814 HAS SOUS 664972 HAS SOUPS 664972 WITH SCORE 665904.814
AT ITER 2232 NEW BEST:: SOT 4405502 SOS 932518 HAS SOPS 932518 HAS SOUS 664676 HAS SOUPS 664676 WITH SCORE 665608.518
AT ITER 2287 NEW BEST:: SOT 4405395 SOS 932304 HAS SOPS 932304 HAS SOUS 664462 HAS SOUPS 664462 WITH SCORE 665394.304
AT ITER 2292 NEW BEST:: SOT 4405411 SOS 931888 HAS SOPS 931888 HAS SOUS 664270 HAS SOUPS 664270 WITH SCORE 665201.888
AT ITER 2304 NEW BEST:: SOT 4404641 SOS 930890 HAS SOPS 930890 HAS SOUS 663245 HAS SOUPS 663245 WITH SCORE 664175.89
AT ITER 2324 NEW BEST:: SOT 4404640 SOS 930888 HAS SOPS 930888 HAS SOUS 663244 HAS SOUPS 663244 WITH SCORE 664174.888
AT ITER 2349 NEW BEST:: SOT 4404598 SOS 930888 HAS SOPS 930888 HAS SOUS 663223 HAS SOUPS 663223 WITH SCORE 664153.888
AT ITER 2399 NEW BEST:: SOT 4404298 SOS 930513 HAS SOPS 930513 HAS SOUS 662848 HAS SOUPS 662848 WITH SCORE 663778.513
AT ITER 2462 NEW BEST:: SOT 4403994 SOS 930242 HAS SOPS 930242 HAS SOUS 662351 HAS SOUPS 662351 WITH SCORE 663281.242
AT ITER 2466 NEW BEST:: SOT 4403710 SOS 930172 HAS SOPS 930172 HAS SOUS 662124 HAS SOUPS 662124 WITH SCORE 663054.172
AT ITER 2480 NEW BEST:: SOT 4403706 SOS 929916 HAS SOPS 929916 HAS SOUS 662003 HAS SOUPS 662003 WITH SCORE 662932.916
AT ITER 2492 NEW BEST:: SOT 4403706 SOS 929612 HAS SOPS 929612 HAS SOUS 662003 HAS SOUPS 662003 WITH SCORE 662932.612
AT ITER 2503 NEW BEST:: SOT 4403705 SOS 929610 HAS SOPS 929610 HAS SOUS 662002 HAS SOUPS 662002 WITH SCORE 662931.61
AT ITER 2505 NEW BEST:: SOT 4403295 SOS 930758 HAS SOPS 930758 HAS SOUS 661961 HAS SOUPS 661961 WITH SCORE 662891.758
AT ITER 2508 NEW BEST:: SOT 4403163 SOS 930338 HAS SOPS 930338 HAS SOUS 661673 HAS SOUPS 661673 WITH SCORE 662603.338
AT ITER 2515 NEW BEST:: SOT 4402518 SOS 901958 HAS SOPS 901958 HAS SOUS 660392 HAS SOUPS 660392 WITH SCORE 661293.958
AT ITER 2533 NEW BEST:: SOT 4402518 SOS 901739 HAS SOPS 901739 HAS SOUS 660391 HAS SOUPS 660391 WITH SCORE 661292.739
AT ITER 2544 NEW BEST:: SOT 4401371 SOS 900963 HAS SOPS 900963 HAS SOUS 659598 HAS SOUPS 659598 WITH SCORE 660498.963
AT ITER 2555 NEW BEST:: SOT 4401371 SOS 900952 HAS SOPS 900952 HAS SOUS 659598 HAS SOUPS 659598 WITH SCORE 660498.952
AT ITER 2577 NEW BEST:: SOT 4401214 SOS 900978 HAS SOPS 900978 HAS SOUS 659567 HAS SOUPS 659567 WITH SCORE 660467.978
AT ITER 2590 NEW BEST:: SOT 4401214 SOS 900919 HAS SOPS 900919 HAS SOUS 659508 HAS SOUPS 659508 WITH SCORE 660408.919
AT ITER 2602 NEW BEST:: SOT 4401168 SOS 900873 HAS SOPS 900873 HAS SOUS 659462 HAS SOUPS 659462 WITH SCORE 660362.873
AT ITER 2650 NEW BEST:: SOT 4401033 SOS 900603 HAS SOPS 900603 HAS SOUS 659327 HAS SOUPS 659327 WITH SCORE 660227.603
AT ITER 2655 NEW BEST:: SOT 4398926 SOS 898847 HAS SOPS 898847 HAS SOUS 657570 HAS SOUPS 657570 WITH SCORE 658468.847
AT ITER 2660 NEW BEST:: SOT 4398953 SOS 898901 HAS SOPS 898901 HAS SOUS 657436 HAS SOUPS 657436 WITH SCORE 658334.901
AT ITER 2683 NEW BEST:: SOT 4398376 SOS 898577 HAS SOPS 898577 HAS SOUS 656783 HAS SOUPS 656783 WITH SCORE 657681.577
AT ITER 2685 NEW BEST:: SOT 4398348 SOS 898521 HAS SOPS 898521 HAS SOUS 656780 HAS SOUPS 656780 WITH SCORE 657678.521
AT ITER 2689 NEW BEST:: SOT 4398343 SOS 898511 HAS SOPS 898511 HAS SOUS 656770 HAS SOUPS 656770 WITH SCORE 657668.511
AT ITER 2697 NEW BEST:: SOT 4398330 SOS 898485 HAS SOPS 898485 HAS SOUS 656756 HAS SOUPS 656756 WITH SCORE 657654.485
AT ITER 2700 NEW BEST:: SOT 4398123 SOS 897648 HAS SOPS 897648 HAS SOUS 656126 HAS SOUPS 656126 WITH SCORE 657023.648
AT ITER 2710 NEW BEST:: SOT 4397959 SOS 897484 HAS SOPS 897484 HAS SOUS 655962 HAS SOUPS 655962 WITH SCORE 656859.484
AT ITER 2711 NEW BEST:: SOT 4397941 SOS 897448 HAS SOPS 897448 HAS SOUS 655935 HAS SOUPS 655935 WITH SCORE 656832.448
AT ITER 2732 NEW BEST:: SOT 4397941 SOS 897180 HAS SOPS 897180 HAS SOUS 655935 HAS SOUPS 655935 WITH SCORE 656832.18
AT ITER 2758 NEW BEST:: SOT 4394927 SOS 894246 HAS SOPS 894246 HAS SOUS 653007 HAS SOUPS 653007 WITH SCORE 653901.246
AT ITER 2786 NEW BEST:: SOT 4394799 SOS 893990 HAS SOPS 893990 HAS SOUS 652882 HAS SOUPS 652882 WITH SCORE 653775.99
AT ITER 2788 NEW BEST:: SOT 4394742 SOS 893951 HAS SOPS 893951 HAS SOUS 652768 HAS SOUPS 652768 WITH SCORE 653661.951
AT ITER 2793 NEW BEST:: SOT 4394452 SOS 893371 HAS SOPS 893371 HAS SOUS 652768 HAS SOUPS 652768 WITH SCORE 653661.371
AT ITER 2803 NEW BEST:: SOT 4394619 SOS 893705 HAS SOPS 893705 HAS SOUS 652672 HAS SOUPS 652672 WITH SCORE 653565.705
AT ITER 2812 NEW BEST:: SOT 4394477 SOS 893219 HAS SOPS 893219 HAS SOUS 652328 HAS SOUPS 652328 WITH SCORE 653221.219
AT ITER 2815 NEW BEST:: SOT 4394476 SOS 893052 HAS SOPS 893052 HAS SOUS 652160 HAS SOUPS 652160 WITH SCORE 653053.052
AT ITER 2823 NEW BEST:: SOT 4394206 SOS 892512 HAS SOPS 892512 HAS SOUS 651620 HAS SOUPS 651620 WITH SCORE 652512.512
AT ITER 2826 NEW BEST:: SOT 4393710 SOS 816841 HAS SOPS 816841 HAS SOUS 650590 HAS SOUPS 650590 WITH SCORE 651406.841
AT ITER 2828 NEW BEST:: SOT 4393634 SOS 816613 HAS SOPS 816613 HAS SOUS 650438 HAS SOUPS 650438 WITH SCORE 651254.613
AT ITER 2848 NEW BEST:: SOT 4393429 SOS 816443 HAS SOPS 816443 HAS SOUS 650285 HAS SOUPS 650285 WITH SCORE 651101.443
AT ITER 2882 NEW BEST:: SOT 4393428 SOS 816157 HAS SOPS 816157 HAS SOUS 650283 HAS SOUPS 650283 WITH SCORE 651099.157
AT ITER 2891 NEW BEST:: SOT 4393428 SOS 816102 HAS SOPS 816102 HAS SOUS 650283 HAS SOUPS 650283 WITH SCORE 651099.102
AT ITER 2957 NEW BEST:: SOT 4393235 SOS 815909 HAS SOPS 815909 HAS SOUS 650282 HAS SOUPS 650282 WITH SCORE 651097.909
AT ITER 2974 NEW BEST:: SOT 4393149 SOS 815737 HAS SOPS 815737 HAS SOUS 650110 HAS SOUPS 650110 WITH SCORE 650925.737
AT ITER 2983 NEW BEST:: SOT 4393149 SOS 815737 HAS SOPS 815737 HAS SOUS 650107 HAS SOUPS 650107 WITH SCORE 650922.737
AT ITER 2991 NEW BEST:: SOT 4393149 SOS 815656 HAS SOPS 815656 HAS SOUS 650107 HAS SOUPS 650107 WITH SCORE 650922.656
AT ITER 3016 NEW BEST:: SOT 4392903 SOS 814918 HAS SOPS 814918 HAS SOUS 649615 HAS SOUPS 649615 WITH SCORE 650429.918
AT ITER 3085 NEW BEST:: SOT 4392729 SOS 814570 HAS SOPS 814570 HAS SOUS 649455 HAS SOUPS 649455 WITH SCORE 650269.57
AT ITER 3117 NEW BEST:: SOT 4392729 SOS 814184 HAS SOPS 814184 HAS SOUS 649455 HAS SOUPS 649455 WITH SCORE 650269.184
AT ITER 3118 NEW BEST:: SOT 4392755 SOS 814236 HAS SOPS 814236 HAS SOUS 649448 HAS SOUPS 649448 WITH SCORE 650262.236
AT ITER 3124 NEW BEST:: SOT 4392743 SOS 814212 HAS SOPS 814212 HAS SOUS 649430 HAS SOUPS 649430 WITH SCORE 650244.212
AT ITER 3145 NEW BEST:: SOT 4392544 SOS 814112 HAS SOPS 814112 HAS SOUS 648933 HAS SOUPS 648933 WITH SCORE 649747.112
AT ITER 3147 NEW BEST:: SOT 4392321 SOS 815026 HAS SOPS 815026 HAS SOUS 648791 HAS SOUPS 648791 WITH SCORE 649606.026
AT ITER 3149 NEW BEST:: SOT 4392320 SOS 815024 HAS SOPS 815024 HAS SOUS 648789 HAS SOUPS 648789 WITH SCORE 649604.024
AT ITER 3159 NEW BEST:: SOT 4392320 SOS 815024 HAS SOPS 815024 HAS SOUS 648640 HAS SOUPS 648640 WITH SCORE 649455.024
AT ITER 3172 NEW BEST:: SOT 4392156 SOS 814778 HAS SOPS 814778 HAS SOUS 648394 HAS SOUPS 648394 WITH SCORE 649208.778
AT ITER 3181 NEW BEST:: SOT 4392275 SOS 815016 HAS SOPS 815016 HAS SOUS 648243 HAS SOUPS 648243 WITH SCORE 649058.016
AT ITER 3202 NEW BEST:: SOT 4392116 SOS 814698 HAS SOPS 814698 HAS SOUS 647925 HAS SOUPS 647925 WITH SCORE 648739.698
AT ITER 3232 NEW BEST:: SOT 4392007 SOS 814589 HAS SOPS 814589 HAS SOUS 647816 HAS SOUPS 647816 WITH SCORE 648630.589
AT ITER 3249 NEW BEST:: SOT 4392086 SOS 814415 HAS SOPS 814415 HAS SOUS 647798 HAS SOUPS 647798 WITH SCORE 648612.415
AT ITER 3251 NEW BEST:: SOT 4391910 SOS 814063 HAS SOPS 814063 HAS SOUS 647446 HAS SOUPS 647446 WITH SCORE 648260.063
AT ITER 3264 NEW BEST:: SOT 4391535 SOS 813647 HAS SOPS 813647 HAS SOUS 647030 HAS SOUPS 647030 WITH SCORE 647843.647
AT ITER 3270 NEW BEST:: SOT 4391348 SOS 813273 HAS SOPS 813273 HAS SOUS 646843 HAS SOUPS 646843 WITH SCORE 647656.273
AT ITER 3275 NEW BEST:: SOT 4391347 SOS 813271 HAS SOPS 813271 HAS SOUS 646841 HAS SOUPS 646841 WITH SCORE 647654.271
AT ITER 3287 NEW BEST:: SOT 4391283 SOS 813143 HAS SOPS 813143 HAS SOUS 646777 HAS SOUPS 646777 WITH SCORE 647590.143
AT ITER 3298 NEW BEST:: SOT 4391266 SOS 813109 HAS SOPS 813109 HAS SOUS 646714 HAS SOUPS 646714 WITH SCORE 647527.109
AT ITER 3302 NEW BEST:: SOT 4391123 SOS 813232 HAS SOPS 813232 HAS SOUS 646675 HAS SOUPS 646675 WITH SCORE 647488.232
AT ITER 3339 NEW BEST:: SOT 4391088 SOS 813216 HAS SOPS 813216 HAS SOUS 646658 HAS SOUPS 646658 WITH SCORE 647471.216
AT ITER 3343 NEW BEST:: SOT 4391088 SOS 812967 HAS SOPS 812967 HAS SOUS 646658 HAS SOUPS 646658 WITH SCORE 647470.967
AT ITER 3355 NEW BEST:: SOT 4391088 SOS 812944 HAS SOPS 812944 HAS SOUS 646658 HAS SOUPS 646658 WITH SCORE 647470.944
AT ITER 3357 NEW BEST:: SOT 4390824 SOS 812680 HAS SOPS 812680 HAS SOUS 646394 HAS SOUPS 646394 WITH SCORE 647206.68
AT ITER 3367 NEW BEST:: SOT 4390674 SOS 812380 HAS SOPS 812380 HAS SOUS 645879 HAS SOUPS 645879 WITH SCORE 646691.38
AT ITER 3372 NEW BEST:: SOT 4390662 SOS 812356 HAS SOPS 812356 HAS SOUS 645763 HAS SOUPS 645763 WITH SCORE 646575.356
AT ITER 3383 NEW BEST:: SOT 4390644 SOS 812010 HAS SOPS 812010 HAS SOUS 645571 HAS SOUPS 645571 WITH SCORE 646383.01
AT ITER 3394 NEW BEST:: SOT 4390637 SOS 811996 HAS SOPS 811996 HAS SOUS 645557 HAS SOUPS 645557 WITH SCORE 646368.996
AT ITER 3431 NEW BEST:: SOT 4390493 SOS 812156 HAS SOPS 812156 HAS SOUS 645457 HAS SOUPS 645457 WITH SCORE 646269.156
AT ITER 3447 NEW BEST:: SOT 4390379 SOS 811928 HAS SOPS 811928 HAS SOUS 645229 HAS SOUPS 645229 WITH SCORE 646040.928
AT ITER 3500 NEW BEST:: SOT 4390269 SOS 811708 HAS SOPS 811708 HAS SOUS 645009 HAS SOUPS 645009 WITH SCORE 645820.708
AT ITER 3509 NEW BEST:: SOT 4390076 SOS 811322 HAS SOPS 811322 HAS SOUS 644623 HAS SOUPS 644623 WITH SCORE 645434.322
AT ITER 3564 NEW BEST:: SOT 4390049 SOS 811295 HAS SOPS 811295 HAS SOUS 644596 HAS SOUPS 644596 WITH SCORE 645407.295
AT ITER 3573 NEW BEST:: SOT 4390035 SOS 811267 HAS SOPS 811267 HAS SOUS 644582 HAS SOUPS 644582 WITH SCORE 645393.267
AT ITER 3574 NEW BEST:: SOT 4390074 SOS 811345 HAS SOPS 811345 HAS SOUS 644418 HAS SOUPS 644418 WITH SCORE 645229.345
AT ITER 3579 NEW BEST:: SOT 4390073 SOS 811167 HAS SOPS 811167 HAS SOUS 644416 HAS SOUPS 644416 WITH SCORE 645227.167
AT ITER 3590 NEW BEST:: SOT 4390016 SOS 811053 HAS SOPS 811053 HAS SOUS 644261 HAS SOUPS 644261 WITH SCORE 645072.053
AT ITER 3596 NEW BEST:: SOT 4389856 SOS 811133 HAS SOPS 811133 HAS SOUS 644201 HAS SOUPS 644201 WITH SCORE 645012.133
AT ITER 3630 NEW BEST:: SOT 4389762 SOS 810945 HAS SOPS 810945 HAS SOUS 644013 HAS SOUPS 644013 WITH SCORE 644823.945
AT ITER 3655 NEW BEST:: SOT 4389655 SOS 810731 HAS SOPS 810731 HAS SOUS 643799 HAS SOUPS 643799 WITH SCORE 644609.731
AT ITER 3671 NEW BEST:: SOT 4389352 SOS 810125 HAS SOPS 810125 HAS SOUS 643798 HAS SOUPS 643798 WITH SCORE 644608.125
AT ITER 3675 NEW BEST:: SOT 4388952 SOS 809325 HAS SOPS 809325 HAS SOUS 642596 HAS SOUPS 642596 WITH SCORE 643405.325
AT ITER 3684 NEW BEST:: SOT 4388729 SOS 809102 HAS SOPS 809102 HAS SOUS 642373 HAS SOUPS 642373 WITH SCORE 643182.102
AT ITER 3686 NEW BEST:: SOT 4388495 SOS 808634 HAS SOPS 808634 HAS SOUS 641905 HAS SOUPS 641905 WITH SCORE 642713.634
AT ITER 3729 NEW BEST:: SOT 4388494 SOS 808632 HAS SOPS 808632 HAS SOUS 641903 HAS SOUPS 641903 WITH SCORE 642711.632
AT ITER 3731 NEW BEST:: SOT 4388494 SOS 808632 HAS SOPS 808632 HAS SOUS 641801 HAS SOUPS 641801 WITH SCORE 642609.632
AT ITER 3732 NEW BEST:: SOT 4387195 SOS 807532 HAS SOPS 807532 HAS SOUS 641198 HAS SOUPS 641198 WITH SCORE 642005.532
AT ITER 3738 NEW BEST:: SOT 4387180 SOS 807517 HAS SOPS 807517 HAS SOUS 641183 HAS SOUPS 641183 WITH SCORE 641990.517
AT ITER 3745 NEW BEST:: SOT 4387191 SOS 807656 HAS SOPS 807656 HAS SOUS 641088 HAS SOUPS 641088 WITH SCORE 641895.656
AT ITER 3748 NEW BEST:: SOT 4386991 SOS 807456 HAS SOPS 807456 HAS SOUS 641088 HAS SOUPS 641088 WITH SCORE 641895.456
AT ITER 3752 NEW BEST:: SOT 4386975 SOS 807424 HAS SOPS 807424 HAS SOUS 641056 HAS SOUPS 641056 WITH SCORE 641863.424
AT ITER 3760 NEW BEST:: SOT 4386974 SOS 807266 HAS SOPS 807266 HAS SOUS 641054 HAS SOUPS 641054 WITH SCORE 641861.266
AT ITER 3783 NEW BEST:: SOT 4386875 SOS 806598 HAS SOPS 806598 HAS SOUS 640573 HAS SOUPS 640573 WITH SCORE 641379.598
AT ITER 3785 NEW BEST:: SOT 4386871 SOS 806590 HAS SOPS 806590 HAS SOUS 640565 HAS SOUPS 640565 WITH SCORE 641371.59
AT ITER 3807 NEW BEST:: SOT 4386871 SOS 806488 HAS SOPS 806488 HAS SOUS 640463 HAS SOUPS 640463 WITH SCORE 641269.488
AT ITER 3818 NEW BEST:: SOT 4386795 SOS 806336 HAS SOPS 806336 HAS SOUS 640311 HAS SOUPS 640311 WITH SCORE 641117.336
AT ITER 3822 NEW BEST:: SOT 4386795 SOS 806336 HAS SOPS 806336 HAS SOUS 640290 HAS SOUPS 640290 WITH SCORE 641096.336
AT ITER 3823 NEW BEST:: SOT 4386463 SOS 806006 HAS SOPS 806006 HAS SOUS 639853 HAS SOUPS 639853 WITH SCORE 640659.006
AT ITER 3858 NEW BEST:: SOT 4386138 SOS 805893 HAS SOPS 805893 HAS SOUS 639669 HAS SOUPS 639669 WITH SCORE 640474.893
AT ITER 3869 NEW BEST:: SOT 4385826 SOS 805581 HAS SOPS 805581 HAS SOUS 639357 HAS SOUPS 639357 WITH SCORE 640162.581
AT ITER 3924 NEW BEST:: SOT 4385782 SOS 805546 HAS SOPS 805546 HAS SOUS 639322 HAS SOUPS 639322 WITH SCORE 640127.546
AT ITER 3928 NEW BEST:: SOT 4385597 SOS 805176 HAS SOPS 805176 HAS SOUS 638841 HAS SOUPS 638841 WITH SCORE 639646.176
AT ITER 3954 NEW BEST:: SOT 4385427 SOS 804836 HAS SOPS 804836 HAS SOUS 638464 HAS SOUPS 638464 WITH SCORE 639268.836
AT ITER 3959 NEW BEST:: SOT 4385356 SOS 804694 HAS SOPS 804694 HAS SOUS 638067 HAS SOUPS 638067 WITH SCORE 638871.694
AT ITER 3975 NEW BEST:: SOT 4385356 SOS 804694 HAS SOPS 804694 HAS SOUS 638055 HAS SOUPS 638055 WITH SCORE 638859.694
AT ITER 4014 NEW BEST:: SOT 4385270 SOS 804522 HAS SOPS 804522 HAS SOUS 637883 HAS SOUPS 637883 WITH SCORE 638687.522
AT ITER 4054 NEW BEST:: SOT 4385254 SOS 804474 HAS SOPS 804474 HAS SOUS 637837 HAS SOUPS 637837 WITH SCORE 638641.474
AT ITER 4086 NEW BEST:: SOT 4385253 SOS 804472 HAS SOPS 804472 HAS SOUS 637835 HAS SOUPS 637835 WITH SCORE 638639.472
AT ITER 4091 NEW BEST:: SOT 4385075 SOS 804116 HAS SOPS 804116 HAS SOUS 637479 HAS SOUPS 637479 WITH SCORE 638283.116
AT ITER 4128 NEW BEST:: SOT 4384978 SOS 803825 HAS SOPS 803825 HAS SOUS 637285 HAS SOUPS 637285 WITH SCORE 638088.825
AT ITER 4136 NEW BEST:: SOT 4384857 SOS 803583 HAS SOPS 803583 HAS SOUS 637164 HAS SOUPS 637164 WITH SCORE 637967.583
AT ITER 4147 NEW BEST:: SOT 4384734 SOS 803460 HAS SOPS 803460 HAS SOUS 637041 HAS SOUPS 637041 WITH SCORE 637844.46
AT ITER 4168 NEW BEST:: SOT 4384460 SOS 802912 HAS SOPS 802912 HAS SOUS 636493 HAS SOUPS 636493 WITH SCORE 637295.912
AT ITER 4181 NEW BEST:: SOT 4384479 SOS 802882 HAS SOPS 802882 HAS SOUS 636463 HAS SOUPS 636463 WITH SCORE 637265.882
AT ITER 4205 NEW BEST:: SOT 4384317 SOS 802558 HAS SOPS 802558 HAS SOUS 636301 HAS SOUPS 636301 WITH SCORE 637103.558
AT ITER 4234 NEW BEST:: SOT 4384154 SOS 802232 HAS SOPS 802232 HAS SOUS 636138 HAS SOUPS 636138 WITH SCORE 636940.232
AT ITER 4244 NEW BEST:: SOT 4384087 SOS 802098 HAS SOPS 802098 HAS SOUS 636088 HAS SOUPS 636088 WITH SCORE 636890.098
AT ITER 4314 NEW BEST:: SOT 4384081 SOS 802092 HAS SOPS 802092 HAS SOUS 636082 HAS SOUPS 636082 WITH SCORE 636884.092
AT ITER 4318 NEW BEST:: SOT 4384081 SOS 801986 HAS SOPS 801986 HAS SOUS 635976 HAS SOUPS 635976 WITH SCORE 636777.986
AT ITER 4368 NEW BEST:: SOT 4384091 SOS 801975 HAS SOPS 801975 HAS SOUS 635965 HAS SOUPS 635965 WITH SCORE 636766.975
AT ITER 4386 NEW BEST:: SOT 4384091 SOS 801864 HAS SOPS 801864 HAS SOUS 635928 HAS SOUPS 635928 WITH SCORE 636729.864
AT ITER 4396 NEW BEST:: SOT 4384001 SOS 801684 HAS SOPS 801684 HAS SOUS 635748 HAS SOUPS 635748 WITH SCORE 636549.684
AT ITER 4438 NEW BEST:: SOT 4383794 SOS 793809 HAS SOPS 793809 HAS SOUS 635334 HAS SOUPS 635334 WITH SCORE 636127.809
AT ITER 4454 NEW BEST:: SOT 4383427 SOS 793075 HAS SOPS 793075 HAS SOUS 635256 HAS SOUPS 635256 WITH SCORE 636049.075
AT ITER 4495 NEW BEST:: SOT 4383295 SOS 792811 HAS SOPS 792811 HAS SOUS 634992 HAS SOUPS 634992 WITH SCORE 635784.811
AT ITER 4521 NEW BEST:: SOT 4383227 SOS 792873 HAS SOPS 792873 HAS SOUS 634924 HAS SOUPS 634924 WITH SCORE 635716.873
AT ITER 4522 NEW BEST:: SOT 4383148 SOS 792715 HAS SOPS 792715 HAS SOUS 634873 HAS SOUPS 634873 WITH SCORE 635665.715
AT ITER 4526 NEW BEST:: SOT 4383066 SOS 792551 HAS SOPS 792551 HAS SOUS 634709 HAS SOUPS 634709 WITH SCORE 635501.551
AT ITER 4529 NEW BEST:: SOT 4382610 SOS 791639 HAS SOPS 791639 HAS SOUS 633797 HAS SOUPS 633797 WITH SCORE 634588.639
AT ITER 4530 NEW BEST:: SOT 4382584 SOS 791587 HAS SOPS 791587 HAS SOUS 633745 HAS SOUPS 633745 WITH SCORE 634536.587
AT ITER 4536 NEW BEST:: SOT 4382306 SOS 791031 HAS SOPS 791031 HAS SOUS 633189 HAS SOUPS 633189 WITH SCORE 633980.031
AT ITER 4537 NEW BEST:: SOT 4382305 SOS 791029 HAS SOPS 791029 HAS SOUS 633187 HAS SOUPS 633187 WITH SCORE 633978.029
AT ITER 4582 NEW BEST:: SOT 4382015 SOS 790037 HAS SOPS 790037 HAS SOUS 632560 HAS SOUPS 632560 WITH SCORE 633350.037
AT ITER 4594 NEW BEST:: SOT 4382015 SOS 790037 HAS SOPS 790037 HAS SOUS 632545 HAS SOUPS 632545 WITH SCORE 633335.037
AT ITER 4625 NEW BEST:: SOT 4382056 SOS 790119 HAS SOPS 790119 HAS SOUS 632389 HAS SOUPS 632389 WITH SCORE 633179.119
AT ITER 4657 NEW BEST:: SOT 4382056 SOS 789561 HAS SOPS 789561 HAS SOUS 631831 HAS SOUPS 631831 WITH SCORE 632620.561
AT ITER 4679 NEW BEST:: SOT 4382055 SOS 789604 HAS SOPS 789604 HAS SOUS 631829 HAS SOUPS 631829 WITH SCORE 632618.604
AT ITER 4688 NEW BEST:: SOT 4381926 SOS 789786 HAS SOPS 789786 HAS SOUS 631810 HAS SOUPS 631810 WITH SCORE 632599.786
AT ITER 4700 NEW BEST:: SOT 4381910 SOS 789754 HAS SOPS 789754 HAS SOUS 631778 HAS SOUPS 631778 WITH SCORE 632567.754
AT ITER 4706 NEW BEST:: SOT 4381848 SOS 789754 HAS SOPS 789754 HAS SOUS 631747 HAS SOUPS 631747 WITH SCORE 632536.754
AT ITER 4711 NEW BEST:: SOT 4381793 SOS 789187 HAS SOPS 789187 HAS SOUS 631637 HAS SOUPS 631637 WITH SCORE 632426.187
AT ITER 4717 NEW BEST:: SOT 4381597 SOS 788599 HAS SOPS 788599 HAS SOUS 631245 HAS SOUPS 631245 WITH SCORE 632033.599
AT ITER 4793 NEW BEST:: SOT 4381537 SOS 788735 HAS SOPS 788735 HAS SOUS 631185 HAS SOUPS 631185 WITH SCORE 631973.735
AT ITER 4816 NEW BEST:: SOT 4381537 SOS 788669 HAS SOPS 788669 HAS SOUS 631152 HAS SOUPS 631152 WITH SCORE 631940.669
AT ITER 4833 NEW BEST:: SOT 4381499 SOS 788593 HAS SOPS 788593 HAS SOUS 631076 HAS SOUPS 631076 WITH SCORE 631864.593
AT ITER 4838 NEW BEST:: SOT 4381502 SOS 780157 HAS SOPS 780157 HAS SOUS 630878 HAS SOUPS 630878 WITH SCORE 631658.157
AT ITER 4872 NEW BEST:: SOT 4381275 SOS 779938 HAS SOPS 779938 HAS SOUS 630424 HAS SOUPS 630424 WITH SCORE 631203.938
AT ITER 4917 NEW BEST:: SOT 4381228 SOS 780148 HAS SOPS 780148 HAS SOUS 630394 HAS SOUPS 630394 WITH SCORE 631174.148
AT ITER 4983 NEW BEST:: SOT 4381046 SOS 780183 HAS SOPS 780183 HAS SOUS 630270 HAS SOUPS 630270 WITH SCORE 631050.183
Bounds file is: CTLFireability.xml
PROPERTY: CloudReconfiguration-PT-312-CTLFireability-00 (AF( ( ((potential((tk(P1115)>=1)))) & (AG( ( ((potential((tk(P751)>=1)))) & ((potential((tk(P2499)>=1)))) ))) )))
PROPERTY: CloudReconfiguration-PT-312-CTLFireability-01 ( (EU( ( ((potential((tk(P1633)>=1)))) | ((potential((tk(P11)>=1)))) ) , (EF( ((potential((tk(P1161)>=1)))))) )) & (AU( ( (! ((potential((tk(P937)>=1))))) | ((potential((tk(P947)>=1)))) ) , ((potential((tk(P477)>=1)))) )) )
PROPERTY: CloudReconfiguration-PT-312-CTLFireability-02 ( (AF( ( ((potential((tk(P1322)>=1)))) & ((potential((tk(P1803)>=1)))) ))) | ( ( ((potential((tk(P846)>=1)))) & ( ((potential((tk(P69)>=1)))) & (EF( ((potential((tk(P1719)>=1)))))) ) ) | (EU( ( ((potential((tk(P1897)>=1)))) | ((potential((tk(P816)>=1)))) ) , ( ((potential((tk(P1005)>=1)))) & ((potential((tk(P1685)>=1)))) ) )) ) )
PROPERTY: CloudReconfiguration-PT-312-CTLFireability-03 (AF( (! ( (! ( ((potential((tk(P1473)>=1)))) & ((potential((tk(P2153)>=1)))) )) | (EF( ((potential((tk(P691)>=1)))))) ))))
PROPERTY: CloudReconfiguration-PT-312-CTLFireability-04 (! (! (AF( (AG( ((potential((tk(P1691)>=1))))))))))
PROPERTY: CloudReconfiguration-PT-312-CTLFireability-05 (EF( (AF( (AG( ((potential((tk(P1498)>=1))))))))))
PROPERTY: CloudReconfiguration-PT-312-CTLFireability-06 ( (EG( (! ( ((potential((tk(P676)>=1)))) & ( ((potential((tk(P739)>=1)))) | ((potential((tk(P695)>=1)))) ) )))) | ((potential((tk(P849)>=1)))) )
PROPERTY: CloudReconfiguration-PT-312-CTLFireability-07 (AG( (AF( (AF( ((potential((tk(P941)>=1))))))))))
PROPERTY: CloudReconfiguration-PT-312-CTLFireability-08 (EU( (AF( (! ((potential((tk(P1904)>=1))))))) , ((potential((tk(P1500)>=1)))) ))
PROPERTY: CloudReconfiguration-PT-312-CTLFireability-09 (AF( (EG( ( (! ((potential((tk(P155)>=1))))) | ((potential((tk(P1274)>=1)))) )))))
PROPERTY: CloudReconfiguration-PT-312-CTLFireability-10 (EF( ( (EU( ((potential((tk(P1489)>=1)))) , ((potential((tk(P1059)>=1)))) )) | ((potential((tk(P1300)>=1)))) )))
PROPERTY: CloudReconfiguration-PT-312-CTLFireability-11 (! ( ( ( ( ( ((potential((tk(P573)>=1) & (tk(P668)>=1)))) & ((potential((tk(P1474)>=1)))) ) | ( ((potential((tk(P1770)>=1)))) & ((potential((tk(P2305)>=1)))) ) ) | (AF( ((potential((tk(P1714)>=1)))))) ) & ( (! ((potential((tk(P742)>=1))))) | (! ( ((potential((tk(P2265)>=1)))) & ((potential((tk(P312)>=1)))) )) ) ) | ( (! ( (! ((potential((tk(P2080)>=1))))) & ( ((potential((tk(P1821)>=1)))) & ((potential((tk(P155)>=1)))) ) )) & ( (AG( ((potential((tk(P2374)>=1)))))) | (AG( ((potential((tk(P2218)>=1)))))) ) ) ))
PROPERTY: CloudReconfiguration-PT-312-CTLFireability-12 ( (! (EG( (! ((potential((tk(P1230)>=1)))))))) | ( ((potential((tk(P313)>=1)))) | ((potential((tk(P2300)>=1)))) ) )
PROPERTY: CloudReconfiguration-PT-312-CTLFireability-13 (! (AU( ( (! ((potential((tk(P1098)>=1))))) | ( ((potential((tk(P573)>=1)))) & ((potential((tk(P2557)>=1)))) ) ) , (AX( ((potential((tk(P573)>=1) & (tk(P2528)>=1)))))) )))
PROPERTY: CloudReconfiguration-PT-312-CTLFireability-14 (EU( (EF( ((potential((tk(P2535)>=1)))))) , ( ((potential((tk(P2437)>=1)))) | (EG( ((potential((tk(P1103)>=1)))))) ) ))
PROPERTY: CloudReconfiguration-PT-312-CTLFireability-15 (EF( ((potential((tk(P655)>=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-312"
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-312, 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-158902541700092"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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