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-167903718300080.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 ShieldIIPs-PT-005B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r395-oct2-167903718300080
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 496K
-rw-r--r-- 1 mcc users 6.2K Feb 25 15:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 61K Feb 25 15:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.0K Feb 25 15:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 25 15:52 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 15:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 109K Feb 25 15:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.0K Feb 25 15:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 69K Feb 25 15:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:54 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 82K 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 1679552860502

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=ShieldIIPs-PT-005B
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 06:27:43] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 06:27:43] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 06:27:43] [INFO ] Load time of PNML (sax parser for PT used): 90 ms
[2023-03-23 06:27:43] [INFO ] Transformed 303 places.
[2023-03-23 06:27:43] [INFO ] Transformed 298 transitions.
[2023-03-23 06:27:43] [INFO ] Found NUPN structural information;
[2023-03-23 06:27:43] [INFO ] Parsed PT model containing 303 places and 298 transitions and 896 arcs in 224 ms.
[2023-03-23 06:27:43] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 303 places, 298 transitions and 896 arcs took 5 ms.
Total runtime 266 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPs (PT), instance 005B
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: 303 places, 298 transitions, 896 arcs.
AT ITER 0 NEW BEST:: SOT 50992 SOS 14714 HAS SOPS 14714 HAS SOUS 11998 HAS SOUPS 11998 WITH SCORE 12012.714
AT ITER 37 NEW BEST:: SOT 50987 SOS 14719 HAS SOPS 14719 HAS SOUS 11993 HAS SOUPS 11993 WITH SCORE 12007.719
AT ITER 49 NEW BEST:: SOT 50981 SOS 14707 HAS SOPS 14707 HAS SOUS 11987 HAS SOUPS 11987 WITH SCORE 12001.707
AT ITER 80 NEW BEST:: SOT 50981 SOS 14705 HAS SOPS 14705 HAS SOUS 11986 HAS SOUPS 11986 WITH SCORE 12000.705
AT ITER 134 NEW BEST:: SOT 50964 SOS 14613 HAS SOPS 14613 HAS SOUS 11980 HAS SOUPS 11980 WITH SCORE 11994.613
AT ITER 150 NEW BEST:: SOT 50955 SOS 14601 HAS SOPS 14601 HAS SOUS 11970 HAS SOUPS 11970 WITH SCORE 11984.601
AT ITER 165 NEW BEST:: SOT 50900 SOS 14500 HAS SOPS 14500 HAS SOUS 11726 HAS SOUPS 11726 WITH SCORE 11740.5
AT ITER 209 NEW BEST:: SOT 50900 SOS 14492 HAS SOPS 14492 HAS SOUS 11718 HAS SOUPS 11718 WITH SCORE 11732.492
AT ITER 222 NEW BEST:: SOT 50870 SOS 14464 HAS SOPS 14464 HAS SOUS 11691 HAS SOUPS 11691 WITH SCORE 11705.464
AT ITER 246 NEW BEST:: SOT 50850 SOS 14484 HAS SOPS 14484 HAS SOUS 11651 HAS SOUPS 11651 WITH SCORE 11665.484
AT ITER 271 NEW BEST:: SOT 50850 SOS 14508 HAS SOPS 14508 HAS SOUS 11642 HAS SOUPS 11642 WITH SCORE 11656.508
AT ITER 289 NEW BEST:: SOT 50850 SOS 14506 HAS SOPS 14506 HAS SOUS 11640 HAS SOUPS 11640 WITH SCORE 11654.506
AT ITER 297 NEW BEST:: SOT 50850 SOS 14488 HAS SOPS 14488 HAS SOUS 11622 HAS SOUPS 11622 WITH SCORE 11636.488
AT ITER 310 NEW BEST:: SOT 50850 SOS 14460 HAS SOPS 14460 HAS SOUS 11622 HAS SOUPS 11622 WITH SCORE 11636.46
AT ITER 311 NEW BEST:: SOT 50850 SOS 14447 HAS SOPS 14447 HAS SOUS 11622 HAS SOUPS 11622 WITH SCORE 11636.447
AT ITER 319 NEW BEST:: SOT 50841 SOS 14401 HAS SOPS 14401 HAS SOUS 11599 HAS SOUPS 11599 WITH SCORE 11613.401
AT ITER 320 NEW BEST:: SOT 50836 SOS 14394 HAS SOPS 14394 HAS SOUS 11597 HAS SOUPS 11597 WITH SCORE 11611.394
AT ITER 321 NEW BEST:: SOT 50832 SOS 14382 HAS SOPS 14382 HAS SOUS 11585 HAS SOUPS 11585 WITH SCORE 11599.382
AT ITER 328 NEW BEST:: SOT 50842 SOS 14366 HAS SOPS 14366 HAS SOUS 11569 HAS SOUPS 11569 WITH SCORE 11583.366
AT ITER 329 NEW BEST:: SOT 50741 SOS 14369 HAS SOPS 14369 HAS SOUS 11538 HAS SOUPS 11538 WITH SCORE 11552.369
AT ITER 343 NEW BEST:: SOT 50729 SOS 14361 HAS SOPS 14361 HAS SOUS 11530 HAS SOUPS 11530 WITH SCORE 11544.361
AT ITER 348 NEW BEST:: SOT 50727 SOS 14359 HAS SOPS 14359 HAS SOUS 11528 HAS SOUPS 11528 WITH SCORE 11542.359
AT ITER 354 NEW BEST:: SOT 50708 SOS 14325 HAS SOPS 14325 HAS SOUS 11500 HAS SOUPS 11500 WITH SCORE 11514.325
AT ITER 357 NEW BEST:: SOT 50662 SOS 14314 HAS SOPS 14314 HAS SOUS 11465 HAS SOUPS 11465 WITH SCORE 11479.314
AT ITER 375 NEW BEST:: SOT 50643 SOS 14295 HAS SOPS 14295 HAS SOUS 11446 HAS SOUPS 11446 WITH SCORE 11460.295
AT ITER 381 NEW BEST:: SOT 50601 SOS 14265 HAS SOPS 14265 HAS SOUS 11402 HAS SOUPS 11402 WITH SCORE 11416.265
AT ITER 388 NEW BEST:: SOT 50601 SOS 14225 HAS SOPS 14225 HAS SOUS 11402 HAS SOUPS 11402 WITH SCORE 11416.225
AT ITER 396 NEW BEST:: SOT 50559 SOS 14194 HAS SOPS 14194 HAS SOUS 11371 HAS SOUPS 11371 WITH SCORE 11385.194
AT ITER 405 NEW BEST:: SOT 50542 SOS 14184 HAS SOPS 14184 HAS SOUS 11361 HAS SOUPS 11361 WITH SCORE 11375.184
AT ITER 418 NEW BEST:: SOT 50541 SOS 14179 HAS SOPS 14179 HAS SOUS 11360 HAS SOUPS 11360 WITH SCORE 11374.179
AT ITER 430 NEW BEST:: SOT 50539 SOS 14173 HAS SOPS 14173 HAS SOUS 11354 HAS SOUPS 11354 WITH SCORE 11368.173
AT ITER 457 NEW BEST:: SOT 50477 SOS 14101 HAS SOPS 14101 HAS SOUS 11282 HAS SOUPS 11282 WITH SCORE 11296.101
AT ITER 468 NEW BEST:: SOT 50407 SOS 14029 HAS SOPS 14029 HAS SOUS 11250 HAS SOUPS 11250 WITH SCORE 11264.029
AT ITER 469 NEW BEST:: SOT 50407 SOS 14041 HAS SOPS 14041 HAS SOUS 11238 HAS SOUPS 11238 WITH SCORE 11252.041
AT ITER 534 NEW BEST:: SOT 50404 SOS 13979 HAS SOPS 13979 HAS SOUS 11216 HAS SOUPS 11216 WITH SCORE 11229.979
AT ITER 576 NEW BEST:: SOT 50348 SOS 13933 HAS SOPS 13933 HAS SOUS 11170 HAS SOUPS 11170 WITH SCORE 11183.933
AT ITER 606 NEW BEST:: SOT 50348 SOS 13932 HAS SOPS 13932 HAS SOUS 11168 HAS SOUPS 11168 WITH SCORE 11181.932
AT ITER 613 NEW BEST:: SOT 50303 SOS 13902 HAS SOPS 13902 HAS SOUS 11138 HAS SOUPS 11138 WITH SCORE 11151.902
AT ITER 617 NEW BEST:: SOT 50265 SOS 13864 HAS SOPS 13864 HAS SOUS 11099 HAS SOUPS 11099 WITH SCORE 11112.864
AT ITER 638 NEW BEST:: SOT 50259 SOS 13861 HAS SOPS 13861 HAS SOUS 11096 HAS SOUPS 11096 WITH SCORE 11109.861
AT ITER 669 NEW BEST:: SOT 50235 SOS 13826 HAS SOPS 13826 HAS SOUS 11083 HAS SOUPS 11083 WITH SCORE 11096.826
AT ITER 711 NEW BEST:: SOT 50242 SOS 13728 HAS SOPS 13728 HAS SOUS 11034 HAS SOUPS 11034 WITH SCORE 11047.728
AT ITER 715 NEW BEST:: SOT 50242 SOS 13727 HAS SOPS 13727 HAS SOUS 11033 HAS SOUPS 11033 WITH SCORE 11046.727
AT ITER 726 NEW BEST:: SOT 50197 SOS 13653 HAS SOPS 13653 HAS SOUS 10973 HAS SOUPS 10973 WITH SCORE 10986.653
AT ITER 754 NEW BEST:: SOT 50176 SOS 13652 HAS SOPS 13652 HAS SOUS 10972 HAS SOUPS 10972 WITH SCORE 10985.652
AT ITER 783 NEW BEST:: SOT 50166 SOS 13640 HAS SOPS 13640 HAS SOUS 10960 HAS SOUPS 10960 WITH SCORE 10973.64
AT ITER 786 NEW BEST:: SOT 50164 SOS 13624 HAS SOPS 13624 HAS SOUS 10959 HAS SOUPS 10959 WITH SCORE 10972.624
AT ITER 789 NEW BEST:: SOT 50158 SOS 13618 HAS SOPS 13618 HAS SOUS 10953 HAS SOUPS 10953 WITH SCORE 10966.618
AT ITER 790 NEW BEST:: SOT 50127 SOS 13563 HAS SOPS 13563 HAS SOUS 10929 HAS SOUPS 10929 WITH SCORE 10942.563
AT ITER 847 NEW BEST:: SOT 50127 SOS 13594 HAS SOPS 13594 HAS SOUS 10927 HAS SOUPS 10927 WITH SCORE 10940.594
AT ITER 852 NEW BEST:: SOT 50065 SOS 13386 HAS SOPS 13386 HAS SOUS 10826 HAS SOUPS 10826 WITH SCORE 10839.386
AT ITER 879 NEW BEST:: SOT 50065 SOS 13377 HAS SOPS 13377 HAS SOUS 10817 HAS SOUPS 10817 WITH SCORE 10830.377
AT ITER 902 NEW BEST:: SOT 50014 SOS 13338 HAS SOPS 13338 HAS SOUS 10743 HAS SOUPS 10743 WITH SCORE 10756.338
AT ITER 904 NEW BEST:: SOT 50013 SOS 13336 HAS SOPS 13336 HAS SOUS 10741 HAS SOUPS 10741 WITH SCORE 10754.336
AT ITER 906 NEW BEST:: SOT 49968 SOS 13175 HAS SOPS 13175 HAS SOUS 10640 HAS SOUPS 10640 WITH SCORE 10653.175
AT ITER 911 NEW BEST:: SOT 49973 SOS 13167 HAS SOPS 13167 HAS SOUS 10632 HAS SOUPS 10632 WITH SCORE 10645.167
AT ITER 945 NEW BEST:: SOT 49989 SOS 13135 HAS SOPS 13135 HAS SOUS 10616 HAS SOUPS 10616 WITH SCORE 10629.135
AT ITER 946 NEW BEST:: SOT 49971 SOS 13099 HAS SOPS 13099 HAS SOUS 10554 HAS SOUPS 10554 WITH SCORE 10567.099
AT ITER 952 NEW BEST:: SOT 49975 SOS 13142 HAS SOPS 13142 HAS SOUS 10537 HAS SOUPS 10537 WITH SCORE 10550.142
AT ITER 975 NEW BEST:: SOT 49941 SOS 13009 HAS SOPS 13009 HAS SOUS 10437 HAS SOUPS 10437 WITH SCORE 10450.009
AT ITER 1145 NEW BEST:: SOT 49941 SOS 12997 HAS SOPS 12997 HAS SOUS 10401 HAS SOUPS 10401 WITH SCORE 10413.997
AT ITER 1166 NEW BEST:: SOT 49883 SOS 12831 HAS SOPS 12831 HAS SOUS 10377 HAS SOUPS 10377 WITH SCORE 10389.831
AT ITER 1181 NEW BEST:: SOT 49847 SOS 12764 HAS SOPS 12764 HAS SOUS 10337 HAS SOUPS 10337 WITH SCORE 10349.764
AT ITER 1204 NEW BEST:: SOT 49828 SOS 12751 HAS SOPS 12751 HAS SOUS 10324 HAS SOUPS 10324 WITH SCORE 10336.751
AT ITER 1228 NEW BEST:: SOT 49818 SOS 12713 HAS SOPS 12713 HAS SOUS 10315 HAS SOUPS 10315 WITH SCORE 10327.713
AT ITER 1246 NEW BEST:: SOT 49817 SOS 12712 HAS SOPS 12712 HAS SOUS 10314 HAS SOUPS 10314 WITH SCORE 10326.712
AT ITER 1272 NEW BEST:: SOT 49822 SOS 12677 HAS SOPS 12677 HAS SOUS 10311 HAS SOUPS 10311 WITH SCORE 10323.677
AT ITER 1282 NEW BEST:: SOT 49785 SOS 12604 HAS SOPS 12604 HAS SOUS 10272 HAS SOUPS 10272 WITH SCORE 10284.604
AT ITER 1287 NEW BEST:: SOT 49783 SOS 12596 HAS SOPS 12596 HAS SOUS 10266 HAS SOUPS 10266 WITH SCORE 10278.596
AT ITER 1299 NEW BEST:: SOT 49749 SOS 12518 HAS SOPS 12518 HAS SOUS 10211 HAS SOUPS 10211 WITH SCORE 10223.518
AT ITER 1474 NEW BEST:: SOT 49736 SOS 12502 HAS SOPS 12502 HAS SOUS 10211 HAS SOUPS 10211 WITH SCORE 10223.502
AT ITER 1483 NEW BEST:: SOT 49716 SOS 12479 HAS SOPS 12479 HAS SOUS 10188 HAS SOUPS 10188 WITH SCORE 10200.479
AT ITER 1505 NEW BEST:: SOT 49679 SOS 12479 HAS SOPS 12479 HAS SOUS 10172 HAS SOUPS 10172 WITH SCORE 10184.479
AT ITER 1529 NEW BEST:: SOT 49679 SOS 12483 HAS SOPS 12483 HAS SOUS 10170 HAS SOUPS 10170 WITH SCORE 10182.483
AT ITER 1548 NEW BEST:: SOT 49637 SOS 12375 HAS SOPS 12375 HAS SOUS 10104 HAS SOUPS 10104 WITH SCORE 10116.375
AT ITER 1552 NEW BEST:: SOT 49577 SOS 12364 HAS SOPS 12364 HAS SOUS 9988 HAS SOUPS 9988 WITH SCORE 10000.364
AT ITER 1559 NEW BEST:: SOT 49595 SOS 12362 HAS SOPS 12362 HAS SOUS 9986 HAS SOUPS 9986 WITH SCORE 9998.362
AT ITER 1577 NEW BEST:: SOT 49602 SOS 12352 HAS SOPS 12352 HAS SOUS 9981 HAS SOUPS 9981 WITH SCORE 9993.352
AT ITER 1586 NEW BEST:: SOT 49599 SOS 12339 HAS SOPS 12339 HAS SOUS 9954 HAS SOUPS 9954 WITH SCORE 9966.339
AT ITER 1597 NEW BEST:: SOT 49603 SOS 12341 HAS SOPS 12341 HAS SOUS 9941 HAS SOUPS 9941 WITH SCORE 9953.341
AT ITER 1607 NEW BEST:: SOT 49603 SOS 12333 HAS SOPS 12333 HAS SOUS 9941 HAS SOUPS 9941 WITH SCORE 9953.333
AT ITER 1636 NEW BEST:: SOT 49587 SOS 12331 HAS SOPS 12331 HAS SOUS 9939 HAS SOUPS 9939 WITH SCORE 9951.331
AT ITER 1685 NEW BEST:: SOT 49561 SOS 12289 HAS SOPS 12289 HAS SOUS 9917 HAS SOUPS 9917 WITH SCORE 9929.289
AT ITER 1698 NEW BEST:: SOT 49550 SOS 12267 HAS SOPS 12267 HAS SOUS 9895 HAS SOUPS 9895 WITH SCORE 9907.267
AT ITER 1702 NEW BEST:: SOT 49543 SOS 12234 HAS SOPS 12234 HAS SOUS 9883 HAS SOUPS 9883 WITH SCORE 9895.234
AT ITER 1781 NEW BEST:: SOT 49552 SOS 12230 HAS SOPS 12230 HAS SOUS 9876 HAS SOUPS 9876 WITH SCORE 9888.23
AT ITER 1849 NEW BEST:: SOT 49552 SOS 12236 HAS SOPS 12236 HAS SOUS 9860 HAS SOUPS 9860 WITH SCORE 9872.236
AT ITER 1883 NEW BEST:: SOT 49552 SOS 12157 HAS SOPS 12157 HAS SOUS 9850 HAS SOUPS 9850 WITH SCORE 9862.157
AT ITER 1920 NEW BEST:: SOT 49486 SOS 12084 HAS SOPS 12084 HAS SOUS 9777 HAS SOUPS 9777 WITH SCORE 9789.084
AT ITER 1975 NEW BEST:: SOT 49486 SOS 12072 HAS SOPS 12072 HAS SOUS 9765 HAS SOUPS 9765 WITH SCORE 9777.072
AT ITER 1990 NEW BEST:: SOT 49484 SOS 12071 HAS SOPS 12071 HAS SOUS 9764 HAS SOUPS 9764 WITH SCORE 9776.071
AT ITER 2002 NEW BEST:: SOT 49462 SOS 12032 HAS SOPS 12032 HAS SOUS 9747 HAS SOUPS 9747 WITH SCORE 9759.032
AT ITER 2026 NEW BEST:: SOT 49460 SOS 12023 HAS SOPS 12023 HAS SOUS 9744 HAS SOUPS 9744 WITH SCORE 9756.023
AT ITER 2037 NEW BEST:: SOT 49454 SOS 11999 HAS SOPS 11999 HAS SOUS 9738 HAS SOUPS 9738 WITH SCORE 9749.999
AT ITER 2042 NEW BEST:: SOT 49453 SOS 11992 HAS SOPS 11992 HAS SOUS 9737 HAS SOUPS 9737 WITH SCORE 9748.992
AT ITER 2067 NEW BEST:: SOT 49448 SOS 11992 HAS SOPS 11992 HAS SOUS 9732 HAS SOUPS 9732 WITH SCORE 9743.992
AT ITER 2068 NEW BEST:: SOT 49434 SOS 11964 HAS SOPS 11964 HAS SOUS 9705 HAS SOUPS 9705 WITH SCORE 9716.964
AT ITER 2125 NEW BEST:: SOT 49426 SOS 11932 HAS SOPS 11932 HAS SOUS 9697 HAS SOUPS 9697 WITH SCORE 9708.932
AT ITER 2248 NEW BEST:: SOT 49412 SOS 11876 HAS SOPS 11876 HAS SOUS 9669 HAS SOUPS 9669 WITH SCORE 9680.876
AT ITER 2259 NEW BEST:: SOT 49415 SOS 11858 HAS SOPS 11858 HAS SOUS 9665 HAS SOUPS 9665 WITH SCORE 9676.858
AT ITER 2287 NEW BEST:: SOT 49402 SOS 11829 HAS SOPS 11829 HAS SOUS 9636 HAS SOUPS 9636 WITH SCORE 9647.829
AT ITER 2315 NEW BEST:: SOT 49391 SOS 11827 HAS SOPS 11827 HAS SOUS 9634 HAS SOUPS 9634 WITH SCORE 9645.827
AT ITER 2334 NEW BEST:: SOT 49361 SOS 11773 HAS SOPS 11773 HAS SOUS 9591 HAS SOUPS 9591 WITH SCORE 9602.773
AT ITER 2366 NEW BEST:: SOT 49330 SOS 11767 HAS SOPS 11767 HAS SOUS 9588 HAS SOUPS 9588 WITH SCORE 9599.767
AT ITER 2448 NEW BEST:: SOT 49359 SOS 11778 HAS SOPS 11778 HAS SOUS 9539 HAS SOUPS 9539 WITH SCORE 9550.778
AT ITER 2460 NEW BEST:: SOT 49359 SOS 11770 HAS SOPS 11770 HAS SOUS 9532 HAS SOUPS 9532 WITH SCORE 9543.77
AT ITER 2552 NEW BEST:: SOT 49359 SOS 11766 HAS SOPS 11766 HAS SOUS 9528 HAS SOUPS 9528 WITH SCORE 9539.766
AT ITER 2635 NEW BEST:: SOT 49351 SOS 11731 HAS SOPS 11731 HAS SOUS 9511 HAS SOUPS 9511 WITH SCORE 9522.731
AT ITER 2644 NEW BEST:: SOT 49351 SOS 11725 HAS SOPS 11725 HAS SOUS 9510 HAS SOUPS 9510 WITH SCORE 9521.725
AT ITER 2653 NEW BEST:: SOT 49317 SOS 11691 HAS SOPS 11691 HAS SOUS 9476 HAS SOUPS 9476 WITH SCORE 9487.691
AT ITER 2769 NEW BEST:: SOT 49317 SOS 11690 HAS SOPS 11690 HAS SOUS 9475 HAS SOUPS 9475 WITH SCORE 9486.69
AT ITER 2820 NEW BEST:: SOT 49309 SOS 11682 HAS SOPS 11682 HAS SOUS 9465 HAS SOUPS 9465 WITH SCORE 9476.682
AT ITER 2951 NEW BEST:: SOT 49309 SOS 11622 HAS SOPS 11622 HAS SOUS 9465 HAS SOUPS 9465 WITH SCORE 9476.622
AT ITER 2957 NEW BEST:: SOT 49309 SOS 11627 HAS SOPS 11627 HAS SOUS 9428 HAS SOUPS 9428 WITH SCORE 9439.627
AT ITER 2977 NEW BEST:: SOT 49241 SOS 11576 HAS SOPS 11576 HAS SOUS 9377 HAS SOUPS 9377 WITH SCORE 9388.576
AT ITER 2982 NEW BEST:: SOT 49239 SOS 11572 HAS SOPS 11572 HAS SOUS 9371 HAS SOUPS 9371 WITH SCORE 9382.572
AT ITER 3023 NEW BEST:: SOT 49213 SOS 11472 HAS SOPS 11472 HAS SOUS 9350 HAS SOUPS 9350 WITH SCORE 9361.472
AT ITER 3028 NEW BEST:: SOT 49213 SOS 11465 HAS SOPS 11465 HAS SOUS 9343 HAS SOUPS 9343 WITH SCORE 9354.465
AT ITER 3032 NEW BEST:: SOT 49207 SOS 11451 HAS SOPS 11451 HAS SOUS 9329 HAS SOUPS 9329 WITH SCORE 9340.451
AT ITER 3063 NEW BEST:: SOT 49204 SOS 11448 HAS SOPS 11448 HAS SOUS 9322 HAS SOUPS 9322 WITH SCORE 9333.448
AT ITER 3139 NEW BEST:: SOT 49188 SOS 11432 HAS SOPS 11432 HAS SOUS 9301 HAS SOUPS 9301 WITH SCORE 9312.432
AT ITER 3165 NEW BEST:: SOT 49177 SOS 11421 HAS SOPS 11421 HAS SOUS 9293 HAS SOUPS 9293 WITH SCORE 9304.421
AT ITER 3172 NEW BEST:: SOT 49172 SOS 11415 HAS SOPS 11415 HAS SOUS 9287 HAS SOUPS 9287 WITH SCORE 9298.415
AT ITER 3280 NEW BEST:: SOT 49162 SOS 11393 HAS SOPS 11393 HAS SOUS 9275 HAS SOUPS 9275 WITH SCORE 9286.393
AT ITER 3288 NEW BEST:: SOT 49148 SOS 11365 HAS SOPS 11365 HAS SOUS 9243 HAS SOUPS 9243 WITH SCORE 9254.365
AT ITER 3307 NEW BEST:: SOT 49142 SOS 11359 HAS SOPS 11359 HAS SOUS 9237 HAS SOUPS 9237 WITH SCORE 9248.359
AT ITER 3346 NEW BEST:: SOT 49127 SOS 11344 HAS SOPS 11344 HAS SOUS 9222 HAS SOUPS 9222 WITH SCORE 9233.344
AT ITER 3364 NEW BEST:: SOT 49124 SOS 11341 HAS SOPS 11341 HAS SOUS 9219 HAS SOUPS 9219 WITH SCORE 9230.341
AT ITER 3379 NEW BEST:: SOT 49124 SOS 11360 HAS SOPS 11360 HAS SOUS 9200 HAS SOUPS 9200 WITH SCORE 9211.36
AT ITER 3420 NEW BEST:: SOT 49089 SOS 11359 HAS SOPS 11359 HAS SOUS 9191 HAS SOUPS 9191 WITH SCORE 9202.359
AT ITER 3439 NEW BEST:: SOT 49089 SOS 11356 HAS SOPS 11356 HAS SOUS 9187 HAS SOUPS 9187 WITH SCORE 9198.356
AT ITER 3459 NEW BEST:: SOT 49086 SOS 11353 HAS SOPS 11353 HAS SOUS 9184 HAS SOUPS 9184 WITH SCORE 9195.353
AT ITER 3549 NEW BEST:: SOT 49066 SOS 11333 HAS SOPS 11333 HAS SOUS 9174 HAS SOUPS 9174 WITH SCORE 9185.333
AT ITER 3580 NEW BEST:: SOT 49065 SOS 11292 HAS SOPS 11292 HAS SOUS 9160 HAS SOUPS 9160 WITH SCORE 9171.292
AT ITER 3593 NEW BEST:: SOT 49061 SOS 11260 HAS SOPS 11260 HAS SOUS 9156 HAS SOUPS 9156 WITH SCORE 9167.26
AT ITER 3671 NEW BEST:: SOT 49044 SOS 11243 HAS SOPS 11243 HAS SOUS 9139 HAS SOUPS 9139 WITH SCORE 9150.243
AT ITER 3701 NEW BEST:: SOT 49040 SOS 11239 HAS SOPS 11239 HAS SOUS 9135 HAS SOUPS 9135 WITH SCORE 9146.239
AT ITER 3707 NEW BEST:: SOT 49039 SOS 11232 HAS SOPS 11232 HAS SOUS 9129 HAS SOUPS 9129 WITH SCORE 9140.232
AT ITER 3716 NEW BEST:: SOT 49039 SOS 11230 HAS SOPS 11230 HAS SOUS 9127 HAS SOUPS 9127 WITH SCORE 9138.23
AT ITER 3718 NEW BEST:: SOT 49029 SOS 11229 HAS SOPS 11229 HAS SOUS 9126 HAS SOUPS 9126 WITH SCORE 9137.229
AT ITER 3728 NEW BEST:: SOT 49018 SOS 11225 HAS SOPS 11225 HAS SOUS 9122 HAS SOUPS 9122 WITH SCORE 9133.225
AT ITER 3844 NEW BEST:: SOT 49018 SOS 11253 HAS SOPS 11253 HAS SOUS 9115 HAS SOUPS 9115 WITH SCORE 9126.253
AT ITER 3848 NEW BEST:: SOT 49012 SOS 11223 HAS SOPS 11223 HAS SOUS 9115 HAS SOUPS 9115 WITH SCORE 9126.223
AT ITER 3907 NEW BEST:: SOT 49006 SOS 11217 HAS SOPS 11217 HAS SOUS 9109 HAS SOUPS 9109 WITH SCORE 9120.217
AT ITER 3930 NEW BEST:: SOT 48996 SOS 11202 HAS SOPS 11202 HAS SOUS 9089 HAS SOUPS 9089 WITH SCORE 9100.202
AT ITER 3939 NEW BEST:: SOT 48996 SOS 11236 HAS SOPS 11236 HAS SOUS 9072 HAS SOUPS 9072 WITH SCORE 9083.236
AT ITER 3942 NEW BEST:: SOT 48996 SOS 11233 HAS SOPS 11233 HAS SOUS 9069 HAS SOUPS 9069 WITH SCORE 9080.233
AT ITER 3944 NEW BEST:: SOT 48994 SOS 11222 HAS SOPS 11222 HAS SOUS 9054 HAS SOUPS 9054 WITH SCORE 9065.222
AT ITER 3970 NEW BEST:: SOT 48993 SOS 11217 HAS SOPS 11217 HAS SOUS 9053 HAS SOUPS 9053 WITH SCORE 9064.217
AT ITER 4042 NEW BEST:: SOT 49016 SOS 11125 HAS SOPS 11125 HAS SOUS 9051 HAS SOUPS 9051 WITH SCORE 9062.125
AT ITER 4073 NEW BEST:: SOT 49010 SOS 11100 HAS SOPS 11100 HAS SOUS 9039 HAS SOUPS 9039 WITH SCORE 9050.1
AT ITER 4084 NEW BEST:: SOT 49007 SOS 11085 HAS SOPS 11085 HAS SOUS 9030 HAS SOUPS 9030 WITH SCORE 9041.085
AT ITER 4090 NEW BEST:: SOT 49007 SOS 11080 HAS SOPS 11080 HAS SOUS 9025 HAS SOUPS 9025 WITH SCORE 9036.08
AT ITER 4094 NEW BEST:: SOT 49007 SOS 11079 HAS SOPS 11079 HAS SOUS 9024 HAS SOUPS 9024 WITH SCORE 9035.079
AT ITER 4125 NEW BEST:: SOT 49007 SOS 11073 HAS SOPS 11073 HAS SOUS 9018 HAS SOUPS 9018 WITH SCORE 9029.073
AT ITER 4144 NEW BEST:: SOT 49005 SOS 11054 HAS SOPS 11054 HAS SOUS 9017 HAS SOUPS 9017 WITH SCORE 9028.054
AT ITER 4155 NEW BEST:: SOT 48975 SOS 10992 HAS SOPS 10992 HAS SOUS 8985 HAS SOUPS 8985 WITH SCORE 8995.992
AT ITER 4159 NEW BEST:: SOT 48963 SOS 10961 HAS SOPS 10961 HAS SOUS 8957 HAS SOUPS 8957 WITH SCORE 8967.961
AT ITER 4207 NEW BEST:: SOT 48963 SOS 10958 HAS SOPS 10958 HAS SOUS 8956 HAS SOUPS 8956 WITH SCORE 8966.958
AT ITER 4268 NEW BEST:: SOT 48963 SOS 11006 HAS SOPS 11006 HAS SOUS 8954 HAS SOUPS 8954 WITH SCORE 8965.006
AT ITER 4270 NEW BEST:: SOT 48963 SOS 11004 HAS SOPS 11004 HAS SOUS 8951 HAS SOUPS 8951 WITH SCORE 8962.004
AT ITER 4274 NEW BEST:: SOT 48942 SOS 10986 HAS SOPS 10986 HAS SOUS 8930 HAS SOUPS 8930 WITH SCORE 8940.986
AT ITER 4281 NEW BEST:: SOT 48942 SOS 10990 HAS SOPS 10990 HAS SOUS 8928 HAS SOUPS 8928 WITH SCORE 8938.99
AT ITER 4292 NEW BEST:: SOT 48942 SOS 10982 HAS SOPS 10982 HAS SOUS 8921 HAS SOUPS 8921 WITH SCORE 8931.982
AT ITER 4320 NEW BEST:: SOT 48942 SOS 10980 HAS SOPS 10980 HAS SOUS 8920 HAS SOUPS 8920 WITH SCORE 8930.98
AT ITER 4359 NEW BEST:: SOT 48944 SOS 10973 HAS SOPS 10973 HAS SOUS 8913 HAS SOUPS 8913 WITH SCORE 8923.973
AT ITER 4438 NEW BEST:: SOT 48943 SOS 10971 HAS SOPS 10971 HAS SOUS 8912 HAS SOUPS 8912 WITH SCORE 8922.971
AT ITER 4446 NEW BEST:: SOT 48951 SOS 10951 HAS SOPS 10951 HAS SOUS 8902 HAS SOUPS 8902 WITH SCORE 8912.951
AT ITER 4462 NEW BEST:: SOT 48950 SOS 10948 HAS SOPS 10948 HAS SOUS 8900 HAS SOUPS 8900 WITH SCORE 8910.948
AT ITER 4475 NEW BEST:: SOT 48950 SOS 10890 HAS SOPS 10890 HAS SOUS 8893 HAS SOUPS 8893 WITH SCORE 8903.89
AT ITER 4505 NEW BEST:: SOT 48949 SOS 10889 HAS SOPS 10889 HAS SOUS 8892 HAS SOUPS 8892 WITH SCORE 8902.889
AT ITER 4529 NEW BEST:: SOT 48945 SOS 10823 HAS SOPS 10823 HAS SOUS 8883 HAS SOUPS 8883 WITH SCORE 8893.823
AT ITER 4536 NEW BEST:: SOT 48943 SOS 10819 HAS SOPS 10819 HAS SOUS 8879 HAS SOUPS 8879 WITH SCORE 8889.819
AT ITER 4548 NEW BEST:: SOT 48943 SOS 10807 HAS SOPS 10807 HAS SOUS 8879 HAS SOUPS 8879 WITH SCORE 8889.807
AT ITER 4556 NEW BEST:: SOT 48935 SOS 10814 HAS SOPS 10814 HAS SOUS 8871 HAS SOUPS 8871 WITH SCORE 8881.814
AT ITER 4575 NEW BEST:: SOT 48933 SOS 10802 HAS SOPS 10802 HAS SOUS 8859 HAS SOUPS 8859 WITH SCORE 8869.802
AT ITER 4610 NEW BEST:: SOT 48937 SOS 10804 HAS SOPS 10804 HAS SOUS 8854 HAS SOUPS 8854 WITH SCORE 8864.804
AT ITER 4642 NEW BEST:: SOT 48889 SOS 10756 HAS SOPS 10756 HAS SOUS 8806 HAS SOUPS 8806 WITH SCORE 8816.756
AT ITER 4649 NEW BEST:: SOT 48880 SOS 10727 HAS SOPS 10727 HAS SOUS 8792 HAS SOUPS 8792 WITH SCORE 8802.727
AT ITER 4668 NEW BEST:: SOT 48878 SOS 10722 HAS SOPS 10722 HAS SOUS 8789 HAS SOUPS 8789 WITH SCORE 8799.722
AT ITER 4697 NEW BEST:: SOT 48876 SOS 10719 HAS SOPS 10719 HAS SOUS 8786 HAS SOUPS 8786 WITH SCORE 8796.719
AT ITER 4721 NEW BEST:: SOT 48865 SOS 10629 HAS SOPS 10629 HAS SOUS 8779 HAS SOUPS 8779 WITH SCORE 8789.629
AT ITER 4748 NEW BEST:: SOT 48862 SOS 10625 HAS SOPS 10625 HAS SOUS 8775 HAS SOUPS 8775 WITH SCORE 8785.625
AT ITER 4751 NEW BEST:: SOT 48870 SOS 10601 HAS SOPS 10601 HAS SOUS 8774 HAS SOUPS 8774 WITH SCORE 8784.601
AT ITER 4778 NEW BEST:: SOT 48863 SOS 10587 HAS SOPS 10587 HAS SOUS 8769 HAS SOUPS 8769 WITH SCORE 8779.587
AT ITER 4793 NEW BEST:: SOT 48900 SOS 10583 HAS SOPS 10583 HAS SOUS 8765 HAS SOUPS 8765 WITH SCORE 8775.583
AT ITER 4801 NEW BEST:: SOT 48894 SOS 10577 HAS SOPS 10577 HAS SOUS 8756 HAS SOUPS 8756 WITH SCORE 8766.577
AT ITER 4807 NEW BEST:: SOT 48898 SOS 10576 HAS SOPS 10576 HAS SOUS 8755 HAS SOUPS 8755 WITH SCORE 8765.576
AT ITER 4823 NEW BEST:: SOT 48898 SOS 10633 HAS SOPS 10633 HAS SOUS 8736 HAS SOUPS 8736 WITH SCORE 8746.633
AT ITER 4882 NEW BEST:: SOT 48901 SOS 10636 HAS SOPS 10636 HAS SOUS 8733 HAS SOUPS 8733 WITH SCORE 8743.636
AT ITER 4916 NEW BEST:: SOT 48894 SOS 10618 HAS SOPS 10618 HAS SOUS 8725 HAS SOUPS 8725 WITH SCORE 8735.618
AT ITER 5021 NEW BEST:: SOT 48888 SOS 10612 HAS SOPS 10612 HAS SOUS 8719 HAS SOUPS 8719 WITH SCORE 8729.612
AT ITER 5056 NEW BEST:: SOT 48888 SOS 10591 HAS SOPS 10591 HAS SOUS 8719 HAS SOUPS 8719 WITH SCORE 8729.591
AT ITER 5058 NEW BEST:: SOT 48874 SOS 10563 HAS SOPS 10563 HAS SOUS 8700 HAS SOUPS 8700 WITH SCORE 8710.563
AT ITER 5064 NEW BEST:: SOT 48867 SOS 10546 HAS SOPS 10546 HAS SOUS 8688 HAS SOUPS 8688 WITH SCORE 8698.546
AT ITER 5133 NEW BEST:: SOT 48867 SOS 10549 HAS SOPS 10549 HAS SOUS 8685 HAS SOUPS 8685 WITH SCORE 8695.549
AT ITER 5183 NEW BEST:: SOT 48866 SOS 10518 HAS SOPS 10518 HAS SOUS 8684 HAS SOUPS 8684 WITH SCORE 8694.518
AT ITER 5215 NEW BEST:: SOT 48866 SOS 10526 HAS SOPS 10526 HAS SOUS 8678 HAS SOUPS 8678 WITH SCORE 8688.526
AT ITER 5241 NEW BEST:: SOT 48866 SOS 10524 HAS SOPS 10524 HAS SOUS 8676 HAS SOUPS 8676 WITH SCORE 8686.524
AT ITER 5256 NEW BEST:: SOT 48857 SOS 10515 HAS SOPS 10515 HAS SOUS 8667 HAS SOUPS 8667 WITH SCORE 8677.515
AT ITER 5275 NEW BEST:: SOT 48857 SOS 10510 HAS SOPS 10510 HAS SOUS 8662 HAS SOUPS 8662 WITH SCORE 8672.51
AT ITER 5462 NEW BEST:: SOT 48861 SOS 10498 HAS SOPS 10498 HAS SOUS 8662 HAS SOUPS 8662 WITH SCORE 8672.498
AT ITER 5490 NEW BEST:: SOT 48862 SOS 10488 HAS SOPS 10488 HAS SOUS 8639 HAS SOUPS 8639 WITH SCORE 8649.488
AT ITER 5554 NEW BEST:: SOT 48860 SOS 10487 HAS SOPS 10487 HAS SOUS 8638 HAS SOUPS 8638 WITH SCORE 8648.487
AT ITER 5562 NEW BEST:: SOT 48859 SOS 10487 HAS SOPS 10487 HAS SOUS 8637 HAS SOUPS 8637 WITH SCORE 8647.487
AT ITER 5622 NEW BEST:: SOT 48860 SOS 10476 HAS SOPS 10476 HAS SOUS 8626 HAS SOUPS 8626 WITH SCORE 8636.476
AT ITER 5731 NEW BEST:: SOT 48860 SOS 10470 HAS SOPS 10470 HAS SOUS 8620 HAS SOUPS 8620 WITH SCORE 8630.47
AT ITER 5790 NEW BEST:: SOT 48853 SOS 10458 HAS SOPS 10458 HAS SOUS 8612 HAS SOUPS 8612 WITH SCORE 8622.458
AT ITER 5890 NEW BEST:: SOT 48857 SOS 10462 HAS SOPS 10462 HAS SOUS 8608 HAS SOUPS 8608 WITH SCORE 8618.462
AT ITER 5892 NEW BEST:: SOT 48857 SOS 10462 HAS SOPS 10462 HAS SOUS 8605 HAS SOUPS 8605 WITH SCORE 8615.462
AT ITER 6037 NEW BEST:: SOT 48857 SOS 10453 HAS SOPS 10453 HAS SOUS 8605 HAS SOUPS 8605 WITH SCORE 8615.453
AT ITER 6176 NEW BEST:: SOT 48853 SOS 10407 HAS SOPS 10407 HAS SOUS 8578 HAS SOUPS 8578 WITH SCORE 8588.407
AT ITER 6177 NEW BEST:: SOT 48845 SOS 10399 HAS SOPS 10399 HAS SOUS 8570 HAS SOUPS 8570 WITH SCORE 8580.399
AT ITER 6189 NEW BEST:: SOT 48845 SOS 10398 HAS SOPS 10398 HAS SOUS 8569 HAS SOUPS 8569 WITH SCORE 8579.398
AT ITER 6226 NEW BEST:: SOT 48845 SOS 10396 HAS SOPS 10396 HAS SOUS 8567 HAS SOUPS 8567 WITH SCORE 8577.396
AT ITER 6227 NEW BEST:: SOT 48845 SOS 10392 HAS SOPS 10392 HAS SOUS 8563 HAS SOUPS 8563 WITH SCORE 8573.392
AT ITER 6242 NEW BEST:: SOT 48744 SOS 10314 HAS SOPS 10314 HAS SOUS 8485 HAS SOUPS 8485 WITH SCORE 8495.314
AT ITER 6264 NEW BEST:: SOT 48739 SOS 10290 HAS SOPS 10290 HAS SOUS 8461 HAS SOUPS 8461 WITH SCORE 8471.29
AT ITER 6274 NEW BEST:: SOT 48737 SOS 10278 HAS SOPS 10278 HAS SOUS 8455 HAS SOUPS 8455 WITH SCORE 8465.278
AT ITER 6290 NEW BEST:: SOT 48725 SOS 10254 HAS SOPS 10254 HAS SOUS 8443 HAS SOUPS 8443 WITH SCORE 8453.254
AT ITER 6341 NEW BEST:: SOT 48720 SOS 10255 HAS SOPS 10255 HAS SOUS 8442 HAS SOUPS 8442 WITH SCORE 8452.255
AT ITER 6344 NEW BEST:: SOT 48720 SOS 10253 HAS SOPS 10253 HAS SOUS 8440 HAS SOUPS 8440 WITH SCORE 8450.253
AT ITER 6405 NEW BEST:: SOT 48706 SOS 10230 HAS SOPS 10230 HAS SOUS 8428 HAS SOUPS 8428 WITH SCORE 8438.23
AT ITER 6422 NEW BEST:: SOT 48706 SOS 10226 HAS SOPS 10226 HAS SOUS 8426 HAS SOUPS 8426 WITH SCORE 8436.226
AT ITER 6466 NEW BEST:: SOT 48692 SOS 10203 HAS SOPS 10203 HAS SOUS 8412 HAS SOUPS 8412 WITH SCORE 8422.203
AT ITER 6527 NEW BEST:: SOT 48690 SOS 10163 HAS SOPS 10163 HAS SOUS 8410 HAS SOUPS 8410 WITH SCORE 8420.163
AT ITER 6567 NEW BEST:: SOT 48693 SOS 10165 HAS SOPS 10165 HAS SOUS 8409 HAS SOUPS 8409 WITH SCORE 8419.165
AT ITER 6614 NEW BEST:: SOT 48685 SOS 10153 HAS SOPS 10153 HAS SOUS 8398 HAS SOUPS 8398 WITH SCORE 8408.153
AT ITER 6631 NEW BEST:: SOT 48684 SOS 10152 HAS SOPS 10152 HAS SOUS 8397 HAS SOUPS 8397 WITH SCORE 8407.152
AT ITER 6661 NEW BEST:: SOT 48681 SOS 10149 HAS SOPS 10149 HAS SOUS 8394 HAS SOUPS 8394 WITH SCORE 8404.149
AT ITER 6697 NEW BEST:: SOT 48681 SOS 10148 HAS SOPS 10148 HAS SOUS 8393 HAS SOUPS 8393 WITH SCORE 8403.148
AT ITER 6699 NEW BEST:: SOT 48673 SOS 10140 HAS SOPS 10140 HAS SOUS 8385 HAS SOUPS 8385 WITH SCORE 8395.14
AT ITER 6748 NEW BEST:: SOT 48674 SOS 10136 HAS SOPS 10136 HAS SOUS 8380 HAS SOUPS 8380 WITH SCORE 8390.136
AT ITER 6772 NEW BEST:: SOT 48669 SOS 10132 HAS SOPS 10132 HAS SOUS 8376 HAS SOUPS 8376 WITH SCORE 8386.132
AT ITER 6773 NEW BEST:: SOT 48670 SOS 10131 HAS SOPS 10131 HAS SOUS 8375 HAS SOUPS 8375 WITH SCORE 8385.131
AT ITER 6792 NEW BEST:: SOT 48679 SOS 10152 HAS SOPS 10152 HAS SOUS 8347 HAS SOUPS 8347 WITH SCORE 8357.152
AT ITER 6829 NEW BEST:: SOT 48668 SOS 10139 HAS SOPS 10139 HAS SOUS 8336 HAS SOUPS 8336 WITH SCORE 8346.139
AT ITER 6891 NEW BEST:: SOT 48683 SOS 10130 HAS SOPS 10130 HAS SOUS 8330 HAS SOUPS 8330 WITH SCORE 8340.13
AT ITER 6908 NEW BEST:: SOT 48672 SOS 10129 HAS SOPS 10129 HAS SOUS 8329 HAS SOUPS 8329 WITH SCORE 8339.129
AT ITER 6913 NEW BEST:: SOT 48648 SOS 10113 HAS SOPS 10113 HAS SOUS 8305 HAS SOUPS 8305 WITH SCORE 8315.113
AT ITER 6943 NEW BEST:: SOT 48648 SOS 10127 HAS SOPS 10127 HAS SOUS 8304 HAS SOUPS 8304 WITH SCORE 8314.127
AT ITER 6948 NEW BEST:: SOT 48637 SOS 10194 HAS SOPS 10194 HAS SOUS 8293 HAS SOUPS 8293 WITH SCORE 8303.194
AT ITER 6961 NEW BEST:: SOT 48637 SOS 10184 HAS SOPS 10184 HAS SOUS 8288 HAS SOUPS 8288 WITH SCORE 8298.184
AT ITER 7091 NEW BEST:: SOT 48634 SOS 10184 HAS SOPS 10184 HAS SOUS 8285 HAS SOUPS 8285 WITH SCORE 8295.184
AT ITER 7115 NEW BEST:: SOT 48608 SOS 10161 HAS SOPS 10161 HAS SOUS 8262 HAS SOUPS 8262 WITH SCORE 8272.161
AT ITER 7116 NEW BEST:: SOT 48608 SOS 10161 HAS SOPS 10161 HAS SOUS 8258 HAS SOUPS 8258 WITH SCORE 8268.161
AT ITER 7168 NEW BEST:: SOT 48606 SOS 10143 HAS SOPS 10143 HAS SOUS 8244 HAS SOUPS 8244 WITH SCORE 8254.143
AT ITER 7192 NEW BEST:: SOT 48601 SOS 10148 HAS SOPS 10148 HAS SOUS 8239 HAS SOUPS 8239 WITH SCORE 8249.148
AT ITER 7205 NEW BEST:: SOT 48604 SOS 10123 HAS SOPS 10123 HAS SOUS 8214 HAS SOUPS 8214 WITH SCORE 8224.123
AT ITER 7219 NEW BEST:: SOT 48592 SOS 10106 HAS SOPS 10106 HAS SOUS 8198 HAS SOUPS 8198 WITH SCORE 8208.106
AT ITER 7316 NEW BEST:: SOT 48593 SOS 10108 HAS SOPS 10108 HAS SOUS 8197 HAS SOUPS 8197 WITH SCORE 8207.108
AT ITER 7377 NEW BEST:: SOT 48584 SOS 10099 HAS SOPS 10099 HAS SOUS 8188 HAS SOUPS 8188 WITH SCORE 8198.099
AT ITER 7477 NEW BEST:: SOT 48549 SOS 10027 HAS SOPS 10027 HAS SOUS 8151 HAS SOUPS 8151 WITH SCORE 8161.027
AT ITER 7537 NEW BEST:: SOT 48527 SOS 10013 HAS SOPS 10013 HAS SOUS 8137 HAS SOUPS 8137 WITH SCORE 8147.013
AT ITER 7569 NEW BEST:: SOT 48527 SOS 10008 HAS SOPS 10008 HAS SOUS 8132 HAS SOUPS 8132 WITH SCORE 8142.008
AT ITER 7579 NEW BEST:: SOT 48527 SOS 10006 HAS SOPS 10006 HAS SOUS 8132 HAS SOUPS 8132 WITH SCORE 8142.006
AT ITER 7596 NEW BEST:: SOT 48527 SOS 10005 HAS SOPS 10005 HAS SOUS 8131 HAS SOUPS 8131 WITH SCORE 8141.005
AT ITER 7615 NEW BEST:: SOT 48511 SOS 10000 HAS SOPS 10000 HAS SOUS 8126 HAS SOUPS 8126 WITH SCORE 8136.0
AT ITER 7629 NEW BEST:: SOT 48503 SOS 9992 HAS SOPS 9992 HAS SOUS 8125 HAS SOUPS 8125 WITH SCORE 8134.992
AT ITER 7646 NEW BEST:: SOT 48488 SOS 9996 HAS SOPS 9996 HAS SOUS 8122 HAS SOUPS 8122 WITH SCORE 8131.996
AT ITER 7652 NEW BEST:: SOT 48488 SOS 10002 HAS SOPS 10002 HAS SOUS 8119 HAS SOUPS 8119 WITH SCORE 8129.002
AT ITER 7675 NEW BEST:: SOT 48488 SOS 9993 HAS SOPS 9993 HAS SOUS 8119 HAS SOUPS 8119 WITH SCORE 8128.993
AT ITER 7678 NEW BEST:: SOT 48480 SOS 9977 HAS SOPS 9977 HAS SOUS 8106 HAS SOUPS 8106 WITH SCORE 8115.977
AT ITER 7749 NEW BEST:: SOT 48458 SOS 9948 HAS SOPS 9948 HAS SOUS 8081 HAS SOUPS 8081 WITH SCORE 8090.948
AT ITER 7781 NEW BEST:: SOT 48462 SOS 9918 HAS SOPS 9918 HAS SOUS 8073 HAS SOUPS 8073 WITH SCORE 8082.918
AT ITER 7842 NEW BEST:: SOT 48462 SOS 9906 HAS SOPS 9906 HAS SOUS 8073 HAS SOUPS 8073 WITH SCORE 8082.906
AT ITER 7877 NEW BEST:: SOT 48458 SOS 9906 HAS SOPS 9906 HAS SOUS 8069 HAS SOUPS 8069 WITH SCORE 8078.906
AT ITER 7887 NEW BEST:: SOT 48454 SOS 9890 HAS SOPS 9890 HAS SOUS 8057 HAS SOUPS 8057 WITH SCORE 8066.89
AT ITER 7892 NEW BEST:: SOT 48462 SOS 9907 HAS SOPS 9907 HAS SOUS 8056 HAS SOUPS 8056 WITH SCORE 8065.907
AT ITER 7913 NEW BEST:: SOT 48462 SOS 9906 HAS SOPS 9906 HAS SOUS 8055 HAS SOUPS 8055 WITH SCORE 8064.906
AT ITER 7994 NEW BEST:: SOT 48462 SOS 9890 HAS SOPS 9890 HAS SOUS 8048 HAS SOUPS 8048 WITH SCORE 8057.89
AT ITER 8096 NEW BEST:: SOT 48465 SOS 9878 HAS SOPS 9878 HAS SOUS 8038 HAS SOUPS 8038 WITH SCORE 8047.878
AT ITER 8124 NEW BEST:: SOT 48465 SOS 9878 HAS SOPS 9878 HAS SOUS 8036 HAS SOUPS 8036 WITH SCORE 8045.878
AT ITER 8190 NEW BEST:: SOT 48460 SOS 9876 HAS SOPS 9876 HAS SOUS 8026 HAS SOUPS 8026 WITH SCORE 8035.876
AT ITER 8227 NEW BEST:: SOT 48455 SOS 9872 HAS SOPS 9872 HAS SOUS 8021 HAS SOUPS 8021 WITH SCORE 8030.872
AT ITER 8267 NEW BEST:: SOT 48453 SOS 9864 HAS SOPS 9864 HAS SOUS 8017 HAS SOUPS 8017 WITH SCORE 8026.864
AT ITER 8313 NEW BEST:: SOT 48452 SOS 9863 HAS SOPS 9863 HAS SOUS 8016 HAS SOUPS 8016 WITH SCORE 8025.863
AT ITER 8333 NEW BEST:: SOT 48450 SOS 9863 HAS SOPS 9863 HAS SOUS 8015 HAS SOUPS 8015 WITH SCORE 8024.863
AT ITER 8386 NEW BEST:: SOT 48446 SOS 9833 HAS SOPS 9833 HAS SOUS 8011 HAS SOUPS 8011 WITH SCORE 8020.833
AT ITER 8396 NEW BEST:: SOT 48446 SOS 9833 HAS SOPS 9833 HAS SOUS 8009 HAS SOUPS 8009 WITH SCORE 8018.833
AT ITER 8406 NEW BEST:: SOT 48446 SOS 9833 HAS SOPS 9833 HAS SOUS 8003 HAS SOUPS 8003 WITH SCORE 8012.833
AT ITER 8426 NEW BEST:: SOT 48441 SOS 9830 HAS SOPS 9830 HAS SOUS 7998 HAS SOUPS 7998 WITH SCORE 8007.83
AT ITER 8429 NEW BEST:: SOT 48436 SOS 9820 HAS SOPS 9820 HAS SOUS 7983 HAS SOUPS 7983 WITH SCORE 7992.82
AT ITER 8470 NEW BEST:: SOT 48431 SOS 9815 HAS SOPS 9815 HAS SOUS 7978 HAS SOUPS 7978 WITH SCORE 7987.815
AT ITER 8485 NEW BEST:: SOT 48417 SOS 9782 HAS SOPS 9782 HAS SOUS 7972 HAS SOUPS 7972 WITH SCORE 7981.782
AT ITER 8505 NEW BEST:: SOT 48410 SOS 9754 HAS SOPS 9754 HAS SOUS 7951 HAS SOUPS 7951 WITH SCORE 7960.754
AT ITER 8515 NEW BEST:: SOT 48407 SOS 9739 HAS SOPS 9739 HAS SOUS 7926 HAS SOUPS 7926 WITH SCORE 7935.739
AT ITER 8537 NEW BEST:: SOT 48411 SOS 9715 HAS SOPS 9715 HAS SOUS 7926 HAS SOUPS 7926 WITH SCORE 7935.715
AT ITER 8688 NEW BEST:: SOT 48409 SOS 9713 HAS SOPS 9713 HAS SOUS 7924 HAS SOUPS 7924 WITH SCORE 7933.713
AT ITER 8728 NEW BEST:: SOT 48408 SOS 9712 HAS SOPS 9712 HAS SOUS 7920 HAS SOUPS 7920 WITH SCORE 7929.712
AT ITER 8765 NEW BEST:: SOT 48408 SOS 9711 HAS SOPS 9711 HAS SOUS 7919 HAS SOUPS 7919 WITH SCORE 7928.711
AT ITER 8828 NEW BEST:: SOT 48392 SOS 9672 HAS SOPS 9672 HAS SOUS 7903 HAS SOUPS 7903 WITH SCORE 7912.672
AT ITER 8842 NEW BEST:: SOT 48388 SOS 9668 HAS SOPS 9668 HAS SOUS 7895 HAS SOUPS 7895 WITH SCORE 7904.668
AT ITER 8885 NEW BEST:: SOT 48402 SOS 9655 HAS SOPS 9655 HAS SOUS 7895 HAS SOUPS 7895 WITH SCORE 7904.655
AT ITER 8966 NEW BEST:: SOT 48392 SOS 9645 HAS SOPS 9645 HAS SOUS 7885 HAS SOUPS 7885 WITH SCORE 7894.645
AT ITER 8999 NEW BEST:: SOT 48391 SOS 9647 HAS SOPS 9647 HAS SOUS 7884 HAS SOUPS 7884 WITH SCORE 7893.647
AT ITER 9031 NEW BEST:: SOT 48389 SOS 9645 HAS SOPS 9645 HAS SOUS 7884 HAS SOUPS 7884 WITH SCORE 7893.645
AT ITER 9078 NEW BEST:: SOT 48389 SOS 9645 HAS SOPS 9645 HAS SOUS 7882 HAS SOUPS 7882 WITH SCORE 7891.645
AT ITER 9098 NEW BEST:: SOT 48387 SOS 9643 HAS SOPS 9643 HAS SOUS 7878 HAS SOUPS 7878 WITH SCORE 7887.643
AT ITER 9217 NEW BEST:: SOT 48387 SOS 9640 HAS SOPS 9640 HAS SOUS 7878 HAS SOUPS 7878 WITH SCORE 7887.64
AT ITER 9256 NEW BEST:: SOT 48387 SOS 9639 HAS SOPS 9639 HAS SOUS 7877 HAS SOUPS 7877 WITH SCORE 7886.639
AT ITER 9299 NEW BEST:: SOT 48386 SOS 9633 HAS SOPS 9633 HAS SOUS 7877 HAS SOUPS 7877 WITH SCORE 7886.633
AT ITER 9416 NEW BEST:: SOT 48376 SOS 9607 HAS SOPS 9607 HAS SOUS 7873 HAS SOUPS 7873 WITH SCORE 7882.607
AT ITER 9431 NEW BEST:: SOT 48370 SOS 9597 HAS SOPS 9597 HAS SOUS 7865 HAS SOUPS 7865 WITH SCORE 7874.597
AT ITER 9439 NEW BEST:: SOT 48370 SOS 9595 HAS SOPS 9595 HAS SOUS 7864 HAS SOUPS 7864 WITH SCORE 7873.595
AT ITER 9443 NEW BEST:: SOT 48369 SOS 9594 HAS SOPS 9594 HAS SOUS 7863 HAS SOUPS 7863 WITH SCORE 7872.594
AT ITER 9470 NEW BEST:: SOT 48363 SOS 9580 HAS SOPS 9580 HAS SOUS 7862 HAS SOUPS 7862 WITH SCORE 7871.58
AT ITER 9509 NEW BEST:: SOT 48356 SOS 9567 HAS SOPS 9567 HAS SOUS 7852 HAS SOUPS 7852 WITH SCORE 7861.567
AT ITER 9576 NEW BEST:: SOT 48352 SOS 9544 HAS SOPS 9544 HAS SOUS 7841 HAS SOUPS 7841 WITH SCORE 7850.544
AT ITER 9612 NEW BEST:: SOT 48352 SOS 9543 HAS SOPS 9543 HAS SOUS 7840 HAS SOUPS 7840 WITH SCORE 7849.543
AT ITER 9627 NEW BEST:: SOT 48342 SOS 9537 HAS SOPS 9537 HAS SOUS 7830 HAS SOUPS 7830 WITH SCORE 7839.537
AT ITER 9646 NEW BEST:: SOT 48341 SOS 9535 HAS SOPS 9535 HAS SOUS 7828 HAS SOUPS 7828 WITH SCORE 7837.535
AT ITER 9651 NEW BEST:: SOT 48339 SOS 9526 HAS SOPS 9526 HAS SOUS 7819 HAS SOUPS 7819 WITH SCORE 7828.526
AT ITER 9668 NEW BEST:: SOT 48336 SOS 9521 HAS SOPS 9521 HAS SOUS 7815 HAS SOUPS 7815 WITH SCORE 7824.521
AT ITER 9690 NEW BEST:: SOT 48338 SOS 9519 HAS SOPS 9519 HAS SOUS 7813 HAS SOUPS 7813 WITH SCORE 7822.519
AT ITER 9721 NEW BEST:: SOT 48348 SOS 9473 HAS SOPS 9473 HAS SOUS 7794 HAS SOUPS 7794 WITH SCORE 7803.473
AT ITER 9742 NEW BEST:: SOT 48349 SOS 9450 HAS SOPS 9450 HAS SOUS 7771 HAS SOUPS 7771 WITH SCORE 7780.45
AT ITER 9745 NEW BEST:: SOT 48351 SOS 9460 HAS SOPS 9460 HAS SOUS 7756 HAS SOUPS 7756 WITH SCORE 7765.46
AT ITER 9793 NEW BEST:: SOT 48330 SOS 9439 HAS SOPS 9439 HAS SOUS 7735 HAS SOUPS 7735 WITH SCORE 7744.439
AT ITER 9810 NEW BEST:: SOT 48330 SOS 9432 HAS SOPS 9432 HAS SOUS 7730 HAS SOUPS 7730 WITH SCORE 7739.432
AT ITER 9992 NEW BEST:: SOT 48330 SOS 9438 HAS SOPS 9438 HAS SOUS 7729 HAS SOUPS 7729 WITH SCORE 7738.438
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 170344 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16188236 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="ShieldIIPs-PT-005B"
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 ShieldIIPs-PT-005B, 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-167903718300080"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldIIPs-PT-005B.tgz
mv ShieldIIPs-PT-005B 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 ;