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