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.r139-smll-167819423100472.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 smartxred
Input is DoubleExponent-PT-004, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r139-smll-167819423100472
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 488K
-rw-r--r-- 1 mcc users 7.6K Feb 26 13:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 26 13:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.4K Feb 26 13:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 37K Feb 26 13:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:01 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.6K Feb 26 13:30 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 88K Feb 26 13:30 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.4K Feb 26 13:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 85K Feb 26 13:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:01 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:01 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 67K Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678415619700

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DoubleExponent-PT-004
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-10 02:33:42] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-10 02:33:42] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 02:33:42] [INFO ] Load time of PNML (sax parser for PT used): 120 ms
[2023-03-10 02:33:42] [INFO ] Transformed 216 places.
[2023-03-10 02:33:42] [INFO ] Transformed 198 transitions.
[2023-03-10 02:33:42] [INFO ] Parsed PT model containing 216 places and 198 transitions and 558 arcs in 265 ms.
[2023-03-10 02:33:42] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 216 places, 198 transitions and 558 arcs took 11 ms.
Total runtime 340 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DoubleExponent (PT), instance 004
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 216 places, 198 transitions, 558 arcs.
AT ITER 0 NEW BEST:: SOT 22670 SOS 3723 HAS SOPS 3723 HAS SOUS 3555 HAS SOUPS 3555 WITH SCORE 3558.723
AT ITER 23 NEW BEST:: SOT 22670 SOS 3722 HAS SOPS 3722 HAS SOUS 3554 HAS SOUPS 3554 WITH SCORE 3557.722
AT ITER 36 NEW BEST:: SOT 22662 SOS 3701 HAS SOPS 3701 HAS SOUS 3530 HAS SOUPS 3530 WITH SCORE 3533.701
AT ITER 56 NEW BEST:: SOT 22657 SOS 3687 HAS SOPS 3687 HAS SOUS 3512 HAS SOUPS 3512 WITH SCORE 3515.687
AT ITER 68 NEW BEST:: SOT 22653 SOS 3683 HAS SOPS 3683 HAS SOUS 3508 HAS SOUPS 3508 WITH SCORE 3511.683
AT ITER 133 NEW BEST:: SOT 22645 SOS 3674 HAS SOPS 3674 HAS SOUS 3499 HAS SOUPS 3499 WITH SCORE 3502.674
AT ITER 149 NEW BEST:: SOT 22645 SOS 3681 HAS SOPS 3681 HAS SOUS 3492 HAS SOUPS 3492 WITH SCORE 3495.681
AT ITER 162 NEW BEST:: SOT 22636 SOS 3670 HAS SOPS 3670 HAS SOUS 3472 HAS SOUPS 3472 WITH SCORE 3475.67
AT ITER 180 NEW BEST:: SOT 22645 SOS 3670 HAS SOPS 3670 HAS SOUS 3471 HAS SOUPS 3471 WITH SCORE 3474.67
AT ITER 200 NEW BEST:: SOT 22642 SOS 3661 HAS SOPS 3661 HAS SOUS 3465 HAS SOUPS 3465 WITH SCORE 3468.661
AT ITER 230 NEW BEST:: SOT 22650 SOS 3668 HAS SOPS 3668 HAS SOUS 3455 HAS SOUPS 3455 WITH SCORE 3458.668
AT ITER 231 NEW BEST:: SOT 22654 SOS 3666 HAS SOPS 3666 HAS SOUS 3454 HAS SOUPS 3454 WITH SCORE 3457.666
AT ITER 252 NEW BEST:: SOT 22630 SOS 3676 HAS SOPS 3676 HAS SOUS 3452 HAS SOUPS 3452 WITH SCORE 3455.676
AT ITER 254 NEW BEST:: SOT 22626 SOS 3673 HAS SOPS 3673 HAS SOUS 3449 HAS SOUPS 3449 WITH SCORE 3452.673
AT ITER 255 NEW BEST:: SOT 22623 SOS 3673 HAS SOPS 3673 HAS SOUS 3446 HAS SOUPS 3446 WITH SCORE 3449.673
AT ITER 266 NEW BEST:: SOT 22619 SOS 3665 HAS SOPS 3665 HAS SOUS 3437 HAS SOUPS 3437 WITH SCORE 3440.665
AT ITER 293 NEW BEST:: SOT 22591 SOS 3615 HAS SOPS 3615 HAS SOUS 3400 HAS SOUPS 3400 WITH SCORE 3403.615
AT ITER 354 NEW BEST:: SOT 22587 SOS 3612 HAS SOPS 3612 HAS SOUS 3397 HAS SOUPS 3397 WITH SCORE 3400.612
AT ITER 364 NEW BEST:: SOT 22580 SOS 3613 HAS SOPS 3613 HAS SOUS 3394 HAS SOUPS 3394 WITH SCORE 3397.613
AT ITER 382 NEW BEST:: SOT 22573 SOS 3613 HAS SOPS 3613 HAS SOUS 3391 HAS SOUPS 3391 WITH SCORE 3394.613
AT ITER 414 NEW BEST:: SOT 22581 SOS 3613 HAS SOPS 3613 HAS SOUS 3383 HAS SOUPS 3383 WITH SCORE 3386.613
AT ITER 424 NEW BEST:: SOT 22582 SOS 3595 HAS SOPS 3595 HAS SOUS 3368 HAS SOUPS 3368 WITH SCORE 3371.595
AT ITER 434 NEW BEST:: SOT 22572 SOS 3596 HAS SOPS 3596 HAS SOUS 3365 HAS SOUPS 3365 WITH SCORE 3368.596
AT ITER 483 NEW BEST:: SOT 22570 SOS 3596 HAS SOPS 3596 HAS SOUS 3359 HAS SOUPS 3359 WITH SCORE 3362.596
AT ITER 577 NEW BEST:: SOT 22580 SOS 3595 HAS SOPS 3595 HAS SOUS 3357 HAS SOUPS 3357 WITH SCORE 3360.595
AT ITER 597 NEW BEST:: SOT 22579 SOS 3594 HAS SOPS 3594 HAS SOUS 3354 HAS SOUPS 3354 WITH SCORE 3357.594
AT ITER 599 NEW BEST:: SOT 22581 SOS 3577 HAS SOPS 3577 HAS SOUS 3352 HAS SOUPS 3352 WITH SCORE 3355.577
AT ITER 609 NEW BEST:: SOT 22575 SOS 3575 HAS SOPS 3575 HAS SOUS 3350 HAS SOUPS 3350 WITH SCORE 3353.575
AT ITER 631 NEW BEST:: SOT 22575 SOS 3575 HAS SOPS 3575 HAS SOUS 3343 HAS SOUPS 3343 WITH SCORE 3346.575
AT ITER 657 NEW BEST:: SOT 22575 SOS 3574 HAS SOPS 3574 HAS SOUS 3342 HAS SOUPS 3342 WITH SCORE 3345.574
AT ITER 700 NEW BEST:: SOT 22569 SOS 3567 HAS SOPS 3567 HAS SOUS 3335 HAS SOUPS 3335 WITH SCORE 3338.567
AT ITER 732 NEW BEST:: SOT 22562 SOS 3565 HAS SOPS 3565 HAS SOUS 3335 HAS SOUPS 3335 WITH SCORE 3338.565
AT ITER 806 NEW BEST:: SOT 22552 SOS 3555 HAS SOPS 3555 HAS SOUS 3335 HAS SOUPS 3335 WITH SCORE 3338.555
AT ITER 850 NEW BEST:: SOT 22552 SOS 3554 HAS SOPS 3554 HAS SOUS 3335 HAS SOUPS 3335 WITH SCORE 3338.554
AT ITER 880 NEW BEST:: SOT 22552 SOS 3553 HAS SOPS 3553 HAS SOUS 3334 HAS SOUPS 3334 WITH SCORE 3337.553
AT ITER 915 NEW BEST:: SOT 22552 SOS 3550 HAS SOPS 3550 HAS SOUS 3333 HAS SOUPS 3333 WITH SCORE 3336.55
AT ITER 933 NEW BEST:: SOT 22552 SOS 3544 HAS SOPS 3544 HAS SOUS 3327 HAS SOUPS 3327 WITH SCORE 3330.544
AT ITER 961 NEW BEST:: SOT 22536 SOS 3523 HAS SOPS 3523 HAS SOUS 3306 HAS SOUPS 3306 WITH SCORE 3309.523
AT ITER 984 NEW BEST:: SOT 22537 SOS 3507 HAS SOPS 3507 HAS SOUS 3294 HAS SOUPS 3294 WITH SCORE 3297.507
AT ITER 1046 NEW BEST:: SOT 22536 SOS 3509 HAS SOPS 3509 HAS SOUS 3293 HAS SOUPS 3293 WITH SCORE 3296.509
AT ITER 1048 NEW BEST:: SOT 22521 SOS 3502 HAS SOPS 3502 HAS SOUS 3257 HAS SOUPS 3257 WITH SCORE 3260.502
AT ITER 1091 NEW BEST:: SOT 22521 SOS 3500 HAS SOPS 3500 HAS SOUS 3257 HAS SOUPS 3257 WITH SCORE 3260.5
AT ITER 1108 NEW BEST:: SOT 22522 SOS 3480 HAS SOPS 3480 HAS SOUS 3247 HAS SOUPS 3247 WITH SCORE 3250.48
AT ITER 1116 NEW BEST:: SOT 22522 SOS 3477 HAS SOPS 3477 HAS SOUS 3246 HAS SOUPS 3246 WITH SCORE 3249.477
AT ITER 1160 NEW BEST:: SOT 22513 SOS 3464 HAS SOPS 3464 HAS SOUS 3233 HAS SOUPS 3233 WITH SCORE 3236.464
AT ITER 1264 NEW BEST:: SOT 22508 SOS 3450 HAS SOPS 3450 HAS SOUS 3225 HAS SOUPS 3225 WITH SCORE 3228.45
AT ITER 1270 NEW BEST:: SOT 22522 SOS 3427 HAS SOPS 3427 HAS SOUS 3202 HAS SOUPS 3202 WITH SCORE 3205.427
AT ITER 1280 NEW BEST:: SOT 22515 SOS 3413 HAS SOPS 3413 HAS SOUS 3187 HAS SOUPS 3187 WITH SCORE 3190.413
AT ITER 1338 NEW BEST:: SOT 22515 SOS 3413 HAS SOPS 3413 HAS SOUS 3186 HAS SOUPS 3186 WITH SCORE 3189.413
AT ITER 1349 NEW BEST:: SOT 22515 SOS 3411 HAS SOPS 3411 HAS SOUS 3184 HAS SOUPS 3184 WITH SCORE 3187.411
AT ITER 1370 NEW BEST:: SOT 22514 SOS 3410 HAS SOPS 3410 HAS SOUS 3184 HAS SOUPS 3184 WITH SCORE 3187.41
AT ITER 1383 NEW BEST:: SOT 22511 SOS 3409 HAS SOPS 3409 HAS SOUS 3183 HAS SOUPS 3183 WITH SCORE 3186.409
AT ITER 1456 NEW BEST:: SOT 22510 SOS 3406 HAS SOPS 3406 HAS SOUS 3176 HAS SOUPS 3176 WITH SCORE 3179.406
AT ITER 1459 NEW BEST:: SOT 22487 SOS 3403 HAS SOPS 3403 HAS SOUS 3160 HAS SOUPS 3160 WITH SCORE 3163.403
AT ITER 1467 NEW BEST:: SOT 22478 SOS 3397 HAS SOPS 3397 HAS SOUS 3154 HAS SOUPS 3154 WITH SCORE 3157.397
AT ITER 1583 NEW BEST:: SOT 22478 SOS 3379 HAS SOPS 3379 HAS SOUS 3136 HAS SOUPS 3136 WITH SCORE 3139.379
AT ITER 1615 NEW BEST:: SOT 22482 SOS 3379 HAS SOPS 3379 HAS SOUS 3132 HAS SOUPS 3132 WITH SCORE 3135.379
AT ITER 1681 NEW BEST:: SOT 22474 SOS 3379 HAS SOPS 3379 HAS SOUS 3129 HAS SOUPS 3129 WITH SCORE 3132.379
AT ITER 1731 NEW BEST:: SOT 22470 SOS 3375 HAS SOPS 3375 HAS SOUS 3129 HAS SOUPS 3129 WITH SCORE 3132.375
AT ITER 1736 NEW BEST:: SOT 22470 SOS 3374 HAS SOPS 3374 HAS SOUS 3128 HAS SOUPS 3128 WITH SCORE 3131.374
AT ITER 1779 NEW BEST:: SOT 22470 SOS 3373 HAS SOPS 3373 HAS SOUS 3128 HAS SOUPS 3128 WITH SCORE 3131.373
AT ITER 1785 NEW BEST:: SOT 22484 SOS 3369 HAS SOPS 3369 HAS SOUS 3124 HAS SOUPS 3124 WITH SCORE 3127.369
AT ITER 1816 NEW BEST:: SOT 22470 SOS 3359 HAS SOPS 3359 HAS SOUS 3118 HAS SOUPS 3118 WITH SCORE 3121.359
AT ITER 1884 NEW BEST:: SOT 22469 SOS 3358 HAS SOPS 3358 HAS SOUS 3118 HAS SOUPS 3118 WITH SCORE 3121.358
AT ITER 1907 NEW BEST:: SOT 22469 SOS 3345 HAS SOPS 3345 HAS SOUS 3109 HAS SOUPS 3109 WITH SCORE 3112.345
AT ITER 1921 NEW BEST:: SOT 22468 SOS 3344 HAS SOPS 3344 HAS SOUS 3108 HAS SOUPS 3108 WITH SCORE 3111.344
AT ITER 1926 NEW BEST:: SOT 22468 SOS 3345 HAS SOPS 3345 HAS SOUS 3105 HAS SOUPS 3105 WITH SCORE 3108.345
AT ITER 1948 NEW BEST:: SOT 22468 SOS 3346 HAS SOPS 3346 HAS SOUS 3102 HAS SOUPS 3102 WITH SCORE 3105.346
AT ITER 1965 NEW BEST:: SOT 22458 SOS 3326 HAS SOPS 3326 HAS SOUS 3092 HAS SOUPS 3092 WITH SCORE 3095.326
AT ITER 1996 NEW BEST:: SOT 22456 SOS 3323 HAS SOPS 3323 HAS SOUS 3089 HAS SOUPS 3089 WITH SCORE 3092.323
AT ITER 2007 NEW BEST:: SOT 22451 SOS 3328 HAS SOPS 3328 HAS SOUS 3086 HAS SOUPS 3086 WITH SCORE 3089.328
AT ITER 2031 NEW BEST:: SOT 22451 SOS 3324 HAS SOPS 3324 HAS SOUS 3086 HAS SOUPS 3086 WITH SCORE 3089.324
AT ITER 2116 NEW BEST:: SOT 22449 SOS 3322 HAS SOPS 3322 HAS SOUS 3082 HAS SOUPS 3082 WITH SCORE 3085.322
AT ITER 2187 NEW BEST:: SOT 22451 SOS 3321 HAS SOPS 3321 HAS SOUS 3081 HAS SOUPS 3081 WITH SCORE 3084.321
AT ITER 2239 NEW BEST:: SOT 22451 SOS 3320 HAS SOPS 3320 HAS SOUS 3080 HAS SOUPS 3080 WITH SCORE 3083.32
AT ITER 2241 NEW BEST:: SOT 22451 SOS 3318 HAS SOPS 3318 HAS SOUS 3079 HAS SOUPS 3079 WITH SCORE 3082.318
AT ITER 2299 NEW BEST:: SOT 22449 SOS 3316 HAS SOPS 3316 HAS SOUS 3079 HAS SOUPS 3079 WITH SCORE 3082.316
AT ITER 2322 NEW BEST:: SOT 22447 SOS 3310 HAS SOPS 3310 HAS SOUS 3073 HAS SOUPS 3073 WITH SCORE 3076.31
AT ITER 2471 NEW BEST:: SOT 22439 SOS 3308 HAS SOPS 3308 HAS SOUS 3061 HAS SOUPS 3061 WITH SCORE 3064.308
AT ITER 2517 NEW BEST:: SOT 22439 SOS 3304 HAS SOPS 3304 HAS SOUS 3057 HAS SOUPS 3057 WITH SCORE 3060.304
AT ITER 2530 NEW BEST:: SOT 22439 SOS 3303 HAS SOPS 3303 HAS SOUS 3056 HAS SOUPS 3056 WITH SCORE 3059.303
AT ITER 2547 NEW BEST:: SOT 22436 SOS 3298 HAS SOPS 3298 HAS SOUS 3051 HAS SOUPS 3051 WITH SCORE 3054.298
AT ITER 2684 NEW BEST:: SOT 22436 SOS 3294 HAS SOPS 3294 HAS SOUS 3049 HAS SOUPS 3049 WITH SCORE 3052.294
AT ITER 2726 NEW BEST:: SOT 22439 SOS 3286 HAS SOPS 3286 HAS SOUS 3044 HAS SOUPS 3044 WITH SCORE 3047.286
AT ITER 2833 NEW BEST:: SOT 22438 SOS 3281 HAS SOPS 3281 HAS SOUS 3042 HAS SOUPS 3042 WITH SCORE 3045.281
AT ITER 2904 NEW BEST:: SOT 22437 SOS 3282 HAS SOPS 3282 HAS SOUS 3041 HAS SOUPS 3041 WITH SCORE 3044.282
AT ITER 2911 NEW BEST:: SOT 22437 SOS 3293 HAS SOPS 3293 HAS SOUS 3040 HAS SOUPS 3040 WITH SCORE 3043.293
AT ITER 2912 NEW BEST:: SOT 22419 SOS 3269 HAS SOPS 3269 HAS SOUS 3036 HAS SOUPS 3036 WITH SCORE 3039.269
AT ITER 2916 NEW BEST:: SOT 22413 SOS 3251 HAS SOPS 3251 HAS SOUS 3024 HAS SOUPS 3024 WITH SCORE 3027.251
AT ITER 2919 NEW BEST:: SOT 22415 SOS 3248 HAS SOPS 3248 HAS SOUS 3015 HAS SOUPS 3015 WITH SCORE 3018.248
AT ITER 2927 NEW BEST:: SOT 22420 SOS 3249 HAS SOPS 3249 HAS SOUS 3008 HAS SOUPS 3008 WITH SCORE 3011.249
AT ITER 2948 NEW BEST:: SOT 22419 SOS 3243 HAS SOPS 3243 HAS SOUS 3002 HAS SOUPS 3002 WITH SCORE 3005.243
AT ITER 3014 NEW BEST:: SOT 22418 SOS 3242 HAS SOPS 3242 HAS SOUS 3001 HAS SOUPS 3001 WITH SCORE 3004.242
AT ITER 3070 NEW BEST:: SOT 22418 SOS 3238 HAS SOPS 3238 HAS SOUS 2999 HAS SOUPS 2999 WITH SCORE 3002.238
AT ITER 3080 NEW BEST:: SOT 22415 SOS 3234 HAS SOPS 3234 HAS SOUS 2995 HAS SOUPS 2995 WITH SCORE 2998.234
AT ITER 3113 NEW BEST:: SOT 22415 SOS 3233 HAS SOPS 3233 HAS SOUS 2994 HAS SOUPS 2994 WITH SCORE 2997.233
AT ITER 3144 NEW BEST:: SOT 22433 SOS 3249 HAS SOPS 3249 HAS SOUS 2987 HAS SOUPS 2987 WITH SCORE 2990.249
AT ITER 3198 NEW BEST:: SOT 22433 SOS 3259 HAS SOPS 3259 HAS SOUS 2981 HAS SOUPS 2981 WITH SCORE 2984.259
AT ITER 3219 NEW BEST:: SOT 22433 SOS 3258 HAS SOPS 3258 HAS SOUS 2980 HAS SOUPS 2980 WITH SCORE 2983.258
AT ITER 3247 NEW BEST:: SOT 22422 SOS 3258 HAS SOPS 3258 HAS SOUS 2976 HAS SOUPS 2976 WITH SCORE 2979.258
AT ITER 3270 NEW BEST:: SOT 22420 SOS 3255 HAS SOPS 3255 HAS SOUS 2973 HAS SOUPS 2973 WITH SCORE 2976.255
AT ITER 3303 NEW BEST:: SOT 22421 SOS 3254 HAS SOPS 3254 HAS SOUS 2973 HAS SOUPS 2973 WITH SCORE 2976.254
AT ITER 3374 NEW BEST:: SOT 22419 SOS 3246 HAS SOPS 3246 HAS SOUS 2965 HAS SOUPS 2965 WITH SCORE 2968.246
AT ITER 3408 NEW BEST:: SOT 22419 SOS 3245 HAS SOPS 3245 HAS SOUS 2964 HAS SOUPS 2964 WITH SCORE 2967.245
AT ITER 3416 NEW BEST:: SOT 22418 SOS 3245 HAS SOPS 3245 HAS SOUS 2960 HAS SOUPS 2960 WITH SCORE 2963.245
AT ITER 3544 NEW BEST:: SOT 22413 SOS 3246 HAS SOPS 3246 HAS SOUS 2955 HAS SOUPS 2955 WITH SCORE 2958.246
AT ITER 3590 NEW BEST:: SOT 22412 SOS 3245 HAS SOPS 3245 HAS SOUS 2948 HAS SOUPS 2948 WITH SCORE 2951.245
AT ITER 3614 NEW BEST:: SOT 22413 SOS 3241 HAS SOPS 3241 HAS SOUS 2947 HAS SOUPS 2947 WITH SCORE 2950.241
AT ITER 3620 NEW BEST:: SOT 22410 SOS 3242 HAS SOPS 3242 HAS SOUS 2945 HAS SOUPS 2945 WITH SCORE 2948.242
AT ITER 3637 NEW BEST:: SOT 22415 SOS 3232 HAS SOPS 3232 HAS SOUS 2943 HAS SOUPS 2943 WITH SCORE 2946.232
AT ITER 3688 NEW BEST:: SOT 22415 SOS 3231 HAS SOPS 3231 HAS SOUS 2942 HAS SOUPS 2942 WITH SCORE 2945.231
AT ITER 3693 NEW BEST:: SOT 22417 SOS 3231 HAS SOPS 3231 HAS SOUS 2936 HAS SOUPS 2936 WITH SCORE 2939.231
AT ITER 3751 NEW BEST:: SOT 22417 SOS 3230 HAS SOPS 3230 HAS SOUS 2935 HAS SOUPS 2935 WITH SCORE 2938.23
AT ITER 3777 NEW BEST:: SOT 22419 SOS 3223 HAS SOPS 3223 HAS SOUS 2932 HAS SOUPS 2932 WITH SCORE 2935.223
AT ITER 3791 NEW BEST:: SOT 22419 SOS 3222 HAS SOPS 3222 HAS SOUS 2931 HAS SOUPS 2931 WITH SCORE 2934.222
AT ITER 3804 NEW BEST:: SOT 22419 SOS 3219 HAS SOPS 3219 HAS SOUS 2931 HAS SOUPS 2931 WITH SCORE 2934.219
AT ITER 3809 NEW BEST:: SOT 22416 SOS 3219 HAS SOPS 3219 HAS SOUS 2928 HAS SOUPS 2928 WITH SCORE 2931.219
AT ITER 3818 NEW BEST:: SOT 22414 SOS 3218 HAS SOPS 3218 HAS SOUS 2927 HAS SOUPS 2927 WITH SCORE 2930.218
AT ITER 3903 NEW BEST:: SOT 22405 SOS 3217 HAS SOPS 3217 HAS SOUS 2917 HAS SOUPS 2917 WITH SCORE 2920.217
AT ITER 3919 NEW BEST:: SOT 22403 SOS 3215 HAS SOPS 3215 HAS SOUS 2915 HAS SOUPS 2915 WITH SCORE 2918.215
AT ITER 3959 NEW BEST:: SOT 22404 SOS 3216 HAS SOPS 3216 HAS SOUS 2913 HAS SOUPS 2913 WITH SCORE 2916.216
AT ITER 3966 NEW BEST:: SOT 22404 SOS 3215 HAS SOPS 3215 HAS SOUS 2912 HAS SOUPS 2912 WITH SCORE 2915.215
AT ITER 3974 NEW BEST:: SOT 22412 SOS 3214 HAS SOPS 3214 HAS SOUS 2906 HAS SOUPS 2906 WITH SCORE 2909.214
AT ITER 4025 NEW BEST:: SOT 22400 SOS 3200 HAS SOPS 3200 HAS SOUS 2892 HAS SOUPS 2892 WITH SCORE 2895.2
AT ITER 4043 NEW BEST:: SOT 22400 SOS 3202 HAS SOPS 3202 HAS SOUS 2890 HAS SOUPS 2890 WITH SCORE 2893.202
AT ITER 4095 NEW BEST:: SOT 22395 SOS 3189 HAS SOPS 3189 HAS SOUS 2884 HAS SOUPS 2884 WITH SCORE 2887.189
AT ITER 4175 NEW BEST:: SOT 22379 SOS 3173 HAS SOPS 3173 HAS SOUS 2874 HAS SOUPS 2874 WITH SCORE 2877.173
AT ITER 4249 NEW BEST:: SOT 22374 SOS 3161 HAS SOPS 3161 HAS SOUS 2853 HAS SOUPS 2853 WITH SCORE 2856.161
AT ITER 4255 NEW BEST:: SOT 22373 SOS 3160 HAS SOPS 3160 HAS SOUS 2850 HAS SOUPS 2850 WITH SCORE 2853.16
AT ITER 4363 NEW BEST:: SOT 22364 SOS 3133 HAS SOPS 3133 HAS SOUS 2837 HAS SOUPS 2837 WITH SCORE 2840.133
AT ITER 4397 NEW BEST:: SOT 22363 SOS 3132 HAS SOPS 3132 HAS SOUS 2833 HAS SOUPS 2833 WITH SCORE 2836.132
AT ITER 4441 NEW BEST:: SOT 22363 SOS 3129 HAS SOPS 3129 HAS SOUS 2830 HAS SOUPS 2830 WITH SCORE 2833.129
AT ITER 4568 NEW BEST:: SOT 22362 SOS 3127 HAS SOPS 3127 HAS SOUS 2829 HAS SOUPS 2829 WITH SCORE 2832.127
AT ITER 4578 NEW BEST:: SOT 22362 SOS 3125 HAS SOPS 3125 HAS SOUS 2828 HAS SOUPS 2828 WITH SCORE 2831.125
AT ITER 4579 NEW BEST:: SOT 22356 SOS 3118 HAS SOPS 3118 HAS SOUS 2821 HAS SOUPS 2821 WITH SCORE 2824.118
AT ITER 4613 NEW BEST:: SOT 22356 SOS 3115 HAS SOPS 3115 HAS SOUS 2819 HAS SOUPS 2819 WITH SCORE 2822.115
AT ITER 4621 NEW BEST:: SOT 22353 SOS 3109 HAS SOPS 3109 HAS SOUS 2813 HAS SOUPS 2813 WITH SCORE 2816.109
AT ITER 4695 NEW BEST:: SOT 22349 SOS 3104 HAS SOPS 3104 HAS SOUS 2808 HAS SOUPS 2808 WITH SCORE 2811.104
AT ITER 4769 NEW BEST:: SOT 22343 SOS 3100 HAS SOPS 3100 HAS SOUS 2804 HAS SOUPS 2804 WITH SCORE 2807.1
AT ITER 4786 NEW BEST:: SOT 22336 SOS 3093 HAS SOPS 3093 HAS SOUS 2797 HAS SOUPS 2797 WITH SCORE 2800.093
AT ITER 4790 NEW BEST:: SOT 22336 SOS 3092 HAS SOPS 3092 HAS SOUS 2796 HAS SOUPS 2796 WITH SCORE 2799.092
AT ITER 4805 NEW BEST:: SOT 22335 SOS 3089 HAS SOPS 3089 HAS SOUS 2793 HAS SOUPS 2793 WITH SCORE 2796.089
AT ITER 4867 NEW BEST:: SOT 22335 SOS 3092 HAS SOPS 3092 HAS SOUS 2790 HAS SOUPS 2790 WITH SCORE 2793.092
AT ITER 4949 NEW BEST:: SOT 22318 SOS 3089 HAS SOPS 3089 HAS SOUS 2787 HAS SOUPS 2787 WITH SCORE 2790.089
AT ITER 4961 NEW BEST:: SOT 22317 SOS 3080 HAS SOPS 3080 HAS SOUS 2784 HAS SOUPS 2784 WITH SCORE 2787.08
AT ITER 5061 NEW BEST:: SOT 22328 SOS 3069 HAS SOPS 3069 HAS SOUS 2774 HAS SOUPS 2774 WITH SCORE 2777.069
AT ITER 5091 NEW BEST:: SOT 22328 SOS 3068 HAS SOPS 3068 HAS SOUS 2773 HAS SOUPS 2773 WITH SCORE 2776.068
AT ITER 5162 NEW BEST:: SOT 22328 SOS 3056 HAS SOPS 3056 HAS SOUS 2767 HAS SOUPS 2767 WITH SCORE 2770.056
AT ITER 5165 NEW BEST:: SOT 22327 SOS 3055 HAS SOPS 3055 HAS SOUS 2766 HAS SOUPS 2766 WITH SCORE 2769.055
AT ITER 5169 NEW BEST:: SOT 22319 SOS 3055 HAS SOPS 3055 HAS SOUS 2758 HAS SOUPS 2758 WITH SCORE 2761.055
AT ITER 5194 NEW BEST:: SOT 22314 SOS 3057 HAS SOPS 3057 HAS SOUS 2749 HAS SOUPS 2749 WITH SCORE 2752.057
AT ITER 5258 NEW BEST:: SOT 22312 SOS 3056 HAS SOPS 3056 HAS SOUS 2748 HAS SOUPS 2748 WITH SCORE 2751.056
AT ITER 5298 NEW BEST:: SOT 22309 SOS 3053 HAS SOPS 3053 HAS SOUS 2745 HAS SOUPS 2745 WITH SCORE 2748.053
AT ITER 5315 NEW BEST:: SOT 22315 SOS 3059 HAS SOPS 3059 HAS SOUS 2742 HAS SOUPS 2742 WITH SCORE 2745.059
AT ITER 5332 NEW BEST:: SOT 22315 SOS 3057 HAS SOPS 3057 HAS SOUS 2741 HAS SOUPS 2741 WITH SCORE 2744.057
AT ITER 5351 NEW BEST:: SOT 22315 SOS 3054 HAS SOPS 3054 HAS SOUS 2738 HAS SOUPS 2738 WITH SCORE 2741.054
AT ITER 5552 NEW BEST:: SOT 22314 SOS 3056 HAS SOPS 3056 HAS SOUS 2730 HAS SOUPS 2730 WITH SCORE 2733.056
AT ITER 5698 NEW BEST:: SOT 22314 SOS 3055 HAS SOPS 3055 HAS SOUS 2729 HAS SOUPS 2729 WITH SCORE 2732.055
AT ITER 5702 NEW BEST:: SOT 22305 SOS 3035 HAS SOPS 3035 HAS SOUS 2709 HAS SOUPS 2709 WITH SCORE 2712.035
AT ITER 5791 NEW BEST:: SOT 22301 SOS 3031 HAS SOPS 3031 HAS SOUS 2705 HAS SOUPS 2705 WITH SCORE 2708.031
AT ITER 5802 NEW BEST:: SOT 22303 SOS 3029 HAS SOPS 3029 HAS SOUS 2705 HAS SOUPS 2705 WITH SCORE 2708.029
AT ITER 5835 NEW BEST:: SOT 22300 SOS 3027 HAS SOPS 3027 HAS SOUS 2703 HAS SOUPS 2703 WITH SCORE 2706.027
AT ITER 5839 NEW BEST:: SOT 22300 SOS 3026 HAS SOPS 3026 HAS SOUS 2703 HAS SOUPS 2703 WITH SCORE 2706.026
AT ITER 5930 NEW BEST:: SOT 22300 SOS 3025 HAS SOPS 3025 HAS SOUS 2703 HAS SOUPS 2703 WITH SCORE 2706.025
AT ITER 6024 NEW BEST:: SOT 22307 SOS 3011 HAS SOPS 3011 HAS SOUS 2703 HAS SOUPS 2703 WITH SCORE 2706.011
AT ITER 6077 NEW BEST:: SOT 22305 SOS 3009 HAS SOPS 3009 HAS SOUS 2701 HAS SOUPS 2701 WITH SCORE 2704.009
AT ITER 6116 NEW BEST:: SOT 22296 SOS 2992 HAS SOPS 2992 HAS SOUS 2684 HAS SOUPS 2684 WITH SCORE 2686.992
AT ITER 6135 NEW BEST:: SOT 22292 SOS 2988 HAS SOPS 2988 HAS SOUS 2683 HAS SOUPS 2683 WITH SCORE 2685.988
AT ITER 6143 NEW BEST:: SOT 22289 SOS 2994 HAS SOPS 2994 HAS SOUS 2682 HAS SOUPS 2682 WITH SCORE 2684.994
AT ITER 6206 NEW BEST:: SOT 22280 SOS 2981 HAS SOPS 2981 HAS SOUS 2678 HAS SOUPS 2678 WITH SCORE 2680.981
AT ITER 6290 NEW BEST:: SOT 22279 SOS 2981 HAS SOPS 2981 HAS SOUS 2677 HAS SOUPS 2677 WITH SCORE 2679.981
AT ITER 6321 NEW BEST:: SOT 22279 SOS 2973 HAS SOPS 2973 HAS SOUS 2673 HAS SOUPS 2673 WITH SCORE 2675.973
AT ITER 6385 NEW BEST:: SOT 22276 SOS 2966 HAS SOPS 2966 HAS SOUS 2669 HAS SOUPS 2669 WITH SCORE 2671.966
AT ITER 6475 NEW BEST:: SOT 22270 SOS 2965 HAS SOPS 2965 HAS SOUS 2663 HAS SOUPS 2663 WITH SCORE 2665.965
AT ITER 6526 NEW BEST:: SOT 22270 SOS 2964 HAS SOPS 2964 HAS SOUS 2660 HAS SOUPS 2660 WITH SCORE 2662.964
AT ITER 6573 NEW BEST:: SOT 22268 SOS 2957 HAS SOPS 2957 HAS SOUS 2655 HAS SOUPS 2655 WITH SCORE 2657.957
AT ITER 6846 NEW BEST:: SOT 22268 SOS 2961 HAS SOPS 2961 HAS SOUS 2653 HAS SOUPS 2653 WITH SCORE 2655.961
AT ITER 6982 NEW BEST:: SOT 22267 SOS 2960 HAS SOPS 2960 HAS SOUS 2652 HAS SOUPS 2652 WITH SCORE 2654.96
AT ITER 7083 NEW BEST:: SOT 22266 SOS 2961 HAS SOPS 2961 HAS SOUS 2651 HAS SOUPS 2651 WITH SCORE 2653.961
AT ITER 7137 NEW BEST:: SOT 22266 SOS 2959 HAS SOPS 2959 HAS SOUS 2651 HAS SOUPS 2651 WITH SCORE 2653.959
AT ITER 7253 NEW BEST:: SOT 22259 SOS 2958 HAS SOPS 2958 HAS SOUS 2650 HAS SOUPS 2650 WITH SCORE 2652.958
AT ITER 7257 NEW BEST:: SOT 22259 SOS 2955 HAS SOPS 2955 HAS SOUS 2650 HAS SOUPS 2650 WITH SCORE 2652.955
AT ITER 7489 NEW BEST:: SOT 22259 SOS 2952 HAS SOPS 2952 HAS SOUS 2650 HAS SOUPS 2650 WITH SCORE 2652.952
AT ITER 7520 NEW BEST:: SOT 22259 SOS 2949 HAS SOPS 2949 HAS SOUS 2644 HAS SOUPS 2644 WITH SCORE 2646.949
AT ITER 7544 NEW BEST:: SOT 22258 SOS 2947 HAS SOPS 2947 HAS SOUS 2643 HAS SOUPS 2643 WITH SCORE 2645.947
AT ITER 7585 NEW BEST:: SOT 22256 SOS 2947 HAS SOPS 2947 HAS SOUS 2641 HAS SOUPS 2641 WITH SCORE 2643.947
AT ITER 7629 NEW BEST:: SOT 22256 SOS 2949 HAS SOPS 2949 HAS SOUS 2639 HAS SOUPS 2639 WITH SCORE 2641.949
AT ITER 7644 NEW BEST:: SOT 22256 SOS 2941 HAS SOPS 2941 HAS SOUS 2639 HAS SOUPS 2639 WITH SCORE 2641.941
AT ITER 7754 NEW BEST:: SOT 22255 SOS 2937 HAS SOPS 2937 HAS SOUS 2638 HAS SOUPS 2638 WITH SCORE 2640.937
AT ITER 7822 NEW BEST:: SOT 22252 SOS 2921 HAS SOPS 2921 HAS SOUS 2630 HAS SOUPS 2630 WITH SCORE 2632.921
AT ITER 7845 NEW BEST:: SOT 22254 SOS 2934 HAS SOPS 2934 HAS SOUS 2626 HAS SOUPS 2626 WITH SCORE 2628.934
AT ITER 7859 NEW BEST:: SOT 22252 SOS 2932 HAS SOPS 2932 HAS SOUS 2624 HAS SOUPS 2624 WITH SCORE 2626.932
AT ITER 8139 NEW BEST:: SOT 22250 SOS 2928 HAS SOPS 2928 HAS SOUS 2620 HAS SOUPS 2620 WITH SCORE 2622.928
AT ITER 8229 NEW BEST:: SOT 22250 SOS 2927 HAS SOPS 2927 HAS SOUS 2620 HAS SOUPS 2620 WITH SCORE 2622.927
AT ITER 8273 NEW BEST:: SOT 22250 SOS 2927 HAS SOPS 2927 HAS SOUS 2618 HAS SOUPS 2618 WITH SCORE 2620.927
AT ITER 8302 NEW BEST:: SOT 22250 SOS 2926 HAS SOPS 2926 HAS SOUS 2617 HAS SOUPS 2617 WITH SCORE 2619.926
AT ITER 8304 NEW BEST:: SOT 22259 SOS 2920 HAS SOPS 2920 HAS SOUS 2609 HAS SOUPS 2609 WITH SCORE 2611.92
AT ITER 8324 NEW BEST:: SOT 22259 SOS 2919 HAS SOPS 2919 HAS SOUS 2609 HAS SOUPS 2609 WITH SCORE 2611.919
AT ITER 8548 NEW BEST:: SOT 22263 SOS 2921 HAS SOPS 2921 HAS SOUS 2607 HAS SOUPS 2607 WITH SCORE 2609.921
AT ITER 8753 NEW BEST:: SOT 22261 SOS 2920 HAS SOPS 2920 HAS SOUS 2606 HAS SOUPS 2606 WITH SCORE 2608.92
AT ITER 8790 NEW BEST:: SOT 22254 SOS 2919 HAS SOPS 2919 HAS SOUS 2602 HAS SOUPS 2602 WITH SCORE 2604.919
AT ITER 8803 NEW BEST:: SOT 22249 SOS 2914 HAS SOPS 2914 HAS SOUS 2597 HAS SOUPS 2597 WITH SCORE 2599.914
AT ITER 8859 NEW BEST:: SOT 22249 SOS 2914 HAS SOPS 2914 HAS SOUS 2595 HAS SOUPS 2595 WITH SCORE 2597.914
AT ITER 8932 NEW BEST:: SOT 22249 SOS 2912 HAS SOPS 2912 HAS SOUS 2593 HAS SOUPS 2593 WITH SCORE 2595.912
AT ITER 9028 NEW BEST:: SOT 22249 SOS 2899 HAS SOPS 2899 HAS SOUS 2587 HAS SOUPS 2587 WITH SCORE 2589.899
AT ITER 9032 NEW BEST:: SOT 22249 SOS 2898 HAS SOPS 2898 HAS SOUS 2586 HAS SOUPS 2586 WITH SCORE 2588.898
AT ITER 9051 NEW BEST:: SOT 22247 SOS 2896 HAS SOPS 2896 HAS SOUS 2584 HAS SOUPS 2584 WITH SCORE 2586.896
AT ITER 9086 NEW BEST:: SOT 22245 SOS 2893 HAS SOPS 2893 HAS SOUS 2584 HAS SOUPS 2584 WITH SCORE 2586.893
AT ITER 9093 NEW BEST:: SOT 22245 SOS 2891 HAS SOPS 2891 HAS SOUS 2583 HAS SOUPS 2583 WITH SCORE 2585.891
AT ITER 9218 NEW BEST:: SOT 22242 SOS 2894 HAS SOPS 2894 HAS SOUS 2582 HAS SOUPS 2582 WITH SCORE 2584.894
AT ITER 9562 NEW BEST:: SOT 22241 SOS 2893 HAS SOPS 2893 HAS SOUS 2581 HAS SOUPS 2581 WITH SCORE 2583.893
AT ITER 9590 NEW BEST:: SOT 22239 SOS 2897 HAS SOPS 2897 HAS SOUS 2579 HAS SOUPS 2579 WITH SCORE 2581.897
AT ITER 9712 NEW BEST:: SOT 22237 SOS 2894 HAS SOPS 2894 HAS SOUS 2576 HAS SOUPS 2576 WITH SCORE 2578.894
AT ITER 9735 NEW BEST:: SOT 22237 SOS 2892 HAS SOPS 2892 HAS SOUS 2574 HAS SOUPS 2574 WITH SCORE 2576.892
AT ITER 9831 NEW BEST:: SOT 22236 SOS 2891 HAS SOPS 2891 HAS SOUS 2573 HAS SOUPS 2573 WITH SCORE 2575.891
AT ITER 9842 NEW BEST:: SOT 22236 SOS 2890 HAS SOPS 2890 HAS SOUS 2572 HAS SOUPS 2572 WITH SCORE 2574.89
AT ITER 9851 NEW BEST:: SOT 22233 SOS 2886 HAS SOPS 2886 HAS SOUS 2568 HAS SOUPS 2568 WITH SCORE 2570.886
AT ITER 9888 NEW BEST:: SOT 22232 SOS 2884 HAS SOPS 2884 HAS SOUS 2566 HAS SOUPS 2566 WITH SCORE 2568.884
AT ITER 9891 NEW BEST:: SOT 22230 SOS 2880 HAS SOPS 2880 HAS SOUS 2562 HAS SOUPS 2562 WITH SCORE 2564.88
AT ITER 9937 NEW BEST:: SOT 22229 SOS 2879 HAS SOPS 2879 HAS SOUS 2561 HAS SOUPS 2561 WITH SCORE 2563.879
AT ITER 9957 NEW BEST:: SOT 22230 SOS 2878 HAS SOPS 2878 HAS SOUS 2556 HAS SOUPS 2556 WITH SCORE 2558.878
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 9072820 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16126552 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
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="DoubleExponent-PT-004"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is DoubleExponent-PT-004, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r139-smll-167819423100472"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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