Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r063-tajo-158922807700600.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DiscoveryGPU-PT-06b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922807700600
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 212K
-rw-r--r-- 1 mcc users 3.5K Mar 31 06:40 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 31 06:40 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 29 23:05 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 29 23:05 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 28 14:33 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 28 14:33 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 27 07:34 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 27 07:34 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:50 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 46K Mar 24 05:37 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589363070892

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 06b
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/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 1 NEW BEST:: SOT 24056 SOS 10760 HAS SOPS 10760 HAS SOUS 9728 HAS SOUPS 9728 WITH SCORE 9738.76
AT ITER 3 NEW BEST:: SOT 24047 SOS 10725 HAS SOPS 10725 HAS SOUS 9702 HAS SOUPS 9702 WITH SCORE 9712.725
AT ITER 12 NEW BEST:: SOT 23921 SOS 10535 HAS SOPS 10535 HAS SOUS 9513 HAS SOUPS 9513 WITH SCORE 9523.535
AT ITER 15 NEW BEST:: SOT 23823 SOS 10392 HAS SOPS 10392 HAS SOUS 9368 HAS SOUPS 9368 WITH SCORE 9378.392
AT ITER 16 NEW BEST:: SOT 23823 SOS 10375 HAS SOPS 10375 HAS SOUS 9351 HAS SOUPS 9351 WITH SCORE 9361.375
AT ITER 19 NEW BEST:: SOT 23801 SOS 10346 HAS SOPS 10346 HAS SOUS 9328 HAS SOUPS 9328 WITH SCORE 9338.346
AT ITER 21 NEW BEST:: SOT 23800 SOS 10344 HAS SOPS 10344 HAS SOUS 9326 HAS SOUPS 9326 WITH SCORE 9336.344
AT ITER 47 NEW BEST:: SOT 23798 SOS 10340 HAS SOPS 10340 HAS SOUS 9324 HAS SOUPS 9324 WITH SCORE 9334.34
AT ITER 52 NEW BEST:: SOT 23785 SOS 10314 HAS SOPS 10314 HAS SOUS 9298 HAS SOUPS 9298 WITH SCORE 9308.314
AT ITER 53 NEW BEST:: SOT 23761 SOS 10266 HAS SOPS 10266 HAS SOUS 9250 HAS SOUPS 9250 WITH SCORE 9260.266
AT ITER 54 NEW BEST:: SOT 22808 SOS 9636 HAS SOPS 9636 HAS SOUS 8325 HAS SOUPS 8325 WITH SCORE 8334.636
AT ITER 63 NEW BEST:: SOT 22807 SOS 9635 HAS SOPS 9635 HAS SOUS 8325 HAS SOUPS 8325 WITH SCORE 8334.635
AT ITER 72 NEW BEST:: SOT 22762 SOS 9545 HAS SOPS 9545 HAS SOUS 8235 HAS SOUPS 8235 WITH SCORE 8244.545
AT ITER 74 NEW BEST:: SOT 22762 SOS 9534 HAS SOPS 9534 HAS SOUS 8235 HAS SOUPS 8235 WITH SCORE 8244.534
AT ITER 78 NEW BEST:: SOT 22760 SOS 9525 HAS SOPS 9525 HAS SOUS 8231 HAS SOUPS 8231 WITH SCORE 8240.525
AT ITER 79 NEW BEST:: SOT 22734 SOS 9503 HAS SOPS 9503 HAS SOUS 8223 HAS SOUPS 8223 WITH SCORE 8232.503
AT ITER 84 NEW BEST:: SOT 22697 SOS 9431 HAS SOPS 9431 HAS SOUS 8190 HAS SOUPS 8190 WITH SCORE 8199.431
AT ITER 85 NEW BEST:: SOT 22696 SOS 9406 HAS SOPS 9406 HAS SOUS 8188 HAS SOUPS 8188 WITH SCORE 8197.406
AT ITER 92 NEW BEST:: SOT 22639 SOS 9227 HAS SOPS 9227 HAS SOUS 8074 HAS SOUPS 8074 WITH SCORE 8083.227
AT ITER 95 NEW BEST:: SOT 22427 SOS 9041 HAS SOPS 9041 HAS SOUS 7849 HAS SOUPS 7849 WITH SCORE 7858.041
AT ITER 96 NEW BEST:: SOT 22422 SOS 9040 HAS SOPS 9040 HAS SOUS 7848 HAS SOUPS 7848 WITH SCORE 7857.04
AT ITER 99 NEW BEST:: SOT 22382 SOS 9010 HAS SOPS 9010 HAS SOUS 7832 HAS SOUPS 7832 WITH SCORE 7841.01
AT ITER 103 NEW BEST:: SOT 22366 SOS 9026 HAS SOPS 9026 HAS SOUS 7826 HAS SOUPS 7826 WITH SCORE 7835.026
AT ITER 107 NEW BEST:: SOT 22360 SOS 8976 HAS SOPS 8976 HAS SOUS 7824 HAS SOUPS 7824 WITH SCORE 7832.976
AT ITER 116 NEW BEST:: SOT 22359 SOS 8975 HAS SOPS 8975 HAS SOUS 7822 HAS SOUPS 7822 WITH SCORE 7830.975
AT ITER 120 NEW BEST:: SOT 22350 SOS 8957 HAS SOPS 8957 HAS SOUS 7813 HAS SOUPS 7813 WITH SCORE 7821.957
AT ITER 129 NEW BEST:: SOT 22326 SOS 8942 HAS SOPS 8942 HAS SOUS 7804 HAS SOUPS 7804 WITH SCORE 7812.942
AT ITER 133 NEW BEST:: SOT 22292 SOS 8908 HAS SOPS 8908 HAS SOUS 7770 HAS SOUPS 7770 WITH SCORE 7778.908
AT ITER 139 NEW BEST:: SOT 22291 SOS 8885 HAS SOPS 8885 HAS SOUS 7768 HAS SOUPS 7768 WITH SCORE 7776.885
AT ITER 140 NEW BEST:: SOT 22266 SOS 8852 HAS SOPS 8852 HAS SOUS 7738 HAS SOUPS 7738 WITH SCORE 7746.852
AT ITER 145 NEW BEST:: SOT 22241 SOS 8848 HAS SOPS 8848 HAS SOUS 7699 HAS SOUPS 7699 WITH SCORE 7707.848
AT ITER 150 NEW BEST:: SOT 22240 SOS 8847 HAS SOPS 8847 HAS SOUS 7699 HAS SOUPS 7699 WITH SCORE 7707.847
AT ITER 151 NEW BEST:: SOT 22200 SOS 8819 HAS SOPS 8819 HAS SOUS 7683 HAS SOUPS 7683 WITH SCORE 7691.819
AT ITER 161 NEW BEST:: SOT 22184 SOS 8804 HAS SOPS 8804 HAS SOUS 7668 HAS SOUPS 7668 WITH SCORE 7676.804
AT ITER 169 NEW BEST:: SOT 22170 SOS 8783 HAS SOPS 8783 HAS SOUS 7647 HAS SOUPS 7647 WITH SCORE 7655.783
AT ITER 189 NEW BEST:: SOT 22161 SOS 8765 HAS SOPS 8765 HAS SOUS 7629 HAS SOUPS 7629 WITH SCORE 7637.765
AT ITER 192 NEW BEST:: SOT 22168 SOS 8738 HAS SOPS 8738 HAS SOUS 7611 HAS SOUPS 7611 WITH SCORE 7619.738
AT ITER 193 NEW BEST:: SOT 22168 SOS 8738 HAS SOPS 8738 HAS SOUS 7607 HAS SOUPS 7607 WITH SCORE 7615.738
AT ITER 198 NEW BEST:: SOT 22167 SOS 8736 HAS SOPS 8736 HAS SOUS 7601 HAS SOUPS 7601 WITH SCORE 7609.736
AT ITER 206 NEW BEST:: SOT 22118 SOS 8663 HAS SOPS 8663 HAS SOUS 7528 HAS SOUPS 7528 WITH SCORE 7536.663
AT ITER 211 NEW BEST:: SOT 22115 SOS 8657 HAS SOPS 8657 HAS SOUS 7522 HAS SOUPS 7522 WITH SCORE 7530.657
AT ITER 213 NEW BEST:: SOT 22117 SOS 8659 HAS SOPS 8659 HAS SOUS 7520 HAS SOUPS 7520 WITH SCORE 7528.659
AT ITER 214 NEW BEST:: SOT 22116 SOS 8658 HAS SOPS 8658 HAS SOUS 7516 HAS SOUPS 7516 WITH SCORE 7524.658
AT ITER 215 NEW BEST:: SOT 22096 SOS 8618 HAS SOPS 8618 HAS SOUS 7476 HAS SOUPS 7476 WITH SCORE 7484.618
AT ITER 222 NEW BEST:: SOT 22082 SOS 8584 HAS SOPS 8584 HAS SOUS 7442 HAS SOUPS 7442 WITH SCORE 7450.584
AT ITER 233 NEW BEST:: SOT 22075 SOS 8576 HAS SOPS 8576 HAS SOUS 7395 HAS SOUPS 7395 WITH SCORE 7403.576
AT ITER 245 NEW BEST:: SOT 22047 SOS 8490 HAS SOPS 8490 HAS SOUS 7308 HAS SOUPS 7308 WITH SCORE 7316.49
AT ITER 256 NEW BEST:: SOT 22022 SOS 8438 HAS SOPS 8438 HAS SOUS 7295 HAS SOUPS 7295 WITH SCORE 7303.438
AT ITER 269 NEW BEST:: SOT 22012 SOS 8418 HAS SOPS 8418 HAS SOUS 7275 HAS SOUPS 7275 WITH SCORE 7283.418
AT ITER 275 NEW BEST:: SOT 22008 SOS 8410 HAS SOPS 8410 HAS SOUS 7267 HAS SOUPS 7267 WITH SCORE 7275.41
AT ITER 286 NEW BEST:: SOT 22006 SOS 8402 HAS SOPS 8402 HAS SOUS 7263 HAS SOUPS 7263 WITH SCORE 7271.402
AT ITER 294 NEW BEST:: SOT 22006 SOS 8402 HAS SOPS 8402 HAS SOUS 7251 HAS SOUPS 7251 WITH SCORE 7259.402
AT ITER 304 NEW BEST:: SOT 21985 SOS 8368 HAS SOPS 8368 HAS SOUS 7217 HAS SOUPS 7217 WITH SCORE 7225.368
AT ITER 306 NEW BEST:: SOT 21985 SOS 8374 HAS SOPS 8374 HAS SOUS 7189 HAS SOUPS 7189 WITH SCORE 7197.374
AT ITER 312 NEW BEST:: SOT 21991 SOS 8369 HAS SOPS 8369 HAS SOUS 7184 HAS SOUPS 7184 WITH SCORE 7192.369
AT ITER 316 NEW BEST:: SOT 21945 SOS 8299 HAS SOPS 8299 HAS SOUS 7147 HAS SOUPS 7147 WITH SCORE 7155.299
AT ITER 322 NEW BEST:: SOT 21931 SOS 8274 HAS SOPS 8274 HAS SOUS 7143 HAS SOUPS 7143 WITH SCORE 7151.274
AT ITER 325 NEW BEST:: SOT 21945 SOS 8255 HAS SOPS 8255 HAS SOUS 7142 HAS SOUPS 7142 WITH SCORE 7150.255
AT ITER 334 NEW BEST:: SOT 21934 SOS 8233 HAS SOPS 8233 HAS SOUS 7103 HAS SOUPS 7103 WITH SCORE 7111.233
AT ITER 341 NEW BEST:: SOT 21878 SOS 8255 HAS SOPS 8255 HAS SOUS 7094 HAS SOUPS 7094 WITH SCORE 7102.255
AT ITER 346 NEW BEST:: SOT 21899 SOS 8235 HAS SOPS 8235 HAS SOUS 7061 HAS SOUPS 7061 WITH SCORE 7069.235
AT ITER 350 NEW BEST:: SOT 21893 SOS 8214 HAS SOPS 8214 HAS SOUS 7049 HAS SOUPS 7049 WITH SCORE 7057.214
AT ITER 356 NEW BEST:: SOT 21886 SOS 8200 HAS SOPS 8200 HAS SOUS 7042 HAS SOUPS 7042 WITH SCORE 7050.2
AT ITER 370 NEW BEST:: SOT 21886 SOS 8142 HAS SOPS 8142 HAS SOUS 7042 HAS SOUPS 7042 WITH SCORE 7050.142
AT ITER 377 NEW BEST:: SOT 21882 SOS 8134 HAS SOPS 8134 HAS SOUS 7013 HAS SOUPS 7013 WITH SCORE 7021.134
AT ITER 378 NEW BEST:: SOT 21871 SOS 8125 HAS SOPS 8125 HAS SOUS 6983 HAS SOUPS 6983 WITH SCORE 6991.125
AT ITER 380 NEW BEST:: SOT 21861 SOS 8064 HAS SOPS 8064 HAS SOUS 6963 HAS SOUPS 6963 WITH SCORE 6971.064
AT ITER 396 NEW BEST:: SOT 21861 SOS 8026 HAS SOPS 8026 HAS SOUS 6937 HAS SOUPS 6937 WITH SCORE 6945.026
AT ITER 401 NEW BEST:: SOT 21819 SOS 7972 HAS SOPS 7972 HAS SOUS 6883 HAS SOUPS 6883 WITH SCORE 6890.972
AT ITER 408 NEW BEST:: SOT 21766 SOS 7908 HAS SOPS 7908 HAS SOUS 6799 HAS SOUPS 6799 WITH SCORE 6806.908
AT ITER 418 NEW BEST:: SOT 21755 SOS 7862 HAS SOPS 7862 HAS SOUS 6777 HAS SOUPS 6777 WITH SCORE 6784.862
AT ITER 421 NEW BEST:: SOT 21754 SOS 7861 HAS SOPS 7861 HAS SOUS 6776 HAS SOUPS 6776 WITH SCORE 6783.861
AT ITER 422 NEW BEST:: SOT 21741 SOS 7786 HAS SOPS 7786 HAS SOUS 6736 HAS SOUPS 6736 WITH SCORE 6743.786
AT ITER 435 NEW BEST:: SOT 21741 SOS 7779 HAS SOPS 7779 HAS SOUS 6714 HAS SOUPS 6714 WITH SCORE 6721.779
AT ITER 444 NEW BEST:: SOT 21723 SOS 7743 HAS SOPS 7743 HAS SOUS 6678 HAS SOUPS 6678 WITH SCORE 6685.743
AT ITER 453 NEW BEST:: SOT 21721 SOS 7762 HAS SOPS 7762 HAS SOUS 6663 HAS SOUPS 6663 WITH SCORE 6670.762
AT ITER 467 NEW BEST:: SOT 21721 SOS 7762 HAS SOPS 7762 HAS SOUS 6661 HAS SOUPS 6661 WITH SCORE 6668.762
AT ITER 470 NEW BEST:: SOT 21721 SOS 7762 HAS SOPS 7762 HAS SOUS 6660 HAS SOUPS 6660 WITH SCORE 6667.762
AT ITER 474 NEW BEST:: SOT 21717 SOS 7754 HAS SOPS 7754 HAS SOUS 6656 HAS SOUPS 6656 WITH SCORE 6663.754
AT ITER 500 NEW BEST:: SOT 21704 SOS 7749 HAS SOPS 7749 HAS SOUS 6651 HAS SOUPS 6651 WITH SCORE 6658.749
AT ITER 510 NEW BEST:: SOT 21688 SOS 7717 HAS SOPS 7717 HAS SOUS 6619 HAS SOUPS 6619 WITH SCORE 6626.717
AT ITER 555 NEW BEST:: SOT 21661 SOS 7638 HAS SOPS 7638 HAS SOUS 6595 HAS SOUPS 6595 WITH SCORE 6602.638
AT ITER 557 NEW BEST:: SOT 21674 SOS 7633 HAS SOPS 7633 HAS SOUS 6590 HAS SOUPS 6590 WITH SCORE 6597.633
AT ITER 571 NEW BEST:: SOT 21643 SOS 7602 HAS SOPS 7602 HAS SOUS 6559 HAS SOUPS 6559 WITH SCORE 6566.602
AT ITER 574 NEW BEST:: SOT 21641 SOS 7598 HAS SOPS 7598 HAS SOUS 6555 HAS SOUPS 6555 WITH SCORE 6562.598
AT ITER 587 NEW BEST:: SOT 21641 SOS 7569 HAS SOPS 7569 HAS SOUS 6526 HAS SOUPS 6526 WITH SCORE 6533.569
AT ITER 589 NEW BEST:: SOT 21652 SOS 7568 HAS SOPS 7568 HAS SOUS 6525 HAS SOUPS 6525 WITH SCORE 6532.568
AT ITER 590 NEW BEST:: SOT 21652 SOS 7544 HAS SOPS 7544 HAS SOUS 6497 HAS SOUPS 6497 WITH SCORE 6504.544
AT ITER 615 NEW BEST:: SOT 21644 SOS 7522 HAS SOPS 7522 HAS SOUS 6481 HAS SOUPS 6481 WITH SCORE 6488.522
AT ITER 618 NEW BEST:: SOT 21642 SOS 7518 HAS SOPS 7518 HAS SOUS 6477 HAS SOUPS 6477 WITH SCORE 6484.518
AT ITER 619 NEW BEST:: SOT 21638 SOS 7510 HAS SOPS 7510 HAS SOUS 6475 HAS SOUPS 6475 WITH SCORE 6482.51
AT ITER 628 NEW BEST:: SOT 21657 SOS 7521 HAS SOPS 7521 HAS SOUS 6458 HAS SOUPS 6458 WITH SCORE 6465.521
AT ITER 631 NEW BEST:: SOT 21650 SOS 7507 HAS SOPS 7507 HAS SOUS 6444 HAS SOUPS 6444 WITH SCORE 6451.507
AT ITER 642 NEW BEST:: SOT 21635 SOS 7466 HAS SOPS 7466 HAS SOUS 6398 HAS SOUPS 6398 WITH SCORE 6405.466
AT ITER 676 NEW BEST:: SOT 21608 SOS 7449 HAS SOPS 7449 HAS SOUS 6386 HAS SOUPS 6386 WITH SCORE 6393.449
AT ITER 695 NEW BEST:: SOT 21606 SOS 7455 HAS SOPS 7455 HAS SOUS 6384 HAS SOUPS 6384 WITH SCORE 6391.455
AT ITER 732 NEW BEST:: SOT 21605 SOS 7454 HAS SOPS 7454 HAS SOUS 6383 HAS SOUPS 6383 WITH SCORE 6390.454
AT ITER 751 NEW BEST:: SOT 21594 SOS 7443 HAS SOPS 7443 HAS SOUS 6361 HAS SOUPS 6361 WITH SCORE 6368.443
AT ITER 754 NEW BEST:: SOT 21559 SOS 7402 HAS SOPS 7402 HAS SOUS 6329 HAS SOUPS 6329 WITH SCORE 6336.402
AT ITER 770 NEW BEST:: SOT 21556 SOS 7383 HAS SOPS 7383 HAS SOUS 6307 HAS SOUPS 6307 WITH SCORE 6314.383
AT ITER 794 NEW BEST:: SOT 21555 SOS 7381 HAS SOPS 7381 HAS SOUS 6305 HAS SOUPS 6305 WITH SCORE 6312.381
AT ITER 795 NEW BEST:: SOT 21544 SOS 7340 HAS SOPS 7340 HAS SOUS 6264 HAS SOUPS 6264 WITH SCORE 6271.34
AT ITER 798 NEW BEST:: SOT 21532 SOS 7328 HAS SOPS 7328 HAS SOUS 6252 HAS SOUPS 6252 WITH SCORE 6259.328
AT ITER 813 NEW BEST:: SOT 21532 SOS 7405 HAS SOPS 7405 HAS SOUS 6231 HAS SOUPS 6231 WITH SCORE 6238.405
AT ITER 826 NEW BEST:: SOT 21526 SOS 7399 HAS SOPS 7399 HAS SOUS 6225 HAS SOUPS 6225 WITH SCORE 6232.399
AT ITER 827 NEW BEST:: SOT 21513 SOS 7393 HAS SOPS 7393 HAS SOUS 6219 HAS SOUPS 6219 WITH SCORE 6226.393
AT ITER 829 NEW BEST:: SOT 21501 SOS 7369 HAS SOPS 7369 HAS SOUS 6205 HAS SOUPS 6205 WITH SCORE 6212.369
AT ITER 830 NEW BEST:: SOT 21494 SOS 7366 HAS SOPS 7366 HAS SOUS 6202 HAS SOUPS 6202 WITH SCORE 6209.366
AT ITER 841 NEW BEST:: SOT 21492 SOS 7384 HAS SOPS 7384 HAS SOUS 6199 HAS SOUPS 6199 WITH SCORE 6206.384
AT ITER 849 NEW BEST:: SOT 21478 SOS 7392 HAS SOPS 7392 HAS SOUS 6197 HAS SOUPS 6197 WITH SCORE 6204.392
AT ITER 863 NEW BEST:: SOT 21474 SOS 7343 HAS SOPS 7343 HAS SOUS 6175 HAS SOUPS 6175 WITH SCORE 6182.343
AT ITER 864 NEW BEST:: SOT 21472 SOS 7337 HAS SOPS 7337 HAS SOUS 6159 HAS SOUPS 6159 WITH SCORE 6166.337
AT ITER 869 NEW BEST:: SOT 21457 SOS 7322 HAS SOPS 7322 HAS SOUS 6144 HAS SOUPS 6144 WITH SCORE 6151.322
AT ITER 908 NEW BEST:: SOT 21457 SOS 7311 HAS SOPS 7311 HAS SOUS 6144 HAS SOUPS 6144 WITH SCORE 6151.311
AT ITER 909 NEW BEST:: SOT 21442 SOS 7299 HAS SOPS 7299 HAS SOUS 6108 HAS SOUPS 6108 WITH SCORE 6115.299
AT ITER 921 NEW BEST:: SOT 21444 SOS 7267 HAS SOPS 7267 HAS SOUS 6076 HAS SOUPS 6076 WITH SCORE 6083.267
AT ITER 922 NEW BEST:: SOT 21436 SOS 7251 HAS SOPS 7251 HAS SOUS 6060 HAS SOUPS 6060 WITH SCORE 6067.251
AT ITER 923 NEW BEST:: SOT 21435 SOS 7249 HAS SOPS 7249 HAS SOUS 6059 HAS SOUPS 6059 WITH SCORE 6066.249
AT ITER 925 NEW BEST:: SOT 21440 SOS 7222 HAS SOPS 7222 HAS SOUS 6042 HAS SOUPS 6042 WITH SCORE 6049.222
AT ITER 931 NEW BEST:: SOT 21440 SOS 7222 HAS SOPS 7222 HAS SOUS 6041 HAS SOUPS 6041 WITH SCORE 6048.222
AT ITER 946 NEW BEST:: SOT 21425 SOS 7207 HAS SOPS 7207 HAS SOUS 6026 HAS SOUPS 6026 WITH SCORE 6033.207
AT ITER 966 NEW BEST:: SOT 21437 SOS 7231 HAS SOPS 7231 HAS SOUS 5986 HAS SOUPS 5986 WITH SCORE 5993.231
AT ITER 995 NEW BEST:: SOT 21432 SOS 7081 HAS SOPS 7081 HAS SOUS 5930 HAS SOUPS 5930 WITH SCORE 5937.081
AT ITER 1018 NEW BEST:: SOT 21432 SOS 7075 HAS SOPS 7075 HAS SOUS 5930 HAS SOUPS 5930 WITH SCORE 5937.075
AT ITER 1031 NEW BEST:: SOT 21408 SOS 7054 HAS SOPS 7054 HAS SOUS 5909 HAS SOUPS 5909 WITH SCORE 5916.054
AT ITER 1032 NEW BEST:: SOT 21407 SOS 7053 HAS SOPS 7053 HAS SOUS 5907 HAS SOUPS 5907 WITH SCORE 5914.053
AT ITER 1043 NEW BEST:: SOT 21389 SOS 7026 HAS SOPS 7026 HAS SOUS 5880 HAS SOUPS 5880 WITH SCORE 5887.026
AT ITER 1044 NEW BEST:: SOT 21384 SOS 7047 HAS SOPS 7047 HAS SOUS 5879 HAS SOUPS 5879 WITH SCORE 5886.047
AT ITER 1065 NEW BEST:: SOT 21383 SOS 7045 HAS SOPS 7045 HAS SOUS 5877 HAS SOUPS 5877 WITH SCORE 5884.045
AT ITER 1078 NEW BEST:: SOT 21371 SOS 7021 HAS SOPS 7021 HAS SOUS 5868 HAS SOUPS 5868 WITH SCORE 5875.021
AT ITER 1102 NEW BEST:: SOT 21371 SOS 7015 HAS SOPS 7015 HAS SOUS 5868 HAS SOUPS 5868 WITH SCORE 5875.015
AT ITER 1103 NEW BEST:: SOT 21355 SOS 7010 HAS SOPS 7010 HAS SOUS 5863 HAS SOUPS 5863 WITH SCORE 5870.01
AT ITER 1104 NEW BEST:: SOT 21351 SOS 6998 HAS SOPS 6998 HAS SOUS 5855 HAS SOUPS 5855 WITH SCORE 5861.998
AT ITER 1105 NEW BEST:: SOT 21356 SOS 6959 HAS SOPS 6959 HAS SOUS 5849 HAS SOUPS 5849 WITH SCORE 5855.959
AT ITER 1113 NEW BEST:: SOT 21353 SOS 6953 HAS SOPS 6953 HAS SOUS 5843 HAS SOUPS 5843 WITH SCORE 5849.953
AT ITER 1116 NEW BEST:: SOT 21353 SOS 6948 HAS SOPS 6948 HAS SOUS 5843 HAS SOUPS 5843 WITH SCORE 5849.948
AT ITER 1121 NEW BEST:: SOT 21314 SOS 6873 HAS SOPS 6873 HAS SOUS 5801 HAS SOUPS 5801 WITH SCORE 5807.873
AT ITER 1124 NEW BEST:: SOT 21295 SOS 6844 HAS SOPS 6844 HAS SOUS 5786 HAS SOUPS 5786 WITH SCORE 5792.844
AT ITER 1147 NEW BEST:: SOT 21293 SOS 6840 HAS SOPS 6840 HAS SOUS 5783 HAS SOUPS 5783 WITH SCORE 5789.84
AT ITER 1149 NEW BEST:: SOT 21269 SOS 6816 HAS SOPS 6816 HAS SOUS 5759 HAS SOUPS 5759 WITH SCORE 5765.816
AT ITER 1156 NEW BEST:: SOT 21269 SOS 6809 HAS SOPS 6809 HAS SOUS 5759 HAS SOUPS 5759 WITH SCORE 5765.809
AT ITER 1165 NEW BEST:: SOT 21284 SOS 6817 HAS SOPS 6817 HAS SOUS 5755 HAS SOUPS 5755 WITH SCORE 5761.817
AT ITER 1203 NEW BEST:: SOT 21284 SOS 6807 HAS SOPS 6807 HAS SOUS 5745 HAS SOUPS 5745 WITH SCORE 5751.807
AT ITER 1204 NEW BEST:: SOT 21278 SOS 6801 HAS SOPS 6801 HAS SOUS 5733 HAS SOUPS 5733 WITH SCORE 5739.801
AT ITER 1214 NEW BEST:: SOT 21270 SOS 6791 HAS SOPS 6791 HAS SOUS 5723 HAS SOUPS 5723 WITH SCORE 5729.791
AT ITER 1218 NEW BEST:: SOT 21264 SOS 6779 HAS SOPS 6779 HAS SOUS 5712 HAS SOUPS 5712 WITH SCORE 5718.779
AT ITER 1240 NEW BEST:: SOT 21264 SOS 6774 HAS SOPS 6774 HAS SOUS 5707 HAS SOUPS 5707 WITH SCORE 5713.774
AT ITER 1253 NEW BEST:: SOT 21262 SOS 6769 HAS SOPS 6769 HAS SOUS 5703 HAS SOUPS 5703 WITH SCORE 5709.769
AT ITER 1261 NEW BEST:: SOT 21235 SOS 6765 HAS SOPS 6765 HAS SOUS 5703 HAS SOUPS 5703 WITH SCORE 5709.765
AT ITER 1264 NEW BEST:: SOT 21243 SOS 6752 HAS SOPS 6752 HAS SOUS 5692 HAS SOUPS 5692 WITH SCORE 5698.752
AT ITER 1269 NEW BEST:: SOT 21240 SOS 6746 HAS SOPS 6746 HAS SOUS 5686 HAS SOUPS 5686 WITH SCORE 5692.746
AT ITER 1274 NEW BEST:: SOT 21229 SOS 6716 HAS SOPS 6716 HAS SOUS 5642 HAS SOUPS 5642 WITH SCORE 5648.716
AT ITER 1282 NEW BEST:: SOT 21222 SOS 6697 HAS SOPS 6697 HAS SOUS 5630 HAS SOUPS 5630 WITH SCORE 5636.697
AT ITER 1296 NEW BEST:: SOT 21219 SOS 6694 HAS SOPS 6694 HAS SOUS 5624 HAS SOUPS 5624 WITH SCORE 5630.694
AT ITER 1299 NEW BEST:: SOT 21200 SOS 6656 HAS SOPS 6656 HAS SOUS 5586 HAS SOUPS 5586 WITH SCORE 5592.656
AT ITER 1316 NEW BEST:: SOT 21200 SOS 6665 HAS SOPS 6665 HAS SOUS 5577 HAS SOUPS 5577 WITH SCORE 5583.665
AT ITER 1317 NEW BEST:: SOT 21190 SOS 6645 HAS SOPS 6645 HAS SOUS 5565 HAS SOUPS 5565 WITH SCORE 5571.645
AT ITER 1319 NEW BEST:: SOT 21195 SOS 6635 HAS SOPS 6635 HAS SOUS 5564 HAS SOUPS 5564 WITH SCORE 5570.635
AT ITER 1345 NEW BEST:: SOT 21195 SOS 6638 HAS SOPS 6638 HAS SOUS 5561 HAS SOUPS 5561 WITH SCORE 5567.638
AT ITER 1363 NEW BEST:: SOT 21191 SOS 6626 HAS SOPS 6626 HAS SOUS 5557 HAS SOUPS 5557 WITH SCORE 5563.626
AT ITER 1384 NEW BEST:: SOT 21185 SOS 6620 HAS SOPS 6620 HAS SOUS 5551 HAS SOUPS 5551 WITH SCORE 5557.62
AT ITER 1387 NEW BEST:: SOT 21185 SOS 6620 HAS SOPS 6620 HAS SOUS 5543 HAS SOUPS 5543 WITH SCORE 5549.62
AT ITER 1410 NEW BEST:: SOT 21194 SOS 6592 HAS SOPS 6592 HAS SOUS 5526 HAS SOUPS 5526 WITH SCORE 5532.592
AT ITER 1447 NEW BEST:: SOT 21193 SOS 6589 HAS SOPS 6589 HAS SOUS 5524 HAS SOUPS 5524 WITH SCORE 5530.589
AT ITER 1451 NEW BEST:: SOT 21183 SOS 6569 HAS SOPS 6569 HAS SOUS 5512 HAS SOUPS 5512 WITH SCORE 5518.569
AT ITER 1464 NEW BEST:: SOT 21130 SOS 6505 HAS SOPS 6505 HAS SOUS 5448 HAS SOUPS 5448 WITH SCORE 5454.505
AT ITER 1465 NEW BEST:: SOT 21130 SOS 6483 HAS SOPS 6483 HAS SOUS 5448 HAS SOUPS 5448 WITH SCORE 5454.483
AT ITER 1518 NEW BEST:: SOT 21130 SOS 6468 HAS SOPS 6468 HAS SOUS 5448 HAS SOUPS 5448 WITH SCORE 5454.468
AT ITER 1521 NEW BEST:: SOT 21118 SOS 6456 HAS SOPS 6456 HAS SOUS 5446 HAS SOUPS 5446 WITH SCORE 5452.456
AT ITER 1528 NEW BEST:: SOT 21115 SOS 6461 HAS SOPS 6461 HAS SOUS 5440 HAS SOUPS 5440 WITH SCORE 5446.461
AT ITER 1572 NEW BEST:: SOT 21114 SOS 6460 HAS SOPS 6460 HAS SOUS 5439 HAS SOUPS 5439 WITH SCORE 5445.46
AT ITER 1596 NEW BEST:: SOT 21119 SOS 6453 HAS SOPS 6453 HAS SOUS 5432 HAS SOUPS 5432 WITH SCORE 5438.453
AT ITER 1600 NEW BEST:: SOT 21110 SOS 6479 HAS SOPS 6479 HAS SOUS 5429 HAS SOUPS 5429 WITH SCORE 5435.479
AT ITER 1631 NEW BEST:: SOT 21110 SOS 6442 HAS SOPS 6442 HAS SOUS 5399 HAS SOUPS 5399 WITH SCORE 5405.442
AT ITER 1652 NEW BEST:: SOT 21109 SOS 6409 HAS SOPS 6409 HAS SOUS 5395 HAS SOUPS 5395 WITH SCORE 5401.409
AT ITER 1654 NEW BEST:: SOT 21108 SOS 6407 HAS SOPS 6407 HAS SOUS 5393 HAS SOUPS 5393 WITH SCORE 5399.407
AT ITER 1658 NEW BEST:: SOT 21095 SOS 6428 HAS SOPS 6428 HAS SOUS 5367 HAS SOUPS 5367 WITH SCORE 5373.428
AT ITER 1668 NEW BEST:: SOT 21091 SOS 6431 HAS SOPS 6431 HAS SOUS 5363 HAS SOUPS 5363 WITH SCORE 5369.431
AT ITER 1672 NEW BEST:: SOT 21088 SOS 6425 HAS SOPS 6425 HAS SOUS 5357 HAS SOUPS 5357 WITH SCORE 5363.425
AT ITER 1679 NEW BEST:: SOT 21079 SOS 6416 HAS SOPS 6416 HAS SOUS 5348 HAS SOUPS 5348 WITH SCORE 5354.416
AT ITER 1728 NEW BEST:: SOT 21067 SOS 6390 HAS SOPS 6390 HAS SOUS 5324 HAS SOUPS 5324 WITH SCORE 5330.39
AT ITER 1731 NEW BEST:: SOT 21058 SOS 6381 HAS SOPS 6381 HAS SOUS 5306 HAS SOUPS 5306 WITH SCORE 5312.381
AT ITER 1738 NEW BEST:: SOT 21044 SOS 6364 HAS SOPS 6364 HAS SOUS 5278 HAS SOUPS 5278 WITH SCORE 5284.364
AT ITER 1749 NEW BEST:: SOT 21039 SOS 6359 HAS SOPS 6359 HAS SOUS 5273 HAS SOUPS 5273 WITH SCORE 5279.359
AT ITER 1763 NEW BEST:: SOT 20978 SOS 6300 HAS SOPS 6300 HAS SOUS 5214 HAS SOUPS 5214 WITH SCORE 5220.3
AT ITER 1784 NEW BEST:: SOT 20977 SOS 6298 HAS SOPS 6298 HAS SOUS 5212 HAS SOUPS 5212 WITH SCORE 5218.298
AT ITER 1798 NEW BEST:: SOT 20977 SOS 6297 HAS SOPS 6297 HAS SOUS 5212 HAS SOUPS 5212 WITH SCORE 5218.297
AT ITER 1810 NEW BEST:: SOT 20978 SOS 6282 HAS SOPS 6282 HAS SOUS 5192 HAS SOUPS 5192 WITH SCORE 5198.282
AT ITER 1817 NEW BEST:: SOT 20967 SOS 6249 HAS SOPS 6249 HAS SOUS 5170 HAS SOUPS 5170 WITH SCORE 5176.249
AT ITER 1876 NEW BEST:: SOT 20948 SOS 6221 HAS SOPS 6221 HAS SOUS 5151 HAS SOUPS 5151 WITH SCORE 5157.221
AT ITER 1913 NEW BEST:: SOT 20933 SOS 6206 HAS SOPS 6206 HAS SOUS 5106 HAS SOUPS 5106 WITH SCORE 5112.206
AT ITER 1931 NEW BEST:: SOT 20917 SOS 6180 HAS SOPS 6180 HAS SOUS 5080 HAS SOUPS 5080 WITH SCORE 5086.18
AT ITER 1950 NEW BEST:: SOT 20902 SOS 6179 HAS SOPS 6179 HAS SOUS 5074 HAS SOUPS 5074 WITH SCORE 5080.179
AT ITER 2000 NEW BEST:: SOT 20889 SOS 6153 HAS SOPS 6153 HAS SOUS 5048 HAS SOUPS 5048 WITH SCORE 5054.153
AT ITER 2006 NEW BEST:: SOT 20884 SOS 6144 HAS SOPS 6144 HAS SOUS 5039 HAS SOUPS 5039 WITH SCORE 5045.144
AT ITER 2013 NEW BEST:: SOT 20837 SOS 6138 HAS SOPS 6138 HAS SOUS 5033 HAS SOUPS 5033 WITH SCORE 5039.138
AT ITER 2022 NEW BEST:: SOT 20831 SOS 6136 HAS SOPS 6136 HAS SOUS 5017 HAS SOUPS 5017 WITH SCORE 5023.136
AT ITER 2029 NEW BEST:: SOT 20830 SOS 6228 HAS SOPS 6228 HAS SOUS 5016 HAS SOUPS 5016 WITH SCORE 5022.228
AT ITER 2034 NEW BEST:: SOT 20829 SOS 6226 HAS SOPS 6226 HAS SOUS 5014 HAS SOUPS 5014 WITH SCORE 5020.226
AT ITER 2173 NEW BEST:: SOT 20819 SOS 6235 HAS SOPS 6235 HAS SOUS 5013 HAS SOUPS 5013 WITH SCORE 5019.235
AT ITER 2205 NEW BEST:: SOT 20819 SOS 6213 HAS SOPS 6213 HAS SOUS 5010 HAS SOUPS 5010 WITH SCORE 5016.213
AT ITER 2207 NEW BEST:: SOT 20816 SOS 6210 HAS SOPS 6210 HAS SOUS 5007 HAS SOUPS 5007 WITH SCORE 5013.21
AT ITER 2215 NEW BEST:: SOT 20808 SOS 6200 HAS SOPS 6200 HAS SOUS 4993 HAS SOUPS 4993 WITH SCORE 4999.2
AT ITER 2221 NEW BEST:: SOT 20807 SOS 6199 HAS SOPS 6199 HAS SOUS 4992 HAS SOUPS 4992 WITH SCORE 4998.199
AT ITER 2241 NEW BEST:: SOT 20809 SOS 6203 HAS SOPS 6203 HAS SOUS 4991 HAS SOUPS 4991 WITH SCORE 4997.203
AT ITER 2295 NEW BEST:: SOT 20805 SOS 6195 HAS SOPS 6195 HAS SOUS 4983 HAS SOUPS 4983 WITH SCORE 4989.195
AT ITER 2330 NEW BEST:: SOT 20799 SOS 6189 HAS SOPS 6189 HAS SOUS 4977 HAS SOUPS 4977 WITH SCORE 4983.189
AT ITER 2340 NEW BEST:: SOT 20798 SOS 6167 HAS SOPS 6167 HAS SOUS 4975 HAS SOUPS 4975 WITH SCORE 4981.167
AT ITER 2341 NEW BEST:: SOT 20768 SOS 6347 HAS SOPS 6347 HAS SOUS 4970 HAS SOUPS 4970 WITH SCORE 4976.347
AT ITER 2342 NEW BEST:: SOT 20768 SOS 6361 HAS SOPS 6361 HAS SOUS 4955 HAS SOUPS 4955 WITH SCORE 4961.361
AT ITER 2359 NEW BEST:: SOT 20768 SOS 6357 HAS SOPS 6357 HAS SOUS 4955 HAS SOUPS 4955 WITH SCORE 4961.357
AT ITER 2389 NEW BEST:: SOT 20767 SOS 6355 HAS SOPS 6355 HAS SOUS 4953 HAS SOUPS 4953 WITH SCORE 4959.355
AT ITER 2390 NEW BEST:: SOT 20767 SOS 6354 HAS SOPS 6354 HAS SOUS 4952 HAS SOUPS 4952 WITH SCORE 4958.354
AT ITER 2393 NEW BEST:: SOT 20759 SOS 6342 HAS SOPS 6342 HAS SOUS 4946 HAS SOUPS 4946 WITH SCORE 4952.342
AT ITER 2414 NEW BEST:: SOT 20752 SOS 6320 HAS SOPS 6320 HAS SOUS 4945 HAS SOUPS 4945 WITH SCORE 4951.32
AT ITER 2436 NEW BEST:: SOT 20764 SOS 6369 HAS SOPS 6369 HAS SOUS 4944 HAS SOUPS 4944 WITH SCORE 4950.369
AT ITER 2450 NEW BEST:: SOT 20763 SOS 6362 HAS SOPS 6362 HAS SOUS 4943 HAS SOUPS 4943 WITH SCORE 4949.362
AT ITER 2456 NEW BEST:: SOT 20754 SOS 6353 HAS SOPS 6353 HAS SOUS 4933 HAS SOUPS 4933 WITH SCORE 4939.353
AT ITER 2498 NEW BEST:: SOT 20745 SOS 6337 HAS SOPS 6337 HAS SOUS 4925 HAS SOUPS 4925 WITH SCORE 4931.337
AT ITER 2547 NEW BEST:: SOT 20726 SOS 6343 HAS SOPS 6343 HAS SOUS 4922 HAS SOUPS 4922 WITH SCORE 4928.343
AT ITER 2549 NEW BEST:: SOT 20723 SOS 6339 HAS SOPS 6339 HAS SOUS 4918 HAS SOUPS 4918 WITH SCORE 4924.339
AT ITER 2582 NEW BEST:: SOT 20726 SOS 6335 HAS SOPS 6335 HAS SOUS 4914 HAS SOUPS 4914 WITH SCORE 4920.335
AT ITER 2587 NEW BEST:: SOT 20696 SOS 6275 HAS SOPS 6275 HAS SOUS 4904 HAS SOUPS 4904 WITH SCORE 4910.275
AT ITER 2601 NEW BEST:: SOT 20695 SOS 6272 HAS SOPS 6272 HAS SOUS 4902 HAS SOUPS 4902 WITH SCORE 4908.272
AT ITER 2620 NEW BEST:: SOT 20643 SOS 6239 HAS SOPS 6239 HAS SOUS 4869 HAS SOUPS 4869 WITH SCORE 4875.239
AT ITER 2637 NEW BEST:: SOT 20640 SOS 6235 HAS SOPS 6235 HAS SOUS 4865 HAS SOUPS 4865 WITH SCORE 4871.235
AT ITER 2654 NEW BEST:: SOT 20640 SOS 6211 HAS SOPS 6211 HAS SOUS 4865 HAS SOUPS 4865 WITH SCORE 4871.211
AT ITER 2658 NEW BEST:: SOT 20639 SOS 6209 HAS SOPS 6209 HAS SOUS 4864 HAS SOUPS 4864 WITH SCORE 4870.209
AT ITER 2667 NEW BEST:: SOT 20623 SOS 6190 HAS SOPS 6190 HAS SOUS 4845 HAS SOUPS 4845 WITH SCORE 4851.19
AT ITER 2689 NEW BEST:: SOT 20617 SOS 6257 HAS SOPS 6257 HAS SOUS 4837 HAS SOUPS 4837 WITH SCORE 4843.257
AT ITER 2690 NEW BEST:: SOT 20617 SOS 6252 HAS SOPS 6252 HAS SOUS 4827 HAS SOUPS 4827 WITH SCORE 4833.252
AT ITER 2698 NEW BEST:: SOT 20612 SOS 6242 HAS SOPS 6242 HAS SOUS 4822 HAS SOUPS 4822 WITH SCORE 4828.242
AT ITER 2722 NEW BEST:: SOT 20612 SOS 6232 HAS SOPS 6232 HAS SOUS 4822 HAS SOUPS 4822 WITH SCORE 4828.232
AT ITER 2730 NEW BEST:: SOT 20604 SOS 6226 HAS SOPS 6226 HAS SOUS 4816 HAS SOUPS 4816 WITH SCORE 4822.226
AT ITER 2760 NEW BEST:: SOT 20586 SOS 6199 HAS SOPS 6199 HAS SOUS 4797 HAS SOUPS 4797 WITH SCORE 4803.199
AT ITER 2776 NEW BEST:: SOT 20585 SOS 6189 HAS SOPS 6189 HAS SOUS 4784 HAS SOUPS 4784 WITH SCORE 4790.189
AT ITER 2800 NEW BEST:: SOT 20582 SOS 6183 HAS SOPS 6183 HAS SOUS 4775 HAS SOUPS 4775 WITH SCORE 4781.183
AT ITER 2805 NEW BEST:: SOT 20560 SOS 6163 HAS SOPS 6163 HAS SOUS 4729 HAS SOUPS 4729 WITH SCORE 4735.163
AT ITER 2843 NEW BEST:: SOT 20560 SOS 6152 HAS SOPS 6152 HAS SOUS 4718 HAS SOUPS 4718 WITH SCORE 4724.152
AT ITER 2866 NEW BEST:: SOT 20559 SOS 6147 HAS SOPS 6147 HAS SOUS 4712 HAS SOUPS 4712 WITH SCORE 4718.147
AT ITER 2918 NEW BEST:: SOT 20559 SOS 6147 HAS SOPS 6147 HAS SOUS 4711 HAS SOUPS 4711 WITH SCORE 4717.147
AT ITER 2932 NEW BEST:: SOT 20559 SOS 6143 HAS SOPS 6143 HAS SOUS 4707 HAS SOUPS 4707 WITH SCORE 4713.143
AT ITER 2947 NEW BEST:: SOT 20550 SOS 6176 HAS SOPS 6176 HAS SOUS 4706 HAS SOUPS 4706 WITH SCORE 4712.176
AT ITER 2950 NEW BEST:: SOT 20554 SOS 6174 HAS SOPS 6174 HAS SOUS 4704 HAS SOUPS 4704 WITH SCORE 4710.174
AT ITER 2965 NEW BEST:: SOT 20554 SOS 6154 HAS SOPS 6154 HAS SOUS 4684 HAS SOUPS 4684 WITH SCORE 4690.154
AT ITER 3016 NEW BEST:: SOT 20548 SOS 6142 HAS SOPS 6142 HAS SOUS 4667 HAS SOUPS 4667 WITH SCORE 4673.142
AT ITER 3022 NEW BEST:: SOT 20544 SOS 6139 HAS SOPS 6139 HAS SOUS 4663 HAS SOUPS 4663 WITH SCORE 4669.139
AT ITER 3034 NEW BEST:: SOT 20546 SOS 6139 HAS SOPS 6139 HAS SOUS 4639 HAS SOUPS 4639 WITH SCORE 4645.139
AT ITER 3062 NEW BEST:: SOT 20545 SOS 6137 HAS SOPS 6137 HAS SOUS 4637 HAS SOUPS 4637 WITH SCORE 4643.137
AT ITER 3076 NEW BEST:: SOT 20546 SOS 6132 HAS SOPS 6132 HAS SOUS 4634 HAS SOUPS 4634 WITH SCORE 4640.132
AT ITER 3091 NEW BEST:: SOT 20543 SOS 6129 HAS SOPS 6129 HAS SOUS 4631 HAS SOUPS 4631 WITH SCORE 4637.129
AT ITER 3169 NEW BEST:: SOT 20530 SOS 6103 HAS SOPS 6103 HAS SOUS 4605 HAS SOUPS 4605 WITH SCORE 4611.103
AT ITER 3170 NEW BEST:: SOT 20521 SOS 6085 HAS SOPS 6085 HAS SOUS 4604 HAS SOUPS 4604 WITH SCORE 4610.085
AT ITER 3184 NEW BEST:: SOT 20528 SOS 6118 HAS SOPS 6118 HAS SOUS 4599 HAS SOUPS 4599 WITH SCORE 4605.118
AT ITER 3220 NEW BEST:: SOT 20530 SOS 6118 HAS SOPS 6118 HAS SOUS 4597 HAS SOUPS 4597 WITH SCORE 4603.118
AT ITER 3223 NEW BEST:: SOT 20525 SOS 6103 HAS SOPS 6103 HAS SOUS 4587 HAS SOUPS 4587 WITH SCORE 4593.103
AT ITER 3251 NEW BEST:: SOT 20524 SOS 6081 HAS SOPS 6081 HAS SOUS 4585 HAS SOUPS 4585 WITH SCORE 4591.081
AT ITER 3270 NEW BEST:: SOT 20516 SOS 6079 HAS SOPS 6079 HAS SOUS 4583 HAS SOUPS 4583 WITH SCORE 4589.079
AT ITER 3298 NEW BEST:: SOT 20516 SOS 6059 HAS SOPS 6059 HAS SOUS 4579 HAS SOUPS 4579 WITH SCORE 4585.059
AT ITER 3299 NEW BEST:: SOT 20507 SOS 6045 HAS SOPS 6045 HAS SOUS 4565 HAS SOUPS 4565 WITH SCORE 4571.045
AT ITER 3323 NEW BEST:: SOT 20509 SOS 6041 HAS SOPS 6041 HAS SOUS 4561 HAS SOUPS 4561 WITH SCORE 4567.041
AT ITER 3335 NEW BEST:: SOT 20502 SOS 6034 HAS SOPS 6034 HAS SOUS 4552 HAS SOUPS 4552 WITH SCORE 4558.034
AT ITER 3346 NEW BEST:: SOT 20495 SOS 6020 HAS SOPS 6020 HAS SOUS 4538 HAS SOUPS 4538 WITH SCORE 4544.02
AT ITER 3361 NEW BEST:: SOT 20498 SOS 6016 HAS SOPS 6016 HAS SOUS 4535 HAS SOUPS 4535 WITH SCORE 4541.016
AT ITER 3383 NEW BEST:: SOT 20485 SOS 5987 HAS SOPS 5987 HAS SOUS 4523 HAS SOUPS 4523 WITH SCORE 4528.987
AT ITER 3400 NEW BEST:: SOT 20481 SOS 5984 HAS SOPS 5984 HAS SOUS 4516 HAS SOUPS 4516 WITH SCORE 4521.984
AT ITER 3403 NEW BEST:: SOT 20475 SOS 5972 HAS SOPS 5972 HAS SOUS 4510 HAS SOUPS 4510 WITH SCORE 4515.972
AT ITER 3426 NEW BEST:: SOT 20434 SOS 5959 HAS SOPS 5959 HAS SOUS 4481 HAS SOUPS 4481 WITH SCORE 4486.959
AT ITER 3477 NEW BEST:: SOT 20431 SOS 5950 HAS SOPS 5950 HAS SOUS 4469 HAS SOUPS 4469 WITH SCORE 4474.95
AT ITER 3507 NEW BEST:: SOT 20426 SOS 5909 HAS SOPS 5909 HAS SOUS 4465 HAS SOUPS 4465 WITH SCORE 4470.909
AT ITER 3526 NEW BEST:: SOT 20437 SOS 5919 HAS SOPS 5919 HAS SOUS 4464 HAS SOUPS 4464 WITH SCORE 4469.919
AT ITER 3547 NEW BEST:: SOT 20435 SOS 5927 HAS SOPS 5927 HAS SOUS 4460 HAS SOUPS 4460 WITH SCORE 4465.927
AT ITER 3570 NEW BEST:: SOT 20422 SOS 5901 HAS SOPS 5901 HAS SOUS 4446 HAS SOUPS 4446 WITH SCORE 4451.901
AT ITER 3589 NEW BEST:: SOT 20419 SOS 5903 HAS SOPS 5903 HAS SOUS 4443 HAS SOUPS 4443 WITH SCORE 4448.903
AT ITER 3600 NEW BEST:: SOT 20419 SOS 5898 HAS SOPS 5898 HAS SOUS 4438 HAS SOUPS 4438 WITH SCORE 4443.898
AT ITER 3625 NEW BEST:: SOT 20388 SOS 5877 HAS SOPS 5877 HAS SOUS 4404 HAS SOUPS 4404 WITH SCORE 4409.877
AT ITER 3628 NEW BEST:: SOT 20385 SOS 5873 HAS SOPS 5873 HAS SOUS 4400 HAS SOUPS 4400 WITH SCORE 4405.873
AT ITER 3659 NEW BEST:: SOT 20366 SOS 5867 HAS SOPS 5867 HAS SOUS 4389 HAS SOUPS 4389 WITH SCORE 4394.867
AT ITER 3683 NEW BEST:: SOT 20355 SOS 5845 HAS SOPS 5845 HAS SOUS 4367 HAS SOUPS 4367 WITH SCORE 4372.845
AT ITER 3701 NEW BEST:: SOT 20348 SOS 5837 HAS SOPS 5837 HAS SOUS 4353 HAS SOUPS 4353 WITH SCORE 4358.837
AT ITER 3713 NEW BEST:: SOT 20348 SOS 5823 HAS SOPS 5823 HAS SOUS 4339 HAS SOUPS 4339 WITH SCORE 4344.823
AT ITER 3759 NEW BEST:: SOT 20347 SOS 5821 HAS SOPS 5821 HAS SOUS 4337 HAS SOUPS 4337 WITH SCORE 4342.821
AT ITER 3768 NEW BEST:: SOT 20321 SOS 6184 HAS SOPS 6184 HAS SOUS 4334 HAS SOUPS 4334 WITH SCORE 4340.184
AT ITER 3803 NEW BEST:: SOT 20306 SOS 6163 HAS SOPS 6163 HAS SOUS 4320 HAS SOUPS 4320 WITH SCORE 4326.163
AT ITER 3824 NEW BEST:: SOT 20304 SOS 6159 HAS SOPS 6159 HAS SOUS 4316 HAS SOUPS 4316 WITH SCORE 4322.159
AT ITER 3841 NEW BEST:: SOT 20299 SOS 6151 HAS SOPS 6151 HAS SOUS 4311 HAS SOUPS 4311 WITH SCORE 4317.151
AT ITER 3849 NEW BEST:: SOT 20299 SOS 6133 HAS SOPS 6133 HAS SOUS 4311 HAS SOUPS 4311 WITH SCORE 4317.133
AT ITER 3866 NEW BEST:: SOT 20294 SOS 6128 HAS SOPS 6128 HAS SOUS 4306 HAS SOUPS 4306 WITH SCORE 4312.128
AT ITER 3894 NEW BEST:: SOT 20293 SOS 6126 HAS SOPS 6126 HAS SOUS 4303 HAS SOUPS 4303 WITH SCORE 4309.126
AT ITER 3943 NEW BEST:: SOT 20285 SOS 6113 HAS SOPS 6113 HAS SOUS 4292 HAS SOUPS 4292 WITH SCORE 4298.113
AT ITER 3951 NEW BEST:: SOT 20285 SOS 6111 HAS SOPS 6111 HAS SOUS 4292 HAS SOUPS 4292 WITH SCORE 4298.111
AT ITER 3954 NEW BEST:: SOT 20280 SOS 6113 HAS SOPS 6113 HAS SOUS 4288 HAS SOUPS 4288 WITH SCORE 4294.113
AT ITER 4003 NEW BEST:: SOT 20258 SOS 6091 HAS SOPS 6091 HAS SOUS 4275 HAS SOUPS 4275 WITH SCORE 4281.091
AT ITER 4004 NEW BEST:: SOT 20257 SOS 6090 HAS SOPS 6090 HAS SOUS 4273 HAS SOUPS 4273 WITH SCORE 4279.09
AT ITER 4012 NEW BEST:: SOT 20257 SOS 6088 HAS SOPS 6088 HAS SOUS 4273 HAS SOUPS 4273 WITH SCORE 4279.088
AT ITER 4021 NEW BEST:: SOT 20259 SOS 6084 HAS SOPS 6084 HAS SOUS 4269 HAS SOUPS 4269 WITH SCORE 4275.084
AT ITER 4023 NEW BEST:: SOT 20256 SOS 6074 HAS SOPS 6074 HAS SOUS 4260 HAS SOUPS 4260 WITH SCORE 4266.074
AT ITER 4118 NEW BEST:: SOT 20255 SOS 6072 HAS SOPS 6072 HAS SOUS 4259 HAS SOUPS 4259 WITH SCORE 4265.072
AT ITER 4211 NEW BEST:: SOT 20255 SOS 6069 HAS SOPS 6069 HAS SOUS 4257 HAS SOUPS 4257 WITH SCORE 4263.069
AT ITER 4227 NEW BEST:: SOT 20250 SOS 6064 HAS SOPS 6064 HAS SOUS 4247 HAS SOUPS 4247 WITH SCORE 4253.064
AT ITER 4250 NEW BEST:: SOT 20249 SOS 6063 HAS SOPS 6063 HAS SOUS 4245 HAS SOUPS 4245 WITH SCORE 4251.063
AT ITER 4260 NEW BEST:: SOT 20249 SOS 6050 HAS SOPS 6050 HAS SOUS 4232 HAS SOUPS 4232 WITH SCORE 4238.05
AT ITER 4289 NEW BEST:: SOT 20250 SOS 6046 HAS SOPS 6046 HAS SOUS 4228 HAS SOUPS 4228 WITH SCORE 4234.046
AT ITER 4295 NEW BEST:: SOT 20254 SOS 6049 HAS SOPS 6049 HAS SOUS 4209 HAS SOUPS 4209 WITH SCORE 4215.049
AT ITER 4306 NEW BEST:: SOT 20244 SOS 6029 HAS SOPS 6029 HAS SOUS 4199 HAS SOUPS 4199 WITH SCORE 4205.029
AT ITER 4308 NEW BEST:: SOT 20241 SOS 6026 HAS SOPS 6026 HAS SOUS 4199 HAS SOUPS 4199 WITH SCORE 4205.026
AT ITER 4327 NEW BEST:: SOT 20232 SOS 5974 HAS SOPS 5974 HAS SOUS 4181 HAS SOUPS 4181 WITH SCORE 4186.974
AT ITER 4426 NEW BEST:: SOT 20204 SOS 5923 HAS SOPS 5923 HAS SOUS 4130 HAS SOUPS 4130 WITH SCORE 4135.923
AT ITER 4431 NEW BEST:: SOT 20204 SOS 5921 HAS SOPS 5921 HAS SOUS 4130 HAS SOUPS 4130 WITH SCORE 4135.921
AT ITER 4438 NEW BEST:: SOT 20196 SOS 5905 HAS SOPS 5905 HAS SOUS 4110 HAS SOUPS 4110 WITH SCORE 4115.905
AT ITER 4467 NEW BEST:: SOT 20196 SOS 5861 HAS SOPS 5861 HAS SOUS 4107 HAS SOUPS 4107 WITH SCORE 4112.861
AT ITER 4472 NEW BEST:: SOT 20192 SOS 5853 HAS SOPS 5853 HAS SOUS 4099 HAS SOUPS 4099 WITH SCORE 4104.853
AT ITER 4475 NEW BEST:: SOT 20191 SOS 5853 HAS SOPS 5853 HAS SOUS 4097 HAS SOUPS 4097 WITH SCORE 4102.853
AT ITER 4511 NEW BEST:: SOT 20191 SOS 5837 HAS SOPS 5837 HAS SOUS 4097 HAS SOUPS 4097 WITH SCORE 4102.837
AT ITER 4513 NEW BEST:: SOT 20188 SOS 5839 HAS SOPS 5839 HAS SOUS 4096 HAS SOUPS 4096 WITH SCORE 4101.839
AT ITER 4542 NEW BEST:: SOT 20188 SOS 5794 HAS SOPS 5794 HAS SOUS 4090 HAS SOUPS 4090 WITH SCORE 4095.794
AT ITER 4546 NEW BEST:: SOT 20188 SOS 5792 HAS SOPS 5792 HAS SOUS 4088 HAS SOUPS 4088 WITH SCORE 4093.792
AT ITER 4570 NEW BEST:: SOT 20187 SOS 5794 HAS SOPS 5794 HAS SOUS 4087 HAS SOUPS 4087 WITH SCORE 4092.794
AT ITER 4587 NEW BEST:: SOT 20189 SOS 5793 HAS SOPS 5793 HAS SOUS 4086 HAS SOUPS 4086 WITH SCORE 4091.793
AT ITER 4620 NEW BEST:: SOT 20110 SOS 5714 HAS SOPS 5714 HAS SOUS 4024 HAS SOUPS 4024 WITH SCORE 4029.714
AT ITER 4624 NEW BEST:: SOT 20112 SOS 5718 HAS SOPS 5718 HAS SOUS 4015 HAS SOUPS 4015 WITH SCORE 4020.718
AT ITER 4637 NEW BEST:: SOT 20111 SOS 5716 HAS SOPS 5716 HAS SOUS 4013 HAS SOUPS 4013 WITH SCORE 4018.716
AT ITER 4638 NEW BEST:: SOT 20110 SOS 5714 HAS SOPS 5714 HAS SOUS 4011 HAS SOUPS 4011 WITH SCORE 4016.714
AT ITER 4684 NEW BEST:: SOT 20111 SOS 5627 HAS SOPS 5627 HAS SOUS 4006 HAS SOUPS 4006 WITH SCORE 4011.627
AT ITER 4685 NEW BEST:: SOT 20111 SOS 5622 HAS SOPS 5622 HAS SOUS 4006 HAS SOUPS 4006 WITH SCORE 4011.622
AT ITER 4725 NEW BEST:: SOT 20110 SOS 5620 HAS SOPS 5620 HAS SOUS 4005 HAS SOUPS 4005 WITH SCORE 4010.62
AT ITER 4740 NEW BEST:: SOT 20110 SOS 5612 HAS SOPS 5612 HAS SOUS 4005 HAS SOUPS 4005 WITH SCORE 4010.612
AT ITER 4747 NEW BEST:: SOT 20107 SOS 5617 HAS SOPS 5617 HAS SOUS 3999 HAS SOUPS 3999 WITH SCORE 4004.617
AT ITER 4780 NEW BEST:: SOT 20106 SOS 5615 HAS SOPS 5615 HAS SOUS 3995 HAS SOUPS 3995 WITH SCORE 4000.615
AT ITER 4792 NEW BEST:: SOT 20105 SOS 5614 HAS SOPS 5614 HAS SOUS 3994 HAS SOUPS 3994 WITH SCORE 3999.614
AT ITER 4811 NEW BEST:: SOT 20105 SOS 5613 HAS SOPS 5613 HAS SOUS 3993 HAS SOUPS 3993 WITH SCORE 3998.613
AT ITER 4823 NEW BEST:: SOT 20094 SOS 5606 HAS SOPS 5606 HAS SOUS 3977 HAS SOUPS 3977 WITH SCORE 3982.606
AT ITER 4884 NEW BEST:: SOT 20093 SOS 5605 HAS SOPS 5605 HAS SOUS 3975 HAS SOUPS 3975 WITH SCORE 3980.605
AT ITER 4982 NEW BEST:: SOT 20087 SOS 5596 HAS SOPS 5596 HAS SOUS 3966 HAS SOUPS 3966 WITH SCORE 3971.596
AT ITER 4999 NEW BEST:: SOT 20085 SOS 5594 HAS SOPS 5594 HAS SOUS 3964 HAS SOUPS 3964 WITH SCORE 3969.594
AT ITER 5098 NEW BEST:: SOT 20090 SOS 5595 HAS SOPS 5595 HAS SOUS 3960 HAS SOUPS 3960 WITH SCORE 3965.595
AT ITER 5125 NEW BEST:: SOT 20081 SOS 5586 HAS SOPS 5586 HAS SOUS 3952 HAS SOUPS 3952 WITH SCORE 3957.586
AT ITER 5149 NEW BEST:: SOT 20070 SOS 5561 HAS SOPS 5561 HAS SOUS 3939 HAS SOUPS 3939 WITH SCORE 3944.561
AT ITER 5169 NEW BEST:: SOT 20068 SOS 5559 HAS SOPS 5559 HAS SOUS 3937 HAS SOUPS 3937 WITH SCORE 3942.559
AT ITER 5221 NEW BEST:: SOT 20068 SOS 5559 HAS SOPS 5559 HAS SOUS 3936 HAS SOUPS 3936 WITH SCORE 3941.559
AT ITER 5226 NEW BEST:: SOT 20092 SOS 5557 HAS SOPS 5557 HAS SOUS 3934 HAS SOUPS 3934 WITH SCORE 3939.557
AT ITER 5228 NEW BEST:: SOT 20087 SOS 5547 HAS SOPS 5547 HAS SOUS 3924 HAS SOUPS 3924 WITH SCORE 3929.547
AT ITER 5235 NEW BEST:: SOT 20083 SOS 5539 HAS SOPS 5539 HAS SOUS 3918 HAS SOUPS 3918 WITH SCORE 3923.539
AT ITER 5291 NEW BEST:: SOT 20083 SOS 5536 HAS SOPS 5536 HAS SOUS 3917 HAS SOUPS 3917 WITH SCORE 3922.536
AT ITER 5354 NEW BEST:: SOT 20082 SOS 5534 HAS SOPS 5534 HAS SOUS 3913 HAS SOUPS 3913 WITH SCORE 3918.534
AT ITER 5397 NEW BEST:: SOT 20076 SOS 5522 HAS SOPS 5522 HAS SOUS 3907 HAS SOUPS 3907 WITH SCORE 3912.522
AT ITER 5656 NEW BEST:: SOT 20063 SOS 5511 HAS SOPS 5511 HAS SOUS 3896 HAS SOUPS 3896 WITH SCORE 3901.511
AT ITER 5672 NEW BEST:: SOT 20063 SOS 5511 HAS SOPS 5511 HAS SOUS 3892 HAS SOUPS 3892 WITH SCORE 3897.511
AT ITER 5689 NEW BEST:: SOT 20061 SOS 5507 HAS SOPS 5507 HAS SOUS 3890 HAS SOUPS 3890 WITH SCORE 3895.507
AT ITER 5703 NEW BEST:: SOT 20055 SOS 5498 HAS SOPS 5498 HAS SOUS 3881 HAS SOUPS 3881 WITH SCORE 3886.498
AT ITER 5718 NEW BEST:: SOT 20053 SOS 5496 HAS SOPS 5496 HAS SOUS 3877 HAS SOUPS 3877 WITH SCORE 3882.496
AT ITER 5765 NEW BEST:: SOT 20047 SOS 5484 HAS SOPS 5484 HAS SOUS 3865 HAS SOUPS 3865 WITH SCORE 3870.484
AT ITER 5800 NEW BEST:: SOT 20036 SOS 5466 HAS SOPS 5466 HAS SOUS 3846 HAS SOUPS 3846 WITH SCORE 3851.466
AT ITER 5844 NEW BEST:: SOT 20035 SOS 5465 HAS SOPS 5465 HAS SOUS 3846 HAS SOUPS 3846 WITH SCORE 3851.465
AT ITER 5912 NEW BEST:: SOT 20028 SOS 5453 HAS SOPS 5453 HAS SOUS 3837 HAS SOUPS 3837 WITH SCORE 3842.453
AT ITER 6062 NEW BEST:: SOT 20027 SOS 5444 HAS SOPS 5444 HAS SOUS 3833 HAS SOUPS 3833 WITH SCORE 3838.444
AT ITER 6109 NEW BEST:: SOT 20027 SOS 5440 HAS SOPS 5440 HAS SOUS 3833 HAS SOUPS 3833 WITH SCORE 3838.44
AT ITER 6157 NEW BEST:: SOT 20024 SOS 5438 HAS SOPS 5438 HAS SOUS 3826 HAS SOUPS 3826 WITH SCORE 3831.438
AT ITER 6185 NEW BEST:: SOT 20025 SOS 5453 HAS SOPS 5453 HAS SOUS 3821 HAS SOUPS 3821 WITH SCORE 3826.453
AT ITER 6199 NEW BEST:: SOT 20034 SOS 5457 HAS SOPS 5457 HAS SOUS 3819 HAS SOUPS 3819 WITH SCORE 3824.457
AT ITER 6221 NEW BEST:: SOT 20018 SOS 5441 HAS SOPS 5441 HAS SOUS 3803 HAS SOUPS 3803 WITH SCORE 3808.441
AT ITER 6223 NEW BEST:: SOT 20023 SOS 5446 HAS SOPS 5446 HAS SOUS 3794 HAS SOUPS 3794 WITH SCORE 3799.446
AT ITER 6229 NEW BEST:: SOT 20023 SOS 5446 HAS SOPS 5446 HAS SOUS 3783 HAS SOUPS 3783 WITH SCORE 3788.446
AT ITER 6238 NEW BEST:: SOT 20020 SOS 5443 HAS SOPS 5443 HAS SOUS 3780 HAS SOUPS 3780 WITH SCORE 3785.443
AT ITER 6254 NEW BEST:: SOT 20016 SOS 5438 HAS SOPS 5438 HAS SOUS 3775 HAS SOUPS 3775 WITH SCORE 3780.438
AT ITER 6291 NEW BEST:: SOT 20009 SOS 5432 HAS SOPS 5432 HAS SOUS 3763 HAS SOUPS 3763 WITH SCORE 3768.432
AT ITER 6312 NEW BEST:: SOT 20007 SOS 5428 HAS SOPS 5428 HAS SOUS 3759 HAS SOUPS 3759 WITH SCORE 3764.428
AT ITER 6329 NEW BEST:: SOT 20005 SOS 5428 HAS SOPS 5428 HAS SOUS 3757 HAS SOUPS 3757 WITH SCORE 3762.428
AT ITER 6342 NEW BEST:: SOT 20002 SOS 5422 HAS SOPS 5422 HAS SOUS 3751 HAS SOUPS 3751 WITH SCORE 3756.422
AT ITER 6350 NEW BEST:: SOT 20000 SOS 5419 HAS SOPS 5419 HAS SOUS 3749 HAS SOUPS 3749 WITH SCORE 3754.419
AT ITER 6394 NEW BEST:: SOT 19989 SOS 5390 HAS SOPS 5390 HAS SOUS 3727 HAS SOUPS 3727 WITH SCORE 3732.39
AT ITER 6446 NEW BEST:: SOT 19989 SOS 5382 HAS SOPS 5382 HAS SOUS 3727 HAS SOUPS 3727 WITH SCORE 3732.382
AT ITER 6526 NEW BEST:: SOT 19982 SOS 5368 HAS SOPS 5368 HAS SOUS 3720 HAS SOUPS 3720 WITH SCORE 3725.368
AT ITER 6528 NEW BEST:: SOT 19988 SOS 5363 HAS SOPS 5363 HAS SOUS 3718 HAS SOUPS 3718 WITH SCORE 3723.363
AT ITER 6558 NEW BEST:: SOT 19987 SOS 5361 HAS SOPS 5361 HAS SOUS 3716 HAS SOUPS 3716 WITH SCORE 3721.361
AT ITER 6593 NEW BEST:: SOT 19987 SOS 5353 HAS SOPS 5353 HAS SOUS 3716 HAS SOUPS 3716 WITH SCORE 3721.353
AT ITER 6606 NEW BEST:: SOT 19986 SOS 5340 HAS SOPS 5340 HAS SOUS 3714 HAS SOUPS 3714 WITH SCORE 3719.34
AT ITER 6613 NEW BEST:: SOT 19986 SOS 5327 HAS SOPS 5327 HAS SOUS 3714 HAS SOUPS 3714 WITH SCORE 3719.327
AT ITER 6643 NEW BEST:: SOT 19975 SOS 5316 HAS SOPS 5316 HAS SOUS 3692 HAS SOUPS 3692 WITH SCORE 3697.316
AT ITER 6674 NEW BEST:: SOT 19969 SOS 5310 HAS SOPS 5310 HAS SOUS 3686 HAS SOUPS 3686 WITH SCORE 3691.31
AT ITER 6678 NEW BEST:: SOT 19951 SOS 5292 HAS SOPS 5292 HAS SOUS 3668 HAS SOUPS 3668 WITH SCORE 3673.292
AT ITER 6683 NEW BEST:: SOT 19946 SOS 5298 HAS SOPS 5298 HAS SOUS 3658 HAS SOUPS 3658 WITH SCORE 3663.298
AT ITER 6693 NEW BEST:: SOT 19945 SOS 5296 HAS SOPS 5296 HAS SOUS 3656 HAS SOUPS 3656 WITH SCORE 3661.296
AT ITER 6699 NEW BEST:: SOT 19945 SOS 5278 HAS SOPS 5278 HAS SOUS 3656 HAS SOUPS 3656 WITH SCORE 3661.278
AT ITER 6714 NEW BEST:: SOT 19945 SOS 5262 HAS SOPS 5262 HAS SOUS 3656 HAS SOUPS 3656 WITH SCORE 3661.262
AT ITER 6765 NEW BEST:: SOT 19942 SOS 5274 HAS SOPS 5274 HAS SOUS 3652 HAS SOUPS 3652 WITH SCORE 3657.274
AT ITER 6827 NEW BEST:: SOT 19939 SOS 5273 HAS SOPS 5273 HAS SOUS 3648 HAS SOUPS 3648 WITH SCORE 3653.273
AT ITER 6851 NEW BEST:: SOT 19937 SOS 5269 HAS SOPS 5269 HAS SOUS 3644 HAS SOUPS 3644 WITH SCORE 3649.269
AT ITER 6957 NEW BEST:: SOT 19933 SOS 5266 HAS SOPS 5266 HAS SOUS 3641 HAS SOUPS 3641 WITH SCORE 3646.266
AT ITER 6959 NEW BEST:: SOT 19933 SOS 5264 HAS SOPS 5264 HAS SOUS 3641 HAS SOUPS 3641 WITH SCORE 3646.264
AT ITER 7000 NEW BEST:: SOT 19932 SOS 5262 HAS SOPS 5262 HAS SOUS 3640 HAS SOUPS 3640 WITH SCORE 3645.262
AT ITER 7007 NEW BEST:: SOT 19931 SOS 5260 HAS SOPS 5260 HAS SOUS 3639 HAS SOUPS 3639 WITH SCORE 3644.26
AT ITER 7029 NEW BEST:: SOT 19931 SOS 5256 HAS SOPS 5256 HAS SOUS 3639 HAS SOUPS 3639 WITH SCORE 3644.256
AT ITER 7040 NEW BEST:: SOT 19927 SOS 5260 HAS SOPS 5260 HAS SOUS 3629 HAS SOUPS 3629 WITH SCORE 3634.26
AT ITER 7056 NEW BEST:: SOT 19925 SOS 5256 HAS SOPS 5256 HAS SOUS 3627 HAS SOUPS 3627 WITH SCORE 3632.256
AT ITER 7067 NEW BEST:: SOT 19919 SOS 5250 HAS SOPS 5250 HAS SOUS 3621 HAS SOUPS 3621 WITH SCORE 3626.25
AT ITER 7123 NEW BEST:: SOT 19917 SOS 5246 HAS SOPS 5246 HAS SOUS 3619 HAS SOUPS 3619 WITH SCORE 3624.246
AT ITER 7148 NEW BEST:: SOT 19916 SOS 5242 HAS SOPS 5242 HAS SOUS 3618 HAS SOUPS 3618 WITH SCORE 3623.242
AT ITER 7161 NEW BEST:: SOT 19911 SOS 5227 HAS SOPS 5227 HAS SOUS 3613 HAS SOUPS 3613 WITH SCORE 3618.227
AT ITER 7164 NEW BEST:: SOT 19909 SOS 5225 HAS SOPS 5225 HAS SOUS 3611 HAS SOUPS 3611 WITH SCORE 3616.225
AT ITER 7183 NEW BEST:: SOT 19906 SOS 5219 HAS SOPS 5219 HAS SOUS 3605 HAS SOUPS 3605 WITH SCORE 3610.219
AT ITER 7236 NEW BEST:: SOT 19905 SOS 5217 HAS SOPS 5217 HAS SOUS 3603 HAS SOUPS 3603 WITH SCORE 3608.217
AT ITER 7259 NEW BEST:: SOT 19904 SOS 5231 HAS SOPS 5231 HAS SOUS 3602 HAS SOUPS 3602 WITH SCORE 3607.231
AT ITER 7358 NEW BEST:: SOT 19902 SOS 5227 HAS SOPS 5227 HAS SOUS 3598 HAS SOUPS 3598 WITH SCORE 3603.227
AT ITER 7373 NEW BEST:: SOT 19902 SOS 5225 HAS SOPS 5225 HAS SOUS 3598 HAS SOUPS 3598 WITH SCORE 3603.225
AT ITER 7410 NEW BEST:: SOT 19903 SOS 5222 HAS SOPS 5222 HAS SOUS 3598 HAS SOUPS 3598 WITH SCORE 3603.222
AT ITER 7450 NEW BEST:: SOT 19903 SOS 5216 HAS SOPS 5216 HAS SOUS 3592 HAS SOUPS 3592 WITH SCORE 3597.216
AT ITER 7467 NEW BEST:: SOT 19900 SOS 5212 HAS SOPS 5212 HAS SOUS 3588 HAS SOUPS 3588 WITH SCORE 3593.212
AT ITER 7510 NEW BEST:: SOT 19891 SOS 5202 HAS SOPS 5202 HAS SOUS 3579 HAS SOUPS 3579 WITH SCORE 3584.202
AT ITER 7522 NEW BEST:: SOT 19891 SOS 5199 HAS SOPS 5199 HAS SOUS 3576 HAS SOUPS 3576 WITH SCORE 3581.199
AT ITER 7525 NEW BEST:: SOT 19882 SOS 5188 HAS SOPS 5188 HAS SOUS 3565 HAS SOUPS 3565 WITH SCORE 3570.188
AT ITER 7540 NEW BEST:: SOT 19881 SOS 5189 HAS SOPS 5189 HAS SOUS 3563 HAS SOUPS 3563 WITH SCORE 3568.189
AT ITER 7647 NEW BEST:: SOT 19877 SOS 5184 HAS SOPS 5184 HAS SOUS 3555 HAS SOUPS 3555 WITH SCORE 3560.184
AT ITER 7660 NEW BEST:: SOT 19871 SOS 5172 HAS SOPS 5172 HAS SOUS 3549 HAS SOUPS 3549 WITH SCORE 3554.172
AT ITER 7779 NEW BEST:: SOT 19871 SOS 5171 HAS SOPS 5171 HAS SOUS 3549 HAS SOUPS 3549 WITH SCORE 3554.171
AT ITER 7811 NEW BEST:: SOT 19871 SOS 5165 HAS SOPS 5165 HAS SOUS 3549 HAS SOUPS 3549 WITH SCORE 3554.165
AT ITER 7812 NEW BEST:: SOT 19870 SOS 5164 HAS SOPS 5164 HAS SOUS 3548 HAS SOUPS 3548 WITH SCORE 3553.164
AT ITER 7814 NEW BEST:: SOT 19867 SOS 5159 HAS SOPS 5159 HAS SOUS 3544 HAS SOUPS 3544 WITH SCORE 3549.159
AT ITER 7859 NEW BEST:: SOT 19866 SOS 5161 HAS SOPS 5161 HAS SOUS 3542 HAS SOUPS 3542 WITH SCORE 3547.161
AT ITER 7971 NEW BEST:: SOT 19866 SOS 5161 HAS SOPS 5161 HAS SOUS 3541 HAS SOUPS 3541 WITH SCORE 3546.161
AT ITER 8031 NEW BEST:: SOT 19869 SOS 5153 HAS SOPS 5153 HAS SOUS 3537 HAS SOUPS 3537 WITH SCORE 3542.153
AT ITER 8079 NEW BEST:: SOT 19867 SOS 5149 HAS SOPS 5149 HAS SOUS 3533 HAS SOUPS 3533 WITH SCORE 3538.149
AT ITER 8144 NEW BEST:: SOT 19864 SOS 5145 HAS SOPS 5145 HAS SOUS 3531 HAS SOUPS 3531 WITH SCORE 3536.145
AT ITER 8145 NEW BEST:: SOT 19863 SOS 5144 HAS SOPS 5144 HAS SOUS 3529 HAS SOUPS 3529 WITH SCORE 3534.144
AT ITER 8146 NEW BEST:: SOT 19856 SOS 5130 HAS SOPS 5130 HAS SOUS 3526 HAS SOUPS 3526 WITH SCORE 3531.13
AT ITER 8149 NEW BEST:: SOT 19857 SOS 5128 HAS SOPS 5128 HAS SOUS 3523 HAS SOUPS 3523 WITH SCORE 3528.128
AT ITER 8165 NEW BEST:: SOT 19856 SOS 5123 HAS SOPS 5123 HAS SOUS 3518 HAS SOUPS 3518 WITH SCORE 3523.123
AT ITER 8240 NEW BEST:: SOT 19855 SOS 5121 HAS SOPS 5121 HAS SOUS 3516 HAS SOUPS 3516 WITH SCORE 3521.121
AT ITER 8292 NEW BEST:: SOT 19845 SOS 5109 HAS SOPS 5109 HAS SOUS 3496 HAS SOUPS 3496 WITH SCORE 3501.109
AT ITER 8293 NEW BEST:: SOT 19843 SOS 5107 HAS SOPS 5107 HAS SOUS 3492 HAS SOUPS 3492 WITH SCORE 3497.107
AT ITER 8325 NEW BEST:: SOT 19840 SOS 5102 HAS SOPS 5102 HAS SOUS 3488 HAS SOUPS 3488 WITH SCORE 3493.102
AT ITER 8338 NEW BEST:: SOT 19837 SOS 5102 HAS SOPS 5102 HAS SOUS 3482 HAS SOUPS 3482 WITH SCORE 3487.102
AT ITER 8484 NEW BEST:: SOT 19837 SOS 5098 HAS SOPS 5098 HAS SOUS 3482 HAS SOUPS 3482 WITH SCORE 3487.098
AT ITER 8529 NEW BEST:: SOT 19833 SOS 5088 HAS SOPS 5088 HAS SOUS 3474 HAS SOUPS 3474 WITH SCORE 3479.088
AT ITER 8532 NEW BEST:: SOT 19825 SOS 5075 HAS SOPS 5075 HAS SOUS 3461 HAS SOUPS 3461 WITH SCORE 3466.075
AT ITER 8568 NEW BEST:: SOT 19824 SOS 5071 HAS SOPS 5071 HAS SOUS 3459 HAS SOUPS 3459 WITH SCORE 3464.071
AT ITER 8650 NEW BEST:: SOT 19821 SOS 5074 HAS SOPS 5074 HAS SOUS 3453 HAS SOUPS 3453 WITH SCORE 3458.074
AT ITER 8672 NEW BEST:: SOT 19821 SOS 5073 HAS SOPS 5073 HAS SOUS 3452 HAS SOUPS 3452 WITH SCORE 3457.073
AT ITER 8777 NEW BEST:: SOT 19820 SOS 5071 HAS SOPS 5071 HAS SOUS 3450 HAS SOUPS 3450 WITH SCORE 3455.071
AT ITER 8868 NEW BEST:: SOT 19818 SOS 5069 HAS SOPS 5069 HAS SOUS 3439 HAS SOUPS 3439 WITH SCORE 3444.069
AT ITER 8949 NEW BEST:: SOT 19817 SOS 5067 HAS SOPS 5067 HAS SOUS 3438 HAS SOUPS 3438 WITH SCORE 3443.067
AT ITER 9013 NEW BEST:: SOT 19817 SOS 5063 HAS SOPS 5063 HAS SOUS 3434 HAS SOUPS 3434 WITH SCORE 3439.063
AT ITER 9074 NEW BEST:: SOT 19816 SOS 5061 HAS SOPS 5061 HAS SOUS 3429 HAS SOUPS 3429 WITH SCORE 3434.061
AT ITER 9101 NEW BEST:: SOT 19816 SOS 5059 HAS SOPS 5059 HAS SOUS 3427 HAS SOUPS 3427 WITH SCORE 3432.059
AT ITER 9117 NEW BEST:: SOT 19815 SOS 5058 HAS SOPS 5058 HAS SOUS 3425 HAS SOUPS 3425 WITH SCORE 3430.058
AT ITER 9166 NEW BEST:: SOT 19813 SOS 5037 HAS SOPS 5037 HAS SOUS 3418 HAS SOUPS 3418 WITH SCORE 3423.037
AT ITER 9182 NEW BEST:: SOT 19813 SOS 5032 HAS SOPS 5032 HAS SOUS 3418 HAS SOUPS 3418 WITH SCORE 3423.032
AT ITER 9219 NEW BEST:: SOT 19813 SOS 5031 HAS SOPS 5031 HAS SOUS 3418 HAS SOUPS 3418 WITH SCORE 3423.031
AT ITER 9253 NEW BEST:: SOT 19813 SOS 5014 HAS SOPS 5014 HAS SOUS 3416 HAS SOUPS 3416 WITH SCORE 3421.014
AT ITER 9353 NEW BEST:: SOT 19813 SOS 5013 HAS SOPS 5013 HAS SOUS 3416 HAS SOUPS 3416 WITH SCORE 3421.013
AT ITER 9393 NEW BEST:: SOT 19813 SOS 5010 HAS SOPS 5010 HAS SOUS 3416 HAS SOUPS 3416 WITH SCORE 3421.01
AT ITER 9439 NEW BEST:: SOT 19809 SOS 5014 HAS SOPS 5014 HAS SOUS 3410 HAS SOUPS 3410 WITH SCORE 3415.014
AT ITER 9443 NEW BEST:: SOT 19808 SOS 5012 HAS SOPS 5012 HAS SOUS 3409 HAS SOUPS 3409 WITH SCORE 3414.012
AT ITER 9451 NEW BEST:: SOT 19807 SOS 5012 HAS SOPS 5012 HAS SOUS 3408 HAS SOUPS 3408 WITH SCORE 3413.012
AT ITER 9631 NEW BEST:: SOT 19804 SOS 5003 HAS SOPS 5003 HAS SOUS 3402 HAS SOUPS 3402 WITH SCORE 3407.003
AT ITER 9637 NEW BEST:: SOT 19800 SOS 4987 HAS SOPS 4987 HAS SOUS 3394 HAS SOUPS 3394 WITH SCORE 3398.987
AT ITER 9864 NEW BEST:: SOT 19800 SOS 4970 HAS SOPS 4970 HAS SOUS 3393 HAS SOUPS 3393 WITH SCORE 3397.97
AT ITER 9875 NEW BEST:: SOT 19797 SOS 4964 HAS SOPS 4964 HAS SOUS 3387 HAS SOUPS 3387 WITH SCORE 3391.964
AT ITER 9880 NEW BEST:: SOT 19793 SOS 4959 HAS SOPS 4959 HAS SOUS 3379 HAS SOUPS 3379 WITH SCORE 3383.959
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 1589363125282

--------------------
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"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is 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 r063-tajo-158922807700600"
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 ;