About the Execution of Smart for DLCflexbar-PT-6b
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
1761.867 | 3600000.00 | 3600041.00 | 10.10 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r099-tall-167814472600584.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...............
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is DLCflexbar-PT-6b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472600584
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 11M
-rw-r--r-- 1 mcc users 8.4K Feb 25 15:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 92K Feb 25 15:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 25 15:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 25 15:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:52 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:52 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:52 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:52 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 15:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 140K Feb 25 15:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.6K Feb 25 15:05 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 71K Feb 25 15:05 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:52 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:52 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 9.6M Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1678251872756
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DLCflexbar-PT-6b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 6b
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart
Filename model.pnml
Petri model created: 25104 places, 39112 transitions, 109395 arcs.
AT ITER 0 NEW BEST:: SOT 653968249 SOS 151567365 HAS SOPS 151567365 HAS SOUS 89849950 HAS SOUPS 89849950 WITH SCORE 9.0001517365E7
AT ITER 29 NEW BEST:: SOT 653968249 SOS 151567365 HAS SOPS 151567365 HAS SOUS 89847123 HAS SOUPS 89847123 WITH SCORE 8.9998690365E7
AT ITER 34 NEW BEST:: SOT 653968074 SOS 151567016 HAS SOPS 151567016 HAS SOUS 89846774 HAS SOUPS 89846774 WITH SCORE 8.9998341016E7
AT ITER 40 NEW BEST:: SOT 653967757 SOS 151567646 HAS SOPS 151567646 HAS SOUS 89846456 HAS SOUPS 89846456 WITH SCORE 8.9998023646E7
AT ITER 54 NEW BEST:: SOT 653967757 SOS 151557311 HAS SOPS 151557311 HAS SOUS 89843011 HAS SOUPS 89843011 WITH SCORE 8.9994568311E7
AT ITER 58 NEW BEST:: SOT 653967756 SOS 151557309 HAS SOPS 151557309 HAS SOUS 89843009 HAS SOUPS 89843009 WITH SCORE 8.9994566309E7
AT ITER 67 NEW BEST:: SOT 653967756 SOS 151548186 HAS SOPS 151548186 HAS SOUS 89843009 HAS SOUPS 89843009 WITH SCORE 8.9994557186E7
AT ITER 68 NEW BEST:: SOT 653963645 SOS 151544075 HAS SOPS 151544075 HAS SOUS 89838898 HAS SOUPS 89838898 WITH SCORE 8.9990442075E7
AT ITER 84 NEW BEST:: SOT 653958989 SOS 151541747 HAS SOPS 151541747 HAS SOUS 89836570 HAS SOUPS 89836570 WITH SCORE 8.9988111747E7
AT ITER 101 NEW BEST:: SOT 653952587 SOS 151536133 HAS SOPS 151536133 HAS SOUS 89830567 HAS SOUPS 89830567 WITH SCORE 8.9982103133E7
AT ITER 109 NEW BEST:: SOT 653954850 SOS 151536131 HAS SOPS 151536131 HAS SOUS 89830566 HAS SOUPS 89830566 WITH SCORE 8.9982102131E7
AT ITER 115 NEW BEST:: SOT 653942188 SOS 151536283 HAS SOPS 151536283 HAS SOUS 89818124 HAS SOUPS 89818124 WITH SCORE 8.9969660283E7
AT ITER 139 NEW BEST:: SOT 653944716 SOS 151541339 HAS SOPS 151541339 HAS SOUS 89814714 HAS SOUPS 89814714 WITH SCORE 8.9966255339E7
AT ITER 140 NEW BEST:: SOT 653942705 SOS 151545353 HAS SOPS 151545353 HAS SOUS 89812701 HAS SOUPS 89812701 WITH SCORE 8.9964246353E7
AT ITER 150 NEW BEST:: SOT 653942705 SOS 151545353 HAS SOPS 151545353 HAS SOUS 89812029 HAS SOUPS 89812029 WITH SCORE 8.9963574353E7
AT ITER 175 NEW BEST:: SOT 653939610 SOS 151548448 HAS SOPS 151548448 HAS SOUS 89806670 HAS SOUPS 89806670 WITH SCORE 8.9958218448E7
AT ITER 187 NEW BEST:: SOT 653939610 SOS 151550396 HAS SOPS 151550396 HAS SOUS 89806668 HAS SOUPS 89806668 WITH SCORE 8.9958218396E7
AT ITER 188 NEW BEST:: SOT 653931862 SOS 151542959 HAS SOPS 151542959 HAS SOUS 89799078 HAS SOUPS 89799078 WITH SCORE 8.9950620959E7
AT ITER 190 NEW BEST:: SOT 653930855 SOS 151544969 HAS SOPS 151544969 HAS SOUS 89798070 HAS SOUPS 89798070 WITH SCORE 8.9949614969E7
AT ITER 199 NEW BEST:: SOT 653929957 SOS 151548492 HAS SOPS 151548492 HAS SOUS 89797172 HAS SOUPS 89797172 WITH SCORE 8.9948720492E7
AT ITER 213 NEW BEST:: SOT 653929957 SOS 151548492 HAS SOPS 151548492 HAS SOUS 89795405 HAS SOUPS 89795405 WITH SCORE 8.9946953492E7
AT ITER 231 NEW BEST:: SOT 653931181 SOS 151562057 HAS SOPS 151562057 HAS SOUS 89792292 HAS SOUPS 89792292 WITH SCORE 8.9943854057E7
AT ITER 232 NEW BEST:: SOT 653924056 SOS 151554932 HAS SOPS 151554932 HAS SOUS 89785167 HAS SOUPS 89785167 WITH SCORE 8.9936721932E7
AT ITER 242 NEW BEST:: SOT 653924056 SOS 151553193 HAS SOPS 151553193 HAS SOUS 89783428 HAS SOUPS 89783428 WITH SCORE 8.9934981193E7
AT ITER 259 NEW BEST:: SOT 653924056 SOS 151548756 HAS SOPS 151548756 HAS SOUS 89781949 HAS SOUPS 89781949 WITH SCORE 8.9933497756E7
AT ITER 282 NEW BEST:: SOT 653919642 SOS 151544342 HAS SOPS 151544342 HAS SOUS 89777535 HAS SOUPS 89777535 WITH SCORE 8.9929079342E7
AT ITER 320 NEW BEST:: SOT 653916312 SOS 151541008 HAS SOPS 151541008 HAS SOUS 89774204 HAS SOUPS 89774204 WITH SCORE 8.9925745008E7
AT ITER 343 NEW BEST:: SOT 653911844 SOS 151520092 HAS SOPS 151520092 HAS SOUS 89765624 HAS SOUPS 89765624 WITH SCORE 8.9917144092E7
AT ITER 350 NEW BEST:: SOT 653911843 SOS 151520090 HAS SOPS 151520090 HAS SOUS 89765622 HAS SOUPS 89765622 WITH SCORE 8.991714209E7
AT ITER 376 NEW BEST:: SOT 653911843 SOS 151518871 HAS SOPS 151518871 HAS SOUS 89765622 HAS SOUPS 89765622 WITH SCORE 8.9917140871E7
AT ITER 395 NEW BEST:: SOT 653911843 SOS 151509130 HAS SOPS 151509130 HAS SOUS 89765621 HAS SOUPS 89765621 WITH SCORE 8.991713013E7
AT ITER 447 NEW BEST:: SOT 653904753 SOS 151500743 HAS SOPS 151500743 HAS SOUS 89754985 HAS SOUPS 89754985 WITH SCORE 8.9906485743E7
AT ITER 451 NEW BEST:: SOT 653901972 SOS 151495181 HAS SOPS 151495181 HAS SOUS 89753541 HAS SOUPS 89753541 WITH SCORE 8.9905036181E7
AT ITER 471 NEW BEST:: SOT 653901980 SOS 151494878 HAS SOPS 151494878 HAS SOUS 89753391 HAS SOUPS 89753391 WITH SCORE 8.9904885878E7
AT ITER 486 NEW BEST:: SOT 653898912 SOS 151493344 HAS SOPS 151493344 HAS SOUS 89751857 HAS SOUPS 89751857 WITH SCORE 8.9903350344E7
AT ITER 502 NEW BEST:: SOT 653898912 SOS 151493344 HAS SOPS 151493344 HAS SOUS 89751855 HAS SOUPS 89751855 WITH SCORE 8.9903348344E7
AT ITER 535 NEW BEST:: SOT 653894882 SOS 151493334 HAS SOPS 151493334 HAS SOUS 89749992 HAS SOUPS 89749992 WITH SCORE 8.9901485334E7
AT ITER 540 NEW BEST:: SOT 653894882 SOS 151492262 HAS SOPS 151492262 HAS SOUS 89749456 HAS SOUPS 89749456 WITH SCORE 8.9900948262E7
AT ITER 559 NEW BEST:: SOT 653894882 SOS 151492262 HAS SOPS 151492262 HAS SOUS 89749449 HAS SOUPS 89749449 WITH SCORE 8.9900941262E7
AT ITER 577 NEW BEST:: SOT 653888736 SOS 151486116 HAS SOPS 151486116 HAS SOUS 89743303 HAS SOUPS 89743303 WITH SCORE 8.9894789116E7
AT ITER 590 NEW BEST:: SOT 653888260 SOS 151496497 HAS SOPS 151496497 HAS SOUS 89740154 HAS SOUPS 89740154 WITH SCORE 8.9891650497E7
AT ITER 599 NEW BEST:: SOT 653886472 SOS 151492917 HAS SOPS 151492917 HAS SOUS 89736577 HAS SOUPS 89736577 WITH SCORE 8.9888069917E7
AT ITER 606 NEW BEST:: SOT 653883744 SOS 151500715 HAS SOPS 151500715 HAS SOUS 89732369 HAS SOUPS 89732369 WITH SCORE 8.9883869715E7
AT ITER 613 NEW BEST:: SOT 653882390 SOS 151498007 HAS SOPS 151498007 HAS SOUS 89729661 HAS SOUPS 89729661 WITH SCORE 8.9881159007E7
AT ITER 629 NEW BEST:: SOT 653882291 SOS 151497809 HAS SOPS 151497809 HAS SOUS 89729463 HAS SOUPS 89729463 WITH SCORE 8.9880960809E7
AT ITER 648 NEW BEST:: SOT 653882114 SOS 151497278 HAS SOPS 151497278 HAS SOUS 89729109 HAS SOUPS 89729109 WITH SCORE 8.9880606278E7
AT ITER 679 NEW BEST:: SOT 653882118 SOS 151484797 HAS SOPS 151484797 HAS SOUS 89729114 HAS SOUPS 89729114 WITH SCORE 8.9880598797E7
AT ITER 693 NEW BEST:: SOT 653882118 SOS 151484797 HAS SOPS 151484797 HAS SOUS 89729113 HAS SOUPS 89729113 WITH SCORE 8.9880597797E7
AT ITER 715 NEW BEST:: SOT 653882118 SOS 151479895 HAS SOPS 151479895 HAS SOUS 89727479 HAS SOUPS 89727479 WITH SCORE 8.9878958895E7
AT ITER 726 NEW BEST:: SOT 653877922 SOS 151475699 HAS SOPS 151475699 HAS SOUS 89723283 HAS SOUPS 89723283 WITH SCORE 8.9874758699E7
AT ITER 775 NEW BEST:: SOT 653878383 SOS 151476618 HAS SOPS 151476618 HAS SOUS 89723282 HAS SOUPS 89723282 WITH SCORE 8.9874758618E7
AT ITER 787 NEW BEST:: SOT 653878383 SOS 151476614 HAS SOPS 151476614 HAS SOUS 89723281 HAS SOUPS 89723281 WITH SCORE 8.9874757614E7
AT ITER 794 NEW BEST:: SOT 653871839 SOS 151470070 HAS SOPS 151470070 HAS SOUS 89716737 HAS SOUPS 89716737 WITH SCORE 8.986820707E7
AT ITER 830 NEW BEST:: SOT 653871839 SOS 151460806 HAS SOPS 151460806 HAS SOUS 89716736 HAS SOUPS 89716736 WITH SCORE 8.9868196806E7
AT ITER 848 NEW BEST:: SOT 653870834 SOS 151458796 HAS SOPS 151458796 HAS SOUS 89714726 HAS SOUPS 89714726 WITH SCORE 8.9866184796E7
AT ITER 867 NEW BEST:: SOT 653863344 SOS 151451342 HAS SOPS 151451342 HAS SOUS 89707256 HAS SOUPS 89707256 WITH SCORE 8.9858707342E7
AT ITER 903 NEW BEST:: SOT 653858389 SOS 151446383 HAS SOPS 151446383 HAS SOUS 89702300 HAS SOUPS 89702300 WITH SCORE 8.9853746383E7
AT ITER 914 NEW BEST:: SOT 653853420 SOS 151481166 HAS SOPS 151481166 HAS SOUS 89697331 HAS SOUPS 89697331 WITH SCORE 8.9848812166E7
AT ITER 916 NEW BEST:: SOT 653854099 SOS 151479805 HAS SOPS 151479805 HAS SOUS 89697330 HAS SOUPS 89697330 WITH SCORE 8.9848809805E7
AT ITER 927 NEW BEST:: SOT 653854099 SOS 151479037 HAS SOPS 151479037 HAS SOUS 89696562 HAS SOUPS 89696562 WITH SCORE 8.9848041037E7
AT ITER 936 NEW BEST:: SOT 653854098 SOS 151479035 HAS SOPS 151479035 HAS SOUS 89696560 HAS SOUPS 89696560 WITH SCORE 8.9848039035E7
AT ITER 937 NEW BEST:: SOT 653853574 SOS 151478511 HAS SOPS 151478511 HAS SOUS 89696036 HAS SOUPS 89696036 WITH SCORE 8.9847514511E7
AT ITER 948 NEW BEST:: SOT 653853141 SOS 151477645 HAS SOPS 151477645 HAS SOUS 89695170 HAS SOUPS 89695170 WITH SCORE 8.9846647645E7
AT ITER 973 NEW BEST:: SOT 653846649 SOS 151471149 HAS SOPS 151471149 HAS SOUS 89688677 HAS SOUPS 89688677 WITH SCORE 8.9840148149E7
AT ITER 993 NEW BEST:: SOT 653843169 SOS 151468655 HAS SOPS 151468655 HAS SOUS 89686182 HAS SOUPS 89686182 WITH SCORE 8.9837650655E7
AT ITER 1004 NEW BEST:: SOT 653843632 SOS 151469578 HAS SOPS 151469578 HAS SOUS 89686181 HAS SOUPS 89686181 WITH SCORE 8.9837650578E7
AT ITER 1010 NEW BEST:: SOT 653841163 SOS 151464641 HAS SOPS 151464641 HAS SOUS 89681244 HAS SOUPS 89681244 WITH SCORE 8.9832708641E7
AT ITER 1022 NEW BEST:: SOT 653841804 SOS 151465923 HAS SOPS 151465923 HAS SOUS 89674164 HAS SOUPS 89674164 WITH SCORE 8.9825629923E7
AT ITER 1058 NEW BEST:: SOT 653838014 SOS 151446973 HAS SOPS 151446973 HAS SOUS 89666584 HAS SOUPS 89666584 WITH SCORE 8.9818030973E7
AT ITER 1089 NEW BEST:: SOT 653833377 SOS 151447215 HAS SOPS 151447215 HAS SOUS 89665119 HAS SOUPS 89665119 WITH SCORE 8.9816566215E7
AT ITER 1105 NEW BEST:: SOT 653836189 SOS 151467542 HAS SOPS 151467542 HAS SOUS 89663389 HAS SOUPS 89663389 WITH SCORE 8.9814856542E7
AT ITER 1111 NEW BEST:: SOT 653832343 SOS 151463696 HAS SOPS 151463696 HAS SOUS 89659543 HAS SOUPS 89659543 WITH SCORE 8.9811006696E7
AT ITER 1159 NEW BEST:: SOT 653832343 SOS 151459709 HAS SOPS 151459709 HAS SOUS 89658214 HAS SOUPS 89658214 WITH SCORE 8.9809673709E7
AT ITER 1163 NEW BEST:: SOT 653829714 SOS 151454451 HAS SOPS 151454451 HAS SOUS 89652956 HAS SOUPS 89652956 WITH SCORE 8.9804410451E7
AT ITER 1166 NEW BEST:: SOT 653826798 SOS 151457367 HAS SOPS 151457367 HAS SOUS 89652025 HAS SOUPS 89652025 WITH SCORE 8.9803482367E7
AT ITER 1208 NEW BEST:: SOT 653826798 SOS 151451436 HAS SOPS 151451436 HAS SOUS 89650048 HAS SOUPS 89650048 WITH SCORE 8.9801499436E7
AT ITER 1230 NEW BEST:: SOT 653826798 SOS 151451436 HAS SOPS 151451436 HAS SOUS 89648689 HAS SOUPS 89648689 WITH SCORE 8.9800140436E7
AT ITER 1231 NEW BEST:: SOT 653824435 SOS 151446710 HAS SOPS 151446710 HAS SOUS 89643963 HAS SOUPS 89643963 WITH SCORE 8.979540971E7
AT ITER 1255 NEW BEST:: SOT 653821815 SOS 151441471 HAS SOPS 151441471 HAS SOUS 89638724 HAS SOUPS 89638724 WITH SCORE 8.9790165471E7
AT ITER 1256 NEW BEST:: SOT 653821702 SOS 151441468 HAS SOPS 151441468 HAS SOUS 89638723 HAS SOUPS 89638723 WITH SCORE 8.9790164468E7
AT ITER 1277 NEW BEST:: SOT 653819831 SOS 151437726 HAS SOPS 151437726 HAS SOUS 89634981 HAS SOUPS 89634981 WITH SCORE 8.9786418726E7
AT ITER 1313 NEW BEST:: SOT 653817746 SOS 151448547 HAS SOPS 151448547 HAS SOUS 89632896 HAS SOUPS 89632896 WITH SCORE 8.9784344547E7
AT ITER 1342 NEW BEST:: SOT 653813517 SOS 151444314 HAS SOPS 151444314 HAS SOUS 89628666 HAS SOUPS 89628666 WITH SCORE 8.9780110314E7
AT ITER 1349 NEW BEST:: SOT 653813517 SOS 151432122 HAS SOPS 151432122 HAS SOUS 89628666 HAS SOUPS 89628666 WITH SCORE 8.9780098122E7
AT ITER 1356 NEW BEST:: SOT 653813516 SOS 151430566 HAS SOPS 151430566 HAS SOUS 89627110 HAS SOUPS 89627110 WITH SCORE 8.9778540566E7
AT ITER 1366 NEW BEST:: SOT 653806788 SOS 151423838 HAS SOPS 151423838 HAS SOUS 89620382 HAS SOUPS 89620382 WITH SCORE 8.9771805838E7
AT ITER 1409 NEW BEST:: SOT 653803973 SOS 151426653 HAS SOPS 151426653 HAS SOUS 89617567 HAS SOUPS 89617567 WITH SCORE 8.9768993653E7
AT ITER 1425 NEW BEST:: SOT 653798956 SOS 151421647 HAS SOPS 151421647 HAS SOUS 89612561 HAS SOUPS 89612561 WITH SCORE 8.9763982647E7
AT ITER 1445 NEW BEST:: SOT 653798342 SOS 151420419 HAS SOPS 151420419 HAS SOUS 89611333 HAS SOUPS 89611333 WITH SCORE 8.9762753419E7
AT ITER 1450 NEW BEST:: SOT 653798681 SOS 151421097 HAS SOPS 151421097 HAS SOUS 89608745 HAS SOUPS 89608745 WITH SCORE 8.9760166097E7
AT ITER 1456 NEW BEST:: SOT 653798669 SOS 151421073 HAS SOPS 151421073 HAS SOUS 89608721 HAS SOUPS 89608721 WITH SCORE 8.9760142073E7
AT ITER 1492 NEW BEST:: SOT 653799891 SOS 151402363 HAS SOPS 151402363 HAS SOUS 89607500 HAS SOUPS 89607500 WITH SCORE 8.9758902363E7
AT ITER 1577 NEW BEST:: SOT 653798292 SOS 151400764 HAS SOPS 151400764 HAS SOUS 89607500 HAS SOUPS 89607500 WITH SCORE 8.9758900764E7
AT ITER 1597 NEW BEST:: SOT 653801416 SOS 151421849 HAS SOPS 151421849 HAS SOUS 89606327 HAS SOUPS 89606327 WITH SCORE 8.9757748849E7
AT ITER 1605 NEW BEST:: SOT 653800476 SOS 151420909 HAS SOPS 151420909 HAS SOUS 89605387 HAS SOUPS 89605387 WITH SCORE 8.9756807909E7
AT ITER 1641 NEW BEST:: SOT 653796983 SOS 151432795 HAS SOPS 151432795 HAS SOUS 89598400 HAS SOUPS 89598400 WITH SCORE 8.9749832795E7
AT ITER 1649 NEW BEST:: SOT 653795557 SOS 151435643 HAS SOPS 151435643 HAS SOUS 89596973 HAS SOUPS 89596973 WITH SCORE 8.9748408643E7
AT ITER 1661 NEW BEST:: SOT 653791898 SOS 151431984 HAS SOPS 151431984 HAS SOUS 89593314 HAS SOUPS 89593314 WITH SCORE 8.9744745984E7
AT ITER 1680 NEW BEST:: SOT 653789309 SOS 151430005 HAS SOPS 151430005 HAS SOUS 89588136 HAS SOUPS 89588136 WITH SCORE 8.9739566005E7
AT ITER 1688 NEW BEST:: SOT 653789308 SOS 151427677 HAS SOPS 151427677 HAS SOUS 89585808 HAS SOUPS 89585808 WITH SCORE 8.9737235677E7
AT ITER 1719 NEW BEST:: SOT 653789308 SOS 151420504 HAS SOPS 151420504 HAS SOUS 89583417 HAS SOUPS 89583417 WITH SCORE 8.9734837504E7
AT ITER 1803 NEW BEST:: SOT 653789307 SOS 151420502 HAS SOPS 151420502 HAS SOUS 89583415 HAS SOUPS 89583415 WITH SCORE 8.9734835502E7
AT ITER 1808 NEW BEST:: SOT 653787196 SOS 151416280 HAS SOPS 151416280 HAS SOUS 89579193 HAS SOUPS 89579193 WITH SCORE 8.973060928E7
AT ITER 1812 NEW BEST:: SOT 653786723 SOS 151415334 HAS SOPS 151415334 HAS SOUS 89578719 HAS SOUPS 89578719 WITH SCORE 8.9730134334E7
AT ITER 1854 NEW BEST:: SOT 653787253 SOS 151414271 HAS SOPS 151414271 HAS SOUS 89578718 HAS SOUPS 89578718 WITH SCORE 8.9730132271E7
AT ITER 1874 NEW BEST:: SOT 653783223 SOS 151410237 HAS SOPS 151410237 HAS SOUS 89574687 HAS SOUPS 89574687 WITH SCORE 8.9726097237E7
AT ITER 1881 NEW BEST:: SOT 653781710 SOS 151407211 HAS SOPS 151407211 HAS SOUS 89573174 HAS SOUPS 89573174 WITH SCORE 8.9724581211E7
AT ITER 1907 NEW BEST:: SOT 653766885 SOS 151385586 HAS SOPS 151385586 HAS SOUS 89550938 HAS SOUPS 89550938 WITH SCORE 8.9702323586E7
AT ITER 1911 NEW BEST:: SOT 653766885 SOS 151385586 HAS SOPS 151385586 HAS SOUS 89548986 HAS SOUPS 89548986 WITH SCORE 8.9700371586E7
AT ITER 1942 NEW BEST:: SOT 653764875 SOS 151389602 HAS SOPS 151389602 HAS SOUS 89546975 HAS SOUPS 89546975 WITH SCORE 8.9698364602E7
AT ITER 1943 NEW BEST:: SOT 653764875 SOS 151378784 HAS SOPS 151378784 HAS SOUS 89546974 HAS SOUPS 89546974 WITH SCORE 8.9698352784E7
AT ITER 1976 NEW BEST:: SOT 653761580 SOS 151362309 HAS SOPS 151362309 HAS SOUS 89540384 HAS SOUPS 89540384 WITH SCORE 8.9691746309E7
AT ITER 1986 NEW BEST:: SOT 653757897 SOS 151359013 HAS SOPS 151359013 HAS SOUS 89537088 HAS SOUPS 89537088 WITH SCORE 8.9688447013E7
AT ITER 2002 NEW BEST:: SOT 653756294 SOS 151360616 HAS SOPS 151360616 HAS SOUS 89535485 HAS SOUPS 89535485 WITH SCORE 8.9686845616E7
AT ITER 2007 NEW BEST:: SOT 653754774 SOS 151357576 HAS SOPS 151357576 HAS SOUS 89532445 HAS SOUPS 89532445 WITH SCORE 8.9683802576E7
AT ITER 2013 NEW BEST:: SOT 653754774 SOS 151346350 HAS SOPS 151346350 HAS SOUS 89532445 HAS SOUPS 89532445 WITH SCORE 8.968379135E7
AT ITER 2086 NEW BEST:: SOT 653739646 SOS 151361402 HAS SOPS 151361402 HAS SOUS 89521947 HAS SOUPS 89521947 WITH SCORE 8.9673308402E7
AT ITER 2092 NEW BEST:: SOT 653738218 SOS 151361402 HAS SOPS 151361402 HAS SOUS 89521233 HAS SOUPS 89521233 WITH SCORE 8.9672594402E7
AT ITER 2096 NEW BEST:: SOT 653738218 SOS 151361265 HAS SOPS 151361265 HAS SOUS 89521233 HAS SOUPS 89521233 WITH SCORE 8.9672594265E7
AT ITER 2137 NEW BEST:: SOT 653732710 SOS 151355753 HAS SOPS 151355753 HAS SOUS 89515724 HAS SOUPS 89515724 WITH SCORE 8.9667079753E7
AT ITER 2180 NEW BEST:: SOT 653732707 SOS 151355747 HAS SOPS 151355747 HAS SOUS 89515718 HAS SOUPS 89515718 WITH SCORE 8.9667073747E7
AT ITER 2199 NEW BEST:: SOT 653732707 SOS 151374980 HAS SOPS 151374980 HAS SOUS 89513552 HAS SOUPS 89513552 WITH SCORE 8.966492698E7
AT ITER 2201 NEW BEST:: SOT 653728585 SOS 151370858 HAS SOPS 151370858 HAS SOUS 89509430 HAS SOUPS 89509430 WITH SCORE 8.9660800858E7
AT ITER 2204 NEW BEST:: SOT 653725093 SOS 151381672 HAS SOPS 151381672 HAS SOUS 89502445 HAS SOUPS 89502445 WITH SCORE 8.9653826672E7
AT ITER 2209 NEW BEST:: SOT 653725093 SOS 151381491 HAS SOPS 151381491 HAS SOUS 89502264 HAS SOUPS 89502264 WITH SCORE 8.9653645491E7
AT ITER 2211 NEW BEST:: SOT 653725343 SOS 151384042 HAS SOPS 151384042 HAS SOUS 89500364 HAS SOUPS 89500364 WITH SCORE 8.9651748042E7
AT ITER 2264 NEW BEST:: SOT 653720947 SOS 151379642 HAS SOPS 151379642 HAS SOUS 89495967 HAS SOUPS 89495967 WITH SCORE 8.9647346642E7
AT ITER 2273 NEW BEST:: SOT 653720947 SOS 151399745 HAS SOPS 151399745 HAS SOUS 89493693 HAS SOUPS 89493693 WITH SCORE 8.9645092745E7
AT ITER 2277 NEW BEST:: SOT 653721073 SOS 151399682 HAS SOPS 151399682 HAS SOUS 89493378 HAS SOUPS 89493378 WITH SCORE 8.9644777682E7
AT ITER 2313 NEW BEST:: SOT 653721072 SOS 151396330 HAS SOPS 151396330 HAS SOUS 89490026 HAS SOUPS 89490026 WITH SCORE 8.964142233E7
AT ITER 2317 NEW BEST:: SOT 653716809 SOS 151387804 HAS SOPS 151387804 HAS SOUS 89485763 HAS SOUPS 89485763 WITH SCORE 8.9637150804E7
AT ITER 2340 NEW BEST:: SOT 653711119 SOS 151388544 HAS SOPS 151388544 HAS SOUS 89485249 HAS SOUPS 89485249 WITH SCORE 8.9636637544E7
AT ITER 2343 NEW BEST:: SOT 653711119 SOS 151386972 HAS SOPS 151386972 HAS SOUS 89485249 HAS SOUPS 89485249 WITH SCORE 8.9636635972E7
AT ITER 2361 NEW BEST:: SOT 653709666 SOS 151391445 HAS SOPS 151391445 HAS SOUS 89481837 HAS SOUPS 89481837 WITH SCORE 8.9633228445E7
AT ITER 2386 NEW BEST:: SOT 653709156 SOS 151390425 HAS SOPS 151390425 HAS SOUS 89480817 HAS SOUPS 89480817 WITH SCORE 8.9632207425E7
AT ITER 2393 NEW BEST:: SOT 653709156 SOS 151389467 HAS SOPS 151389467 HAS SOUS 89480338 HAS SOUPS 89480338 WITH SCORE 8.9631727467E7
AT ITER 2395 NEW BEST:: SOT 653702652 SOS 151376459 HAS SOPS 151376459 HAS SOUS 89467330 HAS SOUPS 89467330 WITH SCORE 8.9618706459E7
AT ITER 2397 NEW BEST:: SOT 653700332 SOS 151374139 HAS SOPS 151374139 HAS SOUS 89467330 HAS SOUPS 89467330 WITH SCORE 8.9618704139E7
AT ITER 2400 NEW BEST:: SOT 653698914 SOS 151371303 HAS SOPS 151371303 HAS SOUS 89464079 HAS SOUPS 89464079 WITH SCORE 8.9615450303E7
AT ITER 2410 NEW BEST:: SOT 653695790 SOS 151365055 HAS SOPS 151365055 HAS SOUS 89461566 HAS SOUPS 89461566 WITH SCORE 8.9612931055E7
AT ITER 2439 NEW BEST:: SOT 653694641 SOS 151363906 HAS SOPS 151363906 HAS SOUS 89460417 HAS SOUPS 89460417 WITH SCORE 8.9611780906E7
AT ITER 2459 NEW BEST:: SOT 653693776 SOS 151362176 HAS SOPS 151362176 HAS SOUS 89458687 HAS SOUPS 89458687 WITH SCORE 8.9610049176E7
AT ITER 2521 NEW BEST:: SOT 653684599 SOS 151351688 HAS SOPS 151351688 HAS SOUS 89452352 HAS SOUPS 89452352 WITH SCORE 8.9603703688E7
AT ITER 2529 NEW BEST:: SOT 653682325 SOS 151356232 HAS SOPS 151356232 HAS SOUS 89450077 HAS SOUPS 89450077 WITH SCORE 8.9601433232E7
AT ITER 2548 NEW BEST:: SOT 653677475 SOS 151351378 HAS SOPS 151351378 HAS SOUS 89445226 HAS SOUPS 89445226 WITH SCORE 8.9596577378E7
AT ITER 2551 NEW BEST:: SOT 653673622 SOS 151347521 HAS SOPS 151347521 HAS SOUS 89441372 HAS SOUPS 89441372 WITH SCORE 8.9592719521E7
AT ITER 2568 NEW BEST:: SOT 653674453 SOS 151345856 HAS SOPS 151345856 HAS SOUS 89441371 HAS SOUPS 89441371 WITH SCORE 8.9592716856E7
AT ITER 2587 NEW BEST:: SOT 653676910 SOS 151335647 HAS SOPS 151335647 HAS SOUS 89440015 HAS SOUPS 89440015 WITH SCORE 8.9591350647E7
AT ITER 2596 NEW BEST:: SOT 653676910 SOS 151335647 HAS SOPS 151335647 HAS SOUS 89440014 HAS SOUPS 89440014 WITH SCORE 8.9591349647E7
AT ITER 2622 NEW BEST:: SOT 653676910 SOS 151330430 HAS SOPS 151330430 HAS SOUS 89438275 HAS SOUPS 89438275 WITH SCORE 8.958960543E7
AT ITER 2623 NEW BEST:: SOT 653675867 SOS 151329387 HAS SOPS 151329387 HAS SOUS 89437232 HAS SOUPS 89437232 WITH SCORE 8.9588561387E7
AT ITER 2629 NEW BEST:: SOT 653673917 SOS 151339715 HAS SOPS 151339715 HAS SOUS 89435282 HAS SOUPS 89435282 WITH SCORE 8.9586621715E7
AT ITER 2675 NEW BEST:: SOT 653675217 SOS 151356819 HAS SOPS 151356819 HAS SOUS 89433045 HAS SOUPS 89433045 WITH SCORE 8.9584401819E7
AT ITER 2678 NEW BEST:: SOT 653672993 SOS 151352371 HAS SOPS 151352371 HAS SOUS 89428597 HAS SOUPS 89428597 WITH SCORE 8.9579949371E7
AT ITER 2696 NEW BEST:: SOT 653666071 SOS 151349551 HAS SOPS 151349551 HAS SOUS 89423725 HAS SOUPS 89423725 WITH SCORE 8.9575074551E7
AT ITER 2697 NEW BEST:: SOT 653666070 SOS 151349549 HAS SOPS 151349549 HAS SOUS 89423723 HAS SOUPS 89423723 WITH SCORE 8.9575072549E7
AT ITER 2699 NEW BEST:: SOT 653660550 SOS 151346392 HAS SOPS 151346392 HAS SOUS 89418203 HAS SOUPS 89418203 WITH SCORE 8.9569549392E7
AT ITER 2727 NEW BEST:: SOT 653656339 SOS 151342177 HAS SOPS 151342177 HAS SOUS 89413991 HAS SOUPS 89413991 WITH SCORE 8.9565333177E7
AT ITER 2738 NEW BEST:: SOT 653655060 SOS 151351120 HAS SOPS 151351120 HAS SOUS 89411432 HAS SOUPS 89411432 WITH SCORE 8.956278312E7
AT ITER 2758 NEW BEST:: SOT 653655727 SOS 151340820 HAS SOPS 151340820 HAS SOUS 89408888 HAS SOUPS 89408888 WITH SCORE 8.956022882E7
AT ITER 2767 NEW BEST:: SOT 653654104 SOS 151344058 HAS SOPS 151344058 HAS SOUS 89407263 HAS SOUPS 89407263 WITH SCORE 8.9558607058E7
AT ITER 2798 NEW BEST:: SOT 653648279 SOS 151338233 HAS SOPS 151338233 HAS SOUS 89401438 HAS SOUPS 89401438 WITH SCORE 8.9552776233E7
AT ITER 2810 NEW BEST:: SOT 653644000 SOS 151334224 HAS SOPS 151334224 HAS SOUS 89397158 HAS SOUPS 89397158 WITH SCORE 8.9548492224E7
AT ITER 2834 NEW BEST:: SOT 653642045 SOS 151330314 HAS SOPS 151330314 HAS SOUS 89395203 HAS SOUPS 89395203 WITH SCORE 8.9546533314E7
AT ITER 2841 NEW BEST:: SOT 653642045 SOS 151325889 HAS SOPS 151325889 HAS SOUS 89393728 HAS SOUPS 89393728 WITH SCORE 8.9545053889E7
AT ITER 2842 NEW BEST:: SOT 653642045 SOS 151325228 HAS SOPS 151325228 HAS SOUS 89393728 HAS SOUPS 89393728 WITH SCORE 8.9545053228E7
AT ITER 2849 NEW BEST:: SOT 653636951 SOS 151299758 HAS SOPS 151299758 HAS SOUS 89383540 HAS SOUPS 89383540 WITH SCORE 8.9534839758E7
AT ITER 2868 NEW BEST:: SOT 653633378 SOS 151298194 HAS SOPS 151298194 HAS SOUS 89381976 HAS SOUPS 89381976 WITH SCORE 8.9533274194E7
AT ITER 2893 NEW BEST:: SOT 653633378 SOS 151298194 HAS SOPS 151298194 HAS SOUS 89381975 HAS SOUPS 89381975 WITH SCORE 8.9533273194E7
AT ITER 2927 NEW BEST:: SOT 653633378 SOS 151297870 HAS SOPS 151297870 HAS SOUS 89381975 HAS SOUPS 89381975 WITH SCORE 8.953327287E7
AT ITER 2978 NEW BEST:: SOT 653625480 SOS 151282074 HAS SOPS 151282074 HAS SOUS 89366179 HAS SOUPS 89366179 WITH SCORE 8.9517461074E7
AT ITER 2994 NEW BEST:: SOT 653602583 SOS 151271673 HAS SOPS 151271673 HAS SOUS 89346023 HAS SOUPS 89346023 WITH SCORE 8.9497294673E7
AT ITER 3006 NEW BEST:: SOT 653602583 SOS 151271673 HAS SOPS 151271673 HAS SOUS 89346022 HAS SOUPS 89346022 WITH SCORE 8.9497293673E7
AT ITER 3068 NEW BEST:: SOT 653597549 SOS 151267968 HAS SOPS 151267968 HAS SOUS 89338486 HAS SOUPS 89338486 WITH SCORE 8.9489753968E7
AT ITER 3082 NEW BEST:: SOT 653594038 SOS 151268952 HAS SOPS 151268952 HAS SOUS 89335113 HAS SOUPS 89335113 WITH SCORE 8.9486381952E7
AT ITER 3094 NEW BEST:: SOT 653588666 SOS 151263576 HAS SOPS 151263576 HAS SOUS 89329740 HAS SOUPS 89329740 WITH SCORE 8.9481003576E7
AT ITER 3127 NEW BEST:: SOT 653588465 SOS 151286492 HAS SOPS 151286492 HAS SOUS 89329337 HAS SOUPS 89329337 WITH SCORE 8.9480623492E7
AT ITER 3131 NEW BEST:: SOT 653583956 SOS 151282789 HAS SOPS 151282789 HAS SOUS 89325634 HAS SOUPS 89325634 WITH SCORE 8.9476916789E7
AT ITER 3197 NEW BEST:: SOT 653582189 SOS 151281022 HAS SOPS 151281022 HAS SOUS 89323867 HAS SOUPS 89323867 WITH SCORE 8.9475148022E7
AT ITER 3207 NEW BEST:: SOT 653577199 SOS 151276166 HAS SOPS 151276166 HAS SOUS 89319011 HAS SOUPS 89319011 WITH SCORE 8.9470287166E7
AT ITER 3208 NEW BEST:: SOT 653576296 SOS 151279664 HAS SOPS 151279664 HAS SOUS 89318108 HAS SOUPS 89318108 WITH SCORE 8.9469387664E7
AT ITER 3221 NEW BEST:: SOT 653574810 SOS 151276692 HAS SOPS 151276692 HAS SOUS 89315136 HAS SOUPS 89315136 WITH SCORE 8.9466412692E7
AT ITER 3226 NEW BEST:: SOT 653574810 SOS 151273434 HAS SOPS 151273434 HAS SOUS 89315136 HAS SOUPS 89315136 WITH SCORE 8.9466409434E7
AT ITER 3235 NEW BEST:: SOT 653574721 SOS 151284855 HAS SOPS 151284855 HAS SOUS 89312619 HAS SOUPS 89312619 WITH SCORE 8.9463903855E7
AT ITER 3253 NEW BEST:: SOT 653574721 SOS 151276377 HAS SOPS 151276377 HAS SOUS 89309793 HAS SOUPS 89309793 WITH SCORE 8.9461069377E7
AT ITER 3288 NEW BEST:: SOT 653574721 SOS 151269666 HAS SOPS 151269666 HAS SOUS 89308046 HAS SOUPS 89308046 WITH SCORE 8.9459315666E7
AT ITER 3310 NEW BEST:: SOT 653576616 SOS 151273456 HAS SOPS 151273456 HAS SOUS 89303356 HAS SOUPS 89303356 WITH SCORE 8.9454629456E7
AT ITER 3321 NEW BEST:: SOT 653576615 SOS 151272014 HAS SOPS 151272014 HAS SOUS 89301914 HAS SOUPS 89301914 WITH SCORE 8.9453186014E7
AT ITER 3370 NEW BEST:: SOT 653569883 SOS 151265939 HAS SOPS 151265939 HAS SOUS 89295512 HAS SOUPS 89295512 WITH SCORE 8.9446777939E7
AT ITER 3383 NEW BEST:: SOT 653569883 SOS 151259369 HAS SOPS 151259369 HAS SOUS 89293322 HAS SOUPS 89293322 WITH SCORE 8.9444581369E7
AT ITER 3475 NEW BEST:: SOT 653569883 SOS 151261077 HAS SOPS 151261077 HAS SOUS 89293320 HAS SOUPS 89293320 WITH SCORE 8.9444581077E7
AT ITER 3482 NEW BEST:: SOT 653564993 SOS 151256672 HAS SOPS 151256672 HAS SOUS 89288915 HAS SOUPS 89288915 WITH SCORE 8.9440171672E7
AT ITER 3487 NEW BEST:: SOT 653564983 SOS 151256652 HAS SOPS 151256652 HAS SOUS 89288905 HAS SOUPS 89288905 WITH SCORE 8.9440161652E7
AT ITER 3490 NEW BEST:: SOT 653564983 SOS 151255486 HAS SOPS 151255486 HAS SOUS 89288322 HAS SOUPS 89288322 WITH SCORE 8.9439577486E7
AT ITER 3509 NEW BEST:: SOT 653558027 SOS 151247876 HAS SOPS 151247876 HAS SOUS 89277887 HAS SOUPS 89277887 WITH SCORE 8.9429134876E7
AT ITER 3511 NEW BEST:: SOT 653560320 SOS 151269888 HAS SOPS 151269888 HAS SOUS 89276662 HAS SOUPS 89276662 WITH SCORE 8.9427931888E7
AT ITER 3548 NEW BEST:: SOT 653560320 SOS 151257582 HAS SOPS 151257582 HAS SOUS 89276661 HAS SOUPS 89276661 WITH SCORE 8.9427918582E7
AT ITER 3557 NEW BEST:: SOT 653557931 SOS 151258548 HAS SOPS 151258548 HAS SOUS 89275761 HAS SOUPS 89275761 WITH SCORE 8.9427019548E7
AT ITER 3562 NEW BEST:: SOT 653556147 SOS 151256764 HAS SOPS 151256764 HAS SOUS 89275761 HAS SOUPS 89275761 WITH SCORE 8.9427017764E7
AT ITER 3566 NEW BEST:: SOT 653556147 SOS 151261403 HAS SOPS 151261403 HAS SOUS 89275746 HAS SOUPS 89275746 WITH SCORE 8.9427007403E7
AT ITER 3570 NEW BEST:: SOT 653556147 SOS 151264235 HAS SOPS 151264235 HAS SOUS 89271183 HAS SOUPS 89271183 WITH SCORE 8.9422447235E7
AT ITER 3595 NEW BEST:: SOT 653555437 SOS 151263880 HAS SOPS 151263880 HAS SOUS 89270828 HAS SOUPS 89270828 WITH SCORE 8.942209188E7
AT ITER 3615 NEW BEST:: SOT 653550741 SOS 151263785 HAS SOPS 151263785 HAS SOUS 89269231 HAS SOUPS 89269231 WITH SCORE 8.9420494785E7
AT ITER 3622 NEW BEST:: SOT 653548504 SOS 151259311 HAS SOPS 151259311 HAS SOUS 89264757 HAS SOUPS 89264757 WITH SCORE 8.9416016311E7
AT ITER 3624 NEW BEST:: SOT 653545474 SOS 151256281 HAS SOPS 151256281 HAS SOUS 89261727 HAS SOUPS 89261727 WITH SCORE 8.9412983281E7
AT ITER 3642 NEW BEST:: SOT 653543071 SOS 151251475 HAS SOPS 151251475 HAS SOUS 89255452 HAS SOUPS 89255452 WITH SCORE 8.9406703475E7
AT ITER 3677 NEW BEST:: SOT 653543071 SOS 151241905 HAS SOPS 151241905 HAS SOUS 89252262 HAS SOUPS 89252262 WITH SCORE 8.9403503905E7
AT ITER 3701 NEW BEST:: SOT 653543071 SOS 151232944 HAS SOPS 151232944 HAS SOUS 89249275 HAS SOUPS 89249275 WITH SCORE 8.9400507944E7
AT ITER 3702 NEW BEST:: SOT 653543068 SOS 151230148 HAS SOPS 151230148 HAS SOUS 89247595 HAS SOUPS 89247595 WITH SCORE 8.9398825148E7
AT ITER 3703 NEW BEST:: SOT 653540360 SOS 151224732 HAS SOPS 151224732 HAS SOUS 89246456 HAS SOUPS 89246456 WITH SCORE 8.9397680732E7
AT ITER 3768 NEW BEST:: SOT 653539945 SOS 151223072 HAS SOPS 151223072 HAS SOUS 89246041 HAS SOUPS 89246041 WITH SCORE 8.9397264072E7
AT ITER 3786 NEW BEST:: SOT 653535108 SOS 151218231 HAS SOPS 151218231 HAS SOUS 89241203 HAS SOUPS 89241203 WITH SCORE 8.9392421231E7
AT ITER 3789 NEW BEST:: SOT 653534651 SOS 151218685 HAS SOPS 151218685 HAS SOUS 89240745 HAS SOUPS 89240745 WITH SCORE 8.9391963685E7
AT ITER 3795 NEW BEST:: SOT 653534650 SOS 151218683 HAS SOPS 151218683 HAS SOUS 89240743 HAS SOUPS 89240743 WITH SCORE 8.9391961683E7
AT ITER 3814 NEW BEST:: SOT 653535347 SOS 151248948 HAS SOPS 151248948 HAS SOUS 89238927 HAS SOUPS 89238927 WITH SCORE 8.9390175948E7
AT ITER 3829 NEW BEST:: SOT 653535347 SOS 151239480 HAS SOPS 151239480 HAS SOUS 89238927 HAS SOUPS 89238927 WITH SCORE 8.939016648E7
AT ITER 3831 NEW BEST:: SOT 653535347 SOS 151234440 HAS SOPS 151234440 HAS SOUS 89237247 HAS SOUPS 89237247 WITH SCORE 8.938848144E7
AT ITER 3837 NEW BEST:: SOT 653535244 SOS 151234642 HAS SOPS 151234642 HAS SOUS 89237143 HAS SOUPS 89237143 WITH SCORE 8.9388377642E7
AT ITER 3846 NEW BEST:: SOT 653533177 SOS 151234579 HAS SOPS 151234579 HAS SOUS 89236585 HAS SOUPS 89236585 WITH SCORE 8.9387819579E7
AT ITER 3877 NEW BEST:: SOT 653531438 SOS 151238049 HAS SOPS 151238049 HAS SOUS 89234844 HAS SOUPS 89234844 WITH SCORE 8.9386082049E7
AT ITER 3896 NEW BEST:: SOT 653525946 SOS 151229811 HAS SOPS 151229811 HAS SOUS 89229352 HAS SOUPS 89229352 WITH SCORE 8.9380581811E7
AT ITER 3931 NEW BEST:: SOT 653524120 SOS 151233459 HAS SOPS 151233459 HAS SOUS 89227525 HAS SOUPS 89227525 WITH SCORE 8.9378758459E7
AT ITER 3977 NEW BEST:: SOT 653524120 SOS 151230940 HAS SOPS 151230940 HAS SOUS 89225006 HAS SOUPS 89225006 WITH SCORE 8.937623694E7
AT ITER 3996 NEW BEST:: SOT 653524119 SOS 151230938 HAS SOPS 151230938 HAS SOUS 89225004 HAS SOUPS 89225004 WITH SCORE 8.9376234938E7
AT ITER 4025 NEW BEST:: SOT 653523310 SOS 151229320 HAS SOPS 151229320 HAS SOUS 89223386 HAS SOUPS 89223386 WITH SCORE 8.937461532E7
AT ITER 4046 NEW BEST:: SOT 653524796 SOS 151232292 HAS SOPS 151232292 HAS SOUS 89221737 HAS SOUPS 89221737 WITH SCORE 8.9372969292E7
AT ITER 4062 NEW BEST:: SOT 653524796 SOS 151226553 HAS SOPS 151226553 HAS SOUS 89219824 HAS SOUPS 89219824 WITH SCORE 8.9371050553E7
AT ITER 4067 NEW BEST:: SOT 653524743 SOS 151226447 HAS SOPS 151226447 HAS SOUS 89218327 HAS SOUPS 89218327 WITH SCORE 8.9369553447E7
AT ITER 4106 NEW BEST:: SOT 653524742 SOS 151226445 HAS SOPS 151226445 HAS SOUS 89218325 HAS SOUPS 89218325 WITH SCORE 8.9369551445E7
AT ITER 4130 NEW BEST:: SOT 653511529 SOS 151215099 HAS SOPS 151215099 HAS SOUS 89205112 HAS SOUPS 89205112 WITH SCORE 8.9356327099E7
AT ITER 4184 NEW BEST:: SOT 653511326 SOS 151214693 HAS SOPS 151214693 HAS SOUS 89204909 HAS SOUPS 89204909 WITH SCORE 8.9356123693E7
AT ITER 4222 NEW BEST:: SOT 653511326 SOS 151208543 HAS SOPS 151208543 HAS SOUS 89202859 HAS SOUPS 89202859 WITH SCORE 8.9354067543E7
AT ITER 4259 NEW BEST:: SOT 653507757 SOS 151215693 HAS SOPS 151215693 HAS SOUS 89195720 HAS SOUPS 89195720 WITH SCORE 8.9346935693E7
AT ITER 4287 NEW BEST:: SOT 653507757 SOS 151214250 HAS SOPS 151214250 HAS SOUS 89195720 HAS SOUPS 89195720 WITH SCORE 8.934693425E7
AT ITER 4292 NEW BEST:: SOT 653507951 SOS 151214638 HAS SOPS 151214638 HAS SOUS 89192345 HAS SOUPS 89192345 WITH SCORE 8.9343559638E7
AT ITER 4299 NEW BEST:: SOT 653502785 SOS 151209473 HAS SOPS 151209473 HAS SOUS 89187180 HAS SOUPS 89187180 WITH SCORE 8.9338389473E7
AT ITER 4322 NEW BEST:: SOT 653496229 SOS 151174989 HAS SOPS 151174989 HAS SOUS 89171156 HAS SOUPS 89171156 WITH SCORE 8.9322330989E7
AT ITER 4333 NEW BEST:: SOT 653494105 SOS 151172865 HAS SOPS 151172865 HAS SOUS 89169032 HAS SOUPS 89169032 WITH SCORE 8.9320204865E7
AT ITER 4336 NEW BEST:: SOT 653491446 SOS 151164888 HAS SOPS 151164888 HAS SOUS 89165481 HAS SOUPS 89165481 WITH SCORE 8.9316645888E7
AT ITER 4342 NEW BEST:: SOT 653486414 SOS 151162368 HAS SOPS 151162368 HAS SOUS 89162964 HAS SOUPS 89162964 WITH SCORE 8.9314126368E7
AT ITER 4414 NEW BEST:: SOT 653489306 SOS 151168152 HAS SOPS 151168152 HAS SOUS 89160246 HAS SOUPS 89160246 WITH SCORE 8.9311414152E7
AT ITER 4430 NEW BEST:: SOT 653481770 SOS 151162744 HAS SOPS 151162744 HAS SOUS 89154838 HAS SOUPS 89154838 WITH SCORE 8.9306000744E7
AT ITER 4438 NEW BEST:: SOT 653480278 SOS 151162740 HAS SOPS 151162740 HAS SOUS 89154091 HAS SOUPS 89154091 WITH SCORE 8.930525374E7
AT ITER 4439 NEW BEST:: SOT 653480005 SOS 151162194 HAS SOPS 151162194 HAS SOUS 89153545 HAS SOUPS 89153545 WITH SCORE 8.9304707194E7
AT ITER 4443 NEW BEST:: SOT 653466673 SOS 151140721 HAS SOPS 151140721 HAS SOUS 89136313 HAS SOUPS 89136313 WITH SCORE 8.9287453721E7
AT ITER 4464 NEW BEST:: SOT 653464537 SOS 151138585 HAS SOPS 151138585 HAS SOUS 89132041 HAS SOUPS 89132041 WITH SCORE 8.9283179585E7
AT ITER 4466 NEW BEST:: SOT 653463947 SOS 151137995 HAS SOPS 151137995 HAS SOUS 89131451 HAS SOUPS 89131451 WITH SCORE 8.9282588995E7
AT ITER 4472 NEW BEST:: SOT 653459783 SOS 151129667 HAS SOPS 151129667 HAS SOUS 89123123 HAS SOUPS 89123123 WITH SCORE 8.9274252667E7
AT ITER 4488 NEW BEST:: SOT 653459862 SOS 151127620 HAS SOPS 151127620 HAS SOUS 89122546 HAS SOUPS 89122546 WITH SCORE 8.927367362E7
AT ITER 4505 NEW BEST:: SOT 653456441 SOS 151125364 HAS SOPS 151125364 HAS SOUS 89121974 HAS SOUPS 89121974 WITH SCORE 8.9273099364E7
AT ITER 4518 NEW BEST:: SOT 653456440 SOS 151125362 HAS SOPS 151125362 HAS SOUS 89121972 HAS SOUPS 89121972 WITH SCORE 8.9273097362E7
AT ITER 4520 NEW BEST:: SOT 653451183 SOS 151120101 HAS SOPS 151120101 HAS SOUS 89116714 HAS SOUPS 89116714 WITH SCORE 8.9267834101E7
AT ITER 4550 NEW BEST:: SOT 653451183 SOS 151120101 HAS SOPS 151120101 HAS SOUS 89116713 HAS SOUPS 89116713 WITH SCORE 8.9267833101E7
AT ITER 4565 NEW BEST:: SOT 653447795 SOS 151116713 HAS SOPS 151116713 HAS SOUS 89113325 HAS SOUPS 89113325 WITH SCORE 8.9264441713E7
AT ITER 4601 NEW BEST:: SOT 653443298 SOS 151094228 HAS SOPS 151094228 HAS SOUS 89104331 HAS SOUPS 89104331 WITH SCORE 8.9255425228E7
AT ITER 4634 NEW BEST:: SOT 653442177 SOS 151096462 HAS SOPS 151096462 HAS SOUS 89103208 HAS SOUPS 89103208 WITH SCORE 8.9254304462E7
AT ITER 4707 NEW BEST:: SOT 653442177 SOS 151094734 HAS SOPS 151094734 HAS SOUS 89102344 HAS SOUPS 89102344 WITH SCORE 8.9253438734E7
AT ITER 4714 NEW BEST:: SOT 653441049 SOS 151093606 HAS SOPS 151093606 HAS SOUS 89101216 HAS SOUPS 89101216 WITH SCORE 8.9252309606E7
AT ITER 4722 NEW BEST:: SOT 653438669 SOS 151086463 HAS SOPS 151086463 HAS SOUS 89096455 HAS SOUPS 89096455 WITH SCORE 8.9247541463E7
AT ITER 4729 NEW BEST:: SOT 653430921 SOS 151078715 HAS SOPS 151078715 HAS SOUS 89088707 HAS SOUPS 89088707 WITH SCORE 8.9239785715E7
AT ITER 4737 NEW BEST:: SOT 653429877 SOS 151076628 HAS SOPS 151076628 HAS SOUS 89086620 HAS SOUPS 89086620 WITH SCORE 8.9237696628E7
AT ITER 4761 NEW BEST:: SOT 653429877 SOS 151065831 HAS SOPS 151065831 HAS SOUS 89086620 HAS SOUPS 89086620 WITH SCORE 8.9237685831E7
AT ITER 4764 NEW BEST:: SOT 653425665 SOS 151063725 HAS SOPS 151063725 HAS SOUS 89084514 HAS SOUPS 89084514 WITH SCORE 8.9235577725E7
AT ITER 4765 NEW BEST:: SOT 653421984 SOS 151060040 HAS SOPS 151060040 HAS SOUS 89080832 HAS SOUPS 89080832 WITH SCORE 8.923189204E7
AT ITER 4800 NEW BEST:: SOT 653420390 SOS 151056852 HAS SOPS 151056852 HAS SOUS 89076046 HAS SOUPS 89076046 WITH SCORE 8.9227102852E7
AT ITER 4837 NEW BEST:: SOT 653419737 SOS 151055547 HAS SOPS 151055547 HAS SOUS 89074741 HAS SOUPS 89074741 WITH SCORE 8.9225796547E7
AT ITER 4863 NEW BEST:: SOT 653418493 SOS 151058031 HAS SOPS 151058031 HAS SOUS 89073496 HAS SOUPS 89073496 WITH SCORE 8.9224554031E7
AT ITER 4868 NEW BEST:: SOT 653414375 SOS 151053909 HAS SOPS 151053909 HAS SOUS 89069377 HAS SOUPS 89069377 WITH SCORE 8.9220430909E7
AT ITER 4877 NEW BEST:: SOT 653414375 SOS 151053186 HAS SOPS 151053186 HAS SOUS 89069377 HAS SOUPS 89069377 WITH SCORE 8.9220430186E7
AT ITER 4909 NEW BEST:: SOT 653408060 SOS 151048342 HAS SOPS 151048342 HAS SOUS 89063831 HAS SOUPS 89063831 WITH SCORE 8.9214879342E7
AT ITER 4936 NEW BEST:: SOT 653408753 SOS 151063249 HAS SOPS 151063249 HAS SOUS 89058454 HAS SOUPS 89058454 WITH SCORE 8.9209517249E7
AT ITER 4956 NEW BEST:: SOT 653408753 SOS 151055848 HAS SOPS 151055848 HAS SOUS 89055987 HAS SOUPS 89055987 WITH SCORE 8.9207042848E7
AT ITER 4963 NEW BEST:: SOT 653408405 SOS 151056196 HAS SOPS 151056196 HAS SOUS 89055639 HAS SOUPS 89055639 WITH SCORE 8.9206695196E7
AT ITER 4966 NEW BEST:: SOT 653408173 SOS 151055732 HAS SOPS 151055732 HAS SOUS 89055406 HAS SOUPS 89055406 WITH SCORE 8.9206461732E7
AT ITER 4983 NEW BEST:: SOT 653407927 SOS 151055240 HAS SOPS 151055240 HAS SOUS 89054914 HAS SOUPS 89054914 WITH SCORE 8.920596924E7
AT ITER 4997 NEW BEST:: SOT 653406846 SOS 151053078 HAS SOPS 151053078 HAS SOUS 89052752 HAS SOUPS 89052752 WITH SCORE 8.9203805078E7
AT ITER 5001 NEW BEST:: SOT 653406846 SOS 151048434 HAS SOPS 151048434 HAS SOUS 89051204 HAS SOUPS 89051204 WITH SCORE 8.9202252434E7
AT ITER 5005 NEW BEST:: SOT 653406846 SOS 151044084 HAS SOPS 151044084 HAS SOUS 89049754 HAS SOUPS 89049754 WITH SCORE 8.9200798084E7
AT ITER 5007 NEW BEST:: SOT 653405868 SOS 151042128 HAS SOPS 151042128 HAS SOUS 89048776 HAS SOUPS 89048776 WITH SCORE 8.9199818128E7
AT ITER 5069 NEW BEST:: SOT 653403564 SOS 151042124 HAS SOPS 151042124 HAS SOUS 89046471 HAS SOUPS 89046471 WITH SCORE 8.9197513124E7
AT ITER 5118 NEW BEST:: SOT 653402528 SOS 151041452 HAS SOPS 151041452 HAS SOUS 89045622 HAS SOUPS 89045622 WITH SCORE 8.9196663452E7
AT ITER 5132 NEW BEST:: SOT 653402527 SOS 151049900 HAS SOPS 151049900 HAS SOUS 89045305 HAS SOUPS 89045305 WITH SCORE 8.91963549E7
AT ITER 5192 NEW BEST:: SOT 653402018 SOS 151050002 HAS SOPS 151050002 HAS SOUS 89044287 HAS SOUPS 89044287 WITH SCORE 8.9195337002E7
AT ITER 5199 NEW BEST:: SOT 653397125 SOS 151045109 HAS SOPS 151045109 HAS SOUS 89039394 HAS SOUPS 89039394 WITH SCORE 8.9190439109E7
AT ITER 5225 NEW BEST:: SOT 653397691 SOS 151043976 HAS SOPS 151043976 HAS SOUS 89039393 HAS SOUPS 89039393 WITH SCORE 8.9190436976E7
AT ITER 5239 NEW BEST:: SOT 653375851 SOS 151033448 HAS SOPS 151033448 HAS SOUS 89033418 HAS SOUPS 89033418 WITH SCORE 8.9184451448E7
AT ITER 5265 NEW BEST:: SOT 653375198 SOS 151031489 HAS SOPS 151031489 HAS SOUS 89032765 HAS SOUPS 89032765 WITH SCORE 8.9183796489E7
AT ITER 5281 NEW BEST:: SOT 653374869 SOS 151030831 HAS SOPS 151030831 HAS SOUS 89032107 HAS SOUPS 89032107 WITH SCORE 8.9183137831E7
AT ITER 5290 NEW BEST:: SOT 653374869 SOS 151030831 HAS SOPS 151030831 HAS SOUS 89032106 HAS SOUPS 89032106 WITH SCORE 8.9183136831E7
AT ITER 5294 NEW BEST:: SOT 653374247 SOS 151029587 HAS SOPS 151029587 HAS SOUS 89030862 HAS SOUPS 89030862 WITH SCORE 8.9181891587E7
AT ITER 5303 NEW BEST:: SOT 653374247 SOS 151029984 HAS SOPS 151029984 HAS SOUS 89030465 HAS SOUPS 89030465 WITH SCORE 8.9181494984E7
AT ITER 5340 NEW BEST:: SOT 653374078 SOS 151029646 HAS SOPS 151029646 HAS SOUS 89030127 HAS SOUPS 89030127 WITH SCORE 8.9181156646E7
AT ITER 5379 NEW BEST:: SOT 653374078 SOS 151021114 HAS SOPS 151021114 HAS SOUS 89030126 HAS SOUPS 89030126 WITH SCORE 8.9181147114E7
AT ITER 5391 NEW BEST:: SOT 653376614 SOS 151018527 HAS SOPS 151018527 HAS SOUS 89030109 HAS SOUPS 89030109 WITH SCORE 8.9181127527E7
AT ITER 5396 NEW BEST:: SOT 653376613 SOS 151018525 HAS SOPS 151018525 HAS SOUS 89030107 HAS SOUPS 89030107 WITH SCORE 8.9181125525E7
AT ITER 5404 NEW BEST:: SOT 653374999 SOS 151108579 HAS SOPS 151108579 HAS SOUS 89029256 HAS SOUPS 89029256 WITH SCORE 8.9180364579E7
AT ITER 5452 NEW BEST:: SOT 653373895 SOS 151106371 HAS SOPS 151106371 HAS SOUS 89028152 HAS SOUPS 89028152 WITH SCORE 8.9179258371E7
AT ITER 5468 NEW BEST:: SOT 653372551 SOS 151103682 HAS SOPS 151103682 HAS SOUS 89025463 HAS SOUPS 89025463 WITH SCORE 8.9176566682E7
AT ITER 5483 NEW BEST:: SOT 653371281 SOS 151102412 HAS SOPS 151102412 HAS SOUS 89024193 HAS SOUPS 89024193 WITH SCORE 8.9175295412E7
AT ITER 5492 NEW BEST:: SOT 653368556 SOS 151108922 HAS SOPS 151108922 HAS SOUS 89018333 HAS SOUPS 89018333 WITH SCORE 8.9169441922E7
AT ITER 5504 NEW BEST:: SOT 653363718 SOS 151106499 HAS SOPS 151106499 HAS SOUS 89015913 HAS SOUPS 89015913 WITH SCORE 8.9167019499E7
AT ITER 5520 NEW BEST:: SOT 653363718 SOS 151100130 HAS SOPS 151100130 HAS SOUS 89013790 HAS SOUPS 89013790 WITH SCORE 8.916489013E7
AT ITER 5567 NEW BEST:: SOT 653363330 SOS 151099354 HAS SOPS 151099354 HAS SOUS 89013014 HAS SOUPS 89013014 WITH SCORE 8.9164113354E7
AT ITER 5576 NEW BEST:: SOT 653348557 SOS 151088610 HAS SOPS 151088610 HAS SOUS 89007642 HAS SOUPS 89007642 WITH SCORE 8.915873061E7
AT ITER 5578 NEW BEST:: SOT 653344843 SOS 151088600 HAS SOPS 151088600 HAS SOUS 89005657 HAS SOUPS 89005657 WITH SCORE 8.91567456E7
AT ITER 5590 NEW BEST:: SOT 653342401 SOS 151083716 HAS SOPS 151083716 HAS SOUS 89004270 HAS SOUPS 89004270 WITH SCORE 8.9155353716E7
AT ITER 5597 NEW BEST:: SOT 653341178 SOS 151092784 HAS SOPS 151092784 HAS SOUS 89004231 HAS SOUPS 89004231 WITH SCORE 8.9155323784E7
AT ITER 5599 NEW BEST:: SOT 653341972 SOS 151094372 HAS SOPS 151094372 HAS SOUS 88997475 HAS SOUPS 88997475 WITH SCORE 8.9148569372E7
AT ITER 5613 NEW BEST:: SOT 653338507 SOS 151093836 HAS SOPS 151093836 HAS SOUS 88994010 HAS SOUPS 88994010 WITH SCORE 8.9145103836E7
AT ITER 5730 NEW BEST:: SOT 653341335 SOS 151118481 HAS SOPS 151118481 HAS SOUS 88993334 HAS SOUPS 88993334 WITH SCORE 8.9144452481E7
AT ITER 5770 NEW BEST:: SOT 653341334 SOS 151118479 HAS SOPS 151118479 HAS SOUS 88993332 HAS SOUPS 88993332 WITH SCORE 8.9144450479E7
AT ITER 5783 NEW BEST:: SOT 653336571 SOS 151114667 HAS SOPS 151114667 HAS SOUS 88989523 HAS SOUPS 88989523 WITH SCORE 8.9140637667E7
AT ITER 5821 NEW BEST:: SOT 653336570 SOS 151114665 HAS SOPS 151114665 HAS SOUS 88989521 HAS SOUPS 88989521 WITH SCORE 8.9140635665E7
AT ITER 5825 NEW BEST:: SOT 653333379 SOS 151111474 HAS SOPS 151111474 HAS SOUS 88986330 HAS SOUPS 88986330 WITH SCORE 8.9137441474E7
AT ITER 5879 NEW BEST:: SOT 653333379 SOS 151102621 HAS SOPS 151102621 HAS SOUS 88983379 HAS SOUPS 88983379 WITH SCORE 8.9134481621E7
AT ITER 5889 NEW BEST:: SOT 653334457 SOS 151104777 HAS SOPS 151104777 HAS SOUS 88980976 HAS SOUPS 88980976 WITH SCORE 8.9132080777E7
AT ITER 5917 NEW BEST:: SOT 653334457 SOS 151104694 HAS SOPS 151104694 HAS SOUS 88980976 HAS SOUPS 88980976 WITH SCORE 8.9132080694E7
AT ITER 5933 NEW BEST:: SOT 653331752 SOS 151111247 HAS SOPS 151111247 HAS SOUS 88975136 HAS SOUPS 88975136 WITH SCORE 8.9126247247E7
AT ITER 5939 NEW BEST:: SOT 653331752 SOS 151110847 HAS SOPS 151110847 HAS SOUS 88974736 HAS SOUPS 88974736 WITH SCORE 8.9125846847E7
AT ITER 5965 NEW BEST:: SOT 653326935 SOS 151110045 HAS SOPS 151110045 HAS SOUS 88972863 HAS SOUPS 88972863 WITH SCORE 8.9123973045E7
AT ITER 5975 NEW BEST:: SOT 653326627 SOS 151109429 HAS SOPS 151109429 HAS SOUS 88972247 HAS SOUPS 88972247 WITH SCORE 8.9123356429E7
AT ITER 5977 NEW BEST:: SOT 653261628 SOS 151578051 HAS SOPS 151578051 HAS SOUS 88916754 HAS SOUPS 88916754 WITH SCORE 8.9068332051E7
AT ITER 5985 NEW BEST:: SOT 653260508 SOS 151575811 HAS SOPS 151575811 HAS SOUS 88914514 HAS SOUPS 88914514 WITH SCORE 8.9066089811E7
AT ITER 6008 NEW BEST:: SOT 653257006 SOS 151558301 HAS SOPS 151558301 HAS SOUS 88907510 HAS SOUPS 88907510 WITH SCORE 8.9059068301E7
AT ITER 6029 NEW BEST:: SOT 653236006 SOS 151557449 HAS SOPS 151557449 HAS SOUS 88890149 HAS SOUPS 88890149 WITH SCORE 8.9041706449E7
AT ITER 6074 NEW BEST:: SOT 653236004 SOS 151557445 HAS SOPS 151557445 HAS SOUS 88890145 HAS SOUPS 88890145 WITH SCORE 8.9041702445E7
AT ITER 6084 NEW BEST:: SOT 653236954 SOS 151554591 HAS SOPS 151554591 HAS SOUS 88889193 HAS SOUPS 88889193 WITH SCORE 8.9040747591E7
AT ITER 6087 NEW BEST:: SOT 653234690 SOS 151562653 HAS SOPS 151562653 HAS SOUS 88884027 HAS SOUPS 88884027 WITH SCORE 8.9035589653E7
AT ITER 6105 NEW BEST:: SOT 653234448 SOS 151562169 HAS SOPS 151562169 HAS SOUS 88883543 HAS SOUPS 88883543 WITH SCORE 8.9035105169E7
AT ITER 6124 NEW BEST:: SOT 653230600 SOS 151558317 HAS SOPS 151558317 HAS SOUS 88879694 HAS SOUPS 88879694 WITH SCORE 8.9031252317E7
AT ITER 6129 NEW BEST:: SOT 653230492 SOS 151558102 HAS SOPS 151558102 HAS SOUS 88879479 HAS SOUPS 88879479 WITH SCORE 8.9031037102E7
AT ITER 6141 NEW BEST:: SOT 653224972 SOS 151555648 HAS SOPS 151555648 HAS SOUS 88876821 HAS SOUPS 88876821 WITH SCORE 8.9028376648E7
AT ITER 6184 NEW BEST:: SOT 653220993 SOS 151551669 HAS SOPS 151551669 HAS SOUS 88872842 HAS SOUPS 88872842 WITH SCORE 8.9024393669E7
AT ITER 6203 NEW BEST:: SOT 653220993 SOS 151538253 HAS SOPS 151538253 HAS SOUS 88872842 HAS SOUPS 88872842 WITH SCORE 8.9024380253E7
AT ITER 6312 NEW BEST:: SOT 653217225 SOS 151539072 HAS SOPS 151539072 HAS SOUS 88863025 HAS SOUPS 88863025 WITH SCORE 8.9014564072E7
AT ITER 6328 NEW BEST:: SOT 653213009 SOS 151539062 HAS SOPS 151539062 HAS SOUS 88861490 HAS SOUPS 88861490 WITH SCORE 8.9013029062E7
AT ITER 6365 NEW BEST:: SOT 653211470 SOS 151525022 HAS SOPS 151525022 HAS SOUS 88858412 HAS SOUPS 88858412 WITH SCORE 8.9009937022E7
AT ITER 6373 NEW BEST:: SOT 653206475 SOS 151568801 HAS SOPS 151568801 HAS SOUS 88856978 HAS SOUPS 88856978 WITH SCORE 8.9008546801E7
AT ITER 6376 NEW BEST:: SOT 653208686 SOS 151556239 HAS SOPS 151556239 HAS SOUS 88855283 HAS SOUPS 88855283 WITH SCORE 8.9006839239E7
AT ITER 6388 NEW BEST:: SOT 653208686 SOS 151556979 HAS SOPS 151556979 HAS SOUS 88855281 HAS SOUPS 88855281 WITH SCORE 8.9006837979E7
AT ITER 6399 NEW BEST:: SOT 653208686 SOS 151545879 HAS SOPS 151545879 HAS SOUS 88855280 HAS SOUPS 88855280 WITH SCORE 8.9006825879E7
AT ITER 6491 NEW BEST:: SOT 653207604 SOS 151545875 HAS SOPS 151545875 HAS SOUS 88854439 HAS SOUPS 88854439 WITH SCORE 8.9005984875E7
AT ITER 6505 NEW BEST:: SOT 653207604 SOS 151546612 HAS SOPS 151546612 HAS SOUS 88854438 HAS SOUPS 88854438 WITH SCORE 8.9005984612E7
AT ITER 6513 NEW BEST:: SOT 653207494 SOS 151546392 HAS SOPS 151546392 HAS SOUS 88854218 HAS SOUPS 88854218 WITH SCORE 8.9005764392E7
AT ITER 6524 NEW BEST:: SOT 653187364 SOS 151531752 HAS SOPS 151531752 HAS SOUS 88846898 HAS SOUPS 88846898 WITH SCORE 8.8998429752E7
AT ITER 6528 NEW BEST:: SOT 653187077 SOS 151531463 HAS SOPS 151531463 HAS SOUS 88846885 HAS SOUPS 88846885 WITH SCORE 8.8998416463E7
AT ITER 6535 NEW BEST:: SOT 653187077 SOS 151522196 HAS SOPS 151522196 HAS SOUS 88843796 HAS SOUPS 88843796 WITH SCORE 8.8995318196E7
AT ITER 6593 NEW BEST:: SOT 653186830 SOS 151521702 HAS SOPS 151521702 HAS SOUS 88843302 HAS SOUPS 88843302 WITH SCORE 8.8994823702E7
AT ITER 6596 NEW BEST:: SOT 653181671 SOS 151517223 HAS SOPS 151517223 HAS SOUS 88838823 HAS SOUPS 88838823 WITH SCORE 8.8990340223E7
AT ITER 6597 NEW BEST:: SOT 653185635 SOS 151525151 HAS SOPS 151525151 HAS SOUS 88838419 HAS SOUPS 88838419 WITH SCORE 8.8989944151E7
AT ITER 6599 NEW BEST:: SOT 653185635 SOS 151523965 HAS SOPS 151523965 HAS SOUS 88838419 HAS SOUPS 88838419 WITH SCORE 8.8989942965E7
AT ITER 6613 NEW BEST:: SOT 653185093 SOS 151522881 HAS SOPS 151522881 HAS SOUS 88837335 HAS SOUPS 88837335 WITH SCORE 8.8988857881E7
AT ITER 6619 NEW BEST:: SOT 653184660 SOS 151522016 HAS SOPS 151522016 HAS SOUS 88836470 HAS SOUPS 88836470 WITH SCORE 8.8987992016E7
AT ITER 6620 NEW BEST:: SOT 653184649 SOS 151521994 HAS SOPS 151521994 HAS SOUS 88836448 HAS SOUPS 88836448 WITH SCORE 8.8987969994E7
AT ITER 6642 NEW BEST:: SOT 653178991 SOS 151493704 HAS SOPS 151493704 HAS SOUS 88825132 HAS SOUPS 88825132 WITH SCORE 8.8976625704E7
AT ITER 6670 NEW BEST:: SOT 653178035 SOS 151491792 HAS SOPS 151491792 HAS SOUS 88823220 HAS SOUPS 88823220 WITH SCORE 8.8974711792E7
AT ITER 6682 NEW BEST:: SOT 653177371 SOS 151491841 HAS SOPS 151491841 HAS SOUS 88823015 HAS SOUPS 88823015 WITH SCORE 8.8974506841E7
AT ITER 6691 NEW BEST:: SOT 653172626 SOS 151487096 HAS SOPS 151487096 HAS SOUS 88818270 HAS SOUPS 88818270 WITH SCORE 8.8969757096E7
AT ITER 6695 NEW BEST:: SOT 653172318 SOS 151486788 HAS SOPS 151486788 HAS SOUS 88818270 HAS SOUPS 88818270 WITH SCORE 8.8969756788E7
AT ITER 6697 NEW BEST:: SOT 653167049 SOS 151481519 HAS SOPS 151481519 HAS SOUS 88813001 HAS SOUPS 88813001 WITH SCORE 8.8964482519E7
AT ITER 6728 NEW BEST:: SOT 653164692 SOS 151483873 HAS SOPS 151483873 HAS SOUS 88810643 HAS SOUPS 88810643 WITH SCORE 8.8962126873E7
AT ITER 6734 NEW BEST:: SOT 653164692 SOS 151483873 HAS SOPS 151483873 HAS SOUS 88808989 HAS SOUPS 88808989 WITH SCORE 8.8960472873E7
AT ITER 6784 NEW BEST:: SOT 653164254 SOS 151482993 HAS SOPS 151482993 HAS SOUS 88808112 HAS SOUPS 88808112 WITH SCORE 8.8959594993E7
AT ITER 6789 NEW BEST:: SOT 653164015 SOS 151482515 HAS SOPS 151482515 HAS SOUS 88807634 HAS SOUPS 88807634 WITH SCORE 8.8959116515E7
AT ITER 6799 NEW BEST:: SOT 653163457 SOS 151482514 HAS SOPS 151482514 HAS SOUS 88807633 HAS SOUPS 88807633 WITH SCORE 8.8959115514E7
AT ITER 6800 NEW BEST:: SOT 653157839 SOS 151476370 HAS SOPS 151476370 HAS SOUS 88802013 HAS SOUPS 88802013 WITH SCORE 8.895348937E7
AT ITER 6812 NEW BEST:: SOT 653157178 SOS 151475048 HAS SOPS 151475048 HAS SOUS 88800691 HAS SOUPS 88800691 WITH SCORE 8.8952166048E7
AT ITER 6847 NEW BEST:: SOT 653150202 SOS 151482024 HAS SOPS 151482024 HAS SOUS 88793715 HAS SOUPS 88793715 WITH SCORE 8.8945197024E7
AT ITER 6857 NEW BEST:: SOT 653150201 SOS 151483486 HAS SOPS 151483486 HAS SOUS 88793713 HAS SOUPS 88793713 WITH SCORE 8.8945196486E7
AT ITER 6886 NEW BEST:: SOT 653145766 SOS 151479356 HAS SOPS 151479356 HAS SOUS 88789583 HAS SOUPS 88789583 WITH SCORE 8.8941062356E7
AT ITER 6892 NEW BEST:: SOT 653144809 SOS 151482242 HAS SOPS 151482242 HAS SOUS 88788626 HAS SOUPS 88788626 WITH SCORE 8.8940108242E7
AT ITER 6905 NEW BEST:: SOT 653141333 SOS 151492260 HAS SOPS 151492260 HAS SOUS 88781673 HAS SOUPS 88781673 WITH SCORE 8.893316526E7
AT ITER 6917 NEW BEST:: SOT 653139543 SOS 151490470 HAS SOPS 151490470 HAS SOUS 88779883 HAS SOUPS 88779883 WITH SCORE 8.893137347E7
AT ITER 6920 NEW BEST:: SOT 653139542 SOS 151490468 HAS SOPS 151490468 HAS SOUS 88779881 HAS SOUPS 88779881 WITH SCORE 8.8931371468E7
AT ITER 6925 NEW BEST:: SOT 653134853 SOS 151481090 HAS SOPS 151481090 HAS SOUS 88768256 HAS SOUPS 88768256 WITH SCORE 8.891973709E7
AT ITER 6938 NEW BEST:: SOT 653123268 SOS 151465836 HAS SOPS 151465836 HAS SOUS 88758921 HAS SOUPS 88758921 WITH SCORE 8.8910386836E7
AT ITER 6951 NEW BEST:: SOT 653126186 SOS 151471672 HAS SOPS 151471672 HAS SOUS 88756223 HAS SOUPS 88756223 WITH SCORE 8.8907694672E7
AT ITER 6958 NEW BEST:: SOT 653123839 SOS 151466978 HAS SOPS 151466978 HAS SOUS 88751529 HAS SOUPS 88751529 WITH SCORE 8.8902995978E7
AT ITER 6981 NEW BEST:: SOT 653122828 SOS 151469000 HAS SOPS 151469000 HAS SOUS 88750518 HAS SOUPS 88750518 WITH SCORE 8.8901987E7
AT ITER 6995 NEW BEST:: SOT 653122828 SOS 151469000 HAS SOPS 151469000 HAS SOUS 88750517 HAS SOUPS 88750517 WITH SCORE 8.8901986E7
AT ITER 7007 NEW BEST:: SOT 653118478 SOS 151460300 HAS SOPS 151460300 HAS SOUS 88741817 HAS SOUPS 88741817 WITH SCORE 8.88932773E7
AT ITER 7012 NEW BEST:: SOT 653118478 SOS 151458919 HAS SOPS 151458919 HAS SOUS 88741817 HAS SOUPS 88741817 WITH SCORE 8.8893275919E7
AT ITER 7031 NEW BEST:: SOT 653116984 SOS 151411822 HAS SOPS 151411822 HAS SOUS 88738829 HAS SOUPS 88738829 WITH SCORE 8.8890240822E7
AT ITER 7082 NEW BEST:: SOT 653116984 SOS 151411822 HAS SOPS 151411822 HAS SOUS 88735320 HAS SOUPS 88735320 WITH SCORE 8.8886731822E7
AT ITER 7113 NEW BEST:: SOT 653112916 SOS 151411812 HAS SOPS 151411812 HAS SOUS 88733771 HAS SOUPS 88733771 WITH SCORE 8.8885182812E7
AT ITER 7138 NEW BEST:: SOT 653112056 SOS 151410092 HAS SOPS 151410092 HAS SOUS 88732051 HAS SOUPS 88732051 WITH SCORE 8.8883461092E7
AT ITER 7142 NEW BEST:: SOT 653105629 SOS 151403665 HAS SOPS 151403665 HAS SOUS 88725624 HAS SOUPS 88725624 WITH SCORE 8.8877027665E7
AT ITER 7166 NEW BEST:: SOT 653105629 SOS 151403136 HAS SOPS 151403136 HAS SOUS 88725095 HAS SOUPS 88725095 WITH SCORE 8.8876498136E7
AT ITER 7169 NEW BEST:: SOT 653105629 SOS 151403136 HAS SOPS 151403136 HAS SOUS 88725094 HAS SOUPS 88725094 WITH SCORE 8.8876497136E7
AT ITER 7203 NEW BEST:: SOT 653108474 SOS 151427929 HAS SOPS 151427929 HAS SOUS 88724414 HAS SOUPS 88724414 WITH SCORE 8.8875841929E7
AT ITER 7211 NEW BEST:: SOT 653109255 SOS 151417959 HAS SOPS 151417959 HAS SOUS 88721741 HAS SOUPS 88721741 WITH SCORE 8.8873158959E7
AT ITER 7236 NEW BEST:: SOT 653103855 SOS 151407159 HAS SOPS 151407159 HAS SOUS 88710941 HAS SOUPS 88710941 WITH SCORE 8.8862348159E7
AT ITER 7248 NEW BEST:: SOT 653103855 SOS 151396659 HAS SOPS 151396659 HAS SOUS 88707441 HAS SOUPS 88707441 WITH SCORE 8.8858837659E7
AT ITER 7257 NEW BEST:: SOT 653099239 SOS 151392043 HAS SOPS 151392043 HAS SOUS 88702825 HAS SOUPS 88702825 WITH SCORE 8.8854217043E7
AT ITER 7299 NEW BEST:: SOT 653099664 SOS 151391190 HAS SOPS 151391190 HAS SOUS 88702824 HAS SOUPS 88702824 WITH SCORE 8.885421519E7
AT ITER 7322 NEW BEST:: SOT 653096958 SOS 151388484 HAS SOPS 151388484 HAS SOUS 88700118 HAS SOUPS 88700118 WITH SCORE 8.8851506484E7
AT ITER 7335 NEW BEST:: SOT 653095164 SOS 151392332 HAS SOPS 151392332 HAS SOUS 88694225 HAS SOUPS 88694225 WITH SCORE 8.8845617332E7
AT ITER 7348 NEW BEST:: SOT 653094769 SOS 151392331 HAS SOPS 151392331 HAS SOUS 88694224 HAS SOUPS 88694224 WITH SCORE 8.8845616331E7
AT ITER 7357 NEW BEST:: SOT 653094303 SOS 151391399 HAS SOPS 151391399 HAS SOUS 88693292 HAS SOUPS 88693292 WITH SCORE 8.8844683399E7
AT ITER 7385 NEW BEST:: SOT 653091297 SOS 151385387 HAS SOPS 151385387 HAS SOUS 88687280 HAS SOUPS 88687280 WITH SCORE 8.8838665387E7
AT ITER 7391 NEW BEST:: SOT 653088675 SOS 151381454 HAS SOPS 151381454 HAS SOUS 88683347 HAS SOUPS 88683347 WITH SCORE 8.8834728454E7
AT ITER 7467 NEW BEST:: SOT 653089353 SOS 151382132 HAS SOPS 151382132 HAS SOUS 88683346 HAS SOUPS 88683346 WITH SCORE 8.8834728132E7
AT ITER 7481 NEW BEST:: SOT 653088150 SOS 151379726 HAS SOPS 151379726 HAS SOUS 88682143 HAS SOUPS 88682143 WITH SCORE 8.8833522726E7
AT ITER 7484 NEW BEST:: SOT 653086748 SOS 151376922 HAS SOPS 151376922 HAS SOUS 88680741 HAS SOUPS 88680741 WITH SCORE 8.8832117922E7
AT ITER 7520 NEW BEST:: SOT 653086748 SOS 151376922 HAS SOPS 151376922 HAS SOUS 88680740 HAS SOUPS 88680740 WITH SCORE 8.8832116922E7
AT ITER 7553 NEW BEST:: SOT 653071363 SOS 151369658 HAS SOPS 151369658 HAS SOUS 88677933 HAS SOUPS 88677933 WITH SCORE 8.8829302658E7
AT ITER 7555 NEW BEST:: SOT 653070976 SOS 151370045 HAS SOPS 151370045 HAS SOUS 88677546 HAS SOUPS 88677546 WITH SCORE 8.8828916045E7
AT ITER 7576 NEW BEST:: SOT 653074941 SOS 151377975 HAS SOPS 151377975 HAS SOUS 88676939 HAS SOUPS 88676939 WITH SCORE 8.8828316975E7
AT ITER 7578 NEW BEST:: SOT 653074607 SOS 151377307 HAS SOPS 151377307 HAS SOUS 88676271 HAS SOUPS 88676271 WITH SCORE 8.8827648307E7
AT ITER 7588 NEW BEST:: SOT 653073732 SOS 151375557 HAS SOPS 151375557 HAS SOUS 88675395 HAS SOUPS 88675395 WITH SCORE 8.8826770557E7
AT ITER 7620 NEW BEST:: SOT 653073732 SOS 151373540 HAS SOPS 151373540 HAS SOUS 88675395 HAS SOUPS 88675395 WITH SCORE 8.882676854E7
AT ITER 7637 NEW BEST:: SOT 653072824 SOS 151377161 HAS SOPS 151377161 HAS SOUS 88674659 HAS SOUPS 88674659 WITH SCORE 8.8826036161E7
AT ITER 7639 NEW BEST:: SOT 653071617 SOS 151374747 HAS SOPS 151374747 HAS SOUS 88673452 HAS SOUPS 88673452 WITH SCORE 8.8824826747E7
AT ITER 7640 NEW BEST:: SOT 653068757 SOS 151372667 HAS SOPS 151372667 HAS SOUS 88672412 HAS SOUPS 88672412 WITH SCORE 8.8823784667E7
AT ITER 7642 NEW BEST:: SOT 653059549 SOS 151373317 HAS SOPS 151373317 HAS SOUS 88668762 HAS SOUPS 88668762 WITH SCORE 8.8820135317E7
AT ITER 7646 NEW BEST:: SOT 653060276 SOS 151371860 HAS SOPS 151371860 HAS SOUS 88668761 HAS SOUPS 88668761 WITH SCORE 8.882013286E7
AT ITER 7651 NEW BEST:: SOT 653059113 SOS 151374178 HAS SOPS 151374178 HAS SOUS 88667596 HAS SOUPS 88667596 WITH SCORE 8.8818970178E7
AT ITER 7652 NEW BEST:: SOT 653057927 SOS 151371806 HAS SOPS 151371806 HAS SOUS 88665224 HAS SOUPS 88665224 WITH SCORE 8.8816595806E7
AT ITER 7666 NEW BEST:: SOT 653054757 SOS 151368636 HAS SOPS 151368636 HAS SOUS 88662054 HAS SOUPS 88662054 WITH SCORE 8.8813422636E7
AT ITER 7676 NEW BEST:: SOT 653054197 SOS 151367516 HAS SOPS 151367516 HAS SOUS 88660934 HAS SOUPS 88660934 WITH SCORE 8.8812301516E7
AT ITER 7720 NEW BEST:: SOT 653054197 SOS 151367516 HAS SOPS 151367516 HAS SOUS 88653434 HAS SOUPS 88653434 WITH SCORE 8.8804801516E7
AT ITER 7726 NEW BEST:: SOT 653053332 SOS 151365786 HAS SOPS 151365786 HAS SOUS 88652569 HAS SOUPS 88652569 WITH SCORE 8.8803934786E7
AT ITER 7727 NEW BEST:: SOT 653048704 SOS 151359740 HAS SOPS 151359740 HAS SOUS 88646523 HAS SOUPS 88646523 WITH SCORE 8.879788274E7
AT ITER 7745 NEW BEST:: SOT 653046744 SOS 151363244 HAS SOPS 151363244 HAS SOUS 88646419 HAS SOUPS 88646419 WITH SCORE 8.8797782244E7
AT ITER 7779 NEW BEST:: SOT 653045412 SOS 151363623 HAS SOPS 151363623 HAS SOUS 88645368 HAS SOUPS 88645368 WITH SCORE 8.8796731623E7
AT ITER 7802 NEW BEST:: SOT 653044187 SOS 151361173 HAS SOPS 151361173 HAS SOUS 88642020 HAS SOUPS 88642020 WITH SCORE 8.8793381173E7
AT ITER 7804 NEW BEST:: SOT 653043788 SOS 151361963 HAS SOPS 151361963 HAS SOUS 88641619 HAS SOUPS 88641619 WITH SCORE 8.8792980963E7
AT ITER 7818 NEW BEST:: SOT 653042874 SOS 151363787 HAS SOPS 151363787 HAS SOUS 88640704 HAS SOUPS 88640704 WITH SCORE 8.8792067787E7
AT ITER 7834 NEW BEST:: SOT 653046581 SOS 151360080 HAS SOPS 151360080 HAS SOUS 88640704 HAS SOUPS 88640704 WITH SCORE 8.879206408E7
AT ITER 7849 NEW BEST:: SOT 653044447 SOS 151355812 HAS SOPS 151355812 HAS SOUS 88636436 HAS SOUPS 88636436 WITH SCORE 8.8787791812E7
AT ITER 7870 NEW BEST:: SOT 653044447 SOS 151344475 HAS SOPS 151344475 HAS SOUS 88636435 HAS SOUPS 88636435 WITH SCORE 8.8787779475E7
AT ITER 7908 NEW BEST:: SOT 653043914 SOS 151343409 HAS SOPS 151343409 HAS SOUS 88632323 HAS SOUPS 88632323 WITH SCORE 8.8783666409E7
AT ITER 7918 NEW BEST:: SOT 653043914 SOS 151356423 HAS SOPS 151356423 HAS SOUS 88631456 HAS SOUPS 88631456 WITH SCORE 8.8782812423E7
AT ITER 7920 NEW BEST:: SOT 653043914 SOS 151351104 HAS SOPS 151351104 HAS SOUS 88629683 HAS SOUPS 88629683 WITH SCORE 8.8781034104E7
AT ITER 7956 NEW BEST:: SOT 653041060 SOS 151348250 HAS SOPS 151348250 HAS SOUS 88628025 HAS SOUPS 88628025 WITH SCORE 8.877937325E7
AT ITER 7960 NEW BEST:: SOT 653041059 SOS 151346223 HAS SOPS 151346223 HAS SOUS 88628024 HAS SOUPS 88628024 WITH SCORE 8.8779370223E7
AT ITER 8028 NEW BEST:: SOT 653039550 SOS 151343205 HAS SOPS 151343205 HAS SOUS 88626515 HAS SOUPS 88626515 WITH SCORE 8.8777858205E7
AT ITER 8031 NEW BEST:: SOT 653039550 SOS 151342641 HAS SOPS 151342641 HAS SOUS 88626515 HAS SOUPS 88626515 WITH SCORE 8.8777857641E7
AT ITER 8040 NEW BEST:: SOT 653039550 SOS 151342409 HAS SOPS 151342409 HAS SOUS 88626399 HAS SOUPS 88626399 WITH SCORE 8.8777741409E7
AT ITER 8043 NEW BEST:: SOT 653038612 SOS 151341471 HAS SOPS 151341471 HAS SOUS 88625461 HAS SOUPS 88625461 WITH SCORE 8.8776802471E7
AT ITER 8052 NEW BEST:: SOT 653029174 SOS 151334607 HAS SOPS 151334607 HAS SOUS 88622029 HAS SOUPS 88622029 WITH SCORE 8.8773363607E7
AT ITER 8110 NEW BEST:: SOT 653029174 SOS 151323852 HAS SOPS 151323852 HAS SOUS 88622028 HAS SOUPS 88622028 WITH SCORE 8.8773351852E7
AT ITER 8117 NEW BEST:: SOT 653027810 SOS 151333390 HAS SOPS 151333390 HAS SOUS 88619299 HAS SOUPS 88619299 WITH SCORE 8.877063239E7
AT ITER 8120 NEW BEST:: SOT 653027810 SOS 151323622 HAS SOPS 151323622 HAS SOUS 88616043 HAS SOUPS 88616043 WITH SCORE 8.8767366622E7
AT ITER 8138 NEW BEST:: SOT 653027810 SOS 151336624 HAS SOPS 151336624 HAS SOUS 88615216 HAS SOUPS 88615216 WITH SCORE 8.8766552624E7
AT ITER 8149 NEW BEST:: SOT 653024821 SOS 151333635 HAS SOPS 151333635 HAS SOUS 88615216 HAS SOUPS 88615216 WITH SCORE 8.8766549635E7
AT ITER 8175 NEW BEST:: SOT 653022651 SOS 151333631 HAS SOPS 151333631 HAS SOUS 88614130 HAS SOUPS 88614130 WITH SCORE 8.8765463631E7
AT ITER 8204 NEW BEST:: SOT 653019561 SOS 151330541 HAS SOPS 151330541 HAS SOUS 88611040 HAS SOUPS 88611040 WITH SCORE 8.8762370541E7
AT ITER 8235 NEW BEST:: SOT 653018790 SOS 151328999 HAS SOPS 151328999 HAS SOUS 88606706 HAS SOUPS 88606706 WITH SCORE 8.8758034999E7
AT ITER 8243 NEW BEST:: SOT 653018243 SOS 151327905 HAS SOPS 151327905 HAS SOUS 88606159 HAS SOUPS 88606159 WITH SCORE 8.8757486905E7
AT ITER 8258 NEW BEST:: SOT 653021900 SOS 151351350 HAS SOPS 151351350 HAS SOUS 88605405 HAS SOUPS 88605405 WITH SCORE 8.875675635E7
AT ITER 8281 NEW BEST:: SOT 653021900 SOS 151350409 HAS SOPS 151350409 HAS SOUS 88604464 HAS SOUPS 88604464 WITH SCORE 8.8755814409E7
AT ITER 8348 NEW BEST:: SOT 653020727 SOS 151352755 HAS SOPS 151352755 HAS SOUS 88603291 HAS SOUPS 88603291 WITH SCORE 8.8754643755E7
AT ITER 8358 NEW BEST:: SOT 653020727 SOS 151351510 HAS SOPS 151351510 HAS SOUS 88603291 HAS SOUPS 88603291 WITH SCORE 8.875464251E7
AT ITER 8387 NEW BEST:: SOT 653018572 SOS 151347201 HAS SOPS 151347201 HAS SOUS 88598982 HAS SOUPS 88598982 WITH SCORE 8.8750329201E7
AT ITER 8402 NEW BEST:: SOT 653018572 SOS 151346825 HAS SOPS 151346825 HAS SOUS 88598982 HAS SOUPS 88598982 WITH SCORE 8.8750328825E7
AT ITER 8448 NEW BEST:: SOT 653018309 SOS 151346299 HAS SOPS 151346299 HAS SOUS 88598456 HAS SOUPS 88598456 WITH SCORE 8.8749802299E7
AT ITER 8466 NEW BEST:: SOT 653016732 SOS 151343145 HAS SOPS 151343145 HAS SOUS 88595302 HAS SOUPS 88595302 WITH SCORE 8.8746645145E7
AT ITER 8524 NEW BEST:: SOT 653015314 SOS 151340309 HAS SOPS 151340309 HAS SOUS 88592466 HAS SOUPS 88592466 WITH SCORE 8.8743806309E7
AT ITER 8539 NEW BEST:: SOT 653007099 SOS 151323879 HAS SOPS 151323879 HAS SOUS 88576036 HAS SOUPS 88576036 WITH SCORE 8.8727359879E7
AT ITER 8555 NEW BEST:: SOT 653007099 SOS 151324135 HAS SOPS 151324135 HAS SOUS 88576034 HAS SOUPS 88576034 WITH SCORE 8.8727358135E7
AT ITER 8574 NEW BEST:: SOT 653005501 SOS 151348667 HAS SOPS 151348667 HAS SOUS 88572837 HAS SOUPS 88572837 WITH SCORE 8.8724185667E7
AT ITER 8576 NEW BEST:: SOT 653004354 SOS 151346373 HAS SOPS 151346373 HAS SOUS 88570543 HAS SOUPS 88570543 WITH SCORE 8.8721889373E7
AT ITER 8600 NEW BEST:: SOT 653004354 SOS 151342506 HAS SOPS 151342506 HAS SOUS 88569254 HAS SOUPS 88569254 WITH SCORE 8.8720596506E7
AT ITER 8608 NEW BEST:: SOT 652996465 SOS 151326728 HAS SOPS 151326728 HAS SOUS 88553476 HAS SOUPS 88553476 WITH SCORE 8.8704802728E7
AT ITER 8631 NEW BEST:: SOT 652992354 SOS 151318506 HAS SOPS 151318506 HAS SOUS 88545254 HAS SOUPS 88545254 WITH SCORE 8.8696572506E7
AT ITER 8654 NEW BEST:: SOT 652992354 SOS 151311060 HAS SOPS 151311060 HAS SOUS 88542772 HAS SOUPS 88542772 WITH SCORE 8.869408306E7
AT ITER 8744 NEW BEST:: SOT 652985065 SOS 151307922 HAS SOPS 151307922 HAS SOUS 88539634 HAS SOUPS 88539634 WITH SCORE 8.8690941922E7
AT ITER 8769 NEW BEST:: SOT 652984177 SOS 151307034 HAS SOPS 151307034 HAS SOUS 88538746 HAS SOUPS 88538746 WITH SCORE 8.8690053034E7
AT ITER 8785 NEW BEST:: SOT 652982826 SOS 151304332 HAS SOPS 151304332 HAS SOUS 88535038 HAS SOUPS 88535038 WITH SCORE 8.8686342332E7
AT ITER 8792 NEW BEST:: SOT 652982826 SOS 151294552 HAS SOPS 151294552 HAS SOUS 88531778 HAS SOUPS 88531778 WITH SCORE 8.8683072552E7
AT ITER 8816 NEW BEST:: SOT 652982826 SOS 151294552 HAS SOPS 151294552 HAS SOUS 88529941 HAS SOUPS 88529941 WITH SCORE 8.8681235552E7
AT ITER 8832 NEW BEST:: SOT 652976853 SOS 151289336 HAS SOPS 151289336 HAS SOUS 88524725 HAS SOUPS 88524725 WITH SCORE 8.8676014336E7
AT ITER 8856 NEW BEST:: SOT 652976853 SOS 151280111 HAS SOPS 151280111 HAS SOUS 88521650 HAS SOUPS 88521650 WITH SCORE 8.8672930111E7
AT ITER 8866 NEW BEST:: SOT 652968720 SOS 151263845 HAS SOPS 151263845 HAS SOUS 88505384 HAS SOUPS 88505384 WITH SCORE 8.8656647845E7
AT ITER 8902 NEW BEST:: SOT 652970786 SOS 151267974 HAS SOPS 151267974 HAS SOUS 88503875 HAS SOUPS 88503875 WITH SCORE 8.8655142974E7
AT ITER 8944 NEW BEST:: SOT 652970786 SOS 151267974 HAS SOPS 151267974 HAS SOUS 88503874 HAS SOUPS 88503874 WITH SCORE 8.8655141974E7
AT ITER 8948 NEW BEST:: SOT 652970786 SOS 151267974 HAS SOPS 151267974 HAS SOUS 88503870 HAS SOUPS 88503870 WITH SCORE 8.8655137974E7
AT ITER 8950 NEW BEST:: SOT 652974015 SOS 151274432 HAS SOPS 151274432 HAS SOUS 88502063 HAS SOUPS 88502063 WITH SCORE 8.8653337432E7
AT ITER 8951 NEW BEST:: SOT 652974015 SOS 151265924 HAS SOPS 151265924 HAS SOUS 88499227 HAS SOUPS 88499227 WITH SCORE 8.8650492924E7
AT ITER 9007 NEW BEST:: SOT 652976000 SOS 151259286 HAS SOPS 151259286 HAS SOUS 88498668 HAS SOUPS 88498668 WITH SCORE 8.8649927286E7
AT ITER 9029 NEW BEST:: SOT 652974994 SOS 151257274 HAS SOPS 151257274 HAS SOUS 88494089 HAS SOUPS 88494089 WITH SCORE 8.8645346274E7
AT ITER 9069 NEW BEST:: SOT 652974994 SOS 151257274 HAS SOPS 151257274 HAS SOUS 88493100 HAS SOUPS 88493100 WITH SCORE 8.8644357274E7
AT ITER 9075 NEW BEST:: SOT 652969945 SOS 151257675 HAS SOPS 151257675 HAS SOUS 88486889 HAS SOUPS 88486889 WITH SCORE 8.8638146675E7
AT ITER 9084 NEW BEST:: SOT 652965300 SOS 151253439 HAS SOPS 151253439 HAS SOUS 88482656 HAS SOUPS 88482656 WITH SCORE 8.8633909439E7
AT ITER 9267 NEW BEST:: SOT 652965300 SOS 151253439 HAS SOPS 151253439 HAS SOUS 88482655 HAS SOUPS 88482655 WITH SCORE 8.8633908439E7
AT ITER 9273 NEW BEST:: SOT 652963050 SOS 151255689 HAS SOPS 151255689 HAS SOUS 88481846 HAS SOUPS 88481846 WITH SCORE 8.8633101689E7
AT ITER 9276 NEW BEST:: SOT 652963887 SOS 151253588 HAS SOPS 151253588 HAS SOUS 88481419 HAS SOUPS 88481419 WITH SCORE 8.8632672588E7
AT ITER 9318 NEW BEST:: SOT 652963887 SOS 151244165 HAS SOPS 151244165 HAS SOUS 88478278 HAS SOUPS 88478278 WITH SCORE 8.8629522165E7
AT ITER 9342 NEW BEST:: SOT 652963887 SOS 151237568 HAS SOPS 151237568 HAS SOUS 88476079 HAS SOUPS 88476079 WITH SCORE 8.8627316568E7
AT ITER 9346 NEW BEST:: SOT 652963392 SOS 151237568 HAS SOPS 151237568 HAS SOUS 88475584 HAS SOUPS 88475584 WITH SCORE 8.8626821568E7
AT ITER 9357 NEW BEST:: SOT 652963321 SOS 151237426 HAS SOPS 151237426 HAS SOUS 88471928 HAS SOUPS 88471928 WITH SCORE 8.8623165426E7
AT ITER 9387 NEW BEST:: SOT 652962373 SOS 151237425 HAS SOPS 151237425 HAS SOUS 88471927 HAS SOUPS 88471927 WITH SCORE 8.8623164425E7
AT ITER 9456 NEW BEST:: SOT 652956936 SOS 151234763 HAS SOPS 151234763 HAS SOUS 88467940 HAS SOUPS 88467940 WITH SCORE 8.8619174763E7
AT ITER 9531 NEW BEST:: SOT 652956936 SOS 151229546 HAS SOPS 151229546 HAS SOUS 88466201 HAS SOUPS 88466201 WITH SCORE 8.8617430546E7
AT ITER 9539 NEW BEST:: SOT 652955587 SOS 151221452 HAS SOPS 151221452 HAS SOUS 88462154 HAS SOUPS 88462154 WITH SCORE 8.8613375452E7
AT ITER 9542 NEW BEST:: SOT 652955586 SOS 151221450 HAS SOPS 151221450 HAS SOUS 88462152 HAS SOUPS 88462152 WITH SCORE 8.861337345E7
AT ITER 9543 NEW BEST:: SOT 652955586 SOS 151217868 HAS SOPS 151217868 HAS SOUS 88462148 HAS SOUPS 88462148 WITH SCORE 8.8613365868E7
AT ITER 9577 NEW BEST:: SOT 652955020 SOS 151216735 HAS SOPS 151216735 HAS SOUS 88458750 HAS SOUPS 88458750 WITH SCORE 8.8609966735E7
AT ITER 9596 NEW BEST:: SOT 652955020 SOS 151208578 HAS SOPS 151208578 HAS SOUS 88456031 HAS SOUPS 88456031 WITH SCORE 8.8607239578E7
AT ITER 9625 NEW BEST:: SOT 652955019 SOS 151208576 HAS SOPS 151208576 HAS SOUS 88456029 HAS SOUPS 88456029 WITH SCORE 8.8607237576E7
AT ITER 9629 NEW BEST:: SOT 652950707 SOS 151216391 HAS SOPS 151216391 HAS SOUS 88447404 HAS SOUPS 88447404 WITH SCORE 8.8598620391E7
AT ITER 9654 NEW BEST:: SOT 652943753 SOS 151213453 HAS SOPS 151213453 HAS SOUS 88442457 HAS SOUPS 88442457 WITH SCORE 8.8593670453E7
AT ITER 9658 NEW BEST:: SOT 652943562 SOS 151213071 HAS SOPS 151213071 HAS SOUS 88438682 HAS SOUPS 88438682 WITH SCORE 8.8589895071E7
AT ITER 9689 NEW BEST:: SOT 652940885 SOS 151207713 HAS SOPS 151207713 HAS SOUS 88434723 HAS SOUPS 88434723 WITH SCORE 8.8585930713E7
AT ITER 9717 NEW BEST:: SOT 652940884 SOS 151206613 HAS SOPS 151206613 HAS SOUS 88433623 HAS SOUPS 88433623 WITH SCORE 8.8584829613E7
AT ITER 9743 NEW BEST:: SOT 652936955 SOS 151198755 HAS SOPS 151198755 HAS SOUS 88429693 HAS SOUPS 88429693 WITH SCORE 8.8580891755E7
AT ITER 9750 NEW BEST:: SOT 652936955 SOS 151199060 HAS SOPS 151199060 HAS SOUS 88429589 HAS SOUPS 88429589 WITH SCORE 8.858078806E7
AT ITER 9777 NEW BEST:: SOT 652938660 SOS 151195510 HAS SOPS 151195510 HAS SOUS 88428974 HAS SOUPS 88428974 WITH SCORE 8.858016951E7
AT ITER 9792 NEW BEST:: SOT 652938489 SOS 151195844 HAS SOPS 151195844 HAS SOUS 88428801 HAS SOUPS 88428801 WITH SCORE 8.8579996844E7
AT ITER 9794 NEW BEST:: SOT 652937736 SOS 151194338 HAS SOPS 151194338 HAS SOUS 88427295 HAS SOUPS 88427295 WITH SCORE 8.8578489338E7
AT ITER 9797 NEW BEST:: SOT 652937684 SOS 151194286 HAS SOPS 151194286 HAS SOUS 88427243 HAS SOUPS 88427243 WITH SCORE 8.8578437286E7
AT ITER 9813 NEW BEST:: SOT 652938380 SOS 151192893 HAS SOPS 151192893 HAS SOUS 88427242 HAS SOUPS 88427242 WITH SCORE 8.8578434893E7
AT ITER 9842 NEW BEST:: SOT 652919681 SOS 151180961 HAS SOPS 151180961 HAS SOUS 88422586 HAS SOUPS 88422586 WITH SCORE 8.8573766961E7
AT ITER 9883 NEW BEST:: SOT 652914745 SOS 151176195 HAS SOPS 151176195 HAS SOUS 88417820 HAS SOUPS 88417820 WITH SCORE 8.8568996195E7
AT ITER 9886 NEW BEST:: SOT 652909746 SOS 151175407 HAS SOPS 151175407 HAS SOUS 88415891 HAS SOUPS 88415891 WITH SCORE 8.8567066407E7
AT ITER 9895 NEW BEST:: SOT 652909746 SOS 151175407 HAS SOPS 151175407 HAS SOUS 88413409 HAS SOUPS 88413409 WITH SCORE 8.8564584407E7
AT ITER 9896 NEW BEST:: SOT 652906927 SOS 151178219 HAS SOPS 151178219 HAS SOUS 88410588 HAS SOUPS 88410588 WITH SCORE 8.8561766219E7
AT ITER 9901 NEW BEST:: SOT 652906927 SOS 151167659 HAS SOPS 151167659 HAS SOUS 88410587 HAS SOUPS 88410587 WITH SCORE 8.8561754659E7
AT ITER 9908 NEW BEST:: SOT 652892374 SOS 151157075 HAS SOPS 151157075 HAS SOUS 88405295 HAS SOUPS 88405295 WITH SCORE 8.8556452075E7
AT ITER 9924 NEW BEST:: SOT 652891171 SOS 151154669 HAS SOPS 151154669 HAS SOUS 88400537 HAS SOUPS 88400537 WITH SCORE 8.8551691669E7
AT ITER 9925 NEW BEST:: SOT 652886416 SOS 151130894 HAS SOPS 151130894 HAS SOUS 88391027 HAS SOUPS 88391027 WITH SCORE 8.8542157894E7
AT ITER 9936 NEW BEST:: SOT 652886416 SOS 151130894 HAS SOPS 151130894 HAS SOUS 88383073 HAS SOUPS 88383073 WITH SCORE 8.8534203894E7
AT ITER 9954 NEW BEST:: SOT 652886416 SOS 151130894 HAS SOPS 151130894 HAS SOUS 88383072 HAS SOUPS 88383072 WITH SCORE 8.8534202894E7
AT ITER 9971 NEW BEST:: SOT 652884842 SOS 151127746 HAS SOPS 151127746 HAS SOUS 88381498 HAS SOUPS 88381498 WITH SCORE 8.8532625746E7
AT ITER 9990 NEW BEST:: SOT 652883744 SOS 151126773 HAS SOPS 151126773 HAS SOUS 88380525 HAS SOUPS 88380525 WITH SCORE 8.8531651773E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 14414012 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16130296 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Caught signal 15, terminating.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCflexbar-PT-6b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is DLCflexbar-PT-6b, 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 r099-tall-167814472600584"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCflexbar-PT-6b.tgz
mv DLCflexbar-PT-6b 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 '
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 ;