Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r138-smll-158961502300091.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is RERS17pb114-PT-3, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502300091
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 3.3K Apr 12 07:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 12 07:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Apr 11 08:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 11 08:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.6K Apr 14 12:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 14 12:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Apr 10 14:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 10 14:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Apr 9 20:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 9 20:41 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 10 22:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 73M Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME RERS17pb114-PT-3-CTLCardinality-00
FORMULA_NAME RERS17pb114-PT-3-CTLCardinality-01
FORMULA_NAME RERS17pb114-PT-3-CTLCardinality-02
FORMULA_NAME RERS17pb114-PT-3-CTLCardinality-03
FORMULA_NAME RERS17pb114-PT-3-CTLCardinality-04
FORMULA_NAME RERS17pb114-PT-3-CTLCardinality-05
FORMULA_NAME RERS17pb114-PT-3-CTLCardinality-06
FORMULA_NAME RERS17pb114-PT-3-CTLCardinality-07
FORMULA_NAME RERS17pb114-PT-3-CTLCardinality-08
FORMULA_NAME RERS17pb114-PT-3-CTLCardinality-09
FORMULA_NAME RERS17pb114-PT-3-CTLCardinality-10
FORMULA_NAME RERS17pb114-PT-3-CTLCardinality-11
FORMULA_NAME RERS17pb114-PT-3-CTLCardinality-12
FORMULA_NAME RERS17pb114-PT-3-CTLCardinality-13
FORMULA_NAME RERS17pb114-PT-3-CTLCardinality-14
FORMULA_NAME RERS17pb114-PT-3-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589704488053

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb114 (PT), instance 3
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 1446 places, 151085 transitions, 604252 arcs.
AT ITER 0 NEW BEST:: SOT 133650955 SOS 82200848 HAS SOPS 66750976 HAS SOUS 26441832 HAS SOUPS 25811141 WITH SCORE 2.5893341848E7
AT ITER 8 NEW BEST:: SOT 133677811 SOS 82317742 HAS SOPS 66862451 HAS SOUS 26430899 HAS SOUPS 25800112 WITH SCORE 2.5882429742E7
AT ITER 16 NEW BEST:: SOT 133636610 SOS 82292591 HAS SOPS 66827144 HAS SOUS 26415500 HAS SOUPS 25784996 WITH SCORE 2.5867288591E7
AT ITER 23 NEW BEST:: SOT 133675753 SOS 82389427 HAS SOPS 66908147 HAS SOUS 26414445 HAS SOUPS 25783941 WITH SCORE 2.5866330427E7
AT ITER 25 NEW BEST:: SOT 133673547 SOS 82387441 HAS SOPS 66906449 HAS SOUS 26408995 HAS SOUPS 25778491 WITH SCORE 2.5860878441E7
AT ITER 26 NEW BEST:: SOT 133667223 SOS 82393065 HAS SOPS 66907144 HAS SOUS 26381908 HAS SOUPS 25751373 WITH SCORE 2.5833766065E7
AT ITER 27 NEW BEST:: SOT 133610183 SOS 82263434 HAS SOPS 66848800 HAS SOUS 26381118 HAS SOUPS 25750992 WITH SCORE 2.5833255434E7
AT ITER 41 NEW BEST:: SOT 133623202 SOS 82291963 HAS SOPS 66868350 HAS SOUS 26380867 HAS SOUPS 25750741 WITH SCORE 2.5833032963E7
AT ITER 42 NEW BEST:: SOT 133623630 SOS 82302197 HAS SOPS 66885119 HAS SOUS 26377377 HAS SOUPS 25747251 WITH SCORE 2.5829553197E7
AT ITER 46 NEW BEST:: SOT 133634928 SOS 82322866 HAS SOPS 66909391 HAS SOUS 26371794 HAS SOUPS 25741668 WITH SCORE 2.5823990866E7
AT ITER 49 NEW BEST:: SOT 133634440 SOS 82320712 HAS SOPS 66907793 HAS SOUS 26371462 HAS SOUPS 25741336 WITH SCORE 2.5823656712E7
AT ITER 54 NEW BEST:: SOT 133632230 SOS 82317989 HAS SOPS 66904332 HAS SOUS 26365974 HAS SOUPS 25735848 WITH SCORE 2.5818165989E7
AT ITER 62 NEW BEST:: SOT 133635305 SOS 82325468 HAS SOPS 66915869 HAS SOUS 26365323 HAS SOUPS 25735096 WITH SCORE 2.5817421468E7
AT ITER 69 NEW BEST:: SOT 133647634 SOS 82349585 HAS SOPS 66939164 HAS SOUS 26354169 HAS SOUPS 25723942 WITH SCORE 2.5806291585E7
AT ITER 71 NEW BEST:: SOT 133656884 SOS 82374774 HAS SOPS 66959698 HAS SOUS 26352848 HAS SOUPS 25722523 WITH SCORE 2.5804897774E7
AT ITER 86 NEW BEST:: SOT 133658178 SOS 82372106 HAS SOPS 66961507 HAS SOUS 26347597 HAS SOUPS 25717272 WITH SCORE 2.5799644106E7
AT ITER 88 NEW BEST:: SOT 133656903 SOS 82371760 HAS SOPS 66958560 HAS SOUS 26341578 HAS SOUPS 25711204 WITH SCORE 2.579357576E7
AT ITER 91 NEW BEST:: SOT 133656056 SOS 82372930 HAS SOPS 66958961 HAS SOUS 26335107 HAS SOUPS 25704733 WITH SCORE 2.578710593E7
AT ITER 102 NEW BEST:: SOT 133653531 SOS 82368678 HAS SOPS 66954068 HAS SOUS 26323808 HAS SOUPS 25695184 WITH SCORE 2.5777552678E7
AT ITER 103 NEW BEST:: SOT 133681525 SOS 82448656 HAS SOPS 67087008 HAS SOUS 26309541 HAS SOUPS 25680917 WITH SCORE 2.5763365656E7
AT ITER 107 NEW BEST:: SOT 133680716 SOS 82447970 HAS SOPS 67084604 HAS SOUS 26304977 HAS SOUPS 25676286 WITH SCORE 2.575873397E7
AT ITER 121 NEW BEST:: SOT 133679734 SOS 82446655 HAS SOPS 67084454 HAS SOUS 26302561 HAS SOUPS 25673870 WITH SCORE 2.5756316655E7
AT ITER 154 NEW BEST:: SOT 133678707 SOS 82444588 HAS SOPS 67084206 HAS SOUS 26300420 HAS SOUPS 25671791 WITH SCORE 2.5754235588E7
AT ITER 156 NEW BEST:: SOT 133674803 SOS 82436591 HAS SOPS 67078408 HAS SOUS 26299589 HAS SOUPS 25670960 WITH SCORE 2.5753396591E7
AT ITER 163 NEW BEST:: SOT 133674554 SOS 82436144 HAS SOPS 67076766 HAS SOUS 26296366 HAS SOUPS 25667737 WITH SCORE 2.5750173144E7
AT ITER 167 NEW BEST:: SOT 133672168 SOS 82431764 HAS SOPS 67072455 HAS SOUS 26296000 HAS SOUPS 25667371 WITH SCORE 2.5749802764E7
AT ITER 172 NEW BEST:: SOT 133685588 SOS 82509078 HAS SOPS 67145389 HAS SOUS 26265557 HAS SOUPS 25636928 WITH SCORE 2.5719437078E7
AT ITER 174 NEW BEST:: SOT 133687675 SOS 82513143 HAS SOPS 67147217 HAS SOUS 26262417 HAS SOUPS 25633375 WITH SCORE 2.5715888143E7
AT ITER 179 NEW BEST:: SOT 133681919 SOS 82506820 HAS SOPS 67140306 HAS SOUS 26241825 HAS SOUPS 25612783 WITH SCORE 2.569528982E7
AT ITER 184 NEW BEST:: SOT 133680561 SOS 82507956 HAS SOPS 67136151 HAS SOUS 26240740 HAS SOUPS 25611698 WITH SCORE 2.5694205956E7
AT ITER 187 NEW BEST:: SOT 133668384 SOS 82471312 HAS SOPS 67109543 HAS SOUS 26225971 HAS SOUPS 25597553 WITH SCORE 2.5680024312E7
AT ITER 189 NEW BEST:: SOT 133650530 SOS 82441149 HAS SOPS 67096633 HAS SOUS 26221355 HAS SOUPS 25592937 WITH SCORE 2.5675378149E7
AT ITER 195 NEW BEST:: SOT 133661845 SOS 82491318 HAS SOPS 67127628 HAS SOUS 26214000 HAS SOUPS 25585582 WITH SCORE 2.5668073318E7
AT ITER 196 NEW BEST:: SOT 133661818 SOS 82490048 HAS SOPS 67129931 HAS SOUS 26210750 HAS SOUPS 25582353 WITH SCORE 2.5664843048E7
AT ITER 198 NEW BEST:: SOT 133655443 SOS 82483947 HAS SOPS 67122432 HAS SOUS 26208590 HAS SOUPS 25580193 WITH SCORE 2.5662676947E7
AT ITER 201 NEW BEST:: SOT 133647801 SOS 82461197 HAS SOPS 67100708 HAS SOUS 26207278 HAS SOUPS 25578881 WITH SCORE 2.5661342197E7
AT ITER 205 NEW BEST:: SOT 133647969 SOS 82463027 HAS SOPS 67103803 HAS SOUS 26206296 HAS SOUPS 25577899 WITH SCORE 2.5660362027E7
AT ITER 207 NEW BEST:: SOT 133647369 SOS 82463823 HAS SOPS 67104462 HAS SOUS 26204266 HAS SOUPS 25575903 WITH SCORE 2.5658366823E7
AT ITER 210 NEW BEST:: SOT 133670172 SOS 82527936 HAS SOPS 67162468 HAS SOUS 26195968 HAS SOUPS 25567605 WITH SCORE 2.5650132936E7
AT ITER 214 NEW BEST:: SOT 133452529 SOS 82219705 HAS SOPS 66890754 HAS SOUS 25938345 HAS SOUPS 25306993 WITH SCORE 2.5389212705E7
AT ITER 215 NEW BEST:: SOT 133484080 SOS 82323531 HAS SOPS 67017775 HAS SOUS 25937960 HAS SOUPS 25306608 WITH SCORE 2.5388931531E7
AT ITER 237 NEW BEST:: SOT 133493671 SOS 82349122 HAS SOPS 67049230 HAS SOUS 25929140 HAS SOUPS 25297788 WITH SCORE 2.5380137122E7
AT ITER 244 NEW BEST:: SOT 133492955 SOS 82350138 HAS SOPS 67056376 HAS SOUS 25926302 HAS SOUPS 25294950 WITH SCORE 2.5377300138E7
AT ITER 249 NEW BEST:: SOT 133476805 SOS 82341668 HAS SOPS 67063279 HAS SOUS 25910326 HAS SOUPS 25278974 WITH SCORE 2.5361315668E7
AT ITER 251 NEW BEST:: SOT 133511251 SOS 82432120 HAS SOPS 67171445 HAS SOUS 25910167 HAS SOUPS 25278815 WITH SCORE 2.536124712E7
AT ITER 254 NEW BEST:: SOT 133507903 SOS 82428000 HAS SOPS 67167510 HAS SOUS 25902641 HAS SOUPS 25271289 WITH SCORE 2.5353717E7
AT ITER 296 NEW BEST:: SOT 133524596 SOS 82471840 HAS SOPS 67201573 HAS SOUS 25901344 HAS SOUPS 25269992 WITH SCORE 2.535246384E7
AT ITER 306 NEW BEST:: SOT 133516887 SOS 82460984 HAS SOPS 67191362 HAS SOUS 25876801 HAS SOUPS 25246888 WITH SCORE 2.5329348984E7
AT ITER 323 NEW BEST:: SOT 133500860 SOS 82435376 HAS SOPS 67175817 HAS SOUS 25858841 HAS SOUPS 25230566 WITH SCORE 2.5313001376E7
AT ITER 335 NEW BEST:: SOT 133498744 SOS 82430078 HAS SOPS 67170952 HAS SOUS 25854578 HAS SOUPS 25226303 WITH SCORE 2.5308733078E7
AT ITER 346 NEW BEST:: SOT 133499745 SOS 82442016 HAS SOPS 67183033 HAS SOUS 25854060 HAS SOUPS 25225785 WITH SCORE 2.5308227016E7
AT ITER 354 NEW BEST:: SOT 133473529 SOS 82415648 HAS SOPS 67156665 HAS SOUS 25806096 HAS SOUPS 25177821 WITH SCORE 2.5260236648E7
AT ITER 359 NEW BEST:: SOT 133474229 SOS 82422657 HAS SOPS 67162222 HAS SOUS 25801551 HAS SOUPS 25173276 WITH SCORE 2.5255698657E7
AT ITER 370 NEW BEST:: SOT 133477044 SOS 82428915 HAS SOPS 67176152 HAS SOUS 25797009 HAS SOUPS 25168734 WITH SCORE 2.5251162915E7
AT ITER 379 NEW BEST:: SOT 133475274 SOS 82437235 HAS SOPS 67200204 HAS SOUS 25774645 HAS SOUPS 25146370 WITH SCORE 2.5228807235E7
AT ITER 388 NEW BEST:: SOT 133438076 SOS 82382286 HAS SOPS 67146960 HAS SOUS 25722280 HAS SOUPS 25094005 WITH SCORE 2.5176387286E7
AT ITER 408 NEW BEST:: SOT 133438893 SOS 82390493 HAS SOPS 67152237 HAS SOUS 25718206 HAS SOUPS 25089931 WITH SCORE 2.5172321493E7
AT ITER 413 NEW BEST:: SOT 133438794 SOS 82390194 HAS SOPS 67151208 HAS SOUS 25717248 HAS SOUPS 25088973 WITH SCORE 2.5171363194E7
AT ITER 429 NEW BEST:: SOT 133474739 SOS 82495786 HAS SOPS 67239772 HAS SOUS 25709467 HAS SOUPS 25079484 WITH SCORE 2.5161979786E7
AT ITER 443 NEW BEST:: SOT 133432263 SOS 82452482 HAS SOPS 67193833 HAS SOUS 25661498 HAS SOUPS 25031488 WITH SCORE 2.5113940482E7
AT ITER 445 NEW BEST:: SOT 133431555 SOS 82451774 HAS SOPS 67192741 HAS SOUS 25660790 HAS SOUPS 25030396 WITH SCORE 2.5112847774E7
AT ITER 458 NEW BEST:: SOT 133425276 SOS 82443572 HAS SOPS 67180528 HAS SOUS 25649431 HAS SOUPS 25019037 WITH SCORE 2.5101480572E7
AT ITER 462 NEW BEST:: SOT 133405402 SOS 82397032 HAS SOPS 67168343 HAS SOUS 25649031 HAS SOUPS 25018623 WITH SCORE 2.5101020032E7
AT ITER 469 NEW BEST:: SOT 133405379 SOS 82397074 HAS SOPS 67168353 HAS SOUS 25648943 HAS SOUPS 25018535 WITH SCORE 2.5100932074E7
AT ITER 471 NEW BEST:: SOT 133351671 SOS 82316463 HAS SOPS 67085050 HAS SOUS 25560892 HAS SOUPS 24930736 WITH SCORE 2.5013052463E7
AT ITER 475 NEW BEST:: SOT 133351017 SOS 82315821 HAS SOPS 67083778 HAS SOUS 25559381 HAS SOUPS 24929219 WITH SCORE 2.5011534821E7
AT ITER 487 NEW BEST:: SOT 133365601 SOS 82397786 HAS SOPS 67172111 HAS SOUS 25513819 HAS SOUPS 24883657 WITH SCORE 2.4966054786E7
AT ITER 491 NEW BEST:: SOT 133369499 SOS 82420776 HAS SOPS 67185880 HAS SOUS 25488948 HAS SOUPS 24858786 WITH SCORE 2.4941206776E7
AT ITER 498 NEW BEST:: SOT 133355773 SOS 82394777 HAS SOPS 67162569 HAS SOUS 25453564 HAS SOUPS 24824334 WITH SCORE 2.4906728777E7
AT ITER 502 NEW BEST:: SOT 133350262 SOS 82384594 HAS SOPS 67150174 HAS SOUS 25438093 HAS SOUPS 24808863 WITH SCORE 2.4891247594E7
AT ITER 511 NEW BEST:: SOT 133349406 SOS 82383827 HAS SOPS 67148682 HAS SOUS 25436312 HAS SOUPS 24807082 WITH SCORE 2.4889465827E7
AT ITER 520 NEW BEST:: SOT 133344902 SOS 82376189 HAS SOPS 67144019 HAS SOUS 25427297 HAS SOUPS 24798067 WITH SCORE 2.4880443189E7
AT ITER 556 NEW BEST:: SOT 133340354 SOS 82369205 HAS SOPS 67138243 HAS SOUS 25419076 HAS SOUPS 24790187 WITH SCORE 2.4872556205E7
AT ITER 559 NEW BEST:: SOT 133331238 SOS 82351074 HAS SOPS 67126617 HAS SOUS 25416330 HAS SOUPS 24787552 WITH SCORE 2.4869903074E7
AT ITER 565 NEW BEST:: SOT 133331473 SOS 82353755 HAS SOPS 67115755 HAS SOUS 25412815 HAS SOUPS 24784037 WITH SCORE 2.4866390755E7
AT ITER 577 NEW BEST:: SOT 133344856 SOS 82372001 HAS SOPS 67134001 HAS SOUS 25412483 HAS SOUPS 24783705 WITH SCORE 2.4866077001E7
AT ITER 598 NEW BEST:: SOT 133344659 SOS 82372246 HAS SOPS 67134985 HAS SOUS 25412315 HAS SOUPS 24783537 WITH SCORE 2.4865909246E7
AT ITER 602 NEW BEST:: SOT 133346872 SOS 82383640 HAS SOPS 67147052 HAS SOUS 25404863 HAS SOUPS 24776085 WITH SCORE 2.485846864E7
AT ITER 606 NEW BEST:: SOT 133345977 SOS 82382577 HAS SOPS 67145253 HAS SOUS 25402265 HAS SOUPS 24773508 WITH SCORE 2.4855890577E7
AT ITER 621 NEW BEST:: SOT 133342257 SOS 82381983 HAS SOPS 67148925 HAS SOUS 25398928 HAS SOUPS 24770171 WITH SCORE 2.4852552983E7
AT ITER 627 NEW BEST:: SOT 133343667 SOS 82384312 HAS SOPS 67151229 HAS SOUS 25398640 HAS SOUPS 24769883 WITH SCORE 2.4852267312E7
AT ITER 629 NEW BEST:: SOT 133322351 SOS 82351705 HAS SOPS 67111746 HAS SOUS 25346327 HAS SOUPS 24717570 WITH SCORE 2.4799921705E7
AT ITER 643 NEW BEST:: SOT 133309285 SOS 82338639 HAS SOPS 67098680 HAS SOUS 25332765 HAS SOUPS 24704008 WITH SCORE 2.4786346639E7
AT ITER 649 NEW BEST:: SOT 133309285 SOS 82338643 HAS SOPS 67098746 HAS SOUS 25332761 HAS SOUPS 24704004 WITH SCORE 2.4786342643E7
AT ITER 652 NEW BEST:: SOT 133279866 SOS 82282217 HAS SOPS 67054557 HAS SOUS 25299285 HAS SOUPS 24670528 WITH SCORE 2.4752810217E7
AT ITER 660 NEW BEST:: SOT 133268631 SOS 82269355 HAS SOPS 67060985 HAS SOUS 25291288 HAS SOUPS 24662531 WITH SCORE 2.4744800355E7
AT ITER 669 NEW BEST:: SOT 133261630 SOS 82257386 HAS SOPS 67050588 HAS SOUS 25278858 HAS SOUPS 24650154 WITH SCORE 2.4732411386E7
AT ITER 672 NEW BEST:: SOT 133254456 SOS 82252903 HAS SOPS 67043164 HAS SOUS 25260845 HAS SOUPS 24632141 WITH SCORE 2.4714393903E7
AT ITER 675 NEW BEST:: SOT 133250569 SOS 82246098 HAS SOPS 67034191 HAS SOUS 25256361 HAS SOUPS 24627716 WITH SCORE 2.4709962098E7
AT ITER 685 NEW BEST:: SOT 133253509 SOS 82259206 HAS SOPS 67043781 HAS SOUS 25255699 HAS SOUPS 24627054 WITH SCORE 2.4709313206E7
AT ITER 693 NEW BEST:: SOT 133271533 SOS 82317659 HAS SOPS 67093507 HAS SOUS 25254454 HAS SOUPS 24625809 WITH SCORE 2.4708126659E7
AT ITER 694 NEW BEST:: SOT 133272907 SOS 82320797 HAS SOPS 67094574 HAS SOUS 25251443 HAS SOUPS 24622798 WITH SCORE 2.4705118797E7
AT ITER 711 NEW BEST:: SOT 133265116 SOS 82287568 HAS SOPS 67068832 HAS SOUS 25248990 HAS SOUPS 24620345 WITH SCORE 2.4702632568E7
AT ITER 715 NEW BEST:: SOT 133270544 SOS 82317940 HAS SOPS 67088196 HAS SOUS 25243085 HAS SOUPS 24614440 WITH SCORE 2.469675794E7
AT ITER 718 NEW BEST:: SOT 133294237 SOS 82351015 HAS SOPS 67130822 HAS SOUS 25222387 HAS SOUPS 24593515 WITH SCORE 2.4675866015E7
AT ITER 735 NEW BEST:: SOT 133309975 SOS 82398377 HAS SOPS 67169837 HAS SOUS 25162372 HAS SOUPS 24533500 WITH SCORE 2.4615898377E7
AT ITER 742 NEW BEST:: SOT 133354531 SOS 82513795 HAS SOPS 67288787 HAS SOUS 25156355 HAS SOUPS 24527483 WITH SCORE 2.4609996795E7
AT ITER 743 NEW BEST:: SOT 133355462 SOS 82521439 HAS SOPS 67293930 HAS SOUS 25148903 HAS SOUPS 24520031 WITH SCORE 2.4602552439E7
AT ITER 751 NEW BEST:: SOT 133364320 SOS 82541032 HAS SOPS 67316033 HAS SOUS 25131992 HAS SOUPS 24503120 WITH SCORE 2.4585661032E7
AT ITER 753 NEW BEST:: SOT 133364146 SOS 82541324 HAS SOPS 67309802 HAS SOUS 25122907 HAS SOUPS 24494035 WITH SCORE 2.4576576324E7
AT ITER 764 NEW BEST:: SOT 133364146 SOS 82538892 HAS SOPS 67309898 HAS SOUS 25122906 HAS SOUPS 24494034 WITH SCORE 2.4576572892E7
AT ITER 769 NEW BEST:: SOT 133346198 SOS 82518243 HAS SOPS 67289958 HAS SOUS 25081131 HAS SOUPS 24452400 WITH SCORE 2.4534918243E7
AT ITER 771 NEW BEST:: SOT 133348854 SOS 82520138 HAS SOPS 67295308 HAS SOUS 25079809 HAS SOUPS 24451910 WITH SCORE 2.4534430138E7
AT ITER 785 NEW BEST:: SOT 133349091 SOS 82520346 HAS SOPS 67295927 HAS SOUS 25079079 HAS SOUPS 24451556 WITH SCORE 2.4534076346E7
AT ITER 817 NEW BEST:: SOT 133359328 SOS 82559024 HAS SOPS 67320001 HAS SOUS 25072266 HAS SOUPS 24444743 WITH SCORE 2.4527302024E7
AT ITER 822 NEW BEST:: SOT 133371721 SOS 82589314 HAS SOPS 67343741 HAS SOUS 25062919 HAS SOUPS 24435396 WITH SCORE 2.4517985314E7
AT ITER 824 NEW BEST:: SOT 133364949 SOS 82578162 HAS SOPS 67333423 HAS SOUS 25053682 HAS SOUPS 24426159 WITH SCORE 2.4508737162E7
AT ITER 840 NEW BEST:: SOT 133364830 SOS 82578032 HAS SOPS 67333447 HAS SOUS 25053176 HAS SOUPS 24425656 WITH SCORE 2.4508234032E7
AT ITER 850 NEW BEST:: SOT 133348561 SOS 82562143 HAS SOPS 67312357 HAS SOUS 25018664 HAS SOUPS 24391144 WITH SCORE 2.4473706143E7
AT ITER 873 NEW BEST:: SOT 133349689 SOS 82576862 HAS SOPS 67319473 HAS SOUS 25008295 HAS SOUPS 24380775 WITH SCORE 2.4463351862E7
AT ITER 880 NEW BEST:: SOT 133352431 SOS 82576398 HAS SOPS 67317882 HAS SOUS 24989308 HAS SOUPS 24361788 WITH SCORE 2.4444364398E7
AT ITER 881 NEW BEST:: SOT 133315415 SOS 82485309 HAS SOPS 67253493 HAS SOUS 24979014 HAS SOUPS 24351494 WITH SCORE 2.4433979309E7
AT ITER 885 NEW BEST:: SOT 133316591 SOS 82491661 HAS SOPS 67257482 HAS SOUS 24978443 HAS SOUPS 24350923 WITH SCORE 2.4433414661E7
AT ITER 886 NEW BEST:: SOT 133309359 SOS 82482045 HAS SOPS 67245231 HAS SOUS 24962189 HAS SOUPS 24334669 WITH SCORE 2.4417151045E7
AT ITER 889 NEW BEST:: SOT 133305496 SOS 82478157 HAS SOPS 67241343 HAS SOUS 24958156 HAS SOUPS 24330636 WITH SCORE 2.4413114157E7
AT ITER 897 NEW BEST:: SOT 133300695 SOS 82481714 HAS SOPS 67237387 HAS SOUS 24937967 HAS SOUPS 24310447 WITH SCORE 2.4392928714E7
AT ITER 899 NEW BEST:: SOT 133302607 SOS 82487904 HAS SOPS 67242120 HAS SOUS 24932851 HAS SOUPS 24305331 WITH SCORE 2.4387818904E7
AT ITER 900 NEW BEST:: SOT 133300350 SOS 82485584 HAS SOPS 67240909 HAS SOUS 24927827 HAS SOUPS 24300276 WITH SCORE 2.4382761584E7
AT ITER 902 NEW BEST:: SOT 133298626 SOS 82482581 HAS SOPS 67229946 HAS SOUS 24920191 HAS SOUPS 24292640 WITH SCORE 2.4375122581E7
AT ITER 913 NEW BEST:: SOT 133300545 SOS 82485385 HAS SOPS 67232057 HAS SOUS 24918511 HAS SOUPS 24290960 WITH SCORE 2.4373445385E7
AT ITER 916 NEW BEST:: SOT 133301869 SOS 82510676 HAS SOPS 67262762 HAS SOUS 24913535 HAS SOUPS 24285984 WITH SCORE 2.4368494676E7
AT ITER 923 NEW BEST:: SOT 133301788 SOS 82513777 HAS SOPS 67264715 HAS SOUS 24906965 HAS SOUPS 24279414 WITH SCORE 2.4361927777E7
AT ITER 924 NEW BEST:: SOT 133287586 SOS 82492755 HAS SOPS 67256222 HAS SOUS 24896211 HAS SOUPS 24268660 WITH SCORE 2.4351152755E7
AT ITER 937 NEW BEST:: SOT 133287488 SOS 82501411 HAS SOPS 67260425 HAS SOUS 24893791 HAS SOUPS 24266149 WITH SCORE 2.4348650411E7
AT ITER 939 NEW BEST:: SOT 133273553 SOS 82486235 HAS SOPS 67241463 HAS SOUS 24874190 HAS SOUPS 24246542 WITH SCORE 2.4329028235E7
AT ITER 941 NEW BEST:: SOT 133267955 SOS 82480600 HAS SOPS 67235828 HAS SOUS 24867035 HAS SOUPS 24239387 WITH SCORE 2.43218676E7
AT ITER 943 NEW BEST:: SOT 133273617 SOS 82488097 HAS SOPS 67240275 HAS SOUS 24851973 HAS SOUPS 24224325 WITH SCORE 2.4306813097E7
AT ITER 945 NEW BEST:: SOT 133268943 SOS 82480557 HAS SOPS 67234704 HAS SOUS 24841119 HAS SOUPS 24213471 WITH SCORE 2.4295951557E7
AT ITER 950 NEW BEST:: SOT 133262582 SOS 82468118 HAS SOPS 67220855 HAS SOUS 24835636 HAS SOUPS 24207988 WITH SCORE 2.4290456118E7
AT ITER 958 NEW BEST:: SOT 133261457 SOS 82465775 HAS SOPS 67219212 HAS SOUS 24835396 HAS SOUPS 24207748 WITH SCORE 2.4290213775E7
AT ITER 959 NEW BEST:: SOT 133250897 SOS 82445371 HAS SOPS 67201569 HAS SOUS 24816968 HAS SOUPS 24189320 WITH SCORE 2.4271765371E7
AT ITER 971 NEW BEST:: SOT 133249402 SOS 82439522 HAS SOPS 67196952 HAS SOUS 24814749 HAS SOUPS 24187137 WITH SCORE 2.4269576522E7
AT ITER 984 NEW BEST:: SOT 133245097 SOS 82423883 HAS SOPS 67184462 HAS SOUS 24812687 HAS SOUPS 24185075 WITH SCORE 2.4267498883E7
AT ITER 985 NEW BEST:: SOT 133216850 SOS 82348236 HAS SOPS 67131594 HAS SOUS 24792733 HAS SOUPS 24166255 WITH SCORE 2.4248603236E7
AT ITER 986 NEW BEST:: SOT 133216860 SOS 82348652 HAS SOPS 67131975 HAS SOUS 24792664 HAS SOUPS 24166186 WITH SCORE 2.4248534652E7
AT ITER 990 NEW BEST:: SOT 133222883 SOS 82367731 HAS SOPS 67143868 HAS SOUS 24776791 HAS SOUPS 24150313 WITH SCORE 2.4232680731E7
AT ITER 1009 NEW BEST:: SOT 133223795 SOS 82379130 HAS SOPS 67154757 HAS SOUS 24772795 HAS SOUPS 24146317 WITH SCORE 2.422869613E7
AT ITER 1010 NEW BEST:: SOT 133221664 SOS 82355820 HAS SOPS 67124868 HAS SOUS 24771604 HAS SOUPS 24145126 WITH SCORE 2.422748182E7
AT ITER 1026 NEW BEST:: SOT 133225113 SOS 82366150 HAS SOPS 67132588 HAS SOUS 24769845 HAS SOUPS 24143292 WITH SCORE 2.422565815E7
AT ITER 1034 NEW BEST:: SOT 133221900 SOS 82362336 HAS SOPS 67128814 HAS SOUS 24763098 HAS SOUPS 24136545 WITH SCORE 2.4218907336E7
AT ITER 1035 NEW BEST:: SOT 133153645 SOS 82213413 HAS SOPS 67049415 HAS SOUS 24740924 HAS SOUPS 24116289 WITH SCORE 2.4198502413E7
AT ITER 1092 NEW BEST:: SOT 133147245 SOS 82193902 HAS SOPS 67034131 HAS SOUS 24722338 HAS SOUPS 24097703 WITH SCORE 2.4179896902E7
AT ITER 1111 NEW BEST:: SOT 133144818 SOS 82213467 HAS SOPS 67061996 HAS SOUS 24695368 HAS SOUPS 24070733 WITH SCORE 2.4152946467E7
AT ITER 1145 NEW BEST:: SOT 133114660 SOS 82183529 HAS SOPS 67034578 HAS SOUS 24658722 HAS SOUPS 24036607 WITH SCORE 2.4118790529E7
AT ITER 1147 NEW BEST:: SOT 133099839 SOS 82135415 HAS SOPS 66999242 HAS SOUS 24648200 HAS SOUPS 24026085 WITH SCORE 2.4108220415E7
AT ITER 1151 NEW BEST:: SOT 133080175 SOS 82108938 HAS SOPS 66980130 HAS SOUS 24610450 HAS SOUPS 23988335 WITH SCORE 2.4070443938E7
AT ITER 1154 NEW BEST:: SOT 133126204 SOS 82282862 HAS SOPS 67146097 HAS SOUS 24604311 HAS SOUPS 23982196 WITH SCORE 2.4064478862E7
AT ITER 1173 NEW BEST:: SOT 133103852 SOS 82236686 HAS SOPS 67108285 HAS SOUS 24586410 HAS SOUPS 23964319 WITH SCORE 2.4046555686E7
AT ITER 1176 NEW BEST:: SOT 133103249 SOS 82235106 HAS SOPS 67107650 HAS SOUS 24585784 HAS SOUPS 23963721 WITH SCORE 2.4045956106E7
AT ITER 1177 NEW BEST:: SOT 133102262 SOS 82234119 HAS SOPS 67106663 HAS SOUS 24584797 HAS SOUPS 23962734 WITH SCORE 2.4044968119E7
AT ITER 1185 NEW BEST:: SOT 133059024 SOS 82178373 HAS SOPS 67058299 HAS SOUS 24535045 HAS SOUPS 23912808 WITH SCORE 2.3994986373E7
AT ITER 1186 NEW BEST:: SOT 133051306 SOS 82171249 HAS SOPS 67054522 HAS SOUS 24511526 HAS SOUPS 23889289 WITH SCORE 2.3971460249E7
AT ITER 1197 NEW BEST:: SOT 133038881 SOS 82153908 HAS SOPS 67039845 HAS SOUS 24481883 HAS SOUPS 23859646 WITH SCORE 2.3941799908E7
AT ITER 1202 NEW BEST:: SOT 133038832 SOS 82153849 HAS SOPS 67039963 HAS SOUS 24481746 HAS SOUPS 23859520 WITH SCORE 2.3941673849E7
AT ITER 1208 NEW BEST:: SOT 133038150 SOS 82154007 HAS SOPS 67040919 HAS SOUS 24478782 HAS SOUPS 23856577 WITH SCORE 2.3938731007E7
AT ITER 1209 NEW BEST:: SOT 133012309 SOS 82127696 HAS SOPS 67014608 HAS SOUS 24443119 HAS SOUPS 23820914 WITH SCORE 2.3903041696E7
AT ITER 1217 NEW BEST:: SOT 133007558 SOS 82115085 HAS SOPS 67004469 HAS SOUS 24441508 HAS SOUPS 23819370 WITH SCORE 2.3901485085E7
AT ITER 1219 NEW BEST:: SOT 133005819 SOS 82113873 HAS SOPS 67001864 HAS SOUS 24434449 HAS SOUPS 23812311 WITH SCORE 2.3894424873E7
AT ITER 1223 NEW BEST:: SOT 133019680 SOS 82169225 HAS SOPS 67047501 HAS SOUS 24432384 HAS SOUPS 23810246 WITH SCORE 2.3892415225E7
AT ITER 1235 NEW BEST:: SOT 133016572 SOS 82166029 HAS SOPS 67044305 HAS SOUS 24429210 HAS SOUPS 23807072 WITH SCORE 2.3889238029E7
AT ITER 1243 NEW BEST:: SOT 133000476 SOS 82147770 HAS SOPS 67025618 HAS SOUS 24404589 HAS SOUPS 23782629 WITH SCORE 2.386477677E7
AT ITER 1274 NEW BEST:: SOT 133064941 SOS 82307033 HAS SOPS 67201549 HAS SOUS 24379256 HAS SOUPS 23757296 WITH SCORE 2.3839603033E7
AT ITER 1291 NEW BEST:: SOT 133064844 SOS 82309550 HAS SOPS 67207194 HAS SOUS 24373531 HAS SOUPS 23751571 WITH SCORE 2.383388055E7
AT ITER 1302 NEW BEST:: SOT 133069061 SOS 82321825 HAS SOPS 67213873 HAS SOUS 24358609 HAS SOUPS 23736649 WITH SCORE 2.3818970825E7
AT ITER 1306 NEW BEST:: SOT 133071967 SOS 82330407 HAS SOPS 67215631 HAS SOUS 24344726 HAS SOUPS 23722766 WITH SCORE 2.3805096407E7
AT ITER 1311 NEW BEST:: SOT 133078371 SOS 82328543 HAS SOPS 67252307 HAS SOUS 24341256 HAS SOUPS 23719627 WITH SCORE 2.3801955543E7
AT ITER 1345 NEW BEST:: SOT 133056263 SOS 82294919 HAS SOPS 67258128 HAS SOUS 24339854 HAS SOUPS 23719660 WITH SCORE 2.3801954919E7
AT ITER 1355 NEW BEST:: SOT 133049613 SOS 82261106 HAS SOPS 67281612 HAS SOUS 24325135 HAS SOUPS 23705133 WITH SCORE 2.3787394106E7
AT ITER 1358 NEW BEST:: SOT 133007210 SOS 82218695 HAS SOPS 67239209 HAS SOUS 24259804 HAS SOUPS 23639810 WITH SCORE 2.3722028695E7
AT ITER 1386 NEW BEST:: SOT 133007391 SOS 82214832 HAS SOPS 67239924 HAS SOUS 24259564 HAS SOUPS 23639570 WITH SCORE 2.3721784832E7
AT ITER 1389 NEW BEST:: SOT 132993397 SOS 82210489 HAS SOPS 67255018 HAS SOUS 24240188 HAS SOUPS 23620194 WITH SCORE 2.3702404489E7
AT ITER 1396 NEW BEST:: SOT 132993292 SOS 82212837 HAS SOPS 67250886 HAS SOUS 24225426 HAS SOUPS 23605808 WITH SCORE 2.3688020837E7
AT ITER 1403 NEW BEST:: SOT 132993323 SOS 82213642 HAS SOPS 67252830 HAS SOUS 24221699 HAS SOUPS 23602005 WITH SCORE 2.3684218642E7
AT ITER 1409 NEW BEST:: SOT 133000260 SOS 82234213 HAS SOPS 67275765 HAS SOUS 24211989 HAS SOUPS 23592295 WITH SCORE 2.3674529213E7
AT ITER 1411 NEW BEST:: SOT 132997416 SOS 82237393 HAS SOPS 67275546 HAS SOUS 24201503 HAS SOUPS 23581809 WITH SCORE 2.3664046393E7
AT ITER 1418 NEW BEST:: SOT 132965349 SOS 82204581 HAS SOPS 67242840 HAS SOUS 24154972 HAS SOUPS 23535363 WITH SCORE 2.3617567581E7
AT ITER 1419 NEW BEST:: SOT 132959100 SOS 82188508 HAS SOPS 67225684 HAS SOUS 24142060 HAS SOUPS 23522451 WITH SCORE 2.3604639508E7
AT ITER 1424 NEW BEST:: SOT 132938415 SOS 82168418 HAS SOPS 67204715 HAS SOUS 24103522 HAS SOUPS 23483769 WITH SCORE 2.3565937418E7
AT ITER 1433 NEW BEST:: SOT 132952422 SOS 82226958 HAS SOPS 67234460 HAS SOUS 24090726 HAS SOUPS 23470908 WITH SCORE 2.3553134958E7
AT ITER 1441 NEW BEST:: SOT 132948811 SOS 82223184 HAS SOPS 67233016 HAS SOUS 24076259 HAS SOUPS 23456521 WITH SCORE 2.3538744184E7
AT ITER 1442 NEW BEST:: SOT 132938215 SOS 82205682 HAS SOPS 67215107 HAS SOUS 24070643 HAS SOUPS 23450905 WITH SCORE 2.3533110682E7
AT ITER 1450 NEW BEST:: SOT 132936574 SOS 82201558 HAS SOPS 67208027 HAS SOUS 24066654 HAS SOUPS 23446809 WITH SCORE 2.3529010558E7
AT ITER 1454 NEW BEST:: SOT 132938301 SOS 82191652 HAS SOPS 67219741 HAS SOUS 24042511 HAS SOUPS 23422666 WITH SCORE 2.3504857652E7
AT ITER 1460 NEW BEST:: SOT 132939275 SOS 82196530 HAS SOPS 67223713 HAS SOUS 24041833 HAS SOUPS 23421988 WITH SCORE 2.350418453E7
AT ITER 1462 NEW BEST:: SOT 132936939 SOS 82192238 HAS SOPS 67221503 HAS SOUS 24035110 HAS SOUPS 23415265 WITH SCORE 2.3497457238E7
AT ITER 1463 NEW BEST:: SOT 132936550 SOS 82191817 HAS SOPS 67220890 HAS SOUS 24034229 HAS SOUPS 23414388 WITH SCORE 2.3496579817E7
AT ITER 1477 NEW BEST:: SOT 132946023 SOS 82232462 HAS SOPS 67260306 HAS SOUS 24031453 HAS SOUPS 23411612 WITH SCORE 2.3493844462E7
AT ITER 1486 NEW BEST:: SOT 132941138 SOS 82220731 HAS SOPS 67252052 HAS SOUS 24028067 HAS SOUPS 23408226 WITH SCORE 2.3490446731E7
AT ITER 1501 NEW BEST:: SOT 132924263 SOS 82203177 HAS SOPS 67226918 HAS SOUS 24015710 HAS SOUPS 23395869 WITH SCORE 2.3478072177E7
AT ITER 1502 NEW BEST:: SOT 132924364 SOS 82206570 HAS SOPS 67228842 HAS SOUS 24012488 HAS SOUPS 23392367 WITH SCORE 2.347457357E7
AT ITER 1505 NEW BEST:: SOT 132924629 SOS 82211186 HAS SOPS 67231598 HAS SOUS 24012149 HAS SOUPS 23392028 WITH SCORE 2.3474239186E7
AT ITER 1536 NEW BEST:: SOT 132934589 SOS 82240195 HAS SOPS 67253850 HAS SOUS 24008270 HAS SOUPS 23388149 WITH SCORE 2.3470389195E7
AT ITER 1561 NEW BEST:: SOT 132934425 SOS 82240039 HAS SOPS 67253702 HAS SOUS 24007958 HAS SOUPS 23387833 WITH SCORE 2.3470073039E7
AT ITER 1568 NEW BEST:: SOT 132939836 SOS 82263019 HAS SOPS 67277010 HAS SOUS 23997957 HAS SOUPS 23377832 WITH SCORE 2.3460095019E7
AT ITER 1571 NEW BEST:: SOT 132923406 SOS 82217518 HAS SOPS 67243647 HAS SOUS 23985991 HAS SOUPS 23365866 WITH SCORE 2.3448083518E7
AT ITER 1573 NEW BEST:: SOT 132933126 SOS 82277646 HAS SOPS 67322812 HAS SOUS 23974613 HAS SOUPS 23354792 WITH SCORE 2.3437069646E7
AT ITER 1575 NEW BEST:: SOT 132931762 SOS 82276280 HAS SOPS 67320902 HAS SOUS 23971296 HAS SOUPS 23351507 WITH SCORE 2.343378328E7
AT ITER 1578 NEW BEST:: SOT 132930978 SOS 82275412 HAS SOPS 67320516 HAS SOUS 23970066 HAS SOUPS 23350277 WITH SCORE 2.3432552412E7
AT ITER 1598 NEW BEST:: SOT 132927434 SOS 82270641 HAS SOPS 67316240 HAS SOUS 23964878 HAS SOUPS 23345106 WITH SCORE 2.3427376641E7
AT ITER 1600 NEW BEST:: SOT 132975718 SOS 82394860 HAS SOPS 67407183 HAS SOUS 23963428 HAS SOUPS 23343656 WITH SCORE 2.342605086E7
AT ITER 1609 NEW BEST:: SOT 132971247 SOS 82389788 HAS SOPS 67403050 HAS SOUS 23953150 HAS SOUPS 23333378 WITH SCORE 2.3415767788E7
AT ITER 1614 NEW BEST:: SOT 132975506 SOS 82413774 HAS SOPS 67429116 HAS SOUS 23949247 HAS SOUPS 23329475 WITH SCORE 2.3411888774E7
AT ITER 1638 NEW BEST:: SOT 132949562 SOS 82376096 HAS SOPS 67410826 HAS SOUS 23913271 HAS SOUPS 23293499 WITH SCORE 2.3375875096E7
AT ITER 1647 NEW BEST:: SOT 132947684 SOS 82373781 HAS SOPS 67408901 HAS SOUS 23911340 HAS SOUPS 23291568 WITH SCORE 2.3373941781E7
AT ITER 1650 NEW BEST:: SOT 132948544 SOS 82366957 HAS SOPS 67393865 HAS SOUS 23873683 HAS SOUPS 23254138 WITH SCORE 2.3336504957E7
AT ITER 1657 NEW BEST:: SOT 132946671 SOS 82365009 HAS SOPS 67391428 HAS SOUS 23869315 HAS SOUPS 23249770 WITH SCORE 2.3332135009E7
AT ITER 1674 NEW BEST:: SOT 132931380 SOS 82352391 HAS SOPS 67375121 HAS SOUS 23861235 HAS SOUPS 23240166 WITH SCORE 2.3322518391E7
AT ITER 1689 NEW BEST:: SOT 132892353 SOS 82250956 HAS SOPS 67293048 HAS SOUS 23857670 HAS SOUPS 23236697 WITH SCORE 2.3318947956E7
AT ITER 1701 NEW BEST:: SOT 132890182 SOS 82250909 HAS SOPS 67293226 HAS SOUS 23831653 HAS SOUPS 23210890 WITH SCORE 2.3293140909E7
AT ITER 1706 NEW BEST:: SOT 132888595 SOS 82249322 HAS SOPS 67291831 HAS SOUS 23828146 HAS SOUPS 23207383 WITH SCORE 2.3289632322E7
AT ITER 1711 NEW BEST:: SOT 132897326 SOS 82254894 HAS SOPS 67315429 HAS SOUS 23825177 HAS SOUPS 23204823 WITH SCORE 2.3287077894E7
AT ITER 1714 NEW BEST:: SOT 132899421 SOS 82259731 HAS SOPS 67320723 HAS SOUS 23824042 HAS SOUPS 23203688 WITH SCORE 2.3285947731E7
AT ITER 1717 NEW BEST:: SOT 132895053 SOS 82249944 HAS SOPS 67311436 HAS SOUS 23822468 HAS SOUPS 23202114 WITH SCORE 2.3284363944E7
AT ITER 1722 NEW BEST:: SOT 132897605 SOS 82254719 HAS SOPS 67305902 HAS SOUS 23820515 HAS SOUPS 23200161 WITH SCORE 2.3282415719E7
AT ITER 1736 NEW BEST:: SOT 132902024 SOS 82281097 HAS SOPS 67321624 HAS SOUS 23808303 HAS SOUPS 23187949 WITH SCORE 2.3270230097E7
AT ITER 1738 NEW BEST:: SOT 132901887 SOS 82280686 HAS SOPS 67321359 HAS SOUS 23808129 HAS SOUPS 23187775 WITH SCORE 2.3270055686E7
AT ITER 1742 NEW BEST:: SOT 132901839 SOS 82280624 HAS SOPS 67321359 HAS SOUS 23808031 HAS SOUPS 23187679 WITH SCORE 2.3269959624E7
AT ITER 1756 NEW BEST:: SOT 132896902 SOS 82272561 HAS SOPS 67327067 HAS SOUS 23794584 HAS SOUPS 23174232 WITH SCORE 2.3256504561E7
AT ITER 1768 NEW BEST:: SOT 132888191 SOS 82282061 HAS SOPS 67309837 HAS SOUS 23754219 HAS SOUPS 23133632 WITH SCORE 2.3215914061E7
AT ITER 1783 NEW BEST:: SOT 132882469 SOS 82271238 HAS SOPS 67300148 HAS SOUS 23738380 HAS SOUPS 23119170 WITH SCORE 2.3201441238E7
AT ITER 1796 NEW BEST:: SOT 132882465 SOS 82271268 HAS SOPS 67300111 HAS SOUS 23738370 HAS SOUPS 23119160 WITH SCORE 2.3201431268E7
AT ITER 1806 NEW BEST:: SOT 132864456 SOS 82233469 HAS SOPS 67276872 HAS SOUS 23718368 HAS SOUPS 23099598 WITH SCORE 2.3181831469E7
AT ITER 1835 NEW BEST:: SOT 132862207 SOS 82236650 HAS SOPS 67277378 HAS SOUS 23691839 HAS SOUPS 23073147 WITH SCORE 2.315538365E7
AT ITER 1837 NEW BEST:: SOT 132877115 SOS 82275906 HAS SOPS 67296181 HAS SOUS 23685131 HAS SOUPS 23066283 WITH SCORE 2.3148558906E7
AT ITER 1842 NEW BEST:: SOT 132878158 SOS 82278142 HAS SOPS 67297750 HAS SOUS 23684855 HAS SOUPS 23066007 WITH SCORE 2.3148285142E7
AT ITER 1845 NEW BEST:: SOT 132857725 SOS 82238276 HAS SOPS 67254400 HAS SOUS 23662817 HAS SOUPS 23043969 WITH SCORE 2.3126207276E7
AT ITER 1853 NEW BEST:: SOT 132858422 SOS 82238965 HAS SOPS 67254227 HAS SOUS 23658215 HAS SOUPS 23039367 WITH SCORE 2.3121605965E7
AT ITER 1858 NEW BEST:: SOT 132856629 SOS 82245257 HAS SOPS 67256517 HAS SOUS 23642942 HAS SOUPS 23024094 WITH SCORE 2.3106339257E7
AT ITER 1864 NEW BEST:: SOT 132835452 SOS 82217090 HAS SOPS 67230839 HAS SOUS 23618010 HAS SOUPS 22999162 WITH SCORE 2.308137909E7
AT ITER 1873 NEW BEST:: SOT 132840977 SOS 82224723 HAS SOPS 67252606 HAS SOUS 23607659 HAS SOUPS 22989152 WITH SCORE 2.3071376723E7
AT ITER 1874 NEW BEST:: SOT 132840125 SOS 82216933 HAS SOPS 67243276 HAS SOUS 23598896 HAS SOUPS 22980389 WITH SCORE 2.3062605933E7
AT ITER 1878 NEW BEST:: SOT 132855637 SOS 82256814 HAS SOPS 67285555 HAS SOUS 23592278 HAS SOUPS 22973771 WITH SCORE 2.3056027814E7
AT ITER 1880 NEW BEST:: SOT 132855589 SOS 82256912 HAS SOPS 67285673 HAS SOUS 23592078 HAS SOUPS 22973571 WITH SCORE 2.3055827912E7
AT ITER 1892 NEW BEST:: SOT 132853961 SOS 82254715 HAS SOPS 67283742 HAS SOUS 23588658 HAS SOUPS 22970151 WITH SCORE 2.3052405715E7
AT ITER 1893 NEW BEST:: SOT 132859954 SOS 82269257 HAS SOPS 67292205 HAS SOUS 23584576 HAS SOUPS 22965638 WITH SCORE 2.3047907257E7
AT ITER 1897 NEW BEST:: SOT 132883372 SOS 82339561 HAS SOPS 67363002 HAS SOUS 23570954 HAS SOUPS 22952016 WITH SCORE 2.3034355561E7
AT ITER 1907 NEW BEST:: SOT 132898284 SOS 82389631 HAS SOPS 67404509 HAS SOUS 23558790 HAS SOUPS 22939852 WITH SCORE 2.3022241631E7
AT ITER 1913 NEW BEST:: SOT 132864388 SOS 82333774 HAS SOPS 67357339 HAS SOUS 23549139 HAS SOUPS 22929659 WITH SCORE 2.3011992774E7
AT ITER 1917 NEW BEST:: SOT 132884951 SOS 82373433 HAS SOPS 67408659 HAS SOUS 23545080 HAS SOUPS 22925600 WITH SCORE 2.3007973433E7
AT ITER 1931 NEW BEST:: SOT 132883852 SOS 82373115 HAS SOPS 67410234 HAS SOUS 23532977 HAS SOUPS 22913497 WITH SCORE 2.2995870115E7
AT ITER 1933 NEW BEST:: SOT 132883528 SOS 82372707 HAS SOPS 67409802 HAS SOUS 23532806 HAS SOUPS 22913194 WITH SCORE 2.2995566707E7
AT ITER 1939 NEW BEST:: SOT 132884577 SOS 82361087 HAS SOPS 67433545 HAS SOUS 23528664 HAS SOUPS 22909427 WITH SCORE 2.2991788087E7
AT ITER 1942 NEW BEST:: SOT 132896386 SOS 82394788 HAS SOPS 67460428 HAS SOUS 23526836 HAS SOUPS 22907599 WITH SCORE 2.2989993788E7
AT ITER 1948 NEW BEST:: SOT 132882403 SOS 82380918 HAS SOPS 67443273 HAS SOUS 23505852 HAS SOUPS 22886549 WITH SCORE 2.2968929918E7
AT ITER 1951 NEW BEST:: SOT 132876733 SOS 82369922 HAS SOPS 67431052 HAS SOUS 23497891 HAS SOUPS 22878588 WITH SCORE 2.2960957922E7
AT ITER 1953 NEW BEST:: SOT 132876484 SOS 82368878 HAS SOPS 67429661 HAS SOUS 23497516 HAS SOUPS 22878213 WITH SCORE 2.2960581878E7
AT ITER 1958 NEW BEST:: SOT 132885341 SOS 82391108 HAS SOPS 67483687 HAS SOUS 23493273 HAS SOUPS 22873970 WITH SCORE 2.2956361108E7
AT ITER 1959 NEW BEST:: SOT 132886787 SOS 82393757 HAS SOPS 67485403 HAS SOUS 23493120 HAS SOUPS 22873817 WITH SCORE 2.2956210757E7
AT ITER 1961 NEW BEST:: SOT 132860522 SOS 82338527 HAS SOPS 67446541 HAS SOUS 23422769 HAS SOUPS 22803466 WITH SCORE 2.2885804527E7
AT ITER 1977 NEW BEST:: SOT 132860581 SOS 82342100 HAS SOPS 67450644 HAS SOUS 23422212 HAS SOUPS 22802909 WITH SCORE 2.28852511E7
AT ITER 1981 NEW BEST:: SOT 132861741 SOS 82343176 HAS SOPS 67450312 HAS SOUS 23421871 HAS SOUPS 22802824 WITH SCORE 2.2885167176E7
AT ITER 1984 NEW BEST:: SOT 132834292 SOS 82305466 HAS SOPS 67420548 HAS SOUS 23393422 HAS SOUPS 22774375 WITH SCORE 2.2856680466E7
AT ITER 1990 NEW BEST:: SOT 132850327 SOS 82339181 HAS SOPS 67441230 HAS SOUS 23390486 HAS SOUPS 22771439 WITH SCORE 2.2853778181E7
AT ITER 1995 NEW BEST:: SOT 132872447 SOS 82429460 HAS SOPS 67527696 HAS SOUS 23365127 HAS SOUPS 22746080 WITH SCORE 2.282850946E7
AT ITER 2002 NEW BEST:: SOT 132872401 SOS 82429427 HAS SOPS 67527600 HAS SOUS 23365005 HAS SOUPS 22745958 WITH SCORE 2.2828387427E7
AT ITER 2023 NEW BEST:: SOT 132859647 SOS 82400000 HAS SOPS 67504513 HAS SOUS 23362066 HAS SOUPS 22743019 WITH SCORE 2.2825419E7
AT ITER 2034 NEW BEST:: SOT 132858559 SOS 82395019 HAS SOPS 67497331 HAS SOUS 23357933 HAS SOUPS 22738886 WITH SCORE 2.2821281019E7
AT ITER 2045 NEW BEST:: SOT 132855719 SOS 82386940 HAS SOPS 67485918 HAS SOUS 23353860 HAS SOUPS 22734813 WITH SCORE 2.281719994E7
AT ITER 2054 NEW BEST:: SOT 132851680 SOS 82380092 HAS SOPS 67479776 HAS SOUS 23344447 HAS SOUPS 22725400 WITH SCORE 2.2807780092E7
AT ITER 2073 NEW BEST:: SOT 132868704 SOS 82409932 HAS SOPS 67498344 HAS SOUS 23327108 HAS SOUPS 22708061 WITH SCORE 2.2790470932E7
AT ITER 2074 NEW BEST:: SOT 132868072 SOS 82417953 HAS SOPS 67493271 HAS SOUS 23319302 HAS SOUPS 22700255 WITH SCORE 2.2782672953E7
AT ITER 2080 NEW BEST:: SOT 132868469 SOS 82424749 HAS SOPS 67500245 HAS SOUS 23314949 HAS SOUPS 22695902 WITH SCORE 2.2778326749E7
AT ITER 2082 NEW BEST:: SOT 132864215 SOS 82415968 HAS SOPS 67503652 HAS SOUS 23297163 HAS SOUPS 22678411 WITH SCORE 2.2760826968E7
AT ITER 2086 NEW BEST:: SOT 132858496 SOS 82411100 HAS SOPS 67503406 HAS SOUS 23283853 HAS SOUPS 22665101 WITH SCORE 2.27475121E7
AT ITER 2123 NEW BEST:: SOT 132865082 SOS 82421186 HAS SOPS 67522507 HAS SOUS 23281589 HAS SOUPS 22662837 WITH SCORE 2.2745258186E7
AT ITER 2133 NEW BEST:: SOT 132864960 SOS 82422240 HAS SOPS 67523075 HAS SOUS 23279105 HAS SOUPS 22660353 WITH SCORE 2.274277524E7
AT ITER 2134 NEW BEST:: SOT 132835406 SOS 82375936 HAS SOPS 67488670 HAS SOUS 23241692 HAS SOUPS 22623003 WITH SCORE 2.2705378936E7
AT ITER 2137 NEW BEST:: SOT 132836735 SOS 82365565 HAS SOPS 67482363 HAS SOUS 23216486 HAS SOUPS 22597797 WITH SCORE 2.2680162565E7
AT ITER 2140 NEW BEST:: SOT 132836572 SOS 82365343 HAS SOPS 67482121 HAS SOUS 23216262 HAS SOUPS 22597573 WITH SCORE 2.2679938343E7
AT ITER 2142 NEW BEST:: SOT 132835137 SOS 82362806 HAS SOPS 67479367 HAS SOUS 23213938 HAS SOUPS 22595249 WITH SCORE 2.2677611806E7
AT ITER 2155 NEW BEST:: SOT 132832200 SOS 82350998 HAS SOPS 67464420 HAS SOUS 23211525 HAS SOUPS 22592795 WITH SCORE 2.2675145998E7
AT ITER 2158 NEW BEST:: SOT 132829393 SOS 82359490 HAS SOPS 67467426 HAS SOUS 23194879 HAS SOUPS 22576149 WITH SCORE 2.265850849E7
AT ITER 2175 NEW BEST:: SOT 132829418 SOS 82357554 HAS SOPS 67467332 HAS SOUS 23193268 HAS SOUPS 22574538 WITH SCORE 2.2656895554E7
AT ITER 2228 NEW BEST:: SOT 132827008 SOS 82355263 HAS SOPS 67463433 HAS SOUS 23187381 HAS SOUPS 22568588 WITH SCORE 2.2650943263E7
AT ITER 2241 NEW BEST:: SOT 132822942 SOS 82345295 HAS SOPS 67457295 HAS SOUS 23180487 HAS SOUPS 22562996 WITH SCORE 2.2645341295E7
AT ITER 2261 NEW BEST:: SOT 132827038 SOS 82355812 HAS SOPS 67469059 HAS SOUS 23177927 HAS SOUPS 22560436 WITH SCORE 2.2642791812E7
AT ITER 2269 NEW BEST:: SOT 132824498 SOS 82353050 HAS SOPS 67466297 HAS SOUS 23172635 HAS SOUPS 22555144 WITH SCORE 2.263749705E7
AT ITER 2271 NEW BEST:: SOT 132824113 SOS 82352511 HAS SOPS 67465632 HAS SOUS 23171732 HAS SOUPS 22554241 WITH SCORE 2.2636593511E7
AT ITER 2277 NEW BEST:: SOT 132845853 SOS 82403646 HAS SOPS 67513270 HAS SOUS 23167486 HAS SOUPS 22549807 WITH SCORE 2.2632210646E7
AT ITER 2283 NEW BEST:: SOT 132840634 SOS 82379715 HAS SOPS 67521344 HAS SOUS 23151053 HAS SOUPS 22533768 WITH SCORE 2.2616147715E7
AT ITER 2302 NEW BEST:: SOT 132832137 SOS 82367094 HAS SOPS 67511545 HAS SOUS 23141276 HAS SOUPS 22524124 WITH SCORE 2.2606491094E7
AT ITER 2333 NEW BEST:: SOT 132833512 SOS 82368347 HAS SOPS 67514580 HAS SOUS 23139191 HAS SOUPS 22522039 WITH SCORE 2.2604407347E7
AT ITER 2352 NEW BEST:: SOT 132728764 SOS 82247767 HAS SOPS 67409832 HAS SOUS 23029431 HAS SOUPS 22412641 WITH SCORE 2.2494888767E7
AT ITER 2355 NEW BEST:: SOT 132727388 SOS 82249179 HAS SOPS 67408946 HAS SOUS 23027771 HAS SOUPS 22410959 WITH SCORE 2.2493208179E7
AT ITER 2358 NEW BEST:: SOT 132733523 SOS 82261276 HAS SOPS 67415475 HAS SOUS 23022361 HAS SOUPS 22405449 WITH SCORE 2.2487710276E7
AT ITER 2367 NEW BEST:: SOT 132740420 SOS 82276018 HAS SOPS 67424617 HAS SOUS 23021446 HAS SOUPS 22404387 WITH SCORE 2.2486663018E7
AT ITER 2372 NEW BEST:: SOT 132733950 SOS 82259964 HAS SOPS 67412291 HAS SOUS 23021355 HAS SOUPS 22404296 WITH SCORE 2.2486555964E7
AT ITER 2373 NEW BEST:: SOT 132728914 SOS 82263509 HAS SOPS 67404243 HAS SOUS 23013189 HAS SOUPS 22396084 WITH SCORE 2.2478347509E7
AT ITER 2378 NEW BEST:: SOT 132733393 SOS 82282866 HAS SOPS 67415446 HAS SOUS 23010950 HAS SOUPS 22393845 WITH SCORE 2.2476127866E7
AT ITER 2382 NEW BEST:: SOT 132722926 SOS 82278144 HAS SOPS 67407266 HAS SOUS 22983745 HAS SOUPS 22366479 WITH SCORE 2.2448757144E7
AT ITER 2397 NEW BEST:: SOT 132697105 SOS 82216871 HAS SOPS 67355176 HAS SOUS 22955446 HAS SOUPS 22338180 WITH SCORE 2.2420396871E7
AT ITER 2398 NEW BEST:: SOT 132697005 SOS 82216700 HAS SOPS 67355081 HAS SOUS 22955256 HAS SOUPS 22337990 WITH SCORE 2.24202067E7
AT ITER 2411 NEW BEST:: SOT 132698572 SOS 82215457 HAS SOPS 67374018 HAS SOUS 22914288 HAS SOUPS 22303411 WITH SCORE 2.2385626457E7
AT ITER 2414 NEW BEST:: SOT 132694948 SOS 82210405 HAS SOPS 67369302 HAS SOUS 22908230 HAS SOUPS 22297353 WITH SCORE 2.2379563405E7
AT ITER 2422 NEW BEST:: SOT 132694406 SOS 82206756 HAS SOPS 67364787 HAS SOUS 22906147 HAS SOUPS 22295270 WITH SCORE 2.2377476756E7
AT ITER 2424 NEW BEST:: SOT 132681576 SOS 82195492 HAS SOPS 67350316 HAS SOUS 22881215 HAS SOUPS 22268831 WITH SCORE 2.2351026492E7
AT ITER 2427 NEW BEST:: SOT 132672800 SOS 82178537 HAS SOPS 67338644 HAS SOUS 22876555 HAS SOUPS 22264171 WITH SCORE 2.2346349537E7
AT ITER 2466 NEW BEST:: SOT 132673274 SOS 82172705 HAS SOPS 67318530 HAS SOUS 22866070 HAS SOUPS 22253686 WITH SCORE 2.2335858705E7
AT ITER 2471 NEW BEST:: SOT 132673392 SOS 82174606 HAS SOPS 67320492 HAS SOUS 22863821 HAS SOUPS 22251437 WITH SCORE 2.2333611606E7
AT ITER 2475 NEW BEST:: SOT 132591372 SOS 82027109 HAS SOPS 67198138 HAS SOUS 22834789 HAS SOUPS 22222357 WITH SCORE 2.2304384109E7
AT ITER 2531 NEW BEST:: SOT 132590615 SOS 82031909 HAS SOPS 67200033 HAS SOUS 22825453 HAS SOUPS 22212958 WITH SCORE 2.2294989909E7
AT ITER 2541 NEW BEST:: SOT 132563184 SOS 82008739 HAS SOPS 67178225 HAS SOUS 22726960 HAS SOUPS 22114773 WITH SCORE 2.2196781739E7
AT ITER 2551 NEW BEST:: SOT 132534354 SOS 81968280 HAS SOPS 67136071 HAS SOUS 22680263 HAS SOUPS 22069057 WITH SCORE 2.215102528E7
AT ITER 2554 NEW BEST:: SOT 132534505 SOS 81968837 HAS SOPS 67135613 HAS SOUS 22679563 HAS SOUPS 22067632 WITH SCORE 2.2149600837E7
AT ITER 2560 NEW BEST:: SOT 132540126 SOS 82002460 HAS SOPS 67175809 HAS SOUS 22676709 HAS SOUPS 22064778 WITH SCORE 2.214678046E7

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="RERS17pb114-PT-3"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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-4028"
echo " Executing tool smart"
echo " Input is RERS17pb114-PT-3, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r138-smll-158961502300091"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb114-PT-3.tgz
mv RERS17pb114-PT-3 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;