About the Execution of Smart+red for DLCflexbar-PT-7b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 2787.436 | 3600000.00 | 3673827.00 | 8746.20 | [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.r107-tall-167814484400600.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 DLCflexbar-PT-7b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484400600
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 7.5K Feb 25 15:00 CTLCardinality.txt
-rw-r--r-- 1 mcc users 78K Feb 25 15:00 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 25 14:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 25 14:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:52 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:52 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:52 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:52 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 25 15:01 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 140K Feb 25 15:01 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Feb 25 15:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 25 15:01 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 14M 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 1678399326641
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=DLCflexbar-PT-7b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 22:02:08] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 22:02:08] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 22:02:09] [INFO ] Load time of PNML (sax parser for PT used): 810 ms
[2023-03-09 22:02:09] [INFO ] Transformed 35101 places.
[2023-03-09 22:02:10] [INFO ] Transformed 55507 transitions.
[2023-03-09 22:02:10] [INFO ] Found NUPN structural information;
[2023-03-09 22:02:11] [INFO ] Parsed PT model containing 35101 places and 55507 transitions and 156636 arcs in 3312 ms.
[2023-03-09 22:02:11] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 35101 places, 55507 transitions and 156636 arcs took 194 ms.
Total runtime 3552 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 7b
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: 35101 places, 55507 transitions, 156636 arcs.
AT ITER 0 NEW BEST:: SOT 1309932565 SOS 308057123 HAS SOPS 308057123 HAS SOUS 177018422 HAS SOUPS 177018422 WITH SCORE 1.77326479123E8
AT ITER 5 NEW BEST:: SOT 1309930373 SOS 308037157 HAS SOPS 308037157 HAS SOUS 177014038 HAS SOUPS 177014038 WITH SCORE 1.77322075157E8
AT ITER 12 NEW BEST:: SOT 1309917883 SOS 308021605 HAS SOPS 308021605 HAS SOUS 176995302 HAS SOUPS 176995302 WITH SCORE 1.77303323605E8
AT ITER 17 NEW BEST:: SOT 1309917215 SOS 308020269 HAS SOPS 308020269 HAS SOUS 176988399 HAS SOUPS 176988399 WITH SCORE 1.77296419269E8
AT ITER 33 NEW BEST:: SOT 1309913888 SOS 308031929 HAS SOPS 308031929 HAS SOUS 176986585 HAS SOUPS 176986585 WITH SCORE 1.77294616929E8
AT ITER 52 NEW BEST:: SOT 1309914392 SOS 308031325 HAS SOPS 308031325 HAS SOUS 176986534 HAS SOUPS 176986534 WITH SCORE 1.77294565325E8
AT ITER 136 NEW BEST:: SOT 1309909592 SOS 308021725 HAS SOPS 308021725 HAS SOUS 176981734 HAS SOUPS 176981734 WITH SCORE 1.77289755725E8
AT ITER 162 NEW BEST:: SOT 1309908046 SOS 308018633 HAS SOPS 308018633 HAS SOUS 176980188 HAS SOUPS 176980188 WITH SCORE 1.77288206633E8
AT ITER 208 NEW BEST:: SOT 1309902047 SOS 308015761 HAS SOPS 308015761 HAS SOUS 176975233 HAS SOUPS 176975233 WITH SCORE 1.77283248761E8
AT ITER 212 NEW BEST:: SOT 1309895372 SOS 308009385 HAS SOPS 308009385 HAS SOUS 176968857 HAS SOUPS 176968857 WITH SCORE 1.77276866385E8
AT ITER 264 NEW BEST:: SOT 1309895372 SOS 308009515 HAS SOPS 308009515 HAS SOUS 176968855 HAS SOUPS 176968855 WITH SCORE 1.77276864515E8
AT ITER 268 NEW BEST:: SOT 1309893121 SOS 308024907 HAS SOPS 308024907 HAS SOUS 176968822 HAS SOUPS 176968822 WITH SCORE 1.77276846907E8
AT ITER 281 NEW BEST:: SOT 1309888889 SOS 308012211 HAS SOPS 308012211 HAS SOUS 176963323 HAS SOUPS 176963323 WITH SCORE 1.77271335211E8
AT ITER 297 NEW BEST:: SOT 1309888889 SOS 308003172 HAS SOPS 308003172 HAS SOUS 176960310 HAS SOUPS 176960310 WITH SCORE 1.77268313172E8
AT ITER 348 NEW BEST:: SOT 1309887641 SOS 308005664 HAS SOPS 308005664 HAS SOUS 176959061 HAS SOUPS 176959061 WITH SCORE 1.77267066664E8
AT ITER 357 NEW BEST:: SOT 1309494640 SOS 309400412 HAS SOPS 309400412 HAS SOUS 176587577 HAS SOUPS 176587577 WITH SCORE 1.76896977412E8
AT ITER 404 NEW BEST:: SOT 1309498903 SOS 309440128 HAS SOPS 309440128 HAS SOUS 176585704 HAS SOUPS 176585704 WITH SCORE 1.76895144128E8
AT ITER 424 NEW BEST:: SOT 1309496494 SOS 309437719 HAS SOPS 309437719 HAS SOUS 176585704 HAS SOUPS 176585704 WITH SCORE 1.76895141719E8
AT ITER 466 NEW BEST:: SOT 1309493617 SOS 309431965 HAS SOPS 309431965 HAS SOUS 176579950 HAS SOUPS 176579950 WITH SCORE 1.76889381965E8
AT ITER 473 NEW BEST:: SOT 1309490350 SOS 309429589 HAS SOPS 309429589 HAS SOUS 176579059 HAS SOUPS 176579059 WITH SCORE 1.76888488589E8
AT ITER 491 NEW BEST:: SOT 1309488647 SOS 309432144 HAS SOPS 309432144 HAS SOUS 176577356 HAS SOUPS 176577356 WITH SCORE 1.76886788144E8
AT ITER 537 NEW BEST:: SOT 1309481030 SOS 309424523 HAS SOPS 309424523 HAS SOUS 176569738 HAS SOUPS 176569738 WITH SCORE 1.76879162523E8
AT ITER 568 NEW BEST:: SOT 1309485106 SOS 309423161 HAS SOPS 309423161 HAS SOUS 176568376 HAS SOUPS 176568376 WITH SCORE 1.76877799161E8
AT ITER 590 NEW BEST:: SOT 1309478632 SOS 309416738 HAS SOPS 309416738 HAS SOUS 176561902 HAS SOUPS 176561902 WITH SCORE 1.76871318738E8
AT ITER 595 NEW BEST:: SOT 1309468407 SOS 309407631 HAS SOPS 309407631 HAS SOUS 176551677 HAS SOUPS 176551677 WITH SCORE 1.76861084631E8
AT ITER 602 NEW BEST:: SOT 1309462157 SOS 309404455 HAS SOPS 309404455 HAS SOUS 176548501 HAS SOUPS 176548501 WITH SCORE 1.76857905455E8
AT ITER 616 NEW BEST:: SOT 1309458077 SOS 309420709 HAS SOPS 309420709 HAS SOUS 176543301 HAS SOUPS 176543301 WITH SCORE 1.76852721709E8
AT ITER 631 NEW BEST:: SOT 1309457670 SOS 309420706 HAS SOPS 309420706 HAS SOUS 176543300 HAS SOUPS 176543300 WITH SCORE 1.76852720706E8
AT ITER 648 NEW BEST:: SOT 1309457670 SOS 309419820 HAS SOPS 309419820 HAS SOUS 176542414 HAS SOUPS 176542414 WITH SCORE 1.7685183382E8
AT ITER 652 NEW BEST:: SOT 1309454119 SOS 309409167 HAS SOPS 309409167 HAS SOUS 176537141 HAS SOUPS 176537141 WITH SCORE 1.76846550167E8
AT ITER 662 NEW BEST:: SOT 1309454119 SOS 309403302 HAS SOPS 309403302 HAS SOUS 176535186 HAS SOUPS 176535186 WITH SCORE 1.76844589302E8
AT ITER 666 NEW BEST:: SOT 1309448880 SOS 309398059 HAS SOPS 309398059 HAS SOUS 176529946 HAS SOUPS 176529946 WITH SCORE 1.76839344059E8
AT ITER 674 NEW BEST:: SOT 1309445080 SOS 309394259 HAS SOPS 309394259 HAS SOUS 176522346 HAS SOUPS 176522346 WITH SCORE 1.76831740259E8
AT ITER 700 NEW BEST:: SOT 1309442408 SOS 309399599 HAS SOPS 309399599 HAS SOUS 176519673 HAS SOUPS 176519673 WITH SCORE 1.76829072599E8
AT ITER 708 NEW BEST:: SOT 1309435724 SOS 309392905 HAS SOPS 309392905 HAS SOUS 176512988 HAS SOUPS 176512988 WITH SCORE 1.76822380905E8
AT ITER 719 NEW BEST:: SOT 1309435723 SOS 309392903 HAS SOPS 309392903 HAS SOUS 176512986 HAS SOUPS 176512986 WITH SCORE 1.76822378903E8
AT ITER 749 NEW BEST:: SOT 1309435722 SOS 309389554 HAS SOPS 309389554 HAS SOUS 176509637 HAS SOUPS 176509637 WITH SCORE 1.76819026554E8
AT ITER 756 NEW BEST:: SOT 1309431080 SOS 309388591 HAS SOPS 309388591 HAS SOUS 176507174 HAS SOUPS 176507174 WITH SCORE 1.76816562591E8
AT ITER 792 NEW BEST:: SOT 1309429082 SOS 309392583 HAS SOPS 309392583 HAS SOUS 176505175 HAS SOUPS 176505175 WITH SCORE 1.76814567583E8
AT ITER 812 NEW BEST:: SOT 1309432965 SOS 309400349 HAS SOPS 309400349 HAS SOUS 176500238 HAS SOUPS 176500238 WITH SCORE 1.76809638349E8
AT ITER 835 NEW BEST:: SOT 1309432096 SOS 309399901 HAS SOPS 309399901 HAS SOUS 176499790 HAS SOUPS 176499790 WITH SCORE 1.76809189901E8
AT ITER 839 NEW BEST:: SOT 1309431201 SOS 309398111 HAS SOPS 309398111 HAS SOUS 176498000 HAS SOUPS 176498000 WITH SCORE 1.76807398111E8
AT ITER 848 NEW BEST:: SOT 1309431742 SOS 309399192 HAS SOPS 309399192 HAS SOUS 176496698 HAS SOUPS 176496698 WITH SCORE 1.76806097192E8
AT ITER 853 NEW BEST:: SOT 1309430990 SOS 309401053 HAS SOPS 309401053 HAS SOUS 176496526 HAS SOUPS 176496526 WITH SCORE 1.76805927053E8
AT ITER 859 NEW BEST:: SOT 1309429377 SOS 309397827 HAS SOPS 309397827 HAS SOUS 176494913 HAS SOUPS 176494913 WITH SCORE 1.76804310827E8
AT ITER 868 NEW BEST:: SOT 1309429377 SOS 309399239 HAS SOPS 309399239 HAS SOUS 176494911 HAS SOUPS 176494911 WITH SCORE 1.76804310239E8
AT ITER 879 NEW BEST:: SOT 1309427180 SOS 309403633 HAS SOPS 309403633 HAS SOUS 176492714 HAS SOUPS 176492714 WITH SCORE 1.76802117633E8
AT ITER 880 NEW BEST:: SOT 1309427180 SOS 309400423 HAS SOPS 309400423 HAS SOUS 176491644 HAS SOUPS 176491644 WITH SCORE 1.76801044423E8
AT ITER 894 NEW BEST:: SOT 1309422072 SOS 309395311 HAS SOPS 309395311 HAS SOUS 176486535 HAS SOUPS 176486535 WITH SCORE 1.76795930311E8
AT ITER 896 NEW BEST:: SOT 1309418869 SOS 309393548 HAS SOPS 309393548 HAS SOUS 176484774 HAS SOUPS 176484774 WITH SCORE 1.76794167548E8
AT ITER 914 NEW BEST:: SOT 1309414823 SOS 309397590 HAS SOPS 309397590 HAS SOUS 176482843 HAS SOUPS 176482843 WITH SCORE 1.7679224059E8
AT ITER 916 NEW BEST:: SOT 1309414823 SOS 309411005 HAS SOPS 309411005 HAS SOUS 176478369 HAS SOUPS 176478369 WITH SCORE 1.76787780005E8
AT ITER 934 NEW BEST:: SOT 1309400248 SOS 309432499 HAS SOPS 309432499 HAS SOUS 176477392 HAS SOUPS 176477392 WITH SCORE 1.76786824499E8
AT ITER 952 NEW BEST:: SOT 1309394608 SOS 309426855 HAS SOPS 309426855 HAS SOUS 176471751 HAS SOUPS 176471751 WITH SCORE 1.76781177855E8
AT ITER 954 NEW BEST:: SOT 1309391908 SOS 309421455 HAS SOPS 309421455 HAS SOUS 176471083 HAS SOUPS 176471083 WITH SCORE 1.76780504455E8
AT ITER 964 NEW BEST:: SOT 1309391908 SOS 309408045 HAS SOPS 309408045 HAS SOUS 176471083 HAS SOUPS 176471083 WITH SCORE 1.76780491045E8
AT ITER 976 NEW BEST:: SOT 1309389258 SOS 309407945 HAS SOPS 309407945 HAS SOUS 176470983 HAS SOUPS 176470983 WITH SCORE 1.76780390945E8
AT ITER 984 NEW BEST:: SOT 1309384340 SOS 309398109 HAS SOPS 309398109 HAS SOUS 176461147 HAS SOUPS 176461147 WITH SCORE 1.76770545109E8
AT ITER 1002 NEW BEST:: SOT 1309384340 SOS 309409061 HAS SOPS 309409061 HAS SOUS 176459928 HAS SOUPS 176459928 WITH SCORE 1.76769337061E8
AT ITER 1021 NEW BEST:: SOT 1309383559 SOS 309407499 HAS SOPS 309407499 HAS SOUS 176458366 HAS SOUPS 176458366 WITH SCORE 1.76767773499E8
AT ITER 1045 NEW BEST:: SOT 1309389013 SOS 309409395 HAS SOPS 309409395 HAS SOUS 176454807 HAS SOUPS 176454807 WITH SCORE 1.76764216395E8
AT ITER 1068 NEW BEST:: SOT 1309389013 SOS 309403200 HAS SOPS 309403200 HAS SOUS 176452742 HAS SOUPS 176452742 WITH SCORE 1.767621452E8
AT ITER 1078 NEW BEST:: SOT 1309388289 SOS 309408268 HAS SOPS 309408268 HAS SOUS 176452018 HAS SOUPS 176452018 WITH SCORE 1.76761426268E8
AT ITER 1080 NEW BEST:: SOT 1309386113 SOS 309403912 HAS SOPS 309403912 HAS SOUS 176447665 HAS SOUPS 176447665 WITH SCORE 1.76757068912E8
AT ITER 1105 NEW BEST:: SOT 1309386113 SOS 309401155 HAS SOPS 309401155 HAS SOUS 176446746 HAS SOUPS 176446746 WITH SCORE 1.76756147155E8
AT ITER 1110 NEW BEST:: SOT 1309386113 SOS 309391441 HAS SOPS 309391441 HAS SOUS 176446745 HAS SOUPS 176446745 WITH SCORE 1.76756136441E8
AT ITER 1126 NEW BEST:: SOT 1309385170 SOS 309389556 HAS SOPS 309389556 HAS SOUS 176444860 HAS SOUPS 176444860 WITH SCORE 1.76754249556E8
AT ITER 1151 NEW BEST:: SOT 1309386556 SOS 309392328 HAS SOPS 309392328 HAS SOUS 176439295 HAS SOUPS 176439295 WITH SCORE 1.76748687328E8
AT ITER 1161 NEW BEST:: SOT 1309385080 SOS 309389376 HAS SOPS 309389376 HAS SOUS 176436343 HAS SOUPS 176436343 WITH SCORE 1.76745732376E8
AT ITER 1169 NEW BEST:: SOT 1309385080 SOS 309386813 HAS SOPS 309386813 HAS SOUS 176433780 HAS SOUPS 176433780 WITH SCORE 1.76743166813E8
AT ITER 1170 NEW BEST:: SOT 1309383981 SOS 309382417 HAS SOPS 309382417 HAS SOUS 176432681 HAS SOUPS 176432681 WITH SCORE 1.76742063417E8
AT ITER 1192 NEW BEST:: SOT 1309380934 SOS 309434903 HAS SOPS 309434903 HAS SOUS 176426586 HAS SOUPS 176426586 WITH SCORE 1.76736020903E8
AT ITER 1205 NEW BEST:: SOT 1309375580 SOS 309434903 HAS SOPS 309434903 HAS SOUS 176421232 HAS SOUPS 176421232 WITH SCORE 1.76730666903E8
AT ITER 1219 NEW BEST:: SOT 1309373508 SOS 309430759 HAS SOPS 309430759 HAS SOUS 176417088 HAS SOUPS 176417088 WITH SCORE 1.76726518759E8
AT ITER 1222 NEW BEST:: SOT 1309371411 SOS 309426565 HAS SOPS 309426565 HAS SOUS 176412894 HAS SOUPS 176412894 WITH SCORE 1.76722320565E8
AT ITER 1233 NEW BEST:: SOT 1309364135 SOS 309422923 HAS SOPS 309422923 HAS SOUS 176409255 HAS SOUPS 176409255 WITH SCORE 1.76718677923E8
AT ITER 1241 NEW BEST:: SOT 1309360643 SOS 309415938 HAS SOPS 309415938 HAS SOUS 176402270 HAS SOUPS 176402270 WITH SCORE 1.76711685938E8
AT ITER 1270 NEW BEST:: SOT 1309360642 SOS 309415936 HAS SOPS 309415936 HAS SOUS 176402268 HAS SOUPS 176402268 WITH SCORE 1.76711683936E8
AT ITER 1282 NEW BEST:: SOT 1309360642 SOS 309410554 HAS SOPS 309410554 HAS SOUS 176400474 HAS SOUPS 176400474 WITH SCORE 1.76709884554E8
AT ITER 1289 NEW BEST:: SOT 1309358758 SOS 309415825 HAS SOPS 309415825 HAS SOUS 176398590 HAS SOUPS 176398590 WITH SCORE 1.76708005825E8
AT ITER 1334 NEW BEST:: SOT 1309358758 SOS 309407365 HAS SOPS 309407365 HAS SOUS 176395770 HAS SOUPS 176395770 WITH SCORE 1.76705177365E8
AT ITER 1345 NEW BEST:: SOT 1309357435 SOS 309406483 HAS SOPS 309406483 HAS SOUS 176394888 HAS SOUPS 176394888 WITH SCORE 1.76704294483E8
AT ITER 1352 NEW BEST:: SOT 1309357134 SOS 309406482 HAS SOPS 309406482 HAS SOUS 176394887 HAS SOUPS 176394887 WITH SCORE 1.76704293482E8
AT ITER 1386 NEW BEST:: SOT 1309355703 SOS 309403620 HAS SOPS 309403620 HAS SOUS 176392025 HAS SOUPS 176392025 WITH SCORE 1.7670142862E8
AT ITER 1406 NEW BEST:: SOT 1309353305 SOS 309408412 HAS SOPS 309408412 HAS SOUS 176389626 HAS SOUPS 176389626 WITH SCORE 1.76699034412E8
AT ITER 1422 NEW BEST:: SOT 1309350525 SOS 309411188 HAS SOPS 309411188 HAS SOUS 176384065 HAS SOUPS 176384065 WITH SCORE 1.76693476188E8
AT ITER 1460 NEW BEST:: SOT 1309178480 SOS 310019284 HAS SOPS 310019284 HAS SOUS 176224056 HAS SOUPS 176224056 WITH SCORE 1.76534075284E8
AT ITER 1487 NEW BEST:: SOT 1309176727 SOS 310015778 HAS SOPS 310015778 HAS SOUS 176220550 HAS SOUPS 176220550 WITH SCORE 1.76530565778E8
AT ITER 1505 NEW BEST:: SOT 1309172595 SOS 310007514 HAS SOPS 310007514 HAS SOUS 176212286 HAS SOUPS 176212286 WITH SCORE 1.76522293514E8
AT ITER 1508 NEW BEST:: SOT 1309171847 SOS 310006018 HAS SOPS 310006018 HAS SOUS 176210790 HAS SOUPS 176210790 WITH SCORE 1.76520796018E8
AT ITER 1510 NEW BEST:: SOT 1309171456 SOS 310005236 HAS SOPS 310005236 HAS SOUS 176210008 HAS SOUPS 176210008 WITH SCORE 1.76520013236E8
AT ITER 1515 NEW BEST:: SOT 1309171456 SOS 309995957 HAS SOPS 309995957 HAS SOUS 176206915 HAS SOUPS 176206915 WITH SCORE 1.76516910957E8
AT ITER 1521 NEW BEST:: SOT 1309171456 SOS 309982445 HAS SOPS 309982445 HAS SOUS 176206915 HAS SOUPS 176206915 WITH SCORE 1.76516897445E8
AT ITER 1526 NEW BEST:: SOT 1309162188 SOS 309963909 HAS SOPS 309963909 HAS SOUS 176188379 HAS SOUPS 176188379 WITH SCORE 1.76498342909E8
AT ITER 1545 NEW BEST:: SOT 1309162188 SOS 309958779 HAS SOPS 309958779 HAS SOUS 176186669 HAS SOUPS 176186669 WITH SCORE 1.76496627779E8
AT ITER 1546 NEW BEST:: SOT 1309160462 SOS 309962227 HAS SOPS 309962227 HAS SOUS 176184942 HAS SOUPS 176184942 WITH SCORE 1.76494904227E8
AT ITER 1592 NEW BEST:: SOT 1309154227 SOS 309955992 HAS SOPS 309955992 HAS SOUS 176178707 HAS SOUPS 176178707 WITH SCORE 1.76488662992E8
AT ITER 1632 NEW BEST:: SOT 1309147055 SOS 309952402 HAS SOPS 309952402 HAS SOUS 176175120 HAS SOUPS 176175120 WITH SCORE 1.76485072402E8
AT ITER 1633 NEW BEST:: SOT 1309148438 SOS 309941356 HAS SOPS 309941356 HAS SOUS 176172590 HAS SOUPS 176172590 WITH SCORE 1.76482531356E8
AT ITER 1692 NEW BEST:: SOT 1309148438 SOS 309928207 HAS SOPS 309928207 HAS SOUS 176172590 HAS SOUPS 176172590 WITH SCORE 1.76482518207E8
AT ITER 1716 NEW BEST:: SOT 1309149549 SOS 309940236 HAS SOPS 309940236 HAS SOUS 176167442 HAS SOUPS 176167442 WITH SCORE 1.76477382236E8
AT ITER 1723 NEW BEST:: SOT 1309149548 SOS 309940631 HAS SOPS 309940631 HAS SOUS 176167440 HAS SOUPS 176167440 WITH SCORE 1.76477380631E8
AT ITER 1744 NEW BEST:: SOT 1309148483 SOS 309939563 HAS SOPS 309939563 HAS SOUS 176166374 HAS SOUPS 176166374 WITH SCORE 1.76476313563E8
AT ITER 1756 NEW BEST:: SOT 1309148483 SOS 309935291 HAS SOPS 309935291 HAS SOUS 176164950 HAS SOUPS 176164950 WITH SCORE 1.76474885291E8
AT ITER 1759 NEW BEST:: SOT 1309147009 SOS 309938235 HAS SOPS 309938235 HAS SOUS 176163475 HAS SOUPS 176163475 WITH SCORE 1.76473413235E8
AT ITER 1796 NEW BEST:: SOT 1309140964 SOS 309911386 HAS SOPS 309911386 HAS SOUS 176152229 HAS SOUPS 176152229 WITH SCORE 1.76462140386E8
AT ITER 1821 NEW BEST:: SOT 1309137990 SOS 309928798 HAS SOPS 309928798 HAS SOUS 176144698 HAS SOUPS 176144698 WITH SCORE 1.76454626798E8
AT ITER 1824 NEW BEST:: SOT 1309134624 SOS 309926350 HAS SOPS 309926350 HAS SOUS 176143780 HAS SOUPS 176143780 WITH SCORE 1.7645370635E8
AT ITER 1857 NEW BEST:: SOT 1309133701 SOS 309924504 HAS SOPS 309924504 HAS SOUS 176142856 HAS SOUPS 176142856 WITH SCORE 1.76452780504E8
AT ITER 1860 NEW BEST:: SOT 1309133352 SOS 309923806 HAS SOPS 309923806 HAS SOUS 176142158 HAS SOUPS 176142158 WITH SCORE 1.76452081806E8
AT ITER 1864 NEW BEST:: SOT 1309133352 SOS 309921695 HAS SOPS 309921695 HAS SOUS 176142158 HAS SOUPS 176142158 WITH SCORE 1.76452079695E8
AT ITER 1883 NEW BEST:: SOT 1309132082 SOS 309919155 HAS SOPS 309919155 HAS SOUS 176140888 HAS SOUPS 176140888 WITH SCORE 1.76450807155E8
AT ITER 1951 NEW BEST:: SOT 1309124469 SOS 309925468 HAS SOPS 309925468 HAS SOUS 176125661 HAS SOUPS 176125661 WITH SCORE 1.76435586468E8
AT ITER 1999 NEW BEST:: SOT 1309117157 SOS 309916816 HAS SOPS 309916816 HAS SOUS 176120756 HAS SOUPS 176120756 WITH SCORE 1.76430672816E8
AT ITER 2005 NEW BEST:: SOT 1309113237 SOS 309917059 HAS SOPS 309917059 HAS SOUS 176119902 HAS SOUPS 176119902 WITH SCORE 1.76429819059E8
AT ITER 2012 NEW BEST:: SOT 1309110606 SOS 309911797 HAS SOPS 309911797 HAS SOUS 176114640 HAS SOUPS 176114640 WITH SCORE 1.76424551797E8
AT ITER 2030 NEW BEST:: SOT 1309109289 SOS 309910480 HAS SOPS 309910480 HAS SOUS 176113323 HAS SOUPS 176113323 WITH SCORE 1.7642323348E8
AT ITER 2081 NEW BEST:: SOT 1309113230 SOS 309918362 HAS SOPS 309918362 HAS SOUS 176108490 HAS SOUPS 176108490 WITH SCORE 1.76418408362E8
AT ITER 2090 NEW BEST:: SOT 1309113035 SOS 309918232 HAS SOPS 309918232 HAS SOUS 176108360 HAS SOUPS 176108360 WITH SCORE 1.76418278232E8
AT ITER 2091 NEW BEST:: SOT 1309111795 SOS 309915752 HAS SOPS 309915752 HAS SOUS 176107119 HAS SOUPS 176107119 WITH SCORE 1.76417034752E8
AT ITER 2098 NEW BEST:: SOT 1309111795 SOS 309906842 HAS SOPS 309906842 HAS SOUS 176107118 HAS SOUPS 176107118 WITH SCORE 1.76417024842E8
AT ITER 2153 NEW BEST:: SOT 1309104862 SOS 309892976 HAS SOPS 309892976 HAS SOUS 176090821 HAS SOUPS 176090821 WITH SCORE 1.76400713976E8
AT ITER 2154 NEW BEST:: SOT 1309101412 SOS 309889526 HAS SOPS 309889526 HAS SOUS 176087371 HAS SOUPS 176087371 WITH SCORE 1.76397260526E8
AT ITER 2161 NEW BEST:: SOT 1309095179 SOS 309883925 HAS SOPS 309883925 HAS SOUS 176081770 HAS SOUPS 176081770 WITH SCORE 1.76391653925E8
AT ITER 2167 NEW BEST:: SOT 1309095939 SOS 309873377 HAS SOPS 309873377 HAS SOUS 176077256 HAS SOUPS 176077256 WITH SCORE 1.76387129377E8
AT ITER 2214 NEW BEST:: SOT 1309095939 SOS 309863537 HAS SOPS 309863537 HAS SOUS 176073976 HAS SOUPS 176073976 WITH SCORE 1.76383839537E8
AT ITER 2239 NEW BEST:: SOT 1309095939 SOS 309853442 HAS SOPS 309853442 HAS SOUS 176070611 HAS SOUPS 176070611 WITH SCORE 1.76380464442E8
AT ITER 2265 NEW BEST:: SOT 1309095939 SOS 309839471 HAS SOPS 309839471 HAS SOUS 176070611 HAS SOUPS 176070611 WITH SCORE 1.76380450471E8
AT ITER 2279 NEW BEST:: SOT 1309095939 SOS 309830267 HAS SOPS 309830267 HAS SOUS 176070610 HAS SOUPS 176070610 WITH SCORE 1.76380440267E8
AT ITER 2284 NEW BEST:: SOT 1309095939 SOS 309817697 HAS SOPS 309817697 HAS SOUS 176070610 HAS SOUPS 176070610 WITH SCORE 1.76380427697E8
AT ITER 2304 NEW BEST:: SOT 1309095204 SOS 309816227 HAS SOPS 309816227 HAS SOUS 176069140 HAS SOUPS 176069140 WITH SCORE 1.76378956227E8
AT ITER 2345 NEW BEST:: SOT 1309099160 SOS 309821964 HAS SOPS 309821964 HAS SOUS 176068913 HAS SOUPS 176068913 WITH SCORE 1.76378734964E8
AT ITER 2348 NEW BEST:: SOT 1309092509 SOS 309815313 HAS SOPS 309815313 HAS SOUS 176062262 HAS SOUPS 176062262 WITH SCORE 1.76372077313E8
AT ITER 2350 NEW BEST:: SOT 1309084421 SOS 309811269 HAS SOPS 309811269 HAS SOUS 176058218 HAS SOUPS 176058218 WITH SCORE 1.76368029269E8
AT ITER 2370 NEW BEST:: SOT 1309080277 SOS 309807125 HAS SOPS 309807125 HAS SOUS 176049930 HAS SOUPS 176049930 WITH SCORE 1.76359737125E8
AT ITER 2372 NEW BEST:: SOT 1309066591 SOS 309786693 HAS SOPS 309786693 HAS SOUS 176029304 HAS SOUPS 176029304 WITH SCORE 1.76339090693E8
AT ITER 2427 NEW BEST:: SOT 1309064483 SOS 309790905 HAS SOPS 309790905 HAS SOUS 176027195 HAS SOUPS 176027195 WITH SCORE 1.76336985905E8
AT ITER 2434 NEW BEST:: SOT 1309064483 SOS 309790901 HAS SOPS 309790901 HAS SOUS 176025672 HAS SOUPS 176025672 WITH SCORE 1.76335462901E8
AT ITER 2448 NEW BEST:: SOT 1309052585 SOS 309778998 HAS SOPS 309778998 HAS SOUS 176018940 HAS SOUPS 176018940 WITH SCORE 1.76328718998E8
AT ITER 2476 NEW BEST:: SOT 1309049355 SOS 309772539 HAS SOPS 309772539 HAS SOUS 176012481 HAS SOUPS 176012481 WITH SCORE 1.76322253539E8
AT ITER 2484 NEW BEST:: SOT 1309049355 SOS 309773687 HAS SOPS 309773687 HAS SOUS 176012479 HAS SOUPS 176012479 WITH SCORE 1.76322252687E8
AT ITER 2530 NEW BEST:: SOT 1309042467 SOS 309767724 HAS SOPS 309767724 HAS SOUS 176006516 HAS SOUPS 176006516 WITH SCORE 1.76316283724E8
AT ITER 2569 NEW BEST:: SOT 1309041345 SOS 309765480 HAS SOPS 309765480 HAS SOUS 176004272 HAS SOUPS 176004272 WITH SCORE 1.7631403748E8
AT ITER 2576 NEW BEST:: SOT 1309035262 SOS 309784216 HAS SOPS 309784216 HAS SOUS 175992105 HAS SOUPS 175992105 WITH SCORE 1.76301889216E8
AT ITER 2580 NEW BEST:: SOT 1309035262 SOS 309778570 HAS SOPS 309778570 HAS SOUS 175990867 HAS SOUPS 175990867 WITH SCORE 1.7630064557E8
AT ITER 2584 NEW BEST:: SOT 1309035585 SOS 309764789 HAS SOPS 309764789 HAS SOUS 175986542 HAS SOUPS 175986542 WITH SCORE 1.76296306789E8
AT ITER 2608 NEW BEST:: SOT 1309034245 SOS 309764788 HAS SOPS 309764788 HAS SOUS 175986541 HAS SOUPS 175986541 WITH SCORE 1.76296305788E8
AT ITER 2609 NEW BEST:: SOT 1309028228 SOS 309760199 HAS SOPS 309760199 HAS SOUS 175981952 HAS SOUPS 175981952 WITH SCORE 1.76291712199E8
AT ITER 2632 NEW BEST:: SOT 1309028228 SOS 309750047 HAS SOPS 309750047 HAS SOUS 175978568 HAS SOUPS 175978568 WITH SCORE 1.76288318047E8
AT ITER 2660 NEW BEST:: SOT 1309028228 SOS 309739172 HAS SOPS 309739172 HAS SOUS 175974943 HAS SOUPS 175974943 WITH SCORE 1.76284682172E8
AT ITER 2682 NEW BEST:: SOT 1309028228 SOS 309737678 HAS SOPS 309737678 HAS SOUS 175974943 HAS SOUPS 175974943 WITH SCORE 1.76284680678E8
AT ITER 2683 NEW BEST:: SOT 1309028228 SOS 309727271 HAS SOPS 309727271 HAS SOUS 175974943 HAS SOUPS 175974943 WITH SCORE 1.76284670271E8
AT ITER 2738 NEW BEST:: SOT 1308850066 SOS 309661486 HAS SOPS 309661486 HAS SOUS 175800348 HAS SOUPS 175800348 WITH SCORE 1.76110009486E8
AT ITER 2766 NEW BEST:: SOT 1308850066 SOS 309661486 HAS SOPS 309661486 HAS SOUS 175792298 HAS SOUPS 175792298 WITH SCORE 1.76101959486E8
AT ITER 2803 NEW BEST:: SOT 1308843982 SOS 309655398 HAS SOPS 309655398 HAS SOUS 175786213 HAS SOUPS 175786213 WITH SCORE 1.76095868398E8
AT ITER 2833 NEW BEST:: SOT 1308843982 SOS 309655398 HAS SOPS 309655398 HAS SOUS 175786137 HAS SOUPS 175786137 WITH SCORE 1.76095792398E8
AT ITER 2856 NEW BEST:: SOT 1308841682 SOS 309650798 HAS SOPS 309650798 HAS SOUS 175781537 HAS SOUPS 175781537 WITH SCORE 1.76091187798E8
AT ITER 2863 NEW BEST:: SOT 1308840810 SOS 309650362 HAS SOPS 309650362 HAS SOUS 175781101 HAS SOUPS 175781101 WITH SCORE 1.76090751362E8
AT ITER 2878 NEW BEST:: SOT 1308837731 SOS 309644204 HAS SOPS 309644204 HAS SOUS 175774943 HAS SOUPS 175774943 WITH SCORE 1.76084587204E8
AT ITER 2890 NEW BEST:: SOT 1308825535 SOS 309630425 HAS SOPS 309630425 HAS SOUS 175756648 HAS SOUPS 175756648 WITH SCORE 1.76066278425E8
AT ITER 2917 NEW BEST:: SOT 1308824491 SOS 309629381 HAS SOPS 309629381 HAS SOUS 175755604 HAS SOUPS 175755604 WITH SCORE 1.76065233381E8
AT ITER 2958 NEW BEST:: SOT 1308817700 SOS 309625599 HAS SOPS 309625599 HAS SOUS 175745417 HAS SOUPS 175745417 WITH SCORE 1.76055042599E8
AT ITER 2966 NEW BEST:: SOT 1308816519 SOS 309625464 HAS SOPS 309625464 HAS SOUS 175745282 HAS SOUPS 175745282 WITH SCORE 1.76054907464E8
AT ITER 3000 NEW BEST:: SOT 1308808896 SOS 309622191 HAS SOPS 309622191 HAS SOUS 175741650 HAS SOUPS 175741650 WITH SCORE 1.76051272191E8
AT ITER 3012 NEW BEST:: SOT 1308808896 SOS 309609918 HAS SOPS 309609918 HAS SOUS 175737559 HAS SOUPS 175737559 WITH SCORE 1.76047168918E8
AT ITER 3022 NEW BEST:: SOT 1308801314 SOS 309602336 HAS SOPS 309602336 HAS SOUS 175729977 HAS SOUPS 175729977 WITH SCORE 1.76039579336E8
AT ITER 3033 NEW BEST:: SOT 1308801314 SOS 309601424 HAS SOPS 309601424 HAS SOUS 175729521 HAS SOUPS 175729521 WITH SCORE 1.76039122424E8
AT ITER 3063 NEW BEST:: SOT 1308803019 SOS 309628677 HAS SOPS 309628677 HAS SOUS 175724981 HAS SOUPS 175724981 WITH SCORE 1.76034609677E8
AT ITER 3077 NEW BEST:: SOT 1308800576 SOS 309623791 HAS SOPS 309623791 HAS SOUS 175720095 HAS SOUPS 175720095 WITH SCORE 1.76029718791E8
AT ITER 3083 NEW BEST:: SOT 1308800576 SOS 309623791 HAS SOPS 309623791 HAS SOUS 175717407 HAS SOUPS 175717407 WITH SCORE 1.76027030791E8
AT ITER 3104 NEW BEST:: SOT 1308797682 SOS 309626682 HAS SOPS 309626682 HAS SOUS 175714512 HAS SOUPS 175714512 WITH SCORE 1.76024138682E8
AT ITER 3107 NEW BEST:: SOT 1308796550 SOS 309624418 HAS SOPS 309624418 HAS SOUS 175712248 HAS SOUPS 175712248 WITH SCORE 1.76021872418E8
AT ITER 3125 NEW BEST:: SOT 1308795532 SOS 309622382 HAS SOPS 309622382 HAS SOUS 175710212 HAS SOUPS 175710212 WITH SCORE 1.76019834382E8
AT ITER 3135 NEW BEST:: SOT 1308795532 SOS 309622382 HAS SOPS 309622382 HAS SOUS 175710211 HAS SOUPS 175710211 WITH SCORE 1.76019833382E8
AT ITER 3235 NEW BEST:: SOT 1308791235 SOS 309613788 HAS SOPS 309613788 HAS SOUS 175701152 HAS SOUPS 175701152 WITH SCORE 1.76010765788E8
AT ITER 3266 NEW BEST:: SOT 1308791631 SOS 309614577 HAS SOPS 309614577 HAS SOUS 175701151 HAS SOUPS 175701151 WITH SCORE 1.76010765577E8
AT ITER 3286 NEW BEST:: SOT 1308789111 SOS 309609537 HAS SOPS 309609537 HAS SOUS 175696111 HAS SOUPS 175696111 WITH SCORE 1.76005720537E8
AT ITER 3298 NEW BEST:: SOT 1308789109 SOS 309609533 HAS SOPS 309609533 HAS SOUS 175696107 HAS SOUPS 175696107 WITH SCORE 1.76005716533E8
AT ITER 3320 NEW BEST:: SOT 1308784643 SOS 309640795 HAS SOPS 309640795 HAS SOUS 175691641 HAS SOUPS 175691641 WITH SCORE 1.76001281795E8
AT ITER 3332 NEW BEST:: SOT 1308780759 SOS 309655163 HAS SOPS 309655163 HAS SOUS 175682745 HAS SOUPS 175682745 WITH SCORE 1.75992400163E8
AT ITER 3357 NEW BEST:: SOT 1308776536 SOS 309646717 HAS SOPS 309646717 HAS SOUS 175674299 HAS SOUPS 175674299 WITH SCORE 1.75983945717E8
AT ITER 3374 NEW BEST:: SOT 1308776536 SOS 309646717 HAS SOPS 309646717 HAS SOUS 175673303 HAS SOUPS 175673303 WITH SCORE 1.75982949717E8
AT ITER 3380 NEW BEST:: SOT 1308770114 SOS 309640295 HAS SOPS 309640295 HAS SOUS 175666881 HAS SOUPS 175666881 WITH SCORE 1.75976521295E8
AT ITER 3420 NEW BEST:: SOT 1308773660 SOS 309639360 HAS SOPS 309639360 HAS SOUS 175665946 HAS SOUPS 175665946 WITH SCORE 1.7597558536E8
AT ITER 3485 NEW BEST:: SOT 1308772139 SOS 309637839 HAS SOPS 309637839 HAS SOUS 175664425 HAS SOUPS 175664425 WITH SCORE 1.75974062839E8
AT ITER 3491 NEW BEST:: SOT 1308765305 SOS 309632519 HAS SOPS 309632519 HAS SOUS 175659105 HAS SOUPS 175659105 WITH SCORE 1.75968737519E8
AT ITER 3553 NEW BEST:: SOT 1308764164 SOS 309630237 HAS SOPS 309630237 HAS SOUS 175656823 HAS SOUPS 175656823 WITH SCORE 1.75966453237E8
AT ITER 3564 NEW BEST:: SOT 1308770225 SOS 309642358 HAS SOPS 309642358 HAS SOUS 175656230 HAS SOUPS 175656230 WITH SCORE 1.75965872358E8
AT ITER 3615 NEW BEST:: SOT 1308769824 SOS 309641556 HAS SOPS 309641556 HAS SOUS 175655428 HAS SOUPS 175655428 WITH SCORE 1.75965069556E8
AT ITER 3621 NEW BEST:: SOT 1308766749 SOS 309647706 HAS SOPS 309647706 HAS SOUS 175652353 HAS SOUPS 175652353 WITH SCORE 1.75962000706E8
AT ITER 3622 NEW BEST:: SOT 1308762663 SOS 309664530 HAS SOPS 309664530 HAS SOUS 175646811 HAS SOUPS 175646811 WITH SCORE 1.7595647553E8
AT ITER 3623 NEW BEST:: SOT 1308760390 SOS 309659984 HAS SOPS 309659984 HAS SOUS 175642265 HAS SOUPS 175642265 WITH SCORE 1.75951924984E8
AT ITER 3675 NEW BEST:: SOT 1308758650 SOS 309666581 HAS SOPS 309666581 HAS SOUS 175640525 HAS SOUPS 175640525 WITH SCORE 1.75950191581E8
AT ITER 3685 NEW BEST:: SOT 1308757271 SOS 309663823 HAS SOPS 309663823 HAS SOUS 175637767 HAS SOUPS 175637767 WITH SCORE 1.75947430823E8
AT ITER 3700 NEW BEST:: SOT 1308757269 SOS 309663819 HAS SOPS 309663819 HAS SOUS 175637763 HAS SOUPS 175637763 WITH SCORE 1.75947426819E8
AT ITER 3710 NEW BEST:: SOT 1308750783 SOS 309657329 HAS SOPS 309657329 HAS SOUS 175631276 HAS SOUPS 175631276 WITH SCORE 1.75940933329E8
AT ITER 3774 NEW BEST:: SOT 1308751484 SOS 309679550 HAS SOPS 309679550 HAS SOUS 175625736 HAS SOUPS 175625736 WITH SCORE 1.7593541555E8
AT ITER 3790 NEW BEST:: SOT 1308751484 SOS 309702664 HAS SOPS 309702664 HAS SOUS 175624138 HAS SOUPS 175624138 WITH SCORE 1.75933840664E8
AT ITER 3796 NEW BEST:: SOT 1308722202 SOS 309681368 HAS SOPS 309681368 HAS SOUS 175616152 HAS SOUPS 175616152 WITH SCORE 1.75925833368E8
AT ITER 3803 NEW BEST:: SOT 1308722202 SOS 309673115 HAS SOPS 309673115 HAS SOUS 175613401 HAS SOUPS 175613401 WITH SCORE 1.75923074115E8
AT ITER 3842 NEW BEST:: SOT 1308722202 SOS 309670734 HAS SOPS 309670734 HAS SOUS 175613401 HAS SOUPS 175613401 WITH SCORE 1.75923071734E8
AT ITER 3855 NEW BEST:: SOT 1308722202 SOS 309662868 HAS SOPS 309662868 HAS SOUS 175610779 HAS SOUPS 175610779 WITH SCORE 1.75920441868E8
AT ITER 3859 NEW BEST:: SOT 1308722202 SOS 309655854 HAS SOPS 309655854 HAS SOUS 175608441 HAS SOUPS 175608441 WITH SCORE 1.75918096854E8
AT ITER 3875 NEW BEST:: SOT 1308721827 SOS 309655104 HAS SOPS 309655104 HAS SOUS 175607691 HAS SOUPS 175607691 WITH SCORE 1.75917346104E8
AT ITER 3879 NEW BEST:: SOT 1308723615 SOS 309658680 HAS SOPS 309658680 HAS SOUS 175598633 HAS SOUPS 175598633 WITH SCORE 1.7590829168E8
AT ITER 3894 NEW BEST:: SOT 1308719092 SOS 309690341 HAS SOPS 309690341 HAS SOUS 175594110 HAS SOUPS 175594110 WITH SCORE 1.75903800341E8
AT ITER 3900 NEW BEST:: SOT 1308714784 SOS 309655877 HAS SOPS 309655877 HAS SOUS 175586526 HAS SOUPS 175586526 WITH SCORE 1.75896181877E8
AT ITER 3962 NEW BEST:: SOT 1308709385 SOS 309666346 HAS SOPS 309666346 HAS SOUS 175578857 HAS SOUPS 175578857 WITH SCORE 1.75888523346E8
AT ITER 3982 NEW BEST:: SOT 1308706488 SOS 309660552 HAS SOPS 309660552 HAS SOUS 175573063 HAS SOUPS 175573063 WITH SCORE 1.75882723552E8
AT ITER 3989 NEW BEST:: SOT 1308706486 SOS 309660548 HAS SOPS 309660548 HAS SOUS 175573059 HAS SOUPS 175573059 WITH SCORE 1.75882719548E8
AT ITER 3996 NEW BEST:: SOT 1308700972 SOS 309649520 HAS SOPS 309649520 HAS SOUS 175562031 HAS SOUPS 175562031 WITH SCORE 1.7587168052E8
AT ITER 4000 NEW BEST:: SOT 1308700972 SOS 309637319 HAS SOPS 309637319 HAS SOUS 175562030 HAS SOUPS 175562030 WITH SCORE 1.75871667319E8
AT ITER 4011 NEW BEST:: SOT 1308699017 SOS 309618688 HAS SOPS 309618688 HAS SOUS 175558120 HAS SOUPS 175558120 WITH SCORE 1.75867738688E8
AT ITER 4025 NEW BEST:: SOT 1308697713 SOS 309628266 HAS SOPS 309628266 HAS SOUS 175557523 HAS SOUPS 175557523 WITH SCORE 1.75867151266E8
AT ITER 4053 NEW BEST:: SOT 1308692438 SOS 309617716 HAS SOPS 309617716 HAS SOUS 175546973 HAS SOUPS 175546973 WITH SCORE 1.75856590716E8
AT ITER 4068 NEW BEST:: SOT 1308684140 SOS 309626014 HAS SOPS 309626014 HAS SOUS 175535781 HAS SOUPS 175535781 WITH SCORE 1.75845407014E8
AT ITER 4099 NEW BEST:: SOT 1308681164 SOS 309620062 HAS SOPS 309620062 HAS SOUS 175528890 HAS SOUPS 175528890 WITH SCORE 1.75838510062E8
AT ITER 4137 NEW BEST:: SOT 1308681164 SOS 309605683 HAS SOPS 309605683 HAS SOUS 175528889 HAS SOUPS 175528889 WITH SCORE 1.75838494683E8
AT ITER 4154 NEW BEST:: SOT 1308678714 SOS 309600783 HAS SOPS 309600783 HAS SOUS 175523989 HAS SOUPS 175523989 WITH SCORE 1.75833589783E8
AT ITER 4186 NEW BEST:: SOT 1308668918 SOS 309581191 HAS SOPS 309581191 HAS SOUS 175504397 HAS SOUPS 175504397 WITH SCORE 1.75813978191E8
AT ITER 4198 NEW BEST:: SOT 1308668918 SOS 309581235 HAS SOPS 309581235 HAS SOUS 175504395 HAS SOUPS 175504395 WITH SCORE 1.75813976235E8
AT ITER 4245 NEW BEST:: SOT 1308668918 SOS 309581235 HAS SOPS 309581235 HAS SOUS 175503947 HAS SOUPS 175503947 WITH SCORE 1.75813528235E8
AT ITER 4290 NEW BEST:: SOT 1308665238 SOS 309584912 HAS SOPS 309584912 HAS SOUS 175500266 HAS SOUPS 175500266 WITH SCORE 1.75809850912E8
AT ITER 4296 NEW BEST:: SOT 1308657070 SOS 309577658 HAS SOPS 309577658 HAS SOUS 175493012 HAS SOUPS 175493012 WITH SCORE 1.75802589658E8
AT ITER 4303 NEW BEST:: SOT 1308656121 SOS 309576709 HAS SOPS 309576709 HAS SOUS 175492063 HAS SOUPS 175492063 WITH SCORE 1.75801639709E8
AT ITER 4334 NEW BEST:: SOT 1308654942 SOS 309576226 HAS SOPS 309576226 HAS SOUS 175491509 HAS SOUPS 175491509 WITH SCORE 1.75801085226E8
AT ITER 4353 NEW BEST:: SOT 1308653575 SOS 309573492 HAS SOPS 309573492 HAS SOUS 175488775 HAS SOUPS 175488775 WITH SCORE 1.75798348492E8
AT ITER 4368 NEW BEST:: SOT 1308652627 SOS 309571596 HAS SOPS 309571596 HAS SOUS 175487827 HAS SOUPS 175487827 WITH SCORE 1.75797398596E8
AT ITER 4398 NEW BEST:: SOT 1308652901 SOS 309572144 HAS SOPS 309572144 HAS SOUS 175478237 HAS SOUPS 175478237 WITH SCORE 1.75787809144E8
AT ITER 4407 NEW BEST:: SOT 1308652901 SOS 309572144 HAS SOPS 309572144 HAS SOUS 175478236 HAS SOUPS 175478236 WITH SCORE 1.75787808144E8
AT ITER 4421 NEW BEST:: SOT 1308646364 SOS 309565607 HAS SOPS 309565607 HAS SOUS 175471699 HAS SOUPS 175471699 WITH SCORE 1.75781264607E8
AT ITER 4437 NEW BEST:: SOT 1308644920 SOS 309562719 HAS SOPS 309562719 HAS SOUS 175468811 HAS SOUPS 175468811 WITH SCORE 1.75778373719E8
AT ITER 4452 NEW BEST:: SOT 1308639948 SOS 309552775 HAS SOPS 309552775 HAS SOUS 175458867 HAS SOUPS 175458867 WITH SCORE 1.75768419775E8
AT ITER 4456 NEW BEST:: SOT 1308632128 SOS 309544955 HAS SOPS 309544955 HAS SOUS 175451047 HAS SOUPS 175451047 WITH SCORE 1.75760591955E8
AT ITER 4480 NEW BEST:: SOT 1308630107 SOS 309540913 HAS SOPS 309540913 HAS SOUS 175447005 HAS SOUPS 175447005 WITH SCORE 1.75756545913E8
AT ITER 4491 NEW BEST:: SOT 1308630107 SOS 309536116 HAS SOPS 309536116 HAS SOUS 175445406 HAS SOUPS 175445406 WITH SCORE 1.75754942116E8
AT ITER 4501 NEW BEST:: SOT 1308624121 SOS 309506186 HAS SOPS 309506186 HAS SOUS 175433434 HAS SOUPS 175433434 WITH SCORE 1.75742940186E8
AT ITER 4546 NEW BEST:: SOT 1308624121 SOS 309503817 HAS SOPS 309503817 HAS SOUS 175430206 HAS SOUPS 175430206 WITH SCORE 1.75739709817E8
AT ITER 4563 NEW BEST:: SOT 1308619638 SOS 309505633 HAS SOPS 309505633 HAS SOUS 175423480 HAS SOUPS 175423480 WITH SCORE 1.75732985633E8
AT ITER 4589 NEW BEST:: SOT 1308619638 SOS 309502491 HAS SOPS 309502491 HAS SOUS 175421909 HAS SOUPS 175421909 WITH SCORE 1.75731411491E8
AT ITER 4603 NEW BEST:: SOT 1308613871 SOS 309496720 HAS SOPS 309496720 HAS SOUS 175416141 HAS SOUPS 175416141 WITH SCORE 1.7572563772E8
AT ITER 4620 NEW BEST:: SOT 1308613871 SOS 309487735 HAS SOPS 309487735 HAS SOUS 175413146 HAS SOUPS 175413146 WITH SCORE 1.75722633735E8
AT ITER 4639 NEW BEST:: SOT 1308613871 SOS 309487735 HAS SOPS 309487735 HAS SOUS 175413142 HAS SOUPS 175413142 WITH SCORE 1.75722629735E8
AT ITER 4655 NEW BEST:: SOT 1308613701 SOS 309487395 HAS SOPS 309487395 HAS SOUS 175412802 HAS SOUPS 175412802 WITH SCORE 1.75722289395E8
AT ITER 4685 NEW BEST:: SOT 1308617746 SOS 309474689 HAS SOPS 309474689 HAS SOUS 175411937 HAS SOUPS 175411937 WITH SCORE 1.75721411689E8
AT ITER 4695 NEW BEST:: SOT 1308609762 SOS 309466705 HAS SOPS 309466705 HAS SOUS 175395969 HAS SOUPS 175395969 WITH SCORE 1.75705435705E8
AT ITER 4698 NEW BEST:: SOT 1308603057 SOS 309460000 HAS SOPS 309460000 HAS SOUS 175389264 HAS SOUPS 175389264 WITH SCORE 1.75698724E8
AT ITER 4701 NEW BEST:: SOT 1308604327 SOS 309459999 HAS SOPS 309459999 HAS SOUS 175389262 HAS SOUPS 175389262 WITH SCORE 1.75698721999E8
AT ITER 4711 NEW BEST:: SOT 1308604327 SOS 309459995 HAS SOPS 309459995 HAS SOUS 175387425 HAS SOUPS 175387425 WITH SCORE 1.75696884995E8
AT ITER 4724 NEW BEST:: SOT 1308604326 SOS 309458859 HAS SOPS 309458859 HAS SOUS 175386289 HAS SOUPS 175386289 WITH SCORE 1.75695747859E8
AT ITER 4729 NEW BEST:: SOT 1308604325 SOS 309458857 HAS SOPS 309458857 HAS SOUS 175386287 HAS SOUPS 175386287 WITH SCORE 1.75695745857E8
AT ITER 4740 NEW BEST:: SOT 1308603819 SOS 309457845 HAS SOPS 309457845 HAS SOUS 175385275 HAS SOUPS 175385275 WITH SCORE 1.75694732845E8
AT ITER 4754 NEW BEST:: SOT 1308601638 SOS 309457841 HAS SOPS 309457841 HAS SOUS 175385274 HAS SOUPS 175385274 WITH SCORE 1.75694731841E8
AT ITER 4769 NEW BEST:: SOT 1308598514 SOS 309451593 HAS SOPS 309451593 HAS SOUS 175383336 HAS SOUPS 175383336 WITH SCORE 1.75692787593E8
AT ITER 4781 NEW BEST:: SOT 1308594713 SOS 309455387 HAS SOPS 309455387 HAS SOUS 175379533 HAS SOUPS 175379533 WITH SCORE 1.75688988387E8
AT ITER 4790 NEW BEST:: SOT 1308594713 SOS 309443876 HAS SOPS 309443876 HAS SOUS 175379532 HAS SOUPS 175379532 WITH SCORE 1.75688975876E8
AT ITER 4794 NEW BEST:: SOT 1308596736 SOS 309442858 HAS SOPS 309442858 HAS SOUS 175378514 HAS SOUPS 175378514 WITH SCORE 1.75687956858E8
AT ITER 4800 NEW BEST:: SOT 1308596636 SOS 309442658 HAS SOPS 309442658 HAS SOUS 175378314 HAS SOUPS 175378314 WITH SCORE 1.75687756658E8
AT ITER 4818 NEW BEST:: SOT 1308596064 SOS 309443798 HAS SOPS 309443798 HAS SOUS 175377741 HAS SOUPS 175377741 WITH SCORE 1.75687184798E8
AT ITER 4820 NEW BEST:: SOT 1308596320 SOS 309444310 HAS SOPS 309444310 HAS SOUS 175370755 HAS SOUPS 175370755 WITH SCORE 1.7568019931E8
AT ITER 4830 NEW BEST:: SOT 1308596320 SOS 309446002 HAS SOPS 309446002 HAS SOUS 175370753 HAS SOUPS 175370753 WITH SCORE 1.75680199002E8
AT ITER 4860 NEW BEST:: SOT 1308594499 SOS 309442360 HAS SOPS 309442360 HAS SOUS 175367111 HAS SOUPS 175367111 WITH SCORE 1.7567655336E8
AT ITER 4862 NEW BEST:: SOT 1308596761 SOS 309442360 HAS SOPS 309442360 HAS SOUS 175367110 HAS SOUPS 175367110 WITH SCORE 1.7567655236E8
AT ITER 4913 NEW BEST:: SOT 1308593855 SOS 309436548 HAS SOPS 309436548 HAS SOUS 175365865 HAS SOUPS 175365865 WITH SCORE 1.75675301548E8
AT ITER 4929 NEW BEST:: SOT 1308592950 SOS 309434738 HAS SOPS 309434738 HAS SOUS 175364055 HAS SOUPS 175364055 WITH SCORE 1.75673489738E8
AT ITER 5015 NEW BEST:: SOT 1308585522 SOS 309427310 HAS SOPS 309427310 HAS SOUS 175356627 HAS SOUPS 175356627 WITH SCORE 1.7566605431E8
AT ITER 5031 NEW BEST:: SOT 1308584109 SOS 309427202 HAS SOPS 309427202 HAS SOUS 175356386 HAS SOUPS 175356386 WITH SCORE 1.75665813202E8
AT ITER 5041 NEW BEST:: SOT 1308582179 SOS 309425272 HAS SOPS 309425272 HAS SOUS 175356386 HAS SOUPS 175356386 WITH SCORE 1.75665811272E8
AT ITER 5042 NEW BEST:: SOT 1308582179 SOS 309410383 HAS SOPS 309410383 HAS SOUS 175356385 HAS SOUPS 175356385 WITH SCORE 1.75665795383E8
AT ITER 5050 NEW BEST:: SOT 1308583146 SOS 309410282 HAS SOPS 309410282 HAS SOUS 175356284 HAS SOUPS 175356284 WITH SCORE 1.75665694282E8
AT ITER 5051 NEW BEST:: SOT 1308578918 SOS 309401826 HAS SOPS 309401826 HAS SOUS 175347828 HAS SOUPS 175347828 WITH SCORE 1.75657229826E8
AT ITER 5076 NEW BEST:: SOT 1308578668 SOS 309402072 HAS SOPS 309402072 HAS SOUS 175347827 HAS SOUPS 175347827 WITH SCORE 1.75657229072E8
AT ITER 5079 NEW BEST:: SOT 1308578167 SOS 309401070 HAS SOPS 309401070 HAS SOUS 175344826 HAS SOUPS 175344826 WITH SCORE 1.7565422707E8
AT ITER 5125 NEW BEST:: SOT 1308575792 SOS 309405812 HAS SOPS 309405812 HAS SOUS 175342449 HAS SOUPS 175342449 WITH SCORE 1.75651854812E8
AT ITER 5141 NEW BEST:: SOT 1308574886 SOS 309404906 HAS SOPS 309404906 HAS SOUS 175341543 HAS SOUPS 175341543 WITH SCORE 1.75650947906E8
AT ITER 5184 NEW BEST:: SOT 1308561126 SOS 309384266 HAS SOPS 309384266 HAS SOUS 175320903 HAS SOUPS 175320903 WITH SCORE 1.75630287266E8
AT ITER 5196 NEW BEST:: SOT 1308561126 SOS 309375665 HAS SOPS 309375665 HAS SOUS 175318036 HAS SOUPS 175318036 WITH SCORE 1.75627411665E8
AT ITER 5205 NEW BEST:: SOT 1308556191 SOS 309370730 HAS SOPS 309370730 HAS SOUS 175313101 HAS SOUPS 175313101 WITH SCORE 1.7562247173E8
AT ITER 5211 NEW BEST:: SOT 1308553795 SOS 309375518 HAS SOPS 309375518 HAS SOUS 175310704 HAS SOUPS 175310704 WITH SCORE 1.75620079518E8
AT ITER 5215 NEW BEST:: SOT 1308553795 SOS 309388267 HAS SOPS 309388267 HAS SOUS 175306452 HAS SOUPS 175306452 WITH SCORE 1.75615840267E8
AT ITER 5239 NEW BEST:: SOT 1308555141 SOS 309362221 HAS SOPS 309362221 HAS SOUS 175304222 HAS SOUPS 175304222 WITH SCORE 1.75613584221E8
AT ITER 5243 NEW BEST:: SOT 1308551910 SOS 309349297 HAS SOPS 309349297 HAS SOUS 175300991 HAS SOUPS 175300991 WITH SCORE 1.75610340297E8
AT ITER 5260 NEW BEST:: SOT 1308551237 SOS 309347951 HAS SOPS 309347951 HAS SOUS 175300317 HAS SOUPS 175300317 WITH SCORE 1.75609664951E8
AT ITER 5288 NEW BEST:: SOT 1308550119 SOS 309345715 HAS SOPS 309345715 HAS SOUS 175299199 HAS SOUPS 175299199 WITH SCORE 1.75608544715E8
AT ITER 5315 NEW BEST:: SOT 1308550119 SOS 309345715 HAS SOPS 309345715 HAS SOUS 175299198 HAS SOUPS 175299198 WITH SCORE 1.75608543715E8
AT ITER 5326 NEW BEST:: SOT 1308550119 SOS 309347645 HAS SOPS 309347645 HAS SOUS 175299196 HAS SOUPS 175299196 WITH SCORE 1.75608543645E8
AT ITER 5385 NEW BEST:: SOT 1308547804 SOS 309352267 HAS SOPS 309352267 HAS SOUS 175296879 HAS SOUPS 175296879 WITH SCORE 1.75606231267E8
AT ITER 5400 NEW BEST:: SOT 1308546923 SOS 309352266 HAS SOPS 309352266 HAS SOUS 175296878 HAS SOUPS 175296878 WITH SCORE 1.75606230266E8
AT ITER 5418 NEW BEST:: SOT 1308546923 SOS 309352266 HAS SOPS 309352266 HAS SOUS 175296877 HAS SOUPS 175296877 WITH SCORE 1.75606229266E8
AT ITER 5434 NEW BEST:: SOT 1308453319 SOS 310518511 HAS SOPS 310518511 HAS SOUS 175225782 HAS SOUPS 175225782 WITH SCORE 1.75536300511E8
AT ITER 5452 NEW BEST:: SOT 1308451361 SOS 310516553 HAS SOPS 310516553 HAS SOUS 175223824 HAS SOUPS 175223824 WITH SCORE 1.75534340553E8
AT ITER 5486 NEW BEST:: SOT 1308441157 SOS 310511451 HAS SOPS 310511451 HAS SOUS 175218722 HAS SOUPS 175218722 WITH SCORE 1.75529233451E8
AT ITER 5487 NEW BEST:: SOT 1308441820 SOS 310512777 HAS SOPS 310512777 HAS SOUS 175213275 HAS SOUPS 175213275 WITH SCORE 1.75523787777E8
AT ITER 5620 NEW BEST:: SOT 1308441710 SOS 310512557 HAS SOPS 310512557 HAS SOUS 175213055 HAS SOUPS 175213055 WITH SCORE 1.75523567557E8
AT ITER 5666 NEW BEST:: SOT 1308441709 SOS 310512555 HAS SOPS 310512555 HAS SOUS 175213053 HAS SOUPS 175213053 WITH SCORE 1.75523565555E8
AT ITER 5689 NEW BEST:: SOT 1308441104 SOS 310511345 HAS SOPS 310511345 HAS SOUS 175211843 HAS SOUPS 175211843 WITH SCORE 1.75522354345E8
AT ITER 5711 NEW BEST:: SOT 1308436614 SOS 310502365 HAS SOPS 310502365 HAS SOUS 175202863 HAS SOUPS 175202863 WITH SCORE 1.75513365365E8
AT ITER 5719 NEW BEST:: SOT 1308433493 SOS 310496123 HAS SOPS 310496123 HAS SOUS 175196621 HAS SOUPS 175196621 WITH SCORE 1.75507117123E8
AT ITER 5721 NEW BEST:: SOT 1308431180 SOS 310496822 HAS SOPS 310496822 HAS SOUS 175193153 HAS SOUPS 175193153 WITH SCORE 1.75503649822E8
AT ITER 5750 NEW BEST:: SOT 1308431180 SOS 310493297 HAS SOPS 310493297 HAS SOUS 175193153 HAS SOUPS 175193153 WITH SCORE 1.75503646297E8
AT ITER 5767 NEW BEST:: SOT 1308418745 SOS 310468427 HAS SOPS 310468427 HAS SOUS 175168283 HAS SOUPS 175168283 WITH SCORE 1.75478751427E8
AT ITER 5775 NEW BEST:: SOT 1308416894 SOS 310472121 HAS SOPS 310472121 HAS SOUS 175166430 HAS SOUPS 175166430 WITH SCORE 1.75476902121E8
AT ITER 5788 NEW BEST:: SOT 1308415432 SOS 310494693 HAS SOPS 310494693 HAS SOUS 175161208 HAS SOUPS 175161208 WITH SCORE 1.75471702693E8
AT ITER 5807 NEW BEST:: SOT 1308415431 SOS 310494691 HAS SOPS 310494691 HAS SOUS 175161206 HAS SOUPS 175161206 WITH SCORE 1.75471700691E8
AT ITER 5829 NEW BEST:: SOT 1308406714 SOS 310488836 HAS SOPS 310488836 HAS SOUS 175153932 HAS SOUPS 175153932 WITH SCORE 1.75464420836E8
AT ITER 5836 NEW BEST:: SOT 1308403561 SOS 310482530 HAS SOPS 310482530 HAS SOUS 175152065 HAS SOUPS 175152065 WITH SCORE 1.7546254753E8
AT ITER 5878 NEW BEST:: SOT 1308398410 SOS 310472228 HAS SOPS 310472228 HAS SOUS 175141763 HAS SOUPS 175141763 WITH SCORE 1.75452235228E8
AT ITER 5927 NEW BEST:: SOT 1308395911 SOS 310469759 HAS SOPS 310469759 HAS SOUS 175139281 HAS SOUPS 175139281 WITH SCORE 1.75449750759E8
AT ITER 5931 NEW BEST:: SOT 1308391172 SOS 310480819 HAS SOPS 310480819 HAS SOUS 175135275 HAS SOUPS 175135275 WITH SCORE 1.75445755819E8
AT ITER 5965 NEW BEST:: SOT 1308390910 SOS 310480295 HAS SOPS 310480295 HAS SOUS 175131890 HAS SOUPS 175131890 WITH SCORE 1.75442370295E8
AT ITER 5973 NEW BEST:: SOT 1308389034 SOS 310478419 HAS SOPS 310478419 HAS SOUS 175130014 HAS SOUPS 175130014 WITH SCORE 1.75440492419E8
AT ITER 5981 NEW BEST:: SOT 1308389034 SOS 310481384 HAS SOPS 310481384 HAS SOUS 175128529 HAS SOUPS 175128529 WITH SCORE 1.75439010384E8
AT ITER 6088 NEW BEST:: SOT 1308382566 SOS 310478150 HAS SOPS 310478150 HAS SOUS 175125295 HAS SOUPS 175125295 WITH SCORE 1.7543577315E8
AT ITER 6117 NEW BEST:: SOT 1308382566 SOS 310470275 HAS SOPS 310470275 HAS SOUS 175122670 HAS SOUPS 175122670 WITH SCORE 1.75433140275E8
AT ITER 6122 NEW BEST:: SOT 1308376510 SOS 310487535 HAS SOPS 310487535 HAS SOUS 175110557 HAS SOUPS 175110557 WITH SCORE 1.75421044535E8
AT ITER 6144 NEW BEST:: SOT 1308368537 SOS 310484099 HAS SOPS 310484099 HAS SOUS 175106754 HAS SOUPS 175106754 WITH SCORE 1.75417238099E8
AT ITER 6187 NEW BEST:: SOT 1308350475 SOS 310470963 HAS SOPS 310470963 HAS SOUS 175101828 HAS SOUPS 175101828 WITH SCORE 1.75412298963E8
AT ITER 6196 NEW BEST:: SOT 1308350475 SOS 310458897 HAS SOPS 310458897 HAS SOUS 175101827 HAS SOUPS 175101827 WITH SCORE 1.75412285897E8
AT ITER 6205 NEW BEST:: SOT 1308350475 SOS 310458897 HAS SOPS 310458897 HAS SOUS 175092381 HAS SOUPS 175092381 WITH SCORE 1.75402839897E8
AT ITER 6221 NEW BEST:: SOT 1308348344 SOS 310439107 HAS SOPS 310439107 HAS SOUS 175088119 HAS SOUPS 175088119 WITH SCORE 1.75398558107E8
AT ITER 6274 NEW BEST:: SOT 1308348344 SOS 310437745 HAS SOPS 310437745 HAS SOUS 175086757 HAS SOUPS 175086757 WITH SCORE 1.75397194745E8
AT ITER 6279 NEW BEST:: SOT 1308344868 SOS 310441221 HAS SOPS 310441221 HAS SOUS 175080680 HAS SOUPS 175080680 WITH SCORE 1.75391121221E8
AT ITER 6303 NEW BEST:: SOT 1308345298 SOS 310442081 HAS SOPS 310442081 HAS SOUS 175078925 HAS SOUPS 175078925 WITH SCORE 1.75389367081E8
AT ITER 6335 NEW BEST:: SOT 1308345298 SOS 310442081 HAS SOPS 310442081 HAS SOUS 175078924 HAS SOUPS 175078924 WITH SCORE 1.75389366081E8
AT ITER 6339 NEW BEST:: SOT 1308341380 SOS 310445992 HAS SOPS 310445992 HAS SOUS 175075004 HAS SOUPS 175075004 WITH SCORE 1.75385449992E8
AT ITER 6345 NEW BEST:: SOT 1308339072 SOS 310450604 HAS SOPS 310450604 HAS SOUS 175072695 HAS SOUPS 175072695 WITH SCORE 1.75383145604E8
AT ITER 6372 NEW BEST:: SOT 1308332243 SOS 310443973 HAS SOPS 310443973 HAS SOUS 175058955 HAS SOUPS 175058955 WITH SCORE 1.75369398973E8
AT ITER 6382 NEW BEST:: SOT 1308326132 SOS 310437858 HAS SOPS 310437858 HAS SOUS 175052843 HAS SOUPS 175052843 WITH SCORE 1.75363280858E8
AT ITER 6383 NEW BEST:: SOT 1308325908 SOS 310438078 HAS SOPS 310438078 HAS SOUS 175052394 HAS SOUPS 175052394 WITH SCORE 1.75362832078E8
AT ITER 6385 NEW BEST:: SOT 1308325899 SOS 310438068 HAS SOPS 310438068 HAS SOUS 175052386 HAS SOUPS 175052386 WITH SCORE 1.75362824068E8
AT ITER 6389 NEW BEST:: SOT 1308318961 SOS 310424192 HAS SOPS 310424192 HAS SOUS 175037843 HAS SOUPS 175037843 WITH SCORE 1.75348267192E8
AT ITER 6390 NEW BEST:: SOT 1308317582 SOS 310422813 HAS SOPS 310422813 HAS SOUS 175036464 HAS SOUPS 175036464 WITH SCORE 1.75346886813E8
AT ITER 6393 NEW BEST:: SOT 1308313231 SOS 310427157 HAS SOPS 310427157 HAS SOUS 175032111 HAS SOUPS 175032111 WITH SCORE 1.75342538157E8
AT ITER 6441 NEW BEST:: SOT 1308305162 SOS 310425044 HAS SOPS 310425044 HAS SOUS 175028717 HAS SOUPS 175028717 WITH SCORE 1.75339142044E8
AT ITER 6448 NEW BEST:: SOT 1308304416 SOS 310423552 HAS SOPS 310423552 HAS SOUS 175027225 HAS SOUPS 175027225 WITH SCORE 1.75337648552E8
AT ITER 6451 NEW BEST:: SOT 1308302307 SOS 310425661 HAS SOPS 310425661 HAS SOUS 175025116 HAS SOUPS 175025116 WITH SCORE 1.75335541661E8
AT ITER 6464 NEW BEST:: SOT 1308296721 SOS 310420075 HAS SOPS 310420075 HAS SOUS 175019530 HAS SOUPS 175019530 WITH SCORE 1.75329950075E8
AT ITER 6499 NEW BEST:: SOT 1308296494 SOS 310419621 HAS SOPS 310419621 HAS SOUS 175019076 HAS SOUPS 175019076 WITH SCORE 1.75329495621E8
AT ITER 6508 NEW BEST:: SOT 1308290448 SOS 310433860 HAS SOPS 310433860 HAS SOUS 175009844 HAS SOUPS 175009844 WITH SCORE 1.7532027786E8
AT ITER 6516 NEW BEST:: SOT 1308290448 SOS 310426876 HAS SOPS 310426876 HAS SOUS 175007516 HAS SOUPS 175007516 WITH SCORE 1.75317942876E8
AT ITER 6531 NEW BEST:: SOT 1308288384 SOS 310422748 HAS SOPS 310422748 HAS SOUS 175005452 HAS SOUPS 175005452 WITH SCORE 1.75315874748E8
AT ITER 6566 NEW BEST:: SOT 1308285856 SOS 310441529 HAS SOPS 310441529 HAS SOUS 174998564 HAS SOUPS 174998564 WITH SCORE 1.75309005529E8
AT ITER 6581 NEW BEST:: SOT 1308284924 SOS 310439665 HAS SOPS 310439665 HAS SOUS 174996700 HAS SOUPS 174996700 WITH SCORE 1.75307139665E8
AT ITER 6593 NEW BEST:: SOT 1308274496 SOS 310432081 HAS SOPS 310432081 HAS SOUS 174993856 HAS SOUPS 174993856 WITH SCORE 1.75304288081E8
AT ITER 6628 NEW BEST:: SOT 1308274496 SOS 310430545 HAS SOPS 310430545 HAS SOUS 174993088 HAS SOUPS 174993088 WITH SCORE 1.75303518545E8
AT ITER 6647 NEW BEST:: SOT 1308270252 SOS 310422057 HAS SOPS 310422057 HAS SOUS 174989835 HAS SOUPS 174989835 WITH SCORE 1.75300257057E8
AT ITER 6652 NEW BEST:: SOT 1308269106 SOS 310420911 HAS SOPS 310420911 HAS SOUS 174988689 HAS SOUPS 174988689 WITH SCORE 1.75299109911E8
AT ITER 6668 NEW BEST:: SOT 1308265537 SOS 310424476 HAS SOPS 310424476 HAS SOUS 174987365 HAS SOUPS 174987365 WITH SCORE 1.75297789476E8
AT ITER 6695 NEW BEST:: SOT 1308257265 SOS 310416200 HAS SOPS 310416200 HAS SOUS 174979092 HAS SOUPS 174979092 WITH SCORE 1.752895082E8
AT ITER 6696 NEW BEST:: SOT 1308249517 SOS 310408448 HAS SOPS 310408448 HAS SOUS 174971343 HAS SOUPS 174971343 WITH SCORE 1.75281751448E8
AT ITER 6703 NEW BEST:: SOT 1308224264 SOS 310393222 HAS SOPS 310393222 HAS SOUS 174968717 HAS SOUPS 174968717 WITH SCORE 1.75279110222E8
AT ITER 6705 NEW BEST:: SOT 1308223159 SOS 310392117 HAS SOPS 310392117 HAS SOUS 174968717 HAS SOUPS 174968717 WITH SCORE 1.75279109117E8
AT ITER 6735 NEW BEST:: SOT 1308223159 SOS 310384296 HAS SOPS 310384296 HAS SOUS 174966110 HAS SOUPS 174966110 WITH SCORE 1.75276494296E8
AT ITER 6745 NEW BEST:: SOT 1308218897 SOS 310388558 HAS SOPS 310388558 HAS SOUS 174958848 HAS SOUPS 174958848 WITH SCORE 1.75269236558E8
AT ITER 6766 NEW BEST:: SOT 1308217167 SOS 310386828 HAS SOPS 310386828 HAS SOUS 174957118 HAS SOUPS 174957118 WITH SCORE 1.75267504828E8
AT ITER 6775 NEW BEST:: SOT 1308211275 SOS 310380936 HAS SOPS 310380936 HAS SOUS 174951226 HAS SOUPS 174951226 WITH SCORE 1.75261606936E8
AT ITER 6861 NEW BEST:: SOT 1308211275 SOS 310379398 HAS SOPS 310379398 HAS SOUS 174951226 HAS SOUPS 174951226 WITH SCORE 1.75261605398E8
AT ITER 6892 NEW BEST:: SOT 1308211275 SOS 310368634 HAS SOPS 310368634 HAS SOUS 174948159 HAS SOUPS 174948159 WITH SCORE 1.75258527634E8
AT ITER 6908 NEW BEST:: SOT 1308211275 SOS 310366256 HAS SOPS 310366256 HAS SOUS 174946970 HAS SOUPS 174946970 WITH SCORE 1.75257336256E8
AT ITER 6931 NEW BEST:: SOT 1308211275 SOS 310366256 HAS SOPS 310366256 HAS SOUS 174938810 HAS SOUPS 174938810 WITH SCORE 1.75249176256E8
AT ITER 6957 NEW BEST:: SOT 1308210845 SOS 310365396 HAS SOPS 310365396 HAS SOUS 174937950 HAS SOUPS 174937950 WITH SCORE 1.75248315396E8
AT ITER 6987 NEW BEST:: SOT 1308210844 SOS 310365394 HAS SOPS 310365394 HAS SOUS 174937948 HAS SOUPS 174937948 WITH SCORE 1.75248313394E8
AT ITER 7009 NEW BEST:: SOT 1308210746 SOS 310365198 HAS SOPS 310365198 HAS SOUS 174931733 HAS SOUPS 174931733 WITH SCORE 1.75242098198E8
AT ITER 7016 NEW BEST:: SOT 1308210987 SOS 310349327 HAS SOPS 310349327 HAS SOUS 174926643 HAS SOUPS 174926643 WITH SCORE 1.75236992327E8
AT ITER 7029 NEW BEST:: SOT 1308209036 SOS 310345425 HAS SOPS 310345425 HAS SOUS 174924690 HAS SOUPS 174924690 WITH SCORE 1.75235035425E8
AT ITER 7045 NEW BEST:: SOT 1308209036 SOS 310343593 HAS SOPS 310343593 HAS SOUS 174924690 HAS SOUPS 174924690 WITH SCORE 1.75235033593E8
AT ITER 7098 NEW BEST:: SOT 1308198700 SOS 310334723 HAS SOPS 310334723 HAS SOUS 174914464 HAS SOUPS 174914464 WITH SCORE 1.75224798723E8
AT ITER 7109 NEW BEST:: SOT 1308198700 SOS 310321385 HAS SOPS 310321385 HAS SOUS 174914463 HAS SOUPS 174914463 WITH SCORE 1.75224784385E8
AT ITER 7141 NEW BEST:: SOT 1308198521 SOS 310321027 HAS SOPS 310321027 HAS SOUS 174914105 HAS SOUPS 174914105 WITH SCORE 1.75224426027E8
AT ITER 7183 NEW BEST:: SOT 1308194943 SOS 310313871 HAS SOPS 310313871 HAS SOUS 174906949 HAS SOUPS 174906949 WITH SCORE 1.75217262871E8
AT ITER 7187 NEW BEST:: SOT 1308185439 SOS 310304367 HAS SOPS 310304367 HAS SOUS 174897445 HAS SOUPS 174897445 WITH SCORE 1.75207749367E8
AT ITER 7270 NEW BEST:: SOT 1308185008 SOS 310304366 HAS SOPS 310304366 HAS SOUS 174897444 HAS SOUPS 174897444 WITH SCORE 1.75207748366E8
AT ITER 7289 NEW BEST:: SOT 1308180937 SOS 310308434 HAS SOPS 310308434 HAS SOUS 174893372 HAS SOUPS 174893372 WITH SCORE 1.75203680434E8
AT ITER 7299 NEW BEST:: SOT 1308178531 SOS 310303622 HAS SOPS 310303622 HAS SOUS 174888019 HAS SOUPS 174888019 WITH SCORE 1.75198322622E8
AT ITER 7301 NEW BEST:: SOT 1308178228 SOS 310303621 HAS SOPS 310303621 HAS SOUS 174888018 HAS SOUPS 174888018 WITH SCORE 1.75198321621E8
AT ITER 7303 NEW BEST:: SOT 1308178228 SOS 310310275 HAS SOPS 310310275 HAS SOUS 174885909 HAS SOUPS 174885909 WITH SCORE 1.75196219275E8
AT ITER 7328 NEW BEST:: SOT 1308177577 SOS 310308974 HAS SOPS 310308974 HAS SOUS 174884608 HAS SOUPS 174884608 WITH SCORE 1.75194916974E8
AT ITER 7357 NEW BEST:: SOT 1308172290 SOS 310303683 HAS SOPS 310303683 HAS SOUS 174879320 HAS SOUPS 174879320 WITH SCORE 1.75189623683E8
AT ITER 7383 NEW BEST:: SOT 1308172290 SOS 310303683 HAS SOPS 310303683 HAS SOUS 174877731 HAS SOUPS 174877731 WITH SCORE 1.75188034683E8
AT ITER 7413 NEW BEST:: SOT 1308171326 SOS 310301755 HAS SOPS 310301755 HAS SOUS 174875803 HAS SOUPS 174875803 WITH SCORE 1.75186104755E8
AT ITER 7421 NEW BEST:: SOT 1308171326 SOS 310294483 HAS SOPS 310294483 HAS SOUS 174873379 HAS SOUPS 174873379 WITH SCORE 1.75183673483E8
AT ITER 7426 NEW BEST:: SOT 1308168138 SOS 310288107 HAS SOPS 310288107 HAS SOUS 174871403 HAS SOUPS 174871403 WITH SCORE 1.75181691107E8
AT ITER 7532 NEW BEST:: SOT 1308161907 SOS 310285234 HAS SOPS 310285234 HAS SOUS 174865172 HAS SOUPS 174865172 WITH SCORE 1.75175457234E8
AT ITER 7536 NEW BEST:: SOT 1308155960 SOS 310279283 HAS SOPS 310279283 HAS SOUS 174859224 HAS SOUPS 174859224 WITH SCORE 1.75169503283E8
AT ITER 7562 NEW BEST:: SOT 1308146718 SOS 310274662 HAS SOPS 310274662 HAS SOUS 174854603 HAS SOUPS 174854603 WITH SCORE 1.75164877662E8
AT ITER 7584 NEW BEST:: SOT 1308146718 SOS 310274662 HAS SOPS 310274662 HAS SOUS 174842936 HAS SOUPS 174842936 WITH SCORE 1.75153210662E8
AT ITER 7591 NEW BEST:: SOT 1308145203 SOS 310277684 HAS SOPS 310277684 HAS SOUS 174841419 HAS SOUPS 174841419 WITH SCORE 1.75151696684E8
AT ITER 7604 NEW BEST:: SOT 1308139380 SOS 310271861 HAS SOPS 310271861 HAS SOUS 174835596 HAS SOUPS 174835596 WITH SCORE 1.75145867861E8
AT ITER 7642 NEW BEST:: SOT 1308139380 SOS 310270810 HAS SOPS 310270810 HAS SOUS 174834545 HAS SOUPS 174834545 WITH SCORE 1.7514481581E8
AT ITER 7691 NEW BEST:: SOT 1308127747 SOS 310283664 HAS SOPS 310283664 HAS SOUS 174833839 HAS SOUPS 174833839 WITH SCORE 1.75144122664E8
AT ITER 7702 NEW BEST:: SOT 1308121521 SOS 310280808 HAS SOPS 310280808 HAS SOUS 174830983 HAS SOUPS 174830983 WITH SCORE 1.75141263808E8
AT ITER 7726 NEW BEST:: SOT 1308118294 SOS 310274354 HAS SOPS 310274354 HAS SOUS 174824529 HAS SOUPS 174824529 WITH SCORE 1.75134803354E8
AT ITER 7743 NEW BEST:: SOT 1308118294 SOS 310263968 HAS SOPS 310263968 HAS SOUS 174821067 HAS SOUPS 174821067 WITH SCORE 1.75131330968E8
AT ITER 7745 NEW BEST:: SOT 1308118294 SOS 310263968 HAS SOPS 310263968 HAS SOUS 174821066 HAS SOUPS 174821066 WITH SCORE 1.75131329968E8
AT ITER 7824 NEW BEST:: SOT 1308118294 SOS 310263968 HAS SOPS 310263968 HAS SOUS 174821065 HAS SOUPS 174821065 WITH SCORE 1.75131328968E8
AT ITER 7847 NEW BEST:: SOT 1308117397 SOS 310262174 HAS SOPS 310262174 HAS SOUS 174814044 HAS SOUPS 174814044 WITH SCORE 1.75124306174E8
AT ITER 7867 NEW BEST:: SOT 1308115486 SOS 310258352 HAS SOPS 310258352 HAS SOUS 174810222 HAS SOUPS 174810222 WITH SCORE 1.75120480352E8
AT ITER 7885 NEW BEST:: SOT 1308111336 SOS 310250052 HAS SOPS 310250052 HAS SOUS 174801922 HAS SOUPS 174801922 WITH SCORE 1.75112172052E8
AT ITER 7907 NEW BEST:: SOT 1308111336 SOS 310250052 HAS SOPS 310250052 HAS SOUS 174789470 HAS SOUPS 174789470 WITH SCORE 1.75099720052E8
AT ITER 7918 NEW BEST:: SOT 1308109680 SOS 310248396 HAS SOPS 310248396 HAS SOUS 174787814 HAS SOUPS 174787814 WITH SCORE 1.75098062396E8
AT ITER 7954 NEW BEST:: SOT 1308107107 SOS 310284154 HAS SOPS 310284154 HAS SOUS 174782667 HAS SOUPS 174782667 WITH SCORE 1.75092951154E8
AT ITER 7959 NEW BEST:: SOT 1308102771 SOS 310275482 HAS SOPS 310275482 HAS SOUS 174773995 HAS SOUPS 174773995 WITH SCORE 1.75084270482E8
AT ITER 7964 NEW BEST:: SOT 1308102770 SOS 310275480 HAS SOPS 310275480 HAS SOUS 174773993 HAS SOUPS 174773993 WITH SCORE 1.7508426848E8
AT ITER 8009 NEW BEST:: SOT 1308102770 SOS 310272444 HAS SOPS 310272444 HAS SOUS 174772981 HAS SOUPS 174772981 WITH SCORE 1.75083253444E8
AT ITER 8014 NEW BEST:: SOT 1308102770 SOS 310272444 HAS SOPS 310272444 HAS SOUS 174772980 HAS SOUPS 174772980 WITH SCORE 1.75083252444E8
AT ITER 8063 NEW BEST:: SOT 1308103559 SOS 310274022 HAS SOPS 310274022 HAS SOUS 174766790 HAS SOUPS 174766790 WITH SCORE 1.75077064022E8
AT ITER 8072 NEW BEST:: SOT 1308095923 SOS 310258749 HAS SOPS 310258749 HAS SOUS 174751517 HAS SOUPS 174751517 WITH SCORE 1.75061775749E8
AT ITER 8086 NEW BEST:: SOT 1308092506 SOS 310251915 HAS SOPS 310251915 HAS SOUS 174744683 HAS SOUPS 174744683 WITH SCORE 1.75054934915E8
AT ITER 8087 NEW BEST:: SOT 1308092505 SOS 310250205 HAS SOPS 310250205 HAS SOUS 174742973 HAS SOUPS 174742973 WITH SCORE 1.75053223205E8
AT ITER 8154 NEW BEST:: SOT 1308089914 SOS 310255379 HAS SOPS 310255379 HAS SOUS 174740380 HAS SOUPS 174740380 WITH SCORE 1.75050635379E8
AT ITER 8166 NEW BEST:: SOT 1308089914 SOS 310255379 HAS SOPS 310255379 HAS SOUS 174739918 HAS SOUPS 174739918 WITH SCORE 1.75050173379E8
AT ITER 8185 NEW BEST:: SOT 1308089076 SOS 310253703 HAS SOPS 310253703 HAS SOUS 174738242 HAS SOUPS 174738242 WITH SCORE 1.75048495703E8
AT ITER 8213 NEW BEST:: SOT 1308088751 SOS 310253053 HAS SOPS 310253053 HAS SOUS 174734310 HAS SOUPS 174734310 WITH SCORE 1.75044563053E8
AT ITER 8218 NEW BEST:: SOT 1308087987 SOS 310253049 HAS SOPS 310253049 HAS SOUS 174733927 HAS SOUPS 174733927 WITH SCORE 1.75044180049E8
AT ITER 8232 NEW BEST:: SOT 1308086500 SOS 310250075 HAS SOPS 310250075 HAS SOUS 174730953 HAS SOUPS 174730953 WITH SCORE 1.75041203075E8
AT ITER 8233 NEW BEST:: SOT 1308086498 SOS 310250071 HAS SOPS 310250071 HAS SOUS 174730949 HAS SOUPS 174730949 WITH SCORE 1.75041199071E8
AT ITER 8234 NEW BEST:: SOT 1308086498 SOS 310248298 HAS SOPS 310248298 HAS SOUS 174730949 HAS SOUPS 174730949 WITH SCORE 1.75041197298E8
AT ITER 8267 NEW BEST:: SOT 1308081045 SOS 310259546 HAS SOPS 310259546 HAS SOUS 174729715 HAS SOUPS 174729715 WITH SCORE 1.75039974546E8
AT ITER 8288 NEW BEST:: SOT 1308076010 SOS 310269926 HAS SOPS 310269926 HAS SOUS 174719040 HAS SOUPS 174719040 WITH SCORE 1.75029309926E8
AT ITER 8291 NEW BEST:: SOT 1308076010 SOS 310258301 HAS SOPS 310258301 HAS SOUS 174719039 HAS SOUPS 174719039 WITH SCORE 1.75029297301E8
AT ITER 8326 NEW BEST:: SOT 1308075292 SOS 310259733 HAS SOPS 310259733 HAS SOUS 174718320 HAS SOUPS 174718320 WITH SCORE 1.75028579733E8
AT ITER 8331 NEW BEST:: SOT 1308073590 SOS 310268965 HAS SOPS 310268965 HAS SOUS 174716618 HAS SOUPS 174716618 WITH SCORE 1.75026886965E8
AT ITER 8426 NEW BEST:: SOT 1308066830 SOS 310265581 HAS SOPS 310265581 HAS SOUS 174713237 HAS SOUPS 174713237 WITH SCORE 1.75023502581E8
AT ITER 8427 NEW BEST:: SOT 1308065981 SOS 310263883 HAS SOPS 310263883 HAS SOUS 174711539 HAS SOUPS 174711539 WITH SCORE 1.75021802883E8
AT ITER 8429 NEW BEST:: SOT 1308062620 SOS 310260522 HAS SOPS 310260522 HAS SOUS 174708178 HAS SOUPS 174708178 WITH SCORE 1.75018438522E8
AT ITER 8431 NEW BEST:: SOT 1308059806 SOS 310278347 HAS SOPS 310278347 HAS SOUS 174700858 HAS SOUPS 174700858 WITH SCORE 1.75011136347E8
AT ITER 8437 NEW BEST:: SOT 1308038908 SOS 310307357 HAS SOPS 310307357 HAS SOUS 174688896 HAS SOUPS 174688896 WITH SCORE 1.74999203357E8
AT ITER 8468 NEW BEST:: SOT 1308038209 SOS 310308052 HAS SOPS 310308052 HAS SOUS 174688895 HAS SOUPS 174688895 WITH SCORE 1.74999203052E8
AT ITER 8478 NEW BEST:: SOT 1308036830 SOS 310305294 HAS SOPS 310305294 HAS SOUS 174681284 HAS SOUPS 174681284 WITH SCORE 1.74991589294E8
AT ITER 8490 NEW BEST:: SOT 1308040241 SOS 310301613 HAS SOPS 310301613 HAS SOUS 174681194 HAS SOUPS 174681194 WITH SCORE 1.74991495613E8
AT ITER 8494 NEW BEST:: SOT 1308040241 SOS 310301613 HAS SOPS 310301613 HAS SOUS 174681193 HAS SOUPS 174681193 WITH SCORE 1.74991494613E8
AT ITER 8496 NEW BEST:: SOT 1308037519 SOS 310296169 HAS SOPS 310296169 HAS SOUS 174672212 HAS SOUPS 174672212 WITH SCORE 1.74982508169E8
AT ITER 8497 NEW BEST:: SOT 1308037519 SOS 310294842 HAS SOPS 310294842 HAS SOUS 174672212 HAS SOUPS 174672212 WITH SCORE 1.74982506842E8
AT ITER 8526 NEW BEST:: SOT 1308037519 SOS 310292696 HAS SOPS 310292696 HAS SOUS 174671139 HAS SOUPS 174671139 WITH SCORE 1.74981431696E8
AT ITER 8538 NEW BEST:: SOT 1308037519 SOS 310291268 HAS SOPS 310291268 HAS SOUS 174670425 HAS SOUPS 174670425 WITH SCORE 1.74980716268E8
AT ITER 8544 NEW BEST:: SOT 1308030169 SOS 310283914 HAS SOPS 310283914 HAS SOUS 174668414 HAS SOUPS 174668414 WITH SCORE 1.74978697914E8
AT ITER 8557 NEW BEST:: SOT 1308030008 SOS 310283591 HAS SOPS 310283591 HAS SOUS 174668090 HAS SOUPS 174668090 WITH SCORE 1.74978373591E8
AT ITER 8568 NEW BEST:: SOT 1308029373 SOS 310282321 HAS SOPS 310282321 HAS SOUS 174667455 HAS SOUPS 174667455 WITH SCORE 1.74977737321E8
AT ITER 8569 NEW BEST:: SOT 1308029372 SOS 310282319 HAS SOPS 310282319 HAS SOUS 174667453 HAS SOUPS 174667453 WITH SCORE 1.74977735319E8
AT ITER 8586 NEW BEST:: SOT 1308027166 SOS 310282315 HAS SOPS 310282315 HAS SOUS 174665814 HAS SOUPS 174665814 WITH SCORE 1.74976096315E8
AT ITER 8604 NEW BEST:: SOT 1308024100 SOS 310303567 HAS SOPS 310303567 HAS SOUS 174665778 HAS SOUPS 174665778 WITH SCORE 1.74976081567E8
AT ITER 8606 NEW BEST:: SOT 1308016503 SOS 310300868 HAS SOPS 310300868 HAS SOUS 174662346 HAS SOUPS 174662346 WITH SCORE 1.74972646868E8
AT ITER 8609 NEW BEST:: SOT 1308016503 SOS 310299312 HAS SOPS 310299312 HAS SOUS 174660790 HAS SOUPS 174660790 WITH SCORE 1.74971089312E8
AT ITER 8692 NEW BEST:: SOT 1308008491 SOS 310292165 HAS SOPS 310292165 HAS SOUS 174653643 HAS SOUPS 174653643 WITH SCORE 1.74963935165E8
AT ITER 8718 NEW BEST:: SOT 1308007929 SOS 310291041 HAS SOPS 310291041 HAS SOUS 174652519 HAS SOUPS 174652519 WITH SCORE 1.74962810041E8
AT ITER 8733 NEW BEST:: SOT 1307998461 SOS 310282312 HAS SOPS 310282312 HAS SOUS 174643437 HAS SOUPS 174643437 WITH SCORE 1.74953719312E8
AT ITER 8744 NEW BEST:: SOT 1307998461 SOS 310285484 HAS SOPS 310285484 HAS SOUS 174639626 HAS SOUPS 174639626 WITH SCORE 1.74949911484E8
AT ITER 8765 NEW BEST:: SOT 1307998461 SOS 310278233 HAS SOPS 310278233 HAS SOUS 174637209 HAS SOUPS 174637209 WITH SCORE 1.74947487233E8
AT ITER 8771 NEW BEST:: SOT 1307994198 SOS 310270091 HAS SOPS 310270091 HAS SOUS 174635926 HAS SOUPS 174635926 WITH SCORE 1.74946196091E8
AT ITER 8794 NEW BEST:: SOT 1307975537 SOS 310254851 HAS SOPS 310254851 HAS SOUS 174617265 HAS SOUPS 174617265 WITH SCORE 1.74927519851E8
AT ITER 8797 NEW BEST:: SOT 1307972819 SOS 310253947 HAS SOPS 310253947 HAS SOUS 174611829 HAS SOUPS 174611829 WITH SCORE 1.74922082947E8
AT ITER 8804 NEW BEST:: SOT 1307969374 SOS 310278052 HAS SOPS 310278052 HAS SOUS 174604938 HAS SOUPS 174604938 WITH SCORE 1.74915216052E8
AT ITER 8854 NEW BEST:: SOT 1307966995 SOS 310273294 HAS SOPS 310273294 HAS SOUS 174600180 HAS SOUPS 174600180 WITH SCORE 1.74910453294E8
AT ITER 8876 NEW BEST:: SOT 1307965100 SOS 310275189 HAS SOPS 310275189 HAS SOUS 174596390 HAS SOUPS 174596390 WITH SCORE 1.74906665189E8
AT ITER 8903 NEW BEST:: SOT 1307959507 SOS 310264003 HAS SOPS 310264003 HAS SOUS 174585204 HAS SOUPS 174585204 WITH SCORE 1.74895468003E8
AT ITER 8916 NEW BEST:: SOT 1307959507 SOS 310264003 HAS SOPS 310264003 HAS SOUS 174585203 HAS SOUPS 174585203 WITH SCORE 1.74895467003E8
AT ITER 8942 NEW BEST:: SOT 1307951596 SOS 310256088 HAS SOPS 310256088 HAS SOUS 174577291 HAS SOUPS 174577291 WITH SCORE 1.74887547088E8
AT ITER 8956 NEW BEST:: SOT 1307951596 SOS 310272672 HAS SOPS 310272672 HAS SOUS 174574597 HAS SOUPS 174574597 WITH SCORE 1.74884869672E8
AT ITER 8984 NEW BEST:: SOT 1307948212 SOS 310279436 HAS SOPS 310279436 HAS SOUS 174571212 HAS SOUPS 174571212 WITH SCORE 1.74881491436E8
AT ITER 8987 NEW BEST:: SOT 1307934889 SOS 310266109 HAS SOPS 310266109 HAS SOUS 174557888 HAS SOUPS 174557888 WITH SCORE 1.74868154109E8
AT ITER 8990 NEW BEST:: SOT 1307934889 SOS 310262812 HAS SOPS 310262812 HAS SOUS 174556789 HAS SOUPS 174556789 WITH SCORE 1.74867051812E8
AT ITER 9012 NEW BEST:: SOT 1307934889 SOS 310262812 HAS SOPS 310262812 HAS SOUS 174554011 HAS SOUPS 174554011 WITH SCORE 1.74864273812E8
AT ITER 9027 NEW BEST:: SOT 1307929414 SOS 310255759 HAS SOPS 310255759 HAS SOUS 174548536 HAS SOUPS 174548536 WITH SCORE 1.74858791759E8
AT ITER 9056 NEW BEST:: SOT 1307929413 SOS 310255757 HAS SOPS 310255757 HAS SOUS 174548534 HAS SOUPS 174548534 WITH SCORE 1.74858789757E8
AT ITER 9063 NEW BEST:: SOT 1307922562 SOS 310257374 HAS SOPS 310257374 HAS SOUS 174545916 HAS SOUPS 174545916 WITH SCORE 1.74856173374E8
AT ITER 9065 NEW BEST:: SOT 1307922562 SOS 310257374 HAS SOPS 310257374 HAS SOUS 174545914 HAS SOUPS 174545914 WITH SCORE 1.74856171374E8
AT ITER 9114 NEW BEST:: SOT 1307921290 SOS 310256102 HAS SOPS 310256102 HAS SOUS 174544642 HAS SOUPS 174544642 WITH SCORE 1.74854898102E8
AT ITER 9122 NEW BEST:: SOT 1307914849 SOS 310256234 HAS SOPS 310256234 HAS SOUS 174543239 HAS SOUPS 174543239 WITH SCORE 1.74853495234E8
AT ITER 9127 NEW BEST:: SOT 1307910251 SOS 310251636 HAS SOPS 310251636 HAS SOUS 174538641 HAS SOUPS 174538641 WITH SCORE 1.74848892636E8
AT ITER 9153 NEW BEST:: SOT 1307905887 SOS 310242908 HAS SOPS 310242908 HAS SOUS 174529459 HAS SOUPS 174529459 WITH SCORE 1.74839701908E8
AT ITER 9162 NEW BEST:: SOT 1307904284 SOS 310243434 HAS SOPS 310243434 HAS SOUS 174526253 HAS SOUPS 174526253 WITH SCORE 1.74836496434E8
AT ITER 9163 NEW BEST:: SOT 1307897558 SOS 310236862 HAS SOPS 310236862 HAS SOUS 174519681 HAS SOUPS 174519681 WITH SCORE 1.74829917862E8
AT ITER 9195 NEW BEST:: SOT 1307897558 SOS 310236862 HAS SOPS 310236862 HAS SOUS 174518737 HAS SOUPS 174518737 WITH SCORE 1.74828973862E8
AT ITER 9215 NEW BEST:: SOT 1307890534 SOS 310237820 HAS SOPS 310237820 HAS SOUS 174514693 HAS SOUPS 174514693 WITH SCORE 1.7482493082E8
AT ITER 9270 NEW BEST:: SOT 1307889745 SOS 310236242 HAS SOPS 310236242 HAS SOUS 174513115 HAS SOUPS 174513115 WITH SCORE 1.74823351242E8
AT ITER 9288 NEW BEST:: SOT 1307887746 SOS 310232244 HAS SOPS 310232244 HAS SOUS 174511115 HAS SOUPS 174511115 WITH SCORE 1.74821347244E8
AT ITER 9327 NEW BEST:: SOT 1307887746 SOS 310232244 HAS SOPS 310232244 HAS SOUS 174511114 HAS SOUPS 174511114 WITH SCORE 1.74821346244E8
AT ITER 9380 NEW BEST:: SOT 1307885169 SOS 310227090 HAS SOPS 310227090 HAS SOUS 174511002 HAS SOUPS 174511002 WITH SCORE 1.7482122909E8
AT ITER 9407 NEW BEST:: SOT 1307883711 SOS 310224174 HAS SOPS 310224174 HAS SOUS 174508086 HAS SOUPS 174508086 WITH SCORE 1.74818310174E8
AT ITER 9410 NEW BEST:: SOT 1307885960 SOS 310228672 HAS SOPS 310228672 HAS SOUS 174507622 HAS SOUPS 174507622 WITH SCORE 1.74817850672E8
AT ITER 9417 NEW BEST:: SOT 1307872916 SOS 310226176 HAS SOPS 310226176 HAS SOUS 174494578 HAS SOUPS 174494578 WITH SCORE 1.74804804176E8
AT ITER 9424 NEW BEST:: SOT 1307871216 SOS 310231905 HAS SOPS 310231905 HAS SOUS 174492878 HAS SOUPS 174492878 WITH SCORE 1.74803109905E8
AT ITER 9462 NEW BEST:: SOT 1307870027 SOS 310229527 HAS SOPS 310229527 HAS SOUS 174490500 HAS SOUPS 174490500 WITH SCORE 1.74800729527E8
AT ITER 9463 NEW BEST:: SOT 1307850513 SOS 310215335 HAS SOPS 310215335 HAS SOUS 174485178 HAS SOUPS 174485178 WITH SCORE 1.74795393335E8
AT ITER 9534 NEW BEST:: SOT 1307849703 SOS 310212095 HAS SOPS 310212095 HAS SOUS 174484368 HAS SOUPS 174484368 WITH SCORE 1.74794580095E8
AT ITER 9535 NEW BEST:: SOT 1307846664 SOS 310206017 HAS SOPS 310206017 HAS SOUS 174478290 HAS SOUPS 174478290 WITH SCORE 1.74788496017E8
AT ITER 9593 NEW BEST:: SOT 1307835101 SOS 310194453 HAS SOPS 310194453 HAS SOUS 174466726 HAS SOUPS 174466726 WITH SCORE 1.74776920453E8
AT ITER 9598 NEW BEST:: SOT 1307832598 SOS 310189447 HAS SOPS 310189447 HAS SOUS 174461720 HAS SOUPS 174461720 WITH SCORE 1.74771909447E8
AT ITER 9604 NEW BEST:: SOT 1307831347 SOS 310189547 HAS SOPS 310189547 HAS SOUS 174461260 HAS SOUPS 174461260 WITH SCORE 1.74771449547E8
AT ITER 9609 NEW BEST:: SOT 1307831347 SOS 310182164 HAS SOPS 310182164 HAS SOUS 174458799 HAS SOUPS 174458799 WITH SCORE 1.74768981164E8
AT ITER 9634 NEW BEST:: SOT 1307826307 SOS 310172084 HAS SOPS 310172084 HAS SOUS 174448719 HAS SOUPS 174448719 WITH SCORE 1.74758891084E8
AT ITER 9660 NEW BEST:: SOT 1307820279 SOS 310169070 HAS SOPS 310169070 HAS SOUS 174445705 HAS SOUPS 174445705 WITH SCORE 1.7475587407E8
AT ITER 9704 NEW BEST:: SOT 1307818945 SOS 310166402 HAS SOPS 310166402 HAS SOUS 174443037 HAS SOUPS 174443037 WITH SCORE 1.74753203402E8
AT ITER 9810 NEW BEST:: SOT 1307813983 SOS 310161436 HAS SOPS 310161436 HAS SOUS 174438074 HAS SOUPS 174438074 WITH SCORE 1.74748235436E8
AT ITER 9811 NEW BEST:: SOT 1307813752 SOS 310161894 HAS SOPS 310161894 HAS SOUS 174437842 HAS SOUPS 174437842 WITH SCORE 1.74748003894E8
AT ITER 9834 NEW BEST:: SOT 1307813752 SOS 310161894 HAS SOPS 310161894 HAS SOUS 174437841 HAS SOUPS 174437841 WITH SCORE 1.74748002894E8
AT ITER 9899 NEW BEST:: SOT 1307811377 SOS 310156760 HAS SOPS 310156760 HAS SOUS 174432995 HAS SOUPS 174432995 WITH SCORE 1.7474315176E8
AT ITER 9905 NEW BEST:: SOT 1307794919 SOS 310132073 HAS SOPS 310132073 HAS SOUS 174408308 HAS SOUPS 174408308 WITH SCORE 1.74718440073E8
AT ITER 9908 NEW BEST:: SOT 1307787628 SOS 310117491 HAS SOPS 310117491 HAS SOUS 174401017 HAS SOUPS 174401017 WITH SCORE 1.74711134491E8
AT ITER 9952 NEW BEST:: SOT 1307786872 SOS 310117113 HAS SOPS 310117113 HAS SOUS 174400639 HAS SOUPS 174400639 WITH SCORE 1.74710756113E8
AT ITER 9970 NEW BEST:: SOT 1307785791 SOS 310114951 HAS SOPS 310114951 HAS SOUS 174398477 HAS SOUPS 174398477 WITH SCORE 1.74708591951E8
AT ITER 9971 NEW BEST:: SOT 1307785791 SOS 310108483 HAS SOPS 310108483 HAS SOUS 174396321 HAS SOUPS 174396321 WITH SCORE 1.74706429483E8
AT ITER 9979 NEW BEST:: SOT 1307781592 SOS 310107133 HAS SOPS 310107133 HAS SOUS 174394971 HAS SOUPS 174394971 WITH SCORE 1.74705078133E8
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 13322000 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16059172 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
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-7b"
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 DLCflexbar-PT-7b, 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 r107-tall-167814484400600"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCflexbar-PT-7b.tgz
mv DLCflexbar-PT-7b 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 ;