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.r491-tall-167912709900040.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is Sudoku-COL-AN05, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912709900040
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 388K
-rw-r--r-- 1 mcc users 7.2K Feb 26 09:08 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 26 09:08 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 26 09:03 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 09:03 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:16 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 17:16 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:16 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:16 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.3K Feb 26 09:12 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 26 09:12 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.2K Feb 26 09:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 26 09:08 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 6.5K Mar 5 18:23 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 1679210378379

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Sudoku-COL-AN05
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-19 07:19:40] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-19 07:19:40] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-19 07:19:40] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-19 07:19:40] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-19 07:19:41] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 745 ms
[2023-03-19 07:19:41] [INFO ] Imported 4 HL places and 1 HL transitions for a total of 200 PT places and 125.0 transition bindings in 16 ms.
[2023-03-19 07:19:41] [INFO ] Unfolded HLPN to a Petri net with 200 places and 125 transitions 500 arcs in 18 ms.
[2023-03-19 07:19:41] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-19 07:19:41] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 200 places, 125 transitions and 500 arcs took 5 ms.
Total runtime 889 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Sudoku (COL), instance AN05
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 200 places, 125 transitions, 500 arcs.
AT ITER 0 NEW BEST:: SOT 17648 SOS 9228 HAS SOPS 9228 HAS SOUS 9228 HAS SOUPS 9228 WITH SCORE 9237.228
AT ITER 4 NEW BEST:: SOT 17571 SOS 9199 HAS SOPS 9199 HAS SOUS 9174 HAS SOUPS 9174 WITH SCORE 9183.199
AT ITER 6 NEW BEST:: SOT 17556 SOS 9192 HAS SOPS 9192 HAS SOUS 9159 HAS SOUPS 9159 WITH SCORE 9168.192
AT ITER 17 NEW BEST:: SOT 17524 SOS 9160 HAS SOPS 9160 HAS SOUS 9127 HAS SOUPS 9127 WITH SCORE 9136.16
AT ITER 20 NEW BEST:: SOT 17524 SOS 9146 HAS SOPS 9146 HAS SOUS 9127 HAS SOUPS 9127 WITH SCORE 9136.146
AT ITER 21 NEW BEST:: SOT 17509 SOS 9221 HAS SOPS 9221 HAS SOUS 9112 HAS SOUPS 9112 WITH SCORE 9121.221
AT ITER 25 NEW BEST:: SOT 17450 SOS 9254 HAS SOPS 9254 HAS SOUS 9090 HAS SOUPS 9090 WITH SCORE 9099.254
AT ITER 27 NEW BEST:: SOT 17443 SOS 9254 HAS SOPS 9254 HAS SOUS 9083 HAS SOUPS 9083 WITH SCORE 9092.254
AT ITER 28 NEW BEST:: SOT 17443 SOS 9246 HAS SOPS 9246 HAS SOUS 9083 HAS SOUPS 9083 WITH SCORE 9092.246
AT ITER 35 NEW BEST:: SOT 17443 SOS 9245 HAS SOPS 9245 HAS SOUS 9082 HAS SOUPS 9082 WITH SCORE 9091.245
AT ITER 43 NEW BEST:: SOT 17443 SOS 9199 HAS SOPS 9199 HAS SOUS 9082 HAS SOUPS 9082 WITH SCORE 9091.199
AT ITER 50 NEW BEST:: SOT 17421 SOS 9336 HAS SOPS 9336 HAS SOUS 9060 HAS SOUPS 9060 WITH SCORE 9069.336
AT ITER 52 NEW BEST:: SOT 17405 SOS 9320 HAS SOPS 9320 HAS SOUS 9044 HAS SOUPS 9044 WITH SCORE 9053.32
AT ITER 55 NEW BEST:: SOT 17372 SOS 9287 HAS SOPS 9287 HAS SOUS 9011 HAS SOUPS 9011 WITH SCORE 9020.287
AT ITER 63 NEW BEST:: SOT 17372 SOS 9267 HAS SOPS 9267 HAS SOUS 9011 HAS SOUPS 9011 WITH SCORE 9020.267
AT ITER 75 NEW BEST:: SOT 17383 SOS 9257 HAS SOPS 9257 HAS SOUS 8993 HAS SOUPS 8993 WITH SCORE 9002.257
AT ITER 77 NEW BEST:: SOT 17366 SOS 9358 HAS SOPS 9358 HAS SOUS 8985 HAS SOUPS 8985 WITH SCORE 8994.358
AT ITER 79 NEW BEST:: SOT 17366 SOS 9337 HAS SOPS 9337 HAS SOUS 8985 HAS SOUPS 8985 WITH SCORE 8994.337
AT ITER 82 NEW BEST:: SOT 17358 SOS 9329 HAS SOPS 9329 HAS SOUS 8977 HAS SOUPS 8977 WITH SCORE 8986.329
AT ITER 83 NEW BEST:: SOT 17323 SOS 9457 HAS SOPS 9457 HAS SOUS 8972 HAS SOUPS 8972 WITH SCORE 8981.457
AT ITER 92 NEW BEST:: SOT 17308 SOS 9479 HAS SOPS 9479 HAS SOUS 8958 HAS SOUPS 8958 WITH SCORE 8967.479
AT ITER 107 NEW BEST:: SOT 17301 SOS 9511 HAS SOPS 9511 HAS SOUS 8939 HAS SOUPS 8939 WITH SCORE 8948.511
AT ITER 126 NEW BEST:: SOT 17236 SOS 9485 HAS SOPS 9485 HAS SOUS 8913 HAS SOUPS 8913 WITH SCORE 8922.485
AT ITER 134 NEW BEST:: SOT 17221 SOS 9586 HAS SOPS 9586 HAS SOUS 8910 HAS SOUPS 8910 WITH SCORE 8919.586
AT ITER 145 NEW BEST:: SOT 17224 SOS 9578 HAS SOPS 9578 HAS SOUS 8902 HAS SOUPS 8902 WITH SCORE 8911.578
AT ITER 151 NEW BEST:: SOT 17176 SOS 9570 HAS SOPS 9570 HAS SOUS 8875 HAS SOUPS 8875 WITH SCORE 8884.57
AT ITER 171 NEW BEST:: SOT 17151 SOS 9577 HAS SOPS 9577 HAS SOUS 8872 HAS SOUPS 8872 WITH SCORE 8881.577
AT ITER 172 NEW BEST:: SOT 17146 SOS 9571 HAS SOPS 9571 HAS SOUS 8863 HAS SOUPS 8863 WITH SCORE 8872.571
AT ITER 185 NEW BEST:: SOT 17178 SOS 9549 HAS SOPS 9549 HAS SOUS 8839 HAS SOUPS 8839 WITH SCORE 8848.549
AT ITER 190 NEW BEST:: SOT 17139 SOS 9540 HAS SOPS 9540 HAS SOUS 8821 HAS SOUPS 8821 WITH SCORE 8830.54
AT ITER 201 NEW BEST:: SOT 17139 SOS 9536 HAS SOPS 9536 HAS SOUS 8821 HAS SOUPS 8821 WITH SCORE 8830.536
AT ITER 204 NEW BEST:: SOT 17131 SOS 9531 HAS SOPS 9531 HAS SOUS 8816 HAS SOUPS 8816 WITH SCORE 8825.531
AT ITER 205 NEW BEST:: SOT 17125 SOS 9525 HAS SOPS 9525 HAS SOUS 8810 HAS SOUPS 8810 WITH SCORE 8819.525
AT ITER 213 NEW BEST:: SOT 17086 SOS 9501 HAS SOPS 9501 HAS SOUS 8771 HAS SOUPS 8771 WITH SCORE 8780.501
AT ITER 215 NEW BEST:: SOT 17086 SOS 9474 HAS SOPS 9474 HAS SOUS 8771 HAS SOUPS 8771 WITH SCORE 8780.474
AT ITER 220 NEW BEST:: SOT 17043 SOS 9455 HAS SOPS 9455 HAS SOUS 8752 HAS SOUPS 8752 WITH SCORE 8761.455
AT ITER 223 NEW BEST:: SOT 17072 SOS 9523 HAS SOPS 9523 HAS SOUS 8736 HAS SOUPS 8736 WITH SCORE 8745.523
AT ITER 236 NEW BEST:: SOT 17069 SOS 9520 HAS SOPS 9520 HAS SOUS 8733 HAS SOUPS 8733 WITH SCORE 8742.52
AT ITER 249 NEW BEST:: SOT 17065 SOS 9518 HAS SOPS 9518 HAS SOUS 8731 HAS SOUPS 8731 WITH SCORE 8740.518
AT ITER 255 NEW BEST:: SOT 17065 SOS 9501 HAS SOPS 9501 HAS SOUS 8731 HAS SOUPS 8731 WITH SCORE 8740.501
AT ITER 258 NEW BEST:: SOT 17021 SOS 9488 HAS SOPS 9488 HAS SOUS 8718 HAS SOUPS 8718 WITH SCORE 8727.488
AT ITER 259 NEW BEST:: SOT 16970 SOS 9474 HAS SOPS 9474 HAS SOUS 8704 HAS SOUPS 8704 WITH SCORE 8713.474
AT ITER 261 NEW BEST:: SOT 16920 SOS 9525 HAS SOPS 9525 HAS SOUS 8689 HAS SOUPS 8689 WITH SCORE 8698.525
AT ITER 264 NEW BEST:: SOT 16920 SOS 9481 HAS SOPS 9481 HAS SOUS 8689 HAS SOUPS 8689 WITH SCORE 8698.481
AT ITER 269 NEW BEST:: SOT 16920 SOS 9463 HAS SOPS 9463 HAS SOUS 8689 HAS SOUPS 8689 WITH SCORE 8698.463
AT ITER 273 NEW BEST:: SOT 16868 SOS 9490 HAS SOPS 9490 HAS SOUS 8660 HAS SOUPS 8660 WITH SCORE 8669.49
AT ITER 277 NEW BEST:: SOT 16834 SOS 9445 HAS SOPS 9445 HAS SOUS 8649 HAS SOUPS 8649 WITH SCORE 8658.445
AT ITER 285 NEW BEST:: SOT 16834 SOS 9439 HAS SOPS 9439 HAS SOUS 8648 HAS SOUPS 8648 WITH SCORE 8657.439
AT ITER 286 NEW BEST:: SOT 16829 SOS 9432 HAS SOPS 9432 HAS SOUS 8641 HAS SOUPS 8641 WITH SCORE 8650.432
AT ITER 287 NEW BEST:: SOT 16829 SOS 9400 HAS SOPS 9400 HAS SOUS 8641 HAS SOUPS 8641 WITH SCORE 8650.4
AT ITER 292 NEW BEST:: SOT 16847 SOS 9410 HAS SOPS 9410 HAS SOUS 8620 HAS SOUPS 8620 WITH SCORE 8629.41
AT ITER 293 NEW BEST:: SOT 16795 SOS 9452 HAS SOPS 9452 HAS SOUS 8600 HAS SOUPS 8600 WITH SCORE 8609.452
AT ITER 302 NEW BEST:: SOT 16795 SOS 9437 HAS SOPS 9437 HAS SOUS 8600 HAS SOUPS 8600 WITH SCORE 8609.437
AT ITER 303 NEW BEST:: SOT 16795 SOS 9423 HAS SOPS 9423 HAS SOUS 8600 HAS SOUPS 8600 WITH SCORE 8609.423
AT ITER 314 NEW BEST:: SOT 16795 SOS 9419 HAS SOPS 9419 HAS SOUS 8600 HAS SOUPS 8600 WITH SCORE 8609.419
AT ITER 315 NEW BEST:: SOT 16795 SOS 9413 HAS SOPS 9413 HAS SOUS 8600 HAS SOUPS 8600 WITH SCORE 8609.413
AT ITER 319 NEW BEST:: SOT 16789 SOS 9410 HAS SOPS 9410 HAS SOUS 8597 HAS SOUPS 8597 WITH SCORE 8606.41
AT ITER 322 NEW BEST:: SOT 16779 SOS 9416 HAS SOPS 9416 HAS SOUS 8589 HAS SOUPS 8589 WITH SCORE 8598.416
AT ITER 334 NEW BEST:: SOT 16777 SOS 9414 HAS SOPS 9414 HAS SOUS 8587 HAS SOUPS 8587 WITH SCORE 8596.414
AT ITER 346 NEW BEST:: SOT 16777 SOS 9382 HAS SOPS 9382 HAS SOUS 8579 HAS SOUPS 8579 WITH SCORE 8588.382
AT ITER 354 NEW BEST:: SOT 16777 SOS 9331 HAS SOPS 9331 HAS SOUS 8568 HAS SOUPS 8568 WITH SCORE 8577.331
AT ITER 363 NEW BEST:: SOT 16707 SOS 9300 HAS SOPS 9300 HAS SOUS 8545 HAS SOUPS 8545 WITH SCORE 8554.3
AT ITER 365 NEW BEST:: SOT 16706 SOS 9299 HAS SOPS 9299 HAS SOUS 8542 HAS SOUPS 8542 WITH SCORE 8551.299
AT ITER 381 NEW BEST:: SOT 16641 SOS 9288 HAS SOPS 9288 HAS SOUS 8531 HAS SOUPS 8531 WITH SCORE 8540.288
AT ITER 383 NEW BEST:: SOT 16618 SOS 9319 HAS SOPS 9319 HAS SOUS 8516 HAS SOUPS 8516 WITH SCORE 8525.319
AT ITER 384 NEW BEST:: SOT 16600 SOS 9397 HAS SOPS 9397 HAS SOUS 8508 HAS SOUPS 8508 WITH SCORE 8517.397
AT ITER 396 NEW BEST:: SOT 16571 SOS 9378 HAS SOPS 9378 HAS SOUS 8489 HAS SOUPS 8489 WITH SCORE 8498.378
AT ITER 402 NEW BEST:: SOT 16550 SOS 9357 HAS SOPS 9357 HAS SOUS 8468 HAS SOUPS 8468 WITH SCORE 8477.357
AT ITER 408 NEW BEST:: SOT 16524 SOS 9339 HAS SOPS 9339 HAS SOUS 8450 HAS SOUPS 8450 WITH SCORE 8459.339
AT ITER 410 NEW BEST:: SOT 16517 SOS 9332 HAS SOPS 9332 HAS SOUS 8443 HAS SOUPS 8443 WITH SCORE 8452.332
AT ITER 416 NEW BEST:: SOT 16516 SOS 9287 HAS SOPS 9287 HAS SOUS 8432 HAS SOUPS 8432 WITH SCORE 8441.287
AT ITER 432 NEW BEST:: SOT 16481 SOS 9282 HAS SOPS 9282 HAS SOUS 8402 HAS SOUPS 8402 WITH SCORE 8411.282
AT ITER 438 NEW BEST:: SOT 16481 SOS 9332 HAS SOPS 9332 HAS SOUS 8400 HAS SOUPS 8400 WITH SCORE 8409.332
AT ITER 440 NEW BEST:: SOT 16460 SOS 9343 HAS SOPS 9343 HAS SOUS 8348 HAS SOUPS 8348 WITH SCORE 8357.343
AT ITER 447 NEW BEST:: SOT 16463 SOS 9384 HAS SOPS 9384 HAS SOUS 8320 HAS SOUPS 8320 WITH SCORE 8329.384
AT ITER 467 NEW BEST:: SOT 16463 SOS 9384 HAS SOPS 9384 HAS SOUS 8316 HAS SOUPS 8316 WITH SCORE 8325.384
AT ITER 468 NEW BEST:: SOT 16439 SOS 9380 HAS SOPS 9380 HAS SOUS 8312 HAS SOUPS 8312 WITH SCORE 8321.38
AT ITER 484 NEW BEST:: SOT 16418 SOS 9404 HAS SOPS 9404 HAS SOUS 8299 HAS SOUPS 8299 WITH SCORE 8308.404
AT ITER 486 NEW BEST:: SOT 16413 SOS 9399 HAS SOPS 9399 HAS SOUS 8287 HAS SOUPS 8287 WITH SCORE 8296.399
AT ITER 495 NEW BEST:: SOT 16413 SOS 9393 HAS SOPS 9393 HAS SOUS 8284 HAS SOUPS 8284 WITH SCORE 8293.393
AT ITER 497 NEW BEST:: SOT 16413 SOS 9385 HAS SOPS 9385 HAS SOUS 8280 HAS SOUPS 8280 WITH SCORE 8289.385
AT ITER 498 NEW BEST:: SOT 16413 SOS 9382 HAS SOPS 9382 HAS SOUS 8280 HAS SOUPS 8280 WITH SCORE 8289.382
AT ITER 509 NEW BEST:: SOT 16410 SOS 9379 HAS SOPS 9379 HAS SOUS 8277 HAS SOUPS 8277 WITH SCORE 8286.379
AT ITER 524 NEW BEST:: SOT 16403 SOS 9329 HAS SOPS 9329 HAS SOUS 8261 HAS SOUPS 8261 WITH SCORE 8270.329
AT ITER 525 NEW BEST:: SOT 16400 SOS 9316 HAS SOPS 9316 HAS SOUS 8255 HAS SOUPS 8255 WITH SCORE 8264.316
AT ITER 529 NEW BEST:: SOT 16387 SOS 9311 HAS SOPS 9311 HAS SOUS 8250 HAS SOUPS 8250 WITH SCORE 8259.311
AT ITER 531 NEW BEST:: SOT 16387 SOS 9332 HAS SOPS 9332 HAS SOUS 8246 HAS SOUPS 8246 WITH SCORE 8255.332
AT ITER 548 NEW BEST:: SOT 16365 SOS 9403 HAS SOPS 9403 HAS SOUS 8227 HAS SOUPS 8227 WITH SCORE 8236.403
AT ITER 561 NEW BEST:: SOT 16365 SOS 9397 HAS SOPS 9397 HAS SOUS 8227 HAS SOUPS 8227 WITH SCORE 8236.397
AT ITER 568 NEW BEST:: SOT 16361 SOS 9395 HAS SOPS 9395 HAS SOUS 8225 HAS SOUPS 8225 WITH SCORE 8234.395
AT ITER 582 NEW BEST:: SOT 16361 SOS 9380 HAS SOPS 9380 HAS SOUS 8225 HAS SOUPS 8225 WITH SCORE 8234.38
AT ITER 609 NEW BEST:: SOT 16370 SOS 9390 HAS SOPS 9390 HAS SOUS 8223 HAS SOUPS 8223 WITH SCORE 8232.39
AT ITER 614 NEW BEST:: SOT 16348 SOS 9368 HAS SOPS 9368 HAS SOUS 8201 HAS SOUPS 8201 WITH SCORE 8210.368
AT ITER 616 NEW BEST:: SOT 16348 SOS 9317 HAS SOPS 9317 HAS SOUS 8201 HAS SOUPS 8201 WITH SCORE 8210.317
AT ITER 623 NEW BEST:: SOT 16345 SOS 9330 HAS SOPS 9330 HAS SOUS 8192 HAS SOUPS 8192 WITH SCORE 8201.33
AT ITER 629 NEW BEST:: SOT 16335 SOS 9320 HAS SOPS 9320 HAS SOUS 8182 HAS SOUPS 8182 WITH SCORE 8191.32
AT ITER 639 NEW BEST:: SOT 16368 SOS 9347 HAS SOPS 9347 HAS SOUS 8173 HAS SOUPS 8173 WITH SCORE 8182.347
AT ITER 641 NEW BEST:: SOT 16365 SOS 9344 HAS SOPS 9344 HAS SOUS 8170 HAS SOUPS 8170 WITH SCORE 8179.344
AT ITER 652 NEW BEST:: SOT 16353 SOS 9332 HAS SOPS 9332 HAS SOUS 8158 HAS SOUPS 8158 WITH SCORE 8167.332
AT ITER 658 NEW BEST:: SOT 16345 SOS 9324 HAS SOPS 9324 HAS SOUS 8150 HAS SOUPS 8150 WITH SCORE 8159.324
AT ITER 666 NEW BEST:: SOT 16345 SOS 9309 HAS SOPS 9309 HAS SOUS 8150 HAS SOUPS 8150 WITH SCORE 8159.309
AT ITER 669 NEW BEST:: SOT 16321 SOS 9285 HAS SOPS 9285 HAS SOUS 8126 HAS SOUPS 8126 WITH SCORE 8135.285
AT ITER 670 NEW BEST:: SOT 16297 SOS 9270 HAS SOPS 9270 HAS SOUS 8111 HAS SOUPS 8111 WITH SCORE 8120.27
AT ITER 681 NEW BEST:: SOT 16280 SOS 9253 HAS SOPS 9253 HAS SOUS 8094 HAS SOUPS 8094 WITH SCORE 8103.253
AT ITER 693 NEW BEST:: SOT 16280 SOS 9236 HAS SOPS 9236 HAS SOUS 8094 HAS SOUPS 8094 WITH SCORE 8103.236
AT ITER 707 NEW BEST:: SOT 16279 SOS 9235 HAS SOPS 9235 HAS SOUS 8090 HAS SOUPS 8090 WITH SCORE 8099.235
AT ITER 708 NEW BEST:: SOT 16274 SOS 9230 HAS SOPS 9230 HAS SOUS 8085 HAS SOUPS 8085 WITH SCORE 8094.23
AT ITER 714 NEW BEST:: SOT 16272 SOS 9217 HAS SOPS 9217 HAS SOUS 8077 HAS SOUPS 8077 WITH SCORE 8086.217
AT ITER 717 NEW BEST:: SOT 16272 SOS 9215 HAS SOPS 9215 HAS SOUS 8075 HAS SOUPS 8075 WITH SCORE 8084.215
AT ITER 723 NEW BEST:: SOT 16272 SOS 9212 HAS SOPS 9212 HAS SOUS 8075 HAS SOUPS 8075 WITH SCORE 8084.212
AT ITER 740 NEW BEST:: SOT 16268 SOS 9208 HAS SOPS 9208 HAS SOUS 8071 HAS SOUPS 8071 WITH SCORE 8080.208
AT ITER 748 NEW BEST:: SOT 16260 SOS 9316 HAS SOPS 9316 HAS SOUS 8063 HAS SOUPS 8063 WITH SCORE 8072.316
AT ITER 755 NEW BEST:: SOT 16260 SOS 9308 HAS SOPS 9308 HAS SOUS 8063 HAS SOUPS 8063 WITH SCORE 8072.308
AT ITER 758 NEW BEST:: SOT 16260 SOS 9299 HAS SOPS 9299 HAS SOUS 8054 HAS SOUPS 8054 WITH SCORE 8063.299
AT ITER 780 NEW BEST:: SOT 16260 SOS 9267 HAS SOPS 9267 HAS SOUS 8054 HAS SOUPS 8054 WITH SCORE 8063.267
AT ITER 790 NEW BEST:: SOT 16257 SOS 9267 HAS SOPS 9267 HAS SOUS 8051 HAS SOUPS 8051 WITH SCORE 8060.267
AT ITER 791 NEW BEST:: SOT 16257 SOS 9267 HAS SOPS 9267 HAS SOUS 8049 HAS SOUPS 8049 WITH SCORE 8058.267
AT ITER 793 NEW BEST:: SOT 16257 SOS 9267 HAS SOPS 9267 HAS SOUS 8047 HAS SOUPS 8047 WITH SCORE 8056.267
AT ITER 803 NEW BEST:: SOT 16264 SOS 9258 HAS SOPS 9258 HAS SOUS 8023 HAS SOUPS 8023 WITH SCORE 8032.258
AT ITER 804 NEW BEST:: SOT 16264 SOS 9242 HAS SOPS 9242 HAS SOUS 8023 HAS SOUPS 8023 WITH SCORE 8032.242
AT ITER 812 NEW BEST:: SOT 16264 SOS 9237 HAS SOPS 9237 HAS SOUS 8023 HAS SOUPS 8023 WITH SCORE 8032.237
AT ITER 818 NEW BEST:: SOT 16251 SOS 9234 HAS SOPS 9234 HAS SOUS 8020 HAS SOUPS 8020 WITH SCORE 8029.234
AT ITER 820 NEW BEST:: SOT 16243 SOS 9281 HAS SOPS 9281 HAS SOUS 8012 HAS SOUPS 8012 WITH SCORE 8021.281
AT ITER 821 NEW BEST:: SOT 16243 SOS 9271 HAS SOPS 9271 HAS SOUS 8012 HAS SOUPS 8012 WITH SCORE 8021.271
AT ITER 826 NEW BEST:: SOT 16210 SOS 9249 HAS SOPS 9249 HAS SOUS 7990 HAS SOUPS 7990 WITH SCORE 7999.249
AT ITER 854 NEW BEST:: SOT 16210 SOS 9234 HAS SOPS 9234 HAS SOUS 7976 HAS SOUPS 7976 WITH SCORE 7985.234
AT ITER 876 NEW BEST:: SOT 16199 SOS 9234 HAS SOPS 9234 HAS SOUS 7971 HAS SOUPS 7971 WITH SCORE 7980.234
AT ITER 891 NEW BEST:: SOT 16199 SOS 9234 HAS SOPS 9234 HAS SOUS 7962 HAS SOUPS 7962 WITH SCORE 7971.234
AT ITER 893 NEW BEST:: SOT 16191 SOS 9313 HAS SOPS 9313 HAS SOUS 7961 HAS SOUPS 7961 WITH SCORE 7970.313
AT ITER 894 NEW BEST:: SOT 16187 SOS 9307 HAS SOPS 9307 HAS SOUS 7954 HAS SOUPS 7954 WITH SCORE 7963.307
AT ITER 915 NEW BEST:: SOT 16187 SOS 9263 HAS SOPS 9263 HAS SOUS 7954 HAS SOUPS 7954 WITH SCORE 7963.263
AT ITER 942 NEW BEST:: SOT 16092 SOS 9220 HAS SOPS 9220 HAS SOUS 7911 HAS SOUPS 7911 WITH SCORE 7920.22
AT ITER 951 NEW BEST:: SOT 16083 SOS 9214 HAS SOPS 9214 HAS SOUS 7905 HAS SOUPS 7905 WITH SCORE 7914.214
AT ITER 965 NEW BEST:: SOT 16076 SOS 9207 HAS SOPS 9207 HAS SOUS 7898 HAS SOUPS 7898 WITH SCORE 7907.207
AT ITER 970 NEW BEST:: SOT 16076 SOS 9167 HAS SOPS 9167 HAS SOUS 7898 HAS SOUPS 7898 WITH SCORE 7907.167
AT ITER 995 NEW BEST:: SOT 16076 SOS 9163 HAS SOPS 9163 HAS SOUS 7893 HAS SOUPS 7893 WITH SCORE 7902.163
AT ITER 997 NEW BEST:: SOT 16073 SOS 9160 HAS SOPS 9160 HAS SOUS 7890 HAS SOUPS 7890 WITH SCORE 7899.16
AT ITER 1027 NEW BEST:: SOT 16058 SOS 9145 HAS SOPS 9145 HAS SOUS 7875 HAS SOUPS 7875 WITH SCORE 7884.145
AT ITER 1032 NEW BEST:: SOT 16051 SOS 9133 HAS SOPS 9133 HAS SOUS 7855 HAS SOUPS 7855 WITH SCORE 7864.133
AT ITER 1048 NEW BEST:: SOT 16051 SOS 9132 HAS SOPS 9132 HAS SOUS 7855 HAS SOUPS 7855 WITH SCORE 7864.132
AT ITER 1057 NEW BEST:: SOT 16049 SOS 9133 HAS SOPS 9133 HAS SOUS 7849 HAS SOUPS 7849 WITH SCORE 7858.133
AT ITER 1064 NEW BEST:: SOT 16044 SOS 9128 HAS SOPS 9128 HAS SOUS 7844 HAS SOUPS 7844 WITH SCORE 7853.128
AT ITER 1122 NEW BEST:: SOT 16040 SOS 9124 HAS SOPS 9124 HAS SOUS 7840 HAS SOUPS 7840 WITH SCORE 7849.124
AT ITER 1128 NEW BEST:: SOT 16010 SOS 9113 HAS SOPS 9113 HAS SOUS 7829 HAS SOUPS 7829 WITH SCORE 7838.113
AT ITER 1157 NEW BEST:: SOT 16004 SOS 9110 HAS SOPS 9110 HAS SOUS 7823 HAS SOUPS 7823 WITH SCORE 7832.11
AT ITER 1181 NEW BEST:: SOT 15991 SOS 9097 HAS SOPS 9097 HAS SOUS 7810 HAS SOUPS 7810 WITH SCORE 7819.097
AT ITER 1202 NEW BEST:: SOT 15992 SOS 9082 HAS SOPS 9082 HAS SOUS 7807 HAS SOUPS 7807 WITH SCORE 7816.082
AT ITER 1206 NEW BEST:: SOT 15992 SOS 9093 HAS SOPS 9093 HAS SOUS 7805 HAS SOUPS 7805 WITH SCORE 7814.093
AT ITER 1212 NEW BEST:: SOT 15965 SOS 9077 HAS SOPS 9077 HAS SOUS 7778 HAS SOUPS 7778 WITH SCORE 7787.077
AT ITER 1220 NEW BEST:: SOT 15965 SOS 9071 HAS SOPS 9071 HAS SOUS 7778 HAS SOUPS 7778 WITH SCORE 7787.071
AT ITER 1238 NEW BEST:: SOT 15959 SOS 9169 HAS SOPS 9169 HAS SOUS 7772 HAS SOUPS 7772 WITH SCORE 7781.169
AT ITER 1241 NEW BEST:: SOT 15959 SOS 9163 HAS SOPS 9163 HAS SOUS 7772 HAS SOUPS 7772 WITH SCORE 7781.163
AT ITER 1256 NEW BEST:: SOT 15959 SOS 9148 HAS SOPS 9148 HAS SOUS 7772 HAS SOUPS 7772 WITH SCORE 7781.148
AT ITER 1293 NEW BEST:: SOT 15959 SOS 9148 HAS SOPS 9148 HAS SOUS 7770 HAS SOUPS 7770 WITH SCORE 7779.148
AT ITER 1301 NEW BEST:: SOT 15959 SOS 9143 HAS SOPS 9143 HAS SOUS 7770 HAS SOUPS 7770 WITH SCORE 7779.143
AT ITER 1340 NEW BEST:: SOT 15959 SOS 9162 HAS SOPS 9162 HAS SOUS 7768 HAS SOUPS 7768 WITH SCORE 7777.162
AT ITER 1403 NEW BEST:: SOT 15954 SOS 9154 HAS SOPS 9154 HAS SOUS 7766 HAS SOUPS 7766 WITH SCORE 7775.154
AT ITER 1404 NEW BEST:: SOT 15950 SOS 9150 HAS SOPS 9150 HAS SOUS 7762 HAS SOUPS 7762 WITH SCORE 7771.15
AT ITER 1411 NEW BEST:: SOT 15921 SOS 9304 HAS SOPS 9304 HAS SOUS 7748 HAS SOUPS 7748 WITH SCORE 7757.304
AT ITER 1413 NEW BEST:: SOT 15925 SOS 9304 HAS SOPS 9304 HAS SOUS 7746 HAS SOUPS 7746 WITH SCORE 7755.304
AT ITER 1420 NEW BEST:: SOT 15919 SOS 9298 HAS SOPS 9298 HAS SOUS 7740 HAS SOUPS 7740 WITH SCORE 7749.298
AT ITER 1427 NEW BEST:: SOT 15919 SOS 9293 HAS SOPS 9293 HAS SOUS 7735 HAS SOUPS 7735 WITH SCORE 7744.293
AT ITER 1430 NEW BEST:: SOT 15905 SOS 9279 HAS SOPS 9279 HAS SOUS 7721 HAS SOUPS 7721 WITH SCORE 7730.279
AT ITER 1435 NEW BEST:: SOT 15910 SOS 9276 HAS SOPS 9276 HAS SOUS 7721 HAS SOUPS 7721 WITH SCORE 7730.276
AT ITER 1444 NEW BEST:: SOT 15908 SOS 9274 HAS SOPS 9274 HAS SOUS 7719 HAS SOUPS 7719 WITH SCORE 7728.274
AT ITER 1455 NEW BEST:: SOT 15906 SOS 9274 HAS SOPS 9274 HAS SOUS 7718 HAS SOUPS 7718 WITH SCORE 7727.274
AT ITER 1484 NEW BEST:: SOT 15906 SOS 9226 HAS SOPS 9226 HAS SOUS 7718 HAS SOUPS 7718 WITH SCORE 7727.226
AT ITER 1534 NEW BEST:: SOT 15919 SOS 9231 HAS SOPS 9231 HAS SOUS 7715 HAS SOUPS 7715 WITH SCORE 7724.231
AT ITER 1554 NEW BEST:: SOT 15933 SOS 9223 HAS SOPS 9223 HAS SOUS 7706 HAS SOUPS 7706 WITH SCORE 7715.223
AT ITER 1569 NEW BEST:: SOT 15941 SOS 9222 HAS SOPS 9222 HAS SOUS 7705 HAS SOUPS 7705 WITH SCORE 7714.222
AT ITER 1594 NEW BEST:: SOT 15941 SOS 9222 HAS SOPS 9222 HAS SOUS 7696 HAS SOUPS 7696 WITH SCORE 7705.222
AT ITER 1616 NEW BEST:: SOT 15941 SOS 9168 HAS SOPS 9168 HAS SOUS 7696 HAS SOUPS 7696 WITH SCORE 7705.168
AT ITER 1619 NEW BEST:: SOT 15926 SOS 9242 HAS SOPS 9242 HAS SOUS 7695 HAS SOUPS 7695 WITH SCORE 7704.242
AT ITER 1623 NEW BEST:: SOT 15924 SOS 9240 HAS SOPS 9240 HAS SOUS 7689 HAS SOUPS 7689 WITH SCORE 7698.24
AT ITER 1627 NEW BEST:: SOT 15918 SOS 9234 HAS SOPS 9234 HAS SOUS 7682 HAS SOUPS 7682 WITH SCORE 7691.234
AT ITER 1641 NEW BEST:: SOT 15918 SOS 9234 HAS SOPS 9234 HAS SOUS 7677 HAS SOUPS 7677 WITH SCORE 7686.234
AT ITER 1642 NEW BEST:: SOT 15918 SOS 9224 HAS SOPS 9224 HAS SOUS 7677 HAS SOUPS 7677 WITH SCORE 7686.224
AT ITER 1658 NEW BEST:: SOT 15901 SOS 9207 HAS SOPS 9207 HAS SOUS 7660 HAS SOUPS 7660 WITH SCORE 7669.207
AT ITER 1674 NEW BEST:: SOT 15888 SOS 9194 HAS SOPS 9194 HAS SOUS 7647 HAS SOUPS 7647 WITH SCORE 7656.194
AT ITER 1700 NEW BEST:: SOT 15866 SOS 9178 HAS SOPS 9178 HAS SOUS 7631 HAS SOUPS 7631 WITH SCORE 7640.178
AT ITER 1712 NEW BEST:: SOT 15848 SOS 9160 HAS SOPS 9160 HAS SOUS 7613 HAS SOUPS 7613 WITH SCORE 7622.16
AT ITER 1713 NEW BEST:: SOT 15848 SOS 9140 HAS SOPS 9140 HAS SOUS 7610 HAS SOUPS 7610 WITH SCORE 7619.14
AT ITER 1714 NEW BEST:: SOT 15843 SOS 9135 HAS SOPS 9135 HAS SOUS 7605 HAS SOUPS 7605 WITH SCORE 7614.135
AT ITER 1720 NEW BEST:: SOT 15836 SOS 9129 HAS SOPS 9129 HAS SOUS 7598 HAS SOUPS 7598 WITH SCORE 7607.129
AT ITER 1721 NEW BEST:: SOT 15836 SOS 9129 HAS SOPS 9129 HAS SOUS 7595 HAS SOUPS 7595 WITH SCORE 7604.129
AT ITER 1752 NEW BEST:: SOT 15847 SOS 9129 HAS SOPS 9129 HAS SOUS 7589 HAS SOUPS 7589 WITH SCORE 7598.129
AT ITER 1756 NEW BEST:: SOT 15847 SOS 9102 HAS SOPS 9102 HAS SOUS 7588 HAS SOUPS 7588 WITH SCORE 7597.102
AT ITER 1774 NEW BEST:: SOT 15847 SOS 9084 HAS SOPS 9084 HAS SOUS 7588 HAS SOUPS 7588 WITH SCORE 7597.084
AT ITER 1776 NEW BEST:: SOT 15847 SOS 9072 HAS SOPS 9072 HAS SOUS 7585 HAS SOUPS 7585 WITH SCORE 7594.072
AT ITER 1778 NEW BEST:: SOT 15847 SOS 9058 HAS SOPS 9058 HAS SOUS 7583 HAS SOUPS 7583 WITH SCORE 7592.058
AT ITER 1796 NEW BEST:: SOT 15847 SOS 8996 HAS SOPS 8996 HAS SOUS 7583 HAS SOUPS 7583 WITH SCORE 7591.996
AT ITER 1806 NEW BEST:: SOT 15847 SOS 8989 HAS SOPS 8989 HAS SOUS 7583 HAS SOUPS 7583 WITH SCORE 7591.989
AT ITER 1850 NEW BEST:: SOT 15831 SOS 8978 HAS SOPS 8978 HAS SOUS 7582 HAS SOUPS 7582 WITH SCORE 7590.978
AT ITER 1865 NEW BEST:: SOT 15840 SOS 8965 HAS SOPS 8965 HAS SOUS 7580 HAS SOUPS 7580 WITH SCORE 7588.965
AT ITER 1881 NEW BEST:: SOT 15816 SOS 8960 HAS SOPS 8960 HAS SOUS 7575 HAS SOUPS 7575 WITH SCORE 7583.96
AT ITER 1890 NEW BEST:: SOT 15800 SOS 8952 HAS SOPS 8952 HAS SOUS 7570 HAS SOUPS 7570 WITH SCORE 7578.952
AT ITER 1895 NEW BEST:: SOT 15800 SOS 8925 HAS SOPS 8925 HAS SOUS 7570 HAS SOUPS 7570 WITH SCORE 7578.925
AT ITER 1916 NEW BEST:: SOT 15788 SOS 8937 HAS SOPS 8937 HAS SOUS 7567 HAS SOUPS 7567 WITH SCORE 7575.937
AT ITER 1919 NEW BEST:: SOT 15787 SOS 8936 HAS SOPS 8936 HAS SOUS 7566 HAS SOUPS 7566 WITH SCORE 7574.936
AT ITER 1935 NEW BEST:: SOT 15781 SOS 8930 HAS SOPS 8930 HAS SOUS 7560 HAS SOUPS 7560 WITH SCORE 7568.93
AT ITER 1953 NEW BEST:: SOT 15762 SOS 8911 HAS SOPS 8911 HAS SOUS 7541 HAS SOUPS 7541 WITH SCORE 7549.911
AT ITER 1979 NEW BEST:: SOT 15762 SOS 8911 HAS SOPS 8911 HAS SOUS 7531 HAS SOUPS 7531 WITH SCORE 7539.911
AT ITER 1998 NEW BEST:: SOT 15757 SOS 8911 HAS SOPS 8911 HAS SOUS 7529 HAS SOUPS 7529 WITH SCORE 7537.911
AT ITER 2013 NEW BEST:: SOT 15757 SOS 8909 HAS SOPS 8909 HAS SOUS 7529 HAS SOUPS 7529 WITH SCORE 7537.909
AT ITER 2036 NEW BEST:: SOT 15749 SOS 8903 HAS SOPS 8903 HAS SOUS 7527 HAS SOUPS 7527 WITH SCORE 7535.903
AT ITER 2039 NEW BEST:: SOT 15690 SOS 8892 HAS SOPS 8892 HAS SOUS 7479 HAS SOUPS 7479 WITH SCORE 7487.892
AT ITER 2058 NEW BEST:: SOT 15690 SOS 8879 HAS SOPS 8879 HAS SOUS 7479 HAS SOUPS 7479 WITH SCORE 7487.879
AT ITER 2062 NEW BEST:: SOT 15690 SOS 8873 HAS SOPS 8873 HAS SOUS 7479 HAS SOUPS 7479 WITH SCORE 7487.873
AT ITER 2063 NEW BEST:: SOT 15657 SOS 9022 HAS SOPS 9022 HAS SOUS 7476 HAS SOUPS 7476 WITH SCORE 7485.022
AT ITER 2082 NEW BEST:: SOT 15645 SOS 9077 HAS SOPS 9077 HAS SOUS 7467 HAS SOUPS 7467 WITH SCORE 7476.077
AT ITER 2097 NEW BEST:: SOT 15645 SOS 9057 HAS SOPS 9057 HAS SOUS 7467 HAS SOUPS 7467 WITH SCORE 7476.057
AT ITER 2099 NEW BEST:: SOT 15643 SOS 9055 HAS SOPS 9055 HAS SOUS 7465 HAS SOUPS 7465 WITH SCORE 7474.055
AT ITER 2104 NEW BEST:: SOT 15638 SOS 9050 HAS SOPS 9050 HAS SOUS 7465 HAS SOUPS 7465 WITH SCORE 7474.05
AT ITER 2109 NEW BEST:: SOT 15638 SOS 8834 HAS SOPS 8834 HAS SOUS 7465 HAS SOUPS 7465 WITH SCORE 7473.834
AT ITER 2133 NEW BEST:: SOT 15638 SOS 8822 HAS SOPS 8822 HAS SOUS 7457 HAS SOUPS 7457 WITH SCORE 7465.822
AT ITER 2135 NEW BEST:: SOT 15638 SOS 8800 HAS SOPS 8800 HAS SOUS 7456 HAS SOUPS 7456 WITH SCORE 7464.8
AT ITER 2147 NEW BEST:: SOT 15623 SOS 8790 HAS SOPS 8790 HAS SOUS 7446 HAS SOUPS 7446 WITH SCORE 7454.79
AT ITER 2178 NEW BEST:: SOT 15617 SOS 8791 HAS SOPS 8791 HAS SOUS 7440 HAS SOUPS 7440 WITH SCORE 7448.791
AT ITER 2186 NEW BEST:: SOT 15614 SOS 8788 HAS SOPS 8788 HAS SOUS 7437 HAS SOUPS 7437 WITH SCORE 7445.788
AT ITER 2200 NEW BEST:: SOT 15614 SOS 8776 HAS SOPS 8776 HAS SOUS 7433 HAS SOUPS 7433 WITH SCORE 7441.776
AT ITER 2204 NEW BEST:: SOT 15613 SOS 8775 HAS SOPS 8775 HAS SOUS 7432 HAS SOUPS 7432 WITH SCORE 7440.775
AT ITER 2211 NEW BEST:: SOT 15608 SOS 8770 HAS SOPS 8770 HAS SOUS 7427 HAS SOUPS 7427 WITH SCORE 7435.77
AT ITER 2230 NEW BEST:: SOT 15604 SOS 8768 HAS SOPS 8768 HAS SOUS 7425 HAS SOUPS 7425 WITH SCORE 7433.768
AT ITER 2257 NEW BEST:: SOT 15579 SOS 8751 HAS SOPS 8751 HAS SOUS 7407 HAS SOUPS 7407 WITH SCORE 7415.751
AT ITER 2261 NEW BEST:: SOT 15585 SOS 8757 HAS SOPS 8757 HAS SOUS 7404 HAS SOUPS 7404 WITH SCORE 7412.757
AT ITER 2280 NEW BEST:: SOT 15579 SOS 8755 HAS SOPS 8755 HAS SOUS 7404 HAS SOUPS 7404 WITH SCORE 7412.755
AT ITER 2282 NEW BEST:: SOT 15572 SOS 8748 HAS SOPS 8748 HAS SOUS 7403 HAS SOUPS 7403 WITH SCORE 7411.748
AT ITER 2292 NEW BEST:: SOT 15572 SOS 8738 HAS SOPS 8738 HAS SOUS 7403 HAS SOUPS 7403 WITH SCORE 7411.738
AT ITER 2323 NEW BEST:: SOT 15570 SOS 8736 HAS SOPS 8736 HAS SOUS 7401 HAS SOUPS 7401 WITH SCORE 7409.736
AT ITER 2338 NEW BEST:: SOT 15565 SOS 8731 HAS SOPS 8731 HAS SOUS 7393 HAS SOUPS 7393 WITH SCORE 7401.731
AT ITER 2349 NEW BEST:: SOT 15565 SOS 8698 HAS SOPS 8698 HAS SOUS 7393 HAS SOUPS 7393 WITH SCORE 7401.698
AT ITER 2381 NEW BEST:: SOT 15561 SOS 8694 HAS SOPS 8694 HAS SOUS 7389 HAS SOUPS 7389 WITH SCORE 7397.694
AT ITER 2404 NEW BEST:: SOT 15558 SOS 8691 HAS SOPS 8691 HAS SOUS 7389 HAS SOUPS 7389 WITH SCORE 7397.691
AT ITER 2412 NEW BEST:: SOT 15558 SOS 8690 HAS SOPS 8690 HAS SOUS 7389 HAS SOUPS 7389 WITH SCORE 7397.69
AT ITER 2418 NEW BEST:: SOT 15542 SOS 8677 HAS SOPS 8677 HAS SOUS 7376 HAS SOUPS 7376 WITH SCORE 7384.677
AT ITER 2431 NEW BEST:: SOT 15540 SOS 8675 HAS SOPS 8675 HAS SOUS 7374 HAS SOUPS 7374 WITH SCORE 7382.675
AT ITER 2433 NEW BEST:: SOT 15552 SOS 8630 HAS SOPS 8630 HAS SOUS 7371 HAS SOUPS 7371 WITH SCORE 7379.63
AT ITER 2444 NEW BEST:: SOT 15539 SOS 8629 HAS SOPS 8629 HAS SOUS 7370 HAS SOUPS 7370 WITH SCORE 7378.629
AT ITER 2486 NEW BEST:: SOT 15539 SOS 8629 HAS SOPS 8629 HAS SOUS 7368 HAS SOUPS 7368 WITH SCORE 7376.629
AT ITER 2509 NEW BEST:: SOT 15539 SOS 8628 HAS SOPS 8628 HAS SOUS 7367 HAS SOUPS 7367 WITH SCORE 7375.628
AT ITER 2511 NEW BEST:: SOT 15539 SOS 8628 HAS SOPS 8628 HAS SOUS 7366 HAS SOUPS 7366 WITH SCORE 7374.628
AT ITER 2512 NEW BEST:: SOT 15540 SOS 8627 HAS SOPS 8627 HAS SOUS 7366 HAS SOUPS 7366 WITH SCORE 7374.627
AT ITER 2516 NEW BEST:: SOT 15545 SOS 8634 HAS SOPS 8634 HAS SOUS 7364 HAS SOUPS 7364 WITH SCORE 7372.634
AT ITER 2536 NEW BEST:: SOT 15521 SOS 8618 HAS SOPS 8618 HAS SOUS 7348 HAS SOUPS 7348 WITH SCORE 7356.618
AT ITER 2550 NEW BEST:: SOT 15521 SOS 8618 HAS SOPS 8618 HAS SOUS 7340 HAS SOUPS 7340 WITH SCORE 7348.618
AT ITER 2565 NEW BEST:: SOT 15509 SOS 8606 HAS SOPS 8606 HAS SOUS 7328 HAS SOUPS 7328 WITH SCORE 7336.606
AT ITER 2570 NEW BEST:: SOT 15497 SOS 8594 HAS SOPS 8594 HAS SOUS 7316 HAS SOUPS 7316 WITH SCORE 7324.594
AT ITER 2588 NEW BEST:: SOT 15485 SOS 8584 HAS SOPS 8584 HAS SOUS 7304 HAS SOUPS 7304 WITH SCORE 7312.584
AT ITER 2589 NEW BEST:: SOT 15483 SOS 8582 HAS SOPS 8582 HAS SOUS 7302 HAS SOUPS 7302 WITH SCORE 7310.582
AT ITER 2608 NEW BEST:: SOT 15474 SOS 8557 HAS SOPS 8557 HAS SOUS 7282 HAS SOUPS 7282 WITH SCORE 7290.557
AT ITER 2621 NEW BEST:: SOT 15474 SOS 8520 HAS SOPS 8520 HAS SOUS 7282 HAS SOUPS 7282 WITH SCORE 7290.52
AT ITER 2640 NEW BEST:: SOT 15463 SOS 8530 HAS SOPS 8530 HAS SOUS 7274 HAS SOUPS 7274 WITH SCORE 7282.53
AT ITER 2642 NEW BEST:: SOT 15458 SOS 8542 HAS SOPS 8542 HAS SOUS 7269 HAS SOUPS 7269 WITH SCORE 7277.542
AT ITER 2667 NEW BEST:: SOT 15444 SOS 8533 HAS SOPS 8533 HAS SOUS 7269 HAS SOUPS 7269 WITH SCORE 7277.533
AT ITER 2671 NEW BEST:: SOT 15467 SOS 8553 HAS SOPS 8553 HAS SOUS 7249 HAS SOUPS 7249 WITH SCORE 7257.553
AT ITER 2686 NEW BEST:: SOT 15467 SOS 8553 HAS SOPS 8553 HAS SOUS 7241 HAS SOUPS 7241 WITH SCORE 7249.553
AT ITER 2690 NEW BEST:: SOT 15467 SOS 8549 HAS SOPS 8549 HAS SOUS 7241 HAS SOUPS 7241 WITH SCORE 7249.549
AT ITER 2702 NEW BEST:: SOT 15464 SOS 8546 HAS SOPS 8546 HAS SOUS 7238 HAS SOUPS 7238 WITH SCORE 7246.546
AT ITER 2738 NEW BEST:: SOT 15467 SOS 8546 HAS SOPS 8546 HAS SOUS 7235 HAS SOUPS 7235 WITH SCORE 7243.546
AT ITER 2750 NEW BEST:: SOT 15457 SOS 8544 HAS SOPS 8544 HAS SOUS 7227 HAS SOUPS 7227 WITH SCORE 7235.544
AT ITER 2757 NEW BEST:: SOT 15457 SOS 8538 HAS SOPS 8538 HAS SOUS 7227 HAS SOUPS 7227 WITH SCORE 7235.538
AT ITER 2774 NEW BEST:: SOT 15459 SOS 8534 HAS SOPS 8534 HAS SOUS 7227 HAS SOUPS 7227 WITH SCORE 7235.534
AT ITER 2775 NEW BEST:: SOT 15393 SOS 8576 HAS SOPS 8576 HAS SOUS 7213 HAS SOUPS 7213 WITH SCORE 7221.576
AT ITER 2784 NEW BEST:: SOT 15383 SOS 8588 HAS SOPS 8588 HAS SOUS 7203 HAS SOUPS 7203 WITH SCORE 7211.588
AT ITER 2789 NEW BEST:: SOT 15385 SOS 8569 HAS SOPS 8569 HAS SOUS 7163 HAS SOUPS 7163 WITH SCORE 7171.569
AT ITER 2794 NEW BEST:: SOT 15382 SOS 8566 HAS SOPS 8566 HAS SOUS 7160 HAS SOUPS 7160 WITH SCORE 7168.566
AT ITER 2804 NEW BEST:: SOT 15369 SOS 8559 HAS SOPS 8559 HAS SOUS 7153 HAS SOUPS 7153 WITH SCORE 7161.559
AT ITER 2844 NEW BEST:: SOT 15369 SOS 8559 HAS SOPS 8559 HAS SOUS 7134 HAS SOUPS 7134 WITH SCORE 7142.559
AT ITER 2871 NEW BEST:: SOT 15363 SOS 8555 HAS SOPS 8555 HAS SOUS 7130 HAS SOUPS 7130 WITH SCORE 7138.555
AT ITER 2911 NEW BEST:: SOT 15361 SOS 8553 HAS SOPS 8553 HAS SOUS 7128 HAS SOUPS 7128 WITH SCORE 7136.553
AT ITER 2922 NEW BEST:: SOT 15347 SOS 8539 HAS SOPS 8539 HAS SOUS 7109 HAS SOUPS 7109 WITH SCORE 7117.539
AT ITER 2985 NEW BEST:: SOT 15347 SOS 8539 HAS SOPS 8539 HAS SOUS 7101 HAS SOUPS 7101 WITH SCORE 7109.539
AT ITER 3034 NEW BEST:: SOT 15347 SOS 8539 HAS SOPS 8539 HAS SOUS 7094 HAS SOUPS 7094 WITH SCORE 7102.539
AT ITER 3046 NEW BEST:: SOT 15343 SOS 8535 HAS SOPS 8535 HAS SOUS 7083 HAS SOUPS 7083 WITH SCORE 7091.535
AT ITER 3051 NEW BEST:: SOT 15343 SOS 8529 HAS SOPS 8529 HAS SOUS 7083 HAS SOUPS 7083 WITH SCORE 7091.529
AT ITER 3065 NEW BEST:: SOT 15312 SOS 8551 HAS SOPS 8551 HAS SOUS 7082 HAS SOUPS 7082 WITH SCORE 7090.551
AT ITER 3105 NEW BEST:: SOT 15312 SOS 8550 HAS SOPS 8550 HAS SOUS 7081 HAS SOUPS 7081 WITH SCORE 7089.55
AT ITER 3112 NEW BEST:: SOT 15308 SOS 8546 HAS SOPS 8546 HAS SOUS 7077 HAS SOUPS 7077 WITH SCORE 7085.546
AT ITER 3120 NEW BEST:: SOT 15308 SOS 8546 HAS SOPS 8546 HAS SOUS 7070 HAS SOUPS 7070 WITH SCORE 7078.546
AT ITER 3149 NEW BEST:: SOT 15304 SOS 8529 HAS SOPS 8529 HAS SOUS 7058 HAS SOUPS 7058 WITH SCORE 7066.529
AT ITER 3176 NEW BEST:: SOT 15304 SOS 8523 HAS SOPS 8523 HAS SOUS 7058 HAS SOUPS 7058 WITH SCORE 7066.523
AT ITER 3194 NEW BEST:: SOT 15300 SOS 8519 HAS SOPS 8519 HAS SOUS 7054 HAS SOUPS 7054 WITH SCORE 7062.519
AT ITER 3206 NEW BEST:: SOT 15296 SOS 8515 HAS SOPS 8515 HAS SOUS 7050 HAS SOUPS 7050 WITH SCORE 7058.515
AT ITER 3290 NEW BEST:: SOT 15290 SOS 8537 HAS SOPS 8537 HAS SOUS 7049 HAS SOUPS 7049 WITH SCORE 7057.537
AT ITER 3304 NEW BEST:: SOT 15290 SOS 8503 HAS SOPS 8503 HAS SOUS 7049 HAS SOUPS 7049 WITH SCORE 7057.503
AT ITER 3325 NEW BEST:: SOT 15274 SOS 8487 HAS SOPS 8487 HAS SOUS 7042 HAS SOUPS 7042 WITH SCORE 7050.487
AT ITER 3333 NEW BEST:: SOT 15273 SOS 8486 HAS SOPS 8486 HAS SOUS 7041 HAS SOUPS 7041 WITH SCORE 7049.486
AT ITER 3334 NEW BEST:: SOT 15273 SOS 8482 HAS SOPS 8482 HAS SOUS 7041 HAS SOUPS 7041 WITH SCORE 7049.482
AT ITER 3342 NEW BEST:: SOT 15252 SOS 8481 HAS SOPS 8481 HAS SOUS 7040 HAS SOUPS 7040 WITH SCORE 7048.481
AT ITER 3344 NEW BEST:: SOT 15252 SOS 8472 HAS SOPS 8472 HAS SOUS 7040 HAS SOUPS 7040 WITH SCORE 7048.472
AT ITER 3373 NEW BEST:: SOT 15250 SOS 8470 HAS SOPS 8470 HAS SOUS 7038 HAS SOUPS 7038 WITH SCORE 7046.47
AT ITER 3413 NEW BEST:: SOT 15249 SOS 8470 HAS SOPS 8470 HAS SOUS 7037 HAS SOUPS 7037 WITH SCORE 7045.47
AT ITER 3424 NEW BEST:: SOT 15249 SOS 8466 HAS SOPS 8466 HAS SOUS 7037 HAS SOUPS 7037 WITH SCORE 7045.466
AT ITER 3428 NEW BEST:: SOT 15244 SOS 8485 HAS SOPS 8485 HAS SOUS 7036 HAS SOUPS 7036 WITH SCORE 7044.485
AT ITER 3429 NEW BEST:: SOT 15245 SOS 8485 HAS SOPS 8485 HAS SOUS 7035 HAS SOUPS 7035 WITH SCORE 7043.485
AT ITER 3443 NEW BEST:: SOT 15206 SOS 8492 HAS SOPS 8492 HAS SOUS 7027 HAS SOUPS 7027 WITH SCORE 7035.492
AT ITER 3477 NEW BEST:: SOT 15200 SOS 8486 HAS SOPS 8486 HAS SOUS 7021 HAS SOUPS 7021 WITH SCORE 7029.486
AT ITER 3564 NEW BEST:: SOT 15198 SOS 8484 HAS SOPS 8484 HAS SOUS 7019 HAS SOUPS 7019 WITH SCORE 7027.484
AT ITER 3695 NEW BEST:: SOT 15197 SOS 8483 HAS SOPS 8483 HAS SOUS 7018 HAS SOUPS 7018 WITH SCORE 7026.483
AT ITER 3704 NEW BEST:: SOT 15194 SOS 8480 HAS SOPS 8480 HAS SOUS 7015 HAS SOUPS 7015 WITH SCORE 7023.48
AT ITER 3742 NEW BEST:: SOT 15194 SOS 8480 HAS SOPS 8480 HAS SOUS 7011 HAS SOUPS 7011 WITH SCORE 7019.48
AT ITER 3760 NEW BEST:: SOT 15194 SOS 8478 HAS SOPS 8478 HAS SOUS 7009 HAS SOUPS 7009 WITH SCORE 7017.478
AT ITER 3777 NEW BEST:: SOT 15189 SOS 8471 HAS SOPS 8471 HAS SOUS 7005 HAS SOUPS 7005 WITH SCORE 7013.471
AT ITER 3794 NEW BEST:: SOT 15189 SOS 8466 HAS SOPS 8466 HAS SOUS 7005 HAS SOUPS 7005 WITH SCORE 7013.466
AT ITER 3818 NEW BEST:: SOT 15186 SOS 8463 HAS SOPS 8463 HAS SOUS 7002 HAS SOUPS 7002 WITH SCORE 7010.463
AT ITER 3909 NEW BEST:: SOT 15186 SOS 8463 HAS SOPS 8463 HAS SOUS 7001 HAS SOUPS 7001 WITH SCORE 7009.463
AT ITER 3911 NEW BEST:: SOT 15181 SOS 8473 HAS SOPS 8473 HAS SOUS 6996 HAS SOUPS 6996 WITH SCORE 7004.473
AT ITER 3925 NEW BEST:: SOT 15179 SOS 8471 HAS SOPS 8471 HAS SOUS 6994 HAS SOUPS 6994 WITH SCORE 7002.471
AT ITER 3931 NEW BEST:: SOT 15174 SOS 8471 HAS SOPS 8471 HAS SOUS 6993 HAS SOUPS 6993 WITH SCORE 7001.471
AT ITER 3961 NEW BEST:: SOT 15174 SOS 8469 HAS SOPS 8469 HAS SOUS 6993 HAS SOUPS 6993 WITH SCORE 7001.469
AT ITER 3999 NEW BEST:: SOT 15174 SOS 8467 HAS SOPS 8467 HAS SOUS 6993 HAS SOUPS 6993 WITH SCORE 7001.467
AT ITER 4040 NEW BEST:: SOT 15173 SOS 8466 HAS SOPS 8466 HAS SOUS 6992 HAS SOUPS 6992 WITH SCORE 7000.466
AT ITER 4050 NEW BEST:: SOT 15173 SOS 8483 HAS SOPS 8483 HAS SOUS 6982 HAS SOUPS 6982 WITH SCORE 6990.483
AT ITER 4096 NEW BEST:: SOT 15176 SOS 8482 HAS SOPS 8482 HAS SOUS 6981 HAS SOUPS 6981 WITH SCORE 6989.482
AT ITER 4109 NEW BEST:: SOT 15176 SOS 8482 HAS SOPS 8482 HAS SOUS 6978 HAS SOUPS 6978 WITH SCORE 6986.482
AT ITER 4166 NEW BEST:: SOT 15165 SOS 8479 HAS SOPS 8479 HAS SOUS 6975 HAS SOUPS 6975 WITH SCORE 6983.479
AT ITER 4187 NEW BEST:: SOT 15159 SOS 8480 HAS SOPS 8480 HAS SOUS 6972 HAS SOUPS 6972 WITH SCORE 6980.48
AT ITER 4205 NEW BEST:: SOT 15158 SOS 8479 HAS SOPS 8479 HAS SOUS 6971 HAS SOUPS 6971 WITH SCORE 6979.479
AT ITER 4235 NEW BEST:: SOT 15153 SOS 8467 HAS SOPS 8467 HAS SOUS 6959 HAS SOUPS 6959 WITH SCORE 6967.467
AT ITER 4247 NEW BEST:: SOT 15148 SOS 8462 HAS SOPS 8462 HAS SOUS 6954 HAS SOUPS 6954 WITH SCORE 6962.462
AT ITER 4259 NEW BEST:: SOT 15144 SOS 8461 HAS SOPS 8461 HAS SOUS 6953 HAS SOUPS 6953 WITH SCORE 6961.461
AT ITER 4265 NEW BEST:: SOT 15138 SOS 8455 HAS SOPS 8455 HAS SOUS 6950 HAS SOUPS 6950 WITH SCORE 6958.455
AT ITER 4271 NEW BEST:: SOT 15136 SOS 8453 HAS SOPS 8453 HAS SOUS 6948 HAS SOUPS 6948 WITH SCORE 6956.453
AT ITER 4292 NEW BEST:: SOT 15136 SOS 8453 HAS SOPS 8453 HAS SOUS 6940 HAS SOUPS 6940 WITH SCORE 6948.453
AT ITER 4295 NEW BEST:: SOT 15131 SOS 8448 HAS SOPS 8448 HAS SOUS 6935 HAS SOUPS 6935 WITH SCORE 6943.448
AT ITER 4305 NEW BEST:: SOT 15131 SOS 8443 HAS SOPS 8443 HAS SOUS 6935 HAS SOUPS 6935 WITH SCORE 6943.443
AT ITER 4317 NEW BEST:: SOT 15131 SOS 8434 HAS SOPS 8434 HAS SOUS 6933 HAS SOUPS 6933 WITH SCORE 6941.434
AT ITER 4375 NEW BEST:: SOT 15123 SOS 8426 HAS SOPS 8426 HAS SOUS 6925 HAS SOUPS 6925 WITH SCORE 6933.426
AT ITER 4378 NEW BEST:: SOT 15123 SOS 8413 HAS SOPS 8413 HAS SOUS 6925 HAS SOUPS 6925 WITH SCORE 6933.413
AT ITER 4391 NEW BEST:: SOT 15121 SOS 8413 HAS SOPS 8413 HAS SOUS 6923 HAS SOUPS 6923 WITH SCORE 6931.413
AT ITER 4451 NEW BEST:: SOT 15116 SOS 8408 HAS SOPS 8408 HAS SOUS 6918 HAS SOUPS 6918 WITH SCORE 6926.408
AT ITER 4459 NEW BEST:: SOT 15114 SOS 8406 HAS SOPS 8406 HAS SOUS 6916 HAS SOUPS 6916 WITH SCORE 6924.406
AT ITER 4547 NEW BEST:: SOT 15111 SOS 8404 HAS SOPS 8404 HAS SOUS 6914 HAS SOUPS 6914 WITH SCORE 6922.404
AT ITER 4574 NEW BEST:: SOT 15108 SOS 8403 HAS SOPS 8403 HAS SOUS 6911 HAS SOUPS 6911 WITH SCORE 6919.403
AT ITER 4635 NEW BEST:: SOT 15101 SOS 8400 HAS SOPS 8400 HAS SOUS 6908 HAS SOUPS 6908 WITH SCORE 6916.4
AT ITER 4638 NEW BEST:: SOT 15099 SOS 8398 HAS SOPS 8398 HAS SOUS 6906 HAS SOUPS 6906 WITH SCORE 6914.398
AT ITER 4639 NEW BEST:: SOT 15071 SOS 8388 HAS SOPS 8388 HAS SOUS 6904 HAS SOUPS 6904 WITH SCORE 6912.388
AT ITER 4686 NEW BEST:: SOT 15071 SOS 8388 HAS SOPS 8388 HAS SOUS 6901 HAS SOUPS 6901 WITH SCORE 6909.388
AT ITER 4749 NEW BEST:: SOT 15062 SOS 8379 HAS SOPS 8379 HAS SOUS 6892 HAS SOUPS 6892 WITH SCORE 6900.379
AT ITER 4761 NEW BEST:: SOT 15061 SOS 8379 HAS SOPS 8379 HAS SOUS 6890 HAS SOUPS 6890 WITH SCORE 6898.379
AT ITER 4769 NEW BEST:: SOT 15061 SOS 8379 HAS SOPS 8379 HAS SOUS 6888 HAS SOUPS 6888 WITH SCORE 6896.379
AT ITER 4773 NEW BEST:: SOT 15061 SOS 8373 HAS SOPS 8373 HAS SOUS 6888 HAS SOUPS 6888 WITH SCORE 6896.373
AT ITER 4781 NEW BEST:: SOT 15051 SOS 8414 HAS SOPS 8414 HAS SOUS 6887 HAS SOUPS 6887 WITH SCORE 6895.414
AT ITER 4832 NEW BEST:: SOT 15050 SOS 8413 HAS SOPS 8413 HAS SOUS 6886 HAS SOUPS 6886 WITH SCORE 6894.413
AT ITER 4857 NEW BEST:: SOT 15048 SOS 8411 HAS SOPS 8411 HAS SOUS 6884 HAS SOUPS 6884 WITH SCORE 6892.411
AT ITER 4879 NEW BEST:: SOT 15044 SOS 8414 HAS SOPS 8414 HAS SOUS 6881 HAS SOUPS 6881 WITH SCORE 6889.414
AT ITER 4907 NEW BEST:: SOT 15040 SOS 8410 HAS SOPS 8410 HAS SOUS 6877 HAS SOUPS 6877 WITH SCORE 6885.41
AT ITER 4927 NEW BEST:: SOT 15037 SOS 8386 HAS SOPS 8386 HAS SOUS 6874 HAS SOUPS 6874 WITH SCORE 6882.386
AT ITER 4972 NEW BEST:: SOT 15036 SOS 8388 HAS SOPS 8388 HAS SOUS 6873 HAS SOUPS 6873 WITH SCORE 6881.388
AT ITER 4980 NEW BEST:: SOT 15035 SOS 8387 HAS SOPS 8387 HAS SOUS 6872 HAS SOUPS 6872 WITH SCORE 6880.387
AT ITER 5005 NEW BEST:: SOT 15035 SOS 8375 HAS SOPS 8375 HAS SOUS 6869 HAS SOUPS 6869 WITH SCORE 6877.375
AT ITER 5132 NEW BEST:: SOT 15019 SOS 8379 HAS SOPS 8379 HAS SOUS 6863 HAS SOUPS 6863 WITH SCORE 6871.379
AT ITER 5245 NEW BEST:: SOT 15037 SOS 8326 HAS SOPS 8326 HAS SOUS 6860 HAS SOUPS 6860 WITH SCORE 6868.326
AT ITER 5258 NEW BEST:: SOT 15037 SOS 8316 HAS SOPS 8316 HAS SOUS 6860 HAS SOUPS 6860 WITH SCORE 6868.316
AT ITER 5387 NEW BEST:: SOT 15018 SOS 8311 HAS SOPS 8311 HAS SOUS 6841 HAS SOUPS 6841 WITH SCORE 6849.311
AT ITER 5397 NEW BEST:: SOT 15000 SOS 8338 HAS SOPS 8338 HAS SOUS 6832 HAS SOUPS 6832 WITH SCORE 6840.338
AT ITER 5421 NEW BEST:: SOT 14995 SOS 8326 HAS SOPS 8326 HAS SOUS 6820 HAS SOUPS 6820 WITH SCORE 6828.326
AT ITER 5429 NEW BEST:: SOT 15003 SOS 8324 HAS SOPS 8324 HAS SOUS 6818 HAS SOUPS 6818 WITH SCORE 6826.324
AT ITER 5452 NEW BEST:: SOT 15002 SOS 8399 HAS SOPS 8399 HAS SOUS 6817 HAS SOUPS 6817 WITH SCORE 6825.399
AT ITER 5471 NEW BEST:: SOT 15001 SOS 8398 HAS SOPS 8398 HAS SOUS 6816 HAS SOUPS 6816 WITH SCORE 6824.398
AT ITER 5497 NEW BEST:: SOT 14993 SOS 8396 HAS SOPS 8396 HAS SOUS 6816 HAS SOUPS 6816 WITH SCORE 6824.396
AT ITER 5566 NEW BEST:: SOT 14991 SOS 8394 HAS SOPS 8394 HAS SOUS 6816 HAS SOUPS 6816 WITH SCORE 6824.394
AT ITER 5597 NEW BEST:: SOT 14987 SOS 8390 HAS SOPS 8390 HAS SOUS 6811 HAS SOUPS 6811 WITH SCORE 6819.39
AT ITER 5620 NEW BEST:: SOT 14985 SOS 8388 HAS SOPS 8388 HAS SOUS 6809 HAS SOUPS 6809 WITH SCORE 6817.388
AT ITER 5698 NEW BEST:: SOT 14981 SOS 8387 HAS SOPS 8387 HAS SOUS 6808 HAS SOUPS 6808 WITH SCORE 6816.387
AT ITER 5737 NEW BEST:: SOT 14981 SOS 8383 HAS SOPS 8383 HAS SOUS 6808 HAS SOUPS 6808 WITH SCORE 6816.383
AT ITER 5785 NEW BEST:: SOT 14980 SOS 8380 HAS SOPS 8380 HAS SOUS 6805 HAS SOUPS 6805 WITH SCORE 6813.38
AT ITER 5821 NEW BEST:: SOT 14970 SOS 8373 HAS SOPS 8373 HAS SOUS 6798 HAS SOUPS 6798 WITH SCORE 6806.373
AT ITER 5852 NEW BEST:: SOT 14976 SOS 8367 HAS SOPS 8367 HAS SOUS 6792 HAS SOUPS 6792 WITH SCORE 6800.367
AT ITER 5874 NEW BEST:: SOT 14976 SOS 8364 HAS SOPS 8364 HAS SOUS 6792 HAS SOUPS 6792 WITH SCORE 6800.364
AT ITER 5934 NEW BEST:: SOT 14973 SOS 8361 HAS SOPS 8361 HAS SOUS 6787 HAS SOUPS 6787 WITH SCORE 6795.361
AT ITER 5968 NEW BEST:: SOT 14978 SOS 8355 HAS SOPS 8355 HAS SOUS 6781 HAS SOUPS 6781 WITH SCORE 6789.355
AT ITER 6022 NEW BEST:: SOT 14978 SOS 8353 HAS SOPS 8353 HAS SOUS 6781 HAS SOUPS 6781 WITH SCORE 6789.353
AT ITER 6030 NEW BEST:: SOT 14978 SOS 8352 HAS SOPS 8352 HAS SOUS 6781 HAS SOUPS 6781 WITH SCORE 6789.352
AT ITER 6077 NEW BEST:: SOT 14969 SOS 8348 HAS SOPS 8348 HAS SOUS 6779 HAS SOUPS 6779 WITH SCORE 6787.348
AT ITER 6089 NEW BEST:: SOT 14965 SOS 8346 HAS SOPS 8346 HAS SOUS 6779 HAS SOUPS 6779 WITH SCORE 6787.346
AT ITER 6095 NEW BEST:: SOT 14964 SOS 8345 HAS SOPS 8345 HAS SOUS 6778 HAS SOUPS 6778 WITH SCORE 6786.345
AT ITER 6116 NEW BEST:: SOT 14931 SOS 8454 HAS SOPS 8454 HAS SOUS 6761 HAS SOUPS 6761 WITH SCORE 6769.454
AT ITER 6141 NEW BEST:: SOT 14927 SOS 8462 HAS SOPS 8462 HAS SOUS 6759 HAS SOUPS 6759 WITH SCORE 6767.462
AT ITER 6182 NEW BEST:: SOT 14929 SOS 8456 HAS SOPS 8456 HAS SOUS 6759 HAS SOUPS 6759 WITH SCORE 6767.456
AT ITER 6232 NEW BEST:: SOT 14921 SOS 8448 HAS SOPS 8448 HAS SOUS 6738 HAS SOUPS 6738 WITH SCORE 6746.448
AT ITER 6320 NEW BEST:: SOT 14920 SOS 8447 HAS SOPS 8447 HAS SOUS 6736 HAS SOUPS 6736 WITH SCORE 6744.447
AT ITER 6323 NEW BEST:: SOT 14920 SOS 8442 HAS SOPS 8442 HAS SOUS 6736 HAS SOUPS 6736 WITH SCORE 6744.442
AT ITER 6382 NEW BEST:: SOT 14920 SOS 8432 HAS SOPS 8432 HAS SOUS 6731 HAS SOUPS 6731 WITH SCORE 6739.432
AT ITER 6457 NEW BEST:: SOT 14917 SOS 8429 HAS SOPS 8429 HAS SOUS 6728 HAS SOUPS 6728 WITH SCORE 6736.429
AT ITER 6471 NEW BEST:: SOT 14922 SOS 8430 HAS SOPS 8430 HAS SOUS 6725 HAS SOUPS 6725 WITH SCORE 6733.43
AT ITER 6489 NEW BEST:: SOT 14919 SOS 8427 HAS SOPS 8427 HAS SOUS 6722 HAS SOUPS 6722 WITH SCORE 6730.427
AT ITER 6523 NEW BEST:: SOT 14919 SOS 8370 HAS SOPS 8370 HAS SOUS 6722 HAS SOUPS 6722 WITH SCORE 6730.37
AT ITER 6561 NEW BEST:: SOT 14919 SOS 8367 HAS SOPS 8367 HAS SOUS 6722 HAS SOUPS 6722 WITH SCORE 6730.367
AT ITER 6600 NEW BEST:: SOT 14914 SOS 8374 HAS SOPS 8374 HAS SOUS 6718 HAS SOUPS 6718 WITH SCORE 6726.374
AT ITER 6630 NEW BEST:: SOT 14913 SOS 8361 HAS SOPS 8361 HAS SOUS 6713 HAS SOUPS 6713 WITH SCORE 6721.361
AT ITER 6693 NEW BEST:: SOT 14904 SOS 8389 HAS SOPS 8389 HAS SOUS 6705 HAS SOUPS 6705 WITH SCORE 6713.389
AT ITER 6729 NEW BEST:: SOT 14901 SOS 8386 HAS SOPS 8386 HAS SOUS 6702 HAS SOUPS 6702 WITH SCORE 6710.386
AT ITER 6773 NEW BEST:: SOT 14899 SOS 8384 HAS SOPS 8384 HAS SOUS 6699 HAS SOUPS 6699 WITH SCORE 6707.384
AT ITER 6774 NEW BEST:: SOT 14899 SOS 8384 HAS SOPS 8384 HAS SOUS 6698 HAS SOUPS 6698 WITH SCORE 6706.384
AT ITER 6830 NEW BEST:: SOT 14895 SOS 8380 HAS SOPS 8380 HAS SOUS 6690 HAS SOUPS 6690 WITH SCORE 6698.38
AT ITER 6854 NEW BEST:: SOT 14894 SOS 8379 HAS SOPS 8379 HAS SOUS 6689 HAS SOUPS 6689 WITH SCORE 6697.379
AT ITER 6975 NEW BEST:: SOT 14894 SOS 8379 HAS SOPS 8379 HAS SOUS 6686 HAS SOUPS 6686 WITH SCORE 6694.379
AT ITER 7073 NEW BEST:: SOT 14894 SOS 8373 HAS SOPS 8373 HAS SOUS 6683 HAS SOUPS 6683 WITH SCORE 6691.373
AT ITER 7193 NEW BEST:: SOT 14894 SOS 8364 HAS SOPS 8364 HAS SOUS 6683 HAS SOUPS 6683 WITH SCORE 6691.364
AT ITER 7203 NEW BEST:: SOT 14894 SOS 8364 HAS SOPS 8364 HAS SOUS 6682 HAS SOUPS 6682 WITH SCORE 6690.364
AT ITER 7224 NEW BEST:: SOT 14894 SOS 8368 HAS SOPS 8368 HAS SOUS 6679 HAS SOUPS 6679 WITH SCORE 6687.368
AT ITER 7308 NEW BEST:: SOT 14893 SOS 8367 HAS SOPS 8367 HAS SOUS 6679 HAS SOUPS 6679 WITH SCORE 6687.367
AT ITER 7363 NEW BEST:: SOT 14893 SOS 8355 HAS SOPS 8355 HAS SOUS 6679 HAS SOUPS 6679 WITH SCORE 6687.355
AT ITER 7492 NEW BEST:: SOT 14875 SOS 8337 HAS SOPS 8337 HAS SOUS 6661 HAS SOUPS 6661 WITH SCORE 6669.337
AT ITER 7500 NEW BEST:: SOT 14867 SOS 8339 HAS SOPS 8339 HAS SOUS 6659 HAS SOUPS 6659 WITH SCORE 6667.339
AT ITER 7587 NEW BEST:: SOT 14859 SOS 8343 HAS SOPS 8343 HAS SOUS 6657 HAS SOUPS 6657 WITH SCORE 6665.343
AT ITER 7589 NEW BEST:: SOT 14859 SOS 8322 HAS SOPS 8322 HAS SOUS 6657 HAS SOUPS 6657 WITH SCORE 6665.322
AT ITER 7614 NEW BEST:: SOT 14859 SOS 8319 HAS SOPS 8319 HAS SOUS 6652 HAS SOUPS 6652 WITH SCORE 6660.319
AT ITER 7626 NEW BEST:: SOT 14861 SOS 8317 HAS SOPS 8317 HAS SOUS 6647 HAS SOUPS 6647 WITH SCORE 6655.317
AT ITER 7687 NEW BEST:: SOT 14861 SOS 8317 HAS SOPS 8317 HAS SOUS 6642 HAS SOUPS 6642 WITH SCORE 6650.317
AT ITER 7731 NEW BEST:: SOT 14861 SOS 8314 HAS SOPS 8314 HAS SOUS 6642 HAS SOUPS 6642 WITH SCORE 6650.314
AT ITER 7735 NEW BEST:: SOT 14861 SOS 8307 HAS SOPS 8307 HAS SOUS 6642 HAS SOUPS 6642 WITH SCORE 6650.307
AT ITER 7796 NEW BEST:: SOT 14860 SOS 8306 HAS SOPS 8306 HAS SOUS 6641 HAS SOUPS 6641 WITH SCORE 6649.306
AT ITER 7807 NEW BEST:: SOT 14848 SOS 8289 HAS SOPS 8289 HAS SOUS 6631 HAS SOUPS 6631 WITH SCORE 6639.289
AT ITER 7832 NEW BEST:: SOT 14841 SOS 8287 HAS SOPS 8287 HAS SOUS 6629 HAS SOUPS 6629 WITH SCORE 6637.287
AT ITER 7905 NEW BEST:: SOT 14844 SOS 8285 HAS SOPS 8285 HAS SOUS 6627 HAS SOUPS 6627 WITH SCORE 6635.285
AT ITER 7925 NEW BEST:: SOT 14844 SOS 8282 HAS SOPS 8282 HAS SOUS 6624 HAS SOUPS 6624 WITH SCORE 6632.282
AT ITER 7947 NEW BEST:: SOT 14842 SOS 8281 HAS SOPS 8281 HAS SOUS 6622 HAS SOUPS 6622 WITH SCORE 6630.281
AT ITER 8020 NEW BEST:: SOT 14839 SOS 8281 HAS SOPS 8281 HAS SOUS 6621 HAS SOUPS 6621 WITH SCORE 6629.281
AT ITER 8039 NEW BEST:: SOT 14837 SOS 8279 HAS SOPS 8279 HAS SOUS 6619 HAS SOUPS 6619 WITH SCORE 6627.279
AT ITER 8123 NEW BEST:: SOT 14837 SOS 8267 HAS SOPS 8267 HAS SOUS 6619 HAS SOUPS 6619 WITH SCORE 6627.267
AT ITER 8182 NEW BEST:: SOT 14834 SOS 8264 HAS SOPS 8264 HAS SOUS 6616 HAS SOUPS 6616 WITH SCORE 6624.264
AT ITER 8198 NEW BEST:: SOT 14824 SOS 8250 HAS SOPS 8250 HAS SOUS 6600 HAS SOUPS 6600 WITH SCORE 6608.25
AT ITER 8202 NEW BEST:: SOT 14812 SOS 8245 HAS SOPS 8245 HAS SOUS 6592 HAS SOUPS 6592 WITH SCORE 6600.245
AT ITER 8301 NEW BEST:: SOT 14808 SOS 8243 HAS SOPS 8243 HAS SOUS 6590 HAS SOUPS 6590 WITH SCORE 6598.243
AT ITER 8340 NEW BEST:: SOT 14792 SOS 8220 HAS SOPS 8220 HAS SOUS 6589 HAS SOUPS 6589 WITH SCORE 6597.22
AT ITER 8559 NEW BEST:: SOT 14792 SOS 8220 HAS SOPS 8220 HAS SOUS 6588 HAS SOUPS 6588 WITH SCORE 6596.22
AT ITER 8568 NEW BEST:: SOT 14791 SOS 8219 HAS SOPS 8219 HAS SOUS 6587 HAS SOUPS 6587 WITH SCORE 6595.219
AT ITER 8601 NEW BEST:: SOT 14790 SOS 8218 HAS SOPS 8218 HAS SOUS 6586 HAS SOUPS 6586 WITH SCORE 6594.218
AT ITER 8693 NEW BEST:: SOT 14787 SOS 8224 HAS SOPS 8224 HAS SOUS 6583 HAS SOUPS 6583 WITH SCORE 6591.224
AT ITER 8703 NEW BEST:: SOT 14787 SOS 8223 HAS SOPS 8223 HAS SOUS 6583 HAS SOUPS 6583 WITH SCORE 6591.223
AT ITER 8706 NEW BEST:: SOT 14787 SOS 8216 HAS SOPS 8216 HAS SOUS 6583 HAS SOUPS 6583 WITH SCORE 6591.216
AT ITER 8712 NEW BEST:: SOT 14785 SOS 8214 HAS SOPS 8214 HAS SOUS 6581 HAS SOUPS 6581 WITH SCORE 6589.214
AT ITER 8736 NEW BEST:: SOT 14785 SOS 8209 HAS SOPS 8209 HAS SOUS 6581 HAS SOUPS 6581 WITH SCORE 6589.209
AT ITER 8796 NEW BEST:: SOT 14784 SOS 8208 HAS SOPS 8208 HAS SOUS 6580 HAS SOUPS 6580 WITH SCORE 6588.208
AT ITER 8844 NEW BEST:: SOT 14779 SOS 8203 HAS SOPS 8203 HAS SOUS 6575 HAS SOUPS 6575 WITH SCORE 6583.203
AT ITER 8864 NEW BEST:: SOT 14775 SOS 8214 HAS SOPS 8214 HAS SOUS 6572 HAS SOUPS 6572 WITH SCORE 6580.214
AT ITER 8905 NEW BEST:: SOT 14773 SOS 8221 HAS SOPS 8221 HAS SOUS 6570 HAS SOUPS 6570 WITH SCORE 6578.221
AT ITER 8907 NEW BEST:: SOT 14778 SOS 8226 HAS SOPS 8226 HAS SOUS 6568 HAS SOUPS 6568 WITH SCORE 6576.226
AT ITER 9010 NEW BEST:: SOT 14778 SOS 8223 HAS SOPS 8223 HAS SOUS 6567 HAS SOUPS 6567 WITH SCORE 6575.223
AT ITER 9163 NEW BEST:: SOT 14776 SOS 8221 HAS SOPS 8221 HAS SOUS 6565 HAS SOUPS 6565 WITH SCORE 6573.221
AT ITER 9187 NEW BEST:: SOT 14772 SOS 8217 HAS SOPS 8217 HAS SOUS 6561 HAS SOUPS 6561 WITH SCORE 6569.217
AT ITER 9283 NEW BEST:: SOT 14770 SOS 8215 HAS SOPS 8215 HAS SOUS 6559 HAS SOUPS 6559 WITH SCORE 6567.215
AT ITER 9326 NEW BEST:: SOT 14763 SOS 8222 HAS SOPS 8222 HAS SOUS 6554 HAS SOUPS 6554 WITH SCORE 6562.222
AT ITER 9331 NEW BEST:: SOT 14759 SOS 8221 HAS SOPS 8221 HAS SOUS 6554 HAS SOUPS 6554 WITH SCORE 6562.221
AT ITER 9344 NEW BEST:: SOT 14758 SOS 8220 HAS SOPS 8220 HAS SOUS 6553 HAS SOUPS 6553 WITH SCORE 6561.22
AT ITER 9526 NEW BEST:: SOT 14758 SOS 8220 HAS SOPS 8220 HAS SOUS 6551 HAS SOUPS 6551 WITH SCORE 6559.22
AT ITER 9617 NEW BEST:: SOT 14781 SOS 8137 HAS SOPS 8137 HAS SOUS 6551 HAS SOUPS 6551 WITH SCORE 6559.137
AT ITER 9627 NEW BEST:: SOT 14777 SOS 8144 HAS SOPS 8144 HAS SOUS 6547 HAS SOUPS 6547 WITH SCORE 6555.144
AT ITER 9668 NEW BEST:: SOT 14774 SOS 8141 HAS SOPS 8141 HAS SOUS 6541 HAS SOUPS 6541 WITH SCORE 6549.141
AT ITER 9799 NEW BEST:: SOT 14774 SOS 8125 HAS SOPS 8125 HAS SOUS 6541 HAS SOUPS 6541 WITH SCORE 6549.125
AT ITER 9811 NEW BEST:: SOT 14772 SOS 8123 HAS SOPS 8123 HAS SOUS 6539 HAS SOUPS 6539 WITH SCORE 6547.123
AT ITER 9898 NEW BEST:: SOT 14770 SOS 8121 HAS SOPS 8121 HAS SOUS 6537 HAS SOUPS 6537 WITH SCORE 6545.121
AT ITER 9921 NEW BEST:: SOT 14770 SOS 8120 HAS SOPS 8120 HAS SOUS 6537 HAS SOUPS 6537 WITH SCORE 6545.12
AT ITER 9925 NEW BEST:: SOT 14790 SOS 8129 HAS SOPS 8129 HAS SOUS 6536 HAS SOUPS 6536 WITH SCORE 6544.129
AT ITER 9960 NEW BEST:: SOT 14790 SOS 8129 HAS SOPS 8129 HAS SOUS 6535 HAS SOUPS 6535 WITH SCORE 6543.129

BK_STOP 1679213593570

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

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is Sudoku-COL-AN05, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r491-tall-167912709900040"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Sudoku-COL-AN05.tgz
mv Sudoku-COL-AN05 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 ;