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.r355-smll-167891803100216.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 SafeBus-COL-06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r355-smll-167891803100216
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 444K
-rw-r--r-- 1 mcc users 6.8K Feb 26 01:31 CTLCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 26 01:31 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 26 01:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 26 01:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:49 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.0K Feb 26 01:38 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 26 01:38 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 01:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 92K Feb 26 01:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 42K 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 1679870452193

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=SafeBus-COL-06
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-26 22:40:56] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-26 22:40:56] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-26 22:40:56] [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-26 22:40:56] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-26 22:40:57] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1009 ms
[2023-03-26 22:40:57] [INFO ] Detected 1 constant HL places corresponding to 6 PT places.
[2023-03-26 22:40:57] [INFO ] Imported 20 HL places and 14 HL transitions for a total of 150 PT places and 2029.0 transition bindings in 46 ms.
[2023-03-26 22:40:57] [INFO ] Unfolded HLPN to a Petri net with 150 places and 463 transitions 2962 arcs in 84 ms.
[2023-03-26 22:40:57] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Reduce places removed 6 places and 12 transitions.
[2023-03-26 22:40:57] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 144 places, 451 transitions and 2908 arcs took 22 ms.
Total runtime 1536 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SafeBus (COL), instance 06
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: 144 places, 451 transitions, 2908 arcs.
AT ITER 0 NEW BEST:: SOT 37562 SOS 27794 HAS SOPS 27598 HAS SOUS 14292 HAS SOUPS 14187 WITH SCORE 14214.794
AT ITER 16 NEW BEST:: SOT 37546 SOS 27801 HAS SOPS 27605 HAS SOUS 14280 HAS SOUPS 14175 WITH SCORE 14202.801
AT ITER 17 NEW BEST:: SOT 37524 SOS 27746 HAS SOPS 27521 HAS SOUS 14111 HAS SOUPS 13977 WITH SCORE 14004.746
AT ITER 30 NEW BEST:: SOT 37486 SOS 27711 HAS SOPS 27486 HAS SOUS 14076 HAS SOUPS 13942 WITH SCORE 13969.711
AT ITER 31 NEW BEST:: SOT 37494 SOS 27839 HAS SOPS 27614 HAS SOUS 14065 HAS SOUPS 13931 WITH SCORE 13958.839
AT ITER 37 NEW BEST:: SOT 37487 SOS 27832 HAS SOPS 27607 HAS SOUS 14039 HAS SOUPS 13905 WITH SCORE 13932.832
AT ITER 54 NEW BEST:: SOT 37487 SOS 27847 HAS SOPS 27622 HAS SOUS 14036 HAS SOUPS 13902 WITH SCORE 13929.847
AT ITER 62 NEW BEST:: SOT 37552 SOS 27905 HAS SOPS 27687 HAS SOUS 14002 HAS SOUPS 13875 WITH SCORE 13902.905
AT ITER 63 NEW BEST:: SOT 37113 SOS 27480 HAS SOPS 27276 HAS SOUS 13583 HAS SOUPS 13470 WITH SCORE 13497.48
AT ITER 67 NEW BEST:: SOT 37089 SOS 27449 HAS SOPS 27252 HAS SOUS 13439 HAS SOUPS 13333 WITH SCORE 13360.449
AT ITER 84 NEW BEST:: SOT 37085 SOS 27445 HAS SOPS 27248 HAS SOUS 13435 HAS SOUPS 13329 WITH SCORE 13356.445
AT ITER 85 NEW BEST:: SOT 37106 SOS 27466 HAS SOPS 27254 HAS SOUS 13414 HAS SOUPS 13293 WITH SCORE 13320.466
AT ITER 97 NEW BEST:: SOT 37102 SOS 27462 HAS SOPS 27250 HAS SOUS 13408 HAS SOUPS 13287 WITH SCORE 13314.462
AT ITER 100 NEW BEST:: SOT 37123 SOS 27483 HAS SOPS 27271 HAS SOUS 13407 HAS SOUPS 13286 WITH SCORE 13313.483
AT ITER 119 NEW BEST:: SOT 37114 SOS 27481 HAS SOPS 27269 HAS SOUS 13405 HAS SOUPS 13284 WITH SCORE 13311.481
AT ITER 124 NEW BEST:: SOT 37094 SOS 27461 HAS SOPS 27249 HAS SOUS 13383 HAS SOUPS 13262 WITH SCORE 13289.461
AT ITER 130 NEW BEST:: SOT 37234 SOS 27575 HAS SOPS 27316 HAS SOUS 13327 HAS SOUPS 13159 WITH SCORE 13186.575
AT ITER 140 NEW BEST:: SOT 37210 SOS 27551 HAS SOPS 27292 HAS SOUS 13324 HAS SOUPS 13156 WITH SCORE 13183.551
AT ITER 144 NEW BEST:: SOT 37205 SOS 27541 HAS SOPS 27282 HAS SOUS 13319 HAS SOUPS 13151 WITH SCORE 13178.541
AT ITER 145 NEW BEST:: SOT 37197 SOS 27535 HAS SOPS 27276 HAS SOUS 13311 HAS SOUPS 13143 WITH SCORE 13170.535
AT ITER 146 NEW BEST:: SOT 36800 SOS 27181 HAS SOPS 27019 HAS SOUS 12982 HAS SOUPS 12911 WITH SCORE 12938.181
AT ITER 148 NEW BEST:: SOT 36755 SOS 27136 HAS SOPS 26974 HAS SOUS 12910 HAS SOUPS 12839 WITH SCORE 12866.136
AT ITER 160 NEW BEST:: SOT 35854 SOS 26262 HAS SOPS 26100 HAS SOUS 12071 HAS SOUPS 12000 WITH SCORE 12026.262
AT ITER 174 NEW BEST:: SOT 35850 SOS 26346 HAS SOPS 26184 HAS SOUS 12061 HAS SOUPS 11990 WITH SCORE 12016.346
AT ITER 176 NEW BEST:: SOT 35826 SOS 26306 HAS SOPS 26160 HAS SOUS 11893 HAS SOUPS 11838 WITH SCORE 11864.306
AT ITER 186 NEW BEST:: SOT 35894 SOS 26351 HAS SOPS 26199 HAS SOUS 11783 HAS SOUPS 11722 WITH SCORE 11748.351
AT ITER 188 NEW BEST:: SOT 35886 SOS 26343 HAS SOPS 26191 HAS SOUS 11769 HAS SOUPS 11708 WITH SCORE 11734.343
AT ITER 195 NEW BEST:: SOT 35979 SOS 24986 HAS SOPS 24628 HAS SOUS 11960 HAS SOUPS 11693 WITH SCORE 11717.986
AT ITER 218 NEW BEST:: SOT 35941 SOS 24940 HAS SOPS 24590 HAS SOUS 11933 HAS SOUPS 11674 WITH SCORE 11698.94
AT ITER 222 NEW BEST:: SOT 35647 SOS 24595 HAS SOPS 24288 HAS SOUS 11498 HAS SOUPS 11282 WITH SCORE 11306.595
AT ITER 224 NEW BEST:: SOT 35641 SOS 24592 HAS SOPS 24285 HAS SOUS 11492 HAS SOUPS 11276 WITH SCORE 11300.592
AT ITER 234 NEW BEST:: SOT 35627 SOS 24578 HAS SOPS 24271 HAS SOUS 11463 HAS SOUPS 11247 WITH SCORE 11271.578
AT ITER 238 NEW BEST:: SOT 35582 SOS 24500 HAS SOPS 24219 HAS SOUS 11344 HAS SOUPS 11154 WITH SCORE 11178.5
AT ITER 252 NEW BEST:: SOT 35500 SOS 24443 HAS SOPS 24162 HAS SOUS 11311 HAS SOUPS 11121 WITH SCORE 11145.443
AT ITER 261 NEW BEST:: SOT 35497 SOS 24440 HAS SOPS 24159 HAS SOUS 11287 HAS SOUPS 11097 WITH SCORE 11121.44
AT ITER 264 NEW BEST:: SOT 35470 SOS 24411 HAS SOPS 24127 HAS SOUS 11221 HAS SOUPS 11028 WITH SCORE 11052.411
AT ITER 265 NEW BEST:: SOT 35529 SOS 24417 HAS SOPS 24051 HAS SOUS 11293 HAS SOUPS 11018 WITH SCORE 11042.417
AT ITER 286 NEW BEST:: SOT 35571 SOS 24318 HAS SOPS 23847 HAS SOUS 11214 HAS SOUPS 10834 WITH SCORE 10858.318
AT ITER 290 NEW BEST:: SOT 35571 SOS 24324 HAS SOPS 23853 HAS SOUS 11210 HAS SOUPS 10830 WITH SCORE 10854.324
AT ITER 300 NEW BEST:: SOT 35567 SOS 24245 HAS SOPS 23761 HAS SOUS 11145 HAS SOUPS 10752 WITH SCORE 10776.245
AT ITER 301 NEW BEST:: SOT 35567 SOS 24245 HAS SOPS 23761 HAS SOUS 11128 HAS SOUPS 10735 WITH SCORE 10759.245
AT ITER 357 NEW BEST:: SOT 35561 SOS 24239 HAS SOPS 23755 HAS SOUS 11120 HAS SOUPS 10727 WITH SCORE 10751.239
AT ITER 361 NEW BEST:: SOT 35609 SOS 24278 HAS SOPS 23803 HAS SOUS 11108 HAS SOUPS 10724 WITH SCORE 10748.278
AT ITER 372 NEW BEST:: SOT 35606 SOS 24275 HAS SOPS 23800 HAS SOUS 11108 HAS SOUPS 10724 WITH SCORE 10748.275
AT ITER 391 NEW BEST:: SOT 35680 SOS 24322 HAS SOPS 23874 HAS SOUS 11079 HAS SOUPS 10722 WITH SCORE 10746.322
AT ITER 392 NEW BEST:: SOT 35664 SOS 24282 HAS SOPS 23828 HAS SOUS 11081 HAS SOUPS 10718 WITH SCORE 10742.282
AT ITER 397 NEW BEST:: SOT 35596 SOS 24214 HAS SOPS 23760 HAS SOUS 11000 HAS SOUPS 10637 WITH SCORE 10661.214
AT ITER 403 NEW BEST:: SOT 35603 SOS 24198 HAS SOPS 23767 HAS SOUS 10944 HAS SOUPS 10604 WITH SCORE 10628.198
AT ITER 408 NEW BEST:: SOT 35726 SOS 24321 HAS SOPS 23890 HAS SOUS 10892 HAS SOUPS 10552 WITH SCORE 10576.321
AT ITER 431 NEW BEST:: SOT 35729 SOS 24323 HAS SOPS 23893 HAS SOUS 10836 HAS SOUPS 10497 WITH SCORE 10521.323
AT ITER 434 NEW BEST:: SOT 35611 SOS 24189 HAS SOPS 23775 HAS SOUS 10776 HAS SOUPS 10453 WITH SCORE 10477.189
AT ITER 441 NEW BEST:: SOT 35756 SOS 24278 HAS SOPS 23740 HAS SOUS 10858 HAS SOUPS 10411 WITH SCORE 10435.278
AT ITER 465 NEW BEST:: SOT 35749 SOS 24271 HAS SOPS 23733 HAS SOUS 10851 HAS SOUPS 10404 WITH SCORE 10428.271
AT ITER 467 NEW BEST:: SOT 35749 SOS 24271 HAS SOPS 23733 HAS SOUS 10848 HAS SOUPS 10401 WITH SCORE 10425.271
AT ITER 504 NEW BEST:: SOT 35742 SOS 24263 HAS SOPS 23726 HAS SOUS 10830 HAS SOUPS 10384 WITH SCORE 10408.263
AT ITER 515 NEW BEST:: SOT 35694 SOS 24215 HAS SOPS 23678 HAS SOUS 10777 HAS SOUPS 10331 WITH SCORE 10355.215
AT ITER 516 NEW BEST:: SOT 35628 SOS 24153 HAS SOPS 23622 HAS SOUS 10712 HAS SOUPS 10272 WITH SCORE 10296.153
AT ITER 519 NEW BEST:: SOT 35587 SOS 24119 HAS SOPS 23581 HAS SOUS 10690 HAS SOUPS 10243 WITH SCORE 10267.119
AT ITER 524 NEW BEST:: SOT 35586 SOS 24118 HAS SOPS 23580 HAS SOUS 10689 HAS SOUPS 10242 WITH SCORE 10266.118
AT ITER 535 NEW BEST:: SOT 35583 SOS 24115 HAS SOPS 23577 HAS SOUS 10686 HAS SOUPS 10239 WITH SCORE 10263.115
AT ITER 538 NEW BEST:: SOT 35624 SOS 24135 HAS SOPS 23618 HAS SOUS 10646 HAS SOUPS 10220 WITH SCORE 10244.135
AT ITER 539 NEW BEST:: SOT 35621 SOS 24132 HAS SOPS 23615 HAS SOUS 10643 HAS SOUPS 10217 WITH SCORE 10241.132
AT ITER 545 NEW BEST:: SOT 35621 SOS 25220 HAS SOPS 24091 HAS SOUS 10649 HAS SOUPS 10206 WITH SCORE 10231.22
AT ITER 578 NEW BEST:: SOT 35629 SOS 25224 HAS SOPS 24099 HAS SOUS 10631 HAS SOUPS 10192 WITH SCORE 10217.224
AT ITER 604 NEW BEST:: SOT 35620 SOS 25287 HAS SOPS 24162 HAS SOUS 10597 HAS SOUPS 10158 WITH SCORE 10183.287
AT ITER 614 NEW BEST:: SOT 35587 SOS 25242 HAS SOPS 24129 HAS SOUS 10468 HAS SOUPS 10041 WITH SCORE 10066.242
AT ITER 629 NEW BEST:: SOT 35581 SOS 25242 HAS SOPS 24123 HAS SOUS 10459 HAS SOUPS 10026 WITH SCORE 10051.242
AT ITER 632 NEW BEST:: SOT 35556 SOS 25217 HAS SOPS 24098 HAS SOUS 10434 HAS SOUPS 10001 WITH SCORE 10026.217
AT ITER 643 NEW BEST:: SOT 35546 SOS 25201 HAS SOPS 24088 HAS SOUS 10424 HAS SOUPS 9997 WITH SCORE 10022.201
AT ITER 675 NEW BEST:: SOT 35542 SOS 25185 HAS SOPS 24084 HAS SOUS 10389 HAS SOUPS 9974 WITH SCORE 9999.185
AT ITER 693 NEW BEST:: SOT 35482 SOS 25060 HAS SOPS 23959 HAS SOUS 10316 HAS SOUPS 9901 WITH SCORE 9926.06
AT ITER 695 NEW BEST:: SOT 35370 SOS 24978 HAS SOPS 23877 HAS SOUS 10210 HAS SOUPS 9795 WITH SCORE 9819.978
AT ITER 712 NEW BEST:: SOT 35361 SOS 25196 HAS SOPS 24115 HAS SOUS 10181 HAS SOUPS 9786 WITH SCORE 9811.196
AT ITER 716 NEW BEST:: SOT 35356 SOS 25196 HAS SOPS 24110 HAS SOUS 10156 HAS SOUPS 9756 WITH SCORE 9781.196
AT ITER 733 NEW BEST:: SOT 35316 SOS 25142 HAS SOPS 24056 HAS SOUS 10114 HAS SOUPS 9714 WITH SCORE 9739.142
AT ITER 740 NEW BEST:: SOT 35261 SOS 25087 HAS SOPS 24001 HAS SOUS 10059 HAS SOUPS 9659 WITH SCORE 9684.087
AT ITER 753 NEW BEST:: SOT 35268 SOS 25111 HAS SOPS 24008 HAS SOUS 10036 HAS SOUPS 9619 WITH SCORE 9644.111
AT ITER 777 NEW BEST:: SOT 35065 SOS 24908 HAS SOPS 23805 HAS SOUS 9793 HAS SOUPS 9376 WITH SCORE 9400.908
AT ITER 796 NEW BEST:: SOT 35065 SOS 24894 HAS SOPS 23791 HAS SOUS 9793 HAS SOUPS 9376 WITH SCORE 9400.894
AT ITER 806 NEW BEST:: SOT 35065 SOS 24896 HAS SOPS 23791 HAS SOUS 9785 HAS SOUPS 9366 WITH SCORE 9390.896
AT ITER 823 NEW BEST:: SOT 35047 SOS 24543 HAS SOPS 23396 HAS SOUS 9763 HAS SOUPS 9302 WITH SCORE 9326.543
AT ITER 826 NEW BEST:: SOT 35047 SOS 24561 HAS SOPS 23414 HAS SOUS 9757 HAS SOUPS 9296 WITH SCORE 9320.561
AT ITER 834 NEW BEST:: SOT 35075 SOS 24569 HAS SOPS 23442 HAS SOUS 9724 HAS SOUPS 9283 WITH SCORE 9307.569
AT ITER 839 NEW BEST:: SOT 34988 SOS 24482 HAS SOPS 23355 HAS SOUS 9659 HAS SOUPS 9218 WITH SCORE 9242.482
AT ITER 842 NEW BEST:: SOT 34929 SOS 24423 HAS SOPS 23296 HAS SOUS 9591 HAS SOUPS 9150 WITH SCORE 9174.423
AT ITER 847 NEW BEST:: SOT 34833 SOS 24327 HAS SOPS 23200 HAS SOUS 9495 HAS SOUPS 9054 WITH SCORE 9078.327
AT ITER 874 NEW BEST:: SOT 34838 SOS 24308 HAS SOPS 23205 HAS SOUS 9428 HAS SOUPS 9011 WITH SCORE 9035.308
AT ITER 923 NEW BEST:: SOT 34848 SOS 24296 HAS SOPS 23215 HAS SOUS 9361 HAS SOUPS 8966 WITH SCORE 8990.296
AT ITER 986 NEW BEST:: SOT 34848 SOS 24296 HAS SOPS 23215 HAS SOUS 9360 HAS SOUPS 8965 WITH SCORE 8989.296
AT ITER 1020 NEW BEST:: SOT 34830 SOS 24287 HAS SOPS 23197 HAS SOUS 9367 HAS SOUPS 8963 WITH SCORE 8987.287
AT ITER 1022 NEW BEST:: SOT 34830 SOS 24291 HAS SOPS 23201 HAS SOUS 9348 HAS SOUPS 8944 WITH SCORE 8968.291
AT ITER 1029 NEW BEST:: SOT 34830 SOS 24675 HAS SOPS 23369 HAS SOUS 9344 HAS SOUPS 8934 WITH SCORE 8958.675
AT ITER 1042 NEW BEST:: SOT 34809 SOS 24654 HAS SOPS 23348 HAS SOUS 9334 HAS SOUPS 8924 WITH SCORE 8948.654
AT ITER 1083 NEW BEST:: SOT 34794 SOS 24650 HAS SOPS 23359 HAS SOUS 9303 HAS SOUPS 8908 WITH SCORE 8932.65
AT ITER 1105 NEW BEST:: SOT 34790 SOS 24642 HAS SOPS 23355 HAS SOUS 9275 HAS SOUPS 8884 WITH SCORE 8908.642
AT ITER 1117 NEW BEST:: SOT 34706 SOS 24534 HAS SOPS 23247 HAS SOUS 9206 HAS SOUPS 8815 WITH SCORE 8839.534
AT ITER 1134 NEW BEST:: SOT 34692 SOS 24520 HAS SOPS 23233 HAS SOUS 9195 HAS SOUPS 8804 WITH SCORE 8828.52
AT ITER 1135 NEW BEST:: SOT 34589 SOS 24402 HAS SOPS 23130 HAS SOUS 9138 HAS SOUPS 8762 WITH SCORE 8786.402
AT ITER 1156 NEW BEST:: SOT 34537 SOS 24336 HAS SOPS 23078 HAS SOUS 9058 HAS SOUPS 8696 WITH SCORE 8720.336
AT ITER 1180 NEW BEST:: SOT 34537 SOS 24378 HAS SOPS 23120 HAS SOUS 9053 HAS SOUPS 8691 WITH SCORE 8715.378
AT ITER 1194 NEW BEST:: SOT 34522 SOS 24348 HAS SOPS 23078 HAS SOUS 9035 HAS SOUPS 8661 WITH SCORE 8685.348
AT ITER 1224 NEW BEST:: SOT 34522 SOS 24342 HAS SOPS 23078 HAS SOUS 9023 HAS SOUPS 8655 WITH SCORE 8679.342
AT ITER 1226 NEW BEST:: SOT 34485 SOS 24285 HAS SOPS 23021 HAS SOUS 8986 HAS SOUPS 8618 WITH SCORE 8642.285
AT ITER 1245 NEW BEST:: SOT 34484 SOS 24280 HAS SOPS 23020 HAS SOUS 8981 HAS SOUPS 8617 WITH SCORE 8641.28
AT ITER 1266 NEW BEST:: SOT 34484 SOS 24278 HAS SOPS 23020 HAS SOUS 8975 HAS SOUPS 8613 WITH SCORE 8637.278
AT ITER 1295 NEW BEST:: SOT 34473 SOS 24262 HAS SOPS 23009 HAS SOUS 8949 HAS SOUPS 8592 WITH SCORE 8616.262
AT ITER 1300 NEW BEST:: SOT 34435 SOS 24224 HAS SOPS 22971 HAS SOUS 8911 HAS SOUPS 8554 WITH SCORE 8578.224
AT ITER 1310 NEW BEST:: SOT 34435 SOS 24230 HAS SOPS 22977 HAS SOUS 8907 HAS SOUPS 8550 WITH SCORE 8574.23
AT ITER 1313 NEW BEST:: SOT 34425 SOS 24240 HAS SOPS 22987 HAS SOUS 8901 HAS SOUPS 8544 WITH SCORE 8568.24
AT ITER 1341 NEW BEST:: SOT 34425 SOS 24235 HAS SOPS 22987 HAS SOUS 8886 HAS SOUPS 8534 WITH SCORE 8558.235
AT ITER 1361 NEW BEST:: SOT 34393 SOS 24203 HAS SOPS 22967 HAS SOUS 8854 HAS SOUPS 8514 WITH SCORE 8538.203
AT ITER 1369 NEW BEST:: SOT 34393 SOS 24203 HAS SOPS 22967 HAS SOUS 8851 HAS SOUPS 8511 WITH SCORE 8535.203
AT ITER 1375 NEW BEST:: SOT 34390 SOS 24200 HAS SOPS 22964 HAS SOUS 8848 HAS SOUPS 8508 WITH SCORE 8532.2
AT ITER 1446 NEW BEST:: SOT 34393 SOS 24203 HAS SOPS 22967 HAS SOUS 8843 HAS SOUPS 8503 WITH SCORE 8527.203
AT ITER 1458 NEW BEST:: SOT 34375 SOS 24187 HAS SOPS 22951 HAS SOUS 8828 HAS SOUPS 8488 WITH SCORE 8512.187
AT ITER 1505 NEW BEST:: SOT 34372 SOS 24181 HAS SOPS 22948 HAS SOUS 8815 HAS SOUPS 8478 WITH SCORE 8502.181
AT ITER 1522 NEW BEST:: SOT 34364 SOS 24171 HAS SOPS 22940 HAS SOUS 8807 HAS SOUPS 8472 WITH SCORE 8496.171
AT ITER 1580 NEW BEST:: SOT 34302 SOS 24097 HAS SOPS 22878 HAS SOUS 8783 HAS SOUPS 8460 WITH SCORE 8484.097
AT ITER 1585 NEW BEST:: SOT 34302 SOS 24097 HAS SOPS 22878 HAS SOUS 8779 HAS SOUPS 8456 WITH SCORE 8480.097
AT ITER 1610 NEW BEST:: SOT 34302 SOS 24097 HAS SOPS 22878 HAS SOUS 8777 HAS SOUPS 8454 WITH SCORE 8478.097
AT ITER 1613 NEW BEST:: SOT 34302 SOS 24093 HAS SOPS 22874 HAS SOUS 8775 HAS SOUPS 8452 WITH SCORE 8476.093
AT ITER 1621 NEW BEST:: SOT 34344 SOS 24135 HAS SOPS 22916 HAS SOUS 8749 HAS SOUPS 8426 WITH SCORE 8450.135
AT ITER 1633 NEW BEST:: SOT 34336 SOS 24127 HAS SOPS 22908 HAS SOUS 8739 HAS SOUPS 8416 WITH SCORE 8440.127
AT ITER 1641 NEW BEST:: SOT 34318 SOS 24109 HAS SOPS 22890 HAS SOUS 8718 HAS SOUPS 8395 WITH SCORE 8419.109
AT ITER 1650 NEW BEST:: SOT 34283 SOS 24067 HAS SOPS 22855 HAS SOUS 8676 HAS SOUPS 8360 WITH SCORE 8384.067
AT ITER 1666 NEW BEST:: SOT 34272 SOS 24054 HAS SOPS 22844 HAS SOUS 8671 HAS SOUPS 8357 WITH SCORE 8381.054
AT ITER 1714 NEW BEST:: SOT 34269 SOS 24032 HAS SOPS 23170 HAS SOUS 8641 HAS SOUPS 8339 WITH SCORE 8363.032
AT ITER 1721 NEW BEST:: SOT 34269 SOS 24032 HAS SOPS 23170 HAS SOUS 8639 HAS SOUPS 8337 WITH SCORE 8361.032
AT ITER 1725 NEW BEST:: SOT 34258 SOS 24010 HAS SOPS 23137 HAS SOUS 8638 HAS SOUPS 8325 WITH SCORE 8349.01
AT ITER 1747 NEW BEST:: SOT 34255 SOS 24002 HAS SOPS 23129 HAS SOUS 8606 HAS SOUPS 8293 WITH SCORE 8317.002
AT ITER 1764 NEW BEST:: SOT 34255 SOS 23986 HAS SOPS 23113 HAS SOUS 8598 HAS SOUPS 8285 WITH SCORE 8308.986
AT ITER 1780 NEW BEST:: SOT 34229 SOS 23996 HAS SOPS 23147 HAS SOUS 8572 HAS SOUPS 8283 WITH SCORE 8306.996
AT ITER 1791 NEW BEST:: SOT 34223 SOS 23980 HAS SOPS 23141 HAS SOUS 8540 HAS SOUPS 8261 WITH SCORE 8284.98
AT ITER 1836 NEW BEST:: SOT 34219 SOS 23941 HAS SOPS 23042 HAS SOUS 8510 HAS SOUPS 8171 WITH SCORE 8194.941
AT ITER 1844 NEW BEST:: SOT 34219 SOS 23941 HAS SOPS 23042 HAS SOUS 8507 HAS SOUPS 8168 WITH SCORE 8191.941
AT ITER 1856 NEW BEST:: SOT 34158 SOS 23868 HAS SOPS 22981 HAS SOUS 8434 HAS SOUPS 8107 WITH SCORE 8130.868
AT ITER 1877 NEW BEST:: SOT 34158 SOS 23868 HAS SOPS 22981 HAS SOUS 8433 HAS SOUPS 8106 WITH SCORE 8129.868
AT ITER 1907 NEW BEST:: SOT 34158 SOS 23868 HAS SOPS 23005 HAS SOUS 8423 HAS SOUPS 8096 WITH SCORE 8119.868
AT ITER 1950 NEW BEST:: SOT 34180 SOS 23877 HAS SOPS 23027 HAS SOUS 8403 HAS SOUPS 8089 WITH SCORE 8112.877
AT ITER 1986 NEW BEST:: SOT 34112 SOS 23824 HAS SOPS 22984 HAS SOUS 8389 HAS SOUPS 8085 WITH SCORE 8108.824
AT ITER 2007 NEW BEST:: SOT 34122 SOS 23834 HAS SOPS 23001 HAS SOUS 8357 HAS SOUPS 8060 WITH SCORE 8083.834
AT ITER 2008 NEW BEST:: SOT 34117 SOS 23828 HAS SOPS 22996 HAS SOUS 8349 HAS SOUPS 8053 WITH SCORE 8076.828
AT ITER 2012 NEW BEST:: SOT 34165 SOS 23869 HAS SOPS 23016 HAS SOUS 8324 HAS SOUPS 8007 WITH SCORE 8030.869
AT ITER 2035 NEW BEST:: SOT 34145 SOS 23847 HAS SOPS 22998 HAS SOUS 8277 HAS SOUPS 7964 WITH SCORE 7987.847
AT ITER 2050 NEW BEST:: SOT 34156 SOS 23848 HAS SOPS 23009 HAS SOUS 8245 HAS SOUPS 7942 WITH SCORE 7965.848
AT ITER 2135 NEW BEST:: SOT 34156 SOS 23875 HAS SOPS 23036 HAS SOUS 8227 HAS SOUPS 7924 WITH SCORE 7947.875
AT ITER 2247 NEW BEST:: SOT 34148 SOS 23871 HAS SOPS 23032 HAS SOUS 8223 HAS SOUPS 7920 WITH SCORE 7943.871
AT ITER 2250 NEW BEST:: SOT 34148 SOS 23887 HAS SOPS 23048 HAS SOUS 8220 HAS SOUPS 7917 WITH SCORE 7940.887
AT ITER 2276 NEW BEST:: SOT 34148 SOS 23908 HAS SOPS 23045 HAS SOUS 8206 HAS SOUPS 7903 WITH SCORE 7926.908
AT ITER 2279 NEW BEST:: SOT 34148 SOS 23953 HAS SOPS 23090 HAS SOUS 8196 HAS SOUPS 7893 WITH SCORE 7916.953
AT ITER 2280 NEW BEST:: SOT 34142 SOS 23947 HAS SOPS 23084 HAS SOUS 8180 HAS SOUPS 7877 WITH SCORE 7900.947
AT ITER 2327 NEW BEST:: SOT 34142 SOS 23931 HAS SOPS 23068 HAS SOUS 8180 HAS SOUPS 7877 WITH SCORE 7900.931
AT ITER 2369 NEW BEST:: SOT 34097 SOS 23877 HAS SOPS 23023 HAS SOUS 8117 HAS SOUPS 7823 WITH SCORE 7846.877
AT ITER 2398 NEW BEST:: SOT 34100 SOS 23858 HAS SOPS 23004 HAS SOUS 8113 HAS SOUPS 7819 WITH SCORE 7842.858
AT ITER 2413 NEW BEST:: SOT 34028 SOS 23796 HAS SOPS 22942 HAS SOUS 8046 HAS SOUPS 7752 WITH SCORE 7775.796
AT ITER 2451 NEW BEST:: SOT 34028 SOS 23796 HAS SOPS 22942 HAS SOUS 8045 HAS SOUPS 7751 WITH SCORE 7774.796
AT ITER 2489 NEW BEST:: SOT 34028 SOS 23789 HAS SOPS 23187 HAS SOUS 8031 HAS SOUPS 7744 WITH SCORE 7767.789
AT ITER 2495 NEW BEST:: SOT 34030 SOS 23791 HAS SOPS 23189 HAS SOUS 8029 HAS SOUPS 7742 WITH SCORE 7765.791
AT ITER 2543 NEW BEST:: SOT 34030 SOS 23791 HAS SOPS 23189 HAS SOUS 8027 HAS SOUPS 7740 WITH SCORE 7763.791
AT ITER 2551 NEW BEST:: SOT 34030 SOS 23521 HAS SOPS 22919 HAS SOUS 8027 HAS SOUPS 7740 WITH SCORE 7763.521
AT ITER 2552 NEW BEST:: SOT 34030 SOS 23521 HAS SOPS 22919 HAS SOUS 8026 HAS SOUPS 7739 WITH SCORE 7762.521
AT ITER 2587 NEW BEST:: SOT 34012 SOS 23414 HAS SOPS 22771 HAS SOUS 8019 HAS SOUPS 7691 WITH SCORE 7714.414
AT ITER 2604 NEW BEST:: SOT 33995 SOS 23392 HAS SOPS 22754 HAS SOUS 8001 HAS SOUPS 7678 WITH SCORE 7701.392
AT ITER 2634 NEW BEST:: SOT 33994 SOS 23389 HAS SOPS 22753 HAS SOUS 7996 HAS SOUPS 7675 WITH SCORE 7698.389
AT ITER 2704 NEW BEST:: SOT 33987 SOS 23382 HAS SOPS 22734 HAS SOUS 7987 HAS SOUPS 7654 WITH SCORE 7677.382
AT ITER 2741 NEW BEST:: SOT 33982 SOS 23377 HAS SOPS 22730 HAS SOUS 7982 HAS SOUPS 7650 WITH SCORE 7673.377
AT ITER 2743 NEW BEST:: SOT 33984 SOS 23379 HAS SOPS 22732 HAS SOUS 7978 HAS SOUPS 7646 WITH SCORE 7669.379
AT ITER 2748 NEW BEST:: SOT 33984 SOS 23373 HAS SOPS 22726 HAS SOUS 7978 HAS SOUPS 7646 WITH SCORE 7669.373
AT ITER 2752 NEW BEST:: SOT 33984 SOS 23361 HAS SOPS 22714 HAS SOUS 7978 HAS SOUPS 7646 WITH SCORE 7669.361
AT ITER 2758 NEW BEST:: SOT 33984 SOS 23361 HAS SOPS 22714 HAS SOUS 7976 HAS SOUPS 7644 WITH SCORE 7667.361
AT ITER 2773 NEW BEST:: SOT 34056 SOS 23409 HAS SOPS 22786 HAS SOUS 7947 HAS SOUPS 7639 WITH SCORE 7662.409
AT ITER 2841 NEW BEST:: SOT 34046 SOS 23393 HAS SOPS 22776 HAS SOUS 7925 HAS SOUPS 7623 WITH SCORE 7646.393
AT ITER 2847 NEW BEST:: SOT 34046 SOS 23426 HAS SOPS 22809 HAS SOUS 7916 HAS SOUPS 7614 WITH SCORE 7637.426
AT ITER 2856 NEW BEST:: SOT 34046 SOS 23423 HAS SOPS 22809 HAS SOUS 7907 HAS SOUPS 7608 WITH SCORE 7631.423
AT ITER 2894 NEW BEST:: SOT 34037 SOS 23407 HAS SOPS 22793 HAS SOUS 7891 HAS SOUPS 7592 WITH SCORE 7615.407
AT ITER 2959 NEW BEST:: SOT 34037 SOS 23404 HAS SOPS 22790 HAS SOUS 7888 HAS SOUPS 7589 WITH SCORE 7612.404
AT ITER 3028 NEW BEST:: SOT 34019 SOS 23389 HAS SOPS 22777 HAS SOUS 7886 HAS SOUPS 7589 WITH SCORE 7612.389
AT ITER 3051 NEW BEST:: SOT 34019 SOS 23387 HAS SOPS 22775 HAS SOUS 7884 HAS SOUPS 7587 WITH SCORE 7610.387
AT ITER 3090 NEW BEST:: SOT 34019 SOS 23387 HAS SOPS 22775 HAS SOUS 7883 HAS SOUPS 7586 WITH SCORE 7609.387
AT ITER 3091 NEW BEST:: SOT 34016 SOS 23384 HAS SOPS 22772 HAS SOUS 7880 HAS SOUPS 7583 WITH SCORE 7606.384
AT ITER 3110 NEW BEST:: SOT 34016 SOS 23382 HAS SOPS 22775 HAS SOUS 7873 HAS SOUPS 7581 WITH SCORE 7604.382
AT ITER 3127 NEW BEST:: SOT 34016 SOS 23382 HAS SOPS 22775 HAS SOUS 7861 HAS SOUPS 7569 WITH SCORE 7592.382
AT ITER 3159 NEW BEST:: SOT 34016 SOS 23674 HAS SOPS 22887 HAS SOUS 7857 HAS SOUPS 7561 WITH SCORE 7584.674
AT ITER 3214 NEW BEST:: SOT 34014 SOS 23670 HAS SOPS 22885 HAS SOUS 7853 HAS SOUPS 7559 WITH SCORE 7582.67
AT ITER 3230 NEW BEST:: SOT 34056 SOS 23712 HAS SOPS 22927 HAS SOUS 7820 HAS SOUPS 7526 WITH SCORE 7549.712
AT ITER 3275 NEW BEST:: SOT 34064 SOS 23723 HAS SOPS 22917 HAS SOUS 7834 HAS SOUPS 7519 WITH SCORE 7542.723
AT ITER 3344 NEW BEST:: SOT 34064 SOS 23723 HAS SOPS 22917 HAS SOUS 7833 HAS SOUPS 7518 WITH SCORE 7541.723
AT ITER 3518 NEW BEST:: SOT 34049 SOS 23708 HAS SOPS 22905 HAS SOUS 7824 HAS SOUPS 7512 WITH SCORE 7535.708
AT ITER 3547 NEW BEST:: SOT 34049 SOS 23705 HAS SOPS 22902 HAS SOUS 7824 HAS SOUPS 7512 WITH SCORE 7535.705
AT ITER 3576 NEW BEST:: SOT 34049 SOS 23705 HAS SOPS 22902 HAS SOUS 7822 HAS SOUPS 7510 WITH SCORE 7533.705
AT ITER 3587 NEW BEST:: SOT 34049 SOS 23699 HAS SOPS 22896 HAS SOUS 7822 HAS SOUPS 7510 WITH SCORE 7533.699
AT ITER 3601 NEW BEST:: SOT 34049 SOS 23699 HAS SOPS 22896 HAS SOUS 7820 HAS SOUPS 7508 WITH SCORE 7531.699
AT ITER 3646 NEW BEST:: SOT 34049 SOS 23703 HAS SOPS 22893 HAS SOUS 7824 HAS SOUPS 7505 WITH SCORE 7528.703
AT ITER 3647 NEW BEST:: SOT 34027 SOS 23701 HAS SOPS 22891 HAS SOUS 7806 HAS SOUPS 7487 WITH SCORE 7510.701
AT ITER 3726 NEW BEST:: SOT 34027 SOS 23701 HAS SOPS 22891 HAS SOUS 7802 HAS SOUPS 7483 WITH SCORE 7506.701
AT ITER 3819 NEW BEST:: SOT 34027 SOS 23696 HAS SOPS 23066 HAS SOUS 7792 HAS SOUPS 7478 WITH SCORE 7501.696
AT ITER 3936 NEW BEST:: SOT 34023 SOS 23685 HAS SOPS 23062 HAS SOUS 7767 HAS SOUPS 7460 WITH SCORE 7483.685
AT ITER 3945 NEW BEST:: SOT 34023 SOS 23684 HAS SOPS 23097 HAS SOUS 7765 HAS SOUPS 7459 WITH SCORE 7482.684
AT ITER 3979 NEW BEST:: SOT 33981 SOS 23677 HAS SOPS 23090 HAS SOUS 7730 HAS SOUPS 7424 WITH SCORE 7447.677
AT ITER 3985 NEW BEST:: SOT 33981 SOS 24218 HAS SOPS 23055 HAS SOUS 7730 HAS SOUPS 7419 WITH SCORE 7443.218
AT ITER 4025 NEW BEST:: SOT 33990 SOS 24227 HAS SOPS 23064 HAS SOUS 7721 HAS SOUPS 7410 WITH SCORE 7434.227
AT ITER 4028 NEW BEST:: SOT 33971 SOS 24223 HAS SOPS 23060 HAS SOUS 7717 HAS SOUPS 7406 WITH SCORE 7430.223
AT ITER 4059 NEW BEST:: SOT 33935 SOS 24217 HAS SOPS 23054 HAS SOUS 7687 HAS SOUPS 7376 WITH SCORE 7400.217
AT ITER 4079 NEW BEST:: SOT 33941 SOS 24223 HAS SOPS 23060 HAS SOUS 7677 HAS SOUPS 7366 WITH SCORE 7390.223
AT ITER 4171 NEW BEST:: SOT 33941 SOS 24223 HAS SOPS 23060 HAS SOUS 7675 HAS SOUPS 7364 WITH SCORE 7388.223
AT ITER 4287 NEW BEST:: SOT 33916 SOS 24203 HAS SOPS 23035 HAS SOUS 7679 HAS SOUPS 7363 WITH SCORE 7387.203
AT ITER 4327 NEW BEST:: SOT 33913 SOS 24197 HAS SOPS 23032 HAS SOUS 7667 HAS SOUPS 7354 WITH SCORE 7378.197
AT ITER 4492 NEW BEST:: SOT 33899 SOS 24181 HAS SOPS 23016 HAS SOUS 7657 HAS SOUPS 7344 WITH SCORE 7368.181
AT ITER 4494 NEW BEST:: SOT 33873 SOS 24155 HAS SOPS 22990 HAS SOUS 7631 HAS SOUPS 7318 WITH SCORE 7342.155
AT ITER 4556 NEW BEST:: SOT 33879 SOS 24163 HAS SOPS 22994 HAS SOUS 7633 HAS SOUPS 7316 WITH SCORE 7340.163
AT ITER 4900 NEW BEST:: SOT 33850 SOS 24158 HAS SOPS 22995 HAS SOUS 7598 HAS SOUPS 7287 WITH SCORE 7311.158
AT ITER 5004 NEW BEST:: SOT 33850 SOS 24158 HAS SOPS 22995 HAS SOUS 7595 HAS SOUPS 7284 WITH SCORE 7308.158
AT ITER 5089 NEW BEST:: SOT 33850 SOS 24158 HAS SOPS 22996 HAS SOUS 7589 HAS SOUPS 7279 WITH SCORE 7303.158
AT ITER 5102 NEW BEST:: SOT 33855 SOS 24156 HAS SOPS 23001 HAS SOUS 7581 HAS SOUPS 7278 WITH SCORE 7302.156
AT ITER 5142 NEW BEST:: SOT 33859 SOS 24160 HAS SOPS 23007 HAS SOUS 7573 HAS SOUPS 7272 WITH SCORE 7296.16
AT ITER 5187 NEW BEST:: SOT 33824 SOS 24128 HAS SOPS 22975 HAS SOUS 7541 HAS SOUPS 7240 WITH SCORE 7264.128
AT ITER 5190 NEW BEST:: SOT 33801 SOS 24118 HAS SOPS 22965 HAS SOUS 7531 HAS SOUPS 7230 WITH SCORE 7254.118
AT ITER 5214 NEW BEST:: SOT 33789 SOS 24108 HAS SOPS 22953 HAS SOUS 7533 HAS SOUPS 7230 WITH SCORE 7254.108
AT ITER 5253 NEW BEST:: SOT 33789 SOS 24108 HAS SOPS 22953 HAS SOUS 7532 HAS SOUPS 7229 WITH SCORE 7253.108
AT ITER 5271 NEW BEST:: SOT 33777 SOS 24100 HAS SOPS 22945 HAS SOUS 7522 HAS SOUPS 7219 WITH SCORE 7243.1
AT ITER 5279 NEW BEST:: SOT 33739 SOS 24062 HAS SOPS 22918 HAS SOUS 7503 HAS SOUPS 7211 WITH SCORE 7235.062
AT ITER 5348 NEW BEST:: SOT 33739 SOS 24060 HAS SOPS 22916 HAS SOUS 7489 HAS SOUPS 7197 WITH SCORE 7221.06
AT ITER 5434 NEW BEST:: SOT 33743 SOS 24064 HAS SOPS 22920 HAS SOUS 7487 HAS SOUPS 7195 WITH SCORE 7219.064
AT ITER 5442 NEW BEST:: SOT 33742 SOS 24063 HAS SOPS 22919 HAS SOUS 7486 HAS SOUPS 7194 WITH SCORE 7218.063
AT ITER 5445 NEW BEST:: SOT 33717 SOS 24038 HAS SOPS 22894 HAS SOUS 7485 HAS SOUPS 7193 WITH SCORE 7217.038
AT ITER 5454 NEW BEST:: SOT 33717 SOS 24038 HAS SOPS 22894 HAS SOUS 7479 HAS SOUPS 7187 WITH SCORE 7211.038
AT ITER 5581 NEW BEST:: SOT 33715 SOS 24034 HAS SOPS 22892 HAS SOUS 7472 HAS SOUPS 7182 WITH SCORE 7206.034
AT ITER 5611 NEW BEST:: SOT 33715 SOS 24033 HAS SOPS 22891 HAS SOUS 7471 HAS SOUPS 7181 WITH SCORE 7205.033
AT ITER 5624 NEW BEST:: SOT 33715 SOS 24033 HAS SOPS 22893 HAS SOUS 7465 HAS SOUPS 7177 WITH SCORE 7201.033
AT ITER 5712 NEW BEST:: SOT 33689 SOS 24012 HAS SOPS 22873 HAS SOUS 7462 HAS SOUPS 7175 WITH SCORE 7199.012
AT ITER 5786 NEW BEST:: SOT 33696 SOS 24017 HAS SOPS 22878 HAS SOUS 7455 HAS SOUPS 7168 WITH SCORE 7192.017
AT ITER 5790 NEW BEST:: SOT 33696 SOS 24014 HAS SOPS 22983 HAS SOUS 7449 HAS SOUPS 7165 WITH SCORE 7189.014
AT ITER 5937 NEW BEST:: SOT 33668 SOS 23988 HAS SOPS 22985 HAS SOUS 7421 HAS SOUPS 7165 WITH SCORE 7188.988
AT ITER 5938 NEW BEST:: SOT 33668 SOS 23886 HAS SOPS 22811 HAS SOUS 7421 HAS SOUPS 7165 WITH SCORE 7188.886
AT ITER 6018 NEW BEST:: SOT 33679 SOS 23893 HAS SOPS 22807 HAS SOUS 7428 HAS SOUPS 7161 WITH SCORE 7184.893
AT ITER 6096 NEW BEST:: SOT 33636 SOS 23842 HAS SOPS 22756 HAS SOUS 7425 HAS SOUPS 7158 WITH SCORE 7181.842
AT ITER 6321 NEW BEST:: SOT 33636 SOS 24553 HAS SOPS 22831 HAS SOUS 7427 HAS SOUPS 7157 WITH SCORE 7181.553
AT ITER 6378 NEW BEST:: SOT 33636 SOS 24545 HAS SOPS 22895 HAS SOUS 7427 HAS SOUPS 7157 WITH SCORE 7181.545
AT ITER 6851 NEW BEST:: SOT 33652 SOS 24558 HAS SOPS 22906 HAS SOUS 7424 HAS SOUPS 7152 WITH SCORE 7176.558
AT ITER 7069 NEW BEST:: SOT 33649 SOS 24554 HAS SOPS 22902 HAS SOUS 7420 HAS SOUPS 7148 WITH SCORE 7172.554
AT ITER 7147 NEW BEST:: SOT 33636 SOS 24538 HAS SOPS 22889 HAS SOUS 7414 HAS SOUPS 7145 WITH SCORE 7169.538
AT ITER 7313 NEW BEST:: SOT 33636 SOS 24538 HAS SOPS 22889 HAS SOUS 7404 HAS SOUPS 7135 WITH SCORE 7159.538
AT ITER 7394 NEW BEST:: SOT 33591 SOS 24719 HAS SOPS 23119 HAS SOUS 7352 HAS SOUPS 7132 WITH SCORE 7156.719
AT ITER 7478 NEW BEST:: SOT 33591 SOS 24716 HAS SOPS 23116 HAS SOUS 7352 HAS SOUPS 7132 WITH SCORE 7156.716
AT ITER 7638 NEW BEST:: SOT 33591 SOS 24712 HAS SOPS 23112 HAS SOUS 7348 HAS SOUPS 7128 WITH SCORE 7152.712
AT ITER 7708 NEW BEST:: SOT 33590 SOS 24712 HAS SOPS 23111 HAS SOUS 7348 HAS SOUPS 7127 WITH SCORE 7151.712
AT ITER 7712 NEW BEST:: SOT 33590 SOS 24712 HAS SOPS 23111 HAS SOUS 7346 HAS SOUPS 7125 WITH SCORE 7149.712
AT ITER 7722 NEW BEST:: SOT 33600 SOS 24708 HAS SOPS 23095 HAS SOUS 7354 HAS SOUPS 7121 WITH SCORE 7145.708
AT ITER 7766 NEW BEST:: SOT 33598 SOS 24706 HAS SOPS 23093 HAS SOUS 7350 HAS SOUPS 7117 WITH SCORE 7141.706
AT ITER 7828 NEW BEST:: SOT 33588 SOS 24697 HAS SOPS 23084 HAS SOUS 7341 HAS SOUPS 7108 WITH SCORE 7132.697
AT ITER 7857 NEW BEST:: SOT 33582 SOS 24679 HAS SOPS 23052 HAS SOUS 7347 HAS SOUPS 7100 WITH SCORE 7124.679
AT ITER 8014 NEW BEST:: SOT 33582 SOS 24677 HAS SOPS 23052 HAS SOUS 7343 HAS SOUPS 7098 WITH SCORE 7122.677
AT ITER 8045 NEW BEST:: SOT 33582 SOS 24674 HAS SOPS 23049 HAS SOUS 7343 HAS SOUPS 7098 WITH SCORE 7122.674
AT ITER 8056 NEW BEST:: SOT 33582 SOS 24672 HAS SOPS 23049 HAS SOUS 7341 HAS SOUPS 7098 WITH SCORE 7122.672
AT ITER 8071 NEW BEST:: SOT 33590 SOS 24673 HAS SOPS 23061 HAS SOUS 7329 HAS SOUPS 7097 WITH SCORE 7121.673
AT ITER 8120 NEW BEST:: SOT 33588 SOS 24672 HAS SOPS 23060 HAS SOUS 7328 HAS SOUPS 7096 WITH SCORE 7120.672
AT ITER 8140 NEW BEST:: SOT 33588 SOS 24666 HAS SOPS 23330 HAS SOUS 7328 HAS SOUPS 7096 WITH SCORE 7120.666
AT ITER 8164 NEW BEST:: SOT 33588 SOS 24638 HAS SOPS 23554 HAS SOUS 7325 HAS SOUPS 7096 WITH SCORE 7120.638
AT ITER 8250 NEW BEST:: SOT 33607 SOS 24504 HAS SOPS 23383 HAS SOUS 7358 HAS SOUPS 7092 WITH SCORE 7116.504
AT ITER 8297 NEW BEST:: SOT 33614 SOS 24513 HAS SOPS 23378 HAS SOUS 7369 HAS SOUPS 7089 WITH SCORE 7113.513
AT ITER 8412 NEW BEST:: SOT 33597 SOS 24511 HAS SOPS 23376 HAS SOUS 7355 HAS SOUPS 7075 WITH SCORE 7099.511
AT ITER 8414 NEW BEST:: SOT 33595 SOS 24509 HAS SOPS 23374 HAS SOUS 7354 HAS SOUPS 7074 WITH SCORE 7098.509
AT ITER 8428 NEW BEST:: SOT 33661 SOS 24581 HAS SOPS 23446 HAS SOUS 7344 HAS SOUPS 7064 WITH SCORE 7088.581
AT ITER 8440 NEW BEST:: SOT 33690 SOS 24603 HAS SOPS 23475 HAS SOUS 7336 HAS SOUPS 7063 WITH SCORE 7087.603
AT ITER 8505 NEW BEST:: SOT 33690 SOS 24606 HAS SOPS 23478 HAS SOUS 7335 HAS SOUPS 7062 WITH SCORE 7086.606
AT ITER 8530 NEW BEST:: SOT 33670 SOS 24592 HAS SOPS 23458 HAS SOUS 7341 HAS SOUPS 7062 WITH SCORE 7086.592
AT ITER 8555 NEW BEST:: SOT 33669 SOS 24590 HAS SOPS 23457 HAS SOUS 7338 HAS SOUPS 7060 WITH SCORE 7084.59
AT ITER 8594 NEW BEST:: SOT 33649 SOS 24570 HAS SOPS 23437 HAS SOUS 7321 HAS SOUPS 7043 WITH SCORE 7067.57
AT ITER 8915 NEW BEST:: SOT 33649 SOS 24570 HAS SOPS 23437 HAS SOUS 7318 HAS SOUPS 7040 WITH SCORE 7064.57
AT ITER 9046 NEW BEST:: SOT 33649 SOS 24566 HAS SOPS 23433 HAS SOUS 7316 HAS SOUPS 7038 WITH SCORE 7062.566
AT ITER 9157 NEW BEST:: SOT 33647 SOS 24566 HAS SOPS 23431 HAS SOUS 7316 HAS SOUPS 7036 WITH SCORE 7060.566
AT ITER 9255 NEW BEST:: SOT 33645 SOS 24564 HAS SOPS 23429 HAS SOUS 7314 HAS SOUPS 7034 WITH SCORE 7058.564
AT ITER 9433 NEW BEST:: SOT 33635 SOS 24554 HAS SOPS 23419 HAS SOUS 7310 HAS SOUPS 7030 WITH SCORE 7054.554
AT ITER 9538 NEW BEST:: SOT 33631 SOS 24550 HAS SOPS 23415 HAS SOUS 7308 HAS SOUPS 7028 WITH SCORE 7052.55
AT ITER 9569 NEW BEST:: SOT 33639 SOS 24557 HAS SOPS 23423 HAS SOUS 7306 HAS SOUPS 7027 WITH SCORE 7051.557
AT ITER 9749 NEW BEST:: SOT 33635 SOS 24553 HAS SOPS 23419 HAS SOUS 7300 HAS SOUPS 7021 WITH SCORE 7045.553
AT ITER 9780 NEW BEST:: SOT 33635 SOS 24544 HAS SOPS 23410 HAS SOUS 7300 HAS SOUPS 7021 WITH SCORE 7045.544
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 165724 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16301608 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

Caught signal 15, terminating.

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="SafeBus-COL-06"
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 SafeBus-COL-06, 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 r355-smll-167891803100216"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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