Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r267-smll-167863541800400.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 ParamProductionCell-PT-4, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r267-smll-167863541800400
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 644K
-rw-r--r-- 1 mcc users 9.3K Feb 26 17:17 CTLCardinality.txt
-rw-r--r-- 1 mcc users 86K Feb 26 17:17 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.0K Feb 26 17:16 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 26 17:16 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.8K Feb 25 16:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 16:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 25 16:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 17:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 117K Feb 26 17:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.1K Feb 26 17:18 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 26 17:18 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 16:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 174K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678873700867

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=ParamProductionCell-PT-4
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-15 09:48:23] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-15 09:48:23] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-15 09:48:23] [INFO ] Load time of PNML (sax parser for PT used): 137 ms
[2023-03-15 09:48:23] [INFO ] Transformed 231 places.
[2023-03-15 09:48:23] [INFO ] Transformed 202 transitions.
[2023-03-15 09:48:23] [INFO ] Found NUPN structural information;
[2023-03-15 09:48:23] [INFO ] Parsed PT model containing 231 places and 202 transitions and 846 arcs in 278 ms.
[2023-03-15 09:48:23] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 231 places, 202 transitions and 846 arcs took 11 ms.
Total runtime 352 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ParamProductionCell (PT), instance 4
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: 231 places, 202 transitions, 846 arcs.
AT ITER 0 NEW BEST:: SOT 26120 SOS 7713 HAS SOPS 6858 HAS SOUS 7070 HAS SOUPS 6442 WITH SCORE 6449.713
AT ITER 30 NEW BEST:: SOT 26086 SOS 7721 HAS SOPS 6866 HAS SOUS 7063 HAS SOUPS 6435 WITH SCORE 6442.721
AT ITER 44 NEW BEST:: SOT 26086 SOS 7707 HAS SOPS 6852 HAS SOUS 7049 HAS SOUPS 6421 WITH SCORE 6428.707
AT ITER 59 NEW BEST:: SOT 26088 SOS 7687 HAS SOPS 6867 HAS SOUS 7014 HAS SOUPS 6421 WITH SCORE 6428.687
AT ITER 65 NEW BEST:: SOT 26088 SOS 7604 HAS SOPS 6813 HAS SOUS 6957 HAS SOUPS 6393 WITH SCORE 6400.604
AT ITER 70 NEW BEST:: SOT 26079 SOS 7626 HAS SOPS 6827 HAS SOUS 6960 HAS SOUPS 6388 WITH SCORE 6395.626
AT ITER 72 NEW BEST:: SOT 26067 SOS 7626 HAS SOPS 6815 HAS SOUS 6960 HAS SOUPS 6376 WITH SCORE 6383.626
AT ITER 85 NEW BEST:: SOT 26065 SOS 7624 HAS SOPS 6813 HAS SOUS 6960 HAS SOUPS 6376 WITH SCORE 6383.624
AT ITER 94 NEW BEST:: SOT 26065 SOS 7571 HAS SOPS 6788 HAS SOUS 6932 HAS SOUPS 6376 WITH SCORE 6383.571
AT ITER 104 NEW BEST:: SOT 26064 SOS 7570 HAS SOPS 6773 HAS SOUS 6931 HAS SOUPS 6361 WITH SCORE 6368.57
AT ITER 111 NEW BEST:: SOT 26052 SOS 7514 HAS SOPS 6723 HAS SOUS 6860 HAS SOUPS 6319 WITH SCORE 6326.514
AT ITER 124 NEW BEST:: SOT 26052 SOS 7514 HAS SOPS 6705 HAS SOUS 6877 HAS SOUPS 6318 WITH SCORE 6325.514
AT ITER 129 NEW BEST:: SOT 26034 SOS 7468 HAS SOPS 6665 HAS SOUS 6813 HAS SOUPS 6278 WITH SCORE 6285.468
AT ITER 164 NEW BEST:: SOT 26027 SOS 7459 HAS SOPS 6649 HAS SOUS 6804 HAS SOUPS 6262 WITH SCORE 6269.459
AT ITER 180 NEW BEST:: SOT 26027 SOS 7412 HAS SOPS 6629 HAS SOUS 6730 HAS SOUPS 6222 WITH SCORE 6229.412
AT ITER 191 NEW BEST:: SOT 26001 SOS 7379 HAS SOPS 6623 HAS SOUS 6719 HAS SOUPS 6216 WITH SCORE 6223.379
AT ITER 199 NEW BEST:: SOT 25995 SOS 7363 HAS SOPS 6607 HAS SOUS 6707 HAS SOUPS 6204 WITH SCORE 6211.363
AT ITER 202 NEW BEST:: SOT 25990 SOS 7358 HAS SOPS 6609 HAS SOUS 6701 HAS SOUPS 6198 WITH SCORE 6205.358
AT ITER 206 NEW BEST:: SOT 25961 SOS 7329 HAS SOPS 6580 HAS SOUS 6672 HAS SOUPS 6169 WITH SCORE 6176.329
AT ITER 236 NEW BEST:: SOT 25960 SOS 7328 HAS SOPS 6579 HAS SOUS 6671 HAS SOUPS 6168 WITH SCORE 6175.328
AT ITER 296 NEW BEST:: SOT 25958 SOS 7326 HAS SOPS 6577 HAS SOUS 6669 HAS SOUPS 6166 WITH SCORE 6173.326
AT ITER 304 NEW BEST:: SOT 25957 SOS 7325 HAS SOPS 6576 HAS SOUS 6668 HAS SOUPS 6165 WITH SCORE 6172.325
AT ITER 329 NEW BEST:: SOT 25957 SOS 7332 HAS SOPS 6579 HAS SOUS 6671 HAS SOUPS 6164 WITH SCORE 6171.332
AT ITER 352 NEW BEST:: SOT 25931 SOS 7271 HAS SOPS 6546 HAS SOUS 6637 HAS SOUPS 6131 WITH SCORE 6138.271
AT ITER 353 NEW BEST:: SOT 25931 SOS 7271 HAS SOPS 6544 HAS SOUS 6637 HAS SOUPS 6129 WITH SCORE 6136.271
AT ITER 363 NEW BEST:: SOT 25934 SOS 7261 HAS SOPS 6527 HAS SOUS 6648 HAS SOUPS 6129 WITH SCORE 6136.261
AT ITER 380 NEW BEST:: SOT 25864 SOS 7220 HAS SOPS 6486 HAS SOUS 6578 HAS SOUPS 6059 WITH SCORE 6066.22
AT ITER 391 NEW BEST:: SOT 25862 SOS 7217 HAS SOPS 6483 HAS SOUS 6575 HAS SOUPS 6056 WITH SCORE 6063.217
AT ITER 395 NEW BEST:: SOT 25862 SOS 7216 HAS SOPS 6482 HAS SOUS 6575 HAS SOUPS 6056 WITH SCORE 6063.216
AT ITER 396 NEW BEST:: SOT 25862 SOS 7214 HAS SOPS 6478 HAS SOUS 6573 HAS SOUPS 6052 WITH SCORE 6059.214
AT ITER 415 NEW BEST:: SOT 25856 SOS 7208 HAS SOPS 6472 HAS SOUS 6567 HAS SOUPS 6046 WITH SCORE 6053.208
AT ITER 426 NEW BEST:: SOT 25854 SOS 7205 HAS SOPS 6461 HAS SOUS 6557 HAS SOUPS 6031 WITH SCORE 6038.205
AT ITER 428 NEW BEST:: SOT 25834 SOS 7166 HAS SOPS 6426 HAS SOUS 6518 HAS SOUPS 5996 WITH SCORE 6003.166
AT ITER 476 NEW BEST:: SOT 25832 SOS 7164 HAS SOPS 6424 HAS SOUS 6516 HAS SOUPS 5994 WITH SCORE 6001.164
AT ITER 477 NEW BEST:: SOT 25832 SOS 7134 HAS SOPS 6394 HAS SOUS 6501 HAS SOUPS 5979 WITH SCORE 5986.134
AT ITER 500 NEW BEST:: SOT 25830 SOS 7120 HAS SOPS 6380 HAS SOUS 6487 HAS SOUPS 5965 WITH SCORE 5972.12
AT ITER 527 NEW BEST:: SOT 25809 SOS 7116 HAS SOPS 6376 HAS SOUS 6483 HAS SOUPS 5961 WITH SCORE 5968.116
AT ITER 540 NEW BEST:: SOT 25799 SOS 7099 HAS SOPS 6360 HAS SOUS 6466 HAS SOUPS 5945 WITH SCORE 5952.099
AT ITER 554 NEW BEST:: SOT 25769 SOS 7069 HAS SOPS 6330 HAS SOUS 6436 HAS SOUPS 5915 WITH SCORE 5922.069
AT ITER 561 NEW BEST:: SOT 25769 SOS 7043 HAS SOPS 6304 HAS SOUS 6410 HAS SOUPS 5889 WITH SCORE 5896.043
AT ITER 586 NEW BEST:: SOT 25743 SOS 6967 HAS SOPS 6228 HAS SOUS 6360 HAS SOUPS 5839 WITH SCORE 5845.967
AT ITER 592 NEW BEST:: SOT 25750 SOS 6974 HAS SOPS 6221 HAS SOUS 6359 HAS SOUPS 5827 WITH SCORE 5833.974
AT ITER 602 NEW BEST:: SOT 25750 SOS 6967 HAS SOPS 6217 HAS SOUS 6352 HAS SOUPS 5823 WITH SCORE 5829.967
AT ITER 613 NEW BEST:: SOT 25738 SOS 6950 HAS SOPS 6200 HAS SOUS 6338 HAS SOUPS 5809 WITH SCORE 5815.95
AT ITER 614 NEW BEST:: SOT 25736 SOS 6946 HAS SOPS 6196 HAS SOUS 6334 HAS SOUPS 5805 WITH SCORE 5811.946
AT ITER 621 NEW BEST:: SOT 25733 SOS 6943 HAS SOPS 6190 HAS SOUS 6331 HAS SOUPS 5799 WITH SCORE 5805.943
AT ITER 657 NEW BEST:: SOT 25732 SOS 6942 HAS SOPS 6189 HAS SOUS 6330 HAS SOUPS 5798 WITH SCORE 5804.942
AT ITER 670 NEW BEST:: SOT 25722 SOS 6922 HAS SOPS 6175 HAS SOUS 6310 HAS SOUPS 5784 WITH SCORE 5790.922
AT ITER 674 NEW BEST:: SOT 25745 SOS 6959 HAS SOPS 6172 HAS SOUS 6337 HAS SOUPS 5776 WITH SCORE 5782.959
AT ITER 690 NEW BEST:: SOT 25743 SOS 6941 HAS SOPS 6163 HAS SOUS 6306 HAS SOUPS 5754 WITH SCORE 5760.941
AT ITER 691 NEW BEST:: SOT 25741 SOS 6928 HAS SOPS 6150 HAS SOUS 6306 HAS SOUPS 5743 WITH SCORE 5749.928
AT ITER 710 NEW BEST:: SOT 25701 SOS 6919 HAS SOPS 6132 HAS SOUS 6285 HAS SOUPS 5725 WITH SCORE 5731.919
AT ITER 776 NEW BEST:: SOT 25690 SOS 6908 HAS SOPS 6110 HAS SOUS 6274 HAS SOUPS 5703 WITH SCORE 5709.908
AT ITER 779 NEW BEST:: SOT 25683 SOS 6892 HAS SOPS 6094 HAS SOUS 6258 HAS SOUPS 5687 WITH SCORE 5693.892
AT ITER 793 NEW BEST:: SOT 25669 SOS 6878 HAS SOPS 6094 HAS SOUS 6235 HAS SOUPS 5678 WITH SCORE 5684.878
AT ITER 812 NEW BEST:: SOT 25662 SOS 6860 HAS SOPS 6080 HAS SOUS 6221 HAS SOUPS 5664 WITH SCORE 5670.86
AT ITER 813 NEW BEST:: SOT 25660 SOS 6856 HAS SOPS 6076 HAS SOUS 6219 HAS SOUPS 5662 WITH SCORE 5668.856
AT ITER 835 NEW BEST:: SOT 25652 SOS 6832 HAS SOPS 6052 HAS SOUS 6195 HAS SOUPS 5638 WITH SCORE 5644.832
AT ITER 885 NEW BEST:: SOT 25652 SOS 6829 HAS SOPS 6048 HAS SOUS 6196 HAS SOUPS 5638 WITH SCORE 5644.829
AT ITER 914 NEW BEST:: SOT 25636 SOS 6797 HAS SOPS 6032 HAS SOUS 6183 HAS SOUPS 5625 WITH SCORE 5631.797
AT ITER 922 NEW BEST:: SOT 25643 SOS 6759 HAS SOPS 5994 HAS SOUS 6172 HAS SOUPS 5614 WITH SCORE 5620.759
AT ITER 929 NEW BEST:: SOT 25642 SOS 6757 HAS SOPS 5992 HAS SOUS 6170 HAS SOUPS 5612 WITH SCORE 5618.757
AT ITER 957 NEW BEST:: SOT 25630 SOS 6761 HAS SOPS 5987 HAS SOUS 6167 HAS SOUPS 5600 WITH SCORE 5606.761
AT ITER 966 NEW BEST:: SOT 25638 SOS 6690 HAS SOPS 5932 HAS SOUS 6146 HAS SOUPS 5587 WITH SCORE 5593.69
AT ITER 1002 NEW BEST:: SOT 25633 SOS 6685 HAS SOPS 5927 HAS SOUS 6141 HAS SOUPS 5582 WITH SCORE 5588.685
AT ITER 1004 NEW BEST:: SOT 25630 SOS 6678 HAS SOPS 5920 HAS SOUS 6134 HAS SOUPS 5575 WITH SCORE 5581.678
AT ITER 1005 NEW BEST:: SOT 25629 SOS 6675 HAS SOPS 5917 HAS SOUS 6131 HAS SOUPS 5572 WITH SCORE 5578.675
AT ITER 1020 NEW BEST:: SOT 25629 SOS 6659 HAS SOPS 5910 HAS SOUS 6122 HAS SOUPS 5572 WITH SCORE 5578.659
AT ITER 1031 NEW BEST:: SOT 25608 SOS 6646 HAS SOPS 5890 HAS SOUS 6109 HAS SOUPS 5552 WITH SCORE 5558.646
AT ITER 1063 NEW BEST:: SOT 25603 SOS 6626 HAS SOPS 5875 HAS SOUS 6094 HAS SOUPS 5542 WITH SCORE 5548.626
AT ITER 1071 NEW BEST:: SOT 25600 SOS 6626 HAS SOPS 5875 HAS SOUS 6092 HAS SOUPS 5540 WITH SCORE 5546.626
AT ITER 1136 NEW BEST:: SOT 25582 SOS 6584 HAS SOPS 5833 HAS SOUS 6056 HAS SOUPS 5504 WITH SCORE 5510.584
AT ITER 1154 NEW BEST:: SOT 25568 SOS 6570 HAS SOPS 5836 HAS SOUS 6025 HAS SOUPS 5490 WITH SCORE 5496.57
AT ITER 1203 NEW BEST:: SOT 25567 SOS 6569 HAS SOPS 5835 HAS SOUS 6024 HAS SOUPS 5489 WITH SCORE 5495.569
AT ITER 1221 NEW BEST:: SOT 25567 SOS 6562 HAS SOPS 5824 HAS SOUS 6020 HAS SOUPS 5481 WITH SCORE 5487.562
AT ITER 1234 NEW BEST:: SOT 25564 SOS 6559 HAS SOPS 5824 HAS SOUS 6017 HAS SOUPS 5481 WITH SCORE 5487.559
AT ITER 1245 NEW BEST:: SOT 25564 SOS 6546 HAS SOPS 5808 HAS SOUS 6019 HAS SOUPS 5480 WITH SCORE 5486.546
AT ITER 1249 NEW BEST:: SOT 25563 SOS 6525 HAS SOPS 5803 HAS SOUS 5998 HAS SOUPS 5475 WITH SCORE 5481.525
AT ITER 1292 NEW BEST:: SOT 25561 SOS 6495 HAS SOPS 5773 HAS SOUS 5983 HAS SOUPS 5460 WITH SCORE 5466.495
AT ITER 1301 NEW BEST:: SOT 25561 SOS 6493 HAS SOPS 5772 HAS SOUS 5981 HAS SOUPS 5459 WITH SCORE 5465.493
AT ITER 1321 NEW BEST:: SOT 25559 SOS 6489 HAS SOPS 5765 HAS SOUS 5977 HAS SOUPS 5452 WITH SCORE 5458.489
AT ITER 1325 NEW BEST:: SOT 25559 SOS 6472 HAS SOPS 5748 HAS SOUS 5977 HAS SOUPS 5452 WITH SCORE 5458.472
AT ITER 1375 NEW BEST:: SOT 25542 SOS 6477 HAS SOPS 5742 HAS SOUS 5972 HAS SOUPS 5436 WITH SCORE 5442.477
AT ITER 1416 NEW BEST:: SOT 25541 SOS 6476 HAS SOPS 5741 HAS SOUS 5971 HAS SOUPS 5435 WITH SCORE 5441.476
AT ITER 1436 NEW BEST:: SOT 25541 SOS 6475 HAS SOPS 5740 HAS SOUS 5970 HAS SOUPS 5434 WITH SCORE 5440.475
AT ITER 1454 NEW BEST:: SOT 25537 SOS 6469 HAS SOPS 5738 HAS SOUS 5964 HAS SOUPS 5432 WITH SCORE 5438.469
AT ITER 1467 NEW BEST:: SOT 25536 SOS 6462 HAS SOPS 5737 HAS SOUS 5957 HAS SOUPS 5431 WITH SCORE 5437.462
AT ITER 1487 NEW BEST:: SOT 25534 SOS 6444 HAS SOPS 5719 HAS SOUS 5939 HAS SOUPS 5413 WITH SCORE 5419.444
AT ITER 1505 NEW BEST:: SOT 25521 SOS 6456 HAS SOPS 5706 HAS SOUS 5927 HAS SOUPS 5400 WITH SCORE 5406.456
AT ITER 1534 NEW BEST:: SOT 25521 SOS 6456 HAS SOPS 5696 HAS SOUS 5922 HAS SOUPS 5390 WITH SCORE 5396.456
AT ITER 1544 NEW BEST:: SOT 25520 SOS 6455 HAS SOPS 5695 HAS SOUS 5921 HAS SOUPS 5389 WITH SCORE 5395.455
AT ITER 1557 NEW BEST:: SOT 25512 SOS 6445 HAS SOPS 5685 HAS SOUS 5911 HAS SOUPS 5379 WITH SCORE 5385.445
AT ITER 1564 NEW BEST:: SOT 25513 SOS 6444 HAS SOPS 5687 HAS SOUS 5910 HAS SOUPS 5378 WITH SCORE 5384.444
AT ITER 1570 NEW BEST:: SOT 25510 SOS 6506 HAS SOPS 5712 HAS SOUS 5937 HAS SOUPS 5377 WITH SCORE 5383.506
AT ITER 1590 NEW BEST:: SOT 25494 SOS 6488 HAS SOPS 5694 HAS SOUS 5920 HAS SOUPS 5360 WITH SCORE 5366.488
AT ITER 1618 NEW BEST:: SOT 25485 SOS 6456 HAS SOPS 5680 HAS SOUS 5903 HAS SOUPS 5352 WITH SCORE 5358.456
AT ITER 1637 NEW BEST:: SOT 25472 SOS 6431 HAS SOPS 5655 HAS SOUS 5878 HAS SOUPS 5327 WITH SCORE 5333.431
AT ITER 1660 NEW BEST:: SOT 25471 SOS 6430 HAS SOPS 5654 HAS SOUS 5877 HAS SOUPS 5326 WITH SCORE 5332.43
AT ITER 1707 NEW BEST:: SOT 25471 SOS 6420 HAS SOPS 5634 HAS SOUS 5877 HAS SOUPS 5316 WITH SCORE 5322.42
AT ITER 1710 NEW BEST:: SOT 25456 SOS 6401 HAS SOPS 5615 HAS SOUS 5858 HAS SOUPS 5297 WITH SCORE 5303.401
AT ITER 1713 NEW BEST:: SOT 25458 SOS 6403 HAS SOPS 5610 HAS SOUS 5867 HAS SOUPS 5296 WITH SCORE 5302.403
AT ITER 1751 NEW BEST:: SOT 25456 SOS 6399 HAS SOPS 5606 HAS SOUS 5863 HAS SOUPS 5292 WITH SCORE 5298.399
AT ITER 1764 NEW BEST:: SOT 25454 SOS 6402 HAS SOPS 5603 HAS SOUS 5866 HAS SOUPS 5289 WITH SCORE 5295.402
AT ITER 1813 NEW BEST:: SOT 25454 SOS 6365 HAS SOPS 5585 HAS SOUS 5829 HAS SOUPS 5271 WITH SCORE 5277.365
AT ITER 1823 NEW BEST:: SOT 25454 SOS 6365 HAS SOPS 5585 HAS SOUS 5828 HAS SOUPS 5270 WITH SCORE 5276.365
AT ITER 1878 NEW BEST:: SOT 25454 SOS 6351 HAS SOPS 5577 HAS SOUS 5819 HAS SOUPS 5267 WITH SCORE 5273.351
AT ITER 1915 NEW BEST:: SOT 25448 SOS 6331 HAS SOPS 5547 HAS SOUS 5783 HAS SOUPS 5230 WITH SCORE 5236.331
AT ITER 1980 NEW BEST:: SOT 25448 SOS 6308 HAS SOPS 5524 HAS SOUS 5780 HAS SOUPS 5227 WITH SCORE 5233.308
AT ITER 2009 NEW BEST:: SOT 25448 SOS 6305 HAS SOPS 5521 HAS SOUS 5775 HAS SOUPS 5222 WITH SCORE 5228.305
AT ITER 2010 NEW BEST:: SOT 25440 SOS 6297 HAS SOPS 5513 HAS SOUS 5767 HAS SOUPS 5214 WITH SCORE 5220.297
AT ITER 2016 NEW BEST:: SOT 25435 SOS 6297 HAS SOPS 5501 HAS SOUS 5767 HAS SOUPS 5202 WITH SCORE 5208.297
AT ITER 2027 NEW BEST:: SOT 25432 SOS 6293 HAS SOPS 5497 HAS SOUS 5765 HAS SOUPS 5200 WITH SCORE 5206.293
AT ITER 2035 NEW BEST:: SOT 25432 SOS 6293 HAS SOPS 5496 HAS SOUS 5765 HAS SOUPS 5199 WITH SCORE 5205.293
AT ITER 2058 NEW BEST:: SOT 25432 SOS 6292 HAS SOPS 5495 HAS SOUS 5764 HAS SOUPS 5198 WITH SCORE 5204.292
AT ITER 2077 NEW BEST:: SOT 25425 SOS 6278 HAS SOPS 5481 HAS SOUS 5750 HAS SOUPS 5184 WITH SCORE 5190.278
AT ITER 2082 NEW BEST:: SOT 25422 SOS 6275 HAS SOPS 5478 HAS SOUS 5747 HAS SOUPS 5181 WITH SCORE 5187.275
AT ITER 2132 NEW BEST:: SOT 25419 SOS 6272 HAS SOPS 5475 HAS SOUS 5744 HAS SOUPS 5178 WITH SCORE 5184.272
AT ITER 2144 NEW BEST:: SOT 25409 SOS 6252 HAS SOPS 5465 HAS SOUS 5724 HAS SOUPS 5168 WITH SCORE 5174.252
AT ITER 2172 NEW BEST:: SOT 25411 SOS 6268 HAS SOPS 5463 HAS SOUS 5694 HAS SOUPS 5141 WITH SCORE 5147.268
AT ITER 2188 NEW BEST:: SOT 25410 SOS 6260 HAS SOPS 5453 HAS SOUS 5680 HAS SOUPS 5128 WITH SCORE 5134.26
AT ITER 2256 NEW BEST:: SOT 25401 SOS 6243 HAS SOPS 5439 HAS SOUS 5671 HAS SOUPS 5122 WITH SCORE 5128.243
AT ITER 2288 NEW BEST:: SOT 25399 SOS 6236 HAS SOPS 5437 HAS SOUS 5664 HAS SOUPS 5120 WITH SCORE 5126.236
AT ITER 2311 NEW BEST:: SOT 25397 SOS 6230 HAS SOPS 5431 HAS SOUS 5660 HAS SOUPS 5116 WITH SCORE 5122.23
AT ITER 2345 NEW BEST:: SOT 25368 SOS 6199 HAS SOPS 5400 HAS SOUS 5629 HAS SOUPS 5085 WITH SCORE 5091.199
AT ITER 2365 NEW BEST:: SOT 25364 SOS 6173 HAS SOPS 5374 HAS SOUS 5603 HAS SOUPS 5059 WITH SCORE 5065.173
AT ITER 2410 NEW BEST:: SOT 25353 SOS 6160 HAS SOPS 5361 HAS SOUS 5590 HAS SOUPS 5046 WITH SCORE 5052.16
AT ITER 2419 NEW BEST:: SOT 25353 SOS 6158 HAS SOPS 5359 HAS SOUS 5588 HAS SOUPS 5044 WITH SCORE 5050.158
AT ITER 2430 NEW BEST:: SOT 25346 SOS 6144 HAS SOPS 5345 HAS SOUS 5574 HAS SOUPS 5030 WITH SCORE 5036.144
AT ITER 2485 NEW BEST:: SOT 25355 SOS 6141 HAS SOPS 5342 HAS SOUS 5571 HAS SOUPS 5027 WITH SCORE 5033.141
AT ITER 2489 NEW BEST:: SOT 25355 SOS 6130 HAS SOPS 5342 HAS SOUS 5560 HAS SOUPS 5027 WITH SCORE 5033.13
AT ITER 2516 NEW BEST:: SOT 25352 SOS 6131 HAS SOPS 5337 HAS SOUS 5555 HAS SOUPS 5016 WITH SCORE 5022.131
AT ITER 2527 NEW BEST:: SOT 25348 SOS 6126 HAS SOPS 5332 HAS SOUS 5550 HAS SOUPS 5011 WITH SCORE 5017.126
AT ITER 2549 NEW BEST:: SOT 25347 SOS 6125 HAS SOPS 5330 HAS SOUS 5549 HAS SOUPS 5009 WITH SCORE 5015.125
AT ITER 2560 NEW BEST:: SOT 25349 SOS 6086 HAS SOPS 5319 HAS SOUS 5521 HAS SOUPS 5008 WITH SCORE 5014.086
AT ITER 2654 NEW BEST:: SOT 25349 SOS 6080 HAS SOPS 5313 HAS SOUS 5515 HAS SOUPS 5002 WITH SCORE 5008.08
AT ITER 2679 NEW BEST:: SOT 25349 SOS 6079 HAS SOPS 5312 HAS SOUS 5514 HAS SOUPS 5001 WITH SCORE 5007.079
AT ITER 2691 NEW BEST:: SOT 25343 SOS 6043 HAS SOPS 5276 HAS SOUS 5493 HAS SOUPS 4980 WITH SCORE 4986.043
AT ITER 2720 NEW BEST:: SOT 25321 SOS 5954 HAS SOPS 5223 HAS SOUS 5440 HAS SOUPS 4947 WITH SCORE 4952.954
AT ITER 2736 NEW BEST:: SOT 25315 SOS 5952 HAS SOPS 5221 HAS SOUS 5438 HAS SOUPS 4945 WITH SCORE 4950.952
AT ITER 2743 NEW BEST:: SOT 25308 SOS 5936 HAS SOPS 5203 HAS SOUS 5422 HAS SOUPS 4927 WITH SCORE 4932.936
AT ITER 2759 NEW BEST:: SOT 25311 SOS 5933 HAS SOPS 5203 HAS SOUS 5422 HAS SOUPS 4927 WITH SCORE 4932.933
AT ITER 2818 NEW BEST:: SOT 25310 SOS 5927 HAS SOPS 5192 HAS SOUS 5416 HAS SOUPS 4916 WITH SCORE 4921.927
AT ITER 2863 NEW BEST:: SOT 25301 SOS 5918 HAS SOPS 5175 HAS SOUS 5418 HAS SOUPS 4912 WITH SCORE 4917.918
AT ITER 2872 NEW BEST:: SOT 25302 SOS 5919 HAS SOPS 5176 HAS SOUS 5414 HAS SOUPS 4908 WITH SCORE 4913.919
AT ITER 2900 NEW BEST:: SOT 25300 SOS 5917 HAS SOPS 5178 HAS SOUS 5404 HAS SOUPS 4901 WITH SCORE 4906.917
AT ITER 2906 NEW BEST:: SOT 25291 SOS 5916 HAS SOPS 5178 HAS SOUS 5403 HAS SOUPS 4901 WITH SCORE 4906.916
AT ITER 2919 NEW BEST:: SOT 25273 SOS 5879 HAS SOPS 5157 HAS SOUS 5366 HAS SOUPS 4880 WITH SCORE 4885.879
AT ITER 2927 NEW BEST:: SOT 25267 SOS 5848 HAS SOPS 5138 HAS SOUS 5335 HAS SOUPS 4861 WITH SCORE 4866.848
AT ITER 2935 NEW BEST:: SOT 25267 SOS 5848 HAS SOPS 5135 HAS SOUS 5336 HAS SOUPS 4859 WITH SCORE 4864.848
AT ITER 2951 NEW BEST:: SOT 25267 SOS 5848 HAS SOPS 5135 HAS SOUS 5333 HAS SOUPS 4856 WITH SCORE 4861.848
AT ITER 2953 NEW BEST:: SOT 25264 SOS 5844 HAS SOPS 5131 HAS SOUS 5329 HAS SOUPS 4852 WITH SCORE 4857.844
AT ITER 2972 NEW BEST:: SOT 25250 SOS 5847 HAS SOPS 5134 HAS SOUS 5304 HAS SOUPS 4827 WITH SCORE 4832.847
AT ITER 2988 NEW BEST:: SOT 25226 SOS 5787 HAS SOPS 5092 HAS SOUS 5247 HAS SOUPS 4782 WITH SCORE 4787.787
AT ITER 2994 NEW BEST:: SOT 25220 SOS 5770 HAS SOPS 5080 HAS SOUS 5233 HAS SOUPS 4773 WITH SCORE 4778.77
AT ITER 3022 NEW BEST:: SOT 25220 SOS 5768 HAS SOPS 5078 HAS SOUS 5231 HAS SOUPS 4771 WITH SCORE 4776.768
AT ITER 3048 NEW BEST:: SOT 25219 SOS 5767 HAS SOPS 5076 HAS SOUS 5230 HAS SOUPS 4769 WITH SCORE 4774.767
AT ITER 3077 NEW BEST:: SOT 25210 SOS 5748 HAS SOPS 5057 HAS SOUS 5211 HAS SOUPS 4750 WITH SCORE 4755.748
AT ITER 3087 NEW BEST:: SOT 25210 SOS 5748 HAS SOPS 5057 HAS SOUS 5209 HAS SOUPS 4748 WITH SCORE 4753.748
AT ITER 3161 NEW BEST:: SOT 25210 SOS 5746 HAS SOPS 5055 HAS SOUS 5207 HAS SOUPS 4746 WITH SCORE 4751.746
AT ITER 3194 NEW BEST:: SOT 25204 SOS 5740 HAS SOPS 5049 HAS SOUS 5201 HAS SOUPS 4740 WITH SCORE 4745.74
AT ITER 3242 NEW BEST:: SOT 25200 SOS 5736 HAS SOPS 5048 HAS SOUS 5194 HAS SOUPS 4733 WITH SCORE 4738.736
AT ITER 3350 NEW BEST:: SOT 25200 SOS 5733 HAS SOPS 5045 HAS SOUS 5191 HAS SOUPS 4730 WITH SCORE 4735.733
AT ITER 3388 NEW BEST:: SOT 25200 SOS 5726 HAS SOPS 5039 HAS SOUS 5189 HAS SOUPS 4729 WITH SCORE 4734.726
AT ITER 3389 NEW BEST:: SOT 25197 SOS 5723 HAS SOPS 5036 HAS SOUS 5182 HAS SOUPS 4722 WITH SCORE 4727.723
AT ITER 3408 NEW BEST:: SOT 25197 SOS 5718 HAS SOPS 5036 HAS SOUS 5182 HAS SOUPS 4722 WITH SCORE 4727.718
AT ITER 3465 NEW BEST:: SOT 25197 SOS 5714 HAS SOPS 5032 HAS SOUS 5178 HAS SOUPS 4718 WITH SCORE 4723.714
AT ITER 3469 NEW BEST:: SOT 25197 SOS 5714 HAS SOPS 5028 HAS SOUS 5174 HAS SOUPS 4714 WITH SCORE 4719.714
AT ITER 3514 NEW BEST:: SOT 25198 SOS 5724 HAS SOPS 5029 HAS SOUS 5167 HAS SOUPS 4707 WITH SCORE 4712.724
AT ITER 3586 NEW BEST:: SOT 25198 SOS 5723 HAS SOPS 5028 HAS SOUS 5166 HAS SOUPS 4706 WITH SCORE 4711.723
AT ITER 3599 NEW BEST:: SOT 25191 SOS 5718 HAS SOPS 5025 HAS SOUS 5161 HAS SOUPS 4703 WITH SCORE 4708.718
AT ITER 3610 NEW BEST:: SOT 25191 SOS 5688 HAS SOPS 4995 HAS SOUS 5139 HAS SOUPS 4681 WITH SCORE 4686.688
AT ITER 3654 NEW BEST:: SOT 25191 SOS 5687 HAS SOPS 4994 HAS SOUS 5138 HAS SOUPS 4680 WITH SCORE 4685.687
AT ITER 3657 NEW BEST:: SOT 25181 SOS 5678 HAS SOPS 4992 HAS SOUS 5136 HAS SOUPS 4678 WITH SCORE 4683.678
AT ITER 3665 NEW BEST:: SOT 25181 SOS 5674 HAS SOPS 4988 HAS SOUS 5132 HAS SOUPS 4674 WITH SCORE 4679.674
AT ITER 3736 NEW BEST:: SOT 25167 SOS 5650 HAS SOPS 5000 HAS SOUS 5091 HAS SOUPS 4669 WITH SCORE 4674.65
AT ITER 3813 NEW BEST:: SOT 25164 SOS 5648 HAS SOPS 4998 HAS SOUS 5088 HAS SOUPS 4666 WITH SCORE 4671.648
AT ITER 3942 NEW BEST:: SOT 25170 SOS 5651 HAS SOPS 4973 HAS SOUS 5080 HAS SOUPS 4658 WITH SCORE 4663.651
AT ITER 4023 NEW BEST:: SOT 25165 SOS 5654 HAS SOPS 4968 HAS SOUS 5075 HAS SOUPS 4653 WITH SCORE 4658.654
AT ITER 4027 NEW BEST:: SOT 25159 SOS 5649 HAS SOPS 4962 HAS SOUS 5069 HAS SOUPS 4647 WITH SCORE 4652.649
AT ITER 4029 NEW BEST:: SOT 25159 SOS 5622 HAS SOPS 4935 HAS SOUS 5050 HAS SOUPS 4628 WITH SCORE 4633.622
AT ITER 4037 NEW BEST:: SOT 25157 SOS 5616 HAS SOPS 4931 HAS SOUS 5044 HAS SOUPS 4624 WITH SCORE 4629.616
AT ITER 4060 NEW BEST:: SOT 25119 SOS 5578 HAS SOPS 4917 HAS SOUS 5030 HAS SOUPS 4610 WITH SCORE 4615.578
AT ITER 4069 NEW BEST:: SOT 25118 SOS 5577 HAS SOPS 4916 HAS SOUS 5035 HAS SOUPS 4608 WITH SCORE 4613.577
AT ITER 4083 NEW BEST:: SOT 25112 SOS 5571 HAS SOPS 4916 HAS SOUS 5035 HAS SOUPS 4608 WITH SCORE 4613.571
AT ITER 4087 NEW BEST:: SOT 25101 SOS 5569 HAS SOPS 4914 HAS SOUS 5033 HAS SOUPS 4606 WITH SCORE 4611.569
AT ITER 4104 NEW BEST:: SOT 25100 SOS 5565 HAS SOPS 4911 HAS SOUS 5029 HAS SOUPS 4603 WITH SCORE 4608.565
AT ITER 4193 NEW BEST:: SOT 25094 SOS 5560 HAS SOPS 4906 HAS SOUS 5018 HAS SOUPS 4592 WITH SCORE 4597.56
AT ITER 4213 NEW BEST:: SOT 25077 SOS 5543 HAS SOPS 4890 HAS SOUS 5002 HAS SOUPS 4576 WITH SCORE 4581.543
AT ITER 4223 NEW BEST:: SOT 25080 SOS 5531 HAS SOPS 4878 HAS SOUS 4990 HAS SOUPS 4564 WITH SCORE 4569.531
AT ITER 4249 NEW BEST:: SOT 25079 SOS 5530 HAS SOPS 4877 HAS SOUS 4989 HAS SOUPS 4563 WITH SCORE 4568.53
AT ITER 4256 NEW BEST:: SOT 25073 SOS 5524 HAS SOPS 4871 HAS SOUS 4983 HAS SOUPS 4557 WITH SCORE 4562.524
AT ITER 4293 NEW BEST:: SOT 25069 SOS 5522 HAS SOPS 4867 HAS SOUS 4975 HAS SOUPS 4547 WITH SCORE 4552.522
AT ITER 4301 NEW BEST:: SOT 25069 SOS 5512 HAS SOPS 4857 HAS SOUS 4975 HAS SOUPS 4547 WITH SCORE 4552.512
AT ITER 4304 NEW BEST:: SOT 25087 SOS 5525 HAS SOPS 4854 HAS SOUS 4990 HAS SOUPS 4544 WITH SCORE 4549.525
AT ITER 4322 NEW BEST:: SOT 25086 SOS 5523 HAS SOPS 4852 HAS SOUS 4988 HAS SOUPS 4542 WITH SCORE 4547.523
AT ITER 4386 NEW BEST:: SOT 25098 SOS 5517 HAS SOPS 4846 HAS SOUS 4988 HAS SOUPS 4542 WITH SCORE 4547.517
AT ITER 4415 NEW BEST:: SOT 25093 SOS 5477 HAS SOPS 4839 HAS SOUS 4981 HAS SOUPS 4540 WITH SCORE 4545.477
AT ITER 4437 NEW BEST:: SOT 25089 SOS 5473 HAS SOPS 4839 HAS SOUS 4977 HAS SOUPS 4540 WITH SCORE 4545.473
AT ITER 4465 NEW BEST:: SOT 25089 SOS 5469 HAS SOPS 4837 HAS SOUS 4975 HAS SOUPS 4539 WITH SCORE 4544.469
AT ITER 4481 NEW BEST:: SOT 25086 SOS 5453 HAS SOPS 4827 HAS SOUS 4965 HAS SOUPS 4532 WITH SCORE 4537.453
AT ITER 4489 NEW BEST:: SOT 25083 SOS 5448 HAS SOPS 4824 HAS SOUS 4956 HAS SOUPS 4525 WITH SCORE 4530.448
AT ITER 4518 NEW BEST:: SOT 25072 SOS 5442 HAS SOPS 4792 HAS SOUS 4939 HAS SOUPS 4492 WITH SCORE 4497.442
AT ITER 4620 NEW BEST:: SOT 25066 SOS 5436 HAS SOPS 4786 HAS SOUS 4933 HAS SOUPS 4486 WITH SCORE 4491.436
AT ITER 4626 NEW BEST:: SOT 25065 SOS 5435 HAS SOPS 4782 HAS SOUS 4929 HAS SOUPS 4482 WITH SCORE 4487.435
AT ITER 4640 NEW BEST:: SOT 25065 SOS 5419 HAS SOPS 4775 HAS SOUS 4913 HAS SOUPS 4475 WITH SCORE 4480.419
AT ITER 4654 NEW BEST:: SOT 25064 SOS 5419 HAS SOPS 4774 HAS SOUS 4912 HAS SOUPS 4474 WITH SCORE 4479.419
AT ITER 4711 NEW BEST:: SOT 25064 SOS 5423 HAS SOPS 4775 HAS SOUS 4910 HAS SOUPS 4469 WITH SCORE 4474.423
AT ITER 4755 NEW BEST:: SOT 25053 SOS 5414 HAS SOPS 4764 HAS SOUS 4899 HAS SOUPS 4458 WITH SCORE 4463.414
AT ITER 4761 NEW BEST:: SOT 25046 SOS 5398 HAS SOPS 4748 HAS SOUS 4883 HAS SOUPS 4442 WITH SCORE 4447.398
AT ITER 4774 NEW BEST:: SOT 25031 SOS 5353 HAS SOPS 4718 HAS SOUS 4838 HAS SOUPS 4412 WITH SCORE 4417.353
AT ITER 4820 NEW BEST:: SOT 25026 SOS 5352 HAS SOPS 4713 HAS SOUS 4828 HAS SOUPS 4398 WITH SCORE 4403.352
AT ITER 4850 NEW BEST:: SOT 25008 SOS 5334 HAS SOPS 4695 HAS SOUS 4804 HAS SOUPS 4374 WITH SCORE 4379.334
AT ITER 4860 NEW BEST:: SOT 25004 SOS 5330 HAS SOPS 4691 HAS SOUS 4804 HAS SOUPS 4374 WITH SCORE 4379.33
AT ITER 4897 NEW BEST:: SOT 24995 SOS 5352 HAS SOPS 4726 HAS SOUS 4782 HAS SOUPS 4365 WITH SCORE 4370.352
AT ITER 4933 NEW BEST:: SOT 24995 SOS 5348 HAS SOPS 4722 HAS SOUS 4778 HAS SOUPS 4361 WITH SCORE 4366.348
AT ITER 4954 NEW BEST:: SOT 24994 SOS 5346 HAS SOPS 4720 HAS SOUS 4776 HAS SOUPS 4359 WITH SCORE 4364.346
AT ITER 4970 NEW BEST:: SOT 24993 SOS 5344 HAS SOPS 4718 HAS SOUS 4774 HAS SOUPS 4357 WITH SCORE 4362.344
AT ITER 4992 NEW BEST:: SOT 24995 SOS 5337 HAS SOPS 4711 HAS SOUS 4774 HAS SOUPS 4357 WITH SCORE 4362.337
AT ITER 4997 NEW BEST:: SOT 24969 SOS 5340 HAS SOPS 4685 HAS SOUS 4738 HAS SOUPS 4321 WITH SCORE 4326.34
AT ITER 5103 NEW BEST:: SOT 24965 SOS 5325 HAS SOPS 4679 HAS SOUS 4730 HAS SOUPS 4313 WITH SCORE 4318.325
AT ITER 5128 NEW BEST:: SOT 24961 SOS 5321 HAS SOPS 4675 HAS SOUS 4722 HAS SOUPS 4305 WITH SCORE 4310.321
AT ITER 5166 NEW BEST:: SOT 24952 SOS 5321 HAS SOPS 4675 HAS SOUS 4721 HAS SOUPS 4304 WITH SCORE 4309.321
AT ITER 5204 NEW BEST:: SOT 24923 SOS 5292 HAS SOPS 4646 HAS SOUS 4692 HAS SOUPS 4275 WITH SCORE 4280.292
AT ITER 5246 NEW BEST:: SOT 24922 SOS 5291 HAS SOPS 4645 HAS SOUS 4691 HAS SOUPS 4274 WITH SCORE 4279.291
AT ITER 5249 NEW BEST:: SOT 24922 SOS 5290 HAS SOPS 4644 HAS SOUS 4690 HAS SOUPS 4273 WITH SCORE 4278.29
AT ITER 5290 NEW BEST:: SOT 24931 SOS 5290 HAS SOPS 4643 HAS SOUS 4690 HAS SOUPS 4269 WITH SCORE 4274.29
AT ITER 5462 NEW BEST:: SOT 24927 SOS 5282 HAS SOPS 4635 HAS SOUS 4683 HAS SOUPS 4262 WITH SCORE 4267.282
AT ITER 5479 NEW BEST:: SOT 24920 SOS 5275 HAS SOPS 4629 HAS SOUS 4677 HAS SOUPS 4256 WITH SCORE 4261.275
AT ITER 5493 NEW BEST:: SOT 24920 SOS 5276 HAS SOPS 4627 HAS SOUS 4677 HAS SOUPS 4254 WITH SCORE 4259.276
AT ITER 5522 NEW BEST:: SOT 24918 SOS 5264 HAS SOPS 4613 HAS SOUS 4677 HAS SOUPS 4252 WITH SCORE 4257.264
AT ITER 5583 NEW BEST:: SOT 24908 SOS 5240 HAS SOPS 4589 HAS SOUS 4653 HAS SOUPS 4228 WITH SCORE 4233.24
AT ITER 5602 NEW BEST:: SOT 24892 SOS 5229 HAS SOPS 4589 HAS SOUS 4638 HAS SOUPS 4228 WITH SCORE 4233.229
AT ITER 5644 NEW BEST:: SOT 24891 SOS 5228 HAS SOPS 4588 HAS SOUS 4637 HAS SOUPS 4227 WITH SCORE 4232.228
AT ITER 5655 NEW BEST:: SOT 24880 SOS 5225 HAS SOPS 4585 HAS SOUS 4634 HAS SOUPS 4224 WITH SCORE 4229.225
AT ITER 5658 NEW BEST:: SOT 24861 SOS 5201 HAS SOPS 4549 HAS SOUS 4610 HAS SOUPS 4188 WITH SCORE 4193.201
AT ITER 5703 NEW BEST:: SOT 24856 SOS 5200 HAS SOPS 4548 HAS SOUS 4607 HAS SOUPS 4185 WITH SCORE 4190.2
AT ITER 5727 NEW BEST:: SOT 24856 SOS 5199 HAS SOPS 4547 HAS SOUS 4606 HAS SOUPS 4184 WITH SCORE 4189.199
AT ITER 5772 NEW BEST:: SOT 24854 SOS 5187 HAS SOPS 4539 HAS SOUS 4600 HAS SOUPS 4180 WITH SCORE 4185.187
AT ITER 5838 NEW BEST:: SOT 24853 SOS 5186 HAS SOPS 4538 HAS SOUS 4599 HAS SOUPS 4179 WITH SCORE 4184.186
AT ITER 5851 NEW BEST:: SOT 24851 SOS 5184 HAS SOPS 4536 HAS SOUS 4597 HAS SOUPS 4177 WITH SCORE 4182.184
AT ITER 6085 NEW BEST:: SOT 24851 SOS 5184 HAS SOPS 4535 HAS SOUS 4597 HAS SOUPS 4176 WITH SCORE 4181.184
AT ITER 6161 NEW BEST:: SOT 24844 SOS 5176 HAS SOPS 4529 HAS SOUS 4589 HAS SOUPS 4170 WITH SCORE 4175.176
AT ITER 6268 NEW BEST:: SOT 24844 SOS 5179 HAS SOPS 4529 HAS SOUS 4586 HAS SOUPS 4167 WITH SCORE 4172.179
AT ITER 6395 NEW BEST:: SOT 24841 SOS 5173 HAS SOPS 4526 HAS SOUS 4580 HAS SOUPS 4164 WITH SCORE 4169.173
AT ITER 6556 NEW BEST:: SOT 24841 SOS 5171 HAS SOPS 4524 HAS SOUS 4578 HAS SOUPS 4162 WITH SCORE 4167.171
AT ITER 6612 NEW BEST:: SOT 24836 SOS 5159 HAS SOPS 4512 HAS SOUS 4569 HAS SOUPS 4153 WITH SCORE 4158.159
AT ITER 6632 NEW BEST:: SOT 24836 SOS 5159 HAS SOPS 4510 HAS SOUS 4569 HAS SOUPS 4151 WITH SCORE 4156.159
AT ITER 6772 NEW BEST:: SOT 24830 SOS 5153 HAS SOPS 4504 HAS SOUS 4563 HAS SOUPS 4145 WITH SCORE 4150.153
AT ITER 6785 NEW BEST:: SOT 24826 SOS 5197 HAS SOPS 4552 HAS SOUS 4554 HAS SOUPS 4141 WITH SCORE 4146.197
AT ITER 6811 NEW BEST:: SOT 24812 SOS 5226 HAS SOPS 4549 HAS SOUS 4545 HAS SOUPS 4132 WITH SCORE 4137.226
AT ITER 6875 NEW BEST:: SOT 24812 SOS 5226 HAS SOPS 4549 HAS SOUS 4543 HAS SOUPS 4130 WITH SCORE 4135.226
AT ITER 6912 NEW BEST:: SOT 24812 SOS 5225 HAS SOPS 4544 HAS SOUS 4543 HAS SOUPS 4130 WITH SCORE 4135.225
AT ITER 6944 NEW BEST:: SOT 24814 SOS 5226 HAS SOPS 4546 HAS SOUS 4540 HAS SOUPS 4128 WITH SCORE 4133.226
AT ITER 6965 NEW BEST:: SOT 24814 SOS 5224 HAS SOPS 4544 HAS SOUS 4538 HAS SOUPS 4126 WITH SCORE 4131.224
AT ITER 7061 NEW BEST:: SOT 24814 SOS 5205 HAS SOPS 4537 HAS SOUS 4531 HAS SOUPS 4126 WITH SCORE 4131.205
AT ITER 7106 NEW BEST:: SOT 24814 SOS 5198 HAS SOPS 4536 HAS SOUS 4531 HAS SOUPS 4126 WITH SCORE 4131.198
AT ITER 7169 NEW BEST:: SOT 24798 SOS 5147 HAS SOPS 4509 HAS SOUS 4501 HAS SOUPS 4109 WITH SCORE 4114.147
AT ITER 7395 NEW BEST:: SOT 24795 SOS 5144 HAS SOPS 4509 HAS SOUS 4498 HAS SOUPS 4109 WITH SCORE 4114.144
AT ITER 7400 NEW BEST:: SOT 24783 SOS 5148 HAS SOPS 4507 HAS SOUS 4496 HAS SOUPS 4107 WITH SCORE 4112.148
AT ITER 7478 NEW BEST:: SOT 24783 SOS 5107 HAS SOPS 4466 HAS SOUS 4493 HAS SOUPS 4104 WITH SCORE 4109.107
AT ITER 7542 NEW BEST:: SOT 24782 SOS 5102 HAS SOPS 4461 HAS SOUS 4488 HAS SOUPS 4099 WITH SCORE 4104.102
AT ITER 7549 NEW BEST:: SOT 24781 SOS 5102 HAS SOPS 4460 HAS SOUS 4488 HAS SOUPS 4098 WITH SCORE 4103.102
AT ITER 7560 NEW BEST:: SOT 24771 SOS 5092 HAS SOPS 4450 HAS SOUS 4478 HAS SOUPS 4088 WITH SCORE 4093.092
AT ITER 7574 NEW BEST:: SOT 24771 SOS 5086 HAS SOPS 4444 HAS SOUS 4476 HAS SOUPS 4086 WITH SCORE 4091.086
AT ITER 7621 NEW BEST:: SOT 24767 SOS 5079 HAS SOPS 4439 HAS SOUS 4469 HAS SOUPS 4081 WITH SCORE 4086.079
AT ITER 7637 NEW BEST:: SOT 24755 SOS 5061 HAS SOPS 4427 HAS SOUS 4451 HAS SOUPS 4069 WITH SCORE 4074.061
AT ITER 7673 NEW BEST:: SOT 24754 SOS 5061 HAS SOPS 4427 HAS SOUS 4449 HAS SOUPS 4067 WITH SCORE 4072.061
AT ITER 7692 NEW BEST:: SOT 24757 SOS 5064 HAS SOPS 4430 HAS SOUS 4443 HAS SOUPS 4061 WITH SCORE 4066.064
AT ITER 7726 NEW BEST:: SOT 24756 SOS 5057 HAS SOPS 4422 HAS SOUS 4436 HAS SOUPS 4053 WITH SCORE 4058.057
AT ITER 7819 NEW BEST:: SOT 24757 SOS 5058 HAS SOPS 4421 HAS SOUS 4435 HAS SOUPS 4052 WITH SCORE 4057.058
AT ITER 7833 NEW BEST:: SOT 24757 SOS 5055 HAS SOPS 4418 HAS SOUS 4432 HAS SOUPS 4049 WITH SCORE 4054.055
AT ITER 7878 NEW BEST:: SOT 24754 SOS 5043 HAS SOPS 4409 HAS SOUS 4420 HAS SOUPS 4040 WITH SCORE 4045.043
AT ITER 7890 NEW BEST:: SOT 24750 SOS 5033 HAS SOPS 4401 HAS SOUS 4410 HAS SOUPS 4032 WITH SCORE 4037.033
AT ITER 7909 NEW BEST:: SOT 24749 SOS 5027 HAS SOPS 4399 HAS SOUS 4404 HAS SOUPS 4030 WITH SCORE 4035.027
AT ITER 7925 NEW BEST:: SOT 24739 SOS 5020 HAS SOPS 4392 HAS SOUS 4397 HAS SOUPS 4023 WITH SCORE 4028.02
AT ITER 7992 NEW BEST:: SOT 24739 SOS 5012 HAS SOPS 4387 HAS SOUS 4389 HAS SOUPS 4018 WITH SCORE 4023.012
AT ITER 8000 NEW BEST:: SOT 24737 SOS 5006 HAS SOPS 4383 HAS SOUS 4385 HAS SOUPS 4016 WITH SCORE 4021.006
AT ITER 8037 NEW BEST:: SOT 24729 SOS 4993 HAS SOPS 4389 HAS SOUS 4363 HAS SOUPS 4011 WITH SCORE 4015.993
AT ITER 8056 NEW BEST:: SOT 24728 SOS 4992 HAS SOPS 4388 HAS SOUS 4362 HAS SOUPS 4010 WITH SCORE 4014.992
AT ITER 8088 NEW BEST:: SOT 24727 SOS 4991 HAS SOPS 4387 HAS SOUS 4359 HAS SOUPS 4007 WITH SCORE 4011.991
AT ITER 8130 NEW BEST:: SOT 24727 SOS 4976 HAS SOPS 4372 HAS SOUS 4344 HAS SOUPS 3992 WITH SCORE 3996.976
AT ITER 8255 NEW BEST:: SOT 24723 SOS 4972 HAS SOPS 4368 HAS SOUS 4340 HAS SOUPS 3988 WITH SCORE 3992.972
AT ITER 8288 NEW BEST:: SOT 24723 SOS 4971 HAS SOPS 4368 HAS SOUS 4339 HAS SOUPS 3988 WITH SCORE 3992.971
AT ITER 8295 NEW BEST:: SOT 24723 SOS 4982 HAS SOPS 4363 HAS SOUS 4339 HAS SOUPS 3983 WITH SCORE 3987.982
AT ITER 8505 NEW BEST:: SOT 24721 SOS 4975 HAS SOPS 4358 HAS SOUS 4334 HAS SOUPS 3979 WITH SCORE 3983.975
AT ITER 8518 NEW BEST:: SOT 24721 SOS 4974 HAS SOPS 4357 HAS SOUS 4333 HAS SOUPS 3978 WITH SCORE 3982.974
AT ITER 8571 NEW BEST:: SOT 24721 SOS 4974 HAS SOPS 4357 HAS SOUS 4330 HAS SOUPS 3975 WITH SCORE 3979.974
AT ITER 8786 NEW BEST:: SOT 24713 SOS 4974 HAS SOPS 4357 HAS SOUS 4322 HAS SOUPS 3967 WITH SCORE 3971.974
AT ITER 8895 NEW BEST:: SOT 24712 SOS 4972 HAS SOPS 4356 HAS SOUS 4320 HAS SOUPS 3966 WITH SCORE 3970.972
AT ITER 8912 NEW BEST:: SOT 24715 SOS 4969 HAS SOPS 4353 HAS SOUS 4316 HAS SOUPS 3962 WITH SCORE 3966.969
AT ITER 8985 NEW BEST:: SOT 24711 SOS 4964 HAS SOPS 4348 HAS SOUS 4311 HAS SOUPS 3957 WITH SCORE 3961.964
AT ITER 8996 NEW BEST:: SOT 24713 SOS 4953 HAS SOPS 4338 HAS SOUS 4305 HAS SOUPS 3952 WITH SCORE 3956.953
AT ITER 9058 NEW BEST:: SOT 24712 SOS 4928 HAS SOPS 4317 HAS SOUS 4297 HAS SOUPS 3938 WITH SCORE 3942.928
AT ITER 9074 NEW BEST:: SOT 24712 SOS 4927 HAS SOPS 4316 HAS SOUS 4296 HAS SOUPS 3937 WITH SCORE 3941.927
AT ITER 9116 NEW BEST:: SOT 24709 SOS 4917 HAS SOPS 4306 HAS SOUS 4292 HAS SOUPS 3933 WITH SCORE 3937.917
AT ITER 9169 NEW BEST:: SOT 24702 SOS 4906 HAS SOPS 4302 HAS SOUS 4281 HAS SOUPS 3929 WITH SCORE 3933.906
AT ITER 9331 NEW BEST:: SOT 24692 SOS 4892 HAS SOPS 4288 HAS SOUS 4267 HAS SOUPS 3915 WITH SCORE 3919.892
AT ITER 9425 NEW BEST:: SOT 24686 SOS 4883 HAS SOPS 4279 HAS SOUS 4258 HAS SOUPS 3906 WITH SCORE 3910.883
AT ITER 9454 NEW BEST:: SOT 24677 SOS 4878 HAS SOPS 4274 HAS SOUS 4253 HAS SOUPS 3901 WITH SCORE 3905.878
AT ITER 9460 NEW BEST:: SOT 24677 SOS 4872 HAS SOPS 4272 HAS SOUS 4251 HAS SOUPS 3901 WITH SCORE 3905.872
AT ITER 9517 NEW BEST:: SOT 24677 SOS 4866 HAS SOPS 4266 HAS SOUS 4250 HAS SOUPS 3900 WITH SCORE 3904.866
AT ITER 9534 NEW BEST:: SOT 24671 SOS 4863 HAS SOPS 4263 HAS SOUS 4247 HAS SOUPS 3897 WITH SCORE 3901.863
AT ITER 9603 NEW BEST:: SOT 24672 SOS 4867 HAS SOPS 4259 HAS SOUS 4251 HAS SOUPS 3893 WITH SCORE 3897.867
AT ITER 9675 NEW BEST:: SOT 24672 SOS 4862 HAS SOPS 4254 HAS SOUS 4246 HAS SOUPS 3888 WITH SCORE 3892.862
AT ITER 9731 NEW BEST:: SOT 24673 SOS 4867 HAS SOPS 4246 HAS SOUS 4251 HAS SOUPS 3880 WITH SCORE 3884.867
AT ITER 9803 NEW BEST:: SOT 24672 SOS 4866 HAS SOPS 4245 HAS SOUS 4250 HAS SOUPS 3879 WITH SCORE 3883.866
AT ITER 9997 NEW BEST:: SOT 24672 SOS 4863 HAS SOPS 4245 HAS SOUS 4252 HAS SOUPS 3877 WITH SCORE 3881.863
STATE_SPACE STATES 2409739 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 36 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 9827662 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678873714288

--------------------
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="ParamProductionCell-PT-4"
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 ParamProductionCell-PT-4, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r267-smll-167863541800400"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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