Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r011-oct2-167813600300528.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is AutoFlight-PT-96b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813600300528
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.5M
-rw-r--r-- 1 mcc users 9.0K Feb 25 18:06 CTLCardinality.txt
-rw-r--r-- 1 mcc users 102K Feb 25 18:06 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 25 18:06 CTLFireability.txt
-rw-r--r-- 1 mcc users 72K Feb 25 18:06 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:33 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:33 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 25 18:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 182K Feb 25 18:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.1K Feb 25 18:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 25 18:07 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:33 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:33 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 1.9M Mar 5 18:22 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 1678739574547

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=AutoFlight-PT-96b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 20:32:57] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 20:32:57] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 20:32:58] [INFO ] Load time of PNML (sax parser for PT used): 228 ms
[2023-03-13 20:32:58] [INFO ] Transformed 7894 places.
[2023-03-13 20:32:58] [INFO ] Transformed 7868 transitions.
[2023-03-13 20:32:58] [INFO ] Found NUPN structural information;
[2023-03-13 20:32:58] [INFO ] Parsed PT model containing 7894 places and 7868 transitions and 18200 arcs in 666 ms.
[2023-03-13 20:32:58] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 7894 places, 7868 transitions and 18200 arcs took 41 ms.
Total runtime 762 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutoFlight (PT), instance 96b
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/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 17 NEW BEST:: SOT 33326847 SOS 4581813 HAS SOPS 4581813 HAS SOUS 4222681 HAS SOUPS 4222681 WITH SCORE 4227262.813
AT ITER 28 NEW BEST:: SOT 33326847 SOS 4581523 HAS SOPS 4581523 HAS SOUS 4222681 HAS SOUPS 4222681 WITH SCORE 4227262.523
AT ITER 33 NEW BEST:: SOT 33326201 SOS 4580231 HAS SOPS 4580231 HAS SOUS 4220984 HAS SOUPS 4220984 WITH SCORE 4225564.231
AT ITER 34 NEW BEST:: SOT 33325847 SOS 4579877 HAS SOPS 4579877 HAS SOUS 4220453 HAS SOUPS 4220453 WITH SCORE 4225032.877
AT ITER 51 NEW BEST:: SOT 33325589 SOS 4560611 HAS SOPS 4560611 HAS SOUS 4219937 HAS SOUPS 4219937 WITH SCORE 4224497.611
AT ITER 97 NEW BEST:: SOT 33325589 SOS 4560611 HAS SOPS 4560611 HAS SOUS 4219936 HAS SOUPS 4219936 WITH SCORE 4224496.611
AT ITER 129 NEW BEST:: SOT 33325589 SOS 4560238 HAS SOPS 4560238 HAS SOUS 4219563 HAS SOUPS 4219563 WITH SCORE 4224123.238
AT ITER 133 NEW BEST:: SOT 33325589 SOS 4560043 HAS SOPS 4560043 HAS SOUS 4219368 HAS SOUPS 4219368 WITH SCORE 4223928.043
AT ITER 139 NEW BEST:: SOT 33325437 SOS 4559829 HAS SOPS 4559829 HAS SOUS 4219154 HAS SOUPS 4219154 WITH SCORE 4223713.829
AT ITER 149 NEW BEST:: SOT 33325437 SOS 4559561 HAS SOPS 4559561 HAS SOUS 4218886 HAS SOUPS 4218886 WITH SCORE 4223445.561
AT ITER 159 NEW BEST:: SOT 33325437 SOS 4559561 HAS SOPS 4559561 HAS SOUS 4218807 HAS SOUPS 4218807 WITH SCORE 4223366.561
AT ITER 172 NEW BEST:: SOT 33325481 SOS 4559335 HAS SOPS 4559335 HAS SOUS 4218581 HAS SOUPS 4218581 WITH SCORE 4223140.335
AT ITER 179 NEW BEST:: SOT 33324355 SOS 4557083 HAS SOPS 4557083 HAS SOUS 4217454 HAS SOUPS 4217454 WITH SCORE 4222011.083
AT ITER 204 NEW BEST:: SOT 33324355 SOS 4556749 HAS SOPS 4556749 HAS SOUS 4217120 HAS SOUPS 4217120 WITH SCORE 4221676.749
AT ITER 211 NEW BEST:: SOT 33324355 SOS 4556502 HAS SOPS 4556502 HAS SOUS 4216873 HAS SOUPS 4216873 WITH SCORE 4221429.502
AT ITER 214 NEW BEST:: SOT 33324186 SOS 4556411 HAS SOPS 4556411 HAS SOUS 4216703 HAS SOUPS 4216703 WITH SCORE 4221259.411
AT ITER 266 NEW BEST:: SOT 33323995 SOS 4556029 HAS SOPS 4556029 HAS SOUS 4216703 HAS SOUPS 4216703 WITH SCORE 4221259.029
AT ITER 304 NEW BEST:: SOT 33323403 SOS 4555518 HAS SOPS 4555518 HAS SOUS 4216111 HAS SOUPS 4216111 WITH SCORE 4220666.518
AT ITER 306 NEW BEST:: SOT 33323556 SOS 4555168 HAS SOPS 4555168 HAS SOUS 4215761 HAS SOUPS 4215761 WITH SCORE 4220316.168
AT ITER 324 NEW BEST:: SOT 33323277 SOS 4554610 HAS SOPS 4554610 HAS SOUS 4215482 HAS SOUPS 4215482 WITH SCORE 4220036.61
AT ITER 331 NEW BEST:: SOT 33323186 SOS 4554428 HAS SOPS 4554428 HAS SOUS 4215300 HAS SOUPS 4215300 WITH SCORE 4219854.428
AT ITER 339 NEW BEST:: SOT 33322091 SOS 4552968 HAS SOPS 4552968 HAS SOUS 4213840 HAS SOUPS 4213840 WITH SCORE 4218392.968
AT ITER 340 NEW BEST:: SOT 33321855 SOS 4552205 HAS SOPS 4552205 HAS SOUS 4213604 HAS SOUPS 4213604 WITH SCORE 4218156.205
AT ITER 349 NEW BEST:: SOT 33321396 SOS 4551746 HAS SOPS 4551746 HAS SOUS 4212686 HAS SOUPS 4212686 WITH SCORE 4217237.746
AT ITER 370 NEW BEST:: SOT 33321396 SOS 4551746 HAS SOPS 4551746 HAS SOUS 4212685 HAS SOUPS 4212685 WITH SCORE 4217236.746
AT ITER 409 NEW BEST:: SOT 33321265 SOS 4551484 HAS SOPS 4551484 HAS SOUS 4212423 HAS SOUPS 4212423 WITH SCORE 4216974.484
AT ITER 445 NEW BEST:: SOT 33321265 SOS 4551379 HAS SOPS 4551379 HAS SOUS 4212318 HAS SOUPS 4212318 WITH SCORE 4216869.379
AT ITER 499 NEW BEST:: SOT 33321265 SOS 4551065 HAS SOPS 4551065 HAS SOUS 4212004 HAS SOUPS 4212004 WITH SCORE 4216555.065
AT ITER 503 NEW BEST:: SOT 33320516 SOS 4549567 HAS SOPS 4549567 HAS SOUS 4211979 HAS SOUPS 4211979 WITH SCORE 4216528.567
AT ITER 506 NEW BEST:: SOT 33320134 SOS 4548803 HAS SOPS 4548803 HAS SOUS 4210618 HAS SOUPS 4210618 WITH SCORE 4215166.803
AT ITER 535 NEW BEST:: SOT 33319802 SOS 4548459 HAS SOPS 4548459 HAS SOUS 4210274 HAS SOUPS 4210274 WITH SCORE 4214822.459
AT ITER 543 NEW BEST:: SOT 33319934 SOS 4548388 HAS SOPS 4548388 HAS SOUS 4210203 HAS SOUPS 4210203 WITH SCORE 4214751.388
AT ITER 565 NEW BEST:: SOT 33320009 SOS 4548300 HAS SOPS 4548300 HAS SOUS 4210115 HAS SOUPS 4210115 WITH SCORE 4214663.3
AT ITER 578 NEW BEST:: SOT 33320009 SOS 4547986 HAS SOPS 4547986 HAS SOUS 4209801 HAS SOUPS 4209801 WITH SCORE 4214348.986
AT ITER 601 NEW BEST:: SOT 33320052 SOS 4547689 HAS SOPS 4547689 HAS SOUS 4209504 HAS SOUPS 4209504 WITH SCORE 4214051.689
AT ITER 619 NEW BEST:: SOT 33320047 SOS 4547674 HAS SOPS 4547674 HAS SOUS 4209494 HAS SOUPS 4209494 WITH SCORE 4214041.674
AT ITER 625 NEW BEST:: SOT 33320047 SOS 4547398 HAS SOPS 4547398 HAS SOUS 4209218 HAS SOUPS 4209218 WITH SCORE 4213765.398
AT ITER 705 NEW BEST:: SOT 33319898 SOS 4547268 HAS SOPS 4547268 HAS SOUS 4209158 HAS SOUPS 4209158 WITH SCORE 4213705.268
AT ITER 736 NEW BEST:: SOT 33319738 SOS 4547108 HAS SOPS 4547108 HAS SOUS 4208998 HAS SOUPS 4208998 WITH SCORE 4213545.108
AT ITER 776 NEW BEST:: SOT 33319738 SOS 4546312 HAS SOPS 4546312 HAS SOUS 4208202 HAS SOUPS 4208202 WITH SCORE 4212748.312
AT ITER 812 NEW BEST:: SOT 33319459 SOS 4546033 HAS SOPS 4546033 HAS SOUS 4207923 HAS SOUPS 4207923 WITH SCORE 4212469.033
AT ITER 819 NEW BEST:: SOT 33319006 SOS 4545273 HAS SOPS 4545273 HAS SOUS 4207163 HAS SOUPS 4207163 WITH SCORE 4211708.273
AT ITER 832 NEW BEST:: SOT 33318554 SOS 4544369 HAS SOPS 4544369 HAS SOUS 4206259 HAS SOUPS 4206259 WITH SCORE 4210803.369
AT ITER 833 NEW BEST:: SOT 33318262 SOS 4544077 HAS SOPS 4544077 HAS SOUS 4205966 HAS SOUPS 4205966 WITH SCORE 4210510.077
AT ITER 846 NEW BEST:: SOT 33318078 SOS 4542891 HAS SOPS 4542891 HAS SOUS 4205598 HAS SOUPS 4205598 WITH SCORE 4210140.891
AT ITER 855 NEW BEST:: SOT 33318078 SOS 4542678 HAS SOPS 4542678 HAS SOUS 4205385 HAS SOUPS 4205385 WITH SCORE 4209927.678
AT ITER 856 NEW BEST:: SOT 33317809 SOS 4542140 HAS SOPS 4542140 HAS SOUS 4204232 HAS SOUPS 4204232 WITH SCORE 4208774.14
AT ITER 900 NEW BEST:: SOT 33317655 SOS 4542044 HAS SOPS 4542044 HAS SOUS 4204232 HAS SOUPS 4204232 WITH SCORE 4208774.044
AT ITER 915 NEW BEST:: SOT 33317654 SOS 4542017 HAS SOPS 4542017 HAS SOUS 4204205 HAS SOUPS 4204205 WITH SCORE 4208747.017
AT ITER 923 NEW BEST:: SOT 33317610 SOS 4541929 HAS SOPS 4541929 HAS SOUS 4204117 HAS SOUPS 4204117 WITH SCORE 4208658.929
AT ITER 930 NEW BEST:: SOT 33317206 SOS 4541121 HAS SOPS 4541121 HAS SOUS 4203309 HAS SOUPS 4203309 WITH SCORE 4207850.121
AT ITER 932 NEW BEST:: SOT 33316922 SOS 4540803 HAS SOPS 4540803 HAS SOUS 4202991 HAS SOUPS 4202991 WITH SCORE 4207531.803
AT ITER 950 NEW BEST:: SOT 33316680 SOS 4539111 HAS SOPS 4539111 HAS SOUS 4202507 HAS SOUPS 4202507 WITH SCORE 4207046.111
AT ITER 967 NEW BEST:: SOT 33315928 SOS 4539165 HAS SOPS 4539165 HAS SOUS 4202012 HAS SOUPS 4202012 WITH SCORE 4206551.165
AT ITER 988 NEW BEST:: SOT 33315344 SOS 4537997 HAS SOPS 4537997 HAS SOUS 4200440 HAS SOUPS 4200440 WITH SCORE 4204977.997
AT ITER 989 NEW BEST:: SOT 33314340 SOS 4537798 HAS SOPS 4537798 HAS SOUS 4199911 HAS SOUPS 4199911 WITH SCORE 4204448.798
AT ITER 994 NEW BEST:: SOT 33314339 SOS 4537797 HAS SOPS 4537797 HAS SOUS 4199910 HAS SOUPS 4199910 WITH SCORE 4204447.797
AT ITER 1021 NEW BEST:: SOT 33314333 SOS 4537732 HAS SOPS 4537732 HAS SOUS 4199845 HAS SOUPS 4199845 WITH SCORE 4204382.732
AT ITER 1024 NEW BEST:: SOT 33314099 SOS 4537732 HAS SOPS 4537732 HAS SOUS 4199611 HAS SOUPS 4199611 WITH SCORE 4204148.732
AT ITER 1032 NEW BEST:: SOT 33313906 SOS 4537718 HAS SOPS 4537718 HAS SOUS 4199611 HAS SOUPS 4199611 WITH SCORE 4204148.718
AT ITER 1034 NEW BEST:: SOT 33313906 SOS 4537432 HAS SOPS 4537432 HAS SOUS 4199325 HAS SOUPS 4199325 WITH SCORE 4203862.432
AT ITER 1040 NEW BEST:: SOT 33313852 SOS 4537351 HAS SOPS 4537351 HAS SOUS 4199271 HAS SOUPS 4199271 WITH SCORE 4203808.351
AT ITER 1047 NEW BEST:: SOT 33313543 SOS 4537056 HAS SOPS 4537056 HAS SOUS 4198976 HAS SOUPS 4198976 WITH SCORE 4203513.056
AT ITER 1062 NEW BEST:: SOT 33313930 SOS 4536974 HAS SOPS 4536974 HAS SOUS 4198894 HAS SOUPS 4198894 WITH SCORE 4203430.974
AT ITER 1082 NEW BEST:: SOT 33313705 SOS 4536973 HAS SOPS 4536973 HAS SOUS 4198893 HAS SOUPS 4198893 WITH SCORE 4203429.973
AT ITER 1091 NEW BEST:: SOT 33313705 SOS 4536729 HAS SOPS 4536729 HAS SOUS 4198649 HAS SOUPS 4198649 WITH SCORE 4203185.729
AT ITER 1092 NEW BEST:: SOT 33313705 SOS 4531370 HAS SOPS 4531370 HAS SOUS 4198569 HAS SOUPS 4198569 WITH SCORE 4203100.37
AT ITER 1140 NEW BEST:: SOT 33312833 SOS 4530498 HAS SOPS 4530498 HAS SOUS 4197697 HAS SOUPS 4197697 WITH SCORE 4202227.498
AT ITER 1169 NEW BEST:: SOT 33312833 SOS 4530498 HAS SOPS 4530498 HAS SOUS 4197268 HAS SOUPS 4197268 WITH SCORE 4201798.498
AT ITER 1200 NEW BEST:: SOT 33312680 SOS 4530467 HAS SOPS 4530467 HAS SOUS 4197113 HAS SOUPS 4197113 WITH SCORE 4201643.467
AT ITER 1202 NEW BEST:: SOT 33312498 SOS 4530285 HAS SOPS 4530285 HAS SOUS 4196931 HAS SOUPS 4196931 WITH SCORE 4201461.285
AT ITER 1209 NEW BEST:: SOT 33311952 SOS 4529193 HAS SOPS 4529193 HAS SOUS 4195399 HAS SOUPS 4195399 WITH SCORE 4199928.193
AT ITER 1216 NEW BEST:: SOT 33312118 SOS 4529525 HAS SOPS 4529525 HAS SOUS 4195040 HAS SOUPS 4195040 WITH SCORE 4199569.525
AT ITER 1254 NEW BEST:: SOT 33312118 SOS 4529272 HAS SOPS 4529272 HAS SOUS 4195040 HAS SOUPS 4195040 WITH SCORE 4199569.272
AT ITER 1261 NEW BEST:: SOT 33312007 SOS 4529050 HAS SOPS 4529050 HAS SOUS 4194818 HAS SOUPS 4194818 WITH SCORE 4199347.05
AT ITER 1283 NEW BEST:: SOT 33312007 SOS 4528708 HAS SOPS 4528708 HAS SOUS 4194476 HAS SOUPS 4194476 WITH SCORE 4199004.708
AT ITER 1311 NEW BEST:: SOT 33311927 SOS 4528468 HAS SOPS 4528468 HAS SOUS 4194396 HAS SOUPS 4194396 WITH SCORE 4198924.468
AT ITER 1318 NEW BEST:: SOT 33310477 SOS 4526564 HAS SOPS 4526564 HAS SOUS 4192448 HAS SOUPS 4192448 WITH SCORE 4196974.564
AT ITER 1324 NEW BEST:: SOT 33310477 SOS 4526106 HAS SOPS 4526106 HAS SOUS 4191990 HAS SOUPS 4191990 WITH SCORE 4196516.106
AT ITER 1327 NEW BEST:: SOT 33310476 SOS 4526105 HAS SOPS 4526105 HAS SOUS 4191989 HAS SOUPS 4191989 WITH SCORE 4196515.105
AT ITER 1339 NEW BEST:: SOT 33309354 SOS 4526011 HAS SOPS 4526011 HAS SOUS 4191681 HAS SOUPS 4191681 WITH SCORE 4196207.011
AT ITER 1388 NEW BEST:: SOT 33308885 SOS 4525542 HAS SOPS 4525542 HAS SOUS 4191212 HAS SOUPS 4191212 WITH SCORE 4195737.542
AT ITER 1407 NEW BEST:: SOT 33309034 SOS 4525162 HAS SOPS 4525162 HAS SOUS 4191171 HAS SOUPS 4191171 WITH SCORE 4195696.162
AT ITER 1418 NEW BEST:: SOT 33308645 SOS 4525164 HAS SOPS 4525164 HAS SOUS 4190960 HAS SOUPS 4190960 WITH SCORE 4195485.164
AT ITER 1428 NEW BEST:: SOT 33308370 SOS 4524614 HAS SOPS 4524614 HAS SOUS 4190410 HAS SOUPS 4190410 WITH SCORE 4194934.614
AT ITER 1454 NEW BEST:: SOT 33307857 SOS 4523862 HAS SOPS 4523862 HAS SOUS 4189658 HAS SOUPS 4189658 WITH SCORE 4194181.862
AT ITER 1479 NEW BEST:: SOT 33308006 SOS 4524160 HAS SOPS 4524160 HAS SOUS 4189471 HAS SOUPS 4189471 WITH SCORE 4193995.16
AT ITER 1483 NEW BEST:: SOT 33307917 SOS 4524086 HAS SOPS 4524086 HAS SOUS 4189397 HAS SOUPS 4189397 WITH SCORE 4193921.086
AT ITER 1496 NEW BEST:: SOT 33307616 SOS 4523484 HAS SOPS 4523484 HAS SOUS 4188183 HAS SOUPS 4188183 WITH SCORE 4192706.484
AT ITER 1505 NEW BEST:: SOT 33307991 SOS 4523457 HAS SOPS 4523457 HAS SOUS 4188156 HAS SOUPS 4188156 WITH SCORE 4192679.457
AT ITER 1516 NEW BEST:: SOT 33307838 SOS 4523151 HAS SOPS 4523151 HAS SOUS 4187850 HAS SOUPS 4187850 WITH SCORE 4192373.151
AT ITER 1579 NEW BEST:: SOT 33307605 SOS 4523033 HAS SOPS 4523033 HAS SOUS 4187732 HAS SOUPS 4187732 WITH SCORE 4192255.033
AT ITER 1610 NEW BEST:: SOT 33307432 SOS 4521279 HAS SOPS 4521279 HAS SOUS 4187386 HAS SOUPS 4187386 WITH SCORE 4191907.279
AT ITER 1618 NEW BEST:: SOT 33307095 SOS 4521901 HAS SOPS 4521901 HAS SOUS 4187049 HAS SOUPS 4187049 WITH SCORE 4191570.901
AT ITER 1670 NEW BEST:: SOT 33307095 SOS 4521528 HAS SOPS 4521528 HAS SOUS 4186676 HAS SOUPS 4186676 WITH SCORE 4191197.528
AT ITER 1730 NEW BEST:: SOT 33306820 SOS 4521477 HAS SOPS 4521477 HAS SOUS 4186401 HAS SOUPS 4186401 WITH SCORE 4190922.477
AT ITER 1772 NEW BEST:: SOT 33306820 SOS 4521315 HAS SOPS 4521315 HAS SOUS 4186239 HAS SOUPS 4186239 WITH SCORE 4190760.315
AT ITER 1792 NEW BEST:: SOT 33306347 SOS 4520369 HAS SOPS 4520369 HAS SOUS 4185498 HAS SOUPS 4185498 WITH SCORE 4190018.369
AT ITER 1805 NEW BEST:: SOT 33306346 SOS 4520368 HAS SOPS 4520368 HAS SOUS 4185497 HAS SOUPS 4185497 WITH SCORE 4190017.368
AT ITER 1808 NEW BEST:: SOT 33306113 SOS 4520619 HAS SOPS 4520619 HAS SOUS 4185264 HAS SOUPS 4185264 WITH SCORE 4189784.619
AT ITER 1826 NEW BEST:: SOT 33306113 SOS 4520304 HAS SOPS 4520304 HAS SOUS 4184949 HAS SOUPS 4184949 WITH SCORE 4189469.304
AT ITER 1889 NEW BEST:: SOT 33305597 SOS 4519272 HAS SOPS 4519272 HAS SOUS 4183362 HAS SOUPS 4183362 WITH SCORE 4187881.272
AT ITER 1909 NEW BEST:: SOT 33305597 SOS 4519229 HAS SOPS 4519229 HAS SOUS 4183319 HAS SOUPS 4183319 WITH SCORE 4187838.229
AT ITER 1917 NEW BEST:: SOT 33305596 SOS 4519227 HAS SOPS 4519227 HAS SOUS 4183317 HAS SOUPS 4183317 WITH SCORE 4187836.227
AT ITER 1972 NEW BEST:: SOT 33305595 SOS 4519225 HAS SOPS 4519225 HAS SOUS 4183315 HAS SOUPS 4183315 WITH SCORE 4187834.225
AT ITER 2003 NEW BEST:: SOT 33305096 SOS 4518227 HAS SOPS 4518227 HAS SOUS 4182317 HAS SOUPS 4182317 WITH SCORE 4186835.227
AT ITER 2021 NEW BEST:: SOT 33304824 SOS 4518026 HAS SOPS 4518026 HAS SOUS 4182116 HAS SOUPS 4182116 WITH SCORE 4186634.026
AT ITER 2043 NEW BEST:: SOT 33304217 SOS 4517620 HAS SOPS 4517620 HAS SOUS 4181710 HAS SOUPS 4181710 WITH SCORE 4186227.62
AT ITER 2045 NEW BEST:: SOT 33304028 SOS 4516636 HAS SOPS 4516636 HAS SOUS 4181610 HAS SOUPS 4181610 WITH SCORE 4186126.636
AT ITER 2059 NEW BEST:: SOT 33303832 SOS 4516616 HAS SOPS 4516616 HAS SOUS 4181461 HAS SOUPS 4181461 WITH SCORE 4185977.616
AT ITER 2080 NEW BEST:: SOT 33303993 SOS 4516614 HAS SOPS 4516614 HAS SOUS 4181459 HAS SOUPS 4181459 WITH SCORE 4185975.614
AT ITER 2086 NEW BEST:: SOT 33303966 SOS 4516559 HAS SOPS 4516559 HAS SOUS 4181411 HAS SOUPS 4181411 WITH SCORE 4185927.559
AT ITER 2140 NEW BEST:: SOT 33303326 SOS 4515279 HAS SOPS 4515279 HAS SOUS 4179891 HAS SOUPS 4179891 WITH SCORE 4184406.279
AT ITER 2176 NEW BEST:: SOT 33303323 SOS 4514916 HAS SOPS 4514916 HAS SOUS 4179100 HAS SOUPS 4179100 WITH SCORE 4183614.916
AT ITER 2207 NEW BEST:: SOT 33302667 SOS 4514384 HAS SOPS 4514384 HAS SOUS 4178508 HAS SOUPS 4178508 WITH SCORE 4183022.384
AT ITER 2228 NEW BEST:: SOT 33302667 SOS 4514307 HAS SOPS 4514307 HAS SOUS 4178431 HAS SOUPS 4178431 WITH SCORE 4182945.307
AT ITER 2269 NEW BEST:: SOT 33302092 SOS 4513597 HAS SOPS 4513597 HAS SOUS 4177721 HAS SOUPS 4177721 WITH SCORE 4182234.597
AT ITER 2282 NEW BEST:: SOT 33301939 SOS 4513453 HAS SOPS 4513453 HAS SOUS 4177574 HAS SOUPS 4177574 WITH SCORE 4182087.453
AT ITER 2301 NEW BEST:: SOT 33301789 SOS 4514119 HAS SOPS 4514119 HAS SOUS 4177424 HAS SOUPS 4177424 WITH SCORE 4181938.119
AT ITER 2323 NEW BEST:: SOT 33301447 SOS 4513777 HAS SOPS 4513777 HAS SOUS 4177082 HAS SOUPS 4177082 WITH SCORE 4181595.777
AT ITER 2373 NEW BEST:: SOT 33300940 SOS 4513386 HAS SOPS 4513386 HAS SOUS 4176986 HAS SOUPS 4176986 WITH SCORE 4181499.386
AT ITER 2384 NEW BEST:: SOT 33300568 SOS 4512780 HAS SOPS 4512780 HAS SOUS 4176008 HAS SOUPS 4176008 WITH SCORE 4180520.78
AT ITER 2387 NEW BEST:: SOT 33300567 SOS 4512675 HAS SOPS 4512675 HAS SOUS 4176006 HAS SOUPS 4176006 WITH SCORE 4180518.675
AT ITER 2403 NEW BEST:: SOT 33300486 SOS 4512547 HAS SOPS 4512547 HAS SOUS 4175878 HAS SOUPS 4175878 WITH SCORE 4180390.547
AT ITER 2415 NEW BEST:: SOT 33300317 SOS 4512378 HAS SOPS 4512378 HAS SOUS 4175709 HAS SOUPS 4175709 WITH SCORE 4180221.378
AT ITER 2432 NEW BEST:: SOT 33300151 SOS 4512257 HAS SOPS 4512257 HAS SOUS 4175588 HAS SOUPS 4175588 WITH SCORE 4180100.257
AT ITER 2462 NEW BEST:: SOT 33299785 SOS 4511525 HAS SOPS 4511525 HAS SOUS 4174139 HAS SOUPS 4174139 WITH SCORE 4178650.525
AT ITER 2463 NEW BEST:: SOT 33299785 SOS 4511482 HAS SOPS 4511482 HAS SOUS 4174096 HAS SOUPS 4174096 WITH SCORE 4178607.482
AT ITER 2479 NEW BEST:: SOT 33299436 SOS 4511053 HAS SOPS 4511053 HAS SOUS 4173667 HAS SOUPS 4173667 WITH SCORE 4178178.053
AT ITER 2491 NEW BEST:: SOT 33299362 SOS 4510905 HAS SOPS 4510905 HAS SOUS 4173593 HAS SOUPS 4173593 WITH SCORE 4178103.905
AT ITER 2508 NEW BEST:: SOT 33298133 SOS 4509098 HAS SOPS 4509098 HAS SOUS 4171713 HAS SOUPS 4171713 WITH SCORE 4176222.098
AT ITER 2529 NEW BEST:: SOT 33298175 SOS 4509182 HAS SOPS 4509182 HAS SOUS 4171506 HAS SOUPS 4171506 WITH SCORE 4176015.182
AT ITER 2532 NEW BEST:: SOT 33298175 SOS 4508709 HAS SOPS 4508709 HAS SOUS 4171033 HAS SOUPS 4171033 WITH SCORE 4175541.709
AT ITER 2551 NEW BEST:: SOT 33298175 SOS 4508611 HAS SOPS 4508611 HAS SOUS 4170935 HAS SOUPS 4170935 WITH SCORE 4175443.611
AT ITER 2607 NEW BEST:: SOT 33297702 SOS 4507011 HAS SOPS 4507011 HAS SOUS 4170636 HAS SOUPS 4170636 WITH SCORE 4175143.011
AT ITER 2613 NEW BEST:: SOT 33297701 SOS 4507009 HAS SOPS 4507009 HAS SOUS 4170634 HAS SOUPS 4170634 WITH SCORE 4175141.009
AT ITER 2635 NEW BEST:: SOT 33297701 SOS 4506396 HAS SOPS 4506396 HAS SOUS 4170021 HAS SOUPS 4170021 WITH SCORE 4174527.396
AT ITER 2687 NEW BEST:: SOT 33297701 SOS 4506365 HAS SOPS 4506365 HAS SOUS 4169990 HAS SOUPS 4169990 WITH SCORE 4174496.365
AT ITER 2760 NEW BEST:: SOT 33297230 SOS 4505961 HAS SOPS 4505961 HAS SOUS 4169519 HAS SOUPS 4169519 WITH SCORE 4174024.961
AT ITER 2804 NEW BEST:: SOT 33296840 SOS 4505052 HAS SOPS 4505052 HAS SOUS 4169129 HAS SOUPS 4169129 WITH SCORE 4173634.052
AT ITER 2818 NEW BEST:: SOT 33295654 SOS 4503866 HAS SOPS 4503866 HAS SOUS 4167943 HAS SOUPS 4167943 WITH SCORE 4172446.866
AT ITER 2861 NEW BEST:: SOT 33295045 SOS 4503129 HAS SOPS 4503129 HAS SOUS 4167206 HAS SOUPS 4167206 WITH SCORE 4171709.129
AT ITER 2889 NEW BEST:: SOT 33295045 SOS 4502931 HAS SOPS 4502931 HAS SOUS 4167008 HAS SOUPS 4167008 WITH SCORE 4171510.931
AT ITER 2921 NEW BEST:: SOT 33295007 SOS 4502893 HAS SOPS 4502893 HAS SOUS 4167008 HAS SOUPS 4167008 WITH SCORE 4171510.893
AT ITER 2968 NEW BEST:: SOT 33294859 SOS 4502892 HAS SOPS 4502892 HAS SOUS 4167007 HAS SOUPS 4167007 WITH SCORE 4171509.892
AT ITER 2976 NEW BEST:: SOT 33294462 SOS 4502098 HAS SOPS 4502098 HAS SOUS 4166610 HAS SOUPS 4166610 WITH SCORE 4171112.098
AT ITER 2983 NEW BEST:: SOT 33294102 SOS 4501378 HAS SOPS 4501378 HAS SOUS 4165491 HAS SOUPS 4165491 WITH SCORE 4169992.378
AT ITER 2984 NEW BEST:: SOT 33294194 SOS 4500904 HAS SOPS 4500904 HAS SOUS 4165346 HAS SOUPS 4165346 WITH SCORE 4169846.904
AT ITER 3006 NEW BEST:: SOT 33293404 SOS 4500903 HAS SOPS 4500903 HAS SOUS 4165345 HAS SOUPS 4165345 WITH SCORE 4169845.903
AT ITER 3028 NEW BEST:: SOT 33293146 SOS 4500129 HAS SOPS 4500129 HAS SOUS 4164829 HAS SOUPS 4164829 WITH SCORE 4169329.129
AT ITER 3035 NEW BEST:: SOT 33293146 SOS 4499865 HAS SOPS 4499865 HAS SOUS 4164565 HAS SOUPS 4164565 WITH SCORE 4169064.865
AT ITER 3129 NEW BEST:: SOT 33293146 SOS 4499520 HAS SOPS 4499520 HAS SOUS 4164220 HAS SOUPS 4164220 WITH SCORE 4168719.52
AT ITER 3157 NEW BEST:: SOT 33292594 SOS 4498416 HAS SOPS 4498416 HAS SOUS 4162806 HAS SOUPS 4162806 WITH SCORE 4167304.416
AT ITER 3164 NEW BEST:: SOT 33292741 SOS 4497942 HAS SOPS 4497942 HAS SOUS 4162716 HAS SOUPS 4162716 WITH SCORE 4167213.942
AT ITER 3168 NEW BEST:: SOT 33292562 SOS 4497877 HAS SOPS 4497877 HAS SOUS 4162358 HAS SOUPS 4162358 WITH SCORE 4166855.877
AT ITER 3258 NEW BEST:: SOT 33292516 SOS 4497831 HAS SOPS 4497831 HAS SOUS 4162312 HAS SOUPS 4162312 WITH SCORE 4166809.831
AT ITER 3290 NEW BEST:: SOT 33292516 SOS 4497478 HAS SOPS 4497478 HAS SOUS 4161959 HAS SOUPS 4161959 WITH SCORE 4166456.478
AT ITER 3333 NEW BEST:: SOT 33292354 SOS 4497154 HAS SOPS 4497154 HAS SOUS 4161797 HAS SOUPS 4161797 WITH SCORE 4166294.154
AT ITER 3335 NEW BEST:: SOT 33291894 SOS 4497103 HAS SOPS 4497103 HAS SOUS 4161307 HAS SOUPS 4161307 WITH SCORE 4165804.103
AT ITER 3360 NEW BEST:: SOT 33291506 SOS 4496784 HAS SOPS 4496784 HAS SOUS 4160954 HAS SOUPS 4160954 WITH SCORE 4165450.784
AT ITER 3374 NEW BEST:: SOT 33291422 SOS 4496616 HAS SOPS 4496616 HAS SOUS 4160870 HAS SOUPS 4160870 WITH SCORE 4165366.616
AT ITER 3400 NEW BEST:: SOT 33291344 SOS 4496460 HAS SOPS 4496460 HAS SOUS 4160714 HAS SOUPS 4160714 WITH SCORE 4165210.46
AT ITER 3406 NEW BEST:: SOT 33291032 SOS 4496068 HAS SOPS 4496068 HAS SOUS 4160394 HAS SOUPS 4160394 WITH SCORE 4164890.068
AT ITER 3407 NEW BEST:: SOT 33290848 SOS 4495700 HAS SOPS 4495700 HAS SOUS 4160005 HAS SOUPS 4160005 WITH SCORE 4164500.7
AT ITER 3451 NEW BEST:: SOT 33290536 SOS 4495577 HAS SOPS 4495577 HAS SOUS 4159670 HAS SOUPS 4159670 WITH SCORE 4164165.577
AT ITER 3453 NEW BEST:: SOT 33290536 SOS 4495507 HAS SOPS 4495507 HAS SOUS 4159600 HAS SOUPS 4159600 WITH SCORE 4164095.507
AT ITER 3495 NEW BEST:: SOT 33290182 SOS 4494799 HAS SOPS 4494799 HAS SOUS 4158422 HAS SOUPS 4158422 WITH SCORE 4162916.799
AT ITER 3507 NEW BEST:: SOT 33289888 SOS 4494273 HAS SOPS 4494273 HAS SOUS 4157896 HAS SOUPS 4157896 WITH SCORE 4162390.273
AT ITER 3533 NEW BEST:: SOT 33289158 SOS 4492580 HAS SOPS 4492580 HAS SOUS 4157140 HAS SOUPS 4157140 WITH SCORE 4161632.58
AT ITER 3605 NEW BEST:: SOT 33289158 SOS 4492579 HAS SOPS 4492579 HAS SOUS 4157139 HAS SOUPS 4157139 WITH SCORE 4161631.579
AT ITER 3619 NEW BEST:: SOT 33288950 SOS 4492050 HAS SOPS 4492050 HAS SOUS 4156610 HAS SOUPS 4156610 WITH SCORE 4161102.05
AT ITER 3626 NEW BEST:: SOT 33288949 SOS 4492049 HAS SOPS 4492049 HAS SOUS 4156609 HAS SOUPS 4156609 WITH SCORE 4161101.049
AT ITER 3654 NEW BEST:: SOT 33288949 SOS 4491771 HAS SOPS 4491771 HAS SOUS 4156331 HAS SOUPS 4156331 WITH SCORE 4160822.771
AT ITER 3665 NEW BEST:: SOT 33289062 SOS 4491740 HAS SOPS 4491740 HAS SOUS 4156300 HAS SOUPS 4156300 WITH SCORE 4160791.74
AT ITER 3687 NEW BEST:: SOT 33288976 SOS 4491568 HAS SOPS 4491568 HAS SOUS 4156128 HAS SOUPS 4156128 WITH SCORE 4160619.568
AT ITER 3694 NEW BEST:: SOT 33288724 SOS 4491316 HAS SOPS 4491316 HAS SOUS 4155624 HAS SOUPS 4155624 WITH SCORE 4160115.316
AT ITER 3707 NEW BEST:: SOT 33288271 SOS 4491106 HAS SOPS 4491106 HAS SOUS 4155171 HAS SOUPS 4155171 WITH SCORE 4159662.106
AT ITER 3733 NEW BEST:: SOT 33288162 SOS 4490996 HAS SOPS 4490996 HAS SOUS 4155170 HAS SOUPS 4155170 WITH SCORE 4159660.996
AT ITER 3765 NEW BEST:: SOT 33288162 SOS 4490615 HAS SOPS 4490615 HAS SOUS 4154789 HAS SOUPS 4154789 WITH SCORE 4159279.615
AT ITER 3782 NEW BEST:: SOT 33287933 SOS 4491537 HAS SOPS 4491537 HAS SOUS 4154560 HAS SOUPS 4154560 WITH SCORE 4159051.537
AT ITER 3805 NEW BEST:: SOT 33287933 SOS 4491380 HAS SOPS 4491380 HAS SOUS 4154560 HAS SOUPS 4154560 WITH SCORE 4159051.38
AT ITER 3875 NEW BEST:: SOT 33287933 SOS 4491092 HAS SOPS 4491092 HAS SOUS 4154560 HAS SOUPS 4154560 WITH SCORE 4159051.092
AT ITER 3888 NEW BEST:: SOT 33287933 SOS 4490778 HAS SOPS 4490778 HAS SOUS 4154246 HAS SOUPS 4154246 WITH SCORE 4158736.778
AT ITER 3935 NEW BEST:: SOT 33287856 SOS 4490701 HAS SOPS 4490701 HAS SOUS 4154246 HAS SOUPS 4154246 WITH SCORE 4158736.701
AT ITER 3947 NEW BEST:: SOT 33287450 SOS 4490700 HAS SOPS 4490700 HAS SOUS 4154245 HAS SOUPS 4154245 WITH SCORE 4158735.7
AT ITER 3951 NEW BEST:: SOT 33287290 SOS 4490380 HAS SOPS 4490380 HAS SOUS 4153690 HAS SOUPS 4153690 WITH SCORE 4158180.38
AT ITER 4002 NEW BEST:: SOT 33287290 SOS 4490380 HAS SOPS 4490380 HAS SOUS 4153676 HAS SOUPS 4153676 WITH SCORE 4158166.38
AT ITER 4004 NEW BEST:: SOT 33286764 SOS 4489328 HAS SOPS 4489328 HAS SOUS 4152139 HAS SOUPS 4152139 WITH SCORE 4156628.328
AT ITER 4009 NEW BEST:: SOT 33286580 SOS 4488960 HAS SOPS 4488960 HAS SOUS 4151771 HAS SOUPS 4151771 WITH SCORE 4156259.96
AT ITER 4019 NEW BEST:: SOT 33286620 SOS 4489040 HAS SOPS 4489040 HAS SOUS 4151665 HAS SOUPS 4151665 WITH SCORE 4156154.04
AT ITER 4038 NEW BEST:: SOT 33286317 SOS 4488737 HAS SOPS 4488737 HAS SOUS 4151362 HAS SOUPS 4151362 WITH SCORE 4155850.737
AT ITER 4051 NEW BEST:: SOT 33285719 SOS 4487541 HAS SOPS 4487541 HAS SOUS 4149713 HAS SOUPS 4149713 WITH SCORE 4154200.541
AT ITER 4080 NEW BEST:: SOT 33285771 SOS 4487139 HAS SOPS 4487139 HAS SOUS 4149564 HAS SOUPS 4149564 WITH SCORE 4154051.139
AT ITER 4083 NEW BEST:: SOT 33285520 SOS 4486753 HAS SOPS 4486753 HAS SOUS 4149178 HAS SOUPS 4149178 WITH SCORE 4153664.753
AT ITER 4144 NEW BEST:: SOT 33285390 SOS 4486493 HAS SOPS 4486493 HAS SOUS 4149025 HAS SOUPS 4149025 WITH SCORE 4153511.493
AT ITER 4216 NEW BEST:: SOT 33285390 SOS 4486324 HAS SOPS 4486324 HAS SOUS 4148856 HAS SOUPS 4148856 WITH SCORE 4153342.324
AT ITER 4240 NEW BEST:: SOT 33285155 SOS 4486013 HAS SOPS 4486013 HAS SOUS 4148621 HAS SOUPS 4148621 WITH SCORE 4153107.013
AT ITER 4243 NEW BEST:: SOT 33285423 SOS 4486012 HAS SOPS 4486012 HAS SOUS 4148620 HAS SOUPS 4148620 WITH SCORE 4153106.012
AT ITER 4253 NEW BEST:: SOT 33285423 SOS 4485658 HAS SOPS 4485658 HAS SOUS 4148502 HAS SOUPS 4148502 WITH SCORE 4152987.658
AT ITER 4270 NEW BEST:: SOT 33285320 SOS 4485452 HAS SOPS 4485452 HAS SOUS 4148098 HAS SOUPS 4148098 WITH SCORE 4152583.452
AT ITER 4282 NEW BEST:: SOT 33285278 SOS 4485368 HAS SOPS 4485368 HAS SOUS 4148035 HAS SOUPS 4148035 WITH SCORE 4152520.368
AT ITER 4288 NEW BEST:: SOT 33285278 SOS 4485279 HAS SOPS 4485279 HAS SOUS 4147946 HAS SOUPS 4147946 WITH SCORE 4152431.279
AT ITER 4307 NEW BEST:: SOT 33285090 SOS 4484983 HAS SOPS 4484983 HAS SOUS 4147650 HAS SOUPS 4147650 WITH SCORE 4152134.983
AT ITER 4317 NEW BEST:: SOT 33284623 SOS 4484516 HAS SOPS 4484516 HAS SOUS 4147183 HAS SOUPS 4147183 WITH SCORE 4151667.516
AT ITER 4375 NEW BEST:: SOT 33284213 SOS 4483696 HAS SOPS 4483696 HAS SOUS 4146363 HAS SOUPS 4146363 WITH SCORE 4150846.696
AT ITER 4387 NEW BEST:: SOT 33284038 SOS 4483138 HAS SOPS 4483138 HAS SOUS 4146013 HAS SOUPS 4146013 WITH SCORE 4150496.138
AT ITER 4400 NEW BEST:: SOT 33284038 SOS 4482824 HAS SOPS 4482824 HAS SOUS 4145699 HAS SOUPS 4145699 WITH SCORE 4150181.824
AT ITER 4408 NEW BEST:: SOT 33284038 SOS 4482344 HAS SOPS 4482344 HAS SOUS 4145219 HAS SOUPS 4145219 WITH SCORE 4149701.344
AT ITER 4431 NEW BEST:: SOT 33283876 SOS 4482020 HAS SOPS 4482020 HAS SOUS 4144895 HAS SOUPS 4144895 WITH SCORE 4149377.02
AT ITER 4478 NEW BEST:: SOT 33280030 SOS 4604980 HAS SOPS 4604980 HAS SOUS 4143368 HAS SOUPS 4143368 WITH SCORE 4147972.98
AT ITER 4511 NEW BEST:: SOT 33279807 SOS 4604653 HAS SOPS 4604653 HAS SOUS 4143041 HAS SOUPS 4143041 WITH SCORE 4147645.653
AT ITER 4523 NEW BEST:: SOT 33279805 SOS 4604651 HAS SOPS 4604651 HAS SOUS 4143039 HAS SOUPS 4143039 WITH SCORE 4147643.651
AT ITER 4578 NEW BEST:: SOT 33279559 SOS 4604338 HAS SOPS 4604338 HAS SOUS 4142726 HAS SOUPS 4142726 WITH SCORE 4147330.338
AT ITER 4580 NEW BEST:: SOT 33278947 SOS 4603982 HAS SOPS 4603982 HAS SOUS 4142114 HAS SOUPS 4142114 WITH SCORE 4146717.982
AT ITER 4581 NEW BEST:: SOT 33278565 SOS 4603409 HAS SOPS 4603409 HAS SOUS 4141732 HAS SOUPS 4141732 WITH SCORE 4146335.409
AT ITER 4587 NEW BEST:: SOT 33278434 SOS 4603328 HAS SOPS 4603328 HAS SOUS 4141299 HAS SOUPS 4141299 WITH SCORE 4145902.328
AT ITER 4612 NEW BEST:: SOT 33278434 SOS 4603309 HAS SOPS 4603309 HAS SOUS 4141280 HAS SOUPS 4141280 WITH SCORE 4145883.309
AT ITER 4652 NEW BEST:: SOT 33278251 SOS 4604255 HAS SOPS 4604255 HAS SOUS 4141097 HAS SOUPS 4141097 WITH SCORE 4145701.255
AT ITER 4681 NEW BEST:: SOT 33278087 SOS 4603927 HAS SOPS 4603927 HAS SOUS 4140372 HAS SOUPS 4140372 WITH SCORE 4144975.927
AT ITER 4685 NEW BEST:: SOT 33278120 SOS 4603682 HAS SOPS 4603682 HAS SOUS 4140127 HAS SOUPS 4140127 WITH SCORE 4144730.682
AT ITER 4713 NEW BEST:: SOT 33277825 SOS 4603606 HAS SOPS 4603606 HAS SOUS 4139942 HAS SOUPS 4139942 WITH SCORE 4144545.606
AT ITER 4717 NEW BEST:: SOT 33277913 SOS 4602512 HAS SOPS 4602512 HAS SOUS 4138848 HAS SOUPS 4138848 WITH SCORE 4143450.512
AT ITER 4724 NEW BEST:: SOT 33277590 SOS 4602189 HAS SOPS 4602189 HAS SOUS 4138525 HAS SOUPS 4138525 WITH SCORE 4143127.189
AT ITER 4742 NEW BEST:: SOT 33277285 SOS 4602665 HAS SOPS 4602665 HAS SOUS 4138220 HAS SOUPS 4138220 WITH SCORE 4142822.665
AT ITER 4745 NEW BEST:: SOT 33277037 SOS 4602169 HAS SOPS 4602169 HAS SOUS 4137972 HAS SOUPS 4137972 WITH SCORE 4142574.169
AT ITER 4762 NEW BEST:: SOT 33277258 SOS 4602611 HAS SOPS 4602611 HAS SOUS 4137821 HAS SOUPS 4137821 WITH SCORE 4142423.611
AT ITER 4778 NEW BEST:: SOT 33277258 SOS 4602334 HAS SOPS 4602334 HAS SOUS 4137544 HAS SOUPS 4137544 WITH SCORE 4142146.334
AT ITER 4782 NEW BEST:: SOT 33277258 SOS 4602224 HAS SOPS 4602224 HAS SOUS 4137544 HAS SOUPS 4137544 WITH SCORE 4142146.224
AT ITER 4821 NEW BEST:: SOT 33277257 SOS 4602223 HAS SOPS 4602223 HAS SOUS 4137543 HAS SOUPS 4137543 WITH SCORE 4142145.223
AT ITER 4839 NEW BEST:: SOT 33277153 SOS 4602119 HAS SOPS 4602119 HAS SOUS 4137439 HAS SOUPS 4137439 WITH SCORE 4142041.119
AT ITER 4842 NEW BEST:: SOT 33276873 SOS 4601559 HAS SOPS 4601559 HAS SOUS 4136879 HAS SOUPS 4136879 WITH SCORE 4141480.559
AT ITER 4884 NEW BEST:: SOT 33276345 SOS 4601259 HAS SOPS 4601259 HAS SOUS 4136110 HAS SOUPS 4136110 WITH SCORE 4140711.259
AT ITER 4930 NEW BEST:: SOT 33276345 SOS 4601065 HAS SOPS 4601065 HAS SOUS 4135916 HAS SOUPS 4135916 WITH SCORE 4140517.065
AT ITER 4943 NEW BEST:: SOT 33275906 SOS 4600828 HAS SOPS 4600828 HAS SOUS 4135679 HAS SOUPS 4135679 WITH SCORE 4140279.828
AT ITER 4997 NEW BEST:: SOT 33275906 SOS 4600828 HAS SOPS 4600828 HAS SOUS 4135654 HAS SOUPS 4135654 WITH SCORE 4140254.828
AT ITER 5007 NEW BEST:: SOT 33275906 SOS 4600303 HAS SOPS 4600303 HAS SOUS 4135129 HAS SOUPS 4135129 WITH SCORE 4139729.303
AT ITER 5031 NEW BEST:: SOT 33275906 SOS 4600107 HAS SOPS 4600107 HAS SOUS 4134933 HAS SOUPS 4134933 WITH SCORE 4139533.107
AT ITER 5085 NEW BEST:: SOT 33274522 SOS 4598028 HAS SOPS 4598028 HAS SOUS 4133549 HAS SOUPS 4133549 WITH SCORE 4138147.028
AT ITER 5122 NEW BEST:: SOT 33274522 SOS 4597749 HAS SOPS 4597749 HAS SOUS 4133270 HAS SOUPS 4133270 WITH SCORE 4137867.749
AT ITER 5138 NEW BEST:: SOT 33274522 SOS 4597575 HAS SOPS 4597575 HAS SOUS 4133096 HAS SOUPS 4133096 WITH SCORE 4137693.575
AT ITER 5155 NEW BEST:: SOT 33274522 SOS 4597252 HAS SOPS 4597252 HAS SOUS 4132773 HAS SOUPS 4132773 WITH SCORE 4137370.252
AT ITER 5180 NEW BEST:: SOT 33273447 SOS 4596382 HAS SOPS 4596382 HAS SOUS 4131058 HAS SOUPS 4131058 WITH SCORE 4135654.382
AT ITER 5194 NEW BEST:: SOT 33273776 SOS 4596599 HAS SOPS 4596599 HAS SOUS 4130698 HAS SOUPS 4130698 WITH SCORE 4135294.599
AT ITER 5197 NEW BEST:: SOT 33273755 SOS 4596578 HAS SOPS 4596578 HAS SOUS 4130677 HAS SOUPS 4130677 WITH SCORE 4135273.578
AT ITER 5207 NEW BEST:: SOT 33273039 SOS 4596210 HAS SOPS 4596210 HAS SOUS 4129961 HAS SOUPS 4129961 WITH SCORE 4134557.21
AT ITER 5223 NEW BEST:: SOT 33273437 SOS 4596168 HAS SOPS 4596168 HAS SOUS 4129919 HAS SOUPS 4129919 WITH SCORE 4134515.168
AT ITER 5259 NEW BEST:: SOT 33273346 SOS 4595986 HAS SOPS 4595986 HAS SOUS 4129737 HAS SOUPS 4129737 WITH SCORE 4134332.986
AT ITER 5358 NEW BEST:: SOT 33273346 SOS 4595932 HAS SOPS 4595932 HAS SOUS 4129683 HAS SOUPS 4129683 WITH SCORE 4134278.932
AT ITER 5368 NEW BEST:: SOT 33273011 SOS 4595262 HAS SOPS 4595262 HAS SOUS 4129348 HAS SOUPS 4129348 WITH SCORE 4133943.262
AT ITER 5372 NEW BEST:: SOT 33273076 SOS 4594965 HAS SOPS 4594965 HAS SOUS 4129051 HAS SOUPS 4129051 WITH SCORE 4133645.965
AT ITER 5422 NEW BEST:: SOT 33272386 SOS 4593585 HAS SOPS 4593585 HAS SOUS 4128973 HAS SOUPS 4128973 WITH SCORE 4133566.585
AT ITER 5425 NEW BEST:: SOT 33272251 SOS 4593180 HAS SOPS 4593180 HAS SOUS 4128703 HAS SOUPS 4128703 WITH SCORE 4133296.18
AT ITER 5439 NEW BEST:: SOT 33272251 SOS 4593180 HAS SOPS 4593180 HAS SOUS 4128702 HAS SOUPS 4128702 WITH SCORE 4133295.18
AT ITER 5441 NEW BEST:: SOT 33271605 SOS 4593179 HAS SOPS 4593179 HAS SOUS 4128701 HAS SOUPS 4128701 WITH SCORE 4133294.179
AT ITER 5483 NEW BEST:: SOT 33271585 SOS 4593141 HAS SOPS 4593141 HAS SOUS 4128663 HAS SOUPS 4128663 WITH SCORE 4133256.141
AT ITER 5510 NEW BEST:: SOT 33271585 SOS 4593140 HAS SOPS 4593140 HAS SOUS 4128662 HAS SOUPS 4128662 WITH SCORE 4133255.14
AT ITER 5521 NEW BEST:: SOT 33271464 SOS 4592898 HAS SOPS 4592898 HAS SOUS 4128420 HAS SOUPS 4128420 WITH SCORE 4133012.898
AT ITER 5523 NEW BEST:: SOT 33271464 SOS 4592866 HAS SOPS 4592866 HAS SOUS 4128388 HAS SOUPS 4128388 WITH SCORE 4132980.866
AT ITER 5526 NEW BEST:: SOT 33271376 SOS 4592690 HAS SOPS 4592690 HAS SOUS 4128212 HAS SOUPS 4128212 WITH SCORE 4132804.69
AT ITER 5550 NEW BEST:: SOT 33271065 SOS 4592379 HAS SOPS 4592379 HAS SOUS 4127901 HAS SOUPS 4127901 WITH SCORE 4132493.379
AT ITER 5585 NEW BEST:: SOT 33271033 SOS 4590259 HAS SOPS 4590259 HAS SOUS 4127142 HAS SOUPS 4127142 WITH SCORE 4131732.259
AT ITER 5628 NEW BEST:: SOT 33271032 SOS 4590257 HAS SOPS 4590257 HAS SOUS 4127140 HAS SOUPS 4127140 WITH SCORE 4131730.257
AT ITER 5675 NEW BEST:: SOT 33271424 SOS 4590253 HAS SOPS 4590253 HAS SOUS 4127136 HAS SOUPS 4127136 WITH SCORE 4131726.253
AT ITER 5698 NEW BEST:: SOT 33271225 SOS 4590054 HAS SOPS 4590054 HAS SOUS 4127136 HAS SOUPS 4127136 WITH SCORE 4131726.054
AT ITER 5733 NEW BEST:: SOT 33271225 SOS 4590022 HAS SOPS 4590022 HAS SOUS 4127104 HAS SOUPS 4127104 WITH SCORE 4131694.022
AT ITER 5754 NEW BEST:: SOT 33271014 SOS 4590516 HAS SOPS 4590516 HAS SOUS 4126893 HAS SOUPS 4126893 WITH SCORE 4131483.516
AT ITER 5761 NEW BEST:: SOT 33271014 SOS 4590516 HAS SOPS 4590516 HAS SOUS 4126498 HAS SOUPS 4126498 WITH SCORE 4131088.516
AT ITER 5763 NEW BEST:: SOT 33271094 SOS 4589946 HAS SOPS 4589946 HAS SOUS 4125928 HAS SOUPS 4125928 WITH SCORE 4130517.946
AT ITER 5775 NEW BEST:: SOT 33271077 SOS 4589929 HAS SOPS 4589929 HAS SOUS 4125911 HAS SOUPS 4125911 WITH SCORE 4130500.929
AT ITER 5820 NEW BEST:: SOT 33270355 SOS 4589627 HAS SOPS 4589627 HAS SOUS 4125609 HAS SOUPS 4125609 WITH SCORE 4130198.627
AT ITER 5863 NEW BEST:: SOT 33270355 SOS 4496144 HAS SOPS 4496144 HAS SOUS 4125608 HAS SOUPS 4125608 WITH SCORE 4130104.144
AT ITER 5868 NEW BEST:: SOT 33270266 SOS 4496055 HAS SOPS 4496055 HAS SOUS 4125519 HAS SOUPS 4125519 WITH SCORE 4130015.055
AT ITER 5875 NEW BEST:: SOT 33269870 SOS 4496719 HAS SOPS 4496719 HAS SOUS 4125310 HAS SOUPS 4125310 WITH SCORE 4129806.719
AT ITER 5931 NEW BEST:: SOT 33269513 SOS 4496005 HAS SOPS 4496005 HAS SOUS 4125290 HAS SOUPS 4125290 WITH SCORE 4129786.005
AT ITER 5984 NEW BEST:: SOT 33269422 SOS 4495732 HAS SOPS 4495732 HAS SOUS 4125108 HAS SOUPS 4125108 WITH SCORE 4129603.732
AT ITER 6005 NEW BEST:: SOT 33269411 SOS 4495710 HAS SOPS 4495710 HAS SOUS 4124904 HAS SOUPS 4124904 WITH SCORE 4129399.71
AT ITER 6024 NEW BEST:: SOT 33268918 SOS 4494947 HAS SOPS 4494947 HAS SOUS 4124411 HAS SOUPS 4124411 WITH SCORE 4128905.947
AT ITER 6030 NEW BEST:: SOT 33268937 SOS 4494608 HAS SOPS 4494608 HAS SOUS 4124072 HAS SOUPS 4124072 WITH SCORE 4128566.608
AT ITER 6037 NEW BEST:: SOT 33268483 SOS 4494154 HAS SOPS 4494154 HAS SOUS 4123618 HAS SOUPS 4123618 WITH SCORE 4128112.154
AT ITER 6045 NEW BEST:: SOT 33268315 SOS 4493902 HAS SOPS 4493902 HAS SOUS 4123366 HAS SOUPS 4123366 WITH SCORE 4127859.902
AT ITER 6055 NEW BEST:: SOT 33268090 SOS 4493452 HAS SOPS 4493452 HAS SOUS 4123365 HAS SOUPS 4123365 WITH SCORE 4127858.452
AT ITER 6060 NEW BEST:: SOT 33268090 SOS 4493416 HAS SOPS 4493416 HAS SOUS 4123329 HAS SOUPS 4123329 WITH SCORE 4127822.416
AT ITER 6085 NEW BEST:: SOT 33267945 SOS 4493217 HAS SOPS 4493217 HAS SOUS 4123130 HAS SOUPS 4123130 WITH SCORE 4127623.217
AT ITER 6109 NEW BEST:: SOT 33267782 SOS 4492565 HAS SOPS 4492565 HAS SOUS 4122641 HAS SOUPS 4122641 WITH SCORE 4127133.565
AT ITER 6142 NEW BEST:: SOT 33267832 SOS 4492562 HAS SOPS 4492562 HAS SOUS 4122638 HAS SOUPS 4122638 WITH SCORE 4127130.562
AT ITER 6166 NEW BEST:: SOT 33267626 SOS 4492431 HAS SOPS 4492431 HAS SOUS 4122470 HAS SOUPS 4122470 WITH SCORE 4126962.431
AT ITER 6171 NEW BEST:: SOT 33267224 SOS 4491653 HAS SOPS 4491653 HAS SOUS 4121692 HAS SOUPS 4121692 WITH SCORE 4126183.653
AT ITER 6175 NEW BEST:: SOT 33267224 SOS 4491598 HAS SOPS 4491598 HAS SOUS 4121668 HAS SOUPS 4121668 WITH SCORE 4126159.598
AT ITER 6199 NEW BEST:: SOT 33266887 SOS 4490924 HAS SOPS 4490924 HAS SOUS 4120994 HAS SOUPS 4120994 WITH SCORE 4125484.924
AT ITER 6200 NEW BEST:: SOT 33266887 SOS 4490924 HAS SOPS 4490924 HAS SOUS 4120993 HAS SOUPS 4120993 WITH SCORE 4125483.924
AT ITER 6264 NEW BEST:: SOT 33267081 SOS 4491312 HAS SOPS 4491312 HAS SOUS 4120636 HAS SOUPS 4120636 WITH SCORE 4125127.312
AT ITER 6278 NEW BEST:: SOT 33266901 SOS 4491132 HAS SOPS 4491132 HAS SOUS 4120456 HAS SOUPS 4120456 WITH SCORE 4124947.132
AT ITER 6286 NEW BEST:: SOT 33265833 SOS 4489530 HAS SOPS 4489530 HAS SOUS 4118854 HAS SOUPS 4118854 WITH SCORE 4123343.53
AT ITER 6330 NEW BEST:: SOT 33265428 SOS 4488835 HAS SOPS 4488835 HAS SOUS 4118449 HAS SOUPS 4118449 WITH SCORE 4122937.835
AT ITER 6357 NEW BEST:: SOT 33265428 SOS 4488638 HAS SOPS 4488638 HAS SOUS 4118252 HAS SOUPS 4118252 WITH SCORE 4122740.638
AT ITER 6405 NEW BEST:: SOT 33265187 SOS 4488637 HAS SOPS 4488637 HAS SOUS 4118251 HAS SOUPS 4118251 WITH SCORE 4122739.637
AT ITER 6452 NEW BEST:: SOT 33264911 SOS 4488847 HAS SOPS 4488847 HAS SOUS 4118122 HAS SOUPS 4118122 WITH SCORE 4122610.847
AT ITER 6498 NEW BEST:: SOT 33264832 SOS 4489211 HAS SOPS 4489211 HAS SOUS 4118066 HAS SOUPS 4118066 WITH SCORE 4122555.211
AT ITER 6511 NEW BEST:: SOT 33264545 SOS 4489813 HAS SOPS 4489813 HAS SOUS 4117779 HAS SOUPS 4117779 WITH SCORE 4122268.813
AT ITER 6533 NEW BEST:: SOT 33264545 SOS 4489795 HAS SOPS 4489795 HAS SOUS 4117761 HAS SOUPS 4117761 WITH SCORE 4122250.795
AT ITER 6551 NEW BEST:: SOT 33264545 SOS 4489758 HAS SOPS 4489758 HAS SOUS 4117724 HAS SOUPS 4117724 WITH SCORE 4122213.758
AT ITER 6640 NEW BEST:: SOT 33264734 SOS 4489050 HAS SOPS 4489050 HAS SOUS 4117604 HAS SOUPS 4117604 WITH SCORE 4122093.05
AT ITER 6660 NEW BEST:: SOT 33264592 SOS 4488766 HAS SOPS 4488766 HAS SOUS 4117320 HAS SOUPS 4117320 WITH SCORE 4121808.766
AT ITER 6673 NEW BEST:: SOT 33264592 SOS 4488766 HAS SOPS 4488766 HAS SOUS 4116935 HAS SOUPS 4116935 WITH SCORE 4121423.766
AT ITER 6742 NEW BEST:: SOT 33264506 SOS 4489196 HAS SOPS 4489196 HAS SOUS 4116683 HAS SOUPS 4116683 WITH SCORE 4121172.196
AT ITER 6777 NEW BEST:: SOT 33264505 SOS 4489195 HAS SOPS 4489195 HAS SOUS 4116682 HAS SOUPS 4116682 WITH SCORE 4121171.195
AT ITER 6778 NEW BEST:: SOT 33263647 SOS 4488337 HAS SOPS 4488337 HAS SOUS 4115824 HAS SOUPS 4115824 WITH SCORE 4120312.337
AT ITER 6793 NEW BEST:: SOT 33263372 SOS 4487787 HAS SOPS 4487787 HAS SOUS 4114776 HAS SOUPS 4114776 WITH SCORE 4119263.787
AT ITER 6809 NEW BEST:: SOT 33263372 SOS 4487262 HAS SOPS 4487262 HAS SOUS 4114776 HAS SOUPS 4114776 WITH SCORE 4119263.262
AT ITER 6867 NEW BEST:: SOT 33263372 SOS 4487165 HAS SOPS 4487165 HAS SOUS 4114679 HAS SOUPS 4114679 WITH SCORE 4119166.165
AT ITER 6909 NEW BEST:: SOT 33263500 SOS 4486697 HAS SOPS 4486697 HAS SOUS 4114573 HAS SOUPS 4114573 WITH SCORE 4119059.697
AT ITER 6915 NEW BEST:: SOT 33262908 SOS 4485429 HAS SOPS 4485429 HAS SOUS 4114541 HAS SOUPS 4114541 WITH SCORE 4119026.429
AT ITER 6937 NEW BEST:: SOT 33262203 SOS 4484019 HAS SOPS 4484019 HAS SOUS 4113131 HAS SOUPS 4113131 WITH SCORE 4117615.019
AT ITER 6952 NEW BEST:: SOT 33262300 SOS 4483841 HAS SOPS 4483841 HAS SOUS 4112953 HAS SOUPS 4112953 WITH SCORE 4117436.841
AT ITER 6964 NEW BEST:: SOT 33262186 SOS 4483727 HAS SOPS 4483727 HAS SOUS 4112839 HAS SOUPS 4112839 WITH SCORE 4117322.727
AT ITER 6980 NEW BEST:: SOT 33262269 SOS 4484599 HAS SOPS 4484599 HAS SOUS 4112621 HAS SOUPS 4112621 WITH SCORE 4117105.599
AT ITER 7003 NEW BEST:: SOT 33261496 SOS 4483691 HAS SOPS 4483691 HAS SOUS 4111713 HAS SOUPS 4111713 WITH SCORE 4116196.691
AT ITER 7004 NEW BEST:: SOT 33261496 SOS 4483691 HAS SOPS 4483691 HAS SOUS 4111712 HAS SOUPS 4111712 WITH SCORE 4116195.691
AT ITER 7025 NEW BEST:: SOT 33261147 SOS 4482993 HAS SOPS 4482993 HAS SOUS 4111360 HAS SOUPS 4111360 WITH SCORE 4115842.993
AT ITER 7038 NEW BEST:: SOT 33260785 SOS 4482269 HAS SOPS 4482269 HAS SOUS 4110280 HAS SOUPS 4110280 WITH SCORE 4114762.269
AT ITER 7079 NEW BEST:: SOT 33260823 SOS 4482032 HAS SOPS 4482032 HAS SOUS 4110043 HAS SOUPS 4110043 WITH SCORE 4114525.032
AT ITER 7080 NEW BEST:: SOT 33260823 SOS 4482019 HAS SOPS 4482019 HAS SOUS 4110030 HAS SOUPS 4110030 WITH SCORE 4114512.019
AT ITER 7120 NEW BEST:: SOT 33260664 SOS 4481860 HAS SOPS 4481860 HAS SOUS 4109871 HAS SOUPS 4109871 WITH SCORE 4114352.86
AT ITER 7137 NEW BEST:: SOT 33260664 SOS 4481547 HAS SOPS 4481547 HAS SOUS 4109558 HAS SOUPS 4109558 WITH SCORE 4114039.547
AT ITER 7147 NEW BEST:: SOT 33260356 SOS 4480931 HAS SOPS 4480931 HAS SOUS 4109264 HAS SOUPS 4109264 WITH SCORE 4113744.931
AT ITER 7179 NEW BEST:: SOT 33260234 SOS 4480687 HAS SOPS 4480687 HAS SOUS 4109020 HAS SOUPS 4109020 WITH SCORE 4113500.687
AT ITER 7192 NEW BEST:: SOT 33260343 SOS 4480213 HAS SOPS 4480213 HAS SOUS 4108892 HAS SOUPS 4108892 WITH SCORE 4113372.213
AT ITER 7229 NEW BEST:: SOT 33259884 SOS 4480126 HAS SOPS 4480126 HAS SOUS 4108342 HAS SOUPS 4108342 WITH SCORE 4112822.126
AT ITER 7246 NEW BEST:: SOT 33259812 SOS 4479910 HAS SOPS 4479910 HAS SOUS 4108198 HAS SOUPS 4108198 WITH SCORE 4112677.91
AT ITER 7273 NEW BEST:: SOT 33259812 SOS 4479607 HAS SOPS 4479607 HAS SOUS 4108097 HAS SOUPS 4108097 WITH SCORE 4112576.607
AT ITER 7315 NEW BEST:: SOT 33259938 SOS 4479606 HAS SOPS 4479606 HAS SOUS 4108096 HAS SOUPS 4108096 WITH SCORE 4112575.606
AT ITER 7322 NEW BEST:: SOT 33259895 SOS 4479520 HAS SOPS 4479520 HAS SOUS 4108010 HAS SOUPS 4108010 WITH SCORE 4112489.52
AT ITER 7328 NEW BEST:: SOT 33259783 SOS 4479184 HAS SOPS 4479184 HAS SOUS 4107898 HAS SOUPS 4107898 WITH SCORE 4112377.184
AT ITER 7336 NEW BEST:: SOT 33259599 SOS 4478816 HAS SOPS 4478816 HAS SOUS 4107530 HAS SOUPS 4107530 WITH SCORE 4112008.816
AT ITER 7351 NEW BEST:: SOT 33259953 SOS 4478376 HAS SOPS 4478376 HAS SOUS 4107090 HAS SOUPS 4107090 WITH SCORE 4111568.376
AT ITER 7395 NEW BEST:: SOT 33259777 SOS 4478076 HAS SOPS 4478076 HAS SOUS 4106790 HAS SOUPS 4106790 WITH SCORE 4111268.076
AT ITER 7467 NEW BEST:: SOT 33259513 SOS 4476702 HAS SOPS 4476702 HAS SOUS 4106736 HAS SOUPS 4106736 WITH SCORE 4111212.702
AT ITER 7554 NEW BEST:: SOT 33259697 SOS 4476707 HAS SOPS 4476707 HAS SOUS 4106082 HAS SOUPS 4106082 WITH SCORE 4110558.707
AT ITER 7569 NEW BEST:: SOT 33259549 SOS 4476559 HAS SOPS 4476559 HAS SOUS 4106082 HAS SOUPS 4106082 WITH SCORE 4110558.559
AT ITER 7574 NEW BEST:: SOT 33259178 SOS 4476687 HAS SOPS 4476687 HAS SOUS 4105711 HAS SOUPS 4105711 WITH SCORE 4110187.687
AT ITER 7592 NEW BEST:: SOT 33258856 SOS 4476428 HAS SOPS 4476428 HAS SOUS 4105063 HAS SOUPS 4105063 WITH SCORE 4109539.428
AT ITER 7601 NEW BEST:: SOT 33258403 SOS 4475983 HAS SOPS 4475983 HAS SOUS 4104863 HAS SOUPS 4104863 WITH SCORE 4109338.983
AT ITER 7654 NEW BEST:: SOT 33257591 SOS 4477016 HAS SOPS 4477016 HAS SOUS 4104858 HAS SOUPS 4104858 WITH SCORE 4109335.016
AT ITER 7668 NEW BEST:: SOT 33257591 SOS 4476718 HAS SOPS 4476718 HAS SOUS 4104560 HAS SOUPS 4104560 WITH SCORE 4109036.718
AT ITER 7678 NEW BEST:: SOT 33256917 SOS 4475370 HAS SOPS 4475370 HAS SOUS 4103886 HAS SOUPS 4103886 WITH SCORE 4108361.37
AT ITER 7706 NEW BEST:: SOT 33256525 SOS 4475636 HAS SOPS 4475636 HAS SOUS 4103494 HAS SOUPS 4103494 WITH SCORE 4107969.636
AT ITER 7713 NEW BEST:: SOT 33255158 SOS 4472648 HAS SOPS 4472648 HAS SOUS 4103252 HAS SOUPS 4103252 WITH SCORE 4107724.648
AT ITER 7721 NEW BEST:: SOT 33255158 SOS 4472648 HAS SOPS 4472648 HAS SOUS 4103251 HAS SOUPS 4103251 WITH SCORE 4107723.648
AT ITER 7743 NEW BEST:: SOT 33254828 SOS 4471988 HAS SOPS 4471988 HAS SOUS 4102261 HAS SOUPS 4102261 WITH SCORE 4106732.988
AT ITER 7794 NEW BEST:: SOT 33254827 SOS 4471987 HAS SOPS 4471987 HAS SOUS 4102260 HAS SOUPS 4102260 WITH SCORE 4106731.987
AT ITER 7835 NEW BEST:: SOT 33254058 SOS 4470961 HAS SOPS 4470961 HAS SOUS 4101491 HAS SOUPS 4101491 WITH SCORE 4105961.961
AT ITER 7841 NEW BEST:: SOT 33253522 SOS 4470525 HAS SOPS 4470525 HAS SOUS 4100955 HAS SOUPS 4100955 WITH SCORE 4105425.525
AT ITER 7848 NEW BEST:: SOT 33253388 SOS 4470391 HAS SOPS 4470391 HAS SOUS 4100821 HAS SOUPS 4100821 WITH SCORE 4105291.391
AT ITER 7900 NEW BEST:: SOT 33253157 SOS 4470245 HAS SOPS 4470245 HAS SOUS 4100675 HAS SOUPS 4100675 WITH SCORE 4105145.245
AT ITER 7930 NEW BEST:: SOT 33253497 SOS 4470925 HAS SOPS 4470925 HAS SOUS 4099978 HAS SOUPS 4099978 WITH SCORE 4104448.925
AT ITER 7936 NEW BEST:: SOT 33253347 SOS 4470625 HAS SOPS 4470625 HAS SOUS 4099678 HAS SOUPS 4099678 WITH SCORE 4104148.625
AT ITER 7962 NEW BEST:: SOT 33253347 SOS 4470624 HAS SOPS 4470624 HAS SOUS 4099677 HAS SOUPS 4099677 WITH SCORE 4104147.624
AT ITER 7981 NEW BEST:: SOT 33253443 SOS 4470434 HAS SOPS 4470434 HAS SOUS 4099487 HAS SOUPS 4099487 WITH SCORE 4103957.434
AT ITER 7986 NEW BEST:: SOT 33253299 SOS 4470290 HAS SOPS 4470290 HAS SOUS 4099487 HAS SOUPS 4099487 WITH SCORE 4103957.29
AT ITER 8017 NEW BEST:: SOT 33252267 SOS 4468327 HAS SOPS 4468327 HAS SOUS 4097694 HAS SOUPS 4097694 WITH SCORE 4102162.327
AT ITER 8030 NEW BEST:: SOT 33252267 SOS 4468085 HAS SOPS 4468085 HAS SOUS 4097693 HAS SOUPS 4097693 WITH SCORE 4102161.085
AT ITER 8051 NEW BEST:: SOT 33252248 SOS 4468066 HAS SOPS 4468066 HAS SOUS 4097674 HAS SOUPS 4097674 WITH SCORE 4102142.066
AT ITER 8071 NEW BEST:: SOT 33251959 SOS 4468778 HAS SOPS 4468778 HAS SOUS 4097385 HAS SOUPS 4097385 WITH SCORE 4101853.778
AT ITER 8087 NEW BEST:: SOT 33251739 SOS 4469205 HAS SOPS 4469205 HAS SOUS 4097214 HAS SOUPS 4097214 WITH SCORE 4101683.205
AT ITER 8094 NEW BEST:: SOT 33251687 SOS 4469319 HAS SOPS 4469319 HAS SOUS 4097197 HAS SOUPS 4097197 WITH SCORE 4101666.319
AT ITER 8116 NEW BEST:: SOT 33251028 SOS 4468771 HAS SOPS 4468771 HAS SOUS 4096649 HAS SOUPS 4096649 WITH SCORE 4101117.771
AT ITER 8127 NEW BEST:: SOT 33251028 SOS 4468771 HAS SOPS 4468771 HAS SOUS 4095769 HAS SOUPS 4095769 WITH SCORE 4100237.771
AT ITER 8147 NEW BEST:: SOT 33251027 SOS 4468770 HAS SOPS 4468770 HAS SOUS 4095768 HAS SOUPS 4095768 WITH SCORE 4100236.77
AT ITER 8204 NEW BEST:: SOT 33251387 SOS 4468749 HAS SOPS 4468749 HAS SOUS 4095747 HAS SOUPS 4095747 WITH SCORE 4100215.749
AT ITER 8224 NEW BEST:: SOT 33251151 SOS 4466997 HAS SOPS 4466997 HAS SOUS 4095275 HAS SOUPS 4095275 WITH SCORE 4099741.997
AT ITER 8235 NEW BEST:: SOT 33251151 SOS 4466902 HAS SOPS 4466902 HAS SOUS 4095180 HAS SOUPS 4095180 WITH SCORE 4099646.902
AT ITER 8249 NEW BEST:: SOT 33250478 SOS 4466094 HAS SOPS 4466094 HAS SOUS 4094372 HAS SOUPS 4094372 WITH SCORE 4098838.094
AT ITER 8267 NEW BEST:: SOT 33250427 SOS 4466093 HAS SOPS 4466093 HAS SOUS 4094371 HAS SOUPS 4094371 WITH SCORE 4098837.093
AT ITER 8332 NEW BEST:: SOT 33250427 SOS 4465675 HAS SOPS 4465675 HAS SOUS 4094371 HAS SOUPS 4094371 WITH SCORE 4098836.675
AT ITER 8336 NEW BEST:: SOT 33250441 SOS 4465209 HAS SOPS 4465209 HAS SOUS 4093425 HAS SOUPS 4093425 WITH SCORE 4097890.209
AT ITER 8354 NEW BEST:: SOT 33250008 SOS 4464776 HAS SOPS 4464776 HAS SOUS 4092992 HAS SOUPS 4092992 WITH SCORE 4097456.776
AT ITER 8362 NEW BEST:: SOT 33250117 SOS 4464586 HAS SOPS 4464586 HAS SOUS 4092802 HAS SOUPS 4092802 WITH SCORE 4097266.586
AT ITER 8414 NEW BEST:: SOT 33250117 SOS 4464317 HAS SOPS 4464317 HAS SOUS 4092533 HAS SOUPS 4092533 WITH SCORE 4096997.317
AT ITER 8422 NEW BEST:: SOT 33250117 SOS 4464317 HAS SOPS 4464317 HAS SOUS 4092477 HAS SOUPS 4092477 WITH SCORE 4096941.317
AT ITER 8534 NEW BEST:: SOT 33250117 SOS 4464189 HAS SOPS 4464189 HAS SOUS 4092477 HAS SOUPS 4092477 WITH SCORE 4096941.189
AT ITER 8575 NEW BEST:: SOT 33250117 SOS 4464189 HAS SOPS 4464189 HAS SOUS 4092357 HAS SOUPS 4092357 WITH SCORE 4096821.189
AT ITER 8634 NEW BEST:: SOT 33249436 SOS 4463373 HAS SOPS 4463373 HAS SOUS 4091541 HAS SOUPS 4091541 WITH SCORE 4096004.373
AT ITER 8658 NEW BEST:: SOT 33249436 SOS 4462565 HAS SOPS 4462565 HAS SOUS 4091541 HAS SOUPS 4091541 WITH SCORE 4096003.565
AT ITER 8664 NEW BEST:: SOT 33249436 SOS 4462111 HAS SOPS 4462111 HAS SOUS 4091087 HAS SOUPS 4091087 WITH SCORE 4095549.111
AT ITER 8668 NEW BEST:: SOT 33249430 SOS 4462110 HAS SOPS 4462110 HAS SOUS 4091086 HAS SOUPS 4091086 WITH SCORE 4095548.11
AT ITER 8671 NEW BEST:: SOT 33249430 SOS 4462010 HAS SOPS 4462010 HAS SOUS 4090986 HAS SOUPS 4090986 WITH SCORE 4095448.01
AT ITER 8724 NEW BEST:: SOT 33249430 SOS 4461894 HAS SOPS 4461894 HAS SOUS 4090870 HAS SOUPS 4090870 WITH SCORE 4095331.894
AT ITER 8754 NEW BEST:: SOT 33249430 SOS 4461694 HAS SOPS 4461694 HAS SOUS 4090670 HAS SOUPS 4090670 WITH SCORE 4095131.694
AT ITER 8779 NEW BEST:: SOT 33249069 SOS 4460972 HAS SOPS 4460972 HAS SOUS 4090309 HAS SOUPS 4090309 WITH SCORE 4094769.972
AT ITER 8810 NEW BEST:: SOT 33249406 SOS 4461646 HAS SOPS 4461646 HAS SOUS 4090255 HAS SOUPS 4090255 WITH SCORE 4094716.646
AT ITER 8828 NEW BEST:: SOT 33249273 SOS 4461200 HAS SOPS 4461200 HAS SOUS 4090072 HAS SOUPS 4090072 WITH SCORE 4094533.2
AT ITER 8850 NEW BEST:: SOT 33249273 SOS 4461135 HAS SOPS 4461135 HAS SOUS 4090007 HAS SOUPS 4090007 WITH SCORE 4094468.135
AT ITER 8862 NEW BEST:: SOT 33249005 SOS 4460774 HAS SOPS 4460774 HAS SOUS 4089378 HAS SOUPS 4089378 WITH SCORE 4093838.774
AT ITER 8868 NEW BEST:: SOT 33248669 SOS 4460438 HAS SOPS 4460438 HAS SOUS 4089042 HAS SOUPS 4089042 WITH SCORE 4093502.438
AT ITER 8900 NEW BEST:: SOT 33248669 SOS 4460340 HAS SOPS 4460340 HAS SOUS 4088944 HAS SOUPS 4088944 WITH SCORE 4093404.34
AT ITER 8994 NEW BEST:: SOT 33248669 SOS 4459779 HAS SOPS 4459779 HAS SOUS 4088383 HAS SOUPS 4088383 WITH SCORE 4092842.779
AT ITER 9009 NEW BEST:: SOT 33248669 SOS 4459589 HAS SOPS 4459589 HAS SOUS 4088193 HAS SOUPS 4088193 WITH SCORE 4092652.589
AT ITER 9031 NEW BEST:: SOT 33248561 SOS 4459373 HAS SOPS 4459373 HAS SOUS 4087977 HAS SOUPS 4087977 WITH SCORE 4092436.373
AT ITER 9032 NEW BEST:: SOT 33247515 SOS 4457281 HAS SOPS 4457281 HAS SOUS 4086113 HAS SOUPS 4086113 WITH SCORE 4090570.281
AT ITER 9035 NEW BEST:: SOT 33246902 SOS 4456447 HAS SOPS 4456447 HAS SOUS 4085589 HAS SOUPS 4085589 WITH SCORE 4090045.447
AT ITER 9057 NEW BEST:: SOT 33246766 SOS 4456039 HAS SOPS 4456039 HAS SOUS 4085181 HAS SOUPS 4085181 WITH SCORE 4089637.039
AT ITER 9063 NEW BEST:: SOT 33246766 SOS 4455713 HAS SOPS 4455713 HAS SOUS 4085181 HAS SOUPS 4085181 WITH SCORE 4089636.713
AT ITER 9103 NEW BEST:: SOT 33245841 SOS 4454284 HAS SOPS 4454284 HAS SOUS 4083907 HAS SOUPS 4083907 WITH SCORE 4088361.284
AT ITER 9106 NEW BEST:: SOT 33245610 SOS 4453314 HAS SOPS 4453314 HAS SOUS 4082937 HAS SOUPS 4082937 WITH SCORE 4087390.314
AT ITER 9109 NEW BEST:: SOT 33245137 SOS 4453160 HAS SOPS 4453160 HAS SOUS 4082840 HAS SOUPS 4082840 WITH SCORE 4087293.16
AT ITER 9131 NEW BEST:: SOT 33245137 SOS 4453058 HAS SOPS 4453058 HAS SOUS 4082738 HAS SOUPS 4082738 WITH SCORE 4087191.058
AT ITER 9132 NEW BEST:: SOT 33245137 SOS 4452762 HAS SOPS 4452762 HAS SOUS 4082442 HAS SOUPS 4082442 WITH SCORE 4086894.762
AT ITER 9218 NEW BEST:: SOT 33244980 SOS 4452291 HAS SOPS 4452291 HAS SOUS 4082285 HAS SOUPS 4082285 WITH SCORE 4086737.291
AT ITER 9257 NEW BEST:: SOT 33244770 SOS 4452012 HAS SOPS 4452012 HAS SOUS 4081940 HAS SOUPS 4081940 WITH SCORE 4086392.012
AT ITER 9296 NEW BEST:: SOT 33244770 SOS 4451596 HAS SOPS 4451596 HAS SOUS 4081911 HAS SOUPS 4081911 WITH SCORE 4086362.596
AT ITER 9306 NEW BEST:: SOT 33244684 SOS 4451424 HAS SOPS 4451424 HAS SOUS 4081653 HAS SOUPS 4081653 WITH SCORE 4086104.424
AT ITER 9365 NEW BEST:: SOT 33245079 SOS 4451269 HAS SOPS 4451269 HAS SOUS 4081498 HAS SOUPS 4081498 WITH SCORE 4085949.269
AT ITER 9371 NEW BEST:: SOT 33244845 SOS 4451035 HAS SOPS 4451035 HAS SOUS 4081498 HAS SOUPS 4081498 WITH SCORE 4085949.035
AT ITER 9395 NEW BEST:: SOT 33244844 SOS 4451034 HAS SOPS 4451034 HAS SOUS 4081497 HAS SOUPS 4081497 WITH SCORE 4085948.034
AT ITER 9437 NEW BEST:: SOT 33244783 SOS 4450973 HAS SOPS 4450973 HAS SOUS 4081436 HAS SOUPS 4081436 WITH SCORE 4085886.973
AT ITER 9499 NEW BEST:: SOT 33244443 SOS 4451457 HAS SOPS 4451457 HAS SOUS 4081305 HAS SOUPS 4081305 WITH SCORE 4085756.457
AT ITER 9549 NEW BEST:: SOT 33244080 SOS 4450731 HAS SOPS 4450731 HAS SOUS 4080579 HAS SOUPS 4080579 WITH SCORE 4085029.731
AT ITER 9578 NEW BEST:: SOT 33244080 SOS 4449980 HAS SOPS 4449980 HAS SOUS 4080579 HAS SOUPS 4080579 WITH SCORE 4085028.98
AT ITER 9599 NEW BEST:: SOT 33244080 SOS 4449731 HAS SOPS 4449731 HAS SOUS 4080330 HAS SOUPS 4080330 WITH SCORE 4084779.731
AT ITER 9607 NEW BEST:: SOT 33243700 SOS 4449668 HAS SOPS 4449668 HAS SOUS 4080109 HAS SOUPS 4080109 WITH SCORE 4084558.668
AT ITER 9635 NEW BEST:: SOT 33243700 SOS 4449516 HAS SOPS 4449516 HAS SOUS 4079957 HAS SOUPS 4079957 WITH SCORE 4084406.516
AT ITER 9656 NEW BEST:: SOT 33243924 SOS 4449964 HAS SOPS 4449964 HAS SOUS 4079754 HAS SOUPS 4079754 WITH SCORE 4084203.964
AT ITER 9671 NEW BEST:: SOT 33244045 SOS 4449953 HAS SOPS 4449953 HAS SOUS 4079743 HAS SOUPS 4079743 WITH SCORE 4084192.953
AT ITER 9683 NEW BEST:: SOT 33243921 SOS 4449705 HAS SOPS 4449705 HAS SOUS 4079495 HAS SOUPS 4079495 WITH SCORE 4083944.705
AT ITER 9708 NEW BEST:: SOT 33244031 SOS 4449450 HAS SOPS 4449450 HAS SOUS 4079240 HAS SOUPS 4079240 WITH SCORE 4083689.45
AT ITER 9723 NEW BEST:: SOT 33244031 SOS 4449348 HAS SOPS 4449348 HAS SOUS 4079138 HAS SOUPS 4079138 WITH SCORE 4083587.348
AT ITER 9758 NEW BEST:: SOT 33244031 SOS 4449300 HAS SOPS 4449300 HAS SOUS 4079090 HAS SOUPS 4079090 WITH SCORE 4083539.3
AT ITER 9854 NEW BEST:: SOT 33244031 SOS 4449214 HAS SOPS 4449214 HAS SOUS 4079004 HAS SOUPS 4079004 WITH SCORE 4083453.214
AT ITER 9858 NEW BEST:: SOT 33243999 SOS 4449150 HAS SOPS 4449150 HAS SOUS 4079004 HAS SOUPS 4079004 WITH SCORE 4083453.15
AT ITER 9865 NEW BEST:: SOT 33243999 SOS 4449082 HAS SOPS 4449082 HAS SOUS 4079004 HAS SOUPS 4079004 WITH SCORE 4083453.082
AT ITER 9893 NEW BEST:: SOT 33243261 SOS 4448983 HAS SOPS 4448983 HAS SOUS 4078905 HAS SOUPS 4078905 WITH SCORE 4083353.983
AT ITER 9896 NEW BEST:: SOT 33242754 SOS 4448707 HAS SOPS 4448707 HAS SOUS 4078629 HAS SOUPS 4078629 WITH SCORE 4083077.707
AT ITER 9899 NEW BEST:: SOT 33242489 SOS 4448177 HAS SOPS 4448177 HAS SOUS 4077254 HAS SOUPS 4077254 WITH SCORE 4081702.177
AT ITER 9905 NEW BEST:: SOT 33242489 SOS 4448177 HAS SOPS 4448177 HAS SOUS 4077253 HAS SOUPS 4077253 WITH SCORE 4081701.177
AT ITER 9946 NEW BEST:: SOT 33242489 SOS 4448043 HAS SOPS 4448043 HAS SOUS 4077119 HAS SOUPS 4077119 WITH SCORE 4081567.043
AT ITER 9964 NEW BEST:: SOT 33242303 SOS 4447672 HAS SOPS 4447672 HAS SOUS 4076933 HAS SOUPS 4076933 WITH SCORE 4081380.672
AT ITER 9981 NEW BEST:: SOT 33242303 SOS 4447573 HAS SOPS 4447573 HAS SOUS 4076933 HAS SOUPS 4076933 WITH SCORE 4081380.573
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 13730372 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16117388 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

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="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smartxred"
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 4"
echo " Run identifier is r011-oct2-167813600300528"
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 ;