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.r003-oct2-167813590500192.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is AirplaneLD-COL-0050, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-oct2-167813590500192
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 544K
-rw-r--r-- 1 mcc users 7.0K Feb 26 11:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 26 11:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.1K Feb 26 11:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 83K Feb 26 11:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 15:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 15:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 26 11:29 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 142K Feb 26 11:29 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.7K Feb 26 11:26 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 73K Feb 26 11:26 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_pt
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 46K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678472414671

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=AirplaneLD-COL-0050
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-10 18:20:17] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-10 18:20:17] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-10 18:20:17] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-10 18:20:17] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-10 18:20:18] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 690 ms
[2023-03-10 18:20:18] [INFO ] Detected 3 constant HL places corresponding to 152 PT places.
[2023-03-10 18:20:18] [INFO ] Imported 20 HL places and 15 HL transitions for a total of 369 PT places and 612.0 transition bindings in 36 ms.
[2023-03-10 18:20:18] [INFO ] Unfolded HLPN to a Petri net with 369 places and 408 transitions 1145 arcs in 49 ms.
[2023-03-10 18:20:18] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-10 18:20:18] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 369 places, 408 transitions and 1145 arcs took 18 ms.
Total runtime 1004 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AirplaneLD (COL), instance 0050
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 369 places, 408 transitions, 1145 arcs.
AT ITER 0 NEW BEST:: SOT 55943 SOS 41577 HAS SOPS 41577 HAS SOUS 12869 HAS SOUPS 12869 WITH SCORE 12910.577
AT ITER 4 NEW BEST:: SOT 55989 SOS 41623 HAS SOPS 41623 HAS SOUS 12857 HAS SOUPS 12857 WITH SCORE 12898.623
AT ITER 73 NEW BEST:: SOT 56061 SOS 41695 HAS SOPS 41695 HAS SOUS 12817 HAS SOUPS 12817 WITH SCORE 12858.695
AT ITER 131 NEW BEST:: SOT 55970 SOS 41422 HAS SOPS 41422 HAS SOUS 12817 HAS SOUPS 12817 WITH SCORE 12858.422
AT ITER 245 NEW BEST:: SOT 56051 SOS 41503 HAS SOPS 41503 HAS SOUS 12770 HAS SOUPS 12770 WITH SCORE 12811.503
AT ITER 349 NEW BEST:: SOT 53991 SOS 43513 HAS SOPS 43513 HAS SOUS 10713 HAS SOUPS 10713 WITH SCORE 10756.513
AT ITER 373 NEW BEST:: SOT 54016 SOS 43538 HAS SOPS 43538 HAS SOUS 10674 HAS SOUPS 10674 WITH SCORE 10717.538
AT ITER 398 NEW BEST:: SOT 53994 SOS 43516 HAS SOPS 43516 HAS SOUS 10653 HAS SOUPS 10653 WITH SCORE 10696.516
AT ITER 429 NEW BEST:: SOT 54092 SOS 43614 HAS SOPS 43614 HAS SOUS 10643 HAS SOUPS 10643 WITH SCORE 10686.614
AT ITER 453 NEW BEST:: SOT 54417 SOS 43915 HAS SOPS 43915 HAS SOUS 10638 HAS SOUPS 10638 WITH SCORE 10681.915
AT ITER 475 NEW BEST:: SOT 54399 SOS 43897 HAS SOPS 43897 HAS SOUS 10638 HAS SOUPS 10638 WITH SCORE 10681.897
AT ITER 498 NEW BEST:: SOT 54494 SOS 43992 HAS SOPS 43992 HAS SOUS 10587 HAS SOUPS 10587 WITH SCORE 10630.992
AT ITER 514 NEW BEST:: SOT 54581 SOS 44079 HAS SOPS 44079 HAS SOUS 10552 HAS SOUPS 10552 WITH SCORE 10596.079
AT ITER 535 NEW BEST:: SOT 54950 SOS 44406 HAS SOPS 44406 HAS SOUS 10525 HAS SOUPS 10525 WITH SCORE 10569.406
AT ITER 553 NEW BEST:: SOT 54991 SOS 44447 HAS SOPS 44447 HAS SOUS 10522 HAS SOUPS 10522 WITH SCORE 10566.447
AT ITER 559 NEW BEST:: SOT 55377 SOS 44796 HAS SOPS 44796 HAS SOUS 10506 HAS SOUPS 10506 WITH SCORE 10550.796
AT ITER 563 NEW BEST:: SOT 55792 SOS 45161 HAS SOPS 45161 HAS SOUS 10471 HAS SOUPS 10471 WITH SCORE 10516.161
AT ITER 569 NEW BEST:: SOT 55744 SOS 45113 HAS SOPS 45113 HAS SOUS 10423 HAS SOUPS 10423 WITH SCORE 10468.113
AT ITER 573 NEW BEST:: SOT 55948 SOS 45308 HAS SOPS 45308 HAS SOUS 10413 HAS SOUPS 10413 WITH SCORE 10458.308
AT ITER 576 NEW BEST:: SOT 56048 SOS 45408 HAS SOPS 45408 HAS SOUS 10389 HAS SOUPS 10389 WITH SCORE 10434.408
AT ITER 578 NEW BEST:: SOT 56016 SOS 45495 HAS SOPS 45495 HAS SOUS 10356 HAS SOUPS 10356 WITH SCORE 10401.495
AT ITER 592 NEW BEST:: SOT 56009 SOS 45488 HAS SOPS 45488 HAS SOUS 10349 HAS SOUPS 10349 WITH SCORE 10394.488
AT ITER 621 NEW BEST:: SOT 50951 SOS 40430 HAS SOPS 40430 HAS SOUS 5229 HAS SOUPS 5229 WITH SCORE 5269.43
AT ITER 622 NEW BEST:: SOT 50553 SOS 40285 HAS SOPS 40285 HAS SOUS 4842 HAS SOUPS 4842 WITH SCORE 4882.285
AT ITER 625 NEW BEST:: SOT 50495 SOS 40227 HAS SOPS 40227 HAS SOUS 4842 HAS SOUPS 4842 WITH SCORE 4882.227
AT ITER 635 NEW BEST:: SOT 50495 SOS 40227 HAS SOPS 40227 HAS SOUS 4804 HAS SOUPS 4804 WITH SCORE 4844.227
AT ITER 639 NEW BEST:: SOT 50484 SOS 40216 HAS SOPS 40216 HAS SOUS 4793 HAS SOUPS 4793 WITH SCORE 4833.216
AT ITER 681 NEW BEST:: SOT 50661 SOS 39980 HAS SOPS 39980 HAS SOUS 4763 HAS SOUPS 4763 WITH SCORE 4802.98
AT ITER 701 NEW BEST:: SOT 51076 SOS 40383 HAS SOPS 40383 HAS SOUS 4744 HAS SOUPS 4744 WITH SCORE 4784.383
AT ITER 749 NEW BEST:: SOT 51532 SOS 40816 HAS SOPS 40816 HAS SOUS 4740 HAS SOUPS 4740 WITH SCORE 4780.816
AT ITER 754 NEW BEST:: SOT 51518 SOS 40802 HAS SOPS 40802 HAS SOUS 4740 HAS SOUPS 4740 WITH SCORE 4780.802
AT ITER 772 NEW BEST:: SOT 51526 SOS 42947 HAS SOPS 42947 HAS SOUS 4690 HAS SOUPS 4690 WITH SCORE 4732.947
AT ITER 778 NEW BEST:: SOT 51515 SOS 42925 HAS SOPS 42925 HAS SOUS 4679 HAS SOUPS 4679 WITH SCORE 4721.925
AT ITER 807 NEW BEST:: SOT 51254 SOS 43169 HAS SOPS 43169 HAS SOUS 4424 HAS SOUPS 4424 WITH SCORE 4467.169
AT ITER 819 NEW BEST:: SOT 51235 SOS 43140 HAS SOPS 43140 HAS SOUS 4405 HAS SOUPS 4405 WITH SCORE 4448.14
AT ITER 826 NEW BEST:: SOT 51205 SOS 43110 HAS SOPS 43110 HAS SOUS 4402 HAS SOUPS 4402 WITH SCORE 4445.11
AT ITER 829 NEW BEST:: SOT 51197 SOS 43102 HAS SOPS 43102 HAS SOUS 4394 HAS SOUPS 4394 WITH SCORE 4437.102
AT ITER 830 NEW BEST:: SOT 51186 SOS 43077 HAS SOPS 43077 HAS SOUS 4383 HAS SOUPS 4383 WITH SCORE 4426.077
AT ITER 845 NEW BEST:: SOT 51175 SOS 43047 HAS SOPS 43047 HAS SOUS 4372 HAS SOUPS 4372 WITH SCORE 4415.047
AT ITER 846 NEW BEST:: SOT 51164 SOS 43031 HAS SOPS 43031 HAS SOUS 4361 HAS SOUPS 4361 WITH SCORE 4404.031
AT ITER 866 NEW BEST:: SOT 51341 SOS 43203 HAS SOPS 43203 HAS SOUS 4354 HAS SOUPS 4354 WITH SCORE 4397.203
AT ITER 868 NEW BEST:: SOT 51330 SOS 43189 HAS SOPS 43189 HAS SOUS 4343 HAS SOUPS 4343 WITH SCORE 4386.189
AT ITER 878 NEW BEST:: SOT 51796 SOS 43642 HAS SOPS 43642 HAS SOUS 4339 HAS SOUPS 4339 WITH SCORE 4382.642
AT ITER 879 NEW BEST:: SOT 51794 SOS 43640 HAS SOPS 43640 HAS SOUS 4337 HAS SOUPS 4337 WITH SCORE 4380.64
AT ITER 883 NEW BEST:: SOT 52182 SOS 44019 HAS SOPS 44019 HAS SOUS 4317 HAS SOUPS 4317 WITH SCORE 4361.019
AT ITER 892 NEW BEST:: SOT 52168 SOS 44002 HAS SOPS 44002 HAS SOUS 4303 HAS SOUPS 4303 WITH SCORE 4347.002
AT ITER 902 NEW BEST:: SOT 52168 SOS 43986 HAS SOPS 43986 HAS SOUS 4303 HAS SOUPS 4303 WITH SCORE 4346.986
AT ITER 908 NEW BEST:: SOT 52599 SOS 44395 HAS SOPS 44395 HAS SOUS 4270 HAS SOUPS 4270 WITH SCORE 4314.395
AT ITER 939 NEW BEST:: SOT 52941 SOS 44708 HAS SOPS 44708 HAS SOUS 4230 HAS SOUPS 4230 WITH SCORE 4274.708
AT ITER 941 NEW BEST:: SOT 52930 SOS 44679 HAS SOPS 44679 HAS SOUS 4219 HAS SOUPS 4219 WITH SCORE 4263.679
AT ITER 958 NEW BEST:: SOT 52930 SOS 44653 HAS SOPS 44653 HAS SOUS 4219 HAS SOUPS 4219 WITH SCORE 4263.653
AT ITER 963 NEW BEST:: SOT 52911 SOS 44631 HAS SOPS 44631 HAS SOUS 4200 HAS SOUPS 4200 WITH SCORE 4244.631
AT ITER 971 NEW BEST:: SOT 52889 SOS 44609 HAS SOPS 44609 HAS SOUS 4178 HAS SOUPS 4178 WITH SCORE 4222.609
AT ITER 973 NEW BEST:: SOT 52853 SOS 44573 HAS SOPS 44573 HAS SOUS 4178 HAS SOUPS 4178 WITH SCORE 4222.573
AT ITER 974 NEW BEST:: SOT 52848 SOS 44568 HAS SOPS 44568 HAS SOUS 4173 HAS SOUPS 4173 WITH SCORE 4217.568
AT ITER 987 NEW BEST:: SOT 52774 SOS 44494 HAS SOPS 44494 HAS SOUS 4173 HAS SOUPS 4173 WITH SCORE 4217.494
AT ITER 992 NEW BEST:: SOT 52774 SOS 44493 HAS SOPS 44493 HAS SOUS 4173 HAS SOUPS 4173 WITH SCORE 4217.493
AT ITER 999 NEW BEST:: SOT 52774 SOS 44493 HAS SOPS 44493 HAS SOUS 4169 HAS SOUPS 4169 WITH SCORE 4213.493
AT ITER 1000 NEW BEST:: SOT 52796 SOS 44508 HAS SOPS 44508 HAS SOUS 4147 HAS SOUPS 4147 WITH SCORE 4191.508
AT ITER 1070 NEW BEST:: SOT 53203 SOS 44909 HAS SOPS 44909 HAS SOUS 4130 HAS SOUPS 4130 WITH SCORE 4174.909
AT ITER 1076 NEW BEST:: SOT 53670 SOS 45352 HAS SOPS 45352 HAS SOUS 4095 HAS SOUPS 4095 WITH SCORE 4140.352
AT ITER 1098 NEW BEST:: SOT 53683 SOS 45378 HAS SOPS 45378 HAS SOUS 4093 HAS SOUPS 4093 WITH SCORE 4138.378
AT ITER 1128 NEW BEST:: SOT 53683 SOS 45378 HAS SOPS 45378 HAS SOUS 4065 HAS SOUPS 4065 WITH SCORE 4110.378
AT ITER 1148 NEW BEST:: SOT 53653 SOS 45318 HAS SOPS 45318 HAS SOUS 4065 HAS SOUPS 4065 WITH SCORE 4110.318
AT ITER 1186 NEW BEST:: SOT 53671 SOS 45321 HAS SOPS 45321 HAS SOUS 4047 HAS SOUPS 4047 WITH SCORE 4092.321
AT ITER 1188 NEW BEST:: SOT 53661 SOS 44223 HAS SOPS 44223 HAS SOUS 4048 HAS SOUPS 4048 WITH SCORE 4092.223
AT ITER 1194 NEW BEST:: SOT 53663 SOS 44223 HAS SOPS 44223 HAS SOUS 4046 HAS SOUPS 4046 WITH SCORE 4090.223
AT ITER 1198 NEW BEST:: SOT 53654 SOS 44214 HAS SOPS 44214 HAS SOUS 4037 HAS SOUPS 4037 WITH SCORE 4081.214
AT ITER 1203 NEW BEST:: SOT 53654 SOS 44211 HAS SOPS 44211 HAS SOUS 4037 HAS SOUPS 4037 WITH SCORE 4081.211
AT ITER 1214 NEW BEST:: SOT 53635 SOS 44189 HAS SOPS 44189 HAS SOUS 4018 HAS SOUPS 4018 WITH SCORE 4062.189
AT ITER 1217 NEW BEST:: SOT 54093 SOS 44626 HAS SOPS 44626 HAS SOUS 3986 HAS SOUPS 3986 WITH SCORE 4030.626
AT ITER 1256 NEW BEST:: SOT 54083 SOS 44616 HAS SOPS 44616 HAS SOUS 3976 HAS SOUPS 3976 WITH SCORE 4020.616
AT ITER 1270 NEW BEST:: SOT 54084 SOS 44616 HAS SOPS 44616 HAS SOUS 3975 HAS SOUPS 3975 WITH SCORE 4019.616
AT ITER 1279 NEW BEST:: SOT 54091 SOS 45793 HAS SOPS 45793 HAS SOUS 3932 HAS SOUPS 3932 WITH SCORE 3977.793
AT ITER 1283 NEW BEST:: SOT 54061 SOS 45757 HAS SOPS 45757 HAS SOUS 3920 HAS SOUPS 3920 WITH SCORE 3965.757
AT ITER 1298 NEW BEST:: SOT 53977 SOS 45673 HAS SOPS 45673 HAS SOUS 3910 HAS SOUPS 3910 WITH SCORE 3955.673
AT ITER 1302 NEW BEST:: SOT 53835 SOS 45531 HAS SOPS 45531 HAS SOUS 3910 HAS SOUPS 3910 WITH SCORE 3955.531
AT ITER 1309 NEW BEST:: SOT 53835 SOS 45529 HAS SOPS 45529 HAS SOUS 3910 HAS SOUPS 3910 WITH SCORE 3955.529
AT ITER 1316 NEW BEST:: SOT 53827 SOS 45521 HAS SOPS 45521 HAS SOUS 3910 HAS SOUPS 3910 WITH SCORE 3955.521
AT ITER 1318 NEW BEST:: SOT 53827 SOS 45521 HAS SOPS 45521 HAS SOUS 3869 HAS SOUPS 3869 WITH SCORE 3914.521
AT ITER 1332 NEW BEST:: SOT 53599 SOS 45293 HAS SOPS 45293 HAS SOUS 3869 HAS SOUPS 3869 WITH SCORE 3914.293
AT ITER 1379 NEW BEST:: SOT 53559 SOS 45253 HAS SOPS 45253 HAS SOUS 3869 HAS SOUPS 3869 WITH SCORE 3914.253
AT ITER 1380 NEW BEST:: SOT 53559 SOS 45236 HAS SOPS 45236 HAS SOUS 3843 HAS SOUPS 3843 WITH SCORE 3888.236
AT ITER 1433 NEW BEST:: SOT 53479 SOS 45156 HAS SOPS 45156 HAS SOUS 3843 HAS SOUPS 3843 WITH SCORE 3888.156
AT ITER 1441 NEW BEST:: SOT 53781 SOS 45458 HAS SOPS 45458 HAS SOUS 3837 HAS SOUPS 3837 WITH SCORE 3882.458
AT ITER 1465 NEW BEST:: SOT 53661 SOS 45338 HAS SOPS 45338 HAS SOUS 3837 HAS SOUPS 3837 WITH SCORE 3882.338
AT ITER 1469 NEW BEST:: SOT 53660 SOS 45337 HAS SOPS 45337 HAS SOUS 3836 HAS SOUPS 3836 WITH SCORE 3881.337
AT ITER 1486 NEW BEST:: SOT 53649 SOS 45326 HAS SOPS 45326 HAS SOUS 3825 HAS SOUPS 3825 WITH SCORE 3870.326
AT ITER 1490 NEW BEST:: SOT 53986 SOS 45663 HAS SOPS 45663 HAS SOUS 3818 HAS SOUPS 3818 WITH SCORE 3863.663
AT ITER 1493 NEW BEST:: SOT 53988 SOS 45661 HAS SOPS 45661 HAS SOUS 3814 HAS SOUPS 3814 WITH SCORE 3859.661
AT ITER 1504 NEW BEST:: SOT 53977 SOS 45625 HAS SOPS 45625 HAS SOUS 3803 HAS SOUPS 3803 WITH SCORE 3848.625
AT ITER 1522 NEW BEST:: SOT 53973 SOS 45621 HAS SOPS 45621 HAS SOUS 3803 HAS SOUPS 3803 WITH SCORE 3848.621
AT ITER 1553 NEW BEST:: SOT 53994 SOS 45642 HAS SOPS 45642 HAS SOUS 3782 HAS SOUPS 3782 WITH SCORE 3827.642
AT ITER 1596 NEW BEST:: SOT 54010 SOS 45658 HAS SOPS 45658 HAS SOUS 3766 HAS SOUPS 3766 WITH SCORE 3811.658
AT ITER 1601 NEW BEST:: SOT 54029 SOS 45658 HAS SOPS 45658 HAS SOUS 3747 HAS SOUPS 3747 WITH SCORE 3792.658
AT ITER 1650 NEW BEST:: SOT 54021 SOS 45650 HAS SOPS 45650 HAS SOUS 3739 HAS SOUPS 3739 WITH SCORE 3784.65
AT ITER 1660 NEW BEST:: SOT 54017 SOS 45646 HAS SOPS 45646 HAS SOUS 3735 HAS SOUPS 3735 WITH SCORE 3780.646
AT ITER 1669 NEW BEST:: SOT 53913 SOS 45542 HAS SOPS 45542 HAS SOUS 3735 HAS SOUPS 3735 WITH SCORE 3780.542
AT ITER 1676 NEW BEST:: SOT 53925 SOS 45566 HAS SOPS 45566 HAS SOUS 3723 HAS SOUPS 3723 WITH SCORE 3768.566
AT ITER 1692 NEW BEST:: SOT 54386 SOS 46027 HAS SOPS 46027 HAS SOUS 3686 HAS SOUPS 3686 WITH SCORE 3732.027
AT ITER 1724 NEW BEST:: SOT 54324 SOS 45965 HAS SOPS 45965 HAS SOUS 3686 HAS SOUPS 3686 WITH SCORE 3731.965
AT ITER 1738 NEW BEST:: SOT 54342 SOS 45976 HAS SOPS 45976 HAS SOUS 3668 HAS SOUPS 3668 WITH SCORE 3713.976
AT ITER 1739 NEW BEST:: SOT 54341 SOS 45975 HAS SOPS 45975 HAS SOUS 3667 HAS SOUPS 3667 WITH SCORE 3712.975
AT ITER 1747 NEW BEST:: SOT 54795 SOS 46429 HAS SOPS 46429 HAS SOUS 3649 HAS SOUPS 3649 WITH SCORE 3695.429
AT ITER 1751 NEW BEST:: SOT 54749 SOS 46383 HAS SOPS 46383 HAS SOUS 3649 HAS SOUPS 3649 WITH SCORE 3695.383
AT ITER 1776 NEW BEST:: SOT 54711 SOS 46333 HAS SOPS 46333 HAS SOUS 3611 HAS SOUPS 3611 WITH SCORE 3657.333
AT ITER 1793 NEW BEST:: SOT 54687 SOS 46297 HAS SOPS 46297 HAS SOUS 3587 HAS SOUPS 3587 WITH SCORE 3633.297
AT ITER 1797 NEW BEST:: SOT 54916 SOS 46526 HAS SOPS 46526 HAS SOUS 3584 HAS SOUPS 3584 WITH SCORE 3630.526
AT ITER 1798 NEW BEST:: SOT 54881 SOS 46491 HAS SOPS 46491 HAS SOUS 3549 HAS SOUPS 3549 WITH SCORE 3595.491
AT ITER 1836 NEW BEST:: SOT 54852 SOS 46450 HAS SOPS 46450 HAS SOUS 3520 HAS SOUPS 3520 WITH SCORE 3566.45
AT ITER 1840 NEW BEST:: SOT 54851 SOS 46449 HAS SOPS 46449 HAS SOUS 3519 HAS SOUPS 3519 WITH SCORE 3565.449
AT ITER 1852 NEW BEST:: SOT 54759 SOS 46357 HAS SOPS 46357 HAS SOUS 3519 HAS SOUPS 3519 WITH SCORE 3565.357
AT ITER 1867 NEW BEST:: SOT 55164 SOS 46762 HAS SOPS 46762 HAS SOUS 3500 HAS SOUPS 3500 WITH SCORE 3546.762
AT ITER 1891 NEW BEST:: SOT 55159 SOS 46757 HAS SOPS 46757 HAS SOUS 3495 HAS SOUPS 3495 WITH SCORE 3541.757
AT ITER 1911 NEW BEST:: SOT 55069 SOS 46667 HAS SOPS 46667 HAS SOUS 3495 HAS SOUPS 3495 WITH SCORE 3541.667
AT ITER 1925 NEW BEST:: SOT 55031 SOS 46621 HAS SOPS 46621 HAS SOUS 3457 HAS SOUPS 3457 WITH SCORE 3503.621
AT ITER 1939 NEW BEST:: SOT 54985 SOS 46575 HAS SOPS 46575 HAS SOUS 3457 HAS SOUPS 3457 WITH SCORE 3503.575
AT ITER 1966 NEW BEST:: SOT 54985 SOS 46563 HAS SOPS 46563 HAS SOUS 3457 HAS SOUPS 3457 WITH SCORE 3503.563
AT ITER 1986 NEW BEST:: SOT 54965 SOS 46543 HAS SOPS 46543 HAS SOUS 3457 HAS SOUPS 3457 WITH SCORE 3503.543
AT ITER 1994 NEW BEST:: SOT 54947 SOS 46518 HAS SOPS 46518 HAS SOUS 3439 HAS SOUPS 3439 WITH SCORE 3485.518
AT ITER 2022 NEW BEST:: SOT 55333 SOS 46904 HAS SOPS 46904 HAS SOUS 3435 HAS SOUPS 3435 WITH SCORE 3481.904
AT ITER 2033 NEW BEST:: SOT 55332 SOS 46903 HAS SOPS 46903 HAS SOUS 3434 HAS SOUPS 3434 WITH SCORE 3480.903
AT ITER 2107 NEW BEST:: SOT 55393 SOS 46964 HAS SOPS 46964 HAS SOUS 3401 HAS SOUPS 3401 WITH SCORE 3447.964
AT ITER 2138 NEW BEST:: SOT 55368 SOS 46930 HAS SOPS 46930 HAS SOUS 3376 HAS SOUPS 3376 WITH SCORE 3422.93
AT ITER 2157 NEW BEST:: SOT 55328 SOS 46890 HAS SOPS 46890 HAS SOUS 3376 HAS SOUPS 3376 WITH SCORE 3422.89
AT ITER 2165 NEW BEST:: SOT 55328 SOS 46879 HAS SOPS 46879 HAS SOUS 3376 HAS SOUPS 3376 WITH SCORE 3422.879
AT ITER 2173 NEW BEST:: SOT 55328 SOS 46879 HAS SOPS 46879 HAS SOUS 3375 HAS SOUPS 3375 WITH SCORE 3421.879
AT ITER 2183 NEW BEST:: SOT 55304 SOS 46855 HAS SOPS 46855 HAS SOUS 3375 HAS SOUPS 3375 WITH SCORE 3421.855
AT ITER 2227 NEW BEST:: SOT 55300 SOS 46851 HAS SOPS 46851 HAS SOUS 3375 HAS SOUPS 3375 WITH SCORE 3421.851
AT ITER 2228 NEW BEST:: SOT 54984 SOS 46535 HAS SOPS 46535 HAS SOUS 3333 HAS SOUPS 3333 WITH SCORE 3379.535
AT ITER 2231 NEW BEST:: SOT 54984 SOS 46535 HAS SOPS 46535 HAS SOUS 3329 HAS SOUPS 3329 WITH SCORE 3375.535
AT ITER 2246 NEW BEST:: SOT 54984 SOS 46535 HAS SOPS 46535 HAS SOUS 3307 HAS SOUPS 3307 WITH SCORE 3353.535
AT ITER 2267 NEW BEST:: SOT 54958 SOS 46511 HAS SOPS 46511 HAS SOUS 3283 HAS SOUPS 3283 WITH SCORE 3329.511
AT ITER 2315 NEW BEST:: SOT 54947 SOS 46500 HAS SOPS 46500 HAS SOUS 3272 HAS SOUPS 3272 WITH SCORE 3318.5
AT ITER 2324 NEW BEST:: SOT 54919 SOS 46472 HAS SOPS 46472 HAS SOUS 3272 HAS SOUPS 3272 WITH SCORE 3318.472
AT ITER 2327 NEW BEST:: SOT 54797 SOS 46350 HAS SOPS 46350 HAS SOUS 3272 HAS SOUPS 3272 WITH SCORE 3318.35
AT ITER 2350 NEW BEST:: SOT 54796 SOS 46349 HAS SOPS 46349 HAS SOUS 3271 HAS SOUPS 3271 WITH SCORE 3317.349
AT ITER 2360 NEW BEST:: SOT 54769 SOS 46322 HAS SOPS 46322 HAS SOUS 3244 HAS SOUPS 3244 WITH SCORE 3290.322
AT ITER 2377 NEW BEST:: SOT 54770 SOS 46124 HAS SOPS 46124 HAS SOUS 3241 HAS SOUPS 3241 WITH SCORE 3287.124
AT ITER 2390 NEW BEST:: SOT 54760 SOS 46114 HAS SOPS 46114 HAS SOUS 3231 HAS SOUPS 3231 WITH SCORE 3277.114
AT ITER 2396 NEW BEST:: SOT 54754 SOS 46108 HAS SOPS 46108 HAS SOUS 3231 HAS SOUPS 3231 WITH SCORE 3277.108
AT ITER 2403 NEW BEST:: SOT 54721 SOS 46063 HAS SOPS 46063 HAS SOUS 3207 HAS SOUPS 3207 WITH SCORE 3253.063
AT ITER 2428 NEW BEST:: SOT 54659 SOS 46001 HAS SOPS 46001 HAS SOUS 3207 HAS SOUPS 3207 WITH SCORE 3253.001
AT ITER 2485 NEW BEST:: SOT 54628 SOS 42891 HAS SOPS 42891 HAS SOUS 3207 HAS SOUPS 3207 WITH SCORE 3249.891
AT ITER 2527 NEW BEST:: SOT 54574 SOS 42837 HAS SOPS 42837 HAS SOUS 3207 HAS SOUPS 3207 WITH SCORE 3249.837
AT ITER 2564 NEW BEST:: SOT 54572 SOS 42835 HAS SOPS 42835 HAS SOUS 3205 HAS SOUPS 3205 WITH SCORE 3247.835
AT ITER 2570 NEW BEST:: SOT 54370 SOS 42633 HAS SOPS 42633 HAS SOUS 3205 HAS SOUPS 3205 WITH SCORE 3247.633
AT ITER 2580 NEW BEST:: SOT 54337 SOS 42599 HAS SOPS 42599 HAS SOUS 3172 HAS SOUPS 3172 WITH SCORE 3214.599
AT ITER 2603 NEW BEST:: SOT 54324 SOS 42586 HAS SOPS 42586 HAS SOUS 3159 HAS SOUPS 3159 WITH SCORE 3201.586
AT ITER 2616 NEW BEST:: SOT 54168 SOS 42430 HAS SOPS 42430 HAS SOUS 3144 HAS SOUPS 3144 WITH SCORE 3186.43
AT ITER 2665 NEW BEST:: SOT 54120 SOS 42382 HAS SOPS 42382 HAS SOUS 3144 HAS SOUPS 3144 WITH SCORE 3186.382
AT ITER 2668 NEW BEST:: SOT 53918 SOS 42180 HAS SOPS 42180 HAS SOUS 3144 HAS SOUPS 3144 WITH SCORE 3186.18
AT ITER 2678 NEW BEST:: SOT 53918 SOS 42180 HAS SOPS 42180 HAS SOUS 3142 HAS SOUPS 3142 WITH SCORE 3184.18
AT ITER 2695 NEW BEST:: SOT 53780 SOS 42042 HAS SOPS 42042 HAS SOUS 3142 HAS SOUPS 3142 WITH SCORE 3184.042
AT ITER 2716 NEW BEST:: SOT 53730 SOS 41992 HAS SOPS 41992 HAS SOUS 3142 HAS SOUPS 3142 WITH SCORE 3183.992
AT ITER 2718 NEW BEST:: SOT 53718 SOS 41980 HAS SOPS 41980 HAS SOUS 3136 HAS SOUPS 3136 WITH SCORE 3177.98
AT ITER 2736 NEW BEST:: SOT 53815 SOS 42077 HAS SOPS 42077 HAS SOUS 3129 HAS SOUPS 3129 WITH SCORE 3171.077
AT ITER 2749 NEW BEST:: SOT 53777 SOS 42039 HAS SOPS 42039 HAS SOUS 3129 HAS SOUPS 3129 WITH SCORE 3171.039
AT ITER 2803 NEW BEST:: SOT 53768 SOS 42026 HAS SOPS 42026 HAS SOUS 3120 HAS SOUPS 3120 WITH SCORE 3162.026
AT ITER 2882 NEW BEST:: SOT 53768 SOS 42026 HAS SOPS 42026 HAS SOUS 3119 HAS SOUPS 3119 WITH SCORE 3161.026
AT ITER 2895 NEW BEST:: SOT 53759 SOS 42008 HAS SOPS 42008 HAS SOUS 3119 HAS SOUPS 3119 WITH SCORE 3161.008
AT ITER 2928 NEW BEST:: SOT 53729 SOS 41981 HAS SOPS 41981 HAS SOUS 3086 HAS SOUPS 3086 WITH SCORE 3127.981
AT ITER 2980 NEW BEST:: SOT 53655 SOS 41907 HAS SOPS 41907 HAS SOUS 3086 HAS SOUPS 3086 WITH SCORE 3127.907
AT ITER 2988 NEW BEST:: SOT 53615 SOS 41867 HAS SOPS 41867 HAS SOUS 3086 HAS SOUPS 3086 WITH SCORE 3127.867
AT ITER 3003 NEW BEST:: SOT 53553 SOS 41805 HAS SOPS 41805 HAS SOUS 3086 HAS SOUPS 3086 WITH SCORE 3127.805
AT ITER 3007 NEW BEST:: SOT 53553 SOS 41805 HAS SOPS 41805 HAS SOUS 3085 HAS SOUPS 3085 WITH SCORE 3126.805
AT ITER 3039 NEW BEST:: SOT 53517 SOS 41760 HAS SOPS 41760 HAS SOUS 3067 HAS SOUPS 3067 WITH SCORE 3108.76
AT ITER 3122 NEW BEST:: SOT 53484 SOS 41715 HAS SOPS 41715 HAS SOUS 3034 HAS SOUPS 3034 WITH SCORE 3075.715
AT ITER 3141 NEW BEST:: SOT 53508 SOS 41719 HAS SOPS 41719 HAS SOUS 3010 HAS SOUPS 3010 WITH SCORE 3051.719
AT ITER 3154 NEW BEST:: SOT 53484 SOS 41695 HAS SOPS 41695 HAS SOUS 3010 HAS SOUPS 3010 WITH SCORE 3051.695
AT ITER 3167 NEW BEST:: SOT 53465 SOS 41664 HAS SOPS 41664 HAS SOUS 2991 HAS SOUPS 2991 WITH SCORE 3032.664
AT ITER 3211 NEW BEST:: SOT 53460 SOS 41659 HAS SOPS 41659 HAS SOUS 2988 HAS SOUPS 2988 WITH SCORE 3029.659
AT ITER 3248 NEW BEST:: SOT 53443 SOS 41630 HAS SOPS 41630 HAS SOUS 2971 HAS SOUPS 2971 WITH SCORE 3012.63
AT ITER 3289 NEW BEST:: SOT 53443 SOS 41630 HAS SOPS 41630 HAS SOUS 2965 HAS SOUPS 2965 WITH SCORE 3006.63
AT ITER 3293 NEW BEST:: SOT 53443 SOS 41630 HAS SOPS 41630 HAS SOUS 2963 HAS SOUPS 2963 WITH SCORE 3004.63
AT ITER 3403 NEW BEST:: SOT 53167 SOS 44856 HAS SOPS 44856 HAS SOUS 2688 HAS SOUPS 2688 WITH SCORE 2732.856
AT ITER 3411 NEW BEST:: SOT 53095 SOS 44784 HAS SOPS 44784 HAS SOUS 2688 HAS SOUPS 2688 WITH SCORE 2732.784
AT ITER 3444 NEW BEST:: SOT 53081 SOS 44770 HAS SOPS 44770 HAS SOUS 2674 HAS SOUPS 2674 WITH SCORE 2718.77
AT ITER 3460 NEW BEST:: SOT 53078 SOS 44758 HAS SOPS 44758 HAS SOUS 2671 HAS SOUPS 2671 WITH SCORE 2715.758
AT ITER 3467 NEW BEST:: SOT 53302 SOS 44976 HAS SOPS 44976 HAS SOUS 2653 HAS SOUPS 2653 WITH SCORE 2697.976
AT ITER 3476 NEW BEST:: SOT 53170 SOS 44844 HAS SOPS 44844 HAS SOUS 2653 HAS SOUPS 2653 WITH SCORE 2697.844
AT ITER 3528 NEW BEST:: SOT 53165 SOS 44839 HAS SOPS 44839 HAS SOUS 2648 HAS SOUPS 2648 WITH SCORE 2692.839
AT ITER 3593 NEW BEST:: SOT 53158 SOS 44816 HAS SOPS 44816 HAS SOUS 2641 HAS SOUPS 2641 WITH SCORE 2685.816
AT ITER 3594 NEW BEST:: SOT 53158 SOS 44816 HAS SOPS 44816 HAS SOUS 2597 HAS SOUPS 2597 WITH SCORE 2641.816
AT ITER 3596 NEW BEST:: SOT 53028 SOS 44686 HAS SOPS 44686 HAS SOUS 2597 HAS SOUPS 2597 WITH SCORE 2641.686
AT ITER 3659 NEW BEST:: SOT 52992 SOS 44650 HAS SOPS 44650 HAS SOUS 2597 HAS SOUPS 2597 WITH SCORE 2641.65
AT ITER 3665 NEW BEST:: SOT 52962 SOS 44620 HAS SOPS 44620 HAS SOUS 2597 HAS SOUPS 2597 WITH SCORE 2641.62
AT ITER 3705 NEW BEST:: SOT 52898 SOS 44556 HAS SOPS 44556 HAS SOUS 2597 HAS SOUPS 2597 WITH SCORE 2641.556
AT ITER 3829 NEW BEST:: SOT 52806 SOS 44464 HAS SOPS 44464 HAS SOUS 2597 HAS SOUPS 2597 WITH SCORE 2641.464
AT ITER 3876 NEW BEST:: SOT 52890 SOS 44548 HAS SOPS 44548 HAS SOUS 2575 HAS SOUPS 2575 WITH SCORE 2619.548
AT ITER 3886 NEW BEST:: SOT 52764 SOS 44422 HAS SOPS 44422 HAS SOUS 2575 HAS SOUPS 2575 WITH SCORE 2619.422
AT ITER 3912 NEW BEST:: SOT 52636 SOS 44294 HAS SOPS 44294 HAS SOUS 2575 HAS SOUPS 2575 WITH SCORE 2619.294
AT ITER 3983 NEW BEST:: SOT 52636 SOS 44294 HAS SOPS 44294 HAS SOUS 2570 HAS SOUPS 2570 WITH SCORE 2614.294
AT ITER 3988 NEW BEST:: SOT 52636 SOS 44294 HAS SOPS 44294 HAS SOUS 2569 HAS SOUPS 2569 WITH SCORE 2613.294
AT ITER 3992 NEW BEST:: SOT 52632 SOS 44290 HAS SOPS 44290 HAS SOUS 2565 HAS SOUPS 2565 WITH SCORE 2609.29
AT ITER 4014 NEW BEST:: SOT 52460 SOS 44118 HAS SOPS 44118 HAS SOUS 2561 HAS SOUPS 2561 WITH SCORE 2605.118
AT ITER 4026 NEW BEST:: SOT 52234 SOS 43892 HAS SOPS 43892 HAS SOUS 2561 HAS SOUPS 2561 WITH SCORE 2604.892
AT ITER 4055 NEW BEST:: SOT 52234 SOS 43892 HAS SOPS 43892 HAS SOUS 2530 HAS SOUPS 2530 WITH SCORE 2573.892
AT ITER 4057 NEW BEST:: SOT 52255 SOS 43934 HAS SOPS 43934 HAS SOUS 2528 HAS SOUPS 2528 WITH SCORE 2571.934
AT ITER 4087 NEW BEST:: SOT 52263 SOS 43941 HAS SOPS 43941 HAS SOUS 2520 HAS SOUPS 2520 WITH SCORE 2563.941
AT ITER 4160 NEW BEST:: SOT 52260 SOS 43938 HAS SOPS 43938 HAS SOUS 2517 HAS SOUPS 2517 WITH SCORE 2560.938
AT ITER 4189 NEW BEST:: SOT 52257 SOS 43935 HAS SOPS 43935 HAS SOUS 2514 HAS SOUPS 2514 WITH SCORE 2557.935
AT ITER 4194 NEW BEST:: SOT 51997 SOS 43675 HAS SOPS 43675 HAS SOUS 2514 HAS SOUPS 2514 WITH SCORE 2557.675
AT ITER 4264 NEW BEST:: SOT 52007 SOS 43673 HAS SOPS 43673 HAS SOUS 2502 HAS SOUPS 2502 WITH SCORE 2545.673
AT ITER 4343 NEW BEST:: SOT 51861 SOS 43527 HAS SOPS 43527 HAS SOUS 2502 HAS SOUPS 2502 WITH SCORE 2545.527
AT ITER 4364 NEW BEST:: SOT 51861 SOS 43525 HAS SOPS 43525 HAS SOUS 2502 HAS SOUPS 2502 WITH SCORE 2545.525
AT ITER 4376 NEW BEST:: SOT 51861 SOS 43525 HAS SOPS 43525 HAS SOUS 2495 HAS SOUPS 2495 WITH SCORE 2538.525
AT ITER 4414 NEW BEST:: SOT 51858 SOS 43518 HAS SOPS 43518 HAS SOUS 2492 HAS SOUPS 2492 WITH SCORE 2535.518
AT ITER 4504 NEW BEST:: SOT 51879 SOS 43528 HAS SOPS 43528 HAS SOUS 2471 HAS SOUPS 2471 WITH SCORE 2514.528
AT ITER 4526 NEW BEST:: SOT 51869 SOS 43518 HAS SOPS 43518 HAS SOUS 2471 HAS SOUPS 2471 WITH SCORE 2514.518
AT ITER 4824 NEW BEST:: SOT 51842 SOS 40720 HAS SOPS 40720 HAS SOUS 2472 HAS SOUPS 2472 WITH SCORE 2512.72
AT ITER 4845 NEW BEST:: SOT 51842 SOS 40720 HAS SOPS 40720 HAS SOUS 2470 HAS SOUPS 2470 WITH SCORE 2510.72
AT ITER 4975 NEW BEST:: SOT 51722 SOS 40600 HAS SOPS 40600 HAS SOUS 2470 HAS SOUPS 2470 WITH SCORE 2510.6
AT ITER 4992 NEW BEST:: SOT 51722 SOS 40400 HAS SOPS 40400 HAS SOUS 2466 HAS SOUPS 2466 WITH SCORE 2506.4
AT ITER 5016 NEW BEST:: SOT 51722 SOS 40400 HAS SOPS 40400 HAS SOUS 2465 HAS SOUPS 2465 WITH SCORE 2505.4
AT ITER 5083 NEW BEST:: SOT 51706 SOS 40384 HAS SOPS 40384 HAS SOUS 2465 HAS SOUPS 2465 WITH SCORE 2505.384
AT ITER 5099 NEW BEST:: SOT 51698 SOS 40368 HAS SOPS 40368 HAS SOUS 2457 HAS SOUPS 2457 WITH SCORE 2497.368
AT ITER 5161 NEW BEST:: SOT 51552 SOS 40222 HAS SOPS 40222 HAS SOUS 2457 HAS SOUPS 2457 WITH SCORE 2497.222
AT ITER 5193 NEW BEST:: SOT 51552 SOS 40222 HAS SOPS 40222 HAS SOUS 2444 HAS SOUPS 2444 WITH SCORE 2484.222
AT ITER 5294 NEW BEST:: SOT 51424 SOS 40094 HAS SOPS 40094 HAS SOUS 2444 HAS SOUPS 2444 WITH SCORE 2484.094
AT ITER 5357 NEW BEST:: SOT 51358 SOS 40028 HAS SOPS 40028 HAS SOUS 2378 HAS SOUPS 2378 WITH SCORE 2418.028
AT ITER 5422 NEW BEST:: SOT 51356 SOS 40024 HAS SOPS 40024 HAS SOUS 2369 HAS SOUPS 2369 WITH SCORE 2409.024
AT ITER 5452 NEW BEST:: SOT 51356 SOS 40024 HAS SOPS 40024 HAS SOUS 2368 HAS SOUPS 2368 WITH SCORE 2408.024
AT ITER 5533 NEW BEST:: SOT 51344 SOS 40012 HAS SOPS 40012 HAS SOUS 2368 HAS SOUPS 2368 WITH SCORE 2408.012
AT ITER 5579 NEW BEST:: SOT 51339 SOS 40007 HAS SOPS 40007 HAS SOUS 2363 HAS SOUPS 2363 WITH SCORE 2403.007
AT ITER 5646 NEW BEST:: SOT 51336 SOS 40004 HAS SOPS 40004 HAS SOUS 2360 HAS SOUPS 2360 WITH SCORE 2400.004
AT ITER 5660 NEW BEST:: SOT 51336 SOS 40004 HAS SOPS 40004 HAS SOUS 2356 HAS SOUPS 2356 WITH SCORE 2396.004
AT ITER 5669 NEW BEST:: SOT 51258 SOS 39926 HAS SOPS 39926 HAS SOUS 2356 HAS SOUPS 2356 WITH SCORE 2395.926
AT ITER 5715 NEW BEST:: SOT 51482 SOS 40150 HAS SOPS 40150 HAS SOUS 2344 HAS SOUPS 2344 WITH SCORE 2384.15
AT ITER 5720 NEW BEST:: SOT 51460 SOS 40128 HAS SOPS 40128 HAS SOUS 2344 HAS SOUPS 2344 WITH SCORE 2384.128
AT ITER 5721 NEW BEST:: SOT 51457 SOS 40122 HAS SOPS 40122 HAS SOUS 2341 HAS SOUPS 2341 WITH SCORE 2381.122
AT ITER 5870 NEW BEST:: SOT 51431 SOS 40096 HAS SOPS 40096 HAS SOUS 2341 HAS SOUPS 2341 WITH SCORE 2381.096
AT ITER 5894 NEW BEST:: SOT 51440 SOS 40101 HAS SOPS 40101 HAS SOUS 2332 HAS SOUPS 2332 WITH SCORE 2372.101
AT ITER 5913 NEW BEST:: SOT 51228 SOS 39889 HAS SOPS 39889 HAS SOUS 2332 HAS SOUPS 2332 WITH SCORE 2371.889
AT ITER 5956 NEW BEST:: SOT 51228 SOS 39889 HAS SOPS 39889 HAS SOUS 2326 HAS SOUPS 2326 WITH SCORE 2365.889
AT ITER 5973 NEW BEST:: SOT 51226 SOS 39885 HAS SOPS 39885 HAS SOUS 2325 HAS SOUPS 2325 WITH SCORE 2364.885
AT ITER 6078 NEW BEST:: SOT 51226 SOS 39885 HAS SOPS 39885 HAS SOUS 2321 HAS SOUPS 2321 WITH SCORE 2360.885
AT ITER 6132 NEW BEST:: SOT 51186 SOS 39845 HAS SOPS 39845 HAS SOUS 2321 HAS SOUPS 2321 WITH SCORE 2360.845
AT ITER 6257 NEW BEST:: SOT 51191 SOS 39847 HAS SOPS 39847 HAS SOUS 2316 HAS SOUPS 2316 WITH SCORE 2355.847
AT ITER 6293 NEW BEST:: SOT 51191 SOS 39843 HAS SOPS 39843 HAS SOUS 2314 HAS SOUPS 2314 WITH SCORE 2353.843
AT ITER 6328 NEW BEST:: SOT 51191 SOS 39843 HAS SOPS 39843 HAS SOUS 2312 HAS SOUPS 2312 WITH SCORE 2351.843
AT ITER 6380 NEW BEST:: SOT 51195 SOS 39847 HAS SOPS 39847 HAS SOUS 2308 HAS SOUPS 2308 WITH SCORE 2347.847
AT ITER 6403 NEW BEST:: SOT 51183 SOS 39835 HAS SOPS 39835 HAS SOUS 2308 HAS SOUPS 2308 WITH SCORE 2347.835
AT ITER 6491 NEW BEST:: SOT 51178 SOS 39825 HAS SOPS 39825 HAS SOUS 2303 HAS SOUPS 2303 WITH SCORE 2342.825
AT ITER 6509 NEW BEST:: SOT 51485 SOS 40131 HAS SOPS 40131 HAS SOUS 2302 HAS SOUPS 2302 WITH SCORE 2342.131
AT ITER 6578 NEW BEST:: SOT 51479 SOS 40119 HAS SOPS 40119 HAS SOUS 2294 HAS SOUPS 2294 WITH SCORE 2334.119
AT ITER 6642 NEW BEST:: SOT 51479 SOS 40110 HAS SOPS 40110 HAS SOUS 2276 HAS SOUPS 2276 WITH SCORE 2316.11
AT ITER 6741 NEW BEST:: SOT 51451 SOS 40082 HAS SOPS 40082 HAS SOUS 2276 HAS SOUPS 2276 WITH SCORE 2316.082
AT ITER 6772 NEW BEST:: SOT 51414 SOS 40119 HAS SOPS 40119 HAS SOUS 2250 HAS SOUPS 2250 WITH SCORE 2290.119
AT ITER 6776 NEW BEST:: SOT 51414 SOS 40119 HAS SOPS 40119 HAS SOUS 2248 HAS SOUPS 2248 WITH SCORE 2288.119
AT ITER 6823 NEW BEST:: SOT 51268 SOS 39973 HAS SOPS 39973 HAS SOUS 2248 HAS SOUPS 2248 WITH SCORE 2287.973
AT ITER 6835 NEW BEST:: SOT 51256 SOS 39961 HAS SOPS 39961 HAS SOUS 2236 HAS SOUPS 2236 WITH SCORE 2275.961
AT ITER 6847 NEW BEST:: SOT 51358 SOS 40063 HAS SOPS 40063 HAS SOUS 2232 HAS SOUPS 2232 WITH SCORE 2272.063
AT ITER 6941 NEW BEST:: SOT 51358 SOS 40063 HAS SOPS 40063 HAS SOUS 2228 HAS SOUPS 2228 WITH SCORE 2268.063
AT ITER 6947 NEW BEST:: SOT 51322 SOS 40027 HAS SOPS 40027 HAS SOUS 2227 HAS SOUPS 2227 WITH SCORE 2267.027
AT ITER 6956 NEW BEST:: SOT 51572 SOS 40273 HAS SOPS 40273 HAS SOUS 2223 HAS SOUPS 2223 WITH SCORE 2263.273
AT ITER 7056 NEW BEST:: SOT 51338 SOS 40039 HAS SOPS 40039 HAS SOUS 2223 HAS SOUPS 2223 WITH SCORE 2263.039
AT ITER 7103 NEW BEST:: SOT 51320 SOS 40021 HAS SOPS 40021 HAS SOUS 2223 HAS SOUPS 2223 WITH SCORE 2263.021
AT ITER 7221 NEW BEST:: SOT 51308 SOS 40005 HAS SOPS 40005 HAS SOUS 2211 HAS SOUPS 2211 WITH SCORE 2251.005
AT ITER 7283 NEW BEST:: SOT 51308 SOS 40005 HAS SOPS 40005 HAS SOUS 2209 HAS SOUPS 2209 WITH SCORE 2249.005
AT ITER 7379 NEW BEST:: SOT 51306 SOS 40002 HAS SOPS 40002 HAS SOUS 2207 HAS SOUPS 2207 WITH SCORE 2247.002
AT ITER 7440 NEW BEST:: SOT 51306 SOS 40002 HAS SOPS 40002 HAS SOUS 2205 HAS SOUPS 2205 WITH SCORE 2245.002
AT ITER 7466 NEW BEST:: SOT 51260 SOS 39956 HAS SOPS 39956 HAS SOUS 2205 HAS SOUPS 2205 WITH SCORE 2244.956
AT ITER 7468 NEW BEST:: SOT 51218 SOS 39914 HAS SOPS 39914 HAS SOUS 2205 HAS SOUPS 2205 WITH SCORE 2244.914
AT ITER 7483 NEW BEST:: SOT 51358 SOS 40054 HAS SOPS 40054 HAS SOUS 2197 HAS SOUPS 2197 WITH SCORE 2237.054
AT ITER 7541 NEW BEST:: SOT 51340 SOS 40036 HAS SOPS 40036 HAS SOUS 2197 HAS SOUPS 2197 WITH SCORE 2237.036
AT ITER 7694 NEW BEST:: SOT 51334 SOS 40030 HAS SOPS 40030 HAS SOUS 2197 HAS SOUPS 2197 WITH SCORE 2237.03
AT ITER 7702 NEW BEST:: SOT 51334 SOS 40030 HAS SOPS 40030 HAS SOUS 2195 HAS SOUPS 2195 WITH SCORE 2235.03
AT ITER 7761 NEW BEST:: SOT 51336 SOS 40032 HAS SOPS 40032 HAS SOUS 2193 HAS SOUPS 2193 WITH SCORE 2233.032
AT ITER 7889 NEW BEST:: SOT 51330 SOS 40026 HAS SOPS 40026 HAS SOUS 2190 HAS SOUPS 2190 WITH SCORE 2230.026
AT ITER 7902 NEW BEST:: SOT 51325 SOS 40021 HAS SOPS 40021 HAS SOUS 2185 HAS SOUPS 2185 WITH SCORE 2225.021
AT ITER 7965 NEW BEST:: SOT 51083 SOS 39779 HAS SOPS 39779 HAS SOUS 2185 HAS SOUPS 2185 WITH SCORE 2224.779
AT ITER 8004 NEW BEST:: SOT 51094 SOS 39790 HAS SOPS 39790 HAS SOUS 2182 HAS SOUPS 2182 WITH SCORE 2221.79
AT ITER 8282 NEW BEST:: SOT 51093 SOS 39789 HAS SOPS 39789 HAS SOUS 2181 HAS SOUPS 2181 WITH SCORE 2220.789
AT ITER 8356 NEW BEST:: SOT 51047 SOS 39743 HAS SOPS 39743 HAS SOUS 2181 HAS SOUPS 2181 WITH SCORE 2220.743
AT ITER 8402 NEW BEST:: SOT 51302 SOS 39998 HAS SOPS 39998 HAS SOUS 2170 HAS SOUPS 2170 WITH SCORE 2209.998
AT ITER 8557 NEW BEST:: SOT 51302 SOS 39998 HAS SOPS 39998 HAS SOUS 2168 HAS SOUPS 2168 WITH SCORE 2207.998
AT ITER 8638 NEW BEST:: SOT 51296 SOS 39992 HAS SOPS 39992 HAS SOUS 2162 HAS SOUPS 2162 WITH SCORE 2201.992
AT ITER 8960 NEW BEST:: SOT 51296 SOS 39992 HAS SOPS 39992 HAS SOUS 2161 HAS SOUPS 2161 WITH SCORE 2200.992
AT ITER 9083 NEW BEST:: SOT 51238 SOS 39934 HAS SOPS 39934 HAS SOUS 2161 HAS SOUPS 2161 WITH SCORE 2200.934
AT ITER 9140 NEW BEST:: SOT 51238 SOS 39934 HAS SOPS 39934 HAS SOUS 2160 HAS SOUPS 2160 WITH SCORE 2199.934
AT ITER 9178 NEW BEST:: SOT 51226 SOS 39922 HAS SOPS 39922 HAS SOUS 2148 HAS SOUPS 2148 WITH SCORE 2187.922
AT ITER 9539 NEW BEST:: SOT 51190 SOS 39886 HAS SOPS 39886 HAS SOUS 2148 HAS SOUPS 2148 WITH SCORE 2187.886
AT ITER 9597 NEW BEST:: SOT 51182 SOS 39874 HAS SOPS 39874 HAS SOUS 2140 HAS SOUPS 2140 WITH SCORE 2179.874
AT ITER 9696 NEW BEST:: SOT 51116 SOS 39808 HAS SOPS 39808 HAS SOUS 2140 HAS SOUPS 2140 WITH SCORE 2179.808
AT ITER 9796 NEW BEST:: SOT 51116 SOS 39808 HAS SOPS 39808 HAS SOUS 2139 HAS SOUPS 2139 WITH SCORE 2178.808
AT ITER 9858 NEW BEST:: SOT 51116 SOS 39808 HAS SOPS 39808 HAS SOUS 2138 HAS SOUPS 2138 WITH SCORE 2177.808
AT ITER 9960 NEW BEST:: SOT 51114 SOS 39786 HAS SOPS 39786 HAS SOUS 2136 HAS SOUPS 2136 WITH SCORE 2175.786
STATE_SPACE STATES 4471223 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 158 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 19756224 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678472435466

--------------------
content from stderr:

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="AirplaneLD-COL-0050"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
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 smart"
echo " Input is AirplaneLD-COL-0050, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r003-oct2-167813590500192"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/AirplaneLD-COL-0050.tgz
mv AirplaneLD-COL-0050 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;