About the Execution of Smart+red for Peterson-PT-3
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 421.067 | 35739.00 | 42965.00 | 421.90 | 3.4079E+0006 1.3632E+0007 1 11 | 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.r267-smll-167863542100616.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 Peterson-PT-3, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r267-smll-167863542100616
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.6M
-rw-r--r-- 1 mcc users 29K Feb 25 22:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 157K Feb 25 22:09 CTLCardinality.xml
-rw-r--r-- 1 mcc users 40K Feb 25 22:05 CTLFireability.txt
-rw-r--r-- 1 mcc users 194K Feb 25 22:05 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 15K Feb 25 16:31 LTLCardinality.txt
-rw-r--r-- 1 mcc users 50K Feb 25 16:31 LTLCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 16:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 25 16:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 93K Feb 25 22:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 439K Feb 25 22:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 58K Feb 25 22:11 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 283K Feb 25 22:11 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 4.5K Feb 25 16:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 11K Feb 25 16:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 143K Mar 5 18:23 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 1678942818767
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=Peterson-PT-3
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-16 05:00:21] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-16 05:00:21] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-16 05:00:21] [INFO ] Load time of PNML (sax parser for PT used): 126 ms
[2023-03-16 05:00:21] [INFO ] Transformed 244 places.
[2023-03-16 05:00:22] [INFO ] Transformed 332 transitions.
[2023-03-16 05:00:22] [INFO ] Found NUPN structural information;
[2023-03-16 05:00:22] [INFO ] Completing missing partition info from NUPN : creating a component with [TestAlone_1_2_3, TestAlone_2_2_3]
[2023-03-16 05:00:22] [INFO ] Parsed PT model containing 244 places and 332 transitions and 1016 arcs in 299 ms.
[2023-03-16 05:00:22] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 244 places, 332 transitions and 1016 arcs took 12 ms.
Total runtime 372 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Peterson (PT), instance 3
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: 244 places, 332 transitions, 1016 arcs.
AT ITER 0 NEW BEST:: SOT 54028 SOS 21060 HAS SOPS 19742 HAS SOUS 20059 HAS SOUPS 19277 WITH SCORE 19298.06
AT ITER 6 NEW BEST:: SOT 53997 SOS 20998 HAS SOPS 19680 HAS SOUS 19997 HAS SOUPS 19215 WITH SCORE 19235.998
AT ITER 9 NEW BEST:: SOT 53995 SOS 20994 HAS SOPS 19676 HAS SOUS 19993 HAS SOUPS 19211 WITH SCORE 19231.994
AT ITER 10 NEW BEST:: SOT 53814 SOS 21102 HAS SOPS 19251 HAS SOUS 20032 HAS SOUPS 18992 WITH SCORE 19013.102
AT ITER 11 NEW BEST:: SOT 53718 SOS 21023 HAS SOPS 19155 HAS SOUS 19953 HAS SOUPS 18896 WITH SCORE 18917.023
AT ITER 17 NEW BEST:: SOT 53736 SOS 21059 HAS SOPS 19017 HAS SOUS 19815 HAS SOUPS 18758 WITH SCORE 18779.059
AT ITER 23 NEW BEST:: SOT 53706 SOS 20959 HAS SOPS 18957 HAS SOUS 19755 HAS SOUPS 18698 WITH SCORE 18718.959
AT ITER 25 NEW BEST:: SOT 53704 SOS 21031 HAS SOPS 18953 HAS SOUS 19751 HAS SOUPS 18694 WITH SCORE 18715.031
AT ITER 27 NEW BEST:: SOT 53669 SOS 20976 HAS SOPS 18898 HAS SOUS 19689 HAS SOUPS 18632 WITH SCORE 18652.976
AT ITER 29 NEW BEST:: SOT 53428 SOS 20769 HAS SOPS 18691 HAS SOUS 19448 HAS SOUPS 18391 WITH SCORE 18411.769
AT ITER 30 NEW BEST:: SOT 53379 SOS 20671 HAS SOPS 18593 HAS SOUS 19350 HAS SOUPS 18293 WITH SCORE 18313.671
AT ITER 31 NEW BEST:: SOT 53379 SOS 20671 HAS SOPS 18567 HAS SOUS 19324 HAS SOUPS 18267 WITH SCORE 18287.671
AT ITER 38 NEW BEST:: SOT 53375 SOS 20658 HAS SOPS 18544 HAS SOUS 19301 HAS SOUPS 18244 WITH SCORE 18264.658
AT ITER 39 NEW BEST:: SOT 53359 SOS 20618 HAS SOPS 18504 HAS SOUS 19289 HAS SOUPS 18232 WITH SCORE 18252.618
AT ITER 40 NEW BEST:: SOT 53355 SOS 20610 HAS SOPS 18496 HAS SOUS 19281 HAS SOUPS 18224 WITH SCORE 18244.61
AT ITER 42 NEW BEST:: SOT 53355 SOS 20581 HAS SOPS 18467 HAS SOUS 19252 HAS SOUPS 18195 WITH SCORE 18215.581
AT ITER 49 NEW BEST:: SOT 53282 SOS 20444 HAS SOPS 18330 HAS SOUS 19131 HAS SOUPS 18074 WITH SCORE 18094.444
AT ITER 50 NEW BEST:: SOT 53232 SOS 20271 HAS SOPS 18294 HAS SOUS 19032 HAS SOUPS 18009 WITH SCORE 18029.271
AT ITER 51 NEW BEST:: SOT 53232 SOS 20263 HAS SOPS 18286 HAS SOUS 19024 HAS SOUPS 18001 WITH SCORE 18021.263
AT ITER 52 NEW BEST:: SOT 53217 SOS 20233 HAS SOPS 18241 HAS SOUS 18990 HAS SOUPS 17967 WITH SCORE 17987.233
AT ITER 57 NEW BEST:: SOT 53187 SOS 20239 HAS SOPS 18248 HAS SOUS 18962 HAS SOUPS 17939 WITH SCORE 17959.239
AT ITER 61 NEW BEST:: SOT 53170 SOS 20131 HAS SOPS 18361 HAS SOUS 18738 HAS SOUPS 17802 WITH SCORE 17822.131
AT ITER 67 NEW BEST:: SOT 53350 SOS 20362 HAS SOPS 18319 HAS SOUS 18785 HAS SOUPS 17760 WITH SCORE 17780.362
AT ITER 68 NEW BEST:: SOT 53335 SOS 20327 HAS SOPS 18299 HAS SOUS 18750 HAS SOUPS 17740 WITH SCORE 17760.327
AT ITER 81 NEW BEST:: SOT 53194 SOS 20257 HAS SOPS 18126 HAS SOUS 18691 HAS SOUPS 17632 WITH SCORE 17652.257
AT ITER 92 NEW BEST:: SOT 53042 SOS 20130 HAS SOPS 17974 HAS SOUS 18564 HAS SOUPS 17480 WITH SCORE 17500.13
AT ITER 95 NEW BEST:: SOT 53001 SOS 20117 HAS SOPS 17961 HAS SOUS 18518 HAS SOUPS 17434 WITH SCORE 17454.117
AT ITER 97 NEW BEST:: SOT 53000 SOS 20115 HAS SOPS 17959 HAS SOUS 18516 HAS SOUPS 17432 WITH SCORE 17452.115
AT ITER 103 NEW BEST:: SOT 53017 SOS 20097 HAS SOPS 17941 HAS SOUS 18498 HAS SOUPS 17414 WITH SCORE 17434.097
AT ITER 110 NEW BEST:: SOT 53009 SOS 20081 HAS SOPS 17925 HAS SOUS 18482 HAS SOUPS 17398 WITH SCORE 17418.081
AT ITER 115 NEW BEST:: SOT 52970 SOS 20003 HAS SOPS 17785 HAS SOUS 18342 HAS SOUPS 17258 WITH SCORE 17278.003
AT ITER 120 NEW BEST:: SOT 52970 SOS 19991 HAS SOPS 17785 HAS SOUS 18342 HAS SOUPS 17258 WITH SCORE 17277.991
AT ITER 122 NEW BEST:: SOT 52966 SOS 19985 HAS SOPS 17779 HAS SOUS 18336 HAS SOUPS 17252 WITH SCORE 17271.985
AT ITER 142 NEW BEST:: SOT 52841 SOS 19864 HAS SOPS 17658 HAS SOUS 18215 HAS SOUPS 17131 WITH SCORE 17150.864
AT ITER 148 NEW BEST:: SOT 52293 SOS 19519 HAS SOPS 17364 HAS SOUS 17769 HAS SOUPS 16685 WITH SCORE 16704.519
AT ITER 152 NEW BEST:: SOT 52286 SOS 19495 HAS SOPS 17340 HAS SOUS 17753 HAS SOUPS 16669 WITH SCORE 16688.495
AT ITER 154 NEW BEST:: SOT 52235 SOS 19401 HAS SOPS 17283 HAS SOUS 17696 HAS SOUPS 16612 WITH SCORE 16631.401
AT ITER 157 NEW BEST:: SOT 52219 SOS 19369 HAS SOPS 17251 HAS SOUS 17664 HAS SOUPS 16580 WITH SCORE 16599.369
AT ITER 158 NEW BEST:: SOT 52228 SOS 19362 HAS SOPS 17125 HAS SOUS 17538 HAS SOUPS 16454 WITH SCORE 16473.362
AT ITER 164 NEW BEST:: SOT 52199 SOS 19304 HAS SOPS 17067 HAS SOUS 17480 HAS SOUPS 16396 WITH SCORE 16415.304
AT ITER 167 NEW BEST:: SOT 52198 SOS 19302 HAS SOPS 17065 HAS SOUS 17478 HAS SOUPS 16394 WITH SCORE 16413.302
AT ITER 168 NEW BEST:: SOT 52212 SOS 19053 HAS SOPS 17050 HAS SOUS 16973 HAS SOUPS 15994 WITH SCORE 16013.053
AT ITER 169 NEW BEST:: SOT 52257 SOS 19083 HAS SOPS 17035 HAS SOUS 17003 HAS SOUPS 15979 WITH SCORE 15998.083
AT ITER 175 NEW BEST:: SOT 52255 SOS 19081 HAS SOPS 17031 HAS SOUS 16999 HAS SOUPS 15975 WITH SCORE 15994.081
AT ITER 176 NEW BEST:: SOT 52235 SOS 19060 HAS SOPS 16991 HAS SOUS 16959 HAS SOUPS 15935 WITH SCORE 15954.06
AT ITER 181 NEW BEST:: SOT 52161 SOS 18912 HAS SOPS 16843 HAS SOUS 16811 HAS SOUPS 15787 WITH SCORE 15805.912
AT ITER 183 NEW BEST:: SOT 51879 SOS 18724 HAS SOPS 16691 HAS SOUS 16586 HAS SOUPS 15562 WITH SCORE 15580.724
AT ITER 186 NEW BEST:: SOT 51871 SOS 18716 HAS SOPS 16683 HAS SOUS 16578 HAS SOUPS 15554 WITH SCORE 15572.716
AT ITER 188 NEW BEST:: SOT 51864 SOS 18664 HAS SOPS 16669 HAS SOUS 16519 HAS SOUPS 15495 WITH SCORE 15513.664
AT ITER 192 NEW BEST:: SOT 51829 SOS 18728 HAS SOPS 16704 HAS SOUS 16524 HAS SOUPS 15464 WITH SCORE 15482.728
AT ITER 201 NEW BEST:: SOT 51810 SOS 18690 HAS SOPS 16666 HAS SOUS 16486 HAS SOUPS 15426 WITH SCORE 15444.69
AT ITER 206 NEW BEST:: SOT 51810 SOS 18676 HAS SOPS 16666 HAS SOUS 16486 HAS SOUPS 15426 WITH SCORE 15444.676
AT ITER 212 NEW BEST:: SOT 51809 SOS 18674 HAS SOPS 16664 HAS SOUS 16484 HAS SOUPS 15424 WITH SCORE 15442.674
AT ITER 214 NEW BEST:: SOT 51837 SOS 18658 HAS SOPS 16648 HAS SOUS 16475 HAS SOUPS 15415 WITH SCORE 15433.658
AT ITER 218 NEW BEST:: SOT 51664 SOS 18513 HAS SOPS 16630 HAS SOUS 16344 HAS SOUPS 15375 WITH SCORE 15393.513
AT ITER 225 NEW BEST:: SOT 51690 SOS 18498 HAS SOPS 16669 HAS SOUS 16319 HAS SOUPS 15369 WITH SCORE 15387.498
AT ITER 226 NEW BEST:: SOT 51690 SOS 18445 HAS SOPS 16616 HAS SOUS 16319 HAS SOUPS 15369 WITH SCORE 15387.445
AT ITER 228 NEW BEST:: SOT 51665 SOS 18459 HAS SOPS 16566 HAS SOUS 16290 HAS SOUPS 15319 WITH SCORE 15337.459
AT ITER 230 NEW BEST:: SOT 51664 SOS 18447 HAS SOPS 16554 HAS SOUS 16288 HAS SOUPS 15317 WITH SCORE 15335.447
AT ITER 232 NEW BEST:: SOT 51627 SOS 18794 HAS SOPS 16593 HAS SOUS 16350 HAS SOUPS 15308 WITH SCORE 15326.794
AT ITER 234 NEW BEST:: SOT 51564 SOS 18767 HAS SOPS 16551 HAS SOUS 16255 HAS SOUPS 15213 WITH SCORE 15231.767
AT ITER 237 NEW BEST:: SOT 51509 SOS 18694 HAS SOPS 16470 HAS SOUS 16171 HAS SOUPS 15129 WITH SCORE 15147.694
AT ITER 244 NEW BEST:: SOT 51481 SOS 18562 HAS SOPS 16414 HAS SOUS 16115 HAS SOUPS 15073 WITH SCORE 15091.562
AT ITER 251 NEW BEST:: SOT 51388 SOS 18376 HAS SOPS 16228 HAS SOUS 15929 HAS SOUPS 14887 WITH SCORE 14905.376
AT ITER 261 NEW BEST:: SOT 51387 SOS 18374 HAS SOPS 16226 HAS SOUS 15928 HAS SOUPS 14886 WITH SCORE 14904.374
AT ITER 263 NEW BEST:: SOT 51372 SOS 18344 HAS SOPS 16196 HAS SOUS 15898 HAS SOUPS 14856 WITH SCORE 14874.344
AT ITER 271 NEW BEST:: SOT 51365 SOS 18088 HAS SOPS 16150 HAS SOUS 15790 HAS SOUPS 14787 WITH SCORE 14805.088
AT ITER 280 NEW BEST:: SOT 51397 SOS 18108 HAS SOPS 16107 HAS SOUS 15807 HAS SOUPS 14780 WITH SCORE 14798.108
AT ITER 286 NEW BEST:: SOT 51371 SOS 17789 HAS SOPS 15947 HAS SOUS 15648 HAS SOUPS 14665 WITH SCORE 14682.789
AT ITER 292 NEW BEST:: SOT 51319 SOS 17685 HAS SOPS 15843 HAS SOUS 15528 HAS SOUPS 14545 WITH SCORE 14562.685
AT ITER 302 NEW BEST:: SOT 51316 SOS 17658 HAS SOPS 15816 HAS SOUS 15501 HAS SOUPS 14518 WITH SCORE 14535.658
AT ITER 319 NEW BEST:: SOT 51309 SOS 17644 HAS SOPS 15802 HAS SOUS 15487 HAS SOUPS 14504 WITH SCORE 14521.644
AT ITER 325 NEW BEST:: SOT 51269 SOS 17412 HAS SOPS 15644 HAS SOUS 15200 HAS SOUPS 14257 WITH SCORE 14274.412
AT ITER 326 NEW BEST:: SOT 51255 SOS 17383 HAS SOPS 15630 HAS SOUS 15171 HAS SOUPS 14232 WITH SCORE 14249.383
AT ITER 332 NEW BEST:: SOT 51230 SOS 17307 HAS SOPS 15580 HAS SOUS 15152 HAS SOUPS 14213 WITH SCORE 14230.307
AT ITER 347 NEW BEST:: SOT 51196 SOS 17271 HAS SOPS 15557 HAS SOUS 15097 HAS SOUPS 14158 WITH SCORE 14175.271
AT ITER 354 NEW BEST:: SOT 51196 SOS 17266 HAS SOPS 15557 HAS SOUS 15097 HAS SOUPS 14158 WITH SCORE 14175.266
AT ITER 357 NEW BEST:: SOT 51181 SOS 17236 HAS SOPS 15527 HAS SOUS 15067 HAS SOUPS 14128 WITH SCORE 14145.236
AT ITER 388 NEW BEST:: SOT 51181 SOS 17224 HAS SOPS 15509 HAS SOUS 15061 HAS SOUPS 14122 WITH SCORE 14139.224
AT ITER 393 NEW BEST:: SOT 51165 SOS 17192 HAS SOPS 15477 HAS SOUS 15029 HAS SOUPS 14090 WITH SCORE 14107.192
AT ITER 394 NEW BEST:: SOT 51145 SOS 17152 HAS SOPS 15437 HAS SOUS 14989 HAS SOUPS 14050 WITH SCORE 14067.152
AT ITER 401 NEW BEST:: SOT 51111 SOS 17178 HAS SOPS 15463 HAS SOUS 14969 HAS SOUPS 14030 WITH SCORE 14047.178
AT ITER 405 NEW BEST:: SOT 51070 SOS 17128 HAS SOPS 15413 HAS SOUS 14928 HAS SOUPS 13989 WITH SCORE 14006.128
AT ITER 429 NEW BEST:: SOT 51038 SOS 17091 HAS SOPS 15376 HAS SOUS 14891 HAS SOUPS 13952 WITH SCORE 13969.091
AT ITER 432 NEW BEST:: SOT 50882 SOS 16973 HAS SOPS 15175 HAS SOUS 14806 HAS SOUPS 13807 WITH SCORE 13823.973
AT ITER 434 NEW BEST:: SOT 50883 SOS 16955 HAS SOPS 15170 HAS SOUS 14753 HAS SOUPS 13761 WITH SCORE 13777.955
AT ITER 462 NEW BEST:: SOT 50893 SOS 16951 HAS SOPS 15166 HAS SOUS 14749 HAS SOUPS 13757 WITH SCORE 13773.951
AT ITER 475 NEW BEST:: SOT 50912 SOS 16945 HAS SOPS 15160 HAS SOUS 14756 HAS SOUPS 13749 WITH SCORE 13765.945
AT ITER 478 NEW BEST:: SOT 50873 SOS 16867 HAS SOPS 15082 HAS SOUS 14678 HAS SOUPS 13671 WITH SCORE 13687.867
AT ITER 480 NEW BEST:: SOT 50868 SOS 16857 HAS SOPS 15072 HAS SOUS 14668 HAS SOUPS 13661 WITH SCORE 13677.857
AT ITER 486 NEW BEST:: SOT 50815 SOS 16787 HAS SOPS 15019 HAS SOUS 14579 HAS SOUPS 13572 WITH SCORE 13588.787
AT ITER 487 NEW BEST:: SOT 50790 SOS 16839 HAS SOPS 14984 HAS SOUS 14583 HAS SOUPS 13549 WITH SCORE 13565.839
AT ITER 489 NEW BEST:: SOT 50756 SOS 16822 HAS SOPS 14967 HAS SOUS 14566 HAS SOUPS 13532 WITH SCORE 13548.822
AT ITER 509 NEW BEST:: SOT 50753 SOS 16826 HAS SOPS 14958 HAS SOUS 14560 HAS SOUPS 13523 WITH SCORE 13539.826
AT ITER 526 NEW BEST:: SOT 50752 SOS 16847 HAS SOPS 14956 HAS SOUS 14558 HAS SOUPS 13521 WITH SCORE 13537.847
AT ITER 556 NEW BEST:: SOT 50751 SOS 16845 HAS SOPS 14954 HAS SOUS 14556 HAS SOUPS 13519 WITH SCORE 13535.845
AT ITER 584 NEW BEST:: SOT 50714 SOS 16771 HAS SOPS 14880 HAS SOUS 14519 HAS SOUPS 13482 WITH SCORE 13498.771
AT ITER 585 NEW BEST:: SOT 50815 SOS 16715 HAS SOPS 14824 HAS SOUS 14463 HAS SOUPS 13426 WITH SCORE 13442.715
AT ITER 593 NEW BEST:: SOT 50809 SOS 16703 HAS SOPS 14812 HAS SOUS 14451 HAS SOUPS 13414 WITH SCORE 13430.703
AT ITER 595 NEW BEST:: SOT 50801 SOS 16697 HAS SOPS 14802 HAS SOUS 14445 HAS SOUPS 13404 WITH SCORE 13420.697
AT ITER 609 NEW BEST:: SOT 50798 SOS 16694 HAS SOPS 14799 HAS SOUS 14441 HAS SOUPS 13400 WITH SCORE 13416.694
AT ITER 623 NEW BEST:: SOT 50784 SOS 16666 HAS SOPS 14771 HAS SOUS 14413 HAS SOUPS 13372 WITH SCORE 13388.666
AT ITER 624 NEW BEST:: SOT 50783 SOS 16670 HAS SOPS 14769 HAS SOUS 14411 HAS SOUPS 13370 WITH SCORE 13386.67
AT ITER 644 NEW BEST:: SOT 50789 SOS 16667 HAS SOPS 14766 HAS SOUS 14407 HAS SOUPS 13366 WITH SCORE 13382.667
AT ITER 653 NEW BEST:: SOT 50778 SOS 16740 HAS SOPS 14837 HAS SOUS 14402 HAS SOUPS 13361 WITH SCORE 13377.74
AT ITER 659 NEW BEST:: SOT 50751 SOS 16713 HAS SOPS 14837 HAS SOUS 14378 HAS SOUPS 13361 WITH SCORE 13377.713
AT ITER 660 NEW BEST:: SOT 50770 SOS 16723 HAS SOPS 14761 HAS SOUS 14373 HAS SOUPS 13320 WITH SCORE 13336.723
AT ITER 668 NEW BEST:: SOT 50759 SOS 16712 HAS SOPS 14750 HAS SOUS 14351 HAS SOUPS 13298 WITH SCORE 13314.712
AT ITER 689 NEW BEST:: SOT 50728 SOS 16511 HAS SOPS 14511 HAS SOUS 14251 HAS SOUPS 13198 WITH SCORE 13214.511
AT ITER 691 NEW BEST:: SOT 50700 SOS 16490 HAS SOPS 14511 HAS SOUS 14244 HAS SOUPS 13191 WITH SCORE 13207.49
AT ITER 695 NEW BEST:: SOT 50585 SOS 16482 HAS SOPS 14381 HAS SOUS 14149 HAS SOUPS 13061 WITH SCORE 13077.482
AT ITER 702 NEW BEST:: SOT 50579 SOS 16470 HAS SOPS 14369 HAS SOUS 14137 HAS SOUPS 13049 WITH SCORE 13065.47
AT ITER 703 NEW BEST:: SOT 50552 SOS 16411 HAS SOPS 14310 HAS SOUS 14078 HAS SOUPS 12990 WITH SCORE 13006.411
AT ITER 738 NEW BEST:: SOT 50511 SOS 16335 HAS SOPS 14223 HAS SOUS 13996 HAS SOUPS 12908 WITH SCORE 12924.335
AT ITER 740 NEW BEST:: SOT 50416 SOS 16792 HAS SOPS 14184 HAS SOUS 14028 HAS SOUPS 12826 WITH SCORE 12842.792
AT ITER 747 NEW BEST:: SOT 50416 SOS 16789 HAS SOPS 14184 HAS SOUS 14028 HAS SOUPS 12826 WITH SCORE 12842.789
AT ITER 753 NEW BEST:: SOT 50384 SOS 16824 HAS SOPS 14216 HAS SOUS 13993 HAS SOUPS 12791 WITH SCORE 12807.824
AT ITER 765 NEW BEST:: SOT 50382 SOS 16820 HAS SOPS 14212 HAS SOUS 13991 HAS SOUPS 12789 WITH SCORE 12805.82
AT ITER 770 NEW BEST:: SOT 50379 SOS 16814 HAS SOPS 14206 HAS SOUS 13985 HAS SOUPS 12783 WITH SCORE 12799.814
AT ITER 777 NEW BEST:: SOT 50365 SOS 16798 HAS SOPS 14190 HAS SOUS 13969 HAS SOUPS 12767 WITH SCORE 12783.798
AT ITER 791 NEW BEST:: SOT 50328 SOS 16724 HAS SOPS 14116 HAS SOUS 13895 HAS SOUPS 12693 WITH SCORE 12709.724
AT ITER 792 NEW BEST:: SOT 50319 SOS 16697 HAS SOPS 14089 HAS SOUS 13877 HAS SOUPS 12675 WITH SCORE 12691.697
AT ITER 796 NEW BEST:: SOT 50298 SOS 16639 HAS SOPS 14047 HAS SOUS 13835 HAS SOUPS 12633 WITH SCORE 12649.639
AT ITER 801 NEW BEST:: SOT 50263 SOS 16549 HAS SOPS 13977 HAS SOUS 13765 HAS SOUPS 12563 WITH SCORE 12579.549
AT ITER 809 NEW BEST:: SOT 50243 SOS 16480 HAS SOPS 13917 HAS SOUS 13757 HAS SOUPS 12555 WITH SCORE 12571.48
AT ITER 828 NEW BEST:: SOT 50234 SOS 16409 HAS SOPS 13912 HAS SOUS 13736 HAS SOUPS 12546 WITH SCORE 12562.409
AT ITER 843 NEW BEST:: SOT 50227 SOS 16433 HAS SOPS 13937 HAS SOUS 13723 HAS SOUPS 12533 WITH SCORE 12549.433
AT ITER 861 NEW BEST:: SOT 50206 SOS 16591 HAS SOPS 13878 HAS SOUS 13714 HAS SOUPS 12477 WITH SCORE 12493.591
AT ITER 863 NEW BEST:: SOT 50157 SOS 16544 HAS SOPS 13831 HAS SOUS 13667 HAS SOUPS 12430 WITH SCORE 12446.544
AT ITER 872 NEW BEST:: SOT 50099 SOS 16703 HAS SOPS 13990 HAS SOUS 13664 HAS SOUPS 12427 WITH SCORE 12443.703
AT ITER 884 NEW BEST:: SOT 50028 SOS 17242 HAS SOPS 13899 HAS SOUS 13686 HAS SOUPS 12350 WITH SCORE 12367.242
AT ITER 894 NEW BEST:: SOT 50011 SOS 17187 HAS SOPS 13865 HAS SOUS 13652 HAS SOUPS 12316 WITH SCORE 12333.187
AT ITER 895 NEW BEST:: SOT 50004 SOS 17173 HAS SOPS 13851 HAS SOUS 13638 HAS SOUPS 12302 WITH SCORE 12319.173
AT ITER 904 NEW BEST:: SOT 49955 SOS 17205 HAS SOPS 13806 HAS SOUS 13651 HAS SOUPS 12291 WITH SCORE 12308.205
AT ITER 953 NEW BEST:: SOT 49934 SOS 17161 HAS SOPS 13764 HAS SOUS 13609 HAS SOUPS 12249 WITH SCORE 12266.161
AT ITER 959 NEW BEST:: SOT 49931 SOS 17263 HAS SOPS 13867 HAS SOUS 13571 HAS SOUPS 12211 WITH SCORE 12228.263
AT ITER 968 NEW BEST:: SOT 49898 SOS 17217 HAS SOPS 13814 HAS SOUS 13531 HAS SOUPS 12158 WITH SCORE 12175.217
AT ITER 995 NEW BEST:: SOT 49882 SOS 17191 HAS SOPS 13788 HAS SOUS 13515 HAS SOUPS 12142 WITH SCORE 12159.191
AT ITER 1013 NEW BEST:: SOT 49877 SOS 17181 HAS SOPS 13778 HAS SOUS 13505 HAS SOUPS 12132 WITH SCORE 12149.181
AT ITER 1030 NEW BEST:: SOT 49867 SOS 17135 HAS SOPS 13758 HAS SOUS 13485 HAS SOUPS 12112 WITH SCORE 12129.135
AT ITER 1041 NEW BEST:: SOT 49863 SOS 17127 HAS SOPS 13750 HAS SOUS 13477 HAS SOUPS 12104 WITH SCORE 12121.127
AT ITER 1047 NEW BEST:: SOT 49863 SOS 17135 HAS SOPS 13750 HAS SOUS 13475 HAS SOUPS 12102 WITH SCORE 12119.135
AT ITER 1055 NEW BEST:: SOT 49856 SOS 17121 HAS SOPS 13736 HAS SOUS 13461 HAS SOUPS 12088 WITH SCORE 12105.121
AT ITER 1059 NEW BEST:: SOT 49857 SOS 17114 HAS SOPS 13729 HAS SOUS 13460 HAS SOUPS 12087 WITH SCORE 12104.114
AT ITER 1066 NEW BEST:: SOT 49857 SOS 17123 HAS SOPS 13729 HAS SOUS 13451 HAS SOUPS 12078 WITH SCORE 12095.123
AT ITER 1082 NEW BEST:: SOT 49876 SOS 17118 HAS SOPS 13725 HAS SOUS 13443 HAS SOUPS 12077 WITH SCORE 12094.118
AT ITER 1083 NEW BEST:: SOT 49870 SOS 17106 HAS SOPS 13713 HAS SOUS 13431 HAS SOUPS 12065 WITH SCORE 12082.106
AT ITER 1091 NEW BEST:: SOT 49859 SOS 17095 HAS SOPS 13708 HAS SOUS 13426 HAS SOUPS 12060 WITH SCORE 12077.095
AT ITER 1092 NEW BEST:: SOT 49844 SOS 16920 HAS SOPS 13706 HAS SOUS 13359 HAS SOUPS 12045 WITH SCORE 12061.92
AT ITER 1093 NEW BEST:: SOT 49844 SOS 16683 HAS SOPS 13590 HAS SOUS 13301 HAS SOUPS 12016 WITH SCORE 12032.683
AT ITER 1111 NEW BEST:: SOT 49844 SOS 16805 HAS SOPS 13712 HAS SOUS 13240 HAS SOUPS 11955 WITH SCORE 11971.805
AT ITER 1117 NEW BEST:: SOT 49826 SOS 16787 HAS SOPS 13676 HAS SOUS 13222 HAS SOUPS 11937 WITH SCORE 11953.787
AT ITER 1120 NEW BEST:: SOT 49819 SOS 16773 HAS SOPS 13662 HAS SOUS 13208 HAS SOUPS 11923 WITH SCORE 11939.773
AT ITER 1123 NEW BEST:: SOT 49803 SOS 16741 HAS SOPS 13630 HAS SOUS 13176 HAS SOUPS 11891 WITH SCORE 11907.741
AT ITER 1131 NEW BEST:: SOT 49802 SOS 16781 HAS SOPS 13670 HAS SOUS 13174 HAS SOUPS 11889 WITH SCORE 11905.781
AT ITER 1146 NEW BEST:: SOT 49802 SOS 16757 HAS SOPS 13670 HAS SOUS 13174 HAS SOUPS 11889 WITH SCORE 11905.757
AT ITER 1147 NEW BEST:: SOT 49772 SOS 16697 HAS SOPS 13627 HAS SOUS 13131 HAS SOUPS 11846 WITH SCORE 11862.697
AT ITER 1157 NEW BEST:: SOT 49760 SOS 16726 HAS SOPS 13596 HAS SOUS 13135 HAS SOUPS 11831 WITH SCORE 11847.726
AT ITER 1166 NEW BEST:: SOT 49865 SOS 16804 HAS SOPS 13689 HAS SOUS 13102 HAS SOUPS 11813 WITH SCORE 11829.804
AT ITER 1175 NEW BEST:: SOT 49844 SOS 16762 HAS SOPS 13647 HAS SOUS 13060 HAS SOUPS 11771 WITH SCORE 11787.762
AT ITER 1176 NEW BEST:: SOT 49840 SOS 16748 HAS SOPS 13633 HAS SOUS 13052 HAS SOUPS 11763 WITH SCORE 11779.748
AT ITER 1190 NEW BEST:: SOT 49831 SOS 16747 HAS SOPS 13624 HAS SOUS 13043 HAS SOUPS 11754 WITH SCORE 11770.747
AT ITER 1257 NEW BEST:: SOT 49828 SOS 16744 HAS SOPS 13621 HAS SOUS 13032 HAS SOUPS 11743 WITH SCORE 11759.744
AT ITER 1259 NEW BEST:: SOT 49817 SOS 16665 HAS SOPS 13599 HAS SOUS 13010 HAS SOUPS 11721 WITH SCORE 11737.665
AT ITER 1266 NEW BEST:: SOT 49812 SOS 16660 HAS SOPS 13594 HAS SOUS 13005 HAS SOUPS 11716 WITH SCORE 11732.66
AT ITER 1269 NEW BEST:: SOT 49805 SOS 16632 HAS SOPS 13566 HAS SOUS 12991 HAS SOUPS 11702 WITH SCORE 11718.632
AT ITER 1272 NEW BEST:: SOT 49805 SOS 16560 HAS SOPS 13566 HAS SOUS 12975 HAS SOUPS 11694 WITH SCORE 11710.56
AT ITER 1275 NEW BEST:: SOT 49800 SOS 16550 HAS SOPS 13556 HAS SOUS 12965 HAS SOUPS 11684 WITH SCORE 11700.55
AT ITER 1296 NEW BEST:: SOT 49800 SOS 16547 HAS SOPS 13556 HAS SOUS 12965 HAS SOUPS 11684 WITH SCORE 11700.547
AT ITER 1315 NEW BEST:: SOT 49780 SOS 16384 HAS SOPS 13436 HAS SOUS 12860 HAS SOUPS 11599 WITH SCORE 11615.384
AT ITER 1335 NEW BEST:: SOT 49774 SOS 16372 HAS SOPS 13424 HAS SOUS 12848 HAS SOUPS 11587 WITH SCORE 11603.372
AT ITER 1342 NEW BEST:: SOT 49768 SOS 16360 HAS SOPS 13412 HAS SOUS 12836 HAS SOUPS 11575 WITH SCORE 11591.36
AT ITER 1346 NEW BEST:: SOT 49768 SOS 16364 HAS SOPS 13410 HAS SOUS 12828 HAS SOUPS 11567 WITH SCORE 11583.364
AT ITER 1367 NEW BEST:: SOT 49753 SOS 16358 HAS SOPS 13404 HAS SOUS 12824 HAS SOUPS 11563 WITH SCORE 11579.358
AT ITER 1368 NEW BEST:: SOT 49707 SOS 16266 HAS SOPS 13312 HAS SOUS 12732 HAS SOUPS 11471 WITH SCORE 11487.266
AT ITER 1371 NEW BEST:: SOT 49670 SOS 16236 HAS SOPS 13267 HAS SOUS 12701 HAS SOUPS 11426 WITH SCORE 11442.236
AT ITER 1396 NEW BEST:: SOT 49661 SOS 16199 HAS SOPS 13249 HAS SOUS 12683 HAS SOUPS 11408 WITH SCORE 11424.199
AT ITER 1409 NEW BEST:: SOT 49665 SOS 16207 HAS SOPS 13242 HAS SOUS 12676 HAS SOUPS 11401 WITH SCORE 11417.207
AT ITER 1417 NEW BEST:: SOT 49664 SOS 16154 HAS SOPS 13189 HAS SOUS 12674 HAS SOUPS 11399 WITH SCORE 11415.154
AT ITER 1439 NEW BEST:: SOT 49665 SOS 16164 HAS SOPS 13175 HAS SOUS 12687 HAS SOUPS 11390 WITH SCORE 11406.164
AT ITER 1443 NEW BEST:: SOT 49665 SOS 16104 HAS SOPS 13115 HAS SOUS 12687 HAS SOUPS 11390 WITH SCORE 11406.104
AT ITER 1474 NEW BEST:: SOT 49664 SOS 16100 HAS SOPS 13113 HAS SOUS 12685 HAS SOUPS 11388 WITH SCORE 11404.1
AT ITER 1488 NEW BEST:: SOT 49651 SOS 16083 HAS SOPS 13096 HAS SOUS 12668 HAS SOUPS 11371 WITH SCORE 11387.083
AT ITER 1556 NEW BEST:: SOT 49621 SOS 16068 HAS SOPS 13081 HAS SOUS 12653 HAS SOUPS 11356 WITH SCORE 11372.068
AT ITER 1558 NEW BEST:: SOT 49621 SOS 16001 HAS SOPS 13000 HAS SOUS 12609 HAS SOUPS 11303 WITH SCORE 11319.001
AT ITER 1576 NEW BEST:: SOT 49610 SOS 16082 HAS SOPS 12978 HAS SOUS 12587 HAS SOUPS 11281 WITH SCORE 11297.082
AT ITER 1586 NEW BEST:: SOT 49601 SOS 16073 HAS SOPS 12969 HAS SOUS 12578 HAS SOUPS 11272 WITH SCORE 11288.073
AT ITER 1593 NEW BEST:: SOT 49588 SOS 16061 HAS SOPS 12957 HAS SOUS 12566 HAS SOUPS 11260 WITH SCORE 11276.061
AT ITER 1594 NEW BEST:: SOT 49572 SOS 16029 HAS SOPS 12925 HAS SOUS 12556 HAS SOUPS 11250 WITH SCORE 11266.029
AT ITER 1602 NEW BEST:: SOT 49572 SOS 16029 HAS SOPS 12920 HAS SOUS 12551 HAS SOUPS 11245 WITH SCORE 11261.029
AT ITER 1611 NEW BEST:: SOT 49572 SOS 16014 HAS SOPS 12905 HAS SOUS 12551 HAS SOUPS 11245 WITH SCORE 11261.014
AT ITER 1619 NEW BEST:: SOT 49565 SOS 16000 HAS SOPS 12891 HAS SOUS 12537 HAS SOUPS 11231 WITH SCORE 11247.0
AT ITER 1630 NEW BEST:: SOT 49544 SOS 16045 HAS SOPS 12945 HAS SOUS 12514 HAS SOUPS 11217 WITH SCORE 11233.045
AT ITER 1641 NEW BEST:: SOT 49561 SOS 15998 HAS SOPS 12913 HAS SOUS 12380 HAS SOUPS 11098 WITH SCORE 11113.998
AT ITER 1644 NEW BEST:: SOT 49557 SOS 16009 HAS SOPS 12905 HAS SOUS 12372 HAS SOUPS 11090 WITH SCORE 11106.009
AT ITER 1655 NEW BEST:: SOT 49500 SOS 15895 HAS SOPS 12791 HAS SOUS 12258 HAS SOUPS 10976 WITH SCORE 10991.895
AT ITER 1663 NEW BEST:: SOT 49497 SOS 15889 HAS SOPS 12785 HAS SOUS 12252 HAS SOUPS 10970 WITH SCORE 10985.889
AT ITER 1668 NEW BEST:: SOT 49477 SOS 15849 HAS SOPS 12772 HAS SOUS 12239 HAS SOUPS 10957 WITH SCORE 10972.849
AT ITER 1669 NEW BEST:: SOT 49478 SOS 15847 HAS SOPS 12769 HAS SOUS 12239 HAS SOUPS 10956 WITH SCORE 10971.847
AT ITER 1673 NEW BEST:: SOT 49478 SOS 15847 HAS SOPS 12759 HAS SOUS 12229 HAS SOUPS 10946 WITH SCORE 10961.847
AT ITER 1677 NEW BEST:: SOT 49472 SOS 15830 HAS SOPS 12742 HAS SOUS 12217 HAS SOUPS 10934 WITH SCORE 10949.83
AT ITER 1682 NEW BEST:: SOT 49467 SOS 15773 HAS SOPS 12732 HAS SOUS 12207 HAS SOUPS 10924 WITH SCORE 10939.773
AT ITER 1683 NEW BEST:: SOT 49462 SOS 15763 HAS SOPS 12722 HAS SOUS 12197 HAS SOUPS 10914 WITH SCORE 10929.763
AT ITER 1695 NEW BEST:: SOT 49430 SOS 15793 HAS SOPS 12754 HAS SOUS 12185 HAS SOUPS 10902 WITH SCORE 10917.793
AT ITER 1699 NEW BEST:: SOT 49430 SOS 15761 HAS SOPS 12722 HAS SOUS 12153 HAS SOUPS 10870 WITH SCORE 10885.761
AT ITER 1700 NEW BEST:: SOT 49429 SOS 15759 HAS SOPS 12720 HAS SOUS 12151 HAS SOUPS 10868 WITH SCORE 10883.759
AT ITER 1713 NEW BEST:: SOT 49409 SOS 15719 HAS SOPS 12680 HAS SOUS 12111 HAS SOUPS 10828 WITH SCORE 10843.719
AT ITER 1728 NEW BEST:: SOT 49379 SOS 15652 HAS SOPS 12605 HAS SOUS 12036 HAS SOUPS 10753 WITH SCORE 10768.652
AT ITER 1742 NEW BEST:: SOT 49374 SOS 15642 HAS SOPS 12595 HAS SOUS 12026 HAS SOUPS 10743 WITH SCORE 10758.642
AT ITER 1743 NEW BEST:: SOT 49404 SOS 15590 HAS SOPS 12569 HAS SOUS 11923 HAS SOUPS 10653 WITH SCORE 10668.59
AT ITER 1744 NEW BEST:: SOT 49404 SOS 15531 HAS SOPS 12569 HAS SOUS 11893 HAS SOUPS 10643 WITH SCORE 10658.531
AT ITER 1794 NEW BEST:: SOT 49394 SOS 15526 HAS SOPS 12564 HAS SOUS 11888 HAS SOUPS 10638 WITH SCORE 10653.526
AT ITER 1825 NEW BEST:: SOT 49392 SOS 15522 HAS SOPS 12560 HAS SOUS 11884 HAS SOUPS 10634 WITH SCORE 10649.522
AT ITER 1846 NEW BEST:: SOT 49388 SOS 15382 HAS SOPS 12552 HAS SOUS 11876 HAS SOUPS 10626 WITH SCORE 10641.382
AT ITER 1859 NEW BEST:: SOT 49382 SOS 15370 HAS SOPS 12540 HAS SOUS 11864 HAS SOUPS 10614 WITH SCORE 10629.37
AT ITER 1863 NEW BEST:: SOT 49346 SOS 15400 HAS SOPS 12570 HAS SOUS 11826 HAS SOUPS 10576 WITH SCORE 10591.4
AT ITER 1878 NEW BEST:: SOT 49354 SOS 15410 HAS SOPS 12580 HAS SOUS 11822 HAS SOUPS 10572 WITH SCORE 10587.41
AT ITER 1879 NEW BEST:: SOT 49354 SOS 15398 HAS SOPS 12571 HAS SOUS 11822 HAS SOUPS 10572 WITH SCORE 10587.398
AT ITER 1896 NEW BEST:: SOT 49337 SOS 15381 HAS SOPS 12554 HAS SOUS 11788 HAS SOUPS 10538 WITH SCORE 10553.381
AT ITER 1901 NEW BEST:: SOT 49335 SOS 15377 HAS SOPS 12550 HAS SOUS 11784 HAS SOUPS 10534 WITH SCORE 10549.377
AT ITER 1908 NEW BEST:: SOT 49315 SOS 15353 HAS SOPS 12526 HAS SOUS 11760 HAS SOUPS 10510 WITH SCORE 10525.353
AT ITER 1950 NEW BEST:: SOT 49315 SOS 15334 HAS SOPS 12507 HAS SOUS 11760 HAS SOUPS 10510 WITH SCORE 10525.334
AT ITER 1958 NEW BEST:: SOT 49307 SOS 15326 HAS SOPS 12500 HAS SOUS 11753 HAS SOUPS 10503 WITH SCORE 10518.326
AT ITER 1987 NEW BEST:: SOT 49307 SOS 15307 HAS SOPS 12481 HAS SOUS 11734 HAS SOUPS 10484 WITH SCORE 10499.307
AT ITER 2006 NEW BEST:: SOT 49302 SOS 15382 HAS SOPS 12556 HAS SOUS 11724 HAS SOUPS 10474 WITH SCORE 10489.382
AT ITER 2057 NEW BEST:: SOT 49288 SOS 15264 HAS SOPS 12438 HAS SOUS 11696 HAS SOUPS 10446 WITH SCORE 10461.264
AT ITER 2069 NEW BEST:: SOT 49287 SOS 15262 HAS SOPS 12436 HAS SOUS 11694 HAS SOUPS 10444 WITH SCORE 10459.262
AT ITER 2077 NEW BEST:: SOT 49270 SOS 15338 HAS SOPS 12383 HAS SOUS 11706 HAS SOUPS 10420 WITH SCORE 10435.338
AT ITER 2078 NEW BEST:: SOT 49238 SOS 15421 HAS SOPS 12343 HAS SOUS 11723 HAS SOUPS 10397 WITH SCORE 10412.421
AT ITER 2087 NEW BEST:: SOT 49234 SOS 15413 HAS SOPS 12335 HAS SOUS 11715 HAS SOUPS 10389 WITH SCORE 10404.413
AT ITER 2096 NEW BEST:: SOT 49220 SOS 15401 HAS SOPS 12323 HAS SOUS 11703 HAS SOUPS 10377 WITH SCORE 10392.401
AT ITER 2098 NEW BEST:: SOT 49208 SOS 15378 HAS SOPS 12313 HAS SOUS 11693 HAS SOUPS 10367 WITH SCORE 10382.378
AT ITER 2124 NEW BEST:: SOT 49210 SOS 15395 HAS SOPS 12315 HAS SOUS 11690 HAS SOUPS 10364 WITH SCORE 10379.395
AT ITER 2130 NEW BEST:: SOT 49221 SOS 15391 HAS SOPS 12210 HAS SOUS 11588 HAS SOUPS 10262 WITH SCORE 10277.391
AT ITER 2200 NEW BEST:: SOT 49196 SOS 15341 HAS SOPS 12160 HAS SOUS 11538 HAS SOUPS 10212 WITH SCORE 10227.341
AT ITER 2241 NEW BEST:: SOT 49192 SOS 15317 HAS SOPS 12136 HAS SOUS 11514 HAS SOUPS 10188 WITH SCORE 10203.317
AT ITER 2245 NEW BEST:: SOT 49181 SOS 15237 HAS SOPS 12071 HAS SOUS 11492 HAS SOUPS 10166 WITH SCORE 10181.237
AT ITER 2297 NEW BEST:: SOT 49174 SOS 15223 HAS SOPS 12064 HAS SOUS 11485 HAS SOUPS 10159 WITH SCORE 10174.223
AT ITER 2325 NEW BEST:: SOT 49176 SOS 15205 HAS SOPS 12044 HAS SOUS 11477 HAS SOUPS 10151 WITH SCORE 10166.205
AT ITER 2326 NEW BEST:: SOT 49154 SOS 15161 HAS SOPS 12000 HAS SOUS 11433 HAS SOUPS 10107 WITH SCORE 10122.161
AT ITER 2345 NEW BEST:: SOT 49151 SOS 15141 HAS SOPS 11998 HAS SOUS 11421 HAS SOUPS 10099 WITH SCORE 10114.141
AT ITER 2392 NEW BEST:: SOT 49144 SOS 15127 HAS SOPS 11984 HAS SOUS 11407 HAS SOUPS 10085 WITH SCORE 10100.127
AT ITER 2402 NEW BEST:: SOT 49141 SOS 15134 HAS SOPS 11978 HAS SOUS 11401 HAS SOUPS 10079 WITH SCORE 10094.134
AT ITER 2419 NEW BEST:: SOT 49103 SOS 15025 HAS SOPS 11869 HAS SOUS 11353 HAS SOUPS 10031 WITH SCORE 10046.025
AT ITER 2427 NEW BEST:: SOT 49077 SOS 15059 HAS SOPS 11863 HAS SOUS 11347 HAS SOUPS 10025 WITH SCORE 10040.059
AT ITER 2430 NEW BEST:: SOT 49081 SOS 15060 HAS SOPS 11838 HAS SOUS 11334 HAS SOUPS 10000 WITH SCORE 10015.06
AT ITER 2458 NEW BEST:: SOT 49067 SOS 15030 HAS SOPS 11808 HAS SOUS 11304 HAS SOUPS 9970 WITH SCORE 9985.03
AT ITER 2470 NEW BEST:: SOT 49059 SOS 15014 HAS SOPS 11792 HAS SOUS 11288 HAS SOUPS 9954 WITH SCORE 9969.014
AT ITER 2476 NEW BEST:: SOT 49039 SOS 15005 HAS SOPS 11745 HAS SOUS 11241 HAS SOUPS 9907 WITH SCORE 9922.005
AT ITER 2513 NEW BEST:: SOT 49027 SOS 14981 HAS SOPS 11721 HAS SOUS 11217 HAS SOUPS 9883 WITH SCORE 9897.981
AT ITER 2522 NEW BEST:: SOT 49023 SOS 14973 HAS SOPS 11713 HAS SOUS 11209 HAS SOUPS 9875 WITH SCORE 9889.973
AT ITER 2554 NEW BEST:: SOT 49017 SOS 14961 HAS SOPS 11701 HAS SOUS 11197 HAS SOUPS 9863 WITH SCORE 9877.961
AT ITER 2570 NEW BEST:: SOT 49005 SOS 14937 HAS SOPS 11677 HAS SOUS 11173 HAS SOUPS 9839 WITH SCORE 9853.937
AT ITER 2578 NEW BEST:: SOT 49028 SOS 14954 HAS SOPS 11698 HAS SOUS 11142 HAS SOUPS 9812 WITH SCORE 9826.954
AT ITER 2599 NEW BEST:: SOT 49026 SOS 14959 HAS SOPS 11694 HAS SOUS 11138 HAS SOUPS 9799 WITH SCORE 9813.959
AT ITER 2612 NEW BEST:: SOT 49021 SOS 14949 HAS SOPS 11684 HAS SOUS 11128 HAS SOUPS 9789 WITH SCORE 9803.949
AT ITER 2629 NEW BEST:: SOT 49010 SOS 14915 HAS SOPS 11650 HAS SOUS 11094 HAS SOUPS 9755 WITH SCORE 9769.915
AT ITER 2631 NEW BEST:: SOT 49008 SOS 14911 HAS SOPS 11646 HAS SOUS 11090 HAS SOUPS 9751 WITH SCORE 9765.911
AT ITER 2659 NEW BEST:: SOT 48976 SOS 14847 HAS SOPS 11582 HAS SOUS 11026 HAS SOUPS 9687 WITH SCORE 9701.847
AT ITER 2725 NEW BEST:: SOT 48971 SOS 14842 HAS SOPS 11577 HAS SOUS 11021 HAS SOUPS 9682 WITH SCORE 9696.842
AT ITER 2733 NEW BEST:: SOT 48958 SOS 14817 HAS SOPS 11540 HAS SOUS 10996 HAS SOUPS 9645 WITH SCORE 9659.817
AT ITER 2741 NEW BEST:: SOT 48958 SOS 14802 HAS SOPS 11525 HAS SOUS 10996 HAS SOUPS 9645 WITH SCORE 9659.802
AT ITER 2743 NEW BEST:: SOT 48979 SOS 14731 HAS SOPS 11454 HAS SOUS 10994 HAS SOUPS 9643 WITH SCORE 9657.731
AT ITER 2750 NEW BEST:: SOT 48956 SOS 14711 HAS SOPS 11437 HAS SOUS 10976 HAS SOUPS 9625 WITH SCORE 9639.711
AT ITER 2751 NEW BEST:: SOT 48952 SOS 14707 HAS SOPS 11428 HAS SOUS 10967 HAS SOUPS 9616 WITH SCORE 9630.707
AT ITER 2767 NEW BEST:: SOT 48946 SOS 14695 HAS SOPS 11420 HAS SOUS 10959 HAS SOUPS 9608 WITH SCORE 9622.695
AT ITER 2834 NEW BEST:: SOT 48946 SOS 14694 HAS SOPS 11419 HAS SOUS 10959 HAS SOUPS 9608 WITH SCORE 9622.694
AT ITER 2845 NEW BEST:: SOT 48938 SOS 14686 HAS SOPS 11411 HAS SOUS 10959 HAS SOUPS 9608 WITH SCORE 9622.686
AT ITER 2861 NEW BEST:: SOT 48935 SOS 14680 HAS SOPS 11405 HAS SOUS 10953 HAS SOUPS 9602 WITH SCORE 9616.68
AT ITER 2885 NEW BEST:: SOT 48907 SOS 14624 HAS SOPS 11349 HAS SOUS 10897 HAS SOUPS 9546 WITH SCORE 9560.624
AT ITER 2928 NEW BEST:: SOT 48905 SOS 14620 HAS SOPS 11345 HAS SOUS 10893 HAS SOUPS 9542 WITH SCORE 9556.62
AT ITER 2933 NEW BEST:: SOT 48886 SOS 14598 HAS SOPS 11307 HAS SOUS 10855 HAS SOUPS 9504 WITH SCORE 9518.598
AT ITER 2944 NEW BEST:: SOT 48883 SOS 14579 HAS SOPS 11268 HAS SOUS 10828 HAS SOUPS 9477 WITH SCORE 9491.579
AT ITER 2988 NEW BEST:: SOT 48865 SOS 14558 HAS SOPS 11232 HAS SOUS 10792 HAS SOUPS 9441 WITH SCORE 9455.558
AT ITER 3001 NEW BEST:: SOT 48861 SOS 14580 HAS SOPS 11224 HAS SOUS 10784 HAS SOUPS 9433 WITH SCORE 9447.58
AT ITER 3041 NEW BEST:: SOT 48861 SOS 14572 HAS SOPS 11218 HAS SOUS 10784 HAS SOUPS 9433 WITH SCORE 9447.572
AT ITER 3048 NEW BEST:: SOT 48854 SOS 14558 HAS SOPS 11211 HAS SOUS 10770 HAS SOUPS 9426 WITH SCORE 9440.558
AT ITER 3050 NEW BEST:: SOT 48849 SOS 14494 HAS SOPS 11147 HAS SOUS 10760 HAS SOUPS 9416 WITH SCORE 9430.494
AT ITER 3066 NEW BEST:: SOT 48847 SOS 14490 HAS SOPS 11143 HAS SOUS 10756 HAS SOUPS 9412 WITH SCORE 9426.49
AT ITER 3092 NEW BEST:: SOT 48839 SOS 14474 HAS SOPS 11127 HAS SOUS 10740 HAS SOUPS 9396 WITH SCORE 9410.474
AT ITER 3099 NEW BEST:: SOT 48839 SOS 14487 HAS SOPS 11114 HAS SOUS 10727 HAS SOUPS 9383 WITH SCORE 9397.487
AT ITER 3106 NEW BEST:: SOT 48839 SOS 14472 HAS SOPS 11099 HAS SOUS 10712 HAS SOUPS 9368 WITH SCORE 9382.472
AT ITER 3117 NEW BEST:: SOT 48832 SOS 14505 HAS SOPS 11076 HAS SOUS 10656 HAS SOUPS 9312 WITH SCORE 9326.505
AT ITER 3143 NEW BEST:: SOT 48821 SOS 14472 HAS SOPS 11043 HAS SOUS 10645 HAS SOUPS 9301 WITH SCORE 9315.472
AT ITER 3163 NEW BEST:: SOT 48818 SOS 14457 HAS SOPS 11028 HAS SOUS 10639 HAS SOUPS 9295 WITH SCORE 9309.457
AT ITER 3169 NEW BEST:: SOT 48816 SOS 14453 HAS SOPS 11024 HAS SOUS 10635 HAS SOUPS 9291 WITH SCORE 9305.453
AT ITER 3172 NEW BEST:: SOT 48825 SOS 14381 HAS SOPS 10996 HAS SOUS 10579 HAS SOUPS 9253 WITH SCORE 9267.381
AT ITER 3184 NEW BEST:: SOT 48832 SOS 14380 HAS SOPS 11001 HAS SOUS 10573 HAS SOUPS 9250 WITH SCORE 9264.38
AT ITER 3212 NEW BEST:: SOT 48832 SOS 14354 HAS SOPS 10975 HAS SOUS 10573 HAS SOUPS 9250 WITH SCORE 9264.354
AT ITER 3221 NEW BEST:: SOT 48828 SOS 14346 HAS SOPS 10967 HAS SOUS 10565 HAS SOUPS 9242 WITH SCORE 9256.346
AT ITER 3225 NEW BEST:: SOT 48823 SOS 14341 HAS SOPS 10957 HAS SOUS 10555 HAS SOUPS 9232 WITH SCORE 9246.341
AT ITER 3229 NEW BEST:: SOT 48794 SOS 14333 HAS SOPS 10949 HAS SOUS 10547 HAS SOUPS 9224 WITH SCORE 9238.333
AT ITER 3235 NEW BEST:: SOT 48775 SOS 14370 HAS SOPS 10986 HAS SOUS 10534 HAS SOUPS 9211 WITH SCORE 9225.37
AT ITER 3243 NEW BEST:: SOT 48774 SOS 14368 HAS SOPS 10984 HAS SOUS 10532 HAS SOUPS 9209 WITH SCORE 9223.368
AT ITER 3296 NEW BEST:: SOT 48773 SOS 14367 HAS SOPS 10982 HAS SOUS 10531 HAS SOUPS 9207 WITH SCORE 9221.367
AT ITER 3362 NEW BEST:: SOT 48781 SOS 14299 HAS SOPS 10914 HAS SOUS 10518 HAS SOUPS 9194 WITH SCORE 9208.299
AT ITER 3371 NEW BEST:: SOT 48764 SOS 14265 HAS SOPS 10880 HAS SOUS 10484 HAS SOUPS 9160 WITH SCORE 9174.265
AT ITER 3380 NEW BEST:: SOT 48756 SOS 14272 HAS SOPS 10875 HAS SOUS 10485 HAS SOUPS 9158 WITH SCORE 9172.272
AT ITER 3395 NEW BEST:: SOT 48698 SOS 14226 HAS SOPS 10829 HAS SOUS 10436 HAS SOUPS 9109 WITH SCORE 9123.226
AT ITER 3413 NEW BEST:: SOT 48695 SOS 14220 HAS SOPS 10823 HAS SOUS 10430 HAS SOUPS 9103 WITH SCORE 9117.22
AT ITER 3444 NEW BEST:: SOT 48680 SOS 14250 HAS SOPS 10838 HAS SOUS 10400 HAS SOUPS 9073 WITH SCORE 9087.25
AT ITER 3446 NEW BEST:: SOT 48678 SOS 14246 HAS SOPS 10834 HAS SOUS 10396 HAS SOUPS 9069 WITH SCORE 9083.246
AT ITER 3449 NEW BEST:: SOT 48640 SOS 14208 HAS SOPS 10789 HAS SOUS 10351 HAS SOUPS 9024 WITH SCORE 9038.208
AT ITER 3455 NEW BEST:: SOT 48646 SOS 14214 HAS SOPS 10788 HAS SOUS 10350 HAS SOUPS 9023 WITH SCORE 9037.214
AT ITER 3493 NEW BEST:: SOT 48644 SOS 14210 HAS SOPS 10784 HAS SOUS 10344 HAS SOUPS 9017 WITH SCORE 9031.21
AT ITER 3515 NEW BEST:: SOT 48631 SOS 14145 HAS SOPS 10732 HAS SOUS 10318 HAS SOUPS 8991 WITH SCORE 9005.145
AT ITER 3546 NEW BEST:: SOT 48630 SOS 14143 HAS SOPS 10721 HAS SOUS 10307 HAS SOUPS 8980 WITH SCORE 8994.143
AT ITER 3547 NEW BEST:: SOT 48631 SOS 14097 HAS SOPS 10675 HAS SOUS 10295 HAS SOUPS 8968 WITH SCORE 8982.097
AT ITER 3575 NEW BEST:: SOT 48622 SOS 14079 HAS SOPS 10666 HAS SOUS 10286 HAS SOUPS 8959 WITH SCORE 8973.079
AT ITER 3583 NEW BEST:: SOT 48614 SOS 14095 HAS SOPS 10682 HAS SOUS 10278 HAS SOUPS 8951 WITH SCORE 8965.095
AT ITER 3595 NEW BEST:: SOT 48612 SOS 14091 HAS SOPS 10678 HAS SOUS 10274 HAS SOUPS 8947 WITH SCORE 8961.091
AT ITER 3597 NEW BEST:: SOT 48612 SOS 14087 HAS SOPS 10674 HAS SOUS 10274 HAS SOUPS 8947 WITH SCORE 8961.087
AT ITER 3609 NEW BEST:: SOT 48606 SOS 14179 HAS SOPS 10766 HAS SOUS 10262 HAS SOUPS 8935 WITH SCORE 8949.179
AT ITER 3620 NEW BEST:: SOT 48552 SOS 14047 HAS SOPS 10648 HAS SOUS 10206 HAS SOUPS 8879 WITH SCORE 8893.047
AT ITER 3675 NEW BEST:: SOT 48547 SOS 14042 HAS SOPS 10642 HAS SOUS 10201 HAS SOUPS 8873 WITH SCORE 8887.042
AT ITER 3691 NEW BEST:: SOT 48543 SOS 13975 HAS SOPS 10647 HAS SOUS 10192 HAS SOUPS 8873 WITH SCORE 8886.975
AT ITER 3695 NEW BEST:: SOT 48536 SOS 13961 HAS SOPS 10633 HAS SOUS 10178 HAS SOUPS 8859 WITH SCORE 8872.961
AT ITER 3712 NEW BEST:: SOT 48629 SOS 14041 HAS SOPS 10713 HAS SOUS 10153 HAS SOUPS 8834 WITH SCORE 8848.041
AT ITER 3727 NEW BEST:: SOT 48628 SOS 14039 HAS SOPS 10712 HAS SOUS 10152 HAS SOUPS 8833 WITH SCORE 8847.039
AT ITER 3737 NEW BEST:: SOT 48604 SOS 14102 HAS SOPS 10672 HAS SOUS 10139 HAS SOUPS 8796 WITH SCORE 8810.102
AT ITER 3755 NEW BEST:: SOT 48602 SOS 14098 HAS SOPS 10668 HAS SOUS 10135 HAS SOUPS 8792 WITH SCORE 8806.098
AT ITER 3819 NEW BEST:: SOT 48601 SOS 14096 HAS SOPS 10666 HAS SOUS 10133 HAS SOUPS 8790 WITH SCORE 8804.096
AT ITER 3831 NEW BEST:: SOT 48590 SOS 14073 HAS SOPS 10650 HAS SOUS 10133 HAS SOUPS 8790 WITH SCORE 8804.073
AT ITER 3878 NEW BEST:: SOT 48590 SOS 14071 HAS SOPS 10648 HAS SOUS 10133 HAS SOUPS 8790 WITH SCORE 8804.071
AT ITER 3885 NEW BEST:: SOT 48588 SOS 14052 HAS SOPS 10629 HAS SOUS 10129 HAS SOUPS 8786 WITH SCORE 8800.052
AT ITER 3897 NEW BEST:: SOT 48567 SOS 13977 HAS SOPS 10587 HAS SOUS 10087 HAS SOUPS 8744 WITH SCORE 8757.977
AT ITER 3925 NEW BEST:: SOT 48562 SOS 13967 HAS SOPS 10577 HAS SOUS 10077 HAS SOUPS 8734 WITH SCORE 8747.967
AT ITER 3990 NEW BEST:: SOT 48558 SOS 13959 HAS SOPS 10569 HAS SOUS 10069 HAS SOUPS 8726 WITH SCORE 8739.959
AT ITER 4005 NEW BEST:: SOT 48551 SOS 13946 HAS SOPS 10549 HAS SOUS 10055 HAS SOUPS 8712 WITH SCORE 8725.946
AT ITER 4040 NEW BEST:: SOT 48550 SOS 13965 HAS SOPS 10567 HAS SOUS 10043 HAS SOUPS 8700 WITH SCORE 8713.965
AT ITER 4104 NEW BEST:: SOT 48533 SOS 13931 HAS SOPS 10533 HAS SOUS 10009 HAS SOUPS 8666 WITH SCORE 8679.931
AT ITER 4111 NEW BEST:: SOT 48527 SOS 13919 HAS SOPS 10521 HAS SOUS 9997 HAS SOUPS 8654 WITH SCORE 8667.919
AT ITER 4148 NEW BEST:: SOT 48509 SOS 13910 HAS SOPS 10512 HAS SOUS 9988 HAS SOUPS 8645 WITH SCORE 8658.91
AT ITER 4185 NEW BEST:: SOT 48514 SOS 13908 HAS SOPS 10510 HAS SOUS 9986 HAS SOUPS 8643 WITH SCORE 8656.908
AT ITER 4206 NEW BEST:: SOT 48508 SOS 13899 HAS SOPS 10501 HAS SOUS 9977 HAS SOUPS 8634 WITH SCORE 8647.899
AT ITER 4299 NEW BEST:: SOT 48506 SOS 13960 HAS SOPS 10535 HAS SOUS 9954 HAS SOUPS 8611 WITH SCORE 8624.96
AT ITER 4313 NEW BEST:: SOT 48509 SOS 13957 HAS SOPS 10535 HAS SOUS 9954 HAS SOUPS 8611 WITH SCORE 8624.957
AT ITER 4359 NEW BEST:: SOT 48503 SOS 13956 HAS SOPS 10523 HAS SOUS 9942 HAS SOUPS 8599 WITH SCORE 8612.956
AT ITER 4395 NEW BEST:: SOT 48502 SOS 13934 HAS SOPS 10501 HAS SOUS 9920 HAS SOUPS 8577 WITH SCORE 8590.934
AT ITER 4399 NEW BEST:: SOT 48498 SOS 13926 HAS SOPS 10493 HAS SOUS 9912 HAS SOUPS 8569 WITH SCORE 8582.926
AT ITER 4421 NEW BEST:: SOT 48496 SOS 13922 HAS SOPS 10491 HAS SOUS 9910 HAS SOUPS 8567 WITH SCORE 8580.922
AT ITER 4460 NEW BEST:: SOT 48490 SOS 13910 HAS SOPS 10479 HAS SOUS 9898 HAS SOUPS 8555 WITH SCORE 8568.91
AT ITER 4480 NEW BEST:: SOT 48485 SOS 13900 HAS SOPS 10469 HAS SOUS 9888 HAS SOUPS 8545 WITH SCORE 8558.9
AT ITER 4522 NEW BEST:: SOT 48485 SOS 13897 HAS SOPS 10466 HAS SOUS 9888 HAS SOUPS 8545 WITH SCORE 8558.897
AT ITER 4588 NEW BEST:: SOT 48476 SOS 13879 HAS SOPS 10448 HAS SOUS 9870 HAS SOUPS 8527 WITH SCORE 8540.879
AT ITER 4611 NEW BEST:: SOT 48476 SOS 13931 HAS SOPS 10474 HAS SOUS 9857 HAS SOUPS 8514 WITH SCORE 8527.931
AT ITER 4631 NEW BEST:: SOT 48472 SOS 13923 HAS SOPS 10470 HAS SOUS 9853 HAS SOUPS 8510 WITH SCORE 8523.923
AT ITER 4657 NEW BEST:: SOT 48472 SOS 13913 HAS SOPS 10460 HAS SOUS 9853 HAS SOUPS 8510 WITH SCORE 8523.913
AT ITER 4777 NEW BEST:: SOT 48472 SOS 13847 HAS SOPS 10397 HAS SOUS 9853 HAS SOUPS 8510 WITH SCORE 8523.847
AT ITER 4839 NEW BEST:: SOT 48470 SOS 13845 HAS SOPS 10395 HAS SOUS 9851 HAS SOUPS 8508 WITH SCORE 8521.845
AT ITER 4862 NEW BEST:: SOT 48466 SOS 13837 HAS SOPS 10387 HAS SOUS 9843 HAS SOUPS 8500 WITH SCORE 8513.837
AT ITER 4864 NEW BEST:: SOT 48470 SOS 13834 HAS SOPS 10384 HAS SOUS 9840 HAS SOUPS 8497 WITH SCORE 8510.834
AT ITER 4874 NEW BEST:: SOT 48470 SOS 13741 HAS SOPS 10291 HAS SOUS 9840 HAS SOUPS 8497 WITH SCORE 8510.741
AT ITER 4947 NEW BEST:: SOT 48470 SOS 13741 HAS SOPS 10287 HAS SOUS 9836 HAS SOUPS 8493 WITH SCORE 8506.741
AT ITER 4962 NEW BEST:: SOT 48465 SOS 13731 HAS SOPS 10277 HAS SOUS 9826 HAS SOUPS 8483 WITH SCORE 8496.731
AT ITER 4992 NEW BEST:: SOT 48431 SOS 13795 HAS SOPS 10330 HAS SOUS 9818 HAS SOUPS 8475 WITH SCORE 8488.795
AT ITER 5003 NEW BEST:: SOT 48429 SOS 13793 HAS SOPS 10311 HAS SOUS 9798 HAS SOUPS 8456 WITH SCORE 8469.793
AT ITER 5059 NEW BEST:: SOT 48426 SOS 13787 HAS SOPS 10305 HAS SOUS 9792 HAS SOUPS 8450 WITH SCORE 8463.787
AT ITER 5076 NEW BEST:: SOT 48417 SOS 13757 HAS SOPS 10280 HAS SOUS 9778 HAS SOUPS 8436 WITH SCORE 8449.757
AT ITER 5091 NEW BEST:: SOT 48405 SOS 13718 HAS SOPS 10271 HAS SOUS 9769 HAS SOUPS 8427 WITH SCORE 8440.718
AT ITER 5114 NEW BEST:: SOT 48396 SOS 13674 HAS SOPS 10227 HAS SOUS 9725 HAS SOUPS 8383 WITH SCORE 8396.674
AT ITER 5122 NEW BEST:: SOT 48421 SOS 13695 HAS SOPS 10248 HAS SOUS 9709 HAS SOUPS 8367 WITH SCORE 8380.695
AT ITER 5137 NEW BEST:: SOT 48404 SOS 13774 HAS SOPS 10243 HAS SOUS 9726 HAS SOUPS 8365 WITH SCORE 8378.774
AT ITER 5138 NEW BEST:: SOT 48396 SOS 13781 HAS SOPS 10251 HAS SOUS 9719 HAS SOUPS 8358 WITH SCORE 8371.781
AT ITER 5161 NEW BEST:: SOT 48393 SOS 13760 HAS SOPS 10230 HAS SOUS 9713 HAS SOUPS 8352 WITH SCORE 8365.76
AT ITER 5280 NEW BEST:: SOT 48392 SOS 13758 HAS SOPS 10228 HAS SOUS 9711 HAS SOUPS 8350 WITH SCORE 8363.758
AT ITER 5293 NEW BEST:: SOT 48389 SOS 13700 HAS SOPS 10221 HAS SOUS 9693 HAS SOUPS 8341 WITH SCORE 8354.7
AT ITER 5401 NEW BEST:: SOT 48389 SOS 13692 HAS SOPS 10215 HAS SOUS 9693 HAS SOUPS 8341 WITH SCORE 8354.692
AT ITER 5417 NEW BEST:: SOT 48375 SOS 13671 HAS SOPS 10187 HAS SOUS 9665 HAS SOUPS 8313 WITH SCORE 8326.671
AT ITER 5429 NEW BEST:: SOT 48373 SOS 13671 HAS SOPS 10187 HAS SOUS 9661 HAS SOUPS 8309 WITH SCORE 8322.671
AT ITER 5488 NEW BEST:: SOT 48370 SOS 13665 HAS SOPS 10181 HAS SOUS 9655 HAS SOUPS 8303 WITH SCORE 8316.665
AT ITER 5519 NEW BEST:: SOT 48363 SOS 13658 HAS SOPS 10174 HAS SOUS 9648 HAS SOUPS 8296 WITH SCORE 8309.658
AT ITER 5530 NEW BEST:: SOT 48362 SOS 13656 HAS SOPS 10172 HAS SOUS 9646 HAS SOUPS 8294 WITH SCORE 8307.656
AT ITER 5561 NEW BEST:: SOT 48363 SOS 13626 HAS SOPS 10142 HAS SOUS 9640 HAS SOUPS 8288 WITH SCORE 8301.626
AT ITER 5585 NEW BEST:: SOT 48362 SOS 13622 HAS SOPS 10138 HAS SOUS 9637 HAS SOUPS 8285 WITH SCORE 8298.622
AT ITER 5731 NEW BEST:: SOT 48360 SOS 13604 HAS SOPS 10134 HAS SOUS 9633 HAS SOUPS 8281 WITH SCORE 8294.604
AT ITER 5763 NEW BEST:: SOT 48357 SOS 13598 HAS SOPS 10128 HAS SOUS 9627 HAS SOUPS 8275 WITH SCORE 8288.598
AT ITER 5787 NEW BEST:: SOT 48370 SOS 13611 HAS SOPS 10115 HAS SOUS 9614 HAS SOUPS 8262 WITH SCORE 8275.611
AT ITER 5818 NEW BEST:: SOT 48366 SOS 13603 HAS SOPS 10107 HAS SOUS 9606 HAS SOUPS 8254 WITH SCORE 8267.603
AT ITER 5835 NEW BEST:: SOT 48354 SOS 13591 HAS SOPS 10081 HAS SOUS 9580 HAS SOUPS 8228 WITH SCORE 8241.591
AT ITER 5901 NEW BEST:: SOT 48353 SOS 13589 HAS SOPS 10079 HAS SOUS 9578 HAS SOUPS 8226 WITH SCORE 8239.589
AT ITER 5950 NEW BEST:: SOT 48346 SOS 13579 HAS SOPS 10069 HAS SOUS 9564 HAS SOUPS 8212 WITH SCORE 8225.579
AT ITER 5961 NEW BEST:: SOT 48345 SOS 13577 HAS SOPS 10068 HAS SOUS 9562 HAS SOUPS 8210 WITH SCORE 8223.577
AT ITER 5971 NEW BEST:: SOT 48343 SOS 13573 HAS SOPS 10065 HAS SOUS 9557 HAS SOUPS 8205 WITH SCORE 8218.573
AT ITER 5997 NEW BEST:: SOT 48342 SOS 13571 HAS SOPS 10063 HAS SOUS 9555 HAS SOUPS 8203 WITH SCORE 8216.571
AT ITER 6006 NEW BEST:: SOT 48358 SOS 13527 HAS SOPS 10019 HAS SOUS 9527 HAS SOUPS 8175 WITH SCORE 8188.527
AT ITER 6019 NEW BEST:: SOT 48358 SOS 13519 HAS SOPS 10009 HAS SOUS 9523 HAS SOUPS 8171 WITH SCORE 8184.519
AT ITER 6028 NEW BEST:: SOT 48364 SOS 13517 HAS SOPS 10013 HAS SOUS 9513 HAS SOUPS 8163 WITH SCORE 8176.517
AT ITER 6072 NEW BEST:: SOT 48362 SOS 13513 HAS SOPS 10009 HAS SOUS 9509 HAS SOUPS 8159 WITH SCORE 8172.513
AT ITER 6088 NEW BEST:: SOT 48361 SOS 13514 HAS SOPS 10011 HAS SOUS 9508 HAS SOUPS 8158 WITH SCORE 8171.514
AT ITER 6204 NEW BEST:: SOT 48355 SOS 13502 HAS SOPS 9999 HAS SOUS 9496 HAS SOUPS 8146 WITH SCORE 8159.502
AT ITER 6284 NEW BEST:: SOT 48354 SOS 13497 HAS SOPS 9993 HAS SOUS 9490 HAS SOUPS 8140 WITH SCORE 8153.497
AT ITER 6285 NEW BEST:: SOT 48354 SOS 13494 HAS SOPS 9993 HAS SOUS 9490 HAS SOUPS 8140 WITH SCORE 8153.494
AT ITER 6305 NEW BEST:: SOT 48348 SOS 13482 HAS SOPS 9981 HAS SOUS 9478 HAS SOUPS 8128 WITH SCORE 8141.482
AT ITER 6384 NEW BEST:: SOT 48340 SOS 13466 HAS SOPS 9965 HAS SOUS 9462 HAS SOUPS 8112 WITH SCORE 8125.466
AT ITER 6452 NEW BEST:: SOT 48340 SOS 13382 HAS SOPS 9881 HAS SOUS 9462 HAS SOUPS 8112 WITH SCORE 8125.382
AT ITER 6500 NEW BEST:: SOT 48324 SOS 13451 HAS SOPS 9818 HAS SOUS 9399 HAS SOUPS 8049 WITH SCORE 8062.451
AT ITER 6560 NEW BEST:: SOT 48322 SOS 13453 HAS SOPS 9815 HAS SOUS 9397 HAS SOUPS 8046 WITH SCORE 8059.453
AT ITER 6563 NEW BEST:: SOT 48326 SOS 13457 HAS SOPS 9819 HAS SOUS 9389 HAS SOUPS 8038 WITH SCORE 8051.457
AT ITER 6597 NEW BEST:: SOT 48315 SOS 13435 HAS SOPS 9797 HAS SOUS 9367 HAS SOUPS 8016 WITH SCORE 8029.435
AT ITER 6609 NEW BEST:: SOT 48315 SOS 13408 HAS SOPS 9770 HAS SOUS 9367 HAS SOUPS 8016 WITH SCORE 8029.408
AT ITER 6648 NEW BEST:: SOT 48314 SOS 13406 HAS SOPS 9768 HAS SOUS 9365 HAS SOUPS 8014 WITH SCORE 8027.406
AT ITER 6753 NEW BEST:: SOT 48314 SOS 13400 HAS SOPS 9762 HAS SOUS 9365 HAS SOUPS 8014 WITH SCORE 8027.4
AT ITER 6809 NEW BEST:: SOT 48314 SOS 13363 HAS SOPS 9725 HAS SOUS 9365 HAS SOUPS 8014 WITH SCORE 8027.363
AT ITER 6855 NEW BEST:: SOT 48302 SOS 13366 HAS SOPS 9714 HAS SOUS 9354 HAS SOUPS 8003 WITH SCORE 8016.366
AT ITER 6919 NEW BEST:: SOT 48301 SOS 13364 HAS SOPS 9714 HAS SOUS 9354 HAS SOUPS 8003 WITH SCORE 8016.364
AT ITER 6970 NEW BEST:: SOT 48296 SOS 13360 HAS SOPS 9710 HAS SOUS 9344 HAS SOUPS 7993 WITH SCORE 8006.36
AT ITER 7021 NEW BEST:: SOT 48295 SOS 13358 HAS SOPS 9708 HAS SOUS 9342 HAS SOUPS 7991 WITH SCORE 8004.358
AT ITER 7071 NEW BEST:: SOT 48273 SOS 13351 HAS SOPS 9684 HAS SOUS 9353 HAS SOUPS 7988 WITH SCORE 8001.351
AT ITER 7080 NEW BEST:: SOT 48270 SOS 13345 HAS SOPS 9678 HAS SOUS 9347 HAS SOUPS 7982 WITH SCORE 7995.345
AT ITER 7091 NEW BEST:: SOT 48270 SOS 13344 HAS SOPS 9678 HAS SOUS 9347 HAS SOUPS 7982 WITH SCORE 7995.344
AT ITER 7102 NEW BEST:: SOT 48263 SOS 13330 HAS SOPS 9664 HAS SOUS 9333 HAS SOUPS 7968 WITH SCORE 7981.33
AT ITER 7116 NEW BEST:: SOT 48257 SOS 13320 HAS SOPS 9657 HAS SOUS 9331 HAS SOUPS 7961 WITH SCORE 7974.32
AT ITER 7140 NEW BEST:: SOT 48247 SOS 13322 HAS SOPS 9651 HAS SOUS 9319 HAS SOUPS 7949 WITH SCORE 7962.322
AT ITER 7170 NEW BEST:: SOT 48243 SOS 13314 HAS SOPS 9648 HAS SOUS 9316 HAS SOUPS 7946 WITH SCORE 7959.314
AT ITER 7205 NEW BEST:: SOT 48243 SOS 13308 HAS SOPS 9642 HAS SOUS 9316 HAS SOUPS 7946 WITH SCORE 7959.308
AT ITER 7274 NEW BEST:: SOT 48245 SOS 13338 HAS SOPS 9630 HAS SOUS 9313 HAS SOUPS 7936 WITH SCORE 7949.338
AT ITER 7284 NEW BEST:: SOT 48244 SOS 13346 HAS SOPS 9638 HAS SOUS 9311 HAS SOUPS 7934 WITH SCORE 7947.346
AT ITER 7332 NEW BEST:: SOT 48242 SOS 13343 HAS SOPS 9635 HAS SOUS 9308 HAS SOUPS 7931 WITH SCORE 7944.343
AT ITER 7449 NEW BEST:: SOT 48262 SOS 13480 HAS SOPS 9731 HAS SOUS 9305 HAS SOUPS 7928 WITH SCORE 7941.48
AT ITER 7459 NEW BEST:: SOT 48258 SOS 13472 HAS SOPS 9723 HAS SOUS 9297 HAS SOUPS 7920 WITH SCORE 7933.472
AT ITER 7505 NEW BEST:: SOT 48247 SOS 13163 HAS SOPS 9414 HAS SOUS 9285 HAS SOUPS 7908 WITH SCORE 7921.163
AT ITER 7507 NEW BEST:: SOT 48246 SOS 13161 HAS SOPS 9412 HAS SOUS 9283 HAS SOUPS 7906 WITH SCORE 7919.161
AT ITER 7509 NEW BEST:: SOT 48238 SOS 13145 HAS SOPS 9396 HAS SOUS 9267 HAS SOUPS 7890 WITH SCORE 7903.145
AT ITER 7526 NEW BEST:: SOT 48225 SOS 13113 HAS SOPS 9389 HAS SOUS 9260 HAS SOUPS 7883 WITH SCORE 7896.113
AT ITER 7592 NEW BEST:: SOT 48214 SOS 13102 HAS SOPS 9378 HAS SOUS 9249 HAS SOUPS 7872 WITH SCORE 7885.102
AT ITER 7593 NEW BEST:: SOT 48193 SOS 13060 HAS SOPS 9336 HAS SOUS 9207 HAS SOUPS 7830 WITH SCORE 7843.06
AT ITER 7647 NEW BEST:: SOT 48192 SOS 13058 HAS SOPS 9334 HAS SOUS 9205 HAS SOUPS 7828 WITH SCORE 7841.058
AT ITER 7696 NEW BEST:: SOT 48191 SOS 13052 HAS SOPS 9334 HAS SOUS 9203 HAS SOUPS 7827 WITH SCORE 7840.052
AT ITER 7732 NEW BEST:: SOT 48187 SOS 13048 HAS SOPS 9322 HAS SOUS 9191 HAS SOUPS 7815 WITH SCORE 7828.048
AT ITER 7787 NEW BEST:: SOT 48186 SOS 13052 HAS SOPS 9320 HAS SOUS 9195 HAS SOUPS 7813 WITH SCORE 7826.052
AT ITER 7816 NEW BEST:: SOT 48181 SOS 13035 HAS SOPS 9303 HAS SOUS 9184 HAS SOUPS 7802 WITH SCORE 7815.035
AT ITER 7883 NEW BEST:: SOT 48181 SOS 13032 HAS SOPS 9300 HAS SOUS 9184 HAS SOUPS 7802 WITH SCORE 7815.032
AT ITER 7978 NEW BEST:: SOT 48180 SOS 13030 HAS SOPS 9298 HAS SOUS 9182 HAS SOUPS 7800 WITH SCORE 7813.03
AT ITER 7990 NEW BEST:: SOT 48180 SOS 13009 HAS SOPS 9298 HAS SOUS 9182 HAS SOUPS 7800 WITH SCORE 7813.009
AT ITER 8010 NEW BEST:: SOT 48159 SOS 12983 HAS SOPS 9292 HAS SOUS 9160 HAS SOUPS 7794 WITH SCORE 7806.983
AT ITER 8029 NEW BEST:: SOT 48159 SOS 12944 HAS SOPS 9253 HAS SOUS 9160 HAS SOUPS 7794 WITH SCORE 7806.944
AT ITER 8057 NEW BEST:: SOT 48162 SOS 12917 HAS SOPS 9229 HAS SOUS 9158 HAS SOUPS 7792 WITH SCORE 7804.917
AT ITER 8154 NEW BEST:: SOT 48160 SOS 12915 HAS SOPS 9225 HAS SOUS 9154 HAS SOUPS 7788 WITH SCORE 7800.915
AT ITER 8305 NEW BEST:: SOT 48159 SOS 12919 HAS SOPS 9223 HAS SOUS 9152 HAS SOUPS 7786 WITH SCORE 7798.919
AT ITER 8418 NEW BEST:: SOT 48152 SOS 12911 HAS SOPS 9215 HAS SOUS 9144 HAS SOUPS 7778 WITH SCORE 7790.911
AT ITER 8430 NEW BEST:: SOT 48146 SOS 12899 HAS SOPS 9203 HAS SOUS 9132 HAS SOUPS 7766 WITH SCORE 7778.899
AT ITER 8496 NEW BEST:: SOT 48137 SOS 12890 HAS SOPS 9194 HAS SOUS 9123 HAS SOUPS 7757 WITH SCORE 7769.89
AT ITER 8504 NEW BEST:: SOT 48125 SOS 12878 HAS SOPS 9182 HAS SOUS 9111 HAS SOUPS 7745 WITH SCORE 7757.878
AT ITER 8591 NEW BEST:: SOT 48120 SOS 12873 HAS SOPS 9172 HAS SOUS 9101 HAS SOUPS 7735 WITH SCORE 7747.873
AT ITER 8699 NEW BEST:: SOT 48121 SOS 12867 HAS SOPS 9166 HAS SOUS 9101 HAS SOUPS 7735 WITH SCORE 7747.867
AT ITER 8740 NEW BEST:: SOT 48113 SOS 12851 HAS SOPS 9150 HAS SOUS 9085 HAS SOUPS 7719 WITH SCORE 7731.851
AT ITER 8743 NEW BEST:: SOT 48109 SOS 12833 HAS SOPS 9142 HAS SOUS 9067 HAS SOUPS 7711 WITH SCORE 7723.833
AT ITER 8788 NEW BEST:: SOT 48107 SOS 12829 HAS SOPS 9141 HAS SOUS 9066 HAS SOUPS 7710 WITH SCORE 7722.829
AT ITER 8824 NEW BEST:: SOT 48112 SOS 12835 HAS SOPS 9147 HAS SOUS 9065 HAS SOUPS 7709 WITH SCORE 7721.835
AT ITER 8874 NEW BEST:: SOT 48111 SOS 12834 HAS SOPS 9146 HAS SOUS 9064 HAS SOUPS 7708 WITH SCORE 7720.834
AT ITER 8887 NEW BEST:: SOT 48094 SOS 12866 HAS SOPS 9178 HAS SOUS 9052 HAS SOUPS 7696 WITH SCORE 7708.866
AT ITER 8889 NEW BEST:: SOT 48090 SOS 12862 HAS SOPS 9170 HAS SOUS 9044 HAS SOUPS 7688 WITH SCORE 7700.862
AT ITER 8920 NEW BEST:: SOT 48069 SOS 12862 HAS SOPS 9156 HAS SOUS 9010 HAS SOUPS 7654 WITH SCORE 7666.862
AT ITER 8990 NEW BEST:: SOT 48063 SOS 12856 HAS SOPS 9152 HAS SOUS 9006 HAS SOUPS 7650 WITH SCORE 7662.856
AT ITER 9019 NEW BEST:: SOT 48064 SOS 12858 HAS SOPS 9147 HAS SOUS 9001 HAS SOUPS 7645 WITH SCORE 7657.858
AT ITER 9110 NEW BEST:: SOT 48064 SOS 12855 HAS SOPS 9144 HAS SOUS 9001 HAS SOUPS 7645 WITH SCORE 7657.855
AT ITER 9175 NEW BEST:: SOT 48052 SOS 12819 HAS SOPS 9120 HAS SOUS 8989 HAS SOUPS 7633 WITH SCORE 7645.819
AT ITER 9189 NEW BEST:: SOT 48052 SOS 12796 HAS SOPS 9120 HAS SOUS 8989 HAS SOUPS 7633 WITH SCORE 7645.796
AT ITER 9190 NEW BEST:: SOT 48051 SOS 12794 HAS SOPS 9118 HAS SOUS 8987 HAS SOUPS 7631 WITH SCORE 7643.794
AT ITER 9193 NEW BEST:: SOT 48047 SOS 12786 HAS SOPS 9110 HAS SOUS 8979 HAS SOUPS 7623 WITH SCORE 7635.786
AT ITER 9291 NEW BEST:: SOT 48046 SOS 12784 HAS SOPS 9108 HAS SOUS 8977 HAS SOUPS 7621 WITH SCORE 7633.784
AT ITER 9292 NEW BEST:: SOT 48040 SOS 12787 HAS SOPS 9114 HAS SOUS 8974 HAS SOUPS 7618 WITH SCORE 7630.787
AT ITER 9395 NEW BEST:: SOT 48039 SOS 12785 HAS SOPS 9112 HAS SOUS 8972 HAS SOUPS 7616 WITH SCORE 7628.785
AT ITER 9634 NEW BEST:: SOT 48039 SOS 12776 HAS SOPS 9112 HAS SOUS 8963 HAS SOUPS 7616 WITH SCORE 7628.776
AT ITER 9780 NEW BEST:: SOT 48038 SOS 12774 HAS SOPS 9110 HAS SOUS 8961 HAS SOUPS 7614 WITH SCORE 7626.774
AT ITER 9877 NEW BEST:: SOT 48037 SOS 12773 HAS SOPS 9109 HAS SOUS 8960 HAS SOUPS 7613 WITH SCORE 7625.773
AT ITER 9922 NEW BEST:: SOT 48029 SOS 12757 HAS SOPS 9093 HAS SOUS 8944 HAS SOUPS 7597 WITH SCORE 7609.757
STATE_SPACE STATES 3407946 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 11 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 13631784 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
BK_STOP 1678942854506
--------------------
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="Peterson-PT-3"
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 Peterson-PT-3, 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 r267-smll-167863542100616"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Peterson-PT-3.tgz
mv Peterson-PT-3 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 ;