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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 3.6K Apr 12 07:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 12 07:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Apr 11 08:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 11 08:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.0K Apr 14 12:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 14 12:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Apr 10 14:42 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 10 14:42 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.7K Apr 9 21:17 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 9 21:16 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 69M Mar 24 05:38 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 RERS17pb115-PT-8-CTLCardinality-00
FORMULA_NAME RERS17pb115-PT-8-CTLCardinality-01
FORMULA_NAME RERS17pb115-PT-8-CTLCardinality-02
FORMULA_NAME RERS17pb115-PT-8-CTLCardinality-03
FORMULA_NAME RERS17pb115-PT-8-CTLCardinality-04
FORMULA_NAME RERS17pb115-PT-8-CTLCardinality-05
FORMULA_NAME RERS17pb115-PT-8-CTLCardinality-06
FORMULA_NAME RERS17pb115-PT-8-CTLCardinality-07
FORMULA_NAME RERS17pb115-PT-8-CTLCardinality-08
FORMULA_NAME RERS17pb115-PT-8-CTLCardinality-09
FORMULA_NAME RERS17pb115-PT-8-CTLCardinality-10
FORMULA_NAME RERS17pb115-PT-8-CTLCardinality-11
FORMULA_NAME RERS17pb115-PT-8-CTLCardinality-12
FORMULA_NAME RERS17pb115-PT-8-CTLCardinality-13
FORMULA_NAME RERS17pb115-PT-8-CTLCardinality-14
FORMULA_NAME RERS17pb115-PT-8-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589781420621

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb115 (PT), instance 8
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: 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 7 NEW BEST:: SOT 123441353 SOS 80235372 HAS SOPS 65216817 HAS SOUS 24063540 HAS SOUPS 23490766 WITH SCORE 2.3571001372E7
AT ITER 10 NEW BEST:: SOT 123420909 SOS 80207201 HAS SOPS 65192057 HAS SOUS 24028217 HAS SOUPS 23455750 WITH SCORE 2.3535957201E7
AT ITER 20 NEW BEST:: SOT 123434995 SOS 80238524 HAS SOPS 65230595 HAS SOUS 24023989 HAS SOUPS 23451690 WITH SCORE 2.3531928524E7
AT ITER 21 NEW BEST:: SOT 123433315 SOS 80235650 HAS SOPS 65226281 HAS SOUS 24017621 HAS SOUPS 23445544 WITH SCORE 2.352577965E7
AT ITER 26 NEW BEST:: SOT 123433233 SOS 80232436 HAS SOPS 65222361 HAS SOUS 24017510 HAS SOUPS 23445433 WITH SCORE 2.3525665436E7
AT ITER 29 NEW BEST:: SOT 123441405 SOS 80264172 HAS SOPS 65258854 HAS SOUS 23983332 HAS SOUPS 23411255 WITH SCORE 2.3491519172E7
AT ITER 61 NEW BEST:: SOT 123440051 SOS 80263389 HAS SOPS 65257407 HAS SOUS 23980406 HAS SOUPS 23408329 WITH SCORE 2.3488592389E7
AT ITER 75 NEW BEST:: SOT 123431978 SOS 80253916 HAS SOPS 65244698 HAS SOUS 23965301 HAS SOUPS 23393252 WITH SCORE 2.3473505916E7
AT ITER 110 NEW BEST:: SOT 123433944 SOS 80265944 HAS SOPS 65257522 HAS SOUS 23947818 HAS SOUPS 23375769 WITH SCORE 2.3456034944E7
AT ITER 127 NEW BEST:: SOT 123434784 SOS 80272495 HAS SOPS 65264780 HAS SOUS 23939348 HAS SOUPS 23366879 WITH SCORE 2.3447151495E7
AT ITER 141 NEW BEST:: SOT 123431811 SOS 80269282 HAS SOPS 65261711 HAS SOUS 23934438 HAS SOUPS 23361969 WITH SCORE 2.3442238282E7
AT ITER 154 NEW BEST:: SOT 123428200 SOS 80268472 HAS SOPS 65262900 HAS SOUS 23910837 HAS SOUPS 23338934 WITH SCORE 2.3419202472E7
AT ITER 155 NEW BEST:: SOT 123423461 SOS 80252987 HAS SOPS 65247449 HAS SOUS 23905557 HAS SOUPS 23333654 WITH SCORE 2.3413906987E7
AT ITER 162 NEW BEST:: SOT 123423706 SOS 80251862 HAS SOPS 65247235 HAS SOUS 23902094 HAS SOUPS 23330334 WITH SCORE 2.3410585862E7
AT ITER 164 NEW BEST:: SOT 123421475 SOS 80258057 HAS SOPS 65242674 HAS SOUS 23876811 HAS SOUPS 23305051 WITH SCORE 2.3385309057E7
AT ITER 167 NEW BEST:: SOT 123418691 SOS 80254113 HAS SOPS 65239990 HAS SOUS 23871549 HAS SOUPS 23299823 WITH SCORE 2.3380077113E7
AT ITER 173 NEW BEST:: SOT 123418439 SOS 80253868 HAS SOPS 65239602 HAS SOUS 23870969 HAS SOUPS 23299243 WITH SCORE 2.3379496868E7
AT ITER 174 NEW BEST:: SOT 123420378 SOS 80258970 HAS SOPS 65240699 HAS SOUS 23857299 HAS SOUPS 23285635 WITH SCORE 2.336589397E7
AT ITER 179 NEW BEST:: SOT 123420378 SOS 80255098 HAS SOPS 65244219 HAS SOUS 23857228 HAS SOUPS 23285564 WITH SCORE 2.3365819098E7
AT ITER 187 NEW BEST:: SOT 123437762 SOS 80279653 HAS SOPS 65280019 HAS SOUS 23856021 HAS SOUPS 23284357 WITH SCORE 2.3364636653E7
AT ITER 190 NEW BEST:: SOT 123430190 SOS 80270836 HAS SOPS 65271553 HAS SOUS 23839989 HAS SOUPS 23268325 WITH SCORE 2.3348595836E7
AT ITER 191 NEW BEST:: SOT 123430614 SOS 80282470 HAS SOPS 65286703 HAS SOUS 23839657 HAS SOUPS 23268052 WITH SCORE 2.334833447E7
AT ITER 198 NEW BEST:: SOT 123425735 SOS 80280576 HAS SOPS 65281261 HAS SOUS 23828922 HAS SOUPS 23257317 WITH SCORE 2.3337597576E7
AT ITER 201 NEW BEST:: SOT 123385779 SOS 80240541 HAS SOPS 65240653 HAS SOUS 23785692 HAS SOUPS 23214166 WITH SCORE 2.3294406541E7
AT ITER 203 NEW BEST:: SOT 123386166 SOS 80264931 HAS SOPS 65266621 HAS SOUS 23785483 HAS SOUPS 23213957 WITH SCORE 2.3294221931E7
AT ITER 205 NEW BEST:: SOT 123386014 SOS 80264779 HAS SOPS 65266419 HAS SOUS 23785155 HAS SOUPS 23213629 WITH SCORE 2.3293893779E7
AT ITER 207 NEW BEST:: SOT 123380068 SOS 80259840 HAS SOPS 65258948 HAS SOUS 23772828 HAS SOUPS 23201302 WITH SCORE 2.328156184E7
AT ITER 213 NEW BEST:: SOT 123377538 SOS 80266664 HAS SOPS 65271805 HAS SOUS 23751180 HAS SOUPS 23179654 WITH SCORE 2.3259920664E7
AT ITER 224 NEW BEST:: SOT 123378605 SOS 80269323 HAS SOPS 65275956 HAS SOUS 23748571 HAS SOUPS 23177071 WITH SCORE 2.3257340323E7
AT ITER 225 NEW BEST:: SOT 123378003 SOS 80272897 HAS SOPS 65268484 HAS SOUS 23739546 HAS SOUPS 23167399 WITH SCORE 2.3247671897E7
AT ITER 242 NEW BEST:: SOT 123380856 SOS 80271821 HAS SOPS 65266421 HAS SOUS 23717894 HAS SOUPS 23145882 WITH SCORE 2.3226153821E7
AT ITER 248 NEW BEST:: SOT 123371183 SOS 80263404 HAS SOPS 65259307 HAS SOUS 23694559 HAS SOUPS 23122547 WITH SCORE 2.3202810404E7
AT ITER 251 NEW BEST:: SOT 123376757 SOS 80285300 HAS SOPS 65288625 HAS SOUS 23686951 HAS SOUPS 23115048 WITH SCORE 2.31953333E7
AT ITER 258 NEW BEST:: SOT 123370101 SOS 80310486 HAS SOPS 65334320 HAS SOUS 23670316 HAS SOUPS 23098915 WITH SCORE 2.3179225486E7
AT ITER 259 NEW BEST:: SOT 123370630 SOS 80312423 HAS SOPS 65335308 HAS SOUS 23669859 HAS SOUPS 23098458 WITH SCORE 2.3178770423E7
AT ITER 274 NEW BEST:: SOT 123360315 SOS 80299439 HAS SOPS 65320974 HAS SOUS 23655050 HAS SOUPS 23083649 WITH SCORE 2.3163948439E7
AT ITER 296 NEW BEST:: SOT 123357227 SOS 80293930 HAS SOPS 65350789 HAS SOUS 23646772 HAS SOUPS 23075647 WITH SCORE 2.315594093E7
AT ITER 298 NEW BEST:: SOT 123401457 SOS 80397526 HAS SOPS 65427530 HAS SOUS 23625797 HAS SOUPS 23054672 WITH SCORE 2.3135069526E7
AT ITER 299 NEW BEST:: SOT 123396321 SOS 80380639 HAS SOPS 65411283 HAS SOUS 23625006 HAS SOUPS 23053881 WITH SCORE 2.3134261639E7
AT ITER 307 NEW BEST:: SOT 123396038 SOS 80378089 HAS SOPS 65408695 HAS SOUS 23622024 HAS SOUPS 23050925 WITH SCORE 2.3131303089E7
AT ITER 324 NEW BEST:: SOT 123363838 SOS 80314820 HAS SOPS 65370510 HAS SOUS 23616330 HAS SOUPS 23045231 WITH SCORE 2.312554582E7
AT ITER 331 NEW BEST:: SOT 123371531 SOS 80328469 HAS SOPS 65384195 HAS SOUS 23601895 HAS SOUPS 23030796 WITH SCORE 2.3111124469E7
AT ITER 333 NEW BEST:: SOT 123313262 SOS 80269576 HAS SOPS 65325596 HAS SOUS 23542955 HAS SOUPS 22971976 WITH SCORE 2.3052245576E7
AT ITER 337 NEW BEST:: SOT 123309110 SOS 80265666 HAS SOPS 65320897 HAS SOUS 23537836 HAS SOUPS 22966857 WITH SCORE 2.3047122666E7
AT ITER 340 NEW BEST:: SOT 123322707 SOS 80289059 HAS SOPS 65338878 HAS SOUS 23536050 HAS SOUPS 22965071 WITH SCORE 2.3045360059E7
AT ITER 341 NEW BEST:: SOT 123321174 SOS 80288436 HAS SOPS 65338355 HAS SOUS 23531929 HAS SOUPS 22960950 WITH SCORE 2.3041238436E7
AT ITER 358 NEW BEST:: SOT 123313983 SOS 80279353 HAS SOPS 65329696 HAS SOUS 23524978 HAS SOUPS 22953999 WITH SCORE 2.3034278353E7
AT ITER 367 NEW BEST:: SOT 123305513 SOS 80265395 HAS SOPS 65316540 HAS SOUS 23516628 HAS SOUPS 22945649 WITH SCORE 2.3025914395E7
AT ITER 388 NEW BEST:: SOT 123309826 SOS 80276236 HAS SOPS 65323968 HAS SOUS 23513880 HAS SOUPS 22942901 WITH SCORE 2.3023177236E7
AT ITER 393 NEW BEST:: SOT 123411213 SOS 80451889 HAS SOPS 65493872 HAS SOUS 23495320 HAS SOUPS 22923933 WITH SCORE 2.3004384889E7
AT ITER 405 NEW BEST:: SOT 123411213 SOS 80451361 HAS SOPS 65493536 HAS SOUS 23495320 HAS SOUPS 22923933 WITH SCORE 2.3004384361E7
AT ITER 409 NEW BEST:: SOT 123409121 SOS 80445564 HAS SOPS 65489851 HAS SOUS 23489791 HAS SOUPS 22918687 WITH SCORE 2.2999132564E7
AT ITER 415 NEW BEST:: SOT 123399239 SOS 80426808 HAS SOPS 65479609 HAS SOUS 23485096 HAS SOUPS 22914089 WITH SCORE 2.2994515808E7
AT ITER 416 NEW BEST:: SOT 123403456 SOS 80430942 HAS SOPS 65505344 HAS SOUS 23468730 HAS SOUPS 22897723 WITH SCORE 2.2978153942E7
AT ITER 429 NEW BEST:: SOT 123394936 SOS 80409476 HAS SOPS 65497601 HAS SOUS 23468498 HAS SOUPS 22897491 WITH SCORE 2.2977900476E7
AT ITER 444 NEW BEST:: SOT 123386299 SOS 80406263 HAS SOPS 65489767 HAS SOUS 23441231 HAS SOUPS 22870169 WITH SCORE 2.2950575263E7
AT ITER 445 NEW BEST:: SOT 123386299 SOS 80406414 HAS SOPS 65489918 HAS SOUS 23441211 HAS SOUPS 22870149 WITH SCORE 2.2950555414E7
AT ITER 459 NEW BEST:: SOT 123386315 SOS 80406430 HAS SOPS 65489998 HAS SOUS 23441147 HAS SOUPS 22870101 WITH SCORE 2.295050743E7
AT ITER 461 NEW BEST:: SOT 123379559 SOS 80392076 HAS SOPS 65478789 HAS SOUS 23435831 HAS SOUPS 22864785 WITH SCORE 2.2945177076E7
AT ITER 462 NEW BEST:: SOT 123379151 SOS 80391326 HAS SOPS 65479806 HAS SOUS 23430863 HAS SOUPS 22860501 WITH SCORE 2.2940892326E7
AT ITER 502 NEW BEST:: SOT 123377149 SOS 80388084 HAS SOPS 65474666 HAS SOUS 23428131 HAS SOUPS 22857769 WITH SCORE 2.2938157084E7
AT ITER 505 NEW BEST:: SOT 123374791 SOS 80386111 HAS SOPS 65473902 HAS SOUS 23420665 HAS SOUPS 22850303 WITH SCORE 2.2930689111E7
AT ITER 523 NEW BEST:: SOT 123371742 SOS 80380072 HAS SOPS 65489046 HAS SOUS 23406083 HAS SOUPS 22835721 WITH SCORE 2.2916101072E7
AT ITER 536 NEW BEST:: SOT 123371096 SOS 80382923 HAS SOPS 65493949 HAS SOUS 23405153 HAS SOUPS 22834791 WITH SCORE 2.2915173923E7
AT ITER 542 NEW BEST:: SOT 123359113 SOS 80361502 HAS SOPS 65476942 HAS SOUS 23396308 HAS SOUPS 22825946 WITH SCORE 2.2906307502E7
AT ITER 558 NEW BEST:: SOT 123359118 SOS 80367131 HAS SOPS 65481663 HAS SOUS 23395763 HAS SOUPS 22825401 WITH SCORE 2.2905768131E7
AT ITER 565 NEW BEST:: SOT 123359517 SOS 80368269 HAS SOPS 65482210 HAS SOUS 23395716 HAS SOUPS 22825348 WITH SCORE 2.2905716269E7
AT ITER 568 NEW BEST:: SOT 123359583 SOS 80368509 HAS SOPS 65482246 HAS SOUS 23395355 HAS SOUPS 22824987 WITH SCORE 2.2905355509E7
AT ITER 578 NEW BEST:: SOT 123350363 SOS 80356477 HAS SOPS 65474890 HAS SOUS 23387425 HAS SOUPS 22817057 WITH SCORE 2.2897413477E7
AT ITER 579 NEW BEST:: SOT 123335534 SOS 80333071 HAS SOPS 65454930 HAS SOUS 23362697 HAS SOUPS 22792329 WITH SCORE 2.2872662071E7
AT ITER 580 NEW BEST:: SOT 123335538 SOS 80337235 HAS SOPS 65459414 HAS SOUS 23362634 HAS SOUPS 22792266 WITH SCORE 2.2872603235E7
AT ITER 585 NEW BEST:: SOT 123334352 SOS 80333496 HAS SOPS 65460086 HAS SOUS 23359089 HAS SOUPS 22788807 WITH SCORE 2.2869140496E7
AT ITER 601 NEW BEST:: SOT 123277681 SOS 80272553 HAS SOPS 65383904 HAS SOUS 23252491 HAS SOUPS 22682017 WITH SCORE 2.2762289553E7
AT ITER 613 NEW BEST:: SOT 123285151 SOS 80290955 HAS SOPS 65406436 HAS SOUS 23224877 HAS SOUPS 22654403 WITH SCORE 2.2734693955E7
AT ITER 614 NEW BEST:: SOT 123285472 SOS 80291277 HAS SOPS 65406461 HAS SOUS 23224622 HAS SOUPS 22654148 WITH SCORE 2.2734439277E7
AT ITER 622 NEW BEST:: SOT 123282717 SOS 80288413 HAS SOPS 65407549 HAS SOUS 23218616 HAS SOUPS 22648142 WITH SCORE 2.2728430413E7
AT ITER 631 NEW BEST:: SOT 123278986 SOS 80284797 HAS SOPS 65401851 HAS SOUS 23210339 HAS SOUPS 22639865 WITH SCORE 2.2720149797E7
AT ITER 637 NEW BEST:: SOT 123275625 SOS 80282253 HAS SOPS 65396516 HAS SOUS 23200113 HAS SOUPS 22629414 WITH SCORE 2.2709696253E7
AT ITER 647 NEW BEST:: SOT 123275390 SOS 80286224 HAS SOPS 65405395 HAS SOUS 23199069 HAS SOUPS 22628370 WITH SCORE 2.2708656224E7
AT ITER 652 NEW BEST:: SOT 123271314 SOS 80287029 HAS SOPS 65404234 HAS SOUS 23183088 HAS SOUPS 22612389 WITH SCORE 2.2692676029E7
AT ITER 689 NEW BEST:: SOT 123300208 SOS 80344633 HAS SOPS 65449975 HAS SOUS 23177225 HAS SOUPS 22606526 WITH SCORE 2.2686870633E7
AT ITER 702 NEW BEST:: SOT 123342064 SOS 80432879 HAS SOPS 65502001 HAS SOUS 23156935 HAS SOUPS 22586236 WITH SCORE 2.2666668879E7
AT ITER 704 NEW BEST:: SOT 123326595 SOS 80416782 HAS SOPS 65480891 HAS SOUS 23115281 HAS SOUPS 22544999 WITH SCORE 2.2625415782E7
AT ITER 710 NEW BEST:: SOT 123304447 SOS 80382544 HAS SOPS 65446054 HAS SOUS 23085618 HAS SOUPS 22515490 WITH SCORE 2.2595872544E7
AT ITER 713 NEW BEST:: SOT 123313759 SOS 80390932 HAS SOPS 65461664 HAS SOUS 23082993 HAS SOUPS 22513258 WITH SCORE 2.2593648932E7
AT ITER 715 NEW BEST:: SOT 123312671 SOS 80387988 HAS SOPS 65458741 HAS SOUS 23079336 HAS SOUPS 22509601 WITH SCORE 2.2589988988E7
AT ITER 722 NEW BEST:: SOT 123299450 SOS 80372557 HAS SOPS 65441755 HAS SOUS 23053948 HAS SOUPS 22484213 WITH SCORE 2.2564585557E7
AT ITER 731 NEW BEST:: SOT 123323261 SOS 80399121 HAS SOPS 65481547 HAS SOUS 23046855 HAS SOUPS 22477175 WITH SCORE 2.2557574121E7
AT ITER 735 NEW BEST:: SOT 123319797 SOS 80390023 HAS SOPS 65467622 HAS SOUS 23042701 HAS SOUPS 22472919 WITH SCORE 2.2553309023E7
AT ITER 767 NEW BEST:: SOT 123319360 SOS 80389567 HAS SOPS 65468081 HAS SOUS 23040041 HAS SOUPS 22470475 WITH SCORE 2.2550864567E7
AT ITER 770 NEW BEST:: SOT 123321096 SOS 80403924 HAS SOPS 65481089 HAS SOUS 23017044 HAS SOUPS 22447265 WITH SCORE 2.2527668924E7
AT ITER 773 NEW BEST:: SOT 123324530 SOS 80412085 HAS SOPS 65489645 HAS SOUS 23012770 HAS SOUPS 22442991 WITH SCORE 2.2523403085E7
AT ITER 780 NEW BEST:: SOT 123321753 SOS 80410046 HAS SOPS 65487697 HAS SOUS 23010184 HAS SOUPS 22440405 WITH SCORE 2.2520815046E7
AT ITER 781 NEW BEST:: SOT 123319150 SOS 80408352 HAS SOPS 65486867 HAS SOUS 23009746 HAS SOUPS 22439967 WITH SCORE 2.2520375352E7
AT ITER 798 NEW BEST:: SOT 123404320 SOS 80433229 HAS SOPS 65531845 HAS SOUS 22999879 HAS SOUPS 22429275 WITH SCORE 2.2509708229E7
AT ITER 810 NEW BEST:: SOT 123403764 SOS 80432607 HAS SOPS 65528130 HAS SOUS 22996048 HAS SOUPS 22425444 WITH SCORE 2.2505876607E7
AT ITER 818 NEW BEST:: SOT 123403354 SOS 80432075 HAS SOPS 65528241 HAS SOUS 22994792 HAS SOUPS 22424300 WITH SCORE 2.2504732075E7
AT ITER 842 NEW BEST:: SOT 123435785 SOS 80521162 HAS SOPS 65601312 HAS SOUS 22968332 HAS SOUPS 22397840 WITH SCORE 2.2478361162E7
AT ITER 849 NEW BEST:: SOT 123425673 SOS 80513663 HAS SOPS 65585655 HAS SOUS 22944918 HAS SOUPS 22374426 WITH SCORE 2.2454939663E7
AT ITER 850 NEW BEST:: SOT 123427542 SOS 80513194 HAS SOPS 65581635 HAS SOUS 22932197 HAS SOUPS 22361705 WITH SCORE 2.2442218194E7
AT ITER 851 NEW BEST:: SOT 123438044 SOS 80541977 HAS SOPS 65609599 HAS SOUS 22900584 HAS SOUPS 22330092 WITH SCORE 2.2410633977E7
AT ITER 856 NEW BEST:: SOT 123411573 SOS 80521020 HAS SOPS 65586336 HAS SOUS 22876112 HAS SOUPS 22306759 WITH SCORE 2.238728002E7
AT ITER 862 NEW BEST:: SOT 123416197 SOS 80534948 HAS SOPS 65587986 HAS SOUS 22863172 HAS SOUPS 22293819 WITH SCORE 2.2374353948E7
AT ITER 867 NEW BEST:: SOT 123416241 SOS 80534248 HAS SOPS 65587342 HAS SOUS 22862718 HAS SOUPS 22293365 WITH SCORE 2.2373899248E7
AT ITER 869 NEW BEST:: SOT 123416081 SOS 80559484 HAS SOPS 65632837 HAS SOUS 22862548 HAS SOUPS 22293320 WITH SCORE 2.2373879484E7
AT ITER 871 NEW BEST:: SOT 123407501 SOS 80551473 HAS SOPS 65621500 HAS SOUS 22847442 HAS SOUPS 22278214 WITH SCORE 2.2358765473E7
AT ITER 875 NEW BEST:: SOT 123410507 SOS 80555624 HAS SOPS 65620173 HAS SOUS 22844562 HAS SOUPS 22275334 WITH SCORE 2.2355889624E7
AT ITER 883 NEW BEST:: SOT 123410507 SOS 80556972 HAS SOPS 65620189 HAS SOUS 22844411 HAS SOUPS 22275183 WITH SCORE 2.2355739972E7
AT ITER 921 NEW BEST:: SOT 123409675 SOS 80557225 HAS SOPS 65620452 HAS SOUS 22843677 HAS SOUPS 22274449 WITH SCORE 2.2355006225E7
AT ITER 930 NEW BEST:: SOT 123410573 SOS 80562032 HAS SOPS 65623327 HAS SOUS 22842061 HAS SOUPS 22272833 WITH SCORE 2.2353395032E7
AT ITER 934 NEW BEST:: SOT 123414050 SOS 80577480 HAS SOPS 65631992 HAS SOUS 22830950 HAS SOUPS 22261722 WITH SCORE 2.234229948E7
AT ITER 940 NEW BEST:: SOT 123429271 SOS 80603950 HAS SOPS 65651233 HAS SOUS 22812386 HAS SOUPS 22243888 WITH SCORE 2.232449195E7
AT ITER 941 NEW BEST:: SOT 123440552 SOS 80624287 HAS SOPS 65698057 HAS SOUS 22806878 HAS SOUPS 22238200 WITH SCORE 2.2318824287E7
AT ITER 974 NEW BEST:: SOT 123439858 SOS 80630769 HAS SOPS 65702571 HAS SOUS 22806784 HAS SOUPS 22238106 WITH SCORE 2.2318736769E7
AT ITER 980 NEW BEST:: SOT 123440504 SOS 80633579 HAS SOPS 65704747 HAS SOUS 22805026 HAS SOUPS 22236348 WITH SCORE 2.2316981579E7
AT ITER 982 NEW BEST:: SOT 123443702 SOS 80636845 HAS SOPS 65701017 HAS SOUS 22801346 HAS SOUPS 22232531 WITH SCORE 2.2313167845E7
AT ITER 1007 NEW BEST:: SOT 123443702 SOS 80641945 HAS SOPS 65706613 HAS SOUS 22801149 HAS SOUPS 22232334 WITH SCORE 2.2312975945E7
AT ITER 1016 NEW BEST:: SOT 123443702 SOS 80638337 HAS SOPS 65710877 HAS SOUS 22800964 HAS SOUPS 22232149 WITH SCORE 2.2312787337E7
AT ITER 1022 NEW BEST:: SOT 123476150 SOS 80714921 HAS SOPS 65778586 HAS SOUS 22786836 HAS SOUPS 22218021 WITH SCORE 2.2298735921E7
AT ITER 1029 NEW BEST:: SOT 123402099 SOS 80626007 HAS SOPS 65695389 HAS SOUS 22703934 HAS SOUPS 22135432 WITH SCORE 2.2216058007E7
AT ITER 1032 NEW BEST:: SOT 123400852 SOS 80614992 HAS SOPS 65698293 HAS SOUS 22703921 HAS SOUPS 22135419 WITH SCORE 2.2216033992E7
AT ITER 1039 NEW BEST:: SOT 123397669 SOS 80614484 HAS SOPS 65697592 HAS SOUS 22700984 HAS SOUPS 22132482 WITH SCORE 2.2213096484E7
AT ITER 1042 NEW BEST:: SOT 123393556 SOS 80614923 HAS SOPS 65725858 HAS SOUS 22693922 HAS SOUPS 22125420 WITH SCORE 2.2206034923E7
AT ITER 1065 NEW BEST:: SOT 123389787 SOS 80610074 HAS SOPS 65720287 HAS SOUS 22681943 HAS SOUPS 22113441 WITH SCORE 2.2194051074E7
AT ITER 1066 NEW BEST:: SOT 123388709 SOS 80609060 HAS SOPS 65719679 HAS SOUS 22678110 HAS SOUPS 22109951 WITH SCORE 2.219056006E7
AT ITER 1072 NEW BEST:: SOT 123403090 SOS 80641495 HAS SOPS 65737792 HAS SOUS 22660066 HAS SOUPS 22091810 WITH SCORE 2.2172451495E7
AT ITER 1116 NEW BEST:: SOT 123394879 SOS 80627410 HAS SOPS 65727458 HAS SOUS 22654423 HAS SOUPS 22086167 WITH SCORE 2.216679441E7
AT ITER 1122 NEW BEST:: SOT 123369381 SOS 80598108 HAS SOPS 65700018 HAS SOUS 22600359 HAS SOUPS 22032307 WITH SCORE 2.2112905108E7
AT ITER 1140 NEW BEST:: SOT 123349839 SOS 80578287 HAS SOPS 65679204 HAS SOUS 22578757 HAS SOUPS 22010705 WITH SCORE 2.2091283287E7
AT ITER 1145 NEW BEST:: SOT 123372505 SOS 80611219 HAS SOPS 65713055 HAS SOUS 22569704 HAS SOUPS 22001652 WITH SCORE 2.2082263219E7
AT ITER 1156 NEW BEST:: SOT 123370187 SOS 80607258 HAS SOPS 65711211 HAS SOUS 22569054 HAS SOUPS 22001002 WITH SCORE 2.2081609258E7
AT ITER 1165 NEW BEST:: SOT 123376212 SOS 80623790 HAS SOPS 65723645 HAS SOUS 22564619 HAS SOUPS 21996567 WITH SCORE 2.207719079E7
AT ITER 1174 NEW BEST:: SOT 123371160 SOS 80608755 HAS SOPS 65707842 HAS SOUS 22551169 HAS SOUPS 21983216 WITH SCORE 2.2063824755E7
AT ITER 1175 NEW BEST:: SOT 123368617 SOS 80605948 HAS SOPS 65703798 HAS SOUS 22542184 HAS SOUPS 21974231 WITH SCORE 2.2054836948E7
AT ITER 1179 NEW BEST:: SOT 123366621 SOS 80603774 HAS SOPS 65700726 HAS SOUS 22539969 HAS SOUPS 21971625 WITH SCORE 2.2052228774E7
AT ITER 1186 NEW BEST:: SOT 123351953 SOS 80587386 HAS SOPS 65683584 HAS SOUS 22513993 HAS SOUPS 21945649 WITH SCORE 2.2026236386E7
AT ITER 1195 NEW BEST:: SOT 123349360 SOS 80587094 HAS SOPS 65680791 HAS SOUS 22507986 HAS SOUPS 21939642 WITH SCORE 2.2020229094E7
AT ITER 1208 NEW BEST:: SOT 123346664 SOS 80579720 HAS SOPS 65685647 HAS SOUS 22507495 HAS SOUPS 21939151 WITH SCORE 2.201973072E7
AT ITER 1222 NEW BEST:: SOT 123326800 SOS 80545041 HAS SOPS 65654999 HAS SOUS 22496528 HAS SOUPS 21928413 WITH SCORE 2.2008958041E7
AT ITER 1238 NEW BEST:: SOT 123307343 SOS 80563664 HAS SOPS 65691112 HAS SOUS 22489702 HAS SOUPS 21921587 WITH SCORE 2.2002150664E7
AT ITER 1249 NEW BEST:: SOT 123306942 SOS 80562919 HAS SOPS 65690869 HAS SOUS 22489380 HAS SOUPS 21921275 WITH SCORE 2.2001837919E7
AT ITER 1261 NEW BEST:: SOT 123293749 SOS 80559995 HAS SOPS 65686881 HAS SOUS 22474403 HAS SOUPS 21906298 WITH SCORE 2.1986857995E7
AT ITER 1263 NEW BEST:: SOT 123295305 SOS 80564023 HAS SOPS 65689438 HAS SOUS 22472012 HAS SOUPS 21903907 WITH SCORE 2.1984471023E7
AT ITER 1277 NEW BEST:: SOT 123300452 SOS 80577124 HAS SOPS 65701508 HAS SOUS 22457637 HAS SOUPS 21889852 WITH SCORE 2.1970429124E7
AT ITER 1293 NEW BEST:: SOT 123308002 SOS 80608429 HAS SOPS 65719660 HAS SOUS 22435257 HAS SOUPS 21867472 WITH SCORE 2.1948080429E7
AT ITER 1298 NEW BEST:: SOT 123306451 SOS 80606820 HAS SOPS 65716591 HAS SOUS 22432748 HAS SOUPS 21864963 WITH SCORE 2.194556982E7
AT ITER 1308 NEW BEST:: SOT 123303027 SOS 80603767 HAS SOPS 65717162 HAS SOUS 22431862 HAS SOUPS 21864077 WITH SCORE 2.1944680767E7
AT ITER 1313 NEW BEST:: SOT 123298370 SOS 80598213 HAS SOPS 65712877 HAS SOUS 22422089 HAS SOUPS 21854348 WITH SCORE 2.1934946213E7
AT ITER 1321 NEW BEST:: SOT 123287351 SOS 80577030 HAS SOPS 65691831 HAS SOUS 22404247 HAS SOUPS 21836506 WITH SCORE 2.191708303E7
AT ITER 1324 NEW BEST:: SOT 123284609 SOS 80573279 HAS SOPS 65687954 HAS SOUS 22394484 HAS SOUPS 21826805 WITH SCORE 2.1907378279E7
AT ITER 1338 NEW BEST:: SOT 123287392 SOS 80579383 HAS SOPS 65695191 HAS SOUS 22388939 HAS SOUPS 21821260 WITH SCORE 2.1901839383E7
AT ITER 1360 NEW BEST:: SOT 123274534 SOS 80570612 HAS SOPS 65705448 HAS SOUS 22379776 HAS SOUPS 21812097 WITH SCORE 2.1892667612E7
AT ITER 1362 NEW BEST:: SOT 123277203 SOS 80563181 HAS SOPS 65701073 HAS SOUS 22370137 HAS SOUPS 21802549 WITH SCORE 2.1883112181E7
AT ITER 1370 NEW BEST:: SOT 123242809 SOS 80505073 HAS SOPS 65660579 HAS SOUS 22356526 HAS SOUPS 21788938 WITH SCORE 2.1869443073E7
AT ITER 1395 NEW BEST:: SOT 123243940 SOS 80508701 HAS SOPS 65663953 HAS SOUS 22355971 HAS SOUPS 21788383 WITH SCORE 2.1868891701E7
AT ITER 1397 NEW BEST:: SOT 123245648 SOS 80516345 HAS SOPS 65673765 HAS SOUS 22352626 HAS SOUPS 21785038 WITH SCORE 2.1865554345E7
AT ITER 1408 NEW BEST:: SOT 123223013 SOS 80497407 HAS SOPS 65665133 HAS SOUS 22300026 HAS SOUPS 21732438 WITH SCORE 2.1812935407E7
AT ITER 1413 NEW BEST:: SOT 123204945 SOS 80479168 HAS SOPS 65645500 HAS SOUS 22275321 HAS SOUPS 21707665 WITH SCORE 2.1788144168E7
AT ITER 1434 NEW BEST:: SOT 123205181 SOS 80498988 HAS SOPS 65668936 HAS SOUS 22275177 HAS SOUPS 21707521 WITH SCORE 2.1788019988E7
AT ITER 1435 NEW BEST:: SOT 123208560 SOS 80512176 HAS SOPS 65681875 HAS SOUS 22261618 HAS SOUPS 21693962 WITH SCORE 2.1774474176E7
AT ITER 1438 NEW BEST:: SOT 123206889 SOS 80502616 HAS SOPS 65696236 HAS SOUS 22255422 HAS SOUPS 21687766 WITH SCORE 2.1768268616E7
AT ITER 1440 NEW BEST:: SOT 123190880 SOS 80477325 HAS SOPS 65682749 HAS SOUS 22248300 HAS SOUPS 21680644 WITH SCORE 2.1761121325E7
AT ITER 1443 NEW BEST:: SOT 123158597 SOS 80424540 HAS SOPS 65632268 HAS SOUS 22204402 HAS SOUPS 21636746 WITH SCORE 2.171717054E7
AT ITER 1450 NEW BEST:: SOT 123152816 SOS 80413778 HAS SOPS 65623682 HAS SOUS 22181667 HAS SOUPS 21614011 WITH SCORE 2.1694424778E7
AT ITER 1452 NEW BEST:: SOT 123150243 SOS 80410008 HAS SOPS 65620364 HAS SOUS 22179927 HAS SOUPS 21612271 WITH SCORE 2.1692681008E7
AT ITER 1453 NEW BEST:: SOT 123150243 SOS 80410360 HAS SOPS 65622188 HAS SOUS 22179913 HAS SOUPS 21612257 WITH SCORE 2.169266736E7
AT ITER 1455 NEW BEST:: SOT 123157347 SOS 80410584 HAS SOPS 65623494 HAS SOUS 22159917 HAS SOUPS 21592477 WITH SCORE 2.1672887584E7
AT ITER 1465 NEW BEST:: SOT 123156777 SOS 80408214 HAS SOPS 65621580 HAS SOUS 22159332 HAS SOUPS 21591892 WITH SCORE 2.1672300214E7
AT ITER 1479 NEW BEST:: SOT 123154187 SOS 80404688 HAS SOPS 65618106 HAS SOUS 22154714 HAS SOUPS 21587300 WITH SCORE 2.1667704688E7
AT ITER 1481 NEW BEST:: SOT 123149417 SOS 80399666 HAS SOPS 65611089 HAS SOUS 22144568 HAS SOUPS 21577154 WITH SCORE 2.1657553666E7
AT ITER 1485 NEW BEST:: SOT 123138400 SOS 80388649 HAS SOPS 65600072 HAS SOUS 22133175 HAS SOUPS 21565761 WITH SCORE 2.1646149649E7
AT ITER 1499 NEW BEST:: SOT 123138400 SOS 80391789 HAS SOPS 65603059 HAS SOUS 22132771 HAS SOUPS 21565357 WITH SCORE 2.1645748789E7
AT ITER 1503 NEW BEST:: SOT 123136140 SOS 80411366 HAS SOPS 65624873 HAS SOUS 22125364 HAS SOUPS 21557950 WITH SCORE 2.1638361366E7
AT ITER 1505 NEW BEST:: SOT 123129307 SOS 80421412 HAS SOPS 65621848 HAS SOUS 22080017 HAS SOUPS 21512603 WITH SCORE 2.1593024412E7
AT ITER 1512 NEW BEST:: SOT 123129329 SOS 80420076 HAS SOPS 65620268 HAS SOUS 22079612 HAS SOUPS 21512198 WITH SCORE 2.1592618076E7
AT ITER 1515 NEW BEST:: SOT 123129329 SOS 80422604 HAS SOPS 65622796 HAS SOUS 22079559 HAS SOUPS 21512145 WITH SCORE 2.1592567604E7
AT ITER 1549 NEW BEST:: SOT 123117651 SOS 80409932 HAS SOPS 65608072 HAS SOUS 22031028 HAS SOUPS 21463614 WITH SCORE 2.1544023932E7
AT ITER 1564 NEW BEST:: SOT 123124602 SOS 80428254 HAS SOPS 65623461 HAS SOUS 22025532 HAS SOUPS 21458118 WITH SCORE 2.1538546254E7
AT ITER 1571 NEW BEST:: SOT 123126939 SOS 80429515 HAS SOPS 65623252 HAS SOUS 22019855 HAS SOUPS 21452545 WITH SCORE 2.1532974515E7
AT ITER 1576 NEW BEST:: SOT 123124736 SOS 80434774 HAS SOPS 65628671 HAS SOUS 22014143 HAS SOUPS 21446833 WITH SCORE 2.1527267774E7
AT ITER 1589 NEW BEST:: SOT 123125559 SOS 80439043 HAS SOPS 65632134 HAS SOUS 22004498 HAS SOUPS 21437188 WITH SCORE 2.1517627043E7
AT ITER 1593 NEW BEST:: SOT 123119610 SOS 80425696 HAS SOPS 65616582 HAS SOUS 22003540 HAS SOUPS 21436230 WITH SCORE 2.1516655696E7
AT ITER 1598 NEW BEST:: SOT 123118413 SOS 80424211 HAS SOPS 65615049 HAS SOUS 22002340 HAS SOUPS 21435030 WITH SCORE 2.1515454211E7
AT ITER 1605 NEW BEST:: SOT 123118536 SOS 80424371 HAS SOPS 65615139 HAS SOUS 22002270 HAS SOUPS 21434960 WITH SCORE 2.1515384371E7
AT ITER 1615 NEW BEST:: SOT 123118543 SOS 80425730 HAS SOPS 65615630 HAS SOUS 22001792 HAS SOUPS 21434482 WITH SCORE 2.151490773E7
AT ITER 1624 NEW BEST:: SOT 123116466 SOS 80421978 HAS SOPS 65612506 HAS SOUS 22000426 HAS SOUPS 21433116 WITH SCORE 2.1513537978E7
AT ITER 1629 NEW BEST:: SOT 123095821 SOS 80396379 HAS SOPS 65589884 HAS SOUS 21956965 HAS SOUPS 21389851 WITH SCORE 2.1470247379E7
AT ITER 1633 NEW BEST:: SOT 123092874 SOS 80392438 HAS SOPS 65584871 HAS SOUS 21935340 HAS SOUPS 21368119 WITH SCORE 2.1448511438E7
AT ITER 1655 NEW BEST:: SOT 123083618 SOS 80383624 HAS SOPS 65575615 HAS SOUS 21919972 HAS SOUPS 21352704 WITH SCORE 2.1433087624E7
AT ITER 1671 NEW BEST:: SOT 123071235 SOS 80346225 HAS SOPS 65554688 HAS SOUS 21914591 HAS SOUPS 21347323 WITH SCORE 2.1427669225E7
AT ITER 1687 NEW BEST:: SOT 123067809 SOS 80342677 HAS SOPS 65551482 HAS SOUS 21908087 HAS SOUPS 21340885 WITH SCORE 2.1421227677E7
AT ITER 1708 NEW BEST:: SOT 123054255 SOS 80322347 HAS SOPS 65548399 HAS SOUS 21874928 HAS SOUPS 21309261 WITH SCORE 2.1389583347E7
AT ITER 1713 NEW BEST:: SOT 123054260 SOS 80335680 HAS SOPS 65564852 HAS SOUS 21874614 HAS SOUPS 21308947 WITH SCORE 2.138928268E7
AT ITER 1717 NEW BEST:: SOT 123055197 SOS 80337472 HAS SOPS 65566648 HAS SOUS 21873159 HAS SOUPS 21307508 WITH SCORE 2.1387845472E7
AT ITER 1732 NEW BEST:: SOT 123055285 SOS 80338006 HAS SOPS 65566905 HAS SOUS 21872761 HAS SOUPS 21307110 WITH SCORE 2.1387448006E7
AT ITER 1740 NEW BEST:: SOT 123041734 SOS 80324351 HAS SOPS 65552545 HAS SOUS 21859519 HAS SOUPS 21293808 WITH SCORE 2.1374132351E7
AT ITER 1744 NEW BEST:: SOT 123041765 SOS 80319252 HAS SOPS 65556777 HAS SOUS 21857712 HAS SOUPS 21292001 WITH SCORE 2.1372320252E7
AT ITER 1750 NEW BEST:: SOT 123086264 SOS 80342753 HAS SOPS 65587211 HAS SOUS 21849451 HAS SOUPS 21284060 WITH SCORE 2.1364402753E7
AT ITER 1757 NEW BEST:: SOT 123078529 SOS 80335114 HAS SOPS 65579476 HAS SOUS 21847138 HAS SOUPS 21281713 WITH SCORE 2.1362048114E7
AT ITER 1762 NEW BEST:: SOT 123048868 SOS 80282998 HAS SOPS 65530070 HAS SOUS 21802028 HAS SOUPS 21236603 WITH SCORE 2.1316885998E7
AT ITER 1765 NEW BEST:: SOT 123048727 SOS 80321536 HAS SOPS 65605587 HAS SOUS 21800659 HAS SOUPS 21235466 WITH SCORE 2.1315787536E7
AT ITER 1767 NEW BEST:: SOT 123054801 SOS 80336302 HAS SOPS 65620438 HAS SOUS 21779481 HAS SOUPS 21215223 WITH SCORE 2.1295559302E7
AT ITER 1768 NEW BEST:: SOT 123054267 SOS 80336244 HAS SOPS 65620703 HAS SOUS 21778737 HAS SOUPS 21214498 WITH SCORE 2.1294834244E7
AT ITER 1780 NEW BEST:: SOT 123044880 SOS 80315672 HAS SOPS 65612598 HAS SOUS 21769071 HAS SOUPS 21204832 WITH SCORE 2.1285147672E7
AT ITER 1783 NEW BEST:: SOT 123025860 SOS 80280640 HAS SOPS 65586904 HAS SOUS 21760590 HAS SOUPS 21196351 WITH SCORE 2.127663164E7
AT ITER 1786 NEW BEST:: SOT 123025006 SOS 80279666 HAS SOPS 65585357 HAS SOUS 21758778 HAS SOUPS 21194539 WITH SCORE 2.1274818666E7
AT ITER 1800 NEW BEST:: SOT 123023839 SOS 80277908 HAS SOPS 65583541 HAS SOUS 21756861 HAS SOUPS 21192622 WITH SCORE 2.1272899908E7
AT ITER 1815 NEW BEST:: SOT 123022335 SOS 80275482 HAS SOPS 65582079 HAS SOUS 21755727 HAS SOUPS 21191488 WITH SCORE 2.1271763482E7
AT ITER 1822 NEW BEST:: SOT 123026563 SOS 80280509 HAS SOPS 65582178 HAS SOUS 21747812 HAS SOUPS 21183767 WITH SCORE 2.1264047509E7
AT ITER 1834 NEW BEST:: SOT 123022372 SOS 80272548 HAS SOPS 65579363 HAS SOUS 21743020 HAS SOUPS 21178975 WITH SCORE 2.1259247548E7
AT ITER 1853 NEW BEST:: SOT 122993699 SOS 80228359 HAS SOPS 65542646 HAS SOUS 21726404 HAS SOUPS 21162543 WITH SCORE 2.1242771359E7
AT ITER 1856 NEW BEST:: SOT 122993564 SOS 80222047 HAS SOPS 65538253 HAS SOUS 21725886 HAS SOUPS 21162065 WITH SCORE 2.1242287047E7
AT ITER 1864 NEW BEST:: SOT 122988239 SOS 80218911 HAS SOPS 65531093 HAS SOUS 21694004 HAS SOUPS 21130109 WITH SCORE 2.1210327911E7
AT ITER 1872 NEW BEST:: SOT 122986091 SOS 80216647 HAS SOPS 65530920 HAS SOUS 21683766 HAS SOUPS 21119871 WITH SCORE 2.1200087647E7
AT ITER 1873 NEW BEST:: SOT 122998656 SOS 80236977 HAS SOPS 65548255 HAS SOUS 21683227 HAS SOUPS 21119019 WITH SCORE 2.1199255977E7
AT ITER 1899 NEW BEST:: SOT 122999916 SOS 80231564 HAS SOPS 65537901 HAS SOUS 21670540 HAS SOUPS 21106247 WITH SCORE 2.1186478564E7
AT ITER 1900 NEW BEST:: SOT 123000436 SOS 80259141 HAS SOPS 65569445 HAS SOUS 21670476 HAS SOUPS 21106183 WITH SCORE 2.1186442141E7
AT ITER 1901 NEW BEST:: SOT 123011434 SOS 80289046 HAS SOPS 65599515 HAS SOUS 21642799 HAS SOUPS 21078756 WITH SCORE 2.1159045046E7
AT ITER 1903 NEW BEST:: SOT 123017776 SOS 80305680 HAS SOPS 65611816 HAS SOUS 21642223 HAS SOUPS 21078180 WITH SCORE 2.115848568E7
AT ITER 1906 NEW BEST:: SOT 123020310 SOS 80307923 HAS SOPS 65612839 HAS SOUS 21641534 HAS SOUPS 21077491 WITH SCORE 2.1157798923E7
AT ITER 1945 NEW BEST:: SOT 123029434 SOS 80335466 HAS SOPS 65639174 HAS SOUS 21631395 HAS SOUPS 21067352 WITH SCORE 2.1147687466E7
AT ITER 1949 NEW BEST:: SOT 123028108 SOS 80335052 HAS SOPS 65640844 HAS SOUS 21625861 HAS SOUPS 21061872 WITH SCORE 2.1142207052E7
AT ITER 1950 NEW BEST:: SOT 123008457 SOS 80309337 HAS SOPS 65605819 HAS SOUS 21604250 HAS SOUPS 21040087 WITH SCORE 2.1120396337E7
AT ITER 1956 NEW BEST:: SOT 123032219 SOS 80371072 HAS SOPS 65660761 HAS SOUS 21581664 HAS SOUPS 21017501 WITH SCORE 2.1097872072E7
AT ITER 1967 NEW BEST:: SOT 123032905 SOS 80368380 HAS SOPS 65657044 HAS SOUS 21579434 HAS SOUPS 21015271 WITH SCORE 2.109563938E7
AT ITER 1975 NEW BEST:: SOT 123014586 SOS 80356149 HAS SOPS 65636918 HAS SOUS 21531958 HAS SOUPS 20967768 WITH SCORE 2.1048124149E7
AT ITER 1984 NEW BEST:: SOT 123008979 SOS 80350404 HAS SOPS 65632175 HAS SOUS 21523367 HAS SOUPS 20958289 WITH SCORE 2.1038639404E7
AT ITER 1988 NEW BEST:: SOT 122997995 SOS 80339420 HAS SOPS 65620375 HAS SOUS 21504743 HAS SOUPS 20939545 WITH SCORE 2.101988442E7
AT ITER 1992 NEW BEST:: SOT 123010553 SOS 80363613 HAS SOPS 65634322 HAS SOUS 21502302 HAS SOUPS 20937104 WITH SCORE 2.1017467613E7
AT ITER 2002 NEW BEST:: SOT 123010558 SOS 80364450 HAS SOPS 65635287 HAS SOUS 21502283 HAS SOUPS 20937085 WITH SCORE 2.101744945E7
AT ITER 2004 NEW BEST:: SOT 123006907 SOS 80357307 HAS SOPS 65629183 HAS SOUS 21490180 HAS SOUPS 20925098 WITH SCORE 2.1005455307E7
AT ITER 2005 NEW BEST:: SOT 123000152 SOS 80350687 HAS SOPS 65621840 HAS SOUS 21481623 HAS SOUPS 20916541 WITH SCORE 2.0996891687E7
AT ITER 2019 NEW BEST:: SOT 122999944 SOS 80347963 HAS SOPS 65615647 HAS SOUS 21473676 HAS SOUPS 20908687 WITH SCORE 2.0989034963E7
AT ITER 2021 NEW BEST:: SOT 122987120 SOS 80323237 HAS SOPS 65595964 HAS SOUS 21463850 HAS SOUPS 20898861 WITH SCORE 2.0979184237E7
AT ITER 2030 NEW BEST:: SOT 122980866 SOS 80310978 HAS SOPS 65588960 HAS SOUS 21460994 HAS SOUPS 20896070 WITH SCORE 2.0976380978E7
AT ITER 2033 NEW BEST:: SOT 122970951 SOS 80301071 HAS SOPS 65587537 HAS SOUS 21435664 HAS SOUPS 20870930 WITH SCORE 2.0951231071E7
AT ITER 2034 NEW BEST:: SOT 122976463 SOS 80311189 HAS SOPS 65583267 HAS SOUS 21433458 HAS SOUPS 20868674 WITH SCORE 2.0948985189E7
AT ITER 2058 NEW BEST:: SOT 122966108 SOS 80297170 HAS SOPS 65570009 HAS SOUS 21415775 HAS SOUPS 20851052 WITH SCORE 2.093134917E7
AT ITER 2060 NEW BEST:: SOT 122959139 SOS 80289646 HAS SOPS 65568880 HAS SOUS 21384806 HAS SOUPS 20819937 WITH SCORE 2.0900226646E7
AT ITER 2062 NEW BEST:: SOT 122959991 SOS 80287153 HAS SOPS 65572923 HAS SOUS 21367964 HAS SOUPS 20803488 WITH SCORE 2.0883775153E7
AT ITER 2068 NEW BEST:: SOT 122950535 SOS 80282550 HAS SOPS 65560501 HAS SOUS 21325522 HAS SOUPS 20760902 WITH SCORE 2.084118455E7
AT ITER 2071 NEW BEST:: SOT 122936327 SOS 80267306 HAS SOPS 65543502 HAS SOUS 21305986 HAS SOUPS 20741284 WITH SCORE 2.0821551306E7
AT ITER 2077 NEW BEST:: SOT 122934920 SOS 80266224 HAS SOPS 65542647 HAS SOUS 21303717 HAS SOUPS 20739069 WITH SCORE 2.0819335224E7
AT ITER 2079 NEW BEST:: SOT 122927953 SOS 80248372 HAS SOPS 65529394 HAS SOUS 21300964 HAS SOUPS 20736316 WITH SCORE 2.0816564372E7
AT ITER 2086 NEW BEST:: SOT 122927919 SOS 80225730 HAS SOPS 65525004 HAS SOUS 21300869 HAS SOUPS 20736221 WITH SCORE 2.081644673E7
AT ITER 2103 NEW BEST:: SOT 122928004 SOS 80226355 HAS SOPS 65524549 HAS SOUS 21299608 HAS SOUPS 20734960 WITH SCORE 2.0815186355E7
AT ITER 2118 NEW BEST:: SOT 122929098 SOS 80226379 HAS SOPS 65525100 HAS SOUS 21299053 HAS SOUPS 20734405 WITH SCORE 2.0814631379E7
AT ITER 2137 NEW BEST:: SOT 122927993 SOS 80225296 HAS SOPS 65523595 HAS SOUS 21297015 HAS SOUPS 20732367 WITH SCORE 2.0812592296E7
AT ITER 2151 NEW BEST:: SOT 122920958 SOS 80210366 HAS SOPS 65506257 HAS SOUS 21279330 HAS SOUPS 20714739 WITH SCORE 2.0794949366E7
AT ITER 2163 NEW BEST:: SOT 122888764 SOS 80165466 HAS SOPS 65465565 HAS SOUS 21257460 HAS SOUPS 20690737 WITH SCORE 2.0770902466E7
AT ITER 2171 NEW BEST:: SOT 122898085 SOS 80185449 HAS SOPS 65483778 HAS SOUS 21253481 HAS SOUPS 20686698 WITH SCORE 2.0766883449E7
AT ITER 2177 NEW BEST:: SOT 122891611 SOS 80173293 HAS SOPS 65473880 HAS SOUS 21251709 HAS SOUPS 20684926 WITH SCORE 2.0765099293E7
AT ITER 2183 NEW BEST:: SOT 122887172 SOS 80162257 HAS SOPS 65461251 HAS SOUS 21249908 HAS SOUPS 20682989 WITH SCORE 2.0763151257E7
AT ITER 2186 NEW BEST:: SOT 122888845 SOS 80177875 HAS SOPS 65456660 HAS SOUS 21230890 HAS SOUPS 20664169 WITH SCORE 2.0744346875E7
AT ITER 2189 NEW BEST:: SOT 122886510 SOS 80176584 HAS SOPS 65453627 HAS SOUS 21223688 HAS SOUPS 20656995 WITH SCORE 2.0737171584E7
AT ITER 2190 NEW BEST:: SOT 122887137 SOS 80175241 HAS SOPS 65454656 HAS SOUS 21217597 HAS SOUPS 20650904 WITH SCORE 2.0731079241E7
AT ITER 2192 NEW BEST:: SOT 122878956 SOS 80167404 HAS SOPS 65443918 HAS SOUS 21197961 HAS SOUPS 20631268 WITH SCORE 2.0711435404E7
AT ITER 2205 NEW BEST:: SOT 122843180 SOS 80111262 HAS SOPS 65400595 HAS SOUS 21162383 HAS SOUPS 20595899 WITH SCORE 2.0676010262E7
AT ITER 2209 NEW BEST:: SOT 122843009 SOS 80111425 HAS SOPS 65399974 HAS SOUS 21157386 HAS SOUPS 20590960 WITH SCORE 2.0671071425E7
AT ITER 2210 NEW BEST:: SOT 122835182 SOS 80105524 HAS SOPS 65391038 HAS SOUS 21151917 HAS SOUPS 20585432 WITH SCORE 2.0665537524E7
AT ITER 2216 NEW BEST:: SOT 122829243 SOS 80099093 HAS SOPS 65377219 HAS SOUS 21126669 HAS SOUPS 20560466 WITH SCORE 2.0640565093E7
AT ITER 2217 NEW BEST:: SOT 122829279 SOS 80109853 HAS SOPS 65395055 HAS SOUS 21126439 HAS SOUPS 20560236 WITH SCORE 2.0640345853E7
AT ITER 2224 NEW BEST:: SOT 122828036 SOS 80108444 HAS SOPS 65393339 HAS SOUS 21124191 HAS SOUPS 20558001 WITH SCORE 2.0638109444E7
AT ITER 2234 NEW BEST:: SOT 122826372 SOS 80106263 HAS SOPS 65392007 HAS SOUS 21123234 HAS SOUPS 20557044 WITH SCORE 2.0637150263E7
AT ITER 2242 NEW BEST:: SOT 122813527 SOS 80095071 HAS SOPS 65378253 HAS SOUS 21093129 HAS SOUPS 20527099 WITH SCORE 2.0607194071E7
AT ITER 2253 NEW BEST:: SOT 122786770 SOS 80063808 HAS SOPS 65355899 HAS SOUS 21084891 HAS SOUPS 20516669 WITH SCORE 2.0596732808E7
AT ITER 2266 NEW BEST:: SOT 122795413 SOS 80071528 HAS SOPS 65351300 HAS SOUS 21068579 HAS SOUPS 20500357 WITH SCORE 2.0580428528E7
AT ITER 2267 NEW BEST:: SOT 122790453 SOS 80066533 HAS SOPS 65343352 HAS SOUS 21060360 HAS SOUPS 20489185 WITH SCORE 2.0569251533E7
AT ITER 2288 NEW BEST:: SOT 122785098 SOS 80056486 HAS SOPS 65334167 HAS SOUS 21053835 HAS SOUPS 20482660 WITH SCORE 2.0562716486E7
AT ITER 2311 NEW BEST:: SOT 122804006 SOS 80102215 HAS SOPS 65356864 HAS SOUS 21034734 HAS SOUPS 20458297 WITH SCORE 2.0538399215E7
AT ITER 2315 NEW BEST:: SOT 122804006 SOS 80104583 HAS SOPS 65358720 HAS SOUS 21034670 HAS SOUPS 20458233 WITH SCORE 2.0538337583E7
AT ITER 2325 NEW BEST:: SOT 122803825 SOS 80104402 HAS SOPS 65358507 HAS SOUS 21034233 HAS SOUPS 20457796 WITH SCORE 2.0537900402E7
AT ITER 2363 NEW BEST:: SOT 122801615 SOS 80101244 HAS SOPS 65356968 HAS SOUS 21032087 HAS SOUPS 20455650 WITH SCORE 2.0535751244E7
AT ITER 2387 NEW BEST:: SOT 122832515 SOS 80150432 HAS SOPS 65398309 HAS SOUS 21031379 HAS SOUPS 20454942 WITH SCORE 2.0535092432E7

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-8"
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 RERS17pb115-PT-8, 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-158961502500203"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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