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-178024403900151.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-03000, examination is ReachabilityDeadlock
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r360-tall-178024403900151
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 13M
-rw-r--r-- 1 mcc users 7.7K May 27 07:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 79K May 27 07:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K May 27 07:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K May 27 07:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K May 27 11:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K May 27 11:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 27 11:01 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 27 11:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 26 18:17 NewModel
-rw-r--r-- 1 mcc users 12K May 27 07:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 113K May 27 07:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.9K May 27 07:48 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 40K May 27 07:48 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 13M 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 ReachabilityDeadlock

=== Now, execution of the tool begins

BK_START 1780293735338

Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=ReachabilityDeadlock
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=SupplyChain-PT-03000
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
ReachabilityDeadlock PT
Running Version 202604301425
[2026-06-01 06:02:16] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityDeadlock, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2026-06-01 06:02:16] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-06-01 06:02:17] [INFO ] Load time of PNML (sax parser for PT used): 794 ms
[2026-06-01 06:02:17] [INFO ] Transformed 39004 places.
[2026-06-01 06:02:17] [INFO ] Transformed 24003 transitions.
[2026-06-01 06:02:17] [INFO ] Parsed PT model containing 39004 places and 24003 transitions and 108006 arcs in 1063 ms.
Parsed 1 properties from file /home/mcc/execution/ReachabilityDeadlock.xml in 3 ms.
Working with output stream class java.io.PrintStream
Built sparse matrix representations for Structural reductions in 19 ms.86267KB memory used
Starting structural reductions in DEADLOCK mode, iteration 0 : 39004/39004 places, 24003/24003 transitions.
Computed a total of 39004 stabilizing places and 24002 stable transitions
Ensure Unique test removed 9090 places
Computed a total of 29914 stabilizing places and 24002 stable transitions
Iterating post reduction 0 with 9090 rules applied. Total rules applied 9090 place count 29914 transition count 24003
Computed a total of 29914 stabilizing places and 24002 stable transitions
Performed 3000 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 1 with 3000 Pre rules applied. Total rules applied 9090 place count 29914 transition count 21003
Deduced a syphon composed of 3000 places in 23 ms
Ensure Unique test removed 3000 places
Reduce places removed 6000 places and 0 transitions.
Iterating global reduction 1 with 9000 rules applied. Total rules applied 18090 place count 23914 transition count 21003
Computed a total of 23914 stabilizing places and 21002 stable transitions
Computed a total of 23914 stabilizing places and 21002 stable transitions
Reduce places removed 3000 places and 3000 transitions.
Iterating global reduction 1 with 3000 rules applied. Total rules applied 21090 place count 20914 transition count 18003
Computed a total of 20914 stabilizing places and 18002 stable transitions
Computed a total of 20914 stabilizing places and 18002 stable transitions
Applied a total of 21090 rules in 13034 ms. Remains 20914 /39004 variables (removed 18090) and now considering 18003/24003 (removed 6000) transitions.
Running 12003 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-9796877879914796560.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-5581708316863822036.kers'
[2026-06-01 06:02:31] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-9796877879914796560.kers, --Pflows, --basisKERS=/tmp/petrispot-output-5581708316863822036.kers]
Normalized transition count is 18002 out of 18003 initially.
Culled 0 columns in 19 ms.
// Phase 1: matrix 18002 rows 20914 cols 51004 entries
Finished phase 1 with 14912 SingleSign rule and 0 generalized
[2026-06-01 06:02:31] [INFO ] Computed 6002 invariants in 111 ms
Computed 6002 P flows in 113 ms.
Exported basis to /tmp/petrispot-output-5581708316863822036.kers
Total runtime 132 ms.
[2026-06-01 06:02:31] [INFO ] State equation strengthened by 1 read => feed constraints.
Excessive predecessor constraint size, skipping predecessor.
Problem TDEAD223 is UNSAT
Problem TDEAD224 is UNSAT
Problem TDEAD227 is UNSAT
Problem TDEAD233 is UNSAT
Problem TDEAD236 is UNSAT
Problem TDEAD240 is UNSAT
Problem TDEAD243 is UNSAT
Problem TDEAD246 is UNSAT
Problem TDEAD250 is UNSAT
Problem TDEAD253 is UNSAT
Problem TDEAD257 is UNSAT
Problem TDEAD260 is UNSAT
Problem TDEAD263 is UNSAT
Problem TDEAD267 is UNSAT
Problem TDEAD272 is UNSAT
Problem TDEAD276 is UNSAT
Problem TDEAD279 is UNSAT
Problem TDEAD283 is UNSAT
Problem TDEAD286 is UNSAT
Problem TDEAD289 is UNSAT
Problem TDEAD295 is UNSAT
Problem TDEAD298 is UNSAT
Problem TDEAD302 is UNSAT
Problem TDEAD303 is UNSAT
Problem TDEAD306 is UNSAT
Problem TDEAD312 is UNSAT
Problem TDEAD315 is UNSAT
Problem TDEAD319 is UNSAT
Problem TDEAD322 is UNSAT
Problem TDEAD325 is UNSAT
Problem TDEAD329 is UNSAT
Problem TDEAD332 is UNSAT
Problem TDEAD336 is UNSAT
Problem TDEAD339 is UNSAT
Problem TDEAD340 is UNSAT
Problem TDEAD344 is UNSAT
Problem TDEAD349 is UNSAT
Problem TDEAD353 is UNSAT
Problem TDEAD356 is UNSAT
Problem TDEAD359 is UNSAT
Problem TDEAD363 is UNSAT
Problem TDEAD366 is UNSAT
Problem TDEAD370 is UNSAT
Problem TDEAD373 is UNSAT
Problem TDEAD376 is UNSAT
Problem TDEAD379 is UNSAT
Problem TDEAD382 is UNSAT
Problem TDEAD388 is UNSAT
Problem TDEAD391 is UNSAT
Problem TDEAD394 is UNSAT
Problem TDEAD398 is UNSAT
Problem TDEAD401 is UNSAT
Problem TDEAD405 is UNSAT
Problem TDEAD408 is UNSAT
Problem TDEAD411 is UNSAT
Problem TDEAD415 is UNSAT
Problem TDEAD416 is UNSAT
Problem TDEAD419 is UNSAT
Problem TDEAD425 is UNSAT
Problem TDEAD428 is UNSAT
Problem TDEAD432 is UNSAT
Problem TDEAD435 is UNSAT
Problem TDEAD439 is UNSAT
Problem TDEAD442 is UNSAT
Problem TDEAD445 is UNSAT
Problem TDEAD449 is UNSAT
Problem TDEAD452 is UNSAT
Problem TDEAD453 is UNSAT
Problem TDEAD457 is UNSAT
Problem TDEAD462 is UNSAT
Problem TDEAD467 is UNSAT
Problem TDEAD470 is UNSAT
Problem TDEAD474 is UNSAT
Problem TDEAD477 is UNSAT
Problem TDEAD480 is UNSAT
Problem TDEAD484 is UNSAT
Problem TDEAD487 is UNSAT
Problem TDEAD491 is UNSAT
Problem TDEAD492 is UNSAT
Problem TDEAD495 is UNSAT
Problem TDEAD501 is UNSAT
Problem TDEAD504 is UNSAT
Problem TDEAD508 is UNSAT
Problem TDEAD511 is UNSAT
Problem TDEAD514 is UNSAT
Problem TDEAD518 is UNSAT
Problem TDEAD521 is UNSAT
Problem TDEAD525 is UNSAT
Problem TDEAD528 is UNSAT
Problem TDEAD529 is UNSAT
Problem TDEAD533 is UNSAT
Problem TDEAD538 is UNSAT
Problem TDEAD542 is UNSAT
Problem TDEAD545 is UNSAT
Problem TDEAD548 is UNSAT
Problem TDEAD553 is UNSAT
Problem TDEAD556 is UNSAT
Problem TDEAD560 is UNSAT
Problem TDEAD563 is UNSAT
Problem TDEAD566 is UNSAT
Problem TDEAD568 is UNSAT
Problem TDEAD571 is UNSAT
Problem TDEAD577 is UNSAT
Problem TDEAD580 is UNSAT
Problem TDEAD583 is UNSAT
Problem TDEAD587 is UNSAT
Problem TDEAD590 is UNSAT
Problem TDEAD594 is UNSAT
Problem TDEAD597 is UNSAT
Problem TDEAD600 is UNSAT
Problem TDEAD607 is UNSAT
Problem TDEAD608 is UNSAT
Problem TDEAD612 is UNSAT
Problem TDEAD617 is UNSAT
Problem TDEAD621 is UNSAT
Problem TDEAD624 is UNSAT
Problem TDEAD628 is UNSAT
Problem TDEAD631 is UNSAT
Problem TDEAD634 is UNSAT
Problem TDEAD639 is UNSAT
Problem TDEAD642 is UNSAT
Problem TDEAD646 is UNSAT
Problem TDEAD649 is UNSAT
Problem TDEAD652 is UNSAT
Problem TDEAD658 is UNSAT
Problem TDEAD661 is UNSAT
Problem TDEAD665 is UNSAT
Problem TDEAD668 is UNSAT
Problem TDEAD672 is UNSAT
Problem TDEAD675 is UNSAT
Problem TDEAD678 is UNSAT
Problem TDEAD682 is UNSAT
Problem TDEAD685 is UNSAT
Problem TDEAD686 is UNSAT
Problem TDEAD690 is UNSAT
Problem TDEAD695 is UNSAT
Problem TDEAD699 is UNSAT
Problem TDEAD702 is UNSAT
Problem TDEAD706 is UNSAT
Problem TDEAD709 is UNSAT
Problem TDEAD712 is UNSAT
Problem TDEAD716 is UNSAT
Problem TDEAD719 is UNSAT
Problem TDEAD724 is UNSAT
Problem TDEAD725 is UNSAT
Problem TDEAD728 is UNSAT
Problem TDEAD734 is UNSAT
Problem TDEAD737 is UNSAT
Problem TDEAD741 is UNSAT
Problem TDEAD744 is UNSAT
Problem TDEAD747 is UNSAT
Problem TDEAD751 is UNSAT
Problem TDEAD754 is UNSAT
Problem TDEAD758 is UNSAT
Problem TDEAD761 is UNSAT
Problem TDEAD762 is UNSAT
Problem TDEAD766 is UNSAT
Problem TDEAD771 is UNSAT
Problem TDEAD775 is UNSAT
Problem TDEAD778 is UNSAT
Problem TDEAD781 is UNSAT
Problem TDEAD785 is UNSAT
Problem TDEAD788 is UNSAT
Problem TDEAD792 is UNSAT
Problem TDEAD795 is UNSAT
Problem TDEAD798 is UNSAT
Problem TDEAD800 is UNSAT
Problem TDEAD803 is UNSAT
Problem TDEAD810 is UNSAT
Problem TDEAD813 is UNSAT
Problem TDEAD816 is UNSAT
Problem TDEAD820 is UNSAT
Problem TDEAD823 is UNSAT
Problem TDEAD827 is UNSAT
Problem TDEAD830 is UNSAT
Problem TDEAD833 is UNSAT
Problem TDEAD837 is UNSAT
Problem TDEAD838 is UNSAT
Problem TDEAD841 is UNSAT
Problem TDEAD847 is UNSAT
Problem TDEAD850 is UNSAT
Problem TDEAD854 is UNSAT
Problem TDEAD857 is UNSAT
Problem TDEAD861 is UNSAT
Problem TDEAD864 is UNSAT
Problem TDEAD867 is UNSAT
Problem TDEAD871 is UNSAT
Problem TDEAD874 is UNSAT
Problem TDEAD875 is UNSAT
Problem TDEAD879 is UNSAT
Problem TDEAD884 is UNSAT
Problem TDEAD888 is UNSAT
Problem TDEAD891 is UNSAT
Problem TDEAD896 is UNSAT
Problem TDEAD899 is UNSAT
Problem TDEAD902 is UNSAT
Problem TDEAD906 is UNSAT
Problem TDEAD909 is UNSAT
Problem TDEAD913 is UNSAT
Problem TDEAD914 is UNSAT
Problem TDEAD917 is UNSAT
Problem TDEAD923 is UNSAT
Problem TDEAD926 is UNSAT
Problem TDEAD930 is UNSAT
Problem TDEAD933 is UNSAT
Problem TDEAD936 is UNSAT
Problem TDEAD940 is UNSAT
Problem TDEAD943 is UNSAT
Problem TDEAD947 is UNSAT
Problem TDEAD950 is UNSAT
Problem TDEAD951 is UNSAT
Problem TDEAD955 is UNSAT
Problem TDEAD960 is UNSAT
Problem TDEAD964 is UNSAT
Problem TDEAD967 is UNSAT
Problem TDEAD970 is UNSAT
Problem TDEAD974 is UNSAT
Problem TDEAD977 is UNSAT
Problem TDEAD982 is UNSAT
Problem TDEAD985 is UNSAT
Problem TDEAD990 is UNSAT
Problem TDEAD991 is UNSAT
Problem TDEAD994 is UNSAT
Problem TDEAD1000 is UNSAT
Problem TDEAD1003 is UNSAT
Problem TDEAD1007 is UNSAT
Problem TDEAD1010 is UNSAT
Problem TDEAD1013 is UNSAT
Problem TDEAD1017 is UNSAT
Problem TDEAD1020 is UNSAT
Problem TDEAD1024 is UNSAT
Problem TDEAD1027 is UNSAT
Problem TDEAD1030 is UNSAT
Problem TDEAD1034 is UNSAT
Problem TDEAD1039 is UNSAT
Problem TDEAD1043 is UNSAT
Problem TDEAD1046 is UNSAT
Problem TDEAD1050 is UNSAT
Problem TDEAD1053 is UNSAT
Problem TDEAD1056 is UNSAT
Problem TDEAD1060 is UNSAT
Problem TDEAD1063 is UNSAT
Problem TDEAD1068 is UNSAT
Problem TDEAD1069 is UNSAT
Problem TDEAD1072 is UNSAT
Problem TDEAD1078 is UNSAT
Problem TDEAD1081 is UNSAT
Problem TDEAD1085 is UNSAT
Problem TDEAD1088 is UNSAT
Problem TDEAD1091 is UNSAT
Problem TDEAD1095 is UNSAT
Problem TDEAD1098 is UNSAT
Problem TDEAD1102 is UNSAT
Problem TDEAD1105 is UNSAT
Problem TDEAD1106 is UNSAT
Problem TDEAD1110 is UNSAT
Problem TDEAD1115 is UNSAT
Problem TDEAD1119 is UNSAT
Problem TDEAD1122 is UNSAT
Problem TDEAD1125 is UNSAT
Problem TDEAD1129 is UNSAT
Problem TDEAD1132 is UNSAT
Problem TDEAD1136 is UNSAT
Problem TDEAD1139 is UNSAT
Problem TDEAD1142 is UNSAT
Problem TDEAD1144 is UNSAT
Problem TDEAD1147 is UNSAT
Problem TDEAD1155 is UNSAT
Problem TDEAD1158 is UNSAT
Problem TDEAD1161 is UNSAT
Problem TDEAD1165 is UNSAT
Problem TDEAD1168 is UNSAT
Problem TDEAD1172 is UNSAT
Problem TDEAD1175 is UNSAT
Problem TDEAD1178 is UNSAT
Problem TDEAD1182 is UNSAT
Problem TDEAD1183 is UNSAT
Problem TDEAD1186 is UNSAT
Problem TDEAD1192 is UNSAT
Problem TDEAD1195 is UNSAT
Problem TDEAD1199 is UNSAT
Problem TDEAD1202 is UNSAT
Problem TDEAD1206 is UNSAT
Problem TDEAD1209 is UNSAT
Problem TDEAD1212 is UNSAT
Problem TDEAD1216 is UNSAT
Problem TDEAD1219 is UNSAT
Problem TDEAD1220 is UNSAT
Problem TDEAD1224 is UNSAT
Problem TDEAD1229 is UNSAT
Problem TDEAD1233 is UNSAT
Problem TDEAD1236 is UNSAT
Problem TDEAD1241 is UNSAT
Problem TDEAD1244 is UNSAT
Problem TDEAD1247 is UNSAT
Problem TDEAD1251 is UNSAT
Problem TDEAD1254 is UNSAT
Problem TDEAD1258 is UNSAT
Problem TDEAD1259 is UNSAT
Problem TDEAD1262 is UNSAT
Problem TDEAD1268 is UNSAT
Problem TDEAD1271 is UNSAT
Problem TDEAD1275 is UNSAT
Problem TDEAD1278 is UNSAT
Problem TDEAD1281 is UNSAT
Problem TDEAD1285 is UNSAT
Problem TDEAD1288 is UNSAT
Problem TDEAD1292 is UNSAT
Problem TDEAD1295 is UNSAT
Problem TDEAD1296 is UNSAT
Problem TDEAD1300 is UNSAT
Problem TDEAD1305 is UNSAT
Problem TDEAD1309 is UNSAT
Problem TDEAD1312 is UNSAT
Problem TDEAD1315 is UNSAT
Problem TDEAD1319 is UNSAT
Problem TDEAD1322 is UNSAT
Problem TDEAD1327 is UNSAT
Problem TDEAD1330 is UNSAT
Problem TDEAD1333 is UNSAT
Problem TDEAD1335 is UNSAT
Problem TDEAD1338 is UNSAT
Problem TDEAD1344 is UNSAT
Problem TDEAD1347 is UNSAT
Problem TDEAD1350 is UNSAT
Problem TDEAD1354 is UNSAT
Problem TDEAD1357 is UNSAT
Problem TDEAD1361 is UNSAT
Problem TDEAD1364 is UNSAT
Problem TDEAD1367 is UNSAT
Problem TDEAD1372 is UNSAT
Problem TDEAD1373 is UNSAT
Problem TDEAD1377 is UNSAT
Problem TDEAD1382 is UNSAT
Problem TDEAD1386 is UNSAT
Problem TDEAD1389 is UNSAT
Problem TDEAD1392 is UNSAT
Problem TDEAD1396 is UNSAT
Problem TDEAD1399 is UNSAT
Problem TDEAD1403 is UNSAT
Problem TDEAD1406 is UNSAT
Problem TDEAD1409 is UNSAT
Problem TDEAD1414 is UNSAT
Problem TDEAD1417 is UNSAT
Problem TDEAD1423 is UNSAT
Problem TDEAD1426 is UNSAT
Problem TDEAD1430 is UNSAT
Problem TDEAD1433 is UNSAT
Problem TDEAD1436 is UNSAT
Problem TDEAD1440 is UNSAT
Problem TDEAD1443 is UNSAT
Problem TDEAD1447 is UNSAT
Problem TDEAD1450 is UNSAT
Problem TDEAD1451 is UNSAT
Problem TDEAD1455 is UNSAT
Problem TDEAD1460 is UNSAT
Problem TDEAD1464 is UNSAT
Problem TDEAD1467 is UNSAT
Problem TDEAD1470 is UNSAT
Problem TDEAD1474 is UNSAT
Problem TDEAD1477 is UNSAT
Problem TDEAD1481 is UNSAT
Problem TDEAD1484 is UNSAT
Problem TDEAD1487 is UNSAT
Problem TDEAD1489 is UNSAT
Problem TDEAD1492 is UNSAT
Problem TDEAD1499 is UNSAT
Problem TDEAD1502 is UNSAT
Problem TDEAD1505 is UNSAT
Problem TDEAD1509 is UNSAT
Problem TDEAD1512 is UNSAT
Problem TDEAD1516 is UNSAT
Problem TDEAD1519 is UNSAT
Problem TDEAD1522 is UNSAT
Problem TDEAD1526 is UNSAT
Problem TDEAD1527 is UNSAT
Problem TDEAD1530 is UNSAT
Problem TDEAD1536 is UNSAT
Problem TDEAD1539 is UNSAT
Problem TDEAD1543 is UNSAT
Problem TDEAD1546 is UNSAT
Problem TDEAD1550 is UNSAT
Problem TDEAD1553 is UNSAT
Problem TDEAD1556 is UNSAT
Problem TDEAD1560 is UNSAT
Problem TDEAD1563 is UNSAT
Problem TDEAD1564 is UNSAT
Problem TDEAD1568 is UNSAT
Problem TDEAD1573 is UNSAT
Problem TDEAD1577 is UNSAT
Problem TDEAD1580 is UNSAT
Problem TDEAD1585 is UNSAT
Problem TDEAD1588 is UNSAT
Problem TDEAD1591 is UNSAT
Problem TDEAD1595 is UNSAT
Problem TDEAD1598 is UNSAT
Problem TDEAD1602 is UNSAT
Problem TDEAD1603 is UNSAT
Problem TDEAD1606 is UNSAT
Problem TDEAD1612 is UNSAT
Problem TDEAD1615 is UNSAT
Problem TDEAD1619 is UNSAT
Problem TDEAD1622 is UNSAT
Problem TDEAD1625 is UNSAT
Problem TDEAD1629 is UNSAT
Problem TDEAD1632 is UNSAT
Problem TDEAD1636 is UNSAT
Problem TDEAD1639 is UNSAT
Problem TDEAD1640 is UNSAT
Problem TDEAD1644 is UNSAT
Problem TDEAD1649 is UNSAT
Problem TDEAD1653 is UNSAT
Problem TDEAD1656 is UNSAT
Problem TDEAD1659 is UNSAT
Problem TDEAD1663 is UNSAT
Problem TDEAD1666 is UNSAT
Problem TDEAD1671 is UNSAT
Problem TDEAD1674 is UNSAT
Problem TDEAD1677 is UNSAT
Problem TDEAD1679 is UNSAT
Problem TDEAD1682 is UNSAT
Problem TDEAD1688 is UNSAT
Problem TDEAD1691 is UNSAT
Problem TDEAD1694 is UNSAT
Problem TDEAD1698 is UNSAT
Problem TDEAD1701 is UNSAT
Problem TDEAD1705 is UNSAT
Problem TDEAD1708 is UNSAT
Problem TDEAD1711 is UNSAT
Problem TDEAD1715 is UNSAT
Problem TDEAD1716 is UNSAT
Problem TDEAD1719 is UNSAT
Problem TDEAD1725 is UNSAT
Problem TDEAD1728 is UNSAT
Problem TDEAD1732 is UNSAT
Problem TDEAD1735 is UNSAT
Problem TDEAD1739 is UNSAT
Problem TDEAD1742 is UNSAT
Problem TDEAD1745 is UNSAT
Problem TDEAD1749 is UNSAT
Problem TDEAD1753 is UNSAT
Problem TDEAD1756 is UNSAT
Problem TDEAD1759 is UNSAT
Problem TDEAD1765 is UNSAT
Problem TDEAD1768 is UNSAT
Problem TDEAD1771 is UNSAT
Problem TDEAD1775 is UNSAT
Problem TDEAD1778 is UNSAT
Problem TDEAD1782 is UNSAT
Problem TDEAD1785 is UNSAT
Problem TDEAD1788 is UNSAT
Problem TDEAD1792 is UNSAT
Problem TDEAD1795 is UNSAT
Problem TDEAD1799 is UNSAT
Problem TDEAD1804 is UNSAT
Problem TDEAD1808 is UNSAT
Problem TDEAD1811 is UNSAT
Problem TDEAD1814 is UNSAT
Problem TDEAD1818 is UNSAT
Problem TDEAD1821 is UNSAT
Problem TDEAD1825 is UNSAT
Problem TDEAD1828 is UNSAT
Problem TDEAD1831 is UNSAT
Problem TDEAD1833 is UNSAT
Problem TDEAD1836 is UNSAT
Problem TDEAD1843 is UNSAT
Problem TDEAD1846 is UNSAT
Problem TDEAD1849 is UNSAT
Problem TDEAD1853 is UNSAT
Problem TDEAD1856 is UNSAT
Problem TDEAD1860 is UNSAT
Problem TDEAD1863 is UNSAT
Problem TDEAD1866 is UNSAT
Problem TDEAD1870 is UNSAT
Problem TDEAD1871 is UNSAT
Problem TDEAD1874 is UNSAT
Problem TDEAD1880 is UNSAT
Problem TDEAD1883 is UNSAT
Problem TDEAD1887 is UNSAT
Problem TDEAD1890 is UNSAT
Problem TDEAD1894 is UNSAT
Problem TDEAD1897 is UNSAT
Problem TDEAD1900 is UNSAT
Problem TDEAD1904 is UNSAT
Problem TDEAD1907 is UNSAT
Problem TDEAD1908 is UNSAT
Problem TDEAD1912 is UNSAT
Problem TDEAD1917 is UNSAT
Problem TDEAD1921 is UNSAT
Problem TDEAD1924 is UNSAT
Problem TDEAD1929 is UNSAT
Problem TDEAD1932 is UNSAT
Problem TDEAD1935 is UNSAT
Problem TDEAD1939 is UNSAT
Problem TDEAD1942 is UNSAT
Problem TDEAD1946 is UNSAT
Problem TDEAD1947 is UNSAT
Problem TDEAD1950 is UNSAT
Problem TDEAD1956 is UNSAT
Problem TDEAD1959 is UNSAT
Problem TDEAD1963 is UNSAT
Problem TDEAD1966 is UNSAT
Problem TDEAD1969 is UNSAT
Problem TDEAD1973 is UNSAT
Problem TDEAD1976 is UNSAT
Problem TDEAD1980 is UNSAT
Problem TDEAD1983 is UNSAT
Problem TDEAD1984 is UNSAT
Problem TDEAD1988 is UNSAT
Problem TDEAD1993 is UNSAT
Problem TDEAD1997 is UNSAT
Problem TDEAD2000 is UNSAT
Problem TDEAD2003 is UNSAT
Problem TDEAD2007 is UNSAT
Problem TDEAD2010 is UNSAT
Problem TDEAD2016 is UNSAT
Problem TDEAD2019 is UNSAT
Problem TDEAD2022 is UNSAT
Problem TDEAD2024 is UNSAT
Problem TDEAD2027 is UNSAT
Problem TDEAD2033 is UNSAT
Problem TDEAD2036 is UNSAT
Problem TDEAD2039 is UNSAT
Problem TDEAD2043 is UNSAT
Problem TDEAD2046 is UNSAT
Problem TDEAD2050 is UNSAT
Problem TDEAD2053 is UNSAT
Problem TDEAD2056 is UNSAT
Problem TDEAD2060 is UNSAT
Problem TDEAD2061 is UNSAT
Problem TDEAD2064 is UNSAT
Problem TDEAD2070 is UNSAT
Problem TDEAD2073 is UNSAT
Problem TDEAD2077 is UNSAT
Problem TDEAD2080 is UNSAT
Problem TDEAD2084 is UNSAT
Problem TDEAD2087 is UNSAT
Problem TDEAD2090 is UNSAT
Problem TDEAD2094 is UNSAT
Problem TDEAD2097 is UNSAT
Problem TDEAD2098 is UNSAT
Problem TDEAD2103 is UNSAT
Problem TDEAD2108 is UNSAT
Problem TDEAD2112 is UNSAT
Problem TDEAD2115 is UNSAT
Problem TDEAD2119 is UNSAT
Problem TDEAD2122 is UNSAT
Problem TDEAD2125 is UNSAT
Problem TDEAD2129 is UNSAT
Problem TDEAD2132 is UNSAT
Problem TDEAD2137 is UNSAT
Problem TDEAD2138 is UNSAT
Problem TDEAD2141 is UNSAT
Problem TDEAD2147 is UNSAT
Problem TDEAD2150 is UNSAT
Problem TDEAD2154 is UNSAT
Problem TDEAD2157 is UNSAT
Problem TDEAD2161 is UNSAT
Problem TDEAD2164 is UNSAT
Problem TDEAD2167 is UNSAT
Problem TDEAD2171 is UNSAT
Problem TDEAD2174 is UNSAT
Problem TDEAD2178 is UNSAT
Problem TDEAD2181 is UNSAT
Problem TDEAD2188 is UNSAT
Problem TDEAD2191 is UNSAT
Problem TDEAD2194 is UNSAT
Problem TDEAD2198 is UNSAT
Problem TDEAD2201 is UNSAT
Problem TDEAD2205 is UNSAT
Problem TDEAD2208 is UNSAT
Problem TDEAD2211 is UNSAT
Problem TDEAD2215 is UNSAT
Problem TDEAD2216 is UNSAT
Problem TDEAD2219 is UNSAT
Problem TDEAD2225 is UNSAT
Problem TDEAD2228 is UNSAT
Problem TDEAD2232 is UNSAT
Problem TDEAD2235 is UNSAT
Problem TDEAD2239 is UNSAT
Problem TDEAD2242 is UNSAT
Problem TDEAD2245 is UNSAT
Problem TDEAD2249 is UNSAT
Problem TDEAD2252 is UNSAT
Problem TDEAD2253 is UNSAT
Problem TDEAD2257 is UNSAT
Problem TDEAD2262 is UNSAT
Problem TDEAD2266 is UNSAT
Problem TDEAD2269 is UNSAT
Problem TDEAD2274 is UNSAT
Problem TDEAD2277 is UNSAT
Problem TDEAD2280 is UNSAT
Problem TDEAD2284 is UNSAT
Problem TDEAD2287 is UNSAT
Problem TDEAD2291 is UNSAT
Problem TDEAD2292 is UNSAT
Problem TDEAD2295 is UNSAT
Problem TDEAD2301 is UNSAT
Problem TDEAD2304 is UNSAT
Problem TDEAD2308 is UNSAT
Problem TDEAD2311 is UNSAT
Problem TDEAD2314 is UNSAT
Problem TDEAD2318 is UNSAT
Problem TDEAD2321 is UNSAT
Problem TDEAD2325 is UNSAT
Problem TDEAD2328 is UNSAT
Problem TDEAD2329 is UNSAT
Problem TDEAD2333 is UNSAT
Problem TDEAD2338 is UNSAT
Problem TDEAD2342 is UNSAT
Problem TDEAD2345 is UNSAT
Problem TDEAD2348 is UNSAT
Problem TDEAD2352 is UNSAT
Problem TDEAD2355 is UNSAT
Problem TDEAD2360 is UNSAT
Problem TDEAD2363 is UNSAT
Problem TDEAD2366 is UNSAT
Problem TDEAD2368 is UNSAT
Problem TDEAD2371 is UNSAT
Problem TDEAD2377 is UNSAT
Problem TDEAD2380 is UNSAT
Problem TDEAD2383 is UNSAT
Problem TDEAD2387 is UNSAT
Problem TDEAD2390 is UNSAT
Problem TDEAD2394 is UNSAT
Problem TDEAD2397 is UNSAT
Problem TDEAD2400 is UNSAT
Problem TDEAD2404 is UNSAT
Problem TDEAD2405 is UNSAT
Problem TDEAD2408 is UNSAT
Problem TDEAD2414 is UNSAT
Problem TDEAD2417 is UNSAT
Problem TDEAD2421 is UNSAT
Problem TDEAD2424 is UNSAT
Problem TDEAD2428 is UNSAT
Problem TDEAD2431 is UNSAT
Problem TDEAD2434 is UNSAT
Problem TDEAD2438 is UNSAT
Problem TDEAD2441 is UNSAT
Problem TDEAD2442 is UNSAT
Problem TDEAD2447 is UNSAT
Problem TDEAD2452 is UNSAT
Problem TDEAD2456 is UNSAT
Problem TDEAD2459 is UNSAT
Problem TDEAD2463 is UNSAT
Problem TDEAD2466 is UNSAT
Problem TDEAD2469 is UNSAT
Problem TDEAD2473 is UNSAT
Problem TDEAD2476 is UNSAT
Problem TDEAD2480 is UNSAT
Problem TDEAD2481 is UNSAT
Problem TDEAD2484 is UNSAT
Problem TDEAD2490 is UNSAT
Problem TDEAD2493 is UNSAT
Problem TDEAD2497 is UNSAT
Problem TDEAD2500 is UNSAT
Problem TDEAD2503 is UNSAT
Problem TDEAD2507 is UNSAT
Problem TDEAD2510 is UNSAT
Problem TDEAD2514 is UNSAT
Problem TDEAD2518 is UNSAT
Problem TDEAD2519 is UNSAT
Problem TDEAD2523 is UNSAT
Problem TDEAD2528 is UNSAT
Problem TDEAD2533 is UNSAT
Problem TDEAD2536 is UNSAT
Problem TDEAD2540 is UNSAT
Problem TDEAD2543 is UNSAT
Problem TDEAD2546 is UNSAT
Problem TDEAD2550 is UNSAT
Problem TDEAD2553 is UNSAT
Problem TDEAD2557 is UNSAT
Problem TDEAD2560 is UNSAT
Problem TDEAD2563 is UNSAT
Problem TDEAD2569 is UNSAT
Problem TDEAD2572 is UNSAT
Problem TDEAD2576 is UNSAT
Problem TDEAD2579 is UNSAT
Problem TDEAD2583 is UNSAT
Problem TDEAD2586 is UNSAT
Problem TDEAD2589 is UNSAT
Problem TDEAD2593 is UNSAT
Problem TDEAD2596 is UNSAT
Problem TDEAD2597 is UNSAT
Problem TDEAD2601 is UNSAT
Problem TDEAD2606 is UNSAT
Problem TDEAD2610 is UNSAT
Problem TDEAD2613 is UNSAT
Problem TDEAD2618 is UNSAT
Problem TDEAD2621 is UNSAT
Problem TDEAD2624 is UNSAT
Problem TDEAD2628 is UNSAT
Problem TDEAD2631 is UNSAT
Problem TDEAD2635 is UNSAT
Problem TDEAD2636 is UNSAT
Problem TDEAD2639 is UNSAT
Problem TDEAD2645 is UNSAT
Problem TDEAD2648 is UNSAT
Problem TDEAD2652 is UNSAT
Problem TDEAD2655 is UNSAT
Problem TDEAD2658 is UNSAT
Problem TDEAD2662 is UNSAT
Problem TDEAD2665 is UNSAT
Problem TDEAD2669 is UNSAT
Problem TDEAD2672 is UNSAT
Problem TDEAD2673 is UNSAT
Problem TDEAD2677 is UNSAT
Problem TDEAD2682 is UNSAT
Problem TDEAD2686 is UNSAT
Problem TDEAD2689 is UNSAT
Problem TDEAD2692 is UNSAT
Problem TDEAD2696 is UNSAT
Problem TDEAD2699 is UNSAT
Problem TDEAD2704 is UNSAT
Problem TDEAD2707 is UNSAT
Problem TDEAD2710 is UNSAT
Problem TDEAD2712 is UNSAT
Problem TDEAD2715 is UNSAT
Problem TDEAD2721 is UNSAT
Problem TDEAD2724 is UNSAT
Problem TDEAD2727 is UNSAT
Problem TDEAD2731 is UNSAT
Problem TDEAD2734 is UNSAT
Problem TDEAD2738 is UNSAT
Problem TDEAD2741 is UNSAT
Problem TDEAD2744 is UNSAT
Problem TDEAD2748 is UNSAT
Problem TDEAD2749 is UNSAT
Problem TDEAD2752 is UNSAT
Problem TDEAD2758 is UNSAT
Problem TDEAD2761 is UNSAT
Problem TDEAD2765 is UNSAT
Problem TDEAD2768 is UNSAT
Problem TDEAD2772 is UNSAT
Problem TDEAD2775 is UNSAT
Problem TDEAD2778 is UNSAT
Problem TDEAD2782 is UNSAT
Problem TDEAD2785 is UNSAT
Problem TDEAD2786 is UNSAT
Problem TDEAD2791 is UNSAT
Problem TDEAD2796 is UNSAT
Problem TDEAD2800 is UNSAT
Problem TDEAD2803 is UNSAT
Problem TDEAD2807 is UNSAT
Problem TDEAD2810 is UNSAT
Problem TDEAD2813 is UNSAT
Problem TDEAD2817 is UNSAT
Problem TDEAD2820 is UNSAT
Problem TDEAD2824 is UNSAT
Problem TDEAD2825 is UNSAT
Problem TDEAD2828 is UNSAT
Problem TDEAD2834 is UNSAT
Problem TDEAD2837 is UNSAT
Problem TDEAD2841 is UNSAT
Problem TDEAD2844 is UNSAT
Problem TDEAD2847 is UNSAT
Problem TDEAD2851 is UNSAT
Problem TDEAD2854 is UNSAT
Problem TDEAD2858 is UNSAT
Problem TDEAD2861 is UNSAT
Problem TDEAD2862 is UNSAT
Problem TDEAD2866 is UNSAT
Problem TDEAD2871 is UNSAT
Problem TDEAD2877 is UNSAT
Problem TDEAD2880 is UNSAT
Problem TDEAD2883 is UNSAT
Problem TDEAD2887 is UNSAT
Problem TDEAD2890 is UNSAT
Problem TDEAD2894 is UNSAT
Problem TDEAD2897 is UNSAT
Problem TDEAD2902 is UNSAT
Problem TDEAD2903 is UNSAT
Problem TDEAD2906 is UNSAT
Problem TDEAD2912 is UNSAT
Problem TDEAD2915 is UNSAT
Problem TDEAD2919 is UNSAT
Problem TDEAD2922 is UNSAT
Problem TDEAD2925 is UNSAT
Problem TDEAD2929 is UNSAT
Problem TDEAD2932 is UNSAT
Problem TDEAD2936 is UNSAT
Problem TDEAD2939 is UNSAT
Problem TDEAD2942 is UNSAT
Problem TDEAD2946 is UNSAT
Problem TDEAD2951 is UNSAT
Problem TDEAD2955 is UNSAT
Problem TDEAD2958 is UNSAT
Problem TDEAD2963 is UNSAT
Problem TDEAD2966 is UNSAT
Problem TDEAD2969 is UNSAT
Problem TDEAD2973 is UNSAT
Problem TDEAD2976 is UNSAT
Problem TDEAD2980 is UNSAT
Problem TDEAD2981 is UNSAT
Problem TDEAD2984 is UNSAT
Problem TDEAD2990 is UNSAT
Problem TDEAD2993 is UNSAT
Problem TDEAD2997 is UNSAT
Problem TDEAD3000 is UNSAT
Problem TDEAD3003 is UNSAT
Problem TDEAD3007 is UNSAT
Problem TDEAD3010 is UNSAT
Problem TDEAD3014 is UNSAT
Problem TDEAD3017 is UNSAT
Problem TDEAD3018 is UNSAT
Problem TDEAD3022 is UNSAT
Problem TDEAD3027 is UNSAT
Problem TDEAD3031 is UNSAT
Problem TDEAD3034 is UNSAT
Problem TDEAD3037 is UNSAT
Problem TDEAD3041 is UNSAT
Problem TDEAD3044 is UNSAT
Problem TDEAD3049 is UNSAT
Problem TDEAD3052 is UNSAT
Problem TDEAD3055 is UNSAT
Problem TDEAD3057 is UNSAT
Problem TDEAD3060 is UNSAT
Problem TDEAD3066 is UNSAT
Problem TDEAD3069 is UNSAT
Problem TDEAD3072 is UNSAT
Problem TDEAD3076 is UNSAT
Problem TDEAD3079 is UNSAT
Problem TDEAD3083 is UNSAT
Problem TDEAD3086 is UNSAT
Problem TDEAD3089 is UNSAT
Problem TDEAD3093 is UNSAT
Problem TDEAD3094 is UNSAT
Problem TDEAD3097 is UNSAT
Problem TDEAD3103 is UNSAT
Problem TDEAD3106 is UNSAT
Problem TDEAD3110 is UNSAT
Problem TDEAD3113 is UNSAT
Problem TDEAD3117 is UNSAT
Problem TDEAD3120 is UNSAT
Problem TDEAD3123 is UNSAT
Problem TDEAD3127 is UNSAT
Problem TDEAD3130 is UNSAT
Problem TDEAD3131 is UNSAT
Problem TDEAD3136 is UNSAT
Problem TDEAD3141 is UNSAT
Problem TDEAD3145 is UNSAT
Problem TDEAD3148 is UNSAT
Problem TDEAD3152 is UNSAT
Problem TDEAD3155 is UNSAT
Problem TDEAD3158 is UNSAT
Problem TDEAD3162 is UNSAT
Problem TDEAD3165 is UNSAT
Problem TDEAD3169 is UNSAT
Problem TDEAD3170 is UNSAT
Problem TDEAD3173 is UNSAT
Problem TDEAD3179 is UNSAT
Problem TDEAD3182 is UNSAT
Problem TDEAD3186 is UNSAT
Problem TDEAD3189 is UNSAT
Problem TDEAD3192 is UNSAT
Problem TDEAD3196 is UNSAT
Problem TDEAD3199 is UNSAT
Problem TDEAD3203 is UNSAT
Problem TDEAD3206 is UNSAT
Problem TDEAD3207 is UNSAT
Problem TDEAD3211 is UNSAT
Problem TDEAD3216 is UNSAT
Problem TDEAD3221 is UNSAT
Problem TDEAD3224 is UNSAT
Problem TDEAD3227 is UNSAT
Problem TDEAD3231 is UNSAT
Problem TDEAD3234 is UNSAT
Problem TDEAD3238 is UNSAT
Problem TDEAD3241 is UNSAT
Problem TDEAD3244 is UNSAT
Problem TDEAD3246 is UNSAT
Problem TDEAD3249 is UNSAT
Problem TDEAD3255 is UNSAT
Problem TDEAD3258 is UNSAT
Problem TDEAD3261 is UNSAT
Problem TDEAD3265 is UNSAT
Problem TDEAD3268 is UNSAT
Problem TDEAD3272 is UNSAT
Problem TDEAD3275 is UNSAT
Problem TDEAD3278 is UNSAT
Problem TDEAD3283 is UNSAT
Problem TDEAD3284 is UNSAT
Problem TDEAD3288 is UNSAT
Problem TDEAD3293 is UNSAT
Problem TDEAD3297 is UNSAT
Problem TDEAD3300 is UNSAT
Problem TDEAD3303 is UNSAT
Problem TDEAD3308 is UNSAT
Problem TDEAD3311 is UNSAT
Problem TDEAD3315 is UNSAT
Problem TDEAD3318 is UNSAT
Problem TDEAD3321 is UNSAT
Problem TDEAD3325 is UNSAT
Problem TDEAD3328 is UNSAT
Problem TDEAD3334 is UNSAT
Problem TDEAD3337 is UNSAT
Problem TDEAD3341 is UNSAT
Problem TDEAD3344 is UNSAT
Problem TDEAD3347 is UNSAT
Problem TDEAD3351 is UNSAT
Problem TDEAD3354 is UNSAT
Problem TDEAD3358 is UNSAT
Problem TDEAD3361 is UNSAT
Problem TDEAD3362 is UNSAT
Problem TDEAD3366 is UNSAT
Problem TDEAD3371 is UNSAT
Problem TDEAD3375 is UNSAT
Problem TDEAD3378 is UNSAT
Problem TDEAD3381 is UNSAT
Problem TDEAD3385 is UNSAT
Problem TDEAD3388 is UNSAT
Problem TDEAD3393 is UNSAT
Problem TDEAD3396 is UNSAT
Problem TDEAD3399 is UNSAT
Problem TDEAD3401 is UNSAT
Problem TDEAD3404 is UNSAT
Problem TDEAD3410 is UNSAT
Problem TDEAD3413 is UNSAT
Problem TDEAD3416 is UNSAT
Problem TDEAD3420 is UNSAT
Problem TDEAD3423 is UNSAT
Problem TDEAD3427 is UNSAT
Problem TDEAD3430 is UNSAT
Problem TDEAD3433 is UNSAT
Problem TDEAD3437 is UNSAT
Problem TDEAD3438 is UNSAT
Problem TDEAD3441 is UNSAT
Problem TDEAD3447 is UNSAT
Problem TDEAD3450 is UNSAT
Problem TDEAD3454 is UNSAT
Problem TDEAD3457 is UNSAT
Problem TDEAD3461 is UNSAT
Problem TDEAD3464 is UNSAT
Problem TDEAD3467 is UNSAT
Problem TDEAD3471 is UNSAT
Problem TDEAD3474 is UNSAT
Problem TDEAD3475 is UNSAT
Problem TDEAD3480 is UNSAT
Problem TDEAD3485 is UNSAT
Problem TDEAD3489 is UNSAT
Problem TDEAD3492 is UNSAT
Problem TDEAD3496 is UNSAT
Problem TDEAD3499 is UNSAT
Problem TDEAD3502 is UNSAT
Problem TDEAD3506 is UNSAT
Problem TDEAD3509 is UNSAT
Problem TDEAD3513 is UNSAT
Problem TDEAD3514 is UNSAT
Problem TDEAD3517 is UNSAT
Problem TDEAD3523 is UNSAT
Problem TDEAD3526 is UNSAT
Problem TDEAD3530 is UNSAT
Problem TDEAD3533 is UNSAT
Problem TDEAD3536 is UNSAT
Problem TDEAD3540 is UNSAT
Problem TDEAD3543 is UNSAT
Problem TDEAD3547 is UNSAT
Problem TDEAD3550 is UNSAT
Problem TDEAD3551 is UNSAT
Problem TDEAD3555 is UNSAT
Problem TDEAD3560 is UNSAT
Problem TDEAD3565 is UNSAT
Problem TDEAD3568 is UNSAT
Problem TDEAD3571 is UNSAT
Problem TDEAD3575 is UNSAT
Problem TDEAD3578 is UNSAT
Problem TDEAD3582 is UNSAT
Problem TDEAD3585 is UNSAT
Problem TDEAD3588 is UNSAT
Problem TDEAD3590 is UNSAT
Problem TDEAD3593 is UNSAT
Problem TDEAD3599 is UNSAT
Problem TDEAD3602 is UNSAT
Problem TDEAD3605 is UNSAT
Problem TDEAD3609 is UNSAT
Problem TDEAD3612 is UNSAT
Problem TDEAD3616 is UNSAT
Problem TDEAD3619 is UNSAT
Problem TDEAD3622 is UNSAT
Problem TDEAD3626 is UNSAT
Problem TDEAD3627 is UNSAT
Problem TDEAD3630 is UNSAT
Problem TDEAD3636 is UNSAT
Problem TDEAD3639 is UNSAT
Problem TDEAD3643 is UNSAT
Problem TDEAD3646 is UNSAT
Problem TDEAD3651 is UNSAT
Problem TDEAD3654 is UNSAT
Problem TDEAD3657 is UNSAT
Problem TDEAD3661 is UNSAT
Problem TDEAD3665 is UNSAT
Problem TDEAD3667 is UNSAT
Problem TDEAD3670 is UNSAT
Problem TDEAD3676 is UNSAT
Problem TDEAD3679 is UNSAT
Problem TDEAD3682 is UNSAT
Problem TDEAD3686 is UNSAT
Problem TDEAD3689 is UNSAT
Problem TDEAD3693 is UNSAT
Problem TDEAD3696 is UNSAT
Problem TDEAD3699 is UNSAT
Problem TDEAD3703 is UNSAT
Problem TDEAD3706 is UNSAT
Problem TDEAD3710 is UNSAT
Problem TDEAD3715 is UNSAT
Problem TDEAD3719 is UNSAT
Problem TDEAD3722 is UNSAT
Problem TDEAD3725 is UNSAT
Problem TDEAD3729 is UNSAT
Problem TDEAD3732 is UNSAT
Problem TDEAD3738 is UNSAT
Problem TDEAD3741 is UNSAT
Problem TDEAD3744 is UNSAT
Problem TDEAD3746 is UNSAT
Problem TDEAD3749 is UNSAT
Problem TDEAD3755 is UNSAT
Problem TDEAD3758 is UNSAT
Problem TDEAD3761 is UNSAT
Problem TDEAD3765 is UNSAT
Problem TDEAD3768 is UNSAT
Problem TDEAD3772 is UNSAT
Problem TDEAD3775 is UNSAT
Problem TDEAD3778 is UNSAT
Problem TDEAD3782 is UNSAT
Problem TDEAD3783 is UNSAT
Problem TDEAD3786 is UNSAT
Problem TDEAD3792 is UNSAT
Problem TDEAD3795 is UNSAT
Problem TDEAD3799 is UNSAT
Problem TDEAD3802 is UNSAT
Problem TDEAD3806 is UNSAT
Problem TDEAD3809 is UNSAT
Problem TDEAD3812 is UNSAT
Problem TDEAD3816 is UNSAT
Problem TDEAD3819 is UNSAT
Problem TDEAD3820 is UNSAT
Problem TDEAD3825 is UNSAT
Problem TDEAD3830 is UNSAT
Problem TDEAD3834 is UNSAT
Problem TDEAD3837 is UNSAT
Problem TDEAD3841 is UNSAT
Problem TDEAD3844 is UNSAT
Problem TDEAD3847 is UNSAT
Problem TDEAD3851 is UNSAT
Problem TDEAD3854 is UNSAT
Problem TDEAD3858 is UNSAT
Problem TDEAD3859 is UNSAT
Problem TDEAD3862 is UNSAT
Problem TDEAD3868 is UNSAT
Problem TDEAD3871 is UNSAT
Problem TDEAD3875 is UNSAT
Problem TDEAD3878 is UNSAT
Problem TDEAD3881 is UNSAT
Problem TDEAD3885 is UNSAT
Problem TDEAD3888 is UNSAT
Problem TDEAD3892 is UNSAT
Problem TDEAD3895 is UNSAT
Problem TDEAD3896 is UNSAT
Problem TDEAD3900 is UNSAT
Problem TDEAD3905 is UNSAT
Problem TDEAD3910 is UNSAT
Problem TDEAD3913 is UNSAT
Problem TDEAD3916 is UNSAT
Problem TDEAD3920 is UNSAT
Problem TDEAD3923 is UNSAT
Problem TDEAD3927 is UNSAT
Problem TDEAD3930 is UNSAT
Problem TDEAD3933 is UNSAT
Problem TDEAD3935 is UNSAT
Problem TDEAD3938 is UNSAT
Problem TDEAD3944 is UNSAT
Problem TDEAD3947 is UNSAT
Problem TDEAD3950 is UNSAT
Problem TDEAD3954 is UNSAT
Problem TDEAD3957 is UNSAT
Problem TDEAD3961 is UNSAT
Problem TDEAD3964 is UNSAT
Problem TDEAD3967 is UNSAT
Problem TDEAD3971 is UNSAT
Problem TDEAD3972 is UNSAT
Problem TDEAD3975 is UNSAT
Problem TDEAD3981 is UNSAT
Problem TDEAD3984 is UNSAT
Problem TDEAD3988 is UNSAT
Problem TDEAD3991 is UNSAT
Problem TDEAD3996 is UNSAT
Problem TDEAD3999 is UNSAT
Problem TDEAD4002 is UNSAT
Problem TDEAD4006 is UNSAT
Problem TDEAD4009 is UNSAT
Problem TDEAD4010 is UNSAT
Problem TDEAD4014 is UNSAT
Problem TDEAD4019 is UNSAT
Problem TDEAD4023 is UNSAT
Problem TDEAD4026 is UNSAT
Problem TDEAD4030 is UNSAT
Problem TDEAD4033 is UNSAT
Problem TDEAD4036 is UNSAT
Problem TDEAD4040 is UNSAT
Problem TDEAD4043 is UNSAT
Problem TDEAD4049 is UNSAT
Problem TDEAD4050 is UNSAT
Problem TDEAD4054 is UNSAT
Problem TDEAD4059 is UNSAT
Problem TDEAD4063 is UNSAT
Problem TDEAD4066 is UNSAT
Problem TDEAD4069 is UNSAT
Problem TDEAD4073 is UNSAT
Problem TDEAD4076 is UNSAT
Problem TDEAD4081 is UNSAT
Problem TDEAD4084 is UNSAT
Problem TDEAD4087 is UNSAT
Problem TDEAD4091 is UNSAT
Problem TDEAD4094 is UNSAT
Problem TDEAD4100 is UNSAT
Problem TDEAD4103 is UNSAT
Problem TDEAD4107 is UNSAT
Problem TDEAD4110 is UNSAT
Problem TDEAD4113 is UNSAT
Problem TDEAD4117 is UNSAT
Problem TDEAD4120 is UNSAT
Problem TDEAD4124 is UNSAT
Problem TDEAD4127 is UNSAT
Problem TDEAD4128 is UNSAT
Problem TDEAD4132 is UNSAT
Problem TDEAD4137 is UNSAT
Problem TDEAD4141 is UNSAT
Problem TDEAD4144 is UNSAT
Problem TDEAD4147 is UNSAT
Problem TDEAD4151 is UNSAT
Problem TDEAD4154 is UNSAT
Problem TDEAD4158 is UNSAT
Problem TDEAD4161 is UNSAT
Problem TDEAD4164 is UNSAT
Problem TDEAD4167 is UNSAT
Problem TDEAD4170 is UNSAT
Problem TDEAD4176 is UNSAT
Problem TDEAD4179 is UNSAT
Problem TDEAD4182 is UNSAT
Problem TDEAD4186 is UNSAT
Problem TDEAD4189 is UNSAT
Problem TDEAD4193 is UNSAT
Problem TDEAD4196 is UNSAT
Problem TDEAD4199 is UNSAT
Problem TDEAD4203 is UNSAT
Problem TDEAD4204 is UNSAT
Problem TDEAD4207 is UNSAT
Problem TDEAD4213 is UNSAT
Problem TDEAD4216 is UNSAT
Problem TDEAD4220 is UNSAT
Problem TDEAD4223 is UNSAT
Problem TDEAD4227 is UNSAT
Problem TDEAD4230 is UNSAT
Problem TDEAD4233 is UNSAT
Problem TDEAD4237 is UNSAT
Problem TDEAD4240 is UNSAT
Problem TDEAD4241 is UNSAT
Problem TDEAD4245 is UNSAT
Problem TDEAD4250 is UNSAT
Problem TDEAD4255 is UNSAT
Problem TDEAD4258 is UNSAT
Problem TDEAD4262 is UNSAT
Problem TDEAD4265 is UNSAT
Problem TDEAD4268 is UNSAT
Problem TDEAD4272 is UNSAT
Problem TDEAD4275 is UNSAT
Problem TDEAD4279 is UNSAT
Problem TDEAD4280 is UNSAT
Problem TDEAD4283 is UNSAT
Problem TDEAD4289 is UNSAT
Problem TDEAD4292 is UNSAT
Problem TDEAD4296 is UNSAT
Problem TDEAD4299 is UNSAT
Problem TDEAD4302 is UNSAT
Problem TDEAD4306 is UNSAT
Problem TDEAD4309 is UNSAT
Problem TDEAD4313 is UNSAT
Problem TDEAD4316 is UNSAT
Problem TDEAD4317 is UNSAT
Problem TDEAD4321 is UNSAT
Problem TDEAD4326 is UNSAT
Problem TDEAD4330 is UNSAT
Problem TDEAD4333 is UNSAT
Problem TDEAD4336 is UNSAT
Problem TDEAD4341 is UNSAT
Problem TDEAD4344 is UNSAT
Problem TDEAD4348 is UNSAT
Problem TDEAD4351 is UNSAT
Problem TDEAD4354 is UNSAT
Problem TDEAD4356 is UNSAT
Problem TDEAD4359 is UNSAT
Problem TDEAD4365 is UNSAT
Problem TDEAD4368 is UNSAT
Problem TDEAD4371 is UNSAT
Problem TDEAD4375 is UNSAT
Problem TDEAD4378 is UNSAT
Problem TDEAD4382 is UNSAT
Problem TDEAD4385 is UNSAT
Problem TDEAD4388 is UNSAT
Problem TDEAD4392 is UNSAT
Problem TDEAD4393 is UNSAT
Problem TDEAD4396 is UNSAT
Problem TDEAD4402 is UNSAT
Problem TDEAD4405 is UNSAT
Problem TDEAD4409 is UNSAT
Problem TDEAD4412 is UNSAT
Problem TDEAD4416 is UNSAT
Problem TDEAD4419 is UNSAT
Problem TDEAD4422 is UNSAT
Problem TDEAD4427 is UNSAT
Problem TDEAD4434 is UNSAT
Problem TDEAD4435 is UNSAT
Problem TDEAD4438 is UNSAT
Problem TDEAD4444 is UNSAT
Problem TDEAD4447 is UNSAT
Problem TDEAD4451 is UNSAT
Problem TDEAD4454 is UNSAT
Problem TDEAD4457 is UNSAT
Problem TDEAD4461 is UNSAT
Problem TDEAD4464 is UNSAT
Problem TDEAD4468 is UNSAT
Problem TDEAD4471 is UNSAT
Problem TDEAD4474 is UNSAT
Problem TDEAD4478 is UNSAT
Problem TDEAD4483 is UNSAT
Problem TDEAD4487 is UNSAT
Problem TDEAD4490 is UNSAT
Problem TDEAD4494 is UNSAT
Problem TDEAD4497 is UNSAT
Problem TDEAD4500 is UNSAT
Problem TDEAD4504 is UNSAT
Problem TDEAD4507 is UNSAT
Problem TDEAD4512 is UNSAT
Problem TDEAD4513 is UNSAT
Problem TDEAD4516 is UNSAT
Problem TDEAD4522 is UNSAT
Problem TDEAD4525 is UNSAT
Problem TDEAD4529 is UNSAT
Problem TDEAD4532 is UNSAT
Problem TDEAD4535 is UNSAT
Problem TDEAD4539 is UNSAT
Problem TDEAD4542 is UNSAT
Problem TDEAD4546 is UNSAT
Problem TDEAD4549 is UNSAT
Problem TDEAD4550 is UNSAT
Problem TDEAD4554 is UNSAT
Problem TDEAD4559 is UNSAT
Problem TDEAD4563 is UNSAT
Problem TDEAD4566 is UNSAT
Problem TDEAD4569 is UNSAT
Problem TDEAD4573 is UNSAT
Problem TDEAD4576 is UNSAT
Problem TDEAD4580 is UNSAT
Problem TDEAD4583 is UNSAT
Problem TDEAD4586 is UNSAT
Problem TDEAD4588 is UNSAT
Problem TDEAD4591 is UNSAT
Problem TDEAD4599 is UNSAT
Problem TDEAD4602 is UNSAT
Problem TDEAD4605 is UNSAT
Problem TDEAD4609 is UNSAT
Problem TDEAD4612 is UNSAT
Problem TDEAD4616 is UNSAT
Problem TDEAD4619 is UNSAT
Problem TDEAD4622 is UNSAT
Problem TDEAD4626 is UNSAT
Problem TDEAD4627 is UNSAT
Problem TDEAD4630 is UNSAT
Problem TDEAD4636 is UNSAT
Problem TDEAD4639 is UNSAT
Problem TDEAD4643 is UNSAT
Problem TDEAD4646 is UNSAT
Problem TDEAD4650 is UNSAT
Problem TDEAD4653 is UNSAT
Problem TDEAD4656 is UNSAT
Problem TDEAD4660 is UNSAT
Problem TDEAD4663 is UNSAT
Problem TDEAD4664 is UNSAT
Problem TDEAD4668 is UNSAT
Problem TDEAD4673 is UNSAT
Problem TDEAD4677 is UNSAT
Problem TDEAD4680 is UNSAT
Problem TDEAD4685 is UNSAT
Problem TDEAD4688 is UNSAT
Problem TDEAD4691 is UNSAT
Problem TDEAD4695 is UNSAT
Problem TDEAD4698 is UNSAT
Problem TDEAD4702 is UNSAT
Problem TDEAD4703 is UNSAT
Problem TDEAD4706 is UNSAT
Problem TDEAD4712 is UNSAT
Problem TDEAD4715 is UNSAT
Problem TDEAD4719 is UNSAT
Problem TDEAD4722 is UNSAT
Problem TDEAD4725 is UNSAT
Problem TDEAD4729 is UNSAT
Problem TDEAD4732 is UNSAT
Problem TDEAD4736 is UNSAT
Problem TDEAD4739 is UNSAT
Problem TDEAD4740 is UNSAT
Problem TDEAD4744 is UNSAT
Problem TDEAD4749 is UNSAT
Problem TDEAD4753 is UNSAT
Problem TDEAD4756 is UNSAT
Problem TDEAD4759 is UNSAT
Problem TDEAD4763 is UNSAT
Problem TDEAD4766 is UNSAT
Problem TDEAD4771 is UNSAT
Problem TDEAD4774 is UNSAT
Problem TDEAD4777 is UNSAT
Problem TDEAD4779 is UNSAT
Problem TDEAD4782 is UNSAT
Problem TDEAD4788 is UNSAT
Problem TDEAD4791 is UNSAT
Problem TDEAD4794 is UNSAT
Problem TDEAD4798 is UNSAT
Problem TDEAD4801 is UNSAT
Problem TDEAD4805 is UNSAT
Problem TDEAD4808 is UNSAT
Problem TDEAD4811 is UNSAT
Problem TDEAD4816 is UNSAT
Problem TDEAD4817 is UNSAT
Problem TDEAD4821 is UNSAT
Problem TDEAD4826 is UNSAT
Problem TDEAD4830 is UNSAT
Problem TDEAD4833 is UNSAT
Problem TDEAD4836 is UNSAT
Problem TDEAD4840 is UNSAT
Problem TDEAD4843 is UNSAT
Problem TDEAD4847 is UNSAT
Problem TDEAD4850 is UNSAT
Problem TDEAD4853 is UNSAT
Problem TDEAD4858 is UNSAT
Problem TDEAD4861 is UNSAT
Problem TDEAD4867 is UNSAT
Problem TDEAD4870 is UNSAT
Problem TDEAD4874 is UNSAT
Problem TDEAD4877 is UNSAT
Problem TDEAD4880 is UNSAT
Problem TDEAD4884 is UNSAT
Problem TDEAD4887 is UNSAT
Problem TDEAD4891 is UNSAT
Problem TDEAD4894 is UNSAT
Problem TDEAD4895 is UNSAT
Problem TDEAD4899 is UNSAT
Problem TDEAD4904 is UNSAT
Problem TDEAD4908 is UNSAT
Problem TDEAD4911 is UNSAT
Problem TDEAD4914 is UNSAT
Problem TDEAD4918 is UNSAT
Problem TDEAD4921 is UNSAT
Problem TDEAD4925 is UNSAT
Problem TDEAD4928 is UNSAT
Problem TDEAD4931 is UNSAT
Problem TDEAD4933 is UNSAT
Problem TDEAD4936 is UNSAT
Problem TDEAD4943 is UNSAT
Problem TDEAD4946 is UNSAT
Problem TDEAD4949 is UNSAT
Problem TDEAD4953 is UNSAT
Problem TDEAD4956 is UNSAT
Problem TDEAD4960 is UNSAT
Problem TDEAD4963 is UNSAT
Problem TDEAD4966 is UNSAT
Problem TDEAD4970 is UNSAT
Problem TDEAD4971 is UNSAT
Problem TDEAD4974 is UNSAT
Problem TDEAD4980 is UNSAT
Problem TDEAD4983 is UNSAT
Problem TDEAD4987 is UNSAT
Problem TDEAD4990 is UNSAT
Problem TDEAD4994 is UNSAT
Problem TDEAD4997 is UNSAT
Problem TDEAD5000 is UNSAT
Problem TDEAD5004 is UNSAT
Problem TDEAD5007 is UNSAT
Problem TDEAD5008 is UNSAT
Problem TDEAD5012 is UNSAT
Problem TDEAD5017 is UNSAT
Problem TDEAD5021 is UNSAT
Problem TDEAD5024 is UNSAT
Problem TDEAD5029 is UNSAT
Problem TDEAD5032 is UNSAT
Problem TDEAD5035 is UNSAT
Problem TDEAD5039 is UNSAT
Problem TDEAD5042 is UNSAT
Problem TDEAD5046 is UNSAT
Problem TDEAD5047 is UNSAT
Problem TDEAD5050 is UNSAT
Problem TDEAD5056 is UNSAT
Problem TDEAD5059 is UNSAT
Problem TDEAD5063 is UNSAT
Problem TDEAD5066 is UNSAT
Problem TDEAD5069 is UNSAT
Problem TDEAD5073 is UNSAT
Problem TDEAD5076 is UNSAT
Problem TDEAD5080 is UNSAT
Problem TDEAD5083 is UNSAT
Problem TDEAD5084 is UNSAT
Problem TDEAD5088 is UNSAT
Problem TDEAD5093 is UNSAT
Problem TDEAD5097 is UNSAT
Problem TDEAD5100 is UNSAT
Problem TDEAD5103 is UNSAT
Problem TDEAD5107 is UNSAT
Problem TDEAD5110 is UNSAT
Problem TDEAD5115 is UNSAT
Problem TDEAD5118 is UNSAT
Problem TDEAD5121 is UNSAT
Problem TDEAD5123 is UNSAT
Problem TDEAD5126 is UNSAT
Problem TDEAD5132 is UNSAT
Problem TDEAD5135 is UNSAT
Problem TDEAD5138 is UNSAT
Problem TDEAD5142 is UNSAT
Problem TDEAD5145 is UNSAT
Problem TDEAD5149 is UNSAT
Problem TDEAD5152 is UNSAT
Problem TDEAD5155 is UNSAT
Problem TDEAD5159 is UNSAT
Problem TDEAD5160 is UNSAT
Problem TDEAD5163 is UNSAT
Problem TDEAD5169 is UNSAT
Problem TDEAD5172 is UNSAT
Problem TDEAD5176 is UNSAT
Problem TDEAD5179 is UNSAT
Problem TDEAD5183 is UNSAT
Problem TDEAD5186 is UNSAT
Problem TDEAD5189 is UNSAT
Problem TDEAD5193 is UNSAT
Problem TDEAD5197 is UNSAT
Problem TDEAD5200 is UNSAT
Problem TDEAD5203 is UNSAT
Problem TDEAD5209 is UNSAT
Problem TDEAD5212 is UNSAT
Problem TDEAD5215 is UNSAT
Problem TDEAD5219 is UNSAT
Problem TDEAD5222 is UNSAT
Problem TDEAD5226 is UNSAT
Problem TDEAD5229 is UNSAT
Problem TDEAD5232 is UNSAT
Problem TDEAD5236 is UNSAT
Problem TDEAD5239 is UNSAT
Problem TDEAD5243 is UNSAT
Problem TDEAD5248 is UNSAT
Problem TDEAD5252 is UNSAT
Problem TDEAD5255 is UNSAT
Problem TDEAD5258 is UNSAT
Problem TDEAD5262 is UNSAT
Problem TDEAD5265 is UNSAT
Problem TDEAD5269 is UNSAT
Problem TDEAD5272 is UNSAT
Problem TDEAD5275 is UNSAT
Problem TDEAD5277 is UNSAT
Problem TDEAD5280 is UNSAT
Problem TDEAD5287 is UNSAT
Problem TDEAD5290 is UNSAT
Problem TDEAD5293 is UNSAT
Problem TDEAD5297 is UNSAT
Problem TDEAD5300 is UNSAT
Problem TDEAD5304 is UNSAT
Problem TDEAD5307 is UNSAT
Problem TDEAD5310 is UNSAT
Problem TDEAD5314 is UNSAT
Problem TDEAD5315 is UNSAT
Problem TDEAD5318 is UNSAT
Problem TDEAD5324 is UNSAT
Problem TDEAD5327 is UNSAT
Problem TDEAD5331 is UNSAT
Problem TDEAD5334 is UNSAT
Problem TDEAD5338 is UNSAT
Problem TDEAD5341 is UNSAT
Problem TDEAD5344 is UNSAT
Problem TDEAD5348 is UNSAT
Problem TDEAD5351 is UNSAT
Problem TDEAD5352 is UNSAT
Problem TDEAD5356 is UNSAT
Problem TDEAD5361 is UNSAT
Problem TDEAD5365 is UNSAT
Problem TDEAD5368 is UNSAT
Problem TDEAD5373 is UNSAT
Problem TDEAD5376 is UNSAT
Problem TDEAD5379 is UNSAT
Problem TDEAD5383 is UNSAT
Problem TDEAD5386 is UNSAT
Problem TDEAD5390 is UNSAT
Problem TDEAD5391 is UNSAT
Problem TDEAD5394 is UNSAT
Problem TDEAD5400 is UNSAT
Problem TDEAD5403 is UNSAT
Problem TDEAD5407 is UNSAT
Problem TDEAD5410 is UNSAT
Problem TDEAD5413 is UNSAT
Problem TDEAD5417 is UNSAT
Problem TDEAD5420 is UNSAT
Problem TDEAD5424 is UNSAT
Problem TDEAD5427 is UNSAT
Problem TDEAD5428 is UNSAT
Problem TDEAD5432 is UNSAT
Problem TDEAD5437 is UNSAT
Problem TDEAD5441 is UNSAT
Problem TDEAD5444 is UNSAT
Problem TDEAD5447 is UNSAT
Problem TDEAD5451 is UNSAT
Problem TDEAD5454 is UNSAT
Problem TDEAD5460 is UNSAT
Problem TDEAD5463 is UNSAT
Problem TDEAD5466 is UNSAT
Problem TDEAD5468 is UNSAT
Problem TDEAD5471 is UNSAT
Problem TDEAD5477 is UNSAT
Problem TDEAD5480 is UNSAT
Problem TDEAD5483 is UNSAT
Problem TDEAD5487 is UNSAT
Problem TDEAD5490 is UNSAT
Problem TDEAD5494 is UNSAT
Problem TDEAD5497 is UNSAT
Problem TDEAD5500 is UNSAT
Problem TDEAD5504 is UNSAT
Problem TDEAD5505 is UNSAT
Problem TDEAD5508 is UNSAT
Problem TDEAD5514 is UNSAT
Problem TDEAD5517 is UNSAT
Problem TDEAD5521 is UNSAT
Problem TDEAD5524 is UNSAT
Problem TDEAD5528 is UNSAT
Problem TDEAD5531 is UNSAT
Problem TDEAD5534 is UNSAT
Problem TDEAD5538 is UNSAT
Problem TDEAD5541 is UNSAT
Problem TDEAD5542 is UNSAT
Problem TDEAD5547 is UNSAT
Problem TDEAD5552 is UNSAT
Problem TDEAD5556 is UNSAT
Problem TDEAD5559 is UNSAT
Problem TDEAD5563 is UNSAT
Problem TDEAD5566 is UNSAT
Problem TDEAD5569 is UNSAT
Problem TDEAD5573 is UNSAT
Problem TDEAD5576 is UNSAT
Problem TDEAD5581 is UNSAT
Problem TDEAD5582 is UNSAT
Problem TDEAD5585 is UNSAT
Problem TDEAD5591 is UNSAT
Problem TDEAD5594 is UNSAT
Problem TDEAD5598 is UNSAT
Problem TDEAD5601 is UNSAT
Problem TDEAD5605 is UNSAT
Problem TDEAD5608 is UNSAT
Problem TDEAD5611 is UNSAT
Problem TDEAD5615 is UNSAT
Problem TDEAD5618 is UNSAT
Problem TDEAD5622 is UNSAT
Problem TDEAD5625 is UNSAT
Problem TDEAD5632 is UNSAT
Problem TDEAD5635 is UNSAT
Problem TDEAD5638 is UNSAT
Problem TDEAD5642 is UNSAT
Problem TDEAD5645 is UNSAT
Problem TDEAD5649 is UNSAT
Problem TDEAD5652 is UNSAT
Problem TDEAD5655 is UNSAT
Problem TDEAD5659 is UNSAT
Problem TDEAD5660 is UNSAT
Problem TDEAD5663 is UNSAT
Problem TDEAD5669 is UNSAT
Problem TDEAD5672 is UNSAT
Problem TDEAD5676 is UNSAT
Problem TDEAD5679 is UNSAT
Problem TDEAD5683 is UNSAT
Problem TDEAD5686 is UNSAT
Problem TDEAD5689 is UNSAT
Problem TDEAD5693 is UNSAT
Problem TDEAD5696 is UNSAT
Problem TDEAD5697 is UNSAT
Problem TDEAD5701 is UNSAT
Problem TDEAD5706 is UNSAT
Problem TDEAD5710 is UNSAT
Problem TDEAD5713 is UNSAT
Problem TDEAD5718 is UNSAT
Problem TDEAD5721 is UNSAT
Problem TDEAD5724 is UNSAT
Problem TDEAD5728 is UNSAT
Problem TDEAD5731 is UNSAT
Problem TDEAD5735 is UNSAT
Problem TDEAD5736 is UNSAT
Problem TDEAD5739 is UNSAT
Problem TDEAD5745 is UNSAT
Problem TDEAD5748 is UNSAT
Problem TDEAD5752 is UNSAT
Problem TDEAD5755 is UNSAT
Problem TDEAD5758 is UNSAT
Problem TDEAD5762 is UNSAT
Problem TDEAD5765 is UNSAT
Problem TDEAD5769 is UNSAT
Problem TDEAD5772 is UNSAT
Problem TDEAD5773 is UNSAT
Problem TDEAD5777 is UNSAT
Problem TDEAD5782 is UNSAT
Problem TDEAD5786 is UNSAT
Problem TDEAD5789 is UNSAT
Problem TDEAD5792 is UNSAT
Problem TDEAD5796 is UNSAT
Problem TDEAD5799 is UNSAT
Problem TDEAD5804 is UNSAT
Problem TDEAD5807 is UNSAT
Problem TDEAD5810 is UNSAT
Problem TDEAD5812 is UNSAT
Problem TDEAD5815 is UNSAT
Problem TDEAD5821 is UNSAT
Problem TDEAD5824 is UNSAT
Problem TDEAD5827 is UNSAT
Problem TDEAD5831 is UNSAT
Problem TDEAD5834 is UNSAT
Problem TDEAD5838 is UNSAT
Problem TDEAD5841 is UNSAT
Problem TDEAD5844 is UNSAT
Problem TDEAD5848 is UNSAT
Problem TDEAD5849 is UNSAT
Problem TDEAD5852 is UNSAT
Problem TDEAD5858 is UNSAT
Problem TDEAD5861 is UNSAT
Problem TDEAD5865 is UNSAT
Problem TDEAD5868 is UNSAT
Problem TDEAD5872 is UNSAT
Problem TDEAD5875 is UNSAT
Problem TDEAD5878 is UNSAT
Problem TDEAD5882 is UNSAT
Problem TDEAD5885 is UNSAT
Problem TDEAD5886 is UNSAT
Problem TDEAD5891 is UNSAT
Problem TDEAD5896 is UNSAT
Problem TDEAD5900 is UNSAT
Problem TDEAD5903 is UNSAT
Problem TDEAD5907 is UNSAT
Problem TDEAD5910 is UNSAT
Problem TDEAD5913 is UNSAT
Problem TDEAD5917 is UNSAT
Problem TDEAD5920 is UNSAT
Problem TDEAD5924 is UNSAT
Problem TDEAD5925 is UNSAT
Problem TDEAD5928 is UNSAT
Problem TDEAD5934 is UNSAT
Problem TDEAD5937 is UNSAT
Problem TDEAD5941 is UNSAT
Problem TDEAD5944 is UNSAT
Problem TDEAD5947 is UNSAT
Problem TDEAD5951 is UNSAT
Problem TDEAD5954 is UNSAT
Problem TDEAD5958 is UNSAT
Problem TDEAD5962 is UNSAT
Problem TDEAD5963 is UNSAT
Problem TDEAD5967 is UNSAT
Problem TDEAD5972 is UNSAT
Problem TDEAD5977 is UNSAT
Problem TDEAD5980 is UNSAT
Problem TDEAD5984 is UNSAT
Problem TDEAD5987 is UNSAT
Problem TDEAD5990 is UNSAT
Problem TDEAD5994 is UNSAT
Problem TDEAD5997 is UNSAT
Problem TDEAD6001 is UNSAT
Problem TDEAD6004 is UNSAT
Problem TDEAD6007 is UNSAT
Problem TDEAD6013 is UNSAT
Problem TDEAD6016 is UNSAT
Problem TDEAD6020 is UNSAT
Problem TDEAD6023 is UNSAT
Problem TDEAD6027 is UNSAT
Problem TDEAD6030 is UNSAT
Problem TDEAD6033 is UNSAT
Problem TDEAD6037 is UNSAT
Problem TDEAD6040 is UNSAT
Problem TDEAD6041 is UNSAT
Problem TDEAD6045 is UNSAT
Problem TDEAD6050 is UNSAT
Problem TDEAD6054 is UNSAT
Problem TDEAD6057 is UNSAT
Problem TDEAD6062 is UNSAT
Problem TDEAD6065 is UNSAT
Problem TDEAD6068 is UNSAT
Problem TDEAD6072 is UNSAT
Problem TDEAD6075 is UNSAT
Problem TDEAD6079 is UNSAT
Problem TDEAD6080 is UNSAT
Problem TDEAD6083 is UNSAT
Problem TDEAD6089 is UNSAT
Problem TDEAD6092 is UNSAT
Problem TDEAD6096 is UNSAT
Problem TDEAD6099 is UNSAT
Problem TDEAD6102 is UNSAT
Problem TDEAD6106 is UNSAT
Problem TDEAD6109 is UNSAT
Problem TDEAD6113 is UNSAT
Problem TDEAD6116 is UNSAT
Problem TDEAD6117 is UNSAT
Problem TDEAD6121 is UNSAT
Problem TDEAD6126 is UNSAT
Problem TDEAD6130 is UNSAT
Problem TDEAD6133 is UNSAT
Problem TDEAD6136 is UNSAT
Problem TDEAD6140 is UNSAT
Problem TDEAD6143 is UNSAT
Problem TDEAD6148 is UNSAT
Problem TDEAD6151 is UNSAT
Problem TDEAD6154 is UNSAT
Problem TDEAD6156 is UNSAT
Problem TDEAD6159 is UNSAT
Problem TDEAD6165 is UNSAT
Problem TDEAD6168 is UNSAT
Problem TDEAD6171 is UNSAT
Problem TDEAD6175 is UNSAT
Problem TDEAD6178 is UNSAT
Problem TDEAD6182 is UNSAT
Problem TDEAD6185 is UNSAT
Problem TDEAD6188 is UNSAT
Problem TDEAD6192 is UNSAT
Problem TDEAD6193 is UNSAT
Problem TDEAD6196 is UNSAT
Problem TDEAD6202 is UNSAT
Problem TDEAD6205 is UNSAT
Problem TDEAD6209 is UNSAT
Problem TDEAD6212 is UNSAT
Problem TDEAD6216 is UNSAT
Problem TDEAD6219 is UNSAT
Problem TDEAD6222 is UNSAT
Problem TDEAD6226 is UNSAT
Problem TDEAD6229 is UNSAT
Problem TDEAD6230 is UNSAT
Problem TDEAD6235 is UNSAT
Problem TDEAD6240 is UNSAT
Problem TDEAD6244 is UNSAT
Problem TDEAD6247 is UNSAT
Problem TDEAD6251 is UNSAT
Problem TDEAD6254 is UNSAT
Problem TDEAD6257 is UNSAT
Problem TDEAD6261 is UNSAT
Problem TDEAD6264 is UNSAT
Problem TDEAD6268 is UNSAT
Problem TDEAD6269 is UNSAT
Problem TDEAD6272 is UNSAT
Problem TDEAD6278 is UNSAT
Problem TDEAD6281 is UNSAT
Problem TDEAD6285 is UNSAT
Problem TDEAD6288 is UNSAT
Problem TDEAD6291 is UNSAT
Problem TDEAD6295 is UNSAT
Problem TDEAD6298 is UNSAT
Problem TDEAD6302 is UNSAT
Problem TDEAD6305 is UNSAT
Problem TDEAD6306 is UNSAT
Problem TDEAD6310 is UNSAT
Problem TDEAD6315 is UNSAT
Problem TDEAD6321 is UNSAT
Problem TDEAD6324 is UNSAT
Problem TDEAD6327 is UNSAT
Problem TDEAD6331 is UNSAT
Problem TDEAD6334 is UNSAT
Problem TDEAD6338 is UNSAT
Problem TDEAD6341 is UNSAT
Problem TDEAD6346 is UNSAT
Problem TDEAD6347 is UNSAT
Problem TDEAD6350 is UNSAT
Problem TDEAD6356 is UNSAT
Problem TDEAD6359 is UNSAT
Problem TDEAD6363 is UNSAT
Problem TDEAD6366 is UNSAT
Problem TDEAD6369 is UNSAT
Problem TDEAD6373 is UNSAT
Problem TDEAD6376 is UNSAT
Problem TDEAD6380 is UNSAT
Problem TDEAD6383 is UNSAT
Problem TDEAD6386 is UNSAT
Problem TDEAD6390 is UNSAT
Problem TDEAD6395 is UNSAT
Problem TDEAD6399 is UNSAT
Problem TDEAD6402 is UNSAT
Problem TDEAD6407 is UNSAT
Problem TDEAD6410 is UNSAT
Problem TDEAD6413 is UNSAT
Problem TDEAD6417 is UNSAT
Problem TDEAD6420 is UNSAT
Problem TDEAD6424 is UNSAT
Problem TDEAD6425 is UNSAT
Problem TDEAD6428 is UNSAT
Problem TDEAD6434 is UNSAT
Problem TDEAD6437 is UNSAT
Problem TDEAD6441 is UNSAT
Problem TDEAD6444 is UNSAT
Problem TDEAD6447 is UNSAT
Problem TDEAD6451 is UNSAT
Problem TDEAD6454 is UNSAT
Problem TDEAD6458 is UNSAT
Problem TDEAD6461 is UNSAT
Problem TDEAD6462 is UNSAT
Problem TDEAD6466 is UNSAT
Problem TDEAD6471 is UNSAT
Problem TDEAD6475 is UNSAT
Problem TDEAD6478 is UNSAT
Problem TDEAD6481 is UNSAT
Problem TDEAD6485 is UNSAT
Problem TDEAD6488 is UNSAT
Problem TDEAD6493 is UNSAT
Problem TDEAD6496 is UNSAT
Problem TDEAD6499 is UNSAT
Problem TDEAD6501 is UNSAT
Problem TDEAD6504 is UNSAT
Problem TDEAD6510 is UNSAT
Problem TDEAD6513 is UNSAT
Problem TDEAD6516 is UNSAT
Problem TDEAD6520 is UNSAT
Problem TDEAD6523 is UNSAT
Problem TDEAD6527 is UNSAT
Problem TDEAD6530 is UNSAT
Problem TDEAD6533 is UNSAT
Problem TDEAD6537 is UNSAT
Problem TDEAD6538 is UNSAT
Problem TDEAD6541 is UNSAT
Problem TDEAD6547 is UNSAT
Problem TDEAD6550 is UNSAT
Problem TDEAD6554 is UNSAT
Problem TDEAD6557 is UNSAT
Problem TDEAD6561 is UNSAT
Problem TDEAD6564 is UNSAT
Problem TDEAD6567 is UNSAT
Problem TDEAD6571 is UNSAT
Problem TDEAD6574 is UNSAT
Problem TDEAD6575 is UNSAT
Problem TDEAD6580 is UNSAT
Problem TDEAD6585 is UNSAT
Problem TDEAD6589 is UNSAT
Problem TDEAD6592 is UNSAT
Problem TDEAD6596 is UNSAT
Problem TDEAD6599 is UNSAT
Problem TDEAD6602 is UNSAT
Problem TDEAD6606 is UNSAT
Problem TDEAD6609 is UNSAT
Problem TDEAD6613 is UNSAT
Problem TDEAD6614 is UNSAT
Problem TDEAD6617 is UNSAT
Problem TDEAD6623 is UNSAT
Problem TDEAD6626 is UNSAT
Problem TDEAD6630 is UNSAT
Problem TDEAD6633 is UNSAT
Problem TDEAD6636 is UNSAT
Problem TDEAD6640 is UNSAT
Problem TDEAD6643 is UNSAT
Problem TDEAD6647 is UNSAT
Problem TDEAD6650 is UNSAT
Problem TDEAD6651 is UNSAT
Problem TDEAD6655 is UNSAT
Problem TDEAD6660 is UNSAT
Problem TDEAD6665 is UNSAT
Problem TDEAD6668 is UNSAT
Problem TDEAD6671 is UNSAT
Problem TDEAD6675 is UNSAT
Problem TDEAD6678 is UNSAT
Problem TDEAD6682 is UNSAT
Problem TDEAD6685 is UNSAT
Problem TDEAD6688 is UNSAT
Problem TDEAD6690 is UNSAT
Problem TDEAD6693 is UNSAT
Problem TDEAD6699 is UNSAT
Problem TDEAD6702 is UNSAT
Problem TDEAD6705 is UNSAT
Problem TDEAD6709 is UNSAT
Problem TDEAD6712 is UNSAT
Problem TDEAD6716 is UNSAT
Problem TDEAD6719 is UNSAT
Problem TDEAD6722 is UNSAT
Problem TDEAD6727 is UNSAT
Problem TDEAD6728 is UNSAT
Problem TDEAD6732 is UNSAT
Problem TDEAD6737 is UNSAT
Problem TDEAD6741 is UNSAT
Problem TDEAD6744 is UNSAT
Problem TDEAD6747 is UNSAT
Problem TDEAD6752 is UNSAT
Problem TDEAD6755 is UNSAT
Problem TDEAD6759 is UNSAT
Problem TDEAD6762 is UNSAT
Problem TDEAD6765 is UNSAT
Problem TDEAD6769 is UNSAT
Problem TDEAD6772 is UNSAT
Problem TDEAD6778 is UNSAT
Problem TDEAD6781 is UNSAT
Problem TDEAD6785 is UNSAT
Problem TDEAD6788 is UNSAT
Problem TDEAD6791 is UNSAT
Problem TDEAD6795 is UNSAT
Problem TDEAD6798 is UNSAT
Problem TDEAD6802 is UNSAT
Problem TDEAD6805 is UNSAT
Problem TDEAD6806 is UNSAT
Problem TDEAD6810 is UNSAT
Problem TDEAD6815 is UNSAT
Problem TDEAD6819 is UNSAT
Problem TDEAD6822 is UNSAT
Problem TDEAD6825 is UNSAT
Problem TDEAD6829 is UNSAT
Problem TDEAD6832 is UNSAT
Problem TDEAD6837 is UNSAT
Problem TDEAD6840 is UNSAT
Problem TDEAD6843 is UNSAT
Problem TDEAD6845 is UNSAT
Problem TDEAD6848 is UNSAT
Problem TDEAD6854 is UNSAT
Problem TDEAD6857 is UNSAT
Problem TDEAD6860 is UNSAT
Problem TDEAD6864 is UNSAT
Problem TDEAD6867 is UNSAT
Problem TDEAD6871 is UNSAT
Problem TDEAD6874 is UNSAT
Problem TDEAD6877 is UNSAT
Problem TDEAD6881 is UNSAT
Problem TDEAD6882 is UNSAT
Problem TDEAD6885 is UNSAT
Problem TDEAD6891 is UNSAT
Problem TDEAD6894 is UNSAT
Problem TDEAD6898 is UNSAT
Problem TDEAD6901 is UNSAT
Problem TDEAD6905 is UNSAT
Problem TDEAD6908 is UNSAT
Problem TDEAD6911 is UNSAT
Problem TDEAD6915 is UNSAT
Problem TDEAD6918 is UNSAT
Problem TDEAD6919 is UNSAT
Problem TDEAD6924 is UNSAT
Problem TDEAD6929 is UNSAT
Problem TDEAD6933 is UNSAT
Problem TDEAD6936 is UNSAT
Problem TDEAD6940 is UNSAT
Problem TDEAD6943 is UNSAT
Problem TDEAD6946 is UNSAT
Problem TDEAD6950 is UNSAT
Problem TDEAD6953 is UNSAT
Problem TDEAD6957 is UNSAT
Problem TDEAD6958 is UNSAT
Problem TDEAD6961 is UNSAT
Problem TDEAD6967 is UNSAT
Problem TDEAD6970 is UNSAT
Problem TDEAD6974 is UNSAT
Problem TDEAD6977 is UNSAT
Problem TDEAD6980 is UNSAT
Problem TDEAD6984 is UNSAT
Problem TDEAD6987 is UNSAT
Problem TDEAD6991 is UNSAT
Problem TDEAD6994 is UNSAT
Problem TDEAD6995 is UNSAT
Problem TDEAD6999 is UNSAT
Problem TDEAD7004 is UNSAT
Problem TDEAD7009 is UNSAT
Problem TDEAD7012 is UNSAT
Problem TDEAD7015 is UNSAT
Problem TDEAD7019 is UNSAT
Problem TDEAD7022 is UNSAT
Problem TDEAD7026 is UNSAT
Problem TDEAD7029 is UNSAT
Problem TDEAD7032 is UNSAT
Problem TDEAD7034 is UNSAT
Problem TDEAD7037 is UNSAT
Problem TDEAD7043 is UNSAT
Problem TDEAD7046 is UNSAT
Problem TDEAD7049 is UNSAT
Problem TDEAD7053 is UNSAT
Problem TDEAD7056 is UNSAT
Problem TDEAD7060 is UNSAT
Problem TDEAD7063 is UNSAT
Problem TDEAD7066 is UNSAT
Problem TDEAD7070 is UNSAT
Problem TDEAD7071 is UNSAT
Problem TDEAD7074 is UNSAT
Problem TDEAD7080 is UNSAT
Problem TDEAD7083 is UNSAT
Problem TDEAD7087 is UNSAT
Problem TDEAD7090 is UNSAT
Problem TDEAD7095 is UNSAT
Problem TDEAD7098 is UNSAT
Problem TDEAD7101 is UNSAT
Problem TDEAD7105 is UNSAT
Problem TDEAD7109 is UNSAT
Problem TDEAD7111 is UNSAT
Problem TDEAD7114 is UNSAT
Problem TDEAD7120 is UNSAT
Problem TDEAD7123 is UNSAT
Problem TDEAD7126 is UNSAT
Problem TDEAD7130 is UNSAT
Problem TDEAD7133 is UNSAT
Problem TDEAD7137 is UNSAT
Problem TDEAD7140 is UNSAT
Problem TDEAD7143 is UNSAT
Problem TDEAD7147 is UNSAT
Problem TDEAD7150 is UNSAT
Problem TDEAD7154 is UNSAT
Problem TDEAD7159 is UNSAT
Problem TDEAD7163 is UNSAT
Problem TDEAD7166 is UNSAT
Problem TDEAD7169 is UNSAT
Problem TDEAD7173 is UNSAT
Problem TDEAD7176 is UNSAT
Problem TDEAD7183 is UNSAT
Problem TDEAD7186 is UNSAT
Problem TDEAD7189 is UNSAT
Problem TDEAD7191 is UNSAT
Problem TDEAD7194 is UNSAT
Problem TDEAD7200 is UNSAT
Problem TDEAD7203 is UNSAT
Problem TDEAD7206 is UNSAT
Problem TDEAD7210 is UNSAT
Problem TDEAD7213 is UNSAT
Problem TDEAD7217 is UNSAT
Problem TDEAD7220 is UNSAT
Problem TDEAD7223 is UNSAT
Problem TDEAD7227 is UNSAT
Problem TDEAD7228 is UNSAT
Problem TDEAD7231 is UNSAT
Problem TDEAD7237 is UNSAT
Problem TDEAD7240 is UNSAT
Problem TDEAD7244 is UNSAT
Problem TDEAD7247 is UNSAT
Problem TDEAD7251 is UNSAT
Problem TDEAD7254 is UNSAT
Problem TDEAD7257 is UNSAT
Problem TDEAD7261 is UNSAT
Problem TDEAD7264 is UNSAT
Problem TDEAD7265 is UNSAT
Problem TDEAD7270 is UNSAT
Problem TDEAD7275 is UNSAT
Problem TDEAD7279 is UNSAT
Problem TDEAD7282 is UNSAT
Problem TDEAD7286 is UNSAT
Problem TDEAD7289 is UNSAT
Problem TDEAD7292 is UNSAT
Problem TDEAD7296 is UNSAT
Problem TDEAD7299 is UNSAT
Problem TDEAD7303 is UNSAT
Problem TDEAD7304 is UNSAT
Problem TDEAD7307 is UNSAT
Problem TDEAD7313 is UNSAT
Problem TDEAD7316 is UNSAT
Problem TDEAD7320 is UNSAT
Problem TDEAD7323 is UNSAT
Problem TDEAD7326 is UNSAT
Problem TDEAD7330 is UNSAT
Problem TDEAD7333 is UNSAT
Problem TDEAD7337 is UNSAT
Problem TDEAD7340 is UNSAT
Problem TDEAD7341 is UNSAT
Problem TDEAD7345 is UNSAT
Problem TDEAD7350 is UNSAT
Problem TDEAD7355 is UNSAT
Problem TDEAD7358 is UNSAT
Problem TDEAD7361 is UNSAT
Problem TDEAD7365 is UNSAT
Problem TDEAD7368 is UNSAT
Problem TDEAD7372 is UNSAT
Problem TDEAD7375 is UNSAT
Problem TDEAD7378 is UNSAT
Problem TDEAD7380 is UNSAT
Problem TDEAD7383 is UNSAT
Problem TDEAD7389 is UNSAT
Problem TDEAD7392 is UNSAT
Problem TDEAD7395 is UNSAT
Problem TDEAD7399 is UNSAT
Problem TDEAD7402 is UNSAT
Problem TDEAD7406 is UNSAT
Problem TDEAD7409 is UNSAT
Problem TDEAD7412 is UNSAT
Problem TDEAD7416 is UNSAT
Problem TDEAD7417 is UNSAT
Problem TDEAD7420 is UNSAT
Problem TDEAD7426 is UNSAT
Problem TDEAD7429 is UNSAT
Problem TDEAD7433 is UNSAT
Problem TDEAD7436 is UNSAT
Problem TDEAD7441 is UNSAT
Problem TDEAD7444 is UNSAT
Problem TDEAD7447 is UNSAT
Problem TDEAD7451 is UNSAT
Problem TDEAD7454 is UNSAT
Problem TDEAD7455 is UNSAT
Problem TDEAD7459 is UNSAT
Problem TDEAD7464 is UNSAT
Problem TDEAD7468 is UNSAT
Problem TDEAD7471 is UNSAT
Problem TDEAD7475 is UNSAT
Problem TDEAD7478 is UNSAT
Problem TDEAD7481 is UNSAT
Problem TDEAD7485 is UNSAT
Problem TDEAD7488 is UNSAT
Problem TDEAD7493 is UNSAT
Problem TDEAD7494 is UNSAT
Problem TDEAD7497 is UNSAT
Problem TDEAD7503 is UNSAT
Problem TDEAD7506 is UNSAT
Problem TDEAD7510 is UNSAT
Problem TDEAD7513 is UNSAT
Problem TDEAD7517 is UNSAT
Problem TDEAD7520 is UNSAT
Problem TDEAD7523 is UNSAT
Problem TDEAD7528 is UNSAT
Problem TDEAD7531 is UNSAT
Problem TDEAD7535 is UNSAT
Problem TDEAD7538 is UNSAT
Problem TDEAD7544 is UNSAT
Problem TDEAD7547 is UNSAT
Problem TDEAD7550 is UNSAT
Problem TDEAD7554 is UNSAT
Problem TDEAD7557 is UNSAT
Problem TDEAD7561 is UNSAT
Problem TDEAD7564 is UNSAT
Problem TDEAD7567 is UNSAT
Problem TDEAD7571 is UNSAT
Problem TDEAD7572 is UNSAT
Problem TDEAD7575 is UNSAT
Problem TDEAD7581 is UNSAT
Problem TDEAD7584 is UNSAT
Problem TDEAD7588 is UNSAT
Problem TDEAD7591 is UNSAT
Problem TDEAD7595 is UNSAT
Problem TDEAD7598 is UNSAT
Problem TDEAD7601 is UNSAT
Problem TDEAD7605 is UNSAT
Problem TDEAD7608 is UNSAT
Problem TDEAD7609 is UNSAT
Problem TDEAD7614 is UNSAT
Problem TDEAD7619 is UNSAT
Problem TDEAD7623 is UNSAT
Problem TDEAD7626 is UNSAT
Problem TDEAD7630 is UNSAT
Problem TDEAD7633 is UNSAT
Problem TDEAD7636 is UNSAT
Problem TDEAD7640 is UNSAT
Problem TDEAD7643 is UNSAT
Problem TDEAD7647 is UNSAT
Problem TDEAD7648 is UNSAT
Problem TDEAD7651 is UNSAT
Problem TDEAD7657 is UNSAT
Problem TDEAD7660 is UNSAT
Problem TDEAD7664 is UNSAT
Problem TDEAD7667 is UNSAT
Problem TDEAD7670 is UNSAT
Problem TDEAD7674 is UNSAT
Problem TDEAD7677 is UNSAT
Problem TDEAD7681 is UNSAT
Problem TDEAD7684 is UNSAT
Problem TDEAD7685 is UNSAT
Problem TDEAD7689 is UNSAT
Problem TDEAD7694 is UNSAT
Problem TDEAD7699 is UNSAT
Problem TDEAD7702 is UNSAT
Problem TDEAD7705 is UNSAT
Problem TDEAD7709 is UNSAT
Problem TDEAD7712 is UNSAT
Problem TDEAD7716 is UNSAT
Problem TDEAD7719 is UNSAT
Problem TDEAD7722 is UNSAT
Problem TDEAD7724 is UNSAT
Problem TDEAD7727 is UNSAT
Problem TDEAD7733 is UNSAT
Problem TDEAD7736 is UNSAT
Problem TDEAD7739 is UNSAT
Problem TDEAD7743 is UNSAT
Problem TDEAD7746 is UNSAT
Problem TDEAD7750 is UNSAT
Problem TDEAD7753 is UNSAT
Problem TDEAD7756 is UNSAT
Problem TDEAD7760 is UNSAT
Problem TDEAD7761 is UNSAT
Problem TDEAD7764 is UNSAT
Problem TDEAD7770 is UNSAT
Problem TDEAD7773 is UNSAT
Problem TDEAD7777 is UNSAT
Problem TDEAD7780 is UNSAT
Problem TDEAD7785 is UNSAT
Problem TDEAD7788 is UNSAT
Problem TDEAD7791 is UNSAT
Problem TDEAD7795 is UNSAT
Problem TDEAD7798 is UNSAT
Problem TDEAD7799 is UNSAT
Problem TDEAD7803 is UNSAT
Problem TDEAD7808 is UNSAT
Problem TDEAD7812 is UNSAT
Problem TDEAD7815 is UNSAT
Problem TDEAD7819 is UNSAT
Problem TDEAD7822 is UNSAT
Problem TDEAD7825 is UNSAT
Problem TDEAD7829 is UNSAT
Problem TDEAD7832 is UNSAT
Problem TDEAD7836 is UNSAT
Problem TDEAD7837 is UNSAT
Problem TDEAD7840 is UNSAT
Problem TDEAD7846 is UNSAT
Problem TDEAD7849 is UNSAT
Problem TDEAD7853 is UNSAT
Problem TDEAD7856 is UNSAT
Problem TDEAD7859 is UNSAT
Problem TDEAD7863 is UNSAT
Problem TDEAD7866 is UNSAT
Problem TDEAD7871 is UNSAT
Problem TDEAD7876 is UNSAT
Problem TDEAD7881 is UNSAT
Problem TDEAD7887 is UNSAT
Problem TDEAD7892 is UNSAT
Problem TDEAD7896 is UNSAT
Problem TDEAD7901 is UNSAT
Problem TDEAD7905 is UNSAT
Problem TDEAD7910 is UNSAT
Problem TDEAD7915 is UNSAT
Problem TDEAD7919 is UNSAT
Problem TDEAD7926 is UNSAT
Problem TDEAD7929 is UNSAT
Problem TDEAD7935 is UNSAT
Problem TDEAD7938 is UNSAT
Problem TDEAD7942 is UNSAT
Problem TDEAD7945 is UNSAT
Problem TDEAD7949 is UNSAT
Problem TDEAD7952 is UNSAT
Problem TDEAD7955 is UNSAT
Problem TDEAD7959 is UNSAT
Problem TDEAD7963 is UNSAT
Problem TDEAD7967 is UNSAT
Problem TDEAD7972 is UNSAT
Problem TDEAD7978 is UNSAT
Problem TDEAD7981 is UNSAT
Problem TDEAD7985 is UNSAT
Problem TDEAD7988 is UNSAT
Problem TDEAD7991 is UNSAT
Problem TDEAD7995 is UNSAT
Problem TDEAD7998 is UNSAT
Problem TDEAD8003 is UNSAT
Problem TDEAD8006 is UNSAT
Problem TDEAD8012 is UNSAT
Problem TDEAD8015 is UNSAT
Problem TDEAD8019 is UNSAT
Problem TDEAD8022 is UNSAT
Problem TDEAD8025 is UNSAT
Problem TDEAD8029 is UNSAT
Problem TDEAD8032 is UNSAT
Problem TDEAD8036 is UNSAT
Problem TDEAD8040 is UNSAT
Problem TDEAD8044 is UNSAT
Problem TDEAD8049 is UNSAT
Problem TDEAD8053 is UNSAT
Problem TDEAD8056 is UNSAT
Problem TDEAD8059 is UNSAT
Problem TDEAD8064 is UNSAT
Problem TDEAD8067 is UNSAT
Problem TDEAD8071 is UNSAT
Problem TDEAD8074 is UNSAT
Problem TDEAD8079 is UNSAT
Problem TDEAD8082 is UNSAT
Problem TDEAD8088 is UNSAT
Problem TDEAD8091 is UNSAT
Problem TDEAD8094 is UNSAT
Problem TDEAD8098 is UNSAT
Problem TDEAD8101 is UNSAT
Problem TDEAD8105 is UNSAT
Problem TDEAD8108 is UNSAT
Problem TDEAD8111 is UNSAT
Problem TDEAD8116 is UNSAT
Problem TDEAD8119 is UNSAT
Problem TDEAD8125 is UNSAT
Problem TDEAD8128 is UNSAT
Problem TDEAD8132 is UNSAT
Problem TDEAD8135 is UNSAT
Problem TDEAD8139 is UNSAT
Problem TDEAD8142 is UNSAT
Problem TDEAD8145 is UNSAT
Problem TDEAD8150 is UNSAT
Problem TDEAD8154 is UNSAT
Problem TDEAD8158 is UNSAT
Problem TDEAD8163 is UNSAT
Problem TDEAD8167 is UNSAT
Problem TDEAD8170 is UNSAT
Problem TDEAD8174 is UNSAT
Problem TDEAD8177 is UNSAT
Problem TDEAD8180 is UNSAT
Problem TDEAD8184 is UNSAT
Problem TDEAD8187 is UNSAT
Problem TDEAD8192 is UNSAT
Problem TDEAD8195 is UNSAT
Problem TDEAD8201 is UNSAT
Problem TDEAD8204 is UNSAT
Problem TDEAD8208 is UNSAT
Problem TDEAD8211 is UNSAT
Problem TDEAD8214 is UNSAT
Problem TDEAD8218 is UNSAT
Problem TDEAD8221 is UNSAT
Problem TDEAD8225 is UNSAT
Problem TDEAD8229 is UNSAT
Problem TDEAD8234 is UNSAT
Problem TDEAD8239 is UNSAT
Problem TDEAD8243 is UNSAT
Problem TDEAD8246 is UNSAT
Problem TDEAD8249 is UNSAT
Problem TDEAD8253 is UNSAT
Problem TDEAD8256 is UNSAT
Problem TDEAD8260 is UNSAT
Problem TDEAD8263 is UNSAT
Problem TDEAD8269 is UNSAT
Problem TDEAD8272 is UNSAT
Problem TDEAD8278 is UNSAT
Problem TDEAD8281 is UNSAT
Problem TDEAD8285 is UNSAT
Problem TDEAD8288 is UNSAT
Problem TDEAD8291 is UNSAT
Problem TDEAD8295 is UNSAT
Problem TDEAD8298 is UNSAT
Problem TDEAD8302 is UNSAT
Problem TDEAD8308 is UNSAT
Problem TDEAD8312 is UNSAT
Problem TDEAD8317 is UNSAT
Problem TDEAD8322 is UNSAT
Problem TDEAD8325 is UNSAT
Problem TDEAD8329 is UNSAT
Problem TDEAD8332 is UNSAT
Problem TDEAD8335 is UNSAT
Problem TDEAD8339 is UNSAT
Problem TDEAD8342 is UNSAT
Problem TDEAD8347 is UNSAT
Problem TDEAD8350 is UNSAT
Problem TDEAD8356 is UNSAT
Problem TDEAD8359 is UNSAT
Problem TDEAD8363 is UNSAT
Problem TDEAD8366 is UNSAT
Problem TDEAD8369 is UNSAT
Problem TDEAD8373 is UNSAT
Problem TDEAD8376 is UNSAT
Problem TDEAD8380 is UNSAT
Problem TDEAD8384 is UNSAT
Problem TDEAD8388 is UNSAT
Problem TDEAD8393 is UNSAT
Problem TDEAD8397 is UNSAT
Problem TDEAD8400 is UNSAT
Problem TDEAD8403 is UNSAT
Problem TDEAD8408 is UNSAT
Problem TDEAD8411 is UNSAT
Problem TDEAD8415 is UNSAT
Problem TDEAD8418 is UNSAT
Problem TDEAD8423 is UNSAT
Problem TDEAD8426 is UNSAT
Problem TDEAD8432 is UNSAT
Problem TDEAD8435 is UNSAT
Problem TDEAD8438 is UNSAT
Problem TDEAD8442 is UNSAT
Problem TDEAD8445 is UNSAT
Problem TDEAD8449 is UNSAT
Problem TDEAD8452 is UNSAT
Problem TDEAD8455 is UNSAT
Problem TDEAD8460 is UNSAT
Problem TDEAD8463 is UNSAT
Problem TDEAD8469 is UNSAT
Problem TDEAD8472 is UNSAT
Problem TDEAD8476 is UNSAT
Problem TDEAD8479 is UNSAT
Problem TDEAD8483 is UNSAT
Problem TDEAD8486 is UNSAT
Problem TDEAD8489 is UNSAT
Problem TDEAD8494 is UNSAT
Problem TDEAD8498 is UNSAT
Problem TDEAD8502 is UNSAT
Problem TDEAD8507 is UNSAT
Problem TDEAD8511 is UNSAT
Problem TDEAD8514 is UNSAT
Problem TDEAD8518 is UNSAT
Problem TDEAD8521 is UNSAT
Problem TDEAD8524 is UNSAT
Problem TDEAD8528 is UNSAT
Problem TDEAD8531 is UNSAT
Problem TDEAD8536 is UNSAT
Problem TDEAD8539 is UNSAT
Problem TDEAD8545 is UNSAT
Problem TDEAD8548 is UNSAT
Problem TDEAD8552 is UNSAT
Problem TDEAD8555 is UNSAT
Problem TDEAD8558 is UNSAT
Problem TDEAD8562 is UNSAT
Problem TDEAD8565 is UNSAT
Problem TDEAD8569 is UNSAT
Problem TDEAD8573 is UNSAT
Problem TDEAD8578 is UNSAT
Problem TDEAD8583 is UNSAT
Problem TDEAD8587 is UNSAT
Problem TDEAD8590 is UNSAT
Problem TDEAD8593 is UNSAT
Problem TDEAD8597 is UNSAT
Problem TDEAD8600 is UNSAT
Problem TDEAD8604 is UNSAT
Problem TDEAD8607 is UNSAT
Problem TDEAD8612 is UNSAT
Problem TDEAD8615 is UNSAT
Problem TDEAD8621 is UNSAT
Problem TDEAD8624 is UNSAT
Problem TDEAD8627 is UNSAT
Problem TDEAD8631 is UNSAT
Problem TDEAD8634 is UNSAT
Problem TDEAD8638 is UNSAT
Problem TDEAD8641 is UNSAT
Problem TDEAD8644 is UNSAT
Problem TDEAD8650 is UNSAT
Problem TDEAD8654 is UNSAT
Problem TDEAD8659 is UNSAT
Problem TDEAD8664 is UNSAT
Problem TDEAD8667 is UNSAT
Problem TDEAD8670 is UNSAT
Problem TDEAD8674 is UNSAT
Problem TDEAD8677 is UNSAT
Problem TDEAD8681 is UNSAT
Problem TDEAD8684 is UNSAT
Problem TDEAD8691 is UNSAT
Problem TDEAD8694 is UNSAT
Problem TDEAD8700 is UNSAT
Problem TDEAD8703 is UNSAT
Problem TDEAD8707 is UNSAT
Problem TDEAD8710 is UNSAT
Problem TDEAD8713 is UNSAT
Problem TDEAD8717 is UNSAT
Problem TDEAD8720 is UNSAT
Problem TDEAD8724 is UNSAT
Problem TDEAD8728 is UNSAT
Problem TDEAD8732 is UNSAT
Problem TDEAD8737 is UNSAT
Problem TDEAD8741 is UNSAT
Problem TDEAD8744 is UNSAT
Problem TDEAD8747 is UNSAT
Problem TDEAD8752 is UNSAT
Problem TDEAD8755 is UNSAT
Problem TDEAD8759 is UNSAT
Problem TDEAD8762 is UNSAT
Problem TDEAD8767 is UNSAT
Problem TDEAD8770 is UNSAT
Problem TDEAD8776 is UNSAT
Problem TDEAD8779 is UNSAT
Problem TDEAD8782 is UNSAT
Problem TDEAD8786 is UNSAT
Problem TDEAD8789 is UNSAT
Problem TDEAD8793 is UNSAT
Problem TDEAD8796 is UNSAT
Problem TDEAD8799 is UNSAT
Problem TDEAD8804 is UNSAT
Problem TDEAD8807 is UNSAT
Problem TDEAD8813 is UNSAT
Problem TDEAD8816 is UNSAT
Problem TDEAD8820 is UNSAT
Problem TDEAD8823 is UNSAT
Problem TDEAD8827 is UNSAT
Problem TDEAD8830 is UNSAT
Problem TDEAD8833 is UNSAT
Problem TDEAD8839 is UNSAT
Problem TDEAD8843 is UNSAT
Problem TDEAD8847 is UNSAT
Problem TDEAD8852 is UNSAT
Problem TDEAD8856 is UNSAT
Problem TDEAD8859 is UNSAT
Problem TDEAD8863 is UNSAT
Problem TDEAD8866 is UNSAT
Problem TDEAD8869 is UNSAT
Problem TDEAD8873 is UNSAT
Problem TDEAD8876 is UNSAT
Problem TDEAD8881 is UNSAT
Problem TDEAD8884 is UNSAT
Problem TDEAD8890 is UNSAT
Problem TDEAD8893 is UNSAT
Problem TDEAD8897 is UNSAT
Problem TDEAD8900 is UNSAT
Problem TDEAD8903 is UNSAT
Problem TDEAD8907 is UNSAT
Problem TDEAD8910 is UNSAT
Problem TDEAD8914 is UNSAT
Problem TDEAD8918 is UNSAT
Problem TDEAD8923 is UNSAT
Problem TDEAD8928 is UNSAT
Problem TDEAD8932 is UNSAT
Problem TDEAD8935 is UNSAT
Problem TDEAD8938 is UNSAT
Problem TDEAD8942 is UNSAT
Problem TDEAD8945 is UNSAT
Problem TDEAD8949 is UNSAT
Problem TDEAD8952 is UNSAT
Problem TDEAD8957 is UNSAT
Problem TDEAD8960 is UNSAT
Problem TDEAD8966 is UNSAT
Problem TDEAD8969 is UNSAT
Problem TDEAD8972 is UNSAT
Problem TDEAD8976 is UNSAT
Problem TDEAD8979 is UNSAT
Problem TDEAD8983 is UNSAT
Problem TDEAD8986 is UNSAT
Problem TDEAD8989 is UNSAT
Problem TDEAD8994 is UNSAT
Problem TDEAD8997 is UNSAT
Problem TDEAD9003 is UNSAT
Problem TDEAD9006 is UNSAT
Problem TDEAD9011 is UNSAT
Problem TDEAD9014 is UNSAT
Problem TDEAD9018 is UNSAT
Problem TDEAD9021 is UNSAT
Problem TDEAD9024 is UNSAT
Problem TDEAD9028 is UNSAT
Problem TDEAD9034 is UNSAT
Problem TDEAD9037 is UNSAT
Problem TDEAD9043 is UNSAT
Problem TDEAD9046 is UNSAT
Problem TDEAD9049 is UNSAT
Problem TDEAD9053 is UNSAT
Problem TDEAD9056 is UNSAT
Problem TDEAD9060 is UNSAT
Problem TDEAD9063 is UNSAT
Problem TDEAD9066 is UNSAT
Problem TDEAD9073 is UNSAT
Problem TDEAD9077 is UNSAT
Problem TDEAD9082 is UNSAT
Problem TDEAD9086 is UNSAT
Problem TDEAD9089 is UNSAT
Problem TDEAD9092 is UNSAT
Problem TDEAD9097 is UNSAT
Problem TDEAD9100 is UNSAT
Problem TDEAD9104 is UNSAT
Problem TDEAD9107 is UNSAT
Problem TDEAD9112 is UNSAT
Problem TDEAD9115 is UNSAT
Problem TDEAD9121 is UNSAT
Problem TDEAD9124 is UNSAT
Problem TDEAD9127 is UNSAT
Problem TDEAD9131 is UNSAT
Problem TDEAD9134 is UNSAT
Problem TDEAD9138 is UNSAT
Problem TDEAD9141 is UNSAT
Problem TDEAD9144 is UNSAT
Problem TDEAD9149 is UNSAT
Problem TDEAD9152 is UNSAT
Problem TDEAD9158 is UNSAT
Problem TDEAD9161 is UNSAT
Problem TDEAD9165 is UNSAT
Problem TDEAD9168 is UNSAT
Problem TDEAD9172 is UNSAT
Problem TDEAD9175 is UNSAT
Problem TDEAD9178 is UNSAT
Problem TDEAD9183 is UNSAT
Problem TDEAD9187 is UNSAT
Problem TDEAD9191 is UNSAT
Problem TDEAD9196 is UNSAT
Problem TDEAD9200 is UNSAT
Problem TDEAD9203 is UNSAT
Problem TDEAD9207 is UNSAT
Problem TDEAD9210 is UNSAT
Problem TDEAD9213 is UNSAT
Problem TDEAD9217 is UNSAT
Problem TDEAD9220 is UNSAT
Problem TDEAD9225 is UNSAT
Problem TDEAD9228 is UNSAT
Problem TDEAD9234 is UNSAT
Problem TDEAD9237 is UNSAT
Problem TDEAD9241 is UNSAT
Problem TDEAD9244 is UNSAT
Problem TDEAD9247 is UNSAT
Problem TDEAD9251 is UNSAT
Problem TDEAD9254 is UNSAT
Problem TDEAD9258 is UNSAT
Problem TDEAD9262 is UNSAT
Problem TDEAD9267 is UNSAT
Problem TDEAD9272 is UNSAT
Problem TDEAD9276 is UNSAT
Problem TDEAD9279 is UNSAT
Problem TDEAD9282 is UNSAT
Problem TDEAD9286 is UNSAT
Problem TDEAD9289 is UNSAT
Problem TDEAD9293 is UNSAT
Problem TDEAD9296 is UNSAT
Problem TDEAD9301 is UNSAT
Problem TDEAD9304 is UNSAT
Problem TDEAD9310 is UNSAT
Problem TDEAD9313 is UNSAT
Problem TDEAD9316 is UNSAT
Problem TDEAD9320 is UNSAT
Problem TDEAD9323 is UNSAT
Problem TDEAD9327 is UNSAT
Problem TDEAD9330 is UNSAT
Problem TDEAD9333 is UNSAT
Problem TDEAD9338 is UNSAT
Problem TDEAD9341 is UNSAT
Problem TDEAD9347 is UNSAT
Problem TDEAD9350 is UNSAT
Problem TDEAD9355 is UNSAT
Problem TDEAD9358 is UNSAT
Problem TDEAD9362 is UNSAT
Problem TDEAD9365 is UNSAT
Problem TDEAD9368 is UNSAT
Problem TDEAD9372 is UNSAT
Problem TDEAD9376 is UNSAT
Problem TDEAD9380 is UNSAT
Problem TDEAD9385 is UNSAT
Problem TDEAD9389 is UNSAT
Problem TDEAD9392 is UNSAT
Problem TDEAD9396 is UNSAT
Problem TDEAD9399 is UNSAT
Problem TDEAD9402 is UNSAT
Problem TDEAD9406 is UNSAT
Problem TDEAD9409 is UNSAT
Problem TDEAD9415 is UNSAT
Problem TDEAD9418 is UNSAT
Problem TDEAD9424 is UNSAT
Problem TDEAD9427 is UNSAT
Problem TDEAD9431 is UNSAT
Problem TDEAD9434 is UNSAT
Problem TDEAD9439 is UNSAT
Problem TDEAD9442 is UNSAT
Problem TDEAD9445 is UNSAT
Problem TDEAD9449 is UNSAT
Problem TDEAD9456 is UNSAT
Problem TDEAD9459 is UNSAT
Problem TDEAD9465 is UNSAT
Problem TDEAD9468 is UNSAT
Problem TDEAD9471 is UNSAT
Problem TDEAD9475 is UNSAT
Problem TDEAD9478 is UNSAT
Problem TDEAD9482 is UNSAT
Problem TDEAD9485 is UNSAT
Problem TDEAD9488 is UNSAT
Problem TDEAD9493 is UNSAT
Problem TDEAD9496 is UNSAT
Problem TDEAD9502 is UNSAT
Problem TDEAD9505 is UNSAT
Problem TDEAD9509 is UNSAT
Problem TDEAD9512 is UNSAT
Problem TDEAD9516 is UNSAT
Problem TDEAD9519 is UNSAT
Problem TDEAD9522 is UNSAT
Problem TDEAD9527 is UNSAT
Problem TDEAD9531 is UNSAT
Problem TDEAD9535 is UNSAT
Problem TDEAD9540 is UNSAT
Problem TDEAD9544 is UNSAT
Problem TDEAD9547 is UNSAT
Problem TDEAD9551 is UNSAT
Problem TDEAD9554 is UNSAT
Problem TDEAD9557 is UNSAT
Problem TDEAD9561 is UNSAT
Problem TDEAD9564 is UNSAT
Problem TDEAD9569 is UNSAT
Problem TDEAD9572 is UNSAT
Problem TDEAD9578 is UNSAT
Problem TDEAD9581 is UNSAT
Problem TDEAD9585 is UNSAT
Problem TDEAD9588 is UNSAT
Problem TDEAD9591 is UNSAT
Problem TDEAD9595 is UNSAT
Problem TDEAD9598 is UNSAT
Problem TDEAD9602 is UNSAT
Problem TDEAD9606 is UNSAT
Problem TDEAD9611 is UNSAT
Problem TDEAD9616 is UNSAT
Problem TDEAD9620 is UNSAT
Problem TDEAD9623 is UNSAT
Problem TDEAD9626 is UNSAT
Problem TDEAD9630 is UNSAT
Problem TDEAD9633 is UNSAT
Problem TDEAD9637 is UNSAT
Problem TDEAD9640 is UNSAT
Problem TDEAD9645 is UNSAT
Problem TDEAD9648 is UNSAT
Problem TDEAD9654 is UNSAT
Problem TDEAD9657 is UNSAT
Problem TDEAD9660 is UNSAT
Problem TDEAD9664 is UNSAT
Problem TDEAD9667 is UNSAT
Problem TDEAD9671 is UNSAT
Problem TDEAD9674 is UNSAT
Problem TDEAD9677 is UNSAT
Problem TDEAD9682 is UNSAT
Problem TDEAD9685 is UNSAT
Problem TDEAD9691 is UNSAT
Problem TDEAD9694 is UNSAT
Problem TDEAD9700 is UNSAT
Problem TDEAD9703 is UNSAT
Problem TDEAD9707 is UNSAT
Problem TDEAD9710 is UNSAT
Problem TDEAD9713 is UNSAT
Problem TDEAD9717 is UNSAT
Problem TDEAD9721 is UNSAT
Problem TDEAD9725 is UNSAT
Problem TDEAD9730 is UNSAT
Problem TDEAD9734 is UNSAT
Problem TDEAD9737 is UNSAT
Problem TDEAD9741 is UNSAT
Problem TDEAD9744 is UNSAT
Problem TDEAD9747 is UNSAT
Problem TDEAD9751 is UNSAT
Problem TDEAD9754 is UNSAT
Problem TDEAD9759 is UNSAT
Problem TDEAD9762 is UNSAT
Problem TDEAD9768 is UNSAT
Problem TDEAD9771 is UNSAT
Problem TDEAD9775 is UNSAT
Problem TDEAD9778 is UNSAT
Problem TDEAD9781 is UNSAT
Problem TDEAD9786 is UNSAT
Problem TDEAD9789 is UNSAT
Problem TDEAD9793 is UNSAT
Problem TDEAD9798 is UNSAT
Problem TDEAD9802 is UNSAT
Problem TDEAD9807 is UNSAT
Problem TDEAD9811 is UNSAT
Problem TDEAD9814 is UNSAT
Problem TDEAD9818 is UNSAT
Problem TDEAD9821 is UNSAT
Problem TDEAD9824 is UNSAT
Problem TDEAD9828 is UNSAT
Problem TDEAD9831 is UNSAT
Problem TDEAD9838 is UNSAT
Problem TDEAD9841 is UNSAT
Problem TDEAD9847 is UNSAT
Problem TDEAD9850 is UNSAT
Problem TDEAD9854 is UNSAT
Problem TDEAD9857 is UNSAT
Problem TDEAD9861 is UNSAT
Problem TDEAD9864 is UNSAT
Problem TDEAD9867 is UNSAT
Problem TDEAD9872 is UNSAT
Problem TDEAD9876 is UNSAT
Problem TDEAD9880 is UNSAT
Problem TDEAD9885 is UNSAT
Problem TDEAD9889 is UNSAT
Problem TDEAD9892 is UNSAT
Problem TDEAD9896 is UNSAT
Problem TDEAD9899 is UNSAT
Problem TDEAD9902 is UNSAT
Problem TDEAD9906 is UNSAT
Problem TDEAD9909 is UNSAT
Problem TDEAD9914 is UNSAT
Problem TDEAD9917 is UNSAT
Problem TDEAD9923 is UNSAT
Problem TDEAD9926 is UNSAT
Problem TDEAD9930 is UNSAT
Problem TDEAD9933 is UNSAT
Problem TDEAD9936 is UNSAT
Problem TDEAD9940 is UNSAT
Problem TDEAD9943 is UNSAT
Problem TDEAD9947 is UNSAT
Problem TDEAD9951 is UNSAT
Problem TDEAD9956 is UNSAT
Problem TDEAD9961 is UNSAT
Problem TDEAD9965 is UNSAT
Problem TDEAD9968 is UNSAT
Problem TDEAD9971 is UNSAT
Problem TDEAD9975 is UNSAT
Problem TDEAD9978 is UNSAT
Problem TDEAD9982 is UNSAT
Problem TDEAD9985 is UNSAT
Problem TDEAD9990 is UNSAT
Problem TDEAD9993 is UNSAT
Problem TDEAD9999 is UNSAT
Problem TDEAD10002 is UNSAT
Problem TDEAD10005 is UNSAT
Problem TDEAD10009 is UNSAT
Problem TDEAD10012 is UNSAT
Problem TDEAD10016 is UNSAT
Problem TDEAD10019 is UNSAT
Problem TDEAD10022 is UNSAT
Problem TDEAD10027 is UNSAT
Problem TDEAD10030 is UNSAT
Problem TDEAD10036 is UNSAT
Problem TDEAD10039 is UNSAT
Problem TDEAD10044 is UNSAT
Problem TDEAD10047 is UNSAT
Problem TDEAD10051 is UNSAT
Problem TDEAD10054 is UNSAT
Problem TDEAD10057 is UNSAT
Problem TDEAD10061 is UNSAT
Problem TDEAD10065 is UNSAT
Problem TDEAD10069 is UNSAT
Problem TDEAD10074 is UNSAT
Problem TDEAD10078 is UNSAT
Problem TDEAD10081 is UNSAT
Problem TDEAD10085 is UNSAT
Problem TDEAD10088 is UNSAT
Problem TDEAD10091 is UNSAT
Problem TDEAD10095 is UNSAT
Problem TDEAD10098 is UNSAT
Problem TDEAD10103 is UNSAT
Problem TDEAD10106 is UNSAT
Problem TDEAD10112 is UNSAT
Problem TDEAD10115 is UNSAT
Problem TDEAD10119 is UNSAT
Problem TDEAD10122 is UNSAT
Problem TDEAD10125 is UNSAT
Problem TDEAD10130 is UNSAT
Problem TDEAD10133 is UNSAT
Problem TDEAD10137 is UNSAT
Problem TDEAD10141 is UNSAT
Problem TDEAD10145 is UNSAT
Problem TDEAD10150 is UNSAT
Problem TDEAD10154 is UNSAT
Problem TDEAD10157 is UNSAT
Problem TDEAD10160 is UNSAT
Problem TDEAD10164 is UNSAT
Problem TDEAD10167 is UNSAT
Problem TDEAD10171 is UNSAT
Problem TDEAD10174 is UNSAT
Problem TDEAD10179 is UNSAT
Problem TDEAD10180 is UNSAT
Problem TDEAD10183 is UNSAT
Problem TDEAD10189 is UNSAT
Problem TDEAD10192 is UNSAT
Problem TDEAD10196 is UNSAT
Problem TDEAD10199 is UNSAT
Problem TDEAD10202 is UNSAT
Problem TDEAD10206 is UNSAT
Problem TDEAD10209 is UNSAT
Problem TDEAD10214 is UNSAT
Problem TDEAD10217 is UNSAT
Problem TDEAD10220 is UNSAT
Problem TDEAD10224 is UNSAT
Problem TDEAD10229 is UNSAT
Problem TDEAD10233 is UNSAT
Problem TDEAD10236 is UNSAT
Problem TDEAD10240 is UNSAT
Problem TDEAD10243 is UNSAT
Problem TDEAD10246 is UNSAT
Problem TDEAD10250 is UNSAT
Problem TDEAD10253 is UNSAT
Problem TDEAD10257 is UNSAT
Problem TDEAD10258 is UNSAT
Problem TDEAD10261 is UNSAT
Problem TDEAD10267 is UNSAT
Problem TDEAD10270 is UNSAT
Problem TDEAD10274 is UNSAT
Problem TDEAD10277 is UNSAT
Problem TDEAD10280 is UNSAT
Problem TDEAD10284 is UNSAT
Problem TDEAD10287 is UNSAT
Problem TDEAD10291 is UNSAT
Problem TDEAD10294 is UNSAT
Problem TDEAD10295 is UNSAT
Problem TDEAD10300 is UNSAT
Problem TDEAD10305 is UNSAT
Problem TDEAD10309 is UNSAT
Problem TDEAD10312 is UNSAT
Problem TDEAD10315 is UNSAT
Problem TDEAD10319 is UNSAT
Problem TDEAD10322 is UNSAT
Problem TDEAD10326 is UNSAT
Problem TDEAD10329 is UNSAT
Problem TDEAD10332 is UNSAT
Problem TDEAD10334 is UNSAT
Problem TDEAD10337 is UNSAT
Problem TDEAD10343 is UNSAT
Problem TDEAD10346 is UNSAT
Problem TDEAD10349 is UNSAT
Problem TDEAD10353 is UNSAT
Problem TDEAD10356 is UNSAT
Problem TDEAD10360 is UNSAT
Problem TDEAD10363 is UNSAT
Problem TDEAD10366 is UNSAT
Problem TDEAD10370 is UNSAT
Problem TDEAD10371 is UNSAT
Problem TDEAD10374 is UNSAT
Problem TDEAD10380 is UNSAT
Problem TDEAD10383 is UNSAT
Problem TDEAD10388 is UNSAT
Problem TDEAD10391 is UNSAT
Problem TDEAD10395 is UNSAT
Problem TDEAD10398 is UNSAT
Problem TDEAD10401 is UNSAT
Problem TDEAD10405 is UNSAT
Problem TDEAD10408 is UNSAT
Problem TDEAD10409 is UNSAT
Problem TDEAD10413 is UNSAT
Problem TDEAD10418 is UNSAT
Problem TDEAD10422 is UNSAT
Problem TDEAD10425 is UNSAT
Problem TDEAD10429 is UNSAT
Problem TDEAD10432 is UNSAT
Problem TDEAD10435 is UNSAT
Problem TDEAD10439 is UNSAT
Problem TDEAD10442 is UNSAT
Problem TDEAD10446 is UNSAT
Problem TDEAD10447 is UNSAT
Problem TDEAD10450 is UNSAT
Problem TDEAD10456 is UNSAT
Problem TDEAD10459 is UNSAT
Problem TDEAD10463 is UNSAT
Problem TDEAD10466 is UNSAT
Problem TDEAD10469 is UNSAT
Problem TDEAD10474 is UNSAT
Problem TDEAD10477 is UNSAT
Problem TDEAD10481 is UNSAT
Problem TDEAD10484 is UNSAT
Problem TDEAD10485 is UNSAT
Problem TDEAD10489 is UNSAT
Problem TDEAD10494 is UNSAT
Problem TDEAD10498 is UNSAT
Problem TDEAD10501 is UNSAT
Problem TDEAD10504 is UNSAT
Problem TDEAD10508 is UNSAT
Problem TDEAD10511 is UNSAT
Problem TDEAD10515 is UNSAT
Problem TDEAD10518 is UNSAT
Problem TDEAD10521 is UNSAT
Problem TDEAD10523 is UNSAT
Problem TDEAD10526 is UNSAT
Problem TDEAD10532 is UNSAT
Problem TDEAD10535 is UNSAT
Problem TDEAD10538 is UNSAT
Problem TDEAD10542 is UNSAT
Problem TDEAD10545 is UNSAT
Problem TDEAD10549 is UNSAT
Problem TDEAD10552 is UNSAT
Problem TDEAD10555 is UNSAT
At refinement iteration 0 (INCLUDED_ONLY) 0/17914 variables, 3002/3002 constraints. Problems are: Problem set: 2910 solved, 9093 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 17914/38917 variables, and 3002 constraints, problems are : Problem set: 2910 solved, 9093 unsolved in 20277 ms.
Refiners :[Positive P Invariants (semi-flows): 3002/6002 constraints, State Equation: 0/20914 constraints, ReadFeed: 0/1 constraints, PredecessorRefiner: 12003/12002 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 2910 solved, 9093 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/12184 variables, 91/91 constraints. Problems are: Problem set: 2910 solved, 9093 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 12184/38917 variables, and 91 constraints, problems are : Problem set: 2910 solved, 9093 unsolved in 20117 ms.
Refiners :[Positive P Invariants (semi-flows): 91/6002 constraints, State Equation: 0/20914 constraints, ReadFeed: 0/1 constraints, PredecessorRefiner: 1/12002 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 70134ms problems are : Problem set: 2910 solved, 9093 unsolved
Search for dead transitions found 2910 dead transitions in 70304ms
Found 2910 dead transitions using SMT.
Drop transitions (Dead Transitions using SMT only with invariants) removed 2910 transitions
Dead transitions reduction (with SMT) triggered by suspicious arc values removed 2910 transitions.
Starting structural reductions in DEADLOCK mode, iteration 1 : 20914/39004 places, 15093/24003 transitions.
Computed a total of 20914 stabilizing places and 15092 stable transitions
Graph (complete) has 27454 edges and 20914 vertex of which 15184 are kept as prefixes of interest. Removing 5730 places using SCC suffix rule.24 ms
Discarding 5730 places :
Also discarding 0 output transitions
Reduce places removed 90 places and 90 transitions.
Computed a total of 15094 stabilizing places and 15002 stable transitions
Graph (complete) has 24094 edges and 15094 vertex of which 15004 are kept as prefixes of interest. Removing 90 places using SCC suffix rule.18 ms
Discarding 90 places :
Also discarding 0 output transitions
Iterating post reduction 0 with 91 rules applied. Total rules applied 92 place count 15004 transition count 15003
Computed a total of 15004 stabilizing places and 15002 stable transitions
Computed a total of 15004 stabilizing places and 15002 stable transitions
Applied a total of 92 rules in 5370 ms. Remains 15004 /20914 variables (removed 5910) and now considering 15003/15093 (removed 90) transitions.
Finished structural reductions in DEADLOCK mode , in 2 iterations and 88901 ms. Remains : 15004/39004 places, 15003/24003 transitions.
Finished random walk after 7395 steps, including 0 resets, run found a deadlock after 3431 ms. (steps per millisecond=2 )
FORMULA ReachabilityDeadlock TRUE TECHNIQUES TOPOLOGICAL STRUCTURAL_REDUCTION RANDOM_WALK
Total runtime 93653 ms.

BK_STOP 1780293830297

--------------------
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
+ [[ ReachabilityDeadlock = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution ReachabilityDeadlock -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
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ 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 ReachabilityDeadlock -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-03000"
export BK_EXAMINATION="ReachabilityDeadlock"
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-03000, examination is ReachabilityDeadlock"
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-178024403900151"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/SupplyChain-PT-03000.tgz
mv SupplyChain-PT-03000 execution
cd execution
if [ "ReachabilityDeadlock" = "ReachabilityDeadlock" ] || [ "ReachabilityDeadlock" = "UpperBounds" ] || [ "ReachabilityDeadlock" = "QuasiLiveness" ] || [ "ReachabilityDeadlock" = "StableMarking" ] || [ "ReachabilityDeadlock" = "Liveness" ] || [ "ReachabilityDeadlock" = "OneSafe" ] || [ "ReachabilityDeadlock" = "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 [ "ReachabilityDeadlock" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityDeadlock" != "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 "ReachabilityDeadlock.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 '' ReachabilityDeadlock.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityDeadlock" = "ReachabilityDeadlock" ] || [ "ReachabilityDeadlock" = "QuasiLiveness" ] || [ "ReachabilityDeadlock" = "StableMarking" ] || [ "ReachabilityDeadlock" = "Liveness" ] || [ "ReachabilityDeadlock" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityDeadlock"
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 ;