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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 3.7K Apr 12 07:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 12 07:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.9K Apr 11 08:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 11 08:45 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.4K Apr 14 12:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 14 12:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Apr 10 14:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 10 14:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Apr 9 21:12 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 9 21:11 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-6-CTLCardinality-00
FORMULA_NAME RERS17pb115-PT-6-CTLCardinality-01
FORMULA_NAME RERS17pb115-PT-6-CTLCardinality-02
FORMULA_NAME RERS17pb115-PT-6-CTLCardinality-03
FORMULA_NAME RERS17pb115-PT-6-CTLCardinality-04
FORMULA_NAME RERS17pb115-PT-6-CTLCardinality-05
FORMULA_NAME RERS17pb115-PT-6-CTLCardinality-06
FORMULA_NAME RERS17pb115-PT-6-CTLCardinality-07
FORMULA_NAME RERS17pb115-PT-6-CTLCardinality-08
FORMULA_NAME RERS17pb115-PT-6-CTLCardinality-09
FORMULA_NAME RERS17pb115-PT-6-CTLCardinality-10
FORMULA_NAME RERS17pb115-PT-6-CTLCardinality-11
FORMULA_NAME RERS17pb115-PT-6-CTLCardinality-12
FORMULA_NAME RERS17pb115-PT-6-CTLCardinality-13
FORMULA_NAME RERS17pb115-PT-6-CTLCardinality-14
FORMULA_NAME RERS17pb115-PT-6-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589770434627

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb115 (PT), instance 6
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 3 NEW BEST:: SOT 123418055 SOS 80209759 HAS SOPS 65189188 HAS SOUS 24049527 HAS SOUPS 23476753 WITH SCORE 2.3556962759E7
AT ITER 5 NEW BEST:: SOT 123417942 SOS 80209643 HAS SOPS 65189008 HAS SOUS 24049264 HAS SOUPS 23476489 WITH SCORE 2.3556698643E7
AT ITER 6 NEW BEST:: SOT 123411821 SOS 80198553 HAS SOPS 65181695 HAS SOUS 24040307 HAS SOUPS 23467532 WITH SCORE 2.3547730553E7
AT ITER 21 NEW BEST:: SOT 123415981 SOS 80210335 HAS SOPS 65206165 HAS SOUS 24038668 HAS SOUPS 23466074 WITH SCORE 2.3546284335E7
AT ITER 24 NEW BEST:: SOT 123413299 SOS 80208419 HAS SOPS 65199772 HAS SOUS 24031352 HAS SOUPS 23458702 WITH SCORE 2.3538910419E7
AT ITER 30 NEW BEST:: SOT 123413385 SOS 80227225 HAS SOPS 65232963 HAS SOUS 24031003 HAS SOUPS 23458353 WITH SCORE 2.3538580225E7
AT ITER 32 NEW BEST:: SOT 123456900 SOS 80320838 HAS SOPS 65325765 HAS SOUS 24026441 HAS SOUPS 23453791 WITH SCORE 2.3534111838E7
AT ITER 44 NEW BEST:: SOT 123458658 SOS 80326858 HAS SOPS 65330056 HAS SOUS 24023483 HAS SOUPS 23450833 WITH SCORE 2.3531159858E7
AT ITER 52 NEW BEST:: SOT 123477599 SOS 80352527 HAS SOPS 65352813 HAS SOUS 23995217 HAS SOUPS 23426225 WITH SCORE 2.3506577527E7
AT ITER 80 NEW BEST:: SOT 123477483 SOS 80352591 HAS SOPS 65353045 HAS SOUS 23994979 HAS SOUPS 23425991 WITH SCORE 2.3506343591E7
AT ITER 92 NEW BEST:: SOT 123476382 SOS 80357162 HAS SOPS 65351673 HAS SOUS 23988749 HAS SOUPS 23419761 WITH SCORE 2.3500118162E7
AT ITER 101 NEW BEST:: SOT 123473250 SOS 80352953 HAS SOPS 65348352 HAS SOUS 23983672 HAS SOUPS 23414684 WITH SCORE 2.3495036953E7
AT ITER 106 NEW BEST:: SOT 123473418 SOS 80365841 HAS SOPS 65364873 HAS SOUS 23982056 HAS SOUPS 23413138 WITH SCORE 2.3493503841E7
AT ITER 114 NEW BEST:: SOT 123482505 SOS 80375424 HAS SOPS 65377472 HAS SOUS 23977859 HAS SOUPS 23410333 WITH SCORE 2.3490708424E7
AT ITER 116 NEW BEST:: SOT 123482511 SOS 80382710 HAS SOPS 65384758 HAS SOUS 23977781 HAS SOUPS 23410255 WITH SCORE 2.349063771E7
AT ITER 123 NEW BEST:: SOT 123582368 SOS 80582228 HAS SOPS 65605459 HAS SOUS 23973512 HAS SOUPS 23408671 WITH SCORE 2.3489253228E7
AT ITER 124 NEW BEST:: SOT 123566764 SOS 80566624 HAS SOPS 65589855 HAS SOUS 23955476 HAS SOUPS 23390635 WITH SCORE 2.3471201624E7
AT ITER 134 NEW BEST:: SOT 123566153 SOS 80566000 HAS SOPS 65588951 HAS SOUS 23953953 HAS SOUPS 23389112 WITH SCORE 2.3469678E7
AT ITER 148 NEW BEST:: SOT 123551989 SOS 80529396 HAS SOPS 65566396 HAS SOUS 23947778 HAS SOUPS 23382937 WITH SCORE 2.3463466396E7
AT ITER 183 NEW BEST:: SOT 123549685 SOS 80522237 HAS SOPS 65556284 HAS SOUS 23941525 HAS SOUPS 23376684 WITH SCORE 2.3457206237E7
AT ITER 201 NEW BEST:: SOT 123530451 SOS 80496526 HAS SOPS 65533168 HAS SOUS 23922314 HAS SOUPS 23356604 WITH SCORE 2.3437100526E7
AT ITER 221 NEW BEST:: SOT 123518546 SOS 80489611 HAS SOPS 65527165 HAS SOUS 23873088 HAS SOUPS 23307256 WITH SCORE 2.3387745611E7
AT ITER 227 NEW BEST:: SOT 123517443 SOS 80492808 HAS SOPS 65532842 HAS SOUS 23869103 HAS SOUPS 23303271 WITH SCORE 2.3383763808E7
AT ITER 235 NEW BEST:: SOT 123517145 SOS 80492295 HAS SOPS 65532409 HAS SOUS 23868864 HAS SOUPS 23303032 WITH SCORE 2.3383524295E7
AT ITER 242 NEW BEST:: SOT 123517145 SOS 80500207 HAS SOPS 65546913 HAS SOUS 23868775 HAS SOUPS 23302943 WITH SCORE 2.3383443207E7
AT ITER 262 NEW BEST:: SOT 123514836 SOS 80495344 HAS SOPS 65546020 HAS SOUS 23866314 HAS SOUPS 23300525 WITH SCORE 2.3381020344E7
AT ITER 265 NEW BEST:: SOT 123514876 SOS 80494697 HAS SOPS 65545778 HAS SOUS 23866045 HAS SOUPS 23300256 WITH SCORE 2.3380750697E7
AT ITER 283 NEW BEST:: SOT 123510660 SOS 80487524 HAS SOPS 65541935 HAS SOUS 23862009 HAS SOUPS 23296277 WITH SCORE 2.3376764524E7
AT ITER 284 NEW BEST:: SOT 123535390 SOS 80545577 HAS SOPS 65588454 HAS SOUS 23845788 HAS SOUPS 23280056 WITH SCORE 2.3360601577E7
AT ITER 286 NEW BEST:: SOT 123541451 SOS 80556923 HAS SOPS 65595676 HAS SOUS 23833653 HAS SOUPS 23267921 WITH SCORE 2.3348477923E7
AT ITER 287 NEW BEST:: SOT 123552670 SOS 80582422 HAS SOPS 65614116 HAS SOUS 23821603 HAS SOUPS 23255898 WITH SCORE 2.3336480422E7
AT ITER 293 NEW BEST:: SOT 123540490 SOS 80550494 HAS SOPS 65594300 HAS SOUS 23818918 HAS SOUPS 23253213 WITH SCORE 2.3333763494E7
AT ITER 295 NEW BEST:: SOT 123540497 SOS 80550247 HAS SOPS 65594416 HAS SOUS 23818850 HAS SOUPS 23253145 WITH SCORE 2.3333695247E7
AT ITER 297 NEW BEST:: SOT 123526104 SOS 80533511 HAS SOPS 65577535 HAS SOUS 23790132 HAS SOUPS 23224524 WITH SCORE 2.3305057511E7
AT ITER 303 NEW BEST:: SOT 123528596 SOS 80543596 HAS SOPS 65592024 HAS SOUS 23779603 HAS SOUPS 23213995 WITH SCORE 2.3294538596E7
AT ITER 306 NEW BEST:: SOT 123533012 SOS 80541462 HAS SOPS 65604095 HAS SOUS 23768321 HAS SOUPS 23202713 WITH SCORE 2.3283254462E7
AT ITER 312 NEW BEST:: SOT 123533203 SOS 80569586 HAS SOPS 65639036 HAS SOUS 23767582 HAS SOUPS 23201974 WITH SCORE 2.3282543586E7
AT ITER 321 NEW BEST:: SOT 123539707 SOS 80605732 HAS SOPS 65665278 HAS SOUS 23742990 HAS SOUPS 23177382 WITH SCORE 2.3257987732E7
AT ITER 333 NEW BEST:: SOT 123538784 SOS 80606777 HAS SOPS 65659081 HAS SOUS 23729405 HAS SOUPS 23163916 WITH SCORE 2.3244522777E7
AT ITER 337 NEW BEST:: SOT 123542201 SOS 80607760 HAS SOPS 65670723 HAS SOUS 23729324 HAS SOUPS 23163835 WITH SCORE 2.324444276E7
AT ITER 343 NEW BEST:: SOT 123532818 SOS 80602117 HAS SOPS 65661257 HAS SOUS 23716943 HAS SOUPS 23150635 WITH SCORE 2.3231237117E7
AT ITER 358 NEW BEST:: SOT 123533250 SOS 80603683 HAS SOPS 65661976 HAS SOUS 23716255 HAS SOUPS 23149947 WITH SCORE 2.3230550683E7
AT ITER 371 NEW BEST:: SOT 123531024 SOS 80600891 HAS SOPS 65658981 HAS SOUS 23712579 HAS SOUPS 23146271 WITH SCORE 2.3226871891E7
AT ITER 392 NEW BEST:: SOT 123563845 SOS 80671200 HAS SOPS 65718895 HAS SOUS 23708338 HAS SOUPS 23141823 WITH SCORE 2.32224942E7
AT ITER 394 NEW BEST:: SOT 123574847 SOS 80676358 HAS SOPS 65727194 HAS SOUS 23707469 HAS SOUPS 23141279 WITH SCORE 2.3221955358E7
AT ITER 404 NEW BEST:: SOT 123564769 SOS 80672125 HAS SOPS 65718808 HAS SOUS 23679591 HAS SOUPS 23113401 WITH SCORE 2.3194073125E7
AT ITER 420 NEW BEST:: SOT 123564776 SOS 80692384 HAS SOPS 65744123 HAS SOUS 23679106 HAS SOUPS 23112916 WITH SCORE 2.3193608384E7
AT ITER 422 NEW BEST:: SOT 123559383 SOS 80684366 HAS SOPS 65740595 HAS SOUS 23667677 HAS SOUPS 23101487 WITH SCORE 2.3182171366E7
AT ITER 429 NEW BEST:: SOT 123555897 SOS 80678792 HAS SOPS 65736337 HAS SOUS 23661846 HAS SOUPS 23095704 WITH SCORE 2.3176382792E7
AT ITER 446 NEW BEST:: SOT 123525538 SOS 80620270 HAS SOPS 65697024 HAS SOUS 23638449 HAS SOUPS 23072857 WITH SCORE 2.315347727E7
AT ITER 459 NEW BEST:: SOT 123523638 SOS 80617968 HAS SOPS 65694917 HAS SOUS 23633871 HAS SOUPS 23068402 WITH SCORE 2.3149019968E7
AT ITER 462 NEW BEST:: SOT 123521748 SOS 80613989 HAS SOPS 65692505 HAS SOUS 23630583 HAS SOUPS 23065156 WITH SCORE 2.3145769989E7
AT ITER 471 NEW BEST:: SOT 123519554 SOS 80609446 HAS SOPS 65688006 HAS SOUS 23629313 HAS SOUPS 23063886 WITH SCORE 2.3144495446E7
AT ITER 485 NEW BEST:: SOT 123499566 SOS 80569590 HAS SOPS 65660383 HAS SOUS 23624017 HAS SOUPS 23058870 WITH SCORE 2.313943959E7
AT ITER 492 NEW BEST:: SOT 123496574 SOS 80566393 HAS SOPS 65660408 HAS SOUS 23621440 HAS SOUPS 23056293 WITH SCORE 2.3136859393E7
AT ITER 509 NEW BEST:: SOT 123508284 SOS 80601510 HAS SOPS 65691999 HAS SOUS 23618037 HAS SOUPS 23053000 WITH SCORE 2.313360151E7
AT ITER 511 NEW BEST:: SOT 123526647 SOS 80662584 HAS SOPS 65746524 HAS SOUS 23574584 HAS SOUPS 23009547 WITH SCORE 2.3090209584E7
AT ITER 513 NEW BEST:: SOT 123546220 SOS 80720361 HAS SOPS 65806325 HAS SOUS 23550283 HAS SOUPS 22985246 WITH SCORE 2.3065966361E7
AT ITER 516 NEW BEST:: SOT 123554045 SOS 80751515 HAS SOPS 65825730 HAS SOUS 23528095 HAS SOUPS 22962917 WITH SCORE 2.3043668515E7
AT ITER 527 NEW BEST:: SOT 123533452 SOS 80713697 HAS SOPS 65793070 HAS SOUS 23515072 HAS SOUPS 22949894 WITH SCORE 2.3030607697E7
AT ITER 529 NEW BEST:: SOT 123533344 SOS 80713393 HAS SOPS 65791451 HAS SOUS 23514356 HAS SOUPS 22949178 WITH SCORE 2.3029891393E7
AT ITER 534 NEW BEST:: SOT 123528835 SOS 80711550 HAS SOPS 65788275 HAS SOUS 23506781 HAS SOUPS 22941014 WITH SCORE 2.302172555E7
AT ITER 542 NEW BEST:: SOT 123508582 SOS 80679459 HAS SOPS 65765596 HAS SOUS 23506464 HAS SOUPS 22940697 WITH SCORE 2.3021376459E7
AT ITER 546 NEW BEST:: SOT 123451019 SOS 80539126 HAS SOPS 65611183 HAS SOUS 23501107 HAS SOUPS 22934849 WITH SCORE 2.3015388126E7
AT ITER 549 NEW BEST:: SOT 123439869 SOS 80537218 HAS SOPS 65606278 HAS SOUS 23484422 HAS SOUPS 22918164 WITH SCORE 2.2998701218E7
AT ITER 566 NEW BEST:: SOT 123439872 SOS 80553113 HAS SOPS 65623859 HAS SOUS 23483878 HAS SOUPS 22917620 WITH SCORE 2.2998173113E7
AT ITER 570 NEW BEST:: SOT 123437535 SOS 80550890 HAS SOPS 65619028 HAS SOUS 23479273 HAS SOUPS 22912993 WITH SCORE 2.299354389E7
AT ITER 573 NEW BEST:: SOT 123432184 SOS 80529546 HAS SOPS 65601588 HAS SOUS 23477217 HAS SOUPS 22910937 WITH SCORE 2.2991466546E7
AT ITER 580 NEW BEST:: SOT 123411496 SOS 80505915 HAS SOPS 65581494 HAS SOUS 23436210 HAS SOUPS 22869930 WITH SCORE 2.2950435915E7
AT ITER 587 NEW BEST:: SOT 123407545 SOS 80499927 HAS SOPS 65576881 HAS SOUS 23435353 HAS SOUPS 22869073 WITH SCORE 2.2949572927E7
AT ITER 604 NEW BEST:: SOT 123403814 SOS 80496348 HAS SOPS 65573286 HAS SOUS 23425445 HAS SOUPS 22859165 WITH SCORE 2.2939661348E7
AT ITER 609 NEW BEST:: SOT 123403814 SOS 80496416 HAS SOPS 65578346 HAS SOUS 23425409 HAS SOUPS 22859129 WITH SCORE 2.2939625416E7
AT ITER 614 NEW BEST:: SOT 123399700 SOS 80489457 HAS SOPS 65569714 HAS SOUS 23416746 HAS SOUPS 22850466 WITH SCORE 2.2930955457E7
AT ITER 642 NEW BEST:: SOT 123397819 SOS 80485293 HAS SOPS 65570634 HAS SOUS 23412123 HAS SOUPS 22845843 WITH SCORE 2.2926328293E7
AT ITER 652 NEW BEST:: SOT 123397805 SOS 80485318 HAS SOPS 65570640 HAS SOUS 23412097 HAS SOUPS 22845809 WITH SCORE 2.2926294318E7
AT ITER 654 NEW BEST:: SOT 123397776 SOS 80487735 HAS SOPS 65573028 HAS SOUS 23412012 HAS SOUPS 22845724 WITH SCORE 2.2926211735E7
AT ITER 658 NEW BEST:: SOT 123373723 SOS 80444706 HAS SOPS 65538699 HAS SOUS 23378311 HAS SOUPS 22812356 WITH SCORE 2.2892800706E7
AT ITER 667 NEW BEST:: SOT 123368925 SOS 80437317 HAS SOPS 65531364 HAS SOUS 23371783 HAS SOUPS 22805855 WITH SCORE 2.2886292317E7
AT ITER 676 NEW BEST:: SOT 123330365 SOS 80405801 HAS SOPS 65501256 HAS SOUS 23348571 HAS SOUPS 22779410 WITH SCORE 2.2859815801E7
AT ITER 677 NEW BEST:: SOT 123330418 SOS 80409355 HAS SOPS 65504503 HAS SOUS 23342974 HAS SOUPS 22773813 WITH SCORE 2.2854222355E7
AT ITER 681 NEW BEST:: SOT 123339907 SOS 80427251 HAS SOPS 65521103 HAS SOUS 23337811 HAS SOUPS 22768844 WITH SCORE 2.2849271251E7
AT ITER 687 NEW BEST:: SOT 123336518 SOS 80422519 HAS SOPS 65518251 HAS SOUS 23334876 HAS SOUPS 22765909 WITH SCORE 2.2846331519E7
AT ITER 690 NEW BEST:: SOT 123364206 SOS 80487662 HAS SOPS 65573791 HAS SOUS 23290644 HAS SOUPS 22721686 WITH SCORE 2.2802173662E7
AT ITER 695 NEW BEST:: SOT 123366179 SOS 80492629 HAS SOPS 65588383 HAS SOUS 23286959 HAS SOUPS 22718001 WITH SCORE 2.2798493629E7
AT ITER 697 NEW BEST:: SOT 123336961 SOS 80465370 HAS SOPS 65567630 HAS SOUS 23207669 HAS SOUPS 22638975 WITH SCORE 2.271944037E7
AT ITER 706 NEW BEST:: SOT 123333336 SOS 80449498 HAS SOPS 65563312 HAS SOUS 23205688 HAS SOUPS 22636994 WITH SCORE 2.2717443498E7
AT ITER 712 NEW BEST:: SOT 123328722 SOS 80443496 HAS SOPS 65556788 HAS SOUS 23198909 HAS SOUPS 22630344 WITH SCORE 2.2710787496E7
AT ITER 723 NEW BEST:: SOT 123313443 SOS 80422025 HAS SOPS 65538518 HAS SOUS 23187367 HAS SOUPS 22618822 WITH SCORE 2.2699244025E7
AT ITER 724 NEW BEST:: SOT 123310864 SOS 80417280 HAS SOPS 65529676 HAS SOUS 23169103 HAS SOUPS 22600558 WITH SCORE 2.268097528E7
AT ITER 725 NEW BEST:: SOT 123316700 SOS 80437673 HAS SOPS 65555209 HAS SOUS 23166540 HAS SOUPS 22597995 WITH SCORE 2.2678432673E7
AT ITER 739 NEW BEST:: SOT 123318867 SOS 80443741 HAS SOPS 65561524 HAS SOUS 23146303 HAS SOUPS 22577758 WITH SCORE 2.2658201741E7
AT ITER 741 NEW BEST:: SOT 123308869 SOS 80441876 HAS SOPS 65547769 HAS SOUS 23116913 HAS SOUPS 22548368 WITH SCORE 2.2628809876E7
AT ITER 749 NEW BEST:: SOT 123281375 SOS 80391992 HAS SOPS 65494215 HAS SOUS 23084768 HAS SOUPS 22516223 WITH SCORE 2.2596614992E7
AT ITER 750 NEW BEST:: SOT 123281582 SOS 80393099 HAS SOPS 65495056 HAS SOUS 23084438 HAS SOUPS 22515893 WITH SCORE 2.2596286099E7
AT ITER 761 NEW BEST:: SOT 123314217 SOS 80424128 HAS SOPS 65526181 HAS SOUS 23083306 HAS SOUPS 22514816 WITH SCORE 2.2595240128E7
AT ITER 767 NEW BEST:: SOT 123316480 SOS 80424712 HAS SOPS 65532614 HAS SOUS 23082549 HAS SOUPS 22514538 WITH SCORE 2.2594962712E7
AT ITER 778 NEW BEST:: SOT 123316497 SOS 80428829 HAS SOPS 65537819 HAS SOUS 23082496 HAS SOUPS 22514485 WITH SCORE 2.2594913829E7
AT ITER 781 NEW BEST:: SOT 123328048 SOS 80474753 HAS SOPS 65579164 HAS SOUS 23060890 HAS SOUPS 22492879 WITH SCORE 2.2573353753E7
AT ITER 797 NEW BEST:: SOT 123318691 SOS 80467651 HAS SOPS 65572287 HAS SOUS 23037186 HAS SOUPS 22469175 WITH SCORE 2.2549642651E7
AT ITER 810 NEW BEST:: SOT 123300332 SOS 80436132 HAS SOPS 65546952 HAS SOUS 23033706 HAS SOUPS 22465695 WITH SCORE 2.2546131132E7
AT ITER 851 NEW BEST:: SOT 123298888 SOS 80434590 HAS SOPS 65545376 HAS SOUS 23030986 HAS SOUPS 22462983 WITH SCORE 2.254341759E7
AT ITER 861 NEW BEST:: SOT 123282423 SOS 80414390 HAS SOPS 65519793 HAS SOUS 23004196 HAS SOUPS 22434254 WITH SCORE 2.251466839E7
AT ITER 863 NEW BEST:: SOT 123281784 SOS 80410505 HAS SOPS 65514572 HAS SOUS 23002948 HAS SOUPS 22432973 WITH SCORE 2.2513383505E7
AT ITER 869 NEW BEST:: SOT 123283069 SOS 80419216 HAS SOPS 65514014 HAS SOUS 22970134 HAS SOUPS 22400159 WITH SCORE 2.2480578216E7
AT ITER 870 NEW BEST:: SOT 123279580 SOS 80415532 HAS SOPS 65506606 HAS SOUS 22964194 HAS SOUPS 22394185 WITH SCORE 2.2474600532E7
AT ITER 872 NEW BEST:: SOT 123280359 SOS 80417400 HAS SOPS 65504087 HAS SOUS 22953857 HAS SOUPS 22383704 WITH SCORE 2.24641214E7
AT ITER 893 NEW BEST:: SOT 123276710 SOS 80409376 HAS SOPS 65495922 HAS SOUS 22952945 HAS SOUPS 22382758 WITH SCORE 2.2463167376E7
AT ITER 895 NEW BEST:: SOT 123276091 SOS 80408282 HAS SOPS 65503092 HAS SOUS 22947735 HAS SOUPS 22378194 WITH SCORE 2.2458602282E7
AT ITER 906 NEW BEST:: SOT 123173569 SOS 80297068 HAS SOPS 65391525 HAS SOUS 22832446 HAS SOUPS 22262471 WITH SCORE 2.2342768068E7
AT ITER 926 NEW BEST:: SOT 123173577 SOS 80301984 HAS SOPS 65395145 HAS SOUS 22832375 HAS SOUPS 22262400 WITH SCORE 2.2342701984E7
AT ITER 932 NEW BEST:: SOT 123172593 SOS 80300824 HAS SOPS 65395877 HAS SOUS 22831144 HAS SOUPS 22261222 WITH SCORE 2.2341522824E7
AT ITER 943 NEW BEST:: SOT 123141529 SOS 80270067 HAS SOPS 65359322 HAS SOUS 22762324 HAS SOUPS 22192473 WITH SCORE 2.2272743067E7
AT ITER 953 NEW BEST:: SOT 123141913 SOS 80268085 HAS SOPS 65359922 HAS SOUS 22761811 HAS SOUPS 22191960 WITH SCORE 2.2272228085E7
AT ITER 967 NEW BEST:: SOT 123141614 SOS 80267349 HAS SOPS 65358757 HAS SOUS 22760157 HAS SOUPS 22190313 WITH SCORE 2.2270580349E7
AT ITER 968 NEW BEST:: SOT 123140592 SOS 80265817 HAS SOPS 65357180 HAS SOUS 22758459 HAS SOUPS 22188615 WITH SCORE 2.2268880817E7
AT ITER 997 NEW BEST:: SOT 123140592 SOS 80276633 HAS SOPS 65370140 HAS SOUS 22758277 HAS SOUPS 22188433 WITH SCORE 2.2268709633E7
AT ITER 1006 NEW BEST:: SOT 123139331 SOS 80273244 HAS SOPS 65368550 HAS SOUS 22756625 HAS SOUPS 22187995 WITH SCORE 2.2268268244E7
AT ITER 1023 NEW BEST:: SOT 123162278 SOS 80340499 HAS SOPS 65419845 HAS SOUS 22721884 HAS SOUPS 22153254 WITH SCORE 2.2233594499E7
AT ITER 1027 NEW BEST:: SOT 123135792 SOS 80319424 HAS SOPS 65393621 HAS SOUS 22715821 HAS SOUPS 22147159 WITH SCORE 2.2227478424E7
AT ITER 1035 NEW BEST:: SOT 123141645 SOS 80344435 HAS SOPS 65426716 HAS SOUS 22714897 HAS SOUPS 22146235 WITH SCORE 2.2226579435E7
AT ITER 1036 NEW BEST:: SOT 123144972 SOS 80348924 HAS SOPS 65428629 HAS SOUS 22708632 HAS SOUPS 22139839 WITH SCORE 2.2220187924E7
AT ITER 1049 NEW BEST:: SOT 123137072 SOS 80340366 HAS SOPS 65416941 HAS SOUS 22698203 HAS SOUPS 22129410 WITH SCORE 2.2209750366E7
AT ITER 1050 NEW BEST:: SOT 123124403 SOS 80316310 HAS SOPS 65395771 HAS SOUS 22685086 HAS SOUPS 22116293 WITH SCORE 2.219660931E7
AT ITER 1067 NEW BEST:: SOT 123113774 SOS 80304166 HAS SOPS 65382410 HAS SOUS 22660309 HAS SOUPS 22091516 WITH SCORE 2.2171820166E7
AT ITER 1068 NEW BEST:: SOT 123102015 SOS 80292562 HAS SOPS 65370542 HAS SOUS 22653653 HAS SOUPS 22084860 WITH SCORE 2.2165152562E7
AT ITER 1071 NEW BEST:: SOT 123100090 SOS 80288712 HAS SOPS 65370892 HAS SOUS 22649358 HAS SOUPS 22080565 WITH SCORE 2.2160853712E7
AT ITER 1079 NEW BEST:: SOT 123099099 SOS 80294369 HAS SOPS 65390518 HAS SOUS 22645515 HAS SOUPS 22076722 WITH SCORE 2.2157016369E7
AT ITER 1101 NEW BEST:: SOT 123279551 SOS 80448190 HAS SOPS 65549442 HAS SOUS 22632448 HAS SOUPS 22063643 WITH SCORE 2.214409119E7
AT ITER 1107 NEW BEST:: SOT 123280562 SOS 80452812 HAS SOPS 65551029 HAS SOUS 22627767 HAS SOUPS 22058962 WITH SCORE 2.2139414812E7
AT ITER 1112 NEW BEST:: SOT 123269536 SOS 80441813 HAS SOPS 65538955 HAS SOUS 22612259 HAS SOUPS 22043406 WITH SCORE 2.2123847813E7
AT ITER 1144 NEW BEST:: SOT 123276206 SOS 80463873 HAS SOPS 65561220 HAS SOUS 22609541 HAS SOUPS 22040688 WITH SCORE 2.2121151873E7
AT ITER 1151 NEW BEST:: SOT 123285100 SOS 80485871 HAS SOPS 65576026 HAS SOUS 22609464 HAS SOUPS 22040611 WITH SCORE 2.2121096871E7
AT ITER 1154 NEW BEST:: SOT 123284016 SOS 80484346 HAS SOPS 65574234 HAS SOUS 22607352 HAS SOUPS 22038512 WITH SCORE 2.2118996346E7
AT ITER 1156 NEW BEST:: SOT 123282624 SOS 80482810 HAS SOPS 65572002 HAS SOUS 22604520 HAS SOUPS 22035680 WITH SCORE 2.211616281E7
AT ITER 1167 NEW BEST:: SOT 123264300 SOS 80425742 HAS SOPS 65526347 HAS SOUS 22594519 HAS SOUPS 22025883 WITH SCORE 2.2106308742E7
AT ITER 1179 NEW BEST:: SOT 123264278 SOS 80425720 HAS SOPS 65526309 HAS SOUS 22594475 HAS SOUPS 22025837 WITH SCORE 2.210626272E7
AT ITER 1187 NEW BEST:: SOT 123260197 SOS 80417453 HAS SOPS 65523309 HAS SOUS 22592708 HAS SOUPS 22024070 WITH SCORE 2.2104487453E7
AT ITER 1188 NEW BEST:: SOT 123254923 SOS 80414777 HAS SOPS 65518918 HAS SOUS 22574999 HAS SOUPS 22006446 WITH SCORE 2.2086860777E7
AT ITER 1191 NEW BEST:: SOT 123252722 SOS 80410769 HAS SOPS 65515081 HAS SOUS 22568646 HAS SOUPS 22000162 WITH SCORE 2.2080572769E7
AT ITER 1197 NEW BEST:: SOT 123239594 SOS 80381009 HAS SOPS 65492116 HAS SOUS 22559326 HAS SOUPS 21990842 WITH SCORE 2.2071223009E7
AT ITER 1272 NEW BEST:: SOT 123235985 SOS 80377350 HAS SOPS 65487379 HAS SOUS 22553068 HAS SOUPS 21984598 WITH SCORE 2.206497535E7
AT ITER 1274 NEW BEST:: SOT 123234095 SOS 80374454 HAS SOPS 65485240 HAS SOUS 22550246 HAS SOUPS 21981776 WITH SCORE 2.2062150454E7
AT ITER 1287 NEW BEST:: SOT 123195225 SOS 80333495 HAS SOPS 65438643 HAS SOUS 22500262 HAS SOUPS 21931439 WITH SCORE 2.2011772495E7
AT ITER 1299 NEW BEST:: SOT 123194072 SOS 80336670 HAS SOPS 65444598 HAS SOUS 22474942 HAS SOUPS 21906100 WITH SCORE 2.198643667E7
AT ITER 1305 NEW BEST:: SOT 123194090 SOS 80348060 HAS SOPS 65456006 HAS SOUS 22474732 HAS SOUPS 21905890 WITH SCORE 2.198623806E7
AT ITER 1315 NEW BEST:: SOT 123188374 SOS 80335541 HAS SOPS 65444885 HAS SOUS 22474727 HAS SOUPS 21905885 WITH SCORE 2.1986220541E7
AT ITER 1318 NEW BEST:: SOT 123194089 SOS 80333366 HAS SOPS 65449211 HAS SOUS 22461452 HAS SOUPS 21893565 WITH SCORE 2.1973898366E7
AT ITER 1323 NEW BEST:: SOT 123212300 SOS 80359075 HAS SOPS 65474026 HAS SOUS 22461285 HAS SOUPS 21893398 WITH SCORE 2.1973757075E7
AT ITER 1324 NEW BEST:: SOT 123227808 SOS 80402215 HAS SOPS 65502711 HAS SOUS 22446617 HAS SOUPS 21878730 WITH SCORE 2.1959132215E7
AT ITER 1329 NEW BEST:: SOT 123228293 SOS 80414134 HAS SOPS 65514567 HAS SOUS 22446526 HAS SOUPS 21878639 WITH SCORE 2.1959053134E7
AT ITER 1333 NEW BEST:: SOT 123229291 SOS 80415441 HAS SOPS 65515817 HAS SOUS 22444595 HAS SOUPS 21876840 WITH SCORE 2.1957255441E7
AT ITER 1340 NEW BEST:: SOT 123233561 SOS 80424764 HAS SOPS 65522191 HAS SOUS 22437077 HAS SOUPS 21869322 WITH SCORE 2.1949746764E7
AT ITER 1356 NEW BEST:: SOT 123220055 SOS 80414957 HAS SOPS 65507475 HAS SOUS 22430281 HAS SOUPS 21860766 WITH SCORE 2.1941180957E7
AT ITER 1371 NEW BEST:: SOT 123241956 SOS 80459047 HAS SOPS 65541264 HAS SOUS 22429273 HAS SOUPS 21859758 WITH SCORE 2.1940217047E7
AT ITER 1373 NEW BEST:: SOT 123246599 SOS 80479681 HAS SOPS 65556852 HAS SOUS 22416903 HAS SOUPS 21847388 WITH SCORE 2.1927867681E7
AT ITER 1374 NEW BEST:: SOT 123230634 SOS 80462829 HAS SOPS 65546264 HAS SOUS 22391026 HAS SOUPS 21822472 WITH SCORE 2.1902934829E7
AT ITER 1378 NEW BEST:: SOT 123217043 SOS 80449173 HAS SOPS 65524765 HAS SOUS 22390893 HAS SOUPS 21821997 WITH SCORE 2.1902446173E7
AT ITER 1382 NEW BEST:: SOT 123208657 SOS 80437179 HAS SOPS 65511279 HAS SOUS 22372465 HAS SOUPS 21803569 WITH SCORE 2.1884006179E7
AT ITER 1391 NEW BEST:: SOT 123208545 SOS 80433524 HAS SOPS 65507244 HAS SOUS 22371565 HAS SOUPS 21802669 WITH SCORE 2.1883102524E7
AT ITER 1399 NEW BEST:: SOT 123208520 SOS 80432589 HAS SOPS 65506604 HAS SOUS 22371554 HAS SOUPS 21802658 WITH SCORE 2.1883090589E7
AT ITER 1413 NEW BEST:: SOT 123208535 SOS 80436838 HAS SOPS 65508590 HAS SOUS 22371474 HAS SOUPS 21802578 WITH SCORE 2.1883014838E7
AT ITER 1425 NEW BEST:: SOT 123207378 SOS 80432804 HAS SOPS 65507922 HAS SOUS 22367395 HAS SOUPS 21798342 WITH SCORE 2.1878774804E7
AT ITER 1428 NEW BEST:: SOT 123207378 SOS 80436452 HAS SOPS 65512690 HAS SOUS 22367302 HAS SOUPS 21798249 WITH SCORE 2.1878685452E7
AT ITER 1433 NEW BEST:: SOT 123206915 SOS 80436416 HAS SOPS 65512964 HAS SOUS 22365785 HAS SOUPS 21796732 WITH SCORE 2.1877168416E7
AT ITER 1479 NEW BEST:: SOT 123193221 SOS 80419891 HAS SOPS 65497739 HAS SOUS 22342071 HAS SOUPS 21773018 WITH SCORE 2.1853437891E7
AT ITER 1487 NEW BEST:: SOT 123170385 SOS 80380248 HAS SOPS 65463449 HAS SOUS 22312338 HAS SOUPS 21743499 WITH SCORE 2.1823879248E7
AT ITER 1497 NEW BEST:: SOT 123172004 SOS 80385567 HAS SOPS 65467393 HAS SOUS 22310815 HAS SOUPS 21741976 WITH SCORE 2.1822361567E7
AT ITER 1502 NEW BEST:: SOT 123175557 SOS 80391347 HAS SOPS 65476118 HAS SOUS 22296193 HAS SOUPS 21727530 WITH SCORE 2.1807921347E7
AT ITER 1505 NEW BEST:: SOT 123167807 SOS 80383125 HAS SOPS 65468216 HAS SOUS 22277930 HAS SOUPS 21709267 WITH SCORE 2.1789650125E7
AT ITER 1506 NEW BEST:: SOT 123161753 SOS 80374121 HAS SOPS 65458466 HAS SOUS 22270659 HAS SOUPS 21702057 WITH SCORE 2.1782431121E7
AT ITER 1515 NEW BEST:: SOT 123165794 SOS 80382386 HAS SOPS 65474027 HAS SOUS 22268323 HAS SOUPS 21699721 WITH SCORE 2.1780103386E7
AT ITER 1518 NEW BEST:: SOT 123164463 SOS 80383614 HAS SOPS 65473935 HAS SOUS 22264012 HAS SOUPS 21695410 WITH SCORE 2.1775793614E7
AT ITER 1542 NEW BEST:: SOT 123169309 SOS 80398391 HAS SOPS 65477703 HAS SOUS 22258669 HAS SOUPS 21690067 WITH SCORE 2.1770465391E7
AT ITER 1550 NEW BEST:: SOT 123158948 SOS 80390710 HAS SOPS 65470554 HAS SOUS 22249969 HAS SOUPS 21681315 WITH SCORE 2.176170571E7
AT ITER 1559 NEW BEST:: SOT 123154305 SOS 80382502 HAS SOPS 65464308 HAS SOUS 22235633 HAS SOUPS 21666979 WITH SCORE 2.1747361502E7
AT ITER 1573 NEW BEST:: SOT 123153802 SOS 80383935 HAS SOPS 65465431 HAS SOUS 22231596 HAS SOUPS 21662942 WITH SCORE 2.1743325935E7
AT ITER 1582 NEW BEST:: SOT 123136933 SOS 80354125 HAS SOPS 65444090 HAS SOUS 22223956 HAS SOUPS 21655302 WITH SCORE 2.1735656125E7
AT ITER 1583 NEW BEST:: SOT 123136692 SOS 80355942 HAS SOPS 65442558 HAS SOUS 22218958 HAS SOUPS 21650223 WITH SCORE 2.1730578942E7
AT ITER 1597 NEW BEST:: SOT 123137196 SOS 80357120 HAS SOPS 65444224 HAS SOUS 22216325 HAS SOUPS 21647621 WITH SCORE 2.172797812E7
AT ITER 1615 NEW BEST:: SOT 123135653 SOS 80356547 HAS SOPS 65440866 HAS SOUS 22207780 HAS SOUPS 21639076 WITH SCORE 2.1719432547E7
AT ITER 1628 NEW BEST:: SOT 123135142 SOS 80357664 HAS SOPS 65439323 HAS SOUS 22201143 HAS SOUPS 21632439 WITH SCORE 2.1712796664E7
AT ITER 1632 NEW BEST:: SOT 123156388 SOS 80392618 HAS SOPS 65474653 HAS SOUS 22197590 HAS SOUPS 21629534 WITH SCORE 2.1709926618E7
AT ITER 1633 NEW BEST:: SOT 123154884 SOS 80390204 HAS SOPS 65473208 HAS SOUS 22196444 HAS SOUPS 21628388 WITH SCORE 2.1708778204E7
AT ITER 1660 NEW BEST:: SOT 123066723 SOS 80301255 HAS SOPS 65384666 HAS SOUS 22073140 HAS SOUPS 21505268 WITH SCORE 2.1585569255E7
AT ITER 1673 NEW BEST:: SOT 123030899 SOS 80254671 HAS SOPS 65339502 HAS SOUS 22065950 HAS SOUPS 21499189 WITH SCORE 2.1579443671E7
AT ITER 1700 NEW BEST:: SOT 123079163 SOS 80329554 HAS SOPS 65368358 HAS SOUS 22050382 HAS SOUPS 21483503 WITH SCORE 2.1563832554E7
AT ITER 1710 NEW BEST:: SOT 123078796 SOS 80329621 HAS SOPS 65367322 HAS SOUS 22048800 HAS SOUPS 21481908 WITH SCORE 2.1562237621E7
AT ITER 1722 NEW BEST:: SOT 123079223 SOS 80331611 HAS SOPS 65368362 HAS SOUS 22048193 HAS SOUPS 21481301 WITH SCORE 2.1561632611E7
AT ITER 1724 NEW BEST:: SOT 123081707 SOS 80337696 HAS SOPS 65391134 HAS SOUS 22036492 HAS SOUPS 21469600 WITH SCORE 2.1549937696E7
AT ITER 1730 NEW BEST:: SOT 123071287 SOS 80319194 HAS SOPS 65367306 HAS SOUS 22018974 HAS SOUPS 21452082 WITH SCORE 2.1532401194E7
AT ITER 1733 NEW BEST:: SOT 123067311 SOS 80309326 HAS SOPS 65360126 HAS SOUS 22018460 HAS SOUPS 21451568 WITH SCORE 2.1531877326E7
AT ITER 1750 NEW BEST:: SOT 123066751 SOS 80308632 HAS SOPS 65359115 HAS SOUS 22016849 HAS SOUPS 21449972 WITH SCORE 2.1530280632E7
AT ITER 1762 NEW BEST:: SOT 123037563 SOS 80280072 HAS SOPS 65324601 HAS SOUS 21987336 HAS SOUPS 21419630 WITH SCORE 2.1499910072E7
AT ITER 1785 NEW BEST:: SOT 123037585 SOS 80277490 HAS SOPS 65320163 HAS SOUS 21987333 HAS SOUPS 21419627 WITH SCORE 2.149990449E7
AT ITER 1793 NEW BEST:: SOT 123036037 SOS 80274945 HAS SOPS 65316200 HAS SOUS 21979912 HAS SOUPS 21413431 WITH SCORE 2.1493705945E7
AT ITER 1795 NEW BEST:: SOT 123017177 SOS 80256085 HAS SOPS 65297340 HAS SOUS 21960672 HAS SOUPS 21394191 WITH SCORE 2.1474447085E7
AT ITER 1800 NEW BEST:: SOT 123015088 SOS 80255634 HAS SOPS 65300940 HAS SOUS 21954273 HAS SOUPS 21387724 WITH SCORE 2.1467979634E7
AT ITER 1801 NEW BEST:: SOT 122978954 SOS 80221845 HAS SOPS 65264722 HAS SOUS 21875173 HAS SOUPS 21308268 WITH SCORE 2.1388489845E7
AT ITER 1817 NEW BEST:: SOT 122984210 SOS 80233501 HAS SOPS 65286526 HAS SOUS 21846005 HAS SOUPS 21279364 WITH SCORE 2.1359597501E7
AT ITER 1818 NEW BEST:: SOT 122980628 SOS 80230299 HAS SOPS 65281994 HAS SOUS 21840143 HAS SOUPS 21273426 WITH SCORE 2.1353656299E7
AT ITER 1819 NEW BEST:: SOT 122979594 SOS 80232142 HAS SOPS 65281231 HAS SOUS 21826024 HAS SOUPS 21258697 WITH SCORE 2.1338929142E7
AT ITER 1829 NEW BEST:: SOT 122950656 SOS 80203231 HAS SOPS 65246949 HAS SOUS 21775290 HAS SOUPS 21207936 WITH SCORE 2.1288139231E7
AT ITER 1830 NEW BEST:: SOT 122956663 SOS 80224486 HAS SOPS 65256138 HAS SOUS 21765541 HAS SOUPS 21198187 WITH SCORE 2.1278411486E7
AT ITER 1841 NEW BEST:: SOT 122959104 SOS 80220069 HAS SOPS 65252324 HAS SOUS 21761589 HAS SOUPS 21194235 WITH SCORE 2.1274455069E7
AT ITER 1847 NEW BEST:: SOT 122954616 SOS 80215820 HAS SOPS 65248116 HAS SOUS 21761426 HAS SOUPS 21194072 WITH SCORE 2.127428782E7
AT ITER 1875 NEW BEST:: SOT 122954900 SOS 80252837 HAS SOPS 65302344 HAS SOUS 21761029 HAS SOUPS 21193675 WITH SCORE 2.1273927837E7
AT ITER 1884 NEW BEST:: SOT 122953423 SOS 80251742 HAS SOPS 65297039 HAS SOUS 21753816 HAS SOUPS 21186462 WITH SCORE 2.1266713742E7
AT ITER 1914 NEW BEST:: SOT 122949090 SOS 80246452 HAS SOPS 65291181 HAS SOUS 21749409 HAS SOUPS 21182092 WITH SCORE 2.1262338452E7
AT ITER 1939 NEW BEST:: SOT 122926261 SOS 80191450 HAS SOPS 65259602 HAS SOUS 21742492 HAS SOUPS 21175205 WITH SCORE 2.125539645E7
AT ITER 1949 NEW BEST:: SOT 122922902 SOS 80187651 HAS SOPS 65255843 HAS SOUS 21738030 HAS SOUPS 21170743 WITH SCORE 2.1250930651E7
AT ITER 1976 NEW BEST:: SOT 122909442 SOS 80163683 HAS SOPS 65236260 HAS SOUS 21718242 HAS SOUPS 21150955 WITH SCORE 2.1231118683E7
AT ITER 1994 NEW BEST:: SOT 122911185 SOS 80176735 HAS SOPS 65247376 HAS SOUS 21716982 HAS SOUPS 21149695 WITH SCORE 2.1229871735E7
AT ITER 2002 NEW BEST:: SOT 122907530 SOS 80173090 HAS SOPS 65245346 HAS SOUS 21706079 HAS SOUPS 21138792 WITH SCORE 2.121896509E7
AT ITER 2008 NEW BEST:: SOT 122908240 SOS 80176358 HAS SOPS 65245732 HAS SOUS 21701255 HAS SOUPS 21133968 WITH SCORE 2.1214144358E7
AT ITER 2013 NEW BEST:: SOT 122907993 SOS 80176637 HAS SOPS 65245386 HAS SOUS 21700128 HAS SOUPS 21132841 WITH SCORE 2.1213017637E7
AT ITER 2016 NEW BEST:: SOT 122907658 SOS 80176596 HAS SOPS 65245210 HAS SOUS 21699874 HAS SOUPS 21132548 WITH SCORE 2.1212724596E7
AT ITER 2022 NEW BEST:: SOT 122900106 SOS 80169761 HAS SOPS 65237658 HAS SOUS 21692638 HAS SOUPS 21125036 WITH SCORE 2.1205205761E7
AT ITER 2028 NEW BEST:: SOT 122889121 SOS 80153122 HAS SOPS 65225158 HAS SOUS 21669037 HAS SOUPS 21101435 WITH SCORE 2.1181588122E7
AT ITER 2029 NEW BEST:: SOT 122892939 SOS 80163944 HAS SOPS 65241444 HAS SOUS 21663804 HAS SOUPS 21096280 WITH SCORE 2.1176443944E7
AT ITER 2056 NEW BEST:: SOT 122888609 SOS 80167203 HAS SOPS 65264363 HAS SOUS 21650609 HAS SOUPS 21083360 WITH SCORE 2.1163527203E7
AT ITER 2064 NEW BEST:: SOT 122883531 SOS 80162167 HAS SOPS 65259285 HAS SOUS 21648302 HAS SOUPS 21081034 WITH SCORE 2.1161196167E7
AT ITER 2067 NEW BEST:: SOT 122881466 SOS 80157218 HAS SOPS 65254952 HAS SOUS 21642952 HAS SOUPS 21075684 WITH SCORE 2.1155841218E7
AT ITER 2071 NEW BEST:: SOT 122881914 SOS 80162750 HAS SOPS 65262563 HAS SOUS 21639566 HAS SOUPS 21072298 WITH SCORE 2.115246075E7
AT ITER 2076 NEW BEST:: SOT 122885203 SOS 80169563 HAS SOPS 65276109 HAS SOUS 21639156 HAS SOUPS 21071888 WITH SCORE 2.1152057563E7
AT ITER 2083 NEW BEST:: SOT 122885380 SOS 80167918 HAS SOPS 65279279 HAS SOUS 21634032 HAS SOUPS 21067829 WITH SCORE 2.1147996918E7
AT ITER 2103 NEW BEST:: SOT 122889870 SOS 80174668 HAS SOPS 65294023 HAS SOUS 21631785 HAS SOUPS 21065582 WITH SCORE 2.1145756668E7
AT ITER 2107 NEW BEST:: SOT 122897220 SOS 80193654 HAS SOPS 65306926 HAS SOUS 21600531 HAS SOUPS 21034328 WITH SCORE 2.1114521654E7
AT ITER 2112 NEW BEST:: SOT 122897389 SOS 80194651 HAS SOPS 65307524 HAS SOUS 21599298 HAS SOUPS 21033102 WITH SCORE 2.1113296651E7
AT ITER 2121 NEW BEST:: SOT 122890737 SOS 80186686 HAS SOPS 65298740 HAS SOUS 21584776 HAS SOUPS 21018580 WITH SCORE 2.1098766686E7
AT ITER 2123 NEW BEST:: SOT 122929906 SOS 80247393 HAS SOPS 65350613 HAS SOUS 21582624 HAS SOUPS 21016428 WITH SCORE 2.1096675393E7
AT ITER 2140 NEW BEST:: SOT 122947006 SOS 80278951 HAS SOPS 65373019 HAS SOUS 21576134 HAS SOUPS 21010975 WITH SCORE 2.1091253951E7
AT ITER 2153 NEW BEST:: SOT 122946831 SOS 80264372 HAS SOPS 65384552 HAS SOUS 21576042 HAS SOUPS 21010883 WITH SCORE 2.1091147372E7
AT ITER 2172 NEW BEST:: SOT 122954091 SOS 80282600 HAS SOPS 65396531 HAS SOUS 21573913 HAS SOUPS 21008754 WITH SCORE 2.10890366E7
AT ITER 2180 NEW BEST:: SOT 122954510 SOS 80277901 HAS SOPS 65397666 HAS SOUS 21570346 HAS SOUPS 21005297 WITH SCORE 2.1085574901E7
AT ITER 2190 NEW BEST:: SOT 122954510 SOS 80282809 HAS SOPS 65403294 HAS SOUS 21570212 HAS SOUPS 21005163 WITH SCORE 2.1085445809E7
AT ITER 2192 NEW BEST:: SOT 122956575 SOS 80291764 HAS SOPS 65409644 HAS SOUS 21567276 HAS SOUPS 21002227 WITH SCORE 2.1082518764E7
AT ITER 2194 NEW BEST:: SOT 122952471 SOS 80284432 HAS SOPS 65402149 HAS SOUS 21564035 HAS SOUPS 20998986 WITH SCORE 2.1079270432E7
AT ITER 2203 NEW BEST:: SOT 122952491 SOS 80284148 HAS SOPS 65401799 HAS SOUS 21563867 HAS SOUPS 20998818 WITH SCORE 2.1079102148E7
AT ITER 2211 NEW BEST:: SOT 122957684 SOS 80297856 HAS SOPS 65413184 HAS SOUS 21563013 HAS SOUPS 20997964 WITH SCORE 2.1078261856E7
AT ITER 2219 NEW BEST:: SOT 122956606 SOS 80296778 HAS SOPS 65412106 HAS SOUS 21561935 HAS SOUPS 20996886 WITH SCORE 2.1077182778E7
AT ITER 2220 NEW BEST:: SOT 122955176 SOS 80294886 HAS SOPS 65410595 HAS SOUS 21560670 HAS SOUPS 20995621 WITH SCORE 2.1075915886E7
AT ITER 2231 NEW BEST:: SOT 122953545 SOS 80294340 HAS SOPS 65406946 HAS SOUS 21556149 HAS SOUPS 20991100 WITH SCORE 2.107139434E7
AT ITER 2233 NEW BEST:: SOT 122950572 SOS 80292422 HAS SOPS 65396097 HAS SOUS 21545430 HAS SOUPS 20980381 WITH SCORE 2.1060673422E7
AT ITER 2240 NEW BEST:: SOT 122951088 SOS 80323399 HAS SOPS 65431574 HAS SOUS 21545151 HAS SOUPS 20980102 WITH SCORE 2.1060425399E7
AT ITER 2245 NEW BEST:: SOT 122949608 SOS 80321910 HAS SOPS 65430053 HAS SOUS 21543223 HAS SOUPS 20978174 WITH SCORE 2.105849591E7
AT ITER 2247 NEW BEST:: SOT 122948728 SOS 80320550 HAS SOPS 65428973 HAS SOUS 21542083 HAS SOUPS 20977039 WITH SCORE 2.105735955E7
AT ITER 2254 NEW BEST:: SOT 122946176 SOS 80317998 HAS SOPS 65426421 HAS SOUS 21538673 HAS SOUPS 20973629 WITH SCORE 2.1053946998E7
AT ITER 2255 NEW BEST:: SOT 122909823 SOS 80288575 HAS SOPS 65379608 HAS SOUS 21437634 HAS SOUPS 20872596 WITH SCORE 2.0952884575E7
AT ITER 2258 NEW BEST:: SOT 122978966 SOS 80314703 HAS SOPS 65426334 HAS SOUS 21426107 HAS SOUPS 20859485 WITH SCORE 2.0939799703E7
AT ITER 2264 NEW BEST:: SOT 122985013 SOS 80318383 HAS SOPS 65427757 HAS SOUS 21403033 HAS SOUPS 20836411 WITH SCORE 2.0916729383E7
AT ITER 2272 NEW BEST:: SOT 122984536 SOS 80318591 HAS SOPS 65426955 HAS SOUS 21400853 HAS SOUPS 20834208 WITH SCORE 2.0914526591E7
AT ITER 2280 NEW BEST:: SOT 123000078 SOS 80354731 HAS SOPS 65450104 HAS SOUS 21390560 HAS SOUPS 20823915 WITH SCORE 2.0904269731E7
AT ITER 2288 NEW BEST:: SOT 122983021 SOS 80337674 HAS SOPS 65432855 HAS SOUS 21370247 HAS SOUPS 20803602 WITH SCORE 2.0883939674E7
AT ITER 2295 NEW BEST:: SOT 122982736 SOS 80337778 HAS SOPS 65432319 HAS SOUS 21368955 HAS SOUPS 20802302 WITH SCORE 2.0882639778E7
AT ITER 2298 NEW BEST:: SOT 122996474 SOS 80372345 HAS SOPS 65457549 HAS SOUS 21359713 HAS SOUPS 20793060 WITH SCORE 2.0873432345E7
AT ITER 2303 NEW BEST:: SOT 123002665 SOS 80390250 HAS SOPS 65472132 HAS SOUS 21358108 HAS SOUPS 20791455 WITH SCORE 2.087184525E7
AT ITER 2323 NEW BEST:: SOT 123011846 SOS 80411887 HAS SOPS 65490659 HAS SOUS 21347313 HAS SOUPS 20780765 WITH SCORE 2.0861176887E7
AT ITER 2329 NEW BEST:: SOT 123013621 SOS 80415607 HAS SOPS 65489826 HAS SOUS 21346793 HAS SOUPS 20780245 WITH SCORE 2.0860660607E7
AT ITER 2336 NEW BEST:: SOT 123017813 SOS 80419989 HAS SOPS 65490429 HAS SOUS 21341411 HAS SOUPS 20774863 WITH SCORE 2.0855282989E7
AT ITER 2348 NEW BEST:: SOT 123000537 SOS 80384488 HAS SOPS 65454878 HAS SOUS 21321271 HAS SOUPS 20754763 WITH SCORE 2.0835147488E7
AT ITER 2360 NEW BEST:: SOT 122999673 SOS 80384941 HAS SOPS 65453510 HAS SOUS 21317284 HAS SOUPS 20750776 WITH SCORE 2.0831160941E7
AT ITER 2372 NEW BEST:: SOT 122984681 SOS 80368473 HAS SOPS 65437985 HAS SOUS 21274182 HAS SOUPS 20707674 WITH SCORE 2.0788042473E7
AT ITER 2374 NEW BEST:: SOT 122984699 SOS 80368463 HAS SOPS 65437797 HAS SOUS 21274181 HAS SOUPS 20707673 WITH SCORE 2.0788041463E7
AT ITER 2417 NEW BEST:: SOT 122994404 SOS 80401190 HAS SOPS 65460492 HAS SOUS 21257843 HAS SOUPS 20691335 WITH SCORE 2.077173619E7
AT ITER 2423 NEW BEST:: SOT 122993355 SOS 80401253 HAS SOPS 65458693 HAS SOUS 21253882 HAS SOUPS 20687374 WITH SCORE 2.0767775253E7
AT ITER 2428 NEW BEST:: SOT 122952988 SOS 80271888 HAS SOPS 65389786 HAS SOUS 21245448 HAS SOUPS 20680496 WITH SCORE 2.0760767888E7
AT ITER 2429 NEW BEST:: SOT 122949638 SOS 80273374 HAS SOPS 65419145 HAS SOUS 21198591 HAS SOUPS 20633854 WITH SCORE 2.0714127374E7
AT ITER 2430 NEW BEST:: SOT 122942486 SOS 80266005 HAS SOPS 65409472 HAS SOUS 21183126 HAS SOUPS 20618389 WITH SCORE 2.0698655005E7

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

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