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-158922807800659.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-10b, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922807800659
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 244K
-rw-r--r-- 1 mcc users 3.6K Mar 31 07:07 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 31 07:07 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 29 23:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 29 23:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K 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:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 28 14:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 27 07:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 27 07:38 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 75K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME DiscoveryGPU-PT-10b-CTLCardinality-00
FORMULA_NAME DiscoveryGPU-PT-10b-CTLCardinality-01
FORMULA_NAME DiscoveryGPU-PT-10b-CTLCardinality-02
FORMULA_NAME DiscoveryGPU-PT-10b-CTLCardinality-03
FORMULA_NAME DiscoveryGPU-PT-10b-CTLCardinality-04
FORMULA_NAME DiscoveryGPU-PT-10b-CTLCardinality-05
FORMULA_NAME DiscoveryGPU-PT-10b-CTLCardinality-06
FORMULA_NAME DiscoveryGPU-PT-10b-CTLCardinality-07
FORMULA_NAME DiscoveryGPU-PT-10b-CTLCardinality-08
FORMULA_NAME DiscoveryGPU-PT-10b-CTLCardinality-09
FORMULA_NAME DiscoveryGPU-PT-10b-CTLCardinality-10
FORMULA_NAME DiscoveryGPU-PT-10b-CTLCardinality-11
FORMULA_NAME DiscoveryGPU-PT-10b-CTLCardinality-12
FORMULA_NAME DiscoveryGPU-PT-10b-CTLCardinality-13
FORMULA_NAME DiscoveryGPU-PT-10b-CTLCardinality-14
FORMULA_NAME DiscoveryGPU-PT-10b-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589363474155

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 10b
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 296 places, 314 transitions, 819 arcs.
AT ITER 0 NEW BEST:: SOT 64743 SOS 30735 HAS SOPS 30735 HAS SOUS 27286 HAS SOUPS 27286 WITH SCORE 27316.735
AT ITER 3 NEW BEST:: SOT 64743 SOS 30726 HAS SOPS 30726 HAS SOUS 27285 HAS SOUPS 27285 WITH SCORE 27315.726
AT ITER 4 NEW BEST:: SOT 64668 SOS 30691 HAS SOPS 30691 HAS SOUS 27248 HAS SOUPS 27248 WITH SCORE 27278.691
AT ITER 9 NEW BEST:: SOT 64613 SOS 30741 HAS SOPS 30741 HAS SOUS 27215 HAS SOUPS 27215 WITH SCORE 27245.741
AT ITER 15 NEW BEST:: SOT 63909 SOS 30362 HAS SOPS 30362 HAS SOUS 26596 HAS SOUPS 26596 WITH SCORE 26626.362
AT ITER 18 NEW BEST:: SOT 63778 SOS 30218 HAS SOPS 30218 HAS SOUS 26441 HAS SOUPS 26441 WITH SCORE 26471.218
AT ITER 19 NEW BEST:: SOT 63778 SOS 30218 HAS SOPS 30218 HAS SOUS 26440 HAS SOUPS 26440 WITH SCORE 26470.218
AT ITER 21 NEW BEST:: SOT 63688 SOS 30042 HAS SOPS 30042 HAS SOUS 26350 HAS SOUPS 26350 WITH SCORE 26380.042
AT ITER 22 NEW BEST:: SOT 63663 SOS 29992 HAS SOPS 29992 HAS SOUS 26300 HAS SOUPS 26300 WITH SCORE 26329.992
AT ITER 33 NEW BEST:: SOT 63650 SOS 29966 HAS SOPS 29966 HAS SOUS 26300 HAS SOUPS 26300 WITH SCORE 26329.966
AT ITER 43 NEW BEST:: SOT 63568 SOS 29802 HAS SOPS 29802 HAS SOUS 26136 HAS SOUPS 26136 WITH SCORE 26165.802
AT ITER 44 NEW BEST:: SOT 63496 SOS 29774 HAS SOPS 29774 HAS SOUS 26072 HAS SOUPS 26072 WITH SCORE 26101.774
AT ITER 54 NEW BEST:: SOT 63442 SOS 29199 HAS SOPS 29199 HAS SOUS 25964 HAS SOUPS 25964 WITH SCORE 25993.199
AT ITER 57 NEW BEST:: SOT 63442 SOS 29142 HAS SOPS 29142 HAS SOUS 25963 HAS SOUPS 25963 WITH SCORE 25992.142
AT ITER 60 NEW BEST:: SOT 63413 SOS 29055 HAS SOPS 29055 HAS SOUS 25905 HAS SOUPS 25905 WITH SCORE 25934.055
AT ITER 66 NEW BEST:: SOT 63407 SOS 29000 HAS SOPS 29000 HAS SOUS 25893 HAS SOUPS 25893 WITH SCORE 25922.0
AT ITER 71 NEW BEST:: SOT 63310 SOS 28910 HAS SOPS 28910 HAS SOUS 25796 HAS SOUPS 25796 WITH SCORE 25824.91
AT ITER 74 NEW BEST:: SOT 62907 SOS 28460 HAS SOPS 28460 HAS SOUS 25346 HAS SOUPS 25346 WITH SCORE 25374.46
AT ITER 79 NEW BEST:: SOT 62930 SOS 28445 HAS SOPS 28445 HAS SOUS 25268 HAS SOUPS 25268 WITH SCORE 25296.445
AT ITER 86 NEW BEST:: SOT 62865 SOS 28414 HAS SOPS 28414 HAS SOUS 25237 HAS SOUPS 25237 WITH SCORE 25265.414
AT ITER 106 NEW BEST:: SOT 62860 SOS 28342 HAS SOPS 28342 HAS SOUS 25114 HAS SOUPS 25114 WITH SCORE 25142.342
AT ITER 111 NEW BEST:: SOT 62846 SOS 28314 HAS SOPS 28314 HAS SOUS 25086 HAS SOUPS 25086 WITH SCORE 25114.314
AT ITER 114 NEW BEST:: SOT 62790 SOS 28314 HAS SOPS 28314 HAS SOUS 25030 HAS SOUPS 25030 WITH SCORE 25058.314
AT ITER 120 NEW BEST:: SOT 60744 SOS 28971 HAS SOPS 28971 HAS SOUS 23044 HAS SOUPS 23044 WITH SCORE 23072.971
AT ITER 126 NEW BEST:: SOT 60662 SOS 28673 HAS SOPS 28673 HAS SOUS 22880 HAS SOUPS 22880 WITH SCORE 22908.673
AT ITER 147 NEW BEST:: SOT 60642 SOS 28633 HAS SOPS 28633 HAS SOUS 22837 HAS SOUPS 22837 WITH SCORE 22865.633
AT ITER 153 NEW BEST:: SOT 60642 SOS 28633 HAS SOPS 28633 HAS SOUS 22835 HAS SOUPS 22835 WITH SCORE 22863.633
AT ITER 154 NEW BEST:: SOT 60566 SOS 28537 HAS SOPS 28537 HAS SOUS 22825 HAS SOUPS 22825 WITH SCORE 22853.537
AT ITER 158 NEW BEST:: SOT 60577 SOS 28435 HAS SOPS 28435 HAS SOUS 22809 HAS SOUPS 22809 WITH SCORE 22837.435
AT ITER 159 NEW BEST:: SOT 60511 SOS 28193 HAS SOPS 28193 HAS SOUS 22578 HAS SOUPS 22578 WITH SCORE 22606.193
AT ITER 163 NEW BEST:: SOT 60482 SOS 28164 HAS SOPS 28164 HAS SOUS 22549 HAS SOUPS 22549 WITH SCORE 22577.164
AT ITER 164 NEW BEST:: SOT 59849 SOS 27535 HAS SOPS 27535 HAS SOUS 21920 HAS SOUPS 21920 WITH SCORE 21947.535
AT ITER 166 NEW BEST:: SOT 59789 SOS 27315 HAS SOPS 27315 HAS SOUS 21800 HAS SOUPS 21800 WITH SCORE 21827.315
AT ITER 168 NEW BEST:: SOT 59759 SOS 27270 HAS SOPS 27270 HAS SOUS 21770 HAS SOUPS 21770 WITH SCORE 21797.27
AT ITER 169 NEW BEST:: SOT 59609 SOS 27052 HAS SOPS 27052 HAS SOUS 21552 HAS SOUPS 21552 WITH SCORE 21579.052
AT ITER 170 NEW BEST:: SOT 59599 SOS 27014 HAS SOPS 27014 HAS SOUS 21444 HAS SOUPS 21444 WITH SCORE 21471.014
AT ITER 179 NEW BEST:: SOT 59493 SOS 26869 HAS SOPS 26869 HAS SOUS 21345 HAS SOUPS 21345 WITH SCORE 21371.869
AT ITER 183 NEW BEST:: SOT 59490 SOS 26866 HAS SOPS 26866 HAS SOUS 21342 HAS SOUPS 21342 WITH SCORE 21368.866
AT ITER 186 NEW BEST:: SOT 59427 SOS 26743 HAS SOPS 26743 HAS SOUS 21279 HAS SOUPS 21279 WITH SCORE 21305.743
AT ITER 187 NEW BEST:: SOT 59401 SOS 26690 HAS SOPS 26690 HAS SOUS 21248 HAS SOUPS 21248 WITH SCORE 21274.69
AT ITER 188 NEW BEST:: SOT 59307 SOS 26502 HAS SOPS 26502 HAS SOUS 21060 HAS SOUPS 21060 WITH SCORE 21086.502
AT ITER 192 NEW BEST:: SOT 59240 SOS 26368 HAS SOPS 26368 HAS SOUS 20969 HAS SOUPS 20969 WITH SCORE 20995.368
AT ITER 193 NEW BEST:: SOT 59127 SOS 26262 HAS SOPS 26262 HAS SOUS 20926 HAS SOUPS 20926 WITH SCORE 20952.262
AT ITER 206 NEW BEST:: SOT 59126 SOS 26260 HAS SOPS 26260 HAS SOUS 20924 HAS SOUPS 20924 WITH SCORE 20950.26
AT ITER 214 NEW BEST:: SOT 59125 SOS 26258 HAS SOPS 26258 HAS SOUS 20922 HAS SOUPS 20922 WITH SCORE 20948.258
AT ITER 217 NEW BEST:: SOT 59125 SOS 26252 HAS SOPS 26252 HAS SOUS 20922 HAS SOUPS 20922 WITH SCORE 20948.252
AT ITER 221 NEW BEST:: SOT 59124 SOS 26250 HAS SOPS 26250 HAS SOUS 20920 HAS SOUPS 20920 WITH SCORE 20946.25
AT ITER 225 NEW BEST:: SOT 59035 SOS 26072 HAS SOPS 26072 HAS SOUS 20742 HAS SOUPS 20742 WITH SCORE 20768.072
AT ITER 228 NEW BEST:: SOT 59034 SOS 26071 HAS SOPS 26071 HAS SOUS 20740 HAS SOUPS 20740 WITH SCORE 20766.071
AT ITER 232 NEW BEST:: SOT 59012 SOS 26085 HAS SOPS 26085 HAS SOUS 20732 HAS SOUPS 20732 WITH SCORE 20758.085
AT ITER 236 NEW BEST:: SOT 58999 SOS 25985 HAS SOPS 25985 HAS SOUS 20728 HAS SOUPS 20728 WITH SCORE 20753.985
AT ITER 240 NEW BEST:: SOT 58988 SOS 25921 HAS SOPS 25921 HAS SOUS 20679 HAS SOUPS 20679 WITH SCORE 20704.921
AT ITER 242 NEW BEST:: SOT 58976 SOS 25897 HAS SOPS 25897 HAS SOUS 20655 HAS SOUPS 20655 WITH SCORE 20680.897
AT ITER 248 NEW BEST:: SOT 58923 SOS 25791 HAS SOPS 25791 HAS SOUS 20610 HAS SOUPS 20610 WITH SCORE 20635.791
AT ITER 253 NEW BEST:: SOT 58912 SOS 25669 HAS SOPS 25669 HAS SOUS 20600 HAS SOUPS 20600 WITH SCORE 20625.669
AT ITER 254 NEW BEST:: SOT 58903 SOS 25651 HAS SOPS 25651 HAS SOUS 20582 HAS SOUPS 20582 WITH SCORE 20607.651
AT ITER 262 NEW BEST:: SOT 58584 SOS 25332 HAS SOPS 25332 HAS SOUS 20423 HAS SOUPS 20423 WITH SCORE 20448.332
AT ITER 263 NEW BEST:: SOT 58583 SOS 25288 HAS SOPS 25288 HAS SOUS 20379 HAS SOUPS 20379 WITH SCORE 20404.288
AT ITER 295 NEW BEST:: SOT 58529 SOS 25254 HAS SOPS 25254 HAS SOUS 20345 HAS SOUPS 20345 WITH SCORE 20370.254
AT ITER 302 NEW BEST:: SOT 58550 SOS 25268 HAS SOPS 25268 HAS SOUS 20344 HAS SOUPS 20344 WITH SCORE 20369.268
AT ITER 315 NEW BEST:: SOT 58481 SOS 25163 HAS SOPS 25163 HAS SOUS 20275 HAS SOUPS 20275 WITH SCORE 20300.163
AT ITER 322 NEW BEST:: SOT 58481 SOS 25163 HAS SOPS 25163 HAS SOUS 20268 HAS SOUPS 20268 WITH SCORE 20293.163
AT ITER 326 NEW BEST:: SOT 58454 SOS 25016 HAS SOPS 25016 HAS SOUS 20183 HAS SOUPS 20183 WITH SCORE 20208.016
AT ITER 328 NEW BEST:: SOT 58442 SOS 24866 HAS SOPS 24866 HAS SOUS 20159 HAS SOUPS 20159 WITH SCORE 20183.866
AT ITER 332 NEW BEST:: SOT 58326 SOS 24711 HAS SOPS 24711 HAS SOUS 20010 HAS SOUPS 20010 WITH SCORE 20034.711
AT ITER 338 NEW BEST:: SOT 58258 SOS 24835 HAS SOPS 24835 HAS SOUS 19944 HAS SOUPS 19944 WITH SCORE 19968.835
AT ITER 339 NEW BEST:: SOT 58165 SOS 24795 HAS SOPS 24795 HAS SOUS 19851 HAS SOUPS 19851 WITH SCORE 19875.795
AT ITER 342 NEW BEST:: SOT 58100 SOS 24763 HAS SOPS 24763 HAS SOUS 19803 HAS SOUPS 19803 WITH SCORE 19827.763
AT ITER 351 NEW BEST:: SOT 58003 SOS 24425 HAS SOPS 24425 HAS SOUS 19670 HAS SOUPS 19670 WITH SCORE 19694.425
AT ITER 363 NEW BEST:: SOT 57928 SOS 24307 HAS SOPS 24307 HAS SOUS 19595 HAS SOUPS 19595 WITH SCORE 19619.307
AT ITER 377 NEW BEST:: SOT 57843 SOS 24164 HAS SOPS 24164 HAS SOUS 19519 HAS SOUPS 19519 WITH SCORE 19543.164
AT ITER 378 NEW BEST:: SOT 57840 SOS 24158 HAS SOPS 24158 HAS SOUS 19516 HAS SOUPS 19516 WITH SCORE 19540.158
AT ITER 386 NEW BEST:: SOT 57819 SOS 24000 HAS SOPS 24000 HAS SOUS 19358 HAS SOUPS 19358 WITH SCORE 19382.0
AT ITER 394 NEW BEST:: SOT 57818 SOS 23998 HAS SOPS 23998 HAS SOUS 19356 HAS SOUPS 19356 WITH SCORE 19379.998
AT ITER 399 NEW BEST:: SOT 57779 SOS 23842 HAS SOPS 23842 HAS SOUS 19200 HAS SOUPS 19200 WITH SCORE 19223.842
AT ITER 422 NEW BEST:: SOT 57615 SOS 23789 HAS SOPS 23789 HAS SOUS 19155 HAS SOUPS 19155 WITH SCORE 19178.789
AT ITER 423 NEW BEST:: SOT 57576 SOS 23678 HAS SOPS 23678 HAS SOUS 19079 HAS SOUPS 19079 WITH SCORE 19102.678
AT ITER 424 NEW BEST:: SOT 57576 SOS 23678 HAS SOPS 23678 HAS SOUS 19023 HAS SOUPS 19023 WITH SCORE 19046.678
AT ITER 430 NEW BEST:: SOT 57504 SOS 23534 HAS SOPS 23534 HAS SOUS 18935 HAS SOUPS 18935 WITH SCORE 18958.534
AT ITER 451 NEW BEST:: SOT 57489 SOS 23504 HAS SOPS 23504 HAS SOUS 18921 HAS SOUPS 18921 WITH SCORE 18944.504
AT ITER 453 NEW BEST:: SOT 57483 SOS 23492 HAS SOPS 23492 HAS SOUS 18913 HAS SOUPS 18913 WITH SCORE 18936.492
AT ITER 454 NEW BEST:: SOT 57417 SOS 23360 HAS SOPS 23360 HAS SOUS 18887 HAS SOUPS 18887 WITH SCORE 18910.36
AT ITER 466 NEW BEST:: SOT 57380 SOS 23229 HAS SOPS 23229 HAS SOUS 18813 HAS SOUPS 18813 WITH SCORE 18836.229
AT ITER 468 NEW BEST:: SOT 57231 SOS 23116 HAS SOPS 23116 HAS SOUS 18658 HAS SOUPS 18658 WITH SCORE 18681.116
AT ITER 481 NEW BEST:: SOT 57168 SOS 23053 HAS SOPS 23053 HAS SOUS 18587 HAS SOUPS 18587 WITH SCORE 18610.053
AT ITER 483 NEW BEST:: SOT 57162 SOS 23016 HAS SOPS 23016 HAS SOUS 18582 HAS SOUPS 18582 WITH SCORE 18605.016
AT ITER 484 NEW BEST:: SOT 57136 SOS 22964 HAS SOPS 22964 HAS SOUS 18561 HAS SOUPS 18561 WITH SCORE 18583.964
AT ITER 487 NEW BEST:: SOT 57135 SOS 22963 HAS SOPS 22963 HAS SOUS 18559 HAS SOUPS 18559 WITH SCORE 18581.963
AT ITER 488 NEW BEST:: SOT 57116 SOS 22944 HAS SOPS 22944 HAS SOUS 18521 HAS SOUPS 18521 WITH SCORE 18543.944
AT ITER 496 NEW BEST:: SOT 57115 SOS 22943 HAS SOPS 22943 HAS SOUS 18519 HAS SOUPS 18519 WITH SCORE 18541.943
AT ITER 498 NEW BEST:: SOT 57081 SOS 23001 HAS SOPS 23001 HAS SOUS 18485 HAS SOUPS 18485 WITH SCORE 18508.001
AT ITER 510 NEW BEST:: SOT 57077 SOS 22999 HAS SOPS 22999 HAS SOUS 18483 HAS SOUPS 18483 WITH SCORE 18505.999
AT ITER 514 NEW BEST:: SOT 56813 SOS 22861 HAS SOPS 22861 HAS SOUS 18260 HAS SOUPS 18260 WITH SCORE 18282.861
AT ITER 518 NEW BEST:: SOT 56806 SOS 22876 HAS SOPS 22876 HAS SOUS 18253 HAS SOUPS 18253 WITH SCORE 18275.876
AT ITER 519 NEW BEST:: SOT 56757 SOS 22819 HAS SOPS 22819 HAS SOUS 18155 HAS SOUPS 18155 WITH SCORE 18177.819
AT ITER 525 NEW BEST:: SOT 56757 SOS 22819 HAS SOPS 22819 HAS SOUS 18124 HAS SOUPS 18124 WITH SCORE 18146.819
AT ITER 527 NEW BEST:: SOT 56732 SOS 22725 HAS SOPS 22725 HAS SOUS 18055 HAS SOUPS 18055 WITH SCORE 18077.725
AT ITER 544 NEW BEST:: SOT 56726 SOS 22773 HAS SOPS 22773 HAS SOUS 18006 HAS SOUPS 18006 WITH SCORE 18028.773
AT ITER 548 NEW BEST:: SOT 56681 SOS 22733 HAS SOPS 22733 HAS SOUS 17965 HAS SOUPS 17965 WITH SCORE 17987.733
AT ITER 553 NEW BEST:: SOT 56656 SOS 22681 HAS SOPS 22681 HAS SOUS 17825 HAS SOUPS 17825 WITH SCORE 17847.681
AT ITER 555 NEW BEST:: SOT 56617 SOS 22609 HAS SOPS 22609 HAS SOUS 17753 HAS SOUPS 17753 WITH SCORE 17775.609
AT ITER 560 NEW BEST:: SOT 56631 SOS 22599 HAS SOPS 22599 HAS SOUS 17743 HAS SOUPS 17743 WITH SCORE 17765.599
AT ITER 568 NEW BEST:: SOT 56656 SOS 22601 HAS SOPS 22601 HAS SOUS 17737 HAS SOUPS 17737 WITH SCORE 17759.601
AT ITER 580 NEW BEST:: SOT 56634 SOS 22557 HAS SOPS 22557 HAS SOUS 17693 HAS SOUPS 17693 WITH SCORE 17715.557
AT ITER 584 NEW BEST:: SOT 56623 SOS 22546 HAS SOPS 22546 HAS SOUS 17639 HAS SOUPS 17639 WITH SCORE 17661.546
AT ITER 586 NEW BEST:: SOT 56575 SOS 22498 HAS SOPS 22498 HAS SOUS 17639 HAS SOUPS 17639 WITH SCORE 17661.498
AT ITER 592 NEW BEST:: SOT 56485 SOS 22444 HAS SOPS 22444 HAS SOUS 17620 HAS SOUPS 17620 WITH SCORE 17642.444
AT ITER 597 NEW BEST:: SOT 56480 SOS 22439 HAS SOPS 22439 HAS SOUS 17610 HAS SOUPS 17610 WITH SCORE 17632.439
AT ITER 598 NEW BEST:: SOT 56437 SOS 22280 HAS SOPS 22280 HAS SOUS 17524 HAS SOUPS 17524 WITH SCORE 17546.28
AT ITER 602 NEW BEST:: SOT 56442 SOS 22285 HAS SOPS 22285 HAS SOUS 17521 HAS SOUPS 17521 WITH SCORE 17543.285
AT ITER 614 NEW BEST:: SOT 56439 SOS 22279 HAS SOPS 22279 HAS SOUS 17515 HAS SOUPS 17515 WITH SCORE 17537.279
AT ITER 623 NEW BEST:: SOT 56422 SOS 22298 HAS SOPS 22298 HAS SOUS 17455 HAS SOUPS 17455 WITH SCORE 17477.298
AT ITER 637 NEW BEST:: SOT 56316 SOS 22086 HAS SOPS 22086 HAS SOUS 17290 HAS SOUPS 17290 WITH SCORE 17312.086
AT ITER 649 NEW BEST:: SOT 56265 SOS 21866 HAS SOPS 21866 HAS SOUS 17166 HAS SOUPS 17166 WITH SCORE 17187.866
AT ITER 651 NEW BEST:: SOT 56227 SOS 21689 HAS SOPS 21689 HAS SOUS 17090 HAS SOUPS 17090 WITH SCORE 17111.689
AT ITER 652 NEW BEST:: SOT 56217 SOS 21669 HAS SOPS 21669 HAS SOUS 17080 HAS SOUPS 17080 WITH SCORE 17101.669
AT ITER 658 NEW BEST:: SOT 56214 SOS 21666 HAS SOPS 21666 HAS SOUS 17080 HAS SOUPS 17080 WITH SCORE 17101.666
AT ITER 660 NEW BEST:: SOT 56164 SOS 23332 HAS SOPS 23332 HAS SOUS 17030 HAS SOUPS 17030 WITH SCORE 17053.332
AT ITER 665 NEW BEST:: SOT 56139 SOS 23282 HAS SOPS 23282 HAS SOUS 16980 HAS SOUPS 16980 WITH SCORE 17003.282
AT ITER 666 NEW BEST:: SOT 56161 SOS 23326 HAS SOPS 23326 HAS SOUS 16968 HAS SOUPS 16968 WITH SCORE 16991.326
AT ITER 671 NEW BEST:: SOT 56160 SOS 23290 HAS SOPS 23290 HAS SOUS 16966 HAS SOUPS 16966 WITH SCORE 16989.29
AT ITER 689 NEW BEST:: SOT 56160 SOS 23257 HAS SOPS 23257 HAS SOUS 16965 HAS SOUPS 16965 WITH SCORE 16988.257
AT ITER 693 NEW BEST:: SOT 56159 SOS 23257 HAS SOPS 23257 HAS SOUS 16964 HAS SOUPS 16964 WITH SCORE 16987.257
AT ITER 695 NEW BEST:: SOT 56106 SOS 23257 HAS SOPS 23257 HAS SOUS 16858 HAS SOUPS 16858 WITH SCORE 16881.257
AT ITER 706 NEW BEST:: SOT 56029 SOS 23208 HAS SOPS 23208 HAS SOUS 16808 HAS SOUPS 16808 WITH SCORE 16831.208
AT ITER 714 NEW BEST:: SOT 56028 SOS 23206 HAS SOPS 23206 HAS SOUS 16806 HAS SOUPS 16806 WITH SCORE 16829.206
AT ITER 729 NEW BEST:: SOT 55982 SOS 23226 HAS SOPS 23226 HAS SOUS 16768 HAS SOUPS 16768 WITH SCORE 16791.226
AT ITER 731 NEW BEST:: SOT 55977 SOS 23216 HAS SOPS 23216 HAS SOUS 16758 HAS SOUPS 16758 WITH SCORE 16781.216
AT ITER 736 NEW BEST:: SOT 55970 SOS 23181 HAS SOPS 23181 HAS SOUS 16744 HAS SOUPS 16744 WITH SCORE 16767.181
AT ITER 738 NEW BEST:: SOT 55970 SOS 23158 HAS SOPS 23158 HAS SOUS 16744 HAS SOUPS 16744 WITH SCORE 16767.158
AT ITER 745 NEW BEST:: SOT 55960 SOS 23118 HAS SOPS 23118 HAS SOUS 16734 HAS SOUPS 16734 WITH SCORE 16757.118
AT ITER 752 NEW BEST:: SOT 56039 SOS 23184 HAS SOPS 23184 HAS SOUS 16722 HAS SOUPS 16722 WITH SCORE 16745.184
AT ITER 758 NEW BEST:: SOT 56039 SOS 23103 HAS SOPS 23103 HAS SOUS 16722 HAS SOUPS 16722 WITH SCORE 16745.103
AT ITER 761 NEW BEST:: SOT 55966 SOS 22957 HAS SOPS 22957 HAS SOUS 16576 HAS SOUPS 16576 WITH SCORE 16598.957
AT ITER 762 NEW BEST:: SOT 56030 SOS 22933 HAS SOPS 22933 HAS SOUS 16552 HAS SOUPS 16552 WITH SCORE 16574.933
AT ITER 767 NEW BEST:: SOT 56055 SOS 22848 HAS SOPS 22848 HAS SOUS 16529 HAS SOUPS 16529 WITH SCORE 16551.848
AT ITER 769 NEW BEST:: SOT 56037 SOS 22812 HAS SOPS 22812 HAS SOUS 16511 HAS SOUPS 16511 WITH SCORE 16533.812
AT ITER 770 NEW BEST:: SOT 56000 SOS 22738 HAS SOPS 22738 HAS SOUS 16482 HAS SOUPS 16482 WITH SCORE 16504.738
AT ITER 790 NEW BEST:: SOT 55980 SOS 22678 HAS SOPS 22678 HAS SOUS 16422 HAS SOUPS 16422 WITH SCORE 16444.678
AT ITER 800 NEW BEST:: SOT 55979 SOS 22670 HAS SOPS 22670 HAS SOUS 16420 HAS SOUPS 16420 WITH SCORE 16442.67
AT ITER 804 NEW BEST:: SOT 55959 SOS 22630 HAS SOPS 22630 HAS SOUS 16397 HAS SOUPS 16397 WITH SCORE 16419.63
AT ITER 812 NEW BEST:: SOT 55959 SOS 22529 HAS SOPS 22529 HAS SOUS 16397 HAS SOUPS 16397 WITH SCORE 16419.529
AT ITER 829 NEW BEST:: SOT 55966 SOS 22528 HAS SOPS 22528 HAS SOUS 16395 HAS SOUPS 16395 WITH SCORE 16417.528
AT ITER 831 NEW BEST:: SOT 55966 SOS 22528 HAS SOPS 22528 HAS SOUS 16380 HAS SOUPS 16380 WITH SCORE 16402.528
AT ITER 839 NEW BEST:: SOT 55839 SOS 22287 HAS SOPS 22287 HAS SOUS 16318 HAS SOUPS 16318 WITH SCORE 16340.287
AT ITER 842 NEW BEST:: SOT 55817 SOS 22311 HAS SOPS 22311 HAS SOUS 16274 HAS SOUPS 16274 WITH SCORE 16296.311
AT ITER 859 NEW BEST:: SOT 55782 SOS 22253 HAS SOPS 22253 HAS SOUS 16226 HAS SOUPS 16226 WITH SCORE 16248.253
AT ITER 866 NEW BEST:: SOT 55759 SOS 22188 HAS SOPS 22188 HAS SOUS 16184 HAS SOUPS 16184 WITH SCORE 16206.188
AT ITER 878 NEW BEST:: SOT 55745 SOS 22174 HAS SOPS 22174 HAS SOUS 16170 HAS SOUPS 16170 WITH SCORE 16192.174
AT ITER 889 NEW BEST:: SOT 55742 SOS 22171 HAS SOPS 22171 HAS SOUS 16167 HAS SOUPS 16167 WITH SCORE 16189.171
AT ITER 898 NEW BEST:: SOT 55718 SOS 22148 HAS SOPS 22148 HAS SOUS 16150 HAS SOUPS 16150 WITH SCORE 16172.148
AT ITER 919 NEW BEST:: SOT 55678 SOS 22054 HAS SOPS 22054 HAS SOUS 16050 HAS SOUPS 16050 WITH SCORE 16072.054
AT ITER 921 NEW BEST:: SOT 55678 SOS 22048 HAS SOPS 22048 HAS SOUS 16050 HAS SOUPS 16050 WITH SCORE 16072.048
AT ITER 922 NEW BEST:: SOT 55668 SOS 21977 HAS SOPS 21977 HAS SOUS 16033 HAS SOUPS 16033 WITH SCORE 16054.977
AT ITER 936 NEW BEST:: SOT 55667 SOS 21878 HAS SOPS 21878 HAS SOUS 16032 HAS SOUPS 16032 WITH SCORE 16053.878
AT ITER 951 NEW BEST:: SOT 55667 SOS 21874 HAS SOPS 21874 HAS SOUS 16032 HAS SOUPS 16032 WITH SCORE 16053.874
AT ITER 956 NEW BEST:: SOT 55641 SOS 21850 HAS SOPS 21850 HAS SOUS 16008 HAS SOUPS 16008 WITH SCORE 16029.85
AT ITER 971 NEW BEST:: SOT 55592 SOS 21845 HAS SOPS 21845 HAS SOUS 15981 HAS SOUPS 15981 WITH SCORE 16002.845
AT ITER 976 NEW BEST:: SOT 55574 SOS 21846 HAS SOPS 21846 HAS SOUS 15945 HAS SOUPS 15945 WITH SCORE 15966.846
AT ITER 984 NEW BEST:: SOT 55540 SOS 21777 HAS SOPS 21777 HAS SOUS 15851 HAS SOUPS 15851 WITH SCORE 15872.777
AT ITER 985 NEW BEST:: SOT 55540 SOS 21772 HAS SOPS 21772 HAS SOUS 15845 HAS SOUPS 15845 WITH SCORE 15866.772
AT ITER 986 NEW BEST:: SOT 55473 SOS 21686 HAS SOPS 21686 HAS SOUS 15762 HAS SOUPS 15762 WITH SCORE 15783.686
AT ITER 990 NEW BEST:: SOT 55449 SOS 21662 HAS SOPS 21662 HAS SOUS 15738 HAS SOUPS 15738 WITH SCORE 15759.662
AT ITER 1037 NEW BEST:: SOT 55429 SOS 21602 HAS SOPS 21602 HAS SOUS 15698 HAS SOUPS 15698 WITH SCORE 15719.602
AT ITER 1074 NEW BEST:: SOT 55409 SOS 21584 HAS SOPS 21584 HAS SOUS 15656 HAS SOUPS 15656 WITH SCORE 15677.584
AT ITER 1081 NEW BEST:: SOT 55403 SOS 21591 HAS SOPS 21591 HAS SOUS 15650 HAS SOUPS 15650 WITH SCORE 15671.591
AT ITER 1097 NEW BEST:: SOT 55400 SOS 21585 HAS SOPS 21585 HAS SOUS 15644 HAS SOUPS 15644 WITH SCORE 15665.585
AT ITER 1113 NEW BEST:: SOT 55329 SOS 21418 HAS SOPS 21418 HAS SOUS 15477 HAS SOUPS 15477 WITH SCORE 15498.418
AT ITER 1119 NEW BEST:: SOT 55312 SOS 21367 HAS SOPS 21367 HAS SOUS 15451 HAS SOUPS 15451 WITH SCORE 15472.367
AT ITER 1129 NEW BEST:: SOT 55298 SOS 21346 HAS SOPS 21346 HAS SOUS 15423 HAS SOUPS 15423 WITH SCORE 15444.346
AT ITER 1134 NEW BEST:: SOT 55301 SOS 21256 HAS SOPS 21256 HAS SOUS 15350 HAS SOUPS 15350 WITH SCORE 15371.256
AT ITER 1137 NEW BEST:: SOT 55308 SOS 21340 HAS SOPS 21340 HAS SOUS 15315 HAS SOUPS 15315 WITH SCORE 15336.34
AT ITER 1142 NEW BEST:: SOT 55230 SOS 21287 HAS SOPS 21287 HAS SOUS 15262 HAS SOUPS 15262 WITH SCORE 15283.287
AT ITER 1173 NEW BEST:: SOT 55216 SOS 21273 HAS SOPS 21273 HAS SOUS 15234 HAS SOUPS 15234 WITH SCORE 15255.273
AT ITER 1175 NEW BEST:: SOT 55215 SOS 21286 HAS SOPS 21286 HAS SOUS 15206 HAS SOUPS 15206 WITH SCORE 15227.286
AT ITER 1185 NEW BEST:: SOT 55215 SOS 21204 HAS SOPS 21204 HAS SOUS 15155 HAS SOUPS 15155 WITH SCORE 15176.204
AT ITER 1192 NEW BEST:: SOT 55180 SOS 21135 HAS SOPS 21135 HAS SOUS 15122 HAS SOUPS 15122 WITH SCORE 15143.135
AT ITER 1193 NEW BEST:: SOT 55178 SOS 21129 HAS SOPS 21129 HAS SOUS 15119 HAS SOUPS 15119 WITH SCORE 15140.129
AT ITER 1216 NEW BEST:: SOT 55095 SOS 21060 HAS SOPS 21060 HAS SOUS 15113 HAS SOUPS 15113 WITH SCORE 15134.06
AT ITER 1220 NEW BEST:: SOT 55095 SOS 21058 HAS SOPS 21058 HAS SOUS 15113 HAS SOUPS 15113 WITH SCORE 15134.058
AT ITER 1228 NEW BEST:: SOT 55085 SOS 21128 HAS SOPS 21128 HAS SOUS 14999 HAS SOUPS 14999 WITH SCORE 15020.128
AT ITER 1233 NEW BEST:: SOT 55097 SOS 21106 HAS SOPS 21106 HAS SOUS 14994 HAS SOUPS 14994 WITH SCORE 15015.106
AT ITER 1238 NEW BEST:: SOT 55097 SOS 21071 HAS SOPS 21071 HAS SOUS 14994 HAS SOUPS 14994 WITH SCORE 15015.071
AT ITER 1239 NEW BEST:: SOT 55114 SOS 21006 HAS SOPS 21006 HAS SOUS 14960 HAS SOUPS 14960 WITH SCORE 14981.006
AT ITER 1248 NEW BEST:: SOT 55096 SOS 21013 HAS SOPS 21013 HAS SOUS 14942 HAS SOUPS 14942 WITH SCORE 14963.013
AT ITER 1255 NEW BEST:: SOT 55095 SOS 20998 HAS SOPS 20998 HAS SOUS 14940 HAS SOUPS 14940 WITH SCORE 14960.998
AT ITER 1285 NEW BEST:: SOT 55095 SOS 20981 HAS SOPS 20981 HAS SOUS 14940 HAS SOUPS 14940 WITH SCORE 14960.981
AT ITER 1293 NEW BEST:: SOT 55086 SOS 20963 HAS SOPS 20963 HAS SOUS 14922 HAS SOUPS 14922 WITH SCORE 14942.963
AT ITER 1300 NEW BEST:: SOT 55073 SOS 20937 HAS SOPS 20937 HAS SOUS 14896 HAS SOUPS 14896 WITH SCORE 14916.937
AT ITER 1315 NEW BEST:: SOT 55067 SOS 20907 HAS SOPS 20907 HAS SOUS 14884 HAS SOUPS 14884 WITH SCORE 14904.907
AT ITER 1333 NEW BEST:: SOT 55064 SOS 20894 HAS SOPS 20894 HAS SOUS 14878 HAS SOUPS 14878 WITH SCORE 14898.894
AT ITER 1344 NEW BEST:: SOT 55052 SOS 20870 HAS SOPS 20870 HAS SOUS 14866 HAS SOUPS 14866 WITH SCORE 14886.87
AT ITER 1347 NEW BEST:: SOT 54992 SOS 20673 HAS SOPS 20673 HAS SOUS 14806 HAS SOUPS 14806 WITH SCORE 14826.673
AT ITER 1349 NEW BEST:: SOT 54991 SOS 20672 HAS SOPS 20672 HAS SOUS 14805 HAS SOUPS 14805 WITH SCORE 14825.672
AT ITER 1379 NEW BEST:: SOT 54980 SOS 20661 HAS SOPS 20661 HAS SOUS 14794 HAS SOUPS 14794 WITH SCORE 14814.661
AT ITER 1383 NEW BEST:: SOT 54940 SOS 20536 HAS SOPS 20536 HAS SOUS 14751 HAS SOUPS 14751 WITH SCORE 14771.536
AT ITER 1387 NEW BEST:: SOT 54939 SOS 20534 HAS SOPS 20534 HAS SOUS 14750 HAS SOUPS 14750 WITH SCORE 14770.534
AT ITER 1390 NEW BEST:: SOT 54926 SOS 20508 HAS SOPS 20508 HAS SOUS 14737 HAS SOUPS 14737 WITH SCORE 14757.508
AT ITER 1395 NEW BEST:: SOT 54926 SOS 20498 HAS SOPS 20498 HAS SOUS 14736 HAS SOUPS 14736 WITH SCORE 14756.498
AT ITER 1409 NEW BEST:: SOT 54925 SOS 20496 HAS SOPS 20496 HAS SOUS 14734 HAS SOUPS 14734 WITH SCORE 14754.496
AT ITER 1430 NEW BEST:: SOT 54926 SOS 20498 HAS SOPS 20498 HAS SOUS 14709 HAS SOUPS 14709 WITH SCORE 14729.498
AT ITER 1434 NEW BEST:: SOT 54925 SOS 20496 HAS SOPS 20496 HAS SOUS 14707 HAS SOUPS 14707 WITH SCORE 14727.496
AT ITER 1446 NEW BEST:: SOT 54923 SOS 20494 HAS SOPS 20494 HAS SOUS 14705 HAS SOUPS 14705 WITH SCORE 14725.494
AT ITER 1459 NEW BEST:: SOT 54923 SOS 20494 HAS SOPS 20494 HAS SOUS 14693 HAS SOUPS 14693 WITH SCORE 14713.494
AT ITER 1474 NEW BEST:: SOT 54872 SOS 20440 HAS SOPS 20440 HAS SOUS 14611 HAS SOUPS 14611 WITH SCORE 14631.44
AT ITER 1484 NEW BEST:: SOT 54872 SOS 20439 HAS SOPS 20439 HAS SOUS 14610 HAS SOUPS 14610 WITH SCORE 14630.439
AT ITER 1486 NEW BEST:: SOT 54865 SOS 20425 HAS SOPS 20425 HAS SOUS 14596 HAS SOUPS 14596 WITH SCORE 14616.425
AT ITER 1526 NEW BEST:: SOT 54650 SOS 20245 HAS SOPS 20245 HAS SOUS 14338 HAS SOUPS 14338 WITH SCORE 14358.245
AT ITER 1531 NEW BEST:: SOT 54622 SOS 20195 HAS SOPS 20195 HAS SOUS 14274 HAS SOUPS 14274 WITH SCORE 14294.195
AT ITER 1540 NEW BEST:: SOT 54599 SOS 20149 HAS SOPS 20149 HAS SOUS 14233 HAS SOUPS 14233 WITH SCORE 14253.149
AT ITER 1542 NEW BEST:: SOT 54584 SOS 20119 HAS SOPS 20119 HAS SOUS 14203 HAS SOUPS 14203 WITH SCORE 14223.119
AT ITER 1545 NEW BEST:: SOT 54572 SOS 20229 HAS SOPS 20229 HAS SOUS 14179 HAS SOUPS 14179 WITH SCORE 14199.229
AT ITER 1555 NEW BEST:: SOT 54564 SOS 20213 HAS SOPS 20213 HAS SOUS 14171 HAS SOUPS 14171 WITH SCORE 14191.213
AT ITER 1556 NEW BEST:: SOT 54568 SOS 20211 HAS SOPS 20211 HAS SOUS 14169 HAS SOUPS 14169 WITH SCORE 14189.211
AT ITER 1579 NEW BEST:: SOT 54544 SOS 20152 HAS SOPS 20152 HAS SOUS 14121 HAS SOUPS 14121 WITH SCORE 14141.152
AT ITER 1581 NEW BEST:: SOT 54544 SOS 20146 HAS SOPS 20146 HAS SOUS 14121 HAS SOUPS 14121 WITH SCORE 14141.146
AT ITER 1583 NEW BEST:: SOT 54544 SOS 20142 HAS SOPS 20142 HAS SOUS 14121 HAS SOUPS 14121 WITH SCORE 14141.142
AT ITER 1606 NEW BEST:: SOT 54526 SOS 20106 HAS SOPS 20106 HAS SOUS 14103 HAS SOUPS 14103 WITH SCORE 14123.106
AT ITER 1633 NEW BEST:: SOT 54524 SOS 20104 HAS SOPS 20104 HAS SOUS 14099 HAS SOUPS 14099 WITH SCORE 14119.104
AT ITER 1643 NEW BEST:: SOT 54475 SOS 20033 HAS SOPS 20033 HAS SOUS 14054 HAS SOUPS 14054 WITH SCORE 14074.033
AT ITER 1670 NEW BEST:: SOT 54363 SOS 19944 HAS SOPS 19944 HAS SOUS 13965 HAS SOUPS 13965 WITH SCORE 13984.944
AT ITER 1686 NEW BEST:: SOT 54352 SOS 19910 HAS SOPS 19910 HAS SOUS 13909 HAS SOUPS 13909 WITH SCORE 13928.91
AT ITER 1698 NEW BEST:: SOT 54348 SOS 19902 HAS SOPS 19902 HAS SOUS 13905 HAS SOUPS 13905 WITH SCORE 13924.902
AT ITER 1706 NEW BEST:: SOT 54346 SOS 19898 HAS SOPS 19898 HAS SOUS 13901 HAS SOUPS 13901 WITH SCORE 13920.898
AT ITER 1707 NEW BEST:: SOT 54325 SOS 19857 HAS SOPS 19857 HAS SOUS 13875 HAS SOUPS 13875 WITH SCORE 13894.857
AT ITER 1726 NEW BEST:: SOT 54334 SOS 19870 HAS SOPS 19870 HAS SOUS 13816 HAS SOUPS 13816 WITH SCORE 13835.87
AT ITER 1729 NEW BEST:: SOT 54334 SOS 19846 HAS SOPS 19846 HAS SOUS 13792 HAS SOUPS 13792 WITH SCORE 13811.846
AT ITER 1739 NEW BEST:: SOT 54334 SOS 19843 HAS SOPS 19843 HAS SOUS 13789 HAS SOUPS 13789 WITH SCORE 13808.843
AT ITER 1742 NEW BEST:: SOT 54328 SOS 19837 HAS SOPS 19837 HAS SOUS 13783 HAS SOUPS 13783 WITH SCORE 13802.837
AT ITER 1745 NEW BEST:: SOT 54225 SOS 19671 HAS SOPS 19671 HAS SOUS 13617 HAS SOUPS 13617 WITH SCORE 13636.671
AT ITER 1751 NEW BEST:: SOT 54179 SOS 19579 HAS SOPS 19579 HAS SOUS 13548 HAS SOUPS 13548 WITH SCORE 13567.579
AT ITER 1759 NEW BEST:: SOT 54110 SOS 19799 HAS SOPS 19799 HAS SOUS 13471 HAS SOUPS 13471 WITH SCORE 13490.799
AT ITER 1785 NEW BEST:: SOT 54106 SOS 19791 HAS SOPS 19791 HAS SOUS 13467 HAS SOUPS 13467 WITH SCORE 13486.791
AT ITER 1794 NEW BEST:: SOT 54103 SOS 19788 HAS SOPS 19788 HAS SOUS 13464 HAS SOUPS 13464 WITH SCORE 13483.788
AT ITER 1803 NEW BEST:: SOT 54103 SOS 19788 HAS SOPS 19788 HAS SOUS 13463 HAS SOUPS 13463 WITH SCORE 13482.788
AT ITER 1833 NEW BEST:: SOT 54103 SOS 19757 HAS SOPS 19757 HAS SOUS 13463 HAS SOUPS 13463 WITH SCORE 13482.757
AT ITER 1835 NEW BEST:: SOT 54088 SOS 19727 HAS SOPS 19727 HAS SOUS 13441 HAS SOUPS 13441 WITH SCORE 13460.727
AT ITER 1851 NEW BEST:: SOT 54094 SOS 19739 HAS SOPS 19739 HAS SOUS 13437 HAS SOUPS 13437 WITH SCORE 13456.739
AT ITER 1857 NEW BEST:: SOT 54086 SOS 19696 HAS SOPS 19696 HAS SOUS 13429 HAS SOUPS 13429 WITH SCORE 13448.696
AT ITER 1862 NEW BEST:: SOT 54076 SOS 19686 HAS SOPS 19686 HAS SOUS 13409 HAS SOUPS 13409 WITH SCORE 13428.686
AT ITER 1896 NEW BEST:: SOT 54069 SOS 19679 HAS SOPS 19679 HAS SOUS 13402 HAS SOUPS 13402 WITH SCORE 13421.679
AT ITER 1902 NEW BEST:: SOT 54068 SOS 19678 HAS SOPS 19678 HAS SOUS 13400 HAS SOUPS 13400 WITH SCORE 13419.678
AT ITER 1915 NEW BEST:: SOT 54056 SOS 19654 HAS SOPS 19654 HAS SOUS 13376 HAS SOUPS 13376 WITH SCORE 13395.654
AT ITER 1924 NEW BEST:: SOT 54029 SOS 19627 HAS SOPS 19627 HAS SOUS 13337 HAS SOUPS 13337 WITH SCORE 13356.627
AT ITER 1943 NEW BEST:: SOT 54019 SOS 19612 HAS SOPS 19612 HAS SOUS 13326 HAS SOUPS 13326 WITH SCORE 13345.612
AT ITER 1953 NEW BEST:: SOT 54015 SOS 19589 HAS SOPS 19589 HAS SOUS 13318 HAS SOUPS 13318 WITH SCORE 13337.589
AT ITER 2014 NEW BEST:: SOT 54039 SOS 19598 HAS SOPS 19598 HAS SOUS 13312 HAS SOUPS 13312 WITH SCORE 13331.598
AT ITER 2017 NEW BEST:: SOT 54035 SOS 19548 HAS SOPS 19548 HAS SOUS 13308 HAS SOUPS 13308 WITH SCORE 13327.548
AT ITER 2033 NEW BEST:: SOT 54017 SOS 19512 HAS SOPS 19512 HAS SOUS 13272 HAS SOUPS 13272 WITH SCORE 13291.512
AT ITER 2072 NEW BEST:: SOT 54042 SOS 19537 HAS SOPS 19537 HAS SOUS 13270 HAS SOUPS 13270 WITH SCORE 13289.537
AT ITER 2085 NEW BEST:: SOT 54042 SOS 19513 HAS SOPS 19513 HAS SOUS 13270 HAS SOUPS 13270 WITH SCORE 13289.513
AT ITER 2095 NEW BEST:: SOT 54039 SOS 19495 HAS SOPS 19495 HAS SOUS 13263 HAS SOUPS 13263 WITH SCORE 13282.495
AT ITER 2103 NEW BEST:: SOT 54039 SOS 19495 HAS SOPS 19495 HAS SOUS 13233 HAS SOUPS 13233 WITH SCORE 13252.495
AT ITER 2109 NEW BEST:: SOT 54032 SOS 19493 HAS SOPS 19493 HAS SOUS 13222 HAS SOUPS 13222 WITH SCORE 13241.493
AT ITER 2113 NEW BEST:: SOT 54032 SOS 19492 HAS SOPS 19492 HAS SOUS 13221 HAS SOUPS 13221 WITH SCORE 13240.492
AT ITER 2128 NEW BEST:: SOT 54033 SOS 19494 HAS SOPS 19494 HAS SOUS 13198 HAS SOUPS 13198 WITH SCORE 13217.494
AT ITER 2156 NEW BEST:: SOT 54020 SOS 19468 HAS SOPS 19468 HAS SOUS 13186 HAS SOUPS 13186 WITH SCORE 13205.468
AT ITER 2181 NEW BEST:: SOT 54020 SOS 19468 HAS SOPS 19468 HAS SOUS 13184 HAS SOUPS 13184 WITH SCORE 13203.468
AT ITER 2183 NEW BEST:: SOT 54020 SOS 19468 HAS SOPS 19468 HAS SOUS 13174 HAS SOUPS 13174 WITH SCORE 13193.468
AT ITER 2191 NEW BEST:: SOT 54010 SOS 19448 HAS SOPS 19448 HAS SOUS 13154 HAS SOUPS 13154 WITH SCORE 13173.448
AT ITER 2194 NEW BEST:: SOT 53986 SOS 19409 HAS SOPS 19409 HAS SOUS 13121 HAS SOUPS 13121 WITH SCORE 13140.409
AT ITER 2200 NEW BEST:: SOT 53991 SOS 19365 HAS SOPS 19365 HAS SOUS 13077 HAS SOUPS 13077 WITH SCORE 13096.365
AT ITER 2214 NEW BEST:: SOT 53981 SOS 19367 HAS SOPS 19367 HAS SOUS 13057 HAS SOUPS 13057 WITH SCORE 13076.367
AT ITER 2233 NEW BEST:: SOT 53976 SOS 19357 HAS SOPS 19357 HAS SOUS 13057 HAS SOUPS 13057 WITH SCORE 13076.357
AT ITER 2236 NEW BEST:: SOT 53962 SOS 19330 HAS SOPS 19330 HAS SOUS 13035 HAS SOUPS 13035 WITH SCORE 13054.33
AT ITER 2239 NEW BEST:: SOT 53962 SOS 19307 HAS SOPS 19307 HAS SOUS 13035 HAS SOUPS 13035 WITH SCORE 13054.307
AT ITER 2269 NEW BEST:: SOT 53938 SOS 19263 HAS SOPS 19263 HAS SOUS 12987 HAS SOUPS 12987 WITH SCORE 13006.263
AT ITER 2276 NEW BEST:: SOT 53913 SOS 19238 HAS SOPS 19238 HAS SOUS 12962 HAS SOUPS 12962 WITH SCORE 12981.238
AT ITER 2304 NEW BEST:: SOT 53903 SOS 19288 HAS SOPS 19288 HAS SOUS 12942 HAS SOUPS 12942 WITH SCORE 12961.288
AT ITER 2310 NEW BEST:: SOT 53888 SOS 19245 HAS SOPS 19245 HAS SOUS 12912 HAS SOUPS 12912 WITH SCORE 12931.245
AT ITER 2321 NEW BEST:: SOT 53880 SOS 19200 HAS SOPS 19200 HAS SOUS 12906 HAS SOUPS 12906 WITH SCORE 12925.2
AT ITER 2324 NEW BEST:: SOT 53856 SOS 19152 HAS SOPS 19152 HAS SOUS 12858 HAS SOUPS 12858 WITH SCORE 12877.152
AT ITER 2327 NEW BEST:: SOT 53938 SOS 19224 HAS SOPS 19224 HAS SOUS 12835 HAS SOUPS 12835 WITH SCORE 12854.224
AT ITER 2330 NEW BEST:: SOT 53897 SOS 19199 HAS SOPS 19199 HAS SOUS 12778 HAS SOUPS 12778 WITH SCORE 12797.199
AT ITER 2331 NEW BEST:: SOT 53895 SOS 19190 HAS SOPS 19190 HAS SOUS 12774 HAS SOUPS 12774 WITH SCORE 12793.19
AT ITER 2372 NEW BEST:: SOT 53890 SOS 19185 HAS SOPS 19185 HAS SOUS 12769 HAS SOUPS 12769 WITH SCORE 12788.185
AT ITER 2389 NEW BEST:: SOT 53907 SOS 19170 HAS SOPS 19170 HAS SOUS 12737 HAS SOUPS 12737 WITH SCORE 12756.17
AT ITER 2397 NEW BEST:: SOT 53902 SOS 19179 HAS SOPS 19179 HAS SOUS 12727 HAS SOUPS 12727 WITH SCORE 12746.179
AT ITER 2410 NEW BEST:: SOT 53895 SOS 19170 HAS SOPS 19170 HAS SOUS 12718 HAS SOUPS 12718 WITH SCORE 12737.17
AT ITER 2416 NEW BEST:: SOT 53895 SOS 19170 HAS SOPS 19170 HAS SOUS 12712 HAS SOUPS 12712 WITH SCORE 12731.17
AT ITER 2430 NEW BEST:: SOT 53860 SOS 19065 HAS SOPS 19065 HAS SOUS 12710 HAS SOUPS 12710 WITH SCORE 12729.065
AT ITER 2437 NEW BEST:: SOT 53860 SOS 19065 HAS SOPS 19065 HAS SOUS 12658 HAS SOUPS 12658 WITH SCORE 12677.065
AT ITER 2455 NEW BEST:: SOT 53839 SOS 19056 HAS SOPS 19056 HAS SOUS 12652 HAS SOUPS 12652 WITH SCORE 12671.056
AT ITER 2505 NEW BEST:: SOT 53831 SOS 19040 HAS SOPS 19040 HAS SOUS 12644 HAS SOUPS 12644 WITH SCORE 12663.04
AT ITER 2518 NEW BEST:: SOT 53810 SOS 18998 HAS SOPS 18998 HAS SOUS 12602 HAS SOUPS 12602 WITH SCORE 12620.998
AT ITER 2519 NEW BEST:: SOT 53810 SOS 18997 HAS SOPS 18997 HAS SOUS 12601 HAS SOUPS 12601 WITH SCORE 12619.997
AT ITER 2524 NEW BEST:: SOT 53772 SOS 18940 HAS SOPS 18940 HAS SOUS 12544 HAS SOUPS 12544 WITH SCORE 12562.94
AT ITER 2535 NEW BEST:: SOT 53733 SOS 18951 HAS SOPS 18951 HAS SOUS 12516 HAS SOUPS 12516 WITH SCORE 12534.951
AT ITER 2567 NEW BEST:: SOT 53709 SOS 18927 HAS SOPS 18927 HAS SOUS 12492 HAS SOUPS 12492 WITH SCORE 12510.927
AT ITER 2603 NEW BEST:: SOT 53709 SOS 18922 HAS SOPS 18922 HAS SOUS 12491 HAS SOUPS 12491 WITH SCORE 12509.922
AT ITER 2618 NEW BEST:: SOT 53704 SOS 18912 HAS SOPS 18912 HAS SOUS 12485 HAS SOUPS 12485 WITH SCORE 12503.912
AT ITER 2620 NEW BEST:: SOT 53693 SOS 18912 HAS SOPS 18912 HAS SOUS 12484 HAS SOUPS 12484 WITH SCORE 12502.912
AT ITER 2633 NEW BEST:: SOT 53673 SOS 18872 HAS SOPS 18872 HAS SOUS 12444 HAS SOUPS 12444 WITH SCORE 12462.872
AT ITER 2640 NEW BEST:: SOT 53673 SOS 18854 HAS SOPS 18854 HAS SOUS 12444 HAS SOUPS 12444 WITH SCORE 12462.854
AT ITER 2644 NEW BEST:: SOT 53667 SOS 18842 HAS SOPS 18842 HAS SOUS 12432 HAS SOUPS 12432 WITH SCORE 12450.842
AT ITER 2646 NEW BEST:: SOT 53666 SOS 18839 HAS SOPS 18839 HAS SOUS 12412 HAS SOUPS 12412 WITH SCORE 12430.839
AT ITER 2667 NEW BEST:: SOT 53665 SOS 18838 HAS SOPS 18838 HAS SOUS 12411 HAS SOUPS 12411 WITH SCORE 12429.838
AT ITER 2696 NEW BEST:: SOT 53664 SOS 18836 HAS SOPS 18836 HAS SOUS 12409 HAS SOUPS 12409 WITH SCORE 12427.836
AT ITER 2708 NEW BEST:: SOT 53700 SOS 18855 HAS SOPS 18855 HAS SOUS 12399 HAS SOUPS 12399 WITH SCORE 12417.855
AT ITER 2720 NEW BEST:: SOT 53679 SOS 18813 HAS SOPS 18813 HAS SOUS 12390 HAS SOUPS 12390 WITH SCORE 12408.813
AT ITER 2727 NEW BEST:: SOT 53662 SOS 18818 HAS SOPS 18818 HAS SOUS 12350 HAS SOUPS 12350 WITH SCORE 12368.818
AT ITER 2740 NEW BEST:: SOT 53656 SOS 18811 HAS SOPS 18811 HAS SOUS 12335 HAS SOUPS 12335 WITH SCORE 12353.811
AT ITER 2748 NEW BEST:: SOT 53636 SOS 18823 HAS SOPS 18823 HAS SOUS 12334 HAS SOUPS 12334 WITH SCORE 12352.823
AT ITER 2750 NEW BEST:: SOT 53621 SOS 18808 HAS SOPS 18808 HAS SOUS 12319 HAS SOUPS 12319 WITH SCORE 12337.808
AT ITER 2752 NEW BEST:: SOT 53621 SOS 18796 HAS SOPS 18796 HAS SOUS 12319 HAS SOUPS 12319 WITH SCORE 12337.796
AT ITER 2765 NEW BEST:: SOT 53614 SOS 18775 HAS SOPS 18775 HAS SOUS 12305 HAS SOUPS 12305 WITH SCORE 12323.775
AT ITER 2769 NEW BEST:: SOT 53612 SOS 18755 HAS SOPS 18755 HAS SOUS 12301 HAS SOUPS 12301 WITH SCORE 12319.755
AT ITER 2776 NEW BEST:: SOT 53610 SOS 18751 HAS SOPS 18751 HAS SOUS 12292 HAS SOUPS 12292 WITH SCORE 12310.751
AT ITER 2777 NEW BEST:: SOT 53610 SOS 18751 HAS SOPS 18751 HAS SOUS 12271 HAS SOUPS 12271 WITH SCORE 12289.751
AT ITER 2784 NEW BEST:: SOT 53569 SOS 18629 HAS SOPS 18629 HAS SOUS 12232 HAS SOUPS 12232 WITH SCORE 12250.629
AT ITER 2787 NEW BEST:: SOT 53566 SOS 18623 HAS SOPS 18623 HAS SOUS 12226 HAS SOUPS 12226 WITH SCORE 12244.623
AT ITER 2799 NEW BEST:: SOT 53561 SOS 18618 HAS SOPS 18618 HAS SOUS 12216 HAS SOUPS 12216 WITH SCORE 12234.618
AT ITER 2802 NEW BEST:: SOT 53550 SOS 18596 HAS SOPS 18596 HAS SOUS 12204 HAS SOUPS 12204 WITH SCORE 12222.596
AT ITER 2841 NEW BEST:: SOT 53546 SOS 18588 HAS SOPS 18588 HAS SOUS 12167 HAS SOUPS 12167 WITH SCORE 12185.588
AT ITER 2850 NEW BEST:: SOT 53546 SOS 18568 HAS SOPS 18568 HAS SOUS 12147 HAS SOUPS 12147 WITH SCORE 12165.568
AT ITER 2852 NEW BEST:: SOT 53546 SOS 18567 HAS SOPS 18567 HAS SOUS 12147 HAS SOUPS 12147 WITH SCORE 12165.567
AT ITER 2860 NEW BEST:: SOT 53535 SOS 18556 HAS SOPS 18556 HAS SOUS 12145 HAS SOUPS 12145 WITH SCORE 12163.556
AT ITER 2867 NEW BEST:: SOT 53530 SOS 18582 HAS SOPS 18582 HAS SOUS 12125 HAS SOUPS 12125 WITH SCORE 12143.582
AT ITER 2879 NEW BEST:: SOT 53530 SOS 18573 HAS SOPS 18573 HAS SOUS 12125 HAS SOUPS 12125 WITH SCORE 12143.573
AT ITER 2888 NEW BEST:: SOT 53453 SOS 18465 HAS SOPS 18465 HAS SOUS 12071 HAS SOUPS 12071 WITH SCORE 12089.465
AT ITER 2910 NEW BEST:: SOT 53304 SOS 18337 HAS SOPS 18337 HAS SOUS 11969 HAS SOUPS 11969 WITH SCORE 11987.337
AT ITER 2919 NEW BEST:: SOT 53304 SOS 18336 HAS SOPS 18336 HAS SOUS 11968 HAS SOUPS 11968 WITH SCORE 11986.336
AT ITER 2925 NEW BEST:: SOT 53301 SOS 18333 HAS SOPS 18333 HAS SOUS 11968 HAS SOUPS 11968 WITH SCORE 11986.333
AT ITER 2926 NEW BEST:: SOT 53301 SOS 18332 HAS SOPS 18332 HAS SOUS 11967 HAS SOUPS 11967 WITH SCORE 11985.332
AT ITER 2932 NEW BEST:: SOT 53301 SOS 18322 HAS SOPS 18322 HAS SOUS 11961 HAS SOUPS 11961 WITH SCORE 11979.322
AT ITER 2956 NEW BEST:: SOT 53287 SOS 18308 HAS SOPS 18308 HAS SOUS 11947 HAS SOUPS 11947 WITH SCORE 11965.308
AT ITER 2972 NEW BEST:: SOT 53269 SOS 18272 HAS SOPS 18272 HAS SOUS 11929 HAS SOUPS 11929 WITH SCORE 11947.272
AT ITER 2978 NEW BEST:: SOT 53269 SOS 18272 HAS SOPS 18272 HAS SOUS 11925 HAS SOUPS 11925 WITH SCORE 11943.272
AT ITER 2983 NEW BEST:: SOT 53264 SOS 18262 HAS SOPS 18262 HAS SOUS 11915 HAS SOUPS 11915 WITH SCORE 11933.262
AT ITER 3024 NEW BEST:: SOT 53264 SOS 18190 HAS SOPS 18190 HAS SOUS 11907 HAS SOUPS 11907 WITH SCORE 11925.19
AT ITER 3030 NEW BEST:: SOT 53256 SOS 18158 HAS SOPS 18158 HAS SOUS 11892 HAS SOUPS 11892 WITH SCORE 11910.158
AT ITER 3067 NEW BEST:: SOT 53241 SOS 18149 HAS SOPS 18149 HAS SOUS 11883 HAS SOUPS 11883 WITH SCORE 11901.149
AT ITER 3135 NEW BEST:: SOT 53235 SOS 18137 HAS SOPS 18137 HAS SOUS 11871 HAS SOUPS 11871 WITH SCORE 11889.137
AT ITER 3180 NEW BEST:: SOT 53227 SOS 18121 HAS SOPS 18121 HAS SOUS 11850 HAS SOUPS 11850 WITH SCORE 11868.121
AT ITER 3184 NEW BEST:: SOT 53222 SOS 18092 HAS SOPS 18092 HAS SOUS 11840 HAS SOUPS 11840 WITH SCORE 11858.092
AT ITER 3189 NEW BEST:: SOT 53220 SOS 18090 HAS SOPS 18090 HAS SOUS 11836 HAS SOUPS 11836 WITH SCORE 11854.09
AT ITER 3220 NEW BEST:: SOT 53142 SOS 18229 HAS SOPS 18229 HAS SOUS 11736 HAS SOUPS 11736 WITH SCORE 11754.229
AT ITER 3225 NEW BEST:: SOT 53070 SOS 18157 HAS SOPS 18157 HAS SOUS 11736 HAS SOUPS 11736 WITH SCORE 11754.157
AT ITER 3249 NEW BEST:: SOT 53067 SOS 18154 HAS SOPS 18154 HAS SOUS 11733 HAS SOUPS 11733 WITH SCORE 11751.154
AT ITER 3255 NEW BEST:: SOT 53067 SOS 18154 HAS SOPS 18154 HAS SOUS 11726 HAS SOUPS 11726 WITH SCORE 11744.154
AT ITER 3269 NEW BEST:: SOT 53061 SOS 18091 HAS SOPS 18091 HAS SOUS 11686 HAS SOUPS 11686 WITH SCORE 11704.091
AT ITER 3280 NEW BEST:: SOT 53061 SOS 18010 HAS SOPS 18010 HAS SOUS 11686 HAS SOUPS 11686 WITH SCORE 11704.01
AT ITER 3295 NEW BEST:: SOT 53061 SOS 18009 HAS SOPS 18009 HAS SOUS 11685 HAS SOUPS 11685 WITH SCORE 11703.009
AT ITER 3297 NEW BEST:: SOT 53059 SOS 18004 HAS SOPS 18004 HAS SOUS 11677 HAS SOUPS 11677 WITH SCORE 11695.004
AT ITER 3335 NEW BEST:: SOT 53055 SOS 17996 HAS SOPS 17996 HAS SOUS 11671 HAS SOUPS 11671 WITH SCORE 11688.996
AT ITER 3345 NEW BEST:: SOT 53055 SOS 17889 HAS SOPS 17889 HAS SOUS 11671 HAS SOUPS 11671 WITH SCORE 11688.889
AT ITER 3348 NEW BEST:: SOT 53055 SOS 17863 HAS SOPS 17863 HAS SOUS 11671 HAS SOUPS 11671 WITH SCORE 11688.863
AT ITER 3356 NEW BEST:: SOT 53045 SOS 17843 HAS SOPS 17843 HAS SOUS 11651 HAS SOUPS 11651 WITH SCORE 11668.843
AT ITER 3377 NEW BEST:: SOT 53045 SOS 17823 HAS SOPS 17823 HAS SOUS 11651 HAS SOUPS 11651 WITH SCORE 11668.823
AT ITER 3390 NEW BEST:: SOT 53048 SOS 17829 HAS SOPS 17829 HAS SOUS 11650 HAS SOUPS 11650 WITH SCORE 11667.829
AT ITER 3397 NEW BEST:: SOT 53046 SOS 17821 HAS SOPS 17821 HAS SOUS 11629 HAS SOUPS 11629 WITH SCORE 11646.821
AT ITER 3404 NEW BEST:: SOT 53045 SOS 17819 HAS SOPS 17819 HAS SOUS 11628 HAS SOUPS 11628 WITH SCORE 11645.819
AT ITER 3421 NEW BEST:: SOT 53041 SOS 17810 HAS SOPS 17810 HAS SOUS 11619 HAS SOUPS 11619 WITH SCORE 11636.81
AT ITER 3441 NEW BEST:: SOT 53037 SOS 17801 HAS SOPS 17801 HAS SOUS 11610 HAS SOUPS 11610 WITH SCORE 11627.801
AT ITER 3454 NEW BEST:: SOT 53032 SOS 17791 HAS SOPS 17791 HAS SOUS 11591 HAS SOUPS 11591 WITH SCORE 11608.791
AT ITER 3463 NEW BEST:: SOT 53046 SOS 17777 HAS SOPS 17777 HAS SOUS 11545 HAS SOUPS 11545 WITH SCORE 11562.777
AT ITER 3464 NEW BEST:: SOT 53002 SOS 17954 HAS SOPS 17954 HAS SOUS 11529 HAS SOUPS 11529 WITH SCORE 11546.954
AT ITER 3486 NEW BEST:: SOT 53002 SOS 17978 HAS SOPS 17978 HAS SOUS 11505 HAS SOUPS 11505 WITH SCORE 11522.978
AT ITER 3492 NEW BEST:: SOT 53000 SOS 17976 HAS SOPS 17976 HAS SOUS 11503 HAS SOUPS 11503 WITH SCORE 11520.976
AT ITER 3511 NEW BEST:: SOT 52987 SOS 17963 HAS SOPS 17963 HAS SOUS 11490 HAS SOUPS 11490 WITH SCORE 11507.963
AT ITER 3513 NEW BEST:: SOT 52983 SOS 17970 HAS SOPS 17970 HAS SOUS 11482 HAS SOUPS 11482 WITH SCORE 11499.97
AT ITER 3546 NEW BEST:: SOT 52979 SOS 17962 HAS SOPS 17962 HAS SOUS 11474 HAS SOUPS 11474 WITH SCORE 11491.962
AT ITER 3571 NEW BEST:: SOT 52973 SOS 17943 HAS SOPS 17943 HAS SOUS 11462 HAS SOUPS 11462 WITH SCORE 11479.943
AT ITER 3595 NEW BEST:: SOT 52971 SOS 17930 HAS SOPS 17930 HAS SOUS 11456 HAS SOUPS 11456 WITH SCORE 11473.93
AT ITER 3603 NEW BEST:: SOT 52970 SOS 17930 HAS SOPS 17930 HAS SOUS 11454 HAS SOUPS 11454 WITH SCORE 11471.93
AT ITER 3607 NEW BEST:: SOT 52970 SOS 17930 HAS SOPS 17930 HAS SOUS 11442 HAS SOUPS 11442 WITH SCORE 11459.93
AT ITER 3629 NEW BEST:: SOT 52969 SOS 17928 HAS SOPS 17928 HAS SOUS 11440 HAS SOUPS 11440 WITH SCORE 11457.928
AT ITER 3684 NEW BEST:: SOT 52969 SOS 17895 HAS SOPS 17895 HAS SOUS 11440 HAS SOUPS 11440 WITH SCORE 11457.895
AT ITER 3729 NEW BEST:: SOT 52962 SOS 17894 HAS SOPS 17894 HAS SOUS 11439 HAS SOUPS 11439 WITH SCORE 11456.894
AT ITER 3747 NEW BEST:: SOT 52952 SOS 17857 HAS SOPS 17857 HAS SOUS 11402 HAS SOUPS 11402 WITH SCORE 11419.857
AT ITER 3750 NEW BEST:: SOT 52951 SOS 17855 HAS SOPS 17855 HAS SOUS 11400 HAS SOUPS 11400 WITH SCORE 11417.855
AT ITER 3761 NEW BEST:: SOT 52917 SOS 17788 HAS SOPS 17788 HAS SOUS 11392 HAS SOUPS 11392 WITH SCORE 11409.788
AT ITER 3766 NEW BEST:: SOT 52910 SOS 17625 HAS SOPS 17625 HAS SOUS 11376 HAS SOUPS 11376 WITH SCORE 11393.625
AT ITER 3776 NEW BEST:: SOT 52909 SOS 17623 HAS SOPS 17623 HAS SOUS 11376 HAS SOUPS 11376 WITH SCORE 11393.623
AT ITER 3783 NEW BEST:: SOT 52909 SOS 17622 HAS SOPS 17622 HAS SOUS 11376 HAS SOUPS 11376 WITH SCORE 11393.622
AT ITER 3788 NEW BEST:: SOT 52908 SOS 17619 HAS SOPS 17619 HAS SOUS 11373 HAS SOUPS 11373 WITH SCORE 11390.619
AT ITER 3809 NEW BEST:: SOT 52908 SOS 17590 HAS SOPS 17590 HAS SOUS 11373 HAS SOUPS 11373 WITH SCORE 11390.59
AT ITER 3830 NEW BEST:: SOT 52899 SOS 17426 HAS SOPS 17426 HAS SOUS 11342 HAS SOUPS 11342 WITH SCORE 11359.426
AT ITER 3837 NEW BEST:: SOT 52898 SOS 17424 HAS SOPS 17424 HAS SOUS 11340 HAS SOUPS 11340 WITH SCORE 11357.424
AT ITER 3854 NEW BEST:: SOT 52801 SOS 17327 HAS SOPS 17327 HAS SOUS 11243 HAS SOUPS 11243 WITH SCORE 11260.327
AT ITER 3947 NEW BEST:: SOT 52803 SOS 17329 HAS SOPS 17329 HAS SOUS 11217 HAS SOUPS 11217 WITH SCORE 11234.329
AT ITER 3952 NEW BEST:: SOT 52783 SOS 17289 HAS SOPS 17289 HAS SOUS 11177 HAS SOUPS 11177 WITH SCORE 11194.289
AT ITER 3963 NEW BEST:: SOT 52748 SOS 17254 HAS SOPS 17254 HAS SOUS 11096 HAS SOUPS 11096 WITH SCORE 11113.254
AT ITER 4001 NEW BEST:: SOT 52752 SOS 17207 HAS SOPS 17207 HAS SOUS 11065 HAS SOUPS 11065 WITH SCORE 11082.207
AT ITER 4020 NEW BEST:: SOT 52737 SOS 17179 HAS SOPS 17179 HAS SOUS 11048 HAS SOUPS 11048 WITH SCORE 11065.179
AT ITER 4048 NEW BEST:: SOT 52718 SOS 17141 HAS SOPS 17141 HAS SOUS 11010 HAS SOUPS 11010 WITH SCORE 11027.141
AT ITER 4073 NEW BEST:: SOT 52707 SOS 17129 HAS SOPS 17129 HAS SOUS 10998 HAS SOUPS 10998 WITH SCORE 11015.129
AT ITER 4092 NEW BEST:: SOT 52697 SOS 17119 HAS SOPS 17119 HAS SOUS 10988 HAS SOUPS 10988 WITH SCORE 11005.119
AT ITER 4116 NEW BEST:: SOT 52696 SOS 17111 HAS SOPS 17111 HAS SOUS 10980 HAS SOUPS 10980 WITH SCORE 10997.111
AT ITER 4122 NEW BEST:: SOT 52688 SOS 17119 HAS SOPS 17119 HAS SOUS 10947 HAS SOUPS 10947 WITH SCORE 10964.119
AT ITER 4148 NEW BEST:: SOT 52667 SOS 17107 HAS SOPS 17107 HAS SOUS 10920 HAS SOUPS 10920 WITH SCORE 10937.107
AT ITER 4149 NEW BEST:: SOT 52666 SOS 17106 HAS SOPS 17106 HAS SOUS 10918 HAS SOUPS 10918 WITH SCORE 10935.106
AT ITER 4181 NEW BEST:: SOT 52663 SOS 17100 HAS SOPS 17100 HAS SOUS 10912 HAS SOUPS 10912 WITH SCORE 10929.1
AT ITER 4207 NEW BEST:: SOT 52543 SOS 17122 HAS SOPS 17122 HAS SOUS 10869 HAS SOUPS 10869 WITH SCORE 10886.122
AT ITER 4259 NEW BEST:: SOT 52525 SOS 17112 HAS SOPS 17112 HAS SOUS 10862 HAS SOUPS 10862 WITH SCORE 10879.112
AT ITER 4262 NEW BEST:: SOT 52525 SOS 17112 HAS SOPS 17112 HAS SOUS 10843 HAS SOUPS 10843 WITH SCORE 10860.112
AT ITER 4270 NEW BEST:: SOT 52533 SOS 17128 HAS SOPS 17128 HAS SOUS 10810 HAS SOUPS 10810 WITH SCORE 10827.128
AT ITER 4273 NEW BEST:: SOT 52534 SOS 17137 HAS SOPS 17137 HAS SOUS 10805 HAS SOUPS 10805 WITH SCORE 10822.137
AT ITER 4314 NEW BEST:: SOT 52530 SOS 17133 HAS SOPS 17133 HAS SOUS 10797 HAS SOUPS 10797 WITH SCORE 10814.133
AT ITER 4317 NEW BEST:: SOT 52513 SOS 17081 HAS SOPS 17081 HAS SOUS 10763 HAS SOUPS 10763 WITH SCORE 10780.081
AT ITER 4324 NEW BEST:: SOT 52513 SOS 17081 HAS SOPS 17081 HAS SOUS 10760 HAS SOUPS 10760 WITH SCORE 10777.081
AT ITER 4334 NEW BEST:: SOT 52510 SOS 17075 HAS SOPS 17075 HAS SOUS 10754 HAS SOUPS 10754 WITH SCORE 10771.075
AT ITER 4338 NEW BEST:: SOT 52508 SOS 17073 HAS SOPS 17073 HAS SOUS 10752 HAS SOUPS 10752 WITH SCORE 10769.073
AT ITER 4364 NEW BEST:: SOT 52522 SOS 17054 HAS SOPS 17054 HAS SOUS 10747 HAS SOUPS 10747 WITH SCORE 10764.054
AT ITER 4395 NEW BEST:: SOT 52525 SOS 17067 HAS SOPS 17067 HAS SOUS 10743 HAS SOUPS 10743 WITH SCORE 10760.067
AT ITER 4423 NEW BEST:: SOT 52515 SOS 17058 HAS SOPS 17058 HAS SOUS 10734 HAS SOUPS 10734 WITH SCORE 10751.058
AT ITER 4449 NEW BEST:: SOT 52518 SOS 17061 HAS SOPS 17061 HAS SOUS 10732 HAS SOUPS 10732 WITH SCORE 10749.061
AT ITER 4460 NEW BEST:: SOT 52493 SOS 17028 HAS SOPS 17028 HAS SOUS 10699 HAS SOUPS 10699 WITH SCORE 10716.028
AT ITER 4477 NEW BEST:: SOT 52485 SOS 17012 HAS SOPS 17012 HAS SOUS 10683 HAS SOUPS 10683 WITH SCORE 10700.012
AT ITER 4498 NEW BEST:: SOT 52441 SOS 17031 HAS SOPS 17031 HAS SOUS 10634 HAS SOUPS 10634 WITH SCORE 10651.031
AT ITER 4513 NEW BEST:: SOT 52446 SOS 17027 HAS SOPS 17027 HAS SOUS 10632 HAS SOUPS 10632 WITH SCORE 10649.027
AT ITER 4528 NEW BEST:: SOT 52446 SOS 17026 HAS SOPS 17026 HAS SOUS 10632 HAS SOUPS 10632 WITH SCORE 10649.026
AT ITER 4548 NEW BEST:: SOT 52427 SOS 16987 HAS SOPS 16987 HAS SOUS 10594 HAS SOUPS 10594 WITH SCORE 10610.987
AT ITER 4581 NEW BEST:: SOT 52416 SOS 16978 HAS SOPS 16978 HAS SOUS 10585 HAS SOUPS 10585 WITH SCORE 10601.978
AT ITER 4608 NEW BEST:: SOT 52403 SOS 16974 HAS SOPS 16974 HAS SOUS 10567 HAS SOUPS 10567 WITH SCORE 10583.974
AT ITER 4616 NEW BEST:: SOT 52403 SOS 16974 HAS SOPS 16974 HAS SOUS 10563 HAS SOUPS 10563 WITH SCORE 10579.974
AT ITER 4634 NEW BEST:: SOT 52408 SOS 16976 HAS SOPS 16976 HAS SOUS 10560 HAS SOUPS 10560 WITH SCORE 10576.976
AT ITER 4674 NEW BEST:: SOT 52407 SOS 16974 HAS SOPS 16974 HAS SOUS 10558 HAS SOUPS 10558 WITH SCORE 10574.974
AT ITER 4698 NEW BEST:: SOT 52407 SOS 16974 HAS SOPS 16974 HAS SOUS 10554 HAS SOUPS 10554 WITH SCORE 10570.974
AT ITER 4727 NEW BEST:: SOT 52402 SOS 16964 HAS SOPS 16964 HAS SOUS 10554 HAS SOUPS 10554 WITH SCORE 10570.964
AT ITER 4736 NEW BEST:: SOT 52394 SOS 16892 HAS SOPS 16892 HAS SOUS 10538 HAS SOUPS 10538 WITH SCORE 10554.892
AT ITER 4768 NEW BEST:: SOT 52394 SOS 16877 HAS SOPS 16877 HAS SOUS 10523 HAS SOUPS 10523 WITH SCORE 10539.877
AT ITER 4805 NEW BEST:: SOT 52395 SOS 16845 HAS SOPS 16845 HAS SOUS 10504 HAS SOUPS 10504 WITH SCORE 10520.845
AT ITER 4826 NEW BEST:: SOT 52362 SOS 16814 HAS SOPS 16814 HAS SOUS 10476 HAS SOUPS 10476 WITH SCORE 10492.814
AT ITER 4872 NEW BEST:: SOT 52360 SOS 16810 HAS SOPS 16810 HAS SOUS 10465 HAS SOUPS 10465 WITH SCORE 10481.81
AT ITER 4900 NEW BEST:: SOT 52359 SOS 16826 HAS SOPS 16826 HAS SOUS 10463 HAS SOUPS 10463 WITH SCORE 10479.826
AT ITER 4919 NEW BEST:: SOT 52358 SOS 16824 HAS SOPS 16824 HAS SOUS 10461 HAS SOUPS 10461 WITH SCORE 10477.824
AT ITER 4935 NEW BEST:: SOT 52358 SOS 16779 HAS SOPS 16779 HAS SOUS 10461 HAS SOUPS 10461 WITH SCORE 10477.779
AT ITER 4940 NEW BEST:: SOT 52352 SOS 16744 HAS SOPS 16744 HAS SOUS 10442 HAS SOUPS 10442 WITH SCORE 10458.744
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: DiscoveryGPU-PT-10b-CTLCardinality-00 ( (! (! (AG( potential( (tk(P259)) <= (tk(P249)) ))))) | (EX( ( ( potential( ( 1 ) <= (tk(P184)) ) & potential( ( 3 ) <= (tk(P262)) ) ) & ( potential( ( 2 ) <= (tk(P285)) ) & potential( (tk(P272)) <= (tk(P164)) ) ) ))) )
PROPERTY: DiscoveryGPU-PT-10b-CTLCardinality-01 (! (EF((EG( potential( (tk(P154)) <= (tk(P142)) ))))))
PROPERTY: DiscoveryGPU-PT-10b-CTLCardinality-02 (AG( (EF(potential( (tk(P34)) <= (tk(P185)) )))))
PROPERTY: DiscoveryGPU-PT-10b-CTLCardinality-03 (AU( ( ( potential( (tk(P103)) <= (tk(P180)) ) & potential( (tk(P270)) <= (tk(P294)) ) ) & potential( (tk(P123)) <= (tk(P240)) ) ),(EG( potential( ( 2 ) <= (tk(P126)) ))) ))
PROPERTY: DiscoveryGPU-PT-10b-CTLCardinality-04 (EG( (EX( ( potential( ( 1 ) <= (tk(P203)) ) | potential( (tk(P236)) <= (tk(P182)) ) )))))
PROPERTY: DiscoveryGPU-PT-10b-CTLCardinality-05 (EF(( (EG( potential( (tk(P168)) <= (tk(P130)) ))) & ( potential( ( 3 ) <= (tk(P117)) ) & (! potential( ( 2 ) <= (tk(P51)) )) ) )))
PROPERTY: DiscoveryGPU-PT-10b-CTLCardinality-06 ( (EF((AG( potential( ( 1 ) <= (tk(P257)) ))))) & ( potential( (tk(P240)) <= (tk(P123)) ) | ( (EF(potential( (tk(P81)) <= (tk(P241)) ))) | potential( (tk(P36)) <= (tk(P90)) ) ) ) )
PROPERTY: DiscoveryGPU-PT-10b-CTLCardinality-07 (EF((AF(potential( ( 2 ) <= (tk(P78)) )))))
PROPERTY: DiscoveryGPU-PT-10b-CTLCardinality-08 (EG( ( ( ( potential( (tk(P164)) <= (tk(P224)) ) & potential( ( 3 ) <= (tk(P228)) ) ) | ( potential( (tk(P233)) <= (tk(P254)) ) | potential( (tk(P196)) <= (tk(P12)) ) ) ) & ( ( potential( (tk(P23)) <= (tk(P108)) ) | potential( (tk(P33)) <= (tk(P78)) ) ) | potential( ( 1 ) <= (tk(P133)) ) ) )))
PROPERTY: DiscoveryGPU-PT-10b-CTLCardinality-09 (EG( potential( (tk(P243)) <= (tk(P272)) )))
PROPERTY: DiscoveryGPU-PT-10b-CTLCardinality-10 ( (AU( (! potential( ( 1 ) <= (tk(P156)) )),potential( ( 2 ) <= (tk(P114)) ) )) & (EF((! potential( ( 2 ) <= (tk(P57)) )))) )
PROPERTY: DiscoveryGPU-PT-10b-CTLCardinality-11 (EU( ( (! potential( (tk(P165)) <= (tk(P124)) )) | potential( (tk(P132)) <= (tk(P49)) ) ),( ( potential( ( 1 ) <= (tk(P204)) ) & potential( ( 1 ) <= (tk(P74)) ) ) | (! potential( (tk(P176)) <= (tk(P99)) )) ) ))
PROPERTY: DiscoveryGPU-PT-10b-CTLCardinality-12 ( (EG( (EG( potential( (tk(P42)) <= (tk(P84)) ))))) & (AG( ( ( potential( ( 2 ) <= (tk(P124)) ) | potential( (tk(P115)) <= (tk(P291)) ) ) | ( potential( (tk(P271)) <= (tk(P18)) ) | potential( (tk(P213)) <= (tk(P76)) ) ) ))) )
PROPERTY: DiscoveryGPU-PT-10b-CTLCardinality-13 (! ( (AG( ( potential( (tk(P239)) <= (tk(P170)) ) & potential( (tk(P66)) <= (tk(P253)) ) ))) & (EG( potential( (tk(P258)) <= (tk(P277)) ))) ))
PROPERTY: DiscoveryGPU-PT-10b-CTLCardinality-14 (EF(potential( ( 3 ) <= (tk(P148)) )))
PROPERTY: DiscoveryGPU-PT-10b-CTLCardinality-15 (EU( ( (! potential( ( 2 ) <= (tk(P285)) )) | ( potential( (tk(P272)) <= (tk(P272)) ) | potential( ( 1 ) <= (tk(P58)) ) ) ),(AX( potential( ( 3 ) <= (tk(P174)) ))) ))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DiscoveryGPU-PT-10b"
export BK_EXAMINATION="CTLCardinality"
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-10b, examination is CTLCardinality"
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-158922807800659"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DiscoveryGPU-PT-10b.tgz
mv DiscoveryGPU-PT-10b execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;