About the Execution of ITS-Tools for SupplyChain-PT-02000
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4070.728 | 67854.00 | 181299.00 | 148.00 | T | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2026-input.r360-tall-178024403900148.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2026-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5973
Executing tool itstools
Input is SupplyChain-PT-02000, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r360-tall-178024403900148
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 8.8M
-rw-r--r-- 1 mcc users 9.0K May 27 07:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 99K May 27 07:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.0K May 27 07:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 39K May 27 07:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 27 11:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K May 27 11:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 27 11:01 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K May 27 11:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 26 18:17 NewModel
-rw-r--r-- 1 mcc users 13K May 27 07:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 131K May 27 07:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.5K May 27 07:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 81K May 27 07:42 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 27 11:01 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 27 11:01 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 26 18:17 equiv_col
-rw-r--r-- 1 mcc users 6 May 26 18:17 instance
-rw-r--r-- 1 mcc users 6 May 26 18:17 iscolored
-rw-r--r-- 1 mcc users 8.3M May 26 18:17 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
FORMULA_NAME StableMarking
=== Now, execution of the tool begins
BK_START 1780293677922
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=StableMarking
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=SupplyChain-PT-02000
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
StableMarking PT
Running Version 202604301425
[2026-06-01 06:01:19] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StableMarking, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2026-06-01 06:01:19] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-06-01 06:01:19] [INFO ] Load time of PNML (sax parser for PT used): 629 ms
[2026-06-01 06:01:19] [INFO ] Transformed 26004 places.
[2026-06-01 06:01:19] [INFO ] Transformed 16003 transitions.
[2026-06-01 06:01:20] [INFO ] Parsed PT model containing 26004 places and 16003 transitions and 72006 arcs in 886 ms.
[2026-06-01 06:01:26] [INFO ] Flatten gal took : 5060 ms
RANDOM walk for 40000 steps (8 resets) in 31472 ms. (1 steps per ms) remains 8034/26004 properties
BEST_FIRST walk for 124 steps (0 resets) in 44 ms. (2 steps per ms) remains 8034/8034 properties
BEST_FIRST walk for 124 steps (0 resets) in 53 ms. (2 steps per ms) remains 8034/8034 properties
BEST_FIRST walk for 124 steps (0 resets) in 74 ms. (1 steps per ms) remains 8034/8034 properties
BEST_FIRST walk for 124 steps (0 resets) in 27 ms. (4 steps per ms) remains 8034/8034 properties
BEST_FIRST walk for 124 steps (0 resets) in 25 ms. (4 steps per ms) remains 8034/8034 properties
BEST_FIRST walk for 124 steps (0 resets) in 22 ms. (5 steps per ms) remains 8034/8034 properties
BEST_FIRST walk for 124 steps (0 resets) in 22 ms. (5 steps per ms) remains 8034/8034 properties
BEST_FIRST walk for 124 steps (0 resets) in 21 ms. (5 steps per ms) remains 8034/8034 properties
BEST_FIRST walk for 124 steps (0 resets) in 21 ms. (5 steps per ms) remains 8034/8034 properties
BEST_FIRST walk for 124 steps (0 resets) in 43 ms. (2 steps per ms) remains 8034/8034 properties
BEST_FIRST walk for 124 steps (0 resets) in 22 ms. (5 steps per ms) remains 8034/8034 properties
BEST_FIRST walk for 124 steps (0 resets) in 21 ms. (5 steps per ms) remains 8034/8034 properties
BEST_FIRST walk for 124 steps (0 resets) in 22 ms. (5 steps per ms) remains 8034/8034 properties
BEST_FIRST walk for 124 steps (0 resets) in 24 ms. (4 steps per ms) remains 8034/8034 properties
BEST_FIRST walk for 124 steps (0 resets) in 19 ms. (6 steps per ms) remains 8034/8034 properties
BEST_FIRST walk for 124 steps (0 resets) in 22 ms. (5 steps per ms) remains 8034/8034 properties
BEST_FIRST walk for 124 steps (0 resets) in 28 ms. (4 steps per ms) remains 8034/8034 properties
BEST_FIRST walk for 124 steps (0 resets) in 28 ms. (4 steps per ms) remains 8034/8034 properties
BEST_FIRST walk for 124 steps (0 resets) in 25 ms. (4 steps per ms) remains 8034/8034 properties
BEST_FIRST walk for 124 steps (0 resets) in 19 ms. (6 steps per ms) remains 8034/8034 properties
BEST_FIRST walk for 124 steps (0 resets) in 19 ms. (6 steps per ms) remains 8034/8034 properties
BEST_FIRST walk for 124 steps (0 resets) in 20 ms. (5 steps per ms) remains 8034/8034 properties
BEST_FIRST walk for 124 steps (0 resets) in 16 ms. (7 steps per ms) remains 8034/8034 properties
BEST_FIRST walk for 124 steps (0 resets) in 18 ms. (6 steps per ms) remains 8034/8034 properties
BEST_FIRST walk for 124 steps (0 resets) in 37 ms. (3 steps per ms) remains 8034/8034 properties
BEST_FIRST walk for 124 steps (0 resets) in 19 ms. (6 steps per ms) remains 8034/8034 properties
BEST_FIRST walk for 124 steps (0 resets) in 21 ms. (5 steps per ms) remains 8034/8034 properties
BEST_FIRST walk for 124 steps (0 resets) in 18 ms. (6 steps per ms) remains 8034/8034 properties
BEST_FIRST walk for 124 steps (0 resets) in 15 ms. (7 steps per ms) remains 8034/8034 properties
BEST_FIRST walk for 124 steps (0 resets) in 19 ms. (6 steps per ms) remains 8034/8034 properties
BEST_FIRST walk for 124 steps (0 resets) in 16 ms. (7 steps per ms) remains 8034/8034 properties
BEST_FIRST walk for 124 steps (0 resets) in 17 ms. (6 steps per ms) remains 8034/8034 properties
BEST_FIRST walk for 124 steps (0 resets) in 20 ms. (5 steps per ms) remains 8034/8034 properties
BEST_FIRST walk for 124 steps (0 resets) in 22 ms. (5 steps per ms) remains 8034/8034 properties
BEST_FIRST walk for 124 steps (0 resets) in 21 ms. (5 steps per ms) remains 8034/8034 properties
BEST_FIRST walk for 124 steps (0 resets) in 16 ms. (7 steps per ms) remains 8034/8034 properties
BEST_FIRST walk for 124 steps (0 resets) in 19 ms. (6 steps per ms) remains 8034/8034 properties
BEST_FIRST walk for 124 steps (0 resets) in 21 ms. (5 steps per ms) remains 8034/8034 properties
BEST_FIRST walk for 124 steps (0 resets) in 15 ms. (7 steps per ms) remains 8034/8034 properties
BEST_FIRST walk for 124 steps (0 resets) in 17 ms. (6 steps per ms) remains 8034/8034 properties
BEST_FIRST walk for 124 steps (0 resets) in 22 ms. (5 steps per ms) remains 8034/8034 properties
BEST_FIRST walk for 124 steps (0 resets) in 17 ms. (6 steps per ms) remains 8034/8034 properties
BEST_FIRST walk for 124 steps (0 resets) in 19 ms. (6 steps per ms) remains 8034/8034 properties
BEST_FIRST walk for 124 steps (0 resets) in 21 ms. (5 steps per ms) remains 8034/8034 properties
BEST_FIRST walk for 124 steps (0 resets) in 24 ms. (4 steps per ms) remains 8034/8034 properties
BEST_FIRST walk for 124 steps (0 resets) in 18 ms. (6 steps per ms) remains 8034/8034 properties
BEST_FIRST walk for 124 steps (0 resets) in 19 ms. (6 steps per ms) remains 8034/8034 properties
BEST_FIRST walk for 124 steps (0 resets) in 22 ms. (5 steps per ms) remains 8034/8034 properties
BEST_FIRST walk for 124 steps (0 resets) in 19 ms. (6 steps per ms) remains 8034/8034 properties
BEST_FIRST walk for 124 steps (0 resets) in 16 ms. (7 steps per ms) remains 8034/8034 properties
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-804014614555192163.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-1174512657432824059.kers'
[2026-06-01 06:01:29] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-804014614555192163.kers, --Pflows, --basisKERS=/tmp/petrispot-output-1174512657432824059.kers]
Normalized transition count is 16002 out of 16003 initially.
Culling duplicate invariants (modulo rational): removing 6090 columns.
Culled 6090 columns in 50 ms.
// Phase 1: matrix 16002 rows 19914 cols 52004 entries
Finished phase 1 with 11912 SingleSign rule and 2000 generalized
[2026-06-01 06:01:29] [INFO ] Computed 12092 invariants in 202 ms
Computed 12092 P flows in 207 ms.
Exported basis to /tmp/petrispot-output-1174512657432824059.kers
Total runtime 227 ms.
[2026-06-01 06:01:29] [INFO ] State equation strengthened by 1 read => feed constraints.
[2026-06-01 06:01:29] [INFO ] Flatten gal took : 3248 ms
[2026-06-01 06:01:30] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality6064874556058911125.gal : 358 ms
[2026-06-01 06:01:30] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality5833173549376009335.prop : 48 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality6064874556058911125.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality5833173549376009335.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...328
Loading property file /tmp/ReachabilityCardinality5833173549376009335.prop.
SMT process timed out in 17502ms, After SMT, problems are : Problem set: 0 solved, 8034 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 8034 out of 26004 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 26004/26004 places, 16003/16003 transitions.
Ensure Unique test removed 3142 places
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 0 with 3143 rules applied. Total rules applied 3143 place count 22862 transition count 16002
Performed 1749 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 1 with 1749 Pre rules applied. Total rules applied 3143 place count 22862 transition count 14253
Deduced a syphon composed of 1749 places in 13 ms
Ensure Unique test removed 1749 places
Reduce places removed 3498 places and 0 transitions.
Iterating global reduction 1 with 5247 rules applied. Total rules applied 8390 place count 19364 transition count 14253
Free-agglomeration rule applied 2824 times.
Iterating global reduction 1 with 2824 rules applied. Total rules applied 11214 place count 19364 transition count 11429
Ensure Unique test removed 1957 places
Reduce places removed 4781 places and 0 transitions.
Ensure Unique test removed 1957 transitions
Reduce isomorphic transitions removed 1957 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 1952 transitions
Trivial Post-agglo rules discarded 1952 transitions
Performed 1952 trivial Post agglomeration. Transition count delta: 1952
Iterating post reduction 1 with 8690 rules applied. Total rules applied 19904 place count 14583 transition count 7520
Reduce places removed 1952 places and 0 transitions.
Iterating post reduction 2 with 1952 rules applied. Total rules applied 21856 place count 12631 transition count 7520
Performed 1716 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 1716 Pre rules applied. Total rules applied 21856 place count 12631 transition count 5804
Deduced a syphon composed of 1716 places in 7 ms
Reduce places removed 1716 places and 0 transitions.
Iterating global reduction 3 with 3432 rules applied. Total rules applied 25288 place count 10915 transition count 5804
Free-agglomeration rule (complex) applied 11 times.
Iterating global reduction 3 with 11 rules applied. Total rules applied 25299 place count 10915 transition count 5793
Reduce places removed 11 places and 0 transitions.
Iterating post reduction 3 with 11 rules applied. Total rules applied 25310 place count 10904 transition count 5793
Reduce places removed 284 places and 284 transitions.
Iterating global reduction 4 with 284 rules applied. Total rules applied 25594 place count 10620 transition count 5509
Applied a total of 25594 rules in 13163 ms. Remains 10620 /26004 variables (removed 15384) and now considering 5509/16003 (removed 10494) transitions.
Running 2614 sub problems to find dead transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-15310256307348302001.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-6053180898747346445.kers'
[2026-06-01 06:02:00] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-15310256307348302001.kers, --Pflows, --basisKERS=/tmp/petrispot-output-6053180898747346445.kers]
Culling duplicate invariants (modulo rational): removing 2948 columns.
Culled 2948 columns in 9 ms.
// Phase 1: matrix 5509 rows 7672 cols 17621 entries
Finished phase 1 with 5371 SingleSign rule and 5 generalized
[2026-06-01 06:02:00] [INFO ] Computed 5244 invariants in 53 ms
Computed 5244 P flows in 54 ms.
Exported basis to /tmp/petrispot-output-6053180898747346445.kers
Total runtime 59 ms.
[2026-06-01 06:02:00] [INFO ] State equation strengthened by 11 read => feed constraints.
Excessive predecessor constraint size, skipping predecessor.
Problem TDEAD0 is UNSAT
Problem TDEAD1 is UNSAT
Problem TDEAD2 is UNSAT
Problem TDEAD3 is UNSAT
Problem TDEAD4 is UNSAT
Problem TDEAD5 is UNSAT
Problem TDEAD6 is UNSAT
Problem TDEAD7 is UNSAT
Problem TDEAD8 is UNSAT
Problem TDEAD9 is UNSAT
Problem TDEAD10 is UNSAT
Problem TDEAD11 is UNSAT
Problem TDEAD12 is UNSAT
Problem TDEAD13 is UNSAT
Problem TDEAD14 is UNSAT
Problem TDEAD15 is UNSAT
Problem TDEAD16 is UNSAT
Problem TDEAD17 is UNSAT
Problem TDEAD18 is UNSAT
Problem TDEAD19 is UNSAT
Problem TDEAD20 is UNSAT
Problem TDEAD21 is UNSAT
Problem TDEAD23 is UNSAT
Problem TDEAD24 is UNSAT
Problem TDEAD25 is UNSAT
Problem TDEAD26 is UNSAT
Problem TDEAD27 is UNSAT
Problem TDEAD28 is UNSAT
Problem TDEAD29 is UNSAT
Problem TDEAD30 is UNSAT
Problem TDEAD31 is UNSAT
Problem TDEAD32 is UNSAT
Problem TDEAD33 is UNSAT
Problem TDEAD34 is UNSAT
Problem TDEAD35 is UNSAT
Problem TDEAD36 is UNSAT
Problem TDEAD37 is UNSAT
Problem TDEAD38 is UNSAT
Problem TDEAD39 is UNSAT
Problem TDEAD40 is UNSAT
Problem TDEAD41 is UNSAT
Problem TDEAD42 is UNSAT
Problem TDEAD43 is UNSAT
Problem TDEAD46 is UNSAT
Problem TDEAD47 is UNSAT
Problem TDEAD49 is UNSAT
Problem TDEAD52 is UNSAT
Problem TDEAD53 is UNSAT
Problem TDEAD54 is UNSAT
Problem TDEAD55 is UNSAT
Problem TDEAD56 is UNSAT
Problem TDEAD57 is UNSAT
Problem TDEAD58 is UNSAT
Problem TDEAD59 is UNSAT
Problem TDEAD60 is UNSAT
Problem TDEAD61 is UNSAT
Problem TDEAD62 is UNSAT
Problem TDEAD63 is UNSAT
Problem TDEAD64 is UNSAT
Problem TDEAD65 is UNSAT
Problem TDEAD66 is UNSAT
Problem TDEAD67 is UNSAT
Problem TDEAD68 is UNSAT
Problem TDEAD69 is UNSAT
Problem TDEAD70 is UNSAT
Problem TDEAD71 is UNSAT
Problem TDEAD72 is UNSAT
Problem TDEAD73 is UNSAT
Problem TDEAD74 is UNSAT
Problem TDEAD75 is UNSAT
Problem TDEAD76 is UNSAT
Problem TDEAD77 is UNSAT
Problem TDEAD78 is UNSAT
Problem TDEAD79 is UNSAT
Problem TDEAD80 is UNSAT
Problem TDEAD83 is UNSAT
Problem TDEAD84 is UNSAT
Problem TDEAD85 is UNSAT
Problem TDEAD86 is UNSAT
Problem TDEAD87 is UNSAT
Problem TDEAD88 is UNSAT
Problem TDEAD90 is UNSAT
Problem TDEAD91 is UNSAT
Problem TDEAD92 is UNSAT
Problem TDEAD93 is UNSAT
Problem TDEAD96 is UNSAT
Problem TDEAD97 is UNSAT
Problem TDEAD98 is UNSAT
Problem TDEAD99 is UNSAT
Problem TDEAD100 is UNSAT
Problem TDEAD101 is UNSAT
Problem TDEAD102 is UNSAT
Problem TDEAD103 is UNSAT
Problem TDEAD104 is UNSAT
Problem TDEAD105 is UNSAT
Problem TDEAD106 is UNSAT
Problem TDEAD107 is UNSAT
Problem TDEAD108 is UNSAT
Problem TDEAD109 is UNSAT
Problem TDEAD110 is UNSAT
Problem TDEAD112 is UNSAT
Problem TDEAD113 is UNSAT
Problem TDEAD114 is UNSAT
Problem TDEAD115 is UNSAT
Problem TDEAD116 is UNSAT
Problem TDEAD117 is UNSAT
Problem TDEAD118 is UNSAT
Problem TDEAD119 is UNSAT
Problem TDEAD120 is UNSAT
Problem TDEAD121 is UNSAT
Problem TDEAD122 is UNSAT
Problem TDEAD123 is UNSAT
Problem TDEAD124 is UNSAT
Problem TDEAD125 is UNSAT
Problem TDEAD126 is UNSAT
Problem TDEAD127 is UNSAT
Problem TDEAD128 is UNSAT
Problem TDEAD129 is UNSAT
Problem TDEAD130 is UNSAT
Problem TDEAD131 is UNSAT
Problem TDEAD132 is UNSAT
Problem TDEAD136 is UNSAT
Problem TDEAD137 is UNSAT
Problem TDEAD138 is UNSAT
Problem TDEAD139 is UNSAT
Problem TDEAD140 is UNSAT
Problem TDEAD141 is UNSAT
Problem TDEAD143 is UNSAT
Problem TDEAD144 is UNSAT
Problem TDEAD145 is UNSAT
Problem TDEAD146 is UNSAT
Problem TDEAD147 is UNSAT
Problem TDEAD148 is UNSAT
Problem TDEAD149 is UNSAT
Problem TDEAD150 is UNSAT
Problem TDEAD151 is UNSAT
Problem TDEAD152 is UNSAT
Problem TDEAD153 is UNSAT
Problem TDEAD154 is UNSAT
Problem TDEAD155 is UNSAT
Problem TDEAD156 is UNSAT
Problem TDEAD157 is UNSAT
Problem TDEAD158 is UNSAT
Problem TDEAD159 is UNSAT
Problem TDEAD160 is UNSAT
Problem TDEAD161 is UNSAT
Problem TDEAD162 is UNSAT
Problem TDEAD163 is UNSAT
Problem TDEAD164 is UNSAT
Problem TDEAD165 is UNSAT
Problem TDEAD166 is UNSAT
Problem TDEAD167 is UNSAT
Problem TDEAD168 is UNSAT
Problem TDEAD169 is UNSAT
Problem TDEAD170 is UNSAT
Problem TDEAD171 is UNSAT
Problem TDEAD172 is UNSAT
Problem TDEAD173 is UNSAT
Problem TDEAD174 is UNSAT
Problem TDEAD175 is UNSAT
Problem TDEAD176 is UNSAT
Problem TDEAD177 is UNSAT
Problem TDEAD178 is UNSAT
Problem TDEAD179 is UNSAT
Problem TDEAD180 is UNSAT
Problem TDEAD181 is UNSAT
Problem TDEAD182 is UNSAT
Problem TDEAD183 is UNSAT
Problem TDEAD184 is UNSAT
Problem TDEAD185 is UNSAT
Problem TDEAD186 is UNSAT
Problem TDEAD187 is UNSAT
Problem TDEAD188 is UNSAT
Problem TDEAD189 is UNSAT
Problem TDEAD190 is UNSAT
Problem TDEAD191 is UNSAT
Problem TDEAD192 is UNSAT
Problem TDEAD193 is UNSAT
Problem TDEAD194 is UNSAT
Problem TDEAD195 is UNSAT
Problem TDEAD196 is UNSAT
Problem TDEAD197 is UNSAT
Problem TDEAD198 is UNSAT
Problem TDEAD199 is UNSAT
Problem TDEAD200 is UNSAT
Problem TDEAD201 is UNSAT
Problem TDEAD202 is UNSAT
Problem TDEAD205 is UNSAT
Problem TDEAD206 is UNSAT
Problem TDEAD207 is UNSAT
Problem TDEAD208 is UNSAT
Problem TDEAD209 is UNSAT
Problem TDEAD210 is UNSAT
Problem TDEAD211 is UNSAT
Problem TDEAD212 is UNSAT
Problem TDEAD213 is UNSAT
Problem TDEAD214 is UNSAT
Problem TDEAD215 is UNSAT
Problem TDEAD216 is UNSAT
Problem TDEAD217 is UNSAT
Problem TDEAD218 is UNSAT
Problem TDEAD219 is UNSAT
Problem TDEAD220 is UNSAT
Problem TDEAD221 is UNSAT
Problem TDEAD222 is UNSAT
Problem TDEAD223 is UNSAT
Problem TDEAD224 is UNSAT
Problem TDEAD225 is UNSAT
Problem TDEAD226 is UNSAT
Problem TDEAD227 is UNSAT
Problem TDEAD229 is UNSAT
Problem TDEAD230 is UNSAT
Problem TDEAD231 is UNSAT
Problem TDEAD232 is UNSAT
Problem TDEAD233 is UNSAT
Problem TDEAD234 is UNSAT
Problem TDEAD235 is UNSAT
Problem TDEAD236 is UNSAT
Problem TDEAD237 is UNSAT
Problem TDEAD238 is UNSAT
Problem TDEAD239 is UNSAT
Problem TDEAD240 is UNSAT
Problem TDEAD241 is UNSAT
Problem TDEAD242 is UNSAT
Problem TDEAD245 is UNSAT
Problem TDEAD246 is UNSAT
Problem TDEAD247 is UNSAT
Problem TDEAD248 is UNSAT
Problem TDEAD249 is UNSAT
Problem TDEAD250 is UNSAT
Problem TDEAD251 is UNSAT
Problem TDEAD253 is UNSAT
Problem TDEAD254 is UNSAT
Problem TDEAD255 is UNSAT
Problem TDEAD256 is UNSAT
Problem TDEAD257 is UNSAT
Problem TDEAD258 is UNSAT
Problem TDEAD259 is UNSAT
Problem TDEAD261 is UNSAT
Problem TDEAD262 is UNSAT
Problem TDEAD263 is UNSAT
Problem TDEAD264 is UNSAT
Problem TDEAD265 is UNSAT
Problem TDEAD266 is UNSAT
Problem TDEAD269 is UNSAT
Problem TDEAD270 is UNSAT
Problem TDEAD271 is UNSAT
Problem TDEAD272 is UNSAT
Problem TDEAD273 is UNSAT
Problem TDEAD275 is UNSAT
Problem TDEAD276 is UNSAT
Problem TDEAD277 is UNSAT
Problem TDEAD278 is UNSAT
Problem TDEAD279 is UNSAT
Problem TDEAD280 is UNSAT
Problem TDEAD281 is UNSAT
Problem TDEAD284 is UNSAT
Problem TDEAD285 is UNSAT
Problem TDEAD286 is UNSAT
Problem TDEAD287 is UNSAT
Problem TDEAD288 is UNSAT
Problem TDEAD289 is UNSAT
Problem TDEAD290 is UNSAT
Problem TDEAD292 is UNSAT
Problem TDEAD293 is UNSAT
Problem TDEAD294 is UNSAT
Problem TDEAD295 is UNSAT
Problem TDEAD296 is UNSAT
Problem TDEAD297 is UNSAT
Problem TDEAD298 is UNSAT
Problem TDEAD299 is UNSAT
Problem TDEAD300 is UNSAT
Problem TDEAD301 is UNSAT
Problem TDEAD302 is UNSAT
Problem TDEAD303 is UNSAT
Problem TDEAD304 is UNSAT
Problem TDEAD305 is UNSAT
Problem TDEAD306 is UNSAT
Problem TDEAD307 is UNSAT
Problem TDEAD308 is UNSAT
Problem TDEAD309 is UNSAT
Problem TDEAD310 is UNSAT
Problem TDEAD311 is UNSAT
Problem TDEAD312 is UNSAT
Problem TDEAD313 is UNSAT
Problem TDEAD316 is UNSAT
Problem TDEAD317 is UNSAT
Problem TDEAD318 is UNSAT
Problem TDEAD319 is UNSAT
Problem TDEAD320 is UNSAT
Problem TDEAD321 is UNSAT
Problem TDEAD322 is UNSAT
Problem TDEAD323 is UNSAT
Problem TDEAD324 is UNSAT
Problem TDEAD325 is UNSAT
Problem TDEAD326 is UNSAT
Problem TDEAD327 is UNSAT
Problem TDEAD328 is UNSAT
Problem TDEAD329 is UNSAT
Problem TDEAD330 is UNSAT
Problem TDEAD331 is UNSAT
Problem TDEAD332 is UNSAT
Problem TDEAD333 is UNSAT
Problem TDEAD334 is UNSAT
Problem TDEAD335 is UNSAT
Problem TDEAD336 is UNSAT
Problem TDEAD337 is UNSAT
Problem TDEAD338 is UNSAT
Problem TDEAD339 is UNSAT
Problem TDEAD340 is UNSAT
Problem TDEAD341 is UNSAT
Problem TDEAD342 is UNSAT
Problem TDEAD343 is UNSAT
Problem TDEAD344 is UNSAT
Problem TDEAD345 is UNSAT
Problem TDEAD346 is UNSAT
Problem TDEAD347 is UNSAT
Problem TDEAD348 is UNSAT
Problem TDEAD351 is UNSAT
Problem TDEAD352 is UNSAT
Problem TDEAD353 is UNSAT
Problem TDEAD354 is UNSAT
Problem TDEAD355 is UNSAT
Problem TDEAD356 is UNSAT
Problem TDEAD357 is UNSAT
Problem TDEAD358 is UNSAT
Problem TDEAD359 is UNSAT
Problem TDEAD360 is UNSAT
Problem TDEAD361 is UNSAT
Problem TDEAD362 is UNSAT
Problem TDEAD363 is UNSAT
Problem TDEAD364 is UNSAT
Problem TDEAD365 is UNSAT
Problem TDEAD366 is UNSAT
Problem TDEAD369 is UNSAT
Problem TDEAD370 is UNSAT
Problem TDEAD371 is UNSAT
Problem TDEAD374 is UNSAT
Problem TDEAD375 is UNSAT
Problem TDEAD376 is UNSAT
Problem TDEAD377 is UNSAT
Problem TDEAD378 is UNSAT
Problem TDEAD379 is UNSAT
Problem TDEAD380 is UNSAT
Problem TDEAD382 is UNSAT
Problem TDEAD383 is UNSAT
Problem TDEAD384 is UNSAT
Problem TDEAD385 is UNSAT
Problem TDEAD386 is UNSAT
Problem TDEAD387 is UNSAT
Problem TDEAD388 is UNSAT
Problem TDEAD389 is UNSAT
Problem TDEAD390 is UNSAT
Problem TDEAD391 is UNSAT
Problem TDEAD392 is UNSAT
Problem TDEAD396 is UNSAT
Problem TDEAD402 is UNSAT
Problem TDEAD403 is UNSAT
Problem TDEAD408 is UNSAT
Problem TDEAD410 is UNSAT
Problem TDEAD411 is UNSAT
Problem TDEAD412 is UNSAT
Problem TDEAD413 is UNSAT
Problem TDEAD414 is UNSAT
Problem TDEAD415 is UNSAT
Problem TDEAD417 is UNSAT
Problem TDEAD418 is UNSAT
Problem TDEAD419 is UNSAT
Problem TDEAD420 is UNSAT
Problem TDEAD421 is UNSAT
Problem TDEAD424 is UNSAT
Problem TDEAD425 is UNSAT
Problem TDEAD426 is UNSAT
Problem TDEAD427 is UNSAT
Problem TDEAD428 is UNSAT
Problem TDEAD429 is UNSAT
Problem TDEAD432 is UNSAT
Problem TDEAD433 is UNSAT
Problem TDEAD434 is UNSAT
Problem TDEAD435 is UNSAT
Problem TDEAD437 is UNSAT
Problem TDEAD438 is UNSAT
Problem TDEAD439 is UNSAT
Problem TDEAD440 is UNSAT
Problem TDEAD441 is UNSAT
Problem TDEAD442 is UNSAT
Problem TDEAD443 is UNSAT
Problem TDEAD444 is UNSAT
Problem TDEAD445 is UNSAT
Problem TDEAD446 is UNSAT
Problem TDEAD447 is UNSAT
Problem TDEAD448 is UNSAT
Problem TDEAD449 is UNSAT
Problem TDEAD450 is UNSAT
Problem TDEAD452 is UNSAT
Problem TDEAD453 is UNSAT
Problem TDEAD454 is UNSAT
Problem TDEAD455 is UNSAT
Problem TDEAD457 is UNSAT
Problem TDEAD458 is UNSAT
Problem TDEAD459 is UNSAT
Problem TDEAD460 is UNSAT
Problem TDEAD461 is UNSAT
Problem TDEAD462 is UNSAT
Problem TDEAD463 is UNSAT
Problem TDEAD464 is UNSAT
Problem TDEAD466 is UNSAT
Problem TDEAD467 is UNSAT
Problem TDEAD468 is UNSAT
Problem TDEAD469 is UNSAT
Problem TDEAD470 is UNSAT
Problem TDEAD471 is UNSAT
Problem TDEAD472 is UNSAT
Problem TDEAD473 is UNSAT
Problem TDEAD475 is UNSAT
Problem TDEAD476 is UNSAT
Problem TDEAD479 is UNSAT
Problem TDEAD480 is UNSAT
Problem TDEAD481 is UNSAT
Problem TDEAD482 is UNSAT
Problem TDEAD483 is UNSAT
Problem TDEAD484 is UNSAT
Problem TDEAD485 is UNSAT
Problem TDEAD486 is UNSAT
Problem TDEAD487 is UNSAT
Problem TDEAD488 is UNSAT
Problem TDEAD489 is UNSAT
Problem TDEAD490 is UNSAT
Problem TDEAD491 is UNSAT
Problem TDEAD492 is UNSAT
Problem TDEAD494 is UNSAT
Problem TDEAD495 is UNSAT
Problem TDEAD496 is UNSAT
Problem TDEAD498 is UNSAT
Problem TDEAD499 is UNSAT
Problem TDEAD500 is UNSAT
Problem TDEAD501 is UNSAT
Problem TDEAD505 is UNSAT
Problem TDEAD506 is UNSAT
Problem TDEAD507 is UNSAT
Problem TDEAD508 is UNSAT
Problem TDEAD509 is UNSAT
Problem TDEAD510 is UNSAT
Problem TDEAD511 is UNSAT
Problem TDEAD512 is UNSAT
Problem TDEAD514 is UNSAT
Problem TDEAD515 is UNSAT
Problem TDEAD516 is UNSAT
Problem TDEAD517 is UNSAT
Problem TDEAD518 is UNSAT
Problem TDEAD520 is UNSAT
Problem TDEAD521 is UNSAT
Problem TDEAD522 is UNSAT
Problem TDEAD523 is UNSAT
Problem TDEAD524 is UNSAT
Problem TDEAD525 is UNSAT
Problem TDEAD528 is UNSAT
Problem TDEAD530 is UNSAT
Problem TDEAD531 is UNSAT
Problem TDEAD532 is UNSAT
Problem TDEAD533 is UNSAT
Problem TDEAD534 is UNSAT
Problem TDEAD535 is UNSAT
Problem TDEAD537 is UNSAT
Problem TDEAD538 is UNSAT
Problem TDEAD539 is UNSAT
Problem TDEAD542 is UNSAT
Problem TDEAD543 is UNSAT
Problem TDEAD544 is UNSAT
Problem TDEAD545 is UNSAT
Problem TDEAD546 is UNSAT
Problem TDEAD547 is UNSAT
Problem TDEAD548 is UNSAT
Problem TDEAD550 is UNSAT
Problem TDEAD551 is UNSAT
Problem TDEAD553 is UNSAT
Problem TDEAD554 is UNSAT
Problem TDEAD555 is UNSAT
Problem TDEAD556 is UNSAT
Problem TDEAD557 is UNSAT
Problem TDEAD558 is UNSAT
Problem TDEAD559 is UNSAT
Problem TDEAD560 is UNSAT
Problem TDEAD561 is UNSAT
Problem TDEAD562 is UNSAT
Problem TDEAD563 is UNSAT
Problem TDEAD564 is UNSAT
Problem TDEAD565 is UNSAT
Problem TDEAD566 is UNSAT
Problem TDEAD567 is UNSAT
Problem TDEAD568 is UNSAT
Problem TDEAD570 is UNSAT
Problem TDEAD571 is UNSAT
Problem TDEAD572 is UNSAT
Problem TDEAD573 is UNSAT
Problem TDEAD574 is UNSAT
Problem TDEAD575 is UNSAT
Problem TDEAD576 is UNSAT
Problem TDEAD577 is UNSAT
Problem TDEAD578 is UNSAT
Problem TDEAD579 is UNSAT
Problem TDEAD582 is UNSAT
Problem TDEAD583 is UNSAT
Problem TDEAD584 is UNSAT
Problem TDEAD585 is UNSAT
Problem TDEAD586 is UNSAT
Problem TDEAD587 is UNSAT
Problem TDEAD588 is UNSAT
Problem TDEAD589 is UNSAT
Problem TDEAD590 is UNSAT
Problem TDEAD591 is UNSAT
Problem TDEAD592 is UNSAT
Problem TDEAD593 is UNSAT
Problem TDEAD594 is UNSAT
Problem TDEAD596 is UNSAT
Problem TDEAD597 is UNSAT
Problem TDEAD598 is UNSAT
Problem TDEAD601 is UNSAT
Problem TDEAD602 is UNSAT
Problem TDEAD603 is UNSAT
Problem TDEAD604 is UNSAT
Problem TDEAD605 is UNSAT
Problem TDEAD608 is UNSAT
Problem TDEAD609 is UNSAT
Problem TDEAD610 is UNSAT
Problem TDEAD612 is UNSAT
Problem TDEAD613 is UNSAT
Problem TDEAD614 is UNSAT
Problem TDEAD615 is UNSAT
Problem TDEAD616 is UNSAT
Problem TDEAD617 is UNSAT
Problem TDEAD618 is UNSAT
Problem TDEAD619 is UNSAT
Problem TDEAD620 is UNSAT
Problem TDEAD622 is UNSAT
Problem TDEAD623 is UNSAT
Problem TDEAD624 is UNSAT
Problem TDEAD625 is UNSAT
Problem TDEAD626 is UNSAT
Problem TDEAD627 is UNSAT
Problem TDEAD629 is UNSAT
Problem TDEAD630 is UNSAT
Problem TDEAD631 is UNSAT
Problem TDEAD632 is UNSAT
Problem TDEAD633 is UNSAT
Problem TDEAD634 is UNSAT
Problem TDEAD637 is UNSAT
Problem TDEAD638 is UNSAT
Problem TDEAD639 is UNSAT
Problem TDEAD640 is UNSAT
Problem TDEAD641 is UNSAT
Problem TDEAD642 is UNSAT
Problem TDEAD644 is UNSAT
Problem TDEAD645 is UNSAT
Problem TDEAD646 is UNSAT
Problem TDEAD647 is UNSAT
Problem TDEAD648 is UNSAT
Problem TDEAD649 is UNSAT
Problem TDEAD650 is UNSAT
Problem TDEAD651 is UNSAT
Problem TDEAD652 is UNSAT
Problem TDEAD653 is UNSAT
Problem TDEAD654 is UNSAT
Problem TDEAD655 is UNSAT
Problem TDEAD656 is UNSAT
Problem TDEAD657 is UNSAT
Problem TDEAD659 is UNSAT
Problem TDEAD660 is UNSAT
Problem TDEAD662 is UNSAT
Problem TDEAD663 is UNSAT
Problem TDEAD664 is UNSAT
Problem TDEAD665 is UNSAT
Problem TDEAD668 is UNSAT
Problem TDEAD669 is UNSAT
Problem TDEAD670 is UNSAT
Problem TDEAD671 is UNSAT
Problem TDEAD672 is UNSAT
Problem TDEAD673 is UNSAT
Problem TDEAD674 is UNSAT
Problem TDEAD677 is UNSAT
Problem TDEAD678 is UNSAT
Problem TDEAD679 is UNSAT
Problem TDEAD680 is UNSAT
Problem TDEAD681 is UNSAT
Problem TDEAD683 is UNSAT
Problem TDEAD684 is UNSAT
Problem TDEAD685 is UNSAT
Problem TDEAD686 is UNSAT
Problem TDEAD688 is UNSAT
Problem TDEAD689 is UNSAT
Problem TDEAD690 is UNSAT
Problem TDEAD691 is UNSAT
Problem TDEAD692 is UNSAT
Problem TDEAD693 is UNSAT
Problem TDEAD694 is UNSAT
Problem TDEAD695 is UNSAT
Problem TDEAD696 is UNSAT
Problem TDEAD697 is UNSAT
Problem TDEAD698 is UNSAT
Problem TDEAD699 is UNSAT
Problem TDEAD700 is UNSAT
Problem TDEAD701 is UNSAT
Problem TDEAD703 is UNSAT
Problem TDEAD704 is UNSAT
Problem TDEAD705 is UNSAT
Problem TDEAD706 is UNSAT
Problem TDEAD707 is UNSAT
Problem TDEAD708 is UNSAT
Problem TDEAD709 is UNSAT
Problem TDEAD711 is UNSAT
Problem TDEAD712 is UNSAT
Problem TDEAD715 is UNSAT
Problem TDEAD716 is UNSAT
Problem TDEAD718 is UNSAT
Problem TDEAD719 is UNSAT
Problem TDEAD720 is UNSAT
Problem TDEAD721 is UNSAT
Problem TDEAD722 is UNSAT
Problem TDEAD723 is UNSAT
Problem TDEAD724 is UNSAT
Problem TDEAD725 is UNSAT
Problem TDEAD726 is UNSAT
Problem TDEAD727 is UNSAT
Problem TDEAD728 is UNSAT
Problem TDEAD729 is UNSAT
Problem TDEAD731 is UNSAT
Problem TDEAD732 is UNSAT
Problem TDEAD733 is UNSAT
Problem TDEAD735 is UNSAT
Problem TDEAD736 is UNSAT
Problem TDEAD737 is UNSAT
Problem TDEAD738 is UNSAT
Problem TDEAD739 is UNSAT
Problem TDEAD740 is UNSAT
Problem TDEAD741 is UNSAT
Problem TDEAD742 is UNSAT
Problem TDEAD744 is UNSAT
Problem TDEAD747 is UNSAT
Problem TDEAD748 is UNSAT
Problem TDEAD749 is UNSAT
Problem TDEAD750 is UNSAT
Problem TDEAD751 is UNSAT
Problem TDEAD753 is UNSAT
Problem TDEAD754 is UNSAT
Problem TDEAD757 is UNSAT
Problem TDEAD758 is UNSAT
Problem TDEAD759 is UNSAT
Problem TDEAD760 is UNSAT
Problem TDEAD761 is UNSAT
Problem TDEAD762 is UNSAT
Problem TDEAD763 is UNSAT
Problem TDEAD764 is UNSAT
Problem TDEAD765 is UNSAT
Problem TDEAD766 is UNSAT
Problem TDEAD767 is UNSAT
Problem TDEAD769 is UNSAT
Problem TDEAD770 is UNSAT
Problem TDEAD771 is UNSAT
Problem TDEAD772 is UNSAT
Problem TDEAD773 is UNSAT
Problem TDEAD774 is UNSAT
Problem TDEAD775 is UNSAT
Problem TDEAD776 is UNSAT
Problem TDEAD779 is UNSAT
Problem TDEAD780 is UNSAT
Problem TDEAD781 is UNSAT
Problem TDEAD783 is UNSAT
Problem TDEAD784 is UNSAT
Problem TDEAD785 is UNSAT
Problem TDEAD786 is UNSAT
Problem TDEAD787 is UNSAT
Problem TDEAD788 is UNSAT
Problem TDEAD789 is UNSAT
Problem TDEAD791 is UNSAT
Problem TDEAD792 is UNSAT
Problem TDEAD793 is UNSAT
Problem TDEAD794 is UNSAT
Problem TDEAD795 is UNSAT
Problem TDEAD796 is UNSAT
Problem TDEAD797 is UNSAT
Problem TDEAD799 is UNSAT
Problem TDEAD800 is UNSAT
Problem TDEAD801 is UNSAT
Problem TDEAD802 is UNSAT
Problem TDEAD803 is UNSAT
Problem TDEAD804 is UNSAT
Problem TDEAD807 is UNSAT
Problem TDEAD808 is UNSAT
Problem TDEAD809 is UNSAT
Problem TDEAD810 is UNSAT
Problem TDEAD814 is UNSAT
Problem TDEAD816 is UNSAT
Problem TDEAD819 is UNSAT
Problem TDEAD820 is UNSAT
Problem TDEAD821 is UNSAT
Problem TDEAD822 is UNSAT
Problem TDEAD823 is UNSAT
Problem TDEAD825 is UNSAT
Problem TDEAD826 is UNSAT
Problem TDEAD827 is UNSAT
Problem TDEAD828 is UNSAT
Problem TDEAD829 is UNSAT
Problem TDEAD830 is UNSAT
Problem TDEAD831 is UNSAT
Problem TDEAD835 is UNSAT
Problem TDEAD836 is UNSAT
Problem TDEAD837 is UNSAT
Problem TDEAD838 is UNSAT
Problem TDEAD839 is UNSAT
Problem TDEAD840 is UNSAT
Problem TDEAD841 is UNSAT
Problem TDEAD842 is UNSAT
Problem TDEAD844 is UNSAT
Problem TDEAD845 is UNSAT
Problem TDEAD846 is UNSAT
Problem TDEAD847 is UNSAT
Problem TDEAD848 is UNSAT
Problem TDEAD851 is UNSAT
Problem TDEAD853 is UNSAT
Problem TDEAD854 is UNSAT
Problem TDEAD855 is UNSAT
Problem TDEAD856 is UNSAT
Problem TDEAD857 is UNSAT
Problem TDEAD858 is UNSAT
Problem TDEAD859 is UNSAT
Problem TDEAD860 is UNSAT
Problem TDEAD861 is UNSAT
Problem TDEAD862 is UNSAT
Problem TDEAD863 is UNSAT
Problem TDEAD864 is UNSAT
Problem TDEAD868 is UNSAT
Problem TDEAD869 is UNSAT
Problem TDEAD870 is UNSAT
Problem TDEAD871 is UNSAT
Problem TDEAD872 is UNSAT
Problem TDEAD874 is UNSAT
Problem TDEAD875 is UNSAT
Problem TDEAD876 is UNSAT
Problem TDEAD879 is UNSAT
Problem TDEAD880 is UNSAT
Problem TDEAD881 is UNSAT
Problem TDEAD882 is UNSAT
Problem TDEAD883 is UNSAT
Problem TDEAD884 is UNSAT
Problem TDEAD885 is UNSAT
Problem TDEAD886 is UNSAT
Problem TDEAD887 is UNSAT
Problem TDEAD888 is UNSAT
Problem TDEAD889 is UNSAT
Problem TDEAD890 is UNSAT
Problem TDEAD891 is UNSAT
Problem TDEAD892 is UNSAT
Problem TDEAD893 is UNSAT
Problem TDEAD894 is UNSAT
Problem TDEAD895 is UNSAT
Problem TDEAD896 is UNSAT
Problem TDEAD897 is UNSAT
Problem TDEAD898 is UNSAT
Problem TDEAD899 is UNSAT
Problem TDEAD900 is UNSAT
Problem TDEAD901 is UNSAT
Problem TDEAD902 is UNSAT
Problem TDEAD904 is UNSAT
Problem TDEAD905 is UNSAT
Problem TDEAD906 is UNSAT
Problem TDEAD907 is UNSAT
Problem TDEAD908 is UNSAT
Problem TDEAD909 is UNSAT
Problem TDEAD910 is UNSAT
Problem TDEAD911 is UNSAT
Problem TDEAD912 is UNSAT
Problem TDEAD913 is UNSAT
Problem TDEAD914 is UNSAT
Problem TDEAD915 is UNSAT
Problem TDEAD916 is UNSAT
Problem TDEAD917 is UNSAT
Problem TDEAD918 is UNSAT
Problem TDEAD919 is UNSAT
Problem TDEAD920 is UNSAT
Problem TDEAD921 is UNSAT
Problem TDEAD922 is UNSAT
Problem TDEAD923 is UNSAT
Problem TDEAD924 is UNSAT
Problem TDEAD925 is UNSAT
Problem TDEAD926 is UNSAT
Problem TDEAD927 is UNSAT
Problem TDEAD928 is UNSAT
Problem TDEAD929 is UNSAT
Problem TDEAD930 is UNSAT
Problem TDEAD931 is UNSAT
Problem TDEAD932 is UNSAT
Problem TDEAD933 is UNSAT
Problem TDEAD934 is UNSAT
Problem TDEAD935 is UNSAT
Problem TDEAD936 is UNSAT
Problem TDEAD937 is UNSAT
Problem TDEAD938 is UNSAT
Problem TDEAD1709 is UNSAT
Problem TDEAD1710 is UNSAT
Problem TDEAD1711 is UNSAT
Problem TDEAD1712 is UNSAT
Problem TDEAD1713 is UNSAT
Problem TDEAD1714 is UNSAT
Problem TDEAD1715 is UNSAT
Problem TDEAD1716 is UNSAT
Problem TDEAD1717 is UNSAT
Problem TDEAD1718 is UNSAT
Problem TDEAD1719 is UNSAT
Problem TDEAD1720 is UNSAT
Problem TDEAD1721 is UNSAT
Problem TDEAD1722 is UNSAT
Problem TDEAD1723 is UNSAT
Problem TDEAD1724 is UNSAT
Problem TDEAD1727 is UNSAT
Problem TDEAD1728 is UNSAT
Problem TDEAD1729 is UNSAT
Problem TDEAD1730 is UNSAT
Problem TDEAD1731 is UNSAT
Problem TDEAD1732 is UNSAT
Problem TDEAD1733 is UNSAT
Problem TDEAD1734 is UNSAT
Problem TDEAD1735 is UNSAT
Problem TDEAD1736 is UNSAT
Problem TDEAD1737 is UNSAT
Problem TDEAD1738 is UNSAT
Problem TDEAD1739 is UNSAT
Problem TDEAD1740 is UNSAT
Problem TDEAD1741 is UNSAT
Problem TDEAD1742 is UNSAT
Problem TDEAD1743 is UNSAT
Problem TDEAD1744 is UNSAT
Problem TDEAD1745 is UNSAT
Problem TDEAD1748 is UNSAT
Problem TDEAD1749 is UNSAT
Problem TDEAD1750 is UNSAT
Problem TDEAD1753 is UNSAT
Problem TDEAD1754 is UNSAT
Problem TDEAD1755 is UNSAT
Problem TDEAD1756 is UNSAT
Problem TDEAD1757 is UNSAT
Problem TDEAD1758 is UNSAT
Problem TDEAD1759 is UNSAT
Problem TDEAD1760 is UNSAT
Problem TDEAD1761 is UNSAT
Problem TDEAD1762 is UNSAT
Problem TDEAD1763 is UNSAT
Problem TDEAD1764 is UNSAT
Problem TDEAD1765 is UNSAT
Problem TDEAD1766 is UNSAT
Problem TDEAD1767 is UNSAT
Problem TDEAD1768 is UNSAT
Problem TDEAD1769 is UNSAT
Problem TDEAD1770 is UNSAT
Problem TDEAD1771 is UNSAT
Problem TDEAD1772 is UNSAT
Problem TDEAD1773 is UNSAT
Problem TDEAD1774 is UNSAT
Problem TDEAD1775 is UNSAT
Problem TDEAD1776 is UNSAT
Problem TDEAD1779 is UNSAT
Problem TDEAD1780 is UNSAT
Problem TDEAD1781 is UNSAT
Problem TDEAD1782 is UNSAT
Problem TDEAD1783 is UNSAT
Problem TDEAD1784 is UNSAT
Problem TDEAD1785 is UNSAT
Problem TDEAD1786 is UNSAT
Problem TDEAD1787 is UNSAT
Problem TDEAD1788 is UNSAT
Problem TDEAD1789 is UNSAT
Problem TDEAD1790 is UNSAT
Problem TDEAD1791 is UNSAT
Problem TDEAD1792 is UNSAT
Problem TDEAD1793 is UNSAT
Problem TDEAD1794 is UNSAT
Problem TDEAD1795 is UNSAT
Problem TDEAD1796 is UNSAT
Problem TDEAD1797 is UNSAT
Problem TDEAD1798 is UNSAT
Problem TDEAD1800 is UNSAT
Problem TDEAD1801 is UNSAT
Problem TDEAD1802 is UNSAT
Problem TDEAD1803 is UNSAT
Problem TDEAD1804 is UNSAT
Problem TDEAD1805 is UNSAT
Problem TDEAD1806 is UNSAT
Problem TDEAD1807 is UNSAT
Problem TDEAD1808 is UNSAT
Problem TDEAD1809 is UNSAT
Problem TDEAD1810 is UNSAT
Problem TDEAD1811 is UNSAT
Problem TDEAD1812 is UNSAT
Problem TDEAD1813 is UNSAT
Problem TDEAD1814 is UNSAT
Problem TDEAD1815 is UNSAT
Problem TDEAD1816 is UNSAT
Problem TDEAD1817 is UNSAT
Problem TDEAD1818 is UNSAT
Problem TDEAD1821 is UNSAT
Problem TDEAD1822 is UNSAT
Problem TDEAD1823 is UNSAT
Problem TDEAD1824 is UNSAT
Problem TDEAD1825 is UNSAT
Problem TDEAD1826 is UNSAT
Problem TDEAD1827 is UNSAT
Problem TDEAD1828 is UNSAT
Problem TDEAD1831 is UNSAT
Problem TDEAD1832 is UNSAT
Problem TDEAD1833 is UNSAT
Problem TDEAD1834 is UNSAT
Problem TDEAD1835 is UNSAT
Problem TDEAD1836 is UNSAT
Problem TDEAD1837 is UNSAT
Problem TDEAD1838 is UNSAT
Problem TDEAD1839 is UNSAT
Problem TDEAD1840 is UNSAT
Problem TDEAD1841 is UNSAT
Problem TDEAD1842 is UNSAT
Problem TDEAD1845 is UNSAT
Problem TDEAD1846 is UNSAT
Problem TDEAD1847 is UNSAT
Problem TDEAD1848 is UNSAT
Problem TDEAD1849 is UNSAT
Problem TDEAD1850 is UNSAT
Problem TDEAD1851 is UNSAT
Problem TDEAD1852 is UNSAT
Problem TDEAD1853 is UNSAT
Problem TDEAD1854 is UNSAT
Problem TDEAD1855 is UNSAT
Problem TDEAD1856 is UNSAT
Problem TDEAD1857 is UNSAT
Problem TDEAD1858 is UNSAT
Problem TDEAD1859 is UNSAT
Problem TDEAD1860 is UNSAT
Problem TDEAD1861 is UNSAT
Problem TDEAD1862 is UNSAT
Problem TDEAD1863 is UNSAT
Problem TDEAD1864 is UNSAT
Problem TDEAD1865 is UNSAT
Problem TDEAD1866 is UNSAT
Problem TDEAD1867 is UNSAT
Problem TDEAD1868 is UNSAT
Problem TDEAD1869 is UNSAT
Problem TDEAD1870 is UNSAT
Problem TDEAD1871 is UNSAT
Problem TDEAD1872 is UNSAT
Problem TDEAD1873 is UNSAT
Problem TDEAD1874 is UNSAT
Problem TDEAD1875 is UNSAT
Problem TDEAD1876 is UNSAT
Problem TDEAD1877 is UNSAT
Problem TDEAD1878 is UNSAT
Problem TDEAD1879 is UNSAT
Problem TDEAD1880 is UNSAT
Problem TDEAD1881 is UNSAT
Problem TDEAD1882 is UNSAT
Problem TDEAD1883 is UNSAT
Problem TDEAD1884 is UNSAT
Problem TDEAD1885 is UNSAT
Problem TDEAD1888 is UNSAT
Problem TDEAD1889 is UNSAT
Problem TDEAD1890 is UNSAT
Problem TDEAD1891 is UNSAT
Problem TDEAD1892 is UNSAT
Problem TDEAD1894 is UNSAT
Problem TDEAD1895 is UNSAT
Problem TDEAD1896 is UNSAT
Problem TDEAD1897 is UNSAT
Problem TDEAD1898 is UNSAT
Problem TDEAD1899 is UNSAT
Problem TDEAD1900 is UNSAT
Problem TDEAD1901 is UNSAT
Problem TDEAD1902 is UNSAT
Problem TDEAD1903 is UNSAT
Problem TDEAD1904 is UNSAT
Problem TDEAD1905 is UNSAT
Problem TDEAD1906 is UNSAT
Problem TDEAD1907 is UNSAT
Problem TDEAD1908 is UNSAT
Problem TDEAD1909 is UNSAT
Problem TDEAD1910 is UNSAT
Problem TDEAD1911 is UNSAT
Problem TDEAD1912 is UNSAT
Problem TDEAD1913 is UNSAT
Problem TDEAD1914 is UNSAT
Problem TDEAD1915 is UNSAT
Problem TDEAD1916 is UNSAT
Problem TDEAD1917 is UNSAT
Problem TDEAD1918 is UNSAT
Problem TDEAD1919 is UNSAT
Problem TDEAD1920 is UNSAT
Problem TDEAD1921 is UNSAT
Problem TDEAD1922 is UNSAT
Problem TDEAD1923 is UNSAT
Problem TDEAD1924 is UNSAT
Problem TDEAD1925 is UNSAT
Problem TDEAD1926 is UNSAT
Problem TDEAD1927 is UNSAT
Problem TDEAD1928 is UNSAT
Problem TDEAD1929 is UNSAT
Problem TDEAD1930 is UNSAT
Problem TDEAD1931 is UNSAT
Problem TDEAD1932 is UNSAT
Problem TDEAD1933 is UNSAT
Problem TDEAD1934 is UNSAT
Problem TDEAD1935 is UNSAT
Problem TDEAD1936 is UNSAT
Problem TDEAD1937 is UNSAT
Problem TDEAD1938 is UNSAT
Problem TDEAD1939 is UNSAT
Problem TDEAD1940 is UNSAT
Problem TDEAD1941 is UNSAT
Problem TDEAD1942 is UNSAT
Problem TDEAD1943 is UNSAT
Problem TDEAD1944 is UNSAT
Problem TDEAD1945 is UNSAT
Problem TDEAD1946 is UNSAT
Problem TDEAD1947 is UNSAT
Problem TDEAD1948 is UNSAT
Problem TDEAD1949 is UNSAT
Problem TDEAD1950 is UNSAT
Problem TDEAD1953 is UNSAT
Problem TDEAD1954 is UNSAT
Problem TDEAD1956 is UNSAT
Problem TDEAD1957 is UNSAT
Problem TDEAD1958 is UNSAT
Problem TDEAD1959 is UNSAT
Problem TDEAD1960 is UNSAT
Problem TDEAD1961 is UNSAT
Problem TDEAD1962 is UNSAT
Problem TDEAD1963 is UNSAT
Problem TDEAD1964 is UNSAT
Problem TDEAD1965 is UNSAT
Problem TDEAD1966 is UNSAT
Problem TDEAD1969 is UNSAT
Problem TDEAD1970 is UNSAT
Problem TDEAD1971 is UNSAT
Problem TDEAD1972 is UNSAT
Problem TDEAD1973 is UNSAT
Problem TDEAD1974 is UNSAT
Problem TDEAD1975 is UNSAT
Problem TDEAD1976 is UNSAT
Problem TDEAD1977 is UNSAT
Problem TDEAD1978 is UNSAT
Problem TDEAD1979 is UNSAT
Problem TDEAD1980 is UNSAT
Problem TDEAD1981 is UNSAT
Problem TDEAD1982 is UNSAT
Problem TDEAD1983 is UNSAT
Problem TDEAD1984 is UNSAT
Problem TDEAD1985 is UNSAT
Problem TDEAD1986 is UNSAT
Problem TDEAD1987 is UNSAT
Problem TDEAD1988 is UNSAT
Problem TDEAD1989 is UNSAT
Problem TDEAD1990 is UNSAT
Problem TDEAD1991 is UNSAT
Problem TDEAD1992 is UNSAT
Problem TDEAD1993 is UNSAT
Problem TDEAD1995 is UNSAT
Problem TDEAD1996 is UNSAT
Problem TDEAD1997 is UNSAT
Problem TDEAD1998 is UNSAT
Problem TDEAD1999 is UNSAT
Problem TDEAD2000 is UNSAT
Problem TDEAD2001 is UNSAT
Problem TDEAD2002 is UNSAT
Problem TDEAD2003 is UNSAT
Problem TDEAD2004 is UNSAT
Problem TDEAD2005 is UNSAT
Problem TDEAD2063 is UNSAT
Problem TDEAD2064 is UNSAT
Problem TDEAD2065 is UNSAT
Problem TDEAD2066 is UNSAT
Problem TDEAD2067 is UNSAT
Problem TDEAD2068 is UNSAT
Problem TDEAD2069 is UNSAT
Problem TDEAD2070 is UNSAT
Problem TDEAD2071 is UNSAT
Problem TDEAD2073 is UNSAT
Problem TDEAD2074 is UNSAT
Problem TDEAD2075 is UNSAT
Problem TDEAD2076 is UNSAT
Problem TDEAD2077 is UNSAT
Problem TDEAD2078 is UNSAT
Problem TDEAD2079 is UNSAT
Problem TDEAD2080 is UNSAT
Problem TDEAD2081 is UNSAT
Problem TDEAD2098 is UNSAT
Problem TDEAD2099 is UNSAT
Problem TDEAD2109 is UNSAT
Problem TDEAD2111 is UNSAT
Problem TDEAD2113 is UNSAT
Problem TDEAD2115 is UNSAT
Problem TDEAD2118 is UNSAT
Problem TDEAD2120 is UNSAT
Problem TDEAD2124 is UNSAT
Problem TDEAD2126 is UNSAT
Problem TDEAD2130 is UNSAT
Problem TDEAD2135 is UNSAT
Problem TDEAD2137 is UNSAT
Problem TDEAD2141 is UNSAT
Problem TDEAD2143 is UNSAT
Problem TDEAD2146 is UNSAT
Problem TDEAD2148 is UNSAT
Problem TDEAD2150 is UNSAT
Problem TDEAD2154 is UNSAT
Problem TDEAD2155 is UNSAT
Problem TDEAD2160 is UNSAT
Problem TDEAD2162 is UNSAT
Problem TDEAD2164 is UNSAT
Problem TDEAD2169 is UNSAT
Problem TDEAD2174 is UNSAT
Problem TDEAD2179 is UNSAT
Problem TDEAD2181 is UNSAT
Problem TDEAD2183 is UNSAT
Problem TDEAD2186 is UNSAT
Problem TDEAD2192 is UNSAT
Problem TDEAD2196 is UNSAT
Problem TDEAD2198 is UNSAT
Problem TDEAD2200 is UNSAT
Problem TDEAD2203 is UNSAT
Problem TDEAD2205 is UNSAT
Problem TDEAD2209 is UNSAT
Problem TDEAD2216 is UNSAT
Problem TDEAD2230 is UNSAT
Problem TDEAD2232 is UNSAT
Problem TDEAD2234 is UNSAT
Problem TDEAD2235 is UNSAT
Problem TDEAD2239 is UNSAT
Problem TDEAD2243 is UNSAT
Problem TDEAD2250 is UNSAT
Problem TDEAD2252 is UNSAT
Problem TDEAD2254 is UNSAT
Problem TDEAD2260 is UNSAT
Problem TDEAD2266 is UNSAT
Problem TDEAD2277 is UNSAT
Problem TDEAD2283 is UNSAT
Problem TDEAD2289 is UNSAT
Problem TDEAD2294 is UNSAT
Problem TDEAD2297 is UNSAT
Problem TDEAD2300 is UNSAT
Problem TDEAD2302 is UNSAT
Problem TDEAD2307 is UNSAT
Problem TDEAD2310 is UNSAT
Problem TDEAD2311 is UNSAT
Problem TDEAD2314 is UNSAT
Problem TDEAD2319 is UNSAT
Problem TDEAD2323 is UNSAT
Problem TDEAD2331 is UNSAT
Problem TDEAD2334 is UNSAT
Problem TDEAD2338 is UNSAT
Problem TDEAD2340 is UNSAT
Problem TDEAD2341 is UNSAT
Problem TDEAD2343 is UNSAT
Problem TDEAD2345 is UNSAT
Problem TDEAD2347 is UNSAT
Problem TDEAD2349 is UNSAT
Problem TDEAD2356 is UNSAT
Problem TDEAD2358 is UNSAT
Problem TDEAD2360 is UNSAT
Problem TDEAD2364 is UNSAT
Problem TDEAD2366 is UNSAT
Problem TDEAD2367 is UNSAT
Problem TDEAD2369 is UNSAT
Problem TDEAD2371 is UNSAT
Problem TDEAD2377 is UNSAT
Problem TDEAD2382 is UNSAT
Problem TDEAD2384 is UNSAT
Problem TDEAD2389 is UNSAT
Problem TDEAD2391 is UNSAT
Problem TDEAD2394 is UNSAT
Problem TDEAD2396 is UNSAT
Problem TDEAD2398 is UNSAT
Problem TDEAD2399 is UNSAT
Problem TDEAD2408 is UNSAT
Problem TDEAD2410 is UNSAT
Problem TDEAD2413 is UNSAT
Problem TDEAD2415 is UNSAT
Problem TDEAD2424 is UNSAT
Problem TDEAD2428 is UNSAT
Problem TDEAD2430 is UNSAT
Problem TDEAD2434 is UNSAT
Problem TDEAD2436 is UNSAT
Problem TDEAD2437 is UNSAT
Problem TDEAD2439 is UNSAT
Problem TDEAD2443 is UNSAT
Problem TDEAD2445 is UNSAT
Problem TDEAD2452 is UNSAT
Problem TDEAD2454 is UNSAT
Problem TDEAD2456 is UNSAT
Problem TDEAD2459 is UNSAT
Problem TDEAD2466 is UNSAT
Problem TDEAD2468 is UNSAT
Problem TDEAD2476 is UNSAT
Problem TDEAD2478 is UNSAT
Problem TDEAD2481 is UNSAT
Problem TDEAD2483 is UNSAT
Problem TDEAD2494 is UNSAT
Problem TDEAD2496 is UNSAT
Problem TDEAD2498 is UNSAT
Problem TDEAD2500 is UNSAT
Problem TDEAD2509 is UNSAT
Problem TDEAD2511 is UNSAT
Problem TDEAD2518 is UNSAT
Problem TDEAD2520 is UNSAT
Problem TDEAD2526 is UNSAT
Problem TDEAD2528 is UNSAT
Problem TDEAD2532 is UNSAT
Problem TDEAD2534 is UNSAT
Problem TDEAD2537 is UNSAT
Problem TDEAD2543 is UNSAT
Problem TDEAD2547 is UNSAT
Problem TDEAD2549 is UNSAT
Problem TDEAD2554 is UNSAT
Problem TDEAD2556 is UNSAT
Problem TDEAD2560 is UNSAT
Problem TDEAD2567 is UNSAT
Problem TDEAD2569 is UNSAT
Problem TDEAD2571 is UNSAT
Problem TDEAD2578 is UNSAT
Problem TDEAD2584 is UNSAT
Problem TDEAD2590 is UNSAT
Problem TDEAD2594 is UNSAT
Problem TDEAD2596 is UNSAT
Problem TDEAD2602 is UNSAT
Problem TDEAD2606 is UNSAT
Problem TDEAD2607 is UNSAT
Problem TDEAD2609 is UNSAT
Problem TDEAD2611 is UNSAT
Problem TDEAD2613 is UNSAT
Problem TDEAD2615 is UNSAT
Problem TDEAD2618 is UNSAT
Problem TDEAD2620 is UNSAT
Problem TDEAD2622 is UNSAT
Problem TDEAD2624 is UNSAT
Problem TDEAD2628 is UNSAT
Problem TDEAD2635 is UNSAT
Problem TDEAD2637 is UNSAT
Problem TDEAD2641 is UNSAT
Problem TDEAD2644 is UNSAT
Problem TDEAD2655 is UNSAT
Problem TDEAD2658 is UNSAT
Problem TDEAD2662 is UNSAT
Problem TDEAD2667 is UNSAT
Problem TDEAD2670 is UNSAT
Problem TDEAD2672 is UNSAT
Problem TDEAD2677 is UNSAT
Problem TDEAD2681 is UNSAT
Problem TDEAD2684 is UNSAT
Problem TDEAD2692 is UNSAT
Problem TDEAD2693 is UNSAT
Problem TDEAD2705 is UNSAT
Problem TDEAD2711 is UNSAT
Problem TDEAD2713 is UNSAT
Problem TDEAD2715 is UNSAT
Problem TDEAD2720 is UNSAT
Problem TDEAD2724 is UNSAT
Problem TDEAD2726 is UNSAT
Problem TDEAD2730 is UNSAT
Problem TDEAD2731 is UNSAT
Problem TDEAD2735 is UNSAT
Problem TDEAD2737 is UNSAT
Problem TDEAD2739 is UNSAT
Problem TDEAD2752 is UNSAT
Problem TDEAD2755 is UNSAT
Problem TDEAD2757 is UNSAT
Problem TDEAD2763 is UNSAT
Problem TDEAD2765 is UNSAT
Problem TDEAD2769 is UNSAT
Problem TDEAD2776 is UNSAT
Problem TDEAD2779 is UNSAT
Problem TDEAD2781 is UNSAT
Problem TDEAD2787 is UNSAT
Problem TDEAD2790 is UNSAT
Problem TDEAD2794 is UNSAT
Problem TDEAD2795 is UNSAT
Problem TDEAD2798 is UNSAT
Problem TDEAD2805 is UNSAT
Problem TDEAD2808 is UNSAT
Problem TDEAD2814 is UNSAT
Problem TDEAD2816 is UNSAT
Problem TDEAD2818 is UNSAT
Problem TDEAD2821 is UNSAT
Problem TDEAD2828 is UNSAT
Problem TDEAD2831 is UNSAT
Problem TDEAD2838 is UNSAT
Problem TDEAD2843 is UNSAT
Problem TDEAD2854 is UNSAT
Problem TDEAD2856 is UNSAT
Problem TDEAD2859 is UNSAT
Problem TDEAD2863 is UNSAT
Problem TDEAD2865 is UNSAT
Problem TDEAD2869 is UNSAT
Problem TDEAD2876 is UNSAT
Problem TDEAD2878 is UNSAT
Problem TDEAD2882 is UNSAT
Problem TDEAD2885 is UNSAT
Problem TDEAD2888 is UNSAT
Problem TDEAD2892 is UNSAT
Problem TDEAD2896 is UNSAT
Problem TDEAD2897 is UNSAT
Problem TDEAD2899 is UNSAT
Problem TDEAD2902 is UNSAT
Problem TDEAD2904 is UNSAT
Problem TDEAD2909 is UNSAT
Problem TDEAD2911 is UNSAT
Problem TDEAD2913 is UNSAT
Problem TDEAD2916 is UNSAT
Problem TDEAD2919 is UNSAT
Problem TDEAD2922 is UNSAT
Problem TDEAD2926 is UNSAT
Problem TDEAD2928 is UNSAT
Problem TDEAD2933 is UNSAT
Problem TDEAD2935 is UNSAT
Problem TDEAD2937 is UNSAT
Problem TDEAD2941 is UNSAT
Problem TDEAD2944 is UNSAT
Problem TDEAD2946 is UNSAT
Problem TDEAD2952 is UNSAT
Problem TDEAD2960 is UNSAT
Problem TDEAD2965 is UNSAT
Problem TDEAD2970 is UNSAT
Problem TDEAD2972 is UNSAT
Problem TDEAD2973 is UNSAT
Problem TDEAD2981 is UNSAT
Problem TDEAD2984 is UNSAT
Problem TDEAD2990 is UNSAT
Problem TDEAD2993 is UNSAT
Problem TDEAD2997 is UNSAT
Problem TDEAD3001 is UNSAT
Problem TDEAD3006 is UNSAT
Problem TDEAD3008 is UNSAT
Problem TDEAD3012 is UNSAT
Problem TDEAD3014 is UNSAT
Problem TDEAD3016 is UNSAT
Problem TDEAD3017 is UNSAT
Problem TDEAD3029 is UNSAT
Problem TDEAD3033 is UNSAT
Problem TDEAD3037 is UNSAT
Problem TDEAD3039 is UNSAT
Problem TDEAD3043 is UNSAT
Problem TDEAD3046 is UNSAT
Problem TDEAD3050 is UNSAT
Problem TDEAD3058 is UNSAT
Problem TDEAD3059 is UNSAT
Problem TDEAD3061 is UNSAT
Problem TDEAD3063 is UNSAT
Problem TDEAD3065 is UNSAT
Problem TDEAD3067 is UNSAT
Problem TDEAD3074 is UNSAT
Problem TDEAD3076 is UNSAT
Problem TDEAD3086 is UNSAT
Problem TDEAD3088 is UNSAT
Problem TDEAD3089 is UNSAT
Problem TDEAD3091 is UNSAT
Problem TDEAD3093 is UNSAT
Problem TDEAD3095 is UNSAT
Problem TDEAD3100 is UNSAT
Problem TDEAD3102 is UNSAT
Problem TDEAD3106 is UNSAT
Problem TDEAD3112 is UNSAT
Problem TDEAD3116 is UNSAT
Problem TDEAD3120 is UNSAT
Problem TDEAD3124 is UNSAT
Problem TDEAD3126 is UNSAT
Problem TDEAD3127 is UNSAT
Problem TDEAD3129 is UNSAT
Problem TDEAD3133 is UNSAT
Problem TDEAD3144 is UNSAT
Problem TDEAD3145 is UNSAT
Problem TDEAD3149 is UNSAT
Problem TDEAD3152 is UNSAT
Problem TDEAD3156 is UNSAT
Problem TDEAD3162 is UNSAT
Problem TDEAD3169 is UNSAT
Problem TDEAD3178 is UNSAT
Problem TDEAD3182 is UNSAT
Problem TDEAD3184 is UNSAT
Problem TDEAD3186 is UNSAT
Problem TDEAD3190 is UNSAT
Problem TDEAD3191 is UNSAT
Problem TDEAD3194 is UNSAT
Problem TDEAD3195 is UNSAT
Problem TDEAD3197 is UNSAT
Problem TDEAD3209 is UNSAT
Problem TDEAD3213 is UNSAT
Problem TDEAD3216 is UNSAT
Problem TDEAD3217 is UNSAT
Problem TDEAD3222 is UNSAT
Problem TDEAD3224 is UNSAT
Problem TDEAD3227 is UNSAT
Problem TDEAD3237 is UNSAT
Problem TDEAD3246 is UNSAT
Problem TDEAD3248 is UNSAT
Problem TDEAD3249 is UNSAT
Problem TDEAD3254 is UNSAT
Problem TDEAD3260 is UNSAT
Problem TDEAD3261 is UNSAT
Problem TDEAD3263 is UNSAT
Problem TDEAD3265 is UNSAT
Problem TDEAD3268 is UNSAT
Problem TDEAD3272 is UNSAT
Problem TDEAD3273 is UNSAT
Problem TDEAD3277 is UNSAT
Problem TDEAD3279 is UNSAT
Problem TDEAD3282 is UNSAT
Problem TDEAD3284 is UNSAT
Problem TDEAD3288 is UNSAT
Problem TDEAD3290 is UNSAT
Problem TDEAD3292 is UNSAT
Problem TDEAD3297 is UNSAT
Problem TDEAD3305 is UNSAT
Problem TDEAD3310 is UNSAT
Problem TDEAD3311 is UNSAT
Problem TDEAD3316 is UNSAT
Problem TDEAD3318 is UNSAT
Problem TDEAD3319 is UNSAT
Problem TDEAD3325 is UNSAT
Problem TDEAD3327 is UNSAT
Problem TDEAD3329 is UNSAT
Problem TDEAD3341 is UNSAT
Problem TDEAD3350 is UNSAT
Problem TDEAD3352 is UNSAT
Problem TDEAD3361 is UNSAT
Problem TDEAD3363 is UNSAT
Problem TDEAD3367 is UNSAT
Problem TDEAD3369 is UNSAT
Problem TDEAD3372 is UNSAT
Problem TDEAD3378 is UNSAT
Problem TDEAD3384 is UNSAT
Problem TDEAD3388 is UNSAT
Problem TDEAD3391 is UNSAT
Problem TDEAD3395 is UNSAT
Problem TDEAD3400 is UNSAT
Problem TDEAD3405 is UNSAT
Problem TDEAD3414 is UNSAT
Problem TDEAD3432 is UNSAT
Problem TDEAD3437 is UNSAT
Problem TDEAD3440 is UNSAT
Problem TDEAD3441 is UNSAT
Problem TDEAD3443 is UNSAT
Problem TDEAD3452 is UNSAT
Problem TDEAD3461 is UNSAT
Problem TDEAD3465 is UNSAT
Problem TDEAD3475 is UNSAT
Problem TDEAD3478 is UNSAT
Problem TDEAD3479 is UNSAT
Problem TDEAD3484 is UNSAT
Problem TDEAD3486 is UNSAT
Problem TDEAD3487 is UNSAT
Problem TDEAD3489 is UNSAT
Problem TDEAD3491 is UNSAT
Problem TDEAD3496 is UNSAT
Problem TDEAD3498 is UNSAT
Problem TDEAD3500 is UNSAT
Problem TDEAD3505 is UNSAT
Problem TDEAD3515 is UNSAT
Problem TDEAD3518 is UNSAT
Problem TDEAD3519 is UNSAT
Problem TDEAD3522 is UNSAT
Problem TDEAD3534 is UNSAT
Problem TDEAD3536 is UNSAT
Problem TDEAD3539 is UNSAT
Problem TDEAD3543 is UNSAT
Problem TDEAD3552 is UNSAT
Problem TDEAD3554 is UNSAT
Problem TDEAD3556 is UNSAT
Problem TDEAD3560 is UNSAT
Problem TDEAD3561 is UNSAT
Problem TDEAD3563 is UNSAT
Problem TDEAD3574 is UNSAT
Problem TDEAD3575 is UNSAT
Problem TDEAD3580 is UNSAT
Problem TDEAD3582 is UNSAT
Problem TDEAD3583 is UNSAT
Problem TDEAD3586 is UNSAT
Problem TDEAD3589 is UNSAT
Problem TDEAD3600 is UNSAT
Problem TDEAD3602 is UNSAT
Problem TDEAD3605 is UNSAT
Problem TDEAD3607 is UNSAT
Problem TDEAD3609 is UNSAT
Problem TDEAD3616 is UNSAT
Problem TDEAD3621 is UNSAT
Problem TDEAD3626 is UNSAT
Problem TDEAD3627 is UNSAT
Problem TDEAD3631 is UNSAT
Problem TDEAD3645 is UNSAT
Problem TDEAD3648 is UNSAT
Problem TDEAD3650 is UNSAT
Problem TDEAD3653 is UNSAT
Problem TDEAD3658 is UNSAT
Problem TDEAD3659 is UNSAT
Problem TDEAD3662 is UNSAT
Problem TDEAD3664 is UNSAT
Problem TDEAD3669 is UNSAT
Problem TDEAD3671 is UNSAT
Problem TDEAD3673 is UNSAT
Problem TDEAD3680 is UNSAT
Problem TDEAD3685 is UNSAT
Problem TDEAD3690 is UNSAT
Problem TDEAD3693 is UNSAT
Problem TDEAD3695 is UNSAT
Problem TDEAD3697 is UNSAT
Problem TDEAD3699 is UNSAT
Problem TDEAD3704 is UNSAT
Problem TDEAD3706 is UNSAT
Problem TDEAD3708 is UNSAT
Problem TDEAD3710 is UNSAT
Problem TDEAD3712 is UNSAT
Problem TDEAD3716 is UNSAT
Problem TDEAD3720 is UNSAT
Problem TDEAD3721 is UNSAT
Problem TDEAD3730 is UNSAT
Problem TDEAD3737 is UNSAT
Problem TDEAD3739 is UNSAT
Problem TDEAD3742 is UNSAT
Problem TDEAD3744 is UNSAT
Problem TDEAD3746 is UNSAT
Problem TDEAD3748 is UNSAT
Problem TDEAD3749 is UNSAT
Problem TDEAD3751 is UNSAT
Problem TDEAD3755 is UNSAT
Problem TDEAD3760 is UNSAT
Problem TDEAD3765 is UNSAT
Problem TDEAD3767 is UNSAT
Problem TDEAD3770 is UNSAT
Problem TDEAD3772 is UNSAT
Problem TDEAD3780 is UNSAT
Problem TDEAD3781 is UNSAT
Problem TDEAD3784 is UNSAT
Problem TDEAD3789 is UNSAT
Problem TDEAD3793 is UNSAT
Problem TDEAD3801 is UNSAT
Problem TDEAD3810 is UNSAT
Problem TDEAD3812 is UNSAT
Problem TDEAD3836 is UNSAT
Problem TDEAD3865 is UNSAT
Problem TDEAD3922 is UNSAT
Problem TDEAD3971 is UNSAT
Problem TDEAD3977 is UNSAT
Problem TDEAD3981 is UNSAT
Problem TDEAD3982 is UNSAT
Problem TDEAD3988 is UNSAT
Problem TDEAD3990 is UNSAT
Problem TDEAD3994 is UNSAT
Problem TDEAD3997 is UNSAT
Problem TDEAD4001 is UNSAT
Problem TDEAD4006 is UNSAT
Problem TDEAD4013 is UNSAT
Problem TDEAD4016 is UNSAT
Problem TDEAD4018 is UNSAT
Problem TDEAD4020 is UNSAT
Problem TDEAD4022 is UNSAT
Problem TDEAD4027 is UNSAT
Problem TDEAD4029 is UNSAT
Problem TDEAD4037 is UNSAT
Problem TDEAD4043 is UNSAT
Problem TDEAD4046 is UNSAT
Problem TDEAD4050 is UNSAT
Problem TDEAD4054 is UNSAT
Problem TDEAD4056 is UNSAT
Problem TDEAD4058 is UNSAT
Problem TDEAD4060 is UNSAT
Problem TDEAD4071 is UNSAT
Problem TDEAD4074 is UNSAT
Problem TDEAD4079 is UNSAT
Problem TDEAD4081 is UNSAT
Problem TDEAD4082 is UNSAT
Problem TDEAD4094 is UNSAT
Problem TDEAD4098 is UNSAT
Problem TDEAD4105 is UNSAT
Problem TDEAD4107 is UNSAT
Problem TDEAD4111 is UNSAT
Problem TDEAD4113 is UNSAT
Problem TDEAD4114 is UNSAT
Problem TDEAD4120 is UNSAT
Problem TDEAD4131 is UNSAT
Problem TDEAD4136 is UNSAT
Problem TDEAD4141 is UNSAT
Problem TDEAD4163 is UNSAT
Problem TDEAD4167 is UNSAT
Problem TDEAD4169 is UNSAT
Problem TDEAD4175 is UNSAT
Problem TDEAD4177 is UNSAT
Problem TDEAD4178 is UNSAT
Problem TDEAD4180 is UNSAT
Problem TDEAD4182 is UNSAT
Problem TDEAD4189 is UNSAT
Problem TDEAD4195 is UNSAT
Problem TDEAD4200 is UNSAT
Problem TDEAD4207 is UNSAT
Problem TDEAD4209 is UNSAT
Problem TDEAD4210 is UNSAT
Problem TDEAD4214 is UNSAT
Problem TDEAD4217 is UNSAT
Problem TDEAD4220 is UNSAT
Problem TDEAD4224 is UNSAT
Problem TDEAD4226 is UNSAT
Problem TDEAD4231 is UNSAT
Problem TDEAD4233 is UNSAT
Problem TDEAD4239 is UNSAT
Problem TDEAD4242 is UNSAT
Problem TDEAD4244 is UNSAT
Problem TDEAD4246 is UNSAT
Problem TDEAD4248 is UNSAT
Problem TDEAD4250 is UNSAT
Problem TDEAD4254 is UNSAT
Problem TDEAD4259 is UNSAT
Problem TDEAD4261 is UNSAT
Problem TDEAD4263 is UNSAT
Problem TDEAD4265 is UNSAT
Problem TDEAD4267 is UNSAT
Problem TDEAD4269 is UNSAT
Problem TDEAD4273 is UNSAT
Problem TDEAD4275 is UNSAT
Problem TDEAD4276 is UNSAT
Problem TDEAD4278 is UNSAT
Problem TDEAD4284 is UNSAT
Problem TDEAD4289 is UNSAT
Problem TDEAD4291 is UNSAT
Problem TDEAD4299 is UNSAT
Problem TDEAD4303 is UNSAT
Problem TDEAD4320 is UNSAT
Problem TDEAD4323 is UNSAT
Problem TDEAD4327 is UNSAT
Problem TDEAD4339 is UNSAT
Problem TDEAD4341 is UNSAT
Problem TDEAD4343 is UNSAT
Problem TDEAD4346 is UNSAT
Problem TDEAD4352 is UNSAT
Problem TDEAD4354 is UNSAT
Problem TDEAD4358 is UNSAT
Problem TDEAD4363 is UNSAT
Problem TDEAD4365 is UNSAT
Problem TDEAD4372 is UNSAT
Problem TDEAD4375 is UNSAT
Problem TDEAD4380 is UNSAT
Problem TDEAD4382 is UNSAT
Problem TDEAD4387 is UNSAT
Problem TDEAD4396 is UNSAT
Problem TDEAD4398 is UNSAT
Problem TDEAD4401 is UNSAT
Problem TDEAD4403 is UNSAT
Problem TDEAD4407 is UNSAT
Problem TDEAD4409 is UNSAT
Problem TDEAD4414 is UNSAT
Problem TDEAD4420 is UNSAT
Problem TDEAD4422 is UNSAT
Problem TDEAD4424 is UNSAT
Problem TDEAD4431 is UNSAT
Problem TDEAD4436 is UNSAT
Problem TDEAD4456 is UNSAT
Problem TDEAD4458 is UNSAT
Problem TDEAD4463 is UNSAT
Problem TDEAD4469 is UNSAT
Problem TDEAD4471 is UNSAT
Problem TDEAD4473 is UNSAT
Problem TDEAD4475 is UNSAT
Problem TDEAD4477 is UNSAT
Problem TDEAD4478 is UNSAT
Problem TDEAD4480 is UNSAT
Problem TDEAD4488 is UNSAT
Problem TDEAD4491 is UNSAT
Problem TDEAD4493 is UNSAT
Problem TDEAD4502 is UNSAT
Problem TDEAD4512 is UNSAT
Problem TDEAD4514 is UNSAT
Problem TDEAD4522 is UNSAT
Problem TDEAD4526 is UNSAT
Problem TDEAD4528 is UNSAT
Problem TDEAD4531 is UNSAT
Problem TDEAD4533 is UNSAT
Problem TDEAD4537 is UNSAT
Problem TDEAD4539 is UNSAT
Problem TDEAD4546 is UNSAT
Problem TDEAD4548 is UNSAT
Problem TDEAD4550 is UNSAT
Problem TDEAD4552 is UNSAT
Problem TDEAD4554 is UNSAT
Problem TDEAD4556 is UNSAT
Problem TDEAD4559 is UNSAT
Problem TDEAD4567 is UNSAT
Problem TDEAD4574 is UNSAT
Problem TDEAD4576 is UNSAT
Problem TDEAD4578 is UNSAT
Problem TDEAD4580 is UNSAT
Problem TDEAD4587 is UNSAT
Problem TDEAD4591 is UNSAT
Problem TDEAD4592 is UNSAT
Problem TDEAD4594 is UNSAT
Problem TDEAD4599 is UNSAT
Problem TDEAD4603 is UNSAT
Problem TDEAD4611 is UNSAT
Problem TDEAD4616 is UNSAT
Problem TDEAD4618 is UNSAT
Problem TDEAD4623 is UNSAT
Problem TDEAD4625 is UNSAT
Problem TDEAD4629 is UNSAT
Problem TDEAD4633 is UNSAT
Problem TDEAD4635 is UNSAT
Problem TDEAD4644 is UNSAT
Problem TDEAD4651 is UNSAT
Problem TDEAD4655 is UNSAT
Problem TDEAD4663 is UNSAT
Problem TDEAD4667 is UNSAT
Problem TDEAD4671 is UNSAT
Problem TDEAD4672 is UNSAT
Problem TDEAD4676 is UNSAT
Problem TDEAD4684 is UNSAT
Problem TDEAD4693 is UNSAT
Problem TDEAD4695 is UNSAT
Problem TDEAD4697 is UNSAT
Problem TDEAD4701 is UNSAT
Problem TDEAD4713 is UNSAT
Problem TDEAD4725 is UNSAT
Problem TDEAD4727 is UNSAT
Problem TDEAD4733 is UNSAT
Problem TDEAD4736 is UNSAT
Problem TDEAD4749 is UNSAT
Problem TDEAD4753 is UNSAT
Problem TDEAD4756 is UNSAT
Problem TDEAD4767 is UNSAT
Problem TDEAD4769 is UNSAT
Problem TDEAD4774 is UNSAT
Problem TDEAD4778 is UNSAT
Problem TDEAD4780 is UNSAT
Problem TDEAD4784 is UNSAT
Problem TDEAD4787 is UNSAT
Problem TDEAD4793 is UNSAT
Problem TDEAD4795 is UNSAT
Problem TDEAD4796 is UNSAT
Problem TDEAD4798 is UNSAT
Problem TDEAD4811 is UNSAT
Problem TDEAD4813 is UNSAT
Problem TDEAD4815 is UNSAT
Problem TDEAD4820 is UNSAT
Problem TDEAD4827 is UNSAT
Problem TDEAD4833 is UNSAT
Problem TDEAD4838 is UNSAT
Problem TDEAD4846 is UNSAT
Problem TDEAD4853 is UNSAT
Problem TDEAD4861 is UNSAT
Problem TDEAD4863 is UNSAT
Problem TDEAD4865 is UNSAT
Problem TDEAD4867 is UNSAT
Problem TDEAD4872 is UNSAT
Problem TDEAD4875 is UNSAT
Problem TDEAD4882 is UNSAT
Problem TDEAD4887 is UNSAT
Problem TDEAD4889 is UNSAT
Problem TDEAD4891 is UNSAT
Problem TDEAD4893 is UNSAT
Problem TDEAD4895 is UNSAT
Problem TDEAD4904 is UNSAT
Problem TDEAD4908 is UNSAT
Problem TDEAD4910 is UNSAT
Problem TDEAD4913 is UNSAT
Problem TDEAD4917 is UNSAT
Problem TDEAD4920 is UNSAT
Problem TDEAD4922 is UNSAT
Problem TDEAD4924 is UNSAT
Problem TDEAD4931 is UNSAT
Problem TDEAD4936 is UNSAT
Problem TDEAD4942 is UNSAT
Problem TDEAD4950 is UNSAT
Problem TDEAD4953 is UNSAT
Problem TDEAD4957 is UNSAT
Problem TDEAD4967 is UNSAT
Problem TDEAD4972 is UNSAT
Problem TDEAD4977 is UNSAT
Problem TDEAD4981 is UNSAT
Problem TDEAD4982 is UNSAT
Problem TDEAD4984 is UNSAT
Problem TDEAD4988 is UNSAT
Problem TDEAD4995 is UNSAT
Problem TDEAD4999 is UNSAT
Problem TDEAD5001 is UNSAT
Problem TDEAD5002 is UNSAT
Problem TDEAD5005 is UNSAT
Problem TDEAD5014 is UNSAT
Problem TDEAD5017 is UNSAT
Problem TDEAD5019 is UNSAT
Problem TDEAD5021 is UNSAT
Problem TDEAD5023 is UNSAT
Problem TDEAD5029 is UNSAT
Problem TDEAD5036 is UNSAT
Problem TDEAD5045 is UNSAT
Problem TDEAD5048 is UNSAT
Problem TDEAD5050 is UNSAT
Problem TDEAD5052 is UNSAT
Problem TDEAD5054 is UNSAT
Problem TDEAD5059 is UNSAT
Problem TDEAD5065 is UNSAT
Problem TDEAD5071 is UNSAT
Problem TDEAD5072 is UNSAT
Problem TDEAD5083 is UNSAT
Problem TDEAD5089 is UNSAT
Problem TDEAD5092 is UNSAT
Problem TDEAD5102 is UNSAT
Problem TDEAD5107 is UNSAT
Problem TDEAD5109 is UNSAT
Problem TDEAD5111 is UNSAT
Problem TDEAD5119 is UNSAT
Problem TDEAD5127 is UNSAT
Problem TDEAD5129 is UNSAT
Problem TDEAD5131 is UNSAT
Problem TDEAD5136 is UNSAT
Problem TDEAD5138 is UNSAT
Problem TDEAD5142 is UNSAT
Problem TDEAD5149 is UNSAT
Problem TDEAD5159 is UNSAT
Problem TDEAD5163 is UNSAT
Problem TDEAD5167 is UNSAT
Problem TDEAD5183 is UNSAT
Problem TDEAD5187 is UNSAT
Problem TDEAD5195 is UNSAT
Problem TDEAD5197 is UNSAT
Problem TDEAD5204 is UNSAT
Problem TDEAD5207 is UNSAT
Problem TDEAD5208 is UNSAT
Problem TDEAD5216 is UNSAT
Problem TDEAD5221 is UNSAT
Problem TDEAD5223 is UNSAT
Problem TDEAD5225 is UNSAT
Problem TDEAD5227 is UNSAT
Problem TDEAD5233 is UNSAT
Problem TDEAD5235 is UNSAT
Problem TDEAD5236 is UNSAT
Problem TDEAD5238 is UNSAT
Problem TDEAD5249 is UNSAT
Problem TDEAD5251 is UNSAT
Problem TDEAD5254 is UNSAT
Problem TDEAD5256 is UNSAT
Problem TDEAD5258 is UNSAT
Problem TDEAD5263 is UNSAT
Problem TDEAD5267 is UNSAT
Problem TDEAD5272 is UNSAT
Problem TDEAD5276 is UNSAT
Problem TDEAD5278 is UNSAT
Problem TDEAD5282 is UNSAT
Problem TDEAD5289 is UNSAT
Problem TDEAD5291 is UNSAT
Problem TDEAD5296 is UNSAT
Problem TDEAD5303 is UNSAT
Problem TDEAD5305 is UNSAT
Problem TDEAD5306 is UNSAT
Problem TDEAD5308 is UNSAT
Problem TDEAD5310 is UNSAT
Problem TDEAD5312 is UNSAT
Problem TDEAD5315 is UNSAT
Problem TDEAD5319 is UNSAT
Problem TDEAD5327 is UNSAT
Problem TDEAD5329 is UNSAT
Problem TDEAD5335 is UNSAT
Problem TDEAD5339 is UNSAT
Problem TDEAD5342 is UNSAT
Problem TDEAD5344 is UNSAT
Problem TDEAD5348 is UNSAT
Problem TDEAD5350 is UNSAT
Problem TDEAD5355 is UNSAT
Problem TDEAD5367 is UNSAT
Problem TDEAD5370 is UNSAT
Problem TDEAD5372 is UNSAT
Problem TDEAD5374 is UNSAT
Problem TDEAD5376 is UNSAT
Problem TDEAD5379 is UNSAT
Problem TDEAD5384 is UNSAT
Problem TDEAD5386 is UNSAT
Problem TDEAD5388 is UNSAT
Problem TDEAD5390 is UNSAT
Problem TDEAD5395 is UNSAT
Problem TDEAD5397 is UNSAT
Problem TDEAD5399 is UNSAT
Problem TDEAD5405 is UNSAT
Problem TDEAD5407 is UNSAT
Problem TDEAD5408 is UNSAT
Problem TDEAD5410 is UNSAT
Problem TDEAD5419 is UNSAT
Problem TDEAD5423 is UNSAT
Problem TDEAD5425 is UNSAT
Problem TDEAD5429 is UNSAT
Problem TDEAD5433 is UNSAT
Problem TDEAD5442 is UNSAT
Problem TDEAD5445 is UNSAT
Problem TDEAD5447 is UNSAT
Problem TDEAD5449 is UNSAT
Problem TDEAD5452 is UNSAT
Problem TDEAD5454 is UNSAT
Problem TDEAD5461 is UNSAT
Problem TDEAD5464 is UNSAT
Problem TDEAD5466 is UNSAT
Problem TDEAD5468 is UNSAT
Problem TDEAD5471 is UNSAT
Problem TDEAD5473 is UNSAT
Problem TDEAD5481 is UNSAT
Problem TDEAD5483 is UNSAT
Problem TDEAD5489 is UNSAT
Problem TDEAD5498 is UNSAT
Problem TDEAD5499 is UNSAT
Problem TDEAD5500 is UNSAT
Problem TDEAD5501 is UNSAT
Problem TDEAD5502 is UNSAT
Problem TDEAD5503 is UNSAT
Problem TDEAD5504 is UNSAT
Problem TDEAD5505 is UNSAT
Problem TDEAD5506 is UNSAT
Problem TDEAD5507 is UNSAT
Problem TDEAD5508 is UNSAT
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
At refinement iteration 0 (INCLUDED_ONLY) 0/9478 variables, 1/1 constraints. Problems are: Problem set: 1910 solved, 704 unsolved
SMT process timed out in 24539ms, After SMT, problems are : Problem set: 1910 solved, 704 unsolved
Search for dead transitions found 1910 dead transitions in 24560ms
Found 1910 dead transitions using SMT.
Drop transitions (Dead Transitions using SMT only with invariants) removed 1910 transitions
Dead transitions reduction (with SMT) triggered by suspicious arc values removed 1910 transitions.
Starting structural reductions in REACHABILITY mode, iteration 1 : 10620/26004 places, 3599/16003 transitions.
Graph (complete) has 15856 edges and 10620 vertex of which 10610 are kept as prefixes of interest. Removing 10 places using SCC suffix rule.9 ms
Discarding 10 places :
Also discarding 0 output transitions
Reduce places removed 0 places and 90 transitions.
Graph (complete) has 15251 edges and 10610 vertex of which 10609 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.7 ms
Discarding 1 places :
Also discarding 0 output transitions
Iterating post reduction 0 with 1 rules applied. Total rules applied 2 place count 10609 transition count 3509
Deduced a syphon composed of 1910 places in 4 ms
Partial Free-agglomeration rule applied 19 times.
Drop transitions (Partial Free agglomeration) removed 19 transitions
Iterating global reduction 1 with 19 rules applied. Total rules applied 21 place count 10609 transition count 3509
Deduced a syphon composed of 1910 places in 4 ms
Applied a total of 21 rules in 971 ms. Remains 10609 /10620 variables (removed 11) and now considering 3509/3599 (removed 90) transitions.
Finished structural reductions in REACHABILITY mode , in 2 iterations and 38753 ms. Remains : 10609/26004 places, 3509/16003 transitions.
Deduced a syphon composed of 1910 places in 1 ms
Reduce places removed 1910 places and 0 transitions.
FORMULA StableMarking TRUE TECHNIQUES RANDOM_WALK TOPOLOGICAL INITIAL_STATE
ITS runner timed out or was interrupted.
ITS tools runner thread asked to quit. Dying gracefully.
Total runtime 66585 ms.
BK_STOP 1780293745776
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ StableMarking = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution StableMarking -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202604301425.jar
+ VERSION=202604301425
+ echo 'Running Version 202604301425'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination StableMarking -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800
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="SupplyChain-PT-02000"
export BK_EXAMINATION="StableMarking"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
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-5973"
echo " Executing tool itstools"
echo " Input is SupplyChain-PT-02000, examination is StableMarking"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r360-tall-178024403900148"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/SupplyChain-PT-02000.tgz
mv SupplyChain-PT-02000 execution
cd execution
if [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "UpperBounds" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] || [ "StableMarking" = "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 [ "StableMarking" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StableMarking" != "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 "StableMarking.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 [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] ; then
echo "FORMULA_NAME StableMarking"
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 ;