fond

jQuery Multi Level CSS Menu Css3Menu.com

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

About the Execution of Smart+red for CSRepetitions-PT-04

Execution Summary
Max Memory
Used (MB)		 Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
1104.871 80888.00 88772.00 655.40 3.0948E+0013 4.7136E+0014 4 24 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.r075-smll-167814400500072.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 CSRepetitions-PT-04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r075-smll-167814400500072
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.9M
-rw-r--r-- 1 mcc users 36K Feb 25 11:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 175K Feb 25 11:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 42K Feb 25 11:53 CTLFireability.txt
-rw-r--r-- 1 mcc users 202K Feb 25 11:53 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 23K Feb 25 15:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 25 15:41 LTLCardinality.xml
-rw-r--r-- 1 mcc users 20K Feb 25 15:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 71K Feb 25 15:41 LTLFireability.xml
-rw-r--r-- 1 mcc users 91K Feb 25 11:59 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 381K Feb 25 11:59 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 114K Feb 25 11:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 504K Feb 25 11:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.1K Feb 25 15:41 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.5K Feb 25 15:41 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 87K 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 1678230495792

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=CSRepetitions-PT-04
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-07 23:08:19] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-07 23:08:19] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-07 23:08:19] [INFO ] Load time of PNML (sax parser for PT used): 110 ms
[2023-03-07 23:08:19] [INFO ] Transformed 117 places.
[2023-03-07 23:08:19] [INFO ] Transformed 176 transitions.
[2023-03-07 23:08:19] [INFO ] Parsed PT model containing 117 places and 176 transitions and 624 arcs in 252 ms.
[2023-03-07 23:08:19] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 117 places, 176 transitions and 624 arcs took 10 ms.
Total runtime 328 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CSRepetitions (PT), instance 04
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: 117 places, 176 transitions, 624 arcs.
AT ITER 0 NEW BEST:: SOT 15985 SOS 14128 HAS SOPS 13903 HAS SOUS 12628 HAS SOUPS 12403 WITH SCORE 12417.128
AT ITER 1 NEW BEST:: SOT 15979 SOS 14122 HAS SOPS 13897 HAS SOUS 12622 HAS SOUPS 12397 WITH SCORE 12411.122
AT ITER 3 NEW BEST:: SOT 15965 SOS 14108 HAS SOPS 13883 HAS SOUS 12608 HAS SOUPS 12383 WITH SCORE 12397.108
AT ITER 5 NEW BEST:: SOT 15980 SOS 14001 HAS SOPS 13695 HAS SOUS 12409 HAS SOUPS 12103 WITH SCORE 12117.001
AT ITER 8 NEW BEST:: SOT 15958 SOS 13963 HAS SOPS 13695 HAS SOUS 12371 HAS SOUPS 12103 WITH SCORE 12116.963
AT ITER 13 NEW BEST:: SOT 16002 SOS 13920 HAS SOPS 13671 HAS SOUS 12238 HAS SOUPS 11989 WITH SCORE 12002.92
AT ITER 14 NEW BEST:: SOT 15993 SOS 13911 HAS SOPS 13662 HAS SOUS 12229 HAS SOUPS 11980 WITH SCORE 11993.911
AT ITER 23 NEW BEST:: SOT 15974 SOS 13839 HAS SOPS 13605 HAS SOUS 12100 HAS SOUPS 11866 WITH SCORE 11879.839
AT ITER 29 NEW BEST:: SOT 16019 SOS 13846 HAS SOPS 13632 HAS SOUS 11997 HAS SOUPS 11783 WITH SCORE 11796.846
AT ITER 35 NEW BEST:: SOT 16019 SOS 13822 HAS SOPS 13608 HAS SOUS 11948 HAS SOUPS 11734 WITH SCORE 11747.822
AT ITER 36 NEW BEST:: SOT 16038 SOS 13758 HAS SOPS 13501 HAS SOUS 11758 HAS SOUPS 11501 WITH SCORE 11514.758
AT ITER 38 NEW BEST:: SOT 16020 SOS 13645 HAS SOPS 13431 HAS SOUS 11582 HAS SOUPS 11368 WITH SCORE 11381.645
AT ITER 39 NEW BEST:: SOT 16006 SOS 13620 HAS SOPS 13431 HAS SOUS 11557 HAS SOUPS 11368 WITH SCORE 11381.62
AT ITER 41 NEW BEST:: SOT 16028 SOS 13562 HAS SOPS 13333 HAS SOUS 11425 HAS SOUPS 11196 WITH SCORE 11209.562
AT ITER 44 NEW BEST:: SOT 16028 SOS 13559 HAS SOPS 13333 HAS SOUS 11420 HAS SOUPS 11194 WITH SCORE 11207.559
AT ITER 47 NEW BEST:: SOT 16154 SOS 12849 HAS SOPS 12623 HAS SOUS 10338 HAS SOUPS 10112 WITH SCORE 10124.849
AT ITER 50 NEW BEST:: SOT 16148 SOS 12843 HAS SOPS 12617 HAS SOUS 10322 HAS SOUPS 10096 WITH SCORE 10108.843
AT ITER 52 NEW BEST:: SOT 15872 SOS 12606 HAS SOPS 12380 HAS SOUS 10085 HAS SOUPS 9859 WITH SCORE 9871.606
AT ITER 65 NEW BEST:: SOT 15918 SOS 12514 HAS SOPS 12242 HAS SOUS 10058 HAS SOUPS 9786 WITH SCORE 9798.514
AT ITER 67 NEW BEST:: SOT 16021 SOS 12539 HAS SOPS 12242 HAS SOUS 9998 HAS SOUPS 9701 WITH SCORE 9713.539
AT ITER 70 NEW BEST:: SOT 15061 SOS 11595 HAS SOPS 11323 HAS SOUS 9054 HAS SOUPS 8782 WITH SCORE 8793.595
AT ITER 71 NEW BEST:: SOT 15032 SOS 11537 HAS SOPS 11265 HAS SOUS 8967 HAS SOUPS 8695 WITH SCORE 8706.537
AT ITER 73 NEW BEST:: SOT 15131 SOS 11366 HAS SOPS 11011 HAS SOUS 8804 HAS SOUPS 8449 WITH SCORE 8460.366
AT ITER 74 NEW BEST:: SOT 14250 SOS 11964 HAS SOPS 11964 HAS SOUS 6941 HAS SOUPS 6941 WITH SCORE 6952.964
AT ITER 75 NEW BEST:: SOT 14250 SOS 11964 HAS SOPS 11964 HAS SOUS 6915 HAS SOUPS 6915 WITH SCORE 6926.964
AT ITER 78 NEW BEST:: SOT 14244 SOS 11958 HAS SOPS 11958 HAS SOUS 6909 HAS SOUPS 6909 WITH SCORE 6920.958
AT ITER 96 NEW BEST:: SOT 14244 SOS 11958 HAS SOPS 11958 HAS SOUS 6893 HAS SOUPS 6893 WITH SCORE 6904.958
AT ITER 102 NEW BEST:: SOT 14234 SOS 11938 HAS SOPS 11938 HAS SOUS 6883 HAS SOUPS 6883 WITH SCORE 6894.938
AT ITER 109 NEW BEST:: SOT 14214 SOS 11858 HAS SOPS 11858 HAS SOUS 6776 HAS SOUPS 6776 WITH SCORE 6787.858
AT ITER 110 NEW BEST:: SOT 14208 SOS 11852 HAS SOPS 11852 HAS SOUS 6770 HAS SOUPS 6770 WITH SCORE 6781.852
AT ITER 113 NEW BEST:: SOT 14192 SOS 11788 HAS SOPS 11788 HAS SOUS 6754 HAS SOUPS 6754 WITH SCORE 6765.788
AT ITER 115 NEW BEST:: SOT 14180 SOS 11776 HAS SOPS 11776 HAS SOUS 6730 HAS SOUPS 6730 WITH SCORE 6741.776
AT ITER 117 NEW BEST:: SOT 14176 SOS 11772 HAS SOPS 11772 HAS SOUS 6722 HAS SOUPS 6722 WITH SCORE 6733.772
AT ITER 119 NEW BEST:: SOT 14173 SOS 11769 HAS SOPS 11769 HAS SOUS 6719 HAS SOUPS 6719 WITH SCORE 6730.769
AT ITER 122 NEW BEST:: SOT 14163 SOS 11759 HAS SOPS 11759 HAS SOUS 6711 HAS SOUPS 6711 WITH SCORE 6722.759
AT ITER 127 NEW BEST:: SOT 14141 SOS 11682 HAS SOPS 11682 HAS SOUS 6687 HAS SOUPS 6687 WITH SCORE 6698.682
AT ITER 130 NEW BEST:: SOT 14123 SOS 11664 HAS SOPS 11664 HAS SOUS 6669 HAS SOUPS 6669 WITH SCORE 6680.664
AT ITER 141 NEW BEST:: SOT 14139 SOS 11718 HAS SOPS 11718 HAS SOUS 6629 HAS SOUPS 6629 WITH SCORE 6640.718
AT ITER 157 NEW BEST:: SOT 14130 SOS 11559 HAS SOPS 11558 HAS SOUS 6582 HAS SOUPS 6581 WITH SCORE 6592.559
AT ITER 158 NEW BEST:: SOT 14124 SOS 11553 HAS SOPS 11552 HAS SOUS 6574 HAS SOUPS 6573 WITH SCORE 6584.553
AT ITER 166 NEW BEST:: SOT 13978 SOS 11214 HAS SOPS 11213 HAS SOUS 6261 HAS SOUPS 6260 WITH SCORE 6271.214
AT ITER 171 NEW BEST:: SOT 13971 SOS 11175 HAS SOPS 11174 HAS SOUS 6230 HAS SOUPS 6229 WITH SCORE 6240.175
AT ITER 177 NEW BEST:: SOT 14026 SOS 11194 HAS SOPS 11193 HAS SOUS 6208 HAS SOUPS 6207 WITH SCORE 6218.194
AT ITER 179 NEW BEST:: SOT 13992 SOS 11175 HAS SOPS 11174 HAS SOUS 6206 HAS SOUPS 6205 WITH SCORE 6216.175
AT ITER 181 NEW BEST:: SOT 13974 SOS 11157 HAS SOPS 11156 HAS SOUS 6170 HAS SOUPS 6169 WITH SCORE 6180.157
AT ITER 182 NEW BEST:: SOT 13894 SOS 11102 HAS SOPS 11101 HAS SOUS 6130 HAS SOUPS 6129 WITH SCORE 6140.102
AT ITER 183 NEW BEST:: SOT 13888 SOS 11078 HAS SOPS 11077 HAS SOUS 6100 HAS SOUPS 6099 WITH SCORE 6110.078
AT ITER 191 NEW BEST:: SOT 13870 SOS 11060 HAS SOPS 11059 HAS SOUS 6091 HAS SOUPS 6090 WITH SCORE 6101.06
AT ITER 193 NEW BEST:: SOT 13519 SOS 10709 HAS SOPS 10708 HAS SOUS 5997 HAS SOUPS 5996 WITH SCORE 6006.709
AT ITER 199 NEW BEST:: SOT 13519 SOS 10697 HAS SOPS 10696 HAS SOUS 5961 HAS SOUPS 5960 WITH SCORE 5970.697
AT ITER 204 NEW BEST:: SOT 13477 SOS 10655 HAS SOPS 10654 HAS SOUS 5892 HAS SOUPS 5891 WITH SCORE 5901.655
AT ITER 207 NEW BEST:: SOT 13447 SOS 10625 HAS SOPS 10624 HAS SOUS 5832 HAS SOUPS 5831 WITH SCORE 5841.625
AT ITER 217 NEW BEST:: SOT 13393 SOS 10571 HAS SOPS 10570 HAS SOUS 5742 HAS SOUPS 5741 WITH SCORE 5751.571
AT ITER 228 NEW BEST:: SOT 13379 SOS 10517 HAS SOPS 10516 HAS SOUS 5698 HAS SOUPS 5697 WITH SCORE 5707.517
AT ITER 230 NEW BEST:: SOT 13379 SOS 10505 HAS SOPS 10504 HAS SOUS 5698 HAS SOUPS 5697 WITH SCORE 5707.505
AT ITER 231 NEW BEST:: SOT 13382 SOS 10483 HAS SOPS 10482 HAS SOUS 5626 HAS SOUPS 5625 WITH SCORE 5635.483
AT ITER 239 NEW BEST:: SOT 13388 SOS 10396 HAS SOPS 10395 HAS SOUS 5549 HAS SOUPS 5548 WITH SCORE 5558.396
AT ITER 249 NEW BEST:: SOT 13388 SOS 10363 HAS SOPS 10362 HAS SOUS 5544 HAS SOUPS 5543 WITH SCORE 5553.363
AT ITER 261 NEW BEST:: SOT 13388 SOS 10363 HAS SOPS 10362 HAS SOUS 5533 HAS SOUPS 5532 WITH SCORE 5542.363
AT ITER 267 NEW BEST:: SOT 13391 SOS 10366 HAS SOPS 10365 HAS SOUS 5531 HAS SOUPS 5530 WITH SCORE 5540.366
AT ITER 272 NEW BEST:: SOT 13380 SOS 10355 HAS SOPS 10354 HAS SOUS 5509 HAS SOUPS 5508 WITH SCORE 5518.355
AT ITER 280 NEW BEST:: SOT 13380 SOS 10335 HAS SOPS 10334 HAS SOUS 5503 HAS SOUPS 5502 WITH SCORE 5512.335
AT ITER 281 NEW BEST:: SOT 13364 SOS 10311 HAS SOPS 10310 HAS SOUS 5459 HAS SOUPS 5458 WITH SCORE 5468.311
AT ITER 297 NEW BEST:: SOT 13314 SOS 10242 HAS SOPS 10241 HAS SOUS 5393 HAS SOUPS 5392 WITH SCORE 5402.242
AT ITER 300 NEW BEST:: SOT 13257 SOS 10185 HAS SOPS 10184 HAS SOUS 5325 HAS SOUPS 5324 WITH SCORE 5334.185
AT ITER 304 NEW BEST:: SOT 13257 SOS 10179 HAS SOPS 10178 HAS SOUS 5325 HAS SOUPS 5324 WITH SCORE 5334.179
AT ITER 312 NEW BEST:: SOT 13209 SOS 10145 HAS SOPS 10144 HAS SOUS 5315 HAS SOUPS 5314 WITH SCORE 5324.145
AT ITER 328 NEW BEST:: SOT 13209 SOS 10138 HAS SOPS 10137 HAS SOUS 5315 HAS SOUPS 5314 WITH SCORE 5324.138
AT ITER 342 NEW BEST:: SOT 13208 SOS 10133 HAS SOPS 10132 HAS SOUS 5311 HAS SOUPS 5310 WITH SCORE 5320.133
AT ITER 347 NEW BEST:: SOT 13208 SOS 10110 HAS SOPS 10109 HAS SOUS 5284 HAS SOUPS 5283 WITH SCORE 5293.11
AT ITER 358 NEW BEST:: SOT 13200 SOS 10102 HAS SOPS 10101 HAS SOUS 5276 HAS SOUPS 5275 WITH SCORE 5285.102
AT ITER 361 NEW BEST:: SOT 13213 SOS 10055 HAS SOPS 10054 HAS SOUS 5246 HAS SOUPS 5245 WITH SCORE 5255.055
AT ITER 365 NEW BEST:: SOT 13243 SOS 10057 HAS SOPS 10056 HAS SOUS 5211 HAS SOUPS 5210 WITH SCORE 5220.057
AT ITER 366 NEW BEST:: SOT 13238 SOS 10052 HAS SOPS 10051 HAS SOUS 5201 HAS SOUPS 5200 WITH SCORE 5210.052
AT ITER 368 NEW BEST:: SOT 13230 SOS 10044 HAS SOPS 10043 HAS SOUS 5193 HAS SOUPS 5192 WITH SCORE 5202.044
AT ITER 375 NEW BEST:: SOT 13228 SOS 10042 HAS SOPS 10041 HAS SOUS 5153 HAS SOUPS 5152 WITH SCORE 5162.042
AT ITER 379 NEW BEST:: SOT 13180 SOS 9994 HAS SOPS 9993 HAS SOUS 5061 HAS SOUPS 5060 WITH SCORE 5069.994
AT ITER 380 NEW BEST:: SOT 13136 SOS 9967 HAS SOPS 9966 HAS SOUS 5034 HAS SOUPS 5033 WITH SCORE 5042.967
AT ITER 381 NEW BEST:: SOT 13131 SOS 8627 HAS SOPS 8576 HAS SOUS 5038 HAS SOUPS 4987 WITH SCORE 4995.627
AT ITER 399 NEW BEST:: SOT 13126 SOS 8622 HAS SOPS 8571 HAS SOUS 5038 HAS SOUPS 4987 WITH SCORE 4995.622
AT ITER 404 NEW BEST:: SOT 13138 SOS 8624 HAS SOPS 8573 HAS SOUS 5028 HAS SOUPS 4977 WITH SCORE 4985.624
AT ITER 425 NEW BEST:: SOT 13155 SOS 8573 HAS SOPS 8522 HAS SOUS 5023 HAS SOUPS 4972 WITH SCORE 4980.573
AT ITER 427 NEW BEST:: SOT 12963 SOS 8399 HAS SOPS 8348 HAS SOUS 4935 HAS SOUPS 4884 WITH SCORE 4892.399
AT ITER 430 NEW BEST:: SOT 12963 SOS 8399 HAS SOPS 8348 HAS SOUS 4934 HAS SOUPS 4883 WITH SCORE 4891.399
AT ITER 432 NEW BEST:: SOT 12945 SOS 8381 HAS SOPS 8330 HAS SOUS 4898 HAS SOUPS 4847 WITH SCORE 4855.381
AT ITER 443 NEW BEST:: SOT 12927 SOS 8363 HAS SOPS 8312 HAS SOUS 4880 HAS SOUPS 4829 WITH SCORE 4837.363
AT ITER 444 NEW BEST:: SOT 12927 SOS 8363 HAS SOPS 8312 HAS SOUS 4876 HAS SOUPS 4825 WITH SCORE 4833.363
AT ITER 464 NEW BEST:: SOT 12927 SOS 8335 HAS SOPS 8284 HAS SOUS 4869 HAS SOUPS 4818 WITH SCORE 4826.335
AT ITER 467 NEW BEST:: SOT 12918 SOS 8368 HAS SOPS 8317 HAS SOUS 4858 HAS SOUPS 4807 WITH SCORE 4815.368
AT ITER 481 NEW BEST:: SOT 12918 SOS 8302 HAS SOPS 8251 HAS SOUS 4858 HAS SOUPS 4807 WITH SCORE 4815.302
AT ITER 485 NEW BEST:: SOT 13041 SOS 8360 HAS SOPS 8309 HAS SOUS 4852 HAS SOUPS 4801 WITH SCORE 4809.36
AT ITER 500 NEW BEST:: SOT 13014 SOS 8334 HAS SOPS 8283 HAS SOUS 4812 HAS SOUPS 4761 WITH SCORE 4769.334
AT ITER 505 NEW BEST:: SOT 13014 SOS 8323 HAS SOPS 8272 HAS SOUS 4812 HAS SOUPS 4761 WITH SCORE 4769.323
AT ITER 512 NEW BEST:: SOT 13014 SOS 8321 HAS SOPS 8270 HAS SOUS 4812 HAS SOUPS 4761 WITH SCORE 4769.321
AT ITER 513 NEW BEST:: SOT 12941 SOS 8291 HAS SOPS 8240 HAS SOUS 4778 HAS SOUPS 4727 WITH SCORE 4735.291
AT ITER 527 NEW BEST:: SOT 12955 SOS 8291 HAS SOPS 8240 HAS SOUS 4764 HAS SOUPS 4713 WITH SCORE 4721.291
AT ITER 545 NEW BEST:: SOT 12951 SOS 8315 HAS SOPS 8264 HAS SOUS 4756 HAS SOUPS 4705 WITH SCORE 4713.315
AT ITER 548 NEW BEST:: SOT 12949 SOS 8298 HAS SOPS 8247 HAS SOUS 4751 HAS SOUPS 4700 WITH SCORE 4708.298
AT ITER 549 NEW BEST:: SOT 12948 SOS 8297 HAS SOPS 8247 HAS SOUS 4750 HAS SOUPS 4700 WITH SCORE 4708.297
AT ITER 556 NEW BEST:: SOT 12944 SOS 8293 HAS SOPS 8243 HAS SOUS 4743 HAS SOUPS 4693 WITH SCORE 4701.293
AT ITER 563 NEW BEST:: SOT 12939 SOS 8288 HAS SOPS 8238 HAS SOUS 4728 HAS SOUPS 4678 WITH SCORE 4686.288
AT ITER 579 NEW BEST:: SOT 12921 SOS 8270 HAS SOPS 8220 HAS SOUS 4672 HAS SOUPS 4622 WITH SCORE 4630.27
AT ITER 592 NEW BEST:: SOT 12912 SOS 8261 HAS SOPS 8211 HAS SOUS 4653 HAS SOUPS 4603 WITH SCORE 4611.261
AT ITER 611 NEW BEST:: SOT 12891 SOS 8231 HAS SOPS 8181 HAS SOUS 4612 HAS SOUPS 4562 WITH SCORE 4570.231
AT ITER 612 NEW BEST:: SOT 12861 SOS 8195 HAS SOPS 8145 HAS SOUS 4565 HAS SOUPS 4515 WITH SCORE 4523.195
AT ITER 621 NEW BEST:: SOT 12861 SOS 8195 HAS SOPS 8145 HAS SOUS 4564 HAS SOUPS 4514 WITH SCORE 4522.195
AT ITER 625 NEW BEST:: SOT 12860 SOS 8182 HAS SOPS 8132 HAS SOUS 4563 HAS SOUPS 4513 WITH SCORE 4521.182
AT ITER 628 NEW BEST:: SOT 12794 SOS 8146 HAS SOPS 8096 HAS SOUS 4521 HAS SOUPS 4471 WITH SCORE 4479.146
AT ITER 633 NEW BEST:: SOT 12763 SOS 8112 HAS SOPS 8062 HAS SOUS 4447 HAS SOUPS 4397 WITH SCORE 4405.112
AT ITER 644 NEW BEST:: SOT 12763 SOS 8111 HAS SOPS 8062 HAS SOUS 4446 HAS SOUPS 4397 WITH SCORE 4405.111
AT ITER 651 NEW BEST:: SOT 12638 SOS 8006 HAS SOPS 7957 HAS SOUS 4342 HAS SOUPS 4293 WITH SCORE 4301.006
AT ITER 654 NEW BEST:: SOT 12620 SOS 7988 HAS SOPS 7939 HAS SOUS 4308 HAS SOUPS 4259 WITH SCORE 4266.988
AT ITER 656 NEW BEST:: SOT 12616 SOS 7984 HAS SOPS 7935 HAS SOUS 4300 HAS SOUPS 4251 WITH SCORE 4258.984
AT ITER 658 NEW BEST:: SOT 12626 SOS 7950 HAS SOPS 7901 HAS SOUS 4287 HAS SOUPS 4238 WITH SCORE 4245.95
AT ITER 682 NEW BEST:: SOT 12626 SOS 7948 HAS SOPS 7901 HAS SOUS 4285 HAS SOUPS 4238 WITH SCORE 4245.948
AT ITER 685 NEW BEST:: SOT 12612 SOS 7917 HAS SOPS 7870 HAS SOUS 4266 HAS SOUPS 4219 WITH SCORE 4226.917
AT ITER 709 NEW BEST:: SOT 12603 SOS 7878 HAS SOPS 7831 HAS SOUS 4243 HAS SOUPS 4196 WITH SCORE 4203.878
AT ITER 715 NEW BEST:: SOT 12585 SOS 7866 HAS SOPS 7819 HAS SOUS 4237 HAS SOUPS 4190 WITH SCORE 4197.866
AT ITER 726 NEW BEST:: SOT 12559 SOS 7840 HAS SOPS 7793 HAS SOUS 4185 HAS SOUPS 4138 WITH SCORE 4145.84
AT ITER 743 NEW BEST:: SOT 12508 SOS 7808 HAS SOPS 7761 HAS SOUS 4172 HAS SOUPS 4125 WITH SCORE 4132.808
AT ITER 746 NEW BEST:: SOT 12491 SOS 7795 HAS SOPS 7748 HAS SOUS 4168 HAS SOUPS 4121 WITH SCORE 4128.795
AT ITER 766 NEW BEST:: SOT 12387 SOS 7719 HAS SOPS 7672 HAS SOUS 4144 HAS SOUPS 4097 WITH SCORE 4104.719
AT ITER 773 NEW BEST:: SOT 12379 SOS 7711 HAS SOPS 7664 HAS SOUS 4128 HAS SOUPS 4081 WITH SCORE 4088.711
AT ITER 774 NEW BEST:: SOT 12371 SOS 7695 HAS SOPS 7648 HAS SOUS 4112 HAS SOUPS 4065 WITH SCORE 4072.695
AT ITER 785 NEW BEST:: SOT 12369 SOS 7693 HAS SOPS 7646 HAS SOUS 4110 HAS SOUPS 4063 WITH SCORE 4070.693
AT ITER 827 NEW BEST:: SOT 12365 SOS 7690 HAS SOPS 7643 HAS SOUS 4098 HAS SOUPS 4051 WITH SCORE 4058.69
AT ITER 862 NEW BEST:: SOT 12359 SOS 7721 HAS SOPS 7674 HAS SOUS 4080 HAS SOUPS 4033 WITH SCORE 4040.721
AT ITER 903 NEW BEST:: SOT 12311 SOS 7691 HAS SOPS 7644 HAS SOUS 4062 HAS SOUPS 4015 WITH SCORE 4022.691
AT ITER 925 NEW BEST:: SOT 12294 SOS 7661 HAS SOPS 7612 HAS SOUS 4030 HAS SOUPS 3981 WITH SCORE 3988.661
AT ITER 1018 NEW BEST:: SOT 12288 SOS 7655 HAS SOPS 7606 HAS SOUS 4024 HAS SOUPS 3975 WITH SCORE 3982.655
AT ITER 1026 NEW BEST:: SOT 12276 SOS 7661 HAS SOPS 7612 HAS SOUS 4001 HAS SOUPS 3952 WITH SCORE 3959.661
AT ITER 1029 NEW BEST:: SOT 12331 SOS 7688 HAS SOPS 7639 HAS SOUS 3998 HAS SOUPS 3949 WITH SCORE 3956.688
AT ITER 1042 NEW BEST:: SOT 12325 SOS 7682 HAS SOPS 7633 HAS SOUS 3986 HAS SOUPS 3937 WITH SCORE 3944.682
AT ITER 1043 NEW BEST:: SOT 12322 SOS 7659 HAS SOPS 7615 HAS SOUS 3972 HAS SOUPS 3928 WITH SCORE 3935.659
AT ITER 1056 NEW BEST:: SOT 12315 SOS 7726 HAS SOPS 7682 HAS SOUS 3967 HAS SOUPS 3923 WITH SCORE 3930.726
AT ITER 1060 NEW BEST:: SOT 12319 SOS 7710 HAS SOPS 7658 HAS SOUS 3963 HAS SOUPS 3911 WITH SCORE 3918.71
AT ITER 1062 NEW BEST:: SOT 12323 SOS 7731 HAS SOPS 7678 HAS SOUS 3954 HAS SOUPS 3901 WITH SCORE 3908.731
AT ITER 1086 NEW BEST:: SOT 12263 SOS 7716 HAS SOPS 7663 HAS SOUS 3939 HAS SOUPS 3886 WITH SCORE 3893.716
AT ITER 1089 NEW BEST:: SOT 12260 SOS 7713 HAS SOPS 7660 HAS SOUS 3933 HAS SOUPS 3880 WITH SCORE 3887.713
AT ITER 1102 NEW BEST:: SOT 12255 SOS 7708 HAS SOPS 7655 HAS SOUS 3927 HAS SOUPS 3874 WITH SCORE 3881.708
AT ITER 1136 NEW BEST:: SOT 12268 SOS 7677 HAS SOPS 7624 HAS SOUS 3927 HAS SOUPS 3874 WITH SCORE 3881.677
AT ITER 1179 NEW BEST:: SOT 12267 SOS 7675 HAS SOPS 7622 HAS SOUS 3925 HAS SOUPS 3872 WITH SCORE 3879.675
AT ITER 1192 NEW BEST:: SOT 12258 SOS 7666 HAS SOPS 7605 HAS SOUS 3906 HAS SOUPS 3845 WITH SCORE 3852.666
AT ITER 1219 NEW BEST:: SOT 12257 SOS 7665 HAS SOPS 7604 HAS SOUS 3898 HAS SOUPS 3837 WITH SCORE 3844.665
AT ITER 1221 NEW BEST:: SOT 12254 SOS 7692 HAS SOPS 7621 HAS SOUS 3899 HAS SOUPS 3828 WITH SCORE 3835.692
AT ITER 1228 NEW BEST:: SOT 12254 SOS 7692 HAS SOPS 7621 HAS SOUS 3893 HAS SOUPS 3822 WITH SCORE 3829.692
AT ITER 1240 NEW BEST:: SOT 12248 SOS 7686 HAS SOPS 7615 HAS SOUS 3881 HAS SOUPS 3810 WITH SCORE 3817.686
AT ITER 1261 NEW BEST:: SOT 12245 SOS 7668 HAS SOPS 7597 HAS SOUS 3850 HAS SOUPS 3779 WITH SCORE 3786.668
AT ITER 1270 NEW BEST:: SOT 12248 SOS 7659 HAS SOPS 7588 HAS SOUS 3820 HAS SOUPS 3749 WITH SCORE 3756.659
AT ITER 1272 NEW BEST:: SOT 12232 SOS 7643 HAS SOPS 7572 HAS SOUS 3804 HAS SOUPS 3733 WITH SCORE 3740.643
AT ITER 1290 NEW BEST:: SOT 12212 SOS 7671 HAS SOPS 7601 HAS SOUS 3802 HAS SOUPS 3732 WITH SCORE 3739.671
AT ITER 1295 NEW BEST:: SOT 12200 SOS 7665 HAS SOPS 7595 HAS SOUS 3802 HAS SOUPS 3732 WITH SCORE 3739.665
AT ITER 1303 NEW BEST:: SOT 12200 SOS 7662 HAS SOPS 7592 HAS SOUS 3801 HAS SOUPS 3731 WITH SCORE 3738.662
AT ITER 1305 NEW BEST:: SOT 12198 SOS 7642 HAS SOPS 7580 HAS SOUS 3787 HAS SOUPS 3725 WITH SCORE 3732.642
AT ITER 1387 NEW BEST:: SOT 12182 SOS 7626 HAS SOPS 7564 HAS SOUS 3771 HAS SOUPS 3709 WITH SCORE 3716.626
AT ITER 1395 NEW BEST:: SOT 12175 SOS 7625 HAS SOPS 7563 HAS SOUS 3770 HAS SOUPS 3708 WITH SCORE 3715.625
AT ITER 1407 NEW BEST:: SOT 12189 SOS 7625 HAS SOPS 7563 HAS SOUS 3756 HAS SOUPS 3694 WITH SCORE 3701.625
AT ITER 1412 NEW BEST:: SOT 12185 SOS 7617 HAS SOPS 7551 HAS SOUS 3748 HAS SOUPS 3682 WITH SCORE 3689.617
AT ITER 1416 NEW BEST:: SOT 12184 SOS 7612 HAS SOPS 7546 HAS SOUS 3734 HAS SOUPS 3668 WITH SCORE 3675.612
AT ITER 1419 NEW BEST:: SOT 12206 SOS 7571 HAS SOPS 7493 HAS SOUS 3741 HAS SOUPS 3663 WITH SCORE 3670.571
AT ITER 1427 NEW BEST:: SOT 12151 SOS 7525 HAS SOPS 7447 HAS SOUS 3705 HAS SOUPS 3627 WITH SCORE 3634.525
AT ITER 1446 NEW BEST:: SOT 12171 SOS 7535 HAS SOPS 7457 HAS SOUS 3696 HAS SOUPS 3618 WITH SCORE 3625.535
AT ITER 1450 NEW BEST:: SOT 12170 SOS 7534 HAS SOPS 7456 HAS SOUS 3694 HAS SOUPS 3616 WITH SCORE 3623.534
AT ITER 1453 NEW BEST:: SOT 12168 SOS 7532 HAS SOPS 7454 HAS SOUS 3693 HAS SOUPS 3615 WITH SCORE 3622.532
AT ITER 1523 NEW BEST:: SOT 12170 SOS 7534 HAS SOPS 7456 HAS SOUS 3689 HAS SOUPS 3611 WITH SCORE 3618.534
AT ITER 1544 NEW BEST:: SOT 12179 SOS 7542 HAS SOPS 7451 HAS SOUS 3699 HAS SOUPS 3608 WITH SCORE 3615.542
AT ITER 1621 NEW BEST:: SOT 12173 SOS 7536 HAS SOPS 7445 HAS SOUS 3687 HAS SOUPS 3596 WITH SCORE 3603.536
AT ITER 1640 NEW BEST:: SOT 12172 SOS 7528 HAS SOPS 7437 HAS SOUS 3685 HAS SOUPS 3594 WITH SCORE 3601.528
AT ITER 1664 NEW BEST:: SOT 12159 SOS 7520 HAS SOPS 7429 HAS SOUS 3675 HAS SOUPS 3584 WITH SCORE 3591.52
AT ITER 1677 NEW BEST:: SOT 12159 SOS 7513 HAS SOPS 7422 HAS SOUS 3675 HAS SOUPS 3584 WITH SCORE 3591.513
AT ITER 1688 NEW BEST:: SOT 12150 SOS 7504 HAS SOPS 7413 HAS SOUS 3665 HAS SOUPS 3574 WITH SCORE 3581.504
AT ITER 1696 NEW BEST:: SOT 12148 SOS 7501 HAS SOPS 7407 HAS SOUS 3662 HAS SOUPS 3568 WITH SCORE 3575.501
AT ITER 1733 NEW BEST:: SOT 12144 SOS 7491 HAS SOPS 7397 HAS SOUS 3658 HAS SOUPS 3564 WITH SCORE 3571.491
AT ITER 1742 NEW BEST:: SOT 12145 SOS 7491 HAS SOPS 7397 HAS SOUS 3657 HAS SOUPS 3563 WITH SCORE 3570.491
AT ITER 1774 NEW BEST:: SOT 12141 SOS 7487 HAS SOPS 7393 HAS SOUS 3649 HAS SOUPS 3555 WITH SCORE 3562.487
AT ITER 1797 NEW BEST:: SOT 12140 SOS 7480 HAS SOPS 7386 HAS SOUS 3646 HAS SOUPS 3552 WITH SCORE 3559.48
AT ITER 1817 NEW BEST:: SOT 12136 SOS 7478 HAS SOPS 7384 HAS SOUS 3644 HAS SOUPS 3550 WITH SCORE 3557.478
AT ITER 1861 NEW BEST:: SOT 12136 SOS 7475 HAS SOPS 7384 HAS SOUS 3641 HAS SOUPS 3550 WITH SCORE 3557.475
AT ITER 1901 NEW BEST:: SOT 12126 SOS 7465 HAS SOPS 7374 HAS SOUS 3621 HAS SOUPS 3530 WITH SCORE 3537.465
AT ITER 1905 NEW BEST:: SOT 12048 SOS 7405 HAS SOPS 7314 HAS SOUS 3613 HAS SOUPS 3522 WITH SCORE 3529.405
AT ITER 1945 NEW BEST:: SOT 12046 SOS 7399 HAS SOPS 7308 HAS SOUS 3609 HAS SOUPS 3518 WITH SCORE 3525.399
AT ITER 1975 NEW BEST:: SOT 12021 SOS 7381 HAS SOPS 7290 HAS SOUS 3595 HAS SOUPS 3504 WITH SCORE 3511.381
AT ITER 1976 NEW BEST:: SOT 12020 SOS 7379 HAS SOPS 7288 HAS SOUS 3592 HAS SOUPS 3501 WITH SCORE 3508.379
AT ITER 1988 NEW BEST:: SOT 12003 SOS 7331 HAS SOPS 7240 HAS SOUS 3516 HAS SOUPS 3425 WITH SCORE 3432.331
AT ITER 1991 NEW BEST:: SOT 12002 SOS 7330 HAS SOPS 7239 HAS SOUS 3514 HAS SOUPS 3423 WITH SCORE 3430.33
AT ITER 2051 NEW BEST:: SOT 11998 SOS 7320 HAS SOPS 7229 HAS SOUS 3512 HAS SOUPS 3421 WITH SCORE 3428.32
AT ITER 2054 NEW BEST:: SOT 11995 SOS 7318 HAS SOPS 7227 HAS SOUS 3510 HAS SOUPS 3419 WITH SCORE 3426.318
AT ITER 2105 NEW BEST:: SOT 12010 SOS 7325 HAS SOPS 7234 HAS SOUS 3500 HAS SOUPS 3409 WITH SCORE 3416.325
AT ITER 2157 NEW BEST:: SOT 12008 SOS 7323 HAS SOPS 7232 HAS SOUS 3498 HAS SOUPS 3407 WITH SCORE 3414.323
AT ITER 2174 NEW BEST:: SOT 12008 SOS 7323 HAS SOPS 7232 HAS SOUS 3496 HAS SOUPS 3405 WITH SCORE 3412.323
AT ITER 2198 NEW BEST:: SOT 12004 SOS 7321 HAS SOPS 7230 HAS SOUS 3484 HAS SOUPS 3393 WITH SCORE 3400.321
AT ITER 2233 NEW BEST:: SOT 12001 SOS 7315 HAS SOPS 7224 HAS SOUS 3475 HAS SOUPS 3384 WITH SCORE 3391.315
AT ITER 2313 NEW BEST:: SOT 12001 SOS 7302 HAS SOPS 7211 HAS SOUS 3475 HAS SOUPS 3384 WITH SCORE 3391.302
AT ITER 2343 NEW BEST:: SOT 11996 SOS 7287 HAS SOPS 7196 HAS SOUS 3465 HAS SOUPS 3374 WITH SCORE 3381.287
AT ITER 2347 NEW BEST:: SOT 11998 SOS 7289 HAS SOPS 7192 HAS SOUS 3468 HAS SOUPS 3371 WITH SCORE 3378.289
AT ITER 2350 NEW BEST:: SOT 11991 SOS 7282 HAS SOPS 7185 HAS SOUS 3451 HAS SOUPS 3354 WITH SCORE 3361.282
AT ITER 2380 NEW BEST:: SOT 11995 SOS 7282 HAS SOPS 7185 HAS SOUS 3443 HAS SOUPS 3346 WITH SCORE 3353.282
AT ITER 2421 NEW BEST:: SOT 11993 SOS 7280 HAS SOPS 7183 HAS SOUS 3441 HAS SOUPS 3344 WITH SCORE 3351.28
AT ITER 2434 NEW BEST:: SOT 11981 SOS 7272 HAS SOPS 7175 HAS SOUS 3437 HAS SOUPS 3340 WITH SCORE 3347.272
AT ITER 2442 NEW BEST:: SOT 11983 SOS 7274 HAS SOPS 7177 HAS SOUS 3435 HAS SOUPS 3338 WITH SCORE 3345.274
AT ITER 2589 NEW BEST:: SOT 11985 SOS 7276 HAS SOPS 7179 HAS SOUS 3425 HAS SOUPS 3328 WITH SCORE 3335.276
AT ITER 2602 NEW BEST:: SOT 11973 SOS 7264 HAS SOPS 7167 HAS SOUS 3406 HAS SOUPS 3309 WITH SCORE 3316.264
AT ITER 2713 NEW BEST:: SOT 11964 SOS 7255 HAS SOPS 7158 HAS SOUS 3390 HAS SOUPS 3293 WITH SCORE 3300.255
AT ITER 2748 NEW BEST:: SOT 11959 SOS 7238 HAS SOPS 7141 HAS SOUS 3378 HAS SOUPS 3281 WITH SCORE 3288.238
AT ITER 2765 NEW BEST:: SOT 11959 SOS 7238 HAS SOPS 7141 HAS SOUS 3374 HAS SOUPS 3277 WITH SCORE 3284.238
AT ITER 2776 NEW BEST:: SOT 11955 SOS 7278 HAS SOPS 7181 HAS SOUS 3366 HAS SOUPS 3269 WITH SCORE 3276.278
AT ITER 2794 NEW BEST:: SOT 11952 SOS 7275 HAS SOPS 7178 HAS SOUS 3360 HAS SOUPS 3263 WITH SCORE 3270.275
AT ITER 2795 NEW BEST:: SOT 11944 SOS 7255 HAS SOPS 7158 HAS SOUS 3356 HAS SOUPS 3259 WITH SCORE 3266.255
AT ITER 2805 NEW BEST:: SOT 11932 SOS 7243 HAS SOPS 7146 HAS SOUS 3336 HAS SOUPS 3239 WITH SCORE 3246.243
AT ITER 2806 NEW BEST:: SOT 11951 SOS 7249 HAS SOPS 7152 HAS SOUS 3335 HAS SOUPS 3238 WITH SCORE 3245.249
AT ITER 2969 NEW BEST:: SOT 11950 SOS 7248 HAS SOPS 7151 HAS SOUS 3333 HAS SOUPS 3236 WITH SCORE 3243.248
AT ITER 2994 NEW BEST:: SOT 11949 SOS 7247 HAS SOPS 7150 HAS SOUS 3331 HAS SOUPS 3234 WITH SCORE 3241.247
AT ITER 3064 NEW BEST:: SOT 11949 SOS 7247 HAS SOPS 7150 HAS SOUS 3327 HAS SOUPS 3230 WITH SCORE 3237.247
AT ITER 3114 NEW BEST:: SOT 11943 SOS 7240 HAS SOPS 7143 HAS SOUS 3311 HAS SOUPS 3214 WITH SCORE 3221.24
AT ITER 3179 NEW BEST:: SOT 11941 SOS 7238 HAS SOPS 7141 HAS SOUS 3307 HAS SOUPS 3210 WITH SCORE 3217.238
AT ITER 3201 NEW BEST:: SOT 11940 SOS 7237 HAS SOPS 7139 HAS SOUS 3305 HAS SOUPS 3207 WITH SCORE 3214.237
AT ITER 3214 NEW BEST:: SOT 11944 SOS 7239 HAS SOPS 7141 HAS SOUS 3303 HAS SOUPS 3205 WITH SCORE 3212.239
AT ITER 3255 NEW BEST:: SOT 11943 SOS 7249 HAS SOPS 7151 HAS SOUS 3300 HAS SOUPS 3202 WITH SCORE 3209.249
AT ITER 3270 NEW BEST:: SOT 11942 SOS 7273 HAS SOPS 7169 HAS SOUS 3303 HAS SOUPS 3199 WITH SCORE 3206.273
AT ITER 3331 NEW BEST:: SOT 11941 SOS 7233 HAS SOPS 7124 HAS SOUS 3306 HAS SOUPS 3197 WITH SCORE 3204.233
AT ITER 3376 NEW BEST:: SOT 11939 SOS 7230 HAS SOPS 7121 HAS SOUS 3299 HAS SOUPS 3190 WITH SCORE 3197.23
AT ITER 3424 NEW BEST:: SOT 11933 SOS 7224 HAS SOPS 7115 HAS SOUS 3291 HAS SOUPS 3182 WITH SCORE 3189.224
AT ITER 3442 NEW BEST:: SOT 11935 SOS 7226 HAS SOPS 7117 HAS SOUS 3287 HAS SOUPS 3178 WITH SCORE 3185.226
AT ITER 3463 NEW BEST:: SOT 11930 SOS 7221 HAS SOPS 7112 HAS SOUS 3277 HAS SOUPS 3168 WITH SCORE 3175.221
AT ITER 3552 NEW BEST:: SOT 11906 SOS 7212 HAS SOPS 7103 HAS SOUS 3275 HAS SOUPS 3166 WITH SCORE 3173.212
AT ITER 3621 NEW BEST:: SOT 11876 SOS 7182 HAS SOPS 7073 HAS SOUS 3235 HAS SOUPS 3126 WITH SCORE 3133.182
AT ITER 3659 NEW BEST:: SOT 11875 SOS 7169 HAS SOPS 7060 HAS SOUS 3233 HAS SOUPS 3124 WITH SCORE 3131.169
AT ITER 3673 NEW BEST:: SOT 11874 SOS 7168 HAS SOPS 7059 HAS SOUS 3231 HAS SOUPS 3122 WITH SCORE 3129.168
AT ITER 3675 NEW BEST:: SOT 11874 SOS 7168 HAS SOPS 7059 HAS SOUS 3229 HAS SOUPS 3120 WITH SCORE 3127.168
AT ITER 3728 NEW BEST:: SOT 11872 SOS 7166 HAS SOPS 7057 HAS SOUS 3229 HAS SOUPS 3120 WITH SCORE 3127.166
AT ITER 3732 NEW BEST:: SOT 11866 SOS 7160 HAS SOPS 7051 HAS SOUS 3217 HAS SOUPS 3108 WITH SCORE 3115.16
AT ITER 3802 NEW BEST:: SOT 11864 SOS 7159 HAS SOPS 7050 HAS SOUS 3216 HAS SOUPS 3107 WITH SCORE 3114.159
AT ITER 3845 NEW BEST:: SOT 11859 SOS 7156 HAS SOPS 7047 HAS SOUS 3212 HAS SOUPS 3103 WITH SCORE 3110.156
AT ITER 3871 NEW BEST:: SOT 11859 SOS 7156 HAS SOPS 7047 HAS SOUS 3210 HAS SOUPS 3101 WITH SCORE 3108.156
AT ITER 3903 NEW BEST:: SOT 11870 SOS 7160 HAS SOPS 7051 HAS SOUS 3197 HAS SOUPS 3088 WITH SCORE 3095.16
AT ITER 3909 NEW BEST:: SOT 11857 SOS 7147 HAS SOPS 7038 HAS SOUS 3171 HAS SOUPS 3062 WITH SCORE 3069.147
AT ITER 3912 NEW BEST:: SOT 11857 SOS 7144 HAS SOPS 7038 HAS SOUS 3168 HAS SOUPS 3062 WITH SCORE 3069.144
AT ITER 3914 NEW BEST:: SOT 11855 SOS 7142 HAS SOPS 7036 HAS SOUS 3164 HAS SOUPS 3058 WITH SCORE 3065.142
AT ITER 3986 NEW BEST:: SOT 11852 SOS 7140 HAS SOPS 7034 HAS SOUS 3163 HAS SOUPS 3057 WITH SCORE 3064.14
AT ITER 4029 NEW BEST:: SOT 11844 SOS 7137 HAS SOPS 7031 HAS SOUS 3162 HAS SOUPS 3056 WITH SCORE 3063.137
AT ITER 4035 NEW BEST:: SOT 11844 SOS 7136 HAS SOPS 7030 HAS SOUS 3159 HAS SOUPS 3053 WITH SCORE 3060.136
AT ITER 4189 NEW BEST:: SOT 11836 SOS 7132 HAS SOPS 7026 HAS SOUS 3155 HAS SOUPS 3049 WITH SCORE 3056.132
AT ITER 4200 NEW BEST:: SOT 11836 SOS 7132 HAS SOPS 7026 HAS SOUS 3153 HAS SOUPS 3047 WITH SCORE 3054.132
AT ITER 4238 NEW BEST:: SOT 11833 SOS 7145 HAS SOPS 7033 HAS SOUS 3150 HAS SOUPS 3038 WITH SCORE 3045.145
AT ITER 4316 NEW BEST:: SOT 11831 SOS 7144 HAS SOPS 7032 HAS SOUS 3150 HAS SOUPS 3038 WITH SCORE 3045.144
AT ITER 4350 NEW BEST:: SOT 11830 SOS 7134 HAS SOPS 7026 HAS SOUS 3143 HAS SOUPS 3035 WITH SCORE 3042.134
AT ITER 4357 NEW BEST:: SOT 11826 SOS 7130 HAS SOPS 7022 HAS SOUS 3135 HAS SOUPS 3027 WITH SCORE 3034.13
AT ITER 4364 NEW BEST:: SOT 11827 SOS 7131 HAS SOPS 7023 HAS SOUS 3132 HAS SOUPS 3024 WITH SCORE 3031.131
AT ITER 4375 NEW BEST:: SOT 11826 SOS 7100 HAS SOPS 6992 HAS SOUS 3118 HAS SOUPS 3010 WITH SCORE 3017.1
AT ITER 4411 NEW BEST:: SOT 11819 SOS 7088 HAS SOPS 6980 HAS SOUS 3094 HAS SOUPS 2986 WITH SCORE 2993.088
AT ITER 4435 NEW BEST:: SOT 11817 SOS 7086 HAS SOPS 6978 HAS SOUS 3091 HAS SOUPS 2983 WITH SCORE 2990.086
AT ITER 4474 NEW BEST:: SOT 11815 SOS 7084 HAS SOPS 6976 HAS SOUS 3089 HAS SOUPS 2981 WITH SCORE 2988.084
AT ITER 4521 NEW BEST:: SOT 11815 SOS 7082 HAS SOPS 6976 HAS SOUS 3087 HAS SOUPS 2981 WITH SCORE 2988.082
AT ITER 4729 NEW BEST:: SOT 11815 SOS 7082 HAS SOPS 6976 HAS SOUS 3085 HAS SOUPS 2979 WITH SCORE 2986.082
AT ITER 4764 NEW BEST:: SOT 11809 SOS 7076 HAS SOPS 6970 HAS SOUS 3079 HAS SOUPS 2973 WITH SCORE 2980.076
AT ITER 4770 NEW BEST:: SOT 11809 SOS 7073 HAS SOPS 6965 HAS SOUS 3078 HAS SOUPS 2970 WITH SCORE 2977.073
AT ITER 4893 NEW BEST:: SOT 11808 SOS 7072 HAS SOPS 6959 HAS SOUS 3080 HAS SOUPS 2967 WITH SCORE 2974.072
AT ITER 5040 NEW BEST:: SOT 11804 SOS 7068 HAS SOPS 6955 HAS SOUS 3072 HAS SOUPS 2959 WITH SCORE 2966.068
AT ITER 5059 NEW BEST:: SOT 11803 SOS 7060 HAS SOPS 6949 HAS SOUS 3067 HAS SOUPS 2956 WITH SCORE 2963.06
AT ITER 5069 NEW BEST:: SOT 11804 SOS 7060 HAS SOPS 6949 HAS SOUS 3065 HAS SOUPS 2954 WITH SCORE 2961.06
AT ITER 5288 NEW BEST:: SOT 11803 SOS 7064 HAS SOPS 6951 HAS SOUS 3064 HAS SOUPS 2951 WITH SCORE 2958.064
AT ITER 5338 NEW BEST:: SOT 11800 SOS 7061 HAS SOPS 6948 HAS SOUS 3059 HAS SOUPS 2946 WITH SCORE 2953.061
AT ITER 5388 NEW BEST:: SOT 11806 SOS 7049 HAS SOPS 6930 HAS SOUS 3065 HAS SOUPS 2946 WITH SCORE 2953.049
AT ITER 5414 NEW BEST:: SOT 11803 SOS 7046 HAS SOPS 6927 HAS SOUS 3059 HAS SOUPS 2940 WITH SCORE 2947.046
AT ITER 5416 NEW BEST:: SOT 11807 SOS 7047 HAS SOPS 6928 HAS SOUS 3057 HAS SOUPS 2938 WITH SCORE 2945.047
AT ITER 5635 NEW BEST:: SOT 11803 SOS 7043 HAS SOPS 6924 HAS SOUS 3049 HAS SOUPS 2930 WITH SCORE 2937.043
AT ITER 5749 NEW BEST:: SOT 11802 SOS 7042 HAS SOPS 6923 HAS SOUS 3047 HAS SOUPS 2928 WITH SCORE 2935.042
AT ITER 5992 NEW BEST:: SOT 11766 SOS 7018 HAS SOPS 6899 HAS SOUS 3044 HAS SOUPS 2925 WITH SCORE 2932.018
AT ITER 6191 NEW BEST:: SOT 11764 SOS 7013 HAS SOPS 6894 HAS SOUS 3042 HAS SOUPS 2923 WITH SCORE 2930.013
AT ITER 6345 NEW BEST:: SOT 11758 SOS 7007 HAS SOPS 6888 HAS SOUS 3031 HAS SOUPS 2912 WITH SCORE 2919.007
AT ITER 6346 NEW BEST:: SOT 11766 SOS 7011 HAS SOPS 6892 HAS SOUS 3030 HAS SOUPS 2911 WITH SCORE 2918.011
AT ITER 6374 NEW BEST:: SOT 11755 SOS 7003 HAS SOPS 6884 HAS SOUS 3024 HAS SOUPS 2905 WITH SCORE 2912.003
AT ITER 6376 NEW BEST:: SOT 11757 SOS 7002 HAS SOPS 6883 HAS SOUS 3019 HAS SOUPS 2900 WITH SCORE 2907.002
AT ITER 6391 NEW BEST:: SOT 11754 SOS 6999 HAS SOPS 6880 HAS SOUS 3013 HAS SOUPS 2894 WITH SCORE 2900.999
AT ITER 6401 NEW BEST:: SOT 11758 SOS 7001 HAS SOPS 6882 HAS SOUS 3011 HAS SOUPS 2892 WITH SCORE 2899.001
AT ITER 6565 NEW BEST:: SOT 11752 SOS 6995 HAS SOPS 6876 HAS SOUS 2999 HAS SOUPS 2880 WITH SCORE 2886.995
AT ITER 6615 NEW BEST:: SOT 11750 SOS 6992 HAS SOPS 6873 HAS SOUS 2992 HAS SOUPS 2873 WITH SCORE 2879.992
AT ITER 6940 NEW BEST:: SOT 11748 SOS 6990 HAS SOPS 6871 HAS SOUS 2988 HAS SOUPS 2869 WITH SCORE 2875.99
AT ITER 7163 NEW BEST:: SOT 11748 SOS 6989 HAS SOPS 6870 HAS SOUS 2988 HAS SOUPS 2869 WITH SCORE 2875.989
AT ITER 7213 NEW BEST:: SOT 11753 SOS 6951 HAS SOPS 6828 HAS SOUS 2992 HAS SOUPS 2869 WITH SCORE 2875.951
AT ITER 7365 NEW BEST:: SOT 11753 SOS 6950 HAS SOPS 6828 HAS SOUS 2991 HAS SOUPS 2869 WITH SCORE 2875.95
AT ITER 7431 NEW BEST:: SOT 11747 SOS 6944 HAS SOPS 6822 HAS SOUS 2979 HAS SOUPS 2857 WITH SCORE 2863.944
AT ITER 7593 NEW BEST:: SOT 11747 SOS 6944 HAS SOPS 6822 HAS SOUS 2977 HAS SOUPS 2855 WITH SCORE 2861.944
AT ITER 7733 NEW BEST:: SOT 11738 SOS 6940 HAS SOPS 6818 HAS SOUS 2974 HAS SOUPS 2852 WITH SCORE 2858.94
AT ITER 7737 NEW BEST:: SOT 11749 SOS 6925 HAS SOPS 6796 HAS SOUS 2981 HAS SOUPS 2852 WITH SCORE 2858.925
AT ITER 7782 NEW BEST:: SOT 11749 SOS 6924 HAS SOPS 6796 HAS SOUS 2980 HAS SOUPS 2852 WITH SCORE 2858.924
AT ITER 7825 NEW BEST:: SOT 11754 SOS 6882 HAS SOPS 6749 HAS SOUS 2984 HAS SOUPS 2851 WITH SCORE 2857.882
AT ITER 7942 NEW BEST:: SOT 11754 SOS 6878 HAS SOPS 6744 HAS SOUS 2983 HAS SOUPS 2849 WITH SCORE 2855.878
AT ITER 8437 NEW BEST:: SOT 11752 SOS 6876 HAS SOPS 6742 HAS SOUS 2979 HAS SOUPS 2845 WITH SCORE 2851.876
AT ITER 8880 NEW BEST:: SOT 11750 SOS 6873 HAS SOPS 6739 HAS SOUS 2971 HAS SOUPS 2837 WITH SCORE 2843.873
AT ITER 8975 NEW BEST:: SOT 11742 SOS 6895 HAS SOPS 6759 HAS SOUS 2969 HAS SOUPS 2833 WITH SCORE 2839.895
AT ITER 9001 NEW BEST:: SOT 11741 SOS 6890 HAS SOPS 6754 HAS SOUS 2966 HAS SOUPS 2830 WITH SCORE 2836.89
AT ITER 9250 NEW BEST:: SOT 11741 SOS 6889 HAS SOPS 6754 HAS SOUS 2965 HAS SOUPS 2830 WITH SCORE 2836.889
AT ITER 9557 NEW BEST:: SOT 11740 SOS 6888 HAS SOPS 6753 HAS SOUS 2964 HAS SOUPS 2829 WITH SCORE 2835.888
AT ITER 9600 NEW BEST:: SOT 11740 SOS 6880 HAS SOPS 6743 HAS SOUS 2962 HAS SOUPS 2825 WITH SCORE 2831.88
STATE_SPACE STATES 30948223090688 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 4 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 24 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 471359925256192 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678230576680

--------------------
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="CSRepetitions-PT-04"
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 CSRepetitions-PT-04, 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 r075-smll-167814400500072"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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