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.r323-tall-167889194500272.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is RERS2020-PT-pb107, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r323-tall-167889194500272
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 59M
-rw-r--r-- 1 mcc users 6.9K Feb 26 08:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 73K Feb 26 08:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 26 08:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 26 08:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:40 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 25 16:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 25 16:40 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.4K Feb 26 08:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 93K Feb 26 08:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 10K Feb 26 08:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 73K Feb 26 08:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:40 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:40 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 59M 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 1679491716662

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=RERS2020-PT-pb107
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS2020 (PT), instance pb107
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 1382 places, 104643 transitions, 417030 arcs.
AT ITER 0 NEW BEST:: SOT 70320476 SOS 52100106 HAS SOPS 45325246 HAS SOUS 13877070 HAS SOUPS 13779494 WITH SCORE 1.3831594106E7
AT ITER 5 NEW BEST:: SOT 70321545 SOS 52102548 HAS SOPS 45323623 HAS SOUS 13872315 HAS SOUPS 13774648 WITH SCORE 1.3826750548E7
AT ITER 9 NEW BEST:: SOT 70326511 SOS 52107571 HAS SOPS 45327869 HAS SOUS 13863993 HAS SOUPS 13766326 WITH SCORE 1.3818433571E7
AT ITER 28 NEW BEST:: SOT 70346792 SOS 52127894 HAS SOPS 45335157 HAS SOUS 13853040 HAS SOUPS 13755451 WITH SCORE 1.3807578894E7
AT ITER 30 NEW BEST:: SOT 70360481 SOS 52141381 HAS SOPS 45344191 HAS SOUS 13852887 HAS SOUPS 13755298 WITH SCORE 1.3807439381E7
AT ITER 33 NEW BEST:: SOT 70348613 SOS 52130034 HAS SOPS 45333516 HAS SOUS 13844844 HAS SOUPS 13747367 WITH SCORE 1.3799497034E7
AT ITER 35 NEW BEST:: SOT 70370511 SOS 52151636 HAS SOPS 45339980 HAS SOUS 13841967 HAS SOUPS 13744350 WITH SCORE 1.3796501636E7
AT ITER 40 NEW BEST:: SOT 70370510 SOS 52140186 HAS SOPS 45328353 HAS SOUS 13841416 HAS SOUPS 13743799 WITH SCORE 1.3795939186E7
AT ITER 46 NEW BEST:: SOT 70422347 SOS 52191359 HAS SOPS 45370883 HAS SOUS 13827104 HAS SOUPS 13729487 WITH SCORE 1.3781678359E7
AT ITER 52 NEW BEST:: SOT 70436478 SOS 52216293 HAS SOPS 45389744 HAS SOUS 13821480 HAS SOUPS 13725291 WITH SCORE 1.3777507293E7
AT ITER 55 NEW BEST:: SOT 70408800 SOS 52195063 HAS SOPS 45369881 HAS SOUS 13792779 HAS SOUPS 13694725 WITH SCORE 1.3746920063E7
AT ITER 66 NEW BEST:: SOT 70408800 SOS 52169583 HAS SOPS 45344401 HAS SOUS 13792779 HAS SOUPS 13694725 WITH SCORE 1.3746894583E7
AT ITER 70 NEW BEST:: SOT 70416083 SOS 52179337 HAS SOPS 45355423 HAS SOUS 13768784 HAS SOUPS 13670730 WITH SCORE 1.3722909337E7
AT ITER 73 NEW BEST:: SOT 70362704 SOS 52125897 HAS SOPS 45301983 HAS SOUS 13715288 HAS SOUPS 13617234 WITH SCORE 1.3669359897E7
AT ITER 82 NEW BEST:: SOT 70340189 SOS 52096432 HAS SOPS 45269664 HAS SOUS 13682248 HAS SOUPS 13584194 WITH SCORE 1.3636290432E7
AT ITER 92 NEW BEST:: SOT 70347891 SOS 52102767 HAS SOPS 45273582 HAS SOUS 13680816 HAS SOUPS 13582772 WITH SCORE 1.3634874767E7
AT ITER 96 NEW BEST:: SOT 70342031 SOS 52097257 HAS SOPS 45260244 HAS SOUS 13675025 HAS SOUPS 13577010 WITH SCORE 1.3629107257E7
AT ITER 109 NEW BEST:: SOT 70343866 SOS 52098803 HAS SOPS 45259518 HAS SOUS 13672563 HAS SOUPS 13574548 WITH SCORE 1.3626646803E7
AT ITER 141 NEW BEST:: SOT 70343866 SOS 52098885 HAS SOPS 45259682 HAS SOUS 13671989 HAS SOUPS 13573974 WITH SCORE 1.3626072885E7
AT ITER 150 NEW BEST:: SOT 70339911 SOS 52079959 HAS SOPS 45240452 HAS SOUS 13672237 HAS SOUPS 13573922 WITH SCORE 1.3626001959E7
AT ITER 156 NEW BEST:: SOT 70332653 SOS 52067557 HAS SOPS 45226759 HAS SOUS 13657755 HAS SOUPS 13559440 WITH SCORE 1.3611507557E7
AT ITER 168 NEW BEST:: SOT 70335755 SOS 52064940 HAS SOPS 45212522 HAS SOUS 13652322 HAS SOUPS 13554064 WITH SCORE 1.360612894E7
AT ITER 169 NEW BEST:: SOT 70322005 SOS 52051190 HAS SOPS 45198722 HAS SOUS 13638172 HAS SOUPS 13539914 WITH SCORE 1.359196519E7
AT ITER 172 NEW BEST:: SOT 70322844 SOS 52030946 HAS SOPS 45158501 HAS SOUS 13631913 HAS SOUPS 13533433 WITH SCORE 1.3585463946E7
AT ITER 175 NEW BEST:: SOT 70321717 SOS 52029855 HAS SOPS 45157441 HAS SOUS 13630116 HAS SOUPS 13531636 WITH SCORE 1.3583665855E7
AT ITER 188 NEW BEST:: SOT 70321053 SOS 52029247 HAS SOPS 45156743 HAS SOUS 13628897 HAS SOUPS 13530417 WITH SCORE 1.3582446247E7
AT ITER 192 NEW BEST:: SOT 70321053 SOS 52009087 HAS SOPS 45136583 HAS SOUS 13628825 HAS SOUPS 13530345 WITH SCORE 1.3582354087E7
AT ITER 193 NEW BEST:: SOT 70321982 SOS 52010382 HAS SOPS 45138063 HAS SOUS 13627722 HAS SOUPS 13529242 WITH SCORE 1.3581252382E7
AT ITER 199 NEW BEST:: SOT 70320402 SOS 52008742 HAS SOPS 45136243 HAS SOUS 13626322 HAS SOUPS 13527842 WITH SCORE 1.3579850742E7
AT ITER 202 NEW BEST:: SOT 70331281 SOS 52020014 HAS SOPS 45146368 HAS SOUS 13616004 HAS SOUPS 13517524 WITH SCORE 1.3569544014E7
AT ITER 204 NEW BEST:: SOT 70325290 SOS 51984451 HAS SOPS 45153537 HAS SOUS 13614589 HAS SOUPS 13515127 WITH SCORE 1.3567111451E7
AT ITER 213 NEW BEST:: SOT 70358783 SOS 52018426 HAS SOPS 45179167 HAS SOUS 13598418 HAS SOUPS 13498836 WITH SCORE 1.3550854426E7
AT ITER 214 NEW BEST:: SOT 70370778 SOS 52030421 HAS SOPS 45190980 HAS SOUS 13596399 HAS SOUPS 13496726 WITH SCORE 1.3548756421E7
AT ITER 216 NEW BEST:: SOT 70373606 SOS 52017698 HAS SOPS 45165753 HAS SOUS 13584078 HAS SOUPS 13484511 WITH SCORE 1.3536528698E7
AT ITER 232 NEW BEST:: SOT 70378315 SOS 52022428 HAS SOPS 45170183 HAS SOUS 13575940 HAS SOUPS 13476373 WITH SCORE 1.3528395428E7
AT ITER 234 NEW BEST:: SOT 70480322 SOS 52122291 HAS SOPS 45257355 HAS SOUS 13571727 HAS SOUPS 13472219 WITH SCORE 1.3524341291E7
AT ITER 242 NEW BEST:: SOT 70491634 SOS 52133634 HAS SOPS 45268548 HAS SOUS 13571271 HAS SOUPS 13471739 WITH SCORE 1.3523872634E7
AT ITER 279 NEW BEST:: SOT 70489230 SOS 52053514 HAS SOPS 45243854 HAS SOUS 13564690 HAS SOUPS 13465305 WITH SCORE 1.3517358514E7
AT ITER 293 NEW BEST:: SOT 70495092 SOS 52059478 HAS SOPS 45249807 HAS SOUS 13563892 HAS SOUPS 13464507 WITH SCORE 1.3516566478E7
AT ITER 304 NEW BEST:: SOT 70494258 SOS 52058593 HAS SOPS 45248920 HAS SOUS 13562790 HAS SOUPS 13463405 WITH SCORE 1.3515463593E7
AT ITER 316 NEW BEST:: SOT 70535756 SOS 52066676 HAS SOPS 45248834 HAS SOUS 13568569 HAS SOUPS 13463181 WITH SCORE 1.3515247676E7
AT ITER 323 NEW BEST:: SOT 70535980 SOS 52066881 HAS SOPS 45249033 HAS SOUS 13568101 HAS SOUPS 13462713 WITH SCORE 1.3514779881E7
AT ITER 344 NEW BEST:: SOT 70535908 SOS 52066824 HAS SOPS 45249004 HAS SOUS 13567942 HAS SOUPS 13462554 WITH SCORE 1.3514620824E7
AT ITER 346 NEW BEST:: SOT 70535904 SOS 52059502 HAS SOPS 45249097 HAS SOUS 13562527 HAS SOUPS 13457208 WITH SCORE 1.3509267502E7
AT ITER 348 NEW BEST:: SOT 70537713 SOS 52061240 HAS SOPS 45248756 HAS SOUS 13553348 HAS SOUPS 13448560 WITH SCORE 1.350062124E7
AT ITER 353 NEW BEST:: SOT 70536532 SOS 52060147 HAS SOPS 45247348 HAS SOUS 13548535 HAS SOUPS 13443747 WITH SCORE 1.3495807147E7
AT ITER 366 NEW BEST:: SOT 70546144 SOS 52069787 HAS SOPS 45257015 HAS SOUS 13547741 HAS SOUPS 13442953 WITH SCORE 1.3495022787E7
AT ITER 377 NEW BEST:: SOT 70577427 SOS 52106302 HAS SOPS 45285855 HAS SOUS 13541148 HAS SOUPS 13436137 WITH SCORE 1.3488243302E7
AT ITER 379 NEW BEST:: SOT 70577387 SOS 52106262 HAS SOPS 45285811 HAS SOUS 13541110 HAS SOUPS 13436099 WITH SCORE 1.3488205262E7
AT ITER 380 NEW BEST:: SOT 70577846 SOS 52106679 HAS SOPS 45286381 HAS SOUS 13540095 HAS SOUPS 13435084 WITH SCORE 1.3487190679E7
AT ITER 390 NEW BEST:: SOT 70586659 SOS 52139355 HAS SOPS 45298933 HAS SOUS 13535177 HAS SOUPS 13430166 WITH SCORE 1.3482305355E7
AT ITER 397 NEW BEST:: SOT 70586259 SOS 52120576 HAS SOPS 45272720 HAS SOUS 13534699 HAS SOUPS 13429648 WITH SCORE 1.3481768576E7
AT ITER 399 NEW BEST:: SOT 70612946 SOS 52143982 HAS SOPS 45283771 HAS SOUS 13521225 HAS SOUPS 13416421 WITH SCORE 1.3468564982E7
AT ITER 403 NEW BEST:: SOT 70613980 SOS 52145058 HAS SOPS 45284726 HAS SOUS 13520497 HAS SOUPS 13415693 WITH SCORE 1.3467838058E7
AT ITER 405 NEW BEST:: SOT 70613764 SOS 52144842 HAS SOPS 45284510 HAS SOUS 13520025 HAS SOUPS 13415221 WITH SCORE 1.3467365842E7
AT ITER 407 NEW BEST:: SOT 70762262 SOS 52294312 HAS SOPS 45425572 HAS SOUS 13498967 HAS SOUPS 13394442 WITH SCORE 1.3446736312E7
AT ITER 423 NEW BEST:: SOT 70767616 SOS 52365200 HAS SOPS 45481345 HAS SOUS 13473782 HAS SOUPS 13369257 WITH SCORE 1.34216222E7
AT ITER 432 NEW BEST:: SOT 70765167 SOS 52362779 HAS SOPS 45478924 HAS SOUS 13470066 HAS SOUPS 13365541 WITH SCORE 1.3417903779E7
AT ITER 437 NEW BEST:: SOT 70726056 SOS 52323528 HAS SOPS 45439353 HAS SOUS 13422070 HAS SOUPS 13317545 WITH SCORE 1.3369868528E7
AT ITER 449 NEW BEST:: SOT 70721714 SOS 52319450 HAS SOPS 45435258 HAS SOUS 13419728 HAS SOUPS 13315155 WITH SCORE 1.336747445E7
AT ITER 455 NEW BEST:: SOT 70573352 SOS 52172717 HAS SOPS 45284258 HAS SOUS 13255813 HAS SOUPS 13151180 WITH SCORE 1.3203352717E7
AT ITER 457 NEW BEST:: SOT 70590746 SOS 52189015 HAS SOPS 45296183 HAS SOUS 13253863 HAS SOUPS 13149092 WITH SCORE 1.3201281015E7
AT ITER 468 NEW BEST:: SOT 70583309 SOS 52135424 HAS SOPS 45256936 HAS SOUS 13227049 HAS SOUPS 13122489 WITH SCORE 1.3174624424E7
AT ITER 469 NEW BEST:: SOT 70583309 SOS 52135401 HAS SOPS 45256913 HAS SOUS 13226898 HAS SOUPS 13122338 WITH SCORE 1.3174473401E7
AT ITER 480 NEW BEST:: SOT 70572016 SOS 52115288 HAS SOPS 45239851 HAS SOUS 13226042 HAS SOUPS 13121559 WITH SCORE 1.3173674288E7
AT ITER 497 NEW BEST:: SOT 70537564 SOS 52076926 HAS SOPS 45195947 HAS SOUS 13204390 HAS SOUPS 13099440 WITH SCORE 1.3151516926E7
AT ITER 499 NEW BEST:: SOT 70538525 SOS 52077979 HAS SOPS 45196884 HAS SOUS 13203284 HAS SOUPS 13098334 WITH SCORE 1.3150411979E7
AT ITER 503 NEW BEST:: SOT 70689608 SOS 52229253 HAS SOPS 45340245 HAS SOUS 13185395 HAS SOUPS 13080732 WITH SCORE 1.3132961253E7
AT ITER 524 NEW BEST:: SOT 70686182 SOS 52225790 HAS SOPS 45335764 HAS SOUS 13176621 HAS SOUPS 13071958 WITH SCORE 1.312418379E7
AT ITER 540 NEW BEST:: SOT 70689783 SOS 52229527 HAS SOPS 45337666 HAS SOUS 13164257 HAS SOUPS 13059725 WITH SCORE 1.3111954527E7
AT ITER 543 NEW BEST:: SOT 70683666 SOS 52243376 HAS SOPS 45336696 HAS SOUS 13136818 HAS SOUPS 13032287 WITH SCORE 1.3084530376E7
AT ITER 547 NEW BEST:: SOT 70846017 SOS 52405050 HAS SOPS 45488741 HAS SOUS 13119887 HAS SOUPS 13015620 WITH SCORE 1.306802505E7
AT ITER 568 NEW BEST:: SOT 70835295 SOS 52476765 HAS SOPS 45564125 HAS SOUS 13105187 HAS SOUPS 13001008 WITH SCORE 1.3053484765E7
AT ITER 589 NEW BEST:: SOT 70842943 SOS 52484572 HAS SOPS 45572369 HAS SOUS 13104933 HAS SOUPS 13000754 WITH SCORE 1.3053238572E7
AT ITER 592 NEW BEST:: SOT 70844321 SOS 52485864 HAS SOPS 45573573 HAS SOUS 13103125 HAS SOUPS 12998946 WITH SCORE 1.3051431864E7
AT ITER 595 NEW BEST:: SOT 70550468 SOS 52191991 HAS SOPS 45275426 HAS SOUS 12876179 HAS SOUPS 12771514 WITH SCORE 1.2823705991E7
AT ITER 599 NEW BEST:: SOT 70549021 SOS 52194264 HAS SOPS 45278925 HAS SOUS 12847216 HAS SOUPS 12742551 WITH SCORE 1.2794745264E7
AT ITER 611 NEW BEST:: SOT 70545324 SOS 52190732 HAS SOPS 45273771 HAS SOUS 12837431 HAS SOUPS 12732766 WITH SCORE 1.2784956732E7
AT ITER 637 NEW BEST:: SOT 70570868 SOS 52213284 HAS SOPS 45279011 HAS SOUS 12832697 HAS SOUPS 12728291 WITH SCORE 1.2780504284E7
AT ITER 638 NEW BEST:: SOT 70538928 SOS 52133906 HAS SOPS 45189260 HAS SOUS 12802151 HAS SOUPS 12695610 WITH SCORE 1.2747743906E7
AT ITER 640 NEW BEST:: SOT 70538273 SOS 52133250 HAS SOPS 45188573 HAS SOUS 12801187 HAS SOUPS 12694646 WITH SCORE 1.274677925E7
AT ITER 643 NEW BEST:: SOT 70533592 SOS 52128434 HAS SOPS 45180288 HAS SOUS 12797471 HAS SOUPS 12690822 WITH SCORE 1.2742950434E7
AT ITER 661 NEW BEST:: SOT 70565952 SOS 52170051 HAS SOPS 45217319 HAS SOUS 12778839 HAS SOUPS 12674442 WITH SCORE 1.2726612051E7
AT ITER 663 NEW BEST:: SOT 70546816 SOS 52150915 HAS SOPS 45198183 HAS SOUS 12759703 HAS SOUPS 12655306 WITH SCORE 1.2707456915E7
AT ITER 666 NEW BEST:: SOT 70555433 SOS 52159864 HAS SOPS 45204515 HAS SOUS 12758275 HAS SOUPS 12653878 WITH SCORE 1.2706037864E7
AT ITER 671 NEW BEST:: SOT 70560483 SOS 52165987 HAS SOPS 45208299 HAS SOUS 12754359 HAS SOUPS 12649962 WITH SCORE 1.2702127987E7
AT ITER 680 NEW BEST:: SOT 70561701 SOS 52165494 HAS SOPS 45199308 HAS SOUS 12754355 HAS SOUPS 12649898 WITH SCORE 1.2702063494E7
AT ITER 693 NEW BEST:: SOT 70561731 SOS 52162359 HAS SOPS 45196228 HAS SOUS 12754098 HAS SOUPS 12649651 WITH SCORE 1.2701813359E7
AT ITER 698 NEW BEST:: SOT 70561800 SOS 52156135 HAS SOPS 45186288 HAS SOUS 12753310 HAS SOUPS 12648863 WITH SCORE 1.2701019135E7
AT ITER 706 NEW BEST:: SOT 70610073 SOS 52222421 HAS SOPS 45265337 HAS SOUS 12752561 HAS SOUPS 12648179 WITH SCORE 1.2700401421E7
AT ITER 714 NEW BEST:: SOT 70638444 SOS 52279901 HAS SOPS 45304655 HAS SOUS 12735454 HAS SOUPS 12631184 WITH SCORE 1.2683463901E7
AT ITER 722 NEW BEST:: SOT 70635474 SOS 52276781 HAS SOPS 45301356 HAS SOUS 12731689 HAS SOUPS 12627419 WITH SCORE 1.2679695781E7
AT ITER 723 NEW BEST:: SOT 70635450 SOS 52276757 HAS SOPS 45301360 HAS SOUS 12731689 HAS SOUPS 12627419 WITH SCORE 1.2679695757E7
AT ITER 724 NEW BEST:: SOT 70633321 SOS 52274614 HAS SOPS 45298935 HAS SOUS 12721932 HAS SOUPS 12617662 WITH SCORE 1.2669936614E7
AT ITER 738 NEW BEST:: SOT 70759014 SOS 52399118 HAS SOPS 45416543 HAS SOUS 12712603 HAS SOUPS 12608603 WITH SCORE 1.2661002118E7
AT ITER 742 NEW BEST:: SOT 70757736 SOS 52397872 HAS SOPS 45414738 HAS SOUS 12708402 HAS SOUPS 12604402 WITH SCORE 1.2656799872E7
AT ITER 753 NEW BEST:: SOT 70757143 SOS 52397279 HAS SOPS 45414083 HAS SOUS 12707044 HAS SOUPS 12603044 WITH SCORE 1.2655441279E7
AT ITER 769 NEW BEST:: SOT 70754874 SOS 52409534 HAS SOPS 45423782 HAS SOUS 12704818 HAS SOUPS 12600782 WITH SCORE 1.2653191534E7
AT ITER 776 NEW BEST:: SOT 70746806 SOS 52400519 HAS SOPS 45413792 HAS SOUS 12701519 HAS SOUPS 12597483 WITH SCORE 1.2649883519E7
AT ITER 778 NEW BEST:: SOT 70696717 SOS 52350430 HAS SOPS 45364117 HAS SOUS 12637485 HAS SOUPS 12533622 WITH SCORE 1.258597243E7
AT ITER 788 NEW BEST:: SOT 70702425 SOS 52356232 HAS SOPS 45369714 HAS SOUS 12636571 HAS SOUPS 12532708 WITH SCORE 1.2585064232E7
AT ITER 812 NEW BEST:: SOT 70697334 SOS 52351163 HAS SOPS 45364082 HAS SOUS 12632389 HAS SOUPS 12528486 WITH SCORE 1.2580837163E7
AT ITER 831 NEW BEST:: SOT 70696846 SOS 52350664 HAS SOPS 45363562 HAS SOUS 12631517 HAS SOUPS 12527614 WITH SCORE 1.2579964664E7
AT ITER 832 NEW BEST:: SOT 70706374 SOS 52360354 HAS SOPS 45369982 HAS SOUS 12619397 HAS SOUPS 12515491 WITH SCORE 1.2567851354E7
AT ITER 835 NEW BEST:: SOT 70702127 SOS 52402874 HAS SOPS 45412265 HAS SOUS 12612972 HAS SOUPS 12509066 WITH SCORE 1.2561468874E7
AT ITER 859 NEW BEST:: SOT 70685627 SOS 52386374 HAS SOPS 45395721 HAS SOUS 12596353 HAS SOUPS 12492444 WITH SCORE 1.2544830374E7
AT ITER 866 NEW BEST:: SOT 70684635 SOS 52385382 HAS SOPS 45394729 HAS SOUS 12595361 HAS SOUPS 12491452 WITH SCORE 1.2543837382E7
AT ITER 867 NEW BEST:: SOT 70684720 SOS 52385467 HAS SOPS 45394839 HAS SOUS 12595356 HAS SOUPS 12491447 WITH SCORE 1.2543832467E7
AT ITER 870 NEW BEST:: SOT 70684356 SOS 52385103 HAS SOPS 45394517 HAS SOUS 12594474 HAS SOUPS 12490565 WITH SCORE 1.2542950103E7
AT ITER 874 NEW BEST:: SOT 70684166 SOS 52389906 HAS SOPS 45406042 HAS SOUS 12594116 HAS SOUPS 12490245 WITH SCORE 1.2542634906E7
AT ITER 875 NEW BEST:: SOT 70700444 SOS 52403770 HAS SOPS 45405641 HAS SOUS 12593816 HAS SOUPS 12489946 WITH SCORE 1.254234977E7
AT ITER 880 NEW BEST:: SOT 70713877 SOS 52416569 HAS SOPS 45416290 HAS SOUS 12591000 HAS SOUPS 12487130 WITH SCORE 1.2539546569E7
AT ITER 887 NEW BEST:: SOT 70714161 SOS 52417494 HAS SOPS 45417617 HAS SOUS 12587945 HAS SOUPS 12484115 WITH SCORE 1.2536532494E7
AT ITER 897 NEW BEST:: SOT 70709646 SOS 52413014 HAS SOPS 45411877 HAS SOUS 12580805 HAS SOUPS 12476975 WITH SCORE 1.2529388014E7
AT ITER 901 NEW BEST:: SOT 70709701 SOS 52466048 HAS SOPS 45463186 HAS SOUS 12577264 HAS SOUPS 12473434 WITH SCORE 1.2525900048E7
AT ITER 902 NEW BEST:: SOT 70703253 SOS 52459600 HAS SOPS 45455468 HAS SOUS 12566220 HAS SOUPS 12462390 WITH SCORE 1.25148496E7
AT ITER 908 NEW BEST:: SOT 70702881 SOS 52459166 HAS SOPS 45454879 HAS SOUS 12566158 HAS SOUPS 12462328 WITH SCORE 1.2514787166E7
AT ITER 917 NEW BEST:: SOT 70655119 SOS 52434911 HAS SOPS 45444222 HAS SOUS 12563523 HAS SOUPS 12459487 WITH SCORE 1.2511921911E7
AT ITER 920 NEW BEST:: SOT 70655119 SOS 52434911 HAS SOPS 45444222 HAS SOUS 12563484 HAS SOUPS 12459448 WITH SCORE 1.2511882911E7
AT ITER 927 NEW BEST:: SOT 70659201 SOS 52438836 HAS SOPS 45447990 HAS SOUS 12559778 HAS SOUPS 12455742 WITH SCORE 1.2508180836E7
AT ITER 964 NEW BEST:: SOT 70657608 SOS 52437220 HAS SOPS 45445592 HAS SOUS 12558814 HAS SOUPS 12454778 WITH SCORE 1.250721522E7
AT ITER 965 NEW BEST:: SOT 70660136 SOS 52480698 HAS SOPS 45481377 HAS SOUS 12541082 HAS SOUPS 12437109 WITH SCORE 1.2489589698E7
AT ITER 966 NEW BEST:: SOT 70651493 SOS 52472055 HAS SOPS 45473136 HAS SOUS 12533033 HAS SOUPS 12429261 WITH SCORE 1.2481733055E7
AT ITER 974 NEW BEST:: SOT 70651684 SOS 52472245 HAS SOPS 45473262 HAS SOUS 12532723 HAS SOUPS 12428951 WITH SCORE 1.2481423245E7
AT ITER 977 NEW BEST:: SOT 70651702 SOS 52472414 HAS SOPS 45473049 HAS SOUS 12524456 HAS SOUPS 12420684 WITH SCORE 1.2473156414E7
AT ITER 980 NEW BEST:: SOT 70648317 SOS 52469034 HAS SOPS 45469481 HAS SOUS 12524402 HAS SOUPS 12420251 WITH SCORE 1.2472720034E7
AT ITER 982 NEW BEST:: SOT 70649238 SOS 52469956 HAS SOPS 45470057 HAS SOUS 12523630 HAS SOUPS 12419479 WITH SCORE 1.2471948956E7
AT ITER 986 NEW BEST:: SOT 70648069 SOS 52455224 HAS SOPS 45440532 HAS SOUS 12522731 HAS SOUPS 12418508 WITH SCORE 1.2470963224E7
AT ITER 997 NEW BEST:: SOT 70635018 SOS 52531461 HAS SOPS 45515129 HAS SOUS 12513200 HAS SOUPS 12408936 WITH SCORE 1.2461467461E7
AT ITER 1004 NEW BEST:: SOT 70634334 SOS 52530729 HAS SOPS 45514153 HAS SOUS 12512596 HAS SOUPS 12408332 WITH SCORE 1.2460862729E7
AT ITER 1011 NEW BEST:: SOT 70666520 SOS 52562779 HAS SOPS 45539022 HAS SOUS 12507262 HAS SOUPS 12403176 WITH SCORE 1.2455738779E7
AT ITER 1015 NEW BEST:: SOT 70667077 SOS 52563393 HAS SOPS 45539592 HAS SOUS 12507097 HAS SOUPS 12403011 WITH SCORE 1.2455574393E7
AT ITER 1023 NEW BEST:: SOT 70669504 SOS 52566918 HAS SOPS 45518600 HAS SOUS 12470561 HAS SOUPS 12366200 WITH SCORE 1.2418766918E7
AT ITER 1028 NEW BEST:: SOT 70669426 SOS 52566853 HAS SOPS 45518548 HAS SOUS 12470418 HAS SOUPS 12366057 WITH SCORE 1.2418623853E7
AT ITER 1031 NEW BEST:: SOT 70672957 SOS 52569934 HAS SOPS 45509397 HAS SOUS 12455615 HAS SOUPS 12351254 WITH SCORE 1.2403823934E7
AT ITER 1038 NEW BEST:: SOT 70699079 SOS 52609504 HAS SOPS 45560699 HAS SOUS 12449739 HAS SOUPS 12345884 WITH SCORE 1.2398493504E7
AT ITER 1040 NEW BEST:: SOT 70696441 SOS 52594951 HAS SOPS 45568709 HAS SOUS 12445162 HAS SOUPS 12341442 WITH SCORE 1.2394036951E7
AT ITER 1046 NEW BEST:: SOT 70656661 SOS 52554243 HAS SOPS 45530407 HAS SOUS 12431711 HAS SOUPS 12327991 WITH SCORE 1.2380545243E7
AT ITER 1051 NEW BEST:: SOT 70658989 SOS 52556636 HAS SOPS 45532837 HAS SOUS 12431653 HAS SOUPS 12327933 WITH SCORE 1.2380489636E7
AT ITER 1054 NEW BEST:: SOT 70648403 SOS 52546011 HAS SOPS 45522212 HAS SOUS 12431324 HAS SOUPS 12327604 WITH SCORE 1.2380150011E7
AT ITER 1056 NEW BEST:: SOT 70647032 SOS 52544392 HAS SOPS 45520006 HAS SOUS 12430373 HAS SOUPS 12326653 WITH SCORE 1.2379197392E7
AT ITER 1058 NEW BEST:: SOT 70637725 SOS 52530804 HAS SOPS 45504391 HAS SOUS 12407274 HAS SOUPS 12303792 WITH SCORE 1.2356322804E7
AT ITER 1060 NEW BEST:: SOT 70637734 SOS 52530803 HAS SOPS 45504389 HAS SOUS 12407100 HAS SOUPS 12303618 WITH SCORE 1.2356148803E7
AT ITER 1066 NEW BEST:: SOT 70637734 SOS 52527603 HAS SOPS 45501189 HAS SOUS 12407075 HAS SOUPS 12303593 WITH SCORE 1.2356120603E7
AT ITER 1074 NEW BEST:: SOT 70657025 SOS 52573854 HAS SOPS 45541149 HAS SOUS 12396877 HAS SOUPS 12293479 WITH SCORE 1.2346052854E7
AT ITER 1077 NEW BEST:: SOT 70655256 SOS 52572106 HAS SOPS 45538960 HAS SOUS 12396137 HAS SOUPS 12292739 WITH SCORE 1.2345311106E7
AT ITER 1083 NEW BEST:: SOT 70659483 SOS 52575983 HAS SOPS 45538362 HAS SOUS 12395028 HAS SOUPS 12290874 WITH SCORE 1.2343449983E7
AT ITER 1088 NEW BEST:: SOT 70658295 SOS 52574795 HAS SOPS 45537174 HAS SOUS 12393774 HAS SOUPS 12289620 WITH SCORE 1.2342194795E7
AT ITER 1089 NEW BEST:: SOT 70684996 SOS 52602286 HAS SOPS 45564388 HAS SOUS 12392818 HAS SOUPS 12288664 WITH SCORE 1.2341266286E7
AT ITER 1102 NEW BEST:: SOT 70683920 SOS 52601210 HAS SOPS 45563280 HAS SOUS 12390732 HAS SOUPS 12286578 WITH SCORE 1.233917921E7
AT ITER 1113 NEW BEST:: SOT 70684070 SOS 52601352 HAS SOPS 45563365 HAS SOUS 12390464 HAS SOUPS 12286310 WITH SCORE 1.2338911352E7
AT ITER 1115 NEW BEST:: SOT 70713803 SOS 52631048 HAS SOPS 45591066 HAS SOUS 12384034 HAS SOUPS 12279861 WITH SCORE 1.2332492048E7
AT ITER 1135 NEW BEST:: SOT 70715101 SOS 52632286 HAS SOPS 45592141 HAS SOUS 12378099 HAS SOUPS 12273926 WITH SCORE 1.2326558286E7
AT ITER 1137 NEW BEST:: SOT 70694478 SOS 52601700 HAS SOPS 45566236 HAS SOUS 12375654 HAS SOUPS 12271402 WITH SCORE 1.23240037E7
AT ITER 1149 NEW BEST:: SOT 70654234 SOS 52558264 HAS SOPS 45506926 HAS SOUS 12326710 HAS SOUPS 12222020 WITH SCORE 1.2274578264E7
AT ITER 1151 NEW BEST:: SOT 70646528 SOS 52550509 HAS SOPS 45498374 HAS SOUS 12313782 HAS SOUPS 12209092 WITH SCORE 1.2261642509E7
AT ITER 1154 NEW BEST:: SOT 70650806 SOS 52555913 HAS SOPS 45504009 HAS SOUS 12305792 HAS SOUPS 12201102 WITH SCORE 1.2253657913E7
AT ITER 1157 NEW BEST:: SOT 70692875 SOS 52600076 HAS SOPS 45530384 HAS SOUS 12263773 HAS SOUPS 12159083 WITH SCORE 1.2211683076E7
AT ITER 1158 NEW BEST:: SOT 70690850 SOS 52597978 HAS SOPS 45528213 HAS SOUS 12259558 HAS SOUPS 12154868 WITH SCORE 1.2207465978E7
AT ITER 1220 NEW BEST:: SOT 70692251 SOS 52599508 HAS SOPS 45529777 HAS SOUS 12256886 HAS SOUPS 12152196 WITH SCORE 1.2204795508E7
AT ITER 1238 NEW BEST:: SOT 70691224 SOS 52599055 HAS SOPS 45528831 HAS SOUS 12247038 HAS SOUPS 12142348 WITH SCORE 1.2194947055E7
AT ITER 1243 NEW BEST:: SOT 70690594 SOS 52598169 HAS SOPS 45527681 HAS SOUS 12244948 HAS SOUPS 12140258 WITH SCORE 1.2192856169E7
AT ITER 1249 NEW BEST:: SOT 70688673 SOS 52596247 HAS SOPS 45525714 HAS SOUS 12242688 HAS SOUPS 12138013 WITH SCORE 1.2190609247E7
AT ITER 1273 NEW BEST:: SOT 70702845 SOS 52610814 HAS SOPS 45534275 HAS SOUS 12239257 HAS SOUPS 12134593 WITH SCORE 1.2187203814E7
AT ITER 1275 NEW BEST:: SOT 70708254 SOS 52616211 HAS SOPS 45536906 HAS SOUS 12238671 HAS SOUPS 12134007 WITH SCORE 1.2186623211E7
AT ITER 1287 NEW BEST:: SOT 70706350 SOS 52614239 HAS SOPS 45534730 HAS SOUS 12234523 HAS SOUPS 12129859 WITH SCORE 1.2182473239E7
AT ITER 1297 NEW BEST:: SOT 70702304 SOS 52610196 HAS SOPS 45529594 HAS SOUS 12229027 HAS SOUPS 12124363 WITH SCORE 1.2176973196E7
AT ITER 1329 NEW BEST:: SOT 70693022 SOS 52600950 HAS SOPS 45520780 HAS SOUS 12222314 HAS SOUPS 12117650 WITH SCORE 1.217025095E7
AT ITER 1330 NEW BEST:: SOT 70696131 SOS 52608299 HAS SOPS 45529925 HAS SOUS 12218819 HAS SOUPS 12116285 WITH SCORE 1.2168893299E7
AT ITER 1341 NEW BEST:: SOT 70694915 SOS 52601945 HAS SOPS 45505347 HAS SOUS 12195954 HAS SOUPS 12093322 WITH SCORE 1.2145923945E7
AT ITER 1345 NEW BEST:: SOT 70696441 SOS 52603448 HAS SOPS 45506701 HAS SOUS 12194683 HAS SOUPS 12092046 WITH SCORE 1.2144649448E7
AT ITER 1346 NEW BEST:: SOT 70690087 SOS 52604829 HAS SOPS 45504008 HAS SOUS 12184743 HAS SOUPS 12082037 WITH SCORE 1.2134641829E7
AT ITER 1352 NEW BEST:: SOT 70717458 SOS 52632199 HAS SOPS 45517476 HAS SOUS 12177508 HAS SOUPS 12074202 WITH SCORE 1.2126834199E7
AT ITER 1391 NEW BEST:: SOT 70716044 SOS 52630785 HAS SOPS 45516264 HAS SOUS 12172559 HAS SOUPS 12069253 WITH SCORE 1.2121883785E7
AT ITER 1393 NEW BEST:: SOT 70713773 SOS 52628190 HAS SOPS 45513009 HAS SOUS 12168299 HAS SOUPS 12065056 WITH SCORE 1.211768419E7
AT ITER 1404 NEW BEST:: SOT 70713739 SOS 52666560 HAS SOPS 45547487 HAS SOUS 12168249 HAS SOUPS 12064924 WITH SCORE 1.211759056E7
AT ITER 1422 NEW BEST:: SOT 70686496 SOS 52643350 HAS SOPS 45526460 HAS SOUS 12161957 HAS SOUPS 12058632 WITH SCORE 1.211127535E7
AT ITER 1430 NEW BEST:: SOT 70684732 SOS 52641586 HAS SOPS 45523982 HAS SOUS 12159798 HAS SOUPS 12056473 WITH SCORE 1.2109114586E7
AT ITER 1433 NEW BEST:: SOT 70702975 SOS 52649686 HAS SOPS 45516405 HAS SOUS 12135775 HAS SOUPS 12032450 WITH SCORE 1.2085099686E7
AT ITER 1440 NEW BEST:: SOT 70698864 SOS 52645556 HAS SOPS 45512256 HAS SOUS 12131630 HAS SOUPS 12028291 WITH SCORE 1.2080936556E7
AT ITER 1451 NEW BEST:: SOT 70683031 SOS 52687146 HAS SOPS 45545623 HAS SOUS 12129585 HAS SOUPS 12026246 WITH SCORE 1.2078933146E7
AT ITER 1470 NEW BEST:: SOT 70670433 SOS 52676377 HAS SOPS 45535952 HAS SOUS 12114536 HAS SOUPS 12011197 WITH SCORE 1.2063873377E7
AT ITER 1482 NEW BEST:: SOT 70666724 SOS 52672701 HAS SOPS 45531992 HAS SOUS 12103880 HAS SOUPS 12000541 WITH SCORE 1.2053213701E7
AT ITER 1483 NEW BEST:: SOT 70666679 SOS 52672656 HAS SOPS 45531942 HAS SOUS 12103740 HAS SOUPS 12000401 WITH SCORE 1.2053073656E7
AT ITER 1485 NEW BEST:: SOT 70670675 SOS 52635298 HAS SOPS 45528782 HAS SOUS 12098931 HAS SOUPS 11995929 WITH SCORE 1.2048564298E7
AT ITER 1503 NEW BEST:: SOT 70656794 SOS 52621579 HAS SOPS 45514113 HAS SOUS 12083098 HAS SOUPS 11980096 WITH SCORE 1.2032717579E7
AT ITER 1509 NEW BEST:: SOT 70653818 SOS 52592206 HAS SOPS 45488401 HAS SOUS 12078060 HAS SOUPS 11975058 WITH SCORE 1.2027650206E7
AT ITER 1510 NEW BEST:: SOT 70654578 SOS 52593050 HAS SOPS 45484665 HAS SOUS 12081632 HAS SOUPS 11974442 WITH SCORE 1.202703505E7
AT ITER 1514 NEW BEST:: SOT 70673509 SOS 52617816 HAS SOPS 45528525 HAS SOUS 12072789 HAS SOUPS 11965747 WITH SCORE 1.2018364816E7
AT ITER 1525 NEW BEST:: SOT 70588196 SOS 52555764 HAS SOPS 45486961 HAS SOUS 12060608 HAS SOUPS 11953795 WITH SCORE 1.2006350764E7
AT ITER 1541 NEW BEST:: SOT 70734183 SOS 52701493 HAS SOPS 45625291 HAS SOUS 12046802 HAS SOUPS 11940320 WITH SCORE 1.1993021493E7
AT ITER 1543 NEW BEST:: SOT 70734183 SOS 52699009 HAS SOPS 45622807 HAS SOUS 12046802 HAS SOUPS 11940320 WITH SCORE 1.1993019009E7
AT ITER 1546 NEW BEST:: SOT 70735124 SOS 52699517 HAS SOPS 45622529 HAS SOUS 12040108 HAS SOUPS 11933626 WITH SCORE 1.1986325517E7
AT ITER 1564 NEW BEST:: SOT 70744844 SOS 52708602 HAS SOPS 45629743 HAS SOUS 12039593 HAS SOUPS 11933156 WITH SCORE 1.1985864602E7
AT ITER 1568 NEW BEST:: SOT 70810169 SOS 52774858 HAS SOPS 45693577 HAS SOUS 12032105 HAS SOUPS 11925860 WITH SCORE 1.1978634858E7
AT ITER 1570 NEW BEST:: SOT 70752176 SOS 52716682 HAS SOPS 45635218 HAS SOUS 11974471 HAS SOUPS 11868226 WITH SCORE 1.1920942682E7
AT ITER 1571 NEW BEST:: SOT 70732483 SOS 52707242 HAS SOPS 45631553 HAS SOUS 11952569 HAS SOUPS 11846384 WITH SCORE 1.1899091242E7
AT ITER 1581 NEW BEST:: SOT 70728135 SOS 52700709 HAS SOPS 45623984 HAS SOUS 11950114 HAS SOUPS 11843878 WITH SCORE 1.1896578709E7
AT ITER 1583 NEW BEST:: SOT 70696784 SOS 52670026 HAS SOPS 45601471 HAS SOUS 11937717 HAS SOUPS 11831481 WITH SCORE 1.1884151026E7
AT ITER 1607 NEW BEST:: SOT 70696499 SOS 52669954 HAS SOPS 45601054 HAS SOUS 11935327 HAS SOUPS 11829091 WITH SCORE 1.1881760954E7
AT ITER 1610 NEW BEST:: SOT 70697242 SOS 52664487 HAS SOPS 45606437 HAS SOUS 11934745 HAS SOUPS 11828554 WITH SCORE 1.1881218487E7
AT ITER 1619 NEW BEST:: SOT 70693652 SOS 52660789 HAS SOPS 45602349 HAS SOUS 11926282 HAS SOUPS 11820091 WITH SCORE 1.1872751789E7
AT ITER 1622 NEW BEST:: SOT 70697936 SOS 52664867 HAS SOPS 45606435 HAS SOUS 11906549 HAS SOUPS 11800406 WITH SCORE 1.1853070867E7
AT ITER 1623 NEW BEST:: SOT 70671184 SOS 52729249 HAS SOPS 45600177 HAS SOUS 11896548 HAS SOUPS 11791272 WITH SCORE 1.1844001249E7
AT ITER 1625 NEW BEST:: SOT 70708957 SOS 52766705 HAS SOPS 45629456 HAS SOUS 11896290 HAS SOUPS 11791014 WITH SCORE 1.1843780705E7
AT ITER 1629 NEW BEST:: SOT 70711443 SOS 52769150 HAS SOPS 45631017 HAS SOUS 11894317 HAS SOUPS 11789041 WITH SCORE 1.184181015E7
AT ITER 1647 NEW BEST:: SOT 70710801 SOS 52768445 HAS SOPS 45630204 HAS SOUS 11891797 HAS SOUPS 11786521 WITH SCORE 1.1839289445E7
AT ITER 1650 NEW BEST:: SOT 70710352 SOS 52767447 HAS SOPS 45628987 HAS SOUS 11889300 HAS SOUPS 11784024 WITH SCORE 1.1836791447E7
AT ITER 1651 NEW BEST:: SOT 70707338 SOS 52764908 HAS SOPS 45624152 HAS SOUS 11885449 HAS SOUPS 11780173 WITH SCORE 1.1832937908E7
AT ITER 1659 NEW BEST:: SOT 70687380 SOS 52748149 HAS SOPS 45611978 HAS SOUS 11878012 HAS SOUPS 11772427 WITH SCORE 1.1825175149E7
AT ITER 1664 NEW BEST:: SOT 70696925 SOS 52589390 HAS SOPS 45444989 HAS SOUS 11852962 HAS SOUPS 11747377 WITH SCORE 1.179996639E7
AT ITER 1675 NEW BEST:: SOT 70695293 SOS 52587758 HAS SOPS 45443405 HAS SOUS 11851595 HAS SOUPS 11746029 WITH SCORE 1.1798616758E7
AT ITER 1681 NEW BEST:: SOT 70679171 SOS 52570942 HAS SOPS 45417954 HAS SOUS 11826913 HAS SOUPS 11721347 WITH SCORE 1.1773917942E7
AT ITER 1694 NEW BEST:: SOT 70679672 SOS 52571457 HAS SOPS 45418426 HAS SOUS 11826837 HAS SOUPS 11721271 WITH SCORE 1.1773842457E7
AT ITER 1702 NEW BEST:: SOT 70783008 SOS 52423601 HAS SOPS 45433921 HAS SOUS 11818647 HAS SOUPS 11704886 WITH SCORE 1.1757309601E7
AT ITER 1707 NEW BEST:: SOT 70782867 SOS 52423460 HAS SOPS 45433780 HAS SOUS 11818506 HAS SOUPS 11704745 WITH SCORE 1.175716846E7
AT ITER 1709 NEW BEST:: SOT 70792011 SOS 52432488 HAS SOPS 45442146 HAS SOUS 11815330 HAS SOUPS 11701569 WITH SCORE 1.1754001488E7
AT ITER 1713 NEW BEST:: SOT 70786778 SOS 52422270 HAS SOPS 45422020 HAS SOUS 11799182 HAS SOUPS 11685574 WITH SCORE 1.173799627E7
AT ITER 1716 NEW BEST:: SOT 70715950 SOS 52351442 HAS SOPS 45350973 HAS SOUS 11724077 HAS SOUPS 11610461 WITH SCORE 1.1662812442E7
AT ITER 1725 NEW BEST:: SOT 70721653 SOS 52357935 HAS SOPS 45362646 HAS SOUS 11721647 HAS SOUPS 11607953 WITH SCORE 1.1660310935E7
AT ITER 1731 NEW BEST:: SOT 70747442 SOS 52425712 HAS SOPS 45430312 HAS SOUS 11713437 HAS SOUPS 11599743 WITH SCORE 1.1652168712E7
AT ITER 1745 NEW BEST:: SOT 70747646 SOS 52425916 HAS SOPS 45430458 HAS SOUS 11713323 HAS SOUPS 11599629 WITH SCORE 1.1652054916E7
AT ITER 1767 NEW BEST:: SOT 70771474 SOS 52476512 HAS SOPS 45493513 HAS SOUS 11709955 HAS SOUPS 11596387 WITH SCORE 1.1648863512E7
AT ITER 1783 NEW BEST:: SOT 70787180 SOS 52486071 HAS SOPS 45486064 HAS SOUS 11688078 HAS SOUPS 11574818 WITH SCORE 1.1627304071E7
AT ITER 1796 NEW BEST:: SOT 70894743 SOS 52592788 HAS SOPS 45585039 HAS SOUS 11669717 HAS SOUPS 11556465 WITH SCORE 1.1609057788E7
AT ITER 1806 NEW BEST:: SOT 70894462 SOS 52611654 HAS SOPS 45595957 HAS SOUS 11661327 HAS SOUPS 11548075 WITH SCORE 1.1600686654E7
AT ITER 1821 NEW BEST:: SOT 70912456 SOS 52587374 HAS SOPS 45606072 HAS SOUS 11657991 HAS SOUPS 11544943 WITH SCORE 1.1597530374E7
AT ITER 1823 NEW BEST:: SOT 70902498 SOS 52577046 HAS SOPS 45594262 HAS SOUS 11649779 HAS SOUPS 11536731 WITH SCORE 1.1589308046E7
AT ITER 1836 NEW BEST:: SOT 70898067 SOS 52603894 HAS SOPS 45608270 HAS SOUS 11639596 HAS SOUPS 11526548 WITH SCORE 1.1579151894E7
AT ITER 1844 NEW BEST:: SOT 70898351 SOS 52602920 HAS SOPS 45607774 HAS SOUS 11639486 HAS SOUPS 11526453 WITH SCORE 1.157905592E7
AT ITER 1854 NEW BEST:: SOT 70872132 SOS 52578208 HAS SOPS 45586410 HAS SOUS 11637164 HAS SOUPS 11524131 WITH SCORE 1.1576709208E7
AT ITER 1857 NEW BEST:: SOT 70874350 SOS 52582181 HAS SOPS 45589579 HAS SOUS 11636532 HAS SOUPS 11523499 WITH SCORE 1.1576081181E7
AT ITER 1859 NEW BEST:: SOT 70874469 SOS 52581908 HAS SOPS 45589370 HAS SOUS 11634872 HAS SOUPS 11521903 WITH SCORE 1.1574484908E7
AT ITER 1868 NEW BEST:: SOT 70873885 SOS 52581246 HAS SOPS 45588687 HAS SOUS 11634769 HAS SOUPS 11521813 WITH SCORE 1.1574394246E7
AT ITER 1869 NEW BEST:: SOT 70873375 SOS 52580736 HAS SOPS 45588178 HAS SOUS 11634255 HAS SOUPS 11521299 WITH SCORE 1.1573879736E7
AT ITER 1877 NEW BEST:: SOT 70856543 SOS 52571027 HAS SOPS 45580226 HAS SOUS 11626015 HAS SOUPS 11513059 WITH SCORE 1.1565630027E7
AT ITER 1886 NEW BEST:: SOT 70857951 SOS 52572462 HAS SOPS 45581278 HAS SOUS 11618745 HAS SOUPS 11505789 WITH SCORE 1.1558361462E7
AT ITER 1893 NEW BEST:: SOT 70861376 SOS 52575992 HAS SOPS 45584557 HAS SOUS 11618127 HAS SOUPS 11505171 WITH SCORE 1.1557746992E7
AT ITER 1895 NEW BEST:: SOT 70865841 SOS 52583695 HAS SOPS 45591459 HAS SOUS 11617692 HAS SOUPS 11504778 WITH SCORE 1.1557361695E7
AT ITER 1910 NEW BEST:: SOT 71007797 SOS 52724359 HAS SOPS 45722804 HAS SOUS 11599822 HAS SOUPS 11487067 WITH SCORE 1.1539791359E7
AT ITER 1913 NEW BEST:: SOT 71008691 SOS 52812020 HAS SOPS 45754038 HAS SOUS 11593328 HAS SOUPS 11480272 WITH SCORE 1.153308402E7
AT ITER 1917 NEW BEST:: SOT 71013009 SOS 52817694 HAS SOPS 45758005 HAS SOUS 11589865 HAS SOUPS 11476892 WITH SCORE 1.1529709694E7
AT ITER 1918 NEW BEST:: SOT 71017779 SOS 52781822 HAS SOPS 45755864 HAS SOUS 11587720 HAS SOUPS 11474993 WITH SCORE 1.1527774822E7
AT ITER 1919 NEW BEST:: SOT 71015627 SOS 52779185 HAS SOPS 45750971 HAS SOUS 11580424 HAS SOUPS 11467697 WITH SCORE 1.1520476185E7
AT ITER 1923 NEW BEST:: SOT 71011866 SOS 52875737 HAS SOPS 45848412 HAS SOUS 11578300 HAS SOUPS 11465573 WITH SCORE 1.1518448737E7
AT ITER 1931 NEW BEST:: SOT 71011346 SOS 52874897 HAS SOPS 45847662 HAS SOUS 11578190 HAS SOUPS 11465463 WITH SCORE 1.1518337897E7
AT ITER 1942 NEW BEST:: SOT 71018279 SOS 52881943 HAS SOPS 45829991 HAS SOUS 11577967 HAS SOUPS 11465240 WITH SCORE 1.1518121943E7
AT ITER 1945 NEW BEST:: SOT 71016795 SOS 52880475 HAS SOPS 45828308 HAS SOUS 11573846 HAS SOUPS 11461119 WITH SCORE 1.1513999475E7
AT ITER 1955 NEW BEST:: SOT 71002792 SOS 52866613 HAS SOPS 45814094 HAS SOUS 11570602 HAS SOUPS 11457875 WITH SCORE 1.1510741613E7
AT ITER 1960 NEW BEST:: SOT 71002624 SOS 52866453 HAS SOPS 45813942 HAS SOUS 11570506 HAS SOUPS 11457779 WITH SCORE 1.1510645453E7
AT ITER 2002 NEW BEST:: SOT 71011463 SOS 52827718 HAS SOPS 45841635 HAS SOUS 11567913 HAS SOUPS 11455396 WITH SCORE 1.1508223718E7
AT ITER 2004 NEW BEST:: SOT 71010833 SOS 52827025 HAS SOPS 45840816 HAS SOUS 11567661 HAS SOUPS 11455144 WITH SCORE 1.1507971025E7
AT ITER 2010 NEW BEST:: SOT 71010553 SOS 52826745 HAS SOPS 45840536 HAS SOUS 11567374 HAS SOUPS 11454857 WITH SCORE 1.1507683745E7
AT ITER 2013 NEW BEST:: SOT 71012517 SOS 52828709 HAS SOPS 45840964 HAS SOUS 11565148 HAS SOUPS 11452631 WITH SCORE 1.1505459709E7
AT ITER 2016 NEW BEST:: SOT 71107592 SOS 52923847 HAS SOPS 45933223 HAS SOUS 11533507 HAS SOUPS 11421071 WITH SCORE 1.1473994847E7
AT ITER 2039 NEW BEST:: SOT 71086324 SOS 52902703 HAS SOPS 45911663 HAS SOUS 11517447 HAS SOUPS 11405011 WITH SCORE 1.1457913703E7
AT ITER 2059 NEW BEST:: SOT 71080866 SOS 52894261 HAS SOPS 45904008 HAS SOUS 11514051 HAS SOUPS 11401615 WITH SCORE 1.1454509261E7
AT ITER 2087 NEW BEST:: SOT 71070124 SOS 52867897 HAS SOPS 45878539 HAS SOUS 11512425 HAS SOUPS 11399922 WITH SCORE 1.1452789897E7
AT ITER 2109 NEW BEST:: SOT 71064046 SOS 52859987 HAS SOPS 45868613 HAS SOUS 11502348 HAS SOUPS 11389934 WITH SCORE 1.1442793987E7
AT ITER 2123 NEW BEST:: SOT 71202244 SOS 52998354 HAS SOPS 45998479 HAS SOUS 11481260 HAS SOUPS 11369122 WITH SCORE 1.1422120354E7
AT ITER 2125 NEW BEST:: SOT 71200038 SOS 52996224 HAS SOPS 45996405 HAS SOUS 11480026 HAS SOUPS 11367888 WITH SCORE 1.1420884224E7
AT ITER 2150 NEW BEST:: SOT 71151407 SOS 52947593 HAS SOPS 45946190 HAS SOUS 11425047 HAS SOUPS 11312909 WITH SCORE 1.1365856593E7
AT ITER 2168 NEW BEST:: SOT 71151104 SOS 52947284 HAS SOPS 45945866 HAS SOUS 11424735 HAS SOUPS 11312597 WITH SCORE 1.1365544284E7
AT ITER 2195 NEW BEST:: SOT 71178154 SOS 52972737 HAS SOPS 45962330 HAS SOUS 11421330 HAS SOUPS 11309067 WITH SCORE 1.1362039737E7
AT ITER 2198 NEW BEST:: SOT 71175264 SOS 52961475 HAS SOPS 45958288 HAS SOUS 11417863 HAS SOUPS 11305641 WITH SCORE 1.1358602475E7
AT ITER 2203 NEW BEST:: SOT 71215287 SOS 52967103 HAS SOPS 45974751 HAS SOUS 11407970 HAS SOUPS 11295962 WITH SCORE 1.1348929103E7
AT ITER 2204 NEW BEST:: SOT 71212567 SOS 52964391 HAS SOPS 45971893 HAS SOUS 11402774 HAS SOUPS 11290766 WITH SCORE 1.1343730391E7
AT ITER 2213 NEW BEST:: SOT 71208995 SOS 52960819 HAS SOPS 45968321 HAS SOUS 11400773 HAS SOUPS 11288765 WITH SCORE 1.1341725819E7
AT ITER 2220 NEW BEST:: SOT 71206469 SOS 52958013 HAS SOPS 45964507 HAS SOUS 11392717 HAS SOUPS 11280709 WITH SCORE 1.1333667013E7
AT ITER 2228 NEW BEST:: SOT 71210475 SOS 52969169 HAS SOPS 45965605 HAS SOUS 11386487 HAS SOUPS 11274497 WITH SCORE 1.1327466169E7
AT ITER 2241 NEW BEST:: SOT 71221925 SOS 52983715 HAS SOPS 45981143 HAS SOUS 11372281 HAS SOUPS 11260452 WITH SCORE 1.1313435715E7
AT ITER 2259 NEW BEST:: SOT 71218584 SOS 52994184 HAS SOPS 45981688 HAS SOUS 11352357 HAS SOUPS 11240528 WITH SCORE 1.1293522184E7
AT ITER 2262 NEW BEST:: SOT 71303716 SOS 53078225 HAS SOPS 46056932 HAS SOUS 11313966 HAS SOUPS 11202317 WITH SCORE 1.1255395225E7
AT ITER 2263 NEW BEST:: SOT 71302156 SOS 53077211 HAS SOPS 46053766 HAS SOUS 11311084 HAS SOUPS 11199393 WITH SCORE 1.1252470211E7
AT ITER 2276 NEW BEST:: SOT 71300924 SOS 53076046 HAS SOPS 46051454 HAS SOUS 11306811 HAS SOUPS 11194991 WITH SCORE 1.1248067046E7
AT ITER 2280 NEW BEST:: SOT 71301141 SOS 53047532 HAS SOPS 46049802 HAS SOUS 11304218 HAS SOUPS 11192398 WITH SCORE 1.1245445532E7
AT ITER 2283 NEW BEST:: SOT 71281212 SOS 53027454 HAS SOPS 46029277 HAS SOUS 11279521 HAS SOUPS 11167701 WITH SCORE 1.1220728454E7
AT ITER 2309 NEW BEST:: SOT 71282684 SOS 53030244 HAS SOPS 46031587 HAS SOUS 11278727 HAS SOUPS 11166907 WITH SCORE 1.1219937244E7
AT ITER 2312 NEW BEST:: SOT 71281202 SOS 53026548 HAS SOPS 46027881 HAS SOUS 11276840 HAS SOUPS 11165020 WITH SCORE 1.1218046548E7
AT ITER 2315 NEW BEST:: SOT 71231742 SOS 52979479 HAS SOPS 45981733 HAS SOUS 11231468 HAS SOUPS 11119624 WITH SCORE 1.1172603479E7
AT ITER 2339 NEW BEST:: SOT 71232815 SOS 52980453 HAS SOPS 45982442 HAS SOUS 11229068 HAS SOUPS 11117224 WITH SCORE 1.1170204453E7
AT ITER 2342 NEW BEST:: SOT 71272113 SOS 53094095 HAS SOPS 46084513 HAS SOUS 11224710 HAS SOUPS 11113156 WITH SCORE 1.1166250095E7
AT ITER 2345 NEW BEST:: SOT 71272113 SOS 53084733 HAS SOPS 46075040 HAS SOUS 11224561 HAS SOUPS 11113007 WITH SCORE 1.1166091733E7
AT ITER 2346 NEW BEST:: SOT 71263694 SOS 53076338 HAS SOPS 46063565 HAS SOUS 11210112 HAS SOUPS 11098614 WITH SCORE 1.1151690338E7
AT ITER 2352 NEW BEST:: SOT 71256887 SOS 53069657 HAS SOPS 46056246 HAS SOUS 11192111 HAS SOUPS 11080613 WITH SCORE 1.1133682657E7
AT ITER 2360 NEW BEST:: SOT 71248417 SOS 53061375 HAS SOPS 46048509 HAS SOUS 11184064 HAS SOUPS 11072566 WITH SCORE 1.1125627375E7
AT ITER 2367 NEW BEST:: SOT 71247384 SOS 53060347 HAS SOPS 46047487 HAS SOUS 11182983 HAS SOUPS 11071485 WITH SCORE 1.1124545347E7
AT ITER 2374 NEW BEST:: SOT 71240367 SOS 53054076 HAS SOPS 46043259 HAS SOUS 11180024 HAS SOUPS 11069510 WITH SCORE 1.1122564076E7
AT ITER 2386 NEW BEST:: SOT 71232291 SOS 53047475 HAS SOPS 46036890 HAS SOUS 11139908 HAS SOUPS 11029537 WITH SCORE 1.1082584475E7
AT ITER 2392 NEW BEST:: SOT 71226914 SOS 53027072 HAS SOPS 46021877 HAS SOUS 11129407 HAS SOUPS 11019168 WITH SCORE 1.1072195072E7
AT ITER 2399 NEW BEST:: SOT 71236125 SOS 53050332 HAS SOPS 46038842 HAS SOUS 11121661 HAS SOUPS 11011514 WITH SCORE 1.1064564332E7
AT ITER 2420 NEW BEST:: SOT 71234905 SOS 53048874 HAS SOPS 46036856 HAS SOUS 11120290 HAS SOUPS 11010155 WITH SCORE 1.1063203874E7
AT ITER 2433 NEW BEST:: SOT 71198471 SOS 53122208 HAS SOPS 46101539 HAS SOUS 11103147 HAS SOUPS 10992573 WITH SCORE 1.1045695208E7
AT ITER 2442 NEW BEST:: SOT 71212707 SOS 53136929 HAS SOPS 46115675 HAS SOUS 11102993 HAS SOUPS 10992414 WITH SCORE 1.1045550929E7
AT ITER 2459 NEW BEST:: SOT 71210209 SOS 53134431 HAS SOPS 46113305 HAS SOUS 11100642 HAS SOUPS 10990063 WITH SCORE 1.1043197431E7
AT ITER 2460 NEW BEST:: SOT 71215198 SOS 53156420 HAS SOPS 46134464 HAS SOUS 11099939 HAS SOUPS 10989360 WITH SCORE 1.104251642E7
AT ITER 2473 NEW BEST:: SOT 71206267 SOS 53150621 HAS SOPS 46132341 HAS SOUS 11099649 HAS SOUPS 10988954 WITH SCORE 1.1042104621E7
AT ITER 2487 NEW BEST:: SOT 71214390 SOS 53182482 HAS SOPS 46165537 HAS SOUS 11098439 HAS SOUPS 10987847 WITH SCORE 1.1041029482E7
AT ITER 2517 NEW BEST:: SOT 71216484 SOS 53191558 HAS SOPS 46168644 HAS SOUS 11096295 HAS SOUPS 10985703 WITH SCORE 1.1038894558E7
AT ITER 2548 NEW BEST:: SOT 71212954 SOS 53243730 HAS SOPS 46209560 HAS SOUS 11094770 HAS SOUPS 10983952 WITH SCORE 1.103719573E7
AT ITER 2549 NEW BEST:: SOT 71229841 SOS 53270777 HAS SOPS 46215716 HAS SOUS 11087742 HAS SOUPS 10977003 WITH SCORE 1.1030273777E7
AT ITER 2567 NEW BEST:: SOT 71229809 SOS 53270737 HAS SOPS 46215668 HAS SOUS 11087734 HAS SOUPS 10976995 WITH SCORE 1.1030265737E7
AT ITER 2572 NEW BEST:: SOT 71238522 SOS 53278147 HAS SOPS 46222406 HAS SOUS 11080307 HAS SOUPS 10969568 WITH SCORE 1.1022846147E7
AT ITER 2593 NEW BEST:: SOT 71235446 SOS 53274279 HAS SOPS 46217130 HAS SOUS 11077041 HAS SOUPS 10966272 WITH SCORE 1.1019546279E7
AT ITER 2597 NEW BEST:: SOT 71232901 SOS 53271768 HAS SOPS 46214760 HAS SOUS 11076194 HAS SOUPS 10965425 WITH SCORE 1.1018696768E7
AT ITER 2605 NEW BEST:: SOT 71257043 SOS 53295864 HAS SOPS 46237632 HAS SOUS 11075786 HAS SOUPS 10965017 WITH SCORE 1.1018312864E7
AT ITER 2609 NEW BEST:: SOT 71253435 SOS 53292256 HAS SOPS 46234024 HAS SOUS 11073976 HAS SOUPS 10963207 WITH SCORE 1.1016499256E7
AT ITER 2612 NEW BEST:: SOT 71254036 SOS 53292861 HAS SOPS 46234627 HAS SOUS 11073403 HAS SOUPS 10962634 WITH SCORE 1.1015926861E7
AT ITER 2613 NEW BEST:: SOT 71254082 SOS 53283925 HAS SOPS 46234797 HAS SOUS 11073007 HAS SOUPS 10962261 WITH SCORE 1.1015544925E7
AT ITER 2621 NEW BEST:: SOT 71254082 SOS 53283934 HAS SOPS 46234806 HAS SOUS 11072980 HAS SOUPS 10962234 WITH SCORE 1.1015517934E7
AT ITER 2639 NEW BEST:: SOT 71253614 SOS 53283478 HAS SOPS 46234358 HAS SOUS 11072892 HAS SOUPS 10962146 WITH SCORE 1.1015429478E7
AT ITER 2651 NEW BEST:: SOT 71253614 SOS 53274033 HAS SOPS 46224881 HAS SOUS 11072898 HAS SOUPS 10962152 WITH SCORE 1.1015426033E7
AT ITER 2664 NEW BEST:: SOT 71253811 SOS 53274305 HAS SOPS 46225140 HAS SOUS 11072854 HAS SOUPS 10962108 WITH SCORE 1.1015382305E7
AT ITER 2671 NEW BEST:: SOT 71253811 SOS 53275387 HAS SOPS 46226222 HAS SOUS 11072846 HAS SOUPS 10962100 WITH SCORE 1.1015375387E7
AT ITER 2674 NEW BEST:: SOT 71253017 SOS 53275126 HAS SOPS 46227511 HAS SOUS 11072529 HAS SOUPS 10961783 WITH SCORE 1.1015058126E7
AT ITER 2675 NEW BEST:: SOT 71251162 SOS 53273171 HAS SOPS 46225556 HAS SOUS 11069674 HAS SOUPS 10958928 WITH SCORE 1.1012201171E7
AT ITER 2680 NEW BEST:: SOT 71212732 SOS 53248192 HAS SOPS 46223716 HAS SOUS 11057927 HAS SOUPS 10947115 WITH SCORE 1.1000363192E7
AT ITER 2684 NEW BEST:: SOT 71217907 SOS 53259756 HAS SOPS 46230719 HAS SOUS 11048229 HAS SOUPS 10937358 WITH SCORE 1.0990617756E7
AT ITER 2708 NEW BEST:: SOT 71220860 SOS 53262676 HAS SOPS 46222231 HAS SOUS 11023946 HAS SOUPS 10908733 WITH SCORE 1.0961995676E7
AT ITER 2710 NEW BEST:: SOT 71238589 SOS 53280597 HAS SOPS 46234956 HAS SOUS 11013606 HAS SOUPS 10898393 WITH SCORE 1.0951673597E7
AT ITER 2717 NEW BEST:: SOT 71260758 SOS 53340646 HAS SOPS 46299014 HAS SOUS 11005851 HAS SOUPS 10890638 WITH SCORE 1.0943978646E7
AT ITER 2725 NEW BEST:: SOT 71247896 SOS 53328499 HAS SOPS 46286973 HAS SOUS 10996102 HAS SOUPS 10880889 WITH SCORE 1.0934217499E7
AT ITER 2726 NEW BEST:: SOT 71247295 SOS 53327947 HAS SOPS 46286421 HAS SOUS 10994900 HAS SOUPS 10879687 WITH SCORE 1.0933014947E7
AT ITER 2728 NEW BEST:: SOT 71246919 SOS 53328135 HAS SOPS 46285879 HAS SOUS 10975317 HAS SOUPS 10860104 WITH SCORE 1.0913432135E7
AT ITER 2733 NEW BEST:: SOT 71244880 SOS 53326421 HAS SOPS 46285168 HAS SOUS 10972493 HAS SOUPS 10857280 WITH SCORE 1.0910606421E7
AT ITER 2737 NEW BEST:: SOT 71254592 SOS 53308172 HAS SOPS 46283827 HAS SOUS 10965479 HAS SOUPS 10850417 WITH SCORE 1.0903725172E7
AT ITER 2741 NEW BEST:: SOT 71254844 SOS 53308424 HAS SOPS 46284043 HAS SOUS 10963859 HAS SOUPS 10848797 WITH SCORE 1.0902105424E7
AT ITER 2756 NEW BEST:: SOT 71254891 SOS 53308482 HAS SOPS 46284098 HAS SOUS 10963143 HAS SOUPS 10848081 WITH SCORE 1.0901389482E7
AT ITER 2758 NEW BEST:: SOT 71266451 SOS 53319810 HAS SOPS 46292722 HAS SOUS 10962248 HAS SOUPS 10847186 WITH SCORE 1.090050581E7
AT ITER 2759 NEW BEST:: SOT 71260390 SOS 53346438 HAS SOPS 46332752 HAS SOUS 10962219 HAS SOUPS 10847157 WITH SCORE 1.0900503438E7
AT ITER 2760 NEW BEST:: SOT 71256134 SOS 53342258 HAS SOPS 46325456 HAS SOUS 10956975 HAS SOUPS 10841913 WITH SCORE 1.0895255258E7
AT ITER 2763 NEW BEST:: SOT 71254246 SOS 53340230 HAS SOPS 46323008 HAS SOUS 10954269 HAS SOUPS 10839207 WITH SCORE 1.089254723E7
AT ITER 2766 NEW BEST:: SOT 71243351 SOS 53377214 HAS SOPS 46362362 HAS SOUS 10939587 HAS SOUPS 10824730 WITH SCORE 1.0878107214E7
AT ITER 2770 NEW BEST:: SOT 71242083 SOS 53395886 HAS SOPS 46380563 HAS SOUS 10935275 HAS SOUPS 10820335 WITH SCORE 1.0873730886E7
AT ITER 2771 NEW BEST:: SOT 71214221 SOS 53401769 HAS SOPS 46384240 HAS SOUS 10902361 HAS SOUPS 10787421 WITH SCORE 1.0840822769E7
AT ITER 2788 NEW BEST:: SOT 71214509 SOS 53402049 HAS SOPS 46384632 HAS SOUS 10902017 HAS SOUPS 10787077 WITH SCORE 1.0840479049E7
AT ITER 2789 NEW BEST:: SOT 71208239 SOS 53395703 HAS SOPS 46378248 HAS SOUS 10894759 HAS SOUPS 10779819 WITH SCORE 1.0833214703E7
AT ITER 2794 NEW BEST:: SOT 71201403 SOS 53384386 HAS SOPS 46371891 HAS SOUS 10889323 HAS SOUPS 10774383 WITH SCORE 1.0827767386E7
AT ITER 2803 NEW BEST:: SOT 71201267 SOS 53384234 HAS SOPS 46371707 HAS SOUS 10889259 HAS SOUPS 10774319 WITH SCORE 1.0827703234E7
AT ITER 2808 NEW BEST:: SOT 71201315 SOS 53385039 HAS SOPS 46372612 HAS SOUS 10889206 HAS SOUPS 10774268 WITH SCORE 1.0827653039E7
AT ITER 2827 NEW BEST:: SOT 71153217 SOS 53348889 HAS SOPS 46343499 HAS SOUS 10856701 HAS SOUPS 10747768 WITH SCORE 1.0801116889E7
AT ITER 2831 NEW BEST:: SOT 71153177 SOS 53348845 HAS SOPS 46343455 HAS SOUS 10856637 HAS SOUPS 10747704 WITH SCORE 1.0801052845E7
AT ITER 2835 NEW BEST:: SOT 71154334 SOS 53350514 HAS SOPS 46341677 HAS SOUS 10850209 HAS SOUPS 10741276 WITH SCORE 1.0794626514E7
AT ITER 2849 NEW BEST:: SOT 71155112 SOS 53351183 HAS SOPS 46342291 HAS SOUS 10849642 HAS SOUPS 10740709 WITH SCORE 1.0794060183E7
AT ITER 2850 NEW BEST:: SOT 71160241 SOS 53356334 HAS SOPS 46346233 HAS SOUS 10843870 HAS SOUPS 10734937 WITH SCORE 1.0788293334E7
AT ITER 2855 NEW BEST:: SOT 71161433 SOS 53357595 HAS SOPS 46347503 HAS SOUS 10842479 HAS SOUPS 10733546 WITH SCORE 1.0786903595E7
AT ITER 2861 NEW BEST:: SOT 71161274 SOS 53357436 HAS SOPS 46347344 HAS SOUS 10842320 HAS SOUPS 10733387 WITH SCORE 1.0786744436E7
AT ITER 2862 NEW BEST:: SOT 71159526 SOS 53358062 HAS SOPS 46344403 HAS SOUS 10828649 HAS SOUPS 10719766 WITH SCORE 1.0773124062E7
AT ITER 2863 NEW BEST:: SOT 71158280 SOS 53357284 HAS SOPS 46344791 HAS SOUS 10825576 HAS SOUPS 10716693 WITH SCORE 1.0770050284E7
AT ITER 2870 NEW BEST:: SOT 71158280 SOS 53358522 HAS SOPS 46346029 HAS SOUS 10825553 HAS SOUPS 10716670 WITH SCORE 1.0770028522E7
AT ITER 2872 NEW BEST:: SOT 71162327 SOS 53362334 HAS SOPS 46349519 HAS SOUS 10823009 HAS SOUPS 10714126 WITH SCORE 1.0767488334E7
AT ITER 2875 NEW BEST:: SOT 71162289 SOS 53393320 HAS SOPS 46366592 HAS SOUS 10822771 HAS SOUPS 10713810 WITH SCORE 1.076720332E7
AT ITER 2884 NEW BEST:: SOT 71160067 SOS 53391098 HAS SOPS 46364482 HAS SOUS 10820997 HAS SOUPS 10712036 WITH SCORE 1.0765427098E7
AT ITER 2885 NEW BEST:: SOT 71157813 SOS 53388988 HAS SOPS 46362242 HAS SOUS 10813609 HAS SOUPS 10704648 WITH SCORE 1.0758036988E7
AT ITER 2898 NEW BEST:: SOT 71150497 SOS 53395081 HAS SOPS 46361537 HAS SOUS 10790964 HAS SOUPS 10682003 WITH SCORE 1.0735398081E7
AT ITER 2906 NEW BEST:: SOT 71143730 SOS 53388314 HAS SOPS 46354512 HAS SOUS 10777885 HAS SOUPS 10668924 WITH SCORE 1.0722312314E7
AT ITER 2918 NEW BEST:: SOT 71143050 SOS 53387634 HAS SOPS 46353441 HAS SOUS 10777261 HAS SOUPS 10668300 WITH SCORE 1.0721687634E7
AT ITER 2924 NEW BEST:: SOT 71142231 SOS 53386802 HAS SOPS 46352485 HAS SOUS 10775003 HAS SOUPS 10666042 WITH SCORE 1.0719428802E7
AT ITER 2933 NEW BEST:: SOT 71141742 SOS 53386469 HAS SOPS 46352248 HAS SOUS 10774958 HAS SOUPS 10665997 WITH SCORE 1.0719383469E7
AT ITER 2937 NEW BEST:: SOT 71129526 SOS 53373995 HAS SOPS 46341820 HAS SOUS 10773893 HAS SOUPS 10664932 WITH SCORE 1.0718305995E7
AT ITER 2939 NEW BEST:: SOT 71130534 SOS 53375134 HAS SOPS 46342883 HAS SOUS 10770611 HAS SOUPS 10661650 WITH SCORE 1.0715025134E7
AT ITER 2958 NEW BEST:: SOT 71126715 SOS 53371445 HAS SOPS 46338723 HAS SOUS 10761228 HAS SOUPS 10652267 WITH SCORE 1.0705638445E7
AT ITER 2966 NEW BEST:: SOT 71122762 SOS 53367492 HAS SOPS 46334770 HAS SOUS 10758455 HAS SOUPS 10649494 WITH SCORE 1.0702861492E7
AT ITER 2984 NEW BEST:: SOT 71128492 SOS 53373670 HAS SOPS 46341327 HAS SOUS 10758238 HAS SOUPS 10649277 WITH SCORE 1.070265067E7
AT ITER 3017 NEW BEST:: SOT 71128260 SOS 53373438 HAS SOPS 46341054 HAS SOUS 10758033 HAS SOUPS 10649072 WITH SCORE 1.0702445438E7
AT ITER 3024 NEW BEST:: SOT 71128411 SOS 53373605 HAS SOPS 46341178 HAS SOUS 10757425 HAS SOUPS 10648464 WITH SCORE 1.0701837605E7
AT ITER 3027 NEW BEST:: SOT 71127789 SOS 53373053 HAS SOPS 46340592 HAS SOUS 10756603 HAS SOUPS 10647642 WITH SCORE 1.0701015053E7
AT ITER 3028 NEW BEST:: SOT 71130506 SOS 53449328 HAS SOPS 46402880 HAS SOUS 10755427 HAS SOUPS 10646466 WITH SCORE 1.0699915328E7
AT ITER 3032 NEW BEST:: SOT 71130392 SOS 53449214 HAS SOPS 46402761 HAS SOUS 10755271 HAS SOUPS 10646310 WITH SCORE 1.0699759214E7
AT ITER 3065 NEW BEST:: SOT 71130951 SOS 53489825 HAS SOPS 46434399 HAS SOUS 10750044 HAS SOUPS 10641083 WITH SCORE 1.0694572825E7
AT ITER 3089 NEW BEST:: SOT 71129115 SOS 53487921 HAS SOPS 46432359 HAS SOUS 10745488 HAS SOUPS 10636527 WITH SCORE 1.0690014921E7
AT ITER 3109 NEW BEST:: SOT 71122299 SOS 53483276 HAS SOPS 46420145 HAS SOUS 10731923 HAS SOUPS 10623078 WITH SCORE 1.0676561276E7
AT ITER 3117 NEW BEST:: SOT 71202517 SOS 53602090 HAS SOPS 46545017 HAS SOUS 10725016 HAS SOUPS 10616541 WITH SCORE 1.067014309E7
AT ITER 3118 NEW BEST:: SOT 71201909 SOS 53599753 HAS SOPS 46543397 HAS SOUS 10724974 HAS SOUPS 10616499 WITH SCORE 1.0670098753E7
AT ITER 3130 NEW BEST:: SOT 71199104 SOS 53596855 HAS SOPS 46540342 HAS SOUS 10720303 HAS SOUPS 10611828 WITH SCORE 1.0665424855E7
AT ITER 3160 NEW BEST:: SOT 71196726 SOS 53594521 HAS SOPS 46537860 HAS SOUS 10715767 HAS SOUPS 10607292 WITH SCORE 1.0660886521E7
AT ITER 3162 NEW BEST:: SOT 71219206 SOS 53616642 HAS SOPS 46542841 HAS SOUS 10686146 HAS SOUPS 10577671 WITH SCORE 1.0631287642E7
AT ITER 3174 NEW BEST:: SOT 71218595 SOS 53615870 HAS SOPS 46541902 HAS SOUS 10686019 HAS SOUPS 10577544 WITH SCORE 1.063115987E7
AT ITER 3205 NEW BEST:: SOT 71219586 SOS 53616824 HAS SOPS 46542869 HAS SOUS 10685752 HAS SOUPS 10577277 WITH SCORE 1.0630893824E7
AT ITER 3213 NEW BEST:: SOT 71218086 SOS 53615354 HAS SOPS 46541459 HAS SOUS 10683232 HAS SOUPS 10574757 WITH SCORE 1.0628372354E7
AT ITER 3220 NEW BEST:: SOT 71218453 SOS 53625609 HAS SOPS 46551618 HAS SOUS 10682025 HAS SOUPS 10573550 WITH SCORE 1.0627175609E7
AT ITER 3231 NEW BEST:: SOT 71214529 SOS 53621377 HAS SOPS 46546531 HAS SOUS 10674054 HAS SOUPS 10565579 WITH SCORE 1.0619200377E7
AT ITER 3241 NEW BEST:: SOT 71214660 SOS 53622991 HAS SOPS 46548135 HAS SOUS 10673777 HAS SOUPS 10565302 WITH SCORE 1.0618924991E7
AT ITER 3250 NEW BEST:: SOT 71214558 SOS 53622829 HAS SOPS 46547905 HAS SOUS 10673373 HAS SOUPS 10564898 WITH SCORE 1.0618520829E7
AT ITER 3261 NEW BEST:: SOT 71214775 SOS 53623036 HAS SOPS 46547802 HAS SOUS 10665708 HAS SOUPS 10557233 WITH SCORE 1.0610856036E7
AT ITER 3264 NEW BEST:: SOT 71214767 SOS 53623028 HAS SOPS 46547793 HAS SOUS 10665688 HAS SOUPS 10557213 WITH SCORE 1.0610836028E7
AT ITER 3266 NEW BEST:: SOT 71229422 SOS 53649605 HAS SOPS 46569547 HAS SOUS 10663756 HAS SOUPS 10555281 WITH SCORE 1.0608930605E7
AT ITER 3268 NEW BEST:: SOT 71225589 SOS 53634412 HAS SOPS 46568287 HAS SOUS 10661103 HAS SOUPS 10552676 WITH SCORE 1.0606310412E7
AT ITER 3271 NEW BEST:: SOT 71227227 SOS 53636050 HAS SOPS 46569834 HAS SOUS 10658828 HAS SOUPS 10550401 WITH SCORE 1.060403705E7
AT ITER 3292 NEW BEST:: SOT 71269667 SOS 53718612 HAS SOPS 46640093 HAS SOUS 10637460 HAS SOUPS 10529140 WITH SCORE 1.0582858612E7
AT ITER 3301 NEW BEST:: SOT 71302589 SOS 53750222 HAS SOPS 46675100 HAS SOUS 10626627 HAS SOUPS 10518529 WITH SCORE 1.0572279222E7
AT ITER 3313 NEW BEST:: SOT 71301552 SOS 53749134 HAS SOPS 46673893 HAS SOUS 10624767 HAS SOUPS 10516669 WITH SCORE 1.0570418134E7
AT ITER 3349 NEW BEST:: SOT 71300750 SOS 53748364 HAS SOPS 46673181 HAS SOUS 10621693 HAS SOUPS 10513595 WITH SCORE 1.0567343364E7
AT ITER 3357 NEW BEST:: SOT 71300697 SOS 53748241 HAS SOPS 46672874 HAS SOUS 10621158 HAS SOUPS 10513060 WITH SCORE 1.0566808241E7
AT ITER 3365 NEW BEST:: SOT 71300763 SOS 53746378 HAS SOPS 46670551 HAS SOUS 10620067 HAS SOUPS 10511969 WITH SCORE 1.0565715378E7
AT ITER 3375 NEW BEST:: SOT 71311880 SOS 53798627 HAS SOPS 46719696 HAS SOUS 10619231 HAS SOUPS 10511133 WITH SCORE 1.0564931627E7
AT ITER 3376 NEW BEST:: SOT 71312160 SOS 53790402 HAS SOPS 46711011 HAS SOUS 10617686 HAS SOUPS 10509588 WITH SCORE 1.0563378402E7
AT ITER 3386 NEW BEST:: SOT 71296696 SOS 53772488 HAS SOPS 46695449 HAS SOUS 10615385 HAS SOUPS 10507125 WITH SCORE 1.0560897488E7
AT ITER 3395 NEW BEST:: SOT 71318879 SOS 53793750 HAS SOPS 46713292 HAS SOUS 10596620 HAS SOUPS 10488524 WITH SCORE 1.054231775E7
AT ITER 3407 NEW BEST:: SOT 71323539 SOS 53621988 HAS SOPS 46595259 HAS SOUS 10587376 HAS SOUPS 10479381 WITH SCORE 1.0533002988E7
AT ITER 3417 NEW BEST:: SOT 71310209 SOS 53605487 HAS SOPS 46575622 HAS SOUS 10576037 HAS SOUPS 10468265 WITH SCORE 1.0521870487E7
AT ITER 3420 NEW BEST:: SOT 71338879 SOS 53565367 HAS SOPS 46528137 HAS SOUS 10569895 HAS SOUPS 10462124 WITH SCORE 1.0515689367E7
AT ITER 3432 NEW BEST:: SOT 71339659 SOS 53566147 HAS SOPS 46525294 HAS SOUS 10565273 HAS SOUPS 10457502 WITH SCORE 1.0511068147E7
AT ITER 3437 NEW BEST:: SOT 71337349 SOS 53563642 HAS SOPS 46522444 HAS SOUS 10562474 HAS SOUPS 10454703 WITH SCORE 1.0508266642E7
AT ITER 3446 NEW BEST:: SOT 71337267 SOS 53563559 HAS SOPS 46522397 HAS SOUS 10562384 HAS SOUPS 10454622 WITH SCORE 1.0508185559E7
AT ITER 3459 NEW BEST:: SOT 71393768 SOS 53647417 HAS SOPS 46591573 HAS SOUS 10552989 HAS SOUPS 10445479 WITH SCORE 1.0499126417E7
AT ITER 3482 NEW BEST:: SOT 71393768 SOS 53638155 HAS SOPS 46588144 HAS SOUS 10552895 HAS SOUPS 10445412 WITH SCORE 1.0499050155E7
AT ITER 3486 NEW BEST:: SOT 71396867 SOS 53598012 HAS SOPS 46553180 HAS SOUS 10541820 HAS SOUPS 10434505 WITH SCORE 1.0488103012E7
AT ITER 3490 NEW BEST:: SOT 71396605 SOS 53597945 HAS SOPS 46552929 HAS SOUS 10540592 HAS SOUPS 10433277 WITH SCORE 1.0486874945E7
AT ITER 3494 NEW BEST:: SOT 71396632 SOS 53597981 HAS SOPS 46552965 HAS SOUS 10540547 HAS SOUPS 10433232 WITH SCORE 1.0486829981E7
AT ITER 3496 NEW BEST:: SOT 71396138 SOS 53597500 HAS SOPS 46552458 HAS SOUS 10539572 HAS SOUPS 10432257 WITH SCORE 1.04858545E7
AT ITER 3499 NEW BEST:: SOT 71416460 SOS 53616952 HAS SOPS 46557239 HAS SOUS 10501806 HAS SOUPS 10393343 WITH SCORE 1.0446959952E7
AT ITER 3506 NEW BEST:: SOT 71417168 SOS 53613499 HAS SOPS 46552660 HAS SOUS 10498567 HAS SOUPS 10390149 WITH SCORE 1.0443762499E7
AT ITER 3522 NEW BEST:: SOT 71527090 SOS 53715159 HAS SOPS 46613644 HAS SOUS 10469573 HAS SOUPS 10361136 WITH SCORE 1.0414851159E7
AT ITER 3540 NEW BEST:: SOT 71499386 SOS 53688369 HAS SOPS 46592655 HAS SOUS 10468143 HAS SOUPS 10359706 WITH SCORE 1.0413394369E7
AT ITER 3561 NEW BEST:: SOT 71509734 SOS 53698546 HAS SOPS 46595496 HAS SOUS 10464890 HAS SOUPS 10356309 WITH SCORE 1.0410007546E7
AT ITER 3562 NEW BEST:: SOT 71513808 SOS 53703160 HAS SOPS 46592400 HAS SOUS 10462514 HAS SOUPS 10353933 WITH SCORE 1.040763616E7
AT ITER 3565 NEW BEST:: SOT 71484579 SOS 53697903 HAS SOPS 46584940 HAS SOUS 10444744 HAS SOUPS 10335386 WITH SCORE 1.0389083903E7
AT ITER 3567 NEW BEST:: SOT 71487781 SOS 53701123 HAS SOPS 46585814 HAS SOUS 10444682 HAS SOUPS 10335324 WITH SCORE 1.0389025123E7
AT ITER 3570 NEW BEST:: SOT 71487201 SOS 53696643 HAS SOPS 46579915 HAS SOUS 10443143 HAS SOUPS 10333785 WITH SCORE 1.0387481643E7
AT ITER 3574 NEW BEST:: SOT 71496458 SOS 53704644 HAS SOPS 46587277 HAS SOUS 10441768 HAS SOUPS 10332480 WITH SCORE 1.0386184644E7
AT ITER 3576 NEW BEST:: SOT 71493266 SOS 53701452 HAS SOPS 46584085 HAS SOUS 10439260 HAS SOUPS 10329972 WITH SCORE 1.0383673452E7
AT ITER 3584 NEW BEST:: SOT 71492771 SOS 53700952 HAS SOPS 46583590 HAS SOUS 10438925 HAS SOUPS 10329632 WITH SCORE 1.0383332952E7
AT ITER 3592 NEW BEST:: SOT 71492499 SOS 53700680 HAS SOPS 46583046 HAS SOUS 10438201 HAS SOUPS 10328908 WITH SCORE 1.038260868E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15636388 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16090632 kB

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="RERS2020-PT-pb107"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is RERS2020-PT-pb107, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r323-tall-167889194500272"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/RERS2020-PT-pb107.tgz
mv RERS2020-PT-pb107 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;