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.r107-tall-167814484500624.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 DLCround-PT-03a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484500624
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 572K
-rw-r--r-- 1 mcc users 6.2K Feb 25 18:27 CTLCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 25 18:27 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Feb 25 18:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 40K Feb 25 18:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:52 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 15:52 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:52 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 15:52 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.1K Feb 25 18:32 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 25 18:32 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 25 18:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 108K Feb 25 18:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:52 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:52 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 148K 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 1678404224063

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=DLCround-PT-03a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 23:23:45] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 23:23:45] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 23:23:45] [INFO ] Load time of PNML (sax parser for PT used): 67 ms
[2023-03-09 23:23:45] [INFO ] Transformed 113 places.
[2023-03-09 23:23:45] [INFO ] Transformed 617 transitions.
[2023-03-09 23:23:45] [INFO ] Found NUPN structural information;
[2023-03-09 23:23:45] [INFO ] Parsed PT model containing 113 places and 617 transitions and 2269 arcs in 133 ms.
[2023-03-09 23:23:45] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 113 places, 617 transitions and 2269 arcs took 7 ms.
Total runtime 170 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 03a
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: 113 places, 617 transitions, 2269 arcs.
AT ITER 0 NEW BEST:: SOT 47826 SOS 35768 HAS SOPS 21670 HAS SOUS 7938 HAS SOUPS 5125 WITH SCORE 5160.768
AT ITER 4 NEW BEST:: SOT 47776 SOS 35279 HAS SOPS 21326 HAS SOUS 7730 HAS SOUPS 4728 WITH SCORE 4763.279
AT ITER 6 NEW BEST:: SOT 47649 SOS 35553 HAS SOPS 21400 HAS SOUS 7655 HAS SOUPS 4653 WITH SCORE 4688.553
AT ITER 15 NEW BEST:: SOT 47649 SOS 35503 HAS SOPS 21390 HAS SOUS 7625 HAS SOUPS 4633 WITH SCORE 4668.503
AT ITER 18 NEW BEST:: SOT 47649 SOS 35543 HAS SOPS 21390 HAS SOUS 7626 HAS SOUPS 4624 WITH SCORE 4659.543
AT ITER 19 NEW BEST:: SOT 47640 SOS 35467 HAS SOPS 21398 HAS SOUS 7607 HAS SOUPS 4617 WITH SCORE 4652.467
AT ITER 22 NEW BEST:: SOT 47629 SOS 35368 HAS SOPS 21299 HAS SOUS 7596 HAS SOUPS 4606 WITH SCORE 4641.368
AT ITER 35 NEW BEST:: SOT 47487 SOS 35724 HAS SOPS 21423 HAS SOUS 7495 HAS SOUPS 4505 WITH SCORE 4540.724
AT ITER 36 NEW BEST:: SOT 47487 SOS 35700 HAS SOPS 21399 HAS SOUS 7493 HAS SOUPS 4503 WITH SCORE 4538.7
AT ITER 41 NEW BEST:: SOT 47388 SOS 35651 HAS SOPS 21350 HAS SOUS 7394 HAS SOUPS 4404 WITH SCORE 4439.651
AT ITER 42 NEW BEST:: SOT 47379 SOS 35633 HAS SOPS 21332 HAS SOUS 7385 HAS SOUPS 4395 WITH SCORE 4430.633
AT ITER 44 NEW BEST:: SOT 47532 SOS 35824 HAS SOPS 21295 HAS SOUS 7298 HAS SOUPS 4219 WITH SCORE 4254.824
AT ITER 50 NEW BEST:: SOT 47713 SOS 34122 HAS SOPS 20072 HAS SOUS 7209 HAS SOUPS 4201 WITH SCORE 4235.122
AT ITER 76 NEW BEST:: SOT 47713 SOS 34070 HAS SOPS 19968 HAS SOUS 7222 HAS SOUPS 4201 WITH SCORE 4235.07
AT ITER 77 NEW BEST:: SOT 47707 SOS 34052 HAS SOPS 19958 HAS SOUS 7214 HAS SOUPS 4195 WITH SCORE 4229.052
AT ITER 82 NEW BEST:: SOT 47710 SOS 34070 HAS SOPS 19962 HAS SOUS 7215 HAS SOUPS 4194 WITH SCORE 4228.07
AT ITER 91 NEW BEST:: SOT 47694 SOS 33958 HAS SOPS 19850 HAS SOUS 7193 HAS SOUPS 4172 WITH SCORE 4205.958
AT ITER 92 NEW BEST:: SOT 47694 SOS 33958 HAS SOPS 19829 HAS SOUS 7199 HAS SOUPS 4166 WITH SCORE 4199.958
AT ITER 95 NEW BEST:: SOT 47293 SOS 33445 HAS SOPS 19552 HAS SOUS 7186 HAS SOUPS 4163 WITH SCORE 4196.445
AT ITER 98 NEW BEST:: SOT 47290 SOS 33442 HAS SOPS 19549 HAS SOUS 7177 HAS SOUPS 4154 WITH SCORE 4187.442
AT ITER 102 NEW BEST:: SOT 47276 SOS 33436 HAS SOPS 19543 HAS SOUS 7174 HAS SOUPS 4151 WITH SCORE 4184.436
AT ITER 109 NEW BEST:: SOT 47276 SOS 33436 HAS SOPS 19532 HAS SOUS 7163 HAS SOUPS 4140 WITH SCORE 4173.436
AT ITER 122 NEW BEST:: SOT 47433 SOS 33593 HAS SOPS 19689 HAS SOUS 7143 HAS SOUPS 4120 WITH SCORE 4153.593
AT ITER 124 NEW BEST:: SOT 47358 SOS 33711 HAS SOPS 19675 HAS SOUS 7107 HAS SOUPS 4073 WITH SCORE 4106.711
AT ITER 127 NEW BEST:: SOT 47398 SOS 33491 HAS SOPS 19455 HAS SOUS 7097 HAS SOUPS 4063 WITH SCORE 4096.491
AT ITER 130 NEW BEST:: SOT 47390 SOS 33589 HAS SOPS 19481 HAS SOUS 7101 HAS SOUPS 4061 WITH SCORE 4094.589
AT ITER 131 NEW BEST:: SOT 47378 SOS 33581 HAS SOPS 19473 HAS SOUS 7101 HAS SOUPS 4061 WITH SCORE 4094.581
AT ITER 139 NEW BEST:: SOT 47446 SOS 33683 HAS SOPS 19490 HAS SOUS 7150 HAS SOUPS 4037 WITH SCORE 4070.683
AT ITER 140 NEW BEST:: SOT 47087 SOS 33168 HAS SOPS 19236 HAS SOUS 7081 HAS SOUPS 3997 WITH SCORE 4030.168
AT ITER 149 NEW BEST:: SOT 47056 SOS 32812 HAS SOPS 19027 HAS SOUS 7040 HAS SOUPS 3977 WITH SCORE 4009.812
AT ITER 153 NEW BEST:: SOT 47050 SOS 32800 HAS SOPS 19015 HAS SOUS 7031 HAS SOUPS 3968 WITH SCORE 4000.8
AT ITER 157 NEW BEST:: SOT 47039 SOS 32778 HAS SOPS 18993 HAS SOUS 7025 HAS SOUPS 3962 WITH SCORE 3994.778
AT ITER 163 NEW BEST:: SOT 47042 SOS 32736 HAS SOPS 18972 HAS SOUS 7019 HAS SOUPS 3959 WITH SCORE 3991.736
AT ITER 164 NEW BEST:: SOT 47010 SOS 32448 HAS SOPS 18796 HAS SOUS 6980 HAS SOUPS 3936 WITH SCORE 3968.448
AT ITER 167 NEW BEST:: SOT 46975 SOS 32399 HAS SOPS 18774 HAS SOUS 6975 HAS SOUPS 3934 WITH SCORE 3966.399
AT ITER 180 NEW BEST:: SOT 46959 SOS 32367 HAS SOPS 18742 HAS SOUS 6970 HAS SOUPS 3929 WITH SCORE 3961.367
AT ITER 192 NEW BEST:: SOT 46991 SOS 32021 HAS SOPS 18620 HAS SOUS 6930 HAS SOUPS 3921 WITH SCORE 3953.021
AT ITER 208 NEW BEST:: SOT 47028 SOS 32223 HAS SOPS 18837 HAS SOUS 6924 HAS SOUPS 3915 WITH SCORE 3947.223
AT ITER 212 NEW BEST:: SOT 46992 SOS 32187 HAS SOPS 18801 HAS SOUS 6878 HAS SOUPS 3885 WITH SCORE 3917.187
AT ITER 217 NEW BEST:: SOT 46097 SOS 30987 HAS SOPS 18291 HAS SOUS 6645 HAS SOUPS 3787 WITH SCORE 3817.987
AT ITER 218 NEW BEST:: SOT 45559 SOS 30239 HAS SOPS 17958 HAS SOUS 6580 HAS SOUPS 3761 WITH SCORE 3791.239
AT ITER 225 NEW BEST:: SOT 45556 SOS 30224 HAS SOPS 17955 HAS SOUS 6572 HAS SOUPS 3756 WITH SCORE 3786.224
AT ITER 247 NEW BEST:: SOT 45550 SOS 30194 HAS SOPS 17925 HAS SOUS 6563 HAS SOUPS 3747 WITH SCORE 3777.194
AT ITER 250 NEW BEST:: SOT 45526 SOS 30034 HAS SOPS 17765 HAS SOUS 6549 HAS SOUPS 3733 WITH SCORE 3763.034
AT ITER 251 NEW BEST:: SOT 45512 SOS 29908 HAS SOPS 17737 HAS SOUS 6535 HAS SOUPS 3733 WITH SCORE 3762.908
AT ITER 269 NEW BEST:: SOT 45363 SOS 29913 HAS SOPS 17682 HAS SOUS 6518 HAS SOUPS 3716 WITH SCORE 3745.913
AT ITER 271 NEW BEST:: SOT 45109 SOS 29620 HAS SOPS 17682 HAS SOUS 6234 HAS SOUPS 3669 WITH SCORE 3698.62
AT ITER 272 NEW BEST:: SOT 45114 SOS 29622 HAS SOPS 17683 HAS SOUS 6229 HAS SOUPS 3665 WITH SCORE 3694.622
AT ITER 280 NEW BEST:: SOT 45095 SOS 29626 HAS SOPS 17579 HAS SOUS 6232 HAS SOUPS 3644 WITH SCORE 3673.626
AT ITER 287 NEW BEST:: SOT 45235 SOS 29766 HAS SOPS 17619 HAS SOUS 6198 HAS SOUPS 3610 WITH SCORE 3639.766
AT ITER 299 NEW BEST:: SOT 45232 SOS 29695 HAS SOPS 17583 HAS SOUS 6192 HAS SOUPS 3609 WITH SCORE 3638.695
AT ITER 308 NEW BEST:: SOT 45100 SOS 29515 HAS SOPS 17511 HAS SOUS 6180 HAS SOUPS 3609 WITH SCORE 3638.515
AT ITER 316 NEW BEST:: SOT 45162 SOS 29614 HAS SOPS 17524 HAS SOUS 6184 HAS SOUPS 3599 WITH SCORE 3628.614
AT ITER 317 NEW BEST:: SOT 44860 SOS 29245 HAS SOPS 17291 HAS SOUS 6180 HAS SOUPS 3595 WITH SCORE 3624.245
AT ITER 331 NEW BEST:: SOT 44859 SOS 29244 HAS SOPS 17291 HAS SOUS 6180 HAS SOUPS 3595 WITH SCORE 3624.244
AT ITER 338 NEW BEST:: SOT 44855 SOS 29228 HAS SOPS 17269 HAS SOUS 6158 HAS SOUPS 3577 WITH SCORE 3606.228
AT ITER 351 NEW BEST:: SOT 44777 SOS 29046 HAS SOPS 17217 HAS SOUS 6132 HAS SOUPS 3577 WITH SCORE 3606.046
AT ITER 356 NEW BEST:: SOT 44819 SOS 29100 HAS SOPS 17246 HAS SOUS 6125 HAS SOUPS 3570 WITH SCORE 3599.1
AT ITER 358 NEW BEST:: SOT 44811 SOS 29028 HAS SOPS 17202 HAS SOUS 6117 HAS SOUPS 3566 WITH SCORE 3595.028
AT ITER 363 NEW BEST:: SOT 44853 SOS 28877 HAS SOPS 17192 HAS SOUS 6082 HAS SOUPS 3531 WITH SCORE 3559.877
AT ITER 376 NEW BEST:: SOT 44858 SOS 28658 HAS SOPS 16973 HAS SOUS 6078 HAS SOUPS 3527 WITH SCORE 3555.658
AT ITER 379 NEW BEST:: SOT 44855 SOS 28628 HAS SOPS 16971 HAS SOUS 6072 HAS SOUPS 3525 WITH SCORE 3553.628
AT ITER 386 NEW BEST:: SOT 44839 SOS 28612 HAS SOPS 16955 HAS SOUS 6056 HAS SOUPS 3509 WITH SCORE 3537.612
AT ITER 408 NEW BEST:: SOT 44835 SOS 28604 HAS SOPS 16947 HAS SOUS 6050 HAS SOUPS 3503 WITH SCORE 3531.604
AT ITER 414 NEW BEST:: SOT 44672 SOS 28337 HAS SOPS 16925 HAS SOUS 6024 HAS SOUPS 3490 WITH SCORE 3518.337
AT ITER 420 NEW BEST:: SOT 44620 SOS 28205 HAS SOPS 16853 HAS SOUS 6013 HAS SOUPS 3484 WITH SCORE 3512.205
AT ITER 424 NEW BEST:: SOT 44534 SOS 28101 HAS SOPS 16794 HAS SOUS 6001 HAS SOUPS 3472 WITH SCORE 3500.101
AT ITER 425 NEW BEST:: SOT 44515 SOS 28001 HAS SOPS 16750 HAS SOUS 5942 HAS SOUPS 3427 WITH SCORE 3455.001
AT ITER 426 NEW BEST:: SOT 44509 SOS 27947 HAS SOPS 16696 HAS SOUS 5936 HAS SOUPS 3421 WITH SCORE 3448.947
AT ITER 432 NEW BEST:: SOT 44505 SOS 27943 HAS SOPS 16692 HAS SOUS 5928 HAS SOUPS 3413 WITH SCORE 3440.943
AT ITER 433 NEW BEST:: SOT 44504 SOS 27941 HAS SOPS 16692 HAS SOUS 5927 HAS SOUPS 3413 WITH SCORE 3440.941
AT ITER 442 NEW BEST:: SOT 44496 SOS 27933 HAS SOPS 16684 HAS SOUS 5915 HAS SOUPS 3401 WITH SCORE 3428.933
AT ITER 453 NEW BEST:: SOT 44434 SOS 27814 HAS SOPS 16641 HAS SOUS 5884 HAS SOUPS 3393 WITH SCORE 3420.814
AT ITER 471 NEW BEST:: SOT 44390 SOS 27766 HAS SOPS 16613 HAS SOUS 5880 HAS SOUPS 3389 WITH SCORE 3416.766
AT ITER 481 NEW BEST:: SOT 44390 SOS 27766 HAS SOPS 16613 HAS SOUS 5876 HAS SOUPS 3385 WITH SCORE 3412.766
AT ITER 497 NEW BEST:: SOT 44301 SOS 27671 HAS SOPS 16544 HAS SOUS 5875 HAS SOUPS 3377 WITH SCORE 3404.671
AT ITER 501 NEW BEST:: SOT 44178 SOS 27530 HAS SOPS 16457 HAS SOUS 5864 HAS SOUPS 3366 WITH SCORE 3393.53
AT ITER 504 NEW BEST:: SOT 44129 SOS 27474 HAS SOPS 16415 HAS SOUS 5815 HAS SOUPS 3345 WITH SCORE 3372.474
AT ITER 506 NEW BEST:: SOT 44037 SOS 27368 HAS SOPS 16353 HAS SOUS 5811 HAS SOUPS 3339 WITH SCORE 3366.368
AT ITER 510 NEW BEST:: SOT 44035 SOS 27367 HAS SOPS 16350 HAS SOUS 5803 HAS SOUPS 3330 WITH SCORE 3357.367
AT ITER 527 NEW BEST:: SOT 44022 SOS 27348 HAS SOPS 16336 HAS SOUS 5801 HAS SOUPS 3328 WITH SCORE 3355.348
AT ITER 529 NEW BEST:: SOT 44036 SOS 27313 HAS SOPS 16350 HAS SOUS 5794 HAS SOUPS 3328 WITH SCORE 3355.313
AT ITER 559 NEW BEST:: SOT 44036 SOS 27313 HAS SOPS 16350 HAS SOUS 5785 HAS SOUPS 3323 WITH SCORE 3350.313
AT ITER 584 NEW BEST:: SOT 43988 SOS 27249 HAS SOPS 16326 HAS SOUS 5781 HAS SOUPS 3323 WITH SCORE 3350.249
AT ITER 598 NEW BEST:: SOT 43987 SOS 27249 HAS SOPS 16324 HAS SOUS 5781 HAS SOUPS 3322 WITH SCORE 3349.249
AT ITER 604 NEW BEST:: SOT 43986 SOS 27236 HAS SOPS 16318 HAS SOUS 5778 HAS SOUPS 3320 WITH SCORE 3347.236
AT ITER 619 NEW BEST:: SOT 44011 SOS 27025 HAS SOPS 16215 HAS SOUS 5767 HAS SOUPS 3318 WITH SCORE 3345.025
AT ITER 622 NEW BEST:: SOT 43894 SOS 26791 HAS SOPS 16215 HAS SOUS 5700 HAS SOUPS 3318 WITH SCORE 3344.791
AT ITER 629 NEW BEST:: SOT 43894 SOS 26736 HAS SOPS 16140 HAS SOUS 5705 HAS SOUPS 3318 WITH SCORE 3344.736
AT ITER 674 NEW BEST:: SOT 43806 SOS 26413 HAS SOPS 15919 HAS SOUS 5695 HAS SOUPS 3303 WITH SCORE 3329.413
AT ITER 709 NEW BEST:: SOT 43806 SOS 26381 HAS SOPS 15901 HAS SOUS 5687 HAS SOUPS 3297 WITH SCORE 3323.381
AT ITER 730 NEW BEST:: SOT 43805 SOS 26379 HAS SOPS 15901 HAS SOUS 5677 HAS SOUPS 3296 WITH SCORE 3322.379
AT ITER 737 NEW BEST:: SOT 43797 SOS 26363 HAS SOPS 15885 HAS SOUS 5668 HAS SOUPS 3287 WITH SCORE 3313.363
AT ITER 739 NEW BEST:: SOT 43784 SOS 26160 HAS SOPS 15647 HAS SOUS 5703 HAS SOUPS 3284 WITH SCORE 3310.16
AT ITER 749 NEW BEST:: SOT 43707 SOS 26034 HAS SOPS 15562 HAS SOUS 5703 HAS SOUPS 3284 WITH SCORE 3310.034
AT ITER 754 NEW BEST:: SOT 43680 SOS 26003 HAS SOPS 15531 HAS SOUS 5702 HAS SOUPS 3283 WITH SCORE 3309.003
AT ITER 764 NEW BEST:: SOT 43680 SOS 25982 HAS SOPS 15510 HAS SOUS 5699 HAS SOUPS 3280 WITH SCORE 3305.982
AT ITER 799 NEW BEST:: SOT 43306 SOS 25455 HAS SOPS 15245 HAS SOUS 5632 HAS SOUPS 3232 WITH SCORE 3257.455
AT ITER 802 NEW BEST:: SOT 43291 SOS 25545 HAS SOPS 15295 HAS SOUS 5629 HAS SOUPS 3229 WITH SCORE 3254.545
AT ITER 816 NEW BEST:: SOT 43304 SOS 25555 HAS SOPS 15292 HAS SOUS 5623 HAS SOUPS 3226 WITH SCORE 3251.555
AT ITER 817 NEW BEST:: SOT 43261 SOS 25509 HAS SOPS 15266 HAS SOUS 5621 HAS SOUPS 3224 WITH SCORE 3249.509
AT ITER 852 NEW BEST:: SOT 43262 SOS 25383 HAS SOPS 15196 HAS SOUS 5598 HAS SOUPS 3209 WITH SCORE 3234.383
AT ITER 855 NEW BEST:: SOT 43277 SOS 25389 HAS SOPS 15202 HAS SOUS 5596 HAS SOUPS 3207 WITH SCORE 3232.389
AT ITER 872 NEW BEST:: SOT 43359 SOS 25451 HAS SOPS 15264 HAS SOUS 5578 HAS SOUPS 3199 WITH SCORE 3224.451
AT ITER 886 NEW BEST:: SOT 43555 SOS 25700 HAS SOPS 15407 HAS SOUS 5598 HAS SOUPS 3198 WITH SCORE 3223.7
AT ITER 889 NEW BEST:: SOT 43543 SOS 25676 HAS SOPS 15401 HAS SOUS 5589 HAS SOUPS 3192 WITH SCORE 3217.676
AT ITER 905 NEW BEST:: SOT 43522 SOS 25628 HAS SOPS 15389 HAS SOUS 5579 HAS SOUPS 3182 WITH SCORE 3207.628
AT ITER 907 NEW BEST:: SOT 43492 SOS 25563 HAS SOPS 15369 HAS SOUS 5488 HAS SOUPS 3137 WITH SCORE 3162.563
AT ITER 908 NEW BEST:: SOT 43492 SOS 25584 HAS SOPS 15369 HAS SOUS 5488 HAS SOUPS 3134 WITH SCORE 3159.584
AT ITER 911 NEW BEST:: SOT 43510 SOS 25600 HAS SOPS 15379 HAS SOUS 5482 HAS SOUPS 3130 WITH SCORE 3155.6
AT ITER 939 NEW BEST:: SOT 43500 SOS 25494 HAS SOPS 15313 HAS SOUS 5474 HAS SOUPS 3122 WITH SCORE 3147.494
AT ITER 943 NEW BEST:: SOT 43512 SOS 25518 HAS SOPS 15313 HAS SOUS 5485 HAS SOUPS 3120 WITH SCORE 3145.518
AT ITER 1041 NEW BEST:: SOT 43507 SOS 25534 HAS SOPS 15330 HAS SOUS 5475 HAS SOUPS 3110 WITH SCORE 3135.534
AT ITER 1056 NEW BEST:: SOT 43090 SOS 25137 HAS SOPS 14965 HAS SOUS 5475 HAS SOUPS 3109 WITH SCORE 3134.137
AT ITER 1065 NEW BEST:: SOT 43092 SOS 25007 HAS SOPS 14926 HAS SOUS 5454 HAS SOUPS 3101 WITH SCORE 3126.007
AT ITER 1069 NEW BEST:: SOT 43082 SOS 24983 HAS SOPS 14866 HAS SOUS 5440 HAS SOUPS 3078 WITH SCORE 3102.983
AT ITER 1085 NEW BEST:: SOT 43082 SOS 24983 HAS SOPS 14866 HAS SOUS 5353 HAS SOUPS 3035 WITH SCORE 3059.983
AT ITER 1099 NEW BEST:: SOT 43090 SOS 24917 HAS SOPS 14842 HAS SOUS 5345 HAS SOUPS 3033 WITH SCORE 3057.917
AT ITER 1140 NEW BEST:: SOT 43084 SOS 24919 HAS SOPS 14824 HAS SOUS 5337 HAS SOUPS 3021 WITH SCORE 3045.919
AT ITER 1142 NEW BEST:: SOT 43001 SOS 24555 HAS SOPS 14602 HAS SOUS 5335 HAS SOUPS 3019 WITH SCORE 3043.555
AT ITER 1166 NEW BEST:: SOT 43022 SOS 24580 HAS SOPS 14615 HAS SOUS 5334 HAS SOUPS 3018 WITH SCORE 3042.58
AT ITER 1171 NEW BEST:: SOT 43015 SOS 24566 HAS SOPS 14552 HAS SOUS 5341 HAS SOUPS 3018 WITH SCORE 3042.566
AT ITER 1200 NEW BEST:: SOT 43017 SOS 24570 HAS SOPS 14556 HAS SOUS 5340 HAS SOUPS 3017 WITH SCORE 3041.57
AT ITER 1289 NEW BEST:: SOT 42818 SOS 24180 HAS SOPS 14316 HAS SOUS 5323 HAS SOUPS 3000 WITH SCORE 3024.18
AT ITER 1290 NEW BEST:: SOT 42834 SOS 24196 HAS SOPS 14332 HAS SOUS 5314 HAS SOUPS 2991 WITH SCORE 3015.196
AT ITER 1297 NEW BEST:: SOT 42891 SOS 24275 HAS SOPS 14366 HAS SOUS 5317 HAS SOUPS 2989 WITH SCORE 3013.275
AT ITER 1311 NEW BEST:: SOT 42849 SOS 24233 HAS SOPS 14324 HAS SOUS 5272 HAS SOUPS 2964 WITH SCORE 2988.233
AT ITER 1336 NEW BEST:: SOT 42841 SOS 24219 HAS SOPS 14322 HAS SOUS 5248 HAS SOUPS 2952 WITH SCORE 2976.219
AT ITER 1337 NEW BEST:: SOT 42864 SOS 24160 HAS SOPS 14368 HAS SOUS 5229 HAS SOUPS 2948 WITH SCORE 2972.16
AT ITER 1357 NEW BEST:: SOT 42859 SOS 24150 HAS SOPS 14368 HAS SOUS 5226 HAS SOUPS 2946 WITH SCORE 2970.15
AT ITER 1371 NEW BEST:: SOT 42822 SOS 24084 HAS SOPS 14368 HAS SOUS 5218 HAS SOUPS 2946 WITH SCORE 2970.084
AT ITER 1373 NEW BEST:: SOT 42819 SOS 24039 HAS SOPS 14344 HAS SOUS 5210 HAS SOUPS 2941 WITH SCORE 2965.039
AT ITER 1414 NEW BEST:: SOT 42825 SOS 23976 HAS SOPS 14281 HAS SOUS 5207 HAS SOUPS 2938 WITH SCORE 2961.976
AT ITER 1419 NEW BEST:: SOT 42809 SOS 23208 HAS SOPS 13513 HAS SOUS 5207 HAS SOUPS 2938 WITH SCORE 2961.208
AT ITER 1445 NEW BEST:: SOT 42749 SOS 22986 HAS SOPS 13393 HAS SOUS 5201 HAS SOUPS 2938 WITH SCORE 2960.986
AT ITER 1482 NEW BEST:: SOT 42666 SOS 22869 HAS SOPS 13339 HAS SOUS 5174 HAS SOUPS 2926 WITH SCORE 2948.869
AT ITER 1489 NEW BEST:: SOT 42582 SOS 22775 HAS SOPS 13272 HAS SOUS 5171 HAS SOUPS 2920 WITH SCORE 2942.775
AT ITER 1502 NEW BEST:: SOT 42602 SOS 22795 HAS SOPS 13282 HAS SOUS 5169 HAS SOUPS 2918 WITH SCORE 2940.795
AT ITER 1517 NEW BEST:: SOT 42600 SOS 22791 HAS SOPS 13278 HAS SOUS 5165 HAS SOUPS 2914 WITH SCORE 2936.791
AT ITER 1527 NEW BEST:: SOT 42585 SOS 22776 HAS SOPS 13278 HAS SOUS 5165 HAS SOUPS 2914 WITH SCORE 2936.776
AT ITER 1581 NEW BEST:: SOT 42590 SOS 22785 HAS SOPS 13278 HAS SOUS 5165 HAS SOUPS 2913 WITH SCORE 2935.785
AT ITER 1582 NEW BEST:: SOT 42587 SOS 22779 HAS SOPS 13278 HAS SOUS 5165 HAS SOUPS 2913 WITH SCORE 2935.779
AT ITER 1606 NEW BEST:: SOT 42583 SOS 22789 HAS SOPS 13288 HAS SOUS 5164 HAS SOUPS 2912 WITH SCORE 2934.789
AT ITER 1615 NEW BEST:: SOT 42583 SOS 22789 HAS SOPS 13288 HAS SOUS 5161 HAS SOUPS 2909 WITH SCORE 2931.789
AT ITER 1630 NEW BEST:: SOT 42579 SOS 22725 HAS SOPS 13294 HAS SOUS 5147 HAS SOUPS 2905 WITH SCORE 2927.725
AT ITER 1632 NEW BEST:: SOT 42659 SOS 22861 HAS SOPS 13342 HAS SOUS 5131 HAS SOUPS 2889 WITH SCORE 2911.861
AT ITER 1658 NEW BEST:: SOT 42725 SOS 22925 HAS SOPS 13278 HAS SOUS 5130 HAS SOUPS 2875 WITH SCORE 2897.925
AT ITER 1671 NEW BEST:: SOT 42731 SOS 22953 HAS SOPS 13258 HAS SOUS 5129 HAS SOUPS 2866 WITH SCORE 2888.953
AT ITER 1718 NEW BEST:: SOT 42676 SOS 22852 HAS SOPS 13238 HAS SOUS 5114 HAS SOUPS 2860 WITH SCORE 2882.852
AT ITER 1770 NEW BEST:: SOT 42443 SOS 22372 HAS SOPS 12838 HAS SOUS 5110 HAS SOUPS 2854 WITH SCORE 2876.372
AT ITER 1781 NEW BEST:: SOT 42454 SOS 22388 HAS SOPS 12838 HAS SOUS 5107 HAS SOUPS 2842 WITH SCORE 2864.388
AT ITER 1821 NEW BEST:: SOT 42458 SOS 22215 HAS SOPS 12700 HAS SOUS 5101 HAS SOUPS 2841 WITH SCORE 2863.215
AT ITER 1825 NEW BEST:: SOT 42323 SOS 22056 HAS SOPS 12601 HAS SOUS 5100 HAS SOUPS 2840 WITH SCORE 2862.056
AT ITER 1850 NEW BEST:: SOT 42380 SOS 22115 HAS SOPS 12635 HAS SOUS 5097 HAS SOUPS 2837 WITH SCORE 2859.115
AT ITER 1871 NEW BEST:: SOT 42368 SOS 22091 HAS SOPS 12629 HAS SOUS 5088 HAS SOUPS 2831 WITH SCORE 2853.091
AT ITER 1888 NEW BEST:: SOT 42376 SOS 22114 HAS SOPS 12621 HAS SOUS 5084 HAS SOUPS 2821 WITH SCORE 2843.114
AT ITER 1952 NEW BEST:: SOT 42372 SOS 22110 HAS SOPS 12621 HAS SOUS 5040 HAS SOUPS 2793 WITH SCORE 2815.11
AT ITER 1984 NEW BEST:: SOT 42090 SOS 22008 HAS SOPS 12485 HAS SOUS 5057 HAS SOUPS 2781 WITH SCORE 2803.008
AT ITER 1985 NEW BEST:: SOT 41818 SOS 21520 HAS SOPS 12321 HAS SOUS 5030 HAS SOUPS 2781 WITH SCORE 2802.52
AT ITER 2006 NEW BEST:: SOT 41819 SOS 21523 HAS SOPS 12328 HAS SOUS 5027 HAS SOUPS 2779 WITH SCORE 2800.523
AT ITER 2016 NEW BEST:: SOT 41811 SOS 21531 HAS SOPS 12301 HAS SOUS 5026 HAS SOUPS 2773 WITH SCORE 2794.531
AT ITER 2040 NEW BEST:: SOT 41807 SOS 21540 HAS SOPS 12298 HAS SOUS 5025 HAS SOUPS 2770 WITH SCORE 2791.54
AT ITER 2053 NEW BEST:: SOT 41815 SOS 21128 HAS SOPS 11884 HAS SOUS 5067 HAS SOUPS 2769 WITH SCORE 2790.128
AT ITER 2096 NEW BEST:: SOT 41910 SOS 19923 HAS SOPS 10334 HAS SOUS 5020 HAS SOUPS 2698 WITH SCORE 2717.923
AT ITER 2127 NEW BEST:: SOT 41520 SOS 19556 HAS SOPS 10135 HAS SOUS 4966 HAS SOUPS 2682 WITH SCORE 2701.556
AT ITER 2140 NEW BEST:: SOT 41310 SOS 19256 HAS SOPS 9985 HAS SOUS 4921 HAS SOUPS 2652 WITH SCORE 2671.256
AT ITER 2153 NEW BEST:: SOT 41156 SOS 19050 HAS SOPS 9896 HAS SOUS 4891 HAS SOUPS 2649 WITH SCORE 2668.05
AT ITER 2172 NEW BEST:: SOT 41197 SOS 18999 HAS SOPS 9942 HAS SOUS 4887 HAS SOUPS 2645 WITH SCORE 2663.999
AT ITER 2178 NEW BEST:: SOT 41166 SOS 18976 HAS SOPS 9936 HAS SOUS 4860 HAS SOUPS 2628 WITH SCORE 2646.976
AT ITER 2180 NEW BEST:: SOT 41182 SOS 18905 HAS SOPS 9885 HAS SOUS 4854 HAS SOUPS 2626 WITH SCORE 2644.905
AT ITER 2193 NEW BEST:: SOT 41030 SOS 18544 HAS SOPS 9657 HAS SOUS 4835 HAS SOUPS 2607 WITH SCORE 2625.544
AT ITER 2229 NEW BEST:: SOT 40744 SOS 18149 HAS SOPS 9262 HAS SOUS 4866 HAS SOUPS 2601 WITH SCORE 2619.149
AT ITER 2233 NEW BEST:: SOT 40734 SOS 18137 HAS SOPS 9254 HAS SOUS 4864 HAS SOUPS 2599 WITH SCORE 2617.137
AT ITER 2240 NEW BEST:: SOT 40728 SOS 18123 HAS SOPS 9250 HAS SOUS 4862 HAS SOUPS 2599 WITH SCORE 2617.123
AT ITER 2255 NEW BEST:: SOT 40618 SOS 17991 HAS SOPS 9162 HAS SOUS 4840 HAS SOUPS 2577 WITH SCORE 2594.991
AT ITER 2256 NEW BEST:: SOT 40631 SOS 17993 HAS SOPS 9162 HAS SOUS 4834 HAS SOUPS 2571 WITH SCORE 2588.993
AT ITER 2268 NEW BEST:: SOT 40634 SOS 18011 HAS SOPS 9128 HAS SOUS 4835 HAS SOUPS 2568 WITH SCORE 2586.011
AT ITER 2283 NEW BEST:: SOT 40637 SOS 18021 HAS SOPS 9118 HAS SOUS 4838 HAS SOUPS 2567 WITH SCORE 2585.021
AT ITER 2319 NEW BEST:: SOT 40615 SOS 17983 HAS SOPS 9104 HAS SOUS 4834 HAS SOUPS 2565 WITH SCORE 2582.983
AT ITER 2322 NEW BEST:: SOT 40615 SOS 17983 HAS SOPS 9104 HAS SOUS 4816 HAS SOUPS 2555 WITH SCORE 2572.983
AT ITER 2355 NEW BEST:: SOT 40615 SOS 17995 HAS SOPS 9074 HAS SOUS 4813 HAS SOUPS 2549 WITH SCORE 2566.995
AT ITER 2372 NEW BEST:: SOT 40415 SOS 17495 HAS SOPS 8594 HAS SOUS 4793 HAS SOUPS 2509 WITH SCORE 2526.495
AT ITER 2374 NEW BEST:: SOT 40436 SOS 17546 HAS SOPS 8601 HAS SOUS 4786 HAS SOUPS 2500 WITH SCORE 2517.546
AT ITER 2389 NEW BEST:: SOT 40416 SOS 17428 HAS SOPS 8477 HAS SOUS 4767 HAS SOUPS 2481 WITH SCORE 2498.428
AT ITER 2395 NEW BEST:: SOT 40440 SOS 17498 HAS SOPS 8489 HAS SOUS 4760 HAS SOUPS 2464 WITH SCORE 2481.498
AT ITER 2432 NEW BEST:: SOT 40442 SOS 17499 HAS SOPS 8490 HAS SOUS 4759 HAS SOUPS 2463 WITH SCORE 2480.499
AT ITER 2471 NEW BEST:: SOT 40447 SOS 17510 HAS SOPS 8492 HAS SOUS 4758 HAS SOUPS 2462 WITH SCORE 2479.51
AT ITER 2482 NEW BEST:: SOT 40399 SOS 17414 HAS SOPS 8462 HAS SOUS 4698 HAS SOUPS 2432 WITH SCORE 2449.414
AT ITER 2526 NEW BEST:: SOT 40362 SOS 17361 HAS SOPS 8436 HAS SOUS 4692 HAS SOUPS 2429 WITH SCORE 2446.361
AT ITER 2537 NEW BEST:: SOT 40322 SOS 17269 HAS SOPS 8399 HAS SOUS 4644 HAS SOUPS 2417 WITH SCORE 2434.269
AT ITER 2565 NEW BEST:: SOT 40322 SOS 17269 HAS SOPS 8391 HAS SOUS 4647 HAS SOUPS 2416 WITH SCORE 2433.269
AT ITER 2570 NEW BEST:: SOT 40214 SOS 17110 HAS SOPS 8319 HAS SOUS 4647 HAS SOUPS 2416 WITH SCORE 2433.11
AT ITER 2603 NEW BEST:: SOT 40170 SOS 17070 HAS SOPS 8279 HAS SOUS 4651 HAS SOUPS 2414 WITH SCORE 2431.07
AT ITER 2677 NEW BEST:: SOT 40166 SOS 17062 HAS SOPS 8273 HAS SOUS 4651 HAS SOUPS 2414 WITH SCORE 2431.062
AT ITER 2692 NEW BEST:: SOT 40169 SOS 17066 HAS SOPS 8273 HAS SOUS 4644 HAS SOUPS 2410 WITH SCORE 2427.066
AT ITER 2733 NEW BEST:: SOT 40170 SOS 17068 HAS SOPS 8285 HAS SOUS 4640 HAS SOUPS 2408 WITH SCORE 2425.068
AT ITER 2745 NEW BEST:: SOT 40118 SOS 16902 HAS SOPS 8283 HAS SOUS 4631 HAS SOUPS 2406 WITH SCORE 2422.902
AT ITER 2746 NEW BEST:: SOT 40105 SOS 16908 HAS SOPS 8243 HAS SOUS 4636 HAS SOUPS 2404 WITH SCORE 2420.908
AT ITER 2759 NEW BEST:: SOT 40123 SOS 17024 HAS SOPS 8447 HAS SOUS 4620 HAS SOUPS 2403 WITH SCORE 2420.024
AT ITER 2784 NEW BEST:: SOT 40113 SOS 17042 HAS SOPS 8453 HAS SOUS 4620 HAS SOUPS 2401 WITH SCORE 2418.042
AT ITER 2839 NEW BEST:: SOT 40053 SOS 16903 HAS SOPS 8413 HAS SOUS 4608 HAS SOUPS 2401 WITH SCORE 2417.903
AT ITER 2988 NEW BEST:: SOT 40385 SOS 17522 HAS SOPS 8591 HAS SOUS 4622 HAS SOUPS 2389 WITH SCORE 2406.522
AT ITER 2995 NEW BEST:: SOT 40378 SOS 17531 HAS SOPS 8575 HAS SOUS 4614 HAS SOUPS 2365 WITH SCORE 2382.531
AT ITER 3014 NEW BEST:: SOT 40389 SOS 17090 HAS SOPS 8689 HAS SOUS 4571 HAS SOUPS 2351 WITH SCORE 2368.09
AT ITER 3061 NEW BEST:: SOT 40377 SOS 17073 HAS SOPS 8679 HAS SOUS 4568 HAS SOUPS 2349 WITH SCORE 2366.073
AT ITER 3102 NEW BEST:: SOT 40349 SOS 17045 HAS SOPS 8655 HAS SOUS 4568 HAS SOUPS 2349 WITH SCORE 2366.045
AT ITER 3116 NEW BEST:: SOT 40348 SOS 17043 HAS SOPS 8646 HAS SOUS 4569 HAS SOUPS 2349 WITH SCORE 2366.043
AT ITER 3151 NEW BEST:: SOT 40360 SOS 17064 HAS SOPS 8646 HAS SOUS 4569 HAS SOUPS 2347 WITH SCORE 2364.064
AT ITER 3227 NEW BEST:: SOT 40324 SOS 17010 HAS SOPS 8622 HAS SOUS 4516 HAS SOUPS 2318 WITH SCORE 2335.01
AT ITER 3237 NEW BEST:: SOT 40321 SOS 16952 HAS SOPS 8592 HAS SOUS 4501 HAS SOUPS 2307 WITH SCORE 2323.952
AT ITER 3241 NEW BEST:: SOT 40295 SOS 16902 HAS SOPS 8564 HAS SOUS 4495 HAS SOUPS 2307 WITH SCORE 2323.902
AT ITER 3256 NEW BEST:: SOT 40293 SOS 16898 HAS SOPS 8564 HAS SOUS 4494 HAS SOUPS 2307 WITH SCORE 2323.898
AT ITER 3302 NEW BEST:: SOT 40289 SOS 16895 HAS SOPS 8560 HAS SOUS 4491 HAS SOUPS 2305 WITH SCORE 2321.895
AT ITER 3325 NEW BEST:: SOT 40289 SOS 16894 HAS SOPS 8552 HAS SOUS 4492 HAS SOUPS 2305 WITH SCORE 2321.894
AT ITER 3349 NEW BEST:: SOT 40306 SOS 16942 HAS SOPS 8544 HAS SOUS 4476 HAS SOUPS 2292 WITH SCORE 2308.942
AT ITER 3353 NEW BEST:: SOT 40446 SOS 16938 HAS SOPS 8376 HAS SOUS 4516 HAS SOUPS 2276 WITH SCORE 2292.938
AT ITER 3375 NEW BEST:: SOT 40449 SOS 16903 HAS SOPS 8346 HAS SOUS 4516 HAS SOUPS 2276 WITH SCORE 2292.903
AT ITER 3416 NEW BEST:: SOT 40476 SOS 16929 HAS SOPS 8225 HAS SOUS 4527 HAS SOUPS 2271 WITH SCORE 2287.929
AT ITER 3417 NEW BEST:: SOT 40460 SOS 16910 HAS SOPS 8207 HAS SOUS 4526 HAS SOUPS 2268 WITH SCORE 2284.91
AT ITER 3439 NEW BEST:: SOT 40420 SOS 16845 HAS SOPS 8182 HAS SOUS 4526 HAS SOUPS 2268 WITH SCORE 2284.845
AT ITER 3447 NEW BEST:: SOT 40443 SOS 16929 HAS SOPS 8229 HAS SOUS 4525 HAS SOUPS 2267 WITH SCORE 2283.929
AT ITER 3467 NEW BEST:: SOT 40316 SOS 16704 HAS SOPS 8129 HAS SOUS 4476 HAS SOUPS 2221 WITH SCORE 2237.704
AT ITER 3487 NEW BEST:: SOT 40316 SOS 16683 HAS SOPS 8129 HAS SOUS 4476 HAS SOUPS 2221 WITH SCORE 2237.683
AT ITER 3546 NEW BEST:: SOT 40280 SOS 16611 HAS SOPS 8111 HAS SOUS 4467 HAS SOUPS 2221 WITH SCORE 2237.611
AT ITER 3553 NEW BEST:: SOT 40278 SOS 16609 HAS SOPS 8101 HAS SOUS 4466 HAS SOUPS 2219 WITH SCORE 2235.609
AT ITER 3574 NEW BEST:: SOT 40285 SOS 16616 HAS SOPS 8103 HAS SOUS 4465 HAS SOUPS 2218 WITH SCORE 2234.616
AT ITER 3602 NEW BEST:: SOT 40277 SOS 16619 HAS SOPS 8092 HAS SOUS 4462 HAS SOUPS 2213 WITH SCORE 2229.619
AT ITER 3642 NEW BEST:: SOT 40205 SOS 16547 HAS SOPS 8020 HAS SOUS 4453 HAS SOUPS 2208 WITH SCORE 2224.547
AT ITER 3696 NEW BEST:: SOT 40210 SOS 16552 HAS SOPS 8032 HAS SOUS 4451 HAS SOUPS 2206 WITH SCORE 2222.552
AT ITER 3731 NEW BEST:: SOT 40176 SOS 16484 HAS SOPS 8032 HAS SOUS 4436 HAS SOUPS 2206 WITH SCORE 2222.484
AT ITER 3766 NEW BEST:: SOT 40160 SOS 16307 HAS SOPS 7991 HAS SOUS 4413 HAS SOUPS 2196 WITH SCORE 2212.307
AT ITER 3768 NEW BEST:: SOT 40040 SOS 16024 HAS SOPS 7652 HAS SOUS 4431 HAS SOUPS 2194 WITH SCORE 2210.024
AT ITER 3788 NEW BEST:: SOT 40039 SOS 16017 HAS SOPS 7646 HAS SOUS 4417 HAS SOUPS 2194 WITH SCORE 2210.017
AT ITER 3820 NEW BEST:: SOT 40021 SOS 15941 HAS SOPS 7598 HAS SOUS 4395 HAS SOUPS 2178 WITH SCORE 2193.941
AT ITER 3833 NEW BEST:: SOT 40029 SOS 15940 HAS SOPS 7593 HAS SOUS 4392 HAS SOUPS 2175 WITH SCORE 2190.94
AT ITER 3862 NEW BEST:: SOT 40013 SOS 15924 HAS SOPS 7593 HAS SOUS 4392 HAS SOUPS 2175 WITH SCORE 2190.924
AT ITER 3864 NEW BEST:: SOT 39985 SOS 15859 HAS SOPS 7525 HAS SOUS 4388 HAS SOUPS 2168 WITH SCORE 2183.859
AT ITER 3875 NEW BEST:: SOT 39978 SOS 15845 HAS SOPS 7533 HAS SOUS 4374 HAS SOUPS 2165 WITH SCORE 2180.845
AT ITER 3878 NEW BEST:: SOT 39980 SOS 15823 HAS SOPS 7525 HAS SOUS 4368 HAS SOUPS 2162 WITH SCORE 2177.823
AT ITER 3890 NEW BEST:: SOT 39949 SOS 15764 HAS SOPS 7496 HAS SOUS 4376 HAS SOUPS 2162 WITH SCORE 2177.764
AT ITER 3993 NEW BEST:: SOT 39891 SOS 15704 HAS SOPS 7464 HAS SOUS 4316 HAS SOUPS 2130 WITH SCORE 2145.704
AT ITER 4020 NEW BEST:: SOT 39963 SOS 15848 HAS SOPS 7464 HAS SOUS 4333 HAS SOUPS 2128 WITH SCORE 2143.848
AT ITER 4025 NEW BEST:: SOT 39974 SOS 15877 HAS SOPS 7472 HAS SOUS 4316 HAS SOUPS 2116 WITH SCORE 2131.877
AT ITER 4058 NEW BEST:: SOT 39966 SOS 15882 HAS SOPS 7473 HAS SOUS 4314 HAS SOUPS 2113 WITH SCORE 2128.882
AT ITER 4062 NEW BEST:: SOT 39964 SOS 15874 HAS SOPS 7473 HAS SOUS 4312 HAS SOUPS 2113 WITH SCORE 2128.874
AT ITER 4121 NEW BEST:: SOT 40155 SOS 16260 HAS SOPS 7495 HAS SOUS 4346 HAS SOUPS 2109 WITH SCORE 2125.26
AT ITER 4151 NEW BEST:: SOT 40133 SOS 16237 HAS SOPS 7495 HAS SOUS 4337 HAS SOUPS 2092 WITH SCORE 2108.237
AT ITER 4166 NEW BEST:: SOT 40130 SOS 16230 HAS SOPS 7493 HAS SOUS 4336 HAS SOUPS 2092 WITH SCORE 2108.23
AT ITER 4182 NEW BEST:: SOT 40129 SOS 16222 HAS SOPS 7490 HAS SOUS 4335 HAS SOUPS 2092 WITH SCORE 2108.222
AT ITER 4219 NEW BEST:: SOT 40107 SOS 16186 HAS SOPS 7446 HAS SOUS 4329 HAS SOUPS 2086 WITH SCORE 2102.186
AT ITER 4230 NEW BEST:: SOT 40109 SOS 16202 HAS SOPS 7460 HAS SOUS 4326 HAS SOUPS 2083 WITH SCORE 2099.202
AT ITER 4243 NEW BEST:: SOT 40107 SOS 16200 HAS SOPS 7460 HAS SOUS 4326 HAS SOUPS 2083 WITH SCORE 2099.2
AT ITER 4260 NEW BEST:: SOT 40097 SOS 16176 HAS SOPS 7445 HAS SOUS 4323 HAS SOUPS 2081 WITH SCORE 2097.176
AT ITER 4263 NEW BEST:: SOT 40096 SOS 16139 HAS SOPS 7393 HAS SOUS 4312 HAS SOUPS 2070 WITH SCORE 2086.139
AT ITER 4297 NEW BEST:: SOT 40138 SOS 16213 HAS SOPS 7419 HAS SOUS 4314 HAS SOUPS 2068 WITH SCORE 2084.213
AT ITER 4301 NEW BEST:: SOT 40060 SOS 16090 HAS SOPS 7366 HAS SOUS 4298 HAS SOUPS 2056 WITH SCORE 2072.09
AT ITER 4344 NEW BEST:: SOT 40024 SOS 16054 HAS SOPS 7330 HAS SOUS 4280 HAS SOUPS 2046 WITH SCORE 2062.054
AT ITER 4358 NEW BEST:: SOT 39978 SOS 15985 HAS SOPS 7301 HAS SOUS 4263 HAS SOUPS 2037 WITH SCORE 2052.985
AT ITER 4404 NEW BEST:: SOT 39974 SOS 15989 HAS SOPS 7309 HAS SOUS 4261 HAS SOUPS 2035 WITH SCORE 2050.989
AT ITER 4405 NEW BEST:: SOT 39953 SOS 15968 HAS SOPS 7291 HAS SOUS 4255 HAS SOUPS 2029 WITH SCORE 2044.968
AT ITER 4436 NEW BEST:: SOT 39943 SOS 15960 HAS SOPS 7284 HAS SOUS 4255 HAS SOUPS 2028 WITH SCORE 2043.96
AT ITER 4441 NEW BEST:: SOT 39943 SOS 15970 HAS SOPS 7284 HAS SOUS 4237 HAS SOUPS 2018 WITH SCORE 2033.97
AT ITER 4495 NEW BEST:: SOT 39939 SOS 15962 HAS SOPS 7284 HAS SOUS 4233 HAS SOUPS 2018 WITH SCORE 2033.962
AT ITER 4550 NEW BEST:: SOT 39934 SOS 15945 HAS SOPS 7275 HAS SOUS 4224 HAS SOUPS 2011 WITH SCORE 2026.945
AT ITER 4565 NEW BEST:: SOT 39904 SOS 15903 HAS SOPS 7257 HAS SOUS 4221 HAS SOUPS 2011 WITH SCORE 2026.903
AT ITER 4682 NEW BEST:: SOT 39896 SOS 16009 HAS SOPS 7352 HAS SOUS 4223 HAS SOUPS 2010 WITH SCORE 2026.009
AT ITER 4695 NEW BEST:: SOT 39876 SOS 15969 HAS SOPS 7340 HAS SOUS 4221 HAS SOUPS 2010 WITH SCORE 2025.969
AT ITER 4761 NEW BEST:: SOT 39871 SOS 15972 HAS SOPS 7332 HAS SOUS 4222 HAS SOUPS 2009 WITH SCORE 2024.972
AT ITER 4802 NEW BEST:: SOT 39837 SOS 16013 HAS SOPS 7293 HAS SOUS 4229 HAS SOUPS 2006 WITH SCORE 2022.013
AT ITER 4805 NEW BEST:: SOT 39785 SOS 15925 HAS SOPS 7229 HAS SOUS 4221 HAS SOUPS 1998 WITH SCORE 2013.925
AT ITER 4817 NEW BEST:: SOT 39797 SOS 15853 HAS SOPS 7144 HAS SOUS 4217 HAS SOUPS 1991 WITH SCORE 2006.853
AT ITER 4861 NEW BEST:: SOT 39795 SOS 15849 HAS SOPS 7144 HAS SOUS 4216 HAS SOUPS 1991 WITH SCORE 2006.849
AT ITER 4869 NEW BEST:: SOT 39788 SOS 15822 HAS SOPS 7124 HAS SOUS 4211 HAS SOUPS 1986 WITH SCORE 2001.822
AT ITER 4905 NEW BEST:: SOT 39784 SOS 15818 HAS SOPS 7120 HAS SOUS 4206 HAS SOUPS 1981 WITH SCORE 1996.818
AT ITER 4907 NEW BEST:: SOT 39778 SOS 15788 HAS SOPS 7082 HAS SOUS 4194 HAS SOUPS 1969 WITH SCORE 1984.788
AT ITER 4917 NEW BEST:: SOT 39772 SOS 15778 HAS SOPS 7082 HAS SOUS 4192 HAS SOUPS 1969 WITH SCORE 1984.778
AT ITER 4935 NEW BEST:: SOT 39763 SOS 15760 HAS SOPS 7084 HAS SOUS 4187 HAS SOUPS 1969 WITH SCORE 1984.76
AT ITER 4959 NEW BEST:: SOT 39748 SOS 15735 HAS SOPS 7084 HAS SOUS 4172 HAS SOUPS 1964 WITH SCORE 1979.735
AT ITER 4967 NEW BEST:: SOT 39720 SOS 15691 HAS SOPS 7076 HAS SOUS 4168 HAS SOUPS 1960 WITH SCORE 1975.691
AT ITER 4971 NEW BEST:: SOT 39698 SOS 15734 HAS SOPS 7055 HAS SOUS 4179 HAS SOUPS 1959 WITH SCORE 1974.734
AT ITER 4993 NEW BEST:: SOT 39658 SOS 15664 HAS SOPS 7035 HAS SOUS 4169 HAS SOUPS 1959 WITH SCORE 1974.664
AT ITER 4994 NEW BEST:: SOT 39653 SOS 15694 HAS SOPS 7049 HAS SOUS 4166 HAS SOUPS 1956 WITH SCORE 1971.694
AT ITER 5141 NEW BEST:: SOT 39664 SOS 15656 HAS SOPS 7010 HAS SOUS 4158 HAS SOUPS 1948 WITH SCORE 1963.656
AT ITER 5150 NEW BEST:: SOT 39620 SOS 15548 HAS SOPS 6902 HAS SOUS 4156 HAS SOUPS 1936 WITH SCORE 1951.548
AT ITER 5212 NEW BEST:: SOT 39578 SOS 15506 HAS SOPS 6860 HAS SOUS 4156 HAS SOUPS 1936 WITH SCORE 1951.506
AT ITER 5219 NEW BEST:: SOT 39576 SOS 15558 HAS SOPS 6856 HAS SOUS 4160 HAS SOUPS 1933 WITH SCORE 1948.558
AT ITER 5232 NEW BEST:: SOT 39580 SOS 15483 HAS SOPS 6774 HAS SOUS 4160 HAS SOUPS 1933 WITH SCORE 1948.483
AT ITER 5246 NEW BEST:: SOT 39591 SOS 15460 HAS SOPS 6720 HAS SOUS 4149 HAS SOUPS 1913 WITH SCORE 1928.46
AT ITER 5345 NEW BEST:: SOT 39589 SOS 15502 HAS SOPS 6758 HAS SOUS 4149 HAS SOUPS 1912 WITH SCORE 1927.502
AT ITER 5393 NEW BEST:: SOT 39595 SOS 15513 HAS SOPS 6762 HAS SOUS 4148 HAS SOUPS 1911 WITH SCORE 1926.513
AT ITER 5459 NEW BEST:: SOT 39615 SOS 15504 HAS SOPS 6724 HAS SOUS 4149 HAS SOUPS 1903 WITH SCORE 1918.504
AT ITER 5463 NEW BEST:: SOT 39616 SOS 15508 HAS SOPS 6742 HAS SOUS 4146 HAS SOUPS 1902 WITH SCORE 1917.508
AT ITER 5482 NEW BEST:: SOT 39615 SOS 15499 HAS SOPS 6740 HAS SOUS 4144 HAS SOUPS 1901 WITH SCORE 1916.499
AT ITER 5512 NEW BEST:: SOT 39619 SOS 15511 HAS SOPS 6740 HAS SOUS 4144 HAS SOUPS 1899 WITH SCORE 1914.511
AT ITER 5545 NEW BEST:: SOT 39620 SOS 15315 HAS SOPS 6548 HAS SOUS 4146 HAS SOUPS 1892 WITH SCORE 1907.315
AT ITER 5610 NEW BEST:: SOT 39617 SOS 15304 HAS SOPS 6544 HAS SOUS 4143 HAS SOUPS 1890 WITH SCORE 1905.304
AT ITER 5619 NEW BEST:: SOT 39613 SOS 15295 HAS SOPS 6542 HAS SOUS 4137 HAS SOUPS 1884 WITH SCORE 1899.295
AT ITER 5642 NEW BEST:: SOT 39585 SOS 15388 HAS SOPS 6627 HAS SOUS 4134 HAS SOUPS 1883 WITH SCORE 1898.388
AT ITER 5696 NEW BEST:: SOT 39585 SOS 15387 HAS SOPS 6619 HAS SOUS 4135 HAS SOUPS 1883 WITH SCORE 1898.387
AT ITER 5717 NEW BEST:: SOT 39559 SOS 15357 HAS SOPS 6607 HAS SOUS 4121 HAS SOUPS 1877 WITH SCORE 1892.357
AT ITER 5738 NEW BEST:: SOT 39562 SOS 15356 HAS SOPS 6603 HAS SOUS 4119 HAS SOUPS 1875 WITH SCORE 1890.356
AT ITER 5785 NEW BEST:: SOT 39562 SOS 15360 HAS SOPS 6599 HAS SOUS 4120 HAS SOUPS 1874 WITH SCORE 1889.36
AT ITER 5825 NEW BEST:: SOT 39541 SOS 15339 HAS SOPS 6587 HAS SOUS 4120 HAS SOUPS 1874 WITH SCORE 1889.339
AT ITER 6112 NEW BEST:: SOT 39535 SOS 15329 HAS SOPS 6587 HAS SOUS 4118 HAS SOUPS 1874 WITH SCORE 1889.329
AT ITER 6137 NEW BEST:: SOT 39540 SOS 15317 HAS SOPS 6577 HAS SOUS 4119 HAS SOUPS 1874 WITH SCORE 1889.317
AT ITER 6170 NEW BEST:: SOT 39530 SOS 15297 HAS SOPS 6571 HAS SOUS 4118 HAS SOUPS 1874 WITH SCORE 1889.297
AT ITER 6281 NEW BEST:: SOT 39504 SOS 15250 HAS SOPS 6553 HAS SOUS 4084 HAS SOUPS 1859 WITH SCORE 1874.25
AT ITER 6314 NEW BEST:: SOT 39504 SOS 15250 HAS SOPS 6552 HAS SOUS 4083 HAS SOUPS 1858 WITH SCORE 1873.25
AT ITER 6385 NEW BEST:: SOT 39541 SOS 15304 HAS SOPS 6569 HAS SOUS 4089 HAS SOUPS 1854 WITH SCORE 1869.304
AT ITER 6444 NEW BEST:: SOT 39523 SOS 15260 HAS SOPS 6541 HAS SOUS 4085 HAS SOUPS 1850 WITH SCORE 1865.26
AT ITER 6517 NEW BEST:: SOT 39530 SOS 15234 HAS SOPS 6521 HAS SOUS 4085 HAS SOUPS 1848 WITH SCORE 1863.234
AT ITER 6614 NEW BEST:: SOT 39532 SOS 15193 HAS SOPS 6481 HAS SOUS 4086 HAS SOUPS 1848 WITH SCORE 1863.193
AT ITER 6824 NEW BEST:: SOT 39534 SOS 15180 HAS SOPS 6463 HAS SOUS 4080 HAS SOUPS 1841 WITH SCORE 1856.18
AT ITER 6906 NEW BEST:: SOT 39569 SOS 15250 HAS SOPS 6461 HAS SOUS 4078 HAS SOUPS 1835 WITH SCORE 1850.25
AT ITER 6968 NEW BEST:: SOT 39568 SOS 15247 HAS SOPS 6451 HAS SOUS 4079 HAS SOUPS 1835 WITH SCORE 1850.247
AT ITER 7066 NEW BEST:: SOT 39553 SOS 15212 HAS SOPS 6441 HAS SOUS 4074 HAS SOUPS 1835 WITH SCORE 1850.212
AT ITER 7116 NEW BEST:: SOT 39549 SOS 15204 HAS SOPS 6441 HAS SOUS 4073 HAS SOUPS 1835 WITH SCORE 1850.204
AT ITER 7123 NEW BEST:: SOT 39461 SOS 15030 HAS SOPS 6510 HAS SOUS 4033 HAS SOUPS 1834 WITH SCORE 1849.03
AT ITER 7252 NEW BEST:: SOT 39461 SOS 15021 HAS SOPS 6510 HAS SOUS 4033 HAS SOUPS 1834 WITH SCORE 1849.021
AT ITER 7280 NEW BEST:: SOT 39454 SOS 14986 HAS SOPS 6531 HAS SOUS 4023 HAS SOUPS 1832 WITH SCORE 1846.986
AT ITER 7352 NEW BEST:: SOT 39451 SOS 14979 HAS SOPS 6529 HAS SOUS 4023 HAS SOUPS 1832 WITH SCORE 1846.979
AT ITER 7407 NEW BEST:: SOT 39446 SOS 14969 HAS SOPS 6521 HAS SOUS 4021 HAS SOUPS 1832 WITH SCORE 1846.969
AT ITER 7626 NEW BEST:: SOT 39437 SOS 14947 HAS SOPS 6507 HAS SOUS 4019 HAS SOUPS 1830 WITH SCORE 1844.947
AT ITER 7682 NEW BEST:: SOT 39437 SOS 14942 HAS SOPS 6516 HAS SOUS 4017 HAS SOUPS 1830 WITH SCORE 1844.942
AT ITER 7691 NEW BEST:: SOT 39429 SOS 14934 HAS SOPS 6512 HAS SOUS 4017 HAS SOUPS 1830 WITH SCORE 1844.934
AT ITER 7780 NEW BEST:: SOT 39439 SOS 14882 HAS SOPS 6450 HAS SOUS 4023 HAS SOUPS 1830 WITH SCORE 1844.882
AT ITER 7881 NEW BEST:: SOT 39442 SOS 14874 HAS SOPS 6451 HAS SOUS 4021 HAS SOUPS 1830 WITH SCORE 1844.874
AT ITER 7894 NEW BEST:: SOT 39450 SOS 14890 HAS SOPS 6451 HAS SOUS 4020 HAS SOUPS 1828 WITH SCORE 1842.89
AT ITER 7976 NEW BEST:: SOT 39453 SOS 14901 HAS SOPS 6427 HAS SOUS 4021 HAS SOUPS 1826 WITH SCORE 1840.901
AT ITER 8110 NEW BEST:: SOT 39423 SOS 14867 HAS SOPS 6411 HAS SOUS 3994 HAS SOUPS 1813 WITH SCORE 1827.867
AT ITER 8112 NEW BEST:: SOT 39425 SOS 14875 HAS SOPS 6404 HAS SOUS 3994 HAS SOUPS 1812 WITH SCORE 1826.875
AT ITER 8117 NEW BEST:: SOT 39417 SOS 14859 HAS SOPS 6404 HAS SOUS 3992 HAS SOUPS 1812 WITH SCORE 1826.859
AT ITER 8186 NEW BEST:: SOT 39384 SOS 14814 HAS SOPS 6389 HAS SOUS 3977 HAS SOUPS 1808 WITH SCORE 1822.814
AT ITER 8226 NEW BEST:: SOT 39377 SOS 14800 HAS SOPS 6389 HAS SOUS 3949 HAS SOUPS 1808 WITH SCORE 1822.8
AT ITER 8276 NEW BEST:: SOT 39379 SOS 14803 HAS SOPS 6363 HAS SOUS 3948 HAS SOUPS 1805 WITH SCORE 1819.803
AT ITER 8389 NEW BEST:: SOT 39372 SOS 14810 HAS SOPS 6364 HAS SOUS 3946 HAS SOUPS 1802 WITH SCORE 1816.81
AT ITER 8480 NEW BEST:: SOT 39372 SOS 14801 HAS SOPS 6369 HAS SOUS 3944 HAS SOUPS 1802 WITH SCORE 1816.801
AT ITER 8494 NEW BEST:: SOT 39373 SOS 14802 HAS SOPS 6365 HAS SOUS 3943 HAS SOUPS 1801 WITH SCORE 1815.802
AT ITER 8511 NEW BEST:: SOT 39325 SOS 14706 HAS SOPS 6333 HAS SOUS 3943 HAS SOUPS 1801 WITH SCORE 1815.706
AT ITER 8562 NEW BEST:: SOT 39319 SOS 14702 HAS SOPS 6329 HAS SOUS 3943 HAS SOUPS 1801 WITH SCORE 1815.702
AT ITER 8676 NEW BEST:: SOT 39293 SOS 14681 HAS SOPS 6308 HAS SOUS 3934 HAS SOUPS 1793 WITH SCORE 1807.681
AT ITER 8783 NEW BEST:: SOT 39281 SOS 14660 HAS SOPS 6302 HAS SOUS 3931 HAS SOUPS 1793 WITH SCORE 1807.66
AT ITER 8837 NEW BEST:: SOT 39280 SOS 14666 HAS SOPS 6303 HAS SOUS 3931 HAS SOUPS 1792 WITH SCORE 1806.666
AT ITER 8877 NEW BEST:: SOT 39277 SOS 14659 HAS SOPS 6301 HAS SOUS 3930 HAS SOUPS 1792 WITH SCORE 1806.659
AT ITER 8974 NEW BEST:: SOT 39271 SOS 14654 HAS SOPS 6288 HAS SOUS 3924 HAS SOUPS 1785 WITH SCORE 1799.654
AT ITER 9009 NEW BEST:: SOT 39273 SOS 14656 HAS SOPS 6289 HAS SOUS 3920 HAS SOUPS 1782 WITH SCORE 1796.656
AT ITER 9143 NEW BEST:: SOT 39185 SOS 14472 HAS SOPS 6249 HAS SOUS 3914 HAS SOUPS 1776 WITH SCORE 1790.472
AT ITER 9197 NEW BEST:: SOT 39203 SOS 14480 HAS SOPS 6264 HAS SOUS 3906 HAS SOUPS 1772 WITH SCORE 1786.48
AT ITER 9217 NEW BEST:: SOT 39206 SOS 14483 HAS SOPS 6252 HAS SOUS 3918 HAS SOUPS 1771 WITH SCORE 1785.483
AT ITER 9226 NEW BEST:: SOT 39213 SOS 14532 HAS SOPS 6259 HAS SOUS 3920 HAS SOUPS 1767 WITH SCORE 1781.532
AT ITER 9339 NEW BEST:: SOT 39211 SOS 14528 HAS SOPS 6255 HAS SOUS 3918 HAS SOUPS 1765 WITH SCORE 1779.528
AT ITER 9382 NEW BEST:: SOT 39209 SOS 14524 HAS SOPS 6255 HAS SOUS 3915 HAS SOUPS 1765 WITH SCORE 1779.524
AT ITER 9420 NEW BEST:: SOT 39207 SOS 14523 HAS SOPS 6255 HAS SOUS 3897 HAS SOUPS 1756 WITH SCORE 1770.523
AT ITER 9556 NEW BEST:: SOT 39201 SOS 14520 HAS SOPS 6255 HAS SOUS 3898 HAS SOUPS 1756 WITH SCORE 1770.52
AT ITER 9726 NEW BEST:: SOT 39205 SOS 14526 HAS SOPS 6257 HAS SOUS 3895 HAS SOUPS 1755 WITH SCORE 1769.526
AT ITER 9783 NEW BEST:: SOT 39190 SOS 14438 HAS SOPS 6308 HAS SOUS 3879 HAS SOUPS 1755 WITH SCORE 1769.438
STATE_SPACE STATES 24010001 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 52 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 1664236001 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678404243361

--------------------
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="DLCround-PT-03a"
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 DLCround-PT-03a, 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 r107-tall-167814484500624"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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