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.r299-tall-167873952400024.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 PhaseVariation-PT-D05CS010, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r299-tall-167873952400024
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 8.7K Feb 26 15:02 CTLCardinality.txt
-rw-r--r-- 1 mcc users 81K Feb 26 15:02 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.6K Feb 26 15:01 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 26 15:01 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.4K Feb 25 16:31 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:31 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.4K Feb 26 15:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 74K Feb 26 15:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 20K Feb 26 15:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 117K Feb 26 15:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 16:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 9 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 633K 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 1679438389867

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=PhaseVariation-PT-D05CS010
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 22:39:51] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 22:39:51] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 22:39:51] [INFO ] Load time of PNML (sax parser for PT used): 93 ms
[2023-03-21 22:39:51] [INFO ] Transformed 77 places.
[2023-03-21 22:39:51] [INFO ] Transformed 677 transitions.
[2023-03-21 22:39:51] [INFO ] Parsed PT model containing 77 places and 677 transitions and 4685 arcs in 160 ms.
[2023-03-21 22:39:51] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 77 places, 677 transitions and 4685 arcs took 11 ms.
Total runtime 197 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PhaseVariation (PT), instance D05CS010
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: 77 places, 677 transitions, 4685 arcs.
AT ITER 0 NEW BEST:: SOT 46635 SOS 33638 HAS SOPS 28721 HAS SOUS 23201 HAS SOUPS 22135 WITH SCORE 22168.638
AT ITER 1 NEW BEST:: SOT 46635 SOS 33648 HAS SOPS 28721 HAS SOUS 23186 HAS SOUPS 22120 WITH SCORE 22153.648
AT ITER 4 NEW BEST:: SOT 46635 SOS 33647 HAS SOPS 28713 HAS SOUS 23185 HAS SOUPS 22112 WITH SCORE 22145.647
AT ITER 8 NEW BEST:: SOT 46635 SOS 33657 HAS SOPS 28713 HAS SOUS 23175 HAS SOUPS 22102 WITH SCORE 22135.657
AT ITER 9 NEW BEST:: SOT 46635 SOS 33694 HAS SOPS 28713 HAS SOUS 22842 HAS SOUPS 21783 WITH SCORE 21816.694
AT ITER 13 NEW BEST:: SOT 46635 SOS 33624 HAS SOPS 28761 HAS SOUS 22804 HAS SOUPS 21745 WITH SCORE 21778.624
AT ITER 15 NEW BEST:: SOT 46635 SOS 33656 HAS SOPS 28977 HAS SOUS 22652 HAS SOUPS 21576 WITH SCORE 21609.656
AT ITER 16 NEW BEST:: SOT 46635 SOS 33620 HAS SOPS 28881 HAS SOUS 22489 HAS SOUPS 21412 WITH SCORE 21445.62
AT ITER 17 NEW BEST:: SOT 46118 SOS 33714 HAS SOPS 29436 HAS SOUS 22008 HAS SOUPS 21205 WITH SCORE 21238.714
AT ITER 19 NEW BEST:: SOT 46435 SOS 34493 HAS SOPS 30177 HAS SOUS 21278 HAS SOUPS 20491 WITH SCORE 20525.493
AT ITER 20 NEW BEST:: SOT 46435 SOS 34459 HAS SOPS 30285 HAS SOUS 21038 HAS SOUPS 20236 WITH SCORE 20270.459
AT ITER 21 NEW BEST:: SOT 46435 SOS 34459 HAS SOPS 30285 HAS SOUS 20995 HAS SOUPS 20193 WITH SCORE 20227.459
AT ITER 25 NEW BEST:: SOT 46435 SOS 34415 HAS SOPS 30189 HAS SOUS 20744 HAS SOUPS 19947 WITH SCORE 19981.415
AT ITER 26 NEW BEST:: SOT 46503 SOS 34673 HAS SOPS 30281 HAS SOUS 20773 HAS SOUPS 19935 WITH SCORE 19969.673
AT ITER 27 NEW BEST:: SOT 46503 SOS 34402 HAS SOPS 30311 HAS SOUS 20477 HAS SOUPS 19671 WITH SCORE 19705.402
AT ITER 28 NEW BEST:: SOT 46503 SOS 34493 HAS SOPS 30359 HAS SOUS 20438 HAS SOUPS 19632 WITH SCORE 19666.493
AT ITER 29 NEW BEST:: SOT 46503 SOS 34485 HAS SOPS 30359 HAS SOUS 20383 HAS SOUPS 19581 WITH SCORE 19615.485
AT ITER 31 NEW BEST:: SOT 46503 SOS 34443 HAS SOPS 30371 HAS SOUS 20316 HAS SOUPS 19514 WITH SCORE 19548.443
AT ITER 37 NEW BEST:: SOT 46601 SOS 34525 HAS SOPS 30385 HAS SOUS 20265 HAS SOUPS 19463 WITH SCORE 19497.525
AT ITER 38 NEW BEST:: SOT 46601 SOS 34525 HAS SOPS 30385 HAS SOUS 20241 HAS SOUPS 19439 WITH SCORE 19473.525
AT ITER 40 NEW BEST:: SOT 46601 SOS 34355 HAS SOPS 30385 HAS SOUS 20145 HAS SOUPS 19357 WITH SCORE 19391.355
AT ITER 41 NEW BEST:: SOT 46601 SOS 34342 HAS SOPS 30385 HAS SOUS 20130 HAS SOUPS 19342 WITH SCORE 19376.342
AT ITER 42 NEW BEST:: SOT 46601 SOS 34479 HAS SOPS 30385 HAS SOUS 19757 HAS SOUPS 18948 WITH SCORE 18982.479
AT ITER 43 NEW BEST:: SOT 46601 SOS 34350 HAS SOPS 30839 HAS SOUS 19131 HAS SOUPS 18374 WITH SCORE 18408.35
AT ITER 47 NEW BEST:: SOT 46601 SOS 34375 HAS SOPS 30959 HAS SOUS 19124 HAS SOUPS 18367 WITH SCORE 18401.375
AT ITER 50 NEW BEST:: SOT 46601 SOS 34364 HAS SOPS 30941 HAS SOUS 18737 HAS SOUPS 17980 WITH SCORE 18014.364
AT ITER 51 NEW BEST:: SOT 40808 SOS 32958 HAS SOPS 25198 HAS SOUS 12653 HAS SOUPS 11914 WITH SCORE 11946.958
AT ITER 52 NEW BEST:: SOT 40808 SOS 33245 HAS SOPS 25792 HAS SOUS 12533 HAS SOUPS 11811 WITH SCORE 11844.245
AT ITER 54 NEW BEST:: SOT 40808 SOS 33245 HAS SOPS 25828 HAS SOUS 12481 HAS SOUPS 11759 WITH SCORE 11792.245
AT ITER 59 NEW BEST:: SOT 40808 SOS 33245 HAS SOPS 25840 HAS SOUS 12472 HAS SOUPS 11750 WITH SCORE 11783.245
AT ITER 61 NEW BEST:: SOT 40566 SOS 33003 HAS SOPS 25574 HAS SOUS 12365 HAS SOUPS 11637 WITH SCORE 11670.003
AT ITER 62 NEW BEST:: SOT 40497 SOS 32948 HAS SOPS 25541 HAS SOUS 11969 HAS SOUPS 11285 WITH SCORE 11317.948
AT ITER 63 NEW BEST:: SOT 40217 SOS 32668 HAS SOPS 24997 HAS SOUS 11828 HAS SOUPS 11144 WITH SCORE 11176.668
AT ITER 65 NEW BEST:: SOT 40217 SOS 32624 HAS SOPS 25537 HAS SOUS 11604 HAS SOUPS 10985 WITH SCORE 11017.624
AT ITER 69 NEW BEST:: SOT 40217 SOS 32624 HAS SOPS 25609 HAS SOUS 11556 HAS SOUPS 10955 WITH SCORE 10987.624
AT ITER 70 NEW BEST:: SOT 39947 SOS 32354 HAS SOPS 25339 HAS SOUS 11497 HAS SOUPS 10896 WITH SCORE 10928.354
AT ITER 71 NEW BEST:: SOT 39765 SOS 32172 HAS SOPS 25061 HAS SOUS 11309 HAS SOUPS 10692 WITH SCORE 10724.172
AT ITER 72 NEW BEST:: SOT 39765 SOS 32148 HAS SOPS 25049 HAS SOUS 11309 HAS SOUPS 10692 WITH SCORE 10724.148
AT ITER 73 NEW BEST:: SOT 39765 SOS 32148 HAS SOPS 25325 HAS SOUS 11162 HAS SOUPS 10561 WITH SCORE 10593.148
AT ITER 75 NEW BEST:: SOT 39809 SOS 32204 HAS SOPS 25405 HAS SOUS 11148 HAS SOUPS 10521 WITH SCORE 10553.204
AT ITER 77 NEW BEST:: SOT 39809 SOS 32204 HAS SOPS 25357 HAS SOUS 11143 HAS SOUPS 10516 WITH SCORE 10548.204
AT ITER 82 NEW BEST:: SOT 39798 SOS 32193 HAS SOPS 25346 HAS SOUS 11103 HAS SOUPS 10487 WITH SCORE 10519.193
AT ITER 83 NEW BEST:: SOT 39831 SOS 32226 HAS SOPS 25391 HAS SOUS 11059 HAS SOUPS 10447 WITH SCORE 10479.226
AT ITER 84 NEW BEST:: SOT 39822 SOS 32217 HAS SOPS 25382 HAS SOUS 10942 HAS SOUPS 10330 WITH SCORE 10362.217
AT ITER 85 NEW BEST:: SOT 36980 SOS 35100 HAS SOPS 35068 HAS SOUS 7745 HAS SOUPS 7729 WITH SCORE 7764.1
AT ITER 91 NEW BEST:: SOT 36980 SOS 35100 HAS SOPS 35068 HAS SOUS 7736 HAS SOUPS 7720 WITH SCORE 7755.1
AT ITER 95 NEW BEST:: SOT 37090 SOS 35210 HAS SOPS 35178 HAS SOUS 7603 HAS SOUPS 7587 WITH SCORE 7622.21
AT ITER 99 NEW BEST:: SOT 37120 SOS 35240 HAS SOPS 35208 HAS SOUS 7577 HAS SOUPS 7561 WITH SCORE 7596.24
AT ITER 104 NEW BEST:: SOT 37096 SOS 35216 HAS SOPS 35184 HAS SOUS 7523 HAS SOUPS 7507 WITH SCORE 7542.216
AT ITER 105 NEW BEST:: SOT 37074 SOS 35194 HAS SOPS 35162 HAS SOUS 7522 HAS SOUPS 7506 WITH SCORE 7541.194
AT ITER 107 NEW BEST:: SOT 37315 SOS 35435 HAS SOPS 35403 HAS SOUS 7292 HAS SOUPS 7276 WITH SCORE 7311.435
AT ITER 112 NEW BEST:: SOT 37293 SOS 35413 HAS SOPS 35381 HAS SOUS 7243 HAS SOUPS 7227 WITH SCORE 7262.413
AT ITER 113 NEW BEST:: SOT 37431 SOS 35551 HAS SOPS 35519 HAS SOUS 7190 HAS SOUPS 7174 WITH SCORE 7209.551
AT ITER 115 NEW BEST:: SOT 37359 SOS 35479 HAS SOPS 35447 HAS SOUS 7087 HAS SOUPS 7071 WITH SCORE 7106.479
AT ITER 120 NEW BEST:: SOT 37338 SOS 35458 HAS SOPS 35426 HAS SOUS 6994 HAS SOUPS 6978 WITH SCORE 7013.458
AT ITER 127 NEW BEST:: SOT 37335 SOS 35455 HAS SOPS 35423 HAS SOUS 6989 HAS SOUPS 6973 WITH SCORE 7008.455
AT ITER 130 NEW BEST:: SOT 37115 SOS 35235 HAS SOPS 35203 HAS SOUS 6810 HAS SOUPS 6794 WITH SCORE 6829.235
AT ITER 133 NEW BEST:: SOT 37115 SOS 35235 HAS SOPS 35203 HAS SOUS 6808 HAS SOUPS 6792 WITH SCORE 6827.235
AT ITER 139 NEW BEST:: SOT 37107 SOS 35227 HAS SOPS 35201 HAS SOUS 6746 HAS SOUPS 6736 WITH SCORE 6771.227
AT ITER 143 NEW BEST:: SOT 37368 SOS 35488 HAS SOPS 35462 HAS SOUS 6711 HAS SOUPS 6701 WITH SCORE 6736.488
AT ITER 145 NEW BEST:: SOT 37336 SOS 35456 HAS SOPS 35430 HAS SOUS 6680 HAS SOUPS 6670 WITH SCORE 6705.456
AT ITER 149 NEW BEST:: SOT 37216 SOS 35336 HAS SOPS 35310 HAS SOUS 6502 HAS SOUPS 6492 WITH SCORE 6527.336
AT ITER 150 NEW BEST:: SOT 37228 SOS 35348 HAS SOPS 35322 HAS SOUS 6499 HAS SOUPS 6489 WITH SCORE 6524.348
AT ITER 152 NEW BEST:: SOT 37380 SOS 35500 HAS SOPS 35474 HAS SOUS 6153 HAS SOUPS 6143 WITH SCORE 6178.5
AT ITER 166 NEW BEST:: SOT 37368 SOS 35488 HAS SOPS 35462 HAS SOUS 6151 HAS SOUPS 6141 WITH SCORE 6176.488
AT ITER 168 NEW BEST:: SOT 37368 SOS 35530 HAS SOPS 35518 HAS SOUS 6147 HAS SOUPS 6139 WITH SCORE 6174.53
AT ITER 171 NEW BEST:: SOT 37366 SOS 35528 HAS SOPS 35516 HAS SOUS 6146 HAS SOUPS 6138 WITH SCORE 6173.528
AT ITER 173 NEW BEST:: SOT 37364 SOS 35526 HAS SOPS 35514 HAS SOUS 6146 HAS SOUPS 6138 WITH SCORE 6173.526
AT ITER 175 NEW BEST:: SOT 37364 SOS 35526 HAS SOPS 35514 HAS SOUS 6105 HAS SOUPS 6097 WITH SCORE 6132.526
AT ITER 180 NEW BEST:: SOT 37375 SOS 35537 HAS SOPS 35525 HAS SOUS 6089 HAS SOUPS 6081 WITH SCORE 6116.537
AT ITER 183 NEW BEST:: SOT 37435 SOS 35597 HAS SOPS 35585 HAS SOUS 6045 HAS SOUPS 6037 WITH SCORE 6072.597
AT ITER 186 NEW BEST:: SOT 37858 SOS 36020 HAS SOPS 36008 HAS SOUS 6003 HAS SOUPS 5995 WITH SCORE 6031.02
AT ITER 193 NEW BEST:: SOT 37362 SOS 35524 HAS SOPS 35512 HAS SOUS 5825 HAS SOUPS 5817 WITH SCORE 5852.524
AT ITER 194 NEW BEST:: SOT 37187 SOS 35349 HAS SOPS 35337 HAS SOUS 5820 HAS SOUPS 5812 WITH SCORE 5847.349
AT ITER 195 NEW BEST:: SOT 37181 SOS 35343 HAS SOPS 35331 HAS SOUS 5818 HAS SOUPS 5810 WITH SCORE 5845.343
AT ITER 197 NEW BEST:: SOT 37149 SOS 35311 HAS SOPS 35299 HAS SOUS 5809 HAS SOUPS 5801 WITH SCORE 5836.311
AT ITER 207 NEW BEST:: SOT 37258 SOS 35420 HAS SOPS 35408 HAS SOUS 5792 HAS SOUPS 5784 WITH SCORE 5819.42
AT ITER 212 NEW BEST:: SOT 37260 SOS 35422 HAS SOPS 35410 HAS SOUS 5791 HAS SOUPS 5783 WITH SCORE 5818.422
AT ITER 228 NEW BEST:: SOT 37282 SOS 35444 HAS SOPS 35432 HAS SOUS 5769 HAS SOUPS 5761 WITH SCORE 5796.444
AT ITER 241 NEW BEST:: SOT 37258 SOS 35420 HAS SOPS 35408 HAS SOUS 5763 HAS SOUPS 5755 WITH SCORE 5790.42
AT ITER 244 NEW BEST:: SOT 37250 SOS 35435 HAS SOPS 35428 HAS SOUS 5715 HAS SOUPS 5708 WITH SCORE 5743.435
AT ITER 245 NEW BEST:: SOT 37250 SOS 35435 HAS SOPS 35428 HAS SOUS 5670 HAS SOUPS 5663 WITH SCORE 5698.435
AT ITER 250 NEW BEST:: SOT 37030 SOS 35215 HAS SOPS 35208 HAS SOUS 5650 HAS SOUPS 5643 WITH SCORE 5678.215
AT ITER 251 NEW BEST:: SOT 37044 SOS 35229 HAS SOPS 35222 HAS SOUS 5611 HAS SOUPS 5604 WITH SCORE 5639.229
AT ITER 256 NEW BEST:: SOT 36262 SOS 34447 HAS SOPS 34440 HAS SOUS 5506 HAS SOUPS 5499 WITH SCORE 5533.447
AT ITER 261 NEW BEST:: SOT 36269 SOS 34454 HAS SOPS 34447 HAS SOUS 5494 HAS SOUPS 5487 WITH SCORE 5521.454
AT ITER 265 NEW BEST:: SOT 36189 SOS 34374 HAS SOPS 34367 HAS SOUS 5461 HAS SOUPS 5454 WITH SCORE 5488.374
AT ITER 266 NEW BEST:: SOT 36175 SOS 34360 HAS SOPS 34353 HAS SOUS 5443 HAS SOUPS 5436 WITH SCORE 5470.36
AT ITER 269 NEW BEST:: SOT 35723 SOS 33908 HAS SOPS 33901 HAS SOUS 5394 HAS SOUPS 5387 WITH SCORE 5420.908
AT ITER 275 NEW BEST:: SOT 35715 SOS 33900 HAS SOPS 33893 HAS SOUS 5372 HAS SOUPS 5365 WITH SCORE 5398.9
AT ITER 280 NEW BEST:: SOT 35703 SOS 33888 HAS SOPS 33881 HAS SOUS 5370 HAS SOUPS 5363 WITH SCORE 5396.888
AT ITER 283 NEW BEST:: SOT 35748 SOS 33933 HAS SOPS 33926 HAS SOUS 5337 HAS SOUPS 5330 WITH SCORE 5363.933
AT ITER 301 NEW BEST:: SOT 35793 SOS 33978 HAS SOPS 33971 HAS SOUS 5313 HAS SOUPS 5306 WITH SCORE 5339.978
AT ITER 324 NEW BEST:: SOT 35791 SOS 33976 HAS SOPS 33969 HAS SOUS 5311 HAS SOUPS 5304 WITH SCORE 5337.976
AT ITER 326 NEW BEST:: SOT 35334 SOS 33519 HAS SOPS 33512 HAS SOUS 5279 HAS SOUPS 5272 WITH SCORE 5305.519
AT ITER 341 NEW BEST:: SOT 35360 SOS 33545 HAS SOPS 33538 HAS SOUS 5277 HAS SOUPS 5270 WITH SCORE 5303.545
AT ITER 350 NEW BEST:: SOT 35346 SOS 33531 HAS SOPS 33524 HAS SOUS 5267 HAS SOUPS 5260 WITH SCORE 5293.531
AT ITER 360 NEW BEST:: SOT 35235 SOS 33420 HAS SOPS 33413 HAS SOUS 5164 HAS SOUPS 5157 WITH SCORE 5190.42
AT ITER 365 NEW BEST:: SOT 35235 SOS 33396 HAS SOPS 33389 HAS SOUS 5164 HAS SOUPS 5157 WITH SCORE 5190.396
AT ITER 371 NEW BEST:: SOT 35235 SOS 33396 HAS SOPS 33389 HAS SOUS 5161 HAS SOUPS 5154 WITH SCORE 5187.396
AT ITER 372 NEW BEST:: SOT 35249 SOS 33410 HAS SOPS 33403 HAS SOUS 5120 HAS SOUPS 5113 WITH SCORE 5146.41
AT ITER 373 NEW BEST:: SOT 35122 SOS 33283 HAS SOPS 33276 HAS SOUS 5116 HAS SOUPS 5109 WITH SCORE 5142.283
AT ITER 376 NEW BEST:: SOT 35122 SOS 33283 HAS SOPS 33276 HAS SOUS 5111 HAS SOUPS 5104 WITH SCORE 5137.283
AT ITER 377 NEW BEST:: SOT 34993 SOS 33154 HAS SOPS 33147 HAS SOUS 5052 HAS SOUPS 5045 WITH SCORE 5078.154
AT ITER 379 NEW BEST:: SOT 35324 SOS 33485 HAS SOPS 33478 HAS SOUS 4979 HAS SOUPS 4972 WITH SCORE 5005.485
AT ITER 385 NEW BEST:: SOT 35330 SOS 33491 HAS SOPS 33484 HAS SOUS 4978 HAS SOUPS 4971 WITH SCORE 5004.491
AT ITER 402 NEW BEST:: SOT 35346 SOS 33507 HAS SOPS 33500 HAS SOUS 4942 HAS SOUPS 4935 WITH SCORE 4968.507
AT ITER 413 NEW BEST:: SOT 35344 SOS 33505 HAS SOPS 33498 HAS SOUS 4937 HAS SOUPS 4930 WITH SCORE 4963.505
AT ITER 429 NEW BEST:: SOT 35342 SOS 33503 HAS SOPS 33496 HAS SOUS 4933 HAS SOUPS 4926 WITH SCORE 4959.503
AT ITER 456 NEW BEST:: SOT 35348 SOS 33509 HAS SOPS 33502 HAS SOUS 4929 HAS SOUPS 4922 WITH SCORE 4955.509
AT ITER 468 NEW BEST:: SOT 35347 SOS 33508 HAS SOPS 33501 HAS SOUS 4910 HAS SOUPS 4903 WITH SCORE 4936.508
AT ITER 484 NEW BEST:: SOT 35367 SOS 33528 HAS SOPS 33521 HAS SOUS 4897 HAS SOUPS 4890 WITH SCORE 4923.528
AT ITER 493 NEW BEST:: SOT 35325 SOS 33486 HAS SOPS 33479 HAS SOUS 4878 HAS SOUPS 4871 WITH SCORE 4904.486
AT ITER 498 NEW BEST:: SOT 35346 SOS 33507 HAS SOPS 33500 HAS SOUS 4843 HAS SOUPS 4836 WITH SCORE 4869.507
AT ITER 512 NEW BEST:: SOT 35306 SOS 33467 HAS SOPS 33460 HAS SOUS 4717 HAS SOUPS 4710 WITH SCORE 4743.467
AT ITER 515 NEW BEST:: SOT 35288 SOS 33449 HAS SOPS 33442 HAS SOUS 4689 HAS SOUPS 4682 WITH SCORE 4715.449
AT ITER 522 NEW BEST:: SOT 35288 SOS 33449 HAS SOPS 33442 HAS SOUS 4686 HAS SOUPS 4679 WITH SCORE 4712.449
AT ITER 529 NEW BEST:: SOT 35387 SOS 33548 HAS SOPS 33541 HAS SOUS 4685 HAS SOUPS 4678 WITH SCORE 4711.548
AT ITER 531 NEW BEST:: SOT 35250 SOS 33411 HAS SOPS 33404 HAS SOUS 4678 HAS SOUPS 4671 WITH SCORE 4704.411
AT ITER 541 NEW BEST:: SOT 35233 SOS 33382 HAS SOPS 33375 HAS SOUS 4676 HAS SOUPS 4669 WITH SCORE 4702.382
AT ITER 569 NEW BEST:: SOT 35235 SOS 29851 HAS SOPS 28937 HAS SOUS 4679 HAS SOUPS 4671 WITH SCORE 4700.851
AT ITER 601 NEW BEST:: SOT 35259 SOS 29875 HAS SOPS 28961 HAS SOUS 4498 HAS SOUPS 4490 WITH SCORE 4519.875
AT ITER 633 NEW BEST:: SOT 35262 SOS 29878 HAS SOPS 28964 HAS SOUS 4486 HAS SOUPS 4478 WITH SCORE 4507.878
AT ITER 650 NEW BEST:: SOT 35291 SOS 29907 HAS SOPS 28993 HAS SOUS 4438 HAS SOUPS 4430 WITH SCORE 4459.907
AT ITER 670 NEW BEST:: SOT 35291 SOS 29907 HAS SOPS 28993 HAS SOUS 4432 HAS SOUPS 4424 WITH SCORE 4453.907
AT ITER 697 NEW BEST:: SOT 35322 SOS 29938 HAS SOPS 29024 HAS SOUS 4420 HAS SOUPS 4412 WITH SCORE 4441.938
AT ITER 704 NEW BEST:: SOT 35322 SOS 29938 HAS SOPS 29024 HAS SOUS 4412 HAS SOUPS 4404 WITH SCORE 4433.938
AT ITER 747 NEW BEST:: SOT 35307 SOS 29923 HAS SOPS 29009 HAS SOUS 4402 HAS SOUPS 4394 WITH SCORE 4423.923
AT ITER 753 NEW BEST:: SOT 35371 SOS 29987 HAS SOPS 29073 HAS SOUS 4337 HAS SOUPS 4329 WITH SCORE 4358.987
AT ITER 763 NEW BEST:: SOT 35396 SOS 30012 HAS SOPS 29098 HAS SOUS 4329 HAS SOUPS 4321 WITH SCORE 4351.012
AT ITER 823 NEW BEST:: SOT 35356 SOS 29972 HAS SOPS 29058 HAS SOUS 4307 HAS SOUPS 4299 WITH SCORE 4328.972
AT ITER 869 NEW BEST:: SOT 35392 SOS 30022 HAS SOPS 29118 HAS SOUS 4303 HAS SOUPS 4295 WITH SCORE 4325.022
AT ITER 898 NEW BEST:: SOT 35392 SOS 31918 HAS SOPS 29098 HAS SOUS 4294 HAS SOUPS 4286 WITH SCORE 4317.918
AT ITER 902 NEW BEST:: SOT 35387 SOS 31913 HAS SOPS 30413 HAS SOUS 4286 HAS SOUPS 4283 WITH SCORE 4314.913
AT ITER 910 NEW BEST:: SOT 35328 SOS 31854 HAS SOPS 30354 HAS SOUS 4249 HAS SOUPS 4246 WITH SCORE 4277.854
AT ITER 942 NEW BEST:: SOT 35319 SOS 31845 HAS SOPS 30345 HAS SOUS 4242 HAS SOUPS 4239 WITH SCORE 4270.845
AT ITER 970 NEW BEST:: SOT 35315 SOS 31841 HAS SOPS 30341 HAS SOUS 4233 HAS SOUPS 4230 WITH SCORE 4261.841
AT ITER 975 NEW BEST:: SOT 35315 SOS 31841 HAS SOPS 30341 HAS SOUS 4230 HAS SOUPS 4227 WITH SCORE 4258.841
AT ITER 977 NEW BEST:: SOT 35537 SOS 32063 HAS SOPS 30563 HAS SOUS 4213 HAS SOUPS 4210 WITH SCORE 4242.063
AT ITER 988 NEW BEST:: SOT 35539 SOS 32065 HAS SOPS 30565 HAS SOUS 4206 HAS SOUPS 4203 WITH SCORE 4235.065
AT ITER 1023 NEW BEST:: SOT 35539 SOS 32041 HAS SOPS 30541 HAS SOUS 4206 HAS SOUPS 4203 WITH SCORE 4235.041
AT ITER 1073 NEW BEST:: SOT 35506 SOS 32008 HAS SOPS 30508 HAS SOUS 4206 HAS SOUPS 4203 WITH SCORE 4235.008
AT ITER 1096 NEW BEST:: SOT 35506 SOS 31968 HAS SOPS 30468 HAS SOUS 4206 HAS SOUPS 4203 WITH SCORE 4234.968
AT ITER 1115 NEW BEST:: SOT 35507 SOS 30538 HAS SOPS 30537 HAS SOUS 4205 HAS SOUPS 4204 WITH SCORE 4234.538
AT ITER 1141 NEW BEST:: SOT 35507 SOS 30538 HAS SOPS 30537 HAS SOUS 4199 HAS SOUPS 4198 WITH SCORE 4228.538
AT ITER 1179 NEW BEST:: SOT 35507 SOS 30502 HAS SOPS 30501 HAS SOUS 4199 HAS SOUPS 4198 WITH SCORE 4228.502
AT ITER 1187 NEW BEST:: SOT 35511 SOS 30506 HAS SOPS 30505 HAS SOUS 4197 HAS SOUPS 4196 WITH SCORE 4226.506
AT ITER 1189 NEW BEST:: SOT 35458 SOS 30453 HAS SOPS 30452 HAS SOUS 4136 HAS SOUPS 4135 WITH SCORE 4165.453
AT ITER 1227 NEW BEST:: SOT 35456 SOS 30451 HAS SOPS 30450 HAS SOUS 4136 HAS SOUPS 4135 WITH SCORE 4165.451
AT ITER 1238 NEW BEST:: SOT 35418 SOS 30413 HAS SOPS 30412 HAS SOUS 4076 HAS SOUPS 4075 WITH SCORE 4105.413
AT ITER 1254 NEW BEST:: SOT 35416 SOS 30411 HAS SOPS 30410 HAS SOUS 4074 HAS SOUPS 4073 WITH SCORE 4103.411
AT ITER 1304 NEW BEST:: SOT 35365 SOS 30360 HAS SOPS 30359 HAS SOUS 4054 HAS SOUPS 4053 WITH SCORE 4083.36
AT ITER 1317 NEW BEST:: SOT 35365 SOS 30320 HAS SOPS 30319 HAS SOUS 4054 HAS SOUPS 4053 WITH SCORE 4083.32
AT ITER 1319 NEW BEST:: SOT 35198 SOS 30153 HAS SOPS 30152 HAS SOUS 4048 HAS SOUPS 4047 WITH SCORE 4077.153
AT ITER 1323 NEW BEST:: SOT 35164 SOS 30119 HAS SOPS 30118 HAS SOUS 3913 HAS SOUPS 3912 WITH SCORE 3942.119
AT ITER 1338 NEW BEST:: SOT 35198 SOS 30153 HAS SOPS 30152 HAS SOUS 3900 HAS SOUPS 3899 WITH SCORE 3929.153
AT ITER 1344 NEW BEST:: SOT 34963 SOS 29918 HAS SOPS 29917 HAS SOUS 3862 HAS SOUPS 3861 WITH SCORE 3890.918
AT ITER 1356 NEW BEST:: SOT 34963 SOS 29906 HAS SOPS 29905 HAS SOUS 3862 HAS SOUPS 3861 WITH SCORE 3890.906
AT ITER 1358 NEW BEST:: SOT 35057 SOS 30000 HAS SOPS 29999 HAS SOUS 3836 HAS SOUPS 3835 WITH SCORE 3865.0
AT ITER 1361 NEW BEST:: SOT 34995 SOS 29938 HAS SOPS 29937 HAS SOUS 3806 HAS SOUPS 3805 WITH SCORE 3834.938
AT ITER 1410 NEW BEST:: SOT 34988 SOS 29931 HAS SOPS 29930 HAS SOUS 3806 HAS SOUPS 3805 WITH SCORE 3834.931
AT ITER 1420 NEW BEST:: SOT 34954 SOS 29897 HAS SOPS 29896 HAS SOUS 3802 HAS SOUPS 3801 WITH SCORE 3830.897
AT ITER 1426 NEW BEST:: SOT 34944 SOS 29887 HAS SOPS 29886 HAS SOUS 3789 HAS SOUPS 3788 WITH SCORE 3817.887
AT ITER 1481 NEW BEST:: SOT 34928 SOS 29871 HAS SOPS 29870 HAS SOUS 3760 HAS SOUPS 3759 WITH SCORE 3788.871
AT ITER 1537 NEW BEST:: SOT 34952 SOS 29895 HAS SOPS 29894 HAS SOUS 3735 HAS SOUPS 3734 WITH SCORE 3763.895
AT ITER 1548 NEW BEST:: SOT 34955 SOS 29898 HAS SOPS 29897 HAS SOUS 3731 HAS SOUPS 3730 WITH SCORE 3759.898
AT ITER 1558 NEW BEST:: SOT 34955 SOS 29814 HAS SOPS 29813 HAS SOUS 3731 HAS SOUPS 3730 WITH SCORE 3759.814
AT ITER 1565 NEW BEST:: SOT 34955 SOS 29790 HAS SOPS 29789 HAS SOUS 3731 HAS SOUPS 3730 WITH SCORE 3759.79
AT ITER 1672 NEW BEST:: SOT 34978 SOS 29813 HAS SOPS 29812 HAS SOUS 3673 HAS SOUPS 3672 WITH SCORE 3701.813
AT ITER 1730 NEW BEST:: SOT 34976 SOS 29811 HAS SOPS 29810 HAS SOUS 3659 HAS SOUPS 3658 WITH SCORE 3687.811
AT ITER 1752 NEW BEST:: SOT 34836 SOS 29653 HAS SOPS 29646 HAS SOUS 3634 HAS SOUPS 3632 WITH SCORE 3661.653
AT ITER 1778 NEW BEST:: SOT 34838 SOS 29673 HAS SOPS 29672 HAS SOUS 3624 HAS SOUPS 3623 WITH SCORE 3652.673
AT ITER 1808 NEW BEST:: SOT 34837 SOS 29756 HAS SOPS 29755 HAS SOUS 3623 HAS SOUPS 3622 WITH SCORE 3651.756
AT ITER 1823 NEW BEST:: SOT 34837 SOS 29756 HAS SOPS 29755 HAS SOUS 3614 HAS SOUPS 3613 WITH SCORE 3642.756
AT ITER 1836 NEW BEST:: SOT 34825 SOS 29744 HAS SOPS 29743 HAS SOUS 3608 HAS SOUPS 3607 WITH SCORE 3636.744
AT ITER 1839 NEW BEST:: SOT 34831 SOS 29750 HAS SOPS 29749 HAS SOUS 3588 HAS SOUPS 3587 WITH SCORE 3616.75
AT ITER 1910 NEW BEST:: SOT 34831 SOS 29666 HAS SOPS 29665 HAS SOUS 3588 HAS SOUPS 3587 WITH SCORE 3616.666
AT ITER 1946 NEW BEST:: SOT 34831 SOS 29654 HAS SOPS 29653 HAS SOUS 3588 HAS SOUPS 3587 WITH SCORE 3616.654
AT ITER 1950 NEW BEST:: SOT 34833 SOS 29656 HAS SOPS 29655 HAS SOUS 3571 HAS SOUPS 3570 WITH SCORE 3599.656
AT ITER 1973 NEW BEST:: SOT 34825 SOS 29648 HAS SOPS 29647 HAS SOUS 3571 HAS SOUPS 3570 WITH SCORE 3599.648
AT ITER 2038 NEW BEST:: SOT 34825 SOS 29732 HAS SOPS 29731 HAS SOUS 3551 HAS SOUPS 3550 WITH SCORE 3579.732
AT ITER 2057 NEW BEST:: SOT 34811 SOS 29718 HAS SOPS 29717 HAS SOUS 3544 HAS SOUPS 3543 WITH SCORE 3572.718
AT ITER 2079 NEW BEST:: SOT 34811 SOS 29634 HAS SOPS 29633 HAS SOUS 3544 HAS SOUPS 3543 WITH SCORE 3572.634
AT ITER 2084 NEW BEST:: SOT 34767 SOS 29590 HAS SOPS 29589 HAS SOUS 3534 HAS SOUPS 3533 WITH SCORE 3562.59
AT ITER 2196 NEW BEST:: SOT 34767 SOS 29566 HAS SOPS 29565 HAS SOUS 3534 HAS SOUPS 3533 WITH SCORE 3562.566
AT ITER 2272 NEW BEST:: SOT 34737 SOS 29536 HAS SOPS 29535 HAS SOUS 3492 HAS SOUPS 3491 WITH SCORE 3520.536
AT ITER 2369 NEW BEST:: SOT 34733 SOS 29532 HAS SOPS 29531 HAS SOUS 3484 HAS SOUPS 3483 WITH SCORE 3512.532
AT ITER 2419 NEW BEST:: SOT 34741 SOS 29540 HAS SOPS 29539 HAS SOUS 3481 HAS SOUPS 3480 WITH SCORE 3509.54
AT ITER 2468 NEW BEST:: SOT 34741 SOS 29540 HAS SOPS 29539 HAS SOUS 3468 HAS SOUPS 3467 WITH SCORE 3496.54
AT ITER 2499 NEW BEST:: SOT 34736 SOS 29535 HAS SOPS 29534 HAS SOUS 3462 HAS SOUPS 3461 WITH SCORE 3490.535
AT ITER 2518 NEW BEST:: SOT 34736 SOS 29535 HAS SOPS 29534 HAS SOUS 3459 HAS SOUPS 3458 WITH SCORE 3487.535
AT ITER 2588 NEW BEST:: SOT 34736 SOS 29527 HAS SOPS 29526 HAS SOUS 3459 HAS SOUPS 3458 WITH SCORE 3487.527
AT ITER 2770 NEW BEST:: SOT 34734 SOS 29525 HAS SOPS 29524 HAS SOUS 3423 HAS SOUPS 3422 WITH SCORE 3451.525
AT ITER 2777 NEW BEST:: SOT 34734 SOS 29525 HAS SOPS 29524 HAS SOUS 3422 HAS SOUPS 3421 WITH SCORE 3450.525
AT ITER 2798 NEW BEST:: SOT 34734 SOS 29513 HAS SOPS 29512 HAS SOUS 3422 HAS SOUPS 3421 WITH SCORE 3450.513
AT ITER 2849 NEW BEST:: SOT 34722 SOS 29501 HAS SOPS 29500 HAS SOUS 3406 HAS SOUPS 3405 WITH SCORE 3434.501
AT ITER 2912 NEW BEST:: SOT 34712 SOS 29491 HAS SOPS 29490 HAS SOUS 3394 HAS SOUPS 3393 WITH SCORE 3422.491
AT ITER 2918 NEW BEST:: SOT 34712 SOS 29475 HAS SOPS 29474 HAS SOUS 3394 HAS SOUPS 3393 WITH SCORE 3422.475
AT ITER 2920 NEW BEST:: SOT 34604 SOS 29367 HAS SOPS 29366 HAS SOUS 3373 HAS SOUPS 3372 WITH SCORE 3401.367
AT ITER 3000 NEW BEST:: SOT 34595 SOS 29358 HAS SOPS 29357 HAS SOUS 3373 HAS SOUPS 3372 WITH SCORE 3401.358
AT ITER 3005 NEW BEST:: SOT 34587 SOS 29350 HAS SOPS 29349 HAS SOUS 3362 HAS SOUPS 3361 WITH SCORE 3390.35
AT ITER 3021 NEW BEST:: SOT 34605 SOS 29368 HAS SOPS 29367 HAS SOUS 3359 HAS SOUPS 3358 WITH SCORE 3387.368
AT ITER 3140 NEW BEST:: SOT 34585 SOS 29348 HAS SOPS 29347 HAS SOUS 3333 HAS SOUPS 3332 WITH SCORE 3361.348
AT ITER 3148 NEW BEST:: SOT 34557 SOS 29320 HAS SOPS 29319 HAS SOUS 3328 HAS SOUPS 3327 WITH SCORE 3356.32
AT ITER 3228 NEW BEST:: SOT 34503 SOS 29266 HAS SOPS 29265 HAS SOUS 3319 HAS SOUPS 3318 WITH SCORE 3347.266
AT ITER 3239 NEW BEST:: SOT 34488 SOS 29251 HAS SOPS 29250 HAS SOUS 3316 HAS SOUPS 3315 WITH SCORE 3344.251
AT ITER 3276 NEW BEST:: SOT 34490 SOS 29253 HAS SOPS 29252 HAS SOUS 3313 HAS SOUPS 3312 WITH SCORE 3341.253
AT ITER 3380 NEW BEST:: SOT 34488 SOS 29251 HAS SOPS 29250 HAS SOUS 3308 HAS SOUPS 3307 WITH SCORE 3336.251
AT ITER 3385 NEW BEST:: SOT 34460 SOS 29223 HAS SOPS 29222 HAS SOUS 3308 HAS SOUPS 3307 WITH SCORE 3336.223
AT ITER 3480 NEW BEST:: SOT 34539 SOS 29302 HAS SOPS 29301 HAS SOUS 3300 HAS SOUPS 3299 WITH SCORE 3328.302
AT ITER 3502 NEW BEST:: SOT 34531 SOS 29294 HAS SOPS 29293 HAS SOUS 3286 HAS SOUPS 3285 WITH SCORE 3314.294
AT ITER 3548 NEW BEST:: SOT 34531 SOS 29286 HAS SOPS 29285 HAS SOUS 3286 HAS SOUPS 3285 WITH SCORE 3314.286
AT ITER 3636 NEW BEST:: SOT 34516 SOS 29271 HAS SOPS 29270 HAS SOUS 3272 HAS SOUPS 3271 WITH SCORE 3300.271
AT ITER 3669 NEW BEST:: SOT 34432 SOS 29187 HAS SOPS 29186 HAS SOUS 3229 HAS SOUPS 3228 WITH SCORE 3257.187
AT ITER 3801 NEW BEST:: SOT 34412 SOS 29167 HAS SOPS 29166 HAS SOUS 3224 HAS SOUPS 3223 WITH SCORE 3252.167
AT ITER 3825 NEW BEST:: SOT 34440 SOS 29195 HAS SOPS 29194 HAS SOUS 3212 HAS SOUPS 3211 WITH SCORE 3240.195
AT ITER 3931 NEW BEST:: SOT 34440 SOS 29195 HAS SOPS 29194 HAS SOUS 3200 HAS SOUPS 3199 WITH SCORE 3228.195
AT ITER 3944 NEW BEST:: SOT 34427 SOS 29182 HAS SOPS 29181 HAS SOUS 3197 HAS SOUPS 3196 WITH SCORE 3225.182
AT ITER 4002 NEW BEST:: SOT 34419 SOS 29174 HAS SOPS 29173 HAS SOUS 3181 HAS SOUPS 3180 WITH SCORE 3209.174
AT ITER 4049 NEW BEST:: SOT 34431 SOS 29186 HAS SOPS 29185 HAS SOUS 3177 HAS SOUPS 3176 WITH SCORE 3205.186
AT ITER 4206 NEW BEST:: SOT 34437 SOS 29192 HAS SOPS 29191 HAS SOUS 3169 HAS SOUPS 3168 WITH SCORE 3197.192
AT ITER 4216 NEW BEST:: SOT 34422 SOS 29177 HAS SOPS 29176 HAS SOUS 3149 HAS SOUPS 3148 WITH SCORE 3177.177
AT ITER 4290 NEW BEST:: SOT 34421 SOS 29669 HAS SOPS 29153 HAS SOUS 3148 HAS SOUPS 3147 WITH SCORE 3176.669
AT ITER 4725 NEW BEST:: SOT 34421 SOS 29661 HAS SOPS 29145 HAS SOUS 3148 HAS SOUPS 3147 WITH SCORE 3176.661
AT ITER 4930 NEW BEST:: SOT 34421 SOS 29661 HAS SOPS 29145 HAS SOUS 3146 HAS SOUPS 3145 WITH SCORE 3174.661
AT ITER 4965 NEW BEST:: SOT 34401 SOS 29641 HAS SOPS 29125 HAS SOUS 3139 HAS SOUPS 3138 WITH SCORE 3167.641
AT ITER 5151 NEW BEST:: SOT 34369 SOS 29609 HAS SOPS 29093 HAS SOUS 3120 HAS SOUPS 3119 WITH SCORE 3148.609
AT ITER 5717 NEW BEST:: SOT 34368 SOS 30125 HAS SOPS 30124 HAS SOUS 3119 HAS SOUPS 3118 WITH SCORE 3148.125
AT ITER 6150 NEW BEST:: SOT 34328 SOS 30085 HAS SOPS 30084 HAS SOUS 3119 HAS SOUPS 3118 WITH SCORE 3148.085
AT ITER 6186 NEW BEST:: SOT 34326 SOS 30083 HAS SOPS 30082 HAS SOUS 3106 HAS SOUPS 3105 WITH SCORE 3135.083
AT ITER 6691 NEW BEST:: SOT 34322 SOS 30079 HAS SOPS 30078 HAS SOUS 3105 HAS SOUPS 3104 WITH SCORE 3134.079
AT ITER 6764 NEW BEST:: SOT 34314 SOS 30071 HAS SOPS 30070 HAS SOUS 3092 HAS SOUPS 3091 WITH SCORE 3121.071
AT ITER 7169 NEW BEST:: SOT 34314 SOS 30071 HAS SOPS 30070 HAS SOUS 3075 HAS SOUPS 3074 WITH SCORE 3104.071
AT ITER 7586 NEW BEST:: SOT 34314 SOS 30071 HAS SOPS 30070 HAS SOUS 3074 HAS SOUPS 3073 WITH SCORE 3103.071
AT ITER 7720 NEW BEST:: SOT 34299 SOS 30056 HAS SOPS 30055 HAS SOUS 3060 HAS SOUPS 3059 WITH SCORE 3089.056
AT ITER 8235 NEW BEST:: SOT 34284 SOS 30041 HAS SOPS 30040 HAS SOUS 3042 HAS SOUPS 3041 WITH SCORE 3071.041
AT ITER 8419 NEW BEST:: SOT 34276 SOS 30033 HAS SOPS 30032 HAS SOUS 3028 HAS SOUPS 3027 WITH SCORE 3057.033
AT ITER 8840 NEW BEST:: SOT 34270 SOS 30027 HAS SOPS 30026 HAS SOUS 3018 HAS SOUPS 3017 WITH SCORE 3047.027
AT ITER 9317 NEW BEST:: SOT 34269 SOS 30567 HAS SOPS 30003 HAS SOUS 3017 HAS SOUPS 3016 WITH SCORE 3046.567

BK_STOP 1679440288248

--------------------
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
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 480 Killed ${SMART}/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="PhaseVariation-PT-D05CS010"
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 PhaseVariation-PT-D05CS010, 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 r299-tall-167873952400024"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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