About the Execution of Smart+red for StigmergyCommit-PT-05b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 2556.819 | 3600000.00 | 3634133.00 | 8156.80 | [undef] | Time out reached |
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.r459-smll-167912651300456.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 StigmergyCommit-PT-05b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r459-smll-167912651300456
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.8M
-rw-r--r-- 1 mcc users 7.3K Feb 26 10:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Feb 26 10:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.6K Feb 26 10:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 37K Feb 26 10:52 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 17:12 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 17:12 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:12 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:12 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.9K Feb 26 10:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 101K Feb 26 10:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.1K Feb 26 10:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 77K Feb 26 10:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:12 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:12 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 1.4M Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1679358596487
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=StigmergyCommit-PT-05b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 00:29:59] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 00:29:59] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 00:30:00] [INFO ] Load time of PNML (sax parser for PT used): 518 ms
[2023-03-21 00:30:00] [INFO ] Transformed 1837 places.
[2023-03-21 00:30:00] [INFO ] Transformed 3460 transitions.
[2023-03-21 00:30:00] [INFO ] Found NUPN structural information;
[2023-03-21 00:30:00] [INFO ] Parsed PT model containing 1837 places and 3460 transitions and 22362 arcs in 711 ms.
[2023-03-21 00:30:00] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1837 places, 3460 transitions and 22362 arcs took 95 ms.
Total runtime 870 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running StigmergyCommit (PT), instance 05b
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: 1837 places, 3460 transitions, 22362 arcs.
AT ITER 0 NEW BEST:: SOT 4162985 SOS 591496 HAS SOPS 591496 HAS SOUS 519556 HAS SOUPS 519556 WITH SCORE 520147.496
AT ITER 104 NEW BEST:: SOT 4157653 SOS 620442 HAS SOPS 620442 HAS SOUS 518761 HAS SOUPS 518761 WITH SCORE 519381.442
AT ITER 113 NEW BEST:: SOT 4157705 SOS 620546 HAS SOPS 620546 HAS SOUS 518736 HAS SOUPS 518736 WITH SCORE 519356.546
AT ITER 167 NEW BEST:: SOT 4157704 SOS 620544 HAS SOPS 620544 HAS SOUS 518734 HAS SOUPS 518734 WITH SCORE 519354.544
AT ITER 170 NEW BEST:: SOT 4157703 SOS 620542 HAS SOPS 620542 HAS SOUS 518732 HAS SOUPS 518732 WITH SCORE 519352.542
AT ITER 172 NEW BEST:: SOT 4157703 SOS 620459 HAS SOPS 620459 HAS SOUS 518732 HAS SOUPS 518732 WITH SCORE 519352.459
AT ITER 175 NEW BEST:: SOT 4152346 SOS 638407 HAS SOPS 638407 HAS SOUS 518144 HAS SOUPS 518144 WITH SCORE 518782.407
AT ITER 223 NEW BEST:: SOT 4146323 SOS 632473 HAS SOPS 632473 HAS SOUS 512318 HAS SOUPS 512318 WITH SCORE 512950.473
AT ITER 241 NEW BEST:: SOT 4137225 SOS 739451 HAS SOPS 739451 HAS SOUS 505114 HAS SOUPS 505114 WITH SCORE 505853.451
AT ITER 319 NEW BEST:: SOT 4137213 SOS 739427 HAS SOPS 739427 HAS SOUS 505090 HAS SOUPS 505090 WITH SCORE 505829.427
AT ITER 334 NEW BEST:: SOT 4137213 SOS 739386 HAS SOPS 739386 HAS SOUS 505090 HAS SOUPS 505090 WITH SCORE 505829.386
AT ITER 380 NEW BEST:: SOT 4137147 SOS 739254 HAS SOPS 739254 HAS SOUS 504958 HAS SOUPS 504958 WITH SCORE 505697.254
AT ITER 393 NEW BEST:: SOT 4136989 SOS 738938 HAS SOPS 738938 HAS SOUS 504642 HAS SOUPS 504642 WITH SCORE 505380.938
AT ITER 402 NEW BEST:: SOT 4132588 SOS 746574 HAS SOPS 746574 HAS SOUS 500848 HAS SOUPS 500848 WITH SCORE 501594.574
AT ITER 421 NEW BEST:: SOT 4129713 SOS 767964 HAS SOPS 767964 HAS SOUS 499432 HAS SOUPS 499432 WITH SCORE 500199.964
AT ITER 439 NEW BEST:: SOT 4129712 SOS 767962 HAS SOPS 767962 HAS SOUS 499430 HAS SOUPS 499430 WITH SCORE 500197.962
AT ITER 443 NEW BEST:: SOT 4129581 SOS 767700 HAS SOPS 767700 HAS SOUS 499168 HAS SOUPS 499168 WITH SCORE 499935.7
AT ITER 491 NEW BEST:: SOT 4129494 SOS 767526 HAS SOPS 767526 HAS SOUS 498994 HAS SOUPS 498994 WITH SCORE 499761.526
AT ITER 536 NEW BEST:: SOT 4129414 SOS 767366 HAS SOPS 767366 HAS SOUS 498914 HAS SOUPS 498914 WITH SCORE 499681.366
AT ITER 588 NEW BEST:: SOT 4129299 SOS 767126 HAS SOPS 767126 HAS SOUS 498683 HAS SOUPS 498683 WITH SCORE 499450.126
AT ITER 602 NEW BEST:: SOT 4124487 SOS 1008293 HAS SOPS 1008293 HAS SOUS 496379 HAS SOUPS 496379 WITH SCORE 497387.293
AT ITER 607 NEW BEST:: SOT 4124365 SOS 1008049 HAS SOPS 1008049 HAS SOUS 496257 HAS SOUPS 496257 WITH SCORE 497265.049
AT ITER 649 NEW BEST:: SOT 4124365 SOS 1007976 HAS SOPS 1007976 HAS SOUS 496256 HAS SOUPS 496256 WITH SCORE 497263.976
AT ITER 678 NEW BEST:: SOT 4124354 SOS 1007954 HAS SOPS 1007954 HAS SOUS 496234 HAS SOUPS 496234 WITH SCORE 497241.954
AT ITER 693 NEW BEST:: SOT 4124354 SOS 1007795 HAS SOPS 1007795 HAS SOUS 496233 HAS SOUPS 496233 WITH SCORE 497240.795
AT ITER 701 NEW BEST:: SOT 4124288 SOS 1007663 HAS SOPS 1007663 HAS SOUS 496101 HAS SOUPS 496101 WITH SCORE 497108.663
AT ITER 723 NEW BEST:: SOT 4117579 SOS 1047963 HAS SOPS 1047963 HAS SOUS 490121 HAS SOUPS 490121 WITH SCORE 491168.963
AT ITER 743 NEW BEST:: SOT 4117579 SOS 1047850 HAS SOPS 1047850 HAS SOUS 490121 HAS SOUPS 490121 WITH SCORE 491168.85
AT ITER 747 NEW BEST:: SOT 4117309 SOS 1047310 HAS SOPS 1047310 HAS SOUS 490011 HAS SOUPS 490011 WITH SCORE 491058.31
AT ITER 750 NEW BEST:: SOT 4117309 SOS 1044846 HAS SOPS 1044846 HAS SOUS 490011 HAS SOUPS 490011 WITH SCORE 491055.846
AT ITER 761 NEW BEST:: SOT 4113449 SOS 1057094 HAS SOPS 1057094 HAS SOUS 487945 HAS SOUPS 487945 WITH SCORE 489002.094
AT ITER 766 NEW BEST:: SOT 4113215 SOS 1056626 HAS SOPS 1056626 HAS SOUS 487725 HAS SOUPS 487725 WITH SCORE 488781.626
AT ITER 798 NEW BEST:: SOT 4113210 SOS 1056616 HAS SOPS 1056616 HAS SOUS 487715 HAS SOUPS 487715 WITH SCORE 488771.616
AT ITER 821 NEW BEST:: SOT 4101569 SOS 1238156 HAS SOPS 1238156 HAS SOUS 479104 HAS SOUPS 479104 WITH SCORE 480342.156
AT ITER 840 NEW BEST:: SOT 4101535 SOS 1238088 HAS SOPS 1238088 HAS SOUS 479036 HAS SOUPS 479036 WITH SCORE 480274.088
AT ITER 851 NEW BEST:: SOT 4101534 SOS 1238086 HAS SOPS 1238086 HAS SOUS 479034 HAS SOUPS 479034 WITH SCORE 480272.086
AT ITER 861 NEW BEST:: SOT 4101534 SOS 1238010 HAS SOPS 1238010 HAS SOUS 479034 HAS SOUPS 479034 WITH SCORE 480272.01
AT ITER 916 NEW BEST:: SOT 4101416 SOS 1232122 HAS SOPS 1232122 HAS SOUS 478753 HAS SOUPS 478753 WITH SCORE 479985.122
AT ITER 929 NEW BEST:: SOT 4084032 SOS 1214738 HAS SOPS 1214738 HAS SOUS 461481 HAS SOUPS 461481 WITH SCORE 462695.738
AT ITER 934 NEW BEST:: SOT 4081440 SOS 1212110 HAS SOPS 1212110 HAS SOUS 458889 HAS SOUPS 458889 WITH SCORE 460101.11
AT ITER 937 NEW BEST:: SOT 4075713 SOS 1207016 HAS SOPS 1207016 HAS SOUS 453440 HAS SOUPS 453440 WITH SCORE 454647.016
AT ITER 942 NEW BEST:: SOT 4075557 SOS 1206688 HAS SOPS 1206688 HAS SOUS 453127 HAS SOUPS 453127 WITH SCORE 454333.688
AT ITER 944 NEW BEST:: SOT 4075528 SOS 1206630 HAS SOPS 1206630 HAS SOUS 453069 HAS SOUPS 453069 WITH SCORE 454275.63
AT ITER 949 NEW BEST:: SOT 4075446 SOS 1206548 HAS SOPS 1206548 HAS SOUS 452987 HAS SOUPS 452987 WITH SCORE 454193.548
AT ITER 1023 NEW BEST:: SOT 4075322 SOS 1206384 HAS SOPS 1206384 HAS SOUS 452823 HAS SOUPS 452823 WITH SCORE 454029.384
AT ITER 1027 NEW BEST:: SOT 4068290 SOS 1200499 HAS SOPS 1200499 HAS SOUS 445929 HAS SOUPS 445929 WITH SCORE 447129.499
AT ITER 1063 NEW BEST:: SOT 4068156 SOS 1200231 HAS SOPS 1200231 HAS SOUS 445845 HAS SOUPS 445845 WITH SCORE 447045.231
AT ITER 1066 NEW BEST:: SOT 4063289 SOS 1195364 HAS SOPS 1195364 HAS SOUS 441025 HAS SOUPS 441025 WITH SCORE 442220.364
AT ITER 1096 NEW BEST:: SOT 4056795 SOS 1286477 HAS SOPS 1286477 HAS SOUS 436651 HAS SOUPS 436651 WITH SCORE 437937.477
AT ITER 1125 NEW BEST:: SOT 4056776 SOS 1286420 HAS SOPS 1286420 HAS SOUS 436613 HAS SOUPS 436613 WITH SCORE 437899.42
AT ITER 1162 NEW BEST:: SOT 4056776 SOS 1286295 HAS SOPS 1286295 HAS SOUS 436613 HAS SOUPS 436613 WITH SCORE 437899.295
AT ITER 1174 NEW BEST:: SOT 4056776 SOS 1286236 HAS SOPS 1286236 HAS SOUS 436613 HAS SOUPS 436613 WITH SCORE 437899.236
AT ITER 1197 NEW BEST:: SOT 4056716 SOS 1286116 HAS SOPS 1286116 HAS SOUS 436493 HAS SOUPS 436493 WITH SCORE 437779.116
AT ITER 1274 NEW BEST:: SOT 4026718 SOS 1256964 HAS SOPS 1256964 HAS SOUS 407311 HAS SOUPS 407311 WITH SCORE 408567.964
AT ITER 1290 NEW BEST:: SOT 4026701 SOS 1256812 HAS SOPS 1256812 HAS SOUS 407159 HAS SOUPS 407159 WITH SCORE 408415.812
AT ITER 1309 NEW BEST:: SOT 4026564 SOS 1256538 HAS SOPS 1256538 HAS SOUS 406885 HAS SOUPS 406885 WITH SCORE 408141.538
AT ITER 1352 NEW BEST:: SOT 4026447 SOS 1256582 HAS SOPS 1256582 HAS SOUS 406848 HAS SOUPS 406848 WITH SCORE 408104.582
AT ITER 1361 NEW BEST:: SOT 4026607 SOS 1256794 HAS SOPS 1256794 HAS SOUS 406740 HAS SOUPS 406740 WITH SCORE 407996.794
AT ITER 1380 NEW BEST:: SOT 4026633 SOS 1249660 HAS SOPS 1249660 HAS SOUS 406357 HAS SOUPS 406357 WITH SCORE 407606.66
AT ITER 1425 NEW BEST:: SOT 4021915 SOS 1264248 HAS SOPS 1264248 HAS SOUS 403117 HAS SOUPS 403117 WITH SCORE 404381.248
AT ITER 1427 NEW BEST:: SOT 4021868 SOS 1264154 HAS SOPS 1264154 HAS SOUS 403070 HAS SOUPS 403070 WITH SCORE 404334.154
AT ITER 1442 NEW BEST:: SOT 4021867 SOS 1264036 HAS SOPS 1264036 HAS SOUS 403068 HAS SOUPS 403068 WITH SCORE 404332.036
AT ITER 1456 NEW BEST:: SOT 4021858 SOS 1264018 HAS SOPS 1264018 HAS SOUS 403059 HAS SOUPS 403059 WITH SCORE 404323.018
AT ITER 1458 NEW BEST:: SOT 4021857 SOS 1264017 HAS SOPS 1264017 HAS SOUS 403059 HAS SOUPS 403059 WITH SCORE 404323.017
AT ITER 1471 NEW BEST:: SOT 4021719 SOS 1263743 HAS SOPS 1263743 HAS SOUS 402785 HAS SOUPS 402785 WITH SCORE 404048.743
AT ITER 1497 NEW BEST:: SOT 4021718 SOS 1263741 HAS SOPS 1263741 HAS SOUS 402783 HAS SOUPS 402783 WITH SCORE 404046.741
AT ITER 1526 NEW BEST:: SOT 4021718 SOS 1263664 HAS SOPS 1263664 HAS SOUS 402783 HAS SOUPS 402783 WITH SCORE 404046.664
AT ITER 1548 NEW BEST:: SOT 4021718 SOS 1263664 HAS SOPS 1263664 HAS SOUS 402772 HAS SOUPS 402772 WITH SCORE 404035.664
AT ITER 1558 NEW BEST:: SOT 4021634 SOS 1263412 HAS SOPS 1263412 HAS SOUS 402604 HAS SOUPS 402604 WITH SCORE 403867.412
AT ITER 1559 NEW BEST:: SOT 4021634 SOS 1263412 HAS SOPS 1263412 HAS SOUS 402517 HAS SOUPS 402517 WITH SCORE 403780.412
AT ITER 1582 NEW BEST:: SOT 4021565 SOS 1263274 HAS SOPS 1263274 HAS SOUS 402379 HAS SOUPS 402379 WITH SCORE 403642.274
AT ITER 1600 NEW BEST:: SOT 4020524 SOS 1266556 HAS SOPS 1266556 HAS SOUS 402133 HAS SOUPS 402133 WITH SCORE 403399.556
AT ITER 1609 NEW BEST:: SOT 4020473 SOS 1266454 HAS SOPS 1266454 HAS SOUS 401960 HAS SOUPS 401960 WITH SCORE 403226.454
AT ITER 1651 NEW BEST:: SOT 4020472 SOS 1266439 HAS SOPS 1266439 HAS SOUS 401958 HAS SOUPS 401958 WITH SCORE 403224.439
AT ITER 1679 NEW BEST:: SOT 4020471 SOS 1266291 HAS SOPS 1266291 HAS SOUS 401956 HAS SOUPS 401956 WITH SCORE 403222.291
AT ITER 1680 NEW BEST:: SOT 4020382 SOS 1266113 HAS SOPS 1266113 HAS SOUS 401778 HAS SOUPS 401778 WITH SCORE 403044.113
AT ITER 1723 NEW BEST:: SOT 4020176 SOS 1266141 HAS SOPS 1266141 HAS SOUS 401648 HAS SOUPS 401648 WITH SCORE 402914.141
AT ITER 1726 NEW BEST:: SOT 4020162 SOS 1265713 HAS SOPS 1265713 HAS SOUS 401558 HAS SOUPS 401558 WITH SCORE 402823.713
AT ITER 1736 NEW BEST:: SOT 4019985 SOS 1265623 HAS SOPS 1265623 HAS SOUS 401424 HAS SOUPS 401424 WITH SCORE 402689.623
AT ITER 1740 NEW BEST:: SOT 4019801 SOS 1265255 HAS SOPS 1265255 HAS SOUS 401321 HAS SOUPS 401321 WITH SCORE 402586.255
AT ITER 1755 NEW BEST:: SOT 4019625 SOS 1264903 HAS SOPS 1264903 HAS SOUS 401145 HAS SOUPS 401145 WITH SCORE 402409.903
AT ITER 1780 NEW BEST:: SOT 4019625 SOS 1264903 HAS SOPS 1264903 HAS SOUS 400714 HAS SOUPS 400714 WITH SCORE 401978.903
AT ITER 1788 NEW BEST:: SOT 4019733 SOS 1265119 HAS SOPS 1265119 HAS SOUS 400689 HAS SOUPS 400689 WITH SCORE 401954.119
AT ITER 1797 NEW BEST:: SOT 4019520 SOS 1264693 HAS SOPS 1264693 HAS SOUS 400584 HAS SOUPS 400584 WITH SCORE 401848.693
AT ITER 1890 NEW BEST:: SOT 4019495 SOS 1264643 HAS SOPS 1264643 HAS SOUS 400559 HAS SOUPS 400559 WITH SCORE 401823.643
AT ITER 1904 NEW BEST:: SOT 4019453 SOS 1264559 HAS SOPS 1264559 HAS SOUS 400475 HAS SOUPS 400475 WITH SCORE 401739.559
AT ITER 1914 NEW BEST:: SOT 4019256 SOS 1264165 HAS SOPS 1264165 HAS SOUS 400081 HAS SOUPS 400081 WITH SCORE 401345.165
AT ITER 1930 NEW BEST:: SOT 4019224 SOS 1264101 HAS SOPS 1264101 HAS SOUS 400033 HAS SOUPS 400033 WITH SCORE 401297.101
AT ITER 1946 NEW BEST:: SOT 4008184 SOS 1258564 HAS SOPS 1258564 HAS SOUS 389912 HAS SOUPS 389912 WITH SCORE 391170.564
AT ITER 1956 NEW BEST:: SOT 4008183 SOS 1258562 HAS SOPS 1258562 HAS SOUS 389910 HAS SOUPS 389910 WITH SCORE 391168.562
AT ITER 1965 NEW BEST:: SOT 4008182 SOS 1258560 HAS SOPS 1258560 HAS SOUS 389908 HAS SOUPS 389908 WITH SCORE 391166.56
AT ITER 2048 NEW BEST:: SOT 4008182 SOS 1258518 HAS SOPS 1258518 HAS SOUS 389908 HAS SOUPS 389908 WITH SCORE 391166.518
AT ITER 2057 NEW BEST:: SOT 4007977 SOS 1258108 HAS SOPS 1258108 HAS SOUS 389498 HAS SOUPS 389498 WITH SCORE 390756.108
AT ITER 2069 NEW BEST:: SOT 4007880 SOS 1257719 HAS SOPS 1257719 HAS SOUS 389304 HAS SOUPS 389304 WITH SCORE 390561.719
AT ITER 2074 NEW BEST:: SOT 4007846 SOS 1257651 HAS SOPS 1257651 HAS SOUS 389236 HAS SOUPS 389236 WITH SCORE 390493.651
AT ITER 2083 NEW BEST:: SOT 4007845 SOS 1257649 HAS SOPS 1257649 HAS SOUS 389234 HAS SOUPS 389234 WITH SCORE 390491.649
AT ITER 2094 NEW BEST:: SOT 4007844 SOS 1257647 HAS SOPS 1257647 HAS SOUS 389232 HAS SOUPS 389232 WITH SCORE 390489.647
AT ITER 2097 NEW BEST:: SOT 4006091 SOS 1255939 HAS SOPS 1255939 HAS SOUS 387697 HAS SOUPS 387697 WITH SCORE 388952.939
AT ITER 2119 NEW BEST:: SOT 4006063 SOS 1255883 HAS SOPS 1255883 HAS SOUS 387641 HAS SOUPS 387641 WITH SCORE 388896.883
AT ITER 2125 NEW BEST:: SOT 4006019 SOS 1255795 HAS SOPS 1255795 HAS SOUS 387553 HAS SOUPS 387553 WITH SCORE 388808.795
AT ITER 2127 NEW BEST:: SOT 4005774 SOS 1255305 HAS SOPS 1255305 HAS SOUS 387357 HAS SOUPS 387357 WITH SCORE 388612.305
AT ITER 2132 NEW BEST:: SOT 4005619 SOS 1254995 HAS SOPS 1254995 HAS SOUS 387300 HAS SOUPS 387300 WITH SCORE 388554.995
AT ITER 2134 NEW BEST:: SOT 4005580 SOS 1254917 HAS SOPS 1254917 HAS SOUS 387261 HAS SOUPS 387261 WITH SCORE 388515.917
AT ITER 2140 NEW BEST:: SOT 4005580 SOS 1254830 HAS SOPS 1254830 HAS SOUS 387261 HAS SOUPS 387261 WITH SCORE 388515.83
AT ITER 2166 NEW BEST:: SOT 4005712 SOS 1254657 HAS SOPS 1254657 HAS SOUS 387088 HAS SOUPS 387088 WITH SCORE 388342.657
AT ITER 2199 NEW BEST:: SOT 4005800 SOS 1254620 HAS SOPS 1254620 HAS SOUS 387051 HAS SOUPS 387051 WITH SCORE 388305.62
AT ITER 2213 NEW BEST:: SOT 4005683 SOS 1254386 HAS SOPS 1254386 HAS SOUS 386817 HAS SOUPS 386817 WITH SCORE 388071.386
AT ITER 2229 NEW BEST:: SOT 4005647 SOS 1254314 HAS SOPS 1254314 HAS SOUS 386745 HAS SOUPS 386745 WITH SCORE 387999.314
AT ITER 2234 NEW BEST:: SOT 4005432 SOS 1253884 HAS SOPS 1253884 HAS SOUS 386525 HAS SOUPS 386525 WITH SCORE 387778.884
AT ITER 2239 NEW BEST:: SOT 4005392 SOS 1253844 HAS SOPS 1253844 HAS SOUS 386485 HAS SOUPS 386485 WITH SCORE 387738.844
AT ITER 2264 NEW BEST:: SOT 4005366 SOS 1253792 HAS SOPS 1253792 HAS SOUS 386433 HAS SOUPS 386433 WITH SCORE 387686.792
AT ITER 2287 NEW BEST:: SOT 4005353 SOS 1253766 HAS SOPS 1253766 HAS SOUS 386407 HAS SOUPS 386407 WITH SCORE 387660.766
AT ITER 2306 NEW BEST:: SOT 4005353 SOS 1253655 HAS SOPS 1253655 HAS SOUS 386407 HAS SOUPS 386407 WITH SCORE 387660.655
AT ITER 2328 NEW BEST:: SOT 4005031 SOS 1253701 HAS SOPS 1253701 HAS SOUS 386200 HAS SOUPS 386200 WITH SCORE 387453.701
AT ITER 2343 NEW BEST:: SOT 4004772 SOS 1253183 HAS SOPS 1253183 HAS SOUS 385915 HAS SOUPS 385915 WITH SCORE 387168.183
AT ITER 2362 NEW BEST:: SOT 4004595 SOS 1252829 HAS SOPS 1252829 HAS SOUS 385561 HAS SOUPS 385561 WITH SCORE 386813.829
AT ITER 2370 NEW BEST:: SOT 4004124 SOS 1253405 HAS SOPS 1253405 HAS SOUS 385438 HAS SOUPS 385438 WITH SCORE 386691.405
AT ITER 2430 NEW BEST:: SOT 4004124 SOS 1253405 HAS SOPS 1253405 HAS SOUS 385293 HAS SOUPS 385293 WITH SCORE 386546.405
AT ITER 2449 NEW BEST:: SOT 4004123 SOS 1253246 HAS SOPS 1253246 HAS SOUS 385291 HAS SOUPS 385291 WITH SCORE 386544.246
AT ITER 2457 NEW BEST:: SOT 4003976 SOS 1252952 HAS SOPS 1252952 HAS SOUS 384997 HAS SOUPS 384997 WITH SCORE 386249.952
AT ITER 2482 NEW BEST:: SOT 4003901 SOS 1252802 HAS SOPS 1252802 HAS SOUS 384922 HAS SOUPS 384922 WITH SCORE 386174.802
AT ITER 2494 NEW BEST:: SOT 4003859 SOS 1252743 HAS SOPS 1252743 HAS SOUS 384880 HAS SOUPS 384880 WITH SCORE 386132.743
AT ITER 2498 NEW BEST:: SOT 4003098 SOS 1253682 HAS SOPS 1253682 HAS SOUS 384226 HAS SOUPS 384226 WITH SCORE 385479.682
AT ITER 2535 NEW BEST:: SOT 4003097 SOS 1253553 HAS SOPS 1253553 HAS SOUS 384224 HAS SOUPS 384224 WITH SCORE 385477.553
AT ITER 2550 NEW BEST:: SOT 4003096 SOS 1253551 HAS SOPS 1253551 HAS SOUS 384222 HAS SOUPS 384222 WITH SCORE 385475.551
AT ITER 2552 NEW BEST:: SOT 4002962 SOS 1253283 HAS SOPS 1253283 HAS SOUS 383954 HAS SOUPS 383954 WITH SCORE 385207.283
AT ITER 2561 NEW BEST:: SOT 4002862 SOS 1253083 HAS SOPS 1253083 HAS SOUS 383754 HAS SOUPS 383754 WITH SCORE 385007.083
AT ITER 2563 NEW BEST:: SOT 4002803 SOS 1253024 HAS SOPS 1253024 HAS SOUS 383695 HAS SOUPS 383695 WITH SCORE 384948.024
AT ITER 2580 NEW BEST:: SOT 4002803 SOS 1253010 HAS SOPS 1253010 HAS SOUS 383681 HAS SOUPS 383681 WITH SCORE 384934.01
AT ITER 2589 NEW BEST:: SOT 4002791 SOS 1252986 HAS SOPS 1252986 HAS SOUS 383657 HAS SOUPS 383657 WITH SCORE 384909.986
AT ITER 2610 NEW BEST:: SOT 4002636 SOS 1252831 HAS SOPS 1252831 HAS SOUS 383347 HAS SOUPS 383347 WITH SCORE 384599.831
AT ITER 2633 NEW BEST:: SOT 4002633 SOS 1252828 HAS SOPS 1252828 HAS SOUS 383344 HAS SOUPS 383344 WITH SCORE 384596.828
AT ITER 2665 NEW BEST:: SOT 4002620 SOS 1252802 HAS SOPS 1252802 HAS SOUS 383318 HAS SOUPS 383318 WITH SCORE 384570.802
AT ITER 2711 NEW BEST:: SOT 4002578 SOS 1252718 HAS SOPS 1252718 HAS SOUS 383267 HAS SOUPS 383267 WITH SCORE 384519.718
AT ITER 2765 NEW BEST:: SOT 4002372 SOS 1252306 HAS SOPS 1252306 HAS SOUS 383258 HAS SOUPS 383258 WITH SCORE 384510.306
AT ITER 2797 NEW BEST:: SOT 4002287 SOS 1252136 HAS SOPS 1252136 HAS SOUS 383133 HAS SOUPS 383133 WITH SCORE 384385.136
AT ITER 2866 NEW BEST:: SOT 4002336 SOS 1252113 HAS SOPS 1252113 HAS SOUS 383110 HAS SOUPS 383110 WITH SCORE 384362.113
AT ITER 2885 NEW BEST:: SOT 4002266 SOS 1082197 HAS SOPS 1082197 HAS SOUS 382607 HAS SOUPS 382607 WITH SCORE 383689.197
AT ITER 2894 NEW BEST:: SOT 4002266 SOS 1082178 HAS SOPS 1082178 HAS SOUS 382588 HAS SOUPS 382588 WITH SCORE 383670.178
AT ITER 2902 NEW BEST:: SOT 4002217 SOS 1082080 HAS SOPS 1082080 HAS SOUS 382490 HAS SOUPS 382490 WITH SCORE 383572.08
AT ITER 2925 NEW BEST:: SOT 4002009 SOS 1081664 HAS SOPS 1081664 HAS SOUS 382245 HAS SOUPS 382245 WITH SCORE 383326.664
AT ITER 2956 NEW BEST:: SOT 4001994 SOS 1081518 HAS SOPS 1081518 HAS SOUS 382215 HAS SOUPS 382215 WITH SCORE 383296.518
AT ITER 2997 NEW BEST:: SOT 4001965 SOS 1081460 HAS SOPS 1081460 HAS SOUS 382157 HAS SOUPS 382157 WITH SCORE 383238.46
AT ITER 3024 NEW BEST:: SOT 4001896 SOS 1081322 HAS SOPS 1081322 HAS SOUS 382088 HAS SOUPS 382088 WITH SCORE 383169.322
AT ITER 3034 NEW BEST:: SOT 4001867 SOS 1081264 HAS SOPS 1081264 HAS SOUS 382030 HAS SOUPS 382030 WITH SCORE 383111.264
AT ITER 3045 NEW BEST:: SOT 4001688 SOS 1080906 HAS SOPS 1080906 HAS SOUS 381851 HAS SOUPS 381851 WITH SCORE 382931.906
AT ITER 3048 NEW BEST:: SOT 4001594 SOS 1080535 HAS SOPS 1080535 HAS SOUS 381663 HAS SOUPS 381663 WITH SCORE 382743.535
AT ITER 3053 NEW BEST:: SOT 4001590 SOS 1080527 HAS SOPS 1080527 HAS SOUS 381655 HAS SOUPS 381655 WITH SCORE 382735.527
AT ITER 3059 NEW BEST:: SOT 4001589 SOS 1080461 HAS SOPS 1080461 HAS SOUS 381653 HAS SOUPS 381653 WITH SCORE 382733.461
AT ITER 3069 NEW BEST:: SOT 4001588 SOS 1080459 HAS SOPS 1080459 HAS SOUS 381651 HAS SOUPS 381651 WITH SCORE 382731.459
AT ITER 3113 NEW BEST:: SOT 4001587 SOS 1080457 HAS SOPS 1080457 HAS SOUS 381649 HAS SOUPS 381649 WITH SCORE 382729.457
AT ITER 3220 NEW BEST:: SOT 4001469 SOS 1080221 HAS SOPS 1080221 HAS SOUS 381413 HAS SOUPS 381413 WITH SCORE 382493.221
AT ITER 3274 NEW BEST:: SOT 4001453 SOS 1080189 HAS SOPS 1080189 HAS SOUS 381381 HAS SOUPS 381381 WITH SCORE 382461.189
AT ITER 3277 NEW BEST:: SOT 4001445 SOS 1080057 HAS SOPS 1080057 HAS SOUS 381365 HAS SOUPS 381365 WITH SCORE 382445.057
AT ITER 3339 NEW BEST:: SOT 4001397 SOS 1079961 HAS SOPS 1079961 HAS SOUS 381269 HAS SOUPS 381269 WITH SCORE 382348.961
AT ITER 3346 NEW BEST:: SOT 3990390 SOS 1077416 HAS SOPS 1077416 HAS SOUS 372572 HAS SOUPS 372572 WITH SCORE 373649.416
AT ITER 3374 NEW BEST:: SOT 3990277 SOS 1030777 HAS SOPS 1030777 HAS SOUS 372346 HAS SOUPS 372346 WITH SCORE 373376.777
AT ITER 3401 NEW BEST:: SOT 3990265 SOS 1030753 HAS SOPS 1030753 HAS SOUS 372322 HAS SOUPS 372322 WITH SCORE 373352.753
AT ITER 3482 NEW BEST:: SOT 3990263 SOS 1030749 HAS SOPS 1030749 HAS SOUS 372318 HAS SOUPS 372318 WITH SCORE 373348.749
AT ITER 3497 NEW BEST:: SOT 3990245 SOS 1030713 HAS SOPS 1030713 HAS SOUS 372282 HAS SOUPS 372282 WITH SCORE 373312.713
AT ITER 3532 NEW BEST:: SOT 3990245 SOS 1030560 HAS SOPS 1030560 HAS SOUS 372282 HAS SOUPS 372282 WITH SCORE 373312.56
AT ITER 3536 NEW BEST:: SOT 3990091 SOS 1030252 HAS SOPS 1030252 HAS SOUS 371974 HAS SOUPS 371974 WITH SCORE 373004.252
AT ITER 3541 NEW BEST:: SOT 3989857 SOS 1029784 HAS SOPS 1029784 HAS SOUS 371573 HAS SOUPS 371573 WITH SCORE 372602.784
AT ITER 3542 NEW BEST:: SOT 3989955 SOS 1024524 HAS SOPS 1024524 HAS SOUS 369939 HAS SOUPS 369939 WITH SCORE 370963.524
AT ITER 3569 NEW BEST:: SOT 3989948 SOS 1024489 HAS SOPS 1024489 HAS SOUS 369904 HAS SOUPS 369904 WITH SCORE 370928.489
AT ITER 3574 NEW BEST:: SOT 3990063 SOS 1024719 HAS SOPS 1024719 HAS SOUS 369808 HAS SOUPS 369808 WITH SCORE 370832.719
AT ITER 3596 NEW BEST:: SOT 3989947 SOS 1024545 HAS SOPS 1024545 HAS SOUS 369634 HAS SOUPS 369634 WITH SCORE 370658.545
AT ITER 3616 NEW BEST:: SOT 3989946 SOS 1024488 HAS SOPS 1024488 HAS SOUS 369632 HAS SOUPS 369632 WITH SCORE 370656.488
AT ITER 3622 NEW BEST:: SOT 3966812 SOS 1016770 HAS SOPS 1016770 HAS SOUS 349726 HAS SOUPS 349726 WITH SCORE 350742.77
AT ITER 3634 NEW BEST:: SOT 3966811 SOS 1016768 HAS SOPS 1016768 HAS SOUS 349724 HAS SOUPS 349724 WITH SCORE 350740.768
AT ITER 3669 NEW BEST:: SOT 3966776 SOS 1016698 HAS SOPS 1016698 HAS SOUS 349654 HAS SOUPS 349654 WITH SCORE 350670.698
AT ITER 3690 NEW BEST:: SOT 3966681 SOS 1016508 HAS SOPS 1016508 HAS SOUS 349464 HAS SOUPS 349464 WITH SCORE 350480.508
AT ITER 3704 NEW BEST:: SOT 3966635 SOS 1016260 HAS SOPS 1016260 HAS SOUS 349216 HAS SOUPS 349216 WITH SCORE 350232.26
AT ITER 3721 NEW BEST:: SOT 3966518 SOS 1016026 HAS SOPS 1016026 HAS SOUS 349099 HAS SOUPS 349099 WITH SCORE 350115.026
AT ITER 3745 NEW BEST:: SOT 3966490 SOS 1015970 HAS SOPS 1015970 HAS SOUS 349071 HAS SOUPS 349071 WITH SCORE 350086.97
AT ITER 3772 NEW BEST:: SOT 3966443 SOS 1015710 HAS SOPS 1015710 HAS SOUS 348977 HAS SOUPS 348977 WITH SCORE 349992.71
AT ITER 3850 NEW BEST:: SOT 3966387 SOS 1015598 HAS SOPS 1015598 HAS SOUS 348921 HAS SOUPS 348921 WITH SCORE 349936.598
AT ITER 3857 NEW BEST:: SOT 3966326 SOS 1015476 HAS SOPS 1015476 HAS SOUS 348868 HAS SOUPS 348868 WITH SCORE 349883.476
AT ITER 3866 NEW BEST:: SOT 3966288 SOS 1015438 HAS SOPS 1015438 HAS SOUS 348804 HAS SOUPS 348804 WITH SCORE 349819.438
AT ITER 3885 NEW BEST:: SOT 3966378 SOS 1015618 HAS SOPS 1015618 HAS SOUS 348707 HAS SOUPS 348707 WITH SCORE 349722.618
AT ITER 3890 NEW BEST:: SOT 3966178 SOS 940455 HAS SOPS 940455 HAS SOUS 348462 HAS SOUPS 348462 WITH SCORE 349402.455
AT ITER 3893 NEW BEST:: SOT 3966062 SOS 940223 HAS SOPS 940223 HAS SOUS 348346 HAS SOUPS 348346 WITH SCORE 349286.223
AT ITER 3928 NEW BEST:: SOT 3966018 SOS 940135 HAS SOPS 940135 HAS SOUS 348258 HAS SOUPS 348258 WITH SCORE 349198.135
AT ITER 3936 NEW BEST:: SOT 3966017 SOS 940133 HAS SOPS 940133 HAS SOUS 348256 HAS SOUPS 348256 WITH SCORE 349196.133
AT ITER 3986 NEW BEST:: SOT 3965997 SOS 940093 HAS SOPS 940093 HAS SOUS 348216 HAS SOUPS 348216 WITH SCORE 349156.093
AT ITER 4000 NEW BEST:: SOT 3965862 SOS 939823 HAS SOPS 939823 HAS SOUS 348096 HAS SOUPS 348096 WITH SCORE 349035.823
AT ITER 4027 NEW BEST:: SOT 3965846 SOS 939723 HAS SOPS 939723 HAS SOUS 348064 HAS SOUPS 348064 WITH SCORE 349003.723
AT ITER 4037 NEW BEST:: SOT 3965867 SOS 939765 HAS SOPS 939765 HAS SOUS 347933 HAS SOUPS 347933 WITH SCORE 348872.765
AT ITER 4045 NEW BEST:: SOT 3965861 SOS 939753 HAS SOPS 939753 HAS SOUS 347921 HAS SOUPS 347921 WITH SCORE 348860.753
AT ITER 4099 NEW BEST:: SOT 3965772 SOS 939576 HAS SOPS 939576 HAS SOUS 347744 HAS SOUPS 347744 WITH SCORE 348683.576
AT ITER 4136 NEW BEST:: SOT 3965817 SOS 939731 HAS SOPS 939731 HAS SOUS 347728 HAS SOUPS 347728 WITH SCORE 348667.731
AT ITER 4146 NEW BEST:: SOT 3965919 SOS 939935 HAS SOPS 939935 HAS SOUS 347632 HAS SOUPS 347632 WITH SCORE 348571.935
AT ITER 4152 NEW BEST:: SOT 3965789 SOS 939675 HAS SOPS 939675 HAS SOUS 347372 HAS SOUPS 347372 WITH SCORE 348311.675
AT ITER 4183 NEW BEST:: SOT 3965697 SOS 939491 HAS SOPS 939491 HAS SOUS 347188 HAS SOUPS 347188 WITH SCORE 348127.491
AT ITER 4189 NEW BEST:: SOT 3965697 SOS 939491 HAS SOPS 939491 HAS SOUS 347144 HAS SOUPS 347144 WITH SCORE 348083.491
AT ITER 4243 NEW BEST:: SOT 3965432 SOS 939723 HAS SOPS 939723 HAS SOUS 347006 HAS SOUPS 347006 WITH SCORE 347945.723
AT ITER 4280 NEW BEST:: SOT 3965432 SOS 939412 HAS SOPS 939412 HAS SOUS 347006 HAS SOUPS 347006 WITH SCORE 347945.412
AT ITER 4295 NEW BEST:: SOT 3965172 SOS 939206 HAS SOPS 939206 HAS SOUS 346784 HAS SOUPS 346784 WITH SCORE 347723.206
AT ITER 4304 NEW BEST:: SOT 3965084 SOS 939030 HAS SOPS 939030 HAS SOUS 346608 HAS SOUPS 346608 WITH SCORE 347547.03
AT ITER 4305 NEW BEST:: SOT 3964785 SOS 938432 HAS SOPS 938432 HAS SOUS 346504 HAS SOUPS 346504 WITH SCORE 347442.432
AT ITER 4378 NEW BEST:: SOT 3964747 SOS 938394 HAS SOPS 938394 HAS SOUS 346466 HAS SOUPS 346466 WITH SCORE 347404.394
AT ITER 4412 NEW BEST:: SOT 3964645 SOS 938190 HAS SOPS 938190 HAS SOUS 346364 HAS SOUPS 346364 WITH SCORE 347302.19
AT ITER 4419 NEW BEST:: SOT 3964480 SOS 937860 HAS SOPS 937860 HAS SOUS 346034 HAS SOUPS 346034 WITH SCORE 346971.86
AT ITER 4447 NEW BEST:: SOT 3964389 SOS 937609 HAS SOPS 937609 HAS SOUS 345816 HAS SOUPS 345816 WITH SCORE 346753.609
AT ITER 4452 NEW BEST:: SOT 3964364 SOS 937559 HAS SOPS 937559 HAS SOUS 345766 HAS SOUPS 345766 WITH SCORE 346703.559
AT ITER 4492 NEW BEST:: SOT 3964363 SOS 937557 HAS SOPS 937557 HAS SOUS 345764 HAS SOUPS 345764 WITH SCORE 346701.557
AT ITER 4578 NEW BEST:: SOT 3964342 SOS 937515 HAS SOPS 937515 HAS SOUS 345743 HAS SOUPS 345743 WITH SCORE 346680.515
AT ITER 4618 NEW BEST:: SOT 3964335 SOS 937209 HAS SOPS 937209 HAS SOUS 345729 HAS SOUPS 345729 WITH SCORE 346666.209
AT ITER 4627 NEW BEST:: SOT 3964233 SOS 936782 HAS SOPS 936782 HAS SOUS 345525 HAS SOUPS 345525 WITH SCORE 346461.782
AT ITER 4654 NEW BEST:: SOT 3964215 SOS 936764 HAS SOPS 936764 HAS SOUS 345507 HAS SOUPS 345507 WITH SCORE 346443.764
AT ITER 4660 NEW BEST:: SOT 3964145 SOS 936624 HAS SOPS 936624 HAS SOUS 345437 HAS SOUPS 345437 WITH SCORE 346373.624
AT ITER 4669 NEW BEST:: SOT 3964131 SOS 936596 HAS SOPS 936596 HAS SOUS 345409 HAS SOUPS 345409 WITH SCORE 346345.596
AT ITER 4670 NEW BEST:: SOT 3964120 SOS 936645 HAS SOPS 936645 HAS SOUS 345340 HAS SOUPS 345340 WITH SCORE 346276.645
AT ITER 4684 NEW BEST:: SOT 3963897 SOS 936199 HAS SOPS 936199 HAS SOUS 344894 HAS SOUPS 344894 WITH SCORE 345830.199
AT ITER 4691 NEW BEST:: SOT 3963711 SOS 935827 HAS SOPS 935827 HAS SOUS 344708 HAS SOUPS 344708 WITH SCORE 345643.827
AT ITER 4708 NEW BEST:: SOT 3963709 SOS 935801 HAS SOPS 935801 HAS SOUS 344704 HAS SOUPS 344704 WITH SCORE 345639.801
AT ITER 4728 NEW BEST:: SOT 3963708 SOS 935799 HAS SOPS 935799 HAS SOUS 344702 HAS SOUPS 344702 WITH SCORE 345637.799
AT ITER 4739 NEW BEST:: SOT 3963518 SOS 935419 HAS SOPS 935419 HAS SOUS 344322 HAS SOUPS 344322 WITH SCORE 345257.419
AT ITER 4754 NEW BEST:: SOT 3963518 SOS 935319 HAS SOPS 935319 HAS SOUS 344322 HAS SOUPS 344322 WITH SCORE 345257.319
AT ITER 4773 NEW BEST:: SOT 3963495 SOS 935273 HAS SOPS 935273 HAS SOUS 344299 HAS SOUPS 344299 WITH SCORE 345234.273
AT ITER 4907 NEW BEST:: SOT 3963495 SOS 935180 HAS SOPS 935180 HAS SOUS 344299 HAS SOUPS 344299 WITH SCORE 345234.18
AT ITER 4922 NEW BEST:: SOT 3963452 SOS 935094 HAS SOPS 935094 HAS SOUS 344256 HAS SOUPS 344256 WITH SCORE 345191.094
AT ITER 4975 NEW BEST:: SOT 3963348 SOS 924086 HAS SOPS 924086 HAS SOUS 343688 HAS SOUPS 343688 WITH SCORE 344612.086
AT ITER 5021 NEW BEST:: SOT 3963303 SOS 923996 HAS SOPS 923996 HAS SOUS 343598 HAS SOUPS 343598 WITH SCORE 344521.996
AT ITER 5040 NEW BEST:: SOT 3963091 SOS 923562 HAS SOPS 923562 HAS SOUS 343164 HAS SOUPS 343164 WITH SCORE 344087.562
AT ITER 5059 NEW BEST:: SOT 3962840 SOS 923060 HAS SOPS 923060 HAS SOUS 342913 HAS SOUPS 342913 WITH SCORE 343836.06
AT ITER 5064 NEW BEST:: SOT 3962789 SOS 922958 HAS SOPS 922958 HAS SOUS 342894 HAS SOUPS 342894 WITH SCORE 343816.958
AT ITER 5084 NEW BEST:: SOT 3962707 SOS 922794 HAS SOPS 922794 HAS SOUS 342838 HAS SOUPS 342838 WITH SCORE 343760.794
AT ITER 5085 NEW BEST:: SOT 3962401 SOS 902974 HAS SOPS 902974 HAS SOUS 341683 HAS SOUPS 341683 WITH SCORE 342585.974
AT ITER 5101 NEW BEST:: SOT 3962341 SOS 902854 HAS SOPS 902854 HAS SOUS 341563 HAS SOUPS 341563 WITH SCORE 342465.854
AT ITER 5129 NEW BEST:: SOT 3962245 SOS 902806 HAS SOPS 902806 HAS SOUS 341491 HAS SOUPS 341491 WITH SCORE 342393.806
AT ITER 5139 NEW BEST:: SOT 3962244 SOS 902804 HAS SOPS 902804 HAS SOUS 341489 HAS SOUPS 341489 WITH SCORE 342391.804
AT ITER 5228 NEW BEST:: SOT 3962287 SOS 902781 HAS SOPS 902781 HAS SOUS 341466 HAS SOUPS 341466 WITH SCORE 342368.781
AT ITER 5247 NEW BEST:: SOT 3962242 SOS 902691 HAS SOPS 902691 HAS SOUS 341376 HAS SOUPS 341376 WITH SCORE 342278.691
AT ITER 5255 NEW BEST:: SOT 3952457 SOS 897013 HAS SOPS 897013 HAS SOUS 336208 HAS SOUPS 336208 WITH SCORE 337105.013
AT ITER 5278 NEW BEST:: SOT 3952365 SOS 896878 HAS SOPS 896878 HAS SOUS 336073 HAS SOUPS 336073 WITH SCORE 336969.878
AT ITER 5298 NEW BEST:: SOT 3952308 SOS 896764 HAS SOPS 896764 HAS SOUS 335959 HAS SOUPS 335959 WITH SCORE 336855.764
AT ITER 5330 NEW BEST:: SOT 3952024 SOS 834681 HAS SOPS 834681 HAS SOUS 334886 HAS SOUPS 334886 WITH SCORE 335720.681
AT ITER 5349 NEW BEST:: SOT 3952001 SOS 834612 HAS SOPS 834612 HAS SOUS 334840 HAS SOUPS 334840 WITH SCORE 335674.612
AT ITER 5365 NEW BEST:: SOT 3952000 SOS 834465 HAS SOPS 834465 HAS SOUS 334788 HAS SOUPS 334788 WITH SCORE 335622.465
AT ITER 5382 NEW BEST:: SOT 3951931 SOS 834195 HAS SOPS 834195 HAS SOUS 334650 HAS SOUPS 334650 WITH SCORE 335484.195
AT ITER 5399 NEW BEST:: SOT 3951837 SOS 834007 HAS SOPS 834007 HAS SOUS 334462 HAS SOUPS 334462 WITH SCORE 335296.007
AT ITER 5416 NEW BEST:: SOT 3951835 SOS 834003 HAS SOPS 834003 HAS SOUS 334458 HAS SOUPS 334458 WITH SCORE 335292.003
AT ITER 5423 NEW BEST:: SOT 3951835 SOS 833890 HAS SOPS 833890 HAS SOUS 334458 HAS SOUPS 334458 WITH SCORE 335291.89
AT ITER 5424 NEW BEST:: SOT 3951806 SOS 833832 HAS SOPS 833832 HAS SOUS 334400 HAS SOUPS 334400 WITH SCORE 335233.832
AT ITER 5448 NEW BEST:: SOT 3951600 SOS 776801 HAS SOPS 776801 HAS SOUS 333988 HAS SOUPS 333988 WITH SCORE 334764.801
AT ITER 5457 NEW BEST:: SOT 3951578 SOS 776813 HAS SOPS 776813 HAS SOUS 333944 HAS SOUPS 333944 WITH SCORE 334720.813
AT ITER 5459 NEW BEST:: SOT 3951371 SOS 776399 HAS SOPS 776399 HAS SOUS 333909 HAS SOUPS 333909 WITH SCORE 334685.399
AT ITER 5473 NEW BEST:: SOT 3951231 SOS 776119 HAS SOPS 776119 HAS SOUS 333629 HAS SOUPS 333629 WITH SCORE 334405.119
AT ITER 5492 NEW BEST:: SOT 3951070 SOS 775797 HAS SOPS 775797 HAS SOUS 333428 HAS SOUPS 333428 WITH SCORE 334203.797
AT ITER 5587 NEW BEST:: SOT 3951069 SOS 775796 HAS SOPS 775796 HAS SOUS 333426 HAS SOUPS 333426 WITH SCORE 334201.796
AT ITER 5593 NEW BEST:: SOT 3951068 SOS 775795 HAS SOPS 775795 HAS SOUS 333424 HAS SOUPS 333424 WITH SCORE 334199.795
AT ITER 5618 NEW BEST:: SOT 3950995 SOS 775529 HAS SOPS 775529 HAS SOUS 333278 HAS SOUPS 333278 WITH SCORE 334053.529
AT ITER 5651 NEW BEST:: SOT 3950866 SOS 775271 HAS SOPS 775271 HAS SOUS 333020 HAS SOUPS 333020 WITH SCORE 333795.271
AT ITER 5666 NEW BEST:: SOT 3950727 SOS 775079 HAS SOPS 775079 HAS SOUS 332729 HAS SOUPS 332729 WITH SCORE 333504.079
AT ITER 5667 NEW BEST:: SOT 3950430 SOS 774485 HAS SOPS 774485 HAS SOUS 332135 HAS SOUPS 332135 WITH SCORE 332909.485
AT ITER 5668 NEW BEST:: SOT 3948995 SOS 773004 HAS SOPS 773004 HAS SOUS 330654 HAS SOUPS 330654 WITH SCORE 331427.004
AT ITER 5686 NEW BEST:: SOT 3948972 SOS 772958 HAS SOPS 772958 HAS SOUS 330631 HAS SOUPS 330631 WITH SCORE 331403.958
AT ITER 5696 NEW BEST:: SOT 3948943 SOS 770560 HAS SOPS 770560 HAS SOUS 330398 HAS SOUPS 330398 WITH SCORE 331168.56
AT ITER 5702 NEW BEST:: SOT 3948885 SOS 770444 HAS SOPS 770444 HAS SOUS 330282 HAS SOUPS 330282 WITH SCORE 331052.444
AT ITER 5717 NEW BEST:: SOT 3948853 SOS 770380 HAS SOPS 770380 HAS SOUS 330218 HAS SOUPS 330218 WITH SCORE 330988.38
AT ITER 5723 NEW BEST:: SOT 3948853 SOS 770356 HAS SOPS 770356 HAS SOUS 330214 HAS SOUPS 330214 WITH SCORE 330984.356
AT ITER 5743 NEW BEST:: SOT 3948758 SOS 770166 HAS SOPS 770166 HAS SOUS 330119 HAS SOUPS 330119 WITH SCORE 330889.166
AT ITER 5793 NEW BEST:: SOT 3948743 SOS 770136 HAS SOPS 770136 HAS SOUS 330089 HAS SOUPS 330089 WITH SCORE 330859.136
AT ITER 5797 NEW BEST:: SOT 3948742 SOS 770134 HAS SOPS 770134 HAS SOUS 330087 HAS SOUPS 330087 WITH SCORE 330857.134
AT ITER 5854 NEW BEST:: SOT 3948742 SOS 770102 HAS SOPS 770102 HAS SOUS 330087 HAS SOUPS 330087 WITH SCORE 330857.102
AT ITER 5868 NEW BEST:: SOT 3948739 SOS 770015 HAS SOPS 770015 HAS SOUS 330081 HAS SOUPS 330081 WITH SCORE 330851.015
AT ITER 5871 NEW BEST:: SOT 3948739 SOS 769998 HAS SOPS 769998 HAS SOUS 330064 HAS SOUPS 330064 WITH SCORE 330833.998
AT ITER 5873 NEW BEST:: SOT 3948680 SOS 769880 HAS SOPS 769880 HAS SOUS 329946 HAS SOUPS 329946 WITH SCORE 330715.88
AT ITER 5875 NEW BEST:: SOT 3948680 SOS 769880 HAS SOPS 769880 HAS SOUS 329821 HAS SOUPS 329821 WITH SCORE 330590.88
AT ITER 5907 NEW BEST:: SOT 3948637 SOS 769794 HAS SOPS 769794 HAS SOUS 329735 HAS SOUPS 329735 WITH SCORE 330504.794
AT ITER 5929 NEW BEST:: SOT 3948564 SOS 769743 HAS SOPS 769743 HAS SOUS 329589 HAS SOUPS 329589 WITH SCORE 330358.743
AT ITER 5932 NEW BEST:: SOT 3948446 SOS 769507 HAS SOPS 769507 HAS SOUS 329433 HAS SOUPS 329433 WITH SCORE 330202.507
AT ITER 5938 NEW BEST:: SOT 3948402 SOS 769463 HAS SOPS 769463 HAS SOUS 329389 HAS SOUPS 329389 WITH SCORE 330158.463
AT ITER 5945 NEW BEST:: SOT 3948379 SOS 769417 HAS SOPS 769417 HAS SOUS 329343 HAS SOUPS 329343 WITH SCORE 330112.417
AT ITER 5950 NEW BEST:: SOT 3948114 SOS 768887 HAS SOPS 768887 HAS SOUS 328813 HAS SOUPS 328813 WITH SCORE 329581.887
AT ITER 5977 NEW BEST:: SOT 3948068 SOS 768795 HAS SOPS 768795 HAS SOUS 328767 HAS SOUPS 328767 WITH SCORE 329535.795
AT ITER 6010 NEW BEST:: SOT 3947832 SOS 768323 HAS SOPS 768323 HAS SOUS 328531 HAS SOUPS 328531 WITH SCORE 329299.323
AT ITER 6017 NEW BEST:: SOT 3947758 SOS 768175 HAS SOPS 768175 HAS SOUS 328383 HAS SOUPS 328383 WITH SCORE 329151.175
AT ITER 6066 NEW BEST:: SOT 3947679 SOS 767973 HAS SOPS 767973 HAS SOUS 328181 HAS SOUPS 328181 WITH SCORE 328948.973
AT ITER 6094 NEW BEST:: SOT 3947679 SOS 767973 HAS SOPS 767973 HAS SOUS 328157 HAS SOUPS 328157 WITH SCORE 328924.973
AT ITER 6120 NEW BEST:: SOT 3947679 SOS 767973 HAS SOPS 767973 HAS SOUS 328053 HAS SOUPS 328053 WITH SCORE 328820.973
AT ITER 6182 NEW BEST:: SOT 3947559 SOS 767651 HAS SOPS 767651 HAS SOUS 327943 HAS SOUPS 327943 WITH SCORE 328710.651
AT ITER 6247 NEW BEST:: SOT 3947556 SOS 767645 HAS SOPS 767645 HAS SOUS 327940 HAS SOUPS 327940 WITH SCORE 328707.645
AT ITER 6304 NEW BEST:: SOT 3947555 SOS 767643 HAS SOPS 767643 HAS SOUS 327938 HAS SOUPS 327938 WITH SCORE 328705.643
AT ITER 6320 NEW BEST:: SOT 3947555 SOS 767568 HAS SOPS 767568 HAS SOUS 327863 HAS SOUPS 327863 WITH SCORE 328630.568
AT ITER 6348 NEW BEST:: SOT 3947501 SOS 767460 HAS SOPS 767460 HAS SOUS 327755 HAS SOUPS 327755 WITH SCORE 328522.46
AT ITER 6353 NEW BEST:: SOT 3947454 SOS 767366 HAS SOPS 767366 HAS SOUS 327735 HAS SOUPS 327735 WITH SCORE 328502.366
AT ITER 6382 NEW BEST:: SOT 3947355 SOS 767168 HAS SOPS 767168 HAS SOUS 327537 HAS SOUPS 327537 WITH SCORE 328304.168
AT ITER 6429 NEW BEST:: SOT 3947289 SOS 767036 HAS SOPS 767036 HAS SOUS 327405 HAS SOUPS 327405 WITH SCORE 328172.036
AT ITER 6432 NEW BEST:: SOT 3947183 SOS 766824 HAS SOPS 766824 HAS SOUS 327299 HAS SOUPS 327299 WITH SCORE 328065.824
AT ITER 6449 NEW BEST:: SOT 3947161 SOS 766780 HAS SOPS 766780 HAS SOUS 327255 HAS SOUPS 327255 WITH SCORE 328021.78
AT ITER 6552 NEW BEST:: SOT 3947149 SOS 766756 HAS SOPS 766756 HAS SOUS 327231 HAS SOUPS 327231 WITH SCORE 327997.756
AT ITER 6581 NEW BEST:: SOT 3947148 SOS 766754 HAS SOPS 766754 HAS SOUS 327229 HAS SOUPS 327229 WITH SCORE 327995.754
AT ITER 6584 NEW BEST:: SOT 3947139 SOS 766736 HAS SOPS 766736 HAS SOUS 327211 HAS SOUPS 327211 WITH SCORE 327977.736
AT ITER 6602 NEW BEST:: SOT 3947126 SOS 766710 HAS SOPS 766710 HAS SOUS 327185 HAS SOUPS 327185 WITH SCORE 327951.71
AT ITER 6613 NEW BEST:: SOT 3947002 SOS 766462 HAS SOPS 766462 HAS SOUS 327061 HAS SOUPS 327061 WITH SCORE 327827.462
AT ITER 6633 NEW BEST:: SOT 3944948 SOS 788844 HAS SOPS 788844 HAS SOUS 326091 HAS SOUPS 326091 WITH SCORE 326879.844
AT ITER 6653 NEW BEST:: SOT 3944857 SOS 788662 HAS SOPS 788662 HAS SOUS 326017 HAS SOUPS 326017 WITH SCORE 326805.662
AT ITER 6674 NEW BEST:: SOT 3944819 SOS 788586 HAS SOPS 788586 HAS SOUS 325941 HAS SOUPS 325941 WITH SCORE 326729.586
AT ITER 6705 NEW BEST:: SOT 3944754 SOS 788521 HAS SOPS 788521 HAS SOUS 325876 HAS SOUPS 325876 WITH SCORE 326664.521
AT ITER 6719 NEW BEST:: SOT 3944724 SOS 788357 HAS SOPS 788357 HAS SOUS 325779 HAS SOUPS 325779 WITH SCORE 326567.357
AT ITER 6731 NEW BEST:: SOT 3944702 SOS 788335 HAS SOPS 788335 HAS SOUS 325721 HAS SOUPS 325721 WITH SCORE 326509.335
AT ITER 6736 NEW BEST:: SOT 3941749 SOS 786115 HAS SOPS 786115 HAS SOUS 323277 HAS SOUPS 323277 WITH SCORE 324063.115
AT ITER 6746 NEW BEST:: SOT 3941636 SOS 785778 HAS SOPS 785778 HAS SOUS 323051 HAS SOUPS 323051 WITH SCORE 323836.778
AT ITER 6785 NEW BEST:: SOT 3941510 SOS 785526 HAS SOPS 785526 HAS SOUS 322932 HAS SOUPS 322932 WITH SCORE 323717.526
AT ITER 6793 NEW BEST:: SOT 3941408 SOS 785211 HAS SOPS 785211 HAS SOUS 322728 HAS SOUPS 322728 WITH SCORE 323513.211
AT ITER 6854 NEW BEST:: SOT 3941403 SOS 785201 HAS SOPS 785201 HAS SOUS 322718 HAS SOUPS 322718 WITH SCORE 323503.201
AT ITER 6901 NEW BEST:: SOT 3941244 SOS 785027 HAS SOPS 785027 HAS SOUS 322544 HAS SOUPS 322544 WITH SCORE 323329.027
AT ITER 6916 NEW BEST:: SOT 3941158 SOS 784855 HAS SOPS 784855 HAS SOUS 322415 HAS SOUPS 322415 WITH SCORE 323199.855
AT ITER 6917 NEW BEST:: SOT 3941140 SOS 784819 HAS SOPS 784819 HAS SOUS 322379 HAS SOUPS 322379 WITH SCORE 323163.819
AT ITER 6981 NEW BEST:: SOT 3941129 SOS 784797 HAS SOPS 784797 HAS SOUS 322357 HAS SOUPS 322357 WITH SCORE 323141.797
AT ITER 6987 NEW BEST:: SOT 3941128 SOS 784826 HAS SOPS 784826 HAS SOUS 322355 HAS SOUPS 322355 WITH SCORE 323139.826
AT ITER 7006 NEW BEST:: SOT 3941127 SOS 784824 HAS SOPS 784824 HAS SOUS 322353 HAS SOUPS 322353 WITH SCORE 323137.824
AT ITER 7010 NEW BEST:: SOT 3941095 SOS 784760 HAS SOPS 784760 HAS SOUS 322289 HAS SOUPS 322289 WITH SCORE 323073.76
AT ITER 7012 NEW BEST:: SOT 3941063 SOS 784712 HAS SOPS 784712 HAS SOUS 322241 HAS SOUPS 322241 WITH SCORE 323025.712
AT ITER 7019 NEW BEST:: SOT 3941063 SOS 785684 HAS SOPS 785684 HAS SOUS 322133 HAS SOUPS 322133 WITH SCORE 322918.684
AT ITER 7038 NEW BEST:: SOT 3941054 SOS 785666 HAS SOPS 785666 HAS SOUS 322115 HAS SOUPS 322115 WITH SCORE 322900.666
AT ITER 7044 NEW BEST:: SOT 3941023 SOS 785603 HAS SOPS 785603 HAS SOUS 322052 HAS SOUPS 322052 WITH SCORE 322837.603
AT ITER 7050 NEW BEST:: SOT 3940988 SOS 785533 HAS SOPS 785533 HAS SOUS 321982 HAS SOUPS 321982 WITH SCORE 322767.533
AT ITER 7107 NEW BEST:: SOT 3940880 SOS 778501 HAS SOPS 778501 HAS SOUS 320810 HAS SOUPS 320810 WITH SCORE 321588.501
AT ITER 7115 NEW BEST:: SOT 3940825 SOS 778391 HAS SOPS 778391 HAS SOUS 320700 HAS SOUPS 320700 WITH SCORE 321478.391
AT ITER 7121 NEW BEST:: SOT 3940790 SOS 778356 HAS SOPS 778356 HAS SOUS 320579 HAS SOUPS 320579 WITH SCORE 321357.356
AT ITER 7152 NEW BEST:: SOT 3941263 SOS 766496 HAS SOPS 766496 HAS SOUS 320518 HAS SOUPS 320518 WITH SCORE 321284.496
AT ITER 7158 NEW BEST:: SOT 3941261 SOS 766492 HAS SOPS 766492 HAS SOUS 320514 HAS SOUPS 320514 WITH SCORE 321280.492
AT ITER 7233 NEW BEST:: SOT 3941238 SOS 766446 HAS SOPS 766446 HAS SOUS 320468 HAS SOUPS 320468 WITH SCORE 321234.446
AT ITER 7261 NEW BEST:: SOT 3941194 SOS 766402 HAS SOPS 766402 HAS SOUS 320424 HAS SOUPS 320424 WITH SCORE 321190.402
AT ITER 7290 NEW BEST:: SOT 3941098 SOS 766306 HAS SOPS 766306 HAS SOUS 320261 HAS SOUPS 320261 WITH SCORE 321027.306
AT ITER 7306 NEW BEST:: SOT 3940984 SOS 766366 HAS SOPS 766366 HAS SOUS 320243 HAS SOUPS 320243 WITH SCORE 321009.366
AT ITER 7328 NEW BEST:: SOT 3940928 SOS 766315 HAS SOPS 766315 HAS SOUS 320189 HAS SOUPS 320189 WITH SCORE 320955.315
AT ITER 7329 NEW BEST:: SOT 3940916 SOS 766040 HAS SOPS 766040 HAS SOUS 320165 HAS SOUPS 320165 WITH SCORE 320931.04
AT ITER 7416 NEW BEST:: SOT 3940862 SOS 765892 HAS SOPS 765892 HAS SOUS 320033 HAS SOUPS 320033 WITH SCORE 320798.892
AT ITER 7432 NEW BEST:: SOT 3940920 SOS 766430 HAS SOPS 766430 HAS SOUS 319931 HAS SOUPS 319931 WITH SCORE 320697.43
AT ITER 7435 NEW BEST:: SOT 3940878 SOS 744753 HAS SOPS 744753 HAS SOUS 318883 HAS SOUPS 318883 WITH SCORE 319627.753
AT ITER 7456 NEW BEST:: SOT 3940824 SOS 744645 HAS SOPS 744645 HAS SOUS 318775 HAS SOUPS 318775 WITH SCORE 319519.645
AT ITER 7459 NEW BEST:: SOT 3940719 SOS 744435 HAS SOPS 744435 HAS SOUS 318565 HAS SOUPS 318565 WITH SCORE 319309.435
AT ITER 7564 NEW BEST:: SOT 3940535 SOS 744067 HAS SOPS 744067 HAS SOUS 318197 HAS SOUPS 318197 WITH SCORE 318941.067
AT ITER 7578 NEW BEST:: SOT 3940487 SOS 743971 HAS SOPS 743971 HAS SOUS 318101 HAS SOUPS 318101 WITH SCORE 318844.971
AT ITER 7645 NEW BEST:: SOT 3940465 SOS 743927 HAS SOPS 743927 HAS SOUS 318057 HAS SOUPS 318057 WITH SCORE 318800.927
AT ITER 7648 NEW BEST:: SOT 3940430 SOS 743857 HAS SOPS 743857 HAS SOUS 318022 HAS SOUPS 318022 WITH SCORE 318765.857
AT ITER 7672 NEW BEST:: SOT 3940413 SOS 743643 HAS SOPS 743643 HAS SOUS 318005 HAS SOUPS 318005 WITH SCORE 318748.643
AT ITER 7705 NEW BEST:: SOT 3940407 SOS 743631 HAS SOPS 743631 HAS SOUS 317993 HAS SOUPS 317993 WITH SCORE 318736.631
AT ITER 7716 NEW BEST:: SOT 3940329 SOS 743475 HAS SOPS 743475 HAS SOUS 317915 HAS SOUPS 317915 WITH SCORE 318658.475
AT ITER 7719 NEW BEST:: SOT 3939901 SOS 742619 HAS SOPS 742619 HAS SOUS 317487 HAS SOUPS 317487 WITH SCORE 318229.619
AT ITER 7758 NEW BEST:: SOT 3939894 SOS 742612 HAS SOPS 742612 HAS SOUS 317473 HAS SOUPS 317473 WITH SCORE 318215.612
AT ITER 7761 NEW BEST:: SOT 3939706 SOS 742420 HAS SOPS 742420 HAS SOUS 317279 HAS SOUPS 317279 WITH SCORE 318021.42
AT ITER 7774 NEW BEST:: SOT 3939704 SOS 742416 HAS SOPS 742416 HAS SOUS 317275 HAS SOUPS 317275 WITH SCORE 318017.416
AT ITER 7887 NEW BEST:: SOT 3939693 SOS 742332 HAS SOPS 742332 HAS SOUS 317263 HAS SOUPS 317263 WITH SCORE 318005.332
AT ITER 7896 NEW BEST:: SOT 3939629 SOS 742204 HAS SOPS 742204 HAS SOUS 317199 HAS SOUPS 317199 WITH SCORE 317941.204
AT ITER 7907 NEW BEST:: SOT 3939627 SOS 742200 HAS SOPS 742200 HAS SOUS 317195 HAS SOUPS 317195 WITH SCORE 317937.2
AT ITER 7960 NEW BEST:: SOT 3939613 SOS 742172 HAS SOPS 742172 HAS SOUS 317181 HAS SOUPS 317181 WITH SCORE 317923.172
AT ITER 7963 NEW BEST:: SOT 3939557 SOS 742060 HAS SOPS 742060 HAS SOUS 317069 HAS SOUPS 317069 WITH SCORE 317811.06
AT ITER 8043 NEW BEST:: SOT 3939556 SOS 742058 HAS SOPS 742058 HAS SOUS 317067 HAS SOUPS 317067 WITH SCORE 317809.058
AT ITER 8045 NEW BEST:: SOT 3903339 SOS 874279 HAS SOPS 874279 HAS SOUS 288982 HAS SOUPS 288982 WITH SCORE 289856.279
AT ITER 8120 NEW BEST:: SOT 3903279 SOS 874159 HAS SOPS 874159 HAS SOUS 288862 HAS SOUPS 288862 WITH SCORE 289736.159
AT ITER 8123 NEW BEST:: SOT 3903192 SOS 874657 HAS SOPS 874657 HAS SOUS 288709 HAS SOUPS 288709 WITH SCORE 289583.657
AT ITER 8149 NEW BEST:: SOT 3903186 SOS 874645 HAS SOPS 874645 HAS SOUS 288697 HAS SOUPS 288697 WITH SCORE 289571.645
AT ITER 8155 NEW BEST:: SOT 3903186 SOS 874564 HAS SOPS 874564 HAS SOUS 288616 HAS SOUPS 288616 WITH SCORE 289490.564
AT ITER 8156 NEW BEST:: SOT 3903020 SOS 874232 HAS SOPS 874232 HAS SOUS 288284 HAS SOUPS 288284 WITH SCORE 289158.232
AT ITER 8159 NEW BEST:: SOT 3903008 SOS 874208 HAS SOPS 874208 HAS SOUS 288260 HAS SOUPS 288260 WITH SCORE 289134.208
AT ITER 8195 NEW BEST:: SOT 3902966 SOS 874124 HAS SOPS 874124 HAS SOUS 288218 HAS SOUPS 288218 WITH SCORE 289092.124
AT ITER 8209 NEW BEST:: SOT 3902932 SOS 874056 HAS SOPS 874056 HAS SOUS 288150 HAS SOUPS 288150 WITH SCORE 289024.056
AT ITER 8268 NEW BEST:: SOT 3902898 SOS 873988 HAS SOPS 873988 HAS SOUS 288082 HAS SOUPS 288082 WITH SCORE 288955.988
AT ITER 8275 NEW BEST:: SOT 3902858 SOS 873908 HAS SOPS 873908 HAS SOUS 288002 HAS SOUPS 288002 WITH SCORE 288875.908
AT ITER 8276 NEW BEST:: SOT 3902911 SOS 874014 HAS SOPS 874014 HAS SOUS 287860 HAS SOUPS 287860 WITH SCORE 288734.014
AT ITER 8280 NEW BEST:: SOT 3902911 SOS 874014 HAS SOPS 874014 HAS SOUS 287606 HAS SOUPS 287606 WITH SCORE 288480.014
AT ITER 8292 NEW BEST:: SOT 3902874 SOS 873940 HAS SOPS 873940 HAS SOUS 287569 HAS SOUPS 287569 WITH SCORE 288442.94
AT ITER 8314 NEW BEST:: SOT 3902816 SOS 873824 HAS SOPS 873824 HAS SOUS 287453 HAS SOUPS 287453 WITH SCORE 288326.824
AT ITER 8347 NEW BEST:: SOT 3902763 SOS 873718 HAS SOPS 873718 HAS SOUS 287347 HAS SOUPS 287347 WITH SCORE 288220.718
AT ITER 8350 NEW BEST:: SOT 3902741 SOS 873674 HAS SOPS 873674 HAS SOUS 287303 HAS SOUPS 287303 WITH SCORE 288176.674
AT ITER 8375 NEW BEST:: SOT 3902263 SOS 873262 HAS SOPS 873262 HAS SOUS 286891 HAS SOUPS 286891 WITH SCORE 287764.262
AT ITER 8384 NEW BEST:: SOT 3902198 SOS 873132 HAS SOPS 873132 HAS SOUS 286743 HAS SOUPS 286743 WITH SCORE 287616.132
AT ITER 8394 NEW BEST:: SOT 3902108 SOS 872952 HAS SOPS 872952 HAS SOUS 286563 HAS SOUPS 286563 WITH SCORE 287435.952
AT ITER 8398 NEW BEST:: SOT 3901849 SOS 711973 HAS SOPS 711973 HAS SOUS 285690 HAS SOUPS 285690 WITH SCORE 286401.973
AT ITER 8426 NEW BEST:: SOT 3901726 SOS 711727 HAS SOPS 711727 HAS SOUS 285432 HAS SOUPS 285432 WITH SCORE 286143.727
AT ITER 8430 NEW BEST:: SOT 3901690 SOS 711695 HAS SOPS 711695 HAS SOUS 285400 HAS SOUPS 285400 WITH SCORE 286111.695
AT ITER 8461 NEW BEST:: SOT 3901554 SOS 711423 HAS SOPS 711423 HAS SOUS 285128 HAS SOUPS 285128 WITH SCORE 285839.423
AT ITER 8466 NEW BEST:: SOT 3901540 SOS 711395 HAS SOPS 711395 HAS SOUS 285107 HAS SOUPS 285107 WITH SCORE 285818.395
AT ITER 8471 NEW BEST:: SOT 3901504 SOS 711323 HAS SOPS 711323 HAS SOUS 285035 HAS SOUPS 285035 WITH SCORE 285746.323
AT ITER 8561 NEW BEST:: SOT 3901456 SOS 711227 HAS SOPS 711227 HAS SOUS 284939 HAS SOUPS 284939 WITH SCORE 285650.227
AT ITER 8591 NEW BEST:: SOT 3901250 SOS 710907 HAS SOPS 710907 HAS SOUS 284567 HAS SOUPS 284567 WITH SCORE 285277.907
AT ITER 8610 NEW BEST:: SOT 3901250 SOS 710858 HAS SOPS 710858 HAS SOUS 284567 HAS SOUPS 284567 WITH SCORE 285277.858
AT ITER 8643 NEW BEST:: SOT 3901248 SOS 710753 HAS SOPS 710753 HAS SOUS 284563 HAS SOUPS 284563 WITH SCORE 285273.753
AT ITER 8654 NEW BEST:: SOT 3901195 SOS 710647 HAS SOPS 710647 HAS SOUS 284516 HAS SOUPS 284516 WITH SCORE 285226.647
AT ITER 8662 NEW BEST:: SOT 3901177 SOS 710611 HAS SOPS 710611 HAS SOUS 284480 HAS SOUPS 284480 WITH SCORE 285190.611
AT ITER 8667 NEW BEST:: SOT 3901069 SOS 710395 HAS SOPS 710395 HAS SOUS 284222 HAS SOUPS 284222 WITH SCORE 284932.395
AT ITER 8737 NEW BEST:: SOT 3901046 SOS 710349 HAS SOPS 710349 HAS SOUS 284199 HAS SOUPS 284199 WITH SCORE 284909.349
AT ITER 8762 NEW BEST:: SOT 3901037 SOS 710331 HAS SOPS 710331 HAS SOUS 284181 HAS SOUPS 284181 WITH SCORE 284891.331
AT ITER 8791 NEW BEST:: SOT 3900990 SOS 710237 HAS SOPS 710237 HAS SOUS 284138 HAS SOUPS 284138 WITH SCORE 284848.237
AT ITER 8852 NEW BEST:: SOT 3900602 SOS 709461 HAS SOPS 709461 HAS SOUS 283557 HAS SOUPS 283557 WITH SCORE 284266.461
AT ITER 8879 NEW BEST:: SOT 3900476 SOS 709209 HAS SOPS 709209 HAS SOUS 283426 HAS SOUPS 283426 WITH SCORE 284135.209
AT ITER 8880 NEW BEST:: SOT 3900300 SOS 708857 HAS SOPS 708857 HAS SOUS 283074 HAS SOUPS 283074 WITH SCORE 283782.857
AT ITER 8885 NEW BEST:: SOT 3900213 SOS 708683 HAS SOPS 708683 HAS SOUS 282987 HAS SOUPS 282987 WITH SCORE 283695.683
AT ITER 8891 NEW BEST:: SOT 3900050 SOS 708468 HAS SOPS 708468 HAS SOUS 282745 HAS SOUPS 282745 WITH SCORE 283453.468
AT ITER 8901 NEW BEST:: SOT 3899996 SOS 708360 HAS SOPS 708360 HAS SOUS 282637 HAS SOUPS 282637 WITH SCORE 283345.36
AT ITER 8939 NEW BEST:: SOT 3899996 SOS 708360 HAS SOPS 708360 HAS SOUS 282636 HAS SOUPS 282636 WITH SCORE 283344.36
AT ITER 9006 NEW BEST:: SOT 3899981 SOS 708330 HAS SOPS 708330 HAS SOUS 282606 HAS SOUPS 282606 WITH SCORE 283314.33
AT ITER 9044 NEW BEST:: SOT 3899972 SOS 708312 HAS SOPS 708312 HAS SOUS 282588 HAS SOUPS 282588 WITH SCORE 283296.312
AT ITER 9063 NEW BEST:: SOT 3899915 SOS 708198 HAS SOPS 708198 HAS SOUS 282537 HAS SOUPS 282537 WITH SCORE 283245.198
AT ITER 9086 NEW BEST:: SOT 3899909 SOS 708186 HAS SOPS 708186 HAS SOUS 282525 HAS SOUPS 282525 WITH SCORE 283233.186
AT ITER 9109 NEW BEST:: SOT 3899888 SOS 708144 HAS SOPS 708144 HAS SOUS 282483 HAS SOUPS 282483 WITH SCORE 283191.144
AT ITER 9141 NEW BEST:: SOT 3899888 SOS 707995 HAS SOPS 707995 HAS SOUS 282185 HAS SOUPS 282185 WITH SCORE 282892.995
AT ITER 9238 NEW BEST:: SOT 3899888 SOS 707995 HAS SOPS 707995 HAS SOUS 282125 HAS SOUPS 282125 WITH SCORE 282832.995
AT ITER 9267 NEW BEST:: SOT 3899800 SOS 707743 HAS SOPS 707743 HAS SOUS 281888 HAS SOUPS 281888 WITH SCORE 282595.743
AT ITER 9278 NEW BEST:: SOT 3899793 SOS 707729 HAS SOPS 707729 HAS SOUS 281874 HAS SOUPS 281874 WITH SCORE 282581.729
AT ITER 9285 NEW BEST:: SOT 3899792 SOS 707727 HAS SOPS 707727 HAS SOUS 281872 HAS SOUPS 281872 WITH SCORE 282579.727
AT ITER 9303 NEW BEST:: SOT 3899792 SOS 707693 HAS SOPS 707693 HAS SOUS 281872 HAS SOUPS 281872 WITH SCORE 282579.693
AT ITER 9304 NEW BEST:: SOT 3899792 SOS 707693 HAS SOPS 707693 HAS SOUS 281834 HAS SOUPS 281834 WITH SCORE 282541.693
AT ITER 9309 NEW BEST:: SOT 3899738 SOS 707405 HAS SOPS 707405 HAS SOUS 281704 HAS SOUPS 281704 WITH SCORE 282411.405
AT ITER 9314 NEW BEST:: SOT 3899713 SOS 707355 HAS SOPS 707355 HAS SOUS 281654 HAS SOUPS 281654 WITH SCORE 282361.355
AT ITER 9315 NEW BEST:: SOT 3899720 SOS 707369 HAS SOPS 707369 HAS SOUS 281413 HAS SOUPS 281413 WITH SCORE 282120.369
AT ITER 9331 NEW BEST:: SOT 3899720 SOS 707321 HAS SOPS 707321 HAS SOUS 281413 HAS SOUPS 281413 WITH SCORE 282120.321
AT ITER 9337 NEW BEST:: SOT 3899716 SOS 707313 HAS SOPS 707313 HAS SOUS 281405 HAS SOUPS 281405 WITH SCORE 282112.313
AT ITER 9349 NEW BEST:: SOT 3899657 SOS 707195 HAS SOPS 707195 HAS SOUS 281287 HAS SOUPS 281287 WITH SCORE 281994.195
AT ITER 9383 NEW BEST:: SOT 3899643 SOS 707222 HAS SOPS 707222 HAS SOUS 281185 HAS SOUPS 281185 WITH SCORE 281892.222
AT ITER 9398 NEW BEST:: SOT 3899598 SOS 707132 HAS SOPS 707132 HAS SOUS 281174 HAS SOUPS 281174 WITH SCORE 281881.132
AT ITER 9406 NEW BEST:: SOT 3899589 SOS 707114 HAS SOPS 707114 HAS SOUS 281156 HAS SOUPS 281156 WITH SCORE 281863.114
AT ITER 9492 NEW BEST:: SOT 3899588 SOS 707112 HAS SOPS 707112 HAS SOUS 281154 HAS SOUPS 281154 WITH SCORE 281861.112
AT ITER 9503 NEW BEST:: SOT 3899561 SOS 702711 HAS SOPS 702711 HAS SOUS 281073 HAS SOUPS 281073 WITH SCORE 281775.711
AT ITER 9526 NEW BEST:: SOT 3899548 SOS 702508 HAS SOPS 702508 HAS SOUS 281022 HAS SOUPS 281022 WITH SCORE 281724.508
AT ITER 9540 NEW BEST:: SOT 3899462 SOS 702336 HAS SOPS 702336 HAS SOUS 280850 HAS SOUPS 280850 WITH SCORE 281552.336
AT ITER 9554 NEW BEST:: SOT 3899613 SOS 702638 HAS SOPS 702638 HAS SOUS 280763 HAS SOUPS 280763 WITH SCORE 281465.638
AT ITER 9644 NEW BEST:: SOT 3899613 SOS 702633 HAS SOPS 702633 HAS SOUS 280758 HAS SOUPS 280758 WITH SCORE 281460.633
AT ITER 9703 NEW BEST:: SOT 3899613 SOS 702633 HAS SOPS 702633 HAS SOUS 280732 HAS SOUPS 280732 WITH SCORE 281434.633
AT ITER 9748 NEW BEST:: SOT 3899613 SOS 702633 HAS SOPS 702633 HAS SOUS 280559 HAS SOUPS 280559 WITH SCORE 281261.633
AT ITER 9760 NEW BEST:: SOT 3899601 SOS 702609 HAS SOPS 702609 HAS SOUS 280535 HAS SOUPS 280535 WITH SCORE 281237.609
AT ITER 9794 NEW BEST:: SOT 3899549 SOS 702505 HAS SOPS 702505 HAS SOUS 280431 HAS SOUPS 280431 WITH SCORE 281133.505
AT ITER 9799 NEW BEST:: SOT 3899546 SOS 702499 HAS SOPS 702499 HAS SOUS 280378 HAS SOUPS 280378 WITH SCORE 281080.499
AT ITER 9826 NEW BEST:: SOT 3899470 SOS 702347 HAS SOPS 702347 HAS SOUS 280337 HAS SOUPS 280337 WITH SCORE 281039.347
AT ITER 9879 NEW BEST:: SOT 3899448 SOS 702283 HAS SOPS 702283 HAS SOUS 280293 HAS SOUPS 280293 WITH SCORE 280995.283
AT ITER 9888 NEW BEST:: SOT 3899310 SOS 702007 HAS SOPS 702007 HAS SOUS 280017 HAS SOUPS 280017 WITH SCORE 280719.007
AT ITER 9907 NEW BEST:: SOT 3899260 SOS 701964 HAS SOPS 701964 HAS SOUS 279974 HAS SOUPS 279974 WITH SCORE 280675.964
AT ITER 9951 NEW BEST:: SOT 3899259 SOS 701962 HAS SOPS 701962 HAS SOUS 279827 HAS SOUPS 279827 WITH SCORE 280528.962
AT ITER 9961 NEW BEST:: SOT 3899238 SOS 701920 HAS SOPS 701920 HAS SOUS 279785 HAS SOUPS 279785 WITH SCORE 280486.92
AT ITER 9963 NEW BEST:: SOT 3899075 SOS 701594 HAS SOPS 701594 HAS SOUS 279701 HAS SOUPS 279701 WITH SCORE 280402.594
AT ITER 9974 NEW BEST:: SOT 3899069 SOS 701582 HAS SOPS 701582 HAS SOUS 279689 HAS SOUPS 279689 WITH SCORE 280390.582
AT ITER 9978 NEW BEST:: SOT 3899068 SOS 701580 HAS SOPS 701580 HAS SOUS 279687 HAS SOUPS 279687 WITH SCORE 280388.58
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 13604992 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16116556 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="StigmergyCommit-PT-05b"
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 StigmergyCommit-PT-05b, 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 r459-smll-167912651300456"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/StigmergyCommit-PT-05b.tgz
mv StigmergyCommit-PT-05b 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 '
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 ;