About the Execution of Smart+red for LeafsetExtension-PT-S08C3
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 844.415 | 148972.00 | 154207.00 | 760.30 | 2.6264E+0007 8.0531E+0007 3 18 | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r235-tall-167856421800464.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is LeafsetExtension-PT-S08C3, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r235-tall-167856421800464
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 812K
-rw-r--r-- 1 mcc users 13K Feb 25 16:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 87K Feb 25 16:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 25 16:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 72K Feb 25 16:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.1K Feb 25 16:20 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:20 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:20 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:20 LTLFireability.xml
-rw-r--r-- 1 mcc users 23K Feb 25 16:55 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 148K Feb 25 16:55 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 18K Feb 25 16:55 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 87K Feb 25 16:55 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.3K Feb 25 16:20 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 254K 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 1678657642910
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=LeafsetExtension-PT-S08C3
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-12 21:47:24] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-12 21:47:24] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-12 21:47:24] [INFO ] Load time of PNML (sax parser for PT used): 56 ms
[2023-03-12 21:47:24] [INFO ] Transformed 462 places.
[2023-03-12 21:47:24] [INFO ] Transformed 409 transitions.
[2023-03-12 21:47:24] [INFO ] Parsed PT model containing 462 places and 409 transitions and 1324 arcs in 115 ms.
[2023-03-12 21:47:24] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 462 places, 409 transitions and 1324 arcs took 6 ms.
Total runtime 148 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running LeafsetExtension (PT), instance S08C3
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: 462 places, 409 transitions, 1324 arcs.
AT ITER 0 NEW BEST:: SOT 105063 SOS 23254 HAS SOPS 22608 HAS SOUS 20563 HAS SOUPS 20213 WITH SCORE 20236.254
AT ITER 37 NEW BEST:: SOT 105063 SOS 23235 HAS SOPS 22589 HAS SOUS 20563 HAS SOUPS 20213 WITH SCORE 20236.235
AT ITER 65 NEW BEST:: SOT 105063 SOS 23235 HAS SOPS 22568 HAS SOUS 20578 HAS SOUPS 20208 WITH SCORE 20231.235
AT ITER 66 NEW BEST:: SOT 105063 SOS 23221 HAS SOPS 22554 HAS SOUS 20578 HAS SOUPS 20208 WITH SCORE 20231.221
AT ITER 69 NEW BEST:: SOT 105056 SOS 23144 HAS SOPS 22477 HAS SOUS 20564 HAS SOUPS 20194 WITH SCORE 20217.144
AT ITER 111 NEW BEST:: SOT 105056 SOS 23120 HAS SOPS 22453 HAS SOUS 20564 HAS SOUPS 20194 WITH SCORE 20217.12
AT ITER 132 NEW BEST:: SOT 104922 SOS 23036 HAS SOPS 22369 HAS SOUS 20468 HAS SOUPS 20098 WITH SCORE 20121.036
AT ITER 167 NEW BEST:: SOT 104921 SOS 23030 HAS SOPS 22363 HAS SOUS 20466 HAS SOUPS 20096 WITH SCORE 20119.03
AT ITER 168 NEW BEST:: SOT 104907 SOS 23016 HAS SOPS 22349 HAS SOUS 20452 HAS SOUPS 20082 WITH SCORE 20105.016
AT ITER 182 NEW BEST:: SOT 104907 SOS 23010 HAS SOPS 22343 HAS SOUS 20452 HAS SOUPS 20082 WITH SCORE 20105.01
AT ITER 185 NEW BEST:: SOT 104907 SOS 23010 HAS SOPS 22343 HAS SOUS 20445 HAS SOUPS 20075 WITH SCORE 20098.01
AT ITER 231 NEW BEST:: SOT 104780 SOS 22901 HAS SOPS 22225 HAS SOUS 20320 HAS SOUPS 19950 WITH SCORE 19972.901
AT ITER 234 NEW BEST:: SOT 104780 SOS 22885 HAS SOPS 22209 HAS SOUS 20316 HAS SOUPS 19946 WITH SCORE 19968.885
AT ITER 249 NEW BEST:: SOT 104780 SOS 22865 HAS SOPS 22189 HAS SOUS 20315 HAS SOUPS 19945 WITH SCORE 19967.865
AT ITER 252 NEW BEST:: SOT 104780 SOS 22850 HAS SOPS 22174 HAS SOUS 20315 HAS SOUPS 19945 WITH SCORE 19967.85
AT ITER 266 NEW BEST:: SOT 104756 SOS 22827 HAS SOPS 22152 HAS SOUS 20293 HAS SOUPS 19923 WITH SCORE 19945.827
AT ITER 323 NEW BEST:: SOT 104745 SOS 22807 HAS SOPS 22132 HAS SOUS 20273 HAS SOUPS 19903 WITH SCORE 19925.807
AT ITER 351 NEW BEST:: SOT 104745 SOS 22789 HAS SOPS 22114 HAS SOUS 20273 HAS SOUPS 19903 WITH SCORE 19925.789
AT ITER 354 NEW BEST:: SOT 104305 SOS 22365 HAS SOPS 21690 HAS SOUS 19849 HAS SOUPS 19479 WITH SCORE 19501.365
AT ITER 358 NEW BEST:: SOT 104305 SOS 22364 HAS SOPS 21689 HAS SOUS 19848 HAS SOUPS 19478 WITH SCORE 19500.364
AT ITER 397 NEW BEST:: SOT 104284 SOS 22358 HAS SOPS 21683 HAS SOUS 19847 HAS SOUPS 19477 WITH SCORE 19499.358
AT ITER 399 NEW BEST:: SOT 104284 SOS 22362 HAS SOPS 21687 HAS SOUS 19846 HAS SOUPS 19476 WITH SCORE 19498.362
AT ITER 467 NEW BEST:: SOT 104244 SOS 22332 HAS SOPS 21657 HAS SOUS 19843 HAS SOUPS 19473 WITH SCORE 19495.332
AT ITER 488 NEW BEST:: SOT 104240 SOS 22324 HAS SOPS 21649 HAS SOUS 19839 HAS SOUPS 19469 WITH SCORE 19491.324
AT ITER 503 NEW BEST:: SOT 104240 SOS 22311 HAS SOPS 21636 HAS SOUS 19839 HAS SOUPS 19469 WITH SCORE 19491.311
AT ITER 544 NEW BEST:: SOT 104231 SOS 22303 HAS SOPS 21628 HAS SOUS 19829 HAS SOUPS 19459 WITH SCORE 19481.303
AT ITER 546 NEW BEST:: SOT 104164 SOS 22442 HAS SOPS 21767 HAS SOUS 19801 HAS SOUPS 19431 WITH SCORE 19453.442
AT ITER 553 NEW BEST:: SOT 104158 SOS 22457 HAS SOPS 21782 HAS SOUS 19793 HAS SOUPS 19423 WITH SCORE 19445.457
AT ITER 555 NEW BEST:: SOT 104158 SOS 22357 HAS SOPS 21682 HAS SOUS 19793 HAS SOUPS 19423 WITH SCORE 19445.357
AT ITER 556 NEW BEST:: SOT 104158 SOS 22334 HAS SOPS 21659 HAS SOUS 19793 HAS SOUPS 19423 WITH SCORE 19445.334
AT ITER 570 NEW BEST:: SOT 103990 SOS 22327 HAS SOPS 21641 HAS SOUS 19663 HAS SOUPS 19293 WITH SCORE 19315.327
AT ITER 621 NEW BEST:: SOT 103990 SOS 22324 HAS SOPS 21638 HAS SOUS 19644 HAS SOUPS 19274 WITH SCORE 19296.324
AT ITER 685 NEW BEST:: SOT 103971 SOS 22314 HAS SOPS 21628 HAS SOUS 19639 HAS SOUPS 19269 WITH SCORE 19291.314
AT ITER 723 NEW BEST:: SOT 103957 SOS 22170 HAS SOPS 21484 HAS SOUS 19611 HAS SOUPS 19241 WITH SCORE 19263.17
AT ITER 733 NEW BEST:: SOT 103921 SOS 22138 HAS SOPS 21452 HAS SOUS 19575 HAS SOUPS 19205 WITH SCORE 19227.138
AT ITER 744 NEW BEST:: SOT 103921 SOS 22126 HAS SOPS 21440 HAS SOUS 19575 HAS SOUPS 19205 WITH SCORE 19227.126
AT ITER 759 NEW BEST:: SOT 103905 SOS 22115 HAS SOPS 21429 HAS SOUS 19563 HAS SOUPS 19193 WITH SCORE 19215.115
AT ITER 801 NEW BEST:: SOT 103935 SOS 22115 HAS SOPS 21429 HAS SOUS 19559 HAS SOUPS 19189 WITH SCORE 19211.115
AT ITER 826 NEW BEST:: SOT 103935 SOS 22112 HAS SOPS 21426 HAS SOUS 19556 HAS SOUPS 19186 WITH SCORE 19208.112
AT ITER 855 NEW BEST:: SOT 103922 SOS 22099 HAS SOPS 21413 HAS SOUS 19543 HAS SOUPS 19173 WITH SCORE 19195.099
AT ITER 905 NEW BEST:: SOT 103913 SOS 22081 HAS SOPS 21395 HAS SOUS 19525 HAS SOUPS 19155 WITH SCORE 19177.081
AT ITER 933 NEW BEST:: SOT 103913 SOS 21993 HAS SOPS 21307 HAS SOUS 19525 HAS SOUPS 19155 WITH SCORE 19176.993
AT ITER 950 NEW BEST:: SOT 103642 SOS 21767 HAS SOPS 21015 HAS SOUS 19292 HAS SOUPS 18901 WITH SCORE 18922.767
AT ITER 969 NEW BEST:: SOT 103631 SOS 21756 HAS SOPS 21004 HAS SOUS 19281 HAS SOUPS 18890 WITH SCORE 18911.756
AT ITER 1001 NEW BEST:: SOT 103633 SOS 21557 HAS SOPS 20763 HAS SOUS 19229 HAS SOUPS 18838 WITH SCORE 18859.557
AT ITER 1004 NEW BEST:: SOT 103602 SOS 21495 HAS SOPS 20701 HAS SOUS 19174 HAS SOUPS 18783 WITH SCORE 18804.495
AT ITER 1065 NEW BEST:: SOT 103602 SOS 21487 HAS SOPS 20693 HAS SOUS 19173 HAS SOUPS 18782 WITH SCORE 18803.487
AT ITER 1082 NEW BEST:: SOT 103602 SOS 21470 HAS SOPS 20676 HAS SOUS 19171 HAS SOUPS 18780 WITH SCORE 18801.47
AT ITER 1094 NEW BEST:: SOT 103631 SOS 21470 HAS SOPS 20676 HAS SOUS 19168 HAS SOUPS 18777 WITH SCORE 18798.47
AT ITER 1116 NEW BEST:: SOT 103616 SOS 21455 HAS SOPS 20661 HAS SOUS 19153 HAS SOUPS 18762 WITH SCORE 18783.455
AT ITER 1129 NEW BEST:: SOT 103612 SOS 21459 HAS SOPS 20665 HAS SOUS 19149 HAS SOUPS 18758 WITH SCORE 18779.459
AT ITER 1138 NEW BEST:: SOT 103599 SOS 21451 HAS SOPS 20657 HAS SOUS 19137 HAS SOUPS 18746 WITH SCORE 18767.451
AT ITER 1148 NEW BEST:: SOT 103599 SOS 21452 HAS SOPS 20626 HAS SOUS 19109 HAS SOUPS 18718 WITH SCORE 18739.452
AT ITER 1184 NEW BEST:: SOT 103595 SOS 21432 HAS SOPS 20606 HAS SOUS 19101 HAS SOUPS 18710 WITH SCORE 18731.432
AT ITER 1212 NEW BEST:: SOT 103568 SOS 21378 HAS SOPS 20552 HAS SOUS 19068 HAS SOUPS 18677 WITH SCORE 18698.378
AT ITER 1229 NEW BEST:: SOT 103568 SOS 21369 HAS SOPS 20543 HAS SOUS 19059 HAS SOUPS 18668 WITH SCORE 18689.369
AT ITER 1236 NEW BEST:: SOT 103568 SOS 21341 HAS SOPS 20515 HAS SOUS 19031 HAS SOUPS 18640 WITH SCORE 18661.341
AT ITER 1275 NEW BEST:: SOT 103513 SOS 21277 HAS SOPS 20451 HAS SOUS 18925 HAS SOUPS 18534 WITH SCORE 18555.277
AT ITER 1310 NEW BEST:: SOT 103513 SOS 21257 HAS SOPS 20431 HAS SOUS 18925 HAS SOUPS 18534 WITH SCORE 18555.257
AT ITER 1353 NEW BEST:: SOT 103513 SOS 21246 HAS SOPS 20420 HAS SOUS 18914 HAS SOUPS 18523 WITH SCORE 18544.246
AT ITER 1398 NEW BEST:: SOT 103513 SOS 21246 HAS SOPS 20413 HAS SOUS 18907 HAS SOUPS 18516 WITH SCORE 18537.246
AT ITER 1401 NEW BEST:: SOT 103513 SOS 21157 HAS SOPS 20324 HAS SOUS 18907 HAS SOUPS 18516 WITH SCORE 18537.157
AT ITER 1408 NEW BEST:: SOT 103513 SOS 21145 HAS SOPS 20312 HAS SOUS 18895 HAS SOUPS 18504 WITH SCORE 18525.145
AT ITER 1413 NEW BEST:: SOT 103506 SOS 21118 HAS SOPS 20208 HAS SOUS 18809 HAS SOUPS 18418 WITH SCORE 18439.118
AT ITER 1425 NEW BEST:: SOT 103520 SOS 21112 HAS SOPS 20203 HAS SOUS 18804 HAS SOUPS 18413 WITH SCORE 18434.112
AT ITER 1430 NEW BEST:: SOT 103514 SOS 21105 HAS SOPS 20196 HAS SOUS 18778 HAS SOUPS 18387 WITH SCORE 18408.105
AT ITER 1465 NEW BEST:: SOT 103511 SOS 21105 HAS SOPS 20196 HAS SOUS 18775 HAS SOUPS 18384 WITH SCORE 18405.105
AT ITER 1512 NEW BEST:: SOT 103503 SOS 21097 HAS SOPS 20184 HAS SOUS 18763 HAS SOUPS 18372 WITH SCORE 18393.097
AT ITER 1542 NEW BEST:: SOT 103503 SOS 21094 HAS SOPS 20181 HAS SOUS 18760 HAS SOUPS 18369 WITH SCORE 18390.094
AT ITER 1669 NEW BEST:: SOT 103485 SOS 21109 HAS SOPS 20196 HAS SOUS 18757 HAS SOUPS 18366 WITH SCORE 18387.109
AT ITER 1690 NEW BEST:: SOT 103463 SOS 21091 HAS SOPS 20178 HAS SOUS 18741 HAS SOUPS 18350 WITH SCORE 18371.091
AT ITER 1696 NEW BEST:: SOT 103458 SOS 21071 HAS SOPS 20158 HAS SOUS 18731 HAS SOUPS 18340 WITH SCORE 18361.071
AT ITER 1700 NEW BEST:: SOT 103458 SOS 20946 HAS SOPS 20033 HAS SOUS 18731 HAS SOUPS 18340 WITH SCORE 18360.946
AT ITER 1734 NEW BEST:: SOT 103671 SOS 21234 HAS SOPS 19932 HAS SOUS 18802 HAS SOUPS 18246 WITH SCORE 18267.234
AT ITER 1735 NEW BEST:: SOT 103656 SOS 21234 HAS SOPS 19932 HAS SOUS 18787 HAS SOUPS 18231 WITH SCORE 18252.234
AT ITER 1758 NEW BEST:: SOT 103656 SOS 21227 HAS SOPS 19925 HAS SOUS 18780 HAS SOUPS 18224 WITH SCORE 18245.227
AT ITER 1770 NEW BEST:: SOT 103678 SOS 21330 HAS SOPS 19920 HAS SOUS 18802 HAS SOUPS 18219 WITH SCORE 18240.33
AT ITER 1771 NEW BEST:: SOT 103667 SOS 21311 HAS SOPS 19901 HAS SOUS 18783 HAS SOUPS 18200 WITH SCORE 18221.311
AT ITER 1774 NEW BEST:: SOT 103666 SOS 21310 HAS SOPS 19899 HAS SOUS 18782 HAS SOUPS 18198 WITH SCORE 18219.31
AT ITER 1792 NEW BEST:: SOT 103647 SOS 21310 HAS SOPS 19899 HAS SOUS 18763 HAS SOUPS 18179 WITH SCORE 18200.31
AT ITER 1839 NEW BEST:: SOT 103629 SOS 21183 HAS SOPS 19791 HAS SOUS 18725 HAS SOUPS 18143 WITH SCORE 18164.183
AT ITER 1871 NEW BEST:: SOT 103615 SOS 21144 HAS SOPS 19745 HAS SOUS 18697 HAS SOUPS 18115 WITH SCORE 18136.144
AT ITER 1902 NEW BEST:: SOT 103581 SOS 21070 HAS SOPS 19715 HAS SOUS 18656 HAS SOUPS 18085 WITH SCORE 18106.07
AT ITER 1984 NEW BEST:: SOT 103581 SOS 21069 HAS SOPS 19714 HAS SOUS 18655 HAS SOUPS 18084 WITH SCORE 18105.069
AT ITER 2017 NEW BEST:: SOT 103566 SOS 21054 HAS SOPS 19699 HAS SOUS 18640 HAS SOUPS 18069 WITH SCORE 18090.054
AT ITER 2029 NEW BEST:: SOT 103560 SOS 21042 HAS SOPS 19687 HAS SOUS 18629 HAS SOUPS 18058 WITH SCORE 18079.042
AT ITER 2074 NEW BEST:: SOT 103581 SOS 21042 HAS SOPS 19687 HAS SOUS 18617 HAS SOUPS 18046 WITH SCORE 18067.042
AT ITER 2098 NEW BEST:: SOT 103555 SOS 20992 HAS SOPS 19611 HAS SOUS 18591 HAS SOUPS 17994 WITH SCORE 18014.992
AT ITER 2159 NEW BEST:: SOT 103553 SOS 20932 HAS SOPS 19602 HAS SOUS 18570 HAS SOUPS 17982 WITH SCORE 18002.932
AT ITER 2160 NEW BEST:: SOT 103579 SOS 20932 HAS SOPS 19602 HAS SOUS 18569 HAS SOUPS 17981 WITH SCORE 18001.932
AT ITER 2259 NEW BEST:: SOT 103555 SOS 20893 HAS SOPS 19561 HAS SOUS 18528 HAS SOUPS 17940 WITH SCORE 17960.893
AT ITER 2297 NEW BEST:: SOT 103570 SOS 20935 HAS SOPS 19547 HAS SOUS 18568 HAS SOUPS 17931 WITH SCORE 17951.935
AT ITER 2355 NEW BEST:: SOT 103570 SOS 20893 HAS SOPS 19505 HAS SOUS 18568 HAS SOUPS 17931 WITH SCORE 17951.893
AT ITER 2364 NEW BEST:: SOT 103570 SOS 20870 HAS SOPS 19482 HAS SOUS 18568 HAS SOUPS 17931 WITH SCORE 17951.87
AT ITER 2410 NEW BEST:: SOT 103610 SOS 21071 HAS SOPS 19499 HAS SOUS 18519 HAS SOUPS 17815 WITH SCORE 17836.071
AT ITER 2433 NEW BEST:: SOT 103610 SOS 21064 HAS SOPS 19492 HAS SOUS 18519 HAS SOUPS 17815 WITH SCORE 17836.064
AT ITER 2445 NEW BEST:: SOT 103600 SOS 21062 HAS SOPS 19490 HAS SOUS 18516 HAS SOUPS 17812 WITH SCORE 17833.062
AT ITER 2458 NEW BEST:: SOT 103600 SOS 21062 HAS SOPS 19490 HAS SOUS 18515 HAS SOUPS 17811 WITH SCORE 17832.062
AT ITER 2476 NEW BEST:: SOT 103588 SOS 21061 HAS SOPS 19477 HAS SOUS 18506 HAS SOUPS 17790 WITH SCORE 17811.061
AT ITER 2538 NEW BEST:: SOT 103588 SOS 21058 HAS SOPS 19474 HAS SOUS 18506 HAS SOUPS 17790 WITH SCORE 17811.058
AT ITER 2580 NEW BEST:: SOT 103489 SOS 21063 HAS SOPS 19473 HAS SOUS 18447 HAS SOUPS 17731 WITH SCORE 17752.063
AT ITER 2615 NEW BEST:: SOT 103482 SOS 21059 HAS SOPS 19469 HAS SOUS 18443 HAS SOUPS 17727 WITH SCORE 17748.059
AT ITER 2648 NEW BEST:: SOT 103439 SOS 21076 HAS SOPS 19486 HAS SOUS 18415 HAS SOUPS 17699 WITH SCORE 17720.076
AT ITER 2672 NEW BEST:: SOT 103439 SOS 21072 HAS SOPS 19482 HAS SOUS 18411 HAS SOUPS 17695 WITH SCORE 17716.072
AT ITER 2677 NEW BEST:: SOT 103439 SOS 21068 HAS SOPS 19478 HAS SOUS 18405 HAS SOUPS 17689 WITH SCORE 17710.068
AT ITER 2686 NEW BEST:: SOT 103432 SOS 21082 HAS SOPS 19485 HAS SOUS 18412 HAS SOUPS 17675 WITH SCORE 17696.082
AT ITER 2693 NEW BEST:: SOT 103413 SOS 21042 HAS SOPS 19445 HAS SOUS 18374 HAS SOUPS 17637 WITH SCORE 17658.042
AT ITER 2712 NEW BEST:: SOT 103403 SOS 21032 HAS SOPS 19445 HAS SOUS 18374 HAS SOUPS 17637 WITH SCORE 17658.032
AT ITER 2730 NEW BEST:: SOT 103415 SOS 20905 HAS SOPS 19318 HAS SOUS 18364 HAS SOUPS 17627 WITH SCORE 17647.905
AT ITER 2774 NEW BEST:: SOT 103412 SOS 20899 HAS SOPS 19312 HAS SOUS 18355 HAS SOUPS 17618 WITH SCORE 17638.899
AT ITER 2796 NEW BEST:: SOT 103411 SOS 20897 HAS SOPS 19310 HAS SOUS 18353 HAS SOUPS 17616 WITH SCORE 17636.897
AT ITER 2797 NEW BEST:: SOT 103411 SOS 20896 HAS SOPS 19309 HAS SOUS 18353 HAS SOUPS 17616 WITH SCORE 17636.896
AT ITER 2833 NEW BEST:: SOT 103406 SOS 20883 HAS SOPS 19291 HAS SOUS 18335 HAS SOUPS 17598 WITH SCORE 17618.883
AT ITER 2837 NEW BEST:: SOT 103394 SOS 20871 HAS SOPS 19267 HAS SOUS 18319 HAS SOUPS 17571 WITH SCORE 17591.871
AT ITER 2848 NEW BEST:: SOT 103394 SOS 20836 HAS SOPS 19232 HAS SOUS 18319 HAS SOUPS 17571 WITH SCORE 17591.836
AT ITER 2882 NEW BEST:: SOT 103388 SOS 20805 HAS SOPS 19201 HAS SOUS 18313 HAS SOUPS 17565 WITH SCORE 17585.805
AT ITER 2899 NEW BEST:: SOT 103388 SOS 20799 HAS SOPS 19195 HAS SOUS 18313 HAS SOUPS 17565 WITH SCORE 17585.799
AT ITER 2900 NEW BEST:: SOT 103388 SOS 20782 HAS SOPS 19178 HAS SOUS 18313 HAS SOUPS 17565 WITH SCORE 17585.782
AT ITER 2908 NEW BEST:: SOT 103383 SOS 20782 HAS SOPS 19178 HAS SOUS 18308 HAS SOUPS 17560 WITH SCORE 17580.782
AT ITER 2931 NEW BEST:: SOT 103383 SOS 20776 HAS SOPS 19172 HAS SOUS 18308 HAS SOUPS 17560 WITH SCORE 17580.776
AT ITER 2954 NEW BEST:: SOT 103383 SOS 20770 HAS SOPS 19166 HAS SOUS 18308 HAS SOUPS 17560 WITH SCORE 17580.77
AT ITER 2994 NEW BEST:: SOT 103371 SOS 20759 HAS SOPS 19155 HAS SOUS 18297 HAS SOUPS 17549 WITH SCORE 17569.759
AT ITER 3128 NEW BEST:: SOT 103371 SOS 20752 HAS SOPS 19148 HAS SOUS 18290 HAS SOUPS 17542 WITH SCORE 17562.752
AT ITER 3137 NEW BEST:: SOT 103360 SOS 20745 HAS SOPS 19141 HAS SOUS 18279 HAS SOUPS 17531 WITH SCORE 17551.745
AT ITER 3139 NEW BEST:: SOT 103340 SOS 20741 HAS SOPS 19101 HAS SOUS 18255 HAS SOUPS 17491 WITH SCORE 17511.741
AT ITER 3161 NEW BEST:: SOT 103320 SOS 20710 HAS SOPS 19070 HAS SOUS 18235 HAS SOUPS 17471 WITH SCORE 17491.71
AT ITER 3184 NEW BEST:: SOT 103318 SOS 20706 HAS SOPS 19066 HAS SOUS 18231 HAS SOUPS 17467 WITH SCORE 17487.706
AT ITER 3215 NEW BEST:: SOT 103293 SOS 20692 HAS SOPS 19027 HAS SOUS 18189 HAS SOUPS 17417 WITH SCORE 17437.692
AT ITER 3227 NEW BEST:: SOT 103272 SOS 20673 HAS SOPS 19008 HAS SOUS 18170 HAS SOUPS 17398 WITH SCORE 17418.673
AT ITER 3230 NEW BEST:: SOT 103270 SOS 20673 HAS SOPS 19006 HAS SOUS 18168 HAS SOUPS 17394 WITH SCORE 17414.673
AT ITER 3258 NEW BEST:: SOT 103270 SOS 20657 HAS SOPS 18990 HAS SOUS 18160 HAS SOUPS 17386 WITH SCORE 17406.657
AT ITER 3356 NEW BEST:: SOT 103270 SOS 20656 HAS SOPS 18989 HAS SOUS 18159 HAS SOUPS 17385 WITH SCORE 17405.656
AT ITER 3372 NEW BEST:: SOT 103272 SOS 20661 HAS SOPS 18988 HAS SOUS 18158 HAS SOUPS 17384 WITH SCORE 17404.661
AT ITER 3444 NEW BEST:: SOT 103272 SOS 20646 HAS SOPS 18973 HAS SOUS 18158 HAS SOUPS 17384 WITH SCORE 17404.646
AT ITER 3453 NEW BEST:: SOT 103275 SOS 20630 HAS SOPS 18957 HAS SOUS 18156 HAS SOUPS 17382 WITH SCORE 17402.63
AT ITER 3543 NEW BEST:: SOT 103265 SOS 20638 HAS SOPS 18954 HAS SOUS 18159 HAS SOUPS 17374 WITH SCORE 17394.638
AT ITER 3564 NEW BEST:: SOT 103003 SOS 21045 HAS SOPS 19361 HAS SOUS 17897 HAS SOUPS 17112 WITH SCORE 17133.045
AT ITER 3615 NEW BEST:: SOT 102940 SOS 21069 HAS SOPS 19015 HAS SOUS 17692 HAS SOUPS 16868 WITH SCORE 16889.069
AT ITER 3632 NEW BEST:: SOT 102917 SOS 21069 HAS SOPS 19015 HAS SOUS 17669 HAS SOUPS 16845 WITH SCORE 16866.069
AT ITER 3669 NEW BEST:: SOT 102909 SOS 20998 HAS SOPS 18944 HAS SOUS 17640 HAS SOUPS 16816 WITH SCORE 16836.998
AT ITER 3694 NEW BEST:: SOT 102887 SOS 20945 HAS SOPS 18891 HAS SOUS 17590 HAS SOUPS 16766 WITH SCORE 16786.945
AT ITER 3800 NEW BEST:: SOT 102884 SOS 20919 HAS SOPS 18865 HAS SOUS 17589 HAS SOUPS 16765 WITH SCORE 16785.919
AT ITER 3805 NEW BEST:: SOT 102839 SOS 20964 HAS SOPS 18910 HAS SOUS 17550 HAS SOUPS 16726 WITH SCORE 16746.964
AT ITER 3808 NEW BEST:: SOT 102839 SOS 20958 HAS SOPS 18904 HAS SOUS 17550 HAS SOUPS 16726 WITH SCORE 16746.958
AT ITER 3819 NEW BEST:: SOT 102826 SOS 20937 HAS SOPS 18870 HAS SOUS 17524 HAS SOUPS 16700 WITH SCORE 16720.937
AT ITER 3830 NEW BEST:: SOT 102835 SOS 20997 HAS SOPS 18870 HAS SOUS 17533 HAS SOUPS 16697 WITH SCORE 16717.997
AT ITER 3840 NEW BEST:: SOT 102816 SOS 21004 HAS SOPS 18877 HAS SOUS 17521 HAS SOUPS 16685 WITH SCORE 16706.004
AT ITER 3841 NEW BEST:: SOT 102808 SOS 20996 HAS SOPS 18869 HAS SOUS 17513 HAS SOUPS 16677 WITH SCORE 16697.996
AT ITER 3859 NEW BEST:: SOT 102806 SOS 20990 HAS SOPS 18863 HAS SOUS 17507 HAS SOUPS 16671 WITH SCORE 16691.99
AT ITER 3860 NEW BEST:: SOT 102806 SOS 20989 HAS SOPS 18862 HAS SOUS 17506 HAS SOUPS 16670 WITH SCORE 16690.989
AT ITER 3865 NEW BEST:: SOT 102804 SOS 20993 HAS SOPS 18773 HAS SOUS 17424 HAS SOUPS 16588 WITH SCORE 16608.993
AT ITER 3904 NEW BEST:: SOT 102801 SOS 20993 HAS SOPS 18773 HAS SOUS 17421 HAS SOUPS 16585 WITH SCORE 16605.993
AT ITER 3908 NEW BEST:: SOT 102790 SOS 20978 HAS SOPS 18750 HAS SOUS 17398 HAS SOUPS 16562 WITH SCORE 16582.978
AT ITER 3989 NEW BEST:: SOT 102790 SOS 20953 HAS SOPS 18725 HAS SOUS 17398 HAS SOUPS 16562 WITH SCORE 16582.953
AT ITER 4009 NEW BEST:: SOT 102790 SOS 20952 HAS SOPS 18724 HAS SOUS 17397 HAS SOUPS 16561 WITH SCORE 16581.952
AT ITER 4019 NEW BEST:: SOT 102790 SOS 20945 HAS SOPS 18729 HAS SOUS 17397 HAS SOUPS 16561 WITH SCORE 16581.945
AT ITER 4039 NEW BEST:: SOT 102800 SOS 20955 HAS SOPS 18739 HAS SOUS 17375 HAS SOUPS 16539 WITH SCORE 16559.955
AT ITER 4053 NEW BEST:: SOT 102773 SOS 20918 HAS SOPS 18675 HAS SOUS 17311 HAS SOUPS 16475 WITH SCORE 16495.918
AT ITER 4054 NEW BEST:: SOT 102773 SOS 20909 HAS SOPS 18666 HAS SOUS 17311 HAS SOUPS 16475 WITH SCORE 16495.909
AT ITER 4076 NEW BEST:: SOT 102770 SOS 20859 HAS SOPS 18616 HAS SOUS 17305 HAS SOUPS 16469 WITH SCORE 16489.859
AT ITER 4103 NEW BEST:: SOT 102756 SOS 20845 HAS SOPS 18588 HAS SOUS 17274 HAS SOUPS 16427 WITH SCORE 16447.845
AT ITER 4133 NEW BEST:: SOT 102756 SOS 20845 HAS SOPS 18588 HAS SOUS 17258 HAS SOUPS 16411 WITH SCORE 16431.845
AT ITER 4164 NEW BEST:: SOT 102756 SOS 20845 HAS SOPS 18588 HAS SOUS 17254 HAS SOUPS 16407 WITH SCORE 16427.845
AT ITER 4263 NEW BEST:: SOT 102722 SOS 20845 HAS SOPS 18554 HAS SOUS 17202 HAS SOUPS 16339 WITH SCORE 16359.845
AT ITER 4373 NEW BEST:: SOT 102737 SOS 20860 HAS SOPS 18569 HAS SOUS 17191 HAS SOUPS 16328 WITH SCORE 16348.86
AT ITER 4430 NEW BEST:: SOT 102736 SOS 20864 HAS SOPS 18568 HAS SOUS 17194 HAS SOUPS 16326 WITH SCORE 16346.864
AT ITER 4499 NEW BEST:: SOT 102741 SOS 20933 HAS SOPS 18558 HAS SOUS 17199 HAS SOUPS 16316 WITH SCORE 16336.933
AT ITER 4515 NEW BEST:: SOT 102745 SOS 20940 HAS SOPS 18548 HAS SOUS 17189 HAS SOUPS 16306 WITH SCORE 16326.94
AT ITER 4527 NEW BEST:: SOT 102731 SOS 20917 HAS SOPS 18525 HAS SOUS 17175 HAS SOUPS 16292 WITH SCORE 16312.917
AT ITER 4717 NEW BEST:: SOT 102731 SOS 20917 HAS SOPS 18525 HAS SOUS 17163 HAS SOUPS 16280 WITH SCORE 16300.917
AT ITER 4719 NEW BEST:: SOT 102728 SOS 20911 HAS SOPS 18522 HAS SOUS 17160 HAS SOUPS 16277 WITH SCORE 16297.911
AT ITER 4737 NEW BEST:: SOT 102724 SOS 20909 HAS SOPS 18520 HAS SOUS 17158 HAS SOUPS 16275 WITH SCORE 16295.909
AT ITER 4746 NEW BEST:: SOT 102724 SOS 20904 HAS SOPS 18515 HAS SOUS 17158 HAS SOUPS 16275 WITH SCORE 16295.904
AT ITER 4753 NEW BEST:: SOT 102723 SOS 20902 HAS SOPS 18513 HAS SOUS 17156 HAS SOUPS 16273 WITH SCORE 16293.902
AT ITER 4782 NEW BEST:: SOT 102716 SOS 20869 HAS SOPS 18480 HAS SOUS 17120 HAS SOUPS 16237 WITH SCORE 16257.869
AT ITER 4801 NEW BEST:: SOT 102716 SOS 20865 HAS SOPS 18476 HAS SOUS 17116 HAS SOUPS 16233 WITH SCORE 16253.865
AT ITER 4846 NEW BEST:: SOT 102669 SOS 21346 HAS SOPS 18957 HAS SOUS 17099 HAS SOUPS 16216 WITH SCORE 16237.346
AT ITER 4899 NEW BEST:: SOT 102669 SOS 21349 HAS SOPS 18949 HAS SOUS 17091 HAS SOUPS 16208 WITH SCORE 16229.349
AT ITER 4937 NEW BEST:: SOT 102669 SOS 21328 HAS SOPS 18928 HAS SOUS 17091 HAS SOUPS 16208 WITH SCORE 16229.328
AT ITER 4989 NEW BEST:: SOT 102667 SOS 21253 HAS SOPS 18853 HAS SOUS 17076 HAS SOUPS 16193 WITH SCORE 16214.253
AT ITER 4994 NEW BEST:: SOT 102656 SOS 21196 HAS SOPS 18796 HAS SOUS 17064 HAS SOUPS 16181 WITH SCORE 16202.196
AT ITER 5009 NEW BEST:: SOT 102653 SOS 21196 HAS SOPS 18796 HAS SOUS 17061 HAS SOUPS 16178 WITH SCORE 16199.196
AT ITER 5059 NEW BEST:: SOT 102642 SOS 21185 HAS SOPS 18785 HAS SOUS 17050 HAS SOUPS 16167 WITH SCORE 16188.185
AT ITER 5083 NEW BEST:: SOT 102631 SOS 21186 HAS SOPS 18768 HAS SOUS 17033 HAS SOUPS 16150 WITH SCORE 16171.186
AT ITER 5090 NEW BEST:: SOT 102626 SOS 21181 HAS SOPS 18763 HAS SOUS 17023 HAS SOUPS 16140 WITH SCORE 16161.181
AT ITER 5093 NEW BEST:: SOT 102621 SOS 21166 HAS SOPS 18748 HAS SOUS 17008 HAS SOUPS 16125 WITH SCORE 16146.166
AT ITER 5135 NEW BEST:: SOT 102621 SOS 21162 HAS SOPS 18744 HAS SOUS 17008 HAS SOUPS 16125 WITH SCORE 16146.162
AT ITER 5177 NEW BEST:: SOT 102611 SOS 21152 HAS SOPS 18734 HAS SOUS 16988 HAS SOUPS 16105 WITH SCORE 16126.152
AT ITER 5194 NEW BEST:: SOT 102608 SOS 21155 HAS SOPS 18731 HAS SOUS 16985 HAS SOUPS 16102 WITH SCORE 16123.155
AT ITER 5201 NEW BEST:: SOT 102608 SOS 21155 HAS SOPS 18731 HAS SOUS 16962 HAS SOUPS 16079 WITH SCORE 16100.155
AT ITER 5211 NEW BEST:: SOT 102604 SOS 21150 HAS SOPS 18726 HAS SOUS 16957 HAS SOUPS 16074 WITH SCORE 16095.15
AT ITER 5251 NEW BEST:: SOT 102588 SOS 21122 HAS SOPS 18698 HAS SOUS 16941 HAS SOUPS 16058 WITH SCORE 16079.122
AT ITER 5253 NEW BEST:: SOT 102588 SOS 21116 HAS SOPS 18692 HAS SOUS 16941 HAS SOUPS 16058 WITH SCORE 16079.116
AT ITER 5324 NEW BEST:: SOT 102603 SOS 21104 HAS SOPS 18680 HAS SOUS 16936 HAS SOUPS 16053 WITH SCORE 16074.104
AT ITER 5338 NEW BEST:: SOT 102595 SOS 21084 HAS SOPS 18657 HAS SOUS 16913 HAS SOUPS 16030 WITH SCORE 16051.084
AT ITER 5372 NEW BEST:: SOT 102585 SOS 21077 HAS SOPS 18655 HAS SOUS 16911 HAS SOUPS 16028 WITH SCORE 16049.077
AT ITER 5398 NEW BEST:: SOT 102577 SOS 21093 HAS SOPS 18671 HAS SOUS 16904 HAS SOUPS 16021 WITH SCORE 16042.093
AT ITER 5460 NEW BEST:: SOT 102591 SOS 21110 HAS SOPS 18667 HAS SOUS 16903 HAS SOUPS 16020 WITH SCORE 16041.11
AT ITER 5494 NEW BEST:: SOT 102584 SOS 21111 HAS SOPS 18668 HAS SOUS 16897 HAS SOUPS 16014 WITH SCORE 16035.111
AT ITER 5537 NEW BEST:: SOT 102576 SOS 21102 HAS SOPS 18651 HAS SOUS 16881 HAS SOUPS 15998 WITH SCORE 16019.102
AT ITER 5710 NEW BEST:: SOT 102575 SOS 21101 HAS SOPS 18650 HAS SOUS 16880 HAS SOUPS 15997 WITH SCORE 16018.101
AT ITER 5875 NEW BEST:: SOT 102567 SOS 21093 HAS SOPS 18642 HAS SOUS 16864 HAS SOUPS 15981 WITH SCORE 16002.093
AT ITER 6030 NEW BEST:: SOT 102549 SOS 20814 HAS SOPS 18363 HAS SOUS 16859 HAS SOUPS 15976 WITH SCORE 15996.814
AT ITER 6073 NEW BEST:: SOT 102549 SOS 20782 HAS SOPS 18331 HAS SOUS 16858 HAS SOUPS 15975 WITH SCORE 15995.782
AT ITER 6127 NEW BEST:: SOT 102544 SOS 20782 HAS SOPS 18331 HAS SOUS 16853 HAS SOUPS 15970 WITH SCORE 15990.782
AT ITER 6130 NEW BEST:: SOT 102560 SOS 20798 HAS SOPS 18347 HAS SOUS 16840 HAS SOUPS 15957 WITH SCORE 15977.798
AT ITER 6133 NEW BEST:: SOT 102546 SOS 20783 HAS SOPS 18332 HAS SOUS 16825 HAS SOUPS 15942 WITH SCORE 15962.783
AT ITER 6143 NEW BEST:: SOT 102543 SOS 20780 HAS SOPS 18329 HAS SOUS 16822 HAS SOUPS 15939 WITH SCORE 15959.78
AT ITER 6172 NEW BEST:: SOT 102543 SOS 20772 HAS SOPS 18321 HAS SOUS 16822 HAS SOUPS 15939 WITH SCORE 15959.772
AT ITER 6181 NEW BEST:: SOT 102542 SOS 20771 HAS SOPS 18320 HAS SOUS 16821 HAS SOUPS 15938 WITH SCORE 15958.771
AT ITER 6211 NEW BEST:: SOT 102529 SOS 20775 HAS SOPS 18288 HAS SOUS 16789 HAS SOUPS 15906 WITH SCORE 15926.775
AT ITER 6223 NEW BEST:: SOT 102483 SOS 20817 HAS SOPS 18330 HAS SOUS 16766 HAS SOUPS 15883 WITH SCORE 15903.817
AT ITER 6251 NEW BEST:: SOT 102483 SOS 20802 HAS SOPS 18315 HAS SOUS 16766 HAS SOUPS 15883 WITH SCORE 15903.802
AT ITER 6268 NEW BEST:: SOT 102483 SOS 20786 HAS SOPS 18299 HAS SOUS 16766 HAS SOUPS 15883 WITH SCORE 15903.786
AT ITER 6274 NEW BEST:: SOT 102483 SOS 20786 HAS SOPS 18299 HAS SOUS 16734 HAS SOUPS 15851 WITH SCORE 15871.786
AT ITER 6295 NEW BEST:: SOT 102482 SOS 20711 HAS SOPS 18224 HAS SOUS 16729 HAS SOUPS 15846 WITH SCORE 15866.711
AT ITER 6300 NEW BEST:: SOT 102479 SOS 20688 HAS SOPS 18201 HAS SOUS 16726 HAS SOUPS 15843 WITH SCORE 15863.688
AT ITER 6308 NEW BEST:: SOT 102479 SOS 20680 HAS SOPS 18193 HAS SOUS 16718 HAS SOUPS 15835 WITH SCORE 15855.68
AT ITER 6376 NEW BEST:: SOT 102467 SOS 20668 HAS SOPS 18181 HAS SOUS 16706 HAS SOUPS 15823 WITH SCORE 15843.668
AT ITER 6387 NEW BEST:: SOT 102467 SOS 20665 HAS SOPS 18178 HAS SOUS 16706 HAS SOUPS 15823 WITH SCORE 15843.665
AT ITER 6428 NEW BEST:: SOT 102456 SOS 20660 HAS SOPS 18173 HAS SOUS 16690 HAS SOUPS 15807 WITH SCORE 15827.66
AT ITER 6558 NEW BEST:: SOT 102469 SOS 20673 HAS SOPS 18186 HAS SOUS 16685 HAS SOUPS 15802 WITH SCORE 15822.673
AT ITER 6579 NEW BEST:: SOT 102469 SOS 20671 HAS SOPS 18186 HAS SOUS 16685 HAS SOUPS 15802 WITH SCORE 15822.671
AT ITER 6622 NEW BEST:: SOT 102472 SOS 20657 HAS SOPS 18175 HAS SOUS 16679 HAS SOUPS 15796 WITH SCORE 15816.657
AT ITER 6635 NEW BEST:: SOT 102481 SOS 20666 HAS SOPS 18184 HAS SOUS 16651 HAS SOUPS 15768 WITH SCORE 15788.666
AT ITER 6704 NEW BEST:: SOT 102479 SOS 20662 HAS SOPS 18178 HAS SOUS 16645 HAS SOUPS 15762 WITH SCORE 15782.662
AT ITER 6711 NEW BEST:: SOT 102442 SOS 20639 HAS SOPS 18155 HAS SOUS 16634 HAS SOUPS 15751 WITH SCORE 15771.639
AT ITER 6713 NEW BEST:: SOT 102438 SOS 20631 HAS SOPS 18147 HAS SOUS 16626 HAS SOUPS 15743 WITH SCORE 15763.631
AT ITER 6757 NEW BEST:: SOT 102438 SOS 20627 HAS SOPS 18143 HAS SOUS 16622 HAS SOUPS 15739 WITH SCORE 15759.627
AT ITER 6773 NEW BEST:: SOT 102438 SOS 20617 HAS SOPS 18133 HAS SOUS 16622 HAS SOUPS 15739 WITH SCORE 15759.617
AT ITER 6805 NEW BEST:: SOT 102441 SOS 20620 HAS SOPS 18136 HAS SOUS 16619 HAS SOUPS 15736 WITH SCORE 15756.62
AT ITER 6814 NEW BEST:: SOT 102437 SOS 20633 HAS SOPS 18133 HAS SOUS 16630 HAS SOUPS 15731 WITH SCORE 15751.633
AT ITER 6864 NEW BEST:: SOT 102431 SOS 20627 HAS SOPS 18127 HAS SOUS 16624 HAS SOUPS 15725 WITH SCORE 15745.627
AT ITER 6932 NEW BEST:: SOT 102419 SOS 20611 HAS SOPS 18127 HAS SOUS 16624 HAS SOUPS 15725 WITH SCORE 15745.611
AT ITER 6945 NEW BEST:: SOT 102415 SOS 20607 HAS SOPS 18123 HAS SOUS 16620 HAS SOUPS 15721 WITH SCORE 15741.607
AT ITER 6949 NEW BEST:: SOT 102415 SOS 20607 HAS SOPS 18123 HAS SOUS 16619 HAS SOUPS 15720 WITH SCORE 15740.607
AT ITER 6961 NEW BEST:: SOT 102372 SOS 20622 HAS SOPS 18138 HAS SOUS 16591 HAS SOUPS 15692 WITH SCORE 15712.622
AT ITER 6999 NEW BEST:: SOT 102369 SOS 20619 HAS SOPS 18135 HAS SOUS 16585 HAS SOUPS 15686 WITH SCORE 15706.619
AT ITER 7016 NEW BEST:: SOT 102369 SOS 20618 HAS SOPS 18134 HAS SOUS 16584 HAS SOUPS 15685 WITH SCORE 15705.618
AT ITER 7081 NEW BEST:: SOT 102368 SOS 20617 HAS SOPS 18133 HAS SOUS 16583 HAS SOUPS 15684 WITH SCORE 15704.617
AT ITER 7138 NEW BEST:: SOT 102361 SOS 20626 HAS SOPS 18128 HAS SOUS 16578 HAS SOUPS 15679 WITH SCORE 15699.626
AT ITER 7153 NEW BEST:: SOT 102360 SOS 20661 HAS SOPS 18127 HAS SOUS 16583 HAS SOUPS 15678 WITH SCORE 15698.661
AT ITER 7156 NEW BEST:: SOT 102360 SOS 20657 HAS SOPS 18127 HAS SOUS 16583 HAS SOUPS 15678 WITH SCORE 15698.657
AT ITER 7187 NEW BEST:: SOT 102359 SOS 20656 HAS SOPS 18126 HAS SOUS 16582 HAS SOUPS 15677 WITH SCORE 15697.656
AT ITER 7192 NEW BEST:: SOT 102352 SOS 20662 HAS SOPS 18125 HAS SOUS 16581 HAS SOUPS 15676 WITH SCORE 15696.662
AT ITER 7215 NEW BEST:: SOT 102352 SOS 20648 HAS SOPS 18111 HAS SOUS 16567 HAS SOUPS 15662 WITH SCORE 15682.648
AT ITER 7279 NEW BEST:: SOT 102352 SOS 20625 HAS SOPS 18088 HAS SOUS 16559 HAS SOUPS 15654 WITH SCORE 15674.625
AT ITER 7340 NEW BEST:: SOT 102352 SOS 20617 HAS SOPS 18080 HAS SOUS 16553 HAS SOUPS 15648 WITH SCORE 15668.617
AT ITER 7500 NEW BEST:: SOT 102352 SOS 20596 HAS SOPS 18059 HAS SOUS 16551 HAS SOUPS 15646 WITH SCORE 15666.596
AT ITER 7532 NEW BEST:: SOT 102345 SOS 20594 HAS SOPS 18057 HAS SOUS 16549 HAS SOUPS 15644 WITH SCORE 15664.594
AT ITER 7618 NEW BEST:: SOT 102340 SOS 20589 HAS SOPS 18052 HAS SOUS 16539 HAS SOUPS 15634 WITH SCORE 15654.589
AT ITER 7632 NEW BEST:: SOT 102347 SOS 20624 HAS SOPS 18047 HAS SOUS 16534 HAS SOUPS 15629 WITH SCORE 15649.624
AT ITER 7668 NEW BEST:: SOT 102342 SOS 20619 HAS SOPS 18042 HAS SOUS 16534 HAS SOUPS 15629 WITH SCORE 15649.619
AT ITER 7702 NEW BEST:: SOT 102324 SOS 20622 HAS SOPS 18031 HAS SOUS 16530 HAS SOUPS 15618 WITH SCORE 15638.622
AT ITER 7775 NEW BEST:: SOT 102324 SOS 20613 HAS SOPS 18022 HAS SOUS 16530 HAS SOUPS 15618 WITH SCORE 15638.613
AT ITER 7801 NEW BEST:: SOT 102324 SOS 20605 HAS SOPS 18014 HAS SOUS 16530 HAS SOUPS 15618 WITH SCORE 15638.605
AT ITER 7846 NEW BEST:: SOT 102324 SOS 20594 HAS SOPS 18003 HAS SOUS 16519 HAS SOUPS 15607 WITH SCORE 15627.594
AT ITER 7855 NEW BEST:: SOT 102317 SOS 20587 HAS SOPS 17996 HAS SOUS 16505 HAS SOUPS 15593 WITH SCORE 15613.587
AT ITER 7890 NEW BEST:: SOT 102317 SOS 20577 HAS SOPS 17986 HAS SOUS 16505 HAS SOUPS 15593 WITH SCORE 15613.577
AT ITER 7902 NEW BEST:: SOT 102321 SOS 20581 HAS SOPS 17990 HAS SOUS 16467 HAS SOUPS 15555 WITH SCORE 15575.581
AT ITER 7932 NEW BEST:: SOT 102313 SOS 20573 HAS SOPS 17982 HAS SOUS 16451 HAS SOUPS 15539 WITH SCORE 15559.573
AT ITER 7999 NEW BEST:: SOT 102304 SOS 20564 HAS SOPS 17973 HAS SOUS 16442 HAS SOUPS 15530 WITH SCORE 15550.564
AT ITER 8021 NEW BEST:: SOT 102305 SOS 20571 HAS SOPS 17970 HAS SOUS 16449 HAS SOUPS 15527 WITH SCORE 15547.571
AT ITER 8075 NEW BEST:: SOT 102293 SOS 20637 HAS SOPS 18036 HAS SOUS 16448 HAS SOUPS 15526 WITH SCORE 15546.637
AT ITER 8078 NEW BEST:: SOT 102290 SOS 20625 HAS SOPS 18024 HAS SOUS 16442 HAS SOUPS 15520 WITH SCORE 15540.625
AT ITER 8106 NEW BEST:: SOT 102290 SOS 20617 HAS SOPS 18016 HAS SOUS 16439 HAS SOUPS 15517 WITH SCORE 15537.617
AT ITER 8123 NEW BEST:: SOT 102288 SOS 20601 HAS SOPS 18000 HAS SOUS 16435 HAS SOUPS 15513 WITH SCORE 15533.601
AT ITER 8130 NEW BEST:: SOT 102288 SOS 20597 HAS SOPS 17996 HAS SOUS 16435 HAS SOUPS 15513 WITH SCORE 15533.597
AT ITER 8154 NEW BEST:: SOT 102288 SOS 20591 HAS SOPS 17990 HAS SOUS 16435 HAS SOUPS 15513 WITH SCORE 15533.591
AT ITER 8174 NEW BEST:: SOT 102288 SOS 20591 HAS SOPS 17990 HAS SOUS 16430 HAS SOUPS 15508 WITH SCORE 15528.591
AT ITER 8250 NEW BEST:: SOT 102273 SOS 20589 HAS SOPS 17988 HAS SOUS 16430 HAS SOUPS 15508 WITH SCORE 15528.589
AT ITER 8253 NEW BEST:: SOT 102273 SOS 20583 HAS SOPS 17982 HAS SOUS 16424 HAS SOUPS 15502 WITH SCORE 15522.583
AT ITER 8265 NEW BEST:: SOT 102271 SOS 20579 HAS SOPS 17978 HAS SOUS 16420 HAS SOUPS 15498 WITH SCORE 15518.579
AT ITER 8291 NEW BEST:: SOT 102271 SOS 20569 HAS SOPS 17968 HAS SOUS 16410 HAS SOUPS 15488 WITH SCORE 15508.569
AT ITER 8338 NEW BEST:: SOT 102255 SOS 20564 HAS SOPS 17963 HAS SOUS 16405 HAS SOUPS 15483 WITH SCORE 15503.564
AT ITER 8406 NEW BEST:: SOT 102254 SOS 20557 HAS SOPS 17956 HAS SOUS 16403 HAS SOUPS 15481 WITH SCORE 15501.557
AT ITER 8425 NEW BEST:: SOT 102253 SOS 20556 HAS SOPS 17955 HAS SOUS 16402 HAS SOUPS 15480 WITH SCORE 15500.556
AT ITER 8445 NEW BEST:: SOT 102253 SOS 20556 HAS SOPS 17955 HAS SOUS 16393 HAS SOUPS 15471 WITH SCORE 15491.556
AT ITER 8455 NEW BEST:: SOT 102247 SOS 20573 HAS SOPS 17968 HAS SOUS 16396 HAS SOUPS 15470 WITH SCORE 15490.573
AT ITER 8473 NEW BEST:: SOT 102224 SOS 20590 HAS SOPS 17985 HAS SOUS 16389 HAS SOUPS 15463 WITH SCORE 15483.59
AT ITER 8531 NEW BEST:: SOT 102222 SOS 20588 HAS SOPS 17981 HAS SOUS 16387 HAS SOUPS 15459 WITH SCORE 15479.588
AT ITER 8535 NEW BEST:: SOT 102222 SOS 20631 HAS SOPS 17975 HAS SOUS 16381 HAS SOUPS 15453 WITH SCORE 15473.631
AT ITER 8556 NEW BEST:: SOT 102219 SOS 20627 HAS SOPS 17971 HAS SOUS 16374 HAS SOUPS 15446 WITH SCORE 15466.627
AT ITER 8609 NEW BEST:: SOT 102217 SOS 20610 HAS SOPS 17944 HAS SOUS 16347 HAS SOUPS 15419 WITH SCORE 15439.61
AT ITER 8792 NEW BEST:: SOT 102216 SOS 20609 HAS SOPS 17934 HAS SOUS 16346 HAS SOUPS 15409 WITH SCORE 15429.609
AT ITER 8805 NEW BEST:: SOT 102216 SOS 20611 HAS SOPS 17936 HAS SOUS 16345 HAS SOUPS 15408 WITH SCORE 15428.611
AT ITER 8839 NEW BEST:: SOT 102209 SOS 20611 HAS SOPS 17936 HAS SOUS 16338 HAS SOUPS 15401 WITH SCORE 15421.611
AT ITER 8865 NEW BEST:: SOT 102209 SOS 20608 HAS SOPS 17934 HAS SOUS 16338 HAS SOUPS 15401 WITH SCORE 15421.608
AT ITER 8948 NEW BEST:: SOT 102202 SOS 20964 HAS SOPS 17927 HAS SOUS 16366 HAS SOUPS 15387 WITH SCORE 15407.964
AT ITER 9040 NEW BEST:: SOT 102202 SOS 20962 HAS SOPS 17925 HAS SOUS 16360 HAS SOUPS 15381 WITH SCORE 15401.962
AT ITER 9060 NEW BEST:: SOT 102194 SOS 20965 HAS SOPS 17928 HAS SOUS 16351 HAS SOUPS 15372 WITH SCORE 15392.965
AT ITER 9070 NEW BEST:: SOT 102191 SOS 20962 HAS SOPS 17925 HAS SOUS 16348 HAS SOUPS 15369 WITH SCORE 15389.962
AT ITER 9170 NEW BEST:: SOT 102190 SOS 20961 HAS SOPS 17924 HAS SOUS 16347 HAS SOUPS 15368 WITH SCORE 15388.961
AT ITER 9184 NEW BEST:: SOT 102190 SOS 20955 HAS SOPS 17918 HAS SOUS 16347 HAS SOUPS 15368 WITH SCORE 15388.955
AT ITER 9201 NEW BEST:: SOT 102186 SOS 20947 HAS SOPS 17906 HAS SOUS 16336 HAS SOUPS 15357 WITH SCORE 15377.947
AT ITER 9297 NEW BEST:: SOT 102186 SOS 20947 HAS SOPS 17905 HAS SOUS 16335 HAS SOUPS 15356 WITH SCORE 15376.947
AT ITER 9318 NEW BEST:: SOT 102188 SOS 20930 HAS SOPS 17888 HAS SOUS 16320 HAS SOUPS 15341 WITH SCORE 15361.93
AT ITER 9336 NEW BEST:: SOT 102180 SOS 20922 HAS SOPS 17880 HAS SOUS 16312 HAS SOUPS 15333 WITH SCORE 15353.922
AT ITER 9391 NEW BEST:: SOT 102153 SOS 20861 HAS SOPS 17863 HAS SOUS 16269 HAS SOUPS 15290 WITH SCORE 15310.861
AT ITER 9485 NEW BEST:: SOT 102152 SOS 20857 HAS SOPS 17859 HAS SOUS 16267 HAS SOUPS 15288 WITH SCORE 15308.857
AT ITER 9610 NEW BEST:: SOT 102147 SOS 20856 HAS SOPS 17853 HAS SOUS 16261 HAS SOUPS 15282 WITH SCORE 15302.856
AT ITER 9622 NEW BEST:: SOT 102147 SOS 20855 HAS SOPS 17852 HAS SOUS 16261 HAS SOUPS 15282 WITH SCORE 15302.855
AT ITER 9653 NEW BEST:: SOT 102147 SOS 20855 HAS SOPS 17852 HAS SOUS 16255 HAS SOUPS 15276 WITH SCORE 15296.855
AT ITER 9727 NEW BEST:: SOT 102146 SOS 20856 HAS SOPS 17853 HAS SOUS 16240 HAS SOUPS 15261 WITH SCORE 15281.856
AT ITER 9761 NEW BEST:: SOT 102146 SOS 20845 HAS SOPS 17842 HAS SOUS 16240 HAS SOUPS 15261 WITH SCORE 15281.845
AT ITER 9820 NEW BEST:: SOT 102139 SOS 20836 HAS SOPS 17833 HAS SOUS 16234 HAS SOUPS 15255 WITH SCORE 15275.836
AT ITER 9952 NEW BEST:: SOT 102133 SOS 20836 HAS SOPS 17833 HAS SOUS 16228 HAS SOUPS 15249 WITH SCORE 15269.836
AT ITER 9992 NEW BEST:: SOT 102114 SOS 20817 HAS SOPS 17814 HAS SOUS 16190 HAS SOUPS 15211 WITH SCORE 15231.817
STATE_SPACE STATES 26263874 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 3 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 18 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 80531277 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
BK_STOP 1678657791882
--------------------
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="LeafsetExtension-PT-S08C3"
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 LeafsetExtension-PT-S08C3, 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 r235-tall-167856421800464"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/LeafsetExtension-PT-S08C3.tgz
mv LeafsetExtension-PT-S08C3 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 '
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 ;