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.r139-smll-167819422900400.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 DiscoveryGPU-PT-13a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r139-smll-167819422900400
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 456K
-rw-r--r-- 1 mcc users 7.2K Feb 25 13:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Feb 25 13:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 25 13:42 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 25 13:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Feb 25 16:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 13:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 107K Feb 25 13:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 25 13:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 25 13:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:00 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:00 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 46K 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 1678394223335

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=DiscoveryGPU-PT-13a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 20:37:07] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 20:37:07] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 20:37:07] [INFO ] Load time of PNML (sax parser for PT used): 108 ms
[2023-03-09 20:37:07] [INFO ] Transformed 133 places.
[2023-03-09 20:37:07] [INFO ] Transformed 183 transitions.
[2023-03-09 20:37:07] [INFO ] Found NUPN structural information;
[2023-03-09 20:37:07] [INFO ] Parsed PT model containing 133 places and 183 transitions and 588 arcs in 265 ms.
[2023-03-09 20:37:07] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 133 places, 183 transitions and 588 arcs took 10 ms.
Total runtime 342 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 13a
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: 133 places, 183 transitions, 588 arcs.
AT ITER 0 NEW BEST:: SOT 17874 SOS 8917 HAS SOPS 8917 HAS SOUS 8844 HAS SOUPS 8844 WITH SCORE 8852.917
AT ITER 3 NEW BEST:: SOT 17020 SOS 8062 HAS SOPS 8062 HAS SOUS 7989 HAS SOUPS 7989 WITH SCORE 7997.062
AT ITER 6 NEW BEST:: SOT 17047 SOS 8022 HAS SOPS 8022 HAS SOUS 7949 HAS SOUPS 7949 WITH SCORE 7957.022
AT ITER 10 NEW BEST:: SOT 17094 SOS 8042 HAS SOPS 8034 HAS SOUS 7956 HAS SOUPS 7948 WITH SCORE 7956.042
AT ITER 18 NEW BEST:: SOT 17097 SOS 8062 HAS SOPS 8053 HAS SOUS 7889 HAS SOUPS 7880 WITH SCORE 7888.062
AT ITER 21 NEW BEST:: SOT 17104 SOS 8069 HAS SOPS 8060 HAS SOUS 7888 HAS SOUPS 7879 WITH SCORE 7887.069
AT ITER 22 NEW BEST:: SOT 17182 SOS 8133 HAS SOPS 8125 HAS SOUS 7883 HAS SOUPS 7875 WITH SCORE 7883.133
AT ITER 24 NEW BEST:: SOT 16319 SOS 7876 HAS SOPS 7247 HAS SOUS 7165 HAS SOUPS 7105 WITH SCORE 7112.876
AT ITER 28 NEW BEST:: SOT 16317 SOS 7873 HAS SOPS 7243 HAS SOUS 7161 HAS SOUPS 7101 WITH SCORE 7108.873
AT ITER 35 NEW BEST:: SOT 16357 SOS 7807 HAS SOPS 7210 HAS SOUS 7121 HAS SOUPS 7061 WITH SCORE 7068.807
AT ITER 41 NEW BEST:: SOT 16367 SOS 7800 HAS SOPS 7186 HAS SOUS 7107 HAS SOUPS 7037 WITH SCORE 7044.8
AT ITER 42 NEW BEST:: SOT 16404 SOS 7636 HAS SOPS 7020 HAS SOUS 7030 HAS SOUPS 6960 WITH SCORE 6967.636
AT ITER 44 NEW BEST:: SOT 16404 SOS 7636 HAS SOPS 6978 HAS SOUS 6995 HAS SOUPS 6918 WITH SCORE 6925.636
AT ITER 56 NEW BEST:: SOT 16403 SOS 7633 HAS SOPS 6975 HAS SOUS 6993 HAS SOUPS 6916 WITH SCORE 6923.633
AT ITER 59 NEW BEST:: SOT 16526 SOS 7653 HAS SOPS 6992 HAS SOUS 6991 HAS SOUPS 6914 WITH SCORE 6921.653
AT ITER 65 NEW BEST:: SOT 16553 SOS 7634 HAS SOPS 6973 HAS SOUS 6972 HAS SOUPS 6895 WITH SCORE 6902.634
AT ITER 68 NEW BEST:: SOT 16552 SOS 7631 HAS SOPS 6970 HAS SOUS 6969 HAS SOUPS 6892 WITH SCORE 6899.631
AT ITER 69 NEW BEST:: SOT 16535 SOS 7675 HAS SOPS 6962 HAS SOUS 6926 HAS SOUPS 6849 WITH SCORE 6856.675
AT ITER 75 NEW BEST:: SOT 16534 SOS 7653 HAS SOPS 6939 HAS SOUS 6903 HAS SOUPS 6826 WITH SCORE 6833.653
AT ITER 116 NEW BEST:: SOT 16534 SOS 7645 HAS SOPS 6931 HAS SOUS 6895 HAS SOUPS 6818 WITH SCORE 6825.645
AT ITER 128 NEW BEST:: SOT 16562 SOS 7666 HAS SOPS 6952 HAS SOUS 6894 HAS SOUPS 6817 WITH SCORE 6824.666
AT ITER 130 NEW BEST:: SOT 16519 SOS 7617 HAS SOPS 6903 HAS SOUS 6845 HAS SOUPS 6768 WITH SCORE 6775.617
AT ITER 132 NEW BEST:: SOT 16533 SOS 7603 HAS SOPS 6889 HAS SOUS 6831 HAS SOUPS 6754 WITH SCORE 6761.603
AT ITER 135 NEW BEST:: SOT 16609 SOS 7631 HAS SOPS 6884 HAS SOUS 6826 HAS SOUPS 6749 WITH SCORE 6756.631
AT ITER 137 NEW BEST:: SOT 16593 SOS 7662 HAS SOPS 6867 HAS SOUS 6818 HAS SOUPS 6739 WITH SCORE 6746.662
AT ITER 141 NEW BEST:: SOT 16618 SOS 7579 HAS SOPS 6809 HAS SOUS 6760 HAS SOUPS 6681 WITH SCORE 6688.579
AT ITER 161 NEW BEST:: SOT 16617 SOS 7576 HAS SOPS 6806 HAS SOUS 6758 HAS SOUPS 6679 WITH SCORE 6686.576
AT ITER 162 NEW BEST:: SOT 16617 SOS 7590 HAS SOPS 6805 HAS SOUS 6744 HAS SOUPS 6665 WITH SCORE 6672.59
AT ITER 163 NEW BEST:: SOT 16601 SOS 7566 HAS SOPS 6773 HAS SOUS 6712 HAS SOUPS 6633 WITH SCORE 6640.566
AT ITER 168 NEW BEST:: SOT 16514 SOS 7486 HAS SOPS 6634 HAS SOUS 6573 HAS SOUPS 6494 WITH SCORE 6501.486
AT ITER 170 NEW BEST:: SOT 16502 SOS 7463 HAS SOPS 6621 HAS SOUS 6560 HAS SOUPS 6481 WITH SCORE 6488.463
AT ITER 184 NEW BEST:: SOT 16495 SOS 7456 HAS SOPS 6607 HAS SOUS 6548 HAS SOUPS 6467 WITH SCORE 6474.456
AT ITER 193 NEW BEST:: SOT 16577 SOS 7402 HAS SOPS 6553 HAS SOUS 6496 HAS SOUPS 6415 WITH SCORE 6422.402
AT ITER 195 NEW BEST:: SOT 16577 SOS 7402 HAS SOPS 6539 HAS SOUS 6482 HAS SOUPS 6401 WITH SCORE 6408.402
AT ITER 199 NEW BEST:: SOT 16559 SOS 7375 HAS SOPS 6503 HAS SOUS 6446 HAS SOUPS 6365 WITH SCORE 6372.375
AT ITER 200 NEW BEST:: SOT 16577 SOS 7345 HAS SOPS 6488 HAS SOUS 6432 HAS SOUPS 6351 WITH SCORE 6358.345
AT ITER 207 NEW BEST:: SOT 16566 SOS 7334 HAS SOPS 6477 HAS SOUS 6421 HAS SOUPS 6340 WITH SCORE 6347.334
AT ITER 222 NEW BEST:: SOT 16574 SOS 7334 HAS SOPS 6469 HAS SOUS 6413 HAS SOUPS 6332 WITH SCORE 6339.334
AT ITER 224 NEW BEST:: SOT 16570 SOS 7285 HAS SOPS 6438 HAS SOUS 6390 HAS SOUPS 6309 WITH SCORE 6316.285
AT ITER 225 NEW BEST:: SOT 16636 SOS 7239 HAS SOPS 6380 HAS SOUS 6335 HAS SOUPS 6252 WITH SCORE 6259.239
AT ITER 231 NEW BEST:: SOT 16636 SOS 7233 HAS SOPS 6345 HAS SOUS 6317 HAS SOUPS 6217 WITH SCORE 6224.233
AT ITER 241 NEW BEST:: SOT 16648 SOS 7254 HAS SOPS 6366 HAS SOUS 6310 HAS SOUPS 6210 WITH SCORE 6217.254
AT ITER 250 NEW BEST:: SOT 16649 SOS 7253 HAS SOPS 6365 HAS SOUS 6309 HAS SOUPS 6209 WITH SCORE 6216.253
AT ITER 251 NEW BEST:: SOT 16648 SOS 7259 HAS SOPS 6371 HAS SOUS 6308 HAS SOUPS 6208 WITH SCORE 6215.259
AT ITER 277 NEW BEST:: SOT 16640 SOS 7249 HAS SOPS 6361 HAS SOUS 6299 HAS SOUPS 6199 WITH SCORE 6206.249
AT ITER 285 NEW BEST:: SOT 16652 SOS 7264 HAS SOPS 6376 HAS SOUS 6296 HAS SOUPS 6196 WITH SCORE 6203.264
AT ITER 305 NEW BEST:: SOT 15736 SOS 6428 HAS SOPS 5426 HAS SOUS 5363 HAS SOUPS 5246 WITH SCORE 5252.428
AT ITER 311 NEW BEST:: SOT 15736 SOS 6455 HAS SOPS 5425 HAS SOUS 5362 HAS SOUPS 5245 WITH SCORE 5251.455
AT ITER 316 NEW BEST:: SOT 15736 SOS 6407 HAS SOPS 5377 HAS SOUS 5314 HAS SOUPS 5197 WITH SCORE 5203.407
AT ITER 333 NEW BEST:: SOT 15735 SOS 6408 HAS SOPS 5378 HAS SOUS 5313 HAS SOUPS 5196 WITH SCORE 5202.408
AT ITER 355 NEW BEST:: SOT 15735 SOS 6407 HAS SOPS 5377 HAS SOUS 5313 HAS SOUPS 5196 WITH SCORE 5202.407
AT ITER 378 NEW BEST:: SOT 15767 SOS 6406 HAS SOPS 5376 HAS SOUS 5312 HAS SOUPS 5195 WITH SCORE 5201.406
AT ITER 402 NEW BEST:: SOT 15758 SOS 6357 HAS SOPS 5327 HAS SOUS 5289 HAS SOUPS 5172 WITH SCORE 5178.357
AT ITER 419 NEW BEST:: SOT 15760 SOS 6359 HAS SOPS 5311 HAS SOUS 5273 HAS SOUPS 5156 WITH SCORE 5162.359
AT ITER 429 NEW BEST:: SOT 14865 SOS 5795 HAS SOPS 4350 HAS SOUS 4351 HAS SOUPS 4212 WITH SCORE 4217.795
AT ITER 438 NEW BEST:: SOT 14865 SOS 5791 HAS SOPS 4346 HAS SOUS 4349 HAS SOUPS 4210 WITH SCORE 4215.791
AT ITER 441 NEW BEST:: SOT 14855 SOS 5775 HAS SOPS 4330 HAS SOUS 4333 HAS SOUPS 4194 WITH SCORE 4199.775
AT ITER 448 NEW BEST:: SOT 14851 SOS 5759 HAS SOPS 4314 HAS SOUS 4321 HAS SOUPS 4182 WITH SCORE 4187.759
AT ITER 460 NEW BEST:: SOT 14888 SOS 5720 HAS SOPS 4312 HAS SOUS 4319 HAS SOUPS 4180 WITH SCORE 4185.72
AT ITER 498 NEW BEST:: SOT 14896 SOS 5721 HAS SOPS 4307 HAS SOUS 4314 HAS SOUPS 4175 WITH SCORE 4180.721
AT ITER 517 NEW BEST:: SOT 14896 SOS 5708 HAS SOPS 4294 HAS SOUS 4301 HAS SOUPS 4162 WITH SCORE 4167.708
AT ITER 525 NEW BEST:: SOT 14897 SOS 5709 HAS SOPS 4266 HAS SOUS 4273 HAS SOUPS 4134 WITH SCORE 4139.709
AT ITER 528 NEW BEST:: SOT 14831 SOS 5677 HAS SOPS 4234 HAS SOUS 4241 HAS SOUPS 4102 WITH SCORE 4107.677
AT ITER 529 NEW BEST:: SOT 14823 SOS 5669 HAS SOPS 4234 HAS SOUS 4241 HAS SOUPS 4102 WITH SCORE 4107.669
AT ITER 530 NEW BEST:: SOT 14823 SOS 5661 HAS SOPS 4226 HAS SOUS 4237 HAS SOUPS 4098 WITH SCORE 4103.661
AT ITER 531 NEW BEST:: SOT 14823 SOS 5659 HAS SOPS 4224 HAS SOUS 4237 HAS SOUPS 4098 WITH SCORE 4103.659
AT ITER 536 NEW BEST:: SOT 14801 SOS 5648 HAS SOPS 4213 HAS SOUS 4226 HAS SOUPS 4087 WITH SCORE 4092.648
AT ITER 551 NEW BEST:: SOT 14796 SOS 5643 HAS SOPS 4206 HAS SOUS 4219 HAS SOUPS 4080 WITH SCORE 4085.643
AT ITER 554 NEW BEST:: SOT 14764 SOS 5610 HAS SOPS 4141 HAS SOUS 4154 HAS SOUPS 4015 WITH SCORE 4020.61
AT ITER 555 NEW BEST:: SOT 14280 SOS 5682 HAS SOPS 3655 HAS SOUS 3699 HAS SOUPS 3542 WITH SCORE 3547.682
AT ITER 566 NEW BEST:: SOT 13811 SOS 6552 HAS SOPS 3182 HAS SOUS 3278 HAS SOUPS 3092 WITH SCORE 3098.552
AT ITER 572 NEW BEST:: SOT 13757 SOS 6486 HAS SOPS 3095 HAS SOUS 3205 HAS SOUPS 3019 WITH SCORE 3025.486
AT ITER 579 NEW BEST:: SOT 13755 SOS 6506 HAS SOPS 3091 HAS SOUS 3203 HAS SOUPS 3017 WITH SCORE 3023.506
AT ITER 594 NEW BEST:: SOT 13731 SOS 6490 HAS SOPS 3067 HAS SOUS 3179 HAS SOUPS 2993 WITH SCORE 2999.49
AT ITER 611 NEW BEST:: SOT 13731 SOS 6486 HAS SOPS 3063 HAS SOUS 3175 HAS SOUPS 2989 WITH SCORE 2995.486
AT ITER 629 NEW BEST:: SOT 13579 SOS 6441 HAS SOPS 3015 HAS SOUS 3126 HAS SOUPS 2940 WITH SCORE 2946.441
AT ITER 633 NEW BEST:: SOT 13490 SOS 6413 HAS SOPS 3011 HAS SOUS 3122 HAS SOUPS 2936 WITH SCORE 2942.413
AT ITER 654 NEW BEST:: SOT 13481 SOS 6404 HAS SOPS 3002 HAS SOUS 3113 HAS SOUPS 2927 WITH SCORE 2933.404
AT ITER 655 NEW BEST:: SOT 13488 SOS 6389 HAS SOPS 2987 HAS SOUS 3112 HAS SOUPS 2926 WITH SCORE 2932.389
AT ITER 676 NEW BEST:: SOT 13400 SOS 6347 HAS SOPS 2945 HAS SOUS 3070 HAS SOUPS 2884 WITH SCORE 2890.347
AT ITER 677 NEW BEST:: SOT 13396 SOS 6338 HAS SOPS 2925 HAS SOUS 3050 HAS SOUPS 2864 WITH SCORE 2870.338
AT ITER 699 NEW BEST:: SOT 13400 SOS 6329 HAS SOPS 2873 HAS SOUS 2998 HAS SOUPS 2812 WITH SCORE 2818.329
AT ITER 704 NEW BEST:: SOT 13425 SOS 6337 HAS SOPS 2859 HAS SOUS 2984 HAS SOUPS 2798 WITH SCORE 2804.337
AT ITER 706 NEW BEST:: SOT 13428 SOS 6327 HAS SOPS 2845 HAS SOUS 2970 HAS SOUPS 2784 WITH SCORE 2790.327
AT ITER 709 NEW BEST:: SOT 13457 SOS 6332 HAS SOPS 2829 HAS SOUS 2954 HAS SOUPS 2768 WITH SCORE 2774.332
AT ITER 775 NEW BEST:: SOT 13461 SOS 6336 HAS SOPS 2816 HAS SOUS 2941 HAS SOUPS 2755 WITH SCORE 2761.336
AT ITER 781 NEW BEST:: SOT 13442 SOS 6317 HAS SOPS 2813 HAS SOUS 2938 HAS SOUPS 2752 WITH SCORE 2758.317
AT ITER 782 NEW BEST:: SOT 13441 SOS 6322 HAS SOPS 2818 HAS SOUS 2937 HAS SOUPS 2751 WITH SCORE 2757.322
AT ITER 804 NEW BEST:: SOT 13341 SOS 6315 HAS SOPS 2804 HAS SOUS 2923 HAS SOUPS 2737 WITH SCORE 2743.315
AT ITER 819 NEW BEST:: SOT 13332 SOS 6306 HAS SOPS 2786 HAS SOUS 2905 HAS SOUPS 2719 WITH SCORE 2725.306
AT ITER 821 NEW BEST:: SOT 13294 SOS 6248 HAS SOPS 2720 HAS SOUS 2859 HAS SOUPS 2673 WITH SCORE 2679.248
AT ITER 858 NEW BEST:: SOT 13296 SOS 6247 HAS SOPS 2719 HAS SOUS 2859 HAS SOUPS 2673 WITH SCORE 2679.247
AT ITER 862 NEW BEST:: SOT 13281 SOS 6246 HAS SOPS 2717 HAS SOUS 2857 HAS SOUPS 2671 WITH SCORE 2677.246
AT ITER 867 NEW BEST:: SOT 13280 SOS 6244 HAS SOPS 2714 HAS SOUS 2854 HAS SOUPS 2668 WITH SCORE 2674.244
AT ITER 868 NEW BEST:: SOT 13232 SOS 6392 HAS SOPS 2659 HAS SOUS 2806 HAS SOUPS 2613 WITH SCORE 2619.392
AT ITER 872 NEW BEST:: SOT 13227 SOS 6376 HAS SOPS 2643 HAS SOUS 2800 HAS SOUPS 2607 WITH SCORE 2613.376
AT ITER 878 NEW BEST:: SOT 13231 SOS 6375 HAS SOPS 2637 HAS SOUS 2796 HAS SOUPS 2601 WITH SCORE 2607.375
AT ITER 887 NEW BEST:: SOT 13222 SOS 6354 HAS SOPS 2604 HAS SOUS 2763 HAS SOUPS 2568 WITH SCORE 2574.354
AT ITER 920 NEW BEST:: SOT 13094 SOS 7374 HAS SOPS 2475 HAS SOUS 2656 HAS SOUPS 2442 WITH SCORE 2449.374
AT ITER 945 NEW BEST:: SOT 13098 SOS 7396 HAS SOPS 2483 HAS SOUS 2648 HAS SOUPS 2434 WITH SCORE 2441.396
AT ITER 975 NEW BEST:: SOT 13097 SOS 7395 HAS SOPS 2481 HAS SOUS 2646 HAS SOUPS 2432 WITH SCORE 2439.395
AT ITER 977 NEW BEST:: SOT 13090 SOS 7394 HAS SOPS 2483 HAS SOUS 2645 HAS SOUPS 2431 WITH SCORE 2438.394
AT ITER 992 NEW BEST:: SOT 13088 SOS 7392 HAS SOPS 2479 HAS SOUS 2641 HAS SOUPS 2427 WITH SCORE 2434.392
AT ITER 998 NEW BEST:: SOT 13059 SOS 7372 HAS SOPS 2445 HAS SOUS 2607 HAS SOUPS 2393 WITH SCORE 2400.372
AT ITER 1001 NEW BEST:: SOT 13057 SOS 7370 HAS SOPS 2443 HAS SOUS 2605 HAS SOUPS 2391 WITH SCORE 2398.37
AT ITER 1007 NEW BEST:: SOT 13057 SOS 7369 HAS SOPS 2441 HAS SOUS 2603 HAS SOUPS 2389 WITH SCORE 2396.369
AT ITER 1014 NEW BEST:: SOT 13103 SOS 7363 HAS SOPS 2429 HAS SOUS 2591 HAS SOUPS 2377 WITH SCORE 2384.363
AT ITER 1026 NEW BEST:: SOT 13093 SOS 7353 HAS SOPS 2428 HAS SOUS 2590 HAS SOUPS 2376 WITH SCORE 2383.353
AT ITER 1061 NEW BEST:: SOT 13093 SOS 7352 HAS SOPS 2427 HAS SOUS 2589 HAS SOUPS 2375 WITH SCORE 2382.352
AT ITER 1074 NEW BEST:: SOT 13083 SOS 7336 HAS SOPS 2407 HAS SOUS 2569 HAS SOUPS 2355 WITH SCORE 2362.336
AT ITER 1075 NEW BEST:: SOT 13084 SOS 7331 HAS SOPS 2399 HAS SOUS 2547 HAS SOUPS 2333 WITH SCORE 2340.331
AT ITER 1084 NEW BEST:: SOT 13084 SOS 7331 HAS SOPS 2385 HAS SOUS 2533 HAS SOUPS 2319 WITH SCORE 2326.331
AT ITER 1101 NEW BEST:: SOT 13080 SOS 7325 HAS SOPS 2377 HAS SOUS 2525 HAS SOUPS 2311 WITH SCORE 2318.325
AT ITER 1110 NEW BEST:: SOT 13069 SOS 7315 HAS SOPS 2377 HAS SOUS 2525 HAS SOUPS 2311 WITH SCORE 2318.315
AT ITER 1112 NEW BEST:: SOT 13081 SOS 7326 HAS SOPS 2373 HAS SOUS 2521 HAS SOUPS 2307 WITH SCORE 2314.326
AT ITER 1116 NEW BEST:: SOT 13077 SOS 7312 HAS SOPS 2349 HAS SOUS 2497 HAS SOUPS 2283 WITH SCORE 2290.312
AT ITER 1138 NEW BEST:: SOT 13078 SOS 7313 HAS SOPS 2348 HAS SOUS 2496 HAS SOUPS 2282 WITH SCORE 2289.313
AT ITER 1143 NEW BEST:: SOT 13072 SOS 7300 HAS SOPS 2329 HAS SOUS 2477 HAS SOUPS 2263 WITH SCORE 2270.3
AT ITER 1176 NEW BEST:: SOT 13072 SOS 7300 HAS SOPS 2328 HAS SOUS 2476 HAS SOUPS 2262 WITH SCORE 2269.3
AT ITER 1219 NEW BEST:: SOT 13061 SOS 7289 HAS SOPS 2323 HAS SOUS 2471 HAS SOUPS 2257 WITH SCORE 2264.289
AT ITER 1228 NEW BEST:: SOT 13060 SOS 7280 HAS SOPS 2293 HAS SOUS 2450 HAS SOUPS 2236 WITH SCORE 2243.28
AT ITER 1258 NEW BEST:: SOT 13053 SOS 7273 HAS SOPS 2286 HAS SOUS 2443 HAS SOUPS 2229 WITH SCORE 2236.273
AT ITER 1283 NEW BEST:: SOT 13060 SOS 7281 HAS SOPS 2284 HAS SOUS 2430 HAS SOUPS 2216 WITH SCORE 2223.281
AT ITER 1291 NEW BEST:: SOT 13053 SOS 7274 HAS SOPS 2275 HAS SOUS 2421 HAS SOUPS 2207 WITH SCORE 2214.274
AT ITER 1346 NEW BEST:: SOT 13053 SOS 7270 HAS SOPS 2271 HAS SOUS 2417 HAS SOUPS 2203 WITH SCORE 2210.27
AT ITER 1349 NEW BEST:: SOT 13057 SOS 7274 HAS SOPS 2270 HAS SOUS 2416 HAS SOUPS 2202 WITH SCORE 2209.274
AT ITER 1358 NEW BEST:: SOT 13053 SOS 7270 HAS SOPS 2267 HAS SOUS 2413 HAS SOUPS 2199 WITH SCORE 2206.27
AT ITER 1359 NEW BEST:: SOT 13052 SOS 7269 HAS SOPS 2266 HAS SOUS 2412 HAS SOUPS 2198 WITH SCORE 2205.269
AT ITER 1378 NEW BEST:: SOT 13050 SOS 7267 HAS SOPS 2262 HAS SOUS 2408 HAS SOUPS 2194 WITH SCORE 2201.267
AT ITER 1383 NEW BEST:: SOT 13075 SOS 7259 HAS SOPS 2246 HAS SOUS 2392 HAS SOUPS 2178 WITH SCORE 2185.259
AT ITER 1413 NEW BEST:: SOT 13068 SOS 7260 HAS SOPS 2240 HAS SOUS 2386 HAS SOUPS 2172 WITH SCORE 2179.26
AT ITER 1477 NEW BEST:: SOT 13027 SOS 7684 HAS SOPS 2197 HAS SOUS 2395 HAS SOUPS 2166 WITH SCORE 2173.684
AT ITER 1481 NEW BEST:: SOT 13019 SOS 7676 HAS SOPS 2181 HAS SOUS 2379 HAS SOUPS 2150 WITH SCORE 2157.676
AT ITER 1502 NEW BEST:: SOT 13018 SOS 7673 HAS SOPS 2179 HAS SOUS 2377 HAS SOUPS 2148 WITH SCORE 2155.673
AT ITER 1524 NEW BEST:: SOT 13126 SOS 7708 HAS SOPS 2176 HAS SOUS 2374 HAS SOUPS 2145 WITH SCORE 2152.708
AT ITER 1565 NEW BEST:: SOT 13106 SOS 7688 HAS SOPS 2168 HAS SOUS 2366 HAS SOUPS 2137 WITH SCORE 2144.688
AT ITER 1575 NEW BEST:: SOT 13117 SOS 7481 HAS SOPS 2194 HAS SOUS 2358 HAS SOUPS 2136 WITH SCORE 2143.481
AT ITER 1613 NEW BEST:: SOT 13113 SOS 7477 HAS SOPS 2194 HAS SOUS 2358 HAS SOUPS 2136 WITH SCORE 2143.477
AT ITER 1616 NEW BEST:: SOT 13113 SOS 7473 HAS SOPS 2190 HAS SOUS 2354 HAS SOUPS 2132 WITH SCORE 2139.473
AT ITER 1624 NEW BEST:: SOT 13118 SOS 7466 HAS SOPS 2186 HAS SOUS 2350 HAS SOUPS 2128 WITH SCORE 2135.466
AT ITER 1629 NEW BEST:: SOT 13114 SOS 7462 HAS SOPS 2178 HAS SOUS 2342 HAS SOUPS 2120 WITH SCORE 2127.462
AT ITER 1632 NEW BEST:: SOT 13114 SOS 7445 HAS SOPS 2178 HAS SOUS 2342 HAS SOUPS 2120 WITH SCORE 2127.445
AT ITER 1633 NEW BEST:: SOT 13114 SOS 7445 HAS SOPS 2167 HAS SOUS 2331 HAS SOUPS 2109 WITH SCORE 2116.445
AT ITER 1638 NEW BEST:: SOT 13091 SOS 7430 HAS SOPS 2121 HAS SOUS 2285 HAS SOUPS 2063 WITH SCORE 2070.43
AT ITER 1674 NEW BEST:: SOT 13059 SOS 7432 HAS SOPS 2091 HAS SOUS 2255 HAS SOUPS 2033 WITH SCORE 2040.432
AT ITER 1712 NEW BEST:: SOT 13050 SOS 7438 HAS SOPS 2088 HAS SOUS 2252 HAS SOUPS 2030 WITH SCORE 2037.438
AT ITER 1716 NEW BEST:: SOT 13048 SOS 7436 HAS SOPS 2085 HAS SOUS 2249 HAS SOUPS 2027 WITH SCORE 2034.436
AT ITER 1737 NEW BEST:: SOT 13044 SOS 7432 HAS SOPS 2081 HAS SOUS 2245 HAS SOUPS 2023 WITH SCORE 2030.432
AT ITER 1794 NEW BEST:: SOT 13028 SOS 7439 HAS SOPS 2072 HAS SOUS 2236 HAS SOUPS 2014 WITH SCORE 2021.439
AT ITER 1795 NEW BEST:: SOT 13018 SOS 7423 HAS SOPS 2056 HAS SOUS 2234 HAS SOUPS 2012 WITH SCORE 2019.423
AT ITER 1811 NEW BEST:: SOT 13015 SOS 7417 HAS SOPS 2047 HAS SOUS 2225 HAS SOUPS 2003 WITH SCORE 2010.417
AT ITER 1866 NEW BEST:: SOT 13013 SOS 7414 HAS SOPS 2043 HAS SOUS 2221 HAS SOUPS 1999 WITH SCORE 2006.414
AT ITER 1911 NEW BEST:: SOT 13006 SOS 7401 HAS SOPS 2022 HAS SOUS 2214 HAS SOUPS 1992 WITH SCORE 1999.401
AT ITER 1988 NEW BEST:: SOT 13003 SOS 7395 HAS SOPS 2016 HAS SOUS 2208 HAS SOUPS 1986 WITH SCORE 1993.395
AT ITER 1999 NEW BEST:: SOT 13003 SOS 7395 HAS SOPS 2014 HAS SOUS 2206 HAS SOUPS 1984 WITH SCORE 1991.395
AT ITER 2022 NEW BEST:: SOT 13001 SOS 7389 HAS SOPS 2010 HAS SOUS 2202 HAS SOUPS 1980 WITH SCORE 1987.389
AT ITER 2038 NEW BEST:: SOT 13001 SOS 7388 HAS SOPS 2010 HAS SOUS 2202 HAS SOUPS 1980 WITH SCORE 1987.388
AT ITER 2105 NEW BEST:: SOT 12991 SOS 7384 HAS SOPS 2005 HAS SOUS 2197 HAS SOUPS 1975 WITH SCORE 1982.384
AT ITER 2131 NEW BEST:: SOT 12986 SOS 7381 HAS SOPS 2001 HAS SOUS 2193 HAS SOUPS 1971 WITH SCORE 1978.381
AT ITER 2153 NEW BEST:: SOT 12980 SOS 7466 HAS SOPS 1989 HAS SOUS 2189 HAS SOUPS 1964 WITH SCORE 1971.466
AT ITER 2208 NEW BEST:: SOT 12964 SOS 7450 HAS SOPS 1957 HAS SOUS 2157 HAS SOUPS 1932 WITH SCORE 1939.45
AT ITER 2219 NEW BEST:: SOT 12962 SOS 7446 HAS SOPS 1951 HAS SOUS 2151 HAS SOUPS 1926 WITH SCORE 1933.446
AT ITER 2226 NEW BEST:: SOT 12962 SOS 7445 HAS SOPS 1950 HAS SOUS 2150 HAS SOUPS 1925 WITH SCORE 1932.445
AT ITER 2283 NEW BEST:: SOT 12959 SOS 7439 HAS SOPS 1940 HAS SOUS 2140 HAS SOUPS 1915 WITH SCORE 1922.439
AT ITER 2360 NEW BEST:: SOT 12957 SOS 7436 HAS SOPS 1936 HAS SOUS 2136 HAS SOUPS 1911 WITH SCORE 1918.436
AT ITER 2406 NEW BEST:: SOT 12952 SOS 7431 HAS SOPS 1931 HAS SOUS 2131 HAS SOUPS 1906 WITH SCORE 1913.431
AT ITER 2416 NEW BEST:: SOT 12951 SOS 7430 HAS SOPS 1930 HAS SOUS 2130 HAS SOUPS 1905 WITH SCORE 1912.43
AT ITER 2430 NEW BEST:: SOT 12906 SOS 7423 HAS SOPS 1916 HAS SOUS 2116 HAS SOUPS 1891 WITH SCORE 1898.423
AT ITER 2488 NEW BEST:: SOT 12894 SOS 7620 HAS SOPS 1898 HAS SOUS 2105 HAS SOUPS 1877 WITH SCORE 1884.62
AT ITER 2532 NEW BEST:: SOT 12888 SOS 7611 HAS SOPS 1886 HAS SOUS 2093 HAS SOUPS 1865 WITH SCORE 1872.611
AT ITER 2645 NEW BEST:: SOT 12880 SOS 7603 HAS SOPS 1878 HAS SOUS 2085 HAS SOUPS 1857 WITH SCORE 1864.603
AT ITER 2675 NEW BEST:: SOT 12963 SOS 7625 HAS SOPS 1861 HAS SOUS 2068 HAS SOUPS 1840 WITH SCORE 1847.625
AT ITER 2686 NEW BEST:: SOT 12963 SOS 7624 HAS SOPS 1859 HAS SOUS 2066 HAS SOUPS 1838 WITH SCORE 1845.624
AT ITER 2696 NEW BEST:: SOT 12961 SOS 7630 HAS SOPS 1855 HAS SOUS 2062 HAS SOUPS 1834 WITH SCORE 1841.63
AT ITER 2701 NEW BEST:: SOT 12947 SOS 7616 HAS SOPS 1827 HAS SOUS 2034 HAS SOUPS 1806 WITH SCORE 1813.616
AT ITER 2718 NEW BEST:: SOT 12960 SOS 7629 HAS SOPS 1825 HAS SOUS 2032 HAS SOUPS 1804 WITH SCORE 1811.629
AT ITER 2729 NEW BEST:: SOT 12960 SOS 7629 HAS SOPS 1822 HAS SOUS 2029 HAS SOUPS 1801 WITH SCORE 1808.629
AT ITER 2745 NEW BEST:: SOT 12942 SOS 7615 HAS SOPS 1796 HAS SOUS 2003 HAS SOUPS 1775 WITH SCORE 1782.615
AT ITER 2803 NEW BEST:: SOT 12939 SOS 7615 HAS SOPS 1793 HAS SOUS 2000 HAS SOUPS 1772 WITH SCORE 1779.615
AT ITER 2838 NEW BEST:: SOT 12937 SOS 7617 HAS SOPS 1789 HAS SOUS 1996 HAS SOUPS 1768 WITH SCORE 1775.617
AT ITER 2849 NEW BEST:: SOT 12929 SOS 7739 HAS SOPS 1777 HAS SOUS 1992 HAS SOUPS 1760 WITH SCORE 1767.739
AT ITER 2867 NEW BEST:: SOT 12914 SOS 7744 HAS SOPS 1767 HAS SOUS 1982 HAS SOUPS 1750 WITH SCORE 1757.744
AT ITER 2933 NEW BEST:: SOT 12917 SOS 7747 HAS SOPS 1750 HAS SOUS 1965 HAS SOUPS 1733 WITH SCORE 1740.747
AT ITER 3025 NEW BEST:: SOT 12915 SOS 7745 HAS SOPS 1748 HAS SOUS 1963 HAS SOUPS 1731 WITH SCORE 1738.745
AT ITER 3033 NEW BEST:: SOT 12913 SOS 7816 HAS SOPS 1745 HAS SOUS 1961 HAS SOUPS 1728 WITH SCORE 1735.816
AT ITER 3057 NEW BEST:: SOT 12907 SOS 7807 HAS SOPS 1733 HAS SOUS 1949 HAS SOUPS 1716 WITH SCORE 1723.807
AT ITER 3063 NEW BEST:: SOT 12894 SOS 7794 HAS SOPS 1720 HAS SOUS 1938 HAS SOUPS 1705 WITH SCORE 1712.794
AT ITER 3139 NEW BEST:: SOT 12894 SOS 7793 HAS SOPS 1718 HAS SOUS 1936 HAS SOUPS 1703 WITH SCORE 1710.793
AT ITER 3149 NEW BEST:: SOT 12872 SOS 7780 HAS SOPS 1701 HAS SOUS 1919 HAS SOUPS 1686 WITH SCORE 1693.78
AT ITER 3351 NEW BEST:: SOT 12871 SOS 7778 HAS SOPS 1699 HAS SOUS 1917 HAS SOUPS 1684 WITH SCORE 1691.778
AT ITER 3401 NEW BEST:: SOT 12783 SOS 7738 HAS SOPS 1667 HAS SOUS 1885 HAS SOUPS 1652 WITH SCORE 1659.738
AT ITER 3493 NEW BEST:: SOT 12782 SOS 7737 HAS SOPS 1665 HAS SOUS 1883 HAS SOUPS 1650 WITH SCORE 1657.737
AT ITER 3525 NEW BEST:: SOT 12850 SOS 7728 HAS SOPS 1647 HAS SOUS 1865 HAS SOUPS 1632 WITH SCORE 1639.728
AT ITER 3538 NEW BEST:: SOT 12815 SOS 7693 HAS SOPS 1645 HAS SOUS 1863 HAS SOUPS 1630 WITH SCORE 1637.693
AT ITER 3575 NEW BEST:: SOT 12814 SOS 7689 HAS SOPS 1643 HAS SOUS 1861 HAS SOUPS 1628 WITH SCORE 1635.689
AT ITER 3599 NEW BEST:: SOT 12811 SOS 7685 HAS SOPS 1637 HAS SOUS 1855 HAS SOUPS 1622 WITH SCORE 1629.685
AT ITER 3632 NEW BEST:: SOT 12810 SOS 7684 HAS SOPS 1635 HAS SOUS 1853 HAS SOUPS 1620 WITH SCORE 1627.684
AT ITER 3672 NEW BEST:: SOT 12809 SOS 7683 HAS SOPS 1633 HAS SOUS 1851 HAS SOUPS 1618 WITH SCORE 1625.683
AT ITER 3684 NEW BEST:: SOT 12806 SOS 7680 HAS SOPS 1629 HAS SOUS 1847 HAS SOUPS 1614 WITH SCORE 1621.68
AT ITER 3788 NEW BEST:: SOT 12806 SOS 7680 HAS SOPS 1627 HAS SOUS 1847 HAS SOUPS 1612 WITH SCORE 1619.68
AT ITER 3797 NEW BEST:: SOT 12804 SOS 7687 HAS SOPS 1623 HAS SOUS 1843 HAS SOUPS 1608 WITH SCORE 1615.687
AT ITER 3824 NEW BEST:: SOT 12800 SOS 7683 HAS SOPS 1615 HAS SOUS 1835 HAS SOUPS 1600 WITH SCORE 1607.683
AT ITER 3836 NEW BEST:: SOT 12798 SOS 7680 HAS SOPS 1611 HAS SOUS 1831 HAS SOUPS 1596 WITH SCORE 1603.68
AT ITER 3840 NEW BEST:: SOT 12796 SOS 8055 HAS SOPS 1607 HAS SOUS 1832 HAS SOUPS 1592 WITH SCORE 1600.055
AT ITER 3841 NEW BEST:: SOT 12790 SOS 8049 HAS SOPS 1595 HAS SOUS 1820 HAS SOUPS 1580 WITH SCORE 1588.049
AT ITER 3902 NEW BEST:: SOT 12772 SOS 8040 HAS SOPS 1577 HAS SOUS 1802 HAS SOUPS 1562 WITH SCORE 1570.04
AT ITER 3958 NEW BEST:: SOT 12771 SOS 8039 HAS SOPS 1575 HAS SOUS 1800 HAS SOUPS 1560 WITH SCORE 1568.039
AT ITER 3967 NEW BEST:: SOT 12770 SOS 8036 HAS SOPS 1573 HAS SOUS 1798 HAS SOUPS 1558 WITH SCORE 1566.036
AT ITER 4091 NEW BEST:: SOT 12766 SOS 8032 HAS SOPS 1567 HAS SOUS 1792 HAS SOUPS 1552 WITH SCORE 1560.032
AT ITER 4110 NEW BEST:: SOT 12766 SOS 8031 HAS SOPS 1567 HAS SOUS 1792 HAS SOUPS 1552 WITH SCORE 1560.031
AT ITER 4121 NEW BEST:: SOT 12768 SOS 8024 HAS SOPS 1557 HAS SOUS 1782 HAS SOUPS 1542 WITH SCORE 1550.024
AT ITER 4130 NEW BEST:: SOT 12739 SOS 8013 HAS SOPS 1553 HAS SOUS 1778 HAS SOUPS 1538 WITH SCORE 1546.013
AT ITER 4177 NEW BEST:: SOT 12737 SOS 8011 HAS SOPS 1553 HAS SOUS 1778 HAS SOUPS 1538 WITH SCORE 1546.011
AT ITER 4277 NEW BEST:: SOT 12728 SOS 8233 HAS SOPS 1533 HAS SOUS 1776 HAS SOUPS 1529 WITH SCORE 1537.233
AT ITER 4305 NEW BEST:: SOT 12698 SOS 8203 HAS SOPS 1496 HAS SOUS 1739 HAS SOUPS 1492 WITH SCORE 1500.203
AT ITER 4392 NEW BEST:: SOT 12692 SOS 8197 HAS SOPS 1490 HAS SOUS 1733 HAS SOUPS 1486 WITH SCORE 1494.197
AT ITER 4395 NEW BEST:: SOT 12700 SOS 8199 HAS SOPS 1486 HAS SOUS 1729 HAS SOUPS 1482 WITH SCORE 1490.199
AT ITER 4400 NEW BEST:: SOT 12700 SOS 8198 HAS SOPS 1484 HAS SOUS 1727 HAS SOUPS 1480 WITH SCORE 1488.198
AT ITER 4417 NEW BEST:: SOT 12696 SOS 8192 HAS SOPS 1476 HAS SOUS 1719 HAS SOUPS 1472 WITH SCORE 1480.192
AT ITER 4433 NEW BEST:: SOT 12695 SOS 8191 HAS SOPS 1476 HAS SOUS 1719 HAS SOUPS 1472 WITH SCORE 1480.191
AT ITER 4482 NEW BEST:: SOT 12700 SOS 8195 HAS SOPS 1472 HAS SOUS 1715 HAS SOUPS 1468 WITH SCORE 1476.195
AT ITER 4541 NEW BEST:: SOT 12709 SOS 8192 HAS SOPS 1466 HAS SOUS 1709 HAS SOUPS 1462 WITH SCORE 1470.192
AT ITER 4544 NEW BEST:: SOT 12711 SOS 8192 HAS SOPS 1464 HAS SOUS 1707 HAS SOUPS 1460 WITH SCORE 1468.192
AT ITER 4554 NEW BEST:: SOT 12710 SOS 8190 HAS SOPS 1462 HAS SOUS 1705 HAS SOUPS 1458 WITH SCORE 1466.19
AT ITER 4607 NEW BEST:: SOT 12661 SOS 8171 HAS SOPS 1454 HAS SOUS 1697 HAS SOUPS 1450 WITH SCORE 1458.171
AT ITER 4658 NEW BEST:: SOT 12661 SOS 8170 HAS SOPS 1453 HAS SOUS 1696 HAS SOUPS 1449 WITH SCORE 1457.17
AT ITER 4698 NEW BEST:: SOT 12657 SOS 8164 HAS SOPS 1439 HAS SOUS 1682 HAS SOUPS 1435 WITH SCORE 1443.164
AT ITER 4719 NEW BEST:: SOT 12656 SOS 8160 HAS SOPS 1434 HAS SOUS 1677 HAS SOUPS 1430 WITH SCORE 1438.16
AT ITER 4803 NEW BEST:: SOT 12653 SOS 8155 HAS SOPS 1428 HAS SOUS 1671 HAS SOUPS 1424 WITH SCORE 1432.155
AT ITER 4860 NEW BEST:: SOT 12652 SOS 8153 HAS SOPS 1426 HAS SOUS 1669 HAS SOUPS 1422 WITH SCORE 1430.153
AT ITER 4959 NEW BEST:: SOT 12653 SOS 8145 HAS SOPS 1408 HAS SOUS 1651 HAS SOUPS 1404 WITH SCORE 1412.145
AT ITER 5043 NEW BEST:: SOT 12639 SOS 8138 HAS SOPS 1394 HAS SOUS 1637 HAS SOUPS 1390 WITH SCORE 1398.138
AT ITER 5060 NEW BEST:: SOT 12637 SOS 8136 HAS SOPS 1390 HAS SOUS 1633 HAS SOUPS 1386 WITH SCORE 1394.136
AT ITER 5193 NEW BEST:: SOT 12638 SOS 8137 HAS SOPS 1389 HAS SOUS 1632 HAS SOUPS 1385 WITH SCORE 1393.137
AT ITER 5272 NEW BEST:: SOT 12638 SOS 8133 HAS SOPS 1385 HAS SOUS 1628 HAS SOUPS 1381 WITH SCORE 1389.133
AT ITER 5313 NEW BEST:: SOT 12636 SOS 8130 HAS SOPS 1381 HAS SOUS 1624 HAS SOUPS 1377 WITH SCORE 1385.13
AT ITER 5385 NEW BEST:: SOT 12637 SOS 8130 HAS SOPS 1380 HAS SOUS 1623 HAS SOUPS 1376 WITH SCORE 1384.13
AT ITER 5452 NEW BEST:: SOT 12637 SOS 8126 HAS SOPS 1372 HAS SOUS 1615 HAS SOUPS 1368 WITH SCORE 1376.126
AT ITER 5453 NEW BEST:: SOT 12637 SOS 8120 HAS SOPS 1366 HAS SOUS 1609 HAS SOUPS 1362 WITH SCORE 1370.12
AT ITER 5516 NEW BEST:: SOT 12642 SOS 8120 HAS SOPS 1361 HAS SOUS 1604 HAS SOUPS 1357 WITH SCORE 1365.12
AT ITER 5592 NEW BEST:: SOT 12641 SOS 8119 HAS SOPS 1359 HAS SOUS 1602 HAS SOUPS 1355 WITH SCORE 1363.119
AT ITER 5772 NEW BEST:: SOT 12640 SOS 8119 HAS SOPS 1358 HAS SOUS 1601 HAS SOUPS 1354 WITH SCORE 1362.119
AT ITER 5804 NEW BEST:: SOT 12640 SOS 8119 HAS SOPS 1351 HAS SOUS 1594 HAS SOUPS 1347 WITH SCORE 1355.119
AT ITER 5814 NEW BEST:: SOT 12637 SOS 8118 HAS SOPS 1349 HAS SOUS 1592 HAS SOUPS 1345 WITH SCORE 1353.118
AT ITER 5903 NEW BEST:: SOT 12635 SOS 8115 HAS SOPS 1345 HAS SOUS 1588 HAS SOUPS 1341 WITH SCORE 1349.115
AT ITER 6060 NEW BEST:: SOT 12633 SOS 8113 HAS SOPS 1341 HAS SOUS 1584 HAS SOUPS 1337 WITH SCORE 1345.113
AT ITER 6132 NEW BEST:: SOT 12628 SOS 8111 HAS SOPS 1331 HAS SOUS 1574 HAS SOUPS 1327 WITH SCORE 1335.111
AT ITER 6181 NEW BEST:: SOT 12638 SOS 8112 HAS SOPS 1324 HAS SOUS 1567 HAS SOUPS 1320 WITH SCORE 1328.112
AT ITER 6385 NEW BEST:: SOT 12637 SOS 8109 HAS SOPS 1320 HAS SOUS 1563 HAS SOUPS 1316 WITH SCORE 1324.109
AT ITER 6446 NEW BEST:: SOT 12612 SOS 8098 HAS SOPS 1298 HAS SOUS 1541 HAS SOUPS 1294 WITH SCORE 1302.098
AT ITER 6699 NEW BEST:: SOT 12610 SOS 8098 HAS SOPS 1294 HAS SOUS 1537 HAS SOUPS 1290 WITH SCORE 1298.098
AT ITER 6731 NEW BEST:: SOT 12613 SOS 8090 HAS SOPS 1289 HAS SOUS 1532 HAS SOUPS 1285 WITH SCORE 1293.09
AT ITER 6919 NEW BEST:: SOT 12613 SOS 8088 HAS SOPS 1289 HAS SOUS 1532 HAS SOUPS 1285 WITH SCORE 1293.088
AT ITER 7020 NEW BEST:: SOT 12611 SOS 8087 HAS SOPS 1289 HAS SOUS 1532 HAS SOUPS 1285 WITH SCORE 1293.087
AT ITER 7322 NEW BEST:: SOT 12577 SOS 8078 HAS SOPS 1271 HAS SOUS 1514 HAS SOUPS 1267 WITH SCORE 1275.078
AT ITER 7395 NEW BEST:: SOT 12577 SOS 8078 HAS SOPS 1267 HAS SOUS 1510 HAS SOUPS 1263 WITH SCORE 1271.078
AT ITER 7417 NEW BEST:: SOT 12571 SOS 8072 HAS SOPS 1255 HAS SOUS 1498 HAS SOUPS 1251 WITH SCORE 1259.072
AT ITER 7426 NEW BEST:: SOT 12576 SOS 8076 HAS SOPS 1251 HAS SOUS 1494 HAS SOUPS 1247 WITH SCORE 1255.076
AT ITER 7440 NEW BEST:: SOT 12573 SOS 8073 HAS SOPS 1245 HAS SOUS 1488 HAS SOUPS 1241 WITH SCORE 1249.073
AT ITER 7449 NEW BEST:: SOT 12571 SOS 8070 HAS SOPS 1241 HAS SOUS 1484 HAS SOUPS 1237 WITH SCORE 1245.07
AT ITER 7494 NEW BEST:: SOT 12571 SOS 8068 HAS SOPS 1237 HAS SOUS 1480 HAS SOUPS 1233 WITH SCORE 1241.068
AT ITER 7515 NEW BEST:: SOT 12570 SOS 8067 HAS SOPS 1236 HAS SOUS 1479 HAS SOUPS 1232 WITH SCORE 1240.067
AT ITER 7587 NEW BEST:: SOT 12575 SOS 8069 HAS SOPS 1234 HAS SOUS 1477 HAS SOUPS 1230 WITH SCORE 1238.069
AT ITER 7599 NEW BEST:: SOT 12574 SOS 8068 HAS SOPS 1232 HAS SOUS 1475 HAS SOUPS 1228 WITH SCORE 1236.068
AT ITER 7642 NEW BEST:: SOT 12572 SOS 8066 HAS SOPS 1228 HAS SOUS 1471 HAS SOUPS 1224 WITH SCORE 1232.066
AT ITER 7700 NEW BEST:: SOT 12571 SOS 8065 HAS SOPS 1226 HAS SOUS 1469 HAS SOUPS 1222 WITH SCORE 1230.065
AT ITER 7713 NEW BEST:: SOT 12567 SOS 8061 HAS SOPS 1218 HAS SOUS 1461 HAS SOUPS 1214 WITH SCORE 1222.061
AT ITER 7895 NEW BEST:: SOT 12564 SOS 8058 HAS SOPS 1217 HAS SOUS 1460 HAS SOUPS 1213 WITH SCORE 1221.058
AT ITER 8082 NEW BEST:: SOT 12563 SOS 8057 HAS SOPS 1216 HAS SOUS 1459 HAS SOUPS 1212 WITH SCORE 1220.057
AT ITER 8304 NEW BEST:: SOT 12562 SOS 8090 HAS SOPS 1213 HAS SOUS 1458 HAS SOUPS 1210 WITH SCORE 1218.09
AT ITER 8336 NEW BEST:: SOT 12582 SOS 8088 HAS SOPS 1209 HAS SOUS 1454 HAS SOUPS 1206 WITH SCORE 1214.088
AT ITER 8758 NEW BEST:: SOT 12582 SOS 8087 HAS SOPS 1207 HAS SOUS 1452 HAS SOUPS 1204 WITH SCORE 1212.087
AT ITER 9031 NEW BEST:: SOT 12581 SOS 8085 HAS SOPS 1203 HAS SOUS 1448 HAS SOUPS 1200 WITH SCORE 1208.085
AT ITER 9082 NEW BEST:: SOT 12581 SOS 8084 HAS SOPS 1202 HAS SOUS 1447 HAS SOUPS 1199 WITH SCORE 1207.084
AT ITER 9410 NEW BEST:: SOT 12582 SOS 8085 HAS SOPS 1199 HAS SOUS 1444 HAS SOUPS 1196 WITH SCORE 1204.085
AT ITER 9465 NEW BEST:: SOT 12582 SOS 8081 HAS SOPS 1199 HAS SOUS 1444 HAS SOUPS 1196 WITH SCORE 1204.081
AT ITER 9543 NEW BEST:: SOT 12601 SOS 8100 HAS SOPS 1197 HAS SOUS 1442 HAS SOUPS 1194 WITH SCORE 1202.1
AT ITER 9556 NEW BEST:: SOT 12589 SOS 8103 HAS SOPS 1188 HAS SOUS 1433 HAS SOUPS 1185 WITH SCORE 1193.103
AT ITER 9776 NEW BEST:: SOT 12588 SOS 8101 HAS SOPS 1186 HAS SOUS 1431 HAS SOUPS 1183 WITH SCORE 1191.101
AT ITER 9788 NEW BEST:: SOT 12589 SOS 8101 HAS SOPS 1185 HAS SOUS 1430 HAS SOUPS 1182 WITH SCORE 1190.101
AT ITER 9904 NEW BEST:: SOT 12582 SOS 8094 HAS SOPS 1180 HAS SOUS 1425 HAS SOUPS 1177 WITH SCORE 1185.094
STATE_SPACE STATES 34522712143932 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 15 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 571193964563223 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678394238424

--------------------
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="DiscoveryGPU-PT-13a"
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 DiscoveryGPU-PT-13a, 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 r139-smll-167819422900400"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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