Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r323-tall-167889194400216.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is RERS17pb115-PT-9, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r323-tall-167889194400216
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 6.6K Feb 25 13:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 25 13:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 25 13:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 25 13:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:40 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Feb 25 16:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:40 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 25 14:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 159K Feb 25 14:02 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 18K Feb 25 13:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 115K Feb 25 13:56 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:40 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:40 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 69M Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679488025357

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=RERS17pb115-PT-9
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb115 (PT), instance 9
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
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 8 NEW BEST:: SOT 123457597 SOS 80283792 HAS SOPS 65269068 HAS SOUS 24063986 HAS SOUPS 23491212 WITH SCORE 2.3571495792E7
AT ITER 31 NEW BEST:: SOT 123457777 SOS 80323207 HAS SOPS 65324480 HAS SOUS 24063689 HAS SOUPS 23490915 WITH SCORE 2.3571238207E7
AT ITER 36 NEW BEST:: SOT 123455942 SOS 80319915 HAS SOPS 65321228 HAS SOUS 24062222 HAS SOUPS 23489448 WITH SCORE 2.3569767915E7
AT ITER 45 NEW BEST:: SOT 123428940 SOS 80288252 HAS SOPS 65290964 HAS SOUS 24020248 HAS SOUPS 23447705 WITH SCORE 2.3527993252E7
AT ITER 51 NEW BEST:: SOT 123421904 SOS 80285956 HAS SOPS 65284309 HAS SOUS 24002749 HAS SOUPS 23430161 WITH SCORE 2.3510446956E7
AT ITER 56 NEW BEST:: SOT 123429690 SOS 80313166 HAS SOPS 65304104 HAS SOUS 23982215 HAS SOUPS 23409627 WITH SCORE 2.3489940166E7
AT ITER 58 NEW BEST:: SOT 123355418 SOS 80237086 HAS SOPS 65219105 HAS SOUS 23848947 HAS SOUPS 23276785 WITH SCORE 2.3357022086E7
AT ITER 66 NEW BEST:: SOT 123363504 SOS 80258220 HAS SOPS 65233311 HAS SOUS 23847085 HAS SOUPS 23274923 WITH SCORE 2.335518122E7
AT ITER 68 NEW BEST:: SOT 123363481 SOS 80268595 HAS SOPS 65245231 HAS SOUS 23846970 HAS SOUPS 23274808 WITH SCORE 2.3355076595E7
AT ITER 90 NEW BEST:: SOT 123423161 SOS 80412737 HAS SOPS 65364332 HAS SOUS 23843000 HAS SOUPS 23270838 WITH SCORE 2.3351250737E7
AT ITER 95 NEW BEST:: SOT 123414419 SOS 80403994 HAS SOPS 65355526 HAS SOUS 23834257 HAS SOUPS 23262032 WITH SCORE 2.3342435994E7
AT ITER 99 NEW BEST:: SOT 123413990 SOS 80403539 HAS SOPS 65355052 HAS SOUS 23833841 HAS SOUPS 23261616 WITH SCORE 2.3342019539E7
AT ITER 103 NEW BEST:: SOT 123413966 SOS 80403423 HAS SOPS 65354956 HAS SOUS 23833794 HAS SOUPS 23261569 WITH SCORE 2.3341972423E7
AT ITER 112 NEW BEST:: SOT 123417792 SOS 80408111 HAS SOPS 65371079 HAS SOUS 23831797 HAS SOUPS 23259572 WITH SCORE 2.3339980111E7
AT ITER 116 NEW BEST:: SOT 123409716 SOS 80406099 HAS SOPS 65357792 HAS SOUS 23816386 HAS SOUPS 23242406 WITH SCORE 2.3322812099E7
AT ITER 133 NEW BEST:: SOT 123406516 SOS 80400001 HAS SOPS 65353340 HAS SOUS 23804202 HAS SOUPS 23230407 WITH SCORE 2.3310807001E7
AT ITER 141 NEW BEST:: SOT 123406571 SOS 80412870 HAS SOPS 65368788 HAS SOUS 23803802 HAS SOUPS 23230007 WITH SCORE 2.331041987E7
AT ITER 166 NEW BEST:: SOT 123406571 SOS 80424566 HAS SOPS 65383124 HAS SOUS 23803572 HAS SOUPS 23229777 WITH SCORE 2.3310201566E7
AT ITER 170 NEW BEST:: SOT 123421828 SOS 80443770 HAS SOPS 65405362 HAS SOUS 23798187 HAS SOUPS 23224303 WITH SCORE 2.330474677E7
AT ITER 193 NEW BEST:: SOT 123425554 SOS 80458015 HAS SOPS 65422332 HAS SOUS 23789531 HAS SOUPS 23215647 WITH SCORE 2.3296105015E7
AT ITER 200 NEW BEST:: SOT 123397884 SOS 80421577 HAS SOPS 65387652 HAS SOUS 23749654 HAS SOUPS 23175770 WITH SCORE 2.3256191577E7
AT ITER 201 NEW BEST:: SOT 123395292 SOS 80417192 HAS SOPS 65384654 HAS SOUS 23744528 HAS SOUPS 23170678 WITH SCORE 2.3251095192E7
AT ITER 203 NEW BEST:: SOT 123391235 SOS 80413135 HAS SOPS 65380597 HAS SOUS 23740471 HAS SOUPS 23166621 WITH SCORE 2.3247034135E7
AT ITER 217 NEW BEST:: SOT 123390826 SOS 80405276 HAS SOPS 65381807 HAS SOUS 23740379 HAS SOUPS 23166529 WITH SCORE 2.3246934276E7
AT ITER 218 NEW BEST:: SOT 123388467 SOS 80405439 HAS SOPS 65380327 HAS SOUS 23719645 HAS SOUPS 23145432 WITH SCORE 2.3225837439E7
AT ITER 219 NEW BEST:: SOT 123382295 SOS 80409097 HAS SOPS 65371974 HAS SOUS 23681288 HAS SOUPS 23107000 WITH SCORE 2.3187409097E7
AT ITER 221 NEW BEST:: SOT 123382498 SOS 80411667 HAS SOPS 65373416 HAS SOUS 23679049 HAS SOUPS 23104761 WITH SCORE 2.3185172667E7
AT ITER 222 NEW BEST:: SOT 123388283 SOS 80423000 HAS SOPS 65385358 HAS SOUS 23672751 HAS SOUPS 23098534 WITH SCORE 2.3178957E7
AT ITER 226 NEW BEST:: SOT 123391939 SOS 80432230 HAS SOPS 65391415 HAS SOUS 23672700 HAS SOUPS 23098483 WITH SCORE 2.317891523E7
AT ITER 227 NEW BEST:: SOT 123372849 SOS 80397599 HAS SOPS 65364546 HAS SOUS 23648684 HAS SOUPS 23074754 WITH SCORE 2.3155151599E7
AT ITER 231 NEW BEST:: SOT 123377528 SOS 80418791 HAS SOPS 65371291 HAS SOUS 23634372 HAS SOUPS 23060442 WITH SCORE 2.3140860791E7
AT ITER 236 NEW BEST:: SOT 123366347 SOS 80407610 HAS SOPS 65359894 HAS SOUS 23621003 HAS SOUPS 23047073 WITH SCORE 2.312748061E7
AT ITER 252 NEW BEST:: SOT 123365381 SOS 80406629 HAS SOPS 65358563 HAS SOUS 23619106 HAS SOUPS 23045176 WITH SCORE 2.3125582629E7
AT ITER 257 NEW BEST:: SOT 123391546 SOS 80449559 HAS SOPS 65395737 HAS SOUS 23597435 HAS SOUPS 23024770 WITH SCORE 2.3105219559E7
AT ITER 269 NEW BEST:: SOT 123417426 SOS 80507414 HAS SOPS 65444683 HAS SOUS 23592787 HAS SOUPS 23020122 WITH SCORE 2.3100629414E7
AT ITER 278 NEW BEST:: SOT 123415221 SOS 80473659 HAS SOPS 65418271 HAS SOUS 23588424 HAS SOUPS 23015759 WITH SCORE 2.3096232659E7
AT ITER 280 NEW BEST:: SOT 123413514 SOS 80469612 HAS SOPS 65415022 HAS SOUS 23586803 HAS SOUPS 23014138 WITH SCORE 2.3094607612E7
AT ITER 284 NEW BEST:: SOT 123386576 SOS 80435794 HAS SOPS 65386740 HAS SOUS 23540692 HAS SOUPS 22968027 WITH SCORE 2.3048462794E7
AT ITER 285 NEW BEST:: SOT 123366772 SOS 80415498 HAS SOPS 65366606 HAS SOUS 23519745 HAS SOUPS 22947123 WITH SCORE 2.3027538498E7
AT ITER 308 NEW BEST:: SOT 123378340 SOS 80440234 HAS SOPS 65395552 HAS SOUS 23490280 HAS SOUPS 22917843 WITH SCORE 2.2998283234E7
AT ITER 340 NEW BEST:: SOT 123367044 SOS 80428938 HAS SOPS 65384096 HAS SOUS 23478120 HAS SOUPS 22905683 WITH SCORE 2.2986111938E7
AT ITER 349 NEW BEST:: SOT 123362391 SOS 80427761 HAS SOPS 65380529 HAS SOUS 23462016 HAS SOUPS 22889579 WITH SCORE 2.2970006761E7
AT ITER 352 NEW BEST:: SOT 123348484 SOS 80419217 HAS SOPS 65387133 HAS SOUS 23461478 HAS SOUPS 22889041 WITH SCORE 2.2969460217E7
AT ITER 366 NEW BEST:: SOT 123339423 SOS 80416127 HAS SOPS 65387721 HAS SOUS 23407571 HAS SOUPS 22835427 WITH SCORE 2.2915843127E7
AT ITER 372 NEW BEST:: SOT 123335965 SOS 80421387 HAS SOPS 65388968 HAS SOUS 23382345 HAS SOUPS 22810201 WITH SCORE 2.2890622387E7
AT ITER 377 NEW BEST:: SOT 123355802 SOS 80458423 HAS SOPS 65416994 HAS SOUS 23378838 HAS SOUPS 22806846 WITH SCORE 2.2887304423E7
AT ITER 382 NEW BEST:: SOT 123361969 SOS 80473794 HAS SOPS 65426818 HAS SOUS 23371430 HAS SOUPS 22799336 WITH SCORE 2.2879809794E7
AT ITER 391 NEW BEST:: SOT 123372982 SOS 80492386 HAS SOPS 65452326 HAS SOUS 23368201 HAS SOUPS 22796107 WITH SCORE 2.2876599386E7
AT ITER 392 NEW BEST:: SOT 123358170 SOS 80473429 HAS SOPS 65433899 HAS SOUS 23323159 HAS SOUPS 22751665 WITH SCORE 2.2832138429E7
AT ITER 401 NEW BEST:: SOT 123361014 SOS 80481442 HAS SOPS 65441767 HAS SOUS 23298155 HAS SOUPS 22726661 WITH SCORE 2.2807142442E7
AT ITER 402 NEW BEST:: SOT 123365900 SOS 80494116 HAS SOPS 65452408 HAS SOUS 23294389 HAS SOUPS 22722895 WITH SCORE 2.2803389116E7
AT ITER 403 NEW BEST:: SOT 123362093 SOS 80511568 HAS SOPS 65486781 HAS SOUS 23238511 HAS SOUPS 22667017 WITH SCORE 2.2747528568E7
AT ITER 404 NEW BEST:: SOT 123355225 SOS 80514436 HAS SOPS 65485435 HAS SOUS 23206880 HAS SOUPS 22635485 WITH SCORE 2.2715999436E7
AT ITER 408 NEW BEST:: SOT 123342075 SOS 80506637 HAS SOPS 65467578 HAS SOUS 23184195 HAS SOUPS 22612800 WITH SCORE 2.2693306637E7
AT ITER 413 NEW BEST:: SOT 123319045 SOS 80455281 HAS SOPS 65426299 HAS SOUS 23176160 HAS SOUPS 22604765 WITH SCORE 2.2685220281E7
AT ITER 415 NEW BEST:: SOT 123331074 SOS 80495654 HAS SOPS 65453956 HAS SOUS 23163745 HAS SOUPS 22592350 WITH SCORE 2.2672845654E7
AT ITER 431 NEW BEST:: SOT 123343524 SOS 80545211 HAS SOPS 65494678 HAS SOUS 23151429 HAS SOUPS 22580034 WITH SCORE 2.2660579211E7
AT ITER 448 NEW BEST:: SOT 123343415 SOS 80553448 HAS SOPS 65510166 HAS SOUS 23150857 HAS SOUPS 22579462 WITH SCORE 2.2660015448E7
AT ITER 452 NEW BEST:: SOT 123341660 SOS 80551785 HAS SOPS 65510155 HAS SOUS 23146152 HAS SOUPS 22574517 WITH SCORE 2.2655068785E7
AT ITER 474 NEW BEST:: SOT 123346776 SOS 80558201 HAS SOPS 65515248 HAS SOUS 23144154 HAS SOUPS 22572771 WITH SCORE 2.2653329201E7
AT ITER 475 NEW BEST:: SOT 123345559 SOS 80561166 HAS SOPS 65515513 HAS SOUS 23136315 HAS SOUPS 22564932 WITH SCORE 2.2645493166E7
AT ITER 492 NEW BEST:: SOT 123345605 SOS 80581985 HAS SOPS 65551546 HAS SOUS 23136244 HAS SOUPS 22564861 WITH SCORE 2.2645442985E7
AT ITER 500 NEW BEST:: SOT 123336458 SOS 80567009 HAS SOPS 65547657 HAS SOUS 23132384 HAS SOUPS 22561186 WITH SCORE 2.2641753009E7
AT ITER 501 NEW BEST:: SOT 123382561 SOS 80669494 HAS SOPS 65650878 HAS SOUS 23113671 HAS SOUPS 22542395 WITH SCORE 2.2623064494E7
AT ITER 503 NEW BEST:: SOT 123376182 SOS 80665336 HAS SOPS 65644060 HAS SOUS 23098092 HAS SOUPS 22526740 WITH SCORE 2.2607405336E7
AT ITER 517 NEW BEST:: SOT 123387429 SOS 80684620 HAS SOPS 65654906 HAS SOUS 23068869 HAS SOUPS 22497668 WITH SCORE 2.257835262E7
AT ITER 521 NEW BEST:: SOT 123385194 SOS 80682871 HAS SOPS 65648920 HAS SOUS 23062655 HAS SOUPS 22491454 WITH SCORE 2.2572136871E7
AT ITER 522 NEW BEST:: SOT 123367927 SOS 80665778 HAS SOPS 65631461 HAS SOUS 23037343 HAS SOUPS 22466072 WITH SCORE 2.2546737778E7
AT ITER 533 NEW BEST:: SOT 123366464 SOS 80665069 HAS SOPS 65629259 HAS SOUS 23035057 HAS SOUPS 22463762 WITH SCORE 2.2544427069E7
AT ITER 592 NEW BEST:: SOT 123344467 SOS 80615454 HAS SOPS 65601390 HAS SOUS 23014335 HAS SOUPS 22443069 WITH SCORE 2.2523684454E7
AT ITER 595 NEW BEST:: SOT 123340690 SOS 80610987 HAS SOPS 65596083 HAS SOUS 23008840 HAS SOUPS 22437574 WITH SCORE 2.2518184987E7
AT ITER 600 NEW BEST:: SOT 123322983 SOS 80554117 HAS SOPS 65582521 HAS SOUS 23008456 HAS SOUPS 22437190 WITH SCORE 2.2517744117E7
AT ITER 606 NEW BEST:: SOT 123321195 SOS 80552683 HAS SOPS 65580546 HAS SOUS 23001974 HAS SOUPS 22430708 WITH SCORE 2.2511260683E7
AT ITER 612 NEW BEST:: SOT 123318126 SOS 80551036 HAS SOPS 65577226 HAS SOUS 22991995 HAS SOUPS 22420729 WITH SCORE 2.2501280036E7
AT ITER 621 NEW BEST:: SOT 123317814 SOS 80550696 HAS SOPS 65576830 HAS SOUS 22991147 HAS SOUPS 22419881 WITH SCORE 2.2500431696E7
AT ITER 632 NEW BEST:: SOT 123320358 SOS 80557416 HAS SOPS 65584378 HAS SOUS 22985539 HAS SOUPS 22414273 WITH SCORE 2.2494830416E7
AT ITER 635 NEW BEST:: SOT 123322938 SOS 80562750 HAS SOPS 65594584 HAS SOUS 22984123 HAS SOUPS 22413003 WITH SCORE 2.249356575E7
AT ITER 639 NEW BEST:: SOT 123317814 SOS 80549330 HAS SOPS 65590015 HAS SOUS 22980393 HAS SOUPS 22409495 WITH SCORE 2.249004433E7
AT ITER 641 NEW BEST:: SOT 123262299 SOS 80491106 HAS SOPS 65528982 HAS SOUS 22915663 HAS SOUPS 22344862 WITH SCORE 2.2425353106E7
AT ITER 648 NEW BEST:: SOT 123259874 SOS 80493156 HAS SOPS 65524421 HAS SOUS 22903594 HAS SOUPS 22332793 WITH SCORE 2.2413286156E7
AT ITER 655 NEW BEST:: SOT 123224666 SOS 80438226 HAS SOPS 65473704 HAS SOUS 22837619 HAS SOUPS 22266858 WITH SCORE 2.2347296226E7
AT ITER 659 NEW BEST:: SOT 123221029 SOS 80431989 HAS SOPS 65463185 HAS SOUS 22833875 HAS SOUPS 22263114 WITH SCORE 2.2343545989E7
AT ITER 665 NEW BEST:: SOT 123179426 SOS 80390084 HAS SOPS 65420573 HAS SOUS 22762269 HAS SOUPS 22191463 WITH SCORE 2.2271853084E7
AT ITER 672 NEW BEST:: SOT 123169524 SOS 80374284 HAS SOPS 65414684 HAS SOUS 22684944 HAS SOUPS 22117370 WITH SCORE 2.2197744284E7
AT ITER 673 NEW BEST:: SOT 123164491 SOS 80369022 HAS SOPS 65409523 HAS SOUS 22678331 HAS SOUPS 22110784 WITH SCORE 2.2191153022E7
AT ITER 677 NEW BEST:: SOT 123188793 SOS 80460380 HAS SOPS 65486848 HAS SOUS 22653924 HAS SOUPS 22086377 WITH SCORE 2.216683738E7
AT ITER 685 NEW BEST:: SOT 123189292 SOS 80459548 HAS SOPS 65485907 HAS SOUS 22650328 HAS SOUPS 22082781 WITH SCORE 2.2163240548E7
AT ITER 687 NEW BEST:: SOT 123183106 SOS 80454312 HAS SOPS 65476440 HAS SOUS 22635829 HAS SOUPS 22068379 WITH SCORE 2.2148833312E7
AT ITER 698 NEW BEST:: SOT 123177949 SOS 80451880 HAS SOPS 65472092 HAS SOUS 22627941 HAS SOUPS 22060491 WITH SCORE 2.214094288E7
AT ITER 716 NEW BEST:: SOT 123161200 SOS 80436372 HAS SOPS 65449386 HAS SOUS 22581092 HAS SOUPS 22013642 WITH SCORE 2.2094078372E7
AT ITER 725 NEW BEST:: SOT 123127784 SOS 80418804 HAS SOPS 65398753 HAS SOUS 22442146 HAS SOUPS 21874421 WITH SCORE 2.1954839804E7
AT ITER 740 NEW BEST:: SOT 123124526 SOS 80416027 HAS SOPS 65399323 HAS SOUS 22435022 HAS SOUPS 21867297 WITH SCORE 2.1947713027E7
AT ITER 755 NEW BEST:: SOT 123122429 SOS 80428402 HAS SOPS 65405876 HAS SOUS 22414108 HAS SOUPS 21846383 WITH SCORE 2.1926811402E7
AT ITER 793 NEW BEST:: SOT 122976259 SOS 80278925 HAS SOPS 65239877 HAS SOUS 22173376 HAS SOUPS 21605818 WITH SCORE 2.1686096925E7
AT ITER 811 NEW BEST:: SOT 122979940 SOS 80287227 HAS SOPS 65246049 HAS SOUS 22172199 HAS SOUPS 21604641 WITH SCORE 2.1684928227E7
AT ITER 816 NEW BEST:: SOT 122962572 SOS 80269859 HAS SOPS 65228681 HAS SOUS 22154831 HAS SOUPS 21587273 WITH SCORE 2.1667542859E7
AT ITER 827 NEW BEST:: SOT 122962504 SOS 80270190 HAS SOPS 65228701 HAS SOUS 22152512 HAS SOUPS 21584954 WITH SCORE 2.166522419E7
AT ITER 838 NEW BEST:: SOT 122954267 SOS 80245949 HAS SOPS 65213630 HAS SOUS 22151176 HAS SOUPS 21583618 WITH SCORE 2.1663863949E7
AT ITER 841 NEW BEST:: SOT 122948669 SOS 80242152 HAS SOPS 65207509 HAS SOUS 22135782 HAS SOUPS 21568224 WITH SCORE 2.1648466152E7
AT ITER 854 NEW BEST:: SOT 122950775 SOS 80248153 HAS SOPS 65212918 HAS SOUS 22135685 HAS SOUPS 21568053 WITH SCORE 2.1648301153E7
AT ITER 860 NEW BEST:: SOT 122978310 SOS 80278363 HAS SOPS 65254426 HAS SOUS 22126364 HAS SOUPS 21561094 WITH SCORE 2.1641372363E7
AT ITER 878 NEW BEST:: SOT 122933013 SOS 80212125 HAS SOPS 65201013 HAS SOUS 22106317 HAS SOUPS 21541262 WITH SCORE 2.1621474125E7
AT ITER 890 NEW BEST:: SOT 122931046 SOS 80209716 HAS SOPS 65199682 HAS SOUS 22092830 HAS SOUPS 21528167 WITH SCORE 2.1608376716E7
AT ITER 900 NEW BEST:: SOT 122930861 SOS 80209435 HAS SOPS 65199389 HAS SOUS 22089244 HAS SOUPS 21524581 WITH SCORE 2.1604790435E7
AT ITER 902 NEW BEST:: SOT 122944705 SOS 80238154 HAS SOPS 65213688 HAS SOUS 22075037 HAS SOUPS 21510325 WITH SCORE 2.1590563154E7
AT ITER 905 NEW BEST:: SOT 122939962 SOS 80231979 HAS SOPS 65210581 HAS SOUS 22059063 HAS SOUPS 21494351 WITH SCORE 2.1574582979E7
AT ITER 911 NEW BEST:: SOT 122939962 SOS 80232843 HAS SOPS 65211637 HAS SOUS 22059045 HAS SOUPS 21494333 WITH SCORE 2.1574565843E7
AT ITER 928 NEW BEST:: SOT 122938402 SOS 80231015 HAS SOPS 65209267 HAS SOUS 22056041 HAS SOUPS 21491337 WITH SCORE 2.1571568015E7
AT ITER 956 NEW BEST:: SOT 122938402 SOS 80231575 HAS SOPS 65209987 HAS SOUS 22056031 HAS SOUPS 21491327 WITH SCORE 2.1571558575E7
AT ITER 961 NEW BEST:: SOT 122948454 SOS 80245851 HAS SOPS 65226157 HAS SOUS 22049554 HAS SOUPS 21484850 WITH SCORE 2.1565095851E7
AT ITER 969 NEW BEST:: SOT 122985209 SOS 80349909 HAS SOPS 65328287 HAS SOUS 21963730 HAS SOUPS 21399480 WITH SCORE 2.1479829909E7
AT ITER 971 NEW BEST:: SOT 122982292 SOS 80345412 HAS SOPS 65324085 HAS SOUS 21958583 HAS SOUPS 21394333 WITH SCORE 2.1474678412E7
AT ITER 974 NEW BEST:: SOT 122989493 SOS 80362414 HAS SOPS 65339421 HAS SOUS 21954607 HAS SOUPS 21390357 WITH SCORE 2.1470719414E7
AT ITER 1021 NEW BEST:: SOT 122957732 SOS 80340128 HAS SOPS 65320610 HAS SOUS 21940205 HAS SOUPS 21373831 WITH SCORE 2.1454171128E7
AT ITER 1028 NEW BEST:: SOT 122959404 SOS 80351837 HAS SOPS 65326346 HAS SOUS 21936322 HAS SOUPS 21370149 WITH SCORE 2.1450500837E7
AT ITER 1030 NEW BEST:: SOT 122958180 SOS 80350613 HAS SOPS 65325338 HAS SOUS 21932690 HAS SOUPS 21366685 WITH SCORE 2.1447035613E7
AT ITER 1035 NEW BEST:: SOT 122962882 SOS 80370593 HAS SOPS 65345454 HAS SOUS 21926993 HAS SOUPS 21358896 WITH SCORE 2.1439266593E7
AT ITER 1045 NEW BEST:: SOT 122962721 SOS 80367512 HAS SOPS 65348212 HAS SOUS 21925712 HAS SOUPS 21357615 WITH SCORE 2.1437982512E7
AT ITER 1047 NEW BEST:: SOT 122964316 SOS 80374583 HAS SOPS 65350657 HAS SOUS 21924805 HAS SOUPS 21356708 WITH SCORE 2.1437082583E7
AT ITER 1050 NEW BEST:: SOT 122967039 SOS 80379374 HAS SOPS 65348404 HAS SOUS 21923834 HAS SOUPS 21355737 WITH SCORE 2.1436116374E7
AT ITER 1056 NEW BEST:: SOT 122961472 SOS 80374003 HAS SOPS 65345883 HAS SOUS 21907614 HAS SOUPS 21339517 WITH SCORE 2.1419891003E7
AT ITER 1059 NEW BEST:: SOT 122960940 SOS 80373470 HAS SOPS 65345287 HAS SOUS 21907194 HAS SOUPS 21339097 WITH SCORE 2.141947047E7
AT ITER 1077 NEW BEST:: SOT 122960151 SOS 80380517 HAS SOPS 65349926 HAS SOUS 21869450 HAS SOUPS 21301338 WITH SCORE 2.1381718517E7
AT ITER 1084 NEW BEST:: SOT 122985818 SOS 80455712 HAS SOPS 65403044 HAS SOUS 21837615 HAS SOUPS 21269503 WITH SCORE 2.1349958712E7
AT ITER 1089 NEW BEST:: SOT 122988526 SOS 80465913 HAS SOPS 65417112 HAS SOUS 21831112 HAS SOUPS 21263000 WITH SCORE 2.1343465913E7
AT ITER 1101 NEW BEST:: SOT 122986758 SOS 80459749 HAS SOPS 65411666 HAS SOUS 21822199 HAS SOUPS 21254087 WITH SCORE 2.1334546749E7
AT ITER 1104 NEW BEST:: SOT 122986775 SOS 80467230 HAS SOPS 65417867 HAS SOUS 21819617 HAS SOUPS 21251505 WITH SCORE 2.133197223E7
AT ITER 1106 NEW BEST:: SOT 122986611 SOS 80467064 HAS SOPS 65417569 HAS SOUS 21819201 HAS SOUPS 21251089 WITH SCORE 2.1331556064E7
AT ITER 1128 NEW BEST:: SOT 122987324 SOS 80464011 HAS SOPS 65412266 HAS SOUS 21793907 HAS SOUPS 21225795 WITH SCORE 2.1306259011E7
AT ITER 1137 NEW BEST:: SOT 122987266 SOS 80463311 HAS SOPS 65411503 HAS SOUS 21793707 HAS SOUPS 21225595 WITH SCORE 2.1306058311E7
AT ITER 1146 NEW BEST:: SOT 122987266 SOS 80464751 HAS SOPS 65411663 HAS SOUS 21793701 HAS SOUPS 21225589 WITH SCORE 2.1306053751E7
AT ITER 1151 NEW BEST:: SOT 122970153 SOS 80435868 HAS SOPS 65390178 HAS SOUS 21768635 HAS SOUPS 21202194 WITH SCORE 2.1282629868E7
AT ITER 1177 NEW BEST:: SOT 122965833 SOS 80430533 HAS SOPS 65381941 HAS SOUS 21762904 HAS SOUPS 21196463 WITH SCORE 2.1276893533E7
AT ITER 1191 NEW BEST:: SOT 122963912 SOS 80429713 HAS SOPS 65410344 HAS SOUS 21760934 HAS SOUPS 21194493 WITH SCORE 2.1274922713E7
AT ITER 1206 NEW BEST:: SOT 122962937 SOS 80426663 HAS SOPS 65408155 HAS SOUS 21758655 HAS SOUPS 21192214 WITH SCORE 2.1272640663E7
AT ITER 1211 NEW BEST:: SOT 122961656 SOS 80424961 HAS SOPS 65406350 HAS SOUS 21757329 HAS SOUPS 21190888 WITH SCORE 2.1271312961E7
AT ITER 1213 NEW BEST:: SOT 122952017 SOS 80438845 HAS SOPS 65419538 HAS SOUS 21637313 HAS SOUPS 21070566 WITH SCORE 2.1151004845E7
AT ITER 1218 NEW BEST:: SOT 122948798 SOS 80432532 HAS SOPS 65414227 HAS SOUS 21618748 HAS SOUPS 21052001 WITH SCORE 2.1132433532E7
AT ITER 1228 NEW BEST:: SOT 122946923 SOS 80429897 HAS SOPS 65411664 HAS SOUS 21615761 HAS SOUPS 21049022 WITH SCORE 2.1129451897E7
AT ITER 1232 NEW BEST:: SOT 122948438 SOS 80433415 HAS SOPS 65413522 HAS SOUS 21610702 HAS SOUPS 21043963 WITH SCORE 2.1124396415E7
AT ITER 1234 NEW BEST:: SOT 122945996 SOS 80436117 HAS SOPS 65416094 HAS SOUS 21605346 HAS SOUPS 21038607 WITH SCORE 2.1119043117E7
AT ITER 1236 NEW BEST:: SOT 122948815 SOS 80440379 HAS SOPS 65419005 HAS SOUS 21603422 HAS SOUPS 21036683 WITH SCORE 2.1117123379E7
AT ITER 1237 NEW BEST:: SOT 123000198 SOS 80544678 HAS SOPS 65516003 HAS SOUS 21588709 HAS SOUPS 21021712 WITH SCORE 2.1102256678E7
AT ITER 1247 NEW BEST:: SOT 122999964 SOS 80553397 HAS SOPS 65526059 HAS SOUS 21587667 HAS SOUPS 21020670 WITH SCORE 2.1101223397E7
AT ITER 1253 NEW BEST:: SOT 123021496 SOS 80592624 HAS SOPS 65551513 HAS SOUS 21577781 HAS SOUPS 21010784 WITH SCORE 2.1091376624E7
AT ITER 1256 NEW BEST:: SOT 123021606 SOS 80592669 HAS SOPS 65548978 HAS SOUS 21576816 HAS SOUPS 21009776 WITH SCORE 2.1090368669E7
AT ITER 1261 NEW BEST:: SOT 123021579 SOS 80592404 HAS SOPS 65548679 HAS SOUS 21576433 HAS SOUPS 21009393 WITH SCORE 2.1089985404E7
AT ITER 1267 NEW BEST:: SOT 123010955 SOS 80582680 HAS SOPS 65534447 HAS SOUS 21556084 HAS SOUPS 20987924 WITH SCORE 2.106850668E7
AT ITER 1279 NEW BEST:: SOT 123002553 SOS 80573658 HAS SOPS 65526631 HAS SOUS 21548574 HAS SOUPS 20980484 WITH SCORE 2.1061057658E7
AT ITER 1290 NEW BEST:: SOT 122975264 SOS 80519953 HAS SOPS 65471650 HAS SOUS 21489933 HAS SOUPS 20921843 WITH SCORE 2.1002362953E7
AT ITER 1291 NEW BEST:: SOT 122973169 SOS 80509000 HAS SOPS 65473970 HAS SOUS 21482999 HAS SOUPS 20914909 WITH SCORE 2.0995418E7
AT ITER 1296 NEW BEST:: SOT 122958126 SOS 80493066 HAS SOPS 65458036 HAS SOUS 21459285 HAS SOUPS 20891195 WITH SCORE 2.0971688066E7
AT ITER 1297 NEW BEST:: SOT 122973055 SOS 80530320 HAS SOPS 65494945 HAS SOUS 21430041 HAS SOUPS 20861951 WITH SCORE 2.094248132E7
AT ITER 1302 NEW BEST:: SOT 122967341 SOS 80524638 HAS SOPS 65487206 HAS SOUS 21384569 HAS SOUPS 20816706 WITH SCORE 2.0897230638E7
AT ITER 1313 NEW BEST:: SOT 122882229 SOS 80422884 HAS SOPS 65390180 HAS SOUS 21287245 HAS SOUPS 20719552 WITH SCORE 2.0799974884E7
AT ITER 1315 NEW BEST:: SOT 122877202 SOS 80418600 HAS SOPS 65386214 HAS SOUS 21286926 HAS SOUPS 20719233 WITH SCORE 2.07996516E7
AT ITER 1320 NEW BEST:: SOT 122876550 SOS 80417911 HAS SOPS 65385239 HAS SOUS 21285574 HAS SOUPS 20717881 WITH SCORE 2.0798298911E7
AT ITER 1325 NEW BEST:: SOT 122872471 SOS 80413958 HAS SOPS 65381160 HAS SOUS 21281541 HAS SOUPS 20713804 WITH SCORE 2.0794217958E7
AT ITER 1336 NEW BEST:: SOT 122885986 SOS 80432950 HAS SOPS 65417504 HAS SOUS 21273704 HAS SOUPS 20705970 WITH SCORE 2.078640295E7
AT ITER 1339 NEW BEST:: SOT 122885984 SOS 80442104 HAS SOPS 65431024 HAS SOUS 21273640 HAS SOUPS 20705906 WITH SCORE 2.0786348104E7
AT ITER 1350 NEW BEST:: SOT 122885873 SOS 80439930 HAS SOPS 65429059 HAS SOUS 21271751 HAS SOUPS 20704017 WITH SCORE 2.078445693E7
AT ITER 1358 NEW BEST:: SOT 122881665 SOS 80435404 HAS SOPS 65422809 HAS SOUS 21264300 HAS SOUPS 20696566 WITH SCORE 2.0777001404E7
AT ITER 1360 NEW BEST:: SOT 122875298 SOS 80436716 HAS SOPS 65420753 HAS SOUS 21225041 HAS SOUPS 20657105 WITH SCORE 2.0737541716E7
AT ITER 1370 NEW BEST:: SOT 122877805 SOS 80448149 HAS SOPS 65420282 HAS SOUS 21192496 HAS SOUPS 20625037 WITH SCORE 2.0705485149E7
AT ITER 1372 NEW BEST:: SOT 122877805 SOS 80448381 HAS SOPS 65420386 HAS SOUS 21192494 HAS SOUPS 20625035 WITH SCORE 2.0705483381E7
AT ITER 1376 NEW BEST:: SOT 122864340 SOS 80429048 HAS SOPS 65408261 HAS SOUS 21160098 HAS SOUPS 20592727 WITH SCORE 2.0673156048E7
AT ITER 1384 NEW BEST:: SOT 122862472 SOS 80427530 HAS SOPS 65406824 HAS SOUS 21156247 HAS SOUPS 20588876 WITH SCORE 2.066930353E7
AT ITER 1387 NEW BEST:: SOT 122851704 SOS 80417473 HAS SOPS 65392123 HAS SOUS 21126250 HAS SOUPS 20558885 WITH SCORE 2.0639302473E7
AT ITER 1390 NEW BEST:: SOT 122862305 SOS 80448828 HAS SOPS 65412839 HAS SOUS 21107274 HAS SOUPS 20539909 WITH SCORE 2.0620357828E7
AT ITER 1394 NEW BEST:: SOT 122853496 SOS 80442359 HAS SOPS 65379451 HAS SOUS 21052735 HAS SOUPS 20485370 WITH SCORE 2.0565812359E7
AT ITER 1429 NEW BEST:: SOT 122853496 SOS 80444663 HAS SOPS 65382619 HAS SOUS 21052699 HAS SOUPS 20485334 WITH SCORE 2.0565778663E7
AT ITER 1441 NEW BEST:: SOT 122850768 SOS 80441935 HAS SOPS 65379891 HAS SOUS 21049715 HAS SOUPS 20482350 WITH SCORE 2.0562791935E7
AT ITER 1446 NEW BEST:: SOT 122846032 SOS 80432443 HAS SOPS 65379583 HAS SOUS 20990293 HAS SOUPS 20423105 WITH SCORE 2.0503537443E7
AT ITER 1460 NEW BEST:: SOT 122832075 SOS 80418106 HAS SOPS 65364238 HAS SOUS 20981405 HAS SOUPS 20413449 WITH SCORE 2.0493867106E7
AT ITER 1480 NEW BEST:: SOT 122832095 SOS 80418174 HAS SOPS 65364164 HAS SOUS 20981145 HAS SOUPS 20413189 WITH SCORE 2.0493607174E7
AT ITER 1491 NEW BEST:: SOT 122797100 SOS 80374266 HAS SOPS 65318457 HAS SOUS 20925779 HAS SOUPS 20357823 WITH SCORE 2.0438197266E7
AT ITER 1510 NEW BEST:: SOT 122793120 SOS 80368844 HAS SOPS 65295889 HAS SOUS 20891508 HAS SOUPS 20323473 WITH SCORE 2.0403841844E7
AT ITER 1513 NEW BEST:: SOT 122814433 SOS 80417980 HAS SOPS 65337445 HAS SOUS 20884521 HAS SOUPS 20316486 WITH SCORE 2.039690398E7
AT ITER 1516 NEW BEST:: SOT 122779991 SOS 80383066 HAS SOPS 65311111 HAS SOUS 20820168 HAS SOUPS 20252343 WITH SCORE 2.0332726066E7
AT ITER 1526 NEW BEST:: SOT 122782482 SOS 80390499 HAS SOPS 65309432 HAS SOUS 20809381 HAS SOUPS 20241503 WITH SCORE 2.0321893499E7
AT ITER 1540 NEW BEST:: SOT 122770299 SOS 80376890 HAS SOPS 65292725 HAS SOUS 20788931 HAS SOUPS 20221159 WITH SCORE 2.030153589E7
AT ITER 1547 NEW BEST:: SOT 122775094 SOS 80385023 HAS SOPS 65300855 HAS SOUS 20786209 HAS SOUPS 20218479 WITH SCORE 2.0298864023E7
AT ITER 1549 NEW BEST:: SOT 122801845 SOS 80397795 HAS SOPS 65314016 HAS SOUS 20781743 HAS SOUPS 20214053 WITH SCORE 2.0294450795E7
AT ITER 1551 NEW BEST:: SOT 122801117 SOS 80397679 HAS SOPS 65313792 HAS SOUS 20779430 HAS SOUPS 20211740 WITH SCORE 2.0292137679E7
AT ITER 1553 NEW BEST:: SOT 122792051 SOS 80389353 HAS SOPS 65302636 HAS SOUS 20757734 HAS SOUPS 20189962 WITH SCORE 2.0270351353E7
AT ITER 1569 NEW BEST:: SOT 122796079 SOS 80394026 HAS SOPS 65306202 HAS SOUS 20743405 HAS SOUPS 20175708 WITH SCORE 2.0256102026E7
AT ITER 1582 NEW BEST:: SOT 122799055 SOS 80398724 HAS SOPS 65312562 HAS SOUS 20740749 HAS SOUPS 20173198 WITH SCORE 2.0253596724E7
AT ITER 1621 NEW BEST:: SOT 122795465 SOS 80436864 HAS SOPS 65352902 HAS SOUS 20739332 HAS SOUPS 20171781 WITH SCORE 2.0252217864E7
AT ITER 1647 NEW BEST:: SOT 122788129 SOS 80428213 HAS SOPS 65340004 HAS SOUS 20717756 HAS SOUPS 20150205 WITH SCORE 2.0230633213E7
AT ITER 1667 NEW BEST:: SOT 122778666 SOS 80418822 HAS SOPS 65330309 HAS SOUS 20701825 HAS SOUPS 20134211 WITH SCORE 2.0214629822E7
AT ITER 1668 NEW BEST:: SOT 122778686 SOS 80424962 HAS SOPS 65335910 HAS SOUS 20700519 HAS SOUPS 20132905 WITH SCORE 2.0213329962E7
AT ITER 1677 NEW BEST:: SOT 122778504 SOS 80428252 HAS SOPS 65337464 HAS SOUS 20686966 HAS SOUPS 20119352 WITH SCORE 2.0199780252E7
AT ITER 1679 NEW BEST:: SOT 122778504 SOS 80432316 HAS SOPS 65341858 HAS SOUS 20686829 HAS SOUPS 20119215 WITH SCORE 2.0199647316E7
AT ITER 1683 NEW BEST:: SOT 122773009 SOS 80426821 HAS SOPS 65336115 HAS SOUS 20682726 HAS SOUPS 20115112 WITH SCORE 2.0195538821E7
AT ITER 1704 NEW BEST:: SOT 122766376 SOS 80417641 HAS SOPS 65327563 HAS SOUS 20672519 HAS SOUPS 20104947 WITH SCORE 2.0185364641E7
AT ITER 1713 NEW BEST:: SOT 122759293 SOS 80402053 HAS SOPS 65320944 HAS SOUS 20667389 HAS SOUPS 20099817 WITH SCORE 2.0180219053E7
AT ITER 1717 NEW BEST:: SOT 122757457 SOS 80408205 HAS SOPS 65347770 HAS SOUS 20665507 HAS SOUPS 20098095 WITH SCORE 2.0178503205E7
AT ITER 1729 NEW BEST:: SOT 122747520 SOS 80396137 HAS SOPS 65332806 HAS SOUS 20624727 HAS SOUPS 20057575 WITH SCORE 2.0137971137E7
AT ITER 1740 NEW BEST:: SOT 122745145 SOS 80395892 HAS SOPS 65329216 HAS SOUS 20615455 HAS SOUPS 20048230 WITH SCORE 2.0128625892E7
AT ITER 1747 NEW BEST:: SOT 122740271 SOS 80388296 HAS SOPS 65324837 HAS SOUS 20605175 HAS SOUPS 20037950 WITH SCORE 2.0118338296E7
AT ITER 1752 NEW BEST:: SOT 122740496 SOS 80388511 HAS SOPS 65325212 HAS SOUS 20604496 HAS SOUPS 20037367 WITH SCORE 2.0117755511E7
AT ITER 1781 NEW BEST:: SOT 122740203 SOS 80376778 HAS SOPS 65313225 HAS SOUS 20603887 HAS SOUPS 20036758 WITH SCORE 2.0117134778E7
AT ITER 1788 NEW BEST:: SOT 122741543 SOS 80386686 HAS SOPS 65318232 HAS SOUS 20576406 HAS SOUPS 20009277 WITH SCORE 2.0089663686E7
AT ITER 1791 NEW BEST:: SOT 122741752 SOS 80390683 HAS SOPS 65321845 HAS SOUS 20566747 HAS SOUPS 19999618 WITH SCORE 2.0080008683E7
AT ITER 1811 NEW BEST:: SOT 122741117 SOS 80389658 HAS SOPS 65331973 HAS SOUS 20565475 HAS SOUPS 19998346 WITH SCORE 2.0078735658E7
AT ITER 1830 NEW BEST:: SOT 122752923 SOS 80408636 HAS SOPS 65363783 HAS SOUS 20553272 HAS SOUPS 19986143 WITH SCORE 2.0066551636E7
AT ITER 1834 NEW BEST:: SOT 122723253 SOS 80377805 HAS SOPS 65334113 HAS SOUS 20535180 HAS SOUPS 19968415 WITH SCORE 2.0048792805E7
AT ITER 1856 NEW BEST:: SOT 122738058 SOS 80416509 HAS SOPS 65353465 HAS SOUS 20512465 HAS SOUPS 19945700 WITH SCORE 2.0026116509E7
AT ITER 1864 NEW BEST:: SOT 122730886 SOS 80399185 HAS SOPS 65320017 HAS SOUS 20507677 HAS SOUPS 19940912 WITH SCORE 2.0021311185E7
AT ITER 1898 NEW BEST:: SOT 122719176 SOS 80389385 HAS SOPS 65310182 HAS SOUS 20480422 HAS SOUPS 19913657 WITH SCORE 1.9994046385E7
AT ITER 1908 NEW BEST:: SOT 122730707 SOS 80405349 HAS SOPS 65322182 HAS SOUS 20470685 HAS SOUPS 19903920 WITH SCORE 1.9984325349E7
AT ITER 1919 NEW BEST:: SOT 122741064 SOS 80419096 HAS SOPS 65329948 HAS SOUS 20469959 HAS SOUPS 19903194 WITH SCORE 1.9983613096E7
AT ITER 1921 NEW BEST:: SOT 122741072 SOS 80429518 HAS SOPS 65344082 HAS SOUS 20469667 HAS SOUPS 19902902 WITH SCORE 1.9983331518E7
AT ITER 1922 NEW BEST:: SOT 122739625 SOS 80427999 HAS SOPS 65342429 HAS SOUS 20467012 HAS SOUPS 19900237 WITH SCORE 1.9980664999E7
AT ITER 1933 NEW BEST:: SOT 122733970 SOS 80424218 HAS SOPS 65329449 HAS SOUS 20456553 HAS SOUPS 19889778 WITH SCORE 1.9970202218E7
AT ITER 1953 NEW BEST:: SOT 122724861 SOS 80414573 HAS SOPS 65319320 HAS SOUS 20424545 HAS SOUPS 19857770 WITH SCORE 1.9938184573E7
AT ITER 1967 NEW BEST:: SOT 122709315 SOS 80413210 HAS SOPS 65322522 HAS SOUS 20364009 HAS SOUPS 19797234 WITH SCORE 1.987764721E7
AT ITER 1970 NEW BEST:: SOT 122709728 SOS 80413254 HAS SOPS 65322425 HAS SOUS 20363457 HAS SOUPS 19796699 WITH SCORE 1.9877112254E7
AT ITER 1973 NEW BEST:: SOT 122713530 SOS 80424529 HAS SOPS 65332269 HAS SOUS 20360742 HAS SOUPS 19793984 WITH SCORE 1.9874408529E7
AT ITER 1978 NEW BEST:: SOT 122715732 SOS 80436963 HAS SOPS 65340722 HAS SOUS 20356296 HAS SOUPS 19789492 WITH SCORE 1.9869928963E7
AT ITER 1990 NEW BEST:: SOT 122712740 SOS 80425354 HAS SOPS 65329699 HAS SOUS 20343004 HAS SOUPS 19776200 WITH SCORE 1.9856625354E7
AT ITER 2000 NEW BEST:: SOT 122710279 SOS 80422849 HAS SOPS 65326327 HAS SOUS 20336084 HAS SOUPS 19769280 WITH SCORE 1.9849702849E7
AT ITER 2012 NEW BEST:: SOT 122709711 SOS 80419399 HAS SOPS 65321628 HAS SOUS 20304164 HAS SOUPS 19737609 WITH SCORE 1.9818028399E7
AT ITER 2055 NEW BEST:: SOT 122712167 SOS 80406039 HAS SOPS 65308289 HAS SOUS 20288328 HAS SOUPS 19721773 WITH SCORE 1.9802179039E7
AT ITER 2057 NEW BEST:: SOT 122700617 SOS 80389569 HAS SOPS 65299855 HAS SOUS 20287465 HAS SOUPS 19721028 WITH SCORE 1.9801417569E7
AT ITER 2058 NEW BEST:: SOT 122693097 SOS 80367631 HAS SOPS 65281759 HAS SOUS 20259582 HAS SOUPS 19694609 WITH SCORE 1.9774976631E7
AT ITER 2078 NEW BEST:: SOT 122657543 SOS 80290595 HAS SOPS 65217832 HAS SOUS 20207029 HAS SOUPS 19642056 WITH SCORE 1.9722346595E7
AT ITER 2080 NEW BEST:: SOT 122673654 SOS 80345753 HAS SOPS 65276144 HAS SOUS 20195399 HAS SOUPS 19630426 WITH SCORE 1.9710771753E7
AT ITER 2081 NEW BEST:: SOT 122673896 SOS 80346073 HAS SOPS 65276200 HAS SOUS 20195281 HAS SOUPS 19630296 WITH SCORE 1.9710642073E7
AT ITER 2083 NEW BEST:: SOT 122677845 SOS 80337605 HAS SOPS 65270544 HAS SOUS 20190555 HAS SOUPS 19625570 WITH SCORE 1.9705907605E7
AT ITER 2090 NEW BEST:: SOT 122676470 SOS 80340769 HAS SOPS 65265517 HAS SOUS 20175047 HAS SOUPS 19610062 WITH SCORE 1.9690402769E7
AT ITER 2092 NEW BEST:: SOT 122665972 SOS 80322242 HAS SOPS 65253214 HAS SOUS 20151213 HAS SOUPS 19586246 WITH SCORE 1.9666568242E7
AT ITER 2138 NEW BEST:: SOT 122664618 SOS 80306299 HAS SOPS 65245036 HAS SOUS 20139257 HAS SOUPS 19574290 WITH SCORE 1.9654596299E7
AT ITER 2142 NEW BEST:: SOT 122664202 SOS 80305851 HAS SOPS 65244400 HAS SOUS 20138529 HAS SOUPS 19573562 WITH SCORE 1.9653867851E7
AT ITER 2145 NEW BEST:: SOT 122675334 SOS 80309826 HAS SOPS 65256165 HAS SOUS 20112615 HAS SOUPS 19548459 WITH SCORE 1.9628768826E7
AT ITER 2152 NEW BEST:: SOT 122674518 SOS 80309046 HAS SOPS 65254913 HAS SOUS 20110547 HAS SOUPS 19546391 WITH SCORE 1.9626700046E7
AT ITER 2153 NEW BEST:: SOT 122670272 SOS 80307246 HAS SOPS 65243543 HAS SOUS 20071964 HAS SOUPS 19507808 WITH SCORE 1.9588115246E7
AT ITER 2165 NEW BEST:: SOT 122692502 SOS 80366422 HAS SOPS 65291179 HAS SOUS 20063950 HAS SOUPS 19499794 WITH SCORE 1.9580160422E7
AT ITER 2168 NEW BEST:: SOT 122682217 SOS 80355585 HAS SOPS 65280894 HAS SOUS 20051538 HAS SOUPS 19487445 WITH SCORE 1.9567800585E7
AT ITER 2179 NEW BEST:: SOT 122701939 SOS 80375919 HAS SOPS 65299702 HAS SOUS 20049599 HAS SOUPS 19485506 WITH SCORE 1.9565881919E7
AT ITER 2188 NEW BEST:: SOT 122688617 SOS 80359897 HAS SOPS 65289711 HAS SOUS 20030331 HAS SOUPS 19466399 WITH SCORE 1.9546758897E7
AT ITER 2189 NEW BEST:: SOT 122669025 SOS 80344069 HAS SOPS 65274688 HAS SOUS 19977468 HAS SOUPS 19413536 WITH SCORE 1.9493880069E7
AT ITER 2195 NEW BEST:: SOT 122668612 SOS 80344058 HAS SOPS 65274474 HAS SOUS 19976414 HAS SOUPS 19412482 WITH SCORE 1.9492826058E7
AT ITER 2210 NEW BEST:: SOT 122665891 SOS 80337196 HAS SOPS 65266497 HAS SOUS 19967389 HAS SOUPS 19403770 WITH SCORE 1.9484107196E7
AT ITER 2211 NEW BEST:: SOT 122665891 SOS 80338456 HAS SOPS 65267517 HAS SOUS 19967324 HAS SOUPS 19403705 WITH SCORE 1.9484043456E7
AT ITER 2228 NEW BEST:: SOT 122664951 SOS 80336480 HAS SOPS 65266292 HAS SOUS 19966817 HAS SOUPS 19403248 WITH SCORE 1.948358448E7
AT ITER 2231 NEW BEST:: SOT 122664479 SOS 80346865 HAS SOPS 65261210 HAS SOUS 19951842 HAS SOUPS 19388273 WITH SCORE 1.9468619865E7
AT ITER 2233 NEW BEST:: SOT 122658282 SOS 80340192 HAS SOPS 65251316 HAS SOUS 19937103 HAS SOUPS 19373586 WITH SCORE 1.9453926192E7
AT ITER 2259 NEW BEST:: SOT 122655752 SOS 80345325 HAS SOPS 65258738 HAS SOUS 19921055 HAS SOUPS 19357538 WITH SCORE 1.9437883325E7
AT ITER 2263 NEW BEST:: SOT 122655790 SOS 80361721 HAS SOPS 65275134 HAS SOUS 19921025 HAS SOUPS 19357508 WITH SCORE 1.9437869721E7
AT ITER 2288 NEW BEST:: SOT 122654458 SOS 80359211 HAS SOPS 65273635 HAS SOUS 19920273 HAS SOUPS 19356756 WITH SCORE 1.9437115211E7
AT ITER 2307 NEW BEST:: SOT 122654476 SOS 80359362 HAS SOPS 65273658 HAS SOUS 19919879 HAS SOUPS 19356362 WITH SCORE 1.9436721362E7
AT ITER 2313 NEW BEST:: SOT 122679101 SOS 80439427 HAS SOPS 65313512 HAS SOUS 19860259 HAS SOUPS 19296742 WITH SCORE 1.9377181427E7
AT ITER 2321 NEW BEST:: SOT 122678403 SOS 80440633 HAS SOPS 65312759 HAS SOUS 19857984 HAS SOUPS 19294400 WITH SCORE 1.9374840633E7
AT ITER 2346 NEW BEST:: SOT 122672479 SOS 80432555 HAS SOPS 65301912 HAS SOUS 19850279 HAS SOUPS 19286730 WITH SCORE 1.9367162555E7
AT ITER 2347 NEW BEST:: SOT 122657655 SOS 80411117 HAS SOPS 65283535 HAS SOUS 19816031 HAS SOUPS 19253352 WITH SCORE 1.9333763117E7
AT ITER 2378 NEW BEST:: SOT 122657655 SOS 80413789 HAS SOPS 65287119 HAS SOUS 19815964 HAS SOUPS 19253285 WITH SCORE 1.9333698789E7
AT ITER 2383 NEW BEST:: SOT 122600234 SOS 80350682 HAS SOPS 65219145 HAS SOUS 19760264 HAS SOUPS 19197118 WITH SCORE 1.9277468682E7
AT ITER 2392 NEW BEST:: SOT 122579219 SOS 80329731 HAS SOPS 65198130 HAS SOUS 19750449 HAS SOUPS 19187239 WITH SCORE 1.9267568731E7
AT ITER 2394 NEW BEST:: SOT 122581468 SOS 80335770 HAS SOPS 65204678 HAS SOUS 19746692 HAS SOUPS 19183482 WITH SCORE 1.926381777E7
AT ITER 2397 NEW BEST:: SOT 122580906 SOS 80335473 HAS SOPS 65203559 HAS SOUS 19744402 HAS SOUPS 19181192 WITH SCORE 1.9261527473E7
AT ITER 2399 NEW BEST:: SOT 122580962 SOS 80337282 HAS SOPS 65203445 HAS SOUS 19744236 HAS SOUPS 19181026 WITH SCORE 1.9261363282E7
AT ITER 2411 NEW BEST:: SOT 122580236 SOS 80336532 HAS SOPS 65203031 HAS SOUS 19741878 HAS SOUPS 19178668 WITH SCORE 1.9259004532E7
AT ITER 2414 NEW BEST:: SOT 122580376 SOS 80337094 HAS SOPS 65203460 HAS SOUS 19741501 HAS SOUPS 19178291 WITH SCORE 1.9258628094E7
AT ITER 2425 NEW BEST:: SOT 122555277 SOS 80320609 HAS SOPS 65205308 HAS SOUS 19708730 HAS SOUPS 19146096 WITH SCORE 1.9226416609E7
AT ITER 2432 NEW BEST:: SOT 122556328 SOS 80326135 HAS SOPS 65216760 HAS SOUS 19700851 HAS SOUPS 19138217 WITH SCORE 1.9218543135E7
AT ITER 2444 NEW BEST:: SOT 122556328 SOS 80329463 HAS SOPS 65220088 HAS SOUS 19700797 HAS SOUPS 19138163 WITH SCORE 1.9218492463E7
AT ITER 2450 NEW BEST:: SOT 122546409 SOS 80316320 HAS SOPS 65204044 HAS SOUS 19690045 HAS SOUPS 19127411 WITH SCORE 1.920772732E7
AT ITER 2463 NEW BEST:: SOT 122533886 SOS 80299677 HAS SOPS 65191963 HAS SOUS 19682384 HAS SOUPS 19119912 WITH SCORE 1.9200211677E7
AT ITER 2474 NEW BEST:: SOT 122525430 SOS 80286134 HAS SOPS 65173273 HAS SOUS 19681854 HAS SOUPS 19119488 WITH SCORE 1.9199774134E7
AT ITER 2509 NEW BEST:: SOT 122519621 SOS 80275852 HAS SOPS 65172126 HAS SOUS 19677997 HAS SOUPS 19115795 WITH SCORE 1.9196070852E7
AT ITER 2516 NEW BEST:: SOT 122512471 SOS 80259626 HAS SOPS 65157372 HAS SOUS 19675453 HAS SOUPS 19113251 WITH SCORE 1.9193510626E7
AT ITER 2549 NEW BEST:: SOT 122506089 SOS 80253473 HAS SOPS 65147018 HAS SOUS 19655393 HAS SOUPS 19093191 WITH SCORE 1.9173444473E7
AT ITER 2556 NEW BEST:: SOT 122505422 SOS 80259078 HAS SOPS 65151289 HAS SOUS 19650192 HAS SOUPS 19087990 WITH SCORE 1.9168249078E7
AT ITER 2570 NEW BEST:: SOT 122491294 SOS 80245402 HAS SOPS 65134875 HAS SOUS 19619328 HAS SOUPS 19057242 WITH SCORE 1.9137487402E7
AT ITER 2610 NEW BEST:: SOT 122491294 SOS 80271596 HAS SOPS 65187011 HAS SOUS 19619048 HAS SOUPS 19056962 WITH SCORE 1.9137233596E7
AT ITER 2616 NEW BEST:: SOT 122491298 SOS 80275075 HAS SOPS 65240086 HAS SOUS 19618484 HAS SOUPS 19056398 WITH SCORE 1.9136673075E7
AT ITER 2618 NEW BEST:: SOT 122495904 SOS 80288639 HAS SOPS 65259934 HAS SOUS 19609000 HAS SOUPS 19046914 WITH SCORE 1.9127202639E7
AT ITER 2622 NEW BEST:: SOT 122475951 SOS 80266441 HAS SOPS 65230609 HAS SOUS 19569426 HAS SOUPS 19007340 WITH SCORE 1.9087606441E7
AT ITER 2643 NEW BEST:: SOT 122475989 SOS 80269371 HAS SOPS 65233043 HAS SOUS 19569369 HAS SOUPS 19007283 WITH SCORE 1.9087552371E7
AT ITER 2655 NEW BEST:: SOT 122471163 SOS 80259622 HAS SOPS 65224745 HAS SOUS 19567143 HAS SOUPS 19005057 WITH SCORE 1.9085316622E7
AT ITER 2664 NEW BEST:: SOT 122459334 SOS 80230660 HAS SOPS 65213169 HAS SOUS 19561674 HAS SOUPS 18999588 WITH SCORE 1.907981866E7
AT ITER 2691 NEW BEST:: SOT 122459208 SOS 80227509 HAS SOPS 65210781 HAS SOUS 19559386 HAS SOUPS 18997300 WITH SCORE 1.9077527509E7
AT ITER 2708 NEW BEST:: SOT 122463230 SOS 80243278 HAS SOPS 65220407 HAS SOUS 19538085 HAS SOUPS 18975999 WITH SCORE 1.9056242278E7
AT ITER 2711 NEW BEST:: SOT 122459578 SOS 80239662 HAS SOPS 65216791 HAS SOUS 19530856 HAS SOUPS 18968770 WITH SCORE 1.9049009662E7
AT ITER 2731 NEW BEST:: SOT 122439265 SOS 80205536 HAS SOPS 65185045 HAS SOUS 19511240 HAS SOUPS 18949154 WITH SCORE 1.9029359536E7
AT ITER 2743 NEW BEST:: SOT 122437469 SOS 80203371 HAS SOPS 65182782 HAS SOUS 19510272 HAS SOUPS 18948172 WITH SCORE 1.9028375371E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15442224 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16078660 kB

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-9"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smart"
echo " Input is RERS17pb115-PT-9, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r323-tall-167889194400216"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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