fond

jQuery Multi Level CSS Menu Css3Menu.com

Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r203-smll-167840349600440
Last Updated
May 14, 2023

About the Execution of Smart+red for HirschbergSinclair-PT-10

Execution Summary
Max Memory
Used (MB)		 Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
676.892 117688.00 123752.00 1000.90 6.9594E+0012 7.0857E+0013 9 30 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.r203-smll-167840349600440.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 HirschbergSinclair-PT-10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r203-smll-167840349600440
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 624K
-rw-r--r-- 1 mcc users 8.1K Feb 26 02:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 60K Feb 26 02:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.5K Feb 26 02:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 26 02:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.8K Feb 25 16:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:15 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:15 LTLFireability.xml
-rw-r--r-- 1 mcc users 21K Feb 26 02:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 164K Feb 26 02:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 02:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 59K Feb 26 02:16 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 16:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.1K Feb 25 16:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 136K Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678623745324

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=HirschbergSinclair-PT-10
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-12 12:22:28] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-12 12:22:28] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-12 12:22:28] [INFO ] Load time of PNML (sax parser for PT used): 86 ms
[2023-03-12 12:22:28] [INFO ] Transformed 260 places.
[2023-03-12 12:22:28] [INFO ] Transformed 236 transitions.
[2023-03-12 12:22:28] [INFO ] Parsed PT model containing 260 places and 236 transitions and 721 arcs in 202 ms.
[2023-03-12 12:22:28] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 260 places, 236 transitions and 721 arcs took 9 ms.
Total runtime 264 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HirschbergSinclair (PT), instance 10
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: 260 places, 236 transitions, 721 arcs.
AT ITER 0 NEW BEST:: SOT 45476 SOS 19398 HAS SOPS 19398 HAS SOUS 19295 HAS SOUPS 19295 WITH SCORE 19314.398
AT ITER 4 NEW BEST:: SOT 44934 SOS 19971 HAS SOPS 19971 HAS SOUS 18942 HAS SOUPS 18942 WITH SCORE 18961.971
AT ITER 19 NEW BEST:: SOT 44925 SOS 19928 HAS SOPS 19928 HAS SOUS 18916 HAS SOUPS 18916 WITH SCORE 18935.928
AT ITER 22 NEW BEST:: SOT 44925 SOS 19927 HAS SOPS 19927 HAS SOUS 18915 HAS SOUPS 18915 WITH SCORE 18934.927
AT ITER 27 NEW BEST:: SOT 44841 SOS 19631 HAS SOPS 19631 HAS SOUS 18723 HAS SOUPS 18723 WITH SCORE 18742.631
AT ITER 29 NEW BEST:: SOT 44841 SOS 19621 HAS SOPS 19621 HAS SOUS 18713 HAS SOUPS 18713 WITH SCORE 18732.621
AT ITER 47 NEW BEST:: SOT 44834 SOS 19619 HAS SOPS 19619 HAS SOUS 18711 HAS SOUPS 18711 WITH SCORE 18730.619
AT ITER 52 NEW BEST:: SOT 44631 SOS 20337 HAS SOPS 20337 HAS SOUS 18627 HAS SOUPS 18627 WITH SCORE 18647.337
AT ITER 58 NEW BEST:: SOT 43766 SOS 21199 HAS SOPS 21199 HAS SOUS 18039 HAS SOUPS 18039 WITH SCORE 18060.199
AT ITER 62 NEW BEST:: SOT 43671 SOS 21208 HAS SOPS 21208 HAS SOUS 17947 HAS SOUPS 17947 WITH SCORE 17968.208
AT ITER 68 NEW BEST:: SOT 42181 SOS 20645 HAS SOPS 20645 HAS SOUS 16701 HAS SOUPS 16701 WITH SCORE 16721.645
AT ITER 72 NEW BEST:: SOT 42178 SOS 20697 HAS SOPS 20697 HAS SOUS 16673 HAS SOUPS 16673 WITH SCORE 16693.697
AT ITER 75 NEW BEST:: SOT 42104 SOS 20753 HAS SOPS 20753 HAS SOUS 16568 HAS SOUPS 16568 WITH SCORE 16588.753
AT ITER 77 NEW BEST:: SOT 42075 SOS 20724 HAS SOPS 20724 HAS SOUS 16539 HAS SOUPS 16539 WITH SCORE 16559.724
AT ITER 94 NEW BEST:: SOT 42075 SOS 20723 HAS SOPS 20723 HAS SOUS 16538 HAS SOUPS 16538 WITH SCORE 16558.723
AT ITER 99 NEW BEST:: SOT 42075 SOS 20602 HAS SOPS 20602 HAS SOUS 16417 HAS SOUPS 16417 WITH SCORE 16437.602
AT ITER 106 NEW BEST:: SOT 42067 SOS 20593 HAS SOPS 20593 HAS SOUS 16408 HAS SOUPS 16408 WITH SCORE 16428.593
AT ITER 109 NEW BEST:: SOT 42062 SOS 20588 HAS SOPS 20588 HAS SOUS 16403 HAS SOUPS 16403 WITH SCORE 16423.588
AT ITER 122 NEW BEST:: SOT 42049 SOS 20586 HAS SOPS 20586 HAS SOUS 16401 HAS SOUPS 16401 WITH SCORE 16421.586
AT ITER 125 NEW BEST:: SOT 41931 SOS 20467 HAS SOPS 20467 HAS SOUS 16282 HAS SOUPS 16282 WITH SCORE 16302.467
AT ITER 126 NEW BEST:: SOT 41917 SOS 20453 HAS SOPS 20453 HAS SOUS 16280 HAS SOUPS 16280 WITH SCORE 16300.453
AT ITER 135 NEW BEST:: SOT 41916 SOS 20452 HAS SOPS 20452 HAS SOUS 16278 HAS SOUPS 16278 WITH SCORE 16298.452
AT ITER 145 NEW BEST:: SOT 41916 SOS 20452 HAS SOPS 20452 HAS SOUS 16271 HAS SOUPS 16271 WITH SCORE 16291.452
AT ITER 149 NEW BEST:: SOT 40910 SOS 19669 HAS SOPS 19669 HAS SOUS 15360 HAS SOUPS 15360 WITH SCORE 15379.669
AT ITER 154 NEW BEST:: SOT 39251 SOS 19856 HAS SOPS 19856 HAS SOUS 13838 HAS SOUPS 13838 WITH SCORE 13857.856
AT ITER 184 NEW BEST:: SOT 39251 SOS 19856 HAS SOPS 19856 HAS SOUS 13806 HAS SOUPS 13806 WITH SCORE 13825.856
AT ITER 196 NEW BEST:: SOT 39035 SOS 21442 HAS SOPS 21442 HAS SOUS 13771 HAS SOUPS 13771 WITH SCORE 13792.442
AT ITER 225 NEW BEST:: SOT 38984 SOS 21390 HAS SOPS 21390 HAS SOUS 13719 HAS SOUPS 13719 WITH SCORE 13740.39
AT ITER 231 NEW BEST:: SOT 38964 SOS 21369 HAS SOPS 21369 HAS SOUS 13698 HAS SOUPS 13698 WITH SCORE 13719.369
AT ITER 247 NEW BEST:: SOT 39078 SOS 21483 HAS SOPS 21483 HAS SOUS 13584 HAS SOUPS 13584 WITH SCORE 13605.483
AT ITER 249 NEW BEST:: SOT 39058 SOS 21481 HAS SOPS 21481 HAS SOUS 13582 HAS SOUPS 13582 WITH SCORE 13603.481
AT ITER 257 NEW BEST:: SOT 38352 SOS 22154 HAS SOPS 22154 HAS SOUS 13070 HAS SOUPS 13070 WITH SCORE 13092.154
AT ITER 264 NEW BEST:: SOT 38289 SOS 22091 HAS SOPS 22091 HAS SOUS 13007 HAS SOUPS 13007 WITH SCORE 13029.091
AT ITER 279 NEW BEST:: SOT 38287 SOS 22089 HAS SOPS 22089 HAS SOUS 13007 HAS SOUPS 13007 WITH SCORE 13029.089
AT ITER 292 NEW BEST:: SOT 38263 SOS 22080 HAS SOPS 22080 HAS SOUS 12960 HAS SOUPS 12960 WITH SCORE 12982.08
AT ITER 293 NEW BEST:: SOT 38178 SOS 21995 HAS SOPS 21995 HAS SOUS 12875 HAS SOUPS 12875 WITH SCORE 12896.995
AT ITER 295 NEW BEST:: SOT 36800 SOS 21260 HAS SOPS 21260 HAS SOUS 11687 HAS SOUPS 11687 WITH SCORE 11708.26
AT ITER 297 NEW BEST:: SOT 36792 SOS 21252 HAS SOPS 21252 HAS SOUS 11679 HAS SOUPS 11679 WITH SCORE 11700.252
AT ITER 300 NEW BEST:: SOT 36812 SOS 21175 HAS SOPS 21175 HAS SOUS 11679 HAS SOUPS 11679 WITH SCORE 11700.175
AT ITER 308 NEW BEST:: SOT 36812 SOS 20801 HAS SOPS 20801 HAS SOUS 11679 HAS SOUPS 11679 WITH SCORE 11699.801
AT ITER 310 NEW BEST:: SOT 36812 SOS 20764 HAS SOPS 20764 HAS SOUS 11679 HAS SOUPS 11679 WITH SCORE 11699.764
AT ITER 318 NEW BEST:: SOT 36522 SOS 20528 HAS SOPS 20528 HAS SOUS 11425 HAS SOUPS 11425 WITH SCORE 11445.528
AT ITER 341 NEW BEST:: SOT 36496 SOS 20515 HAS SOPS 20515 HAS SOUS 11395 HAS SOUPS 11395 WITH SCORE 11415.515
AT ITER 351 NEW BEST:: SOT 36496 SOS 20372 HAS SOPS 20372 HAS SOUS 11248 HAS SOUPS 11248 WITH SCORE 11268.372
AT ITER 370 NEW BEST:: SOT 36462 SOS 20338 HAS SOPS 20338 HAS SOUS 11205 HAS SOUPS 11205 WITH SCORE 11225.338
AT ITER 394 NEW BEST:: SOT 36463 SOS 20011 HAS SOPS 20011 HAS SOUS 11190 HAS SOUPS 11190 WITH SCORE 11210.011
AT ITER 417 NEW BEST:: SOT 36460 SOS 20008 HAS SOPS 20008 HAS SOUS 11160 HAS SOUPS 11160 WITH SCORE 11180.008
AT ITER 441 NEW BEST:: SOT 36460 SOS 19982 HAS SOPS 19982 HAS SOUS 11134 HAS SOUPS 11134 WITH SCORE 11153.982
AT ITER 448 NEW BEST:: SOT 36459 SOS 19980 HAS SOPS 19980 HAS SOUS 11132 HAS SOUPS 11132 WITH SCORE 11151.98
AT ITER 457 NEW BEST:: SOT 36115 SOS 20548 HAS SOPS 20548 HAS SOUS 10931 HAS SOUPS 10931 WITH SCORE 10951.548
AT ITER 462 NEW BEST:: SOT 36163 SOS 20596 HAS SOPS 20596 HAS SOUS 10909 HAS SOUPS 10909 WITH SCORE 10929.596
AT ITER 465 NEW BEST:: SOT 36163 SOS 20563 HAS SOPS 20563 HAS SOUS 10909 HAS SOUPS 10909 WITH SCORE 10929.563
AT ITER 466 NEW BEST:: SOT 34899 SOS 19853 HAS SOPS 19853 HAS SOUS 9828 HAS SOUPS 9828 WITH SCORE 9847.853
AT ITER 474 NEW BEST:: SOT 34865 SOS 19830 HAS SOPS 19830 HAS SOUS 9827 HAS SOUPS 9827 WITH SCORE 9846.83
AT ITER 531 NEW BEST:: SOT 34864 SOS 19829 HAS SOPS 19829 HAS SOUS 9825 HAS SOUPS 9825 WITH SCORE 9844.829
AT ITER 540 NEW BEST:: SOT 34870 SOS 19807 HAS SOPS 19807 HAS SOUS 9798 HAS SOUPS 9798 WITH SCORE 9817.807
AT ITER 566 NEW BEST:: SOT 34870 SOS 19801 HAS SOPS 19801 HAS SOUS 9797 HAS SOUPS 9797 WITH SCORE 9816.801
AT ITER 597 NEW BEST:: SOT 34870 SOS 19795 HAS SOPS 19795 HAS SOUS 9797 HAS SOUPS 9797 WITH SCORE 9816.795
AT ITER 634 NEW BEST:: SOT 34869 SOS 19794 HAS SOPS 19794 HAS SOUS 9795 HAS SOUPS 9795 WITH SCORE 9814.794
AT ITER 648 NEW BEST:: SOT 34851 SOS 19776 HAS SOPS 19776 HAS SOUS 9775 HAS SOUPS 9775 WITH SCORE 9794.776
AT ITER 649 NEW BEST:: SOT 34813 SOS 20034 HAS SOPS 20034 HAS SOUS 9755 HAS SOUPS 9755 WITH SCORE 9775.034
AT ITER 652 NEW BEST:: SOT 34813 SOS 20034 HAS SOPS 20034 HAS SOUS 9752 HAS SOUPS 9752 WITH SCORE 9772.034
AT ITER 659 NEW BEST:: SOT 34739 SOS 19960 HAS SOPS 19960 HAS SOUS 9714 HAS SOUPS 9714 WITH SCORE 9733.96
AT ITER 661 NEW BEST:: SOT 34719 SOS 19921 HAS SOPS 19921 HAS SOUS 9647 HAS SOUPS 9647 WITH SCORE 9666.921
AT ITER 671 NEW BEST:: SOT 34718 SOS 19920 HAS SOPS 19920 HAS SOUS 9645 HAS SOUPS 9645 WITH SCORE 9664.92
AT ITER 691 NEW BEST:: SOT 34813 SOS 19910 HAS SOPS 19910 HAS SOUS 9643 HAS SOUPS 9643 WITH SCORE 9662.91
AT ITER 693 NEW BEST:: SOT 34789 SOS 19886 HAS SOPS 19886 HAS SOUS 9619 HAS SOUPS 9619 WITH SCORE 9638.886
AT ITER 715 NEW BEST:: SOT 34712 SOS 19809 HAS SOPS 19809 HAS SOUS 9451 HAS SOUPS 9451 WITH SCORE 9470.809
AT ITER 721 NEW BEST:: SOT 34711 SOS 19863 HAS SOPS 19863 HAS SOUS 9450 HAS SOUPS 9450 WITH SCORE 9469.863
AT ITER 723 NEW BEST:: SOT 34711 SOS 19863 HAS SOPS 19863 HAS SOUS 9433 HAS SOUPS 9433 WITH SCORE 9452.863
AT ITER 729 NEW BEST:: SOT 34684 SOS 19836 HAS SOPS 19836 HAS SOUS 9379 HAS SOUPS 9379 WITH SCORE 9398.836
AT ITER 734 NEW BEST:: SOT 34678 SOS 19828 HAS SOPS 19828 HAS SOUS 9371 HAS SOUPS 9371 WITH SCORE 9390.828
AT ITER 790 NEW BEST:: SOT 34677 SOS 19827 HAS SOPS 19827 HAS SOUS 9369 HAS SOUPS 9369 WITH SCORE 9388.827
AT ITER 809 NEW BEST:: SOT 34677 SOS 19827 HAS SOPS 19827 HAS SOUS 9298 HAS SOUPS 9298 WITH SCORE 9317.827
AT ITER 833 NEW BEST:: SOT 34684 SOS 19834 HAS SOPS 19834 HAS SOUS 9235 HAS SOUPS 9235 WITH SCORE 9254.834
AT ITER 856 NEW BEST:: SOT 34653 SOS 19803 HAS SOPS 19803 HAS SOUS 9189 HAS SOUPS 9189 WITH SCORE 9208.803
AT ITER 887 NEW BEST:: SOT 34646 SOS 19782 HAS SOPS 19782 HAS SOUS 9189 HAS SOUPS 9189 WITH SCORE 9208.782
AT ITER 892 NEW BEST:: SOT 34646 SOS 19782 HAS SOPS 19782 HAS SOUS 9179 HAS SOUPS 9179 WITH SCORE 9198.782
AT ITER 910 NEW BEST:: SOT 34643 SOS 19779 HAS SOPS 19779 HAS SOUS 9156 HAS SOUPS 9156 WITH SCORE 9175.779
AT ITER 912 NEW BEST:: SOT 34642 SOS 19778 HAS SOPS 19778 HAS SOUS 9154 HAS SOUPS 9154 WITH SCORE 9173.778
AT ITER 913 NEW BEST:: SOT 34701 SOS 19767 HAS SOPS 19767 HAS SOUS 9067 HAS SOUPS 9067 WITH SCORE 9086.767
AT ITER 937 NEW BEST:: SOT 34670 SOS 19906 HAS SOPS 19906 HAS SOUS 9055 HAS SOUPS 9055 WITH SCORE 9074.906
AT ITER 954 NEW BEST:: SOT 34656 SOS 19892 HAS SOPS 19892 HAS SOUS 9041 HAS SOUPS 9041 WITH SCORE 9060.892
AT ITER 969 NEW BEST:: SOT 34584 SOS 19764 HAS SOPS 19764 HAS SOUS 9007 HAS SOUPS 9007 WITH SCORE 9026.764
AT ITER 997 NEW BEST:: SOT 34579 SOS 19759 HAS SOPS 19759 HAS SOUS 8996 HAS SOUPS 8996 WITH SCORE 9015.759
AT ITER 1079 NEW BEST:: SOT 34509 SOS 19699 HAS SOPS 19699 HAS SOUS 8989 HAS SOUPS 8989 WITH SCORE 9008.699
AT ITER 1101 NEW BEST:: SOT 34517 SOS 19707 HAS SOPS 19707 HAS SOUS 8968 HAS SOUPS 8968 WITH SCORE 8987.707
AT ITER 1151 NEW BEST:: SOT 34530 SOS 19720 HAS SOPS 19720 HAS SOUS 8961 HAS SOUPS 8961 WITH SCORE 8980.72
AT ITER 1180 NEW BEST:: SOT 34528 SOS 20351 HAS SOPS 20351 HAS SOUS 8959 HAS SOUPS 8959 WITH SCORE 8979.351
AT ITER 1233 NEW BEST:: SOT 34513 SOS 20336 HAS SOPS 20336 HAS SOUS 8929 HAS SOUPS 8929 WITH SCORE 8949.336
AT ITER 1237 NEW BEST:: SOT 34513 SOS 19746 HAS SOPS 19746 HAS SOUS 8928 HAS SOUPS 8928 WITH SCORE 8947.746
AT ITER 1258 NEW BEST:: SOT 34534 SOS 19284 HAS SOPS 19284 HAS SOUS 8928 HAS SOUPS 8928 WITH SCORE 8947.284
AT ITER 1287 NEW BEST:: SOT 34533 SOS 19283 HAS SOPS 19283 HAS SOUS 8926 HAS SOUPS 8926 WITH SCORE 8945.283
AT ITER 1304 NEW BEST:: SOT 34532 SOS 19282 HAS SOPS 19282 HAS SOUS 8925 HAS SOUPS 8925 WITH SCORE 8944.282
AT ITER 1310 NEW BEST:: SOT 34531 SOS 19281 HAS SOPS 19281 HAS SOUS 8923 HAS SOUPS 8923 WITH SCORE 8942.281
AT ITER 1350 NEW BEST:: SOT 34491 SOS 19241 HAS SOPS 19241 HAS SOUS 8877 HAS SOUPS 8877 WITH SCORE 8896.241
AT ITER 1354 NEW BEST:: SOT 34495 SOS 19228 HAS SOPS 19228 HAS SOUS 8847 HAS SOUPS 8847 WITH SCORE 8866.228
AT ITER 1372 NEW BEST:: SOT 34494 SOS 19227 HAS SOPS 19227 HAS SOUS 8841 HAS SOUPS 8841 WITH SCORE 8860.227
AT ITER 1381 NEW BEST:: SOT 34493 SOS 19226 HAS SOPS 19226 HAS SOUS 8839 HAS SOUPS 8839 WITH SCORE 8858.226
AT ITER 1421 NEW BEST:: SOT 34504 SOS 19236 HAS SOPS 19236 HAS SOUS 8818 HAS SOUPS 8818 WITH SCORE 8837.236
AT ITER 1424 NEW BEST:: SOT 34504 SOS 19236 HAS SOPS 19236 HAS SOUS 8816 HAS SOUPS 8816 WITH SCORE 8835.236
AT ITER 1426 NEW BEST:: SOT 34502 SOS 19229 HAS SOPS 19229 HAS SOUS 8812 HAS SOUPS 8812 WITH SCORE 8831.229
AT ITER 1449 NEW BEST:: SOT 34500 SOS 19215 HAS SOPS 19215 HAS SOUS 8798 HAS SOUPS 8798 WITH SCORE 8817.215
AT ITER 1455 NEW BEST:: SOT 34499 SOS 19214 HAS SOPS 19214 HAS SOUS 8797 HAS SOUPS 8797 WITH SCORE 8816.214
AT ITER 1470 NEW BEST:: SOT 34495 SOS 19210 HAS SOPS 19210 HAS SOUS 8795 HAS SOUPS 8795 WITH SCORE 8814.21
AT ITER 1480 NEW BEST:: SOT 34494 SOS 19209 HAS SOPS 19209 HAS SOUS 8793 HAS SOUPS 8793 WITH SCORE 8812.209
AT ITER 1481 NEW BEST:: SOT 34321 SOS 19950 HAS SOPS 19950 HAS SOUS 8703 HAS SOUPS 8703 WITH SCORE 8722.95
AT ITER 1517 NEW BEST:: SOT 34229 SOS 19858 HAS SOPS 19858 HAS SOUS 8519 HAS SOUPS 8519 WITH SCORE 8538.858
AT ITER 1518 NEW BEST:: SOT 34235 SOS 19810 HAS SOPS 19810 HAS SOUS 8398 HAS SOUPS 8398 WITH SCORE 8417.81
AT ITER 1538 NEW BEST:: SOT 34218 SOS 19741 HAS SOPS 19741 HAS SOUS 8381 HAS SOUPS 8381 WITH SCORE 8400.741
AT ITER 1574 NEW BEST:: SOT 34032 SOS 20213 HAS SOPS 20213 HAS SOUS 8285 HAS SOUPS 8285 WITH SCORE 8305.213
AT ITER 1585 NEW BEST:: SOT 34031 SOS 20212 HAS SOPS 20212 HAS SOUS 8283 HAS SOUPS 8283 WITH SCORE 8303.212
AT ITER 1608 NEW BEST:: SOT 34030 SOS 20189 HAS SOPS 20189 HAS SOUS 8281 HAS SOUPS 8281 WITH SCORE 8301.189
AT ITER 1656 NEW BEST:: SOT 34029 SOS 20188 HAS SOPS 20188 HAS SOUS 8279 HAS SOUPS 8279 WITH SCORE 8299.188
AT ITER 1695 NEW BEST:: SOT 34040 SOS 20199 HAS SOPS 20199 HAS SOUS 8277 HAS SOUPS 8277 WITH SCORE 8297.199
AT ITER 1702 NEW BEST:: SOT 33979 SOS 20148 HAS SOPS 20148 HAS SOUS 8275 HAS SOUPS 8275 WITH SCORE 8295.148
AT ITER 1727 NEW BEST:: SOT 33915 SOS 20036 HAS SOPS 20036 HAS SOUS 8195 HAS SOUPS 8195 WITH SCORE 8215.036
AT ITER 1739 NEW BEST:: SOT 33897 SOS 19996 HAS SOPS 19996 HAS SOUS 8175 HAS SOUPS 8175 WITH SCORE 8194.996
AT ITER 1867 NEW BEST:: SOT 33896 SOS 20010 HAS SOPS 20010 HAS SOUS 8173 HAS SOUPS 8173 WITH SCORE 8193.01
AT ITER 1885 NEW BEST:: SOT 33895 SOS 20009 HAS SOPS 20009 HAS SOUS 8171 HAS SOUPS 8171 WITH SCORE 8191.009
AT ITER 1918 NEW BEST:: SOT 33893 SOS 20051 HAS SOPS 20051 HAS SOUS 8164 HAS SOUPS 8164 WITH SCORE 8184.051
AT ITER 1970 NEW BEST:: SOT 33893 SOS 20051 HAS SOPS 20051 HAS SOUS 8138 HAS SOUPS 8138 WITH SCORE 8158.051
AT ITER 1980 NEW BEST:: SOT 33881 SOS 20239 HAS SOPS 20239 HAS SOUS 8136 HAS SOUPS 8136 WITH SCORE 8156.239
AT ITER 1991 NEW BEST:: SOT 33877 SOS 20235 HAS SOPS 20235 HAS SOUS 8128 HAS SOUPS 8128 WITH SCORE 8148.235
AT ITER 2030 NEW BEST:: SOT 33873 SOS 20231 HAS SOPS 20231 HAS SOUS 8128 HAS SOUPS 8128 WITH SCORE 8148.231
AT ITER 2034 NEW BEST:: SOT 33873 SOS 20231 HAS SOPS 20231 HAS SOUS 8122 HAS SOUPS 8122 WITH SCORE 8142.231
AT ITER 2159 NEW BEST:: SOT 33872 SOS 20230 HAS SOPS 20230 HAS SOUS 8121 HAS SOUPS 8121 WITH SCORE 8141.23
AT ITER 2199 NEW BEST:: SOT 33871 SOS 20229 HAS SOPS 20229 HAS SOUS 8119 HAS SOUPS 8119 WITH SCORE 8139.229
AT ITER 2204 NEW BEST:: SOT 33866 SOS 20224 HAS SOPS 20224 HAS SOUS 8109 HAS SOUPS 8109 WITH SCORE 8129.224
AT ITER 2230 NEW BEST:: SOT 33865 SOS 20223 HAS SOPS 20223 HAS SOUS 8107 HAS SOUPS 8107 WITH SCORE 8127.223
AT ITER 2231 NEW BEST:: SOT 33851 SOS 20209 HAS SOPS 20209 HAS SOUS 8107 HAS SOUPS 8107 WITH SCORE 8127.209
AT ITER 2284 NEW BEST:: SOT 33850 SOS 20208 HAS SOPS 20208 HAS SOUS 8105 HAS SOUPS 8105 WITH SCORE 8125.208
AT ITER 2344 NEW BEST:: SOT 33996 SOS 20174 HAS SOPS 20174 HAS SOUS 8072 HAS SOUPS 8072 WITH SCORE 8092.174
AT ITER 2444 NEW BEST:: SOT 33995 SOS 20195 HAS SOPS 20195 HAS SOUS 8070 HAS SOUPS 8070 WITH SCORE 8090.195
AT ITER 2455 NEW BEST:: SOT 33995 SOS 20195 HAS SOPS 20195 HAS SOUS 8063 HAS SOUPS 8063 WITH SCORE 8083.195
AT ITER 2467 NEW BEST:: SOT 34036 SOS 20236 HAS SOPS 20236 HAS SOUS 8059 HAS SOUPS 8059 WITH SCORE 8079.236
AT ITER 2468 NEW BEST:: SOT 33973 SOS 20173 HAS SOPS 20173 HAS SOUS 8007 HAS SOUPS 8007 WITH SCORE 8027.173
AT ITER 2491 NEW BEST:: SOT 33972 SOS 20172 HAS SOPS 20172 HAS SOUS 8005 HAS SOUPS 8005 WITH SCORE 8025.172
AT ITER 2506 NEW BEST:: SOT 33989 SOS 20189 HAS SOPS 20189 HAS SOUS 8003 HAS SOUPS 8003 WITH SCORE 8023.189
AT ITER 2511 NEW BEST:: SOT 34021 SOS 19496 HAS SOPS 19496 HAS SOUS 8001 HAS SOUPS 8001 WITH SCORE 8020.496
AT ITER 2557 NEW BEST:: SOT 34020 SOS 19471 HAS SOPS 19471 HAS SOUS 7999 HAS SOUPS 7999 WITH SCORE 8018.471
AT ITER 2570 NEW BEST:: SOT 34016 SOS 19467 HAS SOPS 19467 HAS SOUS 7995 HAS SOUPS 7995 WITH SCORE 8014.467
AT ITER 2585 NEW BEST:: SOT 34106 SOS 19572 HAS SOPS 19572 HAS SOUS 7943 HAS SOUPS 7943 WITH SCORE 7962.572
AT ITER 2597 NEW BEST:: SOT 34106 SOS 19560 HAS SOPS 19560 HAS SOUS 7943 HAS SOUPS 7943 WITH SCORE 7962.56
AT ITER 2659 NEW BEST:: SOT 34105 SOS 19525 HAS SOPS 19525 HAS SOUS 7941 HAS SOUPS 7941 WITH SCORE 7960.525
AT ITER 2713 NEW BEST:: SOT 34101 SOS 19521 HAS SOPS 19521 HAS SOUS 7937 HAS SOUPS 7937 WITH SCORE 7956.521
AT ITER 2717 NEW BEST:: SOT 34095 SOS 19515 HAS SOPS 19515 HAS SOUS 7929 HAS SOUPS 7929 WITH SCORE 7948.515
AT ITER 2727 NEW BEST:: SOT 34092 SOS 19143 HAS SOPS 19143 HAS SOUS 7923 HAS SOUPS 7923 WITH SCORE 7942.143
AT ITER 2856 NEW BEST:: SOT 34091 SOS 19142 HAS SOPS 19142 HAS SOUS 7923 HAS SOUPS 7923 WITH SCORE 7942.142
AT ITER 2873 NEW BEST:: SOT 34084 SOS 19135 HAS SOPS 19135 HAS SOUS 7907 HAS SOUPS 7907 WITH SCORE 7926.135
AT ITER 2892 NEW BEST:: SOT 34052 SOS 19103 HAS SOPS 19103 HAS SOUS 7843 HAS SOUPS 7843 WITH SCORE 7862.103
AT ITER 2909 NEW BEST:: SOT 34052 SOS 19099 HAS SOPS 19099 HAS SOUS 7839 HAS SOUPS 7839 WITH SCORE 7858.099
AT ITER 2917 NEW BEST:: SOT 34056 SOS 19103 HAS SOPS 19103 HAS SOUS 7838 HAS SOUPS 7838 WITH SCORE 7857.103
AT ITER 2920 NEW BEST:: SOT 34013 SOS 19060 HAS SOPS 19060 HAS SOUS 7795 HAS SOUPS 7795 WITH SCORE 7814.06
AT ITER 2999 NEW BEST:: SOT 34013 SOS 19065 HAS SOPS 19065 HAS SOUS 7772 HAS SOUPS 7772 WITH SCORE 7791.065
AT ITER 3071 NEW BEST:: SOT 34012 SOS 19074 HAS SOPS 19074 HAS SOUS 7770 HAS SOUPS 7770 WITH SCORE 7789.074
AT ITER 3111 NEW BEST:: SOT 34008 SOS 19070 HAS SOPS 19070 HAS SOUS 7762 HAS SOUPS 7762 WITH SCORE 7781.07
AT ITER 3118 NEW BEST:: SOT 33982 SOS 19013 HAS SOPS 19013 HAS SOUS 7738 HAS SOUPS 7738 WITH SCORE 7757.013
AT ITER 3125 NEW BEST:: SOT 33981 SOS 19012 HAS SOPS 19012 HAS SOUS 7737 HAS SOUPS 7737 WITH SCORE 7756.012
AT ITER 3135 NEW BEST:: SOT 33980 SOS 19011 HAS SOPS 19011 HAS SOUS 7735 HAS SOUPS 7735 WITH SCORE 7754.011
AT ITER 3147 NEW BEST:: SOT 33975 SOS 19006 HAS SOPS 19006 HAS SOUS 7725 HAS SOUPS 7725 WITH SCORE 7744.006
AT ITER 3148 NEW BEST:: SOT 33963 SOS 18994 HAS SOPS 18994 HAS SOUS 7720 HAS SOUPS 7720 WITH SCORE 7738.994
AT ITER 3235 NEW BEST:: SOT 33961 SOS 18992 HAS SOPS 18992 HAS SOUS 7718 HAS SOUPS 7718 WITH SCORE 7736.992
AT ITER 3301 NEW BEST:: SOT 33952 SOS 19178 HAS SOPS 19178 HAS SOUS 7709 HAS SOUPS 7709 WITH SCORE 7728.178
AT ITER 3334 NEW BEST:: SOT 33945 SOS 19171 HAS SOPS 19171 HAS SOUS 7706 HAS SOUPS 7706 WITH SCORE 7725.171
AT ITER 3382 NEW BEST:: SOT 33949 SOS 19175 HAS SOPS 19175 HAS SOUS 7698 HAS SOUPS 7698 WITH SCORE 7717.175
AT ITER 3384 NEW BEST:: SOT 33951 SOS 19177 HAS SOPS 19177 HAS SOUS 7676 HAS SOUPS 7676 WITH SCORE 7695.177
AT ITER 3474 NEW BEST:: SOT 33957 SOS 19183 HAS SOPS 19183 HAS SOUS 7629 HAS SOUPS 7629 WITH SCORE 7648.183
AT ITER 3480 NEW BEST:: SOT 33957 SOS 19183 HAS SOPS 19183 HAS SOUS 7614 HAS SOUPS 7614 WITH SCORE 7633.183
AT ITER 3500 NEW BEST:: SOT 33951 SOS 19177 HAS SOPS 19177 HAS SOUS 7606 HAS SOUPS 7606 WITH SCORE 7625.177
AT ITER 3502 NEW BEST:: SOT 33951 SOS 19112 HAS SOPS 19112 HAS SOUS 7606 HAS SOUPS 7606 WITH SCORE 7625.112
AT ITER 3514 NEW BEST:: SOT 33946 SOS 19107 HAS SOPS 19107 HAS SOUS 7596 HAS SOUPS 7596 WITH SCORE 7615.107
AT ITER 3536 NEW BEST:: SOT 33969 SOS 19130 HAS SOPS 19130 HAS SOUS 7568 HAS SOUPS 7568 WITH SCORE 7587.13
AT ITER 3542 NEW BEST:: SOT 33962 SOS 19116 HAS SOPS 19116 HAS SOUS 7547 HAS SOUPS 7547 WITH SCORE 7566.116
AT ITER 3564 NEW BEST:: SOT 33961 SOS 19115 HAS SOPS 19115 HAS SOUS 7545 HAS SOUPS 7545 WITH SCORE 7564.115
AT ITER 3574 NEW BEST:: SOT 33955 SOS 19096 HAS SOPS 19096 HAS SOUS 7525 HAS SOUPS 7525 WITH SCORE 7544.096
AT ITER 3599 NEW BEST:: SOT 33960 SOS 19101 HAS SOPS 19101 HAS SOUS 7520 HAS SOUPS 7520 WITH SCORE 7539.101
AT ITER 3633 NEW BEST:: SOT 33958 SOS 19099 HAS SOPS 19099 HAS SOUS 7516 HAS SOUPS 7516 WITH SCORE 7535.099
AT ITER 3646 NEW BEST:: SOT 33961 SOS 19102 HAS SOPS 19102 HAS SOUS 7507 HAS SOUPS 7507 WITH SCORE 7526.102
AT ITER 3655 NEW BEST:: SOT 33957 SOS 19098 HAS SOPS 19098 HAS SOUS 7499 HAS SOUPS 7499 WITH SCORE 7518.098
AT ITER 3663 NEW BEST:: SOT 33939 SOS 19038 HAS SOPS 19038 HAS SOUS 7481 HAS SOUPS 7481 WITH SCORE 7500.038
AT ITER 3670 NEW BEST:: SOT 33919 SOS 19018 HAS SOPS 19018 HAS SOUS 7461 HAS SOUPS 7461 WITH SCORE 7480.018
AT ITER 3679 NEW BEST:: SOT 33918 SOS 19017 HAS SOPS 19017 HAS SOUS 7459 HAS SOUPS 7459 WITH SCORE 7478.017
AT ITER 3695 NEW BEST:: SOT 33914 SOS 19013 HAS SOPS 19013 HAS SOUS 7451 HAS SOUPS 7451 WITH SCORE 7470.013
AT ITER 3724 NEW BEST:: SOT 33917 SOS 19016 HAS SOPS 19016 HAS SOUS 7441 HAS SOUPS 7441 WITH SCORE 7460.016
AT ITER 3734 NEW BEST:: SOT 33914 SOS 19013 HAS SOPS 19013 HAS SOUS 7438 HAS SOUPS 7438 WITH SCORE 7457.013
AT ITER 3820 NEW BEST:: SOT 33914 SOS 19009 HAS SOPS 19009 HAS SOUS 7438 HAS SOUPS 7438 WITH SCORE 7457.009
AT ITER 3823 NEW BEST:: SOT 33914 SOS 19007 HAS SOPS 19007 HAS SOUS 7438 HAS SOUPS 7438 WITH SCORE 7457.007
AT ITER 3830 NEW BEST:: SOT 33919 SOS 18906 HAS SOPS 18906 HAS SOUS 7437 HAS SOUPS 7437 WITH SCORE 7455.906
AT ITER 3856 NEW BEST:: SOT 33919 SOS 18906 HAS SOPS 18906 HAS SOUS 7434 HAS SOUPS 7434 WITH SCORE 7452.906
AT ITER 3861 NEW BEST:: SOT 33915 SOS 18902 HAS SOPS 18902 HAS SOUS 7426 HAS SOUPS 7426 WITH SCORE 7444.902
AT ITER 3896 NEW BEST:: SOT 33913 SOS 18900 HAS SOPS 18900 HAS SOUS 7422 HAS SOUPS 7422 WITH SCORE 7440.9
AT ITER 3950 NEW BEST:: SOT 33888 SOS 18905 HAS SOPS 18905 HAS SOUS 7397 HAS SOUPS 7397 WITH SCORE 7415.905
AT ITER 3998 NEW BEST:: SOT 33889 SOS 18906 HAS SOPS 18906 HAS SOUS 7378 HAS SOUPS 7378 WITH SCORE 7396.906
AT ITER 4005 NEW BEST:: SOT 33894 SOS 18912 HAS SOPS 18912 HAS SOUS 7371 HAS SOUPS 7371 WITH SCORE 7389.912
AT ITER 4043 NEW BEST:: SOT 33893 SOS 18940 HAS SOPS 18940 HAS SOUS 7369 HAS SOUPS 7369 WITH SCORE 7387.94
AT ITER 4097 NEW BEST:: SOT 33893 SOS 18937 HAS SOPS 18937 HAS SOUS 7369 HAS SOUPS 7369 WITH SCORE 7387.937
AT ITER 4124 NEW BEST:: SOT 33892 SOS 18955 HAS SOPS 18955 HAS SOUS 7367 HAS SOUPS 7367 WITH SCORE 7385.955
AT ITER 4231 NEW BEST:: SOT 33891 SOS 18954 HAS SOPS 18954 HAS SOUS 7365 HAS SOUPS 7365 WITH SCORE 7383.954
AT ITER 4248 NEW BEST:: SOT 33891 SOS 18950 HAS SOPS 18950 HAS SOUS 7361 HAS SOUPS 7361 WITH SCORE 7379.95
AT ITER 4257 NEW BEST:: SOT 33888 SOS 18943 HAS SOPS 18943 HAS SOUS 7355 HAS SOUPS 7355 WITH SCORE 7373.943
AT ITER 4289 NEW BEST:: SOT 33855 SOS 18920 HAS SOPS 18920 HAS SOUS 7327 HAS SOUPS 7327 WITH SCORE 7345.92
AT ITER 4298 NEW BEST:: SOT 33850 SOS 18911 HAS SOPS 18911 HAS SOUS 7301 HAS SOUPS 7301 WITH SCORE 7319.911
AT ITER 4315 NEW BEST:: SOT 33850 SOS 18902 HAS SOPS 18902 HAS SOUS 7301 HAS SOUPS 7301 WITH SCORE 7319.902
AT ITER 4332 NEW BEST:: SOT 33850 SOS 18892 HAS SOPS 18892 HAS SOUS 7291 HAS SOUPS 7291 WITH SCORE 7309.892
AT ITER 4338 NEW BEST:: SOT 33839 SOS 18858 HAS SOPS 18858 HAS SOUS 7265 HAS SOUPS 7265 WITH SCORE 7283.858
AT ITER 4436 NEW BEST:: SOT 33833 SOS 18852 HAS SOPS 18852 HAS SOUS 7253 HAS SOUPS 7253 WITH SCORE 7271.852
AT ITER 4438 NEW BEST:: SOT 33838 SOS 18507 HAS SOPS 18507 HAS SOUS 7246 HAS SOUPS 7246 WITH SCORE 7264.507
AT ITER 4443 NEW BEST:: SOT 33837 SOS 18506 HAS SOPS 18506 HAS SOUS 7244 HAS SOUPS 7244 WITH SCORE 7262.506
AT ITER 4515 NEW BEST:: SOT 33828 SOS 18497 HAS SOPS 18497 HAS SOUS 7226 HAS SOUPS 7226 WITH SCORE 7244.497
AT ITER 4541 NEW BEST:: SOT 33827 SOS 18496 HAS SOPS 18496 HAS SOUS 7224 HAS SOUPS 7224 WITH SCORE 7242.496
AT ITER 4575 NEW BEST:: SOT 33827 SOS 18493 HAS SOPS 18493 HAS SOUS 7223 HAS SOUPS 7223 WITH SCORE 7241.493
AT ITER 4658 NEW BEST:: SOT 33827 SOS 18427 HAS SOPS 18427 HAS SOUS 7223 HAS SOUPS 7223 WITH SCORE 7241.427
AT ITER 4682 NEW BEST:: SOT 33825 SOS 18425 HAS SOPS 18425 HAS SOUS 7219 HAS SOUPS 7219 WITH SCORE 7237.425
AT ITER 4697 NEW BEST:: SOT 33826 SOS 18426 HAS SOPS 18426 HAS SOUS 7217 HAS SOUPS 7217 WITH SCORE 7235.426
AT ITER 4776 NEW BEST:: SOT 33825 SOS 18422 HAS SOPS 18422 HAS SOUS 7198 HAS SOUPS 7198 WITH SCORE 7216.422
AT ITER 4825 NEW BEST:: SOT 33828 SOS 18365 HAS SOPS 18365 HAS SOUS 7198 HAS SOUPS 7198 WITH SCORE 7216.365
AT ITER 4847 NEW BEST:: SOT 33825 SOS 18392 HAS SOPS 18392 HAS SOUS 7192 HAS SOUPS 7192 WITH SCORE 7210.392
AT ITER 4942 NEW BEST:: SOT 33829 SOS 18396 HAS SOPS 18396 HAS SOUS 7186 HAS SOUPS 7186 WITH SCORE 7204.396
AT ITER 5014 NEW BEST:: SOT 33812 SOS 18389 HAS SOPS 18389 HAS SOUS 7184 HAS SOUPS 7184 WITH SCORE 7202.389
AT ITER 5042 NEW BEST:: SOT 33811 SOS 18393 HAS SOPS 18393 HAS SOUS 7182 HAS SOUPS 7182 WITH SCORE 7200.393
AT ITER 5054 NEW BEST:: SOT 33808 SOS 18390 HAS SOPS 18390 HAS SOUS 7176 HAS SOUPS 7176 WITH SCORE 7194.39
AT ITER 5139 NEW BEST:: SOT 33786 SOS 18368 HAS SOPS 18368 HAS SOUS 7176 HAS SOUPS 7176 WITH SCORE 7194.368
AT ITER 5204 NEW BEST:: SOT 33788 SOS 18370 HAS SOPS 18370 HAS SOUS 7175 HAS SOUPS 7175 WITH SCORE 7193.37
AT ITER 5205 NEW BEST:: SOT 33788 SOS 18366 HAS SOPS 18366 HAS SOUS 7174 HAS SOUPS 7174 WITH SCORE 7192.366
AT ITER 5208 NEW BEST:: SOT 33774 SOS 18532 HAS SOPS 18532 HAS SOUS 7169 HAS SOUPS 7169 WITH SCORE 7187.532
AT ITER 5245 NEW BEST:: SOT 33774 SOS 18521 HAS SOPS 18521 HAS SOUS 7169 HAS SOUPS 7169 WITH SCORE 7187.521
AT ITER 5273 NEW BEST:: SOT 33770 SOS 18509 HAS SOPS 18509 HAS SOUS 7161 HAS SOUPS 7161 WITH SCORE 7179.509
AT ITER 5297 NEW BEST:: SOT 33815 SOS 18554 HAS SOPS 18554 HAS SOUS 7158 HAS SOUPS 7158 WITH SCORE 7176.554
AT ITER 5309 NEW BEST:: SOT 33812 SOS 18551 HAS SOPS 18551 HAS SOUS 7152 HAS SOUPS 7152 WITH SCORE 7170.551
AT ITER 5323 NEW BEST:: SOT 33814 SOS 18553 HAS SOPS 18553 HAS SOUS 7144 HAS SOUPS 7144 WITH SCORE 7162.553
AT ITER 5324 NEW BEST:: SOT 33811 SOS 18549 HAS SOPS 18549 HAS SOUS 7143 HAS SOUPS 7143 WITH SCORE 7161.549
AT ITER 5328 NEW BEST:: SOT 33814 SOS 18552 HAS SOPS 18552 HAS SOUS 7133 HAS SOUPS 7133 WITH SCORE 7151.552
AT ITER 5337 NEW BEST:: SOT 33810 SOS 18548 HAS SOPS 18548 HAS SOUS 7131 HAS SOUPS 7131 WITH SCORE 7149.548
AT ITER 5379 NEW BEST:: SOT 33789 SOS 18527 HAS SOPS 18527 HAS SOUS 7107 HAS SOUPS 7107 WITH SCORE 7125.527
AT ITER 5448 NEW BEST:: SOT 33784 SOS 18522 HAS SOPS 18522 HAS SOUS 7097 HAS SOUPS 7097 WITH SCORE 7115.522
AT ITER 5502 NEW BEST:: SOT 33782 SOS 18520 HAS SOPS 18520 HAS SOUS 7096 HAS SOUPS 7096 WITH SCORE 7114.52
AT ITER 5505 NEW BEST:: SOT 33782 SOS 18520 HAS SOPS 18520 HAS SOUS 7091 HAS SOUPS 7091 WITH SCORE 7109.52
AT ITER 5536 NEW BEST:: SOT 33790 SOS 18508 HAS SOPS 18508 HAS SOUS 7086 HAS SOUPS 7086 WITH SCORE 7104.508
AT ITER 5588 NEW BEST:: SOT 33788 SOS 18506 HAS SOPS 18506 HAS SOUS 7086 HAS SOUPS 7086 WITH SCORE 7104.506
AT ITER 5616 NEW BEST:: SOT 33793 SOS 18511 HAS SOPS 18511 HAS SOUS 7083 HAS SOUPS 7083 WITH SCORE 7101.511
AT ITER 5618 NEW BEST:: SOT 33793 SOS 18511 HAS SOPS 18511 HAS SOUS 7074 HAS SOUPS 7074 WITH SCORE 7092.511
AT ITER 5703 NEW BEST:: SOT 33794 SOS 18510 HAS SOPS 18510 HAS SOUS 7073 HAS SOUPS 7073 WITH SCORE 7091.51
AT ITER 5712 NEW BEST:: SOT 33787 SOS 18511 HAS SOPS 18511 HAS SOUS 7066 HAS SOUPS 7066 WITH SCORE 7084.511
AT ITER 5724 NEW BEST:: SOT 33789 SOS 18510 HAS SOPS 18510 HAS SOUS 7065 HAS SOUPS 7065 WITH SCORE 7083.51
AT ITER 5768 NEW BEST:: SOT 33786 SOS 18502 HAS SOPS 18502 HAS SOUS 7056 HAS SOUPS 7056 WITH SCORE 7074.502
AT ITER 5781 NEW BEST:: SOT 33786 SOS 18496 HAS SOPS 18496 HAS SOUS 7056 HAS SOUPS 7056 WITH SCORE 7074.496
AT ITER 5821 NEW BEST:: SOT 33779 SOS 18456 HAS SOPS 18456 HAS SOUS 7023 HAS SOUPS 7023 WITH SCORE 7041.456
AT ITER 5848 NEW BEST:: SOT 33778 SOS 18457 HAS SOPS 18457 HAS SOUS 7021 HAS SOUPS 7021 WITH SCORE 7039.457
AT ITER 5881 NEW BEST:: SOT 33766 SOS 18327 HAS SOPS 18327 HAS SOUS 7016 HAS SOUPS 7016 WITH SCORE 7034.327
AT ITER 5908 NEW BEST:: SOT 33765 SOS 18326 HAS SOPS 18326 HAS SOUS 7014 HAS SOUPS 7014 WITH SCORE 7032.326
AT ITER 5929 NEW BEST:: SOT 33754 SOS 18315 HAS SOPS 18315 HAS SOUS 7014 HAS SOUPS 7014 WITH SCORE 7032.315
AT ITER 5968 NEW BEST:: SOT 33754 SOS 18306 HAS SOPS 18306 HAS SOUS 7013 HAS SOUPS 7013 WITH SCORE 7031.306
AT ITER 6135 NEW BEST:: SOT 33753 SOS 18305 HAS SOPS 18305 HAS SOUS 7011 HAS SOUPS 7011 WITH SCORE 7029.305
AT ITER 6180 NEW BEST:: SOT 33750 SOS 18298 HAS SOPS 18298 HAS SOUS 7004 HAS SOUPS 7004 WITH SCORE 7022.298
AT ITER 6266 NEW BEST:: SOT 33746 SOS 18334 HAS SOPS 18334 HAS SOUS 7000 HAS SOUPS 7000 WITH SCORE 7018.334
AT ITER 6269 NEW BEST:: SOT 33746 SOS 18333 HAS SOPS 18333 HAS SOUS 7000 HAS SOUPS 7000 WITH SCORE 7018.333
AT ITER 6358 NEW BEST:: SOT 33732 SOS 18288 HAS SOPS 18288 HAS SOUS 6972 HAS SOUPS 6972 WITH SCORE 6990.288
AT ITER 6359 NEW BEST:: SOT 33732 SOS 18288 HAS SOPS 18288 HAS SOUS 6967 HAS SOUPS 6967 WITH SCORE 6985.288
AT ITER 6392 NEW BEST:: SOT 33731 SOS 18287 HAS SOPS 18287 HAS SOUS 6966 HAS SOUPS 6966 WITH SCORE 6984.287
AT ITER 6403 NEW BEST:: SOT 33711 SOS 18553 HAS SOPS 18553 HAS SOUS 6949 HAS SOUPS 6949 WITH SCORE 6967.553
AT ITER 6507 NEW BEST:: SOT 33727 SOS 18207 HAS SOPS 18207 HAS SOUS 6949 HAS SOUPS 6949 WITH SCORE 6967.207
AT ITER 6520 NEW BEST:: SOT 33757 SOS 18237 HAS SOPS 18237 HAS SOUS 6925 HAS SOUPS 6925 WITH SCORE 6943.237
AT ITER 6602 NEW BEST:: SOT 33755 SOS 18275 HAS SOPS 18275 HAS SOUS 6923 HAS SOUPS 6923 WITH SCORE 6941.275
AT ITER 6640 NEW BEST:: SOT 33756 SOS 18276 HAS SOPS 18276 HAS SOUS 6916 HAS SOUPS 6916 WITH SCORE 6934.276
AT ITER 6676 NEW BEST:: SOT 33756 SOS 18276 HAS SOPS 18276 HAS SOUS 6913 HAS SOUPS 6913 WITH SCORE 6931.276
AT ITER 6687 NEW BEST:: SOT 33756 SOS 18276 HAS SOPS 18276 HAS SOUS 6912 HAS SOUPS 6912 WITH SCORE 6930.276
AT ITER 6730 NEW BEST:: SOT 33751 SOS 18271 HAS SOPS 18271 HAS SOUS 6902 HAS SOUPS 6902 WITH SCORE 6920.271
AT ITER 6748 NEW BEST:: SOT 33754 SOS 18274 HAS SOPS 18274 HAS SOUS 6898 HAS SOUPS 6898 WITH SCORE 6916.274
AT ITER 6767 NEW BEST:: SOT 33747 SOS 18267 HAS SOPS 18267 HAS SOUS 6898 HAS SOUPS 6898 WITH SCORE 6916.267
AT ITER 6831 NEW BEST:: SOT 33745 SOS 18269 HAS SOPS 18269 HAS SOUS 6897 HAS SOUPS 6897 WITH SCORE 6915.269
AT ITER 6837 NEW BEST:: SOT 33744 SOS 18268 HAS SOPS 18268 HAS SOUS 6891 HAS SOUPS 6891 WITH SCORE 6909.268
AT ITER 6866 NEW BEST:: SOT 33738 SOS 18253 HAS SOPS 18253 HAS SOUS 6870 HAS SOUPS 6870 WITH SCORE 6888.253
AT ITER 6879 NEW BEST:: SOT 33719 SOS 18546 HAS SOPS 18546 HAS SOUS 6867 HAS SOUPS 6867 WITH SCORE 6885.546
AT ITER 6970 NEW BEST:: SOT 33712 SOS 18539 HAS SOPS 18539 HAS SOUS 6853 HAS SOUPS 6853 WITH SCORE 6871.539
AT ITER 7035 NEW BEST:: SOT 33702 SOS 18529 HAS SOPS 18529 HAS SOUS 6852 HAS SOUPS 6852 WITH SCORE 6870.529
AT ITER 7047 NEW BEST:: SOT 33699 SOS 18526 HAS SOPS 18526 HAS SOUS 6847 HAS SOUPS 6847 WITH SCORE 6865.526
AT ITER 7049 NEW BEST:: SOT 33698 SOS 18525 HAS SOPS 18525 HAS SOUS 6845 HAS SOUPS 6845 WITH SCORE 6863.525
AT ITER 7097 NEW BEST:: SOT 33698 SOS 18525 HAS SOPS 18525 HAS SOUS 6844 HAS SOUPS 6844 WITH SCORE 6862.525
AT ITER 7195 NEW BEST:: SOT 33688 SOS 18515 HAS SOPS 18515 HAS SOUS 6824 HAS SOUPS 6824 WITH SCORE 6842.515
AT ITER 7284 NEW BEST:: SOT 33674 SOS 18750 HAS SOPS 18750 HAS SOUS 6823 HAS SOUPS 6823 WITH SCORE 6841.75
AT ITER 7287 NEW BEST:: SOT 33674 SOS 18732 HAS SOPS 18732 HAS SOUS 6823 HAS SOUPS 6823 WITH SCORE 6841.732
AT ITER 7316 NEW BEST:: SOT 33669 SOS 18727 HAS SOPS 18727 HAS SOUS 6813 HAS SOUPS 6813 WITH SCORE 6831.727
AT ITER 7345 NEW BEST:: SOT 33668 SOS 18720 HAS SOPS 18720 HAS SOUS 6811 HAS SOUPS 6811 WITH SCORE 6829.72
AT ITER 7384 NEW BEST:: SOT 33667 SOS 18719 HAS SOPS 18719 HAS SOUS 6809 HAS SOUPS 6809 WITH SCORE 6827.719
AT ITER 7417 NEW BEST:: SOT 33665 SOS 18717 HAS SOPS 18717 HAS SOUS 6807 HAS SOUPS 6807 WITH SCORE 6825.717
AT ITER 7474 NEW BEST:: SOT 33664 SOS 18716 HAS SOPS 18716 HAS SOUS 6805 HAS SOUPS 6805 WITH SCORE 6823.716
AT ITER 7622 NEW BEST:: SOT 33664 SOS 18716 HAS SOPS 18716 HAS SOUS 6799 HAS SOUPS 6799 WITH SCORE 6817.716
AT ITER 7658 NEW BEST:: SOT 33659 SOS 18716 HAS SOPS 18716 HAS SOUS 6798 HAS SOUPS 6798 WITH SCORE 6816.716
AT ITER 7707 NEW BEST:: SOT 33652 SOS 18817 HAS SOPS 18817 HAS SOUS 6797 HAS SOUPS 6797 WITH SCORE 6815.817
AT ITER 7905 NEW BEST:: SOT 33651 SOS 18816 HAS SOPS 18816 HAS SOUS 6795 HAS SOUPS 6795 WITH SCORE 6813.816
AT ITER 7929 NEW BEST:: SOT 33654 SOS 18819 HAS SOPS 18819 HAS SOUS 6794 HAS SOUPS 6794 WITH SCORE 6812.819
AT ITER 8003 NEW BEST:: SOT 33644 SOS 18799 HAS SOPS 18799 HAS SOUS 6784 HAS SOUPS 6784 WITH SCORE 6802.799
AT ITER 8113 NEW BEST:: SOT 33644 SOS 18797 HAS SOPS 18797 HAS SOUS 6784 HAS SOUPS 6784 WITH SCORE 6802.797
AT ITER 8117 NEW BEST:: SOT 33645 SOS 18798 HAS SOPS 18798 HAS SOUS 6778 HAS SOUPS 6778 WITH SCORE 6796.798
AT ITER 8215 NEW BEST:: SOT 33638 SOS 18791 HAS SOPS 18791 HAS SOUS 6769 HAS SOUPS 6769 WITH SCORE 6787.791
AT ITER 8322 NEW BEST:: SOT 33629 SOS 18781 HAS SOPS 18781 HAS SOUS 6759 HAS SOUPS 6759 WITH SCORE 6777.781
AT ITER 8336 NEW BEST:: SOT 33619 SOS 18770 HAS SOPS 18770 HAS SOUS 6748 HAS SOUPS 6748 WITH SCORE 6766.77
AT ITER 8347 NEW BEST:: SOT 33633 SOS 18784 HAS SOPS 18784 HAS SOUS 6739 HAS SOUPS 6739 WITH SCORE 6757.784
AT ITER 8427 NEW BEST:: SOT 33632 SOS 18783 HAS SOPS 18783 HAS SOUS 6737 HAS SOUPS 6737 WITH SCORE 6755.783
AT ITER 8466 NEW BEST:: SOT 33651 SOS 18780 HAS SOPS 18780 HAS SOUS 6734 HAS SOUPS 6734 WITH SCORE 6752.78
AT ITER 8523 NEW BEST:: SOT 33673 SOS 18802 HAS SOPS 18802 HAS SOUS 6730 HAS SOUPS 6730 WITH SCORE 6748.802
AT ITER 8540 NEW BEST:: SOT 33672 SOS 18801 HAS SOPS 18801 HAS SOUS 6728 HAS SOUPS 6728 WITH SCORE 6746.801
AT ITER 8591 NEW BEST:: SOT 33670 SOS 18799 HAS SOPS 18799 HAS SOUS 6724 HAS SOUPS 6724 WITH SCORE 6742.799
AT ITER 8728 NEW BEST:: SOT 33669 SOS 18798 HAS SOPS 18798 HAS SOUS 6722 HAS SOUPS 6722 WITH SCORE 6740.798
AT ITER 8749 NEW BEST:: SOT 33669 SOS 18791 HAS SOPS 18791 HAS SOUS 6722 HAS SOUPS 6722 WITH SCORE 6740.791
AT ITER 8751 NEW BEST:: SOT 33659 SOS 18781 HAS SOPS 18781 HAS SOUS 6702 HAS SOUPS 6702 WITH SCORE 6720.781
AT ITER 8800 NEW BEST:: SOT 33659 SOS 18781 HAS SOPS 18781 HAS SOUS 6699 HAS SOUPS 6699 WITH SCORE 6717.781
AT ITER 8878 NEW BEST:: SOT 33656 SOS 18776 HAS SOPS 18776 HAS SOUS 6698 HAS SOUPS 6698 WITH SCORE 6716.776
AT ITER 8884 NEW BEST:: SOT 33652 SOS 18772 HAS SOPS 18772 HAS SOUS 6690 HAS SOUPS 6690 WITH SCORE 6708.772
AT ITER 8918 NEW BEST:: SOT 33651 SOS 18771 HAS SOPS 18771 HAS SOUS 6689 HAS SOUPS 6689 WITH SCORE 6707.771
AT ITER 9001 NEW BEST:: SOT 33634 SOS 18754 HAS SOPS 18754 HAS SOUS 6663 HAS SOUPS 6663 WITH SCORE 6681.754
AT ITER 9092 NEW BEST:: SOT 33634 SOS 18754 HAS SOPS 18754 HAS SOUS 6659 HAS SOUPS 6659 WITH SCORE 6677.754
AT ITER 9124 NEW BEST:: SOT 33633 SOS 18753 HAS SOPS 18753 HAS SOUS 6653 HAS SOUPS 6653 WITH SCORE 6671.753
AT ITER 9282 NEW BEST:: SOT 33622 SOS 18736 HAS SOPS 18736 HAS SOUS 6632 HAS SOUPS 6632 WITH SCORE 6650.736
AT ITER 9360 NEW BEST:: SOT 33618 SOS 18728 HAS SOPS 18728 HAS SOUS 6629 HAS SOUPS 6629 WITH SCORE 6647.728
AT ITER 9386 NEW BEST:: SOT 33617 SOS 18639 HAS SOPS 18639 HAS SOUS 6623 HAS SOUPS 6623 WITH SCORE 6641.639
AT ITER 9491 NEW BEST:: SOT 33616 SOS 18638 HAS SOPS 18638 HAS SOUS 6621 HAS SOUPS 6621 WITH SCORE 6639.638
AT ITER 9511 NEW BEST:: SOT 33616 SOS 18638 HAS SOPS 18638 HAS SOUS 6620 HAS SOUPS 6620 WITH SCORE 6638.638
AT ITER 9596 NEW BEST:: SOT 33609 SOS 18631 HAS SOPS 18631 HAS SOUS 6612 HAS SOUPS 6612 WITH SCORE 6630.631
AT ITER 9615 NEW BEST:: SOT 33618 SOS 18389 HAS SOPS 18389 HAS SOUS 6609 HAS SOUPS 6609 WITH SCORE 6627.389
AT ITER 9728 NEW BEST:: SOT 33624 SOS 18393 HAS SOPS 18393 HAS SOUS 6596 HAS SOUPS 6596 WITH SCORE 6614.393
AT ITER 9891 NEW BEST:: SOT 33621 SOS 18390 HAS SOPS 18390 HAS SOUS 6594 HAS SOUPS 6594 WITH SCORE 6612.39
AT ITER 9944 NEW BEST:: SOT 33611 SOS 18380 HAS SOPS 18380 HAS SOUS 6584 HAS SOUPS 6584 WITH SCORE 6602.38
AT ITER 9983 NEW BEST:: SOT 33602 SOS 18371 HAS SOPS 18371 HAS SOUS 6584 HAS SOUPS 6584 WITH SCORE 6602.371
STATE_SPACE STATES 6959447840118 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 9 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 30 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 70856659624579 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678623863012

--------------------
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="HirschbergSinclair-PT-10"
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 HirschbergSinclair-PT-10, 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 r203-smll-167840349600440"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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