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-158961502300083.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-2, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502300083
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 3.2K Apr 12 07:17 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 12 07:17 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Apr 11 08:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 11 08:11 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.7K Apr 14 12:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 14 12:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Apr 10 14:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 10 14:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Apr 9 20:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 9 20:39 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-2-CTLCardinality-00
FORMULA_NAME RERS17pb114-PT-2-CTLCardinality-01
FORMULA_NAME RERS17pb114-PT-2-CTLCardinality-02
FORMULA_NAME RERS17pb114-PT-2-CTLCardinality-03
FORMULA_NAME RERS17pb114-PT-2-CTLCardinality-04
FORMULA_NAME RERS17pb114-PT-2-CTLCardinality-05
FORMULA_NAME RERS17pb114-PT-2-CTLCardinality-06
FORMULA_NAME RERS17pb114-PT-2-CTLCardinality-07
FORMULA_NAME RERS17pb114-PT-2-CTLCardinality-08
FORMULA_NAME RERS17pb114-PT-2-CTLCardinality-09
FORMULA_NAME RERS17pb114-PT-2-CTLCardinality-10
FORMULA_NAME RERS17pb114-PT-2-CTLCardinality-11
FORMULA_NAME RERS17pb114-PT-2-CTLCardinality-12
FORMULA_NAME RERS17pb114-PT-2-CTLCardinality-13
FORMULA_NAME RERS17pb114-PT-2-CTLCardinality-14
FORMULA_NAME RERS17pb114-PT-2-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589700764580

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb114 (PT), instance 2
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 6 NEW BEST:: SOT 133650821 SOS 82211343 HAS SOPS 66758687 HAS SOUS 26432742 HAS SOUPS 25802051 WITH SCORE 2.5884262343E7
AT ITER 15 NEW BEST:: SOT 133649715 SOS 82210348 HAS SOPS 66756967 HAS SOUS 26430373 HAS SOUPS 25799682 WITH SCORE 2.5881892348E7
AT ITER 23 NEW BEST:: SOT 133654599 SOS 82232498 HAS SOPS 66772762 HAS SOUS 26422553 HAS SOUPS 25791862 WITH SCORE 2.5874094498E7
AT ITER 24 NEW BEST:: SOT 133654885 SOS 82233786 HAS SOPS 66773613 HAS SOUS 26422458 HAS SOUPS 25791767 WITH SCORE 2.5874000786E7
AT ITER 40 NEW BEST:: SOT 133655767 SOS 82236702 HAS SOPS 66774810 HAS SOUS 26420982 HAS SOUPS 25790291 WITH SCORE 2.5872527702E7
AT ITER 42 NEW BEST:: SOT 133645848 SOS 82207424 HAS SOPS 66746514 HAS SOUS 26407971 HAS SOUPS 25777481 WITH SCORE 2.5859688424E7
AT ITER 54 NEW BEST:: SOT 133648496 SOS 82215732 HAS SOPS 66749528 HAS SOUS 26404072 HAS SOUPS 25773582 WITH SCORE 2.5855797732E7
AT ITER 61 NEW BEST:: SOT 133655001 SOS 82254754 HAS SOPS 66778505 HAS SOUS 26396324 HAS SOUPS 25765834 WITH SCORE 2.5848088754E7
AT ITER 66 NEW BEST:: SOT 133601294 SOS 82134384 HAS SOPS 66695922 HAS SOUS 26370067 HAS SOUPS 25739860 WITH SCORE 2.5821994384E7
AT ITER 70 NEW BEST:: SOT 133580092 SOS 82097726 HAS SOPS 66665192 HAS SOUS 26348521 HAS SOUPS 25718314 WITH SCORE 2.5800411726E7
AT ITER 77 NEW BEST:: SOT 133589047 SOS 82128212 HAS SOPS 66681269 HAS SOUS 26335444 HAS SOUPS 25705237 WITH SCORE 2.5787365212E7
AT ITER 78 NEW BEST:: SOT 133620006 SOS 82231163 HAS SOPS 66805498 HAS SOUS 26298355 HAS SOUPS 25668148 WITH SCORE 2.5750379163E7
AT ITER 81 NEW BEST:: SOT 133622329 SOS 82242181 HAS SOPS 66813602 HAS SOUS 26296292 HAS SOUPS 25666085 WITH SCORE 2.5748327181E7
AT ITER 94 NEW BEST:: SOT 133621482 SOS 82240444 HAS SOPS 66814572 HAS SOUS 26293133 HAS SOUPS 25662926 WITH SCORE 2.5745166444E7
AT ITER 119 NEW BEST:: SOT 133620118 SOS 82238196 HAS SOPS 66814419 HAS SOUS 26290296 HAS SOUPS 25660089 WITH SCORE 2.5742327196E7
AT ITER 127 NEW BEST:: SOT 133628349 SOS 82269259 HAS SOPS 66837297 HAS SOUS 26289185 HAS SOUPS 25658978 WITH SCORE 2.5741247259E7
AT ITER 137 NEW BEST:: SOT 133627021 SOS 82269690 HAS SOPS 66833177 HAS SOUS 26282281 HAS SOUPS 25652111 WITH SCORE 2.573438069E7
AT ITER 147 NEW BEST:: SOT 133619135 SOS 82249544 HAS SOPS 66817501 HAS SOUS 26280103 HAS SOUPS 25649933 WITH SCORE 2.5732182544E7
AT ITER 150 NEW BEST:: SOT 133619834 SOS 82253257 HAS SOPS 66825659 HAS SOUS 26277323 HAS SOUPS 25647246 WITH SCORE 2.5729499257E7
AT ITER 152 NEW BEST:: SOT 133489851 SOS 82119217 HAS SOPS 66692109 HAS SOUS 26069887 HAS SOUPS 25440002 WITH SCORE 2.5522121217E7
AT ITER 155 NEW BEST:: SOT 133497297 SOS 82139660 HAS SOPS 66714793 HAS SOUS 26066150 HAS SOUPS 25436265 WITH SCORE 2.551840466E7
AT ITER 164 NEW BEST:: SOT 133466045 SOS 82075653 HAS SOPS 66670673 HAS SOUS 26044192 HAS SOUPS 25414293 WITH SCORE 2.5496368653E7
AT ITER 165 NEW BEST:: SOT 133445456 SOS 82038732 HAS SOPS 66646300 HAS SOUS 26025357 HAS SOUPS 25396343 WITH SCORE 2.5478381732E7
AT ITER 181 NEW BEST:: SOT 133423596 SOS 82013406 HAS SOPS 66622905 HAS SOUS 25998298 HAS SOUPS 25368789 WITH SCORE 2.5450802406E7
AT ITER 193 NEW BEST:: SOT 133431865 SOS 82033287 HAS SOPS 66633927 HAS SOUS 25989190 HAS SOUPS 25359681 WITH SCORE 2.5441714287E7
AT ITER 195 NEW BEST:: SOT 133382221 SOS 81983347 HAS SOPS 66584283 HAS SOUS 25905065 HAS SOUPS 25275668 WITH SCORE 2.5357651347E7
AT ITER 202 NEW BEST:: SOT 133407197 SOS 82043986 HAS SOPS 66629620 HAS SOUS 25904657 HAS SOUPS 25275260 WITH SCORE 2.5357303986E7
AT ITER 213 NEW BEST:: SOT 133433768 SOS 82124674 HAS SOPS 66684106 HAS SOUS 25888207 HAS SOUPS 25258810 WITH SCORE 2.5340934674E7
AT ITER 214 NEW BEST:: SOT 133432526 SOS 82123414 HAS SOPS 66682846 HAS SOUS 25886797 HAS SOUPS 25257496 WITH SCORE 2.5339619414E7
AT ITER 226 NEW BEST:: SOT 133429260 SOS 82120088 HAS SOPS 66679514 HAS SOUS 25881862 HAS SOUPS 25252602 WITH SCORE 2.5334722088E7
AT ITER 243 NEW BEST:: SOT 133447864 SOS 82182070 HAS SOPS 66752344 HAS SOUS 25876637 HAS SOUPS 25247377 WITH SCORE 2.532955907E7
AT ITER 253 NEW BEST:: SOT 133441607 SOS 82161942 HAS SOPS 66741675 HAS SOUS 25868543 HAS SOUPS 25240179 WITH SCORE 2.5322340942E7
AT ITER 254 NEW BEST:: SOT 133439289 SOS 82158837 HAS SOPS 66737155 HAS SOUS 25860968 HAS SOUPS 25232604 WITH SCORE 2.5314762837E7
AT ITER 257 NEW BEST:: SOT 133440779 SOS 82163108 HAS SOPS 66739100 HAS SOUS 25859394 HAS SOUPS 25231012 WITH SCORE 2.5313175108E7
AT ITER 271 NEW BEST:: SOT 133437031 SOS 82157038 HAS SOPS 66734799 HAS SOUS 25857475 HAS SOUPS 25229093 WITH SCORE 2.5311250038E7
AT ITER 272 NEW BEST:: SOT 133435269 SOS 82152642 HAS SOPS 66730330 HAS SOUS 25840443 HAS SOUPS 25212061 WITH SCORE 2.5294213642E7
AT ITER 273 NEW BEST:: SOT 133434920 SOS 82153859 HAS SOPS 66731497 HAS SOUS 25838313 HAS SOUPS 25209931 WITH SCORE 2.5292084859E7
AT ITER 283 NEW BEST:: SOT 133435669 SOS 82157555 HAS SOPS 66732972 HAS SOUS 25836107 HAS SOUPS 25207725 WITH SCORE 2.5289882555E7
AT ITER 293 NEW BEST:: SOT 133426244 SOS 82131522 HAS SOPS 66712500 HAS SOUS 25834016 HAS SOUPS 25205634 WITH SCORE 2.5287765522E7
AT ITER 300 NEW BEST:: SOT 133426244 SOS 82131314 HAS SOPS 66712964 HAS SOUS 25834015 HAS SOUPS 25205633 WITH SCORE 2.5287764314E7
AT ITER 301 NEW BEST:: SOT 133420722 SOS 82111373 HAS SOPS 66696032 HAS SOUS 25831697 HAS SOUPS 25203315 WITH SCORE 2.5285426373E7
AT ITER 313 NEW BEST:: SOT 133420010 SOS 82110683 HAS SOPS 66695375 HAS SOUS 25830127 HAS SOUPS 25201745 WITH SCORE 2.5283855683E7
AT ITER 333 NEW BEST:: SOT 133490797 SOS 82207023 HAS SOPS 66838679 HAS SOUS 25819867 HAS SOUPS 25191365 WITH SCORE 2.5273572023E7
AT ITER 334 NEW BEST:: SOT 133489150 SOS 82202914 HAS SOPS 66834570 HAS SOUS 25818802 HAS SOUPS 25190320 WITH SCORE 2.5272522914E7
AT ITER 364 NEW BEST:: SOT 133489633 SOS 82197655 HAS SOPS 66852262 HAS SOUS 25810568 HAS SOUPS 25182086 WITH SCORE 2.5264283655E7
AT ITER 365 NEW BEST:: SOT 133477887 SOS 82184953 HAS SOPS 66846627 HAS SOUS 25791841 HAS SOUPS 25163359 WITH SCORE 2.5245543953E7
AT ITER 368 NEW BEST:: SOT 133502718 SOS 82247348 HAS SOPS 66891492 HAS SOUS 25786397 HAS SOUPS 25157915 WITH SCORE 2.5240162348E7
AT ITER 377 NEW BEST:: SOT 133503058 SOS 82249526 HAS SOPS 66894302 HAS SOUS 25785427 HAS SOUPS 25156945 WITH SCORE 2.5239194526E7
AT ITER 384 NEW BEST:: SOT 133503429 SOS 82252022 HAS SOPS 66896798 HAS SOUS 25764789 HAS SOUPS 25136307 WITH SCORE 2.5218559022E7
AT ITER 394 NEW BEST:: SOT 133494635 SOS 82241510 HAS SOPS 66883456 HAS SOUS 25748992 HAS SOUPS 25120510 WITH SCORE 2.520275151E7
AT ITER 412 NEW BEST:: SOT 133441581 SOS 82193962 HAS SOPS 66822722 HAS SOUS 25701327 HAS SOUPS 25072591 WITH SCORE 2.5154784962E7
AT ITER 418 NEW BEST:: SOT 133445572 SOS 82235432 HAS SOPS 66854364 HAS SOUS 25676950 HAS SOUPS 25048214 WITH SCORE 2.5130449432E7
AT ITER 444 NEW BEST:: SOT 133447480 SOS 82238642 HAS SOPS 66859054 HAS SOUS 25675578 HAS SOUPS 25046879 WITH SCORE 2.5129117642E7
AT ITER 446 NEW BEST:: SOT 133428099 SOS 82231048 HAS SOPS 66884197 HAS SOUS 25651977 HAS SOUPS 25023278 WITH SCORE 2.5105509048E7
AT ITER 447 NEW BEST:: SOT 133491515 SOS 82427558 HAS SOPS 67118167 HAS SOUS 25647914 HAS SOUPS 25019215 WITH SCORE 2.5101642558E7
AT ITER 498 NEW BEST:: SOT 133473317 SOS 82404205 HAS SOPS 67096614 HAS SOUS 25640712 HAS SOUPS 25012013 WITH SCORE 2.5094417205E7
AT ITER 506 NEW BEST:: SOT 133473850 SOS 82408617 HAS SOPS 67099445 HAS SOUS 25637387 HAS SOUPS 25008688 WITH SCORE 2.5091096617E7
AT ITER 539 NEW BEST:: SOT 133473290 SOS 82408783 HAS SOPS 67099023 HAS SOUS 25635669 HAS SOUPS 25006970 WITH SCORE 2.5089378783E7
AT ITER 546 NEW BEST:: SOT 133468610 SOS 82427677 HAS SOPS 67124352 HAS SOUS 25596772 HAS SOUPS 24968073 WITH SCORE 2.5050500677E7
AT ITER 551 NEW BEST:: SOT 133471883 SOS 82448250 HAS SOPS 67137908 HAS SOUS 25595290 HAS SOUPS 24966591 WITH SCORE 2.504903925E7
AT ITER 552 NEW BEST:: SOT 133469768 SOS 82446071 HAS SOPS 67135616 HAS SOUS 25595138 HAS SOUPS 24966439 WITH SCORE 2.5048885071E7
AT ITER 557 NEW BEST:: SOT 133469177 SOS 82445446 HAS SOPS 67135328 HAS SOUS 25593811 HAS SOUPS 24965102 WITH SCORE 2.5047547446E7
AT ITER 559 NEW BEST:: SOT 133433302 SOS 82374518 HAS SOPS 67088113 HAS SOUS 25558985 HAS SOUPS 24931649 WITH SCORE 2.5014023518E7
AT ITER 560 NEW BEST:: SOT 133448924 SOS 82409668 HAS SOPS 67123703 HAS SOUS 25535123 HAS SOUPS 24908829 WITH SCORE 2.4991238668E7
AT ITER 575 NEW BEST:: SOT 133358076 SOS 82271752 HAS SOPS 67042958 HAS SOUS 25456353 HAS SOUPS 24830629 WITH SCORE 2.4912900752E7
AT ITER 584 NEW BEST:: SOT 133331618 SOS 82241800 HAS SOPS 67017841 HAS SOUS 25406181 HAS SOUPS 24780594 WITH SCORE 2.48628358E7
AT ITER 594 NEW BEST:: SOT 133326745 SOS 82250478 HAS SOPS 67034340 HAS SOUS 25396700 HAS SOUPS 24771113 WITH SCORE 2.4853363478E7
AT ITER 651 NEW BEST:: SOT 133362221 SOS 82367376 HAS SOPS 67178596 HAS SOUS 25369529 HAS SOUPS 24743942 WITH SCORE 2.4826309376E7
AT ITER 659 NEW BEST:: SOT 133350272 SOS 82354471 HAS SOPS 67163067 HAS SOUS 25354556 HAS SOUPS 24728969 WITH SCORE 2.4811323471E7
AT ITER 661 NEW BEST:: SOT 133353441 SOS 82367750 HAS SOPS 67169637 HAS SOUS 25350413 HAS SOUPS 24724826 WITH SCORE 2.480719375E7
AT ITER 664 NEW BEST:: SOT 133353701 SOS 82367989 HAS SOPS 67170644 HAS SOUS 25348240 HAS SOUPS 24723421 WITH SCORE 2.4805788989E7
AT ITER 666 NEW BEST:: SOT 133349652 SOS 82365043 HAS SOPS 67165216 HAS SOUS 25337214 HAS SOUPS 24712395 WITH SCORE 2.4794760043E7
AT ITER 667 NEW BEST:: SOT 133350263 SOS 82372396 HAS SOPS 67171936 HAS SOUS 25336031 HAS SOUPS 24711212 WITH SCORE 2.4793584396E7
AT ITER 684 NEW BEST:: SOT 133347156 SOS 82361020 HAS SOPS 67162759 HAS SOUS 25335991 HAS SOUPS 24711172 WITH SCORE 2.479353302E7
AT ITER 686 NEW BEST:: SOT 133340777 SOS 82354641 HAS SOPS 67155676 HAS SOUS 25334300 HAS SOUPS 24709369 WITH SCORE 2.4791723641E7
AT ITER 690 NEW BEST:: SOT 133366688 SOS 82441928 HAS SOPS 67235825 HAS SOUS 25332059 HAS SOUPS 24707128 WITH SCORE 2.4789569928E7
AT ITER 693 NEW BEST:: SOT 133365248 SOS 82438123 HAS SOPS 67239636 HAS SOUS 25300173 HAS SOUPS 24676695 WITH SCORE 2.4759133123E7
AT ITER 729 NEW BEST:: SOT 133365186 SOS 82438057 HAS SOPS 67239474 HAS SOUS 25300169 HAS SOUPS 24676691 WITH SCORE 2.4759129057E7
AT ITER 730 NEW BEST:: SOT 133362789 SOS 82437867 HAS SOPS 67237070 HAS SOUS 25292001 HAS SOUPS 24668523 WITH SCORE 2.4750960867E7
AT ITER 735 NEW BEST:: SOT 133354738 SOS 82429778 HAS SOPS 67228924 HAS SOUS 25283397 HAS SOUPS 24659919 WITH SCORE 2.4742348778E7
AT ITER 768 NEW BEST:: SOT 133340450 SOS 82394233 HAS SOPS 67206258 HAS SOUS 25278757 HAS SOUPS 24655279 WITH SCORE 2.4737673233E7
AT ITER 776 NEW BEST:: SOT 133338621 SOS 82390574 HAS SOPS 67203329 HAS SOUS 25277128 HAS SOUPS 24653700 WITH SCORE 2.4736090574E7
AT ITER 779 NEW BEST:: SOT 133312985 SOS 82353536 HAS SOPS 67167854 HAS SOUS 25214337 HAS SOUPS 24591184 WITH SCORE 2.4673537536E7
AT ITER 793 NEW BEST:: SOT 133326216 SOS 82389713 HAS SOPS 67196630 HAS SOUS 25202895 HAS SOUPS 24580087 WITH SCORE 2.4662476713E7
AT ITER 798 NEW BEST:: SOT 133322488 SOS 82386566 HAS SOPS 67195192 HAS SOUS 25192129 HAS SOUPS 24570486 WITH SCORE 2.4652872566E7
AT ITER 807 NEW BEST:: SOT 133322228 SOS 82386249 HAS SOPS 67194975 HAS SOUS 25192050 HAS SOUPS 24570407 WITH SCORE 2.4652793249E7
AT ITER 813 NEW BEST:: SOT 133325474 SOS 82392496 HAS SOPS 67209674 HAS SOUS 25183193 HAS SOUPS 24561550 WITH SCORE 2.4643942496E7
AT ITER 832 NEW BEST:: SOT 133326151 SOS 82397257 HAS SOPS 67212208 HAS SOUS 25176395 HAS SOUPS 24554752 WITH SCORE 2.4637149257E7
AT ITER 843 NEW BEST:: SOT 133322811 SOS 82395101 HAS SOPS 67210052 HAS SOUS 25173129 HAS SOUPS 24551486 WITH SCORE 2.4633881101E7
AT ITER 844 NEW BEST:: SOT 133323092 SOS 82398753 HAS SOPS 67212416 HAS SOUS 25170978 HAS SOUPS 24549335 WITH SCORE 2.4631733753E7
AT ITER 861 NEW BEST:: SOT 133224985 SOS 82299135 HAS SOPS 67110419 HAS SOUS 25086797 HAS SOUPS 24464394 WITH SCORE 2.4546693135E7
AT ITER 869 NEW BEST:: SOT 133226130 SOS 82300957 HAS SOPS 67112108 HAS SOUS 25084735 HAS SOUPS 24462332 WITH SCORE 2.4544632957E7
AT ITER 885 NEW BEST:: SOT 133224558 SOS 82338634 HAS SOPS 67138539 HAS SOUS 25047776 HAS SOUPS 24425373 WITH SCORE 2.4507711634E7
AT ITER 887 NEW BEST:: SOT 133205971 SOS 82319913 HAS SOPS 67117823 HAS SOUS 25034599 HAS SOUPS 24412196 WITH SCORE 2.4494515913E7
AT ITER 902 NEW BEST:: SOT 133199376 SOS 82306611 HAS SOPS 67093347 HAS SOUS 25021023 HAS SOUPS 24398620 WITH SCORE 2.4480926611E7
AT ITER 903 NEW BEST:: SOT 133204463 SOS 82327394 HAS SOPS 67107189 HAS SOUS 25014899 HAS SOUPS 24392496 WITH SCORE 2.4474823394E7
AT ITER 906 NEW BEST:: SOT 133196486 SOS 82318998 HAS SOPS 67096087 HAS SOUS 24998505 HAS SOUPS 24376309 WITH SCORE 2.4458627998E7
AT ITER 907 NEW BEST:: SOT 133196386 SOS 82318933 HAS SOPS 67095942 HAS SOUS 24998075 HAS SOUPS 24375879 WITH SCORE 2.4458197933E7
AT ITER 916 NEW BEST:: SOT 133194518 SOS 82317390 HAS SOPS 67094610 HAS SOUS 24997962 HAS SOUPS 24375743 WITH SCORE 2.445806039E7
AT ITER 928 NEW BEST:: SOT 133183640 SOS 82298116 HAS SOPS 67083383 HAS SOUS 24988523 HAS SOUPS 24366896 WITH SCORE 2.4449194116E7
AT ITER 929 NEW BEST:: SOT 133191934 SOS 82330667 HAS SOPS 67108589 HAS SOUS 24960141 HAS SOUPS 24338514 WITH SCORE 2.4420844667E7
AT ITER 936 NEW BEST:: SOT 133192099 SOS 82330909 HAS SOPS 67110947 HAS SOUS 24957929 HAS SOUPS 24336590 WITH SCORE 2.4418920909E7
AT ITER 962 NEW BEST:: SOT 133191223 SOS 82329313 HAS SOPS 67109555 HAS SOUS 24957017 HAS SOUPS 24335678 WITH SCORE 2.4418007313E7
AT ITER 976 NEW BEST:: SOT 133221982 SOS 82433276 HAS SOPS 67202700 HAS SOUS 24949032 HAS SOUPS 24327693 WITH SCORE 2.4410126276E7
AT ITER 982 NEW BEST:: SOT 133200114 SOS 82406400 HAS SOPS 67177250 HAS SOUS 24908829 HAS SOUPS 24287613 WITH SCORE 2.43700194E7
AT ITER 1001 NEW BEST:: SOT 133199941 SOS 82406207 HAS SOPS 67177185 HAS SOUS 24908412 HAS SOUPS 24287196 WITH SCORE 2.4369602207E7
AT ITER 1005 NEW BEST:: SOT 133198702 SOS 82396577 HAS SOPS 67166146 HAS SOUS 24905668 HAS SOUPS 24284452 WITH SCORE 2.4366848577E7
AT ITER 1008 NEW BEST:: SOT 133184440 SOS 82341121 HAS SOPS 67141494 HAS SOUS 24903772 HAS SOUPS 24282556 WITH SCORE 2.4364897121E7
AT ITER 1012 NEW BEST:: SOT 133184909 SOS 82336196 HAS SOPS 67136540 HAS SOUS 24903098 HAS SOUPS 24281882 WITH SCORE 2.4364218196E7
AT ITER 1026 NEW BEST:: SOT 133179495 SOS 82352251 HAS SOPS 67135857 HAS SOUS 24885307 HAS SOUPS 24264091 WITH SCORE 2.4346443251E7
AT ITER 1027 NEW BEST:: SOT 133177207 SOS 82348751 HAS SOPS 67134254 HAS SOUS 24880782 HAS SOUPS 24259713 WITH SCORE 2.4342061751E7
AT ITER 1037 NEW BEST:: SOT 133153474 SOS 82308219 HAS SOPS 67105374 HAS SOUS 24853427 HAS SOUPS 24232358 WITH SCORE 2.4314666219E7
AT ITER 1038 NEW BEST:: SOT 133150329 SOS 82303882 HAS SOPS 67101633 HAS SOUS 24850368 HAS SOUPS 24229299 WITH SCORE 2.4311602882E7
AT ITER 1039 NEW BEST:: SOT 133142464 SOS 82287539 HAS SOPS 67084713 HAS SOUS 24840619 HAS SOUPS 24219550 WITH SCORE 2.4301837539E7
AT ITER 1041 NEW BEST:: SOT 133101905 SOS 82215530 HAS SOPS 67036474 HAS SOUS 24780313 HAS SOUPS 24159516 WITH SCORE 2.424173153E7
AT ITER 1051 NEW BEST:: SOT 133101885 SOS 82212499 HAS SOPS 67033068 HAS SOUS 24778785 HAS SOUPS 24157988 WITH SCORE 2.4240200499E7
AT ITER 1076 NEW BEST:: SOT 133104139 SOS 82216708 HAS SOPS 67040650 HAS SOUS 24777562 HAS SOUPS 24156765 WITH SCORE 2.4238981708E7
AT ITER 1081 NEW BEST:: SOT 133097134 SOS 82194873 HAS SOPS 67020320 HAS SOUS 24772311 HAS SOUPS 24151514 WITH SCORE 2.4233708873E7
AT ITER 1090 NEW BEST:: SOT 133063312 SOS 82124833 HAS SOPS 66974901 HAS SOUS 24739933 HAS SOUPS 24124198 WITH SCORE 2.4206322833E7
AT ITER 1105 NEW BEST:: SOT 133061912 SOS 82122713 HAS SOPS 66973541 HAS SOUS 24739045 HAS SOUPS 24123320 WITH SCORE 2.4205442713E7
AT ITER 1112 NEW BEST:: SOT 133062491 SOS 82127912 HAS SOPS 66975710 HAS SOUS 24736138 HAS SOUPS 24120413 WITH SCORE 2.4202540912E7
AT ITER 1122 NEW BEST:: SOT 133054700 SOS 82118505 HAS SOPS 66977404 HAS SOUS 24700799 HAS SOUPS 24085074 WITH SCORE 2.4167192505E7
AT ITER 1162 NEW BEST:: SOT 133039057 SOS 82091251 HAS SOPS 66951445 HAS SOUS 24677672 HAS SOUPS 24061978 WITH SCORE 2.4144069251E7
AT ITER 1173 NEW BEST:: SOT 133053933 SOS 82135256 HAS SOPS 66989274 HAS SOUS 24671924 HAS SOUPS 24056230 WITH SCORE 2.4138365256E7
AT ITER 1178 NEW BEST:: SOT 133064093 SOS 82166454 HAS SOPS 67031092 HAS SOUS 24667072 HAS SOUPS 24051912 WITH SCORE 2.4134078454E7
AT ITER 1180 NEW BEST:: SOT 133058615 SOS 82177220 HAS SOPS 67027926 HAS SOUS 24645866 HAS SOUPS 24030706 WITH SCORE 2.411288322E7
AT ITER 1188 NEW BEST:: SOT 133062137 SOS 82204728 HAS SOPS 67052331 HAS SOUS 24639103 HAS SOUPS 24023943 WITH SCORE 2.4106147728E7
AT ITER 1190 NEW BEST:: SOT 133057923 SOS 82196245 HAS SOPS 67044956 HAS SOUS 24637247 HAS SOUPS 24022087 WITH SCORE 2.4104283245E7
AT ITER 1191 NEW BEST:: SOT 133041808 SOS 82142891 HAS SOPS 67009882 HAS SOUS 24628753 HAS SOUPS 24013593 WITH SCORE 2.4095735891E7
AT ITER 1195 NEW BEST:: SOT 133065614 SOS 82225828 HAS SOPS 67084716 HAS SOUS 24625043 HAS SOUPS 24009883 WITH SCORE 2.4092108828E7
AT ITER 1206 NEW BEST:: SOT 133064435 SOS 82219127 HAS SOPS 67075399 HAS SOUS 24620787 HAS SOUPS 24005627 WITH SCORE 2.4087846127E7
AT ITER 1220 NEW BEST:: SOT 133066132 SOS 82207164 HAS SOPS 67060618 HAS SOUS 24614560 HAS SOUPS 23999400 WITH SCORE 2.4081607164E7
AT ITER 1221 NEW BEST:: SOT 133050438 SOS 82158507 HAS SOPS 67018357 HAS SOUS 24613470 HAS SOUPS 23998310 WITH SCORE 2.4080468507E7
AT ITER 1222 NEW BEST:: SOT 133080240 SOS 82228286 HAS SOPS 67077907 HAS SOUS 24612694 HAS SOUPS 23997534 WITH SCORE 2.4079762286E7
AT ITER 1230 NEW BEST:: SOT 133080412 SOS 82228849 HAS SOPS 67078247 HAS SOUS 24612690 HAS SOUPS 23997530 WITH SCORE 2.4079758849E7
AT ITER 1252 NEW BEST:: SOT 133094829 SOS 82254773 HAS SOPS 67103432 HAS SOUS 24601639 HAS SOUPS 23986620 WITH SCORE 2.4068874773E7
AT ITER 1264 NEW BEST:: SOT 133073782 SOS 82209236 HAS SOPS 67056495 HAS SOUS 24572567 HAS SOUPS 23957548 WITH SCORE 2.4039757236E7
AT ITER 1268 NEW BEST:: SOT 133065960 SOS 82201427 HAS SOPS 67046655 HAS SOUS 24554521 HAS SOUPS 23939502 WITH SCORE 2.4021703427E7
AT ITER 1285 NEW BEST:: SOT 133067256 SOS 82205538 HAS SOPS 67049540 HAS SOUS 24554197 HAS SOUPS 23939178 WITH SCORE 2.4021383538E7
AT ITER 1287 NEW BEST:: SOT 133061471 SOS 82198101 HAS SOPS 67038839 HAS SOUS 24547845 HAS SOUPS 23932826 WITH SCORE 2.4015024101E7
AT ITER 1291 NEW BEST:: SOT 133060428 SOS 82195061 HAS SOPS 67038930 HAS SOUS 24546357 HAS SOUPS 23931338 WITH SCORE 2.4013533061E7
AT ITER 1298 NEW BEST:: SOT 133026905 SOS 82142559 HAS SOPS 66993689 HAS SOUS 24507249 HAS SOUPS 23893012 WITH SCORE 2.3975154559E7
AT ITER 1306 NEW BEST:: SOT 133008986 SOS 82119559 HAS SOPS 66977435 HAS SOUS 24482899 HAS SOUPS 23868662 WITH SCORE 2.3950781559E7
AT ITER 1314 NEW BEST:: SOT 133057404 SOS 82164351 HAS SOPS 67025849 HAS SOUS 24480861 HAS SOUPS 23864970 WITH SCORE 2.3947134351E7
AT ITER 1315 NEW BEST:: SOT 133069884 SOS 82195287 HAS SOPS 67050462 HAS SOUS 24460596 HAS SOUPS 23844705 WITH SCORE 2.3926900287E7
AT ITER 1316 NEW BEST:: SOT 133064630 SOS 82189415 HAS SOPS 67040791 HAS SOUS 24449561 HAS SOUPS 23833670 WITH SCORE 2.3915859415E7
AT ITER 1322 NEW BEST:: SOT 133033367 SOS 82125122 HAS SOPS 66986816 HAS SOUS 24419779 HAS SOUPS 23803375 WITH SCORE 2.3885500122E7
AT ITER 1323 NEW BEST:: SOT 133033827 SOS 82125476 HAS SOPS 66987890 HAS SOUS 24417883 HAS SOUPS 23802139 WITH SCORE 2.3884264476E7
AT ITER 1331 NEW BEST:: SOT 133135798 SOS 82342314 HAS SOPS 67209254 HAS SOUS 24412722 HAS SOUPS 23796657 WITH SCORE 2.3878999314E7
AT ITER 1338 NEW BEST:: SOT 133082822 SOS 82264636 HAS SOPS 67137904 HAS SOUS 24301332 HAS SOUPS 23686463 WITH SCORE 2.3768727636E7
AT ITER 1353 NEW BEST:: SOT 133085252 SOS 82267875 HAS SOPS 67135511 HAS SOUS 24292402 HAS SOUPS 23677533 WITH SCORE 2.3759800875E7
AT ITER 1361 NEW BEST:: SOT 133076716 SOS 82238787 HAS SOPS 67108674 HAS SOUS 24284126 HAS SOUPS 23669257 WITH SCORE 2.3751495787E7
AT ITER 1368 NEW BEST:: SOT 133067864 SOS 82229277 HAS SOPS 67098178 HAS SOUS 24266751 HAS SOUPS 23651882 WITH SCORE 2.3734111277E7
AT ITER 1369 NEW BEST:: SOT 133056447 SOS 82215648 HAS SOPS 67072459 HAS SOUS 24232064 HAS SOUPS 23616664 WITH SCORE 2.3698879648E7
AT ITER 1383 NEW BEST:: SOT 133048463 SOS 82201520 HAS SOPS 67064827 HAS SOUS 24231642 HAS SOUPS 23615656 WITH SCORE 2.369785752E7
AT ITER 1406 NEW BEST:: SOT 133025636 SOS 82148134 HAS SOPS 67042375 HAS SOUS 24222100 HAS SOUPS 23606114 WITH SCORE 2.3688262134E7
AT ITER 1416 NEW BEST:: SOT 133008013 SOS 82126601 HAS SOPS 67011729 HAS SOUS 24194361 HAS SOUPS 23578394 WITH SCORE 2.3660520601E7
AT ITER 1418 NEW BEST:: SOT 133004696 SOS 82120628 HAS SOPS 67006477 HAS SOUS 24189593 HAS SOUPS 23573626 WITH SCORE 2.3655746628E7
AT ITER 1420 NEW BEST:: SOT 133024842 SOS 82170661 HAS SOPS 67042091 HAS SOUS 24182406 HAS SOUPS 23566439 WITH SCORE 2.3648609661E7
AT ITER 1432 NEW BEST:: SOT 133024696 SOS 82171570 HAS SOPS 67043124 HAS SOUS 24182223 HAS SOUPS 23566256 WITH SCORE 2.364842757E7
AT ITER 1444 NEW BEST:: SOT 133029007 SOS 82210838 HAS SOPS 67099963 HAS SOUS 24165609 HAS SOUPS 23549642 WITH SCORE 2.3631852838E7
AT ITER 1445 NEW BEST:: SOT 133001113 SOS 82159036 HAS SOPS 67061156 HAS SOUS 24145095 HAS SOUPS 23529729 WITH SCORE 2.3611888036E7
AT ITER 1448 NEW BEST:: SOT 133032845 SOS 82226052 HAS SOPS 67117760 HAS SOUS 24123956 HAS SOUPS 23508590 WITH SCORE 2.3590816052E7
AT ITER 1449 NEW BEST:: SOT 133047682 SOS 82257062 HAS SOPS 67135610 HAS SOUS 24119245 HAS SOUPS 23503879 WITH SCORE 2.3586136062E7
AT ITER 1458 NEW BEST:: SOT 133048350 SOS 82258263 HAS SOPS 67136749 HAS SOUS 24118245 HAS SOUPS 23502879 WITH SCORE 2.3585137263E7
AT ITER 1468 NEW BEST:: SOT 133042701 SOS 82252675 HAS SOPS 67131323 HAS SOUS 24109006 HAS SOUPS 23493640 WITH SCORE 2.3575892675E7
AT ITER 1480 NEW BEST:: SOT 133043400 SOS 82275371 HAS SOPS 67156076 HAS SOUS 24101773 HAS SOUPS 23486407 WITH SCORE 2.3568682371E7
AT ITER 1489 NEW BEST:: SOT 133041753 SOS 82270687 HAS SOPS 67151627 HAS SOUS 24100160 HAS SOUPS 23484794 WITH SCORE 2.3567064687E7
AT ITER 1492 NEW BEST:: SOT 133039687 SOS 82271615 HAS SOPS 67157223 HAS SOUS 24090288 HAS SOUPS 23474922 WITH SCORE 2.3557193615E7
AT ITER 1514 NEW BEST:: SOT 133046896 SOS 82274994 HAS SOPS 67159831 HAS SOUS 24087376 HAS SOUPS 23472619 WITH SCORE 2.3554893994E7
AT ITER 1531 NEW BEST:: SOT 133048901 SOS 82279919 HAS SOPS 67168810 HAS SOUS 24087054 HAS SOUPS 23471686 WITH SCORE 2.3553965919E7
AT ITER 1541 NEW BEST:: SOT 133050113 SOS 82278508 HAS SOPS 67169594 HAS SOUS 24085089 HAS SOUPS 23469721 WITH SCORE 2.3551999508E7
AT ITER 1549 NEW BEST:: SOT 133041168 SOS 82258744 HAS SOPS 67149015 HAS SOUS 24073893 HAS SOUPS 23458525 WITH SCORE 2.3540783744E7
AT ITER 1554 NEW BEST:: SOT 133046226 SOS 82277924 HAS SOPS 67166414 HAS SOUS 24071463 HAS SOUPS 23456095 WITH SCORE 2.3538372924E7
AT ITER 1565 NEW BEST:: SOT 133010707 SOS 82202232 HAS SOPS 67112739 HAS SOUS 24037277 HAS SOUPS 23421909 WITH SCORE 2.3504111232E7
AT ITER 1591 NEW BEST:: SOT 133009178 SOS 82200606 HAS SOPS 67112946 HAS SOUS 24030000 HAS SOUPS 23414960 WITH SCORE 2.3497160606E7
AT ITER 1601 NEW BEST:: SOT 133010298 SOS 82192411 HAS SOPS 67100655 HAS SOUS 24026916 HAS SOUPS 23411876 WITH SCORE 2.3494068411E7
AT ITER 1622 NEW BEST:: SOT 132966610 SOS 82131946 HAS SOPS 67044057 HAS SOUS 23973066 HAS SOUPS 23358507 WITH SCORE 2.3440638946E7
AT ITER 1644 NEW BEST:: SOT 132987658 SOS 82182666 HAS SOPS 67127108 HAS SOUS 23964623 HAS SOUPS 23350064 WITH SCORE 2.3432246666E7
AT ITER 1645 NEW BEST:: SOT 132987588 SOS 82184133 HAS SOPS 67129035 HAS SOUS 23936009 HAS SOUPS 23321600 WITH SCORE 2.3403784133E7
AT ITER 1651 NEW BEST:: SOT 132978451 SOS 82172849 HAS SOPS 67126077 HAS SOUS 23906561 HAS SOUPS 23292292 WITH SCORE 2.3374464849E7
AT ITER 1654 NEW BEST:: SOT 132975366 SOS 82179142 HAS SOPS 67138312 HAS SOUS 23886489 HAS SOUPS 23272220 WITH SCORE 2.3354399142E7
AT ITER 1665 NEW BEST:: SOT 132976173 SOS 82179158 HAS SOPS 67139051 HAS SOUS 23885197 HAS SOUPS 23270928 WITH SCORE 2.3353107158E7
AT ITER 1689 NEW BEST:: SOT 132976192 SOS 82179487 HAS SOPS 67138416 HAS SOUS 23884327 HAS SOUPS 23270058 WITH SCORE 2.3352237487E7
AT ITER 1697 NEW BEST:: SOT 132963824 SOS 82150467 HAS SOPS 67117900 HAS SOUS 23873935 HAS SOUPS 23259666 WITH SCORE 2.3341816467E7
AT ITER 1699 NEW BEST:: SOT 132937989 SOS 82102844 HAS SOPS 67076127 HAS SOUS 23849527 HAS SOUPS 23235258 WITH SCORE 2.3317360844E7
AT ITER 1701 NEW BEST:: SOT 132937138 SOS 82101188 HAS SOPS 67075203 HAS SOUS 23847824 HAS SOUPS 23233555 WITH SCORE 2.3315656188E7
AT ITER 1709 NEW BEST:: SOT 132953736 SOS 82125969 HAS SOPS 67099329 HAS SOUS 23831282 HAS SOUPS 23218139 WITH SCORE 2.3300264969E7
AT ITER 1727 NEW BEST:: SOT 132936473 SOS 82108988 HAS SOPS 67077676 HAS SOUS 23832481 HAS SOUPS 23216866 WITH SCORE 2.3298974988E7
AT ITER 1730 NEW BEST:: SOT 132940421 SOS 82115280 HAS SOPS 67102337 HAS SOUS 23821536 HAS SOUPS 23205921 WITH SCORE 2.328803628E7
AT ITER 1734 NEW BEST:: SOT 132940723 SOS 82118919 HAS SOPS 67105975 HAS SOUS 23821068 HAS SOUPS 23205453 WITH SCORE 2.3287571919E7
AT ITER 1744 NEW BEST:: SOT 132938526 SOS 82117021 HAS SOPS 67104077 HAS SOUS 23819716 HAS SOUPS 23204101 WITH SCORE 2.3286218021E7
AT ITER 1747 NEW BEST:: SOT 132938238 SOS 82116733 HAS SOPS 67103789 HAS SOUS 23819428 HAS SOUPS 23203813 WITH SCORE 2.3285929733E7
AT ITER 1750 NEW BEST:: SOT 132938516 SOS 82118782 HAS SOPS 67104937 HAS SOUS 23819050 HAS SOUPS 23203435 WITH SCORE 2.3285553782E7
AT ITER 1759 NEW BEST:: SOT 132934703 SOS 82115622 HAS SOPS 67101721 HAS SOUS 23808120 HAS SOUPS 23192258 WITH SCORE 2.3274373622E7
AT ITER 1765 NEW BEST:: SOT 132914898 SOS 82101436 HAS SOPS 67085642 HAS SOUS 23720878 HAS SOUPS 23104989 WITH SCORE 2.3187090436E7
AT ITER 1772 NEW BEST:: SOT 132903219 SOS 82066861 HAS SOPS 67030358 HAS SOUS 23703025 HAS SOUPS 23087136 WITH SCORE 2.3169202861E7
AT ITER 1783 NEW BEST:: SOT 132899544 SOS 82059404 HAS SOPS 67027465 HAS SOUS 23699731 HAS SOUPS 23083842 WITH SCORE 2.3165901404E7
AT ITER 1786 NEW BEST:: SOT 132897226 SOS 82057664 HAS SOPS 67030072 HAS SOUS 23692625 HAS SOUPS 23076736 WITH SCORE 2.3158793664E7
AT ITER 1793 NEW BEST:: SOT 132890463 SOS 82053522 HAS SOPS 67025609 HAS SOUS 23676115 HAS SOUPS 23060118 WITH SCORE 2.3142171522E7
AT ITER 1796 NEW BEST:: SOT 132880447 SOS 82032735 HAS SOPS 67004496 HAS SOUS 23667628 HAS SOUPS 23051631 WITH SCORE 2.3133663735E7
AT ITER 1797 NEW BEST:: SOT 132882098 SOS 82046927 HAS SOPS 67015876 HAS SOUS 23661618 HAS SOUPS 23045621 WITH SCORE 2.3127667927E7
AT ITER 1816 NEW BEST:: SOT 132881759 SOS 82047427 HAS SOPS 67015625 HAS SOUS 23654590 HAS SOUPS 23038632 WITH SCORE 2.3120679427E7
AT ITER 1823 NEW BEST:: SOT 132881194 SOS 82047030 HAS SOPS 67015742 HAS SOUS 23653281 HAS SOUPS 23037323 WITH SCORE 2.311937003E7
AT ITER 1828 NEW BEST:: SOT 132899680 SOS 82123426 HAS SOPS 67113056 HAS SOUS 23645614 HAS SOUPS 23029656 WITH SCORE 2.3111779426E7
AT ITER 1830 NEW BEST:: SOT 132917495 SOS 82188882 HAS SOPS 67191782 HAS SOUS 23638737 HAS SOUPS 23022779 WITH SCORE 2.3104967882E7
AT ITER 1859 NEW BEST:: SOT 132923579 SOS 82220634 HAS SOPS 67217970 HAS SOUS 23629539 HAS SOUPS 23013581 WITH SCORE 2.3095801634E7
AT ITER 1861 NEW BEST:: SOT 132929628 SOS 82252909 HAS SOPS 67241828 HAS SOUS 23623745 HAS SOUPS 23007787 WITH SCORE 2.3090039909E7
AT ITER 1872 NEW BEST:: SOT 132929112 SOS 82252393 HAS SOPS 67241904 HAS SOUS 23622612 HAS SOUPS 23006663 WITH SCORE 2.3088915393E7
AT ITER 1873 NEW BEST:: SOT 132920398 SOS 82237279 HAS SOPS 67234606 HAS SOUS 23609265 HAS SOUPS 22993569 WITH SCORE 2.3075806279E7
AT ITER 1874 NEW BEST:: SOT 132939332 SOS 82286351 HAS SOPS 67272437 HAS SOUS 23605701 HAS SOUPS 22990005 WITH SCORE 2.3072291351E7
AT ITER 1885 NEW BEST:: SOT 132922379 SOS 82246278 HAS SOPS 67251989 HAS SOUS 23573127 HAS SOUPS 22967137 WITH SCORE 2.3049383278E7
AT ITER 1891 NEW BEST:: SOT 132921843 SOS 82245605 HAS SOPS 67250520 HAS SOUS 23571449 HAS SOUPS 22965444 WITH SCORE 2.3047689605E7
AT ITER 1907 NEW BEST:: SOT 132907925 SOS 82218041 HAS SOPS 67243123 HAS SOUS 23555820 HAS SOUPS 22951210 WITH SCORE 2.3033428041E7
AT ITER 1918 NEW BEST:: SOT 132900696 SOS 82191188 HAS SOPS 67216403 HAS SOUS 23551395 HAS SOUPS 22946785 WITH SCORE 2.3028976188E7
AT ITER 1935 NEW BEST:: SOT 132896499 SOS 82181699 HAS SOPS 67214863 HAS SOUS 23547191 HAS SOUPS 22942683 WITH SCORE 2.3024864699E7
AT ITER 1946 NEW BEST:: SOT 132878735 SOS 82163852 HAS SOPS 67196953 HAS SOUS 23528928 HAS SOUPS 22924420 WITH SCORE 2.3006583852E7
AT ITER 1972 NEW BEST:: SOT 132863357 SOS 82128304 HAS SOPS 67176759 HAS SOUS 23510586 HAS SOUPS 22905480 WITH SCORE 2.2987608304E7
AT ITER 1996 NEW BEST:: SOT 132864832 SOS 82144660 HAS SOPS 67198683 HAS SOUS 23497792 HAS SOUPS 22892686 WITH SCORE 2.297483066E7
AT ITER 2011 NEW BEST:: SOT 132875323 SOS 82155478 HAS SOPS 67221497 HAS SOUS 23490127 HAS SOUPS 22885021 WITH SCORE 2.2967176478E7
AT ITER 2014 NEW BEST:: SOT 132869458 SOS 82149907 HAS SOPS 67207640 HAS SOUS 23479279 HAS SOUPS 22874056 WITH SCORE 2.2956205907E7
AT ITER 2029 NEW BEST:: SOT 132875434 SOS 82167603 HAS SOPS 67223538 HAS SOUS 23461274 HAS SOUPS 22856051 WITH SCORE 2.2938218603E7
AT ITER 2054 NEW BEST:: SOT 132873320 SOS 82161395 HAS SOPS 67218907 HAS SOUS 23460649 HAS SOUPS 22855426 WITH SCORE 2.2937587395E7
AT ITER 2059 NEW BEST:: SOT 132885027 SOS 82186390 HAS SOPS 67234146 HAS SOUS 23441468 HAS SOUPS 22835765 WITH SCORE 2.291795139E7
AT ITER 2060 NEW BEST:: SOT 132871853 SOS 82165959 HAS SOPS 67217286 HAS SOUS 23424343 HAS SOUPS 22818774 WITH SCORE 2.2900939959E7
AT ITER 2061 NEW BEST:: SOT 132863825 SOS 82155129 HAS SOPS 67207118 HAS SOUS 23410954 HAS SOUPS 22805488 WITH SCORE 2.2887643129E7
AT ITER 2071 NEW BEST:: SOT 132863363 SOS 82156617 HAS SOPS 67205264 HAS SOUS 23406897 HAS SOUPS 22801431 WITH SCORE 2.2883587617E7
AT ITER 2092 NEW BEST:: SOT 132856063 SOS 82152811 HAS SOPS 67201836 HAS SOUS 23406807 HAS SOUPS 22801092 WITH SCORE 2.2883244811E7
AT ITER 2104 NEW BEST:: SOT 132868012 SOS 82204531 HAS SOPS 67238581 HAS SOUS 23388333 HAS SOUPS 22782618 WITH SCORE 2.2864822531E7
AT ITER 2125 NEW BEST:: SOT 132864396 SOS 82203654 HAS SOPS 67234252 HAS SOUS 23376516 HAS SOUPS 22770801 WITH SCORE 2.2853004654E7
AT ITER 2139 NEW BEST:: SOT 132851966 SOS 82190814 HAS SOPS 67221424 HAS SOUS 23361132 HAS SOUPS 22755577 WITH SCORE 2.2837767814E7
AT ITER 2144 NEW BEST:: SOT 132851750 SOS 82189126 HAS SOPS 67220505 HAS SOUS 23357948 HAS SOUPS 22752393 WITH SCORE 2.2834582126E7
AT ITER 2156 NEW BEST:: SOT 132854737 SOS 82204145 HAS SOPS 67230298 HAS SOUS 23357587 HAS SOUPS 22752032 WITH SCORE 2.2834236145E7
AT ITER 2161 NEW BEST:: SOT 132853746 SOS 82203114 HAS SOPS 67228931 HAS SOUS 23355524 HAS SOUPS 22749977 WITH SCORE 2.2832180114E7
AT ITER 2169 NEW BEST:: SOT 132831898 SOS 82163325 HAS SOPS 67210966 HAS SOUS 23318235 HAS SOUPS 22712688 WITH SCORE 2.2794851325E7
AT ITER 2170 NEW BEST:: SOT 132842399 SOS 82214499 HAS SOPS 67266537 HAS SOUS 23314542 HAS SOUPS 22708995 WITH SCORE 2.2791209499E7
AT ITER 2175 NEW BEST:: SOT 132831832 SOS 82203835 HAS SOPS 67256183 HAS SOUS 23303385 HAS SOUPS 22698137 WITH SCORE 2.2780340835E7
AT ITER 2177 NEW BEST:: SOT 132826737 SOS 82201138 HAS SOPS 67252005 HAS SOUS 23298533 HAS SOUPS 22693285 WITH SCORE 2.2775486138E7
AT ITER 2179 NEW BEST:: SOT 132824430 SOS 82195850 HAS SOPS 67246966 HAS SOUS 23285400 HAS SOUPS 22680152 WITH SCORE 2.276234785E7
AT ITER 2186 NEW BEST:: SOT 132815420 SOS 82161036 HAS SOPS 67223766 HAS SOUS 23282546 HAS SOUPS 22677298 WITH SCORE 2.2759459036E7
AT ITER 2196 NEW BEST:: SOT 132814593 SOS 82156891 HAS SOPS 67216801 HAS SOUS 23279811 HAS SOUPS 22674563 WITH SCORE 2.2756719891E7
AT ITER 2203 NEW BEST:: SOT 132815438 SOS 82163038 HAS SOPS 67223956 HAS SOUS 23276413 HAS SOUPS 22671165 WITH SCORE 2.2753328038E7
AT ITER 2221 NEW BEST:: SOT 132813710 SOS 82165126 HAS SOPS 67222259 HAS SOUS 23265198 HAS SOUPS 22659950 WITH SCORE 2.2742115126E7
AT ITER 2254 NEW BEST:: SOT 132808189 SOS 82138308 HAS SOPS 67218871 HAS SOUS 23258230 HAS SOUPS 22653264 WITH SCORE 2.2735402308E7
AT ITER 2276 NEW BEST:: SOT 132808682 SOS 82133566 HAS SOPS 67218715 HAS SOUS 23255002 HAS SOUPS 22650162 WITH SCORE 2.2732295566E7

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-2"
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-2, 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-158961502300083"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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