About the Execution of smart for ASLink-PT-08b
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15765.510 | 3600000.00 | 3599999.00 | 0.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2020-input.r003-smll-158897508100129.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ASLink-PT-08b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508100129
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.4M
-rw-r--r-- 1 mcc users 3.9K Mar 25 09:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 25 09:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 09:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 09:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Mar 25 09:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 25 09:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 25 08:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 11K Mar 25 08:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1.2M Mar 24 05:37 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1589062937929
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 08b
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart
Filename model.pnml
Petri model created: 3618 places, 4459 transitions, 13543 arcs.
AT ITER 0 NEW BEST:: SOT 8581989 SOS 1513259 HAS SOPS 1513259 HAS SOUS 1223312 HAS SOUPS 1223312 WITH SCORE 1224825.259
AT ITER 7 NEW BEST:: SOT 8581745 SOS 1513015 HAS SOPS 1513015 HAS SOUS 1222956 HAS SOUPS 1222956 WITH SCORE 1224469.015
AT ITER 10 NEW BEST:: SOT 8581639 SOS 1512527 HAS SOPS 1512527 HAS SOUS 1222744 HAS SOUPS 1222744 WITH SCORE 1224256.527
AT ITER 14 NEW BEST:: SOT 8581553 SOS 1512786 HAS SOPS 1512786 HAS SOUS 1222627 HAS SOUPS 1222627 WITH SCORE 1224139.786
AT ITER 33 NEW BEST:: SOT 8581552 SOS 1512602 HAS SOPS 1512602 HAS SOUS 1222624 HAS SOUPS 1222624 WITH SCORE 1224136.602
AT ITER 40 NEW BEST:: SOT 8581179 SOS 1512037 HAS SOPS 1512037 HAS SOUS 1222014 HAS SOUPS 1222014 WITH SCORE 1223526.037
AT ITER 65 NEW BEST:: SOT 8580834 SOS 1512755 HAS SOPS 1512755 HAS SOUS 1221976 HAS SOUPS 1221976 WITH SCORE 1223488.755
AT ITER 79 NEW BEST:: SOT 8580833 SOS 1512753 HAS SOPS 1512753 HAS SOUS 1221974 HAS SOUPS 1221974 WITH SCORE 1223486.753
AT ITER 101 NEW BEST:: SOT 8580833 SOS 1512665 HAS SOPS 1512665 HAS SOUS 1221973 HAS SOUPS 1221973 WITH SCORE 1223485.665
AT ITER 177 NEW BEST:: SOT 8580510 SOS 1512991 HAS SOPS 1512991 HAS SOUS 1221903 HAS SOUPS 1221903 WITH SCORE 1223415.991
AT ITER 236 NEW BEST:: SOT 8580160 SOS 1512445 HAS SOPS 1512445 HAS SOUS 1221640 HAS SOUPS 1221640 WITH SCORE 1223152.445
AT ITER 239 NEW BEST:: SOT 8578342 SOS 1515371 HAS SOPS 1515371 HAS SOUS 1219900 HAS SOUPS 1219900 WITH SCORE 1221415.371
AT ITER 256 NEW BEST:: SOT 8578322 SOS 1515331 HAS SOPS 1515331 HAS SOUS 1219879 HAS SOUPS 1219879 WITH SCORE 1221394.331
AT ITER 271 NEW BEST:: SOT 8578302 SOS 1515291 HAS SOPS 1515291 HAS SOUS 1219858 HAS SOUPS 1219858 WITH SCORE 1221373.291
AT ITER 281 NEW BEST:: SOT 8578141 SOS 1514969 HAS SOPS 1514969 HAS SOUS 1219449 HAS SOUPS 1219449 WITH SCORE 1220963.969
AT ITER 290 NEW BEST:: SOT 8577937 SOS 1514687 HAS SOPS 1514687 HAS SOUS 1219245 HAS SOUPS 1219245 WITH SCORE 1220759.687
AT ITER 296 NEW BEST:: SOT 8577937 SOS 1514684 HAS SOPS 1514684 HAS SOUS 1219242 HAS SOUPS 1219242 WITH SCORE 1220756.684
AT ITER 300 NEW BEST:: SOT 8577550 SOS 1514297 HAS SOPS 1514297 HAS SOUS 1218855 HAS SOUPS 1218855 WITH SCORE 1220369.297
AT ITER 322 NEW BEST:: SOT 8577096 SOS 1513842 HAS SOPS 1513842 HAS SOUS 1218400 HAS SOUPS 1218400 WITH SCORE 1219913.842
AT ITER 327 NEW BEST:: SOT 8577004 SOS 1513662 HAS SOPS 1513662 HAS SOUS 1218295 HAS SOUPS 1218295 WITH SCORE 1219808.662
AT ITER 342 NEW BEST:: SOT 8576930 SOS 1513289 HAS SOPS 1513289 HAS SOUS 1218144 HAS SOUPS 1218144 WITH SCORE 1219657.289
AT ITER 347 NEW BEST:: SOT 8576882 SOS 1513241 HAS SOPS 1513241 HAS SOUS 1218082 HAS SOUPS 1218082 WITH SCORE 1219595.241
AT ITER 361 NEW BEST:: SOT 8576797 SOS 1513223 HAS SOPS 1513223 HAS SOUS 1217958 HAS SOUPS 1217958 WITH SCORE 1219471.223
AT ITER 375 NEW BEST:: SOT 8576796 SOS 1513221 HAS SOPS 1513221 HAS SOUS 1217956 HAS SOUPS 1217956 WITH SCORE 1219469.221
AT ITER 393 NEW BEST:: SOT 8576796 SOS 1513201 HAS SOPS 1513201 HAS SOUS 1217936 HAS SOUPS 1217936 WITH SCORE 1219449.201
AT ITER 397 NEW BEST:: SOT 8576796 SOS 1513199 HAS SOPS 1513199 HAS SOUS 1217934 HAS SOUPS 1217934 WITH SCORE 1219447.199
AT ITER 428 NEW BEST:: SOT 8576795 SOS 1513197 HAS SOPS 1513197 HAS SOUS 1217932 HAS SOUPS 1217932 WITH SCORE 1219445.197
AT ITER 436 NEW BEST:: SOT 8576579 SOS 1513089 HAS SOPS 1513089 HAS SOUS 1217824 HAS SOUPS 1217824 WITH SCORE 1219337.089
AT ITER 446 NEW BEST:: SOT 8575201 SOS 1511718 HAS SOPS 1511718 HAS SOUS 1216446 HAS SOUPS 1216446 WITH SCORE 1217957.718
AT ITER 448 NEW BEST:: SOT 8574963 SOS 1511480 HAS SOPS 1511480 HAS SOUS 1216208 HAS SOUPS 1216208 WITH SCORE 1217719.48
AT ITER 490 NEW BEST:: SOT 8574963 SOS 1511313 HAS SOPS 1511313 HAS SOUS 1216041 HAS SOUPS 1216041 WITH SCORE 1217552.313
AT ITER 498 NEW BEST:: SOT 8574859 SOS 1511105 HAS SOPS 1511105 HAS SOUS 1215833 HAS SOUPS 1215833 WITH SCORE 1217344.105
AT ITER 522 NEW BEST:: SOT 8574652 SOS 1510898 HAS SOPS 1510898 HAS SOUS 1215624 HAS SOUPS 1215624 WITH SCORE 1217134.898
AT ITER 536 NEW BEST:: SOT 8574352 SOS 1510306 HAS SOPS 1510306 HAS SOUS 1215032 HAS SOUPS 1215032 WITH SCORE 1216542.306
AT ITER 544 NEW BEST:: SOT 8574238 SOS 1510286 HAS SOPS 1510286 HAS SOUS 1215032 HAS SOUPS 1215032 WITH SCORE 1216542.286
AT ITER 554 NEW BEST:: SOT 8573789 SOS 1511529 HAS SOPS 1511529 HAS SOUS 1214439 HAS SOUPS 1214439 WITH SCORE 1215950.529
AT ITER 574 NEW BEST:: SOT 8573789 SOS 1511528 HAS SOPS 1511528 HAS SOUS 1214438 HAS SOUPS 1214438 WITH SCORE 1215949.528
AT ITER 583 NEW BEST:: SOT 8573072 SOS 1510577 HAS SOPS 1510577 HAS SOUS 1213489 HAS SOUPS 1213489 WITH SCORE 1214999.577
AT ITER 592 NEW BEST:: SOT 8572969 SOS 1510474 HAS SOPS 1510474 HAS SOUS 1213385 HAS SOUPS 1213385 WITH SCORE 1214895.474
AT ITER 616 NEW BEST:: SOT 8572831 SOS 1509915 HAS SOPS 1509915 HAS SOUS 1212826 HAS SOUPS 1212826 WITH SCORE 1214335.915
AT ITER 637 NEW BEST:: SOT 8572633 SOS 1510602 HAS SOPS 1510602 HAS SOUS 1212576 HAS SOUPS 1212576 WITH SCORE 1214086.602
AT ITER 642 NEW BEST:: SOT 8572633 SOS 1510372 HAS SOPS 1510372 HAS SOUS 1212415 HAS SOUPS 1212415 WITH SCORE 1213925.372
AT ITER 645 NEW BEST:: SOT 8572339 SOS 1509885 HAS SOPS 1509885 HAS SOUS 1212109 HAS SOUPS 1212109 WITH SCORE 1213618.885
AT ITER 647 NEW BEST:: SOT 8571653 SOS 1509101 HAS SOPS 1509101 HAS SOUS 1212011 HAS SOUPS 1212011 WITH SCORE 1213520.101
AT ITER 656 NEW BEST:: SOT 8571602 SOS 1509046 HAS SOPS 1509046 HAS SOUS 1211959 HAS SOUPS 1211959 WITH SCORE 1213468.046
AT ITER 662 NEW BEST:: SOT 8569950 SOS 1507235 HAS SOPS 1507235 HAS SOUS 1211800 HAS SOUPS 1211800 WITH SCORE 1213307.235
AT ITER 671 NEW BEST:: SOT 8569715 SOS 1506997 HAS SOPS 1506997 HAS SOUS 1211562 HAS SOUPS 1211562 WITH SCORE 1213068.997
AT ITER 672 NEW BEST:: SOT 8569469 SOS 1506880 HAS SOPS 1506880 HAS SOUS 1211328 HAS SOUPS 1211328 WITH SCORE 1212834.88
AT ITER 686 NEW BEST:: SOT 8569469 SOS 1506717 HAS SOPS 1506717 HAS SOUS 1211325 HAS SOUPS 1211325 WITH SCORE 1212831.717
AT ITER 694 NEW BEST:: SOT 8569469 SOS 1506526 HAS SOPS 1506526 HAS SOUS 1211324 HAS SOUPS 1211324 WITH SCORE 1212830.526
AT ITER 702 NEW BEST:: SOT 8568769 SOS 1509167 HAS SOPS 1509167 HAS SOUS 1211300 HAS SOUPS 1211300 WITH SCORE 1212809.167
AT ITER 704 NEW BEST:: SOT 8568769 SOS 1508993 HAS SOPS 1508993 HAS SOUS 1211300 HAS SOUPS 1211300 WITH SCORE 1212808.993
AT ITER 742 NEW BEST:: SOT 8568769 SOS 1508977 HAS SOPS 1508977 HAS SOUS 1211300 HAS SOUPS 1211300 WITH SCORE 1212808.977
AT ITER 764 NEW BEST:: SOT 8568892 SOS 1504455 HAS SOPS 1504455 HAS SOUS 1211097 HAS SOUPS 1211097 WITH SCORE 1212601.455
AT ITER 780 NEW BEST:: SOT 8568892 SOS 1504101 HAS SOPS 1504101 HAS SOUS 1210920 HAS SOUPS 1210920 WITH SCORE 1212424.101
AT ITER 783 NEW BEST:: SOT 8567695 SOS 1502904 HAS SOPS 1502904 HAS SOUS 1210919 HAS SOUPS 1210919 WITH SCORE 1212421.904
AT ITER 789 NEW BEST:: SOT 8567376 SOS 1502585 HAS SOPS 1502585 HAS SOUS 1210576 HAS SOUPS 1210576 WITH SCORE 1212078.585
AT ITER 791 NEW BEST:: SOT 8567376 SOS 1502400 HAS SOPS 1502400 HAS SOUS 1210575 HAS SOUPS 1210575 WITH SCORE 1212077.4
AT ITER 813 NEW BEST:: SOT 8567374 SOS 1502398 HAS SOPS 1502398 HAS SOUS 1210573 HAS SOUPS 1210573 WITH SCORE 1212075.398
AT ITER 826 NEW BEST:: SOT 8567374 SOS 1502397 HAS SOPS 1502397 HAS SOUS 1210572 HAS SOUPS 1210572 WITH SCORE 1212074.397
AT ITER 828 NEW BEST:: SOT 8567374 SOS 1502134 HAS SOPS 1502134 HAS SOUS 1210510 HAS SOUPS 1210510 WITH SCORE 1212012.134
AT ITER 833 NEW BEST:: SOT 8567233 SOS 1501852 HAS SOPS 1501852 HAS SOUS 1210369 HAS SOUPS 1210369 WITH SCORE 1211870.852
AT ITER 847 NEW BEST:: SOT 8567169 SOS 1501724 HAS SOPS 1501724 HAS SOUS 1210241 HAS SOUPS 1210241 WITH SCORE 1211742.724
AT ITER 873 NEW BEST:: SOT 8565691 SOS 1500245 HAS SOPS 1500245 HAS SOUS 1208762 HAS SOUPS 1208762 WITH SCORE 1210262.245
AT ITER 909 NEW BEST:: SOT 8565566 SOS 1499870 HAS SOPS 1499870 HAS SOUS 1208511 HAS SOUPS 1208511 WITH SCORE 1210010.87
AT ITER 917 NEW BEST:: SOT 8565566 SOS 1499454 HAS SOPS 1499454 HAS SOUS 1208511 HAS SOUPS 1208511 WITH SCORE 1210010.454
AT ITER 921 NEW BEST:: SOT 8565566 SOS 1499339 HAS SOPS 1499339 HAS SOUS 1208393 HAS SOUPS 1208393 WITH SCORE 1209892.339
AT ITER 927 NEW BEST:: SOT 8565566 SOS 1499338 HAS SOPS 1499338 HAS SOUS 1208392 HAS SOUPS 1208392 WITH SCORE 1209891.338
AT ITER 936 NEW BEST:: SOT 8565566 SOS 1499584 HAS SOPS 1499584 HAS SOUS 1208365 HAS SOUPS 1208365 WITH SCORE 1209864.584
AT ITER 956 NEW BEST:: SOT 8565566 SOS 1499320 HAS SOPS 1499320 HAS SOUS 1208365 HAS SOUPS 1208365 WITH SCORE 1209864.32
AT ITER 959 NEW BEST:: SOT 8564960 SOS 1498411 HAS SOPS 1498411 HAS SOUS 1207456 HAS SOUPS 1207456 WITH SCORE 1208954.411
AT ITER 986 NEW BEST:: SOT 8564685 SOS 1497857 HAS SOPS 1497857 HAS SOUS 1206902 HAS SOUPS 1206902 WITH SCORE 1208399.857
AT ITER 1005 NEW BEST:: SOT 8564594 SOS 1497675 HAS SOPS 1497675 HAS SOUS 1206810 HAS SOUPS 1206810 WITH SCORE 1208307.675
AT ITER 1013 NEW BEST:: SOT 8564553 SOS 1497591 HAS SOPS 1497591 HAS SOUS 1206768 HAS SOUPS 1206768 WITH SCORE 1208265.591
AT ITER 1014 NEW BEST:: SOT 8564284 SOS 1497214 HAS SOPS 1497214 HAS SOUS 1206509 HAS SOUPS 1206509 WITH SCORE 1208006.214
AT ITER 1027 NEW BEST:: SOT 8563821 SOS 1496751 HAS SOPS 1496751 HAS SOUS 1206046 HAS SOUPS 1206046 WITH SCORE 1207542.751
AT ITER 1044 NEW BEST:: SOT 8563821 SOS 1496621 HAS SOPS 1496621 HAS SOUS 1206043 HAS SOUPS 1206043 WITH SCORE 1207539.621
AT ITER 1060 NEW BEST:: SOT 8565370 SOS 1498503 HAS SOPS 1498503 HAS SOUS 1205205 HAS SOUPS 1205205 WITH SCORE 1206703.503
AT ITER 1108 NEW BEST:: SOT 8565370 SOS 1498656 HAS SOPS 1498656 HAS SOUS 1205201 HAS SOUPS 1205201 WITH SCORE 1206699.656
AT ITER 1118 NEW BEST:: SOT 8565370 SOS 1498405 HAS SOPS 1498405 HAS SOUS 1205201 HAS SOUPS 1205201 WITH SCORE 1206699.405
AT ITER 1140 NEW BEST:: SOT 8565370 SOS 1498507 HAS SOPS 1498507 HAS SOUS 1205200 HAS SOUPS 1205200 WITH SCORE 1206698.507
AT ITER 1161 NEW BEST:: SOT 8565047 SOS 1498141 HAS SOPS 1498141 HAS SOUS 1205156 HAS SOUPS 1205156 WITH SCORE 1206654.141
AT ITER 1169 NEW BEST:: SOT 8565047 SOS 1498088 HAS SOPS 1498088 HAS SOUS 1205103 HAS SOUPS 1205103 WITH SCORE 1206601.088
AT ITER 1191 NEW BEST:: SOT 8564746 SOS 1497639 HAS SOPS 1497639 HAS SOUS 1204886 HAS SOUPS 1204886 WITH SCORE 1206383.639
AT ITER 1194 NEW BEST:: SOT 8564746 SOS 1497519 HAS SOPS 1497519 HAS SOUS 1204783 HAS SOUPS 1204783 WITH SCORE 1206280.519
AT ITER 1201 NEW BEST:: SOT 8564856 SOS 1497457 HAS SOPS 1497457 HAS SOUS 1204721 HAS SOUPS 1204721 WITH SCORE 1206218.457
AT ITER 1273 NEW BEST:: SOT 8564552 SOS 1496471 HAS SOPS 1496471 HAS SOUS 1204113 HAS SOUPS 1204113 WITH SCORE 1205609.471
AT ITER 1286 NEW BEST:: SOT 8564552 SOS 1496332 HAS SOPS 1496332 HAS SOUS 1203974 HAS SOUPS 1203974 WITH SCORE 1205470.332
AT ITER 1298 NEW BEST:: SOT 8564551 SOS 1496326 HAS SOPS 1496326 HAS SOUS 1203968 HAS SOUPS 1203968 WITH SCORE 1205464.326
AT ITER 1300 NEW BEST:: SOT 8564551 SOS 1496322 HAS SOPS 1496322 HAS SOUS 1203964 HAS SOUPS 1203964 WITH SCORE 1205460.322
AT ITER 1352 NEW BEST:: SOT 8564551 SOS 1496415 HAS SOPS 1496415 HAS SOUS 1203944 HAS SOUPS 1203944 WITH SCORE 1205440.415
AT ITER 1371 NEW BEST:: SOT 8563844 SOS 1495607 HAS SOPS 1495607 HAS SOUS 1203843 HAS SOUPS 1203843 WITH SCORE 1205338.607
AT ITER 1372 NEW BEST:: SOT 8563824 SOS 1495551 HAS SOPS 1495551 HAS SOUS 1203643 HAS SOUPS 1203643 WITH SCORE 1205138.551
AT ITER 1400 NEW BEST:: SOT 8563374 SOS 1496660 HAS SOPS 1496660 HAS SOUS 1203390 HAS SOUPS 1203390 WITH SCORE 1204886.66
AT ITER 1415 NEW BEST:: SOT 8563334 SOS 1496576 HAS SOPS 1496576 HAS SOUS 1203306 HAS SOUPS 1203306 WITH SCORE 1204802.576
AT ITER 1420 NEW BEST:: SOT 8563327 SOS 1496569 HAS SOPS 1496569 HAS SOUS 1203299 HAS SOUPS 1203299 WITH SCORE 1204795.569
AT ITER 1436 NEW BEST:: SOT 8563327 SOS 1496380 HAS SOPS 1496380 HAS SOUS 1203298 HAS SOUPS 1203298 WITH SCORE 1204794.38
AT ITER 1446 NEW BEST:: SOT 8563226 SOS 1496322 HAS SOPS 1496322 HAS SOUS 1203240 HAS SOUPS 1203240 WITH SCORE 1204736.322
AT ITER 1449 NEW BEST:: SOT 8563089 SOS 1496185 HAS SOPS 1496185 HAS SOUS 1203101 HAS SOUPS 1203101 WITH SCORE 1204597.185
AT ITER 1453 NEW BEST:: SOT 8563089 SOS 1496182 HAS SOPS 1496182 HAS SOUS 1203098 HAS SOUPS 1203098 WITH SCORE 1204594.182
AT ITER 1513 NEW BEST:: SOT 8562201 SOS 1495590 HAS SOPS 1495590 HAS SOUS 1202506 HAS SOUPS 1202506 WITH SCORE 1204001.59
AT ITER 1515 NEW BEST:: SOT 8562060 SOS 1495449 HAS SOPS 1495449 HAS SOUS 1202365 HAS SOUPS 1202365 WITH SCORE 1203860.449
AT ITER 1537 NEW BEST:: SOT 8562060 SOS 1495448 HAS SOPS 1495448 HAS SOUS 1202364 HAS SOUPS 1202364 WITH SCORE 1203859.448
AT ITER 1538 NEW BEST:: SOT 8561865 SOS 1495195 HAS SOPS 1495195 HAS SOUS 1202111 HAS SOUPS 1202111 WITH SCORE 1203606.195
AT ITER 1583 NEW BEST:: SOT 8561805 SOS 1495129 HAS SOPS 1495129 HAS SOUS 1202045 HAS SOUPS 1202045 WITH SCORE 1203540.129
AT ITER 1589 NEW BEST:: SOT 8561805 SOS 1495129 HAS SOPS 1495129 HAS SOUS 1202037 HAS SOUPS 1202037 WITH SCORE 1203532.129
AT ITER 1599 NEW BEST:: SOT 8561805 SOS 1495070 HAS SOPS 1495070 HAS SOUS 1201978 HAS SOUPS 1201978 WITH SCORE 1203473.07
AT ITER 1605 NEW BEST:: SOT 8561429 SOS 1495679 HAS SOPS 1495679 HAS SOUS 1201974 HAS SOUPS 1201974 WITH SCORE 1203469.679
AT ITER 1625 NEW BEST:: SOT 8561429 SOS 1495643 HAS SOPS 1495643 HAS SOUS 1201938 HAS SOUPS 1201938 WITH SCORE 1203433.643
AT ITER 1637 NEW BEST:: SOT 8561387 SOS 1495459 HAS SOPS 1495459 HAS SOUS 1201890 HAS SOUPS 1201890 WITH SCORE 1203385.459
AT ITER 1638 NEW BEST:: SOT 8561206 SOS 1495263 HAS SOPS 1495263 HAS SOUS 1201053 HAS SOUPS 1201053 WITH SCORE 1202548.263
AT ITER 1650 NEW BEST:: SOT 8561206 SOS 1495196 HAS SOPS 1495196 HAS SOUS 1201049 HAS SOUPS 1201049 WITH SCORE 1202544.196
AT ITER 1654 NEW BEST:: SOT 8561205 SOS 1495171 HAS SOPS 1495171 HAS SOUS 1201024 HAS SOUPS 1201024 WITH SCORE 1202519.171
AT ITER 1670 NEW BEST:: SOT 8560846 SOS 1494812 HAS SOPS 1494812 HAS SOUS 1200665 HAS SOUPS 1200665 WITH SCORE 1202159.812
AT ITER 1676 NEW BEST:: SOT 8560813 SOS 1494581 HAS SOPS 1494581 HAS SOUS 1200639 HAS SOUPS 1200639 WITH SCORE 1202133.581
AT ITER 1684 NEW BEST:: SOT 8560457 SOS 1493854 HAS SOPS 1493854 HAS SOUS 1200245 HAS SOUPS 1200245 WITH SCORE 1201738.854
AT ITER 1789 NEW BEST:: SOT 8560400 SOS 1492930 HAS SOPS 1492930 HAS SOUS 1199860 HAS SOUPS 1199860 WITH SCORE 1201352.93
AT ITER 1799 NEW BEST:: SOT 8559929 SOS 1492459 HAS SOPS 1492459 HAS SOUS 1199389 HAS SOUPS 1199389 WITH SCORE 1200881.459
AT ITER 1837 NEW BEST:: SOT 8559456 SOS 1491934 HAS SOPS 1491934 HAS SOUS 1198863 HAS SOUPS 1198863 WITH SCORE 1200354.934
AT ITER 1841 NEW BEST:: SOT 8559456 SOS 1491984 HAS SOPS 1491984 HAS SOUS 1198803 HAS SOUPS 1198803 WITH SCORE 1200294.984
AT ITER 1920 NEW BEST:: SOT 8559412 SOS 1491896 HAS SOPS 1491896 HAS SOUS 1198715 HAS SOUPS 1198715 WITH SCORE 1200206.896
AT ITER 1935 NEW BEST:: SOT 8559363 SOS 1491484 HAS SOPS 1491484 HAS SOUS 1198617 HAS SOUPS 1198617 WITH SCORE 1200108.484
AT ITER 1940 NEW BEST:: SOT 8559286 SOS 1491330 HAS SOPS 1491330 HAS SOUS 1198463 HAS SOUPS 1198463 WITH SCORE 1199954.33
AT ITER 1962 NEW BEST:: SOT 8559250 SOS 1491258 HAS SOPS 1491258 HAS SOUS 1198391 HAS SOUPS 1198391 WITH SCORE 1199882.258
AT ITER 1980 NEW BEST:: SOT 8559169 SOS 1491165 HAS SOPS 1491165 HAS SOUS 1198284 HAS SOUPS 1198284 WITH SCORE 1199775.165
AT ITER 1996 NEW BEST:: SOT 8559169 SOS 1490895 HAS SOPS 1490895 HAS SOUS 1198283 HAS SOUPS 1198283 WITH SCORE 1199773.895
AT ITER 2003 NEW BEST:: SOT 8558685 SOS 1490686 HAS SOPS 1490686 HAS SOUS 1198053 HAS SOUPS 1198053 WITH SCORE 1199543.686
AT ITER 2004 NEW BEST:: SOT 8559545 SOS 1491163 HAS SOPS 1491163 HAS SOUS 1195847 HAS SOUPS 1195847 WITH SCORE 1197338.163
AT ITER 2005 NEW BEST:: SOT 8559544 SOS 1491161 HAS SOPS 1491161 HAS SOUS 1195845 HAS SOUPS 1195845 WITH SCORE 1197336.161
AT ITER 2021 NEW BEST:: SOT 8559544 SOS 1491159 HAS SOPS 1491159 HAS SOUS 1195843 HAS SOUPS 1195843 WITH SCORE 1197334.159
AT ITER 2037 NEW BEST:: SOT 8559461 SOS 1490885 HAS SOPS 1490885 HAS SOUS 1195711 HAS SOUPS 1195711 WITH SCORE 1197201.885
AT ITER 2039 NEW BEST:: SOT 8559461 SOS 1490720 HAS SOPS 1490720 HAS SOUS 1195709 HAS SOUPS 1195709 WITH SCORE 1197199.72
AT ITER 2058 NEW BEST:: SOT 8559461 SOS 1490648 HAS SOPS 1490648 HAS SOUS 1195709 HAS SOUPS 1195709 WITH SCORE 1197199.648
AT ITER 2068 NEW BEST:: SOT 8559320 SOS 1490366 HAS SOPS 1490366 HAS SOUS 1195427 HAS SOUPS 1195427 WITH SCORE 1196917.366
AT ITER 2083 NEW BEST:: SOT 8556498 SOS 1489636 HAS SOPS 1489636 HAS SOUS 1192464 HAS SOUPS 1192464 WITH SCORE 1193953.636
AT ITER 2084 NEW BEST:: SOT 8556498 SOS 1489600 HAS SOPS 1489600 HAS SOUS 1192428 HAS SOUPS 1192428 WITH SCORE 1193917.6
AT ITER 2095 NEW BEST:: SOT 8556120 SOS 1488959 HAS SOPS 1488959 HAS SOUS 1192100 HAS SOUPS 1192100 WITH SCORE 1193588.959
AT ITER 2098 NEW BEST:: SOT 8556118 SOS 1488917 HAS SOPS 1488917 HAS SOUS 1192088 HAS SOUPS 1192088 WITH SCORE 1193576.917
AT ITER 2100 NEW BEST:: SOT 8556066 SOS 1488247 HAS SOPS 1488247 HAS SOUS 1191727 HAS SOUPS 1191727 WITH SCORE 1193215.247
AT ITER 2141 NEW BEST:: SOT 8555930 SOS 1487975 HAS SOPS 1487975 HAS SOUS 1191590 HAS SOUPS 1191590 WITH SCORE 1193077.975
AT ITER 2163 NEW BEST:: SOT 8555930 SOS 1487702 HAS SOPS 1487702 HAS SOUS 1191590 HAS SOUPS 1191590 WITH SCORE 1193077.702
AT ITER 2181 NEW BEST:: SOT 8555839 SOS 1487570 HAS SOPS 1487570 HAS SOUS 1191458 HAS SOUPS 1191458 WITH SCORE 1192945.57
AT ITER 2185 NEW BEST:: SOT 8555046 SOS 1487041 HAS SOPS 1487041 HAS SOUS 1190920 HAS SOUPS 1190920 WITH SCORE 1192407.041
AT ITER 2208 NEW BEST:: SOT 8554731 SOS 1486726 HAS SOPS 1486726 HAS SOUS 1190605 HAS SOUPS 1190605 WITH SCORE 1192091.726
AT ITER 2210 NEW BEST:: SOT 8554509 SOS 1486866 HAS SOPS 1486866 HAS SOUS 1190521 HAS SOUPS 1190521 WITH SCORE 1192007.866
AT ITER 2211 NEW BEST:: SOT 8554509 SOS 1486811 HAS SOPS 1486811 HAS SOUS 1190466 HAS SOUPS 1190466 WITH SCORE 1191952.811
AT ITER 2232 NEW BEST:: SOT 8554221 SOS 1486458 HAS SOPS 1486458 HAS SOUS 1190178 HAS SOUPS 1190178 WITH SCORE 1191664.458
AT ITER 2233 NEW BEST:: SOT 8554144 SOS 1486381 HAS SOPS 1486381 HAS SOUS 1190112 HAS SOUPS 1190112 WITH SCORE 1191598.381
AT ITER 2246 NEW BEST:: SOT 8554126 SOS 1486165 HAS SOPS 1486165 HAS SOUS 1190076 HAS SOUPS 1190076 WITH SCORE 1191562.165
AT ITER 2258 NEW BEST:: SOT 8554126 SOS 1486028 HAS SOPS 1486028 HAS SOUS 1189939 HAS SOUPS 1189939 WITH SCORE 1191425.028
AT ITER 2264 NEW BEST:: SOT 8554080 SOS 1485752 HAS SOPS 1485752 HAS SOUS 1189846 HAS SOUPS 1189846 WITH SCORE 1191331.752
AT ITER 2284 NEW BEST:: SOT 8553948 SOS 1485488 HAS SOPS 1485488 HAS SOUS 1189704 HAS SOUPS 1189704 WITH SCORE 1191189.488
AT ITER 2308 NEW BEST:: SOT 8553603 SOS 1484945 HAS SOPS 1484945 HAS SOUS 1189026 HAS SOUPS 1189026 WITH SCORE 1190510.945
AT ITER 2315 NEW BEST:: SOT 8553377 SOS 1484050 HAS SOPS 1484050 HAS SOUS 1188689 HAS SOUPS 1188689 WITH SCORE 1190173.05
AT ITER 2331 NEW BEST:: SOT 8551963 SOS 1482434 HAS SOPS 1482434 HAS SOUS 1187073 HAS SOUPS 1187073 WITH SCORE 1188555.434
AT ITER 2333 NEW BEST:: SOT 8551912 SOS 1482160 HAS SOPS 1482160 HAS SOUS 1186949 HAS SOUPS 1186949 WITH SCORE 1188431.16
AT ITER 2366 NEW BEST:: SOT 8551726 SOS 1481975 HAS SOPS 1481975 HAS SOUS 1186751 HAS SOUPS 1186751 WITH SCORE 1188232.975
AT ITER 2382 NEW BEST:: SOT 8551064 SOS 1480952 HAS SOPS 1480952 HAS SOUS 1185758 HAS SOUPS 1185758 WITH SCORE 1187238.952
AT ITER 2387 NEW BEST:: SOT 8550927 SOS 1480647 HAS SOPS 1480647 HAS SOUS 1185460 HAS SOUPS 1185460 WITH SCORE 1186940.647
AT ITER 2389 NEW BEST:: SOT 8550367 SOS 1480253 HAS SOPS 1480253 HAS SOUS 1185001 HAS SOUPS 1185001 WITH SCORE 1186481.253
AT ITER 2423 NEW BEST:: SOT 8550038 SOS 1479694 HAS SOPS 1479694 HAS SOUS 1184113 HAS SOUPS 1184113 WITH SCORE 1185592.694
AT ITER 2431 NEW BEST:: SOT 8549644 SOS 1478906 HAS SOPS 1478906 HAS SOUS 1183522 HAS SOUPS 1183522 WITH SCORE 1185000.906
AT ITER 2450 NEW BEST:: SOT 8549644 SOS 1478634 HAS SOPS 1478634 HAS SOUS 1183341 HAS SOUPS 1183341 WITH SCORE 1184819.634
AT ITER 2455 NEW BEST:: SOT 8549642 SOS 1478503 HAS SOPS 1478503 HAS SOUS 1183336 HAS SOUPS 1183336 WITH SCORE 1184814.503
AT ITER 2456 NEW BEST:: SOT 8549642 SOS 1478678 HAS SOPS 1478678 HAS SOUS 1183313 HAS SOUPS 1183313 WITH SCORE 1184791.678
AT ITER 2470 NEW BEST:: SOT 8549557 SOS 1478508 HAS SOPS 1478508 HAS SOUS 1183143 HAS SOUPS 1183143 WITH SCORE 1184621.508
AT ITER 2500 NEW BEST:: SOT 8549557 SOS 1478439 HAS SOPS 1478439 HAS SOUS 1183074 HAS SOUPS 1183074 WITH SCORE 1184552.439
AT ITER 2511 NEW BEST:: SOT 8549512 SOS 1478394 HAS SOPS 1478394 HAS SOUS 1183074 HAS SOUPS 1183074 WITH SCORE 1184552.394
AT ITER 2519 NEW BEST:: SOT 8549502 SOS 1478124 HAS SOPS 1478124 HAS SOUS 1182804 HAS SOUPS 1182804 WITH SCORE 1184282.124
AT ITER 2539 NEW BEST:: SOT 8545989 SOS 1482159 HAS SOPS 1482159 HAS SOUS 1180265 HAS SOUPS 1180265 WITH SCORE 1181747.159
AT ITER 2560 NEW BEST:: SOT 8545965 SOS 1482107 HAS SOPS 1482107 HAS SOUS 1180213 HAS SOUPS 1180213 WITH SCORE 1181695.107
AT ITER 2566 NEW BEST:: SOT 8545756 SOS 1481689 HAS SOPS 1481689 HAS SOUS 1179795 HAS SOUPS 1179795 WITH SCORE 1181276.689
AT ITER 2582 NEW BEST:: SOT 8545626 SOS 1481559 HAS SOPS 1481559 HAS SOUS 1179665 HAS SOUPS 1179665 WITH SCORE 1181146.559
AT ITER 2610 NEW BEST:: SOT 8545462 SOS 1481395 HAS SOPS 1481395 HAS SOUS 1179501 HAS SOUPS 1179501 WITH SCORE 1180982.395
AT ITER 2614 NEW BEST:: SOT 8545185 SOS 1481290 HAS SOPS 1481290 HAS SOUS 1179260 HAS SOUPS 1179260 WITH SCORE 1180741.29
AT ITER 2636 NEW BEST:: SOT 8545093 SOS 1481244 HAS SOPS 1481244 HAS SOUS 1179191 HAS SOUPS 1179191 WITH SCORE 1180672.244
AT ITER 2641 NEW BEST:: SOT 8544886 SOS 1482015 HAS SOPS 1482015 HAS SOUS 1178744 HAS SOUPS 1178744 WITH SCORE 1180226.015
AT ITER 2652 NEW BEST:: SOT 8544981 SOS 1481928 HAS SOPS 1481928 HAS SOUS 1178657 HAS SOUPS 1178657 WITH SCORE 1180138.928
AT ITER 2659 NEW BEST:: SOT 8543228 SOS 1479921 HAS SOPS 1479921 HAS SOUS 1178428 HAS SOUPS 1178428 WITH SCORE 1179907.921
AT ITER 2704 NEW BEST:: SOT 8543228 SOS 1480706 HAS SOPS 1480706 HAS SOUS 1178425 HAS SOUPS 1178425 WITH SCORE 1179905.706
AT ITER 2723 NEW BEST:: SOT 8543098 SOS 1480184 HAS SOPS 1480184 HAS SOUS 1178165 HAS SOUPS 1178165 WITH SCORE 1179645.184
AT ITER 2740 NEW BEST:: SOT 8543148 SOS 1480234 HAS SOPS 1480234 HAS SOUS 1178164 HAS SOUPS 1178164 WITH SCORE 1179644.234
AT ITER 2743 NEW BEST:: SOT 8542930 SOS 1479798 HAS SOPS 1479798 HAS SOUS 1177728 HAS SOUPS 1177728 WITH SCORE 1179207.798
AT ITER 2789 NEW BEST:: SOT 8542915 SOS 1479769 HAS SOPS 1479769 HAS SOUS 1177712 HAS SOUPS 1177712 WITH SCORE 1179191.769
AT ITER 2817 NEW BEST:: SOT 8542680 SOS 1479416 HAS SOPS 1479416 HAS SOUS 1177543 HAS SOUPS 1177543 WITH SCORE 1179022.416
AT ITER 2834 NEW BEST:: SOT 8542491 SOS 1478726 HAS SOPS 1478726 HAS SOUS 1177227 HAS SOUPS 1177227 WITH SCORE 1178705.726
AT ITER 2857 NEW BEST:: SOT 8542785 SOS 1478911 HAS SOPS 1478911 HAS SOUS 1177118 HAS SOUPS 1177118 WITH SCORE 1178596.911
AT ITER 2884 NEW BEST:: SOT 8542516 SOS 1478626 HAS SOPS 1478626 HAS SOUS 1176169 HAS SOUPS 1176169 WITH SCORE 1177647.626
AT ITER 2905 NEW BEST:: SOT 8542516 SOS 1478422 HAS SOPS 1478422 HAS SOUS 1175797 HAS SOUPS 1175797 WITH SCORE 1177275.422
AT ITER 2918 NEW BEST:: SOT 8542516 SOS 1478294 HAS SOPS 1478294 HAS SOUS 1175797 HAS SOUPS 1175797 WITH SCORE 1177275.294
AT ITER 2925 NEW BEST:: SOT 8542367 SOS 1478057 HAS SOPS 1478057 HAS SOUS 1175466 HAS SOUPS 1175466 WITH SCORE 1176944.057
AT ITER 2928 NEW BEST:: SOT 8542134 SOS 1477567 HAS SOPS 1477567 HAS SOUS 1174983 HAS SOUPS 1174983 WITH SCORE 1176460.567
AT ITER 2936 NEW BEST:: SOT 8541452 SOS 1477277 HAS SOPS 1477277 HAS SOUS 1174527 HAS SOUPS 1174527 WITH SCORE 1176004.277
AT ITER 2940 NEW BEST:: SOT 8541356 SOS 1477085 HAS SOPS 1477085 HAS SOUS 1174335 HAS SOUPS 1174335 WITH SCORE 1175812.085
AT ITER 2983 NEW BEST:: SOT 8541204 SOS 1476914 HAS SOPS 1476914 HAS SOUS 1174164 HAS SOUPS 1174164 WITH SCORE 1175640.914
AT ITER 2999 NEW BEST:: SOT 8541204 SOS 1477116 HAS SOPS 1477116 HAS SOUS 1174162 HAS SOUPS 1174162 WITH SCORE 1175639.116
AT ITER 3000 NEW BEST:: SOT 8540964 SOS 1477091 HAS SOPS 1477091 HAS SOUS 1174138 HAS SOUPS 1174138 WITH SCORE 1175615.091
AT ITER 3045 NEW BEST:: SOT 8540592 SOS 1477030 HAS SOPS 1477030 HAS SOUS 1173705 HAS SOUPS 1173705 WITH SCORE 1175182.03
AT ITER 3055 NEW BEST:: SOT 8540592 SOS 1476968 HAS SOPS 1476968 HAS SOUS 1173674 HAS SOUPS 1173674 WITH SCORE 1175150.968
AT ITER 3078 NEW BEST:: SOT 8540592 SOS 1476966 HAS SOPS 1476966 HAS SOUS 1173673 HAS SOUPS 1173673 WITH SCORE 1175149.966
AT ITER 3083 NEW BEST:: SOT 8540108 SOS 1476490 HAS SOPS 1476490 HAS SOUS 1173189 HAS SOUPS 1173189 WITH SCORE 1174665.49
AT ITER 3113 NEW BEST:: SOT 8539550 SOS 1475932 HAS SOPS 1475932 HAS SOUS 1172631 HAS SOUPS 1172631 WITH SCORE 1174106.932
AT ITER 3118 NEW BEST:: SOT 8538196 SOS 1474671 HAS SOPS 1474671 HAS SOUS 1172579 HAS SOUPS 1172579 WITH SCORE 1174053.671
AT ITER 3122 NEW BEST:: SOT 8538739 SOS 1477060 HAS SOPS 1477060 HAS SOUS 1172136 HAS SOUPS 1172136 WITH SCORE 1173613.06
AT ITER 3126 NEW BEST:: SOT 8538701 SOS 1476983 HAS SOPS 1476983 HAS SOUS 1172089 HAS SOUPS 1172089 WITH SCORE 1173565.983
AT ITER 3127 NEW BEST:: SOT 8538671 SOS 1476887 HAS SOPS 1476887 HAS SOUS 1172059 HAS SOUPS 1172059 WITH SCORE 1173535.887
AT ITER 3161 NEW BEST:: SOT 8538670 SOS 1476243 HAS SOPS 1476243 HAS SOUS 1171739 HAS SOUPS 1171739 WITH SCORE 1173215.243
AT ITER 3192 NEW BEST:: SOT 8538626 SOS 1476155 HAS SOPS 1476155 HAS SOUS 1171651 HAS SOUPS 1171651 WITH SCORE 1173127.155
AT ITER 3194 NEW BEST:: SOT 8536234 SOS 1477895 HAS SOPS 1477895 HAS SOUS 1170129 HAS SOUPS 1170129 WITH SCORE 1171606.895
AT ITER 3195 NEW BEST:: SOT 8536233 SOS 1477893 HAS SOPS 1477893 HAS SOUS 1170127 HAS SOUPS 1170127 WITH SCORE 1171604.893
AT ITER 3197 NEW BEST:: SOT 8536147 SOS 1478202 HAS SOPS 1478202 HAS SOUS 1170002 HAS SOUPS 1170002 WITH SCORE 1171480.202
AT ITER 3211 NEW BEST:: SOT 8536139 SOS 1478082 HAS SOPS 1478082 HAS SOUS 1169985 HAS SOUPS 1169985 WITH SCORE 1171463.082
AT ITER 3224 NEW BEST:: SOT 8536022 SOS 1477564 HAS SOPS 1477564 HAS SOUS 1169736 HAS SOUPS 1169736 WITH SCORE 1171213.564
AT ITER 3228 NEW BEST:: SOT 8535685 SOS 1476846 HAS SOPS 1476846 HAS SOUS 1169018 HAS SOUPS 1169018 WITH SCORE 1170494.846
AT ITER 3239 NEW BEST:: SOT 8535628 SOS 1476933 HAS SOPS 1476933 HAS SOUS 1168904 HAS SOUPS 1168904 WITH SCORE 1170380.933
AT ITER 3256 NEW BEST:: SOT 8535628 SOS 1476811 HAS SOPS 1476811 HAS SOUS 1168903 HAS SOUPS 1168903 WITH SCORE 1170379.811
AT ITER 3264 NEW BEST:: SOT 8535628 SOS 1476809 HAS SOPS 1476809 HAS SOUS 1168902 HAS SOUPS 1168902 WITH SCORE 1170378.809
AT ITER 3285 NEW BEST:: SOT 8535627 SOS 1476763 HAS SOPS 1476763 HAS SOUS 1168856 HAS SOUPS 1168856 WITH SCORE 1170332.763
AT ITER 3319 NEW BEST:: SOT 8535368 SOS 1476245 HAS SOPS 1476245 HAS SOUS 1168338 HAS SOUPS 1168338 WITH SCORE 1169814.245
AT ITER 3418 NEW BEST:: SOT 8535237 SOS 1476136 HAS SOPS 1476136 HAS SOUS 1168229 HAS SOUPS 1168229 WITH SCORE 1169705.136
AT ITER 3423 NEW BEST:: SOT 8535237 SOS 1476135 HAS SOPS 1476135 HAS SOUS 1168228 HAS SOUPS 1168228 WITH SCORE 1169704.135
AT ITER 3448 NEW BEST:: SOT 8535149 SOS 1476126 HAS SOPS 1476126 HAS SOUS 1168219 HAS SOUPS 1168219 WITH SCORE 1169695.126
AT ITER 3463 NEW BEST:: SOT 8535149 SOS 1476111 HAS SOPS 1476111 HAS SOUS 1168219 HAS SOUPS 1168219 WITH SCORE 1169695.111
AT ITER 3478 NEW BEST:: SOT 8534955 SOS 1475902 HAS SOPS 1475902 HAS SOUS 1166473 HAS SOUPS 1166473 WITH SCORE 1167948.902
AT ITER 3482 NEW BEST:: SOT 8534679 SOS 1475350 HAS SOPS 1475350 HAS SOUS 1165921 HAS SOUPS 1165921 WITH SCORE 1167396.35
AT ITER 3484 NEW BEST:: SOT 8534530 SOS 1475339 HAS SOPS 1475339 HAS SOUS 1165841 HAS SOUPS 1165841 WITH SCORE 1167316.339
AT ITER 3518 NEW BEST:: SOT 8533945 SOS 1475238 HAS SOPS 1475238 HAS SOUS 1165610 HAS SOUPS 1165610 WITH SCORE 1167085.238
AT ITER 3533 NEW BEST:: SOT 8533945 SOS 1475163 HAS SOPS 1475163 HAS SOUS 1165610 HAS SOUPS 1165610 WITH SCORE 1167085.163
AT ITER 3573 NEW BEST:: SOT 8533698 SOS 1474825 HAS SOPS 1474825 HAS SOUS 1165479 HAS SOUPS 1165479 WITH SCORE 1166953.825
AT ITER 3580 NEW BEST:: SOT 8533318 SOS 1474445 HAS SOPS 1474445 HAS SOUS 1165094 HAS SOUPS 1165094 WITH SCORE 1166568.445
AT ITER 3591 NEW BEST:: SOT 8533317 SOS 1474444 HAS SOPS 1474444 HAS SOUS 1165093 HAS SOUPS 1165093 WITH SCORE 1166567.444
AT ITER 3597 NEW BEST:: SOT 8531847 SOS 1474665 HAS SOPS 1474665 HAS SOUS 1164000 HAS SOUPS 1164000 WITH SCORE 1165474.665
AT ITER 3633 NEW BEST:: SOT 8531845 SOS 1474635 HAS SOPS 1474635 HAS SOUS 1163970 HAS SOUPS 1163970 WITH SCORE 1165444.635
AT ITER 3650 NEW BEST:: SOT 8531753 SOS 1474451 HAS SOPS 1474451 HAS SOUS 1163786 HAS SOUPS 1163786 WITH SCORE 1165260.451
AT ITER 3725 NEW BEST:: SOT 8531753 SOS 1474445 HAS SOPS 1474445 HAS SOUS 1163780 HAS SOUPS 1163780 WITH SCORE 1165254.445
AT ITER 3780 NEW BEST:: SOT 8531655 SOS 1474344 HAS SOPS 1474344 HAS SOUS 1163679 HAS SOUPS 1163679 WITH SCORE 1165153.344
AT ITER 3783 NEW BEST:: SOT 8531655 SOS 1474342 HAS SOPS 1474342 HAS SOUS 1163398 HAS SOUPS 1163398 WITH SCORE 1164872.342
AT ITER 3805 NEW BEST:: SOT 8531648 SOS 1474328 HAS SOPS 1474328 HAS SOUS 1163384 HAS SOUPS 1163384 WITH SCORE 1164858.328
AT ITER 3808 NEW BEST:: SOT 8531504 SOS 1475688 HAS SOPS 1475688 HAS SOUS 1163299 HAS SOUPS 1163299 WITH SCORE 1164774.688
AT ITER 3813 NEW BEST:: SOT 8531504 SOS 1475686 HAS SOPS 1475686 HAS SOUS 1163297 HAS SOUPS 1163297 WITH SCORE 1164772.686
AT ITER 3821 NEW BEST:: SOT 8530824 SOS 1475523 HAS SOPS 1475523 HAS SOUS 1162541 HAS SOUPS 1162541 WITH SCORE 1164016.523
AT ITER 3823 NEW BEST:: SOT 8530778 SOS 1475385 HAS SOPS 1475385 HAS SOUS 1162403 HAS SOUPS 1162403 WITH SCORE 1163878.385
AT ITER 3830 NEW BEST:: SOT 8530994 SOS 1475597 HAS SOPS 1475597 HAS SOUS 1162399 HAS SOUPS 1162399 WITH SCORE 1163874.597
AT ITER 3842 NEW BEST:: SOT 8530925 SOS 1475448 HAS SOPS 1475448 HAS SOUS 1162250 HAS SOUPS 1162250 WITH SCORE 1163725.448
AT ITER 3882 NEW BEST:: SOT 8534023 SOS 1478535 HAS SOPS 1478535 HAS SOUS 1162221 HAS SOUPS 1162221 WITH SCORE 1163699.535
AT ITER 3920 NEW BEST:: SOT 8533858 SOS 1478331 HAS SOPS 1478331 HAS SOUS 1160881 HAS SOUPS 1160881 WITH SCORE 1162359.331
AT ITER 3939 NEW BEST:: SOT 8533735 SOS 1478225 HAS SOPS 1478225 HAS SOUS 1160775 HAS SOUPS 1160775 WITH SCORE 1162253.225
AT ITER 3959 NEW BEST:: SOT 8533710 SOS 1478200 HAS SOPS 1478200 HAS SOUS 1160750 HAS SOUPS 1160750 WITH SCORE 1162228.2
AT ITER 3974 NEW BEST:: SOT 8533652 SOS 1478142 HAS SOPS 1478142 HAS SOUS 1160460 HAS SOUPS 1160460 WITH SCORE 1161938.142
AT ITER 3980 NEW BEST:: SOT 8533039 SOS 1478469 HAS SOPS 1478469 HAS SOUS 1160295 HAS SOUPS 1160295 WITH SCORE 1161773.469
AT ITER 3985 NEW BEST:: SOT 8532903 SOS 1477869 HAS SOPS 1477869 HAS SOUS 1160023 HAS SOUPS 1160023 WITH SCORE 1161500.869
AT ITER 3994 NEW BEST:: SOT 8532105 SOS 1476961 HAS SOPS 1476961 HAS SOUS 1160023 HAS SOUPS 1160023 WITH SCORE 1161499.961
AT ITER 4046 NEW BEST:: SOT 8532024 SOS 1476799 HAS SOPS 1476799 HAS SOUS 1159861 HAS SOUPS 1159861 WITH SCORE 1161337.799
AT ITER 4056 NEW BEST:: SOT 8531772 SOS 1476509 HAS SOPS 1476509 HAS SOUS 1159551 HAS SOUPS 1159551 WITH SCORE 1161027.509
AT ITER 4060 NEW BEST:: SOT 8531772 SOS 1476455 HAS SOPS 1476455 HAS SOUS 1159497 HAS SOUPS 1159497 WITH SCORE 1160973.455
AT ITER 4096 NEW BEST:: SOT 8531772 SOS 1476427 HAS SOPS 1476427 HAS SOUS 1159469 HAS SOUPS 1159469 WITH SCORE 1160945.427
AT ITER 4108 NEW BEST:: SOT 8531534 SOS 1473095 HAS SOPS 1473095 HAS SOUS 1158755 HAS SOUPS 1158755 WITH SCORE 1160228.095
AT ITER 4145 NEW BEST:: SOT 8531517 SOS 1473076 HAS SOPS 1473076 HAS SOUS 1158720 HAS SOUPS 1158720 WITH SCORE 1160193.076
AT ITER 4173 NEW BEST:: SOT 8531259 SOS 1472560 HAS SOPS 1472560 HAS SOUS 1158204 HAS SOUPS 1158204 WITH SCORE 1159676.56
AT ITER 4185 NEW BEST:: SOT 8531154 SOS 1472813 HAS SOPS 1472813 HAS SOUS 1157960 HAS SOUPS 1157960 WITH SCORE 1159432.813
AT ITER 4211 NEW BEST:: SOT 8531014 SOS 1472307 HAS SOPS 1472307 HAS SOUS 1157454 HAS SOUPS 1157454 WITH SCORE 1158926.307
AT ITER 4238 NEW BEST:: SOT 8531043 SOS 1473752 HAS SOPS 1473752 HAS SOUS 1157449 HAS SOUPS 1157449 WITH SCORE 1158922.752
AT ITER 4250 NEW BEST:: SOT 8531043 SOS 1472944 HAS SOPS 1472944 HAS SOUS 1157449 HAS SOUPS 1157449 WITH SCORE 1158921.944
AT ITER 4288 NEW BEST:: SOT 8530333 SOS 1472561 HAS SOPS 1472561 HAS SOUS 1157066 HAS SOUPS 1157066 WITH SCORE 1158538.561
AT ITER 4294 NEW BEST:: SOT 8530264 SOS 1472455 HAS SOPS 1472455 HAS SOUS 1156960 HAS SOUPS 1156960 WITH SCORE 1158432.455
AT ITER 4306 NEW BEST:: SOT 8530157 SOS 1472348 HAS SOPS 1472348 HAS SOUS 1156853 HAS SOUPS 1156853 WITH SCORE 1158325.348
AT ITER 4325 NEW BEST:: SOT 8530091 SOS 1472216 HAS SOPS 1472216 HAS SOUS 1156721 HAS SOUPS 1156721 WITH SCORE 1158193.216
AT ITER 4329 NEW BEST:: SOT 8529812 SOS 1471658 HAS SOPS 1471658 HAS SOUS 1156163 HAS SOUPS 1156163 WITH SCORE 1157634.658
AT ITER 4334 NEW BEST:: SOT 8529572 SOS 1471159 HAS SOPS 1471159 HAS SOUS 1155664 HAS SOUPS 1155664 WITH SCORE 1157135.159
AT ITER 4335 NEW BEST:: SOT 8529572 SOS 1470913 HAS SOPS 1470913 HAS SOUS 1155538 HAS SOUPS 1155538 WITH SCORE 1157008.913
AT ITER 4343 NEW BEST:: SOT 8529363 SOS 1470286 HAS SOPS 1470286 HAS SOUS 1154911 HAS SOUPS 1154911 WITH SCORE 1156381.286
AT ITER 4366 NEW BEST:: SOT 8529230 SOS 1470020 HAS SOPS 1470020 HAS SOUS 1154645 HAS SOUPS 1154645 WITH SCORE 1156115.02
AT ITER 4389 NEW BEST:: SOT 8529230 SOS 1470005 HAS SOPS 1470005 HAS SOUS 1154630 HAS SOUPS 1154630 WITH SCORE 1156100.005
AT ITER 4392 NEW BEST:: SOT 8529033 SOS 1469739 HAS SOPS 1469739 HAS SOUS 1154364 HAS SOUPS 1154364 WITH SCORE 1155833.739
AT ITER 4402 NEW BEST:: SOT 8529033 SOS 1469738 HAS SOPS 1469738 HAS SOUS 1154363 HAS SOUPS 1154363 WITH SCORE 1155832.738
AT ITER 4410 NEW BEST:: SOT 8528329 SOS 1469430 HAS SOPS 1469430 HAS SOUS 1153952 HAS SOUPS 1153952 WITH SCORE 1155421.43
AT ITER 4436 NEW BEST:: SOT 8528332 SOS 1469382 HAS SOPS 1469382 HAS SOUS 1153940 HAS SOUPS 1153940 WITH SCORE 1155409.382
AT ITER 4445 NEW BEST:: SOT 8528236 SOS 1469190 HAS SOPS 1469190 HAS SOUS 1153748 HAS SOUPS 1153748 WITH SCORE 1155217.19
AT ITER 4485 NEW BEST:: SOT 8528117 SOS 1468952 HAS SOPS 1468952 HAS SOUS 1153628 HAS SOUPS 1153628 WITH SCORE 1155096.952
AT ITER 4493 NEW BEST:: SOT 8527967 SOS 1468920 HAS SOPS 1468920 HAS SOUS 1153478 HAS SOUPS 1153478 WITH SCORE 1154946.92
AT ITER 4526 NEW BEST:: SOT 8527958 SOS 1468900 HAS SOPS 1468900 HAS SOUS 1153459 HAS SOUPS 1153459 WITH SCORE 1154927.9
AT ITER 4537 NEW BEST:: SOT 8528044 SOS 1468987 HAS SOPS 1468987 HAS SOUS 1153445 HAS SOUPS 1153445 WITH SCORE 1154913.987
AT ITER 4549 NEW BEST:: SOT 8527665 SOS 1468959 HAS SOPS 1468959 HAS SOUS 1153305 HAS SOUPS 1153305 WITH SCORE 1154773.959
AT ITER 4551 NEW BEST:: SOT 8527554 SOS 1469405 HAS SOPS 1469405 HAS SOUS 1153073 HAS SOUPS 1153073 WITH SCORE 1154542.405
AT ITER 4572 NEW BEST:: SOT 8527409 SOS 1469260 HAS SOPS 1469260 HAS SOUS 1153073 HAS SOUPS 1153073 WITH SCORE 1154542.26
AT ITER 4573 NEW BEST:: SOT 8527378 SOS 1469198 HAS SOPS 1469198 HAS SOUS 1153011 HAS SOUPS 1153011 WITH SCORE 1154480.198
AT ITER 4591 NEW BEST:: SOT 8527588 SOS 1469438 HAS SOPS 1469438 HAS SOUS 1153003 HAS SOUPS 1153003 WITH SCORE 1154472.438
AT ITER 4624 NEW BEST:: SOT 8527164 SOS 1469014 HAS SOPS 1469014 HAS SOUS 1152579 HAS SOUPS 1152579 WITH SCORE 1154048.014
AT ITER 4640 NEW BEST:: SOT 8526564 SOS 1468423 HAS SOPS 1468423 HAS SOUS 1151983 HAS SOUPS 1151983 WITH SCORE 1153451.423
AT ITER 4641 NEW BEST:: SOT 8526269 SOS 1467238 HAS SOPS 1467238 HAS SOUS 1151350 HAS SOUPS 1151350 WITH SCORE 1152817.238
AT ITER 4644 NEW BEST:: SOT 8525913 SOS 1466967 HAS SOPS 1466967 HAS SOUS 1151079 HAS SOUPS 1151079 WITH SCORE 1152545.967
AT ITER 4684 NEW BEST:: SOT 8525850 SOS 1466904 HAS SOPS 1466904 HAS SOUS 1151016 HAS SOUPS 1151016 WITH SCORE 1152482.904
AT ITER 4706 NEW BEST:: SOT 8525792 SOS 1466152 HAS SOPS 1466152 HAS SOUS 1150822 HAS SOUPS 1150822 WITH SCORE 1152288.152
AT ITER 4741 NEW BEST:: SOT 8525420 SOS 1465880 HAS SOPS 1465880 HAS SOUS 1150539 HAS SOUPS 1150539 WITH SCORE 1152004.88
AT ITER 4745 NEW BEST:: SOT 8525147 SOS 1465334 HAS SOPS 1465334 HAS SOUS 1150256 HAS SOUPS 1150256 WITH SCORE 1151721.334
AT ITER 4785 NEW BEST:: SOT 8525024 SOS 1465211 HAS SOPS 1465211 HAS SOUS 1150133 HAS SOUPS 1150133 WITH SCORE 1151598.211
AT ITER 4787 NEW BEST:: SOT 8524969 SOS 1465082 HAS SOPS 1465082 HAS SOUS 1150004 HAS SOUPS 1150004 WITH SCORE 1151469.082
AT ITER 4795 NEW BEST:: SOT 8524912 SOS 1464677 HAS SOPS 1464677 HAS SOUS 1149657 HAS SOUPS 1149657 WITH SCORE 1151121.677
AT ITER 4796 NEW BEST:: SOT 8524937 SOS 1466694 HAS SOPS 1466694 HAS SOUS 1149406 HAS SOUPS 1149406 WITH SCORE 1150872.694
AT ITER 4824 NEW BEST:: SOT 8524658 SOS 1466415 HAS SOPS 1466415 HAS SOUS 1146895 HAS SOUPS 1146895 WITH SCORE 1148361.415
AT ITER 4831 NEW BEST:: SOT 8524657 SOS 1466410 HAS SOPS 1466410 HAS SOUS 1146890 HAS SOUPS 1146890 WITH SCORE 1148356.41
AT ITER 4851 NEW BEST:: SOT 8524654 SOS 1466407 HAS SOPS 1466407 HAS SOUS 1146886 HAS SOUPS 1146886 WITH SCORE 1148352.407
AT ITER 4885 NEW BEST:: SOT 8524611 SOS 1466171 HAS SOPS 1466171 HAS SOUS 1146650 HAS SOUPS 1146650 WITH SCORE 1148116.171
AT ITER 4927 NEW BEST:: SOT 8524500 SOS 1466048 HAS SOPS 1466048 HAS SOUS 1146539 HAS SOUPS 1146539 WITH SCORE 1148005.048
AT ITER 4941 NEW BEST:: SOT 8524499 SOS 1466027 HAS SOPS 1466027 HAS SOUS 1146536 HAS SOUPS 1146536 WITH SCORE 1148002.027
AT ITER 4946 NEW BEST:: SOT 8524499 SOS 1465919 HAS SOPS 1465919 HAS SOUS 1146536 HAS SOUPS 1146536 WITH SCORE 1148001.919
AT ITER 4972 NEW BEST:: SOT 8524498 SOS 1466060 HAS SOPS 1466060 HAS SOUS 1146295 HAS SOUPS 1146295 WITH SCORE 1147761.06
AT ITER 4994 NEW BEST:: SOT 8524482 SOS 1466036 HAS SOPS 1466036 HAS SOUS 1146271 HAS SOUPS 1146271 WITH SCORE 1147737.036
AT ITER 5024 NEW BEST:: SOT 8524482 SOS 1465908 HAS SOPS 1465908 HAS SOUS 1146144 HAS SOUPS 1146144 WITH SCORE 1147609.908
AT ITER 5030 NEW BEST:: SOT 8524428 SOS 1465946 HAS SOPS 1465946 HAS SOUS 1146017 HAS SOUPS 1146017 WITH SCORE 1147482.946
AT ITER 5054 NEW BEST:: SOT 8524371 SOS 1465889 HAS SOPS 1465889 HAS SOUS 1145960 HAS SOUPS 1145960 WITH SCORE 1147425.889
AT ITER 5061 NEW BEST:: SOT 8524371 SOS 1465888 HAS SOPS 1465888 HAS SOUS 1145959 HAS SOUPS 1145959 WITH SCORE 1147424.888
AT ITER 5080 NEW BEST:: SOT 8524477 SOS 1465978 HAS SOPS 1465978 HAS SOUS 1145941 HAS SOUPS 1145941 WITH SCORE 1147406.978
AT ITER 5089 NEW BEST:: SOT 8524446 SOS 1465930 HAS SOPS 1465930 HAS SOUS 1145893 HAS SOUPS 1145893 WITH SCORE 1147358.93
AT ITER 5094 NEW BEST:: SOT 8524446 SOS 1465882 HAS SOPS 1465882 HAS SOUS 1145845 HAS SOUPS 1145845 WITH SCORE 1147310.882
AT ITER 5096 NEW BEST:: SOT 8524355 SOS 1466295 HAS SOPS 1466295 HAS SOUS 1145815 HAS SOUPS 1145815 WITH SCORE 1147281.295
AT ITER 5137 NEW BEST:: SOT 8524326 SOS 1466237 HAS SOPS 1466237 HAS SOUS 1145757 HAS SOUPS 1145757 WITH SCORE 1147223.237
AT ITER 5151 NEW BEST:: SOT 8524102 SOS 1465897 HAS SOPS 1465897 HAS SOUS 1145417 HAS SOUPS 1145417 WITH SCORE 1146882.897
AT ITER 5175 NEW BEST:: SOT 8524033 SOS 1465827 HAS SOPS 1465827 HAS SOUS 1145347 HAS SOUPS 1145347 WITH SCORE 1146812.827
AT ITER 5187 NEW BEST:: SOT 8523641 SOS 1465711 HAS SOPS 1465711 HAS SOUS 1145231 HAS SOUPS 1145231 WITH SCORE 1146696.711
AT ITER 5189 NEW BEST:: SOT 8523236 SOS 1466160 HAS SOPS 1466160 HAS SOUS 1145159 HAS SOUPS 1145159 WITH SCORE 1146625.16
AT ITER 5195 NEW BEST:: SOT 8523002 SOS 1465839 HAS SOPS 1465839 HAS SOUS 1144925 HAS SOUPS 1144925 WITH SCORE 1146390.839
AT ITER 5242 NEW BEST:: SOT 8522936 SOS 1465624 HAS SOPS 1465624 HAS SOUS 1144833 HAS SOUPS 1144833 WITH SCORE 1146298.624
AT ITER 5313 NEW BEST:: SOT 8522813 SOS 1465501 HAS SOPS 1465501 HAS SOUS 1144710 HAS SOUPS 1144710 WITH SCORE 1146175.501
AT ITER 5318 NEW BEST:: SOT 8523110 SOS 1473078 HAS SOPS 1473078 HAS SOUS 1144025 HAS SOUPS 1144025 WITH SCORE 1145498.078
AT ITER 5338 NEW BEST:: SOT 8523109 SOS 1472870 HAS SOPS 1472870 HAS SOUS 1143817 HAS SOUPS 1143817 WITH SCORE 1145289.87
AT ITER 5346 NEW BEST:: SOT 8523067 SOS 1472786 HAS SOPS 1472786 HAS SOUS 1143774 HAS SOUPS 1143774 WITH SCORE 1145246.786
AT ITER 5376 NEW BEST:: SOT 8523067 SOS 1472476 HAS SOPS 1472476 HAS SOUS 1143464 HAS SOUPS 1143464 WITH SCORE 1144936.476
AT ITER 5398 NEW BEST:: SOT 8522794 SOS 1472203 HAS SOPS 1472203 HAS SOUS 1143464 HAS SOUPS 1143464 WITH SCORE 1144936.203
AT ITER 5421 NEW BEST:: SOT 8522793 SOS 1472201 HAS SOPS 1472201 HAS SOUS 1143462 HAS SOUPS 1143462 WITH SCORE 1144934.201
AT ITER 5425 NEW BEST:: SOT 8522779 SOS 1472173 HAS SOPS 1472173 HAS SOUS 1143436 HAS SOUPS 1143436 WITH SCORE 1144908.173
AT ITER 5443 NEW BEST:: SOT 8522779 SOS 1472152 HAS SOPS 1472152 HAS SOUS 1143434 HAS SOUPS 1143434 WITH SCORE 1144906.152
AT ITER 5528 NEW BEST:: SOT 8522447 SOS 1471820 HAS SOPS 1471820 HAS SOUS 1143102 HAS SOUPS 1143102 WITH SCORE 1144573.82
AT ITER 5568 NEW BEST:: SOT 8522389 SOS 1471223 HAS SOPS 1471223 HAS SOUS 1143044 HAS SOUPS 1143044 WITH SCORE 1144515.223
AT ITER 5585 NEW BEST:: SOT 8522132 SOS 1470999 HAS SOPS 1470999 HAS SOUS 1142574 HAS SOUPS 1142574 WITH SCORE 1144044.999
AT ITER 5586 NEW BEST:: SOT 8522142 SOS 1470848 HAS SOPS 1470848 HAS SOUS 1142565 HAS SOUPS 1142565 WITH SCORE 1144035.848
AT ITER 5588 NEW BEST:: SOT 8522142 SOS 1470848 HAS SOPS 1470848 HAS SOUS 1142355 HAS SOUPS 1142355 WITH SCORE 1143825.848
AT ITER 5590 NEW BEST:: SOT 8522142 SOS 1470846 HAS SOPS 1470846 HAS SOUS 1142353 HAS SOUPS 1142353 WITH SCORE 1143823.846
AT ITER 5599 NEW BEST:: SOT 8522133 SOS 1470837 HAS SOPS 1470837 HAS SOUS 1142344 HAS SOUPS 1142344 WITH SCORE 1143814.837
AT ITER 5613 NEW BEST:: SOT 8521977 SOS 1470681 HAS SOPS 1470681 HAS SOUS 1142184 HAS SOUPS 1142184 WITH SCORE 1143654.681
AT ITER 5617 NEW BEST:: SOT 8521906 SOS 1470539 HAS SOPS 1470539 HAS SOUS 1142042 HAS SOUPS 1142042 WITH SCORE 1143512.539
AT ITER 5622 NEW BEST:: SOT 8521768 SOS 1470088 HAS SOPS 1470088 HAS SOUS 1141682 HAS SOUPS 1141682 WITH SCORE 1143152.088
AT ITER 5634 NEW BEST:: SOT 8521751 SOS 1469467 HAS SOPS 1469467 HAS SOUS 1141665 HAS SOUPS 1141665 WITH SCORE 1143134.467
AT ITER 5636 NEW BEST:: SOT 8522006 SOS 1469766 HAS SOPS 1469766 HAS SOUS 1141549 HAS SOUPS 1141549 WITH SCORE 1143018.766
AT ITER 5642 NEW BEST:: SOT 8521808 SOS 1469565 HAS SOPS 1469565 HAS SOUS 1141262 HAS SOUPS 1141262 WITH SCORE 1142731.565
AT ITER 5646 NEW BEST:: SOT 8521593 SOS 1469549 HAS SOPS 1469549 HAS SOUS 1141243 HAS SOUPS 1141243 WITH SCORE 1142712.549
AT ITER 5700 NEW BEST:: SOT 8521593 SOS 1469128 HAS SOPS 1469128 HAS SOUS 1140838 HAS SOUPS 1140838 WITH SCORE 1142307.128
AT ITER 5721 NEW BEST:: SOT 8521312 SOS 1468909 HAS SOPS 1468909 HAS SOUS 1140619 HAS SOUPS 1140619 WITH SCORE 1142087.909
AT ITER 5752 NEW BEST:: SOT 8521027 SOS 1468725 HAS SOPS 1468725 HAS SOUS 1140033 HAS SOUPS 1140033 WITH SCORE 1141501.725
AT ITER 5755 NEW BEST:: SOT 8520841 SOS 1468420 HAS SOPS 1468420 HAS SOUS 1139661 HAS SOUPS 1139661 WITH SCORE 1141129.42
AT ITER 5758 NEW BEST:: SOT 8520780 SOS 1468298 HAS SOPS 1468298 HAS SOUS 1139539 HAS SOUPS 1139539 WITH SCORE 1141007.298
AT ITER 5812 NEW BEST:: SOT 8520599 SOS 1468367 HAS SOPS 1468367 HAS SOUS 1139274 HAS SOUPS 1139274 WITH SCORE 1140742.367
AT ITER 5843 NEW BEST:: SOT 8520569 SOS 1468409 HAS SOPS 1468409 HAS SOUS 1139214 HAS SOUPS 1139214 WITH SCORE 1140682.409
AT ITER 5844 NEW BEST:: SOT 8520323 SOS 1468163 HAS SOPS 1468163 HAS SOUS 1138968 HAS SOUPS 1138968 WITH SCORE 1140436.163
AT ITER 5846 NEW BEST:: SOT 8520323 SOS 1467679 HAS SOPS 1467679 HAS SOUS 1138726 HAS SOUPS 1138726 WITH SCORE 1140193.679
AT ITER 5908 NEW BEST:: SOT 8520294 SOS 1467663 HAS SOPS 1467663 HAS SOUS 1138655 HAS SOUPS 1138655 WITH SCORE 1140122.663
AT ITER 5929 NEW BEST:: SOT 8520293 SOS 1467456 HAS SOPS 1467456 HAS SOUS 1138455 HAS SOUPS 1138455 WITH SCORE 1139922.456
AT ITER 5935 NEW BEST:: SOT 8520286 SOS 1467442 HAS SOPS 1467442 HAS SOUS 1138441 HAS SOUPS 1138441 WITH SCORE 1139908.442
AT ITER 5950 NEW BEST:: SOT 8520367 SOS 1467501 HAS SOPS 1467501 HAS SOUS 1138386 HAS SOUPS 1138386 WITH SCORE 1139853.501
AT ITER 5980 NEW BEST:: SOT 8520367 SOS 1467405 HAS SOPS 1467405 HAS SOUS 1138290 HAS SOUPS 1138290 WITH SCORE 1139757.405
AT ITER 6009 NEW BEST:: SOT 8520343 SOS 1467525 HAS SOPS 1467525 HAS SOUS 1138266 HAS SOUPS 1138266 WITH SCORE 1139733.525
AT ITER 6045 NEW BEST:: SOT 8520032 SOS 1466889 HAS SOPS 1466889 HAS SOUS 1135517 HAS SOUPS 1135517 WITH SCORE 1136983.889
AT ITER 6046 NEW BEST:: SOT 8518819 SOS 1467857 HAS SOPS 1467857 HAS SOUS 1135206 HAS SOUPS 1135206 WITH SCORE 1136673.857
AT ITER 6058 NEW BEST:: SOT 8518535 SOS 1467289 HAS SOPS 1467289 HAS SOUS 1134638 HAS SOUPS 1134638 WITH SCORE 1136105.289
AT ITER 6087 NEW BEST:: SOT 8518535 SOS 1466695 HAS SOPS 1466695 HAS SOUS 1133180 HAS SOUPS 1133180 WITH SCORE 1134646.695
AT ITER 6131 NEW BEST:: SOT 8517835 SOS 1466047 HAS SOPS 1466047 HAS SOUS 1132310 HAS SOUPS 1132310 WITH SCORE 1133776.047
AT ITER 6145 NEW BEST:: SOT 8520284 SOS 1468567 HAS SOPS 1468567 HAS SOUS 1132254 HAS SOUPS 1132254 WITH SCORE 1133722.567
AT ITER 6191 NEW BEST:: SOT 8520207 SOS 1468413 HAS SOPS 1468413 HAS SOUS 1132177 HAS SOUPS 1132177 WITH SCORE 1133645.413
AT ITER 6193 NEW BEST:: SOT 8520207 SOS 1468296 HAS SOPS 1468296 HAS SOUS 1132060 HAS SOUPS 1132060 WITH SCORE 1133528.296
AT ITER 6208 NEW BEST:: SOT 8520207 SOS 1468270 HAS SOPS 1468270 HAS SOUS 1132034 HAS SOUPS 1132034 WITH SCORE 1133502.27
AT ITER 6225 NEW BEST:: SOT 8519949 SOS 1468214 HAS SOPS 1468214 HAS SOUS 1131978 HAS SOUPS 1131978 WITH SCORE 1133446.214
AT ITER 6230 NEW BEST:: SOT 8519949 SOS 1468069 HAS SOPS 1468069 HAS SOUS 1131833 HAS SOUPS 1131833 WITH SCORE 1133301.069
AT ITER 6231 NEW BEST:: SOT 8519773 SOS 1467874 HAS SOPS 1467874 HAS SOUS 1131799 HAS SOUPS 1131799 WITH SCORE 1133266.874
AT ITER 6260 NEW BEST:: SOT 8519742 SOS 1469017 HAS SOPS 1469017 HAS SOUS 1131731 HAS SOUPS 1131731 WITH SCORE 1133200.017
AT ITER 6300 NEW BEST:: SOT 8519759 SOS 1468957 HAS SOPS 1468957 HAS SOUS 1131681 HAS SOUPS 1131681 WITH SCORE 1133149.957
AT ITER 6301 NEW BEST:: SOT 8519758 SOS 1468955 HAS SOPS 1468955 HAS SOUS 1131679 HAS SOUPS 1131679 WITH SCORE 1133147.955
AT ITER 6313 NEW BEST:: SOT 8520291 SOS 1462719 HAS SOPS 1462719 HAS SOUS 1131582 HAS SOUPS 1131582 WITH SCORE 1133044.719
AT ITER 6316 NEW BEST:: SOT 8520424 SOS 1462692 HAS SOPS 1462692 HAS SOUS 1131555 HAS SOUPS 1131555 WITH SCORE 1133017.692
AT ITER 6337 NEW BEST:: SOT 8520424 SOS 1462529 HAS SOPS 1462529 HAS SOUS 1131406 HAS SOUPS 1131406 WITH SCORE 1132868.529
AT ITER 6345 NEW BEST:: SOT 8520369 SOS 1462490 HAS SOPS 1462490 HAS SOUS 1131367 HAS SOUPS 1131367 WITH SCORE 1132829.49
AT ITER 6351 NEW BEST:: SOT 8519599 SOS 1461830 HAS SOPS 1461830 HAS SOUS 1130707 HAS SOUPS 1130707 WITH SCORE 1132168.83
AT ITER 6355 NEW BEST:: SOT 8519404 SOS 1461440 HAS SOPS 1461440 HAS SOUS 1130139 HAS SOUPS 1130139 WITH SCORE 1131600.44
AT ITER 6399 NEW BEST:: SOT 8519354 SOS 1461505 HAS SOPS 1461505 HAS SOUS 1129770 HAS SOUPS 1129770 WITH SCORE 1131231.505
AT ITER 6442 NEW BEST:: SOT 8519305 SOS 1462875 HAS SOPS 1462875 HAS SOUS 1129637 HAS SOUPS 1129637 WITH SCORE 1131099.875
AT ITER 6491 NEW BEST:: SOT 8519304 SOS 1462708 HAS SOPS 1462708 HAS SOUS 1129470 HAS SOUPS 1129470 WITH SCORE 1130932.708
AT ITER 6516 NEW BEST:: SOT 8519125 SOS 1462326 HAS SOPS 1462326 HAS SOUS 1128886 HAS SOUPS 1128886 WITH SCORE 1130348.326
AT ITER 6526 NEW BEST:: SOT 8517427 SOS 1467984 HAS SOPS 1467984 HAS SOUS 1127976 HAS SOUPS 1127976 WITH SCORE 1129443.984
AT ITER 6563 NEW BEST:: SOT 8517246 SOS 1467623 HAS SOPS 1467623 HAS SOUS 1127023 HAS SOUPS 1127023 WITH SCORE 1128490.623
AT ITER 6580 NEW BEST:: SOT 8516911 SOS 1467582 HAS SOPS 1467582 HAS SOUS 1126647 HAS SOUPS 1126647 WITH SCORE 1128114.582
AT ITER 6604 NEW BEST:: SOT 8516911 SOS 1467564 HAS SOPS 1467564 HAS SOUS 1126647 HAS SOUPS 1126647 WITH SCORE 1128114.564
AT ITER 6622 NEW BEST:: SOT 8516645 SOS 1466640 HAS SOPS 1466640 HAS SOUS 1122960 HAS SOUPS 1122960 WITH SCORE 1124426.64
AT ITER 6664 NEW BEST:: SOT 8516529 SOS 1466524 HAS SOPS 1466524 HAS SOUS 1122804 HAS SOUPS 1122804 WITH SCORE 1124270.524
AT ITER 6674 NEW BEST:: SOT 8516529 SOS 1466520 HAS SOPS 1466520 HAS SOUS 1122800 HAS SOUPS 1122800 WITH SCORE 1124266.52
AT ITER 6675 NEW BEST:: SOT 8516429 SOS 1466320 HAS SOPS 1466320 HAS SOUS 1122600 HAS SOUPS 1122600 WITH SCORE 1124066.32
AT ITER 6683 NEW BEST:: SOT 8516279 SOS 1466019 HAS SOPS 1466019 HAS SOUS 1122299 HAS SOUPS 1122299 WITH SCORE 1123765.019
AT ITER 6691 NEW BEST:: SOT 8516015 SOS 1465408 HAS SOPS 1465408 HAS SOUS 1121771 HAS SOUPS 1121771 WITH SCORE 1123236.408
AT ITER 6738 NEW BEST:: SOT 8515697 SOS 1464700 HAS SOPS 1464700 HAS SOUS 1121131 HAS SOUPS 1121131 WITH SCORE 1122595.7
AT ITER 6757 NEW BEST:: SOT 8515649 SOS 1464610 HAS SOPS 1464610 HAS SOUS 1121089 HAS SOUPS 1121089 WITH SCORE 1122553.61
AT ITER 6833 NEW BEST:: SOT 8515418 SOS 1464744 HAS SOPS 1464744 HAS SOUS 1120164 HAS SOUPS 1120164 WITH SCORE 1121628.744
AT ITER 6851 NEW BEST:: SOT 8515389 SOS 1464686 HAS SOPS 1464686 HAS SOUS 1120043 HAS SOUPS 1120043 WITH SCORE 1121507.686
AT ITER 6855 NEW BEST:: SOT 8515389 SOS 1464492 HAS SOPS 1464492 HAS SOUS 1119495 HAS SOUPS 1119495 WITH SCORE 1120959.492
AT ITER 6888 NEW BEST:: SOT 8515034 SOS 1464650 HAS SOPS 1464650 HAS SOUS 1119381 HAS SOUPS 1119381 WITH SCORE 1120845.65
AT ITER 6915 NEW BEST:: SOT 8514903 SOS 1464608 HAS SOPS 1464608 HAS SOUS 1119364 HAS SOUPS 1119364 WITH SCORE 1120828.608
AT ITER 6926 NEW BEST:: SOT 8514436 SOS 1464141 HAS SOPS 1464141 HAS SOUS 1118897 HAS SOUPS 1118897 WITH SCORE 1120361.141
AT ITER 6943 NEW BEST:: SOT 8514363 SOS 1463995 HAS SOPS 1463995 HAS SOUS 1118751 HAS SOUPS 1118751 WITH SCORE 1120214.995
AT ITER 6959 NEW BEST:: SOT 8514391 SOS 1463941 HAS SOPS 1463941 HAS SOUS 1118745 HAS SOUPS 1118745 WITH SCORE 1120208.941
AT ITER 6978 NEW BEST:: SOT 8514156 SOS 1463471 HAS SOPS 1463471 HAS SOUS 1118275 HAS SOUPS 1118275 WITH SCORE 1119738.471
AT ITER 6998 NEW BEST:: SOT 8514130 SOS 1463191 HAS SOPS 1463191 HAS SOUS 1118114 HAS SOUPS 1118114 WITH SCORE 1119577.191
AT ITER 7007 NEW BEST:: SOT 8514117 SOS 1463165 HAS SOPS 1463165 HAS SOUS 1118086 HAS SOUPS 1118086 WITH SCORE 1119549.165
AT ITER 7047 NEW BEST:: SOT 8513595 SOS 1462730 HAS SOPS 1462730 HAS SOUS 1117651 HAS SOUPS 1117651 WITH SCORE 1119113.73
AT ITER 7054 NEW BEST:: SOT 8513511 SOS 1462478 HAS SOPS 1462478 HAS SOUS 1117399 HAS SOUPS 1117399 WITH SCORE 1118861.478
AT ITER 7117 NEW BEST:: SOT 8513394 SOS 1462503 HAS SOPS 1462503 HAS SOUS 1117231 HAS SOUPS 1117231 WITH SCORE 1118693.503
AT ITER 7134 NEW BEST:: SOT 8513394 SOS 1462503 HAS SOPS 1462503 HAS SOUS 1116839 HAS SOUPS 1116839 WITH SCORE 1118301.503
AT ITER 7136 NEW BEST:: SOT 8513394 SOS 1462414 HAS SOPS 1462414 HAS SOUS 1116839 HAS SOUPS 1116839 WITH SCORE 1118301.414
AT ITER 7145 NEW BEST:: SOT 8513394 SOS 1461704 HAS SOPS 1461704 HAS SOUS 1116759 HAS SOUPS 1116759 WITH SCORE 1118220.704
AT ITER 7157 NEW BEST:: SOT 8513394 SOS 1461449 HAS SOPS 1461449 HAS SOUS 1116504 HAS SOUPS 1116504 WITH SCORE 1117965.449
AT ITER 7160 NEW BEST:: SOT 8513055 SOS 1460432 HAS SOPS 1460432 HAS SOUS 1115939 HAS SOUPS 1115939 WITH SCORE 1117399.432
AT ITER 7174 NEW BEST:: SOT 8512979 SOS 1460280 HAS SOPS 1460280 HAS SOUS 1115787 HAS SOUPS 1115787 WITH SCORE 1117247.28
AT ITER 7178 NEW BEST:: SOT 8513077 SOS 1460378 HAS SOPS 1460378 HAS SOUS 1115760 HAS SOUPS 1115760 WITH SCORE 1117220.378
AT ITER 7184 NEW BEST:: SOT 8513121 SOS 1459800 HAS SOPS 1459800 HAS SOUS 1115647 HAS SOUPS 1115647 WITH SCORE 1117106.8
AT ITER 7185 NEW BEST:: SOT 8513121 SOS 1459723 HAS SOPS 1459723 HAS SOUS 1115570 HAS SOUPS 1115570 WITH SCORE 1117029.723
AT ITER 7207 NEW BEST:: SOT 8512935 SOS 1459714 HAS SOPS 1459714 HAS SOUS 1115560 HAS SOUPS 1115560 WITH SCORE 1117019.714
AT ITER 7211 NEW BEST:: SOT 8512313 SOS 1466780 HAS SOPS 1466780 HAS SOUS 1115203 HAS SOUPS 1115203 WITH SCORE 1116669.78
AT ITER 7229 NEW BEST:: SOT 8512313 SOS 1466779 HAS SOPS 1466779 HAS SOUS 1115202 HAS SOUPS 1115202 WITH SCORE 1116668.779
AT ITER 7252 NEW BEST:: SOT 8512044 SOS 1466499 HAS SOPS 1466499 HAS SOUS 1114922 HAS SOUPS 1114922 WITH SCORE 1116388.499
AT ITER 7269 NEW BEST:: SOT 8511794 SOS 1465783 HAS SOPS 1465783 HAS SOUS 1114206 HAS SOUPS 1114206 WITH SCORE 1115671.783
AT ITER 7276 NEW BEST:: SOT 8511590 SOS 1466521 HAS SOPS 1466521 HAS SOUS 1114122 HAS SOUPS 1114122 WITH SCORE 1115588.521
AT ITER 7349 NEW BEST:: SOT 8511236 SOS 1466521 HAS SOPS 1466521 HAS SOUS 1113886 HAS SOUPS 1113886 WITH SCORE 1115352.521
AT ITER 7367 NEW BEST:: SOT 8511235 SOS 1466519 HAS SOPS 1466519 HAS SOUS 1113884 HAS SOUPS 1113884 WITH SCORE 1115350.519
AT ITER 7389 NEW BEST:: SOT 8511152 SOS 1466303 HAS SOPS 1466303 HAS SOUS 1113718 HAS SOUPS 1113718 WITH SCORE 1115184.303
AT ITER 7399 NEW BEST:: SOT 8511317 SOS 1466386 HAS SOPS 1466386 HAS SOUS 1113705 HAS SOUPS 1113705 WITH SCORE 1115171.386
AT ITER 7401 NEW BEST:: SOT 8511184 SOS 1466024 HAS SOPS 1466024 HAS SOUS 1113361 HAS SOUPS 1113361 WITH SCORE 1114827.024
AT ITER 7417 NEW BEST:: SOT 8511240 SOS 1466487 HAS SOPS 1466487 HAS SOUS 1113304 HAS SOUPS 1113304 WITH SCORE 1114770.487
AT ITER 7473 NEW BEST:: SOT 8510959 SOS 1466206 HAS SOPS 1466206 HAS SOUS 1112742 HAS SOUPS 1112742 WITH SCORE 1114208.206
AT ITER 7485 NEW BEST:: SOT 8510813 SOS 1466050 HAS SOPS 1466050 HAS SOUS 1112586 HAS SOUPS 1112586 WITH SCORE 1114052.05
AT ITER 7498 NEW BEST:: SOT 8510813 SOS 1466023 HAS SOPS 1466023 HAS SOUS 1112559 HAS SOUPS 1112559 WITH SCORE 1114025.023
AT ITER 7499 NEW BEST:: SOT 8510813 SOS 1465971 HAS SOPS 1465971 HAS SOUS 1112507 HAS SOUPS 1112507 WITH SCORE 1113972.971
AT ITER 7510 NEW BEST:: SOT 8510652 SOS 1465604 HAS SOPS 1465604 HAS SOUS 1112140 HAS SOUPS 1112140 WITH SCORE 1113605.604
AT ITER 7536 NEW BEST:: SOT 8510480 SOS 1465260 HAS SOPS 1465260 HAS SOUS 1111968 HAS SOUPS 1111968 WITH SCORE 1113433.26
AT ITER 7543 NEW BEST:: SOT 8510412 SOS 1468852 HAS SOPS 1468852 HAS SOUS 1111822 HAS SOUPS 1111822 WITH SCORE 1113290.852
AT ITER 7548 NEW BEST:: SOT 8510265 SOS 1468705 HAS SOPS 1468705 HAS SOUS 1111822 HAS SOUPS 1111822 WITH SCORE 1113290.705
AT ITER 7581 NEW BEST:: SOT 8510265 SOS 1468330 HAS SOPS 1468330 HAS SOUS 1111598 HAS SOUPS 1111598 WITH SCORE 1113066.33
AT ITER 7632 NEW BEST:: SOT 8510265 SOS 1468195 HAS SOPS 1468195 HAS SOUS 1111553 HAS SOUPS 1111553 WITH SCORE 1113021.195
AT ITER 7674 NEW BEST:: SOT 8510265 SOS 1468143 HAS SOPS 1468143 HAS SOUS 1111501 HAS SOUPS 1111501 WITH SCORE 1112969.143
AT ITER 7682 NEW BEST:: SOT 8510542 SOS 1468120 HAS SOPS 1468120 HAS SOUS 1111478 HAS SOUPS 1111478 WITH SCORE 1112946.12
AT ITER 7695 NEW BEST:: SOT 8510542 SOS 1468118 HAS SOPS 1468118 HAS SOUS 1111476 HAS SOUPS 1111476 WITH SCORE 1112944.118
AT ITER 7705 NEW BEST:: SOT 8510284 SOS 1467860 HAS SOPS 1467860 HAS SOUS 1111218 HAS SOUPS 1111218 WITH SCORE 1112685.86
AT ITER 7707 NEW BEST:: SOT 8510284 SOS 1467858 HAS SOPS 1467858 HAS SOUS 1111216 HAS SOUPS 1111216 WITH SCORE 1112683.858
AT ITER 7718 NEW BEST:: SOT 8509957 SOS 1467640 HAS SOPS 1467640 HAS SOUS 1110998 HAS SOUPS 1110998 WITH SCORE 1112465.64
AT ITER 7748 NEW BEST:: SOT 8509957 SOS 1467620 HAS SOPS 1467620 HAS SOUS 1110997 HAS SOUPS 1110997 WITH SCORE 1112464.62
AT ITER 7749 NEW BEST:: SOT 8509950 SOS 1467500 HAS SOPS 1467500 HAS SOUS 1110877 HAS SOUPS 1110877 WITH SCORE 1112344.5
AT ITER 7766 NEW BEST:: SOT 8509668 SOS 1466685 HAS SOPS 1466685 HAS SOUS 1110343 HAS SOUPS 1110343 WITH SCORE 1111809.685
AT ITER 7767 NEW BEST:: SOT 8509613 SOS 1465911 HAS SOPS 1465911 HAS SOUS 1109951 HAS SOUPS 1109951 WITH SCORE 1111416.911
AT ITER 7768 NEW BEST:: SOT 8509612 SOS 1465695 HAS SOPS 1465695 HAS SOUS 1109806 HAS SOUPS 1109806 WITH SCORE 1111271.695
AT ITER 7796 NEW BEST:: SOT 8509488 SOS 1465500 HAS SOPS 1465500 HAS SOUS 1109681 HAS SOUPS 1109681 WITH SCORE 1111146.5
AT ITER 7822 NEW BEST:: SOT 8509344 SOS 1467011 HAS SOPS 1467011 HAS SOUS 1109393 HAS SOUPS 1109393 WITH SCORE 1110860.011
AT ITER 7823 NEW BEST:: SOT 8507165 SOS 1464978 HAS SOPS 1464978 HAS SOUS 1109258 HAS SOUPS 1109258 WITH SCORE 1110722.978
AT ITER 7851 NEW BEST:: SOT 8506956 SOS 1464560 HAS SOPS 1464560 HAS SOUS 1109048 HAS SOUPS 1109048 WITH SCORE 1110512.56
AT ITER 7853 NEW BEST:: SOT 8506934 SOS 1464516 HAS SOPS 1464516 HAS SOUS 1109004 HAS SOUPS 1109004 WITH SCORE 1110468.516
AT ITER 7855 NEW BEST:: SOT 8506934 SOS 1464392 HAS SOPS 1464392 HAS SOUS 1108880 HAS SOUPS 1108880 WITH SCORE 1110344.392
AT ITER 7881 NEW BEST:: SOT 8506422 SOS 1468358 HAS SOPS 1468358 HAS SOUS 1108677 HAS SOUPS 1108677 WITH SCORE 1110145.358
AT ITER 7885 NEW BEST:: SOT 8506298 SOS 1468290 HAS SOPS 1468290 HAS SOUS 1108609 HAS SOUPS 1108609 WITH SCORE 1110077.29
AT ITER 7891 NEW BEST:: SOT 8503855 SOS 1465722 HAS SOPS 1465722 HAS SOUS 1108609 HAS SOUPS 1108609 WITH SCORE 1110074.722
AT ITER 7907 NEW BEST:: SOT 8503737 SOS 1465189 HAS SOPS 1465189 HAS SOUS 1108076 HAS SOUPS 1108076 WITH SCORE 1109541.189
AT ITER 7914 NEW BEST:: SOT 8503736 SOS 1465183 HAS SOPS 1465183 HAS SOUS 1108074 HAS SOUPS 1108074 WITH SCORE 1109539.183
AT ITER 7928 NEW BEST:: SOT 8503615 SOS 1465144 HAS SOPS 1465144 HAS SOUS 1108035 HAS SOUPS 1108035 WITH SCORE 1109500.144
AT ITER 7929 NEW BEST:: SOT 8503614 SOS 1465072 HAS SOPS 1465072 HAS SOUS 1108029 HAS SOUPS 1108029 WITH SCORE 1109494.072
AT ITER 7954 NEW BEST:: SOT 8503481 SOS 1463875 HAS SOPS 1463875 HAS SOUS 1107763 HAS SOUPS 1107763 WITH SCORE 1109226.875
AT ITER 7959 NEW BEST:: SOT 8503481 SOS 1463875 HAS SOPS 1463875 HAS SOUS 1107632 HAS SOUPS 1107632 WITH SCORE 1109095.875
AT ITER 7962 NEW BEST:: SOT 8503481 SOS 1463874 HAS SOPS 1463874 HAS SOUS 1107631 HAS SOUPS 1107631 WITH SCORE 1109094.874
AT ITER 8020 NEW BEST:: SOT 8503480 SOS 1463861 HAS SOPS 1463861 HAS SOUS 1107618 HAS SOUPS 1107618 WITH SCORE 1109081.861
AT ITER 8055 NEW BEST:: SOT 8504106 SOS 1464443 HAS SOPS 1464443 HAS SOUS 1107247 HAS SOUPS 1107247 WITH SCORE 1108711.443
AT ITER 8148 NEW BEST:: SOT 8503934 SOS 1463927 HAS SOPS 1463927 HAS SOUS 1106731 HAS SOUPS 1106731 WITH SCORE 1108194.927
AT ITER 8175 NEW BEST:: SOT 8503911 SOS 1463904 HAS SOPS 1463904 HAS SOUS 1106708 HAS SOUPS 1106708 WITH SCORE 1108171.904
AT ITER 8185 NEW BEST:: SOT 8503891 SOS 1463864 HAS SOPS 1463864 HAS SOUS 1106688 HAS SOUPS 1106688 WITH SCORE 1108151.864
AT ITER 8199 NEW BEST:: SOT 8503534 SOS 1463492 HAS SOPS 1463492 HAS SOUS 1106246 HAS SOUPS 1106246 WITH SCORE 1107709.492
AT ITER 8210 NEW BEST:: SOT 8503288 SOS 1463000 HAS SOPS 1463000 HAS SOUS 1105754 HAS SOUPS 1105754 WITH SCORE 1107217.0
AT ITER 8219 NEW BEST:: SOT 8503216 SOS 1462910 HAS SOPS 1462910 HAS SOUS 1105601 HAS SOUPS 1105601 WITH SCORE 1107063.91
AT ITER 8247 NEW BEST:: SOT 8503216 SOS 1462592 HAS SOPS 1462592 HAS SOUS 1105601 HAS SOUPS 1105601 WITH SCORE 1107063.592
AT ITER 8261 NEW BEST:: SOT 8503214 SOS 1462536 HAS SOPS 1462536 HAS SOUS 1104585 HAS SOUPS 1104585 WITH SCORE 1106047.536
AT ITER 8287 NEW BEST:: SOT 8503203 SOS 1462514 HAS SOPS 1462514 HAS SOUS 1104563 HAS SOUPS 1104563 WITH SCORE 1106025.514
AT ITER 8294 NEW BEST:: SOT 8502886 SOS 1461879 HAS SOPS 1461879 HAS SOUS 1104128 HAS SOUPS 1104128 WITH SCORE 1105589.879
AT ITER 8302 NEW BEST:: SOT 8502765 SOS 1461664 HAS SOPS 1461664 HAS SOUS 1103481 HAS SOUPS 1103481 WITH SCORE 1104942.664
AT ITER 8309 NEW BEST:: SOT 8502765 SOS 1461519 HAS SOPS 1461519 HAS SOUS 1103352 HAS SOUPS 1103352 WITH SCORE 1104813.519
AT ITER 8333 NEW BEST:: SOT 8502710 SOS 1461464 HAS SOPS 1461464 HAS SOUS 1103297 HAS SOUPS 1103297 WITH SCORE 1104758.464
AT ITER 8358 NEW BEST:: SOT 8502594 SOS 1461393 HAS SOPS 1461393 HAS SOUS 1103159 HAS SOUPS 1103159 WITH SCORE 1104620.393
AT ITER 8422 NEW BEST:: SOT 8502600 SOS 1461125 HAS SOPS 1461125 HAS SOUS 1102892 HAS SOUPS 1102892 WITH SCORE 1104353.125
AT ITER 8468 NEW BEST:: SOT 8502599 SOS 1461021 HAS SOPS 1461021 HAS SOUS 1102888 HAS SOUPS 1102888 WITH SCORE 1104349.021
AT ITER 8477 NEW BEST:: SOT 8502568 SOS 1460837 HAS SOPS 1460837 HAS SOUS 1102835 HAS SOUPS 1102835 WITH SCORE 1104295.837
AT ITER 8482 NEW BEST:: SOT 8502568 SOS 1460836 HAS SOPS 1460836 HAS SOUS 1102834 HAS SOUPS 1102834 WITH SCORE 1104294.836
AT ITER 8528 NEW BEST:: SOT 8502511 SOS 1460721 HAS SOPS 1460721 HAS SOUS 1102758 HAS SOUPS 1102758 WITH SCORE 1104218.721
AT ITER 8552 NEW BEST:: SOT 8502201 SOS 1460638 HAS SOPS 1460638 HAS SOUS 1102557 HAS SOUPS 1102557 WITH SCORE 1104017.638
AT ITER 8560 NEW BEST:: SOT 8502377 SOS 1460814 HAS SOPS 1460814 HAS SOUS 1102373 HAS SOUPS 1102373 WITH SCORE 1103833.814
AT ITER 8574 NEW BEST:: SOT 8502307 SOS 1460674 HAS SOPS 1460674 HAS SOUS 1102233 HAS SOUPS 1102233 WITH SCORE 1103693.674
AT ITER 8596 NEW BEST:: SOT 8502069 SOS 1460198 HAS SOPS 1460198 HAS SOUS 1101971 HAS SOUPS 1101971 WITH SCORE 1103431.198
AT ITER 8644 NEW BEST:: SOT 8502102 SOS 1460165 HAS SOPS 1460165 HAS SOUS 1101889 HAS SOUPS 1101889 WITH SCORE 1103349.165
AT ITER 8677 NEW BEST:: SOT 8502054 SOS 1460069 HAS SOPS 1460069 HAS SOUS 1101793 HAS SOUPS 1101793 WITH SCORE 1103253.069
AT ITER 8722 NEW BEST:: SOT 8501899 SOS 1459696 HAS SOPS 1459696 HAS SOUS 1101638 HAS SOUPS 1101638 WITH SCORE 1103097.696
AT ITER 8760 NEW BEST:: SOT 8499766 SOS 1460759 HAS SOPS 1460759 HAS SOUS 1099866 HAS SOUPS 1099866 WITH SCORE 1101326.759
AT ITER 8763 NEW BEST:: SOT 8499492 SOS 1460539 HAS SOPS 1460539 HAS SOUS 1099422 HAS SOUPS 1099422 WITH SCORE 1100882.539
AT ITER 8828 NEW BEST:: SOT 8499492 SOS 1460477 HAS SOPS 1460477 HAS SOUS 1099360 HAS SOUPS 1099360 WITH SCORE 1100820.477
AT ITER 8833 NEW BEST:: SOT 8499492 SOS 1460425 HAS SOPS 1460425 HAS SOUS 1099308 HAS SOUPS 1099308 WITH SCORE 1100768.425
AT ITER 8837 NEW BEST:: SOT 8499179 SOS 1460006 HAS SOPS 1460006 HAS SOUS 1099065 HAS SOUPS 1099065 WITH SCORE 1100525.006
AT ITER 8838 NEW BEST:: SOT 8498980 SOS 1458897 HAS SOPS 1458897 HAS SOUS 1098601 HAS SOUPS 1098601 WITH SCORE 1100059.897
AT ITER 8844 NEW BEST:: SOT 8498743 SOS 1460854 HAS SOPS 1460854 HAS SOUS 1098336 HAS SOUPS 1098336 WITH SCORE 1099796.854
AT ITER 8847 NEW BEST:: SOT 8498742 SOS 1460853 HAS SOPS 1460853 HAS SOUS 1098335 HAS SOUPS 1098335 WITH SCORE 1099795.853
AT ITER 8855 NEW BEST:: SOT 8498667 SOS 1460740 HAS SOPS 1460740 HAS SOUS 1097310 HAS SOUPS 1097310 WITH SCORE 1098770.74
AT ITER 8884 NEW BEST:: SOT 8499006 SOS 1461049 HAS SOPS 1461049 HAS SOUS 1096829 HAS SOUPS 1096829 WITH SCORE 1098290.049
AT ITER 8913 NEW BEST:: SOT 8499006 SOS 1461049 HAS SOPS 1461049 HAS SOUS 1096813 HAS SOUPS 1096813 WITH SCORE 1098274.049
AT ITER 8924 NEW BEST:: SOT 8498892 SOS 1460707 HAS SOPS 1460707 HAS SOUS 1096471 HAS SOUPS 1096471 WITH SCORE 1097931.707
AT ITER 8933 NEW BEST:: SOT 8498892 SOS 1460368 HAS SOPS 1460368 HAS SOUS 1096471 HAS SOUPS 1096471 WITH SCORE 1097931.368
AT ITER 8936 NEW BEST:: SOT 8498867 SOS 1459835 HAS SOPS 1459835 HAS SOUS 1096421 HAS SOUPS 1096421 WITH SCORE 1097880.835
AT ITER 8956 NEW BEST:: SOT 8498867 SOS 1459816 HAS SOPS 1459816 HAS SOUS 1096419 HAS SOUPS 1096419 WITH SCORE 1097878.816
AT ITER 9009 NEW BEST:: SOT 8498888 SOS 1460061 HAS SOPS 1460061 HAS SOUS 1096307 HAS SOUPS 1096307 WITH SCORE 1097767.061
AT ITER 9016 NEW BEST:: SOT 8498540 SOS 1459713 HAS SOPS 1459713 HAS SOUS 1095706 HAS SOUPS 1095706 WITH SCORE 1097165.713
AT ITER 9025 NEW BEST:: SOT 8498419 SOS 1460481 HAS SOPS 1460481 HAS SOUS 1095578 HAS SOUPS 1095578 WITH SCORE 1097038.481
AT ITER 9027 NEW BEST:: SOT 8498374 SOS 1460481 HAS SOPS 1460481 HAS SOUS 1095533 HAS SOUPS 1095533 WITH SCORE 1096993.481
AT ITER 9078 NEW BEST:: SOT 8498374 SOS 1460465 HAS SOPS 1460465 HAS SOUS 1095532 HAS SOUPS 1095532 WITH SCORE 1096992.465
AT ITER 9116 NEW BEST:: SOT 8498090 SOS 1459898 HAS SOPS 1459898 HAS SOUS 1094682 HAS SOUPS 1094682 WITH SCORE 1096141.898
AT ITER 9117 NEW BEST:: SOT 8497723 SOS 1459567 HAS SOPS 1459567 HAS SOUS 1094351 HAS SOUPS 1094351 WITH SCORE 1095810.567
AT ITER 9138 NEW BEST:: SOT 8497471 SOS 1459405 HAS SOPS 1459405 HAS SOUS 1094340 HAS SOUPS 1094340 WITH SCORE 1095799.405
AT ITER 9141 NEW BEST:: SOT 8495923 SOS 1457821 HAS SOPS 1457821 HAS SOUS 1092872 HAS SOUPS 1092872 WITH SCORE 1094329.821
AT ITER 9191 NEW BEST:: SOT 8495809 SOS 1457707 HAS SOPS 1457707 HAS SOUS 1092757 HAS SOUPS 1092757 WITH SCORE 1094214.707
AT ITER 9199 NEW BEST:: SOT 8495425 SOS 1457323 HAS SOPS 1457323 HAS SOUS 1092373 HAS SOUPS 1092373 WITH SCORE 1093830.323
AT ITER 9203 NEW BEST:: SOT 8495340 SOS 1457340 HAS SOPS 1457340 HAS SOUS 1092305 HAS SOUPS 1092305 WITH SCORE 1093762.34
AT ITER 9273 NEW BEST:: SOT 8495314 SOS 1457313 HAS SOPS 1457313 HAS SOUS 1092278 HAS SOUPS 1092278 WITH SCORE 1093735.313
AT ITER 9274 NEW BEST:: SOT 8495230 SOS 1456893 HAS SOPS 1456893 HAS SOUS 1092152 HAS SOUPS 1092152 WITH SCORE 1093608.893
AT ITER 9279 NEW BEST:: SOT 8495104 SOS 1456767 HAS SOPS 1456767 HAS SOUS 1092025 HAS SOUPS 1092025 WITH SCORE 1093481.767
AT ITER 9287 NEW BEST:: SOT 8495083 SOS 1456704 HAS SOPS 1456704 HAS SOUS 1091962 HAS SOUPS 1091962 WITH SCORE 1093418.704
AT ITER 9296 NEW BEST:: SOT 8494813 SOS 1456403 HAS SOPS 1456403 HAS SOUS 1091422 HAS SOUPS 1091422 WITH SCORE 1092878.403
AT ITER 9307 NEW BEST:: SOT 8494364 SOS 1457163 HAS SOPS 1457163 HAS SOUS 1091326 HAS SOUPS 1091326 WITH SCORE 1092783.163
AT ITER 9311 NEW BEST:: SOT 8494338 SOS 1456905 HAS SOPS 1456905 HAS SOUS 1091274 HAS SOUPS 1091274 WITH SCORE 1092730.905
AT ITER 9346 NEW BEST:: SOT 8494337 SOS 1456733 HAS SOPS 1456733 HAS SOUS 1091272 HAS SOUPS 1091272 WITH SCORE 1092728.733
AT ITER 9377 NEW BEST:: SOT 8494238 SOS 1456614 HAS SOPS 1456614 HAS SOUS 1091153 HAS SOUPS 1091153 WITH SCORE 1092609.614
AT ITER 9407 NEW BEST:: SOT 8494318 SOS 1456568 HAS SOPS 1456568 HAS SOUS 1091107 HAS SOUPS 1091107 WITH SCORE 1092563.568
AT ITER 9420 NEW BEST:: SOT 8494284 SOS 1456517 HAS SOPS 1456517 HAS SOUS 1091056 HAS SOUPS 1091056 WITH SCORE 1092512.517
AT ITER 9429 NEW BEST:: SOT 8494284 SOS 1456305 HAS SOPS 1456305 HAS SOUS 1090842 HAS SOUPS 1090842 WITH SCORE 1092298.305
AT ITER 9434 NEW BEST:: SOT 8494501 SOS 1456315 HAS SOPS 1456315 HAS SOUS 1090764 HAS SOUPS 1090764 WITH SCORE 1092220.315
AT ITER 9471 NEW BEST:: SOT 8494019 SOS 1457168 HAS SOPS 1457168 HAS SOUS 1090760 HAS SOUPS 1090760 WITH SCORE 1092217.168
AT ITER 9472 NEW BEST:: SOT 8493819 SOS 1455754 HAS SOPS 1455754 HAS SOUS 1090406 HAS SOUPS 1090406 WITH SCORE 1091861.754
AT ITER 9493 NEW BEST:: SOT 8493653 SOS 1455588 HAS SOPS 1455588 HAS SOUS 1090240 HAS SOUPS 1090240 WITH SCORE 1091695.588
AT ITER 9496 NEW BEST:: SOT 8493493 SOS 1455408 HAS SOPS 1455408 HAS SOUS 1090060 HAS SOUPS 1090060 WITH SCORE 1091515.408
AT ITER 9498 NEW BEST:: SOT 8493492 SOS 1455406 HAS SOPS 1455406 HAS SOUS 1090058 HAS SOUPS 1090058 WITH SCORE 1091513.406
AT ITER 9499 NEW BEST:: SOT 8493205 SOS 1455329 HAS SOPS 1455329 HAS SOUS 1089874 HAS SOUPS 1089874 WITH SCORE 1091329.329
AT ITER 9501 NEW BEST:: SOT 8492805 SOS 1454982 HAS SOPS 1454982 HAS SOUS 1089527 HAS SOUPS 1089527 WITH SCORE 1090981.982
AT ITER 9533 NEW BEST:: SOT 8492798 SOS 1454975 HAS SOPS 1454975 HAS SOUS 1089520 HAS SOUPS 1089520 WITH SCORE 1090974.975
AT ITER 9543 NEW BEST:: SOT 8492729 SOS 1454390 HAS SOPS 1454390 HAS SOUS 1088779 HAS SOUPS 1088779 WITH SCORE 1090233.39
AT ITER 9566 NEW BEST:: SOT 8492594 SOS 1454190 HAS SOPS 1454190 HAS SOUS 1088714 HAS SOUPS 1088714 WITH SCORE 1090168.19
AT ITER 9574 NEW BEST:: SOT 8492470 SOS 1453942 HAS SOPS 1453942 HAS SOUS 1088466 HAS SOUPS 1088466 WITH SCORE 1089919.942
AT ITER 9577 NEW BEST:: SOT 8492338 SOS 1453612 HAS SOPS 1453612 HAS SOUS 1087146 HAS SOUPS 1087146 WITH SCORE 1088599.612
AT ITER 9601 NEW BEST:: SOT 8492169 SOS 1453539 HAS SOPS 1453539 HAS SOUS 1087073 HAS SOUPS 1087073 WITH SCORE 1088526.539
AT ITER 9602 NEW BEST:: SOT 8491850 SOS 1450454 HAS SOPS 1450454 HAS SOUS 1086540 HAS SOUPS 1086540 WITH SCORE 1087990.454
AT ITER 9615 NEW BEST:: SOT 8491656 SOS 1450332 HAS SOPS 1450332 HAS SOUS 1086327 HAS SOUPS 1086327 WITH SCORE 1087777.332
AT ITER 9682 NEW BEST:: SOT 8491656 SOS 1449830 HAS SOPS 1449830 HAS SOUS 1086311 HAS SOUPS 1086311 WITH SCORE 1087760.83
AT ITER 9688 NEW BEST:: SOT 8491656 SOS 1448502 HAS SOPS 1448502 HAS SOUS 1086311 HAS SOUPS 1086311 WITH SCORE 1087759.502
AT ITER 9699 NEW BEST:: SOT 8491529 SOS 1448260 HAS SOPS 1448260 HAS SOUS 1086069 HAS SOUPS 1086069 WITH SCORE 1087517.26
AT ITER 9724 NEW BEST:: SOT 8491528 SOS 1448258 HAS SOPS 1448258 HAS SOUS 1086067 HAS SOUPS 1086067 WITH SCORE 1087515.258
AT ITER 9751 NEW BEST:: SOT 8491477 SOS 1448153 HAS SOPS 1448153 HAS SOUS 1085962 HAS SOUPS 1085962 WITH SCORE 1087410.153
AT ITER 9753 NEW BEST:: SOT 8491355 SOS 1448179 HAS SOPS 1448179 HAS SOUS 1085853 HAS SOUPS 1085853 WITH SCORE 1087301.179
AT ITER 9770 NEW BEST:: SOT 8491385 SOS 1448237 HAS SOPS 1448237 HAS SOUS 1085768 HAS SOUPS 1085768 WITH SCORE 1087216.237
AT ITER 9783 NEW BEST:: SOT 8491354 SOS 1448190 HAS SOPS 1448190 HAS SOUS 1085698 HAS SOUPS 1085698 WITH SCORE 1087146.19
AT ITER 9789 NEW BEST:: SOT 8490354 SOS 1449045 HAS SOPS 1449045 HAS SOUS 1084825 HAS SOUPS 1084825 WITH SCORE 1086274.045
AT ITER 9799 NEW BEST:: SOT 8490348 SOS 1448913 HAS SOPS 1448913 HAS SOUS 1084819 HAS SOUPS 1084819 WITH SCORE 1086267.913
AT ITER 9825 NEW BEST:: SOT 8489050 SOS 1447439 HAS SOPS 1447439 HAS SOUS 1084241 HAS SOUPS 1084241 WITH SCORE 1085688.439
AT ITER 9827 NEW BEST:: SOT 8488387 SOS 1448328 HAS SOPS 1448328 HAS SOUS 1083747 HAS SOUPS 1083747 WITH SCORE 1085195.328
AT ITER 9838 NEW BEST:: SOT 8488180 SOS 1449562 HAS SOPS 1449562 HAS SOUS 1083322 HAS SOUPS 1083322 WITH SCORE 1084771.562
AT ITER 9853 NEW BEST:: SOT 8488167 SOS 1449526 HAS SOPS 1449526 HAS SOUS 1083296 HAS SOUPS 1083296 WITH SCORE 1084745.526
AT ITER 9855 NEW BEST:: SOT 8488036 SOS 1449667 HAS SOPS 1449667 HAS SOUS 1083033 HAS SOUPS 1083033 WITH SCORE 1084482.667
AT ITER 9865 NEW BEST:: SOT 8488220 SOS 1450119 HAS SOPS 1450119 HAS SOUS 1080477 HAS SOUPS 1080477 WITH SCORE 1081927.119
AT ITER 9870 NEW BEST:: SOT 8487980 SOS 1449879 HAS SOPS 1449879 HAS SOUS 1080237 HAS SOUPS 1080237 WITH SCORE 1081686.879
AT ITER 9876 NEW BEST:: SOT 8487911 SOS 1449741 HAS SOPS 1449741 HAS SOUS 1080099 HAS SOUPS 1080099 WITH SCORE 1081548.741
AT ITER 9877 NEW BEST:: SOT 8487903 SOS 1449654 HAS SOPS 1449654 HAS SOUS 1080012 HAS SOUPS 1080012 WITH SCORE 1081461.654
AT ITER 9885 NEW BEST:: SOT 8487862 SOS 1449336 HAS SOPS 1449336 HAS SOUS 1079520 HAS SOUPS 1079520 WITH SCORE 1080969.336
AT ITER 9901 NEW BEST:: SOT 8487635 SOS 1448885 HAS SOPS 1448885 HAS SOUS 1079069 HAS SOUPS 1079069 WITH SCORE 1080517.885
AT ITER 9940 NEW BEST:: SOT 8487606 SOS 1448827 HAS SOPS 1448827 HAS SOUS 1079025 HAS SOUPS 1079025 WITH SCORE 1080473.827
AT ITER 9943 NEW BEST:: SOT 8487226 SOS 1448634 HAS SOPS 1448634 HAS SOUS 1078832 HAS SOUPS 1078832 WITH SCORE 1080280.634
AT ITER 9979 NEW BEST:: SOT 8487226 SOS 1448634 HAS SOPS 1448634 HAS SOUS 1078811 HAS SOUPS 1078811 WITH SCORE 1080259.634
AT ITER 9983 NEW BEST:: SOT 8487165 SOS 1448512 HAS SOPS 1448512 HAS SOUS 1078689 HAS SOUPS 1078689 WITH SCORE 1080137.512
AT ITER 9986 NEW BEST:: SOT 8487106 SOS 1448393 HAS SOPS 1448393 HAS SOUS 1078630 HAS SOUPS 1078630 WITH SCORE 1080078.393
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ASLink-PT-08b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is ASLink-PT-08b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r003-smll-158897508100129"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-08b.tgz
mv ASLink-PT-08b 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 '
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 ;