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

About the Execution of smart for CloudReconfiguration-PT-319

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15764.770 3600000.00 3600080.00 0.00 [undef] Time out reached

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902541800148.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-319, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902541800148
=====================================================================

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

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1589099188313

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 319
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: 2587 places, 3099 transitions, 6479 arcs.
AT ITER 0 NEW BEST:: SOT 4458368 SOS 744475 HAS SOPS 744475 HAS SOUS 686763 HAS SOUPS 686763 WITH SCORE 687507.475
AT ITER 1 NEW BEST:: SOT 4458355 SOS 744449 HAS SOPS 744449 HAS SOUS 686737 HAS SOUPS 686737 WITH SCORE 687481.449
AT ITER 45 NEW BEST:: SOT 4457551 SOS 743399 HAS SOPS 743399 HAS SOUS 685668 HAS SOUPS 685668 WITH SCORE 686411.399
AT ITER 55 NEW BEST:: SOT 4457688 SOS 743382 HAS SOPS 743382 HAS SOUS 685663 HAS SOUPS 685663 WITH SCORE 686406.382
AT ITER 108 NEW BEST:: SOT 4457662 SOS 743330 HAS SOPS 743330 HAS SOUS 685611 HAS SOUPS 685611 WITH SCORE 686354.33
AT ITER 149 NEW BEST:: SOT 4457662 SOS 743274 HAS SOPS 743274 HAS SOUS 685610 HAS SOUPS 685610 WITH SCORE 686353.274
AT ITER 187 NEW BEST:: SOT 4457641 SOS 743274 HAS SOPS 743274 HAS SOUS 685609 HAS SOUPS 685609 WITH SCORE 686352.274
AT ITER 207 NEW BEST:: SOT 4457640 SOS 743272 HAS SOPS 743272 HAS SOUS 685607 HAS SOUPS 685607 WITH SCORE 686350.272
AT ITER 216 NEW BEST:: SOT 4457640 SOS 743120 HAS SOPS 743120 HAS SOUS 685607 HAS SOUPS 685607 WITH SCORE 686350.12
AT ITER 230 NEW BEST:: SOT 4457558 SOS 743040 HAS SOPS 743040 HAS SOUS 685527 HAS SOUPS 685527 WITH SCORE 686270.04
AT ITER 233 NEW BEST:: SOT 4457270 SOS 743064 HAS SOPS 743064 HAS SOUS 685401 HAS SOUPS 685401 WITH SCORE 686144.064
AT ITER 250 NEW BEST:: SOT 4455949 SOS 743091 HAS SOPS 743091 HAS SOUS 684584 HAS SOUPS 684584 WITH SCORE 685327.091
AT ITER 259 NEW BEST:: SOT 4455949 SOS 742953 HAS SOPS 742953 HAS SOUS 684584 HAS SOUPS 684584 WITH SCORE 685326.953
AT ITER 260 NEW BEST:: SOT 4456198 SOS 743451 HAS SOPS 743451 HAS SOUS 684433 HAS SOUPS 684433 WITH SCORE 685176.451
AT ITER 285 NEW BEST:: SOT 4456165 SOS 743385 HAS SOPS 743385 HAS SOUS 684367 HAS SOUPS 684367 WITH SCORE 685110.385
AT ITER 289 NEW BEST:: SOT 4455857 SOS 742769 HAS SOPS 742769 HAS SOUS 683751 HAS SOUPS 683751 WITH SCORE 684493.769
AT ITER 293 NEW BEST:: SOT 4455851 SOS 742757 HAS SOPS 742757 HAS SOUS 683739 HAS SOUPS 683739 WITH SCORE 684481.757
AT ITER 305 NEW BEST:: SOT 4455401 SOS 742307 HAS SOPS 742307 HAS SOUS 683289 HAS SOUPS 683289 WITH SCORE 684031.307
AT ITER 346 NEW BEST:: SOT 4455331 SOS 742237 HAS SOPS 742237 HAS SOUS 683219 HAS SOUPS 683219 WITH SCORE 683961.237
AT ITER 390 NEW BEST:: SOT 4454165 SOS 742677 HAS SOPS 742677 HAS SOUS 682116 HAS SOUPS 682116 WITH SCORE 682858.677
AT ITER 396 NEW BEST:: SOT 4453985 SOS 742497 HAS SOPS 742497 HAS SOUS 681936 HAS SOUPS 681936 WITH SCORE 682678.497
AT ITER 418 NEW BEST:: SOT 4453766 SOS 741839 HAS SOPS 741839 HAS SOUS 681283 HAS SOUPS 681283 WITH SCORE 682024.839
AT ITER 466 NEW BEST:: SOT 4453965 SOS 741839 HAS SOPS 741839 HAS SOUS 681282 HAS SOUPS 681282 WITH SCORE 682023.839
AT ITER 474 NEW BEST:: SOT 4453926 SOS 741663 HAS SOPS 741663 HAS SOUS 681145 HAS SOUPS 681145 WITH SCORE 681886.663
AT ITER 490 NEW BEST:: SOT 4453727 SOS 741581 HAS SOPS 741581 HAS SOUS 680959 HAS SOUPS 680959 WITH SCORE 681700.581
AT ITER 505 NEW BEST:: SOT 4453727 SOS 741357 HAS SOPS 741357 HAS SOUS 680959 HAS SOUPS 680959 WITH SCORE 681700.357
AT ITER 508 NEW BEST:: SOT 4453727 SOS 741089 HAS SOPS 741089 HAS SOUS 680959 HAS SOUPS 680959 WITH SCORE 681700.089
AT ITER 518 NEW BEST:: SOT 4453487 SOS 740849 HAS SOPS 740849 HAS SOUS 680719 HAS SOUPS 680719 WITH SCORE 681459.849
AT ITER 556 NEW BEST:: SOT 4453500 SOS 740293 HAS SOPS 740293 HAS SOUS 680441 HAS SOUPS 680441 WITH SCORE 681181.293
AT ITER 565 NEW BEST:: SOT 4453419 SOS 739705 HAS SOPS 739705 HAS SOUS 680043 HAS SOUPS 680043 WITH SCORE 680782.705
AT ITER 593 NEW BEST:: SOT 4453419 SOS 739705 HAS SOPS 739705 HAS SOUS 680040 HAS SOUPS 680040 WITH SCORE 680779.705
AT ITER 602 NEW BEST:: SOT 4453223 SOS 739077 HAS SOPS 739077 HAS SOUS 679608 HAS SOUPS 679608 WITH SCORE 680347.077
AT ITER 609 NEW BEST:: SOT 4452823 SOS 739291 HAS SOPS 739291 HAS SOUS 679598 HAS SOUPS 679598 WITH SCORE 680337.291
AT ITER 625 NEW BEST:: SOT 4452822 SOS 739289 HAS SOPS 739289 HAS SOUS 679596 HAS SOUPS 679596 WITH SCORE 680335.289
AT ITER 642 NEW BEST:: SOT 4452771 SOS 739187 HAS SOPS 739187 HAS SOUS 679494 HAS SOUPS 679494 WITH SCORE 680233.187
AT ITER 667 NEW BEST:: SOT 4452771 SOS 739028 HAS SOPS 739028 HAS SOUS 679494 HAS SOUPS 679494 WITH SCORE 680233.028
AT ITER 682 NEW BEST:: SOT 4452474 SOS 738731 HAS SOPS 738731 HAS SOUS 679197 HAS SOUPS 679197 WITH SCORE 679935.731
AT ITER 685 NEW BEST:: SOT 4452822 SOS 739427 HAS SOPS 739427 HAS SOUS 679132 HAS SOUPS 679132 WITH SCORE 679871.427
AT ITER 715 NEW BEST:: SOT 4452821 SOS 739425 HAS SOPS 739425 HAS SOUS 679130 HAS SOUPS 679130 WITH SCORE 679869.425
AT ITER 719 NEW BEST:: SOT 4452821 SOS 739120 HAS SOPS 739120 HAS SOUS 679130 HAS SOUPS 679130 WITH SCORE 679869.12
AT ITER 734 NEW BEST:: SOT 4452603 SOS 738684 HAS SOPS 738684 HAS SOUS 678694 HAS SOUPS 678694 WITH SCORE 679432.684
AT ITER 748 NEW BEST:: SOT 4452603 SOS 705543 HAS SOPS 705543 HAS SOUS 678694 HAS SOUPS 678694 WITH SCORE 679399.543
AT ITER 787 NEW BEST:: SOT 4452603 SOS 705344 HAS SOPS 705344 HAS SOUS 678694 HAS SOUPS 678694 WITH SCORE 679399.344
AT ITER 789 NEW BEST:: SOT 4452644 SOS 705426 HAS SOPS 705426 HAS SOUS 678508 HAS SOUPS 678508 WITH SCORE 679213.426
AT ITER 807 NEW BEST:: SOT 4452644 SOS 705419 HAS SOPS 705419 HAS SOUS 678507 HAS SOUPS 678507 WITH SCORE 679212.419
AT ITER 810 NEW BEST:: SOT 4452608 SOS 705347 HAS SOPS 705347 HAS SOUS 678435 HAS SOUPS 678435 WITH SCORE 679140.347
AT ITER 816 NEW BEST:: SOT 4452596 SOS 705323 HAS SOPS 705323 HAS SOUS 678244 HAS SOUPS 678244 WITH SCORE 678949.323
AT ITER 831 NEW BEST:: SOT 4452596 SOS 705285 HAS SOPS 705285 HAS SOUS 678244 HAS SOUPS 678244 WITH SCORE 678949.285
AT ITER 839 NEW BEST:: SOT 4452596 SOS 705254 HAS SOPS 705254 HAS SOUS 678213 HAS SOUPS 678213 WITH SCORE 678918.254
AT ITER 851 NEW BEST:: SOT 4452596 SOS 705254 HAS SOPS 705254 HAS SOUS 677977 HAS SOUPS 677977 WITH SCORE 678682.254
AT ITER 895 NEW BEST:: SOT 4452596 SOS 705254 HAS SOPS 705254 HAS SOUS 677976 HAS SOUPS 677976 WITH SCORE 678681.254
AT ITER 942 NEW BEST:: SOT 4452331 SOS 705284 HAS SOPS 705284 HAS SOUS 677865 HAS SOUPS 677865 WITH SCORE 678570.284
AT ITER 944 NEW BEST:: SOT 4452436 SOS 705261 HAS SOPS 705261 HAS SOUS 677826 HAS SOUPS 677826 WITH SCORE 678531.261
AT ITER 973 NEW BEST:: SOT 4452288 SOS 704965 HAS SOPS 704965 HAS SOUS 677530 HAS SOUPS 677530 WITH SCORE 678234.965
AT ITER 981 NEW BEST:: SOT 4451916 SOS 704593 HAS SOPS 704593 HAS SOUS 677158 HAS SOUPS 677158 WITH SCORE 677862.593
AT ITER 984 NEW BEST:: SOT 4451954 SOS 704669 HAS SOPS 704669 HAS SOUS 677043 HAS SOUPS 677043 WITH SCORE 677747.669
AT ITER 1010 NEW BEST:: SOT 4451802 SOS 704555 HAS SOPS 704555 HAS SOUS 676929 HAS SOUPS 676929 WITH SCORE 677633.555
AT ITER 1028 NEW BEST:: SOT 4451714 SOS 704379 HAS SOPS 704379 HAS SOUS 676753 HAS SOUPS 676753 WITH SCORE 677457.379
AT ITER 1062 NEW BEST:: SOT 4451714 SOS 704379 HAS SOPS 704379 HAS SOUS 676751 HAS SOUPS 676751 WITH SCORE 677455.379
AT ITER 1071 NEW BEST:: SOT 4451663 SOS 704277 HAS SOPS 704277 HAS SOUS 676649 HAS SOUPS 676649 WITH SCORE 677353.277
AT ITER 1079 NEW BEST:: SOT 4451281 SOS 703895 HAS SOPS 703895 HAS SOUS 676267 HAS SOUPS 676267 WITH SCORE 676970.895
AT ITER 1134 NEW BEST:: SOT 4451281 SOS 703895 HAS SOPS 703895 HAS SOUS 676266 HAS SOUPS 676266 WITH SCORE 676969.895
AT ITER 1210 NEW BEST:: SOT 4451056 SOS 703445 HAS SOPS 703445 HAS SOUS 675816 HAS SOUPS 675816 WITH SCORE 676519.445
AT ITER 1242 NEW BEST:: SOT 4450998 SOS 703435 HAS SOPS 703435 HAS SOUS 675815 HAS SOUPS 675815 WITH SCORE 676518.435
AT ITER 1244 NEW BEST:: SOT 4450998 SOS 703387 HAS SOPS 703387 HAS SOUS 675812 HAS SOUPS 675812 WITH SCORE 676515.387
AT ITER 1258 NEW BEST:: SOT 4450842 SOS 703263 HAS SOPS 703263 HAS SOUS 675656 HAS SOUPS 675656 WITH SCORE 676359.263
AT ITER 1262 NEW BEST:: SOT 4450583 SOS 702745 HAS SOPS 702745 HAS SOUS 675138 HAS SOUPS 675138 WITH SCORE 675840.745
AT ITER 1266 NEW BEST:: SOT 4450496 SOS 702571 HAS SOPS 702571 HAS SOUS 674964 HAS SOUPS 674964 WITH SCORE 675666.571
AT ITER 1308 NEW BEST:: SOT 4450496 SOS 702475 HAS SOPS 702475 HAS SOUS 674868 HAS SOUPS 674868 WITH SCORE 675570.475
AT ITER 1313 NEW BEST:: SOT 4450429 SOS 702341 HAS SOPS 702341 HAS SOUS 674734 HAS SOUPS 674734 WITH SCORE 675436.341
AT ITER 1324 NEW BEST:: SOT 4450337 SOS 702157 HAS SOPS 702157 HAS SOUS 674501 HAS SOUPS 674501 WITH SCORE 675203.157
AT ITER 1340 NEW BEST:: SOT 4450474 SOS 702044 HAS SOPS 702044 HAS SOUS 674388 HAS SOUPS 674388 WITH SCORE 675090.044
AT ITER 1360 NEW BEST:: SOT 4450474 SOS 702007 HAS SOPS 702007 HAS SOUS 674388 HAS SOUPS 674388 WITH SCORE 675090.007
AT ITER 1367 NEW BEST:: SOT 4450473 SOS 702005 HAS SOPS 702005 HAS SOUS 674386 HAS SOUPS 674386 WITH SCORE 675088.005
AT ITER 1374 NEW BEST:: SOT 4450428 SOS 702076 HAS SOPS 702076 HAS SOUS 674340 HAS SOUPS 674340 WITH SCORE 675042.076
AT ITER 1396 NEW BEST:: SOT 4450405 SOS 702076 HAS SOPS 702076 HAS SOUS 674326 HAS SOUPS 674326 WITH SCORE 675028.076
AT ITER 1399 NEW BEST:: SOT 4449564 SOS 701422 HAS SOPS 701422 HAS SOUS 673531 HAS SOUPS 673531 WITH SCORE 674232.422
AT ITER 1414 NEW BEST:: SOT 4449512 SOS 701317 HAS SOPS 701317 HAS SOUS 673138 HAS SOUPS 673138 WITH SCORE 673839.317
AT ITER 1457 NEW BEST:: SOT 4449703 SOS 701191 HAS SOPS 701191 HAS SOUS 673075 HAS SOUPS 673075 WITH SCORE 673776.191
AT ITER 1462 NEW BEST:: SOT 4449703 SOS 701161 HAS SOPS 701161 HAS SOUS 673075 HAS SOUPS 673075 WITH SCORE 673776.161
AT ITER 1465 NEW BEST:: SOT 4449703 SOS 701018 HAS SOPS 701018 HAS SOUS 673074 HAS SOUPS 673074 WITH SCORE 673775.018
AT ITER 1487 NEW BEST:: SOT 4449377 SOS 700996 HAS SOPS 700996 HAS SOUS 672851 HAS SOUPS 672851 WITH SCORE 673551.996
AT ITER 1489 NEW BEST:: SOT 4449169 SOS 700794 HAS SOPS 700794 HAS SOUS 672649 HAS SOUPS 672649 WITH SCORE 673349.794
AT ITER 1501 NEW BEST:: SOT 4449217 SOS 700534 HAS SOPS 700534 HAS SOUS 672463 HAS SOUPS 672463 WITH SCORE 673163.534
AT ITER 1509 NEW BEST:: SOT 4449217 SOS 700296 HAS SOPS 700296 HAS SOUS 672225 HAS SOUPS 672225 WITH SCORE 672925.296
AT ITER 1530 NEW BEST:: SOT 4449150 SOS 700252 HAS SOPS 700252 HAS SOUS 672181 HAS SOUPS 672181 WITH SCORE 672881.252
AT ITER 1546 NEW BEST:: SOT 4449072 SOS 700296 HAS SOPS 700296 HAS SOUS 671972 HAS SOUPS 671972 WITH SCORE 672672.296
AT ITER 1561 NEW BEST:: SOT 4449025 SOS 700202 HAS SOPS 700202 HAS SOUS 671878 HAS SOUPS 671878 WITH SCORE 672578.202
AT ITER 1570 NEW BEST:: SOT 4449025 SOS 700106 HAS SOPS 700106 HAS SOUS 671782 HAS SOUPS 671782 WITH SCORE 672482.106
AT ITER 1575 NEW BEST:: SOT 4448973 SOS 700066 HAS SOPS 700066 HAS SOUS 671742 HAS SOUPS 671742 WITH SCORE 672442.066
AT ITER 1585 NEW BEST:: SOT 4448856 SOS 699832 HAS SOPS 699832 HAS SOUS 671508 HAS SOUPS 671508 WITH SCORE 672207.832
AT ITER 1655 NEW BEST:: SOT 4448479 SOS 700259 HAS SOPS 700259 HAS SOUS 671311 HAS SOUPS 671311 WITH SCORE 672011.259
AT ITER 1660 NEW BEST:: SOT 4448432 SOS 700165 HAS SOPS 700165 HAS SOUS 671217 HAS SOUPS 671217 WITH SCORE 671917.165
AT ITER 1672 NEW BEST:: SOT 4448195 SOS 699691 HAS SOPS 699691 HAS SOUS 670743 HAS SOUPS 670743 WITH SCORE 671442.691
AT ITER 1684 NEW BEST:: SOT 4448052 SOS 700063 HAS SOPS 700063 HAS SOUS 670584 HAS SOUPS 670584 WITH SCORE 671284.063
AT ITER 1701 NEW BEST:: SOT 4448052 SOS 700024 HAS SOPS 700024 HAS SOUS 670584 HAS SOUPS 670584 WITH SCORE 671284.024
AT ITER 1715 NEW BEST:: SOT 4448051 SOS 700022 HAS SOPS 700022 HAS SOUS 670582 HAS SOUPS 670582 WITH SCORE 671282.022
AT ITER 1716 NEW BEST:: SOT 4447968 SOS 699856 HAS SOPS 699856 HAS SOUS 670416 HAS SOUPS 670416 WITH SCORE 671115.856
AT ITER 1727 NEW BEST:: SOT 4447914 SOS 699855 HAS SOPS 699855 HAS SOUS 670415 HAS SOUPS 670415 WITH SCORE 671114.855
AT ITER 1758 NEW BEST:: SOT 4447914 SOS 699854 HAS SOPS 699854 HAS SOUS 670414 HAS SOUPS 670414 WITH SCORE 671113.854
AT ITER 1773 NEW BEST:: SOT 4447914 SOS 699638 HAS SOPS 699638 HAS SOUS 670198 HAS SOUPS 670198 WITH SCORE 670897.638
AT ITER 1779 NEW BEST:: SOT 4447647 SOS 699610 HAS SOPS 699610 HAS SOUS 670029 HAS SOUPS 670029 WITH SCORE 670728.61
AT ITER 1811 NEW BEST:: SOT 4447647 SOS 699610 HAS SOPS 699610 HAS SOUS 669973 HAS SOUPS 669973 WITH SCORE 670672.61
AT ITER 1830 NEW BEST:: SOT 4447452 SOS 699220 HAS SOPS 699220 HAS SOUS 669583 HAS SOUPS 669583 WITH SCORE 670282.22
AT ITER 1837 NEW BEST:: SOT 4447281 SOS 698878 HAS SOPS 698878 HAS SOUS 669324 HAS SOUPS 669324 WITH SCORE 670022.878
AT ITER 1845 NEW BEST:: SOT 4447281 SOS 698878 HAS SOPS 698878 HAS SOUS 669120 HAS SOUPS 669120 WITH SCORE 669818.878
AT ITER 1892 NEW BEST:: SOT 4447178 SOS 698672 HAS SOPS 698672 HAS SOUS 669014 HAS SOUPS 669014 WITH SCORE 669712.672
AT ITER 1898 NEW BEST:: SOT 4446752 SOS 697820 HAS SOPS 697820 HAS SOUS 668162 HAS SOUPS 668162 WITH SCORE 668859.82
AT ITER 1901 NEW BEST:: SOT 4446312 SOS 698460 HAS SOPS 698460 HAS SOUS 668134 HAS SOUPS 668134 WITH SCORE 668832.46
AT ITER 1903 NEW BEST:: SOT 4446311 SOS 698458 HAS SOPS 698458 HAS SOUS 668132 HAS SOUPS 668132 WITH SCORE 668830.458
AT ITER 1914 NEW BEST:: SOT 4446202 SOS 698240 HAS SOPS 698240 HAS SOUS 667893 HAS SOUPS 667893 WITH SCORE 668591.24
AT ITER 1920 NEW BEST:: SOT 4446143 SOS 698122 HAS SOPS 698122 HAS SOUS 667711 HAS SOUPS 667711 WITH SCORE 668409.122
AT ITER 1937 NEW BEST:: SOT 4446143 SOS 698121 HAS SOPS 698121 HAS SOUS 667673 HAS SOUPS 667673 WITH SCORE 668371.121
AT ITER 1948 NEW BEST:: SOT 4446080 SOS 697995 HAS SOPS 697995 HAS SOUS 667480 HAS SOUPS 667480 WITH SCORE 668177.995
AT ITER 1955 NEW BEST:: SOT 4446062 SOS 697959 HAS SOPS 697959 HAS SOUS 667369 HAS SOUPS 667369 WITH SCORE 668066.959
AT ITER 1981 NEW BEST:: SOT 4445941 SOS 697717 HAS SOPS 697717 HAS SOUS 667127 HAS SOUPS 667127 WITH SCORE 667824.717
AT ITER 2033 NEW BEST:: SOT 4445933 SOS 697701 HAS SOPS 697701 HAS SOUS 666955 HAS SOUPS 666955 WITH SCORE 667652.701
AT ITER 2037 NEW BEST:: SOT 4445948 SOS 697731 HAS SOPS 697731 HAS SOUS 666654 HAS SOUPS 666654 WITH SCORE 667351.731
AT ITER 2055 NEW BEST:: SOT 4446068 SOS 697351 HAS SOPS 697351 HAS SOUS 666464 HAS SOUPS 666464 WITH SCORE 667161.351
AT ITER 2073 NEW BEST:: SOT 4446068 SOS 697277 HAS SOPS 697277 HAS SOUS 666427 HAS SOUPS 666427 WITH SCORE 667124.277
AT ITER 2083 NEW BEST:: SOT 4446011 SOS 697163 HAS SOPS 697163 HAS SOUS 666313 HAS SOUPS 666313 WITH SCORE 667010.163
AT ITER 2116 NEW BEST:: SOT 4445964 SOS 697281 HAS SOPS 697281 HAS SOUS 666266 HAS SOUPS 666266 WITH SCORE 666963.281
AT ITER 2118 NEW BEST:: SOT 4445963 SOS 697279 HAS SOPS 697279 HAS SOUS 666264 HAS SOUPS 666264 WITH SCORE 666961.279
AT ITER 2130 NEW BEST:: SOT 4445830 SOS 697013 HAS SOPS 697013 HAS SOUS 665998 HAS SOUPS 665998 WITH SCORE 666695.013
AT ITER 2144 NEW BEST:: SOT 4445829 SOS 697011 HAS SOPS 697011 HAS SOUS 665996 HAS SOUPS 665996 WITH SCORE 666693.011
AT ITER 2145 NEW BEST:: SOT 4445829 SOS 696942 HAS SOPS 696942 HAS SOUS 665927 HAS SOUPS 665927 WITH SCORE 666623.942
AT ITER 2172 NEW BEST:: SOT 4445741 SOS 696942 HAS SOPS 696942 HAS SOUS 665839 HAS SOUPS 665839 WITH SCORE 666535.942
AT ITER 2196 NEW BEST:: SOT 4445741 SOS 696941 HAS SOPS 696941 HAS SOUS 665838 HAS SOUPS 665838 WITH SCORE 666534.941
AT ITER 2208 NEW BEST:: SOT 4445862 SOS 697183 HAS SOPS 697183 HAS SOUS 665806 HAS SOUPS 665806 WITH SCORE 666503.183
AT ITER 2219 NEW BEST:: SOT 4445673 SOS 696805 HAS SOPS 696805 HAS SOUS 665617 HAS SOUPS 665617 WITH SCORE 666313.805
AT ITER 2238 NEW BEST:: SOT 4445853 SOS 697165 HAS SOPS 697165 HAS SOUS 665584 HAS SOUPS 665584 WITH SCORE 666281.165
AT ITER 2239 NEW BEST:: SOT 4443161 SOS 727061 HAS SOPS 727061 HAS SOUS 664072 HAS SOUPS 664072 WITH SCORE 664799.061
AT ITER 2242 NEW BEST:: SOT 4443138 SOS 727015 HAS SOPS 727015 HAS SOUS 664058 HAS SOUPS 664058 WITH SCORE 664785.015
AT ITER 2243 NEW BEST:: SOT 4443043 SOS 727015 HAS SOPS 727015 HAS SOUS 663963 HAS SOUPS 663963 WITH SCORE 664690.015
AT ITER 2244 NEW BEST:: SOT 4442904 SOS 726737 HAS SOPS 726737 HAS SOUS 663963 HAS SOUPS 663963 WITH SCORE 664689.737
AT ITER 2260 NEW BEST:: SOT 4442895 SOS 726719 HAS SOPS 726719 HAS SOUS 663954 HAS SOUPS 663954 WITH SCORE 664680.719
AT ITER 2261 NEW BEST:: SOT 4442861 SOS 726685 HAS SOPS 726685 HAS SOUS 663920 HAS SOUPS 663920 WITH SCORE 664646.685
AT ITER 2310 NEW BEST:: SOT 4442545 SOS 726053 HAS SOPS 726053 HAS SOUS 663619 HAS SOUPS 663619 WITH SCORE 664345.053
AT ITER 2327 NEW BEST:: SOT 4442507 SOS 726015 HAS SOPS 726015 HAS SOUS 663543 HAS SOUPS 663543 WITH SCORE 664269.015
AT ITER 2343 NEW BEST:: SOT 4441932 SOS 724865 HAS SOPS 724865 HAS SOUS 663274 HAS SOUPS 663274 WITH SCORE 663998.865
AT ITER 2375 NEW BEST:: SOT 4441850 SOS 724701 HAS SOPS 724701 HAS SOUS 663110 HAS SOUPS 663110 WITH SCORE 663834.701
AT ITER 2418 NEW BEST:: SOT 4441850 SOS 724665 HAS SOPS 724665 HAS SOUS 663074 HAS SOUPS 663074 WITH SCORE 663798.665
AT ITER 2449 NEW BEST:: SOT 4441684 SOS 724333 HAS SOPS 724333 HAS SOUS 662742 HAS SOUPS 662742 WITH SCORE 663466.333
AT ITER 2472 NEW BEST:: SOT 4441632 SOS 724229 HAS SOPS 724229 HAS SOUS 662690 HAS SOUPS 662690 WITH SCORE 663414.229
AT ITER 2510 NEW BEST:: SOT 4441720 SOS 724129 HAS SOPS 724129 HAS SOUS 662686 HAS SOUPS 662686 WITH SCORE 663410.129
AT ITER 2526 NEW BEST:: SOT 4441637 SOS 724117 HAS SOPS 724117 HAS SOUS 662602 HAS SOUPS 662602 WITH SCORE 663326.117
AT ITER 2534 NEW BEST:: SOT 4441591 SOS 724025 HAS SOPS 724025 HAS SOUS 662510 HAS SOUPS 662510 WITH SCORE 663234.025
AT ITER 2535 NEW BEST:: SOT 4441453 SOS 723925 HAS SOPS 723925 HAS SOUS 662410 HAS SOUPS 662410 WITH SCORE 663133.925
AT ITER 2548 NEW BEST:: SOT 4441453 SOS 723925 HAS SOPS 723925 HAS SOUS 662359 HAS SOUPS 662359 WITH SCORE 663082.925
AT ITER 2553 NEW BEST:: SOT 4441308 SOS 723490 HAS SOPS 723490 HAS SOUS 662069 HAS SOUPS 662069 WITH SCORE 662792.49
AT ITER 2615 NEW BEST:: SOT 4440486 SOS 722531 HAS SOPS 722531 HAS SOUS 661110 HAS SOUPS 661110 WITH SCORE 661832.531
AT ITER 2616 NEW BEST:: SOT 4440384 SOS 722327 HAS SOPS 722327 HAS SOUS 660906 HAS SOUPS 660906 WITH SCORE 661628.327
AT ITER 2657 NEW BEST:: SOT 4440332 SOS 722045 HAS SOPS 722045 HAS SOUS 660676 HAS SOUPS 660676 WITH SCORE 661398.045
AT ITER 2659 NEW BEST:: SOT 4440236 SOS 722045 HAS SOPS 722045 HAS SOUS 660580 HAS SOUPS 660580 WITH SCORE 661302.045
AT ITER 2666 NEW BEST:: SOT 4440314 SOS 721934 HAS SOPS 721934 HAS SOUS 660504 HAS SOUPS 660504 WITH SCORE 661225.934
AT ITER 2706 NEW BEST:: SOT 4439879 SOS 721422 HAS SOPS 721422 HAS SOUS 659954 HAS SOUPS 659954 WITH SCORE 660675.422
AT ITER 2713 NEW BEST:: SOT 4439879 SOS 721335 HAS SOPS 721335 HAS SOUS 659867 HAS SOUPS 659867 WITH SCORE 660588.335
AT ITER 2735 NEW BEST:: SOT 4439813 SOS 721313 HAS SOPS 721313 HAS SOUS 659801 HAS SOUPS 659801 WITH SCORE 660522.313
AT ITER 2749 NEW BEST:: SOT 4439986 SOS 721202 HAS SOPS 721202 HAS SOUS 659690 HAS SOUPS 659690 WITH SCORE 660411.202
AT ITER 2750 NEW BEST:: SOT 4440030 SOS 721065 HAS SOPS 721065 HAS SOUS 659553 HAS SOUPS 659553 WITH SCORE 660274.065
AT ITER 2766 NEW BEST:: SOT 4440174 SOS 721013 HAS SOPS 721013 HAS SOUS 659527 HAS SOUPS 659527 WITH SCORE 660248.013
AT ITER 2767 NEW BEST:: SOT 4440079 SOS 720823 HAS SOPS 720823 HAS SOUS 659337 HAS SOUPS 659337 WITH SCORE 660057.823
AT ITER 2775 NEW BEST:: SOT 4440078 SOS 720821 HAS SOPS 720821 HAS SOUS 659335 HAS SOUPS 659335 WITH SCORE 660055.821
AT ITER 2877 NEW BEST:: SOT 4440005 SOS 720675 HAS SOPS 720675 HAS SOUS 659219 HAS SOUPS 659219 WITH SCORE 659939.675
AT ITER 2878 NEW BEST:: SOT 4439987 SOS 720639 HAS SOPS 720639 HAS SOUS 659219 HAS SOUPS 659219 WITH SCORE 659939.639
AT ITER 2886 NEW BEST:: SOT 4439648 SOS 720447 HAS SOPS 720447 HAS SOUS 658880 HAS SOUPS 658880 WITH SCORE 659600.447
AT ITER 2900 NEW BEST:: SOT 4439508 SOS 720167 HAS SOPS 720167 HAS SOUS 658562 HAS SOUPS 658562 WITH SCORE 659282.167
AT ITER 2901 NEW BEST:: SOT 4439480 SOS 720111 HAS SOPS 720111 HAS SOUS 658506 HAS SOUPS 658506 WITH SCORE 659226.111
AT ITER 2909 NEW BEST:: SOT 4439426 SOS 720075 HAS SOPS 720075 HAS SOUS 658452 HAS SOUPS 658452 WITH SCORE 659172.075
AT ITER 2943 NEW BEST:: SOT 4439365 SOS 719953 HAS SOPS 719953 HAS SOUS 658391 HAS SOUPS 658391 WITH SCORE 659110.953
AT ITER 2964 NEW BEST:: SOT 4439348 SOS 719919 HAS SOPS 719919 HAS SOUS 658357 HAS SOUPS 658357 WITH SCORE 659076.919
AT ITER 2981 NEW BEST:: SOT 4439381 SOS 719625 HAS SOPS 719625 HAS SOUS 658210 HAS SOUPS 658210 WITH SCORE 658929.625
AT ITER 2982 NEW BEST:: SOT 4439145 SOS 719153 HAS SOPS 719153 HAS SOUS 657738 HAS SOUPS 657738 WITH SCORE 658457.153
AT ITER 2986 NEW BEST:: SOT 4439137 SOS 719137 HAS SOPS 719137 HAS SOUS 657730 HAS SOUPS 657730 WITH SCORE 658449.137
AT ITER 3010 NEW BEST:: SOT 4439137 SOS 719137 HAS SOPS 719137 HAS SOUS 657490 HAS SOUPS 657490 WITH SCORE 658209.137
AT ITER 3022 NEW BEST:: SOT 4439127 SOS 719117 HAS SOPS 719117 HAS SOUS 657470 HAS SOUPS 657470 WITH SCORE 658189.117
AT ITER 3027 NEW BEST:: SOT 4439091 SOS 719081 HAS SOPS 719081 HAS SOUS 657434 HAS SOUPS 657434 WITH SCORE 658153.081
AT ITER 3039 NEW BEST:: SOT 4438870 SOS 718639 HAS SOPS 718639 HAS SOUS 656992 HAS SOUPS 656992 WITH SCORE 657710.639
AT ITER 3060 NEW BEST:: SOT 4438803 SOS 718504 HAS SOPS 718504 HAS SOUS 656729 HAS SOUPS 656729 WITH SCORE 657447.504
AT ITER 3072 NEW BEST:: SOT 4438800 SOS 718498 HAS SOPS 718498 HAS SOUS 656723 HAS SOUPS 656723 WITH SCORE 657441.498
AT ITER 3085 NEW BEST:: SOT 4438573 SOS 718214 HAS SOPS 718214 HAS SOUS 656439 HAS SOUPS 656439 WITH SCORE 657157.214
AT ITER 3087 NEW BEST:: SOT 4438448 SOS 718218 HAS SOPS 718218 HAS SOUS 656316 HAS SOUPS 656316 WITH SCORE 657034.218
AT ITER 3096 NEW BEST:: SOT 4438437 SOS 718196 HAS SOPS 718196 HAS SOUS 656294 HAS SOUPS 656294 WITH SCORE 657012.196
AT ITER 3101 NEW BEST:: SOT 4438413 SOS 718148 HAS SOPS 718148 HAS SOUS 656099 HAS SOUPS 656099 WITH SCORE 656817.148
AT ITER 3104 NEW BEST:: SOT 4438309 SOS 718173 HAS SOPS 718173 HAS SOUS 656007 HAS SOUPS 656007 WITH SCORE 656725.173
AT ITER 3123 NEW BEST:: SOT 4437928 SOS 717931 HAS SOPS 717931 HAS SOUS 655676 HAS SOUPS 655676 WITH SCORE 656393.931
AT ITER 3128 NEW BEST:: SOT 4437546 SOS 717167 HAS SOPS 717167 HAS SOUS 654912 HAS SOUPS 654912 WITH SCORE 655629.167
AT ITER 3140 NEW BEST:: SOT 4437474 SOS 717023 HAS SOPS 717023 HAS SOUS 654840 HAS SOUPS 654840 WITH SCORE 655557.023
AT ITER 3155 NEW BEST:: SOT 4437219 SOS 716768 HAS SOPS 716768 HAS SOUS 654585 HAS SOUPS 654585 WITH SCORE 655301.768
AT ITER 3161 NEW BEST:: SOT 4437198 SOS 716768 HAS SOPS 716768 HAS SOUS 654564 HAS SOUPS 654564 WITH SCORE 655280.768
AT ITER 3170 NEW BEST:: SOT 4437197 SOS 716835 HAS SOPS 716835 HAS SOUS 654563 HAS SOUPS 654563 WITH SCORE 655279.835
AT ITER 3190 NEW BEST:: SOT 4437159 SOS 716759 HAS SOPS 716759 HAS SOUS 654487 HAS SOUPS 654487 WITH SCORE 655203.759
AT ITER 3206 NEW BEST:: SOT 4437427 SOS 716704 HAS SOPS 716704 HAS SOUS 654310 HAS SOUPS 654310 WITH SCORE 655026.704
AT ITER 3241 NEW BEST:: SOT 4437187 SOS 716474 HAS SOPS 716474 HAS SOUS 653950 HAS SOUPS 653950 WITH SCORE 654666.474
AT ITER 3314 NEW BEST:: SOT 4437146 SOS 716392 HAS SOPS 716392 HAS SOUS 653909 HAS SOUPS 653909 WITH SCORE 654625.392
AT ITER 3340 NEW BEST:: SOT 4437146 SOS 716391 HAS SOPS 716391 HAS SOUS 653908 HAS SOUPS 653908 WITH SCORE 654624.391
AT ITER 3354 NEW BEST:: SOT 4436832 SOS 716391 HAS SOPS 716391 HAS SOUS 653751 HAS SOUPS 653751 WITH SCORE 654467.391
AT ITER 3359 NEW BEST:: SOT 4436798 SOS 716323 HAS SOPS 716323 HAS SOUS 653683 HAS SOUPS 653683 WITH SCORE 654399.323
AT ITER 3371 NEW BEST:: SOT 4436787 SOS 716301 HAS SOPS 716301 HAS SOUS 653661 HAS SOUPS 653661 WITH SCORE 654377.301
AT ITER 3391 NEW BEST:: SOT 4436763 SOS 716273 HAS SOPS 716273 HAS SOUS 653633 HAS SOUPS 653633 WITH SCORE 654349.273
AT ITER 3397 NEW BEST:: SOT 4436486 SOS 715335 HAS SOPS 715335 HAS SOUS 653049 HAS SOUPS 653049 WITH SCORE 653764.335
AT ITER 3402 NEW BEST:: SOT 4436571 SOS 715292 HAS SOPS 715292 HAS SOUS 653006 HAS SOUPS 653006 WITH SCORE 653721.292
AT ITER 3404 NEW BEST:: SOT 4436189 SOS 714843 HAS SOPS 714843 HAS SOUS 652391 HAS SOUPS 652391 WITH SCORE 653105.843
AT ITER 3414 NEW BEST:: SOT 4436003 SOS 714285 HAS SOPS 714285 HAS SOUS 652019 HAS SOUPS 652019 WITH SCORE 652733.285
AT ITER 3437 NEW BEST:: SOT 4435989 SOS 714257 HAS SOPS 714257 HAS SOUS 651991 HAS SOUPS 651991 WITH SCORE 652705.257
AT ITER 3475 NEW BEST:: SOT 4435937 SOS 714153 HAS SOPS 714153 HAS SOUS 651887 HAS SOUPS 651887 WITH SCORE 652601.153
AT ITER 3478 NEW BEST:: SOT 4435922 SOS 714138 HAS SOPS 714138 HAS SOUS 651872 HAS SOUPS 651872 WITH SCORE 652586.138
AT ITER 3511 NEW BEST:: SOT 4435934 SOS 713690 HAS SOPS 713690 HAS SOUS 651761 HAS SOUPS 651761 WITH SCORE 652474.69
AT ITER 3551 NEW BEST:: SOT 4435402 SOS 714015 HAS SOPS 714015 HAS SOUS 651398 HAS SOUPS 651398 WITH SCORE 652112.015
AT ITER 3590 NEW BEST:: SOT 4435326 SOS 713977 HAS SOPS 713977 HAS SOUS 651360 HAS SOUPS 651360 WITH SCORE 652073.977
AT ITER 3597 NEW BEST:: SOT 4435308 SOS 713941 HAS SOPS 713941 HAS SOUS 651324 HAS SOUPS 651324 WITH SCORE 652037.941
AT ITER 3598 NEW BEST:: SOT 4435291 SOS 713907 HAS SOPS 713907 HAS SOUS 651125 HAS SOUPS 651125 WITH SCORE 651838.907
AT ITER 3608 NEW BEST:: SOT 4435290 SOS 713905 HAS SOPS 713905 HAS SOUS 651123 HAS SOUPS 651123 WITH SCORE 651836.905
AT ITER 3617 NEW BEST:: SOT 4435289 SOS 713903 HAS SOPS 713903 HAS SOUS 651121 HAS SOUPS 651121 WITH SCORE 651834.903
AT ITER 3621 NEW BEST:: SOT 4435611 SOS 713935 HAS SOPS 713935 HAS SOUS 651010 HAS SOUPS 651010 WITH SCORE 651723.935
AT ITER 3634 NEW BEST:: SOT 4435611 SOS 713794 HAS SOPS 713794 HAS SOUS 650869 HAS SOUPS 650869 WITH SCORE 651582.794
AT ITER 3669 NEW BEST:: SOT 4435260 SOS 713092 HAS SOPS 713092 HAS SOUS 650167 HAS SOUPS 650167 WITH SCORE 650880.092
AT ITER 3675 NEW BEST:: SOT 4435138 SOS 712848 HAS SOPS 712848 HAS SOUS 649923 HAS SOUPS 649923 WITH SCORE 650635.848
AT ITER 3695 NEW BEST:: SOT 4435138 SOS 712526 HAS SOPS 712526 HAS SOUS 649601 HAS SOUPS 649601 WITH SCORE 650313.526
AT ITER 3715 NEW BEST:: SOT 4435057 SOS 712364 HAS SOPS 712364 HAS SOUS 649439 HAS SOUPS 649439 WITH SCORE 650151.364
AT ITER 3739 NEW BEST:: SOT 4435047 SOS 712433 HAS SOPS 712433 HAS SOUS 649380 HAS SOUPS 649380 WITH SCORE 650092.433
AT ITER 3762 NEW BEST:: SOT 4435012 SOS 712363 HAS SOPS 712363 HAS SOUS 649310 HAS SOUPS 649310 WITH SCORE 650022.363
AT ITER 3769 NEW BEST:: SOT 4434805 SOS 711949 HAS SOPS 711949 HAS SOUS 648896 HAS SOUPS 648896 WITH SCORE 649607.949
AT ITER 3774 NEW BEST:: SOT 4434656 SOS 711453 HAS SOPS 711453 HAS SOUS 648550 HAS SOUPS 648550 WITH SCORE 649261.453
AT ITER 3784 NEW BEST:: SOT 4434648 SOS 711445 HAS SOPS 711445 HAS SOUS 648542 HAS SOUPS 648542 WITH SCORE 649253.445
AT ITER 3787 NEW BEST:: SOT 4434618 SOS 711385 HAS SOPS 711385 HAS SOUS 648482 HAS SOUPS 648482 WITH SCORE 649193.385
AT ITER 3793 NEW BEST:: SOT 4434561 SOS 711271 HAS SOPS 711271 HAS SOUS 648425 HAS SOUPS 648425 WITH SCORE 649136.271
AT ITER 3809 NEW BEST:: SOT 4434300 SOS 710977 HAS SOPS 710977 HAS SOUS 648050 HAS SOUPS 648050 WITH SCORE 648760.977
AT ITER 3811 NEW BEST:: SOT 4434275 SOS 710927 HAS SOPS 710927 HAS SOUS 647801 HAS SOUPS 647801 WITH SCORE 648511.927
AT ITER 3814 NEW BEST:: SOT 4434238 SOS 710853 HAS SOPS 710853 HAS SOUS 647727 HAS SOUPS 647727 WITH SCORE 648437.853
AT ITER 3822 NEW BEST:: SOT 4434188 SOS 710753 HAS SOPS 710753 HAS SOUS 647627 HAS SOUPS 647627 WITH SCORE 648337.753
AT ITER 3836 NEW BEST:: SOT 4433792 SOS 709961 HAS SOPS 709961 HAS SOUS 646835 HAS SOUPS 646835 WITH SCORE 647544.961
AT ITER 3841 NEW BEST:: SOT 4433639 SOS 709655 HAS SOPS 709655 HAS SOUS 646529 HAS SOUPS 646529 WITH SCORE 647238.655
AT ITER 3871 NEW BEST:: SOT 4433317 SOS 709752 HAS SOPS 709752 HAS SOUS 646308 HAS SOUPS 646308 WITH SCORE 647017.752
AT ITER 3907 NEW BEST:: SOT 4433327 SOS 709761 HAS SOPS 709761 HAS SOUS 646241 HAS SOUPS 646241 WITH SCORE 646950.761
AT ITER 3930 NEW BEST:: SOT 4433288 SOS 709602 HAS SOPS 709602 HAS SOUS 646240 HAS SOUPS 646240 WITH SCORE 646949.602
AT ITER 3936 NEW BEST:: SOT 4433225 SOS 709160 HAS SOPS 709160 HAS SOUS 646163 HAS SOUPS 646163 WITH SCORE 646872.16
AT ITER 3937 NEW BEST:: SOT 4433159 SOS 709094 HAS SOPS 709094 HAS SOUS 646097 HAS SOUPS 646097 WITH SCORE 646806.094
AT ITER 3954 NEW BEST:: SOT 4433167 SOS 709190 HAS SOPS 709190 HAS SOUS 646033 HAS SOUPS 646033 WITH SCORE 646742.19
AT ITER 3964 NEW BEST:: SOT 4433167 SOS 709190 HAS SOPS 709190 HAS SOUS 645792 HAS SOUPS 645792 WITH SCORE 646501.19
AT ITER 4015 NEW BEST:: SOT 4433153 SOS 709162 HAS SOPS 709162 HAS SOUS 645764 HAS SOUPS 645764 WITH SCORE 646473.162
AT ITER 4016 NEW BEST:: SOT 4432984 SOS 709013 HAS SOPS 709013 HAS SOUS 645595 HAS SOUPS 645595 WITH SCORE 646304.013
AT ITER 4017 NEW BEST:: SOT 4432833 SOS 708862 HAS SOPS 708862 HAS SOUS 645444 HAS SOUPS 645444 WITH SCORE 646152.862
AT ITER 4018 NEW BEST:: SOT 4432833 SOS 708830 HAS SOPS 708830 HAS SOUS 645412 HAS SOUPS 645412 WITH SCORE 646120.83
AT ITER 4024 NEW BEST:: SOT 4432833 SOS 708830 HAS SOPS 708830 HAS SOUS 645356 HAS SOUPS 645356 WITH SCORE 646064.83
AT ITER 4033 NEW BEST:: SOT 4432801 SOS 708766 HAS SOPS 708766 HAS SOUS 645292 HAS SOUPS 645292 WITH SCORE 646000.766
AT ITER 4047 NEW BEST:: SOT 4432591 SOS 708575 HAS SOPS 708575 HAS SOUS 645097 HAS SOUPS 645097 WITH SCORE 645805.575
AT ITER 4064 NEW BEST:: SOT 4432591 SOS 708575 HAS SOPS 708575 HAS SOUS 645092 HAS SOUPS 645092 WITH SCORE 645800.575
AT ITER 4127 NEW BEST:: SOT 4432640 SOS 708526 HAS SOPS 708526 HAS SOUS 645092 HAS SOUPS 645092 WITH SCORE 645800.526
AT ITER 4157 NEW BEST:: SOT 4432640 SOS 708193 HAS SOPS 708193 HAS SOUS 644759 HAS SOUPS 644759 WITH SCORE 645467.193
AT ITER 4159 NEW BEST:: SOT 4432640 SOS 707809 HAS SOPS 707809 HAS SOUS 644567 HAS SOUPS 644567 WITH SCORE 645274.809
AT ITER 4168 NEW BEST:: SOT 4432554 SOS 707637 HAS SOPS 707637 HAS SOUS 644394 HAS SOUPS 644394 WITH SCORE 645101.637
AT ITER 4172 NEW BEST:: SOT 4432422 SOS 707477 HAS SOPS 707477 HAS SOUS 644309 HAS SOUPS 644309 WITH SCORE 645016.477
AT ITER 4204 NEW BEST:: SOT 4431943 SOS 707603 HAS SOPS 707603 HAS SOUS 644101 HAS SOUPS 644101 WITH SCORE 644808.603
AT ITER 4241 NEW BEST:: SOT 4431821 SOS 707359 HAS SOPS 707359 HAS SOUS 643857 HAS SOUPS 643857 WITH SCORE 644564.359
AT ITER 4254 NEW BEST:: SOT 4431753 SOS 707223 HAS SOPS 707223 HAS SOUS 643788 HAS SOUPS 643788 WITH SCORE 644495.223
AT ITER 4278 NEW BEST:: SOT 4431738 SOS 707193 HAS SOPS 707193 HAS SOUS 643773 HAS SOUPS 643773 WITH SCORE 644480.193
AT ITER 4289 NEW BEST:: SOT 4431568 SOS 707059 HAS SOPS 707059 HAS SOUS 643632 HAS SOUPS 643632 WITH SCORE 644339.059
AT ITER 4316 NEW BEST:: SOT 4431315 SOS 706553 HAS SOPS 706553 HAS SOUS 643401 HAS SOUPS 643401 WITH SCORE 644107.553
AT ITER 4323 NEW BEST:: SOT 4431297 SOS 706517 HAS SOPS 706517 HAS SOUS 643365 HAS SOUPS 643365 WITH SCORE 644071.517
AT ITER 4325 NEW BEST:: SOT 4431226 SOS 706517 HAS SOPS 706517 HAS SOUS 643294 HAS SOUPS 643294 WITH SCORE 644000.517
AT ITER 4326 NEW BEST:: SOT 4431075 SOS 706215 HAS SOPS 706215 HAS SOUS 642992 HAS SOUPS 642992 WITH SCORE 643698.215
AT ITER 4359 NEW BEST:: SOT 4430808 SOS 706111 HAS SOPS 706111 HAS SOUS 642811 HAS SOUPS 642811 WITH SCORE 643517.111
AT ITER 4375 NEW BEST:: SOT 4431221 SOS 706280 HAS SOPS 706280 HAS SOUS 642793 HAS SOUPS 642793 WITH SCORE 643499.28
AT ITER 4377 NEW BEST:: SOT 4431208 SOS 706254 HAS SOPS 706254 HAS SOUS 642715 HAS SOUPS 642715 WITH SCORE 643421.254
AT ITER 4412 NEW BEST:: SOT 4431098 SOS 706254 HAS SOPS 706254 HAS SOUS 642663 HAS SOUPS 642663 WITH SCORE 643369.254
AT ITER 4430 NEW BEST:: SOT 4430947 SOS 706114 HAS SOPS 706114 HAS SOUS 642523 HAS SOUPS 642523 WITH SCORE 643229.114
AT ITER 4443 NEW BEST:: SOT 4430947 SOS 706029 HAS SOPS 706029 HAS SOUS 642523 HAS SOUPS 642523 WITH SCORE 643229.029
AT ITER 4446 NEW BEST:: SOT 4430857 SOS 705848 HAS SOPS 705848 HAS SOUS 642342 HAS SOUPS 642342 WITH SCORE 643047.848
AT ITER 4447 NEW BEST:: SOT 4430959 SOS 705860 HAS SOPS 705860 HAS SOUS 642054 HAS SOUPS 642054 WITH SCORE 642759.86
AT ITER 4480 NEW BEST:: SOT 4430959 SOS 705797 HAS SOPS 705797 HAS SOUS 642054 HAS SOUPS 642054 WITH SCORE 642759.797
AT ITER 4490 NEW BEST:: SOT 4430940 SOS 706322 HAS SOPS 706322 HAS SOUS 641987 HAS SOUPS 641987 WITH SCORE 642693.322
AT ITER 4519 NEW BEST:: SOT 4430820 SOS 706082 HAS SOPS 706082 HAS SOUS 641747 HAS SOUPS 641747 WITH SCORE 642453.082
AT ITER 4529 NEW BEST:: SOT 4430812 SOS 706066 HAS SOPS 706066 HAS SOUS 641731 HAS SOUPS 641731 WITH SCORE 642437.066
AT ITER 4531 NEW BEST:: SOT 4430760 SOS 705962 HAS SOPS 705962 HAS SOUS 641679 HAS SOUPS 641679 WITH SCORE 642384.962
AT ITER 4536 NEW BEST:: SOT 4430796 SOS 706034 HAS SOPS 706034 HAS SOUS 641611 HAS SOUPS 641611 WITH SCORE 642317.034
AT ITER 4539 NEW BEST:: SOT 4425143 SOS 727362 HAS SOPS 727362 HAS SOUS 636532 HAS SOUPS 636532 WITH SCORE 637259.362
AT ITER 4547 NEW BEST:: SOT 4425108 SOS 727292 HAS SOPS 727292 HAS SOUS 636497 HAS SOUPS 636497 WITH SCORE 637224.292
AT ITER 4577 NEW BEST:: SOT 4424942 SOS 727094 HAS SOPS 727094 HAS SOUS 636229 HAS SOUPS 636229 WITH SCORE 636956.094
AT ITER 4581 NEW BEST:: SOT 4425030 SOS 727270 HAS SOPS 727270 HAS SOUS 636145 HAS SOUPS 636145 WITH SCORE 636872.27
AT ITER 4628 NEW BEST:: SOT 4425029 SOS 727268 HAS SOPS 727268 HAS SOUS 636143 HAS SOUPS 636143 WITH SCORE 636870.268
AT ITER 4632 NEW BEST:: SOT 4424869 SOS 727348 HAS SOPS 727348 HAS SOUS 636063 HAS SOUPS 636063 WITH SCORE 636790.348
AT ITER 4633 NEW BEST:: SOT 4424736 SOS 727082 HAS SOPS 727082 HAS SOUS 635797 HAS SOUPS 635797 WITH SCORE 636524.082
AT ITER 4652 NEW BEST:: SOT 4424686 SOS 726982 HAS SOPS 726982 HAS SOUS 635741 HAS SOUPS 635741 WITH SCORE 636467.982
AT ITER 4653 NEW BEST:: SOT 4424587 SOS 726784 HAS SOPS 726784 HAS SOUS 635642 HAS SOUPS 635642 WITH SCORE 636368.784
AT ITER 4656 NEW BEST:: SOT 4424813 SOS 726179 HAS SOPS 726179 HAS SOUS 635603 HAS SOUPS 635603 WITH SCORE 636329.179
AT ITER 4677 NEW BEST:: SOT 4424823 SOS 725971 HAS SOPS 725971 HAS SOUS 635566 HAS SOUPS 635566 WITH SCORE 636291.971
AT ITER 4715 NEW BEST:: SOT 4424772 SOS 725920 HAS SOPS 725920 HAS SOUS 635515 HAS SOUPS 635515 WITH SCORE 636240.92
AT ITER 4759 NEW BEST:: SOT 4424772 SOS 725920 HAS SOPS 725920 HAS SOUS 635469 HAS SOUPS 635469 WITH SCORE 636194.92
AT ITER 4779 NEW BEST:: SOT 4424736 SOS 725884 HAS SOPS 725884 HAS SOUS 635433 HAS SOUPS 635433 WITH SCORE 636158.884
AT ITER 4798 NEW BEST:: SOT 4424737 SOS 725745 HAS SOPS 725745 HAS SOUS 635054 HAS SOUPS 635054 WITH SCORE 635779.745
AT ITER 4802 NEW BEST:: SOT 4424621 SOS 725629 HAS SOPS 725629 HAS SOUS 634938 HAS SOUPS 634938 WITH SCORE 635663.629
AT ITER 4837 NEW BEST:: SOT 4424606 SOS 725614 HAS SOPS 725614 HAS SOUS 634923 HAS SOUPS 634923 WITH SCORE 635648.614
AT ITER 4889 NEW BEST:: SOT 4424513 SOS 725428 HAS SOPS 725428 HAS SOUS 634737 HAS SOUPS 634737 WITH SCORE 635462.428
AT ITER 4897 NEW BEST:: SOT 4424459 SOS 725320 HAS SOPS 725320 HAS SOUS 634629 HAS SOUPS 634629 WITH SCORE 635354.32
AT ITER 4899 NEW BEST:: SOT 4424378 SOS 725239 HAS SOPS 725239 HAS SOUS 634548 HAS SOUPS 634548 WITH SCORE 635273.239
AT ITER 4911 NEW BEST:: SOT 4424378 SOS 712643 HAS SOPS 712643 HAS SOUS 634510 HAS SOUPS 634510 WITH SCORE 635222.643
AT ITER 4927 NEW BEST:: SOT 4424331 SOS 712624 HAS SOPS 712624 HAS SOUS 634490 HAS SOUPS 634490 WITH SCORE 635202.624
AT ITER 4929 NEW BEST:: SOT 4424331 SOS 712624 HAS SOPS 712624 HAS SOUS 634482 HAS SOUPS 634482 WITH SCORE 635194.624
AT ITER 4938 NEW BEST:: SOT 4424331 SOS 712504 HAS SOPS 712504 HAS SOUS 634362 HAS SOUPS 634362 WITH SCORE 635074.504
AT ITER 4948 NEW BEST:: SOT 4424322 SOS 712108 HAS SOPS 712108 HAS SOUS 634335 HAS SOUPS 634335 WITH SCORE 635047.108
AT ITER 4967 NEW BEST:: SOT 4424441 SOS 712346 HAS SOPS 712346 HAS SOUS 634270 HAS SOUPS 634270 WITH SCORE 634982.346
AT ITER 4988 NEW BEST:: SOT 4424378 SOS 712220 HAS SOPS 712220 HAS SOUS 634144 HAS SOUPS 634144 WITH SCORE 634856.22
AT ITER 4991 NEW BEST:: SOT 4424157 SOS 711778 HAS SOPS 711778 HAS SOUS 633702 HAS SOUPS 633702 WITH SCORE 634413.778
Bounds file is: CTLFireability.xml
PROPERTY: CloudReconfiguration-PT-319-CTLFireability-00 (! ( (AG( (! ((potential((tk(P1676)>=1))))))) & ( (! (AF( ((potential((tk(P921)>=1))))))) | (! (! ( ((potential((tk(P492)>=1)))) & ((potential((tk(P442)>=1)))) ))) ) ))
PROPERTY: CloudReconfiguration-PT-319-CTLFireability-01 ( ( ((potential((tk(P573)>=1) & (tk(P2345)>=1)))) | (! (! (EF( ((potential((tk(P684)>=1)))))))) ) | ( (! (! (AG( ((potential((tk(P1225)>=1)))))))) & (EU( (! ((potential((tk(P506)>=1))))) , ((potential((tk(P1459)>=1)))) )) ) )
PROPERTY: CloudReconfiguration-PT-319-CTLFireability-02 (AF( (EG( (! ( ((potential((tk(P1283)>=1)))) | ((potential((tk(P1513)>=1)))) ))))))
PROPERTY: CloudReconfiguration-PT-319-CTLFireability-03 (AF( (AU( ((potential((tk(P848)>=1)))) , ((potential((tk(P1705)>=1)))) ))))
PROPERTY: CloudReconfiguration-PT-319-CTLFireability-04 (AU( ( ( (! ((potential((tk(P986)>=1))))) | ((potential((tk(P577)>=1)))) ) & (AF( ((potential((tk(P211)>=1)))))) ) , (AX( ((potential((tk(P2303)>=1)))))) ))
PROPERTY: CloudReconfiguration-PT-319-CTLFireability-05 (AG( (EF( (EX( ((potential((tk(P889)>=1))))))))))
PROPERTY: CloudReconfiguration-PT-319-CTLFireability-06 (! (EG( (EX( (! ((potential((tk(P1209)>=1))))))))))
PROPERTY: CloudReconfiguration-PT-319-CTLFireability-07 (EG( (! (EG( (! ((potential((tk(P523)>=1))))))))))
PROPERTY: CloudReconfiguration-PT-319-CTLFireability-08 ( ((potential((tk(P2302)>=1)))) | (AF( (EF( ( ((potential((tk(P628)>=1)))) & ((potential((tk(P380)>=1)))) ))))) )
PROPERTY: CloudReconfiguration-PT-319-CTLFireability-09 ( (EF( (AX( ((potential((tk(P329)>=1)))))))) & ( (! ((potential((tk(P1098)>=1))))) | ((potential((tk(P198)>=1)))) ) )
PROPERTY: CloudReconfiguration-PT-319-CTLFireability-10 (AF( ( (! ( ( ((potential((tk(P2259)>=1)))) & ((potential((tk(P1168)>=1)))) ) & (! ((potential((tk(P573)>=1) & (tk(P668)>=1))))) )) & (! ( (! ((potential((tk(P1045)>=1))))) | ((potential((tk(P1513)>=1)))) )) )))
PROPERTY: CloudReconfiguration-PT-319-CTLFireability-11 (EU( ( (! ((potential((tk(P1991)>=1))))) | ( (! ((potential((tk(P753)>=1))))) | ( ((potential((tk(P2285)>=1)))) & ((potential((tk(P573)>=1) & (tk(P903)>=1)))) ) ) ) , (EG( (! ((potential((tk(P2373)>=1))))))) ))
PROPERTY: CloudReconfiguration-PT-319-CTLFireability-12 (! ( ((potential((tk(P1163)>=1)))) | (AU( (! ((potential((tk(P374)>=1))))) , ( ((potential((tk(P897)>=1)))) | ((potential((tk(P1318)>=1)))) ) )) ))
PROPERTY: CloudReconfiguration-PT-319-CTLFireability-13 (AG( (AU( ((potential((tk(P2051)>=1)))) , (! ((potential((tk(P573)>=1) & (tk(P1566)>=1))))) ))))
PROPERTY: CloudReconfiguration-PT-319-CTLFireability-14 ( ( (! (! (EG( ((potential((tk(P569)>=1)))))))) | ( ( ( ((potential((tk(P1024)>=1)))) | (! ((potential((tk(P63)>=1))))) ) & ( (! ((potential((tk(P1014)>=1))))) & ( ((potential((tk(P602)>=1)))) | ((potential((tk(P465)>=1)))) ) ) ) | (AU( ((potential((tk(P573)>=1) & (tk(P1011)>=1)))) , ((potential((tk(P576)>=1)))) )) ) ) | (EX( (AF( ( ((potential((tk(P1979)>=1)))) | ((potential((tk(P221)>=1)))) ))))) )
PROPERTY: CloudReconfiguration-PT-319-CTLFireability-15 (AF( (! (EG( (! ((potential((tk(P184)>=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-319"
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-319, 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-158902541800148"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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