Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 71M
-rw-r--r-- 1 mcc users 8.4K Feb 26 08:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 95K Feb 26 08:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.5K Feb 26 08:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 65K Feb 26 08:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:40 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:40 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.8K Feb 26 08:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 71K Feb 26 08:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 08:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 84K Feb 26 08:42 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:40 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:40 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 70M 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 1679488062656

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

Filename model.pnml
Petri model created: 1276 places, 125387 transitions, 499222 arcs.
AT ITER 0 NEW BEST:: SOT 91163086 SOS 50313407 HAS SOPS 46283920 HAS SOUS 13897972 HAS SOUPS 13834823 WITH SCORE 1.3885136407E7
AT ITER 15 NEW BEST:: SOT 91161896 SOS 50310057 HAS SOPS 46277255 HAS SOUS 13888841 HAS SOUPS 13825692 WITH SCORE 1.3876002057E7
AT ITER 30 NEW BEST:: SOT 91164282 SOS 50312709 HAS SOPS 46279890 HAS SOUS 13886734 HAS SOUPS 13823585 WITH SCORE 1.3873897709E7
AT ITER 35 NEW BEST:: SOT 91162514 SOS 50298683 HAS SOPS 46266087 HAS SOUS 13881641 HAS SOUPS 13818430 WITH SCORE 1.3868728683E7
AT ITER 36 NEW BEST:: SOT 91171542 SOS 50313167 HAS SOPS 46282561 HAS SOUS 13876857 HAS SOUPS 13813646 WITH SCORE 1.3863959167E7
AT ITER 39 NEW BEST:: SOT 91141683 SOS 50238046 HAS SOPS 46201045 HAS SOUS 13871799 HAS SOUPS 13808808 WITH SCORE 1.3859046046E7
AT ITER 63 NEW BEST:: SOT 91145400 SOS 50167976 HAS SOPS 46127519 HAS SOUS 13863925 HAS SOUPS 13800934 WITH SCORE 1.3851101976E7
AT ITER 78 NEW BEST:: SOT 91152241 SOS 50175450 HAS SOPS 46140857 HAS SOUS 13855304 HAS SOUPS 13792313 WITH SCORE 1.384248845E7
AT ITER 79 NEW BEST:: SOT 91151462 SOS 50174736 HAS SOPS 46139955 HAS SOUS 13855034 HAS SOUPS 13791990 WITH SCORE 1.3842164736E7
AT ITER 85 NEW BEST:: SOT 91151076 SOS 50172602 HAS SOPS 46138695 HAS SOUS 13854422 HAS SOUPS 13791448 WITH SCORE 1.3841620602E7
AT ITER 86 NEW BEST:: SOT 91159077 SOS 50111397 HAS SOPS 46075656 HAS SOUS 13841093 HAS SOUPS 13778119 WITH SCORE 1.3828230397E7
AT ITER 91 NEW BEST:: SOT 91229022 SOS 50194064 HAS SOPS 46167986 HAS SOUS 13831486 HAS SOUPS 13768781 WITH SCORE 1.3818975064E7
AT ITER 98 NEW BEST:: SOT 91227651 SOS 50192686 HAS SOPS 46166234 HAS SOUS 13826758 HAS SOUPS 13764053 WITH SCORE 1.3814245686E7
AT ITER 101 NEW BEST:: SOT 91227060 SOS 50192086 HAS SOPS 46165268 HAS SOUS 13824715 HAS SOUPS 13762010 WITH SCORE 1.3812202086E7
AT ITER 115 NEW BEST:: SOT 91226724 SOS 50191736 HAS SOPS 46164890 HAS SOUS 13824617 HAS SOUPS 13761912 WITH SCORE 1.3812103736E7
AT ITER 121 NEW BEST:: SOT 91202931 SOS 50167679 HAS SOPS 46141914 HAS SOUS 13802511 HAS SOUPS 13739882 WITH SCORE 1.3790049679E7
AT ITER 124 NEW BEST:: SOT 91189670 SOS 50113423 HAS SOPS 46069633 HAS SOUS 13772382 HAS SOUPS 13710056 WITH SCORE 1.3760169423E7
AT ITER 125 NEW BEST:: SOT 91201439 SOS 50120443 HAS SOPS 46070826 HAS SOUS 13749859 HAS SOUPS 13687288 WITH SCORE 1.3737408443E7
AT ITER 132 NEW BEST:: SOT 91196510 SOS 50115768 HAS SOPS 46065539 HAS SOUS 13739718 HAS SOUPS 13677147 WITH SCORE 1.3727262768E7
AT ITER 147 NEW BEST:: SOT 91179993 SOS 50076313 HAS SOPS 46042060 HAS SOUS 13726832 HAS SOUPS 13664310 WITH SCORE 1.3714386313E7
AT ITER 151 NEW BEST:: SOT 91174145 SOS 50070405 HAS SOPS 46034772 HAS SOUS 13721553 HAS SOUPS 13659031 WITH SCORE 1.3709101405E7
AT ITER 155 NEW BEST:: SOT 91174029 SOS 50069535 HAS SOPS 46033902 HAS SOUS 13721089 HAS SOUPS 13658567 WITH SCORE 1.3708636535E7
AT ITER 160 NEW BEST:: SOT 91174035 SOS 50069467 HAS SOPS 46033834 HAS SOUS 13720832 HAS SOUPS 13658310 WITH SCORE 1.3708379467E7
AT ITER 161 NEW BEST:: SOT 91261262 SOS 50153932 HAS SOPS 46106082 HAS SOUS 13693166 HAS SOUPS 13630867 WITH SCORE 1.3681020932E7
AT ITER 169 NEW BEST:: SOT 91260913 SOS 50153574 HAS SOPS 46105673 HAS SOUS 13692918 HAS SOUPS 13630619 WITH SCORE 1.3680772574E7
AT ITER 174 NEW BEST:: SOT 91227128 SOS 50119806 HAS SOPS 46072120 HAS SOUS 13686499 HAS SOUPS 13624256 WITH SCORE 1.3674375806E7
AT ITER 198 NEW BEST:: SOT 91227004 SOS 50117453 HAS SOPS 46071383 HAS SOUS 13685550 HAS SOUPS 13623438 WITH SCORE 1.3673555453E7
AT ITER 202 NEW BEST:: SOT 91226558 SOS 50117181 HAS SOPS 46071011 HAS SOUS 13683241 HAS SOUPS 13621129 WITH SCORE 1.3671246181E7
AT ITER 215 NEW BEST:: SOT 91226714 SOS 50117285 HAS SOPS 46071115 HAS SOUS 13683085 HAS SOUPS 13620973 WITH SCORE 1.3671090285E7
AT ITER 232 NEW BEST:: SOT 91225657 SOS 50116228 HAS SOPS 46067891 HAS SOUS 13682432 HAS SOUPS 13620320 WITH SCORE 1.3670436228E7
AT ITER 237 NEW BEST:: SOT 91225657 SOS 50116228 HAS SOPS 46067891 HAS SOUS 13682421 HAS SOUPS 13620309 WITH SCORE 1.3670425228E7
AT ITER 243 NEW BEST:: SOT 91232406 SOS 50393940 HAS SOPS 46343475 HAS SOUS 13680860 HAS SOUPS 13618376 WITH SCORE 1.366876994E7
AT ITER 248 NEW BEST:: SOT 91232397 SOS 50390478 HAS SOPS 46341990 HAS SOUS 13679555 HAS SOUPS 13617233 WITH SCORE 1.3667623478E7
AT ITER 253 NEW BEST:: SOT 91237234 SOS 50398110 HAS SOPS 46332768 HAS SOUS 13637086 HAS SOUPS 13574526 WITH SCORE 1.362492411E7
AT ITER 298 NEW BEST:: SOT 91217800 SOS 50510913 HAS SOPS 46447228 HAS SOUS 13621613 HAS SOUPS 13559053 WITH SCORE 1.3609563913E7
AT ITER 314 NEW BEST:: SOT 91213035 SOS 50508959 HAS SOPS 46444036 HAS SOUS 13603616 HAS SOUPS 13541056 WITH SCORE 1.3591564959E7
AT ITER 325 NEW BEST:: SOT 91213044 SOS 50508969 HAS SOPS 46444044 HAS SOUS 13603610 HAS SOUPS 13541050 WITH SCORE 1.3591558969E7
AT ITER 343 NEW BEST:: SOT 91242420 SOS 50526933 HAS SOPS 46476066 HAS SOUS 13581120 HAS SOUPS 13519564 WITH SCORE 1.3570090933E7
AT ITER 363 NEW BEST:: SOT 91242267 SOS 50526849 HAS SOPS 46475817 HAS SOUS 13579075 HAS SOUPS 13517519 WITH SCORE 1.3568045849E7
AT ITER 373 NEW BEST:: SOT 91242149 SOS 50526745 HAS SOPS 46475713 HAS SOUS 13578877 HAS SOUPS 13517321 WITH SCORE 1.3567847745E7
AT ITER 375 NEW BEST:: SOT 91226643 SOS 50511239 HAS SOPS 46457081 HAS SOUS 13558878 HAS SOUPS 13497322 WITH SCORE 1.3547833239E7
AT ITER 380 NEW BEST:: SOT 91260397 SOS 50559439 HAS SOPS 46492200 HAS SOUS 13551843 HAS SOUPS 13490350 WITH SCORE 1.3540909439E7
AT ITER 386 NEW BEST:: SOT 91260392 SOS 50559444 HAS SOPS 46492135 HAS SOUS 13551813 HAS SOUPS 13490315 WITH SCORE 1.3540874444E7
AT ITER 398 NEW BEST:: SOT 91260754 SOS 50559808 HAS SOPS 46492418 HAS SOUS 13551454 HAS SOUPS 13489956 WITH SCORE 1.3540515808E7
AT ITER 404 NEW BEST:: SOT 91095760 SOS 50395254 HAS SOPS 46327852 HAS SOUS 13386688 HAS SOUPS 13325190 WITH SCORE 1.3375585254E7
AT ITER 410 NEW BEST:: SOT 91095140 SOS 50394506 HAS SOPS 46326743 HAS SOUS 13384764 HAS SOUPS 13323266 WITH SCORE 1.3373660506E7
AT ITER 425 NEW BEST:: SOT 91095180 SOS 50386659 HAS SOPS 46314699 HAS SOUS 13384329 HAS SOUPS 13322831 WITH SCORE 1.3373217659E7
AT ITER 426 NEW BEST:: SOT 91105626 SOS 50398050 HAS SOPS 46317250 HAS SOUS 13360450 HAS SOUPS 13299106 WITH SCORE 1.334950405E7
AT ITER 431 NEW BEST:: SOT 91104871 SOS 50397295 HAS SOPS 46316467 HAS SOUS 13358508 HAS SOUPS 13297164 WITH SCORE 1.3347561295E7
AT ITER 475 NEW BEST:: SOT 90974623 SOS 50266763 HAS SOPS 46184587 HAS SOUS 13227619 HAS SOUPS 13165058 WITH SCORE 1.3215324763E7
AT ITER 530 NEW BEST:: SOT 90974212 SOS 50266352 HAS SOPS 46183791 HAS SOUS 13223321 HAS SOUPS 13160760 WITH SCORE 1.3211026352E7
AT ITER 531 NEW BEST:: SOT 90977160 SOS 50269332 HAS SOPS 46186778 HAS SOUS 13221462 HAS SOUPS 13158912 WITH SCORE 1.3209181332E7
AT ITER 532 NEW BEST:: SOT 90980103 SOS 50262640 HAS SOPS 46185550 HAS SOUS 13203527 HAS SOUPS 13140940 WITH SCORE 1.319120264E7
AT ITER 537 NEW BEST:: SOT 90980103 SOS 50169493 HAS SOPS 46092403 HAS SOUS 13203527 HAS SOUPS 13140940 WITH SCORE 1.3191109493E7
AT ITER 549 NEW BEST:: SOT 90981184 SOS 50163006 HAS SOPS 46088286 HAS SOUS 13201328 HAS SOUPS 13138917 WITH SCORE 1.3189080006E7
AT ITER 560 NEW BEST:: SOT 90994260 SOS 50184194 HAS SOPS 46100164 HAS SOUS 13196724 HAS SOUPS 13134278 WITH SCORE 1.3184462194E7
AT ITER 568 NEW BEST:: SOT 90997537 SOS 50189541 HAS SOPS 46104596 HAS SOUS 13192083 HAS SOUPS 13129675 WITH SCORE 1.3179864541E7
AT ITER 578 NEW BEST:: SOT 91009714 SOS 50187868 HAS SOPS 46102639 HAS SOUS 13179411 HAS SOUPS 13116835 WITH SCORE 1.3167022868E7
AT ITER 579 NEW BEST:: SOT 91017311 SOS 50195579 HAS SOPS 46109162 HAS SOUS 13160140 HAS SOUPS 13097564 WITH SCORE 1.3147759579E7
AT ITER 587 NEW BEST:: SOT 91017311 SOS 50195579 HAS SOPS 46109162 HAS SOUS 13160128 HAS SOUPS 13097552 WITH SCORE 1.3147747579E7
AT ITER 589 NEW BEST:: SOT 91011301 SOS 50189428 HAS SOPS 46102306 HAS SOUS 13159801 HAS SOUPS 13097225 WITH SCORE 1.3147414428E7
AT ITER 606 NEW BEST:: SOT 91011983 SOS 50184974 HAS SOPS 46097852 HAS SOUS 13159495 HAS SOUPS 13096919 WITH SCORE 1.3147103974E7
AT ITER 607 NEW BEST:: SOT 90986466 SOS 50044997 HAS SOPS 45953589 HAS SOUS 13154584 HAS SOUPS 13092008 WITH SCORE 1.3142052997E7
AT ITER 620 NEW BEST:: SOT 90986893 SOS 50048800 HAS SOPS 45957392 HAS SOUS 13154501 HAS SOUPS 13091925 WITH SCORE 1.31419738E7
AT ITER 624 NEW BEST:: SOT 90987677 SOS 50049520 HAS SOPS 45958080 HAS SOUS 13152541 HAS SOUPS 13089965 WITH SCORE 1.314001452E7
AT ITER 631 NEW BEST:: SOT 90987862 SOS 50071394 HAS SOPS 45976265 HAS SOUS 13144223 HAS SOUPS 13081647 WITH SCORE 1.3131718394E7
AT ITER 638 NEW BEST:: SOT 90988283 SOS 50070810 HAS SOPS 45975681 HAS SOUS 13143808 HAS SOUPS 13081232 WITH SCORE 1.313130281E7
AT ITER 649 NEW BEST:: SOT 90910178 SOS 50039838 HAS SOPS 45947554 HAS SOUS 13090449 HAS SOUPS 13027873 WITH SCORE 1.3077912838E7
AT ITER 666 NEW BEST:: SOT 90910456 SOS 50040070 HAS SOPS 45947822 HAS SOUS 13089919 HAS SOUPS 13027343 WITH SCORE 1.307738307E7
AT ITER 680 NEW BEST:: SOT 90918304 SOS 49807616 HAS SOPS 45704364 HAS SOUS 13047142 HAS SOUPS 12984566 WITH SCORE 1.3034373616E7
AT ITER 694 NEW BEST:: SOT 90927809 SOS 49739780 HAS SOPS 45635917 HAS SOUS 13038070 HAS SOUPS 12975494 WITH SCORE 1.302523378E7
AT ITER 695 NEW BEST:: SOT 90918960 SOS 49707219 HAS SOPS 45602864 HAS SOUS 13011553 HAS SOUPS 12948849 WITH SCORE 1.2998556219E7
AT ITER 697 NEW BEST:: SOT 90922324 SOS 49660409 HAS SOPS 45533190 HAS SOUS 12973380 HAS SOUPS 12910765 WITH SCORE 1.2960425409E7
AT ITER 707 NEW BEST:: SOT 90922862 SOS 49660997 HAS SOPS 45533759 HAS SOUS 12973317 HAS SOUPS 12910693 WITH SCORE 1.2960353997E7
AT ITER 712 NEW BEST:: SOT 90898663 SOS 49632996 HAS SOPS 45498789 HAS SOUS 12945264 HAS SOUPS 12882568 WITH SCORE 1.2932200996E7
AT ITER 722 NEW BEST:: SOT 90898186 SOS 49894804 HAS SOPS 45652391 HAS SOUS 12930408 HAS SOUPS 12867429 WITH SCORE 1.2917323804E7
AT ITER 723 NEW BEST:: SOT 90899664 SOS 49896282 HAS SOPS 45653913 HAS SOUS 12929339 HAS SOUPS 12866381 WITH SCORE 1.2916277282E7
AT ITER 741 NEW BEST:: SOT 90899769 SOS 49895322 HAS SOPS 45652953 HAS SOUS 12928540 HAS SOUPS 12865582 WITH SCORE 1.2915477322E7
AT ITER 752 NEW BEST:: SOT 90900020 SOS 49894718 HAS SOPS 45652349 HAS SOUS 12928338 HAS SOUPS 12865380 WITH SCORE 1.2915274718E7
AT ITER 753 NEW BEST:: SOT 90899699 SOS 49892816 HAS SOPS 45651644 HAS SOUS 12927685 HAS SOUPS 12864818 WITH SCORE 1.2914710816E7
AT ITER 757 NEW BEST:: SOT 90901750 SOS 49894967 HAS SOPS 45653489 HAS SOUS 12926641 HAS SOUPS 12863774 WITH SCORE 1.2913668967E7
AT ITER 770 NEW BEST:: SOT 90901741 SOS 49893717 HAS SOPS 45652239 HAS SOUS 12925949 HAS SOUPS 12863082 WITH SCORE 1.2912975717E7
AT ITER 774 NEW BEST:: SOT 90901752 SOS 49893728 HAS SOPS 45652239 HAS SOUS 12925850 HAS SOUPS 12862983 WITH SCORE 1.2912876728E7
AT ITER 778 NEW BEST:: SOT 90894170 SOS 49889033 HAS SOPS 45645011 HAS SOUS 12910747 HAS SOUPS 12847828 WITH SCORE 1.2897717033E7
AT ITER 795 NEW BEST:: SOT 90900655 SOS 49878221 HAS SOPS 45629356 HAS SOUS 12887415 HAS SOUPS 12824496 WITH SCORE 1.2874374221E7
AT ITER 796 NEW BEST:: SOT 90900631 SOS 49878051 HAS SOPS 45629186 HAS SOUS 12887405 HAS SOUPS 12824486 WITH SCORE 1.2874364051E7
AT ITER 803 NEW BEST:: SOT 90934464 SOS 49917613 HAS SOPS 45602611 HAS SOUS 12885666 HAS SOUPS 12822426 WITH SCORE 1.2872343613E7
AT ITER 805 NEW BEST:: SOT 90934463 SOS 49917611 HAS SOPS 45602609 HAS SOUS 12885664 HAS SOUPS 12822424 WITH SCORE 1.2872341611E7
AT ITER 813 NEW BEST:: SOT 90941452 SOS 49924701 HAS SOPS 45605779 HAS SOUS 12864846 HAS SOUPS 12801606 WITH SCORE 1.2851530701E7
AT ITER 818 NEW BEST:: SOT 90941444 SOS 49909155 HAS SOPS 45589839 HAS SOUS 12864479 HAS SOUPS 12801239 WITH SCORE 1.2851148155E7
AT ITER 821 NEW BEST:: SOT 90943638 SOS 49911476 HAS SOPS 45592160 HAS SOUS 12863944 HAS SOUPS 12800704 WITH SCORE 1.2850615476E7
AT ITER 827 NEW BEST:: SOT 91049813 SOS 50003227 HAS SOPS 45685618 HAS SOUS 12848501 HAS SOUPS 12785627 WITH SCORE 1.2835630227E7
AT ITER 832 NEW BEST:: SOT 91069243 SOS 50022657 HAS SOPS 45702977 HAS SOUS 12840016 HAS SOUPS 12777142 WITH SCORE 1.2827164657E7
AT ITER 850 NEW BEST:: SOT 91069476 SOS 49744465 HAS SOPS 45425420 HAS SOUS 12834044 HAS SOUPS 12771442 WITH SCORE 1.2821186465E7
AT ITER 916 NEW BEST:: SOT 91069416 SOS 49743985 HAS SOPS 45424940 HAS SOUS 12834029 HAS SOUPS 12771427 WITH SCORE 1.2821170985E7
AT ITER 918 NEW BEST:: SOT 91059021 SOS 49724442 HAS SOPS 45400191 HAS SOUS 12829667 HAS SOUPS 12767653 WITH SCORE 1.2817377442E7
AT ITER 922 NEW BEST:: SOT 91058421 SOS 49723882 HAS SOPS 45399551 HAS SOUS 12828347 HAS SOUPS 12766333 WITH SCORE 1.2816056882E7
AT ITER 929 NEW BEST:: SOT 90977334 SOS 49403471 HAS SOPS 45084919 HAS SOUS 12818413 HAS SOUPS 12756399 WITH SCORE 1.2805802471E7
AT ITER 935 NEW BEST:: SOT 91005626 SOS 49429535 HAS SOPS 45121437 HAS SOUS 12793007 HAS SOUPS 12731195 WITH SCORE 1.2780624535E7
AT ITER 937 NEW BEST:: SOT 91007193 SOS 49409524 HAS SOPS 45094839 HAS SOUS 12773293 HAS SOUPS 12711381 WITH SCORE 1.2760790524E7
AT ITER 938 NEW BEST:: SOT 91007558 SOS 49403498 HAS SOPS 45095347 HAS SOUS 12772848 HAS SOUPS 12710991 WITH SCORE 1.2760394498E7
AT ITER 951 NEW BEST:: SOT 91008471 SOS 49395965 HAS SOPS 45092941 HAS SOUS 12768737 HAS SOUPS 12706962 WITH SCORE 1.2756357965E7
AT ITER 958 NEW BEST:: SOT 91008596 SOS 49396117 HAS SOPS 45093107 HAS SOUS 12768463 HAS SOUPS 12706688 WITH SCORE 1.2756084117E7
AT ITER 965 NEW BEST:: SOT 91009218 SOS 49396673 HAS SOPS 45093491 HAS SOUS 12767542 HAS SOUPS 12705790 WITH SCORE 1.2755186673E7
AT ITER 980 NEW BEST:: SOT 91007434 SOS 49390021 HAS SOPS 45086899 HAS SOUS 12765674 HAS SOUPS 12703943 WITH SCORE 1.2753333021E7
AT ITER 996 NEW BEST:: SOT 91012560 SOS 49401807 HAS SOPS 45094919 HAS SOUS 12760518 HAS SOUPS 12698787 WITH SCORE 1.2748188807E7
AT ITER 1003 NEW BEST:: SOT 91020001 SOS 49418459 HAS SOPS 45110259 HAS SOUS 12757255 HAS SOUPS 12695524 WITH SCORE 1.2744942459E7
AT ITER 1018 NEW BEST:: SOT 91030848 SOS 49431937 HAS SOPS 45120760 HAS SOUS 12736790 HAS SOUPS 12675150 WITH SCORE 1.2724581937E7
AT ITER 1022 NEW BEST:: SOT 91032276 SOS 49433923 HAS SOPS 45122122 HAS SOUS 12732203 HAS SOUPS 12670563 WITH SCORE 1.2719996923E7
AT ITER 1026 NEW BEST:: SOT 91031001 SOS 49432715 HAS SOPS 45120731 HAS SOUS 12729220 HAS SOUPS 12667580 WITH SCORE 1.2717012715E7
AT ITER 1030 NEW BEST:: SOT 91031032 SOS 49431577 HAS SOPS 45119593 HAS SOUS 12729048 HAS SOUPS 12667408 WITH SCORE 1.2716839577E7
AT ITER 1031 NEW BEST:: SOT 91030954 SOS 49431499 HAS SOPS 45119503 HAS SOUS 12728904 HAS SOUPS 12667264 WITH SCORE 1.2716695499E7
AT ITER 1059 NEW BEST:: SOT 91029558 SOS 49422936 HAS SOPS 45111798 HAS SOUS 12727509 HAS SOUPS 12665869 WITH SCORE 1.2715291936E7
AT ITER 1060 NEW BEST:: SOT 91043979 SOS 49438710 HAS SOPS 45125481 HAS SOUS 12698317 HAS SOUPS 12636799 WITH SCORE 1.268623771E7
AT ITER 1062 NEW BEST:: SOT 91043861 SOS 49437343 HAS SOPS 45124114 HAS SOUS 12697580 HAS SOUPS 12636062 WITH SCORE 1.2685499343E7
AT ITER 1063 NEW BEST:: SOT 91046300 SOS 49433735 HAS SOPS 45113811 HAS SOUS 12651381 HAS SOUPS 12590031 WITH SCORE 1.2639464735E7
AT ITER 1065 NEW BEST:: SOT 91107257 SOS 49497275 HAS SOPS 45157281 HAS SOUS 12608893 HAS SOUPS 12547543 WITH SCORE 1.2597040275E7
AT ITER 1072 NEW BEST:: SOT 91108065 SOS 49498083 HAS SOPS 45158036 HAS SOUS 12607369 HAS SOUPS 12546000 WITH SCORE 1.2595498083E7
AT ITER 1075 NEW BEST:: SOT 91111389 SOS 49495207 HAS SOPS 45154777 HAS SOUS 12607186 HAS SOUPS 12545817 WITH SCORE 1.2595312207E7
AT ITER 1087 NEW BEST:: SOT 91111389 SOS 49491635 HAS SOPS 45151205 HAS SOUS 12607186 HAS SOUPS 12545817 WITH SCORE 1.2595308635E7
AT ITER 1088 NEW BEST:: SOT 91151308 SOS 49525990 HAS SOPS 45185154 HAS SOUS 12596112 HAS SOUPS 12534743 WITH SCORE 1.258426899E7
AT ITER 1091 NEW BEST:: SOT 91160405 SOS 49351513 HAS SOPS 45003126 HAS SOUS 12573214 HAS SOUPS 12511845 WITH SCORE 1.2561196513E7
AT ITER 1095 NEW BEST:: SOT 91160524 SOS 49351631 HAS SOPS 45003292 HAS SOUS 12573108 HAS SOUPS 12511739 WITH SCORE 1.2561090631E7
AT ITER 1098 NEW BEST:: SOT 91119571 SOS 49273459 HAS SOPS 44899943 HAS SOUS 12486949 HAS SOUPS 12425580 WITH SCORE 1.2474853459E7
AT ITER 1099 NEW BEST:: SOT 91117913 SOS 49241687 HAS SOPS 44855621 HAS SOUS 12450053 HAS SOUPS 12388571 WITH SCORE 1.2437812687E7
AT ITER 1116 NEW BEST:: SOT 91105237 SOS 49251597 HAS SOPS 44863096 HAS SOUS 12443273 HAS SOUPS 12381262 WITH SCORE 1.2430513597E7
AT ITER 1122 NEW BEST:: SOT 91105196 SOS 49247794 HAS SOPS 44859293 HAS SOUS 12442293 HAS SOUPS 12380282 WITH SCORE 1.2429529794E7
AT ITER 1151 NEW BEST:: SOT 91108549 SOS 49251147 HAS SOPS 44862557 HAS SOUS 12437807 HAS SOUPS 12375793 WITH SCORE 1.2425044147E7
AT ITER 1152 NEW BEST:: SOT 91108503 SOS 49251638 HAS SOPS 44863048 HAS SOUS 12437797 HAS SOUPS 12375783 WITH SCORE 1.2425034638E7
AT ITER 1166 NEW BEST:: SOT 91111912 SOS 49255047 HAS SOPS 44866488 HAS SOUS 12436475 HAS SOUPS 12374461 WITH SCORE 1.2423716047E7
AT ITER 1184 NEW BEST:: SOT 91109021 SOS 49252322 HAS SOPS 44863547 HAS SOUS 12431262 HAS SOUPS 12369248 WITH SCORE 1.2418500322E7
AT ITER 1190 NEW BEST:: SOT 91109653 SOS 49252728 HAS SOPS 44863953 HAS SOUS 12430724 HAS SOUPS 12368710 WITH SCORE 1.2417962728E7
AT ITER 1193 NEW BEST:: SOT 91109758 SOS 49251970 HAS SOPS 44863195 HAS SOUS 12430604 HAS SOUPS 12368590 WITH SCORE 1.241784197E7
AT ITER 1209 NEW BEST:: SOT 91105506 SOS 49247718 HAS SOPS 44858952 HAS SOUS 12426352 HAS SOUPS 12364347 WITH SCORE 1.2413594718E7
AT ITER 1211 NEW BEST:: SOT 91106367 SOS 49248595 HAS SOPS 44859826 HAS SOUS 12426043 HAS SOUPS 12364038 WITH SCORE 1.2413286595E7
AT ITER 1214 NEW BEST:: SOT 91005119 SOS 49147347 HAS SOPS 44757929 HAS SOUS 12313961 HAS SOUPS 12251956 WITH SCORE 1.2301103347E7
AT ITER 1236 NEW BEST:: SOT 91005103 SOS 48957294 HAS SOPS 44567664 HAS SOUS 12313491 HAS SOUPS 12251486 WITH SCORE 1.2300443294E7
AT ITER 1239 NEW BEST:: SOT 90939607 SOS 48729423 HAS SOPS 44337076 HAS SOUS 12269494 HAS SOUPS 12207489 WITH SCORE 1.2256218423E7
AT ITER 1257 NEW BEST:: SOT 90902258 SOS 48691834 HAS SOPS 44298927 HAS SOUS 12216407 HAS SOUPS 12154402 WITH SCORE 1.2203093834E7
AT ITER 1265 NEW BEST:: SOT 90902244 SOS 48691808 HAS SOPS 44298901 HAS SOUS 12216349 HAS SOUPS 12154344 WITH SCORE 1.2203035808E7
AT ITER 1283 NEW BEST:: SOT 90902741 SOS 48417752 HAS SOPS 44113417 HAS SOUS 12211612 HAS SOUPS 12149843 WITH SCORE 1.2198260752E7
AT ITER 1307 NEW BEST:: SOT 90902074 SOS 48417085 HAS SOPS 44112857 HAS SOUS 12210348 HAS SOUPS 12148579 WITH SCORE 1.2196996085E7
AT ITER 1312 NEW BEST:: SOT 90902107 SOS 48416391 HAS SOPS 44112163 HAS SOUS 12210202 HAS SOUPS 12148433 WITH SCORE 1.2196849391E7
AT ITER 1323 NEW BEST:: SOT 90924038 SOS 48437788 HAS SOPS 44128297 HAS SOUS 12207447 HAS SOUPS 12145775 WITH SCORE 1.2194212788E7
AT ITER 1324 NEW BEST:: SOT 90915697 SOS 48430105 HAS SOPS 44119219 HAS SOUS 12191282 HAS SOUPS 12129610 WITH SCORE 1.2178040105E7
AT ITER 1335 NEW BEST:: SOT 90916319 SOS 48430727 HAS SOPS 44119290 HAS SOUS 12187693 HAS SOUPS 12125622 WITH SCORE 1.2174052727E7
AT ITER 1341 NEW BEST:: SOT 90916043 SOS 48430717 HAS SOPS 44118956 HAS SOUS 12183416 HAS SOUPS 12121345 WITH SCORE 1.2169775717E7
AT ITER 1345 NEW BEST:: SOT 90909991 SOS 48424604 HAS SOPS 44112715 HAS SOUS 12169393 HAS SOUPS 12107322 WITH SCORE 1.2155746604E7
AT ITER 1376 NEW BEST:: SOT 90909996 SOS 48423598 HAS SOPS 44111709 HAS SOUS 12168941 HAS SOUPS 12106870 WITH SCORE 1.2155293598E7
AT ITER 1377 NEW BEST:: SOT 90909903 SOS 48421250 HAS SOPS 44110876 HAS SOUS 12168545 HAS SOUPS 12106575 WITH SCORE 1.215499625E7
AT ITER 1378 NEW BEST:: SOT 90909515 SOS 48421020 HAS SOPS 44109657 HAS SOUS 12163983 HAS SOUPS 12101994 WITH SCORE 1.215041502E7
AT ITER 1384 NEW BEST:: SOT 90900882 SOS 48409802 HAS SOPS 44099418 HAS SOUS 12155742 HAS SOUPS 12093911 WITH SCORE 1.2142320802E7
AT ITER 1401 NEW BEST:: SOT 90895918 SOS 48411703 HAS SOPS 44100706 HAS SOUS 12154144 HAS SOUPS 12092265 WITH SCORE 1.2140676703E7
AT ITER 1412 NEW BEST:: SOT 90896078 SOS 48411863 HAS SOPS 44100786 HAS SOUS 12153579 HAS SOUPS 12091700 WITH SCORE 1.2140111863E7
AT ITER 1418 NEW BEST:: SOT 90897592 SOS 48413327 HAS SOPS 44102110 HAS SOUS 12151778 HAS SOUPS 12089899 WITH SCORE 1.2138312327E7
AT ITER 1441 NEW BEST:: SOT 90918260 SOS 48441349 HAS SOPS 44123686 HAS SOUS 12146897 HAS SOUPS 12085018 WITH SCORE 1.2133459349E7
AT ITER 1443 NEW BEST:: SOT 90941271 SOS 48424120 HAS SOPS 44160872 HAS SOUS 12135331 HAS SOUPS 12073570 WITH SCORE 1.212199412E7
AT ITER 1470 NEW BEST:: SOT 90941135 SOS 48423983 HAS SOPS 44160809 HAS SOUS 12135247 HAS SOUPS 12073538 WITH SCORE 1.2121961983E7
AT ITER 1474 NEW BEST:: SOT 90941246 SOS 48424141 HAS SOPS 44160955 HAS SOUS 12135046 HAS SOUPS 12073337 WITH SCORE 1.2121761141E7
AT ITER 1490 NEW BEST:: SOT 90941869 SOS 48423442 HAS SOPS 44161408 HAS SOUS 12134651 HAS SOUPS 12073004 WITH SCORE 1.2121427442E7
AT ITER 1493 NEW BEST:: SOT 90971451 SOS 48463172 HAS SOPS 44214019 HAS SOUS 12116423 HAS SOUPS 12054776 WITH SCORE 1.2103239172E7
AT ITER 1506 NEW BEST:: SOT 90982393 SOS 48501419 HAS SOPS 44247748 HAS SOUS 12115959 HAS SOUPS 12054312 WITH SCORE 1.2102813419E7
AT ITER 1514 NEW BEST:: SOT 90980467 SOS 48499537 HAS SOPS 44245731 HAS SOUS 12115665 HAS SOUPS 12054018 WITH SCORE 1.2102517537E7
AT ITER 1541 NEW BEST:: SOT 91000218 SOS 48544597 HAS SOPS 44283073 HAS SOUS 12106214 HAS SOUPS 12044316 WITH SCORE 1.2092860597E7
AT ITER 1543 NEW BEST:: SOT 91000174 SOS 48544628 HAS SOPS 44283104 HAS SOUS 12106145 HAS SOUPS 12044247 WITH SCORE 1.2092791628E7
AT ITER 1544 NEW BEST:: SOT 90935720 SOS 48528220 HAS SOPS 44272810 HAS SOUS 12085899 HAS SOUPS 12024012 WITH SCORE 1.207254022E7
AT ITER 1548 NEW BEST:: SOT 90934940 SOS 48527479 HAS SOPS 44271952 HAS SOUS 12085080 HAS SOUPS 12023193 WITH SCORE 1.2071720479E7
AT ITER 1549 NEW BEST:: SOT 90934088 SOS 48526627 HAS SOPS 44270824 HAS SOUS 12083196 HAS SOUPS 12021309 WITH SCORE 1.2069835627E7
AT ITER 1555 NEW BEST:: SOT 90902436 SOS 48564530 HAS SOPS 44313173 HAS SOUS 12075261 HAS SOUPS 12014015 WITH SCORE 1.206257953E7
AT ITER 1556 NEW BEST:: SOT 90902669 SOS 48564960 HAS SOPS 44312463 HAS SOUS 12075093 HAS SOUPS 12013771 WITH SCORE 1.206233596E7
AT ITER 1567 NEW BEST:: SOT 90902626 SOS 48563154 HAS SOPS 44310657 HAS SOUS 12075021 HAS SOUPS 12013699 WITH SCORE 1.2062262154E7
AT ITER 1587 NEW BEST:: SOT 90903349 SOS 48563877 HAS SOPS 44311428 HAS SOUS 12073627 HAS SOUPS 12012305 WITH SCORE 1.2060868877E7
AT ITER 1590 NEW BEST:: SOT 90903855 SOS 48564265 HAS SOPS 44311837 HAS SOUS 12073225 HAS SOUPS 12011903 WITH SCORE 1.2060467265E7
AT ITER 1601 NEW BEST:: SOT 90895736 SOS 48545986 HAS SOPS 44291290 HAS SOUS 12060226 HAS SOUPS 11998904 WITH SCORE 1.2047449986E7
AT ITER 1607 NEW BEST:: SOT 90895884 SOS 48546279 HAS SOPS 44291525 HAS SOUS 12060045 HAS SOUPS 11998723 WITH SCORE 1.2047269279E7
AT ITER 1620 NEW BEST:: SOT 90953068 SOS 48585907 HAS SOPS 44313002 HAS SOUS 12058027 HAS SOUPS 11996705 WITH SCORE 1.2045290907E7
AT ITER 1642 NEW BEST:: SOT 90953188 SOS 48601669 HAS SOPS 44328764 HAS SOUS 12057852 HAS SOUPS 11996530 WITH SCORE 1.2045131669E7
AT ITER 1644 NEW BEST:: SOT 90971194 SOS 48629386 HAS SOPS 44351350 HAS SOUS 12029852 HAS SOUPS 11968530 WITH SCORE 1.2017159386E7
AT ITER 1645 NEW BEST:: SOT 90971395 SOS 48629524 HAS SOPS 44351574 HAS SOUS 12029405 HAS SOUPS 11968083 WITH SCORE 1.2016712524E7
AT ITER 1651 NEW BEST:: SOT 90970196 SOS 48623144 HAS SOPS 44341090 HAS SOUS 12027640 HAS SOUPS 11966289 WITH SCORE 1.2014912144E7
AT ITER 1652 NEW BEST:: SOT 90970196 SOS 48621776 HAS SOPS 44339722 HAS SOUS 12027364 HAS SOUPS 11966013 WITH SCORE 1.2014634776E7
AT ITER 1661 NEW BEST:: SOT 90900013 SOS 48598598 HAS SOPS 44323880 HAS SOUS 12011689 HAS SOUPS 11951164 WITH SCORE 1.1999762598E7
AT ITER 1667 NEW BEST:: SOT 90900869 SOS 48599404 HAS SOPS 44324683 HAS SOUS 12010501 HAS SOUPS 11949976 WITH SCORE 1.1998575404E7
AT ITER 1673 NEW BEST:: SOT 90925869 SOS 48623284 HAS SOPS 44345720 HAS SOUS 11990094 HAS SOUPS 11929721 WITH SCORE 1.1978344284E7
AT ITER 1674 NEW BEST:: SOT 90925412 SOS 48622684 HAS SOPS 44345042 HAS SOUS 11987683 HAS SOUPS 11927310 WITH SCORE 1.1975932684E7
AT ITER 1683 NEW BEST:: SOT 90931956 SOS 48631994 HAS SOPS 44353082 HAS SOUS 11973161 HAS SOUPS 11912745 WITH SCORE 1.1961376994E7
AT ITER 1688 NEW BEST:: SOT 90918750 SOS 48596612 HAS SOPS 44317700 HAS SOUS 11962147 HAS SOUPS 11901731 WITH SCORE 1.1950327612E7
AT ITER 1690 NEW BEST:: SOT 90918710 SOS 48596572 HAS SOPS 44317656 HAS SOUS 11962097 HAS SOUPS 11901681 WITH SCORE 1.1950277572E7
AT ITER 1694 NEW BEST:: SOT 90918710 SOS 48594561 HAS SOPS 44317813 HAS SOUS 11961487 HAS SOUPS 11901228 WITH SCORE 1.1949822561E7
AT ITER 1698 NEW BEST:: SOT 90919197 SOS 48487901 HAS SOPS 44232874 HAS SOUS 11957794 HAS SOUPS 11897535 WITH SCORE 1.1946022901E7
AT ITER 1717 NEW BEST:: SOT 90852138 SOS 48422989 HAS SOPS 44167504 HAS SOUS 11877761 HAS SOUPS 11817502 WITH SCORE 1.1865924989E7
AT ITER 1734 NEW BEST:: SOT 90852060 SOS 48422599 HAS SOPS 44165958 HAS SOUS 11877449 HAS SOUPS 11817112 WITH SCORE 1.1865534599E7
AT ITER 1743 NEW BEST:: SOT 90862009 SOS 48440312 HAS SOPS 44182560 HAS SOUS 11874910 HAS SOUPS 11814573 WITH SCORE 1.1863013312E7
AT ITER 1786 NEW BEST:: SOT 90834228 SOS 48386589 HAS SOPS 44160036 HAS SOUS 11856632 HAS SOUPS 11796480 WITH SCORE 1.1844866589E7
AT ITER 1797 NEW BEST:: SOT 90834000 SOS 48355717 HAS SOPS 44144228 HAS SOUS 11856472 HAS SOUPS 11796376 WITH SCORE 1.1844731717E7
AT ITER 1803 NEW BEST:: SOT 90833972 SOS 48354597 HAS SOPS 44143108 HAS SOUS 11856360 HAS SOUPS 11796264 WITH SCORE 1.1844618597E7
AT ITER 1806 NEW BEST:: SOT 90833923 SOS 48196887 HAS SOPS 43985390 HAS SOUS 11856304 HAS SOUPS 11796208 WITH SCORE 1.1844404887E7
AT ITER 1869 NEW BEST:: SOT 90833923 SOS 48194907 HAS SOPS 43983410 HAS SOUS 11856304 HAS SOUPS 11796208 WITH SCORE 1.1844402907E7
AT ITER 1871 NEW BEST:: SOT 90833959 SOS 48194943 HAS SOPS 43983446 HAS SOUS 11856174 HAS SOUPS 11796078 WITH SCORE 1.1844272943E7
AT ITER 1883 NEW BEST:: SOT 90833807 SOS 48194801 HAS SOPS 43983304 HAS SOUS 11856052 HAS SOUPS 11795956 WITH SCORE 1.1844150801E7
AT ITER 1894 NEW BEST:: SOT 90833126 SOS 48191114 HAS SOPS 43978677 HAS SOUS 11855069 HAS SOUPS 11794973 WITH SCORE 1.1843164114E7
AT ITER 1899 NEW BEST:: SOT 90843941 SOS 48159994 HAS SOPS 43956881 HAS SOUS 11812476 HAS SOUPS 11752594 WITH SCORE 1.1800753994E7
AT ITER 1902 NEW BEST:: SOT 90853126 SOS 48168144 HAS SOPS 43962448 HAS SOUS 11812268 HAS SOUPS 11752541 WITH SCORE 1.1800709144E7
AT ITER 1908 NEW BEST:: SOT 90853108 SOS 48167562 HAS SOPS 43961866 HAS SOUS 11812226 HAS SOUPS 11752499 WITH SCORE 1.1800666562E7
AT ITER 1914 NEW BEST:: SOT 90942592 SOS 48256114 HAS SOPS 44027408 HAS SOUS 11784823 HAS SOUPS 11723029 WITH SCORE 1.1771285114E7
AT ITER 1919 NEW BEST:: SOT 90943435 SOS 48256374 HAS SOPS 44032026 HAS SOUS 11784294 HAS SOUPS 11722517 WITH SCORE 1.1770773374E7
AT ITER 1922 NEW BEST:: SOT 90948984 SOS 48260545 HAS SOPS 44033300 HAS SOUS 11783751 HAS SOUPS 11722057 WITH SCORE 1.1770317545E7
AT ITER 1933 NEW BEST:: SOT 90948984 SOS 48260384 HAS SOPS 44033139 HAS SOUS 11783751 HAS SOUPS 11722057 WITH SCORE 1.1770317384E7
AT ITER 1940 NEW BEST:: SOT 90932727 SOS 48252066 HAS SOPS 44024821 HAS SOUS 11770353 HAS SOUPS 11708659 WITH SCORE 1.1756911066E7
AT ITER 1975 NEW BEST:: SOT 90935083 SOS 48254475 HAS SOPS 44026071 HAS SOUS 11764151 HAS SOUPS 11702457 WITH SCORE 1.1750711475E7
AT ITER 1988 NEW BEST:: SOT 90867712 SOS 48047004 HAS SOPS 43824883 HAS SOUS 11700052 HAS SOUPS 11638358 WITH SCORE 1.1686405004E7
AT ITER 1992 NEW BEST:: SOT 90867229 SOS 48037979 HAS SOPS 43815107 HAS SOUS 11699275 HAS SOUPS 11637581 WITH SCORE 1.1685618979E7
AT ITER 2032 NEW BEST:: SOT 90870860 SOS 48041688 HAS SOPS 43817928 HAS SOUS 11693744 HAS SOUPS 11632038 WITH SCORE 1.1680079688E7
AT ITER 2045 NEW BEST:: SOT 90870147 SOS 48040877 HAS SOPS 43817031 HAS SOUS 11692484 HAS SOUPS 11630778 WITH SCORE 1.1678818877E7
AT ITER 2060 NEW BEST:: SOT 90939716 SOS 48177413 HAS SOPS 43950184 HAS SOUS 11691313 HAS SOUPS 11629566 WITH SCORE 1.1677743413E7
AT ITER 2061 NEW BEST:: SOT 90915415 SOS 48090962 HAS SOPS 43868685 HAS SOUS 11689858 HAS SOUPS 11628111 WITH SCORE 1.1676201962E7
AT ITER 2083 NEW BEST:: SOT 90870922 SOS 48046366 HAS SOPS 43828467 HAS SOUS 11654419 HAS SOUPS 11592672 WITH SCORE 1.1640718366E7
AT ITER 2104 NEW BEST:: SOT 90871026 SOS 48046431 HAS SOPS 43828505 HAS SOUS 11654305 HAS SOUPS 11592558 WITH SCORE 1.1640604431E7
AT ITER 2121 NEW BEST:: SOT 90871002 SOS 48046407 HAS SOPS 43828477 HAS SOUS 11654179 HAS SOUPS 11592432 WITH SCORE 1.1640478407E7
AT ITER 2139 NEW BEST:: SOT 90869265 SOS 48044636 HAS SOPS 43826091 HAS SOUS 11648599 HAS SOUPS 11586852 WITH SCORE 1.1634896636E7
AT ITER 2141 NEW BEST:: SOT 90868944 SOS 48017597 HAS SOPS 43799052 HAS SOUS 11647627 HAS SOUPS 11585880 WITH SCORE 1.1633897597E7
AT ITER 2149 NEW BEST:: SOT 90868872 SOS 48012619 HAS SOPS 43794074 HAS SOUS 11646854 HAS SOUPS 11585107 WITH SCORE 1.1633119619E7
AT ITER 2160 NEW BEST:: SOT 90868776 SOS 48057164 HAS SOPS 43814654 HAS SOUS 11631816 HAS SOUPS 11569837 WITH SCORE 1.1617894164E7
AT ITER 2168 NEW BEST:: SOT 90795299 SOS 47983330 HAS SOPS 43740216 HAS SOUS 11551764 HAS SOUPS 11489785 WITH SCORE 1.153776833E7
AT ITER 2183 NEW BEST:: SOT 90795485 SOS 47983444 HAS SOPS 43740048 HAS SOUS 11550334 HAS SOUPS 11488355 WITH SCORE 1.1536338444E7
AT ITER 2189 NEW BEST:: SOT 90795903 SOS 47981888 HAS SOPS 43738412 HAS SOUS 11550013 HAS SOUPS 11488034 WITH SCORE 1.1536015888E7
AT ITER 2196 NEW BEST:: SOT 90810382 SOS 47953196 HAS SOPS 43755358 HAS SOUS 11544049 HAS SOUPS 11482336 WITH SCORE 1.1530289196E7
AT ITER 2205 NEW BEST:: SOT 90808704 SOS 48099458 HAS SOPS 43792210 HAS SOUS 11535569 HAS SOUPS 11473580 WITH SCORE 1.1521679458E7
AT ITER 2209 NEW BEST:: SOT 90791876 SOS 48082732 HAS SOPS 43767956 HAS SOUS 11518874 HAS SOUPS 11456885 WITH SCORE 1.1504967732E7
AT ITER 2225 NEW BEST:: SOT 90774096 SOS 48132254 HAS SOPS 43819426 HAS SOUS 11515568 HAS SOUPS 11453290 WITH SCORE 1.1501422254E7
AT ITER 2227 NEW BEST:: SOT 90777823 SOS 48136083 HAS SOPS 43821428 HAS SOUS 11508466 HAS SOUPS 11446002 WITH SCORE 1.1494138083E7
AT ITER 2228 NEW BEST:: SOT 90782773 SOS 48129292 HAS SOPS 43817082 HAS SOUS 11504856 HAS SOUPS 11442287 WITH SCORE 1.1490416292E7
AT ITER 2240 NEW BEST:: SOT 90789786 SOS 48118188 HAS SOPS 43812342 HAS SOUS 11503822 HAS SOUPS 11441253 WITH SCORE 1.1489371188E7
AT ITER 2275 NEW BEST:: SOT 90790169 SOS 48116581 HAS SOPS 43810735 HAS SOUS 11503735 HAS SOUPS 11441166 WITH SCORE 1.1489282581E7
AT ITER 2276 NEW BEST:: SOT 90790097 SOS 48114871 HAS SOPS 43809025 HAS SOUS 11503540 HAS SOUPS 11440971 WITH SCORE 1.1489085871E7
AT ITER 2287 NEW BEST:: SOT 90790067 SOS 48114841 HAS SOPS 43808993 HAS SOUS 11503450 HAS SOUPS 11440881 WITH SCORE 1.1488995841E7
AT ITER 2288 NEW BEST:: SOT 90785324 SOS 48109942 HAS SOPS 43803723 HAS SOUS 11499814 HAS SOUPS 11437245 WITH SCORE 1.1485354942E7
AT ITER 2297 NEW BEST:: SOT 90788717 SOS 48113276 HAS SOPS 43807025 HAS SOUS 11498406 HAS SOUPS 11435837 WITH SCORE 1.1483950276E7
AT ITER 2301 NEW BEST:: SOT 90780698 SOS 48062980 HAS SOPS 43769953 HAS SOUS 11461185 HAS SOUPS 11398834 WITH SCORE 1.144689698E7
AT ITER 2302 NEW BEST:: SOT 90709717 SOS 48057129 HAS SOPS 43774513 HAS SOUS 11442258 HAS SOUPS 11379907 WITH SCORE 1.1427964129E7
AT ITER 2318 NEW BEST:: SOT 90709973 SOS 48055353 HAS SOPS 43772687 HAS SOUS 11440688 HAS SOUPS 11378362 WITH SCORE 1.1426417353E7
AT ITER 2323 NEW BEST:: SOT 90709972 SOS 48055031 HAS SOPS 43772845 HAS SOUS 11440656 HAS SOUPS 11378362 WITH SCORE 1.1426417031E7
AT ITER 2336 NEW BEST:: SOT 90709987 SOS 48055061 HAS SOPS 43772731 HAS SOUS 11438007 HAS SOUPS 11375713 WITH SCORE 1.1423768061E7
AT ITER 2337 NEW BEST:: SOT 90702953 SOS 48021289 HAS SOPS 43737022 HAS SOUS 11417283 HAS SOUPS 11355053 WITH SCORE 1.1403074289E7
AT ITER 2360 NEW BEST:: SOT 90701611 SOS 48018069 HAS SOPS 43732775 HAS SOUS 11412285 HAS SOUPS 11350055 WITH SCORE 1.1398073069E7
AT ITER 2361 NEW BEST:: SOT 90700778 SOS 47886935 HAS SOPS 43597161 HAS SOUS 11392583 HAS SOUPS 11330353 WITH SCORE 1.1378239935E7
AT ITER 2365 NEW BEST:: SOT 90701396 SOS 47877676 HAS SOPS 43598983 HAS SOUS 11391970 HAS SOUPS 11329934 WITH SCORE 1.1377811676E7
AT ITER 2395 NEW BEST:: SOT 90701036 SOS 47877363 HAS SOPS 43598674 HAS SOUS 11391068 HAS SOUPS 11329032 WITH SCORE 1.1376909363E7
AT ITER 2402 NEW BEST:: SOT 90703263 SOS 47879391 HAS SOPS 43600370 HAS SOUS 11386974 HAS SOUPS 11324938 WITH SCORE 1.1372817391E7
AT ITER 2404 NEW BEST:: SOT 90704361 SOS 47858934 HAS SOPS 43578963 HAS SOUS 11385733 HAS SOUPS 11323697 WITH SCORE 1.1371555934E7
AT ITER 2418 NEW BEST:: SOT 90704344 SOS 47821486 HAS SOPS 43541463 HAS SOUS 11385301 HAS SOUPS 11323265 WITH SCORE 1.1371086486E7
AT ITER 2439 NEW BEST:: SOT 90704991 SOS 47809550 HAS SOPS 43540395 HAS SOUS 11384500 HAS SOUPS 11322464 WITH SCORE 1.137027355E7
AT ITER 2442 NEW BEST:: SOT 90705159 SOS 47805882 HAS SOPS 43540087 HAS SOUS 11384153 HAS SOUPS 11322145 WITH SCORE 1.1369950882E7
AT ITER 2456 NEW BEST:: SOT 90705115 SOS 47786609 HAS SOPS 43521283 HAS SOUS 11380131 HAS SOUPS 11318123 WITH SCORE 1.1365909609E7
AT ITER 2463 NEW BEST:: SOT 90705337 SOS 47785034 HAS SOPS 43519708 HAS SOUS 11379725 HAS SOUPS 11317717 WITH SCORE 1.1365502034E7
AT ITER 2488 NEW BEST:: SOT 90705161 SOS 47784909 HAS SOPS 43519435 HAS SOUS 11379631 HAS SOUPS 11317623 WITH SCORE 1.1365407909E7
AT ITER 2511 NEW BEST:: SOT 90696983 SOS 47776578 HAS SOPS 43510279 HAS SOUS 11363336 HAS SOUPS 11301328 WITH SCORE 1.1349104578E7
AT ITER 2551 NEW BEST:: SOT 90677943 SOS 47757556 HAS SOPS 43499852 HAS SOUS 11350466 HAS SOUPS 11294490 WITH SCORE 1.1342247556E7
AT ITER 2553 NEW BEST:: SOT 90660715 SOS 47700039 HAS SOPS 43449775 HAS SOUS 11338738 HAS SOUPS 11282932 WITH SCORE 1.1330632039E7
AT ITER 2563 NEW BEST:: SOT 90660667 SOS 47699993 HAS SOPS 43449723 HAS SOUS 11338634 HAS SOUPS 11282828 WITH SCORE 1.1330527993E7
AT ITER 2571 NEW BEST:: SOT 90633145 SOS 47667415 HAS SOPS 43421436 HAS SOUS 11314970 HAS SOUPS 11259164 WITH SCORE 1.1306831415E7
AT ITER 2583 NEW BEST:: SOT 90633629 SOS 47664696 HAS SOPS 43418717 HAS SOUS 11314455 HAS SOUPS 11258649 WITH SCORE 1.1306313696E7
AT ITER 2595 NEW BEST:: SOT 90633215 SOS 47664336 HAS SOPS 43418470 HAS SOUS 11313396 HAS SOUPS 11257590 WITH SCORE 1.1305254336E7
AT ITER 2596 NEW BEST:: SOT 90633215 SOS 47664357 HAS SOPS 43418491 HAS SOUS 11313372 HAS SOUPS 11257566 WITH SCORE 1.1305230357E7
AT ITER 2602 NEW BEST:: SOT 90633177 SOS 47664395 HAS SOPS 43418377 HAS SOUS 11312878 HAS SOUPS 11257072 WITH SCORE 1.1304736395E7
AT ITER 2607 NEW BEST:: SOT 90632040 SOS 47663249 HAS SOPS 43416912 HAS SOUS 11310487 HAS SOUPS 11254681 WITH SCORE 1.1302344249E7
AT ITER 2622 NEW BEST:: SOT 90632042 SOS 47663252 HAS SOPS 43416915 HAS SOUS 11310482 HAS SOUPS 11254676 WITH SCORE 1.1302339252E7
AT ITER 2626 NEW BEST:: SOT 90632040 SOS 47661409 HAS SOPS 43417015 HAS SOUS 11310136 HAS SOUPS 11254464 WITH SCORE 1.1302125409E7
AT ITER 2682 NEW BEST:: SOT 90630425 SOS 47659508 HAS SOPS 43415879 HAS SOUS 11300702 HAS SOUPS 11246585 WITH SCORE 1.1294244508E7
AT ITER 2714 NEW BEST:: SOT 90630397 SOS 47659480 HAS SOPS 43415851 HAS SOUS 11300660 HAS SOUPS 11246543 WITH SCORE 1.129420248E7
AT ITER 2723 NEW BEST:: SOT 90617818 SOS 47646669 HAS SOPS 43398905 HAS SOUS 11288400 HAS SOUPS 11234305 WITH SCORE 1.1281951669E7
AT ITER 2742 NEW BEST:: SOT 90622408 SOS 47650765 HAS SOPS 43402496 HAS SOUS 11279477 HAS SOUPS 11225382 WITH SCORE 1.1273032765E7
AT ITER 2745 NEW BEST:: SOT 90632802 SOS 47666743 HAS SOPS 43413137 HAS SOUS 11268840 HAS SOUPS 11214563 WITH SCORE 1.1262229743E7
AT ITER 2746 NEW BEST:: SOT 90640045 SOS 47673947 HAS SOPS 43420041 HAS SOUS 11266209 HAS SOUPS 11211932 WITH SCORE 1.1259605947E7
AT ITER 2747 NEW BEST:: SOT 90640035 SOS 47673922 HAS SOPS 43420016 HAS SOUS 11266209 HAS SOUPS 11211932 WITH SCORE 1.1259605922E7
AT ITER 2772 NEW BEST:: SOT 90640737 SOS 47674506 HAS SOPS 43420343 HAS SOUS 11259712 HAS SOUPS 11205435 WITH SCORE 1.1253109506E7
AT ITER 2773 NEW BEST:: SOT 90643682 SOS 47791984 HAS SOPS 43536371 HAS SOUS 11241065 HAS SOUPS 11186788 WITH SCORE 1.1234579984E7
AT ITER 2774 NEW BEST:: SOT 90643717 SOS 47746403 HAS SOPS 43490090 HAS SOUS 11234915 HAS SOUPS 11180638 WITH SCORE 1.1228384403E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15545832 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16078748 kB

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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

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