fond

jQuery Multi Level CSS Menu Css3Menu.com

Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r203-smll-167840349300280
Last Updated
May 14, 2023

About the Execution of Smart+red for HealthRecord-PT-06

Execution Summary
Max Memory
Used (MB)		 Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
1960.680 229540.00 238557.00 1141.20 5.0515E+0008 7.7452E+0009 1 10 normal

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.r203-smll-167840349300280.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 HealthRecord-PT-06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r203-smll-167840349300280
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 484K
-rw-r--r-- 1 mcc users 7.8K Feb 26 18:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 89K Feb 26 18:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.4K Feb 26 18:06 CTLFireability.txt
-rw-r--r-- 1 mcc users 38K Feb 26 18:06 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:13 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:13 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:13 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:13 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 18:12 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 114K Feb 26 18:12 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.6K Feb 26 18:11 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 26 18:11 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:13 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 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 1678577977016

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=HealthRecord-PT-06
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-11 23:39:39] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-11 23:39:39] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-11 23:39:40] [INFO ] Load time of PNML (sax parser for PT used): 91 ms
[2023-03-11 23:39:40] [INFO ] Transformed 154 places.
[2023-03-11 23:39:40] [INFO ] Transformed 319 transitions.
[2023-03-11 23:39:40] [INFO ] Found NUPN structural information;
[2023-03-11 23:39:40] [INFO ] Parsed PT model containing 154 places and 319 transitions and 835 arcs in 203 ms.
[2023-03-11 23:39:40] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 154 places, 319 transitions and 835 arcs took 8 ms.
Total runtime 256 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HealthRecord (PT), instance 06
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: 154 places, 319 transitions, 835 arcs.
AT ITER 0 NEW BEST:: SOT 34402 SOS 19544 HAS SOPS 19522 HAS SOUS 11405 HAS SOUPS 11392 WITH SCORE 11411.544
AT ITER 1 NEW BEST:: SOT 34402 SOS 19539 HAS SOPS 19517 HAS SOUS 11405 HAS SOUPS 11392 WITH SCORE 11411.539
AT ITER 4 NEW BEST:: SOT 34210 SOS 19291 HAS SOPS 19269 HAS SOUS 11356 HAS SOUPS 11343 WITH SCORE 11362.291
AT ITER 6 NEW BEST:: SOT 34158 SOS 19238 HAS SOPS 19216 HAS SOUS 11329 HAS SOUPS 11316 WITH SCORE 11335.238
AT ITER 9 NEW BEST:: SOT 34108 SOS 19138 HAS SOPS 19116 HAS SOUS 11304 HAS SOUPS 11291 WITH SCORE 11310.138
AT ITER 10 NEW BEST:: SOT 33042 SOS 19204 HAS SOPS 19182 HAS SOUS 11161 HAS SOUPS 11148 WITH SCORE 11167.204
AT ITER 11 NEW BEST:: SOT 33042 SOS 19134 HAS SOPS 19112 HAS SOUS 10990 HAS SOUPS 10977 WITH SCORE 10996.134
AT ITER 13 NEW BEST:: SOT 32070 SOS 18662 HAS SOPS 18640 HAS SOUS 10476 HAS SOUPS 10463 WITH SCORE 10481.662
AT ITER 14 NEW BEST:: SOT 30906 SOS 18098 HAS SOPS 18076 HAS SOUS 9421 HAS SOUPS 9408 WITH SCORE 9426.098
AT ITER 15 NEW BEST:: SOT 30900 SOS 18083 HAS SOPS 18061 HAS SOUS 9418 HAS SOUPS 9405 WITH SCORE 9423.083
AT ITER 16 NEW BEST:: SOT 30100 SOS 17594 HAS SOPS 17572 HAS SOUS 8618 HAS SOUPS 8605 WITH SCORE 8622.594
AT ITER 20 NEW BEST:: SOT 29327 SOS 17245 HAS SOPS 17223 HAS SOUS 8469 HAS SOUPS 8456 WITH SCORE 8473.245
AT ITER 23 NEW BEST:: SOT 29320 SOS 17260 HAS SOPS 17238 HAS SOUS 8455 HAS SOUPS 8442 WITH SCORE 8459.26
AT ITER 25 NEW BEST:: SOT 29272 SOS 17162 HAS SOPS 17140 HAS SOUS 8367 HAS SOUPS 8354 WITH SCORE 8371.162
AT ITER 32 NEW BEST:: SOT 29341 SOS 17156 HAS SOPS 17134 HAS SOUS 8364 HAS SOUPS 8351 WITH SCORE 8368.156
AT ITER 37 NEW BEST:: SOT 29290 SOS 17030 HAS SOPS 17008 HAS SOUS 8177 HAS SOUPS 8164 WITH SCORE 8181.03
AT ITER 40 NEW BEST:: SOT 29502 SOS 16695 HAS SOPS 16673 HAS SOUS 8141 HAS SOUPS 8128 WITH SCORE 8144.695
AT ITER 42 NEW BEST:: SOT 29514 SOS 16586 HAS SOPS 16564 HAS SOUS 8130 HAS SOUPS 8117 WITH SCORE 8133.586
AT ITER 46 NEW BEST:: SOT 29572 SOS 16584 HAS SOPS 16562 HAS SOUS 7989 HAS SOUPS 7976 WITH SCORE 7992.584
AT ITER 47 NEW BEST:: SOT 29571 SOS 16583 HAS SOPS 16561 HAS SOUS 7989 HAS SOUPS 7976 WITH SCORE 7992.583
AT ITER 50 NEW BEST:: SOT 29461 SOS 16730 HAS SOPS 16708 HAS SOUS 7931 HAS SOUPS 7918 WITH SCORE 7934.73
AT ITER 51 NEW BEST:: SOT 29246 SOS 16187 HAS SOPS 16165 HAS SOUS 7806 HAS SOUPS 7793 WITH SCORE 7809.187
AT ITER 59 NEW BEST:: SOT 29222 SOS 15702 HAS SOPS 15680 HAS SOUS 7787 HAS SOUPS 7774 WITH SCORE 7789.702
AT ITER 60 NEW BEST:: SOT 29219 SOS 15699 HAS SOPS 15677 HAS SOUS 7784 HAS SOUPS 7771 WITH SCORE 7786.699
AT ITER 63 NEW BEST:: SOT 29203 SOS 15684 HAS SOPS 15662 HAS SOUS 7776 HAS SOUPS 7763 WITH SCORE 7778.684
AT ITER 65 NEW BEST:: SOT 29018 SOS 16679 HAS SOPS 16657 HAS SOUS 7657 HAS SOUPS 7644 WITH SCORE 7660.679
AT ITER 76 NEW BEST:: SOT 28918 SOS 16544 HAS SOPS 16522 HAS SOUS 7479 HAS SOUPS 7466 WITH SCORE 7482.544
AT ITER 79 NEW BEST:: SOT 28760 SOS 16175 HAS SOPS 16153 HAS SOUS 7374 HAS SOUPS 7361 WITH SCORE 7377.175
AT ITER 84 NEW BEST:: SOT 28654 SOS 16014 HAS SOPS 15992 HAS SOUS 7312 HAS SOUPS 7299 WITH SCORE 7315.014
AT ITER 87 NEW BEST:: SOT 28725 SOS 16088 HAS SOPS 16066 HAS SOUS 7310 HAS SOUPS 7297 WITH SCORE 7313.088
AT ITER 91 NEW BEST:: SOT 27496 SOS 15430 HAS SOPS 15408 HAS SOUS 6532 HAS SOUPS 6519 WITH SCORE 6534.43
AT ITER 92 NEW BEST:: SOT 27494 SOS 15428 HAS SOPS 15406 HAS SOUS 6529 HAS SOUPS 6516 WITH SCORE 6531.428
AT ITER 95 NEW BEST:: SOT 27488 SOS 15437 HAS SOPS 15415 HAS SOUS 6515 HAS SOUPS 6502 WITH SCORE 6517.437
AT ITER 100 NEW BEST:: SOT 27478 SOS 15485 HAS SOPS 15463 HAS SOUS 6370 HAS SOUPS 6357 WITH SCORE 6372.485
AT ITER 106 NEW BEST:: SOT 27478 SOS 15485 HAS SOPS 15463 HAS SOUS 6348 HAS SOUPS 6335 WITH SCORE 6350.485
AT ITER 108 NEW BEST:: SOT 27443 SOS 15469 HAS SOPS 15447 HAS SOUS 6299 HAS SOUPS 6286 WITH SCORE 6301.469
AT ITER 109 NEW BEST:: SOT 27435 SOS 15477 HAS SOPS 15455 HAS SOUS 6284 HAS SOUPS 6271 WITH SCORE 6286.477
AT ITER 118 NEW BEST:: SOT 27266 SOS 15620 HAS SOPS 15598 HAS SOUS 6215 HAS SOUPS 6202 WITH SCORE 6217.62
AT ITER 119 NEW BEST:: SOT 27262 SOS 15616 HAS SOPS 15594 HAS SOUS 6207 HAS SOUPS 6194 WITH SCORE 6209.616
AT ITER 122 NEW BEST:: SOT 26857 SOS 15691 HAS SOPS 15669 HAS SOUS 6092 HAS SOUPS 6079 WITH SCORE 6094.691
AT ITER 126 NEW BEST:: SOT 26869 SOS 15734 HAS SOPS 15712 HAS SOUS 6079 HAS SOUPS 6066 WITH SCORE 6081.734
AT ITER 130 NEW BEST:: SOT 26835 SOS 15700 HAS SOPS 15678 HAS SOUS 6040 HAS SOUPS 6027 WITH SCORE 6042.7
AT ITER 134 NEW BEST:: SOT 26834 SOS 15699 HAS SOPS 15677 HAS SOUS 6005 HAS SOUPS 5992 WITH SCORE 6007.699
AT ITER 141 NEW BEST:: SOT 26764 SOS 15520 HAS SOPS 15498 HAS SOUS 5925 HAS SOUPS 5912 WITH SCORE 5927.52
AT ITER 153 NEW BEST:: SOT 26744 SOS 15490 HAS SOPS 15468 HAS SOUS 5925 HAS SOUPS 5912 WITH SCORE 5927.49
AT ITER 158 NEW BEST:: SOT 26712 SOS 15618 HAS SOPS 15596 HAS SOUS 5881 HAS SOUPS 5868 WITH SCORE 5883.618
AT ITER 166 NEW BEST:: SOT 26584 SOS 15362 HAS SOPS 15340 HAS SOUS 5746 HAS SOUPS 5733 WITH SCORE 5748.362
AT ITER 168 NEW BEST:: SOT 26559 SOS 15337 HAS SOPS 15315 HAS SOUS 5738 HAS SOUPS 5725 WITH SCORE 5740.337
AT ITER 169 NEW BEST:: SOT 26559 SOS 15329 HAS SOPS 15307 HAS SOUS 5730 HAS SOUPS 5717 WITH SCORE 5732.329
AT ITER 170 NEW BEST:: SOT 26555 SOS 15325 HAS SOPS 15303 HAS SOUS 5726 HAS SOUPS 5713 WITH SCORE 5728.325
AT ITER 171 NEW BEST:: SOT 26555 SOS 15325 HAS SOPS 15303 HAS SOUS 5712 HAS SOUPS 5699 WITH SCORE 5714.325
AT ITER 172 NEW BEST:: SOT 26502 SOS 15272 HAS SOPS 15250 HAS SOUS 5659 HAS SOUPS 5646 WITH SCORE 5661.272
AT ITER 176 NEW BEST:: SOT 26215 SOS 15562 HAS SOPS 15540 HAS SOUS 5348 HAS SOUPS 5335 WITH SCORE 5350.562
AT ITER 185 NEW BEST:: SOT 26175 SOS 15522 HAS SOPS 15500 HAS SOUS 5318 HAS SOUPS 5305 WITH SCORE 5320.522
AT ITER 186 NEW BEST:: SOT 26154 SOS 15494 HAS SOPS 15472 HAS SOUS 5304 HAS SOUPS 5291 WITH SCORE 5306.494
AT ITER 187 NEW BEST:: SOT 26137 SOS 15443 HAS SOPS 15421 HAS SOUS 5270 HAS SOUPS 5257 WITH SCORE 5272.443
AT ITER 188 NEW BEST:: SOT 26137 SOS 15445 HAS SOPS 15423 HAS SOUS 5269 HAS SOUPS 5256 WITH SCORE 5271.445
AT ITER 195 NEW BEST:: SOT 26133 SOS 15437 HAS SOPS 15415 HAS SOUS 5261 HAS SOUPS 5248 WITH SCORE 5263.437
AT ITER 198 NEW BEST:: SOT 26062 SOS 15325 HAS SOPS 15303 HAS SOUS 5240 HAS SOUPS 5227 WITH SCORE 5242.325
AT ITER 201 NEW BEST:: SOT 26062 SOS 15220 HAS SOPS 15198 HAS SOUS 5240 HAS SOUPS 5227 WITH SCORE 5242.22
AT ITER 208 NEW BEST:: SOT 26151 SOS 15372 HAS SOPS 15350 HAS SOUS 5236 HAS SOUPS 5223 WITH SCORE 5238.372
AT ITER 210 NEW BEST:: SOT 26135 SOS 15329 HAS SOPS 15307 HAS SOUS 5220 HAS SOUPS 5207 WITH SCORE 5222.329
AT ITER 221 NEW BEST:: SOT 26134 SOS 15328 HAS SOPS 15306 HAS SOUS 5220 HAS SOUPS 5207 WITH SCORE 5222.328
AT ITER 228 NEW BEST:: SOT 26160 SOS 15380 HAS SOPS 15358 HAS SOUS 5194 HAS SOUPS 5181 WITH SCORE 5196.38
AT ITER 246 NEW BEST:: SOT 26162 SOS 15382 HAS SOPS 15360 HAS SOUS 5193 HAS SOUPS 5180 WITH SCORE 5195.382
AT ITER 251 NEW BEST:: SOT 26019 SOS 15377 HAS SOPS 15355 HAS SOUS 5172 HAS SOUPS 5159 WITH SCORE 5174.377
AT ITER 258 NEW BEST:: SOT 26017 SOS 15376 HAS SOPS 15354 HAS SOUS 5170 HAS SOUPS 5157 WITH SCORE 5172.376
AT ITER 262 NEW BEST:: SOT 26000 SOS 15534 HAS SOPS 15512 HAS SOUS 5130 HAS SOUPS 5117 WITH SCORE 5132.534
AT ITER 278 NEW BEST:: SOT 26009 SOS 15543 HAS SOPS 15521 HAS SOUS 5126 HAS SOUPS 5113 WITH SCORE 5128.543
AT ITER 280 NEW BEST:: SOT 26001 SOS 15535 HAS SOPS 15513 HAS SOUS 5101 HAS SOUPS 5088 WITH SCORE 5103.535
AT ITER 286 NEW BEST:: SOT 25991 SOS 15525 HAS SOPS 15503 HAS SOUS 5081 HAS SOUPS 5068 WITH SCORE 5083.525
AT ITER 288 NEW BEST:: SOT 25937 SOS 15451 HAS SOPS 15429 HAS SOUS 5054 HAS SOUPS 5041 WITH SCORE 5056.451
AT ITER 289 NEW BEST:: SOT 25888 SOS 15340 HAS SOPS 15318 HAS SOUS 5042 HAS SOUPS 5029 WITH SCORE 5044.34
AT ITER 293 NEW BEST:: SOT 25749 SOS 16392 HAS SOPS 16370 HAS SOUS 4864 HAS SOUPS 4851 WITH SCORE 4867.392
AT ITER 299 NEW BEST:: SOT 25739 SOS 16372 HAS SOPS 16350 HAS SOUS 4856 HAS SOUPS 4843 WITH SCORE 4859.372
AT ITER 312 NEW BEST:: SOT 25687 SOS 16242 HAS SOPS 16220 HAS SOUS 4795 HAS SOUPS 4782 WITH SCORE 4798.242
AT ITER 318 NEW BEST:: SOT 25696 SOS 16256 HAS SOPS 16234 HAS SOUS 4778 HAS SOUPS 4765 WITH SCORE 4781.256
AT ITER 325 NEW BEST:: SOT 25686 SOS 16246 HAS SOPS 16224 HAS SOUS 4761 HAS SOUPS 4748 WITH SCORE 4764.246
AT ITER 331 NEW BEST:: SOT 25687 SOS 16247 HAS SOPS 16225 HAS SOUS 4740 HAS SOUPS 4727 WITH SCORE 4743.247
AT ITER 338 NEW BEST:: SOT 25751 SOS 16314 HAS SOPS 16292 HAS SOUS 4729 HAS SOUPS 4716 WITH SCORE 4732.314
AT ITER 351 NEW BEST:: SOT 25692 SOS 16106 HAS SOPS 16084 HAS SOUS 4724 HAS SOUPS 4711 WITH SCORE 4727.106
AT ITER 357 NEW BEST:: SOT 25692 SOS 16106 HAS SOPS 16084 HAS SOUS 4692 HAS SOUPS 4679 WITH SCORE 4695.106
AT ITER 366 NEW BEST:: SOT 25667 SOS 16216 HAS SOPS 16194 HAS SOUS 4689 HAS SOUPS 4676 WITH SCORE 4692.216
AT ITER 369 NEW BEST:: SOT 25660 SOS 16209 HAS SOPS 16187 HAS SOUS 4682 HAS SOUPS 4669 WITH SCORE 4685.209
AT ITER 370 NEW BEST:: SOT 25658 SOS 16207 HAS SOPS 16185 HAS SOUS 4680 HAS SOUPS 4667 WITH SCORE 4683.207
AT ITER 372 NEW BEST:: SOT 25680 SOS 16229 HAS SOPS 16207 HAS SOUS 4674 HAS SOUPS 4661 WITH SCORE 4677.229
AT ITER 388 NEW BEST:: SOT 25682 SOS 16233 HAS SOPS 16211 HAS SOUS 4666 HAS SOUPS 4653 WITH SCORE 4669.233
AT ITER 406 NEW BEST:: SOT 25705 SOS 16526 HAS SOPS 16504 HAS SOUS 4663 HAS SOUPS 4650 WITH SCORE 4666.526
AT ITER 412 NEW BEST:: SOT 25710 SOS 16531 HAS SOPS 16509 HAS SOUS 4654 HAS SOUPS 4641 WITH SCORE 4657.531
AT ITER 448 NEW BEST:: SOT 25708 SOS 16525 HAS SOPS 16503 HAS SOUS 4652 HAS SOUPS 4639 WITH SCORE 4655.525
AT ITER 454 NEW BEST:: SOT 25700 SOS 16517 HAS SOPS 16495 HAS SOUS 4644 HAS SOUPS 4631 WITH SCORE 4647.517
AT ITER 456 NEW BEST:: SOT 25692 SOS 16507 HAS SOPS 16485 HAS SOUS 4639 HAS SOUPS 4626 WITH SCORE 4642.507
AT ITER 459 NEW BEST:: SOT 25680 SOS 16495 HAS SOPS 16473 HAS SOUS 4638 HAS SOUPS 4625 WITH SCORE 4641.495
AT ITER 468 NEW BEST:: SOT 25676 SOS 16491 HAS SOPS 16469 HAS SOUS 4634 HAS SOUPS 4621 WITH SCORE 4637.491
AT ITER 485 NEW BEST:: SOT 25683 SOS 16498 HAS SOPS 16476 HAS SOUS 4625 HAS SOUPS 4612 WITH SCORE 4628.498
AT ITER 501 NEW BEST:: SOT 25682 SOS 16497 HAS SOPS 16475 HAS SOUS 4625 HAS SOUPS 4612 WITH SCORE 4628.497
AT ITER 507 NEW BEST:: SOT 25675 SOS 16490 HAS SOPS 16468 HAS SOUS 4612 HAS SOUPS 4599 WITH SCORE 4615.49
AT ITER 515 NEW BEST:: SOT 25680 SOS 16495 HAS SOPS 16473 HAS SOUS 4598 HAS SOUPS 4585 WITH SCORE 4601.495
AT ITER 518 NEW BEST:: SOT 25616 SOS 16367 HAS SOPS 16345 HAS SOUS 4598 HAS SOUPS 4585 WITH SCORE 4601.367
AT ITER 519 NEW BEST:: SOT 25608 SOS 16359 HAS SOPS 16337 HAS SOUS 4590 HAS SOUPS 4577 WITH SCORE 4593.359
AT ITER 532 NEW BEST:: SOT 25628 SOS 16399 HAS SOPS 16377 HAS SOUS 4587 HAS SOUPS 4574 WITH SCORE 4590.399
AT ITER 542 NEW BEST:: SOT 25616 SOS 16384 HAS SOPS 16362 HAS SOUS 4584 HAS SOUPS 4571 WITH SCORE 4587.384
AT ITER 554 NEW BEST:: SOT 25607 SOS 16375 HAS SOPS 16353 HAS SOUS 4567 HAS SOUPS 4554 WITH SCORE 4570.375
AT ITER 556 NEW BEST:: SOT 25592 SOS 16250 HAS SOPS 16228 HAS SOUS 4545 HAS SOUPS 4532 WITH SCORE 4548.25
AT ITER 559 NEW BEST:: SOT 25595 SOS 16302 HAS SOPS 16280 HAS SOUS 4526 HAS SOUPS 4513 WITH SCORE 4529.302
AT ITER 562 NEW BEST:: SOT 25587 SOS 16296 HAS SOPS 16274 HAS SOUS 4516 HAS SOUPS 4503 WITH SCORE 4519.296
AT ITER 566 NEW BEST:: SOT 25585 SOS 16220 HAS SOPS 16198 HAS SOUS 4512 HAS SOUPS 4499 WITH SCORE 4515.22
AT ITER 581 NEW BEST:: SOT 25577 SOS 16212 HAS SOPS 16190 HAS SOUS 4504 HAS SOUPS 4491 WITH SCORE 4507.212
AT ITER 587 NEW BEST:: SOT 25554 SOS 16189 HAS SOPS 16167 HAS SOUS 4504 HAS SOUPS 4491 WITH SCORE 4507.189
AT ITER 600 NEW BEST:: SOT 25550 SOS 16185 HAS SOPS 16163 HAS SOUS 4474 HAS SOUPS 4461 WITH SCORE 4477.185
AT ITER 604 NEW BEST:: SOT 25541 SOS 16167 HAS SOPS 16145 HAS SOUS 4465 HAS SOUPS 4452 WITH SCORE 4468.167
AT ITER 605 NEW BEST:: SOT 25535 SOS 16161 HAS SOPS 16139 HAS SOUS 4438 HAS SOUPS 4425 WITH SCORE 4441.161
AT ITER 609 NEW BEST:: SOT 25525 SOS 16149 HAS SOPS 16127 HAS SOUS 4426 HAS SOUPS 4413 WITH SCORE 4429.149
AT ITER 610 NEW BEST:: SOT 25496 SOS 16120 HAS SOPS 16098 HAS SOUS 4424 HAS SOUPS 4411 WITH SCORE 4427.12
AT ITER 614 NEW BEST:: SOT 25488 SOS 16112 HAS SOPS 16090 HAS SOUS 4408 HAS SOUPS 4395 WITH SCORE 4411.112
AT ITER 617 NEW BEST:: SOT 25552 SOS 15794 HAS SOPS 15772 HAS SOUS 4398 HAS SOUPS 4385 WITH SCORE 4400.794
AT ITER 625 NEW BEST:: SOT 25552 SOS 15794 HAS SOPS 15772 HAS SOUS 4388 HAS SOUPS 4375 WITH SCORE 4390.794
AT ITER 639 NEW BEST:: SOT 25534 SOS 15776 HAS SOPS 15754 HAS SOUS 4370 HAS SOUPS 4357 WITH SCORE 4372.776
AT ITER 641 NEW BEST:: SOT 25528 SOS 15770 HAS SOPS 15748 HAS SOUS 4369 HAS SOUPS 4356 WITH SCORE 4371.77
AT ITER 656 NEW BEST:: SOT 25525 SOS 15767 HAS SOPS 15745 HAS SOUS 4363 HAS SOUPS 4350 WITH SCORE 4365.767
AT ITER 665 NEW BEST:: SOT 25500 SOS 15706 HAS SOPS 15684 HAS SOUS 4348 HAS SOUPS 4335 WITH SCORE 4350.706
AT ITER 667 NEW BEST:: SOT 25492 SOS 15698 HAS SOPS 15676 HAS SOUS 4348 HAS SOUPS 4335 WITH SCORE 4350.698
AT ITER 680 NEW BEST:: SOT 25506 SOS 15712 HAS SOPS 15690 HAS SOUS 4336 HAS SOUPS 4323 WITH SCORE 4338.712
AT ITER 690 NEW BEST:: SOT 25468 SOS 15656 HAS SOPS 15634 HAS SOUS 4331 HAS SOUPS 4318 WITH SCORE 4333.656
AT ITER 692 NEW BEST:: SOT 25468 SOS 15656 HAS SOPS 15634 HAS SOUS 4324 HAS SOUPS 4311 WITH SCORE 4326.656
AT ITER 696 NEW BEST:: SOT 25469 SOS 15658 HAS SOPS 15636 HAS SOUS 4298 HAS SOUPS 4285 WITH SCORE 4300.658
AT ITER 706 NEW BEST:: SOT 25486 SOS 15648 HAS SOPS 15626 HAS SOUS 4295 HAS SOUPS 4282 WITH SCORE 4297.648
AT ITER 716 NEW BEST:: SOT 25480 SOS 15633 HAS SOPS 15611 HAS SOUS 4280 HAS SOUPS 4267 WITH SCORE 4282.633
AT ITER 724 NEW BEST:: SOT 25480 SOS 15633 HAS SOPS 15611 HAS SOUS 4276 HAS SOUPS 4263 WITH SCORE 4278.633
AT ITER 729 NEW BEST:: SOT 25475 SOS 15628 HAS SOPS 15606 HAS SOUS 4266 HAS SOUPS 4253 WITH SCORE 4268.628
AT ITER 767 NEW BEST:: SOT 25436 SOS 15589 HAS SOPS 15567 HAS SOUS 4227 HAS SOUPS 4214 WITH SCORE 4229.589
AT ITER 785 NEW BEST:: SOT 25431 SOS 15584 HAS SOPS 15562 HAS SOUS 4221 HAS SOUPS 4208 WITH SCORE 4223.584
AT ITER 792 NEW BEST:: SOT 25449 SOS 15584 HAS SOPS 15562 HAS SOUS 4205 HAS SOUPS 4192 WITH SCORE 4207.584
AT ITER 802 NEW BEST:: SOT 25482 SOS 15645 HAS SOPS 15623 HAS SOUS 4200 HAS SOUPS 4187 WITH SCORE 4202.645
AT ITER 808 NEW BEST:: SOT 25472 SOS 15650 HAS SOPS 15628 HAS SOUS 4196 HAS SOUPS 4183 WITH SCORE 4198.65
AT ITER 809 NEW BEST:: SOT 25472 SOS 15559 HAS SOPS 15537 HAS SOUS 4189 HAS SOUPS 4176 WITH SCORE 4191.559
AT ITER 814 NEW BEST:: SOT 25470 SOS 15557 HAS SOPS 15535 HAS SOUS 4185 HAS SOUPS 4172 WITH SCORE 4187.557
AT ITER 823 NEW BEST:: SOT 25467 SOS 15554 HAS SOPS 15532 HAS SOUS 4184 HAS SOUPS 4171 WITH SCORE 4186.554
AT ITER 830 NEW BEST:: SOT 25464 SOS 15550 HAS SOPS 15528 HAS SOUS 4180 HAS SOUPS 4167 WITH SCORE 4182.55
AT ITER 859 NEW BEST:: SOT 25450 SOS 15514 HAS SOPS 15492 HAS SOUS 4172 HAS SOUPS 4159 WITH SCORE 4174.514
AT ITER 866 NEW BEST:: SOT 25450 SOS 15513 HAS SOPS 15491 HAS SOUS 4170 HAS SOUPS 4157 WITH SCORE 4172.513
AT ITER 877 NEW BEST:: SOT 25450 SOS 15513 HAS SOPS 15491 HAS SOUS 4167 HAS SOUPS 4154 WITH SCORE 4169.513
AT ITER 894 NEW BEST:: SOT 25413 SOS 15403 HAS SOPS 15381 HAS SOUS 4152 HAS SOUPS 4139 WITH SCORE 4154.403
AT ITER 903 NEW BEST:: SOT 25395 SOS 15385 HAS SOPS 15363 HAS SOUS 4134 HAS SOUPS 4121 WITH SCORE 4136.385
AT ITER 911 NEW BEST:: SOT 25385 SOS 15366 HAS SOPS 15344 HAS SOUS 4115 HAS SOUPS 4102 WITH SCORE 4117.366
AT ITER 915 NEW BEST:: SOT 25261 SOS 15199 HAS SOPS 15177 HAS SOUS 4098 HAS SOUPS 4085 WITH SCORE 4100.199
AT ITER 936 NEW BEST:: SOT 25259 SOS 15197 HAS SOPS 15175 HAS SOUS 4096 HAS SOUPS 4083 WITH SCORE 4098.197
AT ITER 984 NEW BEST:: SOT 25265 SOS 15209 HAS SOPS 15187 HAS SOUS 4087 HAS SOUPS 4074 WITH SCORE 4089.209
AT ITER 1008 NEW BEST:: SOT 25264 SOS 15205 HAS SOPS 15183 HAS SOUS 4087 HAS SOUPS 4074 WITH SCORE 4089.205
AT ITER 1026 NEW BEST:: SOT 25236 SOS 15134 HAS SOPS 15112 HAS SOUS 4053 HAS SOUPS 4040 WITH SCORE 4055.134
AT ITER 1037 NEW BEST:: SOT 25226 SOS 15124 HAS SOPS 15102 HAS SOUS 4033 HAS SOUPS 4020 WITH SCORE 4035.124
AT ITER 1038 NEW BEST:: SOT 25327 SOS 14628 HAS SOPS 14606 HAS SOUS 4033 HAS SOUPS 4020 WITH SCORE 4034.628
AT ITER 1048 NEW BEST:: SOT 25324 SOS 14625 HAS SOPS 14603 HAS SOUS 4027 HAS SOUPS 4014 WITH SCORE 4028.625
AT ITER 1050 NEW BEST:: SOT 25324 SOS 14625 HAS SOPS 14603 HAS SOUS 4023 HAS SOUPS 4010 WITH SCORE 4024.625
AT ITER 1056 NEW BEST:: SOT 25311 SOS 14612 HAS SOPS 14590 HAS SOUS 4015 HAS SOUPS 4002 WITH SCORE 4016.612
AT ITER 1064 NEW BEST:: SOT 25311 SOS 14610 HAS SOPS 14588 HAS SOUS 4013 HAS SOUPS 4000 WITH SCORE 4014.61
AT ITER 1071 NEW BEST:: SOT 25299 SOS 14586 HAS SOPS 14564 HAS SOUS 4013 HAS SOUPS 4000 WITH SCORE 4014.586
AT ITER 1134 NEW BEST:: SOT 25297 SOS 14584 HAS SOPS 14562 HAS SOUS 4009 HAS SOUPS 3996 WITH SCORE 4010.584
AT ITER 1147 NEW BEST:: SOT 25292 SOS 14579 HAS SOPS 14557 HAS SOUS 4004 HAS SOUPS 3991 WITH SCORE 4005.579
AT ITER 1187 NEW BEST:: SOT 25275 SOS 14552 HAS SOPS 14530 HAS SOUS 3991 HAS SOUPS 3978 WITH SCORE 3992.552
AT ITER 1205 NEW BEST:: SOT 25270 SOS 14547 HAS SOPS 14525 HAS SOUS 3991 HAS SOUPS 3978 WITH SCORE 3992.547
AT ITER 1208 NEW BEST:: SOT 25254 SOS 14531 HAS SOPS 14509 HAS SOUS 3962 HAS SOUPS 3949 WITH SCORE 3963.531
AT ITER 1213 NEW BEST:: SOT 25254 SOS 14531 HAS SOPS 14509 HAS SOUS 3960 HAS SOUPS 3947 WITH SCORE 3961.531
AT ITER 1229 NEW BEST:: SOT 25252 SOS 14529 HAS SOPS 14507 HAS SOUS 3958 HAS SOUPS 3945 WITH SCORE 3959.529
AT ITER 1230 NEW BEST:: SOT 25228 SOS 14481 HAS SOPS 14459 HAS SOUS 3950 HAS SOUPS 3937 WITH SCORE 3951.481
AT ITER 1235 NEW BEST:: SOT 25222 SOS 14465 HAS SOPS 14443 HAS SOUS 3937 HAS SOUPS 3924 WITH SCORE 3938.465
AT ITER 1259 NEW BEST:: SOT 25235 SOS 14478 HAS SOPS 14456 HAS SOUS 3936 HAS SOUPS 3923 WITH SCORE 3937.478
AT ITER 1294 NEW BEST:: SOT 25173 SOS 14385 HAS SOPS 14363 HAS SOUS 3903 HAS SOUPS 3890 WITH SCORE 3904.385
AT ITER 1322 NEW BEST:: SOT 25173 SOS 14385 HAS SOPS 14363 HAS SOUS 3897 HAS SOUPS 3884 WITH SCORE 3898.385
AT ITER 1331 NEW BEST:: SOT 25188 SOS 14448 HAS SOPS 14426 HAS SOUS 3888 HAS SOUPS 3875 WITH SCORE 3889.448
AT ITER 1334 NEW BEST:: SOT 25184 SOS 14438 HAS SOPS 14416 HAS SOUS 3888 HAS SOUPS 3875 WITH SCORE 3889.438
AT ITER 1363 NEW BEST:: SOT 25184 SOS 14438 HAS SOPS 14416 HAS SOUS 3887 HAS SOUPS 3874 WITH SCORE 3888.438
AT ITER 1364 NEW BEST:: SOT 25174 SOS 14418 HAS SOPS 14396 HAS SOUS 3886 HAS SOUPS 3873 WITH SCORE 3887.418
AT ITER 1366 NEW BEST:: SOT 25168 SOS 14415 HAS SOPS 14393 HAS SOUS 3886 HAS SOUPS 3873 WITH SCORE 3887.415
AT ITER 1407 NEW BEST:: SOT 25168 SOS 14412 HAS SOPS 14390 HAS SOUS 3886 HAS SOUPS 3873 WITH SCORE 3887.412
AT ITER 1425 NEW BEST:: SOT 25158 SOS 14402 HAS SOPS 14380 HAS SOUS 3849 HAS SOUPS 3836 WITH SCORE 3850.402
AT ITER 1448 NEW BEST:: SOT 25155 SOS 14399 HAS SOPS 14377 HAS SOUS 3843 HAS SOUPS 3830 WITH SCORE 3844.399
AT ITER 1452 NEW BEST:: SOT 25107 SOS 14303 HAS SOPS 14281 HAS SOUS 3830 HAS SOUPS 3817 WITH SCORE 3831.303
AT ITER 1453 NEW BEST:: SOT 25103 SOS 14288 HAS SOPS 14266 HAS SOUS 3819 HAS SOUPS 3806 WITH SCORE 3820.288
AT ITER 1477 NEW BEST:: SOT 25085 SOS 14275 HAS SOPS 14253 HAS SOUS 3818 HAS SOUPS 3805 WITH SCORE 3819.275
AT ITER 1504 NEW BEST:: SOT 25075 SOS 14269 HAS SOPS 14247 HAS SOUS 3809 HAS SOUPS 3796 WITH SCORE 3810.269
AT ITER 1508 NEW BEST:: SOT 25083 SOS 14277 HAS SOPS 14255 HAS SOUS 3791 HAS SOUPS 3778 WITH SCORE 3792.277
AT ITER 1516 NEW BEST:: SOT 25081 SOS 14273 HAS SOPS 14251 HAS SOUS 3786 HAS SOUPS 3773 WITH SCORE 3787.273
AT ITER 1521 NEW BEST:: SOT 25080 SOS 14272 HAS SOPS 14250 HAS SOUS 3780 HAS SOUPS 3767 WITH SCORE 3781.272
AT ITER 1560 NEW BEST:: SOT 25080 SOS 14272 HAS SOPS 14250 HAS SOUS 3777 HAS SOUPS 3764 WITH SCORE 3778.272
AT ITER 1568 NEW BEST:: SOT 25079 SOS 14271 HAS SOPS 14249 HAS SOUS 3776 HAS SOUPS 3763 WITH SCORE 3777.271
AT ITER 1580 NEW BEST:: SOT 25005 SOS 14423 HAS SOPS 14401 HAS SOUS 3760 HAS SOUPS 3747 WITH SCORE 3761.423
AT ITER 1584 NEW BEST:: SOT 24991 SOS 14402 HAS SOPS 14380 HAS SOUS 3760 HAS SOUPS 3747 WITH SCORE 3761.402
AT ITER 1595 NEW BEST:: SOT 24982 SOS 14393 HAS SOPS 14371 HAS SOUS 3758 HAS SOUPS 3745 WITH SCORE 3759.393
AT ITER 1598 NEW BEST:: SOT 24979 SOS 14391 HAS SOPS 14369 HAS SOUS 3756 HAS SOUPS 3743 WITH SCORE 3757.391
AT ITER 1602 NEW BEST:: SOT 24980 SOS 14392 HAS SOPS 14370 HAS SOUS 3754 HAS SOUPS 3741 WITH SCORE 3755.392
AT ITER 1607 NEW BEST:: SOT 24980 SOS 14400 HAS SOPS 14378 HAS SOUS 3746 HAS SOUPS 3733 WITH SCORE 3747.4
AT ITER 1676 NEW BEST:: SOT 24965 SOS 14385 HAS SOPS 14363 HAS SOUS 3742 HAS SOUPS 3729 WITH SCORE 3743.385
AT ITER 1677 NEW BEST:: SOT 24965 SOS 14385 HAS SOPS 14363 HAS SOUS 3734 HAS SOUPS 3721 WITH SCORE 3735.385
AT ITER 1679 NEW BEST:: SOT 24965 SOS 14301 HAS SOPS 14279 HAS SOUS 3734 HAS SOUPS 3721 WITH SCORE 3735.301
AT ITER 1681 NEW BEST:: SOT 24981 SOS 14325 HAS SOPS 14303 HAS SOUS 3729 HAS SOUPS 3716 WITH SCORE 3730.325
AT ITER 1683 NEW BEST:: SOT 24979 SOS 14323 HAS SOPS 14301 HAS SOUS 3727 HAS SOUPS 3714 WITH SCORE 3728.323
AT ITER 1687 NEW BEST:: SOT 24987 SOS 14331 HAS SOPS 14309 HAS SOUS 3726 HAS SOUPS 3713 WITH SCORE 3727.331
AT ITER 1700 NEW BEST:: SOT 24980 SOS 14324 HAS SOPS 14302 HAS SOUS 3712 HAS SOUPS 3699 WITH SCORE 3713.324
AT ITER 1711 NEW BEST:: SOT 24971 SOS 14315 HAS SOPS 14293 HAS SOUS 3707 HAS SOUPS 3694 WITH SCORE 3708.315
AT ITER 1721 NEW BEST:: SOT 24961 SOS 14305 HAS SOPS 14283 HAS SOUS 3690 HAS SOUPS 3677 WITH SCORE 3691.305
AT ITER 1732 NEW BEST:: SOT 24959 SOS 14303 HAS SOPS 14281 HAS SOUS 3690 HAS SOUPS 3677 WITH SCORE 3691.303
AT ITER 1734 NEW BEST:: SOT 24954 SOS 14298 HAS SOPS 14276 HAS SOUS 3685 HAS SOUPS 3672 WITH SCORE 3686.298
AT ITER 1739 NEW BEST:: SOT 24936 SOS 14275 HAS SOPS 14253 HAS SOUS 3684 HAS SOUPS 3671 WITH SCORE 3685.275
AT ITER 1742 NEW BEST:: SOT 24936 SOS 14273 HAS SOPS 14251 HAS SOUS 3680 HAS SOUPS 3667 WITH SCORE 3681.273
AT ITER 1757 NEW BEST:: SOT 24936 SOS 14261 HAS SOPS 14239 HAS SOUS 3672 HAS SOUPS 3659 WITH SCORE 3673.261
AT ITER 1779 NEW BEST:: SOT 24934 SOS 14259 HAS SOPS 14237 HAS SOUS 3670 HAS SOUPS 3657 WITH SCORE 3671.259
AT ITER 1815 NEW BEST:: SOT 24934 SOS 14259 HAS SOPS 14237 HAS SOUS 3665 HAS SOUPS 3652 WITH SCORE 3666.259
AT ITER 1869 NEW BEST:: SOT 24941 SOS 14265 HAS SOPS 14243 HAS SOUS 3656 HAS SOUPS 3643 WITH SCORE 3657.265
AT ITER 1899 NEW BEST:: SOT 24933 SOS 13817 HAS SOPS 13795 HAS SOUS 3649 HAS SOUPS 3636 WITH SCORE 3649.817
AT ITER 1911 NEW BEST:: SOT 24939 SOS 13823 HAS SOPS 13801 HAS SOUS 3636 HAS SOUPS 3623 WITH SCORE 3636.823
AT ITER 1914 NEW BEST:: SOT 24937 SOS 13822 HAS SOPS 13800 HAS SOUS 3623 HAS SOUPS 3610 WITH SCORE 3623.822
AT ITER 1931 NEW BEST:: SOT 25145 SOS 14134 HAS SOPS 14112 HAS SOUS 3611 HAS SOUPS 3598 WITH SCORE 3612.134
AT ITER 1932 NEW BEST:: SOT 25128 SOS 14096 HAS SOPS 14074 HAS SOUS 3594 HAS SOUPS 3581 WITH SCORE 3595.096
AT ITER 1951 NEW BEST:: SOT 25124 SOS 14092 HAS SOPS 14070 HAS SOUS 3577 HAS SOUPS 3564 WITH SCORE 3578.092
AT ITER 2023 NEW BEST:: SOT 25124 SOS 13988 HAS SOPS 13966 HAS SOUS 3569 HAS SOUPS 3556 WITH SCORE 3569.988
AT ITER 2102 NEW BEST:: SOT 25119 SOS 13983 HAS SOPS 13961 HAS SOUS 3567 HAS SOUPS 3554 WITH SCORE 3567.983
AT ITER 2142 NEW BEST:: SOT 25152 SOS 14049 HAS SOPS 14027 HAS SOUS 3544 HAS SOUPS 3531 WITH SCORE 3545.049
AT ITER 2154 NEW BEST:: SOT 25136 SOS 14056 HAS SOPS 14034 HAS SOUS 3541 HAS SOUPS 3528 WITH SCORE 3542.056
AT ITER 2159 NEW BEST:: SOT 25136 SOS 14056 HAS SOPS 14034 HAS SOUS 3540 HAS SOUPS 3527 WITH SCORE 3541.056
AT ITER 2207 NEW BEST:: SOT 25191 SOS 14167 HAS SOPS 14145 HAS SOUS 3539 HAS SOUPS 3526 WITH SCORE 3540.167
AT ITER 2211 NEW BEST:: SOT 25196 SOS 14172 HAS SOPS 14150 HAS SOUS 3538 HAS SOUPS 3525 WITH SCORE 3539.172
AT ITER 2215 NEW BEST:: SOT 25188 SOS 14160 HAS SOPS 14138 HAS SOUS 3531 HAS SOUPS 3518 WITH SCORE 3532.16
AT ITER 2240 NEW BEST:: SOT 25185 SOS 14157 HAS SOPS 14135 HAS SOUS 3527 HAS SOUPS 3514 WITH SCORE 3528.157
AT ITER 2252 NEW BEST:: SOT 25173 SOS 14127 HAS SOPS 14105 HAS SOUS 3506 HAS SOUPS 3493 WITH SCORE 3507.127
AT ITER 2260 NEW BEST:: SOT 25166 SOS 14117 HAS SOPS 14095 HAS SOUS 3504 HAS SOUPS 3491 WITH SCORE 3505.117
AT ITER 2265 NEW BEST:: SOT 25162 SOS 14113 HAS SOPS 14091 HAS SOUS 3500 HAS SOUPS 3487 WITH SCORE 3501.113
AT ITER 2269 NEW BEST:: SOT 25168 SOS 14119 HAS SOPS 14097 HAS SOUS 3492 HAS SOUPS 3479 WITH SCORE 3493.119
AT ITER 2287 NEW BEST:: SOT 25177 SOS 14129 HAS SOPS 14107 HAS SOUS 3491 HAS SOUPS 3478 WITH SCORE 3492.129
AT ITER 2299 NEW BEST:: SOT 25173 SOS 14125 HAS SOPS 14103 HAS SOUS 3483 HAS SOUPS 3470 WITH SCORE 3484.125
AT ITER 2322 NEW BEST:: SOT 25169 SOS 14121 HAS SOPS 14099 HAS SOUS 3479 HAS SOUPS 3466 WITH SCORE 3480.121
AT ITER 2327 NEW BEST:: SOT 25170 SOS 14123 HAS SOPS 14101 HAS SOUS 3477 HAS SOUPS 3464 WITH SCORE 3478.123
AT ITER 2340 NEW BEST:: SOT 25168 SOS 14119 HAS SOPS 14097 HAS SOUS 3474 HAS SOUPS 3461 WITH SCORE 3475.119
AT ITER 2351 NEW BEST:: SOT 25158 SOS 14109 HAS SOPS 14087 HAS SOUS 3462 HAS SOUPS 3449 WITH SCORE 3463.109
AT ITER 2417 NEW BEST:: SOT 25147 SOS 14087 HAS SOPS 14065 HAS SOUS 3460 HAS SOUPS 3447 WITH SCORE 3461.087
AT ITER 2433 NEW BEST:: SOT 25141 SOS 14072 HAS SOPS 14050 HAS SOUS 3448 HAS SOUPS 3435 WITH SCORE 3449.072
AT ITER 2481 NEW BEST:: SOT 25141 SOS 14072 HAS SOPS 14050 HAS SOUS 3442 HAS SOUPS 3429 WITH SCORE 3443.072
AT ITER 2506 NEW BEST:: SOT 25140 SOS 14071 HAS SOPS 14049 HAS SOUS 3440 HAS SOUPS 3427 WITH SCORE 3441.071
AT ITER 2517 NEW BEST:: SOT 25140 SOS 14071 HAS SOPS 14049 HAS SOUS 3439 HAS SOUPS 3426 WITH SCORE 3440.071
AT ITER 2629 NEW BEST:: SOT 25139 SOS 14070 HAS SOPS 14048 HAS SOUS 3437 HAS SOUPS 3424 WITH SCORE 3438.07
AT ITER 2648 NEW BEST:: SOT 25151 SOS 14080 HAS SOPS 14058 HAS SOUS 3435 HAS SOUPS 3422 WITH SCORE 3436.08
AT ITER 2685 NEW BEST:: SOT 25145 SOS 14068 HAS SOPS 14046 HAS SOUS 3435 HAS SOUPS 3422 WITH SCORE 3436.068
AT ITER 2701 NEW BEST:: SOT 25121 SOS 14044 HAS SOPS 14022 HAS SOUS 3411 HAS SOUPS 3398 WITH SCORE 3412.044
AT ITER 2704 NEW BEST:: SOT 25119 SOS 14038 HAS SOPS 14016 HAS SOUS 3409 HAS SOUPS 3396 WITH SCORE 3410.038
AT ITER 2761 NEW BEST:: SOT 25117 SOS 14036 HAS SOPS 14014 HAS SOUS 3407 HAS SOUPS 3394 WITH SCORE 3408.036
AT ITER 2792 NEW BEST:: SOT 25121 SOS 14028 HAS SOPS 14006 HAS SOUS 3392 HAS SOUPS 3379 WITH SCORE 3393.028
AT ITER 2840 NEW BEST:: SOT 25126 SOS 14000 HAS SOPS 13978 HAS SOUS 3392 HAS SOUPS 3379 WITH SCORE 3393.0
AT ITER 2853 NEW BEST:: SOT 25103 SOS 14287 HAS SOPS 14265 HAS SOUS 3388 HAS SOUPS 3375 WITH SCORE 3389.287
AT ITER 2859 NEW BEST:: SOT 25093 SOS 14277 HAS SOPS 14255 HAS SOUS 3388 HAS SOUPS 3375 WITH SCORE 3389.277
AT ITER 2877 NEW BEST:: SOT 25092 SOS 14276 HAS SOPS 14254 HAS SOUS 3387 HAS SOUPS 3374 WITH SCORE 3388.276
AT ITER 3007 NEW BEST:: SOT 25088 SOS 14267 HAS SOPS 14245 HAS SOUS 3382 HAS SOUPS 3369 WITH SCORE 3383.267
AT ITER 3092 NEW BEST:: SOT 25075 SOS 14260 HAS SOPS 14238 HAS SOUS 3380 HAS SOUPS 3367 WITH SCORE 3381.26
AT ITER 3095 NEW BEST:: SOT 25065 SOS 14250 HAS SOPS 14228 HAS SOUS 3380 HAS SOUPS 3367 WITH SCORE 3381.25
AT ITER 3173 NEW BEST:: SOT 25063 SOS 14243 HAS SOPS 14221 HAS SOUS 3377 HAS SOUPS 3364 WITH SCORE 3378.243
AT ITER 3206 NEW BEST:: SOT 25059 SOS 14239 HAS SOPS 14217 HAS SOUS 3365 HAS SOUPS 3352 WITH SCORE 3366.239
AT ITER 3220 NEW BEST:: SOT 25055 SOS 14232 HAS SOPS 14210 HAS SOUS 3362 HAS SOUPS 3349 WITH SCORE 3363.232
AT ITER 3296 NEW BEST:: SOT 25053 SOS 14228 HAS SOPS 14206 HAS SOUS 3361 HAS SOUPS 3348 WITH SCORE 3362.228
AT ITER 3297 NEW BEST:: SOT 25051 SOS 14226 HAS SOPS 14204 HAS SOUS 3359 HAS SOUPS 3346 WITH SCORE 3360.226
AT ITER 3307 NEW BEST:: SOT 25054 SOS 14229 HAS SOPS 14207 HAS SOUS 3357 HAS SOUPS 3344 WITH SCORE 3358.229
AT ITER 3318 NEW BEST:: SOT 25053 SOS 14224 HAS SOPS 14202 HAS SOUS 3352 HAS SOUPS 3339 WITH SCORE 3353.224
AT ITER 3335 NEW BEST:: SOT 25047 SOS 14212 HAS SOPS 14190 HAS SOUS 3352 HAS SOUPS 3339 WITH SCORE 3353.212
AT ITER 3418 NEW BEST:: SOT 25057 SOS 14246 HAS SOPS 14224 HAS SOUS 3348 HAS SOUPS 3335 WITH SCORE 3349.246
AT ITER 3452 NEW BEST:: SOT 25054 SOS 14243 HAS SOPS 14221 HAS SOUS 3348 HAS SOUPS 3335 WITH SCORE 3349.243
AT ITER 3519 NEW BEST:: SOT 25060 SOS 14250 HAS SOPS 14228 HAS SOUS 3343 HAS SOUPS 3330 WITH SCORE 3344.25
AT ITER 3530 NEW BEST:: SOT 25060 SOS 14250 HAS SOPS 14228 HAS SOUS 3336 HAS SOUPS 3323 WITH SCORE 3337.25
AT ITER 3539 NEW BEST:: SOT 25053 SOS 14243 HAS SOPS 14221 HAS SOUS 3320 HAS SOUPS 3307 WITH SCORE 3321.243
AT ITER 3594 NEW BEST:: SOT 25055 SOS 14248 HAS SOPS 14226 HAS SOUS 3316 HAS SOUPS 3303 WITH SCORE 3317.248
AT ITER 3640 NEW BEST:: SOT 25049 SOS 14236 HAS SOPS 14214 HAS SOUS 3314 HAS SOUPS 3301 WITH SCORE 3315.236
AT ITER 3677 NEW BEST:: SOT 25047 SOS 14234 HAS SOPS 14212 HAS SOUS 3310 HAS SOUPS 3297 WITH SCORE 3311.234
AT ITER 3723 NEW BEST:: SOT 25039 SOS 14226 HAS SOPS 14204 HAS SOUS 3303 HAS SOUPS 3290 WITH SCORE 3304.226
AT ITER 3779 NEW BEST:: SOT 25038 SOS 14225 HAS SOPS 14203 HAS SOUS 3299 HAS SOUPS 3286 WITH SCORE 3300.225
AT ITER 3846 NEW BEST:: SOT 25024 SOS 14182 HAS SOPS 14160 HAS SOUS 3284 HAS SOUPS 3271 WITH SCORE 3285.182
AT ITER 3874 NEW BEST:: SOT 25024 SOS 14182 HAS SOPS 14160 HAS SOUS 3283 HAS SOUPS 3270 WITH SCORE 3284.182
AT ITER 3879 NEW BEST:: SOT 25026 SOS 14184 HAS SOPS 14162 HAS SOUS 3282 HAS SOUPS 3269 WITH SCORE 3283.184
AT ITER 3904 NEW BEST:: SOT 25026 SOS 14206 HAS SOPS 14184 HAS SOUS 3280 HAS SOUPS 3267 WITH SCORE 3281.206
AT ITER 3922 NEW BEST:: SOT 25027 SOS 14207 HAS SOPS 14185 HAS SOUS 3279 HAS SOUPS 3266 WITH SCORE 3280.207
AT ITER 3930 NEW BEST:: SOT 25027 SOS 14207 HAS SOPS 14185 HAS SOUS 3273 HAS SOUPS 3260 WITH SCORE 3274.207
AT ITER 4020 NEW BEST:: SOT 25013 SOS 14027 HAS SOPS 14005 HAS SOUS 3272 HAS SOUPS 3259 WITH SCORE 3273.027
AT ITER 4028 NEW BEST:: SOT 25009 SOS 14016 HAS SOPS 13994 HAS SOUS 3264 HAS SOUPS 3251 WITH SCORE 3265.016
AT ITER 4055 NEW BEST:: SOT 25007 SOS 14012 HAS SOPS 13990 HAS SOUS 3261 HAS SOUPS 3248 WITH SCORE 3262.012
AT ITER 4124 NEW BEST:: SOT 25016 SOS 14019 HAS SOPS 13997 HAS SOUS 3260 HAS SOUPS 3247 WITH SCORE 3261.019
AT ITER 4265 NEW BEST:: SOT 24986 SOS 14091 HAS SOPS 14069 HAS SOUS 3255 HAS SOUPS 3242 WITH SCORE 3256.091
AT ITER 4282 NEW BEST:: SOT 24791 SOS 13800 HAS SOPS 13778 HAS SOUS 3253 HAS SOUPS 3240 WITH SCORE 3253.8
AT ITER 4330 NEW BEST:: SOT 24798 SOS 13712 HAS SOPS 13690 HAS SOUS 3248 HAS SOUPS 3235 WITH SCORE 3248.712
AT ITER 4373 NEW BEST:: SOT 24797 SOS 13710 HAS SOPS 13688 HAS SOUS 3247 HAS SOUPS 3234 WITH SCORE 3247.71
AT ITER 4500 NEW BEST:: SOT 24788 SOS 13695 HAS SOPS 13673 HAS SOUS 3244 HAS SOUPS 3231 WITH SCORE 3244.695
AT ITER 4546 NEW BEST:: SOT 24790 SOS 13625 HAS SOPS 13603 HAS SOUS 3244 HAS SOUPS 3231 WITH SCORE 3244.625
AT ITER 4621 NEW BEST:: SOT 24789 SOS 13624 HAS SOPS 13602 HAS SOUS 3242 HAS SOUPS 3229 WITH SCORE 3242.624
AT ITER 4702 NEW BEST:: SOT 24789 SOS 13625 HAS SOPS 13603 HAS SOUS 3240 HAS SOUPS 3227 WITH SCORE 3240.625
AT ITER 4752 NEW BEST:: SOT 24771 SOS 13598 HAS SOPS 13576 HAS SOUS 3231 HAS SOUPS 3218 WITH SCORE 3231.598
AT ITER 4776 NEW BEST:: SOT 24770 SOS 13597 HAS SOPS 13575 HAS SOUS 3230 HAS SOUPS 3217 WITH SCORE 3230.597
AT ITER 4914 NEW BEST:: SOT 24767 SOS 13594 HAS SOPS 13572 HAS SOUS 3224 HAS SOUPS 3211 WITH SCORE 3224.594
AT ITER 4915 NEW BEST:: SOT 24766 SOS 13592 HAS SOPS 13570 HAS SOUS 3223 HAS SOUPS 3210 WITH SCORE 3223.592
AT ITER 5005 NEW BEST:: SOT 24765 SOS 13590 HAS SOPS 13568 HAS SOUS 3222 HAS SOUPS 3209 WITH SCORE 3222.59
AT ITER 5034 NEW BEST:: SOT 24763 SOS 13586 HAS SOPS 13564 HAS SOUS 3220 HAS SOUPS 3207 WITH SCORE 3220.586
AT ITER 5146 NEW BEST:: SOT 24744 SOS 13567 HAS SOPS 13545 HAS SOUS 3220 HAS SOUPS 3207 WITH SCORE 3220.567
AT ITER 5164 NEW BEST:: SOT 24744 SOS 13565 HAS SOPS 13543 HAS SOUS 3218 HAS SOUPS 3205 WITH SCORE 3218.565
AT ITER 5369 NEW BEST:: SOT 24739 SOS 13555 HAS SOPS 13533 HAS SOUS 3218 HAS SOUPS 3205 WITH SCORE 3218.555
AT ITER 5582 NEW BEST:: SOT 24740 SOS 13537 HAS SOPS 13515 HAS SOUS 3218 HAS SOUPS 3205 WITH SCORE 3218.537
AT ITER 5681 NEW BEST:: SOT 24737 SOS 13531 HAS SOPS 13509 HAS SOUS 3215 HAS SOUPS 3202 WITH SCORE 3215.531
AT ITER 5722 NEW BEST:: SOT 24733 SOS 13527 HAS SOPS 13505 HAS SOUS 3215 HAS SOUPS 3202 WITH SCORE 3215.527
AT ITER 5734 NEW BEST:: SOT 24728 SOS 13512 HAS SOPS 13490 HAS SOUS 3213 HAS SOUPS 3200 WITH SCORE 3213.512
AT ITER 5744 NEW BEST:: SOT 24725 SOS 13506 HAS SOPS 13484 HAS SOUS 3213 HAS SOUPS 3200 WITH SCORE 3213.506
AT ITER 5788 NEW BEST:: SOT 24725 SOS 13506 HAS SOPS 13484 HAS SOUS 3212 HAS SOUPS 3199 WITH SCORE 3212.506
AT ITER 5812 NEW BEST:: SOT 24723 SOS 13504 HAS SOPS 13482 HAS SOUS 3212 HAS SOUPS 3199 WITH SCORE 3212.504
AT ITER 5888 NEW BEST:: SOT 24721 SOS 13502 HAS SOPS 13480 HAS SOUS 3210 HAS SOUPS 3197 WITH SCORE 3210.502
AT ITER 5943 NEW BEST:: SOT 24719 SOS 13500 HAS SOPS 13478 HAS SOUS 3209 HAS SOUPS 3196 WITH SCORE 3209.5
AT ITER 5967 NEW BEST:: SOT 24718 SOS 13499 HAS SOPS 13477 HAS SOUS 3209 HAS SOUPS 3196 WITH SCORE 3209.499
AT ITER 6090 NEW BEST:: SOT 24714 SOS 13491 HAS SOPS 13469 HAS SOUS 3202 HAS SOUPS 3189 WITH SCORE 3202.491
AT ITER 6137 NEW BEST:: SOT 24714 SOS 13491 HAS SOPS 13469 HAS SOUS 3200 HAS SOUPS 3187 WITH SCORE 3200.491
AT ITER 6267 NEW BEST:: SOT 24714 SOS 13491 HAS SOPS 13469 HAS SOUS 3186 HAS SOUPS 3173 WITH SCORE 3186.491
AT ITER 6272 NEW BEST:: SOT 24714 SOS 13491 HAS SOPS 13469 HAS SOUS 3182 HAS SOUPS 3169 WITH SCORE 3182.491
AT ITER 6334 NEW BEST:: SOT 24714 SOS 13489 HAS SOPS 13467 HAS SOUS 3182 HAS SOUPS 3169 WITH SCORE 3182.489
AT ITER 6384 NEW BEST:: SOT 24724 SOS 13499 HAS SOPS 13477 HAS SOUS 3180 HAS SOUPS 3167 WITH SCORE 3180.499
AT ITER 6427 NEW BEST:: SOT 24721 SOS 13494 HAS SOPS 13472 HAS SOUS 3177 HAS SOUPS 3164 WITH SCORE 3177.494
AT ITER 6502 NEW BEST:: SOT 24712 SOS 13487 HAS SOPS 13465 HAS SOUS 3176 HAS SOUPS 3163 WITH SCORE 3176.487
AT ITER 6512 NEW BEST:: SOT 24635 SOS 13410 HAS SOPS 13388 HAS SOUS 3176 HAS SOUPS 3163 WITH SCORE 3176.41
AT ITER 6515 NEW BEST:: SOT 24625 SOS 13400 HAS SOPS 13378 HAS SOUS 3170 HAS SOUPS 3157 WITH SCORE 3170.4
AT ITER 6692 NEW BEST:: SOT 24625 SOS 13400 HAS SOPS 13378 HAS SOUS 3159 HAS SOUPS 3146 WITH SCORE 3159.4
AT ITER 6757 NEW BEST:: SOT 24624 SOS 13399 HAS SOPS 13377 HAS SOUS 3158 HAS SOUPS 3145 WITH SCORE 3158.399
AT ITER 6945 NEW BEST:: SOT 24629 SOS 13369 HAS SOPS 13347 HAS SOUS 3157 HAS SOUPS 3144 WITH SCORE 3157.369
AT ITER 6987 NEW BEST:: SOT 24622 SOS 13362 HAS SOPS 13340 HAS SOUS 3148 HAS SOUPS 3135 WITH SCORE 3148.362
AT ITER 7051 NEW BEST:: SOT 24618 SOS 13358 HAS SOPS 13336 HAS SOUS 3146 HAS SOUPS 3133 WITH SCORE 3146.358
AT ITER 7155 NEW BEST:: SOT 24620 SOS 13360 HAS SOPS 13338 HAS SOUS 3145 HAS SOUPS 3132 WITH SCORE 3145.36
AT ITER 7336 NEW BEST:: SOT 24618 SOS 13358 HAS SOPS 13336 HAS SOUS 3144 HAS SOUPS 3131 WITH SCORE 3144.358
AT ITER 7457 NEW BEST:: SOT 24605 SOS 13329 HAS SOPS 13307 HAS SOUS 3142 HAS SOUPS 3129 WITH SCORE 3142.329
AT ITER 7521 NEW BEST:: SOT 24604 SOS 13328 HAS SOPS 13306 HAS SOUS 3142 HAS SOUPS 3129 WITH SCORE 3142.328
AT ITER 7632 NEW BEST:: SOT 24601 SOS 13325 HAS SOPS 13303 HAS SOUS 3138 HAS SOUPS 3125 WITH SCORE 3138.325
AT ITER 7646 NEW BEST:: SOT 24599 SOS 13323 HAS SOPS 13301 HAS SOUS 3136 HAS SOUPS 3123 WITH SCORE 3136.323
AT ITER 7678 NEW BEST:: SOT 24594 SOS 13318 HAS SOPS 13296 HAS SOUS 3126 HAS SOUPS 3113 WITH SCORE 3126.318
AT ITER 7726 NEW BEST:: SOT 24593 SOS 13316 HAS SOPS 13294 HAS SOUS 3124 HAS SOUPS 3111 WITH SCORE 3124.316
AT ITER 7729 NEW BEST:: SOT 24596 SOS 13319 HAS SOPS 13297 HAS SOUS 3123 HAS SOUPS 3110 WITH SCORE 3123.319
AT ITER 7789 NEW BEST:: SOT 24595 SOS 13318 HAS SOPS 13296 HAS SOUS 3121 HAS SOUPS 3108 WITH SCORE 3121.318
AT ITER 7839 NEW BEST:: SOT 24600 SOS 13295 HAS SOPS 13273 HAS SOUS 3121 HAS SOUPS 3108 WITH SCORE 3121.295
AT ITER 8014 NEW BEST:: SOT 24598 SOS 13272 HAS SOPS 13250 HAS SOUS 3120 HAS SOUPS 3107 WITH SCORE 3120.272
AT ITER 8103 NEW BEST:: SOT 24597 SOS 13271 HAS SOPS 13249 HAS SOUS 3120 HAS SOUPS 3107 WITH SCORE 3120.271
AT ITER 8184 NEW BEST:: SOT 24595 SOS 13269 HAS SOPS 13247 HAS SOUS 3120 HAS SOUPS 3107 WITH SCORE 3120.269
AT ITER 8268 NEW BEST:: SOT 24592 SOS 13266 HAS SOPS 13244 HAS SOUS 3118 HAS SOUPS 3105 WITH SCORE 3118.266
AT ITER 8305 NEW BEST:: SOT 24574 SOS 13296 HAS SOPS 13274 HAS SOUS 3116 HAS SOUPS 3103 WITH SCORE 3116.296
AT ITER 8413 NEW BEST:: SOT 24574 SOS 13296 HAS SOPS 13274 HAS SOUS 3115 HAS SOUPS 3102 WITH SCORE 3115.296
AT ITER 8589 NEW BEST:: SOT 24576 SOS 13297 HAS SOPS 13275 HAS SOUS 3112 HAS SOUPS 3099 WITH SCORE 3112.297
AT ITER 8617 NEW BEST:: SOT 24576 SOS 13297 HAS SOPS 13275 HAS SOUS 3111 HAS SOUPS 3098 WITH SCORE 3111.297
AT ITER 8762 NEW BEST:: SOT 24575 SOS 13296 HAS SOPS 13274 HAS SOUS 3110 HAS SOUPS 3097 WITH SCORE 3110.296
AT ITER 8788 NEW BEST:: SOT 24573 SOS 13271 HAS SOPS 13249 HAS SOUS 3109 HAS SOUPS 3096 WITH SCORE 3109.271
AT ITER 8806 NEW BEST:: SOT 24572 SOS 13270 HAS SOPS 13248 HAS SOUS 3108 HAS SOUPS 3095 WITH SCORE 3108.27
AT ITER 8812 NEW BEST:: SOT 24578 SOS 13276 HAS SOPS 13254 HAS SOUS 3107 HAS SOUPS 3094 WITH SCORE 3107.276
AT ITER 9284 NEW BEST:: SOT 24576 SOS 13274 HAS SOPS 13252 HAS SOUS 3103 HAS SOUPS 3090 WITH SCORE 3103.274
AT ITER 9332 NEW BEST:: SOT 24576 SOS 13274 HAS SOPS 13252 HAS SOUS 3101 HAS SOUPS 3088 WITH SCORE 3101.274
AT ITER 9419 NEW BEST:: SOT 24575 SOS 13273 HAS SOPS 13251 HAS SOUS 3100 HAS SOUPS 3087 WITH SCORE 3100.273
AT ITER 9519 NEW BEST:: SOT 24572 SOS 13270 HAS SOPS 13248 HAS SOUS 3095 HAS SOUPS 3082 WITH SCORE 3095.27
AT ITER 9626 NEW BEST:: SOT 24579 SOS 13266 HAS SOPS 13244 HAS SOUS 3094 HAS SOUPS 3081 WITH SCORE 3094.266
AT ITER 9653 NEW BEST:: SOT 24564 SOS 13231 HAS SOPS 13209 HAS SOUS 3087 HAS SOUPS 3074 WITH SCORE 3087.231
AT ITER 9658 NEW BEST:: SOT 24559 SOS 13221 HAS SOPS 13199 HAS SOUS 3081 HAS SOUPS 3068 WITH SCORE 3081.221
AT ITER 9731 NEW BEST:: SOT 24558 SOS 13220 HAS SOPS 13198 HAS SOUS 3078 HAS SOUPS 3065 WITH SCORE 3078.22
AT ITER 9903 NEW BEST:: SOT 24559 SOS 13223 HAS SOPS 13201 HAS SOUS 3077 HAS SOUPS 3064 WITH SCORE 3077.223
AT ITER 9997 NEW BEST:: SOT 24557 SOS 13220 HAS SOPS 13198 HAS SOUS 3076 HAS SOUPS 3063 WITH SCORE 3076.22
STATE_SPACE STATES 505148172 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 10 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 7745173878 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678578206556

--------------------
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="HealthRecord-PT-06"
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 HealthRecord-PT-06, 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 r203-smll-167840349300280"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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