Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r018-oct2-158897680100540.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is BusinessProcesses-PT-12, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897680100540
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 324K
-rw-r--r-- 1 mcc users 3.3K Mar 26 02:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 26 02:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 22:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 25 22:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 25 17:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 17:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 14:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 25 14:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 25 17:55 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 25 17:55 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 146K 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 BusinessProcesses-PT-12-CTLFireability-00
FORMULA_NAME BusinessProcesses-PT-12-CTLFireability-01
FORMULA_NAME BusinessProcesses-PT-12-CTLFireability-02
FORMULA_NAME BusinessProcesses-PT-12-CTLFireability-03
FORMULA_NAME BusinessProcesses-PT-12-CTLFireability-04
FORMULA_NAME BusinessProcesses-PT-12-CTLFireability-05
FORMULA_NAME BusinessProcesses-PT-12-CTLFireability-06
FORMULA_NAME BusinessProcesses-PT-12-CTLFireability-07
FORMULA_NAME BusinessProcesses-PT-12-CTLFireability-08
FORMULA_NAME BusinessProcesses-PT-12-CTLFireability-09
FORMULA_NAME BusinessProcesses-PT-12-CTLFireability-10
FORMULA_NAME BusinessProcesses-PT-12-CTLFireability-11
FORMULA_NAME BusinessProcesses-PT-12-CTLFireability-12
FORMULA_NAME BusinessProcesses-PT-12-CTLFireability-13
FORMULA_NAME BusinessProcesses-PT-12-CTLFireability-14
FORMULA_NAME BusinessProcesses-PT-12-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589019854859

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 12
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: 586 places, 525 transitions, 1560 arcs.
AT ITER 0 NEW BEST:: SOT 194501 SOS 75360 HAS SOPS 75360 HAS SOUS 73297 HAS SOUPS 73297 WITH SCORE 73372.36
AT ITER 9 NEW BEST:: SOT 194453 SOS 75293 HAS SOPS 75293 HAS SOUS 73230 HAS SOUPS 73230 WITH SCORE 73305.293
AT ITER 12 NEW BEST:: SOT 194287 SOS 75104 HAS SOPS 75104 HAS SOUS 73041 HAS SOUPS 73041 WITH SCORE 73116.104
AT ITER 14 NEW BEST:: SOT 194130 SOS 74924 HAS SOPS 74924 HAS SOUS 72861 HAS SOUPS 72861 WITH SCORE 72935.924
AT ITER 23 NEW BEST:: SOT 194130 SOS 74851 HAS SOPS 74851 HAS SOUS 72788 HAS SOUPS 72788 WITH SCORE 72862.851
AT ITER 24 NEW BEST:: SOT 194128 SOS 74847 HAS SOPS 74847 HAS SOUS 72784 HAS SOUPS 72784 WITH SCORE 72858.847
AT ITER 28 NEW BEST:: SOT 194098 SOS 74788 HAS SOPS 74788 HAS SOUS 72722 HAS SOUPS 72722 WITH SCORE 72796.788
AT ITER 32 NEW BEST:: SOT 194098 SOS 74768 HAS SOPS 74768 HAS SOUS 72702 HAS SOUPS 72702 WITH SCORE 72776.768
AT ITER 37 NEW BEST:: SOT 194097 SOS 74766 HAS SOPS 74766 HAS SOUS 72700 HAS SOUPS 72700 WITH SCORE 72774.766
AT ITER 40 NEW BEST:: SOT 194025 SOS 74757 HAS SOPS 74757 HAS SOUS 72691 HAS SOUPS 72691 WITH SCORE 72765.757
AT ITER 49 NEW BEST:: SOT 193921 SOS 74546 HAS SOPS 74546 HAS SOUS 72604 HAS SOUPS 72604 WITH SCORE 72678.546
AT ITER 51 NEW BEST:: SOT 193921 SOS 74533 HAS SOPS 74533 HAS SOUS 72591 HAS SOUPS 72591 WITH SCORE 72665.533
AT ITER 52 NEW BEST:: SOT 193921 SOS 74526 HAS SOPS 74526 HAS SOUS 72584 HAS SOUPS 72584 WITH SCORE 72658.526
AT ITER 71 NEW BEST:: SOT 193921 SOS 74440 HAS SOPS 74440 HAS SOUS 72498 HAS SOUPS 72498 WITH SCORE 72572.44
AT ITER 80 NEW BEST:: SOT 193807 SOS 74338 HAS SOPS 74338 HAS SOUS 72396 HAS SOUPS 72396 WITH SCORE 72470.338
AT ITER 83 NEW BEST:: SOT 193807 SOS 74235 HAS SOPS 74235 HAS SOUS 72293 HAS SOUPS 72293 WITH SCORE 72367.235
AT ITER 92 NEW BEST:: SOT 193807 SOS 74181 HAS SOPS 74181 HAS SOUS 72271 HAS SOUPS 72271 WITH SCORE 72345.181
AT ITER 95 NEW BEST:: SOT 193782 SOS 74131 HAS SOPS 74131 HAS SOUS 72221 HAS SOUPS 72221 WITH SCORE 72295.131
AT ITER 106 NEW BEST:: SOT 193785 SOS 74137 HAS SOPS 74137 HAS SOUS 72219 HAS SOUPS 72219 WITH SCORE 72293.137
AT ITER 109 NEW BEST:: SOT 193709 SOS 73985 HAS SOPS 73985 HAS SOUS 72067 HAS SOUPS 72067 WITH SCORE 72140.985
AT ITER 110 NEW BEST:: SOT 193829 SOS 73956 HAS SOPS 73956 HAS SOUS 72036 HAS SOUPS 72036 WITH SCORE 72109.956
AT ITER 112 NEW BEST:: SOT 193597 SOS 73747 HAS SOPS 73747 HAS SOUS 71827 HAS SOUPS 71827 WITH SCORE 71900.747
AT ITER 143 NEW BEST:: SOT 193563 SOS 73706 HAS SOPS 73706 HAS SOUS 71786 HAS SOUPS 71786 WITH SCORE 71859.706
AT ITER 144 NEW BEST:: SOT 193563 SOS 73555 HAS SOPS 73555 HAS SOUS 71635 HAS SOUPS 71635 WITH SCORE 71708.555
AT ITER 149 NEW BEST:: SOT 193468 SOS 73375 HAS SOPS 73375 HAS SOUS 71455 HAS SOUPS 71455 WITH SCORE 71528.375
AT ITER 152 NEW BEST:: SOT 190315 SOS 70433 HAS SOPS 70433 HAS SOUS 68509 HAS SOUPS 68509 WITH SCORE 68579.433
AT ITER 173 NEW BEST:: SOT 190294 SOS 70425 HAS SOPS 70425 HAS SOUS 68501 HAS SOUPS 68501 WITH SCORE 68571.425
AT ITER 192 NEW BEST:: SOT 190281 SOS 70412 HAS SOPS 70412 HAS SOUS 68488 HAS SOUPS 68488 WITH SCORE 68558.412
AT ITER 219 NEW BEST:: SOT 190000 SOS 70035 HAS SOPS 70035 HAS SOUS 68111 HAS SOUPS 68111 WITH SCORE 68181.035
AT ITER 222 NEW BEST:: SOT 190000 SOS 69996 HAS SOPS 69996 HAS SOUS 68072 HAS SOUPS 68072 WITH SCORE 68141.996
AT ITER 223 NEW BEST:: SOT 189999 SOS 69994 HAS SOPS 69994 HAS SOUS 68070 HAS SOUPS 68070 WITH SCORE 68139.994
AT ITER 225 NEW BEST:: SOT 189989 SOS 69902 HAS SOPS 69902 HAS SOUS 67978 HAS SOUPS 67978 WITH SCORE 68047.902
AT ITER 228 NEW BEST:: SOT 189937 SOS 69921 HAS SOPS 69921 HAS SOUS 67926 HAS SOUPS 67926 WITH SCORE 67995.921
AT ITER 238 NEW BEST:: SOT 189937 SOS 69852 HAS SOPS 69852 HAS SOUS 67857 HAS SOUPS 67857 WITH SCORE 67926.852
AT ITER 254 NEW BEST:: SOT 189937 SOS 69752 HAS SOPS 69752 HAS SOUS 67757 HAS SOUPS 67757 WITH SCORE 67826.752
AT ITER 262 NEW BEST:: SOT 189935 SOS 69616 HAS SOPS 69616 HAS SOUS 67621 HAS SOUPS 67621 WITH SCORE 67690.616
AT ITER 268 NEW BEST:: SOT 189907 SOS 69532 HAS SOPS 69532 HAS SOUS 67537 HAS SOUPS 67537 WITH SCORE 67606.532
AT ITER 274 NEW BEST:: SOT 189931 SOS 69508 HAS SOPS 69508 HAS SOUS 67513 HAS SOUPS 67513 WITH SCORE 67582.508
AT ITER 279 NEW BEST:: SOT 189883 SOS 69460 HAS SOPS 69460 HAS SOUS 67465 HAS SOUPS 67465 WITH SCORE 67534.46
AT ITER 280 NEW BEST:: SOT 189882 SOS 69458 HAS SOPS 69458 HAS SOUS 67463 HAS SOUPS 67463 WITH SCORE 67532.458
AT ITER 284 NEW BEST:: SOT 189882 SOS 69456 HAS SOPS 69456 HAS SOUS 67461 HAS SOUPS 67461 WITH SCORE 67530.456
AT ITER 293 NEW BEST:: SOT 189852 SOS 69396 HAS SOPS 69396 HAS SOUS 67401 HAS SOUPS 67401 WITH SCORE 67470.396
AT ITER 299 NEW BEST:: SOT 189697 SOS 69185 HAS SOPS 69185 HAS SOUS 67246 HAS SOUPS 67246 WITH SCORE 67315.185
AT ITER 306 NEW BEST:: SOT 189680 SOS 69168 HAS SOPS 69168 HAS SOUS 67229 HAS SOUPS 67229 WITH SCORE 67298.168
AT ITER 309 NEW BEST:: SOT 189641 SOS 69030 HAS SOPS 69030 HAS SOUS 67091 HAS SOUPS 67091 WITH SCORE 67160.03
AT ITER 311 NEW BEST:: SOT 189641 SOS 68901 HAS SOPS 68901 HAS SOUS 66962 HAS SOUPS 66962 WITH SCORE 67030.901
AT ITER 324 NEW BEST:: SOT 189632 SOS 69027 HAS SOPS 69027 HAS SOUS 66953 HAS SOUPS 66953 WITH SCORE 67022.027
AT ITER 340 NEW BEST:: SOT 189632 SOS 69013 HAS SOPS 69013 HAS SOUS 66939 HAS SOUPS 66939 WITH SCORE 67008.013
AT ITER 349 NEW BEST:: SOT 189632 SOS 68961 HAS SOPS 68961 HAS SOUS 66887 HAS SOUPS 66887 WITH SCORE 66955.961
AT ITER 352 NEW BEST:: SOT 189632 SOS 68885 HAS SOPS 68885 HAS SOUS 66811 HAS SOUPS 66811 WITH SCORE 66879.885
AT ITER 357 NEW BEST:: SOT 189221 SOS 68474 HAS SOPS 68474 HAS SOUS 66400 HAS SOUPS 66400 WITH SCORE 66468.474
AT ITER 365 NEW BEST:: SOT 189259 SOS 68461 HAS SOPS 68461 HAS SOUS 66387 HAS SOUPS 66387 WITH SCORE 66455.461
AT ITER 366 NEW BEST:: SOT 189269 SOS 68468 HAS SOPS 68468 HAS SOUS 66380 HAS SOUPS 66380 WITH SCORE 66448.468
AT ITER 380 NEW BEST:: SOT 189319 SOS 68327 HAS SOPS 68327 HAS SOUS 66239 HAS SOUPS 66239 WITH SCORE 66307.327
AT ITER 388 NEW BEST:: SOT 189233 SOS 68303 HAS SOPS 68303 HAS SOUS 66215 HAS SOUPS 66215 WITH SCORE 66283.303
AT ITER 394 NEW BEST:: SOT 189264 SOS 68290 HAS SOPS 68290 HAS SOUS 66202 HAS SOUPS 66202 WITH SCORE 66270.29
AT ITER 400 NEW BEST:: SOT 189234 SOS 68230 HAS SOPS 68230 HAS SOUS 66142 HAS SOUPS 66142 WITH SCORE 66210.23
AT ITER 410 NEW BEST:: SOT 189181 SOS 68061 HAS SOPS 68061 HAS SOUS 65973 HAS SOUPS 65973 WITH SCORE 66041.061
AT ITER 432 NEW BEST:: SOT 189181 SOS 68013 HAS SOPS 68013 HAS SOUS 65925 HAS SOUPS 65925 WITH SCORE 65993.013
AT ITER 436 NEW BEST:: SOT 189181 SOS 67940 HAS SOPS 67940 HAS SOUS 65852 HAS SOUPS 65852 WITH SCORE 65919.94
AT ITER 440 NEW BEST:: SOT 187044 SOS 65958 HAS SOPS 65958 HAS SOUS 63870 HAS SOUPS 63870 WITH SCORE 63935.958
AT ITER 448 NEW BEST:: SOT 186984 SOS 65925 HAS SOPS 65925 HAS SOUS 63837 HAS SOUPS 63837 WITH SCORE 63902.925
AT ITER 452 NEW BEST:: SOT 187088 SOS 65923 HAS SOPS 65923 HAS SOUS 63835 HAS SOUPS 63835 WITH SCORE 63900.923
AT ITER 458 NEW BEST:: SOT 187038 SOS 65885 HAS SOPS 65885 HAS SOUS 63803 HAS SOUPS 63803 WITH SCORE 63868.885
AT ITER 471 NEW BEST:: SOT 186950 SOS 65722 HAS SOPS 65722 HAS SOUS 63640 HAS SOUPS 63640 WITH SCORE 63705.722
AT ITER 484 NEW BEST:: SOT 186950 SOS 65608 HAS SOPS 65608 HAS SOUS 63526 HAS SOUPS 63526 WITH SCORE 63591.608
AT ITER 489 NEW BEST:: SOT 187041 SOS 65430 HAS SOPS 65430 HAS SOUS 63348 HAS SOUPS 63348 WITH SCORE 63413.43
AT ITER 505 NEW BEST:: SOT 187040 SOS 65396 HAS SOPS 65396 HAS SOUS 63314 HAS SOUPS 63314 WITH SCORE 63379.396
AT ITER 512 NEW BEST:: SOT 187069 SOS 65322 HAS SOPS 65322 HAS SOUS 63240 HAS SOUPS 63240 WITH SCORE 63305.322
AT ITER 537 NEW BEST:: SOT 187115 SOS 65118 HAS SOPS 65118 HAS SOUS 63141 HAS SOUPS 63141 WITH SCORE 63206.118
AT ITER 561 NEW BEST:: SOT 187115 SOS 65089 HAS SOPS 65089 HAS SOUS 63112 HAS SOUPS 63112 WITH SCORE 63177.089
AT ITER 566 NEW BEST:: SOT 187124 SOS 65027 HAS SOPS 65027 HAS SOUS 63050 HAS SOUPS 63050 WITH SCORE 63115.027
AT ITER 577 NEW BEST:: SOT 186444 SOS 65953 HAS SOPS 65953 HAS SOUS 62626 HAS SOUPS 62626 WITH SCORE 62691.953
AT ITER 592 NEW BEST:: SOT 186307 SOS 65770 HAS SOPS 65770 HAS SOUS 62501 HAS SOUPS 62501 WITH SCORE 62566.77
AT ITER 597 NEW BEST:: SOT 186340 SOS 65619 HAS SOPS 65619 HAS SOUS 62350 HAS SOUPS 62350 WITH SCORE 62415.619
AT ITER 616 NEW BEST:: SOT 186379 SOS 65548 HAS SOPS 65548 HAS SOUS 62279 HAS SOUPS 62279 WITH SCORE 62344.548
AT ITER 618 NEW BEST:: SOT 186287 SOS 65452 HAS SOPS 65452 HAS SOUS 62183 HAS SOUPS 62183 WITH SCORE 62248.452
AT ITER 620 NEW BEST:: SOT 186221 SOS 65786 HAS SOPS 65786 HAS SOUS 62142 HAS SOUPS 62142 WITH SCORE 62207.786
AT ITER 626 NEW BEST:: SOT 186221 SOS 65686 HAS SOPS 65686 HAS SOUS 62042 HAS SOUPS 62042 WITH SCORE 62107.686
AT ITER 642 NEW BEST:: SOT 186221 SOS 65659 HAS SOPS 65659 HAS SOUS 62015 HAS SOUPS 62015 WITH SCORE 62080.659
AT ITER 648 NEW BEST:: SOT 186234 SOS 65655 HAS SOPS 65655 HAS SOUS 61998 HAS SOUPS 61998 WITH SCORE 62063.655
AT ITER 658 NEW BEST:: SOT 186146 SOS 65523 HAS SOPS 65523 HAS SOUS 61851 HAS SOUPS 61851 WITH SCORE 61916.523
AT ITER 660 NEW BEST:: SOT 186157 SOS 65521 HAS SOPS 65521 HAS SOUS 61849 HAS SOUPS 61849 WITH SCORE 61914.521
AT ITER 662 NEW BEST:: SOT 186132 SOS 65496 HAS SOPS 65496 HAS SOUS 61824 HAS SOUPS 61824 WITH SCORE 61889.496
AT ITER 665 NEW BEST:: SOT 185507 SOS 64822 HAS SOPS 64822 HAS SOUS 61150 HAS SOUPS 61150 WITH SCORE 61214.822
AT ITER 672 NEW BEST:: SOT 185504 SOS 64883 HAS SOPS 64883 HAS SOUS 61147 HAS SOUPS 61147 WITH SCORE 61211.883
AT ITER 680 NEW BEST:: SOT 185458 SOS 64805 HAS SOPS 64805 HAS SOUS 61084 HAS SOUPS 61084 WITH SCORE 61148.805
AT ITER 685 NEW BEST:: SOT 185444 SOS 64777 HAS SOPS 64777 HAS SOUS 61069 HAS SOUPS 61069 WITH SCORE 61133.777
AT ITER 694 NEW BEST:: SOT 185444 SOS 64606 HAS SOPS 64606 HAS SOUS 60898 HAS SOUPS 60898 WITH SCORE 60962.606
AT ITER 695 NEW BEST:: SOT 185444 SOS 64605 HAS SOPS 64605 HAS SOUS 60897 HAS SOUPS 60897 WITH SCORE 60961.605
AT ITER 697 NEW BEST:: SOT 185415 SOS 64577 HAS SOPS 64577 HAS SOUS 60869 HAS SOUPS 60869 WITH SCORE 60933.577
AT ITER 702 NEW BEST:: SOT 185415 SOS 64495 HAS SOPS 64495 HAS SOUS 60787 HAS SOUPS 60787 WITH SCORE 60851.495
AT ITER 707 NEW BEST:: SOT 185415 SOS 64495 HAS SOPS 64495 HAS SOUS 60777 HAS SOUPS 60777 WITH SCORE 60841.495
AT ITER 721 NEW BEST:: SOT 185325 SOS 64444 HAS SOPS 64444 HAS SOUS 60668 HAS SOUPS 60668 WITH SCORE 60732.444
AT ITER 726 NEW BEST:: SOT 185266 SOS 64392 HAS SOPS 64392 HAS SOUS 60616 HAS SOUPS 60616 WITH SCORE 60680.392
AT ITER 731 NEW BEST:: SOT 185235 SOS 64361 HAS SOPS 64361 HAS SOUS 60585 HAS SOUPS 60585 WITH SCORE 60649.361
AT ITER 742 NEW BEST:: SOT 185226 SOS 64352 HAS SOPS 64352 HAS SOUS 60576 HAS SOUPS 60576 WITH SCORE 60640.352
AT ITER 743 NEW BEST:: SOT 185291 SOS 64338 HAS SOPS 64338 HAS SOUS 60562 HAS SOUPS 60562 WITH SCORE 60626.338
AT ITER 744 NEW BEST:: SOT 185336 SOS 64249 HAS SOPS 64249 HAS SOUS 60473 HAS SOUPS 60473 WITH SCORE 60537.249
AT ITER 751 NEW BEST:: SOT 184422 SOS 63387 HAS SOPS 63387 HAS SOUS 59586 HAS SOUPS 59586 WITH SCORE 59649.387
AT ITER 758 NEW BEST:: SOT 184415 SOS 63384 HAS SOPS 63384 HAS SOUS 59583 HAS SOUPS 59583 WITH SCORE 59646.384
AT ITER 768 NEW BEST:: SOT 184349 SOS 63318 HAS SOPS 63318 HAS SOUS 59517 HAS SOUPS 59517 WITH SCORE 59580.318
AT ITER 770 NEW BEST:: SOT 184218 SOS 63259 HAS SOPS 63259 HAS SOUS 59317 HAS SOUPS 59317 WITH SCORE 59380.259
AT ITER 771 NEW BEST:: SOT 184212 SOS 63247 HAS SOPS 63247 HAS SOUS 59305 HAS SOUPS 59305 WITH SCORE 59368.247
AT ITER 776 NEW BEST:: SOT 184445 SOS 63239 HAS SOPS 63239 HAS SOUS 59297 HAS SOUPS 59297 WITH SCORE 59360.239
AT ITER 788 NEW BEST:: SOT 184469 SOS 63214 HAS SOPS 63214 HAS SOUS 59272 HAS SOUPS 59272 WITH SCORE 59335.214
AT ITER 813 NEW BEST:: SOT 184469 SOS 63173 HAS SOPS 63173 HAS SOUS 59231 HAS SOUPS 59231 WITH SCORE 59294.173
AT ITER 842 NEW BEST:: SOT 184469 SOS 63147 HAS SOPS 63147 HAS SOUS 59205 HAS SOUPS 59205 WITH SCORE 59268.147
AT ITER 843 NEW BEST:: SOT 184457 SOS 63135 HAS SOPS 63135 HAS SOUS 59181 HAS SOUPS 59181 WITH SCORE 59244.135
AT ITER 850 NEW BEST:: SOT 184513 SOS 63134 HAS SOPS 63134 HAS SOUS 59180 HAS SOUPS 59180 WITH SCORE 59243.134
AT ITER 852 NEW BEST:: SOT 184496 SOS 63003 HAS SOPS 63003 HAS SOUS 59049 HAS SOUPS 59049 WITH SCORE 59112.003
AT ITER 889 NEW BEST:: SOT 184139 SOS 62617 HAS SOPS 62617 HAS SOUS 58663 HAS SOUPS 58663 WITH SCORE 58725.617
AT ITER 891 NEW BEST:: SOT 184139 SOS 62606 HAS SOPS 62606 HAS SOUS 58652 HAS SOUPS 58652 WITH SCORE 58714.606
AT ITER 895 NEW BEST:: SOT 184138 SOS 62458 HAS SOPS 62458 HAS SOUS 58504 HAS SOUPS 58504 WITH SCORE 58566.458
AT ITER 904 NEW BEST:: SOT 184109 SOS 62400 HAS SOPS 62400 HAS SOUS 58446 HAS SOUPS 58446 WITH SCORE 58508.4
AT ITER 905 NEW BEST:: SOT 184109 SOS 62395 HAS SOPS 62395 HAS SOUS 58441 HAS SOUPS 58441 WITH SCORE 58503.395
AT ITER 910 NEW BEST:: SOT 184240 SOS 62381 HAS SOPS 62381 HAS SOUS 58427 HAS SOUPS 58427 WITH SCORE 58489.381
AT ITER 912 NEW BEST:: SOT 184238 SOS 62381 HAS SOPS 62381 HAS SOUS 58425 HAS SOUPS 58425 WITH SCORE 58487.381
AT ITER 917 NEW BEST:: SOT 184238 SOS 62333 HAS SOPS 62333 HAS SOUS 58376 HAS SOUPS 58376 WITH SCORE 58438.333
AT ITER 918 NEW BEST:: SOT 184261 SOS 62329 HAS SOPS 62329 HAS SOUS 58372 HAS SOUPS 58372 WITH SCORE 58434.329
AT ITER 924 NEW BEST:: SOT 184332 SOS 62315 HAS SOPS 62315 HAS SOUS 58358 HAS SOUPS 58358 WITH SCORE 58420.315
AT ITER 933 NEW BEST:: SOT 184285 SOS 62221 HAS SOPS 62221 HAS SOUS 58264 HAS SOUPS 58264 WITH SCORE 58326.221
AT ITER 944 NEW BEST:: SOT 184285 SOS 62165 HAS SOPS 62165 HAS SOUS 58208 HAS SOUPS 58208 WITH SCORE 58270.165
AT ITER 947 NEW BEST:: SOT 184285 SOS 62164 HAS SOPS 62164 HAS SOUS 58207 HAS SOUPS 58207 WITH SCORE 58269.164
AT ITER 960 NEW BEST:: SOT 184259 SOS 62134 HAS SOPS 62134 HAS SOUS 58177 HAS SOUPS 58177 WITH SCORE 58239.134
AT ITER 965 NEW BEST:: SOT 184259 SOS 62012 HAS SOPS 62012 HAS SOUS 58055 HAS SOUPS 58055 WITH SCORE 58117.012
AT ITER 978 NEW BEST:: SOT 184348 SOS 61875 HAS SOPS 61875 HAS SOUS 57918 HAS SOUPS 57918 WITH SCORE 57979.875
AT ITER 991 NEW BEST:: SOT 184181 SOS 61708 HAS SOPS 61708 HAS SOUS 57751 HAS SOUPS 57751 WITH SCORE 57812.708
AT ITER 1040 NEW BEST:: SOT 184135 SOS 61678 HAS SOPS 61678 HAS SOUS 57721 HAS SOUPS 57721 WITH SCORE 57782.678
AT ITER 1041 NEW BEST:: SOT 180692 SOS 64863 HAS SOPS 64863 HAS SOUS 54651 HAS SOUPS 54651 WITH SCORE 54715.863
AT ITER 1045 NEW BEST:: SOT 180709 SOS 64880 HAS SOPS 64880 HAS SOUS 54636 HAS SOUPS 54636 WITH SCORE 54700.88
AT ITER 1046 NEW BEST:: SOT 180641 SOS 64744 HAS SOPS 64744 HAS SOUS 54568 HAS SOUPS 54568 WITH SCORE 54632.744
AT ITER 1047 NEW BEST:: SOT 180503 SOS 64681 HAS SOPS 64681 HAS SOUS 54519 HAS SOUPS 54519 WITH SCORE 54583.681
AT ITER 1052 NEW BEST:: SOT 180473 SOS 64621 HAS SOPS 64621 HAS SOUS 54459 HAS SOUPS 54459 WITH SCORE 54523.621
AT ITER 1053 NEW BEST:: SOT 180440 SOS 64555 HAS SOPS 64555 HAS SOUS 54428 HAS SOUPS 54428 WITH SCORE 54492.555
AT ITER 1061 NEW BEST:: SOT 180428 SOS 63819 HAS SOPS 63819 HAS SOUS 53744 HAS SOUPS 53744 WITH SCORE 53807.819
AT ITER 1074 NEW BEST:: SOT 180361 SOS 63752 HAS SOPS 63752 HAS SOUS 53704 HAS SOUPS 53704 WITH SCORE 53767.752
AT ITER 1088 NEW BEST:: SOT 180307 SOS 63644 HAS SOPS 63644 HAS SOUS 53596 HAS SOUPS 53596 WITH SCORE 53659.644
AT ITER 1094 NEW BEST:: SOT 180241 SOS 63578 HAS SOPS 63578 HAS SOUS 53530 HAS SOUPS 53530 WITH SCORE 53593.578
AT ITER 1095 NEW BEST:: SOT 180209 SOS 63496 HAS SOPS 63496 HAS SOUS 53448 HAS SOUPS 53448 WITH SCORE 53511.496
AT ITER 1096 NEW BEST:: SOT 180136 SOS 63350 HAS SOPS 63350 HAS SOUS 53229 HAS SOUPS 53229 WITH SCORE 53292.35
AT ITER 1098 NEW BEST:: SOT 180124 SOS 63326 HAS SOPS 63326 HAS SOUS 53205 HAS SOUPS 53205 WITH SCORE 53268.326
AT ITER 1106 NEW BEST:: SOT 180035 SOS 63299 HAS SOPS 63299 HAS SOUS 53178 HAS SOUPS 53178 WITH SCORE 53241.299
AT ITER 1112 NEW BEST:: SOT 180027 SOS 63291 HAS SOPS 63291 HAS SOUS 53170 HAS SOUPS 53170 WITH SCORE 53233.291
AT ITER 1118 NEW BEST:: SOT 179875 SOS 62987 HAS SOPS 62987 HAS SOUS 53017 HAS SOUPS 53017 WITH SCORE 53079.987
AT ITER 1125 NEW BEST:: SOT 179765 SOS 62879 HAS SOPS 62879 HAS SOUS 52907 HAS SOUPS 52907 WITH SCORE 52969.879
AT ITER 1136 NEW BEST:: SOT 179833 SOS 62816 HAS SOPS 62816 HAS SOUS 52844 HAS SOUPS 52844 WITH SCORE 52906.816
AT ITER 1138 NEW BEST:: SOT 179736 SOS 62622 HAS SOPS 62622 HAS SOUS 52650 HAS SOUPS 52650 WITH SCORE 52712.622
AT ITER 1141 NEW BEST:: SOT 179698 SOS 62546 HAS SOPS 62546 HAS SOUS 52574 HAS SOUPS 52574 WITH SCORE 52636.546
AT ITER 1143 NEW BEST:: SOT 179597 SOS 62262 HAS SOPS 62262 HAS SOUS 52474 HAS SOUPS 52474 WITH SCORE 52536.262
AT ITER 1148 NEW BEST:: SOT 179588 SOS 62244 HAS SOPS 62244 HAS SOUS 52456 HAS SOUPS 52456 WITH SCORE 52518.244
AT ITER 1149 NEW BEST:: SOT 179554 SOS 62209 HAS SOPS 62209 HAS SOUS 52454 HAS SOUPS 52454 WITH SCORE 52516.209
AT ITER 1166 NEW BEST:: SOT 179496 SOS 62077 HAS SOPS 62077 HAS SOUS 52380 HAS SOUPS 52380 WITH SCORE 52442.077
AT ITER 1187 NEW BEST:: SOT 179496 SOS 61854 HAS SOPS 61854 HAS SOUS 52157 HAS SOUPS 52157 WITH SCORE 52218.854
AT ITER 1194 NEW BEST:: SOT 179496 SOS 61852 HAS SOPS 61852 HAS SOUS 52155 HAS SOUPS 52155 WITH SCORE 52216.852
AT ITER 1216 NEW BEST:: SOT 179494 SOS 61848 HAS SOPS 61848 HAS SOUS 52151 HAS SOUPS 52151 WITH SCORE 52212.848
AT ITER 1217 NEW BEST:: SOT 179494 SOS 61694 HAS SOPS 61694 HAS SOUS 51997 HAS SOUPS 51997 WITH SCORE 52058.694
AT ITER 1218 NEW BEST:: SOT 179348 SOS 61700 HAS SOPS 61700 HAS SOUS 51987 HAS SOUPS 51987 WITH SCORE 52048.7
AT ITER 1242 NEW BEST:: SOT 179256 SOS 62330 HAS SOPS 62330 HAS SOUS 51960 HAS SOUPS 51960 WITH SCORE 52022.33
AT ITER 1248 NEW BEST:: SOT 179230 SOS 62304 HAS SOPS 62304 HAS SOUS 51934 HAS SOUPS 51934 WITH SCORE 51996.304
AT ITER 1275 NEW BEST:: SOT 179230 SOS 62298 HAS SOPS 62298 HAS SOUS 51928 HAS SOUPS 51928 WITH SCORE 51990.298
AT ITER 1278 NEW BEST:: SOT 179220 SOS 62288 HAS SOPS 62288 HAS SOUS 51918 HAS SOUPS 51918 WITH SCORE 51980.288
AT ITER 1288 NEW BEST:: SOT 179220 SOS 62256 HAS SOPS 62256 HAS SOUS 51902 HAS SOUPS 51902 WITH SCORE 51964.256
AT ITER 1298 NEW BEST:: SOT 179125 SOS 62158 HAS SOPS 62158 HAS SOUS 51896 HAS SOUPS 51896 WITH SCORE 51958.158
AT ITER 1312 NEW BEST:: SOT 179067 SOS 62100 HAS SOPS 62100 HAS SOUS 51838 HAS SOUPS 51838 WITH SCORE 51900.1
AT ITER 1319 NEW BEST:: SOT 178964 SOS 61891 HAS SOPS 61891 HAS SOUS 51686 HAS SOUPS 51686 WITH SCORE 51747.891
AT ITER 1336 NEW BEST:: SOT 178813 SOS 61740 HAS SOPS 61740 HAS SOUS 51605 HAS SOUPS 51605 WITH SCORE 51666.74
AT ITER 1340 NEW BEST:: SOT 178810 SOS 61734 HAS SOPS 61734 HAS SOUS 51599 HAS SOUPS 51599 WITH SCORE 51660.734
AT ITER 1350 NEW BEST:: SOT 178810 SOS 61727 HAS SOPS 61727 HAS SOUS 51592 HAS SOUPS 51592 WITH SCORE 51653.727
AT ITER 1356 NEW BEST:: SOT 178735 SOS 61722 HAS SOPS 61722 HAS SOUS 51587 HAS SOUPS 51587 WITH SCORE 51648.722
AT ITER 1359 NEW BEST:: SOT 178701 SOS 61653 HAS SOPS 61653 HAS SOUS 51518 HAS SOUPS 51518 WITH SCORE 51579.653
AT ITER 1366 NEW BEST:: SOT 178646 SOS 61543 HAS SOPS 61543 HAS SOUS 51469 HAS SOUPS 51469 WITH SCORE 51530.543
AT ITER 1375 NEW BEST:: SOT 178646 SOS 61542 HAS SOPS 61542 HAS SOUS 51468 HAS SOUPS 51468 WITH SCORE 51529.542
AT ITER 1384 NEW BEST:: SOT 178491 SOS 61246 HAS SOPS 61246 HAS SOUS 51172 HAS SOUPS 51172 WITH SCORE 51233.246
AT ITER 1388 NEW BEST:: SOT 178490 SOS 61244 HAS SOPS 61244 HAS SOUS 51170 HAS SOUPS 51170 WITH SCORE 51231.244
AT ITER 1390 NEW BEST:: SOT 178440 SOS 61194 HAS SOPS 61194 HAS SOUS 51120 HAS SOUPS 51120 WITH SCORE 51181.194
AT ITER 1391 NEW BEST:: SOT 178572 SOS 61258 HAS SOPS 61258 HAS SOUS 51118 HAS SOUPS 51118 WITH SCORE 51179.258
AT ITER 1398 NEW BEST:: SOT 178460 SOS 61222 HAS SOPS 61222 HAS SOUS 51082 HAS SOUPS 51082 WITH SCORE 51143.222
AT ITER 1399 NEW BEST:: SOT 178460 SOS 61222 HAS SOPS 61222 HAS SOUS 51077 HAS SOUPS 51077 WITH SCORE 51138.222
AT ITER 1429 NEW BEST:: SOT 178399 SOS 61149 HAS SOPS 61149 HAS SOUS 51053 HAS SOUPS 51053 WITH SCORE 51114.149
AT ITER 1430 NEW BEST:: SOT 178451 SOS 61127 HAS SOPS 61127 HAS SOUS 51031 HAS SOUPS 51031 WITH SCORE 51092.127
AT ITER 1448 NEW BEST:: SOT 178450 SOS 60972 HAS SOPS 60972 HAS SOUS 50876 HAS SOUPS 50876 WITH SCORE 50936.972
AT ITER 1450 NEW BEST:: SOT 178450 SOS 60955 HAS SOPS 60955 HAS SOUS 50876 HAS SOUPS 50876 WITH SCORE 50936.955
AT ITER 1468 NEW BEST:: SOT 178444 SOS 60929 HAS SOPS 60929 HAS SOUS 50850 HAS SOUPS 50850 WITH SCORE 50910.929
AT ITER 1474 NEW BEST:: SOT 178384 SOS 60809 HAS SOPS 60809 HAS SOUS 50790 HAS SOUPS 50790 WITH SCORE 50850.809
AT ITER 1476 NEW BEST:: SOT 178332 SOS 60744 HAS SOPS 60744 HAS SOUS 50725 HAS SOUPS 50725 WITH SCORE 50785.744
AT ITER 1479 NEW BEST:: SOT 178195 SOS 60570 HAS SOPS 60570 HAS SOUS 50667 HAS SOUPS 50667 WITH SCORE 50727.57
AT ITER 1494 NEW BEST:: SOT 178182 SOS 60533 HAS SOPS 60533 HAS SOUS 50630 HAS SOUPS 50630 WITH SCORE 50690.533
AT ITER 1497 NEW BEST:: SOT 178035 SOS 60338 HAS SOPS 60338 HAS SOUS 50538 HAS SOUPS 50538 WITH SCORE 50598.338
AT ITER 1498 NEW BEST:: SOT 178035 SOS 60338 HAS SOPS 60338 HAS SOUS 50527 HAS SOUPS 50527 WITH SCORE 50587.338
AT ITER 1503 NEW BEST:: SOT 177854 SOS 59806 HAS SOPS 59806 HAS SOUS 49995 HAS SOUPS 49995 WITH SCORE 50054.806
AT ITER 1508 NEW BEST:: SOT 177834 SOS 59770 HAS SOPS 59770 HAS SOUS 49959 HAS SOUPS 49959 WITH SCORE 50018.77
AT ITER 1511 NEW BEST:: SOT 177580 SOS 59407 HAS SOPS 59407 HAS SOUS 49705 HAS SOUPS 49705 WITH SCORE 49764.407
AT ITER 1523 NEW BEST:: SOT 177580 SOS 59378 HAS SOPS 59378 HAS SOUS 49705 HAS SOUPS 49705 WITH SCORE 49764.378
AT ITER 1529 NEW BEST:: SOT 177473 SOS 59292 HAS SOPS 59292 HAS SOUS 49661 HAS SOUPS 49661 WITH SCORE 49720.292
AT ITER 1531 NEW BEST:: SOT 177425 SOS 59276 HAS SOPS 59276 HAS SOUS 49612 HAS SOUPS 49612 WITH SCORE 49671.276
AT ITER 1538 NEW BEST:: SOT 177438 SOS 59233 HAS SOPS 59233 HAS SOUS 49569 HAS SOUPS 49569 WITH SCORE 49628.233
AT ITER 1558 NEW BEST:: SOT 177210 SOS 58920 HAS SOPS 58920 HAS SOUS 49341 HAS SOUPS 49341 WITH SCORE 49399.92
AT ITER 1572 NEW BEST:: SOT 177154 SOS 58864 HAS SOPS 58864 HAS SOUS 49263 HAS SOUPS 49263 WITH SCORE 49321.864
AT ITER 1579 NEW BEST:: SOT 177153 SOS 58794 HAS SOPS 58794 HAS SOUS 49193 HAS SOUPS 49193 WITH SCORE 49251.794
AT ITER 1593 NEW BEST:: SOT 177162 SOS 58789 HAS SOPS 58789 HAS SOUS 49188 HAS SOUPS 49188 WITH SCORE 49246.789
AT ITER 1610 NEW BEST:: SOT 177095 SOS 58590 HAS SOPS 58590 HAS SOUS 49099 HAS SOUPS 49099 WITH SCORE 49157.59
AT ITER 1611 NEW BEST:: SOT 177095 SOS 58552 HAS SOPS 58552 HAS SOUS 49090 HAS SOUPS 49090 WITH SCORE 49148.552
AT ITER 1614 NEW BEST:: SOT 177062 SOS 58520 HAS SOPS 58520 HAS SOUS 49074 HAS SOUPS 49074 WITH SCORE 49132.52
AT ITER 1615 NEW BEST:: SOT 177104 SOS 58561 HAS SOPS 58561 HAS SOUS 49069 HAS SOUPS 49069 WITH SCORE 49127.561
AT ITER 1634 NEW BEST:: SOT 176966 SOS 58559 HAS SOPS 58559 HAS SOUS 49067 HAS SOUPS 49067 WITH SCORE 49125.559
AT ITER 1645 NEW BEST:: SOT 177144 SOS 58425 HAS SOPS 58425 HAS SOUS 49035 HAS SOUPS 49035 WITH SCORE 49093.425
AT ITER 1651 NEW BEST:: SOT 176835 SOS 58151 HAS SOPS 58151 HAS SOUS 48860 HAS SOUPS 48860 WITH SCORE 48918.151
AT ITER 1663 NEW BEST:: SOT 176835 SOS 58123 HAS SOPS 58123 HAS SOUS 48832 HAS SOUPS 48832 WITH SCORE 48890.123
AT ITER 1681 NEW BEST:: SOT 176834 SOS 58121 HAS SOPS 58121 HAS SOUS 48830 HAS SOUPS 48830 WITH SCORE 48888.121
AT ITER 1683 NEW BEST:: SOT 176832 SOS 58119 HAS SOPS 58119 HAS SOUS 48828 HAS SOUPS 48828 WITH SCORE 48886.119
AT ITER 1692 NEW BEST:: SOT 176832 SOS 58106 HAS SOPS 58106 HAS SOUS 48828 HAS SOUPS 48828 WITH SCORE 48886.106
AT ITER 1697 NEW BEST:: SOT 176495 SOS 57782 HAS SOPS 57782 HAS SOUS 48704 HAS SOUPS 48704 WITH SCORE 48761.782
AT ITER 1710 NEW BEST:: SOT 176456 SOS 57717 HAS SOPS 57717 HAS SOUS 48639 HAS SOUPS 48639 WITH SCORE 48696.717
AT ITER 1727 NEW BEST:: SOT 176456 SOS 57692 HAS SOPS 57692 HAS SOUS 48614 HAS SOUPS 48614 WITH SCORE 48671.692
AT ITER 1732 NEW BEST:: SOT 176457 SOS 57622 HAS SOPS 57622 HAS SOUS 48544 HAS SOUPS 48544 WITH SCORE 48601.622
AT ITER 1741 NEW BEST:: SOT 176361 SOS 58083 HAS SOPS 58083 HAS SOUS 48460 HAS SOUPS 48460 WITH SCORE 48518.083
AT ITER 1761 NEW BEST:: SOT 176327 SOS 58032 HAS SOPS 58032 HAS SOUS 48426 HAS SOUPS 48426 WITH SCORE 48484.032
AT ITER 1762 NEW BEST:: SOT 176302 SOS 58022 HAS SOPS 58022 HAS SOUS 48416 HAS SOUPS 48416 WITH SCORE 48474.022
AT ITER 1772 NEW BEST:: SOT 176257 SOS 57977 HAS SOPS 57977 HAS SOUS 48376 HAS SOUPS 48376 WITH SCORE 48433.977
AT ITER 1780 NEW BEST:: SOT 176257 SOS 57974 HAS SOPS 57974 HAS SOUS 48373 HAS SOUPS 48373 WITH SCORE 48430.974
AT ITER 1781 NEW BEST:: SOT 176230 SOS 57893 HAS SOPS 57893 HAS SOUS 48319 HAS SOUPS 48319 WITH SCORE 48376.893
AT ITER 1785 NEW BEST:: SOT 176091 SOS 57754 HAS SOPS 57754 HAS SOUS 48315 HAS SOUPS 48315 WITH SCORE 48372.754
AT ITER 1796 NEW BEST:: SOT 175970 SOS 57635 HAS SOPS 57635 HAS SOUS 48196 HAS SOUPS 48196 WITH SCORE 48253.635
AT ITER 1808 NEW BEST:: SOT 175749 SOS 57344 HAS SOPS 57344 HAS SOUS 48098 HAS SOUPS 48098 WITH SCORE 48155.344
AT ITER 1809 NEW BEST:: SOT 175725 SOS 57312 HAS SOPS 57312 HAS SOUS 48066 HAS SOUPS 48066 WITH SCORE 48123.312
AT ITER 1810 NEW BEST:: SOT 175693 SOS 57290 HAS SOPS 57290 HAS SOUS 48044 HAS SOUPS 48044 WITH SCORE 48101.29
AT ITER 1818 NEW BEST:: SOT 175649 SOS 57246 HAS SOPS 57246 HAS SOUS 48000 HAS SOUPS 48000 WITH SCORE 48057.246
AT ITER 1820 NEW BEST:: SOT 175624 SOS 57192 HAS SOPS 57192 HAS SOUS 47946 HAS SOUPS 47946 WITH SCORE 48003.192
AT ITER 1836 NEW BEST:: SOT 175578 SOS 57190 HAS SOPS 57190 HAS SOUS 47944 HAS SOUPS 47944 WITH SCORE 48001.19
AT ITER 1862 NEW BEST:: SOT 175578 SOS 57064 HAS SOPS 57064 HAS SOUS 47869 HAS SOUPS 47869 WITH SCORE 47926.064
AT ITER 1871 NEW BEST:: SOT 175578 SOS 57018 HAS SOPS 57018 HAS SOUS 47823 HAS SOUPS 47823 WITH SCORE 47880.018
AT ITER 1884 NEW BEST:: SOT 175480 SOS 56778 HAS SOPS 56778 HAS SOUS 47627 HAS SOUPS 47627 WITH SCORE 47683.778
AT ITER 1896 NEW BEST:: SOT 175466 SOS 56764 HAS SOPS 56764 HAS SOUS 47613 HAS SOUPS 47613 WITH SCORE 47669.764
AT ITER 1901 NEW BEST:: SOT 175455 SOS 56742 HAS SOPS 56742 HAS SOUS 47591 HAS SOUPS 47591 WITH SCORE 47647.742
AT ITER 1906 NEW BEST:: SOT 175445 SOS 56722 HAS SOPS 56722 HAS SOUS 47581 HAS SOUPS 47581 WITH SCORE 47637.722
AT ITER 1910 NEW BEST:: SOT 175420 SOS 56585 HAS SOPS 56585 HAS SOUS 47556 HAS SOUPS 47556 WITH SCORE 47612.585
AT ITER 1918 NEW BEST:: SOT 175419 SOS 56564 HAS SOPS 56564 HAS SOUS 47535 HAS SOUPS 47535 WITH SCORE 47591.564
AT ITER 1923 NEW BEST:: SOT 175363 SOS 56481 HAS SOPS 56481 HAS SOUS 47507 HAS SOUPS 47507 WITH SCORE 47563.481
AT ITER 1925 NEW BEST:: SOT 175363 SOS 56481 HAS SOPS 56481 HAS SOUS 47498 HAS SOUPS 47498 WITH SCORE 47554.481
AT ITER 1930 NEW BEST:: SOT 175340 SOS 56264 HAS SOPS 56264 HAS SOUS 47281 HAS SOUPS 47281 WITH SCORE 47337.264
AT ITER 1939 NEW BEST:: SOT 175389 SOS 56224 HAS SOPS 56224 HAS SOUS 47241 HAS SOUPS 47241 WITH SCORE 47297.224
AT ITER 1950 NEW BEST:: SOT 175393 SOS 56199 HAS SOPS 56199 HAS SOUS 47216 HAS SOUPS 47216 WITH SCORE 47272.199
AT ITER 1983 NEW BEST:: SOT 175381 SOS 56191 HAS SOPS 56191 HAS SOUS 47208 HAS SOUPS 47208 WITH SCORE 47264.191
AT ITER 1985 NEW BEST:: SOT 175346 SOS 56114 HAS SOPS 56114 HAS SOUS 47131 HAS SOUPS 47131 WITH SCORE 47187.114
AT ITER 1996 NEW BEST:: SOT 175294 SOS 56051 HAS SOPS 56051 HAS SOUS 47067 HAS SOUPS 47067 WITH SCORE 47123.051
AT ITER 1998 NEW BEST:: SOT 175294 SOS 56040 HAS SOPS 56040 HAS SOUS 47056 HAS SOUPS 47056 WITH SCORE 47112.04
AT ITER 2003 NEW BEST:: SOT 175287 SOS 56026 HAS SOPS 56026 HAS SOUS 47049 HAS SOUPS 47049 WITH SCORE 47105.026
AT ITER 2014 NEW BEST:: SOT 175092 SOS 55826 HAS SOPS 55826 HAS SOUS 46849 HAS SOUPS 46849 WITH SCORE 46904.826
AT ITER 2027 NEW BEST:: SOT 174399 SOS 55121 HAS SOPS 55121 HAS SOUS 46144 HAS SOUPS 46144 WITH SCORE 46199.121
AT ITER 2040 NEW BEST:: SOT 174388 SOS 55110 HAS SOPS 55110 HAS SOUS 46133 HAS SOUPS 46133 WITH SCORE 46188.11
AT ITER 2044 NEW BEST:: SOT 174362 SOS 55058 HAS SOPS 55058 HAS SOUS 46101 HAS SOUPS 46101 WITH SCORE 46156.058
AT ITER 2048 NEW BEST:: SOT 174362 SOS 55047 HAS SOPS 55047 HAS SOUS 46090 HAS SOUPS 46090 WITH SCORE 46145.047
AT ITER 2055 NEW BEST:: SOT 174294 SOS 54979 HAS SOPS 54979 HAS SOUS 46022 HAS SOUPS 46022 WITH SCORE 46076.979
AT ITER 2056 NEW BEST:: SOT 174076 SOS 54705 HAS SOPS 54705 HAS SOUS 45728 HAS SOUPS 45728 WITH SCORE 45782.705
AT ITER 2059 NEW BEST:: SOT 174047 SOS 54676 HAS SOPS 54676 HAS SOUS 45699 HAS SOUPS 45699 WITH SCORE 45753.676
AT ITER 2113 NEW BEST:: SOT 174005 SOS 54592 HAS SOPS 54592 HAS SOUS 45636 HAS SOUPS 45636 WITH SCORE 45690.592
AT ITER 2128 NEW BEST:: SOT 173962 SOS 54549 HAS SOPS 54549 HAS SOUS 45636 HAS SOUPS 45636 WITH SCORE 45690.549
AT ITER 2129 NEW BEST:: SOT 173961 SOS 54548 HAS SOPS 54548 HAS SOUS 45635 HAS SOUPS 45635 WITH SCORE 45689.548
AT ITER 2134 NEW BEST:: SOT 173954 SOS 54534 HAS SOPS 54534 HAS SOUS 45621 HAS SOUPS 45621 WITH SCORE 45675.534
AT ITER 2153 NEW BEST:: SOT 173943 SOS 54523 HAS SOPS 54523 HAS SOUS 45610 HAS SOUPS 45610 WITH SCORE 45664.523
AT ITER 2154 NEW BEST:: SOT 173421 SOS 68385 HAS SOPS 68385 HAS SOUS 45330 HAS SOUPS 45330 WITH SCORE 45398.385
AT ITER 2175 NEW BEST:: SOT 173420 SOS 68383 HAS SOPS 68383 HAS SOUS 45328 HAS SOUPS 45328 WITH SCORE 45396.383
AT ITER 2183 NEW BEST:: SOT 173403 SOS 68315 HAS SOPS 68315 HAS SOUS 45260 HAS SOUPS 45260 WITH SCORE 45328.315
AT ITER 2193 NEW BEST:: SOT 173368 SOS 68280 HAS SOPS 68280 HAS SOUS 45225 HAS SOUPS 45225 WITH SCORE 45293.28
AT ITER 2199 NEW BEST:: SOT 173351 SOS 68246 HAS SOPS 68246 HAS SOUS 45208 HAS SOUPS 45208 WITH SCORE 45276.246
AT ITER 2215 NEW BEST:: SOT 173235 SOS 68130 HAS SOPS 68130 HAS SOUS 45208 HAS SOUPS 45208 WITH SCORE 45276.13
AT ITER 2222 NEW BEST:: SOT 173215 SOS 67475 HAS SOPS 67475 HAS SOUS 45168 HAS SOUPS 45168 WITH SCORE 45235.475
AT ITER 2225 NEW BEST:: SOT 173179 SOS 67441 HAS SOPS 67441 HAS SOUS 45134 HAS SOUPS 45134 WITH SCORE 45201.441
AT ITER 2234 NEW BEST:: SOT 173096 SOS 67348 HAS SOPS 67348 HAS SOUS 45134 HAS SOUPS 45134 WITH SCORE 45201.348
AT ITER 2256 NEW BEST:: SOT 173093 SOS 67308 HAS SOPS 67308 HAS SOUS 45095 HAS SOUPS 45095 WITH SCORE 45162.308
AT ITER 2266 NEW BEST:: SOT 173078 SOS 67219 HAS SOPS 67219 HAS SOUS 45006 HAS SOUPS 45006 WITH SCORE 45073.219
AT ITER 2269 NEW BEST:: SOT 173069 SOS 67066 HAS SOPS 67066 HAS SOUS 44988 HAS SOUPS 44988 WITH SCORE 45055.066
AT ITER 2274 NEW BEST:: SOT 173066 SOS 67063 HAS SOPS 67063 HAS SOUS 44988 HAS SOUPS 44988 WITH SCORE 45055.063
AT ITER 2282 NEW BEST:: SOT 173066 SOS 67033 HAS SOPS 67033 HAS SOUS 44958 HAS SOUPS 44958 WITH SCORE 45025.033
AT ITER 2291 NEW BEST:: SOT 173012 SOS 66994 HAS SOPS 66994 HAS SOUS 44919 HAS SOUPS 44919 WITH SCORE 44985.994
AT ITER 2301 NEW BEST:: SOT 172939 SOS 66921 HAS SOPS 66921 HAS SOUS 44846 HAS SOUPS 44846 WITH SCORE 44912.921
AT ITER 2314 NEW BEST:: SOT 172895 SOS 66877 HAS SOPS 66877 HAS SOUS 44802 HAS SOUPS 44802 WITH SCORE 44868.877
AT ITER 2319 NEW BEST:: SOT 172938 SOS 66869 HAS SOPS 66869 HAS SOUS 44794 HAS SOUPS 44794 WITH SCORE 44860.869
AT ITER 2322 NEW BEST:: SOT 172930 SOS 67014 HAS SOPS 67014 HAS SOUS 44786 HAS SOUPS 44786 WITH SCORE 44853.014
AT ITER 2324 NEW BEST:: SOT 172803 SOS 66633 HAS SOPS 66633 HAS SOUS 44532 HAS SOUPS 44532 WITH SCORE 44598.633
AT ITER 2340 NEW BEST:: SOT 172799 SOS 66629 HAS SOPS 66629 HAS SOUS 44528 HAS SOUPS 44528 WITH SCORE 44594.629
AT ITER 2362 NEW BEST:: SOT 172662 SOS 66462 HAS SOPS 66462 HAS SOUS 44493 HAS SOUPS 44493 WITH SCORE 44559.462
AT ITER 2391 NEW BEST:: SOT 172647 SOS 66432 HAS SOPS 66432 HAS SOUS 44479 HAS SOUPS 44479 WITH SCORE 44545.432
AT ITER 2400 NEW BEST:: SOT 172636 SOS 66397 HAS SOPS 66397 HAS SOUS 44457 HAS SOUPS 44457 WITH SCORE 44523.397
AT ITER 2411 NEW BEST:: SOT 172621 SOS 66371 HAS SOPS 66371 HAS SOUS 44431 HAS SOUPS 44431 WITH SCORE 44497.371
AT ITER 2425 NEW BEST:: SOT 172603 SOS 66335 HAS SOPS 66335 HAS SOUS 44413 HAS SOUPS 44413 WITH SCORE 44479.335
AT ITER 2426 NEW BEST:: SOT 172612 SOS 66274 HAS SOPS 66274 HAS SOUS 44352 HAS SOUPS 44352 WITH SCORE 44418.274
AT ITER 2474 NEW BEST:: SOT 172627 SOS 66252 HAS SOPS 66252 HAS SOUS 44330 HAS SOUPS 44330 WITH SCORE 44396.252
AT ITER 2475 NEW BEST:: SOT 172507 SOS 65967 HAS SOPS 65967 HAS SOUS 44045 HAS SOUPS 44045 WITH SCORE 44110.967
AT ITER 2487 NEW BEST:: SOT 172494 SOS 65941 HAS SOPS 65941 HAS SOUS 44019 HAS SOUPS 44019 WITH SCORE 44084.941
AT ITER 2490 NEW BEST:: SOT 172431 SOS 65878 HAS SOPS 65878 HAS SOUS 43956 HAS SOUPS 43956 WITH SCORE 44021.878
AT ITER 2491 NEW BEST:: SOT 172359 SOS 65782 HAS SOPS 65782 HAS SOUS 43908 HAS SOUPS 43908 WITH SCORE 43973.782
AT ITER 2495 NEW BEST:: SOT 172289 SOS 65704 HAS SOPS 65704 HAS SOUS 43830 HAS SOUPS 43830 WITH SCORE 43895.704
AT ITER 2497 NEW BEST:: SOT 172234 SOS 65594 HAS SOPS 65594 HAS SOUS 43814 HAS SOUPS 43814 WITH SCORE 43879.594
AT ITER 2523 NEW BEST:: SOT 172192 SOS 65549 HAS SOPS 65549 HAS SOUS 43769 HAS SOUPS 43769 WITH SCORE 43834.549
AT ITER 2527 NEW BEST:: SOT 172210 SOS 65514 HAS SOPS 65514 HAS SOUS 43734 HAS SOUPS 43734 WITH SCORE 43799.514
AT ITER 2545 NEW BEST:: SOT 172186 SOS 65490 HAS SOPS 65490 HAS SOUS 43710 HAS SOUPS 43710 WITH SCORE 43775.49
AT ITER 2564 NEW BEST:: SOT 172186 SOS 65487 HAS SOPS 65487 HAS SOUS 43710 HAS SOUPS 43710 WITH SCORE 43775.487
AT ITER 2581 NEW BEST:: SOT 172250 SOS 65427 HAS SOPS 65427 HAS SOUS 43650 HAS SOUPS 43650 WITH SCORE 43715.427
AT ITER 2608 NEW BEST:: SOT 172249 SOS 65403 HAS SOPS 65403 HAS SOUS 43626 HAS SOUPS 43626 WITH SCORE 43691.403
AT ITER 2611 NEW BEST:: SOT 172280 SOS 65465 HAS SOPS 65465 HAS SOUS 43619 HAS SOUPS 43619 WITH SCORE 43684.465
AT ITER 2631 NEW BEST:: SOT 172276 SOS 65457 HAS SOPS 65457 HAS SOUS 43611 HAS SOUPS 43611 WITH SCORE 43676.457
AT ITER 2676 NEW BEST:: SOT 172237 SOS 65379 HAS SOPS 65379 HAS SOUS 43533 HAS SOUPS 43533 WITH SCORE 43598.379
AT ITER 2679 NEW BEST:: SOT 172212 SOS 65329 HAS SOPS 65329 HAS SOUS 43483 HAS SOUPS 43483 WITH SCORE 43548.329
AT ITER 2684 NEW BEST:: SOT 172240 SOS 65266 HAS SOPS 65266 HAS SOUS 43427 HAS SOUPS 43427 WITH SCORE 43492.266
AT ITER 2688 NEW BEST:: SOT 172211 SOS 65194 HAS SOPS 65194 HAS SOUS 43351 HAS SOUPS 43351 WITH SCORE 43416.194
AT ITER 2705 NEW BEST:: SOT 172211 SOS 65193 HAS SOPS 65193 HAS SOUS 43350 HAS SOUPS 43350 WITH SCORE 43415.193
AT ITER 2732 NEW BEST:: SOT 172182 SOS 65130 HAS SOPS 65130 HAS SOUS 43287 HAS SOUPS 43287 WITH SCORE 43352.13
AT ITER 2763 NEW BEST:: SOT 172180 SOS 65167 HAS SOPS 65167 HAS SOUS 43284 HAS SOUPS 43284 WITH SCORE 43349.167
AT ITER 2786 NEW BEST:: SOT 172077 SOS 65033 HAS SOPS 65033 HAS SOUS 43226 HAS SOUPS 43226 WITH SCORE 43291.033
AT ITER 2791 NEW BEST:: SOT 171948 SOS 64898 HAS SOPS 64898 HAS SOUS 43091 HAS SOUPS 43091 WITH SCORE 43155.898
AT ITER 2792 NEW BEST:: SOT 171971 SOS 64867 HAS SOPS 64867 HAS SOUS 43060 HAS SOUPS 43060 WITH SCORE 43124.867
AT ITER 2806 NEW BEST:: SOT 172046 SOS 64842 HAS SOPS 64842 HAS SOUS 43035 HAS SOUPS 43035 WITH SCORE 43099.842
AT ITER 2809 NEW BEST:: SOT 172051 SOS 64760 HAS SOPS 64760 HAS SOUS 42953 HAS SOUPS 42953 WITH SCORE 43017.76
AT ITER 2815 NEW BEST:: SOT 172051 SOS 64738 HAS SOPS 64738 HAS SOUS 42931 HAS SOUPS 42931 WITH SCORE 42995.738
AT ITER 2824 NEW BEST:: SOT 171954 SOS 64736 HAS SOPS 64736 HAS SOUS 42929 HAS SOUPS 42929 WITH SCORE 42993.736
AT ITER 2828 NEW BEST:: SOT 171914 SOS 64681 HAS SOPS 64681 HAS SOUS 42874 HAS SOUPS 42874 WITH SCORE 42938.681
AT ITER 2850 NEW BEST:: SOT 171865 SOS 64638 HAS SOPS 64638 HAS SOUS 42831 HAS SOUPS 42831 WITH SCORE 42895.638
AT ITER 2863 NEW BEST:: SOT 171839 SOS 64586 HAS SOPS 64586 HAS SOUS 42804 HAS SOUPS 42804 WITH SCORE 42868.586
AT ITER 2864 NEW BEST:: SOT 171825 SOS 64558 HAS SOPS 64558 HAS SOUS 42776 HAS SOUPS 42776 WITH SCORE 42840.558
AT ITER 2871 NEW BEST:: SOT 171739 SOS 64472 HAS SOPS 64472 HAS SOUS 42733 HAS SOUPS 42733 WITH SCORE 42797.472
AT ITER 2876 NEW BEST:: SOT 171739 SOS 64472 HAS SOPS 64472 HAS SOUS 42699 HAS SOUPS 42699 WITH SCORE 42763.472
AT ITER 2919 NEW BEST:: SOT 171733 SOS 64460 HAS SOPS 64460 HAS SOUS 42687 HAS SOUPS 42687 WITH SCORE 42751.46
AT ITER 2923 NEW BEST:: SOT 171730 SOS 64585 HAS SOPS 64585 HAS SOUS 42681 HAS SOUPS 42681 WITH SCORE 42745.585
AT ITER 2932 NEW BEST:: SOT 171721 SOS 64567 HAS SOPS 64567 HAS SOUS 42663 HAS SOUPS 42663 WITH SCORE 42727.567
AT ITER 2936 NEW BEST:: SOT 171781 SOS 64603 HAS SOPS 64603 HAS SOUS 42615 HAS SOUPS 42615 WITH SCORE 42679.603
AT ITER 2947 NEW BEST:: SOT 171746 SOS 64533 HAS SOPS 64533 HAS SOUS 42545 HAS SOUPS 42545 WITH SCORE 42609.533
AT ITER 2961 NEW BEST:: SOT 171646 SOS 64433 HAS SOPS 64433 HAS SOUS 42388 HAS SOUPS 42388 WITH SCORE 42452.433
AT ITER 2988 NEW BEST:: SOT 171633 SOS 64420 HAS SOPS 64420 HAS SOUS 42375 HAS SOUPS 42375 WITH SCORE 42439.42
AT ITER 2991 NEW BEST:: SOT 171553 SOS 64340 HAS SOPS 64340 HAS SOUS 42295 HAS SOUPS 42295 WITH SCORE 42359.34
AT ITER 2992 NEW BEST:: SOT 171553 SOS 64292 HAS SOPS 64292 HAS SOUS 42247 HAS SOUPS 42247 WITH SCORE 42311.292
AT ITER 2995 NEW BEST:: SOT 171495 SOS 64233 HAS SOPS 64233 HAS SOUS 42188 HAS SOUPS 42188 WITH SCORE 42252.233
AT ITER 3044 NEW BEST:: SOT 171479 SOS 64201 HAS SOPS 64201 HAS SOUS 42120 HAS SOUPS 42120 WITH SCORE 42184.201
AT ITER 3051 NEW BEST:: SOT 171457 SOS 64157 HAS SOPS 64157 HAS SOUS 42083 HAS SOUPS 42083 WITH SCORE 42147.157
AT ITER 3066 NEW BEST:: SOT 171448 SOS 64099 HAS SOPS 64099 HAS SOUS 42074 HAS SOUPS 42074 WITH SCORE 42138.099
AT ITER 3069 NEW BEST:: SOT 171448 SOS 64084 HAS SOPS 64084 HAS SOUS 42059 HAS SOUPS 42059 WITH SCORE 42123.084
AT ITER 3078 NEW BEST:: SOT 171387 SOS 63904 HAS SOPS 63904 HAS SOUS 41879 HAS SOUPS 41879 WITH SCORE 41942.904
AT ITER 3088 NEW BEST:: SOT 171385 SOS 63895 HAS SOPS 63895 HAS SOUS 41870 HAS SOUPS 41870 WITH SCORE 41933.895
AT ITER 3092 NEW BEST:: SOT 171335 SOS 63831 HAS SOPS 63831 HAS SOUS 41806 HAS SOUPS 41806 WITH SCORE 41869.831
AT ITER 3129 NEW BEST:: SOT 171030 SOS 63514 HAS SOPS 63514 HAS SOUS 41489 HAS SOUPS 41489 WITH SCORE 41552.514
AT ITER 3198 NEW BEST:: SOT 171011 SOS 63658 HAS SOPS 63658 HAS SOUS 41477 HAS SOUPS 41477 WITH SCORE 41540.658
AT ITER 3208 NEW BEST:: SOT 170992 SOS 63641 HAS SOPS 63641 HAS SOUS 41442 HAS SOUPS 41442 WITH SCORE 41505.641
AT ITER 3248 NEW BEST:: SOT 170992 SOS 63621 HAS SOPS 63621 HAS SOUS 41402 HAS SOUPS 41402 WITH SCORE 41465.621
AT ITER 3251 NEW BEST:: SOT 170984 SOS 63605 HAS SOPS 63605 HAS SOUS 41386 HAS SOUPS 41386 WITH SCORE 41449.605
AT ITER 3254 NEW BEST:: SOT 170951 SOS 63572 HAS SOPS 63572 HAS SOUS 41361 HAS SOUPS 41361 WITH SCORE 41424.572
AT ITER 3265 NEW BEST:: SOT 170916 SOS 63501 HAS SOPS 63501 HAS SOUS 41290 HAS SOUPS 41290 WITH SCORE 41353.501
AT ITER 3267 NEW BEST:: SOT 170916 SOS 63489 HAS SOPS 63489 HAS SOUS 41279 HAS SOUPS 41279 WITH SCORE 41342.489
AT ITER 3280 NEW BEST:: SOT 170770 SOS 63388 HAS SOPS 63388 HAS SOUS 41266 HAS SOUPS 41266 WITH SCORE 41329.388
AT ITER 3287 NEW BEST:: SOT 170645 SOS 63224 HAS SOPS 63224 HAS SOUS 41188 HAS SOUPS 41188 WITH SCORE 41251.224
AT ITER 3289 NEW BEST:: SOT 170645 SOS 63185 HAS SOPS 63185 HAS SOUS 41188 HAS SOUPS 41188 WITH SCORE 41251.185
AT ITER 3310 NEW BEST:: SOT 170581 SOS 63057 HAS SOPS 63057 HAS SOUS 41060 HAS SOUPS 41060 WITH SCORE 41123.057
AT ITER 3312 NEW BEST:: SOT 170581 SOS 63057 HAS SOPS 63057 HAS SOUS 41057 HAS SOUPS 41057 WITH SCORE 41120.057
AT ITER 3339 NEW BEST:: SOT 170505 SOS 62943 HAS SOPS 62943 HAS SOUS 40981 HAS SOUPS 40981 WITH SCORE 41043.943
AT ITER 3362 NEW BEST:: SOT 170505 SOS 62928 HAS SOPS 62928 HAS SOUS 40966 HAS SOUPS 40966 WITH SCORE 41028.928
AT ITER 3390 NEW BEST:: SOT 170455 SOS 62828 HAS SOPS 62828 HAS SOUS 40950 HAS SOUPS 40950 WITH SCORE 41012.828
AT ITER 3400 NEW BEST:: SOT 170455 SOS 62821 HAS SOPS 62821 HAS SOUS 40943 HAS SOUPS 40943 WITH SCORE 41005.821
AT ITER 3406 NEW BEST:: SOT 170353 SOS 62624 HAS SOPS 62624 HAS SOUS 40746 HAS SOUPS 40746 WITH SCORE 40808.624
AT ITER 3425 NEW BEST:: SOT 170338 SOS 62594 HAS SOPS 62594 HAS SOUS 40716 HAS SOUPS 40716 WITH SCORE 40778.594
AT ITER 3449 NEW BEST:: SOT 170265 SOS 62516 HAS SOPS 62516 HAS SOUS 40675 HAS SOUPS 40675 WITH SCORE 40737.516
AT ITER 3459 NEW BEST:: SOT 170240 SOS 62491 HAS SOPS 62491 HAS SOUS 40650 HAS SOUPS 40650 WITH SCORE 40712.491
AT ITER 3523 NEW BEST:: SOT 170200 SOS 62751 HAS SOPS 62751 HAS SOUS 40630 HAS SOUPS 40630 WITH SCORE 40692.751
AT ITER 3524 NEW BEST:: SOT 170191 SOS 62742 HAS SOPS 62742 HAS SOUS 40621 HAS SOUPS 40621 WITH SCORE 40683.742
AT ITER 3535 NEW BEST:: SOT 170154 SOS 62652 HAS SOPS 62652 HAS SOUS 40510 HAS SOUPS 40510 WITH SCORE 40572.652
AT ITER 3536 NEW BEST:: SOT 170076 SOS 62559 HAS SOPS 62559 HAS SOUS 40417 HAS SOUPS 40417 WITH SCORE 40479.559
AT ITER 3573 NEW BEST:: SOT 169951 SOS 62448 HAS SOPS 62448 HAS SOUS 40306 HAS SOUPS 40306 WITH SCORE 40368.448
AT ITER 3575 NEW BEST:: SOT 169960 SOS 62347 HAS SOPS 62347 HAS SOUS 40205 HAS SOUPS 40205 WITH SCORE 40267.347
AT ITER 3611 NEW BEST:: SOT 169894 SOS 62292 HAS SOPS 62292 HAS SOUS 40190 HAS SOUPS 40190 WITH SCORE 40252.292
AT ITER 3617 NEW BEST:: SOT 170103 SOS 62287 HAS SOPS 62287 HAS SOUS 40185 HAS SOUPS 40185 WITH SCORE 40247.287
AT ITER 3621 NEW BEST:: SOT 170098 SOS 62282 HAS SOPS 62282 HAS SOUS 40180 HAS SOUPS 40180 WITH SCORE 40242.282
AT ITER 3623 NEW BEST:: SOT 170059 SOS 62195 HAS SOPS 62195 HAS SOUS 40093 HAS SOUPS 40093 WITH SCORE 40155.195
AT ITER 3628 NEW BEST:: SOT 170128 SOS 62262 HAS SOPS 62262 HAS SOUS 40089 HAS SOUPS 40089 WITH SCORE 40151.262
AT ITER 3657 NEW BEST:: SOT 170080 SOS 62214 HAS SOPS 62214 HAS SOUS 40041 HAS SOUPS 40041 WITH SCORE 40103.214
AT ITER 3670 NEW BEST:: SOT 170106 SOS 62187 HAS SOPS 62187 HAS SOUS 40029 HAS SOUPS 40029 WITH SCORE 40091.187
AT ITER 3678 NEW BEST:: SOT 170078 SOS 62133 HAS SOPS 62133 HAS SOUS 39975 HAS SOUPS 39975 WITH SCORE 40037.133
AT ITER 3688 NEW BEST:: SOT 170299 SOS 62068 HAS SOPS 62068 HAS SOUS 39970 HAS SOUPS 39970 WITH SCORE 40032.068
AT ITER 3691 NEW BEST:: SOT 170312 SOS 62053 HAS SOPS 62053 HAS SOUS 39955 HAS SOUPS 39955 WITH SCORE 40017.053
AT ITER 3693 NEW BEST:: SOT 170361 SOS 61996 HAS SOPS 61996 HAS SOUS 39898 HAS SOUPS 39898 WITH SCORE 39959.996
AT ITER 3704 NEW BEST:: SOT 170338 SOS 61950 HAS SOPS 61950 HAS SOUS 39852 HAS SOUPS 39852 WITH SCORE 39913.95
AT ITER 3710 NEW BEST:: SOT 170339 SOS 61940 HAS SOPS 61940 HAS SOUS 39834 HAS SOUPS 39834 WITH SCORE 39895.94
AT ITER 3712 NEW BEST:: SOT 170231 SOS 61724 HAS SOPS 61724 HAS SOUS 39678 HAS SOUPS 39678 WITH SCORE 39739.724
AT ITER 3714 NEW BEST:: SOT 170231 SOS 61704 HAS SOPS 61704 HAS SOUS 39658 HAS SOUPS 39658 WITH SCORE 39719.704
AT ITER 3729 NEW BEST:: SOT 170232 SOS 61530 HAS SOPS 61530 HAS SOUS 39592 HAS SOUPS 39592 WITH SCORE 39653.53
AT ITER 3730 NEW BEST:: SOT 170180 SOS 61489 HAS SOPS 61489 HAS SOUS 39557 HAS SOUPS 39557 WITH SCORE 39618.489
AT ITER 3747 NEW BEST:: SOT 170180 SOS 61455 HAS SOPS 61455 HAS SOUS 39523 HAS SOUPS 39523 WITH SCORE 39584.455
AT ITER 3755 NEW BEST:: SOT 170182 SOS 61454 HAS SOPS 61454 HAS SOUS 39522 HAS SOUPS 39522 WITH SCORE 39583.454
AT ITER 3760 NEW BEST:: SOT 170155 SOS 61427 HAS SOPS 61427 HAS SOUS 39522 HAS SOUPS 39522 WITH SCORE 39583.427
AT ITER 3764 NEW BEST:: SOT 170145 SOS 61407 HAS SOPS 61407 HAS SOUS 39502 HAS SOUPS 39502 WITH SCORE 39563.407
AT ITER 3798 NEW BEST:: SOT 170133 SOS 61527 HAS SOPS 61527 HAS SOUS 39490 HAS SOUPS 39490 WITH SCORE 39551.527
AT ITER 3813 NEW BEST:: SOT 170140 SOS 61514 HAS SOPS 61514 HAS SOUS 39477 HAS SOUPS 39477 WITH SCORE 39538.514
AT ITER 3864 NEW BEST:: SOT 170128 SOS 61488 HAS SOPS 61488 HAS SOUS 39451 HAS SOUPS 39451 WITH SCORE 39512.488
AT ITER 3881 NEW BEST:: SOT 170033 SOS 61393 HAS SOPS 61393 HAS SOUS 39444 HAS SOUPS 39444 WITH SCORE 39505.393
AT ITER 3893 NEW BEST:: SOT 170033 SOS 61393 HAS SOPS 61393 HAS SOUS 39437 HAS SOUPS 39437 WITH SCORE 39498.393
AT ITER 3907 NEW BEST:: SOT 170022 SOS 61310 HAS SOPS 61310 HAS SOUS 39424 HAS SOUPS 39424 WITH SCORE 39485.31
AT ITER 3944 NEW BEST:: SOT 170061 SOS 61250 HAS SOPS 61250 HAS SOUS 39414 HAS SOUPS 39414 WITH SCORE 39475.25
AT ITER 3951 NEW BEST:: SOT 169998 SOS 61187 HAS SOPS 61187 HAS SOUS 39351 HAS SOUPS 39351 WITH SCORE 39412.187
AT ITER 3961 NEW BEST:: SOT 170046 SOS 61184 HAS SOPS 61184 HAS SOUS 39348 HAS SOUPS 39348 WITH SCORE 39409.184
AT ITER 3964 NEW BEST:: SOT 170035 SOS 61091 HAS SOPS 61091 HAS SOUS 39255 HAS SOUPS 39255 WITH SCORE 39316.091
AT ITER 3966 NEW BEST:: SOT 170061 SOS 61051 HAS SOPS 61051 HAS SOUS 39215 HAS SOUPS 39215 WITH SCORE 39276.051
AT ITER 3967 NEW BEST:: SOT 170035 SOS 61025 HAS SOPS 61025 HAS SOUS 39215 HAS SOUPS 39215 WITH SCORE 39276.025
AT ITER 3973 NEW BEST:: SOT 170031 SOS 61023 HAS SOPS 61023 HAS SOUS 39211 HAS SOUPS 39211 WITH SCORE 39272.023
AT ITER 3983 NEW BEST:: SOT 169958 SOS 60950 HAS SOPS 60950 HAS SOUS 39138 HAS SOUPS 39138 WITH SCORE 39198.95
AT ITER 3984 NEW BEST:: SOT 169907 SOS 60355 HAS SOPS 60355 HAS SOUS 39050 HAS SOUPS 39050 WITH SCORE 39110.355
AT ITER 3995 NEW BEST:: SOT 169875 SOS 60323 HAS SOPS 60323 HAS SOUS 39018 HAS SOUPS 39018 WITH SCORE 39078.323
AT ITER 3998 NEW BEST:: SOT 169908 SOS 60389 HAS SOPS 60389 HAS SOUS 38995 HAS SOUPS 38995 WITH SCORE 39055.389
AT ITER 4043 NEW BEST:: SOT 169876 SOS 60386 HAS SOPS 60386 HAS SOUS 38992 HAS SOUPS 38992 WITH SCORE 39052.386
AT ITER 4066 NEW BEST:: SOT 169883 SOS 60393 HAS SOPS 60393 HAS SOUS 38948 HAS SOUPS 38948 WITH SCORE 39008.393
AT ITER 4086 NEW BEST:: SOT 169901 SOS 60366 HAS SOPS 60366 HAS SOUS 38948 HAS SOUPS 38948 WITH SCORE 39008.366
AT ITER 4088 NEW BEST:: SOT 169895 SOS 60354 HAS SOPS 60354 HAS SOUS 38936 HAS SOUPS 38936 WITH SCORE 38996.354
AT ITER 4097 NEW BEST:: SOT 169857 SOS 60316 HAS SOPS 60316 HAS SOUS 38898 HAS SOUPS 38898 WITH SCORE 38958.316
AT ITER 4144 NEW BEST:: SOT 169789 SOS 60236 HAS SOPS 60236 HAS SOUS 38831 HAS SOUPS 38831 WITH SCORE 38891.236
AT ITER 4145 NEW BEST:: SOT 169716 SOS 60090 HAS SOPS 60090 HAS SOUS 38796 HAS SOUPS 38796 WITH SCORE 38856.09
AT ITER 4155 NEW BEST:: SOT 169699 SOS 60073 HAS SOPS 60073 HAS SOUS 38779 HAS SOUPS 38779 WITH SCORE 38839.073
AT ITER 4156 NEW BEST:: SOT 169699 SOS 60072 HAS SOPS 60072 HAS SOUS 38778 HAS SOUPS 38778 WITH SCORE 38838.072
AT ITER 4167 NEW BEST:: SOT 169699 SOS 60072 HAS SOPS 60072 HAS SOUS 38771 HAS SOUPS 38771 WITH SCORE 38831.072
AT ITER 4182 NEW BEST:: SOT 169695 SOS 60068 HAS SOPS 60068 HAS SOUS 38771 HAS SOUPS 38771 WITH SCORE 38831.068
AT ITER 4186 NEW BEST:: SOT 169660 SOS 59998 HAS SOPS 59998 HAS SOUS 38736 HAS SOUPS 38736 WITH SCORE 38795.998
AT ITER 4191 NEW BEST:: SOT 169452 SOS 59806 HAS SOPS 59806 HAS SOUS 38630 HAS SOUPS 38630 WITH SCORE 38689.806
AT ITER 4216 NEW BEST:: SOT 169442 SOS 59796 HAS SOPS 59796 HAS SOUS 38620 HAS SOUPS 38620 WITH SCORE 38679.796
AT ITER 4254 NEW BEST:: SOT 169438 SOS 59788 HAS SOPS 59788 HAS SOUS 38612 HAS SOUPS 38612 WITH SCORE 38671.788
AT ITER 4264 NEW BEST:: SOT 169388 SOS 59738 HAS SOPS 59738 HAS SOUS 38562 HAS SOUPS 38562 WITH SCORE 38621.738
AT ITER 4310 NEW BEST:: SOT 169334 SOS 59630 HAS SOPS 59630 HAS SOUS 38553 HAS SOUPS 38553 WITH SCORE 38612.63
AT ITER 4321 NEW BEST:: SOT 169329 SOS 59590 HAS SOPS 59590 HAS SOUS 38513 HAS SOUPS 38513 WITH SCORE 38572.59
AT ITER 4331 NEW BEST:: SOT 169288 SOS 59547 HAS SOPS 59547 HAS SOUS 38469 HAS SOUPS 38469 WITH SCORE 38528.547
AT ITER 4337 NEW BEST:: SOT 169288 SOS 59547 HAS SOPS 59547 HAS SOUS 38467 HAS SOUPS 38467 WITH SCORE 38526.547
AT ITER 4353 NEW BEST:: SOT 169300 SOS 59559 HAS SOPS 59559 HAS SOUS 38457 HAS SOUPS 38457 WITH SCORE 38516.559
AT ITER 4372 NEW BEST:: SOT 169299 SOS 59554 HAS SOPS 59554 HAS SOUS 38452 HAS SOUPS 38452 WITH SCORE 38511.554
AT ITER 4387 NEW BEST:: SOT 169292 SOS 59547 HAS SOPS 59547 HAS SOUS 38445 HAS SOUPS 38445 WITH SCORE 38504.547
AT ITER 4410 NEW BEST:: SOT 169292 SOS 59539 HAS SOPS 59539 HAS SOUS 38437 HAS SOUPS 38437 WITH SCORE 38496.539
AT ITER 4420 NEW BEST:: SOT 169292 SOS 59370 HAS SOPS 59370 HAS SOUS 38288 HAS SOUPS 38288 WITH SCORE 38347.37
AT ITER 4434 NEW BEST:: SOT 169283 SOS 59352 HAS SOPS 59352 HAS SOUS 38270 HAS SOUPS 38270 WITH SCORE 38329.352
AT ITER 4436 NEW BEST:: SOT 169286 SOS 59309 HAS SOPS 59309 HAS SOUS 38227 HAS SOUPS 38227 WITH SCORE 38286.309
AT ITER 4437 NEW BEST:: SOT 169099 SOS 59034 HAS SOPS 59034 HAS SOUS 38085 HAS SOUPS 38085 WITH SCORE 38144.034
AT ITER 4456 NEW BEST:: SOT 169087 SOS 59021 HAS SOPS 59021 HAS SOUS 38077 HAS SOUPS 38077 WITH SCORE 38136.021
AT ITER 4463 NEW BEST:: SOT 169092 SOS 59005 HAS SOPS 59005 HAS SOUS 38061 HAS SOUPS 38061 WITH SCORE 38120.005
AT ITER 4483 NEW BEST:: SOT 169051 SOS 58923 HAS SOPS 58923 HAS SOUS 37979 HAS SOUPS 37979 WITH SCORE 38037.923
AT ITER 4492 NEW BEST:: SOT 169031 SOS 58879 HAS SOPS 58879 HAS SOUS 37935 HAS SOUPS 37935 WITH SCORE 37993.879
AT ITER 4569 NEW BEST:: SOT 169038 SOS 58886 HAS SOPS 58886 HAS SOUS 37903 HAS SOUPS 37903 WITH SCORE 37961.886
AT ITER 4570 NEW BEST:: SOT 169030 SOS 58878 HAS SOPS 58878 HAS SOUS 37895 HAS SOUPS 37895 WITH SCORE 37953.878
AT ITER 4577 NEW BEST:: SOT 168965 SOS 58748 HAS SOPS 58748 HAS SOUS 37798 HAS SOUPS 37798 WITH SCORE 37856.748
AT ITER 4596 NEW BEST:: SOT 168922 SOS 58705 HAS SOPS 58705 HAS SOUS 37755 HAS SOUPS 37755 WITH SCORE 37813.705
AT ITER 4627 NEW BEST:: SOT 168861 SOS 58644 HAS SOPS 58644 HAS SOUS 37755 HAS SOUPS 37755 WITH SCORE 37813.644
AT ITER 4651 NEW BEST:: SOT 168837 SOS 58599 HAS SOPS 58599 HAS SOUS 37710 HAS SOUPS 37710 WITH SCORE 37768.599
AT ITER 4656 NEW BEST:: SOT 168772 SOS 58534 HAS SOPS 58534 HAS SOUS 37645 HAS SOUPS 37645 WITH SCORE 37703.534
AT ITER 4666 NEW BEST:: SOT 168734 SOS 58496 HAS SOPS 58496 HAS SOUS 37607 HAS SOUPS 37607 WITH SCORE 37665.496
AT ITER 4681 NEW BEST:: SOT 168703 SOS 58465 HAS SOPS 58465 HAS SOUS 37576 HAS SOUPS 37576 WITH SCORE 37634.465
AT ITER 4697 NEW BEST:: SOT 168682 SOS 58434 HAS SOPS 58434 HAS SOUS 37545 HAS SOUPS 37545 WITH SCORE 37603.434
AT ITER 4704 NEW BEST:: SOT 168659 SOS 58411 HAS SOPS 58411 HAS SOUS 37522 HAS SOUPS 37522 WITH SCORE 37580.411
AT ITER 4752 NEW BEST:: SOT 168533 SOS 58209 HAS SOPS 58209 HAS SOUS 37469 HAS SOUPS 37469 WITH SCORE 37527.209
AT ITER 4754 NEW BEST:: SOT 168533 SOS 58153 HAS SOPS 58153 HAS SOUS 37413 HAS SOUPS 37413 WITH SCORE 37471.153
AT ITER 4775 NEW BEST:: SOT 168525 SOS 58137 HAS SOPS 58137 HAS SOUS 37405 HAS SOUPS 37405 WITH SCORE 37463.137
AT ITER 4781 NEW BEST:: SOT 168496 SOS 58112 HAS SOPS 58112 HAS SOUS 37328 HAS SOUPS 37328 WITH SCORE 37386.112
AT ITER 4809 NEW BEST:: SOT 168496 SOS 58092 HAS SOPS 58092 HAS SOUS 37328 HAS SOUPS 37328 WITH SCORE 37386.092
AT ITER 4818 NEW BEST:: SOT 168474 SOS 58020 HAS SOPS 58020 HAS SOUS 37091 HAS SOUPS 37091 WITH SCORE 37149.02
AT ITER 4887 NEW BEST:: SOT 168463 SOS 57998 HAS SOPS 57998 HAS SOUS 37069 HAS SOUPS 37069 WITH SCORE 37126.998
AT ITER 4892 NEW BEST:: SOT 168454 SOS 57980 HAS SOPS 57980 HAS SOUS 37051 HAS SOUPS 37051 WITH SCORE 37108.98
AT ITER 4907 NEW BEST:: SOT 168446 SOS 57964 HAS SOPS 57964 HAS SOUS 37035 HAS SOUPS 37035 WITH SCORE 37092.964
AT ITER 4911 NEW BEST:: SOT 168350 SOS 57857 HAS SOPS 57857 HAS SOUS 36928 HAS SOUPS 36928 WITH SCORE 36985.857
AT ITER 4915 NEW BEST:: SOT 168316 SOS 57789 HAS SOPS 57789 HAS SOUS 36860 HAS SOUPS 36860 WITH SCORE 36917.789
AT ITER 4932 NEW BEST:: SOT 168294 SOS 57764 HAS SOPS 57764 HAS SOUS 36835 HAS SOUPS 36835 WITH SCORE 36892.764
AT ITER 4935 NEW BEST:: SOT 168375 SOS 57831 HAS SOPS 57831 HAS SOUS 36821 HAS SOUPS 36821 WITH SCORE 36878.831
AT ITER 4936 NEW BEST:: SOT 168348 SOS 57804 HAS SOPS 57804 HAS SOUS 36806 HAS SOUPS 36806 WITH SCORE 36863.804
AT ITER 4943 NEW BEST:: SOT 168345 SOS 57798 HAS SOPS 57798 HAS SOUS 36800 HAS SOUPS 36800 WITH SCORE 36857.798
AT ITER 4950 NEW BEST:: SOT 168336 SOS 57780 HAS SOPS 57780 HAS SOUS 36782 HAS SOUPS 36782 WITH SCORE 36839.78
AT ITER 4961 NEW BEST:: SOT 168329 SOS 57772 HAS SOPS 57772 HAS SOUS 36774 HAS SOUPS 36774 WITH SCORE 36831.772
AT ITER 4986 NEW BEST:: SOT 168280 SOS 57753 HAS SOPS 57753 HAS SOUS 36755 HAS SOUPS 36755 WITH SCORE 36812.753
AT ITER 4995 NEW BEST:: SOT 168046 SOS 57526 HAS SOPS 57526 HAS SOUS 36641 HAS SOUPS 36641 WITH SCORE 36698.526
Bounds file is: CTLFireability.xml
PROPERTY: BusinessProcesses-PT-12-CTLFireability-00 (EX( (EF( (EG( ((potential((tk(P55)>=1))))))))))
PROPERTY: BusinessProcesses-PT-12-CTLFireability-01 ( (EG( (AX( ((potential((tk(P15)>=1)))))))) | (EU( (! ((potential((tk(P305)>=1) & (tk(P94)>=1) & (tk(P571)>=1))))) , (EF( ((potential((tk(P527)>=1)))))) )) )
PROPERTY: BusinessProcesses-PT-12-CTLFireability-02 (EF( ( ((potential((tk(P190)>=1)))) | ((potential((tk(P297)>=1)))) )))
PROPERTY: BusinessProcesses-PT-12-CTLFireability-03 (AF( ( ( (EX( ((potential((tk(P19)>=1)))))) | (EX( ((potential((tk(P438)>=1)))))) ) | (AG( (! ((potential((tk(P88)>=1) & (tk(P475)>=1))))))) )))
PROPERTY: BusinessProcesses-PT-12-CTLFireability-04 (EF( ((potential((tk(P167)>=1))))))
PROPERTY: BusinessProcesses-PT-12-CTLFireability-05 (EF( ((potential((tk(P310)>=1) & (tk(P115)>=1) & (tk(P568)>=1))))))
PROPERTY: BusinessProcesses-PT-12-CTLFireability-06 ( ( ( (! (EF( ((potential((tk(P225)>=1))))))) | (AG( (! ((potential((tk(P314)>=1) & (tk(P236)>=1) & (tk(P548)>=1))))))) ) & (! ( (! ( ((potential((tk(P384)>=1) & (tk(P27)>=1) & (tk(P548)>=1)))) | ((potential((tk(P359)>=1) & (tk(P157)>=1) & (tk(P548)>=1)))) )) & (AG( ((potential((tk(P520)>=1)))))) )) ) | ((potential((tk(P142)>=1)))) )
PROPERTY: BusinessProcesses-PT-12-CTLFireability-07 ( (AF( ((potential((tk(P52)>=1)))))) | (EU( ( (! ((potential((tk(P373)>=1))))) | ( ((potential((tk(P167)>=1)))) | ((potential((tk(P334)>=1) & (tk(P130)>=1) & (tk(P548)>=1)))) ) ) , ( ( ((potential((tk(P280)>=1) & (tk(P91)>=1) & (tk(P559)>=1)))) & ((potential((tk(P469)>=1)))) ) | ((potential((tk(P280)>=1) & (tk(P106)>=1) & (tk(P468)>=1)))) ) )) )
PROPERTY: BusinessProcesses-PT-12-CTLFireability-08 (EU( (! (! (! ((potential((tk(P403)>=1))))))) , ( ((potential((tk(P509)>=1)))) & ( ( ((potential((tk(P300)>=1) & (tk(P67)>=1) & (tk(P456)>=1)))) | ((potential((tk(P300)>=1) & (tk(P67)>=1) & (tk(P456)>=1)))) ) & (! ((potential((tk(P305)>=1) & (tk(P112)>=1) & (tk(P562)>=1))))) ) ) ))
PROPERTY: BusinessProcesses-PT-12-CTLFireability-09 ( (EF( ( (AX( ((potential((tk(P80)>=1)))))) | (AX( ((potential((tk(P567)>=1)))))) ))) | (AU( (! ( ((potential((tk(P516)>=1)))) | ((potential((tk(P305)>=1) & (tk(P94)>=1) & (tk(P553)>=1)))) )) , (EG( ((potential((tk(P111)>=1)))))) )) )
PROPERTY: BusinessProcesses-PT-12-CTLFireability-10 (AG( (EF( ( ( ((potential((tk(P10)>=1)))) | ((potential((tk(P120)>=1)))) ) & ( ((potential((tk(P108)>=1)))) & ((potential((tk(P75)>=1)))) ) )))))
PROPERTY: BusinessProcesses-PT-12-CTLFireability-11 ( (EU( (! ((potential((tk(P289)>=1) & (tk(P34)>=1) & (tk(P548)>=1))))) , (EG( ((potential((tk(P375)>=1) & (tk(P192)>=1) & (tk(P518)>=1)))))) )) | (EF( ((potential((tk(P305)>=1) & (tk(P103)>=1) & (tk(P471)>=1)))))) )
PROPERTY: BusinessProcesses-PT-12-CTLFireability-12 ( ( ( (AF( ((potential((tk(P305)>=1) & (tk(P112)>=1) & (tk(P553)>=1)))))) & ( ( (! ((potential((tk(P310)>=1) & (tk(P87)>=1) & (tk(P556)>=1))))) | ( ((potential((tk(P136)>=1)))) & ((potential((tk(P381)>=1)))) ) ) & ( ( ((potential((tk(P155)>=1) & (tk(P149)>=1) & (tk(P152)>=1)))) & ((potential((tk(P131)>=1)))) ) | ( ((potential((tk(P128)>=1)))) & ((potential((tk(P310)>=1) & (tk(P97)>=1) & (tk(P474)>=1)))) ) ) ) ) & ( (EG( ( ((potential((tk(P296)>=1)))) & ((potential((tk(P1)>=1)))) ))) & (AG( ((potential((tk(P355)>=1) & (tk(P166)>=1) & (tk(P507)>=1)))))) ) ) | (EF( ( ((potential((tk(P409)>=1) & (tk(P219)>=1) & (tk(P548)>=1)))) | ( ( ((potential((tk(P327)>=1)))) & ((potential((tk(P136)>=1)))) ) | ((potential((tk(P302)>=1)))) ) ))) )
PROPERTY: BusinessProcesses-PT-12-CTLFireability-13 (EF( ( ( ((potential((tk(P162)>=1)))) & (! (! ((potential((tk(P237)>=1)))))) ) & ( ((potential((tk(P86)>=1)))) | ( ((potential((tk(P197)>=1)))) & ((potential((tk(P174)>=1)))) ) ) )))
PROPERTY: BusinessProcesses-PT-12-CTLFireability-14 ( (EF( (EF( ( ((potential((tk(P200)>=1)))) & ((potential((tk(P391)>=1)))) ))))) | (AX( (! ( (! ((potential((tk(P347)>=1))))) | ((potential((tk(P240)>=1)))) )))) )
PROPERTY: BusinessProcesses-PT-12-CTLFireability-15 (EF( (AU( ( ((potential((tk(P255)>=1)))) | ((potential((tk(P352)>=1)))) ) , ( ((potential((tk(P431)>=1)))) | ((potential((tk(P541)>=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="BusinessProcesses-PT-12"
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 BusinessProcesses-PT-12, 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 r018-oct2-158897680100540"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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