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-167813600400592.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-04b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813600400592
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 512K
-rw-r--r-- 1 mcc users 5.2K Feb 25 12:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 52K Feb 25 12:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 25 12:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 59K Feb 25 12:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:33 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K 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 16K Feb 25 15:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 12:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 115K Feb 25 12:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 25 12:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 25 12:50 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 110K 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 1678740265127

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-04b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 20:44:28] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 20:44:28] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 20:44:28] [INFO ] Load time of PNML (sax parser for PT used): 83 ms
[2023-03-13 20:44:28] [INFO ] Transformed 221 places.
[2023-03-13 20:44:28] [INFO ] Transformed 368 transitions.
[2023-03-13 20:44:28] [INFO ] Found NUPN structural information;
[2023-03-13 20:44:28] [INFO ] Parsed PT model containing 221 places and 368 transitions and 1658 arcs in 266 ms.
[2023-03-13 20:44:28] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 221 places, 368 transitions and 1658 arcs took 22 ms.
Total runtime 359 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutonomousCar (PT), instance 04b
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: 221 places, 368 transitions, 1658 arcs.
AT ITER 0 NEW BEST:: SOT 55412 SOS 16793 HAS SOPS 16793 HAS SOUS 9523 HAS SOUPS 9523 WITH SCORE 9539.793
AT ITER 1 NEW BEST:: SOT 55411 SOS 16791 HAS SOPS 16791 HAS SOUS 9521 HAS SOUPS 9521 WITH SCORE 9537.791
AT ITER 2 NEW BEST:: SOT 55403 SOS 16775 HAS SOPS 16775 HAS SOUS 9505 HAS SOUPS 9505 WITH SCORE 9521.775
AT ITER 16 NEW BEST:: SOT 55387 SOS 16743 HAS SOPS 16743 HAS SOUS 9465 HAS SOUPS 9465 WITH SCORE 9481.743
AT ITER 32 NEW BEST:: SOT 55372 SOS 16743 HAS SOPS 16743 HAS SOUS 9450 HAS SOUPS 9450 WITH SCORE 9466.743
AT ITER 43 NEW BEST:: SOT 55372 SOS 16743 HAS SOPS 16743 HAS SOUS 9444 HAS SOUPS 9444 WITH SCORE 9460.743
AT ITER 46 NEW BEST:: SOT 55354 SOS 16716 HAS SOPS 16716 HAS SOUS 9417 HAS SOUPS 9417 WITH SCORE 9433.716
AT ITER 72 NEW BEST:: SOT 55341 SOS 16663 HAS SOPS 16663 HAS SOUS 9404 HAS SOUPS 9404 WITH SCORE 9420.663
AT ITER 73 NEW BEST:: SOT 55341 SOS 16663 HAS SOPS 16663 HAS SOUS 9394 HAS SOUPS 9394 WITH SCORE 9410.663
AT ITER 74 NEW BEST:: SOT 55322 SOS 16631 HAS SOPS 16631 HAS SOUS 9359 HAS SOUPS 9359 WITH SCORE 9375.631
AT ITER 81 NEW BEST:: SOT 55317 SOS 16616 HAS SOPS 16616 HAS SOUS 9319 HAS SOUPS 9319 WITH SCORE 9335.616
AT ITER 89 NEW BEST:: SOT 55308 SOS 16598 HAS SOPS 16598 HAS SOUS 9301 HAS SOUPS 9301 WITH SCORE 9317.598
AT ITER 194 NEW BEST:: SOT 55308 SOS 16582 HAS SOPS 16582 HAS SOUS 9301 HAS SOUPS 9301 WITH SCORE 9317.582
AT ITER 198 NEW BEST:: SOT 55312 SOS 16574 HAS SOPS 16574 HAS SOUS 9286 HAS SOUPS 9286 WITH SCORE 9302.574
AT ITER 222 NEW BEST:: SOT 55308 SOS 16566 HAS SOPS 16566 HAS SOUS 9278 HAS SOUPS 9278 WITH SCORE 9294.566
AT ITER 236 NEW BEST:: SOT 55308 SOS 16562 HAS SOPS 16562 HAS SOUS 9278 HAS SOUPS 9278 WITH SCORE 9294.562
AT ITER 262 NEW BEST:: SOT 55265 SOS 16505 HAS SOPS 16505 HAS SOUS 9245 HAS SOUPS 9245 WITH SCORE 9261.505
AT ITER 271 NEW BEST:: SOT 55073 SOS 17443 HAS SOPS 17443 HAS SOUS 9097 HAS SOUPS 9097 WITH SCORE 9114.443
AT ITER 273 NEW BEST:: SOT 55078 SOS 17439 HAS SOPS 17439 HAS SOUS 9093 HAS SOUPS 9093 WITH SCORE 9110.439
AT ITER 281 NEW BEST:: SOT 55161 SOS 17517 HAS SOPS 17517 HAS SOUS 9004 HAS SOUPS 9004 WITH SCORE 9021.517
AT ITER 308 NEW BEST:: SOT 55161 SOS 16710 HAS SOPS 16710 HAS SOUS 9003 HAS SOUPS 9003 WITH SCORE 9019.71
AT ITER 310 NEW BEST:: SOT 55146 SOS 16639 HAS SOPS 16639 HAS SOUS 8920 HAS SOUPS 8920 WITH SCORE 8936.639
AT ITER 314 NEW BEST:: SOT 55126 SOS 16599 HAS SOPS 16599 HAS SOUS 8900 HAS SOUPS 8900 WITH SCORE 8916.599
AT ITER 342 NEW BEST:: SOT 55131 SOS 16609 HAS SOPS 16609 HAS SOUS 8899 HAS SOUPS 8899 WITH SCORE 8915.609
AT ITER 372 NEW BEST:: SOT 55075 SOS 16534 HAS SOPS 16534 HAS SOUS 8824 HAS SOUPS 8824 WITH SCORE 8840.534
AT ITER 380 NEW BEST:: SOT 55052 SOS 15752 HAS SOPS 15752 HAS SOUS 8801 HAS SOUPS 8801 WITH SCORE 8816.752
AT ITER 390 NEW BEST:: SOT 55052 SOS 15740 HAS SOPS 15740 HAS SOUS 8795 HAS SOUPS 8795 WITH SCORE 8810.74
AT ITER 391 NEW BEST:: SOT 55017 SOS 15705 HAS SOPS 15705 HAS SOUS 8706 HAS SOUPS 8706 WITH SCORE 8721.705
AT ITER 399 NEW BEST:: SOT 55039 SOS 15695 HAS SOPS 15695 HAS SOUS 8703 HAS SOUPS 8703 WITH SCORE 8718.695
AT ITER 406 NEW BEST:: SOT 55039 SOS 15671 HAS SOPS 15671 HAS SOUS 8679 HAS SOUPS 8679 WITH SCORE 8694.671
AT ITER 408 NEW BEST:: SOT 55039 SOS 15662 HAS SOPS 15662 HAS SOUS 8670 HAS SOUPS 8670 WITH SCORE 8685.662
AT ITER 433 NEW BEST:: SOT 55039 SOS 15662 HAS SOPS 15662 HAS SOUS 8656 HAS SOUPS 8656 WITH SCORE 8671.662
AT ITER 442 NEW BEST:: SOT 54993 SOS 15646 HAS SOPS 15646 HAS SOUS 8648 HAS SOUPS 8648 WITH SCORE 8663.646
AT ITER 500 NEW BEST:: SOT 54993 SOS 15635 HAS SOPS 15635 HAS SOUS 8648 HAS SOUPS 8648 WITH SCORE 8663.635
AT ITER 508 NEW BEST:: SOT 54995 SOS 15639 HAS SOPS 15639 HAS SOUS 8635 HAS SOUPS 8635 WITH SCORE 8650.639
AT ITER 511 NEW BEST:: SOT 54967 SOS 15611 HAS SOPS 15611 HAS SOUS 8571 HAS SOUPS 8571 WITH SCORE 8586.611
AT ITER 512 NEW BEST:: SOT 54960 SOS 15627 HAS SOPS 15627 HAS SOUS 8557 HAS SOUPS 8557 WITH SCORE 8572.627
AT ITER 518 NEW BEST:: SOT 54951 SOS 15609 HAS SOPS 15609 HAS SOUS 8526 HAS SOUPS 8526 WITH SCORE 8541.609
AT ITER 540 NEW BEST:: SOT 54943 SOS 15601 HAS SOPS 15601 HAS SOUS 8526 HAS SOUPS 8526 WITH SCORE 8541.601
AT ITER 545 NEW BEST:: SOT 54940 SOS 15598 HAS SOPS 15598 HAS SOUS 8523 HAS SOUPS 8523 WITH SCORE 8538.598
AT ITER 554 NEW BEST:: SOT 54821 SOS 15454 HAS SOPS 15454 HAS SOUS 8427 HAS SOUPS 8427 WITH SCORE 8442.454
AT ITER 556 NEW BEST:: SOT 54821 SOS 15444 HAS SOPS 15444 HAS SOUS 8417 HAS SOUPS 8417 WITH SCORE 8432.444
AT ITER 580 NEW BEST:: SOT 54784 SOS 15414 HAS SOPS 15414 HAS SOUS 8380 HAS SOUPS 8380 WITH SCORE 8395.414
AT ITER 585 NEW BEST:: SOT 54779 SOS 15398 HAS SOPS 15398 HAS SOUS 8364 HAS SOUPS 8364 WITH SCORE 8379.398
AT ITER 616 NEW BEST:: SOT 54779 SOS 15379 HAS SOPS 15379 HAS SOUS 8364 HAS SOUPS 8364 WITH SCORE 8379.379
AT ITER 640 NEW BEST:: SOT 54765 SOS 15365 HAS SOPS 15365 HAS SOUS 8350 HAS SOUPS 8350 WITH SCORE 8365.365
AT ITER 644 NEW BEST:: SOT 54767 SOS 15340 HAS SOPS 15340 HAS SOUS 8325 HAS SOUPS 8325 WITH SCORE 8340.34
AT ITER 652 NEW BEST:: SOT 54767 SOS 15340 HAS SOPS 15340 HAS SOUS 8318 HAS SOUPS 8318 WITH SCORE 8333.34
AT ITER 666 NEW BEST:: SOT 54774 SOS 15288 HAS SOPS 15288 HAS SOUS 8282 HAS SOUPS 8282 WITH SCORE 8297.288
AT ITER 667 NEW BEST:: SOT 54764 SOS 15278 HAS SOPS 15278 HAS SOUS 8272 HAS SOUPS 8272 WITH SCORE 8287.278
AT ITER 736 NEW BEST:: SOT 54743 SOS 15236 HAS SOPS 15236 HAS SOUS 8231 HAS SOUPS 8231 WITH SCORE 8246.236
AT ITER 743 NEW BEST:: SOT 54729 SOS 15208 HAS SOPS 15208 HAS SOUS 8203 HAS SOUPS 8203 WITH SCORE 8218.208
AT ITER 755 NEW BEST:: SOT 54724 SOS 15204 HAS SOPS 15204 HAS SOUS 8185 HAS SOUPS 8185 WITH SCORE 8200.204
AT ITER 768 NEW BEST:: SOT 54723 SOS 15202 HAS SOPS 15202 HAS SOUS 8183 HAS SOUPS 8183 WITH SCORE 8198.202
AT ITER 773 NEW BEST:: SOT 54781 SOS 15286 HAS SOPS 15286 HAS SOUS 8069 HAS SOUPS 8069 WITH SCORE 8084.286
AT ITER 776 NEW BEST:: SOT 54804 SOS 15294 HAS SOPS 15294 HAS SOUS 8054 HAS SOUPS 8054 WITH SCORE 8069.294
AT ITER 777 NEW BEST:: SOT 54797 SOS 15280 HAS SOPS 15280 HAS SOUS 8040 HAS SOUPS 8040 WITH SCORE 8055.28
AT ITER 836 NEW BEST:: SOT 54786 SOS 15240 HAS SOPS 15240 HAS SOUS 8027 HAS SOUPS 8027 WITH SCORE 8042.24
AT ITER 897 NEW BEST:: SOT 54775 SOS 15240 HAS SOPS 15240 HAS SOUS 8016 HAS SOUPS 8016 WITH SCORE 8031.24
AT ITER 949 NEW BEST:: SOT 54775 SOS 15274 HAS SOPS 15274 HAS SOUS 8001 HAS SOUPS 8001 WITH SCORE 8016.274
AT ITER 960 NEW BEST:: SOT 54775 SOS 15271 HAS SOPS 15271 HAS SOUS 7998 HAS SOUPS 7998 WITH SCORE 8013.271
AT ITER 969 NEW BEST:: SOT 54770 SOS 15266 HAS SOPS 15266 HAS SOUS 7993 HAS SOUPS 7993 WITH SCORE 8008.266
AT ITER 987 NEW BEST:: SOT 54767 SOS 15263 HAS SOPS 15263 HAS SOUS 7990 HAS SOUPS 7990 WITH SCORE 8005.263
AT ITER 996 NEW BEST:: SOT 54797 SOS 15455 HAS SOPS 15455 HAS SOUS 7988 HAS SOUPS 7988 WITH SCORE 8003.455
AT ITER 1001 NEW BEST:: SOT 54797 SOS 15455 HAS SOPS 15455 HAS SOUS 7968 HAS SOUPS 7968 WITH SCORE 7983.455
AT ITER 1012 NEW BEST:: SOT 54797 SOS 15451 HAS SOPS 15451 HAS SOUS 7964 HAS SOUPS 7964 WITH SCORE 7979.451
AT ITER 1023 NEW BEST:: SOT 54770 SOS 15397 HAS SOPS 15397 HAS SOUS 7893 HAS SOUPS 7893 WITH SCORE 7908.397
AT ITER 1058 NEW BEST:: SOT 54770 SOS 15396 HAS SOPS 15396 HAS SOUS 7892 HAS SOUPS 7892 WITH SCORE 7907.396
AT ITER 1065 NEW BEST:: SOT 54769 SOS 15394 HAS SOPS 15394 HAS SOUS 7890 HAS SOUPS 7890 WITH SCORE 7905.394
AT ITER 1067 NEW BEST:: SOT 54767 SOS 15362 HAS SOPS 15362 HAS SOUS 7865 HAS SOUPS 7865 WITH SCORE 7880.362
AT ITER 1092 NEW BEST:: SOT 54757 SOS 15332 HAS SOPS 15332 HAS SOUS 7845 HAS SOUPS 7845 WITH SCORE 7860.332
AT ITER 1105 NEW BEST:: SOT 54752 SOS 15322 HAS SOPS 15322 HAS SOUS 7835 HAS SOUPS 7835 WITH SCORE 7850.322
AT ITER 1163 NEW BEST:: SOT 54745 SOS 15308 HAS SOPS 15308 HAS SOUS 7821 HAS SOUPS 7821 WITH SCORE 7836.308
AT ITER 1170 NEW BEST:: SOT 54745 SOS 15338 HAS SOPS 15338 HAS SOUS 7820 HAS SOUPS 7820 WITH SCORE 7835.338
AT ITER 1196 NEW BEST:: SOT 54740 SOS 15333 HAS SOPS 15333 HAS SOUS 7810 HAS SOUPS 7810 WITH SCORE 7825.333
AT ITER 1204 NEW BEST:: SOT 54739 SOS 15331 HAS SOPS 15331 HAS SOUS 7808 HAS SOUPS 7808 WITH SCORE 7823.331
AT ITER 1272 NEW BEST:: SOT 54719 SOS 15364 HAS SOPS 15364 HAS SOUS 7797 HAS SOUPS 7797 WITH SCORE 7812.364
AT ITER 1283 NEW BEST:: SOT 54713 SOS 15352 HAS SOPS 15352 HAS SOUS 7785 HAS SOUPS 7785 WITH SCORE 7800.352
AT ITER 1295 NEW BEST:: SOT 54806 SOS 15434 HAS SOPS 15434 HAS SOUS 7759 HAS SOUPS 7759 WITH SCORE 7774.434
AT ITER 1302 NEW BEST:: SOT 54775 SOS 15431 HAS SOPS 15431 HAS SOUS 7756 HAS SOUPS 7756 WITH SCORE 7771.431
AT ITER 1310 NEW BEST:: SOT 54758 SOS 15412 HAS SOPS 15412 HAS SOUS 7744 HAS SOUPS 7744 WITH SCORE 7759.412
AT ITER 1333 NEW BEST:: SOT 54766 SOS 15408 HAS SOPS 15408 HAS SOUS 7728 HAS SOUPS 7728 WITH SCORE 7743.408
AT ITER 1336 NEW BEST:: SOT 54765 SOS 15406 HAS SOPS 15406 HAS SOUS 7726 HAS SOUPS 7726 WITH SCORE 7741.406
AT ITER 1352 NEW BEST:: SOT 54744 SOS 14710 HAS SOPS 14710 HAS SOUS 7712 HAS SOUPS 7712 WITH SCORE 7726.71
AT ITER 1364 NEW BEST:: SOT 54744 SOS 14678 HAS SOPS 14678 HAS SOUS 7711 HAS SOUPS 7711 WITH SCORE 7725.678
AT ITER 1407 NEW BEST:: SOT 54752 SOS 14673 HAS SOPS 14673 HAS SOUS 7706 HAS SOUPS 7706 WITH SCORE 7720.673
AT ITER 1431 NEW BEST:: SOT 54787 SOS 14723 HAS SOPS 14723 HAS SOUS 7694 HAS SOUPS 7694 WITH SCORE 7708.723
AT ITER 1440 NEW BEST:: SOT 54772 SOS 14672 HAS SOPS 14672 HAS SOUS 7665 HAS SOUPS 7665 WITH SCORE 7679.672
AT ITER 1463 NEW BEST:: SOT 54757 SOS 14504 HAS SOPS 14504 HAS SOUS 7654 HAS SOUPS 7654 WITH SCORE 7668.504
AT ITER 1495 NEW BEST:: SOT 54753 SOS 14500 HAS SOPS 14500 HAS SOUS 7634 HAS SOUPS 7634 WITH SCORE 7648.5
AT ITER 1519 NEW BEST:: SOT 54737 SOS 14468 HAS SOPS 14468 HAS SOUS 7619 HAS SOUPS 7619 WITH SCORE 7633.468
AT ITER 1537 NEW BEST:: SOT 54721 SOS 14420 HAS SOPS 14420 HAS SOUS 7587 HAS SOUPS 7587 WITH SCORE 7601.42
AT ITER 1540 NEW BEST:: SOT 54702 SOS 14358 HAS SOPS 14358 HAS SOUS 7544 HAS SOUPS 7544 WITH SCORE 7558.358
AT ITER 1583 NEW BEST:: SOT 54695 SOS 14355 HAS SOPS 14355 HAS SOUS 7537 HAS SOUPS 7537 WITH SCORE 7551.355
AT ITER 1647 NEW BEST:: SOT 54754 SOS 15687 HAS SOPS 15687 HAS SOUS 7517 HAS SOUPS 7517 WITH SCORE 7532.687
AT ITER 1669 NEW BEST:: SOT 54732 SOS 15643 HAS SOPS 15643 HAS SOUS 7498 HAS SOUPS 7498 WITH SCORE 7513.643
AT ITER 1678 NEW BEST:: SOT 54732 SOS 15642 HAS SOPS 15642 HAS SOUS 7497 HAS SOUPS 7497 WITH SCORE 7512.642
AT ITER 1696 NEW BEST:: SOT 54732 SOS 15640 HAS SOPS 15640 HAS SOUS 7497 HAS SOUPS 7497 WITH SCORE 7512.64
AT ITER 1706 NEW BEST:: SOT 54732 SOS 15629 HAS SOPS 15629 HAS SOUS 7410 HAS SOUPS 7410 WITH SCORE 7425.629
AT ITER 1715 NEW BEST:: SOT 54728 SOS 15625 HAS SOPS 15625 HAS SOUS 7403 HAS SOUPS 7403 WITH SCORE 7418.625
AT ITER 1725 NEW BEST:: SOT 54726 SOS 15623 HAS SOPS 15623 HAS SOUS 7399 HAS SOUPS 7399 WITH SCORE 7414.623
AT ITER 1736 NEW BEST:: SOT 54706 SOS 15583 HAS SOPS 15583 HAS SOUS 7359 HAS SOUPS 7359 WITH SCORE 7374.583
AT ITER 1752 NEW BEST:: SOT 54687 SOS 15609 HAS SOPS 15609 HAS SOUS 7358 HAS SOUPS 7358 WITH SCORE 7373.609
AT ITER 1760 NEW BEST:: SOT 54669 SOS 15585 HAS SOPS 15585 HAS SOUS 7334 HAS SOUPS 7334 WITH SCORE 7349.585
AT ITER 1773 NEW BEST:: SOT 54719 SOS 16174 HAS SOPS 16174 HAS SOUS 7301 HAS SOUPS 7301 WITH SCORE 7317.174
AT ITER 1809 NEW BEST:: SOT 54718 SOS 16172 HAS SOPS 16172 HAS SOUS 7300 HAS SOUPS 7300 WITH SCORE 7316.172
AT ITER 1841 NEW BEST:: SOT 54696 SOS 16128 HAS SOPS 16128 HAS SOUS 7260 HAS SOUPS 7260 WITH SCORE 7276.128
AT ITER 1851 NEW BEST:: SOT 54712 SOS 16138 HAS SOPS 16138 HAS SOUS 7254 HAS SOUPS 7254 WITH SCORE 7270.138
AT ITER 1855 NEW BEST:: SOT 54704 SOS 16130 HAS SOPS 16130 HAS SOUS 7246 HAS SOUPS 7246 WITH SCORE 7262.13
AT ITER 1883 NEW BEST:: SOT 54708 SOS 16123 HAS SOPS 16123 HAS SOUS 7239 HAS SOUPS 7239 WITH SCORE 7255.123
AT ITER 1890 NEW BEST:: SOT 54668 SOS 16076 HAS SOPS 16076 HAS SOUS 7207 HAS SOUPS 7207 WITH SCORE 7223.076
AT ITER 1893 NEW BEST:: SOT 54669 SOS 16036 HAS SOPS 16036 HAS SOUS 7196 HAS SOUPS 7196 WITH SCORE 7212.036
AT ITER 1917 NEW BEST:: SOT 54641 SOS 16019 HAS SOPS 16019 HAS SOUS 7177 HAS SOUPS 7177 WITH SCORE 7193.019
AT ITER 1963 NEW BEST:: SOT 54593 SOS 15971 HAS SOPS 15971 HAS SOUS 7129 HAS SOUPS 7129 WITH SCORE 7144.971
AT ITER 2016 NEW BEST:: SOT 54584 SOS 15953 HAS SOPS 15953 HAS SOUS 7111 HAS SOUPS 7111 WITH SCORE 7126.953
AT ITER 2035 NEW BEST:: SOT 54573 SOS 15942 HAS SOPS 15942 HAS SOUS 7100 HAS SOUPS 7100 WITH SCORE 7115.942
AT ITER 2085 NEW BEST:: SOT 54567 SOS 15941 HAS SOPS 15941 HAS SOUS 7093 HAS SOUPS 7093 WITH SCORE 7108.941
AT ITER 2104 NEW BEST:: SOT 54584 SOS 15948 HAS SOPS 15948 HAS SOUS 7088 HAS SOUPS 7088 WITH SCORE 7103.948
AT ITER 2125 NEW BEST:: SOT 54490 SOS 15841 HAS SOPS 15841 HAS SOUS 7051 HAS SOUPS 7051 WITH SCORE 7066.841
AT ITER 2181 NEW BEST:: SOT 54479 SOS 15819 HAS SOPS 15819 HAS SOUS 7029 HAS SOUPS 7029 WITH SCORE 7044.819
AT ITER 2187 NEW BEST:: SOT 54465 SOS 15467 HAS SOPS 15467 HAS SOUS 7015 HAS SOUPS 7015 WITH SCORE 7030.467
AT ITER 2213 NEW BEST:: SOT 54461 SOS 15459 HAS SOPS 15459 HAS SOUS 7007 HAS SOUPS 7007 WITH SCORE 7022.459
AT ITER 2215 NEW BEST:: SOT 54454 SOS 15445 HAS SOPS 15445 HAS SOUS 6994 HAS SOUPS 6994 WITH SCORE 7009.445
AT ITER 2236 NEW BEST:: SOT 54457 SOS 15435 HAS SOPS 15435 HAS SOUS 6985 HAS SOUPS 6985 WITH SCORE 7000.435
AT ITER 2266 NEW BEST:: SOT 54449 SOS 15421 HAS SOPS 15421 HAS SOUS 6969 HAS SOUPS 6969 WITH SCORE 6984.421
AT ITER 2270 NEW BEST:: SOT 54432 SOS 15387 HAS SOPS 15387 HAS SOUS 6916 HAS SOUPS 6916 WITH SCORE 6931.387
AT ITER 2278 NEW BEST:: SOT 54424 SOS 15371 HAS SOPS 15371 HAS SOUS 6900 HAS SOUPS 6900 WITH SCORE 6915.371
AT ITER 2294 NEW BEST:: SOT 54426 SOS 15350 HAS SOPS 15350 HAS SOUS 6879 HAS SOUPS 6879 WITH SCORE 6894.35
AT ITER 2314 NEW BEST:: SOT 54425 SOS 15348 HAS SOPS 15348 HAS SOUS 6870 HAS SOUPS 6870 WITH SCORE 6885.348
AT ITER 2350 NEW BEST:: SOT 54411 SOS 15320 HAS SOPS 15320 HAS SOUS 6842 HAS SOUPS 6842 WITH SCORE 6857.32
AT ITER 2353 NEW BEST:: SOT 54393 SOS 15284 HAS SOPS 15284 HAS SOUS 6809 HAS SOUPS 6809 WITH SCORE 6824.284
AT ITER 2368 NEW BEST:: SOT 54393 SOS 15289 HAS SOPS 15289 HAS SOUS 6769 HAS SOUPS 6769 WITH SCORE 6784.289
AT ITER 2414 NEW BEST:: SOT 54393 SOS 15288 HAS SOPS 15288 HAS SOUS 6768 HAS SOUPS 6768 WITH SCORE 6783.288
AT ITER 2426 NEW BEST:: SOT 54386 SOS 15281 HAS SOPS 15281 HAS SOUS 6761 HAS SOUPS 6761 WITH SCORE 6776.281
AT ITER 2462 NEW BEST:: SOT 54385 SOS 15272 HAS SOPS 15272 HAS SOUS 6760 HAS SOUPS 6760 WITH SCORE 6775.272
AT ITER 2464 NEW BEST:: SOT 54355 SOS 15208 HAS SOPS 15208 HAS SOUS 6755 HAS SOUPS 6755 WITH SCORE 6770.208
AT ITER 2511 NEW BEST:: SOT 54355 SOS 15202 HAS SOPS 15202 HAS SOUS 6751 HAS SOUPS 6751 WITH SCORE 6766.202
AT ITER 2576 NEW BEST:: SOT 54355 SOS 15198 HAS SOPS 15198 HAS SOUS 6751 HAS SOUPS 6751 WITH SCORE 6766.198
AT ITER 2601 NEW BEST:: SOT 54358 SOS 15176 HAS SOPS 15176 HAS SOUS 6750 HAS SOUPS 6750 WITH SCORE 6765.176
AT ITER 2685 NEW BEST:: SOT 54357 SOS 15174 HAS SOPS 15174 HAS SOUS 6748 HAS SOUPS 6748 WITH SCORE 6763.174
AT ITER 2709 NEW BEST:: SOT 54357 SOS 15174 HAS SOPS 15174 HAS SOUS 6741 HAS SOUPS 6741 WITH SCORE 6756.174
AT ITER 2716 NEW BEST:: SOT 54355 SOS 15157 HAS SOPS 15157 HAS SOUS 6726 HAS SOUPS 6726 WITH SCORE 6741.157
AT ITER 2759 NEW BEST:: SOT 54365 SOS 15156 HAS SOPS 15156 HAS SOUS 6716 HAS SOUPS 6716 WITH SCORE 6731.156
AT ITER 2784 NEW BEST:: SOT 54365 SOS 15101 HAS SOPS 15101 HAS SOUS 6716 HAS SOUPS 6716 WITH SCORE 6731.101
AT ITER 2809 NEW BEST:: SOT 54354 SOS 15050 HAS SOPS 15050 HAS SOUS 6705 HAS SOUPS 6705 WITH SCORE 6720.05
AT ITER 2822 NEW BEST:: SOT 54353 SOS 15049 HAS SOPS 15049 HAS SOUS 6703 HAS SOUPS 6703 WITH SCORE 6718.049
AT ITER 2823 NEW BEST:: SOT 54342 SOS 15027 HAS SOPS 15027 HAS SOUS 6681 HAS SOUPS 6681 WITH SCORE 6696.027
AT ITER 2834 NEW BEST:: SOT 54321 SOS 15007 HAS SOPS 15007 HAS SOUS 6660 HAS SOUPS 6660 WITH SCORE 6675.007
AT ITER 2840 NEW BEST:: SOT 54314 SOS 14993 HAS SOPS 14993 HAS SOUS 6638 HAS SOUPS 6638 WITH SCORE 6652.993
AT ITER 2844 NEW BEST:: SOT 54313 SOS 14971 HAS SOPS 14971 HAS SOUS 6638 HAS SOUPS 6638 WITH SCORE 6652.971
AT ITER 2864 NEW BEST:: SOT 54315 SOS 14965 HAS SOPS 14965 HAS SOUS 6637 HAS SOUPS 6637 WITH SCORE 6651.965
AT ITER 2872 NEW BEST:: SOT 54315 SOS 14965 HAS SOPS 14965 HAS SOUS 6630 HAS SOUPS 6630 WITH SCORE 6644.965
AT ITER 3028 NEW BEST:: SOT 54317 SOS 15143 HAS SOPS 15143 HAS SOUS 6625 HAS SOUPS 6625 WITH SCORE 6640.143
AT ITER 3073 NEW BEST:: SOT 54306 SOS 15129 HAS SOPS 15129 HAS SOUS 6625 HAS SOUPS 6625 WITH SCORE 6640.129
AT ITER 3084 NEW BEST:: SOT 54305 SOS 15127 HAS SOPS 15127 HAS SOUS 6623 HAS SOUPS 6623 WITH SCORE 6638.127
AT ITER 3139 NEW BEST:: SOT 54302 SOS 15121 HAS SOPS 15121 HAS SOUS 6617 HAS SOUPS 6617 WITH SCORE 6632.121
AT ITER 3144 NEW BEST:: SOT 54294 SOS 15111 HAS SOPS 15111 HAS SOUS 6610 HAS SOUPS 6610 WITH SCORE 6625.111
AT ITER 3149 NEW BEST:: SOT 54286 SOS 15095 HAS SOPS 15095 HAS SOUS 6594 HAS SOUPS 6594 WITH SCORE 6609.095
AT ITER 3184 NEW BEST:: SOT 54288 SOS 15096 HAS SOPS 15096 HAS SOUS 6587 HAS SOUPS 6587 WITH SCORE 6602.096
AT ITER 3187 NEW BEST:: SOT 54284 SOS 15061 HAS SOPS 15061 HAS SOUS 6568 HAS SOUPS 6568 WITH SCORE 6583.061
AT ITER 3248 NEW BEST:: SOT 54282 SOS 15132 HAS SOPS 15132 HAS SOUS 6567 HAS SOUPS 6567 WITH SCORE 6582.132
AT ITER 3249 NEW BEST:: SOT 54275 SOS 15118 HAS SOPS 15118 HAS SOUS 6556 HAS SOUPS 6556 WITH SCORE 6571.118
AT ITER 3253 NEW BEST:: SOT 54275 SOS 15118 HAS SOPS 15118 HAS SOUS 6548 HAS SOUPS 6548 WITH SCORE 6563.118
AT ITER 3387 NEW BEST:: SOT 54273 SOS 15085 HAS SOPS 15085 HAS SOUS 6547 HAS SOUPS 6547 WITH SCORE 6562.085
AT ITER 3419 NEW BEST:: SOT 54275 SOS 15076 HAS SOPS 15076 HAS SOUS 6540 HAS SOUPS 6540 WITH SCORE 6555.076
AT ITER 3449 NEW BEST:: SOT 54251 SOS 15052 HAS SOPS 15052 HAS SOUS 6516 HAS SOUPS 6516 WITH SCORE 6531.052
AT ITER 3451 NEW BEST:: SOT 54234 SOS 14960 HAS SOPS 14960 HAS SOUS 6516 HAS SOUPS 6516 WITH SCORE 6530.96
AT ITER 3471 NEW BEST:: SOT 54228 SOS 14954 HAS SOPS 14954 HAS SOUS 6510 HAS SOUPS 6510 WITH SCORE 6524.954
AT ITER 3478 NEW BEST:: SOT 54221 SOS 14858 HAS SOPS 14858 HAS SOUS 6509 HAS SOUPS 6509 WITH SCORE 6523.858
AT ITER 3507 NEW BEST:: SOT 54219 SOS 14854 HAS SOPS 14854 HAS SOUS 6505 HAS SOUPS 6505 WITH SCORE 6519.854
AT ITER 3514 NEW BEST:: SOT 54245 SOS 14896 HAS SOPS 14896 HAS SOUS 6491 HAS SOUPS 6491 WITH SCORE 6505.896
AT ITER 3527 NEW BEST:: SOT 54235 SOS 14876 HAS SOPS 14876 HAS SOUS 6471 HAS SOUPS 6471 WITH SCORE 6485.876
AT ITER 3538 NEW BEST:: SOT 54215 SOS 14836 HAS SOPS 14836 HAS SOUS 6439 HAS SOUPS 6439 WITH SCORE 6453.836
AT ITER 3558 NEW BEST:: SOT 54214 SOS 14834 HAS SOPS 14834 HAS SOUS 6437 HAS SOUPS 6437 WITH SCORE 6451.834
AT ITER 3566 NEW BEST:: SOT 54214 SOS 14825 HAS SOPS 14825 HAS SOUS 6437 HAS SOUPS 6437 WITH SCORE 6451.825
AT ITER 3568 NEW BEST:: SOT 54213 SOS 14825 HAS SOPS 14825 HAS SOUS 6436 HAS SOUPS 6436 WITH SCORE 6450.825
AT ITER 3602 NEW BEST:: SOT 54212 SOS 14823 HAS SOPS 14823 HAS SOUS 6434 HAS SOUPS 6434 WITH SCORE 6448.823
AT ITER 3722 NEW BEST:: SOT 54214 SOS 14821 HAS SOPS 14821 HAS SOUS 6434 HAS SOUPS 6434 WITH SCORE 6448.821
AT ITER 3734 NEW BEST:: SOT 54209 SOS 14811 HAS SOPS 14811 HAS SOUS 6413 HAS SOUPS 6413 WITH SCORE 6427.811
AT ITER 3828 NEW BEST:: SOT 54204 SOS 14796 HAS SOPS 14796 HAS SOUS 6408 HAS SOUPS 6408 WITH SCORE 6422.796
AT ITER 3857 NEW BEST:: SOT 54200 SOS 14778 HAS SOPS 14778 HAS SOUS 6390 HAS SOUPS 6390 WITH SCORE 6404.778
AT ITER 3900 NEW BEST:: SOT 54200 SOS 14774 HAS SOPS 14774 HAS SOUS 6386 HAS SOUPS 6386 WITH SCORE 6400.774
AT ITER 3910 NEW BEST:: SOT 54205 SOS 14779 HAS SOPS 14779 HAS SOUS 6364 HAS SOUPS 6364 WITH SCORE 6378.779
AT ITER 4041 NEW BEST:: SOT 54204 SOS 14777 HAS SOPS 14777 HAS SOUS 6362 HAS SOUPS 6362 WITH SCORE 6376.777
AT ITER 4105 NEW BEST:: SOT 54200 SOS 14773 HAS SOPS 14773 HAS SOUS 6362 HAS SOUPS 6362 WITH SCORE 6376.773
AT ITER 4114 NEW BEST:: SOT 54199 SOS 14771 HAS SOPS 14771 HAS SOUS 6360 HAS SOUPS 6360 WITH SCORE 6374.771
AT ITER 4150 NEW BEST:: SOT 54194 SOS 14807 HAS SOPS 14807 HAS SOUS 6359 HAS SOUPS 6359 WITH SCORE 6373.807
AT ITER 4213 NEW BEST:: SOT 54193 SOS 14805 HAS SOPS 14805 HAS SOUS 6357 HAS SOUPS 6357 WITH SCORE 6371.805
AT ITER 4298 NEW BEST:: SOT 54180 SOS 14745 HAS SOPS 14745 HAS SOUS 6324 HAS SOUPS 6324 WITH SCORE 6338.745
AT ITER 4315 NEW BEST:: SOT 54170 SOS 14734 HAS SOPS 14734 HAS SOUS 6313 HAS SOUPS 6313 WITH SCORE 6327.734
AT ITER 4363 NEW BEST:: SOT 54164 SOS 14728 HAS SOPS 14728 HAS SOUS 6307 HAS SOUPS 6307 WITH SCORE 6321.728
AT ITER 4366 NEW BEST:: SOT 54170 SOS 14734 HAS SOPS 14734 HAS SOUS 6285 HAS SOUPS 6285 WITH SCORE 6299.734
AT ITER 4444 NEW BEST:: SOT 54166 SOS 14728 HAS SOPS 14728 HAS SOUS 6279 HAS SOUPS 6279 WITH SCORE 6293.728
AT ITER 4447 NEW BEST:: SOT 54166 SOS 14727 HAS SOPS 14727 HAS SOUS 6278 HAS SOUPS 6278 WITH SCORE 6292.727
AT ITER 4467 NEW BEST:: SOT 54166 SOS 14727 HAS SOPS 14727 HAS SOUS 6276 HAS SOUPS 6276 WITH SCORE 6290.727
AT ITER 4549 NEW BEST:: SOT 54184 SOS 14717 HAS SOPS 14717 HAS SOUS 6271 HAS SOUPS 6271 WITH SCORE 6285.717
AT ITER 4631 NEW BEST:: SOT 54185 SOS 14719 HAS SOPS 14719 HAS SOUS 6266 HAS SOUPS 6266 WITH SCORE 6280.719
AT ITER 4646 NEW BEST:: SOT 54185 SOS 14719 HAS SOPS 14719 HAS SOUS 6250 HAS SOUPS 6250 WITH SCORE 6264.719
AT ITER 4675 NEW BEST:: SOT 54164 SOS 14698 HAS SOPS 14698 HAS SOUS 6232 HAS SOUPS 6232 WITH SCORE 6246.698
AT ITER 4740 NEW BEST:: SOT 54161 SOS 14336 HAS SOPS 14336 HAS SOUS 6226 HAS SOUPS 6226 WITH SCORE 6240.336
AT ITER 4753 NEW BEST:: SOT 54143 SOS 14300 HAS SOPS 14300 HAS SOUS 6191 HAS SOUPS 6191 WITH SCORE 6205.3
AT ITER 4816 NEW BEST:: SOT 54166 SOS 14294 HAS SOPS 14294 HAS SOUS 6180 HAS SOUPS 6180 WITH SCORE 6194.294
AT ITER 4831 NEW BEST:: SOT 54185 SOS 14292 HAS SOPS 14292 HAS SOUS 6180 HAS SOUPS 6180 WITH SCORE 6194.292
AT ITER 4854 NEW BEST:: SOT 54183 SOS 14288 HAS SOPS 14288 HAS SOUS 6176 HAS SOUPS 6176 WITH SCORE 6190.288
AT ITER 4910 NEW BEST:: SOT 54187 SOS 14278 HAS SOPS 14278 HAS SOUS 6174 HAS SOUPS 6174 WITH SCORE 6188.278
AT ITER 4945 NEW BEST:: SOT 54179 SOS 14272 HAS SOPS 14272 HAS SOUS 6168 HAS SOUPS 6168 WITH SCORE 6182.272
AT ITER 4948 NEW BEST:: SOT 54176 SOS 14266 HAS SOPS 14266 HAS SOUS 6160 HAS SOUPS 6160 WITH SCORE 6174.266
AT ITER 4962 NEW BEST:: SOT 54171 SOS 14262 HAS SOPS 14262 HAS SOUS 6158 HAS SOUPS 6158 WITH SCORE 6172.262
AT ITER 4966 NEW BEST:: SOT 54170 SOS 14270 HAS SOPS 14270 HAS SOUS 6157 HAS SOUPS 6157 WITH SCORE 6171.27
AT ITER 5061 NEW BEST:: SOT 54168 SOS 14268 HAS SOPS 14268 HAS SOUS 6155 HAS SOUPS 6155 WITH SCORE 6169.268
AT ITER 5104 NEW BEST:: SOT 54169 SOS 14248 HAS SOPS 14248 HAS SOUS 6145 HAS SOUPS 6145 WITH SCORE 6159.248
AT ITER 5141 NEW BEST:: SOT 54154 SOS 14342 HAS SOPS 14342 HAS SOUS 6134 HAS SOUPS 6134 WITH SCORE 6148.342
AT ITER 5165 NEW BEST:: SOT 54152 SOS 14338 HAS SOPS 14338 HAS SOUS 6130 HAS SOUPS 6130 WITH SCORE 6144.338
AT ITER 5170 NEW BEST:: SOT 54151 SOS 14339 HAS SOPS 14339 HAS SOUS 6129 HAS SOUPS 6129 WITH SCORE 6143.339
AT ITER 5177 NEW BEST:: SOT 54151 SOS 14339 HAS SOPS 14339 HAS SOUS 6128 HAS SOUPS 6128 WITH SCORE 6142.339
AT ITER 5201 NEW BEST:: SOT 54149 SOS 14335 HAS SOPS 14335 HAS SOUS 6124 HAS SOUPS 6124 WITH SCORE 6138.335
AT ITER 5290 NEW BEST:: SOT 54148 SOS 14333 HAS SOPS 14333 HAS SOUS 6123 HAS SOUPS 6123 WITH SCORE 6137.333
AT ITER 5296 NEW BEST:: SOT 54147 SOS 14329 HAS SOPS 14329 HAS SOUS 6119 HAS SOUPS 6119 WITH SCORE 6133.329
AT ITER 5300 NEW BEST:: SOT 54123 SOS 14300 HAS SOPS 14300 HAS SOUS 6109 HAS SOUPS 6109 WITH SCORE 6123.3
AT ITER 5322 NEW BEST:: SOT 54124 SOS 14292 HAS SOPS 14292 HAS SOUS 6109 HAS SOUPS 6109 WITH SCORE 6123.292
AT ITER 5341 NEW BEST:: SOT 54123 SOS 14289 HAS SOPS 14289 HAS SOUS 6107 HAS SOUPS 6107 WITH SCORE 6121.289
AT ITER 5381 NEW BEST:: SOT 54118 SOS 14279 HAS SOPS 14279 HAS SOUS 6099 HAS SOUPS 6099 WITH SCORE 6113.279
AT ITER 5482 NEW BEST:: SOT 54116 SOS 14277 HAS SOPS 14277 HAS SOUS 6097 HAS SOUPS 6097 WITH SCORE 6111.277
AT ITER 5521 NEW BEST:: SOT 54114 SOS 14277 HAS SOPS 14277 HAS SOUS 6095 HAS SOUPS 6095 WITH SCORE 6109.277
AT ITER 5590 NEW BEST:: SOT 54114 SOS 14277 HAS SOPS 14277 HAS SOUS 6093 HAS SOUPS 6093 WITH SCORE 6107.277
AT ITER 5610 NEW BEST:: SOT 54112 SOS 14273 HAS SOPS 14273 HAS SOUS 6087 HAS SOUPS 6087 WITH SCORE 6101.273
AT ITER 5624 NEW BEST:: SOT 54112 SOS 14259 HAS SOPS 14259 HAS SOUS 6087 HAS SOUPS 6087 WITH SCORE 6101.259
AT ITER 5761 NEW BEST:: SOT 54111 SOS 14258 HAS SOPS 14258 HAS SOUS 6085 HAS SOUPS 6085 WITH SCORE 6099.258
AT ITER 5788 NEW BEST:: SOT 54108 SOS 14252 HAS SOPS 14252 HAS SOUS 6079 HAS SOUPS 6079 WITH SCORE 6093.252
AT ITER 5842 NEW BEST:: SOT 54111 SOS 14251 HAS SOPS 14251 HAS SOUS 6078 HAS SOUPS 6078 WITH SCORE 6092.251
AT ITER 5855 NEW BEST:: SOT 54110 SOS 14249 HAS SOPS 14249 HAS SOUS 6076 HAS SOUPS 6076 WITH SCORE 6090.249
AT ITER 5880 NEW BEST:: SOT 54108 SOS 14270 HAS SOPS 14270 HAS SOUS 6072 HAS SOUPS 6072 WITH SCORE 6086.27
AT ITER 5885 NEW BEST:: SOT 54106 SOS 14251 HAS SOPS 14251 HAS SOUS 6068 HAS SOUPS 6068 WITH SCORE 6082.251
AT ITER 5919 NEW BEST:: SOT 54106 SOS 14243 HAS SOPS 14243 HAS SOUS 6060 HAS SOUPS 6060 WITH SCORE 6074.243
AT ITER 5927 NEW BEST:: SOT 54105 SOS 14243 HAS SOPS 14243 HAS SOUS 6055 HAS SOUPS 6055 WITH SCORE 6069.243
AT ITER 5990 NEW BEST:: SOT 54097 SOS 14237 HAS SOPS 14237 HAS SOUS 6051 HAS SOUPS 6051 WITH SCORE 6065.237
AT ITER 6008 NEW BEST:: SOT 54097 SOS 14233 HAS SOPS 14233 HAS SOUS 6051 HAS SOUPS 6051 WITH SCORE 6065.233
AT ITER 6134 NEW BEST:: SOT 54093 SOS 14225 HAS SOPS 14225 HAS SOUS 6043 HAS SOUPS 6043 WITH SCORE 6057.225
AT ITER 6180 NEW BEST:: SOT 54093 SOS 14221 HAS SOPS 14221 HAS SOUS 6043 HAS SOUPS 6043 WITH SCORE 6057.221
AT ITER 6237 NEW BEST:: SOT 54082 SOS 14199 HAS SOPS 14199 HAS SOUS 6021 HAS SOUPS 6021 WITH SCORE 6035.199
AT ITER 6261 NEW BEST:: SOT 54082 SOS 14199 HAS SOPS 14199 HAS SOUS 6018 HAS SOUPS 6018 WITH SCORE 6032.199
AT ITER 6428 NEW BEST:: SOT 54086 SOS 14185 HAS SOPS 14185 HAS SOUS 6018 HAS SOUPS 6018 WITH SCORE 6032.185
AT ITER 6459 NEW BEST:: SOT 54100 SOS 14073 HAS SOPS 14073 HAS SOUS 6017 HAS SOUPS 6017 WITH SCORE 6031.073
AT ITER 6477 NEW BEST:: SOT 54078 SOS 13305 HAS SOPS 13305 HAS SOUS 6011 HAS SOUPS 6011 WITH SCORE 6024.305
AT ITER 6494 NEW BEST:: SOT 54078 SOS 13049 HAS SOPS 13049 HAS SOUS 6009 HAS SOUPS 6009 WITH SCORE 6022.049
AT ITER 6504 NEW BEST:: SOT 54076 SOS 13041 HAS SOPS 13041 HAS SOUS 6007 HAS SOUPS 6007 WITH SCORE 6020.041
AT ITER 6612 NEW BEST:: SOT 54064 SOS 13017 HAS SOPS 13017 HAS SOUS 5983 HAS SOUPS 5983 WITH SCORE 5996.017
AT ITER 6642 NEW BEST:: SOT 54066 SOS 13027 HAS SOPS 13027 HAS SOUS 5982 HAS SOUPS 5982 WITH SCORE 5995.027
AT ITER 6707 NEW BEST:: SOT 54066 SOS 13020 HAS SOPS 13020 HAS SOUS 5975 HAS SOUPS 5975 WITH SCORE 5988.02
AT ITER 6725 NEW BEST:: SOT 54066 SOS 13014 HAS SOPS 13014 HAS SOUS 5969 HAS SOUPS 5969 WITH SCORE 5982.014
AT ITER 6785 NEW BEST:: SOT 54065 SOS 12990 HAS SOPS 12990 HAS SOUS 5967 HAS SOUPS 5967 WITH SCORE 5979.99
AT ITER 6792 NEW BEST:: SOT 54065 SOS 12990 HAS SOPS 12990 HAS SOUS 5953 HAS SOUPS 5953 WITH SCORE 5965.99
AT ITER 6882 NEW BEST:: SOT 54065 SOS 12980 HAS SOPS 12980 HAS SOUS 5943 HAS SOUPS 5943 WITH SCORE 5955.98
AT ITER 6962 NEW BEST:: SOT 54065 SOS 12962 HAS SOPS 12962 HAS SOUS 5931 HAS SOUPS 5931 WITH SCORE 5943.962
AT ITER 7092 NEW BEST:: SOT 54065 SOS 12950 HAS SOPS 12950 HAS SOUS 5929 HAS SOUPS 5929 WITH SCORE 5941.95
AT ITER 7113 NEW BEST:: SOT 54065 SOS 12950 HAS SOPS 12950 HAS SOUS 5928 HAS SOUPS 5928 WITH SCORE 5940.95
AT ITER 7273 NEW BEST:: SOT 54066 SOS 12952 HAS SOPS 12952 HAS SOUS 5915 HAS SOUPS 5915 WITH SCORE 5927.952
AT ITER 7366 NEW BEST:: SOT 54063 SOS 12950 HAS SOPS 12950 HAS SOUS 5912 HAS SOUPS 5912 WITH SCORE 5924.95
AT ITER 7381 NEW BEST:: SOT 54063 SOS 12947 HAS SOPS 12947 HAS SOUS 5909 HAS SOUPS 5909 WITH SCORE 5921.947
AT ITER 7391 NEW BEST:: SOT 54063 SOS 12941 HAS SOPS 12941 HAS SOUS 5903 HAS SOUPS 5903 WITH SCORE 5915.941
AT ITER 7440 NEW BEST:: SOT 54068 SOS 12944 HAS SOPS 12944 HAS SOUS 5900 HAS SOUPS 5900 WITH SCORE 5912.944
AT ITER 7451 NEW BEST:: SOT 54064 SOS 12936 HAS SOPS 12936 HAS SOUS 5892 HAS SOUPS 5892 WITH SCORE 5904.936
AT ITER 7492 NEW BEST:: SOT 54064 SOS 12931 HAS SOPS 12931 HAS SOUS 5892 HAS SOUPS 5892 WITH SCORE 5904.931
AT ITER 7493 NEW BEST:: SOT 54064 SOS 12927 HAS SOPS 12927 HAS SOUS 5890 HAS SOUPS 5890 WITH SCORE 5902.927
AT ITER 7525 NEW BEST:: SOT 54053 SOS 12905 HAS SOPS 12905 HAS SOUS 5868 HAS SOUPS 5868 WITH SCORE 5880.905
AT ITER 7539 NEW BEST:: SOT 54053 SOS 12894 HAS SOPS 12894 HAS SOUS 5868 HAS SOUPS 5868 WITH SCORE 5880.894
AT ITER 7583 NEW BEST:: SOT 54053 SOS 12888 HAS SOPS 12888 HAS SOUS 5864 HAS SOUPS 5864 WITH SCORE 5876.888
AT ITER 7587 NEW BEST:: SOT 54052 SOS 12886 HAS SOPS 12886 HAS SOUS 5862 HAS SOUPS 5862 WITH SCORE 5874.886
AT ITER 7601 NEW BEST:: SOT 54050 SOS 12882 HAS SOPS 12882 HAS SOUS 5858 HAS SOUPS 5858 WITH SCORE 5870.882
AT ITER 7641 NEW BEST:: SOT 54045 SOS 12872 HAS SOPS 12872 HAS SOUS 5848 HAS SOUPS 5848 WITH SCORE 5860.872
AT ITER 7657 NEW BEST:: SOT 54041 SOS 12864 HAS SOPS 12864 HAS SOUS 5840 HAS SOUPS 5840 WITH SCORE 5852.864
AT ITER 7698 NEW BEST:: SOT 54042 SOS 12862 HAS SOPS 12862 HAS SOUS 5838 HAS SOUPS 5838 WITH SCORE 5850.862
AT ITER 7727 NEW BEST:: SOT 54031 SOS 12856 HAS SOPS 12856 HAS SOUS 5832 HAS SOUPS 5832 WITH SCORE 5844.856
AT ITER 7739 NEW BEST:: SOT 54018 SOS 12830 HAS SOPS 12830 HAS SOUS 5804 HAS SOUPS 5804 WITH SCORE 5816.83
AT ITER 7834 NEW BEST:: SOT 54017 SOS 12828 HAS SOPS 12828 HAS SOUS 5803 HAS SOUPS 5803 WITH SCORE 5815.828
AT ITER 7873 NEW BEST:: SOT 54000 SOS 12794 HAS SOPS 12794 HAS SOUS 5774 HAS SOUPS 5774 WITH SCORE 5786.794
AT ITER 7993 NEW BEST:: SOT 54000 SOS 12805 HAS SOPS 12805 HAS SOUS 5763 HAS SOUPS 5763 WITH SCORE 5775.805
AT ITER 8040 NEW BEST:: SOT 54000 SOS 12805 HAS SOPS 12805 HAS SOUS 5760 HAS SOUPS 5760 WITH SCORE 5772.805
AT ITER 8071 NEW BEST:: SOT 53999 SOS 12804 HAS SOPS 12804 HAS SOUS 5759 HAS SOUPS 5759 WITH SCORE 5771.804
AT ITER 8083 NEW BEST:: SOT 54013 SOS 12830 HAS SOPS 12830 HAS SOUS 5734 HAS SOUPS 5734 WITH SCORE 5746.83
AT ITER 8142 NEW BEST:: SOT 54008 SOS 12820 HAS SOPS 12820 HAS SOUS 5724 HAS SOUPS 5724 WITH SCORE 5736.82
AT ITER 8189 NEW BEST:: SOT 54007 SOS 12818 HAS SOPS 12818 HAS SOUS 5722 HAS SOUPS 5722 WITH SCORE 5734.818
AT ITER 8250 NEW BEST:: SOT 54020 SOS 12789 HAS SOPS 12789 HAS SOUS 5718 HAS SOUPS 5718 WITH SCORE 5730.789
AT ITER 8269 NEW BEST:: SOT 54021 SOS 12791 HAS SOPS 12791 HAS SOUS 5709 HAS SOUPS 5709 WITH SCORE 5721.791
AT ITER 8273 NEW BEST:: SOT 54014 SOS 12783 HAS SOPS 12783 HAS SOUS 5701 HAS SOUPS 5701 WITH SCORE 5713.783
AT ITER 8307 NEW BEST:: SOT 54006 SOS 12760 HAS SOPS 12760 HAS SOUS 5685 HAS SOUPS 5685 WITH SCORE 5697.76
AT ITER 8382 NEW BEST:: SOT 54002 SOS 12758 HAS SOPS 12758 HAS SOUS 5682 HAS SOUPS 5682 WITH SCORE 5694.758
AT ITER 8406 NEW BEST:: SOT 54001 SOS 12757 HAS SOPS 12757 HAS SOUS 5681 HAS SOUPS 5681 WITH SCORE 5693.757
AT ITER 8476 NEW BEST:: SOT 54001 SOS 12759 HAS SOPS 12759 HAS SOUS 5667 HAS SOUPS 5667 WITH SCORE 5679.759
AT ITER 8481 NEW BEST:: SOT 53993 SOS 12751 HAS SOPS 12751 HAS SOUS 5651 HAS SOUPS 5651 WITH SCORE 5663.751
AT ITER 8511 NEW BEST:: SOT 53988 SOS 12741 HAS SOPS 12741 HAS SOUS 5641 HAS SOUPS 5641 WITH SCORE 5653.741
AT ITER 8627 NEW BEST:: SOT 53990 SOS 12745 HAS SOPS 12745 HAS SOUS 5640 HAS SOUPS 5640 WITH SCORE 5652.745
AT ITER 8851 NEW BEST:: SOT 53988 SOS 12741 HAS SOPS 12741 HAS SOUS 5636 HAS SOUPS 5636 WITH SCORE 5648.741
AT ITER 8877 NEW BEST:: SOT 53972 SOS 12725 HAS SOPS 12725 HAS SOUS 5620 HAS SOUPS 5620 WITH SCORE 5632.725
AT ITER 8931 NEW BEST:: SOT 53974 SOS 12724 HAS SOPS 12724 HAS SOUS 5620 HAS SOUPS 5620 WITH SCORE 5632.724
AT ITER 8987 NEW BEST:: SOT 53974 SOS 12704 HAS SOPS 12704 HAS SOUS 5600 HAS SOUPS 5600 WITH SCORE 5612.704
AT ITER 8994 NEW BEST:: SOT 53971 SOS 12704 HAS SOPS 12704 HAS SOUS 5594 HAS SOUPS 5594 WITH SCORE 5606.704
AT ITER 9023 NEW BEST:: SOT 53959 SOS 12692 HAS SOPS 12692 HAS SOUS 5582 HAS SOUPS 5582 WITH SCORE 5594.692
AT ITER 9043 NEW BEST:: SOT 53957 SOS 12689 HAS SOPS 12689 HAS SOUS 5579 HAS SOUPS 5579 WITH SCORE 5591.689
AT ITER 9092 NEW BEST:: SOT 53954 SOS 12686 HAS SOPS 12686 HAS SOUS 5576 HAS SOUPS 5576 WITH SCORE 5588.686
AT ITER 9138 NEW BEST:: SOT 53953 SOS 12684 HAS SOPS 12684 HAS SOUS 5574 HAS SOUPS 5574 WITH SCORE 5586.684
AT ITER 9203 NEW BEST:: SOT 53948 SOS 12676 HAS SOPS 12676 HAS SOUS 5561 HAS SOUPS 5561 WITH SCORE 5573.676
AT ITER 9244 NEW BEST:: SOT 53947 SOS 12674 HAS SOPS 12674 HAS SOUS 5559 HAS SOUPS 5559 WITH SCORE 5571.674
AT ITER 9252 NEW BEST:: SOT 53948 SOS 12676 HAS SOPS 12676 HAS SOUS 5555 HAS SOUPS 5555 WITH SCORE 5567.676
AT ITER 9254 NEW BEST:: SOT 53947 SOS 12674 HAS SOPS 12674 HAS SOUS 5553 HAS SOUPS 5553 WITH SCORE 5565.674
AT ITER 9329 NEW BEST:: SOT 53947 SOS 12678 HAS SOPS 12678 HAS SOUS 5552 HAS SOUPS 5552 WITH SCORE 5564.678
AT ITER 9342 NEW BEST:: SOT 53943 SOS 12674 HAS SOPS 12674 HAS SOUS 5548 HAS SOUPS 5548 WITH SCORE 5560.674
AT ITER 9381 NEW BEST:: SOT 53943 SOS 12664 HAS SOPS 12664 HAS SOUS 5548 HAS SOUPS 5548 WITH SCORE 5560.664
AT ITER 9438 NEW BEST:: SOT 53935 SOS 12657 HAS SOPS 12657 HAS SOUS 5541 HAS SOUPS 5541 WITH SCORE 5553.657
AT ITER 9630 NEW BEST:: SOT 53935 SOS 12655 HAS SOPS 12655 HAS SOUS 5539 HAS SOUPS 5539 WITH SCORE 5551.655
AT ITER 9637 NEW BEST:: SOT 53935 SOS 12655 HAS SOPS 12655 HAS SOUS 5537 HAS SOUPS 5537 WITH SCORE 5549.655
AT ITER 9763 NEW BEST:: SOT 53931 SOS 12652 HAS SOPS 12652 HAS SOUS 5534 HAS SOUPS 5534 WITH SCORE 5546.652
AT ITER 9990 NEW BEST:: SOT 53924 SOS 12624 HAS SOPS 12624 HAS SOUS 5512 HAS SOUPS 5512 WITH SCORE 5524.624
STATE_SPACE STATES 4906165480 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 9 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 36541083971 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678740329696

--------------------
content from stderr:

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="AutonomousCar-PT-04b"
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-04b, 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-167813600400592"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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