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.r131-smll-167819407300296.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 smart
Input is DiscoveryGPU-PT-06b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r131-smll-167819407300296
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 464K
-rw-r--r-- 1 mcc users 6.3K Feb 25 13:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 66K Feb 25 13:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 25 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 25 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:59 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:59 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 13:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 119K Feb 25 13:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Feb 25 13:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 25 13:23 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:59 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:59 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 46K Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679881449202

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DiscoveryGPU-PT-06b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 06b
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 184 places, 194 transitions, 503 arcs.
AT ITER 0 NEW BEST:: SOT 24109 SOS 10828 HAS SOPS 10828 HAS SOUS 9796 HAS SOUPS 9796 WITH SCORE 9806.828
AT ITER 2 NEW BEST:: SOT 24066 SOS 10764 HAS SOPS 10764 HAS SOUS 9752 HAS SOUPS 9752 WITH SCORE 9762.764
AT ITER 9 NEW BEST:: SOT 24040 SOS 10728 HAS SOPS 10728 HAS SOUS 9725 HAS SOUPS 9725 WITH SCORE 9735.728
AT ITER 11 NEW BEST:: SOT 24034 SOS 10678 HAS SOPS 10678 HAS SOUS 9638 HAS SOUPS 9638 WITH SCORE 9648.678
AT ITER 14 NEW BEST:: SOT 23979 SOS 10612 HAS SOPS 10612 HAS SOUS 9573 HAS SOUPS 9573 WITH SCORE 9583.612
AT ITER 18 NEW BEST:: SOT 23979 SOS 10568 HAS SOPS 10568 HAS SOUS 9528 HAS SOUPS 9528 WITH SCORE 9538.568
AT ITER 19 NEW BEST:: SOT 23945 SOS 10500 HAS SOPS 10500 HAS SOUS 9449 HAS SOUPS 9449 WITH SCORE 9459.5
AT ITER 24 NEW BEST:: SOT 23942 SOS 10497 HAS SOPS 10497 HAS SOUS 9446 HAS SOUPS 9446 WITH SCORE 9456.497
AT ITER 25 NEW BEST:: SOT 23957 SOS 10494 HAS SOPS 10494 HAS SOUS 9407 HAS SOUPS 9407 WITH SCORE 9417.494
AT ITER 34 NEW BEST:: SOT 23186 SOS 9823 HAS SOPS 9823 HAS SOUS 8697 HAS SOUPS 8697 WITH SCORE 8706.823
AT ITER 38 NEW BEST:: SOT 23164 SOS 9801 HAS SOPS 9801 HAS SOUS 8674 HAS SOUPS 8674 WITH SCORE 8683.801
AT ITER 40 NEW BEST:: SOT 23156 SOS 9791 HAS SOPS 9791 HAS SOUS 8665 HAS SOUPS 8665 WITH SCORE 8674.791
AT ITER 55 NEW BEST:: SOT 23156 SOS 9750 HAS SOPS 9750 HAS SOUS 8665 HAS SOUPS 8665 WITH SCORE 8674.75
AT ITER 57 NEW BEST:: SOT 23104 SOS 9701 HAS SOPS 9701 HAS SOUS 8616 HAS SOUPS 8616 WITH SCORE 8625.701
AT ITER 58 NEW BEST:: SOT 23104 SOS 9701 HAS SOPS 9701 HAS SOUS 8615 HAS SOUPS 8615 WITH SCORE 8624.701
AT ITER 60 NEW BEST:: SOT 23050 SOS 9701 HAS SOPS 9701 HAS SOUS 8578 HAS SOUPS 8578 WITH SCORE 8587.701
AT ITER 61 NEW BEST:: SOT 23035 SOS 9683 HAS SOPS 9683 HAS SOUS 8561 HAS SOUPS 8561 WITH SCORE 8570.683
AT ITER 68 NEW BEST:: SOT 23025 SOS 9673 HAS SOPS 9673 HAS SOUS 8551 HAS SOUPS 8551 WITH SCORE 8560.673
AT ITER 73 NEW BEST:: SOT 23024 SOS 9653 HAS SOPS 9653 HAS SOUS 8532 HAS SOUPS 8532 WITH SCORE 8541.653
AT ITER 82 NEW BEST:: SOT 22988 SOS 9614 HAS SOPS 9614 HAS SOUS 8493 HAS SOUPS 8493 WITH SCORE 8502.614
AT ITER 87 NEW BEST:: SOT 22985 SOS 9583 HAS SOPS 9583 HAS SOUS 8462 HAS SOUPS 8462 WITH SCORE 8471.583
AT ITER 89 NEW BEST:: SOT 22955 SOS 9556 HAS SOPS 9556 HAS SOUS 8437 HAS SOUPS 8437 WITH SCORE 8446.556
AT ITER 98 NEW BEST:: SOT 22941 SOS 9528 HAS SOPS 9528 HAS SOUS 8409 HAS SOUPS 8409 WITH SCORE 8418.528
AT ITER 99 NEW BEST:: SOT 22941 SOS 9520 HAS SOPS 9520 HAS SOUS 8408 HAS SOUPS 8408 WITH SCORE 8417.52
AT ITER 105 NEW BEST:: SOT 22941 SOS 9469 HAS SOPS 9469 HAS SOUS 8357 HAS SOUPS 8357 WITH SCORE 8366.469
AT ITER 106 NEW BEST:: SOT 22919 SOS 9441 HAS SOPS 9441 HAS SOUS 8301 HAS SOUPS 8301 WITH SCORE 8310.441
AT ITER 107 NEW BEST:: SOT 22887 SOS 9386 HAS SOPS 9386 HAS SOUS 8252 HAS SOUPS 8252 WITH SCORE 8261.386
AT ITER 111 NEW BEST:: SOT 22910 SOS 9371 HAS SOPS 9371 HAS SOUS 8198 HAS SOUPS 8198 WITH SCORE 8207.371
AT ITER 114 NEW BEST:: SOT 22685 SOS 9553 HAS SOPS 9553 HAS SOUS 7983 HAS SOUPS 7983 WITH SCORE 7992.553
AT ITER 125 NEW BEST:: SOT 22672 SOS 9527 HAS SOPS 9527 HAS SOUS 7968 HAS SOUPS 7968 WITH SCORE 7977.527
AT ITER 130 NEW BEST:: SOT 22672 SOS 9508 HAS SOPS 9508 HAS SOUS 7968 HAS SOUPS 7968 WITH SCORE 7977.508
AT ITER 135 NEW BEST:: SOT 22551 SOS 9464 HAS SOPS 9464 HAS SOUS 7963 HAS SOUPS 7963 WITH SCORE 7972.464
AT ITER 136 NEW BEST:: SOT 22572 SOS 9400 HAS SOPS 9400 HAS SOUS 7954 HAS SOUPS 7954 WITH SCORE 7963.4
AT ITER 139 NEW BEST:: SOT 22543 SOS 9379 HAS SOPS 9379 HAS SOUS 7946 HAS SOUPS 7946 WITH SCORE 7955.379
AT ITER 144 NEW BEST:: SOT 22499 SOS 9320 HAS SOPS 9320 HAS SOUS 7940 HAS SOUPS 7940 WITH SCORE 7949.32
AT ITER 145 NEW BEST:: SOT 22435 SOS 9237 HAS SOPS 9237 HAS SOUS 7886 HAS SOUPS 7886 WITH SCORE 7895.237
AT ITER 151 NEW BEST:: SOT 22386 SOS 8882 HAS SOPS 8882 HAS SOUS 7820 HAS SOUPS 7820 WITH SCORE 7828.882
AT ITER 152 NEW BEST:: SOT 22376 SOS 8867 HAS SOPS 8867 HAS SOUS 7809 HAS SOUPS 7809 WITH SCORE 7817.867
AT ITER 154 NEW BEST:: SOT 22365 SOS 8856 HAS SOPS 8856 HAS SOUS 7798 HAS SOUPS 7798 WITH SCORE 7806.856
AT ITER 159 NEW BEST:: SOT 22334 SOS 8751 HAS SOPS 8751 HAS SOUS 7686 HAS SOUPS 7686 WITH SCORE 7694.751
AT ITER 167 NEW BEST:: SOT 22322 SOS 8743 HAS SOPS 8743 HAS SOUS 7661 HAS SOUPS 7661 WITH SCORE 7669.743
AT ITER 168 NEW BEST:: SOT 22285 SOS 8731 HAS SOPS 8731 HAS SOUS 7644 HAS SOUPS 7644 WITH SCORE 7652.731
AT ITER 179 NEW BEST:: SOT 22208 SOS 8657 HAS SOPS 8657 HAS SOUS 7596 HAS SOUPS 7596 WITH SCORE 7604.657
AT ITER 183 NEW BEST:: SOT 22205 SOS 8651 HAS SOPS 8651 HAS SOUS 7593 HAS SOUPS 7593 WITH SCORE 7601.651
AT ITER 184 NEW BEST:: SOT 22200 SOS 8641 HAS SOPS 8641 HAS SOUS 7588 HAS SOUPS 7588 WITH SCORE 7596.641
AT ITER 187 NEW BEST:: SOT 22180 SOS 8601 HAS SOPS 8601 HAS SOUS 7566 HAS SOUPS 7566 WITH SCORE 7574.601
AT ITER 192 NEW BEST:: SOT 22175 SOS 8600 HAS SOPS 8600 HAS SOUS 7561 HAS SOUPS 7561 WITH SCORE 7569.6
AT ITER 194 NEW BEST:: SOT 22167 SOS 8588 HAS SOPS 8588 HAS SOUS 7545 HAS SOUPS 7545 WITH SCORE 7553.588
AT ITER 199 NEW BEST:: SOT 22149 SOS 8572 HAS SOPS 8572 HAS SOUS 7529 HAS SOUPS 7529 WITH SCORE 7537.572
AT ITER 200 NEW BEST:: SOT 22149 SOS 8566 HAS SOPS 8566 HAS SOUS 7517 HAS SOUPS 7517 WITH SCORE 7525.566
AT ITER 209 NEW BEST:: SOT 22148 SOS 8565 HAS SOPS 8565 HAS SOUS 7515 HAS SOUPS 7515 WITH SCORE 7523.565
AT ITER 212 NEW BEST:: SOT 21953 SOS 8432 HAS SOPS 8432 HAS SOUS 7338 HAS SOUPS 7338 WITH SCORE 7346.432
AT ITER 213 NEW BEST:: SOT 21908 SOS 8374 HAS SOPS 8374 HAS SOUS 7280 HAS SOUPS 7280 WITH SCORE 7288.374
AT ITER 218 NEW BEST:: SOT 21907 SOS 8373 HAS SOPS 8373 HAS SOUS 7279 HAS SOUPS 7279 WITH SCORE 7287.373
AT ITER 219 NEW BEST:: SOT 21890 SOS 8391 HAS SOPS 8391 HAS SOUS 7267 HAS SOUPS 7267 WITH SCORE 7275.391
AT ITER 224 NEW BEST:: SOT 21816 SOS 8307 HAS SOPS 8307 HAS SOUS 7228 HAS SOUPS 7228 WITH SCORE 7236.307
AT ITER 225 NEW BEST:: SOT 21816 SOS 8307 HAS SOPS 8307 HAS SOUS 7217 HAS SOUPS 7217 WITH SCORE 7225.307
AT ITER 234 NEW BEST:: SOT 21765 SOS 8224 HAS SOPS 8224 HAS SOUS 7114 HAS SOUPS 7114 WITH SCORE 7122.224
AT ITER 243 NEW BEST:: SOT 21761 SOS 8211 HAS SOPS 8211 HAS SOUS 7081 HAS SOUPS 7081 WITH SCORE 7089.211
AT ITER 244 NEW BEST:: SOT 21736 SOS 8147 HAS SOPS 8147 HAS SOUS 7017 HAS SOUPS 7017 WITH SCORE 7025.147
AT ITER 251 NEW BEST:: SOT 21722 SOS 8119 HAS SOPS 8119 HAS SOUS 6989 HAS SOUPS 6989 WITH SCORE 6997.119
AT ITER 268 NEW BEST:: SOT 21721 SOS 8090 HAS SOPS 8090 HAS SOUS 6987 HAS SOUPS 6987 WITH SCORE 6995.09
AT ITER 275 NEW BEST:: SOT 21719 SOS 8062 HAS SOPS 8062 HAS SOUS 6984 HAS SOUPS 6984 WITH SCORE 6992.062
AT ITER 281 NEW BEST:: SOT 21668 SOS 8354 HAS SOPS 8354 HAS SOUS 6959 HAS SOUPS 6959 WITH SCORE 6967.354
AT ITER 312 NEW BEST:: SOT 21659 SOS 8345 HAS SOPS 8345 HAS SOUS 6950 HAS SOUPS 6950 WITH SCORE 6958.345
AT ITER 314 NEW BEST:: SOT 21659 SOS 8343 HAS SOPS 8343 HAS SOUS 6948 HAS SOUPS 6948 WITH SCORE 6956.343
AT ITER 318 NEW BEST:: SOT 21659 SOS 8343 HAS SOPS 8343 HAS SOUS 6947 HAS SOUPS 6947 WITH SCORE 6955.343
AT ITER 319 NEW BEST:: SOT 21616 SOS 8287 HAS SOPS 8287 HAS SOUS 6904 HAS SOUPS 6904 WITH SCORE 6912.287
AT ITER 325 NEW BEST:: SOT 21600 SOS 8321 HAS SOPS 8321 HAS SOUS 6890 HAS SOUPS 6890 WITH SCORE 6898.321
AT ITER 335 NEW BEST:: SOT 21596 SOS 8316 HAS SOPS 8316 HAS SOUS 6885 HAS SOUPS 6885 WITH SCORE 6893.316
AT ITER 342 NEW BEST:: SOT 21568 SOS 8308 HAS SOPS 8308 HAS SOUS 6858 HAS SOUPS 6858 WITH SCORE 6866.308
AT ITER 345 NEW BEST:: SOT 21565 SOS 8302 HAS SOPS 8302 HAS SOUS 6855 HAS SOUPS 6855 WITH SCORE 6863.302
AT ITER 347 NEW BEST:: SOT 21543 SOS 8328 HAS SOPS 8328 HAS SOUS 6841 HAS SOUPS 6841 WITH SCORE 6849.328
AT ITER 376 NEW BEST:: SOT 21486 SOS 8271 HAS SOPS 8271 HAS SOUS 6788 HAS SOUPS 6788 WITH SCORE 6796.271
AT ITER 388 NEW BEST:: SOT 21468 SOS 8213 HAS SOPS 8213 HAS SOUS 6744 HAS SOUPS 6744 WITH SCORE 6752.213
AT ITER 410 NEW BEST:: SOT 21483 SOS 8228 HAS SOPS 8228 HAS SOUS 6733 HAS SOUPS 6733 WITH SCORE 6741.228
AT ITER 412 NEW BEST:: SOT 21435 SOS 8180 HAS SOPS 8180 HAS SOUS 6685 HAS SOUPS 6685 WITH SCORE 6693.18
AT ITER 415 NEW BEST:: SOT 21431 SOS 8177 HAS SOPS 8177 HAS SOUS 6678 HAS SOUPS 6678 WITH SCORE 6686.177
AT ITER 420 NEW BEST:: SOT 21430 SOS 8178 HAS SOPS 8178 HAS SOUS 6677 HAS SOUPS 6677 WITH SCORE 6685.178
AT ITER 437 NEW BEST:: SOT 21434 SOS 8172 HAS SOPS 8172 HAS SOUS 6675 HAS SOUPS 6675 WITH SCORE 6683.172
AT ITER 444 NEW BEST:: SOT 21434 SOS 8166 HAS SOPS 8166 HAS SOUS 6675 HAS SOUPS 6675 WITH SCORE 6683.166
AT ITER 448 NEW BEST:: SOT 21433 SOS 8166 HAS SOPS 8166 HAS SOUS 6674 HAS SOUPS 6674 WITH SCORE 6682.166
AT ITER 451 NEW BEST:: SOT 21409 SOS 8130 HAS SOPS 8130 HAS SOUS 6638 HAS SOUPS 6638 WITH SCORE 6646.13
AT ITER 453 NEW BEST:: SOT 21409 SOS 8130 HAS SOPS 8130 HAS SOUS 6629 HAS SOUPS 6629 WITH SCORE 6637.13
AT ITER 466 NEW BEST:: SOT 21403 SOS 8118 HAS SOPS 8118 HAS SOUS 6623 HAS SOUPS 6623 WITH SCORE 6631.118
AT ITER 480 NEW BEST:: SOT 21318 SOS 7979 HAS SOPS 7979 HAS SOUS 6566 HAS SOUPS 6566 WITH SCORE 6573.979
AT ITER 485 NEW BEST:: SOT 21309 SOS 7961 HAS SOPS 7961 HAS SOUS 6548 HAS SOUPS 6548 WITH SCORE 6555.961
AT ITER 500 NEW BEST:: SOT 21300 SOS 7948 HAS SOPS 7948 HAS SOUS 6535 HAS SOUPS 6535 WITH SCORE 6542.948
AT ITER 509 NEW BEST:: SOT 21296 SOS 7943 HAS SOPS 7943 HAS SOUS 6530 HAS SOUPS 6530 WITH SCORE 6537.943
AT ITER 510 NEW BEST:: SOT 21270 SOS 7891 HAS SOPS 7891 HAS SOUS 6530 HAS SOUPS 6530 WITH SCORE 6537.891
AT ITER 511 NEW BEST:: SOT 21269 SOS 7876 HAS SOPS 7876 HAS SOUS 6522 HAS SOUPS 6522 WITH SCORE 6529.876
AT ITER 512 NEW BEST:: SOT 21241 SOS 7848 HAS SOPS 7848 HAS SOUS 6493 HAS SOUPS 6493 WITH SCORE 6500.848
AT ITER 516 NEW BEST:: SOT 21240 SOS 7846 HAS SOPS 7846 HAS SOUS 6491 HAS SOUPS 6491 WITH SCORE 6498.846
AT ITER 517 NEW BEST:: SOT 21240 SOS 7838 HAS SOPS 7838 HAS SOUS 6475 HAS SOUPS 6475 WITH SCORE 6482.838
AT ITER 520 NEW BEST:: SOT 21226 SOS 7849 HAS SOPS 7849 HAS SOUS 6470 HAS SOUPS 6470 WITH SCORE 6477.849
AT ITER 521 NEW BEST:: SOT 21216 SOS 7839 HAS SOPS 7839 HAS SOUS 6460 HAS SOUPS 6460 WITH SCORE 6467.839
AT ITER 533 NEW BEST:: SOT 21200 SOS 7807 HAS SOPS 7807 HAS SOUS 6444 HAS SOUPS 6444 WITH SCORE 6451.807
AT ITER 542 NEW BEST:: SOT 21205 SOS 7773 HAS SOPS 7773 HAS SOUS 6410 HAS SOUPS 6410 WITH SCORE 6417.773
AT ITER 547 NEW BEST:: SOT 21209 SOS 7763 HAS SOPS 7763 HAS SOUS 6408 HAS SOUPS 6408 WITH SCORE 6415.763
AT ITER 548 NEW BEST:: SOT 21207 SOS 7759 HAS SOPS 7759 HAS SOUS 6404 HAS SOUPS 6404 WITH SCORE 6411.759
AT ITER 555 NEW BEST:: SOT 21203 SOS 7771 HAS SOPS 7771 HAS SOUS 6396 HAS SOUPS 6396 WITH SCORE 6403.771
AT ITER 563 NEW BEST:: SOT 21193 SOS 7787 HAS SOPS 7787 HAS SOUS 6389 HAS SOUPS 6389 WITH SCORE 6396.787
AT ITER 566 NEW BEST:: SOT 21185 SOS 7732 HAS SOPS 7732 HAS SOUS 6362 HAS SOUPS 6362 WITH SCORE 6369.732
AT ITER 597 NEW BEST:: SOT 21151 SOS 7665 HAS SOPS 7665 HAS SOUS 6294 HAS SOUPS 6294 WITH SCORE 6301.665
AT ITER 604 NEW BEST:: SOT 21139 SOS 7641 HAS SOPS 7641 HAS SOUS 6270 HAS SOUPS 6270 WITH SCORE 6277.641
AT ITER 607 NEW BEST:: SOT 21154 SOS 7656 HAS SOPS 7656 HAS SOUS 6265 HAS SOUPS 6265 WITH SCORE 6272.656
AT ITER 639 NEW BEST:: SOT 21155 SOS 7657 HAS SOPS 7657 HAS SOUS 6264 HAS SOUPS 6264 WITH SCORE 6271.657
AT ITER 655 NEW BEST:: SOT 21154 SOS 7655 HAS SOPS 7655 HAS SOUS 6262 HAS SOUPS 6262 WITH SCORE 6269.655
AT ITER 658 NEW BEST:: SOT 21153 SOS 7653 HAS SOPS 7653 HAS SOUS 6260 HAS SOUPS 6260 WITH SCORE 6267.653
AT ITER 665 NEW BEST:: SOT 21153 SOS 7651 HAS SOPS 7651 HAS SOUS 6258 HAS SOUPS 6258 WITH SCORE 6265.651
AT ITER 668 NEW BEST:: SOT 21156 SOS 7610 HAS SOPS 7610 HAS SOUS 6255 HAS SOUPS 6255 WITH SCORE 6262.61
AT ITER 676 NEW BEST:: SOT 21132 SOS 7443 HAS SOPS 7443 HAS SOUS 6211 HAS SOUPS 6211 WITH SCORE 6218.443
AT ITER 680 NEW BEST:: SOT 21151 SOS 7415 HAS SOPS 7415 HAS SOUS 6163 HAS SOUPS 6163 WITH SCORE 6170.415
AT ITER 683 NEW BEST:: SOT 21151 SOS 7409 HAS SOPS 7409 HAS SOUS 6160 HAS SOUPS 6160 WITH SCORE 6167.409
AT ITER 693 NEW BEST:: SOT 21100 SOS 7340 HAS SOPS 7340 HAS SOUS 6091 HAS SOUPS 6091 WITH SCORE 6098.34
AT ITER 706 NEW BEST:: SOT 21106 SOS 7312 HAS SOPS 7312 HAS SOUS 6069 HAS SOUPS 6069 WITH SCORE 6076.312
AT ITER 714 NEW BEST:: SOT 21103 SOS 7305 HAS SOPS 7305 HAS SOUS 6063 HAS SOUPS 6063 WITH SCORE 6070.305
AT ITER 718 NEW BEST:: SOT 21084 SOS 7285 HAS SOPS 7285 HAS SOUS 6037 HAS SOUPS 6037 WITH SCORE 6044.285
AT ITER 729 NEW BEST:: SOT 21082 SOS 7281 HAS SOPS 7281 HAS SOUS 6033 HAS SOUPS 6033 WITH SCORE 6040.281
AT ITER 740 NEW BEST:: SOT 21082 SOS 7280 HAS SOPS 7280 HAS SOUS 6032 HAS SOUPS 6032 WITH SCORE 6039.28
AT ITER 745 NEW BEST:: SOT 21084 SOS 7276 HAS SOPS 7276 HAS SOUS 6028 HAS SOUPS 6028 WITH SCORE 6035.276
AT ITER 765 NEW BEST:: SOT 21078 SOS 7264 HAS SOPS 7264 HAS SOUS 6013 HAS SOUPS 6013 WITH SCORE 6020.264
AT ITER 794 NEW BEST:: SOT 21078 SOS 7264 HAS SOPS 7264 HAS SOUS 6012 HAS SOUPS 6012 WITH SCORE 6019.264
AT ITER 800 NEW BEST:: SOT 21078 SOS 7260 HAS SOPS 7260 HAS SOUS 6010 HAS SOUPS 6010 WITH SCORE 6017.26
AT ITER 812 NEW BEST:: SOT 21074 SOS 7252 HAS SOPS 7252 HAS SOUS 6002 HAS SOUPS 6002 WITH SCORE 6009.252
AT ITER 839 NEW BEST:: SOT 21051 SOS 7206 HAS SOPS 7206 HAS SOUS 5962 HAS SOUPS 5962 WITH SCORE 5969.206
AT ITER 843 NEW BEST:: SOT 21049 SOS 7204 HAS SOPS 7204 HAS SOUS 5960 HAS SOUPS 5960 WITH SCORE 5967.204
AT ITER 874 NEW BEST:: SOT 21048 SOS 7203 HAS SOPS 7203 HAS SOUS 5959 HAS SOUPS 5959 WITH SCORE 5966.203
AT ITER 889 NEW BEST:: SOT 21026 SOS 7159 HAS SOPS 7159 HAS SOUS 5937 HAS SOUPS 5937 WITH SCORE 5944.159
AT ITER 896 NEW BEST:: SOT 21020 SOS 7238 HAS SOPS 7238 HAS SOUS 5918 HAS SOUPS 5918 WITH SCORE 5925.238
AT ITER 901 NEW BEST:: SOT 21014 SOS 7226 HAS SOPS 7226 HAS SOUS 5906 HAS SOUPS 5906 WITH SCORE 5913.226
AT ITER 910 NEW BEST:: SOT 20991 SOS 7240 HAS SOPS 7240 HAS SOUS 5886 HAS SOUPS 5886 WITH SCORE 5893.24
AT ITER 933 NEW BEST:: SOT 21006 SOS 7269 HAS SOPS 7269 HAS SOUS 5857 HAS SOUPS 5857 WITH SCORE 5864.269
AT ITER 935 NEW BEST:: SOT 20986 SOS 7229 HAS SOPS 7229 HAS SOUS 5837 HAS SOUPS 5837 WITH SCORE 5844.229
AT ITER 937 NEW BEST:: SOT 20950 SOS 7157 HAS SOPS 7157 HAS SOUS 5764 HAS SOUPS 5764 WITH SCORE 5771.157
AT ITER 957 NEW BEST:: SOT 20927 SOS 7111 HAS SOPS 7111 HAS SOUS 5733 HAS SOUPS 5733 WITH SCORE 5740.111
AT ITER 964 NEW BEST:: SOT 20895 SOS 7047 HAS SOPS 7047 HAS SOUS 5672 HAS SOUPS 5672 WITH SCORE 5679.047
AT ITER 965 NEW BEST:: SOT 20885 SOS 7027 HAS SOPS 7027 HAS SOUS 5626 HAS SOUPS 5626 WITH SCORE 5633.027
AT ITER 966 NEW BEST:: SOT 20884 SOS 7025 HAS SOPS 7025 HAS SOUS 5625 HAS SOUPS 5625 WITH SCORE 5632.025
AT ITER 967 NEW BEST:: SOT 20883 SOS 7019 HAS SOPS 7019 HAS SOUS 5623 HAS SOUPS 5623 WITH SCORE 5630.019
AT ITER 975 NEW BEST:: SOT 20856 SOS 6993 HAS SOPS 6993 HAS SOUS 5597 HAS SOUPS 5597 WITH SCORE 5603.993
AT ITER 1011 NEW BEST:: SOT 20856 SOS 6985 HAS SOPS 6985 HAS SOUS 5589 HAS SOUPS 5589 WITH SCORE 5595.985
AT ITER 1043 NEW BEST:: SOT 20853 SOS 6979 HAS SOPS 6979 HAS SOUS 5586 HAS SOUPS 5586 WITH SCORE 5592.979
AT ITER 1044 NEW BEST:: SOT 20854 SOS 6992 HAS SOPS 6992 HAS SOUS 5578 HAS SOUPS 5578 WITH SCORE 5584.992
AT ITER 1045 NEW BEST:: SOT 20840 SOS 6964 HAS SOPS 6964 HAS SOUS 5550 HAS SOUPS 5550 WITH SCORE 5556.964
AT ITER 1077 NEW BEST:: SOT 20832 SOS 6954 HAS SOPS 6954 HAS SOUS 5540 HAS SOUPS 5540 WITH SCORE 5546.954
AT ITER 1087 NEW BEST:: SOT 20832 SOS 6945 HAS SOPS 6945 HAS SOUS 5540 HAS SOUPS 5540 WITH SCORE 5546.945
AT ITER 1099 NEW BEST:: SOT 20827 SOS 6940 HAS SOPS 6940 HAS SOUS 5530 HAS SOUPS 5530 WITH SCORE 5536.94
AT ITER 1112 NEW BEST:: SOT 20828 SOS 6926 HAS SOPS 6926 HAS SOUS 5529 HAS SOUPS 5529 WITH SCORE 5535.926
AT ITER 1124 NEW BEST:: SOT 20834 SOS 6932 HAS SOPS 6932 HAS SOUS 5518 HAS SOUPS 5518 WITH SCORE 5524.932
AT ITER 1126 NEW BEST:: SOT 20819 SOS 6917 HAS SOPS 6917 HAS SOUS 5510 HAS SOUPS 5510 WITH SCORE 5516.917
AT ITER 1134 NEW BEST:: SOT 20819 SOS 6914 HAS SOPS 6914 HAS SOUS 5510 HAS SOUPS 5510 WITH SCORE 5516.914
AT ITER 1137 NEW BEST:: SOT 20828 SOS 6942 HAS SOPS 6942 HAS SOUS 5506 HAS SOUPS 5506 WITH SCORE 5512.942
AT ITER 1146 NEW BEST:: SOT 20829 SOS 6939 HAS SOPS 6939 HAS SOUS 5503 HAS SOUPS 5503 WITH SCORE 5509.939
AT ITER 1156 NEW BEST:: SOT 20829 SOS 6939 HAS SOPS 6939 HAS SOUS 5496 HAS SOUPS 5496 WITH SCORE 5502.939
AT ITER 1166 NEW BEST:: SOT 20814 SOS 6924 HAS SOPS 6924 HAS SOUS 5496 HAS SOUPS 5496 WITH SCORE 5502.924
AT ITER 1167 NEW BEST:: SOT 20813 SOS 6923 HAS SOPS 6923 HAS SOUS 5494 HAS SOUPS 5494 WITH SCORE 5500.923
AT ITER 1176 NEW BEST:: SOT 20813 SOS 6903 HAS SOPS 6903 HAS SOUS 5494 HAS SOUPS 5494 WITH SCORE 5500.903
AT ITER 1183 NEW BEST:: SOT 20812 SOS 6902 HAS SOPS 6902 HAS SOUS 5494 HAS SOUPS 5494 WITH SCORE 5500.902
AT ITER 1192 NEW BEST:: SOT 20798 SOS 6874 HAS SOPS 6874 HAS SOUS 5480 HAS SOUPS 5480 WITH SCORE 5486.874
AT ITER 1195 NEW BEST:: SOT 20779 SOS 6839 HAS SOPS 6839 HAS SOUS 5464 HAS SOUPS 5464 WITH SCORE 5470.839
AT ITER 1214 NEW BEST:: SOT 20767 SOS 6827 HAS SOPS 6827 HAS SOUS 5452 HAS SOUPS 5452 WITH SCORE 5458.827
AT ITER 1232 NEW BEST:: SOT 20757 SOS 6807 HAS SOPS 6807 HAS SOUS 5434 HAS SOUPS 5434 WITH SCORE 5440.807
AT ITER 1253 NEW BEST:: SOT 20757 SOS 6807 HAS SOPS 6807 HAS SOUS 5430 HAS SOUPS 5430 WITH SCORE 5436.807
AT ITER 1278 NEW BEST:: SOT 20757 SOS 6784 HAS SOPS 6784 HAS SOUS 5430 HAS SOUPS 5430 WITH SCORE 5436.784
AT ITER 1289 NEW BEST:: SOT 20751 SOS 6779 HAS SOPS 6779 HAS SOUS 5423 HAS SOUPS 5423 WITH SCORE 5429.779
AT ITER 1294 NEW BEST:: SOT 20751 SOS 6774 HAS SOPS 6774 HAS SOUS 5423 HAS SOUPS 5423 WITH SCORE 5429.774
AT ITER 1346 NEW BEST:: SOT 20800 SOS 6791 HAS SOPS 6791 HAS SOUS 5417 HAS SOUPS 5417 WITH SCORE 5423.791
AT ITER 1348 NEW BEST:: SOT 20800 SOS 6786 HAS SOPS 6786 HAS SOUS 5417 HAS SOUPS 5417 WITH SCORE 5423.786
AT ITER 1363 NEW BEST:: SOT 20803 SOS 6784 HAS SOPS 6784 HAS SOUS 5417 HAS SOUPS 5417 WITH SCORE 5423.784
AT ITER 1438 NEW BEST:: SOT 20792 SOS 6816 HAS SOPS 6816 HAS SOUS 5403 HAS SOUPS 5403 WITH SCORE 5409.816
AT ITER 1465 NEW BEST:: SOT 20793 SOS 6808 HAS SOPS 6808 HAS SOUS 5403 HAS SOUPS 5403 WITH SCORE 5409.808
AT ITER 1484 NEW BEST:: SOT 20793 SOS 6798 HAS SOPS 6798 HAS SOUS 5402 HAS SOUPS 5402 WITH SCORE 5408.798
AT ITER 1489 NEW BEST:: SOT 20791 SOS 6794 HAS SOPS 6794 HAS SOUS 5402 HAS SOUPS 5402 WITH SCORE 5408.794
AT ITER 1496 NEW BEST:: SOT 20791 SOS 6794 HAS SOPS 6794 HAS SOUS 5401 HAS SOUPS 5401 WITH SCORE 5407.794
AT ITER 1500 NEW BEST:: SOT 20788 SOS 6791 HAS SOPS 6791 HAS SOUS 5395 HAS SOUPS 5395 WITH SCORE 5401.791
AT ITER 1538 NEW BEST:: SOT 20787 SOS 6795 HAS SOPS 6795 HAS SOUS 5393 HAS SOUPS 5393 WITH SCORE 5399.795
AT ITER 1590 NEW BEST:: SOT 20768 SOS 6757 HAS SOPS 6757 HAS SOUS 5374 HAS SOUPS 5374 WITH SCORE 5380.757
AT ITER 1634 NEW BEST:: SOT 20768 SOS 6776 HAS SOPS 6776 HAS SOUS 5357 HAS SOUPS 5357 WITH SCORE 5363.776
AT ITER 1675 NEW BEST:: SOT 20767 SOS 6775 HAS SOPS 6775 HAS SOUS 5356 HAS SOUPS 5356 WITH SCORE 5362.775
AT ITER 1716 NEW BEST:: SOT 20752 SOS 6742 HAS SOPS 6742 HAS SOUS 5338 HAS SOUPS 5338 WITH SCORE 5344.742
AT ITER 1750 NEW BEST:: SOT 20750 SOS 6738 HAS SOPS 6738 HAS SOUS 5336 HAS SOUPS 5336 WITH SCORE 5342.738
AT ITER 1790 NEW BEST:: SOT 20715 SOS 6668 HAS SOPS 6668 HAS SOUS 5318 HAS SOUPS 5318 WITH SCORE 5324.668
AT ITER 1795 NEW BEST:: SOT 20708 SOS 6668 HAS SOPS 6668 HAS SOUS 5311 HAS SOUPS 5311 WITH SCORE 5317.668
AT ITER 1806 NEW BEST:: SOT 20716 SOS 6684 HAS SOPS 6684 HAS SOUS 5303 HAS SOUPS 5303 WITH SCORE 5309.684
AT ITER 1837 NEW BEST:: SOT 20696 SOS 6667 HAS SOPS 6667 HAS SOUS 5286 HAS SOUPS 5286 WITH SCORE 5292.667
AT ITER 1839 NEW BEST:: SOT 20690 SOS 6643 HAS SOPS 6643 HAS SOUS 5268 HAS SOUPS 5268 WITH SCORE 5274.643
AT ITER 1850 NEW BEST:: SOT 20690 SOS 6616 HAS SOPS 6616 HAS SOUS 5268 HAS SOUPS 5268 WITH SCORE 5274.616
AT ITER 1879 NEW BEST:: SOT 20674 SOS 6584 HAS SOPS 6584 HAS SOUS 5252 HAS SOUPS 5252 WITH SCORE 5258.584
AT ITER 1892 NEW BEST:: SOT 20674 SOS 6584 HAS SOPS 6584 HAS SOUS 5251 HAS SOUPS 5251 WITH SCORE 5257.584
AT ITER 1904 NEW BEST:: SOT 20674 SOS 6577 HAS SOPS 6577 HAS SOUS 5240 HAS SOUPS 5240 WITH SCORE 5246.577
AT ITER 1927 NEW BEST:: SOT 20667 SOS 6563 HAS SOPS 6563 HAS SOUS 5229 HAS SOUPS 5229 WITH SCORE 5235.563
AT ITER 1935 NEW BEST:: SOT 20656 SOS 6541 HAS SOPS 6541 HAS SOUS 5207 HAS SOUPS 5207 WITH SCORE 5213.541
AT ITER 2003 NEW BEST:: SOT 20652 SOS 6537 HAS SOPS 6537 HAS SOUS 5201 HAS SOUPS 5201 WITH SCORE 5207.537
AT ITER 2006 NEW BEST:: SOT 20611 SOS 6502 HAS SOPS 6502 HAS SOUS 5166 HAS SOUPS 5166 WITH SCORE 5172.502
AT ITER 2013 NEW BEST:: SOT 20606 SOS 6488 HAS SOPS 6488 HAS SOUS 5152 HAS SOUPS 5152 WITH SCORE 5158.488
AT ITER 2032 NEW BEST:: SOT 20606 SOS 6487 HAS SOPS 6487 HAS SOUS 5152 HAS SOUPS 5152 WITH SCORE 5158.487
AT ITER 2041 NEW BEST:: SOT 20597 SOS 6478 HAS SOPS 6478 HAS SOUS 5129 HAS SOUPS 5129 WITH SCORE 5135.478
AT ITER 2055 NEW BEST:: SOT 20591 SOS 6472 HAS SOPS 6472 HAS SOUS 5117 HAS SOUPS 5117 WITH SCORE 5123.472
AT ITER 2070 NEW BEST:: SOT 20536 SOS 6452 HAS SOPS 6452 HAS SOUS 5117 HAS SOUPS 5117 WITH SCORE 5123.452
AT ITER 2091 NEW BEST:: SOT 20556 SOS 6424 HAS SOPS 6424 HAS SOUS 5103 HAS SOUPS 5103 WITH SCORE 5109.424
AT ITER 2093 NEW BEST:: SOT 20555 SOS 6423 HAS SOPS 6423 HAS SOUS 5102 HAS SOUPS 5102 WITH SCORE 5108.423
AT ITER 2094 NEW BEST:: SOT 20497 SOS 6335 HAS SOPS 6335 HAS SOUS 5014 HAS SOUPS 5014 WITH SCORE 5020.335
AT ITER 2098 NEW BEST:: SOT 20461 SOS 6306 HAS SOPS 6306 HAS SOUS 4985 HAS SOUPS 4985 WITH SCORE 4991.306
AT ITER 2100 NEW BEST:: SOT 20460 SOS 6295 HAS SOPS 6295 HAS SOUS 4983 HAS SOUPS 4983 WITH SCORE 4989.295
AT ITER 2104 NEW BEST:: SOT 20459 SOS 6293 HAS SOPS 6293 HAS SOUS 4981 HAS SOUPS 4981 WITH SCORE 4987.293
AT ITER 2106 NEW BEST:: SOT 20457 SOS 6294 HAS SOPS 6294 HAS SOUS 4977 HAS SOUPS 4977 WITH SCORE 4983.294
AT ITER 2124 NEW BEST:: SOT 20450 SOS 6288 HAS SOPS 6288 HAS SOUS 4971 HAS SOUPS 4971 WITH SCORE 4977.288
AT ITER 2129 NEW BEST:: SOT 20462 SOS 6281 HAS SOPS 6281 HAS SOUS 4971 HAS SOUPS 4971 WITH SCORE 4977.281
AT ITER 2151 NEW BEST:: SOT 20462 SOS 6280 HAS SOPS 6280 HAS SOUS 4970 HAS SOUPS 4970 WITH SCORE 4976.28
AT ITER 2156 NEW BEST:: SOT 20463 SOS 6279 HAS SOPS 6279 HAS SOUS 4968 HAS SOUPS 4968 WITH SCORE 4974.279
AT ITER 2158 NEW BEST:: SOT 20467 SOS 6287 HAS SOPS 6287 HAS SOUS 4964 HAS SOUPS 4964 WITH SCORE 4970.287
AT ITER 2163 NEW BEST:: SOT 20464 SOS 6290 HAS SOPS 6290 HAS SOUS 4954 HAS SOUPS 4954 WITH SCORE 4960.29
AT ITER 2165 NEW BEST:: SOT 20463 SOS 6284 HAS SOPS 6284 HAS SOUS 4952 HAS SOUPS 4952 WITH SCORE 4958.284
AT ITER 2189 NEW BEST:: SOT 20467 SOS 6292 HAS SOPS 6292 HAS SOUS 4950 HAS SOUPS 4950 WITH SCORE 4956.292
AT ITER 2205 NEW BEST:: SOT 20467 SOS 6292 HAS SOPS 6292 HAS SOUS 4948 HAS SOUPS 4948 WITH SCORE 4954.292
AT ITER 2252 NEW BEST:: SOT 20467 SOS 6304 HAS SOPS 6304 HAS SOUS 4945 HAS SOUPS 4945 WITH SCORE 4951.304
AT ITER 2294 NEW BEST:: SOT 20467 SOS 6267 HAS SOPS 6267 HAS SOUS 4945 HAS SOUPS 4945 WITH SCORE 4951.267
AT ITER 2297 NEW BEST:: SOT 20490 SOS 6284 HAS SOPS 6284 HAS SOUS 4933 HAS SOUPS 4933 WITH SCORE 4939.284
AT ITER 2300 NEW BEST:: SOT 20493 SOS 6269 HAS SOPS 6269 HAS SOUS 4933 HAS SOUPS 4933 WITH SCORE 4939.269
AT ITER 2304 NEW BEST:: SOT 20491 SOS 6263 HAS SOPS 6263 HAS SOUS 4929 HAS SOUPS 4929 WITH SCORE 4935.263
AT ITER 2306 NEW BEST:: SOT 20480 SOS 6241 HAS SOPS 6241 HAS SOUS 4907 HAS SOUPS 4907 WITH SCORE 4913.241
AT ITER 2323 NEW BEST:: SOT 20478 SOS 6237 HAS SOPS 6237 HAS SOUS 4905 HAS SOUPS 4905 WITH SCORE 4911.237
AT ITER 2349 NEW BEST:: SOT 20477 SOS 6236 HAS SOPS 6236 HAS SOUS 4903 HAS SOUPS 4903 WITH SCORE 4909.236
AT ITER 2357 NEW BEST:: SOT 20457 SOS 6218 HAS SOPS 6218 HAS SOUS 4875 HAS SOUPS 4875 WITH SCORE 4881.218
AT ITER 2382 NEW BEST:: SOT 20457 SOS 6218 HAS SOPS 6218 HAS SOUS 4874 HAS SOUPS 4874 WITH SCORE 4880.218
AT ITER 2389 NEW BEST:: SOT 20457 SOS 6207 HAS SOPS 6207 HAS SOUS 4874 HAS SOUPS 4874 WITH SCORE 4880.207
AT ITER 2460 NEW BEST:: SOT 20455 SOS 6205 HAS SOPS 6205 HAS SOUS 4872 HAS SOUPS 4872 WITH SCORE 4878.205
AT ITER 2469 NEW BEST:: SOT 20454 SOS 6203 HAS SOPS 6203 HAS SOUS 4870 HAS SOUPS 4870 WITH SCORE 4876.203
AT ITER 2471 NEW BEST:: SOT 20453 SOS 6201 HAS SOPS 6201 HAS SOUS 4869 HAS SOUPS 4869 WITH SCORE 4875.201
AT ITER 2489 NEW BEST:: SOT 20433 SOS 6197 HAS SOPS 6197 HAS SOUS 4849 HAS SOUPS 4849 WITH SCORE 4855.197
AT ITER 2496 NEW BEST:: SOT 20432 SOS 6197 HAS SOPS 6197 HAS SOUS 4847 HAS SOUPS 4847 WITH SCORE 4853.197
AT ITER 2503 NEW BEST:: SOT 20430 SOS 6193 HAS SOPS 6193 HAS SOUS 4843 HAS SOUPS 4843 WITH SCORE 4849.193
AT ITER 2509 NEW BEST:: SOT 20430 SOS 6193 HAS SOPS 6193 HAS SOUS 4841 HAS SOUPS 4841 WITH SCORE 4847.193
AT ITER 2514 NEW BEST:: SOT 20396 SOS 6152 HAS SOPS 6152 HAS SOUS 4808 HAS SOUPS 4808 WITH SCORE 4814.152
AT ITER 2559 NEW BEST:: SOT 20394 SOS 6157 HAS SOPS 6157 HAS SOUS 4804 HAS SOUPS 4804 WITH SCORE 4810.157
AT ITER 2637 NEW BEST:: SOT 20388 SOS 6145 HAS SOPS 6145 HAS SOUS 4798 HAS SOUPS 4798 WITH SCORE 4804.145
AT ITER 2638 NEW BEST:: SOT 20388 SOS 6139 HAS SOPS 6139 HAS SOUS 4798 HAS SOUPS 4798 WITH SCORE 4804.139
AT ITER 2642 NEW BEST:: SOT 20385 SOS 6138 HAS SOPS 6138 HAS SOUS 4795 HAS SOUPS 4795 WITH SCORE 4801.138
AT ITER 2696 NEW BEST:: SOT 20385 SOS 6128 HAS SOPS 6128 HAS SOUS 4795 HAS SOUPS 4795 WITH SCORE 4801.128
AT ITER 2724 NEW BEST:: SOT 20383 SOS 6119 HAS SOPS 6119 HAS SOUS 4792 HAS SOUPS 4792 WITH SCORE 4798.119
AT ITER 2744 NEW BEST:: SOT 20377 SOS 6113 HAS SOPS 6113 HAS SOUS 4786 HAS SOUPS 4786 WITH SCORE 4792.113
AT ITER 2769 NEW BEST:: SOT 20371 SOS 6101 HAS SOPS 6101 HAS SOUS 4780 HAS SOUPS 4780 WITH SCORE 4786.101
AT ITER 2770 NEW BEST:: SOT 20369 SOS 6097 HAS SOPS 6097 HAS SOUS 4778 HAS SOUPS 4778 WITH SCORE 4784.097
AT ITER 2772 NEW BEST:: SOT 20372 SOS 6094 HAS SOPS 6094 HAS SOUS 4762 HAS SOUPS 4762 WITH SCORE 4768.094
AT ITER 2775 NEW BEST:: SOT 20318 SOS 6045 HAS SOPS 6045 HAS SOUS 4713 HAS SOUPS 4713 WITH SCORE 4719.045
AT ITER 2804 NEW BEST:: SOT 20316 SOS 6034 HAS SOPS 6034 HAS SOUS 4704 HAS SOUPS 4704 WITH SCORE 4710.034
AT ITER 2836 NEW BEST:: SOT 20295 SOS 6018 HAS SOPS 6018 HAS SOUS 4687 HAS SOUPS 4687 WITH SCORE 4693.018
AT ITER 2900 NEW BEST:: SOT 20295 SOS 6018 HAS SOPS 6018 HAS SOUS 4676 HAS SOUPS 4676 WITH SCORE 4682.018
AT ITER 2908 NEW BEST:: SOT 20298 SOS 6016 HAS SOPS 6016 HAS SOUS 4674 HAS SOUPS 4674 WITH SCORE 4680.016
AT ITER 2971 NEW BEST:: SOT 20291 SOS 6020 HAS SOPS 6020 HAS SOUS 4667 HAS SOUPS 4667 WITH SCORE 4673.02
AT ITER 3072 NEW BEST:: SOT 20291 SOS 6018 HAS SOPS 6018 HAS SOUS 4667 HAS SOUPS 4667 WITH SCORE 4673.018
AT ITER 3085 NEW BEST:: SOT 20291 SOS 6013 HAS SOPS 6013 HAS SOUS 4667 HAS SOUPS 4667 WITH SCORE 4673.013
AT ITER 3088 NEW BEST:: SOT 20290 SOS 6012 HAS SOPS 6012 HAS SOUS 4666 HAS SOUPS 4666 WITH SCORE 4672.012
AT ITER 3092 NEW BEST:: SOT 20283 SOS 5998 HAS SOPS 5998 HAS SOUS 4652 HAS SOUPS 4652 WITH SCORE 4657.998
AT ITER 3098 NEW BEST:: SOT 20271 SOS 5974 HAS SOPS 5974 HAS SOUS 4640 HAS SOUPS 4640 WITH SCORE 4645.974
AT ITER 3138 NEW BEST:: SOT 20265 SOS 5962 HAS SOPS 5962 HAS SOUS 4634 HAS SOUPS 4634 WITH SCORE 4639.962
AT ITER 3140 NEW BEST:: SOT 20252 SOS 5948 HAS SOPS 5948 HAS SOUS 4609 HAS SOUPS 4609 WITH SCORE 4614.948
AT ITER 3174 NEW BEST:: SOT 20238 SOS 5938 HAS SOPS 5938 HAS SOUS 4599 HAS SOUPS 4599 WITH SCORE 4604.938
AT ITER 3182 NEW BEST:: SOT 20235 SOS 5935 HAS SOPS 5935 HAS SOUS 4593 HAS SOUPS 4593 WITH SCORE 4598.935
AT ITER 3234 NEW BEST:: SOT 20235 SOS 5933 HAS SOPS 5933 HAS SOUS 4593 HAS SOUPS 4593 WITH SCORE 4598.933
AT ITER 3252 NEW BEST:: SOT 20233 SOS 5929 HAS SOPS 5929 HAS SOUS 4589 HAS SOUPS 4589 WITH SCORE 4594.929
AT ITER 3256 NEW BEST:: SOT 20236 SOS 5917 HAS SOPS 5917 HAS SOUS 4577 HAS SOUPS 4577 WITH SCORE 4582.917
AT ITER 3330 NEW BEST:: SOT 20236 SOS 5919 HAS SOPS 5919 HAS SOUS 4575 HAS SOUPS 4575 WITH SCORE 4580.919
AT ITER 3361 NEW BEST:: SOT 20234 SOS 5913 HAS SOPS 5913 HAS SOUS 4573 HAS SOUPS 4573 WITH SCORE 4578.913
AT ITER 3373 NEW BEST:: SOT 20234 SOS 5913 HAS SOPS 5913 HAS SOUS 4572 HAS SOUPS 4572 WITH SCORE 4577.913
AT ITER 3389 NEW BEST:: SOT 20232 SOS 5909 HAS SOPS 5909 HAS SOUS 4569 HAS SOUPS 4569 WITH SCORE 4574.909
AT ITER 3442 NEW BEST:: SOT 20232 SOS 5898 HAS SOPS 5898 HAS SOUS 4569 HAS SOUPS 4569 WITH SCORE 4574.898
AT ITER 3445 NEW BEST:: SOT 20232 SOS 5898 HAS SOPS 5898 HAS SOUS 4568 HAS SOUPS 4568 WITH SCORE 4573.898
AT ITER 3463 NEW BEST:: SOT 20236 SOS 5904 HAS SOPS 5904 HAS SOUS 4565 HAS SOUPS 4565 WITH SCORE 4570.904
AT ITER 3468 NEW BEST:: SOT 20236 SOS 5895 HAS SOPS 5895 HAS SOUS 4556 HAS SOUPS 4556 WITH SCORE 4561.895
AT ITER 3500 NEW BEST:: SOT 20234 SOS 5893 HAS SOPS 5893 HAS SOUS 4554 HAS SOUPS 4554 WITH SCORE 4559.893
AT ITER 3517 NEW BEST:: SOT 20232 SOS 5889 HAS SOPS 5889 HAS SOUS 4552 HAS SOUPS 4552 WITH SCORE 4557.889
AT ITER 3523 NEW BEST:: SOT 20232 SOS 5889 HAS SOPS 5889 HAS SOUS 4543 HAS SOUPS 4543 WITH SCORE 4548.889
AT ITER 3536 NEW BEST:: SOT 20233 SOS 5895 HAS SOPS 5895 HAS SOUS 4538 HAS SOUPS 4538 WITH SCORE 4543.895
AT ITER 3565 NEW BEST:: SOT 20235 SOS 5859 HAS SOPS 5859 HAS SOUS 4528 HAS SOUPS 4528 WITH SCORE 4533.859
AT ITER 3580 NEW BEST:: SOT 20235 SOS 5851 HAS SOPS 5851 HAS SOUS 4520 HAS SOUPS 4520 WITH SCORE 4525.851
AT ITER 3627 NEW BEST:: SOT 20228 SOS 5852 HAS SOPS 5852 HAS SOUS 4506 HAS SOUPS 4506 WITH SCORE 4511.852
AT ITER 3635 NEW BEST:: SOT 20227 SOS 5850 HAS SOPS 5850 HAS SOUS 4505 HAS SOUPS 4505 WITH SCORE 4510.85
AT ITER 3637 NEW BEST:: SOT 20217 SOS 5843 HAS SOPS 5843 HAS SOUS 4498 HAS SOUPS 4498 WITH SCORE 4503.843
AT ITER 3693 NEW BEST:: SOT 20217 SOS 5842 HAS SOPS 5842 HAS SOUS 4492 HAS SOUPS 4492 WITH SCORE 4497.842
AT ITER 3722 NEW BEST:: SOT 20215 SOS 5838 HAS SOPS 5838 HAS SOUS 4491 HAS SOUPS 4491 WITH SCORE 4496.838
AT ITER 3732 NEW BEST:: SOT 20218 SOS 5840 HAS SOPS 5840 HAS SOUS 4487 HAS SOUPS 4487 WITH SCORE 4492.84
AT ITER 3734 NEW BEST:: SOT 20218 SOS 5840 HAS SOPS 5840 HAS SOUS 4485 HAS SOUPS 4485 WITH SCORE 4490.84
AT ITER 3795 NEW BEST:: SOT 20213 SOS 5830 HAS SOPS 5830 HAS SOUS 4485 HAS SOUPS 4485 WITH SCORE 4490.83
AT ITER 3805 NEW BEST:: SOT 20212 SOS 5823 HAS SOPS 5823 HAS SOUS 4479 HAS SOUPS 4479 WITH SCORE 4484.823
AT ITER 3833 NEW BEST:: SOT 20208 SOS 5815 HAS SOPS 5815 HAS SOUS 4475 HAS SOUPS 4475 WITH SCORE 4480.815
AT ITER 3839 NEW BEST:: SOT 20208 SOS 5814 HAS SOPS 5814 HAS SOUS 4474 HAS SOUPS 4474 WITH SCORE 4479.814
AT ITER 3847 NEW BEST:: SOT 20203 SOS 5809 HAS SOPS 5809 HAS SOUS 4474 HAS SOUPS 4474 WITH SCORE 4479.809
AT ITER 3869 NEW BEST:: SOT 20200 SOS 5803 HAS SOPS 5803 HAS SOUS 4471 HAS SOUPS 4471 WITH SCORE 4476.803
AT ITER 3911 NEW BEST:: SOT 20191 SOS 5792 HAS SOPS 5792 HAS SOUS 4460 HAS SOUPS 4460 WITH SCORE 4465.792
AT ITER 3948 NEW BEST:: SOT 20185 SOS 5781 HAS SOPS 5781 HAS SOUS 4448 HAS SOUPS 4448 WITH SCORE 4453.781
AT ITER 3957 NEW BEST:: SOT 20182 SOS 5775 HAS SOPS 5775 HAS SOUS 4442 HAS SOUPS 4442 WITH SCORE 4447.775
AT ITER 4025 NEW BEST:: SOT 20185 SOS 5771 HAS SOPS 5771 HAS SOUS 4442 HAS SOUPS 4442 WITH SCORE 4447.771
AT ITER 4108 NEW BEST:: SOT 20173 SOS 5747 HAS SOPS 5747 HAS SOUS 4430 HAS SOUPS 4430 WITH SCORE 4435.747
AT ITER 4205 NEW BEST:: SOT 20172 SOS 5745 HAS SOPS 5745 HAS SOUS 4429 HAS SOUPS 4429 WITH SCORE 4434.745
AT ITER 4231 NEW BEST:: SOT 20165 SOS 5745 HAS SOPS 5745 HAS SOUS 4422 HAS SOUPS 4422 WITH SCORE 4427.745
AT ITER 4276 NEW BEST:: SOT 20165 SOS 5741 HAS SOPS 5741 HAS SOUS 4422 HAS SOUPS 4422 WITH SCORE 4427.741
AT ITER 4281 NEW BEST:: SOT 20165 SOS 5741 HAS SOPS 5741 HAS SOUS 4420 HAS SOUPS 4420 WITH SCORE 4425.741
AT ITER 4285 NEW BEST:: SOT 20162 SOS 5735 HAS SOPS 5735 HAS SOUS 4414 HAS SOUPS 4414 WITH SCORE 4419.735
AT ITER 4304 NEW BEST:: SOT 20161 SOS 5734 HAS SOPS 5734 HAS SOUS 4413 HAS SOUPS 4413 WITH SCORE 4418.734
AT ITER 4349 NEW BEST:: SOT 20160 SOS 5733 HAS SOPS 5733 HAS SOUS 4411 HAS SOUPS 4411 WITH SCORE 4416.733
AT ITER 4359 NEW BEST:: SOT 20160 SOS 5719 HAS SOPS 5719 HAS SOUS 4404 HAS SOUPS 4404 WITH SCORE 4409.719
AT ITER 4374 NEW BEST:: SOT 20159 SOS 5719 HAS SOPS 5719 HAS SOUS 4400 HAS SOUPS 4400 WITH SCORE 4405.719
AT ITER 4510 NEW BEST:: SOT 20156 SOS 5716 HAS SOPS 5716 HAS SOUS 4398 HAS SOUPS 4398 WITH SCORE 4403.716
AT ITER 4517 NEW BEST:: SOT 20155 SOS 5714 HAS SOPS 5714 HAS SOUS 4396 HAS SOUPS 4396 WITH SCORE 4401.714
AT ITER 4569 NEW BEST:: SOT 20148 SOS 5705 HAS SOPS 5705 HAS SOUS 4392 HAS SOUPS 4392 WITH SCORE 4397.705
AT ITER 4597 NEW BEST:: SOT 20148 SOS 5704 HAS SOPS 5704 HAS SOUS 4392 HAS SOUPS 4392 WITH SCORE 4397.704
AT ITER 4746 NEW BEST:: SOT 20140 SOS 5696 HAS SOPS 5696 HAS SOUS 4384 HAS SOUPS 4384 WITH SCORE 4389.696
AT ITER 4768 NEW BEST:: SOT 20134 SOS 5700 HAS SOPS 5700 HAS SOUS 4381 HAS SOUPS 4381 WITH SCORE 4386.7
AT ITER 4818 NEW BEST:: SOT 20132 SOS 5693 HAS SOPS 5693 HAS SOUS 4379 HAS SOUPS 4379 WITH SCORE 4384.693
AT ITER 4861 NEW BEST:: SOT 20131 SOS 5667 HAS SOPS 5667 HAS SOUS 4377 HAS SOUPS 4377 WITH SCORE 4382.667
AT ITER 4878 NEW BEST:: SOT 20130 SOS 5665 HAS SOPS 5665 HAS SOUS 4375 HAS SOUPS 4375 WITH SCORE 4380.665
AT ITER 4947 NEW BEST:: SOT 20128 SOS 5663 HAS SOPS 5663 HAS SOUS 4373 HAS SOUPS 4373 WITH SCORE 4378.663
AT ITER 4954 NEW BEST:: SOT 20126 SOS 5662 HAS SOPS 5662 HAS SOUS 4372 HAS SOUPS 4372 WITH SCORE 4377.662
AT ITER 4990 NEW BEST:: SOT 20129 SOS 5662 HAS SOPS 5662 HAS SOUS 4371 HAS SOUPS 4371 WITH SCORE 4376.662
AT ITER 5121 NEW BEST:: SOT 20128 SOS 5660 HAS SOPS 5660 HAS SOUS 4370 HAS SOUPS 4370 WITH SCORE 4375.66
AT ITER 5170 NEW BEST:: SOT 20128 SOS 5656 HAS SOPS 5656 HAS SOUS 4370 HAS SOUPS 4370 WITH SCORE 4375.656
AT ITER 5257 NEW BEST:: SOT 20125 SOS 5654 HAS SOPS 5654 HAS SOUS 4368 HAS SOUPS 4368 WITH SCORE 4373.654
AT ITER 5282 NEW BEST:: SOT 20120 SOS 5667 HAS SOPS 5667 HAS SOUS 4362 HAS SOUPS 4362 WITH SCORE 4367.667
AT ITER 5319 NEW BEST:: SOT 20118 SOS 5662 HAS SOPS 5662 HAS SOUS 4360 HAS SOUPS 4360 WITH SCORE 4365.662
AT ITER 5367 NEW BEST:: SOT 20115 SOS 5664 HAS SOPS 5664 HAS SOUS 4354 HAS SOUPS 4354 WITH SCORE 4359.664
AT ITER 5370 NEW BEST:: SOT 20108 SOS 5658 HAS SOPS 5658 HAS SOUS 4340 HAS SOUPS 4340 WITH SCORE 4345.658
AT ITER 5381 NEW BEST:: SOT 20112 SOS 5661 HAS SOPS 5661 HAS SOUS 4339 HAS SOUPS 4339 WITH SCORE 4344.661
AT ITER 5537 NEW BEST:: SOT 20109 SOS 5654 HAS SOPS 5654 HAS SOUS 4336 HAS SOUPS 4336 WITH SCORE 4341.654
AT ITER 5579 NEW BEST:: SOT 20113 SOS 5703 HAS SOPS 5703 HAS SOUS 4332 HAS SOUPS 4332 WITH SCORE 4337.703
AT ITER 5580 NEW BEST:: SOT 20108 SOS 5693 HAS SOPS 5693 HAS SOUS 4322 HAS SOUPS 4322 WITH SCORE 4327.693
AT ITER 5589 NEW BEST:: SOT 20111 SOS 5699 HAS SOPS 5699 HAS SOUS 4315 HAS SOUPS 4315 WITH SCORE 4320.699
AT ITER 5680 NEW BEST:: SOT 20106 SOS 5703 HAS SOPS 5703 HAS SOUS 4314 HAS SOUPS 4314 WITH SCORE 4319.703
AT ITER 5688 NEW BEST:: SOT 20104 SOS 5723 HAS SOPS 5723 HAS SOUS 4312 HAS SOUPS 4312 WITH SCORE 4317.723
AT ITER 5702 NEW BEST:: SOT 20099 SOS 5713 HAS SOPS 5713 HAS SOUS 4304 HAS SOUPS 4304 WITH SCORE 4309.713
AT ITER 5723 NEW BEST:: SOT 20098 SOS 5711 HAS SOPS 5711 HAS SOUS 4302 HAS SOUPS 4302 WITH SCORE 4307.711
AT ITER 5745 NEW BEST:: SOT 20097 SOS 5709 HAS SOPS 5709 HAS SOUS 4301 HAS SOUPS 4301 WITH SCORE 4306.709
AT ITER 5756 NEW BEST:: SOT 20099 SOS 5742 HAS SOPS 5742 HAS SOUS 4296 HAS SOUPS 4296 WITH SCORE 4301.742
AT ITER 5822 NEW BEST:: SOT 20098 SOS 5731 HAS SOPS 5731 HAS SOUS 4290 HAS SOUPS 4290 WITH SCORE 4295.731
AT ITER 5895 NEW BEST:: SOT 20098 SOS 5730 HAS SOPS 5730 HAS SOUS 4290 HAS SOUPS 4290 WITH SCORE 4295.73
AT ITER 5971 NEW BEST:: SOT 20098 SOS 5729 HAS SOPS 5729 HAS SOUS 4290 HAS SOUPS 4290 WITH SCORE 4295.729
AT ITER 6095 NEW BEST:: SOT 20097 SOS 5728 HAS SOPS 5728 HAS SOUS 4284 HAS SOUPS 4284 WITH SCORE 4289.728
AT ITER 6141 NEW BEST:: SOT 20098 SOS 5730 HAS SOPS 5730 HAS SOUS 4283 HAS SOUPS 4283 WITH SCORE 4288.73
AT ITER 6163 NEW BEST:: SOT 20097 SOS 5727 HAS SOPS 5727 HAS SOUS 4281 HAS SOUPS 4281 WITH SCORE 4286.727
AT ITER 6297 NEW BEST:: SOT 20090 SOS 5704 HAS SOPS 5704 HAS SOUS 4274 HAS SOUPS 4274 WITH SCORE 4279.704
AT ITER 6366 NEW BEST:: SOT 20090 SOS 5697 HAS SOPS 5697 HAS SOUS 4267 HAS SOUPS 4267 WITH SCORE 4272.697
AT ITER 6390 NEW BEST:: SOT 20087 SOS 5736 HAS SOPS 5736 HAS SOUS 4261 HAS SOUPS 4261 WITH SCORE 4266.736
AT ITER 6406 NEW BEST:: SOT 20087 SOS 5732 HAS SOPS 5732 HAS SOUS 4261 HAS SOUPS 4261 WITH SCORE 4266.732
AT ITER 6496 NEW BEST:: SOT 20087 SOS 5731 HAS SOPS 5731 HAS SOUS 4261 HAS SOUPS 4261 WITH SCORE 4266.731
AT ITER 6637 NEW BEST:: SOT 20086 SOS 5729 HAS SOPS 5729 HAS SOUS 4260 HAS SOUPS 4260 WITH SCORE 4265.729
AT ITER 6670 NEW BEST:: SOT 20086 SOS 5718 HAS SOPS 5718 HAS SOUS 4260 HAS SOUPS 4260 WITH SCORE 4265.718
AT ITER 6679 NEW BEST:: SOT 20084 SOS 5725 HAS SOPS 5725 HAS SOUS 4256 HAS SOUPS 4256 WITH SCORE 4261.725
AT ITER 6754 NEW BEST:: SOT 20082 SOS 5721 HAS SOPS 5721 HAS SOUS 4256 HAS SOUPS 4256 WITH SCORE 4261.721
AT ITER 6773 NEW BEST:: SOT 20082 SOS 5671 HAS SOPS 5671 HAS SOUS 4256 HAS SOUPS 4256 WITH SCORE 4261.671
AT ITER 6815 NEW BEST:: SOT 20068 SOS 5941 HAS SOPS 5941 HAS SOUS 4251 HAS SOUPS 4251 WITH SCORE 4256.941
AT ITER 6817 NEW BEST:: SOT 20062 SOS 5929 HAS SOPS 5929 HAS SOUS 4231 HAS SOUPS 4231 WITH SCORE 4236.929
AT ITER 6852 NEW BEST:: SOT 20058 SOS 5925 HAS SOPS 5925 HAS SOUS 4227 HAS SOUPS 4227 WITH SCORE 4232.925
AT ITER 6858 NEW BEST:: SOT 20058 SOS 5920 HAS SOPS 5920 HAS SOUS 4226 HAS SOUPS 4226 WITH SCORE 4231.92
AT ITER 7048 NEW BEST:: SOT 20056 SOS 5920 HAS SOPS 5920 HAS SOUS 4219 HAS SOUPS 4219 WITH SCORE 4224.92
AT ITER 7083 NEW BEST:: SOT 20055 SOS 5918 HAS SOPS 5918 HAS SOUS 4218 HAS SOUPS 4218 WITH SCORE 4223.918
AT ITER 7118 NEW BEST:: SOT 20055 SOS 5857 HAS SOPS 5857 HAS SOUS 4218 HAS SOUPS 4218 WITH SCORE 4223.857
AT ITER 7136 NEW BEST:: SOT 20049 SOS 5869 HAS SOPS 5869 HAS SOUS 4213 HAS SOUPS 4213 WITH SCORE 4218.869
AT ITER 7206 NEW BEST:: SOT 20048 SOS 5866 HAS SOPS 5866 HAS SOUS 4211 HAS SOUPS 4211 WITH SCORE 4216.866
AT ITER 7207 NEW BEST:: SOT 20048 SOS 5864 HAS SOPS 5864 HAS SOUS 4211 HAS SOUPS 4211 WITH SCORE 4216.864
AT ITER 7210 NEW BEST:: SOT 20048 SOS 5864 HAS SOPS 5864 HAS SOUS 4209 HAS SOUPS 4209 WITH SCORE 4214.864
AT ITER 7266 NEW BEST:: SOT 20048 SOS 5864 HAS SOPS 5864 HAS SOUS 4207 HAS SOUPS 4207 WITH SCORE 4212.864
AT ITER 7288 NEW BEST:: SOT 20047 SOS 5862 HAS SOPS 5862 HAS SOUS 4205 HAS SOUPS 4205 WITH SCORE 4210.862
AT ITER 7311 NEW BEST:: SOT 20047 SOS 5834 HAS SOPS 5834 HAS SOUS 4205 HAS SOUPS 4205 WITH SCORE 4210.834
AT ITER 7458 NEW BEST:: SOT 20044 SOS 5827 HAS SOPS 5827 HAS SOUS 4202 HAS SOUPS 4202 WITH SCORE 4207.827
AT ITER 7478 NEW BEST:: SOT 20043 SOS 5837 HAS SOPS 5837 HAS SOUS 4201 HAS SOUPS 4201 WITH SCORE 4206.837
AT ITER 7483 NEW BEST:: SOT 20010 SOS 5797 HAS SOPS 5797 HAS SOUS 4185 HAS SOUPS 4185 WITH SCORE 4190.797
AT ITER 7537 NEW BEST:: SOT 20008 SOS 5793 HAS SOPS 5793 HAS SOUS 4182 HAS SOUPS 4182 WITH SCORE 4187.793
AT ITER 7565 NEW BEST:: SOT 20006 SOS 5793 HAS SOPS 5793 HAS SOUS 4180 HAS SOUPS 4180 WITH SCORE 4185.793
AT ITER 7739 NEW BEST:: SOT 19993 SOS 5780 HAS SOPS 5780 HAS SOUS 4167 HAS SOUPS 4167 WITH SCORE 4172.78
AT ITER 7843 NEW BEST:: SOT 19987 SOS 5774 HAS SOPS 5774 HAS SOUS 4162 HAS SOUPS 4162 WITH SCORE 4167.774
AT ITER 7923 NEW BEST:: SOT 19980 SOS 5765 HAS SOPS 5765 HAS SOUS 4160 HAS SOUPS 4160 WITH SCORE 4165.765
AT ITER 7946 NEW BEST:: SOT 19980 SOS 5764 HAS SOPS 5764 HAS SOUS 4159 HAS SOUPS 4159 WITH SCORE 4164.764
AT ITER 7968 NEW BEST:: SOT 19979 SOS 5761 HAS SOPS 5761 HAS SOUS 4156 HAS SOUPS 4156 WITH SCORE 4161.761
AT ITER 8045 NEW BEST:: SOT 19979 SOS 5759 HAS SOPS 5759 HAS SOUS 4156 HAS SOUPS 4156 WITH SCORE 4161.759
AT ITER 8067 NEW BEST:: SOT 19979 SOS 5757 HAS SOPS 5757 HAS SOUS 4156 HAS SOUPS 4156 WITH SCORE 4161.757
AT ITER 8169 NEW BEST:: SOT 19979 SOS 5756 HAS SOPS 5756 HAS SOUS 4155 HAS SOUPS 4155 WITH SCORE 4160.756
AT ITER 8264 NEW BEST:: SOT 19979 SOS 5748 HAS SOPS 5748 HAS SOUS 4155 HAS SOUPS 4155 WITH SCORE 4160.748
AT ITER 8266 NEW BEST:: SOT 19970 SOS 5739 HAS SOPS 5739 HAS SOUS 4146 HAS SOUPS 4146 WITH SCORE 4151.739
AT ITER 8320 NEW BEST:: SOT 19965 SOS 5729 HAS SOPS 5729 HAS SOUS 4136 HAS SOUPS 4136 WITH SCORE 4141.729
AT ITER 8357 NEW BEST:: SOT 19965 SOS 5728 HAS SOPS 5728 HAS SOUS 4136 HAS SOUPS 4136 WITH SCORE 4141.728
AT ITER 8445 NEW BEST:: SOT 19965 SOS 5725 HAS SOPS 5725 HAS SOUS 4136 HAS SOUPS 4136 WITH SCORE 4141.725
AT ITER 8460 NEW BEST:: SOT 19963 SOS 5721 HAS SOPS 5721 HAS SOUS 4135 HAS SOUPS 4135 WITH SCORE 4140.721
AT ITER 8542 NEW BEST:: SOT 19962 SOS 5719 HAS SOPS 5719 HAS SOUS 4135 HAS SOUPS 4135 WITH SCORE 4140.719
AT ITER 8561 NEW BEST:: SOT 19961 SOS 5718 HAS SOPS 5718 HAS SOUS 4134 HAS SOUPS 4134 WITH SCORE 4139.718
AT ITER 8571 NEW BEST:: SOT 19959 SOS 5716 HAS SOPS 5716 HAS SOUS 4132 HAS SOUPS 4132 WITH SCORE 4137.716
AT ITER 8683 NEW BEST:: SOT 19958 SOS 5715 HAS SOPS 5715 HAS SOUS 4131 HAS SOUPS 4131 WITH SCORE 4136.715
AT ITER 8703 NEW BEST:: SOT 19954 SOS 5711 HAS SOPS 5711 HAS SOUS 4127 HAS SOUPS 4127 WITH SCORE 4132.711
AT ITER 8730 NEW BEST:: SOT 19954 SOS 5698 HAS SOPS 5698 HAS SOUS 4127 HAS SOUPS 4127 WITH SCORE 4132.698
AT ITER 8787 NEW BEST:: SOT 19951 SOS 5694 HAS SOPS 5694 HAS SOUS 4123 HAS SOUPS 4123 WITH SCORE 4128.694
AT ITER 8817 NEW BEST:: SOT 19947 SOS 5686 HAS SOPS 5686 HAS SOUS 4115 HAS SOUPS 4115 WITH SCORE 4120.686
AT ITER 8824 NEW BEST:: SOT 19946 SOS 5684 HAS SOPS 5684 HAS SOUS 4110 HAS SOUPS 4110 WITH SCORE 4115.684
AT ITER 8877 NEW BEST:: SOT 19944 SOS 5680 HAS SOPS 5680 HAS SOUS 4109 HAS SOUPS 4109 WITH SCORE 4114.68
AT ITER 8878 NEW BEST:: SOT 19942 SOS 5674 HAS SOPS 5674 HAS SOUS 4107 HAS SOUPS 4107 WITH SCORE 4112.674
AT ITER 8920 NEW BEST:: SOT 19935 SOS 5681 HAS SOPS 5681 HAS SOUS 4102 HAS SOUPS 4102 WITH SCORE 4107.681
AT ITER 9037 NEW BEST:: SOT 19918 SOS 5677 HAS SOPS 5677 HAS SOUS 4096 HAS SOUPS 4096 WITH SCORE 4101.677
AT ITER 9238 NEW BEST:: SOT 19904 SOS 5676 HAS SOPS 5676 HAS SOUS 4095 HAS SOUPS 4095 WITH SCORE 4100.676
AT ITER 9279 NEW BEST:: SOT 19904 SOS 5675 HAS SOPS 5675 HAS SOUS 4094 HAS SOUPS 4094 WITH SCORE 4099.675
AT ITER 9414 NEW BEST:: SOT 19911 SOS 5681 HAS SOPS 5681 HAS SOUS 4092 HAS SOUPS 4092 WITH SCORE 4097.681
AT ITER 9423 NEW BEST:: SOT 19907 SOS 5683 HAS SOPS 5683 HAS SOUS 4087 HAS SOUPS 4087 WITH SCORE 4092.683
AT ITER 9487 NEW BEST:: SOT 19906 SOS 5681 HAS SOPS 5681 HAS SOUS 4085 HAS SOUPS 4085 WITH SCORE 4090.681
AT ITER 9616 NEW BEST:: SOT 19902 SOS 5673 HAS SOPS 5673 HAS SOUS 4077 HAS SOUPS 4077 WITH SCORE 4082.673
AT ITER 9670 NEW BEST:: SOT 19902 SOS 5672 HAS SOPS 5672 HAS SOUS 4077 HAS SOUPS 4077 WITH SCORE 4082.672
AT ITER 9726 NEW BEST:: SOT 19908 SOS 5675 HAS SOPS 5675 HAS SOUS 4071 HAS SOUPS 4071 WITH SCORE 4076.675
AT ITER 9729 NEW BEST:: SOT 19908 SOS 5675 HAS SOPS 5675 HAS SOUS 4070 HAS SOUPS 4070 WITH SCORE 4075.675
AT ITER 9759 NEW BEST:: SOT 19908 SOS 5670 HAS SOPS 5670 HAS SOUS 4065 HAS SOUPS 4065 WITH SCORE 4070.67
AT ITER 9817 NEW BEST:: SOT 19908 SOS 5669 HAS SOPS 5669 HAS SOUS 4065 HAS SOUPS 4065 WITH SCORE 4070.669
AT ITER 9879 NEW BEST:: SOT 19905 SOS 5659 HAS SOPS 5659 HAS SOUS 4061 HAS SOUPS 4061 WITH SCORE 4066.659
AT ITER 9972 NEW BEST:: SOT 19905 SOS 5652 HAS SOPS 5652 HAS SOUS 4061 HAS SOUPS 4061 WITH SCORE 4066.652
AT ITER 9980 NEW BEST:: SOT 19904 SOS 5651 HAS SOPS 5651 HAS SOUS 4060 HAS SOUPS 4060 WITH SCORE 4065.651
STATE_SPACE STATES 6138708333 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 8 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 38660180816 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679881580955

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DiscoveryGPU-PT-06b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is DiscoveryGPU-PT-06b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r131-smll-167819407300296"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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