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.r259-smll-167863534100128.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 NeoElection-COL-3, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r259-smll-167863534100128
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 500K
-rw-r--r-- 1 mcc users 7.2K Feb 26 15:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 59K Feb 26 15:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 26 15:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 40K Feb 26 15:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:27 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:27 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 25 16:27 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:27 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 16:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 89K Feb 26 16:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 16K Feb 26 16:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 104K Feb 26 16:02 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:27 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:27 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 75K 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 1678682789388

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=NeoElection-COL-3
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-13 04:46:33] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-13 04:46:33] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-13 04:46:33] [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-13 04:46:34] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-13 04:46:35] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1227 ms
[2023-03-13 04:46:35] [INFO ] Detected 6 constant HL places corresponding to 448 PT places.
[2023-03-13 04:46:35] [INFO ] Imported 18 HL places and 22 HL transitions for a total of 972 PT places and 1808.0 transition bindings in 66 ms.
[2023-03-13 04:46:35] [INFO ] Unfolded HLPN to a Petri net with 972 places and 848 transitions 4688 arcs in 180 ms.
[2023-03-13 04:46:35] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Reduce places removed 772 places and 541 transitions.
Reduce places removed 60 places and 137 transitions.
[2023-03-13 04:46:35] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 140 places, 170 transitions and 853 arcs took 16 ms.
Total runtime 1844 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NeoElection (COL), instance 3
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: 140 places, 170 transitions, 853 arcs.
AT ITER 0 NEW BEST:: SOT 14402 SOS 7480 HAS SOPS 7347 HAS SOUS 5019 HAS SOUPS 4971 WITH SCORE 4978.48
AT ITER 5 NEW BEST:: SOT 14378 SOS 7461 HAS SOPS 7347 HAS SOUS 5007 HAS SOUPS 4971 WITH SCORE 4978.461
AT ITER 6 NEW BEST:: SOT 14298 SOS 7391 HAS SOPS 7277 HAS SOUS 4937 HAS SOUPS 4901 WITH SCORE 4908.391
AT ITER 9 NEW BEST:: SOT 14298 SOS 7364 HAS SOPS 7250 HAS SOUS 4934 HAS SOUPS 4898 WITH SCORE 4905.364
AT ITER 19 NEW BEST:: SOT 14298 SOS 7280 HAS SOPS 7166 HAS SOUS 4913 HAS SOUPS 4877 WITH SCORE 4884.28
AT ITER 59 NEW BEST:: SOT 14298 SOS 7280 HAS SOPS 7166 HAS SOUS 4885 HAS SOUPS 4849 WITH SCORE 4856.28
AT ITER 60 NEW BEST:: SOT 14269 SOS 7132 HAS SOPS 7089 HAS SOUS 4790 HAS SOUPS 4771 WITH SCORE 4778.132
AT ITER 84 NEW BEST:: SOT 14269 SOS 7129 HAS SOPS 7086 HAS SOUS 4787 HAS SOUPS 4768 WITH SCORE 4775.129
AT ITER 85 NEW BEST:: SOT 14269 SOS 7146 HAS SOPS 7098 HAS SOUS 4782 HAS SOUPS 4763 WITH SCORE 4770.146
AT ITER 88 NEW BEST:: SOT 14269 SOS 7147 HAS SOPS 7099 HAS SOUS 4772 HAS SOUPS 4753 WITH SCORE 4760.147
AT ITER 92 NEW BEST:: SOT 14269 SOS 7120 HAS SOPS 7072 HAS SOUS 4754 HAS SOUPS 4735 WITH SCORE 4742.12
AT ITER 96 NEW BEST:: SOT 14057 SOS 6928 HAS SOPS 6880 HAS SOUS 4562 HAS SOUPS 4543 WITH SCORE 4549.928
AT ITER 111 NEW BEST:: SOT 13930 SOS 6907 HAS SOPS 6859 HAS SOUS 4521 HAS SOUPS 4502 WITH SCORE 4508.907
AT ITER 122 NEW BEST:: SOT 13930 SOS 6864 HAS SOPS 6816 HAS SOUS 4499 HAS SOUPS 4480 WITH SCORE 4486.864
AT ITER 137 NEW BEST:: SOT 13903 SOS 6862 HAS SOPS 6814 HAS SOUS 4497 HAS SOUPS 4478 WITH SCORE 4484.862
AT ITER 150 NEW BEST:: SOT 13905 SOS 6815 HAS SOPS 6767 HAS SOUS 4481 HAS SOUPS 4462 WITH SCORE 4468.815
AT ITER 151 NEW BEST:: SOT 13905 SOS 6789 HAS SOPS 6741 HAS SOUS 4467 HAS SOUPS 4448 WITH SCORE 4454.789
AT ITER 160 NEW BEST:: SOT 13905 SOS 6789 HAS SOPS 6741 HAS SOUS 4456 HAS SOUPS 4437 WITH SCORE 4443.789
AT ITER 167 NEW BEST:: SOT 13905 SOS 6823 HAS SOPS 6775 HAS SOUS 4447 HAS SOUPS 4428 WITH SCORE 4434.823
AT ITER 172 NEW BEST:: SOT 13905 SOS 6838 HAS SOPS 6790 HAS SOUS 4439 HAS SOUPS 4420 WITH SCORE 4426.838
AT ITER 194 NEW BEST:: SOT 13888 SOS 6806 HAS SOPS 6753 HAS SOUS 4419 HAS SOUPS 4398 WITH SCORE 4404.806
AT ITER 197 NEW BEST:: SOT 13686 SOS 8646 HAS SOPS 8646 HAS SOUS 4312 HAS SOUPS 4312 WITH SCORE 4320.646
AT ITER 199 NEW BEST:: SOT 13663 SOS 8558 HAS SOPS 8558 HAS SOUS 4272 HAS SOUPS 4272 WITH SCORE 4280.558
AT ITER 210 NEW BEST:: SOT 13661 SOS 8540 HAS SOPS 8540 HAS SOUS 4268 HAS SOUPS 4268 WITH SCORE 4276.54
AT ITER 212 NEW BEST:: SOT 13659 SOS 8538 HAS SOPS 8538 HAS SOUS 4265 HAS SOUPS 4265 WITH SCORE 4273.538
AT ITER 213 NEW BEST:: SOT 13644 SOS 8456 HAS SOPS 8456 HAS SOUS 4220 HAS SOUPS 4220 WITH SCORE 4228.456
AT ITER 214 NEW BEST:: SOT 13644 SOS 6820 HAS SOPS 6820 HAS SOUS 4149 HAS SOUPS 4149 WITH SCORE 4155.82
AT ITER 222 NEW BEST:: SOT 13624 SOS 6808 HAS SOPS 6808 HAS SOUS 4137 HAS SOUPS 4137 WITH SCORE 4143.808
AT ITER 225 NEW BEST:: SOT 13663 SOS 6847 HAS SOPS 6847 HAS SOUS 4118 HAS SOUPS 4118 WITH SCORE 4124.847
AT ITER 241 NEW BEST:: SOT 13663 SOS 6813 HAS SOPS 6813 HAS SOUS 4081 HAS SOUPS 4081 WITH SCORE 4087.813
AT ITER 249 NEW BEST:: SOT 13564 SOS 6722 HAS SOPS 6722 HAS SOUS 4001 HAS SOUPS 4001 WITH SCORE 4007.722
AT ITER 257 NEW BEST:: SOT 13571 SOS 6636 HAS SOPS 6636 HAS SOUS 3935 HAS SOUPS 3935 WITH SCORE 3941.636
AT ITER 283 NEW BEST:: SOT 13657 SOS 6674 HAS SOPS 6674 HAS SOUS 3909 HAS SOUPS 3909 WITH SCORE 3915.674
AT ITER 291 NEW BEST:: SOT 13650 SOS 6672 HAS SOPS 6672 HAS SOUS 3907 HAS SOUPS 3907 WITH SCORE 3913.672
AT ITER 296 NEW BEST:: SOT 13663 SOS 6677 HAS SOPS 6677 HAS SOUS 3901 HAS SOUPS 3901 WITH SCORE 3907.677
AT ITER 298 NEW BEST:: SOT 13663 SOS 6669 HAS SOPS 6669 HAS SOUS 3893 HAS SOUPS 3893 WITH SCORE 3899.669
AT ITER 314 NEW BEST:: SOT 13663 SOS 6602 HAS SOPS 6602 HAS SOUS 3859 HAS SOUPS 3859 WITH SCORE 3865.602
AT ITER 321 NEW BEST:: SOT 13663 SOS 6593 HAS SOPS 6593 HAS SOUS 3859 HAS SOUPS 3859 WITH SCORE 3865.593
AT ITER 326 NEW BEST:: SOT 13656 SOS 6587 HAS SOPS 6587 HAS SOUS 3853 HAS SOUPS 3853 WITH SCORE 3859.587
AT ITER 330 NEW BEST:: SOT 13650 SOS 6581 HAS SOPS 6581 HAS SOUS 3839 HAS SOUPS 3839 WITH SCORE 3845.581
AT ITER 333 NEW BEST:: SOT 13647 SOS 6561 HAS SOPS 6561 HAS SOUS 3820 HAS SOUPS 3820 WITH SCORE 3826.561
AT ITER 362 NEW BEST:: SOT 13643 SOS 6557 HAS SOPS 6557 HAS SOUS 3796 HAS SOUPS 3796 WITH SCORE 3802.557
AT ITER 365 NEW BEST:: SOT 13634 SOS 6645 HAS SOPS 6645 HAS SOUS 3786 HAS SOUPS 3786 WITH SCORE 3792.645
AT ITER 368 NEW BEST:: SOT 13634 SOS 6644 HAS SOPS 6644 HAS SOUS 3786 HAS SOUPS 3786 WITH SCORE 3792.644
AT ITER 376 NEW BEST:: SOT 13572 SOS 6582 HAS SOPS 6582 HAS SOUS 3745 HAS SOUPS 3745 WITH SCORE 3751.582
AT ITER 378 NEW BEST:: SOT 13572 SOS 6582 HAS SOPS 6582 HAS SOUS 3741 HAS SOUPS 3741 WITH SCORE 3747.582
AT ITER 396 NEW BEST:: SOT 13562 SOS 6572 HAS SOPS 6572 HAS SOUS 3730 HAS SOUPS 3730 WITH SCORE 3736.572
AT ITER 400 NEW BEST:: SOT 13557 SOS 6567 HAS SOPS 6567 HAS SOUS 3725 HAS SOUPS 3725 WITH SCORE 3731.567
AT ITER 422 NEW BEST:: SOT 13557 SOS 6453 HAS SOPS 6453 HAS SOUS 3725 HAS SOUPS 3725 WITH SCORE 3731.453
AT ITER 430 NEW BEST:: SOT 13516 SOS 6427 HAS SOPS 6427 HAS SOUS 3681 HAS SOUPS 3681 WITH SCORE 3687.427
AT ITER 435 NEW BEST:: SOT 13516 SOS 6412 HAS SOPS 6412 HAS SOUS 3676 HAS SOUPS 3676 WITH SCORE 3682.412
AT ITER 447 NEW BEST:: SOT 13533 SOS 6411 HAS SOPS 6411 HAS SOUS 3675 HAS SOUPS 3675 WITH SCORE 3681.411
AT ITER 448 NEW BEST:: SOT 13511 SOS 6431 HAS SOPS 6431 HAS SOUS 3662 HAS SOUPS 3662 WITH SCORE 3668.431
AT ITER 451 NEW BEST:: SOT 13511 SOS 6427 HAS SOPS 6427 HAS SOUS 3662 HAS SOUPS 3662 WITH SCORE 3668.427
AT ITER 454 NEW BEST:: SOT 13511 SOS 6396 HAS SOPS 6396 HAS SOUS 3662 HAS SOUPS 3662 WITH SCORE 3668.396
AT ITER 479 NEW BEST:: SOT 13380 SOS 6281 HAS SOPS 6281 HAS SOUS 3635 HAS SOUPS 3635 WITH SCORE 3641.281
AT ITER 498 NEW BEST:: SOT 13380 SOS 6154 HAS SOPS 6154 HAS SOUS 3604 HAS SOUPS 3604 WITH SCORE 3610.154
AT ITER 529 NEW BEST:: SOT 13380 SOS 6154 HAS SOPS 6154 HAS SOUS 3602 HAS SOUPS 3602 WITH SCORE 3608.154
AT ITER 545 NEW BEST:: SOT 13377 SOS 6145 HAS SOPS 6145 HAS SOUS 3596 HAS SOUPS 3596 WITH SCORE 3602.145
AT ITER 546 NEW BEST:: SOT 13377 SOS 6142 HAS SOPS 6142 HAS SOUS 3593 HAS SOUPS 3593 WITH SCORE 3599.142
AT ITER 563 NEW BEST:: SOT 13377 SOS 6140 HAS SOPS 6140 HAS SOUS 3591 HAS SOUPS 3591 WITH SCORE 3597.14
AT ITER 565 NEW BEST:: SOT 13377 SOS 6151 HAS SOPS 6151 HAS SOUS 3586 HAS SOUPS 3586 WITH SCORE 3592.151
AT ITER 571 NEW BEST:: SOT 13377 SOS 6149 HAS SOPS 6149 HAS SOUS 3584 HAS SOUPS 3584 WITH SCORE 3590.149
AT ITER 573 NEW BEST:: SOT 13337 SOS 6180 HAS SOPS 6180 HAS SOUS 3567 HAS SOUPS 3567 WITH SCORE 3573.18
AT ITER 587 NEW BEST:: SOT 13337 SOS 6178 HAS SOPS 6178 HAS SOUS 3549 HAS SOUPS 3549 WITH SCORE 3555.178
AT ITER 660 NEW BEST:: SOT 13344 SOS 6172 HAS SOPS 6172 HAS SOUS 3536 HAS SOUPS 3536 WITH SCORE 3542.172
AT ITER 664 NEW BEST:: SOT 13344 SOS 6152 HAS SOPS 6152 HAS SOUS 3492 HAS SOUPS 3492 WITH SCORE 3498.152
AT ITER 667 NEW BEST:: SOT 13344 SOS 6133 HAS SOPS 6133 HAS SOUS 3468 HAS SOUPS 3468 WITH SCORE 3474.133
AT ITER 680 NEW BEST:: SOT 13344 SOS 6117 HAS SOPS 6117 HAS SOUS 3464 HAS SOUPS 3464 WITH SCORE 3470.117
AT ITER 713 NEW BEST:: SOT 13338 SOS 6111 HAS SOPS 6111 HAS SOUS 3464 HAS SOUPS 3464 WITH SCORE 3470.111
AT ITER 735 NEW BEST:: SOT 13331 SOS 6121 HAS SOPS 6121 HAS SOUS 3436 HAS SOUPS 3436 WITH SCORE 3442.121
AT ITER 736 NEW BEST:: SOT 13331 SOS 6063 HAS SOPS 6063 HAS SOUS 3422 HAS SOUPS 3422 WITH SCORE 3428.063
AT ITER 751 NEW BEST:: SOT 13333 SOS 6065 HAS SOPS 6065 HAS SOUS 3416 HAS SOUPS 3416 WITH SCORE 3422.065
AT ITER 758 NEW BEST:: SOT 13383 SOS 6135 HAS SOPS 6135 HAS SOUS 3392 HAS SOUPS 3392 WITH SCORE 3398.135
AT ITER 763 NEW BEST:: SOT 13369 SOS 6121 HAS SOPS 6121 HAS SOUS 3386 HAS SOUPS 3386 WITH SCORE 3392.121
AT ITER 798 NEW BEST:: SOT 13369 SOS 6077 HAS SOPS 6077 HAS SOUS 3368 HAS SOUPS 3368 WITH SCORE 3374.077
AT ITER 800 NEW BEST:: SOT 13369 SOS 6068 HAS SOPS 6068 HAS SOUS 3368 HAS SOUPS 3368 WITH SCORE 3374.068
AT ITER 821 NEW BEST:: SOT 13369 SOS 6068 HAS SOPS 6068 HAS SOUS 3363 HAS SOUPS 3363 WITH SCORE 3369.068
AT ITER 841 NEW BEST:: SOT 13360 SOS 6059 HAS SOPS 6059 HAS SOUS 3354 HAS SOUPS 3354 WITH SCORE 3360.059
AT ITER 902 NEW BEST:: SOT 13355 SOS 6035 HAS SOPS 6035 HAS SOUS 3344 HAS SOUPS 3344 WITH SCORE 3350.035
AT ITER 928 NEW BEST:: SOT 13355 SOS 6033 HAS SOPS 6033 HAS SOUS 3344 HAS SOUPS 3344 WITH SCORE 3350.033
AT ITER 939 NEW BEST:: SOT 13331 SOS 5984 HAS SOPS 5984 HAS SOUS 3329 HAS SOUPS 3329 WITH SCORE 3334.984
AT ITER 946 NEW BEST:: SOT 13327 SOS 5986 HAS SOPS 5986 HAS SOUS 3327 HAS SOUPS 3327 WITH SCORE 3332.986
AT ITER 947 NEW BEST:: SOT 13327 SOS 5986 HAS SOPS 5986 HAS SOUS 3324 HAS SOUPS 3324 WITH SCORE 3329.986
AT ITER 957 NEW BEST:: SOT 13313 SOS 5972 HAS SOPS 5972 HAS SOUS 3315 HAS SOUPS 3315 WITH SCORE 3320.972
AT ITER 962 NEW BEST:: SOT 13313 SOS 5907 HAS SOPS 5907 HAS SOUS 3312 HAS SOUPS 3312 WITH SCORE 3317.907
AT ITER 963 NEW BEST:: SOT 13306 SOS 5893 HAS SOPS 5893 HAS SOUS 3312 HAS SOUPS 3312 WITH SCORE 3317.893
AT ITER 964 NEW BEST:: SOT 13305 SOS 5863 HAS SOPS 5863 HAS SOUS 3271 HAS SOUPS 3271 WITH SCORE 3276.863
AT ITER 975 NEW BEST:: SOT 13305 SOS 5857 HAS SOPS 5857 HAS SOUS 3265 HAS SOUPS 3265 WITH SCORE 3270.857
AT ITER 979 NEW BEST:: SOT 13271 SOS 5823 HAS SOPS 5823 HAS SOUS 3265 HAS SOUPS 3265 WITH SCORE 3270.823
AT ITER 1022 NEW BEST:: SOT 13259 SOS 6279 HAS SOPS 6279 HAS SOUS 3260 HAS SOUPS 3260 WITH SCORE 3266.279
AT ITER 1026 NEW BEST:: SOT 13259 SOS 6279 HAS SOPS 6279 HAS SOUS 3259 HAS SOUPS 3259 WITH SCORE 3265.279
AT ITER 1065 NEW BEST:: SOT 13245 SOS 6271 HAS SOPS 6271 HAS SOUS 3251 HAS SOUPS 3251 WITH SCORE 3257.271
AT ITER 1081 NEW BEST:: SOT 13239 SOS 6264 HAS SOPS 6264 HAS SOUS 3244 HAS SOUPS 3244 WITH SCORE 3250.264
AT ITER 1111 NEW BEST:: SOT 13239 SOS 6264 HAS SOPS 6264 HAS SOUS 3200 HAS SOUPS 3200 WITH SCORE 3206.264
AT ITER 1114 NEW BEST:: SOT 13239 SOS 6258 HAS SOPS 6258 HAS SOUS 3200 HAS SOUPS 3200 WITH SCORE 3206.258
AT ITER 1134 NEW BEST:: SOT 13230 SOS 6249 HAS SOPS 6249 HAS SOUS 3180 HAS SOUPS 3180 WITH SCORE 3186.249
AT ITER 1139 NEW BEST:: SOT 13230 SOS 6189 HAS SOPS 6189 HAS SOUS 3180 HAS SOUPS 3180 WITH SCORE 3186.189
AT ITER 1141 NEW BEST:: SOT 13217 SOS 6193 HAS SOPS 6193 HAS SOUS 3171 HAS SOUPS 3171 WITH SCORE 3177.193
AT ITER 1167 NEW BEST:: SOT 13217 SOS 6189 HAS SOPS 6189 HAS SOUS 3169 HAS SOUPS 3169 WITH SCORE 3175.189
AT ITER 1195 NEW BEST:: SOT 13217 SOS 6177 HAS SOPS 6177 HAS SOUS 3165 HAS SOUPS 3165 WITH SCORE 3171.177
AT ITER 1213 NEW BEST:: SOT 13202 SOS 6162 HAS SOPS 6162 HAS SOUS 3148 HAS SOUPS 3148 WITH SCORE 3154.162
AT ITER 1260 NEW BEST:: SOT 13202 SOS 6086 HAS SOPS 6086 HAS SOUS 3146 HAS SOUPS 3146 WITH SCORE 3152.086
AT ITER 1276 NEW BEST:: SOT 13156 SOS 6040 HAS SOPS 6040 HAS SOUS 3131 HAS SOUPS 3131 WITH SCORE 3137.04
AT ITER 1279 NEW BEST:: SOT 13143 SOS 6027 HAS SOPS 6027 HAS SOUS 3131 HAS SOUPS 3131 WITH SCORE 3137.027
AT ITER 1285 NEW BEST:: SOT 13142 SOS 6026 HAS SOPS 6026 HAS SOUS 3130 HAS SOUPS 3130 WITH SCORE 3136.026
AT ITER 1309 NEW BEST:: SOT 13125 SOS 6124 HAS SOPS 6124 HAS SOUS 3112 HAS SOUPS 3112 WITH SCORE 3118.124
AT ITER 1388 NEW BEST:: SOT 13123 SOS 6122 HAS SOPS 6122 HAS SOUS 3108 HAS SOUPS 3108 WITH SCORE 3114.122
AT ITER 1427 NEW BEST:: SOT 13123 SOS 6128 HAS SOPS 6128 HAS SOUS 3106 HAS SOUPS 3106 WITH SCORE 3112.128
AT ITER 1434 NEW BEST:: SOT 13119 SOS 6124 HAS SOPS 6124 HAS SOUS 3106 HAS SOUPS 3106 WITH SCORE 3112.124
AT ITER 1439 NEW BEST:: SOT 13127 SOS 6197 HAS SOPS 6197 HAS SOUS 3097 HAS SOUPS 3097 WITH SCORE 3103.197
AT ITER 1483 NEW BEST:: SOT 13120 SOS 6190 HAS SOPS 6190 HAS SOUS 3092 HAS SOUPS 3092 WITH SCORE 3098.19
AT ITER 1487 NEW BEST:: SOT 13117 SOS 6187 HAS SOPS 6187 HAS SOUS 3089 HAS SOUPS 3089 WITH SCORE 3095.187
AT ITER 1498 NEW BEST:: SOT 13099 SOS 6163 HAS SOPS 6163 HAS SOUS 3062 HAS SOUPS 3062 WITH SCORE 3068.163
AT ITER 1511 NEW BEST:: SOT 13097 SOS 6159 HAS SOPS 6159 HAS SOUS 3062 HAS SOUPS 3062 WITH SCORE 3068.159
AT ITER 1534 NEW BEST:: SOT 13089 SOS 6151 HAS SOPS 6151 HAS SOUS 3058 HAS SOUPS 3058 WITH SCORE 3064.151
AT ITER 1550 NEW BEST:: SOT 13088 SOS 6150 HAS SOPS 6150 HAS SOUS 3058 HAS SOUPS 3058 WITH SCORE 3064.15
AT ITER 1563 NEW BEST:: SOT 13044 SOS 6106 HAS SOPS 6106 HAS SOUS 3058 HAS SOUPS 3058 WITH SCORE 3064.106
AT ITER 1621 NEW BEST:: SOT 13044 SOS 6143 HAS SOPS 6143 HAS SOUS 3055 HAS SOUPS 3055 WITH SCORE 3061.143
AT ITER 1647 NEW BEST:: SOT 13044 SOS 6131 HAS SOPS 6131 HAS SOUS 3055 HAS SOUPS 3055 WITH SCORE 3061.131
AT ITER 1690 NEW BEST:: SOT 13039 SOS 6126 HAS SOPS 6126 HAS SOUS 3055 HAS SOUPS 3055 WITH SCORE 3061.126
AT ITER 1716 NEW BEST:: SOT 13039 SOS 6119 HAS SOPS 6119 HAS SOUS 3048 HAS SOUPS 3048 WITH SCORE 3054.119
AT ITER 1759 NEW BEST:: SOT 13034 SOS 6108 HAS SOPS 6108 HAS SOUS 3048 HAS SOUPS 3048 WITH SCORE 3054.108
AT ITER 1762 NEW BEST:: SOT 13027 SOS 6101 HAS SOPS 6101 HAS SOUS 3048 HAS SOUPS 3048 WITH SCORE 3054.101
AT ITER 1785 NEW BEST:: SOT 13027 SOS 6099 HAS SOPS 6099 HAS SOUS 3046 HAS SOUPS 3046 WITH SCORE 3052.099
AT ITER 1797 NEW BEST:: SOT 13036 SOS 6114 HAS SOPS 6114 HAS SOUS 3043 HAS SOUPS 3043 WITH SCORE 3049.114
AT ITER 1817 NEW BEST:: SOT 13031 SOS 6102 HAS SOPS 6102 HAS SOUS 3042 HAS SOUPS 3042 WITH SCORE 3048.102
AT ITER 1827 NEW BEST:: SOT 13019 SOS 6094 HAS SOPS 6094 HAS SOUS 3034 HAS SOUPS 3034 WITH SCORE 3040.094
AT ITER 1837 NEW BEST:: SOT 13019 SOS 6102 HAS SOPS 6102 HAS SOUS 3031 HAS SOUPS 3031 WITH SCORE 3037.102
AT ITER 1845 NEW BEST:: SOT 13015 SOS 6098 HAS SOPS 6098 HAS SOUS 3029 HAS SOUPS 3029 WITH SCORE 3035.098
AT ITER 1855 NEW BEST:: SOT 12998 SOS 6096 HAS SOPS 6096 HAS SOUS 3027 HAS SOUPS 3027 WITH SCORE 3033.096
AT ITER 1865 NEW BEST:: SOT 12998 SOS 6078 HAS SOPS 6078 HAS SOUS 3027 HAS SOUPS 3027 WITH SCORE 3033.078
AT ITER 1881 NEW BEST:: SOT 13015 SOS 6095 HAS SOPS 6095 HAS SOUS 3020 HAS SOUPS 3020 WITH SCORE 3026.095
AT ITER 1899 NEW BEST:: SOT 13015 SOS 6085 HAS SOPS 6085 HAS SOUS 3010 HAS SOUPS 3010 WITH SCORE 3016.085
AT ITER 1909 NEW BEST:: SOT 13015 SOS 6085 HAS SOPS 6085 HAS SOUS 3005 HAS SOUPS 3005 WITH SCORE 3011.085
AT ITER 1922 NEW BEST:: SOT 13013 SOS 6089 HAS SOPS 6089 HAS SOUS 3001 HAS SOUPS 3001 WITH SCORE 3007.089
AT ITER 1940 NEW BEST:: SOT 13013 SOS 6090 HAS SOPS 6090 HAS SOUS 2991 HAS SOUPS 2991 WITH SCORE 2997.09
AT ITER 1944 NEW BEST:: SOT 13043 SOS 6123 HAS SOPS 6123 HAS SOUS 2988 HAS SOUPS 2988 WITH SCORE 2994.123
AT ITER 1986 NEW BEST:: SOT 13037 SOS 6165 HAS SOPS 6165 HAS SOUS 2981 HAS SOUPS 2981 WITH SCORE 2987.165
AT ITER 2005 NEW BEST:: SOT 13032 SOS 6160 HAS SOPS 6160 HAS SOUS 2977 HAS SOUPS 2977 WITH SCORE 2983.16
AT ITER 2006 NEW BEST:: SOT 13032 SOS 6160 HAS SOPS 6160 HAS SOUS 2968 HAS SOUPS 2968 WITH SCORE 2974.16
AT ITER 2020 NEW BEST:: SOT 13032 SOS 6160 HAS SOPS 6160 HAS SOUS 2951 HAS SOUPS 2951 WITH SCORE 2957.16
AT ITER 2031 NEW BEST:: SOT 13032 SOS 6157 HAS SOPS 6157 HAS SOUS 2951 HAS SOUPS 2951 WITH SCORE 2957.157
AT ITER 2049 NEW BEST:: SOT 13032 SOS 6149 HAS SOPS 6149 HAS SOUS 2951 HAS SOUPS 2951 WITH SCORE 2957.149
AT ITER 2095 NEW BEST:: SOT 13035 SOS 6152 HAS SOPS 6152 HAS SOUS 2950 HAS SOUPS 2950 WITH SCORE 2956.152
AT ITER 2113 NEW BEST:: SOT 13052 SOS 6169 HAS SOPS 6169 HAS SOUS 2947 HAS SOUPS 2947 WITH SCORE 2953.169
AT ITER 2118 NEW BEST:: SOT 13039 SOS 6156 HAS SOPS 6156 HAS SOUS 2947 HAS SOUPS 2947 WITH SCORE 2953.156
AT ITER 2162 NEW BEST:: SOT 13037 SOS 6156 HAS SOPS 6156 HAS SOUS 2945 HAS SOUPS 2945 WITH SCORE 2951.156
AT ITER 2213 NEW BEST:: SOT 13036 SOS 6155 HAS SOPS 6155 HAS SOUS 2944 HAS SOUPS 2944 WITH SCORE 2950.155
AT ITER 2295 NEW BEST:: SOT 13036 SOS 6155 HAS SOPS 6155 HAS SOUS 2938 HAS SOUPS 2938 WITH SCORE 2944.155
AT ITER 2303 NEW BEST:: SOT 13035 SOS 6154 HAS SOPS 6154 HAS SOUS 2937 HAS SOUPS 2937 WITH SCORE 2943.154
AT ITER 2328 NEW BEST:: SOT 13030 SOS 6149 HAS SOPS 6149 HAS SOUS 2933 HAS SOUPS 2933 WITH SCORE 2939.149
AT ITER 2348 NEW BEST:: SOT 13024 SOS 6143 HAS SOPS 6143 HAS SOUS 2929 HAS SOUPS 2929 WITH SCORE 2935.143
AT ITER 2379 NEW BEST:: SOT 13022 SOS 6141 HAS SOPS 6141 HAS SOUS 2928 HAS SOUPS 2928 WITH SCORE 2934.141
AT ITER 2463 NEW BEST:: SOT 13022 SOS 6141 HAS SOPS 6141 HAS SOUS 2925 HAS SOUPS 2925 WITH SCORE 2931.141
AT ITER 2587 NEW BEST:: SOT 13008 SOS 6127 HAS SOPS 6127 HAS SOUS 2925 HAS SOUPS 2925 WITH SCORE 2931.127
AT ITER 2607 NEW BEST:: SOT 12996 SOS 6115 HAS SOPS 6115 HAS SOUS 2922 HAS SOUPS 2922 WITH SCORE 2928.115
AT ITER 2693 NEW BEST:: SOT 12996 SOS 6115 HAS SOPS 6115 HAS SOUS 2916 HAS SOUPS 2916 WITH SCORE 2922.115
AT ITER 2696 NEW BEST:: SOT 13032 SOS 6151 HAS SOPS 6151 HAS SOUS 2911 HAS SOUPS 2911 WITH SCORE 2917.151
AT ITER 2699 NEW BEST:: SOT 12996 SOS 6113 HAS SOPS 6113 HAS SOUS 2907 HAS SOUPS 2907 WITH SCORE 2913.113
AT ITER 2733 NEW BEST:: SOT 12984 SOS 6274 HAS SOPS 6274 HAS SOUS 2900 HAS SOUPS 2900 WITH SCORE 2906.274
AT ITER 2739 NEW BEST:: SOT 12984 SOS 6242 HAS SOPS 6242 HAS SOUS 2900 HAS SOUPS 2900 WITH SCORE 2906.242
AT ITER 2740 NEW BEST:: SOT 12984 SOS 6237 HAS SOPS 6237 HAS SOUS 2899 HAS SOUPS 2899 WITH SCORE 2905.237
AT ITER 2745 NEW BEST:: SOT 12978 SOS 6224 HAS SOPS 6224 HAS SOUS 2894 HAS SOUPS 2894 WITH SCORE 2900.224
AT ITER 2761 NEW BEST:: SOT 12993 SOS 6239 HAS SOPS 6239 HAS SOUS 2893 HAS SOUPS 2893 WITH SCORE 2899.239
AT ITER 2792 NEW BEST:: SOT 12987 SOS 6233 HAS SOPS 6233 HAS SOUS 2873 HAS SOUPS 2873 WITH SCORE 2879.233
AT ITER 2813 NEW BEST:: SOT 12987 SOS 6233 HAS SOPS 6233 HAS SOUS 2871 HAS SOUPS 2871 WITH SCORE 2877.233
AT ITER 2817 NEW BEST:: SOT 12985 SOS 6230 HAS SOPS 6230 HAS SOUS 2869 HAS SOUPS 2869 WITH SCORE 2875.23
AT ITER 2819 NEW BEST:: SOT 13025 SOS 6272 HAS SOPS 6272 HAS SOUS 2867 HAS SOUPS 2867 WITH SCORE 2873.272
AT ITER 2864 NEW BEST:: SOT 13015 SOS 6262 HAS SOPS 6262 HAS SOUS 2864 HAS SOUPS 2864 WITH SCORE 2870.262
AT ITER 2949 NEW BEST:: SOT 13015 SOS 6261 HAS SOPS 6261 HAS SOUS 2863 HAS SOUPS 2863 WITH SCORE 2869.261
AT ITER 2968 NEW BEST:: SOT 13015 SOS 6177 HAS SOPS 6177 HAS SOUS 2859 HAS SOUPS 2859 WITH SCORE 2865.177
AT ITER 2994 NEW BEST:: SOT 13013 SOS 6177 HAS SOPS 6177 HAS SOUS 2855 HAS SOUPS 2855 WITH SCORE 2861.177
AT ITER 3008 NEW BEST:: SOT 13023 SOS 6185 HAS SOPS 6185 HAS SOUS 2845 HAS SOUPS 2845 WITH SCORE 2851.185
AT ITER 3033 NEW BEST:: SOT 13020 SOS 6182 HAS SOPS 6182 HAS SOUS 2844 HAS SOUPS 2844 WITH SCORE 2850.182
AT ITER 3064 NEW BEST:: SOT 13014 SOS 6176 HAS SOPS 6176 HAS SOUS 2833 HAS SOUPS 2833 WITH SCORE 2839.176
AT ITER 3092 NEW BEST:: SOT 13014 SOS 6170 HAS SOPS 6170 HAS SOUS 2830 HAS SOUPS 2830 WITH SCORE 2836.17
AT ITER 3198 NEW BEST:: SOT 13014 SOS 6161 HAS SOPS 6161 HAS SOUS 2830 HAS SOUPS 2830 WITH SCORE 2836.161
AT ITER 3349 NEW BEST:: SOT 13004 SOS 6169 HAS SOPS 6169 HAS SOUS 2825 HAS SOUPS 2825 WITH SCORE 2831.169
AT ITER 3361 NEW BEST:: SOT 13004 SOS 6163 HAS SOPS 6163 HAS SOUS 2823 HAS SOUPS 2823 WITH SCORE 2829.163
AT ITER 3404 NEW BEST:: SOT 13002 SOS 6161 HAS SOPS 6161 HAS SOUS 2821 HAS SOUPS 2821 WITH SCORE 2827.161
AT ITER 3405 NEW BEST:: SOT 12998 SOS 6157 HAS SOPS 6157 HAS SOUS 2817 HAS SOUPS 2817 WITH SCORE 2823.157
AT ITER 3412 NEW BEST:: SOT 12998 SOS 6149 HAS SOPS 6149 HAS SOUS 2809 HAS SOUPS 2809 WITH SCORE 2815.149
AT ITER 3521 NEW BEST:: SOT 12983 SOS 6151 HAS SOPS 6151 HAS SOUS 2796 HAS SOUPS 2796 WITH SCORE 2802.151
AT ITER 3537 NEW BEST:: SOT 12989 SOS 6157 HAS SOPS 6157 HAS SOUS 2794 HAS SOUPS 2794 WITH SCORE 2800.157
AT ITER 3575 NEW BEST:: SOT 12989 SOS 6155 HAS SOPS 6155 HAS SOUS 2793 HAS SOUPS 2793 WITH SCORE 2799.155
AT ITER 3576 NEW BEST:: SOT 12975 SOS 6141 HAS SOPS 6141 HAS SOUS 2788 HAS SOUPS 2788 WITH SCORE 2794.141
AT ITER 3706 NEW BEST:: SOT 12971 SOS 6135 HAS SOPS 6135 HAS SOUS 2786 HAS SOUPS 2786 WITH SCORE 2792.135
AT ITER 3708 NEW BEST:: SOT 12971 SOS 6131 HAS SOPS 6131 HAS SOUS 2786 HAS SOUPS 2786 WITH SCORE 2792.131
AT ITER 3761 NEW BEST:: SOT 12970 SOS 6131 HAS SOPS 6131 HAS SOUS 2785 HAS SOUPS 2785 WITH SCORE 2791.131
AT ITER 3892 NEW BEST:: SOT 12978 SOS 6139 HAS SOPS 6139 HAS SOUS 2780 HAS SOUPS 2780 WITH SCORE 2786.139
AT ITER 3897 NEW BEST:: SOT 12962 SOS 6123 HAS SOPS 6123 HAS SOUS 2771 HAS SOUPS 2771 WITH SCORE 2777.123
AT ITER 3934 NEW BEST:: SOT 12956 SOS 6117 HAS SOPS 6117 HAS SOUS 2769 HAS SOUPS 2769 WITH SCORE 2775.117
AT ITER 3936 NEW BEST:: SOT 12953 SOS 6113 HAS SOPS 6113 HAS SOUS 2767 HAS SOUPS 2767 WITH SCORE 2773.113
AT ITER 3941 NEW BEST:: SOT 12951 SOS 6109 HAS SOPS 6109 HAS SOUS 2760 HAS SOUPS 2760 WITH SCORE 2766.109
AT ITER 3942 NEW BEST:: SOT 12951 SOS 6109 HAS SOPS 6109 HAS SOUS 2756 HAS SOUPS 2756 WITH SCORE 2762.109
AT ITER 3959 NEW BEST:: SOT 12951 SOS 6109 HAS SOPS 6109 HAS SOUS 2755 HAS SOUPS 2755 WITH SCORE 2761.109
AT ITER 3978 NEW BEST:: SOT 12951 SOS 6105 HAS SOPS 6105 HAS SOUS 2754 HAS SOUPS 2754 WITH SCORE 2760.105
AT ITER 4010 NEW BEST:: SOT 12936 SOS 6494 HAS SOPS 6494 HAS SOUS 2750 HAS SOUPS 2750 WITH SCORE 2756.494
AT ITER 4024 NEW BEST:: SOT 12935 SOS 6493 HAS SOPS 6493 HAS SOUS 2749 HAS SOUPS 2749 WITH SCORE 2755.493
AT ITER 4063 NEW BEST:: SOT 12933 SOS 6489 HAS SOPS 6489 HAS SOUS 2745 HAS SOUPS 2745 WITH SCORE 2751.489
AT ITER 4068 NEW BEST:: SOT 12933 SOS 6449 HAS SOPS 6449 HAS SOUS 2745 HAS SOUPS 2745 WITH SCORE 2751.449
AT ITER 4183 NEW BEST:: SOT 12932 SOS 6448 HAS SOPS 6448 HAS SOUS 2745 HAS SOUPS 2745 WITH SCORE 2751.448
AT ITER 4233 NEW BEST:: SOT 12933 SOS 6447 HAS SOPS 6447 HAS SOUS 2745 HAS SOUPS 2745 WITH SCORE 2751.447
AT ITER 4238 NEW BEST:: SOT 12932 SOS 6446 HAS SOPS 6446 HAS SOUS 2745 HAS SOUPS 2745 WITH SCORE 2751.446
AT ITER 4268 NEW BEST:: SOT 12934 SOS 6447 HAS SOPS 6447 HAS SOUS 2743 HAS SOUPS 2743 WITH SCORE 2749.447
AT ITER 4271 NEW BEST:: SOT 12934 SOS 6252 HAS SOPS 6252 HAS SOUS 2738 HAS SOUPS 2738 WITH SCORE 2744.252
AT ITER 4358 NEW BEST:: SOT 12924 SOS 6443 HAS SOPS 6443 HAS SOUS 2733 HAS SOUPS 2733 WITH SCORE 2739.443
AT ITER 4382 NEW BEST:: SOT 12924 SOS 6443 HAS SOPS 6443 HAS SOUS 2731 HAS SOUPS 2731 WITH SCORE 2737.443
AT ITER 4399 NEW BEST:: SOT 12908 SOS 6427 HAS SOPS 6427 HAS SOUS 2727 HAS SOUPS 2727 WITH SCORE 2733.427
AT ITER 4456 NEW BEST:: SOT 12904 SOS 6422 HAS SOPS 6422 HAS SOUS 2722 HAS SOUPS 2722 WITH SCORE 2728.422
AT ITER 4545 NEW BEST:: SOT 12898 SOS 6419 HAS SOPS 6419 HAS SOUS 2719 HAS SOUPS 2719 WITH SCORE 2725.419
AT ITER 4643 NEW BEST:: SOT 12896 SOS 6417 HAS SOPS 6417 HAS SOUS 2718 HAS SOUPS 2718 WITH SCORE 2724.417
AT ITER 4695 NEW BEST:: SOT 12896 SOS 6417 HAS SOPS 6417 HAS SOUS 2716 HAS SOUPS 2716 WITH SCORE 2722.417
AT ITER 4847 NEW BEST:: SOT 12888 SOS 6417 HAS SOPS 6417 HAS SOUS 2708 HAS SOUPS 2708 WITH SCORE 2714.417
AT ITER 4849 NEW BEST:: SOT 12888 SOS 6417 HAS SOPS 6417 HAS SOUS 2706 HAS SOUPS 2706 WITH SCORE 2712.417
AT ITER 4855 NEW BEST:: SOT 12888 SOS 6416 HAS SOPS 6416 HAS SOUS 2706 HAS SOUPS 2706 WITH SCORE 2712.416
AT ITER 4948 NEW BEST:: SOT 12872 SOS 6406 HAS SOPS 6406 HAS SOUS 2690 HAS SOUPS 2690 WITH SCORE 2696.406
AT ITER 5025 NEW BEST:: SOT 12858 SOS 6392 HAS SOPS 6392 HAS SOUS 2690 HAS SOUPS 2690 WITH SCORE 2696.392
AT ITER 5033 NEW BEST:: SOT 12854 SOS 6523 HAS SOPS 6523 HAS SOUS 2683 HAS SOUPS 2683 WITH SCORE 2689.523
AT ITER 5166 NEW BEST:: SOT 12854 SOS 6516 HAS SOPS 6516 HAS SOUS 2676 HAS SOUPS 2676 WITH SCORE 2682.516
AT ITER 5183 NEW BEST:: SOT 12851 SOS 6513 HAS SOPS 6513 HAS SOUS 2675 HAS SOUPS 2675 WITH SCORE 2681.513
AT ITER 5198 NEW BEST:: SOT 12844 SOS 6553 HAS SOPS 6553 HAS SOUS 2669 HAS SOUPS 2669 WITH SCORE 2675.553
AT ITER 5291 NEW BEST:: SOT 12845 SOS 6554 HAS SOPS 6554 HAS SOUS 2668 HAS SOUPS 2668 WITH SCORE 2674.554
AT ITER 5357 NEW BEST:: SOT 12844 SOS 6555 HAS SOPS 6555 HAS SOUS 2665 HAS SOUPS 2665 WITH SCORE 2671.555
AT ITER 5372 NEW BEST:: SOT 12846 SOS 6557 HAS SOPS 6557 HAS SOUS 2664 HAS SOUPS 2664 WITH SCORE 2670.557
AT ITER 5475 NEW BEST:: SOT 12841 SOS 6552 HAS SOPS 6552 HAS SOUS 2654 HAS SOUPS 2654 WITH SCORE 2660.552
AT ITER 5553 NEW BEST:: SOT 12840 SOS 6551 HAS SOPS 6551 HAS SOUS 2654 HAS SOUPS 2654 WITH SCORE 2660.551
AT ITER 5561 NEW BEST:: SOT 12839 SOS 6550 HAS SOPS 6550 HAS SOUS 2653 HAS SOUPS 2653 WITH SCORE 2659.55
AT ITER 5629 NEW BEST:: SOT 12841 SOS 6552 HAS SOPS 6552 HAS SOUS 2652 HAS SOUPS 2652 WITH SCORE 2658.552
AT ITER 5666 NEW BEST:: SOT 12837 SOS 6548 HAS SOPS 6548 HAS SOUS 2648 HAS SOUPS 2648 WITH SCORE 2654.548
AT ITER 5722 NEW BEST:: SOT 12837 SOS 6542 HAS SOPS 6542 HAS SOUS 2644 HAS SOUPS 2644 WITH SCORE 2650.542
AT ITER 5749 NEW BEST:: SOT 12837 SOS 6460 HAS SOPS 6460 HAS SOUS 2644 HAS SOUPS 2644 WITH SCORE 2650.46
AT ITER 5788 NEW BEST:: SOT 12844 SOS 6467 HAS SOPS 6467 HAS SOUS 2637 HAS SOUPS 2637 WITH SCORE 2643.467
AT ITER 6056 NEW BEST:: SOT 12835 SOS 6489 HAS SOPS 6489 HAS SOUS 2632 HAS SOUPS 2632 WITH SCORE 2638.489
AT ITER 6097 NEW BEST:: SOT 12832 SOS 6487 HAS SOPS 6487 HAS SOUS 2630 HAS SOUPS 2630 WITH SCORE 2636.487
AT ITER 6306 NEW BEST:: SOT 12832 SOS 6487 HAS SOPS 6487 HAS SOUS 2628 HAS SOUPS 2628 WITH SCORE 2634.487
AT ITER 6375 NEW BEST:: SOT 12833 SOS 6485 HAS SOPS 6485 HAS SOUS 2625 HAS SOUPS 2625 WITH SCORE 2631.485
AT ITER 6413 NEW BEST:: SOT 12832 SOS 6484 HAS SOPS 6484 HAS SOUS 2625 HAS SOUPS 2625 WITH SCORE 2631.484
AT ITER 6450 NEW BEST:: SOT 12829 SOS 6490 HAS SOPS 6490 HAS SOUS 2624 HAS SOUPS 2624 WITH SCORE 2630.49
AT ITER 6527 NEW BEST:: SOT 12829 SOS 6459 HAS SOPS 6459 HAS SOUS 2624 HAS SOUPS 2624 WITH SCORE 2630.459
AT ITER 6530 NEW BEST:: SOT 12827 SOS 6457 HAS SOPS 6457 HAS SOUS 2624 HAS SOUPS 2624 WITH SCORE 2630.457
AT ITER 6571 NEW BEST:: SOT 12827 SOS 6451 HAS SOPS 6451 HAS SOUS 2620 HAS SOUPS 2620 WITH SCORE 2626.451
AT ITER 6578 NEW BEST:: SOT 12827 SOS 6450 HAS SOPS 6450 HAS SOUS 2619 HAS SOUPS 2619 WITH SCORE 2625.45
AT ITER 6622 NEW BEST:: SOT 12829 SOS 6452 HAS SOPS 6452 HAS SOUS 2617 HAS SOUPS 2617 WITH SCORE 2623.452
AT ITER 6695 NEW BEST:: SOT 12829 SOS 6448 HAS SOPS 6448 HAS SOUS 2613 HAS SOUPS 2613 WITH SCORE 2619.448
AT ITER 6740 NEW BEST:: SOT 12829 SOS 6493 HAS SOPS 6493 HAS SOUS 2612 HAS SOUPS 2612 WITH SCORE 2618.493
AT ITER 6747 NEW BEST:: SOT 12827 SOS 6491 HAS SOPS 6491 HAS SOUS 2612 HAS SOUPS 2612 WITH SCORE 2618.491
AT ITER 6840 NEW BEST:: SOT 12834 SOS 6511 HAS SOPS 6511 HAS SOUS 2610 HAS SOUPS 2610 WITH SCORE 2616.511
AT ITER 6850 NEW BEST:: SOT 12832 SOS 6509 HAS SOPS 6509 HAS SOUS 2610 HAS SOUPS 2610 WITH SCORE 2616.509
AT ITER 6907 NEW BEST:: SOT 12832 SOS 6509 HAS SOPS 6509 HAS SOUS 2607 HAS SOUPS 2607 WITH SCORE 2613.509
AT ITER 6921 NEW BEST:: SOT 12827 SOS 6618 HAS SOPS 6618 HAS SOUS 2606 HAS SOUPS 2606 WITH SCORE 2612.618
AT ITER 6977 NEW BEST:: SOT 12823 SOS 6614 HAS SOPS 6614 HAS SOUS 2603 HAS SOUPS 2603 WITH SCORE 2609.614
AT ITER 7053 NEW BEST:: SOT 12827 SOS 6618 HAS SOPS 6618 HAS SOUS 2601 HAS SOUPS 2601 WITH SCORE 2607.618
AT ITER 7106 NEW BEST:: SOT 12824 SOS 6615 HAS SOPS 6615 HAS SOUS 2600 HAS SOUPS 2600 WITH SCORE 2606.615
AT ITER 7116 NEW BEST:: SOT 12825 SOS 6612 HAS SOPS 6612 HAS SOUS 2599 HAS SOUPS 2599 WITH SCORE 2605.612
AT ITER 7125 NEW BEST:: SOT 12821 SOS 6608 HAS SOPS 6608 HAS SOUS 2595 HAS SOUPS 2595 WITH SCORE 2601.608
AT ITER 7145 NEW BEST:: SOT 12819 SOS 6606 HAS SOPS 6606 HAS SOUS 2594 HAS SOUPS 2594 WITH SCORE 2600.606
AT ITER 7467 NEW BEST:: SOT 12815 SOS 6644 HAS SOPS 6644 HAS SOUS 2592 HAS SOUPS 2592 WITH SCORE 2598.644
AT ITER 7606 NEW BEST:: SOT 12810 SOS 6639 HAS SOPS 6639 HAS SOUS 2591 HAS SOUPS 2591 WITH SCORE 2597.639
AT ITER 7616 NEW BEST:: SOT 12810 SOS 6636 HAS SOPS 6636 HAS SOUS 2591 HAS SOUPS 2591 WITH SCORE 2597.636
AT ITER 7676 NEW BEST:: SOT 12810 SOS 6634 HAS SOPS 6634 HAS SOUS 2591 HAS SOUPS 2591 WITH SCORE 2597.634
AT ITER 7839 NEW BEST:: SOT 12808 SOS 6632 HAS SOPS 6632 HAS SOUS 2591 HAS SOUPS 2591 WITH SCORE 2597.632
AT ITER 7909 NEW BEST:: SOT 12808 SOS 6632 HAS SOPS 6632 HAS SOUS 2589 HAS SOUPS 2589 WITH SCORE 2595.632
AT ITER 7917 NEW BEST:: SOT 12808 SOS 6628 HAS SOPS 6628 HAS SOUS 2589 HAS SOUPS 2589 WITH SCORE 2595.628
AT ITER 7960 NEW BEST:: SOT 12807 SOS 6627 HAS SOPS 6627 HAS SOUS 2589 HAS SOUPS 2589 WITH SCORE 2595.627
AT ITER 7977 NEW BEST:: SOT 12807 SOS 6625 HAS SOPS 6625 HAS SOUS 2588 HAS SOUPS 2588 WITH SCORE 2594.625
AT ITER 8060 NEW BEST:: SOT 12805 SOS 6623 HAS SOPS 6623 HAS SOUS 2586 HAS SOUPS 2586 WITH SCORE 2592.623
AT ITER 8078 NEW BEST:: SOT 12805 SOS 6623 HAS SOPS 6623 HAS SOUS 2584 HAS SOUPS 2584 WITH SCORE 2590.623
AT ITER 8223 NEW BEST:: SOT 12804 SOS 6619 HAS SOPS 6619 HAS SOUS 2583 HAS SOUPS 2583 WITH SCORE 2589.619
AT ITER 8224 NEW BEST:: SOT 12804 SOS 6618 HAS SOPS 6618 HAS SOUS 2582 HAS SOUPS 2582 WITH SCORE 2588.618
AT ITER 8385 NEW BEST:: SOT 12803 SOS 6617 HAS SOPS 6617 HAS SOUS 2581 HAS SOUPS 2581 WITH SCORE 2587.617
AT ITER 8416 NEW BEST:: SOT 12802 SOS 6614 HAS SOPS 6614 HAS SOUS 2581 HAS SOUPS 2581 WITH SCORE 2587.614
AT ITER 8425 NEW BEST:: SOT 12802 SOS 6614 HAS SOPS 6614 HAS SOUS 2580 HAS SOUPS 2580 WITH SCORE 2586.614
AT ITER 8444 NEW BEST:: SOT 12802 SOS 6612 HAS SOPS 6612 HAS SOUS 2578 HAS SOUPS 2578 WITH SCORE 2584.612
AT ITER 8482 NEW BEST:: SOT 12803 SOS 6613 HAS SOPS 6613 HAS SOUS 2576 HAS SOUPS 2576 WITH SCORE 2582.613
AT ITER 8773 NEW BEST:: SOT 12801 SOS 6618 HAS SOPS 6618 HAS SOUS 2575 HAS SOUPS 2575 WITH SCORE 2581.618
AT ITER 9162 NEW BEST:: SOT 12768 SOS 6603 HAS SOPS 6603 HAS SOUS 2574 HAS SOUPS 2574 WITH SCORE 2580.603
AT ITER 9466 NEW BEST:: SOT 12786 SOS 6603 HAS SOPS 6603 HAS SOUS 2573 HAS SOUPS 2573 WITH SCORE 2579.603
AT ITER 9566 NEW BEST:: SOT 12786 SOS 6602 HAS SOPS 6602 HAS SOUS 2572 HAS SOUPS 2572 WITH SCORE 2578.602
AT ITER 9582 NEW BEST:: SOT 12791 SOS 6607 HAS SOPS 6607 HAS SOUS 2569 HAS SOUPS 2569 WITH SCORE 2575.607
AT ITER 9613 NEW BEST:: SOT 12785 SOS 6600 HAS SOPS 6600 HAS SOUS 2562 HAS SOUPS 2562 WITH SCORE 2568.6
AT ITER 9707 NEW BEST:: SOT 12775 SOS 6586 HAS SOPS 6586 HAS SOUS 2560 HAS SOUPS 2560 WITH SCORE 2566.586
AT ITER 9711 NEW BEST:: SOT 12773 SOS 6584 HAS SOPS 6584 HAS SOUS 2560 HAS SOUPS 2560 WITH SCORE 2566.584
AT ITER 9997 NEW BEST:: SOT 12767 SOS 6577 HAS SOPS 6577 HAS SOUS 2559 HAS SOUPS 2559 WITH SCORE 2565.577
STATE_SPACE STATES 974325 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 30 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 3599110 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678682805397

--------------------
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="NeoElection-COL-3"
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 NeoElection-COL-3, 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 r259-smll-167863534100128"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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