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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 832K
-rw-r--r-- 1 mcc users 3.2K Mar 30 01:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 30 01:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 28 16:13 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K 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.4K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 8 14:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 27 08:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 08:46 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 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-314-CTLCardinality-00
FORMULA_NAME CloudReconfiguration-PT-314-CTLCardinality-01
FORMULA_NAME CloudReconfiguration-PT-314-CTLCardinality-02
FORMULA_NAME CloudReconfiguration-PT-314-CTLCardinality-03
FORMULA_NAME CloudReconfiguration-PT-314-CTLCardinality-04
FORMULA_NAME CloudReconfiguration-PT-314-CTLCardinality-05
FORMULA_NAME CloudReconfiguration-PT-314-CTLCardinality-06
FORMULA_NAME CloudReconfiguration-PT-314-CTLCardinality-07
FORMULA_NAME CloudReconfiguration-PT-314-CTLCardinality-08
FORMULA_NAME CloudReconfiguration-PT-314-CTLCardinality-09
FORMULA_NAME CloudReconfiguration-PT-314-CTLCardinality-10
FORMULA_NAME CloudReconfiguration-PT-314-CTLCardinality-11
FORMULA_NAME CloudReconfiguration-PT-314-CTLCardinality-12
FORMULA_NAME CloudReconfiguration-PT-314-CTLCardinality-13
FORMULA_NAME CloudReconfiguration-PT-314-CTLCardinality-14
FORMULA_NAME CloudReconfiguration-PT-314-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589095466922

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

