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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 504K
-rw-r--r-- 1 mcc users 6.7K Feb 25 14:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 25 14:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 25 14:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 25 14:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:11 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:11 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:11 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 14:12 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 116K Feb 25 14:12 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 14:12 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 98K Feb 25 14:12 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:11 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 46K 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 1678517331919

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=GPUForwardProgress-PT-08b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-11 06:48:54] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-11 06:48:54] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-11 06:48:54] [INFO ] Load time of PNML (sax parser for PT used): 106 ms
[2023-03-11 06:48:54] [INFO ] Transformed 188 places.
[2023-03-11 06:48:55] [INFO ] Transformed 197 transitions.
[2023-03-11 06:48:55] [INFO ] Found NUPN structural information;
[2023-03-11 06:48:55] [INFO ] Parsed PT model containing 188 places and 197 transitions and 477 arcs in 355 ms.
[2023-03-11 06:48:55] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 188 places, 197 transitions and 477 arcs took 10 ms.
Total runtime 409 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running GPUForwardProgress (PT), instance 08b
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: 188 places, 197 transitions, 477 arcs.
AT ITER 0 NEW BEST:: SOT 20760 SOS 6537 HAS SOPS 6537 HAS SOUS 5979 HAS SOUPS 5979 WITH SCORE 5985.537
AT ITER 4 NEW BEST:: SOT 20772 SOS 6561 HAS SOPS 6561 HAS SOUS 5970 HAS SOUPS 5970 WITH SCORE 5976.561
AT ITER 14 NEW BEST:: SOT 20749 SOS 6485 HAS SOPS 6485 HAS SOUS 5917 HAS SOUPS 5917 WITH SCORE 5923.485
AT ITER 37 NEW BEST:: SOT 20749 SOS 6485 HAS SOPS 6485 HAS SOUS 5904 HAS SOUPS 5904 WITH SCORE 5910.485
AT ITER 62 NEW BEST:: SOT 20749 SOS 6485 HAS SOPS 6485 HAS SOUS 5902 HAS SOUPS 5902 WITH SCORE 5908.485
AT ITER 65 NEW BEST:: SOT 20749 SOS 6485 HAS SOPS 6485 HAS SOUS 5885 HAS SOUPS 5885 WITH SCORE 5891.485
AT ITER 67 NEW BEST:: SOT 20749 SOS 6481 HAS SOPS 6481 HAS SOUS 5881 HAS SOUPS 5881 WITH SCORE 5887.481
AT ITER 89 NEW BEST:: SOT 20739 SOS 6465 HAS SOPS 6465 HAS SOUS 5871 HAS SOUPS 5871 WITH SCORE 5877.465
AT ITER 93 NEW BEST:: SOT 20739 SOS 6460 HAS SOPS 6460 HAS SOUS 5871 HAS SOUPS 5871 WITH SCORE 5877.46
AT ITER 101 NEW BEST:: SOT 20739 SOS 6453 HAS SOPS 6453 HAS SOUS 5864 HAS SOUPS 5864 WITH SCORE 5870.453
AT ITER 102 NEW BEST:: SOT 20739 SOS 6453 HAS SOPS 6453 HAS SOUS 5863 HAS SOUPS 5863 WITH SCORE 5869.453
AT ITER 108 NEW BEST:: SOT 20739 SOS 6440 HAS SOPS 6440 HAS SOUS 5863 HAS SOUPS 5863 WITH SCORE 5869.44
AT ITER 109 NEW BEST:: SOT 20714 SOS 6308 HAS SOPS 6308 HAS SOUS 5813 HAS SOUPS 5813 WITH SCORE 5819.308
AT ITER 117 NEW BEST:: SOT 20704 SOS 6305 HAS SOPS 6305 HAS SOUS 5810 HAS SOUPS 5810 WITH SCORE 5816.305
AT ITER 120 NEW BEST:: SOT 20699 SOS 6285 HAS SOPS 6285 HAS SOUS 5800 HAS SOUPS 5800 WITH SCORE 5806.285
AT ITER 124 NEW BEST:: SOT 20695 SOS 6277 HAS SOPS 6277 HAS SOUS 5792 HAS SOUPS 5792 WITH SCORE 5798.277
AT ITER 125 NEW BEST:: SOT 20694 SOS 6275 HAS SOPS 6275 HAS SOUS 5790 HAS SOUPS 5790 WITH SCORE 5796.275
AT ITER 129 NEW BEST:: SOT 20700 SOS 6287 HAS SOPS 6287 HAS SOUS 5772 HAS SOUPS 5772 WITH SCORE 5778.287
AT ITER 130 NEW BEST:: SOT 20672 SOS 6231 HAS SOPS 6231 HAS SOUS 5716 HAS SOUPS 5716 WITH SCORE 5722.231
AT ITER 139 NEW BEST:: SOT 20656 SOS 6199 HAS SOPS 6199 HAS SOUS 5684 HAS SOUPS 5684 WITH SCORE 5690.199
AT ITER 146 NEW BEST:: SOT 20652 SOS 6381 HAS SOPS 6381 HAS SOUS 5674 HAS SOUPS 5674 WITH SCORE 5680.381
AT ITER 153 NEW BEST:: SOT 20653 SOS 6347 HAS SOPS 6347 HAS SOUS 5657 HAS SOUPS 5657 WITH SCORE 5663.347
AT ITER 154 NEW BEST:: SOT 20636 SOS 6313 HAS SOPS 6313 HAS SOUS 5640 HAS SOUPS 5640 WITH SCORE 5646.313
AT ITER 156 NEW BEST:: SOT 20642 SOS 6325 HAS SOPS 6325 HAS SOUS 5629 HAS SOUPS 5629 WITH SCORE 5635.325
AT ITER 162 NEW BEST:: SOT 20642 SOS 6341 HAS SOPS 6341 HAS SOUS 5627 HAS SOUPS 5627 WITH SCORE 5633.341
AT ITER 164 NEW BEST:: SOT 20642 SOS 6341 HAS SOPS 6341 HAS SOUS 5626 HAS SOUPS 5626 WITH SCORE 5632.341
AT ITER 176 NEW BEST:: SOT 20635 SOS 6327 HAS SOPS 6327 HAS SOUS 5609 HAS SOUPS 5609 WITH SCORE 5615.327
AT ITER 187 NEW BEST:: SOT 20629 SOS 6278 HAS SOPS 6278 HAS SOUS 5572 HAS SOUPS 5572 WITH SCORE 5578.278
AT ITER 200 NEW BEST:: SOT 20624 SOS 6233 HAS SOPS 6233 HAS SOUS 5567 HAS SOUPS 5567 WITH SCORE 5573.233
AT ITER 205 NEW BEST:: SOT 20624 SOS 6218 HAS SOPS 6218 HAS SOUS 5552 HAS SOUPS 5552 WITH SCORE 5558.218
AT ITER 207 NEW BEST:: SOT 20624 SOS 6198 HAS SOPS 6198 HAS SOUS 5552 HAS SOUPS 5552 WITH SCORE 5558.198
AT ITER 217 NEW BEST:: SOT 20585 SOS 6207 HAS SOPS 6207 HAS SOUS 5546 HAS SOUPS 5546 WITH SCORE 5552.207
AT ITER 225 NEW BEST:: SOT 20585 SOS 6207 HAS SOPS 6207 HAS SOUS 5545 HAS SOUPS 5545 WITH SCORE 5551.207
AT ITER 227 NEW BEST:: SOT 20585 SOS 6203 HAS SOPS 6203 HAS SOUS 5541 HAS SOUPS 5541 WITH SCORE 5547.203
AT ITER 238 NEW BEST:: SOT 20568 SOS 6121 HAS SOPS 6121 HAS SOUS 5520 HAS SOUPS 5520 WITH SCORE 5526.121
AT ITER 250 NEW BEST:: SOT 20568 SOS 6121 HAS SOPS 6121 HAS SOUS 5511 HAS SOUPS 5511 WITH SCORE 5517.121
AT ITER 251 NEW BEST:: SOT 20568 SOS 6255 HAS SOPS 6255 HAS SOUS 5508 HAS SOUPS 5508 WITH SCORE 5514.255
AT ITER 253 NEW BEST:: SOT 20565 SOS 6254 HAS SOPS 6254 HAS SOUS 5505 HAS SOUPS 5505 WITH SCORE 5511.254
AT ITER 254 NEW BEST:: SOT 20539 SOS 6228 HAS SOPS 6228 HAS SOUS 5493 HAS SOUPS 5493 WITH SCORE 5499.228
AT ITER 255 NEW BEST:: SOT 20539 SOS 6198 HAS SOPS 6198 HAS SOUS 5493 HAS SOUPS 5493 WITH SCORE 5499.198
AT ITER 264 NEW BEST:: SOT 20539 SOS 6198 HAS SOPS 6198 HAS SOUS 5492 HAS SOUPS 5492 WITH SCORE 5498.198
AT ITER 275 NEW BEST:: SOT 20539 SOS 6188 HAS SOPS 6188 HAS SOUS 5482 HAS SOUPS 5482 WITH SCORE 5488.188
AT ITER 287 NEW BEST:: SOT 20551 SOS 6163 HAS SOPS 6163 HAS SOUS 5475 HAS SOUPS 5475 WITH SCORE 5481.163
AT ITER 289 NEW BEST:: SOT 20551 SOS 6161 HAS SOPS 6161 HAS SOUS 5473 HAS SOUPS 5473 WITH SCORE 5479.161
AT ITER 315 NEW BEST:: SOT 20551 SOS 6159 HAS SOPS 6159 HAS SOUS 5471 HAS SOUPS 5471 WITH SCORE 5477.159
AT ITER 369 NEW BEST:: SOT 20549 SOS 6156 HAS SOPS 6156 HAS SOUS 5468 HAS SOUPS 5468 WITH SCORE 5474.156
AT ITER 379 NEW BEST:: SOT 20549 SOS 6150 HAS SOPS 6150 HAS SOUS 5467 HAS SOUPS 5467 WITH SCORE 5473.15
AT ITER 380 NEW BEST:: SOT 20561 SOS 5990 HAS SOPS 5990 HAS SOUS 5444 HAS SOUPS 5444 WITH SCORE 5449.99
AT ITER 395 NEW BEST:: SOT 20577 SOS 5962 HAS SOPS 5962 HAS SOUS 5431 HAS SOUPS 5431 WITH SCORE 5436.962
AT ITER 399 NEW BEST:: SOT 20577 SOS 5958 HAS SOPS 5958 HAS SOUS 5427 HAS SOUPS 5427 WITH SCORE 5432.958
AT ITER 425 NEW BEST:: SOT 20575 SOS 5954 HAS SOPS 5954 HAS SOUS 5425 HAS SOUPS 5425 WITH SCORE 5430.954
AT ITER 428 NEW BEST:: SOT 20574 SOS 5952 HAS SOPS 5952 HAS SOUS 5423 HAS SOUPS 5423 WITH SCORE 5428.952
AT ITER 485 NEW BEST:: SOT 20587 SOS 5945 HAS SOPS 5945 HAS SOUS 5416 HAS SOUPS 5416 WITH SCORE 5421.945
AT ITER 490 NEW BEST:: SOT 20565 SOS 5906 HAS SOPS 5906 HAS SOUS 5405 HAS SOUPS 5405 WITH SCORE 5410.906
AT ITER 492 NEW BEST:: SOT 20562 SOS 5830 HAS SOPS 5830 HAS SOUS 5401 HAS SOUPS 5401 WITH SCORE 5406.83
AT ITER 501 NEW BEST:: SOT 20564 SOS 5810 HAS SOPS 5810 HAS SOUS 5398 HAS SOUPS 5398 WITH SCORE 5403.81
AT ITER 524 NEW BEST:: SOT 20556 SOS 5796 HAS SOPS 5796 HAS SOUS 5382 HAS SOUPS 5382 WITH SCORE 5387.796
AT ITER 534 NEW BEST:: SOT 20559 SOS 5765 HAS SOPS 5765 HAS SOUS 5369 HAS SOUPS 5369 WITH SCORE 5374.765
AT ITER 544 NEW BEST:: SOT 20588 SOS 5778 HAS SOPS 5778 HAS SOUS 5358 HAS SOUPS 5358 WITH SCORE 5363.778
AT ITER 549 NEW BEST:: SOT 20586 SOS 5774 HAS SOPS 5774 HAS SOUS 5354 HAS SOUPS 5354 WITH SCORE 5359.774
AT ITER 564 NEW BEST:: SOT 20601 SOS 5776 HAS SOPS 5776 HAS SOUS 5321 HAS SOUPS 5321 WITH SCORE 5326.776
AT ITER 570 NEW BEST:: SOT 20587 SOS 5760 HAS SOPS 5760 HAS SOUS 5305 HAS SOUPS 5305 WITH SCORE 5310.76
AT ITER 583 NEW BEST:: SOT 20554 SOS 5735 HAS SOPS 5735 HAS SOUS 5280 HAS SOUPS 5280 WITH SCORE 5285.735
AT ITER 590 NEW BEST:: SOT 20573 SOS 5809 HAS SOPS 5809 HAS SOUS 5203 HAS SOUPS 5203 WITH SCORE 5208.809
AT ITER 651 NEW BEST:: SOT 20562 SOS 5787 HAS SOPS 5787 HAS SOUS 5181 HAS SOUPS 5181 WITH SCORE 5186.787
AT ITER 661 NEW BEST:: SOT 20556 SOS 5769 HAS SOPS 5769 HAS SOUS 5169 HAS SOUPS 5169 WITH SCORE 5174.769
AT ITER 689 NEW BEST:: SOT 20558 SOS 5761 HAS SOPS 5761 HAS SOUS 5161 HAS SOUPS 5161 WITH SCORE 5166.761
AT ITER 697 NEW BEST:: SOT 20503 SOS 5730 HAS SOPS 5730 HAS SOUS 5106 HAS SOUPS 5106 WITH SCORE 5111.73
AT ITER 719 NEW BEST:: SOT 20498 SOS 5720 HAS SOPS 5720 HAS SOUS 5096 HAS SOUPS 5096 WITH SCORE 5101.72
AT ITER 749 NEW BEST:: SOT 20498 SOS 5713 HAS SOPS 5713 HAS SOUS 5092 HAS SOUPS 5092 WITH SCORE 5097.713
AT ITER 776 NEW BEST:: SOT 20463 SOS 5696 HAS SOPS 5696 HAS SOUS 5075 HAS SOUPS 5075 WITH SCORE 5080.696
AT ITER 808 NEW BEST:: SOT 20461 SOS 5692 HAS SOPS 5692 HAS SOUS 5071 HAS SOUPS 5071 WITH SCORE 5076.692
AT ITER 819 NEW BEST:: SOT 20461 SOS 5691 HAS SOPS 5691 HAS SOUS 5071 HAS SOUPS 5071 WITH SCORE 5076.691
AT ITER 820 NEW BEST:: SOT 20449 SOS 5654 HAS SOPS 5654 HAS SOUS 5034 HAS SOUPS 5034 WITH SCORE 5039.654
AT ITER 825 NEW BEST:: SOT 20449 SOS 5654 HAS SOPS 5654 HAS SOUS 5033 HAS SOUPS 5033 WITH SCORE 5038.654
AT ITER 829 NEW BEST:: SOT 20444 SOS 5641 HAS SOPS 5641 HAS SOUS 5020 HAS SOUPS 5020 WITH SCORE 5025.641
AT ITER 851 NEW BEST:: SOT 20437 SOS 5610 HAS SOPS 5610 HAS SOUS 5009 HAS SOUPS 5009 WITH SCORE 5014.61
AT ITER 887 NEW BEST:: SOT 20439 SOS 5595 HAS SOPS 5595 HAS SOUS 4995 HAS SOUPS 4995 WITH SCORE 5000.595
AT ITER 909 NEW BEST:: SOT 20449 SOS 5565 HAS SOPS 5565 HAS SOUS 4987 HAS SOUPS 4987 WITH SCORE 4992.565
AT ITER 923 NEW BEST:: SOT 20442 SOS 5525 HAS SOPS 5525 HAS SOUS 4968 HAS SOUPS 4968 WITH SCORE 4973.525
AT ITER 926 NEW BEST:: SOT 20442 SOS 5525 HAS SOPS 5525 HAS SOUS 4952 HAS SOUPS 4952 WITH SCORE 4957.525
AT ITER 932 NEW BEST:: SOT 20425 SOS 5491 HAS SOPS 5491 HAS SOUS 4918 HAS SOUPS 4918 WITH SCORE 4923.491
AT ITER 934 NEW BEST:: SOT 20421 SOS 5487 HAS SOPS 5487 HAS SOUS 4914 HAS SOUPS 4914 WITH SCORE 4919.487
AT ITER 944 NEW BEST:: SOT 20411 SOS 5467 HAS SOPS 5467 HAS SOUS 4904 HAS SOUPS 4904 WITH SCORE 4909.467
AT ITER 994 NEW BEST:: SOT 20409 SOS 5465 HAS SOPS 5465 HAS SOUS 4902 HAS SOUPS 4902 WITH SCORE 4907.465
AT ITER 998 NEW BEST:: SOT 20405 SOS 5489 HAS SOPS 5489 HAS SOUS 4898 HAS SOUPS 4898 WITH SCORE 4903.489
AT ITER 1017 NEW BEST:: SOT 20404 SOS 5487 HAS SOPS 5487 HAS SOUS 4897 HAS SOUPS 4897 WITH SCORE 4902.487
AT ITER 1055 NEW BEST:: SOT 20388 SOS 5309 HAS SOPS 5309 HAS SOUS 4808 HAS SOUPS 4808 WITH SCORE 4813.309
AT ITER 1072 NEW BEST:: SOT 20388 SOS 5296 HAS SOPS 5296 HAS SOUS 4795 HAS SOUPS 4795 WITH SCORE 4800.296
AT ITER 1092 NEW BEST:: SOT 20263 SOS 5488 HAS SOPS 5488 HAS SOUS 4758 HAS SOUPS 4758 WITH SCORE 4763.488
AT ITER 1145 NEW BEST:: SOT 20258 SOS 5478 HAS SOPS 5478 HAS SOUS 4748 HAS SOUPS 4748 WITH SCORE 4753.478
AT ITER 1155 NEW BEST:: SOT 20263 SOS 5470 HAS SOPS 5470 HAS SOUS 4717 HAS SOUPS 4717 WITH SCORE 4722.47
AT ITER 1157 NEW BEST:: SOT 20232 SOS 5408 HAS SOPS 5408 HAS SOUS 4655 HAS SOUPS 4655 WITH SCORE 4660.408
AT ITER 1165 NEW BEST:: SOT 20239 SOS 5401 HAS SOPS 5401 HAS SOUS 4648 HAS SOUPS 4648 WITH SCORE 4653.401
AT ITER 1169 NEW BEST:: SOT 20232 SOS 5387 HAS SOPS 5387 HAS SOUS 4634 HAS SOUPS 4634 WITH SCORE 4639.387
AT ITER 1187 NEW BEST:: SOT 20232 SOS 5383 HAS SOPS 5383 HAS SOUS 4630 HAS SOUPS 4630 WITH SCORE 4635.383
AT ITER 1211 NEW BEST:: SOT 20194 SOS 5152 HAS SOPS 5152 HAS SOUS 4573 HAS SOUPS 4573 WITH SCORE 4578.152
AT ITER 1221 NEW BEST:: SOT 20196 SOS 5151 HAS SOPS 5151 HAS SOUS 4572 HAS SOUPS 4572 WITH SCORE 4577.151
AT ITER 1243 NEW BEST:: SOT 20211 SOS 5166 HAS SOPS 5166 HAS SOUS 4570 HAS SOUPS 4570 WITH SCORE 4575.166
AT ITER 1245 NEW BEST:: SOT 20216 SOS 5164 HAS SOPS 5164 HAS SOUS 4565 HAS SOUPS 4565 WITH SCORE 4570.164
AT ITER 1277 NEW BEST:: SOT 20215 SOS 5162 HAS SOPS 5162 HAS SOUS 4559 HAS SOUPS 4559 WITH SCORE 4564.162
AT ITER 1290 NEW BEST:: SOT 20215 SOS 5146 HAS SOPS 5146 HAS SOUS 4559 HAS SOUPS 4559 WITH SCORE 4564.146
AT ITER 1298 NEW BEST:: SOT 20103 SOS 5072 HAS SOPS 5072 HAS SOUS 4466 HAS SOUPS 4466 WITH SCORE 4471.072
AT ITER 1344 NEW BEST:: SOT 20096 SOS 5058 HAS SOPS 5058 HAS SOUS 4456 HAS SOUPS 4456 WITH SCORE 4461.058
AT ITER 1350 NEW BEST:: SOT 20095 SOS 5062 HAS SOPS 5062 HAS SOUS 4446 HAS SOUPS 4446 WITH SCORE 4451.062
AT ITER 1354 NEW BEST:: SOT 20096 SOS 5064 HAS SOPS 5064 HAS SOUS 4437 HAS SOUPS 4437 WITH SCORE 4442.064
AT ITER 1361 NEW BEST:: SOT 20092 SOS 5056 HAS SOPS 5056 HAS SOUS 4429 HAS SOUPS 4429 WITH SCORE 4434.056
AT ITER 1364 NEW BEST:: SOT 20059 SOS 5043 HAS SOPS 5043 HAS SOUS 4429 HAS SOUPS 4429 WITH SCORE 4434.043
AT ITER 1386 NEW BEST:: SOT 20059 SOS 5043 HAS SOPS 5043 HAS SOUS 4427 HAS SOUPS 4427 WITH SCORE 4432.043
AT ITER 1393 NEW BEST:: SOT 20066 SOS 5030 HAS SOPS 5030 HAS SOUS 4422 HAS SOUPS 4422 WITH SCORE 4427.03
AT ITER 1438 NEW BEST:: SOT 20022 SOS 4942 HAS SOPS 4942 HAS SOUS 4378 HAS SOUPS 4378 WITH SCORE 4382.942
AT ITER 1446 NEW BEST:: SOT 20003 SOS 4903 HAS SOPS 4903 HAS SOUS 4326 HAS SOUPS 4326 WITH SCORE 4330.903
AT ITER 1453 NEW BEST:: SOT 20004 SOS 4899 HAS SOPS 4899 HAS SOUS 4313 HAS SOUPS 4313 WITH SCORE 4317.899
AT ITER 1460 NEW BEST:: SOT 19995 SOS 4872 HAS SOPS 4872 HAS SOUS 4295 HAS SOUPS 4295 WITH SCORE 4299.872
AT ITER 1535 NEW BEST:: SOT 19998 SOS 4881 HAS SOPS 4881 HAS SOUS 4291 HAS SOUPS 4291 WITH SCORE 4295.881
AT ITER 1599 NEW BEST:: SOT 19998 SOS 4878 HAS SOPS 4878 HAS SOUS 4288 HAS SOUPS 4288 WITH SCORE 4292.878
AT ITER 1628 NEW BEST:: SOT 19996 SOS 4874 HAS SOPS 4874 HAS SOUS 4284 HAS SOUPS 4284 WITH SCORE 4288.874
AT ITER 1659 NEW BEST:: SOT 19996 SOS 4865 HAS SOPS 4865 HAS SOUS 4275 HAS SOUPS 4275 WITH SCORE 4279.865
AT ITER 1752 NEW BEST:: SOT 19985 SOS 4863 HAS SOPS 4863 HAS SOUS 4275 HAS SOUPS 4275 WITH SCORE 4279.863
AT ITER 1774 NEW BEST:: SOT 19977 SOS 4847 HAS SOPS 4847 HAS SOUS 4259 HAS SOUPS 4259 WITH SCORE 4263.847
AT ITER 1786 NEW BEST:: SOT 19974 SOS 4832 HAS SOPS 4832 HAS SOUS 4244 HAS SOUPS 4244 WITH SCORE 4248.832
AT ITER 1842 NEW BEST:: SOT 19953 SOS 4814 HAS SOPS 4814 HAS SOUS 4219 HAS SOUPS 4219 WITH SCORE 4223.814
AT ITER 1869 NEW BEST:: SOT 19949 SOS 4806 HAS SOPS 4806 HAS SOUS 4215 HAS SOUPS 4215 WITH SCORE 4219.806
AT ITER 1889 NEW BEST:: SOT 19949 SOS 4796 HAS SOPS 4796 HAS SOUS 4215 HAS SOUPS 4215 WITH SCORE 4219.796
AT ITER 1891 NEW BEST:: SOT 19942 SOS 4782 HAS SOPS 4782 HAS SOUS 4201 HAS SOUPS 4201 WITH SCORE 4205.782
AT ITER 1894 NEW BEST:: SOT 19938 SOS 4774 HAS SOPS 4774 HAS SOUS 4197 HAS SOUPS 4197 WITH SCORE 4201.774
AT ITER 1915 NEW BEST:: SOT 19936 SOS 4770 HAS SOPS 4770 HAS SOUS 4193 HAS SOUPS 4193 WITH SCORE 4197.77
AT ITER 1952 NEW BEST:: SOT 19938 SOS 4765 HAS SOPS 4765 HAS SOUS 4165 HAS SOUPS 4165 WITH SCORE 4169.765
AT ITER 2030 NEW BEST:: SOT 19933 SOS 4751 HAS SOPS 4751 HAS SOUS 4156 HAS SOUPS 4156 WITH SCORE 4160.751
AT ITER 2044 NEW BEST:: SOT 19932 SOS 4749 HAS SOPS 4749 HAS SOUS 4154 HAS SOUPS 4154 WITH SCORE 4158.749
AT ITER 2057 NEW BEST:: SOT 19932 SOS 4735 HAS SOPS 4735 HAS SOUS 4154 HAS SOUPS 4154 WITH SCORE 4158.735
AT ITER 2073 NEW BEST:: SOT 19926 SOS 4723 HAS SOPS 4723 HAS SOUS 4142 HAS SOUPS 4142 WITH SCORE 4146.723
AT ITER 2103 NEW BEST:: SOT 19926 SOS 4722 HAS SOPS 4722 HAS SOUS 4142 HAS SOUPS 4142 WITH SCORE 4146.722
AT ITER 2120 NEW BEST:: SOT 19925 SOS 4720 HAS SOPS 4720 HAS SOUS 4140 HAS SOUPS 4140 WITH SCORE 4144.72
AT ITER 2146 NEW BEST:: SOT 19921 SOS 4722 HAS SOPS 4722 HAS SOUS 4136 HAS SOUPS 4136 WITH SCORE 4140.722
AT ITER 2151 NEW BEST:: SOT 19920 SOS 4717 HAS SOPS 4717 HAS SOUS 4134 HAS SOUPS 4134 WITH SCORE 4138.717
AT ITER 2189 NEW BEST:: SOT 19917 SOS 4703 HAS SOPS 4703 HAS SOUS 4128 HAS SOUPS 4128 WITH SCORE 4132.703
AT ITER 2300 NEW BEST:: SOT 19908 SOS 4641 HAS SOPS 4641 HAS SOUS 4101 HAS SOUPS 4101 WITH SCORE 4105.641
AT ITER 2306 NEW BEST:: SOT 19908 SOS 4621 HAS SOPS 4621 HAS SOUS 4101 HAS SOUPS 4101 WITH SCORE 4105.621
AT ITER 2308 NEW BEST:: SOT 19931 SOS 4597 HAS SOPS 4597 HAS SOUS 4100 HAS SOUPS 4100 WITH SCORE 4104.597
AT ITER 2312 NEW BEST:: SOT 19922 SOS 4579 HAS SOPS 4579 HAS SOUS 4082 HAS SOUPS 4082 WITH SCORE 4086.579
AT ITER 2320 NEW BEST:: SOT 19933 SOS 4540 HAS SOPS 4540 HAS SOUS 4063 HAS SOUPS 4063 WITH SCORE 4067.54
AT ITER 2337 NEW BEST:: SOT 19927 SOS 4528 HAS SOPS 4528 HAS SOUS 4051 HAS SOUPS 4051 WITH SCORE 4055.528
AT ITER 2353 NEW BEST:: SOT 19908 SOS 4509 HAS SOPS 4509 HAS SOUS 4051 HAS SOUPS 4051 WITH SCORE 4055.509
AT ITER 2428 NEW BEST:: SOT 19908 SOS 4492 HAS SOPS 4492 HAS SOUS 4034 HAS SOUPS 4034 WITH SCORE 4038.492
AT ITER 2567 NEW BEST:: SOT 19897 SOS 4481 HAS SOPS 4481 HAS SOUS 4034 HAS SOUPS 4034 WITH SCORE 4038.481
AT ITER 2631 NEW BEST:: SOT 19894 SOS 4491 HAS SOPS 4491 HAS SOUS 4028 HAS SOUPS 4028 WITH SCORE 4032.491
AT ITER 2641 NEW BEST:: SOT 19894 SOS 4490 HAS SOPS 4490 HAS SOUS 4028 HAS SOUPS 4028 WITH SCORE 4032.49
AT ITER 2645 NEW BEST:: SOT 19892 SOS 4480 HAS SOPS 4480 HAS SOUS 4021 HAS SOUPS 4021 WITH SCORE 4025.48
AT ITER 2730 NEW BEST:: SOT 19884 SOS 4448 HAS SOPS 4448 HAS SOUS 4005 HAS SOUPS 4005 WITH SCORE 4009.448
AT ITER 2747 NEW BEST:: SOT 19856 SOS 4399 HAS SOPS 4399 HAS SOUS 3956 HAS SOUPS 3956 WITH SCORE 3960.399
AT ITER 2768 NEW BEST:: SOT 19854 SOS 4395 HAS SOPS 4395 HAS SOUS 3952 HAS SOUPS 3952 WITH SCORE 3956.395
AT ITER 2787 NEW BEST:: SOT 19853 SOS 4394 HAS SOPS 4394 HAS SOUS 3951 HAS SOUPS 3951 WITH SCORE 3955.394
AT ITER 2794 NEW BEST:: SOT 19848 SOS 4384 HAS SOPS 4384 HAS SOUS 3941 HAS SOUPS 3941 WITH SCORE 3945.384
AT ITER 2832 NEW BEST:: SOT 19854 SOS 4396 HAS SOPS 4396 HAS SOUS 3931 HAS SOUPS 3931 WITH SCORE 3935.396
AT ITER 2835 NEW BEST:: SOT 19854 SOS 4384 HAS SOPS 4384 HAS SOUS 3925 HAS SOUPS 3925 WITH SCORE 3929.384
AT ITER 2856 NEW BEST:: SOT 19849 SOS 4374 HAS SOPS 4374 HAS SOUS 3915 HAS SOUPS 3915 WITH SCORE 3919.374
AT ITER 2867 NEW BEST:: SOT 19847 SOS 4370 HAS SOPS 4370 HAS SOUS 3911 HAS SOUPS 3911 WITH SCORE 3915.37
AT ITER 2988 NEW BEST:: SOT 19810 SOS 4359 HAS SOPS 4359 HAS SOUS 3888 HAS SOUPS 3888 WITH SCORE 3892.359
AT ITER 3015 NEW BEST:: SOT 19800 SOS 4331 HAS SOPS 4331 HAS SOUS 3857 HAS SOUPS 3857 WITH SCORE 3861.331
AT ITER 3033 NEW BEST:: SOT 19797 SOS 4309 HAS SOPS 4309 HAS SOUS 3849 HAS SOUPS 3849 WITH SCORE 3853.309
AT ITER 3042 NEW BEST:: SOT 19796 SOS 4307 HAS SOPS 4307 HAS SOUS 3847 HAS SOUPS 3847 WITH SCORE 3851.307
AT ITER 3043 NEW BEST:: SOT 19798 SOS 4303 HAS SOPS 4303 HAS SOUS 3845 HAS SOUPS 3845 WITH SCORE 3849.303
AT ITER 3070 NEW BEST:: SOT 19797 SOS 4272 HAS SOPS 4272 HAS SOUS 3814 HAS SOUPS 3814 WITH SCORE 3818.272
AT ITER 3076 NEW BEST:: SOT 19797 SOS 4266 HAS SOPS 4266 HAS SOUS 3807 HAS SOUPS 3807 WITH SCORE 3811.266
AT ITER 3114 NEW BEST:: SOT 19788 SOS 4248 HAS SOPS 4248 HAS SOUS 3787 HAS SOUPS 3787 WITH SCORE 3791.248
AT ITER 3127 NEW BEST:: SOT 19787 SOS 4246 HAS SOPS 4246 HAS SOUS 3785 HAS SOUPS 3785 WITH SCORE 3789.246
AT ITER 3147 NEW BEST:: SOT 19786 SOS 4244 HAS SOPS 4244 HAS SOUS 3783 HAS SOUPS 3783 WITH SCORE 3787.244
AT ITER 3159 NEW BEST:: SOT 19786 SOS 4227 HAS SOPS 4227 HAS SOUS 3766 HAS SOUPS 3766 WITH SCORE 3770.227
AT ITER 3194 NEW BEST:: SOT 19779 SOS 4213 HAS SOPS 4213 HAS SOUS 3758 HAS SOUPS 3758 WITH SCORE 3762.213
AT ITER 3230 NEW BEST:: SOT 19778 SOS 4211 HAS SOPS 4211 HAS SOUS 3756 HAS SOUPS 3756 WITH SCORE 3760.211
AT ITER 3268 NEW BEST:: SOT 19768 SOS 4191 HAS SOPS 4191 HAS SOUS 3733 HAS SOUPS 3733 WITH SCORE 3737.191
AT ITER 3343 NEW BEST:: SOT 19766 SOS 4189 HAS SOPS 4189 HAS SOUS 3731 HAS SOUPS 3731 WITH SCORE 3735.189
AT ITER 3359 NEW BEST:: SOT 19766 SOS 4189 HAS SOPS 4189 HAS SOUS 3723 HAS SOUPS 3723 WITH SCORE 3727.189
AT ITER 3378 NEW BEST:: SOT 19766 SOS 4188 HAS SOPS 4188 HAS SOUS 3723 HAS SOUPS 3723 WITH SCORE 3727.188
AT ITER 3379 NEW BEST:: SOT 19759 SOS 4178 HAS SOPS 4178 HAS SOUS 3723 HAS SOUPS 3723 WITH SCORE 3727.178
AT ITER 3389 NEW BEST:: SOT 19743 SOS 4167 HAS SOPS 4167 HAS SOUS 3713 HAS SOUPS 3713 WITH SCORE 3717.167
AT ITER 3403 NEW BEST:: SOT 19741 SOS 4163 HAS SOPS 4163 HAS SOUS 3709 HAS SOUPS 3709 WITH SCORE 3713.163
AT ITER 3416 NEW BEST:: SOT 19746 SOS 4155 HAS SOPS 4155 HAS SOUS 3701 HAS SOUPS 3701 WITH SCORE 3705.155
AT ITER 3444 NEW BEST:: SOT 19746 SOS 4155 HAS SOPS 4155 HAS SOUS 3697 HAS SOUPS 3697 WITH SCORE 3701.155
AT ITER 3463 NEW BEST:: SOT 19745 SOS 4146 HAS SOPS 4146 HAS SOUS 3695 HAS SOUPS 3695 WITH SCORE 3699.146
AT ITER 3465 NEW BEST:: SOT 19738 SOS 4132 HAS SOPS 4132 HAS SOUS 3681 HAS SOUPS 3681 WITH SCORE 3685.132
AT ITER 3521 NEW BEST:: SOT 19735 SOS 4125 HAS SOPS 4125 HAS SOUS 3674 HAS SOUPS 3674 WITH SCORE 3678.125
AT ITER 3567 NEW BEST:: SOT 19732 SOS 4119 HAS SOPS 4119 HAS SOUS 3668 HAS SOUPS 3668 WITH SCORE 3672.119
AT ITER 3571 NEW BEST:: SOT 19732 SOS 4116 HAS SOPS 4116 HAS SOUS 3668 HAS SOUPS 3668 WITH SCORE 3672.116
AT ITER 3612 NEW BEST:: SOT 19732 SOS 4116 HAS SOPS 4116 HAS SOUS 3664 HAS SOUPS 3664 WITH SCORE 3668.116
AT ITER 3646 NEW BEST:: SOT 19731 SOS 4114 HAS SOPS 4114 HAS SOUS 3662 HAS SOUPS 3662 WITH SCORE 3666.114
AT ITER 3655 NEW BEST:: SOT 19726 SOS 4104 HAS SOPS 4104 HAS SOUS 3652 HAS SOUPS 3652 WITH SCORE 3656.104
AT ITER 3699 NEW BEST:: SOT 19728 SOS 4094 HAS SOPS 4094 HAS SOUS 3645 HAS SOUPS 3645 WITH SCORE 3649.094
AT ITER 3729 NEW BEST:: SOT 19728 SOS 4091 HAS SOPS 4091 HAS SOUS 3645 HAS SOUPS 3645 WITH SCORE 3649.091
AT ITER 3743 NEW BEST:: SOT 19727 SOS 4083 HAS SOPS 4083 HAS SOUS 3637 HAS SOUPS 3637 WITH SCORE 3641.083
AT ITER 3765 NEW BEST:: SOT 19719 SOS 4083 HAS SOPS 4083 HAS SOUS 3635 HAS SOUPS 3635 WITH SCORE 3639.083
AT ITER 3790 NEW BEST:: SOT 19718 SOS 4080 HAS SOPS 4080 HAS SOUS 3632 HAS SOUPS 3632 WITH SCORE 3636.08
AT ITER 3817 NEW BEST:: SOT 19718 SOS 4078 HAS SOPS 4078 HAS SOUS 3632 HAS SOUPS 3632 WITH SCORE 3636.078
AT ITER 3847 NEW BEST:: SOT 19726 SOS 4095 HAS SOPS 4095 HAS SOUS 3627 HAS SOUPS 3627 WITH SCORE 3631.095
AT ITER 3876 NEW BEST:: SOT 19726 SOS 4083 HAS SOPS 4083 HAS SOUS 3621 HAS SOUPS 3621 WITH SCORE 3625.083
AT ITER 3888 NEW BEST:: SOT 19722 SOS 4075 HAS SOPS 4075 HAS SOUS 3616 HAS SOUPS 3616 WITH SCORE 3620.075
AT ITER 3905 NEW BEST:: SOT 19720 SOS 4072 HAS SOPS 4072 HAS SOUS 3613 HAS SOUPS 3613 WITH SCORE 3617.072
AT ITER 4015 NEW BEST:: SOT 19705 SOS 4066 HAS SOPS 4066 HAS SOUS 3607 HAS SOUPS 3607 WITH SCORE 3611.066
AT ITER 4024 NEW BEST:: SOT 19699 SOS 4065 HAS SOPS 4065 HAS SOUS 3606 HAS SOUPS 3606 WITH SCORE 3610.065
AT ITER 4146 NEW BEST:: SOT 19699 SOS 4057 HAS SOPS 4057 HAS SOUS 3598 HAS SOUPS 3598 WITH SCORE 3602.057
AT ITER 4163 NEW BEST:: SOT 19693 SOS 4045 HAS SOPS 4045 HAS SOUS 3587 HAS SOUPS 3587 WITH SCORE 3591.045
AT ITER 4176 NEW BEST:: SOT 19693 SOS 4045 HAS SOPS 4045 HAS SOUS 3586 HAS SOUPS 3586 WITH SCORE 3590.045
AT ITER 4261 NEW BEST:: SOT 19691 SOS 4044 HAS SOPS 4044 HAS SOUS 3585 HAS SOUPS 3585 WITH SCORE 3589.044
AT ITER 4271 NEW BEST:: SOT 19689 SOS 4040 HAS SOPS 4040 HAS SOUS 3583 HAS SOUPS 3583 WITH SCORE 3587.04
AT ITER 4304 NEW BEST:: SOT 19695 SOS 4030 HAS SOPS 4030 HAS SOUS 3577 HAS SOUPS 3577 WITH SCORE 3581.03
AT ITER 4307 NEW BEST:: SOT 19694 SOS 4028 HAS SOPS 4028 HAS SOUS 3575 HAS SOUPS 3575 WITH SCORE 3579.028
AT ITER 4338 NEW BEST:: SOT 19698 SOS 4026 HAS SOPS 4026 HAS SOUS 3573 HAS SOUPS 3573 WITH SCORE 3577.026
AT ITER 4339 NEW BEST:: SOT 19694 SOS 4018 HAS SOPS 4018 HAS SOUS 3565 HAS SOUPS 3565 WITH SCORE 3569.018
AT ITER 4391 NEW BEST:: SOT 19694 SOS 4012 HAS SOPS 4012 HAS SOUS 3562 HAS SOUPS 3562 WITH SCORE 3566.012
AT ITER 4429 NEW BEST:: SOT 19691 SOS 4002 HAS SOPS 4002 HAS SOUS 3556 HAS SOUPS 3556 WITH SCORE 3560.002
AT ITER 4447 NEW BEST:: SOT 19691 SOS 4001 HAS SOPS 4001 HAS SOUS 3555 HAS SOUPS 3555 WITH SCORE 3559.001
AT ITER 4494 NEW BEST:: SOT 19682 SOS 3983 HAS SOPS 3983 HAS SOUS 3537 HAS SOUPS 3537 WITH SCORE 3540.983
AT ITER 4522 NEW BEST:: SOT 19687 SOS 3975 HAS SOPS 3975 HAS SOUS 3535 HAS SOUPS 3535 WITH SCORE 3538.975
AT ITER 4550 NEW BEST:: SOT 19673 SOS 3954 HAS SOPS 3954 HAS SOUS 3518 HAS SOUPS 3518 WITH SCORE 3521.954
AT ITER 4620 NEW BEST:: SOT 19676 SOS 3950 HAS SOPS 3950 HAS SOUS 3517 HAS SOUPS 3517 WITH SCORE 3520.95
AT ITER 4653 NEW BEST:: SOT 19688 SOS 3943 HAS SOPS 3943 HAS SOUS 3510 HAS SOUPS 3510 WITH SCORE 3513.943
AT ITER 4752 NEW BEST:: SOT 19677 SOS 3941 HAS SOPS 3941 HAS SOUS 3508 HAS SOUPS 3508 WITH SCORE 3511.941
AT ITER 4766 NEW BEST:: SOT 19667 SOS 3929 HAS SOPS 3929 HAS SOUS 3496 HAS SOUPS 3496 WITH SCORE 3499.929
AT ITER 4769 NEW BEST:: SOT 19666 SOS 3925 HAS SOPS 3925 HAS SOUS 3494 HAS SOUPS 3494 WITH SCORE 3497.925
AT ITER 4808 NEW BEST:: SOT 19660 SOS 3921 HAS SOPS 3921 HAS SOUS 3490 HAS SOUPS 3490 WITH SCORE 3493.921
AT ITER 4835 NEW BEST:: SOT 19659 SOS 3919 HAS SOPS 3919 HAS SOUS 3488 HAS SOUPS 3488 WITH SCORE 3491.919
AT ITER 4862 NEW BEST:: SOT 19655 SOS 3911 HAS SOPS 3911 HAS SOUS 3480 HAS SOUPS 3480 WITH SCORE 3483.911
AT ITER 4927 NEW BEST:: SOT 19650 SOS 3910 HAS SOPS 3910 HAS SOUS 3475 HAS SOUPS 3475 WITH SCORE 3478.91
AT ITER 4942 NEW BEST:: SOT 19644 SOS 3904 HAS SOPS 3904 HAS SOUS 3463 HAS SOUPS 3463 WITH SCORE 3466.904
AT ITER 4998 NEW BEST:: SOT 19635 SOS 3883 HAS SOPS 3883 HAS SOUS 3442 HAS SOUPS 3442 WITH SCORE 3445.883
AT ITER 5110 NEW BEST:: SOT 19632 SOS 3877 HAS SOPS 3877 HAS SOUS 3436 HAS SOUPS 3436 WITH SCORE 3439.877
AT ITER 5195 NEW BEST:: SOT 19641 SOS 3869 HAS SOPS 3869 HAS SOUS 3435 HAS SOUPS 3435 WITH SCORE 3438.869
AT ITER 5311 NEW BEST:: SOT 19640 SOS 3863 HAS SOPS 3863 HAS SOUS 3431 HAS SOUPS 3431 WITH SCORE 3434.863
AT ITER 5313 NEW BEST:: SOT 19635 SOS 3853 HAS SOPS 3853 HAS SOUS 3421 HAS SOUPS 3421 WITH SCORE 3424.853
AT ITER 5376 NEW BEST:: SOT 19635 SOS 3852 HAS SOPS 3852 HAS SOUS 3420 HAS SOUPS 3420 WITH SCORE 3423.852
AT ITER 5431 NEW BEST:: SOT 19635 SOS 3783 HAS SOPS 3783 HAS SOUS 3396 HAS SOUPS 3396 WITH SCORE 3399.783
AT ITER 5456 NEW BEST:: SOT 19640 SOS 3804 HAS SOPS 3804 HAS SOUS 3395 HAS SOUPS 3395 WITH SCORE 3398.804
AT ITER 5468 NEW BEST:: SOT 19639 SOS 3802 HAS SOPS 3802 HAS SOUS 3394 HAS SOUPS 3394 WITH SCORE 3397.802
AT ITER 5541 NEW BEST:: SOT 19639 SOS 3802 HAS SOPS 3802 HAS SOUS 3383 HAS SOUPS 3383 WITH SCORE 3386.802
AT ITER 5563 NEW BEST:: SOT 19626 SOS 3786 HAS SOPS 3786 HAS SOUS 3367 HAS SOUPS 3367 WITH SCORE 3370.786
AT ITER 5573 NEW BEST:: SOT 19624 SOS 3779 HAS SOPS 3779 HAS SOUS 3360 HAS SOUPS 3360 WITH SCORE 3363.779
AT ITER 5710 NEW BEST:: SOT 19622 SOS 3777 HAS SOPS 3777 HAS SOUS 3359 HAS SOUPS 3359 WITH SCORE 3362.777
AT ITER 5750 NEW BEST:: SOT 19614 SOS 3761 HAS SOPS 3761 HAS SOUS 3323 HAS SOUPS 3323 WITH SCORE 3326.761
AT ITER 5751 NEW BEST:: SOT 19606 SOS 3745 HAS SOPS 3745 HAS SOUS 3317 HAS SOUPS 3317 WITH SCORE 3320.745
AT ITER 5770 NEW BEST:: SOT 19605 SOS 3743 HAS SOPS 3743 HAS SOUS 3314 HAS SOUPS 3314 WITH SCORE 3317.743
AT ITER 5835 NEW BEST:: SOT 19605 SOS 3743 HAS SOPS 3743 HAS SOUS 3312 HAS SOUPS 3312 WITH SCORE 3315.743
AT ITER 5864 NEW BEST:: SOT 19601 SOS 3735 HAS SOPS 3735 HAS SOUS 3307 HAS SOUPS 3307 WITH SCORE 3310.735
AT ITER 5870 NEW BEST:: SOT 19603 SOS 3726 HAS SOPS 3726 HAS SOUS 3303 HAS SOUPS 3303 WITH SCORE 3306.726
AT ITER 5969 NEW BEST:: SOT 19600 SOS 3720 HAS SOPS 3720 HAS SOUS 3297 HAS SOUPS 3297 WITH SCORE 3300.72
AT ITER 6044 NEW BEST:: SOT 19608 SOS 3736 HAS SOPS 3736 HAS SOUS 3296 HAS SOUPS 3296 WITH SCORE 3299.736
AT ITER 6051 NEW BEST:: SOT 19607 SOS 3734 HAS SOPS 3734 HAS SOUS 3294 HAS SOUPS 3294 WITH SCORE 3297.734
AT ITER 6063 NEW BEST:: SOT 19608 SOS 3725 HAS SOPS 3725 HAS SOUS 3285 HAS SOUPS 3285 WITH SCORE 3288.725
AT ITER 6069 NEW BEST:: SOT 19605 SOS 3722 HAS SOPS 3722 HAS SOUS 3277 HAS SOUPS 3277 WITH SCORE 3280.722
AT ITER 6072 NEW BEST:: SOT 19587 SOS 3706 HAS SOPS 3706 HAS SOUS 3259 HAS SOUPS 3259 WITH SCORE 3262.706
AT ITER 6106 NEW BEST:: SOT 19584 SOS 3700 HAS SOPS 3700 HAS SOUS 3253 HAS SOUPS 3253 WITH SCORE 3256.7
AT ITER 6125 NEW BEST:: SOT 19584 SOS 3697 HAS SOPS 3697 HAS SOUS 3253 HAS SOUPS 3253 WITH SCORE 3256.697
AT ITER 6136 NEW BEST:: SOT 19582 SOS 3693 HAS SOPS 3693 HAS SOUS 3249 HAS SOUPS 3249 WITH SCORE 3252.693
AT ITER 6220 NEW BEST:: SOT 19583 SOS 3691 HAS SOPS 3691 HAS SOUS 3247 HAS SOUPS 3247 WITH SCORE 3250.691
AT ITER 6261 NEW BEST:: SOT 19585 SOS 3679 HAS SOPS 3679 HAS SOUS 3242 HAS SOUPS 3242 WITH SCORE 3245.679
AT ITER 6340 NEW BEST:: SOT 19584 SOS 3678 HAS SOPS 3678 HAS SOUS 3241 HAS SOUPS 3241 WITH SCORE 3244.678
AT ITER 6377 NEW BEST:: SOT 19580 SOS 3670 HAS SOPS 3670 HAS SOUS 3233 HAS SOUPS 3233 WITH SCORE 3236.67
AT ITER 6401 NEW BEST:: SOT 19579 SOS 3668 HAS SOPS 3668 HAS SOUS 3233 HAS SOUPS 3233 WITH SCORE 3236.668
AT ITER 6434 NEW BEST:: SOT 19579 SOS 3668 HAS SOPS 3668 HAS SOUS 3232 HAS SOUPS 3232 WITH SCORE 3235.668
AT ITER 6550 NEW BEST:: SOT 19574 SOS 3658 HAS SOPS 3658 HAS SOUS 3222 HAS SOUPS 3222 WITH SCORE 3225.658
AT ITER 6554 NEW BEST:: SOT 19574 SOS 3650 HAS SOPS 3650 HAS SOUS 3221 HAS SOUPS 3221 WITH SCORE 3224.65
AT ITER 6555 NEW BEST:: SOT 19570 SOS 3642 HAS SOPS 3642 HAS SOUS 3213 HAS SOUPS 3213 WITH SCORE 3216.642
AT ITER 6567 NEW BEST:: SOT 19574 SOS 3640 HAS SOPS 3640 HAS SOUS 3212 HAS SOUPS 3212 WITH SCORE 3215.64
AT ITER 6599 NEW BEST:: SOT 19649 SOS 3635 HAS SOPS 3635 HAS SOUS 3207 HAS SOUPS 3207 WITH SCORE 3210.635
AT ITER 6644 NEW BEST:: SOT 19645 SOS 3633 HAS SOPS 3633 HAS SOUS 3205 HAS SOUPS 3205 WITH SCORE 3208.633
AT ITER 6800 NEW BEST:: SOT 19645 SOS 3633 HAS SOPS 3633 HAS SOUS 3204 HAS SOUPS 3204 WITH SCORE 3207.633
AT ITER 6804 NEW BEST:: SOT 19650 SOS 3627 HAS SOPS 3627 HAS SOUS 3203 HAS SOUPS 3203 WITH SCORE 3206.627
AT ITER 6884 NEW BEST:: SOT 19646 SOS 3623 HAS SOPS 3623 HAS SOUS 3203 HAS SOUPS 3203 WITH SCORE 3206.623
AT ITER 6930 NEW BEST:: SOT 19639 SOS 3609 HAS SOPS 3609 HAS SOUS 3189 HAS SOUPS 3189 WITH SCORE 3192.609
AT ITER 7008 NEW BEST:: SOT 19639 SOS 3609 HAS SOPS 3609 HAS SOUS 3188 HAS SOUPS 3188 WITH SCORE 3191.609
AT ITER 7180 NEW BEST:: SOT 19638 SOS 3608 HAS SOPS 3608 HAS SOUS 3187 HAS SOUPS 3187 WITH SCORE 3190.608
AT ITER 7188 NEW BEST:: SOT 19613 SOS 3592 HAS SOPS 3592 HAS SOUS 3171 HAS SOUPS 3171 WITH SCORE 3174.592
AT ITER 7247 NEW BEST:: SOT 19615 SOS 3590 HAS SOPS 3590 HAS SOUS 3171 HAS SOUPS 3171 WITH SCORE 3174.59
AT ITER 7288 NEW BEST:: SOT 19606 SOS 3563 HAS SOPS 3563 HAS SOUS 3144 HAS SOUPS 3144 WITH SCORE 3147.563
AT ITER 7340 NEW BEST:: SOT 19606 SOS 3562 HAS SOPS 3562 HAS SOUS 3144 HAS SOUPS 3144 WITH SCORE 3147.562
AT ITER 7472 NEW BEST:: SOT 19609 SOS 3568 HAS SOPS 3568 HAS SOUS 3141 HAS SOUPS 3141 WITH SCORE 3144.568
AT ITER 7786 NEW BEST:: SOT 19607 SOS 3565 HAS SOPS 3565 HAS SOUS 3137 HAS SOUPS 3137 WITH SCORE 3140.565
AT ITER 7799 NEW BEST:: SOT 19607 SOS 3537 HAS SOPS 3537 HAS SOUS 3123 HAS SOUPS 3123 WITH SCORE 3126.537
AT ITER 7822 NEW BEST:: SOT 19599 SOS 3531 HAS SOPS 3531 HAS SOUS 3114 HAS SOUPS 3114 WITH SCORE 3117.531
AT ITER 7859 NEW BEST:: SOT 19598 SOS 3527 HAS SOPS 3527 HAS SOUS 3112 HAS SOUPS 3112 WITH SCORE 3115.527
AT ITER 7863 NEW BEST:: SOT 19597 SOS 3520 HAS SOPS 3520 HAS SOUS 3110 HAS SOUPS 3110 WITH SCORE 3113.52
AT ITER 7964 NEW BEST:: SOT 19592 SOS 3510 HAS SOPS 3510 HAS SOUS 3105 HAS SOUPS 3105 WITH SCORE 3108.51
AT ITER 8013 NEW BEST:: SOT 19582 SOS 3508 HAS SOPS 3508 HAS SOUS 3095 HAS SOUPS 3095 WITH SCORE 3098.508
AT ITER 8028 NEW BEST:: SOT 19576 SOS 3496 HAS SOPS 3496 HAS SOUS 3089 HAS SOUPS 3089 WITH SCORE 3092.496
AT ITER 8040 NEW BEST:: SOT 19571 SOS 3492 HAS SOPS 3492 HAS SOUS 3083 HAS SOUPS 3083 WITH SCORE 3086.492
AT ITER 8099 NEW BEST:: SOT 19571 SOS 3492 HAS SOPS 3492 HAS SOUS 3082 HAS SOUPS 3082 WITH SCORE 3085.492
AT ITER 8152 NEW BEST:: SOT 19569 SOS 3492 HAS SOPS 3492 HAS SOUS 3080 HAS SOUPS 3080 WITH SCORE 3083.492
AT ITER 8165 NEW BEST:: SOT 19567 SOS 3488 HAS SOPS 3488 HAS SOUS 3079 HAS SOUPS 3079 WITH SCORE 3082.488
AT ITER 8176 NEW BEST:: SOT 19563 SOS 3476 HAS SOPS 3476 HAS SOUS 3067 HAS SOUPS 3067 WITH SCORE 3070.476
AT ITER 8180 NEW BEST:: SOT 19566 SOS 3479 HAS SOPS 3479 HAS SOUS 3065 HAS SOUPS 3065 WITH SCORE 3068.479
AT ITER 8202 NEW BEST:: SOT 19565 SOS 3478 HAS SOPS 3478 HAS SOUS 3064 HAS SOUPS 3064 WITH SCORE 3067.478
AT ITER 8306 NEW BEST:: SOT 19564 SOS 3476 HAS SOPS 3476 HAS SOUS 3064 HAS SOUPS 3064 WITH SCORE 3067.476
AT ITER 8337 NEW BEST:: SOT 19562 SOS 3473 HAS SOPS 3473 HAS SOUS 3061 HAS SOUPS 3061 WITH SCORE 3064.473
AT ITER 8353 NEW BEST:: SOT 19562 SOS 3471 HAS SOPS 3471 HAS SOUS 3060 HAS SOUPS 3060 WITH SCORE 3063.471
AT ITER 8538 NEW BEST:: SOT 19563 SOS 3471 HAS SOPS 3471 HAS SOUS 3059 HAS SOUPS 3059 WITH SCORE 3062.471
AT ITER 8692 NEW BEST:: SOT 19563 SOS 3471 HAS SOPS 3471 HAS SOUS 3058 HAS SOUPS 3058 WITH SCORE 3061.471
AT ITER 8710 NEW BEST:: SOT 19553 SOS 3469 HAS SOPS 3469 HAS SOUS 3056 HAS SOUPS 3056 WITH SCORE 3059.469
AT ITER 8751 NEW BEST:: SOT 19553 SOS 3469 HAS SOPS 3469 HAS SOUS 3055 HAS SOUPS 3055 WITH SCORE 3058.469
AT ITER 8787 NEW BEST:: SOT 19553 SOS 3464 HAS SOPS 3464 HAS SOUS 3045 HAS SOUPS 3045 WITH SCORE 3048.464
AT ITER 8830 NEW BEST:: SOT 19552 SOS 3462 HAS SOPS 3462 HAS SOUS 3044 HAS SOUPS 3044 WITH SCORE 3047.462
AT ITER 8873 NEW BEST:: SOT 19552 SOS 3462 HAS SOPS 3462 HAS SOUS 3032 HAS SOUPS 3032 WITH SCORE 3035.462
AT ITER 8994 NEW BEST:: SOT 19550 SOS 3453 HAS SOPS 3453 HAS SOUS 3028 HAS SOUPS 3028 WITH SCORE 3031.453
AT ITER 9089 NEW BEST:: SOT 19544 SOS 3447 HAS SOPS 3447 HAS SOUS 3023 HAS SOUPS 3023 WITH SCORE 3026.447
AT ITER 9113 NEW BEST:: SOT 19543 SOS 3445 HAS SOPS 3445 HAS SOUS 3021 HAS SOUPS 3021 WITH SCORE 3024.445
AT ITER 9135 NEW BEST:: SOT 19545 SOS 3439 HAS SOPS 3439 HAS SOUS 3020 HAS SOUPS 3020 WITH SCORE 3023.439
AT ITER 9189 NEW BEST:: SOT 19545 SOS 3437 HAS SOPS 3437 HAS SOUS 3019 HAS SOUPS 3019 WITH SCORE 3022.437
AT ITER 9371 NEW BEST:: SOT 19544 SOS 3435 HAS SOPS 3435 HAS SOUS 3017 HAS SOUPS 3017 WITH SCORE 3020.435
AT ITER 9415 NEW BEST:: SOT 19541 SOS 3421 HAS SOPS 3421 HAS SOUS 3007 HAS SOUPS 3007 WITH SCORE 3010.421
AT ITER 9577 NEW BEST:: SOT 19541 SOS 3404 HAS SOPS 3404 HAS SOUS 3005 HAS SOUPS 3005 WITH SCORE 3008.404
AT ITER 9579 NEW BEST:: SOT 19541 SOS 3403 HAS SOPS 3403 HAS SOUS 3004 HAS SOUPS 3004 WITH SCORE 3007.403
AT ITER 9635 NEW BEST:: SOT 19540 SOS 3400 HAS SOPS 3400 HAS SOUS 3002 HAS SOUPS 3002 WITH SCORE 3005.4
AT ITER 9638 NEW BEST:: SOT 19553 SOS 3413 HAS SOPS 3413 HAS SOUS 2999 HAS SOUPS 2999 WITH SCORE 3002.413
AT ITER 9651 NEW BEST:: SOT 19553 SOS 3413 HAS SOPS 3413 HAS SOUS 2997 HAS SOUPS 2997 WITH SCORE 3000.413
AT ITER 9779 NEW BEST:: SOT 19549 SOS 3405 HAS SOPS 3405 HAS SOUS 2994 HAS SOUPS 2994 WITH SCORE 2997.405
AT ITER 9798 NEW BEST:: SOT 19549 SOS 3405 HAS SOPS 3405 HAS SOUS 2992 HAS SOUPS 2992 WITH SCORE 2995.405
AT ITER 9845 NEW BEST:: SOT 19542 SOS 3401 HAS SOPS 3401 HAS SOUS 2988 HAS SOUPS 2988 WITH SCORE 2991.401
AT ITER 9854 NEW BEST:: SOT 19541 SOS 3400 HAS SOPS 3400 HAS SOUS 2988 HAS SOUPS 2988 WITH SCORE 2991.4
AT ITER 9939 NEW BEST:: SOT 19539 SOS 3403 HAS SOPS 3403 HAS SOUS 2986 HAS SOUPS 2986 WITH SCORE 2989.403
AT ITER 9989 NEW BEST:: SOT 19535 SOS 3396 HAS SOPS 3396 HAS SOUS 2983 HAS SOUPS 2983 WITH SCORE 2986.396
STATE_SPACE STATES 914000417611 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 8680224056432 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678517354716

--------------------
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//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ 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="GPUForwardProgress-PT-08b"
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 GPUForwardProgress-PT-08b, 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-167840349000032"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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