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.r011-oct2-167813600400576.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 AutonomousCar-PT-03b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813600400576
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 488K
-rw-r--r-- 1 mcc users 7.2K Feb 25 12:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Feb 25 12:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 25 12:55 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 25 12:55 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 15:33 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 15:33 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.8K Feb 25 12:56 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 78K Feb 25 12:56 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.5K Feb 25 12:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 84K Feb 25 12:56 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:33 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:33 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 75K 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 1678740138405

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=AutonomousCar-PT-03b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 20:42:20] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 20:42:20] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 20:42:20] [INFO ] Load time of PNML (sax parser for PT used): 98 ms
[2023-03-13 20:42:20] [INFO ] Transformed 190 places.
[2023-03-13 20:42:20] [INFO ] Transformed 273 transitions.
[2023-03-13 20:42:20] [INFO ] Found NUPN structural information;
[2023-03-13 20:42:20] [INFO ] Parsed PT model containing 190 places and 273 transitions and 1051 arcs in 232 ms.
[2023-03-13 20:42:20] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 190 places, 273 transitions and 1051 arcs took 8 ms.
Total runtime 305 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutonomousCar (PT), instance 03b
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: 190 places, 273 transitions, 1051 arcs.
AT ITER 0 NEW BEST:: SOT 33477 SOS 9344 HAS SOPS 9344 HAS SOUS 6135 HAS SOUPS 6135 WITH SCORE 6144.344
AT ITER 25 NEW BEST:: SOT 33464 SOS 9318 HAS SOPS 9318 HAS SOUS 6109 HAS SOUPS 6109 WITH SCORE 6118.318
AT ITER 30 NEW BEST:: SOT 33424 SOS 9272 HAS SOPS 9272 HAS SOUS 6076 HAS SOUPS 6076 WITH SCORE 6085.272
AT ITER 36 NEW BEST:: SOT 33416 SOS 9256 HAS SOPS 9256 HAS SOUS 6060 HAS SOUPS 6060 WITH SCORE 6069.256
AT ITER 61 NEW BEST:: SOT 33418 SOS 9260 HAS SOPS 9260 HAS SOUS 6058 HAS SOUPS 6058 WITH SCORE 6067.26
AT ITER 65 NEW BEST:: SOT 33419 SOS 9262 HAS SOPS 9262 HAS SOUS 6021 HAS SOUPS 6021 WITH SCORE 6030.262
AT ITER 92 NEW BEST:: SOT 33419 SOS 9255 HAS SOPS 9255 HAS SOUS 6014 HAS SOUPS 6014 WITH SCORE 6023.255
AT ITER 97 NEW BEST:: SOT 33423 SOS 9259 HAS SOPS 9259 HAS SOUS 5976 HAS SOUPS 5976 WITH SCORE 5985.259
AT ITER 101 NEW BEST:: SOT 33367 SOS 9427 HAS SOPS 9427 HAS SOUS 5914 HAS SOUPS 5914 WITH SCORE 5923.427
AT ITER 117 NEW BEST:: SOT 33335 SOS 9393 HAS SOPS 9393 HAS SOUS 5877 HAS SOUPS 5877 WITH SCORE 5886.393
AT ITER 129 NEW BEST:: SOT 33308 SOS 9355 HAS SOPS 9355 HAS SOUS 5834 HAS SOUPS 5834 WITH SCORE 5843.355
AT ITER 141 NEW BEST:: SOT 33255 SOS 10243 HAS SOPS 10243 HAS SOUS 5816 HAS SOUPS 5816 WITH SCORE 5826.243
AT ITER 150 NEW BEST:: SOT 33242 SOS 10199 HAS SOPS 10199 HAS SOUS 5803 HAS SOUPS 5803 WITH SCORE 5813.199
AT ITER 154 NEW BEST:: SOT 33241 SOS 10197 HAS SOPS 10197 HAS SOUS 5801 HAS SOUPS 5801 WITH SCORE 5811.197
AT ITER 198 NEW BEST:: SOT 33235 SOS 10197 HAS SOPS 10197 HAS SOUS 5795 HAS SOUPS 5795 WITH SCORE 5805.197
AT ITER 239 NEW BEST:: SOT 33219 SOS 10165 HAS SOPS 10165 HAS SOUS 5763 HAS SOUPS 5763 WITH SCORE 5773.165
AT ITER 244 NEW BEST:: SOT 33204 SOS 9775 HAS SOPS 9775 HAS SOUS 5733 HAS SOUPS 5733 WITH SCORE 5742.775
AT ITER 273 NEW BEST:: SOT 33006 SOS 9575 HAS SOPS 9575 HAS SOUS 5499 HAS SOUPS 5499 WITH SCORE 5508.575
AT ITER 284 NEW BEST:: SOT 32998 SOS 9568 HAS SOPS 9568 HAS SOUS 5483 HAS SOUPS 5483 WITH SCORE 5492.568
AT ITER 293 NEW BEST:: SOT 32998 SOS 9565 HAS SOPS 9565 HAS SOUS 5480 HAS SOUPS 5480 WITH SCORE 5489.565
AT ITER 298 NEW BEST:: SOT 32997 SOS 9560 HAS SOPS 9560 HAS SOUS 5475 HAS SOUPS 5475 WITH SCORE 5484.56
AT ITER 322 NEW BEST:: SOT 32996 SOS 9558 HAS SOPS 9558 HAS SOUS 5472 HAS SOUPS 5472 WITH SCORE 5481.558
AT ITER 335 NEW BEST:: SOT 32986 SOS 9543 HAS SOPS 9543 HAS SOUS 5462 HAS SOUPS 5462 WITH SCORE 5471.543
AT ITER 381 NEW BEST:: SOT 32986 SOS 9543 HAS SOPS 9543 HAS SOUS 5455 HAS SOUPS 5455 WITH SCORE 5464.543
AT ITER 394 NEW BEST:: SOT 32980 SOS 9537 HAS SOPS 9537 HAS SOUS 5443 HAS SOUPS 5443 WITH SCORE 5452.537
AT ITER 397 NEW BEST:: SOT 32966 SOS 9523 HAS SOPS 9523 HAS SOUS 5442 HAS SOUPS 5442 WITH SCORE 5451.523
AT ITER 409 NEW BEST:: SOT 32966 SOS 9520 HAS SOPS 9520 HAS SOUS 5439 HAS SOUPS 5439 WITH SCORE 5448.52
AT ITER 416 NEW BEST:: SOT 32966 SOS 9520 HAS SOPS 9520 HAS SOUS 5436 HAS SOUPS 5436 WITH SCORE 5445.52
AT ITER 426 NEW BEST:: SOT 32966 SOS 9499 HAS SOPS 9499 HAS SOUS 5431 HAS SOUPS 5431 WITH SCORE 5440.499
AT ITER 436 NEW BEST:: SOT 32971 SOS 9497 HAS SOPS 9497 HAS SOUS 5429 HAS SOUPS 5429 WITH SCORE 5438.497
AT ITER 446 NEW BEST:: SOT 32996 SOS 9499 HAS SOPS 9499 HAS SOUS 5417 HAS SOUPS 5417 WITH SCORE 5426.499
AT ITER 491 NEW BEST:: SOT 32991 SOS 9039 HAS SOPS 9039 HAS SOUS 5414 HAS SOUPS 5414 WITH SCORE 5423.039
AT ITER 499 NEW BEST:: SOT 32983 SOS 9030 HAS SOPS 9030 HAS SOUS 5405 HAS SOUPS 5405 WITH SCORE 5414.03
AT ITER 506 NEW BEST:: SOT 32984 SOS 9032 HAS SOPS 9032 HAS SOUS 5385 HAS SOUPS 5385 WITH SCORE 5394.032
AT ITER 558 NEW BEST:: SOT 32970 SOS 9004 HAS SOPS 9004 HAS SOUS 5362 HAS SOUPS 5362 WITH SCORE 5371.004
AT ITER 572 NEW BEST:: SOT 32970 SOS 8999 HAS SOPS 8999 HAS SOUS 5357 HAS SOUPS 5357 WITH SCORE 5365.999
AT ITER 574 NEW BEST:: SOT 32959 SOS 8988 HAS SOPS 8988 HAS SOUS 5357 HAS SOUPS 5357 WITH SCORE 5365.988
AT ITER 588 NEW BEST:: SOT 32955 SOS 8980 HAS SOPS 8980 HAS SOUS 5349 HAS SOUPS 5349 WITH SCORE 5357.98
AT ITER 599 NEW BEST:: SOT 32955 SOS 8974 HAS SOPS 8974 HAS SOUS 5343 HAS SOUPS 5343 WITH SCORE 5351.974
AT ITER 604 NEW BEST:: SOT 32945 SOS 8954 HAS SOPS 8954 HAS SOUS 5333 HAS SOUPS 5333 WITH SCORE 5341.954
AT ITER 611 NEW BEST:: SOT 32935 SOS 8957 HAS SOPS 8957 HAS SOUS 5313 HAS SOUPS 5313 WITH SCORE 5321.957
AT ITER 632 NEW BEST:: SOT 32916 SOS 8938 HAS SOPS 8938 HAS SOUS 5294 HAS SOUPS 5294 WITH SCORE 5302.938
AT ITER 643 NEW BEST:: SOT 32915 SOS 8936 HAS SOPS 8936 HAS SOUS 5292 HAS SOUPS 5292 WITH SCORE 5300.936
AT ITER 666 NEW BEST:: SOT 32885 SOS 8924 HAS SOPS 8924 HAS SOUS 5280 HAS SOUPS 5280 WITH SCORE 5288.924
AT ITER 674 NEW BEST:: SOT 32867 SOS 8888 HAS SOPS 8888 HAS SOUS 5262 HAS SOUPS 5262 WITH SCORE 5270.888
AT ITER 675 NEW BEST:: SOT 32809 SOS 8811 HAS SOPS 8811 HAS SOUS 5258 HAS SOUPS 5258 WITH SCORE 5266.811
AT ITER 680 NEW BEST:: SOT 32809 SOS 8806 HAS SOPS 8806 HAS SOUS 5253 HAS SOUPS 5253 WITH SCORE 5261.806
AT ITER 684 NEW BEST:: SOT 32802 SOS 8792 HAS SOPS 8792 HAS SOUS 5246 HAS SOUPS 5246 WITH SCORE 5254.792
AT ITER 689 NEW BEST:: SOT 32787 SOS 8762 HAS SOPS 8762 HAS SOUS 5221 HAS SOUPS 5221 WITH SCORE 5229.762
AT ITER 733 NEW BEST:: SOT 32781 SOS 8756 HAS SOPS 8756 HAS SOUS 5215 HAS SOUPS 5215 WITH SCORE 5223.756
AT ITER 746 NEW BEST:: SOT 32773 SOS 8748 HAS SOPS 8748 HAS SOUS 5207 HAS SOUPS 5207 WITH SCORE 5215.748
AT ITER 752 NEW BEST:: SOT 32670 SOS 8605 HAS SOPS 8605 HAS SOUS 5149 HAS SOUPS 5149 WITH SCORE 5157.605
AT ITER 765 NEW BEST:: SOT 32672 SOS 8602 HAS SOPS 8602 HAS SOUS 5146 HAS SOUPS 5146 WITH SCORE 5154.602
AT ITER 806 NEW BEST:: SOT 32672 SOS 8578 HAS SOPS 8578 HAS SOUS 5122 HAS SOUPS 5122 WITH SCORE 5130.578
AT ITER 836 NEW BEST:: SOT 32671 SOS 8575 HAS SOPS 8575 HAS SOUS 5119 HAS SOUPS 5119 WITH SCORE 5127.575
AT ITER 898 NEW BEST:: SOT 32688 SOS 8609 HAS SOPS 8609 HAS SOUS 5116 HAS SOUPS 5116 WITH SCORE 5124.609
AT ITER 906 NEW BEST:: SOT 32681 SOS 8608 HAS SOPS 8608 HAS SOUS 5115 HAS SOUPS 5115 WITH SCORE 5123.608
AT ITER 935 NEW BEST:: SOT 32659 SOS 8592 HAS SOPS 8592 HAS SOUS 5108 HAS SOUPS 5108 WITH SCORE 5116.592
AT ITER 955 NEW BEST:: SOT 32649 SOS 8582 HAS SOPS 8582 HAS SOUS 5098 HAS SOUPS 5098 WITH SCORE 5106.582
AT ITER 966 NEW BEST:: SOT 32631 SOS 8570 HAS SOPS 8570 HAS SOUS 5086 HAS SOUPS 5086 WITH SCORE 5094.57
AT ITER 976 NEW BEST:: SOT 32620 SOS 8526 HAS SOPS 8526 HAS SOUS 5075 HAS SOUPS 5075 WITH SCORE 5083.526
AT ITER 982 NEW BEST:: SOT 32615 SOS 8521 HAS SOPS 8521 HAS SOUS 5065 HAS SOUPS 5065 WITH SCORE 5073.521
AT ITER 995 NEW BEST:: SOT 32565 SOS 8471 HAS SOPS 8471 HAS SOUS 5015 HAS SOUPS 5015 WITH SCORE 5023.471
AT ITER 1009 NEW BEST:: SOT 32561 SOS 8451 HAS SOPS 8451 HAS SOUS 4999 HAS SOUPS 4999 WITH SCORE 5007.451
AT ITER 1020 NEW BEST:: SOT 32539 SOS 8428 HAS SOPS 8428 HAS SOUS 4970 HAS SOUPS 4970 WITH SCORE 4978.428
AT ITER 1090 NEW BEST:: SOT 32498 SOS 8392 HAS SOPS 8392 HAS SOUS 4934 HAS SOUPS 4934 WITH SCORE 4942.392
AT ITER 1098 NEW BEST:: SOT 32492 SOS 8180 HAS SOPS 8180 HAS SOUS 4908 HAS SOUPS 4908 WITH SCORE 4916.18
AT ITER 1100 NEW BEST:: SOT 32488 SOS 8172 HAS SOPS 8172 HAS SOUS 4898 HAS SOUPS 4898 WITH SCORE 4906.172
AT ITER 1130 NEW BEST:: SOT 32481 SOS 8165 HAS SOPS 8165 HAS SOUS 4897 HAS SOUPS 4897 WITH SCORE 4905.165
AT ITER 1140 NEW BEST:: SOT 32477 SOS 8157 HAS SOPS 8157 HAS SOUS 4889 HAS SOUPS 4889 WITH SCORE 4897.157
AT ITER 1154 NEW BEST:: SOT 32481 SOS 8165 HAS SOPS 8165 HAS SOUS 4887 HAS SOUPS 4887 WITH SCORE 4895.165
AT ITER 1161 NEW BEST:: SOT 32479 SOS 8069 HAS SOPS 8069 HAS SOUS 4883 HAS SOUPS 4883 WITH SCORE 4891.069
AT ITER 1187 NEW BEST:: SOT 32476 SOS 8063 HAS SOPS 8063 HAS SOUS 4877 HAS SOUPS 4877 WITH SCORE 4885.063
AT ITER 1193 NEW BEST:: SOT 32454 SOS 7787 HAS SOPS 7787 HAS SOUS 4847 HAS SOUPS 4847 WITH SCORE 4854.787
AT ITER 1199 NEW BEST:: SOT 32454 SOS 7786 HAS SOPS 7786 HAS SOUS 4846 HAS SOUPS 4846 WITH SCORE 4853.786
AT ITER 1214 NEW BEST:: SOT 32419 SOS 7751 HAS SOPS 7751 HAS SOUS 4804 HAS SOUPS 4804 WITH SCORE 4811.751
AT ITER 1219 NEW BEST:: SOT 32417 SOS 7747 HAS SOPS 7747 HAS SOUS 4801 HAS SOUPS 4801 WITH SCORE 4808.747
AT ITER 1228 NEW BEST:: SOT 32413 SOS 7739 HAS SOPS 7739 HAS SOUS 4793 HAS SOUPS 4793 WITH SCORE 4800.739
AT ITER 1264 NEW BEST:: SOT 32413 SOS 7735 HAS SOPS 7735 HAS SOUS 4789 HAS SOUPS 4789 WITH SCORE 4796.735
AT ITER 1276 NEW BEST:: SOT 32413 SOS 7727 HAS SOPS 7727 HAS SOUS 4789 HAS SOUPS 4789 WITH SCORE 4796.727
AT ITER 1298 NEW BEST:: SOT 32410 SOS 7724 HAS SOPS 7724 HAS SOUS 4786 HAS SOUPS 4786 WITH SCORE 4793.724
AT ITER 1301 NEW BEST:: SOT 32409 SOS 7723 HAS SOPS 7723 HAS SOUS 4785 HAS SOUPS 4785 WITH SCORE 4792.723
AT ITER 1339 NEW BEST:: SOT 32406 SOS 7721 HAS SOPS 7721 HAS SOUS 4782 HAS SOUPS 4782 WITH SCORE 4789.721
AT ITER 1426 NEW BEST:: SOT 32405 SOS 7704 HAS SOPS 7704 HAS SOUS 4773 HAS SOUPS 4773 WITH SCORE 4780.704
AT ITER 1428 NEW BEST:: SOT 32401 SOS 7696 HAS SOPS 7696 HAS SOUS 4765 HAS SOUPS 4765 WITH SCORE 4772.696
AT ITER 1462 NEW BEST:: SOT 32417 SOS 7707 HAS SOPS 7707 HAS SOUS 4760 HAS SOUPS 4760 WITH SCORE 4767.707
AT ITER 1481 NEW BEST:: SOT 32415 SOS 7703 HAS SOPS 7703 HAS SOUS 4756 HAS SOUPS 4756 WITH SCORE 4763.703
AT ITER 1490 NEW BEST:: SOT 32407 SOS 7695 HAS SOPS 7695 HAS SOUS 4748 HAS SOUPS 4748 WITH SCORE 4755.695
AT ITER 1550 NEW BEST:: SOT 32400 SOS 7531 HAS SOPS 7531 HAS SOUS 4734 HAS SOUPS 4734 WITH SCORE 4741.531
AT ITER 1552 NEW BEST:: SOT 32398 SOS 7527 HAS SOPS 7527 HAS SOUS 4732 HAS SOUPS 4732 WITH SCORE 4739.527
AT ITER 1565 NEW BEST:: SOT 32418 SOS 7515 HAS SOPS 7515 HAS SOUS 4720 HAS SOUPS 4720 WITH SCORE 4727.515
AT ITER 1570 NEW BEST:: SOT 32417 SOS 7513 HAS SOPS 7513 HAS SOUS 4718 HAS SOUPS 4718 WITH SCORE 4725.513
AT ITER 1576 NEW BEST:: SOT 32409 SOS 7505 HAS SOPS 7505 HAS SOUS 4710 HAS SOUPS 4710 WITH SCORE 4717.505
AT ITER 1638 NEW BEST:: SOT 32410 SOS 7501 HAS SOPS 7501 HAS SOUS 4706 HAS SOUPS 4706 WITH SCORE 4713.501
AT ITER 1661 NEW BEST:: SOT 32408 SOS 7495 HAS SOPS 7495 HAS SOUS 4702 HAS SOUPS 4702 WITH SCORE 4709.495
AT ITER 1695 NEW BEST:: SOT 32407 SOS 7494 HAS SOPS 7494 HAS SOUS 4701 HAS SOUPS 4701 WITH SCORE 4708.494
AT ITER 1766 NEW BEST:: SOT 32397 SOS 7474 HAS SOPS 7474 HAS SOUS 4699 HAS SOUPS 4699 WITH SCORE 4706.474
AT ITER 1805 NEW BEST:: SOT 32396 SOS 7470 HAS SOPS 7470 HAS SOUS 4696 HAS SOUPS 4696 WITH SCORE 4703.47
AT ITER 1913 NEW BEST:: SOT 32376 SOS 7468 HAS SOPS 7468 HAS SOUS 4694 HAS SOUPS 4694 WITH SCORE 4701.468
AT ITER 2003 NEW BEST:: SOT 32374 SOS 7466 HAS SOPS 7466 HAS SOUS 4692 HAS SOUPS 4692 WITH SCORE 4699.466
AT ITER 2098 NEW BEST:: SOT 32374 SOS 7459 HAS SOPS 7459 HAS SOUS 4692 HAS SOUPS 4692 WITH SCORE 4699.459
AT ITER 2117 NEW BEST:: SOT 32373 SOS 7457 HAS SOPS 7457 HAS SOUS 4690 HAS SOUPS 4690 WITH SCORE 4697.457
AT ITER 2119 NEW BEST:: SOT 32369 SOS 7449 HAS SOPS 7449 HAS SOUS 4682 HAS SOUPS 4682 WITH SCORE 4689.449
AT ITER 2159 NEW BEST:: SOT 32367 SOS 7433 HAS SOPS 7433 HAS SOUS 4674 HAS SOUPS 4674 WITH SCORE 4681.433
AT ITER 2235 NEW BEST:: SOT 32366 SOS 7431 HAS SOPS 7431 HAS SOUS 4672 HAS SOUPS 4672 WITH SCORE 4679.431
AT ITER 2239 NEW BEST:: SOT 32360 SOS 7425 HAS SOPS 7425 HAS SOUS 4660 HAS SOUPS 4660 WITH SCORE 4667.425
AT ITER 2256 NEW BEST:: SOT 32359 SOS 7423 HAS SOPS 7423 HAS SOUS 4658 HAS SOUPS 4658 WITH SCORE 4665.423
AT ITER 2318 NEW BEST:: SOT 32359 SOS 7418 HAS SOPS 7418 HAS SOUS 4653 HAS SOUPS 4653 WITH SCORE 4660.418
AT ITER 2342 NEW BEST:: SOT 32404 SOS 7472 HAS SOPS 7472 HAS SOUS 4630 HAS SOUPS 4630 WITH SCORE 4637.472
AT ITER 2429 NEW BEST:: SOT 32417 SOS 7485 HAS SOPS 7485 HAS SOUS 4625 HAS SOUPS 4625 WITH SCORE 4632.485
AT ITER 2458 NEW BEST:: SOT 32414 SOS 7479 HAS SOPS 7479 HAS SOUS 4612 HAS SOUPS 4612 WITH SCORE 4619.479
AT ITER 2462 NEW BEST:: SOT 32419 SOS 7482 HAS SOPS 7482 HAS SOUS 4611 HAS SOUPS 4611 WITH SCORE 4618.482
AT ITER 2521 NEW BEST:: SOT 32419 SOS 7482 HAS SOPS 7482 HAS SOUS 4605 HAS SOUPS 4605 WITH SCORE 4612.482
AT ITER 2533 NEW BEST:: SOT 32418 SOS 7480 HAS SOPS 7480 HAS SOUS 4600 HAS SOUPS 4600 WITH SCORE 4607.48
AT ITER 2540 NEW BEST:: SOT 32415 SOS 7479 HAS SOPS 7479 HAS SOUS 4599 HAS SOUPS 4599 WITH SCORE 4606.479
AT ITER 2562 NEW BEST:: SOT 32406 SOS 7470 HAS SOPS 7470 HAS SOUS 4584 HAS SOUPS 4584 WITH SCORE 4591.47
AT ITER 2614 NEW BEST:: SOT 32404 SOS 7470 HAS SOPS 7470 HAS SOUS 4582 HAS SOUPS 4582 WITH SCORE 4589.47
AT ITER 2630 NEW BEST:: SOT 32403 SOS 7472 HAS SOPS 7472 HAS SOUS 4581 HAS SOUPS 4581 WITH SCORE 4588.472
AT ITER 2663 NEW BEST:: SOT 32383 SOS 7459 HAS SOPS 7459 HAS SOUS 4568 HAS SOUPS 4568 WITH SCORE 4575.459
AT ITER 2672 NEW BEST:: SOT 32379 SOS 7451 HAS SOPS 7451 HAS SOUS 4564 HAS SOUPS 4564 WITH SCORE 4571.451
AT ITER 2742 NEW BEST:: SOT 32388 SOS 7446 HAS SOPS 7446 HAS SOUS 4545 HAS SOUPS 4545 WITH SCORE 4552.446
AT ITER 2773 NEW BEST:: SOT 32386 SOS 7441 HAS SOPS 7441 HAS SOUS 4541 HAS SOUPS 4541 WITH SCORE 4548.441
AT ITER 2821 NEW BEST:: SOT 32393 SOS 7412 HAS SOPS 7412 HAS SOUS 4521 HAS SOUPS 4521 WITH SCORE 4528.412
AT ITER 2884 NEW BEST:: SOT 32388 SOS 7407 HAS SOPS 7407 HAS SOUS 4516 HAS SOUPS 4516 WITH SCORE 4523.407
AT ITER 2908 NEW BEST:: SOT 32389 SOS 7403 HAS SOPS 7403 HAS SOUS 4512 HAS SOUPS 4512 WITH SCORE 4519.403
AT ITER 2969 NEW BEST:: SOT 32389 SOS 6492 HAS SOPS 6492 HAS SOUS 4492 HAS SOUPS 4492 WITH SCORE 4498.492
AT ITER 3006 NEW BEST:: SOT 32391 SOS 6484 HAS SOPS 6484 HAS SOUS 4488 HAS SOUPS 4488 WITH SCORE 4494.484
AT ITER 3036 NEW BEST:: SOT 32399 SOS 6485 HAS SOPS 6485 HAS SOUS 4484 HAS SOUPS 4484 WITH SCORE 4490.485
AT ITER 3049 NEW BEST:: SOT 32394 SOS 6475 HAS SOPS 6475 HAS SOUS 4483 HAS SOUPS 4483 WITH SCORE 4489.475
AT ITER 3073 NEW BEST:: SOT 32399 SOS 6485 HAS SOPS 6485 HAS SOUS 4452 HAS SOUPS 4452 WITH SCORE 4458.485
AT ITER 3179 NEW BEST:: SOT 32378 SOS 6500 HAS SOPS 6500 HAS SOUS 4441 HAS SOUPS 4441 WITH SCORE 4447.5
AT ITER 3212 NEW BEST:: SOT 32368 SOS 6490 HAS SOPS 6490 HAS SOUS 4431 HAS SOUPS 4431 WITH SCORE 4437.49
AT ITER 3298 NEW BEST:: SOT 32365 SOS 6488 HAS SOPS 6488 HAS SOUS 4429 HAS SOUPS 4429 WITH SCORE 4435.488
AT ITER 3299 NEW BEST:: SOT 32362 SOS 6487 HAS SOPS 6487 HAS SOUS 4428 HAS SOUPS 4428 WITH SCORE 4434.487
AT ITER 3307 NEW BEST:: SOT 32351 SOS 6479 HAS SOPS 6479 HAS SOUS 4414 HAS SOUPS 4414 WITH SCORE 4420.479
AT ITER 3330 NEW BEST:: SOT 32342 SOS 6467 HAS SOPS 6467 HAS SOUS 4401 HAS SOUPS 4401 WITH SCORE 4407.467
AT ITER 3354 NEW BEST:: SOT 32338 SOS 6459 HAS SOPS 6459 HAS SOUS 4393 HAS SOUPS 4393 WITH SCORE 4399.459
AT ITER 3369 NEW BEST:: SOT 32337 SOS 6457 HAS SOPS 6457 HAS SOUS 4392 HAS SOUPS 4392 WITH SCORE 4398.457
AT ITER 3374 NEW BEST:: SOT 32332 SOS 7573 HAS SOPS 7573 HAS SOUS 4385 HAS SOUPS 4385 WITH SCORE 4392.573
AT ITER 3407 NEW BEST:: SOT 32327 SOS 7563 HAS SOPS 7563 HAS SOUS 4375 HAS SOUPS 4375 WITH SCORE 4382.563
AT ITER 3484 NEW BEST:: SOT 32316 SOS 7565 HAS SOPS 7565 HAS SOUS 4371 HAS SOUPS 4371 WITH SCORE 4378.565
AT ITER 3486 NEW BEST:: SOT 32316 SOS 7565 HAS SOPS 7565 HAS SOUS 4349 HAS SOUPS 4349 WITH SCORE 4356.565
AT ITER 3559 NEW BEST:: SOT 32316 SOS 7563 HAS SOPS 7563 HAS SOUS 4347 HAS SOUPS 4347 WITH SCORE 4354.563
AT ITER 3563 NEW BEST:: SOT 32314 SOS 7557 HAS SOPS 7557 HAS SOUS 4343 HAS SOUPS 4343 WITH SCORE 4350.557
AT ITER 3595 NEW BEST:: SOT 32301 SOS 7544 HAS SOPS 7544 HAS SOUS 4339 HAS SOUPS 4339 WITH SCORE 4346.544
AT ITER 3597 NEW BEST:: SOT 32296 SOS 7539 HAS SOPS 7539 HAS SOUS 4334 HAS SOUPS 4334 WITH SCORE 4341.539
AT ITER 3615 NEW BEST:: SOT 32292 SOS 7527 HAS SOPS 7527 HAS SOUS 4334 HAS SOUPS 4334 WITH SCORE 4341.527
AT ITER 3636 NEW BEST:: SOT 32286 SOS 7515 HAS SOPS 7515 HAS SOUS 4322 HAS SOUPS 4322 WITH SCORE 4329.515
AT ITER 3667 NEW BEST:: SOT 32272 SOS 7487 HAS SOPS 7487 HAS SOUS 4308 HAS SOUPS 4308 WITH SCORE 4315.487
AT ITER 3670 NEW BEST:: SOT 32272 SOS 7479 HAS SOPS 7479 HAS SOUS 4308 HAS SOUPS 4308 WITH SCORE 4315.479
AT ITER 3678 NEW BEST:: SOT 32263 SOS 7470 HAS SOPS 7470 HAS SOUS 4299 HAS SOUPS 4299 WITH SCORE 4306.47
AT ITER 3685 NEW BEST:: SOT 32259 SOS 7476 HAS SOPS 7476 HAS SOUS 4275 HAS SOUPS 4275 WITH SCORE 4282.476
AT ITER 3727 NEW BEST:: SOT 32254 SOS 7466 HAS SOPS 7466 HAS SOUS 4270 HAS SOUPS 4270 WITH SCORE 4277.466
AT ITER 3758 NEW BEST:: SOT 32224 SOS 7421 HAS SOPS 7421 HAS SOUS 4246 HAS SOUPS 4246 WITH SCORE 4253.421
AT ITER 3781 NEW BEST:: SOT 32218 SOS 7417 HAS SOPS 7417 HAS SOUS 4242 HAS SOUPS 4242 WITH SCORE 4249.417
AT ITER 3784 NEW BEST:: SOT 32220 SOS 7410 HAS SOPS 7410 HAS SOUS 4226 HAS SOUPS 4226 WITH SCORE 4233.41
AT ITER 3836 NEW BEST:: SOT 32210 SOS 7376 HAS SOPS 7376 HAS SOUS 4216 HAS SOUPS 4216 WITH SCORE 4223.376
AT ITER 3876 NEW BEST:: SOT 32206 SOS 7372 HAS SOPS 7372 HAS SOUS 4212 HAS SOUPS 4212 WITH SCORE 4219.372
AT ITER 3912 NEW BEST:: SOT 32205 SOS 7370 HAS SOPS 7370 HAS SOUS 4210 HAS SOUPS 4210 WITH SCORE 4217.37
AT ITER 4107 NEW BEST:: SOT 32204 SOS 7367 HAS SOPS 7367 HAS SOUS 4207 HAS SOUPS 4207 WITH SCORE 4214.367
AT ITER 4108 NEW BEST:: SOT 32204 SOS 7370 HAS SOPS 7370 HAS SOUS 4205 HAS SOUPS 4205 WITH SCORE 4212.37
AT ITER 4209 NEW BEST:: SOT 32204 SOS 7369 HAS SOPS 7369 HAS SOUS 4205 HAS SOUPS 4205 WITH SCORE 4212.369
AT ITER 4245 NEW BEST:: SOT 32200 SOS 7369 HAS SOPS 7369 HAS SOUS 4201 HAS SOUPS 4201 WITH SCORE 4208.369
AT ITER 4271 NEW BEST:: SOT 32199 SOS 7368 HAS SOPS 7368 HAS SOUS 4200 HAS SOUPS 4200 WITH SCORE 4207.368
AT ITER 4319 NEW BEST:: SOT 32200 SOS 7366 HAS SOPS 7366 HAS SOUS 4198 HAS SOUPS 4198 WITH SCORE 4205.366
AT ITER 4542 NEW BEST:: SOT 32196 SOS 7362 HAS SOPS 7362 HAS SOUS 4197 HAS SOUPS 4197 WITH SCORE 4204.362
AT ITER 4582 NEW BEST:: SOT 32196 SOS 7341 HAS SOPS 7341 HAS SOUS 4197 HAS SOUPS 4197 WITH SCORE 4204.341
AT ITER 4641 NEW BEST:: SOT 32193 SOS 7318 HAS SOPS 7318 HAS SOUS 4180 HAS SOUPS 4180 WITH SCORE 4187.318
AT ITER 4659 NEW BEST:: SOT 32194 SOS 7281 HAS SOPS 7281 HAS SOUS 4177 HAS SOUPS 4177 WITH SCORE 4184.281
AT ITER 4691 NEW BEST:: SOT 32193 SOS 7266 HAS SOPS 7266 HAS SOUS 4176 HAS SOUPS 4176 WITH SCORE 4183.266
AT ITER 4692 NEW BEST:: SOT 32191 SOS 7262 HAS SOPS 7262 HAS SOUS 4174 HAS SOUPS 4174 WITH SCORE 4181.262
AT ITER 4711 NEW BEST:: SOT 32190 SOS 7292 HAS SOPS 7292 HAS SOUS 4173 HAS SOUPS 4173 WITH SCORE 4180.292
AT ITER 4715 NEW BEST:: SOT 32188 SOS 7290 HAS SOPS 7290 HAS SOUS 4171 HAS SOUPS 4171 WITH SCORE 4178.29
AT ITER 4772 NEW BEST:: SOT 32188 SOS 7287 HAS SOPS 7287 HAS SOUS 4171 HAS SOUPS 4171 WITH SCORE 4178.287
AT ITER 4778 NEW BEST:: SOT 32186 SOS 7285 HAS SOPS 7285 HAS SOUS 4169 HAS SOUPS 4169 WITH SCORE 4176.285
AT ITER 4809 NEW BEST:: SOT 32186 SOS 7283 HAS SOPS 7283 HAS SOUS 4169 HAS SOUPS 4169 WITH SCORE 4176.283
AT ITER 4816 NEW BEST:: SOT 32184 SOS 7279 HAS SOPS 7279 HAS SOUS 4169 HAS SOUPS 4169 WITH SCORE 4176.279
AT ITER 4896 NEW BEST:: SOT 32182 SOS 7275 HAS SOPS 7275 HAS SOUS 4165 HAS SOUPS 4165 WITH SCORE 4172.275
AT ITER 4914 NEW BEST:: SOT 32180 SOS 6989 HAS SOPS 6989 HAS SOUS 4163 HAS SOUPS 4163 WITH SCORE 4169.989
AT ITER 4932 NEW BEST:: SOT 32179 SOS 6987 HAS SOPS 6987 HAS SOUS 4162 HAS SOUPS 4162 WITH SCORE 4168.987
AT ITER 4983 NEW BEST:: SOT 32179 SOS 7058 HAS SOPS 7058 HAS SOUS 4161 HAS SOUPS 4161 WITH SCORE 4168.058
AT ITER 5019 NEW BEST:: SOT 32177 SOS 7079 HAS SOPS 7079 HAS SOUS 4157 HAS SOUPS 4157 WITH SCORE 4164.079
AT ITER 5029 NEW BEST:: SOT 32178 SOS 7071 HAS SOPS 7071 HAS SOUS 4153 HAS SOUPS 4153 WITH SCORE 4160.071
AT ITER 5066 NEW BEST:: SOT 32184 SOS 7067 HAS SOPS 7067 HAS SOUS 4150 HAS SOUPS 4150 WITH SCORE 4157.067
AT ITER 5075 NEW BEST:: SOT 32172 SOS 7067 HAS SOPS 7067 HAS SOUS 4138 HAS SOUPS 4138 WITH SCORE 4145.067
AT ITER 5092 NEW BEST:: SOT 32171 SOS 7065 HAS SOPS 7065 HAS SOUS 4136 HAS SOUPS 4136 WITH SCORE 4143.065
AT ITER 5129 NEW BEST:: SOT 32172 SOS 7059 HAS SOPS 7059 HAS SOUS 4130 HAS SOUPS 4130 WITH SCORE 4137.059
AT ITER 5135 NEW BEST:: SOT 32171 SOS 7057 HAS SOPS 7057 HAS SOUS 4128 HAS SOUPS 4128 WITH SCORE 4135.057
AT ITER 5154 NEW BEST:: SOT 32156 SOS 7072 HAS SOPS 7072 HAS SOUS 4095 HAS SOUPS 4095 WITH SCORE 4102.072
AT ITER 5168 NEW BEST:: SOT 32156 SOS 7072 HAS SOPS 7072 HAS SOUS 4090 HAS SOUPS 4090 WITH SCORE 4097.072
AT ITER 5281 NEW BEST:: SOT 32156 SOS 7062 HAS SOPS 7062 HAS SOUS 4090 HAS SOUPS 4090 WITH SCORE 4097.062
AT ITER 5301 NEW BEST:: SOT 32156 SOS 7031 HAS SOPS 7031 HAS SOUS 4090 HAS SOUPS 4090 WITH SCORE 4097.031
AT ITER 5431 NEW BEST:: SOT 32154 SOS 7029 HAS SOPS 7029 HAS SOUS 4088 HAS SOUPS 4088 WITH SCORE 4095.029
AT ITER 5505 NEW BEST:: SOT 32152 SOS 7025 HAS SOPS 7025 HAS SOUS 4084 HAS SOUPS 4084 WITH SCORE 4091.025
AT ITER 5564 NEW BEST:: SOT 32150 SOS 7023 HAS SOPS 7023 HAS SOUS 4082 HAS SOUPS 4082 WITH SCORE 4089.023
AT ITER 5647 NEW BEST:: SOT 32150 SOS 7022 HAS SOPS 7022 HAS SOUS 4080 HAS SOUPS 4080 WITH SCORE 4087.022
AT ITER 5680 NEW BEST:: SOT 32146 SOS 7018 HAS SOPS 7018 HAS SOUS 4076 HAS SOUPS 4076 WITH SCORE 4083.018
AT ITER 5700 NEW BEST:: SOT 32147 SOS 7017 HAS SOPS 7017 HAS SOUS 4075 HAS SOUPS 4075 WITH SCORE 4082.017
AT ITER 5748 NEW BEST:: SOT 32147 SOS 7017 HAS SOPS 7017 HAS SOUS 4072 HAS SOUPS 4072 WITH SCORE 4079.017
AT ITER 5825 NEW BEST:: SOT 32162 SOS 7012 HAS SOPS 7012 HAS SOUS 4067 HAS SOUPS 4067 WITH SCORE 4074.012
AT ITER 5842 NEW BEST:: SOT 32161 SOS 7030 HAS SOPS 7030 HAS SOUS 4066 HAS SOUPS 4066 WITH SCORE 4073.03
AT ITER 5844 NEW BEST:: SOT 32157 SOS 7027 HAS SOPS 7027 HAS SOUS 4063 HAS SOUPS 4063 WITH SCORE 4070.027
AT ITER 6052 NEW BEST:: SOT 32150 SOS 7020 HAS SOPS 7020 HAS SOUS 4050 HAS SOUPS 4050 WITH SCORE 4057.02
AT ITER 6081 NEW BEST:: SOT 32119 SOS 7021 HAS SOPS 7021 HAS SOUS 4037 HAS SOUPS 4037 WITH SCORE 4044.021
AT ITER 6126 NEW BEST:: SOT 32117 SOS 7017 HAS SOPS 7017 HAS SOUS 4033 HAS SOUPS 4033 WITH SCORE 4040.017
AT ITER 6133 NEW BEST:: SOT 32114 SOS 7011 HAS SOPS 7011 HAS SOUS 4030 HAS SOUPS 4030 WITH SCORE 4037.011
AT ITER 6147 NEW BEST:: SOT 32112 SOS 7007 HAS SOPS 7007 HAS SOUS 4026 HAS SOUPS 4026 WITH SCORE 4033.007
AT ITER 6208 NEW BEST:: SOT 32111 SOS 7005 HAS SOPS 7005 HAS SOUS 4025 HAS SOUPS 4025 WITH SCORE 4032.005
AT ITER 6209 NEW BEST:: SOT 32108 SOS 6991 HAS SOPS 6991 HAS SOUS 4017 HAS SOUPS 4017 WITH SCORE 4023.991
AT ITER 6296 NEW BEST:: SOT 32098 SOS 6975 HAS SOPS 6975 HAS SOUS 4001 HAS SOUPS 4001 WITH SCORE 4007.975
AT ITER 6314 NEW BEST:: SOT 32093 SOS 6965 HAS SOPS 6965 HAS SOUS 3991 HAS SOUPS 3991 WITH SCORE 3997.965
AT ITER 6328 NEW BEST:: SOT 32092 SOS 6963 HAS SOPS 6963 HAS SOUS 3989 HAS SOUPS 3989 WITH SCORE 3995.963
AT ITER 6340 NEW BEST:: SOT 32090 SOS 6960 HAS SOPS 6960 HAS SOUS 3986 HAS SOUPS 3986 WITH SCORE 3992.96
AT ITER 6383 NEW BEST:: SOT 32088 SOS 6958 HAS SOPS 6958 HAS SOUS 3981 HAS SOUPS 3981 WITH SCORE 3987.958
AT ITER 6386 NEW BEST:: SOT 32088 SOS 6952 HAS SOPS 6952 HAS SOUS 3978 HAS SOUPS 3978 WITH SCORE 3984.952
AT ITER 6418 NEW BEST:: SOT 32087 SOS 6945 HAS SOPS 6945 HAS SOUS 3976 HAS SOUPS 3976 WITH SCORE 3982.945
AT ITER 6447 NEW BEST:: SOT 32087 SOS 6945 HAS SOPS 6945 HAS SOUS 3975 HAS SOUPS 3975 WITH SCORE 3981.945
AT ITER 6631 NEW BEST:: SOT 32088 SOS 6944 HAS SOPS 6944 HAS SOUS 3973 HAS SOUPS 3973 WITH SCORE 3979.944
AT ITER 6691 NEW BEST:: SOT 32081 SOS 6932 HAS SOPS 6932 HAS SOUS 3961 HAS SOUPS 3961 WITH SCORE 3967.932
AT ITER 6783 NEW BEST:: SOT 32081 SOS 6919 HAS SOPS 6919 HAS SOUS 3961 HAS SOUPS 3961 WITH SCORE 3967.919
AT ITER 6929 NEW BEST:: SOT 32078 SOS 6913 HAS SOPS 6913 HAS SOUS 3954 HAS SOUPS 3954 WITH SCORE 3960.913
AT ITER 6932 NEW BEST:: SOT 32071 SOS 6899 HAS SOPS 6899 HAS SOUS 3940 HAS SOUPS 3940 WITH SCORE 3946.899
AT ITER 7063 NEW BEST:: SOT 32067 SOS 6915 HAS SOPS 6915 HAS SOUS 3936 HAS SOUPS 3936 WITH SCORE 3942.915
AT ITER 7093 NEW BEST:: SOT 32067 SOS 6917 HAS SOPS 6917 HAS SOUS 3935 HAS SOUPS 3935 WITH SCORE 3941.917
AT ITER 7155 NEW BEST:: SOT 32066 SOS 6915 HAS SOPS 6915 HAS SOUS 3933 HAS SOUPS 3933 WITH SCORE 3939.915
AT ITER 7174 NEW BEST:: SOT 32062 SOS 6899 HAS SOPS 6899 HAS SOUS 3929 HAS SOUPS 3929 WITH SCORE 3935.899
AT ITER 7435 NEW BEST:: SOT 32061 SOS 6627 HAS SOPS 6627 HAS SOUS 3928 HAS SOUPS 3928 WITH SCORE 3934.627
AT ITER 7493 NEW BEST:: SOT 32062 SOS 6621 HAS SOPS 6621 HAS SOUS 3926 HAS SOUPS 3926 WITH SCORE 3932.621
AT ITER 7513 NEW BEST:: SOT 32055 SOS 6607 HAS SOPS 6607 HAS SOUS 3919 HAS SOUPS 3919 WITH SCORE 3925.607
AT ITER 7756 NEW BEST:: SOT 32053 SOS 6605 HAS SOPS 6605 HAS SOUS 3917 HAS SOUPS 3917 WITH SCORE 3923.605
AT ITER 7807 NEW BEST:: SOT 32053 SOS 6605 HAS SOPS 6605 HAS SOUS 3916 HAS SOUPS 3916 WITH SCORE 3922.605
AT ITER 7841 NEW BEST:: SOT 32052 SOS 6603 HAS SOPS 6603 HAS SOUS 3914 HAS SOUPS 3914 WITH SCORE 3920.603
AT ITER 7950 NEW BEST:: SOT 32051 SOS 6601 HAS SOPS 6601 HAS SOUS 3913 HAS SOUPS 3913 WITH SCORE 3919.601
AT ITER 8031 NEW BEST:: SOT 32052 SOS 6599 HAS SOPS 6599 HAS SOUS 3911 HAS SOUPS 3911 WITH SCORE 3917.599
AT ITER 8132 NEW BEST:: SOT 32061 SOS 6584 HAS SOPS 6584 HAS SOUS 3896 HAS SOUPS 3896 WITH SCORE 3902.584
AT ITER 8212 NEW BEST:: SOT 32072 SOS 6573 HAS SOPS 6573 HAS SOUS 3896 HAS SOUPS 3896 WITH SCORE 3902.573
AT ITER 8344 NEW BEST:: SOT 32071 SOS 6571 HAS SOPS 6571 HAS SOUS 3895 HAS SOUPS 3895 WITH SCORE 3901.571
AT ITER 8671 NEW BEST:: SOT 32068 SOS 6565 HAS SOPS 6565 HAS SOUS 3889 HAS SOUPS 3889 WITH SCORE 3895.565
AT ITER 8854 NEW BEST:: SOT 32062 SOS 6553 HAS SOPS 6553 HAS SOUS 3889 HAS SOUPS 3889 WITH SCORE 3895.553
AT ITER 8913 NEW BEST:: SOT 32061 SOS 6551 HAS SOPS 6551 HAS SOUS 3887 HAS SOUPS 3887 WITH SCORE 3893.551
AT ITER 8920 NEW BEST:: SOT 32061 SOS 6549 HAS SOPS 6549 HAS SOUS 3885 HAS SOUPS 3885 WITH SCORE 3891.549
AT ITER 9080 NEW BEST:: SOT 32059 SOS 6547 HAS SOPS 6547 HAS SOUS 3883 HAS SOUPS 3883 WITH SCORE 3889.547
AT ITER 9193 NEW BEST:: SOT 32050 SOS 6544 HAS SOPS 6544 HAS SOUS 3880 HAS SOUPS 3880 WITH SCORE 3886.544
AT ITER 9234 NEW BEST:: SOT 32056 SOS 6562 HAS SOPS 6562 HAS SOUS 3874 HAS SOUPS 3874 WITH SCORE 3880.562
AT ITER 9287 NEW BEST:: SOT 32061 SOS 6565 HAS SOPS 6565 HAS SOUS 3871 HAS SOUPS 3871 WITH SCORE 3877.565
AT ITER 9354 NEW BEST:: SOT 32058 SOS 6525 HAS SOPS 6525 HAS SOUS 3868 HAS SOUPS 3868 WITH SCORE 3874.525
AT ITER 9361 NEW BEST:: SOT 32058 SOS 6525 HAS SOPS 6525 HAS SOUS 3862 HAS SOUPS 3862 WITH SCORE 3868.525
AT ITER 9425 NEW BEST:: SOT 32058 SOS 6520 HAS SOPS 6520 HAS SOUS 3862 HAS SOUPS 3862 WITH SCORE 3868.52
AT ITER 9431 NEW BEST:: SOT 32075 SOS 6537 HAS SOPS 6537 HAS SOUS 3861 HAS SOUPS 3861 WITH SCORE 3867.537
AT ITER 9765 NEW BEST:: SOT 32070 SOS 6527 HAS SOPS 6527 HAS SOUS 3858 HAS SOUPS 3858 WITH SCORE 3864.527
AT ITER 9775 NEW BEST:: SOT 32070 SOS 6527 HAS SOPS 6527 HAS SOUS 3857 HAS SOUPS 3857 WITH SCORE 3863.527
AT ITER 9914 NEW BEST:: SOT 32067 SOS 6527 HAS SOPS 6527 HAS SOUS 3856 HAS SOUPS 3856 WITH SCORE 3862.527
STATE_SPACE STATES 144452774 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 8 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 925855782 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678740157351

--------------------
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="AutonomousCar-PT-03b"
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 AutonomousCar-PT-03b, 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 r011-oct2-167813600400576"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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