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-167912710200208.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-PT-AN06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912710200208
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 6.5M
-rw-r--r-- 1 mcc users 106K Feb 26 09:25 CTLCardinality.txt
-rw-r--r-- 1 mcc users 549K Feb 26 09:25 CTLCardinality.xml
-rw-r--r-- 1 mcc users 266K Feb 26 09:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 1.3M Feb 26 09:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 40K Feb 25 17:16 LTLCardinality.txt
-rw-r--r-- 1 mcc users 144K Feb 25 17:16 LTLCardinality.xml
-rw-r--r-- 1 mcc users 101K Feb 25 17:16 LTLFireability.txt
-rw-r--r-- 1 mcc users 367K Feb 25 17:16 LTLFireability.xml
-rw-r--r-- 1 mcc users 351K Feb 26 09:33 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 1.8M Feb 26 09:33 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 221K Feb 26 09:26 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 1.1M Feb 26 09:26 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 25 17:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 38K Feb 25 17:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 132K 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 1679224434361

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-PT-AN06
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-19 11:13:56] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-19 11:13:56] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-19 11:13:56] [INFO ] Load time of PNML (sax parser for PT used): 65 ms
[2023-03-19 11:13:56] [INFO ] Transformed 324 places.
[2023-03-19 11:13:56] [INFO ] Transformed 216 transitions.
[2023-03-19 11:13:56] [INFO ] Parsed PT model containing 324 places and 216 transitions and 864 arcs in 134 ms.
[2023-03-19 11:13:56] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 324 places, 216 transitions and 864 arcs took 6 ms.
Total runtime 175 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Sudoku (PT), instance AN06
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: 324 places, 216 transitions, 864 arcs.
AT ITER 0 NEW BEST:: SOT 50364 SOS 25881 HAS SOPS 25881 HAS SOUS 25881 HAS SOUPS 25881 WITH SCORE 25906.881
AT ITER 9 NEW BEST:: SOT 50375 SOS 25893 HAS SOPS 25893 HAS SOUS 25854 HAS SOUPS 25854 WITH SCORE 25879.893
AT ITER 12 NEW BEST:: SOT 50366 SOS 25884 HAS SOPS 25884 HAS SOUS 25845 HAS SOUPS 25845 WITH SCORE 25870.884
AT ITER 13 NEW BEST:: SOT 50261 SOS 25864 HAS SOPS 25864 HAS SOUS 25740 HAS SOUPS 25740 WITH SCORE 25765.864
AT ITER 19 NEW BEST:: SOT 50255 SOS 25858 HAS SOPS 25858 HAS SOUS 25734 HAS SOUPS 25734 WITH SCORE 25759.858
AT ITER 29 NEW BEST:: SOT 50307 SOS 25785 HAS SOPS 25785 HAS SOUS 25667 HAS SOUPS 25667 WITH SCORE 25692.785
AT ITER 44 NEW BEST:: SOT 50345 SOS 25799 HAS SOPS 25799 HAS SOUS 25660 HAS SOUPS 25660 WITH SCORE 25685.799
AT ITER 46 NEW BEST:: SOT 50370 SOS 25806 HAS SOPS 25806 HAS SOUS 25634 HAS SOUPS 25634 WITH SCORE 25659.806
AT ITER 49 NEW BEST:: SOT 50388 SOS 25821 HAS SOPS 25821 HAS SOUS 25622 HAS SOUPS 25622 WITH SCORE 25647.821
AT ITER 50 NEW BEST:: SOT 50388 SOS 25791 HAS SOPS 25791 HAS SOUS 25590 HAS SOUPS 25590 WITH SCORE 25615.791
AT ITER 54 NEW BEST:: SOT 50318 SOS 26032 HAS SOPS 26032 HAS SOUS 25520 HAS SOUPS 25520 WITH SCORE 25546.032
AT ITER 55 NEW BEST:: SOT 50224 SOS 26271 HAS SOPS 26271 HAS SOUS 25459 HAS SOUPS 25459 WITH SCORE 25485.271
AT ITER 56 NEW BEST:: SOT 50195 SOS 26242 HAS SOPS 26242 HAS SOUS 25430 HAS SOUPS 25430 WITH SCORE 25456.242
AT ITER 57 NEW BEST:: SOT 50160 SOS 26207 HAS SOPS 26207 HAS SOUS 25395 HAS SOUPS 25395 WITH SCORE 25421.207
AT ITER 64 NEW BEST:: SOT 50126 SOS 26215 HAS SOPS 26215 HAS SOUS 25377 HAS SOUPS 25377 WITH SCORE 25403.215
AT ITER 66 NEW BEST:: SOT 50051 SOS 26186 HAS SOPS 26186 HAS SOUS 25348 HAS SOUPS 25348 WITH SCORE 25374.186
AT ITER 73 NEW BEST:: SOT 50023 SOS 26186 HAS SOPS 26186 HAS SOUS 25320 HAS SOUPS 25320 WITH SCORE 25346.186
AT ITER 75 NEW BEST:: SOT 49940 SOS 26198 HAS SOPS 26198 HAS SOUS 25256 HAS SOUPS 25256 WITH SCORE 25282.198
AT ITER 79 NEW BEST:: SOT 49912 SOS 26160 HAS SOPS 26160 HAS SOUS 25218 HAS SOUPS 25218 WITH SCORE 25244.16
AT ITER 82 NEW BEST:: SOT 49850 SOS 26457 HAS SOPS 26457 HAS SOUS 25203 HAS SOUPS 25203 WITH SCORE 25229.457
AT ITER 84 NEW BEST:: SOT 49850 SOS 26457 HAS SOPS 26457 HAS SOUS 25191 HAS SOUPS 25191 WITH SCORE 25217.457
AT ITER 86 NEW BEST:: SOT 49846 SOS 26453 HAS SOPS 26453 HAS SOUS 25187 HAS SOUPS 25187 WITH SCORE 25213.453
AT ITER 87 NEW BEST:: SOT 49725 SOS 26394 HAS SOPS 26394 HAS SOUS 25083 HAS SOUPS 25083 WITH SCORE 25109.394
AT ITER 93 NEW BEST:: SOT 49704 SOS 26425 HAS SOPS 26425 HAS SOUS 25062 HAS SOUPS 25062 WITH SCORE 25088.425
AT ITER 104 NEW BEST:: SOT 49636 SOS 26395 HAS SOPS 26395 HAS SOUS 24999 HAS SOUPS 24999 WITH SCORE 25025.395
AT ITER 105 NEW BEST:: SOT 49572 SOS 26682 HAS SOPS 26682 HAS SOUS 24990 HAS SOUPS 24990 WITH SCORE 25016.682
AT ITER 106 NEW BEST:: SOT 49488 SOS 26681 HAS SOPS 26681 HAS SOUS 24958 HAS SOUPS 24958 WITH SCORE 24984.681
AT ITER 115 NEW BEST:: SOT 49468 SOS 26666 HAS SOPS 26666 HAS SOUS 24943 HAS SOUPS 24943 WITH SCORE 24969.666
AT ITER 122 NEW BEST:: SOT 49468 SOS 26650 HAS SOPS 26650 HAS SOUS 24927 HAS SOUPS 24927 WITH SCORE 24953.65
AT ITER 127 NEW BEST:: SOT 49468 SOS 26648 HAS SOPS 26648 HAS SOUS 24927 HAS SOUPS 24927 WITH SCORE 24953.648
AT ITER 129 NEW BEST:: SOT 49403 SOS 26633 HAS SOPS 26633 HAS SOUS 24912 HAS SOUPS 24912 WITH SCORE 24938.633
AT ITER 141 NEW BEST:: SOT 49403 SOS 26605 HAS SOPS 26605 HAS SOUS 24912 HAS SOUPS 24912 WITH SCORE 24938.605
AT ITER 145 NEW BEST:: SOT 49334 SOS 26613 HAS SOPS 26613 HAS SOUS 24871 HAS SOUPS 24871 WITH SCORE 24897.613
AT ITER 153 NEW BEST:: SOT 49334 SOS 26361 HAS SOPS 26361 HAS SOUS 24862 HAS SOUPS 24862 WITH SCORE 24888.361
AT ITER 168 NEW BEST:: SOT 49332 SOS 26359 HAS SOPS 26359 HAS SOUS 24860 HAS SOUPS 24860 WITH SCORE 24886.359
AT ITER 173 NEW BEST:: SOT 49305 SOS 26275 HAS SOPS 26275 HAS SOUS 24803 HAS SOUPS 24803 WITH SCORE 24829.275
AT ITER 175 NEW BEST:: SOT 49305 SOS 26010 HAS SOPS 26010 HAS SOUS 24803 HAS SOUPS 24803 WITH SCORE 24829.01
AT ITER 191 NEW BEST:: SOT 49283 SOS 26047 HAS SOPS 26047 HAS SOUS 24760 HAS SOUPS 24760 WITH SCORE 24786.047
AT ITER 194 NEW BEST:: SOT 49182 SOS 25997 HAS SOPS 25997 HAS SOUS 24680 HAS SOUPS 24680 WITH SCORE 24705.997
AT ITER 207 NEW BEST:: SOT 49070 SOS 26090 HAS SOPS 26090 HAS SOUS 24660 HAS SOUPS 24660 WITH SCORE 24686.09
AT ITER 214 NEW BEST:: SOT 49062 SOS 26078 HAS SOPS 26078 HAS SOUS 24648 HAS SOUPS 24648 WITH SCORE 24674.078
AT ITER 215 NEW BEST:: SOT 49062 SOS 26027 HAS SOPS 26027 HAS SOUS 24640 HAS SOUPS 24640 WITH SCORE 24666.027
AT ITER 226 NEW BEST:: SOT 48942 SOS 25935 HAS SOPS 25935 HAS SOUS 24520 HAS SOUPS 24520 WITH SCORE 24545.935
AT ITER 237 NEW BEST:: SOT 48942 SOS 25725 HAS SOPS 25725 HAS SOUS 24520 HAS SOUPS 24520 WITH SCORE 24545.725
AT ITER 239 NEW BEST:: SOT 48924 SOS 25843 HAS SOPS 25843 HAS SOUS 24518 HAS SOUPS 24518 WITH SCORE 24543.843
AT ITER 270 NEW BEST:: SOT 48924 SOS 25827 HAS SOPS 25827 HAS SOUS 24511 HAS SOUPS 24511 WITH SCORE 24536.827
AT ITER 272 NEW BEST:: SOT 48812 SOS 25855 HAS SOPS 25855 HAS SOUS 24413 HAS SOUPS 24413 WITH SCORE 24438.855
AT ITER 284 NEW BEST:: SOT 48812 SOS 25836 HAS SOPS 25836 HAS SOUS 24413 HAS SOUPS 24413 WITH SCORE 24438.836
AT ITER 294 NEW BEST:: SOT 48812 SOS 25836 HAS SOPS 25836 HAS SOUS 24412 HAS SOUPS 24412 WITH SCORE 24437.836
AT ITER 303 NEW BEST:: SOT 48747 SOS 25796 HAS SOPS 25796 HAS SOUS 24347 HAS SOUPS 24347 WITH SCORE 24372.796
AT ITER 312 NEW BEST:: SOT 48654 SOS 25750 HAS SOPS 25750 HAS SOUS 24305 HAS SOUPS 24305 WITH SCORE 24330.75
AT ITER 325 NEW BEST:: SOT 48613 SOS 25680 HAS SOPS 25680 HAS SOUS 24198 HAS SOUPS 24198 WITH SCORE 24223.68
AT ITER 328 NEW BEST:: SOT 48588 SOS 25655 HAS SOPS 25655 HAS SOUS 24173 HAS SOUPS 24173 WITH SCORE 24198.655
AT ITER 339 NEW BEST:: SOT 48524 SOS 25620 HAS SOPS 25620 HAS SOUS 24138 HAS SOUPS 24138 WITH SCORE 24163.62
AT ITER 344 NEW BEST:: SOT 48497 SOS 25736 HAS SOPS 25736 HAS SOUS 24127 HAS SOUPS 24127 WITH SCORE 24152.736
AT ITER 363 NEW BEST:: SOT 48475 SOS 25732 HAS SOPS 25732 HAS SOUS 24123 HAS SOUPS 24123 WITH SCORE 24148.732
AT ITER 372 NEW BEST:: SOT 48421 SOS 25724 HAS SOPS 25724 HAS SOUS 24115 HAS SOUPS 24115 WITH SCORE 24140.724
AT ITER 375 NEW BEST:: SOT 48332 SOS 25701 HAS SOPS 25701 HAS SOUS 24026 HAS SOUPS 24026 WITH SCORE 24051.701
AT ITER 385 NEW BEST:: SOT 48312 SOS 25693 HAS SOPS 25693 HAS SOUS 24018 HAS SOUPS 24018 WITH SCORE 24043.693
AT ITER 389 NEW BEST:: SOT 48342 SOS 25719 HAS SOPS 25719 HAS SOUS 24003 HAS SOUPS 24003 WITH SCORE 24028.719
AT ITER 401 NEW BEST:: SOT 48342 SOS 25514 HAS SOPS 25514 HAS SOUS 24002 HAS SOUPS 24002 WITH SCORE 24027.514
AT ITER 421 NEW BEST:: SOT 48327 SOS 25499 HAS SOPS 25499 HAS SOUS 23982 HAS SOUPS 23982 WITH SCORE 24007.499
AT ITER 428 NEW BEST:: SOT 48327 SOS 25485 HAS SOPS 25485 HAS SOUS 23982 HAS SOUPS 23982 WITH SCORE 24007.485
AT ITER 444 NEW BEST:: SOT 48238 SOS 25425 HAS SOPS 25425 HAS SOUS 23922 HAS SOUPS 23922 WITH SCORE 23947.425
AT ITER 448 NEW BEST:: SOT 48236 SOS 25423 HAS SOPS 25423 HAS SOUS 23920 HAS SOUPS 23920 WITH SCORE 23945.423
AT ITER 451 NEW BEST:: SOT 48182 SOS 25394 HAS SOPS 25394 HAS SOUS 23866 HAS SOUPS 23866 WITH SCORE 23891.394
AT ITER 453 NEW BEST:: SOT 48117 SOS 25364 HAS SOPS 25364 HAS SOUS 23836 HAS SOUPS 23836 WITH SCORE 23861.364
AT ITER 455 NEW BEST:: SOT 48079 SOS 25334 HAS SOPS 25334 HAS SOUS 23806 HAS SOUPS 23806 WITH SCORE 23831.334
AT ITER 463 NEW BEST:: SOT 48047 SOS 25315 HAS SOPS 25315 HAS SOUS 23787 HAS SOUPS 23787 WITH SCORE 23812.315
AT ITER 466 NEW BEST:: SOT 47961 SOS 25289 HAS SOPS 25289 HAS SOUS 23733 HAS SOUPS 23733 WITH SCORE 23758.289
AT ITER 467 NEW BEST:: SOT 47950 SOS 25278 HAS SOPS 25278 HAS SOUS 23711 HAS SOUPS 23711 WITH SCORE 23736.278
AT ITER 478 NEW BEST:: SOT 47950 SOS 25252 HAS SOPS 25252 HAS SOUS 23711 HAS SOUPS 23711 WITH SCORE 23736.252
AT ITER 481 NEW BEST:: SOT 47950 SOS 25244 HAS SOPS 25244 HAS SOUS 23703 HAS SOUPS 23703 WITH SCORE 23728.244
AT ITER 487 NEW BEST:: SOT 47936 SOS 25234 HAS SOPS 25234 HAS SOUS 23688 HAS SOUPS 23688 WITH SCORE 23713.234
AT ITER 493 NEW BEST:: SOT 47936 SOS 25224 HAS SOPS 25224 HAS SOUS 23688 HAS SOUPS 23688 WITH SCORE 23713.224
AT ITER 495 NEW BEST:: SOT 47929 SOS 25224 HAS SOPS 25224 HAS SOUS 23681 HAS SOUPS 23681 WITH SCORE 23706.224
AT ITER 498 NEW BEST:: SOT 47926 SOS 25195 HAS SOPS 25195 HAS SOUS 23652 HAS SOUPS 23652 WITH SCORE 23677.195
AT ITER 513 NEW BEST:: SOT 47910 SOS 25179 HAS SOPS 25179 HAS SOUS 23636 HAS SOUPS 23636 WITH SCORE 23661.179
AT ITER 515 NEW BEST:: SOT 47910 SOS 25172 HAS SOPS 25172 HAS SOUS 23636 HAS SOUPS 23636 WITH SCORE 23661.172
AT ITER 520 NEW BEST:: SOT 47868 SOS 25132 HAS SOPS 25132 HAS SOUS 23614 HAS SOUPS 23614 WITH SCORE 23639.132
AT ITER 522 NEW BEST:: SOT 47819 SOS 25102 HAS SOPS 25102 HAS SOUS 23584 HAS SOUPS 23584 WITH SCORE 23609.102
AT ITER 527 NEW BEST:: SOT 47861 SOS 25087 HAS SOPS 25087 HAS SOUS 23555 HAS SOUPS 23555 WITH SCORE 23580.087
AT ITER 534 NEW BEST:: SOT 47853 SOS 25376 HAS SOPS 25376 HAS SOUS 23547 HAS SOUPS 23547 WITH SCORE 23572.376
AT ITER 539 NEW BEST:: SOT 47852 SOS 25375 HAS SOPS 25375 HAS SOUS 23546 HAS SOUPS 23546 WITH SCORE 23571.375
AT ITER 561 NEW BEST:: SOT 47843 SOS 25374 HAS SOPS 25374 HAS SOUS 23537 HAS SOUPS 23537 WITH SCORE 23562.374
AT ITER 562 NEW BEST:: SOT 47811 SOS 25335 HAS SOPS 25335 HAS SOUS 23484 HAS SOUPS 23484 WITH SCORE 23509.335
AT ITER 575 NEW BEST:: SOT 47805 SOS 25268 HAS SOPS 25268 HAS SOUS 23439 HAS SOUPS 23439 WITH SCORE 23464.268
AT ITER 594 NEW BEST:: SOT 47801 SOS 25264 HAS SOPS 25264 HAS SOUS 23433 HAS SOUPS 23433 WITH SCORE 23458.264
AT ITER 597 NEW BEST:: SOT 47797 SOS 25260 HAS SOPS 25260 HAS SOUS 23429 HAS SOUPS 23429 WITH SCORE 23454.26
AT ITER 611 NEW BEST:: SOT 47797 SOS 25252 HAS SOPS 25252 HAS SOUS 23421 HAS SOUPS 23421 WITH SCORE 23446.252
AT ITER 614 NEW BEST:: SOT 47797 SOS 25194 HAS SOPS 25194 HAS SOUS 23421 HAS SOUPS 23421 WITH SCORE 23446.194
AT ITER 620 NEW BEST:: SOT 47712 SOS 25201 HAS SOPS 25201 HAS SOUS 23408 HAS SOUPS 23408 WITH SCORE 23433.201
AT ITER 653 NEW BEST:: SOT 47712 SOS 25193 HAS SOPS 25193 HAS SOUS 23408 HAS SOUPS 23408 WITH SCORE 23433.193
AT ITER 654 NEW BEST:: SOT 47615 SOS 25328 HAS SOPS 25328 HAS SOUS 23342 HAS SOUPS 23342 WITH SCORE 23367.328
AT ITER 658 NEW BEST:: SOT 47596 SOS 25221 HAS SOPS 25221 HAS SOUS 23336 HAS SOUPS 23336 WITH SCORE 23361.221
AT ITER 675 NEW BEST:: SOT 47590 SOS 25215 HAS SOPS 25215 HAS SOUS 23330 HAS SOUPS 23330 WITH SCORE 23355.215
AT ITER 676 NEW BEST:: SOT 47560 SOS 25185 HAS SOPS 25185 HAS SOUS 23300 HAS SOUPS 23300 WITH SCORE 23325.185
AT ITER 678 NEW BEST:: SOT 47553 SOS 25178 HAS SOPS 25178 HAS SOUS 23281 HAS SOUPS 23281 WITH SCORE 23306.178
AT ITER 687 NEW BEST:: SOT 47476 SOS 25306 HAS SOPS 25306 HAS SOUS 23211 HAS SOUPS 23211 WITH SCORE 23236.306
AT ITER 700 NEW BEST:: SOT 47476 SOS 25302 HAS SOPS 25302 HAS SOUS 23207 HAS SOUPS 23207 WITH SCORE 23232.302
AT ITER 709 NEW BEST:: SOT 47457 SOS 25478 HAS SOPS 25478 HAS SOUS 23189 HAS SOUPS 23189 WITH SCORE 23214.478
AT ITER 719 NEW BEST:: SOT 47457 SOS 25465 HAS SOPS 25465 HAS SOUS 23189 HAS SOUPS 23189 WITH SCORE 23214.465
AT ITER 725 NEW BEST:: SOT 47457 SOS 25396 HAS SOPS 25396 HAS SOUS 23189 HAS SOUPS 23189 WITH SCORE 23214.396
AT ITER 733 NEW BEST:: SOT 47457 SOS 25365 HAS SOPS 25365 HAS SOUS 23134 HAS SOUPS 23134 WITH SCORE 23159.365
AT ITER 744 NEW BEST:: SOT 47427 SOS 25364 HAS SOPS 25364 HAS SOUS 23133 HAS SOUPS 23133 WITH SCORE 23158.364
AT ITER 748 NEW BEST:: SOT 47258 SOS 25430 HAS SOPS 25430 HAS SOUS 23107 HAS SOUPS 23107 WITH SCORE 23132.43
AT ITER 750 NEW BEST:: SOT 47210 SOS 25429 HAS SOPS 25429 HAS SOUS 23106 HAS SOUPS 23106 WITH SCORE 23131.429
AT ITER 765 NEW BEST:: SOT 47207 SOS 25426 HAS SOPS 25426 HAS SOUS 23103 HAS SOUPS 23103 WITH SCORE 23128.426
AT ITER 784 NEW BEST:: SOT 47069 SOS 25360 HAS SOPS 25360 HAS SOUS 23037 HAS SOUPS 23037 WITH SCORE 23062.36
AT ITER 798 NEW BEST:: SOT 47064 SOS 25355 HAS SOPS 25355 HAS SOUS 23036 HAS SOUPS 23036 WITH SCORE 23061.355
AT ITER 799 NEW BEST:: SOT 47064 SOS 25346 HAS SOPS 25346 HAS SOUS 23036 HAS SOUPS 23036 WITH SCORE 23061.346
AT ITER 807 NEW BEST:: SOT 47064 SOS 25345 HAS SOPS 25345 HAS SOUS 23016 HAS SOUPS 23016 WITH SCORE 23041.345
AT ITER 824 NEW BEST:: SOT 47111 SOS 25336 HAS SOPS 25336 HAS SOUS 23007 HAS SOUPS 23007 WITH SCORE 23032.336
AT ITER 825 NEW BEST:: SOT 47111 SOS 25321 HAS SOPS 25321 HAS SOUS 23007 HAS SOUPS 23007 WITH SCORE 23032.321
AT ITER 826 NEW BEST:: SOT 47111 SOS 25289 HAS SOPS 25289 HAS SOUS 23007 HAS SOUPS 23007 WITH SCORE 23032.289
AT ITER 841 NEW BEST:: SOT 47111 SOS 25276 HAS SOPS 25276 HAS SOUS 23007 HAS SOUPS 23007 WITH SCORE 23032.276
AT ITER 846 NEW BEST:: SOT 47050 SOS 25297 HAS SOPS 25297 HAS SOUS 22968 HAS SOUPS 22968 WITH SCORE 22993.297
AT ITER 854 NEW BEST:: SOT 47005 SOS 25216 HAS SOPS 25216 HAS SOUS 22917 HAS SOUPS 22917 WITH SCORE 22942.216
AT ITER 870 NEW BEST:: SOT 46901 SOS 25305 HAS SOPS 25305 HAS SOUS 22813 HAS SOUPS 22813 WITH SCORE 22838.305
AT ITER 871 NEW BEST:: SOT 46901 SOS 25284 HAS SOPS 25284 HAS SOUS 22813 HAS SOUPS 22813 WITH SCORE 22838.284
AT ITER 873 NEW BEST:: SOT 46827 SOS 25290 HAS SOPS 25290 HAS SOUS 22754 HAS SOUPS 22754 WITH SCORE 22779.29
AT ITER 891 NEW BEST:: SOT 46774 SOS 25388 HAS SOPS 25388 HAS SOUS 22704 HAS SOUPS 22704 WITH SCORE 22729.388
AT ITER 908 NEW BEST:: SOT 46758 SOS 25382 HAS SOPS 25382 HAS SOUS 22687 HAS SOUPS 22687 WITH SCORE 22712.382
AT ITER 910 NEW BEST:: SOT 46766 SOS 25390 HAS SOPS 25390 HAS SOUS 22684 HAS SOUPS 22684 WITH SCORE 22709.39
AT ITER 913 NEW BEST:: SOT 46687 SOS 25422 HAS SOPS 25422 HAS SOUS 22676 HAS SOUPS 22676 WITH SCORE 22701.422
AT ITER 915 NEW BEST:: SOT 46650 SOS 25736 HAS SOPS 25736 HAS SOUS 22674 HAS SOUPS 22674 WITH SCORE 22699.736
AT ITER 924 NEW BEST:: SOT 46705 SOS 25797 HAS SOPS 25797 HAS SOUS 22647 HAS SOUPS 22647 WITH SCORE 22672.797
AT ITER 930 NEW BEST:: SOT 46495 SOS 25723 HAS SOPS 25723 HAS SOUS 22533 HAS SOUPS 22533 WITH SCORE 22558.723
AT ITER 945 NEW BEST:: SOT 46479 SOS 25707 HAS SOPS 25707 HAS SOUS 22517 HAS SOUPS 22517 WITH SCORE 22542.707
AT ITER 968 NEW BEST:: SOT 46479 SOS 25699 HAS SOPS 25699 HAS SOUS 22509 HAS SOUPS 22509 WITH SCORE 22534.699
AT ITER 971 NEW BEST:: SOT 46478 SOS 25698 HAS SOPS 25698 HAS SOUS 22508 HAS SOUPS 22508 WITH SCORE 22533.698
AT ITER 992 NEW BEST:: SOT 46478 SOS 25687 HAS SOPS 25687 HAS SOUS 22508 HAS SOUPS 22508 WITH SCORE 22533.687
AT ITER 993 NEW BEST:: SOT 46478 SOS 25648 HAS SOPS 25648 HAS SOUS 22501 HAS SOUPS 22501 WITH SCORE 22526.648
AT ITER 1018 NEW BEST:: SOT 46455 SOS 25721 HAS SOPS 25721 HAS SOUS 22478 HAS SOUPS 22478 WITH SCORE 22503.721
AT ITER 1020 NEW BEST:: SOT 46411 SOS 25678 HAS SOPS 25678 HAS SOUS 22435 HAS SOUPS 22435 WITH SCORE 22460.678
AT ITER 1022 NEW BEST:: SOT 46404 SOS 25660 HAS SOPS 25660 HAS SOUS 22434 HAS SOUPS 22434 WITH SCORE 22459.66
AT ITER 1030 NEW BEST:: SOT 46426 SOS 25644 HAS SOPS 25644 HAS SOUS 22418 HAS SOUPS 22418 WITH SCORE 22443.644
AT ITER 1040 NEW BEST:: SOT 46540 SOS 25678 HAS SOPS 25678 HAS SOUS 22417 HAS SOUPS 22417 WITH SCORE 22442.678
AT ITER 1041 NEW BEST:: SOT 46521 SOS 25659 HAS SOPS 25659 HAS SOUS 22398 HAS SOUPS 22398 WITH SCORE 22423.659
AT ITER 1046 NEW BEST:: SOT 46434 SOS 25609 HAS SOPS 25609 HAS SOUS 22348 HAS SOUPS 22348 WITH SCORE 22373.609
AT ITER 1059 NEW BEST:: SOT 46434 SOS 25614 HAS SOPS 25614 HAS SOUS 22346 HAS SOUPS 22346 WITH SCORE 22371.614
AT ITER 1131 NEW BEST:: SOT 46433 SOS 25613 HAS SOPS 25613 HAS SOUS 22345 HAS SOUPS 22345 WITH SCORE 22370.613
AT ITER 1148 NEW BEST:: SOT 46351 SOS 25566 HAS SOPS 25566 HAS SOUS 22298 HAS SOUPS 22298 WITH SCORE 22323.566
AT ITER 1159 NEW BEST:: SOT 46351 SOS 25565 HAS SOPS 25565 HAS SOUS 22297 HAS SOUPS 22297 WITH SCORE 22322.565
AT ITER 1160 NEW BEST:: SOT 46351 SOS 25594 HAS SOPS 25594 HAS SOUS 22280 HAS SOUPS 22280 WITH SCORE 22305.594
AT ITER 1163 NEW BEST:: SOT 46345 SOS 25591 HAS SOPS 25591 HAS SOUS 22277 HAS SOUPS 22277 WITH SCORE 22302.591
AT ITER 1171 NEW BEST:: SOT 46345 SOS 25586 HAS SOPS 25586 HAS SOUS 22271 HAS SOUPS 22271 WITH SCORE 22296.586
AT ITER 1175 NEW BEST:: SOT 46281 SOS 25550 HAS SOPS 25550 HAS SOUS 22253 HAS SOUPS 22253 WITH SCORE 22278.55
AT ITER 1176 NEW BEST:: SOT 46249 SOS 25534 HAS SOPS 25534 HAS SOUS 22247 HAS SOUPS 22247 WITH SCORE 22272.534
AT ITER 1183 NEW BEST:: SOT 46185 SOS 25540 HAS SOPS 25540 HAS SOUS 22232 HAS SOUPS 22232 WITH SCORE 22257.54
AT ITER 1196 NEW BEST:: SOT 46191 SOS 25546 HAS SOPS 25546 HAS SOUS 22227 HAS SOUPS 22227 WITH SCORE 22252.546
AT ITER 1198 NEW BEST:: SOT 46191 SOS 25543 HAS SOPS 25543 HAS SOUS 22227 HAS SOUPS 22227 WITH SCORE 22252.543
AT ITER 1199 NEW BEST:: SOT 46199 SOS 25551 HAS SOPS 25551 HAS SOUS 22219 HAS SOUPS 22219 WITH SCORE 22244.551
AT ITER 1217 NEW BEST:: SOT 46199 SOS 25556 HAS SOPS 25556 HAS SOUS 22183 HAS SOUPS 22183 WITH SCORE 22208.556
AT ITER 1225 NEW BEST:: SOT 46181 SOS 25503 HAS SOPS 25503 HAS SOUS 22165 HAS SOUPS 22165 WITH SCORE 22190.503
AT ITER 1229 NEW BEST:: SOT 46144 SOS 25480 HAS SOPS 25480 HAS SOUS 22142 HAS SOUPS 22142 WITH SCORE 22167.48
AT ITER 1231 NEW BEST:: SOT 46138 SOS 25474 HAS SOPS 25474 HAS SOUS 22136 HAS SOUPS 22136 WITH SCORE 22161.474
AT ITER 1239 NEW BEST:: SOT 46153 SOS 25437 HAS SOPS 25437 HAS SOUS 22120 HAS SOUPS 22120 WITH SCORE 22145.437
AT ITER 1252 NEW BEST:: SOT 46153 SOS 25433 HAS SOPS 25433 HAS SOUS 22120 HAS SOUPS 22120 WITH SCORE 22145.433
AT ITER 1254 NEW BEST:: SOT 46149 SOS 25408 HAS SOPS 25408 HAS SOUS 22093 HAS SOUPS 22093 WITH SCORE 22118.408
AT ITER 1262 NEW BEST:: SOT 46149 SOS 25404 HAS SOPS 25404 HAS SOUS 22093 HAS SOUPS 22093 WITH SCORE 22118.404
AT ITER 1271 NEW BEST:: SOT 46107 SOS 25407 HAS SOPS 25407 HAS SOUS 22083 HAS SOUPS 22083 WITH SCORE 22108.407
AT ITER 1272 NEW BEST:: SOT 46107 SOS 25407 HAS SOPS 25407 HAS SOUS 22080 HAS SOUPS 22080 WITH SCORE 22105.407
AT ITER 1279 NEW BEST:: SOT 46026 SOS 25407 HAS SOPS 25407 HAS SOUS 21999 HAS SOUPS 21999 WITH SCORE 22024.407
AT ITER 1280 NEW BEST:: SOT 45959 SOS 25374 HAS SOPS 25374 HAS SOUS 21966 HAS SOUPS 21966 WITH SCORE 21991.374
AT ITER 1290 NEW BEST:: SOT 45959 SOS 25353 HAS SOPS 25353 HAS SOUS 21966 HAS SOUPS 21966 WITH SCORE 21991.353
AT ITER 1307 NEW BEST:: SOT 45942 SOS 25339 HAS SOPS 25339 HAS SOUS 21952 HAS SOUPS 21952 WITH SCORE 21977.339
AT ITER 1320 NEW BEST:: SOT 45870 SOS 25524 HAS SOPS 25524 HAS SOUS 21901 HAS SOUPS 21901 WITH SCORE 21926.524
AT ITER 1332 NEW BEST:: SOT 45862 SOS 25516 HAS SOPS 25516 HAS SOUS 21893 HAS SOUPS 21893 WITH SCORE 21918.516
AT ITER 1338 NEW BEST:: SOT 45862 SOS 25498 HAS SOPS 25498 HAS SOUS 21893 HAS SOUPS 21893 WITH SCORE 21918.498
AT ITER 1342 NEW BEST:: SOT 45801 SOS 25451 HAS SOPS 25451 HAS SOUS 21846 HAS SOUPS 21846 WITH SCORE 21871.451
AT ITER 1346 NEW BEST:: SOT 45750 SOS 25304 HAS SOPS 25304 HAS SOUS 21798 HAS SOUPS 21798 WITH SCORE 21823.304
AT ITER 1360 NEW BEST:: SOT 45750 SOS 25279 HAS SOPS 25279 HAS SOUS 21798 HAS SOUPS 21798 WITH SCORE 21823.279
AT ITER 1364 NEW BEST:: SOT 45750 SOS 25302 HAS SOPS 25302 HAS SOUS 21771 HAS SOUPS 21771 WITH SCORE 21796.302
AT ITER 1365 NEW BEST:: SOT 45725 SOS 25277 HAS SOPS 25277 HAS SOUS 21740 HAS SOUPS 21740 WITH SCORE 21765.277
AT ITER 1369 NEW BEST:: SOT 45706 SOS 25258 HAS SOPS 25258 HAS SOUS 21721 HAS SOUPS 21721 WITH SCORE 21746.258
AT ITER 1375 NEW BEST:: SOT 45706 SOS 25244 HAS SOPS 25244 HAS SOUS 21721 HAS SOUPS 21721 WITH SCORE 21746.244
AT ITER 1379 NEW BEST:: SOT 45556 SOS 25179 HAS SOPS 25179 HAS SOUS 21709 HAS SOUPS 21709 WITH SCORE 21734.179
AT ITER 1396 NEW BEST:: SOT 45553 SOS 25176 HAS SOPS 25176 HAS SOUS 21706 HAS SOUPS 21706 WITH SCORE 21731.176
AT ITER 1400 NEW BEST:: SOT 45536 SOS 25159 HAS SOPS 25159 HAS SOUS 21689 HAS SOUPS 21689 WITH SCORE 21714.159
AT ITER 1405 NEW BEST:: SOT 45536 SOS 25159 HAS SOPS 25159 HAS SOUS 21678 HAS SOUPS 21678 WITH SCORE 21703.159
AT ITER 1408 NEW BEST:: SOT 45530 SOS 25153 HAS SOPS 25153 HAS SOUS 21672 HAS SOUPS 21672 WITH SCORE 21697.153
AT ITER 1409 NEW BEST:: SOT 45520 SOS 25143 HAS SOPS 25143 HAS SOUS 21662 HAS SOUPS 21662 WITH SCORE 21687.143
AT ITER 1411 NEW BEST:: SOT 45518 SOS 25141 HAS SOPS 25141 HAS SOUS 21651 HAS SOUPS 21651 WITH SCORE 21676.141
AT ITER 1415 NEW BEST:: SOT 45518 SOS 25166 HAS SOPS 25166 HAS SOUS 21630 HAS SOUPS 21630 WITH SCORE 21655.166
AT ITER 1429 NEW BEST:: SOT 45518 SOS 25119 HAS SOPS 25119 HAS SOUS 21629 HAS SOUPS 21629 WITH SCORE 21654.119
AT ITER 1436 NEW BEST:: SOT 45514 SOS 25115 HAS SOPS 25115 HAS SOUS 21625 HAS SOUPS 21625 WITH SCORE 21650.115
AT ITER 1448 NEW BEST:: SOT 45514 SOS 25041 HAS SOPS 25041 HAS SOUS 21585 HAS SOUPS 21585 WITH SCORE 21610.041
AT ITER 1456 NEW BEST:: SOT 45514 SOS 24865 HAS SOPS 24865 HAS SOUS 21585 HAS SOUPS 21585 WITH SCORE 21609.865
AT ITER 1470 NEW BEST:: SOT 45480 SOS 24831 HAS SOPS 24831 HAS SOUS 21571 HAS SOUPS 21571 WITH SCORE 21595.831
AT ITER 1489 NEW BEST:: SOT 45480 SOS 24801 HAS SOPS 24801 HAS SOUS 21571 HAS SOUPS 21571 WITH SCORE 21595.801
AT ITER 1496 NEW BEST:: SOT 45480 SOS 24775 HAS SOPS 24775 HAS SOUS 21550 HAS SOUPS 21550 WITH SCORE 21574.775
AT ITER 1512 NEW BEST:: SOT 45457 SOS 24764 HAS SOPS 24764 HAS SOUS 21539 HAS SOUPS 21539 WITH SCORE 21563.764
AT ITER 1514 NEW BEST:: SOT 45451 SOS 24758 HAS SOPS 24758 HAS SOUS 21533 HAS SOUPS 21533 WITH SCORE 21557.758
AT ITER 1516 NEW BEST:: SOT 45434 SOS 24741 HAS SOPS 24741 HAS SOUS 21516 HAS SOUPS 21516 WITH SCORE 21540.741
AT ITER 1528 NEW BEST:: SOT 45434 SOS 24725 HAS SOPS 24725 HAS SOUS 21516 HAS SOUPS 21516 WITH SCORE 21540.725
AT ITER 1529 NEW BEST:: SOT 45434 SOS 24694 HAS SOPS 24694 HAS SOUS 21516 HAS SOUPS 21516 WITH SCORE 21540.694
AT ITER 1531 NEW BEST:: SOT 45434 SOS 24693 HAS SOPS 24693 HAS SOUS 21516 HAS SOUPS 21516 WITH SCORE 21540.693
AT ITER 1533 NEW BEST:: SOT 45412 SOS 24671 HAS SOPS 24671 HAS SOUS 21494 HAS SOUPS 21494 WITH SCORE 21518.671
AT ITER 1535 NEW BEST:: SOT 45412 SOS 24670 HAS SOPS 24670 HAS SOUS 21493 HAS SOUPS 21493 WITH SCORE 21517.67
AT ITER 1554 NEW BEST:: SOT 45412 SOS 24626 HAS SOPS 24626 HAS SOUS 21493 HAS SOUPS 21493 WITH SCORE 21517.626
AT ITER 1561 NEW BEST:: SOT 45411 SOS 24625 HAS SOPS 24625 HAS SOUS 21492 HAS SOUPS 21492 WITH SCORE 21516.625
AT ITER 1584 NEW BEST:: SOT 45340 SOS 24610 HAS SOPS 24610 HAS SOUS 21477 HAS SOUPS 21477 WITH SCORE 21501.61
AT ITER 1605 NEW BEST:: SOT 45315 SOS 24585 HAS SOPS 24585 HAS SOUS 21452 HAS SOUPS 21452 WITH SCORE 21476.585
AT ITER 1658 NEW BEST:: SOT 45299 SOS 24601 HAS SOPS 24601 HAS SOUS 21436 HAS SOUPS 21436 WITH SCORE 21460.601
AT ITER 1675 NEW BEST:: SOT 45307 SOS 24601 HAS SOPS 24601 HAS SOUS 21428 HAS SOUPS 21428 WITH SCORE 21452.601
AT ITER 1680 NEW BEST:: SOT 45209 SOS 24920 HAS SOPS 24920 HAS SOUS 21401 HAS SOUPS 21401 WITH SCORE 21425.92
AT ITER 1694 NEW BEST:: SOT 45198 SOS 24915 HAS SOPS 24915 HAS SOUS 21401 HAS SOUPS 21401 WITH SCORE 21425.915
AT ITER 1699 NEW BEST:: SOT 45231 SOS 24849 HAS SOPS 24849 HAS SOUS 21401 HAS SOUPS 21401 WITH SCORE 21425.849
AT ITER 1700 NEW BEST:: SOT 45267 SOS 24784 HAS SOPS 24784 HAS SOUS 21360 HAS SOUPS 21360 WITH SCORE 21384.784
AT ITER 1701 NEW BEST:: SOT 45268 SOS 24869 HAS SOPS 24869 HAS SOUS 21357 HAS SOUPS 21357 WITH SCORE 21381.869
AT ITER 1704 NEW BEST:: SOT 45249 SOS 24850 HAS SOPS 24850 HAS SOUS 21338 HAS SOUPS 21338 WITH SCORE 21362.85
AT ITER 1714 NEW BEST:: SOT 45166 SOS 24786 HAS SOPS 24786 HAS SOUS 21274 HAS SOUPS 21274 WITH SCORE 21298.786
AT ITER 1716 NEW BEST:: SOT 45166 SOS 24780 HAS SOPS 24780 HAS SOUS 21274 HAS SOUPS 21274 WITH SCORE 21298.78
AT ITER 1754 NEW BEST:: SOT 45207 SOS 24827 HAS SOPS 24827 HAS SOUS 21265 HAS SOUPS 21265 WITH SCORE 21289.827
AT ITER 1797 NEW BEST:: SOT 45207 SOS 24797 HAS SOPS 24797 HAS SOUS 21265 HAS SOUPS 21265 WITH SCORE 21289.797
AT ITER 1819 NEW BEST:: SOT 45207 SOS 24797 HAS SOPS 24797 HAS SOUS 21243 HAS SOUPS 21243 WITH SCORE 21267.797
AT ITER 1849 NEW BEST:: SOT 45207 SOS 24785 HAS SOPS 24785 HAS SOUS 21231 HAS SOUPS 21231 WITH SCORE 21255.785
AT ITER 1853 NEW BEST:: SOT 45236 SOS 24793 HAS SOPS 24793 HAS SOUS 21225 HAS SOUPS 21225 WITH SCORE 21249.793
AT ITER 1862 NEW BEST:: SOT 45236 SOS 24790 HAS SOPS 24790 HAS SOUS 21225 HAS SOUPS 21225 WITH SCORE 21249.79
AT ITER 1887 NEW BEST:: SOT 45236 SOS 24786 HAS SOPS 24786 HAS SOUS 21225 HAS SOUPS 21225 WITH SCORE 21249.786
AT ITER 1899 NEW BEST:: SOT 45199 SOS 24735 HAS SOPS 24735 HAS SOUS 21188 HAS SOUPS 21188 WITH SCORE 21212.735
AT ITER 1901 NEW BEST:: SOT 45190 SOS 24726 HAS SOPS 24726 HAS SOUS 21179 HAS SOUPS 21179 WITH SCORE 21203.726
AT ITER 1931 NEW BEST:: SOT 45176 SOS 24712 HAS SOPS 24712 HAS SOUS 21165 HAS SOUPS 21165 WITH SCORE 21189.712
AT ITER 1935 NEW BEST:: SOT 45176 SOS 24710 HAS SOPS 24710 HAS SOUS 21165 HAS SOUPS 21165 WITH SCORE 21189.71
AT ITER 1938 NEW BEST:: SOT 45159 SOS 24697 HAS SOPS 24697 HAS SOUS 21152 HAS SOUPS 21152 WITH SCORE 21176.697
AT ITER 1939 NEW BEST:: SOT 45135 SOS 24693 HAS SOPS 24693 HAS SOUS 21147 HAS SOUPS 21147 WITH SCORE 21171.693
AT ITER 1967 NEW BEST:: SOT 45135 SOS 24675 HAS SOPS 24675 HAS SOUS 21147 HAS SOUPS 21147 WITH SCORE 21171.675
AT ITER 1969 NEW BEST:: SOT 45127 SOS 24683 HAS SOPS 24683 HAS SOUS 21146 HAS SOUPS 21146 WITH SCORE 21170.683
AT ITER 1972 NEW BEST:: SOT 45090 SOS 24743 HAS SOPS 24743 HAS SOUS 21109 HAS SOUPS 21109 WITH SCORE 21133.743
AT ITER 1998 NEW BEST:: SOT 45079 SOS 24783 HAS SOPS 24783 HAS SOUS 21107 HAS SOUPS 21107 WITH SCORE 21131.783
AT ITER 2006 NEW BEST:: SOT 44985 SOS 24727 HAS SOPS 24727 HAS SOUS 21062 HAS SOUPS 21062 WITH SCORE 21086.727
AT ITER 2014 NEW BEST:: SOT 44985 SOS 24718 HAS SOPS 24718 HAS SOUS 21062 HAS SOUPS 21062 WITH SCORE 21086.718
AT ITER 2039 NEW BEST:: SOT 44974 SOS 24707 HAS SOPS 24707 HAS SOUS 21051 HAS SOUPS 21051 WITH SCORE 21075.707
AT ITER 2041 NEW BEST:: SOT 44900 SOS 24633 HAS SOPS 24633 HAS SOUS 20977 HAS SOUPS 20977 WITH SCORE 21001.633
AT ITER 2065 NEW BEST:: SOT 44893 SOS 24641 HAS SOPS 24641 HAS SOUS 20975 HAS SOUPS 20975 WITH SCORE 20999.641
AT ITER 2072 NEW BEST:: SOT 44894 SOS 24639 HAS SOPS 24639 HAS SOUS 20973 HAS SOUPS 20973 WITH SCORE 20997.639
AT ITER 2076 NEW BEST:: SOT 44894 SOS 24638 HAS SOPS 24638 HAS SOUS 20973 HAS SOUPS 20973 WITH SCORE 20997.638
AT ITER 2081 NEW BEST:: SOT 44894 SOS 24634 HAS SOPS 24634 HAS SOUS 20973 HAS SOUPS 20973 WITH SCORE 20997.634
AT ITER 2087 NEW BEST:: SOT 44902 SOS 24618 HAS SOPS 24618 HAS SOUS 20957 HAS SOUPS 20957 WITH SCORE 20981.618
AT ITER 2111 NEW BEST:: SOT 44850 SOS 24495 HAS SOPS 24495 HAS SOUS 20875 HAS SOUPS 20875 WITH SCORE 20899.495
AT ITER 2130 NEW BEST:: SOT 44835 SOS 24489 HAS SOPS 24489 HAS SOUS 20869 HAS SOUPS 20869 WITH SCORE 20893.489
AT ITER 2134 NEW BEST:: SOT 44801 SOS 24455 HAS SOPS 24455 HAS SOUS 20835 HAS SOUPS 20835 WITH SCORE 20859.455
AT ITER 2175 NEW BEST:: SOT 44798 SOS 24452 HAS SOPS 24452 HAS SOUS 20821 HAS SOUPS 20821 WITH SCORE 20845.452
AT ITER 2198 NEW BEST:: SOT 44781 SOS 24435 HAS SOPS 24435 HAS SOUS 20804 HAS SOUPS 20804 WITH SCORE 20828.435
AT ITER 2217 NEW BEST:: SOT 44706 SOS 24394 HAS SOPS 24394 HAS SOUS 20755 HAS SOUPS 20755 WITH SCORE 20779.394
AT ITER 2236 NEW BEST:: SOT 44734 SOS 24400 HAS SOPS 24400 HAS SOUS 20732 HAS SOUPS 20732 WITH SCORE 20756.4
AT ITER 2248 NEW BEST:: SOT 44715 SOS 24381 HAS SOPS 24381 HAS SOUS 20713 HAS SOUPS 20713 WITH SCORE 20737.381
AT ITER 2257 NEW BEST:: SOT 44715 SOS 24362 HAS SOPS 24362 HAS SOUS 20713 HAS SOUPS 20713 WITH SCORE 20737.362
AT ITER 2258 NEW BEST:: SOT 44715 SOS 24362 HAS SOPS 24362 HAS SOUS 20712 HAS SOUPS 20712 WITH SCORE 20736.362
AT ITER 2261 NEW BEST:: SOT 44711 SOS 24360 HAS SOPS 24360 HAS SOUS 20710 HAS SOUPS 20710 WITH SCORE 20734.36
AT ITER 2285 NEW BEST:: SOT 44706 SOS 24355 HAS SOPS 24355 HAS SOUS 20705 HAS SOUPS 20705 WITH SCORE 20729.355
AT ITER 2295 NEW BEST:: SOT 44697 SOS 24346 HAS SOPS 24346 HAS SOUS 20698 HAS SOUPS 20698 WITH SCORE 20722.346
AT ITER 2304 NEW BEST:: SOT 44690 SOS 24339 HAS SOPS 24339 HAS SOUS 20691 HAS SOUPS 20691 WITH SCORE 20715.339
AT ITER 2312 NEW BEST:: SOT 44690 SOS 24387 HAS SOPS 24387 HAS SOUS 20690 HAS SOUPS 20690 WITH SCORE 20714.387
AT ITER 2313 NEW BEST:: SOT 44686 SOS 24383 HAS SOPS 24383 HAS SOUS 20686 HAS SOUPS 20686 WITH SCORE 20710.383
AT ITER 2320 NEW BEST:: SOT 44590 SOS 24352 HAS SOPS 24352 HAS SOUS 20677 HAS SOUPS 20677 WITH SCORE 20701.352
AT ITER 2322 NEW BEST:: SOT 44616 SOS 24352 HAS SOPS 24352 HAS SOUS 20651 HAS SOUPS 20651 WITH SCORE 20675.352
AT ITER 2362 NEW BEST:: SOT 44560 SOS 24328 HAS SOPS 24328 HAS SOUS 20627 HAS SOUPS 20627 WITH SCORE 20651.328
AT ITER 2368 NEW BEST:: SOT 44556 SOS 24324 HAS SOPS 24324 HAS SOUS 20623 HAS SOUPS 20623 WITH SCORE 20647.324
AT ITER 2371 NEW BEST:: SOT 44549 SOS 24319 HAS SOPS 24319 HAS SOUS 20618 HAS SOUPS 20618 WITH SCORE 20642.319
AT ITER 2382 NEW BEST:: SOT 44529 SOS 24350 HAS SOPS 24350 HAS SOUS 20598 HAS SOUPS 20598 WITH SCORE 20622.35
AT ITER 2387 NEW BEST:: SOT 44502 SOS 24334 HAS SOPS 24334 HAS SOUS 20582 HAS SOUPS 20582 WITH SCORE 20606.334
AT ITER 2416 NEW BEST:: SOT 44428 SOS 24292 HAS SOPS 24292 HAS SOUS 20562 HAS SOUPS 20562 WITH SCORE 20586.292
AT ITER 2431 NEW BEST:: SOT 44419 SOS 24286 HAS SOPS 24286 HAS SOUS 20557 HAS SOUPS 20557 WITH SCORE 20581.286
AT ITER 2441 NEW BEST:: SOT 44420 SOS 24282 HAS SOPS 24282 HAS SOUS 20537 HAS SOUPS 20537 WITH SCORE 20561.282
AT ITER 2451 NEW BEST:: SOT 44366 SOS 24261 HAS SOPS 24261 HAS SOUS 20516 HAS SOUPS 20516 WITH SCORE 20540.261
AT ITER 2454 NEW BEST:: SOT 44366 SOS 24261 HAS SOPS 24261 HAS SOUS 20504 HAS SOUPS 20504 WITH SCORE 20528.261
AT ITER 2486 NEW BEST:: SOT 44360 SOS 24309 HAS SOPS 24309 HAS SOUS 20500 HAS SOUPS 20500 WITH SCORE 20524.309
AT ITER 2500 NEW BEST:: SOT 44359 SOS 24330 HAS SOPS 24330 HAS SOUS 20491 HAS SOUPS 20491 WITH SCORE 20515.33
AT ITER 2514 NEW BEST:: SOT 44359 SOS 24289 HAS SOPS 24289 HAS SOUS 20491 HAS SOUPS 20491 WITH SCORE 20515.289
AT ITER 2528 NEW BEST:: SOT 44355 SOS 24285 HAS SOPS 24285 HAS SOUS 20487 HAS SOUPS 20487 WITH SCORE 20511.285
AT ITER 2553 NEW BEST:: SOT 44355 SOS 24248 HAS SOPS 24248 HAS SOUS 20485 HAS SOUPS 20485 WITH SCORE 20509.248
AT ITER 2560 NEW BEST:: SOT 44355 SOS 24248 HAS SOPS 24248 HAS SOUS 20468 HAS SOUPS 20468 WITH SCORE 20492.248
AT ITER 2573 NEW BEST:: SOT 44355 SOS 24240 HAS SOPS 24240 HAS SOUS 20468 HAS SOUPS 20468 WITH SCORE 20492.24
AT ITER 2592 NEW BEST:: SOT 44327 SOS 24238 HAS SOPS 24238 HAS SOUS 20466 HAS SOUPS 20466 WITH SCORE 20490.238
AT ITER 2625 NEW BEST:: SOT 44258 SOS 24198 HAS SOPS 24198 HAS SOUS 20426 HAS SOUPS 20426 WITH SCORE 20450.198
AT ITER 2638 NEW BEST:: SOT 44258 SOS 24195 HAS SOPS 24195 HAS SOUS 20426 HAS SOUPS 20426 WITH SCORE 20450.195
AT ITER 2645 NEW BEST:: SOT 44258 SOS 24160 HAS SOPS 24160 HAS SOUS 20426 HAS SOUPS 20426 WITH SCORE 20450.16
AT ITER 2651 NEW BEST:: SOT 44258 SOS 23845 HAS SOPS 23845 HAS SOUS 20377 HAS SOUPS 20377 WITH SCORE 20400.845
AT ITER 2659 NEW BEST:: SOT 44268 SOS 23860 HAS SOPS 23860 HAS SOUS 20375 HAS SOUPS 20375 WITH SCORE 20398.86
AT ITER 2663 NEW BEST:: SOT 44219 SOS 23864 HAS SOPS 23864 HAS SOUS 20326 HAS SOUPS 20326 WITH SCORE 20349.864
AT ITER 2690 NEW BEST:: SOT 44157 SOS 23851 HAS SOPS 23851 HAS SOUS 20317 HAS SOUPS 20317 WITH SCORE 20340.851
AT ITER 2719 NEW BEST:: SOT 44157 SOS 23848 HAS SOPS 23848 HAS SOUS 20317 HAS SOUPS 20317 WITH SCORE 20340.848
AT ITER 2727 NEW BEST:: SOT 44157 SOS 23845 HAS SOPS 23845 HAS SOUS 20317 HAS SOUPS 20317 WITH SCORE 20340.845
AT ITER 2729 NEW BEST:: SOT 44130 SOS 23836 HAS SOPS 23836 HAS SOUS 20290 HAS SOUPS 20290 WITH SCORE 20313.836
AT ITER 2744 NEW BEST:: SOT 44117 SOS 23867 HAS SOPS 23867 HAS SOUS 20279 HAS SOUPS 20279 WITH SCORE 20302.867
AT ITER 2765 NEW BEST:: SOT 44113 SOS 23863 HAS SOPS 23863 HAS SOUS 20275 HAS SOUPS 20275 WITH SCORE 20298.863
AT ITER 2768 NEW BEST:: SOT 44114 SOS 23842 HAS SOPS 23842 HAS SOUS 20254 HAS SOUPS 20254 WITH SCORE 20277.842
AT ITER 2773 NEW BEST:: SOT 44103 SOS 23831 HAS SOPS 23831 HAS SOUS 20243 HAS SOUPS 20243 WITH SCORE 20266.831
AT ITER 2786 NEW BEST:: SOT 44087 SOS 23859 HAS SOPS 23859 HAS SOUS 20231 HAS SOUPS 20231 WITH SCORE 20254.859
AT ITER 2814 NEW BEST:: SOT 44087 SOS 23858 HAS SOPS 23858 HAS SOUS 20231 HAS SOUPS 20231 WITH SCORE 20254.858
AT ITER 2818 NEW BEST:: SOT 43960 SOS 23765 HAS SOPS 23765 HAS SOUS 20138 HAS SOUPS 20138 WITH SCORE 20161.765
AT ITER 2862 NEW BEST:: SOT 43945 SOS 23745 HAS SOPS 23745 HAS SOUS 20101 HAS SOUPS 20101 WITH SCORE 20124.745
AT ITER 2879 NEW BEST:: SOT 43945 SOS 23726 HAS SOPS 23726 HAS SOUS 20101 HAS SOUPS 20101 WITH SCORE 20124.726
AT ITER 2891 NEW BEST:: SOT 43942 SOS 23720 HAS SOPS 23720 HAS SOUS 20098 HAS SOUPS 20098 WITH SCORE 20121.72
AT ITER 2897 NEW BEST:: SOT 43915 SOS 23713 HAS SOPS 23713 HAS SOUS 20096 HAS SOUPS 20096 WITH SCORE 20119.713
AT ITER 2913 NEW BEST:: SOT 43908 SOS 23701 HAS SOPS 23701 HAS SOUS 20091 HAS SOUPS 20091 WITH SCORE 20114.701
AT ITER 2922 NEW BEST:: SOT 43908 SOS 23687 HAS SOPS 23687 HAS SOUS 20091 HAS SOUPS 20091 WITH SCORE 20114.687
AT ITER 2949 NEW BEST:: SOT 43829 SOS 23906 HAS SOPS 23906 HAS SOUS 20059 HAS SOUPS 20059 WITH SCORE 20082.906
AT ITER 2952 NEW BEST:: SOT 43829 SOS 23879 HAS SOPS 23879 HAS SOUS 20032 HAS SOUPS 20032 WITH SCORE 20055.879
AT ITER 2957 NEW BEST:: SOT 43816 SOS 23866 HAS SOPS 23866 HAS SOUS 20019 HAS SOUPS 20019 WITH SCORE 20042.866
AT ITER 2971 NEW BEST:: SOT 43811 SOS 23861 HAS SOPS 23861 HAS SOUS 20005 HAS SOUPS 20005 WITH SCORE 20028.861
AT ITER 2974 NEW BEST:: SOT 43810 SOS 23860 HAS SOPS 23860 HAS SOUS 20004 HAS SOUPS 20004 WITH SCORE 20027.86
AT ITER 2997 NEW BEST:: SOT 43810 SOS 23860 HAS SOPS 23860 HAS SOUS 20002 HAS SOUPS 20002 WITH SCORE 20025.86
AT ITER 3002 NEW BEST:: SOT 43810 SOS 23855 HAS SOPS 23855 HAS SOUS 20002 HAS SOUPS 20002 WITH SCORE 20025.855
AT ITER 3014 NEW BEST:: SOT 43769 SOS 23868 HAS SOPS 23868 HAS SOUS 19988 HAS SOUPS 19988 WITH SCORE 20011.868
AT ITER 3017 NEW BEST:: SOT 43769 SOS 23867 HAS SOPS 23867 HAS SOUS 19981 HAS SOUPS 19981 WITH SCORE 20004.867
AT ITER 3025 NEW BEST:: SOT 43769 SOS 23837 HAS SOPS 23837 HAS SOUS 19963 HAS SOUPS 19963 WITH SCORE 19986.837
AT ITER 3039 NEW BEST:: SOT 43763 SOS 23834 HAS SOPS 23834 HAS SOUS 19960 HAS SOUPS 19960 WITH SCORE 19983.834
AT ITER 3052 NEW BEST:: SOT 43766 SOS 23837 HAS SOPS 23837 HAS SOUS 19956 HAS SOUPS 19956 WITH SCORE 19979.837
AT ITER 3092 NEW BEST:: SOT 43764 SOS 23835 HAS SOPS 23835 HAS SOUS 19954 HAS SOUPS 19954 WITH SCORE 19977.835
AT ITER 3095 NEW BEST:: SOT 43764 SOS 23836 HAS SOPS 23836 HAS SOUS 19952 HAS SOUPS 19952 WITH SCORE 19975.836
AT ITER 3102 NEW BEST:: SOT 43773 SOS 23836 HAS SOPS 23836 HAS SOUS 19944 HAS SOUPS 19944 WITH SCORE 19967.836
AT ITER 3128 NEW BEST:: SOT 43773 SOS 23836 HAS SOPS 23836 HAS SOUS 19924 HAS SOUPS 19924 WITH SCORE 19947.836
AT ITER 3131 NEW BEST:: SOT 43764 SOS 23855 HAS SOPS 23855 HAS SOUS 19915 HAS SOUPS 19915 WITH SCORE 19938.855
AT ITER 3135 NEW BEST:: SOT 43755 SOS 23846 HAS SOPS 23846 HAS SOUS 19905 HAS SOUPS 19905 WITH SCORE 19928.846
AT ITER 3137 NEW BEST:: SOT 43734 SOS 23825 HAS SOPS 23825 HAS SOUS 19884 HAS SOUPS 19884 WITH SCORE 19907.825
AT ITER 3150 NEW BEST:: SOT 43732 SOS 23827 HAS SOPS 23827 HAS SOUS 19883 HAS SOUPS 19883 WITH SCORE 19906.827
AT ITER 3157 NEW BEST:: SOT 43702 SOS 23866 HAS SOPS 23866 HAS SOUS 19864 HAS SOUPS 19864 WITH SCORE 19887.866
AT ITER 3165 NEW BEST:: SOT 43701 SOS 23856 HAS SOPS 23856 HAS SOUS 19856 HAS SOUPS 19856 WITH SCORE 19879.856
AT ITER 3176 NEW BEST:: SOT 43693 SOS 23848 HAS SOPS 23848 HAS SOUS 19848 HAS SOUPS 19848 WITH SCORE 19871.848
AT ITER 3180 NEW BEST:: SOT 43689 SOS 23844 HAS SOPS 23844 HAS SOUS 19844 HAS SOUPS 19844 WITH SCORE 19867.844
AT ITER 3201 NEW BEST:: SOT 43680 SOS 23842 HAS SOPS 23842 HAS SOUS 19825 HAS SOUPS 19825 WITH SCORE 19848.842
AT ITER 3218 NEW BEST:: SOT 43687 SOS 23829 HAS SOPS 23829 HAS SOUS 19818 HAS SOUPS 19818 WITH SCORE 19841.829
AT ITER 3219 NEW BEST:: SOT 43648 SOS 23810 HAS SOPS 23810 HAS SOUS 19792 HAS SOUPS 19792 WITH SCORE 19815.81
AT ITER 3257 NEW BEST:: SOT 43648 SOS 23804 HAS SOPS 23804 HAS SOUS 19792 HAS SOUPS 19792 WITH SCORE 19815.804
AT ITER 3274 NEW BEST:: SOT 43602 SOS 23804 HAS SOPS 23804 HAS SOUS 19778 HAS SOUPS 19778 WITH SCORE 19801.804
AT ITER 3279 NEW BEST:: SOT 43599 SOS 23801 HAS SOPS 23801 HAS SOUS 19775 HAS SOUPS 19775 WITH SCORE 19798.801
AT ITER 3285 NEW BEST:: SOT 43552 SOS 23754 HAS SOPS 23754 HAS SOUS 19716 HAS SOUPS 19716 WITH SCORE 19739.754
AT ITER 3323 NEW BEST:: SOT 43560 SOS 23756 HAS SOPS 23756 HAS SOUS 19706 HAS SOUPS 19706 WITH SCORE 19729.756
AT ITER 3335 NEW BEST:: SOT 43572 SOS 23768 HAS SOPS 23768 HAS SOUS 19689 HAS SOUPS 19689 WITH SCORE 19712.768
AT ITER 3344 NEW BEST:: SOT 43612 SOS 23738 HAS SOPS 23738 HAS SOUS 19674 HAS SOUPS 19674 WITH SCORE 19697.738
AT ITER 3345 NEW BEST:: SOT 43612 SOS 23735 HAS SOPS 23735 HAS SOUS 19674 HAS SOUPS 19674 WITH SCORE 19697.735
AT ITER 3355 NEW BEST:: SOT 43612 SOS 23713 HAS SOPS 23713 HAS SOUS 19674 HAS SOUPS 19674 WITH SCORE 19697.713
AT ITER 3372 NEW BEST:: SOT 43610 SOS 23711 HAS SOPS 23711 HAS SOUS 19672 HAS SOUPS 19672 WITH SCORE 19695.711
AT ITER 3377 NEW BEST:: SOT 43610 SOS 23696 HAS SOPS 23696 HAS SOUS 19672 HAS SOUPS 19672 WITH SCORE 19695.696
AT ITER 3396 NEW BEST:: SOT 43610 SOS 23677 HAS SOPS 23677 HAS SOUS 19672 HAS SOUPS 19672 WITH SCORE 19695.677
AT ITER 3415 NEW BEST:: SOT 43571 SOS 23638 HAS SOPS 23638 HAS SOUS 19633 HAS SOUPS 19633 WITH SCORE 19656.638
AT ITER 3425 NEW BEST:: SOT 43555 SOS 23815 HAS SOPS 23815 HAS SOUS 19617 HAS SOUPS 19617 WITH SCORE 19640.815
AT ITER 3443 NEW BEST:: SOT 43546 SOS 23810 HAS SOPS 23810 HAS SOUS 19612 HAS SOUPS 19612 WITH SCORE 19635.81
AT ITER 3468 NEW BEST:: SOT 43474 SOS 23808 HAS SOPS 23808 HAS SOUS 19610 HAS SOUPS 19610 WITH SCORE 19633.808
AT ITER 3471 NEW BEST:: SOT 43470 SOS 23804 HAS SOPS 23804 HAS SOUS 19606 HAS SOUPS 19606 WITH SCORE 19629.804
AT ITER 3491 NEW BEST:: SOT 43456 SOS 23790 HAS SOPS 23790 HAS SOUS 19592 HAS SOUPS 19592 WITH SCORE 19615.79
AT ITER 3496 NEW BEST:: SOT 43456 SOS 23770 HAS SOPS 23770 HAS SOUS 19577 HAS SOUPS 19577 WITH SCORE 19600.77
AT ITER 3514 NEW BEST:: SOT 43480 SOS 23786 HAS SOPS 23786 HAS SOUS 19547 HAS SOUPS 19547 WITH SCORE 19570.786
AT ITER 3515 NEW BEST:: SOT 43420 SOS 24001 HAS SOPS 24001 HAS SOUS 19518 HAS SOUPS 19518 WITH SCORE 19542.001
AT ITER 3537 NEW BEST:: SOT 43443 SOS 23964 HAS SOPS 23964 HAS SOUS 19481 HAS SOUPS 19481 WITH SCORE 19504.964
AT ITER 3539 NEW BEST:: SOT 43443 SOS 23962 HAS SOPS 23962 HAS SOUS 19479 HAS SOUPS 19479 WITH SCORE 19502.962
AT ITER 3540 NEW BEST:: SOT 43443 SOS 23962 HAS SOPS 23962 HAS SOUS 19478 HAS SOUPS 19478 WITH SCORE 19501.962
AT ITER 3568 NEW BEST:: SOT 43434 SOS 23996 HAS SOPS 23996 HAS SOUS 19469 HAS SOUPS 19469 WITH SCORE 19492.996
AT ITER 3578 NEW BEST:: SOT 43428 SOS 23990 HAS SOPS 23990 HAS SOUS 19469 HAS SOUPS 19469 WITH SCORE 19492.99
AT ITER 3587 NEW BEST:: SOT 43428 SOS 23977 HAS SOPS 23977 HAS SOUS 19469 HAS SOUPS 19469 WITH SCORE 19492.977
AT ITER 3605 NEW BEST:: SOT 43422 SOS 23971 HAS SOPS 23971 HAS SOUS 19463 HAS SOUPS 19463 WITH SCORE 19486.971
AT ITER 3627 NEW BEST:: SOT 43420 SOS 23969 HAS SOPS 23969 HAS SOUS 19461 HAS SOUPS 19461 WITH SCORE 19484.969
AT ITER 3628 NEW BEST:: SOT 43420 SOS 23884 HAS SOPS 23884 HAS SOUS 19457 HAS SOUPS 19457 WITH SCORE 19480.884
AT ITER 3691 NEW BEST:: SOT 43401 SOS 23895 HAS SOPS 23895 HAS SOUS 19449 HAS SOUPS 19449 WITH SCORE 19472.895
AT ITER 3739 NEW BEST:: SOT 43389 SOS 23986 HAS SOPS 23986 HAS SOUS 19439 HAS SOUPS 19439 WITH SCORE 19462.986
AT ITER 3745 NEW BEST:: SOT 43372 SOS 23979 HAS SOPS 23979 HAS SOUS 19421 HAS SOUPS 19421 WITH SCORE 19444.979
AT ITER 3748 NEW BEST:: SOT 43366 SOS 23973 HAS SOPS 23973 HAS SOUS 19415 HAS SOUPS 19415 WITH SCORE 19438.973
AT ITER 3771 NEW BEST:: SOT 43366 SOS 23973 HAS SOPS 23973 HAS SOUS 19398 HAS SOUPS 19398 WITH SCORE 19421.973
AT ITER 3772 NEW BEST:: SOT 43366 SOS 23966 HAS SOPS 23966 HAS SOUS 19397 HAS SOUPS 19397 WITH SCORE 19420.966
AT ITER 3776 NEW BEST:: SOT 43332 SOS 23946 HAS SOPS 23946 HAS SOUS 19381 HAS SOUPS 19381 WITH SCORE 19404.946
AT ITER 3778 NEW BEST:: SOT 43318 SOS 23932 HAS SOPS 23932 HAS SOUS 19367 HAS SOUPS 19367 WITH SCORE 19390.932
AT ITER 3779 NEW BEST:: SOT 43315 SOS 23932 HAS SOPS 23932 HAS SOUS 19364 HAS SOUPS 19364 WITH SCORE 19387.932
AT ITER 3789 NEW BEST:: SOT 43298 SOS 23973 HAS SOPS 23973 HAS SOUS 19347 HAS SOUPS 19347 WITH SCORE 19370.973
AT ITER 3807 NEW BEST:: SOT 43295 SOS 23970 HAS SOPS 23970 HAS SOUS 19344 HAS SOUPS 19344 WITH SCORE 19367.97
AT ITER 3813 NEW BEST:: SOT 43295 SOS 23970 HAS SOPS 23970 HAS SOUS 19326 HAS SOUPS 19326 WITH SCORE 19349.97
AT ITER 3826 NEW BEST:: SOT 43295 SOS 23865 HAS SOPS 23865 HAS SOUS 19326 HAS SOUPS 19326 WITH SCORE 19349.865
AT ITER 3840 NEW BEST:: SOT 43294 SOS 23864 HAS SOPS 23864 HAS SOUS 19308 HAS SOUPS 19308 WITH SCORE 19331.864
AT ITER 3844 NEW BEST:: SOT 43294 SOS 23681 HAS SOPS 23681 HAS SOUS 19308 HAS SOUPS 19308 WITH SCORE 19331.681
AT ITER 3847 NEW BEST:: SOT 43294 SOS 23680 HAS SOPS 23680 HAS SOUS 19307 HAS SOUPS 19307 WITH SCORE 19330.68
AT ITER 3882 NEW BEST:: SOT 43294 SOS 23680 HAS SOPS 23680 HAS SOUS 19297 HAS SOUPS 19297 WITH SCORE 19320.68
AT ITER 3883 NEW BEST:: SOT 43287 SOS 23681 HAS SOPS 23681 HAS SOUS 19294 HAS SOUPS 19294 WITH SCORE 19317.681
AT ITER 3884 NEW BEST:: SOT 43290 SOS 23682 HAS SOPS 23682 HAS SOUS 19291 HAS SOUPS 19291 WITH SCORE 19314.682
AT ITER 3891 NEW BEST:: SOT 43290 SOS 23682 HAS SOPS 23682 HAS SOUS 19277 HAS SOUPS 19277 WITH SCORE 19300.682
AT ITER 3897 NEW BEST:: SOT 43248 SOS 23657 HAS SOPS 23657 HAS SOUS 19252 HAS SOUPS 19252 WITH SCORE 19275.657
AT ITER 3919 NEW BEST:: SOT 43266 SOS 23681 HAS SOPS 23681 HAS SOUS 19245 HAS SOUPS 19245 WITH SCORE 19268.681
AT ITER 3923 NEW BEST:: SOT 43259 SOS 23674 HAS SOPS 23674 HAS SOUS 19238 HAS SOUPS 19238 WITH SCORE 19261.674
AT ITER 3952 NEW BEST:: SOT 43225 SOS 23669 HAS SOPS 23669 HAS SOUS 19164 HAS SOUPS 19164 WITH SCORE 19187.669
AT ITER 3957 NEW BEST:: SOT 43203 SOS 23756 HAS SOPS 23756 HAS SOUS 19159 HAS SOUPS 19159 WITH SCORE 19182.756
AT ITER 3966 NEW BEST:: SOT 43147 SOS 23737 HAS SOPS 23737 HAS SOUS 19140 HAS SOUPS 19140 WITH SCORE 19163.737
AT ITER 4015 NEW BEST:: SOT 43120 SOS 23727 HAS SOPS 23727 HAS SOUS 19130 HAS SOUPS 19130 WITH SCORE 19153.727
AT ITER 4027 NEW BEST:: SOT 43120 SOS 23722 HAS SOPS 23722 HAS SOUS 19130 HAS SOUPS 19130 WITH SCORE 19153.722
AT ITER 4044 NEW BEST:: SOT 43120 SOS 23721 HAS SOPS 23721 HAS SOUS 19129 HAS SOUPS 19129 WITH SCORE 19152.721
AT ITER 4059 NEW BEST:: SOT 43120 SOS 23721 HAS SOPS 23721 HAS SOUS 19116 HAS SOUPS 19116 WITH SCORE 19139.721
AT ITER 4063 NEW BEST:: SOT 43118 SOS 23716 HAS SOPS 23716 HAS SOUS 19111 HAS SOUPS 19111 WITH SCORE 19134.716
AT ITER 4078 NEW BEST:: SOT 43118 SOS 23598 HAS SOPS 23598 HAS SOUS 19111 HAS SOUPS 19111 WITH SCORE 19134.598
AT ITER 4085 NEW BEST:: SOT 43118 SOS 23598 HAS SOPS 23598 HAS SOUS 19108 HAS SOUPS 19108 WITH SCORE 19131.598
AT ITER 4116 NEW BEST:: SOT 43118 SOS 23584 HAS SOPS 23584 HAS SOUS 19106 HAS SOUPS 19106 WITH SCORE 19129.584
AT ITER 4125 NEW BEST:: SOT 43118 SOS 23635 HAS SOPS 23635 HAS SOUS 19085 HAS SOUPS 19085 WITH SCORE 19108.635
AT ITER 4137 NEW BEST:: SOT 43120 SOS 23633 HAS SOPS 23633 HAS SOUS 19083 HAS SOUPS 19083 WITH SCORE 19106.633
AT ITER 4139 NEW BEST:: SOT 43087 SOS 23629 HAS SOPS 23629 HAS SOUS 19079 HAS SOUPS 19079 WITH SCORE 19102.629
AT ITER 4163 NEW BEST:: SOT 43065 SOS 23607 HAS SOPS 23607 HAS SOUS 19057 HAS SOUPS 19057 WITH SCORE 19080.607
AT ITER 4178 NEW BEST:: SOT 43056 SOS 23598 HAS SOPS 23598 HAS SOUS 19048 HAS SOUPS 19048 WITH SCORE 19071.598
AT ITER 4186 NEW BEST:: SOT 43026 SOS 23553 HAS SOPS 23553 HAS SOUS 19024 HAS SOUPS 19024 WITH SCORE 19047.553
AT ITER 4200 NEW BEST:: SOT 43026 SOS 23513 HAS SOPS 23513 HAS SOUS 19024 HAS SOUPS 19024 WITH SCORE 19047.513
AT ITER 4214 NEW BEST:: SOT 43028 SOS 23506 HAS SOPS 23506 HAS SOUS 19023 HAS SOUPS 19023 WITH SCORE 19046.506
AT ITER 4219 NEW BEST:: SOT 43006 SOS 23484 HAS SOPS 23484 HAS SOUS 19001 HAS SOUPS 19001 WITH SCORE 19024.484
AT ITER 4242 NEW BEST:: SOT 43006 SOS 23484 HAS SOPS 23484 HAS SOUS 18991 HAS SOUPS 18991 WITH SCORE 19014.484
AT ITER 4249 NEW BEST:: SOT 42985 SOS 23463 HAS SOPS 23463 HAS SOUS 18970 HAS SOUPS 18970 WITH SCORE 18993.463
AT ITER 4258 NEW BEST:: SOT 42983 SOS 23463 HAS SOPS 23463 HAS SOUS 18968 HAS SOUPS 18968 WITH SCORE 18991.463
AT ITER 4267 NEW BEST:: SOT 43003 SOS 23447 HAS SOPS 23447 HAS SOUS 18964 HAS SOUPS 18964 WITH SCORE 18987.447
AT ITER 4277 NEW BEST:: SOT 43002 SOS 23446 HAS SOPS 23446 HAS SOUS 18963 HAS SOUPS 18963 WITH SCORE 18986.446
AT ITER 4290 NEW BEST:: SOT 42998 SOS 23442 HAS SOPS 23442 HAS SOUS 18959 HAS SOUPS 18959 WITH SCORE 18982.442
AT ITER 4302 NEW BEST:: SOT 42998 SOS 23442 HAS SOPS 23442 HAS SOUS 18945 HAS SOUPS 18945 WITH SCORE 18968.442
AT ITER 4307 NEW BEST:: SOT 43003 SOS 23431 HAS SOPS 23431 HAS SOUS 18934 HAS SOUPS 18934 WITH SCORE 18957.431
AT ITER 4323 NEW BEST:: SOT 43002 SOS 23430 HAS SOPS 23430 HAS SOUS 18917 HAS SOUPS 18917 WITH SCORE 18940.43
AT ITER 4349 NEW BEST:: SOT 43002 SOS 23406 HAS SOPS 23406 HAS SOUS 18917 HAS SOUPS 18917 WITH SCORE 18940.406
AT ITER 4354 NEW BEST:: SOT 42956 SOS 23398 HAS SOPS 23398 HAS SOUS 18879 HAS SOUPS 18879 WITH SCORE 18902.398
AT ITER 4370 NEW BEST:: SOT 42950 SOS 23392 HAS SOPS 23392 HAS SOUS 18873 HAS SOUPS 18873 WITH SCORE 18896.392
AT ITER 4376 NEW BEST:: SOT 42950 SOS 23390 HAS SOPS 23390 HAS SOUS 18873 HAS SOUPS 18873 WITH SCORE 18896.39
AT ITER 4402 NEW BEST:: SOT 42950 SOS 23352 HAS SOPS 23352 HAS SOUS 18873 HAS SOUPS 18873 WITH SCORE 18896.352
AT ITER 4406 NEW BEST:: SOT 42950 SOS 23245 HAS SOPS 23245 HAS SOUS 18873 HAS SOUPS 18873 WITH SCORE 18896.245
AT ITER 4407 NEW BEST:: SOT 42944 SOS 23239 HAS SOPS 23239 HAS SOUS 18867 HAS SOUPS 18867 WITH SCORE 18890.239
AT ITER 4429 NEW BEST:: SOT 42930 SOS 23225 HAS SOPS 23225 HAS SOUS 18853 HAS SOUPS 18853 WITH SCORE 18876.225
AT ITER 4430 NEW BEST:: SOT 42919 SOS 23217 HAS SOPS 23217 HAS SOUS 18846 HAS SOUPS 18846 WITH SCORE 18869.217
AT ITER 4440 NEW BEST:: SOT 42893 SOS 23191 HAS SOPS 23191 HAS SOUS 18820 HAS SOUPS 18820 WITH SCORE 18843.191
AT ITER 4452 NEW BEST:: SOT 42888 SOS 23207 HAS SOPS 23207 HAS SOUS 18815 HAS SOUPS 18815 WITH SCORE 18838.207
AT ITER 4474 NEW BEST:: SOT 42887 SOS 23210 HAS SOPS 23210 HAS SOUS 18810 HAS SOUPS 18810 WITH SCORE 18833.21
AT ITER 4516 NEW BEST:: SOT 42877 SOS 23195 HAS SOPS 23195 HAS SOUS 18789 HAS SOUPS 18789 WITH SCORE 18812.195
AT ITER 4534 NEW BEST:: SOT 42842 SOS 23168 HAS SOPS 23168 HAS SOUS 18742 HAS SOUPS 18742 WITH SCORE 18765.168
AT ITER 4546 NEW BEST:: SOT 42839 SOS 23165 HAS SOPS 23165 HAS SOUS 18739 HAS SOUPS 18739 WITH SCORE 18762.165
AT ITER 4566 NEW BEST:: SOT 42838 SOS 23261 HAS SOPS 23261 HAS SOUS 18738 HAS SOUPS 18738 WITH SCORE 18761.261
AT ITER 4567 NEW BEST:: SOT 42733 SOS 23370 HAS SOPS 23370 HAS SOUS 18664 HAS SOUPS 18664 WITH SCORE 18687.37
AT ITER 4571 NEW BEST:: SOT 42697 SOS 23345 HAS SOPS 23345 HAS SOUS 18628 HAS SOUPS 18628 WITH SCORE 18651.345
AT ITER 4591 NEW BEST:: SOT 42695 SOS 23343 HAS SOPS 23343 HAS SOUS 18626 HAS SOUPS 18626 WITH SCORE 18649.343
AT ITER 4612 NEW BEST:: SOT 42695 SOS 23327 HAS SOPS 23327 HAS SOUS 18626 HAS SOUPS 18626 WITH SCORE 18649.327
AT ITER 4658 NEW BEST:: SOT 42685 SOS 23317 HAS SOPS 23317 HAS SOUS 18616 HAS SOUPS 18616 WITH SCORE 18639.317
AT ITER 4664 NEW BEST:: SOT 42683 SOS 23315 HAS SOPS 23315 HAS SOUS 18614 HAS SOUPS 18614 WITH SCORE 18637.315
AT ITER 4673 NEW BEST:: SOT 42666 SOS 23303 HAS SOPS 23303 HAS SOUS 18604 HAS SOUPS 18604 WITH SCORE 18627.303
AT ITER 4746 NEW BEST:: SOT 42699 SOS 23317 HAS SOPS 23317 HAS SOUS 18597 HAS SOUPS 18597 WITH SCORE 18620.317
AT ITER 4776 NEW BEST:: SOT 42696 SOS 23314 HAS SOPS 23314 HAS SOUS 18594 HAS SOUPS 18594 WITH SCORE 18617.314
AT ITER 4779 NEW BEST:: SOT 42696 SOS 23314 HAS SOPS 23314 HAS SOUS 18593 HAS SOUPS 18593 WITH SCORE 18616.314
AT ITER 4849 NEW BEST:: SOT 42690 SOS 23308 HAS SOPS 23308 HAS SOUS 18587 HAS SOUPS 18587 WITH SCORE 18610.308
AT ITER 4862 NEW BEST:: SOT 42690 SOS 23288 HAS SOPS 23288 HAS SOUS 18587 HAS SOUPS 18587 WITH SCORE 18610.288
AT ITER 4867 NEW BEST:: SOT 42690 SOS 23281 HAS SOPS 23281 HAS SOUS 18580 HAS SOUPS 18580 WITH SCORE 18603.281
AT ITER 4870 NEW BEST:: SOT 42681 SOS 23272 HAS SOPS 23272 HAS SOUS 18565 HAS SOUPS 18565 WITH SCORE 18588.272
AT ITER 4885 NEW BEST:: SOT 42681 SOS 23260 HAS SOPS 23260 HAS SOUS 18565 HAS SOUPS 18565 WITH SCORE 18588.26
AT ITER 4890 NEW BEST:: SOT 42666 SOS 23252 HAS SOPS 23252 HAS SOUS 18563 HAS SOUPS 18563 WITH SCORE 18586.252
AT ITER 4958 NEW BEST:: SOT 42627 SOS 23312 HAS SOPS 23312 HAS SOUS 18536 HAS SOUPS 18536 WITH SCORE 18559.312
AT ITER 4971 NEW BEST:: SOT 42639 SOS 23286 HAS SOPS 23286 HAS SOUS 18530 HAS SOUPS 18530 WITH SCORE 18553.286
AT ITER 4974 NEW BEST:: SOT 42639 SOS 23261 HAS SOPS 23261 HAS SOUS 18520 HAS SOUPS 18520 WITH SCORE 18543.261
AT ITER 4999 NEW BEST:: SOT 42609 SOS 23279 HAS SOPS 23279 HAS SOUS 18505 HAS SOUPS 18505 WITH SCORE 18528.279
AT ITER 5003 NEW BEST:: SOT 42575 SOS 23275 HAS SOPS 23275 HAS SOUS 18486 HAS SOUPS 18486 WITH SCORE 18509.275
AT ITER 5004 NEW BEST:: SOT 42547 SOS 23224 HAS SOPS 23224 HAS SOUS 18462 HAS SOUPS 18462 WITH SCORE 18485.224
AT ITER 5022 NEW BEST:: SOT 42546 SOS 23225 HAS SOPS 23225 HAS SOUS 18461 HAS SOUPS 18461 WITH SCORE 18484.225
AT ITER 5037 NEW BEST:: SOT 42536 SOS 23235 HAS SOPS 23235 HAS SOUS 18454 HAS SOUPS 18454 WITH SCORE 18477.235
AT ITER 5052 NEW BEST:: SOT 42518 SOS 23233 HAS SOPS 23233 HAS SOUS 18445 HAS SOUPS 18445 WITH SCORE 18468.233
AT ITER 5072 NEW BEST:: SOT 42510 SOS 23217 HAS SOPS 23217 HAS SOUS 18429 HAS SOUPS 18429 WITH SCORE 18452.217
AT ITER 5075 NEW BEST:: SOT 42503 SOS 23210 HAS SOPS 23210 HAS SOUS 18422 HAS SOUPS 18422 WITH SCORE 18445.21
AT ITER 5104 NEW BEST:: SOT 42503 SOS 23198 HAS SOPS 23198 HAS SOUS 18422 HAS SOUPS 18422 WITH SCORE 18445.198
AT ITER 5177 NEW BEST:: SOT 42510 SOS 23196 HAS SOPS 23196 HAS SOUS 18420 HAS SOUPS 18420 WITH SCORE 18443.196
AT ITER 5243 NEW BEST:: SOT 42488 SOS 23177 HAS SOPS 23177 HAS SOUS 18401 HAS SOUPS 18401 WITH SCORE 18424.177
AT ITER 5246 NEW BEST:: SOT 42482 SOS 23174 HAS SOPS 23174 HAS SOUS 18398 HAS SOUPS 18398 WITH SCORE 18421.174
AT ITER 5249 NEW BEST:: SOT 42482 SOS 23164 HAS SOPS 23164 HAS SOUS 18381 HAS SOUPS 18381 WITH SCORE 18404.164
AT ITER 5263 NEW BEST:: SOT 42482 SOS 23158 HAS SOPS 23158 HAS SOUS 18379 HAS SOUPS 18379 WITH SCORE 18402.158
AT ITER 5300 NEW BEST:: SOT 42466 SOS 23153 HAS SOPS 23153 HAS SOUS 18363 HAS SOUPS 18363 WITH SCORE 18386.153
AT ITER 5306 NEW BEST:: SOT 42457 SOS 23148 HAS SOPS 23148 HAS SOUS 18362 HAS SOUPS 18362 WITH SCORE 18385.148
AT ITER 5309 NEW BEST:: SOT 42452 SOS 23138 HAS SOPS 23138 HAS SOUS 18352 HAS SOUPS 18352 WITH SCORE 18375.138
AT ITER 5325 NEW BEST:: SOT 42452 SOS 23138 HAS SOPS 23138 HAS SOUS 18349 HAS SOUPS 18349 WITH SCORE 18372.138
AT ITER 5330 NEW BEST:: SOT 42450 SOS 23136 HAS SOPS 23136 HAS SOUS 18347 HAS SOUPS 18347 WITH SCORE 18370.136
AT ITER 5335 NEW BEST:: SOT 42451 SOS 23116 HAS SOPS 23116 HAS SOUS 18346 HAS SOUPS 18346 WITH SCORE 18369.116
AT ITER 5341 NEW BEST:: SOT 42447 SOS 22998 HAS SOPS 22998 HAS SOUS 18318 HAS SOUPS 18318 WITH SCORE 18340.998
AT ITER 5365 NEW BEST:: SOT 42444 SOS 22993 HAS SOPS 22993 HAS SOUS 18315 HAS SOUPS 18315 WITH SCORE 18337.993
AT ITER 5402 NEW BEST:: SOT 42440 SOS 22982 HAS SOPS 22982 HAS SOUS 18304 HAS SOUPS 18304 WITH SCORE 18326.982
AT ITER 5435 NEW BEST:: SOT 42434 SOS 22979 HAS SOPS 22979 HAS SOUS 18301 HAS SOUPS 18301 WITH SCORE 18323.979
AT ITER 5479 NEW BEST:: SOT 42443 SOS 22984 HAS SOPS 22984 HAS SOUS 18299 HAS SOUPS 18299 WITH SCORE 18321.984
AT ITER 5525 NEW BEST:: SOT 42441 SOS 22982 HAS SOPS 22982 HAS SOUS 18297 HAS SOUPS 18297 WITH SCORE 18319.982
AT ITER 5541 NEW BEST:: SOT 42445 SOS 22981 HAS SOPS 22981 HAS SOUS 18296 HAS SOUPS 18296 WITH SCORE 18318.981
AT ITER 5545 NEW BEST:: SOT 42407 SOS 22957 HAS SOPS 22957 HAS SOUS 18283 HAS SOUPS 18283 WITH SCORE 18305.957
AT ITER 5546 NEW BEST:: SOT 42314 SOS 23163 HAS SOPS 23163 HAS SOUS 18240 HAS SOUPS 18240 WITH SCORE 18263.163
AT ITER 5548 NEW BEST:: SOT 42303 SOS 23157 HAS SOPS 23157 HAS SOUS 18238 HAS SOUPS 18238 WITH SCORE 18261.157
AT ITER 5570 NEW BEST:: SOT 42314 SOS 23168 HAS SOPS 23168 HAS SOUS 18235 HAS SOUPS 18235 WITH SCORE 18258.168
AT ITER 5644 NEW BEST:: SOT 42314 SOS 23150 HAS SOPS 23150 HAS SOUS 18235 HAS SOUPS 18235 WITH SCORE 18258.15
AT ITER 5665 NEW BEST:: SOT 42303 SOS 23140 HAS SOPS 23140 HAS SOUS 18225 HAS SOUPS 18225 WITH SCORE 18248.14
AT ITER 5674 NEW BEST:: SOT 42283 SOS 23130 HAS SOPS 23130 HAS SOUS 18170 HAS SOUPS 18170 WITH SCORE 18193.13
AT ITER 5681 NEW BEST:: SOT 42283 SOS 23130 HAS SOPS 23130 HAS SOUS 18155 HAS SOUPS 18155 WITH SCORE 18178.13
AT ITER 5685 NEW BEST:: SOT 42276 SOS 23123 HAS SOPS 23123 HAS SOUS 18148 HAS SOUPS 18148 WITH SCORE 18171.123
AT ITER 5695 NEW BEST:: SOT 42279 SOS 23117 HAS SOPS 23117 HAS SOUS 18148 HAS SOUPS 18148 WITH SCORE 18171.117
AT ITER 5788 NEW BEST:: SOT 42268 SOS 23095 HAS SOPS 23095 HAS SOUS 18118 HAS SOUPS 18118 WITH SCORE 18141.095
AT ITER 5859 NEW BEST:: SOT 42259 SOS 23086 HAS SOPS 23086 HAS SOUS 18094 HAS SOUPS 18094 WITH SCORE 18117.086
AT ITER 5866 NEW BEST:: SOT 42259 SOS 23080 HAS SOPS 23080 HAS SOUS 18087 HAS SOUPS 18087 WITH SCORE 18110.08
AT ITER 5869 NEW BEST:: SOT 42257 SOS 23078 HAS SOPS 23078 HAS SOUS 18085 HAS SOUPS 18085 WITH SCORE 18108.078
AT ITER 5955 NEW BEST:: SOT 42257 SOS 23072 HAS SOPS 23072 HAS SOUS 18085 HAS SOUPS 18085 WITH SCORE 18108.072
AT ITER 5968 NEW BEST:: SOT 42239 SOS 23096 HAS SOPS 23096 HAS SOUS 18074 HAS SOUPS 18074 WITH SCORE 18097.096
AT ITER 6007 NEW BEST:: SOT 42241 SOS 23098 HAS SOPS 23098 HAS SOUS 18071 HAS SOUPS 18071 WITH SCORE 18094.098
AT ITER 6053 NEW BEST:: SOT 42236 SOS 23091 HAS SOPS 23091 HAS SOUS 18064 HAS SOUPS 18064 WITH SCORE 18087.091
AT ITER 6060 NEW BEST:: SOT 42238 SOS 23098 HAS SOPS 23098 HAS SOUS 18057 HAS SOUPS 18057 WITH SCORE 18080.098
AT ITER 6061 NEW BEST:: SOT 42229 SOS 23092 HAS SOPS 23092 HAS SOUS 18051 HAS SOUPS 18051 WITH SCORE 18074.092
AT ITER 6070 NEW BEST:: SOT 42242 SOS 23079 HAS SOPS 23079 HAS SOUS 18038 HAS SOUPS 18038 WITH SCORE 18061.079
AT ITER 6089 NEW BEST:: SOT 42240 SOS 23086 HAS SOPS 23086 HAS SOUS 18035 HAS SOUPS 18035 WITH SCORE 18058.086
AT ITER 6099 NEW BEST:: SOT 42240 SOS 23086 HAS SOPS 23086 HAS SOUS 18031 HAS SOUPS 18031 WITH SCORE 18054.086
AT ITER 6107 NEW BEST:: SOT 42240 SOS 23039 HAS SOPS 23039 HAS SOUS 18031 HAS SOUPS 18031 WITH SCORE 18054.039
AT ITER 6126 NEW BEST:: SOT 42271 SOS 23037 HAS SOPS 23037 HAS SOUS 18029 HAS SOUPS 18029 WITH SCORE 18052.037
AT ITER 6194 NEW BEST:: SOT 42271 SOS 23013 HAS SOPS 23013 HAS SOUS 18029 HAS SOUPS 18029 WITH SCORE 18052.013
AT ITER 6224 NEW BEST:: SOT 42277 SOS 23019 HAS SOPS 23019 HAS SOUS 18020 HAS SOUPS 18020 WITH SCORE 18043.019
AT ITER 6255 NEW BEST:: SOT 42248 SOS 23012 HAS SOPS 23012 HAS SOUS 18005 HAS SOUPS 18005 WITH SCORE 18028.012
AT ITER 6316 NEW BEST:: SOT 42248 SOS 23012 HAS SOPS 23012 HAS SOUS 18004 HAS SOUPS 18004 WITH SCORE 18027.012
AT ITER 6356 NEW BEST:: SOT 42242 SOS 23030 HAS SOPS 23030 HAS SOUS 18002 HAS SOUPS 18002 WITH SCORE 18025.03
AT ITER 6402 NEW BEST:: SOT 42243 SOS 23010 HAS SOPS 23010 HAS SOUS 17982 HAS SOUPS 17982 WITH SCORE 18005.01
AT ITER 6406 NEW BEST:: SOT 42242 SOS 23009 HAS SOPS 23009 HAS SOUS 17981 HAS SOUPS 17981 WITH SCORE 18004.009
AT ITER 6420 NEW BEST:: SOT 42168 SOS 23031 HAS SOPS 23031 HAS SOUS 17907 HAS SOUPS 17907 WITH SCORE 17930.031
AT ITER 6449 NEW BEST:: SOT 42168 SOS 23010 HAS SOPS 23010 HAS SOUS 17891 HAS SOUPS 17891 WITH SCORE 17914.01
AT ITER 6475 NEW BEST:: SOT 42168 SOS 23010 HAS SOPS 23010 HAS SOUS 17887 HAS SOUPS 17887 WITH SCORE 17910.01
AT ITER 6484 NEW BEST:: SOT 42151 SOS 22993 HAS SOPS 22993 HAS SOUS 17851 HAS SOUPS 17851 WITH SCORE 17873.993
AT ITER 6513 NEW BEST:: SOT 42142 SOS 22984 HAS SOPS 22984 HAS SOUS 17842 HAS SOUPS 17842 WITH SCORE 17864.984
AT ITER 6582 NEW BEST:: SOT 42124 SOS 23145 HAS SOPS 23145 HAS SOUS 17824 HAS SOUPS 17824 WITH SCORE 17847.145
AT ITER 6587 NEW BEST:: SOT 42124 SOS 23147 HAS SOPS 23147 HAS SOUS 17819 HAS SOUPS 17819 WITH SCORE 17842.147
AT ITER 6589 NEW BEST:: SOT 42127 SOS 23150 HAS SOPS 23150 HAS SOUS 17814 HAS SOUPS 17814 WITH SCORE 17837.15
AT ITER 6599 NEW BEST:: SOT 42113 SOS 23136 HAS SOPS 23136 HAS SOUS 17788 HAS SOUPS 17788 WITH SCORE 17811.136
AT ITER 6633 NEW BEST:: SOT 42113 SOS 23136 HAS SOPS 23136 HAS SOUS 17762 HAS SOUPS 17762 WITH SCORE 17785.136
AT ITER 6637 NEW BEST:: SOT 42104 SOS 23127 HAS SOPS 23127 HAS SOUS 17753 HAS SOUPS 17753 WITH SCORE 17776.127
AT ITER 6662 NEW BEST:: SOT 42104 SOS 23119 HAS SOPS 23119 HAS SOUS 17740 HAS SOUPS 17740 WITH SCORE 17763.119
AT ITER 6673 NEW BEST:: SOT 42104 SOS 23118 HAS SOPS 23118 HAS SOUS 17739 HAS SOUPS 17739 WITH SCORE 17762.118
AT ITER 6695 NEW BEST:: SOT 42104 SOS 23117 HAS SOPS 23117 HAS SOUS 17739 HAS SOUPS 17739 WITH SCORE 17762.117
AT ITER 6722 NEW BEST:: SOT 42099 SOS 23088 HAS SOPS 23088 HAS SOUS 17734 HAS SOUPS 17734 WITH SCORE 17757.088
AT ITER 6786 NEW BEST:: SOT 42086 SOS 23075 HAS SOPS 23075 HAS SOUS 17721 HAS SOUPS 17721 WITH SCORE 17744.075
AT ITER 6800 NEW BEST:: SOT 42078 SOS 23067 HAS SOPS 23067 HAS SOUS 17713 HAS SOUPS 17713 WITH SCORE 17736.067
AT ITER 6810 NEW BEST:: SOT 42078 SOS 23067 HAS SOPS 23067 HAS SOUS 17701 HAS SOUPS 17701 WITH SCORE 17724.067
AT ITER 6835 NEW BEST:: SOT 42053 SOS 23194 HAS SOPS 23194 HAS SOUS 17698 HAS SOUPS 17698 WITH SCORE 17721.194
AT ITER 6891 NEW BEST:: SOT 42053 SOS 23182 HAS SOPS 23182 HAS SOUS 17698 HAS SOUPS 17698 WITH SCORE 17721.182
AT ITER 6904 NEW BEST:: SOT 42050 SOS 23179 HAS SOPS 23179 HAS SOUS 17691 HAS SOUPS 17691 WITH SCORE 17714.179
AT ITER 6907 NEW BEST:: SOT 42048 SOS 23177 HAS SOPS 23177 HAS SOUS 17684 HAS SOUPS 17684 WITH SCORE 17707.177
AT ITER 6922 NEW BEST:: SOT 42037 SOS 23146 HAS SOPS 23146 HAS SOUS 17651 HAS SOUPS 17651 WITH SCORE 17674.146
AT ITER 6953 NEW BEST:: SOT 42037 SOS 23139 HAS SOPS 23139 HAS SOUS 17639 HAS SOUPS 17639 WITH SCORE 17662.139
AT ITER 6985 NEW BEST:: SOT 42031 SOS 23207 HAS SOPS 23207 HAS SOUS 17636 HAS SOUPS 17636 WITH SCORE 17659.207
AT ITER 6998 NEW BEST:: SOT 42029 SOS 23179 HAS SOPS 23179 HAS SOUS 17633 HAS SOUPS 17633 WITH SCORE 17656.179
AT ITER 7012 NEW BEST:: SOT 42019 SOS 23169 HAS SOPS 23169 HAS SOUS 17623 HAS SOUPS 17623 WITH SCORE 17646.169
AT ITER 7028 NEW BEST:: SOT 42015 SOS 23158 HAS SOPS 23158 HAS SOUS 17593 HAS SOUPS 17593 WITH SCORE 17616.158
AT ITER 7045 NEW BEST:: SOT 42015 SOS 23153 HAS SOPS 23153 HAS SOUS 17593 HAS SOUPS 17593 WITH SCORE 17616.153
AT ITER 7081 NEW BEST:: SOT 42015 SOS 23149 HAS SOPS 23149 HAS SOUS 17593 HAS SOUPS 17593 WITH SCORE 17616.149
AT ITER 7087 NEW BEST:: SOT 42015 SOS 23136 HAS SOPS 23136 HAS SOUS 17578 HAS SOUPS 17578 WITH SCORE 17601.136
AT ITER 7092 NEW BEST:: SOT 41997 SOS 23166 HAS SOPS 23166 HAS SOUS 17576 HAS SOUPS 17576 WITH SCORE 17599.166
AT ITER 7095 NEW BEST:: SOT 41997 SOS 23166 HAS SOPS 23166 HAS SOUS 17556 HAS SOUPS 17556 WITH SCORE 17579.166
AT ITER 7122 NEW BEST:: SOT 41898 SOS 23184 HAS SOPS 23184 HAS SOUS 17491 HAS SOUPS 17491 WITH SCORE 17514.184
AT ITER 7137 NEW BEST:: SOT 41896 SOS 23182 HAS SOPS 23182 HAS SOUS 17489 HAS SOUPS 17489 WITH SCORE 17512.182
AT ITER 7146 NEW BEST:: SOT 41913 SOS 23193 HAS SOPS 23193 HAS SOUS 17488 HAS SOUPS 17488 WITH SCORE 17511.193
AT ITER 7176 NEW BEST:: SOT 41907 SOS 23190 HAS SOPS 23190 HAS SOUS 17488 HAS SOUPS 17488 WITH SCORE 17511.19
AT ITER 7266 NEW BEST:: SOT 41904 SOS 23187 HAS SOPS 23187 HAS SOUS 17483 HAS SOUPS 17483 WITH SCORE 17506.187
AT ITER 7303 NEW BEST:: SOT 41904 SOS 23187 HAS SOPS 23187 HAS SOUS 17481 HAS SOUPS 17481 WITH SCORE 17504.187
AT ITER 7356 NEW BEST:: SOT 41909 SOS 23182 HAS SOPS 23182 HAS SOUS 17476 HAS SOUPS 17476 WITH SCORE 17499.182
AT ITER 7368 NEW BEST:: SOT 41893 SOS 23243 HAS SOPS 23243 HAS SOUS 17460 HAS SOUPS 17460 WITH SCORE 17483.243
AT ITER 7397 NEW BEST:: SOT 41888 SOS 23258 HAS SOPS 23258 HAS SOUS 17459 HAS SOUPS 17459 WITH SCORE 17482.258
AT ITER 7405 NEW BEST:: SOT 41863 SOS 23370 HAS SOPS 23370 HAS SOUS 17443 HAS SOUPS 17443 WITH SCORE 17466.37
AT ITER 7444 NEW BEST:: SOT 41863 SOS 23356 HAS SOPS 23356 HAS SOUS 17440 HAS SOUPS 17440 WITH SCORE 17463.356
AT ITER 7582 NEW BEST:: SOT 41830 SOS 23334 HAS SOPS 23334 HAS SOUS 17428 HAS SOUPS 17428 WITH SCORE 17451.334
AT ITER 7590 NEW BEST:: SOT 41827 SOS 23331 HAS SOPS 23331 HAS SOUS 17425 HAS SOUPS 17425 WITH SCORE 17448.331
AT ITER 7601 NEW BEST:: SOT 41823 SOS 23339 HAS SOPS 23339 HAS SOUS 17421 HAS SOUPS 17421 WITH SCORE 17444.339
AT ITER 7607 NEW BEST:: SOT 41823 SOS 23339 HAS SOPS 23339 HAS SOUS 17417 HAS SOUPS 17417 WITH SCORE 17440.339
AT ITER 7608 NEW BEST:: SOT 41798 SOS 23314 HAS SOPS 23314 HAS SOUS 17392 HAS SOUPS 17392 WITH SCORE 17415.314
AT ITER 7612 NEW BEST:: SOT 41704 SOS 23264 HAS SOPS 23264 HAS SOUS 17379 HAS SOUPS 17379 WITH SCORE 17402.264
AT ITER 7631 NEW BEST:: SOT 41704 SOS 23256 HAS SOPS 23256 HAS SOUS 17379 HAS SOUPS 17379 WITH SCORE 17402.256
AT ITER 7737 NEW BEST:: SOT 41705 SOS 23257 HAS SOPS 23257 HAS SOUS 17376 HAS SOUPS 17376 WITH SCORE 17399.257
AT ITER 7740 NEW BEST:: SOT 41705 SOS 23266 HAS SOPS 23266 HAS SOUS 17347 HAS SOUPS 17347 WITH SCORE 17370.266
AT ITER 7761 NEW BEST:: SOT 41697 SOS 23287 HAS SOPS 23287 HAS SOUS 17340 HAS SOUPS 17340 WITH SCORE 17363.287
AT ITER 7784 NEW BEST:: SOT 41721 SOS 23314 HAS SOPS 23314 HAS SOUS 17335 HAS SOUPS 17335 WITH SCORE 17358.314
AT ITER 7790 NEW BEST:: SOT 41703 SOS 23303 HAS SOPS 23303 HAS SOUS 17324 HAS SOUPS 17324 WITH SCORE 17347.303
AT ITER 7861 NEW BEST:: SOT 41703 SOS 23302 HAS SOPS 23302 HAS SOUS 17323 HAS SOUPS 17323 WITH SCORE 17346.302
AT ITER 7877 NEW BEST:: SOT 41718 SOS 23285 HAS SOPS 23285 HAS SOUS 17319 HAS SOUPS 17319 WITH SCORE 17342.285
AT ITER 7906 NEW BEST:: SOT 41718 SOS 23195 HAS SOPS 23195 HAS SOUS 17319 HAS SOUPS 17319 WITH SCORE 17342.195
AT ITER 7932 NEW BEST:: SOT 41697 SOS 23174 HAS SOPS 23174 HAS SOUS 17298 HAS SOUPS 17298 WITH SCORE 17321.174
AT ITER 7940 NEW BEST:: SOT 41693 SOS 23170 HAS SOPS 23170 HAS SOUS 17294 HAS SOUPS 17294 WITH SCORE 17317.17
AT ITER 7946 NEW BEST:: SOT 41676 SOS 23153 HAS SOPS 23153 HAS SOUS 17277 HAS SOUPS 17277 WITH SCORE 17300.153
AT ITER 8046 NEW BEST:: SOT 41674 SOS 23167 HAS SOPS 23167 HAS SOUS 17275 HAS SOUPS 17275 WITH SCORE 17298.167
AT ITER 8059 NEW BEST:: SOT 41674 SOS 23167 HAS SOPS 23167 HAS SOUS 17274 HAS SOUPS 17274 WITH SCORE 17297.167
AT ITER 8070 NEW BEST:: SOT 41678 SOS 23159 HAS SOPS 23159 HAS SOUS 17259 HAS SOUPS 17259 WITH SCORE 17282.159
AT ITER 8087 NEW BEST:: SOT 41678 SOS 23159 HAS SOPS 23159 HAS SOUS 17258 HAS SOUPS 17258 WITH SCORE 17281.159
AT ITER 8122 NEW BEST:: SOT 41678 SOS 23157 HAS SOPS 23157 HAS SOUS 17258 HAS SOUPS 17258 WITH SCORE 17281.157
AT ITER 8182 NEW BEST:: SOT 41654 SOS 23147 HAS SOPS 23147 HAS SOUS 17248 HAS SOUPS 17248 WITH SCORE 17271.147
AT ITER 8306 NEW BEST:: SOT 41652 SOS 23145 HAS SOPS 23145 HAS SOUS 17234 HAS SOUPS 17234 WITH SCORE 17257.145
AT ITER 8452 NEW BEST:: SOT 41652 SOS 23156 HAS SOPS 23156 HAS SOUS 17230 HAS SOUPS 17230 WITH SCORE 17253.156
AT ITER 8487 NEW BEST:: SOT 41652 SOS 23149 HAS SOPS 23149 HAS SOUS 17225 HAS SOUPS 17225 WITH SCORE 17248.149
AT ITER 8518 NEW BEST:: SOT 41648 SOS 23151 HAS SOPS 23151 HAS SOUS 17222 HAS SOUPS 17222 WITH SCORE 17245.151
AT ITER 8534 NEW BEST:: SOT 41648 SOS 23151 HAS SOPS 23151 HAS SOUS 17221 HAS SOUPS 17221 WITH SCORE 17244.151
AT ITER 8544 NEW BEST:: SOT 41644 SOS 23147 HAS SOPS 23147 HAS SOUS 17217 HAS SOUPS 17217 WITH SCORE 17240.147
AT ITER 8563 NEW BEST:: SOT 41644 SOS 23127 HAS SOPS 23127 HAS SOUS 17217 HAS SOUPS 17217 WITH SCORE 17240.127
AT ITER 8593 NEW BEST:: SOT 41645 SOS 23131 HAS SOPS 23131 HAS SOUS 17216 HAS SOUPS 17216 WITH SCORE 17239.131
AT ITER 8701 NEW BEST:: SOT 41641 SOS 23127 HAS SOPS 23127 HAS SOUS 17212 HAS SOUPS 17212 WITH SCORE 17235.127
AT ITER 8743 NEW BEST:: SOT 41627 SOS 23113 HAS SOPS 23113 HAS SOUS 17184 HAS SOUPS 17184 WITH SCORE 17207.113
AT ITER 8775 NEW BEST:: SOT 41623 SOS 23109 HAS SOPS 23109 HAS SOUS 17180 HAS SOUPS 17180 WITH SCORE 17203.109
AT ITER 8778 NEW BEST:: SOT 41619 SOS 23105 HAS SOPS 23105 HAS SOUS 17162 HAS SOUPS 17162 WITH SCORE 17185.105
AT ITER 8815 NEW BEST:: SOT 41608 SOS 23118 HAS SOPS 23118 HAS SOUS 17151 HAS SOUPS 17151 WITH SCORE 17174.118
AT ITER 8870 NEW BEST:: SOT 41608 SOS 23117 HAS SOPS 23117 HAS SOUS 17150 HAS SOUPS 17150 WITH SCORE 17173.117
AT ITER 8947 NEW BEST:: SOT 41608 SOS 23102 HAS SOPS 23102 HAS SOUS 17150 HAS SOUPS 17150 WITH SCORE 17173.102
AT ITER 8950 NEW BEST:: SOT 41596 SOS 23090 HAS SOPS 23090 HAS SOUS 17138 HAS SOUPS 17138 WITH SCORE 17161.09
AT ITER 8989 NEW BEST:: SOT 41596 SOS 23095 HAS SOPS 23095 HAS SOUS 17135 HAS SOUPS 17135 WITH SCORE 17158.095
AT ITER 8994 NEW BEST:: SOT 41643 SOS 23123 HAS SOPS 23123 HAS SOUS 17133 HAS SOUPS 17133 WITH SCORE 17156.123
AT ITER 9035 NEW BEST:: SOT 41631 SOS 23127 HAS SOPS 23127 HAS SOUS 17129 HAS SOUPS 17129 WITH SCORE 17152.127
AT ITER 9150 NEW BEST:: SOT 41631 SOS 23121 HAS SOPS 23121 HAS SOUS 17129 HAS SOUPS 17129 WITH SCORE 17152.121
AT ITER 9177 NEW BEST:: SOT 41639 SOS 23019 HAS SOPS 23019 HAS SOUS 17116 HAS SOUPS 17116 WITH SCORE 17139.019
AT ITER 9235 NEW BEST:: SOT 41638 SOS 23017 HAS SOPS 23017 HAS SOUS 17112 HAS SOUPS 17112 WITH SCORE 17135.017
AT ITER 9301 NEW BEST:: SOT 41636 SOS 23015 HAS SOPS 23015 HAS SOUS 17110 HAS SOUPS 17110 WITH SCORE 17133.015
AT ITER 9320 NEW BEST:: SOT 41636 SOS 23003 HAS SOPS 23003 HAS SOUS 17109 HAS SOUPS 17109 WITH SCORE 17132.003
AT ITER 9404 NEW BEST:: SOT 41647 SOS 22992 HAS SOPS 22992 HAS SOUS 17108 HAS SOUPS 17108 WITH SCORE 17130.992
AT ITER 9446 NEW BEST:: SOT 41644 SOS 22989 HAS SOPS 22989 HAS SOUS 17105 HAS SOUPS 17105 WITH SCORE 17127.989
AT ITER 9487 NEW BEST:: SOT 41636 SOS 22987 HAS SOPS 22987 HAS SOUS 17097 HAS SOUPS 17097 WITH SCORE 17119.987
AT ITER 9506 NEW BEST:: SOT 41636 SOS 22978 HAS SOPS 22978 HAS SOUS 17097 HAS SOUPS 17097 WITH SCORE 17119.978
AT ITER 9536 NEW BEST:: SOT 41641 SOS 22977 HAS SOPS 22977 HAS SOUS 17096 HAS SOUPS 17096 WITH SCORE 17118.977
AT ITER 9549 NEW BEST:: SOT 41638 SOS 22977 HAS SOPS 22977 HAS SOUS 17093 HAS SOUPS 17093 WITH SCORE 17115.977
AT ITER 9634 NEW BEST:: SOT 41636 SOS 22975 HAS SOPS 22975 HAS SOUS 17091 HAS SOUPS 17091 WITH SCORE 17113.975
AT ITER 9639 NEW BEST:: SOT 41657 SOS 22970 HAS SOPS 22970 HAS SOUS 17090 HAS SOUPS 17090 WITH SCORE 17112.97
AT ITER 9694 NEW BEST:: SOT 41635 SOS 22970 HAS SOPS 22970 HAS SOUS 17079 HAS SOUPS 17079 WITH SCORE 17101.97
AT ITER 9753 NEW BEST:: SOT 41633 SOS 22968 HAS SOPS 22968 HAS SOUS 17077 HAS SOUPS 17077 WITH SCORE 17099.968
AT ITER 9790 NEW BEST:: SOT 41627 SOS 22963 HAS SOPS 22963 HAS SOUS 17072 HAS SOUPS 17072 WITH SCORE 17094.963
AT ITER 9793 NEW BEST:: SOT 41627 SOS 22975 HAS SOPS 22975 HAS SOUS 17069 HAS SOUPS 17069 WITH SCORE 17091.975
AT ITER 9808 NEW BEST:: SOT 41630 SOS 22978 HAS SOPS 22978 HAS SOUS 17068 HAS SOUPS 17068 WITH SCORE 17090.978
AT ITER 9810 NEW BEST:: SOT 41630 SOS 22955 HAS SOPS 22955 HAS SOUS 17068 HAS SOUPS 17068 WITH SCORE 17090.955
AT ITER 9869 NEW BEST:: SOT 41630 SOS 22955 HAS SOPS 22955 HAS SOUS 17062 HAS SOUPS 17062 WITH SCORE 17084.955
AT ITER 9874 NEW BEST:: SOT 41628 SOS 22953 HAS SOPS 22953 HAS SOUS 17060 HAS SOUPS 17060 WITH SCORE 17082.953
AT ITER 9885 NEW BEST:: SOT 41628 SOS 22950 HAS SOPS 22950 HAS SOUS 17059 HAS SOUPS 17059 WITH SCORE 17081.95
AT ITER 9894 NEW BEST:: SOT 41624 SOS 22948 HAS SOPS 22948 HAS SOUS 17055 HAS SOUPS 17055 WITH SCORE 17077.948
AT ITER 9931 NEW BEST:: SOT 41620 SOS 22944 HAS SOPS 22944 HAS SOUS 17044 HAS SOUPS 17044 WITH SCORE 17066.944
AT ITER 9942 NEW BEST:: SOT 41620 SOS 22933 HAS SOPS 22933 HAS SOUS 17043 HAS SOUPS 17043 WITH SCORE 17065.933
AT ITER 9950 NEW BEST:: SOT 41619 SOS 22932 HAS SOPS 22932 HAS SOUS 17042 HAS SOUPS 17042 WITH SCORE 17064.932
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 1910788 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16113236 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Sudoku-PT-AN06"
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-PT-AN06, 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-167912710200208"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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