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.r267-smll-167863541800424.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 Parking-PT-208, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r267-smll-167863541800424
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 444K
-rw-r--r-- 1 mcc users 6.1K Feb 26 14:59 CTLCardinality.txt
-rw-r--r-- 1 mcc users 64K Feb 26 14:59 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.5K Feb 26 14:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 40K Feb 26 14:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.1K Feb 26 15:01 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 26 15:01 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.9K Feb 26 15:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 79K Feb 26 15:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 49K 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 1678874648766

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=Parking-PT-208
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-15 10:04:11] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-15 10:04:11] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-15 10:04:11] [INFO ] Load time of PNML (sax parser for PT used): 115 ms
[2023-03-15 10:04:11] [INFO ] Transformed 137 places.
[2023-03-15 10:04:11] [INFO ] Transformed 201 transitions.
[2023-03-15 10:04:11] [INFO ] Found NUPN structural information;
[2023-03-15 10:04:11] [INFO ] Parsed PT model containing 137 places and 201 transitions and 593 arcs in 274 ms.
[2023-03-15 10:04:11] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 137 places, 201 transitions and 593 arcs took 6 ms.
Total runtime 340 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Parking (PT), instance 208
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: 137 places, 201 transitions, 593 arcs.
AT ITER 0 NEW BEST:: SOT 16137 SOS 11468 HAS SOPS 11468 HAS SOUS 7563 HAS SOUPS 7563 WITH SCORE 7574.468
AT ITER 2 NEW BEST:: SOT 15994 SOS 11395 HAS SOPS 11367 HAS SOUS 7545 HAS SOUPS 7517 WITH SCORE 7528.395
AT ITER 3 NEW BEST:: SOT 15962 SOS 11363 HAS SOPS 11335 HAS SOUS 7509 HAS SOUPS 7481 WITH SCORE 7492.363
AT ITER 5 NEW BEST:: SOT 15261 SOS 10721 HAS SOPS 10637 HAS SOUS 7133 HAS SOUPS 7076 WITH SCORE 7086.721
AT ITER 6 NEW BEST:: SOT 15289 SOS 10722 HAS SOPS 10665 HAS SOUS 7105 HAS SOUPS 7048 WITH SCORE 7058.722
AT ITER 8 NEW BEST:: SOT 15256 SOS 10715 HAS SOPS 10600 HAS SOUS 7098 HAS SOUPS 6983 WITH SCORE 6993.715
AT ITER 10 NEW BEST:: SOT 15211 SOS 10703 HAS SOPS 10562 HAS SOUS 7062 HAS SOUPS 6921 WITH SCORE 6931.703
AT ITER 12 NEW BEST:: SOT 15008 SOS 10466 HAS SOPS 10308 HAS SOUS 6878 HAS SOUPS 6720 WITH SCORE 6730.466
AT ITER 13 NEW BEST:: SOT 15008 SOS 10423 HAS SOPS 10265 HAS SOUS 6859 HAS SOUPS 6701 WITH SCORE 6711.423
AT ITER 15 NEW BEST:: SOT 14858 SOS 10273 HAS SOPS 10115 HAS SOUS 6749 HAS SOUPS 6591 WITH SCORE 6601.273
AT ITER 22 NEW BEST:: SOT 14838 SOS 10238 HAS SOPS 10059 HAS SOUS 6729 HAS SOUPS 6559 WITH SCORE 6569.238
AT ITER 23 NEW BEST:: SOT 14691 SOS 9971 HAS SOPS 9792 HAS SOUS 6620 HAS SOUPS 6450 WITH SCORE 6459.971
AT ITER 28 NEW BEST:: SOT 14653 SOS 9932 HAS SOPS 9753 HAS SOUS 6581 HAS SOUPS 6411 WITH SCORE 6420.932
AT ITER 32 NEW BEST:: SOT 14631 SOS 9910 HAS SOPS 9705 HAS SOUS 6516 HAS SOUPS 6320 WITH SCORE 6329.91
AT ITER 33 NEW BEST:: SOT 14631 SOS 9896 HAS SOPS 9691 HAS SOUS 6516 HAS SOUPS 6320 WITH SCORE 6329.896
AT ITER 37 NEW BEST:: SOT 14631 SOS 9476 HAS SOPS 9271 HAS SOUS 6515 HAS SOUPS 6319 WITH SCORE 6328.476
AT ITER 43 NEW BEST:: SOT 14631 SOS 9475 HAS SOPS 9270 HAS SOUS 6514 HAS SOUPS 6318 WITH SCORE 6327.475
AT ITER 44 NEW BEST:: SOT 14378 SOS 9336 HAS SOPS 9093 HAS SOUS 6413 HAS SOUPS 6179 WITH SCORE 6188.336
AT ITER 48 NEW BEST:: SOT 14398 SOS 9403 HAS SOPS 9089 HAS SOUS 6477 HAS SOUPS 6172 WITH SCORE 6181.403
AT ITER 50 NEW BEST:: SOT 14346 SOS 9351 HAS SOPS 9037 HAS SOUS 6434 HAS SOUPS 6129 WITH SCORE 6138.351
AT ITER 51 NEW BEST:: SOT 14346 SOS 9251 HAS SOPS 8937 HAS SOUS 6424 HAS SOUPS 6119 WITH SCORE 6128.251
AT ITER 55 NEW BEST:: SOT 14346 SOS 9247 HAS SOPS 8933 HAS SOUS 6424 HAS SOUPS 6119 WITH SCORE 6128.247
AT ITER 57 NEW BEST:: SOT 14173 SOS 9096 HAS SOPS 8760 HAS SOUS 6311 HAS SOUPS 5984 WITH SCORE 5993.096
AT ITER 58 NEW BEST:: SOT 14149 SOS 9106 HAS SOPS 8722 HAS SOUS 6299 HAS SOUPS 5924 WITH SCORE 5933.106
AT ITER 62 NEW BEST:: SOT 14005 SOS 8954 HAS SOPS 8618 HAS SOUS 6155 HAS SOUPS 5828 WITH SCORE 5836.954
AT ITER 63 NEW BEST:: SOT 14005 SOS 8954 HAS SOPS 8618 HAS SOUS 6146 HAS SOUPS 5819 WITH SCORE 5827.954
AT ITER 66 NEW BEST:: SOT 14004 SOS 8953 HAS SOPS 8617 HAS SOUS 6145 HAS SOUPS 5818 WITH SCORE 5826.953
AT ITER 69 NEW BEST:: SOT 14004 SOS 8680 HAS SOPS 8344 HAS SOUS 6145 HAS SOUPS 5818 WITH SCORE 5826.68
AT ITER 74 NEW BEST:: SOT 13991 SOS 8680 HAS SOPS 8344 HAS SOUS 6132 HAS SOUPS 5805 WITH SCORE 5813.68
AT ITER 76 NEW BEST:: SOT 13989 SOS 8678 HAS SOPS 8342 HAS SOUS 6130 HAS SOUPS 5803 WITH SCORE 5811.678
AT ITER 81 NEW BEST:: SOT 13989 SOS 8672 HAS SOPS 8336 HAS SOUS 6127 HAS SOUPS 5800 WITH SCORE 5808.672
AT ITER 88 NEW BEST:: SOT 13954 SOS 8627 HAS SOPS 8291 HAS SOUS 6092 HAS SOUPS 5765 WITH SCORE 5773.627
AT ITER 89 NEW BEST:: SOT 13954 SOS 8500 HAS SOPS 8164 HAS SOUS 6046 HAS SOUPS 5719 WITH SCORE 5727.5
AT ITER 91 NEW BEST:: SOT 13889 SOS 8382 HAS SOPS 8021 HAS SOUS 5980 HAS SOUPS 5628 WITH SCORE 5636.382
AT ITER 93 NEW BEST:: SOT 13920 SOS 8432 HAS SOPS 8045 HAS SOUS 5997 HAS SOUPS 5626 WITH SCORE 5634.432
AT ITER 95 NEW BEST:: SOT 13799 SOS 8311 HAS SOPS 7924 HAS SOUS 5915 HAS SOUPS 5544 WITH SCORE 5552.311
AT ITER 104 NEW BEST:: SOT 13771 SOS 8283 HAS SOPS 7910 HAS SOUS 5901 HAS SOUPS 5544 WITH SCORE 5552.283
AT ITER 106 NEW BEST:: SOT 13814 SOS 8034 HAS SOPS 7661 HAS SOUS 5861 HAS SOUPS 5504 WITH SCORE 5512.034
AT ITER 107 NEW BEST:: SOT 13675 SOS 7877 HAS SOPS 7504 HAS SOUS 5748 HAS SOUPS 5391 WITH SCORE 5398.877
AT ITER 111 NEW BEST:: SOT 13661 SOS 7863 HAS SOPS 7504 HAS SOUS 5734 HAS SOUPS 5391 WITH SCORE 5398.863
AT ITER 130 NEW BEST:: SOT 13578 SOS 7782 HAS SOPS 7450 HAS SOUS 5707 HAS SOUPS 5391 WITH SCORE 5398.782
AT ITER 131 NEW BEST:: SOT 14488 SOS 8866 HAS SOPS 8511 HAS SOUS 5685 HAS SOUPS 5357 WITH SCORE 5365.866
AT ITER 133 NEW BEST:: SOT 14477 SOS 8852 HAS SOPS 8489 HAS SOUS 5671 HAS SOUPS 5335 WITH SCORE 5343.852
AT ITER 144 NEW BEST:: SOT 14516 SOS 8711 HAS SOPS 8348 HAS SOUS 5630 HAS SOUPS 5294 WITH SCORE 5302.711
AT ITER 145 NEW BEST:: SOT 14492 SOS 8679 HAS SOPS 8316 HAS SOUS 5628 HAS SOUPS 5292 WITH SCORE 5300.679
AT ITER 146 NEW BEST:: SOT 14482 SOS 8659 HAS SOPS 8291 HAS SOUS 5618 HAS SOUPS 5277 WITH SCORE 5285.659
AT ITER 149 NEW BEST:: SOT 14472 SOS 8567 HAS SOPS 8199 HAS SOUS 5618 HAS SOUPS 5277 WITH SCORE 5285.567
AT ITER 165 NEW BEST:: SOT 14471 SOS 8484 HAS SOPS 8116 HAS SOUS 5597 HAS SOUPS 5256 WITH SCORE 5264.484
AT ITER 177 NEW BEST:: SOT 14379 SOS 8346 HAS SOPS 7978 HAS SOUS 5505 HAS SOUPS 5164 WITH SCORE 5172.346
AT ITER 179 NEW BEST:: SOT 14443 SOS 8248 HAS SOPS 7880 HAS SOUS 5466 HAS SOUPS 5125 WITH SCORE 5133.248
AT ITER 181 NEW BEST:: SOT 14458 SOS 8223 HAS SOPS 7855 HAS SOUS 5441 HAS SOUPS 5100 WITH SCORE 5108.223
AT ITER 186 NEW BEST:: SOT 14404 SOS 8115 HAS SOPS 7747 HAS SOUS 5372 HAS SOUPS 5031 WITH SCORE 5039.115
AT ITER 187 NEW BEST:: SOT 14436 SOS 8048 HAS SOPS 7719 HAS SOUS 5312 HAS SOUPS 5010 WITH SCORE 5018.048
AT ITER 188 NEW BEST:: SOT 14432 SOS 8044 HAS SOPS 7715 HAS SOUS 5304 HAS SOUPS 5002 WITH SCORE 5010.044
AT ITER 189 NEW BEST:: SOT 14378 SOS 7828 HAS SOPS 7499 HAS SOUS 5250 HAS SOUPS 4948 WITH SCORE 4955.828
AT ITER 194 NEW BEST:: SOT 14392 SOS 7834 HAS SOPS 7505 HAS SOUS 5242 HAS SOUPS 4940 WITH SCORE 4947.834
AT ITER 196 NEW BEST:: SOT 14382 SOS 7814 HAS SOPS 7485 HAS SOUS 5222 HAS SOUPS 4920 WITH SCORE 4927.814
AT ITER 199 NEW BEST:: SOT 14379 SOS 7831 HAS SOPS 7461 HAS SOUS 5253 HAS SOUPS 4910 WITH SCORE 4917.831
AT ITER 211 NEW BEST:: SOT 14357 SOS 7809 HAS SOPS 7438 HAS SOUS 5252 HAS SOUPS 4908 WITH SCORE 4915.809
AT ITER 223 NEW BEST:: SOT 14300 SOS 6907 HAS SOPS 6536 HAS SOUS 5138 HAS SOUPS 4794 WITH SCORE 4800.907
AT ITER 224 NEW BEST:: SOT 14280 SOS 6877 HAS SOPS 6496 HAS SOUS 5118 HAS SOUPS 4764 WITH SCORE 4770.877
AT ITER 235 NEW BEST:: SOT 14264 SOS 6860 HAS SOPS 6488 HAS SOUS 5101 HAS SOUPS 4756 WITH SCORE 4762.86
AT ITER 243 NEW BEST:: SOT 14304 SOS 6900 HAS SOPS 6469 HAS SOUS 5070 HAS SOUPS 4678 WITH SCORE 4684.9
AT ITER 255 NEW BEST:: SOT 14490 SOS 6965 HAS SOPS 6534 HAS SOUS 5069 HAS SOUPS 4677 WITH SCORE 4683.965
AT ITER 257 NEW BEST:: SOT 14478 SOS 6917 HAS SOPS 6486 HAS SOUS 5045 HAS SOUPS 4653 WITH SCORE 4659.917
AT ITER 259 NEW BEST:: SOT 14478 SOS 6877 HAS SOPS 6446 HAS SOUS 5025 HAS SOUPS 4633 WITH SCORE 4639.877
AT ITER 260 NEW BEST:: SOT 14415 SOS 6814 HAS SOPS 6383 HAS SOUS 4985 HAS SOUPS 4593 WITH SCORE 4599.814
AT ITER 261 NEW BEST:: SOT 14407 SOS 6883 HAS SOPS 6431 HAS SOUS 4977 HAS SOUPS 4564 WITH SCORE 4570.883
AT ITER 266 NEW BEST:: SOT 14303 SOS 6768 HAS SOPS 6316 HAS SOUS 4905 HAS SOUPS 4492 WITH SCORE 4498.768
AT ITER 269 NEW BEST:: SOT 14086 SOS 6969 HAS SOPS 6517 HAS SOUS 4880 HAS SOUPS 4467 WITH SCORE 4473.969
AT ITER 278 NEW BEST:: SOT 14074 SOS 6945 HAS SOPS 6487 HAS SOUS 4868 HAS SOUPS 4449 WITH SCORE 4455.945
AT ITER 280 NEW BEST:: SOT 14059 SOS 6659 HAS SOPS 6228 HAS SOUS 4811 HAS SOUPS 4419 WITH SCORE 4425.659
AT ITER 283 NEW BEST:: SOT 14059 SOS 6656 HAS SOPS 6214 HAS SOUS 4808 HAS SOUPS 4405 WITH SCORE 4411.656
AT ITER 285 NEW BEST:: SOT 13995 SOS 6523 HAS SOPS 6081 HAS SOUS 4727 HAS SOUPS 4324 WITH SCORE 4330.523
AT ITER 297 NEW BEST:: SOT 13986 SOS 6536 HAS SOPS 6066 HAS SOUS 4744 HAS SOUPS 4313 WITH SCORE 4319.536
AT ITER 299 NEW BEST:: SOT 13986 SOS 6508 HAS SOPS 6038 HAS SOUS 4730 HAS SOUPS 4299 WITH SCORE 4305.508
AT ITER 300 NEW BEST:: SOT 14002 SOS 6577 HAS SOPS 6051 HAS SOUS 4746 HAS SOUPS 4296 WITH SCORE 4302.577
AT ITER 306 NEW BEST:: SOT 14066 SOS 6652 HAS SOPS 6086 HAS SOUS 4741 HAS SOUPS 4291 WITH SCORE 4297.652
AT ITER 307 NEW BEST:: SOT 14065 SOS 6653 HAS SOPS 6087 HAS SOUS 4740 HAS SOUPS 4290 WITH SCORE 4296.653
AT ITER 316 NEW BEST:: SOT 14059 SOS 6638 HAS SOPS 6072 HAS SOUS 4731 HAS SOUPS 4281 WITH SCORE 4287.638
AT ITER 318 NEW BEST:: SOT 13954 SOS 6378 HAS SOPS 5862 HAS SOUS 4641 HAS SOUPS 4183 WITH SCORE 4189.378
AT ITER 320 NEW BEST:: SOT 13948 SOS 6363 HAS SOPS 5847 HAS SOUS 4632 HAS SOUPS 4174 WITH SCORE 4180.363
AT ITER 358 NEW BEST:: SOT 13910 SOS 6326 HAS SOPS 5810 HAS SOUS 4595 HAS SOUPS 4137 WITH SCORE 4143.326
AT ITER 375 NEW BEST:: SOT 13896 SOS 6323 HAS SOPS 5807 HAS SOUS 4594 HAS SOUPS 4136 WITH SCORE 4142.323
AT ITER 378 NEW BEST:: SOT 13896 SOS 6321 HAS SOPS 5805 HAS SOUS 4592 HAS SOUPS 4134 WITH SCORE 4140.321
AT ITER 383 NEW BEST:: SOT 13887 SOS 6247 HAS SOPS 5781 HAS SOUS 4528 HAS SOUPS 4120 WITH SCORE 4126.247
AT ITER 386 NEW BEST:: SOT 13891 SOS 6237 HAS SOPS 5776 HAS SOUS 4522 HAS SOUPS 4119 WITH SCORE 4125.237
AT ITER 394 NEW BEST:: SOT 13874 SOS 6234 HAS SOPS 5773 HAS SOUS 4519 HAS SOUPS 4116 WITH SCORE 4122.234
AT ITER 408 NEW BEST:: SOT 13864 SOS 6194 HAS SOPS 5733 HAS SOUS 4489 HAS SOUPS 4086 WITH SCORE 4092.194
AT ITER 416 NEW BEST:: SOT 13856 SOS 6178 HAS SOPS 5717 HAS SOUS 4473 HAS SOUPS 4070 WITH SCORE 4076.178
AT ITER 424 NEW BEST:: SOT 13877 SOS 6114 HAS SOPS 5661 HAS SOUS 4443 HAS SOUPS 4048 WITH SCORE 4054.114
AT ITER 426 NEW BEST:: SOT 13877 SOS 6114 HAS SOPS 5653 HAS SOUS 4443 HAS SOUPS 4040 WITH SCORE 4046.114
AT ITER 439 NEW BEST:: SOT 14163 SOS 6298 HAS SOPS 5837 HAS SOUS 4440 HAS SOUPS 4037 WITH SCORE 4043.298
AT ITER 440 NEW BEST:: SOT 14123 SOS 6252 HAS SOPS 5791 HAS SOUS 4414 HAS SOUPS 4011 WITH SCORE 4017.252
AT ITER 441 NEW BEST:: SOT 14136 SOS 6252 HAS SOPS 5791 HAS SOUS 4408 HAS SOUPS 4005 WITH SCORE 4011.252
AT ITER 442 NEW BEST:: SOT 14119 SOS 6263 HAS SOPS 5774 HAS SOUS 4419 HAS SOUPS 3988 WITH SCORE 3994.263
AT ITER 446 NEW BEST:: SOT 13985 SOS 6071 HAS SOPS 5582 HAS SOUS 4285 HAS SOUPS 3854 WITH SCORE 3860.071
AT ITER 451 NEW BEST:: SOT 13985 SOS 6055 HAS SOPS 5582 HAS SOUS 4277 HAS SOUPS 3854 WITH SCORE 3860.055
AT ITER 452 NEW BEST:: SOT 13985 SOS 6011 HAS SOPS 5578 HAS SOUS 4233 HAS SOUPS 3850 WITH SCORE 3856.011
AT ITER 456 NEW BEST:: SOT 13983 SOS 6008 HAS SOPS 5575 HAS SOUS 4231 HAS SOUPS 3848 WITH SCORE 3854.008
AT ITER 465 NEW BEST:: SOT 14015 SOS 5908 HAS SOPS 5475 HAS SOUS 4208 HAS SOUPS 3825 WITH SCORE 3830.908
AT ITER 481 NEW BEST:: SOT 14012 SOS 5902 HAS SOPS 5469 HAS SOUS 4205 HAS SOUPS 3822 WITH SCORE 3827.902
AT ITER 485 NEW BEST:: SOT 14005 SOS 5895 HAS SOPS 5462 HAS SOUS 4202 HAS SOUPS 3819 WITH SCORE 3824.895
AT ITER 487 NEW BEST:: SOT 14005 SOS 5895 HAS SOPS 5456 HAS SOUS 4202 HAS SOUPS 3813 WITH SCORE 3818.895
AT ITER 491 NEW BEST:: SOT 13971 SOS 5838 HAS SOPS 5374 HAS SOUS 4151 HAS SOUPS 3762 WITH SCORE 3767.838
AT ITER 496 NEW BEST:: SOT 13971 SOS 5810 HAS SOPS 5346 HAS SOUS 4142 HAS SOUPS 3753 WITH SCORE 3758.81
AT ITER 497 NEW BEST:: SOT 13664 SOS 5480 HAS SOPS 5039 HAS SOUS 4100 HAS SOUPS 3734 WITH SCORE 3739.48
AT ITER 504 NEW BEST:: SOT 13663 SOS 5468 HAS SOPS 5027 HAS SOUS 4088 HAS SOUPS 3722 WITH SCORE 3727.468
AT ITER 509 NEW BEST:: SOT 13663 SOS 5328 HAS SOPS 4887 HAS SOUS 4088 HAS SOUPS 3722 WITH SCORE 3727.328
AT ITER 512 NEW BEST:: SOT 13650 SOS 5302 HAS SOPS 4861 HAS SOUS 4062 HAS SOUPS 3696 WITH SCORE 3701.302
AT ITER 527 NEW BEST:: SOT 13646 SOS 5286 HAS SOPS 4845 HAS SOUS 4058 HAS SOUPS 3692 WITH SCORE 3697.286
AT ITER 531 NEW BEST:: SOT 13646 SOS 5226 HAS SOPS 4785 HAS SOUS 4049 HAS SOUPS 3683 WITH SCORE 3688.226
AT ITER 539 NEW BEST:: SOT 13652 SOS 5224 HAS SOPS 4783 HAS SOUS 4044 HAS SOUPS 3678 WITH SCORE 3683.224
AT ITER 544 NEW BEST:: SOT 13647 SOS 5219 HAS SOPS 4778 HAS SOUS 4039 HAS SOUPS 3673 WITH SCORE 3678.219
AT ITER 550 NEW BEST:: SOT 13647 SOS 5211 HAS SOPS 4770 HAS SOUS 4031 HAS SOUPS 3665 WITH SCORE 3670.211
AT ITER 551 NEW BEST:: SOT 13564 SOS 5142 HAS SOPS 4701 HAS SOUS 3974 HAS SOUPS 3608 WITH SCORE 3613.142
AT ITER 556 NEW BEST:: SOT 13558 SOS 5132 HAS SOPS 4691 HAS SOUS 3965 HAS SOUPS 3599 WITH SCORE 3604.132
AT ITER 559 NEW BEST:: SOT 13579 SOS 5157 HAS SOPS 4685 HAS SOUS 3992 HAS SOUPS 3595 WITH SCORE 3600.157
AT ITER 601 NEW BEST:: SOT 13612 SOS 5169 HAS SOPS 4697 HAS SOUS 3982 HAS SOUPS 3585 WITH SCORE 3590.169
AT ITER 602 NEW BEST:: SOT 13612 SOS 5119 HAS SOPS 4647 HAS SOUS 3957 HAS SOUPS 3560 WITH SCORE 3565.119
AT ITER 605 NEW BEST:: SOT 13610 SOS 5103 HAS SOPS 4631 HAS SOUS 3955 HAS SOUPS 3558 WITH SCORE 3563.103
AT ITER 607 NEW BEST:: SOT 13596 SOS 5082 HAS SOPS 4610 HAS SOUS 3941 HAS SOUPS 3544 WITH SCORE 3549.082
AT ITER 613 NEW BEST:: SOT 13596 SOS 5082 HAS SOPS 4607 HAS SOUS 3941 HAS SOUPS 3541 WITH SCORE 3546.082
AT ITER 617 NEW BEST:: SOT 13580 SOS 5098 HAS SOPS 4591 HAS SOUS 3941 HAS SOUPS 3525 WITH SCORE 3530.098
AT ITER 626 NEW BEST:: SOT 13580 SOS 5088 HAS SOPS 4581 HAS SOUS 3936 HAS SOUPS 3520 WITH SCORE 3525.088
AT ITER 628 NEW BEST:: SOT 13564 SOS 5050 HAS SOPS 4543 HAS SOUS 3906 HAS SOUPS 3490 WITH SCORE 3495.05
AT ITER 642 NEW BEST:: SOT 13507 SOS 5016 HAS SOPS 4508 HAS SOUS 3880 HAS SOUPS 3463 WITH SCORE 3468.016
AT ITER 662 NEW BEST:: SOT 13505 SOS 5014 HAS SOPS 4506 HAS SOUS 3878 HAS SOUPS 3461 WITH SCORE 3466.014
AT ITER 664 NEW BEST:: SOT 13505 SOS 5009 HAS SOPS 4506 HAS SOUS 3873 HAS SOUPS 3461 WITH SCORE 3466.009
AT ITER 689 NEW BEST:: SOT 13505 SOS 5000 HAS SOPS 4497 HAS SOUS 3864 HAS SOUPS 3452 WITH SCORE 3457.0
AT ITER 700 NEW BEST:: SOT 13485 SOS 4989 HAS SOPS 4472 HAS SOUS 3859 HAS SOUPS 3433 WITH SCORE 3437.989
AT ITER 704 NEW BEST:: SOT 13413 SOS 4924 HAS SOPS 4407 HAS SOUS 3855 HAS SOUPS 3429 WITH SCORE 3433.924
AT ITER 718 NEW BEST:: SOT 13348 SOS 4800 HAS SOPS 4336 HAS SOUS 3790 HAS SOUPS 3417 WITH SCORE 3421.8
AT ITER 721 NEW BEST:: SOT 13329 SOS 4794 HAS SOPS 4321 HAS SOUS 3784 HAS SOUPS 3402 WITH SCORE 3406.794
AT ITER 753 NEW BEST:: SOT 13325 SOS 4782 HAS SOPS 4313 HAS SOUS 3776 HAS SOUPS 3398 WITH SCORE 3402.782
AT ITER 758 NEW BEST:: SOT 13317 SOS 4782 HAS SOPS 4305 HAS SOUS 3776 HAS SOUPS 3390 WITH SCORE 3394.782
AT ITER 766 NEW BEST:: SOT 13318 SOS 4775 HAS SOPS 4284 HAS SOUS 3769 HAS SOUPS 3369 WITH SCORE 3373.775
AT ITER 767 NEW BEST:: SOT 13302 SOS 4745 HAS SOPS 4254 HAS SOUS 3749 HAS SOUPS 3349 WITH SCORE 3353.745
AT ITER 777 NEW BEST:: SOT 13265 SOS 4708 HAS SOPS 4232 HAS SOUS 3726 HAS SOUPS 3341 WITH SCORE 3345.708
AT ITER 789 NEW BEST:: SOT 13312 SOS 4769 HAS SOPS 4264 HAS SOUS 3739 HAS SOUPS 3336 WITH SCORE 3340.769
AT ITER 798 NEW BEST:: SOT 13312 SOS 4769 HAS SOPS 4264 HAS SOUS 3737 HAS SOUPS 3334 WITH SCORE 3338.769
AT ITER 799 NEW BEST:: SOT 13256 SOS 4787 HAS SOPS 4268 HAS SOUS 3727 HAS SOUPS 3310 WITH SCORE 3314.787
AT ITER 813 NEW BEST:: SOT 13255 SOS 4785 HAS SOPS 4266 HAS SOUS 3725 HAS SOUPS 3308 WITH SCORE 3312.785
AT ITER 838 NEW BEST:: SOT 13240 SOS 4772 HAS SOPS 4253 HAS SOUS 3712 HAS SOUPS 3295 WITH SCORE 3299.772
AT ITER 849 NEW BEST:: SOT 13239 SOS 4771 HAS SOPS 4248 HAS SOUS 3710 HAS SOUPS 3289 WITH SCORE 3293.771
AT ITER 862 NEW BEST:: SOT 13230 SOS 4762 HAS SOPS 4239 HAS SOUS 3705 HAS SOUPS 3284 WITH SCORE 3288.762
AT ITER 876 NEW BEST:: SOT 13168 SOS 4724 HAS SOPS 4201 HAS SOUS 3685 HAS SOUPS 3264 WITH SCORE 3268.724
AT ITER 878 NEW BEST:: SOT 13167 SOS 4708 HAS SOPS 4199 HAS SOUS 3669 HAS SOUPS 3262 WITH SCORE 3266.708
AT ITER 909 NEW BEST:: SOT 13164 SOS 4708 HAS SOPS 4196 HAS SOUS 3669 HAS SOUPS 3259 WITH SCORE 3263.708
AT ITER 916 NEW BEST:: SOT 13161 SOS 4696 HAS SOPS 4181 HAS SOUS 3660 HAS SOUPS 3250 WITH SCORE 3254.696
AT ITER 937 NEW BEST:: SOT 13161 SOS 4675 HAS SOPS 4148 HAS SOUS 3651 HAS SOUPS 3241 WITH SCORE 3245.675
AT ITER 943 NEW BEST:: SOT 13157 SOS 4680 HAS SOPS 4153 HAS SOUS 3650 HAS SOUPS 3240 WITH SCORE 3244.68
AT ITER 952 NEW BEST:: SOT 13168 SOS 4678 HAS SOPS 4151 HAS SOUS 3639 HAS SOUPS 3229 WITH SCORE 3233.678
AT ITER 965 NEW BEST:: SOT 13166 SOS 4676 HAS SOPS 4149 HAS SOUS 3637 HAS SOUPS 3227 WITH SCORE 3231.676
AT ITER 973 NEW BEST:: SOT 13165 SOS 4675 HAS SOPS 4147 HAS SOUS 3636 HAS SOUPS 3225 WITH SCORE 3229.675
AT ITER 975 NEW BEST:: SOT 13161 SOS 4645 HAS SOPS 4117 HAS SOUS 3630 HAS SOUPS 3219 WITH SCORE 3223.645
AT ITER 988 NEW BEST:: SOT 13153 SOS 4637 HAS SOPS 4109 HAS SOUS 3626 HAS SOUPS 3215 WITH SCORE 3219.637
AT ITER 997 NEW BEST:: SOT 13153 SOS 4636 HAS SOPS 4108 HAS SOUS 3625 HAS SOUPS 3214 WITH SCORE 3218.636
AT ITER 1001 NEW BEST:: SOT 13151 SOS 4634 HAS SOPS 4106 HAS SOUS 3625 HAS SOUPS 3214 WITH SCORE 3218.634
AT ITER 1003 NEW BEST:: SOT 13144 SOS 4623 HAS SOPS 4095 HAS SOUS 3606 HAS SOUPS 3195 WITH SCORE 3199.623
AT ITER 1012 NEW BEST:: SOT 13122 SOS 4590 HAS SOPS 4062 HAS SOUS 3584 HAS SOUPS 3173 WITH SCORE 3177.59
AT ITER 1013 NEW BEST:: SOT 13120 SOS 4588 HAS SOPS 4060 HAS SOUS 3583 HAS SOUPS 3172 WITH SCORE 3176.588
AT ITER 1020 NEW BEST:: SOT 13106 SOS 4604 HAS SOPS 4085 HAS SOUS 3578 HAS SOUPS 3167 WITH SCORE 3171.604
AT ITER 1029 NEW BEST:: SOT 13097 SOS 4607 HAS SOPS 4079 HAS SOUS 3581 HAS SOUPS 3161 WITH SCORE 3165.607
AT ITER 1030 NEW BEST:: SOT 13100 SOS 4601 HAS SOPS 4080 HAS SOUS 3572 HAS SOUPS 3159 WITH SCORE 3163.601
AT ITER 1049 NEW BEST:: SOT 13092 SOS 4564 HAS SOPS 4058 HAS SOUS 3535 HAS SOUPS 3137 WITH SCORE 3141.564
AT ITER 1054 NEW BEST:: SOT 13076 SOS 4548 HAS SOPS 4042 HAS SOUS 3519 HAS SOUPS 3121 WITH SCORE 3125.548
AT ITER 1061 NEW BEST:: SOT 13054 SOS 4504 HAS SOPS 3998 HAS SOUS 3515 HAS SOUPS 3117 WITH SCORE 3121.504
AT ITER 1062 NEW BEST:: SOT 13050 SOS 4496 HAS SOPS 3990 HAS SOUS 3509 HAS SOUPS 3111 WITH SCORE 3115.496
AT ITER 1067 NEW BEST:: SOT 13036 SOS 4469 HAS SOPS 3969 HAS SOUS 3489 HAS SOUPS 3097 WITH SCORE 3101.469
AT ITER 1087 NEW BEST:: SOT 13018 SOS 4442 HAS SOPS 3942 HAS SOUS 3471 HAS SOUPS 3079 WITH SCORE 3083.442
AT ITER 1103 NEW BEST:: SOT 13002 SOS 4426 HAS SOPS 3926 HAS SOUS 3465 HAS SOUPS 3073 WITH SCORE 3077.426
AT ITER 1160 NEW BEST:: SOT 12988 SOS 4414 HAS SOPS 3898 HAS SOUS 3465 HAS SOUPS 3057 WITH SCORE 3061.414
AT ITER 1161 NEW BEST:: SOT 13017 SOS 4420 HAS SOPS 3904 HAS SOUS 3431 HAS SOUPS 3023 WITH SCORE 3027.42
AT ITER 1164 NEW BEST:: SOT 13005 SOS 4386 HAS SOPS 3884 HAS SOUS 3409 HAS SOUPS 3015 WITH SCORE 3019.386
AT ITER 1170 NEW BEST:: SOT 12984 SOS 4293 HAS SOPS 3791 HAS SOUS 3402 HAS SOUPS 3008 WITH SCORE 3012.293
AT ITER 1198 NEW BEST:: SOT 12959 SOS 4279 HAS SOPS 3777 HAS SOUS 3376 HAS SOUPS 2982 WITH SCORE 2986.279
AT ITER 1225 NEW BEST:: SOT 12955 SOS 4271 HAS SOPS 3769 HAS SOUS 3368 HAS SOUPS 2974 WITH SCORE 2978.271
AT ITER 1235 NEW BEST:: SOT 12950 SOS 4264 HAS SOPS 3762 HAS SOUS 3361 HAS SOUPS 2967 WITH SCORE 2971.264
AT ITER 1278 NEW BEST:: SOT 12950 SOS 4263 HAS SOPS 3761 HAS SOUS 3360 HAS SOUPS 2966 WITH SCORE 2970.263
AT ITER 1285 NEW BEST:: SOT 12946 SOS 4255 HAS SOPS 3753 HAS SOUS 3352 HAS SOUPS 2958 WITH SCORE 2962.255
AT ITER 1294 NEW BEST:: SOT 12946 SOS 4246 HAS SOPS 3744 HAS SOUS 3343 HAS SOUPS 2949 WITH SCORE 2953.246
AT ITER 1300 NEW BEST:: SOT 12946 SOS 4195 HAS SOPS 3712 HAS SOUS 3324 HAS SOUPS 2949 WITH SCORE 2953.195
AT ITER 1355 NEW BEST:: SOT 12971 SOS 4237 HAS SOPS 3754 HAS SOUS 3309 HAS SOUPS 2934 WITH SCORE 2938.237
AT ITER 1392 NEW BEST:: SOT 12968 SOS 4225 HAS SOPS 3745 HAS SOUS 3300 HAS SOUPS 2928 WITH SCORE 2932.225
AT ITER 1399 NEW BEST:: SOT 12968 SOS 4225 HAS SOPS 3743 HAS SOUS 3300 HAS SOUPS 2926 WITH SCORE 2930.225
AT ITER 1420 NEW BEST:: SOT 12965 SOS 4219 HAS SOPS 3737 HAS SOUS 3294 HAS SOUPS 2920 WITH SCORE 2924.219
AT ITER 1431 NEW BEST:: SOT 12955 SOS 4213 HAS SOPS 3723 HAS SOUS 3288 HAS SOUPS 2906 WITH SCORE 2910.213
AT ITER 1447 NEW BEST:: SOT 12928 SOS 4170 HAS SOPS 3696 HAS SOUS 3261 HAS SOUPS 2895 WITH SCORE 2899.17
AT ITER 1456 NEW BEST:: SOT 12926 SOS 4153 HAS SOPS 3679 HAS SOUS 3244 HAS SOUPS 2878 WITH SCORE 2882.153
AT ITER 1461 NEW BEST:: SOT 12913 SOS 4140 HAS SOPS 3666 HAS SOUS 3232 HAS SOUPS 2866 WITH SCORE 2870.14
AT ITER 1465 NEW BEST:: SOT 12913 SOS 4141 HAS SOPS 3665 HAS SOUS 3233 HAS SOUPS 2865 WITH SCORE 2869.141
AT ITER 1493 NEW BEST:: SOT 12913 SOS 4139 HAS SOPS 3663 HAS SOUS 3233 HAS SOUPS 2865 WITH SCORE 2869.139
AT ITER 1504 NEW BEST:: SOT 12891 SOS 4131 HAS SOPS 3655 HAS SOUS 3225 HAS SOUPS 2857 WITH SCORE 2861.131
AT ITER 1506 NEW BEST:: SOT 12884 SOS 4117 HAS SOPS 3641 HAS SOUS 3217 HAS SOUPS 2849 WITH SCORE 2853.117
AT ITER 1588 NEW BEST:: SOT 12882 SOS 4115 HAS SOPS 3639 HAS SOUS 3213 HAS SOUPS 2845 WITH SCORE 2849.115
AT ITER 1600 NEW BEST:: SOT 12866 SOS 4099 HAS SOPS 3623 HAS SOUS 3197 HAS SOUPS 2829 WITH SCORE 2833.099
AT ITER 1603 NEW BEST:: SOT 12857 SOS 4070 HAS SOPS 3609 HAS SOUS 3186 HAS SOUPS 2826 WITH SCORE 2830.07
AT ITER 1616 NEW BEST:: SOT 12857 SOS 4049 HAS SOPS 3595 HAS SOUS 3172 HAS SOUPS 2819 WITH SCORE 2823.049
AT ITER 1631 NEW BEST:: SOT 12853 SOS 4046 HAS SOPS 3592 HAS SOUS 3169 HAS SOUPS 2816 WITH SCORE 2820.046
AT ITER 1637 NEW BEST:: SOT 12837 SOS 4041 HAS SOPS 3589 HAS SOUS 3166 HAS SOUPS 2815 WITH SCORE 2819.041
AT ITER 1659 NEW BEST:: SOT 12837 SOS 4034 HAS SOPS 3582 HAS SOUS 3159 HAS SOUPS 2808 WITH SCORE 2812.034
AT ITER 1663 NEW BEST:: SOT 12834 SOS 4028 HAS SOPS 3576 HAS SOUS 3156 HAS SOUPS 2805 WITH SCORE 2809.028
AT ITER 1674 NEW BEST:: SOT 12845 SOS 4017 HAS SOPS 3565 HAS SOUS 3155 HAS SOUPS 2804 WITH SCORE 2808.017
AT ITER 1703 NEW BEST:: SOT 12845 SOS 4009 HAS SOPS 3557 HAS SOUS 3151 HAS SOUPS 2800 WITH SCORE 2804.009
AT ITER 1742 NEW BEST:: SOT 12842 SOS 4013 HAS SOPS 3561 HAS SOUS 3146 HAS SOUPS 2795 WITH SCORE 2799.013
AT ITER 1787 NEW BEST:: SOT 12840 SOS 4011 HAS SOPS 3559 HAS SOUS 3144 HAS SOUPS 2793 WITH SCORE 2797.011
AT ITER 1790 NEW BEST:: SOT 12840 SOS 4008 HAS SOPS 3556 HAS SOUS 3144 HAS SOUPS 2793 WITH SCORE 2797.008
AT ITER 1852 NEW BEST:: SOT 12840 SOS 4006 HAS SOPS 3554 HAS SOUS 3142 HAS SOUPS 2791 WITH SCORE 2795.006
AT ITER 1875 NEW BEST:: SOT 12840 SOS 3998 HAS SOPS 3547 HAS SOUS 3140 HAS SOUPS 2790 WITH SCORE 2793.998
AT ITER 1890 NEW BEST:: SOT 12840 SOS 3992 HAS SOPS 3547 HAS SOUS 3137 HAS SOUPS 2790 WITH SCORE 2793.992
AT ITER 1896 NEW BEST:: SOT 12804 SOS 3983 HAS SOPS 3538 HAS SOUS 3131 HAS SOUPS 2784 WITH SCORE 2787.983
AT ITER 1981 NEW BEST:: SOT 12794 SOS 3963 HAS SOPS 3518 HAS SOUS 3121 HAS SOUPS 2774 WITH SCORE 2777.963
AT ITER 2061 NEW BEST:: SOT 12792 SOS 3961 HAS SOPS 3516 HAS SOUS 3119 HAS SOUPS 2772 WITH SCORE 2775.961
AT ITER 2097 NEW BEST:: SOT 12791 SOS 3960 HAS SOPS 3515 HAS SOUS 3119 HAS SOUPS 2772 WITH SCORE 2775.96
AT ITER 2104 NEW BEST:: SOT 12793 SOS 3964 HAS SOPS 3517 HAS SOUS 3119 HAS SOUPS 2771 WITH SCORE 2774.964
AT ITER 2127 NEW BEST:: SOT 12794 SOS 3965 HAS SOPS 3518 HAS SOUS 3118 HAS SOUPS 2770 WITH SCORE 2773.965
AT ITER 2139 NEW BEST:: SOT 12798 SOS 3969 HAS SOPS 3518 HAS SOUS 3114 HAS SOUPS 2766 WITH SCORE 2769.969
AT ITER 2161 NEW BEST:: SOT 12800 SOS 3949 HAS SOPS 3498 HAS SOUS 3112 HAS SOUPS 2764 WITH SCORE 2767.949
AT ITER 2165 NEW BEST:: SOT 12797 SOS 3953 HAS SOPS 3502 HAS SOUS 3109 HAS SOUPS 2761 WITH SCORE 2764.953
AT ITER 2167 NEW BEST:: SOT 12798 SOS 3954 HAS SOPS 3503 HAS SOUS 3107 HAS SOUPS 2759 WITH SCORE 2762.954
AT ITER 2194 NEW BEST:: SOT 12798 SOS 3953 HAS SOPS 3503 HAS SOUS 3106 HAS SOUPS 2759 WITH SCORE 2762.953
AT ITER 2247 NEW BEST:: SOT 12785 SOS 3931 HAS SOPS 3462 HAS SOUS 3084 HAS SOUPS 2718 WITH SCORE 2721.931
AT ITER 2326 NEW BEST:: SOT 12784 SOS 3930 HAS SOPS 3461 HAS SOUS 3083 HAS SOUPS 2717 WITH SCORE 2720.93
AT ITER 2359 NEW BEST:: SOT 12782 SOS 3924 HAS SOPS 3455 HAS SOUS 3079 HAS SOUPS 2713 WITH SCORE 2716.924
AT ITER 2364 NEW BEST:: SOT 12780 SOS 3921 HAS SOPS 3452 HAS SOUS 3078 HAS SOUPS 2712 WITH SCORE 2715.921
AT ITER 2435 NEW BEST:: SOT 12759 SOS 3910 HAS SOPS 3441 HAS SOUS 3062 HAS SOUPS 2696 WITH SCORE 2699.91
AT ITER 2453 NEW BEST:: SOT 12759 SOS 3909 HAS SOPS 3441 HAS SOUS 3061 HAS SOUPS 2696 WITH SCORE 2699.909
AT ITER 2495 NEW BEST:: SOT 12759 SOS 3909 HAS SOPS 3441 HAS SOUS 3060 HAS SOUPS 2695 WITH SCORE 2698.909
AT ITER 2546 NEW BEST:: SOT 12757 SOS 3911 HAS SOPS 3439 HAS SOUS 3062 HAS SOUPS 2693 WITH SCORE 2696.911
AT ITER 2558 NEW BEST:: SOT 12750 SOS 3913 HAS SOPS 3425 HAS SOUS 3064 HAS SOUPS 2679 WITH SCORE 2682.913
AT ITER 2579 NEW BEST:: SOT 12749 SOS 3910 HAS SOPS 3422 HAS SOUS 3062 HAS SOUPS 2677 WITH SCORE 2680.91
AT ITER 2604 NEW BEST:: SOT 12735 SOS 3847 HAS SOPS 3359 HAS SOUS 3045 HAS SOUPS 2660 WITH SCORE 2663.847
AT ITER 2678 NEW BEST:: SOT 12730 SOS 3844 HAS SOPS 3356 HAS SOUS 3045 HAS SOUPS 2660 WITH SCORE 2663.844
AT ITER 2684 NEW BEST:: SOT 12730 SOS 3842 HAS SOPS 3356 HAS SOUS 3043 HAS SOUPS 2660 WITH SCORE 2663.842
AT ITER 2721 NEW BEST:: SOT 12737 SOS 3837 HAS SOPS 3351 HAS SOUS 3038 HAS SOUPS 2655 WITH SCORE 2658.837
AT ITER 2732 NEW BEST:: SOT 12732 SOS 3737 HAS SOPS 3259 HAS SOUS 3010 HAS SOUPS 2635 WITH SCORE 2638.737
AT ITER 2742 NEW BEST:: SOT 12731 SOS 3736 HAS SOPS 3258 HAS SOUS 3009 HAS SOUPS 2634 WITH SCORE 2637.736
AT ITER 2767 NEW BEST:: SOT 12720 SOS 3730 HAS SOPS 3252 HAS SOUS 3007 HAS SOUPS 2632 WITH SCORE 2635.73
AT ITER 2782 NEW BEST:: SOT 12719 SOS 3729 HAS SOPS 3251 HAS SOUS 3005 HAS SOUPS 2630 WITH SCORE 2633.729
AT ITER 2788 NEW BEST:: SOT 12711 SOS 3715 HAS SOPS 3237 HAS SOUS 2997 HAS SOUPS 2622 WITH SCORE 2625.715
AT ITER 2805 NEW BEST:: SOT 12708 SOS 3712 HAS SOPS 3234 HAS SOUS 2994 HAS SOUPS 2619 WITH SCORE 2622.712
AT ITER 2864 NEW BEST:: SOT 12712 SOS 3713 HAS SOPS 3233 HAS SOUS 2995 HAS SOUPS 2618 WITH SCORE 2621.713
AT ITER 2894 NEW BEST:: SOT 12730 SOS 3731 HAS SOPS 3245 HAS SOUS 2989 HAS SOUPS 2612 WITH SCORE 2615.731
AT ITER 2912 NEW BEST:: SOT 12728 SOS 3729 HAS SOPS 3243 HAS SOUS 2984 HAS SOUPS 2607 WITH SCORE 2610.729
AT ITER 2987 NEW BEST:: SOT 12728 SOS 3731 HAS SOPS 3245 HAS SOUS 2981 HAS SOUPS 2604 WITH SCORE 2607.731
AT ITER 3043 NEW BEST:: SOT 12728 SOS 3719 HAS SOPS 3236 HAS SOUS 2981 HAS SOUPS 2604 WITH SCORE 2607.719
AT ITER 3068 NEW BEST:: SOT 12706 SOS 3699 HAS SOPS 3216 HAS SOUS 2977 HAS SOUPS 2600 WITH SCORE 2603.699
AT ITER 3084 NEW BEST:: SOT 12702 SOS 3693 HAS SOPS 3210 HAS SOUS 2971 HAS SOUPS 2594 WITH SCORE 2597.693
AT ITER 3087 NEW BEST:: SOT 12702 SOS 3693 HAS SOPS 3210 HAS SOUS 2968 HAS SOUPS 2591 WITH SCORE 2594.693
AT ITER 3095 NEW BEST:: SOT 12704 SOS 3685 HAS SOPS 3204 HAS SOUS 2966 HAS SOUPS 2589 WITH SCORE 2592.685
AT ITER 3121 NEW BEST:: SOT 12704 SOS 3661 HAS SOPS 3204 HAS SOUS 2942 HAS SOUPS 2589 WITH SCORE 2592.661
AT ITER 3154 NEW BEST:: SOT 12701 SOS 3662 HAS SOPS 3205 HAS SOUS 2939 HAS SOUPS 2586 WITH SCORE 2589.662
AT ITER 3156 NEW BEST:: SOT 12718 SOS 3624 HAS SOPS 3167 HAS SOUS 2932 HAS SOUPS 2579 WITH SCORE 2582.624
AT ITER 3208 NEW BEST:: SOT 12719 SOS 3614 HAS SOPS 3157 HAS SOUS 2922 HAS SOUPS 2569 WITH SCORE 2572.614
AT ITER 3216 NEW BEST:: SOT 12695 SOS 3582 HAS SOPS 3133 HAS SOUS 2922 HAS SOUPS 2569 WITH SCORE 2572.582
AT ITER 3247 NEW BEST:: SOT 12696 SOS 3567 HAS SOPS 3118 HAS SOUS 2913 HAS SOUPS 2560 WITH SCORE 2563.567
AT ITER 3271 NEW BEST:: SOT 12694 SOS 3565 HAS SOPS 3116 HAS SOUS 2913 HAS SOUPS 2560 WITH SCORE 2563.565
AT ITER 3397 NEW BEST:: SOT 12682 SOS 3553 HAS SOPS 3104 HAS SOUS 2901 HAS SOUPS 2548 WITH SCORE 2551.553
AT ITER 3406 NEW BEST:: SOT 12681 SOS 3546 HAS SOPS 3097 HAS SOUS 2898 HAS SOUPS 2545 WITH SCORE 2548.546
AT ITER 3421 NEW BEST:: SOT 12681 SOS 3545 HAS SOPS 3097 HAS SOUS 2897 HAS SOUPS 2545 WITH SCORE 2548.545
AT ITER 3431 NEW BEST:: SOT 12695 SOS 3571 HAS SOPS 3117 HAS SOUS 2894 HAS SOUPS 2542 WITH SCORE 2545.571
AT ITER 3464 NEW BEST:: SOT 12695 SOS 3571 HAS SOPS 3117 HAS SOUS 2893 HAS SOUPS 2541 WITH SCORE 2544.571
AT ITER 3515 NEW BEST:: SOT 12693 SOS 3562 HAS SOPS 3109 HAS SOUS 2891 HAS SOUPS 2540 WITH SCORE 2543.562
AT ITER 3542 NEW BEST:: SOT 12700 SOS 3568 HAS SOPS 3106 HAS SOUS 2897 HAS SOUPS 2537 WITH SCORE 2540.568
AT ITER 3584 NEW BEST:: SOT 12698 SOS 3565 HAS SOPS 3102 HAS SOUS 2896 HAS SOUPS 2535 WITH SCORE 2538.565
AT ITER 3675 NEW BEST:: SOT 12683 SOS 3569 HAS SOPS 3106 HAS SOUS 2891 HAS SOUPS 2530 WITH SCORE 2533.569
AT ITER 3691 NEW BEST:: SOT 12675 SOS 3549 HAS SOPS 3086 HAS SOUS 2883 HAS SOUPS 2522 WITH SCORE 2525.549
AT ITER 3758 NEW BEST:: SOT 12675 SOS 3545 HAS SOPS 3082 HAS SOUS 2881 HAS SOUPS 2520 WITH SCORE 2523.545
AT ITER 3797 NEW BEST:: SOT 12699 SOS 3569 HAS SOPS 3099 HAS SOUS 2878 HAS SOUPS 2517 WITH SCORE 2520.569
AT ITER 3798 NEW BEST:: SOT 12712 SOS 3573 HAS SOPS 3097 HAS SOUS 2871 HAS SOUPS 2510 WITH SCORE 2513.573
AT ITER 3917 NEW BEST:: SOT 12714 SOS 3552 HAS SOPS 3076 HAS SOUS 2865 HAS SOUPS 2504 WITH SCORE 2507.552
AT ITER 3918 NEW BEST:: SOT 12716 SOS 3556 HAS SOPS 3080 HAS SOUS 2864 HAS SOUPS 2503 WITH SCORE 2506.556
AT ITER 4029 NEW BEST:: SOT 12712 SOS 3560 HAS SOPS 3072 HAS SOUS 2872 HAS SOUPS 2499 WITH SCORE 2502.56
AT ITER 4110 NEW BEST:: SOT 12702 SOS 3549 HAS SOPS 3061 HAS SOUS 2871 HAS SOUPS 2498 WITH SCORE 2501.549
AT ITER 4287 NEW BEST:: SOT 12694 SOS 3538 HAS SOPS 3052 HAS SOUS 2857 HAS SOUPS 2486 WITH SCORE 2489.538
AT ITER 4322 NEW BEST:: SOT 12698 SOS 3460 HAS SOPS 2976 HAS SOUS 2851 HAS SOUPS 2482 WITH SCORE 2485.46
AT ITER 4337 NEW BEST:: SOT 12697 SOS 3471 HAS SOPS 2974 HAS SOUS 2862 HAS SOUPS 2480 WITH SCORE 2483.471
AT ITER 4402 NEW BEST:: SOT 12687 SOS 3455 HAS SOPS 2958 HAS SOUS 2854 HAS SOUPS 2472 WITH SCORE 2475.455
AT ITER 4418 NEW BEST:: SOT 12688 SOS 3457 HAS SOPS 2960 HAS SOUS 2853 HAS SOUPS 2471 WITH SCORE 2474.457
AT ITER 4423 NEW BEST:: SOT 12685 SOS 3455 HAS SOPS 2958 HAS SOUS 2851 HAS SOUPS 2469 WITH SCORE 2472.455
AT ITER 4488 NEW BEST:: SOT 12681 SOS 3439 HAS SOPS 2950 HAS SOUS 2835 HAS SOUPS 2461 WITH SCORE 2464.439
AT ITER 4592 NEW BEST:: SOT 12677 SOS 3435 HAS SOPS 2946 HAS SOUS 2835 HAS SOUPS 2461 WITH SCORE 2464.435
AT ITER 4760 NEW BEST:: SOT 12677 SOS 3433 HAS SOPS 2944 HAS SOUS 2834 HAS SOUPS 2460 WITH SCORE 2463.433
AT ITER 4791 NEW BEST:: SOT 12674 SOS 3430 HAS SOPS 2938 HAS SOUS 2834 HAS SOUPS 2457 WITH SCORE 2460.43
AT ITER 4802 NEW BEST:: SOT 12670 SOS 3426 HAS SOPS 2934 HAS SOUS 2831 HAS SOUPS 2454 WITH SCORE 2457.426
AT ITER 4803 NEW BEST:: SOT 12670 SOS 3426 HAS SOPS 2933 HAS SOUS 2831 HAS SOUPS 2453 WITH SCORE 2456.426
AT ITER 4804 NEW BEST:: SOT 12666 SOS 3421 HAS SOPS 2928 HAS SOUS 2828 HAS SOUPS 2450 WITH SCORE 2453.421
AT ITER 4811 NEW BEST:: SOT 12665 SOS 3420 HAS SOPS 2927 HAS SOUS 2826 HAS SOUPS 2448 WITH SCORE 2451.42
AT ITER 4999 NEW BEST:: SOT 12663 SOS 3417 HAS SOPS 2924 HAS SOUS 2823 HAS SOUPS 2445 WITH SCORE 2448.417
AT ITER 5009 NEW BEST:: SOT 12661 SOS 3409 HAS SOPS 2916 HAS SOUS 2818 HAS SOUPS 2440 WITH SCORE 2443.409
AT ITER 5026 NEW BEST:: SOT 12649 SOS 3415 HAS SOPS 2922 HAS SOUS 2812 HAS SOUPS 2434 WITH SCORE 2437.415
AT ITER 5063 NEW BEST:: SOT 12648 SOS 3413 HAS SOPS 2920 HAS SOUS 2811 HAS SOUPS 2433 WITH SCORE 2436.413
AT ITER 5079 NEW BEST:: SOT 12655 SOS 3412 HAS SOPS 2919 HAS SOUS 2811 HAS SOUPS 2433 WITH SCORE 2436.412
AT ITER 5165 NEW BEST:: SOT 12655 SOS 3409 HAS SOPS 2916 HAS SOUS 2811 HAS SOUPS 2433 WITH SCORE 2436.409
AT ITER 5250 NEW BEST:: SOT 12654 SOS 3408 HAS SOPS 2916 HAS SOUS 2810 HAS SOUPS 2433 WITH SCORE 2436.408
AT ITER 5264 NEW BEST:: SOT 12648 SOS 3403 HAS SOPS 2911 HAS SOUS 2805 HAS SOUPS 2428 WITH SCORE 2431.403
AT ITER 5356 NEW BEST:: SOT 12648 SOS 3399 HAS SOPS 2907 HAS SOUS 2803 HAS SOUPS 2426 WITH SCORE 2429.399
AT ITER 5387 NEW BEST:: SOT 12646 SOS 3389 HAS SOPS 2897 HAS SOUS 2800 HAS SOUPS 2423 WITH SCORE 2426.389
AT ITER 5504 NEW BEST:: SOT 12646 SOS 3393 HAS SOPS 2896 HAS SOUS 2804 HAS SOUPS 2422 WITH SCORE 2425.393
AT ITER 5569 NEW BEST:: SOT 12646 SOS 3391 HAS SOPS 2896 HAS SOUS 2802 HAS SOUPS 2422 WITH SCORE 2425.391
AT ITER 5610 NEW BEST:: SOT 12645 SOS 3390 HAS SOPS 2895 HAS SOUS 2801 HAS SOUPS 2421 WITH SCORE 2424.39
AT ITER 5612 NEW BEST:: SOT 12645 SOS 3388 HAS SOPS 2895 HAS SOUS 2799 HAS SOUPS 2421 WITH SCORE 2424.388
AT ITER 5622 NEW BEST:: SOT 12644 SOS 3386 HAS SOPS 2893 HAS SOUS 2798 HAS SOUPS 2420 WITH SCORE 2423.386
AT ITER 5633 NEW BEST:: SOT 12641 SOS 3379 HAS SOPS 2886 HAS SOUS 2798 HAS SOUPS 2420 WITH SCORE 2423.379
AT ITER 5780 NEW BEST:: SOT 12640 SOS 3381 HAS SOPS 2884 HAS SOUS 2800 HAS SOUPS 2418 WITH SCORE 2421.381
AT ITER 5844 NEW BEST:: SOT 12658 SOS 3473 HAS SOPS 2976 HAS SOUS 2798 HAS SOUPS 2416 WITH SCORE 2419.473
AT ITER 5860 NEW BEST:: SOT 12650 SOS 3461 HAS SOPS 2964 HAS SOUS 2797 HAS SOUPS 2415 WITH SCORE 2418.461
AT ITER 6045 NEW BEST:: SOT 12648 SOS 3454 HAS SOPS 2957 HAS SOUS 2797 HAS SOUPS 2415 WITH SCORE 2418.454
AT ITER 6145 NEW BEST:: SOT 12648 SOS 3454 HAS SOPS 2955 HAS SOUS 2797 HAS SOUPS 2413 WITH SCORE 2416.454
AT ITER 6171 NEW BEST:: SOT 12648 SOS 3453 HAS SOPS 2955 HAS SOUS 2796 HAS SOUPS 2413 WITH SCORE 2416.453
AT ITER 6225 NEW BEST:: SOT 12647 SOS 3449 HAS SOPS 2952 HAS SOUS 2793 HAS SOUPS 2411 WITH SCORE 2414.449
AT ITER 6339 NEW BEST:: SOT 12645 SOS 3444 HAS SOPS 2947 HAS SOUS 2788 HAS SOUPS 2406 WITH SCORE 2409.444
AT ITER 6360 NEW BEST:: SOT 12645 SOS 3440 HAS SOPS 2947 HAS SOUS 2786 HAS SOUPS 2406 WITH SCORE 2409.44
AT ITER 6440 NEW BEST:: SOT 12636 SOS 3432 HAS SOPS 2939 HAS SOUS 2786 HAS SOUPS 2406 WITH SCORE 2409.432
AT ITER 6532 NEW BEST:: SOT 12636 SOS 3431 HAS SOPS 2938 HAS SOUS 2785 HAS SOUPS 2405 WITH SCORE 2408.431
AT ITER 6580 NEW BEST:: SOT 12637 SOS 3423 HAS SOPS 2930 HAS SOUS 2777 HAS SOUPS 2397 WITH SCORE 2400.423
AT ITER 6715 NEW BEST:: SOT 12636 SOS 3419 HAS SOPS 2926 HAS SOUS 2775 HAS SOUPS 2395 WITH SCORE 2398.419
AT ITER 6821 NEW BEST:: SOT 12634 SOS 3415 HAS SOPS 2922 HAS SOUS 2773 HAS SOUPS 2393 WITH SCORE 2396.415
AT ITER 6873 NEW BEST:: SOT 12633 SOS 3414 HAS SOPS 2921 HAS SOUS 2772 HAS SOUPS 2392 WITH SCORE 2395.414
AT ITER 6876 NEW BEST:: SOT 12632 SOS 3413 HAS SOPS 2919 HAS SOUS 2771 HAS SOUPS 2390 WITH SCORE 2393.413
AT ITER 6958 NEW BEST:: SOT 12628 SOS 3409 HAS SOPS 2915 HAS SOUS 2769 HAS SOUPS 2388 WITH SCORE 2391.409
AT ITER 6963 NEW BEST:: SOT 12629 SOS 3417 HAS SOPS 2914 HAS SOUS 2777 HAS SOUPS 2387 WITH SCORE 2390.417
AT ITER 6965 NEW BEST:: SOT 12625 SOS 3413 HAS SOPS 2910 HAS SOUS 2773 HAS SOUPS 2383 WITH SCORE 2386.413
AT ITER 7004 NEW BEST:: SOT 12624 SOS 3418 HAS SOPS 2911 HAS SOUS 2775 HAS SOUPS 2381 WITH SCORE 2384.418
AT ITER 7133 NEW BEST:: SOT 12622 SOS 3383 HAS SOPS 2876 HAS SOUS 2771 HAS SOUPS 2377 WITH SCORE 2380.383
AT ITER 7221 NEW BEST:: SOT 12621 SOS 3382 HAS SOPS 2875 HAS SOUS 2770 HAS SOUPS 2376 WITH SCORE 2379.382
AT ITER 7295 NEW BEST:: SOT 12599 SOS 3364 HAS SOPS 2857 HAS SOUS 2770 HAS SOUPS 2376 WITH SCORE 2379.364
AT ITER 7337 NEW BEST:: SOT 12599 SOS 3364 HAS SOPS 2854 HAS SOUS 2770 HAS SOUPS 2373 WITH SCORE 2376.364
AT ITER 7527 NEW BEST:: SOT 12599 SOS 3364 HAS SOPS 2853 HAS SOUS 2770 HAS SOUPS 2372 WITH SCORE 2375.364
AT ITER 7683 NEW BEST:: SOT 12597 SOS 3363 HAS SOPS 2852 HAS SOUS 2770 HAS SOUPS 2372 WITH SCORE 2375.363
AT ITER 7717 NEW BEST:: SOT 12595 SOS 3364 HAS SOPS 2849 HAS SOUS 2773 HAS SOUPS 2371 WITH SCORE 2374.364
AT ITER 7912 NEW BEST:: SOT 12589 SOS 3379 HAS SOPS 2844 HAS SOUS 2777 HAS SOUPS 2365 WITH SCORE 2368.379
AT ITER 7967 NEW BEST:: SOT 12589 SOS 3376 HAS SOPS 2844 HAS SOUS 2774 HAS SOUPS 2365 WITH SCORE 2368.376
AT ITER 8117 NEW BEST:: SOT 12600 SOS 3374 HAS SOPS 2842 HAS SOUS 2772 HAS SOUPS 2363 WITH SCORE 2366.374
AT ITER 8201 NEW BEST:: SOT 12600 SOS 3372 HAS SOPS 2842 HAS SOUS 2771 HAS SOUPS 2363 WITH SCORE 2366.372
AT ITER 8352 NEW BEST:: SOT 12596 SOS 3367 HAS SOPS 2837 HAS SOUS 2766 HAS SOUPS 2358 WITH SCORE 2361.367
AT ITER 8397 NEW BEST:: SOT 12595 SOS 3360 HAS SOPS 2830 HAS SOUS 2763 HAS SOUPS 2355 WITH SCORE 2358.36
AT ITER 8474 NEW BEST:: SOT 12598 SOS 3362 HAS SOPS 2832 HAS SOUS 2760 HAS SOUPS 2352 WITH SCORE 2355.362
AT ITER 8490 NEW BEST:: SOT 12614 SOS 3320 HAS SOPS 2790 HAS SOUS 2757 HAS SOUPS 2349 WITH SCORE 2352.32
AT ITER 8513 NEW BEST:: SOT 12608 SOS 3316 HAS SOPS 2786 HAS SOUS 2753 HAS SOUPS 2345 WITH SCORE 2348.316
AT ITER 8595 NEW BEST:: SOT 12608 SOS 3314 HAS SOPS 2784 HAS SOUS 2751 HAS SOUPS 2343 WITH SCORE 2346.314
AT ITER 8663 NEW BEST:: SOT 12611 SOS 3317 HAS SOPS 2784 HAS SOUS 2752 HAS SOUPS 2342 WITH SCORE 2345.317
AT ITER 8665 NEW BEST:: SOT 12615 SOS 3305 HAS SOPS 2772 HAS SOUS 2752 HAS SOUPS 2342 WITH SCORE 2345.305
AT ITER 8675 NEW BEST:: SOT 12614 SOS 3304 HAS SOPS 2773 HAS SOUS 2750 HAS SOUPS 2342 WITH SCORE 2345.304
AT ITER 8771 NEW BEST:: SOT 12620 SOS 3295 HAS SOPS 2764 HAS SOUS 2750 HAS SOUPS 2342 WITH SCORE 2345.295
AT ITER 8856 NEW BEST:: SOT 12619 SOS 3293 HAS SOPS 2762 HAS SOUS 2749 HAS SOUPS 2341 WITH SCORE 2344.293
AT ITER 9025 NEW BEST:: SOT 12614 SOS 3290 HAS SOPS 2759 HAS SOUS 2746 HAS SOUPS 2338 WITH SCORE 2341.29
AT ITER 9100 NEW BEST:: SOT 12613 SOS 3289 HAS SOPS 2759 HAS SOUS 2745 HAS SOUPS 2338 WITH SCORE 2341.289
AT ITER 9186 NEW BEST:: SOT 12613 SOS 3283 HAS SOPS 2753 HAS SOUS 2745 HAS SOUPS 2338 WITH SCORE 2341.283
AT ITER 9198 NEW BEST:: SOT 12612 SOS 3281 HAS SOPS 2751 HAS SOUS 2744 HAS SOUPS 2337 WITH SCORE 2340.281
AT ITER 9231 NEW BEST:: SOT 12612 SOS 3277 HAS SOPS 2750 HAS SOUS 2741 HAS SOUPS 2337 WITH SCORE 2340.277
AT ITER 9235 NEW BEST:: SOT 12611 SOS 3276 HAS SOPS 2749 HAS SOUS 2739 HAS SOUPS 2335 WITH SCORE 2338.276
AT ITER 9249 NEW BEST:: SOT 12611 SOS 3276 HAS SOPS 2747 HAS SOUS 2745 HAS SOUPS 2333 WITH SCORE 2336.276
AT ITER 9323 NEW BEST:: SOT 12607 SOS 3268 HAS SOPS 2739 HAS SOUS 2741 HAS SOUPS 2329 WITH SCORE 2332.268
AT ITER 9354 NEW BEST:: SOT 12615 SOS 3266 HAS SOPS 2737 HAS SOUS 2740 HAS SOUPS 2328 WITH SCORE 2331.266
AT ITER 9373 NEW BEST:: SOT 12611 SOS 3266 HAS SOPS 2733 HAS SOUS 2740 HAS SOUPS 2324 WITH SCORE 2327.266
AT ITER 9384 NEW BEST:: SOT 12607 SOS 3262 HAS SOPS 2729 HAS SOUS 2736 HAS SOUPS 2320 WITH SCORE 2323.262
AT ITER 9522 NEW BEST:: SOT 12609 SOS 3263 HAS SOPS 2730 HAS SOUS 2734 HAS SOUPS 2318 WITH SCORE 2321.263
AT ITER 9570 NEW BEST:: SOT 12604 SOS 3258 HAS SOPS 2725 HAS SOUS 2726 HAS SOUPS 2310 WITH SCORE 2313.258
STATE_SPACE STATES 4567597057 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 32 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 106369646593 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678874659993

--------------------
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

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="Parking-PT-208"
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 Parking-PT-208, 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 r267-smll-167863541800424"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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