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-167889194300168.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 RERS17pb115-PT-3, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r323-tall-167889194300168
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 4.9K Feb 25 13:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 44K Feb 25 13:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.4K Feb 25 13:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 25 13:46 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Feb 25 16:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 13:57 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 106K Feb 25 13:57 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 13:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 25 13:54 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 1679484349153

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=RERS17pb115-PT-3
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb115 (PT), instance 3
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: 1399 places, 144369 transitions, 577414 arcs.
AT ITER 0 NEW BEST:: SOT 123446583 SOS 80238157 HAS SOPS 65217586 HAS SOUS 24077925 HAS SOUPS 23505151 WITH SCORE 2.3585389157E7
AT ITER 1 NEW BEST:: SOT 123445992 SOS 80235828 HAS SOPS 65216108 HAS SOUS 24076171 HAS SOUPS 23503397 WITH SCORE 2.3583632828E7
AT ITER 3 NEW BEST:: SOT 123437168 SOS 80221090 HAS SOPS 65201624 HAS SOUS 24059068 HAS SOUPS 23486498 WITH SCORE 2.356671909E7
AT ITER 16 NEW BEST:: SOT 123484154 SOS 80292255 HAS SOPS 65269436 HAS SOUS 24055606 HAS SOUPS 23483036 WITH SCORE 2.3563328255E7
AT ITER 20 NEW BEST:: SOT 123544820 SOS 80439819 HAS SOPS 65390275 HAS SOUS 24053727 HAS SOUPS 23481157 WITH SCORE 2.3561596819E7
AT ITER 24 NEW BEST:: SOT 123528382 SOS 80412834 HAS SOPS 65369589 HAS SOUS 24051130 HAS SOUPS 23478560 WITH SCORE 2.3558972834E7
AT ITER 27 NEW BEST:: SOT 123525893 SOS 80414149 HAS SOPS 65366209 HAS SOUS 24033317 HAS SOUPS 23460747 WITH SCORE 2.3541161149E7
AT ITER 28 NEW BEST:: SOT 123496849 SOS 80369547 HAS SOPS 65329013 HAS SOUS 24007349 HAS SOUPS 23434779 WITH SCORE 2.3515148547E7
AT ITER 43 NEW BEST:: SOT 123496885 SOS 80369774 HAS SOPS 65328950 HAS SOUS 24007121 HAS SOUPS 23434546 WITH SCORE 2.3514915774E7
AT ITER 44 NEW BEST:: SOT 123543079 SOS 80460108 HAS SOPS 65413626 HAS SOUS 24000363 HAS SOUPS 23427788 WITH SCORE 2.3508248108E7
AT ITER 64 NEW BEST:: SOT 123464946 SOS 80381829 HAS SOPS 65335046 HAS SOUS 23876062 HAS SOUPS 23303487 WITH SCORE 2.3383868829E7
AT ITER 68 NEW BEST:: SOT 123454291 SOS 80371218 HAS SOPS 65324127 HAS SOUS 23861533 HAS SOUPS 23288665 WITH SCORE 2.3369036218E7
AT ITER 93 NEW BEST:: SOT 123451880 SOS 80364365 HAS SOPS 65316570 HAS SOUS 23860643 HAS SOUPS 23287775 WITH SCORE 2.3368139365E7
AT ITER 100 NEW BEST:: SOT 123439948 SOS 80356037 HAS SOPS 65301762 HAS SOUS 23834634 HAS SOUPS 23261766 WITH SCORE 2.3342122037E7
AT ITER 102 NEW BEST:: SOT 123437741 SOS 80352557 HAS SOPS 65297107 HAS SOUS 23831406 HAS SOUPS 23258538 WITH SCORE 2.3338890557E7
AT ITER 114 NEW BEST:: SOT 123408656 SOS 80323457 HAS SOPS 65267702 HAS SOUS 23799305 HAS SOUPS 23226407 WITH SCORE 2.3306730457E7
AT ITER 124 NEW BEST:: SOT 123408194 SOS 80323699 HAS SOPS 65267053 HAS SOUS 23798851 HAS SOUPS 23225238 WITH SCORE 2.3305561699E7
AT ITER 132 NEW BEST:: SOT 123438839 SOS 80420506 HAS SOPS 65328840 HAS SOUS 23754931 HAS SOUPS 23181318 WITH SCORE 2.3261738506E7
AT ITER 135 NEW BEST:: SOT 123431374 SOS 80401366 HAS SOPS 65319857 HAS SOUS 23753001 HAS SOUPS 23179388 WITH SCORE 2.3259789366E7
AT ITER 155 NEW BEST:: SOT 123416374 SOS 80385417 HAS SOPS 65299878 HAS SOUS 23720217 HAS SOUPS 23146639 WITH SCORE 2.3227024417E7
AT ITER 157 NEW BEST:: SOT 123425947 SOS 80415613 HAS SOPS 65326392 HAS SOUS 23704614 HAS SOUPS 23131036 WITH SCORE 2.3211451613E7
AT ITER 158 NEW BEST:: SOT 123397050 SOS 80380327 HAS SOPS 65310171 HAS SOUS 23695173 HAS SOUPS 23122065 WITH SCORE 2.3202445327E7
AT ITER 159 NEW BEST:: SOT 123390518 SOS 80405595 HAS SOPS 65339760 HAS SOUS 23691610 HAS SOUPS 23118502 WITH SCORE 2.3198907595E7
AT ITER 162 NEW BEST:: SOT 123391564 SOS 80408782 HAS SOPS 65341550 HAS SOUS 23690355 HAS SOUPS 23117247 WITH SCORE 2.3197655782E7
AT ITER 184 NEW BEST:: SOT 123395586 SOS 80420869 HAS SOPS 65348036 HAS SOUS 23689189 HAS SOUPS 23112451 WITH SCORE 2.3192871869E7
AT ITER 193 NEW BEST:: SOT 123394556 SOS 80381914 HAS SOPS 65329232 HAS SOUS 23672194 HAS SOUPS 23099294 WITH SCORE 2.3179675914E7
AT ITER 208 NEW BEST:: SOT 123401693 SOS 80415359 HAS SOPS 65362291 HAS SOUS 23671522 HAS SOUPS 23098622 WITH SCORE 2.3179037359E7
AT ITER 223 NEW BEST:: SOT 123400475 SOS 80413889 HAS SOPS 65360863 HAS SOUS 23669909 HAS SOUPS 23097009 WITH SCORE 2.3177422889E7
AT ITER 238 NEW BEST:: SOT 123396613 SOS 80399125 HAS SOPS 65338053 HAS SOUS 23658636 HAS SOUPS 23085736 WITH SCORE 2.3166135125E7
AT ITER 252 NEW BEST:: SOT 123399528 SOS 80406810 HAS SOPS 65344945 HAS SOUS 23656669 HAS SOUPS 23083797 WITH SCORE 2.316420381E7
AT ITER 257 NEW BEST:: SOT 123395707 SOS 80399704 HAS SOPS 65340106 HAS SOUS 23639163 HAS SOUPS 23066457 WITH SCORE 2.3146856704E7
AT ITER 258 NEW BEST:: SOT 123387014 SOS 80394594 HAS SOPS 65337378 HAS SOUS 23616220 HAS SOUPS 23043514 WITH SCORE 2.3123908594E7
AT ITER 261 NEW BEST:: SOT 123386964 SOS 80399220 HAS SOPS 65348834 HAS SOUS 23615998 HAS SOUPS 23043292 WITH SCORE 2.312369122E7
AT ITER 267 NEW BEST:: SOT 123381065 SOS 80398618 HAS SOPS 65341638 HAS SOUS 23595415 HAS SOUPS 23022709 WITH SCORE 2.3103107618E7
AT ITER 284 NEW BEST:: SOT 123365300 SOS 80355397 HAS SOPS 65306318 HAS SOUS 23583802 HAS SOUPS 23011096 WITH SCORE 2.3091451397E7
AT ITER 304 NEW BEST:: SOT 123365084 SOS 80355599 HAS SOPS 65306508 HAS SOUS 23582638 HAS SOUPS 23009910 WITH SCORE 2.3090265599E7
AT ITER 317 NEW BEST:: SOT 123385200 SOS 80396121 HAS SOPS 65342325 HAS SOUS 23570679 HAS SOUPS 22997900 WITH SCORE 2.3078296121E7
AT ITER 335 NEW BEST:: SOT 123383065 SOS 80393601 HAS SOPS 65340560 HAS SOUS 23569807 HAS SOUPS 22997028 WITH SCORE 2.3077421601E7
AT ITER 340 NEW BEST:: SOT 123380726 SOS 80391262 HAS SOPS 65338197 HAS SOUS 23567580 HAS SOUPS 22994801 WITH SCORE 2.3075192262E7
AT ITER 366 NEW BEST:: SOT 123334498 SOS 80327921 HAS SOPS 65273062 HAS SOUS 23490497 HAS SOUPS 22917674 WITH SCORE 2.2998001921E7
AT ITER 368 NEW BEST:: SOT 123335231 SOS 80353171 HAS SOPS 65297678 HAS SOUS 23490103 HAS SOUPS 22917280 WITH SCORE 2.2997633171E7
AT ITER 369 NEW BEST:: SOT 123338449 SOS 80357452 HAS SOPS 65308678 HAS SOUS 23487185 HAS SOUPS 22914397 WITH SCORE 2.2994754452E7
AT ITER 380 NEW BEST:: SOT 123323264 SOS 80334803 HAS SOPS 65287672 HAS SOUS 23457975 HAS SOUPS 22885187 WITH SCORE 2.2965521803E7
AT ITER 388 NEW BEST:: SOT 123323375 SOS 80333628 HAS SOPS 65285136 HAS SOUS 23457878 HAS SOUPS 22885090 WITH SCORE 2.2965423628E7
AT ITER 391 NEW BEST:: SOT 123358996 SOS 80386979 HAS SOPS 65315931 HAS SOUS 23449996 HAS SOUPS 22877208 WITH SCORE 2.2957594979E7
AT ITER 415 NEW BEST:: SOT 123358661 SOS 80382717 HAS SOPS 65313533 HAS SOUS 23449108 HAS SOUPS 22876340 WITH SCORE 2.2956722717E7
AT ITER 425 NEW BEST:: SOT 123358661 SOS 80396293 HAS SOPS 65335173 HAS SOUS 23449056 HAS SOUPS 22876288 WITH SCORE 2.2956684293E7
AT ITER 452 NEW BEST:: SOT 123359021 SOS 80397759 HAS SOPS 65336066 HAS SOUS 23448238 HAS SOUPS 22875470 WITH SCORE 2.2955867759E7
AT ITER 454 NEW BEST:: SOT 123359216 SOS 80399388 HAS SOPS 65336593 HAS SOUS 23447025 HAS SOUPS 22874257 WITH SCORE 2.2954656388E7
AT ITER 458 NEW BEST:: SOT 123355955 SOS 80399289 HAS SOPS 65332930 HAS SOUS 23436523 HAS SOUPS 22863755 WITH SCORE 2.2944154289E7
AT ITER 460 NEW BEST:: SOT 123333993 SOS 80376167 HAS SOPS 65310010 HAS SOUS 23383234 HAS SOUPS 22810466 WITH SCORE 2.2890842167E7
AT ITER 462 NEW BEST:: SOT 123331360 SOS 80373534 HAS SOPS 65307345 HAS SOUS 23374393 HAS SOUPS 22801625 WITH SCORE 2.2881998534E7
AT ITER 465 NEW BEST:: SOT 123321868 SOS 80364730 HAS SOPS 65298825 HAS SOUS 23354544 HAS SOUPS 22781958 WITH SCORE 2.286232273E7
AT ITER 470 NEW BEST:: SOT 123321937 SOS 80365287 HAS SOPS 65298859 HAS SOUS 23353332 HAS SOUPS 22780737 WITH SCORE 2.2861102287E7
AT ITER 473 NEW BEST:: SOT 123320424 SOS 80368998 HAS SOPS 65301975 HAS SOUS 23319185 HAS SOUPS 22746641 WITH SCORE 2.2827009998E7
AT ITER 483 NEW BEST:: SOT 123319147 SOS 80366914 HAS SOPS 65297828 HAS SOUS 23309732 HAS SOUPS 22737188 WITH SCORE 2.2817554914E7
AT ITER 487 NEW BEST:: SOT 123234649 SOS 80278865 HAS SOPS 65204849 HAS SOUS 23190745 HAS SOUPS 22618667 WITH SCORE 2.2698945865E7
AT ITER 488 NEW BEST:: SOT 123244238 SOS 80303083 HAS SOPS 65231044 HAS SOUS 23189888 HAS SOUPS 22617810 WITH SCORE 2.2698113083E7
AT ITER 492 NEW BEST:: SOT 123243219 SOS 80298786 HAS SOPS 65227752 HAS SOUS 23180127 HAS SOUPS 22608049 WITH SCORE 2.2688347786E7
AT ITER 499 NEW BEST:: SOT 123243219 SOS 80300534 HAS SOPS 65239292 HAS SOUS 23179873 HAS SOUPS 22607795 WITH SCORE 2.2688095534E7
AT ITER 506 NEW BEST:: SOT 123212270 SOS 80266142 HAS SOPS 65198965 HAS SOUS 23155838 HAS SOUPS 22582049 WITH SCORE 2.2662315142E7
AT ITER 525 NEW BEST:: SOT 123204290 SOS 80259971 HAS SOPS 65184579 HAS SOUS 23132312 HAS SOUPS 22558523 WITH SCORE 2.2638782971E7
AT ITER 526 NEW BEST:: SOT 123201777 SOS 80264158 HAS SOPS 65178238 HAS SOUS 23110791 HAS SOUPS 22537002 WITH SCORE 2.2617266158E7
AT ITER 532 NEW BEST:: SOT 123202215 SOS 80264644 HAS SOPS 65178524 HAS SOUS 23110620 HAS SOUPS 22536969 WITH SCORE 2.2617233644E7
AT ITER 536 NEW BEST:: SOT 123244362 SOS 80236197 HAS SOPS 65220448 HAS SOUS 23024475 HAS SOUPS 22440543 WITH SCORE 2.2520779197E7
AT ITER 551 NEW BEST:: SOT 123249157 SOS 80259380 HAS SOPS 65251000 HAS SOUS 23017298 HAS SOUPS 22433467 WITH SCORE 2.251372638E7
AT ITER 557 NEW BEST:: SOT 123242871 SOS 80259219 HAS SOPS 65246310 HAS SOUS 23002660 HAS SOUPS 22418734 WITH SCORE 2.2498993219E7
AT ITER 558 NEW BEST:: SOT 123233341 SOS 80249533 HAS SOPS 65241762 HAS SOUS 22997278 HAS SOUPS 22413352 WITH SCORE 2.2493601533E7
AT ITER 560 NEW BEST:: SOT 123233065 SOS 80249317 HAS SOPS 65241826 HAS SOUS 22995262 HAS SOUPS 22411316 WITH SCORE 2.2491565317E7
AT ITER 569 NEW BEST:: SOT 123232015 SOS 80247965 HAS SOPS 65243987 HAS SOUS 22994746 HAS SOUPS 22410800 WITH SCORE 2.2491047965E7
AT ITER 570 NEW BEST:: SOT 123230801 SOS 80247779 HAS SOPS 65242174 HAS SOUS 22994643 HAS SOUPS 22410655 WITH SCORE 2.2490902779E7
AT ITER 572 NEW BEST:: SOT 123247689 SOS 80292599 HAS SOPS 65274746 HAS SOUS 22987870 HAS SOUPS 22403733 WITH SCORE 2.2484025599E7
AT ITER 578 NEW BEST:: SOT 123249204 SOS 80308550 HAS SOPS 65285704 HAS SOUS 22919997 HAS SOUPS 22335860 WITH SCORE 2.241616855E7
AT ITER 582 NEW BEST:: SOT 123273356 SOS 80375687 HAS SOPS 65355066 HAS SOUS 22917602 HAS SOUPS 22333465 WITH SCORE 2.2413840687E7
AT ITER 593 NEW BEST:: SOT 123285209 SOS 80392964 HAS SOPS 65369082 HAS SOUS 22914788 HAS SOUPS 22330651 WITH SCORE 2.2411043964E7
AT ITER 603 NEW BEST:: SOT 123282834 SOS 80390627 HAS SOPS 65365062 HAS SOUS 22912756 HAS SOUPS 22327809 WITH SCORE 2.2408199627E7
AT ITER 605 NEW BEST:: SOT 123288462 SOS 80406752 HAS SOPS 65377096 HAS SOUS 22875669 HAS SOUPS 22290722 WITH SCORE 2.2371128752E7
AT ITER 609 NEW BEST:: SOT 123280499 SOS 80390013 HAS SOPS 65361762 HAS SOUS 22868016 HAS SOUPS 22283108 WITH SCORE 2.2363498013E7
AT ITER 627 NEW BEST:: SOT 123280177 SOS 80389691 HAS SOPS 65361552 HAS SOUS 22867038 HAS SOUPS 22282162 WITH SCORE 2.2362551691E7
AT ITER 630 NEW BEST:: SOT 123279821 SOS 80390227 HAS SOPS 65361110 HAS SOUS 22864014 HAS SOUPS 22279138 WITH SCORE 2.2359528227E7
AT ITER 633 NEW BEST:: SOT 123280673 SOS 80390483 HAS SOPS 65360440 HAS SOUS 22859018 HAS SOUPS 22274178 WITH SCORE 2.2354568483E7
AT ITER 646 NEW BEST:: SOT 123294069 SOS 80405356 HAS SOPS 65371312 HAS SOUS 22851624 HAS SOUPS 22269864 WITH SCORE 2.2350269356E7
AT ITER 654 NEW BEST:: SOT 123305473 SOS 80423786 HAS SOPS 65383776 HAS SOUS 22851056 HAS SOUPS 22269296 WITH SCORE 2.2349719786E7
AT ITER 679 NEW BEST:: SOT 123305203 SOS 80423390 HAS SOPS 65382552 HAS SOUS 22850678 HAS SOUPS 22268918 WITH SCORE 2.234934139E7
AT ITER 696 NEW BEST:: SOT 123301046 SOS 80419507 HAS SOPS 65378869 HAS SOUS 22842903 HAS SOUPS 22261225 WITH SCORE 2.2341644507E7
AT ITER 699 NEW BEST:: SOT 123305940 SOS 80435705 HAS SOPS 65388211 HAS SOUS 22829081 HAS SOUPS 22247403 WITH SCORE 2.2327838705E7
AT ITER 712 NEW BEST:: SOT 123306222 SOS 80436529 HAS SOPS 65389043 HAS SOUS 22828542 HAS SOUPS 22246864 WITH SCORE 2.2327300529E7
AT ITER 781 NEW BEST:: SOT 123306949 SOS 80437755 HAS SOPS 65391345 HAS SOUS 22823425 HAS SOUPS 22241843 WITH SCORE 2.2322280755E7
AT ITER 796 NEW BEST:: SOT 123296737 SOS 80427007 HAS SOPS 65378694 HAS SOUS 22800825 HAS SOUPS 22219243 WITH SCORE 2.2299670007E7
AT ITER 806 NEW BEST:: SOT 123287032 SOS 80420801 HAS SOPS 65368608 HAS SOUS 22787861 HAS SOUPS 22205434 WITH SCORE 2.2285854801E7
AT ITER 823 NEW BEST:: SOT 123330824 SOS 80514731 HAS SOPS 65460235 HAS SOUS 22776771 HAS SOUPS 22194344 WITH SCORE 2.2274858731E7
AT ITER 838 NEW BEST:: SOT 123321332 SOS 80505904 HAS SOPS 65449122 HAS SOUS 22758319 HAS SOUPS 22175745 WITH SCORE 2.2256250904E7
AT ITER 852 NEW BEST:: SOT 123321989 SOS 80506981 HAS SOPS 65449639 HAS SOUS 22758156 HAS SOUPS 22175582 WITH SCORE 2.2256088981E7
AT ITER 857 NEW BEST:: SOT 123333541 SOS 80523539 HAS SOPS 65468600 HAS SOUS 22754241 HAS SOUPS 22171886 WITH SCORE 2.2252409539E7
AT ITER 884 NEW BEST:: SOT 123335272 SOS 80535611 HAS SOPS 65480299 HAS SOUS 22728822 HAS SOUPS 22146467 WITH SCORE 2.2227002611E7
AT ITER 888 NEW BEST:: SOT 123334309 SOS 80533487 HAS SOPS 65478050 HAS SOUS 22723562 HAS SOUPS 22141250 WITH SCORE 2.2221783487E7
AT ITER 890 NEW BEST:: SOT 123294048 SOS 80441326 HAS SOPS 65445312 HAS SOUS 22710915 HAS SOUPS 22129080 WITH SCORE 2.2209521326E7
AT ITER 896 NEW BEST:: SOT 123293297 SOS 80440723 HAS SOPS 65444019 HAS SOUS 22708766 HAS SOUPS 22126931 WITH SCORE 2.2207371723E7
AT ITER 899 NEW BEST:: SOT 123300384 SOS 80454396 HAS SOPS 65446911 HAS SOUS 22696690 HAS SOUPS 22114855 WITH SCORE 2.2195309396E7
AT ITER 900 NEW BEST:: SOT 123299227 SOS 80453223 HAS SOPS 65444912 HAS SOUS 22695465 HAS SOUPS 22113614 WITH SCORE 2.2194067223E7
AT ITER 904 NEW BEST:: SOT 123296675 SOS 80451578 HAS SOPS 65440962 HAS SOUS 22694790 HAS SOUPS 22112907 WITH SCORE 2.2193358578E7
AT ITER 907 NEW BEST:: SOT 123296810 SOS 80452455 HAS SOPS 65440725 HAS SOUS 22692941 HAS SOUPS 22111005 WITH SCORE 2.2191457455E7
AT ITER 932 NEW BEST:: SOT 123314157 SOS 80491702 HAS SOPS 65464925 HAS SOUS 22673718 HAS SOUPS 22091782 WITH SCORE 2.2172273702E7
AT ITER 933 NEW BEST:: SOT 123319171 SOS 80496894 HAS SOPS 65481307 HAS SOUS 22656101 HAS SOUPS 22074957 WITH SCORE 2.2155453894E7
AT ITER 943 NEW BEST:: SOT 123315813 SOS 80494174 HAS SOPS 65477847 HAS SOUS 22648443 HAS SOUPS 22067267 WITH SCORE 2.2147761174E7
AT ITER 950 NEW BEST:: SOT 123294016 SOS 80476832 HAS SOPS 65461828 HAS SOUS 22578964 HAS SOUPS 21997788 WITH SCORE 2.2078264832E7
AT ITER 961 NEW BEST:: SOT 123347023 SOS 80525399 HAS SOPS 65505950 HAS SOUS 22565817 HAS SOUPS 21984284 WITH SCORE 2.2064809399E7
AT ITER 980 NEW BEST:: SOT 123346994 SOS 80525284 HAS SOPS 65505752 HAS SOUS 22565667 HAS SOUPS 21984134 WITH SCORE 2.2064659284E7
AT ITER 1004 NEW BEST:: SOT 123346822 SOS 80524728 HAS SOPS 65505188 HAS SOUS 22564807 HAS SOUPS 21983274 WITH SCORE 2.2063798728E7
AT ITER 1015 NEW BEST:: SOT 123339587 SOS 80517493 HAS SOPS 65497953 HAS SOUS 22557572 HAS SOUPS 21976039 WITH SCORE 2.2056556493E7
AT ITER 1040 NEW BEST:: SOT 123344029 SOS 80527186 HAS SOPS 65506536 HAS SOUS 22555940 HAS SOUPS 21974407 WITH SCORE 2.2054934186E7
AT ITER 1044 NEW BEST:: SOT 123342874 SOS 80525871 HAS SOPS 65505253 HAS SOUS 22554903 HAS SOUPS 21973370 WITH SCORE 2.2053895871E7
AT ITER 1054 NEW BEST:: SOT 123324334 SOS 80499095 HAS SOPS 65475097 HAS SOUS 22526486 HAS SOUPS 21944953 WITH SCORE 2.2025452095E7
AT ITER 1081 NEW BEST:: SOT 123261678 SOS 80351837 HAS SOPS 65371965 HAS SOUS 22467463 HAS SOUPS 21886411 WITH SCORE 2.1966762837E7
AT ITER 1088 NEW BEST:: SOT 123250676 SOS 80331993 HAS SOPS 65357625 HAS SOUS 22463165 HAS SOUPS 21882243 WITH SCORE 2.1962574993E7
AT ITER 1102 NEW BEST:: SOT 123242796 SOS 80313049 HAS SOPS 65341663 HAS SOUS 22454145 HAS SOUPS 21873223 WITH SCORE 2.1953536049E7
AT ITER 1118 NEW BEST:: SOT 123241192 SOS 80310382 HAS SOPS 65336579 HAS SOUS 22444610 HAS SOUPS 21862047 WITH SCORE 2.1942357382E7
AT ITER 1121 NEW BEST:: SOT 123240962 SOS 80311700 HAS SOPS 65339379 HAS SOUS 22444143 HAS SOUPS 21861580 WITH SCORE 2.19418917E7
AT ITER 1129 NEW BEST:: SOT 123240441 SOS 80311591 HAS SOPS 65340024 HAS SOUS 22443639 HAS SOUPS 21861076 WITH SCORE 2.1941387591E7
AT ITER 1138 NEW BEST:: SOT 123213015 SOS 80256309 HAS SOPS 65301379 HAS SOUS 22420813 HAS SOUPS 21838250 WITH SCORE 2.1918506309E7
AT ITER 1146 NEW BEST:: SOT 123213638 SOS 80251896 HAS SOPS 65300220 HAS SOUS 22387732 HAS SOUPS 21805415 WITH SCORE 2.1885666896E7
AT ITER 1150 NEW BEST:: SOT 123207447 SOS 80249604 HAS SOPS 65292128 HAS SOUS 22379283 HAS SOUPS 21796892 WITH SCORE 2.1877141604E7
AT ITER 1156 NEW BEST:: SOT 123208545 SOS 80245900 HAS SOPS 65295872 HAS SOUS 22371978 HAS SOUPS 21789788 WITH SCORE 2.18700339E7
AT ITER 1189 NEW BEST:: SOT 123205212 SOS 80242567 HAS SOPS 65292531 HAS SOUS 22368645 HAS SOUPS 21786447 WITH SCORE 2.1866689567E7
AT ITER 1192 NEW BEST:: SOT 123203572 SOS 80242276 HAS SOPS 65297417 HAS SOUS 22361257 HAS SOUPS 21779059 WITH SCORE 2.1859301276E7
AT ITER 1196 NEW BEST:: SOT 123203624 SOS 80261776 HAS SOPS 65318233 HAS SOUS 22361131 HAS SOUPS 21778933 WITH SCORE 2.1859194776E7
AT ITER 1197 NEW BEST:: SOT 123200579 SOS 80259232 HAS SOPS 65309363 HAS SOUS 22342182 HAS SOUPS 21759984 WITH SCORE 2.1840243232E7
AT ITER 1205 NEW BEST:: SOT 123083244 SOS 80134545 HAS SOPS 65176622 HAS SOUS 22182129 HAS SOUPS 21600004 WITH SCORE 2.1680138545E7
AT ITER 1207 NEW BEST:: SOT 123083068 SOS 80134401 HAS SOPS 65176462 HAS SOUS 22181638 HAS SOUPS 21599513 WITH SCORE 2.1679647401E7
AT ITER 1218 NEW BEST:: SOT 123082363 SOS 80133804 HAS SOPS 65176875 HAS SOUS 22178589 HAS SOUPS 21596425 WITH SCORE 2.1676558804E7
AT ITER 1219 NEW BEST:: SOT 123084934 SOS 80139383 HAS SOPS 65178733 HAS SOUS 22166452 HAS SOUPS 21584288 WITH SCORE 2.1664427383E7
AT ITER 1233 NEW BEST:: SOT 123095392 SOS 80156405 HAS SOPS 65190236 HAS SOUS 22150320 HAS SOUPS 21568156 WITH SCORE 2.1648312405E7
AT ITER 1238 NEW BEST:: SOT 123123041 SOS 80208561 HAS SOPS 65221014 HAS SOUS 22147377 HAS SOUPS 21565213 WITH SCORE 2.1645421561E7
AT ITER 1256 NEW BEST:: SOT 123127501 SOS 80214865 HAS SOPS 65226948 HAS SOUS 22147252 HAS SOUPS 21565088 WITH SCORE 2.1645302865E7
AT ITER 1270 NEW BEST:: SOT 123105196 SOS 80191989 HAS SOPS 65204223 HAS SOUS 22104818 HAS SOUPS 21522592 WITH SCORE 2.1602783989E7
AT ITER 1277 NEW BEST:: SOT 123111242 SOS 80201861 HAS SOPS 65209512 HAS SOUS 22103469 HAS SOUPS 21521243 WITH SCORE 2.1601444861E7
AT ITER 1286 NEW BEST:: SOT 123109164 SOS 80198928 HAS SOPS 65206515 HAS SOUS 22100013 HAS SOUPS 21517787 WITH SCORE 2.1597985928E7
AT ITER 1293 NEW BEST:: SOT 123128512 SOS 80240103 HAS SOPS 65254825 HAS SOUS 22089621 HAS SOUPS 21507395 WITH SCORE 2.1587635103E7
AT ITER 1300 NEW BEST:: SOT 123122855 SOS 80234513 HAS SOPS 65248576 HAS SOUS 22087919 HAS SOUPS 21505034 WITH SCORE 2.1585268513E7
AT ITER 1315 NEW BEST:: SOT 123122710 SOS 80235628 HAS SOPS 65250644 HAS SOUS 22083789 HAS SOUPS 21500904 WITH SCORE 2.1581139628E7
AT ITER 1342 NEW BEST:: SOT 123041128 SOS 80088097 HAS SOPS 65137988 HAS SOUS 22014486 HAS SOUPS 21431601 WITH SCORE 2.1511689097E7
AT ITER 1350 NEW BEST:: SOT 123036552 SOS 80081511 HAS SOPS 65128883 HAS SOUS 22011407 HAS SOUPS 21428522 WITH SCORE 2.1508603511E7
AT ITER 1357 NEW BEST:: SOT 123041269 SOS 80082664 HAS SOPS 65130244 HAS SOUS 22003627 HAS SOUPS 21420742 WITH SCORE 2.1500824664E7
AT ITER 1380 NEW BEST:: SOT 123058007 SOS 80122121 HAS SOPS 65174004 HAS SOUS 22002190 HAS SOUPS 21419383 WITH SCORE 2.1499505121E7
AT ITER 1399 NEW BEST:: SOT 123054776 SOS 80120473 HAS SOPS 65170519 HAS SOUS 21996968 HAS SOUPS 21414161 WITH SCORE 2.1494281473E7
AT ITER 1421 NEW BEST:: SOT 123056230 SOS 80123975 HAS SOPS 65171556 HAS SOUS 21994248 HAS SOUPS 21411441 WITH SCORE 2.1491564975E7
AT ITER 1426 NEW BEST:: SOT 123034973 SOS 80101755 HAS SOPS 65141400 HAS SOUS 21946700 HAS SOUPS 21364124 WITH SCORE 2.1444225755E7
AT ITER 1427 NEW BEST:: SOT 123032579 SOS 80098319 HAS SOPS 65137973 HAS SOUS 21943747 HAS SOUPS 21361187 WITH SCORE 2.1441285319E7
AT ITER 1429 NEW BEST:: SOT 123031219 SOS 80086514 HAS SOPS 65141150 HAS SOUS 21941294 HAS SOUPS 21359076 WITH SCORE 2.1439162514E7
AT ITER 1433 NEW BEST:: SOT 123031324 SOS 80086434 HAS SOPS 65140878 HAS SOUS 21941010 HAS SOUPS 21358792 WITH SCORE 2.1438878434E7
AT ITER 1438 NEW BEST:: SOT 123039083 SOS 80119712 HAS SOPS 65171728 HAS SOUS 21931550 HAS SOUPS 21349332 WITH SCORE 2.1429451712E7
AT ITER 1444 NEW BEST:: SOT 123022734 SOS 80102676 HAS SOPS 65154209 HAS SOUS 21909503 HAS SOUPS 21327285 WITH SCORE 2.1407387676E7
AT ITER 1459 NEW BEST:: SOT 123011764 SOS 80090337 HAS SOPS 65140007 HAS SOUS 21888515 HAS SOUPS 21306636 WITH SCORE 2.1386726337E7
AT ITER 1469 NEW BEST:: SOT 123020211 SOS 80093737 HAS SOPS 65145458 HAS SOUS 21884813 HAS SOUPS 21302934 WITH SCORE 2.1383027737E7
AT ITER 1476 NEW BEST:: SOT 123020145 SOS 80093339 HAS SOPS 65145144 HAS SOUS 21884749 HAS SOUPS 21302874 WITH SCORE 2.1382967339E7
AT ITER 1499 NEW BEST:: SOT 122994235 SOS 80069086 HAS SOPS 65127051 HAS SOUS 21837446 HAS SOUPS 21255936 WITH SCORE 2.1336005086E7
AT ITER 1507 NEW BEST:: SOT 122982267 SOS 80046159 HAS SOPS 65130604 HAS SOUS 21829260 HAS SOUPS 21247750 WITH SCORE 2.1327796159E7
AT ITER 1509 NEW BEST:: SOT 122981809 SOS 80044466 HAS SOPS 65129234 HAS SOUS 21828516 HAS SOUPS 21247006 WITH SCORE 2.1327050466E7
AT ITER 1510 NEW BEST:: SOT 122974593 SOS 80035356 HAS SOPS 65118083 HAS SOUS 21817002 HAS SOUPS 21235492 WITH SCORE 2.1315527356E7
AT ITER 1514 NEW BEST:: SOT 123000019 SOS 80103899 HAS SOPS 65193030 HAS SOUS 21790097 HAS SOUPS 21210161 WITH SCORE 2.1290264899E7
AT ITER 1538 NEW BEST:: SOT 123006206 SOS 80109684 HAS SOPS 65213733 HAS SOUS 21751071 HAS SOUPS 21172251 WITH SCORE 2.1252360684E7
AT ITER 1541 NEW BEST:: SOT 123012783 SOS 80122855 HAS SOPS 65235751 HAS SOUS 21749759 HAS SOUPS 21170939 WITH SCORE 2.1251061855E7
AT ITER 1544 NEW BEST:: SOT 123004990 SOS 80113777 HAS SOPS 65225368 HAS SOUS 21728892 HAS SOUPS 21149891 WITH SCORE 2.1230004777E7
AT ITER 1550 NEW BEST:: SOT 122995167 SOS 80091257 HAS SOPS 65190743 HAS SOUS 21716413 HAS SOUPS 21137277 WITH SCORE 2.1217368257E7
AT ITER 1554 NEW BEST:: SOT 122987238 SOS 80070851 HAS SOPS 65174544 HAS SOUS 21709691 HAS SOUPS 21130555 WITH SCORE 2.1210625851E7
AT ITER 1566 NEW BEST:: SOT 122980922 SOS 80065201 HAS SOPS 65169135 HAS SOUS 21697424 HAS SOUPS 21118386 WITH SCORE 2.1198451201E7
AT ITER 1571 NEW BEST:: SOT 122980701 SOS 80065122 HAS SOPS 65168800 HAS SOUS 21696757 HAS SOUPS 21117719 WITH SCORE 2.1197784122E7
AT ITER 1579 NEW BEST:: SOT 122980925 SOS 80079988 HAS SOPS 65184301 HAS SOUS 21696145 HAS SOUPS 21117107 WITH SCORE 2.1197186988E7
AT ITER 1589 NEW BEST:: SOT 122982288 SOS 80079443 HAS SOPS 65183962 HAS SOUS 21696068 HAS SOUPS 21117030 WITH SCORE 2.1197109443E7
AT ITER 1590 NEW BEST:: SOT 122990232 SOS 80100813 HAS SOPS 65208956 HAS SOUS 21690724 HAS SOUPS 21111686 WITH SCORE 2.1191786813E7
AT ITER 1597 NEW BEST:: SOT 122989336 SOS 80100524 HAS SOPS 65214478 HAS SOUS 21690359 HAS SOUPS 21111321 WITH SCORE 2.1191421524E7
AT ITER 1632 NEW BEST:: SOT 122987383 SOS 80096224 HAS SOPS 65211531 HAS SOUS 21690225 HAS SOUPS 21111187 WITH SCORE 2.1191283224E7
AT ITER 1633 NEW BEST:: SOT 122985642 SOS 80101010 HAS SOPS 65211426 HAS SOUS 21682076 HAS SOUPS 21102986 WITH SCORE 2.118308701E7
AT ITER 1637 NEW BEST:: SOT 122981568 SOS 80094449 HAS SOPS 65206148 HAS SOUS 21677720 HAS SOUPS 21098630 WITH SCORE 2.1178724449E7
AT ITER 1642 NEW BEST:: SOT 122981339 SOS 80094136 HAS SOPS 65205719 HAS SOUS 21677229 HAS SOUPS 21098142 WITH SCORE 2.1178236136E7
AT ITER 1659 NEW BEST:: SOT 122989694 SOS 80110110 HAS SOPS 65217063 HAS SOUS 21672066 HAS SOUPS 21092979 WITH SCORE 2.117308911E7
AT ITER 1671 NEW BEST:: SOT 122985128 SOS 80109141 HAS SOPS 65206869 HAS SOUS 21664150 HAS SOUPS 21084889 WITH SCORE 2.1164998141E7
AT ITER 1687 NEW BEST:: SOT 122981420 SOS 80103115 HAS SOPS 65202583 HAS SOUS 21658398 HAS SOUPS 21079137 WITH SCORE 2.1159240115E7
AT ITER 1696 NEW BEST:: SOT 122978393 SOS 80100088 HAS SOPS 65199556 HAS SOUS 21651883 HAS SOUPS 21072622 WITH SCORE 2.1152722088E7
AT ITER 1698 NEW BEST:: SOT 122985359 SOS 80107397 HAS SOPS 65218894 HAS SOUS 21649651 HAS SOUPS 21070354 WITH SCORE 2.1150461397E7
AT ITER 1700 NEW BEST:: SOT 122984696 SOS 80108280 HAS SOPS 65218452 HAS SOUS 21644153 HAS SOUPS 21064856 WITH SCORE 2.114496428E7
AT ITER 1716 NEW BEST:: SOT 122972175 SOS 80094995 HAS SOPS 65199376 HAS SOUS 21609253 HAS SOUPS 21029833 WITH SCORE 2.1109927995E7
AT ITER 1736 NEW BEST:: SOT 122974487 SOS 80102208 HAS SOPS 65203895 HAS SOUS 21607585 HAS SOUPS 21028165 WITH SCORE 2.1108267208E7
AT ITER 1741 NEW BEST:: SOT 122987951 SOS 80132811 HAS SOPS 65231002 HAS SOUS 21604191 HAS SOUPS 21024771 WITH SCORE 2.1104903811E7
AT ITER 1747 NEW BEST:: SOT 122987641 SOS 80132334 HAS SOPS 65229576 HAS SOUS 21603510 HAS SOUPS 21024090 WITH SCORE 2.1104222334E7
AT ITER 1750 NEW BEST:: SOT 122977886 SOS 80106279 HAS SOPS 65219168 HAS SOUS 21598320 HAS SOUPS 21019636 WITH SCORE 2.1099742279E7
AT ITER 1754 NEW BEST:: SOT 122977244 SOS 80105231 HAS SOPS 65218058 HAS SOUS 21596875 HAS SOUPS 21018191 WITH SCORE 2.1098296231E7
AT ITER 1767 NEW BEST:: SOT 122968179 SOS 80095122 HAS SOPS 65205121 HAS SOUS 21590996 HAS SOUPS 21012137 WITH SCORE 2.1092232122E7
AT ITER 1771 NEW BEST:: SOT 122966917 SOS 80097945 HAS SOPS 65208396 HAS SOUS 21582805 HAS SOUPS 21003946 WITH SCORE 2.1084043945E7
AT ITER 1783 NEW BEST:: SOT 122961012 SOS 80090891 HAS SOPS 65198543 HAS SOUS 21575305 HAS SOUPS 20996446 WITH SCORE 2.1076536891E7
AT ITER 1796 NEW BEST:: SOT 122960312 SOS 80089623 HAS SOPS 65197335 HAS SOUS 21574855 HAS SOUPS 20995636 WITH SCORE 2.1075725623E7
AT ITER 1798 NEW BEST:: SOT 122960312 SOS 80094909 HAS SOPS 65204375 HAS SOUS 21574792 HAS SOUPS 20995573 WITH SCORE 2.1075667909E7
AT ITER 1839 NEW BEST:: SOT 122960312 SOS 80096505 HAS SOPS 65206136 HAS SOUS 21574621 HAS SOUPS 20995402 WITH SCORE 2.1075498505E7
AT ITER 1845 NEW BEST:: SOT 122963765 SOS 80104507 HAS SOPS 65212282 HAS SOUS 21570645 HAS SOUPS 20991426 WITH SCORE 2.1071530507E7
AT ITER 1869 NEW BEST:: SOT 122954429 SOS 80090288 HAS SOPS 65192043 HAS SOUS 21564294 HAS SOUPS 20982822 WITH SCORE 2.1062912288E7
AT ITER 1878 NEW BEST:: SOT 122956346 SOS 80095124 HAS SOPS 65196975 HAS SOUS 21562025 HAS SOUPS 20980553 WITH SCORE 2.1060648124E7
AT ITER 1884 NEW BEST:: SOT 122956346 SOS 80095032 HAS SOPS 65196975 HAS SOUS 21562025 HAS SOUPS 20980553 WITH SCORE 2.1060648032E7
AT ITER 1887 NEW BEST:: SOT 122920253 SOS 80035858 HAS SOPS 65125324 HAS SOUS 21461346 HAS SOUPS 20879592 WITH SCORE 2.0959627858E7
AT ITER 1901 NEW BEST:: SOT 122940048 SOS 80057066 HAS SOPS 65155229 HAS SOUS 21448662 HAS SOUPS 20868865 WITH SCORE 2.0948922066E7
AT ITER 1907 NEW BEST:: SOT 122940494 SOS 80058431 HAS SOPS 65158271 HAS SOUS 21447910 HAS SOUPS 20868113 WITH SCORE 2.0948171431E7
AT ITER 1912 NEW BEST:: SOT 122904616 SOS 80027137 HAS SOPS 65114003 HAS SOUS 21368354 HAS SOUPS 20788557 WITH SCORE 2.0868584137E7
AT ITER 1930 NEW BEST:: SOT 122898967 SOS 80019662 HAS SOPS 65106591 HAS SOUS 21366207 HAS SOUPS 20786416 WITH SCORE 2.0866435662E7
AT ITER 1947 NEW BEST:: SOT 122924603 SOS 80058281 HAS SOPS 65141380 HAS SOUS 21353457 HAS SOUPS 20773880 WITH SCORE 2.0853938281E7
AT ITER 1948 NEW BEST:: SOT 122924596 SOS 80060692 HAS SOPS 65142231 HAS SOUS 21350275 HAS SOUPS 20770698 WITH SCORE 2.0850758692E7
AT ITER 1950 NEW BEST:: SOT 122903815 SOS 80006948 HAS SOPS 65098785 HAS SOUS 21345601 HAS SOUPS 20766530 WITH SCORE 2.0846536948E7
AT ITER 1958 NEW BEST:: SOT 122899455 SOS 80004708 HAS SOPS 65092332 HAS SOUS 21329001 HAS SOUPS 20749930 WITH SCORE 2.0829934708E7
AT ITER 1969 NEW BEST:: SOT 122899460 SOS 80012447 HAS SOPS 65099287 HAS SOUS 21328841 HAS SOUPS 20749770 WITH SCORE 2.0829782447E7
AT ITER 1977 NEW BEST:: SOT 122897880 SOS 80015121 HAS SOPS 65096626 HAS SOUS 21318015 HAS SOUPS 20738811 WITH SCORE 2.0818826121E7
AT ITER 2002 NEW BEST:: SOT 122892271 SOS 80005562 HAS SOPS 65086900 HAS SOUS 21300186 HAS SOUPS 20721611 WITH SCORE 2.0801616562E7
AT ITER 2008 NEW BEST:: SOT 122870276 SOS 79983630 HAS SOPS 65066673 HAS SOUS 21289666 HAS SOUPS 20713044 WITH SCORE 2.079302763E7
AT ITER 2025 NEW BEST:: SOT 122870287 SOS 79988126 HAS SOPS 65072513 HAS SOUS 21289542 HAS SOUPS 20712920 WITH SCORE 2.0792908126E7
AT ITER 2085 NEW BEST:: SOT 122867437 SOS 79980907 HAS SOPS 65068891 HAS SOUS 21272493 HAS SOUPS 20695871 WITH SCORE 2.0775851907E7
AT ITER 2092 NEW BEST:: SOT 122859241 SOS 79975542 HAS SOPS 65068542 HAS SOUS 21253332 HAS SOUPS 20676710 WITH SCORE 2.0756685542E7
AT ITER 2093 NEW BEST:: SOT 122839215 SOS 79953020 HAS SOPS 65050866 HAS SOUS 21206642 HAS SOUPS 20632544 WITH SCORE 2.071249702E7
AT ITER 2096 NEW BEST:: SOT 122836181 SOS 79950344 HAS SOPS 65046502 HAS SOUS 21200280 HAS SOUPS 20626182 WITH SCORE 2.0706132344E7
AT ITER 2098 NEW BEST:: SOT 122844834 SOS 79956457 HAS SOPS 65055763 HAS SOUS 21188059 HAS SOUPS 20614298 WITH SCORE 2.0694254457E7
AT ITER 2104 NEW BEST:: SOT 122815354 SOS 79903777 HAS SOPS 65015614 HAS SOUS 21155638 HAS SOUPS 20583045 WITH SCORE 2.0662948777E7
AT ITER 2111 NEW BEST:: SOT 122811691 SOS 79895416 HAS SOPS 65007356 HAS SOUS 21151433 HAS SOUPS 20578840 WITH SCORE 2.0658735416E7
AT ITER 2112 NEW BEST:: SOT 122818047 SOS 79902474 HAS SOPS 65010006 HAS SOUS 21148364 HAS SOUPS 20575771 WITH SCORE 2.0655673474E7
AT ITER 2120 NEW BEST:: SOT 122780778 SOS 79865245 HAS SOPS 64975210 HAS SOUS 21132452 HAS SOUPS 20563021 WITH SCORE 2.0642886245E7
AT ITER 2127 NEW BEST:: SOT 122774704 SOS 79859393 HAS SOPS 64967841 HAS SOUS 21120311 HAS SOUPS 20550880 WITH SCORE 2.0630739393E7
AT ITER 2143 NEW BEST:: SOT 122809432 SOS 79926439 HAS SOPS 65011386 HAS SOUS 21119895 HAS SOUPS 20550389 WITH SCORE 2.0630315439E7
AT ITER 2148 NEW BEST:: SOT 122787793 SOS 79906881 HAS SOPS 64998008 HAS SOUS 21038907 HAS SOUPS 20469401 WITH SCORE 2.0549307881E7
AT ITER 2184 NEW BEST:: SOT 122794711 SOS 79917542 HAS SOPS 65010988 HAS SOUS 21038053 HAS SOUPS 20468847 WITH SCORE 2.0548764542E7
AT ITER 2209 NEW BEST:: SOT 122794896 SOS 79908380 HAS SOPS 65007796 HAS SOUS 21016665 HAS SOUPS 20447459 WITH SCORE 2.052736738E7
AT ITER 2210 NEW BEST:: SOT 122799889 SOS 79918318 HAS SOPS 65013023 HAS SOUS 21011100 HAS SOUPS 20441069 WITH SCORE 2.0520987318E7
AT ITER 2213 NEW BEST:: SOT 122798289 SOS 79914720 HAS SOPS 65010590 HAS SOUS 21009475 HAS SOUPS 20439617 WITH SCORE 2.051953172E7
AT ITER 2223 NEW BEST:: SOT 122753020 SOS 79851282 HAS SOPS 64937424 HAS SOUS 20939781 HAS SOUPS 20369923 WITH SCORE 2.0449774282E7
AT ITER 2225 NEW BEST:: SOT 122753020 SOS 79872978 HAS SOPS 64974736 HAS SOUS 20939489 HAS SOUPS 20369631 WITH SCORE 2.0449503978E7
AT ITER 2246 NEW BEST:: SOT 122758873 SOS 79885494 HAS SOPS 64980498 HAS SOUS 20935381 HAS SOUPS 20365410 WITH SCORE 2.0445295494E7
AT ITER 2257 NEW BEST:: SOT 122756912 SOS 79875683 HAS SOPS 65079019 HAS SOUS 20931525 HAS SOUPS 20362481 WITH SCORE 2.0442356683E7
AT ITER 2279 NEW BEST:: SOT 122730262 SOS 79824792 HAS SOPS 65068589 HAS SOUS 20912871 HAS SOUPS 20343827 WITH SCORE 2.0423651792E7
AT ITER 2281 NEW BEST:: SOT 122758623 SOS 79877050 HAS SOPS 65102945 HAS SOUS 20892938 HAS SOUPS 20323894 WITH SCORE 2.040377105E7
AT ITER 2285 NEW BEST:: SOT 122775629 SOS 79930613 HAS SOPS 65144633 HAS SOUS 20871217 HAS SOUPS 20302173 WITH SCORE 2.0382103613E7
AT ITER 2303 NEW BEST:: SOT 122771644 SOS 79923355 HAS SOPS 65124091 HAS SOUS 20855535 HAS SOUPS 20286491 WITH SCORE 2.0366414355E7
AT ITER 2307 NEW BEST:: SOT 122754987 SOS 79900990 HAS SOPS 65102136 HAS SOUS 20836583 HAS SOUPS 20267539 WITH SCORE 2.034743999E7
AT ITER 2322 NEW BEST:: SOT 122758657 SOS 79902494 HAS SOPS 65104521 HAS SOUS 20832436 HAS SOUPS 20264135 WITH SCORE 2.0344037494E7
AT ITER 2336 NEW BEST:: SOT 122752887 SOS 79896223 HAS SOPS 65096250 HAS SOUS 20820364 HAS SOUPS 20252063 WITH SCORE 2.0331959223E7
AT ITER 2338 NEW BEST:: SOT 122748738 SOS 79890219 HAS SOPS 65090000 HAS SOUS 20819099 HAS SOUPS 20250798 WITH SCORE 2.0330688219E7
AT ITER 2339 NEW BEST:: SOT 122745395 SOS 79886269 HAS SOPS 65083941 HAS SOUS 20811060 HAS SOUPS 20242734 WITH SCORE 2.0322620269E7
AT ITER 2341 NEW BEST:: SOT 122723423 SOS 79859359 HAS SOPS 65062825 HAS SOUS 20787577 HAS SOUPS 20219251 WITH SCORE 2.0299110359E7
AT ITER 2351 NEW BEST:: SOT 122723423 SOS 79864927 HAS SOPS 65067023 HAS SOUS 20787379 HAS SOUPS 20219053 WITH SCORE 2.0298917927E7
AT ITER 2355 NEW BEST:: SOT 122721074 SOS 79862199 HAS SOPS 65063839 HAS SOUS 20783827 HAS SOUPS 20215459 WITH SCORE 2.0295321199E7
AT ITER 2375 NEW BEST:: SOT 122715189 SOS 79853316 HAS SOPS 65060761 HAS SOUS 20781230 HAS SOUPS 20212862 WITH SCORE 2.0292715316E7
AT ITER 2419 NEW BEST:: SOT 122710730 SOS 79846481 HAS SOPS 65055432 HAS SOUS 20769191 HAS SOUPS 20200823 WITH SCORE 2.0280669481E7
AT ITER 2440 NEW BEST:: SOT 122728921 SOS 79878753 HAS SOPS 65086472 HAS SOUS 20761673 HAS SOUPS 20193305 WITH SCORE 2.0273183753E7
AT ITER 2450 NEW BEST:: SOT 122721190 SOS 79867903 HAS SOPS 65075191 HAS SOUS 20751649 HAS SOUPS 20183371 WITH SCORE 2.0263238903E7
AT ITER 2477 NEW BEST:: SOT 122721738 SOS 79878215 HAS SOPS 65081181 HAS SOUS 20750837 HAS SOUPS 20182559 WITH SCORE 2.0262437215E7
AT ITER 2480 NEW BEST:: SOT 122723784 SOS 79933625 HAS SOPS 65133372 HAS SOUS 20743364 HAS SOUPS 20175086 WITH SCORE 2.0255019625E7
AT ITER 2484 NEW BEST:: SOT 122723275 SOS 79932828 HAS SOPS 65133037 HAS SOUS 20740924 HAS SOUPS 20173401 WITH SCORE 2.0253333828E7
AT ITER 2488 NEW BEST:: SOT 122723610 SOS 79949601 HAS SOPS 65155136 HAS SOUS 20738176 HAS SOUPS 20170762 WITH SCORE 2.0250711601E7
AT ITER 2504 NEW BEST:: SOT 122711949 SOS 79936193 HAS SOPS 65144615 HAS SOUS 20692830 HAS SOUPS 20125641 WITH SCORE 2.0205577193E7
AT ITER 2510 NEW BEST:: SOT 122714343 SOS 79987641 HAS SOPS 65200673 HAS SOUS 20692420 HAS SOUPS 20125223 WITH SCORE 2.0205210641E7
AT ITER 2515 NEW BEST:: SOT 122714478 SOS 79987818 HAS SOPS 65196779 HAS SOUS 20691937 HAS SOUPS 20124740 WITH SCORE 2.0204727818E7
AT ITER 2517 NEW BEST:: SOT 122714478 SOS 79988178 HAS SOPS 65197319 HAS SOUS 20691847 HAS SOUPS 20124650 WITH SCORE 2.0204638178E7
AT ITER 2523 NEW BEST:: SOT 122722166 SOS 80002989 HAS SOPS 65215754 HAS SOUS 20673501 HAS SOUPS 20106304 WITH SCORE 2.0186306989E7
AT ITER 2525 NEW BEST:: SOT 122730183 SOS 80016092 HAS SOPS 65221860 HAS SOUS 20672032 HAS SOUPS 20104835 WITH SCORE 2.0184851092E7
AT ITER 2528 NEW BEST:: SOT 122738994 SOS 80021088 HAS SOPS 65224115 HAS SOUS 20663954 HAS SOUPS 20096884 WITH SCORE 2.0176905088E7
AT ITER 2554 NEW BEST:: SOT 122756335 SOS 80033616 HAS SOPS 65265758 HAS SOUS 20627368 HAS SOUPS 20064502 WITH SCORE 2.0144535616E7
AT ITER 2555 NEW BEST:: SOT 122747955 SOS 80028277 HAS SOPS 65260412 HAS SOUS 20614435 HAS SOUPS 20051569 WITH SCORE 2.0131597277E7
AT ITER 2566 NEW BEST:: SOT 122747955 SOS 80029045 HAS SOPS 65260796 HAS SOUS 20614432 HAS SOUPS 20051566 WITH SCORE 2.0131595045E7
AT ITER 2570 NEW BEST:: SOT 122737903 SOS 80004405 HAS SOPS 65238795 HAS SOUS 20607420 HAS SOUPS 20044554 WITH SCORE 2.0124558405E7
AT ITER 2573 NEW BEST:: SOT 122743276 SOS 80013342 HAS SOPS 65247984 HAS SOUS 20602664 HAS SOUPS 20039798 WITH SCORE 2.0119811342E7
AT ITER 2575 NEW BEST:: SOT 122720641 SOS 79985525 HAS SOPS 65222440 HAS SOUS 20580900 HAS SOUPS 20018164 WITH SCORE 2.0098149525E7
AT ITER 2583 NEW BEST:: SOT 122702510 SOS 79989516 HAS SOPS 65241018 HAS SOUS 20578866 HAS SOUPS 20016130 WITH SCORE 2.0096119516E7
AT ITER 2607 NEW BEST:: SOT 122669369 SOS 79952182 HAS SOPS 65218386 HAS SOUS 20574546 HAS SOUPS 20011810 WITH SCORE 2.0091762182E7
AT ITER 2609 NEW BEST:: SOT 122650257 SOS 79932625 HAS SOPS 65188987 HAS SOUS 20535368 HAS SOUPS 19972632 WITH SCORE 2.0052564625E7
AT ITER 2612 NEW BEST:: SOT 122645306 SOS 79933274 HAS SOPS 65182949 HAS SOUS 20517760 HAS SOUPS 19955024 WITH SCORE 2.0034957274E7
AT ITER 2623 NEW BEST:: SOT 122649156 SOS 79934004 HAS SOPS 65189294 HAS SOUS 20511441 HAS SOUPS 19948789 WITH SCORE 2.0028723004E7
AT ITER 2636 NEW BEST:: SOT 122647792 SOS 79933375 HAS SOPS 65188472 HAS SOUS 20508946 HAS SOUPS 19946294 WITH SCORE 2.0026227375E7
AT ITER 2651 NEW BEST:: SOT 122629016 SOS 79908179 HAS SOPS 65163027 HAS SOUS 20492557 HAS SOUPS 19930131 WITH SCORE 2.0010039179E7
AT ITER 2657 NEW BEST:: SOT 122628169 SOS 79907244 HAS SOPS 65161465 HAS SOUS 20490577 HAS SOUPS 19928140 WITH SCORE 2.0008047244E7
AT ITER 2661 NEW BEST:: SOT 122650185 SOS 79974423 HAS SOPS 65224081 HAS SOUS 20480663 HAS SOUPS 19918226 WITH SCORE 1.9998200423E7
AT ITER 2671 NEW BEST:: SOT 122590530 SOS 79915519 HAS SOPS 65163416 HAS SOUS 20477993 HAS SOUPS 19916131 WITH SCORE 1.9996046519E7
AT ITER 2674 NEW BEST:: SOT 122599983 SOS 79933621 HAS SOPS 65178973 HAS SOUS 20475420 HAS SOUPS 19913558 WITH SCORE 1.9993491621E7
AT ITER 2680 NEW BEST:: SOT 122604061 SOS 79944694 HAS SOPS 65180100 HAS SOUS 20470283 HAS SOUPS 19908421 WITH SCORE 1.9988365694E7
AT ITER 2693 NEW BEST:: SOT 122606472 SOS 79959363 HAS SOPS 65190249 HAS SOUS 20457967 HAS SOUPS 19896105 WITH SCORE 1.9976064363E7
AT ITER 2703 NEW BEST:: SOT 122615111 SOS 79975018 HAS SOPS 65213887 HAS SOUS 20439880 HAS SOUPS 19878018 WITH SCORE 1.9957993018E7
AT ITER 2704 NEW BEST:: SOT 122604450 SOS 79963557 HAS SOPS 65202029 HAS SOUS 20421254 HAS SOUPS 19859543 WITH SCORE 1.9939506557E7
AT ITER 2710 NEW BEST:: SOT 122612244 SOS 79933855 HAS SOPS 65204692 HAS SOUS 20386142 HAS SOUPS 19824431 WITH SCORE 1.9904364855E7
AT ITER 2721 NEW BEST:: SOT 122614453 SOS 79939897 HAS SOPS 65203559 HAS SOUS 20360434 HAS SOUPS 19798723 WITH SCORE 1.9878662897E7
AT ITER 2727 NEW BEST:: SOT 122612499 SOS 79936364 HAS SOPS 65198309 HAS SOUS 20358272 HAS SOUPS 19796561 WITH SCORE 1.9876497364E7
AT ITER 2729 NEW BEST:: SOT 122612274 SOS 79934444 HAS SOPS 65197181 HAS SOUS 20357355 HAS SOUPS 19795810 WITH SCORE 1.9875744444E7
AT ITER 2730 NEW BEST:: SOT 122613979 SOS 79936111 HAS SOPS 65200768 HAS SOUS 20356096 HAS SOUPS 19795631 WITH SCORE 1.9875567111E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15445612 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16078456 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="RERS17pb115-PT-3"
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 RERS17pb115-PT-3, 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-167889194300168"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb115-PT-3.tgz
mv RERS17pb115-PT-3 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 ;