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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 844K
-rw-r--r-- 1 mcc users 4.1K Mar 30 01:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 30 01:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 28 16:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 28 16:12 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.3K 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.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.7K Mar 27 08:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 27 08:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 26 08:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K 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-303-CTLCardinality-00
FORMULA_NAME CloudReconfiguration-PT-303-CTLCardinality-01
FORMULA_NAME CloudReconfiguration-PT-303-CTLCardinality-02
FORMULA_NAME CloudReconfiguration-PT-303-CTLCardinality-03
FORMULA_NAME CloudReconfiguration-PT-303-CTLCardinality-04
FORMULA_NAME CloudReconfiguration-PT-303-CTLCardinality-05
FORMULA_NAME CloudReconfiguration-PT-303-CTLCardinality-06
FORMULA_NAME CloudReconfiguration-PT-303-CTLCardinality-07
FORMULA_NAME CloudReconfiguration-PT-303-CTLCardinality-08
FORMULA_NAME CloudReconfiguration-PT-303-CTLCardinality-09
FORMULA_NAME CloudReconfiguration-PT-303-CTLCardinality-10
FORMULA_NAME CloudReconfiguration-PT-303-CTLCardinality-11
FORMULA_NAME CloudReconfiguration-PT-303-CTLCardinality-12
FORMULA_NAME CloudReconfiguration-PT-303-CTLCardinality-13
FORMULA_NAME CloudReconfiguration-PT-303-CTLCardinality-14
FORMULA_NAME CloudReconfiguration-PT-303-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589088019081

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 303
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: 2584 places, 3094 transitions, 6459 arcs.
AT ITER 0 NEW BEST:: SOT 4445607 SOS 744324 HAS SOPS 744324 HAS SOUS 686655 HAS SOUPS 686655 WITH SCORE 687399.324
AT ITER 16 NEW BEST:: SOT 4445486 SOS 744203 HAS SOPS 744203 HAS SOUS 686534 HAS SOUPS 686534 WITH SCORE 687278.203
AT ITER 19 NEW BEST:: SOT 4445486 SOS 744203 HAS SOPS 744203 HAS SOUS 686371 HAS SOUPS 686371 WITH SCORE 687115.203
AT ITER 26 NEW BEST:: SOT 4445486 SOS 744146 HAS SOPS 744146 HAS SOUS 686371 HAS SOUPS 686371 WITH SCORE 687115.146
AT ITER 37 NEW BEST:: SOT 4445486 SOS 744146 HAS SOPS 744146 HAS SOUS 686364 HAS SOUPS 686364 WITH SCORE 687108.146
AT ITER 60 NEW BEST:: SOT 4445360 SOS 744032 HAS SOPS 744032 HAS SOUS 686238 HAS SOUPS 686238 WITH SCORE 686982.032
AT ITER 72 NEW BEST:: SOT 4445180 SOS 743509 HAS SOPS 743509 HAS SOUS 685754 HAS SOUPS 685754 WITH SCORE 686497.509
AT ITER 93 NEW BEST:: SOT 4444964 SOS 743077 HAS SOPS 743077 HAS SOUS 685239 HAS SOUPS 685239 WITH SCORE 685982.077
AT ITER 94 NEW BEST:: SOT 4444523 SOS 742783 HAS SOPS 742783 HAS SOUS 684945 HAS SOUPS 684945 WITH SCORE 685687.783
AT ITER 95 NEW BEST:: SOT 4444523 SOS 742783 HAS SOPS 742783 HAS SOUS 684943 HAS SOUPS 684943 WITH SCORE 685685.783
AT ITER 103 NEW BEST:: SOT 4444523 SOS 742783 HAS SOPS 742783 HAS SOUS 684830 HAS SOUPS 684830 WITH SCORE 685572.783
AT ITER 115 NEW BEST:: SOT 4444487 SOS 742711 HAS SOPS 742711 HAS SOUS 684758 HAS SOUPS 684758 WITH SCORE 685500.711
AT ITER 158 NEW BEST:: SOT 4444487 SOS 742711 HAS SOPS 742711 HAS SOUS 684678 HAS SOUPS 684678 WITH SCORE 685420.711
AT ITER 167 NEW BEST:: SOT 4442920 SOS 753873 HAS SOPS 753873 HAS SOUS 683785 HAS SOUPS 683785 WITH SCORE 684538.873
AT ITER 196 NEW BEST:: SOT 4442793 SOS 753817 HAS SOPS 753817 HAS SOUS 683696 HAS SOUPS 683696 WITH SCORE 684449.817
AT ITER 199 NEW BEST:: SOT 4442535 SOS 753621 HAS SOPS 753621 HAS SOUS 683438 HAS SOUPS 683438 WITH SCORE 684191.621
AT ITER 232 NEW BEST:: SOT 4442698 SOS 753461 HAS SOPS 753461 HAS SOUS 683358 HAS SOUPS 683358 WITH SCORE 684111.461
AT ITER 245 NEW BEST:: SOT 4442651 SOS 753367 HAS SOPS 753367 HAS SOUS 683264 HAS SOUPS 683264 WITH SCORE 684017.367
AT ITER 248 NEW BEST:: SOT 4442496 SOS 753519 HAS SOPS 753519 HAS SOUS 683170 HAS SOUPS 683170 WITH SCORE 683923.519
AT ITER 252 NEW BEST:: SOT 4442496 SOS 753209 HAS SOPS 753209 HAS SOUS 682860 HAS SOUPS 682860 WITH SCORE 683613.209
AT ITER 259 NEW BEST:: SOT 4442442 SOS 753101 HAS SOPS 753101 HAS SOUS 682806 HAS SOUPS 682806 WITH SCORE 683559.101
AT ITER 276 NEW BEST:: SOT 4442381 SOS 753040 HAS SOPS 753040 HAS SOUS 682745 HAS SOUPS 682745 WITH SCORE 683498.04
AT ITER 293 NEW BEST:: SOT 4438791 SOS 819108 HAS SOPS 819108 HAS SOUS 681884 HAS SOUPS 681884 WITH SCORE 682703.108
AT ITER 298 NEW BEST:: SOT 4438559 SOS 819033 HAS SOPS 819033 HAS SOUS 681710 HAS SOUPS 681710 WITH SCORE 682529.033
AT ITER 307 NEW BEST:: SOT 4438367 SOS 818457 HAS SOPS 818457 HAS SOUS 681326 HAS SOUPS 681326 WITH SCORE 682144.457
AT ITER 312 NEW BEST:: SOT 4436767 SOS 845491 HAS SOPS 845491 HAS SOUS 681046 HAS SOUPS 681046 WITH SCORE 681891.491
AT ITER 326 NEW BEST:: SOT 4436510 SOS 845385 HAS SOPS 845385 HAS SOUS 680864 HAS SOUPS 680864 WITH SCORE 681709.385
AT ITER 366 NEW BEST:: SOT 4436309 SOS 845184 HAS SOPS 845184 HAS SOUS 680663 HAS SOUPS 680663 WITH SCORE 681508.184
AT ITER 384 NEW BEST:: SOT 4436174 SOS 845079 HAS SOPS 845079 HAS SOUS 680558 HAS SOUPS 680558 WITH SCORE 681403.079
AT ITER 414 NEW BEST:: SOT 4435390 SOS 844711 HAS SOPS 844711 HAS SOUS 680014 HAS SOUPS 680014 WITH SCORE 680858.711
AT ITER 418 NEW BEST:: SOT 4434893 SOS 844215 HAS SOPS 844215 HAS SOUS 679269 HAS SOUPS 679269 WITH SCORE 680113.215
AT ITER 420 NEW BEST:: SOT 4434893 SOS 843925 HAS SOPS 843925 HAS SOUS 679124 HAS SOUPS 679124 WITH SCORE 679967.925
AT ITER 424 NEW BEST:: SOT 4434872 SOS 843883 HAS SOPS 843883 HAS SOUS 679082 HAS SOUPS 679082 WITH SCORE 679925.883
AT ITER 425 NEW BEST:: SOT 4434900 SOS 843429 HAS SOPS 843429 HAS SOUS 678883 HAS SOUPS 678883 WITH SCORE 679726.429
AT ITER 455 NEW BEST:: SOT 4434792 SOS 843321 HAS SOPS 843321 HAS SOUS 678775 HAS SOUPS 678775 WITH SCORE 679618.321
AT ITER 460 NEW BEST:: SOT 4434791 SOS 843320 HAS SOPS 843320 HAS SOUS 678773 HAS SOUPS 678773 WITH SCORE 679616.32
AT ITER 472 NEW BEST:: SOT 4434791 SOS 843220 HAS SOPS 843220 HAS SOUS 678673 HAS SOUPS 678673 WITH SCORE 679516.22
AT ITER 488 NEW BEST:: SOT 4434791 SOS 842985 HAS SOPS 842985 HAS SOUS 678438 HAS SOUPS 678438 WITH SCORE 679280.985
AT ITER 493 NEW BEST:: SOT 4434791 SOS 842888 HAS SOPS 842888 HAS SOUS 678438 HAS SOUPS 678438 WITH SCORE 679280.888
AT ITER 544 NEW BEST:: SOT 4434940 SOS 841947 HAS SOPS 841947 HAS SOUS 677966 HAS SOUPS 677966 WITH SCORE 678807.947
AT ITER 562 NEW BEST:: SOT 4434934 SOS 841633 HAS SOPS 841633 HAS SOUS 677740 HAS SOUPS 677740 WITH SCORE 678581.633
AT ITER 603 NEW BEST:: SOT 4434995 SOS 842139 HAS SOPS 842139 HAS SOUS 677599 HAS SOUPS 677599 WITH SCORE 678441.139
AT ITER 628 NEW BEST:: SOT 4434853 SOS 841965 HAS SOPS 841965 HAS SOUS 677402 HAS SOUPS 677402 WITH SCORE 678243.965
AT ITER 640 NEW BEST:: SOT 4434692 SOS 842032 HAS SOPS 842032 HAS SOUS 677386 HAS SOUPS 677386 WITH SCORE 678228.032
AT ITER 650 NEW BEST:: SOT 4434278 SOS 841618 HAS SOPS 841618 HAS SOUS 676971 HAS SOUPS 676971 WITH SCORE 677812.618
AT ITER 661 NEW BEST:: SOT 4434133 SOS 841463 HAS SOPS 841463 HAS SOUS 676691 HAS SOUPS 676691 WITH SCORE 677532.463
AT ITER 674 NEW BEST:: SOT 4434088 SOS 841373 HAS SOPS 841373 HAS SOUS 676646 HAS SOUPS 676646 WITH SCORE 677487.373
AT ITER 677 NEW BEST:: SOT 4434275 SOS 841289 HAS SOPS 841289 HAS SOUS 676562 HAS SOUPS 676562 WITH SCORE 677403.289
AT ITER 679 NEW BEST:: SOT 4434275 SOS 841045 HAS SOPS 841045 HAS SOUS 676561 HAS SOUPS 676561 WITH SCORE 677402.045
AT ITER 686 NEW BEST:: SOT 4434205 SOS 840905 HAS SOPS 840905 HAS SOUS 676421 HAS SOUPS 676421 WITH SCORE 677261.905
AT ITER 692 NEW BEST:: SOT 4434018 SOS 840531 HAS SOPS 840531 HAS SOUS 676047 HAS SOUPS 676047 WITH SCORE 676887.531
AT ITER 709 NEW BEST:: SOT 4434017 SOS 840529 HAS SOPS 840529 HAS SOUS 676045 HAS SOUPS 676045 WITH SCORE 676885.529
AT ITER 721 NEW BEST:: SOT 4433843 SOS 840596 HAS SOPS 840596 HAS SOUS 675953 HAS SOUPS 675953 WITH SCORE 676793.596
AT ITER 735 NEW BEST:: SOT 4433404 SOS 783212 HAS SOPS 783212 HAS SOUS 675075 HAS SOUPS 675075 WITH SCORE 675858.212
AT ITER 745 NEW BEST:: SOT 4433625 SOS 783158 HAS SOPS 783158 HAS SOUS 675008 HAS SOUPS 675008 WITH SCORE 675791.158
AT ITER 754 NEW BEST:: SOT 4433209 SOS 782747 HAS SOPS 782747 HAS SOUS 674767 HAS SOUPS 674767 WITH SCORE 675549.747
AT ITER 755 NEW BEST:: SOT 4432969 SOS 782507 HAS SOPS 782507 HAS SOUS 674527 HAS SOUPS 674527 WITH SCORE 675309.507
AT ITER 758 NEW BEST:: SOT 4432969 SOS 782507 HAS SOPS 782507 HAS SOUS 674263 HAS SOUPS 674263 WITH SCORE 675045.507
AT ITER 765 NEW BEST:: SOT 4432969 SOS 782507 HAS SOPS 782507 HAS SOUS 674262 HAS SOUPS 674262 WITH SCORE 675044.507
AT ITER 768 NEW BEST:: SOT 4433035 SOS 782639 HAS SOPS 782639 HAS SOUS 674151 HAS SOUPS 674151 WITH SCORE 674933.639
AT ITER 776 NEW BEST:: SOT 4432872 SOS 782313 HAS SOPS 782313 HAS SOUS 673825 HAS SOUPS 673825 WITH SCORE 674607.313
AT ITER 785 NEW BEST:: SOT 4432699 SOS 781967 HAS SOPS 781967 HAS SOUS 673479 HAS SOUPS 673479 WITH SCORE 674260.967
AT ITER 829 NEW BEST:: SOT 4432699 SOS 781595 HAS SOPS 781595 HAS SOUS 673479 HAS SOUPS 673479 WITH SCORE 674260.595
AT ITER 834 NEW BEST:: SOT 4432263 SOS 781971 HAS SOPS 781971 HAS SOUS 673043 HAS SOUPS 673043 WITH SCORE 673824.971
AT ITER 847 NEW BEST:: SOT 4432263 SOS 781824 HAS SOPS 781824 HAS SOUS 673042 HAS SOUPS 673042 WITH SCORE 673823.824
AT ITER 848 NEW BEST:: SOT 4431835 SOS 781426 HAS SOPS 781426 HAS SOUS 672621 HAS SOUPS 672621 WITH SCORE 673402.426
AT ITER 878 NEW BEST:: SOT 4431796 SOS 781348 HAS SOPS 781348 HAS SOUS 672543 HAS SOUPS 672543 WITH SCORE 673324.348
AT ITER 888 NEW BEST:: SOT 4431431 SOS 780817 HAS SOPS 780817 HAS SOUS 672012 HAS SOUPS 672012 WITH SCORE 672792.817
AT ITER 893 NEW BEST:: SOT 4431430 SOS 780773 HAS SOPS 780773 HAS SOUS 672010 HAS SOUPS 672010 WITH SCORE 672790.773
AT ITER 896 NEW BEST:: SOT 4431214 SOS 780341 HAS SOPS 780341 HAS SOUS 671459 HAS SOUPS 671459 WITH SCORE 672239.341
AT ITER 905 NEW BEST:: SOT 4431236 SOS 780209 HAS SOPS 780209 HAS SOUS 671338 HAS SOUPS 671338 WITH SCORE 672118.209
AT ITER 911 NEW BEST:: SOT 4431083 SOS 779903 HAS SOPS 779903 HAS SOUS 671032 HAS SOUPS 671032 WITH SCORE 671811.903
AT ITER 921 NEW BEST:: SOT 4431083 SOS 779738 HAS SOPS 779738 HAS SOUS 671032 HAS SOUPS 671032 WITH SCORE 671811.738
AT ITER 925 NEW BEST:: SOT 4431031 SOS 779634 HAS SOPS 779634 HAS SOUS 670928 HAS SOUPS 670928 WITH SCORE 671707.634
AT ITER 941 NEW BEST:: SOT 4431134 SOS 779840 HAS SOPS 779840 HAS SOUS 670823 HAS SOUPS 670823 WITH SCORE 671602.84
AT ITER 974 NEW BEST:: SOT 4431133 SOS 779838 HAS SOPS 779838 HAS SOUS 670821 HAS SOUPS 670821 WITH SCORE 671600.838
AT ITER 991 NEW BEST:: SOT 4431077 SOS 779726 HAS SOPS 779726 HAS SOUS 670709 HAS SOUPS 670709 WITH SCORE 671488.726
AT ITER 1003 NEW BEST:: SOT 4431015 SOS 779664 HAS SOPS 779664 HAS SOUS 670585 HAS SOUPS 670585 WITH SCORE 671364.664
AT ITER 1004 NEW BEST:: SOT 4431014 SOS 779662 HAS SOPS 779662 HAS SOUS 670583 HAS SOUPS 670583 WITH SCORE 671362.662
AT ITER 1014 NEW BEST:: SOT 4430999 SOS 779729 HAS SOPS 779729 HAS SOUS 670568 HAS SOUPS 670568 WITH SCORE 671347.729
AT ITER 1043 NEW BEST:: SOT 4430999 SOS 779686 HAS SOPS 779686 HAS SOUS 670568 HAS SOUPS 670568 WITH SCORE 671347.686
AT ITER 1057 NEW BEST:: SOT 4430999 SOS 779509 HAS SOPS 779509 HAS SOUS 670568 HAS SOUPS 670568 WITH SCORE 671347.509
AT ITER 1069 NEW BEST:: SOT 4430877 SOS 779387 HAS SOPS 779387 HAS SOUS 670446 HAS SOUPS 670446 WITH SCORE 671225.387
AT ITER 1077 NEW BEST:: SOT 4430803 SOS 779319 HAS SOPS 779319 HAS SOUS 670372 HAS SOUPS 670372 WITH SCORE 671151.319
AT ITER 1095 NEW BEST:: SOT 4430673 SOS 779189 HAS SOPS 779189 HAS SOUS 670352 HAS SOUPS 670352 WITH SCORE 671131.189
AT ITER 1130 NEW BEST:: SOT 4430424 SOS 778691 HAS SOPS 778691 HAS SOUS 669854 HAS SOUPS 669854 WITH SCORE 670632.691
AT ITER 1131 NEW BEST:: SOT 4430424 SOS 778521 HAS SOPS 778521 HAS SOUS 669854 HAS SOUPS 669854 WITH SCORE 670632.521
AT ITER 1137 NEW BEST:: SOT 4430314 SOS 778411 HAS SOPS 778411 HAS SOUS 669744 HAS SOUPS 669744 WITH SCORE 670522.411
AT ITER 1146 NEW BEST:: SOT 4430056 SOS 777895 HAS SOPS 777895 HAS SOUS 669445 HAS SOUPS 669445 WITH SCORE 670222.895
AT ITER 1156 NEW BEST:: SOT 4429528 SOS 777895 HAS SOPS 777895 HAS SOUS 669181 HAS SOUPS 669181 WITH SCORE 669958.895
AT ITER 1235 NEW BEST:: SOT 4429421 SOS 777681 HAS SOPS 777681 HAS SOUS 669074 HAS SOUPS 669074 WITH SCORE 669851.681
AT ITER 1245 NEW BEST:: SOT 4429386 SOS 777215 HAS SOPS 777215 HAS SOUS 669039 HAS SOUPS 669039 WITH SCORE 669816.215
AT ITER 1261 NEW BEST:: SOT 4429160 SOS 776763 HAS SOPS 776763 HAS SOUS 668587 HAS SOUPS 668587 WITH SCORE 669363.763
AT ITER 1266 NEW BEST:: SOT 4429100 SOS 776643 HAS SOPS 776643 HAS SOUS 668527 HAS SOUPS 668527 WITH SCORE 669303.643
AT ITER 1301 NEW BEST:: SOT 4428466 SOS 776483 HAS SOPS 776483 HAS SOUS 668170 HAS SOUPS 668170 WITH SCORE 668946.483
AT ITER 1304 NEW BEST:: SOT 4428466 SOS 776432 HAS SOPS 776432 HAS SOUS 668169 HAS SOUPS 668169 WITH SCORE 668945.432
AT ITER 1306 NEW BEST:: SOT 4428376 SOS 775985 HAS SOPS 775985 HAS SOUS 667989 HAS SOUPS 667989 WITH SCORE 668764.985
AT ITER 1346 NEW BEST:: SOT 4428376 SOS 775985 HAS SOPS 775985 HAS SOUS 667887 HAS SOUPS 667887 WITH SCORE 668662.985
AT ITER 1356 NEW BEST:: SOT 4428254 SOS 775741 HAS SOPS 775741 HAS SOUS 667765 HAS SOUPS 667765 WITH SCORE 668540.741
AT ITER 1371 NEW BEST:: SOT 4428254 SOS 775561 HAS SOPS 775561 HAS SOUS 667765 HAS SOUPS 667765 WITH SCORE 668540.561
AT ITER 1386 NEW BEST:: SOT 4428015 SOS 775322 HAS SOPS 775322 HAS SOUS 667526 HAS SOUPS 667526 WITH SCORE 668301.322
AT ITER 1394 NEW BEST:: SOT 4424757 SOS 772292 HAS SOPS 772292 HAS SOUS 664351 HAS SOUPS 664351 WITH SCORE 665123.292
AT ITER 1396 NEW BEST:: SOT 4424882 SOS 772050 HAS SOPS 772050 HAS SOUS 664297 HAS SOUPS 664297 WITH SCORE 665069.05
AT ITER 1400 NEW BEST:: SOT 4424882 SOS 771777 HAS SOPS 771777 HAS SOUS 664024 HAS SOUPS 664024 WITH SCORE 664795.777
AT ITER 1431 NEW BEST:: SOT 4424849 SOS 771743 HAS SOPS 771743 HAS SOUS 663959 HAS SOUPS 663959 WITH SCORE 664730.743
AT ITER 1470 NEW BEST:: SOT 4424676 SOS 771397 HAS SOPS 771397 HAS SOUS 663854 HAS SOUPS 663854 WITH SCORE 664625.397
AT ITER 1472 NEW BEST:: SOT 4424676 SOS 771397 HAS SOPS 771397 HAS SOUS 663767 HAS SOUPS 663767 WITH SCORE 664538.397
AT ITER 1484 NEW BEST:: SOT 4424497 SOS 771226 HAS SOPS 771226 HAS SOUS 663542 HAS SOUPS 663542 WITH SCORE 664313.226
AT ITER 1501 NEW BEST:: SOT 4424351 SOS 771080 HAS SOPS 771080 HAS SOUS 663396 HAS SOUPS 663396 WITH SCORE 664167.08
AT ITER 1540 NEW BEST:: SOT 4424173 SOS 770724 HAS SOPS 770724 HAS SOUS 663040 HAS SOUPS 663040 WITH SCORE 663810.724
AT ITER 1567 NEW BEST:: SOT 4424108 SOS 770724 HAS SOPS 770724 HAS SOUS 662975 HAS SOUPS 662975 WITH SCORE 663745.724
AT ITER 1572 NEW BEST:: SOT 4423975 SOS 770458 HAS SOPS 770458 HAS SOUS 662709 HAS SOUPS 662709 WITH SCORE 663479.458
AT ITER 1581 NEW BEST:: SOT 4423825 SOS 770358 HAS SOPS 770358 HAS SOUS 662559 HAS SOUPS 662559 WITH SCORE 663329.358
AT ITER 1596 NEW BEST:: SOT 4423765 SOS 770238 HAS SOPS 770238 HAS SOUS 662499 HAS SOUPS 662499 WITH SCORE 663269.238
AT ITER 1600 NEW BEST:: SOT 4423765 SOS 770238 HAS SOPS 770238 HAS SOUS 662385 HAS SOUPS 662385 WITH SCORE 663155.238
AT ITER 1602 NEW BEST:: SOT 4423764 SOS 770236 HAS SOPS 770236 HAS SOUS 662382 HAS SOUPS 662382 WITH SCORE 663152.236
AT ITER 1645 NEW BEST:: SOT 4423532 SOS 769748 HAS SOPS 769748 HAS SOUS 661894 HAS SOUPS 661894 WITH SCORE 662663.748
AT ITER 1647 NEW BEST:: SOT 4423518 SOS 769720 HAS SOPS 769720 HAS SOUS 661880 HAS SOUPS 661880 WITH SCORE 662649.72
AT ITER 1669 NEW BEST:: SOT 4423569 SOS 769822 HAS SOPS 769822 HAS SOUS 661826 HAS SOUPS 661826 WITH SCORE 662595.822
AT ITER 1729 NEW BEST:: SOT 4423309 SOS 769302 HAS SOPS 769302 HAS SOUS 661306 HAS SOUPS 661306 WITH SCORE 662075.302
AT ITER 1734 NEW BEST:: SOT 4423309 SOS 769282 HAS SOPS 769282 HAS SOUS 661286 HAS SOUPS 661286 WITH SCORE 662055.282
AT ITER 1741 NEW BEST:: SOT 4423219 SOS 769192 HAS SOPS 769192 HAS SOUS 661196 HAS SOUPS 661196 WITH SCORE 661965.192
AT ITER 1748 NEW BEST:: SOT 4423150 SOS 769054 HAS SOPS 769054 HAS SOUS 661127 HAS SOUPS 661127 WITH SCORE 661896.054
AT ITER 1774 NEW BEST:: SOT 4423158 SOS 768701 HAS SOPS 768701 HAS SOUS 660958 HAS SOUPS 660958 WITH SCORE 661726.701
AT ITER 1780 NEW BEST:: SOT 4423103 SOS 768591 HAS SOPS 768591 HAS SOUS 660684 HAS SOUPS 660684 WITH SCORE 661452.591
AT ITER 1786 NEW BEST:: SOT 4423103 SOS 768579 HAS SOPS 768579 HAS SOUS 660684 HAS SOUPS 660684 WITH SCORE 661452.579
AT ITER 1789 NEW BEST:: SOT 4423103 SOS 768579 HAS SOPS 768579 HAS SOUS 660584 HAS SOUPS 660584 WITH SCORE 661352.579
AT ITER 1794 NEW BEST:: SOT 4423279 SOS 768732 HAS SOPS 768732 HAS SOUS 660576 HAS SOUPS 660576 WITH SCORE 661344.732
AT ITER 1824 NEW BEST:: SOT 4423232 SOS 768384 HAS SOPS 768384 HAS SOUS 660402 HAS SOUPS 660402 WITH SCORE 661170.384
AT ITER 1854 NEW BEST:: SOT 4423302 SOS 768524 HAS SOPS 768524 HAS SOUS 660388 HAS SOUPS 660388 WITH SCORE 661156.524
AT ITER 1875 NEW BEST:: SOT 4423271 SOS 768462 HAS SOPS 768462 HAS SOUS 660326 HAS SOUPS 660326 WITH SCORE 661094.462
AT ITER 1881 NEW BEST:: SOT 4423277 SOS 768474 HAS SOPS 768474 HAS SOUS 660246 HAS SOUPS 660246 WITH SCORE 661014.474
AT ITER 1888 NEW BEST:: SOT 4422982 SOS 768288 HAS SOPS 768288 HAS SOUS 659951 HAS SOUPS 659951 WITH SCORE 660719.288
AT ITER 1899 NEW BEST:: SOT 4422982 SOS 768212 HAS SOPS 768212 HAS SOUS 659951 HAS SOUPS 659951 WITH SCORE 660719.212
AT ITER 1920 NEW BEST:: SOT 4422650 SOS 768928 HAS SOPS 768928 HAS SOUS 659805 HAS SOUPS 659805 WITH SCORE 660573.928
AT ITER 1921 NEW BEST:: SOT 4422679 SOS 768476 HAS SOPS 768476 HAS SOUS 659716 HAS SOUPS 659716 WITH SCORE 660484.476
AT ITER 1928 NEW BEST:: SOT 4422484 SOS 768216 HAS SOPS 768216 HAS SOUS 659456 HAS SOUPS 659456 WITH SCORE 660224.216
AT ITER 1948 NEW BEST:: SOT 4422577 SOS 768402 HAS SOPS 768402 HAS SOUS 659453 HAS SOUPS 659453 WITH SCORE 660221.402
AT ITER 1955 NEW BEST:: SOT 4422317 SOS 768290 HAS SOPS 768290 HAS SOUS 658972 HAS SOUPS 658972 WITH SCORE 659740.29
AT ITER 1973 NEW BEST:: SOT 4422317 SOS 768290 HAS SOPS 768290 HAS SOUS 658851 HAS SOUPS 658851 WITH SCORE 659619.29
AT ITER 1974 NEW BEST:: SOT 4421907 SOS 767880 HAS SOPS 767880 HAS SOUS 658441 HAS SOUPS 658441 WITH SCORE 659208.88
AT ITER 1998 NEW BEST:: SOT 4421752 SOS 767570 HAS SOPS 767570 HAS SOUS 658131 HAS SOUPS 658131 WITH SCORE 658898.57
AT ITER 2035 NEW BEST:: SOT 4421752 SOS 767514 HAS SOPS 767514 HAS SOUS 658075 HAS SOUPS 658075 WITH SCORE 658842.514
AT ITER 2045 NEW BEST:: SOT 4421349 SOS 770586 HAS SOPS 770586 HAS SOUS 657970 HAS SOUPS 657970 WITH SCORE 658740.586
AT ITER 2059 NEW BEST:: SOT 4421337 SOS 771622 HAS SOPS 771622 HAS SOUS 657958 HAS SOUPS 657958 WITH SCORE 658729.622
AT ITER 2067 NEW BEST:: SOT 4421337 SOS 771622 HAS SOPS 771622 HAS SOUS 657841 HAS SOUPS 657841 WITH SCORE 658612.622
AT ITER 2071 NEW BEST:: SOT 4421293 SOS 772138 HAS SOPS 772138 HAS SOUS 657826 HAS SOUPS 657826 WITH SCORE 658598.138
AT ITER 2079 NEW BEST:: SOT 4421043 SOS 771914 HAS SOPS 771914 HAS SOUS 657801 HAS SOUPS 657801 WITH SCORE 658572.914
AT ITER 2122 NEW BEST:: SOT 4420769 SOS 771366 HAS SOPS 771366 HAS SOUS 657584 HAS SOUPS 657584 WITH SCORE 658355.366
AT ITER 2123 NEW BEST:: SOT 4420716 SOS 771571 HAS SOPS 771571 HAS SOUS 657579 HAS SOUPS 657579 WITH SCORE 658350.571
AT ITER 2136 NEW BEST:: SOT 4420424 SOS 771255 HAS SOPS 771255 HAS SOUS 657209 HAS SOUPS 657209 WITH SCORE 657980.255
AT ITER 2151 NEW BEST:: SOT 4420279 SOS 771110 HAS SOPS 771110 HAS SOUS 657064 HAS SOUPS 657064 WITH SCORE 657835.11
AT ITER 2158 NEW BEST:: SOT 4420279 SOS 771110 HAS SOPS 771110 HAS SOUS 656833 HAS SOUPS 656833 WITH SCORE 657604.11
AT ITER 2161 NEW BEST:: SOT 4420279 SOS 771110 HAS SOPS 771110 HAS SOUS 656700 HAS SOUPS 656700 WITH SCORE 657471.11
AT ITER 2169 NEW BEST:: SOT 4420186 SOS 770924 HAS SOPS 770924 HAS SOUS 656605 HAS SOUPS 656605 WITH SCORE 657375.924
AT ITER 2177 NEW BEST:: SOT 4420186 SOS 770924 HAS SOPS 770924 HAS SOUS 656604 HAS SOUPS 656604 WITH SCORE 657374.924
AT ITER 2203 NEW BEST:: SOT 4420076 SOS 770704 HAS SOPS 770704 HAS SOUS 656384 HAS SOUPS 656384 WITH SCORE 657154.704
AT ITER 2206 NEW BEST:: SOT 4420076 SOS 770704 HAS SOPS 770704 HAS SOUS 656363 HAS SOUPS 656363 WITH SCORE 657133.704
AT ITER 2207 NEW BEST:: SOT 4419891 SOS 770334 HAS SOPS 770334 HAS SOUS 656266 HAS SOUPS 656266 WITH SCORE 657036.334
AT ITER 2217 NEW BEST:: SOT 4419629 SOS 769810 HAS SOPS 769810 HAS SOUS 655588 HAS SOUPS 655588 WITH SCORE 656357.81
AT ITER 2220 NEW BEST:: SOT 4419700 SOS 769952 HAS SOPS 769952 HAS SOUS 655509 HAS SOUPS 655509 WITH SCORE 656278.952
AT ITER 2227 NEW BEST:: SOT 4419700 SOS 769951 HAS SOPS 769951 HAS SOUS 655508 HAS SOUPS 655508 WITH SCORE 656277.951
AT ITER 2246 NEW BEST:: SOT 4419555 SOS 769806 HAS SOPS 769806 HAS SOUS 655363 HAS SOUPS 655363 WITH SCORE 656132.806
AT ITER 2252 NEW BEST:: SOT 4419323 SOS 769342 HAS SOPS 769342 HAS SOUS 654899 HAS SOUPS 654899 WITH SCORE 655668.342
AT ITER 2266 NEW BEST:: SOT 4419313 SOS 769322 HAS SOPS 769322 HAS SOUS 654879 HAS SOUPS 654879 WITH SCORE 655648.322
AT ITER 2276 NEW BEST:: SOT 4419240 SOS 769176 HAS SOPS 769176 HAS SOUS 654820 HAS SOUPS 654820 WITH SCORE 655589.176
AT ITER 2279 NEW BEST:: SOT 4418975 SOS 769036 HAS SOPS 769036 HAS SOUS 654680 HAS SOUPS 654680 WITH SCORE 655449.036
AT ITER 2285 NEW BEST:: SOT 4418750 SOS 768905 HAS SOPS 768905 HAS SOUS 654549 HAS SOUPS 654549 WITH SCORE 655317.905
AT ITER 2305 NEW BEST:: SOT 4418749 SOS 768903 HAS SOPS 768903 HAS SOUS 654547 HAS SOUPS 654547 WITH SCORE 655315.903
AT ITER 2326 NEW BEST:: SOT 4418577 SOS 768559 HAS SOPS 768559 HAS SOUS 654375 HAS SOUPS 654375 WITH SCORE 655143.559
AT ITER 2336 NEW BEST:: SOT 4418459 SOS 768323 HAS SOPS 768323 HAS SOUS 654139 HAS SOUPS 654139 WITH SCORE 654907.323
AT ITER 2353 NEW BEST:: SOT 4418455 SOS 768315 HAS SOPS 768315 HAS SOUS 654135 HAS SOUPS 654135 WITH SCORE 654903.315
AT ITER 2360 NEW BEST:: SOT 4418597 SOS 766331 HAS SOPS 766331 HAS SOUS 654013 HAS SOUPS 654013 WITH SCORE 654779.331
AT ITER 2423 NEW BEST:: SOT 4418597 SOS 766185 HAS SOPS 766185 HAS SOUS 654012 HAS SOUPS 654012 WITH SCORE 654778.185
AT ITER 2424 NEW BEST:: SOT 4418597 SOS 766031 HAS SOPS 766031 HAS SOUS 654011 HAS SOUPS 654011 WITH SCORE 654777.031
AT ITER 2443 NEW BEST:: SOT 4418442 SOS 765721 HAS SOPS 765721 HAS SOUS 653701 HAS SOUPS 653701 WITH SCORE 654466.721
AT ITER 2470 NEW BEST:: SOT 4418396 SOS 765629 HAS SOPS 765629 HAS SOUS 653609 HAS SOUPS 653609 WITH SCORE 654374.629
AT ITER 2475 NEW BEST:: SOT 4418088 SOS 765049 HAS SOPS 765049 HAS SOUS 653103 HAS SOUPS 653103 WITH SCORE 653868.049
AT ITER 2480 NEW BEST:: SOT 4418016 SOS 765004 HAS SOPS 765004 HAS SOUS 652959 HAS SOUPS 652959 WITH SCORE 653724.004
AT ITER 2502 NEW BEST:: SOT 4417986 SOS 764944 HAS SOPS 764944 HAS SOUS 652899 HAS SOUPS 652899 WITH SCORE 653663.944
AT ITER 2535 NEW BEST:: SOT 4417862 SOS 764696 HAS SOPS 764696 HAS SOUS 652651 HAS SOUPS 652651 WITH SCORE 653415.696
AT ITER 2556 NEW BEST:: SOT 4417736 SOS 764540 HAS SOPS 764540 HAS SOUS 652495 HAS SOUPS 652495 WITH SCORE 653259.54
AT ITER 2578 NEW BEST:: SOT 4417736 SOS 764540 HAS SOPS 764540 HAS SOUS 652468 HAS SOUPS 652468 WITH SCORE 653232.54
AT ITER 2598 NEW BEST:: SOT 4417574 SOS 764216 HAS SOPS 764216 HAS SOUS 652144 HAS SOUPS 652144 WITH SCORE 652908.216
AT ITER 2616 NEW BEST:: SOT 4417503 SOS 764074 HAS SOPS 764074 HAS SOUS 652085 HAS SOUPS 652085 WITH SCORE 652849.074
AT ITER 2671 NEW BEST:: SOT 4417434 SOS 763936 HAS SOPS 763936 HAS SOUS 652016 HAS SOUPS 652016 WITH SCORE 652779.936
AT ITER 2677 NEW BEST:: SOT 4417302 SOS 763672 HAS SOPS 763672 HAS SOUS 651752 HAS SOUPS 651752 WITH SCORE 652515.672
AT ITER 2681 NEW BEST:: SOT 4416980 SOS 764013 HAS SOPS 764013 HAS SOUS 651627 HAS SOUPS 651627 WITH SCORE 652391.013
AT ITER 2703 NEW BEST:: SOT 4416978 SOS 764009 HAS SOPS 764009 HAS SOUS 651623 HAS SOUPS 651623 WITH SCORE 652387.009
AT ITER 2706 NEW BEST:: SOT 4416973 SOS 763999 HAS SOPS 763999 HAS SOUS 651613 HAS SOUPS 651613 WITH SCORE 652376.999
AT ITER 2738 NEW BEST:: SOT 4416954 SOS 763961 HAS SOPS 763961 HAS SOUS 651575 HAS SOUPS 651575 WITH SCORE 652338.961
AT ITER 2746 NEW BEST:: SOT 4416894 SOS 763841 HAS SOPS 763841 HAS SOUS 651455 HAS SOUPS 651455 WITH SCORE 652218.841
AT ITER 2810 NEW BEST:: SOT 4416894 SOS 763841 HAS SOPS 763841 HAS SOUS 651443 HAS SOUPS 651443 WITH SCORE 652206.841
AT ITER 2823 NEW BEST:: SOT 4416740 SOS 763533 HAS SOPS 763533 HAS SOUS 651411 HAS SOUPS 651411 WITH SCORE 652174.533
AT ITER 2828 NEW BEST:: SOT 4416617 SOS 763287 HAS SOPS 763287 HAS SOUS 651165 HAS SOUPS 651165 WITH SCORE 651928.287
AT ITER 2850 NEW BEST:: SOT 4416520 SOS 763093 HAS SOPS 763093 HAS SOUS 651068 HAS SOUPS 651068 WITH SCORE 651831.093
AT ITER 2851 NEW BEST:: SOT 4416442 SOS 762937 HAS SOPS 762937 HAS SOUS 650989 HAS SOUPS 650989 WITH SCORE 651751.937
AT ITER 2857 NEW BEST:: SOT 4416363 SOS 762877 HAS SOPS 762877 HAS SOUS 650929 HAS SOUPS 650929 WITH SCORE 651691.877
AT ITER 2891 NEW BEST:: SOT 4416355 SOS 762861 HAS SOPS 762861 HAS SOUS 650913 HAS SOUPS 650913 WITH SCORE 651675.861
AT ITER 2921 NEW BEST:: SOT 4416273 SOS 762376 HAS SOPS 762376 HAS SOUS 650845 HAS SOUPS 650845 WITH SCORE 651607.376
AT ITER 2922 NEW BEST:: SOT 4416273 SOS 762172 HAS SOPS 762172 HAS SOUS 650845 HAS SOUPS 650845 WITH SCORE 651607.172
AT ITER 2943 NEW BEST:: SOT 4415940 SOS 762199 HAS SOPS 762199 HAS SOUS 650374 HAS SOUPS 650374 WITH SCORE 651136.199
AT ITER 2954 NEW BEST:: SOT 4416020 SOS 762359 HAS SOPS 762359 HAS SOUS 650294 HAS SOUPS 650294 WITH SCORE 651056.359
AT ITER 2965 NEW BEST:: SOT 4415987 SOS 762293 HAS SOPS 762293 HAS SOUS 650260 HAS SOUPS 650260 WITH SCORE 651022.293
AT ITER 2967 NEW BEST:: SOT 4415966 SOS 762251 HAS SOPS 762251 HAS SOUS 649802 HAS SOUPS 649802 WITH SCORE 650564.251
AT ITER 2969 NEW BEST:: SOT 4415808 SOS 762093 HAS SOPS 762093 HAS SOUS 649800 HAS SOUPS 649800 WITH SCORE 650562.093
AT ITER 2974 NEW BEST:: SOT 4415806 SOS 762089 HAS SOPS 762089 HAS SOUS 649798 HAS SOUPS 649798 WITH SCORE 650560.089
AT ITER 3006 NEW BEST:: SOT 4415541 SOS 761424 HAS SOPS 761424 HAS SOUS 649133 HAS SOUPS 649133 WITH SCORE 649894.424
AT ITER 3036 NEW BEST:: SOT 4415380 SOS 761263 HAS SOPS 761263 HAS SOUS 648972 HAS SOUPS 648972 WITH SCORE 649733.263
AT ITER 3058 NEW BEST:: SOT 4415379 SOS 761261 HAS SOPS 761261 HAS SOUS 648970 HAS SOUPS 648970 WITH SCORE 649731.261
AT ITER 3063 NEW BEST:: SOT 4415379 SOS 761229 HAS SOPS 761229 HAS SOUS 648938 HAS SOUPS 648938 WITH SCORE 649699.229
AT ITER 3081 NEW BEST:: SOT 4415376 SOS 761223 HAS SOPS 761223 HAS SOUS 648935 HAS SOUPS 648935 WITH SCORE 649696.223
AT ITER 3157 NEW BEST:: SOT 4415208 SOS 760887 HAS SOPS 760887 HAS SOUS 648599 HAS SOUPS 648599 WITH SCORE 649359.887
AT ITER 3212 NEW BEST:: SOT 4415144 SOS 760791 HAS SOPS 760791 HAS SOUS 648503 HAS SOUPS 648503 WITH SCORE 649263.791
AT ITER 3275 NEW BEST:: SOT 4415186 SOS 760694 HAS SOPS 760694 HAS SOUS 648406 HAS SOUPS 648406 WITH SCORE 649166.694
AT ITER 3334 NEW BEST:: SOT 4415186 SOS 760694 HAS SOPS 760694 HAS SOUS 648147 HAS SOUPS 648147 WITH SCORE 648907.694
AT ITER 3349 NEW BEST:: SOT 4414995 SOS 759950 HAS SOPS 759950 HAS SOUS 647594 HAS SOUPS 647594 WITH SCORE 648353.95
AT ITER 3364 NEW BEST:: SOT 4414848 SOS 759656 HAS SOPS 759656 HAS SOUS 647300 HAS SOUPS 647300 WITH SCORE 648059.656
AT ITER 3370 NEW BEST:: SOT 4414805 SOS 759570 HAS SOPS 759570 HAS SOUS 647214 HAS SOUPS 647214 WITH SCORE 647973.57
AT ITER 3393 NEW BEST:: SOT 4414832 SOS 759624 HAS SOPS 759624 HAS SOUS 647070 HAS SOUPS 647070 WITH SCORE 647829.624
AT ITER 3465 NEW BEST:: SOT 4414806 SOS 759572 HAS SOPS 759572 HAS SOUS 647018 HAS SOUPS 647018 WITH SCORE 647777.572
AT ITER 3468 NEW BEST:: SOT 4414806 SOS 759554 HAS SOPS 759554 HAS SOUS 647018 HAS SOUPS 647018 WITH SCORE 647777.554
AT ITER 3496 NEW BEST:: SOT 4414804 SOS 759552 HAS SOPS 759552 HAS SOUS 647015 HAS SOUPS 647015 WITH SCORE 647774.552
AT ITER 3497 NEW BEST:: SOT 4414803 SOS 759550 HAS SOPS 759550 HAS SOUS 647013 HAS SOUPS 647013 WITH SCORE 647772.55
AT ITER 3498 NEW BEST:: SOT 4414571 SOS 759086 HAS SOPS 759086 HAS SOUS 646781 HAS SOUPS 646781 WITH SCORE 647540.086
AT ITER 3562 NEW BEST:: SOT 4413689 SOS 758351 HAS SOPS 758351 HAS SOUS 646042 HAS SOUPS 646042 WITH SCORE 646800.351
AT ITER 3572 NEW BEST:: SOT 4412433 SOS 772329 HAS SOPS 772329 HAS SOUS 645734 HAS SOUPS 645734 WITH SCORE 646506.329
AT ITER 3647 NEW BEST:: SOT 4412388 SOS 772239 HAS SOPS 772239 HAS SOUS 645644 HAS SOUPS 645644 WITH SCORE 646416.239
AT ITER 3670 NEW BEST:: SOT 4412181 SOS 772079 HAS SOPS 772079 HAS SOUS 645470 HAS SOUPS 645470 WITH SCORE 646242.079
AT ITER 3705 NEW BEST:: SOT 4412221 SOS 772574 HAS SOPS 772574 HAS SOUS 645410 HAS SOUPS 645410 WITH SCORE 646182.574
AT ITER 3724 NEW BEST:: SOT 4412105 SOS 772342 HAS SOPS 772342 HAS SOUS 645306 HAS SOUPS 645306 WITH SCORE 646078.342
AT ITER 3767 NEW BEST:: SOT 4412104 SOS 772511 HAS SOPS 772511 HAS SOUS 645304 HAS SOUPS 645304 WITH SCORE 646076.511
AT ITER 3807 NEW BEST:: SOT 4411946 SOS 772274 HAS SOPS 772274 HAS SOUS 645067 HAS SOUPS 645067 WITH SCORE 645839.274
AT ITER 3817 NEW BEST:: SOT 4411916 SOS 772214 HAS SOPS 772214 HAS SOUS 645037 HAS SOUPS 645037 WITH SCORE 645809.214
AT ITER 3881 NEW BEST:: SOT 4411885 SOS 772056 HAS SOPS 772056 HAS SOUS 645006 HAS SOUPS 645006 WITH SCORE 645778.056
AT ITER 3902 NEW BEST:: SOT 4411780 SOS 771846 HAS SOPS 771846 HAS SOUS 644796 HAS SOUPS 644796 WITH SCORE 645567.846
AT ITER 3920 NEW BEST:: SOT 4411778 SOS 771759 HAS SOPS 771759 HAS SOUS 644792 HAS SOUPS 644792 WITH SCORE 645563.759
AT ITER 3922 NEW BEST:: SOT 4411540 SOS 771283 HAS SOPS 771283 HAS SOUS 644667 HAS SOUPS 644667 WITH SCORE 645438.283
AT ITER 3933 NEW BEST:: SOT 4411494 SOS 771191 HAS SOPS 771191 HAS SOUS 644575 HAS SOUPS 644575 WITH SCORE 645346.191
AT ITER 3965 NEW BEST:: SOT 4411494 SOS 770900 HAS SOPS 770900 HAS SOUS 644575 HAS SOUPS 644575 WITH SCORE 645345.9
AT ITER 3996 NEW BEST:: SOT 4411498 SOS 771254 HAS SOPS 771254 HAS SOUS 644513 HAS SOUPS 644513 WITH SCORE 645284.254
AT ITER 4005 NEW BEST:: SOT 4411311 SOS 771140 HAS SOPS 771140 HAS SOUS 644317 HAS SOUPS 644317 WITH SCORE 645088.14
AT ITER 4025 NEW BEST:: SOT 4411336 SOS 771132 HAS SOPS 771132 HAS SOUS 644313 HAS SOUPS 644313 WITH SCORE 645084.132
AT ITER 4032 NEW BEST:: SOT 4411336 SOS 770986 HAS SOPS 770986 HAS SOUS 644313 HAS SOUPS 644313 WITH SCORE 645083.986
AT ITER 4083 NEW BEST:: SOT 4411336 SOS 770986 HAS SOPS 770986 HAS SOUS 644303 HAS SOUPS 644303 WITH SCORE 645073.986
AT ITER 4092 NEW BEST:: SOT 4411365 SOS 770583 HAS SOPS 770583 HAS SOUS 644041 HAS SOUPS 644041 WITH SCORE 644811.583
AT ITER 4120 NEW BEST:: SOT 4411035 SOS 770418 HAS SOPS 770418 HAS SOUS 643876 HAS SOUPS 643876 WITH SCORE 644646.418
AT ITER 4122 NEW BEST:: SOT 4410867 SOS 770279 HAS SOPS 770279 HAS SOUS 643723 HAS SOUPS 643723 WITH SCORE 644493.279
AT ITER 4166 NEW BEST:: SOT 4410740 SOS 769730 HAS SOPS 769730 HAS SOUS 643469 HAS SOUPS 643469 WITH SCORE 644238.73
AT ITER 4177 NEW BEST:: SOT 4410714 SOS 769704 HAS SOPS 769704 HAS SOUS 643443 HAS SOUPS 643443 WITH SCORE 644212.704
AT ITER 4198 NEW BEST:: SOT 4410627 SOS 769646 HAS SOPS 769646 HAS SOUS 643356 HAS SOUPS 643356 WITH SCORE 644125.646
AT ITER 4226 NEW BEST:: SOT 4410627 SOS 769450 HAS SOPS 769450 HAS SOUS 643356 HAS SOUPS 643356 WITH SCORE 644125.45
AT ITER 4237 NEW BEST:: SOT 4410730 SOS 769500 HAS SOPS 769500 HAS SOUS 643292 HAS SOUPS 643292 WITH SCORE 644061.5
AT ITER 4268 NEW BEST:: SOT 4410730 SOS 769389 HAS SOPS 769389 HAS SOUS 643292 HAS SOUPS 643292 WITH SCORE 644061.389
AT ITER 4271 NEW BEST:: SOT 4410769 SOS 769467 HAS SOPS 769467 HAS SOUS 643290 HAS SOUPS 643290 WITH SCORE 644059.467
AT ITER 4274 NEW BEST:: SOT 4410768 SOS 769465 HAS SOPS 769465 HAS SOUS 643288 HAS SOUPS 643288 WITH SCORE 644057.465
AT ITER 4283 NEW BEST:: SOT 4410759 SOS 769391 HAS SOPS 769391 HAS SOUS 643214 HAS SOUPS 643214 WITH SCORE 643983.391
AT ITER 4288 NEW BEST:: SOT 4410606 SOS 769085 HAS SOPS 769085 HAS SOUS 643088 HAS SOUPS 643088 WITH SCORE 643857.085
AT ITER 4296 NEW BEST:: SOT 4410144 SOS 768145 HAS SOPS 768145 HAS SOUS 642406 HAS SOUPS 642406 WITH SCORE 643174.145
AT ITER 4311 NEW BEST:: SOT 4410010 SOS 767877 HAS SOPS 767877 HAS SOUS 642138 HAS SOUPS 642138 WITH SCORE 642905.877
AT ITER 4316 NEW BEST:: SOT 4409999 SOS 767855 HAS SOPS 767855 HAS SOUS 642127 HAS SOUPS 642127 WITH SCORE 642894.855
AT ITER 4356 NEW BEST:: SOT 4409999 SOS 767708 HAS SOPS 767708 HAS SOUS 641972 HAS SOUPS 641972 WITH SCORE 642739.708
AT ITER 4384 NEW BEST:: SOT 4409785 SOS 767280 HAS SOPS 767280 HAS SOUS 641727 HAS SOUPS 641727 WITH SCORE 642494.28
AT ITER 4390 NEW BEST:: SOT 4409616 SOS 766942 HAS SOPS 766942 HAS SOUS 641389 HAS SOUPS 641389 WITH SCORE 642155.942
AT ITER 4445 NEW BEST:: SOT 4409614 SOS 766940 HAS SOPS 766940 HAS SOUS 641385 HAS SOUPS 641385 WITH SCORE 642151.94
AT ITER 4456 NEW BEST:: SOT 4409614 SOS 766940 HAS SOPS 766940 HAS SOUS 641277 HAS SOUPS 641277 WITH SCORE 642043.94
AT ITER 4504 NEW BEST:: SOT 4409614 SOS 766706 HAS SOPS 766706 HAS SOUS 641043 HAS SOUPS 641043 WITH SCORE 641809.706
AT ITER 4507 NEW BEST:: SOT 4409463 SOS 766518 HAS SOPS 766518 HAS SOUS 640835 HAS SOUPS 640835 WITH SCORE 641601.518
AT ITER 4548 NEW BEST:: SOT 4409009 SOS 766186 HAS SOPS 766186 HAS SOUS 640503 HAS SOUPS 640503 WITH SCORE 641269.186
AT ITER 4562 NEW BEST:: SOT 4408913 SOS 765994 HAS SOPS 765994 HAS SOUS 640311 HAS SOUPS 640311 WITH SCORE 641076.994
AT ITER 4613 NEW BEST:: SOT 4409013 SOS 765538 HAS SOPS 765538 HAS SOUS 640224 HAS SOUPS 640224 WITH SCORE 640989.538
AT ITER 4614 NEW BEST:: SOT 4408956 SOS 765465 HAS SOPS 765465 HAS SOUS 639985 HAS SOUPS 639985 WITH SCORE 640750.465
AT ITER 4615 NEW BEST:: SOT 4408899 SOS 765465 HAS SOPS 765465 HAS SOUS 639928 HAS SOUPS 639928 WITH SCORE 640693.465
AT ITER 4621 NEW BEST:: SOT 4408836 SOS 765339 HAS SOPS 765339 HAS SOUS 639802 HAS SOUPS 639802 WITH SCORE 640567.339
AT ITER 4622 NEW BEST:: SOT 4408825 SOS 765565 HAS SOPS 765565 HAS SOUS 639780 HAS SOUPS 639780 WITH SCORE 640545.565
AT ITER 4626 NEW BEST:: SOT 4408822 SOS 765376 HAS SOPS 765376 HAS SOUS 639597 HAS SOUPS 639597 WITH SCORE 640362.376
AT ITER 4652 NEW BEST:: SOT 4408761 SOS 765326 HAS SOPS 765326 HAS SOUS 639547 HAS SOUPS 639547 WITH SCORE 640312.326
AT ITER 4657 NEW BEST:: SOT 4409046 SOS 765314 HAS SOPS 765314 HAS SOUS 639535 HAS SOUPS 639535 WITH SCORE 640300.314
AT ITER 4669 NEW BEST:: SOT 4408665 SOS 765099 HAS SOPS 765099 HAS SOUS 639320 HAS SOUPS 639320 WITH SCORE 640085.099
AT ITER 4670 NEW BEST:: SOT 4408878 SOS 764574 HAS SOPS 764574 HAS SOUS 639213 HAS SOUPS 639213 WITH SCORE 639977.574
AT ITER 4694 NEW BEST:: SOT 4408568 SOS 764264 HAS SOPS 764264 HAS SOUS 638903 HAS SOUPS 638903 WITH SCORE 639667.264
AT ITER 4771 NEW BEST:: SOT 4407814 SOS 763245 HAS SOPS 763245 HAS SOUS 637752 HAS SOUPS 637752 WITH SCORE 638515.245
AT ITER 4774 NEW BEST:: SOT 4407588 SOS 762793 HAS SOPS 762793 HAS SOUS 637526 HAS SOUPS 637526 WITH SCORE 638288.793
AT ITER 4779 NEW BEST:: SOT 4407576 SOS 762531 HAS SOPS 762531 HAS SOUS 637383 HAS SOUPS 637383 WITH SCORE 638145.531
AT ITER 4788 NEW BEST:: SOT 4407494 SOS 762367 HAS SOPS 762367 HAS SOUS 637298 HAS SOUPS 637298 WITH SCORE 638060.367
AT ITER 4801 NEW BEST:: SOT 4406859 SOS 761732 HAS SOPS 761732 HAS SOUS 636663 HAS SOUPS 636663 WITH SCORE 637424.732
AT ITER 4803 NEW BEST:: SOT 4406814 SOS 761642 HAS SOPS 761642 HAS SOUS 636573 HAS SOUPS 636573 WITH SCORE 637334.642
AT ITER 4832 NEW BEST:: SOT 4406814 SOS 761621 HAS SOPS 761621 HAS SOUS 636552 HAS SOUPS 636552 WITH SCORE 637313.621
AT ITER 4842 NEW BEST:: SOT 4406661 SOS 761468 HAS SOPS 761468 HAS SOUS 636399 HAS SOUPS 636399 WITH SCORE 637160.468
AT ITER 4847 NEW BEST:: SOT 4406251 SOS 761324 HAS SOPS 761324 HAS SOUS 636086 HAS SOUPS 636086 WITH SCORE 636847.324
AT ITER 4869 NEW BEST:: SOT 4406144 SOS 761217 HAS SOPS 761217 HAS SOUS 635979 HAS SOUPS 635979 WITH SCORE 636740.217
AT ITER 4875 NEW BEST:: SOT 4406221 SOS 761116 HAS SOPS 761116 HAS SOUS 635944 HAS SOUPS 635944 WITH SCORE 636705.116
AT ITER 4963 NEW BEST:: SOT 4406114 SOS 760802 HAS SOPS 760802 HAS SOUS 635744 HAS SOUPS 635744 WITH SCORE 636504.802
AT ITER 4968 NEW BEST:: SOT 4406227 SOS 761028 HAS SOPS 761028 HAS SOUS 635665 HAS SOUPS 635665 WITH SCORE 636426.028
AT ITER 4982 NEW BEST:: SOT 4405906 SOS 766577 HAS SOPS 766577 HAS SOUS 635344 HAS SOUPS 635344 WITH SCORE 636110.577
AT ITER 4990 NEW BEST:: SOT 4405897 SOS 765954 HAS SOPS 765954 HAS SOUS 635214 HAS SOUPS 635214 WITH SCORE 635979.954
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: CloudReconfiguration-PT-303-CTLCardinality-00 (EG( ( (AX( potential( (tk(P1130)) <= (tk(P2303)) ))) | ( ( potential( (tk(P1797)) <= (tk(P1569)) ) & potential( (tk(P575)) <= (tk(P738)) ) ) & ( potential( ( 1 ) <= (tk(P494)) ) & potential( (tk(P1102)) <= (tk(P2341)) ) ) ) )))
PROPERTY: CloudReconfiguration-PT-303-CTLCardinality-01 ( ( ( (EF(potential( ( 2 ) <= (tk(P1933)) ))) | (! ( potential( ( 2 ) <= (tk(P2193)) ) | potential( (tk(P2483)) <= (tk(P1115)) ) )) ) | (! potential( (tk(P1755)) <= (tk(P2410)) )) ) & (! potential( ( 3 ) <= (tk(P1897)) )) )
PROPERTY: CloudReconfiguration-PT-303-CTLCardinality-02 (AF((! ( ( potential( (tk(P1500)) <= (tk(P653)) ) & potential( (tk(P1349)) <= (tk(P977)) ) ) & potential( (tk(P1415)) <= (tk(P279)) ) ))))
PROPERTY: CloudReconfiguration-PT-303-CTLCardinality-03 (AF(( ( ( potential( ( 3 ) <= (tk(P2078)) ) | potential( ( 2 ) <= (tk(P1588)) ) ) | (! potential( (tk(P1357)) <= (tk(P57)) )) ) & (! ( potential( (tk(P1933)) <= (tk(P519)) ) | potential( ( 1 ) <= (tk(P48)) ) )) )))
PROPERTY: CloudReconfiguration-PT-303-CTLCardinality-04 ( ( potential( (tk(P2280)) <= (tk(P774)) ) & ( ( potential( (tk(P1858)) <= (tk(P530)) ) & (! potential( (tk(P731)) <= (tk(P741)) )) ) & (! (! potential( (tk(P1879)) <= (tk(P521)) ))) ) ) | (! ( (EG( potential( (tk(P2510)) <= (tk(P1897)) ))) & (EX( potential( (tk(P2546)) <= (tk(P1013)) ))) )) )
PROPERTY: CloudReconfiguration-PT-303-CTLCardinality-05 (AX( (EG( ( potential( (tk(P322)) <= (tk(P1227)) ) | potential( (tk(P476)) <= (tk(P1023)) ) )))))
PROPERTY: CloudReconfiguration-PT-303-CTLCardinality-06 (AU( ( ( potential( ( 1 ) <= (tk(P1904)) ) & potential( ( 3 ) <= (tk(P1122)) ) ) | ( potential( (tk(P259)) <= (tk(P2457)) ) & potential( (tk(P1721)) <= (tk(P1373)) ) ) ),(EG( potential( ( 3 ) <= (tk(P1303)) ))) ))
PROPERTY: CloudReconfiguration-PT-303-CTLCardinality-07 (AG( potential( (tk(P2441)) <= (tk(P630)) )))
PROPERTY: CloudReconfiguration-PT-303-CTLCardinality-08 ( ( (! (EG( potential( (tk(P1332)) <= (tk(P943)) )))) | potential( ( 2 ) <= (tk(P2357)) ) ) & (EU( (! potential( ( 3 ) <= (tk(P1710)) )),(! potential( ( 3 ) <= (tk(P1672)) )) )) )
PROPERTY: CloudReconfiguration-PT-303-CTLCardinality-09 (AF((EG( (! potential( (tk(P1773)) <= (tk(P1417)) ))))))
PROPERTY: CloudReconfiguration-PT-303-CTLCardinality-10 (! (AG( potential( (tk(P1218)) <= (tk(P1947)) ))))
PROPERTY: CloudReconfiguration-PT-303-CTLCardinality-11 (AG( ( (AX( potential( (tk(P1889)) <= (tk(P452)) ))) | ( ( potential( (tk(P2221)) <= (tk(P22)) ) & potential( (tk(P433)) <= (tk(P1879)) ) ) & potential( (tk(P1256)) <= (tk(P773)) ) ) )))
PROPERTY: CloudReconfiguration-PT-303-CTLCardinality-12 ( (! (! (EF(potential( ( 2 ) <= (tk(P1150)) ))))) | ( (EU( potential( (tk(P2272)) <= (tk(P2114)) ),potential( ( 1 ) <= (tk(P2541)) ) )) | (! ( (! potential( (tk(P2072)) <= (tk(P1848)) )) | ( potential( (tk(P852)) <= (tk(P2329)) ) | potential( (tk(P1691)) <= (tk(P2355)) ) ) )) ) )
PROPERTY: CloudReconfiguration-PT-303-CTLCardinality-13 ( (AG( (EG( potential( (tk(P275)) <= (tk(P535)) ))))) & (! potential( ( 1 ) <= (tk(P2291)) )) )
PROPERTY: CloudReconfiguration-PT-303-CTLCardinality-14 ( ( (AG( ( potential( (tk(P1752)) <= (tk(P1693)) ) | potential( (tk(P1540)) <= (tk(P564)) ) ))) | (EG( (! potential( (tk(P436)) <= (tk(P196)) )))) ) | (! potential( (tk(P1472)) <= (tk(P2116)) )) )
PROPERTY: CloudReconfiguration-PT-303-CTLCardinality-15 (AU( (AF(potential( ( 3 ) <= (tk(P1563)) ))),potential( ( 2 ) <= (tk(P923)) ) ))

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-303"
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-303, 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-158902541600019"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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