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.r395-oct2-167903719000640.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is ShieldPPPt-PT-020B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r395-oct2-167903719000640
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 756K
-rw-r--r-- 1 mcc users 6.7K Feb 25 21:08 CTLCardinality.txt
-rw-r--r-- 1 mcc users 73K Feb 25 21:08 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.8K Feb 25 21:08 CTLFireability.txt
-rw-r--r-- 1 mcc users 41K Feb 25 21:08 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 17:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 17:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.6K Feb 25 21:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 25 21:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Feb 25 21:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 59K Feb 25 21:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:00 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:00 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 376K 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 1679575838136

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=ShieldPPPt-PT-020B
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 12:50:41] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 12:50:41] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 12:50:41] [INFO ] Load time of PNML (sax parser for PT used): 142 ms
[2023-03-23 12:50:41] [INFO ] Transformed 1563 places.
[2023-03-23 12:50:41] [INFO ] Transformed 1423 transitions.
[2023-03-23 12:50:41] [INFO ] Found NUPN structural information;
[2023-03-23 12:50:41] [INFO ] Parsed PT model containing 1563 places and 1423 transitions and 3566 arcs in 334 ms.
[2023-03-23 12:50:41] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1563 places, 1423 transitions and 3566 arcs took 31 ms.
Total runtime 423 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPt (PT), instance 020B
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: 1563 places, 1423 transitions, 3566 arcs.
AT ITER 0 NEW BEST:: SOT 1148508 SOS 104557 HAS SOPS 104557 HAS SOUS 97150 HAS SOUPS 97150 WITH SCORE 97254.557
AT ITER 19 NEW BEST:: SOT 1148532 SOS 104589 HAS SOPS 104589 HAS SOUS 97144 HAS SOUPS 97144 WITH SCORE 97248.589
AT ITER 27 NEW BEST:: SOT 1148531 SOS 104571 HAS SOPS 104571 HAS SOUS 97141 HAS SOUPS 97141 WITH SCORE 97245.571
AT ITER 85 NEW BEST:: SOT 1148531 SOS 104566 HAS SOPS 104566 HAS SOUS 97136 HAS SOUPS 97136 WITH SCORE 97240.566
AT ITER 127 NEW BEST:: SOT 1148503 SOS 104510 HAS SOPS 104510 HAS SOUS 97080 HAS SOUPS 97080 WITH SCORE 97184.51
AT ITER 182 NEW BEST:: SOT 1148503 SOS 104506 HAS SOPS 104506 HAS SOUS 97076 HAS SOUPS 97076 WITH SCORE 97180.506
AT ITER 200 NEW BEST:: SOT 1148491 SOS 104494 HAS SOPS 104494 HAS SOUS 97064 HAS SOUPS 97064 WITH SCORE 97168.494
AT ITER 261 NEW BEST:: SOT 1148445 SOS 104544 HAS SOPS 104544 HAS SOUS 97023 HAS SOUPS 97023 WITH SCORE 97127.544
AT ITER 296 NEW BEST:: SOT 1148444 SOS 104499 HAS SOPS 104499 HAS SOUS 97015 HAS SOUPS 97015 WITH SCORE 97119.499
AT ITER 345 NEW BEST:: SOT 1148444 SOS 104498 HAS SOPS 104498 HAS SOUS 97014 HAS SOUPS 97014 WITH SCORE 97118.498
AT ITER 352 NEW BEST:: SOT 1148364 SOS 104427 HAS SOPS 104427 HAS SOUS 96953 HAS SOUPS 96953 WITH SCORE 97057.427
AT ITER 362 NEW BEST:: SOT 1148364 SOS 104426 HAS SOPS 104426 HAS SOUS 96952 HAS SOUPS 96952 WITH SCORE 97056.426
AT ITER 477 NEW BEST:: SOT 1148364 SOS 104421 HAS SOPS 104421 HAS SOUS 96947 HAS SOUPS 96947 WITH SCORE 97051.421
AT ITER 481 NEW BEST:: SOT 1148364 SOS 104418 HAS SOPS 104418 HAS SOUS 96944 HAS SOUPS 96944 WITH SCORE 97048.418
AT ITER 512 NEW BEST:: SOT 1148359 SOS 104475 HAS SOPS 104475 HAS SOUS 96939 HAS SOUPS 96939 WITH SCORE 97043.475
AT ITER 523 NEW BEST:: SOT 1148329 SOS 104385 HAS SOPS 104385 HAS SOUS 96849 HAS SOUPS 96849 WITH SCORE 96953.385
AT ITER 572 NEW BEST:: SOT 1148283 SOS 104293 HAS SOPS 104293 HAS SOUS 96824 HAS SOUPS 96824 WITH SCORE 96928.293
AT ITER 612 NEW BEST:: SOT 1148282 SOS 104221 HAS SOPS 104221 HAS SOUS 96822 HAS SOUPS 96822 WITH SCORE 96926.221
AT ITER 712 NEW BEST:: SOT 1148281 SOS 104212 HAS SOPS 104212 HAS SOUS 96796 HAS SOUPS 96796 WITH SCORE 96900.212
AT ITER 714 NEW BEST:: SOT 1148251 SOS 104182 HAS SOPS 104182 HAS SOUS 96766 HAS SOUPS 96766 WITH SCORE 96870.182
AT ITER 727 NEW BEST:: SOT 1148295 SOS 104178 HAS SOPS 104178 HAS SOUS 96729 HAS SOUPS 96729 WITH SCORE 96833.178
AT ITER 741 NEW BEST:: SOT 1148290 SOS 104173 HAS SOPS 104173 HAS SOUS 96724 HAS SOUPS 96724 WITH SCORE 96828.173
AT ITER 759 NEW BEST:: SOT 1148290 SOS 104150 HAS SOPS 104150 HAS SOUS 96721 HAS SOUPS 96721 WITH SCORE 96825.15
AT ITER 869 NEW BEST:: SOT 1148286 SOS 104146 HAS SOPS 104146 HAS SOUS 96717 HAS SOUPS 96717 WITH SCORE 96821.146
AT ITER 977 NEW BEST:: SOT 1148273 SOS 104133 HAS SOPS 104133 HAS SOUS 96704 HAS SOUPS 96704 WITH SCORE 96808.133
AT ITER 990 NEW BEST:: SOT 1148179 SOS 104086 HAS SOPS 104086 HAS SOUS 96654 HAS SOUPS 96654 WITH SCORE 96758.086
AT ITER 1042 NEW BEST:: SOT 1148178 SOS 104056 HAS SOPS 104056 HAS SOUS 96653 HAS SOUPS 96653 WITH SCORE 96757.056
AT ITER 1045 NEW BEST:: SOT 1148135 SOS 104056 HAS SOPS 104056 HAS SOUS 96571 HAS SOUPS 96571 WITH SCORE 96675.056
AT ITER 1058 NEW BEST:: SOT 1148135 SOS 104056 HAS SOPS 104056 HAS SOUS 96570 HAS SOUPS 96570 WITH SCORE 96674.056
AT ITER 1079 NEW BEST:: SOT 1148083 SOS 103951 HAS SOPS 103951 HAS SOUS 96454 HAS SOUPS 96454 WITH SCORE 96557.951
AT ITER 1099 NEW BEST:: SOT 1148082 SOS 103891 HAS SOPS 103891 HAS SOUS 96452 HAS SOUPS 96452 WITH SCORE 96555.891
AT ITER 1151 NEW BEST:: SOT 1148044 SOS 103900 HAS SOPS 103900 HAS SOUS 96446 HAS SOUPS 96446 WITH SCORE 96549.9
AT ITER 1223 NEW BEST:: SOT 1148044 SOS 103888 HAS SOPS 103888 HAS SOUS 96431 HAS SOUPS 96431 WITH SCORE 96534.888
AT ITER 1252 NEW BEST:: SOT 1147985 SOS 103770 HAS SOPS 103770 HAS SOUS 96302 HAS SOUPS 96302 WITH SCORE 96405.77
AT ITER 1277 NEW BEST:: SOT 1147984 SOS 103706 HAS SOPS 103706 HAS SOUS 96300 HAS SOUPS 96300 WITH SCORE 96403.706
AT ITER 1323 NEW BEST:: SOT 1147939 SOS 103655 HAS SOPS 103655 HAS SOUS 96249 HAS SOUPS 96249 WITH SCORE 96352.655
AT ITER 1372 NEW BEST:: SOT 1147899 SOS 103572 HAS SOPS 103572 HAS SOUS 96206 HAS SOUPS 96206 WITH SCORE 96309.572
AT ITER 1833 NEW BEST:: SOT 1147899 SOS 103582 HAS SOPS 103582 HAS SOUS 96170 HAS SOUPS 96170 WITH SCORE 96273.582
AT ITER 1917 NEW BEST:: SOT 1147899 SOS 103574 HAS SOPS 103574 HAS SOUS 96162 HAS SOUPS 96162 WITH SCORE 96265.574
AT ITER 1933 NEW BEST:: SOT 1147899 SOS 103540 HAS SOPS 103540 HAS SOUS 96128 HAS SOUPS 96128 WITH SCORE 96231.54
AT ITER 1965 NEW BEST:: SOT 1147899 SOS 103533 HAS SOPS 103533 HAS SOUS 96118 HAS SOUPS 96118 WITH SCORE 96221.533
AT ITER 2009 NEW BEST:: SOT 1147899 SOS 103532 HAS SOPS 103532 HAS SOUS 96117 HAS SOUPS 96117 WITH SCORE 96220.532
AT ITER 2010 NEW BEST:: SOT 1147838 SOS 103533 HAS SOPS 103533 HAS SOUS 96077 HAS SOUPS 96077 WITH SCORE 96180.533
AT ITER 2063 NEW BEST:: SOT 1147838 SOS 103532 HAS SOPS 103532 HAS SOUS 96076 HAS SOUPS 96076 WITH SCORE 96179.532
AT ITER 2091 NEW BEST:: SOT 1147838 SOS 103525 HAS SOPS 103525 HAS SOUS 96069 HAS SOUPS 96069 WITH SCORE 96172.525
AT ITER 2096 NEW BEST:: SOT 1147812 SOS 103499 HAS SOPS 103499 HAS SOUS 96043 HAS SOUPS 96043 WITH SCORE 96146.499
AT ITER 2158 NEW BEST:: SOT 1147809 SOS 103472 HAS SOPS 103472 HAS SOUS 96016 HAS SOUPS 96016 WITH SCORE 96119.472
AT ITER 2165 NEW BEST:: SOT 1147792 SOS 103444 HAS SOPS 103444 HAS SOUS 95988 HAS SOUPS 95988 WITH SCORE 96091.444
AT ITER 2170 NEW BEST:: SOT 1147766 SOS 103411 HAS SOPS 103411 HAS SOUS 95955 HAS SOUPS 95955 WITH SCORE 96058.411
AT ITER 2171 NEW BEST:: SOT 1147806 SOS 103401 HAS SOPS 103401 HAS SOUS 95917 HAS SOUPS 95917 WITH SCORE 96020.401
AT ITER 2197 NEW BEST:: SOT 1147806 SOS 103392 HAS SOPS 103392 HAS SOUS 95908 HAS SOUPS 95908 WITH SCORE 96011.392
AT ITER 2225 NEW BEST:: SOT 1147696 SOS 103390 HAS SOPS 103390 HAS SOUS 95828 HAS SOUPS 95828 WITH SCORE 95931.39
AT ITER 2235 NEW BEST:: SOT 1147681 SOS 103345 HAS SOPS 103345 HAS SOUS 95783 HAS SOUPS 95783 WITH SCORE 95886.345
AT ITER 2243 NEW BEST:: SOT 1147629 SOS 103234 HAS SOPS 103234 HAS SOUS 95732 HAS SOUPS 95732 WITH SCORE 95835.234
AT ITER 2250 NEW BEST:: SOT 1147629 SOS 103214 HAS SOPS 103214 HAS SOUS 95732 HAS SOUPS 95732 WITH SCORE 95835.214
AT ITER 2351 NEW BEST:: SOT 1147624 SOS 103209 HAS SOPS 103209 HAS SOUS 95732 HAS SOUPS 95732 WITH SCORE 95835.209
AT ITER 2354 NEW BEST:: SOT 1147623 SOS 103163 HAS SOPS 103163 HAS SOUS 95730 HAS SOUPS 95730 WITH SCORE 95833.163
AT ITER 2415 NEW BEST:: SOT 1147597 SOS 103106 HAS SOPS 103106 HAS SOUS 95673 HAS SOUPS 95673 WITH SCORE 95776.106
AT ITER 2436 NEW BEST:: SOT 1147597 SOS 103056 HAS SOPS 103056 HAS SOUS 95667 HAS SOUPS 95667 WITH SCORE 95770.056
AT ITER 2548 NEW BEST:: SOT 1147581 SOS 103058 HAS SOPS 103058 HAS SOUS 95650 HAS SOUPS 95650 WITH SCORE 95753.058
AT ITER 2554 NEW BEST:: SOT 1147547 SOS 102990 HAS SOPS 102990 HAS SOUS 95625 HAS SOUPS 95625 WITH SCORE 95727.99
AT ITER 2592 NEW BEST:: SOT 1147547 SOS 102987 HAS SOPS 102987 HAS SOUS 95622 HAS SOUPS 95622 WITH SCORE 95724.987
AT ITER 2601 NEW BEST:: SOT 1147508 SOS 102952 HAS SOPS 102952 HAS SOUS 95587 HAS SOUPS 95587 WITH SCORE 95689.952
AT ITER 2610 NEW BEST:: SOT 1147538 SOS 103012 HAS SOPS 103012 HAS SOUS 95558 HAS SOUPS 95558 WITH SCORE 95661.012
AT ITER 2613 NEW BEST:: SOT 1147550 SOS 103024 HAS SOPS 103024 HAS SOUS 95557 HAS SOUPS 95557 WITH SCORE 95660.024
AT ITER 2667 NEW BEST:: SOT 1147529 SOS 102982 HAS SOPS 102982 HAS SOUS 95464 HAS SOUPS 95464 WITH SCORE 95566.982
AT ITER 2709 NEW BEST:: SOT 1147529 SOS 102978 HAS SOPS 102978 HAS SOUS 95460 HAS SOUPS 95460 WITH SCORE 95562.978
AT ITER 2755 NEW BEST:: SOT 1147529 SOS 102977 HAS SOPS 102977 HAS SOUS 95459 HAS SOUPS 95459 WITH SCORE 95561.977
AT ITER 2770 NEW BEST:: SOT 1147500 SOS 103171 HAS SOPS 103171 HAS SOUS 95390 HAS SOUPS 95390 WITH SCORE 95493.171
AT ITER 2772 NEW BEST:: SOT 1147440 SOS 103140 HAS SOPS 103140 HAS SOUS 95359 HAS SOUPS 95359 WITH SCORE 95462.14
AT ITER 2800 NEW BEST:: SOT 1147440 SOS 103066 HAS SOPS 103066 HAS SOUS 95285 HAS SOUPS 95285 WITH SCORE 95388.066
AT ITER 2874 NEW BEST:: SOT 1147416 SOS 103034 HAS SOPS 103034 HAS SOUS 95253 HAS SOUPS 95253 WITH SCORE 95356.034
AT ITER 2906 NEW BEST:: SOT 1147396 SOS 102964 HAS SOPS 102964 HAS SOUS 95214 HAS SOUPS 95214 WITH SCORE 95316.964
AT ITER 2968 NEW BEST:: SOT 1147396 SOS 102961 HAS SOPS 102961 HAS SOUS 95213 HAS SOUPS 95213 WITH SCORE 95315.961
AT ITER 3043 NEW BEST:: SOT 1147385 SOS 102933 HAS SOPS 102933 HAS SOUS 95185 HAS SOUPS 95185 WITH SCORE 95287.933
AT ITER 3049 NEW BEST:: SOT 1147383 SOS 102927 HAS SOPS 102927 HAS SOUS 95179 HAS SOUPS 95179 WITH SCORE 95281.927
AT ITER 3058 NEW BEST:: SOT 1147328 SOS 102817 HAS SOPS 102817 HAS SOUS 95038 HAS SOUPS 95038 WITH SCORE 95140.817
AT ITER 3225 NEW BEST:: SOT 1147328 SOS 102811 HAS SOPS 102811 HAS SOUS 95032 HAS SOUPS 95032 WITH SCORE 95134.811
AT ITER 3232 NEW BEST:: SOT 1147328 SOS 102810 HAS SOPS 102810 HAS SOUS 95031 HAS SOUPS 95031 WITH SCORE 95133.81
AT ITER 3319 NEW BEST:: SOT 1147328 SOS 102780 HAS SOPS 102780 HAS SOUS 95028 HAS SOUPS 95028 WITH SCORE 95130.78
AT ITER 3331 NEW BEST:: SOT 1147328 SOS 102775 HAS SOPS 102775 HAS SOUS 94964 HAS SOUPS 94964 WITH SCORE 95066.775
AT ITER 3364 NEW BEST:: SOT 1147312 SOS 102736 HAS SOPS 102736 HAS SOUS 94959 HAS SOUPS 94959 WITH SCORE 95061.736
AT ITER 3367 NEW BEST:: SOT 1147391 SOS 102836 HAS SOPS 102836 HAS SOUS 94889 HAS SOUPS 94889 WITH SCORE 94991.836
AT ITER 3560 NEW BEST:: SOT 1147433 SOS 102912 HAS SOPS 102912 HAS SOUS 94887 HAS SOUPS 94887 WITH SCORE 94989.912
AT ITER 3609 NEW BEST:: SOT 1147433 SOS 102904 HAS SOPS 102904 HAS SOUS 94879 HAS SOUPS 94879 WITH SCORE 94981.904
AT ITER 3669 NEW BEST:: SOT 1147387 SOS 102857 HAS SOPS 102857 HAS SOUS 94836 HAS SOUPS 94836 WITH SCORE 94938.857
AT ITER 3756 NEW BEST:: SOT 1147387 SOS 102855 HAS SOPS 102855 HAS SOUS 94834 HAS SOUPS 94834 WITH SCORE 94936.855
AT ITER 3766 NEW BEST:: SOT 1147304 SOS 102709 HAS SOPS 102709 HAS SOUS 94702 HAS SOUPS 94702 WITH SCORE 94804.709
AT ITER 3795 NEW BEST:: SOT 1147310 SOS 102708 HAS SOPS 102708 HAS SOUS 94701 HAS SOUPS 94701 WITH SCORE 94803.708
AT ITER 3827 NEW BEST:: SOT 1147298 SOS 102678 HAS SOPS 102678 HAS SOUS 94671 HAS SOUPS 94671 WITH SCORE 94773.678
AT ITER 3830 NEW BEST:: SOT 1147230 SOS 102610 HAS SOPS 102610 HAS SOUS 94603 HAS SOUPS 94603 WITH SCORE 94705.61
AT ITER 3832 NEW BEST:: SOT 1147230 SOS 102654 HAS SOPS 102654 HAS SOUS 94602 HAS SOUPS 94602 WITH SCORE 94704.654
AT ITER 3835 NEW BEST:: SOT 1147230 SOS 102654 HAS SOPS 102654 HAS SOUS 94536 HAS SOUPS 94536 WITH SCORE 94638.654
AT ITER 3839 NEW BEST:: SOT 1147228 SOS 102650 HAS SOPS 102650 HAS SOUS 94532 HAS SOUPS 94532 WITH SCORE 94634.65
AT ITER 3850 NEW BEST:: SOT 1147306 SOS 102695 HAS SOPS 102695 HAS SOUS 94531 HAS SOUPS 94531 WITH SCORE 94633.695
AT ITER 3878 NEW BEST:: SOT 1147288 SOS 102653 HAS SOPS 102653 HAS SOUS 94489 HAS SOUPS 94489 WITH SCORE 94591.653
AT ITER 3911 NEW BEST:: SOT 1147241 SOS 102650 HAS SOPS 102650 HAS SOUS 94486 HAS SOUPS 94486 WITH SCORE 94588.65
AT ITER 4018 NEW BEST:: SOT 1147185 SOS 102593 HAS SOPS 102593 HAS SOUS 94429 HAS SOUPS 94429 WITH SCORE 94531.593
AT ITER 4025 NEW BEST:: SOT 1147185 SOS 102645 HAS SOPS 102645 HAS SOUS 94426 HAS SOUPS 94426 WITH SCORE 94528.645
AT ITER 4032 NEW BEST:: SOT 1147167 SOS 102627 HAS SOPS 102627 HAS SOUS 94408 HAS SOUPS 94408 WITH SCORE 94510.627
AT ITER 4186 NEW BEST:: SOT 1147122 SOS 102537 HAS SOPS 102537 HAS SOUS 94304 HAS SOUPS 94304 WITH SCORE 94406.537
AT ITER 4237 NEW BEST:: SOT 1147104 SOS 102548 HAS SOPS 102548 HAS SOUS 94286 HAS SOUPS 94286 WITH SCORE 94388.548
AT ITER 4239 NEW BEST:: SOT 1147066 SOS 102472 HAS SOPS 102472 HAS SOUS 94210 HAS SOUPS 94210 WITH SCORE 94312.472
AT ITER 4251 NEW BEST:: SOT 1147090 SOS 102429 HAS SOPS 102429 HAS SOUS 94167 HAS SOUPS 94167 WITH SCORE 94269.429
AT ITER 4261 NEW BEST:: SOT 1147057 SOS 102363 HAS SOPS 102363 HAS SOUS 94167 HAS SOUPS 94167 WITH SCORE 94269.363
AT ITER 4300 NEW BEST:: SOT 1147057 SOS 102362 HAS SOPS 102362 HAS SOUS 94166 HAS SOUPS 94166 WITH SCORE 94268.362
AT ITER 4342 NEW BEST:: SOT 1147041 SOS 102330 HAS SOPS 102330 HAS SOUS 94166 HAS SOUPS 94166 WITH SCORE 94268.33
AT ITER 4349 NEW BEST:: SOT 1147032 SOS 102321 HAS SOPS 102321 HAS SOUS 94157 HAS SOUPS 94157 WITH SCORE 94259.321
AT ITER 4378 NEW BEST:: SOT 1147008 SOS 102267 HAS SOPS 102267 HAS SOUS 94127 HAS SOUPS 94127 WITH SCORE 94229.267
AT ITER 4421 NEW BEST:: SOT 1146901 SOS 102126 HAS SOPS 102126 HAS SOUS 94015 HAS SOUPS 94015 WITH SCORE 94117.126
AT ITER 4444 NEW BEST:: SOT 1146917 SOS 102076 HAS SOPS 102076 HAS SOUS 93965 HAS SOUPS 93965 WITH SCORE 94067.076
AT ITER 4460 NEW BEST:: SOT 1146922 SOS 102086 HAS SOPS 102086 HAS SOUS 93951 HAS SOUPS 93951 WITH SCORE 94053.086
AT ITER 4508 NEW BEST:: SOT 1146877 SOS 101996 HAS SOPS 101996 HAS SOUS 93846 HAS SOUPS 93846 WITH SCORE 93947.996
AT ITER 4522 NEW BEST:: SOT 1146876 SOS 101970 HAS SOPS 101970 HAS SOUS 93839 HAS SOUPS 93839 WITH SCORE 93940.97
AT ITER 4523 NEW BEST:: SOT 1146854 SOS 101926 HAS SOPS 101926 HAS SOUS 93817 HAS SOUPS 93817 WITH SCORE 93918.926
AT ITER 4654 NEW BEST:: SOT 1146842 SOS 101914 HAS SOPS 101914 HAS SOUS 93805 HAS SOUPS 93805 WITH SCORE 93906.914
AT ITER 4712 NEW BEST:: SOT 1146719 SOS 101800 HAS SOPS 101800 HAS SOUS 93682 HAS SOUPS 93682 WITH SCORE 93783.8
AT ITER 4799 NEW BEST:: SOT 1146719 SOS 101795 HAS SOPS 101795 HAS SOUS 93677 HAS SOUPS 93677 WITH SCORE 93778.795
AT ITER 4801 NEW BEST:: SOT 1146712 SOS 101781 HAS SOPS 101781 HAS SOUS 93670 HAS SOUPS 93670 WITH SCORE 93771.781
AT ITER 4822 NEW BEST:: SOT 1146679 SOS 101710 HAS SOPS 101710 HAS SOUS 93599 HAS SOUPS 93599 WITH SCORE 93700.71
AT ITER 4842 NEW BEST:: SOT 1146654 SOS 101709 HAS SOPS 101709 HAS SOUS 93598 HAS SOUPS 93598 WITH SCORE 93699.709
AT ITER 4908 NEW BEST:: SOT 1146611 SOS 101702 HAS SOPS 101702 HAS SOUS 93591 HAS SOUPS 93591 WITH SCORE 93692.702
AT ITER 4991 NEW BEST:: SOT 1146652 SOS 101682 HAS SOPS 101682 HAS SOUS 93571 HAS SOUPS 93571 WITH SCORE 93672.682
AT ITER 5087 NEW BEST:: SOT 1146637 SOS 101667 HAS SOPS 101667 HAS SOUS 93550 HAS SOUPS 93550 WITH SCORE 93651.667
AT ITER 5136 NEW BEST:: SOT 1146610 SOS 101612 HAS SOPS 101612 HAS SOUS 93495 HAS SOUPS 93495 WITH SCORE 93596.612
AT ITER 5205 NEW BEST:: SOT 1146610 SOS 101611 HAS SOPS 101611 HAS SOUS 93494 HAS SOUPS 93494 WITH SCORE 93595.611
AT ITER 5326 NEW BEST:: SOT 1146568 SOS 101499 HAS SOPS 101499 HAS SOUS 93382 HAS SOUPS 93382 WITH SCORE 93483.499
AT ITER 5340 NEW BEST:: SOT 1146554 SOS 101485 HAS SOPS 101485 HAS SOUS 93378 HAS SOUPS 93378 WITH SCORE 93479.485
AT ITER 5381 NEW BEST:: SOT 1146541 SOS 101460 HAS SOPS 101460 HAS SOUS 93353 HAS SOUPS 93353 WITH SCORE 93454.46
AT ITER 5414 NEW BEST:: SOT 1146539 SOS 101682 HAS SOPS 101682 HAS SOUS 93342 HAS SOUPS 93342 WITH SCORE 93443.682
AT ITER 5416 NEW BEST:: SOT 1146539 SOS 101682 HAS SOPS 101682 HAS SOUS 93288 HAS SOUPS 93288 WITH SCORE 93389.682
AT ITER 5428 NEW BEST:: SOT 1146539 SOS 101682 HAS SOPS 101682 HAS SOUS 93285 HAS SOUPS 93285 WITH SCORE 93386.682
AT ITER 5434 NEW BEST:: SOT 1146539 SOS 101681 HAS SOPS 101681 HAS SOUS 93253 HAS SOUPS 93253 WITH SCORE 93354.681
AT ITER 5589 NEW BEST:: SOT 1146539 SOS 101681 HAS SOPS 101681 HAS SOUS 93218 HAS SOUPS 93218 WITH SCORE 93319.681
AT ITER 5678 NEW BEST:: SOT 1146539 SOS 101670 HAS SOPS 101670 HAS SOUS 93193 HAS SOUPS 93193 WITH SCORE 93294.67
AT ITER 5757 NEW BEST:: SOT 1146522 SOS 101616 HAS SOPS 101616 HAS SOUS 93084 HAS SOUPS 93084 WITH SCORE 93185.616
AT ITER 5799 NEW BEST:: SOT 1146522 SOS 101575 HAS SOPS 101575 HAS SOUS 93043 HAS SOUPS 93043 WITH SCORE 93144.575
AT ITER 5800 NEW BEST:: SOT 1146521 SOS 101511 HAS SOPS 101511 HAS SOUS 93041 HAS SOUPS 93041 WITH SCORE 93142.511
AT ITER 5806 NEW BEST:: SOT 1146497 SOS 101463 HAS SOPS 101463 HAS SOUS 92993 HAS SOUPS 92993 WITH SCORE 93094.463
AT ITER 5973 NEW BEST:: SOT 1146466 SOS 101398 HAS SOPS 101398 HAS SOUS 92959 HAS SOUPS 92959 WITH SCORE 93060.398
AT ITER 6061 NEW BEST:: SOT 1146422 SOS 101310 HAS SOPS 101310 HAS SOUS 92871 HAS SOUPS 92871 WITH SCORE 92972.31
AT ITER 6080 NEW BEST:: SOT 1146429 SOS 101324 HAS SOPS 101324 HAS SOUS 92860 HAS SOUPS 92860 WITH SCORE 92961.324
AT ITER 6111 NEW BEST:: SOT 1146417 SOS 101300 HAS SOPS 101300 HAS SOUS 92792 HAS SOUPS 92792 WITH SCORE 92893.3
AT ITER 6116 NEW BEST:: SOT 1146385 SOS 101299 HAS SOPS 101299 HAS SOUS 92791 HAS SOUPS 92791 WITH SCORE 92892.299
AT ITER 6143 NEW BEST:: SOT 1146380 SOS 101142 HAS SOPS 101142 HAS SOUS 92718 HAS SOUPS 92718 WITH SCORE 92819.142
AT ITER 6157 NEW BEST:: SOT 1146326 SOS 101152 HAS SOPS 101152 HAS SOUS 92663 HAS SOUPS 92663 WITH SCORE 92764.152
AT ITER 6237 NEW BEST:: SOT 1146318 SOS 101120 HAS SOPS 101120 HAS SOUS 92643 HAS SOUPS 92643 WITH SCORE 92744.12
AT ITER 6284 NEW BEST:: SOT 1146317 SOS 101119 HAS SOPS 101119 HAS SOUS 92642 HAS SOUPS 92642 WITH SCORE 92743.119
AT ITER 6354 NEW BEST:: SOT 1146344 SOS 101128 HAS SOPS 101128 HAS SOUS 92599 HAS SOUPS 92599 WITH SCORE 92700.128
AT ITER 6359 NEW BEST:: SOT 1146337 SOS 101121 HAS SOPS 101121 HAS SOUS 92585 HAS SOUPS 92585 WITH SCORE 92686.121
AT ITER 6418 NEW BEST:: SOT 1146337 SOS 101120 HAS SOPS 101120 HAS SOUS 92584 HAS SOUPS 92584 WITH SCORE 92685.12
AT ITER 6448 NEW BEST:: SOT 1146336 SOS 101139 HAS SOPS 101139 HAS SOUS 92582 HAS SOUPS 92582 WITH SCORE 92683.139
AT ITER 6450 NEW BEST:: SOT 1146289 SOS 101092 HAS SOPS 101092 HAS SOUS 92582 HAS SOUPS 92582 WITH SCORE 92683.092
AT ITER 6473 NEW BEST:: SOT 1146289 SOS 101058 HAS SOPS 101058 HAS SOUS 92548 HAS SOUPS 92548 WITH SCORE 92649.058
AT ITER 6524 NEW BEST:: SOT 1146289 SOS 101057 HAS SOPS 101057 HAS SOUS 92496 HAS SOUPS 92496 WITH SCORE 92597.057
AT ITER 6534 NEW BEST:: SOT 1146289 SOS 101054 HAS SOPS 101054 HAS SOUS 92490 HAS SOUPS 92490 WITH SCORE 92591.054
AT ITER 6600 NEW BEST:: SOT 1146289 SOS 101039 HAS SOPS 101039 HAS SOUS 92484 HAS SOUPS 92484 WITH SCORE 92585.039
AT ITER 6685 NEW BEST:: SOT 1146280 SOS 101038 HAS SOPS 101038 HAS SOUS 92474 HAS SOUPS 92474 WITH SCORE 92575.038
AT ITER 6697 NEW BEST:: SOT 1146280 SOS 100991 HAS SOPS 100991 HAS SOUS 92427 HAS SOUPS 92427 WITH SCORE 92527.991
AT ITER 6700 NEW BEST:: SOT 1146272 SOS 100972 HAS SOPS 100972 HAS SOUS 92408 HAS SOUPS 92408 WITH SCORE 92508.972
AT ITER 6704 NEW BEST:: SOT 1146272 SOS 100934 HAS SOPS 100934 HAS SOUS 92332 HAS SOUPS 92332 WITH SCORE 92432.934
AT ITER 6722 NEW BEST:: SOT 1146177 SOS 100810 HAS SOPS 100810 HAS SOUS 92237 HAS SOUPS 92237 WITH SCORE 92337.81
AT ITER 6778 NEW BEST:: SOT 1146177 SOS 100809 HAS SOPS 100809 HAS SOUS 92236 HAS SOUPS 92236 WITH SCORE 92336.809
AT ITER 6868 NEW BEST:: SOT 1146147 SOS 100800 HAS SOPS 100800 HAS SOUS 92227 HAS SOUPS 92227 WITH SCORE 92327.8
AT ITER 6880 NEW BEST:: SOT 1146100 SOS 100753 HAS SOPS 100753 HAS SOUS 92180 HAS SOUPS 92180 WITH SCORE 92280.753
AT ITER 6944 NEW BEST:: SOT 1146043 SOS 100699 HAS SOPS 100699 HAS SOUS 92126 HAS SOUPS 92126 WITH SCORE 92226.699
AT ITER 7012 NEW BEST:: SOT 1146097 SOS 100608 HAS SOPS 100608 HAS SOUS 92089 HAS SOUPS 92089 WITH SCORE 92189.608
AT ITER 7079 NEW BEST:: SOT 1146097 SOS 100600 HAS SOPS 100600 HAS SOUS 92081 HAS SOUPS 92081 WITH SCORE 92181.6
AT ITER 7124 NEW BEST:: SOT 1146100 SOS 100606 HAS SOPS 100606 HAS SOUS 92070 HAS SOUPS 92070 WITH SCORE 92170.606
AT ITER 7185 NEW BEST:: SOT 1146066 SOS 100572 HAS SOPS 100572 HAS SOUS 92036 HAS SOUPS 92036 WITH SCORE 92136.572
AT ITER 7266 NEW BEST:: SOT 1146070 SOS 100580 HAS SOPS 100580 HAS SOUS 92030 HAS SOUPS 92030 WITH SCORE 92130.58
AT ITER 7315 NEW BEST:: SOT 1146069 SOS 100539 HAS SOPS 100539 HAS SOUS 92007 HAS SOUPS 92007 WITH SCORE 92107.539
AT ITER 7340 NEW BEST:: SOT 1146069 SOS 100515 HAS SOPS 100515 HAS SOUS 92001 HAS SOUPS 92001 WITH SCORE 92101.515
AT ITER 7346 NEW BEST:: SOT 1146036 SOS 100446 HAS SOPS 100446 HAS SOUS 91965 HAS SOUPS 91965 WITH SCORE 92065.446
AT ITER 7377 NEW BEST:: SOT 1146036 SOS 100399 HAS SOPS 100399 HAS SOUS 91965 HAS SOUPS 91965 WITH SCORE 92065.399
AT ITER 7392 NEW BEST:: SOT 1146017 SOS 100373 HAS SOPS 100373 HAS SOUS 91939 HAS SOUPS 91939 WITH SCORE 92039.373
AT ITER 7424 NEW BEST:: SOT 1145972 SOS 100325 HAS SOPS 100325 HAS SOUS 91891 HAS SOUPS 91891 WITH SCORE 91991.325
AT ITER 7437 NEW BEST:: SOT 1145960 SOS 100299 HAS SOPS 100299 HAS SOUS 91865 HAS SOUPS 91865 WITH SCORE 91965.299
AT ITER 7488 NEW BEST:: SOT 1145935 SOS 100266 HAS SOPS 100266 HAS SOUS 91832 HAS SOUPS 91832 WITH SCORE 91932.266
AT ITER 7496 NEW BEST:: SOT 1145891 SOS 100178 HAS SOPS 100178 HAS SOUS 91826 HAS SOUPS 91826 WITH SCORE 91926.178
AT ITER 7527 NEW BEST:: SOT 1145883 SOS 100066 HAS SOPS 100066 HAS SOUS 91810 HAS SOUPS 91810 WITH SCORE 91910.066
AT ITER 7583 NEW BEST:: SOT 1145883 SOS 100063 HAS SOPS 100063 HAS SOUS 91807 HAS SOUPS 91807 WITH SCORE 91907.063
AT ITER 7630 NEW BEST:: SOT 1145838 SOS 100011 HAS SOPS 100011 HAS SOUS 91699 HAS SOUPS 91699 WITH SCORE 91799.011
AT ITER 7637 NEW BEST:: SOT 1145961 SOS 100126 HAS SOPS 100126 HAS SOUS 91689 HAS SOUPS 91689 WITH SCORE 91789.126
AT ITER 7828 NEW BEST:: SOT 1145955 SOS 100114 HAS SOPS 100114 HAS SOUS 91677 HAS SOUPS 91677 WITH SCORE 91777.114
AT ITER 7862 NEW BEST:: SOT 1145931 SOS 100066 HAS SOPS 100066 HAS SOUS 91665 HAS SOUPS 91665 WITH SCORE 91765.066
AT ITER 7866 NEW BEST:: SOT 1145929 SOS 100058 HAS SOPS 100058 HAS SOUS 91661 HAS SOUPS 91661 WITH SCORE 91761.058
AT ITER 7991 NEW BEST:: SOT 1145901 SOS 100054 HAS SOPS 100054 HAS SOUS 91633 HAS SOUPS 91633 WITH SCORE 91733.054
AT ITER 8034 NEW BEST:: SOT 1145901 SOS 100043 HAS SOPS 100043 HAS SOUS 91622 HAS SOUPS 91622 WITH SCORE 91722.043
AT ITER 8044 NEW BEST:: SOT 1145952 SOS 99984 HAS SOPS 99984 HAS SOUS 91614 HAS SOUPS 91614 WITH SCORE 91713.984
AT ITER 8068 NEW BEST:: SOT 1145971 SOS 99932 HAS SOPS 99932 HAS SOUS 91612 HAS SOUPS 91612 WITH SCORE 91711.932
AT ITER 8119 NEW BEST:: SOT 1145971 SOS 99932 HAS SOPS 99932 HAS SOUS 91609 HAS SOUPS 91609 WITH SCORE 91708.932
AT ITER 8169 NEW BEST:: SOT 1145953 SOS 99914 HAS SOPS 99914 HAS SOUS 91591 HAS SOUPS 91591 WITH SCORE 91690.914
AT ITER 8234 NEW BEST:: SOT 1145962 SOS 99914 HAS SOPS 99914 HAS SOUS 91582 HAS SOUPS 91582 WITH SCORE 91681.914
AT ITER 8245 NEW BEST:: SOT 1145943 SOS 99858 HAS SOPS 99858 HAS SOUS 91562 HAS SOUPS 91562 WITH SCORE 91661.858
AT ITER 8312 NEW BEST:: SOT 1145942 SOS 99810 HAS SOPS 99810 HAS SOUS 91559 HAS SOUPS 91559 WITH SCORE 91658.81
AT ITER 8322 NEW BEST:: SOT 1145920 SOS 99759 HAS SOPS 99759 HAS SOUS 91508 HAS SOUPS 91508 WITH SCORE 91607.759
AT ITER 8359 NEW BEST:: SOT 1145922 SOS 99756 HAS SOPS 99756 HAS SOUS 91505 HAS SOUPS 91505 WITH SCORE 91604.756
AT ITER 8380 NEW BEST:: SOT 1145922 SOS 99751 HAS SOPS 99751 HAS SOUS 91500 HAS SOUPS 91500 WITH SCORE 91599.751
AT ITER 8408 NEW BEST:: SOT 1145927 SOS 99738 HAS SOPS 99738 HAS SOUS 91481 HAS SOUPS 91481 WITH SCORE 91580.738
AT ITER 8579 NEW BEST:: SOT 1145927 SOS 99738 HAS SOPS 99738 HAS SOUS 91475 HAS SOUPS 91475 WITH SCORE 91574.738
AT ITER 8604 NEW BEST:: SOT 1145917 SOS 99728 HAS SOPS 99728 HAS SOUS 91470 HAS SOUPS 91470 WITH SCORE 91569.728
AT ITER 8662 NEW BEST:: SOT 1145833 SOS 99584 HAS SOPS 99584 HAS SOUS 91442 HAS SOUPS 91442 WITH SCORE 91541.584
AT ITER 8690 NEW BEST:: SOT 1145833 SOS 99564 HAS SOPS 99564 HAS SOUS 91432 HAS SOUPS 91432 WITH SCORE 91531.564
AT ITER 8737 NEW BEST:: SOT 1145833 SOS 99490 HAS SOPS 99490 HAS SOUS 91336 HAS SOUPS 91336 WITH SCORE 91435.49
AT ITER 8753 NEW BEST:: SOT 1145810 SOS 99421 HAS SOPS 99421 HAS SOUS 91267 HAS SOUPS 91267 WITH SCORE 91366.421
AT ITER 8755 NEW BEST:: SOT 1145723 SOS 99345 HAS SOPS 99345 HAS SOUS 91187 HAS SOUPS 91187 WITH SCORE 91286.345
AT ITER 8859 NEW BEST:: SOT 1145674 SOS 99345 HAS SOPS 99345 HAS SOUS 91098 HAS SOUPS 91098 WITH SCORE 91197.345
AT ITER 8952 NEW BEST:: SOT 1145611 SOS 99241 HAS SOPS 99241 HAS SOUS 90994 HAS SOUPS 90994 WITH SCORE 91093.241
AT ITER 9048 NEW BEST:: SOT 1145597 SOS 99227 HAS SOPS 99227 HAS SOUS 90980 HAS SOUPS 90980 WITH SCORE 91079.227
AT ITER 9050 NEW BEST:: SOT 1145596 SOS 99225 HAS SOPS 99225 HAS SOUS 90979 HAS SOUPS 90979 WITH SCORE 91078.225
AT ITER 9103 NEW BEST:: SOT 1145603 SOS 99175 HAS SOPS 99175 HAS SOUS 90939 HAS SOUPS 90939 WITH SCORE 91038.175
AT ITER 9113 NEW BEST:: SOT 1145603 SOS 99171 HAS SOPS 99171 HAS SOUS 90939 HAS SOUPS 90939 WITH SCORE 91038.171
AT ITER 9147 NEW BEST:: SOT 1145603 SOS 99180 HAS SOPS 99180 HAS SOUS 90933 HAS SOUPS 90933 WITH SCORE 91032.18
AT ITER 9150 NEW BEST:: SOT 1145603 SOS 99180 HAS SOPS 99180 HAS SOUS 90912 HAS SOUPS 90912 WITH SCORE 91011.18
AT ITER 9155 NEW BEST:: SOT 1145596 SOS 99166 HAS SOPS 99166 HAS SOUS 90898 HAS SOUPS 90898 WITH SCORE 90997.166
AT ITER 9172 NEW BEST:: SOT 1145578 SOS 99148 HAS SOPS 99148 HAS SOUS 90880 HAS SOUPS 90880 WITH SCORE 90979.148
AT ITER 9186 NEW BEST:: SOT 1145603 SOS 99146 HAS SOPS 99146 HAS SOUS 90878 HAS SOUPS 90878 WITH SCORE 90977.146
AT ITER 9202 NEW BEST:: SOT 1145588 SOS 99140 HAS SOPS 99140 HAS SOUS 90863 HAS SOUPS 90863 WITH SCORE 90962.14
AT ITER 9224 NEW BEST:: SOT 1145607 SOS 99132 HAS SOPS 99132 HAS SOUS 90855 HAS SOUPS 90855 WITH SCORE 90954.132
AT ITER 9226 NEW BEST:: SOT 1145624 SOS 99166 HAS SOPS 99166 HAS SOUS 90813 HAS SOUPS 90813 WITH SCORE 90912.166
AT ITER 9230 NEW BEST:: SOT 1145623 SOS 99086 HAS SOPS 99086 HAS SOUS 90809 HAS SOUPS 90809 WITH SCORE 90908.086
AT ITER 9365 NEW BEST:: SOT 1145623 SOS 99083 HAS SOPS 99083 HAS SOUS 90785 HAS SOUPS 90785 WITH SCORE 90884.083
AT ITER 9373 NEW BEST:: SOT 1145606 SOS 99049 HAS SOPS 99049 HAS SOUS 90768 HAS SOUPS 90768 WITH SCORE 90867.049
AT ITER 9429 NEW BEST:: SOT 1145622 SOS 99048 HAS SOPS 99048 HAS SOUS 90767 HAS SOUPS 90767 WITH SCORE 90866.048
AT ITER 9491 NEW BEST:: SOT 1145604 SOS 99030 HAS SOPS 99030 HAS SOUS 90749 HAS SOUPS 90749 WITH SCORE 90848.03
AT ITER 9546 NEW BEST:: SOT 1145604 SOS 99027 HAS SOPS 99027 HAS SOUS 90746 HAS SOUPS 90746 WITH SCORE 90845.027
AT ITER 9556 NEW BEST:: SOT 1145595 SOS 99032 HAS SOPS 99032 HAS SOUS 90744 HAS SOUPS 90744 WITH SCORE 90843.032
AT ITER 9575 NEW BEST:: SOT 1145595 SOS 99007 HAS SOPS 99007 HAS SOUS 90719 HAS SOUPS 90719 WITH SCORE 90818.007
AT ITER 9620 NEW BEST:: SOT 1145595 SOS 99004 HAS SOPS 99004 HAS SOUS 90716 HAS SOUPS 90716 WITH SCORE 90815.004
AT ITER 9661 NEW BEST:: SOT 1145544 SOS 99023 HAS SOPS 99023 HAS SOUS 90711 HAS SOUPS 90711 WITH SCORE 90810.023
AT ITER 9674 NEW BEST:: SOT 1145554 SOS 99007 HAS SOPS 99007 HAS SOUS 90705 HAS SOUPS 90705 WITH SCORE 90804.007
AT ITER 9929 NEW BEST:: SOT 1145548 SOS 98986 HAS SOPS 98986 HAS SOUS 90684 HAS SOUPS 90684 WITH SCORE 90782.986
AT ITER 9931 NEW BEST:: SOT 1145548 SOS 98952 HAS SOPS 98952 HAS SOUS 90676 HAS SOUPS 90676 WITH SCORE 90774.952
AT ITER 9987 NEW BEST:: SOT 1145548 SOS 98949 HAS SOPS 98949 HAS SOUS 90642 HAS SOUPS 90642 WITH SCORE 90740.949
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393236 kB
MemFree: 11885448 kB
After kill :
MemTotal: 16393236 kB
MemFree: 16123756 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
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
Caught signal 15, terminating.

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="ShieldPPPt-PT-020B"
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 ShieldPPPt-PT-020B, 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 r395-oct2-167903719000640"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldPPPt-PT-020B.tgz
mv ShieldPPPt-PT-020B execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;