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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 508K
-rw-r--r-- 1 mcc users 8.1K Feb 25 16:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 75K Feb 25 16:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 25 16:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 25 16:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.4K 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 17K Feb 25 16:13 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 25 16:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 142K Feb 25 16:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.4K Feb 25 16:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 66K Feb 25 16:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K 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 1678483727213

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-10
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-10 21:28:52] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-10 21:28:52] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-10 21:28:52] [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 21:28:53] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-10 21:28:53] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1249 ms
[2023-03-10 21:28:53] [INFO ] Imported 5 HL places and 7 HL transitions for a total of 250 PT places and 1688410.0 transition bindings in 29 ms.
[2023-03-10 21:29:17] [INFO ] Unfolded HLPN to a Petri net with 250 places and 1688410 transitions 15821020 arcs in 24128 ms.
[2023-03-10 21:29:17] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Ensure Unique test removed 1579850 transitions
Reduce isomorphic transitions removed 1579850 transitions.
Reduce isomorphic (modulo) transitions removed 400 transitions.
[2023-03-10 21:31:55] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 250 places, 108360 transitions and 950820 arcs took 924 ms.
Total runtime 183179 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running GlobalResAllocation (COL), instance 10
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: 250 places, 108360 transitions, 950820 arcs.
AT ITER 0 NEW BEST:: SOT 24406952 SOS 21729888 HAS SOPS 21729888 HAS SOUS 10212341 HAS SOUPS 10212341 WITH SCORE 1.0234070888E7
AT ITER 2 NEW BEST:: SOT 24406952 SOS 21729888 HAS SOPS 21729888 HAS SOUS 10207713 HAS SOUPS 10207713 WITH SCORE 1.0229442888E7
AT ITER 4 NEW BEST:: SOT 24406952 SOS 21729888 HAS SOPS 21729888 HAS SOUS 10204229 HAS SOUPS 10204229 WITH SCORE 1.0225958888E7
AT ITER 5 NEW BEST:: SOT 24331191 SOS 21675703 HAS SOPS 21675703 HAS SOUS 10135752 HAS SOUPS 10135752 WITH SCORE 1.0157427703E7
AT ITER 6 NEW BEST:: SOT 24331191 SOS 21675703 HAS SOPS 21675703 HAS SOUS 10114682 HAS SOUPS 10114682 WITH SCORE 1.0136357703E7
AT ITER 8 NEW BEST:: SOT 24331191 SOS 21675703 HAS SOPS 21675703 HAS SOUS 10109640 HAS SOUPS 10109640 WITH SCORE 1.0131315703E7
AT ITER 9 NEW BEST:: SOT 24324525 SOS 21837200 HAS SOPS 21837200 HAS SOUS 10099375 HAS SOUPS 10099375 WITH SCORE 1.01212122E7
AT ITER 10 NEW BEST:: SOT 24357403 SOS 22064546 HAS SOPS 22064546 HAS SOUS 9959268 HAS SOUPS 9959268 WITH SCORE 9981332.546
AT ITER 11 NEW BEST:: SOT 24357403 SOS 22064546 HAS SOPS 22064546 HAS SOUS 9897461 HAS SOUPS 9897461 WITH SCORE 9919525.546
AT ITER 13 NEW BEST:: SOT 24357403 SOS 22064546 HAS SOPS 22064546 HAS SOUS 9896049 HAS SOUPS 9896049 WITH SCORE 9918113.546
AT ITER 15 NEW BEST:: SOT 24357403 SOS 22064546 HAS SOPS 22064546 HAS SOUS 9708286 HAS SOUPS 9708286 WITH SCORE 9730350.546
AT ITER 16 NEW BEST:: SOT 24357468 SOS 22064611 HAS SOPS 22064611 HAS SOUS 9612325 HAS SOUPS 9612325 WITH SCORE 9634389.611
AT ITER 17 NEW BEST:: SOT 24365953 SOS 22202688 HAS SOPS 22202688 HAS SOUS 9479127 HAS SOUPS 9479127 WITH SCORE 9501329.688
AT ITER 18 NEW BEST:: SOT 24367733 SOS 23045622 HAS SOPS 23045622 HAS SOUS 9286673 HAS SOUPS 9286673 WITH SCORE 9309718.622
AT ITER 19 NEW BEST:: SOT 24367727 SOS 23045610 HAS SOPS 23045610 HAS SOUS 9286661 HAS SOUPS 9286661 WITH SCORE 9309706.61
AT ITER 20 NEW BEST:: SOT 24408008 SOS 23110965 HAS SOPS 23110965 HAS SOUS 9286329 HAS SOUPS 9286329 WITH SCORE 9309439.965
AT ITER 23 NEW BEST:: SOT 24408008 SOS 23110965 HAS SOPS 23110965 HAS SOUS 9234712 HAS SOUPS 9234712 WITH SCORE 9257822.965
AT ITER 26 NEW BEST:: SOT 24408008 SOS 23110965 HAS SOPS 23110965 HAS SOUS 9136903 HAS SOUPS 9136903 WITH SCORE 9160013.965
AT ITER 28 NEW BEST:: SOT 24437232 SOS 23140189 HAS SOPS 23140189 HAS SOUS 9032127 HAS SOUPS 9032127 WITH SCORE 9055267.189
AT ITER 29 NEW BEST:: SOT 24437232 SOS 23140189 HAS SOPS 23140189 HAS SOUS 9030458 HAS SOUPS 9030458 WITH SCORE 9053598.189
AT ITER 30 NEW BEST:: SOT 24437232 SOS 23140189 HAS SOPS 23140189 HAS SOUS 8911464 HAS SOUPS 8911464 WITH SCORE 8934604.189
AT ITER 31 NEW BEST:: SOT 24437232 SOS 23140189 HAS SOPS 23140189 HAS SOUS 8887198 HAS SOUPS 8887198 WITH SCORE 8910338.189
AT ITER 38 NEW BEST:: SOT 24454771 SOS 23157728 HAS SOPS 23157728 HAS SOUS 8765642 HAS SOUPS 8765642 WITH SCORE 8788799.728
AT ITER 39 NEW BEST:: SOT 24460896 SOS 23372869 HAS SOPS 23372869 HAS SOUS 8552931 HAS SOUPS 8552931 WITH SCORE 8576303.869
AT ITER 43 NEW BEST:: SOT 24433685 SOS 23376531 HAS SOPS 23376531 HAS SOUS 8545894 HAS SOUPS 8545894 WITH SCORE 8569270.531
AT ITER 44 NEW BEST:: SOT 24433518 SOS 23376364 HAS SOPS 23376364 HAS SOUS 8534850 HAS SOUPS 8534850 WITH SCORE 8558226.364
AT ITER 46 NEW BEST:: SOT 24460206 SOS 23403160 HAS SOPS 23403160 HAS SOUS 8370348 HAS SOUPS 8370348 WITH SCORE 8393751.16
AT ITER 47 NEW BEST:: SOT 24460206 SOS 23403160 HAS SOPS 23403160 HAS SOUS 8365574 HAS SOUPS 8365574 WITH SCORE 8388977.16
AT ITER 50 NEW BEST:: SOT 24457562 SOS 23400516 HAS SOPS 23400516 HAS SOUS 8331939 HAS SOUPS 8331939 WITH SCORE 8355339.516
AT ITER 51 NEW BEST:: SOT 24457562 SOS 23400516 HAS SOPS 23400516 HAS SOUS 8315663 HAS SOUPS 8315663 WITH SCORE 8339063.516
AT ITER 53 NEW BEST:: SOT 24457562 SOS 23400516 HAS SOPS 23400516 HAS SOUS 8304110 HAS SOUPS 8304110 WITH SCORE 8327510.516
AT ITER 55 NEW BEST:: SOT 24457562 SOS 23400516 HAS SOPS 23400516 HAS SOUS 8152570 HAS SOUPS 8152570 WITH SCORE 8175970.516
AT ITER 59 NEW BEST:: SOT 24457562 SOS 23400516 HAS SOPS 23400516 HAS SOUS 8099615 HAS SOUPS 8099615 WITH SCORE 8123015.516
AT ITER 63 NEW BEST:: SOT 24457562 SOS 23400516 HAS SOPS 23400516 HAS SOUS 8060570 HAS SOUPS 8060570 WITH SCORE 8083970.516
AT ITER 64 NEW BEST:: SOT 24457562 SOS 23400516 HAS SOPS 23400516 HAS SOUS 7971588 HAS SOUPS 7971588 WITH SCORE 7994988.516
AT ITER 65 NEW BEST:: SOT 24457562 SOS 23400516 HAS SOPS 23400516 HAS SOUS 7931958 HAS SOUPS 7931958 WITH SCORE 7955358.516
AT ITER 68 NEW BEST:: SOT 24483047 SOS 23426001 HAS SOPS 23426001 HAS SOUS 7905236 HAS SOUPS 7905236 WITH SCORE 7928662.001
AT ITER 69 NEW BEST:: SOT 24487628 SOS 23430582 HAS SOPS 23430582 HAS SOUS 7775942 HAS SOUPS 7775942 WITH SCORE 7799372.582
AT ITER 71 NEW BEST:: SOT 24514215 SOS 23457169 HAS SOPS 23457169 HAS SOUS 7773941 HAS SOUPS 7773941 WITH SCORE 7797398.169
AT ITER 80 NEW BEST:: SOT 24514215 SOS 23457169 HAS SOPS 23457169 HAS SOUS 7728969 HAS SOUPS 7728969 WITH SCORE 7752426.169
AT ITER 81 NEW BEST:: SOT 24514209 SOS 23457157 HAS SOPS 23457157 HAS SOUS 7728957 HAS SOUPS 7728957 WITH SCORE 7752414.157
AT ITER 82 NEW BEST:: SOT 24514209 SOS 23457157 HAS SOPS 23457157 HAS SOUS 7708675 HAS SOUPS 7708675 WITH SCORE 7732132.157
AT ITER 83 NEW BEST:: SOT 24514209 SOS 23457157 HAS SOPS 23457157 HAS SOUS 7596992 HAS SOUPS 7596992 WITH SCORE 7620449.157
AT ITER 86 NEW BEST:: SOT 24462420 SOS 23405368 HAS SOPS 23405368 HAS SOUS 7555220 HAS SOUPS 7555220 WITH SCORE 7578625.368
AT ITER 90 NEW BEST:: SOT 24494194 SOS 23450012 HAS SOPS 23450012 HAS SOUS 7450138 HAS SOUPS 7450138 WITH SCORE 7473588.012
AT ITER 93 NEW BEST:: SOT 24405399 SOS 23361217 HAS SOPS 23361217 HAS SOUS 7421209 HAS SOUPS 7421209 WITH SCORE 7444570.217
AT ITER 97 NEW BEST:: SOT 24320018 SOS 23275836 HAS SOPS 23275836 HAS SOUS 7347143 HAS SOUPS 7347143 WITH SCORE 7370418.836
AT ITER 99 NEW BEST:: SOT 24320018 SOS 23275836 HAS SOPS 23275836 HAS SOUS 7332933 HAS SOUPS 7332933 WITH SCORE 7356208.836
AT ITER 100 NEW BEST:: SOT 24320018 SOS 23275836 HAS SOPS 23275836 HAS SOUS 7288548 HAS SOUPS 7288548 WITH SCORE 7311823.836
AT ITER 103 NEW BEST:: SOT 24320018 SOS 23275836 HAS SOPS 23275836 HAS SOUS 7272229 HAS SOUPS 7272229 WITH SCORE 7295504.836
AT ITER 104 NEW BEST:: SOT 24320018 SOS 23275836 HAS SOPS 23275836 HAS SOUS 7248434 HAS SOUPS 7248434 WITH SCORE 7271709.836
AT ITER 105 NEW BEST:: SOT 24320018 SOS 23275836 HAS SOPS 23275836 HAS SOUS 7247873 HAS SOUPS 7247873 WITH SCORE 7271148.836
AT ITER 106 NEW BEST:: SOT 24339496 SOS 23295314 HAS SOPS 23295314 HAS SOUS 7187719 HAS SOUPS 7187719 WITH SCORE 7211014.314
AT ITER 107 NEW BEST:: SOT 24342536 SOS 23269365 HAS SOPS 23269365 HAS SOUS 7050104 HAS SOUPS 7050104 WITH SCORE 7073373.365
AT ITER 108 NEW BEST:: SOT 24342536 SOS 23269365 HAS SOPS 23269365 HAS SOUS 7041447 HAS SOUPS 7041447 WITH SCORE 7064716.365
AT ITER 112 NEW BEST:: SOT 24357828 SOS 23326183 HAS SOPS 23326183 HAS SOUS 6966627 HAS SOUPS 6966627 WITH SCORE 6989953.183
AT ITER 114 NEW BEST:: SOT 24357828 SOS 23326183 HAS SOPS 23326183 HAS SOUS 6951864 HAS SOUPS 6951864 WITH SCORE 6975190.183
AT ITER 115 NEW BEST:: SOT 24357828 SOS 23326183 HAS SOPS 23326183 HAS SOUS 6948149 HAS SOUPS 6948149 WITH SCORE 6971475.183
AT ITER 117 NEW BEST:: SOT 24357240 SOS 23325595 HAS SOPS 23325595 HAS SOUS 6947561 HAS SOUPS 6947561 WITH SCORE 6970886.595
AT ITER 118 NEW BEST:: SOT 24357240 SOS 23325595 HAS SOPS 23325595 HAS SOUS 6940885 HAS SOUPS 6940885 WITH SCORE 6964210.595
AT ITER 124 NEW BEST:: SOT 24357395 SOS 23325750 HAS SOPS 23325750 HAS SOUS 6924845 HAS SOUPS 6924845 WITH SCORE 6948170.75
AT ITER 133 NEW BEST:: SOT 24357395 SOS 23325750 HAS SOPS 23325750 HAS SOUS 6913005 HAS SOUPS 6913005 WITH SCORE 6936330.75
AT ITER 134 NEW BEST:: SOT 24357395 SOS 23325750 HAS SOPS 23325750 HAS SOUS 6909026 HAS SOUPS 6909026 WITH SCORE 6932351.75
AT ITER 136 NEW BEST:: SOT 24357395 SOS 23325750 HAS SOPS 23325750 HAS SOUS 6878343 HAS SOUPS 6878343 WITH SCORE 6901668.75
AT ITER 138 NEW BEST:: SOT 24357395 SOS 23325750 HAS SOPS 23325750 HAS SOUS 6816022 HAS SOUPS 6816022 WITH SCORE 6839347.75
AT ITER 141 NEW BEST:: SOT 24357380 SOS 23325735 HAS SOPS 23325735 HAS SOUS 6813497 HAS SOUPS 6813497 WITH SCORE 6836822.735
AT ITER 142 NEW BEST:: SOT 24357380 SOS 23325735 HAS SOPS 23325735 HAS SOUS 6743224 HAS SOUPS 6743224 WITH SCORE 6766549.735
AT ITER 144 NEW BEST:: SOT 24357380 SOS 23325735 HAS SOPS 23325735 HAS SOUS 6726982 HAS SOUPS 6726982 WITH SCORE 6750307.735
AT ITER 145 NEW BEST:: SOT 24354995 SOS 23323350 HAS SOPS 23323350 HAS SOUS 6554968 HAS SOUPS 6554968 WITH SCORE 6578291.35
AT ITER 149 NEW BEST:: SOT 24354995 SOS 23323350 HAS SOPS 23323350 HAS SOUS 6545691 HAS SOUPS 6545691 WITH SCORE 6569014.35
AT ITER 150 NEW BEST:: SOT 24354995 SOS 23323350 HAS SOPS 23323350 HAS SOUS 6536083 HAS SOUPS 6536083 WITH SCORE 6559406.35
AT ITER 153 NEW BEST:: SOT 24354995 SOS 23323350 HAS SOPS 23323350 HAS SOUS 6533071 HAS SOUPS 6533071 WITH SCORE 6556394.35
AT ITER 154 NEW BEST:: SOT 24354995 SOS 23323350 HAS SOPS 23323350 HAS SOUS 6516660 HAS SOUPS 6516660 WITH SCORE 6539983.35
AT ITER 155 NEW BEST:: SOT 24354995 SOS 23323350 HAS SOPS 23323350 HAS SOUS 6455237 HAS SOUPS 6455237 WITH SCORE 6478560.35
AT ITER 156 NEW BEST:: SOT 24354549 SOS 23322904 HAS SOPS 23322904 HAS SOUS 6371678 HAS SOUPS 6371678 WITH SCORE 6395000.904
AT ITER 160 NEW BEST:: SOT 24353781 SOS 23322136 HAS SOPS 23322136 HAS SOUS 6261627 HAS SOUPS 6261627 WITH SCORE 6284949.136
AT ITER 161 NEW BEST:: SOT 24353781 SOS 23322386 HAS SOPS 23322386 HAS SOUS 6259860 HAS SOUPS 6259860 WITH SCORE 6283182.386
AT ITER 162 NEW BEST:: SOT 24353733 SOS 23322338 HAS SOPS 23322338 HAS SOUS 6224113 HAS SOUPS 6224113 WITH SCORE 6247435.338
AT ITER 167 NEW BEST:: SOT 24353733 SOS 23322338 HAS SOPS 23322338 HAS SOUS 6211081 HAS SOUPS 6211081 WITH SCORE 6234403.338
AT ITER 168 NEW BEST:: SOT 24353733 SOS 23322338 HAS SOPS 23322338 HAS SOUS 6201463 HAS SOUPS 6201463 WITH SCORE 6224785.338
AT ITER 172 NEW BEST:: SOT 24359202 SOS 23327807 HAS SOPS 23327807 HAS SOUS 6147187 HAS SOUPS 6147187 WITH SCORE 6170514.807
AT ITER 174 NEW BEST:: SOT 24359202 SOS 23327807 HAS SOPS 23327807 HAS SOUS 6141171 HAS SOUPS 6141171 WITH SCORE 6164498.807
AT ITER 175 NEW BEST:: SOT 24359202 SOS 23327807 HAS SOPS 23327807 HAS SOUS 6139482 HAS SOUPS 6139482 WITH SCORE 6162809.807
AT ITER 178 NEW BEST:: SOT 24359202 SOS 23327807 HAS SOPS 23327807 HAS SOUS 6115594 HAS SOUPS 6115594 WITH SCORE 6138921.807
AT ITER 179 NEW BEST:: SOT 24359547 SOS 23328152 HAS SOPS 23328152 HAS SOUS 6069119 HAS SOUPS 6069119 WITH SCORE 6092447.152
AT ITER 180 NEW BEST:: SOT 24359547 SOS 23353328 HAS SOPS 23353328 HAS SOUS 6067565 HAS SOUPS 6067565 WITH SCORE 6090918.328
AT ITER 184 NEW BEST:: SOT 24359547 SOS 23353328 HAS SOPS 23353328 HAS SOUS 6059760 HAS SOUPS 6059760 WITH SCORE 6083113.328
AT ITER 186 NEW BEST:: SOT 24359547 SOS 23353328 HAS SOPS 23353328 HAS SOUS 6040563 HAS SOUPS 6040563 WITH SCORE 6063916.328
AT ITER 189 NEW BEST:: SOT 24359547 SOS 23353328 HAS SOPS 23353328 HAS SOUS 6028808 HAS SOUPS 6028808 WITH SCORE 6052161.328
AT ITER 191 NEW BEST:: SOT 24359547 SOS 23353328 HAS SOPS 23353328 HAS SOUS 6018419 HAS SOUPS 6018419 WITH SCORE 6041772.328
AT ITER 196 NEW BEST:: SOT 24359547 SOS 23353328 HAS SOPS 23353328 HAS SOUS 5996259 HAS SOUPS 5996259 WITH SCORE 6019612.328
AT ITER 199 NEW BEST:: SOT 24359547 SOS 23353328 HAS SOPS 23353328 HAS SOUS 5996237 HAS SOUPS 5996237 WITH SCORE 6019590.328
AT ITER 202 NEW BEST:: SOT 24359547 SOS 23353328 HAS SOPS 23353328 HAS SOUS 5980633 HAS SOUPS 5980633 WITH SCORE 6003986.328
AT ITER 204 NEW BEST:: SOT 24359547 SOS 23353328 HAS SOPS 23353328 HAS SOUS 5978291 HAS SOUPS 5978291 WITH SCORE 6001644.328
AT ITER 208 NEW BEST:: SOT 24359103 SOS 23352884 HAS SOPS 23352884 HAS SOUS 5938625 HAS SOUPS 5938625 WITH SCORE 5961977.884
AT ITER 212 NEW BEST:: SOT 24367132 SOS 23360913 HAS SOPS 23360913 HAS SOUS 5900685 HAS SOUPS 5900685 WITH SCORE 5924045.913
AT ITER 213 NEW BEST:: SOT 24367132 SOS 23360913 HAS SOPS 23360913 HAS SOUS 5874326 HAS SOUPS 5874326 WITH SCORE 5897686.913
AT ITER 216 NEW BEST:: SOT 24359243 SOS 23353057 HAS SOPS 23353057 HAS SOUS 5873783 HAS SOUPS 5873783 WITH SCORE 5897136.057
AT ITER 217 NEW BEST:: SOT 24359243 SOS 23353057 HAS SOPS 23353057 HAS SOUS 5871455 HAS SOUPS 5871455 WITH SCORE 5894808.057
AT ITER 223 NEW BEST:: SOT 24359243 SOS 23353057 HAS SOPS 23353057 HAS SOUS 5860888 HAS SOUPS 5860888 WITH SCORE 5884241.057
AT ITER 224 NEW BEST:: SOT 24359243 SOS 23353057 HAS SOPS 23353057 HAS SOUS 5855952 HAS SOUPS 5855952 WITH SCORE 5879305.057
AT ITER 228 NEW BEST:: SOT 24359229 SOS 23654761 HAS SOPS 23654761 HAS SOUS 5848802 HAS SOUPS 5848802 WITH SCORE 5872456.761
AT ITER 230 NEW BEST:: SOT 24359229 SOS 23654761 HAS SOPS 23654761 HAS SOUS 5831902 HAS SOUPS 5831902 WITH SCORE 5855556.761
AT ITER 234 NEW BEST:: SOT 24359229 SOS 23654761 HAS SOPS 23654761 HAS SOUS 5829882 HAS SOUPS 5829882 WITH SCORE 5853536.761
AT ITER 239 NEW BEST:: SOT 24353491 SOS 23649023 HAS SOPS 23649023 HAS SOUS 5828696 HAS SOUPS 5828696 WITH SCORE 5852345.023
AT ITER 241 NEW BEST:: SOT 24353491 SOS 23649023 HAS SOPS 23649023 HAS SOUS 5822844 HAS SOUPS 5822844 WITH SCORE 5846493.023
AT ITER 242 NEW BEST:: SOT 24353491 SOS 23649023 HAS SOPS 23649023 HAS SOUS 5821404 HAS SOUPS 5821404 WITH SCORE 5845053.023
AT ITER 243 NEW BEST:: SOT 24353491 SOS 23649023 HAS SOPS 23649023 HAS SOUS 5790308 HAS SOUPS 5790308 WITH SCORE 5813957.023
AT ITER 254 NEW BEST:: SOT 24353491 SOS 23649023 HAS SOPS 23649023 HAS SOUS 5787671 HAS SOUPS 5787671 WITH SCORE 5811320.023
AT ITER 261 NEW BEST:: SOT 24353491 SOS 23649023 HAS SOPS 23649023 HAS SOUS 5782792 HAS SOUPS 5782792 WITH SCORE 5806441.023
AT ITER 270 NEW BEST:: SOT 24353491 SOS 23649023 HAS SOPS 23649023 HAS SOUS 5782552 HAS SOUPS 5782552 WITH SCORE 5806201.023
AT ITER 271 NEW BEST:: SOT 24363730 SOS 23659262 HAS SOPS 23659262 HAS SOUS 5748986 HAS SOUPS 5748986 WITH SCORE 5772645.262
AT ITER 272 NEW BEST:: SOT 24363358 SOS 23658890 HAS SOPS 23658890 HAS SOUS 5722309 HAS SOUPS 5722309 WITH SCORE 5745967.89
AT ITER 279 NEW BEST:: SOT 24356012 SOS 23651544 HAS SOPS 23651544 HAS SOUS 5698942 HAS SOUPS 5698942 WITH SCORE 5722593.544
AT ITER 285 NEW BEST:: SOT 24356012 SOS 23651544 HAS SOPS 23651544 HAS SOUS 5694907 HAS SOUPS 5694907 WITH SCORE 5718558.544
AT ITER 287 NEW BEST:: SOT 24357336 SOS 23652868 HAS SOPS 23652868 HAS SOUS 5694569 HAS SOUPS 5694569 WITH SCORE 5718221.868
AT ITER 292 NEW BEST:: SOT 24370719 SOS 23666251 HAS SOPS 23666251 HAS SOUS 5670745 HAS SOUPS 5670745 WITH SCORE 5694411.251
AT ITER 297 NEW BEST:: SOT 24385817 SOS 23681349 HAS SOPS 23681349 HAS SOUS 5657431 HAS SOUPS 5657431 WITH SCORE 5681112.349
AT ITER 298 NEW BEST:: SOT 24382925 SOS 23678457 HAS SOPS 23678457 HAS SOUS 5652798 HAS SOUPS 5652798 WITH SCORE 5676476.457
AT ITER 299 NEW BEST:: SOT 24382910 SOS 23678442 HAS SOPS 23678442 HAS SOUS 5639786 HAS SOUPS 5639786 WITH SCORE 5663464.442
AT ITER 301 NEW BEST:: SOT 24382910 SOS 23678442 HAS SOPS 23678442 HAS SOUS 5638762 HAS SOUPS 5638762 WITH SCORE 5662440.442
AT ITER 309 NEW BEST:: SOT 24382910 SOS 23678442 HAS SOPS 23678442 HAS SOUS 5632887 HAS SOUPS 5632887 WITH SCORE 5656565.442
AT ITER 314 NEW BEST:: SOT 24382910 SOS 23678442 HAS SOPS 23678442 HAS SOUS 5624487 HAS SOUPS 5624487 WITH SCORE 5648165.442
AT ITER 318 NEW BEST:: SOT 24382910 SOS 23678442 HAS SOPS 23678442 HAS SOUS 5621991 HAS SOUPS 5621991 WITH SCORE 5645669.442
AT ITER 320 NEW BEST:: SOT 24382910 SOS 23400895 HAS SOPS 23400895 HAS SOUS 5621609 HAS SOUPS 5621609 WITH SCORE 5645009.895
AT ITER 326 NEW BEST:: SOT 24382561 SOS 23400546 HAS SOPS 23400546 HAS SOUS 5613172 HAS SOUPS 5613172 WITH SCORE 5636572.546
AT ITER 329 NEW BEST:: SOT 24382561 SOS 23400546 HAS SOPS 23400546 HAS SOUS 5601731 HAS SOUPS 5601731 WITH SCORE 5625131.546
AT ITER 341 NEW BEST:: SOT 24382561 SOS 23400546 HAS SOPS 23400546 HAS SOUS 5593516 HAS SOUPS 5593516 WITH SCORE 5616916.546
AT ITER 348 NEW BEST:: SOT 24382561 SOS 23391774 HAS SOPS 23391774 HAS SOUS 5580612 HAS SOUPS 5580612 WITH SCORE 5604003.774
AT ITER 353 NEW BEST:: SOT 24382561 SOS 23391774 HAS SOPS 23391774 HAS SOUS 5579918 HAS SOUPS 5579918 WITH SCORE 5603309.774
AT ITER 354 NEW BEST:: SOT 24382044 SOS 23391257 HAS SOPS 23391257 HAS SOUS 5558862 HAS SOUPS 5558862 WITH SCORE 5582253.257
AT ITER 356 NEW BEST:: SOT 24381459 SOS 23390672 HAS SOPS 23390672 HAS SOUS 5528529 HAS SOUPS 5528529 WITH SCORE 5551919.672
AT ITER 359 NEW BEST:: SOT 24381459 SOS 23390672 HAS SOPS 23390672 HAS SOUS 5524488 HAS SOUPS 5524488 WITH SCORE 5547878.672
AT ITER 364 NEW BEST:: SOT 24381459 SOS 23390672 HAS SOPS 23390672 HAS SOUS 5524422 HAS SOUPS 5524422 WITH SCORE 5547812.672
AT ITER 366 NEW BEST:: SOT 24381459 SOS 23390672 HAS SOPS 23390672 HAS SOUS 5521419 HAS SOUPS 5521419 WITH SCORE 5544809.672
AT ITER 368 NEW BEST:: SOT 24381459 SOS 23390672 HAS SOPS 23390672 HAS SOUS 5518978 HAS SOUPS 5518978 WITH SCORE 5542368.672
AT ITER 372 NEW BEST:: SOT 24378838 SOS 23388051 HAS SOPS 23388051 HAS SOUS 5503572 HAS SOUPS 5503572 WITH SCORE 5526960.051
AT ITER 377 NEW BEST:: SOT 24378633 SOS 23387846 HAS SOPS 23387846 HAS SOUS 5497607 HAS SOUPS 5497607 WITH SCORE 5520994.846
AT ITER 379 NEW BEST:: SOT 24378134 SOS 23387347 HAS SOPS 23387347 HAS SOUS 5475251 HAS SOUPS 5475251 WITH SCORE 5498638.347
AT ITER 381 NEW BEST:: SOT 24378134 SOS 23387347 HAS SOPS 23387347 HAS SOUS 5474434 HAS SOUPS 5474434 WITH SCORE 5497821.347
AT ITER 390 NEW BEST:: SOT 24378170 SOS 23387383 HAS SOPS 23387383 HAS SOUS 5470532 HAS SOUPS 5470532 WITH SCORE 5493919.383
AT ITER 402 NEW BEST:: SOT 24378170 SOS 23387383 HAS SOPS 23387383 HAS SOUS 5462216 HAS SOUPS 5462216 WITH SCORE 5485603.383
AT ITER 404 NEW BEST:: SOT 24377905 SOS 23387118 HAS SOPS 23387118 HAS SOUS 5447613 HAS SOUPS 5447613 WITH SCORE 5471000.118
AT ITER 406 NEW BEST:: SOT 24377905 SOS 23387118 HAS SOPS 23387118 HAS SOUS 5445981 HAS SOUPS 5445981 WITH SCORE 5469368.118
AT ITER 409 NEW BEST:: SOT 24377905 SOS 23387118 HAS SOPS 23387118 HAS SOUS 5445844 HAS SOUPS 5445844 WITH SCORE 5469231.118
AT ITER 418 NEW BEST:: SOT 24356885 SOS 23366098 HAS SOPS 23366098 HAS SOUS 5425330 HAS SOUPS 5425330 WITH SCORE 5448696.098
AT ITER 423 NEW BEST:: SOT 24356885 SOS 23366098 HAS SOPS 23366098 HAS SOUS 5424430 HAS SOUPS 5424430 WITH SCORE 5447796.098
AT ITER 426 NEW BEST:: SOT 24357541 SOS 23366754 HAS SOPS 23366754 HAS SOUS 5420173 HAS SOUPS 5420173 WITH SCORE 5443539.754
AT ITER 428 NEW BEST:: SOT 24357538 SOS 23271323 HAS SOPS 23271323 HAS SOUS 5420094 HAS SOUPS 5420094 WITH SCORE 5443365.323
AT ITER 429 NEW BEST:: SOT 24357538 SOS 23271323 HAS SOPS 23271323 HAS SOUS 5417980 HAS SOUPS 5417980 WITH SCORE 5441251.323
AT ITER 434 NEW BEST:: SOT 24357538 SOS 23271323 HAS SOPS 23271323 HAS SOUS 5413696 HAS SOUPS 5413696 WITH SCORE 5436967.323
AT ITER 437 NEW BEST:: SOT 24357538 SOS 23271323 HAS SOPS 23271323 HAS SOUS 5411777 HAS SOUPS 5411777 WITH SCORE 5435048.323
AT ITER 438 NEW BEST:: SOT 24357538 SOS 23271323 HAS SOPS 23271323 HAS SOUS 5411501 HAS SOUPS 5411501 WITH SCORE 5434772.323
AT ITER 440 NEW BEST:: SOT 24357538 SOS 23271323 HAS SOPS 23271323 HAS SOUS 5411399 HAS SOUPS 5411399 WITH SCORE 5434670.323
AT ITER 441 NEW BEST:: SOT 24357530 SOS 23166827 HAS SOPS 23166827 HAS SOUS 5411371 HAS SOUPS 5411371 WITH SCORE 5434537.827
AT ITER 442 NEW BEST:: SOT 24357530 SOS 23166827 HAS SOPS 23166827 HAS SOUS 5409722 HAS SOUPS 5409722 WITH SCORE 5432888.827
AT ITER 444 NEW BEST:: SOT 24357530 SOS 23166827 HAS SOPS 23166827 HAS SOUS 5408784 HAS SOUPS 5408784 WITH SCORE 5431950.827
AT ITER 450 NEW BEST:: SOT 24357494 SOS 23166791 HAS SOPS 23166791 HAS SOUS 5403628 HAS SOUPS 5403628 WITH SCORE 5426794.791
AT ITER 454 NEW BEST:: SOT 24357494 SOS 23166791 HAS SOPS 23166791 HAS SOUS 5387454 HAS SOUPS 5387454 WITH SCORE 5410620.791
AT ITER 456 NEW BEST:: SOT 24357494 SOS 23166791 HAS SOPS 23166791 HAS SOUS 5387362 HAS SOUPS 5387362 WITH SCORE 5410528.791
AT ITER 463 NEW BEST:: SOT 24357494 SOS 23166791 HAS SOPS 23166791 HAS SOUS 5382228 HAS SOUPS 5382228 WITH SCORE 5405394.791
AT ITER 473 NEW BEST:: SOT 24357494 SOS 23166791 HAS SOPS 23166791 HAS SOUS 5381523 HAS SOUPS 5381523 WITH SCORE 5404689.791
AT ITER 474 NEW BEST:: SOT 24357494 SOS 23166791 HAS SOPS 23166791 HAS SOUS 5381184 HAS SOUPS 5381184 WITH SCORE 5404350.791
AT ITER 480 NEW BEST:: SOT 24357494 SOS 23166791 HAS SOPS 23166791 HAS SOUS 5379662 HAS SOUPS 5379662 WITH SCORE 5402828.791
AT ITER 484 NEW BEST:: SOT 24357494 SOS 23166791 HAS SOPS 23166791 HAS SOUS 5377758 HAS SOUPS 5377758 WITH SCORE 5400924.791
AT ITER 485 NEW BEST:: SOT 24357494 SOS 23166791 HAS SOPS 23166791 HAS SOUS 5375762 HAS SOUPS 5375762 WITH SCORE 5398928.791
AT ITER 488 NEW BEST:: SOT 24357494 SOS 23090953 HAS SOPS 23090953 HAS SOUS 5375727 HAS SOUPS 5375727 WITH SCORE 5398817.953
AT ITER 498 NEW BEST:: SOT 24357493 SOS 23090951 HAS SOPS 23090951 HAS SOUS 5375725 HAS SOUPS 5375725 WITH SCORE 5398815.951
AT ITER 506 NEW BEST:: SOT 24357493 SOS 23090951 HAS SOPS 23090951 HAS SOUS 5373453 HAS SOUPS 5373453 WITH SCORE 5396543.951
AT ITER 507 NEW BEST:: SOT 24357493 SOS 23090951 HAS SOPS 23090951 HAS SOUS 5370792 HAS SOUPS 5370792 WITH SCORE 5393882.951
AT ITER 513 NEW BEST:: SOT 24357493 SOS 23090951 HAS SOPS 23090951 HAS SOUS 5369597 HAS SOUPS 5369597 WITH SCORE 5392687.951
AT ITER 514 NEW BEST:: SOT 24315877 SOS 23049335 HAS SOPS 23049335 HAS SOUS 5357742 HAS SOUPS 5357742 WITH SCORE 5380791.335
AT ITER 517 NEW BEST:: SOT 24315807 SOS 23049265 HAS SOPS 23049265 HAS SOUS 5354816 HAS SOUPS 5354816 WITH SCORE 5377865.265
AT ITER 523 NEW BEST:: SOT 24315471 SOS 23048929 HAS SOPS 23048929 HAS SOUS 5352893 HAS SOUPS 5352893 WITH SCORE 5375941.929
AT ITER 528 NEW BEST:: SOT 24314600 SOS 23048058 HAS SOPS 23048058 HAS SOUS 5350103 HAS SOUPS 5350103 WITH SCORE 5373151.058
AT ITER 537 NEW BEST:: SOT 24314470 SOS 23047928 HAS SOPS 23047928 HAS SOUS 5344848 HAS SOUPS 5344848 WITH SCORE 5367895.928
AT ITER 562 NEW BEST:: SOT 24319752 SOS 23053210 HAS SOPS 23053210 HAS SOUS 5323865 HAS SOUPS 5323865 WITH SCORE 5346918.21
AT ITER 580 NEW BEST:: SOT 24179536 SOS 22912994 HAS SOPS 22912994 HAS SOUS 5265743 HAS SOUPS 5265743 WITH SCORE 5288655.994
AT ITER 583 NEW BEST:: SOT 24178823 SOS 22912281 HAS SOPS 22912281 HAS SOUS 5244058 HAS SOUPS 5244058 WITH SCORE 5266970.281
AT ITER 587 NEW BEST:: SOT 24164053 SOS 22874712 HAS SOPS 22874712 HAS SOUS 5240389 HAS SOUPS 5240389 WITH SCORE 5263263.712
AT ITER 592 NEW BEST:: SOT 24164084 SOS 22874743 HAS SOPS 22874743 HAS SOUS 5236820 HAS SOUPS 5236820 WITH SCORE 5259694.743
AT ITER 593 NEW BEST:: SOT 24165046 SOS 22875705 HAS SOPS 22875705 HAS SOUS 5221145 HAS SOUPS 5221145 WITH SCORE 5244020.705
AT ITER 597 NEW BEST:: SOT 24165046 SOS 22875705 HAS SOPS 22875705 HAS SOUS 5217973 HAS SOUPS 5217973 WITH SCORE 5240848.705
AT ITER 612 NEW BEST:: SOT 24165046 SOS 22875705 HAS SOPS 22875705 HAS SOUS 5217243 HAS SOUPS 5217243 WITH SCORE 5240118.705
AT ITER 618 NEW BEST:: SOT 24165046 SOS 22875705 HAS SOPS 22875705 HAS SOUS 5208608 HAS SOUPS 5208608 WITH SCORE 5231483.705
AT ITER 634 NEW BEST:: SOT 24165040 SOS 22875693 HAS SOPS 22875693 HAS SOUS 5208596 HAS SOUPS 5208596 WITH SCORE 5231471.693
AT ITER 639 NEW BEST:: SOT 24165040 SOS 22875693 HAS SOPS 22875693 HAS SOUS 5207135 HAS SOUPS 5207135 WITH SCORE 5230010.693
AT ITER 645 NEW BEST:: SOT 24165040 SOS 22875693 HAS SOPS 22875693 HAS SOUS 5206481 HAS SOUPS 5206481 WITH SCORE 5229356.693
AT ITER 654 NEW BEST:: SOT 24164496 SOS 22875149 HAS SOPS 22875149 HAS SOUS 5192942 HAS SOUPS 5192942 WITH SCORE 5215817.149
AT ITER 661 NEW BEST:: SOT 24164496 SOS 22875149 HAS SOPS 22875149 HAS SOUS 5192801 HAS SOUPS 5192801 WITH SCORE 5215676.149
AT ITER 667 NEW BEST:: SOT 24169184 SOS 22879837 HAS SOPS 22879837 HAS SOUS 5169327 HAS SOUPS 5169327 WITH SCORE 5192206.837
AT ITER 671 NEW BEST:: SOT 24169184 SOS 22879837 HAS SOPS 22879837 HAS SOUS 5166787 HAS SOUPS 5166787 WITH SCORE 5189666.837
AT ITER 676 NEW BEST:: SOT 24166822 SOS 22877475 HAS SOPS 22877475 HAS SOUS 5134250 HAS SOUPS 5134250 WITH SCORE 5157127.475
AT ITER 695 NEW BEST:: SOT 24166822 SOS 22877475 HAS SOPS 22877475 HAS SOUS 5133928 HAS SOUPS 5133928 WITH SCORE 5156805.475
AT ITER 700 NEW BEST:: SOT 24166822 SOS 22877475 HAS SOPS 22877475 HAS SOUS 5133797 HAS SOUPS 5133797 WITH SCORE 5156674.475
AT ITER 702 NEW BEST:: SOT 24166822 SOS 22787902 HAS SOPS 22787902 HAS SOUS 5133777 HAS SOUPS 5133777 WITH SCORE 5156564.902
AT ITER 708 NEW BEST:: SOT 24166822 SOS 22787902 HAS SOPS 22787902 HAS SOUS 5133512 HAS SOUPS 5133512 WITH SCORE 5156299.902
AT ITER 710 NEW BEST:: SOT 24163407 SOS 22784487 HAS SOPS 22784487 HAS SOUS 5112317 HAS SOUPS 5112317 WITH SCORE 5135101.487
AT ITER 714 NEW BEST:: SOT 24160003 SOS 22781083 HAS SOPS 22781083 HAS SOUS 5111199 HAS SOUPS 5111199 WITH SCORE 5133980.083
AT ITER 715 NEW BEST:: SOT 24156792 SOS 22777872 HAS SOPS 22777872 HAS SOUS 5075995 HAS SOUPS 5075995 WITH SCORE 5098772.872
AT ITER 734 NEW BEST:: SOT 24156328 SOS 22777408 HAS SOPS 22777408 HAS SOUS 5075531 HAS SOUPS 5075531 WITH SCORE 5098308.408
AT ITER 756 NEW BEST:: SOT 24156328 SOS 22777408 HAS SOPS 22777408 HAS SOUS 5074305 HAS SOUPS 5074305 WITH SCORE 5097082.408
AT ITER 757 NEW BEST:: SOT 24156328 SOS 22777408 HAS SOPS 22777408 HAS SOUS 5067989 HAS SOUPS 5067989 WITH SCORE 5090766.408
AT ITER 760 NEW BEST:: SOT 24156328 SOS 22777408 HAS SOPS 22777408 HAS SOUS 5067517 HAS SOUPS 5067517 WITH SCORE 5090294.408
AT ITER 761 NEW BEST:: SOT 24156328 SOS 22798261 HAS SOPS 22798261 HAS SOUS 5067002 HAS SOUPS 5067002 WITH SCORE 5089800.261
AT ITER 767 NEW BEST:: SOT 24156328 SOS 22798261 HAS SOPS 22798261 HAS SOUS 5066274 HAS SOUPS 5066274 WITH SCORE 5089072.261
AT ITER 773 NEW BEST:: SOT 24110884 SOS 22752817 HAS SOPS 22752817 HAS SOUS 5027019 HAS SOUPS 5027019 WITH SCORE 5049771.817
AT ITER 782 NEW BEST:: SOT 24108319 SOS 22750252 HAS SOPS 22750252 HAS SOUS 5017294 HAS SOUPS 5017294 WITH SCORE 5040044.252
AT ITER 801 NEW BEST:: SOT 24108318 SOS 22745763 HAS SOPS 22745763 HAS SOUS 5017242 HAS SOUPS 5017242 WITH SCORE 5039987.763
AT ITER 808 NEW BEST:: SOT 24107799 SOS 22745244 HAS SOPS 22745244 HAS SOUS 5015462 HAS SOUPS 5015462 WITH SCORE 5038207.244
AT ITER 820 NEW BEST:: SOT 24095040 SOS 22732485 HAS SOPS 22732485 HAS SOUS 4935574 HAS SOUPS 4935574 WITH SCORE 4958306.485
AT ITER 822 NEW BEST:: SOT 24095040 SOS 22732485 HAS SOPS 22732485 HAS SOUS 4935216 HAS SOUPS 4935216 WITH SCORE 4957948.485
AT ITER 830 NEW BEST:: SOT 24095040 SOS 22732485 HAS SOPS 22732485 HAS SOUS 4934624 HAS SOUPS 4934624 WITH SCORE 4957356.485
AT ITER 833 NEW BEST:: SOT 24094879 SOS 22732324 HAS SOPS 22732324 HAS SOUS 4930452 HAS SOUPS 4930452 WITH SCORE 4953184.324
AT ITER 836 NEW BEST:: SOT 24094477 SOS 22731922 HAS SOPS 22731922 HAS SOUS 4930050 HAS SOUPS 4930050 WITH SCORE 4952781.922
AT ITER 837 NEW BEST:: SOT 24094477 SOS 22731922 HAS SOPS 22731922 HAS SOUS 4929585 HAS SOUPS 4929585 WITH SCORE 4952316.922
AT ITER 858 NEW BEST:: SOT 24107302 SOS 22744747 HAS SOPS 22744747 HAS SOUS 4919911 HAS SOUPS 4919911 WITH SCORE 4942655.747
AT ITER 870 NEW BEST:: SOT 24107302 SOS 22744747 HAS SOPS 22744747 HAS SOUS 4919437 HAS SOUPS 4919437 WITH SCORE 4942181.747
AT ITER 872 NEW BEST:: SOT 24107302 SOS 22744747 HAS SOPS 22744747 HAS SOUS 4915312 HAS SOUPS 4915312 WITH SCORE 4938056.747
AT ITER 875 NEW BEST:: SOT 24108550 SOS 22745995 HAS SOPS 22745995 HAS SOUS 4914384 HAS SOUPS 4914384 WITH SCORE 4937129.995
AT ITER 880 NEW BEST:: SOT 24108548 SOS 22758754 HAS SOPS 22758754 HAS SOUS 4913597 HAS SOUPS 4913597 WITH SCORE 4936355.754
AT ITER 886 NEW BEST:: SOT 24080002 SOS 22730208 HAS SOPS 22730208 HAS SOUS 4894500 HAS SOUPS 4894500 WITH SCORE 4917230.208
AT ITER 894 NEW BEST:: SOT 24080002 SOS 22730208 HAS SOPS 22730208 HAS SOUS 4894433 HAS SOUPS 4894433 WITH SCORE 4917163.208
AT ITER 903 NEW BEST:: SOT 24080002 SOS 22748979 HAS SOPS 22748979 HAS SOUS 4894297 HAS SOUPS 4894297 WITH SCORE 4917045.979
AT ITER 906 NEW BEST:: SOT 24079937 SOS 22748914 HAS SOPS 22748914 HAS SOUS 4891833 HAS SOUPS 4891833 WITH SCORE 4914581.914
AT ITER 910 NEW BEST:: SOT 24079937 SOS 22748914 HAS SOPS 22748914 HAS SOUS 4889427 HAS SOUPS 4889427 WITH SCORE 4912175.914
AT ITER 921 NEW BEST:: SOT 24079630 SOS 22748607 HAS SOPS 22748607 HAS SOUS 4886165 HAS SOUPS 4886165 WITH SCORE 4908913.607
AT ITER 928 NEW BEST:: SOT 24078575 SOS 22747552 HAS SOPS 22747552 HAS SOUS 4885110 HAS SOUPS 4885110 WITH SCORE 4907857.552
AT ITER 930 NEW BEST:: SOT 24078575 SOS 22747552 HAS SOPS 22747552 HAS SOUS 4881930 HAS SOUPS 4881930 WITH SCORE 4904677.552
AT ITER 945 NEW BEST:: SOT 24076503 SOS 22745480 HAS SOPS 22745480 HAS SOUS 4868298 HAS SOUPS 4868298 WITH SCORE 4891043.48
AT ITER 954 NEW BEST:: SOT 24076503 SOS 22745480 HAS SOPS 22745480 HAS SOUS 4861921 HAS SOUPS 4861921 WITH SCORE 4884666.48
AT ITER 968 NEW BEST:: SOT 24076503 SOS 22745480 HAS SOPS 22745480 HAS SOUS 4857219 HAS SOUPS 4857219 WITH SCORE 4879964.48
AT ITER 969 NEW BEST:: SOT 24084129 SOS 22753106 HAS SOPS 22753106 HAS SOUS 4845264 HAS SOUPS 4845264 WITH SCORE 4868017.106
AT ITER 975 NEW BEST:: SOT 24082132 SOS 22751109 HAS SOPS 22751109 HAS SOUS 4840893 HAS SOUPS 4840893 WITH SCORE 4863644.109
AT ITER 976 NEW BEST:: SOT 24082132 SOS 22751109 HAS SOPS 22751109 HAS SOUS 4840835 HAS SOUPS 4840835 WITH SCORE 4863586.109
AT ITER 984 NEW BEST:: SOT 24082132 SOS 22751109 HAS SOPS 22751109 HAS SOUS 4840814 HAS SOUPS 4840814 WITH SCORE 4863565.109
AT ITER 990 NEW BEST:: SOT 24030391 SOS 22699368 HAS SOPS 22699368 HAS SOUS 4830069 HAS SOUPS 4830069 WITH SCORE 4852768.368
AT ITER 992 NEW BEST:: SOT 24030391 SOS 22699368 HAS SOPS 22699368 HAS SOUS 4829926 HAS SOUPS 4829926 WITH SCORE 4852625.368
AT ITER 1000 NEW BEST:: SOT 24023590 SOS 22692567 HAS SOPS 22692567 HAS SOUS 4825627 HAS SOUPS 4825627 WITH SCORE 4848319.567
AT ITER 1001 NEW BEST:: SOT 24023416 SOS 22692393 HAS SOPS 22692393 HAS SOUS 4820300 HAS SOUPS 4820300 WITH SCORE 4842992.393
AT ITER 1005 NEW BEST:: SOT 24023416 SOS 22692393 HAS SOPS 22692393 HAS SOUS 4810294 HAS SOUPS 4810294 WITH SCORE 4832986.393
AT ITER 1011 NEW BEST:: SOT 24023416 SOS 22692393 HAS SOPS 22692393 HAS SOUS 4809952 HAS SOUPS 4809952 WITH SCORE 4832644.393
AT ITER 1022 NEW BEST:: SOT 24023416 SOS 22692393 HAS SOPS 22692393 HAS SOUS 4809091 HAS SOUPS 4809091 WITH SCORE 4831783.393
AT ITER 1023 NEW BEST:: SOT 24016314 SOS 22685291 HAS SOPS 22685291 HAS SOUS 4796318 HAS SOUPS 4796318 WITH SCORE 4819003.291
AT ITER 1040 NEW BEST:: SOT 24016314 SOS 22685291 HAS SOPS 22685291 HAS SOUS 4796277 HAS SOUPS 4796277 WITH SCORE 4818962.291
AT ITER 1045 NEW BEST:: SOT 24014253 SOS 22683230 HAS SOPS 22683230 HAS SOUS 4782275 HAS SOUPS 4782275 WITH SCORE 4804958.23
AT ITER 1050 NEW BEST:: SOT 24010599 SOS 22679576 HAS SOPS 22679576 HAS SOUS 4778621 HAS SOUPS 4778621 WITH SCORE 4801300.576
AT ITER 1051 NEW BEST:: SOT 24013171 SOS 22682148 HAS SOPS 22682148 HAS SOUS 4772691 HAS SOUPS 4772691 WITH SCORE 4795373.148
AT ITER 1058 NEW BEST:: SOT 24013171 SOS 22682148 HAS SOPS 22682148 HAS SOUS 4772419 HAS SOUPS 4772419 WITH SCORE 4795101.148
AT ITER 1059 NEW BEST:: SOT 24010483 SOS 22679460 HAS SOPS 22679460 HAS SOUS 4770821 HAS SOUPS 4770821 WITH SCORE 4793500.46
AT ITER 1080 NEW BEST:: SOT 24010483 SOS 22679460 HAS SOPS 22679460 HAS SOUS 4770133 HAS SOUPS 4770133 WITH SCORE 4792812.46
AT ITER 1085 NEW BEST:: SOT 24009181 SOS 22678158 HAS SOPS 22678158 HAS SOUS 4755828 HAS SOUPS 4755828 WITH SCORE 4778506.158
AT ITER 1087 NEW BEST:: SOT 24007084 SOS 22676061 HAS SOPS 22676061 HAS SOUS 4738989 HAS SOUPS 4738989 WITH SCORE 4761665.061
AT ITER 1088 NEW BEST:: SOT 24007084 SOS 22676061 HAS SOPS 22676061 HAS SOUS 4738541 HAS SOUPS 4738541 WITH SCORE 4761217.061
AT ITER 1094 NEW BEST:: SOT 24000895 SOS 22669872 HAS SOPS 22669872 HAS SOUS 4711430 HAS SOUPS 4711430 WITH SCORE 4734099.872
AT ITER 1095 NEW BEST:: SOT 24000895 SOS 22669872 HAS SOPS 22669872 HAS SOUS 4707647 HAS SOUPS 4707647 WITH SCORE 4730316.872
AT ITER 1108 NEW BEST:: SOT 24000895 SOS 22669872 HAS SOPS 22669872 HAS SOUS 4707646 HAS SOUPS 4707646 WITH SCORE 4730315.872
AT ITER 1122 NEW BEST:: SOT 24000895 SOS 22669872 HAS SOPS 22669872 HAS SOUS 4707185 HAS SOUPS 4707185 WITH SCORE 4729854.872
AT ITER 1125 NEW BEST:: SOT 24000895 SOS 22681078 HAS SOPS 22681078 HAS SOUS 4707163 HAS SOUPS 4707163 WITH SCORE 4729844.078
AT ITER 1131 NEW BEST:: SOT 24000468 SOS 22680651 HAS SOPS 22680651 HAS SOUS 4706826 HAS SOUPS 4706826 WITH SCORE 4729506.651
AT ITER 1138 NEW BEST:: SOT 24000468 SOS 22680651 HAS SOPS 22680651 HAS SOUS 4706419 HAS SOUPS 4706419 WITH SCORE 4729099.651
AT ITER 1142 NEW BEST:: SOT 24000468 SOS 22680651 HAS SOPS 22680651 HAS SOUS 4704855 HAS SOUPS 4704855 WITH SCORE 4727535.651
AT ITER 1164 NEW BEST:: SOT 23992879 SOS 22673062 HAS SOPS 22673062 HAS SOUS 4667477 HAS SOUPS 4667477 WITH SCORE 4690150.062
AT ITER 1177 NEW BEST:: SOT 23992879 SOS 22673062 HAS SOPS 22673062 HAS SOUS 4667184 HAS SOUPS 4667184 WITH SCORE 4689857.062
AT ITER 1180 NEW BEST:: SOT 23992879 SOS 22673062 HAS SOPS 22673062 HAS SOUS 4666244 HAS SOUPS 4666244 WITH SCORE 4688917.062
AT ITER 1193 NEW BEST:: SOT 23992879 SOS 22673062 HAS SOPS 22673062 HAS SOUS 4665604 HAS SOUPS 4665604 WITH SCORE 4688277.062
AT ITER 1195 NEW BEST:: SOT 23992879 SOS 22673062 HAS SOPS 22673062 HAS SOUS 4660833 HAS SOUPS 4660833 WITH SCORE 4683506.062
AT ITER 1198 NEW BEST:: SOT 23992028 SOS 22672211 HAS SOPS 22672211 HAS SOUS 4650318 HAS SOUPS 4650318 WITH SCORE 4672990.211
AT ITER 1199 NEW BEST:: SOT 23992028 SOS 22672211 HAS SOPS 22672211 HAS SOUS 4650042 HAS SOUPS 4650042 WITH SCORE 4672714.211
AT ITER 1217 NEW BEST:: SOT 23948625 SOS 22628808 HAS SOPS 22628808 HAS SOUS 4630479 HAS SOUPS 4630479 WITH SCORE 4653107.808
AT ITER 1222 NEW BEST:: SOT 23948625 SOS 22628808 HAS SOPS 22628808 HAS SOUS 4630391 HAS SOUPS 4630391 WITH SCORE 4653019.808
AT ITER 1239 NEW BEST:: SOT 23948625 SOS 22628808 HAS SOPS 22628808 HAS SOUS 4629369 HAS SOUPS 4629369 WITH SCORE 4651997.808
AT ITER 1248 NEW BEST:: SOT 23948625 SOS 22628808 HAS SOPS 22628808 HAS SOUS 4629069 HAS SOUPS 4629069 WITH SCORE 4651697.808
AT ITER 1262 NEW BEST:: SOT 23941129 SOS 22621312 HAS SOPS 22621312 HAS SOUS 4627836 HAS SOUPS 4627836 WITH SCORE 4650457.312
AT ITER 1263 NEW BEST:: SOT 23941129 SOS 22621312 HAS SOPS 22621312 HAS SOUS 4627358 HAS SOUPS 4627358 WITH SCORE 4649979.312
AT ITER 1272 NEW BEST:: SOT 23939236 SOS 22619419 HAS SOPS 22619419 HAS SOUS 4620452 HAS SOUPS 4620452 WITH SCORE 4643071.419
AT ITER 1282 NEW BEST:: SOT 23939236 SOS 22619419 HAS SOPS 22619419 HAS SOUS 4618532 HAS SOUPS 4618532 WITH SCORE 4641151.419
AT ITER 1283 NEW BEST:: SOT 23939236 SOS 22619419 HAS SOPS 22619419 HAS SOUS 4618177 HAS SOUPS 4618177 WITH SCORE 4640796.419
AT ITER 1304 NEW BEST:: SOT 23939236 SOS 22619419 HAS SOPS 22619419 HAS SOUS 4616225 HAS SOUPS 4616225 WITH SCORE 4638844.419
AT ITER 1311 NEW BEST:: SOT 23939236 SOS 22605074 HAS SOPS 22605074 HAS SOUS 4616155 HAS SOUPS 4616155 WITH SCORE 4638760.074
AT ITER 1324 NEW BEST:: SOT 23936261 SOS 22602099 HAS SOPS 22602099 HAS SOUS 4613180 HAS SOUPS 4613180 WITH SCORE 4635782.099
AT ITER 1336 NEW BEST:: SOT 23936261 SOS 22602099 HAS SOPS 22602099 HAS SOUS 4612852 HAS SOUPS 4612852 WITH SCORE 4635454.099
AT ITER 1365 NEW BEST:: SOT 23932600 SOS 22598438 HAS SOPS 22598438 HAS SOUS 4608694 HAS SOUPS 4608694 WITH SCORE 4631292.438
AT ITER 1372 NEW BEST:: SOT 23932854 SOS 22598692 HAS SOPS 22598692 HAS SOUS 4608582 HAS SOUPS 4608582 WITH SCORE 4631180.692
AT ITER 1399 NEW BEST:: SOT 23932851 SOS 22555350 HAS SOPS 22555350 HAS SOUS 4608556 HAS SOUPS 4608556 WITH SCORE 4631111.35
AT ITER 1430 NEW BEST:: SOT 23932851 SOS 22555350 HAS SOPS 22555350 HAS SOUS 4608020 HAS SOUPS 4608020 WITH SCORE 4630575.35
AT ITER 1442 NEW BEST:: SOT 23932851 SOS 22555350 HAS SOPS 22555350 HAS SOUS 4607882 HAS SOUPS 4607882 WITH SCORE 4630437.35
AT ITER 1449 NEW BEST:: SOT 23932851 SOS 22555350 HAS SOPS 22555350 HAS SOUS 4607766 HAS SOUPS 4607766 WITH SCORE 4630321.35
AT ITER 1474 NEW BEST:: SOT 23852592 SOS 22475091 HAS SOPS 22475091 HAS SOUS 4604861 HAS SOUPS 4604861 WITH SCORE 4627336.091
AT ITER 1475 NEW BEST:: SOT 23852592 SOS 22475091 HAS SOPS 22475091 HAS SOUS 4602943 HAS SOUPS 4602943 WITH SCORE 4625418.091
AT ITER 1491 NEW BEST:: SOT 23850556 SOS 22473055 HAS SOPS 22473055 HAS SOUS 4581573 HAS SOUPS 4581573 WITH SCORE 4604046.055
AT ITER 1492 NEW BEST:: SOT 23850556 SOS 22473055 HAS SOPS 22473055 HAS SOUS 4581405 HAS SOUPS 4581405 WITH SCORE 4603878.055
AT ITER 1495 NEW BEST:: SOT 23849079 SOS 22471578 HAS SOPS 22471578 HAS SOUS 4564023 HAS SOUPS 4564023 WITH SCORE 4586494.578
AT ITER 1498 NEW BEST:: SOT 23849069 SOS 22374164 HAS SOPS 22374164 HAS SOUS 4563981 HAS SOUPS 4563981 WITH SCORE 4586355.164
AT ITER 1510 NEW BEST:: SOT 23844880 SOS 22369975 HAS SOPS 22369975 HAS SOUS 4542062 HAS SOUPS 4542062 WITH SCORE 4564431.975
AT ITER 1521 NEW BEST:: SOT 23844880 SOS 22369975 HAS SOPS 22369975 HAS SOUS 4541358 HAS SOUPS 4541358 WITH SCORE 4563727.975
AT ITER 1540 NEW BEST:: SOT 23844880 SOS 22369975 HAS SOPS 22369975 HAS SOUS 4537139 HAS SOUPS 4537139 WITH SCORE 4559508.975
AT ITER 1544 NEW BEST:: SOT 23844107 SOS 22369202 HAS SOPS 22369202 HAS SOUS 4532896 HAS SOUPS 4532896 WITH SCORE 4555265.202
AT ITER 1572 NEW BEST:: SOT 23844107 SOS 22369202 HAS SOPS 22369202 HAS SOUS 4532672 HAS SOUPS 4532672 WITH SCORE 4555041.202
AT ITER 1578 NEW BEST:: SOT 23843892 SOS 22368987 HAS SOPS 22368987 HAS SOUS 4531079 HAS SOUPS 4531079 WITH SCORE 4553447.987
AT ITER 1583 NEW BEST:: SOT 23840245 SOS 22365340 HAS SOPS 22365340 HAS SOUS 4518161 HAS SOUPS 4518161 WITH SCORE 4540526.34
AT ITER 1585 NEW BEST:: SOT 23839899 SOS 22364994 HAS SOPS 22364994 HAS SOUS 4514710 HAS SOUPS 4514710 WITH SCORE 4537074.994
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 15246496 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16071308 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-10"
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-10, 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-167840342100208"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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