About the Execution of Smart+red for RERS17pb115-PT-8
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1893.476 | 3600000.00 | 3835236.00 | 7616.80 | [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.r331-tall-167889204200208.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is RERS17pb115-PT-8, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r331-tall-167889204200208
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 6.2K Feb 25 13:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 25 13:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Feb 25 13:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 25 13:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Feb 25 16:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.5K Feb 25 14:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 98K Feb 25 14:02 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 25 13:59 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 73K Feb 25 13:59 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:39 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:39 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 69M Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1679106305665
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=RERS17pb115-PT-8
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-18 02:25:07] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-18 02:25:07] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-18 02:25:09] [INFO ] Load time of PNML (sax parser for PT used): 1880 ms
[2023-03-18 02:25:09] [INFO ] Transformed 1399 places.
[2023-03-18 02:25:09] [INFO ] Transformed 144369 transitions.
[2023-03-18 02:25:09] [INFO ] Parsed PT model containing 1399 places and 144369 transitions and 577414 arcs in 2373 ms.
[2023-03-18 02:25:10] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1399 places, 144369 transitions and 577414 arcs took 422 ms.
Total runtime 2831 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb115 (PT), instance 8
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart
Filename model.pnml
Petri model created: 1399 places, 144369 transitions, 577414 arcs.
AT ITER 0 NEW BEST:: SOT 123476540 SOS 80284426 HAS SOPS 65263383 HAS SOUS 24121552 HAS SOUPS 23549470 WITH SCORE 2.3629754426E7
AT ITER 10 NEW BEST:: SOT 123470787 SOS 80275981 HAS SOPS 65256498 HAS SOUS 24112982 HAS SOUPS 23540900 WITH SCORE 2.3621175981E7
AT ITER 12 NEW BEST:: SOT 123477961 SOS 80297454 HAS SOPS 65271962 HAS SOUS 24100478 HAS SOUPS 23528396 WITH SCORE 2.3608693454E7
AT ITER 33 NEW BEST:: SOT 123470419 SOS 80288096 HAS SOPS 65265904 HAS SOUS 24082830 HAS SOUPS 23510748 WITH SCORE 2.3591036096E7
AT ITER 34 NEW BEST:: SOT 123436152 SOS 80229894 HAS SOPS 65263379 HAS SOUS 24053791 HAS SOUPS 23481709 WITH SCORE 2.3561938894E7
AT ITER 42 NEW BEST:: SOT 123422193 SOS 80196276 HAS SOPS 65234337 HAS SOUS 24045411 HAS SOUPS 23473329 WITH SCORE 2.3553525276E7
AT ITER 53 NEW BEST:: SOT 123389824 SOS 80146493 HAS SOPS 65184761 HAS SOUS 24001023 HAS SOUPS 23429316 WITH SCORE 2.3509462493E7
AT ITER 56 NEW BEST:: SOT 123369394 SOS 80120774 HAS SOPS 65168601 HAS SOUS 23994180 HAS SOUPS 23422704 WITH SCORE 2.3502824774E7
AT ITER 62 NEW BEST:: SOT 123370405 SOS 80121343 HAS SOPS 65167094 HAS SOUS 23994043 HAS SOUPS 23422567 WITH SCORE 2.3502688343E7
AT ITER 68 NEW BEST:: SOT 123375167 SOS 80137815 HAS SOPS 65182203 HAS SOUS 23990213 HAS SOUPS 23418737 WITH SCORE 2.3498874815E7
AT ITER 81 NEW BEST:: SOT 123374901 SOS 80137781 HAS SOPS 65181053 HAS SOUS 23986831 HAS SOUPS 23415319 WITH SCORE 2.3495456781E7
AT ITER 89 NEW BEST:: SOT 123375243 SOS 80142468 HAS SOPS 65181063 HAS SOUS 23978656 HAS SOUPS 23407144 WITH SCORE 2.3487286468E7
AT ITER 114 NEW BEST:: SOT 123374203 SOS 80143026 HAS SOPS 65178653 HAS SOUS 23973555 HAS SOUPS 23402043 WITH SCORE 2.3482186026E7
AT ITER 122 NEW BEST:: SOT 123384581 SOS 80165619 HAS SOPS 65201644 HAS SOUS 23969588 HAS SOUPS 23398017 WITH SCORE 2.3478182619E7
AT ITER 134 NEW BEST:: SOT 123386623 SOS 80157919 HAS SOPS 65208908 HAS SOUS 23963845 HAS SOUPS 23394736 WITH SCORE 2.3474893919E7
AT ITER 143 NEW BEST:: SOT 123374940 SOS 80143921 HAS SOPS 65194969 HAS SOUS 23931461 HAS SOUPS 23362211 WITH SCORE 2.3442354921E7
AT ITER 148 NEW BEST:: SOT 123364457 SOS 80125908 HAS SOPS 65180496 HAS SOUS 23921243 HAS SOUPS 23351993 WITH SCORE 2.3432118908E7
AT ITER 167 NEW BEST:: SOT 123369979 SOS 80134683 HAS SOPS 65191337 HAS SOUS 23908792 HAS SOUPS 23339698 WITH SCORE 2.3419832683E7
AT ITER 179 NEW BEST:: SOT 123362533 SOS 80127552 HAS SOPS 65182067 HAS SOUS 23891375 HAS SOUPS 23322281 WITH SCORE 2.3402408552E7
AT ITER 196 NEW BEST:: SOT 123357015 SOS 80114148 HAS SOPS 65171552 HAS SOUS 23889402 HAS SOUPS 23320308 WITH SCORE 2.3400422148E7
AT ITER 206 NEW BEST:: SOT 123353153 SOS 80103713 HAS SOPS 65167877 HAS SOUS 23887446 HAS SOUPS 23318352 WITH SCORE 2.3398455713E7
AT ITER 208 NEW BEST:: SOT 123353133 SOS 80103157 HAS SOPS 65167733 HAS SOUS 23887411 HAS SOUPS 23318317 WITH SCORE 2.3398420157E7
AT ITER 209 NEW BEST:: SOT 123352822 SOS 80102666 HAS SOPS 65167366 HAS SOUS 23886773 HAS SOUPS 23317683 WITH SCORE 2.3397785666E7
AT ITER 211 NEW BEST:: SOT 123355754 SOS 80106142 HAS SOPS 65160939 HAS SOUS 23889390 HAS SOUPS 23315110 WITH SCORE 2.3395216142E7
AT ITER 218 NEW BEST:: SOT 123367749 SOS 80135558 HAS SOPS 65187564 HAS SOUS 23879415 HAS SOUPS 23305135 WITH SCORE 2.3385270558E7
AT ITER 229 NEW BEST:: SOT 123364970 SOS 80133211 HAS SOPS 65180166 HAS SOUS 23867177 HAS SOUPS 23292897 WITH SCORE 2.3373030211E7
AT ITER 238 NEW BEST:: SOT 123374541 SOS 80148254 HAS SOPS 65201184 HAS SOUS 23859681 HAS SOUPS 23285883 WITH SCORE 2.3366031254E7
AT ITER 253 NEW BEST:: SOT 123372919 SOS 80147906 HAS SOPS 65204529 HAS SOUS 23852596 HAS SOUPS 23278837 WITH SCORE 2.3358984906E7
AT ITER 262 NEW BEST:: SOT 123382530 SOS 80171726 HAS SOPS 65222938 HAS SOUS 23849756 HAS SOUPS 23275997 WITH SCORE 2.3356168726E7
AT ITER 266 NEW BEST:: SOT 123386626 SOS 80182813 HAS SOPS 65247647 HAS SOUS 23834887 HAS SOUPS 23261128 WITH SCORE 2.3341310813E7
AT ITER 268 NEW BEST:: SOT 123386247 SOS 80184377 HAS SOPS 65249551 HAS SOUS 23831949 HAS SOUPS 23258190 WITH SCORE 2.3338374377E7
AT ITER 270 NEW BEST:: SOT 123383173 SOS 80181709 HAS SOPS 65246269 HAS SOUS 23831027 HAS SOUPS 23255630 WITH SCORE 2.3335811709E7
AT ITER 284 NEW BEST:: SOT 123385403 SOS 80182879 HAS SOPS 65247377 HAS SOUS 23825899 HAS SOUPS 23250502 WITH SCORE 2.3330684879E7
AT ITER 291 NEW BEST:: SOT 123385301 SOS 80180875 HAS SOPS 65246234 HAS SOUS 23825809 HAS SOUPS 23250412 WITH SCORE 2.3330592875E7
AT ITER 312 NEW BEST:: SOT 123387829 SOS 80187055 HAS SOPS 65249977 HAS SOUS 23822939 HAS SOUPS 23247542 WITH SCORE 2.3327729055E7
AT ITER 314 NEW BEST:: SOT 123385893 SOS 80200049 HAS SOPS 65248495 HAS SOUS 23784329 HAS SOUPS 23208825 WITH SCORE 2.3289025049E7
AT ITER 317 NEW BEST:: SOT 123326296 SOS 80140480 HAS SOPS 65185122 HAS SOUS 23721274 HAS SOUPS 23145534 WITH SCORE 2.322567448E7
AT ITER 323 NEW BEST:: SOT 123325609 SOS 80146639 HAS SOPS 65194116 HAS SOUS 23711229 HAS SOUPS 23135695 WITH SCORE 2.3215841639E7
AT ITER 325 NEW BEST:: SOT 123323669 SOS 80144456 HAS SOPS 65191592 HAS SOUS 23708110 HAS SOUPS 23132576 WITH SCORE 2.3212720456E7
AT ITER 327 NEW BEST:: SOT 123315810 SOS 80141910 HAS SOPS 65194067 HAS SOUS 23674873 HAS SOUPS 23099261 WITH SCORE 2.317940291E7
AT ITER 331 NEW BEST:: SOT 123315810 SOS 80141910 HAS SOPS 65194067 HAS SOUS 23674868 HAS SOUPS 23099256 WITH SCORE 2.317939791E7
AT ITER 350 NEW BEST:: SOT 123309886 SOS 80128356 HAS SOPS 65183484 HAS SOUS 23674456 HAS SOUPS 23098844 WITH SCORE 2.3178972356E7
AT ITER 354 NEW BEST:: SOT 123309253 SOS 80127723 HAS SOPS 65182211 HAS SOUS 23670692 HAS SOUPS 23095236 WITH SCORE 2.3175363723E7
AT ITER 358 NEW BEST:: SOT 123311094 SOS 80138029 HAS SOPS 65198454 HAS SOUS 23657952 HAS SOUPS 23082496 WITH SCORE 2.3162634029E7
AT ITER 364 NEW BEST:: SOT 123355280 SOS 80228275 HAS SOPS 65289461 HAS SOUS 23651442 HAS SOUPS 23075986 WITH SCORE 2.3156214275E7
AT ITER 367 NEW BEST:: SOT 123373475 SOS 80275815 HAS SOPS 65329634 HAS SOUS 23608107 HAS SOUPS 23032644 WITH SCORE 2.3112919815E7
AT ITER 375 NEW BEST:: SOT 123351471 SOS 80249392 HAS SOPS 65298376 HAS SOUS 23570924 HAS SOUPS 22995889 WITH SCORE 2.3076138392E7
AT ITER 401 NEW BEST:: SOT 123350140 SOS 80250525 HAS SOPS 65292114 HAS SOUS 23558634 HAS SOUPS 22983599 WITH SCORE 2.3063849525E7
AT ITER 409 NEW BEST:: SOT 123348620 SOS 80237597 HAS SOPS 65280586 HAS SOUS 23557165 HAS SOUPS 22982130 WITH SCORE 2.3062367597E7
AT ITER 413 NEW BEST:: SOT 123369674 SOS 80274400 HAS SOPS 65345611 HAS SOUS 23536650 HAS SOUPS 22961613 WITH SCORE 2.30418874E7
AT ITER 425 NEW BEST:: SOT 123370896 SOS 80279814 HAS SOPS 65348444 HAS SOUS 23533369 HAS SOUPS 22958332 WITH SCORE 2.3038611814E7
AT ITER 432 NEW BEST:: SOT 123343905 SOS 80248851 HAS SOPS 65313455 HAS SOUS 23499007 HAS SOUPS 22923676 WITH SCORE 2.3003924851E7
AT ITER 434 NEW BEST:: SOT 123339432 SOS 80242961 HAS SOPS 65314854 HAS SOUS 23480198 HAS SOUPS 22905011 WITH SCORE 2.2985253961E7
AT ITER 435 NEW BEST:: SOT 123339344 SOS 80242985 HAS SOPS 65314934 HAS SOUS 23479930 HAS SOUPS 22904799 WITH SCORE 2.2985041985E7
AT ITER 441 NEW BEST:: SOT 123336836 SOS 80239260 HAS SOPS 65310716 HAS SOUS 23475166 HAS SOUPS 22900256 WITH SCORE 2.298049526E7
AT ITER 446 NEW BEST:: SOT 123342535 SOS 80262750 HAS SOPS 65314425 HAS SOUS 23456013 HAS SOUPS 22881103 WITH SCORE 2.296136575E7
AT ITER 451 NEW BEST:: SOT 123343330 SOS 80263979 HAS SOPS 65315654 HAS SOUS 23450738 HAS SOUPS 22875828 WITH SCORE 2.2956091979E7
AT ITER 453 NEW BEST:: SOT 123337361 SOS 80255295 HAS SOPS 65312853 HAS SOUS 23442963 HAS SOUPS 22868154 WITH SCORE 2.2948409295E7
AT ITER 477 NEW BEST:: SOT 123333937 SOS 80251871 HAS SOPS 65309429 HAS SOUS 23439355 HAS SOUPS 22864546 WITH SCORE 2.2944797871E7
AT ITER 481 NEW BEST:: SOT 123320792 SOS 80242737 HAS SOPS 65300027 HAS SOUS 23408822 HAS SOUPS 22834013 WITH SCORE 2.2914255737E7
AT ITER 484 NEW BEST:: SOT 123320818 SOS 80253039 HAS SOPS 65310329 HAS SOUS 23408528 HAS SOUPS 22833719 WITH SCORE 2.2913972039E7
AT ITER 502 NEW BEST:: SOT 123321198 SOS 80281889 HAS SOPS 65350269 HAS SOUS 23408440 HAS SOUPS 22833631 WITH SCORE 2.2913912889E7
AT ITER 504 NEW BEST:: SOT 123322470 SOS 80285869 HAS SOPS 65363824 HAS SOUS 23404541 HAS SOUPS 22829673 WITH SCORE 2.2909958869E7
AT ITER 508 NEW BEST:: SOT 123313286 SOS 80277725 HAS SOPS 65356666 HAS SOUS 23391614 HAS SOUPS 22816746 WITH SCORE 2.2897023725E7
AT ITER 538 NEW BEST:: SOT 123327203 SOS 80322331 HAS SOPS 65395984 HAS SOUS 23382785 HAS SOUPS 22807917 WITH SCORE 2.2888239331E7
AT ITER 541 NEW BEST:: SOT 123310050 SOS 80307298 HAS SOPS 65389372 HAS SOUS 23341980 HAS SOUPS 22767347 WITH SCORE 2.2847654298E7
AT ITER 548 NEW BEST:: SOT 123305413 SOS 80303417 HAS SOPS 65384939 HAS SOUS 23331895 HAS SOUPS 22757216 WITH SCORE 2.2837519417E7
AT ITER 549 NEW BEST:: SOT 123299369 SOS 80290477 HAS SOPS 65375091 HAS SOUS 23324027 HAS SOUPS 22749267 WITH SCORE 2.2829557477E7
AT ITER 555 NEW BEST:: SOT 123298360 SOS 80287698 HAS SOPS 65372549 HAS SOUS 23322721 HAS SOUPS 22747973 WITH SCORE 2.2828260698E7
AT ITER 565 NEW BEST:: SOT 123285460 SOS 80274813 HAS SOPS 65359649 HAS SOUS 23303538 HAS SOUPS 22728776 WITH SCORE 2.2809050813E7
AT ITER 574 NEW BEST:: SOT 123295406 SOS 80295527 HAS SOPS 65373048 HAS SOUS 23287966 HAS SOUPS 22713311 WITH SCORE 2.2793606527E7
AT ITER 581 NEW BEST:: SOT 123299999 SOS 80301210 HAS SOPS 65380245 HAS SOUS 23287246 HAS SOUPS 22712591 WITH SCORE 2.279289221E7
AT ITER 584 NEW BEST:: SOT 123278861 SOS 80250887 HAS SOPS 65339238 HAS SOUS 23282260 HAS SOUPS 22707605 WITH SCORE 2.2787855887E7
AT ITER 589 NEW BEST:: SOT 123292818 SOS 80267751 HAS SOPS 65350339 HAS SOUS 23261683 HAS SOUPS 22688577 WITH SCORE 2.2768844751E7
AT ITER 597 NEW BEST:: SOT 123293283 SOS 80271297 HAS SOPS 65351409 HAS SOUS 23259613 HAS SOUPS 22686507 WITH SCORE 2.2766778297E7
AT ITER 608 NEW BEST:: SOT 123284046 SOS 80256977 HAS SOPS 65337242 HAS SOUS 23247334 HAS SOUPS 22674228 WITH SCORE 2.2754484977E7
AT ITER 614 NEW BEST:: SOT 123281097 SOS 80253422 HAS SOPS 65332101 HAS SOUS 23241923 HAS SOUPS 22668817 WITH SCORE 2.2749070422E7
AT ITER 617 NEW BEST:: SOT 123268208 SOS 80225902 HAS SOPS 65314787 HAS SOUS 23235823 HAS SOUPS 22662717 WITH SCORE 2.2742942902E7
AT ITER 623 NEW BEST:: SOT 123264523 SOS 80224399 HAS SOPS 65309164 HAS SOUS 23226762 HAS SOUPS 22653656 WITH SCORE 2.2733880399E7
AT ITER 627 NEW BEST:: SOT 123266785 SOS 80233073 HAS SOPS 65316908 HAS SOUS 23226011 HAS SOUPS 22653023 WITH SCORE 2.2733256073E7
AT ITER 631 NEW BEST:: SOT 123267622 SOS 80236660 HAS SOPS 65316318 HAS SOUS 23225120 HAS SOUPS 22651912 WITH SCORE 2.273214866E7
AT ITER 633 NEW BEST:: SOT 123267033 SOS 80235375 HAS SOPS 65318513 HAS SOUS 23216991 HAS SOUPS 22643783 WITH SCORE 2.2724018375E7
AT ITER 640 NEW BEST:: SOT 123264599 SOS 80231688 HAS SOPS 65319525 HAS SOUS 23213722 HAS SOUPS 22640514 WITH SCORE 2.2720745688E7
AT ITER 644 NEW BEST:: SOT 123388214 SOS 80427029 HAS SOPS 65498783 HAS SOUS 23196904 HAS SOUPS 22623775 WITH SCORE 2.2704202029E7
AT ITER 647 NEW BEST:: SOT 123388409 SOS 80435712 HAS SOPS 65504198 HAS SOUS 23190810 HAS SOUPS 22617681 WITH SCORE 2.2698116712E7
AT ITER 656 NEW BEST:: SOT 123382609 SOS 80431706 HAS SOPS 65496779 HAS SOUS 23168839 HAS SOUPS 22595710 WITH SCORE 2.2676141706E7
AT ITER 662 NEW BEST:: SOT 123379043 SOS 80433231 HAS SOPS 65488775 HAS SOUS 23145891 HAS SOUPS 22572762 WITH SCORE 2.2653195231E7
AT ITER 669 NEW BEST:: SOT 123379512 SOS 80435954 HAS SOPS 65490889 HAS SOUS 23146045 HAS SOUPS 22572671 WITH SCORE 2.2653106954E7
AT ITER 672 NEW BEST:: SOT 123378723 SOS 80432654 HAS SOPS 65486485 HAS SOUS 23145534 HAS SOUPS 22572160 WITH SCORE 2.2652592654E7
AT ITER 673 NEW BEST:: SOT 123383602 SOS 80437453 HAS SOPS 65485774 HAS SOUS 23144125 HAS SOUPS 22570422 WITH SCORE 2.2650859453E7
AT ITER 676 NEW BEST:: SOT 123404267 SOS 80498198 HAS SOPS 65532224 HAS SOUS 23136094 HAS SOUPS 22562391 WITH SCORE 2.2642889198E7
AT ITER 681 NEW BEST:: SOT 123394838 SOS 80488769 HAS SOPS 65522563 HAS SOUS 23133017 HAS SOUPS 22559314 WITH SCORE 2.2639802769E7
AT ITER 684 NEW BEST:: SOT 123456380 SOS 80563930 HAS SOPS 65598001 HAS SOUS 23094559 HAS SOUPS 22510538 WITH SCORE 2.259110193E7
AT ITER 698 NEW BEST:: SOT 123455908 SOS 80563386 HAS SOPS 65597305 HAS SOUS 23093693 HAS SOUPS 22509672 WITH SCORE 2.2590235386E7
AT ITER 704 NEW BEST:: SOT 123459964 SOS 80578326 HAS SOPS 65600600 HAS SOUS 23071105 HAS SOUPS 22487084 WITH SCORE 2.2567662326E7
AT ITER 733 NEW BEST:: SOT 123463773 SOS 80587969 HAS SOPS 65613844 HAS SOUS 23058145 HAS SOUPS 22474124 WITH SCORE 2.2554711969E7
AT ITER 737 NEW BEST:: SOT 123462202 SOS 80585918 HAS SOPS 65611683 HAS SOUS 23055674 HAS SOUPS 22471653 WITH SCORE 2.2552238918E7
AT ITER 756 NEW BEST:: SOT 123468371 SOS 80602901 HAS SOPS 65643290 HAS SOUS 23035019 HAS SOUPS 22450998 WITH SCORE 2.2531600901E7
AT ITER 759 NEW BEST:: SOT 123470249 SOS 80611857 HAS SOPS 65647566 HAS SOUS 23024619 HAS SOUPS 22440598 WITH SCORE 2.2521209857E7
AT ITER 776 NEW BEST:: SOT 123464395 SOS 80606625 HAS SOPS 65639302 HAS SOUS 23017153 HAS SOUPS 22431660 WITH SCORE 2.2512266625E7
AT ITER 778 NEW BEST:: SOT 123464693 SOS 80607562 HAS SOPS 65639946 HAS SOUS 23016847 HAS SOUPS 22431354 WITH SCORE 2.2511961562E7
AT ITER 796 NEW BEST:: SOT 123497364 SOS 80688709 HAS SOPS 65738969 HAS SOUS 22959497 HAS SOUPS 22374539 WITH SCORE 2.2455227709E7
AT ITER 811 NEW BEST:: SOT 123497343 SOS 80684958 HAS SOPS 65736381 HAS SOUS 22959438 HAS SOUPS 22374480 WITH SCORE 2.2455164958E7
AT ITER 813 NEW BEST:: SOT 123498160 SOS 80685055 HAS SOPS 65736615 HAS SOUS 22959101 HAS SOUPS 22374150 WITH SCORE 2.2454835055E7
AT ITER 828 NEW BEST:: SOT 123496951 SOS 80683838 HAS SOPS 65733764 HAS SOUS 22956923 HAS SOUPS 22371972 WITH SCORE 2.2452655838E7
AT ITER 834 NEW BEST:: SOT 123494980 SOS 80684555 HAS SOPS 65745834 HAS SOUS 22943579 HAS SOUPS 22358866 WITH SCORE 2.2439550555E7
AT ITER 835 NEW BEST:: SOT 123495004 SOS 80684184 HAS SOPS 65746361 HAS SOUS 22943543 HAS SOUPS 22358849 WITH SCORE 2.2439533184E7
AT ITER 838 NEW BEST:: SOT 123495656 SOS 80691334 HAS SOPS 65754381 HAS SOUS 22937385 HAS SOUPS 22352691 WITH SCORE 2.2433382334E7
AT ITER 840 NEW BEST:: SOT 123488843 SOS 80710886 HAS SOPS 65779812 HAS SOUS 22932656 HAS SOUPS 22347962 WITH SCORE 2.2428672886E7
AT ITER 855 NEW BEST:: SOT 123479761 SOS 80685746 HAS SOPS 65756546 HAS SOUS 22915070 HAS SOUPS 22331871 WITH SCORE 2.2412556746E7
AT ITER 856 NEW BEST:: SOT 123479838 SOS 80706503 HAS SOPS 65791703 HAS SOUS 22914995 HAS SOUPS 22331796 WITH SCORE 2.2412502503E7
AT ITER 857 NEW BEST:: SOT 123492365 SOS 80772150 HAS SOPS 65817757 HAS SOUS 22863187 HAS SOUPS 22279741 WITH SCORE 2.236051315E7
AT ITER 864 NEW BEST:: SOT 123455760 SOS 80735017 HAS SOPS 65774346 HAS SOUS 22856140 HAS SOUPS 22272059 WITH SCORE 2.2352794017E7
AT ITER 867 NEW BEST:: SOT 123451982 SOS 80729200 HAS SOPS 65766478 HAS SOUS 22846673 HAS SOUPS 22262592 WITH SCORE 2.23433212E7
AT ITER 889 NEW BEST:: SOT 123452828 SOS 80733996 HAS SOPS 65768402 HAS SOUS 22842030 HAS SOUPS 22257949 WITH SCORE 2.2338682996E7
AT ITER 897 NEW BEST:: SOT 123477663 SOS 80774907 HAS SOPS 65798100 HAS SOUS 22836616 HAS SOUPS 22252535 WITH SCORE 2.2333309907E7
AT ITER 905 NEW BEST:: SOT 123477663 SOS 80791131 HAS SOPS 65818996 HAS SOUS 22836497 HAS SOUPS 22252416 WITH SCORE 2.2333207131E7
AT ITER 912 NEW BEST:: SOT 123454255 SOS 80765931 HAS SOPS 65795062 HAS SOUS 22810025 HAS SOUPS 22226352 WITH SCORE 2.2307117931E7
AT ITER 914 NEW BEST:: SOT 123452437 SOS 80760731 HAS SOPS 65797006 HAS SOUS 22807533 HAS SOUPS 22223860 WITH SCORE 2.2304620731E7
AT ITER 921 NEW BEST:: SOT 123448932 SOS 80759213 HAS SOPS 65791017 HAS SOUS 22797922 HAS SOUPS 22214249 WITH SCORE 2.2295008213E7
AT ITER 925 NEW BEST:: SOT 123444692 SOS 80754256 HAS SOPS 65784494 HAS SOUS 22793346 HAS SOUPS 22209673 WITH SCORE 2.2290427256E7
AT ITER 928 NEW BEST:: SOT 123457441 SOS 80791385 HAS SOPS 65818360 HAS SOUS 22781199 HAS SOUPS 22197526 WITH SCORE 2.2278317385E7
AT ITER 941 NEW BEST:: SOT 123455169 SOS 80786235 HAS SOPS 65814867 HAS SOUS 22776023 HAS SOUPS 22192410 WITH SCORE 2.2273196235E7
AT ITER 948 NEW BEST:: SOT 123449707 SOS 80789770 HAS SOPS 65811912 HAS SOUS 22772115 HAS SOUPS 22188502 WITH SCORE 2.226929177E7
AT ITER 954 NEW BEST:: SOT 123446762 SOS 80782754 HAS SOPS 65803910 HAS SOUS 22771308 HAS SOUPS 22187695 WITH SCORE 2.2268477754E7
AT ITER 963 NEW BEST:: SOT 123438270 SOS 80768714 HAS SOPS 65794674 HAS SOUS 22759127 HAS SOUPS 22176484 WITH SCORE 2.2257252714E7
AT ITER 968 NEW BEST:: SOT 123437583 SOS 80767642 HAS SOPS 65794460 HAS SOUS 22758235 HAS SOUPS 22175631 WITH SCORE 2.2256398642E7
AT ITER 971 NEW BEST:: SOT 123423465 SOS 80741227 HAS SOPS 65775888 HAS SOUS 22744618 HAS SOUPS 22162149 WITH SCORE 2.2242890227E7
AT ITER 974 NEW BEST:: SOT 123388449 SOS 80701811 HAS SOPS 65738474 HAS SOUS 22709254 HAS SOUPS 22126951 WITH SCORE 2.2207652811E7
AT ITER 979 NEW BEST:: SOT 123402726 SOS 80743218 HAS SOPS 65775214 HAS SOUS 22686529 HAS SOUPS 22104235 WITH SCORE 2.2184978218E7
AT ITER 989 NEW BEST:: SOT 123401080 SOS 80741648 HAS SOPS 65774537 HAS SOUS 22684489 HAS SOUPS 22102195 WITH SCORE 2.2182936648E7
AT ITER 992 NEW BEST:: SOT 123403777 SOS 80747426 HAS SOPS 65778021 HAS SOUS 22682083 HAS SOUPS 22099925 WITH SCORE 2.2180672426E7
AT ITER 994 NEW BEST:: SOT 123415859 SOS 80778696 HAS SOPS 65822917 HAS SOUS 22681519 HAS SOUPS 22099262 WITH SCORE 2.2180040696E7
AT ITER 1013 NEW BEST:: SOT 123413934 SOS 80776090 HAS SOPS 65820640 HAS SOUS 22677164 HAS SOUPS 22094907 WITH SCORE 2.217568309E7
AT ITER 1014 NEW BEST:: SOT 123387735 SOS 80738300 HAS SOPS 65779605 HAS SOUS 22643104 HAS SOUPS 22060847 WITH SCORE 2.21415853E7
AT ITER 1026 NEW BEST:: SOT 123400477 SOS 80755218 HAS SOPS 65800134 HAS SOUS 22638837 HAS SOUPS 22056800 WITH SCORE 2.2137555218E7
AT ITER 1031 NEW BEST:: SOT 123399192 SOS 80751457 HAS SOPS 65780800 HAS SOUS 22591217 HAS SOUPS 22009180 WITH SCORE 2.2089931457E7
AT ITER 1033 NEW BEST:: SOT 123396951 SOS 80749129 HAS SOPS 65778684 HAS SOUS 22585387 HAS SOUPS 22003378 WITH SCORE 2.2084127129E7
AT ITER 1037 NEW BEST:: SOT 123388962 SOS 80740841 HAS SOPS 65760502 HAS SOUS 22554266 HAS SOUPS 21972180 WITH SCORE 2.2052920841E7
AT ITER 1039 NEW BEST:: SOT 123388874 SOS 80740664 HAS SOPS 65760318 HAS SOUS 22554249 HAS SOUPS 21972163 WITH SCORE 2.2052903664E7
AT ITER 1040 NEW BEST:: SOT 123388230 SOS 80740652 HAS SOPS 65758450 HAS SOUS 22552771 HAS SOUPS 21970685 WITH SCORE 2.2051425652E7
AT ITER 1044 NEW BEST:: SOT 123388648 SOS 80741276 HAS SOPS 65758967 HAS SOUS 22551351 HAS SOUPS 21969265 WITH SCORE 2.2050006276E7
AT ITER 1058 NEW BEST:: SOT 123394671 SOS 80765988 HAS SOPS 65774767 HAS SOUS 22523311 HAS SOUPS 21941225 WITH SCORE 2.2021990988E7
AT ITER 1061 NEW BEST:: SOT 123396163 SOS 80808869 HAS SOPS 65818729 HAS SOUS 22522303 HAS SOUPS 21940217 WITH SCORE 2.2021025869E7
AT ITER 1117 NEW BEST:: SOT 123393857 SOS 80792549 HAS SOPS 65805235 HAS SOUS 22509125 HAS SOUPS 21927039 WITH SCORE 2.2007831549E7
AT ITER 1125 NEW BEST:: SOT 123393204 SOS 80790527 HAS SOPS 65802764 HAS SOUS 22507126 HAS SOUPS 21925040 WITH SCORE 2.2005830527E7
AT ITER 1134 NEW BEST:: SOT 123381613 SOS 80770999 HAS SOPS 65778206 HAS SOUS 22494057 HAS SOUPS 21911971 WITH SCORE 2.1992741999E7
AT ITER 1137 NEW BEST:: SOT 123378784 SOS 80765504 HAS SOPS 65771463 HAS SOUS 22492185 HAS SOUPS 21910099 WITH SCORE 2.1990864504E7
AT ITER 1168 NEW BEST:: SOT 123392960 SOS 80784520 HAS SOPS 65783407 HAS SOUS 22486110 HAS SOUPS 21904024 WITH SCORE 2.198480852E7
AT ITER 1178 NEW BEST:: SOT 123410436 SOS 80836099 HAS SOPS 65825029 HAS SOUS 22473931 HAS SOUPS 21891759 WITH SCORE 2.1972595099E7
AT ITER 1186 NEW BEST:: SOT 123462954 SOS 80900062 HAS SOPS 65877201 HAS SOUS 22476014 HAS SOUPS 21890435 WITH SCORE 2.1971335062E7
AT ITER 1187 NEW BEST:: SOT 123470466 SOS 80916493 HAS SOPS 65884521 HAS SOUS 22456140 HAS SOUPS 21870561 WITH SCORE 2.1951477493E7
AT ITER 1192 NEW BEST:: SOT 123473133 SOS 80918534 HAS SOPS 65884956 HAS SOUS 22453247 HAS SOUPS 21866357 WITH SCORE 2.1947275534E7
AT ITER 1207 NEW BEST:: SOT 123489423 SOS 80928580 HAS SOPS 65916127 HAS SOUS 22448738 HAS SOUPS 21860392 WITH SCORE 2.194132058E7
AT ITER 1210 NEW BEST:: SOT 123489333 SOS 80928492 HAS SOPS 65916046 HAS SOUS 22448567 HAS SOUPS 21860221 WITH SCORE 2.1941149492E7
AT ITER 1235 NEW BEST:: SOT 123488735 SOS 80927977 HAS SOPS 65911765 HAS SOUS 22446142 HAS SOUPS 21857923 WITH SCORE 2.1938850977E7
AT ITER 1239 NEW BEST:: SOT 123456265 SOS 80862889 HAS SOPS 65857429 HAS SOUS 22422270 HAS SOUPS 21834051 WITH SCORE 2.1914913889E7
AT ITER 1240 NEW BEST:: SOT 123442654 SOS 80827818 HAS SOPS 65839207 HAS SOUS 22413721 HAS SOUPS 21825502 WITH SCORE 2.1906329818E7
AT ITER 1248 NEW BEST:: SOT 123444927 SOS 80830134 HAS SOPS 65846498 HAS SOUS 22411799 HAS SOUPS 21823580 WITH SCORE 2.1904410134E7
AT ITER 1262 NEW BEST:: SOT 123441091 SOS 80826090 HAS SOPS 65838785 HAS SOUS 22401631 HAS SOUPS 21813361 WITH SCORE 2.189418709E7
AT ITER 1265 NEW BEST:: SOT 123422721 SOS 80800332 HAS SOPS 65816072 HAS SOUS 22364244 HAS SOUPS 21775974 WITH SCORE 2.1856774332E7
AT ITER 1266 NEW BEST:: SOT 123418816 SOS 80801687 HAS SOPS 65814748 HAS SOUS 22351104 HAS SOUPS 21762834 WITH SCORE 2.1843635687E7
AT ITER 1269 NEW BEST:: SOT 123410749 SOS 80794284 HAS SOPS 65809291 HAS SOUS 22346208 HAS SOUPS 21757938 WITH SCORE 2.1838732284E7
AT ITER 1277 NEW BEST:: SOT 123458339 SOS 80874387 HAS SOPS 65897408 HAS SOUS 22335764 HAS SOUPS 21748668 WITH SCORE 2.1829542387E7
AT ITER 1282 NEW BEST:: SOT 123456234 SOS 80871756 HAS SOPS 65893627 HAS SOUS 22329692 HAS SOUPS 21742596 WITH SCORE 2.1823467756E7
AT ITER 1299 NEW BEST:: SOT 123453197 SOS 80876166 HAS SOPS 65891274 HAS SOUS 22302942 HAS SOUPS 21715846 WITH SCORE 2.1796722166E7
AT ITER 1313 NEW BEST:: SOT 123457779 SOS 80872709 HAS SOPS 65872313 HAS SOUS 22294912 HAS SOUPS 21705475 WITH SCORE 2.1786347709E7
AT ITER 1314 NEW BEST:: SOT 123471561 SOS 80908696 HAS SOPS 65923415 HAS SOUS 22268529 HAS SOUPS 21679092 WITH SCORE 2.1760000696E7
AT ITER 1324 NEW BEST:: SOT 123463170 SOS 80898234 HAS SOPS 65914752 HAS SOUS 22255951 HAS SOUPS 21666483 WITH SCORE 2.1747381234E7
AT ITER 1335 NEW BEST:: SOT 123463065 SOS 80898339 HAS SOPS 65914437 HAS SOUS 22254921 HAS SOUPS 21665453 WITH SCORE 2.1746351339E7
AT ITER 1337 NEW BEST:: SOT 123448586 SOS 80889042 HAS SOPS 65901924 HAS SOUS 22248317 HAS SOUPS 21658592 WITH SCORE 2.1739481042E7
AT ITER 1352 NEW BEST:: SOT 123448586 SOS 80892682 HAS SOPS 65906451 HAS SOUS 22248095 HAS SOUPS 21658370 WITH SCORE 2.1739262682E7
AT ITER 1356 NEW BEST:: SOT 123446040 SOS 80893514 HAS SOPS 65907352 HAS SOUS 22241779 HAS SOUPS 21652054 WITH SCORE 2.1732947514E7
AT ITER 1360 NEW BEST:: SOT 123445845 SOS 80893244 HAS SOPS 65906942 HAS SOUS 22241789 HAS SOUPS 21652019 WITH SCORE 2.1732912244E7
AT ITER 1363 NEW BEST:: SOT 123457768 SOS 80918281 HAS SOPS 65930225 HAS SOUS 22239108 HAS SOUPS 21649338 WITH SCORE 2.1730256281E7
AT ITER 1372 NEW BEST:: SOT 123458199 SOS 80918589 HAS SOPS 65928852 HAS SOUS 22237455 HAS SOUPS 21647685 WITH SCORE 2.1728603589E7
AT ITER 1373 NEW BEST:: SOT 123446939 SOS 80907440 HAS SOPS 65913594 HAS SOUS 22204523 HAS SOUPS 21614753 WITH SCORE 2.169566044E7
AT ITER 1375 NEW BEST:: SOT 123413530 SOS 80829587 HAS SOPS 65876268 HAS SOUS 22171051 HAS SOUPS 21581837 WITH SCORE 2.1662666587E7
AT ITER 1376 NEW BEST:: SOT 123413698 SOS 80838046 HAS SOPS 65887074 HAS SOUS 22170089 HAS SOUPS 21580875 WITH SCORE 2.1661713046E7
AT ITER 1380 NEW BEST:: SOT 123413362 SOS 80831509 HAS SOPS 65878535 HAS SOUS 22165317 HAS SOUPS 21576103 WITH SCORE 2.1656934509E7
AT ITER 1383 NEW BEST:: SOT 123429075 SOS 80877809 HAS SOPS 65918028 HAS SOUS 22154449 HAS SOUPS 21565235 WITH SCORE 2.1646112809E7
AT ITER 1393 NEW BEST:: SOT 123430131 SOS 80882777 HAS SOPS 65921044 HAS SOUS 22151033 HAS SOUPS 21561787 WITH SCORE 2.1642669777E7
AT ITER 1397 NEW BEST:: SOT 123429637 SOS 80901454 HAS SOPS 65956210 HAS SOUS 22148301 HAS SOUPS 21559055 WITH SCORE 2.1639956454E7
AT ITER 1398 NEW BEST:: SOT 123414853 SOS 80885231 HAS SOPS 65942101 HAS SOUS 22111764 HAS SOUPS 21522764 WITH SCORE 2.1603649231E7
AT ITER 1411 NEW BEST:: SOT 123411813 SOS 80882640 HAS SOPS 65936103 HAS SOUS 22103080 HAS SOUPS 21514080 WITH SCORE 2.159496264E7
AT ITER 1422 NEW BEST:: SOT 123411355 SOS 80885417 HAS SOPS 65942764 HAS SOUS 22091074 HAS SOUPS 21501923 WITH SCORE 2.1582808417E7
AT ITER 1429 NEW BEST:: SOT 123415637 SOS 80890444 HAS SOPS 65932566 HAS SOUS 22078263 HAS SOUPS 21489112 WITH SCORE 2.1570002444E7
AT ITER 1438 NEW BEST:: SOT 123424725 SOS 80901057 HAS SOPS 65939937 HAS SOUS 22075195 HAS SOUPS 21486044 WITH SCORE 2.1566945057E7
AT ITER 1448 NEW BEST:: SOT 123424725 SOS 80906849 HAS SOPS 65948193 HAS SOUS 22075118 HAS SOUPS 21485967 WITH SCORE 2.1566873849E7
AT ITER 1473 NEW BEST:: SOT 123423539 SOS 80906496 HAS SOPS 65947653 HAS SOUS 22073541 HAS SOUPS 21484390 WITH SCORE 2.1565296496E7
AT ITER 1474 NEW BEST:: SOT 123425730 SOS 80912234 HAS SOPS 65953260 HAS SOUS 22069819 HAS SOUPS 21480668 WITH SCORE 2.1561580234E7
AT ITER 1476 NEW BEST:: SOT 123419839 SOS 80899035 HAS SOPS 65939252 HAS SOUS 22066188 HAS SOUPS 21477037 WITH SCORE 2.1557936035E7
AT ITER 1493 NEW BEST:: SOT 123418594 SOS 80894614 HAS SOPS 65936000 HAS SOUS 22065547 HAS SOUPS 21476396 WITH SCORE 2.1557290614E7
AT ITER 1509 NEW BEST:: SOT 123417542 SOS 80892869 HAS SOPS 65935341 HAS SOUS 22062313 HAS SOUPS 21473080 WITH SCORE 2.1553972869E7
AT ITER 1522 NEW BEST:: SOT 123417768 SOS 80892501 HAS SOPS 65933968 HAS SOUS 22062156 HAS SOUPS 21472923 WITH SCORE 2.1553815501E7
AT ITER 1536 NEW BEST:: SOT 123410938 SOS 80880716 HAS SOPS 65920503 HAS SOUS 22053476 HAS SOUPS 21464283 WITH SCORE 2.1545163716E7
AT ITER 1540 NEW BEST:: SOT 123419897 SOS 80893041 HAS SOPS 65935988 HAS SOUS 22037157 HAS SOUPS 21448340 WITH SCORE 2.1529233041E7
AT ITER 1547 NEW BEST:: SOT 123372172 SOS 80844716 HAS SOPS 65885586 HAS SOUS 21982081 HAS SOUPS 21392946 WITH SCORE 2.1473790716E7
AT ITER 1550 NEW BEST:: SOT 123361367 SOS 80833993 HAS SOPS 65874781 HAS SOUS 21971482 HAS SOUPS 21382315 WITH SCORE 2.1463148993E7
AT ITER 1559 NEW BEST:: SOT 123361149 SOS 80833775 HAS SOPS 65874531 HAS SOUS 21971184 HAS SOUPS 21381985 WITH SCORE 2.1462818775E7
AT ITER 1568 NEW BEST:: SOT 123360483 SOS 80829031 HAS SOPS 65890437 HAS SOUS 21967162 HAS SOUPS 21377963 WITH SCORE 2.1458792031E7
AT ITER 1582 NEW BEST:: SOT 123360710 SOS 80839322 HAS SOPS 65904952 HAS SOUS 21967115 HAS SOUPS 21377916 WITH SCORE 2.1458755322E7
AT ITER 1589 NEW BEST:: SOT 123362138 SOS 80840761 HAS SOPS 65905043 HAS SOUS 21961257 HAS SOUPS 21372499 WITH SCORE 2.1453339761E7
AT ITER 1602 NEW BEST:: SOT 123361438 SOS 80840713 HAS SOPS 65905069 HAS SOUS 21956571 HAS SOUPS 21367813 WITH SCORE 2.1448653713E7
AT ITER 1604 NEW BEST:: SOT 123361385 SOS 80840111 HAS SOPS 65906040 HAS SOUS 21956451 HAS SOUPS 21367693 WITH SCORE 2.1448533111E7
AT ITER 1621 NEW BEST:: SOT 123367703 SOS 80851447 HAS SOPS 65911352 HAS SOUS 21955820 HAS SOUPS 21366986 WITH SCORE 2.1447837447E7
AT ITER 1624 NEW BEST:: SOT 123367591 SOS 80851318 HAS SOPS 65911192 HAS SOUS 21955585 HAS SOUPS 21366751 WITH SCORE 2.1447602318E7
AT ITER 1638 NEW BEST:: SOT 123365529 SOS 80847714 HAS SOPS 65906451 HAS SOUS 21947835 HAS SOUPS 21359001 WITH SCORE 2.1439848714E7
AT ITER 1658 NEW BEST:: SOT 123365066 SOS 80847010 HAS SOPS 65905711 HAS SOUS 21946911 HAS SOUPS 21358077 WITH SCORE 2.143892401E7
AT ITER 1662 NEW BEST:: SOT 123365484 SOS 80845548 HAS SOPS 65902801 HAS SOUS 21943663 HAS SOUPS 21354899 WITH SCORE 2.1435744548E7
AT ITER 1664 NEW BEST:: SOT 123361477 SOS 80840038 HAS SOPS 65894616 HAS SOUS 21934731 HAS SOUPS 21345967 WITH SCORE 2.1426807038E7
AT ITER 1665 NEW BEST:: SOT 123360338 SOS 80838007 HAS SOPS 65893447 HAS SOUS 21933954 HAS SOUPS 21345190 WITH SCORE 2.1426028007E7
AT ITER 1671 NEW BEST:: SOT 123357285 SOS 80832977 HAS SOPS 65886906 HAS SOUS 21932639 HAS SOUPS 21343875 WITH SCORE 2.1424707977E7
AT ITER 1678 NEW BEST:: SOT 123357572 SOS 80843357 HAS SOPS 65902070 HAS SOUS 21932402 HAS SOUPS 21343638 WITH SCORE 2.1424481357E7
AT ITER 1680 NEW BEST:: SOT 123357572 SOS 80843312 HAS SOPS 65902025 HAS SOUS 21932396 HAS SOUPS 21343632 WITH SCORE 2.1424475312E7
AT ITER 1707 NEW BEST:: SOT 123356989 SOS 80842708 HAS SOPS 65901463 HAS SOUS 21930448 HAS SOUPS 21341705 WITH SCORE 2.1422547708E7
AT ITER 1711 NEW BEST:: SOT 123356897 SOS 80842616 HAS SOPS 65901307 HAS SOUS 21930452 HAS SOUPS 21341677 WITH SCORE 2.1422519616E7
AT ITER 1712 NEW BEST:: SOT 123335133 SOS 80838969 HAS SOPS 65897597 HAS SOUS 21923881 HAS SOUPS 21334749 WITH SCORE 2.1415587969E7
AT ITER 1723 NEW BEST:: SOT 123324455 SOS 80827710 HAS SOPS 65886438 HAS SOUS 21902984 HAS SOUPS 21313902 WITH SCORE 2.139472971E7
AT ITER 1728 NEW BEST:: SOT 123324066 SOS 80827161 HAS SOPS 65887593 HAS SOUS 21900336 HAS SOUPS 21311638 WITH SCORE 2.1392465161E7
AT ITER 1731 NEW BEST:: SOT 123333215 SOS 80860450 HAS SOPS 65919785 HAS SOUS 21896397 HAS SOUPS 21307699 WITH SCORE 2.138855945E7
AT ITER 1733 NEW BEST:: SOT 123301547 SOS 80786197 HAS SOPS 65865641 HAS SOUS 21873388 HAS SOUPS 21286245 WITH SCORE 2.1367031197E7
AT ITER 1734 NEW BEST:: SOT 123307377 SOS 80796186 HAS SOPS 65869678 HAS SOUS 21867574 HAS SOUPS 21280596 WITH SCORE 2.1361392186E7
AT ITER 1743 NEW BEST:: SOT 123302519 SOS 80787992 HAS SOPS 65864324 HAS SOUS 21863590 HAS SOUPS 21276612 WITH SCORE 2.1357399992E7
AT ITER 1747 NEW BEST:: SOT 123269347 SOS 80720135 HAS SOPS 65803199 HAS SOUS 21815784 HAS SOUPS 21230867 WITH SCORE 2.1311587135E7
AT ITER 1758 NEW BEST:: SOT 123277294 SOS 80744123 HAS SOPS 65823929 HAS SOUS 21812423 HAS SOUPS 21227506 WITH SCORE 2.1308250123E7
AT ITER 1774 NEW BEST:: SOT 123277333 SOS 80747792 HAS SOPS 65826143 HAS SOUS 21811357 HAS SOUPS 21226440 WITH SCORE 2.1307187792E7
AT ITER 1776 NEW BEST:: SOT 123277333 SOS 80749588 HAS SOPS 65827041 HAS SOUS 21811171 HAS SOUPS 21226254 WITH SCORE 2.1307003588E7
AT ITER 1788 NEW BEST:: SOT 123274866 SOS 80747092 HAS SOPS 65822718 HAS SOUS 21804064 HAS SOUPS 21219147 WITH SCORE 2.1299894092E7
AT ITER 1794 NEW BEST:: SOT 123269211 SOS 80741437 HAS SOPS 65817063 HAS SOUS 21798217 HAS SOUPS 21213300 WITH SCORE 2.1294041437E7
AT ITER 1800 NEW BEST:: SOT 123261886 SOS 80732502 HAS SOPS 65805124 HAS SOUS 21777945 HAS SOUPS 21193028 WITH SCORE 2.1273760502E7
AT ITER 1862 NEW BEST:: SOT 123265116 SOS 80764780 HAS SOPS 65852683 HAS SOUS 21776289 HAS SOUPS 21191638 WITH SCORE 2.127240278E7
AT ITER 1864 NEW BEST:: SOT 123258830 SOS 80745980 HAS SOPS 65838801 HAS SOUS 21773669 HAS SOUPS 21189018 WITH SCORE 2.126976398E7
AT ITER 1873 NEW BEST:: SOT 123240546 SOS 80720426 HAS SOPS 65812780 HAS SOUS 21752088 HAS SOUPS 21167567 WITH SCORE 2.1248287426E7
AT ITER 1884 NEW BEST:: SOT 123257142 SOS 80762638 HAS SOPS 65841135 HAS SOUS 21742073 HAS SOUPS 21157516 WITH SCORE 2.1238278638E7
AT ITER 1887 NEW BEST:: SOT 123252908 SOS 80754437 HAS SOPS 65836838 HAS SOUS 21740561 HAS SOUPS 21156057 WITH SCORE 2.1236811437E7
AT ITER 1895 NEW BEST:: SOT 123252738 SOS 80754187 HAS SOPS 65836733 HAS SOUS 21740386 HAS SOUPS 21155877 WITH SCORE 2.1236631187E7
AT ITER 1913 NEW BEST:: SOT 123257169 SOS 80760175 HAS SOPS 65847156 HAS SOUS 21739082 HAS SOUPS 21154623 WITH SCORE 2.1235383175E7
AT ITER 1918 NEW BEST:: SOT 123246213 SOS 80739795 HAS SOPS 65841742 HAS SOUS 21734639 HAS SOUPS 21150353 WITH SCORE 2.1231092795E7
AT ITER 1942 NEW BEST:: SOT 123251016 SOS 80745179 HAS SOPS 65845317 HAS SOUS 21734467 HAS SOUPS 21150181 WITH SCORE 2.1230926179E7
AT ITER 1962 NEW BEST:: SOT 123237286 SOS 80715852 HAS SOPS 65871681 HAS SOUS 21726044 HAS SOUPS 21141758 WITH SCORE 2.1222473852E7
AT ITER 1963 NEW BEST:: SOT 123233676 SOS 80713735 HAS SOPS 65868209 HAS SOUS 21715168 HAS SOUPS 21130882 WITH SCORE 2.1211595735E7
AT ITER 1976 NEW BEST:: SOT 123232605 SOS 80713356 HAS SOPS 65867830 HAS SOUS 21714342 HAS SOUPS 21130056 WITH SCORE 2.1210769356E7
AT ITER 1981 NEW BEST:: SOT 123222570 SOS 80699672 HAS SOPS 65854279 HAS SOUS 21702141 HAS SOUPS 21117954 WITH SCORE 2.1198653672E7
AT ITER 1982 NEW BEST:: SOT 123201275 SOS 80676173 HAS SOPS 65825644 HAS SOUS 21659066 HAS SOUPS 21074941 WITH SCORE 2.1155617173E7
AT ITER 1988 NEW BEST:: SOT 123197497 SOS 80676569 HAS SOPS 65822198 HAS SOUS 21652415 HAS SOUPS 21068290 WITH SCORE 2.1148966569E7
AT ITER 1998 NEW BEST:: SOT 123196353 SOS 80670815 HAS SOPS 65816242 HAS SOUS 21641254 HAS SOUPS 21057129 WITH SCORE 2.1137799815E7
AT ITER 2005 NEW BEST:: SOT 123196353 SOS 80673306 HAS SOPS 65819917 HAS SOUS 21641183 HAS SOUPS 21057058 WITH SCORE 2.1137731306E7
AT ITER 2022 NEW BEST:: SOT 123196699 SOS 80673399 HAS SOPS 65819986 HAS SOUS 21640739 HAS SOUPS 21056621 WITH SCORE 2.1137294399E7
AT ITER 2035 NEW BEST:: SOT 123219739 SOS 80709679 HAS SOPS 65853382 HAS SOUS 21634803 HAS SOUPS 21050685 WITH SCORE 2.1131394679E7
AT ITER 2044 NEW BEST:: SOT 123219739 SOS 80710123 HAS SOPS 65853730 HAS SOUS 21634791 HAS SOUPS 21050673 WITH SCORE 2.1131383123E7
AT ITER 2046 NEW BEST:: SOT 123219657 SOS 80710124 HAS SOPS 65854146 HAS SOUS 21634060 HAS SOUPS 21049928 WITH SCORE 2.1130638124E7
AT ITER 2048 NEW BEST:: SOT 123223083 SOS 80723503 HAS SOPS 65853157 HAS SOUS 21612339 HAS SOUPS 21028132 WITH SCORE 2.1108855503E7
AT ITER 2075 NEW BEST:: SOT 123199113 SOS 80699887 HAS SOPS 65816414 HAS SOUS 21561654 HAS SOUPS 20977447 WITH SCORE 2.1058146887E7
AT ITER 2083 NEW BEST:: SOT 123168149 SOS 80664706 HAS SOPS 65781351 HAS SOUS 21489366 HAS SOUPS 20905159 WITH SCORE 2.0985823706E7
AT ITER 2095 NEW BEST:: SOT 123168058 SOS 80664021 HAS SOPS 65780184 HAS SOUS 21488786 HAS SOUPS 20904579 WITH SCORE 2.0985243021E7
AT ITER 2122 NEW BEST:: SOT 123164961 SOS 80662797 HAS SOPS 65782254 HAS SOUS 21481350 HAS SOUPS 20897143 WITH SCORE 2.0977805797E7
AT ITER 2154 NEW BEST:: SOT 123169673 SOS 80676360 HAS SOPS 65791269 HAS SOUS 21470096 HAS SOUPS 20885889 WITH SCORE 2.096656536E7
AT ITER 2167 NEW BEST:: SOT 123175735 SOS 80683036 HAS SOPS 65815851 HAS SOUS 21457722 HAS SOUPS 20873878 WITH SCORE 2.0954561036E7
AT ITER 2169 NEW BEST:: SOT 123189626 SOS 80692490 HAS SOPS 65827929 HAS SOUS 21441253 HAS SOUPS 20857801 WITH SCORE 2.093849349E7
AT ITER 2182 NEW BEST:: SOT 123172040 SOS 80663115 HAS SOPS 65805930 HAS SOUS 21420557 HAS SOUPS 20837234 WITH SCORE 2.0917897115E7
AT ITER 2198 NEW BEST:: SOT 123167420 SOS 80669453 HAS SOPS 65821937 HAS SOUS 21388279 HAS SOUPS 20805269 WITH SCORE 2.0885938453E7
AT ITER 2199 NEW BEST:: SOT 123146758 SOS 80620259 HAS SOPS 65793963 HAS SOUS 21383739 HAS SOUPS 20800729 WITH SCORE 2.0881349259E7
AT ITER 2207 NEW BEST:: SOT 123131078 SOS 80600794 HAS SOPS 65758612 HAS SOUS 21363566 HAS SOUPS 20780556 WITH SCORE 2.0861156794E7
AT ITER 2208 NEW BEST:: SOT 123144369 SOS 80604437 HAS SOPS 65778898 HAS SOUS 21361156 HAS SOUPS 20779263 WITH SCORE 2.0859867437E7
AT ITER 2209 NEW BEST:: SOT 123122415 SOS 80560045 HAS SOPS 65739318 HAS SOUS 21340350 HAS SOUPS 20758454 WITH SCORE 2.0839014045E7
AT ITER 2212 NEW BEST:: SOT 123121407 SOS 80558942 HAS SOPS 65737702 HAS SOUS 21338360 HAS SOUPS 20756464 WITH SCORE 2.0837022942E7
AT ITER 2228 NEW BEST:: SOT 123110572 SOS 80546655 HAS SOPS 65727401 HAS SOUS 21309791 HAS SOUPS 20727895 WITH SCORE 2.0808441655E7
AT ITER 2239 NEW BEST:: SOT 123115238 SOS 80559128 HAS SOPS 65737379 HAS SOUS 21299396 HAS SOUPS 20717500 WITH SCORE 2.0798059128E7
AT ITER 2271 NEW BEST:: SOT 123115515 SOS 80573444 HAS SOPS 65762000 HAS SOUS 21298858 HAS SOUPS 20716962 WITH SCORE 2.0797535444E7
AT ITER 2274 NEW BEST:: SOT 123115515 SOS 80576829 HAS SOPS 65771049 HAS SOUS 21298776 HAS SOUPS 20716880 WITH SCORE 2.0797456829E7
AT ITER 2277 NEW BEST:: SOT 123115606 SOS 80577608 HAS SOPS 65771828 HAS SOUS 21298700 HAS SOUPS 20716804 WITH SCORE 2.0797381608E7
AT ITER 2281 NEW BEST:: SOT 123114729 SOS 80577010 HAS SOPS 65773349 HAS SOUS 21295472 HAS SOUPS 20713597 WITH SCORE 2.079417401E7
AT ITER 2323 NEW BEST:: SOT 123146822 SOS 80613979 HAS SOPS 65808057 HAS SOUS 21264782 HAS SOUPS 20682515 WITH SCORE 2.0763128979E7
AT ITER 2336 NEW BEST:: SOT 123146479 SOS 80614633 HAS SOPS 65808204 HAS SOUS 21262853 HAS SOUPS 20680572 WITH SCORE 2.0761186633E7
AT ITER 2344 NEW BEST:: SOT 123135554 SOS 80594116 HAS SOPS 65793673 HAS SOUS 21254882 HAS SOUPS 20672601 WITH SCORE 2.0753195116E7
AT ITER 2347 NEW BEST:: SOT 123114645 SOS 80557896 HAS SOPS 65775781 HAS SOUS 21214011 HAS SOUPS 20633739 WITH SCORE 2.0714296896E7
AT ITER 2350 NEW BEST:: SOT 123098292 SOS 80541543 HAS SOPS 65759428 HAS SOUS 21202802 HAS SOUPS 20622530 WITH SCORE 2.0703071543E7
AT ITER 2359 NEW BEST:: SOT 123098403 SOS 80541663 HAS SOPS 65759195 HAS SOUS 21201809 HAS SOUPS 20621265 WITH SCORE 2.0701806663E7
AT ITER 2364 NEW BEST:: SOT 123097372 SOS 80540632 HAS SOPS 65758164 HAS SOUS 21200938 HAS SOUPS 20620394 WITH SCORE 2.0700934632E7
AT ITER 2374 NEW BEST:: SOT 123093951 SOS 80532553 HAS SOPS 65754119 HAS SOUS 21194838 HAS SOUPS 20614294 WITH SCORE 2.0694826553E7
AT ITER 2388 NEW BEST:: SOT 123064635 SOS 80506069 HAS SOPS 65731813 HAS SOUS 21124180 HAS SOUPS 20543636 WITH SCORE 2.0624142069E7
AT ITER 2394 NEW BEST:: SOT 123066810 SOS 80508078 HAS SOPS 65733128 HAS SOUS 21121092 HAS SOUPS 20540548 WITH SCORE 2.0621056078E7
AT ITER 2404 NEW BEST:: SOT 123063330 SOS 80505298 HAS SOPS 65728923 HAS SOUS 21112572 HAS SOUPS 20531985 WITH SCORE 2.0612490298E7
AT ITER 2409 NEW BEST:: SOT 123060370 SOS 80501363 HAS SOPS 65725892 HAS SOUS 21106619 HAS SOUPS 20526032 WITH SCORE 2.0606533363E7
AT ITER 2411 NEW BEST:: SOT 123056466 SOS 80497472 HAS SOPS 65721988 HAS SOUS 21102728 HAS SOUPS 20522128 WITH SCORE 2.0602625472E7
AT ITER 2429 NEW BEST:: SOT 123033794 SOS 80456280 HAS SOPS 65688558 HAS SOUS 21081675 HAS SOUPS 20501116 WITH SCORE 2.058157228E7
AT ITER 2451 NEW BEST:: SOT 123039706 SOS 80451523 HAS SOPS 65689623 HAS SOUS 21067996 HAS SOUPS 20487437 WITH SCORE 2.0567888523E7
AT ITER 2463 NEW BEST:: SOT 123046494 SOS 80465880 HAS SOPS 65708920 HAS SOUS 21066744 HAS SOUPS 20486354 WITH SCORE 2.056681988E7
AT ITER 2479 NEW BEST:: SOT 123046475 SOS 80476592 HAS SOPS 65728822 HAS SOUS 21066505 HAS SOUPS 20486115 WITH SCORE 2.0566591592E7
AT ITER 2481 NEW BEST:: SOT 123054515 SOS 80489635 HAS SOPS 65733131 HAS SOUS 21052075 HAS SOUPS 20471685 WITH SCORE 2.0552174635E7
AT ITER 2504 NEW BEST:: SOT 123054524 SOS 80493920 HAS SOPS 65741016 HAS SOUS 21052002 HAS SOUPS 20471612 WITH SCORE 2.055210592E7
AT ITER 2507 NEW BEST:: SOT 123054689 SOS 80494141 HAS SOPS 65741418 HAS SOUS 21048893 HAS SOUPS 20468499 WITH SCORE 2.0548993141E7
AT ITER 2557 NEW BEST:: SOT 123073561 SOS 80534025 HAS SOPS 65771078 HAS SOUS 21044669 HAS SOUPS 20464275 WITH SCORE 2.0544809025E7
AT ITER 2569 NEW BEST:: SOT 123074855 SOS 80532970 HAS SOPS 65772737 HAS SOUS 21038552 HAS SOUPS 20458344 WITH SCORE 2.053887697E7
AT ITER 2572 NEW BEST:: SOT 123071939 SOS 80528992 HAS SOPS 65769263 HAS SOUS 21035951 HAS SOUPS 20455548 WITH SCORE 2.0536076992E7
AT ITER 2593 NEW BEST:: SOT 123073654 SOS 80529484 HAS SOPS 65783140 HAS SOUS 21032305 HAS SOUPS 20452802 WITH SCORE 2.0533331484E7
AT ITER 2602 NEW BEST:: SOT 123073256 SOS 80540053 HAS SOPS 65793541 HAS SOUS 21013653 HAS SOUPS 20434116 WITH SCORE 2.0514656053E7
AT ITER 2629 NEW BEST:: SOT 123049104 SOS 80516214 HAS SOPS 65757818 HAS SOUS 20952041 HAS SOUPS 20372504 WITH SCORE 2.0453020214E7
AT ITER 2632 NEW BEST:: SOT 123048059 SOS 80515206 HAS SOPS 65758789 HAS SOUS 20949013 HAS SOUPS 20369539 WITH SCORE 2.0450054206E7
AT ITER 2647 NEW BEST:: SOT 123054620 SOS 80522691 HAS SOPS 65771660 HAS SOUS 20948654 HAS SOUPS 20369335 WITH SCORE 2.0449857691E7
AT ITER 2666 NEW BEST:: SOT 123042594 SOS 80523159 HAS SOPS 65775850 HAS SOUS 20938275 HAS SOUPS 20358684 WITH SCORE 2.0439207159E7
AT ITER 2670 NEW BEST:: SOT 123009222 SOS 80476782 HAS SOPS 65726898 HAS SOUS 20893174 HAS SOUPS 20313583 WITH SCORE 2.0394059782E7
AT ITER 2694 NEW BEST:: SOT 123009263 SOS 80474102 HAS SOPS 65721438 HAS SOUS 20891882 HAS SOUPS 20312291 WITH SCORE 2.0392765102E7
AT ITER 2711 NEW BEST:: SOT 122997395 SOS 80492238 HAS SOPS 65749862 HAS SOUS 20886979 HAS SOUPS 20307388 WITH SCORE 2.0387880238E7
AT ITER 2721 NEW BEST:: SOT 123004249 SOS 80502991 HAS SOPS 65756540 HAS SOUS 20879545 HAS SOUPS 20299954 WITH SCORE 2.0380456991E7
AT ITER 2722 NEW BEST:: SOT 123034400 SOS 80542114 HAS SOPS 65795750 HAS SOUS 20879007 HAS SOUPS 20299416 WITH SCORE 2.0379958114E7
AT ITER 2725 NEW BEST:: SOT 123019155 SOS 80508429 HAS SOPS 65774800 HAS SOUS 20878490 HAS SOUPS 20299004 WITH SCORE 2.0379512429E7
AT ITER 2729 NEW BEST:: SOT 123003292 SOS 80484615 HAS SOPS 65754610 HAS SOUS 20865561 HAS SOUPS 20286075 WITH SCORE 2.0366559615E7
AT ITER 2733 NEW BEST:: SOT 122988195 SOS 80460690 HAS SOPS 65734211 HAS SOUS 20844645 HAS SOUPS 20265216 WITH SCORE 2.034567669E7
AT ITER 2744 NEW BEST:: SOT 122988225 SOS 80463660 HAS SOPS 65737421 HAS SOUS 20844615 HAS SOUPS 20265186 WITH SCORE 2.034564966E7
AT ITER 2775 NEW BEST:: SOT 122986520 SOS 80462386 HAS SOPS 65730761 HAS SOUS 20833960 HAS SOUPS 20254531 WITH SCORE 2.0334993386E7
AT ITER 2811 NEW BEST:: SOT 122977489 SOS 80449428 HAS SOPS 65710799 HAS SOUS 20799921 HAS SOUPS 20220573 WITH SCORE 2.0301022428E7
AT ITER 2826 NEW BEST:: SOT 122974202 SOS 80447848 HAS SOPS 65703540 HAS SOUS 20787273 HAS SOUPS 20207925 WITH SCORE 2.0288372848E7
AT ITER 2834 NEW BEST:: SOT 122975136 SOS 80452002 HAS SOPS 65707075 HAS SOUS 20787201 HAS SOUPS 20207853 WITH SCORE 2.0288305002E7
AT ITER 2842 NEW BEST:: SOT 122950206 SOS 80394399 HAS SOPS 65655645 HAS SOUS 20755736 HAS SOUPS 20176388 WITH SCORE 2.0256782399E7
AT ITER 2850 NEW BEST:: SOT 122955203 SOS 80408240 HAS SOPS 65667450 HAS SOUS 20751956 HAS SOUPS 20172583 WITH SCORE 2.025299124E7
AT ITER 2854 NEW BEST:: SOT 122955602 SOS 80409352 HAS SOPS 65668478 HAS SOUS 20751936 HAS SOUPS 20172563 WITH SCORE 2.0252972352E7
AT ITER 2858 NEW BEST:: SOT 122953039 SOS 80406052 HAS SOPS 65665197 HAS SOUS 20747492 HAS SOUPS 20168119 WITH SCORE 2.0248525052E7
AT ITER 2863 NEW BEST:: SOT 122951820 SOS 80404600 HAS SOPS 65663394 HAS SOUS 20745377 HAS SOUPS 20166004 WITH SCORE 2.02464086E7
AT ITER 2867 NEW BEST:: SOT 122946140 SOS 80397244 HAS SOPS 65653768 HAS SOUS 20733867 HAS SOUPS 20154536 WITH SCORE 2.0234933244E7
AT ITER 2908 NEW BEST:: SOT 122946140 SOS 80395858 HAS SOPS 65653726 HAS SOUS 20733840 HAS SOUPS 20154509 WITH SCORE 2.0234904858E7
AT ITER 2919 NEW BEST:: SOT 122952124 SOS 80408621 HAS SOPS 65661472 HAS SOUS 20726356 HAS SOUPS 20147025 WITH SCORE 2.0227433621E7
AT ITER 2922 NEW BEST:: SOT 122937171 SOS 80380747 HAS SOPS 65641411 HAS SOUS 20725215 HAS SOUPS 20145884 WITH SCORE 2.0226264747E7
AT ITER 2938 NEW BEST:: SOT 122935625 SOS 80379269 HAS SOPS 65639780 HAS SOUS 20723992 HAS SOUPS 20144559 WITH SCORE 2.0224938269E7
AT ITER 2939 NEW BEST:: SOT 122932395 SOS 80374578 HAS SOPS 65635071 HAS SOUS 20719961 HAS SOUPS 20140528 WITH SCORE 2.0220902578E7
AT ITER 2946 NEW BEST:: SOT 122918239 SOS 80364888 HAS SOPS 65620667 HAS SOUS 20686005 HAS SOUPS 20106572 WITH SCORE 2.0186936888E7
AT ITER 2976 NEW BEST:: SOT 122926714 SOS 80381778 HAS SOPS 65644839 HAS SOUS 20682418 HAS SOUPS 20102985 WITH SCORE 2.0183366778E7
AT ITER 2978 NEW BEST:: SOT 122926797 SOS 80389734 HAS SOPS 65650240 HAS SOUS 20681771 HAS SOUPS 20102338 WITH SCORE 2.0182727734E7
AT ITER 2995 NEW BEST:: SOT 122908820 SOS 80332376 HAS SOPS 65660938 HAS SOUS 20664976 HAS SOUPS 20085543 WITH SCORE 2.0165875376E7
AT ITER 3006 NEW BEST:: SOT 122904077 SOS 80326763 HAS SOPS 65653593 HAS SOUS 20656658 HAS SOUPS 20077521 WITH SCORE 2.0157847763E7
AT ITER 3017 NEW BEST:: SOT 122897326 SOS 80323537 HAS SOPS 65651195 HAS SOUS 20630428 HAS SOUPS 20051291 WITH SCORE 2.0131614537E7
AT ITER 3021 NEW BEST:: SOT 122913996 SOS 80377405 HAS SOPS 65704342 HAS SOUS 20615368 HAS SOUPS 20036231 WITH SCORE 2.0116608405E7
AT ITER 3042 NEW BEST:: SOT 122885334 SOS 80321238 HAS SOPS 65658957 HAS SOUS 20596278 HAS SOUPS 20017445 WITH SCORE 2.0097766238E7
AT ITER 3044 NEW BEST:: SOT 122881027 SOS 80322533 HAS SOPS 65655750 HAS SOUS 20574594 HAS SOUPS 19995761 WITH SCORE 2.0076083533E7
AT ITER 3051 NEW BEST:: SOT 122880219 SOS 80321169 HAS SOPS 65654434 HAS SOUS 20573358 HAS SOUPS 19994537 WITH SCORE 2.0074858169E7
AT ITER 3076 NEW BEST:: SOT 122844408 SOS 80246665 HAS SOPS 65584190 HAS SOUS 20548156 HAS SOUPS 19969335 WITH SCORE 2.0049581665E7
AT ITER 3086 NEW BEST:: SOT 122847398 SOS 80250547 HAS SOPS 65603084 HAS SOUS 20530455 HAS SOUPS 19952133 WITH SCORE 2.0032383547E7
AT ITER 3091 NEW BEST:: SOT 122843796 SOS 80246663 HAS SOPS 65596920 HAS SOUS 20522519 HAS SOUPS 19944150 WITH SCORE 2.0024396663E7
AT ITER 3095 NEW BEST:: SOT 122843141 SOS 80248824 HAS SOPS 65596911 HAS SOUS 20507960 HAS SOUPS 19929591 WITH SCORE 2.0009839824E7
AT ITER 3098 NEW BEST:: SOT 122840306 SOS 80246865 HAS SOPS 65594479 HAS SOUS 20499565 HAS SOUPS 19921196 WITH SCORE 2.0001442865E7
AT ITER 3100 NEW BEST:: SOT 122852580 SOS 80251226 HAS SOPS 65589788 HAS SOUS 20482482 HAS SOUPS 19901608 WITH SCORE 1.9981859226E7
AT ITER 3110 NEW BEST:: SOT 122852279 SOS 80251441 HAS SOPS 65589905 HAS SOUS 20481275 HAS SOUPS 19900401 WITH SCORE 1.9980652441E7
AT ITER 3117 NEW BEST:: SOT 122852279 SOS 80257157 HAS SOPS 65596507 HAS SOUS 20480713 HAS SOUPS 19899839 WITH SCORE 1.9980096157E7
AT ITER 3145 NEW BEST:: SOT 122853944 SOS 80257881 HAS SOPS 65599772 HAS SOUS 20480541 HAS SOUPS 19899763 WITH SCORE 1.9980020881E7
AT ITER 3154 NEW BEST:: SOT 122856825 SOS 80265322 HAS SOPS 65607349 HAS SOUS 20473264 HAS SOUPS 19892927 WITH SCORE 1.9973192322E7
AT ITER 3158 NEW BEST:: SOT 122852533 SOS 80261354 HAS SOPS 65603219 HAS SOUS 20464624 HAS SOUPS 19884251 WITH SCORE 1.9964512354E7
AT ITER 3159 NEW BEST:: SOT 122850000 SOS 80265437 HAS SOPS 65603169 HAS SOUS 20455745 HAS SOUPS 19875310 WITH SCORE 1.9955575437E7
AT ITER 3166 NEW BEST:: SOT 122850117 SOS 80266842 HAS SOPS 65607639 HAS SOUS 20455406 HAS SOUPS 19874971 WITH SCORE 1.9955237842E7
AT ITER 3180 NEW BEST:: SOT 122849520 SOS 80266744 HAS SOPS 65609245 HAS SOUS 20453838 HAS SOUPS 19873331 WITH SCORE 1.9953597744E7
AT ITER 3181 NEW BEST:: SOT 122870897 SOS 80331831 HAS SOPS 65643924 HAS SOUS 20414231 HAS SOUPS 19833724 WITH SCORE 1.9914055831E7
AT ITER 3215 NEW BEST:: SOT 122871926 SOS 80342050 HAS SOPS 65654092 HAS SOUS 20404723 HAS SOUPS 19824216 WITH SCORE 1.990455805E7
AT ITER 3235 NEW BEST:: SOT 122884365 SOS 80354968 HAS SOPS 65667863 HAS SOUS 20401366 HAS SOUPS 19820987 WITH SCORE 1.9901341968E7
AT ITER 3261 NEW BEST:: SOT 122885220 SOS 80360826 HAS SOPS 65667564 HAS SOUS 20389808 HAS SOUPS 19809429 WITH SCORE 1.9889789826E7
AT ITER 3286 NEW BEST:: SOT 122885220 SOS 80359971 HAS SOPS 65666709 HAS SOUS 20389799 HAS SOUPS 19809420 WITH SCORE 1.9889779971E7
AT ITER 3287 NEW BEST:: SOT 122884359 SOS 80359566 HAS SOPS 65666448 HAS SOUS 20385345 HAS SOUPS 19804966 WITH SCORE 1.9885325566E7
AT ITER 3297 NEW BEST:: SOT 122858148 SOS 80302388 HAS SOPS 65631735 HAS SOUS 20382593 HAS SOUPS 19802254 WITH SCORE 1.9882556388E7
AT ITER 3307 NEW BEST:: SOT 122859735 SOS 80298511 HAS SOPS 65636763 HAS SOUS 20374852 HAS SOUPS 19794581 WITH SCORE 1.9874879511E7
AT ITER 3332 NEW BEST:: SOT 122875100 SOS 80363029 HAS SOPS 65679443 HAS SOUS 20344517 HAS SOUPS 19764246 WITH SCORE 1.9844609029E7
AT ITER 3354 NEW BEST:: SOT 122864176 SOS 80348612 HAS SOPS 65662764 HAS SOUS 20322271 HAS SOUPS 19742087 WITH SCORE 1.9822435612E7
AT ITER 3380 NEW BEST:: SOT 122860157 SOS 80307489 HAS SOPS 65661256 HAS SOUS 20310962 HAS SOUPS 19731406 WITH SCORE 1.9811713489E7
AT ITER 3391 NEW BEST:: SOT 122857764 SOS 80304162 HAS SOPS 65657935 HAS SOUS 20293715 HAS SOUPS 19714932 WITH SCORE 1.9795236162E7
AT ITER 3412 NEW BEST:: SOT 122858565 SOS 80306800 HAS SOPS 65659992 HAS SOUS 20293521 HAS SOUPS 19714738 WITH SCORE 1.97950448E7
AT ITER 3413 NEW BEST:: SOT 122907803 SOS 80386391 HAS SOPS 65749908 HAS SOUS 20283090 HAS SOUPS 19705246 WITH SCORE 1.9785632391E7
AT ITER 3427 NEW BEST:: SOT 122903578 SOS 80380955 HAS SOPS 65744803 HAS SOUS 20264878 HAS SOUPS 19687407 WITH SCORE 1.9767787955E7
AT ITER 3435 NEW BEST:: SOT 122903653 SOS 80398415 HAS SOPS 65761990 HAS SOUS 20264009 HAS SOUPS 19686538 WITH SCORE 1.9766936415E7
AT ITER 3442 NEW BEST:: SOT 122900777 SOS 80389422 HAS SOPS 65749720 HAS SOUS 20236721 HAS SOUPS 19659536 WITH SCORE 1.9739925422E7
AT ITER 3454 NEW BEST:: SOT 122898217 SOS 80388604 HAS SOPS 65744696 HAS SOUS 20232636 HAS SOUPS 19655541 WITH SCORE 1.9735929604E7
AT ITER 3455 NEW BEST:: SOT 122916469 SOS 80428034 HAS SOPS 65779663 HAS SOUS 20231250 HAS SOUPS 19654155 WITH SCORE 1.9734583034E7
AT ITER 3460 NEW BEST:: SOT 122910539 SOS 80419615 HAS SOPS 65762505 HAS SOUS 20216833 HAS SOUPS 19639738 WITH SCORE 1.9720157615E7
AT ITER 3471 NEW BEST:: SOT 122895252 SOS 80399584 HAS SOPS 65735460 HAS SOUS 20167759 HAS SOUPS 19590664 WITH SCORE 1.9671063584E7
AT ITER 3482 NEW BEST:: SOT 122890187 SOS 80394198 HAS SOPS 65730306 HAS SOUS 20157139 HAS SOUPS 19581362 WITH SCORE 1.9661756198E7
AT ITER 3488 NEW BEST:: SOT 122889503 SOS 80391397 HAS SOPS 65727482 HAS SOUS 20156657 HAS SOUPS 19580900 WITH SCORE 1.9661291397E7
AT ITER 3512 NEW BEST:: SOT 122889121 SOS 80391237 HAS SOPS 65727697 HAS SOUS 20155031 HAS SOUPS 19579274 WITH SCORE 1.9659665237E7
AT ITER 3524 NEW BEST:: SOT 122887054 SOS 80395083 HAS SOPS 65728135 HAS SOUS 20135060 HAS SOUPS 19559217 WITH SCORE 1.9639612083E7
AT ITER 3545 NEW BEST:: SOT 122887099 SOS 80429224 HAS SOPS 65783723 HAS SOUS 20134705 HAS SOUPS 19559085 WITH SCORE 1.9639514224E7
AT ITER 3548 NEW BEST:: SOT 122917296 SOS 80470257 HAS SOPS 65850402 HAS SOUS 20128074 HAS SOUPS 19552025 WITH SCORE 1.9632495257E7
AT ITER 3564 NEW BEST:: SOT 122921809 SOS 80475459 HAS SOPS 65859927 HAS SOUS 20124161 HAS SOUPS 19549696 WITH SCORE 1.9630171459E7
AT ITER 3566 NEW BEST:: SOT 122917865 SOS 80474513 HAS SOPS 65858268 HAS SOUS 20112992 HAS SOUPS 19538527 WITH SCORE 1.9619001513E7
AT ITER 3589 NEW BEST:: SOT 122891728 SOS 80449185 HAS SOPS 65829310 HAS SOUS 20019812 HAS SOUPS 19445347 WITH SCORE 1.9525796185E7
AT ITER 3605 NEW BEST:: SOT 122888401 SOS 80442492 HAS SOPS 65823787 HAS SOUS 20017901 HAS SOUPS 19443502 WITH SCORE 1.9523944492E7
AT ITER 3611 NEW BEST:: SOT 122878606 SOS 80428934 HAS SOPS 65810601 HAS SOUS 20005784 HAS SOUPS 19431474 WITH SCORE 1.9511902934E7
AT ITER 3615 NEW BEST:: SOT 122878437 SOS 80422294 HAS SOPS 65800749 HAS SOUS 20002894 HAS SOUPS 19428584 WITH SCORE 1.9509006294E7
AT ITER 3624 NEW BEST:: SOT 122879482 SOS 80425201 HAS SOPS 65803371 HAS SOUS 20002514 HAS SOUPS 19428204 WITH SCORE 1.9508629201E7
AT ITER 3632 NEW BEST:: SOT 122873091 SOS 80416110 HAS SOPS 65794685 HAS SOUS 19998956 HAS SOUPS 19424746 WITH SCORE 1.950516211E7
AT ITER 3645 NEW BEST:: SOT 122869524 SOS 80409495 HAS SOPS 65789138 HAS SOUS 19993212 HAS SOUPS 19419021 WITH SCORE 1.9499430495E7
AT ITER 3657 NEW BEST:: SOT 122874161 SOS 80424499 HAS SOPS 65799690 HAS SOUS 19987160 HAS SOUPS 19412969 WITH SCORE 1.9493393499E7
AT ITER 3674 NEW BEST:: SOT 122876829 SOS 80431965 HAS SOPS 65797322 HAS SOUS 19973051 HAS SOUPS 19398860 WITH SCORE 1.9479291965E7
AT ITER 3685 NEW BEST:: SOT 122866797 SOS 80419915 HAS SOPS 65782404 HAS SOUS 19959230 HAS SOUPS 19384962 WITH SCORE 1.9465381915E7
AT ITER 3688 NEW BEST:: SOT 122881135 SOS 80434483 HAS SOPS 65790485 HAS SOUS 19955441 HAS SOUPS 19381173 WITH SCORE 1.9461607483E7
AT ITER 3697 NEW BEST:: SOT 122881135 SOS 80443545 HAS SOPS 65802043 HAS SOUS 19955183 HAS SOUPS 19380915 WITH SCORE 1.9461358545E7
AT ITER 3701 NEW BEST:: SOT 122881349 SOS 80444062 HAS SOPS 65803048 HAS SOUS 19954866 HAS SOUPS 19380598 WITH SCORE 1.9461042062E7
AT ITER 3706 NEW BEST:: SOT 122894329 SOS 80455088 HAS SOPS 65819289 HAS SOUS 19952389 HAS SOUPS 19378121 WITH SCORE 1.9458576088E7
AT ITER 3723 NEW BEST:: SOT 122894663 SOS 80455270 HAS SOPS 65820763 HAS SOUS 19951005 HAS SOUPS 19377972 WITH SCORE 1.945842727E7
AT ITER 3729 NEW BEST:: SOT 122890143 SOS 80454063 HAS SOPS 65820097 HAS SOUS 19947851 HAS SOUPS 19374818 WITH SCORE 1.9455272063E7
AT ITER 3733 NEW BEST:: SOT 122911141 SOS 80505870 HAS SOPS 65881420 HAS SOUS 19937915 HAS SOUPS 19365236 WITH SCORE 1.944574187E7
AT ITER 3737 NEW BEST:: SOT 122903857 SOS 80490039 HAS SOPS 65847817 HAS SOUS 19901713 HAS SOUPS 19329034 WITH SCORE 1.9409524039E7
AT ITER 3743 NEW BEST:: SOT 122893380 SOS 80479162 HAS SOPS 65827770 HAS SOUS 19870486 HAS SOUPS 19297710 WITH SCORE 1.9378189162E7
AT ITER 3746 NEW BEST:: SOT 122885631 SOS 80471271 HAS SOPS 65817730 HAS SOUS 19859203 HAS SOUPS 19286384 WITH SCORE 1.9366855271E7
AT ITER 3773 NEW BEST:: SOT 122870338 SOS 80443264 HAS SOPS 65794243 HAS SOUS 19831913 HAS SOUPS 19259094 WITH SCORE 1.9339537264E7
AT ITER 3778 NEW BEST:: SOT 122868692 SOS 80441271 HAS SOPS 65791455 HAS SOUS 19829813 HAS SOUPS 19256711 WITH SCORE 1.9337152271E7
AT ITER 3786 NEW BEST:: SOT 122864058 SOS 80433867 HAS SOPS 65784626 HAS SOUS 19822525 HAS SOUPS 19249423 WITH SCORE 1.9329856867E7
AT ITER 3799 NEW BEST:: SOT 122862509 SOS 80431817 HAS SOPS 65780520 HAS SOUS 19806003 HAS SOUPS 19232901 WITH SCORE 1.9313332817E7
AT ITER 3804 NEW BEST:: SOT 122804961 SOS 80341014 HAS SOPS 65698375 HAS SOUS 19698306 HAS SOUPS 19125523 WITH SCORE 1.9205864014E7
AT ITER 3811 NEW BEST:: SOT 122803933 SOS 80340126 HAS SOPS 65698895 HAS SOUS 19698180 HAS SOUPS 19125397 WITH SCORE 1.9205737126E7
AT ITER 3814 NEW BEST:: SOT 122803622 SOS 80333210 HAS SOPS 65690138 HAS SOUS 19697181 HAS SOUPS 19124398 WITH SCORE 1.920473121E7
AT ITER 3839 NEW BEST:: SOT 122793714 SOS 80322746 HAS SOPS 65679430 HAS SOUS 19682968 HAS SOUPS 19110124 WITH SCORE 1.9190446746E7
AT ITER 3840 NEW BEST:: SOT 122795047 SOS 80342087 HAS SOPS 65710184 HAS SOUS 19676118 HAS SOUPS 19103274 WITH SCORE 1.9183616087E7
AT ITER 3843 NEW BEST:: SOT 122795047 SOS 80341943 HAS SOPS 65710040 HAS SOUS 19676118 HAS SOUPS 19103274 WITH SCORE 1.9183615943E7
AT ITER 3857 NEW BEST:: SOT 122794700 SOS 80339764 HAS SOPS 65707229 HAS SOUS 19673721 HAS SOUPS 19100877 WITH SCORE 1.9181216764E7
AT ITER 3858 NEW BEST:: SOT 122792392 SOS 80336360 HAS SOPS 65699498 HAS SOUS 19671598 HAS SOUPS 19098697 WITH SCORE 1.917903336E7
AT ITER 3895 NEW BEST:: SOT 122797048 SOS 80343643 HAS SOPS 65705993 HAS SOUS 19671534 HAS SOUPS 19098633 WITH SCORE 1.9178976643E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 14112080 kB
After kill :
MemTotal: 16393216 kB
MemFree: 15958620 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
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="RERS17pb115-PT-8"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is RERS17pb115-PT-8, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r331-tall-167889204200208"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb115-PT-8.tgz
mv RERS17pb115-PT-8 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 ;