About the Execution of Smart+red for RERS17pb115-PT-9
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1899.695 | 3600000.00 | 3832652.00 | 7225.60 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r331-tall-167889204200216.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
............................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is RERS17pb115-PT-9, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r331-tall-167889204200216
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 6.6K Feb 25 13:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 25 13:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 25 13:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 25 13:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K 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 3.1K Feb 25 16:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:40 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 25 14:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 159K Feb 25 14:02 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 18K Feb 25 13:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 115K Feb 25 13:56 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:40 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K 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 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 69M Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1679109829723
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=RERS17pb115-PT-9
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-18 03:23:51] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-18 03:23:51] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-18 03:23:53] [INFO ] Load time of PNML (sax parser for PT used): 1933 ms
[2023-03-18 03:23:53] [INFO ] Transformed 1399 places.
[2023-03-18 03:23:54] [INFO ] Transformed 144369 transitions.
[2023-03-18 03:23:54] [INFO ] Parsed PT model containing 1399 places and 144369 transitions and 577414 arcs in 2476 ms.
[2023-03-18 03:23:54] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1399 places, 144369 transitions and 577414 arcs took 351 ms.
Total runtime 2864 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb115 (PT), instance 9
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart
Filename model.pnml
Petri model created: 1399 places, 144369 transitions, 577414 arcs.
AT ITER 0 NEW BEST:: SOT 123476540 SOS 80284426 HAS SOPS 65263383 HAS SOUS 24121552 HAS SOUPS 23549470 WITH SCORE 2.3629754426E7
AT ITER 6 NEW BEST:: SOT 123476292 SOS 80284028 HAS SOPS 65262524 HAS SOUS 24120924 HAS SOUPS 23548842 WITH SCORE 2.3629126028E7
AT ITER 9 NEW BEST:: SOT 123458058 SOS 80252829 HAS SOPS 65233314 HAS SOUS 24117929 HAS SOUPS 23545847 WITH SCORE 2.3626099829E7
AT ITER 18 NEW BEST:: SOT 123467681 SOS 80285659 HAS SOPS 65251857 HAS SOUS 24107187 HAS SOUPS 23535105 WITH SCORE 2.3615390659E7
AT ITER 36 NEW BEST:: SOT 123480297 SOS 80318337 HAS SOPS 65300452 HAS SOUS 24073862 HAS SOUPS 23502501 WITH SCORE 2.3582819337E7
AT ITER 47 NEW BEST:: SOT 123480294 SOS 80318244 HAS SOPS 65300324 HAS SOUS 24073857 HAS SOUPS 23502496 WITH SCORE 2.3582814244E7
AT ITER 62 NEW BEST:: SOT 123467905 SOS 80300213 HAS SOPS 65285884 HAS SOUS 24051679 HAS SOUPS 23480318 WITH SCORE 2.3560618213E7
AT ITER 63 NEW BEST:: SOT 123456022 SOS 80288257 HAS SOPS 65273928 HAS SOUS 24039808 HAS SOUPS 23468447 WITH SCORE 2.3548735257E7
AT ITER 84 NEW BEST:: SOT 123456085 SOS 80298806 HAS SOPS 65282042 HAS SOUS 24039698 HAS SOUPS 23468337 WITH SCORE 2.3548635806E7
AT ITER 102 NEW BEST:: SOT 123449375 SOS 80290980 HAS SOPS 65278776 HAS SOUS 24019761 HAS SOUPS 23448400 WITH SCORE 2.352869098E7
AT ITER 103 NEW BEST:: SOT 123437581 SOS 80264680 HAS SOPS 65257081 HAS SOUS 24018067 HAS SOUPS 23446538 WITH SCORE 2.352680268E7
AT ITER 112 NEW BEST:: SOT 123454425 SOS 80293158 HAS SOPS 65321091 HAS SOUS 24002192 HAS SOUPS 23431819 WITH SCORE 2.3512112158E7
AT ITER 126 NEW BEST:: SOT 123450443 SOS 80288836 HAS SOPS 65318523 HAS SOUS 23965318 HAS SOUPS 23395249 WITH SCORE 2.3475537836E7
AT ITER 129 NEW BEST:: SOT 123470455 SOS 80330896 HAS SOPS 65381262 HAS SOUS 23949745 HAS SOUPS 23379298 WITH SCORE 2.3459628896E7
AT ITER 130 NEW BEST:: SOT 123479971 SOS 80348950 HAS SOPS 65401023 HAS SOUS 23939493 HAS SOUPS 23369046 WITH SCORE 2.344939495E7
AT ITER 147 NEW BEST:: SOT 123390011 SOS 80245565 HAS SOPS 65301055 HAS SOUS 23832520 HAS SOUPS 23262549 WITH SCORE 2.3342794565E7
AT ITER 157 NEW BEST:: SOT 123398300 SOS 80257775 HAS SOPS 65308848 HAS SOUS 23831946 HAS SOUPS 23261975 WITH SCORE 2.3342232775E7
AT ITER 170 NEW BEST:: SOT 123398211 SOS 80266202 HAS SOPS 65321194 HAS SOUS 23830303 HAS SOUPS 23260332 WITH SCORE 2.3340598202E7
AT ITER 187 NEW BEST:: SOT 123400722 SOS 80298363 HAS SOPS 65339665 HAS SOUS 23799485 HAS SOUPS 23229514 WITH SCORE 2.3309812363E7
AT ITER 207 NEW BEST:: SOT 123427177 SOS 80385708 HAS SOPS 65433000 HAS SOUS 23795831 HAS SOUPS 23225860 WITH SCORE 2.3306245708E7
AT ITER 218 NEW BEST:: SOT 123462443 SOS 80455018 HAS SOPS 65499661 HAS SOUS 23776880 HAS SOUPS 23206414 WITH SCORE 2.3286869018E7
AT ITER 232 NEW BEST:: SOT 123462443 SOS 80458474 HAS SOPS 65505997 HAS SOUS 23776783 HAS SOUPS 23206317 WITH SCORE 2.3286775474E7
AT ITER 234 NEW BEST:: SOT 123446179 SOS 80436250 HAS SOPS 65468501 HAS SOUS 23755054 HAS SOUPS 23184588 WITH SCORE 2.326502425E7
AT ITER 245 NEW BEST:: SOT 123472259 SOS 80497966 HAS SOPS 65512821 HAS SOUS 23744335 HAS SOUPS 23173869 WITH SCORE 2.3254366966E7
AT ITER 254 NEW BEST:: SOT 123462951 SOS 80472018 HAS SOPS 65468588 HAS SOUS 23740600 HAS SOUPS 23169822 WITH SCORE 2.3250294018E7
AT ITER 263 NEW BEST:: SOT 123460966 SOS 80470318 HAS SOPS 65466565 HAS SOUS 23738401 HAS SOUPS 23167400 WITH SCORE 2.3247870318E7
AT ITER 269 NEW BEST:: SOT 123437511 SOS 80446038 HAS SOPS 65441485 HAS SOUS 23713117 HAS SOUPS 23142116 WITH SCORE 2.3222562038E7
AT ITER 278 NEW BEST:: SOT 123437481 SOS 80446018 HAS SOPS 65441465 HAS SOUS 23713071 HAS SOUPS 23142070 WITH SCORE 2.3222516018E7
AT ITER 283 NEW BEST:: SOT 123437176 SOS 80447041 HAS SOPS 65440705 HAS SOUS 23706287 HAS SOUPS 23135185 WITH SCORE 2.3215632041E7
AT ITER 285 NEW BEST:: SOT 123433184 SOS 80455737 HAS SOPS 65446753 HAS SOUS 23703241 HAS SOUPS 23132139 WITH SCORE 2.3212594737E7
AT ITER 298 NEW BEST:: SOT 123427173 SOS 80450653 HAS SOPS 65440174 HAS SOUS 23694265 HAS SOUPS 23123163 WITH SCORE 2.3203613653E7
AT ITER 301 NEW BEST:: SOT 123418394 SOS 80439102 HAS SOPS 65426774 HAS SOUS 23683634 HAS SOUPS 23112532 WITH SCORE 2.3192971102E7
AT ITER 303 NEW BEST:: SOT 123428773 SOS 80454591 HAS SOPS 65434873 HAS SOUS 23681072 HAS SOUPS 23109970 WITH SCORE 2.3190424591E7
AT ITER 304 NEW BEST:: SOT 123429893 SOS 80455743 HAS SOPS 65435921 HAS SOUS 23680704 HAS SOUPS 23109602 WITH SCORE 2.3190057743E7
AT ITER 314 NEW BEST:: SOT 123429773 SOS 80455533 HAS SOPS 65435801 HAS SOUS 23680432 HAS SOUPS 23109330 WITH SCORE 2.3189785533E7
AT ITER 318 NEW BEST:: SOT 123442877 SOS 80482611 HAS SOPS 65464803 HAS SOUS 23678869 HAS SOUPS 23107767 WITH SCORE 2.3188249611E7
AT ITER 333 NEW BEST:: SOT 123442877 SOS 80483363 HAS SOPS 65466227 HAS SOUS 23678833 HAS SOUPS 23107731 WITH SCORE 2.3188214363E7
AT ITER 339 NEW BEST:: SOT 123438682 SOS 80456057 HAS SOPS 65508085 HAS SOUS 23673075 HAS SOUPS 23101973 WITH SCORE 2.3182429057E7
AT ITER 344 NEW BEST:: SOT 123436193 SOS 80453455 HAS SOPS 65505503 HAS SOUS 23667450 HAS SOUPS 23096367 WITH SCORE 2.3176820455E7
AT ITER 353 NEW BEST:: SOT 123466518 SOS 80507432 HAS SOPS 65561654 HAS SOUS 23651522 HAS SOUPS 23080194 WITH SCORE 2.3160701432E7
AT ITER 358 NEW BEST:: SOT 123465327 SOS 80501472 HAS SOPS 65562935 HAS SOUS 23630273 HAS SOUPS 23059137 WITH SCORE 2.3139638472E7
AT ITER 383 NEW BEST:: SOT 123462624 SOS 80500391 HAS SOPS 65561322 HAS SOUS 23626560 HAS SOUPS 23055424 WITH SCORE 2.3135924391E7
AT ITER 385 NEW BEST:: SOT 123462698 SOS 80506225 HAS SOPS 65566772 HAS SOUS 23626552 HAS SOUPS 23055416 WITH SCORE 2.3135922225E7
AT ITER 389 NEW BEST:: SOT 123448991 SOS 80490610 HAS SOPS 65550853 HAS SOUS 23581213 HAS SOUPS 23010068 WITH SCORE 2.309055861E7
AT ITER 391 NEW BEST:: SOT 123431276 SOS 80463419 HAS SOPS 65526020 HAS SOUS 23554564 HAS SOUPS 22983489 WITH SCORE 2.3063952419E7
AT ITER 429 NEW BEST:: SOT 123423908 SOS 80455887 HAS SOPS 65531793 HAS SOUS 23552952 HAS SOUPS 22981877 WITH SCORE 2.3062332887E7
AT ITER 439 NEW BEST:: SOT 123429198 SOS 80480872 HAS SOPS 65552568 HAS SOUS 23528658 HAS SOUPS 22957583 WITH SCORE 2.3038063872E7
AT ITER 448 NEW BEST:: SOT 123439429 SOS 80508042 HAS SOPS 65575530 HAS SOUS 23516540 HAS SOUPS 22945465 WITH SCORE 2.3025973042E7
AT ITER 451 NEW BEST:: SOT 123433244 SOS 80506964 HAS SOPS 65571666 HAS SOUS 23497326 HAS SOUPS 22926251 WITH SCORE 2.3006757964E7
AT ITER 465 NEW BEST:: SOT 123382974 SOS 80458965 HAS SOPS 65517697 HAS SOUS 23452253 HAS SOUPS 22880834 WITH SCORE 2.2961292965E7
AT ITER 467 NEW BEST:: SOT 123365979 SOS 80433260 HAS SOPS 65497785 HAS SOUS 23446572 HAS SOUPS 22875327 WITH SCORE 2.295576026E7
AT ITER 493 NEW BEST:: SOT 123365979 SOS 80436284 HAS SOPS 65502649 HAS SOUS 23446470 HAS SOUPS 22875225 WITH SCORE 2.2955661284E7
AT ITER 502 NEW BEST:: SOT 123365979 SOS 80446224 HAS SOPS 65515085 HAS SOUS 23446432 HAS SOUPS 22875187 WITH SCORE 2.2955633224E7
AT ITER 508 NEW BEST:: SOT 123365636 SOS 80446000 HAS SOPS 65515166 HAS SOUS 23445985 HAS SOUPS 22874740 WITH SCORE 2.2955186E7
AT ITER 509 NEW BEST:: SOT 123377543 SOS 80483688 HAS SOPS 65541759 HAS SOUS 23435185 HAS SOUPS 22863940 WITH SCORE 2.2944423688E7
AT ITER 510 NEW BEST:: SOT 123368131 SOS 80460823 HAS SOPS 65523518 HAS SOUS 23422452 HAS SOUPS 22851737 WITH SCORE 2.2932197823E7
AT ITER 515 NEW BEST:: SOT 123374676 SOS 80483182 HAS SOPS 65536585 HAS SOUS 23406363 HAS SOUPS 22835648 WITH SCORE 2.2916131182E7
AT ITER 536 NEW BEST:: SOT 123358390 SOS 80470046 HAS SOPS 65515913 HAS SOUS 23364439 HAS SOUPS 22793724 WITH SCORE 2.2874194046E7
AT ITER 539 NEW BEST:: SOT 123344586 SOS 80480511 HAS SOPS 65526787 HAS SOUS 23354612 HAS SOUPS 22783897 WITH SCORE 2.2864377511E7
AT ITER 563 NEW BEST:: SOT 123341959 SOS 80477009 HAS SOPS 65522495 HAS SOUS 23350007 HAS SOUPS 22779317 WITH SCORE 2.2859794009E7
AT ITER 568 NEW BEST:: SOT 123334552 SOS 80471198 HAS SOPS 65513822 HAS SOUS 23342472 HAS SOUPS 22770960 WITH SCORE 2.2851431198E7
AT ITER 571 NEW BEST:: SOT 123316557 SOS 80459671 HAS SOPS 65499143 HAS SOUS 23296127 HAS SOUPS 22724615 WITH SCORE 2.2805074671E7
AT ITER 584 NEW BEST:: SOT 123316509 SOS 80459548 HAS SOPS 65499107 HAS SOUS 23295732 HAS SOUPS 22724286 WITH SCORE 2.2804745548E7
AT ITER 592 NEW BEST:: SOT 123330731 SOS 80494969 HAS SOPS 65526430 HAS SOUS 23284477 HAS SOUPS 22713031 WITH SCORE 2.2793525969E7
AT ITER 593 NEW BEST:: SOT 123331382 SOS 80496522 HAS SOPS 65528657 HAS SOUS 23283467 HAS SOUPS 22712021 WITH SCORE 2.2792517522E7
AT ITER 598 NEW BEST:: SOT 123339140 SOS 80534050 HAS SOPS 65585409 HAS SOUS 23279720 HAS SOUPS 22708274 WITH SCORE 2.278880805E7
AT ITER 603 NEW BEST:: SOT 123332871 SOS 80522301 HAS SOPS 65572392 HAS SOUS 23272354 HAS SOUPS 22700949 WITH SCORE 2.2781471301E7
AT ITER 609 NEW BEST:: SOT 123335373 SOS 80529475 HAS SOPS 65576947 HAS SOUS 23267760 HAS SOUPS 22696355 WITH SCORE 2.2776884475E7
AT ITER 610 NEW BEST:: SOT 123339246 SOS 80538173 HAS SOPS 65586233 HAS SOUS 23267677 HAS SOUPS 22696272 WITH SCORE 2.2776810173E7
AT ITER 627 NEW BEST:: SOT 123338212 SOS 80537619 HAS SOPS 65585487 HAS SOUS 23267200 HAS SOUPS 22695787 WITH SCORE 2.2776324619E7
AT ITER 635 NEW BEST:: SOT 123338650 SOS 80539587 HAS SOPS 65586309 HAS SOUS 23265055 HAS SOUPS 22693642 WITH SCORE 2.2774181587E7
AT ITER 641 NEW BEST:: SOT 123338650 SOS 80539875 HAS SOPS 65586693 HAS SOUS 23265040 HAS SOUPS 22693627 WITH SCORE 2.2774166875E7
AT ITER 650 NEW BEST:: SOT 123323156 SOS 80519222 HAS SOPS 65566283 HAS SOUS 23247407 HAS SOUPS 22675994 WITH SCORE 2.2756513222E7
AT ITER 655 NEW BEST:: SOT 123316038 SOS 80512104 HAS SOPS 65559165 HAS SOUS 23240025 HAS SOUPS 22668612 WITH SCORE 2.2749124104E7
AT ITER 660 NEW BEST:: SOT 123315649 SOS 80500076 HAS SOPS 65551801 HAS SOUS 23239057 HAS SOUPS 22667644 WITH SCORE 2.2748144076E7
AT ITER 664 NEW BEST:: SOT 123316576 SOS 80504165 HAS SOPS 65556132 HAS SOUS 23237596 HAS SOUPS 22666183 WITH SCORE 2.2746687165E7
AT ITER 674 NEW BEST:: SOT 123316643 SOS 80518990 HAS SOPS 65567018 HAS SOUS 23236500 HAS SOUPS 22665087 WITH SCORE 2.274560599E7
AT ITER 675 NEW BEST:: SOT 123299115 SOS 80508656 HAS SOPS 65587380 HAS SOUS 23223029 HAS SOUPS 22651616 WITH SCORE 2.2732124656E7
AT ITER 683 NEW BEST:: SOT 123299073 SOS 80508348 HAS SOPS 65586799 HAS SOUS 23222511 HAS SOUPS 22651098 WITH SCORE 2.2731606348E7
AT ITER 687 NEW BEST:: SOT 123282345 SOS 80491224 HAS SOPS 65567585 HAS SOUS 23180194 HAS SOUPS 22609101 WITH SCORE 2.2689592224E7
AT ITER 701 NEW BEST:: SOT 123276272 SOS 80483064 HAS SOPS 65558121 HAS SOUS 23169899 HAS SOUPS 22598806 WITH SCORE 2.2679289064E7
AT ITER 702 NEW BEST:: SOT 123274593 SOS 80480715 HAS SOPS 65555598 HAS SOUS 23167220 HAS SOUPS 22596157 WITH SCORE 2.2676637715E7
AT ITER 705 NEW BEST:: SOT 123274208 SOS 80480320 HAS SOPS 65555043 HAS SOUS 23166910 HAS SOUPS 22595852 WITH SCORE 2.267633232E7
AT ITER 732 NEW BEST:: SOT 123265927 SOS 80478711 HAS SOPS 65550083 HAS SOUS 23123083 HAS SOUPS 22552015 WITH SCORE 2.2632493711E7
AT ITER 782 NEW BEST:: SOT 123265490 SOS 80478562 HAS SOPS 65548782 HAS SOUS 23119514 HAS SOUPS 22548410 WITH SCORE 2.2628888562E7
AT ITER 796 NEW BEST:: SOT 123246945 SOS 80438834 HAS SOPS 65548424 HAS SOUS 23112600 HAS SOUPS 22541978 WITH SCORE 2.2622416834E7
AT ITER 807 NEW BEST:: SOT 123227925 SOS 80418687 HAS SOPS 65534572 HAS SOUS 23078020 HAS SOUPS 22507398 WITH SCORE 2.2587816687E7
AT ITER 818 NEW BEST:: SOT 123212746 SOS 80395359 HAS SOPS 65513972 HAS SOUS 23065089 HAS SOUPS 22494191 WITH SCORE 2.2574586359E7
AT ITER 821 NEW BEST:: SOT 123227280 SOS 80409262 HAS SOPS 65523604 HAS SOUS 23026108 HAS SOUPS 22455210 WITH SCORE 2.2535619262E7
AT ITER 836 NEW BEST:: SOT 123226981 SOS 80408605 HAS SOPS 65523024 HAS SOUS 23025702 HAS SOUPS 22454804 WITH SCORE 2.2535212605E7
AT ITER 840 NEW BEST:: SOT 123210909 SOS 80392115 HAS SOPS 65505799 HAS SOUS 23002621 HAS SOUPS 22431798 WITH SCORE 2.2512190115E7
AT ITER 842 NEW BEST:: SOT 123208859 SOS 80389597 HAS SOPS 65503306 HAS SOUS 23000133 HAS SOUPS 22429310 WITH SCORE 2.2509699597E7
AT ITER 843 NEW BEST:: SOT 123240072 SOS 80463925 HAS SOPS 65570634 HAS SOUS 22985976 HAS SOUPS 22415376 WITH SCORE 2.2495839925E7
AT ITER 852 NEW BEST:: SOT 123260456 SOS 80478326 HAS SOPS 65605552 HAS SOUS 22972000 HAS SOUPS 22405106 WITH SCORE 2.2485584326E7
AT ITER 856 NEW BEST:: SOT 123254774 SOS 80473738 HAS SOPS 65601147 HAS SOUS 22957229 HAS SOUPS 22390335 WITH SCORE 2.2470808738E7
AT ITER 881 NEW BEST:: SOT 123254128 SOS 80464804 HAS SOPS 65592354 HAS SOUS 22955577 HAS SOUPS 22388683 WITH SCORE 2.2469147804E7
AT ITER 883 NEW BEST:: SOT 123246827 SOS 80457503 HAS SOPS 65585053 HAS SOUS 22948276 HAS SOUPS 22381382 WITH SCORE 2.2461839503E7
AT ITER 887 NEW BEST:: SOT 123281354 SOS 80507952 HAS SOPS 65629380 HAS SOUS 22945000 HAS SOUPS 22378106 WITH SCORE 2.2458613952E7
AT ITER 890 NEW BEST:: SOT 123284208 SOS 80511387 HAS SOPS 65631259 HAS SOUS 22943467 HAS SOUPS 22376495 WITH SCORE 2.2457006387E7
AT ITER 896 NEW BEST:: SOT 123288764 SOS 80531502 HAS SOPS 65657886 HAS SOUS 22936524 HAS SOUPS 22369647 WITH SCORE 2.2450178502E7
AT ITER 897 NEW BEST:: SOT 123282000 SOS 80522331 HAS SOPS 65648678 HAS SOUS 22924325 HAS SOUPS 22357448 WITH SCORE 2.2437970331E7
AT ITER 898 NEW BEST:: SOT 123272330 SOS 80513360 HAS SOPS 65629959 HAS SOUS 22911592 HAS SOUPS 22341678 WITH SCORE 2.242219136E7
AT ITER 912 NEW BEST:: SOT 123275567 SOS 80516171 HAS SOPS 65630985 HAS SOUS 22908543 HAS SOUPS 22338629 WITH SCORE 2.2419145171E7
AT ITER 923 NEW BEST:: SOT 123268900 SOS 80510230 HAS SOPS 65625363 HAS SOUS 22899060 HAS SOUPS 22329146 WITH SCORE 2.240965623E7
AT ITER 925 NEW BEST:: SOT 123309805 SOS 80610730 HAS SOPS 65724398 HAS SOUS 22890018 HAS SOUPS 22320104 WITH SCORE 2.240071473E7
AT ITER 937 NEW BEST:: SOT 123309551 SOS 80610296 HAS SOPS 65723910 HAS SOUS 22889566 HAS SOUPS 22319652 WITH SCORE 2.2400262296E7
AT ITER 939 NEW BEST:: SOT 123309551 SOS 80610356 HAS SOPS 65724026 HAS SOUS 22889564 HAS SOUPS 22319651 WITH SCORE 2.2400261356E7
AT ITER 941 NEW BEST:: SOT 123307898 SOS 80608993 HAS SOPS 65722492 HAS SOUS 22883593 HAS SOUPS 22313680 WITH SCORE 2.2394288993E7
AT ITER 942 NEW BEST:: SOT 123303401 SOS 80611116 HAS SOPS 65716060 HAS SOUS 22861268 HAS SOUPS 22291355 WITH SCORE 2.2371966116E7
AT ITER 945 NEW BEST:: SOT 123312475 SOS 80642595 HAS SOPS 65746766 HAS SOUS 22841728 HAS SOUPS 22271815 WITH SCORE 2.2352457595E7
AT ITER 949 NEW BEST:: SOT 123348296 SOS 80729234 HAS SOPS 65837763 HAS SOUS 22804580 HAS SOUPS 22234870 WITH SCORE 2.2315599234E7
AT ITER 960 NEW BEST:: SOT 123351307 SOS 80739702 HAS SOPS 65850157 HAS SOUS 22802376 HAS SOUPS 22232666 WITH SCORE 2.2313405702E7
AT ITER 968 NEW BEST:: SOT 123345323 SOS 80729619 HAS SOPS 65843699 HAS SOUS 22791815 HAS SOUPS 22223912 WITH SCORE 2.2304641619E7
AT ITER 987 NEW BEST:: SOT 123345289 SOS 80729495 HAS SOPS 65843227 HAS SOUS 22790653 HAS SOUPS 22222750 WITH SCORE 2.2303479495E7
AT ITER 992 NEW BEST:: SOT 123346301 SOS 80745205 HAS SOPS 65851539 HAS SOUS 22785712 HAS SOUPS 22217809 WITH SCORE 2.2298554205E7
AT ITER 1002 NEW BEST:: SOT 123345031 SOS 80743350 HAS SOPS 65850017 HAS SOUS 22783974 HAS SOUPS 22216080 WITH SCORE 2.229682335E7
AT ITER 1027 NEW BEST:: SOT 123342094 SOS 80733771 HAS SOPS 65851359 HAS SOUS 22773309 HAS SOUPS 22205415 WITH SCORE 2.2286148771E7
AT ITER 1031 NEW BEST:: SOT 123339980 SOS 80731081 HAS SOPS 65847923 HAS SOUS 22768937 HAS SOUPS 22201099 WITH SCORE 2.2281830081E7
AT ITER 1034 NEW BEST:: SOT 123335791 SOS 80721621 HAS SOPS 65838808 HAS SOUS 22761797 HAS SOUPS 22193959 WITH SCORE 2.2274680621E7
AT ITER 1035 NEW BEST:: SOT 123338024 SOS 80729620 HAS SOPS 65842178 HAS SOUS 22758963 HAS SOUPS 22191097 WITH SCORE 2.227182662E7
AT ITER 1037 NEW BEST:: SOT 123335647 SOS 80725970 HAS SOPS 65835016 HAS SOUS 22753037 HAS SOUPS 22185171 WITH SCORE 2.226589697E7
AT ITER 1041 NEW BEST:: SOT 123328890 SOS 80721732 HAS SOPS 65825492 HAS SOUS 22743442 HAS SOUPS 22175576 WITH SCORE 2.2256297732E7
AT ITER 1042 NEW BEST:: SOT 123332000 SOS 80724688 HAS SOPS 65830026 HAS SOUS 22738778 HAS SOUPS 22170912 WITH SCORE 2.2251636688E7
AT ITER 1043 NEW BEST:: SOT 123339360 SOS 80745171 HAS SOPS 65843372 HAS SOUS 22726955 HAS SOUPS 22159089 WITH SCORE 2.2239834171E7
AT ITER 1064 NEW BEST:: SOT 123363810 SOS 80788651 HAS SOPS 65878822 HAS SOUS 22721446 HAS SOUPS 22153308 WITH SCORE 2.2234096651E7
AT ITER 1077 NEW BEST:: SOT 123358425 SOS 80783319 HAS SOPS 65873035 HAS SOUS 22721319 HAS SOUPS 22153150 WITH SCORE 2.2233933319E7
AT ITER 1086 NEW BEST:: SOT 123373661 SOS 80808348 HAS SOPS 65906335 HAS SOUS 22707257 HAS SOUPS 22139345 WITH SCORE 2.2220153348E7
AT ITER 1088 NEW BEST:: SOT 123373480 SOS 80807863 HAS SOPS 65905924 HAS SOUS 22707044 HAS SOUPS 22139132 WITH SCORE 2.2219939863E7
AT ITER 1104 NEW BEST:: SOT 123372159 SOS 80802712 HAS SOPS 65905561 HAS SOUS 22676730 HAS SOUPS 22109117 WITH SCORE 2.2189919712E7
AT ITER 1109 NEW BEST:: SOT 123365727 SOS 80789997 HAS SOPS 65883481 HAS SOUS 22665240 HAS SOUPS 22097736 WITH SCORE 2.2178525997E7
AT ITER 1115 NEW BEST:: SOT 123362647 SOS 80786665 HAS SOPS 65880897 HAS SOUS 22658247 HAS SOUPS 22090897 WITH SCORE 2.2171683665E7
AT ITER 1116 NEW BEST:: SOT 123371499 SOS 80802418 HAS SOPS 65870093 HAS SOUS 22650818 HAS SOUPS 22083841 WITH SCORE 2.2164643418E7
AT ITER 1125 NEW BEST:: SOT 123347555 SOS 80777576 HAS SOPS 65845597 HAS SOUS 22626683 HAS SOUPS 22059806 WITH SCORE 2.2140583576E7
AT ITER 1140 NEW BEST:: SOT 123347227 SOS 80777724 HAS SOPS 65846187 HAS SOUS 22625085 HAS SOUPS 22058229 WITH SCORE 2.2139006724E7
AT ITER 1141 NEW BEST:: SOT 123349495 SOS 80786397 HAS SOPS 65854397 HAS SOUS 22624501 HAS SOUPS 22057645 WITH SCORE 2.2138431397E7
AT ITER 1147 NEW BEST:: SOT 123348330 SOS 80785172 HAS SOPS 65852652 HAS SOUS 22622051 HAS SOUPS 22055195 WITH SCORE 2.2135980172E7
AT ITER 1174 NEW BEST:: SOT 123349706 SOS 80789589 HAS SOPS 65868256 HAS SOUS 22615480 HAS SOUPS 22049920 WITH SCORE 2.2130709589E7
AT ITER 1190 NEW BEST:: SOT 123266475 SOS 80693302 HAS SOPS 65773215 HAS SOUS 22515456 HAS SOUPS 21950163 WITH SCORE 2.2030856302E7
AT ITER 1196 NEW BEST:: SOT 123267121 SOS 80694358 HAS SOPS 65773511 HAS SOUS 22515414 HAS SOUPS 21950102 WITH SCORE 2.2030796358E7
AT ITER 1211 NEW BEST:: SOT 123277776 SOS 80729171 HAS SOPS 65801211 HAS SOUS 22507342 HAS SOUPS 21942030 WITH SCORE 2.2022759171E7
AT ITER 1214 NEW BEST:: SOT 123280395 SOS 80736705 HAS SOPS 65805343 HAS SOUS 22500126 HAS SOUPS 21934814 WITH SCORE 2.2015550705E7
AT ITER 1223 NEW BEST:: SOT 123280036 SOS 80736407 HAS SOPS 65805192 HAS SOUS 22499210 HAS SOUPS 21933898 WITH SCORE 2.2014634407E7
AT ITER 1228 NEW BEST:: SOT 123272564 SOS 80729633 HAS SOPS 65794408 HAS SOUS 22480920 HAS SOUPS 21915608 WITH SCORE 2.1996337633E7
AT ITER 1229 NEW BEST:: SOT 123271717 SOS 80728578 HAS SOPS 65793457 HAS SOUS 22479280 HAS SOUPS 21913968 WITH SCORE 2.1994696578E7
AT ITER 1238 NEW BEST:: SOT 123272203 SOS 80733741 HAS SOPS 65796346 HAS SOUS 22469523 HAS SOUPS 21904132 WITH SCORE 2.1984865741E7
AT ITER 1243 NEW BEST:: SOT 123261440 SOS 80727510 HAS SOPS 65785299 HAS SOUS 22439261 HAS SOUPS 21873993 WITH SCORE 2.195472051E7
AT ITER 1253 NEW BEST:: SOT 123261398 SOS 80727927 HAS SOPS 65785506 HAS SOUS 22439057 HAS SOUPS 21873789 WITH SCORE 2.1954516927E7
AT ITER 1254 NEW BEST:: SOT 123247212 SOS 80692246 HAS SOPS 65757335 HAS SOUS 22426714 HAS SOUPS 21861446 WITH SCORE 2.1942138246E7
AT ITER 1258 NEW BEST:: SOT 123247220 SOS 80699726 HAS SOPS 65766119 HAS SOUS 22426663 HAS SOUPS 21861395 WITH SCORE 2.1942094726E7
AT ITER 1265 NEW BEST:: SOT 123243291 SOS 80702264 HAS SOPS 65756161 HAS SOUS 22402084 HAS SOUPS 21836710 WITH SCORE 2.1917412264E7
AT ITER 1271 NEW BEST:: SOT 123228682 SOS 80679631 HAS SOPS 65739338 HAS SOUS 22380991 HAS SOUPS 21815617 WITH SCORE 2.1896296631E7
AT ITER 1276 NEW BEST:: SOT 123238768 SOS 80698176 HAS SOPS 65756476 HAS SOUS 22363293 HAS SOUPS 21797919 WITH SCORE 2.1878617176E7
AT ITER 1277 NEW BEST:: SOT 123235216 SOS 80688652 HAS SOPS 65737887 HAS SOUS 22353118 HAS SOUPS 21787772 WITH SCORE 2.1868460652E7
AT ITER 1283 NEW BEST:: SOT 123292433 SOS 80837949 HAS SOPS 65876005 HAS SOUS 22350560 HAS SOUPS 21785214 WITH SCORE 2.1866051949E7
AT ITER 1295 NEW BEST:: SOT 123291425 SOS 80832741 HAS SOPS 65871076 HAS SOUS 22348602 HAS SOUPS 21783256 WITH SCORE 2.1864088741E7
AT ITER 1305 NEW BEST:: SOT 123276805 SOS 80779776 HAS SOPS 65841626 HAS SOUS 22328971 HAS SOUPS 21765313 WITH SCORE 2.1846092776E7
AT ITER 1314 NEW BEST:: SOT 123274123 SOS 80751719 HAS SOPS 65819066 HAS SOUS 22322987 HAS SOUPS 21759329 WITH SCORE 2.1840080719E7
AT ITER 1359 NEW BEST:: SOT 123270669 SOS 80747885 HAS SOPS 65815612 HAS SOUS 22319147 HAS SOUPS 21755542 WITH SCORE 2.1836289885E7
AT ITER 1369 NEW BEST:: SOT 123268773 SOS 80748429 HAS SOPS 65814478 HAS SOUS 22312010 HAS SOUPS 21748405 WITH SCORE 2.1829153429E7
AT ITER 1377 NEW BEST:: SOT 123226656 SOS 80668301 HAS SOPS 65743489 HAS SOUS 22272718 HAS SOUPS 21709400 WITH SCORE 2.1790068301E7
AT ITER 1380 NEW BEST:: SOT 123226375 SOS 80667297 HAS SOPS 65743195 HAS SOUS 22272004 HAS SOUPS 21708703 WITH SCORE 2.1789370297E7
AT ITER 1382 NEW BEST:: SOT 123213864 SOS 80653789 HAS SOPS 65730922 HAS SOUS 22230045 HAS SOUPS 21667530 WITH SCORE 2.1748183789E7
AT ITER 1400 NEW BEST:: SOT 123211721 SOS 80651530 HAS SOPS 65728319 HAS SOUS 22225526 HAS SOUPS 21662991 WITH SCORE 2.174364253E7
AT ITER 1408 NEW BEST:: SOT 123224253 SOS 80692021 HAS SOPS 65767287 HAS SOUS 22220481 HAS SOUPS 21657946 WITH SCORE 2.1738638021E7
AT ITER 1442 NEW BEST:: SOT 123222932 SOS 80673185 HAS SOPS 65754784 HAS SOUS 22216209 HAS SOUPS 21653674 WITH SCORE 2.1734347185E7
AT ITER 1446 NEW BEST:: SOT 123264091 SOS 80767162 HAS SOPS 65857450 HAS SOUS 22188366 HAS SOUPS 21625831 WITH SCORE 2.1706598162E7
AT ITER 1452 NEW BEST:: SOT 123264091 SOS 80764186 HAS SOPS 65853546 HAS SOUS 22188348 HAS SOUPS 21625813 WITH SCORE 2.1706577186E7
AT ITER 1464 NEW BEST:: SOT 123265931 SOS 80746843 HAS SOPS 65860328 HAS SOUS 22185716 HAS SOUPS 21623181 WITH SCORE 2.1703927843E7
AT ITER 1474 NEW BEST:: SOT 123313558 SOS 80848339 HAS SOPS 65984340 HAS SOUS 22157261 HAS SOUPS 21595723 WITH SCORE 2.1676571339E7
AT ITER 1486 NEW BEST:: SOT 123308542 SOS 80844661 HAS SOPS 65978915 HAS SOUS 22147749 HAS SOUPS 21586211 WITH SCORE 2.1667055661E7
AT ITER 1526 NEW BEST:: SOT 123307522 SOS 80842800 HAS SOPS 65978644 HAS SOUS 22146811 HAS SOUPS 21585273 WITH SCORE 2.16661158E7
AT ITER 1530 NEW BEST:: SOT 123306348 SOS 80844543 HAS SOPS 65978118 HAS SOUS 22119318 HAS SOUPS 21557780 WITH SCORE 2.1638624543E7
AT ITER 1532 NEW BEST:: SOT 123306508 SOS 80844889 HAS SOPS 65978774 HAS SOUS 22118766 HAS SOUPS 21557228 WITH SCORE 2.1638072889E7
AT ITER 1558 NEW BEST:: SOT 123308585 SOS 80847726 HAS SOPS 65982801 HAS SOUS 22117680 HAS SOUPS 21556142 WITH SCORE 2.1636989726E7
AT ITER 1581 NEW BEST:: SOT 123307950 SOS 80847579 HAS SOPS 65983396 HAS SOUS 22113798 HAS SOUPS 21552611 WITH SCORE 2.1633458579E7
AT ITER 1594 NEW BEST:: SOT 123307950 SOS 80854875 HAS SOPS 65995108 HAS SOUS 22113690 HAS SOUPS 21552503 WITH SCORE 2.1633357875E7
AT ITER 1601 NEW BEST:: SOT 123304239 SOS 80855331 HAS SOPS 65993455 HAS SOUS 22092954 HAS SOUPS 21531535 WITH SCORE 2.1612390331E7
AT ITER 1605 NEW BEST:: SOT 123293193 SOS 80832971 HAS SOPS 65972079 HAS SOUS 22081430 HAS SOUPS 21517752 WITH SCORE 2.1598584971E7
AT ITER 1614 NEW BEST:: SOT 123298445 SOS 80840995 HAS SOPS 65986489 HAS SOUS 22076945 HAS SOUPS 21513267 WITH SCORE 2.1594107995E7
AT ITER 1624 NEW BEST:: SOT 123279452 SOS 80809634 HAS SOPS 65957148 HAS SOUS 22047673 HAS SOUPS 21484139 WITH SCORE 2.1564948634E7
AT ITER 1631 NEW BEST:: SOT 123279887 SOS 80809467 HAS SOPS 65956936 HAS SOUS 22047285 HAS SOUPS 21483751 WITH SCORE 2.1564560467E7
AT ITER 1646 NEW BEST:: SOT 123269432 SOS 80759302 HAS SOPS 65947306 HAS SOUS 22029502 HAS SOUPS 21466532 WITH SCORE 2.1547291302E7
AT ITER 1650 NEW BEST:: SOT 123271678 SOS 80762220 HAS SOPS 65945727 HAS SOUS 22018871 HAS SOUPS 21455736 WITH SCORE 2.153649822E7
AT ITER 1670 NEW BEST:: SOT 123266744 SOS 80757480 HAS SOPS 65941280 HAS SOUS 22007818 HAS SOUPS 21444690 WITH SCORE 2.152544748E7
AT ITER 1672 NEW BEST:: SOT 123256893 SOS 80746493 HAS SOPS 65928101 HAS SOUS 21986960 HAS SOUPS 21423832 WITH SCORE 2.1504578493E7
AT ITER 1684 NEW BEST:: SOT 123254063 SOS 80750923 HAS SOPS 65943747 HAS SOUS 21979738 HAS SOUPS 21416610 WITH SCORE 2.1497360923E7
AT ITER 1685 NEW BEST:: SOT 123236987 SOS 80730667 HAS SOPS 65916277 HAS SOUS 21948132 HAS SOUPS 21385004 WITH SCORE 2.1465734667E7
AT ITER 1704 NEW BEST:: SOT 123256069 SOS 80767406 HAS SOPS 65978103 HAS SOUS 21917936 HAS SOUPS 21355323 WITH SCORE 2.1436090406E7
AT ITER 1705 NEW BEST:: SOT 123256978 SOS 80763364 HAS SOPS 65966776 HAS SOUS 21901760 HAS SOUPS 21339147 WITH SCORE 2.1419910364E7
AT ITER 1707 NEW BEST:: SOT 123258274 SOS 80766698 HAS SOPS 65969263 HAS SOUS 21900952 HAS SOUPS 21338339 WITH SCORE 2.1419105698E7
AT ITER 1709 NEW BEST:: SOT 123256854 SOS 80767100 HAS SOPS 65969223 HAS SOUS 21898010 HAS SOUPS 21335377 WITH SCORE 2.14161441E7
AT ITER 1781 NEW BEST:: SOT 123255940 SOS 80766174 HAS SOPS 65967889 HAS SOUS 21896196 HAS SOUPS 21333557 WITH SCORE 2.1414323174E7
AT ITER 1794 NEW BEST:: SOT 123251455 SOS 80732764 HAS SOPS 65959160 HAS SOUS 21893916 HAS SOUPS 21331769 WITH SCORE 2.1412501764E7
AT ITER 1801 NEW BEST:: SOT 123249650 SOS 80731349 HAS SOPS 65959044 HAS SOUS 21886201 HAS SOUPS 21325353 WITH SCORE 2.1406084349E7
AT ITER 1814 NEW BEST:: SOT 123253069 SOS 80740560 HAS SOPS 65968616 HAS SOUS 21885886 HAS SOUPS 21325038 WITH SCORE 2.140577856E7
AT ITER 1824 NEW BEST:: SOT 123252530 SOS 80740258 HAS SOPS 65968285 HAS SOUS 21884815 HAS SOUPS 21323967 WITH SCORE 2.1404707258E7
AT ITER 1826 NEW BEST:: SOT 123253293 SOS 80746190 HAS SOPS 65970912 HAS SOUS 21874373 HAS SOUPS 21313703 WITH SCORE 2.139444919E7
AT ITER 1829 NEW BEST:: SOT 123249189 SOS 80738470 HAS SOPS 65964393 HAS SOUS 21869243 HAS SOUPS 21308573 WITH SCORE 2.138931147E7
AT ITER 1843 NEW BEST:: SOT 123243934 SOS 80733211 HAS SOPS 65959010 HAS SOUS 21860356 HAS SOUPS 21299686 WITH SCORE 2.1380419211E7
AT ITER 1865 NEW BEST:: SOT 123248379 SOS 80749499 HAS SOPS 65973628 HAS SOUS 21857472 HAS SOUPS 21296802 WITH SCORE 2.1377551499E7
AT ITER 1869 NEW BEST:: SOT 123225529 SOS 80721605 HAS SOPS 65943060 HAS SOUS 21805323 HAS SOUPS 21244653 WITH SCORE 2.1325374605E7
AT ITER 1885 NEW BEST:: SOT 123224636 SOS 80723119 HAS SOPS 65941629 HAS SOUS 21792100 HAS SOUPS 21231430 WITH SCORE 2.1312153119E7
AT ITER 1898 NEW BEST:: SOT 123283339 SOS 80870386 HAS SOPS 66032727 HAS SOUS 21784845 HAS SOUPS 21224175 WITH SCORE 2.1305045386E7
AT ITER 1903 NEW BEST:: SOT 123273677 SOS 80860564 HAS SOPS 66022901 HAS SOUS 21769618 HAS SOUPS 21208948 WITH SCORE 2.1289808564E7
AT ITER 1904 NEW BEST:: SOT 123272959 SOS 80847120 HAS SOPS 66010364 HAS SOUS 21769057 HAS SOUPS 21208387 WITH SCORE 2.128923412E7
AT ITER 1914 NEW BEST:: SOT 123287159 SOS 80878238 HAS SOPS 66054581 HAS SOUS 21754218 HAS SOUPS 21193770 WITH SCORE 2.1274648238E7
AT ITER 1915 NEW BEST:: SOT 123287159 SOS 80878144 HAS SOPS 66054519 HAS SOUS 21754216 HAS SOUPS 21193768 WITH SCORE 2.1274646144E7
AT ITER 1922 NEW BEST:: SOT 123295502 SOS 80905548 HAS SOPS 66077915 HAS SOUS 21747408 HAS SOUPS 21186960 WITH SCORE 2.1267865548E7
AT ITER 1925 NEW BEST:: SOT 123295502 SOS 80905724 HAS SOPS 66077707 HAS SOUS 21747393 HAS SOUPS 21186945 WITH SCORE 2.1267850724E7
AT ITER 1932 NEW BEST:: SOT 123280150 SOS 80883621 HAS SOPS 66052632 HAS SOUS 21727541 HAS SOUPS 21167291 WITH SCORE 2.1248174621E7
AT ITER 1933 NEW BEST:: SOT 123280924 SOS 80885755 HAS SOPS 66059470 HAS SOUS 21725329 HAS SOUPS 21165079 WITH SCORE 2.1245964755E7
AT ITER 1948 NEW BEST:: SOT 123278074 SOS 80882698 HAS SOPS 66059296 HAS SOUS 21722198 HAS SOUPS 21161948 WITH SCORE 2.1242830698E7
AT ITER 1949 NEW BEST:: SOT 123249381 SOS 80854012 HAS SOPS 66032353 HAS SOUS 21651350 HAS SOUPS 21091384 WITH SCORE 2.1172238012E7
AT ITER 1955 NEW BEST:: SOT 123249381 SOS 80855996 HAS SOPS 66035457 HAS SOUS 21651278 HAS SOUPS 21091312 WITH SCORE 2.1172167996E7
AT ITER 1956 NEW BEST:: SOT 123239613 SOS 80843800 HAS SOPS 66019808 HAS SOUS 21627042 HAS SOUPS 21067148 WITH SCORE 2.11479918E7
AT ITER 1960 NEW BEST:: SOT 123237639 SOS 80839459 HAS SOPS 66019480 HAS SOUS 21624512 HAS SOUPS 21064618 WITH SCORE 2.1145457459E7
AT ITER 1988 NEW BEST:: SOT 123237639 SOS 80845987 HAS SOPS 66029656 HAS SOUS 21624452 HAS SOUPS 21064558 WITH SCORE 2.1145403987E7
AT ITER 1994 NEW BEST:: SOT 123225507 SOS 80825643 HAS SOPS 66020779 HAS SOUS 21579714 HAS SOUPS 21020759 WITH SCORE 2.1101584643E7
AT ITER 1999 NEW BEST:: SOT 123218865 SOS 80817254 HAS SOPS 66017820 HAS SOUS 21578256 HAS SOUPS 21019301 WITH SCORE 2.1100118254E7
AT ITER 2003 NEW BEST:: SOT 123207641 SOS 80806030 HAS SOPS 66005892 HAS SOUS 21565808 HAS SOUPS 21006853 WITH SCORE 2.108765903E7
AT ITER 2006 NEW BEST:: SOT 123192737 SOS 80794123 HAS SOPS 66006026 HAS SOUS 21541633 HAS SOUPS 20982678 WITH SCORE 2.1063472123E7
AT ITER 2013 NEW BEST:: SOT 123190513 SOS 80786943 HAS SOPS 66005104 HAS SOUS 21536055 HAS SOUPS 20977100 WITH SCORE 2.1057886943E7
AT ITER 2022 NEW BEST:: SOT 123206351 SOS 80814273 HAS SOPS 66031271 HAS SOUS 21525258 HAS SOUPS 20966001 WITH SCORE 2.1046815273E7
AT ITER 2033 NEW BEST:: SOT 123218081 SOS 80816111 HAS SOPS 66032470 HAS SOUS 21511094 HAS SOUPS 20952181 WITH SCORE 2.1032997111E7
AT ITER 2045 NEW BEST:: SOT 123221786 SOS 80824416 HAS SOPS 66037458 HAS SOUS 21508282 HAS SOUPS 20949369 WITH SCORE 2.1030193416E7
AT ITER 2051 NEW BEST:: SOT 123199313 SOS 80791706 HAS SOPS 66018938 HAS SOUS 21461502 HAS SOUPS 20902589 WITH SCORE 2.0983380706E7
AT ITER 2053 NEW BEST:: SOT 123200767 SOS 80793428 HAS SOPS 66020770 HAS SOUS 21460134 HAS SOUPS 20901221 WITH SCORE 2.0982014428E7
AT ITER 2076 NEW BEST:: SOT 123188530 SOS 80780522 HAS SOPS 66003556 HAS SOUS 21439980 HAS SOUPS 20881067 WITH SCORE 2.0961847522E7
AT ITER 2080 NEW BEST:: SOT 123161649 SOS 80755977 HAS SOPS 65981310 HAS SOUS 21423457 HAS SOUPS 20864544 WITH SCORE 2.0945299977E7
AT ITER 2086 NEW BEST:: SOT 123161714 SOS 80776872 HAS SOPS 66006302 HAS SOUS 21423421 HAS SOUPS 20864508 WITH SCORE 2.0945284872E7
AT ITER 2120 NEW BEST:: SOT 123171730 SOS 80790466 HAS SOPS 66014413 HAS SOUS 21410862 HAS SOUPS 20851949 WITH SCORE 2.0932739466E7
AT ITER 2133 NEW BEST:: SOT 123188221 SOS 80815141 HAS SOPS 66044051 HAS SOUS 21406257 HAS SOUPS 20847335 WITH SCORE 2.0928150141E7
AT ITER 2144 NEW BEST:: SOT 123175923 SOS 80802025 HAS SOPS 66026262 HAS SOUS 21384399 HAS SOUPS 20825441 WITH SCORE 2.0906243025E7
AT ITER 2149 NEW BEST:: SOT 123171932 SOS 80796164 HAS SOPS 66018763 HAS SOUS 21378602 HAS SOUPS 20819644 WITH SCORE 2.0900440164E7
AT ITER 2161 NEW BEST:: SOT 123162735 SOS 80783519 HAS SOPS 66007905 HAS SOUS 21366295 HAS SOUPS 20807337 WITH SCORE 2.0888120519E7
AT ITER 2163 NEW BEST:: SOT 123180965 SOS 80855744 HAS SOPS 66088364 HAS SOUS 21365403 HAS SOUPS 20806445 WITH SCORE 2.0887300744E7
AT ITER 2165 NEW BEST:: SOT 123165035 SOS 80837614 HAS SOPS 66075542 HAS SOUS 21324457 HAS SOUPS 20766175 WITH SCORE 2.0847012614E7
AT ITER 2232 NEW BEST:: SOT 123165035 SOS 80840830 HAS SOPS 66080918 HAS SOUS 21324368 HAS SOUPS 20766086 WITH SCORE 2.084692683E7
AT ITER 2242 NEW BEST:: SOT 123186103 SOS 80861973 HAS SOPS 66101677 HAS SOUS 21314035 HAS SOUPS 20756343 WITH SCORE 2.0837204973E7
AT ITER 2248 NEW BEST:: SOT 123188844 SOS 80865749 HAS SOPS 66103360 HAS SOUS 21311953 HAS SOUPS 20754300 WITH SCORE 2.0835165749E7
AT ITER 2264 NEW BEST:: SOT 123039518 SOS 80591177 HAS SOPS 65845961 HAS SOUS 21130023 HAS SOUPS 20572757 WITH SCORE 2.0653348177E7
AT ITER 2279 NEW BEST:: SOT 123039480 SOS 80586991 HAS SOPS 65842393 HAS SOUS 21130001 HAS SOUPS 20572735 WITH SCORE 2.0653321991E7
AT ITER 2293 NEW BEST:: SOT 123039480 SOS 80602671 HAS SOPS 65871769 HAS SOUS 21129772 HAS SOUPS 20572506 WITH SCORE 2.0653108671E7
AT ITER 2294 NEW BEST:: SOT 123018894 SOS 80602091 HAS SOPS 65863854 HAS SOUS 21044462 HAS SOUPS 20487196 WITH SCORE 2.0567798091E7
AT ITER 2315 NEW BEST:: SOT 123019230 SOS 80605192 HAS SOPS 65871995 HAS SOUS 21043145 HAS SOUPS 20485879 WITH SCORE 2.0566484192E7
AT ITER 2316 NEW BEST:: SOT 123019195 SOS 80599755 HAS SOPS 65869531 HAS SOUS 21043042 HAS SOUPS 20485776 WITH SCORE 2.0566375755E7
AT ITER 2338 NEW BEST:: SOT 123006887 SOS 80582163 HAS SOPS 65857088 HAS SOUS 21023794 HAS SOUPS 20466579 WITH SCORE 2.0547161163E7
AT ITER 2339 NEW BEST:: SOT 123005378 SOS 80580815 HAS SOPS 65856171 HAS SOUS 21022171 HAS SOUPS 20464911 WITH SCORE 2.0545491815E7
AT ITER 2345 NEW BEST:: SOT 123005697 SOS 80616196 HAS SOPS 65889326 HAS SOUS 21021764 HAS SOUPS 20464504 WITH SCORE 2.0545120196E7
AT ITER 2363 NEW BEST:: SOT 123032580 SOS 80670450 HAS SOPS 65929494 HAS SOUS 21015568 HAS SOUPS 20458264 WITH SCORE 2.053893445E7
AT ITER 2364 NEW BEST:: SOT 123018398 SOS 80650605 HAS SOPS 65910134 HAS SOUS 20990782 HAS SOUPS 20433545 WITH SCORE 2.0514195605E7
AT ITER 2372 NEW BEST:: SOT 123018251 SOS 80650550 HAS SOPS 65909883 HAS SOUS 20990035 HAS SOUPS 20432794 WITH SCORE 2.051344455E7
AT ITER 2374 NEW BEST:: SOT 122988992 SOS 80624166 HAS SOPS 65867865 HAS SOUS 20917799 HAS SOUPS 20360362 WITH SCORE 2.0440986166E7
AT ITER 2393 NEW BEST:: SOT 122984538 SOS 80617644 HAS SOPS 65860382 HAS SOUS 20908220 HAS SOUPS 20350783 WITH SCORE 2.0431400644E7
AT ITER 2398 NEW BEST:: SOT 122984394 SOS 80616670 HAS SOPS 65859321 HAS SOUS 20907724 HAS SOUPS 20350287 WITH SCORE 2.043090367E7
AT ITER 2410 NEW BEST:: SOT 122980824 SOS 80613267 HAS SOPS 65854775 HAS SOUS 20904176 HAS SOUPS 20346396 WITH SCORE 2.0427009267E7
AT ITER 2423 NEW BEST:: SOT 122981402 SOS 80614993 HAS SOPS 65857066 HAS SOUS 20900722 HAS SOUPS 20343013 WITH SCORE 2.0423627993E7
AT ITER 2439 NEW BEST:: SOT 122978166 SOS 80608547 HAS SOPS 65850293 HAS SOUS 20899960 HAS SOUPS 20342228 WITH SCORE 2.0422836547E7
AT ITER 2461 NEW BEST:: SOT 122977742 SOS 80614351 HAS SOPS 65853173 HAS SOUS 20898948 HAS SOUPS 20341216 WITH SCORE 2.0421830351E7
AT ITER 2465 NEW BEST:: SOT 122994371 SOS 80649990 HAS SOPS 65879097 HAS SOUS 20892139 HAS SOUPS 20334240 WITH SCORE 2.041488999E7
AT ITER 2504 NEW BEST:: SOT 122992829 SOS 80648969 HAS SOPS 65879087 HAS SOUS 20888339 HAS SOUPS 20330440 WITH SCORE 2.0411088969E7
AT ITER 2508 NEW BEST:: SOT 122992835 SOS 80654305 HAS SOPS 65887806 HAS SOUS 20888105 HAS SOUPS 20330206 WITH SCORE 2.0410860305E7
AT ITER 2522 NEW BEST:: SOT 123006644 SOS 80684619 HAS SOPS 65921102 HAS SOUS 20874226 HAS SOUPS 20316327 WITH SCORE 2.0397011619E7
AT ITER 2527 NEW BEST:: SOT 123006749 SOS 80709696 HAS SOPS 65964933 HAS SOUS 20874051 HAS SOUPS 20316152 WITH SCORE 2.0396861696E7
AT ITER 2535 NEW BEST:: SOT 122993302 SOS 80686956 HAS SOPS 65946439 HAS SOUS 20860696 HAS SOUPS 20302828 WITH SCORE 2.0383514956E7
AT ITER 2544 NEW BEST:: SOT 122993022 SOS 80686676 HAS SOPS 65946159 HAS SOUS 20860080 HAS SOUPS 20302212 WITH SCORE 2.0382898676E7
AT ITER 2573 NEW BEST:: SOT 122993112 SOS 80693286 HAS SOPS 65963418 HAS SOUS 20859207 HAS SOUPS 20301339 WITH SCORE 2.0382032286E7
AT ITER 2582 NEW BEST:: SOT 123109347 SOS 80741150 HAS SOPS 66010716 HAS SOUS 20853312 HAS SOUPS 20295444 WITH SCORE 2.037618515E7
AT ITER 2583 NEW BEST:: SOT 123130596 SOS 80794247 HAS SOPS 66065220 HAS SOUS 20842198 HAS SOUPS 20284330 WITH SCORE 2.0365124247E7
AT ITER 2604 NEW BEST:: SOT 123124609 SOS 80778653 HAS SOPS 66052050 HAS SOUS 20831129 HAS SOUPS 20273338 WITH SCORE 2.0354116653E7
AT ITER 2625 NEW BEST:: SOT 123124557 SOS 80778365 HAS SOPS 66051705 HAS SOUS 20830925 HAS SOUPS 20273134 WITH SCORE 2.0353912365E7
AT ITER 2626 NEW BEST:: SOT 123124457 SOS 80779715 HAS SOPS 66052365 HAS SOUS 20829333 HAS SOUPS 20271542 WITH SCORE 2.0352321715E7
AT ITER 2641 NEW BEST:: SOT 123118900 SOS 80763085 HAS SOPS 66038645 HAS SOUS 20825014 HAS SOUPS 20267223 WITH SCORE 2.0347986085E7
AT ITER 2650 NEW BEST:: SOT 123119071 SOS 80762842 HAS SOPS 66038193 HAS SOUS 20823604 HAS SOUPS 20265838 WITH SCORE 2.0346600842E7
AT ITER 2658 NEW BEST:: SOT 123118722 SOS 80762806 HAS SOPS 66035601 HAS SOUS 20821942 HAS SOUPS 20264176 WITH SCORE 2.0344938806E7
AT ITER 2661 NEW BEST:: SOT 123110882 SOS 80752577 HAS SOPS 66032454 HAS SOUS 20815149 HAS SOUPS 20257460 WITH SCORE 2.0338212577E7
AT ITER 2677 NEW BEST:: SOT 123109510 SOS 80750784 HAS SOPS 66032057 HAS SOUS 20812880 HAS SOUPS 20255191 WITH SCORE 2.0335941784E7
AT ITER 2678 NEW BEST:: SOT 123087721 SOS 80749014 HAS SOPS 66042657 HAS SOUS 20798672 HAS SOUPS 20240983 WITH SCORE 2.0321732014E7
AT ITER 2685 NEW BEST:: SOT 123085234 SOS 80736104 HAS SOPS 66031442 HAS SOUS 20794003 HAS SOUPS 20236369 WITH SCORE 2.0317105104E7
AT ITER 2695 NEW BEST:: SOT 123102049 SOS 80760297 HAS SOPS 66055947 HAS SOUS 20793189 HAS SOUPS 20235555 WITH SCORE 2.0316315297E7
AT ITER 2710 NEW BEST:: SOT 123091853 SOS 80748695 HAS SOPS 66041357 HAS SOUS 20773170 HAS SOUPS 20215586 WITH SCORE 2.0296334695E7
AT ITER 2719 NEW BEST:: SOT 123090680 SOS 80747324 HAS SOPS 66039701 HAS SOUS 20770860 HAS SOUPS 20213276 WITH SCORE 2.0294023324E7
AT ITER 2741 NEW BEST:: SOT 123072409 SOS 80728818 HAS SOPS 66021065 HAS SOUS 20736378 HAS SOUPS 20178794 WITH SCORE 2.0259522818E7
AT ITER 2750 NEW BEST:: SOT 123070196 SOS 80726580 HAS SOPS 66018627 HAS SOUS 20732524 HAS SOUPS 20174940 WITH SCORE 2.025566658E7
AT ITER 2751 NEW BEST:: SOT 123059540 SOS 80713430 HAS SOPS 66002550 HAS SOUS 20718893 HAS SOUPS 20161309 WITH SCORE 2.024202243E7
AT ITER 2767 NEW BEST:: SOT 123033178 SOS 80687217 HAS SOPS 65974521 HAS SOUS 20682077 HAS SOUPS 20124475 WITH SCORE 2.0205162217E7
AT ITER 2803 NEW BEST:: SOT 123032879 SOS 80685308 HAS SOPS 65970407 HAS SOUS 20679498 HAS SOUPS 20121896 WITH SCORE 2.0202581308E7
AT ITER 2811 NEW BEST:: SOT 123028381 SOS 80682000 HAS SOPS 65965261 HAS SOUS 20669329 HAS SOUPS 20111840 WITH SCORE 2.0192522E7
AT ITER 2831 NEW BEST:: SOT 123014295 SOS 80656583 HAS SOPS 65941540 HAS SOUS 20639784 HAS SOUPS 20082295 WITH SCORE 2.0162951583E7
AT ITER 2841 NEW BEST:: SOT 122962911 SOS 80594009 HAS SOPS 65877154 HAS SOUS 20589584 HAS SOUPS 20032095 WITH SCORE 2.0112689009E7
AT ITER 2843 NEW BEST:: SOT 122960426 SOS 80591524 HAS SOPS 65874669 HAS SOUS 20587083 HAS SOUPS 20029594 WITH SCORE 2.0110185524E7
AT ITER 2850 NEW BEST:: SOT 122945968 SOS 80573046 HAS SOPS 65852748 HAS SOUS 20563425 HAS SOUPS 20005936 WITH SCORE 2.0086509046E7
AT ITER 2854 NEW BEST:: SOT 122888203 SOS 80502373 HAS SOPS 65794243 HAS SOUS 20470794 HAS SOUPS 19913980 WITH SCORE 1.9994482373E7
AT ITER 2860 NEW BEST:: SOT 122902565 SOS 80516379 HAS SOPS 65808567 HAS SOUS 20463264 HAS SOUPS 19906944 WITH SCORE 1.9987460379E7
AT ITER 2864 NEW BEST:: SOT 122902558 SOS 80516330 HAS SOPS 65808539 HAS SOUS 20463241 HAS SOUPS 19906928 WITH SCORE 1.998744433E7
AT ITER 2867 NEW BEST:: SOT 122900533 SOS 80508877 HAS SOPS 65804809 HAS SOUS 20448885 HAS SOUPS 19892961 WITH SCORE 1.9973469877E7
AT ITER 2878 NEW BEST:: SOT 122897577 SOS 80505706 HAS SOPS 65800475 HAS SOUS 20440674 HAS SOUPS 19884699 WITH SCORE 1.9965204706E7
AT ITER 2884 NEW BEST:: SOT 122895440 SOS 80498092 HAS SOPS 65806596 HAS SOUS 20438729 HAS SOUPS 19882897 WITH SCORE 1.9963395092E7
AT ITER 2934 NEW BEST:: SOT 122899129 SOS 80503596 HAS SOPS 65809189 HAS SOUS 20437498 HAS SOUPS 19881666 WITH SCORE 1.9962169596E7
AT ITER 2941 NEW BEST:: SOT 122923953 SOS 80561797 HAS SOPS 65874286 HAS SOUS 20408654 HAS SOUPS 19852822 WITH SCORE 1.9933383797E7
AT ITER 2944 NEW BEST:: SOT 122911598 SOS 80549442 HAS SOPS 65863979 HAS SOUS 20382713 HAS SOUPS 19827329 WITH SCORE 1.9907878442E7
AT ITER 2951 NEW BEST:: SOT 122915931 SOS 80564555 HAS SOPS 65871545 HAS SOUS 20365854 HAS SOUPS 19810470 WITH SCORE 1.9891034555E7
AT ITER 2976 NEW BEST:: SOT 122915736 SOS 80564278 HAS SOPS 65871034 HAS SOUS 20365483 HAS SOUPS 19810099 WITH SCORE 1.9890663278E7
AT ITER 3021 NEW BEST:: SOT 122886736 SOS 80516879 HAS SOPS 65823912 HAS SOUS 20327806 HAS SOUPS 19772564 WITH SCORE 1.9853080879E7
AT ITER 3026 NEW BEST:: SOT 122878179 SOS 80504859 HAS SOPS 65806642 HAS SOUS 20315442 HAS SOUPS 19760200 WITH SCORE 1.9840704859E7
AT ITER 3032 NEW BEST:: SOT 122870948 SOS 80498029 HAS SOPS 65802541 HAS SOUS 20314321 HAS SOUPS 19759079 WITH SCORE 1.9839577029E7
AT ITER 3068 NEW BEST:: SOT 122871104 SOS 80498728 HAS SOPS 65800292 HAS SOUS 20311624 HAS SOUPS 19756367 WITH SCORE 1.9836865728E7
AT ITER 3088 NEW BEST:: SOT 122870017 SOS 80500591 HAS SOPS 65798727 HAS SOUS 20305870 HAS SOUPS 19750551 WITH SCORE 1.9831051591E7
AT ITER 3096 NEW BEST:: SOT 122862875 SOS 80498705 HAS SOPS 65801957 HAS SOUS 20302041 HAS SOUPS 19746659 WITH SCORE 1.9827157705E7
AT ITER 3125 NEW BEST:: SOT 122876399 SOS 80512755 HAS SOPS 65836215 HAS SOUS 20254478 HAS SOUPS 19699694 WITH SCORE 1.9780206755E7
AT ITER 3130 NEW BEST:: SOT 122888899 SOS 80539463 HAS SOPS 65846563 HAS SOUS 20250845 HAS SOUPS 19696061 WITH SCORE 1.9776600463E7
AT ITER 3153 NEW BEST:: SOT 122886231 SOS 80537170 HAS SOPS 65845450 HAS SOUS 20243547 HAS SOUPS 19689206 WITH SCORE 1.976974317E7
AT ITER 3167 NEW BEST:: SOT 122887118 SOS 80557572 HAS SOPS 65862334 HAS SOUS 20218866 HAS SOUPS 19664362 WITH SCORE 1.9744919572E7
AT ITER 3168 NEW BEST:: SOT 122888267 SOS 80566939 HAS SOPS 65866469 HAS SOUS 20210924 HAS SOUPS 19656420 WITH SCORE 1.9736986939E7
AT ITER 3172 NEW BEST:: SOT 122913207 SOS 80606996 HAS SOPS 65890655 HAS SOUS 20202585 HAS SOUPS 19648081 WITH SCORE 1.9728687996E7
AT ITER 3183 NEW BEST:: SOT 122902980 SOS 80590574 HAS SOPS 65880307 HAS SOUS 20195398 HAS SOUPS 19641028 WITH SCORE 1.9721618574E7
AT ITER 3191 NEW BEST:: SOT 122903021 SOS 80605967 HAS SOPS 65892815 HAS SOUS 20194379 HAS SOUPS 19640009 WITH SCORE 1.9720614967E7
AT ITER 3193 NEW BEST:: SOT 122901353 SOS 80603459 HAS SOPS 65889947 HAS SOUS 20193311 HAS SOUPS 19638941 WITH SCORE 1.9719544459E7
AT ITER 3197 NEW BEST:: SOT 122901353 SOS 80607475 HAS SOPS 65893963 HAS SOUS 20193263 HAS SOUPS 19638893 WITH SCORE 1.9719500475E7
AT ITER 3201 NEW BEST:: SOT 122901020 SOS 80605931 HAS SOPS 65891472 HAS SOUS 20192403 HAS SOUPS 19638033 WITH SCORE 1.9718638931E7
AT ITER 3246 NEW BEST:: SOT 122893924 SOS 80598835 HAS SOPS 65883808 HAS SOUS 20185153 HAS SOUPS 19630561 WITH SCORE 1.9711159835E7
AT ITER 3252 NEW BEST:: SOT 122865399 SOS 80569664 HAS SOPS 65855678 HAS SOUS 20126643 HAS SOUPS 19572051 WITH SCORE 1.9652620664E7
AT ITER 3266 NEW BEST:: SOT 122809970 SOS 80511818 HAS SOPS 65811638 HAS SOUS 20082355 HAS SOUPS 19527763 WITH SCORE 1.9608274818E7
AT ITER 3278 NEW BEST:: SOT 122802133 SOS 80504219 HAS SOPS 65802731 HAS SOUS 20067512 HAS SOUPS 19512920 WITH SCORE 1.9593424219E7
AT ITER 3280 NEW BEST:: SOT 122802441 SOS 80543807 HAS SOPS 65853087 HAS SOUS 20067073 HAS SOUPS 19512481 WITH SCORE 1.9593024807E7
AT ITER 3284 NEW BEST:: SOT 122802625 SOS 80544260 HAS SOPS 65853623 HAS SOUS 20066668 HAS SOUPS 19512080 WITH SCORE 1.959262426E7
AT ITER 3287 NEW BEST:: SOT 122797615 SOS 80540228 HAS SOPS 65847981 HAS SOUS 20061564 HAS SOUPS 19506976 WITH SCORE 1.9587516228E7
AT ITER 3290 NEW BEST:: SOT 122788852 SOS 80530659 HAS SOPS 65839990 HAS SOUS 20049811 HAS SOUPS 19495583 WITH SCORE 1.9576113659E7
AT ITER 3309 NEW BEST:: SOT 122803364 SOS 80548776 HAS SOPS 65855356 HAS SOUS 20040609 HAS SOUPS 19486187 WITH SCORE 1.9566735776E7
AT ITER 3324 NEW BEST:: SOT 122821203 SOS 80581324 HAS SOPS 65901651 HAS SOUS 20033190 HAS SOUPS 19479357 WITH SCORE 1.9559938324E7
AT ITER 3340 NEW BEST:: SOT 122811839 SOS 80539498 HAS SOPS 65860127 HAS SOUS 19931845 HAS SOUPS 19378443 WITH SCORE 1.9458982498E7
AT ITER 3342 NEW BEST:: SOT 122790475 SOS 80543678 HAS SOPS 65845936 HAS SOUS 19912978 HAS SOUPS 19358471 WITH SCORE 1.9439014678E7
AT ITER 3364 NEW BEST:: SOT 122790630 SOS 80572453 HAS SOPS 65912287 HAS SOUS 19911854 HAS SOUPS 19357585 WITH SCORE 1.9438157453E7
AT ITER 3375 NEW BEST:: SOT 122787725 SOS 80569255 HAS SOPS 65909446 HAS SOUS 19911215 HAS SOUPS 19356987 WITH SCORE 1.9437556255E7
AT ITER 3386 NEW BEST:: SOT 122786980 SOS 80568009 HAS SOPS 65908104 HAS SOUS 19909115 HAS SOUPS 19354887 WITH SCORE 1.9435455009E7
AT ITER 3398 NEW BEST:: SOT 122796136 SOS 80609540 HAS SOPS 65940292 HAS SOUS 19872583 HAS SOUPS 19318355 WITH SCORE 1.939896454E7
AT ITER 3405 NEW BEST:: SOT 122781374 SOS 80585823 HAS SOPS 65918100 HAS SOUS 19862442 HAS SOUPS 19308214 WITH SCORE 1.9388799823E7
AT ITER 3415 NEW BEST:: SOT 122783729 SOS 80591355 HAS SOPS 65919787 HAS SOUS 19861013 HAS SOUPS 19306785 WITH SCORE 1.9387376355E7
AT ITER 3422 NEW BEST:: SOT 122796873 SOS 80611013 HAS SOPS 65938961 HAS SOUS 19860449 HAS SOUPS 19306221 WITH SCORE 1.9386832013E7
AT ITER 3429 NEW BEST:: SOT 122796817 SOS 80603909 HAS SOPS 65930218 HAS SOUS 19860321 HAS SOUPS 19306093 WITH SCORE 1.9386696909E7
AT ITER 3465 NEW BEST:: SOT 122782205 SOS 80586285 HAS SOPS 65907546 HAS SOUS 19826229 HAS SOUPS 19272031 WITH SCORE 1.9352617285E7
AT ITER 3476 NEW BEST:: SOT 122780733 SOS 80583443 HAS SOPS 65901324 HAS SOUS 19819914 HAS SOUPS 19265661 WITH SCORE 1.9346244443E7
AT ITER 3491 NEW BEST:: SOT 122783722 SOS 80603542 HAS SOPS 65912396 HAS SOUS 19789286 HAS SOUPS 19235033 WITH SCORE 1.9315636542E7
AT ITER 3499 NEW BEST:: SOT 122780568 SOS 80595324 HAS SOPS 65906746 HAS SOUS 19778973 HAS SOUPS 19224863 WITH SCORE 1.9305458324E7
AT ITER 3505 NEW BEST:: SOT 122775940 SOS 80590784 HAS SOPS 65900797 HAS SOUS 19772981 HAS SOUPS 19218818 WITH SCORE 1.9299408784E7
AT ITER 3523 NEW BEST:: SOT 122763450 SOS 80570830 HAS SOPS 65883291 HAS SOUS 19760367 HAS SOUPS 19206357 WITH SCORE 1.928692783E7
AT ITER 3539 NEW BEST:: SOT 122763378 SOS 80569686 HAS SOPS 65883965 HAS SOUS 19757154 HAS SOUPS 19203144 WITH SCORE 1.9283713686E7
AT ITER 3547 NEW BEST:: SOT 122763378 SOS 80570070 HAS SOPS 65884925 HAS SOUS 19757132 HAS SOUPS 19203122 WITH SCORE 1.928369207E7
AT ITER 3548 NEW BEST:: SOT 122764150 SOS 80568901 HAS SOPS 65891131 HAS SOUS 19748868 HAS SOUPS 19198698 WITH SCORE 1.9279266901E7
AT ITER 3577 NEW BEST:: SOT 122756534 SOS 80563409 HAS SOPS 65889188 HAS SOUS 19735915 HAS SOUPS 19185745 WITH SCORE 1.9266308409E7
AT ITER 3579 NEW BEST:: SOT 122756542 SOS 80565855 HAS SOPS 65891893 HAS SOUS 19735388 HAS SOUPS 19185218 WITH SCORE 1.9265783855E7
AT ITER 3582 NEW BEST:: SOT 122758171 SOS 80564236 HAS SOPS 65850557 HAS SOUS 19732402 HAS SOUPS 19182232 WITH SCORE 1.9262796236E7
AT ITER 3594 NEW BEST:: SOT 122754094 SOS 80566279 HAS SOPS 65861860 HAS SOUS 19709593 HAS SOUPS 19159651 WITH SCORE 1.9240217279E7
AT ITER 3599 NEW BEST:: SOT 122754668 SOS 80589105 HAS SOPS 65890273 HAS SOUS 19709269 HAS SOUPS 19159327 WITH SCORE 1.9239916105E7
AT ITER 3606 NEW BEST:: SOT 122751742 SOS 80585185 HAS SOPS 65885857 HAS SOUS 19705739 HAS SOUPS 19155771 WITH SCORE 1.9236356185E7
AT ITER 3612 NEW BEST:: SOT 122752029 SOS 80586305 HAS SOPS 65889161 HAS SOUS 19702149 HAS SOUPS 19152181 WITH SCORE 1.9232767305E7
AT ITER 3615 NEW BEST:: SOT 122752433 SOS 80587876 HAS SOPS 65890510 HAS SOUS 19701275 HAS SOUPS 19151321 WITH SCORE 1.9231908876E7
AT ITER 3627 NEW BEST:: SOT 122749147 SOS 80615177 HAS SOPS 65920555 HAS SOUS 19700063 HAS SOUPS 19150109 WITH SCORE 1.9230724177E7
AT ITER 3628 NEW BEST:: SOT 122748583 SOS 80607272 HAS SOPS 65907688 HAS SOUS 19698265 HAS SOUPS 19148311 WITH SCORE 1.9228918272E7
AT ITER 3632 NEW BEST:: SOT 122745116 SOS 80595745 HAS SOPS 65893052 HAS SOUS 19688685 HAS SOUPS 19138731 WITH SCORE 1.9219326745E7
AT ITER 3639 NEW BEST:: SOT 122743594 SOS 80598378 HAS SOPS 65894845 HAS SOUS 19682636 HAS SOUPS 19132589 WITH SCORE 1.9213187378E7
AT ITER 3640 NEW BEST:: SOT 122753473 SOS 80617678 HAS SOPS 65910489 HAS SOUS 19681394 HAS SOUPS 19131347 WITH SCORE 1.9211964678E7
AT ITER 3641 NEW BEST:: SOT 122743862 SOS 80605773 HAS SOPS 65897099 HAS SOUS 19663395 HAS SOUPS 19113348 WITH SCORE 1.9193953773E7
AT ITER 3643 NEW BEST:: SOT 122754307 SOS 80616848 HAS SOPS 65914100 HAS SOUS 19662740 HAS SOUPS 19112693 WITH SCORE 1.9193309848E7
AT ITER 3648 NEW BEST:: SOT 122758216 SOS 80627836 HAS SOPS 65929300 HAS SOUS 19646549 HAS SOUPS 19096502 WITH SCORE 1.9177129836E7
AT ITER 3652 NEW BEST:: SOT 122759782 SOS 80632068 HAS SOPS 65928590 HAS SOUS 19639698 HAS SOUPS 19089579 WITH SCORE 1.9170211068E7
AT ITER 3663 NEW BEST:: SOT 122759314 SOS 80631819 HAS SOPS 65928967 HAS SOUS 19636953 HAS SOUPS 19086834 WITH SCORE 1.9167465819E7
AT ITER 3679 NEW BEST:: SOT 122759331 SOS 80632534 HAS SOPS 65929092 HAS SOUS 19634907 HAS SOUPS 19084795 WITH SCORE 1.9165427534E7
AT ITER 3706 NEW BEST:: SOT 122759517 SOS 80646251 HAS SOPS 65948947 HAS SOUS 19634566 HAS SOUPS 19084454 WITH SCORE 1.9165100251E7
AT ITER 3717 NEW BEST:: SOT 122749378 SOS 80623231 HAS SOPS 65928902 HAS SOUS 19629071 HAS SOUPS 19078959 WITH SCORE 1.9159582231E7
AT ITER 3726 NEW BEST:: SOT 122741787 SOS 80604143 HAS SOPS 65918774 HAS SOUS 19556793 HAS SOUPS 19007007 WITH SCORE 1.9087611143E7
AT ITER 3729 NEW BEST:: SOT 122736009 SOS 80604233 HAS SOPS 65915771 HAS SOUS 19540015 HAS SOUPS 18990229 WITH SCORE 1.9070833233E7
AT ITER 3731 NEW BEST:: SOT 122729476 SOS 80600319 HAS SOPS 65912857 HAS SOUS 19520393 HAS SOUPS 18970607 WITH SCORE 1.9051207319E7
AT ITER 3734 NEW BEST:: SOT 122728696 SOS 80599941 HAS SOPS 65912510 HAS SOUS 19518384 HAS SOUPS 18968598 WITH SCORE 1.9049197941E7
AT ITER 3739 NEW BEST:: SOT 122711632 SOS 80582367 HAS SOPS 65890453 HAS SOUS 19489520 HAS SOUPS 18939778 WITH SCORE 1.9020360367E7
AT ITER 3763 NEW BEST:: SOT 122711871 SOS 80583211 HAS SOPS 65890455 HAS SOUS 19489441 HAS SOUPS 18939682 WITH SCORE 1.9020265211E7
AT ITER 3765 NEW BEST:: SOT 122717980 SOS 80602616 HAS SOPS 65908161 HAS SOUS 19469103 HAS SOUPS 18919506 WITH SCORE 1.9000108616E7
AT ITER 3776 NEW BEST:: SOT 122711903 SOS 80594499 HAS SOPS 65896191 HAS SOUS 19461892 HAS SOUPS 18912295 WITH SCORE 1.8992889499E7
AT ITER 3785 NEW BEST:: SOT 122698578 SOS 80577960 HAS SOPS 65875883 HAS SOUS 19436671 HAS SOUPS 18887074 WITH SCORE 1.896765196E7
AT ITER 3786 NEW BEST:: SOT 122697701 SOS 80576638 HAS SOPS 65872784 HAS SOUS 19429352 HAS SOUPS 18879755 WITH SCORE 1.8960331638E7
AT ITER 3820 NEW BEST:: SOT 122698489 SOS 80579590 HAS SOPS 65875564 HAS SOUS 19428758 HAS SOUPS 18879161 WITH SCORE 1.895974059E7
AT ITER 3828 NEW BEST:: SOT 122690121 SOS 80569738 HAS SOPS 65856171 HAS SOUS 19409137 HAS SOUPS 18859540 WITH SCORE 1.8940109738E7
AT ITER 3837 NEW BEST:: SOT 122690121 SOS 80570026 HAS SOPS 65856747 HAS SOUS 19409119 HAS SOUPS 18859522 WITH SCORE 1.8940092026E7
AT ITER 3838 NEW BEST:: SOT 122692424 SOS 80574252 HAS SOPS 65859472 HAS SOUS 19398590 HAS SOUPS 18848993 WITH SCORE 1.8929567252E7
AT ITER 3846 NEW BEST:: SOT 122690483 SOS 80571980 HAS SOPS 65856227 HAS SOUS 19393932 HAS SOUPS 18844335 WITH SCORE 1.892490698E7
AT ITER 3851 NEW BEST:: SOT 122689207 SOS 80570837 HAS SOPS 65855633 HAS SOUS 19392638 HAS SOUPS 18843061 WITH SCORE 1.8923631837E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 14105312 kB
After kill :
MemTotal: 16393216 kB
MemFree: 15955804 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="RERS17pb115-PT-9"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is RERS17pb115-PT-9, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r331-tall-167889204200216"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb115-PT-9.tgz
mv RERS17pb115-PT-9 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 ;