Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r003-smll-158897508600521.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/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 AutoFlight-PT-96b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508600521
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.1M
-rw-r--r-- 1 mcc users 3.3K Mar 26 00:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 26 00:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 19:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 19:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Apr 8 14:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 25 15:42 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 15:42 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 11:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 11:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 17:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 25 17:54 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 1.9M Mar 24 05:37 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589197260785

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutoFlight (PT), instance 96b
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 7894 places, 7868 transitions, 18200 arcs.
AT ITER 0 NEW BEST:: SOT 33327119 SOS 4582357 HAS SOPS 4582357 HAS SOUS 4222953 HAS SOUPS 4222953 WITH SCORE 4227535.357
AT ITER 9 NEW BEST:: SOT 33326811 SOS 4582214 HAS SOPS 4582214 HAS SOUS 4222834 HAS SOUPS 4222834 WITH SCORE 4227416.214
AT ITER 19 NEW BEST:: SOT 33325688 SOS 4579776 HAS SOPS 4579776 HAS SOUS 4221681 HAS SOUPS 4221681 WITH SCORE 4226260.776
AT ITER 59 NEW BEST:: SOT 33325571 SOS 4580985 HAS SOPS 4580985 HAS SOUS 4221492 HAS SOUPS 4221492 WITH SCORE 4226072.985
AT ITER 87 NEW BEST:: SOT 33325571 SOS 4580850 HAS SOPS 4580850 HAS SOUS 4221357 HAS SOUPS 4221357 WITH SCORE 4225937.85
AT ITER 101 NEW BEST:: SOT 33325338 SOS 4580384 HAS SOPS 4580384 HAS SOUS 4221124 HAS SOUPS 4221124 WITH SCORE 4225704.384
AT ITER 117 NEW BEST:: SOT 33325302 SOS 4580916 HAS SOPS 4580916 HAS SOUS 4221088 HAS SOUPS 4221088 WITH SCORE 4225668.916
AT ITER 142 NEW BEST:: SOT 33325564 SOS 4580699 HAS SOPS 4580699 HAS SOUS 4220871 HAS SOUPS 4220871 WITH SCORE 4225451.699
AT ITER 148 NEW BEST:: SOT 33325149 SOS 4580698 HAS SOPS 4580698 HAS SOUS 4220870 HAS SOUPS 4220870 WITH SCORE 4225450.698
AT ITER 162 NEW BEST:: SOT 33324868 SOS 4579619 HAS SOPS 4579619 HAS SOUS 4220714 HAS SOUPS 4220714 WITH SCORE 4225293.619
AT ITER 165 NEW BEST:: SOT 33324642 SOS 4579293 HAS SOPS 4579293 HAS SOUS 4220362 HAS SOUPS 4220362 WITH SCORE 4224941.293
AT ITER 166 NEW BEST:: SOT 33324201 SOS 4578999 HAS SOPS 4578999 HAS SOUS 4220068 HAS SOUPS 4220068 WITH SCORE 4224646.999
AT ITER 214 NEW BEST:: SOT 33323925 SOS 4578997 HAS SOPS 4578997 HAS SOUS 4220066 HAS SOUPS 4220066 WITH SCORE 4224644.997
AT ITER 215 NEW BEST:: SOT 33324112 SOS 4578099 HAS SOPS 4578099 HAS SOUS 4220016 HAS SOUPS 4220016 WITH SCORE 4224594.099
AT ITER 226 NEW BEST:: SOT 33324112 SOS 4577843 HAS SOPS 4577843 HAS SOUS 4219760 HAS SOUPS 4219760 WITH SCORE 4224337.843
AT ITER 341 NEW BEST:: SOT 33324261 SOS 4577735 HAS SOPS 4577735 HAS SOUS 4219652 HAS SOUPS 4219652 WITH SCORE 4224229.735
AT ITER 345 NEW BEST:: SOT 33324237 SOS 4577654 HAS SOPS 4577654 HAS SOUS 4219615 HAS SOUPS 4219615 WITH SCORE 4224192.654
AT ITER 353 NEW BEST:: SOT 33323986 SOS 4577010 HAS SOPS 4577010 HAS SOUS 4219364 HAS SOUPS 4219364 WITH SCORE 4223941.01
AT ITER 354 NEW BEST:: SOT 33323596 SOS 4576620 HAS SOPS 4576620 HAS SOUS 4218584 HAS SOUPS 4218584 WITH SCORE 4223160.62
AT ITER 415 NEW BEST:: SOT 33323596 SOS 4576051 HAS SOPS 4576051 HAS SOUS 4217446 HAS SOUPS 4217446 WITH SCORE 4222022.051
AT ITER 421 NEW BEST:: SOT 33323511 SOS 4576679 HAS SOPS 4576679 HAS SOUS 4217236 HAS SOUPS 4217236 WITH SCORE 4221812.679
AT ITER 456 NEW BEST:: SOT 33323511 SOS 4576678 HAS SOPS 4576678 HAS SOUS 4217235 HAS SOUPS 4217235 WITH SCORE 4221811.678
AT ITER 480 NEW BEST:: SOT 33322965 SOS 4576132 HAS SOPS 4576132 HAS SOUS 4216689 HAS SOUPS 4216689 WITH SCORE 4221265.132
AT ITER 515 NEW BEST:: SOT 33322469 SOS 4575594 HAS SOPS 4575594 HAS SOUS 4216193 HAS SOUPS 4216193 WITH SCORE 4220768.594
AT ITER 525 NEW BEST:: SOT 33322469 SOS 4575471 HAS SOPS 4575471 HAS SOUS 4216070 HAS SOUPS 4216070 WITH SCORE 4220645.471
AT ITER 585 NEW BEST:: SOT 33322241 SOS 4575347 HAS SOPS 4575347 HAS SOUS 4215842 HAS SOUPS 4215842 WITH SCORE 4220417.347
AT ITER 593 NEW BEST:: SOT 33322241 SOS 4575237 HAS SOPS 4575237 HAS SOUS 4215842 HAS SOUPS 4215842 WITH SCORE 4220417.237
AT ITER 665 NEW BEST:: SOT 33322054 SOS 4574863 HAS SOPS 4574863 HAS SOUS 4215655 HAS SOUPS 4215655 WITH SCORE 4220229.863
AT ITER 726 NEW BEST:: SOT 33322054 SOS 4574549 HAS SOPS 4574549 HAS SOUS 4215341 HAS SOUPS 4215341 WITH SCORE 4219915.549
AT ITER 760 NEW BEST:: SOT 33322054 SOS 4574463 HAS SOPS 4574463 HAS SOUS 4215341 HAS SOUPS 4215341 WITH SCORE 4219915.463
AT ITER 771 NEW BEST:: SOT 33321769 SOS 4574271 HAS SOPS 4574271 HAS SOUS 4215154 HAS SOUPS 4215154 WITH SCORE 4219728.271
AT ITER 772 NEW BEST:: SOT 33321478 SOS 4574616 HAS SOPS 4574616 HAS SOUS 4214050 HAS SOUPS 4214050 WITH SCORE 4218624.616
AT ITER 811 NEW BEST:: SOT 33320379 SOS 4572418 HAS SOPS 4572418 HAS SOUS 4211908 HAS SOUPS 4211908 WITH SCORE 4216480.418
AT ITER 825 NEW BEST:: SOT 33320158 SOS 4572334 HAS SOPS 4572334 HAS SOUS 4211908 HAS SOUPS 4211908 WITH SCORE 4216480.334
AT ITER 858 NEW BEST:: SOT 33319684 SOS 4571735 HAS SOPS 4571735 HAS SOUS 4211421 HAS SOUPS 4211421 WITH SCORE 4215992.735
AT ITER 914 NEW BEST:: SOT 33319684 SOS 4571632 HAS SOPS 4571632 HAS SOUS 4211417 HAS SOUPS 4211417 WITH SCORE 4215988.632
AT ITER 957 NEW BEST:: SOT 33319863 SOS 4571990 HAS SOPS 4571990 HAS SOUS 4211399 HAS SOUPS 4211399 WITH SCORE 4215970.99
AT ITER 977 NEW BEST:: SOT 33319847 SOS 4572083 HAS SOPS 4572083 HAS SOUS 4211383 HAS SOUPS 4211383 WITH SCORE 4215955.083
AT ITER 1006 NEW BEST:: SOT 33319846 SOS 4572082 HAS SOPS 4572082 HAS SOUS 4211382 HAS SOUPS 4211382 WITH SCORE 4215954.082
AT ITER 1026 NEW BEST:: SOT 33319923 SOS 4571921 HAS SOPS 4571921 HAS SOUS 4211221 HAS SOUPS 4211221 WITH SCORE 4215792.921
AT ITER 1040 NEW BEST:: SOT 33319670 SOS 4571668 HAS SOPS 4571668 HAS SOUS 4210968 HAS SOUPS 4210968 WITH SCORE 4215539.668
AT ITER 1068 NEW BEST:: SOT 33319079 SOS 4570486 HAS SOPS 4570486 HAS SOUS 4209318 HAS SOUPS 4209318 WITH SCORE 4213888.486
AT ITER 1079 NEW BEST:: SOT 33319079 SOS 4570374 HAS SOPS 4570374 HAS SOUS 4209295 HAS SOUPS 4209295 WITH SCORE 4213865.374
AT ITER 1131 NEW BEST:: SOT 33319047 SOS 4570342 HAS SOPS 4570342 HAS SOUS 4209263 HAS SOUPS 4209263 WITH SCORE 4213833.342
AT ITER 1142 NEW BEST:: SOT 33318763 SOS 4570058 HAS SOPS 4570058 HAS SOUS 4208977 HAS SOUPS 4208977 WITH SCORE 4213547.058
AT ITER 1145 NEW BEST:: SOT 33318763 SOS 4569997 HAS SOPS 4569997 HAS SOUS 4208916 HAS SOUPS 4208916 WITH SCORE 4213485.997
AT ITER 1153 NEW BEST:: SOT 33318424 SOS 4569319 HAS SOPS 4569319 HAS SOUS 4207609 HAS SOUPS 4207609 WITH SCORE 4212178.319
AT ITER 1166 NEW BEST:: SOT 33318424 SOS 4569006 HAS SOPS 4569006 HAS SOUS 4207296 HAS SOUPS 4207296 WITH SCORE 4211865.006
AT ITER 1199 NEW BEST:: SOT 33318424 SOS 4568658 HAS SOPS 4568658 HAS SOUS 4206948 HAS SOUPS 4206948 WITH SCORE 4211516.658
AT ITER 1205 NEW BEST:: SOT 33318099 SOS 4568718 HAS SOPS 4568718 HAS SOUS 4206623 HAS SOUPS 4206623 WITH SCORE 4211191.718
AT ITER 1221 NEW BEST:: SOT 33317542 SOS 4567906 HAS SOPS 4567906 HAS SOUS 4205811 HAS SOUPS 4205811 WITH SCORE 4210378.906
AT ITER 1235 NEW BEST:: SOT 33317207 SOS 4567508 HAS SOPS 4567508 HAS SOUS 4205413 HAS SOUPS 4205413 WITH SCORE 4209980.508
AT ITER 1313 NEW BEST:: SOT 33316832 SOS 4568112 HAS SOPS 4568112 HAS SOUS 4204389 HAS SOUPS 4204389 WITH SCORE 4208957.112
AT ITER 1347 NEW BEST:: SOT 33316482 SOS 4567412 HAS SOPS 4567412 HAS SOUS 4204039 HAS SOUPS 4204039 WITH SCORE 4208606.412
AT ITER 1382 NEW BEST:: SOT 33316482 SOS 4567359 HAS SOPS 4567359 HAS SOUS 4203986 HAS SOUPS 4203986 WITH SCORE 4208553.359
AT ITER 1401 NEW BEST:: SOT 33316481 SOS 4567357 HAS SOPS 4567357 HAS SOUS 4203984 HAS SOUPS 4203984 WITH SCORE 4208551.357
AT ITER 1405 NEW BEST:: SOT 33316481 SOS 4567111 HAS SOPS 4567111 HAS SOUS 4203738 HAS SOUPS 4203738 WITH SCORE 4208305.111
AT ITER 1414 NEW BEST:: SOT 33316481 SOS 4566870 HAS SOPS 4566870 HAS SOUS 4203497 HAS SOUPS 4203497 WITH SCORE 4208063.87
AT ITER 1415 NEW BEST:: SOT 33316480 SOS 4566868 HAS SOPS 4566868 HAS SOUS 4203495 HAS SOUPS 4203495 WITH SCORE 4208061.868
AT ITER 1443 NEW BEST:: SOT 33316479 SOS 4566867 HAS SOPS 4566867 HAS SOUS 4203494 HAS SOUPS 4203494 WITH SCORE 4208060.867
AT ITER 1485 NEW BEST:: SOT 33315957 SOS 4566128 HAS SOPS 4566128 HAS SOUS 4203292 HAS SOUPS 4203292 WITH SCORE 4207858.128
AT ITER 1490 NEW BEST:: SOT 33315461 SOS 4566287 HAS SOPS 4566287 HAS SOUS 4203208 HAS SOUPS 4203208 WITH SCORE 4207774.287
AT ITER 1499 NEW BEST:: SOT 33315394 SOS 4566220 HAS SOPS 4566220 HAS SOUS 4203141 HAS SOUPS 4203141 WITH SCORE 4207707.22
AT ITER 1508 NEW BEST:: SOT 33315953 SOS 4567338 HAS SOPS 4567338 HAS SOUS 4202760 HAS SOUPS 4202760 WITH SCORE 4207327.338
AT ITER 1509 NEW BEST:: SOT 33315854 SOS 4567140 HAS SOPS 4567140 HAS SOUS 4202661 HAS SOUPS 4202661 WITH SCORE 4207228.14
AT ITER 1515 NEW BEST:: SOT 33315244 SOS 4565920 HAS SOPS 4565920 HAS SOUS 4202661 HAS SOUPS 4202661 WITH SCORE 4207226.92
AT ITER 1546 NEW BEST:: SOT 33315224 SOS 4565900 HAS SOPS 4565900 HAS SOUS 4202640 HAS SOUPS 4202640 WITH SCORE 4207205.9
AT ITER 1547 NEW BEST:: SOT 33315160 SOS 4565836 HAS SOPS 4565836 HAS SOUS 4202576 HAS SOUPS 4202576 WITH SCORE 4207141.836
AT ITER 1576 NEW BEST:: SOT 33315160 SOS 4565534 HAS SOPS 4565534 HAS SOUS 4202576 HAS SOUPS 4202576 WITH SCORE 4207141.534
AT ITER 1589 NEW BEST:: SOT 33315159 SOS 4565533 HAS SOPS 4565533 HAS SOUS 4202575 HAS SOUPS 4202575 WITH SCORE 4207140.533
AT ITER 1597 NEW BEST:: SOT 33314586 SOS 4564718 HAS SOPS 4564718 HAS SOUS 4201706 HAS SOUPS 4201706 WITH SCORE 4206270.718
AT ITER 1623 NEW BEST:: SOT 33314440 SOS 4564996 HAS SOPS 4564996 HAS SOUS 4201560 HAS SOUPS 4201560 WITH SCORE 4206124.996
AT ITER 1626 NEW BEST:: SOT 33314219 SOS 4564775 HAS SOPS 4564775 HAS SOUS 4201339 HAS SOUPS 4201339 WITH SCORE 4205903.775
AT ITER 1628 NEW BEST:: SOT 33314167 SOS 4564671 HAS SOPS 4564671 HAS SOUS 4201235 HAS SOUPS 4201235 WITH SCORE 4205799.671
AT ITER 1641 NEW BEST:: SOT 33313284 SOS 4564021 HAS SOPS 4564021 HAS SOUS 4199794 HAS SOUPS 4199794 WITH SCORE 4204358.021
AT ITER 1650 NEW BEST:: SOT 33282432 SOS 5045515 HAS SOPS 5045515 HAS SOUS 4179024 HAS SOUPS 4179024 WITH SCORE 4184069.515
AT ITER 1722 NEW BEST:: SOT 33282187 SOS 5046289 HAS SOPS 5046289 HAS SOUS 4178779 HAS SOUPS 4178779 WITH SCORE 4183825.289
AT ITER 1766 NEW BEST:: SOT 33281721 SOS 5044714 HAS SOPS 5044714 HAS SOUS 4178569 HAS SOUPS 4178569 WITH SCORE 4183613.714
AT ITER 1776 NEW BEST:: SOT 33281153 SOS 5043578 HAS SOPS 5043578 HAS SOUS 4178001 HAS SOUPS 4178001 WITH SCORE 4183044.578
AT ITER 1881 NEW BEST:: SOT 33281216 SOS 5043704 HAS SOPS 5043704 HAS SOUS 4177579 HAS SOUPS 4177579 WITH SCORE 4182622.704
AT ITER 1893 NEW BEST:: SOT 33280784 SOS 5043272 HAS SOPS 5043272 HAS SOUS 4177147 HAS SOUPS 4177147 WITH SCORE 4182190.272
AT ITER 1924 NEW BEST:: SOT 33280695 SOS 5043270 HAS SOPS 5043270 HAS SOUS 4177145 HAS SOUPS 4177145 WITH SCORE 4182188.27
AT ITER 1995 NEW BEST:: SOT 33280695 SOS 5042919 HAS SOPS 5042919 HAS SOUS 4176794 HAS SOUPS 4176794 WITH SCORE 4181836.919
AT ITER 2006 NEW BEST:: SOT 33280695 SOS 5042629 HAS SOPS 5042629 HAS SOUS 4176504 HAS SOUPS 4176504 WITH SCORE 4181546.629
AT ITER 2017 NEW BEST:: SOT 33280695 SOS 5042629 HAS SOPS 5042629 HAS SOUS 4176474 HAS SOUPS 4176474 WITH SCORE 4181516.629
AT ITER 2023 NEW BEST:: SOT 33280583 SOS 5042628 HAS SOPS 5042628 HAS SOUS 4176473 HAS SOUPS 4176473 WITH SCORE 4181515.628
AT ITER 2039 NEW BEST:: SOT 33279550 SOS 5043208 HAS SOPS 5043208 HAS SOUS 4174764 HAS SOUPS 4174764 WITH SCORE 4179807.208
AT ITER 2075 NEW BEST:: SOT 33279549 SOS 5043207 HAS SOPS 5043207 HAS SOUS 4174763 HAS SOUPS 4174763 WITH SCORE 4179806.207
AT ITER 2115 NEW BEST:: SOT 33279549 SOS 5043080 HAS SOPS 5043080 HAS SOUS 4174636 HAS SOUPS 4174636 WITH SCORE 4179679.08
AT ITER 2126 NEW BEST:: SOT 33279548 SOS 5043061 HAS SOPS 5043061 HAS SOUS 4174617 HAS SOUPS 4174617 WITH SCORE 4179660.061
AT ITER 2144 NEW BEST:: SOT 33279410 SOS 5042785 HAS SOPS 5042785 HAS SOUS 4173813 HAS SOUPS 4173813 WITH SCORE 4178855.785
AT ITER 2147 NEW BEST:: SOT 33280276 SOS 5043391 HAS SOPS 5043391 HAS SOUS 4173553 HAS SOUPS 4173553 WITH SCORE 4178596.391
AT ITER 2162 NEW BEST:: SOT 33280275 SOS 5043155 HAS SOPS 5043155 HAS SOUS 4173317 HAS SOUPS 4173317 WITH SCORE 4178360.155
AT ITER 2188 NEW BEST:: SOT 33280028 SOS 5042498 HAS SOPS 5042498 HAS SOUS 4172907 HAS SOUPS 4172907 WITH SCORE 4177949.498
AT ITER 2219 NEW BEST:: SOT 33279735 SOS 5041912 HAS SOPS 5041912 HAS SOUS 4171798 HAS SOUPS 4171798 WITH SCORE 4176839.912
AT ITER 2228 NEW BEST:: SOT 33279735 SOS 5040874 HAS SOPS 5040874 HAS SOUS 4171452 HAS SOUPS 4171452 WITH SCORE 4176492.874
AT ITER 2229 NEW BEST:: SOT 33279493 SOS 5039198 HAS SOPS 5039198 HAS SOUS 4170968 HAS SOUPS 4170968 WITH SCORE 4176007.198
AT ITER 2280 NEW BEST:: SOT 33279320 SOS 5039186 HAS SOPS 5039186 HAS SOUS 4170910 HAS SOUPS 4170910 WITH SCORE 4175949.186
AT ITER 2298 NEW BEST:: SOT 33279320 SOS 5038765 HAS SOPS 5038765 HAS SOUS 4170489 HAS SOUPS 4170489 WITH SCORE 4175527.765
AT ITER 2307 NEW BEST:: SOT 33279320 SOS 5038235 HAS SOPS 5038235 HAS SOUS 4170489 HAS SOUPS 4170489 WITH SCORE 4175527.235
AT ITER 2308 NEW BEST:: SOT 33278564 SOS 5036723 HAS SOPS 5036723 HAS SOUS 4168977 HAS SOUPS 4168977 WITH SCORE 4174013.723
AT ITER 2325 NEW BEST:: SOT 33278563 SOS 5036534 HAS SOPS 5036534 HAS SOUS 4168788 HAS SOUPS 4168788 WITH SCORE 4173824.534
AT ITER 2379 NEW BEST:: SOT 33278317 SOS 5036580 HAS SOPS 5036580 HAS SOUS 4168588 HAS SOUPS 4168588 WITH SCORE 4173624.58
AT ITER 2396 NEW BEST:: SOT 33278285 SOS 5036515 HAS SOPS 5036515 HAS SOUS 4168523 HAS SOUPS 4168523 WITH SCORE 4173559.515
AT ITER 2402 NEW BEST:: SOT 33278082 SOS 5036374 HAS SOPS 5036374 HAS SOUS 4168382 HAS SOUPS 4168382 WITH SCORE 4173418.374
AT ITER 2409 NEW BEST:: SOT 33277225 SOS 5035541 HAS SOPS 5035541 HAS SOUS 4167549 HAS SOUPS 4167549 WITH SCORE 4172584.541
AT ITER 2422 NEW BEST:: SOT 33277044 SOS 5035360 HAS SOPS 5035360 HAS SOUS 4167368 HAS SOUPS 4167368 WITH SCORE 4172403.36
AT ITER 2453 NEW BEST:: SOT 33277044 SOS 5035052 HAS SOPS 5035052 HAS SOUS 4167060 HAS SOUPS 4167060 WITH SCORE 4172095.052
AT ITER 2478 NEW BEST:: SOT 33277026 SOS 5035025 HAS SOPS 5035025 HAS SOUS 4167042 HAS SOUPS 4167042 WITH SCORE 4172077.025
AT ITER 2496 NEW BEST:: SOT 33276624 SOS 5034221 HAS SOPS 5034221 HAS SOUS 4166238 HAS SOUPS 4166238 WITH SCORE 4171272.221
AT ITER 2504 NEW BEST:: SOT 33276447 SOS 5033867 HAS SOPS 5033867 HAS SOUS 4165884 HAS SOUPS 4165884 WITH SCORE 4170917.867
AT ITER 2507 NEW BEST:: SOT 33276446 SOS 5033866 HAS SOPS 5033866 HAS SOUS 4165883 HAS SOUPS 4165883 WITH SCORE 4170916.866
AT ITER 2528 NEW BEST:: SOT 33276473 SOS 5033513 HAS SOPS 5033513 HAS SOUS 4165530 HAS SOUPS 4165530 WITH SCORE 4170563.513
AT ITER 2564 NEW BEST:: SOT 33276473 SOS 5032006 HAS SOPS 5032006 HAS SOUS 4164023 HAS SOUPS 4164023 WITH SCORE 4169055.006
AT ITER 2566 NEW BEST:: SOT 33276473 SOS 5031214 HAS SOPS 5031214 HAS SOUS 4163231 HAS SOUPS 4163231 WITH SCORE 4168262.214
AT ITER 2578 NEW BEST:: SOT 33276227 SOS 5031228 HAS SOPS 5031228 HAS SOUS 4162985 HAS SOUPS 4162985 WITH SCORE 4168016.228
AT ITER 2612 NEW BEST:: SOT 33275223 SOS 5030726 HAS SOPS 5030726 HAS SOUS 4161981 HAS SOUPS 4161981 WITH SCORE 4167011.726
AT ITER 2627 NEW BEST:: SOT 33274249 SOS 5029265 HAS SOPS 5029265 HAS SOUS 4160520 HAS SOUPS 4160520 WITH SCORE 4165549.265
AT ITER 2652 NEW BEST:: SOT 33274096 SOS 5029112 HAS SOPS 5029112 HAS SOUS 4160367 HAS SOUPS 4160367 WITH SCORE 4165396.112
AT ITER 2737 NEW BEST:: SOT 33272467 SOS 5026940 HAS SOPS 5026940 HAS SOUS 4158195 HAS SOUPS 4158195 WITH SCORE 4163221.94
AT ITER 2749 NEW BEST:: SOT 33272009 SOS 5026664 HAS SOPS 5026664 HAS SOUS 4157829 HAS SOUPS 4157829 WITH SCORE 4162855.664
AT ITER 2753 NEW BEST:: SOT 33271817 SOS 5026522 HAS SOPS 5026522 HAS SOUS 4157637 HAS SOUPS 4157637 WITH SCORE 4162663.522
AT ITER 2755 NEW BEST:: SOT 33270918 SOS 5025369 HAS SOPS 5025369 HAS SOUS 4156093 HAS SOUPS 4156093 WITH SCORE 4161118.369
AT ITER 2762 NEW BEST:: SOT 33270918 SOS 5025306 HAS SOPS 5025306 HAS SOUS 4156030 HAS SOUPS 4156030 WITH SCORE 4161055.306
AT ITER 2786 NEW BEST:: SOT 33270858 SOS 5025276 HAS SOPS 5025276 HAS SOUS 4155970 HAS SOUPS 4155970 WITH SCORE 4160995.276
AT ITER 2799 NEW BEST:: SOT 33270655 SOS 5025073 HAS SOPS 5025073 HAS SOUS 4155767 HAS SOUPS 4155767 WITH SCORE 4160792.073
AT ITER 2822 NEW BEST:: SOT 33270336 SOS 5024835 HAS SOPS 5024835 HAS SOUS 4155448 HAS SOUPS 4155448 WITH SCORE 4160472.835
AT ITER 2848 NEW BEST:: SOT 33269996 SOS 5024834 HAS SOPS 5024834 HAS SOUS 4155447 HAS SOUPS 4155447 WITH SCORE 4160471.834
AT ITER 2857 NEW BEST:: SOT 33269348 SOS 5023538 HAS SOPS 5023538 HAS SOUS 4153905 HAS SOUPS 4153905 WITH SCORE 4158928.538
AT ITER 2922 NEW BEST:: SOT 33269308 SOS 5023458 HAS SOPS 5023458 HAS SOUS 4153865 HAS SOUPS 4153865 WITH SCORE 4158888.458
AT ITER 2939 NEW BEST:: SOT 33268716 SOS 5022274 HAS SOPS 5022274 HAS SOUS 4152408 HAS SOUPS 4152408 WITH SCORE 4157430.274
AT ITER 2955 NEW BEST:: SOT 33268203 SOS 5021248 HAS SOPS 5021248 HAS SOUS 4151382 HAS SOUPS 4151382 WITH SCORE 4156403.248
AT ITER 2960 NEW BEST:: SOT 33268203 SOS 5021122 HAS SOPS 5021122 HAS SOUS 4151382 HAS SOUPS 4151382 WITH SCORE 4156403.122
AT ITER 2982 NEW BEST:: SOT 33266971 SOS 5019326 HAS SOPS 5019326 HAS SOUS 4150150 HAS SOUPS 4150150 WITH SCORE 4155169.326
AT ITER 2990 NEW BEST:: SOT 33266800 SOS 5019229 HAS SOPS 5019229 HAS SOUS 4150053 HAS SOUPS 4150053 WITH SCORE 4155072.229
AT ITER 3004 NEW BEST:: SOT 33266800 SOS 5018915 HAS SOPS 5018915 HAS SOUS 4149739 HAS SOUPS 4149739 WITH SCORE 4154757.915
AT ITER 3014 NEW BEST:: SOT 33266146 SOS 5017607 HAS SOPS 5017607 HAS SOUS 4148431 HAS SOUPS 4148431 WITH SCORE 4153448.607
AT ITER 3019 NEW BEST:: SOT 33266050 SOS 5017415 HAS SOPS 5017415 HAS SOUS 4148239 HAS SOUPS 4148239 WITH SCORE 4153256.415
AT ITER 3022 NEW BEST:: SOT 33266050 SOS 5017414 HAS SOPS 5017414 HAS SOUS 4148238 HAS SOUPS 4148238 WITH SCORE 4153255.414
AT ITER 3037 NEW BEST:: SOT 33266034 SOS 5017366 HAS SOPS 5017366 HAS SOUS 4148206 HAS SOUPS 4148206 WITH SCORE 4153223.366
AT ITER 3064 NEW BEST:: SOT 33266034 SOS 5017366 HAS SOPS 5017366 HAS SOUS 4148203 HAS SOUPS 4148203 WITH SCORE 4153220.366
AT ITER 3079 NEW BEST:: SOT 33266034 SOS 5016886 HAS SOPS 5016886 HAS SOUS 4147723 HAS SOUPS 4147723 WITH SCORE 4152739.886
AT ITER 3175 NEW BEST:: SOT 33265828 SOS 5018235 HAS SOPS 5018235 HAS SOUS 4147516 HAS SOUPS 4147516 WITH SCORE 4152534.235
AT ITER 3186 NEW BEST:: SOT 33265588 SOS 5017755 HAS SOPS 5017755 HAS SOUS 4147036 HAS SOUPS 4147036 WITH SCORE 4152053.755
AT ITER 3220 NEW BEST:: SOT 33265445 SOS 5017469 HAS SOPS 5017469 HAS SOUS 4146344 HAS SOUPS 4146344 WITH SCORE 4151361.469
AT ITER 3239 NEW BEST:: SOT 33265372 SOS 5017323 HAS SOPS 5017323 HAS SOUS 4146271 HAS SOUPS 4146271 WITH SCORE 4151288.323
AT ITER 3244 NEW BEST:: SOT 33265061 SOS 5016701 HAS SOPS 5016701 HAS SOUS 4145638 HAS SOUPS 4145638 WITH SCORE 4150654.701
AT ITER 3248 NEW BEST:: SOT 33264943 SOS 5016571 HAS SOPS 5016571 HAS SOUS 4145508 HAS SOUPS 4145508 WITH SCORE 4150524.571
AT ITER 3288 NEW BEST:: SOT 33264390 SOS 5016245 HAS SOPS 5016245 HAS SOUS 4144955 HAS SOUPS 4144955 WITH SCORE 4149971.245
AT ITER 3294 NEW BEST:: SOT 33264274 SOS 5016179 HAS SOPS 5016179 HAS SOUS 4144742 HAS SOUPS 4144742 WITH SCORE 4149758.179
AT ITER 3298 NEW BEST:: SOT 33264052 SOS 5015489 HAS SOPS 5015489 HAS SOUS 4144298 HAS SOUPS 4144298 WITH SCORE 4149313.489
AT ITER 3307 NEW BEST:: SOT 33264279 SOS 5015007 HAS SOPS 5015007 HAS SOUS 4144284 HAS SOUPS 4144284 WITH SCORE 4149299.007
AT ITER 3313 NEW BEST:: SOT 33264079 SOS 5014967 HAS SOPS 5014967 HAS SOUS 4144284 HAS SOUPS 4144284 WITH SCORE 4149298.967
AT ITER 3341 NEW BEST:: SOT 33263790 SOS 5015261 HAS SOPS 5015261 HAS SOUS 4143995 HAS SOUPS 4143995 WITH SCORE 4149010.261
AT ITER 3347 NEW BEST:: SOT 33263234 SOS 5014857 HAS SOPS 5014857 HAS SOUS 4143591 HAS SOUPS 4143591 WITH SCORE 4148605.857
AT ITER 3386 NEW BEST:: SOT 33263932 SOS 5014715 HAS SOPS 5014715 HAS SOUS 4143449 HAS SOUPS 4143449 WITH SCORE 4148463.715
AT ITER 3430 NEW BEST:: SOT 33263410 SOS 5014668 HAS SOPS 5014668 HAS SOUS 4143122 HAS SOUPS 4143122 WITH SCORE 4148136.668
AT ITER 3472 NEW BEST:: SOT 33263483 SOS 5014814 HAS SOPS 5014814 HAS SOUS 4142883 HAS SOUPS 4142883 WITH SCORE 4147897.814
AT ITER 3487 NEW BEST:: SOT 33263483 SOS 5014814 HAS SOPS 5014814 HAS SOUS 4142191 HAS SOUPS 4142191 WITH SCORE 4147205.814
AT ITER 3557 NEW BEST:: SOT 33263483 SOS 5014813 HAS SOPS 5014813 HAS SOUS 4142191 HAS SOUPS 4142191 WITH SCORE 4147205.813
AT ITER 3574 NEW BEST:: SOT 33261776 SOS 5013757 HAS SOPS 5013757 HAS SOUS 4140998 HAS SOUPS 4140998 WITH SCORE 4146011.757
AT ITER 3580 NEW BEST:: SOT 33261621 SOS 5013292 HAS SOPS 5013292 HAS SOUS 4140688 HAS SOUPS 4140688 WITH SCORE 4145701.292
AT ITER 3585 NEW BEST:: SOT 33260451 SOS 5012121 HAS SOPS 5012121 HAS SOUS 4140687 HAS SOUPS 4140687 WITH SCORE 4145699.121
AT ITER 3651 NEW BEST:: SOT 33260450 SOS 5012120 HAS SOPS 5012120 HAS SOUS 4140686 HAS SOUPS 4140686 WITH SCORE 4145698.12
AT ITER 3660 NEW BEST:: SOT 33260056 SOS 5011662 HAS SOPS 5011662 HAS SOUS 4140292 HAS SOUPS 4140292 WITH SCORE 4145303.662
AT ITER 3663 NEW BEST:: SOT 33260019 SOS 5010610 HAS SOPS 5010610 HAS SOUS 4140218 HAS SOUPS 4140218 WITH SCORE 4145228.61
AT ITER 3692 NEW BEST:: SOT 33258207 SOS 5008186 HAS SOPS 5008186 HAS SOUS 4138280 HAS SOUPS 4138280 WITH SCORE 4143288.186
AT ITER 3705 NEW BEST:: SOT 33257954 SOS 5008185 HAS SOPS 5008185 HAS SOUS 4138279 HAS SOUPS 4138279 WITH SCORE 4143287.185
AT ITER 3715 NEW BEST:: SOT 33257603 SOS 5008390 HAS SOPS 5008390 HAS SOUS 4137928 HAS SOUPS 4137928 WITH SCORE 4142936.39
AT ITER 3744 NEW BEST:: SOT 33257503 SOS 5008190 HAS SOPS 5008190 HAS SOUS 4137728 HAS SOUPS 4137728 WITH SCORE 4142736.19
AT ITER 3749 NEW BEST:: SOT 33257088 SOS 5006220 HAS SOPS 5006220 HAS SOUS 4135758 HAS SOUPS 4135758 WITH SCORE 4140764.22
AT ITER 3769 NEW BEST:: SOT 33257088 SOS 5005930 HAS SOPS 5005930 HAS SOUS 4135468 HAS SOUPS 4135468 WITH SCORE 4140473.93
AT ITER 3773 NEW BEST:: SOT 33256768 SOS 5005195 HAS SOPS 5005195 HAS SOUS 4135466 HAS SOUPS 4135466 WITH SCORE 4140471.195
AT ITER 3787 NEW BEST:: SOT 33256845 SOS 5005349 HAS SOPS 5005349 HAS SOUS 4135109 HAS SOUPS 4135109 WITH SCORE 4140114.349
AT ITER 3822 NEW BEST:: SOT 33256680 SOS 5005481 HAS SOPS 5005481 HAS SOUS 4134944 HAS SOUPS 4134944 WITH SCORE 4139949.481
AT ITER 3843 NEW BEST:: SOT 33256294 SOS 5005095 HAS SOPS 5005095 HAS SOUS 4134558 HAS SOUPS 4134558 WITH SCORE 4139563.095
AT ITER 3844 NEW BEST:: SOT 33255941 SOS 4954293 HAS SOPS 4954293 HAS SOUS 4133814 HAS SOUPS 4133814 WITH SCORE 4138768.293
AT ITER 3874 NEW BEST:: SOT 33255738 SOS 4954089 HAS SOPS 4954089 HAS SOUS 4133610 HAS SOUPS 4133610 WITH SCORE 4138564.089
AT ITER 3942 NEW BEST:: SOT 33255724 SOS 4954061 HAS SOPS 4954061 HAS SOUS 4133582 HAS SOUPS 4133582 WITH SCORE 4138536.061
AT ITER 3954 NEW BEST:: SOT 33255217 SOS 4954331 HAS SOPS 4954331 HAS SOUS 4133242 HAS SOUPS 4133242 WITH SCORE 4138196.331
AT ITER 3996 NEW BEST:: SOT 33254621 SOS 4953833 HAS SOPS 4953833 HAS SOUS 4132646 HAS SOUPS 4132646 WITH SCORE 4137599.833
AT ITER 3998 NEW BEST:: SOT 33254454 SOS 4953576 HAS SOPS 4953576 HAS SOUS 4132389 HAS SOUPS 4132389 WITH SCORE 4137342.576
AT ITER 4006 NEW BEST:: SOT 33252923 SOS 4951494 HAS SOPS 4951494 HAS SOUS 4130858 HAS SOUPS 4130858 WITH SCORE 4135809.494
AT ITER 4023 NEW BEST:: SOT 33252870 SOS 4951084 HAS SOPS 4951084 HAS SOUS 4130138 HAS SOUPS 4130138 WITH SCORE 4135089.084
AT ITER 4039 NEW BEST:: SOT 33252848 SOS 4951040 HAS SOPS 4951040 HAS SOUS 4130116 HAS SOUPS 4130116 WITH SCORE 4135067.04
AT ITER 4053 NEW BEST:: SOT 33252810 SOS 4950869 HAS SOPS 4950869 HAS SOUS 4129945 HAS SOUPS 4129945 WITH SCORE 4134895.869
AT ITER 4064 NEW BEST:: SOT 33252505 SOS 4950903 HAS SOPS 4950903 HAS SOUS 4129640 HAS SOUPS 4129640 WITH SCORE 4134590.903
AT ITER 4132 NEW BEST:: SOT 33251801 SOS 4950591 HAS SOPS 4950591 HAS SOUS 4128388 HAS SOUPS 4128388 WITH SCORE 4133338.591
AT ITER 4183 NEW BEST:: SOT 33251406 SOS 4950590 HAS SOPS 4950590 HAS SOUS 4128387 HAS SOUPS 4128387 WITH SCORE 4133337.59
AT ITER 4194 NEW BEST:: SOT 33251406 SOS 4950286 HAS SOPS 4950286 HAS SOUS 4128083 HAS SOUPS 4128083 WITH SCORE 4133033.286
AT ITER 4237 NEW BEST:: SOT 33251288 SOS 4950168 HAS SOPS 4950168 HAS SOUS 4127965 HAS SOUPS 4127965 WITH SCORE 4132915.168
AT ITER 4240 NEW BEST:: SOT 33251328 SOS 4949854 HAS SOPS 4949854 HAS SOUS 4127651 HAS SOUPS 4127651 WITH SCORE 4132600.854
AT ITER 4247 NEW BEST:: SOT 33251111 SOS 4949723 HAS SOPS 4949723 HAS SOUS 4127520 HAS SOUPS 4127520 WITH SCORE 4132469.723
AT ITER 4272 NEW BEST:: SOT 33250860 SOS 4949891 HAS SOPS 4949891 HAS SOUS 4127144 HAS SOUPS 4127144 WITH SCORE 4132093.891
AT ITER 4302 NEW BEST:: SOT 33250622 SOS 4949653 HAS SOPS 4949653 HAS SOUS 4126668 HAS SOUPS 4126668 WITH SCORE 4131617.653
AT ITER 4307 NEW BEST:: SOT 33250920 SOS 4950249 HAS SOPS 4950249 HAS SOUS 4126582 HAS SOUPS 4126582 WITH SCORE 4131532.249
AT ITER 4308 NEW BEST:: SOT 33250434 SOS 4950027 HAS SOPS 4950027 HAS SOUS 4126177 HAS SOUPS 4126177 WITH SCORE 4131127.027
AT ITER 4341 NEW BEST:: SOT 33250298 SOS 4949755 HAS SOPS 4949755 HAS SOUS 4126103 HAS SOUPS 4126103 WITH SCORE 4131052.755
AT ITER 4366 NEW BEST:: SOT 33249772 SOS 4949659 HAS SOPS 4949659 HAS SOUS 4125577 HAS SOUPS 4125577 WITH SCORE 4130526.659
AT ITER 4383 NEW BEST:: SOT 33249100 SOS 4948315 HAS SOPS 4948315 HAS SOUS 4123945 HAS SOUPS 4123945 WITH SCORE 4128893.315
AT ITER 4391 NEW BEST:: SOT 33248599 SOS 4948203 HAS SOPS 4948203 HAS SOUS 4123396 HAS SOUPS 4123396 WITH SCORE 4128344.203
AT ITER 4392 NEW BEST:: SOT 33248274 SOS 4948073 HAS SOPS 4948073 HAS SOUS 4123169 HAS SOUPS 4123169 WITH SCORE 4128117.073
AT ITER 4412 NEW BEST:: SOT 33248079 SOS 4948025 HAS SOPS 4948025 HAS SOUS 4122974 HAS SOUPS 4122974 WITH SCORE 4127922.025
AT ITER 4422 NEW BEST:: SOT 33248079 SOS 4947810 HAS SOPS 4947810 HAS SOUS 4122759 HAS SOUPS 4122759 WITH SCORE 4127706.81
AT ITER 4452 NEW BEST:: SOT 33248048 SOS 4947717 HAS SOPS 4947717 HAS SOUS 4122697 HAS SOUPS 4122697 WITH SCORE 4127644.717
AT ITER 4461 NEW BEST:: SOT 33247975 SOS 4947571 HAS SOPS 4947571 HAS SOUS 4122551 HAS SOUPS 4122551 WITH SCORE 4127498.571
AT ITER 4471 NEW BEST:: SOT 33247816 SOS 4947390 HAS SOPS 4947390 HAS SOUS 4122369 HAS SOUPS 4122369 WITH SCORE 4127316.39
AT ITER 4505 NEW BEST:: SOT 33247560 SOS 4947389 HAS SOPS 4947389 HAS SOUS 4122368 HAS SOUPS 4122368 WITH SCORE 4127315.389
AT ITER 4507 NEW BEST:: SOT 33247158 SOS 4946585 HAS SOPS 4946585 HAS SOUS 4121564 HAS SOUPS 4121564 WITH SCORE 4126510.585
AT ITER 4510 NEW BEST:: SOT 33246338 SOS 4946237 HAS SOPS 4946237 HAS SOUS 4121145 HAS SOUPS 4121145 WITH SCORE 4126091.237
AT ITER 4527 NEW BEST:: SOT 33245981 SOS 4945523 HAS SOPS 4945523 HAS SOUS 4120185 HAS SOUPS 4120185 WITH SCORE 4125130.523
AT ITER 4529 NEW BEST:: SOT 33245603 SOS 4944767 HAS SOPS 4944767 HAS SOUS 4119429 HAS SOUPS 4119429 WITH SCORE 4124373.767
AT ITER 4546 NEW BEST:: SOT 33239527 SOS 4939105 HAS SOPS 4939105 HAS SOUS 4113573 HAS SOUPS 4113573 WITH SCORE 4118512.105
AT ITER 4551 NEW BEST:: SOT 33239527 SOS 4938960 HAS SOPS 4938960 HAS SOUS 4113428 HAS SOUPS 4113428 WITH SCORE 4118366.96
AT ITER 4563 NEW BEST:: SOT 33239581 SOS 4939068 HAS SOPS 4939068 HAS SOUS 4113055 HAS SOUPS 4113055 WITH SCORE 4117994.068
AT ITER 4565 NEW BEST:: SOT 33239581 SOS 4939066 HAS SOPS 4939066 HAS SOUS 4113053 HAS SOUPS 4113053 WITH SCORE 4117992.066
AT ITER 4570 NEW BEST:: SOT 33239507 SOS 4938918 HAS SOPS 4938918 HAS SOUS 4112905 HAS SOUPS 4112905 WITH SCORE 4117843.918
AT ITER 4572 NEW BEST:: SOT 33238971 SOS 4937846 HAS SOPS 4937846 HAS SOUS 4111274 HAS SOUPS 4111274 WITH SCORE 4116211.846
AT ITER 4581 NEW BEST:: SOT 33238836 SOS 4937886 HAS SOPS 4937886 HAS SOUS 4111004 HAS SOUPS 4111004 WITH SCORE 4115941.886
AT ITER 4592 NEW BEST:: SOT 33238785 SOS 4937784 HAS SOPS 4937784 HAS SOUS 4110902 HAS SOUPS 4110902 WITH SCORE 4115839.784
AT ITER 4620 NEW BEST:: SOT 33238785 SOS 4937628 HAS SOPS 4937628 HAS SOUS 4110902 HAS SOUPS 4110902 WITH SCORE 4115839.628
AT ITER 4628 NEW BEST:: SOT 33238785 SOS 4937576 HAS SOPS 4937576 HAS SOUS 4110902 HAS SOUPS 4110902 WITH SCORE 4115839.576
AT ITER 4630 NEW BEST:: SOT 33239160 SOS 4939782 HAS SOPS 4939782 HAS SOUS 4110549 HAS SOUPS 4110549 WITH SCORE 4115488.782
AT ITER 4654 NEW BEST:: SOT 33238961 SOS 4939384 HAS SOPS 4939384 HAS SOUS 4110350 HAS SOUPS 4110350 WITH SCORE 4115289.384
AT ITER 4686 NEW BEST:: SOT 33238961 SOS 4939384 HAS SOPS 4939384 HAS SOUS 4110349 HAS SOUPS 4110349 WITH SCORE 4115288.384
AT ITER 4698 NEW BEST:: SOT 33238863 SOS 4939072 HAS SOPS 4939072 HAS SOUS 4110251 HAS SOUPS 4110251 WITH SCORE 4115190.072
AT ITER 4706 NEW BEST:: SOT 33238863 SOS 4939072 HAS SOPS 4939072 HAS SOUS 4109549 HAS SOUPS 4109549 WITH SCORE 4114488.072
AT ITER 4727 NEW BEST:: SOT 33239019 SOS 4938804 HAS SOPS 4938804 HAS SOUS 4109281 HAS SOUPS 4109281 WITH SCORE 4114219.804
AT ITER 4728 NEW BEST:: SOT 33238876 SOS 4938661 HAS SOPS 4938661 HAS SOUS 4109138 HAS SOUPS 4109138 WITH SCORE 4114076.661
AT ITER 4738 NEW BEST:: SOT 33238876 SOS 4938545 HAS SOPS 4938545 HAS SOUS 4109022 HAS SOUPS 4109022 WITH SCORE 4113960.545
AT ITER 4772 NEW BEST:: SOT 33239124 SOS 4940353 HAS SOPS 4940353 HAS SOUS 4108862 HAS SOUPS 4108862 WITH SCORE 4113802.353
AT ITER 4777 NEW BEST:: SOT 33239066 SOS 4940237 HAS SOPS 4940237 HAS SOUS 4108862 HAS SOUPS 4108862 WITH SCORE 4113802.237
AT ITER 4783 NEW BEST:: SOT 33239401 SOS 4940907 HAS SOPS 4940907 HAS SOUS 4108638 HAS SOUPS 4108638 WITH SCORE 4113578.907
AT ITER 4802 NEW BEST:: SOT 33239508 SOS 4940905 HAS SOPS 4940905 HAS SOUS 4108636 HAS SOUPS 4108636 WITH SCORE 4113576.905
AT ITER 4812 NEW BEST:: SOT 33239653 SOS 4940206 HAS SOPS 4940206 HAS SOUS 4107980 HAS SOUPS 4107980 WITH SCORE 4112920.206
AT ITER 4863 NEW BEST:: SOT 33239000 SOS 4938900 HAS SOPS 4938900 HAS SOUS 4106245 HAS SOUPS 4106245 WITH SCORE 4111183.9
AT ITER 4932 NEW BEST:: SOT 33238641 SOS 4938731 HAS SOPS 4938731 HAS SOUS 4105886 HAS SOUPS 4105886 WITH SCORE 4110824.731
AT ITER 4967 NEW BEST:: SOT 33238286 SOS 4938402 HAS SOPS 4938402 HAS SOUS 4105557 HAS SOUPS 4105557 WITH SCORE 4110495.402
AT ITER 4980 NEW BEST:: SOT 33238013 SOS 4937856 HAS SOPS 4937856 HAS SOUS 4105284 HAS SOUPS 4105284 WITH SCORE 4110221.856
AT ITER 5004 NEW BEST:: SOT 33237525 SOS 4937463 HAS SOPS 4937463 HAS SOUS 4105219 HAS SOUPS 4105219 WITH SCORE 4110156.463
AT ITER 5048 NEW BEST:: SOT 33237525 SOS 4937463 HAS SOPS 4937463 HAS SOUS 4105218 HAS SOUPS 4105218 WITH SCORE 4110155.463
AT ITER 5054 NEW BEST:: SOT 33237608 SOS 4937346 HAS SOPS 4937346 HAS SOUS 4105101 HAS SOUPS 4105101 WITH SCORE 4110038.346
AT ITER 5058 NEW BEST:: SOT 33237477 SOS 4936409 HAS SOPS 4936409 HAS SOUS 4104970 HAS SOUPS 4104970 WITH SCORE 4109906.409
AT ITER 5077 NEW BEST:: SOT 33237280 SOS 4936800 HAS SOPS 4936800 HAS SOUS 4104773 HAS SOUPS 4104773 WITH SCORE 4109709.8
AT ITER 5086 NEW BEST:: SOT 33237280 SOS 4936543 HAS SOPS 4936543 HAS SOUS 4104516 HAS SOUPS 4104516 WITH SCORE 4109452.543
AT ITER 5108 NEW BEST:: SOT 33237062 SOS 4936325 HAS SOPS 4936325 HAS SOUS 4104298 HAS SOUPS 4104298 WITH SCORE 4109234.325
AT ITER 5126 NEW BEST:: SOT 33236970 SOS 4936332 HAS SOPS 4936332 HAS SOUS 4104114 HAS SOUPS 4104114 WITH SCORE 4109050.332
AT ITER 5229 NEW BEST:: SOT 33236970 SOS 4936332 HAS SOPS 4936332 HAS SOUS 4104067 HAS SOUPS 4104067 WITH SCORE 4109003.332
AT ITER 5257 NEW BEST:: SOT 33236970 SOS 4936314 HAS SOPS 4936314 HAS SOUS 4104049 HAS SOUPS 4104049 WITH SCORE 4108985.314
AT ITER 5322 NEW BEST:: SOT 33237204 SOS 4935604 HAS SOPS 4935604 HAS SOUS 4103807 HAS SOUPS 4103807 WITH SCORE 4108742.604
AT ITER 5358 NEW BEST:: SOT 33237203 SOS 4935603 HAS SOPS 4935603 HAS SOUS 4103806 HAS SOUPS 4103806 WITH SCORE 4108741.603
AT ITER 5363 NEW BEST:: SOT 33236720 SOS 4935219 HAS SOPS 4935219 HAS SOUS 4103373 HAS SOUPS 4103373 WITH SCORE 4108308.219
AT ITER 5380 NEW BEST:: SOT 33236490 SOS 4934069 HAS SOPS 4934069 HAS SOUS 4103143 HAS SOUPS 4103143 WITH SCORE 4108077.069
AT ITER 5409 NEW BEST:: SOT 33236490 SOS 4934036 HAS SOPS 4934036 HAS SOUS 4103110 HAS SOUPS 4103110 WITH SCORE 4108044.036
AT ITER 5428 NEW BEST:: SOT 33236490 SOS 4933579 HAS SOPS 4933579 HAS SOUS 4102653 HAS SOUPS 4102653 WITH SCORE 4107586.579
AT ITER 5438 NEW BEST:: SOT 33236489 SOS 4933578 HAS SOPS 4933578 HAS SOUS 4102652 HAS SOUPS 4102652 WITH SCORE 4107585.578
AT ITER 5478 NEW BEST:: SOT 33236489 SOS 4932925 HAS SOPS 4932925 HAS SOUS 4102652 HAS SOUPS 4102652 WITH SCORE 4107584.925
AT ITER 5491 NEW BEST:: SOT 33236489 SOS 4932603 HAS SOPS 4932603 HAS SOUS 4102652 HAS SOUPS 4102652 WITH SCORE 4107584.603
AT ITER 5492 NEW BEST:: SOT 33237342 SOS 4932453 HAS SOPS 4932453 HAS SOUS 4102502 HAS SOUPS 4102502 WITH SCORE 4107434.453
AT ITER 5529 NEW BEST:: SOT 33237342 SOS 4932453 HAS SOPS 4932453 HAS SOUS 4102491 HAS SOUPS 4102491 WITH SCORE 4107423.453
AT ITER 5548 NEW BEST:: SOT 33237110 SOS 4930821 HAS SOPS 4930821 HAS SOUS 4102027 HAS SOUPS 4102027 WITH SCORE 4106957.821
AT ITER 5561 NEW BEST:: SOT 33237109 SOS 4930820 HAS SOPS 4930820 HAS SOUS 4102026 HAS SOUPS 4102026 WITH SCORE 4106956.82
AT ITER 5574 NEW BEST:: SOT 33236818 SOS 4930660 HAS SOPS 4930660 HAS SOUS 4101866 HAS SOUPS 4101866 WITH SCORE 4106796.66
AT ITER 5585 NEW BEST:: SOT 33236687 SOS 4930398 HAS SOPS 4930398 HAS SOUS 4101213 HAS SOUPS 4101213 WITH SCORE 4106143.398
AT ITER 5593 NEW BEST:: SOT 33236931 SOS 4930175 HAS SOPS 4930175 HAS SOUS 4100990 HAS SOUPS 4100990 WITH SCORE 4105920.175
AT ITER 5604 NEW BEST:: SOT 33235878 SOS 4928406 HAS SOPS 4928406 HAS SOUS 4099256 HAS SOUPS 4099256 WITH SCORE 4104184.406
AT ITER 5608 NEW BEST:: SOT 33235223 SOS 4927765 HAS SOPS 4927765 HAS SOUS 4098584 HAS SOUPS 4098584 WITH SCORE 4103511.765
AT ITER 5650 NEW BEST:: SOT 33235183 SOS 4928811 HAS SOPS 4928811 HAS SOUS 4098544 HAS SOUPS 4098544 WITH SCORE 4103472.811
AT ITER 5657 NEW BEST:: SOT 33235045 SOS 4928549 HAS SOPS 4928549 HAS SOUS 4098282 HAS SOUPS 4098282 WITH SCORE 4103210.549
AT ITER 5709 NEW BEST:: SOT 33234572 SOS 4928038 HAS SOPS 4928038 HAS SOUS 4097705 HAS SOUPS 4097705 WITH SCORE 4102633.038
AT ITER 5763 NEW BEST:: SOT 33234741 SOS 4927710 HAS SOPS 4927710 HAS SOUS 4097377 HAS SOUPS 4097377 WITH SCORE 4102304.71
AT ITER 5805 NEW BEST:: SOT 33234313 SOS 4928792 HAS SOPS 4928792 HAS SOUS 4097028 HAS SOUPS 4097028 WITH SCORE 4101956.792
AT ITER 5835 NEW BEST:: SOT 33234358 SOS 4928882 HAS SOPS 4928882 HAS SOUS 4096865 HAS SOUPS 4096865 WITH SCORE 4101793.882
AT ITER 5840 NEW BEST:: SOT 33234253 SOS 4928787 HAS SOPS 4928787 HAS SOUS 4096846 HAS SOUPS 4096846 WITH SCORE 4101774.787
AT ITER 5853 NEW BEST:: SOT 33234112 SOS 4928505 HAS SOPS 4928505 HAS SOUS 4096564 HAS SOUPS 4096564 WITH SCORE 4101492.505
AT ITER 5896 NEW BEST:: SOT 33233981 SOS 4928243 HAS SOPS 4928243 HAS SOUS 4096302 HAS SOUPS 4096302 WITH SCORE 4101230.243
AT ITER 5909 NEW BEST:: SOT 33233981 SOS 4927955 HAS SOPS 4927955 HAS SOUS 4096014 HAS SOUPS 4096014 WITH SCORE 4100941.955
AT ITER 5948 NEW BEST:: SOT 33234060 SOS 4927799 HAS SOPS 4927799 HAS SOUS 4095858 HAS SOUPS 4095858 WITH SCORE 4100785.799
AT ITER 5992 NEW BEST:: SOT 33234060 SOS 4927501 HAS SOPS 4927501 HAS SOUS 4095560 HAS SOUPS 4095560 WITH SCORE 4100487.501
AT ITER 6035 NEW BEST:: SOT 33233840 SOS 4927463 HAS SOPS 4927463 HAS SOUS 4095560 HAS SOUPS 4095560 WITH SCORE 4100487.463
AT ITER 6036 NEW BEST:: SOT 33233810 SOS 4927403 HAS SOPS 4927403 HAS SOUS 4095500 HAS SOUPS 4095500 WITH SCORE 4100427.403
AT ITER 6049 NEW BEST:: SOT 33233647 SOS 4927240 HAS SOPS 4927240 HAS SOUS 4095337 HAS SOUPS 4095337 WITH SCORE 4100264.24
AT ITER 6060 NEW BEST:: SOT 33233647 SOS 4927234 HAS SOPS 4927234 HAS SOUS 4095331 HAS SOUPS 4095331 WITH SCORE 4100258.234
AT ITER 6091 NEW BEST:: SOT 33233647 SOS 4926877 HAS SOPS 4926877 HAS SOUS 4094974 HAS SOUPS 4094974 WITH SCORE 4099900.877
AT ITER 6115 NEW BEST:: SOT 33232660 SOS 4925254 HAS SOPS 4925254 HAS SOUS 4093420 HAS SOUPS 4093420 WITH SCORE 4098345.254
AT ITER 6120 NEW BEST:: SOT 33232840 SOS 4925212 HAS SOPS 4925212 HAS SOUS 4093378 HAS SOUPS 4093378 WITH SCORE 4098303.212
AT ITER 6130 NEW BEST:: SOT 33232135 SOS 4924594 HAS SOPS 4924594 HAS SOUS 4092277 HAS SOUPS 4092277 WITH SCORE 4097201.594
AT ITER 6181 NEW BEST:: SOT 33232050 SOS 4925108 HAS SOPS 4925108 HAS SOUS 4092192 HAS SOUPS 4092192 WITH SCORE 4097117.108
AT ITER 6208 NEW BEST:: SOT 33232050 SOS 4924728 HAS SOPS 4924728 HAS SOUS 4092135 HAS SOUPS 4092135 WITH SCORE 4097059.728
AT ITER 6218 NEW BEST:: SOT 33232056 SOS 4924734 HAS SOPS 4924734 HAS SOUS 4092098 HAS SOUPS 4092098 WITH SCORE 4097022.734
AT ITER 6240 NEW BEST:: SOT 33232055 SOS 4924732 HAS SOPS 4924732 HAS SOUS 4092096 HAS SOUPS 4092096 WITH SCORE 4097020.732
AT ITER 6242 NEW BEST:: SOT 33232055 SOS 4924483 HAS SOPS 4924483 HAS SOUS 4092096 HAS SOUPS 4092096 WITH SCORE 4097020.483
AT ITER 6249 NEW BEST:: SOT 33232055 SOS 4924440 HAS SOPS 4924440 HAS SOUS 4092053 HAS SOUPS 4092053 WITH SCORE 4096977.44
AT ITER 6253 NEW BEST:: SOT 33231669 SOS 4923668 HAS SOPS 4923668 HAS SOUS 4091281 HAS SOUPS 4091281 WITH SCORE 4096204.668
AT ITER 6267 NEW BEST:: SOT 33231669 SOS 4923539 HAS SOPS 4923539 HAS SOUS 4091152 HAS SOUPS 4091152 WITH SCORE 4096075.539
AT ITER 6268 NEW BEST:: SOT 33230519 SOS 4922389 HAS SOPS 4922389 HAS SOUS 4090002 HAS SOUPS 4090002 WITH SCORE 4094924.389
AT ITER 6271 NEW BEST:: SOT 33230519 SOS 4922210 HAS SOPS 4922210 HAS SOUS 4089823 HAS SOUPS 4089823 WITH SCORE 4094745.21
AT ITER 6304 NEW BEST:: SOT 33230519 SOS 4921625 HAS SOPS 4921625 HAS SOUS 4089823 HAS SOUPS 4089823 WITH SCORE 4094744.625
AT ITER 6316 NEW BEST:: SOT 33230518 SOS 4921480 HAS SOPS 4921480 HAS SOUS 4089822 HAS SOUPS 4089822 WITH SCORE 4094743.48
AT ITER 6434 NEW BEST:: SOT 33230391 SOS 4921402 HAS SOPS 4921402 HAS SOUS 4089744 HAS SOUPS 4089744 WITH SCORE 4094665.402
AT ITER 6455 NEW BEST:: SOT 33229564 SOS 4919552 HAS SOPS 4919552 HAS SOUS 4089014 HAS SOUPS 4089014 WITH SCORE 4093933.552
AT ITER 6479 NEW BEST:: SOT 33229246 SOS 4918916 HAS SOPS 4918916 HAS SOUS 4088696 HAS SOUPS 4088696 WITH SCORE 4093614.916
AT ITER 6528 NEW BEST:: SOT 33229246 SOS 4918653 HAS SOPS 4918653 HAS SOUS 4088433 HAS SOUPS 4088433 WITH SCORE 4093351.653
AT ITER 6600 NEW BEST:: SOT 33228963 SOS 4918522 HAS SOPS 4918522 HAS SOUS 4088149 HAS SOUPS 4088149 WITH SCORE 4093067.522
AT ITER 6657 NEW BEST:: SOT 33229020 SOS 4918120 HAS SOPS 4918120 HAS SOUS 4087747 HAS SOUPS 4087747 WITH SCORE 4092665.12
AT ITER 6710 NEW BEST:: SOT 33228745 SOS 4918078 HAS SOPS 4918078 HAS SOUS 4087705 HAS SOUPS 4087705 WITH SCORE 4092623.078
AT ITER 6739 NEW BEST:: SOT 33228745 SOS 4917740 HAS SOPS 4917740 HAS SOUS 4087367 HAS SOUPS 4087367 WITH SCORE 4092284.74
AT ITER 6755 NEW BEST:: SOT 33228063 SOS 4916376 HAS SOPS 4916376 HAS SOUS 4085624 HAS SOUPS 4085624 WITH SCORE 4090540.376
AT ITER 6781 NEW BEST:: SOT 33227986 SOS 4916222 HAS SOPS 4916222 HAS SOUS 4085470 HAS SOUPS 4085470 WITH SCORE 4090386.222
AT ITER 6795 NEW BEST:: SOT 33227986 SOS 4916222 HAS SOPS 4916222 HAS SOUS 4085375 HAS SOUPS 4085375 WITH SCORE 4090291.222
AT ITER 6799 NEW BEST:: SOT 33227790 SOS 4916154 HAS SOPS 4916154 HAS SOUS 4085307 HAS SOUPS 4085307 WITH SCORE 4090223.154
AT ITER 6835 NEW BEST:: SOT 33227690 SOS 4916004 HAS SOPS 4916004 HAS SOUS 4085207 HAS SOUPS 4085207 WITH SCORE 4090123.004
AT ITER 6849 NEW BEST:: SOT 33227245 SOS 4914979 HAS SOPS 4914979 HAS SOUS 4084308 HAS SOUPS 4084308 WITH SCORE 4089222.979
AT ITER 6860 NEW BEST:: SOT 33227245 SOS 4914882 HAS SOPS 4914882 HAS SOUS 4084308 HAS SOUPS 4084308 WITH SCORE 4089222.882
AT ITER 6871 NEW BEST:: SOT 33227025 SOS 4914442 HAS SOPS 4914442 HAS SOUS 4083868 HAS SOUPS 4083868 WITH SCORE 4088782.442
AT ITER 6888 NEW BEST:: SOT 33227025 SOS 4914195 HAS SOPS 4914195 HAS SOUS 4083621 HAS SOUPS 4083621 WITH SCORE 4088535.195
AT ITER 6910 NEW BEST:: SOT 33227025 SOS 4914195 HAS SOPS 4914195 HAS SOUS 4083620 HAS SOUPS 4083620 WITH SCORE 4088534.195
AT ITER 6934 NEW BEST:: SOT 33226548 SOS 4913651 HAS SOPS 4913651 HAS SOUS 4083246 HAS SOUPS 4083246 WITH SCORE 4088159.651
AT ITER 6942 NEW BEST:: SOT 33225487 SOS 4911926 HAS SOPS 4911926 HAS SOUS 4081604 HAS SOUPS 4081604 WITH SCORE 4086515.926
AT ITER 6981 NEW BEST:: SOT 33225295 SOS 4911407 HAS SOPS 4911407 HAS SOUS 4081277 HAS SOUPS 4081277 WITH SCORE 4086188.407
AT ITER 7045 NEW BEST:: SOT 33225295 SOS 4911134 HAS SOPS 4911134 HAS SOUS 4081004 HAS SOUPS 4081004 WITH SCORE 4085915.134
AT ITER 7073 NEW BEST:: SOT 33224721 SOS 4909435 HAS SOPS 4909435 HAS SOUS 4080584 HAS SOUPS 4080584 WITH SCORE 4085493.435
AT ITER 7104 NEW BEST:: SOT 33224721 SOS 4909232 HAS SOPS 4909232 HAS SOUS 4080381 HAS SOUPS 4080381 WITH SCORE 4085290.232
AT ITER 7115 NEW BEST:: SOT 33224781 SOS 4909088 HAS SOPS 4909088 HAS SOUS 4080237 HAS SOUPS 4080237 WITH SCORE 4085146.088
AT ITER 7121 NEW BEST:: SOT 33224755 SOS 4909036 HAS SOPS 4909036 HAS SOUS 4080185 HAS SOUPS 4080185 WITH SCORE 4085094.036
AT ITER 7142 NEW BEST:: SOT 33224718 SOS 4909035 HAS SOPS 4909035 HAS SOUS 4080184 HAS SOUPS 4080184 WITH SCORE 4085093.035
AT ITER 7148 NEW BEST:: SOT 33224387 SOS 4908373 HAS SOPS 4908373 HAS SOUS 4079522 HAS SOUPS 4079522 WITH SCORE 4084430.373
AT ITER 7154 NEW BEST:: SOT 33224277 SOS 4907909 HAS SOPS 4907909 HAS SOUS 4078935 HAS SOUPS 4078935 WITH SCORE 4083842.909
AT ITER 7170 NEW BEST:: SOT 33224277 SOS 4907851 HAS SOPS 4907851 HAS SOUS 4078877 HAS SOUPS 4078877 WITH SCORE 4083784.851
AT ITER 7203 NEW BEST:: SOT 33224576 SOS 4907595 HAS SOPS 4907595 HAS SOUS 4078621 HAS SOUPS 4078621 WITH SCORE 4083528.595
AT ITER 7218 NEW BEST:: SOT 33224452 SOS 4907347 HAS SOPS 4907347 HAS SOUS 4078373 HAS SOUPS 4078373 WITH SCORE 4083280.347
AT ITER 7253 NEW BEST:: SOT 33224164 SOS 4906529 HAS SOPS 4906529 HAS SOUS 4077843 HAS SOUPS 4077843 WITH SCORE 4082749.529
AT ITER 7298 NEW BEST:: SOT 33224164 SOS 4906303 HAS SOPS 4906303 HAS SOUS 4077843 HAS SOUPS 4077843 WITH SCORE 4082749.303
AT ITER 7300 NEW BEST:: SOT 33223843 SOS 4906021 HAS SOPS 4906021 HAS SOUS 4077561 HAS SOUPS 4077561 WITH SCORE 4082467.021
AT ITER 7305 NEW BEST:: SOT 33223445 SOS 4906023 HAS SOPS 4906023 HAS SOUS 4077225 HAS SOUPS 4077225 WITH SCORE 4082131.023
AT ITER 7325 NEW BEST:: SOT 33223445 SOS 4905944 HAS SOPS 4905944 HAS SOUS 4077146 HAS SOUPS 4077146 WITH SCORE 4082051.944
AT ITER 7334 NEW BEST:: SOT 33223073 SOS 4905758 HAS SOPS 4905758 HAS SOUS 4076954 HAS SOUPS 4076954 WITH SCORE 4081859.758
AT ITER 7380 NEW BEST:: SOT 33223144 SOS 4905585 HAS SOPS 4905585 HAS SOUS 4076781 HAS SOUPS 4076781 WITH SCORE 4081686.585
AT ITER 7387 NEW BEST:: SOT 33222798 SOS 4905000 HAS SOPS 4905000 HAS SOUS 4076196 HAS SOUPS 4076196 WITH SCORE 4081101.0
AT ITER 7410 NEW BEST:: SOT 33222322 SOS 4904048 HAS SOPS 4904048 HAS SOUS 4075244 HAS SOUPS 4075244 WITH SCORE 4080148.048
AT ITER 7439 NEW BEST:: SOT 33222322 SOS 4903757 HAS SOPS 4903757 HAS SOUS 4074953 HAS SOUPS 4074953 WITH SCORE 4079856.757
AT ITER 7485 NEW BEST:: SOT 33222184 SOS 4903665 HAS SOPS 4903665 HAS SOUS 4074861 HAS SOUPS 4074861 WITH SCORE 4079764.665
AT ITER 7528 NEW BEST:: SOT 33222030 SOS 4903588 HAS SOPS 4903588 HAS SOUS 4074784 HAS SOUPS 4074784 WITH SCORE 4079687.588
AT ITER 7532 NEW BEST:: SOT 33222074 SOS 4903632 HAS SOPS 4903632 HAS SOUS 4074745 HAS SOUPS 4074745 WITH SCORE 4079648.632
AT ITER 7546 NEW BEST:: SOT 33222049 SOS 4903582 HAS SOPS 4903582 HAS SOUS 4074695 HAS SOUPS 4074695 WITH SCORE 4079598.582
AT ITER 7556 NEW BEST:: SOT 33222074 SOS 4903512 HAS SOPS 4903512 HAS SOUS 4074625 HAS SOUPS 4074625 WITH SCORE 4079528.512
AT ITER 7558 NEW BEST:: SOT 33221904 SOS 4903457 HAS SOPS 4903457 HAS SOUS 4074455 HAS SOUPS 4074455 WITH SCORE 4079358.457
AT ITER 7565 NEW BEST:: SOT 33221904 SOS 4903444 HAS SOPS 4903444 HAS SOUS 4074455 HAS SOUPS 4074455 WITH SCORE 4079358.444
AT ITER 7621 NEW BEST:: SOT 33221960 SOS 4903169 HAS SOPS 4903169 HAS SOUS 4074180 HAS SOUPS 4074180 WITH SCORE 4079083.169
AT ITER 7630 NEW BEST:: SOT 33222093 SOS 4903168 HAS SOPS 4903168 HAS SOUS 4074179 HAS SOUPS 4074179 WITH SCORE 4079082.168
AT ITER 7671 NEW BEST:: SOT 33223060 SOS 4903167 HAS SOPS 4903167 HAS SOUS 4074178 HAS SOUPS 4074178 WITH SCORE 4079081.167
AT ITER 7673 NEW BEST:: SOT 33223414 SOS 4902297 HAS SOPS 4902297 HAS SOUS 4074097 HAS SOUPS 4074097 WITH SCORE 4078999.297
AT ITER 7685 NEW BEST:: SOT 33223414 SOS 4902293 HAS SOPS 4902293 HAS SOUS 4074093 HAS SOUPS 4074093 WITH SCORE 4078995.293
AT ITER 7704 NEW BEST:: SOT 33223383 SOS 4902231 HAS SOPS 4902231 HAS SOUS 4074062 HAS SOUPS 4074062 WITH SCORE 4078964.231
AT ITER 7708 NEW BEST:: SOT 33222990 SOS 4902166 HAS SOPS 4902166 HAS SOUS 4073872 HAS SOUPS 4073872 WITH SCORE 4078774.166
AT ITER 7738 NEW BEST:: SOT 33221986 SOS 4901038 HAS SOPS 4901038 HAS SOUS 4072295 HAS SOUPS 4072295 WITH SCORE 4077196.038
AT ITER 7745 NEW BEST:: SOT 33221986 SOS 4900918 HAS SOPS 4900918 HAS SOUS 4072295 HAS SOUPS 4072295 WITH SCORE 4077195.918
AT ITER 7750 NEW BEST:: SOT 33222209 SOS 4900901 HAS SOPS 4900901 HAS SOUS 4072277 HAS SOUPS 4072277 WITH SCORE 4077177.901
AT ITER 7771 NEW BEST:: SOT 33221963 SOS 4900655 HAS SOPS 4900655 HAS SOUS 4072031 HAS SOUPS 4072031 WITH SCORE 4076931.655
AT ITER 7790 NEW BEST:: SOT 33221667 SOS 4900359 HAS SOPS 4900359 HAS SOUS 4071735 HAS SOUPS 4071735 WITH SCORE 4076635.359
AT ITER 7839 NEW BEST:: SOT 33221500 SOS 4900300 HAS SOPS 4900300 HAS SOUS 4071567 HAS SOUPS 4071567 WITH SCORE 4076467.3
AT ITER 7849 NEW BEST:: SOT 33221495 SOS 4900295 HAS SOPS 4900295 HAS SOUS 4071562 HAS SOUPS 4071562 WITH SCORE 4076462.295
AT ITER 7929 NEW BEST:: SOT 33221495 SOS 4900099 HAS SOPS 4900099 HAS SOUS 4071366 HAS SOUPS 4071366 WITH SCORE 4076266.099
AT ITER 7932 NEW BEST:: SOT 33221495 SOS 4900031 HAS SOPS 4900031 HAS SOUS 4071366 HAS SOUPS 4071366 WITH SCORE 4076266.031
AT ITER 7938 NEW BEST:: SOT 33221000 SOS 4902245 HAS SOPS 4902245 HAS SOUS 4071219 HAS SOUPS 4071219 WITH SCORE 4076121.245
AT ITER 7985 NEW BEST:: SOT 33220940 SOS 4902125 HAS SOPS 4902125 HAS SOUS 4070508 HAS SOUPS 4070508 WITH SCORE 4075410.125
AT ITER 8021 NEW BEST:: SOT 33220582 SOS 4901409 HAS SOPS 4901409 HAS SOUS 4069593 HAS SOUPS 4069593 WITH SCORE 4074494.409
AT ITER 8067 NEW BEST:: SOT 33220349 SOS 4899847 HAS SOPS 4899847 HAS SOUS 4069127 HAS SOUPS 4069127 WITH SCORE 4074026.847
AT ITER 8125 NEW BEST:: SOT 33220349 SOS 4899608 HAS SOPS 4899608 HAS SOUS 4068888 HAS SOUPS 4068888 WITH SCORE 4073787.608
AT ITER 8143 NEW BEST:: SOT 33220348 SOS 4899606 HAS SOPS 4899606 HAS SOUS 4068886 HAS SOUPS 4068886 WITH SCORE 4073785.606
AT ITER 8175 NEW BEST:: SOT 33220348 SOS 4899217 HAS SOPS 4899217 HAS SOUS 4068497 HAS SOUPS 4068497 WITH SCORE 4073396.217
AT ITER 8188 NEW BEST:: SOT 33220348 SOS 4898904 HAS SOPS 4898904 HAS SOUS 4068184 HAS SOUPS 4068184 WITH SCORE 4073082.904
AT ITER 8201 NEW BEST:: SOT 33220116 SOS 4898440 HAS SOPS 4898440 HAS SOUS 4066986 HAS SOUPS 4066986 WITH SCORE 4071884.44
AT ITER 8203 NEW BEST:: SOT 33219111 SOS 4897083 HAS SOPS 4897083 HAS SOUS 4065932 HAS SOUPS 4065932 WITH SCORE 4070829.083
AT ITER 8247 NEW BEST:: SOT 33219069 SOS 4896834 HAS SOPS 4896834 HAS SOUS 4065683 HAS SOUPS 4065683 WITH SCORE 4070579.834
AT ITER 8251 NEW BEST:: SOT 33219069 SOS 4896828 HAS SOPS 4896828 HAS SOUS 4065677 HAS SOUPS 4065677 WITH SCORE 4070573.828
AT ITER 8265 NEW BEST:: SOT 33219053 SOS 4896796 HAS SOPS 4896796 HAS SOUS 4065645 HAS SOUPS 4065645 WITH SCORE 4070541.796
AT ITER 8277 NEW BEST:: SOT 33218991 SOS 4896672 HAS SOPS 4896672 HAS SOUS 4065567 HAS SOUPS 4065567 WITH SCORE 4070463.672
AT ITER 8279 NEW BEST:: SOT 33218991 SOS 4895947 HAS SOPS 4895947 HAS SOUS 4064842 HAS SOUPS 4064842 WITH SCORE 4069737.947
AT ITER 8309 NEW BEST:: SOT 33218991 SOS 4895341 HAS SOPS 4895341 HAS SOUS 4064236 HAS SOUPS 4064236 WITH SCORE 4069131.341
AT ITER 8320 NEW BEST:: SOT 33219247 SOS 4894895 HAS SOPS 4894895 HAS SOUS 4063790 HAS SOUPS 4063790 WITH SCORE 4068684.895
AT ITER 8379 NEW BEST:: SOT 33219247 SOS 4894085 HAS SOPS 4894085 HAS SOUS 4062980 HAS SOUPS 4062980 WITH SCORE 4067874.085
AT ITER 8456 NEW BEST:: SOT 33218865 SOS 4893894 HAS SOPS 4893894 HAS SOUS 4062728 HAS SOUPS 4062728 WITH SCORE 4067621.894
AT ITER 8558 NEW BEST:: SOT 33218864 SOS 4893892 HAS SOPS 4893892 HAS SOUS 4062726 HAS SOUPS 4062726 WITH SCORE 4067619.892
AT ITER 8561 NEW BEST:: SOT 33218280 SOS 4892179 HAS SOPS 4892179 HAS SOUS 4062253 HAS SOUPS 4062253 WITH SCORE 4067145.179
AT ITER 8568 NEW BEST:: SOT 33217045 SOS 4890288 HAS SOPS 4890288 HAS SOUS 4061317 HAS SOUPS 4061317 WITH SCORE 4066207.288
AT ITER 8622 NEW BEST:: SOT 33217097 SOS 4890392 HAS SOPS 4890392 HAS SOUS 4061079 HAS SOUPS 4061079 WITH SCORE 4065969.392
AT ITER 8685 NEW BEST:: SOT 33217008 SOS 4890214 HAS SOPS 4890214 HAS SOUS 4060901 HAS SOUPS 4060901 WITH SCORE 4065791.214
AT ITER 8687 NEW BEST:: SOT 33217008 SOS 4890214 HAS SOPS 4890214 HAS SOUS 4059882 HAS SOUPS 4059882 WITH SCORE 4064772.214
AT ITER 8724 NEW BEST:: SOT 33216964 SOS 4890170 HAS SOPS 4890170 HAS SOUS 4059794 HAS SOUPS 4059794 WITH SCORE 4064684.17
AT ITER 8748 NEW BEST:: SOT 33216852 SOS 4890058 HAS SOPS 4890058 HAS SOUS 4059682 HAS SOUPS 4059682 WITH SCORE 4064572.058
AT ITER 8756 NEW BEST:: SOT 33215254 SOS 4887856 HAS SOPS 4887856 HAS SOUS 4058084 HAS SOUPS 4058084 WITH SCORE 4062971.856
AT ITER 8865 NEW BEST:: SOT 33215254 SOS 4887856 HAS SOPS 4887856 HAS SOUS 4057647 HAS SOUPS 4057647 WITH SCORE 4062534.856
AT ITER 8876 NEW BEST:: SOT 33214947 SOS 4887818 HAS SOPS 4887818 HAS SOUS 4057303 HAS SOUPS 4057303 WITH SCORE 4062190.818
AT ITER 8884 NEW BEST:: SOT 33214376 SOS 4886676 HAS SOPS 4886676 HAS SOUS 4057303 HAS SOUPS 4057303 WITH SCORE 4062189.676
AT ITER 8898 NEW BEST:: SOT 33214497 SOS 4886206 HAS SOPS 4886206 HAS SOUS 4056833 HAS SOUPS 4056833 WITH SCORE 4061719.206
AT ITER 8909 NEW BEST:: SOT 33214494 SOS 4886203 HAS SOPS 4886203 HAS SOUS 4056830 HAS SOUPS 4056830 WITH SCORE 4061716.203
AT ITER 8912 NEW BEST:: SOT 33214388 SOS 4886203 HAS SOPS 4886203 HAS SOUS 4056724 HAS SOUPS 4056724 WITH SCORE 4061610.203
AT ITER 8981 NEW BEST:: SOT 33214388 SOS 4886203 HAS SOPS 4886203 HAS SOUS 4056271 HAS SOUPS 4056271 WITH SCORE 4061157.203
AT ITER 9050 NEW BEST:: SOT 33214070 SOS 4885815 HAS SOPS 4885815 HAS SOUS 4055883 HAS SOUPS 4055883 WITH SCORE 4060768.815
AT ITER 9113 NEW BEST:: SOT 33213862 SOS 4885607 HAS SOPS 4885607 HAS SOUS 4055674 HAS SOUPS 4055674 WITH SCORE 4060559.607
AT ITER 9127 NEW BEST:: SOT 33213846 SOS 4885559 HAS SOPS 4885559 HAS SOUS 4055642 HAS SOUPS 4055642 WITH SCORE 4060527.559
AT ITER 9183 NEW BEST:: SOT 33213319 SOS 4885113 HAS SOPS 4885113 HAS SOUS 4055196 HAS SOUPS 4055196 WITH SCORE 4060081.113
AT ITER 9201 NEW BEST:: SOT 33212603 SOS 4884500 HAS SOPS 4884500 HAS SOUS 4054480 HAS SOUPS 4054480 WITH SCORE 4059364.5
AT ITER 9218 NEW BEST:: SOT 33212603 SOS 4884442 HAS SOPS 4884442 HAS SOUS 4054422 HAS SOUPS 4054422 WITH SCORE 4059306.442
AT ITER 9277 NEW BEST:: SOT 33212205 SOS 4883000 HAS SOPS 4883000 HAS SOUS 4054313 HAS SOUPS 4054313 WITH SCORE 4059196.0
AT ITER 9305 NEW BEST:: SOT 33212205 SOS 4883000 HAS SOPS 4883000 HAS SOUS 4053282 HAS SOUPS 4053282 WITH SCORE 4058165.0
AT ITER 9404 NEW BEST:: SOT 33211852 SOS 4882294 HAS SOPS 4882294 HAS SOUS 4051880 HAS SOUPS 4051880 WITH SCORE 4056762.294
AT ITER 9453 NEW BEST:: SOT 33211006 SOS 4880602 HAS SOPS 4880602 HAS SOUS 4050188 HAS SOUPS 4050188 WITH SCORE 4055068.602
AT ITER 9560 NEW BEST:: SOT 33211005 SOS 4880600 HAS SOPS 4880600 HAS SOUS 4050186 HAS SOUPS 4050186 WITH SCORE 4055066.6
AT ITER 9607 NEW BEST:: SOT 33211029 SOS 4880126 HAS SOPS 4880126 HAS SOUS 4049973 HAS SOUPS 4049973 WITH SCORE 4054853.126
AT ITER 9620 NEW BEST:: SOT 33210616 SOS 4880116 HAS SOPS 4880116 HAS SOUS 4049973 HAS SOUPS 4049973 WITH SCORE 4054853.116
AT ITER 9645 NEW BEST:: SOT 33210616 SOS 4879790 HAS SOPS 4879790 HAS SOUS 4049941 HAS SOUPS 4049941 WITH SCORE 4054820.79
AT ITER 9723 NEW BEST:: SOT 33210589 SOS 4879763 HAS SOPS 4879763 HAS SOUS 4049914 HAS SOUPS 4049914 WITH SCORE 4054793.763
AT ITER 9730 NEW BEST:: SOT 33210878 SOS 4879113 HAS SOPS 4879113 HAS SOUS 4049761 HAS SOUPS 4049761 WITH SCORE 4054640.113
AT ITER 9737 NEW BEST:: SOT 33210671 SOS 4878699 HAS SOPS 4878699 HAS SOUS 4049307 HAS SOUPS 4049307 WITH SCORE 4054185.699
AT ITER 9786 NEW BEST:: SOT 33210361 SOS 4878079 HAS SOPS 4878079 HAS SOUS 4049215 HAS SOUPS 4049215 WITH SCORE 4054093.079
AT ITER 9825 NEW BEST:: SOT 33208308 SOS 4873725 HAS SOPS 4873725 HAS SOUS 4048212 HAS SOUPS 4048212 WITH SCORE 4053085.725
AT ITER 9834 NEW BEST:: SOT 33207744 SOS 4873323 HAS SOPS 4873323 HAS SOUS 4047831 HAS SOUPS 4047831 WITH SCORE 4052704.323
AT ITER 9845 NEW BEST:: SOT 33207010 SOS 4872095 HAS SOPS 4872095 HAS SOUS 4046389 HAS SOUPS 4046389 WITH SCORE 4051261.095
AT ITER 9849 NEW BEST:: SOT 33206925 SOS 4872023 HAS SOPS 4872023 HAS SOUS 4046304 HAS SOUPS 4046304 WITH SCORE 4051176.023
AT ITER 9862 NEW BEST:: SOT 33206860 SOS 4871989 HAS SOPS 4871989 HAS SOUS 4046304 HAS SOUPS 4046304 WITH SCORE 4051175.989
AT ITER 9945 NEW BEST:: SOT 33206860 SOS 4871745 HAS SOPS 4871745 HAS SOUS 4046060 HAS SOUPS 4046060 WITH SCORE 4050931.745

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="AutoFlight-PT-96b"
export BK_EXAMINATION="StateSpace"
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 AutoFlight-PT-96b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r003-smll-158897508600521"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/AutoFlight-PT-96b.tgz
mv AutoFlight-PT-96b execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "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 [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "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 "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.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 '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
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 ;