Zander Thannhauser dd4732c007 now we satlib! and verification! and testing!		2025-03-07 19:58:28 -06:00
..
uf20-01.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-02.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-03.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-04.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-05.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-06.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-07.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-08.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-09.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-010.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-011.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-012.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-013.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-014.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-015.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-016.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-017.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-018.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-019.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-020.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-021.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-022.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-023.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-024.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-025.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-026.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-027.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-028.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-029.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-030.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-031.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-032.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-033.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-034.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-035.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-036.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-037.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-038.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-039.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-040.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-041.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-042.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-043.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-044.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-045.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-046.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-047.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-048.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-049.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-050.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-051.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-052.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-053.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-054.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-055.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-056.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-057.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-058.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-059.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-060.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-061.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-062.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-063.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-064.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-065.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-066.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-067.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-068.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-069.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-070.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-071.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-072.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-073.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-074.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-075.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-076.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-077.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-078.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-079.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-080.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-081.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-082.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-083.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-084.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-085.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-086.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-087.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-088.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-089.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-090.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-091.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-092.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-093.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-094.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-095.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-096.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-097.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-098.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-099.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0100.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0101.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0102.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0103.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0104.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0105.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0106.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0107.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0108.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0109.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0110.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0111.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0112.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0113.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0114.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0115.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0116.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0117.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0118.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0119.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0120.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0121.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0122.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0123.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0124.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0125.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0126.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0127.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0128.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0129.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0130.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0131.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0132.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0133.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0134.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0135.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0136.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0137.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0138.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0139.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0140.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0141.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0142.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0143.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0144.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0145.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0146.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0147.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0148.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0149.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0150.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0151.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0152.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0153.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0154.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0155.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0156.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0157.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0158.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0159.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0160.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0161.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0162.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0163.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0164.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0165.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0166.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0167.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0168.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0169.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0170.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0171.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0172.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0173.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0174.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0175.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0176.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0177.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0178.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0179.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0180.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0181.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0182.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0183.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0184.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0185.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0186.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0187.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0188.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0189.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0190.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0191.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0192.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0193.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0194.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0195.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0196.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0197.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0198.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0199.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0200.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0201.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0202.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0203.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0204.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0205.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0206.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0207.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0208.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0209.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0210.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0211.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0212.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0213.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0214.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0215.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0216.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0217.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0218.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0219.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0220.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0221.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0222.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0223.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0224.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0225.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0226.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0227.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0228.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0229.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0230.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0231.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0232.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0233.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0234.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0235.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0236.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0237.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0238.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0239.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0240.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0241.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0242.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0243.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0244.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0245.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0246.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0247.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0248.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0249.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0250.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0251.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0252.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0253.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0254.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0255.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0256.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0257.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0258.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0259.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0260.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0261.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0262.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0263.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0264.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0265.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0266.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0267.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0268.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0269.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0270.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0271.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0272.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0273.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0274.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0275.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0276.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0277.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0278.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0279.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0280.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0281.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0282.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0283.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0284.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0285.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0286.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0287.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0288.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0289.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0290.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0291.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0292.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0293.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0294.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0295.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0296.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0297.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0298.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0299.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0300.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0301.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0302.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0303.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0304.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0305.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0306.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0307.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0308.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0309.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0310.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0311.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0312.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0313.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0314.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0315.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0316.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0317.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0318.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0319.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0320.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0321.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0322.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0323.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0324.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0325.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0326.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0327.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0328.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0329.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0330.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0331.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0332.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0333.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0334.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0335.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0336.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0337.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0338.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0339.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0340.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0341.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0342.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0343.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0344.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0345.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0346.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0347.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0348.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0349.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0350.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0351.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0352.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0353.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0354.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0355.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0356.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0357.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0358.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0359.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0360.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0361.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0362.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0363.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0364.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0365.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0366.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0367.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0368.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0369.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0370.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0371.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0372.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0373.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0374.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0375.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0376.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0377.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0378.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0379.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0380.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0381.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0382.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0383.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0384.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0385.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0386.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0387.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0388.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0389.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0390.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0391.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0392.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0393.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0394.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0395.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0396.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0397.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0398.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0399.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0400.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0401.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0402.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0403.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0404.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0405.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0406.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0407.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0408.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0409.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0410.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0411.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0412.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0413.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0414.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0415.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0416.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0417.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0418.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0419.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0420.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0421.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0422.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0423.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0424.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0425.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0426.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0427.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0428.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0429.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0430.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0431.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0432.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0433.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0434.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0435.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0436.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0437.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0438.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0439.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0440.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0441.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0442.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0443.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0444.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0445.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0446.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0447.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0448.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0449.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0450.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0451.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0452.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0453.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0454.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0455.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0456.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0457.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0458.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0459.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0460.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0461.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0462.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0463.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0464.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0465.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0466.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0467.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0468.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0469.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0470.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0471.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0472.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0473.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0474.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0475.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0476.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0477.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0478.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0479.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0480.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0481.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0482.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0483.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0484.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0485.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0486.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0487.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0488.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0489.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0490.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0491.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0492.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0493.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0494.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0495.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0496.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0497.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0498.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0499.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0500.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0501.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0502.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0503.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0504.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0505.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0506.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0507.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0508.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0509.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0510.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0511.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0512.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0513.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0514.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0515.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0516.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0517.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0518.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0519.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0520.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0521.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0522.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0523.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0524.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0525.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0526.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0527.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0528.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0529.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0530.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0531.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0532.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0533.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0534.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0535.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0536.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0537.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0538.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0539.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0540.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0541.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0542.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0543.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0544.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0545.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0546.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0547.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0548.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0549.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0550.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0551.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0552.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0553.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0554.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0555.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0556.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0557.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0558.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0559.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0560.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0561.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0562.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0563.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0564.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0565.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0566.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0567.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0568.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0569.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0570.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0571.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0572.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0573.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0574.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0575.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0576.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0577.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0578.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0579.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0580.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0581.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0582.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0583.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0584.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0585.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0586.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0587.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0588.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0589.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0590.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0591.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0592.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0593.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0594.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0595.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0596.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0597.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0598.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0599.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0600.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0601.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0602.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0603.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0604.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0605.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0606.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0607.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0608.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0609.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0610.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0611.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0612.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0613.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0614.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0615.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0616.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0617.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0618.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0619.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0620.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0621.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0622.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0623.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0624.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0625.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0626.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0627.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0628.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0629.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0630.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0631.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0632.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0633.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0634.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0635.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0636.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0637.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0638.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0639.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0640.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0641.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0642.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0643.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0644.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0645.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0646.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0647.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0648.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0649.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0650.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0651.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0652.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0653.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0654.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0655.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0656.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0657.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0658.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0659.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0660.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0661.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0662.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0663.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0664.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0665.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0666.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0667.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0668.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0669.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0670.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0671.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0672.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0673.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0674.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0675.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0676.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0677.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0678.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0679.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0680.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0681.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0682.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0683.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0684.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0685.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0686.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0687.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0688.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0689.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0690.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0691.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0692.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0693.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0694.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0695.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0696.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0697.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0698.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0699.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0700.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0701.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0702.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0703.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0704.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0705.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0706.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0707.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0708.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0709.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0710.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0711.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0712.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0713.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0714.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0715.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0716.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0717.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0718.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0719.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0720.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0721.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0722.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0723.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0724.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0725.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0726.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0727.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0728.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0729.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0730.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0731.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0732.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0733.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0734.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0735.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0736.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0737.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0738.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0739.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0740.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0741.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0742.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0743.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0744.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0745.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0746.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0747.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0748.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0749.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0750.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0751.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0752.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0753.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0754.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0755.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0756.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0757.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0758.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0759.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0760.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0761.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0762.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0763.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0764.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0765.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0766.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0767.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0768.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0769.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0770.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0771.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0772.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0773.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0774.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0775.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0776.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0777.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0778.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0779.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0780.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0781.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0782.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0783.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0784.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0785.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0786.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0787.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0788.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0789.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0790.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0791.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0792.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0793.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0794.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0795.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0796.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0797.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0798.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0799.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0800.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0801.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0802.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0803.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0804.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0805.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0806.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0807.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0808.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0809.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0810.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0811.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0812.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0813.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0814.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0815.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0816.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0817.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0818.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0819.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0820.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0821.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0822.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0823.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0824.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0825.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0826.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0827.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0828.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0829.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0830.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0831.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0832.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0833.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0834.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0835.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0836.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0837.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0838.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0839.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0840.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0841.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0842.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0843.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0844.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0845.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0846.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0847.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0848.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0849.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0850.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0851.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0852.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0853.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0854.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0855.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0856.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0857.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0858.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0859.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0860.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0861.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0862.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0863.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0864.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0865.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0866.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0867.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0868.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0869.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0870.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0871.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0872.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0873.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0874.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0875.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0876.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0877.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0878.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0879.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0880.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0881.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0882.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0883.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0884.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0885.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0886.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0887.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0888.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0889.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0890.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0891.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0892.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0893.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0894.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0895.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0896.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0897.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0898.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0899.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0900.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0901.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0902.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0903.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0904.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0905.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0906.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0907.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0908.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0909.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0910.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0911.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0912.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0913.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0914.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0915.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0916.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0917.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0918.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0919.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0920.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0921.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0922.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0923.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0924.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0925.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0926.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0927.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0928.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0929.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0930.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0931.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0932.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0933.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0934.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0935.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0936.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0937.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0938.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0939.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0940.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0941.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0942.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0943.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0944.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0945.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0946.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0947.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0948.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0949.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0950.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0951.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0952.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0953.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0954.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0955.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0956.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0957.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0958.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0959.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0960.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0961.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0962.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0963.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0964.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0965.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0966.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0967.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0968.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0969.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0970.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0971.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0972.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0973.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0974.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0975.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0976.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0977.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0978.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0979.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0980.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0981.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0982.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0983.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0984.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0985.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0986.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0987.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0988.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0989.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0990.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0991.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0992.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0993.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0994.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0995.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0996.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0997.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0998.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-0999.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00
uf20-01000.cnf	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00