fond

jQuery Multi Level CSS Menu Css3Menu.com

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

About the Execution of Smart+red for DiscoveryGPU-PT-15a

Execution Summary
Max Memory
Used (MB)		 Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
377.936 17418.00 23547.00 418.70 4.1772E+0015 7.9747E+0016 1 17 normal

Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 556K
-rw-r--r-- 1 mcc users 7.1K Feb 25 13:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 78K Feb 25 13:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 25 13:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 25 13:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 25 13:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 162K Feb 25 13:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.9K Feb 25 13:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 79K Feb 25 13:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:00 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:00 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 53K 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 1678405377713

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=DiscoveryGPU-PT-15a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 23:43:00] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 23:43:00] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 23:43:00] [INFO ] Load time of PNML (sax parser for PT used): 119 ms
[2023-03-09 23:43:00] [INFO ] Transformed 153 places.
[2023-03-09 23:43:00] [INFO ] Transformed 211 transitions.
[2023-03-09 23:43:00] [INFO ] Found NUPN structural information;
[2023-03-09 23:43:00] [INFO ] Parsed PT model containing 153 places and 211 transitions and 678 arcs in 297 ms.
[2023-03-09 23:43:00] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 153 places, 211 transitions and 678 arcs took 11 ms.
Total runtime 367 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 15a
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: 153 places, 211 transitions, 678 arcs.
AT ITER 0 NEW BEST:: SOT 23730 SOS 11796 HAS SOPS 11796 HAS SOUS 11715 HAS SOUPS 11715 WITH SCORE 11726.796
AT ITER 3 NEW BEST:: SOT 22425 SOS 10462 HAS SOPS 10457 HAS SOUS 10381 HAS SOUPS 10378 WITH SCORE 10388.462
AT ITER 10 NEW BEST:: SOT 22426 SOS 10462 HAS SOPS 10445 HAS SOUS 10365 HAS SOUPS 10353 WITH SCORE 10363.462
AT ITER 11 NEW BEST:: SOT 22438 SOS 10477 HAS SOPS 10460 HAS SOUS 10364 HAS SOUPS 10352 WITH SCORE 10362.477
AT ITER 13 NEW BEST:: SOT 22451 SOS 10490 HAS SOPS 10473 HAS SOUS 10340 HAS SOUPS 10328 WITH SCORE 10338.49
AT ITER 14 NEW BEST:: SOT 22451 SOS 10480 HAS SOPS 10463 HAS SOUS 10330 HAS SOUPS 10318 WITH SCORE 10328.48
AT ITER 23 NEW BEST:: SOT 22459 SOS 10454 HAS SOPS 10437 HAS SOUS 10297 HAS SOUPS 10285 WITH SCORE 10295.454
AT ITER 26 NEW BEST:: SOT 22459 SOS 10400 HAS SOPS 10383 HAS SOUS 10243 HAS SOUPS 10231 WITH SCORE 10241.4
AT ITER 30 NEW BEST:: SOT 22491 SOS 10390 HAS SOPS 10373 HAS SOUS 10211 HAS SOUPS 10199 WITH SCORE 10209.39
AT ITER 34 NEW BEST:: SOT 22472 SOS 10325 HAS SOPS 10289 HAS SOUS 10142 HAS SOUPS 10123 WITH SCORE 10133.325
AT ITER 38 NEW BEST:: SOT 22480 SOS 10384 HAS SOPS 10348 HAS SOUS 10124 HAS SOUPS 10105 WITH SCORE 10115.384
AT ITER 42 NEW BEST:: SOT 22472 SOS 10376 HAS SOPS 10340 HAS SOUS 10116 HAS SOUPS 10097 WITH SCORE 10107.376
AT ITER 43 NEW BEST:: SOT 22472 SOS 10373 HAS SOPS 10337 HAS SOUS 10114 HAS SOUPS 10095 WITH SCORE 10105.373
AT ITER 58 NEW BEST:: SOT 18522 SOS 9169 HAS SOPS 6457 HAS SOUS 6304 HAS SOUPS 6181 WITH SCORE 6190.169
AT ITER 63 NEW BEST:: SOT 18530 SOS 9175 HAS SOPS 6463 HAS SOUS 6293 HAS SOUPS 6170 WITH SCORE 6179.175
AT ITER 66 NEW BEST:: SOT 18530 SOS 9167 HAS SOPS 6455 HAS SOUS 6285 HAS SOUPS 6162 WITH SCORE 6171.167
AT ITER 84 NEW BEST:: SOT 18547 SOS 9162 HAS SOPS 6417 HAS SOUS 6261 HAS SOUPS 6138 WITH SCORE 6147.162
AT ITER 100 NEW BEST:: SOT 18514 SOS 9053 HAS SOPS 6275 HAS SOUS 6157 HAS SOUPS 6034 WITH SCORE 6043.053
AT ITER 112 NEW BEST:: SOT 18492 SOS 9060 HAS SOPS 6279 HAS SOUS 6143 HAS SOUPS 6020 WITH SCORE 6029.06
AT ITER 120 NEW BEST:: SOT 18492 SOS 9060 HAS SOPS 6279 HAS SOUS 6142 HAS SOUPS 6019 WITH SCORE 6028.06
AT ITER 130 NEW BEST:: SOT 18506 SOS 9074 HAS SOPS 6262 HAS SOUS 6125 HAS SOUPS 6002 WITH SCORE 6011.074
AT ITER 136 NEW BEST:: SOT 18499 SOS 9029 HAS SOPS 6225 HAS SOUS 6125 HAS SOUPS 6002 WITH SCORE 6011.029
AT ITER 146 NEW BEST:: SOT 18475 SOS 9028 HAS SOPS 6177 HAS SOUS 6078 HAS SOUPS 5954 WITH SCORE 5963.028
AT ITER 152 NEW BEST:: SOT 18464 SOS 9043 HAS SOPS 6166 HAS SOUS 6057 HAS SOUPS 5933 WITH SCORE 5942.043
AT ITER 156 NEW BEST:: SOT 18492 SOS 9071 HAS SOPS 6148 HAS SOUS 5977 HAS SOUPS 5853 WITH SCORE 5862.071
AT ITER 160 NEW BEST:: SOT 18629 SOS 9207 HAS SOPS 6198 HAS SOUS 5966 HAS SOUPS 5835 WITH SCORE 5844.207
AT ITER 162 NEW BEST:: SOT 18603 SOS 9143 HAS SOPS 6120 HAS SOUS 5912 HAS SOUPS 5781 WITH SCORE 5790.143
AT ITER 163 NEW BEST:: SOT 18603 SOS 9140 HAS SOPS 6117 HAS SOUS 5909 HAS SOUPS 5778 WITH SCORE 5787.14
AT ITER 172 NEW BEST:: SOT 18459 SOS 8940 HAS SOPS 5841 HAS SOUS 5689 HAS SOUPS 5558 WITH SCORE 5566.94
AT ITER 191 NEW BEST:: SOT 18494 SOS 8974 HAS SOPS 5819 HAS SOUS 5640 HAS SOUPS 5509 WITH SCORE 5517.974
AT ITER 201 NEW BEST:: SOT 18494 SOS 8977 HAS SOPS 5818 HAS SOUS 5639 HAS SOUPS 5508 WITH SCORE 5516.977
AT ITER 207 NEW BEST:: SOT 18485 SOS 8959 HAS SOPS 5777 HAS SOUS 5598 HAS SOUPS 5467 WITH SCORE 5475.959
AT ITER 215 NEW BEST:: SOT 18483 SOS 8996 HAS SOPS 5773 HAS SOUS 5581 HAS SOUPS 5450 WITH SCORE 5458.996
AT ITER 218 NEW BEST:: SOT 18462 SOS 8954 HAS SOPS 5752 HAS SOUS 5581 HAS SOUPS 5450 WITH SCORE 5458.954
AT ITER 243 NEW BEST:: SOT 18448 SOS 8940 HAS SOPS 5724 HAS SOUS 5553 HAS SOUPS 5422 WITH SCORE 5430.94
AT ITER 264 NEW BEST:: SOT 18393 SOS 8825 HAS SOPS 5614 HAS SOUS 5510 HAS SOUPS 5379 WITH SCORE 5387.825
AT ITER 266 NEW BEST:: SOT 18389 SOS 8817 HAS SOPS 5610 HAS SOUS 5510 HAS SOUPS 5379 WITH SCORE 5387.817
AT ITER 277 NEW BEST:: SOT 18363 SOS 8805 HAS SOPS 5585 HAS SOUS 5498 HAS SOUPS 5354 WITH SCORE 5362.805
AT ITER 279 NEW BEST:: SOT 18363 SOS 8803 HAS SOPS 5583 HAS SOUS 5497 HAS SOUPS 5353 WITH SCORE 5361.803
AT ITER 309 NEW BEST:: SOT 18356 SOS 8796 HAS SOPS 5569 HAS SOUS 5483 HAS SOUPS 5339 WITH SCORE 5347.796
AT ITER 331 NEW BEST:: SOT 18376 SOS 8787 HAS SOPS 5568 HAS SOUS 5482 HAS SOUPS 5338 WITH SCORE 5346.787
AT ITER 334 NEW BEST:: SOT 18415 SOS 8825 HAS SOPS 5564 HAS SOUS 5438 HAS SOUPS 5294 WITH SCORE 5302.825
AT ITER 335 NEW BEST:: SOT 18421 SOS 8819 HAS SOPS 5545 HAS SOUS 5419 HAS SOUPS 5275 WITH SCORE 5283.819
AT ITER 342 NEW BEST:: SOT 18369 SOS 8715 HAS SOPS 5467 HAS SOUS 5393 HAS SOUPS 5249 WITH SCORE 5257.715
AT ITER 345 NEW BEST:: SOT 18343 SOS 8717 HAS SOPS 5444 HAS SOUS 5354 HAS SOUPS 5210 WITH SCORE 5218.717
AT ITER 371 NEW BEST:: SOT 18483 SOS 8860 HAS SOPS 5495 HAS SOUS 5332 HAS SOUPS 5188 WITH SCORE 5196.86
AT ITER 373 NEW BEST:: SOT 18469 SOS 8832 HAS SOPS 5481 HAS SOUS 5332 HAS SOUPS 5188 WITH SCORE 5196.832
AT ITER 378 NEW BEST:: SOT 18469 SOS 8832 HAS SOPS 5459 HAS SOUS 5310 HAS SOUPS 5166 WITH SCORE 5174.832
AT ITER 380 NEW BEST:: SOT 18457 SOS 8827 HAS SOPS 5459 HAS SOUS 5309 HAS SOUPS 5165 WITH SCORE 5173.827
AT ITER 388 NEW BEST:: SOT 18473 SOS 9015 HAS SOPS 5577 HAS SOUS 5255 HAS SOUPS 5111 WITH SCORE 5120.015
AT ITER 393 NEW BEST:: SOT 18490 SOS 8996 HAS SOPS 5539 HAS SOUS 5253 HAS SOUPS 5109 WITH SCORE 5117.996
AT ITER 397 NEW BEST:: SOT 18483 SOS 8989 HAS SOPS 5535 HAS SOUS 5253 HAS SOUPS 5105 WITH SCORE 5113.989
AT ITER 404 NEW BEST:: SOT 18357 SOS 9928 HAS SOPS 5417 HAS SOUS 5143 HAS SOUPS 4980 WITH SCORE 4989.928
AT ITER 406 NEW BEST:: SOT 18357 SOS 9930 HAS SOPS 5417 HAS SOUS 5141 HAS SOUPS 4978 WITH SCORE 4987.93
AT ITER 409 NEW BEST:: SOT 18357 SOS 9930 HAS SOPS 5417 HAS SOUS 5132 HAS SOUPS 4969 WITH SCORE 4978.93
AT ITER 422 NEW BEST:: SOT 18315 SOS 9841 HAS SOPS 5333 HAS SOUS 5083 HAS SOUPS 4920 WITH SCORE 4929.841
AT ITER 424 NEW BEST:: SOT 18293 SOS 9819 HAS SOPS 5289 HAS SOUS 5039 HAS SOUPS 4876 WITH SCORE 4885.819
AT ITER 451 NEW BEST:: SOT 18296 SOS 9732 HAS SOPS 5141 HAS SOUS 4927 HAS SOUPS 4764 WITH SCORE 4773.732
AT ITER 470 NEW BEST:: SOT 18266 SOS 9663 HAS SOPS 5081 HAS SOUS 4906 HAS SOUPS 4743 WITH SCORE 4752.663
AT ITER 495 NEW BEST:: SOT 18273 SOS 9680 HAS SOPS 5088 HAS SOUS 4904 HAS SOUPS 4741 WITH SCORE 4750.68
AT ITER 502 NEW BEST:: SOT 18244 SOS 9464 HAS SOPS 4864 HAS SOUS 4776 HAS SOUPS 4613 WITH SCORE 4622.464
AT ITER 503 NEW BEST:: SOT 18300 SOS 9374 HAS SOPS 4782 HAS SOUS 4725 HAS SOUPS 4569 WITH SCORE 4578.374
AT ITER 504 NEW BEST:: SOT 18280 SOS 9333 HAS SOPS 4742 HAS SOUS 4685 HAS SOUPS 4529 WITH SCORE 4538.333
AT ITER 521 NEW BEST:: SOT 18276 SOS 9329 HAS SOPS 4734 HAS SOUS 4677 HAS SOUPS 4521 WITH SCORE 4530.329
AT ITER 525 NEW BEST:: SOT 18286 SOS 9332 HAS SOPS 4710 HAS SOUS 4669 HAS SOUPS 4497 WITH SCORE 4506.332
AT ITER 536 NEW BEST:: SOT 18280 SOS 9318 HAS SOPS 4682 HAS SOUS 4647 HAS SOUPS 4469 WITH SCORE 4478.318
AT ITER 549 NEW BEST:: SOT 17651 SOS 9707 HAS SOPS 4051 HAS SOUS 4206 HAS SOUPS 3972 WITH SCORE 3981.707
AT ITER 558 NEW BEST:: SOT 17643 SOS 9676 HAS SOPS 4035 HAS SOUS 4190 HAS SOUPS 3956 WITH SCORE 3965.676
AT ITER 560 NEW BEST:: SOT 17643 SOS 9666 HAS SOPS 4025 HAS SOUS 4180 HAS SOUPS 3946 WITH SCORE 3955.666
AT ITER 569 NEW BEST:: SOT 17635 SOS 9629 HAS SOPS 3977 HAS SOUS 4132 HAS SOUPS 3898 WITH SCORE 3907.629
AT ITER 579 NEW BEST:: SOT 17634 SOS 9628 HAS SOPS 3975 HAS SOUS 4130 HAS SOUPS 3896 WITH SCORE 3905.628
AT ITER 617 NEW BEST:: SOT 17629 SOS 9623 HAS SOPS 3965 HAS SOUS 4125 HAS SOUPS 3891 WITH SCORE 3900.623
AT ITER 622 NEW BEST:: SOT 17618 SOS 9556 HAS SOPS 3887 HAS SOUS 4085 HAS SOUPS 3851 WITH SCORE 3860.556
AT ITER 640 NEW BEST:: SOT 17616 SOS 9553 HAS SOPS 3883 HAS SOUS 4081 HAS SOUPS 3847 WITH SCORE 3856.553
AT ITER 649 NEW BEST:: SOT 17608 SOS 9545 HAS SOPS 3867 HAS SOUS 4065 HAS SOUPS 3831 WITH SCORE 3840.545
AT ITER 651 NEW BEST:: SOT 17616 SOS 9553 HAS SOPS 3866 HAS SOUS 4064 HAS SOUPS 3830 WITH SCORE 3839.553
AT ITER 653 NEW BEST:: SOT 17637 SOS 9558 HAS SOPS 3860 HAS SOUS 4058 HAS SOUPS 3824 WITH SCORE 3833.558
AT ITER 676 NEW BEST:: SOT 17625 SOS 9523 HAS SOPS 3813 HAS SOUS 4011 HAS SOUPS 3777 WITH SCORE 3786.523
AT ITER 681 NEW BEST:: SOT 17659 SOS 9509 HAS SOPS 3785 HAS SOUS 3983 HAS SOUPS 3749 WITH SCORE 3758.509
AT ITER 689 NEW BEST:: SOT 17603 SOS 9453 HAS SOPS 3729 HAS SOUS 3927 HAS SOUPS 3693 WITH SCORE 3702.453
AT ITER 704 NEW BEST:: SOT 17605 SOS 9454 HAS SOPS 3725 HAS SOUS 3923 HAS SOUPS 3689 WITH SCORE 3698.454
AT ITER 707 NEW BEST:: SOT 17583 SOS 9445 HAS SOPS 3720 HAS SOUS 3918 HAS SOUPS 3684 WITH SCORE 3693.445
AT ITER 711 NEW BEST:: SOT 17584 SOS 9445 HAS SOPS 3718 HAS SOUS 3916 HAS SOUPS 3682 WITH SCORE 3691.445
AT ITER 714 NEW BEST:: SOT 17589 SOS 9449 HAS SOPS 3714 HAS SOUS 3913 HAS SOUPS 3679 WITH SCORE 3688.449
AT ITER 740 NEW BEST:: SOT 17614 SOS 9474 HAS SOPS 3704 HAS SOUS 3903 HAS SOUPS 3669 WITH SCORE 3678.474
AT ITER 742 NEW BEST:: SOT 17608 SOS 9468 HAS SOPS 3678 HAS SOUS 3877 HAS SOUPS 3643 WITH SCORE 3652.468
AT ITER 786 NEW BEST:: SOT 17608 SOS 9464 HAS SOPS 3674 HAS SOUS 3873 HAS SOUPS 3639 WITH SCORE 3648.464
AT ITER 787 NEW BEST:: SOT 17605 SOS 9461 HAS SOPS 3668 HAS SOUS 3867 HAS SOUPS 3633 WITH SCORE 3642.461
AT ITER 789 NEW BEST:: SOT 17533 SOS 10812 HAS SOPS 3593 HAS SOUS 3856 HAS SOUPS 3583 WITH SCORE 3593.812
AT ITER 805 NEW BEST:: SOT 17526 SOS 10810 HAS SOPS 3589 HAS SOUS 3854 HAS SOUPS 3579 WITH SCORE 3589.81
AT ITER 808 NEW BEST:: SOT 17519 SOS 10806 HAS SOPS 3575 HAS SOUS 3840 HAS SOUPS 3565 WITH SCORE 3575.806
AT ITER 828 NEW BEST:: SOT 17420 SOS 10804 HAS SOPS 3571 HAS SOUS 3836 HAS SOUPS 3561 WITH SCORE 3571.804
AT ITER 841 NEW BEST:: SOT 17425 SOS 10809 HAS SOPS 3564 HAS SOUS 3829 HAS SOUPS 3554 WITH SCORE 3564.809
AT ITER 844 NEW BEST:: SOT 17423 SOS 10807 HAS SOPS 3562 HAS SOUS 3827 HAS SOUPS 3552 WITH SCORE 3562.807
AT ITER 845 NEW BEST:: SOT 17410 SOS 10789 HAS SOPS 3536 HAS SOUS 3801 HAS SOUPS 3526 WITH SCORE 3536.789
AT ITER 862 NEW BEST:: SOT 17408 SOS 10787 HAS SOPS 3534 HAS SOUS 3799 HAS SOUPS 3524 WITH SCORE 3534.787
AT ITER 886 NEW BEST:: SOT 17406 SOS 10778 HAS SOPS 3523 HAS SOUS 3788 HAS SOUPS 3513 WITH SCORE 3523.778
AT ITER 889 NEW BEST:: SOT 17404 SOS 10775 HAS SOPS 3518 HAS SOUS 3783 HAS SOUPS 3508 WITH SCORE 3518.775
AT ITER 897 NEW BEST:: SOT 17398 SOS 10766 HAS SOPS 3506 HAS SOUS 3771 HAS SOUPS 3496 WITH SCORE 3506.766
AT ITER 903 NEW BEST:: SOT 17388 SOS 10988 HAS SOPS 3492 HAS SOUS 3764 HAS SOUPS 3486 WITH SCORE 3496.988
AT ITER 907 NEW BEST:: SOT 17370 SOS 10970 HAS SOPS 3471 HAS SOUS 3743 HAS SOUPS 3465 WITH SCORE 3475.97
AT ITER 962 NEW BEST:: SOT 17379 SOS 10979 HAS SOPS 3420 HAS SOUS 3692 HAS SOUPS 3414 WITH SCORE 3424.979
AT ITER 963 NEW BEST:: SOT 17375 SOS 10973 HAS SOPS 3412 HAS SOUS 3684 HAS SOUPS 3406 WITH SCORE 3416.973
AT ITER 980 NEW BEST:: SOT 17399 SOS 10997 HAS SOPS 3399 HAS SOUS 3671 HAS SOUPS 3393 WITH SCORE 3403.997
AT ITER 981 NEW BEST:: SOT 17379 SOS 10963 HAS SOPS 3359 HAS SOUS 3631 HAS SOUPS 3353 WITH SCORE 3363.963
AT ITER 1004 NEW BEST:: SOT 17379 SOS 10953 HAS SOPS 3359 HAS SOUS 3631 HAS SOUPS 3353 WITH SCORE 3363.953
AT ITER 1005 NEW BEST:: SOT 17361 SOS 10935 HAS SOPS 3357 HAS SOUS 3629 HAS SOUPS 3351 WITH SCORE 3361.935
AT ITER 1059 NEW BEST:: SOT 17354 SOS 10916 HAS SOPS 3343 HAS SOUS 3615 HAS SOUPS 3337 WITH SCORE 3347.916
AT ITER 1075 NEW BEST:: SOT 17334 SOS 10896 HAS SOPS 3323 HAS SOUS 3595 HAS SOUPS 3317 WITH SCORE 3327.896
AT ITER 1110 NEW BEST:: SOT 17318 SOS 10872 HAS SOPS 3283 HAS SOUS 3555 HAS SOUPS 3277 WITH SCORE 3287.872
AT ITER 1122 NEW BEST:: SOT 17304 SOS 10843 HAS SOPS 3240 HAS SOUS 3512 HAS SOUPS 3234 WITH SCORE 3244.843
AT ITER 1167 NEW BEST:: SOT 17291 SOS 10830 HAS SOPS 3214 HAS SOUS 3486 HAS SOUPS 3208 WITH SCORE 3218.83
AT ITER 1172 NEW BEST:: SOT 17290 SOS 10831 HAS SOPS 3212 HAS SOUS 3484 HAS SOUPS 3206 WITH SCORE 3216.831
AT ITER 1191 NEW BEST:: SOT 17289 SOS 10827 HAS SOPS 3210 HAS SOUS 3482 HAS SOUPS 3204 WITH SCORE 3214.827
AT ITER 1207 NEW BEST:: SOT 17282 SOS 10812 HAS SOPS 3187 HAS SOUS 3459 HAS SOUPS 3181 WITH SCORE 3191.812
AT ITER 1229 NEW BEST:: SOT 17280 SOS 10811 HAS SOPS 3183 HAS SOUS 3455 HAS SOUPS 3177 WITH SCORE 3187.811
AT ITER 1242 NEW BEST:: SOT 17267 SOS 10798 HAS SOPS 3171 HAS SOUS 3443 HAS SOUPS 3165 WITH SCORE 3175.798
AT ITER 1253 NEW BEST:: SOT 17319 SOS 10823 HAS SOPS 3169 HAS SOUS 3441 HAS SOUPS 3163 WITH SCORE 3173.823
AT ITER 1265 NEW BEST:: SOT 17305 SOS 10809 HAS SOPS 3161 HAS SOUS 3433 HAS SOUPS 3155 WITH SCORE 3165.809
AT ITER 1280 NEW BEST:: SOT 17302 SOS 10809 HAS SOPS 3155 HAS SOUS 3427 HAS SOUPS 3149 WITH SCORE 3159.809
AT ITER 1290 NEW BEST:: SOT 17298 SOS 10798 HAS SOPS 3137 HAS SOUS 3409 HAS SOUPS 3131 WITH SCORE 3141.798
AT ITER 1313 NEW BEST:: SOT 17303 SOS 10803 HAS SOPS 3131 HAS SOUS 3403 HAS SOUPS 3125 WITH SCORE 3135.803
AT ITER 1344 NEW BEST:: SOT 17301 SOS 10798 HAS SOPS 3118 HAS SOUS 3390 HAS SOUPS 3112 WITH SCORE 3122.798
AT ITER 1349 NEW BEST:: SOT 17301 SOS 10789 HAS SOPS 3100 HAS SOUS 3372 HAS SOUPS 3094 WITH SCORE 3104.789
AT ITER 1355 NEW BEST:: SOT 17316 SOS 10772 HAS SOPS 3066 HAS SOUS 3338 HAS SOUPS 3060 WITH SCORE 3070.772
AT ITER 1400 NEW BEST:: SOT 17296 SOS 10726 HAS SOPS 3026 HAS SOUS 3298 HAS SOUPS 3020 WITH SCORE 3030.726
AT ITER 1444 NEW BEST:: SOT 17295 SOS 10734 HAS SOPS 3024 HAS SOUS 3296 HAS SOUPS 3018 WITH SCORE 3028.734
AT ITER 1449 NEW BEST:: SOT 17297 SOS 10716 HAS SOPS 3008 HAS SOUS 3280 HAS SOUPS 3002 WITH SCORE 3012.716
AT ITER 1451 NEW BEST:: SOT 17288 SOS 10702 HAS SOPS 2984 HAS SOUS 3256 HAS SOUPS 2978 WITH SCORE 2988.702
AT ITER 1547 NEW BEST:: SOT 17283 SOS 10700 HAS SOPS 2980 HAS SOUS 3252 HAS SOUPS 2974 WITH SCORE 2984.7
AT ITER 1554 NEW BEST:: SOT 17277 SOS 10694 HAS SOPS 2974 HAS SOUS 3246 HAS SOUPS 2968 WITH SCORE 2978.694
AT ITER 1653 NEW BEST:: SOT 17269 SOS 10686 HAS SOPS 2958 HAS SOUS 3230 HAS SOUPS 2952 WITH SCORE 2962.686
AT ITER 1658 NEW BEST:: SOT 17266 SOS 10680 HAS SOPS 2949 HAS SOUS 3221 HAS SOUPS 2943 WITH SCORE 2953.68
AT ITER 1671 NEW BEST:: SOT 17259 SOS 10673 HAS SOPS 2935 HAS SOUS 3207 HAS SOUPS 2929 WITH SCORE 2939.673
AT ITER 1691 NEW BEST:: SOT 17249 SOS 10663 HAS SOPS 2935 HAS SOUS 3207 HAS SOUPS 2929 WITH SCORE 2939.663
AT ITER 1711 NEW BEST:: SOT 17246 SOS 10657 HAS SOPS 2929 HAS SOUS 3201 HAS SOUPS 2923 WITH SCORE 2933.657
AT ITER 1740 NEW BEST:: SOT 17244 SOS 10654 HAS SOPS 2920 HAS SOUS 3192 HAS SOUPS 2914 WITH SCORE 2924.654
AT ITER 1742 NEW BEST:: SOT 17243 SOS 10650 HAS SOPS 2918 HAS SOUS 3190 HAS SOUPS 2912 WITH SCORE 2922.65
AT ITER 1743 NEW BEST:: SOT 17234 SOS 10641 HAS SOPS 2900 HAS SOUS 3172 HAS SOUPS 2894 WITH SCORE 2904.641
AT ITER 1754 NEW BEST:: SOT 17230 SOS 10633 HAS SOPS 2892 HAS SOUS 3164 HAS SOUPS 2886 WITH SCORE 2896.633
AT ITER 1790 NEW BEST:: SOT 17248 SOS 10637 HAS SOPS 2886 HAS SOUS 3158 HAS SOUPS 2880 WITH SCORE 2890.637
AT ITER 1799 NEW BEST:: SOT 17234 SOS 10623 HAS SOPS 2866 HAS SOUS 3138 HAS SOUPS 2860 WITH SCORE 2870.623
AT ITER 1802 NEW BEST:: SOT 17232 SOS 10620 HAS SOPS 2862 HAS SOUS 3134 HAS SOUPS 2856 WITH SCORE 2866.62
AT ITER 1825 NEW BEST:: SOT 17225 SOS 10612 HAS SOPS 2848 HAS SOUS 3120 HAS SOUPS 2842 WITH SCORE 2852.612
AT ITER 1847 NEW BEST:: SOT 17224 SOS 10611 HAS SOPS 2846 HAS SOUS 3118 HAS SOUPS 2840 WITH SCORE 2850.611
AT ITER 1850 NEW BEST:: SOT 17214 SOS 10601 HAS SOPS 2799 HAS SOUS 3071 HAS SOUPS 2793 WITH SCORE 2803.601
AT ITER 1868 NEW BEST:: SOT 17212 SOS 10599 HAS SOPS 2795 HAS SOUS 3067 HAS SOUPS 2789 WITH SCORE 2799.599
AT ITER 1878 NEW BEST:: SOT 17211 SOS 10598 HAS SOPS 2793 HAS SOUS 3065 HAS SOUPS 2787 WITH SCORE 2797.598
AT ITER 1912 NEW BEST:: SOT 17211 SOS 10598 HAS SOPS 2792 HAS SOUS 3064 HAS SOUPS 2786 WITH SCORE 2796.598
AT ITER 1957 NEW BEST:: SOT 17211 SOS 10597 HAS SOPS 2792 HAS SOUS 3064 HAS SOUPS 2786 WITH SCORE 2796.597
AT ITER 1983 NEW BEST:: SOT 17199 SOS 10586 HAS SOPS 2768 HAS SOUS 3040 HAS SOUPS 2762 WITH SCORE 2772.586
AT ITER 2024 NEW BEST:: SOT 17200 SOS 10587 HAS SOPS 2764 HAS SOUS 3036 HAS SOUPS 2758 WITH SCORE 2768.587
AT ITER 2043 NEW BEST:: SOT 17206 SOS 10593 HAS SOPS 2758 HAS SOUS 3030 HAS SOUPS 2752 WITH SCORE 2762.593
AT ITER 2046 NEW BEST:: SOT 17206 SOS 10593 HAS SOPS 2757 HAS SOUS 3029 HAS SOUPS 2751 WITH SCORE 2761.593
AT ITER 2065 NEW BEST:: SOT 17202 SOS 10589 HAS SOPS 2749 HAS SOUS 3021 HAS SOUPS 2743 WITH SCORE 2753.589
AT ITER 2080 NEW BEST:: SOT 17194 SOS 10597 HAS SOPS 2733 HAS SOUS 3005 HAS SOUPS 2727 WITH SCORE 2737.597
AT ITER 2082 NEW BEST:: SOT 17076 SOS 10589 HAS SOPS 2717 HAS SOUS 2989 HAS SOUPS 2711 WITH SCORE 2721.589
AT ITER 2096 NEW BEST:: SOT 17062 SOS 10575 HAS SOPS 2689 HAS SOUS 2961 HAS SOUPS 2683 WITH SCORE 2693.575
AT ITER 2132 NEW BEST:: SOT 17060 SOS 10572 HAS SOPS 2685 HAS SOUS 2957 HAS SOUPS 2679 WITH SCORE 2689.572
AT ITER 2143 NEW BEST:: SOT 17056 SOS 10570 HAS SOPS 2685 HAS SOUS 2957 HAS SOUPS 2679 WITH SCORE 2689.57
AT ITER 2145 NEW BEST:: SOT 17052 SOS 10553 HAS SOPS 2664 HAS SOUS 2936 HAS SOUPS 2658 WITH SCORE 2668.553
AT ITER 2148 NEW BEST:: SOT 17048 SOS 10544 HAS SOPS 2645 HAS SOUS 2917 HAS SOUPS 2639 WITH SCORE 2649.544
AT ITER 2152 NEW BEST:: SOT 17053 SOS 10549 HAS SOPS 2639 HAS SOUS 2911 HAS SOUPS 2633 WITH SCORE 2643.549
AT ITER 2164 NEW BEST:: SOT 17047 SOS 10543 HAS SOPS 2627 HAS SOUS 2899 HAS SOUPS 2621 WITH SCORE 2631.543
AT ITER 2177 NEW BEST:: SOT 17046 SOS 10542 HAS SOPS 2625 HAS SOUS 2897 HAS SOUPS 2619 WITH SCORE 2629.542
AT ITER 2208 NEW BEST:: SOT 17044 SOS 10538 HAS SOPS 2619 HAS SOUS 2891 HAS SOUPS 2613 WITH SCORE 2623.538
AT ITER 2231 NEW BEST:: SOT 17044 SOS 10538 HAS SOPS 2616 HAS SOUS 2888 HAS SOUPS 2610 WITH SCORE 2620.538
AT ITER 2306 NEW BEST:: SOT 17053 SOS 10543 HAS SOPS 2600 HAS SOUS 2872 HAS SOUPS 2594 WITH SCORE 2604.543
AT ITER 2308 NEW BEST:: SOT 17088 SOS 10578 HAS SOPS 2591 HAS SOUS 2863 HAS SOUPS 2585 WITH SCORE 2595.578
AT ITER 2343 NEW BEST:: SOT 17080 SOS 10566 HAS SOPS 2575 HAS SOUS 2847 HAS SOUPS 2569 WITH SCORE 2579.566
AT ITER 2356 NEW BEST:: SOT 17079 SOS 10565 HAS SOPS 2573 HAS SOUS 2845 HAS SOUPS 2567 WITH SCORE 2577.565
AT ITER 2364 NEW BEST:: SOT 17070 SOS 10552 HAS SOPS 2555 HAS SOUS 2827 HAS SOUPS 2549 WITH SCORE 2559.552
AT ITER 2368 NEW BEST:: SOT 17070 SOS 10552 HAS SOPS 2542 HAS SOUS 2814 HAS SOUPS 2536 WITH SCORE 2546.552
AT ITER 2369 NEW BEST:: SOT 17071 SOS 10536 HAS SOPS 2526 HAS SOUS 2798 HAS SOUPS 2520 WITH SCORE 2530.536
AT ITER 2395 NEW BEST:: SOT 17071 SOS 10535 HAS SOPS 2526 HAS SOUS 2798 HAS SOUPS 2520 WITH SCORE 2530.535
AT ITER 2405 NEW BEST:: SOT 17070 SOS 10534 HAS SOPS 2524 HAS SOUS 2796 HAS SOUPS 2518 WITH SCORE 2528.534
AT ITER 2407 NEW BEST:: SOT 17070 SOS 10533 HAS SOPS 2523 HAS SOUS 2795 HAS SOUPS 2517 WITH SCORE 2527.533
AT ITER 2411 NEW BEST:: SOT 17059 SOS 10527 HAS SOPS 2501 HAS SOUS 2773 HAS SOUPS 2495 WITH SCORE 2505.527
AT ITER 2415 NEW BEST:: SOT 17057 SOS 10525 HAS SOPS 2497 HAS SOUS 2769 HAS SOUPS 2491 WITH SCORE 2501.525
AT ITER 2423 NEW BEST:: SOT 17055 SOS 10523 HAS SOPS 2493 HAS SOUS 2765 HAS SOUPS 2487 WITH SCORE 2497.523
AT ITER 2441 NEW BEST:: SOT 17054 SOS 10522 HAS SOPS 2491 HAS SOUS 2763 HAS SOUPS 2485 WITH SCORE 2495.522
AT ITER 2448 NEW BEST:: SOT 17036 SOS 10504 HAS SOPS 2478 HAS SOUS 2750 HAS SOUPS 2472 WITH SCORE 2482.504
AT ITER 2499 NEW BEST:: SOT 17053 SOS 10518 HAS SOPS 2472 HAS SOUS 2744 HAS SOUPS 2466 WITH SCORE 2476.518
AT ITER 2518 NEW BEST:: SOT 17057 SOS 10509 HAS SOPS 2446 HAS SOUS 2718 HAS SOUPS 2440 WITH SCORE 2450.509
AT ITER 2558 NEW BEST:: SOT 17056 SOS 10508 HAS SOPS 2445 HAS SOUS 2717 HAS SOUPS 2439 WITH SCORE 2449.508
AT ITER 2569 NEW BEST:: SOT 17056 SOS 10508 HAS SOPS 2444 HAS SOUS 2716 HAS SOUPS 2438 WITH SCORE 2448.508
AT ITER 2595 NEW BEST:: SOT 17096 SOS 10547 HAS SOPS 2440 HAS SOUS 2712 HAS SOUPS 2434 WITH SCORE 2444.547
AT ITER 2616 NEW BEST:: SOT 17096 SOS 10545 HAS SOPS 2440 HAS SOUS 2712 HAS SOUPS 2434 WITH SCORE 2444.545
AT ITER 2660 NEW BEST:: SOT 17090 SOS 10539 HAS SOPS 2428 HAS SOUS 2700 HAS SOUPS 2422 WITH SCORE 2432.539
AT ITER 2664 NEW BEST:: SOT 17078 SOS 10521 HAS SOPS 2404 HAS SOUS 2676 HAS SOUPS 2398 WITH SCORE 2408.521
AT ITER 2667 NEW BEST:: SOT 17066 SOS 10503 HAS SOPS 2380 HAS SOUS 2652 HAS SOUPS 2374 WITH SCORE 2384.503
AT ITER 2753 NEW BEST:: SOT 17076 SOS 10497 HAS SOPS 2358 HAS SOUS 2630 HAS SOUPS 2352 WITH SCORE 2362.497
AT ITER 2756 NEW BEST:: SOT 17071 SOS 10651 HAS SOPS 2349 HAS SOUS 2626 HAS SOUPS 2346 WITH SCORE 2356.651
AT ITER 2767 NEW BEST:: SOT 17064 SOS 10643 HAS SOPS 2335 HAS SOUS 2612 HAS SOUPS 2332 WITH SCORE 2342.643
AT ITER 2881 NEW BEST:: SOT 17115 SOS 10642 HAS SOPS 2333 HAS SOUS 2610 HAS SOUPS 2330 WITH SCORE 2340.642
AT ITER 2913 NEW BEST:: SOT 17125 SOS 10642 HAS SOPS 2307 HAS SOUS 2585 HAS SOUPS 2305 WITH SCORE 2315.642
AT ITER 2934 NEW BEST:: SOT 17117 SOS 10630 HAS SOPS 2291 HAS SOUS 2569 HAS SOUPS 2289 WITH SCORE 2299.63
AT ITER 2948 NEW BEST:: SOT 17108 SOS 10621 HAS SOPS 2273 HAS SOUS 2551 HAS SOUPS 2271 WITH SCORE 2281.621
AT ITER 2981 NEW BEST:: SOT 17107 SOS 10620 HAS SOPS 2271 HAS SOUS 2549 HAS SOUPS 2269 WITH SCORE 2279.62
AT ITER 3015 NEW BEST:: SOT 17103 SOS 10614 HAS SOPS 2263 HAS SOUS 2541 HAS SOUPS 2261 WITH SCORE 2271.614
AT ITER 3016 NEW BEST:: SOT 17103 SOS 10607 HAS SOPS 2256 HAS SOUS 2534 HAS SOUPS 2254 WITH SCORE 2264.607
AT ITER 3021 NEW BEST:: SOT 17100 SOS 10595 HAS SOPS 2220 HAS SOUS 2498 HAS SOUPS 2218 WITH SCORE 2228.595
AT ITER 3028 NEW BEST:: SOT 17098 SOS 10595 HAS SOPS 2216 HAS SOUS 2494 HAS SOUPS 2214 WITH SCORE 2224.595
AT ITER 3116 NEW BEST:: SOT 17085 SOS 10582 HAS SOPS 2216 HAS SOUS 2494 HAS SOUPS 2214 WITH SCORE 2224.582
AT ITER 3130 NEW BEST:: SOT 17098 SOS 10580 HAS SOPS 2197 HAS SOUS 2475 HAS SOUPS 2195 WITH SCORE 2205.58
AT ITER 3134 NEW BEST:: SOT 17098 SOS 10579 HAS SOPS 2195 HAS SOUS 2473 HAS SOUPS 2193 WITH SCORE 2203.579
AT ITER 3170 NEW BEST:: SOT 17075 SOS 10556 HAS SOPS 2175 HAS SOUS 2453 HAS SOUPS 2173 WITH SCORE 2183.556
AT ITER 3190 NEW BEST:: SOT 17069 SOS 10553 HAS SOPS 2169 HAS SOUS 2447 HAS SOUPS 2167 WITH SCORE 2177.553
AT ITER 3195 NEW BEST:: SOT 17069 SOS 10546 HAS SOPS 2169 HAS SOUS 2447 HAS SOUPS 2167 WITH SCORE 2177.546
AT ITER 3295 NEW BEST:: SOT 17069 SOS 10546 HAS SOPS 2166 HAS SOUS 2444 HAS SOUPS 2164 WITH SCORE 2174.546
AT ITER 3299 NEW BEST:: SOT 17067 SOS 10544 HAS SOPS 2163 HAS SOUS 2441 HAS SOUPS 2161 WITH SCORE 2171.544
AT ITER 3306 NEW BEST:: SOT 17062 SOS 10534 HAS SOPS 2153 HAS SOUS 2431 HAS SOUPS 2151 WITH SCORE 2161.534
AT ITER 3360 NEW BEST:: SOT 17060 SOS 10531 HAS SOPS 2149 HAS SOUS 2427 HAS SOUPS 2147 WITH SCORE 2157.531
AT ITER 3405 NEW BEST:: SOT 17058 SOS 10529 HAS SOPS 2145 HAS SOUS 2423 HAS SOUPS 2143 WITH SCORE 2153.529
AT ITER 3475 NEW BEST:: SOT 17059 SOS 10529 HAS SOPS 2144 HAS SOUS 2422 HAS SOUPS 2142 WITH SCORE 2152.529
AT ITER 3588 NEW BEST:: SOT 17057 SOS 10527 HAS SOPS 2142 HAS SOUS 2420 HAS SOUPS 2140 WITH SCORE 2150.527
AT ITER 3639 NEW BEST:: SOT 17051 SOS 10528 HAS SOPS 2140 HAS SOUS 2418 HAS SOUPS 2138 WITH SCORE 2148.528
AT ITER 3641 NEW BEST:: SOT 17050 SOS 10523 HAS SOPS 2134 HAS SOUS 2412 HAS SOUPS 2132 WITH SCORE 2142.523
AT ITER 3670 NEW BEST:: SOT 17050 SOS 10523 HAS SOPS 2130 HAS SOUS 2408 HAS SOUPS 2128 WITH SCORE 2138.523
AT ITER 3725 NEW BEST:: SOT 17046 SOS 10519 HAS SOPS 2124 HAS SOUS 2402 HAS SOUPS 2122 WITH SCORE 2132.519
AT ITER 3736 NEW BEST:: SOT 17046 SOS 10518 HAS SOPS 2122 HAS SOUS 2400 HAS SOUPS 2120 WITH SCORE 2130.518
AT ITER 3824 NEW BEST:: SOT 17044 SOS 10517 HAS SOPS 2120 HAS SOUS 2398 HAS SOUPS 2118 WITH SCORE 2128.517
AT ITER 3833 NEW BEST:: SOT 17033 SOS 10511 HAS SOPS 2112 HAS SOUS 2390 HAS SOUPS 2110 WITH SCORE 2120.511
AT ITER 4034 NEW BEST:: SOT 17034 SOS 10506 HAS SOPS 2102 HAS SOUS 2380 HAS SOUPS 2100 WITH SCORE 2110.506
AT ITER 4081 NEW BEST:: SOT 17043 SOS 10496 HAS SOPS 2100 HAS SOUS 2378 HAS SOUPS 2098 WITH SCORE 2108.496
AT ITER 4112 NEW BEST:: SOT 17039 SOS 10497 HAS SOPS 2092 HAS SOUS 2370 HAS SOUPS 2090 WITH SCORE 2100.497
AT ITER 4180 NEW BEST:: SOT 17033 SOS 10488 HAS SOPS 2080 HAS SOUS 2358 HAS SOUPS 2078 WITH SCORE 2088.488
AT ITER 4185 NEW BEST:: SOT 17031 SOS 10485 HAS SOPS 2076 HAS SOUS 2354 HAS SOUPS 2074 WITH SCORE 2084.485
AT ITER 4263 NEW BEST:: SOT 17030 SOS 10483 HAS SOPS 2074 HAS SOUS 2352 HAS SOUPS 2072 WITH SCORE 2082.483
AT ITER 4280 NEW BEST:: SOT 17028 SOS 10481 HAS SOPS 2070 HAS SOUS 2348 HAS SOUPS 2068 WITH SCORE 2078.481
AT ITER 4301 NEW BEST:: SOT 17028 SOS 10479 HAS SOPS 2066 HAS SOUS 2344 HAS SOUPS 2064 WITH SCORE 2074.479
AT ITER 4312 NEW BEST:: SOT 17028 SOS 10478 HAS SOPS 2065 HAS SOUS 2343 HAS SOUPS 2063 WITH SCORE 2073.478
AT ITER 4323 NEW BEST:: SOT 16998 SOS 10448 HAS SOPS 2033 HAS SOUS 2311 HAS SOUPS 2031 WITH SCORE 2041.448
AT ITER 4379 NEW BEST:: SOT 16989 SOS 10564 HAS SOPS 2024 HAS SOUS 2302 HAS SOUPS 2022 WITH SCORE 2032.564
AT ITER 4389 NEW BEST:: SOT 16987 SOS 10564 HAS SOPS 2020 HAS SOUS 2298 HAS SOUPS 2018 WITH SCORE 2028.564
AT ITER 4400 NEW BEST:: SOT 16986 SOS 10562 HAS SOPS 2017 HAS SOUS 2295 HAS SOUPS 2015 WITH SCORE 2025.562
AT ITER 4470 NEW BEST:: SOT 16986 SOS 10646 HAS SOPS 2013 HAS SOUS 2293 HAS SOUPS 2011 WITH SCORE 2021.646
AT ITER 4522 NEW BEST:: SOT 16976 SOS 10636 HAS SOPS 2010 HAS SOUS 2290 HAS SOUPS 2008 WITH SCORE 2018.636
AT ITER 4549 NEW BEST:: SOT 16984 SOS 10638 HAS SOPS 2005 HAS SOUS 2287 HAS SOUPS 2003 WITH SCORE 2013.638
AT ITER 4596 NEW BEST:: SOT 16983 SOS 10637 HAS SOPS 2003 HAS SOUS 2285 HAS SOUPS 2001 WITH SCORE 2011.637
AT ITER 4621 NEW BEST:: SOT 16992 SOS 10636 HAS SOPS 1991 HAS SOUS 2273 HAS SOUPS 1989 WITH SCORE 1999.636
AT ITER 4646 NEW BEST:: SOT 16989 SOS 10633 HAS SOPS 1990 HAS SOUS 2272 HAS SOUPS 1988 WITH SCORE 1998.633
AT ITER 4680 NEW BEST:: SOT 17003 SOS 10616 HAS SOPS 1987 HAS SOUS 2269 HAS SOUPS 1985 WITH SCORE 1995.616
AT ITER 4737 NEW BEST:: SOT 17002 SOS 10615 HAS SOPS 1985 HAS SOUS 2267 HAS SOUPS 1983 WITH SCORE 1993.615
AT ITER 4738 NEW BEST:: SOT 17002 SOS 10615 HAS SOPS 1983 HAS SOUS 2265 HAS SOUPS 1981 WITH SCORE 1991.615
AT ITER 4774 NEW BEST:: SOT 16998 SOS 10613 HAS SOPS 1980 HAS SOUS 2262 HAS SOUPS 1978 WITH SCORE 1988.613
AT ITER 4804 NEW BEST:: SOT 17001 SOS 10616 HAS SOPS 1969 HAS SOUS 2251 HAS SOUPS 1967 WITH SCORE 1977.616
AT ITER 4839 NEW BEST:: SOT 17000 SOS 10617 HAS SOPS 1967 HAS SOUS 2249 HAS SOUPS 1965 WITH SCORE 1975.617
AT ITER 4855 NEW BEST:: SOT 16997 SOS 10609 HAS SOPS 1951 HAS SOUS 2233 HAS SOUPS 1949 WITH SCORE 1959.609
AT ITER 4938 NEW BEST:: SOT 16996 SOS 10608 HAS SOPS 1948 HAS SOUS 2230 HAS SOUPS 1946 WITH SCORE 1956.608
AT ITER 4952 NEW BEST:: SOT 16994 SOS 10605 HAS SOPS 1938 HAS SOUS 2220 HAS SOUPS 1936 WITH SCORE 1946.605
AT ITER 4973 NEW BEST:: SOT 16992 SOS 10602 HAS SOPS 1934 HAS SOUS 2216 HAS SOUPS 1932 WITH SCORE 1942.602
AT ITER 4990 NEW BEST:: SOT 16991 SOS 10598 HAS SOPS 1929 HAS SOUS 2211 HAS SOUPS 1927 WITH SCORE 1937.598
AT ITER 4992 NEW BEST:: SOT 16988 SOS 10595 HAS SOPS 1925 HAS SOUS 2207 HAS SOUPS 1923 WITH SCORE 1933.595
AT ITER 5047 NEW BEST:: SOT 16986 SOS 10592 HAS SOPS 1921 HAS SOUS 2203 HAS SOUPS 1919 WITH SCORE 1929.592
AT ITER 5113 NEW BEST:: SOT 16984 SOS 10589 HAS SOPS 1917 HAS SOUS 2199 HAS SOUPS 1915 WITH SCORE 1925.589
AT ITER 5207 NEW BEST:: SOT 16980 SOS 10585 HAS SOPS 1917 HAS SOUS 2199 HAS SOUPS 1915 WITH SCORE 1925.585
AT ITER 5209 NEW BEST:: SOT 16960 SOS 10566 HAS SOPS 1888 HAS SOUS 2170 HAS SOUPS 1886 WITH SCORE 1896.566
AT ITER 5215 NEW BEST:: SOT 16960 SOS 10565 HAS SOPS 1885 HAS SOUS 2167 HAS SOUPS 1883 WITH SCORE 1893.565
AT ITER 5267 NEW BEST:: SOT 16959 SOS 10562 HAS SOPS 1879 HAS SOUS 2161 HAS SOUPS 1877 WITH SCORE 1887.562
AT ITER 5451 NEW BEST:: SOT 16962 SOS 10562 HAS SOPS 1867 HAS SOUS 2149 HAS SOUPS 1865 WITH SCORE 1875.562
AT ITER 5479 NEW BEST:: SOT 16958 SOS 10558 HAS SOPS 1863 HAS SOUS 2145 HAS SOUPS 1861 WITH SCORE 1871.558
AT ITER 5496 NEW BEST:: SOT 16957 SOS 10556 HAS SOPS 1861 HAS SOUS 2143 HAS SOUPS 1859 WITH SCORE 1869.556
AT ITER 5531 NEW BEST:: SOT 16956 SOS 10554 HAS SOPS 1858 HAS SOUS 2140 HAS SOUPS 1856 WITH SCORE 1866.554
AT ITER 5637 NEW BEST:: SOT 16958 SOS 10550 HAS SOPS 1848 HAS SOUS 2130 HAS SOUPS 1846 WITH SCORE 1856.55
AT ITER 5754 NEW BEST:: SOT 16956 SOS 10549 HAS SOPS 1846 HAS SOUS 2128 HAS SOUPS 1844 WITH SCORE 1854.549
AT ITER 5779 NEW BEST:: SOT 16955 SOS 10633 HAS SOPS 1845 HAS SOUS 2128 HAS SOUPS 1843 WITH SCORE 1853.633
AT ITER 5791 NEW BEST:: SOT 16956 SOS 10633 HAS SOPS 1837 HAS SOUS 2120 HAS SOUPS 1835 WITH SCORE 1845.633
AT ITER 5987 NEW BEST:: SOT 16957 SOS 10624 HAS SOPS 1819 HAS SOUS 2102 HAS SOUPS 1817 WITH SCORE 1827.624
AT ITER 6006 NEW BEST:: SOT 16957 SOS 10619 HAS SOPS 1809 HAS SOUS 2092 HAS SOUPS 1807 WITH SCORE 1817.619
AT ITER 6028 NEW BEST:: SOT 16956 SOS 10618 HAS SOPS 1807 HAS SOUS 2090 HAS SOUPS 1805 WITH SCORE 1815.618
AT ITER 6039 NEW BEST:: SOT 16954 SOS 10617 HAS SOPS 1806 HAS SOUS 2089 HAS SOUPS 1804 WITH SCORE 1814.617
AT ITER 6105 NEW BEST:: SOT 16931 SOS 10616 HAS SOPS 1804 HAS SOUS 2087 HAS SOUPS 1802 WITH SCORE 1812.616
AT ITER 6146 NEW BEST:: SOT 16929 SOS 10614 HAS SOPS 1800 HAS SOUS 2083 HAS SOUPS 1798 WITH SCORE 1808.614
AT ITER 6235 NEW BEST:: SOT 16929 SOS 10613 HAS SOPS 1799 HAS SOUS 2082 HAS SOUPS 1797 WITH SCORE 1807.613
AT ITER 6431 NEW BEST:: SOT 16929 SOS 10612 HAS SOPS 1799 HAS SOUS 2082 HAS SOUPS 1797 WITH SCORE 1807.612
AT ITER 6437 NEW BEST:: SOT 16925 SOS 10608 HAS SOPS 1791 HAS SOUS 2074 HAS SOUPS 1789 WITH SCORE 1799.608
AT ITER 6485 NEW BEST:: SOT 16920 SOS 10597 HAS SOPS 1775 HAS SOUS 2058 HAS SOUPS 1773 WITH SCORE 1783.597
AT ITER 6488 NEW BEST:: SOT 16917 SOS 10595 HAS SOPS 1769 HAS SOUS 2052 HAS SOUPS 1767 WITH SCORE 1777.595
AT ITER 6668 NEW BEST:: SOT 16917 SOS 10593 HAS SOPS 1765 HAS SOUS 2048 HAS SOUPS 1763 WITH SCORE 1773.593
AT ITER 6687 NEW BEST:: SOT 16915 SOS 10590 HAS SOPS 1761 HAS SOUS 2044 HAS SOUPS 1759 WITH SCORE 1769.59
AT ITER 6929 NEW BEST:: SOT 16911 SOS 10587 HAS SOPS 1759 HAS SOUS 2042 HAS SOUPS 1757 WITH SCORE 1767.587
AT ITER 7070 NEW BEST:: SOT 16910 SOS 10584 HAS SOPS 1755 HAS SOUS 2038 HAS SOUPS 1753 WITH SCORE 1763.584
AT ITER 7094 NEW BEST:: SOT 16910 SOS 10581 HAS SOPS 1751 HAS SOUS 2034 HAS SOUPS 1749 WITH SCORE 1759.581
AT ITER 7127 NEW BEST:: SOT 16904 SOS 10577 HAS SOPS 1743 HAS SOUS 2026 HAS SOUPS 1741 WITH SCORE 1751.577
AT ITER 7176 NEW BEST:: SOT 16904 SOS 10620 HAS SOPS 1741 HAS SOUS 2025 HAS SOUPS 1739 WITH SCORE 1749.62
AT ITER 7237 NEW BEST:: SOT 16902 SOS 10613 HAS SOPS 1737 HAS SOUS 2021 HAS SOUPS 1735 WITH SCORE 1745.613
AT ITER 7309 NEW BEST:: SOT 16903 SOS 10613 HAS SOPS 1736 HAS SOUS 2020 HAS SOUPS 1734 WITH SCORE 1744.613
AT ITER 7331 NEW BEST:: SOT 16901 SOS 10610 HAS SOPS 1732 HAS SOUS 2016 HAS SOUPS 1730 WITH SCORE 1740.61
AT ITER 7378 NEW BEST:: SOT 16900 SOS 10610 HAS SOPS 1730 HAS SOUS 2014 HAS SOUPS 1728 WITH SCORE 1738.61
AT ITER 7667 NEW BEST:: SOT 16901 SOS 10611 HAS SOPS 1726 HAS SOUS 2010 HAS SOUPS 1724 WITH SCORE 1734.611
AT ITER 7822 NEW BEST:: SOT 16873 SOS 10634 HAS SOPS 1721 HAS SOUS 2005 HAS SOUPS 1719 WITH SCORE 1729.634
AT ITER 7885 NEW BEST:: SOT 16871 SOS 10632 HAS SOPS 1718 HAS SOUS 2002 HAS SOUPS 1716 WITH SCORE 1726.632
AT ITER 8044 NEW BEST:: SOT 16871 SOS 10631 HAS SOPS 1716 HAS SOUS 2000 HAS SOUPS 1714 WITH SCORE 1724.631
AT ITER 8075 NEW BEST:: SOT 16868 SOS 10628 HAS SOPS 1712 HAS SOUS 1996 HAS SOUPS 1710 WITH SCORE 1720.628
AT ITER 8163 NEW BEST:: SOT 16868 SOS 10626 HAS SOPS 1708 HAS SOUS 1992 HAS SOUPS 1706 WITH SCORE 1716.626
AT ITER 8247 NEW BEST:: SOT 16867 SOS 10625 HAS SOPS 1706 HAS SOUS 1990 HAS SOUPS 1704 WITH SCORE 1714.625
AT ITER 8270 NEW BEST:: SOT 16857 SOS 10615 HAS SOPS 1700 HAS SOUS 1984 HAS SOUPS 1698 WITH SCORE 1708.615
AT ITER 8355 NEW BEST:: SOT 16860 SOS 10612 HAS SOPS 1694 HAS SOUS 1978 HAS SOUPS 1692 WITH SCORE 1702.612
AT ITER 8451 NEW BEST:: SOT 16873 SOS 10596 HAS SOPS 1691 HAS SOUS 1975 HAS SOUPS 1689 WITH SCORE 1699.596
AT ITER 8488 NEW BEST:: SOT 16870 SOS 10593 HAS SOPS 1687 HAS SOUS 1971 HAS SOUPS 1685 WITH SCORE 1695.593
AT ITER 9119 NEW BEST:: SOT 16869 SOS 10592 HAS SOPS 1685 HAS SOUS 1969 HAS SOUPS 1683 WITH SCORE 1693.592
AT ITER 9193 NEW BEST:: SOT 16866 SOS 10592 HAS SOPS 1682 HAS SOUS 1966 HAS SOUPS 1680 WITH SCORE 1690.592
AT ITER 9385 NEW BEST:: SOT 16864 SOS 10590 HAS SOPS 1682 HAS SOUS 1965 HAS SOUPS 1680 WITH SCORE 1690.59
AT ITER 9775 NEW BEST:: SOT 16865 SOS 10590 HAS SOPS 1678 HAS SOUS 1961 HAS SOUPS 1676 WITH SCORE 1686.59
STATE_SPACE STATES 4177248169415652 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 17 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 79747465052480611 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678405395131

--------------------
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="DiscoveryGPU-PT-15a"
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 DiscoveryGPU-PT-15a, 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 r139-smll-167819423000432"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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