About the Execution of Smart+red for RERS17pb115-PT-7
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1794.636 | 3600000.00 | 3895086.00 | 7719.30 | [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-167889204200200.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-7, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r331-tall-167889204200200
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 7.1K Feb 25 13:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 79K Feb 25 13:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.2K Feb 25 13:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 70K Feb 25 13:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Feb 25 16:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 14:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 105K Feb 25 14:02 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.1K Feb 25 13:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 25 13:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:39 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:39 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 69M Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1679102995659
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-7
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-18 01:29:57] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-18 01:29:57] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-18 01:29:59] [INFO ] Load time of PNML (sax parser for PT used): 1947 ms
[2023-03-18 01:30:00] [INFO ] Transformed 1399 places.
[2023-03-18 01:30:00] [INFO ] Transformed 144369 transitions.
[2023-03-18 01:30:00] [INFO ] Parsed PT model containing 1399 places and 144369 transitions and 577414 arcs in 2491 ms.
[2023-03-18 01:30:00] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1399 places, 144369 transitions and 577414 arcs took 362 ms.
Total runtime 2889 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb115 (PT), instance 7
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 4 NEW BEST:: SOT 123475730 SOS 80283844 HAS SOPS 65262929 HAS SOUS 24119724 HAS SOUPS 23547642 WITH SCORE 2.3627925844E7
AT ITER 13 NEW BEST:: SOT 123475730 SOS 80290882 HAS SOPS 65271496 HAS SOUS 24119541 HAS SOUPS 23547459 WITH SCORE 2.3627749882E7
AT ITER 25 NEW BEST:: SOT 123491929 SOS 80322051 HAS SOPS 65310538 HAS SOUS 24113626 HAS SOUPS 23541544 WITH SCORE 2.3621866051E7
AT ITER 26 NEW BEST:: SOT 123491929 SOS 80324311 HAS SOPS 65311998 HAS SOUS 24113549 HAS SOUPS 23541467 WITH SCORE 2.3621791311E7
AT ITER 41 NEW BEST:: SOT 123485778 SOS 80320511 HAS SOPS 65314982 HAS SOUS 24091343 HAS SOUPS 23519261 WITH SCORE 2.3599581511E7
AT ITER 51 NEW BEST:: SOT 123485778 SOS 80321071 HAS SOPS 65315702 HAS SOUS 24091328 HAS SOUPS 23519246 WITH SCORE 2.3599567071E7
AT ITER 77 NEW BEST:: SOT 123481709 SOS 80312964 HAS SOPS 65308564 HAS SOUS 24083863 HAS SOUPS 23511842 WITH SCORE 2.3592154964E7
AT ITER 81 NEW BEST:: SOT 123481591 SOS 80314099 HAS SOPS 65307634 HAS SOUS 24083539 HAS SOUPS 23511459 WITH SCORE 2.3591773099E7
AT ITER 95 NEW BEST:: SOT 123481527 SOS 80314007 HAS SOPS 65307542 HAS SOUS 24083314 HAS SOUPS 23511234 WITH SCORE 2.3591548007E7
AT ITER 106 NEW BEST:: SOT 123474179 SOS 80303825 HAS SOPS 65302412 HAS SOUS 24066922 HAS SOUPS 23494842 WITH SCORE 2.3575145825E7
AT ITER 114 NEW BEST:: SOT 123511731 SOS 80382345 HAS SOPS 65368767 HAS SOUS 24060120 HAS SOUPS 23488040 WITH SCORE 2.3568422345E7
AT ITER 118 NEW BEST:: SOT 123510190 SOS 80381544 HAS SOPS 65365774 HAS SOUS 24059447 HAS SOUPS 23487367 WITH SCORE 2.3567748544E7
AT ITER 120 NEW BEST:: SOT 123510190 SOS 80384980 HAS SOPS 65369196 HAS SOUS 24059351 HAS SOUPS 23487271 WITH SCORE 2.356765598E7
AT ITER 132 NEW BEST:: SOT 123517603 SOS 80404110 HAS SOPS 65389784 HAS SOUS 24050325 HAS SOUPS 23478245 WITH SCORE 2.355864911E7
AT ITER 136 NEW BEST:: SOT 123522413 SOS 80422347 HAS SOPS 65391132 HAS SOUS 24021375 HAS SOUPS 23449064 WITH SCORE 2.3529486347E7
AT ITER 137 NEW BEST:: SOT 123525415 SOS 80442712 HAS SOPS 65414365 HAS SOUS 24000709 HAS SOUPS 23428398 WITH SCORE 2.3508840712E7
AT ITER 138 NEW BEST:: SOT 123533972 SOS 80464878 HAS SOPS 65411926 HAS SOUS 23986625 HAS SOUPS 23414482 WITH SCORE 2.3494946878E7
AT ITER 139 NEW BEST:: SOT 123543262 SOS 80492970 HAS SOPS 65440406 HAS SOUS 23973022 HAS SOUPS 23400879 WITH SCORE 2.348137197E7
AT ITER 148 NEW BEST:: SOT 123524467 SOS 80472037 HAS SOPS 65422575 HAS SOUS 23933542 HAS SOUPS 23361399 WITH SCORE 2.3441871037E7
AT ITER 152 NEW BEST:: SOT 123521914 SOS 80481224 HAS SOPS 65422083 HAS SOUS 23907603 HAS SOUPS 23335460 WITH SCORE 2.3415941224E7
AT ITER 184 NEW BEST:: SOT 123505102 SOS 80450638 HAS SOPS 65393557 HAS SOUS 23890443 HAS SOUPS 23318300 WITH SCORE 2.3398750638E7
AT ITER 206 NEW BEST:: SOT 123503062 SOS 80448700 HAS SOPS 65390582 HAS SOUS 23885819 HAS SOUPS 23313676 WITH SCORE 2.33941247E7
AT ITER 207 NEW BEST:: SOT 123492211 SOS 80433816 HAS SOPS 65378582 HAS SOUS 23853323 HAS SOUPS 23283157 WITH SCORE 2.3363590816E7
AT ITER 208 NEW BEST:: SOT 123488826 SOS 80432349 HAS SOPS 65375655 HAS SOUS 23845083 HAS SOUPS 23274892 WITH SCORE 2.3355324349E7
AT ITER 216 NEW BEST:: SOT 123485118 SOS 80427488 HAS SOPS 65366881 HAS SOUS 23842922 HAS SOUPS 23272731 WITH SCORE 2.3353158488E7
AT ITER 234 NEW BEST:: SOT 123485118 SOS 80430208 HAS SOPS 65370337 HAS SOUS 23842823 HAS SOUPS 23272632 WITH SCORE 2.3353062208E7
AT ITER 240 NEW BEST:: SOT 123491170 SOS 80463334 HAS SOPS 65411575 HAS SOUS 23806677 HAS SOUPS 23236486 WITH SCORE 2.3316949334E7
AT ITER 246 NEW BEST:: SOT 123447261 SOS 80418825 HAS SOPS 65366310 HAS SOUS 23761244 HAS SOUPS 23191053 WITH SCORE 2.3271471825E7
AT ITER 254 NEW BEST:: SOT 123418694 SOS 80386206 HAS SOPS 65329848 HAS SOUS 23716393 HAS SOUPS 23146581 WITH SCORE 2.3226967206E7
AT ITER 256 NEW BEST:: SOT 123381491 SOS 80339306 HAS SOPS 65276874 HAS SOUS 23630243 HAS SOUPS 23060729 WITH SCORE 2.3141068306E7
AT ITER 280 NEW BEST:: SOT 123382956 SOS 80340329 HAS SOPS 65277598 HAS SOUS 23630045 HAS SOUPS 23060544 WITH SCORE 2.3140884329E7
AT ITER 285 NEW BEST:: SOT 123374656 SOS 80328857 HAS SOPS 65265909 HAS SOUS 23623742 HAS SOUPS 23054241 WITH SCORE 2.3134569857E7
AT ITER 292 NEW BEST:: SOT 123374790 SOS 80329124 HAS SOPS 65268032 HAS SOUS 23619289 HAS SOUPS 23050196 WITH SCORE 2.3130525124E7
AT ITER 311 NEW BEST:: SOT 123379448 SOS 80337885 HAS SOPS 65280759 HAS SOUS 23619137 HAS SOUPS 23050044 WITH SCORE 2.3130381885E7
AT ITER 325 NEW BEST:: SOT 123353987 SOS 80310182 HAS SOPS 65244595 HAS SOUS 23567318 HAS SOUPS 22998287 WITH SCORE 2.3078597182E7
AT ITER 330 NEW BEST:: SOT 123365896 SOS 80341549 HAS SOPS 65268906 HAS SOUS 23541876 HAS SOUPS 22972847 WITH SCORE 2.3053188549E7
AT ITER 348 NEW BEST:: SOT 123411757 SOS 80437125 HAS SOPS 65352940 HAS SOUS 23532564 HAS SOUPS 22963535 WITH SCORE 2.3043972125E7
AT ITER 371 NEW BEST:: SOT 123383725 SOS 80403408 HAS SOPS 65320650 HAS SOUS 23521387 HAS SOUPS 22952358 WITH SCORE 2.3032761408E7
AT ITER 375 NEW BEST:: SOT 123338348 SOS 80350575 HAS SOPS 65267965 HAS SOUS 23456071 HAS SOUPS 22886792 WITH SCORE 2.2967142575E7
AT ITER 377 NEW BEST:: SOT 123337945 SOS 80349773 HAS SOPS 65267364 HAS SOUS 23455878 HAS SOUPS 22886599 WITH SCORE 2.2966948773E7
AT ITER 381 NEW BEST:: SOT 123334008 SOS 80343922 HAS SOPS 65259764 HAS SOUS 23451094 HAS SOUPS 22881815 WITH SCORE 2.2962158922E7
AT ITER 386 NEW BEST:: SOT 123334018 SOS 80346968 HAS SOPS 65265956 HAS SOUS 23451039 HAS SOUPS 22881760 WITH SCORE 2.2962106968E7
AT ITER 389 NEW BEST:: SOT 123334755 SOS 80367568 HAS SOPS 65279995 HAS SOUS 23449372 HAS SOUPS 22880093 WITH SCORE 2.2960460568E7
AT ITER 402 NEW BEST:: SOT 123334940 SOS 80369628 HAS SOPS 65287287 HAS SOUS 23447699 HAS SOUPS 22878419 WITH SCORE 2.2958788628E7
AT ITER 404 NEW BEST:: SOT 123336165 SOS 80380579 HAS SOPS 65292935 HAS SOUS 23429779 HAS SOUPS 22860323 WITH SCORE 2.2940703579E7
AT ITER 407 NEW BEST:: SOT 123342102 SOS 80400732 HAS SOPS 65309242 HAS SOUS 23427117 HAS SOUPS 22857661 WITH SCORE 2.2938061732E7
AT ITER 411 NEW BEST:: SOT 123342035 SOS 80400611 HAS SOPS 65309056 HAS SOUS 23426872 HAS SOUPS 22857416 WITH SCORE 2.2937816611E7
AT ITER 423 NEW BEST:: SOT 123333913 SOS 80395395 HAS SOPS 65300781 HAS SOUS 23406121 HAS SOUPS 22836665 WITH SCORE 2.2917060395E7
AT ITER 431 NEW BEST:: SOT 123333971 SOS 80395445 HAS SOPS 65300767 HAS SOUS 23405921 HAS SOUPS 22836465 WITH SCORE 2.2916860445E7
AT ITER 432 NEW BEST:: SOT 123339039 SOS 80405604 HAS SOPS 65325135 HAS SOUS 23398717 HAS SOUPS 22829296 WITH SCORE 2.2909701604E7
AT ITER 440 NEW BEST:: SOT 123338810 SOS 80403264 HAS SOPS 65323292 HAS SOUS 23398433 HAS SOUPS 22829057 WITH SCORE 2.2909460264E7
AT ITER 441 NEW BEST:: SOT 123354353 SOS 80460406 HAS SOPS 65373842 HAS SOUS 23389694 HAS SOUPS 22820318 WITH SCORE 2.2900778406E7
AT ITER 442 NEW BEST:: SOT 123345675 SOS 80444858 HAS SOPS 65356639 HAS SOUS 23372869 HAS SOUPS 22803493 WITH SCORE 2.2883937858E7
AT ITER 449 NEW BEST:: SOT 123343141 SOS 80441892 HAS SOPS 65348897 HAS SOUS 23348789 HAS SOUPS 22779572 WITH SCORE 2.2860013892E7
AT ITER 486 NEW BEST:: SOT 123342889 SOS 80441484 HAS SOPS 65348279 HAS SOUS 23348381 HAS SOUPS 22779164 WITH SCORE 2.2859605484E7
AT ITER 487 NEW BEST:: SOT 123344433 SOS 80449156 HAS SOPS 65356510 HAS SOUS 23344818 HAS SOUPS 22775601 WITH SCORE 2.2856050156E7
AT ITER 500 NEW BEST:: SOT 123354411 SOS 80463979 HAS SOPS 65378738 HAS SOUS 23342773 HAS SOUPS 22773789 WITH SCORE 2.2854252979E7
AT ITER 504 NEW BEST:: SOT 123364026 SOS 80488599 HAS SOPS 65399241 HAS SOUS 23340821 HAS SOUPS 22771837 WITH SCORE 2.2852325599E7
AT ITER 506 NEW BEST:: SOT 123363782 SOS 80501439 HAS SOPS 65419517 HAS SOUS 23339756 HAS SOUPS 22770893 WITH SCORE 2.2851394439E7
AT ITER 510 NEW BEST:: SOT 123367737 SOS 80515376 HAS SOPS 65434080 HAS SOUS 23336336 HAS SOUPS 22767473 WITH SCORE 2.2847988376E7
AT ITER 516 NEW BEST:: SOT 123429671 SOS 80633637 HAS SOPS 65572703 HAS SOUS 23324016 HAS SOUPS 22755050 WITH SCORE 2.2835683637E7
AT ITER 539 NEW BEST:: SOT 123429018 SOS 80646263 HAS SOPS 65598509 HAS SOUS 23320585 HAS SOUPS 22751619 WITH SCORE 2.2832265263E7
AT ITER 547 NEW BEST:: SOT 123416636 SOS 80643897 HAS SOPS 65598916 HAS SOUS 23283977 HAS SOUPS 22715011 WITH SCORE 2.2795654897E7
AT ITER 566 NEW BEST:: SOT 123415402 SOS 80642261 HAS SOPS 65597143 HAS SOUS 23281191 HAS SOUPS 22712238 WITH SCORE 2.2792880261E7
AT ITER 585 NEW BEST:: SOT 123414985 SOS 80642338 HAS SOPS 65596960 HAS SOUS 23280433 HAS SOUPS 22711480 WITH SCORE 2.2792122338E7
AT ITER 593 NEW BEST:: SOT 123414999 SOS 80649900 HAS SOPS 65604108 HAS SOUS 23279679 HAS SOUPS 22710726 WITH SCORE 2.27913759E7
AT ITER 602 NEW BEST:: SOT 123431784 SOS 80705839 HAS SOPS 65658145 HAS SOUS 23264561 HAS SOUPS 22695608 WITH SCORE 2.2776313839E7
AT ITER 617 NEW BEST:: SOT 123431784 SOS 80706178 HAS SOPS 65656728 HAS SOUS 23264525 HAS SOUPS 22695572 WITH SCORE 2.2776278178E7
AT ITER 622 NEW BEST:: SOT 123430698 SOS 80703928 HAS SOPS 65655195 HAS SOUS 23264279 HAS SOUPS 22695335 WITH SCORE 2.2776038928E7
AT ITER 630 NEW BEST:: SOT 123429117 SOS 80701783 HAS SOPS 65653458 HAS SOUS 23261160 HAS SOUPS 22692216 WITH SCORE 2.2772917783E7
AT ITER 639 NEW BEST:: SOT 123423970 SOS 80694239 HAS SOPS 65644654 HAS SOUS 23254861 HAS SOUPS 22685878 WITH SCORE 2.2766572239E7
AT ITER 648 NEW BEST:: SOT 123421438 SOS 80693876 HAS SOPS 65643278 HAS SOUS 23252244 HAS SOUPS 22683261 WITH SCORE 2.2763954876E7
AT ITER 653 NEW BEST:: SOT 123421287 SOS 80693712 HAS SOPS 65642778 HAS SOUS 23252040 HAS SOUPS 22683057 WITH SCORE 2.2763750712E7
AT ITER 655 NEW BEST:: SOT 123418261 SOS 80697940 HAS SOPS 65641686 HAS SOUS 23231587 HAS SOUPS 22662604 WITH SCORE 2.274330194E7
AT ITER 665 NEW BEST:: SOT 123408995 SOS 80672173 HAS SOPS 65622761 HAS SOUS 23223924 HAS SOUPS 22654802 WITH SCORE 2.2735474173E7
AT ITER 691 NEW BEST:: SOT 123443454 SOS 80704869 HAS SOPS 65655572 HAS SOUS 23222614 HAS SOUPS 22653557 WITH SCORE 2.2734261869E7
AT ITER 694 NEW BEST:: SOT 123428343 SOS 80689562 HAS SOPS 65630169 HAS SOUS 23188457 HAS SOUPS 22619400 WITH SCORE 2.2700089562E7
AT ITER 702 NEW BEST:: SOT 123410000 SOS 80621665 HAS SOPS 65586690 HAS SOUS 23162050 HAS SOUPS 22593657 WITH SCORE 2.2674278665E7
AT ITER 715 NEW BEST:: SOT 123410237 SOS 80653966 HAS SOPS 65629647 HAS SOUS 23161807 HAS SOUPS 22593414 WITH SCORE 2.2674067966E7
AT ITER 723 NEW BEST:: SOT 123392243 SOS 80610754 HAS SOPS 65605301 HAS SOUS 23158547 HAS SOUPS 22590368 WITH SCORE 2.2670978754E7
AT ITER 728 NEW BEST:: SOT 123360590 SOS 80579101 HAS SOPS 65573648 HAS SOUS 23122782 HAS SOUPS 22554603 WITH SCORE 2.2635182101E7
AT ITER 729 NEW BEST:: SOT 123362528 SOS 80589113 HAS SOPS 65576885 HAS SOUS 23109624 HAS SOUPS 22541445 WITH SCORE 2.2622034113E7
AT ITER 730 NEW BEST:: SOT 123357996 SOS 80585463 HAS SOPS 65569230 HAS SOUS 23099289 HAS SOUPS 22531110 WITH SCORE 2.2611695463E7
AT ITER 739 NEW BEST:: SOT 123335269 SOS 80552076 HAS SOPS 65547284 HAS SOUS 23058357 HAS SOUPS 22490178 WITH SCORE 2.2570730076E7
AT ITER 743 NEW BEST:: SOT 123336526 SOS 80558177 HAS SOPS 65551020 HAS SOUS 23055057 HAS SOUPS 22486878 WITH SCORE 2.2567436177E7
AT ITER 744 NEW BEST:: SOT 123337158 SOS 80559988 HAS SOPS 65551652 HAS SOUS 23054326 HAS SOUPS 22486147 WITH SCORE 2.2566706988E7
AT ITER 749 NEW BEST:: SOT 123340583 SOS 80569727 HAS SOPS 65561363 HAS SOUS 23038146 HAS SOUPS 22470043 WITH SCORE 2.2550612727E7
AT ITER 752 NEW BEST:: SOT 123315187 SOS 80543505 HAS SOPS 65535141 HAS SOUS 23010943 HAS SOUPS 22442840 WITH SCORE 2.2523383505E7
AT ITER 773 NEW BEST:: SOT 123313740 SOS 80544104 HAS SOPS 65531594 HAS SOUS 23007372 HAS SOUPS 22437285 WITH SCORE 2.2517829104E7
AT ITER 777 NEW BEST:: SOT 123319033 SOS 80554910 HAS SOPS 65542266 HAS SOUS 22994768 HAS SOUPS 22424769 WITH SCORE 2.250532391E7
AT ITER 789 NEW BEST:: SOT 123322085 SOS 80562416 HAS SOPS 65549964 HAS SOUS 22989899 HAS SOUPS 22419816 WITH SCORE 2.2500378416E7
AT ITER 801 NEW BEST:: SOT 123320734 SOS 80561307 HAS SOPS 65548727 HAS SOUS 22986374 HAS SOUPS 22416291 WITH SCORE 2.2496852307E7
AT ITER 822 NEW BEST:: SOT 123291714 SOS 80521945 HAS SOPS 65510099 HAS SOUS 22948875 HAS SOUPS 22378792 WITH SCORE 2.2459313945E7
AT ITER 834 NEW BEST:: SOT 123289125 SOS 80519866 HAS SOPS 65505708 HAS SOUS 22942240 HAS SOUPS 22372140 WITH SCORE 2.2452659866E7
AT ITER 836 NEW BEST:: SOT 123291935 SOS 80525787 HAS SOPS 65507501 HAS SOUS 22939342 HAS SOUPS 22369242 WITH SCORE 2.2449767787E7
AT ITER 839 NEW BEST:: SOT 123272484 SOS 80486676 HAS SOPS 65470559 HAS SOUS 22927127 HAS SOUPS 22357027 WITH SCORE 2.2437513676E7
AT ITER 850 NEW BEST:: SOT 123272830 SOS 80490015 HAS SOPS 65473044 HAS SOUS 22923821 HAS SOUPS 22353721 WITH SCORE 2.2434211015E7
AT ITER 855 NEW BEST:: SOT 123266680 SOS 80484916 HAS SOPS 65464583 HAS SOUS 22905963 HAS SOUPS 22335706 WITH SCORE 2.2416190916E7
AT ITER 859 NEW BEST:: SOT 123268672 SOS 80498033 HAS SOPS 65475690 HAS SOUS 22898054 HAS SOUPS 22327797 WITH SCORE 2.2408295033E7
AT ITER 863 NEW BEST:: SOT 123268732 SOS 80498921 HAS SOPS 65475859 HAS SOUS 22896633 HAS SOUPS 22326376 WITH SCORE 2.2406874921E7
AT ITER 868 NEW BEST:: SOT 123265024 SOS 80493281 HAS SOPS 65469516 HAS SOUS 22890384 HAS SOUPS 22320127 WITH SCORE 2.2400620281E7
AT ITER 870 NEW BEST:: SOT 123264919 SOS 80502785 HAS SOPS 65480420 HAS SOUS 22889543 HAS SOUPS 22319286 WITH SCORE 2.2399788785E7
AT ITER 871 NEW BEST:: SOT 123207137 SOS 80444053 HAS SOPS 65421033 HAS SOUS 22794365 HAS SOUPS 22224112 WITH SCORE 2.2304556053E7
AT ITER 875 NEW BEST:: SOT 123207072 SOS 80443990 HAS SOPS 65420976 HAS SOUS 22794174 HAS SOUPS 22223935 WITH SCORE 2.230437899E7
AT ITER 879 NEW BEST:: SOT 123202476 SOS 80445222 HAS SOPS 65414460 HAS SOUS 22770943 HAS SOUPS 22200498 WITH SCORE 2.2280943222E7
AT ITER 888 NEW BEST:: SOT 123244132 SOS 80526289 HAS SOPS 65484528 HAS SOUS 22770498 HAS SOUPS 22200053 WITH SCORE 2.2280579289E7
AT ITER 891 NEW BEST:: SOT 123215279 SOS 80501357 HAS SOPS 65462286 HAS SOUS 22698210 HAS SOUPS 22128016 WITH SCORE 2.2208517357E7
AT ITER 903 NEW BEST:: SOT 123221725 SOS 80520051 HAS SOPS 65478963 HAS SOUS 22686494 HAS SOUPS 22116300 WITH SCORE 2.2196820051E7
AT ITER 907 NEW BEST:: SOT 123219391 SOS 80522196 HAS SOPS 65486398 HAS SOUS 22669477 HAS SOUPS 22099153 WITH SCORE 2.2179675196E7
AT ITER 921 NEW BEST:: SOT 123218507 SOS 80521389 HAS SOPS 65484641 HAS SOUS 22667406 HAS SOUPS 22097082 WITH SCORE 2.2177603389E7
AT ITER 927 NEW BEST:: SOT 123239633 SOS 80569509 HAS SOPS 65527089 HAS SOUS 22654717 HAS SOUPS 22084576 WITH SCORE 2.2165145509E7
AT ITER 933 NEW BEST:: SOT 123213427 SOS 80521632 HAS SOPS 65471062 HAS SOUS 22631134 HAS SOUPS 22060993 WITH SCORE 2.2141514632E7
AT ITER 940 NEW BEST:: SOT 123183524 SOS 80493274 HAS SOPS 65452562 HAS SOUS 22615556 HAS SOUPS 22045415 WITH SCORE 2.2125908274E7
AT ITER 943 NEW BEST:: SOT 123183079 SOS 80492850 HAS SOPS 65452117 HAS SOUS 22614088 HAS SOUPS 22044010 WITH SCORE 2.212450285E7
AT ITER 945 NEW BEST:: SOT 123182864 SOS 80489178 HAS SOPS 65443755 HAS SOUS 22608309 HAS SOUPS 22038231 WITH SCORE 2.2118720178E7
AT ITER 966 NEW BEST:: SOT 123178337 SOS 80485163 HAS SOPS 65440045 HAS SOUS 22596401 HAS SOUPS 22026389 WITH SCORE 2.2106874163E7
AT ITER 984 NEW BEST:: SOT 123174073 SOS 80479906 HAS SOPS 65434660 HAS SOUS 22588480 HAS SOUPS 22018512 WITH SCORE 2.2098991906E7
AT ITER 992 NEW BEST:: SOT 123147730 SOS 80424105 HAS SOPS 65385245 HAS SOUS 22571091 HAS SOUPS 22001123 WITH SCORE 2.2081547105E7
AT ITER 1018 NEW BEST:: SOT 123147474 SOS 80437098 HAS SOPS 65447178 HAS SOUS 22569980 HAS SOUPS 22000012 WITH SCORE 2.2080449098E7
AT ITER 1021 NEW BEST:: SOT 123141429 SOS 80429289 HAS SOPS 65439905 HAS SOUS 22562843 HAS SOUPS 21992875 WITH SCORE 2.2073304289E7
AT ITER 1023 NEW BEST:: SOT 123140248 SOS 80428514 HAS SOPS 65438871 HAS SOUS 22561224 HAS SOUPS 21991256 WITH SCORE 2.2071684514E7
AT ITER 1024 NEW BEST:: SOT 123138267 SOS 80426662 HAS SOPS 65436715 HAS SOUS 22558296 HAS SOUPS 21988305 WITH SCORE 2.2068731662E7
AT ITER 1025 NEW BEST:: SOT 123139053 SOS 80432132 HAS SOPS 65443315 HAS SOUS 22535212 HAS SOUPS 21965221 WITH SCORE 2.2045653132E7
AT ITER 1036 NEW BEST:: SOT 123114411 SOS 80399029 HAS SOPS 65411809 HAS SOUS 22498253 HAS SOUPS 21927849 WITH SCORE 2.2008248029E7
AT ITER 1054 NEW BEST:: SOT 123113622 SOS 80398240 HAS SOPS 65411020 HAS SOUS 22497464 HAS SOUPS 21927060 WITH SCORE 2.200745824E7
AT ITER 1057 NEW BEST:: SOT 123113716 SOS 80402190 HAS SOPS 65414194 HAS SOUS 22496921 HAS SOUPS 21926517 WITH SCORE 2.200691919E7
AT ITER 1062 NEW BEST:: SOT 123101307 SOS 80389907 HAS SOPS 65401848 HAS SOUS 22485294 HAS SOUPS 21914857 WITH SCORE 2.1995246907E7
AT ITER 1071 NEW BEST:: SOT 123101259 SOS 80406073 HAS SOPS 65424232 HAS SOUS 22484990 HAS SOUPS 21914553 WITH SCORE 2.1994959073E7
AT ITER 1108 NEW BEST:: SOT 123100439 SOS 80416586 HAS SOPS 65459447 HAS SOUS 22484343 HAS SOUPS 21913906 WITH SCORE 2.1994322586E7
AT ITER 1118 NEW BEST:: SOT 123075433 SOS 80391417 HAS SOPS 65437046 HAS SOUS 22433815 HAS SOUPS 21863667 WITH SCORE 2.1944058417E7
AT ITER 1138 NEW BEST:: SOT 123073297 SOS 80385493 HAS SOPS 65436321 HAS SOUS 22430231 HAS SOUPS 21860171 WITH SCORE 2.1940556493E7
AT ITER 1142 NEW BEST:: SOT 123077478 SOS 80390240 HAS SOPS 65466650 HAS SOUS 22398716 HAS SOUPS 21829074 WITH SCORE 2.190946424E7
AT ITER 1145 NEW BEST:: SOT 123074683 SOS 80386365 HAS SOPS 65463486 HAS SOUS 22393453 HAS SOUPS 21823944 WITH SCORE 2.1904330365E7
AT ITER 1146 NEW BEST:: SOT 123074688 SOS 80388328 HAS SOPS 65468142 HAS SOUS 22393451 HAS SOUPS 21823942 WITH SCORE 2.1904330328E7
AT ITER 1151 NEW BEST:: SOT 123073739 SOS 80379631 HAS SOPS 65461099 HAS SOUS 22391339 HAS SOUPS 21821867 WITH SCORE 2.1902246631E7
AT ITER 1161 NEW BEST:: SOT 123073750 SOS 80380359 HAS SOPS 65461731 HAS SOUS 22391299 HAS SOUPS 21821827 WITH SCORE 2.1902207359E7
AT ITER 1167 NEW BEST:: SOT 123071126 SOS 80378710 HAS SOPS 65457900 HAS SOUS 22384240 HAS SOUPS 21814768 WITH SCORE 2.189514671E7
AT ITER 1176 NEW BEST:: SOT 123070886 SOS 80378334 HAS SOPS 65457598 HAS SOUS 22384071 HAS SOUPS 21814611 WITH SCORE 2.1894989334E7
AT ITER 1178 NEW BEST:: SOT 123069887 SOS 80377878 HAS SOPS 65456879 HAS SOUS 22381466 HAS SOUPS 21812006 WITH SCORE 2.1892383878E7
AT ITER 1192 NEW BEST:: SOT 123066259 SOS 80368435 HAS SOPS 65448648 HAS SOUS 22380062 HAS SOUPS 21810602 WITH SCORE 2.1890970435E7
AT ITER 1193 NEW BEST:: SOT 123051466 SOS 80350711 HAS SOPS 65430476 HAS SOUS 22359631 HAS SOUPS 21790157 WITH SCORE 2.1870507711E7
AT ITER 1195 NEW BEST:: SOT 123050495 SOS 80347700 HAS SOPS 65428240 HAS SOUS 22348891 HAS SOUPS 21779471 WITH SCORE 2.18598187E7
AT ITER 1203 NEW BEST:: SOT 123031143 SOS 80327863 HAS SOPS 65408042 HAS SOUS 22324837 HAS SOUPS 21755417 WITH SCORE 2.1835744863E7
AT ITER 1208 NEW BEST:: SOT 123030625 SOS 80327425 HAS SOPS 65407874 HAS SOUS 22323491 HAS SOUPS 21754051 WITH SCORE 2.1834378425E7
AT ITER 1214 NEW BEST:: SOT 123025389 SOS 80320057 HAS SOPS 65397177 HAS SOUS 22317552 HAS SOUPS 21748112 WITH SCORE 2.1828432057E7
AT ITER 1217 NEW BEST:: SOT 123024806 SOS 80319474 HAS SOPS 65396594 HAS SOUS 22316553 HAS SOUPS 21747113 WITH SCORE 2.1827432474E7
AT ITER 1224 NEW BEST:: SOT 123028129 SOS 80327561 HAS SOPS 65402231 HAS SOUS 22315048 HAS SOUPS 21745608 WITH SCORE 2.1825935561E7
AT ITER 1225 NEW BEST:: SOT 123026565 SOS 80326537 HAS SOPS 65400119 HAS SOUS 22313117 HAS SOUPS 21743677 WITH SCORE 2.1824003537E7
AT ITER 1229 NEW BEST:: SOT 123018960 SOS 80314659 HAS SOPS 65388510 HAS SOUS 22306059 HAS SOUPS 21736619 WITH SCORE 2.1816933659E7
AT ITER 1231 NEW BEST:: SOT 123032604 SOS 80353634 HAS SOPS 65422784 HAS SOUS 22282348 HAS SOUPS 21712908 WITH SCORE 2.1793261634E7
AT ITER 1235 NEW BEST:: SOT 123019654 SOS 80332647 HAS SOPS 65392176 HAS SOUS 22266175 HAS SOUPS 21696735 WITH SCORE 2.1777067647E7
AT ITER 1238 NEW BEST:: SOT 123004282 SOS 80313908 HAS SOPS 65371488 HAS SOUS 22235363 HAS SOUPS 21665971 WITH SCORE 2.1746284908E7
AT ITER 1259 NEW BEST:: SOT 123001542 SOS 80312802 HAS SOPS 65367240 HAS SOUS 22220140 HAS SOUPS 21650748 WITH SCORE 2.1731060802E7
AT ITER 1266 NEW BEST:: SOT 123001542 SOS 80311982 HAS SOPS 65365870 HAS SOUS 22219050 HAS SOUPS 21649658 WITH SCORE 2.1729969982E7
AT ITER 1268 NEW BEST:: SOT 122999408 SOS 80309455 HAS SOPS 65364003 HAS SOUS 22217769 HAS SOUPS 21648377 WITH SCORE 2.1728686455E7
AT ITER 1289 NEW BEST:: SOT 122996259 SOS 80306757 HAS SOPS 65357081 HAS SOUS 22207174 HAS SOUPS 21637782 WITH SCORE 2.1718088757E7
AT ITER 1308 NEW BEST:: SOT 122987620 SOS 80297563 HAS SOPS 65346294 HAS SOUS 22186590 HAS SOUPS 21617198 WITH SCORE 2.1697495563E7
AT ITER 1315 NEW BEST:: SOT 122988237 SOS 80305707 HAS SOPS 65349289 HAS SOUS 22175817 HAS SOUPS 21606425 WITH SCORE 2.1686730707E7
AT ITER 1320 NEW BEST:: SOT 122987184 SOS 80304574 HAS SOPS 65348124 HAS SOUS 22172980 HAS SOUPS 21603596 WITH SCORE 2.1683900574E7
AT ITER 1347 NEW BEST:: SOT 122987752 SOS 80306678 HAS SOPS 65349219 HAS SOUS 22170604 HAS SOUPS 21601220 WITH SCORE 2.1681526678E7
AT ITER 1358 NEW BEST:: SOT 122995305 SOS 80329845 HAS SOPS 65370309 HAS SOUS 22169279 HAS SOUPS 21599895 WITH SCORE 2.1680224845E7
AT ITER 1374 NEW BEST:: SOT 122992529 SOS 80326799 HAS SOPS 65367368 HAS SOUS 22161473 HAS SOUPS 21592132 WITH SCORE 2.1672458799E7
AT ITER 1375 NEW BEST:: SOT 122989803 SOS 80342182 HAS SOPS 65397383 HAS SOUS 22126460 HAS SOUPS 21557119 WITH SCORE 2.1637461182E7
AT ITER 1383 NEW BEST:: SOT 122990496 SOS 80363055 HAS SOPS 65416706 HAS SOUS 22124225 HAS SOUPS 21554884 WITH SCORE 2.1635247055E7
AT ITER 1389 NEW BEST:: SOT 122974715 SOS 80341217 HAS SOPS 65402823 HAS SOUS 22080330 HAS SOUPS 21511549 WITH SCORE 2.1591890217E7
AT ITER 1390 NEW BEST:: SOT 122974409 SOS 80340853 HAS SOPS 65402291 HAS SOUS 22079597 HAS SOUPS 21510816 WITH SCORE 2.1591156853E7
AT ITER 1392 NEW BEST:: SOT 122973327 SOS 80341702 HAS SOPS 65401011 HAS SOUS 22075855 HAS SOUPS 21507074 WITH SCORE 2.1587415702E7
AT ITER 1394 NEW BEST:: SOT 122971212 SOS 80331305 HAS SOPS 65391209 HAS SOUS 22063203 HAS SOUPS 21494422 WITH SCORE 2.1574753305E7
AT ITER 1400 NEW BEST:: SOT 122967737 SOS 80309204 HAS SOPS 65408183 HAS SOUS 22056972 HAS SOUPS 21488191 WITH SCORE 2.1568500204E7
AT ITER 1414 NEW BEST:: SOT 122976252 SOS 80328999 HAS SOPS 65419353 HAS SOUS 22055206 HAS SOUPS 21486314 WITH SCORE 2.1566642999E7
AT ITER 1415 NEW BEST:: SOT 122953067 SOS 80292117 HAS SOPS 65387227 HAS SOUS 22021850 HAS SOUPS 21453095 WITH SCORE 2.1533387117E7
AT ITER 1421 NEW BEST:: SOT 122951302 SOS 80289702 HAS SOPS 65385221 HAS SOUS 22018655 HAS SOUPS 21449900 WITH SCORE 2.1530189702E7
AT ITER 1423 NEW BEST:: SOT 122941685 SOS 80280085 HAS SOPS 65375604 HAS SOUS 22006734 HAS SOUPS 21437979 WITH SCORE 2.1518259085E7
AT ITER 1453 NEW BEST:: SOT 122937404 SOS 80273852 HAS SOPS 65369885 HAS SOUS 22002867 HAS SOUPS 21434140 WITH SCORE 2.1514413852E7
AT ITER 1458 NEW BEST:: SOT 122954072 SOS 80315350 HAS SOPS 65404708 HAS SOUS 22002024 HAS SOUPS 21433297 WITH SCORE 2.151361235E7
AT ITER 1460 NEW BEST:: SOT 122953214 SOS 80306893 HAS SOPS 65395617 HAS SOUS 21999955 HAS SOUPS 21431228 WITH SCORE 2.1511534893E7
AT ITER 1464 NEW BEST:: SOT 122952299 SOS 80306484 HAS SOPS 65393965 HAS SOUS 21998073 HAS SOUPS 21429346 WITH SCORE 2.1509652484E7
AT ITER 1466 NEW BEST:: SOT 122948871 SOS 80303014 HAS SOPS 65390495 HAS SOUS 21994603 HAS SOUPS 21425876 WITH SCORE 2.1506179014E7
AT ITER 1473 NEW BEST:: SOT 122950050 SOS 80304940 HAS SOPS 65391931 HAS SOUS 21994125 HAS SOUPS 21425398 WITH SCORE 2.150570294E7
AT ITER 1474 NEW BEST:: SOT 122944153 SOS 80279413 HAS SOPS 65383506 HAS SOUS 21981758 HAS SOUPS 21413191 WITH SCORE 2.1493470413E7
AT ITER 1477 NEW BEST:: SOT 122943403 SOS 80277698 HAS SOPS 65381470 HAS SOUS 21981138 HAS SOUPS 21412571 WITH SCORE 2.1492848698E7
AT ITER 1478 NEW BEST:: SOT 122943403 SOS 80277858 HAS SOPS 65381726 HAS SOUS 21981134 HAS SOUPS 21412567 WITH SCORE 2.1492844858E7
AT ITER 1512 NEW BEST:: SOT 122947439 SOS 80294756 HAS SOPS 65399010 HAS SOUS 21973624 HAS SOUPS 21405057 WITH SCORE 2.1485351756E7
AT ITER 1515 NEW BEST:: SOT 122938922 SOS 80277977 HAS SOPS 65385606 HAS SOUS 21964509 HAS SOUPS 21396016 WITH SCORE 2.1476293977E7
AT ITER 1516 NEW BEST:: SOT 122936068 SOS 80273842 HAS SOPS 65382066 HAS SOUS 21960597 HAS SOUPS 21392104 WITH SCORE 2.1472377842E7
AT ITER 1520 NEW BEST:: SOT 122934298 SOS 80273163 HAS SOPS 65381055 HAS SOUS 21955789 HAS SOUPS 21387296 WITH SCORE 2.1467569163E7
AT ITER 1521 NEW BEST:: SOT 122934534 SOS 80276009 HAS SOPS 65396158 HAS SOUS 21945433 HAS SOUPS 21376848 WITH SCORE 2.1457124009E7
AT ITER 1541 NEW BEST:: SOT 122932529 SOS 80272407 HAS SOPS 65392783 HAS SOUS 21944695 HAS SOUPS 21376110 WITH SCORE 2.1456382407E7
AT ITER 1545 NEW BEST:: SOT 122943289 SOS 80291382 HAS SOPS 65406224 HAS SOUS 21933922 HAS SOUPS 21365337 WITH SCORE 2.1445628382E7
AT ITER 1557 NEW BEST:: SOT 122938946 SOS 80296925 HAS SOPS 65408354 HAS SOUS 21901036 HAS SOUPS 21332451 WITH SCORE 2.1412747925E7
AT ITER 1584 NEW BEST:: SOT 122922773 SOS 80279009 HAS SOPS 65382674 HAS SOUS 21858231 HAS SOUPS 21289835 WITH SCORE 2.1370114009E7
AT ITER 1590 NEW BEST:: SOT 122929571 SOS 80298208 HAS SOPS 65403217 HAS SOUS 21850908 HAS SOUPS 21282512 WITH SCORE 2.1362810208E7
AT ITER 1597 NEW BEST:: SOT 122929571 SOS 80299428 HAS SOPS 65408341 HAS SOUS 21850786 HAS SOUPS 21282390 WITH SCORE 2.1362689428E7
AT ITER 1606 NEW BEST:: SOT 122970044 SOS 80387973 HAS SOPS 65494765 HAS SOUS 21850687 HAS SOUPS 21282291 WITH SCORE 2.1362678973E7
AT ITER 1651 NEW BEST:: SOT 122970145 SOS 80388016 HAS SOPS 65494725 HAS SOUS 21850475 HAS SOUPS 21282086 WITH SCORE 2.1362474016E7
AT ITER 1661 NEW BEST:: SOT 122968453 SOS 80385964 HAS SOPS 65491929 HAS SOUS 21847151 HAS SOUPS 21278768 WITH SCORE 2.1359153964E7
AT ITER 1675 NEW BEST:: SOT 122956372 SOS 80371082 HAS SOPS 65473800 HAS SOUS 21812696 HAS SOUPS 21244313 WITH SCORE 2.1324684082E7
AT ITER 1676 NEW BEST:: SOT 122988380 SOS 80447430 HAS SOPS 65540762 HAS SOUS 21795715 HAS SOUPS 21227332 WITH SCORE 2.130777943E7
AT ITER 1686 NEW BEST:: SOT 122981377 SOS 80442980 HAS SOPS 65529162 HAS SOUS 21782790 HAS SOUPS 21211894 WITH SCORE 2.129233698E7
AT ITER 1695 NEW BEST:: SOT 123019280 SOS 80520473 HAS SOPS 65595370 HAS SOUS 21771777 HAS SOUPS 21200834 WITH SCORE 2.1281354473E7
AT ITER 1714 NEW BEST:: SOT 123019665 SOS 80519153 HAS SOPS 65595841 HAS SOUS 21771102 HAS SOUPS 21200247 WITH SCORE 2.1280766153E7
AT ITER 1720 NEW BEST:: SOT 123009589 SOS 80502196 HAS SOPS 65579564 HAS SOUS 21761008 HAS SOUPS 21190153 WITH SCORE 2.1270655196E7
AT ITER 1739 NEW BEST:: SOT 123024089 SOS 80528166 HAS SOPS 65606714 HAS SOUS 21754855 HAS SOUPS 21184000 WITH SCORE 2.1264528166E7
AT ITER 1760 NEW BEST:: SOT 123024851 SOS 80533516 HAS SOPS 65610823 HAS SOUS 21748672 HAS SOUPS 21177817 WITH SCORE 2.1258350516E7
AT ITER 1764 NEW BEST:: SOT 123028939 SOS 80537334 HAS SOPS 65612908 HAS SOUS 21725836 HAS SOUPS 21154981 WITH SCORE 2.1235518334E7
AT ITER 1768 NEW BEST:: SOT 123053348 SOS 80589683 HAS SOPS 65643423 HAS SOUS 21720829 HAS SOUPS 21149661 WITH SCORE 2.1230250683E7
AT ITER 1775 NEW BEST:: SOT 123048314 SOS 80581101 HAS SOPS 65636097 HAS SOUS 21697673 HAS SOUPS 21126505 WITH SCORE 2.1207086101E7
AT ITER 1787 NEW BEST:: SOT 123034351 SOS 80569311 HAS SOPS 65615503 HAS SOUS 21667013 HAS SOUPS 21095796 WITH SCORE 2.1176365311E7
AT ITER 1802 NEW BEST:: SOT 123081189 SOS 80659911 HAS SOPS 65724307 HAS SOUS 21658518 HAS SOUPS 21087301 WITH SCORE 2.1167960911E7
AT ITER 1837 NEW BEST:: SOT 123081189 SOS 80670759 HAS SOPS 65741555 HAS SOUS 21658296 HAS SOUPS 21087079 WITH SCORE 2.1167749759E7
AT ITER 1840 NEW BEST:: SOT 123072454 SOS 80658297 HAS SOPS 65724992 HAS SOUS 21634738 HAS SOUPS 21063521 WITH SCORE 2.1144179297E7
AT ITER 1853 NEW BEST:: SOT 123073400 SOS 80662287 HAS SOPS 65742618 HAS SOUS 21629596 HAS SOUPS 21058379 WITH SCORE 2.1139041287E7
AT ITER 1860 NEW BEST:: SOT 123073267 SOS 80661212 HAS SOPS 65742014 HAS SOUS 21629450 HAS SOUPS 21058233 WITH SCORE 2.1138894212E7
AT ITER 1871 NEW BEST:: SOT 123072530 SOS 80659761 HAS SOPS 65740479 HAS SOUS 21627987 HAS SOUPS 21056770 WITH SCORE 2.1137429761E7
AT ITER 1880 NEW BEST:: SOT 123072530 SOS 80661889 HAS SOPS 65741167 HAS SOUS 21627972 HAS SOUPS 21056755 WITH SCORE 2.1137416889E7
AT ITER 1889 NEW BEST:: SOT 123055155 SOS 80643231 HAS SOPS 65725521 HAS SOUS 21584166 HAS SOUPS 21012949 WITH SCORE 2.1093592231E7
AT ITER 1898 NEW BEST:: SOT 123055147 SOS 80643170 HAS SOPS 65725416 HAS SOUS 21584114 HAS SOUPS 21012897 WITH SCORE 2.109354017E7
AT ITER 1921 NEW BEST:: SOT 123044982 SOS 80632517 HAS SOPS 65715608 HAS SOUS 21553509 HAS SOUPS 20982300 WITH SCORE 2.1062932517E7
AT ITER 1933 NEW BEST:: SOT 123010368 SOS 80565624 HAS SOPS 65677320 HAS SOUS 21545884 HAS SOUPS 20974675 WITH SCORE 2.1055240624E7
AT ITER 1941 NEW BEST:: SOT 123009256 SOS 80563628 HAS SOPS 65675442 HAS SOUS 21543784 HAS SOUPS 20972575 WITH SCORE 2.1053138628E7
AT ITER 1950 NEW BEST:: SOT 123013688 SOS 80570020 HAS SOPS 65693233 HAS SOUS 21538976 HAS SOUPS 20967982 WITH SCORE 2.104855202E7
AT ITER 1953 NEW BEST:: SOT 123011188 SOS 80565262 HAS SOPS 65691253 HAS SOUS 21538621 HAS SOUPS 20967681 WITH SCORE 2.1048246262E7
AT ITER 1955 NEW BEST:: SOT 123015118 SOS 80572368 HAS SOPS 65695321 HAS SOUS 21537928 HAS SOUPS 20966988 WITH SCORE 2.1047560368E7
AT ITER 1956 NEW BEST:: SOT 123012468 SOS 80568959 HAS SOPS 65691945 HAS SOUS 21533056 HAS SOUPS 20962127 WITH SCORE 2.1042695959E7
AT ITER 1968 NEW BEST:: SOT 123004477 SOS 80562674 HAS SOPS 65676741 HAS SOUS 21509630 HAS SOUPS 20938575 WITH SCORE 2.1019137674E7
AT ITER 1981 NEW BEST:: SOT 123012326 SOS 80587186 HAS SOPS 65693182 HAS SOUS 21503232 HAS SOUPS 20932177 WITH SCORE 2.1012764186E7
AT ITER 1983 NEW BEST:: SOT 123011723 SOS 80586530 HAS SOPS 65692454 HAS SOUS 21501889 HAS SOUPS 20930845 WITH SCORE 2.101143153E7
AT ITER 1987 NEW BEST:: SOT 123010205 SOS 80584502 HAS SOPS 65690481 HAS SOUS 21499444 HAS SOUPS 20928400 WITH SCORE 2.1008984502E7
AT ITER 1996 NEW BEST:: SOT 123004930 SOS 80577873 HAS SOPS 65680167 HAS SOUS 21482965 HAS SOUPS 20911921 WITH SCORE 2.0992498873E7
AT ITER 2002 NEW BEST:: SOT 122994398 SOS 80563240 HAS SOPS 65670147 HAS SOUS 21470261 HAS SOUPS 20899217 WITH SCORE 2.097978024E7
AT ITER 2011 NEW BEST:: SOT 122994699 SOS 80568019 HAS SOPS 65672219 HAS SOUS 21467134 HAS SOUPS 20896090 WITH SCORE 2.0976658019E7
AT ITER 2012 NEW BEST:: SOT 122976765 SOS 80551005 HAS SOPS 65650341 HAS SOUS 21435130 HAS SOUPS 20862102 WITH SCORE 2.0942653005E7
AT ITER 2023 NEW BEST:: SOT 122968897 SOS 80538191 HAS SOPS 65640704 HAS SOUS 21421812 HAS SOUPS 20849190 WITH SCORE 2.0929728191E7
AT ITER 2031 NEW BEST:: SOT 123007993 SOS 80577287 HAS SOPS 65671640 HAS SOUS 21420108 HAS SOUPS 20842590 WITH SCORE 2.0923167287E7
AT ITER 2034 NEW BEST:: SOT 123000703 SOS 80569320 HAS SOPS 65661194 HAS SOUS 21405190 HAS SOUPS 20827672 WITH SCORE 2.090824132E7
AT ITER 2043 NEW BEST:: SOT 122997028 SOS 80565807 HAS SOPS 65657842 HAS SOUS 21398459 HAS SOUPS 20821067 WITH SCORE 2.0901632807E7
AT ITER 2044 NEW BEST:: SOT 123046495 SOS 80685116 HAS SOPS 65772602 HAS SOUS 21362163 HAS SOUPS 20784771 WITH SCORE 2.0865456116E7
AT ITER 2056 NEW BEST:: SOT 123031139 SOS 80669493 HAS SOPS 65761619 HAS SOUS 21318172 HAS SOUPS 20740780 WITH SCORE 2.0821449493E7
AT ITER 2058 NEW BEST:: SOT 123027071 SOS 80663613 HAS SOPS 65756113 HAS SOUS 21306926 HAS SOUPS 20729540 WITH SCORE 2.0810203613E7
AT ITER 2065 NEW BEST:: SOT 123027095 SOS 80662934 HAS SOPS 65756443 HAS SOUS 21306820 HAS SOUPS 20729434 WITH SCORE 2.0810096934E7
AT ITER 2084 NEW BEST:: SOT 123025930 SOS 80668141 HAS SOPS 65762658 HAS SOUS 21305488 HAS SOUPS 20728102 WITH SCORE 2.0808770141E7
AT ITER 2092 NEW BEST:: SOT 123026216 SOS 80669090 HAS SOPS 65763040 HAS SOUS 21305014 HAS SOUPS 20727628 WITH SCORE 2.080829709E7
AT ITER 2108 NEW BEST:: SOT 123026174 SOS 80667658 HAS SOPS 65761881 HAS SOUS 21303227 HAS SOUPS 20725855 WITH SCORE 2.0806522658E7
AT ITER 2114 NEW BEST:: SOT 123026884 SOS 80671506 HAS SOPS 65765142 HAS SOUS 21289887 HAS SOUPS 20712292 WITH SCORE 2.0792963506E7
AT ITER 2118 NEW BEST:: SOT 123025016 SOS 80668792 HAS SOPS 65760450 HAS SOUS 21284094 HAS SOUPS 20706414 WITH SCORE 2.0787082792E7
AT ITER 2120 NEW BEST:: SOT 123021628 SOS 80663716 HAS SOPS 65757166 HAS SOUS 21279361 HAS SOUPS 20701712 WITH SCORE 2.0782375716E7
AT ITER 2147 NEW BEST:: SOT 123019019 SOS 80659418 HAS SOPS 65751866 HAS SOUS 21273893 HAS SOUPS 20696244 WITH SCORE 2.0776903418E7
AT ITER 2167 NEW BEST:: SOT 123017556 SOS 80655651 HAS SOPS 65755307 HAS SOUS 21272566 HAS SOUPS 20695026 WITH SCORE 2.0775681651E7
AT ITER 2175 NEW BEST:: SOT 123012838 SOS 80649400 HAS SOPS 65748074 HAS SOUS 21261022 HAS SOUPS 20684891 WITH SCORE 2.07655404E7
AT ITER 2197 NEW BEST:: SOT 123022837 SOS 80671456 HAS SOPS 65777416 HAS SOUS 21219312 HAS SOUPS 20643181 WITH SCORE 2.0723852456E7
AT ITER 2205 NEW BEST:: SOT 123029334 SOS 80687527 HAS SOPS 65788469 HAS SOUS 21209195 HAS SOUPS 20633064 WITH SCORE 2.0713751527E7
AT ITER 2206 NEW BEST:: SOT 123016595 SOS 80671587 HAS SOPS 65769347 HAS SOUS 21181516 HAS SOUPS 20605572 WITH SCORE 2.0686243587E7
AT ITER 2216 NEW BEST:: SOT 123001347 SOS 80629192 HAS SOPS 65767610 HAS SOUS 21180570 HAS SOUPS 20604626 WITH SCORE 2.0685255192E7
AT ITER 2222 NEW BEST:: SOT 122997312 SOS 80625407 HAS SOPS 65762884 HAS SOUS 21175059 HAS SOUPS 20598755 WITH SCORE 2.0679380407E7
AT ITER 2263 NEW BEST:: SOT 122994622 SOS 80622717 HAS SOPS 65760510 HAS SOUS 21157538 HAS SOUPS 20581234 WITH SCORE 2.0661856717E7
AT ITER 2268 NEW BEST:: SOT 122996536 SOS 80632302 HAS SOPS 65771164 HAS SOUS 21149196 HAS SOUPS 20573102 WITH SCORE 2.0653734302E7
AT ITER 2275 NEW BEST:: SOT 122984118 SOS 80628533 HAS SOPS 65760839 HAS SOUS 21107754 HAS SOUPS 20531660 WITH SCORE 2.0612288533E7
AT ITER 2284 NEW BEST:: SOT 123028150 SOS 80701502 HAS SOPS 65808736 HAS SOUS 21101561 HAS SOUPS 20525467 WITH SCORE 2.0606168502E7
AT ITER 2293 NEW BEST:: SOT 123026319 SOS 80701972 HAS SOPS 65806269 HAS SOUS 21089913 HAS SOUPS 20513988 WITH SCORE 2.0594689972E7
AT ITER 2323 NEW BEST:: SOT 123022156 SOS 80698380 HAS SOPS 65799552 HAS SOUS 21076723 HAS SOUPS 20500830 WITH SCORE 2.058152838E7
AT ITER 2326 NEW BEST:: SOT 123019907 SOS 80695931 HAS SOPS 65796519 HAS SOUS 21072858 HAS SOUPS 20496973 WITH SCORE 2.0577668931E7
AT ITER 2327 NEW BEST:: SOT 123041971 SOS 80725842 HAS SOPS 65832433 HAS SOUS 21068173 HAS SOUPS 20492372 WITH SCORE 2.0573097842E7
AT ITER 2335 NEW BEST:: SOT 123040938 SOS 80724810 HAS SOPS 65831408 HAS SOUS 21065069 HAS SOUPS 20489275 WITH SCORE 2.056999981E7
AT ITER 2338 NEW BEST:: SOT 123029148 SOS 80708547 HAS SOPS 65814721 HAS SOUS 21037001 HAS SOUPS 20461207 WITH SCORE 2.0541915547E7
AT ITER 2345 NEW BEST:: SOT 123065874 SOS 80718244 HAS SOPS 65828079 HAS SOUS 21032032 HAS SOUPS 20455474 WITH SCORE 2.0536192244E7
AT ITER 2362 NEW BEST:: SOT 123045653 SOS 80673419 HAS SOPS 65799621 HAS SOUS 20994888 HAS SOUPS 20420618 WITH SCORE 2.0501291419E7
AT ITER 2364 NEW BEST:: SOT 123045653 SOS 80673099 HAS SOPS 65799301 HAS SOUS 20994828 HAS SOUPS 20420558 WITH SCORE 2.0501231099E7
AT ITER 2365 NEW BEST:: SOT 123051454 SOS 80681470 HAS SOPS 65802679 HAS SOUS 20981312 HAS SOUPS 20406806 WITH SCORE 2.048748747E7
AT ITER 2393 NEW BEST:: SOT 123052512 SOS 80678119 HAS SOPS 65804682 HAS SOUS 20975683 HAS SOUPS 20401177 WITH SCORE 2.0481855119E7
AT ITER 2404 NEW BEST:: SOT 123058017 SOS 80686754 HAS SOPS 65810582 HAS SOUS 20972094 HAS SOUPS 20397588 WITH SCORE 2.0478274754E7
AT ITER 2415 NEW BEST:: SOT 123052228 SOS 80672877 HAS SOPS 65801444 HAS SOUS 20971367 HAS SOUPS 20396861 WITH SCORE 2.0477533877E7
AT ITER 2422 NEW BEST:: SOT 123052228 SOS 80674483 HAS SOPS 65804773 HAS SOUS 20971248 HAS SOUPS 20396742 WITH SCORE 2.0477416483E7
AT ITER 2426 NEW BEST:: SOT 123053558 SOS 80687836 HAS SOPS 65818046 HAS SOUS 20959009 HAS SOUPS 20384503 WITH SCORE 2.0465190836E7
AT ITER 2436 NEW BEST:: SOT 123066681 SOS 80717230 HAS SOPS 65849460 HAS SOUS 20958305 HAS SOUPS 20382833 WITH SCORE 2.046355023E7
AT ITER 2445 NEW BEST:: SOT 123066163 SOS 80717148 HAS SOPS 65849293 HAS SOUS 20958001 HAS SOUPS 20382516 WITH SCORE 2.0463233148E7
AT ITER 2451 NEW BEST:: SOT 123070090 SOS 80731571 HAS SOPS 65856470 HAS SOUS 20950234 HAS SOUPS 20374673 WITH SCORE 2.0455404571E7
AT ITER 2455 NEW BEST:: SOT 123069409 SOS 80727996 HAS SOPS 65862029 HAS SOUS 20943913 HAS SOUPS 20368352 WITH SCORE 2.0449079996E7
AT ITER 2463 NEW BEST:: SOT 123067829 SOS 80725267 HAS SOPS 65858930 HAS SOUS 20942350 HAS SOUPS 20366789 WITH SCORE 2.0447514267E7
AT ITER 2482 NEW BEST:: SOT 123070847 SOS 80727685 HAS SOPS 65860528 HAS SOUS 20941714 HAS SOUPS 20366153 WITH SCORE 2.0446880685E7
AT ITER 2502 NEW BEST:: SOT 123072146 SOS 80731877 HAS SOPS 65863424 HAS SOUS 20940414 HAS SOUPS 20364853 WITH SCORE 2.0445584877E7
AT ITER 2503 NEW BEST:: SOT 123072047 SOS 80731134 HAS SOPS 65862331 HAS SOUS 20940315 HAS SOUPS 20364747 WITH SCORE 2.0445478134E7
AT ITER 2504 NEW BEST:: SOT 123063037 SOS 80718264 HAS SOPS 65850354 HAS SOUS 20926502 HAS SOUPS 20350934 WITH SCORE 2.0431652264E7
AT ITER 2519 NEW BEST:: SOT 123040483 SOS 80689924 HAS SOPS 65815962 HAS SOUS 20891205 HAS SOUPS 20315736 WITH SCORE 2.0396425924E7
AT ITER 2525 NEW BEST:: SOT 123020498 SOS 80656290 HAS SOPS 65785260 HAS SOUS 20884438 HAS SOUPS 20308969 WITH SCORE 2.038962529E7
AT ITER 2559 NEW BEST:: SOT 123015114 SOS 80640661 HAS SOPS 65770580 HAS SOUS 20879041 HAS SOUPS 20303572 WITH SCORE 2.0384212661E7
AT ITER 2576 NEW BEST:: SOT 123006988 SOS 80641191 HAS SOPS 65767747 HAS SOUS 20834277 HAS SOUPS 20258808 WITH SCORE 2.0339449191E7
AT ITER 2597 NEW BEST:: SOT 123005776 SOS 80653854 HAS SOPS 65780884 HAS SOUS 20774682 HAS SOUPS 20199732 WITH SCORE 2.0280385854E7
AT ITER 2603 NEW BEST:: SOT 123009652 SOS 80670774 HAS SOPS 65791080 HAS SOUS 20761401 HAS SOUPS 20186451 WITH SCORE 2.0267121774E7
AT ITER 2606 NEW BEST:: SOT 122996143 SOS 80643083 HAS SOPS 65771826 HAS SOUS 20740986 HAS SOUPS 20166661 WITH SCORE 2.0247304083E7
AT ITER 2633 NEW BEST:: SOT 122987311 SOS 80634217 HAS SOPS 65762772 HAS SOUS 20730137 HAS SOUPS 20155812 WITH SCORE 2.0236446217E7
AT ITER 2635 NEW BEST:: SOT 122980652 SOS 80631514 HAS SOPS 65759578 HAS SOUS 20728404 HAS SOUPS 20154079 WITH SCORE 2.0234710514E7
AT ITER 2698 NEW BEST:: SOT 122980031 SOS 80631062 HAS SOPS 65758811 HAS SOUS 20726971 HAS SOUPS 20152646 WITH SCORE 2.0233277062E7
AT ITER 2701 NEW BEST:: SOT 122979903 SOS 80616066 HAS SOPS 65742465 HAS SOUS 20726865 HAS SOUPS 20152540 WITH SCORE 2.0233156066E7
AT ITER 2705 NEW BEST:: SOT 122979383 SOS 80615030 HAS SOPS 65742083 HAS SOUS 20726589 HAS SOUPS 20152272 WITH SCORE 2.023288703E7
AT ITER 2708 NEW BEST:: SOT 122977343 SOS 80612968 HAS SOPS 65743871 HAS SOUS 20722550 HAS SOUPS 20148233 WITH SCORE 2.0228845968E7
AT ITER 2726 NEW BEST:: SOT 123003902 SOS 80664375 HAS SOPS 65792442 HAS SOUS 20674198 HAS SOUPS 20099723 WITH SCORE 2.0180387375E7
AT ITER 2736 NEW BEST:: SOT 123003920 SOS 80664693 HAS SOPS 65792643 HAS SOUS 20674169 HAS SOUPS 20099694 WITH SCORE 2.0180358693E7
AT ITER 2739 NEW BEST:: SOT 123020432 SOS 80694207 HAS SOPS 65836637 HAS SOUS 20656639 HAS SOUPS 20082416 WITH SCORE 2.0163110207E7
AT ITER 2753 NEW BEST:: SOT 123019919 SOS 80694689 HAS SOPS 65836878 HAS SOUS 20655113 HAS SOUPS 20080890 WITH SCORE 2.0161584689E7
AT ITER 2785 NEW BEST:: SOT 123019891 SOS 80694707 HAS SOPS 65836871 HAS SOUS 20655038 HAS SOUPS 20080815 WITH SCORE 2.0161509707E7
AT ITER 2812 NEW BEST:: SOT 123020319 SOS 80698073 HAS SOPS 65843057 HAS SOUS 20637780 HAS SOUPS 20063658 WITH SCORE 2.0144356073E7
AT ITER 2825 NEW BEST:: SOT 123020319 SOS 80705545 HAS SOPS 65850529 HAS SOUS 20637766 HAS SOUPS 20063644 WITH SCORE 2.0144349545E7
AT ITER 2829 NEW BEST:: SOT 123020259 SOS 80705487 HAS SOPS 65850470 HAS SOUS 20637642 HAS SOUPS 20063519 WITH SCORE 2.0144224487E7
AT ITER 2832 NEW BEST:: SOT 123027024 SOS 80712067 HAS SOPS 65858987 HAS SOUS 20635638 HAS SOUPS 20061673 WITH SCORE 2.0142385067E7
AT ITER 2834 NEW BEST:: SOT 123027913 SOS 80720763 HAS SOPS 65865512 HAS SOUS 20631112 HAS SOUPS 20057147 WITH SCORE 2.0137867763E7
AT ITER 2837 NEW BEST:: SOT 123031337 SOS 80738206 HAS SOPS 65885070 HAS SOUS 20600856 HAS SOUPS 20026891 WITH SCORE 2.0107629206E7
AT ITER 2840 NEW BEST:: SOT 123031313 SOS 80743254 HAS SOPS 65890798 HAS SOUS 20600601 HAS SOUPS 20026636 WITH SCORE 2.0107379254E7
AT ITER 2853 NEW BEST:: SOT 123015981 SOS 80713632 HAS SOPS 65866237 HAS SOUS 20592785 HAS SOUPS 20018820 WITH SCORE 2.0099533632E7
AT ITER 2857 NEW BEST:: SOT 123015936 SOS 80713587 HAS SOPS 65865997 HAS SOUS 20592649 HAS SOUPS 20018684 WITH SCORE 2.0099397587E7
AT ITER 2884 NEW BEST:: SOT 123001675 SOS 80689137 HAS SOPS 65843372 HAS SOUS 20578360 HAS SOUPS 20004395 WITH SCORE 2.0085084137E7
AT ITER 2888 NEW BEST:: SOT 123001795 SOS 80689257 HAS SOPS 65844068 HAS SOUS 20577680 HAS SOUPS 20004003 WITH SCORE 2.0084692257E7
AT ITER 2897 NEW BEST:: SOT 122947100 SOS 80612976 HAS SOPS 65757796 HAS SOUS 20489776 HAS SOUPS 19916449 WITH SCORE 1.9997061976E7
AT ITER 2970 NEW BEST:: SOT 122842741 SOS 80471383 HAS SOPS 65617184 HAS SOUS 20291841 HAS SOUPS 19718556 WITH SCORE 1.9799027383E7
AT ITER 2993 NEW BEST:: SOT 122842733 SOS 80470781 HAS SOPS 65617289 HAS SOUS 20291824 HAS SOUPS 19718539 WITH SCORE 1.9799009781E7
AT ITER 3008 NEW BEST:: SOT 122843963 SOS 80478518 HAS SOPS 65613271 HAS SOUS 20270817 HAS SOUPS 19697524 WITH SCORE 1.9778002518E7
AT ITER 3010 NEW BEST:: SOT 122838283 SOS 80492608 HAS SOPS 65621036 HAS SOUS 20268283 HAS SOUPS 19694990 WITH SCORE 1.9775482608E7
AT ITER 3012 NEW BEST:: SOT 122840092 SOS 80502691 HAS SOPS 65626398 HAS SOUS 20257110 HAS SOUPS 19683817 WITH SCORE 1.9764319691E7
AT ITER 3024 NEW BEST:: SOT 122836174 SOS 80498517 HAS SOPS 65621712 HAS SOUS 20249052 HAS SOUPS 19675759 WITH SCORE 1.9756257517E7
AT ITER 3030 NEW BEST:: SOT 122841139 SOS 80513837 HAS SOPS 65644498 HAS SOUS 20242092 HAS SOUPS 19668900 WITH SCORE 1.9749413837E7
AT ITER 3038 NEW BEST:: SOT 122840383 SOS 80513242 HAS SOPS 65643445 HAS SOUS 20239987 HAS SOUPS 19666795 WITH SCORE 1.9747308242E7
AT ITER 3040 NEW BEST:: SOT 122840162 SOS 80512821 HAS SOPS 65642499 HAS SOUS 20239221 HAS SOUPS 19666029 WITH SCORE 1.9746541821E7
AT ITER 3058 NEW BEST:: SOT 122834058 SOS 80503710 HAS SOPS 65633657 HAS SOUS 20230993 HAS SOUPS 19657801 WITH SCORE 1.973830471E7
AT ITER 3074 NEW BEST:: SOT 122831551 SOS 80499771 HAS SOPS 65627468 HAS SOUS 20223957 HAS SOUPS 19650765 WITH SCORE 1.9731264771E7
AT ITER 3078 NEW BEST:: SOT 122831577 SOS 80509233 HAS SOPS 65635794 HAS SOUS 20223673 HAS SOUPS 19650481 WITH SCORE 1.9730990233E7
AT ITER 3087 NEW BEST:: SOT 122830664 SOS 80513453 HAS SOPS 65651358 HAS SOUS 20170506 HAS SOUPS 19597099 WITH SCORE 1.9677612453E7
AT ITER 3100 NEW BEST:: SOT 122852535 SOS 80546077 HAS SOPS 65688444 HAS SOUS 20159412 HAS SOUPS 19586438 WITH SCORE 1.9666984077E7
AT ITER 3137 NEW BEST:: SOT 122847836 SOS 80537335 HAS SOPS 65682670 HAS SOUS 20153686 HAS SOUPS 19580712 WITH SCORE 1.9661249335E7
AT ITER 3145 NEW BEST:: SOT 122839858 SOS 80528220 HAS SOPS 65673555 HAS SOUS 20138681 HAS SOUPS 19565707 WITH SCORE 1.964623522E7
AT ITER 3169 NEW BEST:: SOT 122866582 SOS 80576859 HAS SOPS 65716576 HAS SOUS 20135191 HAS SOUPS 19562217 WITH SCORE 1.9642793859E7
AT ITER 3170 NEW BEST:: SOT 122856013 SOS 80562846 HAS SOPS 65703437 HAS SOUS 20117519 HAS SOUPS 19544598 WITH SCORE 1.9625160846E7
AT ITER 3177 NEW BEST:: SOT 122851098 SOS 80557327 HAS SOPS 65698380 HAS SOUS 20113678 HAS SOUPS 19540757 WITH SCORE 1.9621314327E7
AT ITER 3179 NEW BEST:: SOT 122841822 SOS 80547694 HAS SOPS 65688747 HAS SOUS 20104343 HAS SOUPS 19531422 WITH SCORE 1.9611969694E7
AT ITER 3190 NEW BEST:: SOT 122834571 SOS 80543614 HAS SOPS 65697831 HAS SOUS 20093330 HAS SOUPS 19520409 WITH SCORE 1.9600952614E7
AT ITER 3194 NEW BEST:: SOT 122831676 SOS 80536919 HAS SOPS 65692615 HAS SOUS 20088856 HAS SOUPS 19515935 WITH SCORE 1.9596471919E7
AT ITER 3213 NEW BEST:: SOT 122838142 SOS 80554813 HAS SOPS 65709573 HAS SOUS 20087066 HAS SOUPS 19514145 WITH SCORE 1.9594699813E7
AT ITER 3224 NEW BEST:: SOT 122821055 SOS 80537660 HAS SOPS 65691621 HAS SOUS 20069331 HAS SOUPS 19496347 WITH SCORE 1.957688466E7
AT ITER 3228 NEW BEST:: SOT 122825612 SOS 80547687 HAS SOPS 65699963 HAS SOUS 20067892 HAS SOUPS 19494908 WITH SCORE 1.9575455687E7
AT ITER 3239 NEW BEST:: SOT 122836025 SOS 80571878 HAS SOPS 65721428 HAS SOUS 20062406 HAS SOUPS 19489422 WITH SCORE 1.9569993878E7
AT ITER 3251 NEW BEST:: SOT 122835283 SOS 80570935 HAS SOPS 65720284 HAS SOUS 20060884 HAS SOUPS 19487909 WITH SCORE 1.9568479935E7
AT ITER 3254 NEW BEST:: SOT 122833408 SOS 80552641 HAS SOPS 65706642 HAS SOUS 20060152 HAS SOUPS 19487177 WITH SCORE 1.9567729641E7
AT ITER 3267 NEW BEST:: SOT 122832420 SOS 80558994 HAS SOPS 65705871 HAS SOUS 20041683 HAS SOUPS 19468708 WITH SCORE 1.9549266994E7
AT ITER 3289 NEW BEST:: SOT 122832117 SOS 80553184 HAS SOPS 65690850 HAS SOUS 20027499 HAS SOUPS 19454346 WITH SCORE 1.9534899184E7
AT ITER 3322 NEW BEST:: SOT 122836917 SOS 80574167 HAS SOPS 65707547 HAS SOUS 20024388 HAS SOUPS 19451235 WITH SCORE 1.9531809167E7
AT ITER 3329 NEW BEST:: SOT 122832337 SOS 80568329 HAS SOPS 65702545 HAS SOUS 20010287 HAS SOUPS 19437223 WITH SCORE 1.9517791329E7
AT ITER 3336 NEW BEST:: SOT 122817363 SOS 80550901 HAS SOPS 65686501 HAS SOUS 19991646 HAS SOUPS 19418653 WITH SCORE 1.9499203901E7
AT ITER 3345 NEW BEST:: SOT 122810299 SOS 80543001 HAS SOPS 65678000 HAS SOUS 19975253 HAS SOUPS 19403002 WITH SCORE 1.9483545001E7
AT ITER 3358 NEW BEST:: SOT 122813694 SOS 80552163 HAS SOPS 65681838 HAS SOUS 19972408 HAS SOUPS 19400157 WITH SCORE 1.9480709163E7
AT ITER 3363 NEW BEST:: SOT 122833540 SOS 80588120 HAS SOPS 65711684 HAS SOUS 19956822 HAS SOUPS 19384601 WITH SCORE 1.946518912E7
AT ITER 3368 NEW BEST:: SOT 122805267 SOS 80543684 HAS SOPS 65670613 HAS SOUS 19918217 HAS SOUPS 19346002 WITH SCORE 1.9426545684E7
AT ITER 3420 NEW BEST:: SOT 122809682 SOS 80546394 HAS SOPS 65673589 HAS SOUS 19865068 HAS SOUPS 19293029 WITH SCORE 1.9373575394E7
AT ITER 3423 NEW BEST:: SOT 122807990 SOS 80544250 HAS SOPS 65671589 HAS SOUS 19861647 HAS SOUPS 19289608 WITH SCORE 1.937015225E7
AT ITER 3433 NEW BEST:: SOT 122810966 SOS 80543839 HAS SOPS 65674914 HAS SOUS 19855875 HAS SOUPS 19284072 WITH SCORE 1.9364615839E7
AT ITER 3442 NEW BEST:: SOT 122811222 SOS 80546258 HAS SOPS 65674764 HAS SOUS 19849180 HAS SOUPS 19277377 WITH SCORE 1.9357923258E7
AT ITER 3445 NEW BEST:: SOT 122806850 SOS 80543000 HAS SOPS 65669344 HAS SOUS 19840425 HAS SOUPS 19268622 WITH SCORE 1.9349165E7
AT ITER 3452 NEW BEST:: SOT 122812498 SOS 80550981 HAS SOPS 65674159 HAS SOUS 19838929 HAS SOUPS 19267105 WITH SCORE 1.9347655981E7
AT ITER 3459 NEW BEST:: SOT 122812117 SOS 80551063 HAS SOPS 65672034 HAS SOUS 19836628 HAS SOUPS 19264804 WITH SCORE 1.9345355063E7
AT ITER 3484 NEW BEST:: SOT 122814033 SOS 80555904 HAS SOPS 65673290 HAS SOUS 19831021 HAS SOUPS 19259197 WITH SCORE 1.9339752904E7
AT ITER 3497 NEW BEST:: SOT 122815766 SOS 80547706 HAS SOPS 65662326 HAS SOUS 19808082 HAS SOUPS 19236376 WITH SCORE 1.9316923706E7
AT ITER 3509 NEW BEST:: SOT 122815766 SOS 80547866 HAS SOPS 65665382 HAS SOUS 19808024 HAS SOUPS 19236318 WITH SCORE 1.9316865866E7
AT ITER 3526 NEW BEST:: SOT 122784547 SOS 80511816 HAS SOPS 65632483 HAS SOUS 19775634 HAS SOUPS 19203867 WITH SCORE 1.9284378816E7
AT ITER 3528 NEW BEST:: SOT 122782001 SOS 80509389 HAS SOPS 65627612 HAS SOUS 19772625 HAS SOUPS 19200820 WITH SCORE 1.9281329389E7
AT ITER 3533 NEW BEST:: SOT 122769402 SOS 80498606 HAS SOPS 65604451 HAS SOUS 19705695 HAS SOUPS 19133727 WITH SCORE 1.9214225606E7
AT ITER 3545 NEW BEST:: SOT 122776673 SOS 80540029 HAS SOPS 65634542 HAS SOUS 19655951 HAS SOUPS 19082195 WITH SCORE 1.9162735029E7
AT ITER 3565 NEW BEST:: SOT 122765172 SOS 80511061 HAS SOPS 65612382 HAS SOUS 19651105 HAS SOUPS 19077365 WITH SCORE 1.9157876061E7
AT ITER 3567 NEW BEST:: SOT 122767542 SOS 80516773 HAS SOPS 65615475 HAS SOUS 19642998 HAS SOUPS 19069300 WITH SCORE 1.9149816773E7
AT ITER 3572 NEW BEST:: SOT 122766974 SOS 80516509 HAS SOPS 65615851 HAS SOUS 19641489 HAS SOUPS 19067791 WITH SCORE 1.9148307509E7
AT ITER 3581 NEW BEST:: SOT 122771498 SOS 80527228 HAS SOPS 65625730 HAS SOUS 19636163 HAS SOUPS 19062998 WITH SCORE 1.9143525228E7
AT ITER 3585 NEW BEST:: SOT 122770916 SOS 80526625 HAS SOPS 65624980 HAS SOUS 19632485 HAS SOUPS 19059320 WITH SCORE 1.9139846625E7
AT ITER 3586 NEW BEST:: SOT 122769988 SOS 80525804 HAS SOPS 65624375 HAS SOUS 19628828 HAS SOUPS 19055999 WITH SCORE 1.9136524804E7
AT ITER 3587 NEW BEST:: SOT 122729265 SOS 80483781 HAS SOPS 65581702 HAS SOUS 19579945 HAS SOUPS 19007199 WITH SCORE 1.9087682781E7
AT ITER 3615 NEW BEST:: SOT 122729017 SOS 80483551 HAS SOPS 65582304 HAS SOUS 19579854 HAS SOUPS 19007108 WITH SCORE 1.9087591551E7
AT ITER 3630 NEW BEST:: SOT 122729025 SOS 80499912 HAS SOPS 65604424 HAS SOUS 19579512 HAS SOUPS 19006766 WITH SCORE 1.9087265912E7
AT ITER 3646 NEW BEST:: SOT 122727072 SOS 80497655 HAS SOPS 65601579 HAS SOUS 19575582 HAS SOUPS 19002857 WITH SCORE 1.9083354655E7
AT ITER 3677 NEW BEST:: SOT 122718366 SOS 80486328 HAS SOPS 65592088 HAS SOUS 19572248 HAS SOUPS 18999843 WITH SCORE 1.9080329328E7
AT ITER 3683 NEW BEST:: SOT 122709842 SOS 80472978 HAS SOPS 65577640 HAS SOUS 19559970 HAS SOUPS 18987694 WITH SCORE 1.9068166978E7
AT ITER 3696 NEW BEST:: SOT 122698412 SOS 80461257 HAS SOPS 65566048 HAS SOUS 19548303 HAS SOUPS 18976156 WITH SCORE 1.9056617257E7
AT ITER 3700 NEW BEST:: SOT 122682833 SOS 80455171 HAS SOPS 65565274 HAS SOUS 19516473 HAS SOUPS 18944326 WITH SCORE 1.9024781171E7
AT ITER 3702 NEW BEST:: SOT 122683296 SOS 80496596 HAS SOPS 65615802 HAS SOUS 19516429 HAS SOUPS 18944282 WITH SCORE 1.9024778596E7
AT ITER 3707 NEW BEST:: SOT 122625301 SOS 80428280 HAS SOPS 65549218 HAS SOUS 19446030 HAS SOUPS 18874191 WITH SCORE 1.895461928E7
AT ITER 3712 NEW BEST:: SOT 122633390 SOS 80448207 HAS SOPS 65551831 HAS SOUS 19434090 HAS SOUPS 18862488 WITH SCORE 1.8942936207E7
AT ITER 3729 NEW BEST:: SOT 122630564 SOS 80445763 HAS SOPS 65552942 HAS SOUS 19425336 HAS SOUPS 18853842 WITH SCORE 1.8934287763E7
AT ITER 3763 NEW BEST:: SOT 122627003 SOS 80441060 HAS SOPS 65548779 HAS SOUS 19424167 HAS SOUPS 18852652 WITH SCORE 1.893309306E7
AT ITER 3780 NEW BEST:: SOT 122618579 SOS 80423283 HAS SOPS 65535217 HAS SOUS 19416272 HAS SOUPS 18844701 WITH SCORE 1.8925124283E7
AT ITER 3794 NEW BEST:: SOT 122603371 SOS 80408952 HAS SOPS 65515074 HAS SOUS 19369803 HAS SOUPS 18798232 WITH SCORE 1.8878640952E7
AT ITER 3805 NEW BEST:: SOT 122604400 SOS 80410261 HAS SOPS 65517801 HAS SOUS 19365787 HAS SOUPS 18794162 WITH SCORE 1.8874572261E7
AT ITER 3853 NEW BEST:: SOT 122599549 SOS 80404730 HAS SOPS 65512619 HAS SOUS 19354436 HAS SOUPS 18782878 WITH SCORE 1.886328273E7
AT ITER 3854 NEW BEST:: SOT 122596868 SOS 80404443 HAS SOPS 65510462 HAS SOUS 19334886 HAS SOUPS 18762688 WITH SCORE 1.8843092443E7
AT ITER 3855 NEW BEST:: SOT 122596868 SOS 80405431 HAS SOPS 65511450 HAS SOUS 19334743 HAS SOUPS 18762545 WITH SCORE 1.8842950431E7
AT ITER 3863 NEW BEST:: SOT 122598248 SOS 80413182 HAS SOPS 65516796 HAS SOUS 19329256 HAS SOUPS 18757058 WITH SCORE 1.8837471182E7
AT ITER 3865 NEW BEST:: SOT 122598306 SOS 80413225 HAS SOPS 65517238 HAS SOUS 19328242 HAS SOUPS 18756492 WITH SCORE 1.8836905225E7
AT ITER 3866 NEW BEST:: SOT 122590534 SOS 80400329 HAS SOPS 65499169 HAS SOUS 19303230 HAS SOUPS 18731643 WITH SCORE 1.8812043329E7
AT ITER 3870 NEW BEST:: SOT 122590393 SOS 80401315 HAS SOPS 65501149 HAS SOUS 19289812 HAS SOUPS 18718425 WITH SCORE 1.8798826315E7
AT ITER 3875 NEW BEST:: SOT 122589086 SOS 80398781 HAS SOPS 65498445 HAS SOUS 19288394 HAS SOUPS 18717007 WITH SCORE 1.8797405781E7
AT ITER 3878 NEW BEST:: SOT 122555901 SOS 80346107 HAS SOPS 65465911 HAS SOUS 19257960 HAS SOUPS 18686573 WITH SCORE 1.8766919107E7
AT ITER 3899 NEW BEST:: SOT 122555634 SOS 80343327 HAS SOPS 65461934 HAS SOUS 19253829 HAS SOUPS 18683054 WITH SCORE 1.8763397327E7
AT ITER 3904 NEW BEST:: SOT 122556153 SOS 80348242 HAS SOPS 65471661 HAS SOUS 19247277 HAS SOUPS 18676579 WITH SCORE 1.8756927242E7
AT ITER 3928 NEW BEST:: SOT 122552528 SOS 80332795 HAS SOPS 65472034 HAS SOUS 19231301 HAS SOUPS 18660759 WITH SCORE 1.8741091795E7
AT ITER 3933 NEW BEST:: SOT 122604811 SOS 80411607 HAS SOPS 65555739 HAS SOUS 19206543 HAS SOUPS 18636394 WITH SCORE 1.8716805607E7
AT ITER 3940 NEW BEST:: SOT 122604827 SOS 80412401 HAS SOPS 65556293 HAS SOUS 19206535 HAS SOUPS 18636386 WITH SCORE 1.8716798401E7
AT ITER 3945 NEW BEST:: SOT 122598863 SOS 80406396 HAS SOPS 65548057 HAS SOUS 19194416 HAS SOUPS 18624235 WITH SCORE 1.8704641396E7
AT ITER 3957 NEW BEST:: SOT 122598908 SOS 80406443 HAS SOPS 65548097 HAS SOUS 19194345 HAS SOUPS 18624164 WITH SCORE 1.8704570443E7
AT ITER 3972 NEW BEST:: SOT 122594636 SOS 80400194 HAS SOPS 65538393 HAS SOUS 19182699 HAS SOUPS 18612518 WITH SCORE 1.8692918194E7
AT ITER 3977 NEW BEST:: SOT 122574783 SOS 80378297 HAS SOPS 65513864 HAS SOUS 19148364 HAS SOUPS 18578183 WITH SCORE 1.8658561297E7
AT ITER 3980 NEW BEST:: SOT 122564322 SOS 80368154 HAS SOPS 65501893 HAS SOUS 19127703 HAS SOUPS 18557582 WITH SCORE 1.8637950154E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 14209568 kB
After kill :
MemTotal: 16393216 kB
MemFree: 15957560 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-7"
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-7, 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-167889204200200"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb115-PT-7.tgz
mv RERS17pb115-PT-7 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 ;