GOT IT HERE. BS
Petri model created: 2585 places, 3095 transitions, 6463 arcs.
AT ITER 0 NEW BEST:: SOT 4448374 SOS 744558 HAS SOPS 744558 HAS SOUS 686884 HAS SOUPS 686884 WITH SCORE 687628.558
AT ITER 1 NEW BEST:: SOT 4448308 SOS 744426 HAS SOPS 744426 HAS SOUS 686752 HAS SOUPS 686752 WITH SCORE 687496.426
AT ITER 2 NEW BEST:: SOT 4448308 SOS 744426 HAS SOPS 744426 HAS SOUS 686751 HAS SOUPS 686751 WITH SCORE 687495.426
AT ITER 8 NEW BEST:: SOT 4447780 SOS 744135 HAS SOPS 744135 HAS SOUS 686308 HAS SOUPS 686308 WITH SCORE 687052.135
AT ITER 9 NEW BEST:: SOT 4447700 SOS 744071 HAS SOPS 744071 HAS SOUS 686228 HAS SOUPS 686228 WITH SCORE 686972.071
AT ITER 17 NEW BEST:: SOT 4447468 SOS 743839 HAS SOPS 743839 HAS SOUS 685996 HAS SOUPS 685996 WITH SCORE 686739.839
AT ITER 41 NEW BEST:: SOT 4447264 SOS 743715 HAS SOPS 743715 HAS SOUS 685847 HAS SOUPS 685847 WITH SCORE 686590.715
AT ITER 44 NEW BEST:: SOT 4447202 SOS 743848 HAS SOPS 743848 HAS SOUS 685785 HAS SOUPS 685785 WITH SCORE 686528.848
AT ITER 50 NEW BEST:: SOT 4447201 SOS 743670 HAS SOPS 743670 HAS SOUS 685782 HAS SOUPS 685782 WITH SCORE 686525.67
AT ITER 51 NEW BEST:: SOT 4445848 SOS 743897 HAS SOPS 743897 HAS SOUS 684871 HAS SOUPS 684871 WITH SCORE 685614.897
AT ITER 53 NEW BEST:: SOT 4445661 SOS 743523 HAS SOPS 743523 HAS SOUS 684222 HAS SOUPS 684222 WITH SCORE 684965.523
AT ITER 55 NEW BEST:: SOT 4445443 SOS 743087 HAS SOPS 743087 HAS SOUS 683786 HAS SOUPS 683786 WITH SCORE 684529.087
AT ITER 77 NEW BEST:: SOT 4445443 SOS 742780 HAS SOPS 742780 HAS SOUS 683479 HAS SOUPS 683479 WITH SCORE 684221.78
AT ITER 78 NEW BEST:: SOT 4445379 SOS 742814 HAS SOPS 742814 HAS SOUS 683415 HAS SOUPS 683415 WITH SCORE 684157.814
AT ITER 83 NEW BEST:: SOT 4445414 SOS 742884 HAS SOPS 742884 HAS SOUS 683296 HAS SOUPS 683296 WITH SCORE 684038.884
AT ITER 87 NEW BEST:: SOT 4445146 SOS 742348 HAS SOPS 742348 HAS SOUS 682569 HAS SOUPS 682569 WITH SCORE 683311.348
AT ITER 130 NEW BEST:: SOT 4444393 SOS 741982 HAS SOPS 741982 HAS SOUS 682101 HAS SOUPS 682101 WITH SCORE 682842.982
AT ITER 171 NEW BEST:: SOT 4444392 SOS 741980 HAS SOPS 741980 HAS SOUS 682099 HAS SOUPS 682099 WITH SCORE 682840.98
AT ITER 172 NEW BEST:: SOT 4443807 SOS 741402 HAS SOPS 741402 HAS SOUS 681521 HAS SOUPS 681521 WITH SCORE 682262.402
AT ITER 194 NEW BEST:: SOT 4443806 SOS 741133 HAS SOPS 741133 HAS SOUS 681519 HAS SOUPS 681519 WITH SCORE 682260.133
AT ITER 213 NEW BEST:: SOT 4444060 SOS 740657 HAS SOPS 740657 HAS SOUS 681444 HAS SOUPS 681444 WITH SCORE 682184.657
AT ITER 220 NEW BEST:: SOT 4444059 SOS 740655 HAS SOPS 740655 HAS SOUS 681442 HAS SOUPS 681442 WITH SCORE 682182.655
AT ITER 222 NEW BEST:: SOT 4443887 SOS 740311 HAS SOPS 740311 HAS SOUS 681098 HAS SOUPS 681098 WITH SCORE 681838.311
AT ITER 231 NEW BEST:: SOT 4443631 SOS 739799 HAS SOPS 739799 HAS SOUS 680586 HAS SOUPS 680586 WITH SCORE 681325.799
AT ITER 249 NEW BEST:: SOT 4443525 SOS 739782 HAS SOPS 739782 HAS SOUS 680480 HAS SOUPS 680480 WITH SCORE 681219.782
AT ITER 250 NEW BEST:: SOT 4443524 SOS 739780 HAS SOPS 739780 HAS SOUS 680478 HAS SOUPS 680478 WITH SCORE 681217.78
AT ITER 257 NEW BEST:: SOT 4443270 SOS 739272 HAS SOPS 739272 HAS SOUS 680223 HAS SOUPS 680223 WITH SCORE 680962.272
AT ITER 281 NEW BEST:: SOT 4443210 SOS 739421 HAS SOPS 739421 HAS SOUS 680163 HAS SOUPS 680163 WITH SCORE 680902.421
AT ITER 291 NEW BEST:: SOT 4443057 SOS 739322 HAS SOPS 739322 HAS SOUS 680064 HAS SOUPS 680064 WITH SCORE 680803.322
AT ITER 293 NEW BEST:: SOT 4443045 SOS 739298 HAS SOPS 739298 HAS SOUS 680040 HAS SOUPS 680040 WITH SCORE 680779.298
AT ITER 295 NEW BEST:: SOT 4443435 SOS 739016 HAS SOPS 739016 HAS SOUS 680036 HAS SOUPS 680036 WITH SCORE 680775.016
AT ITER 324 NEW BEST:: SOT 4443327 SOS 738908 HAS SOPS 738908 HAS SOUS 679958 HAS SOUPS 679958 WITH SCORE 680696.908
AT ITER 380 NEW BEST:: SOT 4443260 SOS 738874 HAS SOPS 738874 HAS SOUS 679891 HAS SOUPS 679891 WITH SCORE 680629.874
AT ITER 400 NEW BEST:: SOT 4442781 SOS 738520 HAS SOPS 738520 HAS SOUS 679537 HAS SOUPS 679537 WITH SCORE 680275.52
AT ITER 423 NEW BEST:: SOT 4442671 SOS 738300 HAS SOPS 738300 HAS SOUS 679317 HAS SOUPS 679317 WITH SCORE 680055.3
AT ITER 472 NEW BEST:: SOT 4442463 SOS 738094 HAS SOPS 738094 HAS SOUS 679111 HAS SOUPS 679111 WITH SCORE 679849.094
AT ITER 476 NEW BEST:: SOT 4442445 SOS 738058 HAS SOPS 738058 HAS SOUS 679075 HAS SOUPS 679075 WITH SCORE 679813.058
AT ITER 495 NEW BEST:: SOT 4442430 SOS 738103 HAS SOPS 738103 HAS SOUS 679060 HAS SOUPS 679060 WITH SCORE 679798.103
AT ITER 504 NEW BEST:: SOT 4442361 SOS 737965 HAS SOPS 737965 HAS SOUS 678922 HAS SOUPS 678922 WITH SCORE 679659.965
AT ITER 534 NEW BEST:: SOT 4442057 SOS 737190 HAS SOPS 737190 HAS SOUS 678151 HAS SOUPS 678151 WITH SCORE 678888.19
AT ITER 546 NEW BEST:: SOT 4442057 SOS 737190 HAS SOPS 737190 HAS SOUS 678150 HAS SOUPS 678150 WITH SCORE 678887.19
AT ITER 572 NEW BEST:: SOT 4442160 SOS 737396 HAS SOPS 737396 HAS SOUS 678015 HAS SOUPS 678015 WITH SCORE 678752.396
AT ITER 598 NEW BEST:: SOT 4442060 SOS 737352 HAS SOPS 737352 HAS SOUS 677915 HAS SOUPS 677915 WITH SCORE 678652.352
AT ITER 600 NEW BEST:: SOT 4442060 SOS 737352 HAS SOPS 737352 HAS SOUS 677687 HAS SOUPS 677687 WITH SCORE 678424.352
AT ITER 604 NEW BEST:: SOT 4441939 SOS 737231 HAS SOPS 737231 HAS SOUS 677686 HAS SOUPS 677686 WITH SCORE 678423.231
AT ITER 682 NEW BEST:: SOT 4441879 SOS 737171 HAS SOPS 737171 HAS SOUS 677626 HAS SOUPS 677626 WITH SCORE 678363.171
AT ITER 688 NEW BEST:: SOT 4440000 SOS 764339 HAS SOPS 764339 HAS SOUS 677086 HAS SOUPS 677086 WITH SCORE 677850.339
AT ITER 699 NEW BEST:: SOT 4439965 SOS 763801 HAS SOPS 763801 HAS SOUS 676731 HAS SOUPS 676731 WITH SCORE 677494.801
AT ITER 718 NEW BEST:: SOT 4439611 SOS 763093 HAS SOPS 763093 HAS SOUS 676023 HAS SOUPS 676023 WITH SCORE 676786.093
AT ITER 719 NEW BEST:: SOT 4439611 SOS 763093 HAS SOPS 763093 HAS SOUS 675958 HAS SOUPS 675958 WITH SCORE 676721.093
AT ITER 734 NEW BEST:: SOT 4439571 SOS 763013 HAS SOPS 763013 HAS SOUS 675878 HAS SOUPS 675878 WITH SCORE 676641.013
AT ITER 746 NEW BEST:: SOT 4439532 SOS 762961 HAS SOPS 762961 HAS SOUS 675826 HAS SOUPS 675826 WITH SCORE 676588.961
AT ITER 762 NEW BEST:: SOT 4439424 SOS 763429 HAS SOPS 763429 HAS SOUS 675822 HAS SOUPS 675822 WITH SCORE 676585.429
AT ITER 767 NEW BEST:: SOT 4439351 SOS 763283 HAS SOPS 763283 HAS SOUS 675493 HAS SOUPS 675493 WITH SCORE 676256.283
AT ITER 802 NEW BEST:: SOT 4439134 SOS 762971 HAS SOPS 762971 HAS SOUS 675168 HAS SOUPS 675168 WITH SCORE 675930.971
AT ITER 828 NEW BEST:: SOT 4439127 SOS 762957 HAS SOPS 762957 HAS SOUS 675154 HAS SOUPS 675154 WITH SCORE 675916.957
AT ITER 835 NEW BEST:: SOT 4439265 SOS 762898 HAS SOPS 762898 HAS SOUS 675095 HAS SOUPS 675095 WITH SCORE 675857.898
AT ITER 844 NEW BEST:: SOT 4439194 SOS 762756 HAS SOPS 762756 HAS SOUS 674953 HAS SOUPS 674953 WITH SCORE 675715.756
AT ITER 871 NEW BEST:: SOT 4439193 SOS 762877 HAS SOPS 762877 HAS SOUS 674951 HAS SOUPS 674951 WITH SCORE 675713.877
AT ITER 873 NEW BEST:: SOT 4439193 SOS 762789 HAS SOPS 762789 HAS SOUS 674863 HAS SOUPS 674863 WITH SCORE 675625.789
AT ITER 882 NEW BEST:: SOT 4439192 SOS 762787 HAS SOPS 762787 HAS SOUS 674861 HAS SOUPS 674861 WITH SCORE 675623.787
AT ITER 891 NEW BEST:: SOT 4439192 SOS 762720 HAS SOPS 762720 HAS SOUS 674861 HAS SOUPS 674861 WITH SCORE 675623.72
AT ITER 909 NEW BEST:: SOT 4439005 SOS 762565 HAS SOPS 762565 HAS SOUS 674742 HAS SOUPS 674742 WITH SCORE 675504.565
AT ITER 911 NEW BEST:: SOT 4438888 SOS 762331 HAS SOPS 762331 HAS SOUS 674508 HAS SOUPS 674508 WITH SCORE 675270.331
AT ITER 918 NEW BEST:: SOT 4438722 SOS 761999 HAS SOPS 761999 HAS SOUS 674176 HAS SOUPS 674176 WITH SCORE 674937.999
AT ITER 949 NEW BEST:: SOT 4438714 SOS 761983 HAS SOPS 761983 HAS SOUS 674160 HAS SOUPS 674160 WITH SCORE 674921.983
AT ITER 964 NEW BEST:: SOT 4438713 SOS 761981 HAS SOPS 761981 HAS SOUS 674158 HAS SOUPS 674158 WITH SCORE 674919.981
AT ITER 967 NEW BEST:: SOT 4438554 SOS 761663 HAS SOPS 761663 HAS SOUS 673840 HAS SOUPS 673840 WITH SCORE 674601.663
AT ITER 1003 NEW BEST:: SOT 4438456 SOS 761467 HAS SOPS 761467 HAS SOUS 673644 HAS SOUPS 673644 WITH SCORE 674405.467
AT ITER 1042 NEW BEST:: SOT 4438455 SOS 761465 HAS SOPS 761465 HAS SOUS 673642 HAS SOUPS 673642 WITH SCORE 674403.465
AT ITER 1053 NEW BEST:: SOT 4438361 SOS 761277 HAS SOPS 761277 HAS SOUS 673454 HAS SOUPS 673454 WITH SCORE 674215.277
AT ITER 1069 NEW BEST:: SOT 4438360 SOS 761313 HAS SOPS 761313 HAS SOUS 673452 HAS SOUPS 673452 WITH SCORE 674213.313
AT ITER 1099 NEW BEST:: SOT 4438267 SOS 761325 HAS SOPS 761325 HAS SOUS 673428 HAS SOUPS 673428 WITH SCORE 674189.325
AT ITER 1103 NEW BEST:: SOT 4438091 SOS 761164 HAS SOPS 761164 HAS SOUS 673252 HAS SOUPS 673252 WITH SCORE 674013.164
AT ITER 1110 NEW BEST:: SOT 4438052 SOS 760727 HAS SOPS 760727 HAS SOUS 672858 HAS SOUPS 672858 WITH SCORE 673618.727
AT ITER 1119 NEW BEST:: SOT 4437866 SOS 760355 HAS SOPS 760355 HAS SOUS 672511 HAS SOUPS 672511 WITH SCORE 673271.355
AT ITER 1134 NEW BEST:: SOT 4437797 SOS 760286 HAS SOPS 760286 HAS SOUS 672510 HAS SOUPS 672510 WITH SCORE 673270.286
AT ITER 1137 NEW BEST:: SOT 4437699 SOS 760090 HAS SOPS 760090 HAS SOUS 672314 HAS SOUPS 672314 WITH SCORE 673074.09
AT ITER 1157 NEW BEST:: SOT 4437578 SOS 760036 HAS SOPS 760036 HAS SOUS 672193 HAS SOUPS 672193 WITH SCORE 672953.036
AT ITER 1185 NEW BEST:: SOT 4437409 SOS 759951 HAS SOPS 759951 HAS SOUS 672119 HAS SOUPS 672119 WITH SCORE 672878.951
AT ITER 1188 NEW BEST:: SOT 4437409 SOS 759951 HAS SOPS 759951 HAS SOUS 671914 HAS SOUPS 671914 WITH SCORE 672673.951
AT ITER 1190 NEW BEST:: SOT 4437409 SOS 759700 HAS SOPS 759700 HAS SOUS 671913 HAS SOUPS 671913 WITH SCORE 672672.7
AT ITER 1193 NEW BEST:: SOT 4437548 SOS 759540 HAS SOPS 759540 HAS SOUS 671833 HAS SOUPS 671833 WITH SCORE 672592.54
AT ITER 1210 NEW BEST:: SOT 4437215 SOS 759096 HAS SOPS 759096 HAS SOUS 671356 HAS SOUPS 671356 WITH SCORE 672115.096
AT ITER 1212 NEW BEST:: SOT 4436740 SOS 758482 HAS SOPS 758482 HAS SOUS 670713 HAS SOUPS 670713 WITH SCORE 671471.482
AT ITER 1225 NEW BEST:: SOT 4436604 SOS 757910 HAS SOPS 757910 HAS SOUS 670427 HAS SOUPS 670427 WITH SCORE 671184.91
AT ITER 1242 NEW BEST:: SOT 4436519 SOS 757559 HAS SOPS 757559 HAS SOUS 670161 HAS SOUPS 670161 WITH SCORE 670918.559
AT ITER 1249 NEW BEST:: SOT 4436433 SOS 757301 HAS SOPS 757301 HAS SOUS 669989 HAS SOUPS 669989 WITH SCORE 670746.301
AT ITER 1261 NEW BEST:: SOT 4435903 SOS 756771 HAS SOPS 756771 HAS SOUS 669459 HAS SOUPS 669459 WITH SCORE 670215.771
AT ITER 1262 NEW BEST:: SOT 4435903 SOS 756771 HAS SOPS 756771 HAS SOUS 669426 HAS SOUPS 669426 WITH SCORE 670182.771
AT ITER 1272 NEW BEST:: SOT 4436040 SOS 756519 HAS SOPS 756519 HAS SOUS 669321 HAS SOUPS 669321 WITH SCORE 670077.519
AT ITER 1285 NEW BEST:: SOT 4435886 SOS 756211 HAS SOPS 756211 HAS SOUS 669013 HAS SOUPS 669013 WITH SCORE 669769.211
AT ITER 1305 NEW BEST:: SOT 4435628 SOS 755902 HAS SOPS 755902 HAS SOUS 668693 HAS SOUPS 668693 WITH SCORE 669448.902
AT ITER 1326 NEW BEST:: SOT 4435361 SOS 755368 HAS SOPS 755368 HAS SOUS 668159 HAS SOUPS 668159 WITH SCORE 668914.368
AT ITER 1334 NEW BEST:: SOT 4435228 SOS 755198 HAS SOPS 755198 HAS SOUS 667978 HAS SOUPS 667978 WITH SCORE 668733.198
AT ITER 1337 NEW BEST:: SOT 4434901 SOS 755134 HAS SOPS 755134 HAS SOUS 667743 HAS SOUPS 667743 WITH SCORE 668498.134
AT ITER 1340 NEW BEST:: SOT 4434726 SOS 754980 HAS SOPS 754980 HAS SOUS 667589 HAS SOUPS 667589 WITH SCORE 668343.98
AT ITER 1341 NEW BEST:: SOT 4433670 SOS 764234 HAS SOPS 764234 HAS SOUS 666956 HAS SOUPS 666956 WITH SCORE 667720.234
AT ITER 1350 NEW BEST:: SOT 4433450 SOS 764118 HAS SOPS 764118 HAS SOUS 666840 HAS SOUPS 666840 WITH SCORE 667604.118
AT ITER 1377 NEW BEST:: SOT 4433450 SOS 764016 HAS SOPS 764016 HAS SOUS 666839 HAS SOUPS 666839 WITH SCORE 667603.016
AT ITER 1379 NEW BEST:: SOT 4433450 SOS 764016 HAS SOPS 764016 HAS SOUS 666720 HAS SOUPS 666720 WITH SCORE 667484.016
AT ITER 1385 NEW BEST:: SOT 4433391 SOS 763898 HAS SOPS 763898 HAS SOUS 666602 HAS SOUPS 666602 WITH SCORE 667365.898
AT ITER 1386 NEW BEST:: SOT 4433254 SOS 763624 HAS SOPS 763624 HAS SOUS 666345 HAS SOUPS 666345 WITH SCORE 667108.624
AT ITER 1395 NEW BEST:: SOT 4433223 SOS 763593 HAS SOPS 763593 HAS SOUS 666314 HAS SOUPS 666314 WITH SCORE 667077.593
AT ITER 1409 NEW BEST:: SOT 4433280 SOS 763707 HAS SOPS 763707 HAS SOUS 666279 HAS SOUPS 666279 WITH SCORE 667042.707
AT ITER 1417 NEW BEST:: SOT 4433041 SOS 762924 HAS SOPS 762924 HAS SOUS 665623 HAS SOUPS 665623 WITH SCORE 666385.924
AT ITER 1422 NEW BEST:: SOT 4433041 SOS 762798 HAS SOPS 762798 HAS SOUS 665623 HAS SOUPS 665623 WITH SCORE 666385.798
AT ITER 1424 NEW BEST:: SOT 4433030 SOS 762787 HAS SOPS 762787 HAS SOUS 665612 HAS SOUPS 665612 WITH SCORE 666374.787
AT ITER 1441 NEW BEST:: SOT 4433207 SOS 762649 HAS SOPS 762649 HAS SOUS 665510 HAS SOUPS 665510 WITH SCORE 666272.649
AT ITER 1456 NEW BEST:: SOT 4433207 SOS 762385 HAS SOPS 762385 HAS SOUS 665510 HAS SOUPS 665510 WITH SCORE 666272.385
AT ITER 1485 NEW BEST:: SOT 4433207 SOS 762344 HAS SOPS 762344 HAS SOUS 665510 HAS SOUPS 665510 WITH SCORE 666272.344
AT ITER 1511 NEW BEST:: SOT 4432958 SOS 751886 HAS SOPS 751886 HAS SOUS 665012 HAS SOUPS 665012 WITH SCORE 665763.886
AT ITER 1529 NEW BEST:: SOT 4432867 SOS 751704 HAS SOPS 751704 HAS SOUS 664830 HAS SOUPS 664830 WITH SCORE 665581.704
AT ITER 1542 NEW BEST:: SOT 4432746 SOS 751651 HAS SOPS 751651 HAS SOUS 664709 HAS SOUPS 664709 WITH SCORE 665460.651
AT ITER 1545 NEW BEST:: SOT 4432205 SOS 751509 HAS SOPS 751509 HAS SOUS 664437 HAS SOUPS 664437 WITH SCORE 665188.509
AT ITER 1551 NEW BEST:: SOT 4432774 SOS 750922 HAS SOPS 750922 HAS SOUS 664434 HAS SOUPS 664434 WITH SCORE 665184.922
AT ITER 1578 NEW BEST:: SOT 4432499 SOS 750372 HAS SOPS 750372 HAS SOUS 663884 HAS SOUPS 663884 WITH SCORE 664634.372
AT ITER 1580 NEW BEST:: SOT 4432084 SOS 750056 HAS SOPS 750056 HAS SOUS 663507 HAS SOUPS 663507 WITH SCORE 664257.056
AT ITER 1606 NEW BEST:: SOT 4432148 SOS 750184 HAS SOPS 750184 HAS SOUS 663443 HAS SOUPS 663443 WITH SCORE 664193.184
AT ITER 1607 NEW BEST:: SOT 4432173 SOS 749928 HAS SOPS 749928 HAS SOUS 663187 HAS SOUPS 663187 WITH SCORE 663936.928
AT ITER 1681 NEW BEST:: SOT 4431998 SOS 749578 HAS SOPS 749578 HAS SOUS 662837 HAS SOUPS 662837 WITH SCORE 663586.578
AT ITER 1695 NEW BEST:: SOT 4431702 SOS 749331 HAS SOPS 749331 HAS SOUS 662540 HAS SOUPS 662540 WITH SCORE 663289.331
AT ITER 1713 NEW BEST:: SOT 4431623 SOS 749173 HAS SOPS 749173 HAS SOUS 662321 HAS SOUPS 662321 WITH SCORE 663070.173
AT ITER 1769 NEW BEST:: SOT 4431296 SOS 748458 HAS SOPS 748458 HAS SOUS 661667 HAS SOUPS 661667 WITH SCORE 662415.458
AT ITER 1807 NEW BEST:: SOT 4431247 SOS 748360 HAS SOPS 748360 HAS SOUS 661310 HAS SOUPS 661310 WITH SCORE 662058.36
AT ITER 1823 NEW BEST:: SOT 4431641 SOS 748207 HAS SOPS 748207 HAS SOUS 661270 HAS SOUPS 661270 WITH SCORE 662018.207
AT ITER 1858 NEW BEST:: SOT 4431641 SOS 748103 HAS SOPS 748103 HAS SOUS 661166 HAS SOUPS 661166 WITH SCORE 661914.103
AT ITER 1883 NEW BEST:: SOT 4431578 SOS 747977 HAS SOPS 747977 HAS SOUS 661104 HAS SOUPS 661104 WITH SCORE 661851.977
AT ITER 1900 NEW BEST:: SOT 4431577 SOS 747975 HAS SOPS 747975 HAS SOUS 661102 HAS SOUPS 661102 WITH SCORE 661849.975
AT ITER 1922 NEW BEST:: SOT 4431448 SOS 748110 HAS SOPS 748110 HAS SOUS 661042 HAS SOUPS 661042 WITH SCORE 661790.11
AT ITER 1975 NEW BEST:: SOT 4431397 SOS 748008 HAS SOPS 748008 HAS SOUS 660940 HAS SOUPS 660940 WITH SCORE 661688.008
AT ITER 1986 NEW BEST:: SOT 4431337 SOS 747948 HAS SOPS 747948 HAS SOUS 660880 HAS SOUPS 660880 WITH SCORE 661627.948
AT ITER 1995 NEW BEST:: SOT 4430953 SOS 747692 HAS SOPS 747692 HAS SOUS 660624 HAS SOUPS 660624 WITH SCORE 661371.692
AT ITER 1999 NEW BEST:: SOT 4430674 SOS 747134 HAS SOPS 747134 HAS SOUS 660066 HAS SOUPS 660066 WITH SCORE 660813.134
AT ITER 2011 NEW BEST:: SOT 4430637 SOS 747121 HAS SOPS 747121 HAS SOUS 660051 HAS SOUPS 660051 WITH SCORE 660798.121
AT ITER 2029 NEW BEST:: SOT 4430637 SOS 746949 HAS SOPS 746949 HAS SOUS 660051 HAS SOUPS 660051 WITH SCORE 660797.949
AT ITER 2031 NEW BEST:: SOT 4430626 SOS 746927 HAS SOPS 746927 HAS SOUS 660029 HAS SOUPS 660029 WITH SCORE 660775.927
AT ITER 2135 NEW BEST:: SOT 4430376 SOS 746288 HAS SOPS 746288 HAS SOUS 659441 HAS SOUPS 659441 WITH SCORE 660187.288
AT ITER 2141 NEW BEST:: SOT 4430266 SOS 746068 HAS SOPS 746068 HAS SOUS 659221 HAS SOUPS 659221 WITH SCORE 659967.068
AT ITER 2145 NEW BEST:: SOT 4430258 SOS 746052 HAS SOPS 746052 HAS SOUS 659043 HAS SOUPS 659043 WITH SCORE 659789.052
AT ITER 2191 NEW BEST:: SOT 4430141 SOS 746036 HAS SOPS 746036 HAS SOUS 658926 HAS SOUPS 658926 WITH SCORE 659672.036
AT ITER 2212 NEW BEST:: SOT 4430132 SOS 746310 HAS SOPS 746310 HAS SOUS 658917 HAS SOUPS 658917 WITH SCORE 659663.31
AT ITER 2236 NEW BEST:: SOT 4430255 SOS 746556 HAS SOPS 746556 HAS SOUS 658747 HAS SOUPS 658747 WITH SCORE 659493.556
AT ITER 2237 NEW BEST:: SOT 4430271 SOS 746588 HAS SOPS 746588 HAS SOUS 658454 HAS SOUPS 658454 WITH SCORE 659200.588
AT ITER 2244 NEW BEST:: SOT 4430270 SOS 746586 HAS SOPS 746586 HAS SOUS 658452 HAS SOUPS 658452 WITH SCORE 659198.586
AT ITER 2287 NEW BEST:: SOT 4430270 SOS 746586 HAS SOPS 746586 HAS SOUS 658429 HAS SOUPS 658429 WITH SCORE 659175.586
AT ITER 2316 NEW BEST:: SOT 4429236 SOS 745765 HAS SOPS 745765 HAS SOUS 657821 HAS SOUPS 657821 WITH SCORE 658566.765
AT ITER 2355 NEW BEST:: SOT 4429236 SOS 745711 HAS SOPS 745711 HAS SOUS 657821 HAS SOUPS 657821 WITH SCORE 658566.711
AT ITER 2393 NEW BEST:: SOT 4429212 SOS 745027 HAS SOPS 745027 HAS SOUS 657668 HAS SOUPS 657668 WITH SCORE 658413.027
AT ITER 2411 NEW BEST:: SOT 4429183 SOS 745020 HAS SOPS 745020 HAS SOUS 657639 HAS SOUPS 657639 WITH SCORE 658384.02
AT ITER 2430 NEW BEST:: SOT 4429105 SOS 745098 HAS SOPS 745098 HAS SOUS 657467 HAS SOUPS 657467 WITH SCORE 658212.098
AT ITER 2445 NEW BEST:: SOT 4428965 SOS 744999 HAS SOPS 744999 HAS SOUS 657327 HAS SOUPS 657327 WITH SCORE 658071.999
AT ITER 2449 NEW BEST:: SOT 4428697 SOS 744731 HAS SOPS 744731 HAS SOUS 657059 HAS SOUPS 657059 WITH SCORE 657803.731
AT ITER 2474 NEW BEST:: SOT 4428657 SOS 744272 HAS SOPS 744272 HAS SOUS 656917 HAS SOUPS 656917 WITH SCORE 657661.272
AT ITER 2508 NEW BEST:: SOT 4428352 SOS 743662 HAS SOPS 743662 HAS SOUS 656307 HAS SOUPS 656307 WITH SCORE 657050.662
AT ITER 2517 NEW BEST:: SOT 4428223 SOS 743533 HAS SOPS 743533 HAS SOUS 656178 HAS SOUPS 656178 WITH SCORE 656921.533
AT ITER 2536 NEW BEST:: SOT 4428227 SOS 743321 HAS SOPS 743321 HAS SOUS 655967 HAS SOUPS 655967 WITH SCORE 656710.321
AT ITER 2543 NEW BEST:: SOT 4428147 SOS 743161 HAS SOPS 743161 HAS SOUS 655885 HAS SOUPS 655885 WITH SCORE 656628.161
AT ITER 2553 NEW BEST:: SOT 4428141 SOS 743149 HAS SOPS 743149 HAS SOUS 655873 HAS SOUPS 655873 WITH SCORE 656616.149
AT ITER 2557 NEW BEST:: SOT 4427946 SOS 742759 HAS SOPS 742759 HAS SOUS 655483 HAS SOUPS 655483 WITH SCORE 656225.759
AT ITER 2578 NEW BEST:: SOT 4427946 SOS 742727 HAS SOPS 742727 HAS SOUS 655451 HAS SOUPS 655451 WITH SCORE 656193.727
AT ITER 2609 NEW BEST:: SOT 4427946 SOS 742624 HAS SOPS 742624 HAS SOUS 655451 HAS SOUPS 655451 WITH SCORE 656193.624
AT ITER 2610 NEW BEST:: SOT 4427972 SOS 742197 HAS SOPS 742197 HAS SOUS 655024 HAS SOUPS 655024 WITH SCORE 655766.197
AT ITER 2613 NEW BEST:: SOT 4427712 SOS 741677 HAS SOPS 741677 HAS SOUS 654433 HAS SOUPS 654433 WITH SCORE 655174.677
AT ITER 2627 NEW BEST:: SOT 4427711 SOS 741675 HAS SOPS 741675 HAS SOUS 654431 HAS SOUPS 654431 WITH SCORE 655172.675
AT ITER 2631 NEW BEST:: SOT 4427704 SOS 741668 HAS SOPS 741668 HAS SOUS 654410 HAS SOUPS 654410 WITH SCORE 655151.668
AT ITER 2657 NEW BEST:: SOT 4426034 SOS 780476 HAS SOPS 780476 HAS SOUS 653111 HAS SOUPS 653111 WITH SCORE 653891.476
AT ITER 2672 NEW BEST:: SOT 4425917 SOS 780390 HAS SOPS 780390 HAS SOUS 653009 HAS SOUPS 653009 WITH SCORE 653789.39
AT ITER 2688 NEW BEST:: SOT 4425845 SOS 779914 HAS SOPS 779914 HAS SOUS 652592 HAS SOUPS 652592 WITH SCORE 653371.914
AT ITER 2697 NEW BEST:: SOT 4425931 SOS 780086 HAS SOPS 780086 HAS SOUS 652532 HAS SOUPS 652532 WITH SCORE 653312.086
AT ITER 2708 NEW BEST:: SOT 4425820 SOS 779603 HAS SOPS 779603 HAS SOUS 652310 HAS SOUPS 652310 WITH SCORE 653089.603
AT ITER 2712 NEW BEST:: SOT 4425782 SOS 779527 HAS SOPS 779527 HAS SOUS 652218 HAS SOUPS 652218 WITH SCORE 652997.527
AT ITER 2720 NEW BEST:: SOT 4425651 SOS 779396 HAS SOPS 779396 HAS SOUS 652087 HAS SOUPS 652087 WITH SCORE 652866.396
AT ITER 2730 NEW BEST:: SOT 4425488 SOS 779233 HAS SOPS 779233 HAS SOUS 652087 HAS SOUPS 652087 WITH SCORE 652866.233
AT ITER 2732 NEW BEST:: SOT 4425529 SOS 779013 HAS SOPS 779013 HAS SOUS 651777 HAS SOUPS 651777 WITH SCORE 652556.013
AT ITER 2756 NEW BEST:: SOT 4425372 SOS 778855 HAS SOPS 778855 HAS SOUS 651619 HAS SOUPS 651619 WITH SCORE 652397.855
AT ITER 2768 NEW BEST:: SOT 4424986 SOS 778469 HAS SOPS 778469 HAS SOUS 651233 HAS SOUPS 651233 WITH SCORE 652011.469
AT ITER 2785 NEW BEST:: SOT 4424948 SOS 778393 HAS SOPS 778393 HAS SOUS 651187 HAS SOUPS 651187 WITH SCORE 651965.393
AT ITER 2797 NEW BEST:: SOT 4424847 SOS 778276 HAS SOPS 778276 HAS SOUS 651044 HAS SOUPS 651044 WITH SCORE 651822.276
AT ITER 2826 NEW BEST:: SOT 4424942 SOS 778145 HAS SOPS 778145 HAS SOUS 650913 HAS SOUPS 650913 WITH SCORE 651691.145
AT ITER 2837 NEW BEST:: SOT 4424940 SOS 778141 HAS SOPS 778141 HAS SOUS 650909 HAS SOUPS 650909 WITH SCORE 651687.141
AT ITER 2851 NEW BEST:: SOT 4424940 SOS 777779 HAS SOPS 777779 HAS SOUS 650547 HAS SOUPS 650547 WITH SCORE 651324.779
AT ITER 2852 NEW BEST:: SOT 4425095 SOS 777746 HAS SOPS 777746 HAS SOUS 650514 HAS SOUPS 650514 WITH SCORE 651291.746
AT ITER 2860 NEW BEST:: SOT 4424892 SOS 777864 HAS SOPS 777864 HAS SOUS 650501 HAS SOUPS 650501 WITH SCORE 651278.864
AT ITER 2883 NEW BEST:: SOT 4424892 SOS 777731 HAS SOPS 777731 HAS SOUS 650500 HAS SOUPS 650500 WITH SCORE 651277.731
AT ITER 2903 NEW BEST:: SOT 4424619 SOS 777185 HAS SOPS 777185 HAS SOUS 650227 HAS SOUPS 650227 WITH SCORE 651004.185
AT ITER 2908 NEW BEST:: SOT 4424619 SOS 777185 HAS SOPS 777185 HAS SOUS 650117 HAS SOUPS 650117 WITH SCORE 650894.185
AT ITER 2928 NEW BEST:: SOT 4424619 SOS 777406 HAS SOPS 777406 HAS SOUS 650077 HAS SOUPS 650077 WITH SCORE 650854.406
AT ITER 2958 NEW BEST:: SOT 4424662 SOS 777492 HAS SOPS 777492 HAS SOUS 650020 HAS SOUPS 650020 WITH SCORE 650797.492
AT ITER 2979 NEW BEST:: SOT 4424393 SOS 777343 HAS SOPS 777343 HAS SOUS 649783 HAS SOUPS 649783 WITH SCORE 650560.343
AT ITER 2986 NEW BEST:: SOT 4424393 SOS 777343 HAS SOPS 777343 HAS SOUS 649782 HAS SOUPS 649782 WITH SCORE 650559.343
AT ITER 3064 NEW BEST:: SOT 4424363 SOS 777283 HAS SOPS 777283 HAS SOUS 649722 HAS SOUPS 649722 WITH SCORE 650499.283
AT ITER 3065 NEW BEST:: SOT 4424084 SOS 777205 HAS SOPS 777205 HAS SOUS 649563 HAS SOUPS 649563 WITH SCORE 650340.205
AT ITER 3071 NEW BEST:: SOT 4423821 SOS 776679 HAS SOPS 776679 HAS SOUS 649208 HAS SOUPS 649208 WITH SCORE 649984.679
AT ITER 3075 NEW BEST:: SOT 4423753 SOS 776543 HAS SOPS 776543 HAS SOUS 649140 HAS SOUPS 649140 WITH SCORE 649916.543
AT ITER 3083 NEW BEST:: SOT 4423463 SOS 776263 HAS SOPS 776263 HAS SOUS 648853 HAS SOUPS 648853 WITH SCORE 649629.263
AT ITER 3134 NEW BEST:: SOT 4423456 SOS 776249 HAS SOPS 776249 HAS SOUS 648839 HAS SOUPS 648839 WITH SCORE 649615.249
AT ITER 3149 NEW BEST:: SOT 4423456 SOS 776216 HAS SOPS 776216 HAS SOUS 648839 HAS SOUPS 648839 WITH SCORE 649615.216
AT ITER 3162 NEW BEST:: SOT 4423455 SOS 776214 HAS SOPS 776214 HAS SOUS 648837 HAS SOUPS 648837 WITH SCORE 649613.214
AT ITER 3180 NEW BEST:: SOT 4423424 SOS 776152 HAS SOPS 776152 HAS SOUS 648775 HAS SOUPS 648775 WITH SCORE 649551.152
AT ITER 3187 NEW BEST:: SOT 4423153 SOS 775610 HAS SOPS 775610 HAS SOUS 648233 HAS SOUPS 648233 WITH SCORE 649008.61
AT ITER 3214 NEW BEST:: SOT 4423153 SOS 775610 HAS SOPS 775610 HAS SOUS 648210 HAS SOUPS 648210 WITH SCORE 648985.61
AT ITER 3234 NEW BEST:: SOT 4423011 SOS 775326 HAS SOPS 775326 HAS SOUS 647926 HAS SOUPS 647926 WITH SCORE 648701.326
AT ITER 3246 NEW BEST:: SOT 4423011 SOS 775314 HAS SOPS 775314 HAS SOUS 647920 HAS SOUPS 647920 WITH SCORE 648695.314
AT ITER 3331 NEW BEST:: SOT 4422890 SOS 775273 HAS SOPS 775273 HAS SOUS 647836 HAS SOUPS 647836 WITH SCORE 648611.273
AT ITER 3342 NEW BEST:: SOT 4422758 SOS 775723 HAS SOPS 775723 HAS SOUS 647614 HAS SOUPS 647614 WITH SCORE 648389.723
AT ITER 3353 NEW BEST:: SOT 4422653 SOS 775619 HAS SOPS 775619 HAS SOUS 647456 HAS SOUPS 647456 WITH SCORE 648231.619
AT ITER 3356 NEW BEST:: SOT 4422686 SOS 775603 HAS SOPS 775603 HAS SOUS 647440 HAS SOUPS 647440 WITH SCORE 648215.603
AT ITER 3361 NEW BEST:: SOT 4422541 SOS 775313 HAS SOPS 775313 HAS SOUS 647150 HAS SOUPS 647150 WITH SCORE 647925.313
AT ITER 3419 NEW BEST:: SOT 4422513 SOS 775285 HAS SOPS 775285 HAS SOUS 647122 HAS SOUPS 647122 WITH SCORE 647897.285
AT ITER 3426 NEW BEST:: SOT 4422513 SOS 775238 HAS SOPS 775238 HAS SOUS 647122 HAS SOUPS 647122 WITH SCORE 647897.238
AT ITER 3433 NEW BEST:: SOT 4422382 SOS 774976 HAS SOPS 774976 HAS SOUS 646860 HAS SOUPS 646860 WITH SCORE 647634.976
AT ITER 3457 NEW BEST:: SOT 4422275 SOS 774762 HAS SOPS 774762 HAS SOUS 646646 HAS SOUPS 646646 WITH SCORE 647420.762
AT ITER 3492 NEW BEST:: SOT 4422097 SOS 774500 HAS SOPS 774500 HAS SOUS 646384 HAS SOUPS 646384 WITH SCORE 647158.5
AT ITER 3501 NEW BEST:: SOT 4422040 SOS 774462 HAS SOPS 774462 HAS SOUS 646327 HAS SOUPS 646327 WITH SCORE 647101.462
AT ITER 3514 NEW BEST:: SOT 4421771 SOS 774312 HAS SOPS 774312 HAS SOUS 646073 HAS SOUPS 646073 WITH SCORE 646847.312
AT ITER 3516 NEW BEST:: SOT 4421698 SOS 774448 HAS SOPS 774448 HAS SOUS 646000 HAS SOUPS 646000 WITH SCORE 646774.448
AT ITER 3528 NEW BEST:: SOT 4421578 SOS 773977 HAS SOPS 773977 HAS SOUS 645649 HAS SOUPS 645649 WITH SCORE 646422.977
AT ITER 3531 NEW BEST:: SOT 4421566 SOS 773953 HAS SOPS 773953 HAS SOUS 645625 HAS SOUPS 645625 WITH SCORE 646398.953
AT ITER 3533 NEW BEST:: SOT 4421506 SOS 773833 HAS SOPS 773833 HAS SOUS 645505 HAS SOUPS 645505 WITH SCORE 646278.833
AT ITER 3551 NEW BEST:: SOT 4421156 SOS 773483 HAS SOPS 773483 HAS SOUS 645155 HAS SOUPS 645155 WITH SCORE 645928.483
AT ITER 3571 NEW BEST:: SOT 4421065 SOS 773203 HAS SOPS 773203 HAS SOUS 644973 HAS SOUPS 644973 WITH SCORE 645746.203
AT ITER 3572 NEW BEST:: SOT 4421065 SOS 772984 HAS SOPS 772984 HAS SOUS 644973 HAS SOUPS 644973 WITH SCORE 645745.984
AT ITER 3589 NEW BEST:: SOT 4421094 SOS 772642 HAS SOPS 772642 HAS SOUS 644779 HAS SOUPS 644779 WITH SCORE 645551.642
AT ITER 3591 NEW BEST:: SOT 4421094 SOS 772321 HAS SOPS 772321 HAS SOUS 644779 HAS SOUPS 644779 WITH SCORE 645551.321
AT ITER 3627 NEW BEST:: SOT 4421094 SOS 772321 HAS SOPS 772321 HAS SOUS 644746 HAS SOUPS 644746 WITH SCORE 645518.321
AT ITER 3663 NEW BEST:: SOT 4421193 SOS 772006 HAS SOPS 772006 HAS SOUS 644387 HAS SOUPS 644387 WITH SCORE 645159.006
AT ITER 3706 NEW BEST:: SOT 4421005 SOS 771818 HAS SOPS 771818 HAS SOUS 644199 HAS SOUPS 644199 WITH SCORE 644970.818
AT ITER 3724 NEW BEST:: SOT 4421005 SOS 771675 HAS SOPS 771675 HAS SOUS 644056 HAS SOUPS 644056 WITH SCORE 644827.675
AT ITER 3728 NEW BEST:: SOT 4421005 SOS 771433 HAS SOPS 771433 HAS SOUS 644056 HAS SOUPS 644056 WITH SCORE 644827.433
AT ITER 3757 NEW BEST:: SOT 4421089 SOS 771187 HAS SOPS 771187 HAS SOUS 643726 HAS SOUPS 643726 WITH SCORE 644497.187
AT ITER 3828 NEW BEST:: SOT 4420997 SOS 771003 HAS SOPS 771003 HAS SOUS 643561 HAS SOUPS 643561 WITH SCORE 644332.003
AT ITER 3851 NEW BEST:: SOT 4421363 SOS 770623 HAS SOPS 770623 HAS SOUS 643463 HAS SOUPS 643463 WITH SCORE 644233.623
AT ITER 3861 NEW BEST:: SOT 4421363 SOS 770578 HAS SOPS 770578 HAS SOUS 643463 HAS SOUPS 643463 WITH SCORE 644233.578
AT ITER 3867 NEW BEST:: SOT 4421351 SOS 770566 HAS SOPS 770566 HAS SOUS 643451 HAS SOUPS 643451 WITH SCORE 644221.566
AT ITER 3879 NEW BEST:: SOT 4421310 SOS 770484 HAS SOPS 770484 HAS SOUS 643369 HAS SOUPS 643369 WITH SCORE 644139.484
AT ITER 3904 NEW BEST:: SOT 4421162 SOS 770336 HAS SOPS 770336 HAS SOUS 643221 HAS SOUPS 643221 WITH SCORE 643991.336
AT ITER 3953 NEW BEST:: SOT 4421064 SOS 770140 HAS SOPS 770140 HAS SOUS 643025 HAS SOUPS 643025 WITH SCORE 643795.14
AT ITER 4032 NEW BEST:: SOT 4420908 SOS 749779 HAS SOPS 749779 HAS SOUS 642869 HAS SOUPS 642869 WITH SCORE 643618.779
AT ITER 4056 NEW BEST:: SOT 4420907 SOS 749777 HAS SOPS 749777 HAS SOUS 642867 HAS SOUPS 642867 WITH SCORE 643616.777
AT ITER 4058 NEW BEST:: SOT 4421086 SOS 749941 HAS SOPS 749941 HAS SOUS 642799 HAS SOUPS 642799 WITH SCORE 643548.941
AT ITER 4061 NEW BEST:: SOT 4421062 SOS 749648 HAS SOPS 749648 HAS SOUS 642605 HAS SOUPS 642605 WITH SCORE 643354.648
AT ITER 4079 NEW BEST:: SOT 4421148 SOS 749820 HAS SOPS 749820 HAS SOUS 642583 HAS SOUPS 642583 WITH SCORE 643332.82
AT ITER 4080 NEW BEST:: SOT 4420782 SOS 749454 HAS SOPS 749454 HAS SOUS 642217 HAS SOUPS 642217 WITH SCORE 642966.454
AT ITER 4145 NEW BEST:: SOT 4420756 SOS 749402 HAS SOPS 749402 HAS SOUS 642165 HAS SOUPS 642165 WITH SCORE 642914.402
AT ITER 4190 NEW BEST:: SOT 4420616 SOS 749122 HAS SOPS 749122 HAS SOUS 641885 HAS SOUPS 641885 WITH SCORE 642634.122
AT ITER 4223 NEW BEST:: SOT 4420530 SOS 748950 HAS SOPS 748950 HAS SOUS 641799 HAS SOUPS 641799 WITH SCORE 642547.95
AT ITER 4229 NEW BEST:: SOT 4420414 SOS 748718 HAS SOPS 748718 HAS SOUS 641567 HAS SOUPS 641567 WITH SCORE 642315.718
AT ITER 4251 NEW BEST:: SOT 4420370 SOS 748630 HAS SOPS 748630 HAS SOUS 641479 HAS SOUPS 641479 WITH SCORE 642227.63
AT ITER 4258 NEW BEST:: SOT 4420593 SOS 748248 HAS SOPS 748248 HAS SOUS 641426 HAS SOUPS 641426 WITH SCORE 642174.248
AT ITER 4275 NEW BEST:: SOT 4420207 SOS 746877 HAS SOPS 746877 HAS SOUS 641033 HAS SOUPS 641033 WITH SCORE 641779.877
AT ITER 4286 NEW BEST:: SOT 4419903 SOS 746269 HAS SOPS 746269 HAS SOUS 640425 HAS SOUPS 640425 WITH SCORE 641171.269
AT ITER 4299 NEW BEST:: SOT 4419833 SOS 746129 HAS SOPS 746129 HAS SOUS 640355 HAS SOUPS 640355 WITH SCORE 641101.129
AT ITER 4313 NEW BEST:: SOT 4419415 SOS 745713 HAS SOPS 745713 HAS SOUS 639937 HAS SOUPS 639937 WITH SCORE 640682.713
AT ITER 4319 NEW BEST:: SOT 4419415 SOS 745552 HAS SOPS 745552 HAS SOUS 639937 HAS SOUPS 639937 WITH SCORE 640682.552
AT ITER 4321 NEW BEST:: SOT 4419378 SOS 745285 HAS SOPS 745285 HAS SOUS 639743 HAS SOUPS 639743 WITH SCORE 640488.285
AT ITER 4329 NEW BEST:: SOT 4419618 SOS 744937 HAS SOPS 744937 HAS SOUS 639613 HAS SOUPS 639613 WITH SCORE 640357.937
AT ITER 4342 NEW BEST:: SOT 4419415 SOS 744767 HAS SOPS 744767 HAS SOUS 639443 HAS SOUPS 639443 WITH SCORE 640187.767
AT ITER 4357 NEW BEST:: SOT 4419415 SOS 744202 HAS SOPS 744202 HAS SOUS 639443 HAS SOUPS 639443 WITH SCORE 640187.202
AT ITER 4395 NEW BEST:: SOT 4419415 SOS 744202 HAS SOPS 744202 HAS SOUS 639428 HAS SOUPS 639428 WITH SCORE 640172.202
AT ITER 4412 NEW BEST:: SOT 4419415 SOS 744202 HAS SOPS 744202 HAS SOUS 639367 HAS SOUPS 639367 WITH SCORE 640111.202
AT ITER 4414 NEW BEST:: SOT 4419415 SOS 744135 HAS SOPS 744135 HAS SOUS 639300 HAS SOUPS 639300 WITH SCORE 640044.135
AT ITER 4436 NEW BEST:: SOT 4419029 SOS 743990 HAS SOPS 743990 HAS SOUS 638977 HAS SOUPS 638977 WITH SCORE 639720.99
AT ITER 4437 NEW BEST:: SOT 4419314 SOS 743989 HAS SOPS 743989 HAS SOUS 638975 HAS SOUPS 638975 WITH SCORE 639718.989
AT ITER 4461 NEW BEST:: SOT 4419110 SOS 743581 HAS SOPS 743581 HAS SOUS 638954 HAS SOUPS 638954 WITH SCORE 639697.581
AT ITER 4482 NEW BEST:: SOT 4419087 SOS 743489 HAS SOPS 743489 HAS SOUS 638908 HAS SOUPS 638908 WITH SCORE 639651.489
AT ITER 4494 NEW BEST:: SOT 4418976 SOS 743267 HAS SOPS 743267 HAS SOUS 638686 HAS SOUPS 638686 WITH SCORE 639429.267
AT ITER 4502 NEW BEST:: SOT 4418973 SOS 743057 HAS SOPS 743057 HAS SOUS 638628 HAS SOUPS 638628 WITH SCORE 639371.057
AT ITER 4508 NEW BEST:: SOT 4418945 SOS 743029 HAS SOPS 743029 HAS SOUS 638600 HAS SOUPS 638600 WITH SCORE 639343.029
AT ITER 4547 NEW BEST:: SOT 4418752 SOS 743171 HAS SOPS 743171 HAS SOUS 638520 HAS SOUPS 638520 WITH SCORE 639263.171
AT ITER 4579 NEW BEST:: SOT 4418692 SOS 743051 HAS SOPS 743051 HAS SOUS 638400 HAS SOUPS 638400 WITH SCORE 639143.051
AT ITER 4584 NEW BEST:: SOT 4418660 SOS 743619 HAS SOPS 743619 HAS SOUS 638368 HAS SOUPS 638368 WITH SCORE 639111.619
AT ITER 4615 NEW BEST:: SOT 4418419 SOS 743137 HAS SOPS 743137 HAS SOUS 637886 HAS SOUPS 637886 WITH SCORE 638629.137
AT ITER 4617 NEW BEST:: SOT 4418340 SOS 742979 HAS SOPS 742979 HAS SOUS 637728 HAS SOUPS 637728 WITH SCORE 638470.979
AT ITER 4640 NEW BEST:: SOT 4418340 SOS 742979 HAS SOPS 742979 HAS SOUS 637727 HAS SOUPS 637727 WITH SCORE 638469.979
AT ITER 4652 NEW BEST:: SOT 4418271 SOS 742910 HAS SOPS 742910 HAS SOUS 637658 HAS SOUPS 637658 WITH SCORE 638400.91
AT ITER 4672 NEW BEST:: SOT 4418271 SOS 742910 HAS SOPS 742910 HAS SOUS 637616 HAS SOUPS 637616 WITH SCORE 638358.91
AT ITER 4684 NEW BEST:: SOT 4418271 SOS 742596 HAS SOPS 742596 HAS SOUS 637616 HAS SOUPS 637616 WITH SCORE 638358.596
AT ITER 4689 NEW BEST:: SOT 4418193 SOS 742362 HAS SOPS 742362 HAS SOUS 637460 HAS SOUPS 637460 WITH SCORE 638202.362
AT ITER 4706 NEW BEST:: SOT 4418193 SOS 742362 HAS SOPS 742362 HAS SOUS 637386 HAS SOUPS 637386 WITH SCORE 638128.362
AT ITER 4728 NEW BEST:: SOT 4417805 SOS 742122 HAS SOPS 742122 HAS SOUS 636878 HAS SOUPS 636878 WITH SCORE 637620.122
AT ITER 4747 NEW BEST:: SOT 4417716 SOS 741780 HAS SOPS 741780 HAS SOUS 636536 HAS SOUPS 636536 WITH SCORE 637277.78
AT ITER 4779 NEW BEST:: SOT 4417716 SOS 741780 HAS SOPS 741780 HAS SOUS 636529 HAS SOUPS 636529 WITH SCORE 637270.78
AT ITER 4787 NEW BEST:: SOT 4417657 SOS 741662 HAS SOPS 741662 HAS SOUS 636411 HAS SOUPS 636411 WITH SCORE 637152.662
AT ITER 4795 NEW BEST:: SOT 4417605 SOS 741310 HAS SOPS 741310 HAS SOUS 636111 HAS SOUPS 636111 WITH SCORE 636852.31
AT ITER 4810 NEW BEST:: SOT 4417572 SOS 741244 HAS SOPS 741244 HAS SOUS 636111 HAS SOUPS 636111 WITH SCORE 636852.244
AT ITER 4823 NEW BEST:: SOT 4417572 SOS 741139 HAS SOPS 741139 HAS SOUS 636006 HAS SOUPS 636006 WITH SCORE 636747.139
AT ITER 4847 NEW BEST:: SOT 4417504 SOS 741003 HAS SOPS 741003 HAS SOUS 635870 HAS SOUPS 635870 WITH SCORE 636611.003
AT ITER 4849 NEW BEST:: SOT 4417463 SOS 740762 HAS SOPS 740762 HAS SOUS 635748 HAS SOUPS 635748 WITH SCORE 636488.762
AT ITER 4874 NEW BEST:: SOT 4417463 SOS 740762 HAS SOPS 740762 HAS SOUS 635694 HAS SOUPS 635694 WITH SCORE 636434.762
AT ITER 4892 NEW BEST:: SOT 4417463 SOS 740684 HAS SOPS 740684 HAS SOUS 635694 HAS SOUPS 635694 WITH SCORE 636434.684
AT ITER 4907 NEW BEST:: SOT 4417217 SOS 740750 HAS SOPS 740750 HAS SOUS 635494 HAS SOUPS 635494 WITH SCORE 636234.75
AT ITER 4918 NEW BEST:: SOT 4417176 SOS 740717 HAS SOPS 740717 HAS SOUS 635409 HAS SOUPS 635409 WITH SCORE 636149.717
AT ITER 4975 NEW BEST:: SOT 4417167 SOS 740699 HAS SOPS 740699 HAS SOUS 635400 HAS SOUPS 635400 WITH SCORE 636140.699
AT ITER 4983 NEW BEST:: SOT 4417100 SOS 740565 HAS SOPS 740565 HAS SOUS 635266 HAS SOUPS 635266 WITH SCORE 636006.565
AT ITER 4992 NEW BEST:: SOT 4417085 SOS 740535 HAS SOPS 740535 HAS SOUS 635236 HAS SOUPS 635236 WITH SCORE 635976.535
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: CloudReconfiguration-PT-314-CTLCardinality-00 ( (AG( (EX( potential( (tk(P2002)) <= (tk(P196)) ))))) & (! ( potential( ( 2 ) <= (tk(P1443)) ) & ( (! potential( (tk(P1912)) <= (tk(P2241)) )) & ( potential( (tk(P599)) <= (tk(P2175)) ) | potential( (tk(P342)) <= (tk(P1063)) ) ) ) )) )
PROPERTY: CloudReconfiguration-PT-314-CTLCardinality-01 (AF(potential( ( 3 ) <= (tk(P1782)) )))
PROPERTY: CloudReconfiguration-PT-314-CTLCardinality-02 (AU( potential( (tk(P1879)) <= (tk(P456)) ),( ( potential( ( 3 ) <= (tk(P1614)) ) & potential( ( 3 ) <= (tk(P894)) ) ) & potential( ( 1 ) <= (tk(P202)) ) ) ))
PROPERTY: CloudReconfiguration-PT-314-CTLCardinality-03 (EG( (! (EX( potential( ( 2 ) <= (tk(P306)) ))))))
PROPERTY: CloudReconfiguration-PT-314-CTLCardinality-04 ( ( (EF(potential( ( 3 ) <= (tk(P1789)) ))) | ( (EG( potential( ( 3 ) <= (tk(P1743)) ))) | potential( ( 2 ) <= (tk(P821)) ) ) ) | (AX( (AX( potential( ( 2 ) <= (tk(P177)) ))))) )
PROPERTY: CloudReconfiguration-PT-314-CTLCardinality-05 (EG( (! potential( ( 1 ) <= (tk(P1927)) ))))
PROPERTY: CloudReconfiguration-PT-314-CTLCardinality-06 (! (AG( ( potential( (tk(P428)) <= (tk(P2345)) ) | potential( ( 3 ) <= (tk(P1604)) ) ))))
PROPERTY: CloudReconfiguration-PT-314-CTLCardinality-07 (EG( potential( (tk(P172)) <= (tk(P186)) )))
PROPERTY: CloudReconfiguration-PT-314-CTLCardinality-08 (AG( (EG( potential( (tk(P2099)) <= (tk(P2579)) )))))
PROPERTY: CloudReconfiguration-PT-314-CTLCardinality-09 (! (AX( (EF(potential( ( 3 ) <= (tk(P608)) ))))))
PROPERTY: CloudReconfiguration-PT-314-CTLCardinality-10 (EG( ( (EG( potential( ( 2 ) <= (tk(P1291)) ))) | (AG( potential( (tk(P2241)) <= (tk(P2003)) ))) )))
PROPERTY: CloudReconfiguration-PT-314-CTLCardinality-11 ( (AX( (AF(potential( ( 3 ) <= (tk(P1456)) ))))) | (AF(( (! potential( (tk(P2089)) <= (tk(P477)) )) & ( potential( ( 1 ) <= (tk(P2139)) ) | potential( ( 3 ) <= (tk(P1521)) ) ) ))) )
PROPERTY: CloudReconfiguration-PT-314-CTLCardinality-12 (AG( ( potential( ( 3 ) <= (tk(P541)) ) | (EF(potential( (tk(P1761)) <= (tk(P2)) ))) )))
PROPERTY: CloudReconfiguration-PT-314-CTLCardinality-13 (AU( ( (! potential( ( 1 ) <= (tk(P966)) )) | ( potential( ( 2 ) <= (tk(P1130)) ) | potential( (tk(P1158)) <= (tk(P1328)) ) ) ),(! (! potential( ( 3 ) <= (tk(P1003)) ))) ))
PROPERTY: CloudReconfiguration-PT-314-CTLCardinality-14 (AU( (EG( potential( (tk(P1892)) <= (tk(P372)) ))),( ( potential( ( 2 ) <= (tk(P1645)) ) | potential( ( 1 ) <= (tk(P756)) ) ) | ( potential( ( 3 ) <= (tk(P537)) ) & potential( (tk(P1407)) <= (tk(P490)) ) ) ) ))
PROPERTY: CloudReconfiguration-PT-314-CTLCardinality-15 (EF((AG( ( potential( ( 2 ) <= (tk(P1075)) ) | potential( (tk(P668)) <= (tk(P2157)) ) )))))

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-314"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is CloudReconfiguration-PT-314, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r048-ebro-158902541700107"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/CloudReconfiguration-PT-314.tgz
mv CloudReconfiguration-PT-314 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;