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.r195-smll-167840342100216.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 GlobalResAllocation-COL-11, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r195-smll-167840342100216
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 556K
-rw-r--r-- 1 mcc users 11K Feb 25 16:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 102K Feb 25 16:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 25 16:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 25 16:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.2K Feb 25 16:13 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:13 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:13 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 25 16:13 LTLFireability.xml
-rw-r--r-- 1 mcc users 19K Feb 25 16:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 178K Feb 25 16:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 25 16:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 41K Feb 25 16:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:13 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_pt
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 29K Mar 5 18:22 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 1678487383029

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=GlobalResAllocation-COL-11
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-10 22:29:48] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-10 22:29:48] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-10 22:29:48] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-10 22:29:49] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-10 22:29:49] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1320 ms
[2023-03-10 22:29:49] [INFO ] Imported 5 HL places and 7 HL transitions for a total of 297 PT places and 2705087.0 transition bindings in 31 ms.
[2023-03-10 22:30:32] [INFO ] Unfolded HLPN to a Petri net with 297 places and 2705087 transitions 25497868 arcs in 43010 ms.
[2023-03-10 22:30:32] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Ensure Unique test removed 2537612 transitions
Reduce isomorphic transitions removed 2537612 transitions.
Reduce isomorphic (modulo) transitions removed 484 transitions.
[2023-03-10 22:36:53] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 297 places, 167233 transitions and 1483603 arcs took 1168 ms.
Total runtime 425393 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running GlobalResAllocation (COL), instance 11
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: 297 places, 167233 transitions, 1483603 arcs.
AT ITER 0 NEW BEST:: SOT 45122145 SOS 40569608 HAS SOPS 40569608 HAS SOUS 19101444 HAS SOUPS 19101444 WITH SCORE 1.9142013608E7
AT ITER 1 NEW BEST:: SOT 45122145 SOS 40569608 HAS SOPS 40569608 HAS SOUS 19100153 HAS SOUPS 19100153 WITH SCORE 1.9140722608E7
AT ITER 4 NEW BEST:: SOT 45122145 SOS 40569608 HAS SOPS 40569608 HAS SOUS 19088357 HAS SOUPS 19088357 WITH SCORE 1.9128926608E7
AT ITER 8 NEW BEST:: SOT 45122145 SOS 40569608 HAS SOPS 40569608 HAS SOUS 19087257 HAS SOUPS 19087257 WITH SCORE 1.9127826608E7
AT ITER 9 NEW BEST:: SOT 45122145 SOS 40569608 HAS SOPS 40569608 HAS SOUS 19008623 HAS SOUPS 19008623 WITH SCORE 1.9049192608E7
AT ITER 11 NEW BEST:: SOT 45122145 SOS 40569608 HAS SOPS 40569608 HAS SOUS 19006015 HAS SOUPS 19006015 WITH SCORE 1.9046584608E7
AT ITER 13 NEW BEST:: SOT 45122145 SOS 40569608 HAS SOPS 40569608 HAS SOUS 18862680 HAS SOUPS 18862680 WITH SCORE 1.8903249608E7
AT ITER 14 NEW BEST:: SOT 45122145 SOS 40569608 HAS SOPS 40569608 HAS SOUS 18706482 HAS SOUPS 18706482 WITH SCORE 1.8747051608E7
AT ITER 15 NEW BEST:: SOT 45122145 SOS 40569608 HAS SOPS 40569608 HAS SOUS 18550676 HAS SOUPS 18550676 WITH SCORE 1.8591245608E7
AT ITER 16 NEW BEST:: SOT 45172825 SOS 41032796 HAS SOPS 41032796 HAS SOUS 18442322 HAS SOUPS 18442322 WITH SCORE 1.8483354796E7
AT ITER 17 NEW BEST:: SOT 45172825 SOS 41032796 HAS SOPS 41032796 HAS SOUS 18331224 HAS SOUPS 18331224 WITH SCORE 1.8372256796E7
AT ITER 18 NEW BEST:: SOT 45172825 SOS 41032796 HAS SOPS 41032796 HAS SOUS 18234870 HAS SOUPS 18234870 WITH SCORE 1.8275902796E7
AT ITER 19 NEW BEST:: SOT 45172825 SOS 41032796 HAS SOPS 41032796 HAS SOUS 18103021 HAS SOUPS 18103021 WITH SCORE 1.8144053796E7
AT ITER 20 NEW BEST:: SOT 45172825 SOS 41032796 HAS SOPS 41032796 HAS SOUS 18062405 HAS SOUPS 18062405 WITH SCORE 1.8103437796E7
AT ITER 21 NEW BEST:: SOT 45100421 SOS 40984977 HAS SOPS 40984977 HAS SOUS 17989864 HAS SOUPS 17989864 WITH SCORE 1.8030848977E7
AT ITER 22 NEW BEST:: SOT 45100421 SOS 40984977 HAS SOPS 40984977 HAS SOUS 17981507 HAS SOUPS 17981507 WITH SCORE 1.8022491977E7
AT ITER 23 NEW BEST:: SOT 45100421 SOS 40984977 HAS SOPS 40984977 HAS SOUS 17846804 HAS SOUPS 17846804 WITH SCORE 1.7887788977E7
AT ITER 24 NEW BEST:: SOT 45100421 SOS 40984977 HAS SOPS 40984977 HAS SOUS 17613626 HAS SOUPS 17613626 WITH SCORE 1.7654610977E7
AT ITER 26 NEW BEST:: SOT 45090919 SOS 41169319 HAS SOPS 41169319 HAS SOUS 17446474 HAS SOUPS 17446474 WITH SCORE 1.7487643319E7
AT ITER 27 NEW BEST:: SOT 45090919 SOS 41169319 HAS SOPS 41169319 HAS SOUS 17295716 HAS SOUPS 17295716 WITH SCORE 1.7336885319E7
AT ITER 30 NEW BEST:: SOT 45090649 SOS 41169049 HAS SOPS 41169049 HAS SOUS 17027501 HAS SOUPS 17027501 WITH SCORE 1.7068670049E7
AT ITER 31 NEW BEST:: SOT 45078511 SOS 41481149 HAS SOPS 41481149 HAS SOUS 16945809 HAS SOUPS 16945809 WITH SCORE 1.6987290149E7
AT ITER 33 NEW BEST:: SOT 44930045 SOS 41731194 HAS SOPS 41731194 HAS SOUS 16795474 HAS SOUPS 16795474 WITH SCORE 1.6837205194E7
AT ITER 36 NEW BEST:: SOT 44930045 SOS 41731194 HAS SOPS 41731194 HAS SOUS 16651326 HAS SOUPS 16651326 WITH SCORE 1.6693057194E7
AT ITER 37 NEW BEST:: SOT 44979696 SOS 41780845 HAS SOPS 41780845 HAS SOUS 16404107 HAS SOUPS 16404107 WITH SCORE 1.6445887845E7
AT ITER 38 NEW BEST:: SOT 44979696 SOS 41780845 HAS SOPS 41780845 HAS SOUS 16180497 HAS SOUPS 16180497 WITH SCORE 1.6222277845E7
AT ITER 39 NEW BEST:: SOT 44979696 SOS 41780845 HAS SOPS 41780845 HAS SOUS 16172491 HAS SOUPS 16172491 WITH SCORE 1.6214271845E7
AT ITER 40 NEW BEST:: SOT 44979696 SOS 41780845 HAS SOPS 41780845 HAS SOUS 16053681 HAS SOUPS 16053681 WITH SCORE 1.6095461845E7
AT ITER 41 NEW BEST:: SOT 44934143 SOS 41866189 HAS SOPS 41866189 HAS SOUS 15860349 HAS SOUPS 15860349 WITH SCORE 1.5902215189E7
AT ITER 44 NEW BEST:: SOT 44934104 SOS 41866150 HAS SOPS 41866150 HAS SOUS 15708007 HAS SOUPS 15708007 WITH SCORE 1.574987315E7
AT ITER 47 NEW BEST:: SOT 44934104 SOS 41866150 HAS SOPS 41866150 HAS SOUS 15698781 HAS SOUPS 15698781 WITH SCORE 1.574064715E7
AT ITER 49 NEW BEST:: SOT 44875792 SOS 42055282 HAS SOPS 42055282 HAS SOUS 15583434 HAS SOUPS 15583434 WITH SCORE 1.5625489282E7
AT ITER 51 NEW BEST:: SOT 44875792 SOS 42055282 HAS SOPS 42055282 HAS SOUS 15560758 HAS SOUPS 15560758 WITH SCORE 1.5602813282E7
AT ITER 54 NEW BEST:: SOT 44875792 SOS 42055282 HAS SOPS 42055282 HAS SOUS 15547546 HAS SOUPS 15547546 WITH SCORE 1.5589601282E7
AT ITER 55 NEW BEST:: SOT 44873498 SOS 42052988 HAS SOPS 42052988 HAS SOUS 15302438 HAS SOUPS 15302438 WITH SCORE 1.5344490988E7
AT ITER 57 NEW BEST:: SOT 44873498 SOS 42052988 HAS SOPS 42052988 HAS SOUS 15287409 HAS SOUPS 15287409 WITH SCORE 1.5329461988E7
AT ITER 58 NEW BEST:: SOT 44905687 SOS 42261688 HAS SOPS 42261688 HAS SOUS 15059063 HAS SOUPS 15059063 WITH SCORE 1.5101324688E7
AT ITER 59 NEW BEST:: SOT 44929292 SOS 42299103 HAS SOPS 42299103 HAS SOUS 15046337 HAS SOUPS 15046337 WITH SCORE 1.5088636103E7
AT ITER 61 NEW BEST:: SOT 44955067 SOS 42064363 HAS SOPS 42064363 HAS SOUS 14891661 HAS SOUPS 14891661 WITH SCORE 1.4933725363E7
AT ITER 62 NEW BEST:: SOT 44934939 SOS 42100760 HAS SOPS 42100760 HAS SOUS 14837320 HAS SOUPS 14837320 WITH SCORE 1.487942076E7
AT ITER 66 NEW BEST:: SOT 44934939 SOS 42100760 HAS SOPS 42100760 HAS SOUS 14823354 HAS SOUPS 14823354 WITH SCORE 1.486545476E7
AT ITER 67 NEW BEST:: SOT 44934939 SOS 42100760 HAS SOPS 42100760 HAS SOUS 14770838 HAS SOUPS 14770838 WITH SCORE 1.481293876E7
AT ITER 68 NEW BEST:: SOT 44934939 SOS 42100760 HAS SOPS 42100760 HAS SOUS 14762241 HAS SOUPS 14762241 WITH SCORE 1.480434176E7
AT ITER 71 NEW BEST:: SOT 44920097 SOS 42085918 HAS SOPS 42085918 HAS SOUS 14747399 HAS SOUPS 14747399 WITH SCORE 1.4789484918E7
AT ITER 72 NEW BEST:: SOT 44920097 SOS 42085918 HAS SOPS 42085918 HAS SOUS 14720118 HAS SOUPS 14720118 WITH SCORE 1.4762203918E7
AT ITER 73 NEW BEST:: SOT 44920097 SOS 42085918 HAS SOPS 42085918 HAS SOUS 14719775 HAS SOUPS 14719775 WITH SCORE 1.4761860918E7
AT ITER 80 NEW BEST:: SOT 44920097 SOS 42085918 HAS SOPS 42085918 HAS SOUS 14523202 HAS SOUPS 14523202 WITH SCORE 1.4565287918E7
AT ITER 88 NEW BEST:: SOT 44920097 SOS 42085918 HAS SOPS 42085918 HAS SOUS 14485025 HAS SOUPS 14485025 WITH SCORE 1.4527110918E7
AT ITER 91 NEW BEST:: SOT 44920097 SOS 42085918 HAS SOPS 42085918 HAS SOUS 14402394 HAS SOUPS 14402394 WITH SCORE 1.4444479918E7
AT ITER 93 NEW BEST:: SOT 44920097 SOS 42085918 HAS SOPS 42085918 HAS SOUS 14223605 HAS SOUPS 14223605 WITH SCORE 1.4265690918E7
AT ITER 94 NEW BEST:: SOT 44920097 SOS 42034109 HAS SOPS 42034109 HAS SOUS 14222636 HAS SOUPS 14222636 WITH SCORE 1.4264670109E7
AT ITER 98 NEW BEST:: SOT 44919737 SOS 42021479 HAS SOPS 42021479 HAS SOUS 14222438 HAS SOUPS 14222438 WITH SCORE 1.4264459479E7
AT ITER 99 NEW BEST:: SOT 44916811 SOS 42018553 HAS SOPS 42018553 HAS SOUS 14216802 HAS SOUPS 14216802 WITH SCORE 1.4258820553E7
AT ITER 100 NEW BEST:: SOT 44830895 SOS 41961135 HAS SOPS 41961135 HAS SOUS 14091272 HAS SOUPS 14091272 WITH SCORE 1.4133233135E7
AT ITER 104 NEW BEST:: SOT 44830895 SOS 41961135 HAS SOPS 41961135 HAS SOUS 14090576 HAS SOUPS 14090576 WITH SCORE 1.4132537135E7
AT ITER 107 NEW BEST:: SOT 44830895 SOS 41961135 HAS SOPS 41961135 HAS SOUS 14023808 HAS SOUPS 14023808 WITH SCORE 1.4065769135E7
AT ITER 112 NEW BEST:: SOT 44830054 SOS 41960294 HAS SOPS 41960294 HAS SOUS 13835223 HAS SOUPS 13835223 WITH SCORE 1.3877183294E7
AT ITER 115 NEW BEST:: SOT 44830054 SOS 41960294 HAS SOPS 41960294 HAS SOUS 13677638 HAS SOUPS 13677638 WITH SCORE 1.3719598294E7
AT ITER 118 NEW BEST:: SOT 44830054 SOS 41960294 HAS SOPS 41960294 HAS SOUS 13677195 HAS SOUPS 13677195 WITH SCORE 1.3719155294E7
AT ITER 127 NEW BEST:: SOT 44830054 SOS 41960294 HAS SOPS 41960294 HAS SOUS 13653195 HAS SOUPS 13653195 WITH SCORE 1.3695155294E7
AT ITER 133 NEW BEST:: SOT 44834541 SOS 41964781 HAS SOPS 41964781 HAS SOUS 13651740 HAS SOUPS 13651740 WITH SCORE 1.3693704781E7
AT ITER 134 NEW BEST:: SOT 44834541 SOS 41964781 HAS SOPS 41964781 HAS SOUS 13639934 HAS SOUPS 13639934 WITH SCORE 1.3681898781E7
AT ITER 135 NEW BEST:: SOT 44885404 SOS 42072452 HAS SOPS 42072452 HAS SOUS 13621030 HAS SOUPS 13621030 WITH SCORE 1.3663102452E7
AT ITER 137 NEW BEST:: SOT 44885404 SOS 42072452 HAS SOPS 42072452 HAS SOUS 13620405 HAS SOUPS 13620405 WITH SCORE 1.3662477452E7
AT ITER 139 NEW BEST:: SOT 44930809 SOS 42220762 HAS SOPS 42220762 HAS SOUS 13511376 HAS SOUPS 13511376 WITH SCORE 1.3553596762E7
AT ITER 140 NEW BEST:: SOT 44930809 SOS 42220762 HAS SOPS 42220762 HAS SOUS 13408778 HAS SOUPS 13408778 WITH SCORE 1.3450998762E7
AT ITER 142 NEW BEST:: SOT 44930809 SOS 42220762 HAS SOPS 42220762 HAS SOUS 13401388 HAS SOUPS 13401388 WITH SCORE 1.3443608762E7
AT ITER 143 NEW BEST:: SOT 44975381 SOS 42282448 HAS SOPS 42282448 HAS SOUS 13399143 HAS SOUPS 13399143 WITH SCORE 1.3441425448E7
AT ITER 145 NEW BEST:: SOT 44975381 SOS 42282448 HAS SOPS 42282448 HAS SOUS 13346333 HAS SOUPS 13346333 WITH SCORE 1.3388615448E7
AT ITER 146 NEW BEST:: SOT 44975381 SOS 42282448 HAS SOPS 42282448 HAS SOUS 13335875 HAS SOUPS 13335875 WITH SCORE 1.3378157448E7
AT ITER 147 NEW BEST:: SOT 44975381 SOS 42282448 HAS SOPS 42282448 HAS SOUS 13308961 HAS SOUPS 13308961 WITH SCORE 1.3351243448E7
AT ITER 149 NEW BEST:: SOT 44975381 SOS 42282448 HAS SOPS 42282448 HAS SOUS 13244409 HAS SOUPS 13244409 WITH SCORE 1.3286691448E7
AT ITER 156 NEW BEST:: SOT 45014754 SOS 42346356 HAS SOPS 42346356 HAS SOUS 13239058 HAS SOUPS 13239058 WITH SCORE 1.3281404356E7
AT ITER 159 NEW BEST:: SOT 44926999 SOS 42271468 HAS SOPS 42271468 HAS SOUS 13166834 HAS SOUPS 13166834 WITH SCORE 1.3209105468E7
AT ITER 160 NEW BEST:: SOT 44926999 SOS 42271468 HAS SOPS 42271468 HAS SOUS 13093202 HAS SOUPS 13093202 WITH SCORE 1.3135473468E7
AT ITER 161 NEW BEST:: SOT 44927526 SOS 42271995 HAS SOPS 42271995 HAS SOUS 13071146 HAS SOUPS 13071146 WITH SCORE 1.3113417995E7
AT ITER 166 NEW BEST:: SOT 44923003 SOS 42267472 HAS SOPS 42267472 HAS SOUS 13062566 HAS SOUPS 13062566 WITH SCORE 1.3104833472E7
AT ITER 175 NEW BEST:: SOT 44923003 SOS 42267472 HAS SOPS 42267472 HAS SOUS 13047408 HAS SOUPS 13047408 WITH SCORE 1.3089675472E7
AT ITER 177 NEW BEST:: SOT 44923003 SOS 42304754 HAS SOPS 42304754 HAS SOUS 13041557 HAS SOUPS 13041557 WITH SCORE 1.3083861754E7
AT ITER 179 NEW BEST:: SOT 44924349 SOS 42207163 HAS SOPS 42207163 HAS SOUS 12982645 HAS SOUPS 12982645 WITH SCORE 1.3024852163E7
AT ITER 182 NEW BEST:: SOT 44923934 SOS 42206748 HAS SOPS 42206748 HAS SOUS 12944018 HAS SOUPS 12944018 WITH SCORE 1.2986224748E7
AT ITER 183 NEW BEST:: SOT 44923934 SOS 42206748 HAS SOPS 42206748 HAS SOUS 12906215 HAS SOUPS 12906215 WITH SCORE 1.2948421748E7
AT ITER 186 NEW BEST:: SOT 44923934 SOS 42206748 HAS SOPS 42206748 HAS SOUS 12875990 HAS SOUPS 12875990 WITH SCORE 1.2918196748E7
AT ITER 187 NEW BEST:: SOT 44923934 SOS 42206748 HAS SOPS 42206748 HAS SOUS 12868932 HAS SOUPS 12868932 WITH SCORE 1.2911138748E7
AT ITER 192 NEW BEST:: SOT 44923934 SOS 42206748 HAS SOPS 42206748 HAS SOUS 12866851 HAS SOUPS 12866851 WITH SCORE 1.2909057748E7
AT ITER 194 NEW BEST:: SOT 44764723 SOS 42062344 HAS SOPS 42062344 HAS SOUS 12758963 HAS SOUPS 12758963 WITH SCORE 1.2801025344E7
AT ITER 199 NEW BEST:: SOT 44775864 SOS 42073485 HAS SOPS 42073485 HAS SOUS 12695879 HAS SOUPS 12695879 WITH SCORE 1.2737952485E7
AT ITER 202 NEW BEST:: SOT 44778356 SOS 42075977 HAS SOPS 42075977 HAS SOUS 12655198 HAS SOUPS 12655198 WITH SCORE 1.2697273977E7
AT ITER 207 NEW BEST:: SOT 44778356 SOS 42075977 HAS SOPS 42075977 HAS SOUS 12601230 HAS SOUPS 12601230 WITH SCORE 1.2643305977E7
AT ITER 208 NEW BEST:: SOT 44778356 SOS 42075977 HAS SOPS 42075977 HAS SOUS 12593383 HAS SOUPS 12593383 WITH SCORE 1.2635458977E7
AT ITER 210 NEW BEST:: SOT 44778456 SOS 42076077 HAS SOPS 42076077 HAS SOUS 12558442 HAS SOUPS 12558442 WITH SCORE 1.2600518077E7
AT ITER 211 NEW BEST:: SOT 44529996 SOS 41835820 HAS SOPS 41835820 HAS SOUS 12550324 HAS SOUPS 12550324 WITH SCORE 1.259215982E7
AT ITER 212 NEW BEST:: SOT 44529996 SOS 41835820 HAS SOPS 41835820 HAS SOUS 12546834 HAS SOUPS 12546834 WITH SCORE 1.258866982E7
AT ITER 214 NEW BEST:: SOT 44529996 SOS 41835820 HAS SOPS 41835820 HAS SOUS 12523695 HAS SOUPS 12523695 WITH SCORE 1.256553082E7
AT ITER 216 NEW BEST:: SOT 44529996 SOS 41951920 HAS SOPS 41951920 HAS SOUS 12487769 HAS SOUPS 12487769 WITH SCORE 1.252972092E7
AT ITER 218 NEW BEST:: SOT 44537460 SOS 41959384 HAS SOPS 41959384 HAS SOUS 12479930 HAS SOUPS 12479930 WITH SCORE 1.2521889384E7
AT ITER 219 NEW BEST:: SOT 44537460 SOS 41959384 HAS SOPS 41959384 HAS SOUS 12386473 HAS SOUPS 12386473 WITH SCORE 1.2428432384E7
AT ITER 222 NEW BEST:: SOT 44537460 SOS 41959384 HAS SOPS 41959384 HAS SOUS 12383656 HAS SOUPS 12383656 WITH SCORE 1.2425615384E7
AT ITER 225 NEW BEST:: SOT 44560990 SOS 42192255 HAS SOPS 42192255 HAS SOUS 12343651 HAS SOUPS 12343651 WITH SCORE 1.2385843255E7
AT ITER 226 NEW BEST:: SOT 44555503 SOS 42186768 HAS SOPS 42186768 HAS SOUS 12251827 HAS SOUPS 12251827 WITH SCORE 1.2294013768E7
AT ITER 230 NEW BEST:: SOT 44555376 SOS 42186641 HAS SOPS 42186641 HAS SOUS 12248033 HAS SOUPS 12248033 WITH SCORE 1.2290219641E7
AT ITER 233 NEW BEST:: SOT 44555376 SOS 42186641 HAS SOPS 42186641 HAS SOUS 12215393 HAS SOUPS 12215393 WITH SCORE 1.2257579641E7
AT ITER 234 NEW BEST:: SOT 44547445 SOS 42178710 HAS SOPS 42178710 HAS SOUS 12167462 HAS SOUPS 12167462 WITH SCORE 1.220964071E7
AT ITER 237 NEW BEST:: SOT 44547445 SOS 42178710 HAS SOPS 42178710 HAS SOUS 12151269 HAS SOUPS 12151269 WITH SCORE 1.219344771E7
AT ITER 241 NEW BEST:: SOT 44547445 SOS 42178710 HAS SOPS 42178710 HAS SOUS 12131652 HAS SOUPS 12131652 WITH SCORE 1.217383071E7
AT ITER 242 NEW BEST:: SOT 44549536 SOS 42180801 HAS SOPS 42180801 HAS SOUS 12108607 HAS SOUPS 12108607 WITH SCORE 1.2150787801E7
AT ITER 250 NEW BEST:: SOT 44549405 SOS 42180670 HAS SOPS 42180670 HAS SOUS 12095889 HAS SOUPS 12095889 WITH SCORE 1.213806967E7
AT ITER 253 NEW BEST:: SOT 44495987 SOS 42173660 HAS SOPS 42173660 HAS SOUS 12033392 HAS SOUPS 12033392 WITH SCORE 1.207556566E7
AT ITER 257 NEW BEST:: SOT 44496220 SOS 42218074 HAS SOPS 42218074 HAS SOUS 12011466 HAS SOUPS 12011466 WITH SCORE 1.2053684074E7
AT ITER 258 NEW BEST:: SOT 44367516 SOS 42089370 HAS SOPS 42089370 HAS SOUS 11912108 HAS SOUPS 11912108 WITH SCORE 1.195419737E7
AT ITER 259 NEW BEST:: SOT 44367516 SOS 42089370 HAS SOPS 42089370 HAS SOUS 11883830 HAS SOUPS 11883830 WITH SCORE 1.192591937E7
AT ITER 260 NEW BEST:: SOT 44367516 SOS 42089370 HAS SOPS 42089370 HAS SOUS 11847044 HAS SOUPS 11847044 WITH SCORE 1.188913337E7
AT ITER 261 NEW BEST:: SOT 44367516 SOS 42089370 HAS SOPS 42089370 HAS SOUS 11794862 HAS SOUPS 11794862 WITH SCORE 1.183695137E7
AT ITER 263 NEW BEST:: SOT 44496457 SOS 42161780 HAS SOPS 42161780 HAS SOUS 11765472 HAS SOUPS 11765472 WITH SCORE 1.180763378E7
AT ITER 266 NEW BEST:: SOT 44544371 SOS 42238154 HAS SOPS 42238154 HAS SOUS 11648441 HAS SOUPS 11648441 WITH SCORE 1.1690679154E7
AT ITER 267 NEW BEST:: SOT 44544371 SOS 42238154 HAS SOPS 42238154 HAS SOUS 11619482 HAS SOUPS 11619482 WITH SCORE 1.1661720154E7
AT ITER 269 NEW BEST:: SOT 44555618 SOS 42249401 HAS SOPS 42249401 HAS SOUS 11563901 HAS SOUPS 11563901 WITH SCORE 1.1606150401E7
AT ITER 270 NEW BEST:: SOT 44555618 SOS 42249401 HAS SOPS 42249401 HAS SOUS 11560884 HAS SOUPS 11560884 WITH SCORE 1.1603133401E7
AT ITER 271 NEW BEST:: SOT 44232367 SOS 41948380 HAS SOPS 41948380 HAS SOUS 11200032 HAS SOUPS 11200032 WITH SCORE 1.124198038E7
AT ITER 273 NEW BEST:: SOT 44218340 SOS 41934353 HAS SOPS 41934353 HAS SOUS 11113881 HAS SOUPS 11113881 WITH SCORE 1.1155815353E7
AT ITER 274 NEW BEST:: SOT 44220163 SOS 41936176 HAS SOPS 41936176 HAS SOUS 11093575 HAS SOUPS 11093575 WITH SCORE 1.1135511176E7
AT ITER 278 NEW BEST:: SOT 44261222 SOS 41987002 HAS SOPS 41987002 HAS SOUS 11079741 HAS SOUPS 11079741 WITH SCORE 1.1121728002E7
AT ITER 285 NEW BEST:: SOT 44248506 SOS 41974286 HAS SOPS 41974286 HAS SOUS 10961717 HAS SOUPS 10961717 WITH SCORE 1.1003691286E7
AT ITER 290 NEW BEST:: SOT 44248506 SOS 41974286 HAS SOPS 41974286 HAS SOUS 10939192 HAS SOUPS 10939192 WITH SCORE 1.0981166286E7
AT ITER 292 NEW BEST:: SOT 44248506 SOS 41974286 HAS SOPS 41974286 HAS SOUS 10911074 HAS SOUPS 10911074 WITH SCORE 1.0953048286E7
AT ITER 302 NEW BEST:: SOT 44248506 SOS 41994034 HAS SOPS 41994034 HAS SOUS 10885428 HAS SOUPS 10885428 WITH SCORE 1.0927422034E7
AT ITER 307 NEW BEST:: SOT 44248506 SOS 41994034 HAS SOPS 41994034 HAS SOUS 10884299 HAS SOUPS 10884299 WITH SCORE 1.0926293034E7
AT ITER 310 NEW BEST:: SOT 44246093 SOS 41991621 HAS SOPS 41991621 HAS SOUS 10874722 HAS SOUPS 10874722 WITH SCORE 1.0916713621E7
AT ITER 314 NEW BEST:: SOT 44246093 SOS 41991621 HAS SOPS 41991621 HAS SOUS 10868549 HAS SOUPS 10868549 WITH SCORE 1.0910540621E7
AT ITER 318 NEW BEST:: SOT 44245224 SOS 41990752 HAS SOPS 41990752 HAS SOUS 10867328 HAS SOUPS 10867328 WITH SCORE 1.0909318752E7
AT ITER 320 NEW BEST:: SOT 44245224 SOS 41990752 HAS SOPS 41990752 HAS SOUS 10867022 HAS SOUPS 10867022 WITH SCORE 1.0909012752E7
AT ITER 321 NEW BEST:: SOT 44244925 SOS 41990453 HAS SOPS 41990453 HAS SOUS 10852547 HAS SOUPS 10852547 WITH SCORE 1.0894537453E7
AT ITER 331 NEW BEST:: SOT 44244925 SOS 41990453 HAS SOPS 41990453 HAS SOUS 10766287 HAS SOUPS 10766287 WITH SCORE 1.0808277453E7
AT ITER 336 NEW BEST:: SOT 44233376 SOS 41978904 HAS SOPS 41978904 HAS SOUS 10631484 HAS SOUPS 10631484 WITH SCORE 1.0673462904E7
AT ITER 338 NEW BEST:: SOT 44233376 SOS 41978904 HAS SOPS 41978904 HAS SOUS 10630343 HAS SOUPS 10630343 WITH SCORE 1.0672321904E7
AT ITER 339 NEW BEST:: SOT 44233376 SOS 41978904 HAS SOPS 41978904 HAS SOUS 10601992 HAS SOUPS 10601992 WITH SCORE 1.0643970904E7
AT ITER 344 NEW BEST:: SOT 44233376 SOS 41978904 HAS SOPS 41978904 HAS SOUS 10593966 HAS SOUPS 10593966 WITH SCORE 1.0635944904E7
AT ITER 347 NEW BEST:: SOT 44233376 SOS 41978904 HAS SOPS 41978904 HAS SOUS 10593389 HAS SOUPS 10593389 WITH SCORE 1.0635367904E7
AT ITER 350 NEW BEST:: SOT 44233376 SOS 41978904 HAS SOPS 41978904 HAS SOUS 10578992 HAS SOUPS 10578992 WITH SCORE 1.0620970904E7
AT ITER 351 NEW BEST:: SOT 44282511 SOS 42081760 HAS SOPS 42081760 HAS SOUS 10506815 HAS SOUPS 10506815 WITH SCORE 1.054889676E7
AT ITER 354 NEW BEST:: SOT 44252822 SOS 42052071 HAS SOPS 42052071 HAS SOUS 10264628 HAS SOUPS 10264628 WITH SCORE 1.0306680071E7
AT ITER 355 NEW BEST:: SOT 44233533 SOS 42032782 HAS SOPS 42032782 HAS SOUS 10218127 HAS SOUPS 10218127 WITH SCORE 1.0260159782E7
AT ITER 358 NEW BEST:: SOT 44233533 SOS 42032782 HAS SOPS 42032782 HAS SOUS 10214124 HAS SOUPS 10214124 WITH SCORE 1.0256156782E7
AT ITER 361 NEW BEST:: SOT 44225260 SOS 42024509 HAS SOPS 42024509 HAS SOUS 10081871 HAS SOUPS 10081871 WITH SCORE 1.0123895509E7
AT ITER 364 NEW BEST:: SOT 44078043 SOS 41877865 HAS SOPS 41877865 HAS SOUS 10076013 HAS SOUPS 10076013 WITH SCORE 1.0117890865E7
AT ITER 369 NEW BEST:: SOT 43968809 SOS 41770669 HAS SOPS 41770669 HAS SOUS 9984163 HAS SOUPS 9984163 WITH SCORE 1.0025933669E7
AT ITER 375 NEW BEST:: SOT 43970289 SOS 41832321 HAS SOPS 41832321 HAS SOUS 9968083 HAS SOUPS 9968083 WITH SCORE 1.0009915321E7
AT ITER 376 NEW BEST:: SOT 43987746 SOS 41964141 HAS SOPS 41964141 HAS SOUS 9870139 HAS SOUPS 9870139 WITH SCORE 9912103.141
AT ITER 378 NEW BEST:: SOT 43987746 SOS 41964141 HAS SOPS 41964141 HAS SOUS 9832214 HAS SOUPS 9832214 WITH SCORE 9874178.141
AT ITER 395 NEW BEST:: SOT 43987746 SOS 41964141 HAS SOPS 41964141 HAS SOUS 9827313 HAS SOUPS 9827313 WITH SCORE 9869277.141
AT ITER 406 NEW BEST:: SOT 43987746 SOS 41964141 HAS SOPS 41964141 HAS SOUS 9825810 HAS SOUPS 9825810 WITH SCORE 9867774.141
AT ITER 407 NEW BEST:: SOT 43986233 SOS 41962628 HAS SOPS 41962628 HAS SOUS 9800674 HAS SOUPS 9800674 WITH SCORE 9842636.628
AT ITER 410 NEW BEST:: SOT 43986233 SOS 41962628 HAS SOPS 41962628 HAS SOUS 9789791 HAS SOUPS 9789791 WITH SCORE 9831753.628
AT ITER 415 NEW BEST:: SOT 43986233 SOS 41962628 HAS SOPS 41962628 HAS SOUS 9789432 HAS SOUPS 9789432 WITH SCORE 9831394.628
AT ITER 419 NEW BEST:: SOT 43986233 SOS 41932226 HAS SOPS 41932226 HAS SOUS 9789422 HAS SOUPS 9789422 WITH SCORE 9831354.226
AT ITER 438 NEW BEST:: SOT 43978275 SOS 41924268 HAS SOPS 41924268 HAS SOUS 9736049 HAS SOUPS 9736049 WITH SCORE 9777973.268
AT ITER 439 NEW BEST:: SOT 43978275 SOS 41964755 HAS SOPS 41964755 HAS SOUS 9733832 HAS SOUPS 9733832 WITH SCORE 9775796.755
AT ITER 441 NEW BEST:: SOT 43976025 SOS 41962505 HAS SOPS 41962505 HAS SOUS 9719312 HAS SOUPS 9719312 WITH SCORE 9761274.505
AT ITER 454 NEW BEST:: SOT 43970970 SOS 41957450 HAS SOPS 41957450 HAS SOUS 9692764 HAS SOUPS 9692764 WITH SCORE 9734721.45
AT ITER 456 NEW BEST:: SOT 43970970 SOS 41957450 HAS SOPS 41957450 HAS SOUS 9688517 HAS SOUPS 9688517 WITH SCORE 9730474.45
AT ITER 461 NEW BEST:: SOT 43965075 SOS 41951555 HAS SOPS 41951555 HAS SOUS 9613393 HAS SOUPS 9613393 WITH SCORE 9655344.555
AT ITER 467 NEW BEST:: SOT 43960269 SOS 41946749 HAS SOPS 41946749 HAS SOUS 9608587 HAS SOUPS 9608587 WITH SCORE 9650533.749
AT ITER 468 NEW BEST:: SOT 43960427 SOS 41946907 HAS SOPS 41946907 HAS SOUS 9572553 HAS SOUPS 9572553 WITH SCORE 9614499.907
AT ITER 471 NEW BEST:: SOT 43958356 SOS 41944836 HAS SOPS 41944836 HAS SOUS 9528885 HAS SOUPS 9528885 WITH SCORE 9570829.836
AT ITER 473 NEW BEST:: SOT 43958356 SOS 41944836 HAS SOPS 41944836 HAS SOUS 9525729 HAS SOUPS 9525729 WITH SCORE 9567673.836
AT ITER 481 NEW BEST:: SOT 44003682 SOS 42034265 HAS SOPS 42034265 HAS SOUS 9509937 HAS SOUPS 9509937 WITH SCORE 9551971.265
AT ITER 483 NEW BEST:: SOT 44003682 SOS 42104384 HAS SOPS 42104384 HAS SOUS 9509617 HAS SOUPS 9509617 WITH SCORE 9551721.384
AT ITER 484 NEW BEST:: SOT 44003682 SOS 42104384 HAS SOPS 42104384 HAS SOUS 9509571 HAS SOUPS 9509571 WITH SCORE 9551675.384
AT ITER 489 NEW BEST:: SOT 44005184 SOS 42105886 HAS SOPS 42105886 HAS SOUS 9506916 HAS SOUPS 9506916 WITH SCORE 9549021.886
AT ITER 495 NEW BEST:: SOT 44005184 SOS 41999479 HAS SOPS 41999479 HAS SOUS 9506881 HAS SOUPS 9506881 WITH SCORE 9548880.479
AT ITER 499 NEW BEST:: SOT 44005777 SOS 42000072 HAS SOPS 42000072 HAS SOUS 9484726 HAS SOUPS 9484726 WITH SCORE 9526726.072
AT ITER 516 NEW BEST:: SOT 44005777 SOS 42000072 HAS SOPS 42000072 HAS SOUS 9484514 HAS SOUPS 9484514 WITH SCORE 9526514.072
AT ITER 517 NEW BEST:: SOT 44005777 SOS 42000072 HAS SOPS 42000072 HAS SOUS 9468153 HAS SOUPS 9468153 WITH SCORE 9510153.072
AT ITER 521 NEW BEST:: SOT 44005777 SOS 42123082 HAS SOPS 42123082 HAS SOUS 9466797 HAS SOUPS 9466797 WITH SCORE 9508920.082
AT ITER 526 NEW BEST:: SOT 44005777 SOS 42123082 HAS SOPS 42123082 HAS SOUS 9466660 HAS SOUPS 9466660 WITH SCORE 9508783.082
AT ITER 532 NEW BEST:: SOT 44006617 SOS 42118318 HAS SOPS 42118318 HAS SOUS 9448833 HAS SOUPS 9448833 WITH SCORE 9490951.318
AT ITER 535 NEW BEST:: SOT 44006641 SOS 42118342 HAS SOPS 42118342 HAS SOUS 9435139 HAS SOUPS 9435139 WITH SCORE 9477257.342
AT ITER 551 NEW BEST:: SOT 44006641 SOS 42118342 HAS SOPS 42118342 HAS SOUS 9425369 HAS SOUPS 9425369 WITH SCORE 9467487.342
AT ITER 562 NEW BEST:: SOT 44006641 SOS 42118342 HAS SOPS 42118342 HAS SOUS 9425295 HAS SOUPS 9425295 WITH SCORE 9467413.342
AT ITER 573 NEW BEST:: SOT 44006641 SOS 42119057 HAS SOPS 42119057 HAS SOUS 9424603 HAS SOUPS 9424603 WITH SCORE 9466722.057
AT ITER 595 NEW BEST:: SOT 44003721 SOS 42116137 HAS SOPS 42116137 HAS SOUS 9392582 HAS SOUPS 9392582 WITH SCORE 9434698.137
AT ITER 609 NEW BEST:: SOT 44002890 SOS 42115306 HAS SOPS 42115306 HAS SOUS 9372899 HAS SOUPS 9372899 WITH SCORE 9415014.306
AT ITER 610 NEW BEST:: SOT 44002109 SOS 42114525 HAS SOPS 42114525 HAS SOUS 9359324 HAS SOUPS 9359324 WITH SCORE 9401438.525
AT ITER 615 NEW BEST:: SOT 43990108 SOS 42102524 HAS SOPS 42102524 HAS SOUS 9342681 HAS SOUPS 9342681 WITH SCORE 9384783.524
AT ITER 617 NEW BEST:: SOT 43990108 SOS 42102374 HAS SOPS 42102374 HAS SOUS 9308857 HAS SOUPS 9308857 WITH SCORE 9350959.374
AT ITER 625 NEW BEST:: SOT 43978370 SOS 42090636 HAS SOPS 42090636 HAS SOUS 9296845 HAS SOUPS 9296845 WITH SCORE 9338935.636
AT ITER 633 NEW BEST:: SOT 43978370 SOS 42090636 HAS SOPS 42090636 HAS SOUS 9294127 HAS SOUPS 9294127 WITH SCORE 9336217.636
AT ITER 635 NEW BEST:: SOT 43978370 SOS 42090636 HAS SOPS 42090636 HAS SOUS 9289465 HAS SOUPS 9289465 WITH SCORE 9331555.636
AT ITER 636 NEW BEST:: SOT 43978370 SOS 42112759 HAS SOPS 42112759 HAS SOUS 9289337 HAS SOUPS 9289337 WITH SCORE 9331449.759
AT ITER 637 NEW BEST:: SOT 44013919 SOS 42148308 HAS SOPS 42148308 HAS SOUS 9273466 HAS SOUPS 9273466 WITH SCORE 9315614.308
AT ITER 639 NEW BEST:: SOT 44010299 SOS 42144688 HAS SOPS 42144688 HAS SOUS 9242640 HAS SOUPS 9242640 WITH SCORE 9284784.688
AT ITER 659 NEW BEST:: SOT 44009897 SOS 42144286 HAS SOPS 42144286 HAS SOUS 9241228 HAS SOUPS 9241228 WITH SCORE 9283372.286
AT ITER 660 NEW BEST:: SOT 44009897 SOS 42106111 HAS SOPS 42106111 HAS SOUS 9240319 HAS SOUPS 9240319 WITH SCORE 9282425.111
AT ITER 669 NEW BEST:: SOT 44009897 SOS 42106111 HAS SOPS 42106111 HAS SOUS 9238716 HAS SOUPS 9238716 WITH SCORE 9280822.111
AT ITER 675 NEW BEST:: SOT 44003245 SOS 42099459 HAS SOPS 42099459 HAS SOUS 9224957 HAS SOUPS 9224957 WITH SCORE 9267056.459
AT ITER 680 NEW BEST:: SOT 43992503 SOS 42088717 HAS SOPS 42088717 HAS SOUS 9205834 HAS SOUPS 9205834 WITH SCORE 9247922.717
AT ITER 694 NEW BEST:: SOT 43992492 SOS 41964432 HAS SOPS 41964432 HAS SOUS 9205747 HAS SOUPS 9205747 WITH SCORE 9247711.432
AT ITER 705 NEW BEST:: SOT 43992492 SOS 41964432 HAS SOPS 41964432 HAS SOUS 9200917 HAS SOUPS 9200917 WITH SCORE 9242881.432
AT ITER 710 NEW BEST:: SOT 43990646 SOS 41962586 HAS SOPS 41962586 HAS SOUS 9188083 HAS SOUPS 9188083 WITH SCORE 9230045.586
AT ITER 713 NEW BEST:: SOT 43956720 SOS 41928660 HAS SOPS 41928660 HAS SOUS 9094312 HAS SOUPS 9094312 WITH SCORE 9136240.66
AT ITER 714 NEW BEST:: SOT 43941229 SOS 41913169 HAS SOPS 41913169 HAS SOUS 9078821 HAS SOUPS 9078821 WITH SCORE 9120734.169
AT ITER 716 NEW BEST:: SOT 43890933 SOS 41862936 HAS SOPS 41862936 HAS SOUS 9061526 HAS SOUPS 9061526 WITH SCORE 9103388.936
AT ITER 718 NEW BEST:: SOT 43890933 SOS 41863111 HAS SOPS 41863111 HAS SOUS 9042768 HAS SOUPS 9042768 WITH SCORE 9084631.111
AT ITER 749 NEW BEST:: SOT 43890933 SOS 41863111 HAS SOPS 41863111 HAS SOUS 9038801 HAS SOUPS 9038801 WITH SCORE 9080664.111
AT ITER 751 NEW BEST:: SOT 43890933 SOS 41863111 HAS SOPS 41863111 HAS SOUS 9034769 HAS SOUPS 9034769 WITH SCORE 9076632.111
AT ITER 760 NEW BEST:: SOT 43890933 SOS 41863111 HAS SOPS 41863111 HAS SOUS 9032649 HAS SOUPS 9032649 WITH SCORE 9074512.111
AT ITER 761 NEW BEST:: SOT 43890933 SOS 41863111 HAS SOPS 41863111 HAS SOUS 9032101 HAS SOUPS 9032101 WITH SCORE 9073964.111
AT ITER 765 NEW BEST:: SOT 43684214 SOS 41656392 HAS SOPS 41656392 HAS SOUS 8982356 HAS SOUPS 8982356 WITH SCORE 9024012.392
AT ITER 766 NEW BEST:: SOT 43684214 SOS 41656392 HAS SOPS 41656392 HAS SOUS 8981344 HAS SOUPS 8981344 WITH SCORE 9023000.392
AT ITER 770 NEW BEST:: SOT 43684214 SOS 41656392 HAS SOPS 41656392 HAS SOUS 8978356 HAS SOUPS 8978356 WITH SCORE 9020012.392
AT ITER 773 NEW BEST:: SOT 43677514 SOS 41649692 HAS SOPS 41649692 HAS SOUS 8925489 HAS SOUPS 8925489 WITH SCORE 8967138.692
AT ITER 774 NEW BEST:: SOT 43672141 SOS 41644319 HAS SOPS 41644319 HAS SOUS 8917130 HAS SOUPS 8917130 WITH SCORE 8958774.319
AT ITER 781 NEW BEST:: SOT 43672141 SOS 41644319 HAS SOPS 41644319 HAS SOUS 8915975 HAS SOUPS 8915975 WITH SCORE 8957619.319
AT ITER 793 NEW BEST:: SOT 43672141 SOS 41644319 HAS SOPS 41644319 HAS SOUS 8914247 HAS SOUPS 8914247 WITH SCORE 8955891.319
AT ITER 804 NEW BEST:: SOT 43672141 SOS 41644319 HAS SOPS 41644319 HAS SOUS 8913803 HAS SOUPS 8913803 WITH SCORE 8955447.319
AT ITER 805 NEW BEST:: SOT 43672141 SOS 41644319 HAS SOPS 41644319 HAS SOUS 8913383 HAS SOUPS 8913383 WITH SCORE 8955027.319
AT ITER 807 NEW BEST:: SOT 43663128 SOS 41635306 HAS SOPS 41635306 HAS SOUS 8898285 HAS SOUPS 8898285 WITH SCORE 8939920.306
AT ITER 810 NEW BEST:: SOT 43663103 SOS 41635281 HAS SOPS 41635281 HAS SOUS 8896262 HAS SOUPS 8896262 WITH SCORE 8937897.281
AT ITER 815 NEW BEST:: SOT 43656911 SOS 41629143 HAS SOPS 41629143 HAS SOUS 8894234 HAS SOUPS 8894234 WITH SCORE 8935863.143
AT ITER 835 NEW BEST:: SOT 43656142 SOS 41516088 HAS SOPS 41516088 HAS SOUS 8884098 HAS SOUPS 8884098 WITH SCORE 8925614.088
AT ITER 841 NEW BEST:: SOT 43656142 SOS 41516088 HAS SOPS 41516088 HAS SOUS 8869517 HAS SOUPS 8869517 WITH SCORE 8911033.088
AT ITER 858 NEW BEST:: SOT 43655550 SOS 41515496 HAS SOPS 41515496 HAS SOUS 8862168 HAS SOUPS 8862168 WITH SCORE 8903683.496
AT ITER 859 NEW BEST:: SOT 43655550 SOS 41515496 HAS SOPS 41515496 HAS SOUS 8862000 HAS SOUPS 8862000 WITH SCORE 8903515.496
AT ITER 862 NEW BEST:: SOT 43642964 SOS 41502910 HAS SOPS 41502910 HAS SOUS 8799304 HAS SOUPS 8799304 WITH SCORE 8840806.91
AT ITER 863 NEW BEST:: SOT 43642964 SOS 41502910 HAS SOPS 41502910 HAS SOUS 8791668 HAS SOUPS 8791668 WITH SCORE 8833170.91
AT ITER 868 NEW BEST:: SOT 43639987 SOS 41499933 HAS SOPS 41499933 HAS SOUS 8768861 HAS SOUPS 8768861 WITH SCORE 8810360.933
AT ITER 870 NEW BEST:: SOT 43639985 SOS 41499929 HAS SOPS 41499929 HAS SOUS 8768857 HAS SOUPS 8768857 WITH SCORE 8810356.929
AT ITER 873 NEW BEST:: SOT 43637836 SOS 41497780 HAS SOPS 41497780 HAS SOUS 8764879 HAS SOUPS 8764879 WITH SCORE 8806376.78
AT ITER 882 NEW BEST:: SOT 43674984 SOS 41662845 HAS SOPS 41662845 HAS SOUS 8686945 HAS SOUPS 8686945 WITH SCORE 8728607.845
AT ITER 883 NEW BEST:: SOT 43667806 SOS 41655667 HAS SOPS 41655667 HAS SOUS 8667186 HAS SOUPS 8667186 WITH SCORE 8708841.667
AT ITER 891 NEW BEST:: SOT 43619810 SOS 41607671 HAS SOPS 41607671 HAS SOUS 8664660 HAS SOUPS 8664660 WITH SCORE 8706267.671
AT ITER 893 NEW BEST:: SOT 43661996 SOS 41685940 HAS SOPS 41685940 HAS SOUS 8583471 HAS SOUPS 8583471 WITH SCORE 8625156.94
AT ITER 900 NEW BEST:: SOT 43661971 SOS 41685915 HAS SOPS 41685915 HAS SOUS 8578866 HAS SOUPS 8578866 WITH SCORE 8620551.915
AT ITER 903 NEW BEST:: SOT 43661971 SOS 41713127 HAS SOPS 41713127 HAS SOUS 8565111 HAS SOUPS 8565111 WITH SCORE 8606824.127
AT ITER 923 NEW BEST:: SOT 43657517 SOS 41708673 HAS SOPS 41708673 HAS SOUS 8560657 HAS SOUPS 8560657 WITH SCORE 8602365.673
AT ITER 924 NEW BEST:: SOT 43657517 SOS 41708673 HAS SOPS 41708673 HAS SOUS 8555025 HAS SOUPS 8555025 WITH SCORE 8596733.673
AT ITER 927 NEW BEST:: SOT 43657517 SOS 41708673 HAS SOPS 41708673 HAS SOUS 8554554 HAS SOUPS 8554554 WITH SCORE 8596262.673
AT ITER 929 NEW BEST:: SOT 43657517 SOS 41708673 HAS SOPS 41708673 HAS SOUS 8553033 HAS SOUPS 8553033 WITH SCORE 8594741.673
AT ITER 933 NEW BEST:: SOT 43621573 SOS 41672729 HAS SOPS 41672729 HAS SOUS 8422334 HAS SOUPS 8422334 WITH SCORE 8464006.729
AT ITER 936 NEW BEST:: SOT 43621573 SOS 41672729 HAS SOPS 41672729 HAS SOUS 8421898 HAS SOUPS 8421898 WITH SCORE 8463570.729
AT ITER 940 NEW BEST:: SOT 43621608 SOS 41672764 HAS SOPS 41672764 HAS SOUS 8416248 HAS SOUPS 8416248 WITH SCORE 8457920.764
AT ITER 948 NEW BEST:: SOT 43621608 SOS 41656122 HAS SOPS 41656122 HAS SOUS 8412281 HAS SOUPS 8412281 WITH SCORE 8453937.122
AT ITER 954 NEW BEST:: SOT 43605782 SOS 41640296 HAS SOPS 41640296 HAS SOUS 8363452 HAS SOUPS 8363452 WITH SCORE 8405092.296
AT ITER 956 NEW BEST:: SOT 43597086 SOS 41631600 HAS SOPS 41631600 HAS SOUS 8327847 HAS SOUPS 8327847 WITH SCORE 8369478.6
AT ITER 963 NEW BEST:: SOT 43597086 SOS 41611963 HAS SOPS 41611963 HAS SOUS 8326245 HAS SOUPS 8326245 WITH SCORE 8367856.963
AT ITER 965 NEW BEST:: SOT 43576998 SOS 41591875 HAS SOPS 41591875 HAS SOUS 8238669 HAS SOUPS 8238669 WITH SCORE 8280260.875
AT ITER 967 NEW BEST:: SOT 43576998 SOS 41591875 HAS SOPS 41591875 HAS SOUS 8237599 HAS SOUPS 8237599 WITH SCORE 8279190.875
AT ITER 970 NEW BEST:: SOT 43576998 SOS 41591875 HAS SOPS 41591875 HAS SOUS 8228866 HAS SOUPS 8228866 WITH SCORE 8270457.875
AT ITER 986 NEW BEST:: SOT 43576998 SOS 41588405 HAS SOPS 41588405 HAS SOUS 8228810 HAS SOUPS 8228810 WITH SCORE 8270398.405
AT ITER 989 NEW BEST:: SOT 43576998 SOS 41588405 HAS SOPS 41588405 HAS SOUS 8224241 HAS SOUPS 8224241 WITH SCORE 8265829.405
AT ITER 992 NEW BEST:: SOT 43576998 SOS 41588405 HAS SOPS 41588405 HAS SOUS 8224146 HAS SOUPS 8224146 WITH SCORE 8265734.405
AT ITER 993 NEW BEST:: SOT 43574278 SOS 41585685 HAS SOPS 41585685 HAS SOUS 8203110 HAS SOUPS 8203110 WITH SCORE 8244695.685
AT ITER 995 NEW BEST:: SOT 43425913 SOS 41437434 HAS SOPS 41437434 HAS SOUS 8143407 HAS SOUPS 8143407 WITH SCORE 8184844.434
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 14770424 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16030632 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="GlobalResAllocation-COL-11"
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 GlobalResAllocation-COL-11, 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 r195-smll-167840342100216"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/GlobalResAllocation-COL-11.tgz
mv GlobalResAllocation-COL-11 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 ;