Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r419-tajo-167905973600280.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is ShieldRVt-PT-020A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r419-tajo-167905973600280
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 480K
-rw-r--r-- 1 mcc users 7.7K Feb 25 23:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 88K Feb 25 23:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.0K Feb 25 23:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 25 23:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 17:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 17:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.7K Feb 25 23:56 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 103K Feb 25 23:56 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.2K Feb 25 23:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 25 23:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 54K 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 1679088591074

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=ShieldRVt-PT-020A
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVt (PT), instance 020A
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: 163 places, 163 transitions, 686 arcs.
AT ITER 0 NEW BEST:: SOT 20915 SOS 15526 HAS SOPS 15526 HAS SOUS 14446 HAS SOUPS 14446 WITH SCORE 14461.526
AT ITER 1 NEW BEST:: SOT 20845 SOS 15408 HAS SOPS 15408 HAS SOUS 14302 HAS SOUPS 14302 WITH SCORE 14317.408
AT ITER 3 NEW BEST:: SOT 20839 SOS 15402 HAS SOPS 15402 HAS SOUS 14296 HAS SOUPS 14296 WITH SCORE 14311.402
AT ITER 4 NEW BEST:: SOT 20726 SOS 15221 HAS SOPS 15221 HAS SOUS 14113 HAS SOUPS 14113 WITH SCORE 14128.221
AT ITER 5 NEW BEST:: SOT 20723 SOS 15218 HAS SOPS 15218 HAS SOUS 14079 HAS SOUPS 14079 WITH SCORE 14094.218
AT ITER 8 NEW BEST:: SOT 20723 SOS 15227 HAS SOPS 15227 HAS SOUS 14069 HAS SOUPS 14069 WITH SCORE 14084.227
AT ITER 14 NEW BEST:: SOT 20677 SOS 15113 HAS SOPS 15113 HAS SOUS 14019 HAS SOUPS 14019 WITH SCORE 14034.113
AT ITER 17 NEW BEST:: SOT 20599 SOS 14905 HAS SOPS 14905 HAS SOUS 13888 HAS SOUPS 13888 WITH SCORE 13902.905
AT ITER 18 NEW BEST:: SOT 20556 SOS 14781 HAS SOPS 14781 HAS SOUS 13791 HAS SOUPS 13791 WITH SCORE 13805.781
AT ITER 21 NEW BEST:: SOT 20501 SOS 14635 HAS SOPS 14635 HAS SOUS 13678 HAS SOUPS 13678 WITH SCORE 13692.635
AT ITER 22 NEW BEST:: SOT 20423 SOS 14424 HAS SOPS 14424 HAS SOUS 13523 HAS SOUPS 13523 WITH SCORE 13537.424
AT ITER 24 NEW BEST:: SOT 20391 SOS 14343 HAS SOPS 14343 HAS SOUS 13450 HAS SOUPS 13450 WITH SCORE 13464.343
AT ITER 26 NEW BEST:: SOT 20329 SOS 14195 HAS SOPS 14195 HAS SOUS 13321 HAS SOUPS 13321 WITH SCORE 13335.195
AT ITER 27 NEW BEST:: SOT 20265 SOS 14071 HAS SOPS 14071 HAS SOUS 13251 HAS SOUPS 13251 WITH SCORE 13265.071
AT ITER 28 NEW BEST:: SOT 20235 SOS 14054 HAS SOPS 14054 HAS SOUS 13148 HAS SOUPS 13148 WITH SCORE 13162.054
AT ITER 32 NEW BEST:: SOT 20234 SOS 14050 HAS SOPS 14050 HAS SOUS 13143 HAS SOUPS 13143 WITH SCORE 13157.05
AT ITER 34 NEW BEST:: SOT 20112 SOS 13890 HAS SOPS 13890 HAS SOUS 12978 HAS SOUPS 12978 WITH SCORE 12991.89
AT ITER 36 NEW BEST:: SOT 20112 SOS 13909 HAS SOPS 13909 HAS SOUS 12975 HAS SOUPS 12975 WITH SCORE 12988.909
AT ITER 38 NEW BEST:: SOT 20113 SOS 13925 HAS SOPS 13925 HAS SOUS 12958 HAS SOUPS 12958 WITH SCORE 12971.925
AT ITER 41 NEW BEST:: SOT 20079 SOS 13898 HAS SOPS 13898 HAS SOUS 12942 HAS SOUPS 12942 WITH SCORE 12955.898
AT ITER 43 NEW BEST:: SOT 19936 SOS 13678 HAS SOPS 13678 HAS SOUS 12681 HAS SOUPS 12681 WITH SCORE 12694.678
AT ITER 46 NEW BEST:: SOT 19874 SOS 13527 HAS SOPS 13527 HAS SOUS 12514 HAS SOUPS 12514 WITH SCORE 12527.527
AT ITER 48 NEW BEST:: SOT 19821 SOS 13421 HAS SOPS 13421 HAS SOUS 12376 HAS SOUPS 12376 WITH SCORE 12389.421
AT ITER 49 NEW BEST:: SOT 19715 SOS 13242 HAS SOPS 13242 HAS SOUS 12124 HAS SOUPS 12124 WITH SCORE 12137.242
AT ITER 51 NEW BEST:: SOT 19688 SOS 13215 HAS SOPS 13215 HAS SOUS 12088 HAS SOUPS 12088 WITH SCORE 12101.215
AT ITER 54 NEW BEST:: SOT 19688 SOS 13201 HAS SOPS 13201 HAS SOUS 12066 HAS SOUPS 12066 WITH SCORE 12079.201
AT ITER 55 NEW BEST:: SOT 19629 SOS 13085 HAS SOPS 13085 HAS SOUS 11883 HAS SOUPS 11883 WITH SCORE 11896.085
AT ITER 56 NEW BEST:: SOT 19626 SOS 13082 HAS SOPS 13082 HAS SOUS 11880 HAS SOUPS 11880 WITH SCORE 11893.082
AT ITER 58 NEW BEST:: SOT 19621 SOS 13072 HAS SOPS 13072 HAS SOUS 11868 HAS SOUPS 11868 WITH SCORE 11881.072
AT ITER 60 NEW BEST:: SOT 19644 SOS 13068 HAS SOPS 13068 HAS SOUS 11846 HAS SOUPS 11846 WITH SCORE 11859.068
AT ITER 63 NEW BEST:: SOT 19575 SOS 12909 HAS SOPS 12909 HAS SOUS 11729 HAS SOUPS 11729 WITH SCORE 11741.909
AT ITER 65 NEW BEST:: SOT 19530 SOS 12864 HAS SOPS 12864 HAS SOUS 11684 HAS SOUPS 11684 WITH SCORE 11696.864
AT ITER 67 NEW BEST:: SOT 19453 SOS 12757 HAS SOPS 12757 HAS SOUS 11578 HAS SOUPS 11578 WITH SCORE 11590.757
AT ITER 78 NEW BEST:: SOT 19397 SOS 12658 HAS SOPS 12658 HAS SOUS 11485 HAS SOUPS 11485 WITH SCORE 11497.658
AT ITER 81 NEW BEST:: SOT 19386 SOS 12611 HAS SOPS 12611 HAS SOUS 11477 HAS SOUPS 11477 WITH SCORE 11489.611
AT ITER 83 NEW BEST:: SOT 19384 SOS 12608 HAS SOPS 12608 HAS SOUS 11474 HAS SOUPS 11474 WITH SCORE 11486.608
AT ITER 86 NEW BEST:: SOT 19300 SOS 12459 HAS SOPS 12459 HAS SOUS 11322 HAS SOUPS 11322 WITH SCORE 11334.459
AT ITER 91 NEW BEST:: SOT 19238 SOS 12332 HAS SOPS 12332 HAS SOUS 11210 HAS SOUPS 11210 WITH SCORE 11222.332
AT ITER 94 NEW BEST:: SOT 19209 SOS 12286 HAS SOPS 12286 HAS SOUS 11164 HAS SOUPS 11164 WITH SCORE 11176.286
AT ITER 97 NEW BEST:: SOT 19209 SOS 12238 HAS SOPS 12238 HAS SOUS 11124 HAS SOUPS 11124 WITH SCORE 11136.238
AT ITER 98 NEW BEST:: SOT 19110 SOS 12031 HAS SOPS 12031 HAS SOUS 10936 HAS SOUPS 10936 WITH SCORE 10948.031
AT ITER 101 NEW BEST:: SOT 19051 SOS 11934 HAS SOPS 11934 HAS SOUS 10836 HAS SOUPS 10836 WITH SCORE 10847.934
AT ITER 103 NEW BEST:: SOT 18984 SOS 11772 HAS SOPS 11772 HAS SOUS 10701 HAS SOUPS 10701 WITH SCORE 10712.772
AT ITER 104 NEW BEST:: SOT 18983 SOS 11794 HAS SOPS 11794 HAS SOUS 10675 HAS SOUPS 10675 WITH SCORE 10686.794
AT ITER 109 NEW BEST:: SOT 18983 SOS 11774 HAS SOPS 11774 HAS SOUS 10675 HAS SOUPS 10675 WITH SCORE 10686.774
AT ITER 117 NEW BEST:: SOT 18983 SOS 11772 HAS SOPS 11772 HAS SOUS 10670 HAS SOUPS 10670 WITH SCORE 10681.772
AT ITER 122 NEW BEST:: SOT 18994 SOS 11771 HAS SOPS 11771 HAS SOUS 10652 HAS SOUPS 10652 WITH SCORE 10663.771
AT ITER 123 NEW BEST:: SOT 18984 SOS 11717 HAS SOPS 11717 HAS SOUS 10612 HAS SOUPS 10612 WITH SCORE 10623.717
AT ITER 126 NEW BEST:: SOT 18969 SOS 11677 HAS SOPS 11677 HAS SOUS 10569 HAS SOUPS 10569 WITH SCORE 10580.677
AT ITER 127 NEW BEST:: SOT 18869 SOS 11495 HAS SOPS 11495 HAS SOUS 10423 HAS SOUPS 10423 WITH SCORE 10434.495
AT ITER 134 NEW BEST:: SOT 18866 SOS 11492 HAS SOPS 11492 HAS SOUS 10420 HAS SOUPS 10420 WITH SCORE 10431.492
AT ITER 135 NEW BEST:: SOT 18867 SOS 11372 HAS SOPS 11372 HAS SOUS 10381 HAS SOUPS 10381 WITH SCORE 10392.372
AT ITER 136 NEW BEST:: SOT 18875 SOS 11389 HAS SOPS 11389 HAS SOUS 10308 HAS SOUPS 10308 WITH SCORE 10319.389
AT ITER 137 NEW BEST:: SOT 18875 SOS 11357 HAS SOPS 11357 HAS SOUS 10239 HAS SOUPS 10239 WITH SCORE 10250.357
AT ITER 138 NEW BEST:: SOT 18849 SOS 11267 HAS SOPS 11267 HAS SOUS 10149 HAS SOUPS 10149 WITH SCORE 10160.267
AT ITER 141 NEW BEST:: SOT 18834 SOS 11222 HAS SOPS 11222 HAS SOUS 10127 HAS SOUPS 10127 WITH SCORE 10138.222
AT ITER 143 NEW BEST:: SOT 18833 SOS 11179 HAS SOPS 11179 HAS SOUS 10112 HAS SOUPS 10112 WITH SCORE 10123.179
AT ITER 147 NEW BEST:: SOT 18800 SOS 11137 HAS SOPS 11137 HAS SOUS 10069 HAS SOUPS 10069 WITH SCORE 10080.137
AT ITER 153 NEW BEST:: SOT 18797 SOS 11122 HAS SOPS 11122 HAS SOUS 10063 HAS SOUPS 10063 WITH SCORE 10074.122
AT ITER 164 NEW BEST:: SOT 18793 SOS 11118 HAS SOPS 11118 HAS SOUS 10059 HAS SOUPS 10059 WITH SCORE 10070.118
AT ITER 165 NEW BEST:: SOT 18773 SOS 11098 HAS SOPS 11098 HAS SOUS 10058 HAS SOUPS 10058 WITH SCORE 10069.098
AT ITER 166 NEW BEST:: SOT 18747 SOS 11049 HAS SOPS 11049 HAS SOUS 9990 HAS SOUPS 9990 WITH SCORE 10001.049
AT ITER 175 NEW BEST:: SOT 18746 SOS 11044 HAS SOPS 11044 HAS SOUS 9988 HAS SOUPS 9988 WITH SCORE 9999.044
AT ITER 179 NEW BEST:: SOT 18676 SOS 10872 HAS SOPS 10872 HAS SOUS 9748 HAS SOUPS 9748 WITH SCORE 9758.872
AT ITER 180 NEW BEST:: SOT 18665 SOS 10861 HAS SOPS 10861 HAS SOUS 9737 HAS SOUPS 9737 WITH SCORE 9747.861
AT ITER 182 NEW BEST:: SOT 18623 SOS 10810 HAS SOPS 10810 HAS SOUS 9689 HAS SOUPS 9689 WITH SCORE 9699.81
AT ITER 193 NEW BEST:: SOT 18579 SOS 10753 HAS SOPS 10753 HAS SOUS 9632 HAS SOUPS 9632 WITH SCORE 9642.753
AT ITER 199 NEW BEST:: SOT 18579 SOS 10738 HAS SOPS 10738 HAS SOUS 9628 HAS SOUPS 9628 WITH SCORE 9638.738
AT ITER 203 NEW BEST:: SOT 18547 SOS 10674 HAS SOPS 10674 HAS SOUS 9548 HAS SOUPS 9548 WITH SCORE 9558.674
AT ITER 205 NEW BEST:: SOT 18547 SOS 10636 HAS SOPS 10636 HAS SOUS 9495 HAS SOUPS 9495 WITH SCORE 9505.636
AT ITER 211 NEW BEST:: SOT 18541 SOS 10618 HAS SOPS 10618 HAS SOUS 9489 HAS SOUPS 9489 WITH SCORE 9499.618
AT ITER 213 NEW BEST:: SOT 18539 SOS 10616 HAS SOPS 10616 HAS SOUS 9487 HAS SOUPS 9487 WITH SCORE 9497.616
AT ITER 215 NEW BEST:: SOT 18539 SOS 10609 HAS SOPS 10609 HAS SOUS 9480 HAS SOUPS 9480 WITH SCORE 9490.609
AT ITER 220 NEW BEST:: SOT 18538 SOS 10607 HAS SOPS 10607 HAS SOUS 9480 HAS SOUPS 9480 WITH SCORE 9490.607
AT ITER 226 NEW BEST:: SOT 18550 SOS 10629 HAS SOPS 10629 HAS SOUS 9448 HAS SOUPS 9448 WITH SCORE 9458.629
AT ITER 229 NEW BEST:: SOT 18486 SOS 10509 HAS SOPS 10509 HAS SOUS 9351 HAS SOUPS 9351 WITH SCORE 9361.509
AT ITER 236 NEW BEST:: SOT 18517 SOS 10517 HAS SOPS 10517 HAS SOUS 9291 HAS SOUPS 9291 WITH SCORE 9301.517
AT ITER 241 NEW BEST:: SOT 18504 SOS 10480 HAS SOPS 10480 HAS SOUS 9266 HAS SOUPS 9266 WITH SCORE 9276.48
AT ITER 255 NEW BEST:: SOT 18471 SOS 10435 HAS SOPS 10435 HAS SOUS 9223 HAS SOUPS 9223 WITH SCORE 9233.435
AT ITER 256 NEW BEST:: SOT 18461 SOS 10405 HAS SOPS 10405 HAS SOUS 9212 HAS SOUPS 9212 WITH SCORE 9222.405
AT ITER 260 NEW BEST:: SOT 18387 SOS 10306 HAS SOPS 10306 HAS SOUS 9130 HAS SOUPS 9130 WITH SCORE 9140.306
AT ITER 264 NEW BEST:: SOT 18356 SOS 10231 HAS SOPS 10231 HAS SOUS 9072 HAS SOUPS 9072 WITH SCORE 9082.231
AT ITER 266 NEW BEST:: SOT 18339 SOS 10232 HAS SOPS 10232 HAS SOUS 9017 HAS SOUPS 9017 WITH SCORE 9027.232
AT ITER 272 NEW BEST:: SOT 18316 SOS 10158 HAS SOPS 10158 HAS SOUS 8924 HAS SOUPS 8924 WITH SCORE 8934.158
AT ITER 277 NEW BEST:: SOT 18217 SOS 10036 HAS SOPS 10036 HAS SOUS 8821 HAS SOUPS 8821 WITH SCORE 8831.036
AT ITER 283 NEW BEST:: SOT 18217 SOS 10056 HAS SOPS 10056 HAS SOUS 8801 HAS SOUPS 8801 WITH SCORE 8811.056
AT ITER 285 NEW BEST:: SOT 18211 SOS 10043 HAS SOPS 10043 HAS SOUS 8796 HAS SOUPS 8796 WITH SCORE 8806.043
AT ITER 287 NEW BEST:: SOT 18167 SOS 9964 HAS SOPS 9964 HAS SOUS 8707 HAS SOUPS 8707 WITH SCORE 8716.964
AT ITER 288 NEW BEST:: SOT 18155 SOS 9922 HAS SOPS 9922 HAS SOUS 8682 HAS SOUPS 8682 WITH SCORE 8691.922
AT ITER 296 NEW BEST:: SOT 18155 SOS 9876 HAS SOPS 9876 HAS SOUS 8682 HAS SOUPS 8682 WITH SCORE 8691.876
AT ITER 298 NEW BEST:: SOT 18145 SOS 9846 HAS SOPS 9846 HAS SOUS 8652 HAS SOUPS 8652 WITH SCORE 8661.846
AT ITER 301 NEW BEST:: SOT 18129 SOS 9820 HAS SOPS 9820 HAS SOUS 8609 HAS SOUPS 8609 WITH SCORE 8618.82
AT ITER 306 NEW BEST:: SOT 18114 SOS 9793 HAS SOPS 9793 HAS SOUS 8579 HAS SOUPS 8579 WITH SCORE 8588.793
AT ITER 307 NEW BEST:: SOT 18103 SOS 9782 HAS SOPS 9782 HAS SOUS 8558 HAS SOUPS 8558 WITH SCORE 8567.782
AT ITER 319 NEW BEST:: SOT 18049 SOS 9764 HAS SOPS 9764 HAS SOUS 8519 HAS SOUPS 8519 WITH SCORE 8528.764
AT ITER 321 NEW BEST:: SOT 18034 SOS 9702 HAS SOPS 9702 HAS SOUS 8430 HAS SOUPS 8430 WITH SCORE 8439.702
AT ITER 324 NEW BEST:: SOT 18033 SOS 9698 HAS SOPS 9698 HAS SOUS 8426 HAS SOUPS 8426 WITH SCORE 8435.698
AT ITER 330 NEW BEST:: SOT 18029 SOS 9694 HAS SOPS 9694 HAS SOUS 8418 HAS SOUPS 8418 WITH SCORE 8427.694
AT ITER 332 NEW BEST:: SOT 18012 SOS 9659 HAS SOPS 9659 HAS SOUS 8393 HAS SOUPS 8393 WITH SCORE 8402.659
AT ITER 344 NEW BEST:: SOT 18004 SOS 9639 HAS SOPS 9639 HAS SOUS 8381 HAS SOUPS 8381 WITH SCORE 8390.639
AT ITER 359 NEW BEST:: SOT 17997 SOS 9589 HAS SOPS 9589 HAS SOUS 8322 HAS SOUPS 8322 WITH SCORE 8331.589
AT ITER 370 NEW BEST:: SOT 17943 SOS 9489 HAS SOPS 9489 HAS SOUS 8220 HAS SOUPS 8220 WITH SCORE 8229.489
AT ITER 374 NEW BEST:: SOT 17934 SOS 9477 HAS SOPS 9477 HAS SOUS 8219 HAS SOUPS 8219 WITH SCORE 8228.477
AT ITER 375 NEW BEST:: SOT 17834 SOS 9307 HAS SOPS 9307 HAS SOUS 8115 HAS SOUPS 8115 WITH SCORE 8124.307
AT ITER 386 NEW BEST:: SOT 17756 SOS 9196 HAS SOPS 9196 HAS SOUS 8058 HAS SOUPS 8058 WITH SCORE 8067.196
AT ITER 387 NEW BEST:: SOT 17708 SOS 9127 HAS SOPS 9127 HAS SOUS 7974 HAS SOUPS 7974 WITH SCORE 7983.127
AT ITER 395 NEW BEST:: SOT 17696 SOS 9076 HAS SOPS 9076 HAS SOUS 7972 HAS SOUPS 7972 WITH SCORE 7981.076
AT ITER 396 NEW BEST:: SOT 17584 SOS 8886 HAS SOPS 8886 HAS SOUS 7778 HAS SOUPS 7778 WITH SCORE 7786.886
AT ITER 410 NEW BEST:: SOT 17575 SOS 8862 HAS SOPS 8862 HAS SOUS 7755 HAS SOUPS 7755 WITH SCORE 7763.862
AT ITER 421 NEW BEST:: SOT 17538 SOS 8769 HAS SOPS 8769 HAS SOUS 7659 HAS SOUPS 7659 WITH SCORE 7667.769
AT ITER 431 NEW BEST:: SOT 17526 SOS 8721 HAS SOPS 8721 HAS SOUS 7634 HAS SOUPS 7634 WITH SCORE 7642.721
AT ITER 434 NEW BEST:: SOT 17474 SOS 8577 HAS SOPS 8577 HAS SOUS 7536 HAS SOUPS 7536 WITH SCORE 7544.577
AT ITER 435 NEW BEST:: SOT 17446 SOS 8523 HAS SOPS 8523 HAS SOUS 7495 HAS SOUPS 7495 WITH SCORE 7503.523
AT ITER 441 NEW BEST:: SOT 17404 SOS 8433 HAS SOPS 8433 HAS SOUS 7438 HAS SOUPS 7438 WITH SCORE 7446.433
AT ITER 443 NEW BEST:: SOT 17395 SOS 8428 HAS SOPS 8428 HAS SOUS 7436 HAS SOUPS 7436 WITH SCORE 7444.428
AT ITER 445 NEW BEST:: SOT 17385 SOS 8448 HAS SOPS 8448 HAS SOUS 7422 HAS SOUPS 7422 WITH SCORE 7430.448
AT ITER 452 NEW BEST:: SOT 17372 SOS 8422 HAS SOPS 8422 HAS SOUS 7409 HAS SOUPS 7409 WITH SCORE 7417.422
AT ITER 453 NEW BEST:: SOT 17363 SOS 8393 HAS SOPS 8393 HAS SOUS 7386 HAS SOUPS 7386 WITH SCORE 7394.393
AT ITER 459 NEW BEST:: SOT 17340 SOS 8331 HAS SOPS 8331 HAS SOUS 7380 HAS SOUPS 7380 WITH SCORE 7388.331
AT ITER 462 NEW BEST:: SOT 17337 SOS 8325 HAS SOPS 8325 HAS SOUS 7374 HAS SOUPS 7374 WITH SCORE 7382.325
AT ITER 466 NEW BEST:: SOT 17319 SOS 8283 HAS SOPS 8283 HAS SOUS 7338 HAS SOUPS 7338 WITH SCORE 7346.283
AT ITER 473 NEW BEST:: SOT 17318 SOS 8278 HAS SOPS 8278 HAS SOUS 7337 HAS SOUPS 7337 WITH SCORE 7345.278
AT ITER 478 NEW BEST:: SOT 17413 SOS 8171 HAS SOPS 8171 HAS SOUS 7245 HAS SOUPS 7245 WITH SCORE 7253.171
AT ITER 486 NEW BEST:: SOT 17401 SOS 8151 HAS SOPS 8151 HAS SOUS 7229 HAS SOUPS 7229 WITH SCORE 7237.151
AT ITER 488 NEW BEST:: SOT 17334 SOS 8076 HAS SOPS 8076 HAS SOUS 7165 HAS SOUPS 7165 WITH SCORE 7173.076
AT ITER 495 NEW BEST:: SOT 17335 SOS 8027 HAS SOPS 8027 HAS SOUS 7142 HAS SOUPS 7142 WITH SCORE 7150.027
AT ITER 498 NEW BEST:: SOT 17330 SOS 8017 HAS SOPS 8017 HAS SOUS 7132 HAS SOUPS 7132 WITH SCORE 7140.017
AT ITER 508 NEW BEST:: SOT 17307 SOS 8072 HAS SOPS 8072 HAS SOUS 7123 HAS SOUPS 7123 WITH SCORE 7131.072
AT ITER 517 NEW BEST:: SOT 17269 SOS 7882 HAS SOPS 7882 HAS SOUS 7014 HAS SOUPS 7014 WITH SCORE 7021.882
AT ITER 531 NEW BEST:: SOT 17231 SOS 7816 HAS SOPS 7816 HAS SOUS 6942 HAS SOUPS 6942 WITH SCORE 6949.816
AT ITER 533 NEW BEST:: SOT 17231 SOS 7810 HAS SOPS 7810 HAS SOUS 6942 HAS SOUPS 6942 WITH SCORE 6949.81
AT ITER 535 NEW BEST:: SOT 17213 SOS 7797 HAS SOPS 7797 HAS SOUS 6927 HAS SOUPS 6927 WITH SCORE 6934.797
AT ITER 543 NEW BEST:: SOT 17207 SOS 7785 HAS SOPS 7785 HAS SOUS 6909 HAS SOUPS 6909 WITH SCORE 6916.785
AT ITER 544 NEW BEST:: SOT 17131 SOS 7709 HAS SOPS 7709 HAS SOUS 6874 HAS SOUPS 6874 WITH SCORE 6881.709
AT ITER 550 NEW BEST:: SOT 17119 SOS 7679 HAS SOPS 7679 HAS SOUS 6850 HAS SOUPS 6850 WITH SCORE 6857.679
AT ITER 554 NEW BEST:: SOT 17083 SOS 7633 HAS SOPS 7633 HAS SOUS 6804 HAS SOUPS 6804 WITH SCORE 6811.633
AT ITER 565 NEW BEST:: SOT 17008 SOS 7558 HAS SOPS 7558 HAS SOUS 6705 HAS SOUPS 6705 WITH SCORE 6712.558
AT ITER 566 NEW BEST:: SOT 16984 SOS 7539 HAS SOPS 7539 HAS SOUS 6676 HAS SOUPS 6676 WITH SCORE 6683.539
AT ITER 605 NEW BEST:: SOT 16978 SOS 7533 HAS SOPS 7533 HAS SOUS 6670 HAS SOUPS 6670 WITH SCORE 6677.533
AT ITER 613 NEW BEST:: SOT 16957 SOS 7527 HAS SOPS 7527 HAS SOUS 6664 HAS SOUPS 6664 WITH SCORE 6671.527
AT ITER 616 NEW BEST:: SOT 16952 SOS 7522 HAS SOPS 7522 HAS SOUS 6659 HAS SOUPS 6659 WITH SCORE 6666.522
AT ITER 622 NEW BEST:: SOT 16950 SOS 7520 HAS SOPS 7520 HAS SOUS 6657 HAS SOUPS 6657 WITH SCORE 6664.52
AT ITER 638 NEW BEST:: SOT 16950 SOS 7505 HAS SOPS 7505 HAS SOUS 6645 HAS SOUPS 6645 WITH SCORE 6652.505
AT ITER 651 NEW BEST:: SOT 16886 SOS 7428 HAS SOPS 7428 HAS SOUS 6571 HAS SOUPS 6571 WITH SCORE 6578.428
AT ITER 653 NEW BEST:: SOT 16886 SOS 7428 HAS SOPS 7428 HAS SOUS 6563 HAS SOUPS 6563 WITH SCORE 6570.428
AT ITER 661 NEW BEST:: SOT 16887 SOS 7443 HAS SOPS 7443 HAS SOUS 6554 HAS SOUPS 6554 WITH SCORE 6561.443
AT ITER 663 NEW BEST:: SOT 16880 SOS 7415 HAS SOPS 7415 HAS SOUS 6532 HAS SOUPS 6532 WITH SCORE 6539.415
AT ITER 677 NEW BEST:: SOT 16880 SOS 7415 HAS SOPS 7415 HAS SOUS 6525 HAS SOUPS 6525 WITH SCORE 6532.415
AT ITER 733 NEW BEST:: SOT 16881 SOS 7416 HAS SOPS 7416 HAS SOUS 6524 HAS SOUPS 6524 WITH SCORE 6531.416
AT ITER 759 NEW BEST:: SOT 16862 SOS 7397 HAS SOPS 7397 HAS SOUS 6505 HAS SOUPS 6505 WITH SCORE 6512.397
AT ITER 765 NEW BEST:: SOT 16862 SOS 7397 HAS SOPS 7397 HAS SOUS 6499 HAS SOUPS 6499 WITH SCORE 6506.397
AT ITER 769 NEW BEST:: SOT 16852 SOS 7379 HAS SOPS 7379 HAS SOUS 6489 HAS SOUPS 6489 WITH SCORE 6496.379
AT ITER 785 NEW BEST:: SOT 16843 SOS 7354 HAS SOPS 7354 HAS SOUS 6474 HAS SOUPS 6474 WITH SCORE 6481.354
AT ITER 815 NEW BEST:: SOT 16835 SOS 7346 HAS SOPS 7346 HAS SOUS 6466 HAS SOUPS 6466 WITH SCORE 6473.346
AT ITER 816 NEW BEST:: SOT 16827 SOS 7331 HAS SOPS 7331 HAS SOUS 6451 HAS SOUPS 6451 WITH SCORE 6458.331
AT ITER 819 NEW BEST:: SOT 16815 SOS 7310 HAS SOPS 7310 HAS SOUS 6437 HAS SOUPS 6437 WITH SCORE 6444.31
AT ITER 838 NEW BEST:: SOT 16812 SOS 7306 HAS SOPS 7306 HAS SOUS 6433 HAS SOUPS 6433 WITH SCORE 6440.306
AT ITER 864 NEW BEST:: SOT 16814 SOS 7315 HAS SOPS 7315 HAS SOUS 6411 HAS SOUPS 6411 WITH SCORE 6418.315
AT ITER 878 NEW BEST:: SOT 16793 SOS 7280 HAS SOPS 7280 HAS SOUS 6390 HAS SOUPS 6390 WITH SCORE 6397.28
AT ITER 882 NEW BEST:: SOT 16786 SOS 7269 HAS SOPS 7269 HAS SOUS 6375 HAS SOUPS 6375 WITH SCORE 6382.269
AT ITER 885 NEW BEST:: SOT 16780 SOS 7257 HAS SOPS 7257 HAS SOUS 6353 HAS SOUPS 6353 WITH SCORE 6360.257
AT ITER 892 NEW BEST:: SOT 16754 SOS 7218 HAS SOPS 7218 HAS SOUS 6314 HAS SOUPS 6314 WITH SCORE 6321.218
AT ITER 895 NEW BEST:: SOT 16738 SOS 7185 HAS SOPS 7185 HAS SOUS 6268 HAS SOUPS 6268 WITH SCORE 6275.185
AT ITER 900 NEW BEST:: SOT 16728 SOS 7167 HAS SOPS 7167 HAS SOUS 6266 HAS SOUPS 6266 WITH SCORE 6273.167
AT ITER 902 NEW BEST:: SOT 16698 SOS 7108 HAS SOPS 7108 HAS SOUS 6253 HAS SOUPS 6253 WITH SCORE 6260.108
AT ITER 908 NEW BEST:: SOT 16702 SOS 7098 HAS SOPS 7098 HAS SOUS 6243 HAS SOUPS 6243 WITH SCORE 6250.098
AT ITER 916 NEW BEST:: SOT 16699 SOS 7096 HAS SOPS 7096 HAS SOUS 6241 HAS SOUPS 6241 WITH SCORE 6248.096
AT ITER 918 NEW BEST:: SOT 16694 SOS 7079 HAS SOPS 7079 HAS SOUS 6229 HAS SOUPS 6229 WITH SCORE 6236.079
AT ITER 941 NEW BEST:: SOT 16691 SOS 7074 HAS SOPS 7074 HAS SOUS 6225 HAS SOUPS 6225 WITH SCORE 6232.074
AT ITER 948 NEW BEST:: SOT 16672 SOS 7050 HAS SOPS 7050 HAS SOUS 6188 HAS SOUPS 6188 WITH SCORE 6195.05
AT ITER 951 NEW BEST:: SOT 16673 SOS 6973 HAS SOPS 6973 HAS SOUS 6139 HAS SOUPS 6139 WITH SCORE 6145.973
AT ITER 973 NEW BEST:: SOT 16669 SOS 6922 HAS SOPS 6922 HAS SOUS 6116 HAS SOUPS 6116 WITH SCORE 6122.922
AT ITER 974 NEW BEST:: SOT 16659 SOS 6906 HAS SOPS 6906 HAS SOUS 6080 HAS SOUPS 6080 WITH SCORE 6086.906
AT ITER 978 NEW BEST:: SOT 16628 SOS 6852 HAS SOPS 6852 HAS SOUS 6036 HAS SOUPS 6036 WITH SCORE 6042.852
AT ITER 990 NEW BEST:: SOT 16583 SOS 6797 HAS SOPS 6797 HAS SOUS 5981 HAS SOUPS 5981 WITH SCORE 5987.797
AT ITER 999 NEW BEST:: SOT 16573 SOS 6779 HAS SOPS 6779 HAS SOUS 5963 HAS SOUPS 5963 WITH SCORE 5969.779
AT ITER 1000 NEW BEST:: SOT 16569 SOS 6755 HAS SOPS 6755 HAS SOUS 5951 HAS SOUPS 5951 WITH SCORE 5957.755
AT ITER 1004 NEW BEST:: SOT 16562 SOS 6744 HAS SOPS 6744 HAS SOUS 5949 HAS SOUPS 5949 WITH SCORE 5955.744
AT ITER 1039 NEW BEST:: SOT 16549 SOS 6698 HAS SOPS 6698 HAS SOUS 5882 HAS SOUPS 5882 WITH SCORE 5888.698
AT ITER 1042 NEW BEST:: SOT 16548 SOS 6694 HAS SOPS 6694 HAS SOUS 5880 HAS SOUPS 5880 WITH SCORE 5886.694
AT ITER 1043 NEW BEST:: SOT 16548 SOS 6694 HAS SOPS 6694 HAS SOUS 5879 HAS SOUPS 5879 WITH SCORE 5885.694
AT ITER 1045 NEW BEST:: SOT 16544 SOS 6678 HAS SOPS 6678 HAS SOUS 5867 HAS SOUPS 5867 WITH SCORE 5873.678
AT ITER 1072 NEW BEST:: SOT 16544 SOS 6668 HAS SOPS 6668 HAS SOUS 5862 HAS SOUPS 5862 WITH SCORE 5868.668
AT ITER 1086 NEW BEST:: SOT 16547 SOS 6653 HAS SOPS 6653 HAS SOUS 5847 HAS SOUPS 5847 WITH SCORE 5853.653
AT ITER 1125 NEW BEST:: SOT 16539 SOS 6633 HAS SOPS 6633 HAS SOUS 5827 HAS SOUPS 5827 WITH SCORE 5833.633
AT ITER 1138 NEW BEST:: SOT 16543 SOS 6549 HAS SOPS 6549 HAS SOUS 5783 HAS SOUPS 5783 WITH SCORE 5789.549
AT ITER 1150 NEW BEST:: SOT 16539 SOS 6539 HAS SOPS 6539 HAS SOUS 5775 HAS SOUPS 5775 WITH SCORE 5781.539
AT ITER 1161 NEW BEST:: SOT 16531 SOS 6499 HAS SOPS 6499 HAS SOUS 5759 HAS SOUPS 5759 WITH SCORE 5765.499
AT ITER 1174 NEW BEST:: SOT 16531 SOS 6498 HAS SOPS 6498 HAS SOUS 5758 HAS SOUPS 5758 WITH SCORE 5764.498
AT ITER 1180 NEW BEST:: SOT 16528 SOS 6496 HAS SOPS 6496 HAS SOUS 5756 HAS SOUPS 5756 WITH SCORE 5762.496
AT ITER 1182 NEW BEST:: SOT 16528 SOS 6495 HAS SOPS 6495 HAS SOUS 5756 HAS SOUPS 5756 WITH SCORE 5762.495
AT ITER 1196 NEW BEST:: SOT 16522 SOS 6477 HAS SOPS 6477 HAS SOUS 5750 HAS SOUPS 5750 WITH SCORE 5756.477
AT ITER 1237 NEW BEST:: SOT 16540 SOS 6481 HAS SOPS 6481 HAS SOUS 5744 HAS SOUPS 5744 WITH SCORE 5750.481
AT ITER 1251 NEW BEST:: SOT 16533 SOS 6456 HAS SOPS 6456 HAS SOUS 5737 HAS SOUPS 5737 WITH SCORE 5743.456
AT ITER 1257 NEW BEST:: SOT 16528 SOS 6441 HAS SOPS 6441 HAS SOUS 5717 HAS SOUPS 5717 WITH SCORE 5723.441
AT ITER 1283 NEW BEST:: SOT 16520 SOS 6426 HAS SOPS 6426 HAS SOUS 5694 HAS SOUPS 5694 WITH SCORE 5700.426
AT ITER 1294 NEW BEST:: SOT 16520 SOS 6424 HAS SOPS 6424 HAS SOUS 5694 HAS SOUPS 5694 WITH SCORE 5700.424
AT ITER 1295 NEW BEST:: SOT 16516 SOS 6420 HAS SOPS 6420 HAS SOUS 5692 HAS SOUPS 5692 WITH SCORE 5698.42
AT ITER 1325 NEW BEST:: SOT 16526 SOS 6426 HAS SOPS 6426 HAS SOUS 5685 HAS SOUPS 5685 WITH SCORE 5691.426
AT ITER 1342 NEW BEST:: SOT 16526 SOS 6409 HAS SOPS 6409 HAS SOUS 5685 HAS SOUPS 5685 WITH SCORE 5691.409
AT ITER 1371 NEW BEST:: SOT 16524 SOS 6403 HAS SOPS 6403 HAS SOUS 5685 HAS SOUPS 5685 WITH SCORE 5691.403
AT ITER 1391 NEW BEST:: SOT 16522 SOS 6398 HAS SOPS 6398 HAS SOUS 5679 HAS SOUPS 5679 WITH SCORE 5685.398
AT ITER 1395 NEW BEST:: SOT 16512 SOS 6388 HAS SOPS 6388 HAS SOUS 5669 HAS SOUPS 5669 WITH SCORE 5675.388
AT ITER 1402 NEW BEST:: SOT 16509 SOS 6384 HAS SOPS 6384 HAS SOUS 5665 HAS SOUPS 5665 WITH SCORE 5671.384
AT ITER 1447 NEW BEST:: SOT 16496 SOS 6364 HAS SOPS 6364 HAS SOUS 5654 HAS SOUPS 5654 WITH SCORE 5660.364
AT ITER 1488 NEW BEST:: SOT 16472 SOS 6324 HAS SOPS 6324 HAS SOUS 5620 HAS SOUPS 5620 WITH SCORE 5626.324
AT ITER 1504 NEW BEST:: SOT 16458 SOS 6303 HAS SOPS 6303 HAS SOUS 5599 HAS SOUPS 5599 WITH SCORE 5605.303
AT ITER 1506 NEW BEST:: SOT 16452 SOS 6291 HAS SOPS 6291 HAS SOUS 5593 HAS SOUPS 5593 WITH SCORE 5599.291
AT ITER 1523 NEW BEST:: SOT 16446 SOS 6281 HAS SOPS 6281 HAS SOUS 5587 HAS SOUPS 5587 WITH SCORE 5593.281
AT ITER 1528 NEW BEST:: SOT 16444 SOS 6279 HAS SOPS 6279 HAS SOUS 5585 HAS SOUPS 5585 WITH SCORE 5591.279
AT ITER 1548 NEW BEST:: SOT 16425 SOS 6260 HAS SOPS 6260 HAS SOUS 5555 HAS SOUPS 5555 WITH SCORE 5561.26
AT ITER 1561 NEW BEST:: SOT 16418 SOS 6253 HAS SOPS 6253 HAS SOUS 5555 HAS SOUPS 5555 WITH SCORE 5561.253
AT ITER 1592 NEW BEST:: SOT 16412 SOS 6206 HAS SOPS 6206 HAS SOUS 5526 HAS SOUPS 5526 WITH SCORE 5532.206
AT ITER 1597 NEW BEST:: SOT 16388 SOS 6165 HAS SOPS 6165 HAS SOUS 5480 HAS SOUPS 5480 WITH SCORE 5486.165
AT ITER 1599 NEW BEST:: SOT 16372 SOS 6145 HAS SOPS 6145 HAS SOUS 5460 HAS SOUPS 5460 WITH SCORE 5466.145
AT ITER 1669 NEW BEST:: SOT 16372 SOS 6145 HAS SOPS 6145 HAS SOUS 5455 HAS SOUPS 5455 WITH SCORE 5461.145
AT ITER 1672 NEW BEST:: SOT 16357 SOS 6059 HAS SOPS 6059 HAS SOUS 5404 HAS SOUPS 5404 WITH SCORE 5410.059
AT ITER 1682 NEW BEST:: SOT 16340 SOS 6012 HAS SOPS 6012 HAS SOUS 5379 HAS SOUPS 5379 WITH SCORE 5385.012
AT ITER 1684 NEW BEST:: SOT 16340 SOS 6008 HAS SOPS 6008 HAS SOUS 5379 HAS SOUPS 5379 WITH SCORE 5385.008
AT ITER 1685 NEW BEST:: SOT 16339 SOS 6009 HAS SOPS 6009 HAS SOUS 5354 HAS SOUPS 5354 WITH SCORE 5360.009
AT ITER 1719 NEW BEST:: SOT 16303 SOS 5952 HAS SOPS 5952 HAS SOUS 5281 HAS SOUPS 5281 WITH SCORE 5286.952
AT ITER 1739 NEW BEST:: SOT 16301 SOS 5941 HAS SOPS 5941 HAS SOUS 5267 HAS SOUPS 5267 WITH SCORE 5272.941
AT ITER 1756 NEW BEST:: SOT 16292 SOS 5932 HAS SOPS 5932 HAS SOUS 5264 HAS SOUPS 5264 WITH SCORE 5269.932
AT ITER 1836 NEW BEST:: SOT 16284 SOS 5924 HAS SOPS 5924 HAS SOUS 5256 HAS SOUPS 5256 WITH SCORE 5261.924
AT ITER 1841 NEW BEST:: SOT 16295 SOS 5935 HAS SOPS 5935 HAS SOUS 5255 HAS SOUPS 5255 WITH SCORE 5260.935
AT ITER 1881 NEW BEST:: SOT 16295 SOS 5935 HAS SOPS 5935 HAS SOUS 5252 HAS SOUPS 5252 WITH SCORE 5257.935
AT ITER 1893 NEW BEST:: SOT 16291 SOS 5925 HAS SOPS 5925 HAS SOUS 5242 HAS SOUPS 5242 WITH SCORE 5247.925
AT ITER 1907 NEW BEST:: SOT 16281 SOS 5902 HAS SOPS 5902 HAS SOUS 5219 HAS SOUPS 5219 WITH SCORE 5224.902
AT ITER 1912 NEW BEST:: SOT 16276 SOS 5887 HAS SOPS 5887 HAS SOUS 5209 HAS SOUPS 5209 WITH SCORE 5214.887
AT ITER 1920 NEW BEST:: SOT 16276 SOS 5871 HAS SOPS 5871 HAS SOUS 5197 HAS SOUPS 5197 WITH SCORE 5202.871
AT ITER 1952 NEW BEST:: SOT 16257 SOS 5852 HAS SOPS 5852 HAS SOUS 5178 HAS SOUPS 5178 WITH SCORE 5183.852
AT ITER 1959 NEW BEST:: SOT 16250 SOS 5825 HAS SOPS 5825 HAS SOUS 5160 HAS SOUPS 5160 WITH SCORE 5165.825
AT ITER 2020 NEW BEST:: SOT 16244 SOS 5824 HAS SOPS 5824 HAS SOUS 5150 HAS SOUPS 5150 WITH SCORE 5155.824
AT ITER 2045 NEW BEST:: SOT 16242 SOS 5821 HAS SOPS 5821 HAS SOUS 5148 HAS SOUPS 5148 WITH SCORE 5153.821
AT ITER 2046 NEW BEST:: SOT 16239 SOS 5818 HAS SOPS 5818 HAS SOUS 5148 HAS SOUPS 5148 WITH SCORE 5153.818
AT ITER 2113 NEW BEST:: SOT 16226 SOS 5801 HAS SOPS 5801 HAS SOUS 5134 HAS SOUPS 5134 WITH SCORE 5139.801
AT ITER 2115 NEW BEST:: SOT 16226 SOS 5796 HAS SOPS 5796 HAS SOUS 5134 HAS SOUPS 5134 WITH SCORE 5139.796
AT ITER 2122 NEW BEST:: SOT 16223 SOS 5792 HAS SOPS 5792 HAS SOUS 5130 HAS SOUPS 5130 WITH SCORE 5135.792
AT ITER 2144 NEW BEST:: SOT 16219 SOS 5784 HAS SOPS 5784 HAS SOUS 5126 HAS SOUPS 5126 WITH SCORE 5131.784
AT ITER 2151 NEW BEST:: SOT 16216 SOS 5778 HAS SOPS 5778 HAS SOUS 5113 HAS SOUPS 5113 WITH SCORE 5118.778
AT ITER 2159 NEW BEST:: SOT 16214 SOS 5772 HAS SOPS 5772 HAS SOUS 5107 HAS SOUPS 5107 WITH SCORE 5112.772
AT ITER 2171 NEW BEST:: SOT 16205 SOS 5756 HAS SOPS 5756 HAS SOUS 5103 HAS SOUPS 5103 WITH SCORE 5108.756
AT ITER 2176 NEW BEST:: SOT 16205 SOS 5754 HAS SOPS 5754 HAS SOUS 5103 HAS SOUPS 5103 WITH SCORE 5108.754
AT ITER 2210 NEW BEST:: SOT 16205 SOS 5756 HAS SOPS 5756 HAS SOUS 5101 HAS SOUPS 5101 WITH SCORE 5106.756
AT ITER 2253 NEW BEST:: SOT 16186 SOS 5735 HAS SOPS 5735 HAS SOUS 5093 HAS SOUPS 5093 WITH SCORE 5098.735
AT ITER 2256 NEW BEST:: SOT 16182 SOS 5723 HAS SOPS 5723 HAS SOUS 5085 HAS SOUPS 5085 WITH SCORE 5090.723
AT ITER 2263 NEW BEST:: SOT 16160 SOS 5702 HAS SOPS 5702 HAS SOUS 5064 HAS SOUPS 5064 WITH SCORE 5069.702
AT ITER 2281 NEW BEST:: SOT 16106 SOS 5617 HAS SOPS 5617 HAS SOUS 4995 HAS SOUPS 4995 WITH SCORE 5000.617
AT ITER 2282 NEW BEST:: SOT 16103 SOS 5601 HAS SOPS 5601 HAS SOUS 4986 HAS SOUPS 4986 WITH SCORE 4991.601
AT ITER 2324 NEW BEST:: SOT 16100 SOS 5592 HAS SOPS 5592 HAS SOUS 4980 HAS SOUPS 4980 WITH SCORE 4985.592
AT ITER 2326 NEW BEST:: SOT 16095 SOS 5587 HAS SOPS 5587 HAS SOUS 4980 HAS SOUPS 4980 WITH SCORE 4985.587
AT ITER 2341 NEW BEST:: SOT 16092 SOS 5583 HAS SOPS 5583 HAS SOUS 4976 HAS SOUPS 4976 WITH SCORE 4981.583
AT ITER 2347 NEW BEST:: SOT 16086 SOS 5570 HAS SOPS 5570 HAS SOUS 4967 HAS SOUPS 4967 WITH SCORE 4972.57
AT ITER 2386 NEW BEST:: SOT 16078 SOS 5567 HAS SOPS 5567 HAS SOUS 4964 HAS SOUPS 4964 WITH SCORE 4969.567
AT ITER 2391 NEW BEST:: SOT 16076 SOS 5567 HAS SOPS 5567 HAS SOUS 4950 HAS SOUPS 4950 WITH SCORE 4955.567
AT ITER 2421 NEW BEST:: SOT 16061 SOS 5546 HAS SOPS 5546 HAS SOUS 4929 HAS SOUPS 4929 WITH SCORE 4934.546
AT ITER 2422 NEW BEST:: SOT 16057 SOS 5525 HAS SOPS 5525 HAS SOUS 4916 HAS SOUPS 4916 WITH SCORE 4921.525
AT ITER 2506 NEW BEST:: SOT 16056 SOS 5540 HAS SOPS 5540 HAS SOUS 4915 HAS SOUPS 4915 WITH SCORE 4920.54
AT ITER 2565 NEW BEST:: SOT 16047 SOS 5522 HAS SOPS 5522 HAS SOUS 4903 HAS SOUPS 4903 WITH SCORE 4908.522
AT ITER 2586 NEW BEST:: SOT 16044 SOS 5518 HAS SOPS 5518 HAS SOUS 4899 HAS SOUPS 4899 WITH SCORE 4904.518
AT ITER 2622 NEW BEST:: SOT 16044 SOS 5506 HAS SOPS 5506 HAS SOUS 4899 HAS SOUPS 4899 WITH SCORE 4904.506
AT ITER 2623 NEW BEST:: SOT 16040 SOS 5495 HAS SOPS 5495 HAS SOUS 4893 HAS SOUPS 4893 WITH SCORE 4898.495
AT ITER 2683 NEW BEST:: SOT 16025 SOS 5475 HAS SOPS 5475 HAS SOUS 4873 HAS SOUPS 4873 WITH SCORE 4878.475
AT ITER 2694 NEW BEST:: SOT 16019 SOS 5454 HAS SOPS 5454 HAS SOUS 4847 HAS SOUPS 4847 WITH SCORE 4852.454
AT ITER 2741 NEW BEST:: SOT 16006 SOS 5447 HAS SOPS 5447 HAS SOUS 4837 HAS SOUPS 4837 WITH SCORE 4842.447
AT ITER 2754 NEW BEST:: SOT 16002 SOS 5442 HAS SOPS 5442 HAS SOUS 4836 HAS SOUPS 4836 WITH SCORE 4841.442
AT ITER 2853 NEW BEST:: SOT 16000 SOS 5434 HAS SOPS 5434 HAS SOUS 4828 HAS SOUPS 4828 WITH SCORE 4833.434
AT ITER 2857 NEW BEST:: SOT 15995 SOS 5426 HAS SOPS 5426 HAS SOUS 4820 HAS SOUPS 4820 WITH SCORE 4825.426
AT ITER 2897 NEW BEST:: SOT 15983 SOS 5404 HAS SOPS 5404 HAS SOUS 4800 HAS SOUPS 4800 WITH SCORE 4805.404
AT ITER 2901 NEW BEST:: SOT 15981 SOS 5398 HAS SOPS 5398 HAS SOUS 4798 HAS SOUPS 4798 WITH SCORE 4803.398
AT ITER 2924 NEW BEST:: SOT 15979 SOS 5394 HAS SOPS 5394 HAS SOUS 4796 HAS SOUPS 4796 WITH SCORE 4801.394
AT ITER 3030 NEW BEST:: SOT 15977 SOS 5392 HAS SOPS 5392 HAS SOUS 4794 HAS SOUPS 4794 WITH SCORE 4799.392
AT ITER 3037 NEW BEST:: SOT 15966 SOS 5371 HAS SOPS 5371 HAS SOUS 4784 HAS SOUPS 4784 WITH SCORE 4789.371
AT ITER 3079 NEW BEST:: SOT 15963 SOS 5370 HAS SOPS 5370 HAS SOUS 4777 HAS SOUPS 4777 WITH SCORE 4782.37
AT ITER 3144 NEW BEST:: SOT 15956 SOS 5349 HAS SOPS 5349 HAS SOUS 4770 HAS SOUPS 4770 WITH SCORE 4775.349
AT ITER 3182 NEW BEST:: SOT 15956 SOS 5350 HAS SOPS 5350 HAS SOUS 4765 HAS SOUPS 4765 WITH SCORE 4770.35
AT ITER 3200 NEW BEST:: SOT 15958 SOS 5344 HAS SOPS 5344 HAS SOUS 4758 HAS SOUPS 4758 WITH SCORE 4763.344
AT ITER 3215 NEW BEST:: SOT 15957 SOS 5335 HAS SOPS 5335 HAS SOUS 4752 HAS SOUPS 4752 WITH SCORE 4757.335
AT ITER 3277 NEW BEST:: SOT 15954 SOS 5337 HAS SOPS 5337 HAS SOUS 4749 HAS SOUPS 4749 WITH SCORE 4754.337
AT ITER 3318 NEW BEST:: SOT 15953 SOS 5335 HAS SOPS 5335 HAS SOUS 4748 HAS SOUPS 4748 WITH SCORE 4753.335
AT ITER 3324 NEW BEST:: SOT 15948 SOS 5328 HAS SOPS 5328 HAS SOUS 4741 HAS SOUPS 4741 WITH SCORE 4746.328
AT ITER 3332 NEW BEST:: SOT 15946 SOS 5326 HAS SOPS 5326 HAS SOUS 4737 HAS SOUPS 4737 WITH SCORE 4742.326
AT ITER 3346 NEW BEST:: SOT 15944 SOS 5323 HAS SOPS 5323 HAS SOUS 4734 HAS SOUPS 4734 WITH SCORE 4739.323
AT ITER 3524 NEW BEST:: SOT 15948 SOS 5327 HAS SOPS 5327 HAS SOUS 4733 HAS SOUPS 4733 WITH SCORE 4738.327
AT ITER 3551 NEW BEST:: SOT 15948 SOS 5323 HAS SOPS 5323 HAS SOUS 4733 HAS SOUPS 4733 WITH SCORE 4738.323
AT ITER 3616 NEW BEST:: SOT 15929 SOS 5298 HAS SOPS 5298 HAS SOUS 4708 HAS SOUPS 4708 WITH SCORE 4713.298
AT ITER 3621 NEW BEST:: SOT 15929 SOS 5291 HAS SOPS 5291 HAS SOUS 4708 HAS SOUPS 4708 WITH SCORE 4713.291
AT ITER 3630 NEW BEST:: SOT 15929 SOS 5291 HAS SOPS 5291 HAS SOUS 4704 HAS SOUPS 4704 WITH SCORE 4709.291
AT ITER 3649 NEW BEST:: SOT 15927 SOS 5289 HAS SOPS 5289 HAS SOUS 4702 HAS SOUPS 4702 WITH SCORE 4707.289
AT ITER 3665 NEW BEST:: SOT 15927 SOS 5277 HAS SOPS 5277 HAS SOUS 4696 HAS SOUPS 4696 WITH SCORE 4701.277
AT ITER 3673 NEW BEST:: SOT 15912 SOS 5242 HAS SOPS 5242 HAS SOUS 4666 HAS SOUPS 4666 WITH SCORE 4671.242
AT ITER 3710 NEW BEST:: SOT 15898 SOS 5226 HAS SOPS 5226 HAS SOUS 4650 HAS SOUPS 4650 WITH SCORE 4655.226
AT ITER 3780 NEW BEST:: SOT 15879 SOS 5208 HAS SOPS 5208 HAS SOUS 4629 HAS SOUPS 4629 WITH SCORE 4634.208
AT ITER 3808 NEW BEST:: SOT 15875 SOS 5206 HAS SOPS 5206 HAS SOUS 4625 HAS SOUPS 4625 WITH SCORE 4630.206
AT ITER 3847 NEW BEST:: SOT 15850 SOS 5180 HAS SOPS 5180 HAS SOUS 4596 HAS SOUPS 4596 WITH SCORE 4601.18
AT ITER 3856 NEW BEST:: SOT 15846 SOS 5164 HAS SOPS 5164 HAS SOUS 4588 HAS SOUPS 4588 WITH SCORE 4593.164
AT ITER 3859 NEW BEST:: SOT 15847 SOS 5163 HAS SOPS 5163 HAS SOUS 4587 HAS SOUPS 4587 WITH SCORE 4592.163
AT ITER 3921 NEW BEST:: SOT 15847 SOS 5162 HAS SOPS 5162 HAS SOUS 4586 HAS SOUPS 4586 WITH SCORE 4591.162
AT ITER 3944 NEW BEST:: SOT 15847 SOS 5163 HAS SOPS 5163 HAS SOUS 4585 HAS SOUPS 4585 WITH SCORE 4590.163
AT ITER 4003 NEW BEST:: SOT 15852 SOS 5140 HAS SOPS 5140 HAS SOUS 4571 HAS SOUPS 4571 WITH SCORE 4576.14
AT ITER 4010 NEW BEST:: SOT 15852 SOS 5139 HAS SOPS 5139 HAS SOUS 4569 HAS SOUPS 4569 WITH SCORE 4574.139
AT ITER 4013 NEW BEST:: SOT 15851 SOS 5136 HAS SOPS 5136 HAS SOUS 4568 HAS SOUPS 4568 WITH SCORE 4573.136
AT ITER 4148 NEW BEST:: SOT 15851 SOS 5145 HAS SOPS 5145 HAS SOUS 4566 HAS SOUPS 4566 WITH SCORE 4571.145
AT ITER 4173 NEW BEST:: SOT 15839 SOS 5125 HAS SOPS 5125 HAS SOUS 4550 HAS SOUPS 4550 WITH SCORE 4555.125
AT ITER 4174 NEW BEST:: SOT 15836 SOS 5113 HAS SOPS 5113 HAS SOUS 4541 HAS SOUPS 4541 WITH SCORE 4546.113
AT ITER 4272 NEW BEST:: SOT 15832 SOS 5101 HAS SOPS 5101 HAS SOUS 4533 HAS SOUPS 4533 WITH SCORE 4538.101
AT ITER 4292 NEW BEST:: SOT 15830 SOS 5099 HAS SOPS 5099 HAS SOUS 4527 HAS SOUPS 4527 WITH SCORE 4532.099
AT ITER 4303 NEW BEST:: SOT 15821 SOS 5088 HAS SOPS 5088 HAS SOUS 4518 HAS SOUPS 4518 WITH SCORE 4523.088
AT ITER 4347 NEW BEST:: SOT 15819 SOS 5086 HAS SOPS 5086 HAS SOUS 4516 HAS SOUPS 4516 WITH SCORE 4521.086
AT ITER 4387 NEW BEST:: SOT 15816 SOS 5080 HAS SOPS 5080 HAS SOUS 4512 HAS SOUPS 4512 WITH SCORE 4517.08
AT ITER 4446 NEW BEST:: SOT 15804 SOS 5052 HAS SOPS 5052 HAS SOUS 4496 HAS SOUPS 4496 WITH SCORE 4501.052
AT ITER 4560 NEW BEST:: SOT 15804 SOS 5052 HAS SOPS 5052 HAS SOUS 4495 HAS SOUPS 4495 WITH SCORE 4500.052
AT ITER 4587 NEW BEST:: SOT 15792 SOS 5038 HAS SOPS 5038 HAS SOUS 4483 HAS SOUPS 4483 WITH SCORE 4488.038
AT ITER 4685 NEW BEST:: SOT 15792 SOS 5037 HAS SOPS 5037 HAS SOUS 4481 HAS SOUPS 4481 WITH SCORE 4486.037
AT ITER 4697 NEW BEST:: SOT 15790 SOS 5031 HAS SOPS 5031 HAS SOUS 4478 HAS SOUPS 4478 WITH SCORE 4483.031
AT ITER 4715 NEW BEST:: SOT 15788 SOS 5027 HAS SOPS 5027 HAS SOUS 4476 HAS SOUPS 4476 WITH SCORE 4481.027
AT ITER 4812 NEW BEST:: SOT 15788 SOS 5026 HAS SOPS 5026 HAS SOUS 4475 HAS SOUPS 4475 WITH SCORE 4480.026
AT ITER 4888 NEW BEST:: SOT 15791 SOS 5022 HAS SOPS 5022 HAS SOUS 4473 HAS SOUPS 4473 WITH SCORE 4478.022
AT ITER 5134 NEW BEST:: SOT 15788 SOS 5018 HAS SOPS 5018 HAS SOUS 4469 HAS SOUPS 4469 WITH SCORE 4474.018
AT ITER 5154 NEW BEST:: SOT 15777 SOS 5006 HAS SOPS 5006 HAS SOUS 4461 HAS SOUPS 4461 WITH SCORE 4466.006
AT ITER 5193 NEW BEST:: SOT 15775 SOS 5000 HAS SOPS 5000 HAS SOUS 4457 HAS SOUPS 4457 WITH SCORE 4462.0
AT ITER 5535 NEW BEST:: SOT 15769 SOS 4992 HAS SOPS 4992 HAS SOUS 4449 HAS SOUPS 4449 WITH SCORE 4453.992
AT ITER 5574 NEW BEST:: SOT 15763 SOS 4982 HAS SOPS 4982 HAS SOUS 4440 HAS SOUPS 4440 WITH SCORE 4444.982
AT ITER 5635 NEW BEST:: SOT 15756 SOS 4961 HAS SOPS 4961 HAS SOUS 4429 HAS SOUPS 4429 WITH SCORE 4433.961
AT ITER 5699 NEW BEST:: SOT 15755 SOS 4964 HAS SOPS 4964 HAS SOUS 4427 HAS SOUPS 4427 WITH SCORE 4431.964
AT ITER 5734 NEW BEST:: SOT 15734 SOS 4929 HAS SOPS 4929 HAS SOUS 4399 HAS SOUPS 4399 WITH SCORE 4403.929
AT ITER 5932 NEW BEST:: SOT 15732 SOS 4927 HAS SOPS 4927 HAS SOUS 4397 HAS SOUPS 4397 WITH SCORE 4401.927
AT ITER 5937 NEW BEST:: SOT 15734 SOS 4930 HAS SOPS 4930 HAS SOUS 4395 HAS SOUPS 4395 WITH SCORE 4399.93
AT ITER 5938 NEW BEST:: SOT 15733 SOS 4926 HAS SOPS 4926 HAS SOUS 4393 HAS SOUPS 4393 WITH SCORE 4397.926
AT ITER 6044 NEW BEST:: SOT 15729 SOS 4920 HAS SOPS 4920 HAS SOUS 4387 HAS SOUPS 4387 WITH SCORE 4391.92
AT ITER 6079 NEW BEST:: SOT 15725 SOS 4915 HAS SOPS 4915 HAS SOUS 4382 HAS SOUPS 4382 WITH SCORE 4386.915
AT ITER 6145 NEW BEST:: SOT 15724 SOS 4912 HAS SOPS 4912 HAS SOUS 4375 HAS SOUPS 4375 WITH SCORE 4379.912
AT ITER 6184 NEW BEST:: SOT 15717 SOS 4903 HAS SOPS 4903 HAS SOUS 4368 HAS SOUPS 4368 WITH SCORE 4372.903
AT ITER 6200 NEW BEST:: SOT 15714 SOS 4901 HAS SOPS 4901 HAS SOUS 4365 HAS SOUPS 4365 WITH SCORE 4369.901
AT ITER 6259 NEW BEST:: SOT 15713 SOS 4897 HAS SOPS 4897 HAS SOUS 4363 HAS SOUPS 4363 WITH SCORE 4367.897
AT ITER 6323 NEW BEST:: SOT 15706 SOS 4894 HAS SOPS 4894 HAS SOUS 4356 HAS SOUPS 4356 WITH SCORE 4360.894
AT ITER 6557 NEW BEST:: SOT 15706 SOS 4887 HAS SOPS 4887 HAS SOUS 4354 HAS SOUPS 4354 WITH SCORE 4358.887
AT ITER 6660 NEW BEST:: SOT 15705 SOS 4883 HAS SOPS 4883 HAS SOUS 4352 HAS SOUPS 4352 WITH SCORE 4356.883
AT ITER 6665 NEW BEST:: SOT 15702 SOS 4879 HAS SOPS 4879 HAS SOUS 4348 HAS SOUPS 4348 WITH SCORE 4352.879
AT ITER 6850 NEW BEST:: SOT 15702 SOS 4876 HAS SOPS 4876 HAS SOUS 4347 HAS SOUPS 4347 WITH SCORE 4351.876
AT ITER 7029 NEW BEST:: SOT 15697 SOS 4869 HAS SOPS 4869 HAS SOUS 4340 HAS SOUPS 4340 WITH SCORE 4344.869
AT ITER 7083 NEW BEST:: SOT 15695 SOS 4856 HAS SOPS 4856 HAS SOUS 4324 HAS SOUPS 4324 WITH SCORE 4328.856
AT ITER 7257 NEW BEST:: SOT 15695 SOS 4853 HAS SOPS 4853 HAS SOUS 4321 HAS SOUPS 4321 WITH SCORE 4325.853
AT ITER 7331 NEW BEST:: SOT 15688 SOS 4851 HAS SOPS 4851 HAS SOUS 4307 HAS SOUPS 4307 WITH SCORE 4311.851
AT ITER 7438 NEW BEST:: SOT 15686 SOS 4849 HAS SOPS 4849 HAS SOUS 4304 HAS SOUPS 4304 WITH SCORE 4308.849
AT ITER 7637 NEW BEST:: SOT 15685 SOS 4845 HAS SOPS 4845 HAS SOUS 4302 HAS SOUPS 4302 WITH SCORE 4306.845
AT ITER 7817 NEW BEST:: SOT 15682 SOS 4838 HAS SOPS 4838 HAS SOUS 4295 HAS SOUPS 4295 WITH SCORE 4299.838
AT ITER 7873 NEW BEST:: SOT 15667 SOS 4804 HAS SOPS 4804 HAS SOUS 4261 HAS SOUPS 4261 WITH SCORE 4265.804
AT ITER 7960 NEW BEST:: SOT 15664 SOS 4798 HAS SOPS 4798 HAS SOUS 4255 HAS SOUPS 4255 WITH SCORE 4259.798
AT ITER 8229 NEW BEST:: SOT 15662 SOS 4796 HAS SOPS 4796 HAS SOUS 4251 HAS SOUPS 4251 WITH SCORE 4255.796
AT ITER 8429 NEW BEST:: SOT 15662 SOS 4794 HAS SOPS 4794 HAS SOUS 4251 HAS SOUPS 4251 WITH SCORE 4255.794
AT ITER 8440 NEW BEST:: SOT 15659 SOS 4793 HAS SOPS 4793 HAS SOUS 4243 HAS SOUPS 4243 WITH SCORE 4247.793
AT ITER 8467 NEW BEST:: SOT 15656 SOS 4786 HAS SOPS 4786 HAS SOUS 4239 HAS SOUPS 4239 WITH SCORE 4243.786
AT ITER 8560 NEW BEST:: SOT 15648 SOS 4766 HAS SOPS 4766 HAS SOUS 4223 HAS SOUPS 4223 WITH SCORE 4227.766
AT ITER 8574 NEW BEST:: SOT 15647 SOS 4764 HAS SOPS 4764 HAS SOUS 4220 HAS SOUPS 4220 WITH SCORE 4224.764
AT ITER 8630 NEW BEST:: SOT 15637 SOS 4750 HAS SOPS 4750 HAS SOUS 4211 HAS SOUPS 4211 WITH SCORE 4215.75
AT ITER 9019 NEW BEST:: SOT 15634 SOS 4746 HAS SOPS 4746 HAS SOUS 4207 HAS SOUPS 4207 WITH SCORE 4211.746
AT ITER 9025 NEW BEST:: SOT 15624 SOS 4736 HAS SOPS 4736 HAS SOUS 4201 HAS SOUPS 4201 WITH SCORE 4205.736
AT ITER 9185 NEW BEST:: SOT 15623 SOS 4733 HAS SOPS 4733 HAS SOUS 4199 HAS SOUPS 4199 WITH SCORE 4203.733
AT ITER 9541 NEW BEST:: SOT 15621 SOS 4723 HAS SOPS 4723 HAS SOUS 4195 HAS SOUPS 4195 WITH SCORE 4199.723
AT ITER 9561 NEW BEST:: SOT 15619 SOS 4714 HAS SOPS 4714 HAS SOUS 4190 HAS SOUPS 4190 WITH SCORE 4194.714
AT ITER 9883 NEW BEST:: SOT 15617 SOS 4710 HAS SOPS 4710 HAS SOUS 4187 HAS SOUPS 4187 WITH SCORE 4191.71
STATE_SPACE STATES 2417851639229258349412353 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 81 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 129052831243861664399884289 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679088611949

--------------------
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="ShieldRVt-PT-020A"
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 ShieldRVt-PT-020A, 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 r419-tajo-167905973600280"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldRVt-PT-020A.tgz
mv ShieldRVt-PT-020A 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 ;