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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 544K
-rw-r--r-- 1 mcc users 7.0K Feb 26 11:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 26 11:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.1K Feb 26 11:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 83K Feb 26 11:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 15:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 15:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 26 11:29 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 142K Feb 26 11:29 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.7K Feb 26 11:26 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 73K Feb 26 11:26 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_pt
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 46K 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 1678730824320

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=AirplaneLD-COL-0050
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 18:07:07] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 18:07:07] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 18:07:07] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-13 18:07:08] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-13 18:07:08] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 758 ms
[2023-03-13 18:07:08] [INFO ] Detected 3 constant HL places corresponding to 152 PT places.
[2023-03-13 18:07:08] [INFO ] Imported 20 HL places and 15 HL transitions for a total of 369 PT places and 612.0 transition bindings in 64 ms.
[2023-03-13 18:07:08] [INFO ] Unfolded HLPN to a Petri net with 369 places and 408 transitions 1145 arcs in 65 ms.
[2023-03-13 18:07:08] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-13 18:07:08] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 369 places, 408 transitions and 1145 arcs took 6 ms.
Total runtime 1031 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AirplaneLD (COL), instance 0050
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: 369 places, 408 transitions, 1145 arcs.
AT ITER 0 NEW BEST:: SOT 55943 SOS 41577 HAS SOPS 41577 HAS SOUS 12869 HAS SOUPS 12869 WITH SCORE 12910.577
AT ITER 280 NEW BEST:: SOT 55914 SOS 42242 HAS SOPS 42242 HAS SOUS 12840 HAS SOUPS 12840 WITH SCORE 12882.242
AT ITER 301 NEW BEST:: SOT 55805 SOS 41995 HAS SOPS 41995 HAS SOUS 12840 HAS SOUPS 12840 WITH SCORE 12881.995
AT ITER 392 NEW BEST:: SOT 55799 SOS 41977 HAS SOPS 41977 HAS SOUS 12840 HAS SOUPS 12840 WITH SCORE 12881.977
AT ITER 431 NEW BEST:: SOT 55854 SOS 41783 HAS SOPS 41783 HAS SOUS 12770 HAS SOUPS 12770 WITH SCORE 12811.783
AT ITER 719 NEW BEST:: SOT 56087 SOS 41936 HAS SOPS 41936 HAS SOUS 12739 HAS SOUPS 12739 WITH SCORE 12780.936
AT ITER 758 NEW BEST:: SOT 56244 SOS 42093 HAS SOPS 42093 HAS SOUS 12698 HAS SOUPS 12698 WITH SCORE 12740.093
AT ITER 773 NEW BEST:: SOT 56485 SOS 42334 HAS SOPS 42334 HAS SOUS 12679 HAS SOUPS 12679 WITH SCORE 12721.334
AT ITER 780 NEW BEST:: SOT 56520 SOS 42362 HAS SOPS 42362 HAS SOUS 12655 HAS SOUPS 12655 WITH SCORE 12697.362
AT ITER 782 NEW BEST:: SOT 56632 SOS 42474 HAS SOPS 42474 HAS SOUS 12573 HAS SOUPS 12573 WITH SCORE 12615.474
AT ITER 804 NEW BEST:: SOT 56948 SOS 42790 HAS SOPS 42790 HAS SOUS 12547 HAS SOUPS 12547 WITH SCORE 12589.79
AT ITER 817 NEW BEST:: SOT 57081 SOS 42923 HAS SOPS 42923 HAS SOUS 12535 HAS SOUPS 12535 WITH SCORE 12577.923
AT ITER 818 NEW BEST:: SOT 57401 SOS 43243 HAS SOPS 43243 HAS SOUS 12457 HAS SOUPS 12457 WITH SCORE 12500.243
AT ITER 824 NEW BEST:: SOT 57554 SOS 43396 HAS SOPS 43396 HAS SOUS 12360 HAS SOUPS 12360 WITH SCORE 12403.396
AT ITER 826 NEW BEST:: SOT 57782 SOS 43624 HAS SOPS 43624 HAS SOUS 12234 HAS SOUPS 12234 WITH SCORE 12277.624
AT ITER 829 NEW BEST:: SOT 58035 SOS 43877 HAS SOPS 43877 HAS SOUS 12188 HAS SOUPS 12188 WITH SCORE 12231.877
AT ITER 830 NEW BEST:: SOT 58295 SOS 44137 HAS SOPS 44137 HAS SOUS 12092 HAS SOUPS 12092 WITH SCORE 12136.137
AT ITER 835 NEW BEST:: SOT 58585 SOS 44427 HAS SOPS 44427 HAS SOUS 12000 HAS SOUPS 12000 WITH SCORE 12044.427
AT ITER 852 NEW BEST:: SOT 58584 SOS 44426 HAS SOPS 44426 HAS SOUS 11999 HAS SOUPS 11999 WITH SCORE 12043.426
AT ITER 861 NEW BEST:: SOT 58840 SOS 44682 HAS SOPS 44682 HAS SOUS 11883 HAS SOUPS 11883 WITH SCORE 11927.682
AT ITER 864 NEW BEST:: SOT 59118 SOS 44960 HAS SOPS 44960 HAS SOUS 11799 HAS SOUPS 11799 WITH SCORE 11843.96
AT ITER 873 NEW BEST:: SOT 59160 SOS 45002 HAS SOPS 45002 HAS SOUS 11795 HAS SOUPS 11795 WITH SCORE 11840.002
AT ITER 887 NEW BEST:: SOT 59290 SOS 45132 HAS SOPS 45132 HAS SOUS 11685 HAS SOUPS 11685 WITH SCORE 11730.132
AT ITER 888 NEW BEST:: SOT 59698 SOS 45540 HAS SOPS 45540 HAS SOUS 11672 HAS SOUPS 11672 WITH SCORE 11717.54
AT ITER 890 NEW BEST:: SOT 59847 SOS 45689 HAS SOPS 45689 HAS SOUS 11549 HAS SOUPS 11549 WITH SCORE 11594.689
AT ITER 898 NEW BEST:: SOT 60139 SOS 45981 HAS SOPS 45981 HAS SOUS 11469 HAS SOUPS 11469 WITH SCORE 11514.981
AT ITER 934 NEW BEST:: SOT 60298 SOS 46140 HAS SOPS 46140 HAS SOUS 11392 HAS SOUPS 11392 WITH SCORE 11438.14
AT ITER 939 NEW BEST:: SOT 60286 SOS 46128 HAS SOPS 46128 HAS SOUS 11380 HAS SOUPS 11380 WITH SCORE 11426.128
AT ITER 942 NEW BEST:: SOT 60264 SOS 46106 HAS SOPS 46106 HAS SOUS 11374 HAS SOUPS 11374 WITH SCORE 11420.106
AT ITER 946 NEW BEST:: SOT 60477 SOS 46319 HAS SOPS 46319 HAS SOUS 11255 HAS SOUPS 11255 WITH SCORE 11301.319
AT ITER 952 NEW BEST:: SOT 60609 SOS 46451 HAS SOPS 46451 HAS SOUS 11177 HAS SOUPS 11177 WITH SCORE 11223.451
AT ITER 958 NEW BEST:: SOT 60836 SOS 46678 HAS SOPS 46678 HAS SOUS 11098 HAS SOUPS 11098 WITH SCORE 11144.678
AT ITER 962 NEW BEST:: SOT 61237 SOS 47079 HAS SOPS 47079 HAS SOUS 11007 HAS SOUPS 11007 WITH SCORE 11054.079
AT ITER 973 NEW BEST:: SOT 61604 SOS 47446 HAS SOPS 47446 HAS SOUS 10942 HAS SOUPS 10942 WITH SCORE 10989.446
AT ITER 984 NEW BEST:: SOT 61844 SOS 47686 HAS SOPS 47686 HAS SOUS 10822 HAS SOUPS 10822 WITH SCORE 10869.686
AT ITER 995 NEW BEST:: SOT 62000 SOS 47842 HAS SOPS 47842 HAS SOUS 10708 HAS SOUPS 10708 WITH SCORE 10755.842
AT ITER 999 NEW BEST:: SOT 61840 SOS 47712 HAS SOPS 47712 HAS SOUS 10532 HAS SOUPS 10532 WITH SCORE 10579.712
AT ITER 1001 NEW BEST:: SOT 61864 SOS 47736 HAS SOPS 47736 HAS SOUS 10508 HAS SOUPS 10508 WITH SCORE 10555.736
AT ITER 1004 NEW BEST:: SOT 62013 SOS 47885 HAS SOPS 47885 HAS SOUS 10425 HAS SOUPS 10425 WITH SCORE 10472.885
AT ITER 1012 NEW BEST:: SOT 61952 SOS 44833 HAS SOPS 44833 HAS SOUS 10425 HAS SOUPS 10425 WITH SCORE 10469.833
AT ITER 1019 NEW BEST:: SOT 62233 SOS 45114 HAS SOPS 45114 HAS SOUS 10360 HAS SOUPS 10360 WITH SCORE 10405.114
AT ITER 1049 NEW BEST:: SOT 62091 SOS 44972 HAS SOPS 44972 HAS SOUS 10360 HAS SOUPS 10360 WITH SCORE 10404.972
AT ITER 1052 NEW BEST:: SOT 61987 SOS 44868 HAS SOPS 44868 HAS SOUS 10360 HAS SOUPS 10360 WITH SCORE 10404.868
AT ITER 1059 NEW BEST:: SOT 61951 SOS 44832 HAS SOPS 44832 HAS SOUS 10360 HAS SOUPS 10360 WITH SCORE 10404.832
AT ITER 1074 NEW BEST:: SOT 62293 SOS 45174 HAS SOPS 45174 HAS SOUS 10248 HAS SOUPS 10248 WITH SCORE 10293.174
AT ITER 1078 NEW BEST:: SOT 62432 SOS 45274 HAS SOPS 45274 HAS SOUS 10226 HAS SOUPS 10226 WITH SCORE 10271.274
AT ITER 1089 NEW BEST:: SOT 62693 SOS 45535 HAS SOPS 45535 HAS SOUS 10153 HAS SOUPS 10153 WITH SCORE 10198.535
AT ITER 1093 NEW BEST:: SOT 63000 SOS 45842 HAS SOPS 45842 HAS SOUS 10084 HAS SOUPS 10084 WITH SCORE 10129.842
AT ITER 1103 NEW BEST:: SOT 62983 SOS 45825 HAS SOPS 45825 HAS SOUS 10067 HAS SOUPS 10067 WITH SCORE 10112.825
AT ITER 1129 NEW BEST:: SOT 62984 SOS 45826 HAS SOPS 45826 HAS SOUS 10066 HAS SOUPS 10066 WITH SCORE 10111.826
AT ITER 1133 NEW BEST:: SOT 63266 SOS 46108 HAS SOPS 46108 HAS SOUS 9944 HAS SOUPS 9944 WITH SCORE 9990.108
AT ITER 1136 NEW BEST:: SOT 63538 SOS 46380 HAS SOPS 46380 HAS SOUS 9872 HAS SOUPS 9872 WITH SCORE 9918.38
AT ITER 1144 NEW BEST:: SOT 63440 SOS 46282 HAS SOPS 46282 HAS SOUS 9872 HAS SOUPS 9872 WITH SCORE 9918.282
AT ITER 1149 NEW BEST:: SOT 63467 SOS 46309 HAS SOPS 46309 HAS SOUS 9871 HAS SOUPS 9871 WITH SCORE 9917.309
AT ITER 1151 NEW BEST:: SOT 63784 SOS 46626 HAS SOPS 46626 HAS SOUS 9810 HAS SOUPS 9810 WITH SCORE 9856.626
AT ITER 1167 NEW BEST:: SOT 63911 SOS 46712 HAS SOPS 46712 HAS SOUS 9747 HAS SOUPS 9747 WITH SCORE 9793.712
AT ITER 1169 NEW BEST:: SOT 63980 SOS 46781 HAS SOPS 46781 HAS SOUS 9743 HAS SOUPS 9743 WITH SCORE 9789.781
AT ITER 1210 NEW BEST:: SOT 64122 SOS 46893 HAS SOPS 46893 HAS SOUS 9714 HAS SOUPS 9714 WITH SCORE 9760.893
AT ITER 1228 NEW BEST:: SOT 64108 SOS 46879 HAS SOPS 46879 HAS SOUS 9714 HAS SOUPS 9714 WITH SCORE 9760.879
AT ITER 1250 NEW BEST:: SOT 64384 SOS 47155 HAS SOPS 47155 HAS SOUS 9590 HAS SOUPS 9590 WITH SCORE 9637.155
AT ITER 1251 NEW BEST:: SOT 63711 SOS 52270 HAS SOPS 52270 HAS SOUS 8917 HAS SOUPS 8917 WITH SCORE 8969.27
AT ITER 1255 NEW BEST:: SOT 63691 SOS 52250 HAS SOPS 52250 HAS SOUS 8917 HAS SOUPS 8917 WITH SCORE 8969.25
AT ITER 1264 NEW BEST:: SOT 63635 SOS 52194 HAS SOPS 52194 HAS SOUS 8917 HAS SOUPS 8917 WITH SCORE 8969.194
AT ITER 1265 NEW BEST:: SOT 63810 SOS 52369 HAS SOPS 52369 HAS SOUS 8892 HAS SOUPS 8892 WITH SCORE 8944.369
AT ITER 1278 NEW BEST:: SOT 62527 SOS 51274 HAS SOPS 51274 HAS SOUS 7703 HAS SOUPS 7703 WITH SCORE 7754.274
AT ITER 1289 NEW BEST:: SOT 62890 SOS 51637 HAS SOPS 51637 HAS SOUS 7628 HAS SOUPS 7628 WITH SCORE 7679.637
AT ITER 1302 NEW BEST:: SOT 62971 SOS 51718 HAS SOPS 51718 HAS SOUS 7605 HAS SOUPS 7605 WITH SCORE 7656.718
AT ITER 1306 NEW BEST:: SOT 63397 SOS 52144 HAS SOPS 52144 HAS SOUS 7527 HAS SOUPS 7527 WITH SCORE 7579.144
AT ITER 1320 NEW BEST:: SOT 63550 SOS 52262 HAS SOPS 52262 HAS SOUS 7479 HAS SOUPS 7479 WITH SCORE 7531.262
AT ITER 1323 NEW BEST:: SOT 63550 SOS 52235 HAS SOPS 52235 HAS SOUS 7479 HAS SOUPS 7479 WITH SCORE 7531.235
AT ITER 1332 NEW BEST:: SOT 63771 SOS 52456 HAS SOPS 52456 HAS SOUS 7390 HAS SOUPS 7390 WITH SCORE 7442.456
AT ITER 1337 NEW BEST:: SOT 63906 SOS 52591 HAS SOPS 52591 HAS SOUS 7371 HAS SOUPS 7371 WITH SCORE 7423.591
AT ITER 1349 NEW BEST:: SOT 63782 SOS 52467 HAS SOPS 52467 HAS SOUS 7371 HAS SOUPS 7371 WITH SCORE 7423.467
AT ITER 1353 NEW BEST:: SOT 63901 SOS 52586 HAS SOPS 52586 HAS SOUS 7358 HAS SOUPS 7358 WITH SCORE 7410.586
AT ITER 1366 NEW BEST:: SOT 63899 SOS 52584 HAS SOPS 52584 HAS SOUS 7356 HAS SOUPS 7356 WITH SCORE 7408.584
AT ITER 1376 NEW BEST:: SOT 63970 SOS 52655 HAS SOPS 52655 HAS SOUS 7335 HAS SOUPS 7335 WITH SCORE 7387.655
AT ITER 1383 NEW BEST:: SOT 63884 SOS 52569 HAS SOPS 52569 HAS SOUS 7335 HAS SOUPS 7335 WITH SCORE 7387.569
AT ITER 1402 NEW BEST:: SOT 64197 SOS 52882 HAS SOPS 52882 HAS SOUS 7268 HAS SOUPS 7268 WITH SCORE 7320.882
AT ITER 1436 NEW BEST:: SOT 64559 SOS 53244 HAS SOPS 53244 HAS SOUS 7178 HAS SOUPS 7178 WITH SCORE 7231.244
AT ITER 1444 NEW BEST:: SOT 64704 SOS 53340 HAS SOPS 53340 HAS SOUS 7107 HAS SOUPS 7107 WITH SCORE 7160.34
AT ITER 1453 NEW BEST:: SOT 62237 SOS 51691 HAS SOPS 51691 HAS SOUS 4496 HAS SOUPS 4496 WITH SCORE 4547.691
AT ITER 1456 NEW BEST:: SOT 62021 SOS 51475 HAS SOPS 51475 HAS SOUS 4496 HAS SOUPS 4496 WITH SCORE 4547.475
AT ITER 1465 NEW BEST:: SOT 62550 SOS 52004 HAS SOPS 52004 HAS SOUS 4481 HAS SOUPS 4481 WITH SCORE 4533.004
AT ITER 1469 NEW BEST:: SOT 62488 SOS 51942 HAS SOPS 51942 HAS SOUS 4481 HAS SOUPS 4481 WITH SCORE 4532.942
AT ITER 1478 NEW BEST:: SOT 62432 SOS 51886 HAS SOPS 51886 HAS SOUS 4481 HAS SOUPS 4481 WITH SCORE 4532.886
AT ITER 1481 NEW BEST:: SOT 62428 SOS 51878 HAS SOPS 51878 HAS SOUS 4472 HAS SOUPS 4472 WITH SCORE 4523.878
AT ITER 1483 NEW BEST:: SOT 62214 SOS 51664 HAS SOPS 51664 HAS SOUS 4472 HAS SOUPS 4472 WITH SCORE 4523.664
AT ITER 1485 NEW BEST:: SOT 62058 SOS 51508 HAS SOPS 51508 HAS SOUS 4472 HAS SOUPS 4472 WITH SCORE 4523.508
AT ITER 1491 NEW BEST:: SOT 61862 SOS 51312 HAS SOPS 51312 HAS SOUS 4463 HAS SOUPS 4463 WITH SCORE 4514.312
AT ITER 1512 NEW BEST:: SOT 61706 SOS 51156 HAS SOPS 51156 HAS SOUS 4463 HAS SOUPS 4463 WITH SCORE 4514.156
AT ITER 1522 NEW BEST:: SOT 61442 SOS 50892 HAS SOPS 50892 HAS SOUS 4463 HAS SOUPS 4463 WITH SCORE 4513.892
AT ITER 1529 NEW BEST:: SOT 61382 SOS 50832 HAS SOPS 50832 HAS SOUS 4463 HAS SOUPS 4463 WITH SCORE 4513.832
AT ITER 1538 NEW BEST:: SOT 61417 SOS 50832 HAS SOPS 50832 HAS SOUS 4428 HAS SOUPS 4428 WITH SCORE 4478.832
AT ITER 1539 NEW BEST:: SOT 61359 SOS 50774 HAS SOPS 50774 HAS SOUS 4428 HAS SOUPS 4428 WITH SCORE 4478.774
AT ITER 1540 NEW BEST:: SOT 60985 SOS 50400 HAS SOPS 50400 HAS SOUS 4428 HAS SOUPS 4428 WITH SCORE 4478.4
AT ITER 1559 NEW BEST:: SOT 60620 SOS 53690 HAS SOPS 53690 HAS SOUS 4048 HAS SOUPS 4048 WITH SCORE 4101.69
AT ITER 1619 NEW BEST:: SOT 60808 SOS 53878 HAS SOPS 53878 HAS SOUS 3996 HAS SOUPS 3996 WITH SCORE 4049.878
AT ITER 1647 NEW BEST:: SOT 60760 SOS 53830 HAS SOPS 53830 HAS SOUS 3996 HAS SOUPS 3996 WITH SCORE 4049.83
AT ITER 1657 NEW BEST:: SOT 60714 SOS 53784 HAS SOPS 53784 HAS SOUS 3996 HAS SOUPS 3996 WITH SCORE 4049.784
AT ITER 1673 NEW BEST:: SOT 60536 SOS 53606 HAS SOPS 53606 HAS SOUS 3984 HAS SOUPS 3984 WITH SCORE 4037.606
AT ITER 1696 NEW BEST:: SOT 60410 SOS 53480 HAS SOPS 53480 HAS SOUS 3984 HAS SOUPS 3984 WITH SCORE 4037.48
AT ITER 1697 NEW BEST:: SOT 60260 SOS 53180 HAS SOPS 53180 HAS SOUS 3909 HAS SOUPS 3909 WITH SCORE 3962.18
AT ITER 1727 NEW BEST:: SOT 60390 SOS 53310 HAS SOPS 53310 HAS SOUS 3863 HAS SOUPS 3863 WITH SCORE 3916.31
AT ITER 1739 NEW BEST:: SOT 60387 SOS 53307 HAS SOPS 53307 HAS SOUS 3860 HAS SOUPS 3860 WITH SCORE 3913.307
AT ITER 1747 NEW BEST:: SOT 60508 SOS 53426 HAS SOPS 53426 HAS SOUS 3803 HAS SOUPS 3803 WITH SCORE 3856.426
AT ITER 1780 NEW BEST:: SOT 60474 SOS 53392 HAS SOPS 53392 HAS SOUS 3803 HAS SOUPS 3803 WITH SCORE 3856.392
AT ITER 1789 NEW BEST:: SOT 60364 SOS 53282 HAS SOPS 53282 HAS SOUS 3803 HAS SOUPS 3803 WITH SCORE 3856.282
AT ITER 1791 NEW BEST:: SOT 60308 SOS 53226 HAS SOPS 53226 HAS SOUS 3803 HAS SOUPS 3803 WITH SCORE 3856.226
AT ITER 1804 NEW BEST:: SOT 60300 SOS 53210 HAS SOPS 53210 HAS SOUS 3799 HAS SOUPS 3799 WITH SCORE 3852.21
AT ITER 1812 NEW BEST:: SOT 60565 SOS 53475 HAS SOPS 53475 HAS SOUS 3782 HAS SOUPS 3782 WITH SCORE 3835.475
AT ITER 1830 NEW BEST:: SOT 60696 SOS 53606 HAS SOPS 53606 HAS SOUS 3731 HAS SOUPS 3731 WITH SCORE 3784.606
AT ITER 1838 NEW BEST:: SOT 60808 SOS 53718 HAS SOPS 53718 HAS SOUS 3677 HAS SOUPS 3677 WITH SCORE 3730.718
AT ITER 1847 NEW BEST:: SOT 60564 SOS 53474 HAS SOPS 53474 HAS SOUS 3677 HAS SOUPS 3677 WITH SCORE 3730.474
AT ITER 1879 NEW BEST:: SOT 60454 SOS 53364 HAS SOPS 53364 HAS SOUS 3677 HAS SOUPS 3677 WITH SCORE 3730.364
AT ITER 1890 NEW BEST:: SOT 60440 SOS 53350 HAS SOPS 53350 HAS SOUS 3677 HAS SOUPS 3677 WITH SCORE 3730.35
AT ITER 1894 NEW BEST:: SOT 60388 SOS 53298 HAS SOPS 53298 HAS SOUS 3677 HAS SOUPS 3677 WITH SCORE 3730.298
AT ITER 1896 NEW BEST:: SOT 60413 SOS 53323 HAS SOPS 53323 HAS SOUS 3652 HAS SOUPS 3652 WITH SCORE 3705.323
AT ITER 1902 NEW BEST:: SOT 60784 SOS 53694 HAS SOPS 53694 HAS SOUS 3639 HAS SOUPS 3639 WITH SCORE 3692.694
AT ITER 1903 NEW BEST:: SOT 61143 SOS 54053 HAS SOPS 54053 HAS SOUS 3622 HAS SOUPS 3622 WITH SCORE 3676.053
AT ITER 1933 NEW BEST:: SOT 61077 SOS 53987 HAS SOPS 53987 HAS SOUS 3622 HAS SOUPS 3622 WITH SCORE 3675.987
AT ITER 1935 NEW BEST:: SOT 61069 SOS 53971 HAS SOPS 53971 HAS SOUS 3621 HAS SOUPS 3621 WITH SCORE 3674.971
AT ITER 1946 NEW BEST:: SOT 61086 SOS 53988 HAS SOPS 53988 HAS SOUS 3604 HAS SOUPS 3604 WITH SCORE 3657.988
AT ITER 1955 NEW BEST:: SOT 61078 SOS 53980 HAS SOPS 53980 HAS SOUS 3604 HAS SOUPS 3604 WITH SCORE 3657.98
AT ITER 1965 NEW BEST:: SOT 60674 SOS 53576 HAS SOPS 53576 HAS SOUS 3604 HAS SOUPS 3604 WITH SCORE 3657.576
AT ITER 1983 NEW BEST:: SOT 60580 SOS 53482 HAS SOPS 53482 HAS SOUS 3604 HAS SOUPS 3604 WITH SCORE 3657.482
AT ITER 1991 NEW BEST:: SOT 60574 SOS 53476 HAS SOPS 53476 HAS SOUS 3598 HAS SOUPS 3598 WITH SCORE 3651.476
AT ITER 2001 NEW BEST:: SOT 60553 SOS 51355 HAS SOPS 51355 HAS SOUS 3577 HAS SOUPS 3577 WITH SCORE 3628.355
AT ITER 2005 NEW BEST:: SOT 60514 SOS 51317 HAS SOPS 51317 HAS SOUS 3539 HAS SOUPS 3539 WITH SCORE 3590.317
AT ITER 2009 NEW BEST:: SOT 60516 SOS 51319 HAS SOPS 51319 HAS SOUS 3537 HAS SOUPS 3537 WITH SCORE 3588.319
AT ITER 2010 NEW BEST:: SOT 60482 SOS 51285 HAS SOPS 51285 HAS SOUS 3537 HAS SOUPS 3537 WITH SCORE 3588.285
AT ITER 2011 NEW BEST:: SOT 60476 SOS 51279 HAS SOPS 51279 HAS SOUS 3537 HAS SOUPS 3537 WITH SCORE 3588.279
AT ITER 2025 NEW BEST:: SOT 60366 SOS 51169 HAS SOPS 51169 HAS SOUS 3537 HAS SOUPS 3537 WITH SCORE 3588.169
AT ITER 2028 NEW BEST:: SOT 60344 SOS 51147 HAS SOPS 51147 HAS SOUS 3537 HAS SOUPS 3537 WITH SCORE 3588.147
AT ITER 2029 NEW BEST:: SOT 60324 SOS 51127 HAS SOPS 51127 HAS SOUS 3537 HAS SOUPS 3537 WITH SCORE 3588.127
AT ITER 2056 NEW BEST:: SOT 60326 SOS 51131 HAS SOPS 51131 HAS SOUS 3535 HAS SOUPS 3535 WITH SCORE 3586.131
AT ITER 2063 NEW BEST:: SOT 60326 SOS 50467 HAS SOPS 50467 HAS SOUS 3517 HAS SOUPS 3517 WITH SCORE 3567.467
AT ITER 2085 NEW BEST:: SOT 60268 SOS 50409 HAS SOPS 50409 HAS SOUS 3517 HAS SOUPS 3517 WITH SCORE 3567.409
AT ITER 2090 NEW BEST:: SOT 60204 SOS 50345 HAS SOPS 50345 HAS SOUS 3517 HAS SOUPS 3517 WITH SCORE 3567.345
AT ITER 2091 NEW BEST:: SOT 60168 SOS 50309 HAS SOPS 50309 HAS SOUS 3481 HAS SOUPS 3481 WITH SCORE 3531.309
AT ITER 2094 NEW BEST:: SOT 60024 SOS 50165 HAS SOPS 50165 HAS SOUS 3481 HAS SOUPS 3481 WITH SCORE 3531.165
AT ITER 2153 NEW BEST:: SOT 60016 SOS 50157 HAS SOPS 50157 HAS SOUS 3481 HAS SOUPS 3481 WITH SCORE 3531.157
AT ITER 2160 NEW BEST:: SOT 60118 SOS 50259 HAS SOPS 50259 HAS SOUS 3479 HAS SOUPS 3479 WITH SCORE 3529.259
AT ITER 2192 NEW BEST:: SOT 60070 SOS 50211 HAS SOPS 50211 HAS SOUS 3479 HAS SOUPS 3479 WITH SCORE 3529.211
AT ITER 2201 NEW BEST:: SOT 60077 SOS 50211 HAS SOPS 50211 HAS SOUS 3472 HAS SOUPS 3472 WITH SCORE 3522.211
AT ITER 2204 NEW BEST:: SOT 60053 SOS 50187 HAS SOPS 50187 HAS SOUS 3472 HAS SOUPS 3472 WITH SCORE 3522.187
AT ITER 2208 NEW BEST:: SOT 60178 SOS 50305 HAS SOPS 50305 HAS SOUS 3419 HAS SOUPS 3419 WITH SCORE 3469.305
AT ITER 2209 NEW BEST:: SOT 59972 SOS 50099 HAS SOPS 50099 HAS SOUS 3419 HAS SOUPS 3419 WITH SCORE 3469.099
AT ITER 2284 NEW BEST:: SOT 60145 SOS 50272 HAS SOPS 50272 HAS SOUS 3416 HAS SOUPS 3416 WITH SCORE 3466.272
AT ITER 2364 NEW BEST:: SOT 60517 SOS 50644 HAS SOPS 50644 HAS SOUS 3410 HAS SOUPS 3410 WITH SCORE 3460.644
AT ITER 2395 NEW BEST:: SOT 60532 SOS 50655 HAS SOPS 50655 HAS SOUS 3395 HAS SOUPS 3395 WITH SCORE 3445.655
AT ITER 2413 NEW BEST:: SOT 60420 SOS 50543 HAS SOPS 50543 HAS SOUS 3384 HAS SOUPS 3384 WITH SCORE 3434.543
AT ITER 2433 NEW BEST:: SOT 60442 SOS 50565 HAS SOPS 50565 HAS SOUS 3362 HAS SOUPS 3362 WITH SCORE 3412.565
AT ITER 2450 NEW BEST:: SOT 60449 SOS 50572 HAS SOPS 50572 HAS SOUS 3355 HAS SOUPS 3355 WITH SCORE 3405.572
AT ITER 2453 NEW BEST:: SOT 60407 SOS 50530 HAS SOPS 50530 HAS SOUS 3334 HAS SOUPS 3334 WITH SCORE 3384.53
AT ITER 2488 NEW BEST:: SOT 60103 SOS 50226 HAS SOPS 50226 HAS SOUS 3334 HAS SOUPS 3334 WITH SCORE 3384.226
AT ITER 2492 NEW BEST:: SOT 60087 SOS 50210 HAS SOPS 50210 HAS SOUS 3334 HAS SOUPS 3334 WITH SCORE 3384.21
AT ITER 2526 NEW BEST:: SOT 60211 SOS 50334 HAS SOPS 50334 HAS SOUS 3330 HAS SOUPS 3330 WITH SCORE 3380.334
AT ITER 2545 NEW BEST:: SOT 60163 SOS 50286 HAS SOPS 50286 HAS SOUS 3330 HAS SOUPS 3330 WITH SCORE 3380.286
AT ITER 2550 NEW BEST:: SOT 60493 SOS 50616 HAS SOPS 50616 HAS SOUS 3304 HAS SOUPS 3304 WITH SCORE 3354.616
AT ITER 2599 NEW BEST:: SOT 59801 SOS 52825 HAS SOPS 52825 HAS SOUS 2726 HAS SOUPS 2726 WITH SCORE 2778.825
AT ITER 2613 NEW BEST:: SOT 59669 SOS 52693 HAS SOPS 52693 HAS SOUS 2715 HAS SOUPS 2715 WITH SCORE 2767.693
AT ITER 2617 NEW BEST:: SOT 59589 SOS 52613 HAS SOPS 52613 HAS SOUS 2715 HAS SOUPS 2715 WITH SCORE 2767.613
AT ITER 2630 NEW BEST:: SOT 59581 SOS 52605 HAS SOPS 52605 HAS SOUS 2715 HAS SOUPS 2715 WITH SCORE 2767.605
AT ITER 2713 NEW BEST:: SOT 59547 SOS 52571 HAS SOPS 52571 HAS SOUS 2715 HAS SOUPS 2715 WITH SCORE 2767.571
AT ITER 2716 NEW BEST:: SOT 59499 SOS 52523 HAS SOPS 52523 HAS SOUS 2715 HAS SOUPS 2715 WITH SCORE 2767.523
AT ITER 2725 NEW BEST:: SOT 59407 SOS 52431 HAS SOPS 52431 HAS SOUS 2715 HAS SOUPS 2715 WITH SCORE 2767.431
AT ITER 2738 NEW BEST:: SOT 59259 SOS 52283 HAS SOPS 52283 HAS SOUS 2715 HAS SOUPS 2715 WITH SCORE 2767.283
AT ITER 2796 NEW BEST:: SOT 59223 SOS 52247 HAS SOPS 52247 HAS SOUS 2715 HAS SOUPS 2715 WITH SCORE 2767.247
AT ITER 2845 NEW BEST:: SOT 58945 SOS 51969 HAS SOPS 51969 HAS SOUS 2715 HAS SOUPS 2715 WITH SCORE 2766.969
AT ITER 2863 NEW BEST:: SOT 58913 SOS 51937 HAS SOPS 51937 HAS SOUS 2715 HAS SOUPS 2715 WITH SCORE 2766.937
AT ITER 2896 NEW BEST:: SOT 58775 SOS 51799 HAS SOPS 51799 HAS SOUS 2683 HAS SOUPS 2683 WITH SCORE 2734.799
AT ITER 2915 NEW BEST:: SOT 58647 SOS 51671 HAS SOPS 51671 HAS SOUS 2683 HAS SOUPS 2683 WITH SCORE 2734.671
AT ITER 2921 NEW BEST:: SOT 58509 SOS 51533 HAS SOPS 51533 HAS SOUS 2683 HAS SOUPS 2683 WITH SCORE 2734.533
AT ITER 2959 NEW BEST:: SOT 58385 SOS 51409 HAS SOPS 51409 HAS SOUS 2683 HAS SOUPS 2683 WITH SCORE 2734.409
AT ITER 3002 NEW BEST:: SOT 58271 SOS 51295 HAS SOPS 51295 HAS SOUS 2673 HAS SOUPS 2673 WITH SCORE 2724.295
AT ITER 3009 NEW BEST:: SOT 58257 SOS 51281 HAS SOPS 51281 HAS SOUS 2670 HAS SOUPS 2670 WITH SCORE 2721.281
AT ITER 3012 NEW BEST:: SOT 58680 SOS 51702 HAS SOPS 51702 HAS SOUS 2643 HAS SOUPS 2643 WITH SCORE 2694.702
AT ITER 3033 NEW BEST:: SOT 58668 SOS 51690 HAS SOPS 51690 HAS SOUS 2643 HAS SOUPS 2643 WITH SCORE 2694.69
AT ITER 3068 NEW BEST:: SOT 58342 SOS 51364 HAS SOPS 51364 HAS SOUS 2643 HAS SOUPS 2643 WITH SCORE 2694.364
AT ITER 3087 NEW BEST:: SOT 58234 SOS 51256 HAS SOPS 51256 HAS SOUS 2643 HAS SOUPS 2643 WITH SCORE 2694.256
AT ITER 3173 NEW BEST:: SOT 57986 SOS 51008 HAS SOPS 51008 HAS SOUS 2643 HAS SOUPS 2643 WITH SCORE 2694.008
AT ITER 3178 NEW BEST:: SOT 57972 SOS 50994 HAS SOPS 50994 HAS SOUS 2643 HAS SOUPS 2643 WITH SCORE 2693.994
AT ITER 3212 NEW BEST:: SOT 57886 SOS 50908 HAS SOPS 50908 HAS SOUS 2639 HAS SOUPS 2639 WITH SCORE 2689.908
AT ITER 3271 NEW BEST:: SOT 57804 SOS 50826 HAS SOPS 50826 HAS SOUS 2639 HAS SOUPS 2639 WITH SCORE 2689.826
AT ITER 3280 NEW BEST:: SOT 57804 SOS 50826 HAS SOPS 50826 HAS SOUS 2623 HAS SOUPS 2623 WITH SCORE 2673.826
AT ITER 3316 NEW BEST:: SOT 57426 SOS 50448 HAS SOPS 50448 HAS SOUS 2620 HAS SOUPS 2620 WITH SCORE 2670.448
AT ITER 3414 NEW BEST:: SOT 57412 SOS 50434 HAS SOPS 50434 HAS SOUS 2620 HAS SOUPS 2620 WITH SCORE 2670.434
AT ITER 3458 NEW BEST:: SOT 57086 SOS 50108 HAS SOPS 50108 HAS SOUS 2620 HAS SOUPS 2620 WITH SCORE 2670.108
AT ITER 3477 NEW BEST:: SOT 57060 SOS 50056 HAS SOPS 50056 HAS SOUS 2607 HAS SOUPS 2607 WITH SCORE 2657.056
AT ITER 3512 NEW BEST:: SOT 57060 SOS 50056 HAS SOPS 50056 HAS SOUS 2595 HAS SOUPS 2595 WITH SCORE 2645.056
AT ITER 3517 NEW BEST:: SOT 56994 SOS 49990 HAS SOPS 49990 HAS SOUS 2595 HAS SOUPS 2595 WITH SCORE 2644.99
AT ITER 3518 NEW BEST:: SOT 56924 SOS 49920 HAS SOPS 49920 HAS SOUS 2595 HAS SOUPS 2595 WITH SCORE 2644.92
AT ITER 3534 NEW BEST:: SOT 56740 SOS 49736 HAS SOPS 49736 HAS SOUS 2595 HAS SOUPS 2595 WITH SCORE 2644.736
AT ITER 3540 NEW BEST:: SOT 56540 SOS 49536 HAS SOPS 49536 HAS SOUS 2595 HAS SOUPS 2595 WITH SCORE 2644.536
AT ITER 3568 NEW BEST:: SOT 56540 SOS 49536 HAS SOPS 49536 HAS SOUS 2593 HAS SOUPS 2593 WITH SCORE 2642.536
AT ITER 3617 NEW BEST:: SOT 56540 SOS 48736 HAS SOPS 48736 HAS SOUS 2585 HAS SOUPS 2585 WITH SCORE 2633.736
AT ITER 3619 NEW BEST:: SOT 56296 SOS 48492 HAS SOPS 48492 HAS SOUS 2585 HAS SOUPS 2585 WITH SCORE 2633.492
AT ITER 3643 NEW BEST:: SOT 55880 SOS 48076 HAS SOPS 48076 HAS SOUS 2580 HAS SOUPS 2580 WITH SCORE 2628.076
AT ITER 3695 NEW BEST:: SOT 55880 SOS 48076 HAS SOPS 48076 HAS SOUS 2568 HAS SOUPS 2568 WITH SCORE 2616.076
AT ITER 3726 NEW BEST:: SOT 55796 SOS 47992 HAS SOPS 47992 HAS SOUS 2568 HAS SOUPS 2568 WITH SCORE 2615.992
AT ITER 3743 NEW BEST:: SOT 55773 SOS 47937 HAS SOPS 47937 HAS SOUS 2561 HAS SOUPS 2561 WITH SCORE 2608.937
AT ITER 3751 NEW BEST:: SOT 55747 SOS 47911 HAS SOPS 47911 HAS SOUS 2561 HAS SOUPS 2561 WITH SCORE 2608.911
AT ITER 3827 NEW BEST:: SOT 55633 SOS 47797 HAS SOPS 47797 HAS SOUS 2561 HAS SOUPS 2561 WITH SCORE 2608.797
AT ITER 3866 NEW BEST:: SOT 55403 SOS 47567 HAS SOPS 47567 HAS SOUS 2556 HAS SOUPS 2556 WITH SCORE 2603.567
AT ITER 3903 NEW BEST:: SOT 55402 SOS 47566 HAS SOPS 47566 HAS SOUS 2556 HAS SOUPS 2556 WITH SCORE 2603.566
AT ITER 3912 NEW BEST:: SOT 55388 SOS 47552 HAS SOPS 47552 HAS SOUS 2556 HAS SOUPS 2556 WITH SCORE 2603.552
AT ITER 3964 NEW BEST:: SOT 55340 SOS 46304 HAS SOPS 46304 HAS SOUS 2532 HAS SOUPS 2532 WITH SCORE 2578.304
AT ITER 4033 NEW BEST:: SOT 55312 SOS 46276 HAS SOPS 46276 HAS SOUS 2532 HAS SOUPS 2532 WITH SCORE 2578.276
AT ITER 4038 NEW BEST:: SOT 55266 SOS 46230 HAS SOPS 46230 HAS SOUS 2532 HAS SOUPS 2532 WITH SCORE 2578.23
AT ITER 4067 NEW BEST:: SOT 55228 SOS 46192 HAS SOPS 46192 HAS SOUS 2532 HAS SOUPS 2532 WITH SCORE 2578.192
AT ITER 4159 NEW BEST:: SOT 55092 SOS 46056 HAS SOPS 46056 HAS SOUS 2532 HAS SOUPS 2532 WITH SCORE 2578.056
AT ITER 4174 NEW BEST:: SOT 55008 SOS 45972 HAS SOPS 45972 HAS SOUS 2532 HAS SOUPS 2532 WITH SCORE 2577.972
AT ITER 4193 NEW BEST:: SOT 54910 SOS 45874 HAS SOPS 45874 HAS SOUS 2528 HAS SOUPS 2528 WITH SCORE 2573.874
AT ITER 4197 NEW BEST:: SOT 54894 SOS 45858 HAS SOPS 45858 HAS SOUS 2528 HAS SOUPS 2528 WITH SCORE 2573.858
AT ITER 4257 NEW BEST:: SOT 54848 SOS 45812 HAS SOPS 45812 HAS SOUS 2528 HAS SOUPS 2528 WITH SCORE 2573.812
AT ITER 4275 NEW BEST:: SOT 54648 SOS 45612 HAS SOPS 45612 HAS SOUS 2528 HAS SOUPS 2528 WITH SCORE 2573.612
AT ITER 4357 NEW BEST:: SOT 54616 SOS 45580 HAS SOPS 45580 HAS SOUS 2528 HAS SOUPS 2528 WITH SCORE 2573.58
AT ITER 4367 NEW BEST:: SOT 54616 SOS 45580 HAS SOPS 45580 HAS SOUS 2520 HAS SOUPS 2520 WITH SCORE 2565.58
AT ITER 4391 NEW BEST:: SOT 54520 SOS 45484 HAS SOPS 45484 HAS SOUS 2520 HAS SOUPS 2520 WITH SCORE 2565.484
AT ITER 4392 NEW BEST:: SOT 54492 SOS 45456 HAS SOPS 45456 HAS SOUS 2520 HAS SOUPS 2520 WITH SCORE 2565.456
AT ITER 4407 NEW BEST:: SOT 54436 SOS 45400 HAS SOPS 45400 HAS SOUS 2520 HAS SOUPS 2520 WITH SCORE 2565.4
AT ITER 4420 NEW BEST:: SOT 54354 SOS 45318 HAS SOPS 45318 HAS SOUS 2520 HAS SOUPS 2520 WITH SCORE 2565.318
AT ITER 4490 NEW BEST:: SOT 54354 SOS 45318 HAS SOPS 45318 HAS SOUS 2499 HAS SOUPS 2499 WITH SCORE 2544.318
AT ITER 4506 NEW BEST:: SOT 54369 SOS 43548 HAS SOPS 43548 HAS SOUS 2496 HAS SOUPS 2496 WITH SCORE 2539.548
AT ITER 4523 NEW BEST:: SOT 54367 SOS 43546 HAS SOPS 43546 HAS SOUS 2496 HAS SOUPS 2496 WITH SCORE 2539.546
AT ITER 4553 NEW BEST:: SOT 54297 SOS 43476 HAS SOPS 43476 HAS SOUS 2496 HAS SOUPS 2496 WITH SCORE 2539.476
AT ITER 4575 NEW BEST:: SOT 54155 SOS 43334 HAS SOPS 43334 HAS SOUS 2496 HAS SOUPS 2496 WITH SCORE 2539.334
AT ITER 4579 NEW BEST:: SOT 54155 SOS 43334 HAS SOPS 43334 HAS SOUS 2495 HAS SOUPS 2495 WITH SCORE 2538.334
AT ITER 4725 NEW BEST:: SOT 54055 SOS 43234 HAS SOPS 43234 HAS SOUS 2495 HAS SOUPS 2495 WITH SCORE 2538.234
AT ITER 4750 NEW BEST:: SOT 54015 SOS 43194 HAS SOPS 43194 HAS SOUS 2495 HAS SOUPS 2495 WITH SCORE 2538.194
AT ITER 4752 NEW BEST:: SOT 53987 SOS 43166 HAS SOPS 43166 HAS SOUS 2495 HAS SOUPS 2495 WITH SCORE 2538.166
AT ITER 4825 NEW BEST:: SOT 53977 SOS 43156 HAS SOPS 43156 HAS SOUS 2495 HAS SOUPS 2495 WITH SCORE 2538.156
AT ITER 4843 NEW BEST:: SOT 53974 SOS 43153 HAS SOPS 43153 HAS SOUS 2492 HAS SOUPS 2492 WITH SCORE 2535.153
AT ITER 4868 NEW BEST:: SOT 53822 SOS 43001 HAS SOPS 43001 HAS SOUS 2492 HAS SOUPS 2492 WITH SCORE 2535.001
AT ITER 4918 NEW BEST:: SOT 53822 SOS 43001 HAS SOPS 43001 HAS SOUS 2490 HAS SOUPS 2490 WITH SCORE 2533.001
AT ITER 4923 NEW BEST:: SOT 53820 SOS 42999 HAS SOPS 42999 HAS SOUS 2490 HAS SOUPS 2490 WITH SCORE 2532.999
AT ITER 4934 NEW BEST:: SOT 53820 SOS 42999 HAS SOPS 42999 HAS SOUS 2488 HAS SOUPS 2488 WITH SCORE 2530.999
AT ITER 4954 NEW BEST:: SOT 53762 SOS 42941 HAS SOPS 42941 HAS SOUS 2488 HAS SOUPS 2488 WITH SCORE 2530.941
AT ITER 5016 NEW BEST:: SOT 53762 SOS 42941 HAS SOPS 42941 HAS SOUS 2484 HAS SOUPS 2484 WITH SCORE 2526.941
AT ITER 5042 NEW BEST:: SOT 53762 SOS 42941 HAS SOPS 42941 HAS SOUS 2468 HAS SOUPS 2468 WITH SCORE 2510.941
AT ITER 5048 NEW BEST:: SOT 53760 SOS 42939 HAS SOPS 42939 HAS SOUS 2468 HAS SOUPS 2468 WITH SCORE 2510.939
AT ITER 5095 NEW BEST:: SOT 53726 SOS 42905 HAS SOPS 42905 HAS SOUS 2434 HAS SOUPS 2434 WITH SCORE 2476.905
AT ITER 5098 NEW BEST:: SOT 53628 SOS 42807 HAS SOPS 42807 HAS SOUS 2432 HAS SOUPS 2432 WITH SCORE 2474.807
AT ITER 5199 NEW BEST:: SOT 53618 SOS 42797 HAS SOPS 42797 HAS SOUS 2432 HAS SOUPS 2432 WITH SCORE 2474.797
AT ITER 5265 NEW BEST:: SOT 53462 SOS 42641 HAS SOPS 42641 HAS SOUS 2432 HAS SOUPS 2432 WITH SCORE 2474.641
AT ITER 5304 NEW BEST:: SOT 53406 SOS 42585 HAS SOPS 42585 HAS SOUS 2432 HAS SOUPS 2432 WITH SCORE 2474.585
AT ITER 5366 NEW BEST:: SOT 53744 SOS 42923 HAS SOPS 42923 HAS SOUS 2426 HAS SOUPS 2426 WITH SCORE 2468.923
AT ITER 5369 NEW BEST:: SOT 53742 SOS 42921 HAS SOPS 42921 HAS SOUS 2426 HAS SOUPS 2426 WITH SCORE 2468.921
AT ITER 5479 NEW BEST:: SOT 53742 SOS 42921 HAS SOPS 42921 HAS SOUS 2412 HAS SOUPS 2412 WITH SCORE 2454.921
AT ITER 5564 NEW BEST:: SOT 53742 SOS 42315 HAS SOPS 42315 HAS SOUS 2400 HAS SOUPS 2400 WITH SCORE 2442.315
AT ITER 5569 NEW BEST:: SOT 53720 SOS 42293 HAS SOPS 42293 HAS SOUS 2400 HAS SOUPS 2400 WITH SCORE 2442.293
AT ITER 5758 NEW BEST:: SOT 53670 SOS 42243 HAS SOPS 42243 HAS SOUS 2400 HAS SOUPS 2400 WITH SCORE 2442.243
AT ITER 5816 NEW BEST:: SOT 53626 SOS 42199 HAS SOPS 42199 HAS SOUS 2400 HAS SOUPS 2400 WITH SCORE 2442.199
AT ITER 5869 NEW BEST:: SOT 53458 SOS 42031 HAS SOPS 42031 HAS SOUS 2366 HAS SOUPS 2366 WITH SCORE 2408.031
AT ITER 5972 NEW BEST:: SOT 53458 SOS 42031 HAS SOPS 42031 HAS SOUS 2360 HAS SOUPS 2360 WITH SCORE 2402.031
AT ITER 6009 NEW BEST:: SOT 53386 SOS 41959 HAS SOPS 41959 HAS SOUS 2360 HAS SOUPS 2360 WITH SCORE 2401.959
AT ITER 6059 NEW BEST:: SOT 53334 SOS 41907 HAS SOPS 41907 HAS SOUS 2360 HAS SOUPS 2360 WITH SCORE 2401.907
AT ITER 6109 NEW BEST:: SOT 53288 SOS 41861 HAS SOPS 41861 HAS SOUS 2360 HAS SOUPS 2360 WITH SCORE 2401.861
AT ITER 6144 NEW BEST:: SOT 53288 SOS 41861 HAS SOPS 41861 HAS SOUS 2352 HAS SOUPS 2352 WITH SCORE 2393.861
AT ITER 6158 NEW BEST:: SOT 53280 SOS 41853 HAS SOPS 41853 HAS SOUS 2352 HAS SOUPS 2352 WITH SCORE 2393.853
AT ITER 6310 NEW BEST:: SOT 53280 SOS 41853 HAS SOPS 41853 HAS SOUS 2346 HAS SOUPS 2346 WITH SCORE 2387.853
AT ITER 6320 NEW BEST:: SOT 53280 SOS 41853 HAS SOPS 41853 HAS SOUS 2290 HAS SOUPS 2290 WITH SCORE 2331.853
AT ITER 6370 NEW BEST:: SOT 53256 SOS 41829 HAS SOPS 41829 HAS SOUS 2290 HAS SOUPS 2290 WITH SCORE 2331.829
AT ITER 6501 NEW BEST:: SOT 53227 SOS 41785 HAS SOPS 41785 HAS SOUS 2261 HAS SOUPS 2261 WITH SCORE 2302.785
AT ITER 6557 NEW BEST:: SOT 53225 SOS 41883 HAS SOPS 41883 HAS SOUS 2259 HAS SOUPS 2259 WITH SCORE 2300.883
AT ITER 6698 NEW BEST:: SOT 53209 SOS 41867 HAS SOPS 41867 HAS SOUS 2255 HAS SOUPS 2255 WITH SCORE 2296.867
AT ITER 6723 NEW BEST:: SOT 53193 SOS 41851 HAS SOPS 41851 HAS SOUS 2255 HAS SOUPS 2255 WITH SCORE 2296.851
AT ITER 6786 NEW BEST:: SOT 53193 SOS 41851 HAS SOPS 41851 HAS SOUS 2253 HAS SOUPS 2253 WITH SCORE 2294.851
AT ITER 6803 NEW BEST:: SOT 53193 SOS 41851 HAS SOPS 41851 HAS SOUS 2251 HAS SOUPS 2251 WITH SCORE 2292.851
AT ITER 6836 NEW BEST:: SOT 53133 SOS 41791 HAS SOPS 41791 HAS SOUS 2251 HAS SOUPS 2251 WITH SCORE 2292.791
AT ITER 6878 NEW BEST:: SOT 53111 SOS 41769 HAS SOPS 41769 HAS SOUS 2251 HAS SOUPS 2251 WITH SCORE 2292.769
AT ITER 6885 NEW BEST:: SOT 53111 SOS 41769 HAS SOPS 41769 HAS SOUS 2247 HAS SOUPS 2247 WITH SCORE 2288.769
AT ITER 6917 NEW BEST:: SOT 53039 SOS 41697 HAS SOPS 41697 HAS SOUS 2247 HAS SOUPS 2247 WITH SCORE 2288.697
AT ITER 6988 NEW BEST:: SOT 52945 SOS 41603 HAS SOPS 41603 HAS SOUS 2247 HAS SOUPS 2247 WITH SCORE 2288.603
AT ITER 7075 NEW BEST:: SOT 52931 SOS 41589 HAS SOPS 41589 HAS SOUS 2247 HAS SOUPS 2247 WITH SCORE 2288.589
AT ITER 7149 NEW BEST:: SOT 52901 SOS 41559 HAS SOPS 41559 HAS SOUS 2247 HAS SOUPS 2247 WITH SCORE 2288.559
AT ITER 7168 NEW BEST:: SOT 52753 SOS 41422 HAS SOPS 41422 HAS SOUS 2243 HAS SOUPS 2243 WITH SCORE 2284.422
AT ITER 7198 NEW BEST:: SOT 52733 SOS 41402 HAS SOPS 41402 HAS SOUS 2243 HAS SOUPS 2243 WITH SCORE 2284.402
AT ITER 7203 NEW BEST:: SOT 52701 SOS 41370 HAS SOPS 41370 HAS SOUS 2243 HAS SOUPS 2243 WITH SCORE 2284.37
AT ITER 7211 NEW BEST:: SOT 52659 SOS 41328 HAS SOPS 41328 HAS SOUS 2243 HAS SOUPS 2243 WITH SCORE 2284.328
AT ITER 7406 NEW BEST:: SOT 52539 SOS 41208 HAS SOPS 41208 HAS SOUS 2243 HAS SOUPS 2243 WITH SCORE 2284.208
AT ITER 7418 NEW BEST:: SOT 52521 SOS 41190 HAS SOPS 41190 HAS SOUS 2243 HAS SOUPS 2243 WITH SCORE 2284.19
AT ITER 7529 NEW BEST:: SOT 52463 SOS 41132 HAS SOPS 41132 HAS SOUS 2243 HAS SOUPS 2243 WITH SCORE 2284.132
AT ITER 7532 NEW BEST:: SOT 52379 SOS 41048 HAS SOPS 41048 HAS SOUS 2243 HAS SOUPS 2243 WITH SCORE 2284.048
AT ITER 7605 NEW BEST:: SOT 52319 SOS 40988 HAS SOPS 40988 HAS SOUS 2243 HAS SOUPS 2243 WITH SCORE 2283.988
AT ITER 7626 NEW BEST:: SOT 52169 SOS 40838 HAS SOPS 40838 HAS SOUS 2243 HAS SOUPS 2243 WITH SCORE 2283.838
AT ITER 7648 NEW BEST:: SOT 52017 SOS 40686 HAS SOPS 40686 HAS SOUS 2243 HAS SOUPS 2243 WITH SCORE 2283.686
AT ITER 7758 NEW BEST:: SOT 51983 SOS 40652 HAS SOPS 40652 HAS SOUS 2240 HAS SOUPS 2240 WITH SCORE 2280.652
AT ITER 7962 NEW BEST:: SOT 51971 SOS 40640 HAS SOPS 40640 HAS SOUS 2240 HAS SOUPS 2240 WITH SCORE 2280.64
AT ITER 8039 NEW BEST:: SOT 51871 SOS 40540 HAS SOPS 40540 HAS SOUS 2196 HAS SOUPS 2196 WITH SCORE 2236.54
AT ITER 8122 NEW BEST:: SOT 51853 SOS 40522 HAS SOPS 40522 HAS SOUS 2190 HAS SOUPS 2190 WITH SCORE 2230.522
AT ITER 8126 NEW BEST:: SOT 51805 SOS 40474 HAS SOPS 40474 HAS SOUS 2190 HAS SOUPS 2190 WITH SCORE 2230.474
AT ITER 8177 NEW BEST:: SOT 51685 SOS 40354 HAS SOPS 40354 HAS SOUS 2190 HAS SOUPS 2190 WITH SCORE 2230.354
AT ITER 8562 NEW BEST:: SOT 51609 SOS 40278 HAS SOPS 40278 HAS SOUS 2190 HAS SOUPS 2190 WITH SCORE 2230.278
AT ITER 8617 NEW BEST:: SOT 51607 SOS 40276 HAS SOPS 40276 HAS SOUS 2190 HAS SOUPS 2190 WITH SCORE 2230.276
AT ITER 8873 NEW BEST:: SOT 51551 SOS 40220 HAS SOPS 40220 HAS SOUS 2183 HAS SOUPS 2183 WITH SCORE 2223.22
AT ITER 8922 NEW BEST:: SOT 51519 SOS 40188 HAS SOPS 40188 HAS SOUS 2183 HAS SOUPS 2183 WITH SCORE 2223.188
AT ITER 8976 NEW BEST:: SOT 51437 SOS 40106 HAS SOPS 40106 HAS SOUS 2183 HAS SOUPS 2183 WITH SCORE 2223.106
AT ITER 8997 NEW BEST:: SOT 51415 SOS 40084 HAS SOPS 40084 HAS SOUS 2183 HAS SOUPS 2183 WITH SCORE 2223.084
AT ITER 9049 NEW BEST:: SOT 51415 SOS 40084 HAS SOPS 40084 HAS SOUS 2178 HAS SOUPS 2178 WITH SCORE 2218.084
AT ITER 9102 NEW BEST:: SOT 51415 SOS 39884 HAS SOPS 39884 HAS SOUS 2174 HAS SOUPS 2174 WITH SCORE 2213.884
AT ITER 9119 NEW BEST:: SOT 51293 SOS 39762 HAS SOPS 39762 HAS SOUS 2174 HAS SOUPS 2174 WITH SCORE 2213.762
AT ITER 9169 NEW BEST:: SOT 51233 SOS 39702 HAS SOPS 39702 HAS SOUS 2164 HAS SOUPS 2164 WITH SCORE 2203.702
AT ITER 9279 NEW BEST:: SOT 51219 SOS 39688 HAS SOPS 39688 HAS SOUS 2157 HAS SOUPS 2157 WITH SCORE 2196.688
AT ITER 9439 NEW BEST:: SOT 50981 SOS 39450 HAS SOPS 39450 HAS SOUS 2157 HAS SOUPS 2157 WITH SCORE 2196.45
AT ITER 9513 NEW BEST:: SOT 50953 SOS 39422 HAS SOPS 39422 HAS SOUS 2157 HAS SOUPS 2157 WITH SCORE 2196.422
AT ITER 9760 NEW BEST:: SOT 50899 SOS 39368 HAS SOPS 39368 HAS SOUS 2157 HAS SOUPS 2157 WITH SCORE 2196.368
AT ITER 9815 NEW BEST:: SOT 50895 SOS 39364 HAS SOPS 39364 HAS SOUS 2157 HAS SOUPS 2157 WITH SCORE 2196.364
AT ITER 9912 NEW BEST:: SOT 50892 SOS 39359 HAS SOPS 39359 HAS SOUS 2151 HAS SOUPS 2151 WITH SCORE 2190.359
STATE_SPACE STATES 4471223 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 158 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 19756224 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678730847340

--------------------
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="AirplaneLD-COL-0050"
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 AirplaneLD-COL-0050, 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-167813599900192"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/AirplaneLD-COL-0050.tgz
mv AirplaneLD-COL-0050 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 ;