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.r003-oct2-167813590400120.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 smart
Input is ASLink-PT-07b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-oct2-167813590400120
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.5M
-rw-r--r-- 1 mcc users 6.6K Feb 26 13:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 26 13:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 26 13:05 CTLFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 26 13:05 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Feb 25 15:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 25 15:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 13:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 112K Feb 26 13:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.8K Feb 26 13:06 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 66K Feb 26 13:06 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:29 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.1M 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 1678469067574

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ASLink-PT-07b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 07b
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 3222 places, 3986 transitions, 12126 arcs.
AT ITER 0 NEW BEST:: SOT 6887059 SOS 1328016 HAS SOPS 1328016 HAS SOUS 1070413 HAS SOUPS 1070413 WITH SCORE 1071741.016
AT ITER 1 NEW BEST:: SOT 6886823 SOS 1327780 HAS SOPS 1327780 HAS SOUS 1070177 HAS SOUPS 1070177 WITH SCORE 1071504.78
AT ITER 2 NEW BEST:: SOT 6886632 SOS 1327412 HAS SOPS 1327412 HAS SOUS 1069961 HAS SOUPS 1069961 WITH SCORE 1071288.412
AT ITER 28 NEW BEST:: SOT 6886957 SOS 1330435 HAS SOPS 1330435 HAS SOUS 1068994 HAS SOUPS 1068994 WITH SCORE 1070324.435
AT ITER 31 NEW BEST:: SOT 6886598 SOS 1329842 HAS SOPS 1329842 HAS SOUS 1068425 HAS SOUPS 1068425 WITH SCORE 1069754.842
AT ITER 61 NEW BEST:: SOT 6886598 SOS 1329841 HAS SOPS 1329841 HAS SOUS 1068424 HAS SOUPS 1068424 WITH SCORE 1069753.841
AT ITER 77 NEW BEST:: SOT 6886324 SOS 1329640 HAS SOPS 1329640 HAS SOUS 1068223 HAS SOUPS 1068223 WITH SCORE 1069552.64
AT ITER 78 NEW BEST:: SOT 6886304 SOS 1329687 HAS SOPS 1329687 HAS SOUS 1068172 HAS SOUPS 1068172 WITH SCORE 1069501.687
AT ITER 128 NEW BEST:: SOT 6886304 SOS 1329515 HAS SOPS 1329515 HAS SOUS 1068129 HAS SOUPS 1068129 WITH SCORE 1069458.515
AT ITER 142 NEW BEST:: SOT 6886303 SOS 1329513 HAS SOPS 1329513 HAS SOUS 1068127 HAS SOUPS 1068127 WITH SCORE 1069456.513
AT ITER 151 NEW BEST:: SOT 6886168 SOS 1329243 HAS SOPS 1329243 HAS SOUS 1067857 HAS SOUPS 1067857 WITH SCORE 1069186.243
AT ITER 154 NEW BEST:: SOT 6885946 SOS 1328445 HAS SOPS 1328445 HAS SOUS 1067708 HAS SOUPS 1067708 WITH SCORE 1069036.445
AT ITER 181 NEW BEST:: SOT 6884844 SOS 1327479 HAS SOPS 1327479 HAS SOUS 1066747 HAS SOUPS 1066747 WITH SCORE 1068074.479
AT ITER 183 NEW BEST:: SOT 6884825 SOS 1327449 HAS SOPS 1327449 HAS SOUS 1066716 HAS SOUPS 1066716 WITH SCORE 1068043.449
AT ITER 200 NEW BEST:: SOT 6884201 SOS 1326928 HAS SOPS 1326928 HAS SOUS 1066195 HAS SOUPS 1066195 WITH SCORE 1067521.928
AT ITER 216 NEW BEST:: SOT 6884167 SOS 1326860 HAS SOPS 1326860 HAS SOUS 1066159 HAS SOUPS 1066159 WITH SCORE 1067485.86
AT ITER 220 NEW BEST:: SOT 6884047 SOS 1326740 HAS SOPS 1326740 HAS SOUS 1066039 HAS SOUPS 1066039 WITH SCORE 1067365.74
AT ITER 235 NEW BEST:: SOT 6884013 SOS 1326487 HAS SOPS 1326487 HAS SOUS 1065991 HAS SOUPS 1065991 WITH SCORE 1067317.487
AT ITER 248 NEW BEST:: SOT 6883718 SOS 1326111 HAS SOPS 1326111 HAS SOUS 1065611 HAS SOUPS 1065611 WITH SCORE 1066937.111
AT ITER 253 NEW BEST:: SOT 6883718 SOS 1325621 HAS SOPS 1325621 HAS SOUS 1065611 HAS SOUPS 1065611 WITH SCORE 1066936.621
AT ITER 257 NEW BEST:: SOT 6883639 SOS 1325398 HAS SOPS 1325398 HAS SOUS 1065467 HAS SOUPS 1065467 WITH SCORE 1066792.398
AT ITER 275 NEW BEST:: SOT 6883639 SOS 1326120 HAS SOPS 1326120 HAS SOUS 1065440 HAS SOUPS 1065440 WITH SCORE 1066766.12
AT ITER 278 NEW BEST:: SOT 6882471 SOS 1324952 HAS SOPS 1324952 HAS SOUS 1064272 HAS SOUPS 1064272 WITH SCORE 1065596.952
AT ITER 284 NEW BEST:: SOT 6882409 SOS 1324828 HAS SOPS 1324828 HAS SOUS 1064148 HAS SOUPS 1064148 WITH SCORE 1065472.828
AT ITER 296 NEW BEST:: SOT 6882079 SOS 1324237 HAS SOPS 1324237 HAS SOUS 1063814 HAS SOUPS 1063814 WITH SCORE 1065138.237
AT ITER 299 NEW BEST:: SOT 6882079 SOS 1324235 HAS SOPS 1324235 HAS SOUS 1063812 HAS SOUPS 1063812 WITH SCORE 1065136.235
AT ITER 303 NEW BEST:: SOT 6881857 SOS 1323522 HAS SOPS 1323522 HAS SOUS 1063367 HAS SOUPS 1063367 WITH SCORE 1064690.522
AT ITER 313 NEW BEST:: SOT 6881857 SOS 1323800 HAS SOPS 1323800 HAS SOUS 1063347 HAS SOUPS 1063347 WITH SCORE 1064670.8
AT ITER 334 NEW BEST:: SOT 6881857 SOS 1323713 HAS SOPS 1323713 HAS SOUS 1063347 HAS SOUPS 1063347 WITH SCORE 1064670.713
AT ITER 353 NEW BEST:: SOT 6881605 SOS 1323544 HAS SOPS 1323544 HAS SOUS 1063178 HAS SOUPS 1063178 WITH SCORE 1064501.544
AT ITER 354 NEW BEST:: SOT 6881055 SOS 1322994 HAS SOPS 1322994 HAS SOUS 1062627 HAS SOUPS 1062627 WITH SCORE 1063949.994
AT ITER 355 NEW BEST:: SOT 6880884 SOS 1323181 HAS SOPS 1323181 HAS SOUS 1062254 HAS SOUPS 1062254 WITH SCORE 1063577.181
AT ITER 399 NEW BEST:: SOT 6880884 SOS 1323180 HAS SOPS 1323180 HAS SOUS 1062253 HAS SOUPS 1062253 WITH SCORE 1063576.18
AT ITER 419 NEW BEST:: SOT 6880883 SOS 1323177 HAS SOPS 1323177 HAS SOUS 1062250 HAS SOUPS 1062250 WITH SCORE 1063573.177
AT ITER 445 NEW BEST:: SOT 6880829 SOS 1323068 HAS SOPS 1323068 HAS SOUS 1062141 HAS SOUPS 1062141 WITH SCORE 1063464.068
AT ITER 486 NEW BEST:: SOT 6880827 SOS 1323054 HAS SOPS 1323054 HAS SOUS 1062103 HAS SOUPS 1062103 WITH SCORE 1063426.054
AT ITER 507 NEW BEST:: SOT 6880827 SOS 1323014 HAS SOPS 1323014 HAS SOUS 1062102 HAS SOUPS 1062102 WITH SCORE 1063425.014
AT ITER 510 NEW BEST:: SOT 6882787 SOS 1325251 HAS SOPS 1325251 HAS SOUS 1061539 HAS SOUPS 1061539 WITH SCORE 1062864.251
AT ITER 520 NEW BEST:: SOT 6882550 SOS 1325164 HAS SOPS 1325164 HAS SOUS 1061452 HAS SOUPS 1061452 WITH SCORE 1062777.164
AT ITER 542 NEW BEST:: SOT 6882648 SOS 1325376 HAS SOPS 1325376 HAS SOUS 1061417 HAS SOUPS 1061417 WITH SCORE 1062742.376
AT ITER 550 NEW BEST:: SOT 6882479 SOS 1325233 HAS SOPS 1325233 HAS SOUS 1061248 HAS SOUPS 1061248 WITH SCORE 1062573.233
AT ITER 555 NEW BEST:: SOT 6882229 SOS 1324980 HAS SOPS 1324980 HAS SOUS 1060983 HAS SOUPS 1060983 WITH SCORE 1062307.98
AT ITER 563 NEW BEST:: SOT 6882229 SOS 1324977 HAS SOPS 1324977 HAS SOUS 1060980 HAS SOUPS 1060980 WITH SCORE 1062304.977
AT ITER 579 NEW BEST:: SOT 6881921 SOS 1324823 HAS SOPS 1324823 HAS SOUS 1060826 HAS SOUPS 1060826 WITH SCORE 1062150.823
AT ITER 596 NEW BEST:: SOT 6881630 SOS 1323840 HAS SOPS 1323840 HAS SOUS 1060244 HAS SOUPS 1060244 WITH SCORE 1061567.84
AT ITER 612 NEW BEST:: SOT 6881628 SOS 1323830 HAS SOPS 1323830 HAS SOUS 1060229 HAS SOUPS 1060229 WITH SCORE 1061552.83
AT ITER 629 NEW BEST:: SOT 6881419 SOS 1323621 HAS SOPS 1323621 HAS SOUS 1059811 HAS SOUPS 1059811 WITH SCORE 1061134.621
AT ITER 646 NEW BEST:: SOT 6881419 SOS 1323562 HAS SOPS 1323562 HAS SOUS 1059752 HAS SOUPS 1059752 WITH SCORE 1061075.562
AT ITER 648 NEW BEST:: SOT 6881418 SOS 1323557 HAS SOPS 1323557 HAS SOUS 1059741 HAS SOUPS 1059741 WITH SCORE 1061064.557
AT ITER 666 NEW BEST:: SOT 6880884 SOS 1323468 HAS SOPS 1323468 HAS SOUS 1059296 HAS SOUPS 1059296 WITH SCORE 1060619.468
AT ITER 694 NEW BEST:: SOT 6880857 SOS 1324680 HAS SOPS 1324680 HAS SOUS 1059234 HAS SOUPS 1059234 WITH SCORE 1060558.68
AT ITER 710 NEW BEST:: SOT 6879302 SOS 1327062 HAS SOPS 1327062 HAS SOUS 1057570 HAS SOUPS 1057570 WITH SCORE 1058897.062
AT ITER 724 NEW BEST:: SOT 6878993 SOS 1326716 HAS SOPS 1326716 HAS SOUS 1057328 HAS SOUPS 1057328 WITH SCORE 1058654.716
AT ITER 725 NEW BEST:: SOT 6878993 SOS 1327081 HAS SOPS 1327081 HAS SOUS 1057327 HAS SOUPS 1057327 WITH SCORE 1058654.081
AT ITER 755 NEW BEST:: SOT 6878992 SOS 1327073 HAS SOPS 1327073 HAS SOUS 1057319 HAS SOUPS 1057319 WITH SCORE 1058646.073
AT ITER 759 NEW BEST:: SOT 6878992 SOS 1326935 HAS SOPS 1326935 HAS SOUS 1057319 HAS SOUPS 1057319 WITH SCORE 1058645.935
AT ITER 785 NEW BEST:: SOT 6878456 SOS 1326399 HAS SOPS 1326399 HAS SOUS 1056783 HAS SOUPS 1056783 WITH SCORE 1058109.399
AT ITER 789 NEW BEST:: SOT 6878167 SOS 1326208 HAS SOPS 1326208 HAS SOUS 1056592 HAS SOUPS 1056592 WITH SCORE 1057918.208
AT ITER 810 NEW BEST:: SOT 6878039 SOS 1326169 HAS SOPS 1326169 HAS SOUS 1056494 HAS SOUPS 1056494 WITH SCORE 1057820.169
AT ITER 823 NEW BEST:: SOT 6877729 SOS 1325804 HAS SOPS 1325804 HAS SOUS 1056184 HAS SOUPS 1056184 WITH SCORE 1057509.804
AT ITER 840 NEW BEST:: SOT 6877342 SOS 1325287 HAS SOPS 1325287 HAS SOUS 1056179 HAS SOUPS 1056179 WITH SCORE 1057504.287
AT ITER 890 NEW BEST:: SOT 6875287 SOS 1323506 HAS SOPS 1323506 HAS SOUS 1056179 HAS SOUPS 1056179 WITH SCORE 1057502.506
AT ITER 893 NEW BEST:: SOT 6875273 SOS 1324038 HAS SOPS 1324038 HAS SOUS 1056045 HAS SOUPS 1056045 WITH SCORE 1057369.038
AT ITER 895 NEW BEST:: SOT 6874907 SOS 1323436 HAS SOPS 1323436 HAS SOUS 1055443 HAS SOUPS 1055443 WITH SCORE 1056766.436
AT ITER 918 NEW BEST:: SOT 6874907 SOS 1323283 HAS SOPS 1323283 HAS SOUS 1055443 HAS SOUPS 1055443 WITH SCORE 1056766.283
AT ITER 935 NEW BEST:: SOT 6874531 SOS 1322906 HAS SOPS 1322906 HAS SOUS 1055066 HAS SOUPS 1055066 WITH SCORE 1056388.906
AT ITER 938 NEW BEST:: SOT 6874531 SOS 1322803 HAS SOPS 1322803 HAS SOUS 1055066 HAS SOUPS 1055066 WITH SCORE 1056388.803
AT ITER 953 NEW BEST:: SOT 6874531 SOS 1322751 HAS SOPS 1322751 HAS SOUS 1055066 HAS SOUPS 1055066 WITH SCORE 1056388.751
AT ITER 989 NEW BEST:: SOT 6873056 SOS 1321218 HAS SOPS 1321218 HAS SOUS 1053591 HAS SOUPS 1053591 WITH SCORE 1054912.218
AT ITER 1000 NEW BEST:: SOT 6871616 SOS 1319874 HAS SOPS 1319874 HAS SOUS 1053495 HAS SOUPS 1053495 WITH SCORE 1054814.874
AT ITER 1011 NEW BEST:: SOT 6871414 SOS 1319268 HAS SOPS 1319268 HAS SOUS 1053090 HAS SOUPS 1053090 WITH SCORE 1054409.268
AT ITER 1053 NEW BEST:: SOT 6870007 SOS 1329448 HAS SOPS 1329448 HAS SOUS 1052957 HAS SOUPS 1052957 WITH SCORE 1054286.448
AT ITER 1071 NEW BEST:: SOT 6869868 SOS 1329171 HAS SOPS 1329171 HAS SOUS 1052817 HAS SOUPS 1052817 WITH SCORE 1054146.171
AT ITER 1077 NEW BEST:: SOT 6869868 SOS 1329169 HAS SOPS 1329169 HAS SOUS 1052815 HAS SOUPS 1052815 WITH SCORE 1054144.169
AT ITER 1113 NEW BEST:: SOT 6869811 SOS 1328998 HAS SOPS 1328998 HAS SOUS 1052701 HAS SOUPS 1052701 WITH SCORE 1054029.998
AT ITER 1114 NEW BEST:: SOT 6869811 SOS 1328969 HAS SOPS 1328969 HAS SOUS 1052672 HAS SOUPS 1052672 WITH SCORE 1054000.969
AT ITER 1133 NEW BEST:: SOT 6869527 SOS 1328279 HAS SOPS 1328279 HAS SOUS 1052330 HAS SOUPS 1052330 WITH SCORE 1053658.279
AT ITER 1138 NEW BEST:: SOT 6869229 SOS 1327974 HAS SOPS 1327974 HAS SOUS 1052025 HAS SOUPS 1052025 WITH SCORE 1053352.974
AT ITER 1173 NEW BEST:: SOT 6869229 SOS 1327968 HAS SOPS 1327968 HAS SOUS 1052019 HAS SOUPS 1052019 WITH SCORE 1053346.968
AT ITER 1190 NEW BEST:: SOT 6868464 SOS 1331719 HAS SOPS 1331719 HAS SOUS 1051396 HAS SOUPS 1051396 WITH SCORE 1052727.719
AT ITER 1238 NEW BEST:: SOT 6867619 SOS 1333636 HAS SOPS 1333636 HAS SOUS 1051183 HAS SOUPS 1051183 WITH SCORE 1052516.636
AT ITER 1258 NEW BEST:: SOT 6867221 SOS 1333238 HAS SOPS 1333238 HAS SOUS 1050783 HAS SOUPS 1050783 WITH SCORE 1052116.238
AT ITER 1261 NEW BEST:: SOT 6867142 SOS 1331953 HAS SOPS 1331953 HAS SOUS 1050604 HAS SOUPS 1050604 WITH SCORE 1051935.953
AT ITER 1279 NEW BEST:: SOT 6867026 SOS 1331862 HAS SOPS 1331862 HAS SOUS 1050488 HAS SOUPS 1050488 WITH SCORE 1051819.862
AT ITER 1284 NEW BEST:: SOT 6866786 SOS 1331622 HAS SOPS 1331622 HAS SOUS 1050248 HAS SOUPS 1050248 WITH SCORE 1051579.622
AT ITER 1285 NEW BEST:: SOT 6865568 SOS 1330577 HAS SOPS 1330577 HAS SOUS 1049203 HAS SOUPS 1049203 WITH SCORE 1050533.577
AT ITER 1308 NEW BEST:: SOT 6865568 SOS 1330438 HAS SOPS 1330438 HAS SOUS 1049064 HAS SOUPS 1049064 WITH SCORE 1050394.438
AT ITER 1343 NEW BEST:: SOT 6865568 SOS 1330424 HAS SOPS 1330424 HAS SOUS 1049050 HAS SOUPS 1049050 WITH SCORE 1050380.424
AT ITER 1351 NEW BEST:: SOT 6865568 SOS 1330245 HAS SOPS 1330245 HAS SOUS 1049050 HAS SOUPS 1049050 WITH SCORE 1050380.245
AT ITER 1364 NEW BEST:: SOT 6865567 SOS 1330052 HAS SOPS 1330052 HAS SOUS 1048856 HAS SOUPS 1048856 WITH SCORE 1050186.052
AT ITER 1391 NEW BEST:: SOT 6865503 SOS 1329600 HAS SOPS 1329600 HAS SOUS 1048691 HAS SOUPS 1048691 WITH SCORE 1050020.6
AT ITER 1399 NEW BEST:: SOT 6865503 SOS 1329562 HAS SOPS 1329562 HAS SOUS 1048653 HAS SOUPS 1048653 WITH SCORE 1049982.562
AT ITER 1411 NEW BEST:: SOT 6865482 SOS 1329520 HAS SOPS 1329520 HAS SOUS 1048632 HAS SOUPS 1048632 WITH SCORE 1049961.52
AT ITER 1415 NEW BEST:: SOT 6865360 SOS 1329368 HAS SOPS 1329368 HAS SOUS 1048485 HAS SOUPS 1048485 WITH SCORE 1049814.368
AT ITER 1442 NEW BEST:: SOT 6865225 SOS 1328928 HAS SOPS 1328928 HAS SOUS 1048291 HAS SOUPS 1048291 WITH SCORE 1049619.928
AT ITER 1449 NEW BEST:: SOT 6865225 SOS 1328913 HAS SOPS 1328913 HAS SOUS 1048276 HAS SOUPS 1048276 WITH SCORE 1049604.913
AT ITER 1465 NEW BEST:: SOT 6863691 SOS 1329697 HAS SOPS 1329697 HAS SOUS 1047227 HAS SOUPS 1047227 WITH SCORE 1048556.697
AT ITER 1485 NEW BEST:: SOT 6863690 SOS 1329623 HAS SOPS 1329623 HAS SOUS 1047225 HAS SOUPS 1047225 WITH SCORE 1048554.623
AT ITER 1493 NEW BEST:: SOT 6863689 SOS 1329356 HAS SOPS 1329356 HAS SOUS 1047223 HAS SOUPS 1047223 WITH SCORE 1048552.356
AT ITER 1516 NEW BEST:: SOT 6861387 SOS 1326618 HAS SOPS 1326618 HAS SOUS 1044978 HAS SOUPS 1044978 WITH SCORE 1046304.618
AT ITER 1520 NEW BEST:: SOT 6861387 SOS 1326769 HAS SOPS 1326769 HAS SOUS 1044676 HAS SOUPS 1044676 WITH SCORE 1046002.769
AT ITER 1531 NEW BEST:: SOT 6861387 SOS 1326736 HAS SOPS 1326736 HAS SOUS 1044643 HAS SOUPS 1044643 WITH SCORE 1045969.736
AT ITER 1552 NEW BEST:: SOT 6861359 SOS 1326680 HAS SOPS 1326680 HAS SOUS 1044524 HAS SOUPS 1044524 WITH SCORE 1045850.68
AT ITER 1576 NEW BEST:: SOT 6861058 SOS 1326201 HAS SOPS 1326201 HAS SOUS 1044045 HAS SOUPS 1044045 WITH SCORE 1045371.201
AT ITER 1603 NEW BEST:: SOT 6860835 SOS 1325978 HAS SOPS 1325978 HAS SOUS 1043822 HAS SOUPS 1043822 WITH SCORE 1045147.978
AT ITER 1604 NEW BEST:: SOT 6860801 SOS 1325910 HAS SOPS 1325910 HAS SOUS 1043788 HAS SOUPS 1043788 WITH SCORE 1045113.91
AT ITER 1607 NEW BEST:: SOT 6860801 SOS 1325910 HAS SOPS 1325910 HAS SOUS 1043787 HAS SOUPS 1043787 WITH SCORE 1045112.91
AT ITER 1626 NEW BEST:: SOT 6860801 SOS 1325788 HAS SOPS 1325788 HAS SOUS 1043785 HAS SOUPS 1043785 WITH SCORE 1045110.788
AT ITER 1627 NEW BEST:: SOT 6860801 SOS 1325556 HAS SOPS 1325556 HAS SOUS 1043784 HAS SOUPS 1043784 WITH SCORE 1045109.556
AT ITER 1652 NEW BEST:: SOT 6859871 SOS 1324778 HAS SOPS 1324778 HAS SOUS 1043006 HAS SOUPS 1043006 WITH SCORE 1044330.778
AT ITER 1682 NEW BEST:: SOT 6859455 SOS 1324374 HAS SOPS 1324374 HAS SOUS 1042573 HAS SOUPS 1042573 WITH SCORE 1043897.374
AT ITER 1688 NEW BEST:: SOT 6859455 SOS 1324692 HAS SOPS 1324692 HAS SOUS 1040347 HAS SOUPS 1040347 WITH SCORE 1041671.692
AT ITER 1703 NEW BEST:: SOT 6859428 SOS 1324505 HAS SOPS 1324505 HAS SOUS 1040318 HAS SOUPS 1040318 WITH SCORE 1041642.505
AT ITER 1728 NEW BEST:: SOT 6859336 SOS 1324274 HAS SOPS 1324274 HAS SOUS 1040279 HAS SOUPS 1040279 WITH SCORE 1041603.274
AT ITER 1737 NEW BEST:: SOT 6859110 SOS 1324116 HAS SOPS 1324116 HAS SOUS 1039923 HAS SOUPS 1039923 WITH SCORE 1041247.116
AT ITER 1752 NEW BEST:: SOT 6858999 SOS 1323987 HAS SOPS 1323987 HAS SOUS 1039773 HAS SOUPS 1039773 WITH SCORE 1041096.987
AT ITER 1782 NEW BEST:: SOT 6858999 SOS 1323740 HAS SOPS 1323740 HAS SOUS 1039772 HAS SOUPS 1039772 WITH SCORE 1041095.74
AT ITER 1816 NEW BEST:: SOT 6858936 SOS 1323596 HAS SOPS 1323596 HAS SOUS 1039628 HAS SOUPS 1039628 WITH SCORE 1040951.596
AT ITER 1821 NEW BEST:: SOT 6858871 SOS 1323531 HAS SOPS 1323531 HAS SOUS 1039563 HAS SOUPS 1039563 WITH SCORE 1040886.531
AT ITER 1825 NEW BEST:: SOT 6858059 SOS 1323310 HAS SOPS 1323310 HAS SOUS 1039075 HAS SOUPS 1039075 WITH SCORE 1040398.31
AT ITER 1826 NEW BEST:: SOT 6856079 SOS 1321325 HAS SOPS 1321325 HAS SOUS 1037753 HAS SOUPS 1037753 WITH SCORE 1039074.325
AT ITER 1880 NEW BEST:: SOT 6855893 SOS 1320664 HAS SOPS 1320664 HAS SOUS 1035020 HAS SOUPS 1035020 WITH SCORE 1036340.664
AT ITER 1901 NEW BEST:: SOT 6855892 SOS 1320662 HAS SOPS 1320662 HAS SOUS 1035018 HAS SOUPS 1035018 WITH SCORE 1036338.662
AT ITER 1907 NEW BEST:: SOT 6855457 SOS 1320227 HAS SOPS 1320227 HAS SOUS 1034583 HAS SOUPS 1034583 WITH SCORE 1035903.227
AT ITER 1941 NEW BEST:: SOT 6855390 SOS 1320093 HAS SOPS 1320093 HAS SOUS 1034449 HAS SOUPS 1034449 WITH SCORE 1035769.093
AT ITER 1948 NEW BEST:: SOT 6854871 SOS 1319799 HAS SOPS 1319799 HAS SOUS 1034155 HAS SOUPS 1034155 WITH SCORE 1035474.799
AT ITER 1960 NEW BEST:: SOT 6854689 SOS 1319646 HAS SOPS 1319646 HAS SOUS 1033894 HAS SOUPS 1033894 WITH SCORE 1035213.646
AT ITER 1969 NEW BEST:: SOT 6854700 SOS 1319712 HAS SOPS 1319712 HAS SOUS 1033839 HAS SOUPS 1033839 WITH SCORE 1035158.712
AT ITER 1978 NEW BEST:: SOT 6854780 SOS 1319439 HAS SOPS 1319439 HAS SOUS 1033566 HAS SOUPS 1033566 WITH SCORE 1034885.439
AT ITER 2000 NEW BEST:: SOT 6853628 SOS 1318284 HAS SOPS 1318284 HAS SOUS 1032414 HAS SOUPS 1032414 WITH SCORE 1033732.284
AT ITER 2034 NEW BEST:: SOT 6853371 SOS 1317961 HAS SOPS 1317961 HAS SOUS 1030922 HAS SOUPS 1030922 WITH SCORE 1032239.961
AT ITER 2053 NEW BEST:: SOT 6853158 SOS 1317732 HAS SOPS 1317732 HAS SOUS 1030686 HAS SOUPS 1030686 WITH SCORE 1032003.732
AT ITER 2054 NEW BEST:: SOT 6853008 SOS 1317571 HAS SOPS 1317571 HAS SOUS 1030375 HAS SOUPS 1030375 WITH SCORE 1031692.571
AT ITER 2057 NEW BEST:: SOT 6853008 SOS 1317570 HAS SOPS 1317570 HAS SOUS 1030374 HAS SOUPS 1030374 WITH SCORE 1031691.57
AT ITER 2101 NEW BEST:: SOT 6852971 SOS 1317275 HAS SOPS 1317275 HAS SOUS 1030314 HAS SOUPS 1030314 WITH SCORE 1031631.275
AT ITER 2104 NEW BEST:: SOT 6852971 SOS 1317366 HAS SOPS 1317366 HAS SOUS 1030313 HAS SOUPS 1030313 WITH SCORE 1031630.366
AT ITER 2124 NEW BEST:: SOT 6852702 SOS 1316900 HAS SOPS 1316900 HAS SOUS 1030114 HAS SOUPS 1030114 WITH SCORE 1031430.9
AT ITER 2137 NEW BEST:: SOT 6852700 SOS 1316882 HAS SOPS 1316882 HAS SOUS 1030096 HAS SOUPS 1030096 WITH SCORE 1031412.882
AT ITER 2151 NEW BEST:: SOT 6852700 SOS 1316865 HAS SOPS 1316865 HAS SOUS 1030079 HAS SOUPS 1030079 WITH SCORE 1031395.865
AT ITER 2186 NEW BEST:: SOT 6852567 SOS 1316231 HAS SOPS 1316231 HAS SOUS 1029813 HAS SOUPS 1029813 WITH SCORE 1031129.231
AT ITER 2193 NEW BEST:: SOT 6851275 SOS 1314932 HAS SOPS 1314932 HAS SOUS 1029662 HAS SOUPS 1029662 WITH SCORE 1030976.932
AT ITER 2198 NEW BEST:: SOT 6851274 SOS 1314930 HAS SOPS 1314930 HAS SOUS 1029660 HAS SOUPS 1029660 WITH SCORE 1030974.93
AT ITER 2227 NEW BEST:: SOT 6850304 SOS 1315886 HAS SOPS 1315886 HAS SOUS 1029571 HAS SOUPS 1029571 WITH SCORE 1030886.886
AT ITER 2228 NEW BEST:: SOT 6850254 SOS 1315736 HAS SOPS 1315736 HAS SOUS 1029421 HAS SOUPS 1029421 WITH SCORE 1030736.736
AT ITER 2240 NEW BEST:: SOT 6850225 SOS 1315632 HAS SOPS 1315632 HAS SOUS 1029280 HAS SOUPS 1029280 WITH SCORE 1030595.632
AT ITER 2281 NEW BEST:: SOT 6850185 SOS 1315552 HAS SOPS 1315552 HAS SOUS 1029200 HAS SOUPS 1029200 WITH SCORE 1030515.552
AT ITER 2290 NEW BEST:: SOT 6849788 SOS 1315969 HAS SOPS 1315969 HAS SOUS 1029002 HAS SOUPS 1029002 WITH SCORE 1030317.969
AT ITER 2301 NEW BEST:: SOT 6849788 SOS 1315816 HAS SOPS 1315816 HAS SOUS 1028849 HAS SOUPS 1028849 WITH SCORE 1030164.816
AT ITER 2311 NEW BEST:: SOT 6846879 SOS 1321085 HAS SOPS 1321085 HAS SOUS 1027218 HAS SOUPS 1027218 WITH SCORE 1028539.085
AT ITER 2315 NEW BEST:: SOT 6847911 SOS 1322777 HAS SOPS 1322777 HAS SOUS 1026115 HAS SOUPS 1026115 WITH SCORE 1027437.777
AT ITER 2319 NEW BEST:: SOT 6848031 SOS 1322761 HAS SOPS 1322761 HAS SOUS 1026099 HAS SOUPS 1026099 WITH SCORE 1027421.761
AT ITER 2331 NEW BEST:: SOT 6847771 SOS 1323281 HAS SOPS 1323281 HAS SOUS 1025839 HAS SOUPS 1025839 WITH SCORE 1027162.281
AT ITER 2342 NEW BEST:: SOT 6847581 SOS 1321332 HAS SOPS 1321332 HAS SOUS 1025290 HAS SOUPS 1025290 WITH SCORE 1026611.332
AT ITER 2357 NEW BEST:: SOT 6847533 SOS 1321276 HAS SOPS 1321276 HAS SOUS 1025241 HAS SOUPS 1025241 WITH SCORE 1026562.276
AT ITER 2420 NEW BEST:: SOT 6847533 SOS 1321240 HAS SOPS 1321240 HAS SOUS 1025205 HAS SOUPS 1025205 WITH SCORE 1026526.24
AT ITER 2425 NEW BEST:: SOT 6847533 SOS 1321234 HAS SOPS 1321234 HAS SOUS 1025199 HAS SOUPS 1025199 WITH SCORE 1026520.234
AT ITER 2427 NEW BEST:: SOT 6847517 SOS 1321176 HAS SOPS 1321176 HAS SOUS 1025039 HAS SOUPS 1025039 WITH SCORE 1026360.176
AT ITER 2439 NEW BEST:: SOT 6847458 SOS 1321001 HAS SOPS 1321001 HAS SOUS 1024921 HAS SOUPS 1024921 WITH SCORE 1026242.001
AT ITER 2451 NEW BEST:: SOT 6847458 SOS 1320961 HAS SOPS 1320961 HAS SOUS 1024881 HAS SOUPS 1024881 WITH SCORE 1026201.961
AT ITER 2483 NEW BEST:: SOT 6847250 SOS 1320539 HAS SOPS 1320539 HAS SOUS 1024660 HAS SOUPS 1024660 WITH SCORE 1025980.539
AT ITER 2497 NEW BEST:: SOT 6847056 SOS 1322284 HAS SOPS 1322284 HAS SOUS 1024319 HAS SOUPS 1024319 WITH SCORE 1025641.284
AT ITER 2571 NEW BEST:: SOT 6846862 SOS 1322125 HAS SOPS 1322125 HAS SOUS 1024160 HAS SOUPS 1024160 WITH SCORE 1025482.125
AT ITER 2635 NEW BEST:: SOT 6846717 SOS 1321835 HAS SOPS 1321835 HAS SOUS 1023870 HAS SOUPS 1023870 WITH SCORE 1025191.835
AT ITER 2643 NEW BEST:: SOT 6846025 SOS 1323287 HAS SOPS 1323287 HAS SOUS 1023410 HAS SOUPS 1023410 WITH SCORE 1024733.287
AT ITER 2654 NEW BEST:: SOT 6845727 SOS 1322989 HAS SOPS 1322989 HAS SOUS 1022814 HAS SOUPS 1022814 WITH SCORE 1024136.989
AT ITER 2666 NEW BEST:: SOT 6845727 SOS 1322985 HAS SOPS 1322985 HAS SOUS 1022810 HAS SOUPS 1022810 WITH SCORE 1024132.985
AT ITER 2670 NEW BEST:: SOT 6845727 SOS 1322973 HAS SOPS 1322973 HAS SOUS 1022798 HAS SOUPS 1022798 WITH SCORE 1024120.973
AT ITER 2676 NEW BEST:: SOT 6845589 SOS 1322649 HAS SOPS 1322649 HAS SOUS 1022474 HAS SOUPS 1022474 WITH SCORE 1023796.649
AT ITER 2677 NEW BEST:: SOT 6845589 SOS 1322554 HAS SOPS 1322554 HAS SOUS 1022379 HAS SOUPS 1022379 WITH SCORE 1023701.554
AT ITER 2681 NEW BEST:: SOT 6845665 SOS 1324613 HAS SOPS 1324613 HAS SOUS 1022163 HAS SOUPS 1022163 WITH SCORE 1023487.613
AT ITER 2691 NEW BEST:: SOT 6845514 SOS 1324506 HAS SOPS 1324506 HAS SOUS 1022056 HAS SOUPS 1022056 WITH SCORE 1023380.506
AT ITER 2717 NEW BEST:: SOT 6846573 SOS 1325338 HAS SOPS 1325338 HAS SOUS 1017748 HAS SOUPS 1017748 WITH SCORE 1019073.338
AT ITER 2729 NEW BEST:: SOT 6846573 SOS 1325309 HAS SOPS 1325309 HAS SOUS 1017719 HAS SOUPS 1017719 WITH SCORE 1019044.309
AT ITER 2750 NEW BEST:: SOT 6846573 SOS 1325250 HAS SOPS 1325250 HAS SOUS 1017718 HAS SOUPS 1017718 WITH SCORE 1019043.25
AT ITER 2816 NEW BEST:: SOT 6846440 SOS 1324853 HAS SOPS 1324853 HAS SOUS 1017452 HAS SOUPS 1017452 WITH SCORE 1018776.853
AT ITER 2819 NEW BEST:: SOT 6846440 SOS 1324852 HAS SOPS 1324852 HAS SOUS 1017451 HAS SOUPS 1017451 WITH SCORE 1018775.852
AT ITER 2845 NEW BEST:: SOT 6846093 SOS 1324158 HAS SOPS 1324158 HAS SOUS 1016757 HAS SOUPS 1016757 WITH SCORE 1018081.158
AT ITER 2852 NEW BEST:: SOT 6846093 SOS 1324157 HAS SOPS 1324157 HAS SOUS 1016756 HAS SOUPS 1016756 WITH SCORE 1018080.157
AT ITER 2853 NEW BEST:: SOT 6846092 SOS 1323868 HAS SOPS 1323868 HAS SOUS 1016711 HAS SOUPS 1016711 WITH SCORE 1018034.868
AT ITER 2879 NEW BEST:: SOT 6846092 SOS 1323637 HAS SOPS 1323637 HAS SOUS 1016704 HAS SOUPS 1016704 WITH SCORE 1018027.637
AT ITER 2895 NEW BEST:: SOT 6845885 SOS 1323430 HAS SOPS 1323430 HAS SOUS 1016497 HAS SOUPS 1016497 WITH SCORE 1017820.43
AT ITER 2917 NEW BEST:: SOT 6845837 SOS 1323334 HAS SOPS 1323334 HAS SOUS 1016401 HAS SOUPS 1016401 WITH SCORE 1017724.334
AT ITER 2952 NEW BEST:: SOT 6845388 SOS 1322885 HAS SOPS 1322885 HAS SOUS 1015951 HAS SOUPS 1015951 WITH SCORE 1017273.885
AT ITER 2961 NEW BEST:: SOT 6845387 SOS 1322882 HAS SOPS 1322882 HAS SOUS 1015948 HAS SOUPS 1015948 WITH SCORE 1017270.882
AT ITER 2969 NEW BEST:: SOT 6845178 SOS 1322638 HAS SOPS 1322638 HAS SOUS 1015910 HAS SOUPS 1015910 WITH SCORE 1017232.638
AT ITER 2999 NEW BEST:: SOT 6845140 SOS 1322389 HAS SOPS 1322389 HAS SOUS 1015805 HAS SOUPS 1015805 WITH SCORE 1017127.389
AT ITER 3005 NEW BEST:: SOT 6845162 SOS 1322349 HAS SOPS 1322349 HAS SOUS 1015765 HAS SOUPS 1015765 WITH SCORE 1017087.349
AT ITER 3009 NEW BEST:: SOT 6844917 SOS 1322104 HAS SOPS 1322104 HAS SOUS 1015275 HAS SOUPS 1015275 WITH SCORE 1016597.104
AT ITER 3011 NEW BEST:: SOT 6843412 SOS 1320599 HAS SOPS 1320599 HAS SOUS 1015275 HAS SOUPS 1015275 WITH SCORE 1016595.599
AT ITER 3047 NEW BEST:: SOT 6843411 SOS 1320586 HAS SOPS 1320586 HAS SOUS 1015262 HAS SOUPS 1015262 WITH SCORE 1016582.586
AT ITER 3088 NEW BEST:: SOT 6843410 SOS 1320584 HAS SOPS 1320584 HAS SOUS 1015260 HAS SOUPS 1015260 WITH SCORE 1016580.584
AT ITER 3096 NEW BEST:: SOT 6843158 SOS 1321761 HAS SOPS 1321761 HAS SOUS 1014839 HAS SOUPS 1014839 WITH SCORE 1016160.761
AT ITER 3101 NEW BEST:: SOT 6843134 SOS 1321713 HAS SOPS 1321713 HAS SOUS 1014684 HAS SOUPS 1014684 WITH SCORE 1016005.713
AT ITER 3121 NEW BEST:: SOT 6843080 SOS 1321659 HAS SOPS 1321659 HAS SOUS 1014630 HAS SOUPS 1014630 WITH SCORE 1015951.659
AT ITER 3124 NEW BEST:: SOT 6843048 SOS 1323046 HAS SOPS 1323046 HAS SOUS 1014541 HAS SOUPS 1014541 WITH SCORE 1015864.046
AT ITER 3135 NEW BEST:: SOT 6842932 SOS 1322729 HAS SOPS 1322729 HAS SOUS 1014306 HAS SOUPS 1014306 WITH SCORE 1015628.729
AT ITER 3145 NEW BEST:: SOT 6842745 SOS 1322542 HAS SOPS 1322542 HAS SOUS 1014119 HAS SOUPS 1014119 WITH SCORE 1015441.542
AT ITER 3153 NEW BEST:: SOT 6842736 SOS 1322533 HAS SOPS 1322533 HAS SOUS 1014110 HAS SOUPS 1014110 WITH SCORE 1015432.533
AT ITER 3164 NEW BEST:: SOT 6842736 SOS 1322529 HAS SOPS 1322529 HAS SOUS 1014106 HAS SOUPS 1014106 WITH SCORE 1015428.529
AT ITER 3191 NEW BEST:: SOT 6842705 SOS 1322210 HAS SOPS 1322210 HAS SOUS 1013811 HAS SOUPS 1013811 WITH SCORE 1015133.21
AT ITER 3224 NEW BEST:: SOT 6842515 SOS 1321795 HAS SOPS 1321795 HAS SOUS 1013470 HAS SOUPS 1013470 WITH SCORE 1014791.795
AT ITER 3239 NEW BEST:: SOT 6842260 SOS 1321540 HAS SOPS 1321540 HAS SOUS 1012474 HAS SOUPS 1012474 WITH SCORE 1013795.54
AT ITER 3249 NEW BEST:: SOT 6842254 SOS 1321528 HAS SOPS 1321528 HAS SOUS 1012462 HAS SOUPS 1012462 WITH SCORE 1013783.528
AT ITER 3252 NEW BEST:: SOT 6842121 SOS 1321129 HAS SOPS 1321129 HAS SOUS 1012063 HAS SOUPS 1012063 WITH SCORE 1013384.129
AT ITER 3260 NEW BEST:: SOT 6842077 SOS 1320941 HAS SOPS 1320941 HAS SOUS 1011875 HAS SOUPS 1011875 WITH SCORE 1013195.941
AT ITER 3272 NEW BEST:: SOT 6841936 SOS 1320518 HAS SOPS 1320518 HAS SOUS 1011593 HAS SOUPS 1011593 WITH SCORE 1012913.518
AT ITER 3273 NEW BEST:: SOT 6841935 SOS 1320671 HAS SOPS 1320671 HAS SOUS 1011590 HAS SOUPS 1011590 WITH SCORE 1012910.671
AT ITER 3275 NEW BEST:: SOT 6841935 SOS 1321396 HAS SOPS 1321396 HAS SOUS 1011468 HAS SOUPS 1011468 WITH SCORE 1012789.396
AT ITER 3291 NEW BEST:: SOT 6841800 SOS 1321126 HAS SOPS 1321126 HAS SOUS 1011198 HAS SOUPS 1011198 WITH SCORE 1012519.126
AT ITER 3321 NEW BEST:: SOT 6841722 SOS 1321075 HAS SOPS 1321075 HAS SOUS 1011147 HAS SOUPS 1011147 WITH SCORE 1012468.075
AT ITER 3334 NEW BEST:: SOT 6841589 SOS 1321018 HAS SOPS 1321018 HAS SOUS 1011090 HAS SOUPS 1011090 WITH SCORE 1012411.018
AT ITER 3349 NEW BEST:: SOT 6841530 SOS 1320553 HAS SOPS 1320553 HAS SOUS 1010648 HAS SOUPS 1010648 WITH SCORE 1011968.553
AT ITER 3354 NEW BEST:: SOT 6841530 SOS 1320517 HAS SOPS 1320517 HAS SOUS 1010612 HAS SOUPS 1010612 WITH SCORE 1011932.517
AT ITER 3356 NEW BEST:: SOT 6841503 SOS 1320489 HAS SOPS 1320489 HAS SOUS 1010584 HAS SOUPS 1010584 WITH SCORE 1011904.489
AT ITER 3360 NEW BEST:: SOT 6841503 SOS 1320308 HAS SOPS 1320308 HAS SOUS 1010584 HAS SOUPS 1010584 WITH SCORE 1011904.308
AT ITER 3362 NEW BEST:: SOT 6841193 SOS 1319996 HAS SOPS 1319996 HAS SOUS 1010272 HAS SOUPS 1010272 WITH SCORE 1011591.996
AT ITER 3363 NEW BEST:: SOT 6841193 SOS 1319952 HAS SOPS 1319952 HAS SOUS 1010228 HAS SOUPS 1010228 WITH SCORE 1011547.952
AT ITER 3367 NEW BEST:: SOT 6841156 SOS 1319914 HAS SOPS 1319914 HAS SOUS 1010190 HAS SOUPS 1010190 WITH SCORE 1011509.914
AT ITER 3377 NEW BEST:: SOT 6841069 SOS 1319758 HAS SOPS 1319758 HAS SOUS 1010034 HAS SOUPS 1010034 WITH SCORE 1011353.758
AT ITER 3380 NEW BEST:: SOT 6841069 SOS 1319757 HAS SOPS 1319757 HAS SOUS 1010033 HAS SOUPS 1010033 WITH SCORE 1011352.757
AT ITER 3381 NEW BEST:: SOT 6841069 SOS 1319739 HAS SOPS 1319739 HAS SOUS 1010001 HAS SOUPS 1010001 WITH SCORE 1011320.739
AT ITER 3399 NEW BEST:: SOT 6840602 SOS 1319960 HAS SOPS 1319960 HAS SOUS 1009817 HAS SOUPS 1009817 WITH SCORE 1011136.96
AT ITER 3410 NEW BEST:: SOT 6840803 SOS 1319930 HAS SOPS 1319930 HAS SOUS 1009793 HAS SOUPS 1009793 WITH SCORE 1011112.93
AT ITER 3415 NEW BEST:: SOT 6840720 SOS 1321021 HAS SOPS 1321021 HAS SOUS 1009568 HAS SOUPS 1009568 WITH SCORE 1010889.021
AT ITER 3435 NEW BEST:: SOT 6838829 SOS 1321625 HAS SOPS 1321625 HAS SOUS 1007647 HAS SOUPS 1007647 WITH SCORE 1008968.625
AT ITER 3478 NEW BEST:: SOT 6838726 SOS 1321504 HAS SOPS 1321504 HAS SOUS 1007502 HAS SOUPS 1007502 WITH SCORE 1008823.504
AT ITER 3483 NEW BEST:: SOT 6838809 SOS 1321317 HAS SOPS 1321317 HAS SOUS 1007232 HAS SOUPS 1007232 WITH SCORE 1008553.317
AT ITER 3497 NEW BEST:: SOT 6838688 SOS 1320712 HAS SOPS 1320712 HAS SOUS 1006990 HAS SOUPS 1006990 WITH SCORE 1008310.712
AT ITER 3501 NEW BEST:: SOT 6838688 SOS 1320462 HAS SOPS 1320462 HAS SOUS 1006990 HAS SOUPS 1006990 WITH SCORE 1008310.462
AT ITER 3523 NEW BEST:: SOT 6837987 SOS 1323416 HAS SOPS 1323416 HAS SOUS 1006642 HAS SOUPS 1006642 WITH SCORE 1007965.416
AT ITER 3530 NEW BEST:: SOT 6837803 SOS 1322881 HAS SOPS 1322881 HAS SOUS 1006107 HAS SOUPS 1006107 WITH SCORE 1007429.881
AT ITER 3537 NEW BEST:: SOT 6837444 SOS 1322144 HAS SOPS 1322144 HAS SOUS 1004019 HAS SOUPS 1004019 WITH SCORE 1005341.144
AT ITER 3540 NEW BEST:: SOT 6837438 SOS 1322132 HAS SOPS 1322132 HAS SOUS 1004007 HAS SOUPS 1004007 WITH SCORE 1005329.132
AT ITER 3608 NEW BEST:: SOT 6837209 SOS 1320720 HAS SOPS 1320720 HAS SOUS 1003547 HAS SOUPS 1003547 WITH SCORE 1004867.72
AT ITER 3614 NEW BEST:: SOT 6836928 SOS 1320380 HAS SOPS 1320380 HAS SOUS 1003207 HAS SOUPS 1003207 WITH SCORE 1004527.38
AT ITER 3621 NEW BEST:: SOT 6836712 SOS 1320164 HAS SOPS 1320164 HAS SOUS 1002989 HAS SOUPS 1002989 WITH SCORE 1004309.164
AT ITER 3634 NEW BEST:: SOT 6836709 SOS 1320158 HAS SOPS 1320158 HAS SOUS 1002983 HAS SOUPS 1002983 WITH SCORE 1004303.158
AT ITER 3636 NEW BEST:: SOT 6836673 SOS 1320122 HAS SOPS 1320122 HAS SOUS 1002947 HAS SOUPS 1002947 WITH SCORE 1004267.122
AT ITER 3640 NEW BEST:: SOT 6836648 SOS 1320082 HAS SOPS 1320082 HAS SOUS 1002931 HAS SOUPS 1002931 WITH SCORE 1004251.082
AT ITER 3644 NEW BEST:: SOT 6836647 SOS 1319738 HAS SOPS 1319738 HAS SOUS 1002587 HAS SOUPS 1002587 WITH SCORE 1003906.738
AT ITER 3677 NEW BEST:: SOT 6836647 SOS 1319735 HAS SOPS 1319735 HAS SOUS 1002584 HAS SOUPS 1002584 WITH SCORE 1003903.735
AT ITER 3715 NEW BEST:: SOT 6836479 SOS 1319658 HAS SOPS 1319658 HAS SOUS 1002481 HAS SOUPS 1002481 WITH SCORE 1003800.658
AT ITER 3720 NEW BEST:: SOT 6836455 SOS 1319610 HAS SOPS 1319610 HAS SOUS 1002433 HAS SOUPS 1002433 WITH SCORE 1003752.61
AT ITER 3749 NEW BEST:: SOT 6836224 SOS 1319125 HAS SOPS 1319125 HAS SOUS 1001971 HAS SOUPS 1001971 WITH SCORE 1003290.125
AT ITER 3753 NEW BEST:: SOT 6836199 SOS 1319075 HAS SOPS 1319075 HAS SOUS 1001641 HAS SOUPS 1001641 WITH SCORE 1002960.075
AT ITER 3783 NEW BEST:: SOT 6836189 SOS 1319065 HAS SOPS 1319065 HAS SOUS 1001629 HAS SOUPS 1001629 WITH SCORE 1002948.065
AT ITER 3801 NEW BEST:: SOT 6836189 SOS 1319065 HAS SOPS 1319065 HAS SOUS 1001628 HAS SOUPS 1001628 WITH SCORE 1002947.065
AT ITER 3820 NEW BEST:: SOT 6836148 SOS 1318942 HAS SOPS 1318942 HAS SOUS 1001505 HAS SOUPS 1001505 WITH SCORE 1002823.942
AT ITER 3831 NEW BEST:: SOT 6835725 SOS 1318547 HAS SOPS 1318547 HAS SOUS 1001499 HAS SOUPS 1001499 WITH SCORE 1002817.547
AT ITER 3833 NEW BEST:: SOT 6835666 SOS 1318454 HAS SOPS 1318454 HAS SOUS 1001346 HAS SOUPS 1001346 WITH SCORE 1002664.454
AT ITER 3847 NEW BEST:: SOT 6833145 SOS 1318873 HAS SOPS 1318873 HAS SOUS 999281 HAS SOUPS 999281 WITH SCORE 1000599.873
AT ITER 3864 NEW BEST:: SOT 6833186 SOS 1318532 HAS SOPS 1318532 HAS SOUS 999195 HAS SOUPS 999195 WITH SCORE 1000513.532
AT ITER 3870 NEW BEST:: SOT 6833063 SOS 1318408 HAS SOPS 1318408 HAS SOUS 999071 HAS SOUPS 999071 WITH SCORE 1000389.408
AT ITER 3871 NEW BEST:: SOT 6832685 SOS 1318154 HAS SOPS 1318154 HAS SOUS 998817 HAS SOUPS 998817 WITH SCORE 1000135.154
AT ITER 3872 NEW BEST:: SOT 6832718 SOS 1318220 HAS SOPS 1318220 HAS SOUS 998594 HAS SOUPS 998594 WITH SCORE 999912.22
AT ITER 3906 NEW BEST:: SOT 6832718 SOS 1318203 HAS SOPS 1318203 HAS SOUS 998594 HAS SOUPS 998594 WITH SCORE 999912.203
AT ITER 3924 NEW BEST:: SOT 6832175 SOS 1317809 HAS SOPS 1317809 HAS SOUS 998155 HAS SOUPS 998155 WITH SCORE 999472.809
AT ITER 3951 NEW BEST:: SOT 6832070 SOS 1317163 HAS SOPS 1317163 HAS SOUS 997945 HAS SOUPS 997945 WITH SCORE 999262.163
AT ITER 3966 NEW BEST:: SOT 6832070 SOS 1317115 HAS SOPS 1317115 HAS SOUS 997897 HAS SOUPS 997897 WITH SCORE 999214.115
AT ITER 3994 NEW BEST:: SOT 6831898 SOS 1315581 HAS SOPS 1315581 HAS SOUS 997500 HAS SOUPS 997500 WITH SCORE 998815.581
AT ITER 4012 NEW BEST:: SOT 6831777 SOS 1315515 HAS SOPS 1315515 HAS SOUS 997258 HAS SOUPS 997258 WITH SCORE 998573.515
AT ITER 4013 NEW BEST:: SOT 6831777 SOS 1315518 HAS SOPS 1315518 HAS SOUS 997181 HAS SOUPS 997181 WITH SCORE 998496.518
AT ITER 4073 NEW BEST:: SOT 6831742 SOS 1315483 HAS SOPS 1315483 HAS SOUS 997146 HAS SOUPS 997146 WITH SCORE 998461.483
AT ITER 4091 NEW BEST:: SOT 6831742 SOS 1310995 HAS SOPS 1310995 HAS SOUS 997146 HAS SOUPS 997146 WITH SCORE 998456.995
AT ITER 4162 NEW BEST:: SOT 6831612 SOS 1310710 HAS SOPS 1310710 HAS SOUS 996861 HAS SOUPS 996861 WITH SCORE 998171.71
AT ITER 4168 NEW BEST:: SOT 6831470 SOS 1310426 HAS SOPS 1310426 HAS SOUS 996577 HAS SOUPS 996577 WITH SCORE 997887.426
AT ITER 4172 NEW BEST:: SOT 6831387 SOS 1310116 HAS SOPS 1310116 HAS SOUS 994017 HAS SOUPS 994017 WITH SCORE 995327.116
AT ITER 4175 NEW BEST:: SOT 6830991 SOS 1309413 HAS SOPS 1309413 HAS SOUS 993631 HAS SOUPS 993631 WITH SCORE 994940.413
AT ITER 4186 NEW BEST:: SOT 6831060 SOS 1309384 HAS SOPS 1309384 HAS SOUS 993602 HAS SOUPS 993602 WITH SCORE 994911.384
AT ITER 4191 NEW BEST:: SOT 6831075 SOS 1309414 HAS SOPS 1309414 HAS SOUS 993255 HAS SOUPS 993255 WITH SCORE 994564.414
AT ITER 4207 NEW BEST:: SOT 6831075 SOS 1309515 HAS SOPS 1309515 HAS SOUS 993254 HAS SOUPS 993254 WITH SCORE 994563.515
AT ITER 4223 NEW BEST:: SOT 6831003 SOS 1309452 HAS SOPS 1309452 HAS SOUS 993191 HAS SOUPS 993191 WITH SCORE 994500.452
AT ITER 4226 NEW BEST:: SOT 6830793 SOS 1309057 HAS SOPS 1309057 HAS SOUS 992586 HAS SOUPS 992586 WITH SCORE 993895.057
AT ITER 4256 NEW BEST:: SOT 6830724 SOS 1308917 HAS SOPS 1308917 HAS SOUS 992446 HAS SOUPS 992446 WITH SCORE 993754.917
AT ITER 4261 NEW BEST:: SOT 6830724 SOS 1308917 HAS SOPS 1308917 HAS SOUS 992373 HAS SOUPS 992373 WITH SCORE 993681.917
AT ITER 4270 NEW BEST:: SOT 6829947 SOS 1308923 HAS SOPS 1308923 HAS SOUS 992132 HAS SOUPS 992132 WITH SCORE 993440.923
AT ITER 4274 NEW BEST:: SOT 6829867 SOS 1308843 HAS SOPS 1308843 HAS SOUS 991972 HAS SOUPS 991972 WITH SCORE 993280.843
AT ITER 4286 NEW BEST:: SOT 6829651 SOS 1308466 HAS SOPS 1308466 HAS SOUS 991953 HAS SOUPS 991953 WITH SCORE 993261.466
AT ITER 4301 NEW BEST:: SOT 6829651 SOS 1308464 HAS SOPS 1308464 HAS SOUS 991951 HAS SOUPS 991951 WITH SCORE 993259.464
AT ITER 4320 NEW BEST:: SOT 6829466 SOS 1308074 HAS SOPS 1308074 HAS SOUS 991561 HAS SOUPS 991561 WITH SCORE 992869.074
AT ITER 4352 NEW BEST:: SOT 6829420 SOS 1308028 HAS SOPS 1308028 HAS SOUS 991515 HAS SOUPS 991515 WITH SCORE 992823.028
AT ITER 4378 NEW BEST:: SOT 6829418 SOS 1308026 HAS SOPS 1308026 HAS SOUS 991513 HAS SOUPS 991513 WITH SCORE 992821.026
AT ITER 4382 NEW BEST:: SOT 6828707 SOS 1307071 HAS SOPS 1307071 HAS SOUS 990560 HAS SOUPS 990560 WITH SCORE 991867.071
AT ITER 4402 NEW BEST:: SOT 6828706 SOS 1307069 HAS SOPS 1307069 HAS SOUS 990558 HAS SOUPS 990558 WITH SCORE 991865.069
AT ITER 4405 NEW BEST:: SOT 6828604 SOS 1306815 HAS SOPS 1306815 HAS SOUS 990455 HAS SOUPS 990455 WITH SCORE 991761.815
AT ITER 4414 NEW BEST:: SOT 6828243 SOS 1306093 HAS SOPS 1306093 HAS SOUS 989910 HAS SOUPS 989910 WITH SCORE 991216.093
AT ITER 4435 NEW BEST:: SOT 6824145 SOS 1310292 HAS SOPS 1310292 HAS SOUS 986579 HAS SOUPS 986579 WITH SCORE 987889.292
AT ITER 4453 NEW BEST:: SOT 6824188 SOS 1310177 HAS SOPS 1310177 HAS SOUS 986175 HAS SOUPS 986175 WITH SCORE 987485.177
AT ITER 4458 NEW BEST:: SOT 6824000 SOS 1309801 HAS SOPS 1309801 HAS SOUS 985986 HAS SOUPS 985986 WITH SCORE 987295.801
AT ITER 4459 NEW BEST:: SOT 6823887 SOS 1309575 HAS SOPS 1309575 HAS SOUS 985866 HAS SOUPS 985866 WITH SCORE 987175.575
AT ITER 4487 NEW BEST:: SOT 6823635 SOS 1309255 HAS SOPS 1309255 HAS SOUS 985546 HAS SOUPS 985546 WITH SCORE 986855.255
AT ITER 4509 NEW BEST:: SOT 6821416 SOS 1307387 HAS SOPS 1307387 HAS SOUS 983367 HAS SOUPS 983367 WITH SCORE 984674.387
AT ITER 4511 NEW BEST:: SOT 6821318 SOS 1307289 HAS SOPS 1307289 HAS SOUS 983269 HAS SOUPS 983269 WITH SCORE 984576.289
AT ITER 4526 NEW BEST:: SOT 6820727 SOS 1306730 HAS SOPS 1306730 HAS SOUS 982710 HAS SOUPS 982710 WITH SCORE 984016.73
AT ITER 4539 NEW BEST:: SOT 6820089 SOS 1306631 HAS SOPS 1306631 HAS SOUS 982210 HAS SOUPS 982210 WITH SCORE 983516.631
AT ITER 4592 NEW BEST:: SOT 6820057 SOS 1306307 HAS SOPS 1306307 HAS SOUS 982146 HAS SOUPS 982146 WITH SCORE 983452.307
AT ITER 4620 NEW BEST:: SOT 6819857 SOS 1306178 HAS SOPS 1306178 HAS SOUS 982040 HAS SOUPS 982040 WITH SCORE 983346.178
AT ITER 4622 NEW BEST:: SOT 6819801 SOS 1306066 HAS SOPS 1306066 HAS SOUS 982027 HAS SOUPS 982027 WITH SCORE 983333.066
AT ITER 4632 NEW BEST:: SOT 6819679 SOS 1305930 HAS SOPS 1305930 HAS SOUS 981997 HAS SOUPS 981997 WITH SCORE 983302.93
AT ITER 4699 NEW BEST:: SOT 6819678 SOS 1306435 HAS SOPS 1306435 HAS SOUS 981955 HAS SOUPS 981955 WITH SCORE 983261.435
AT ITER 4704 NEW BEST:: SOT 6819471 SOS 1306245 HAS SOPS 1306245 HAS SOUS 981483 HAS SOUPS 981483 WITH SCORE 982789.245
AT ITER 4718 NEW BEST:: SOT 6819471 SOS 1306367 HAS SOPS 1306367 HAS SOUS 981463 HAS SOUPS 981463 WITH SCORE 982769.367
AT ITER 4723 NEW BEST:: SOT 6819216 SOS 1306076 HAS SOPS 1306076 HAS SOUS 981172 HAS SOUPS 981172 WITH SCORE 982478.076
AT ITER 4731 NEW BEST:: SOT 6819158 SOS 1306018 HAS SOPS 1306018 HAS SOUS 981170 HAS SOUPS 981170 WITH SCORE 982476.018
AT ITER 4741 NEW BEST:: SOT 6819150 SOS 1306083 HAS SOPS 1306083 HAS SOUS 981105 HAS SOUPS 981105 WITH SCORE 982411.083
AT ITER 4771 NEW BEST:: SOT 6818954 SOS 1305691 HAS SOPS 1305691 HAS SOUS 980713 HAS SOUPS 980713 WITH SCORE 982018.691
AT ITER 4778 NEW BEST:: SOT 6818903 SOS 1305074 HAS SOPS 1305074 HAS SOUS 980096 HAS SOUPS 980096 WITH SCORE 981401.074
AT ITER 4878 NEW BEST:: SOT 6818903 SOS 1304892 HAS SOPS 1304892 HAS SOUS 979914 HAS SOUPS 979914 WITH SCORE 981218.892
AT ITER 4895 NEW BEST:: SOT 6818809 SOS 1304643 HAS SOPS 1304643 HAS SOUS 979895 HAS SOUPS 979895 WITH SCORE 981199.643
AT ITER 4901 NEW BEST:: SOT 6818755 SOS 1304589 HAS SOPS 1304589 HAS SOUS 979841 HAS SOUPS 979841 WITH SCORE 981145.589
AT ITER 4925 NEW BEST:: SOT 6818719 SOS 1304553 HAS SOPS 1304553 HAS SOUS 979804 HAS SOUPS 979804 WITH SCORE 981108.553
AT ITER 4934 NEW BEST:: SOT 6818746 SOS 1304935 HAS SOPS 1304935 HAS SOUS 979795 HAS SOUPS 979795 WITH SCORE 981099.935
AT ITER 4938 NEW BEST:: SOT 6818747 SOS 1304797 HAS SOPS 1304797 HAS SOUS 979692 HAS SOUPS 979692 WITH SCORE 980996.797
AT ITER 4940 NEW BEST:: SOT 6818599 SOS 1304615 HAS SOPS 1304615 HAS SOUS 976990 HAS SOUPS 976990 WITH SCORE 978294.615
AT ITER 4949 NEW BEST:: SOT 6818583 SOS 1304609 HAS SOPS 1304609 HAS SOUS 976950 HAS SOUPS 976950 WITH SCORE 978254.609
AT ITER 4956 NEW BEST:: SOT 6818423 SOS 1304489 HAS SOPS 1304489 HAS SOUS 976830 HAS SOUPS 976830 WITH SCORE 978134.489
AT ITER 4986 NEW BEST:: SOT 6818409 SOS 1304469 HAS SOPS 1304469 HAS SOUS 976815 HAS SOUPS 976815 WITH SCORE 978119.469
AT ITER 4998 NEW BEST:: SOT 6818317 SOS 1304285 HAS SOPS 1304285 HAS SOUS 976631 HAS SOUPS 976631 WITH SCORE 977935.285
AT ITER 5013 NEW BEST:: SOT 6818061 SOS 1303897 HAS SOPS 1303897 HAS SOUS 976375 HAS SOUPS 976375 WITH SCORE 977678.897
AT ITER 5044 NEW BEST:: SOT 6818060 SOS 1303603 HAS SOPS 1303603 HAS SOUS 976366 HAS SOUPS 976366 WITH SCORE 977669.603
AT ITER 5082 NEW BEST:: SOT 6817990 SOS 1303533 HAS SOPS 1303533 HAS SOUS 976296 HAS SOUPS 976296 WITH SCORE 977599.533
AT ITER 5125 NEW BEST:: SOT 6817988 SOS 1303989 HAS SOPS 1303989 HAS SOUS 976255 HAS SOUPS 976255 WITH SCORE 977558.989
AT ITER 5136 NEW BEST:: SOT 6817925 SOS 1303838 HAS SOPS 1303838 HAS SOUS 976104 HAS SOUPS 976104 WITH SCORE 977407.838
AT ITER 5150 NEW BEST:: SOT 6817865 SOS 1303778 HAS SOPS 1303778 HAS SOUS 976044 HAS SOUPS 976044 WITH SCORE 977347.778
AT ITER 5152 NEW BEST:: SOT 6817519 SOS 1304123 HAS SOPS 1304123 HAS SOUS 975849 HAS SOUPS 975849 WITH SCORE 977153.123
AT ITER 5158 NEW BEST:: SOT 6816290 SOS 1305471 HAS SOPS 1305471 HAS SOUS 974719 HAS SOUPS 974719 WITH SCORE 976024.471
AT ITER 5163 NEW BEST:: SOT 6816043 SOS 1305253 HAS SOPS 1305253 HAS SOUS 974501 HAS SOUPS 974501 WITH SCORE 975806.253
AT ITER 5178 NEW BEST:: SOT 6816043 SOS 1305261 HAS SOPS 1305261 HAS SOUS 972952 HAS SOUPS 972952 WITH SCORE 974257.261
AT ITER 5233 NEW BEST:: SOT 6816043 SOS 1305261 HAS SOPS 1305261 HAS SOUS 972908 HAS SOUPS 972908 WITH SCORE 974213.261
AT ITER 5247 NEW BEST:: SOT 6815947 SOS 1305069 HAS SOPS 1305069 HAS SOUS 972716 HAS SOUPS 972716 WITH SCORE 974021.069
AT ITER 5273 NEW BEST:: SOT 6815947 SOS 1304990 HAS SOPS 1304990 HAS SOUS 972637 HAS SOUPS 972637 WITH SCORE 973941.99
AT ITER 5282 NEW BEST:: SOT 6815841 SOS 1304826 HAS SOPS 1304826 HAS SOUS 972586 HAS SOUPS 972586 WITH SCORE 973890.826
AT ITER 5295 NEW BEST:: SOT 6815786 SOS 1304716 HAS SOPS 1304716 HAS SOUS 972326 HAS SOUPS 972326 WITH SCORE 973630.716
AT ITER 5313 NEW BEST:: SOT 6815371 SOS 1303886 HAS SOPS 1303886 HAS SOUS 971731 HAS SOUPS 971731 WITH SCORE 973034.886
AT ITER 5357 NEW BEST:: SOT 6814799 SOS 1303089 HAS SOPS 1303089 HAS SOUS 970934 HAS SOUPS 970934 WITH SCORE 972237.089
AT ITER 5371 NEW BEST:: SOT 6815337 SOS 1303742 HAS SOPS 1303742 HAS SOUS 969993 HAS SOUPS 969993 WITH SCORE 971296.742
AT ITER 5392 NEW BEST:: SOT 6815176 SOS 1303259 HAS SOPS 1303259 HAS SOUS 969510 HAS SOUPS 969510 WITH SCORE 970813.259
AT ITER 5410 NEW BEST:: SOT 6814784 SOS 1303066 HAS SOPS 1303066 HAS SOUS 969315 HAS SOUPS 969315 WITH SCORE 970618.066
AT ITER 5490 NEW BEST:: SOT 6814727 SOS 1302382 HAS SOPS 1302382 HAS SOUS 969200 HAS SOUPS 969200 WITH SCORE 970502.382
AT ITER 5496 NEW BEST:: SOT 6814727 SOS 1302217 HAS SOPS 1302217 HAS SOUS 969200 HAS SOUPS 969200 WITH SCORE 970502.217
AT ITER 5499 NEW BEST:: SOT 6815708 SOS 1303340 HAS SOPS 1303340 HAS SOUS 968555 HAS SOUPS 968555 WITH SCORE 969858.34
AT ITER 5545 NEW BEST:: SOT 6815567 SOS 1303058 HAS SOPS 1303058 HAS SOUS 968399 HAS SOUPS 968399 WITH SCORE 969702.058
AT ITER 5558 NEW BEST:: SOT 6815567 SOS 1302875 HAS SOPS 1302875 HAS SOUS 968399 HAS SOUPS 968399 WITH SCORE 969701.875
AT ITER 5565 NEW BEST:: SOT 6814987 SOS 1302295 HAS SOPS 1302295 HAS SOUS 967819 HAS SOUPS 967819 WITH SCORE 969121.295
AT ITER 5570 NEW BEST:: SOT 6814987 SOS 1302264 HAS SOPS 1302264 HAS SOUS 967819 HAS SOUPS 967819 WITH SCORE 969121.264
AT ITER 5572 NEW BEST:: SOT 6814859 SOS 1302008 HAS SOPS 1302008 HAS SOUS 967563 HAS SOUPS 967563 WITH SCORE 968865.008
AT ITER 5617 NEW BEST:: SOT 6814735 SOS 1301887 HAS SOPS 1301887 HAS SOUS 967040 HAS SOUPS 967040 WITH SCORE 968341.887
AT ITER 5638 NEW BEST:: SOT 6814734 SOS 1301837 HAS SOPS 1301837 HAS SOUS 966989 HAS SOUPS 966989 WITH SCORE 968290.837
AT ITER 5669 NEW BEST:: SOT 6814654 SOS 1301797 HAS SOPS 1301797 HAS SOUS 966949 HAS SOUPS 966949 WITH SCORE 968250.797
AT ITER 5675 NEW BEST:: SOT 6814479 SOS 1301237 HAS SOPS 1301237 HAS SOUS 966389 HAS SOUPS 966389 WITH SCORE 967690.237
AT ITER 5678 NEW BEST:: SOT 6814308 SOS 1301018 HAS SOPS 1301018 HAS SOUS 964872 HAS SOUPS 964872 WITH SCORE 966173.018
AT ITER 5688 NEW BEST:: SOT 6814198 SOS 1301018 HAS SOPS 1301018 HAS SOUS 964817 HAS SOUPS 964817 WITH SCORE 966118.018
AT ITER 5704 NEW BEST:: SOT 6814319 SOS 1300979 HAS SOPS 1300979 HAS SOUS 964778 HAS SOUPS 964778 WITH SCORE 966078.979
AT ITER 5712 NEW BEST:: SOT 6814204 SOS 1300977 HAS SOPS 1300977 HAS SOUS 964725 HAS SOUPS 964725 WITH SCORE 966025.977
AT ITER 5753 NEW BEST:: SOT 6814053 SOS 1300920 HAS SOPS 1300920 HAS SOUS 964668 HAS SOUPS 964668 WITH SCORE 965968.92
AT ITER 5768 NEW BEST:: SOT 6814026 SOS 1300893 HAS SOPS 1300893 HAS SOUS 964668 HAS SOUPS 964668 WITH SCORE 965968.893
AT ITER 5774 NEW BEST:: SOT 6814026 SOS 1300892 HAS SOPS 1300892 HAS SOUS 964667 HAS SOUPS 964667 WITH SCORE 965967.892
AT ITER 5789 NEW BEST:: SOT 6813863 SOS 1300728 HAS SOPS 1300728 HAS SOUS 964503 HAS SOUPS 964503 WITH SCORE 965803.728
AT ITER 5803 NEW BEST:: SOT 6812723 SOS 1299821 HAS SOPS 1299821 HAS SOUS 963595 HAS SOUPS 963595 WITH SCORE 964894.821
AT ITER 5811 NEW BEST:: SOT 6812184 SOS 1299219 HAS SOPS 1299219 HAS SOUS 962809 HAS SOUPS 962809 WITH SCORE 964108.219
AT ITER 5833 NEW BEST:: SOT 6812142 SOS 1299177 HAS SOPS 1299177 HAS SOUS 962767 HAS SOUPS 962767 WITH SCORE 964066.177
AT ITER 5865 NEW BEST:: SOT 6811954 SOS 1298975 HAS SOPS 1298975 HAS SOUS 961074 HAS SOUPS 961074 WITH SCORE 962372.975
AT ITER 5888 NEW BEST:: SOT 6811954 SOS 1298970 HAS SOPS 1298970 HAS SOUS 961074 HAS SOUPS 961074 WITH SCORE 962372.97
AT ITER 5889 NEW BEST:: SOT 6810877 SOS 1297966 HAS SOPS 1297966 HAS SOUS 960581 HAS SOUPS 960581 WITH SCORE 961878.966
AT ITER 5920 NEW BEST:: SOT 6810685 SOS 1297410 HAS SOPS 1297410 HAS SOUS 960536 HAS SOUPS 960536 WITH SCORE 961833.41
AT ITER 5931 NEW BEST:: SOT 6810564 SOS 1297430 HAS SOPS 1297430 HAS SOUS 960141 HAS SOUPS 960141 WITH SCORE 961438.43
AT ITER 5935 NEW BEST:: SOT 6810564 SOS 1297430 HAS SOPS 1297430 HAS SOUS 959991 HAS SOUPS 959991 WITH SCORE 961288.43
AT ITER 5938 NEW BEST:: SOT 6810499 SOS 1297300 HAS SOPS 1297300 HAS SOUS 959861 HAS SOUPS 959861 WITH SCORE 961158.3
AT ITER 5948 NEW BEST:: SOT 6810499 SOS 1296922 HAS SOPS 1296922 HAS SOUS 959861 HAS SOUPS 959861 WITH SCORE 961157.922
AT ITER 5959 NEW BEST:: SOT 6810476 SOS 1296783 HAS SOPS 1296783 HAS SOUS 959798 HAS SOUPS 959798 WITH SCORE 961094.783
AT ITER 5966 NEW BEST:: SOT 6810349 SOS 1296529 HAS SOPS 1296529 HAS SOUS 959544 HAS SOUPS 959544 WITH SCORE 960840.529
AT ITER 5978 NEW BEST:: SOT 6810267 SOS 1296446 HAS SOPS 1296446 HAS SOUS 959461 HAS SOUPS 959461 WITH SCORE 960757.446
AT ITER 5993 NEW BEST:: SOT 6810218 SOS 1296348 HAS SOPS 1296348 HAS SOUS 959394 HAS SOUPS 959394 WITH SCORE 960690.348
AT ITER 5997 NEW BEST:: SOT 6810127 SOS 1296166 HAS SOPS 1296166 HAS SOUS 959212 HAS SOUPS 959212 WITH SCORE 960508.166
AT ITER 6013 NEW BEST:: SOT 6810127 SOS 1296155 HAS SOPS 1296155 HAS SOUS 959180 HAS SOUPS 959180 WITH SCORE 960476.155
AT ITER 6036 NEW BEST:: SOT 6810198 SOS 1295215 HAS SOPS 1295215 HAS SOUS 959041 HAS SOUPS 959041 WITH SCORE 960336.215
AT ITER 6055 NEW BEST:: SOT 6810197 SOS 1295213 HAS SOPS 1295213 HAS SOUS 959039 HAS SOUPS 959039 WITH SCORE 960334.213
AT ITER 6056 NEW BEST:: SOT 6810165 SOS 1295305 HAS SOPS 1295305 HAS SOUS 958989 HAS SOUPS 958989 WITH SCORE 960284.305
AT ITER 6081 NEW BEST:: SOT 6810165 SOS 1295223 HAS SOPS 1295223 HAS SOUS 958945 HAS SOUPS 958945 WITH SCORE 960240.223
AT ITER 6118 NEW BEST:: SOT 6810165 SOS 1295005 HAS SOPS 1295005 HAS SOUS 958945 HAS SOUPS 958945 WITH SCORE 960240.005
AT ITER 6129 NEW BEST:: SOT 6809806 SOS 1294732 HAS SOPS 1294732 HAS SOUS 958672 HAS SOUPS 958672 WITH SCORE 959966.732
AT ITER 6181 NEW BEST:: SOT 6809771 SOS 1294407 HAS SOPS 1294407 HAS SOUS 958161 HAS SOUPS 958161 WITH SCORE 959455.407
AT ITER 6184 NEW BEST:: SOT 6809771 SOS 1294207 HAS SOPS 1294207 HAS SOUS 957961 HAS SOUPS 957961 WITH SCORE 959255.207
AT ITER 6186 NEW BEST:: SOT 6809770 SOS 1294205 HAS SOPS 1294205 HAS SOUS 957959 HAS SOUPS 957959 WITH SCORE 959253.205
AT ITER 6211 NEW BEST:: SOT 6809770 SOS 1294205 HAS SOPS 1294205 HAS SOUS 957738 HAS SOUPS 957738 WITH SCORE 959032.205
AT ITER 6233 NEW BEST:: SOT 6809682 SOS 1293695 HAS SOPS 1293695 HAS SOUS 957676 HAS SOUPS 957676 WITH SCORE 958969.695
AT ITER 6279 NEW BEST:: SOT 6809682 SOS 1293586 HAS SOPS 1293586 HAS SOUS 957676 HAS SOUPS 957676 WITH SCORE 958969.586
AT ITER 6290 NEW BEST:: SOT 6809651 SOS 1293413 HAS SOPS 1293413 HAS SOUS 957572 HAS SOUPS 957572 WITH SCORE 958865.413
AT ITER 6307 NEW BEST:: SOT 6809376 SOS 1292590 HAS SOPS 1292590 HAS SOUS 957013 HAS SOUPS 957013 WITH SCORE 958305.59
AT ITER 6320 NEW BEST:: SOT 6809375 SOS 1292589 HAS SOPS 1292589 HAS SOUS 957011 HAS SOUPS 957011 WITH SCORE 958303.589
AT ITER 6333 NEW BEST:: SOT 6809019 SOS 1292432 HAS SOPS 1292432 HAS SOUS 956854 HAS SOUPS 956854 WITH SCORE 958146.432
AT ITER 6371 NEW BEST:: SOT 6808986 SOS 1292111 HAS SOPS 1292111 HAS SOUS 956800 HAS SOUPS 956800 WITH SCORE 958092.111
AT ITER 6405 NEW BEST:: SOT 6808761 SOS 1292090 HAS SOPS 1292090 HAS SOUS 956641 HAS SOUPS 956641 WITH SCORE 957933.09
AT ITER 6406 NEW BEST:: SOT 6808748 SOS 1291438 HAS SOPS 1291438 HAS SOUS 955989 HAS SOUPS 955989 WITH SCORE 957280.438
AT ITER 6423 NEW BEST:: SOT 6808733 SOS 1291423 HAS SOPS 1291423 HAS SOUS 955974 HAS SOUPS 955974 WITH SCORE 957265.423
AT ITER 6424 NEW BEST:: SOT 6808732 SOS 1291377 HAS SOPS 1291377 HAS SOUS 955928 HAS SOUPS 955928 WITH SCORE 957219.377
AT ITER 6440 NEW BEST:: SOT 6808543 SOS 1291188 HAS SOPS 1291188 HAS SOUS 955739 HAS SOUPS 955739 WITH SCORE 957030.188
AT ITER 6464 NEW BEST:: SOT 6808528 SOS 1290908 HAS SOPS 1290908 HAS SOUS 955495 HAS SOUPS 955495 WITH SCORE 956785.908
AT ITER 6498 NEW BEST:: SOT 6808359 SOS 1291029 HAS SOPS 1291029 HAS SOUS 955472 HAS SOUPS 955472 WITH SCORE 956763.029
AT ITER 6508 NEW BEST:: SOT 6808820 SOS 1292100 HAS SOPS 1292100 HAS SOUS 954977 HAS SOUPS 954977 WITH SCORE 956269.1
AT ITER 6553 NEW BEST:: SOT 6808776 SOS 1292016 HAS SOPS 1292016 HAS SOUS 954892 HAS SOUPS 954892 WITH SCORE 956184.016
AT ITER 6575 NEW BEST:: SOT 6808620 SOS 1291693 HAS SOPS 1291693 HAS SOUS 954569 HAS SOUPS 954569 WITH SCORE 955860.693
AT ITER 6643 NEW BEST:: SOT 6808447 SOS 1291540 HAS SOPS 1291540 HAS SOUS 954416 HAS SOUPS 954416 WITH SCORE 955707.54
AT ITER 6699 NEW BEST:: SOT 6808447 SOS 1291512 HAS SOPS 1291512 HAS SOUS 954415 HAS SOUPS 954415 WITH SCORE 955706.512
AT ITER 6706 NEW BEST:: SOT 6808418 SOS 1291454 HAS SOPS 1291454 HAS SOUS 954357 HAS SOUPS 954357 WITH SCORE 955648.454
AT ITER 6708 NEW BEST:: SOT 6808303 SOS 1291109 HAS SOPS 1291109 HAS SOUS 954012 HAS SOUPS 954012 WITH SCORE 955303.109
AT ITER 6716 NEW BEST:: SOT 6808050 SOS 1290308 HAS SOPS 1290308 HAS SOUS 953436 HAS SOUPS 953436 WITH SCORE 954726.308
AT ITER 6741 NEW BEST:: SOT 6808024 SOS 1289981 HAS SOPS 1289981 HAS SOUS 953309 HAS SOUPS 953309 WITH SCORE 954598.981
AT ITER 6747 NEW BEST:: SOT 6807745 SOS 1289518 HAS SOPS 1289518 HAS SOUS 953073 HAS SOUPS 953073 WITH SCORE 954362.518
AT ITER 6770 NEW BEST:: SOT 6807745 SOS 1289499 HAS SOPS 1289499 HAS SOUS 953054 HAS SOUPS 953054 WITH SCORE 954343.499
AT ITER 6796 NEW BEST:: SOT 6807581 SOS 1289032 HAS SOPS 1289032 HAS SOUS 952587 HAS SOUPS 952587 WITH SCORE 953876.032
AT ITER 6799 NEW BEST:: SOT 6807581 SOS 1288843 HAS SOPS 1288843 HAS SOUS 952587 HAS SOUPS 952587 WITH SCORE 953875.843
AT ITER 6814 NEW BEST:: SOT 6807471 SOS 1288757 HAS SOPS 1288757 HAS SOUS 952367 HAS SOUPS 952367 WITH SCORE 953655.757
AT ITER 6833 NEW BEST:: SOT 6807395 SOS 1288670 HAS SOPS 1288670 HAS SOUS 952280 HAS SOUPS 952280 WITH SCORE 953568.67
AT ITER 6837 NEW BEST:: SOT 6807263 SOS 1287699 HAS SOPS 1287699 HAS SOUS 951949 HAS SOUPS 951949 WITH SCORE 953236.699
AT ITER 6841 NEW BEST:: SOT 6806824 SOS 1286820 HAS SOPS 1286820 HAS SOUS 951070 HAS SOUPS 951070 WITH SCORE 952356.82
AT ITER 6888 NEW BEST:: SOT 6806792 SOS 1286729 HAS SOPS 1286729 HAS SOUS 950979 HAS SOUPS 950979 WITH SCORE 952265.729
AT ITER 6916 NEW BEST:: SOT 6806439 SOS 1286970 HAS SOPS 1286970 HAS SOUS 950857 HAS SOUPS 950857 WITH SCORE 952143.97
AT ITER 6958 NEW BEST:: SOT 6806434 SOS 1286955 HAS SOPS 1286955 HAS SOUS 950847 HAS SOUPS 950847 WITH SCORE 952133.955
AT ITER 6970 NEW BEST:: SOT 6806477 SOS 1286327 HAS SOPS 1286327 HAS SOUS 950219 HAS SOUPS 950219 WITH SCORE 951505.327
AT ITER 6978 NEW BEST:: SOT 6806476 SOS 1286150 HAS SOPS 1286150 HAS SOUS 950217 HAS SOUPS 950217 WITH SCORE 951503.15
AT ITER 6987 NEW BEST:: SOT 6806476 SOS 1286140 HAS SOPS 1286140 HAS SOUS 950217 HAS SOUPS 950217 WITH SCORE 951503.14
AT ITER 7004 NEW BEST:: SOT 6806462 SOS 1286125 HAS SOPS 1286125 HAS SOUS 950202 HAS SOUPS 950202 WITH SCORE 951488.125
AT ITER 7012 NEW BEST:: SOT 6806369 SOS 1285355 HAS SOPS 1285355 HAS SOUS 950010 HAS SOUPS 950010 WITH SCORE 951295.355
AT ITER 7021 NEW BEST:: SOT 6806332 SOS 1285281 HAS SOPS 1285281 HAS SOUS 949936 HAS SOUPS 949936 WITH SCORE 951221.281
AT ITER 7029 NEW BEST:: SOT 6806111 SOS 1285048 HAS SOPS 1285048 HAS SOUS 949683 HAS SOUPS 949683 WITH SCORE 950968.048
AT ITER 7046 NEW BEST:: SOT 6805760 SOS 1284285 HAS SOPS 1284285 HAS SOUS 948920 HAS SOUPS 948920 WITH SCORE 950204.285
AT ITER 7060 NEW BEST:: SOT 6805736 SOS 1284597 HAS SOPS 1284597 HAS SOUS 948845 HAS SOUPS 948845 WITH SCORE 950129.597
AT ITER 7074 NEW BEST:: SOT 6805311 SOS 1284456 HAS SOPS 1284456 HAS SOUS 948643 HAS SOUPS 948643 WITH SCORE 949927.456
AT ITER 7106 NEW BEST:: SOT 6805311 SOS 1284428 HAS SOPS 1284428 HAS SOUS 948642 HAS SOUPS 948642 WITH SCORE 949926.428
AT ITER 7163 NEW BEST:: SOT 6805086 SOS 1283948 HAS SOPS 1283948 HAS SOUS 948162 HAS SOUPS 948162 WITH SCORE 949445.948
AT ITER 7197 NEW BEST:: SOT 6805058 SOS 1283918 HAS SOPS 1283918 HAS SOUS 948132 HAS SOUPS 948132 WITH SCORE 949415.918
AT ITER 7210 NEW BEST:: SOT 6805003 SOS 1283812 HAS SOPS 1283812 HAS SOUS 947631 HAS SOUPS 947631 WITH SCORE 948914.812
AT ITER 7223 NEW BEST:: SOT 6804934 SOS 1283372 HAS SOPS 1283372 HAS SOUS 947191 HAS SOUPS 947191 WITH SCORE 948474.372
AT ITER 7257 NEW BEST:: SOT 6804791 SOS 1283229 HAS SOPS 1283229 HAS SOUS 947048 HAS SOUPS 947048 WITH SCORE 948331.229
AT ITER 7264 NEW BEST:: SOT 6804530 SOS 1282940 HAS SOPS 1282940 HAS SOUS 944697 HAS SOUPS 944697 WITH SCORE 945979.94
AT ITER 7297 NEW BEST:: SOT 6804530 SOS 1282939 HAS SOPS 1282939 HAS SOUS 944696 HAS SOUPS 944696 WITH SCORE 945978.939
AT ITER 7357 NEW BEST:: SOT 6804530 SOS 1282865 HAS SOPS 1282865 HAS SOUS 944622 HAS SOUPS 944622 WITH SCORE 945904.865
AT ITER 7360 NEW BEST:: SOT 6804329 SOS 1282847 HAS SOPS 1282847 HAS SOUS 944604 HAS SOUPS 944604 WITH SCORE 945886.847
AT ITER 7406 NEW BEST:: SOT 6804226 SOS 1282641 HAS SOPS 1282641 HAS SOUS 944386 HAS SOUPS 944386 WITH SCORE 945668.641
AT ITER 7413 NEW BEST:: SOT 6804159 SOS 1282507 HAS SOPS 1282507 HAS SOUS 944252 HAS SOUPS 944252 WITH SCORE 945534.507
AT ITER 7415 NEW BEST:: SOT 6804017 SOS 1282223 HAS SOPS 1282223 HAS SOUS 943968 HAS SOUPS 943968 WITH SCORE 945250.223
AT ITER 7433 NEW BEST:: SOT 6803919 SOS 1282027 HAS SOPS 1282027 HAS SOUS 943772 HAS SOUPS 943772 WITH SCORE 945054.027
AT ITER 7449 NEW BEST:: SOT 6802787 SOS 1280895 HAS SOPS 1280895 HAS SOUS 942911 HAS SOUPS 942911 WITH SCORE 944191.895
AT ITER 7480 NEW BEST:: SOT 6802787 SOS 1280892 HAS SOPS 1280892 HAS SOUS 942908 HAS SOUPS 942908 WITH SCORE 944188.892
AT ITER 7511 NEW BEST:: SOT 6802787 SOS 1280666 HAS SOPS 1280666 HAS SOUS 942908 HAS SOUPS 942908 WITH SCORE 944188.666
AT ITER 7513 NEW BEST:: SOT 6802735 SOS 1280614 HAS SOPS 1280614 HAS SOUS 942850 HAS SOUPS 942850 WITH SCORE 944130.614
AT ITER 7524 NEW BEST:: SOT 6802735 SOS 1280418 HAS SOPS 1280418 HAS SOUS 942850 HAS SOUPS 942850 WITH SCORE 944130.418
AT ITER 7526 NEW BEST:: SOT 6802716 SOS 1280380 HAS SOPS 1280380 HAS SOUS 942812 HAS SOUPS 942812 WITH SCORE 944092.38
AT ITER 7532 NEW BEST:: SOT 6802702 SOS 1280338 HAS SOPS 1280338 HAS SOUS 942798 HAS SOUPS 942798 WITH SCORE 944078.338
AT ITER 7535 NEW BEST:: SOT 6802702 SOS 1280338 HAS SOPS 1280338 HAS SOUS 942736 HAS SOUPS 942736 WITH SCORE 944016.338
AT ITER 7537 NEW BEST:: SOT 6802641 SOS 1278795 HAS SOPS 1278795 HAS SOUS 942605 HAS SOUPS 942605 WITH SCORE 943883.795
AT ITER 7558 NEW BEST:: SOT 6802439 SOS 1278391 HAS SOPS 1278391 HAS SOUS 942201 HAS SOUPS 942201 WITH SCORE 943479.391
AT ITER 7562 NEW BEST:: SOT 6802277 SOS 1278229 HAS SOPS 1278229 HAS SOUS 941927 HAS SOUPS 941927 WITH SCORE 943205.229
AT ITER 7572 NEW BEST:: SOT 6802532 SOS 1278154 HAS SOPS 1278154 HAS SOUS 941852 HAS SOUPS 941852 WITH SCORE 943130.154
AT ITER 7591 NEW BEST:: SOT 6803442 SOS 1279426 HAS SOPS 1279426 HAS SOUS 941028 HAS SOUPS 941028 WITH SCORE 942307.426
AT ITER 7666 NEW BEST:: SOT 6803291 SOS 1279380 HAS SOPS 1279380 HAS SOUS 940983 HAS SOUPS 940983 WITH SCORE 942262.38
AT ITER 7687 NEW BEST:: SOT 6803290 SOS 1279378 HAS SOPS 1279378 HAS SOUS 940981 HAS SOUPS 940981 WITH SCORE 942260.378
AT ITER 7688 NEW BEST:: SOT 6803262 SOS 1279462 HAS SOPS 1279462 HAS SOUS 940904 HAS SOUPS 940904 WITH SCORE 942183.462
AT ITER 7693 NEW BEST:: SOT 6803256 SOS 1279008 HAS SOPS 1279008 HAS SOUS 940705 HAS SOUPS 940705 WITH SCORE 941984.008
AT ITER 7741 NEW BEST:: SOT 6803135 SOS 1278776 HAS SOPS 1278776 HAS SOUS 940473 HAS SOUPS 940473 WITH SCORE 941751.776
AT ITER 7742 NEW BEST:: SOT 6803135 SOS 1277964 HAS SOPS 1277964 HAS SOUS 940473 HAS SOUPS 940473 WITH SCORE 941750.964
AT ITER 7749 NEW BEST:: SOT 6801999 SOS 1276544 HAS SOPS 1276544 HAS SOUS 939195 HAS SOUPS 939195 WITH SCORE 940471.544
AT ITER 7758 NEW BEST:: SOT 6801779 SOS 1276420 HAS SOPS 1276420 HAS SOUS 939070 HAS SOUPS 939070 WITH SCORE 940346.42
AT ITER 7765 NEW BEST:: SOT 6800882 SOS 1276150 HAS SOPS 1276150 HAS SOUS 938167 HAS SOUPS 938167 WITH SCORE 939443.15
AT ITER 7791 NEW BEST:: SOT 6800531 SOS 1275843 HAS SOPS 1275843 HAS SOUS 937860 HAS SOUPS 937860 WITH SCORE 939135.843
AT ITER 7812 NEW BEST:: SOT 6800457 SOS 1275800 HAS SOPS 1275800 HAS SOUS 937803 HAS SOUPS 937803 WITH SCORE 939078.8
AT ITER 7815 NEW BEST:: SOT 6800325 SOS 1275536 HAS SOPS 1275536 HAS SOUS 937539 HAS SOUPS 937539 WITH SCORE 938814.536
AT ITER 7853 NEW BEST:: SOT 6800285 SOS 1275843 HAS SOPS 1275843 HAS SOUS 937459 HAS SOUPS 937459 WITH SCORE 938734.843
AT ITER 7860 NEW BEST:: SOT 6800318 SOS 1276581 HAS SOPS 1276581 HAS SOUS 937336 HAS SOUPS 937336 WITH SCORE 938612.581
AT ITER 7867 NEW BEST:: SOT 6800318 SOS 1276530 HAS SOPS 1276530 HAS SOUS 937285 HAS SOUPS 937285 WITH SCORE 938561.53
AT ITER 7912 NEW BEST:: SOT 6800224 SOS 1276248 HAS SOPS 1276248 HAS SOUS 937097 HAS SOUPS 937097 WITH SCORE 938373.248
AT ITER 7924 NEW BEST:: SOT 6799838 SOS 1275461 HAS SOPS 1275461 HAS SOUS 936310 HAS SOUPS 936310 WITH SCORE 937585.461
AT ITER 7925 NEW BEST:: SOT 6799511 SOS 1274806 HAS SOPS 1274806 HAS SOUS 935655 HAS SOUPS 935655 WITH SCORE 936929.806
AT ITER 7989 NEW BEST:: SOT 6798615 SOS 1275523 HAS SOPS 1275523 HAS SOUS 934759 HAS SOUPS 934759 WITH SCORE 936034.523
AT ITER 7991 NEW BEST:: SOT 6798527 SOS 1275890 HAS SOPS 1275890 HAS SOUS 934583 HAS SOUPS 934583 WITH SCORE 935858.89
AT ITER 8000 NEW BEST:: SOT 6798255 SOS 1274876 HAS SOPS 1274876 HAS SOUS 933569 HAS SOUPS 933569 WITH SCORE 934843.876
AT ITER 8009 NEW BEST:: SOT 6798255 SOS 1274875 HAS SOPS 1274875 HAS SOUS 933322 HAS SOUPS 933322 WITH SCORE 934596.875
AT ITER 8045 NEW BEST:: SOT 6798255 SOS 1274874 HAS SOPS 1274874 HAS SOUS 933321 HAS SOUPS 933321 WITH SCORE 934595.874
AT ITER 8050 NEW BEST:: SOT 6798164 SOS 1274783 HAS SOPS 1274783 HAS SOUS 933230 HAS SOUPS 933230 WITH SCORE 934504.783
AT ITER 8082 NEW BEST:: SOT 6797806 SOS 1274609 HAS SOPS 1274609 HAS SOUS 933056 HAS SOUPS 933056 WITH SCORE 934330.609
AT ITER 8124 NEW BEST:: SOT 6797755 SOS 1274545 HAS SOPS 1274545 HAS SOUS 932992 HAS SOUPS 932992 WITH SCORE 934266.545
AT ITER 8137 NEW BEST:: SOT 6797728 SOS 1274518 HAS SOPS 1274518 HAS SOUS 932964 HAS SOUPS 932964 WITH SCORE 934238.518
AT ITER 8155 NEW BEST:: SOT 6797728 SOS 1274460 HAS SOPS 1274460 HAS SOUS 932906 HAS SOUPS 932906 WITH SCORE 934180.46
AT ITER 8156 NEW BEST:: SOT 6797695 SOS 1274223 HAS SOPS 1274223 HAS SOUS 932859 HAS SOUPS 932859 WITH SCORE 934133.223
AT ITER 8174 NEW BEST:: SOT 6797610 SOS 1274053 HAS SOPS 1274053 HAS SOUS 932689 HAS SOUPS 932689 WITH SCORE 933963.053
AT ITER 8179 NEW BEST:: SOT 6797455 SOS 1273776 HAS SOPS 1273776 HAS SOUS 932412 HAS SOUPS 932412 WITH SCORE 933685.776
AT ITER 8182 NEW BEST:: SOT 6797455 SOS 1274103 HAS SOPS 1274103 HAS SOUS 932403 HAS SOUPS 932403 WITH SCORE 933677.103
AT ITER 8189 NEW BEST:: SOT 6797454 SOS 1273997 HAS SOPS 1273997 HAS SOUS 932297 HAS SOUPS 932297 WITH SCORE 933570.997
AT ITER 8210 NEW BEST:: SOT 6797339 SOS 1273882 HAS SOPS 1273882 HAS SOUS 932169 HAS SOUPS 932169 WITH SCORE 933442.882
AT ITER 8231 NEW BEST:: SOT 6797376 SOS 1273895 HAS SOPS 1273895 HAS SOUS 932122 HAS SOUPS 932122 WITH SCORE 933395.895
AT ITER 8233 NEW BEST:: SOT 6796973 SOS 1274151 HAS SOPS 1274151 HAS SOUS 931984 HAS SOUPS 931984 WITH SCORE 933258.151
AT ITER 8257 NEW BEST:: SOT 6796789 SOS 1274001 HAS SOPS 1274001 HAS SOUS 931936 HAS SOUPS 931936 WITH SCORE 933210.001
AT ITER 8275 NEW BEST:: SOT 6796316 SOS 1273893 HAS SOPS 1273893 HAS SOUS 931828 HAS SOUPS 931828 WITH SCORE 933101.893
AT ITER 8278 NEW BEST:: SOT 6796047 SOS 1273018 HAS SOPS 1273018 HAS SOUS 931405 HAS SOUPS 931405 WITH SCORE 932678.018
AT ITER 8286 NEW BEST:: SOT 6796127 SOS 1272830 HAS SOPS 1272830 HAS SOUS 931217 HAS SOUPS 931217 WITH SCORE 932489.83
AT ITER 8299 NEW BEST:: SOT 6795259 SOS 1271957 HAS SOPS 1271957 HAS SOUS 930349 HAS SOUPS 930349 WITH SCORE 931620.957
AT ITER 8341 NEW BEST:: SOT 6795259 SOS 1271934 HAS SOPS 1271934 HAS SOUS 930324 HAS SOUPS 930324 WITH SCORE 931595.934
AT ITER 8371 NEW BEST:: SOT 6795225 SOS 1271900 HAS SOPS 1271900 HAS SOUS 930290 HAS SOUPS 930290 WITH SCORE 931561.9
AT ITER 8374 NEW BEST:: SOT 6795189 SOS 1271792 HAS SOPS 1271792 HAS SOUS 930182 HAS SOUPS 930182 WITH SCORE 931453.792
AT ITER 8393 NEW BEST:: SOT 6795162 SOS 1271680 HAS SOPS 1271680 HAS SOUS 930070 HAS SOUPS 930070 WITH SCORE 931341.68
AT ITER 8407 NEW BEST:: SOT 6795162 SOS 1271772 HAS SOPS 1271772 HAS SOUS 929959 HAS SOUPS 929959 WITH SCORE 931230.772
AT ITER 8419 NEW BEST:: SOT 6796034 SOS 1273147 HAS SOPS 1273147 HAS SOUS 928288 HAS SOUPS 928288 WITH SCORE 929561.147
AT ITER 8428 NEW BEST:: SOT 6796574 SOS 1274370 HAS SOPS 1274370 HAS SOUS 928188 HAS SOUPS 928188 WITH SCORE 929462.37
AT ITER 8442 NEW BEST:: SOT 6796569 SOS 1274282 HAS SOPS 1274282 HAS SOUS 928100 HAS SOUPS 928100 WITH SCORE 929374.282
AT ITER 8451 NEW BEST:: SOT 6796569 SOS 1274242 HAS SOPS 1274242 HAS SOUS 928028 HAS SOUPS 928028 WITH SCORE 929302.242
AT ITER 8471 NEW BEST:: SOT 6796568 SOS 1274240 HAS SOPS 1274240 HAS SOUS 928026 HAS SOUPS 928026 WITH SCORE 929300.24
AT ITER 8513 NEW BEST:: SOT 6796450 SOS 1273888 HAS SOPS 1273888 HAS SOUS 927790 HAS SOUPS 927790 WITH SCORE 929063.888
AT ITER 8536 NEW BEST:: SOT 6796368 SOS 1273724 HAS SOPS 1273724 HAS SOUS 927707 HAS SOUPS 927707 WITH SCORE 928980.724
AT ITER 8537 NEW BEST:: SOT 6796368 SOS 1273598 HAS SOPS 1273598 HAS SOUS 927706 HAS SOUPS 927706 WITH SCORE 928979.598
AT ITER 8538 NEW BEST:: SOT 6796266 SOS 1273507 HAS SOPS 1273507 HAS SOUS 927615 HAS SOUPS 927615 WITH SCORE 928888.507
AT ITER 8577 NEW BEST:: SOT 6796077 SOS 1273129 HAS SOPS 1273129 HAS SOUS 927338 HAS SOUPS 927338 WITH SCORE 928611.129
AT ITER 8586 NEW BEST:: SOT 6795827 SOS 1273072 HAS SOPS 1273072 HAS SOUS 926838 HAS SOUPS 926838 WITH SCORE 928111.072
AT ITER 8646 NEW BEST:: SOT 6795532 SOS 1272429 HAS SOPS 1272429 HAS SOUS 926195 HAS SOUPS 926195 WITH SCORE 927467.429
AT ITER 8658 NEW BEST:: SOT 6795531 SOS 1272423 HAS SOPS 1272423 HAS SOUS 926189 HAS SOUPS 926189 WITH SCORE 927461.423
AT ITER 8667 NEW BEST:: SOT 6795515 SOS 1272407 HAS SOPS 1272407 HAS SOUS 926173 HAS SOUPS 926173 WITH SCORE 927445.407
AT ITER 8691 NEW BEST:: SOT 6795416 SOS 1272209 HAS SOPS 1272209 HAS SOUS 925975 HAS SOUPS 925975 WITH SCORE 927247.209
AT ITER 8710 NEW BEST:: SOT 6795399 SOS 1272158 HAS SOPS 1272158 HAS SOUS 925938 HAS SOUPS 925938 WITH SCORE 927210.158
AT ITER 8733 NEW BEST:: SOT 6795062 SOS 1271456 HAS SOPS 1271456 HAS SOUS 925639 HAS SOUPS 925639 WITH SCORE 926910.456
AT ITER 8780 NEW BEST:: SOT 6794937 SOS 1271078 HAS SOPS 1271078 HAS SOUS 925389 HAS SOUPS 925389 WITH SCORE 926660.078
AT ITER 8786 NEW BEST:: SOT 6794933 SOS 1271074 HAS SOPS 1271074 HAS SOUS 925385 HAS SOUPS 925385 WITH SCORE 926656.074
AT ITER 8788 NEW BEST:: SOT 6794933 SOS 1271073 HAS SOPS 1271073 HAS SOUS 925384 HAS SOUPS 925384 WITH SCORE 926655.073
AT ITER 8789 NEW BEST:: SOT 6793536 SOS 1270556 HAS SOPS 1270556 HAS SOUS 924141 HAS SOUPS 924141 WITH SCORE 925411.556
AT ITER 8799 NEW BEST:: SOT 6793536 SOS 1270342 HAS SOPS 1270342 HAS SOUS 924034 HAS SOUPS 924034 WITH SCORE 925304.342
AT ITER 8821 NEW BEST:: SOT 6793581 SOS 1270274 HAS SOPS 1270274 HAS SOUS 923966 HAS SOUPS 923966 WITH SCORE 925236.274
AT ITER 8828 NEW BEST:: SOT 6793484 SOS 1269983 HAS SOPS 1269983 HAS SOUS 923772 HAS SOUPS 923772 WITH SCORE 925041.983
AT ITER 8864 NEW BEST:: SOT 6793484 SOS 1269826 HAS SOPS 1269826 HAS SOUS 923772 HAS SOUPS 923772 WITH SCORE 925041.826
AT ITER 8869 NEW BEST:: SOT 6793295 SOS 1269637 HAS SOPS 1269637 HAS SOUS 923599 HAS SOUPS 923599 WITH SCORE 924868.637
AT ITER 8884 NEW BEST:: SOT 6792907 SOS 1269699 HAS SOPS 1269699 HAS SOUS 923537 HAS SOUPS 923537 WITH SCORE 924806.699
AT ITER 8893 NEW BEST:: SOT 6792907 SOS 1269488 HAS SOPS 1269488 HAS SOUS 923326 HAS SOUPS 923326 WITH SCORE 924595.488
AT ITER 8899 NEW BEST:: SOT 6792878 SOS 1269107 HAS SOPS 1269107 HAS SOUS 923253 HAS SOUPS 923253 WITH SCORE 924522.107
AT ITER 8933 NEW BEST:: SOT 6792822 SOS 1266702 HAS SOPS 1266702 HAS SOUS 923137 HAS SOUPS 923137 WITH SCORE 924403.702
AT ITER 8950 NEW BEST:: SOT 6792820 SOS 1266698 HAS SOPS 1266698 HAS SOUS 923133 HAS SOUPS 923133 WITH SCORE 924399.698
AT ITER 8954 NEW BEST:: SOT 6792820 SOS 1265097 HAS SOPS 1265097 HAS SOUS 923133 HAS SOUPS 923133 WITH SCORE 924398.097
AT ITER 8976 NEW BEST:: SOT 6792809 SOS 1264868 HAS SOPS 1264868 HAS SOUS 922952 HAS SOUPS 922952 WITH SCORE 924216.868
AT ITER 8992 NEW BEST:: SOT 6792783 SOS 1264880 HAS SOPS 1264880 HAS SOUS 922926 HAS SOUPS 922926 WITH SCORE 924190.88
AT ITER 8995 NEW BEST:: SOT 6793418 SOS 1265617 HAS SOPS 1265617 HAS SOUS 920815 HAS SOUPS 920815 WITH SCORE 922080.617
AT ITER 9008 NEW BEST:: SOT 6793287 SOS 1264980 HAS SOPS 1264980 HAS SOUS 920283 HAS SOUPS 920283 WITH SCORE 921547.98
AT ITER 9029 NEW BEST:: SOT 6793237 SOS 1264916 HAS SOPS 1264916 HAS SOUS 920219 HAS SOUPS 920219 WITH SCORE 921483.916
AT ITER 9038 NEW BEST:: SOT 6793054 SOS 1264756 HAS SOPS 1264756 HAS SOUS 920059 HAS SOUPS 920059 WITH SCORE 921323.756
AT ITER 9045 NEW BEST:: SOT 6793246 SOS 1264531 HAS SOPS 1264531 HAS SOUS 919834 HAS SOUPS 919834 WITH SCORE 921098.531
AT ITER 9047 NEW BEST:: SOT 6793246 SOS 1264530 HAS SOPS 1264530 HAS SOUS 919833 HAS SOUPS 919833 WITH SCORE 921097.53
AT ITER 9067 NEW BEST:: SOT 6793031 SOS 1264315 HAS SOPS 1264315 HAS SOUS 919618 HAS SOUPS 919618 WITH SCORE 920882.315
AT ITER 9086 NEW BEST:: SOT 6792758 SOS 1264040 HAS SOPS 1264040 HAS SOUS 919343 HAS SOUPS 919343 WITH SCORE 920607.04
AT ITER 9103 NEW BEST:: SOT 6792798 SOS 1263845 HAS SOPS 1263845 HAS SOUS 919283 HAS SOUPS 919283 WITH SCORE 920546.845
AT ITER 9106 NEW BEST:: SOT 6792711 SOS 1263671 HAS SOPS 1263671 HAS SOUS 919096 HAS SOUPS 919096 WITH SCORE 920359.671
AT ITER 9167 NEW BEST:: SOT 6792341 SOS 1263064 HAS SOPS 1263064 HAS SOUS 918683 HAS SOUPS 918683 WITH SCORE 919946.064
AT ITER 9176 NEW BEST:: SOT 6792102 SOS 1262825 HAS SOPS 1262825 HAS SOUS 918205 HAS SOUPS 918205 WITH SCORE 919467.825
AT ITER 9198 NEW BEST:: SOT 6792039 SOS 1262636 HAS SOPS 1262636 HAS SOUS 918016 HAS SOUPS 918016 WITH SCORE 919278.636
AT ITER 9225 NEW BEST:: SOT 6791927 SOS 1261875 HAS SOPS 1261875 HAS SOUS 917739 HAS SOUPS 917739 WITH SCORE 919000.875
AT ITER 9226 NEW BEST:: SOT 6791858 SOS 1261895 HAS SOPS 1261895 HAS SOUS 917683 HAS SOUPS 917683 WITH SCORE 918944.895
AT ITER 9247 NEW BEST:: SOT 6791858 SOS 1261589 HAS SOPS 1261589 HAS SOUS 917377 HAS SOUPS 917377 WITH SCORE 918638.589
AT ITER 9284 NEW BEST:: SOT 6791923 SOS 1261412 HAS SOPS 1261412 HAS SOUS 917200 HAS SOUPS 917200 WITH SCORE 918461.412
AT ITER 9293 NEW BEST:: SOT 6792111 SOS 1261379 HAS SOPS 1261379 HAS SOUS 917167 HAS SOUPS 917167 WITH SCORE 918428.379
AT ITER 9301 NEW BEST:: SOT 6792101 SOS 1261333 HAS SOPS 1261333 HAS SOUS 917121 HAS SOUPS 917121 WITH SCORE 918382.333
AT ITER 9332 NEW BEST:: SOT 6792050 SOS 1261281 HAS SOPS 1261281 HAS SOUS 917069 HAS SOUPS 917069 WITH SCORE 918330.281
AT ITER 9347 NEW BEST:: SOT 6791852 SOS 1262044 HAS SOPS 1262044 HAS SOUS 916838 HAS SOUPS 916838 WITH SCORE 918100.044
AT ITER 9376 NEW BEST:: SOT 6791714 SOS 1261975 HAS SOPS 1261975 HAS SOUS 916769 HAS SOUPS 916769 WITH SCORE 918030.975
AT ITER 9388 NEW BEST:: SOT 6790950 SOS 1261272 HAS SOPS 1261272 HAS SOUS 916066 HAS SOUPS 916066 WITH SCORE 917327.272
AT ITER 9395 NEW BEST:: SOT 6790725 SOS 1261043 HAS SOPS 1261043 HAS SOUS 915837 HAS SOUPS 915837 WITH SCORE 917098.043
AT ITER 9405 NEW BEST:: SOT 6790676 SOS 1260945 HAS SOPS 1260945 HAS SOUS 915739 HAS SOUPS 915739 WITH SCORE 916999.945
AT ITER 9444 NEW BEST:: SOT 6790710 SOS 1259163 HAS SOPS 1259163 HAS SOUS 915560 HAS SOUPS 915560 WITH SCORE 916819.163
AT ITER 9522 NEW BEST:: SOT 6790710 SOS 1259084 HAS SOPS 1259084 HAS SOUS 915481 HAS SOUPS 915481 WITH SCORE 916740.084
AT ITER 9542 NEW BEST:: SOT 6790751 SOS 1258582 HAS SOPS 1258582 HAS SOUS 915380 HAS SOUPS 915380 WITH SCORE 916638.582
AT ITER 9561 NEW BEST:: SOT 6790751 SOS 1258550 HAS SOPS 1258550 HAS SOUS 915380 HAS SOUPS 915380 WITH SCORE 916638.55
AT ITER 9572 NEW BEST:: SOT 6790726 SOS 1258195 HAS SOPS 1258195 HAS SOUS 915235 HAS SOUPS 915235 WITH SCORE 916493.195
AT ITER 9574 NEW BEST:: SOT 6790238 SOS 1257803 HAS SOPS 1257803 HAS SOUS 914822 HAS SOUPS 914822 WITH SCORE 916079.803
AT ITER 9575 NEW BEST:: SOT 6790117 SOS 1257735 HAS SOPS 1257735 HAS SOUS 914754 HAS SOUPS 914754 WITH SCORE 916011.735
AT ITER 9584 NEW BEST:: SOT 6790037 SOS 1257651 HAS SOPS 1257651 HAS SOUS 914670 HAS SOUPS 914670 WITH SCORE 915927.651
AT ITER 9603 NEW BEST:: SOT 6789922 SOS 1257376 HAS SOPS 1257376 HAS SOUS 914395 HAS SOUPS 914395 WITH SCORE 915652.376
AT ITER 9646 NEW BEST:: SOT 6789914 SOS 1257300 HAS SOPS 1257300 HAS SOUS 914249 HAS SOUPS 914249 WITH SCORE 915506.3
AT ITER 9659 NEW BEST:: SOT 6789786 SOS 1257172 HAS SOPS 1257172 HAS SOUS 914105 HAS SOUPS 914105 WITH SCORE 915362.172
AT ITER 9665 NEW BEST:: SOT 6789659 SOS 1257045 HAS SOPS 1257045 HAS SOUS 913978 HAS SOUPS 913978 WITH SCORE 915235.045
AT ITER 9696 NEW BEST:: SOT 6789572 SOS 1257108 HAS SOPS 1257108 HAS SOUS 911452 HAS SOUPS 911452 WITH SCORE 912709.108
AT ITER 9703 NEW BEST:: SOT 6789663 SOS 1257047 HAS SOPS 1257047 HAS SOUS 911349 HAS SOUPS 911349 WITH SCORE 912606.047
AT ITER 9725 NEW BEST:: SOT 6789663 SOS 1256985 HAS SOPS 1256985 HAS SOUS 911311 HAS SOUPS 911311 WITH SCORE 912567.985
AT ITER 9769 NEW BEST:: SOT 6789661 SOS 1256909 HAS SOPS 1256909 HAS SOUS 911293 HAS SOUPS 911293 WITH SCORE 912549.909
AT ITER 9772 NEW BEST:: SOT 6790021 SOS 1257105 HAS SOPS 1257105 HAS SOUS 909482 HAS SOUPS 909482 WITH SCORE 910739.105
AT ITER 9779 NEW BEST:: SOT 6789947 SOS 1257287 HAS SOPS 1257287 HAS SOUS 909348 HAS SOUPS 909348 WITH SCORE 910605.287
AT ITER 9816 NEW BEST:: SOT 6789762 SOS 1256762 HAS SOPS 1256762 HAS SOUS 909158 HAS SOUPS 909158 WITH SCORE 910414.762
AT ITER 9819 NEW BEST:: SOT 6789762 SOS 1256611 HAS SOPS 1256611 HAS SOUS 909105 HAS SOUPS 909105 WITH SCORE 910361.611
AT ITER 9826 NEW BEST:: SOT 6789703 SOS 1256434 HAS SOPS 1256434 HAS SOUS 908987 HAS SOUPS 908987 WITH SCORE 910243.434
AT ITER 9835 NEW BEST:: SOT 6789702 SOS 1256433 HAS SOPS 1256433 HAS SOUS 908986 HAS SOUPS 908986 WITH SCORE 910242.433
AT ITER 9839 NEW BEST:: SOT 6789477 SOS 1255635 HAS SOPS 1255635 HAS SOUS 908536 HAS SOUPS 908536 WITH SCORE 909791.635
AT ITER 9919 NEW BEST:: SOT 6789450 SOS 1255608 HAS SOPS 1255608 HAS SOUS 908508 HAS SOUPS 908508 WITH SCORE 909763.608
AT ITER 9924 NEW BEST:: SOT 6789364 SOS 1255443 HAS SOPS 1255443 HAS SOUS 908230 HAS SOUPS 908230 WITH SCORE 909485.443
AT ITER 9929 NEW BEST:: SOT 6788859 SOS 1254938 HAS SOPS 1254938 HAS SOUS 907725 HAS SOUPS 907725 WITH SCORE 908979.938
AT ITER 9963 NEW BEST:: SOT 6788859 SOS 1254938 HAS SOPS 1254938 HAS SOUS 907599 HAS SOUPS 907599 WITH SCORE 908853.938
AT ITER 9976 NEW BEST:: SOT 6788283 SOS 1254290 HAS SOPS 1254290 HAS SOUS 906951 HAS SOUPS 906951 WITH SCORE 908205.29
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 13849660 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16152540 kB

BK_TIME_CONFINEMENT_REACHED

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

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="ASLink-PT-07b"
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"
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 smart"
echo " Input is ASLink-PT-07b, 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-oct2-167813590400120"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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