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-158961502500204.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 CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502500204
=====================================================================

--------------------
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-CTLFireability-00
FORMULA_NAME RERS17pb115-PT-8-CTLFireability-01
FORMULA_NAME RERS17pb115-PT-8-CTLFireability-02
FORMULA_NAME RERS17pb115-PT-8-CTLFireability-03
FORMULA_NAME RERS17pb115-PT-8-CTLFireability-04
FORMULA_NAME RERS17pb115-PT-8-CTLFireability-05
FORMULA_NAME RERS17pb115-PT-8-CTLFireability-06
FORMULA_NAME RERS17pb115-PT-8-CTLFireability-07
FORMULA_NAME RERS17pb115-PT-8-CTLFireability-08
FORMULA_NAME RERS17pb115-PT-8-CTLFireability-09
FORMULA_NAME RERS17pb115-PT-8-CTLFireability-10
FORMULA_NAME RERS17pb115-PT-8-CTLFireability-11
FORMULA_NAME RERS17pb115-PT-8-CTLFireability-12
FORMULA_NAME RERS17pb115-PT-8-CTLFireability-13
FORMULA_NAME RERS17pb115-PT-8-CTLFireability-14
FORMULA_NAME RERS17pb115-PT-8-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589781422541

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb115 (PT), instance 8
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.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 4 NEW BEST:: SOT 123439486 SOS 80221551 HAS SOPS 65207636 HAS SOUS 24074571 HAS SOUPS 23501797 WITH SCORE 2.3582018551E7
AT ITER 5 NEW BEST:: SOT 123433676 SOS 80215198 HAS SOPS 65203290 HAS SOUS 24055381 HAS SOUPS 23482742 WITH SCORE 2.3562957198E7
AT ITER 32 NEW BEST:: SOT 123456995 SOS 80270927 HAS SOPS 65247691 HAS SOUS 24038988 HAS SOUPS 23466349 WITH SCORE 2.3546619927E7
AT ITER 35 NEW BEST:: SOT 123458409 SOS 80313682 HAS SOPS 65297874 HAS SOUS 24038921 HAS SOUPS 23466282 WITH SCORE 2.3546595682E7
AT ITER 36 NEW BEST:: SOT 123445908 SOS 80288463 HAS SOPS 65275614 HAS SOUS 24025904 HAS SOUPS 23453265 WITH SCORE 2.3533553463E7
AT ITER 39 NEW BEST:: SOT 123440730 SOS 80281128 HAS SOPS 65269510 HAS SOUS 24017731 HAS SOUPS 23445092 WITH SCORE 2.3525373128E7
AT ITER 54 NEW BEST:: SOT 123435438 SOS 80268840 HAS SOPS 65260693 HAS SOUS 24017564 HAS SOUPS 23444925 WITH SCORE 2.352519384E7
AT ITER 63 NEW BEST:: SOT 123454618 SOS 80317497 HAS SOPS 65306433 HAS SOUS 24008403 HAS SOUPS 23435764 WITH SCORE 2.3516081497E7
AT ITER 65 NEW BEST:: SOT 123453740 SOS 80316551 HAS SOPS 65305505 HAS SOUS 24006865 HAS SOUPS 23434218 WITH SCORE 2.3514534551E7
AT ITER 69 NEW BEST:: SOT 123452558 SOS 80314753 HAS SOPS 65304015 HAS SOUS 24004342 HAS SOUPS 23431695 WITH SCORE 2.3512009753E7
AT ITER 81 NEW BEST:: SOT 123452002 SOS 80315745 HAS SOPS 65322201 HAS SOUS 24003854 HAS SOUPS 23431207 WITH SCORE 2.3511522745E7
AT ITER 86 NEW BEST:: SOT 123431229 SOS 80291736 HAS SOPS 65294120 HAS SOUS 23975234 HAS SOUPS 23402587 WITH SCORE 2.3482878736E7
AT ITER 91 NEW BEST:: SOT 123430926 SOS 80291218 HAS SOPS 65293682 HAS SOUS 23974990 HAS SOUPS 23402343 WITH SCORE 2.3482634218E7
AT ITER 101 NEW BEST:: SOT 123429499 SOS 80289145 HAS SOPS 65290698 HAS SOUS 23971775 HAS SOUPS 23399128 WITH SCORE 2.3479417145E7
AT ITER 137 NEW BEST:: SOT 123429321 SOS 80288715 HAS SOPS 65290289 HAS SOUS 23971163 HAS SOUPS 23398523 WITH SCORE 2.3478811715E7
AT ITER 143 NEW BEST:: SOT 123426486 SOS 80285698 HAS SOPS 65285900 HAS SOUS 23966282 HAS SOUPS 23393642 WITH SCORE 2.3473927698E7
AT ITER 162 NEW BEST:: SOT 123436391 SOS 80326543 HAS SOPS 65320307 HAS SOUS 23948849 HAS SOUPS 23376209 WITH SCORE 2.3456535543E7
AT ITER 165 NEW BEST:: SOT 123436031 SOS 80335559 HAS SOPS 65327832 HAS SOUS 23926860 HAS SOUPS 23354531 WITH SCORE 2.3434866559E7
AT ITER 166 NEW BEST:: SOT 123406649 SOS 80304606 HAS SOPS 65303053 HAS SOUS 23887847 HAS SOUPS 23314964 WITH SCORE 2.3395268606E7
AT ITER 170 NEW BEST:: SOT 123405541 SOS 80303536 HAS SOPS 65301500 HAS SOUS 23885449 HAS SOUPS 23312566 WITH SCORE 2.3392869536E7
AT ITER 187 NEW BEST:: SOT 123420587 SOS 80340193 HAS SOPS 65331711 HAS SOUS 23873372 HAS SOUPS 23300489 WITH SCORE 2.3380829193E7
AT ITER 198 NEW BEST:: SOT 123405291 SOS 80305493 HAS SOPS 65334683 HAS SOUS 23859616 HAS SOUPS 23287131 WITH SCORE 2.3367436493E7
AT ITER 203 NEW BEST:: SOT 123402451 SOS 80302229 HAS SOPS 65331919 HAS SOUS 23855180 HAS SOUPS 23282695 WITH SCORE 2.3362997229E7
AT ITER 204 NEW BEST:: SOT 123397034 SOS 80287372 HAS SOPS 65314523 HAS SOUS 23851552 HAS SOUPS 23279067 WITH SCORE 2.3359354372E7
AT ITER 210 NEW BEST:: SOT 123418421 SOS 80331410 HAS SOPS 65375387 HAS SOUS 23818227 HAS SOUPS 23245685 WITH SCORE 2.332601641E7
AT ITER 220 NEW BEST:: SOT 123415480 SOS 80310405 HAS SOPS 65374172 HAS SOUS 23816638 HAS SOUPS 23244296 WITH SCORE 2.3324606405E7
AT ITER 223 NEW BEST:: SOT 123436867 SOS 80337676 HAS SOPS 65421230 HAS SOUS 23812446 HAS SOUPS 23240104 WITH SCORE 2.3320441676E7
AT ITER 231 NEW BEST:: SOT 123332765 SOS 80243135 HAS SOPS 65310861 HAS SOUS 23613986 HAS SOUPS 23038462 WITH SCORE 2.3118705135E7
AT ITER 245 NEW BEST:: SOT 123350095 SOS 80286400 HAS SOPS 65346439 HAS SOUS 23607285 HAS SOUPS 23031761 WITH SCORE 2.31120474E7
AT ITER 252 NEW BEST:: SOT 123350095 SOS 80290816 HAS SOPS 65353159 HAS SOUS 23607193 HAS SOUPS 23031669 WITH SCORE 2.3111959816E7
AT ITER 256 NEW BEST:: SOT 123351905 SOS 80294002 HAS SOPS 65355975 HAS SOUS 23606136 HAS SOUPS 23030612 WITH SCORE 2.3110906002E7
AT ITER 260 NEW BEST:: SOT 123350525 SOS 80292982 HAS SOPS 65353355 HAS SOUS 23601934 HAS SOUPS 23026410 WITH SCORE 2.3106702982E7
AT ITER 267 NEW BEST:: SOT 123351876 SOS 80326663 HAS SOPS 65382023 HAS SOUS 23599556 HAS SOUPS 23023837 WITH SCORE 2.3104163663E7
AT ITER 268 NEW BEST:: SOT 123341448 SOS 80310436 HAS SOPS 65372215 HAS SOUS 23580437 HAS SOUPS 23004852 WITH SCORE 2.3085162436E7
AT ITER 269 NEW BEST:: SOT 123353227 SOS 80353571 HAS SOPS 65413643 HAS SOUS 23555600 HAS SOUPS 22980015 WITH SCORE 2.3060368571E7
AT ITER 288 NEW BEST:: SOT 123341827 SOS 80344130 HAS SOPS 65401480 HAS SOUS 23531541 HAS SOUPS 22955956 WITH SCORE 2.303630013E7
AT ITER 292 NEW BEST:: SOT 123343291 SOS 80348962 HAS SOPS 65404486 HAS SOUS 23528785 HAS SOUPS 22953148 WITH SCORE 2.3033496962E7
AT ITER 295 NEW BEST:: SOT 123352559 SOS 80379574 HAS SOPS 65420345 HAS SOUS 23522109 HAS SOUPS 22946472 WITH SCORE 2.3026851574E7
AT ITER 297 NEW BEST:: SOT 123352320 SOS 80381441 HAS SOPS 65424198 HAS SOUS 23521642 HAS SOUPS 22946005 WITH SCORE 2.3026386441E7
AT ITER 299 NEW BEST:: SOT 123350591 SOS 80390380 HAS SOPS 65433550 HAS SOUS 23514809 HAS SOUPS 22939172 WITH SCORE 2.301956238E7
AT ITER 300 NEW BEST:: SOT 123351620 SOS 80394313 HAS SOPS 65434717 HAS SOUS 23512442 HAS SOUPS 22936805 WITH SCORE 2.3017199313E7
AT ITER 327 NEW BEST:: SOT 123322367 SOS 80366627 HAS SOPS 65394270 HAS SOUS 23468163 HAS SOUPS 22892691 WITH SCORE 2.2973057627E7
AT ITER 337 NEW BEST:: SOT 123322376 SOS 80367020 HAS SOPS 65394663 HAS SOUS 23468160 HAS SOUPS 22892688 WITH SCORE 2.297305502E7
AT ITER 355 NEW BEST:: SOT 123291856 SOS 80334347 HAS SOPS 65362006 HAS SOUS 23419941 HAS SOUPS 22844532 WITH SCORE 2.2924866347E7
AT ITER 356 NEW BEST:: SOT 123287825 SOS 80332844 HAS SOPS 65363611 HAS SOUS 23418584 HAS SOUPS 22843175 WITH SCORE 2.2923507844E7
AT ITER 359 NEW BEST:: SOT 123284711 SOS 80336112 HAS SOPS 65360683 HAS SOUS 23398266 HAS SOUPS 22822857 WITH SCORE 2.2903193112E7
AT ITER 364 NEW BEST:: SOT 123272936 SOS 80314130 HAS SOPS 65344471 HAS SOUS 23385838 HAS SOUPS 22810429 WITH SCORE 2.289074313E7
AT ITER 376 NEW BEST:: SOT 123270148 SOS 80311709 HAS SOPS 65341474 HAS SOUS 23379018 HAS SOUPS 22803609 WITH SCORE 2.2883920709E7
AT ITER 384 NEW BEST:: SOT 123270379 SOS 80315306 HAS SOPS 65372090 HAS SOUS 23378307 HAS SOUPS 22802898 WITH SCORE 2.2883213306E7
AT ITER 386 NEW BEST:: SOT 123260500 SOS 80304798 HAS SOPS 65357777 HAS SOUS 23358377 HAS SOUPS 22783018 WITH SCORE 2.2863322798E7
AT ITER 394 NEW BEST:: SOT 123267501 SOS 80311037 HAS SOPS 65372956 HAS SOUS 23355791 HAS SOUPS 22780613 WITH SCORE 2.2860924037E7
AT ITER 412 NEW BEST:: SOT 123267501 SOS 80321029 HAS SOPS 65385954 HAS SOUS 23355519 HAS SOUPS 22780341 WITH SCORE 2.2860662029E7
AT ITER 426 NEW BEST:: SOT 123261077 SOS 80304926 HAS SOPS 65376604 HAS SOUS 23351469 HAS SOUPS 22776291 WITH SCORE 2.2856595926E7
AT ITER 433 NEW BEST:: SOT 123240646 SOS 80275540 HAS SOPS 65354591 HAS SOUS 23331090 HAS SOUPS 22755904 WITH SCORE 2.283617954E7
AT ITER 457 NEW BEST:: SOT 123235390 SOS 80270284 HAS SOPS 65349239 HAS SOUS 23321970 HAS SOUPS 22746784 WITH SCORE 2.2827054284E7
AT ITER 461 NEW BEST:: SOT 123225919 SOS 80256638 HAS SOPS 65344539 HAS SOUS 23311329 HAS SOUPS 22736143 WITH SCORE 2.2816399638E7
AT ITER 468 NEW BEST:: SOT 123208235 SOS 80236006 HAS SOPS 65299494 HAS SOUS 23293401 HAS SOUPS 22718215 WITH SCORE 2.2798451006E7
AT ITER 477 NEW BEST:: SOT 123208293 SOS 80235982 HAS SOPS 65299491 HAS SOUS 23293097 HAS SOUPS 22717911 WITH SCORE 2.2798146982E7
AT ITER 478 NEW BEST:: SOT 123208810 SOS 80237653 HAS SOPS 65301513 HAS SOUS 23291223 HAS SOUPS 22716037 WITH SCORE 2.2796274653E7
AT ITER 483 NEW BEST:: SOT 123205082 SOS 80229355 HAS SOPS 65295564 HAS SOUS 23289200 HAS SOUPS 22714051 WITH SCORE 2.2794280355E7
AT ITER 487 NEW BEST:: SOT 123202750 SOS 80223079 HAS SOPS 65292179 HAS SOUS 23288212 HAS SOUPS 22713068 WITH SCORE 2.2793291079E7
AT ITER 496 NEW BEST:: SOT 123190352 SOS 80213455 HAS SOPS 65288152 HAS SOUS 23271856 HAS SOUPS 22696943 WITH SCORE 2.2777156455E7
AT ITER 499 NEW BEST:: SOT 123231895 SOS 80284440 HAS SOPS 65349783 HAS SOUS 23261061 HAS SOUPS 22686148 WITH SCORE 2.276643244E7
AT ITER 506 NEW BEST:: SOT 123237384 SOS 80300579 HAS SOPS 65367109 HAS SOUS 23253591 HAS SOUPS 22678678 WITH SCORE 2.2758978579E7
AT ITER 517 NEW BEST:: SOT 123232826 SOS 80310064 HAS SOPS 65366125 HAS SOUS 23228660 HAS SOUPS 22653747 WITH SCORE 2.2734057064E7
AT ITER 518 NEW BEST:: SOT 123260861 SOS 80349763 HAS SOPS 65381696 HAS SOUS 23229370 HAS SOUPS 22649785 WITH SCORE 2.2730134763E7
AT ITER 535 NEW BEST:: SOT 123260861 SOS 80351587 HAS SOPS 65384432 HAS SOUS 23229361 HAS SOUPS 22649776 WITH SCORE 2.2730127587E7
AT ITER 541 NEW BEST:: SOT 123260214 SOS 80365044 HAS SOPS 65398413 HAS SOUS 23199931 HAS SOUPS 22620328 WITH SCORE 2.2700693044E7
AT ITER 554 NEW BEST:: SOT 123253024 SOS 80362384 HAS SOPS 65397423 HAS SOUS 23179724 HAS SOUPS 22600185 WITH SCORE 2.2680547384E7
AT ITER 561 NEW BEST:: SOT 123253024 SOS 80363104 HAS SOPS 65398383 HAS SOUS 23179720 HAS SOUPS 22600181 WITH SCORE 2.2680544104E7
AT ITER 564 NEW BEST:: SOT 123249295 SOS 80339179 HAS SOPS 65381640 HAS SOUS 23172153 HAS SOUPS 22592614 WITH SCORE 2.2672953179E7
AT ITER 577 NEW BEST:: SOT 123221079 SOS 80282683 HAS SOPS 65336551 HAS SOUS 23157683 HAS SOUPS 22578388 WITH SCORE 2.2658670683E7
AT ITER 580 NEW BEST:: SOT 123220012 SOS 80283505 HAS SOPS 65336774 HAS SOUS 23156804 HAS SOUPS 22577509 WITH SCORE 2.2657792505E7
AT ITER 582 NEW BEST:: SOT 123222855 SOS 80287647 HAS SOPS 65341086 HAS SOUS 23155241 HAS SOUPS 22575946 WITH SCORE 2.2656233647E7
AT ITER 600 NEW BEST:: SOT 123248094 SOS 80310265 HAS SOPS 65363980 HAS SOUS 23154985 HAS SOUPS 22575811 WITH SCORE 2.2656121265E7
AT ITER 603 NEW BEST:: SOT 123268768 SOS 80367673 HAS SOPS 65429087 HAS SOUS 23144753 HAS SOUPS 22565579 WITH SCORE 2.2645946673E7
AT ITER 621 NEW BEST:: SOT 123268516 SOS 80377463 HAS SOPS 65461254 HAS SOUS 23143162 HAS SOUPS 22564234 WITH SCORE 2.2644611463E7
AT ITER 623 NEW BEST:: SOT 123279853 SOS 80388823 HAS SOPS 65483268 HAS SOUS 23136532 HAS SOUPS 22558571 WITH SCORE 2.2638959823E7
AT ITER 633 NEW BEST:: SOT 123287753 SOS 80423412 HAS SOPS 65527194 HAS SOUS 23129632 HAS SOUPS 22551797 WITH SCORE 2.2632220412E7
AT ITER 637 NEW BEST:: SOT 123291795 SOS 80439040 HAS SOPS 65545120 HAS SOUS 23099089 HAS SOUPS 22521057 WITH SCORE 2.260149604E7
AT ITER 639 NEW BEST:: SOT 123292367 SOS 80444086 HAS SOPS 65544414 HAS SOUS 23089995 HAS SOUPS 22511922 WITH SCORE 2.2592366086E7
AT ITER 652 NEW BEST:: SOT 123291785 SOS 80447756 HAS SOPS 65546149 HAS SOUS 23067101 HAS SOUPS 22489028 WITH SCORE 2.2569475756E7
AT ITER 658 NEW BEST:: SOT 123291807 SOS 80461518 HAS SOPS 65562439 HAS SOUS 23066748 HAS SOUPS 22488675 WITH SCORE 2.2569136518E7
AT ITER 690 NEW BEST:: SOT 123325532 SOS 80556987 HAS SOPS 65628113 HAS SOUS 23060285 HAS SOUPS 22482212 WITH SCORE 2.2562768987E7
AT ITER 708 NEW BEST:: SOT 123325383 SOS 80551904 HAS SOPS 65624593 HAS SOUS 23060279 HAS SOUPS 22482206 WITH SCORE 2.2562757904E7
AT ITER 712 NEW BEST:: SOT 123344390 SOS 80612526 HAS SOPS 65673133 HAS SOUS 23045313 HAS SOUPS 22467240 WITH SCORE 2.2547852526E7
AT ITER 723 NEW BEST:: SOT 123343365 SOS 80609907 HAS SOPS 65669979 HAS SOUS 23044279 HAS SOUPS 22466206 WITH SCORE 2.2546815907E7
AT ITER 753 NEW BEST:: SOT 123335632 SOS 80601322 HAS SOPS 65665996 HAS SOUS 23027126 HAS SOUPS 22449053 WITH SCORE 2.2529654322E7
AT ITER 758 NEW BEST:: SOT 123328121 SOS 80594279 HAS SOPS 65658479 HAS SOUS 23020515 HAS SOUPS 22442442 WITH SCORE 2.2523036279E7
AT ITER 763 NEW BEST:: SOT 123335106 SOS 80613634 HAS SOPS 65680138 HAS SOUS 23014663 HAS SOUPS 22436590 WITH SCORE 2.2517203634E7
AT ITER 771 NEW BEST:: SOT 123334529 SOS 80613465 HAS SOPS 65678453 HAS SOUS 23010140 HAS SOUPS 22432067 WITH SCORE 2.2512680465E7
AT ITER 783 NEW BEST:: SOT 123330867 SOS 80610890 HAS SOPS 65676491 HAS SOUS 23000998 HAS SOUPS 22422925 WITH SCORE 2.250353589E7
AT ITER 800 NEW BEST:: SOT 123331743 SOS 80612495 HAS SOPS 65676219 HAS SOUS 22998274 HAS SOUPS 22420201 WITH SCORE 2.2500813495E7
AT ITER 818 NEW BEST:: SOT 123345283 SOS 80646309 HAS SOPS 65701339 HAS SOUS 22994722 HAS SOUPS 22416649 WITH SCORE 2.2497295309E7
AT ITER 820 NEW BEST:: SOT 123324082 SOS 80618030 HAS SOPS 65669326 HAS SOUS 22943649 HAS SOUPS 22365848 WITH SCORE 2.244646603E7
AT ITER 821 NEW BEST:: SOT 123326855 SOS 80629532 HAS SOPS 65681484 HAS SOUS 22935602 HAS SOUPS 22357801 WITH SCORE 2.2438430532E7
AT ITER 830 NEW BEST:: SOT 123314905 SOS 80618959 HAS SOPS 65658168 HAS SOUS 22904934 HAS SOUPS 22327070 WITH SCORE 2.2407688959E7
AT ITER 845 NEW BEST:: SOT 123311855 SOS 80605032 HAS SOPS 65655988 HAS SOUS 22875491 HAS SOUPS 22297877 WITH SCORE 2.2378482032E7
AT ITER 870 NEW BEST:: SOT 123276258 SOS 80569202 HAS SOPS 65619183 HAS SOUS 22836213 HAS SOUPS 22258569 WITH SCORE 2.2339138202E7
AT ITER 887 NEW BEST:: SOT 123196409 SOS 80489077 HAS SOPS 65539079 HAS SOUS 22727444 HAS SOUPS 22149821 WITH SCORE 2.2230310077E7
AT ITER 889 NEW BEST:: SOT 123186504 SOS 80479156 HAS SOPS 65527161 HAS SOUS 22712683 HAS SOUPS 22135059 WITH SCORE 2.2215538156E7
AT ITER 896 NEW BEST:: SOT 123185089 SOS 80477466 HAS SOPS 65524712 HAS SOUS 22709508 HAS SOUPS 22131873 WITH SCORE 2.2212350466E7
AT ITER 913 NEW BEST:: SOT 123204167 SOS 80516492 HAS SOPS 65562461 HAS SOUS 22704742 HAS SOUPS 22127025 WITH SCORE 2.2207541492E7
AT ITER 917 NEW BEST:: SOT 123217786 SOS 80548772 HAS SOPS 65615142 HAS SOUS 22678899 HAS SOUPS 22101633 WITH SCORE 2.2182181772E7
AT ITER 933 NEW BEST:: SOT 123166176 SOS 80496921 HAS SOPS 65562505 HAS SOUS 22621017 HAS SOUPS 22043941 WITH SCORE 2.2124437921E7
AT ITER 937 NEW BEST:: SOT 123160093 SOS 80491718 HAS SOPS 65552021 HAS SOUS 22602173 HAS SOUPS 22025097 WITH SCORE 2.2105588718E7
AT ITER 940 NEW BEST:: SOT 123160109 SOS 80490886 HAS SOPS 65552726 HAS SOUS 22597094 HAS SOUPS 22020018 WITH SCORE 2.2100508886E7
AT ITER 951 NEW BEST:: SOT 123154591 SOS 80472393 HAS SOPS 65529355 HAS SOUS 22595857 HAS SOUPS 22018781 WITH SCORE 2.2099253393E7
AT ITER 957 NEW BEST:: SOT 123150081 SOS 80467716 HAS SOPS 65521036 HAS SOUS 22580418 HAS SOUPS 22003342 WITH SCORE 2.2083809716E7
AT ITER 959 NEW BEST:: SOT 123151686 SOS 80465660 HAS SOPS 65518760 HAS SOUS 22563494 HAS SOUPS 21987159 WITH SCORE 2.206762466E7
AT ITER 970 NEW BEST:: SOT 123144324 SOS 80458027 HAS SOPS 65513473 HAS SOUS 22542797 HAS SOUPS 21966604 WITH SCORE 2.2047062027E7
AT ITER 978 NEW BEST:: SOT 123144324 SOS 80458539 HAS SOPS 65513985 HAS SOUS 22542772 HAS SOUPS 21966579 WITH SCORE 2.2047037539E7
AT ITER 995 NEW BEST:: SOT 123152972 SOS 80478583 HAS SOPS 65534150 HAS SOUS 22536452 HAS SOUPS 21960259 WITH SCORE 2.2040737583E7
AT ITER 1003 NEW BEST:: SOT 123152992 SOS 80486282 HAS SOPS 65543862 HAS SOUS 22535839 HAS SOUPS 21959646 WITH SCORE 2.2040132282E7
AT ITER 1015 NEW BEST:: SOT 123127909 SOS 80463726 HAS SOPS 65521847 HAS SOUS 22534947 HAS SOUPS 21958802 WITH SCORE 2.2039265726E7
AT ITER 1018 NEW BEST:: SOT 123122443 SOS 80455092 HAS SOPS 65513273 HAS SOUS 22527937 HAS SOUPS 21951816 WITH SCORE 2.2032271092E7
AT ITER 1039 NEW BEST:: SOT 123122443 SOS 80468772 HAS SOPS 65534633 HAS SOUS 22527694 HAS SOUPS 21951573 WITH SCORE 2.2032041772E7
AT ITER 1073 NEW BEST:: SOT 123124995 SOS 80472730 HAS SOPS 65537376 HAS SOUS 22525294 HAS SOUPS 21949173 WITH SCORE 2.202964573E7
AT ITER 1074 NEW BEST:: SOT 123125765 SOS 80474342 HAS SOPS 65538902 HAS SOUS 22524640 HAS SOUPS 21948519 WITH SCORE 2.2028993342E7
AT ITER 1077 NEW BEST:: SOT 123123135 SOS 80471976 HAS SOPS 65536676 HAS SOUS 22520129 HAS SOUPS 21944104 WITH SCORE 2.2024575976E7
AT ITER 1080 NEW BEST:: SOT 123125760 SOS 80475610 HAS SOPS 65539471 HAS SOUS 22517447 HAS SOUPS 21941422 WITH SCORE 2.202189761E7
AT ITER 1093 NEW BEST:: SOT 123124599 SOS 80474489 HAS SOPS 65538154 HAS SOUS 22514848 HAS SOUPS 21938806 WITH SCORE 2.2019280489E7
AT ITER 1101 NEW BEST:: SOT 123124694 SOS 80469543 HAS SOPS 65529628 HAS SOUS 22490812 HAS SOUPS 21914770 WITH SCORE 2.1995239543E7
AT ITER 1130 NEW BEST:: SOT 123124152 SOS 80468526 HAS SOPS 65528911 HAS SOUS 22490574 HAS SOUPS 21914532 WITH SCORE 2.1995000526E7
AT ITER 1194 NEW BEST:: SOT 123119214 SOS 80461034 HAS SOPS 65523117 HAS SOUS 22484627 HAS SOUPS 21908632 WITH SCORE 2.1989093034E7
AT ITER 1203 NEW BEST:: SOT 123117509 SOS 80455068 HAS SOPS 65514883 HAS SOUS 22475723 HAS SOUPS 21899879 WITH SCORE 2.1980334068E7
AT ITER 1208 NEW BEST:: SOT 123117317 SOS 80454764 HAS SOPS 65514757 HAS SOUS 22475611 HAS SOUPS 21899767 WITH SCORE 2.1980221764E7
AT ITER 1219 NEW BEST:: SOT 123117485 SOS 80454622 HAS SOPS 65514089 HAS SOUS 22471468 HAS SOUPS 21895624 WITH SCORE 2.1976078622E7
AT ITER 1220 NEW BEST:: SOT 123117655 SOS 80457867 HAS SOPS 65515429 HAS SOUS 22468916 HAS SOUPS 21893072 WITH SCORE 2.1973529867E7
AT ITER 1231 NEW BEST:: SOT 123121207 SOS 80460433 HAS SOPS 65519064 HAS SOUS 22465796 HAS SOUPS 21889952 WITH SCORE 2.1970412433E7
AT ITER 1242 NEW BEST:: SOT 123113294 SOS 80443941 HAS SOPS 65506295 HAS SOUS 22459852 HAS SOUPS 21884089 WITH SCORE 2.1964532941E7
AT ITER 1243 NEW BEST:: SOT 123111183 SOS 80432273 HAS SOPS 65504266 HAS SOUS 22458154 HAS SOUPS 21882391 WITH SCORE 2.1962823273E7
AT ITER 1253 NEW BEST:: SOT 123108464 SOS 80427311 HAS SOPS 65499806 HAS SOUS 22455786 HAS SOUPS 21880023 WITH SCORE 2.1960450311E7
AT ITER 1254 NEW BEST:: SOT 123102713 SOS 80411022 HAS SOPS 65481798 HAS SOUS 22455535 HAS SOUPS 21879772 WITH SCORE 2.1960183022E7
AT ITER 1259 NEW BEST:: SOT 123091312 SOS 80399333 HAS SOPS 65457316 HAS SOUS 22430029 HAS SOUPS 21854266 WITH SCORE 2.1934665333E7
AT ITER 1266 NEW BEST:: SOT 123091346 SOS 80404291 HAS SOPS 65466244 HAS SOUS 22429886 HAS SOUPS 21854123 WITH SCORE 2.1934527291E7
AT ITER 1278 NEW BEST:: SOT 123086021 SOS 80378497 HAS SOPS 65445571 HAS SOUS 22423421 HAS SOUPS 21847688 WITH SCORE 2.1928066497E7
AT ITER 1279 NEW BEST:: SOT 123079924 SOS 80365875 HAS SOPS 65441199 HAS SOUS 22423091 HAS SOUPS 21847358 WITH SCORE 2.1927723875E7
AT ITER 1280 NEW BEST:: SOT 123083077 SOS 80374976 HAS SOPS 65447230 HAS SOUS 22420086 HAS SOUPS 21844353 WITH SCORE 2.1924727976E7
AT ITER 1289 NEW BEST:: SOT 123082692 SOS 80374838 HAS SOPS 65447515 HAS SOUS 22410465 HAS SOUPS 21834732 WITH SCORE 2.1915106838E7
AT ITER 1290 NEW BEST:: SOT 123075719 SOS 80367633 HAS SOPS 65436648 HAS SOUS 22395710 HAS SOUPS 21819977 WITH SCORE 2.1900344633E7
AT ITER 1291 NEW BEST:: SOT 123074851 SOS 80365989 HAS SOPS 65434940 HAS SOUS 22394450 HAS SOUPS 21818717 WITH SCORE 2.1899082989E7
AT ITER 1292 NEW BEST:: SOT 123085798 SOS 80384572 HAS SOPS 65444682 HAS SOUS 22386518 HAS SOUPS 21810524 WITH SCORE 2.1890908572E7
AT ITER 1294 NEW BEST:: SOT 123085806 SOS 80389188 HAS SOPS 65450610 HAS SOUS 22386393 HAS SOUPS 21810399 WITH SCORE 2.1890788188E7
AT ITER 1296 NEW BEST:: SOT 123086286 SOS 80389803 HAS SOPS 65450985 HAS SOUS 22385572 HAS SOUPS 21809578 WITH SCORE 2.1889967803E7
AT ITER 1297 NEW BEST:: SOT 123085723 SOS 80389060 HAS SOPS 65449917 HAS SOUS 22382787 HAS SOUPS 21806793 WITH SCORE 2.188718206E7
AT ITER 1332 NEW BEST:: SOT 123067832 SOS 80370651 HAS SOPS 65430510 HAS SOUS 22365826 HAS SOUPS 21789926 WITH SCORE 2.1870296651E7
AT ITER 1359 NEW BEST:: SOT 123040535 SOS 80316271 HAS SOPS 65385146 HAS SOUS 22353491 HAS SOUPS 21777591 WITH SCORE 2.1857907271E7
AT ITER 1405 NEW BEST:: SOT 123046082 SOS 80324227 HAS SOPS 65388378 HAS SOUS 22347308 HAS SOUPS 21771293 WITH SCORE 2.1851617227E7
AT ITER 1413 NEW BEST:: SOT 123059242 SOS 80339952 HAS SOPS 65400391 HAS SOUS 22337575 HAS SOUPS 21761416 WITH SCORE 2.1841755952E7
AT ITER 1420 NEW BEST:: SOT 123058973 SOS 80338366 HAS SOPS 65398801 HAS SOUS 22333261 HAS SOUPS 21757081 WITH SCORE 2.1837419366E7
AT ITER 1426 NEW BEST:: SOT 123059534 SOS 80339309 HAS SOPS 65404130 HAS SOUS 22325584 HAS SOUPS 21753190 WITH SCORE 2.1833529309E7
AT ITER 1439 NEW BEST:: SOT 123059534 SOS 80339229 HAS SOPS 65404050 HAS SOUS 22325574 HAS SOUPS 21753180 WITH SCORE 2.1833519229E7
AT ITER 1444 NEW BEST:: SOT 123052773 SOS 80330172 HAS SOPS 65394109 HAS SOUS 22311599 HAS SOUPS 21739249 WITH SCORE 2.1819579172E7
AT ITER 1462 NEW BEST:: SOT 123058878 SOS 80336109 HAS SOPS 65397047 HAS SOUS 22277868 HAS SOUPS 21705439 WITH SCORE 2.1785775109E7
AT ITER 1485 NEW BEST:: SOT 123035786 SOS 80308046 HAS SOPS 65357619 HAS SOUS 22233239 HAS SOUPS 21660687 WITH SCORE 2.1740995046E7
AT ITER 1489 NEW BEST:: SOT 123034005 SOS 80307099 HAS SOPS 65355046 HAS SOUS 22229147 HAS SOUPS 21656595 WITH SCORE 2.1736902099E7
AT ITER 1490 NEW BEST:: SOT 123042426 SOS 80313914 HAS SOPS 65360987 HAS SOUS 22226125 HAS SOUPS 21653573 WITH SCORE 2.1733886914E7
AT ITER 1494 NEW BEST:: SOT 123042580 SOS 80315492 HAS SOPS 65361871 HAS SOUS 22224624 HAS SOUPS 21652072 WITH SCORE 2.1732387492E7
AT ITER 1517 NEW BEST:: SOT 123053733 SOS 80351530 HAS SOPS 65398741 HAS SOUS 22223779 HAS SOUPS 21651227 WITH SCORE 2.173157853E7
AT ITER 1538 NEW BEST:: SOT 123053007 SOS 80349358 HAS SOPS 65398108 HAS SOUS 22222106 HAS SOUPS 21649912 WITH SCORE 2.1730261358E7
AT ITER 1561 NEW BEST:: SOT 123049866 SOS 80346354 HAS SOPS 65394951 HAS SOUS 22218363 HAS SOUPS 21646132 WITH SCORE 2.1726478354E7
AT ITER 1562 NEW BEST:: SOT 123021454 SOS 80316330 HAS SOPS 65345384 HAS SOUS 22102471 HAS SOUPS 21529714 WITH SCORE 2.161003033E7
AT ITER 1573 NEW BEST:: SOT 123021433 SOS 80317112 HAS SOPS 65345022 HAS SOUS 22100087 HAS SOUPS 21527330 WITH SCORE 2.1607647112E7
AT ITER 1575 NEW BEST:: SOT 122996677 SOS 80279955 HAS SOPS 65329022 HAS SOUS 22053493 HAS SOUPS 21481165 WITH SCORE 2.1561444955E7
AT ITER 1579 NEW BEST:: SOT 123007094 SOS 80284858 HAS SOPS 65336146 HAS SOUS 22042004 HAS SOUPS 21471213 WITH SCORE 2.1551497858E7
AT ITER 1587 NEW BEST:: SOT 122995451 SOS 80273406 HAS SOPS 65324431 HAS SOUS 22027704 HAS SOUPS 21456837 WITH SCORE 2.1537110406E7
AT ITER 1590 NEW BEST:: SOT 123000879 SOS 80296914 HAS SOPS 65335641 HAS SOUS 22011915 HAS SOUPS 21441048 WITH SCORE 2.1521344914E7
AT ITER 1601 NEW BEST:: SOT 123009683 SOS 80322017 HAS SOPS 65337321 HAS SOUS 21963241 HAS SOUPS 21392374 WITH SCORE 2.1472696017E7
AT ITER 1616 NEW BEST:: SOT 123008997 SOS 80320353 HAS SOPS 65334855 HAS SOUS 21960317 HAS SOUPS 21389450 WITH SCORE 2.1469770353E7
AT ITER 1628 NEW BEST:: SOT 123000066 SOS 80311422 HAS SOPS 65325924 HAS SOUS 21949114 HAS SOUPS 21378247 WITH SCORE 2.1458558422E7
AT ITER 1682 NEW BEST:: SOT 122996626 SOS 80309495 HAS SOPS 65321833 HAS SOUS 21936963 HAS SOUPS 21366096 WITH SCORE 2.1446405495E7
AT ITER 1700 NEW BEST:: SOT 122995485 SOS 80306510 HAS SOPS 65320011 HAS SOUS 21934435 HAS SOUPS 21363957 WITH SCORE 2.144426351E7
AT ITER 1759 NEW BEST:: SOT 122992590 SOS 80296220 HAS SOPS 65308655 HAS SOUS 21928015 HAS SOUPS 21357537 WITH SCORE 2.143783322E7
AT ITER 1763 NEW BEST:: SOT 122989635 SOS 80295263 HAS SOPS 65300712 HAS SOUS 21886410 HAS SOUPS 21311103 WITH SCORE 2.1391398263E7
AT ITER 1772 NEW BEST:: SOT 122994326 SOS 80304840 HAS SOPS 65310668 HAS SOUS 21883101 HAS SOUPS 21307709 WITH SCORE 2.138801384E7
AT ITER 1776 NEW BEST:: SOT 122986299 SOS 80306311 HAS SOPS 65307545 HAS SOUS 21850356 HAS SOUPS 21274964 WITH SCORE 2.1355270311E7
AT ITER 1802 NEW BEST:: SOT 122987676 SOS 80306980 HAS SOPS 65308790 HAS SOUS 21848532 HAS SOUPS 21273140 WITH SCORE 2.135344698E7
AT ITER 1807 NEW BEST:: SOT 122979715 SOS 80299596 HAS SOPS 65303673 HAS SOUS 21835456 HAS SOUPS 21260064 WITH SCORE 2.1340363596E7
AT ITER 1812 NEW BEST:: SOT 122975359 SOS 80289173 HAS SOPS 65296699 HAS SOUS 21831761 HAS SOUPS 21256369 WITH SCORE 2.1336658173E7
AT ITER 1820 NEW BEST:: SOT 122963403 SOS 80277161 HAS SOPS 65284687 HAS SOUS 21819916 HAS SOUPS 21244524 WITH SCORE 2.1324801161E7
AT ITER 1830 NEW BEST:: SOT 122970944 SOS 80295600 HAS SOPS 65285607 HAS SOUS 21796093 HAS SOUPS 21221099 WITH SCORE 2.13013946E7
AT ITER 1844 NEW BEST:: SOT 122970828 SOS 80295438 HAS SOPS 65285431 HAS SOUS 21795713 HAS SOUPS 21220719 WITH SCORE 2.1301014438E7
AT ITER 1878 NEW BEST:: SOT 122970728 SOS 80296490 HAS SOPS 65286195 HAS SOUS 21795701 HAS SOUPS 21220698 WITH SCORE 2.130099449E7
AT ITER 1879 NEW BEST:: SOT 122961449 SOS 80293123 HAS SOPS 65285863 HAS SOUS 21754803 HAS SOUPS 21179800 WITH SCORE 2.1260093123E7
AT ITER 1893 NEW BEST:: SOT 122961245 SOS 80292855 HAS SOPS 65285675 HAS SOUS 21754787 HAS SOUPS 21179784 WITH SCORE 2.1260076855E7
AT ITER 1898 NEW BEST:: SOT 122960300 SOS 80295071 HAS SOPS 65281773 HAS SOUS 21744198 HAS SOUPS 21169146 WITH SCORE 2.1249441071E7
AT ITER 1905 NEW BEST:: SOT 122958031 SOS 80294690 HAS SOPS 65278741 HAS SOUS 21734305 HAS SOUPS 21159253 WITH SCORE 2.123954769E7
AT ITER 1940 NEW BEST:: SOT 122957687 SOS 80289586 HAS SOPS 65274038 HAS SOUS 21729495 HAS SOUPS 21154443 WITH SCORE 2.1234732586E7
AT ITER 1948 NEW BEST:: SOT 122921018 SOS 80251750 HAS SOPS 65230618 HAS SOUS 21657157 HAS SOUPS 21081881 WITH SCORE 2.116213275E7
AT ITER 1949 NEW BEST:: SOT 122915772 SOS 80248568 HAS SOPS 65226708 HAS SOUS 21643796 HAS SOUPS 21068520 WITH SCORE 2.1148768568E7
AT ITER 1977 NEW BEST:: SOT 122916547 SOS 80268651 HAS SOPS 65240793 HAS SOUS 21643400 HAS SOUPS 21068124 WITH SCORE 2.1148392651E7
AT ITER 1989 NEW BEST:: SOT 122909513 SOS 80236328 HAS SOPS 65221099 HAS SOUS 21640480 HAS SOUPS 21065585 WITH SCORE 2.1145821328E7
AT ITER 1991 NEW BEST:: SOT 122997399 SOS 80368132 HAS SOPS 65353472 HAS SOUS 21638598 HAS SOUPS 21064968 WITH SCORE 2.1145336132E7
AT ITER 1994 NEW BEST:: SOT 122988062 SOS 80340049 HAS SOPS 65342400 HAS SOUS 21603527 HAS SOUPS 21029897 WITH SCORE 2.1110237049E7
AT ITER 1997 NEW BEST:: SOT 122999712 SOS 80374391 HAS SOPS 65364547 HAS SOUS 21577214 HAS SOUPS 21003584 WITH SCORE 2.1083958391E7
AT ITER 1998 NEW BEST:: SOT 122989295 SOS 80368802 HAS SOPS 65359112 HAS SOUS 21560289 HAS SOUPS 20986552 WITH SCORE 2.1066920802E7
AT ITER 2005 NEW BEST:: SOT 123010786 SOS 80416428 HAS SOPS 65389655 HAS SOUS 21547401 HAS SOUPS 20973664 WITH SCORE 2.1054080428E7
AT ITER 2010 NEW BEST:: SOT 123009166 SOS 80414836 HAS SOPS 65386858 HAS SOUS 21544658 HAS SOUPS 20970921 WITH SCORE 2.1051335836E7
AT ITER 2015 NEW BEST:: SOT 123006037 SOS 80398892 HAS SOPS 65373367 HAS SOUS 21536073 HAS SOUPS 20962336 WITH SCORE 2.1042734892E7
AT ITER 2028 NEW BEST:: SOT 122997309 SOS 80382797 HAS SOPS 65362981 HAS SOUS 21525056 HAS SOUPS 20951513 WITH SCORE 2.1031895797E7
AT ITER 2048 NEW BEST:: SOT 122996520 SOS 80380518 HAS SOPS 65359238 HAS SOUS 21521496 HAS SOUPS 20947953 WITH SCORE 2.1028333518E7
AT ITER 2064 NEW BEST:: SOT 123056569 SOS 80461136 HAS SOPS 65453293 HAS SOUS 21516268 HAS SOUPS 20943377 WITH SCORE 2.1023838136E7
AT ITER 2083 NEW BEST:: SOT 123070879 SOS 80499809 HAS SOPS 65485980 HAS SOUS 21492811 HAS SOUPS 20920084 WITH SCORE 2.1000583809E7
AT ITER 2088 NEW BEST:: SOT 123070630 SOS 80495330 HAS SOPS 65482599 HAS SOUS 21492454 HAS SOUPS 20919727 WITH SCORE 2.100022233E7
AT ITER 2089 NEW BEST:: SOT 123053328 SOS 80463181 HAS SOPS 65454025 HAS SOUS 21483994 HAS SOUPS 20911267 WITH SCORE 2.0991730181E7
AT ITER 2127 NEW BEST:: SOT 123098365 SOS 80552863 HAS SOPS 65542685 HAS SOUS 21474075 HAS SOUPS 20901348 WITH SCORE 2.0981900863E7
AT ITER 2150 NEW BEST:: SOT 123083415 SOS 80528666 HAS SOPS 65521797 HAS SOUS 21467979 HAS SOUPS 20895252 WITH SCORE 2.0975780666E7
AT ITER 2163 NEW BEST:: SOT 123080154 SOS 80524745 HAS SOPS 65517526 HAS SOUS 21461284 HAS SOUPS 20888594 WITH SCORE 2.0969118745E7
AT ITER 2192 NEW BEST:: SOT 123051036 SOS 80481037 HAS SOPS 65467555 HAS SOUS 21457666 HAS SOUPS 20884976 WITH SCORE 2.0965457037E7
AT ITER 2205 NEW BEST:: SOT 123026452 SOS 80456438 HAS SOPS 65439724 HAS SOUS 21430759 HAS SOUPS 20857145 WITH SCORE 2.0937601438E7
AT ITER 2217 NEW BEST:: SOT 123026691 SOS 80456890 HAS SOPS 65440044 HAS SOUS 21430425 HAS SOUPS 20856817 WITH SCORE 2.093727389E7
AT ITER 2219 NEW BEST:: SOT 123026167 SOS 80457287 HAS SOPS 65435938 HAS SOUS 21418014 HAS SOUPS 20844406 WITH SCORE 2.0924863287E7
AT ITER 2244 NEW BEST:: SOT 123022325 SOS 80452896 HAS SOPS 65428580 HAS SOUS 21402693 HAS SOUPS 20829085 WITH SCORE 2.0909537896E7
AT ITER 2247 NEW BEST:: SOT 123011126 SOS 80432772 HAS SOPS 65410896 HAS SOUS 21387936 HAS SOUPS 20814888 WITH SCORE 2.0895320772E7
AT ITER 2267 NEW BEST:: SOT 123009165 SOS 80431979 HAS SOPS 65407457 HAS SOUS 21385516 HAS SOUPS 20812468 WITH SCORE 2.0892899979E7
AT ITER 2271 NEW BEST:: SOT 122996663 SOS 80418162 HAS SOPS 65390062 HAS SOUS 21362901 HAS SOUPS 20789853 WITH SCORE 2.0870271162E7
AT ITER 2304 NEW BEST:: SOT 122996663 SOS 80419754 HAS SOPS 65391958 HAS SOUS 21362846 HAS SOUPS 20789798 WITH SCORE 2.0870217754E7
AT ITER 2311 NEW BEST:: SOT 122972467 SOS 80384525 HAS SOPS 65355321 HAS SOUS 21354126 HAS SOUPS 20781159 WITH SCORE 2.0861543525E7
AT ITER 2322 NEW BEST:: SOT 122960831 SOS 80366127 HAS SOPS 65332735 HAS SOUS 21350652 HAS SOUPS 20777685 WITH SCORE 2.0858051127E7
AT ITER 2334 NEW BEST:: SOT 122961424 SOS 80370003 HAS SOPS 65335288 HAS SOUS 21348365 HAS SOUPS 20775398 WITH SCORE 2.0855768003E7
AT ITER 2349 NEW BEST:: SOT 122961258 SOS 80369837 HAS SOPS 65335218 HAS SOUS 21347255 HAS SOUPS 20774384 WITH SCORE 2.0854753837E7
AT ITER 2352 NEW BEST:: SOT 122960460 SOS 80369104 HAS SOPS 65335317 HAS SOUS 21341041 HAS SOUPS 20769194 WITH SCORE 2.0849563104E7
AT ITER 2366 NEW BEST:: SOT 122959811 SOS 80368785 HAS SOPS 65333744 HAS SOUS 21340590 HAS SOUPS 20768644 WITH SCORE 2.0849012785E7
AT ITER 2368 NEW BEST:: SOT 122965637 SOS 80361826 HAS SOPS 65332194 HAS SOUS 21326062 HAS SOUPS 20754116 WITH SCORE 2.0834477826E7
AT ITER 2369 NEW BEST:: SOT 122965529 SOS 80361593 HAS SOPS 65332536 HAS SOUS 21324439 HAS SOUPS 20752493 WITH SCORE 2.0832854593E7
AT ITER 2370 NEW BEST:: SOT 122956308 SOS 80350342 HAS SOPS 65314585 HAS SOUS 21301578 HAS SOUPS 20729775 WITH SCORE 2.0810125342E7
AT ITER 2384 NEW BEST:: SOT 122957112 SOS 80355625 HAS SOPS 65321088 HAS SOUS 21300266 HAS SOUPS 20728480 WITH SCORE 2.0808835625E7
AT ITER 2386 NEW BEST:: SOT 122954186 SOS 80352959 HAS SOPS 65319746 HAS SOUS 21294429 HAS SOUPS 20722592 WITH SCORE 2.0802944959E7
AT ITER 2392 NEW BEST:: SOT 122953939 SOS 80352712 HAS SOPS 65318602 HAS SOUS 21293779 HAS SOUPS 20721929 WITH SCORE 2.0802281712E7
AT ITER 2393 NEW BEST:: SOT 122947093 SOS 80343483 HAS SOPS 65310046 HAS SOUS 21279213 HAS SOUPS 20707442 WITH SCORE 2.0787785483E7
AT ITER 2397 NEW BEST:: SOT 122879870 SOS 80205823 HAS SOPS 65186500 HAS SOUS 21162288 HAS SOUPS 20590994 WITH SCORE 2.0671199823E7
AT ITER 2400 NEW BEST:: SOT 122873003 SOS 80198966 HAS SOPS 65177593 HAS SOUS 21153386 HAS SOUPS 20581263 WITH SCORE 2.0661461966E7
AT ITER 2411 NEW BEST:: SOT 122867573 SOS 80192884 HAS SOPS 65170988 HAS SOUS 21141819 HAS SOUPS 20569696 WITH SCORE 2.0649888884E7
AT ITER 2418 NEW BEST:: SOT 122835923 SOS 80153427 HAS SOPS 65149964 HAS SOUS 21141261 HAS SOUPS 20569138 WITH SCORE 2.0649291427E7
AT ITER 2421 NEW BEST:: SOT 122835587 SOS 80154885 HAS SOPS 65149954 HAS SOUS 21129115 HAS SOUPS 20556992 WITH SCORE 2.0637146885E7

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="CTLFireability"
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 CTLFireability"
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-158961502500204"
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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;