Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 268K
-rw-r--r-- 1 mcc users 3.3K Mar 31 14:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 31 14:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 31 14:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 31 14:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 2.9K Apr 8 14:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Mar 31 14:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 31 14:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 31 14:05 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 31 14:05 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 31 14:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 31 14:11 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 99K Mar 24 05:37 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 1589368319155

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Echo (PT), instance d03r03
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 265 places, 206 transitions, 1252 arcs.
AT ITER 0 NEW BEST:: SOT 37256 SOS 20310 HAS SOPS 20310 HAS SOUS 16751 HAS SOUPS 16751 WITH SCORE 16771.31
AT ITER 6 NEW BEST:: SOT 37244 SOS 20320 HAS SOPS 20320 HAS SOUS 16732 HAS SOUPS 16732 WITH SCORE 16752.32
AT ITER 56 NEW BEST:: SOT 37234 SOS 20310 HAS SOPS 20310 HAS SOUS 16722 HAS SOUPS 16722 WITH SCORE 16742.31
AT ITER 62 NEW BEST:: SOT 37234 SOS 20324 HAS SOPS 20324 HAS SOUS 16714 HAS SOUPS 16714 WITH SCORE 16734.324
AT ITER 70 NEW BEST:: SOT 37234 SOS 20328 HAS SOPS 20328 HAS SOUS 16687 HAS SOUPS 16687 WITH SCORE 16707.328
AT ITER 75 NEW BEST:: SOT 37190 SOS 20294 HAS SOPS 20294 HAS SOUS 16653 HAS SOUPS 16653 WITH SCORE 16673.294
AT ITER 97 NEW BEST:: SOT 37158 SOS 20270 HAS SOPS 20270 HAS SOUS 16629 HAS SOUPS 16629 WITH SCORE 16649.27
AT ITER 128 NEW BEST:: SOT 37154 SOS 20263 HAS SOPS 20263 HAS SOUS 16595 HAS SOUPS 16595 WITH SCORE 16615.263
AT ITER 130 NEW BEST:: SOT 37146 SOS 20255 HAS SOPS 20255 HAS SOUS 16581 HAS SOUPS 16581 WITH SCORE 16601.255
AT ITER 137 NEW BEST:: SOT 37136 SOS 20265 HAS SOPS 20265 HAS SOUS 16559 HAS SOUPS 16559 WITH SCORE 16579.265
AT ITER 191 NEW BEST:: SOT 37134 SOS 20263 HAS SOPS 20263 HAS SOUS 16557 HAS SOUPS 16557 WITH SCORE 16577.263
AT ITER 269 NEW BEST:: SOT 37127 SOS 20256 HAS SOPS 20256 HAS SOUS 16550 HAS SOUPS 16550 WITH SCORE 16570.256
AT ITER 301 NEW BEST:: SOT 37124 SOS 20259 HAS SOPS 20259 HAS SOUS 16548 HAS SOUPS 16548 WITH SCORE 16568.259
AT ITER 309 NEW BEST:: SOT 37122 SOS 20269 HAS SOPS 20269 HAS SOUS 16540 HAS SOUPS 16540 WITH SCORE 16560.269
AT ITER 323 NEW BEST:: SOT 37085 SOS 20238 HAS SOPS 20238 HAS SOUS 16509 HAS SOUPS 16509 WITH SCORE 16529.238
AT ITER 366 NEW BEST:: SOT 37073 SOS 20255 HAS SOPS 20255 HAS SOUS 16506 HAS SOUPS 16506 WITH SCORE 16526.255
AT ITER 378 NEW BEST:: SOT 37073 SOS 20255 HAS SOPS 20255 HAS SOUS 16498 HAS SOUPS 16498 WITH SCORE 16518.255
AT ITER 388 NEW BEST:: SOT 37041 SOS 20223 HAS SOPS 20223 HAS SOUS 16466 HAS SOUPS 16466 WITH SCORE 16486.223
AT ITER 397 NEW BEST:: SOT 37039 SOS 20221 HAS SOPS 20221 HAS SOUS 16464 HAS SOUPS 16464 WITH SCORE 16484.221
AT ITER 398 NEW BEST:: SOT 36886 SOS 20103 HAS SOPS 20103 HAS SOUS 16319 HAS SOUPS 16319 WITH SCORE 16339.103
AT ITER 451 NEW BEST:: SOT 36842 SOS 20059 HAS SOPS 20059 HAS SOUS 16275 HAS SOUPS 16275 WITH SCORE 16295.059
AT ITER 453 NEW BEST:: SOT 36842 SOS 20059 HAS SOPS 20059 HAS SOUS 16273 HAS SOUPS 16273 WITH SCORE 16293.059
AT ITER 456 NEW BEST:: SOT 36842 SOS 20059 HAS SOPS 20059 HAS SOUS 16271 HAS SOUPS 16271 WITH SCORE 16291.059
AT ITER 516 NEW BEST:: SOT 36845 SOS 20058 HAS SOPS 20058 HAS SOUS 16271 HAS SOUPS 16271 WITH SCORE 16291.058
AT ITER 517 NEW BEST:: SOT 36844 SOS 20057 HAS SOPS 20057 HAS SOUS 16270 HAS SOUPS 16270 WITH SCORE 16290.057
AT ITER 518 NEW BEST:: SOT 36842 SOS 20061 HAS SOPS 20061 HAS SOUS 16266 HAS SOUPS 16266 WITH SCORE 16286.061
AT ITER 524 NEW BEST:: SOT 36842 SOS 20061 HAS SOPS 20061 HAS SOUS 16262 HAS SOUPS 16262 WITH SCORE 16282.061
AT ITER 531 NEW BEST:: SOT 36842 SOS 20061 HAS SOPS 20061 HAS SOUS 16258 HAS SOUPS 16258 WITH SCORE 16278.061
AT ITER 562 NEW BEST:: SOT 36818 SOS 20037 HAS SOPS 20037 HAS SOUS 16234 HAS SOUPS 16234 WITH SCORE 16254.037
AT ITER 563 NEW BEST:: SOT 36813 SOS 20108 HAS SOPS 20108 HAS SOUS 16207 HAS SOUPS 16207 WITH SCORE 16227.108
AT ITER 592 NEW BEST:: SOT 36801 SOS 20096 HAS SOPS 20096 HAS SOUS 16195 HAS SOUPS 16195 WITH SCORE 16215.096
AT ITER 650 NEW BEST:: SOT 36822 SOS 20017 HAS SOPS 20017 HAS SOUS 16194 HAS SOUPS 16194 WITH SCORE 16214.017
AT ITER 663 NEW BEST:: SOT 36814 SOS 20034 HAS SOPS 20034 HAS SOUS 16181 HAS SOUPS 16181 WITH SCORE 16201.034
AT ITER 665 NEW BEST:: SOT 36814 SOS 20034 HAS SOPS 20034 HAS SOUS 16149 HAS SOUPS 16149 WITH SCORE 16169.034
AT ITER 679 NEW BEST:: SOT 36814 SOS 20034 HAS SOPS 20034 HAS SOUS 16135 HAS SOUPS 16135 WITH SCORE 16155.034
AT ITER 680 NEW BEST:: SOT 36828 SOS 20148 HAS SOPS 20148 HAS SOUS 16115 HAS SOUPS 16115 WITH SCORE 16135.148
AT ITER 703 NEW BEST:: SOT 36828 SOS 20148 HAS SOPS 20148 HAS SOUS 16093 HAS SOUPS 16093 WITH SCORE 16113.148
AT ITER 722 NEW BEST:: SOT 36826 SOS 20146 HAS SOPS 20146 HAS SOUS 16091 HAS SOUPS 16091 WITH SCORE 16111.146
AT ITER 725 NEW BEST:: SOT 36818 SOS 20138 HAS SOPS 20138 HAS SOUS 16083 HAS SOUPS 16083 WITH SCORE 16103.138
AT ITER 740 NEW BEST:: SOT 36818 SOS 20138 HAS SOPS 20138 HAS SOUS 16077 HAS SOUPS 16077 WITH SCORE 16097.138
AT ITER 825 NEW BEST:: SOT 36746 SOS 20180 HAS SOPS 20180 HAS SOUS 16069 HAS SOUPS 16069 WITH SCORE 16089.18
AT ITER 848 NEW BEST:: SOT 36718 SOS 20200 HAS SOPS 20200 HAS SOUS 16064 HAS SOUPS 16064 WITH SCORE 16084.2
AT ITER 865 NEW BEST:: SOT 36717 SOS 20291 HAS SOPS 20291 HAS SOUS 16035 HAS SOUPS 16035 WITH SCORE 16055.291
AT ITER 886 NEW BEST:: SOT 36674 SOS 20253 HAS SOPS 20253 HAS SOUS 15997 HAS SOUPS 15997 WITH SCORE 16017.253
AT ITER 962 NEW BEST:: SOT 36674 SOS 20263 HAS SOPS 20263 HAS SOUS 15991 HAS SOUPS 15991 WITH SCORE 16011.263
AT ITER 978 NEW BEST:: SOT 36660 SOS 20249 HAS SOPS 20249 HAS SOUS 15977 HAS SOUPS 15977 WITH SCORE 15997.249
AT ITER 1039 NEW BEST:: SOT 36660 SOS 20249 HAS SOPS 20249 HAS SOUS 15969 HAS SOUPS 15969 WITH SCORE 15989.249
AT ITER 1067 NEW BEST:: SOT 36658 SOS 20247 HAS SOPS 20247 HAS SOUS 15967 HAS SOUPS 15967 WITH SCORE 15987.247
AT ITER 1076 NEW BEST:: SOT 36652 SOS 20241 HAS SOPS 20241 HAS SOUS 15961 HAS SOUPS 15961 WITH SCORE 15981.241
AT ITER 1127 NEW BEST:: SOT 36652 SOS 20241 HAS SOPS 20241 HAS SOUS 15943 HAS SOUPS 15943 WITH SCORE 15963.241
AT ITER 1170 NEW BEST:: SOT 36634 SOS 20226 HAS SOPS 20226 HAS SOUS 15928 HAS SOUPS 15928 WITH SCORE 15948.226
AT ITER 1191 NEW BEST:: SOT 36634 SOS 20226 HAS SOPS 20226 HAS SOUS 15878 HAS SOUPS 15878 WITH SCORE 15898.226
AT ITER 1204 NEW BEST:: SOT 36618 SOS 20210 HAS SOPS 20210 HAS SOUS 15862 HAS SOUPS 15862 WITH SCORE 15882.21
AT ITER 1218 NEW BEST:: SOT 36618 SOS 20210 HAS SOPS 20210 HAS SOUS 15836 HAS SOUPS 15836 WITH SCORE 15856.21
AT ITER 1259 NEW BEST:: SOT 36618 SOS 20210 HAS SOPS 20210 HAS SOUS 15830 HAS SOUPS 15830 WITH SCORE 15850.21
AT ITER 1280 NEW BEST:: SOT 36614 SOS 20206 HAS SOPS 20206 HAS SOUS 15826 HAS SOUPS 15826 WITH SCORE 15846.206
AT ITER 1286 NEW BEST:: SOT 36606 SOS 20218 HAS SOPS 20218 HAS SOUS 15814 HAS SOUPS 15814 WITH SCORE 15834.218
AT ITER 1309 NEW BEST:: SOT 36606 SOS 20218 HAS SOPS 20218 HAS SOUS 15806 HAS SOUPS 15806 WITH SCORE 15826.218
AT ITER 1315 NEW BEST:: SOT 36513 SOS 20219 HAS SOPS 20219 HAS SOUS 15747 HAS SOUPS 15747 WITH SCORE 15767.219
AT ITER 1346 NEW BEST:: SOT 36513 SOS 20219 HAS SOPS 20219 HAS SOUS 15743 HAS SOUPS 15743 WITH SCORE 15763.219
AT ITER 1354 NEW BEST:: SOT 36513 SOS 20219 HAS SOPS 20219 HAS SOUS 15737 HAS SOUPS 15737 WITH SCORE 15757.219
AT ITER 1434 NEW BEST:: SOT 36508 SOS 20214 HAS SOPS 20214 HAS SOUS 15732 HAS SOUPS 15732 WITH SCORE 15752.214
AT ITER 1440 NEW BEST:: SOT 36492 SOS 20198 HAS SOPS 20198 HAS SOUS 15706 HAS SOUPS 15706 WITH SCORE 15726.198
AT ITER 1463 NEW BEST:: SOT 36482 SOS 20188 HAS SOPS 20188 HAS SOUS 15696 HAS SOUPS 15696 WITH SCORE 15716.188
AT ITER 1470 NEW BEST:: SOT 36462 SOS 20247 HAS SOPS 20247 HAS SOUS 15693 HAS SOUPS 15693 WITH SCORE 15713.247
AT ITER 1498 NEW BEST:: SOT 36459 SOS 20244 HAS SOPS 20244 HAS SOUS 15690 HAS SOUPS 15690 WITH SCORE 15710.244
AT ITER 1660 NEW BEST:: SOT 36459 SOS 20244 HAS SOPS 20244 HAS SOUS 15670 HAS SOUPS 15670 WITH SCORE 15690.244
AT ITER 1669 NEW BEST:: SOT 36459 SOS 20244 HAS SOPS 20244 HAS SOUS 15634 HAS SOUPS 15634 WITH SCORE 15654.244
AT ITER 1698 NEW BEST:: SOT 36459 SOS 20244 HAS SOPS 20244 HAS SOUS 15632 HAS SOUPS 15632 WITH SCORE 15652.244
AT ITER 1741 NEW BEST:: SOT 36449 SOS 20234 HAS SOPS 20234 HAS SOUS 15622 HAS SOUPS 15622 WITH SCORE 15642.234
AT ITER 1788 NEW BEST:: SOT 36444 SOS 20229 HAS SOPS 20229 HAS SOUS 15617 HAS SOUPS 15617 WITH SCORE 15637.229
AT ITER 1821 NEW BEST:: SOT 36440 SOS 20223 HAS SOPS 20223 HAS SOUS 15611 HAS SOUPS 15611 WITH SCORE 15631.223
AT ITER 1841 NEW BEST:: SOT 36427 SOS 20194 HAS SOPS 20194 HAS SOUS 15603 HAS SOUPS 15603 WITH SCORE 15623.194
AT ITER 1871 NEW BEST:: SOT 36427 SOS 20194 HAS SOPS 20194 HAS SOUS 15575 HAS SOUPS 15575 WITH SCORE 15595.194
AT ITER 1912 NEW BEST:: SOT 36427 SOS 20194 HAS SOPS 20194 HAS SOUS 15571 HAS SOUPS 15571 WITH SCORE 15591.194
AT ITER 1973 NEW BEST:: SOT 36427 SOS 20194 HAS SOPS 20194 HAS SOUS 15555 HAS SOUPS 15555 WITH SCORE 15575.194
AT ITER 1998 NEW BEST:: SOT 36422 SOS 20189 HAS SOPS 20189 HAS SOUS 15550 HAS SOUPS 15550 WITH SCORE 15570.189
AT ITER 2022 NEW BEST:: SOT 36416 SOS 20193 HAS SOPS 20193 HAS SOUS 15542 HAS SOUPS 15542 WITH SCORE 15562.193
AT ITER 2042 NEW BEST:: SOT 36424 SOS 20187 HAS SOPS 20187 HAS SOUS 15539 HAS SOUPS 15539 WITH SCORE 15559.187
AT ITER 2051 NEW BEST:: SOT 36424 SOS 20187 HAS SOPS 20187 HAS SOUS 15499 HAS SOUPS 15499 WITH SCORE 15519.187
AT ITER 2141 NEW BEST:: SOT 36423 SOS 20186 HAS SOPS 20186 HAS SOUS 15498 HAS SOUPS 15498 WITH SCORE 15518.186
AT ITER 2195 NEW BEST:: SOT 36423 SOS 20186 HAS SOPS 20186 HAS SOUS 15494 HAS SOUPS 15494 WITH SCORE 15514.186
AT ITER 2233 NEW BEST:: SOT 36417 SOS 20180 HAS SOPS 20180 HAS SOUS 15488 HAS SOUPS 15488 WITH SCORE 15508.18
AT ITER 2275 NEW BEST:: SOT 36417 SOS 20180 HAS SOPS 20180 HAS SOUS 15480 HAS SOUPS 15480 WITH SCORE 15500.18
AT ITER 2329 NEW BEST:: SOT 36415 SOS 20172 HAS SOPS 20172 HAS SOUS 15478 HAS SOUPS 15478 WITH SCORE 15498.172
AT ITER 2371 NEW BEST:: SOT 36410 SOS 20167 HAS SOPS 20167 HAS SOUS 15473 HAS SOUPS 15473 WITH SCORE 15493.167
AT ITER 2407 NEW BEST:: SOT 36410 SOS 20167 HAS SOPS 20167 HAS SOUS 15465 HAS SOUPS 15465 WITH SCORE 15485.167
AT ITER 2434 NEW BEST:: SOT 36410 SOS 20167 HAS SOPS 20167 HAS SOUS 15463 HAS SOUPS 15463 WITH SCORE 15483.167
AT ITER 2436 NEW BEST:: SOT 36410 SOS 20167 HAS SOPS 20167 HAS SOUS 15449 HAS SOUPS 15449 WITH SCORE 15469.167
AT ITER 2503 NEW BEST:: SOT 36406 SOS 20163 HAS SOPS 20163 HAS SOUS 15433 HAS SOUPS 15433 WITH SCORE 15453.163
AT ITER 2511 NEW BEST:: SOT 36398 SOS 20155 HAS SOPS 20155 HAS SOUS 15425 HAS SOUPS 15425 WITH SCORE 15445.155
AT ITER 2528 NEW BEST:: SOT 36398 SOS 20145 HAS SOPS 20145 HAS SOUS 15425 HAS SOUPS 15425 WITH SCORE 15445.145
AT ITER 2571 NEW BEST:: SOT 36374 SOS 20154 HAS SOPS 20154 HAS SOUS 15397 HAS SOUPS 15397 WITH SCORE 15417.154
AT ITER 2594 NEW BEST:: SOT 36374 SOS 20154 HAS SOPS 20154 HAS SOUS 15395 HAS SOUPS 15395 WITH SCORE 15415.154
AT ITER 2631 NEW BEST:: SOT 36369 SOS 20149 HAS SOPS 20149 HAS SOUS 15390 HAS SOUPS 15390 WITH SCORE 15410.149
AT ITER 2638 NEW BEST:: SOT 36369 SOS 20149 HAS SOPS 20149 HAS SOUS 15388 HAS SOUPS 15388 WITH SCORE 15408.149
AT ITER 2717 NEW BEST:: SOT 36351 SOS 20131 HAS SOPS 20131 HAS SOUS 15384 HAS SOUPS 15384 WITH SCORE 15404.131
AT ITER 2749 NEW BEST:: SOT 36339 SOS 20119 HAS SOPS 20119 HAS SOUS 15370 HAS SOUPS 15370 WITH SCORE 15390.119
AT ITER 2764 NEW BEST:: SOT 36337 SOS 20116 HAS SOPS 20116 HAS SOUS 15367 HAS SOUPS 15367 WITH SCORE 15387.116
AT ITER 2791 NEW BEST:: SOT 36337 SOS 20115 HAS SOPS 20115 HAS SOUS 15367 HAS SOUPS 15367 WITH SCORE 15387.115
AT ITER 2897 NEW BEST:: SOT 36325 SOS 20103 HAS SOPS 20103 HAS SOUS 15351 HAS SOUPS 15351 WITH SCORE 15371.103
AT ITER 2971 NEW BEST:: SOT 36305 SOS 20089 HAS SOPS 20089 HAS SOUS 15324 HAS SOUPS 15324 WITH SCORE 15344.089
AT ITER 3022 NEW BEST:: SOT 36305 SOS 20089 HAS SOPS 20089 HAS SOUS 15320 HAS SOUPS 15320 WITH SCORE 15340.089
AT ITER 3060 NEW BEST:: SOT 36294 SOS 20090 HAS SOPS 20090 HAS SOUS 15304 HAS SOUPS 15304 WITH SCORE 15324.09
AT ITER 3079 NEW BEST:: SOT 36298 SOS 20152 HAS SOPS 20152 HAS SOUS 15298 HAS SOUPS 15298 WITH SCORE 15318.152
AT ITER 3092 NEW BEST:: SOT 36298 SOS 20152 HAS SOPS 20152 HAS SOUS 15276 HAS SOUPS 15276 WITH SCORE 15296.152
AT ITER 3096 NEW BEST:: SOT 36298 SOS 20151 HAS SOPS 20151 HAS SOUS 15275 HAS SOUPS 15275 WITH SCORE 15295.151
AT ITER 3127 NEW BEST:: SOT 36292 SOS 20145 HAS SOPS 20145 HAS SOUS 15269 HAS SOUPS 15269 WITH SCORE 15289.145
AT ITER 3131 NEW BEST:: SOT 36283 SOS 20136 HAS SOPS 20136 HAS SOUS 15260 HAS SOUPS 15260 WITH SCORE 15280.136
AT ITER 3159 NEW BEST:: SOT 36275 SOS 20128 HAS SOPS 20128 HAS SOUS 15252 HAS SOUPS 15252 WITH SCORE 15272.128
AT ITER 3160 NEW BEST:: SOT 36270 SOS 20123 HAS SOPS 20123 HAS SOUS 15247 HAS SOUPS 15247 WITH SCORE 15267.123
AT ITER 3284 NEW BEST:: SOT 36268 SOS 20122 HAS SOPS 20122 HAS SOUS 15246 HAS SOUPS 15246 WITH SCORE 15266.122
AT ITER 3371 NEW BEST:: SOT 36257 SOS 20119 HAS SOPS 20119 HAS SOUS 15240 HAS SOUPS 15240 WITH SCORE 15260.119
AT ITER 3389 NEW BEST:: SOT 36248 SOS 20110 HAS SOPS 20110 HAS SOUS 15211 HAS SOUPS 15211 WITH SCORE 15231.11
AT ITER 3390 NEW BEST:: SOT 36245 SOS 20107 HAS SOPS 20107 HAS SOUS 15208 HAS SOUPS 15208 WITH SCORE 15228.107
AT ITER 3392 NEW BEST:: SOT 36245 SOS 20107 HAS SOPS 20107 HAS SOUS 15206 HAS SOUPS 15206 WITH SCORE 15226.107
AT ITER 3397 NEW BEST:: SOT 36245 SOS 20107 HAS SOPS 20107 HAS SOUS 15204 HAS SOUPS 15204 WITH SCORE 15224.107
AT ITER 3456 NEW BEST:: SOT 36243 SOS 20105 HAS SOPS 20105 HAS SOUS 15202 HAS SOUPS 15202 WITH SCORE 15222.105
AT ITER 3526 NEW BEST:: SOT 36243 SOS 20105 HAS SOPS 20105 HAS SOUS 15146 HAS SOUPS 15146 WITH SCORE 15166.105
AT ITER 3550 NEW BEST:: SOT 36237 SOS 20099 HAS SOPS 20099 HAS SOUS 15144 HAS SOUPS 15144 WITH SCORE 15164.099
AT ITER 3583 NEW BEST:: SOT 36225 SOS 20087 HAS SOPS 20087 HAS SOUS 15120 HAS SOUPS 15120 WITH SCORE 15140.087
AT ITER 3614 NEW BEST:: SOT 36224 SOS 20086 HAS SOPS 20086 HAS SOUS 15119 HAS SOUPS 15119 WITH SCORE 15139.086
AT ITER 3661 NEW BEST:: SOT 36220 SOS 20080 HAS SOPS 20080 HAS SOUS 15117 HAS SOUPS 15117 WITH SCORE 15137.08
AT ITER 3676 NEW BEST:: SOT 36220 SOS 20080 HAS SOPS 20080 HAS SOUS 15113 HAS SOUPS 15113 WITH SCORE 15133.08
AT ITER 3714 NEW BEST:: SOT 36213 SOS 20073 HAS SOPS 20073 HAS SOUS 15106 HAS SOUPS 15106 WITH SCORE 15126.073
AT ITER 3730 NEW BEST:: SOT 36213 SOS 20025 HAS SOPS 20025 HAS SOUS 15095 HAS SOUPS 15095 WITH SCORE 15115.025
AT ITER 3777 NEW BEST:: SOT 36210 SOS 20022 HAS SOPS 20022 HAS SOUS 15088 HAS SOUPS 15088 WITH SCORE 15108.022
AT ITER 3786 NEW BEST:: SOT 36210 SOS 20022 HAS SOPS 20022 HAS SOUS 15086 HAS SOUPS 15086 WITH SCORE 15106.022
AT ITER 3809 NEW BEST:: SOT 36210 SOS 20025 HAS SOPS 20025 HAS SOUS 15085 HAS SOUPS 15085 WITH SCORE 15105.025
AT ITER 3833 NEW BEST:: SOT 36206 SOS 20021 HAS SOPS 20021 HAS SOUS 15081 HAS SOUPS 15081 WITH SCORE 15101.021
AT ITER 3840 NEW BEST:: SOT 36203 SOS 20018 HAS SOPS 20018 HAS SOUS 15078 HAS SOUPS 15078 WITH SCORE 15098.018
AT ITER 3863 NEW BEST:: SOT 36184 SOS 20079 HAS SOPS 20079 HAS SOUS 15069 HAS SOUPS 15069 WITH SCORE 15089.079
AT ITER 3926 NEW BEST:: SOT 36184 SOS 20079 HAS SOPS 20079 HAS SOUS 15065 HAS SOUPS 15065 WITH SCORE 15085.079
AT ITER 3976 NEW BEST:: SOT 36176 SOS 20071 HAS SOPS 20071 HAS SOUS 15057 HAS SOUPS 15057 WITH SCORE 15077.071
AT ITER 3992 NEW BEST:: SOT 36167 SOS 20062 HAS SOPS 20062 HAS SOUS 15048 HAS SOUPS 15048 WITH SCORE 15068.062
AT ITER 3996 NEW BEST:: SOT 36167 SOS 20062 HAS SOPS 20062 HAS SOUS 15040 HAS SOUPS 15040 WITH SCORE 15060.062
AT ITER 4014 NEW BEST:: SOT 36136 SOS 20031 HAS SOPS 20031 HAS SOUS 15009 HAS SOUPS 15009 WITH SCORE 15029.031
AT ITER 4044 NEW BEST:: SOT 36130 SOS 20035 HAS SOPS 20035 HAS SOUS 15001 HAS SOUPS 15001 WITH SCORE 15021.035
AT ITER 4052 NEW BEST:: SOT 36103 SOS 20008 HAS SOPS 20008 HAS SOUS 14974 HAS SOUPS 14974 WITH SCORE 14994.008
AT ITER 4140 NEW BEST:: SOT 36057 SOS 19962 HAS SOPS 19962 HAS SOUS 14928 HAS SOUPS 14928 WITH SCORE 14947.962
AT ITER 4197 NEW BEST:: SOT 36057 SOS 19962 HAS SOPS 19962 HAS SOUS 14926 HAS SOUPS 14926 WITH SCORE 14945.962
AT ITER 4205 NEW BEST:: SOT 36057 SOS 19937 HAS SOPS 19937 HAS SOUS 14921 HAS SOUPS 14921 WITH SCORE 14940.937
AT ITER 4214 NEW BEST:: SOT 36057 SOS 19937 HAS SOPS 19937 HAS SOUS 14917 HAS SOUPS 14917 WITH SCORE 14936.937
AT ITER 4250 NEW BEST:: SOT 36053 SOS 19933 HAS SOPS 19933 HAS SOUS 14907 HAS SOUPS 14907 WITH SCORE 14926.933
AT ITER 4363 NEW BEST:: SOT 36004 SOS 19884 HAS SOPS 19884 HAS SOUS 14858 HAS SOUPS 14858 WITH SCORE 14877.884
AT ITER 4436 NEW BEST:: SOT 36003 SOS 19883 HAS SOPS 19883 HAS SOUS 14857 HAS SOUPS 14857 WITH SCORE 14876.883
AT ITER 4486 NEW BEST:: SOT 35999 SOS 19879 HAS SOPS 19879 HAS SOUS 14853 HAS SOUPS 14853 WITH SCORE 14872.879
AT ITER 4540 NEW BEST:: SOT 35972 SOS 19949 HAS SOPS 19949 HAS SOUS 14823 HAS SOUPS 14823 WITH SCORE 14842.949
AT ITER 4594 NEW BEST:: SOT 35972 SOS 19949 HAS SOPS 19949 HAS SOUS 14819 HAS SOUPS 14819 WITH SCORE 14838.949
AT ITER 4639 NEW BEST:: SOT 35972 SOS 19949 HAS SOPS 19949 HAS SOUS 14813 HAS SOUPS 14813 WITH SCORE 14832.949
AT ITER 4681 NEW BEST:: SOT 35972 SOS 19949 HAS SOPS 19949 HAS SOUS 14789 HAS SOUPS 14789 WITH SCORE 14808.949
AT ITER 4711 NEW BEST:: SOT 35958 SOS 19935 HAS SOPS 19935 HAS SOUS 14775 HAS SOUPS 14775 WITH SCORE 14794.935
AT ITER 4841 NEW BEST:: SOT 35955 SOS 19932 HAS SOPS 19932 HAS SOUS 14772 HAS SOUPS 14772 WITH SCORE 14791.932
AT ITER 4874 NEW BEST:: SOT 35938 SOS 19915 HAS SOPS 19915 HAS SOUS 14755 HAS SOUPS 14755 WITH SCORE 14774.915
AT ITER 4884 NEW BEST:: SOT 35916 SOS 19896 HAS SOPS 19896 HAS SOUS 14755 HAS SOUPS 14755 WITH SCORE 14774.896
AT ITER 4889 NEW BEST:: SOT 35899 SOS 19964 HAS SOPS 19964 HAS SOUS 14753 HAS SOUPS 14753 WITH SCORE 14772.964
AT ITER 4901 NEW BEST:: SOT 35899 SOS 19964 HAS SOPS 19964 HAS SOUS 14749 HAS SOUPS 14749 WITH SCORE 14768.964
AT ITER 4986 NEW BEST:: SOT 35893 SOS 19958 HAS SOPS 19958 HAS SOUS 14731 HAS SOUPS 14731 WITH SCORE 14750.958
AT ITER 4988 NEW BEST:: SOT 35849 SOS 20029 HAS SOPS 20029 HAS SOUS 14710 HAS SOUPS 14710 WITH SCORE 14730.029
AT ITER 5106 NEW BEST:: SOT 35849 SOS 20189 HAS SOPS 20189 HAS SOUS 14706 HAS SOUPS 14706 WITH SCORE 14726.189
AT ITER 5222 NEW BEST:: SOT 35845 SOS 20185 HAS SOPS 20185 HAS SOUS 14700 HAS SOUPS 14700 WITH SCORE 14720.185
AT ITER 5336 NEW BEST:: SOT 35817 SOS 20210 HAS SOPS 20210 HAS SOUS 14687 HAS SOUPS 14687 WITH SCORE 14707.21
AT ITER 5408 NEW BEST:: SOT 35819 SOS 20212 HAS SOPS 20212 HAS SOUS 14679 HAS SOUPS 14679 WITH SCORE 14699.212
AT ITER 5461 NEW BEST:: SOT 35817 SOS 20230 HAS SOPS 20230 HAS SOUS 14676 HAS SOUPS 14676 WITH SCORE 14696.23
AT ITER 5572 NEW BEST:: SOT 35817 SOS 20230 HAS SOPS 20230 HAS SOUS 14670 HAS SOUPS 14670 WITH SCORE 14690.23
AT ITER 5577 NEW BEST:: SOT 35817 SOS 20230 HAS SOPS 20230 HAS SOUS 14660 HAS SOUPS 14660 WITH SCORE 14680.23
AT ITER 5640 NEW BEST:: SOT 35821 SOS 20179 HAS SOPS 20179 HAS SOUS 14635 HAS SOUPS 14635 WITH SCORE 14655.179
AT ITER 5732 NEW BEST:: SOT 35787 SOS 20233 HAS SOPS 20233 HAS SOUS 14619 HAS SOUPS 14619 WITH SCORE 14639.233
AT ITER 5794 NEW BEST:: SOT 35786 SOS 20232 HAS SOPS 20232 HAS SOUS 14618 HAS SOUPS 14618 WITH SCORE 14638.232
AT ITER 5800 NEW BEST:: SOT 35780 SOS 20226 HAS SOPS 20226 HAS SOUS 14606 HAS SOUPS 14606 WITH SCORE 14626.226
AT ITER 5820 NEW BEST:: SOT 35780 SOS 20221 HAS SOPS 20221 HAS SOUS 14605 HAS SOUPS 14605 WITH SCORE 14625.221
AT ITER 5830 NEW BEST:: SOT 35780 SOS 20221 HAS SOPS 20221 HAS SOUS 14603 HAS SOUPS 14603 WITH SCORE 14623.221
AT ITER 5872 NEW BEST:: SOT 35777 SOS 20218 HAS SOPS 20218 HAS SOUS 14600 HAS SOUPS 14600 WITH SCORE 14620.218
AT ITER 5912 NEW BEST:: SOT 35776 SOS 20217 HAS SOPS 20217 HAS SOUS 14599 HAS SOUPS 14599 WITH SCORE 14619.217
AT ITER 5983 NEW BEST:: SOT 35773 SOS 20214 HAS SOPS 20214 HAS SOUS 14596 HAS SOUPS 14596 WITH SCORE 14616.214
AT ITER 6072 NEW BEST:: SOT 35750 SOS 20266 HAS SOPS 20266 HAS SOUS 14590 HAS SOUPS 14590 WITH SCORE 14610.266
AT ITER 6074 NEW BEST:: SOT 35746 SOS 20256 HAS SOPS 20256 HAS SOUS 14590 HAS SOUPS 14590 WITH SCORE 14610.256
AT ITER 6175 NEW BEST:: SOT 35721 SOS 20231 HAS SOPS 20231 HAS SOUS 14575 HAS SOUPS 14575 WITH SCORE 14595.231
AT ITER 6177 NEW BEST:: SOT 35719 SOS 20229 HAS SOPS 20229 HAS SOUS 14573 HAS SOUPS 14573 WITH SCORE 14593.229
AT ITER 6333 NEW BEST:: SOT 35687 SOS 20205 HAS SOPS 20205 HAS SOUS 14559 HAS SOUPS 14559 WITH SCORE 14579.205
AT ITER 6360 NEW BEST:: SOT 35687 SOS 20205 HAS SOPS 20205 HAS SOUS 14555 HAS SOUPS 14555 WITH SCORE 14575.205
AT ITER 6426 NEW BEST:: SOT 35687 SOS 20205 HAS SOPS 20205 HAS SOUS 14553 HAS SOUPS 14553 WITH SCORE 14573.205
AT ITER 6534 NEW BEST:: SOT 35677 SOS 20193 HAS SOPS 20193 HAS SOUS 14535 HAS SOUPS 14535 WITH SCORE 14555.193
AT ITER 6653 NEW BEST:: SOT 35669 SOS 20185 HAS SOPS 20185 HAS SOUS 14527 HAS SOUPS 14527 WITH SCORE 14547.185
AT ITER 6772 NEW BEST:: SOT 35669 SOS 20185 HAS SOPS 20185 HAS SOUS 14523 HAS SOUPS 14523 WITH SCORE 14543.185
AT ITER 6799 NEW BEST:: SOT 35669 SOS 20185 HAS SOPS 20185 HAS SOUS 14521 HAS SOUPS 14521 WITH SCORE 14541.185
AT ITER 6803 NEW BEST:: SOT 35669 SOS 20185 HAS SOPS 20185 HAS SOUS 14503 HAS SOUPS 14503 WITH SCORE 14523.185
AT ITER 6851 NEW BEST:: SOT 35666 SOS 20182 HAS SOPS 20182 HAS SOUS 14500 HAS SOUPS 14500 WITH SCORE 14520.182
AT ITER 6871 NEW BEST:: SOT 35660 SOS 20176 HAS SOPS 20176 HAS SOUS 14494 HAS SOUPS 14494 WITH SCORE 14514.176
AT ITER 6915 NEW BEST:: SOT 35659 SOS 20175 HAS SOPS 20175 HAS SOUS 14493 HAS SOUPS 14493 WITH SCORE 14513.175
AT ITER 7430 NEW BEST:: SOT 35659 SOS 20150 HAS SOPS 20150 HAS SOUS 14488 HAS SOUPS 14488 WITH SCORE 14508.15
AT ITER 7449 NEW BEST:: SOT 35659 SOS 20150 HAS SOPS 20150 HAS SOUS 14486 HAS SOUPS 14486 WITH SCORE 14506.15
AT ITER 7546 NEW BEST:: SOT 35653 SOS 20148 HAS SOPS 20148 HAS SOUS 14474 HAS SOUPS 14474 WITH SCORE 14494.148
AT ITER 7924 NEW BEST:: SOT 35638 SOS 20154 HAS SOPS 20154 HAS SOUS 14461 HAS SOUPS 14461 WITH SCORE 14481.154
AT ITER 8003 NEW BEST:: SOT 35622 SOS 20138 HAS SOPS 20138 HAS SOUS 14445 HAS SOUPS 14445 WITH SCORE 14465.138
AT ITER 8046 NEW BEST:: SOT 35621 SOS 20137 HAS SOPS 20137 HAS SOUS 14444 HAS SOUPS 14444 WITH SCORE 14464.137
AT ITER 8048 NEW BEST:: SOT 35615 SOS 20131 HAS SOPS 20131 HAS SOUS 14438 HAS SOUPS 14438 WITH SCORE 14458.131
AT ITER 8061 NEW BEST:: SOT 35615 SOS 20131 HAS SOPS 20131 HAS SOUS 14432 HAS SOUPS 14432 WITH SCORE 14452.131
AT ITER 8185 NEW BEST:: SOT 35610 SOS 20126 HAS SOPS 20126 HAS SOUS 14427 HAS SOUPS 14427 WITH SCORE 14447.126
AT ITER 8259 NEW BEST:: SOT 35608 SOS 20130 HAS SOPS 20130 HAS SOUS 14422 HAS SOUPS 14422 WITH SCORE 14442.13
AT ITER 8273 NEW BEST:: SOT 35606 SOS 20128 HAS SOPS 20128 HAS SOUS 14420 HAS SOUPS 14420 WITH SCORE 14440.128
AT ITER 8292 NEW BEST:: SOT 35605 SOS 20127 HAS SOPS 20127 HAS SOUS 14419 HAS SOUPS 14419 WITH SCORE 14439.127
AT ITER 8324 NEW BEST:: SOT 35604 SOS 20119 HAS SOPS 20119 HAS SOUS 14418 HAS SOUPS 14418 WITH SCORE 14438.119
AT ITER 8356 NEW BEST:: SOT 35598 SOS 20113 HAS SOPS 20113 HAS SOUS 14418 HAS SOUPS 14418 WITH SCORE 14438.113
AT ITER 8551 NEW BEST:: SOT 35584 SOS 20105 HAS SOPS 20105 HAS SOUS 14409 HAS SOUPS 14409 WITH SCORE 14429.105
AT ITER 8552 NEW BEST:: SOT 35574 SOS 20095 HAS SOPS 20095 HAS SOUS 14409 HAS SOUPS 14409 WITH SCORE 14429.095
AT ITER 8683 NEW BEST:: SOT 35566 SOS 20096 HAS SOPS 20096 HAS SOUS 14404 HAS SOUPS 14404 WITH SCORE 14424.096
AT ITER 8685 NEW BEST:: SOT 35544 SOS 20074 HAS SOPS 20074 HAS SOUS 14390 HAS SOUPS 14390 WITH SCORE 14410.074
AT ITER 8840 NEW BEST:: SOT 35544 SOS 20074 HAS SOPS 20074 HAS SOUS 14388 HAS SOUPS 14388 WITH SCORE 14408.074
AT ITER 8842 NEW BEST:: SOT 35542 SOS 20072 HAS SOPS 20072 HAS SOUS 14386 HAS SOUPS 14386 WITH SCORE 14406.072
AT ITER 8975 NEW BEST:: SOT 35532 SOS 20098 HAS SOPS 20098 HAS SOUS 14385 HAS SOUPS 14385 WITH SCORE 14405.098
AT ITER 9001 NEW BEST:: SOT 35532 SOS 20098 HAS SOPS 20098 HAS SOUS 14355 HAS SOUPS 14355 WITH SCORE 14375.098
AT ITER 9015 NEW BEST:: SOT 35523 SOS 20089 HAS SOPS 20089 HAS SOUS 14350 HAS SOUPS 14350 WITH SCORE 14370.089
AT ITER 9201 NEW BEST:: SOT 35501 SOS 20109 HAS SOPS 20109 HAS SOUS 14336 HAS SOUPS 14336 WITH SCORE 14356.109
AT ITER 9209 NEW BEST:: SOT 35503 SOS 20111 HAS SOPS 20111 HAS SOUS 14334 HAS SOUPS 14334 WITH SCORE 14354.111
AT ITER 9285 NEW BEST:: SOT 35497 SOS 20111 HAS SOPS 20111 HAS SOUS 14328 HAS SOUPS 14328 WITH SCORE 14348.111
AT ITER 9350 NEW BEST:: SOT 35474 SOS 20128 HAS SOPS 20128 HAS SOUS 14315 HAS SOUPS 14315 WITH SCORE 14335.128
AT ITER 9377 NEW BEST:: SOT 35458 SOS 20137 HAS SOPS 20137 HAS SOUS 14296 HAS SOUPS 14296 WITH SCORE 14316.137
AT ITER 9501 NEW BEST:: SOT 35460 SOS 20139 HAS SOPS 20139 HAS SOUS 14294 HAS SOUPS 14294 WITH SCORE 14314.139
AT ITER 9648 NEW BEST:: SOT 35460 SOS 20139 HAS SOPS 20139 HAS SOUS 14290 HAS SOUPS 14290 WITH SCORE 14310.139
AT ITER 9691 NEW BEST:: SOT 35452 SOS 20118 HAS SOPS 20118 HAS SOUS 14287 HAS SOUPS 14287 WITH SCORE 14307.118
AT ITER 9754 NEW BEST:: SOT 35452 SOS 20118 HAS SOPS 20118 HAS SOUS 14283 HAS SOUPS 14283 WITH SCORE 14303.118
AT ITER 9798 NEW BEST:: SOT 35452 SOS 20118 HAS SOPS 20118 HAS SOUS 14281 HAS SOUPS 14281 WITH SCORE 14301.118
AT ITER 9887 NEW BEST:: SOT 35456 SOS 20090 HAS SOPS 20090 HAS SOUS 14277 HAS SOUPS 14277 WITH SCORE 14297.09
AT ITER 9965 NEW BEST:: SOT 35455 SOS 20074 HAS SOPS 20074 HAS SOUS 14266 HAS SOUPS 14266 WITH SCORE 14286.074

BK_STOP 1589371304615

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

ERROR:
Generation failed in Meddly with error code:
Insufficient memory
within model automodel instantiated in file model.sm near line 1765
/home/mcc/BenchKit/bin/smart.sh: line 117: 374 Segmentation fault ${SMART} ${INPUT_SM}

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="Echo-PT-d03r03"
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"

# 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-4028"
echo " Executing tool smart"
echo " Input is Echo-PT-d03r03, 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 r063-tajo-158922808300968"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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