Problem toilet_all_gq.ts toilet_all_gqc.ts toilet_all_nq72.ts toilet_all_quantor.ts toilet_all_rareqsuuh3pb.ts toilet_all_znenofex.ts
TOILET10.1.iv.20.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
800 (800+0) 0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 410 3585)
TOILET16.1.iv.32.qdimacs.gz 3 (3+0)
s cnf 1 (s cnf 1)
3 (3+0)
s cnf 1 (s cnf 1)
800 (800+1) 2 (2+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 917 10619)
TOILET6.1.iv.11.qdimacs.gz 8 (8+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 92 744)
TOILET6.1.iv.12.qdimacs.gz 1 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 99 911)
TOILET7.1.iv.13.qdimacs.gz 83 (82+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
5 (5+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 143 1104)
TOILET7.1.iv.14.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 157 1233)
toilet_a_04_01.5.qdimacs.gz 0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 19 46)
toilet_a_04_01.6.qdimacs.gz 0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 25 93)
toilet_a_04_01.7.qdimacs.gz 0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 31 115)
toilet_a_04_01.8.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 37 147)
toilet_a_06_01.10.qdimacs.gz 1 (0+0)
s cnf 0 (s cnf 0)
1 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 69 355)
toilet_a_06_01.11.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 77 422)
toilet_a_06_01.12.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 85 495)
toilet_a_06_01.4.qdimacs.gz 0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 21 79)
toilet_a_06_01.5.qdimacs.gz 0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 29 110)
toilet_a_06_01.6.qdimacs.gz 0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 37 147)
toilet_a_06_01.7.qdimacs.gz 0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 45 190)
toilet_a_06_01.8.qdimacs.gz 0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 53 239)
toilet_a_06_01.9.qdimacs.gz 0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 61 294)
toilet_a_06_05.2.qdimacs.gz 0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 20 114)
toilet_a_06_05.3.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 65 216)
toilet_a_06_05.4.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 105 431)
toilet_a_06_10.2.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 48 187)
toilet_a_08_01.10.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 87 536)
toilet_a_08_01.11.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
2 (2+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 97 632)
toilet_a_08_01.12.qdimacs.gz 2 (2+0)
s cnf 0 (s cnf 0)
2 (2+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 107 736)
toilet_a_08_01.13.qdimacs.gz 10 (10+0)
s cnf 0 (s cnf 0)
6 (5+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 117 848)
toilet_a_08_01.14.qdimacs.gz 35 (35+0)
s cnf 0 (s cnf 0)
19 (19+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 134 851)
toilet_a_08_01.15.qdimacs.gz 118 (117+0)
s cnf 0 (s cnf 0)
59 (59+0)
s cnf 0 (s cnf 0)
2 (2+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s UNSATISFIABLE)
1 (1+0)
s cnf 0 (s cnf 0)
2 (2+0)
s cnf 0 (s cnf 0 145 936)
toilet_a_08_01.16.qdimacs.gz 3 (3+0)
s cnf 1 (s cnf 1)
3 (3+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 155 1030)
toilet_a_08_01.4.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 27 128)
toilet_a_08_01.5.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 37 176)
toilet_a_08_01.6.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 47 232)
toilet_a_08_01.7.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 57 296)
toilet_a_08_01.8.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 67 368)
toilet_a_08_01.9.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 77 448)
toilet_a_08_05.10.qdimacs.gz 6 (6+0)
s cnf 1 (s cnf 1)
5 (5+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 475 3280)
toilet_a_08_05.2.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 32 140)
toilet_a_08_05.3.qdimacs.gz 2 (2+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 85 368)
toilet_a_08_05.4.qdimacs.gz 3 (3+0)
s cnf 1 (s cnf 1)
3 (3+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 135 688)
toilet_a_08_05.5.qdimacs.gz 4 (4+0)
s cnf 1 (s cnf 1)
4 (3+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 193 1128)
toilet_a_08_05.6.qdimacs.gz 4 (4+0)
s cnf 1 (s cnf 1)
4 (4+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 243 1648)
toilet_a_08_05.7.qdimacs.gz 4 (4+0)
s cnf 1 (s cnf 1)
4 (4+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 301 2056)
toilet_a_08_05.8.qdimacs.gz 5 (5+0)
s cnf 1 (s cnf 1)
4 (4+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 359 2464)
toilet_a_08_05.9.qdimacs.gz 6 (5+0)
s cnf 1 (s cnf 1)
5 (5+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 417 2872)
toilet_a_08_10.2.qdimacs.gz 3 (3+0)
s cnf 1 (s cnf 1)
3 (3+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 72 280)
toilet_a_10_01.10.qdimacs.gz 6 (5+0)
s cnf 0 (s cnf 0)
6 (5+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 105 753)
toilet_a_10_01.11.qdimacs.gz 6 (6+0)
s cnf 0 (s cnf 0)
7 (6+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 117 882)
toilet_a_10_01.12.qdimacs.gz 9 (8+0)
s cnf 0 (s cnf 0)
8 (8+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 129 1021)
toilet_a_10_01.13.qdimacs.gz 11 (11+0)
s cnf 0 (s cnf 0)
9 (9+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 141 1170)
toilet_a_10_01.14.qdimacs.gz 32 (32+0)
s cnf 0 (s cnf 0)
22 (22+0)
s cnf 0 (s cnf 0)
7 (7+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0 161 1197)
toilet_a_10_01.15.qdimacs.gz 32 (31+0)
s cnf 0 (s cnf 0)
84 (83+0)
s cnf 0 (s cnf 0)
10 (10+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s UNSATISFIABLE)
1 (1+0)
s cnf 0 (s cnf 0)
2 (2+0)
s cnf 0 (s cnf 0 175 1305)
toilet_a_10_01.16.qdimacs.gz 373 (372+1)
s cnf 0 (s cnf 0)
238 (237+0)
s cnf 0 (s cnf 0)
166 (166+0)
s cnf 0 (s cnf 0)
6 (6+0)
s cnf 0 (s UNSATISFIABLE)
5 (5+0)
s cnf 0 (s cnf 0)
11 (11+0)
s cnf 0 (s cnf 0 187 1435)
toilet_a_10_01.17.qdimacs.gz 800 (799+1) 800 (799+1) 647 (646+0)
s cnf 0 (s cnf 0)
29 (29+0)
s cnf 0 (s UNSATISFIABLE)
34 (34+0)
s cnf 0 (s cnf 0)
52 (52+0)
s cnf 0 (s cnf 0 199 1560)
toilet_a_10_01.18.qdimacs.gz 800 (799+1) 800 (799+1) 800 (800+0) 224 (224+0)
s cnf 0 (s UNSATISFIABLE)
362 (361+0)
s cnf 0 (s cnf 0)
800 (800+0)
toilet_a_10_01.19.qdimacs.gz 800 (799+1) 800 (799+1) 153 (153+0)
s cnf 0 (s cnf 0)
371 (371+0)
s cnf 0 (s UNSATISFIABLE)
800 (800+0) 800 (800+0)
toilet_a_10_01.20.qdimacs.gz 30 (30+0)
s cnf 1 (s cnf 1)
25 (24+0)
s cnf 1 (s cnf 1)
800 (800+0) 0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 238 1923)
toilet_a_10_01.4.qdimacs.gz 5 (5+0)
s cnf 0 (s cnf 0)
5 (5+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 33 189)
toilet_a_10_01.5.qdimacs.gz 5 (5+0)
s cnf 0 (s cnf 0)
5 (5+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 45 258)
toilet_a_10_01.6.qdimacs.gz 5 (5+0)
s cnf 0 (s cnf 0)
5 (5+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 57 337)
toilet_a_10_01.7.qdimacs.gz 5 (5+0)
s cnf 0 (s cnf 0)
5 (5+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 69 426)
toilet_a_10_01.8.qdimacs.gz 5 (5+0)
s cnf 0 (s cnf 0)
5 (5+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 81 525)
toilet_a_10_01.9.qdimacs.gz 5 (5+0)
s cnf 0 (s cnf 0)
5 (5+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 93 634)
toilet_a_10_05.2.qdimacs.gz 5 (5+0)
s cnf 0 (s cnf 0)
5 (5+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 40 225)
toilet_a_10_05.3.qdimacs.gz 6 (6+0)
s cnf 0 (s cnf 0)
6 (6+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 105 560)
toilet_a_10_05.4.qdimacs.gz 25 (25+0)
s cnf 1 (s cnf 1)
24 (23+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 165 1005)
toilet_a_10_10.2.qdimacs.gz 27 (27+0)
s cnf 1 (s cnf 1)
22 (22+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 90 450)
toilet_c_04_01.5.qdimacs.gz 0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 19 46)
toilet_c_04_01.6.qdimacs.gz 0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 25 89)
toilet_c_04_01.7.qdimacs.gz 0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 31 111)
toilet_c_04_01.8.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 37 145)
toilet_c_06_01.10.qdimacs.gz 0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 69 355)
toilet_c_06_01.11.qdimacs.gz 0 (0+0)
s cnf 0 (s cnf 0)
1 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 77 422)
toilet_c_06_01.12.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 85 495)
toilet_c_06_01.4.qdimacs.gz 0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 21 79)
toilet_c_06_01.5.qdimacs.gz 0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 29 110)
toilet_c_06_01.6.qdimacs.gz 0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 37 142)
toilet_c_06_01.7.qdimacs.gz 0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 45 178)
toilet_c_06_01.8.qdimacs.gz 0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 53 233)
toilet_c_06_01.9.qdimacs.gz 0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 61 294)
toilet_c_06_05.2.qdimacs.gz 0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 19 102)
toilet_c_06_05.3.qdimacs.gz 0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 65 216)
toilet_c_06_05.4.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 105 431)
toilet_c_06_10.2.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 48 187)
toilet_c_08_01.10.qdimacs.gz 0 (0+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 87 536)
toilet_c_08_01.11.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 97 632)
toilet_c_08_01.12.qdimacs.gz 2 (2+0)
s cnf 0 (s cnf 0)
2 (2+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 107 736)
toilet_c_08_01.13.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
6 (6+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 117 848)
toilet_c_08_01.14.qdimacs.gz 7 (7+0)
s cnf 0 (s cnf 0)
8 (8+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 134 851)
toilet_c_08_01.15.qdimacs.gz 9 (9+0)
s cnf 0 (s cnf 0)
38 (38+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s UNSATISFIABLE)
1 (1+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0 145 946)
toilet_c_08_01.16.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 155 1034)
toilet_c_08_01.4.qdimacs.gz 0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 27 128)
toilet_c_08_01.5.qdimacs.gz 0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 37 176)
toilet_c_08_01.6.qdimacs.gz 0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 47 224)
toilet_c_08_01.7.qdimacs.gz 0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 57 280)
toilet_c_08_01.8.qdimacs.gz 0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 67 360)
toilet_c_08_01.9.qdimacs.gz 0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 77 448)
toilet_c_08_05.10.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 475 3280)
toilet_c_08_05.2.qdimacs.gz 0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 32 140)
toilet_c_08_05.3.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 85 368)
toilet_c_08_05.4.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 135 688)
toilet_c_08_05.5.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 193 1128)
toilet_c_08_05.6.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 243 1648)
toilet_c_08_05.7.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 301 2056)
toilet_c_08_05.8.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 359 2464)
toilet_c_08_05.9.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 417 2872)
toilet_c_08_10.2.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 72 280)
toilet_c_10_01.10.qdimacs.gz 0 (0+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 105 753)
toilet_c_10_01.11.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 117 882)
toilet_c_10_01.12.qdimacs.gz 2 (2+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 129 1021)
toilet_c_10_01.13.qdimacs.gz 4 (3+0)
s cnf 0 (s cnf 0)
5 (5+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 141 1170)
toilet_c_10_01.14.qdimacs.gz 10 (10+0)
s cnf 0 (s cnf 0)
27 (27+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 159 1231)
toilet_c_10_01.15.qdimacs.gz 24 (23+0)
s cnf 0 (s cnf 0)
53 (53+0)
s cnf 0 (s cnf 0)
30 (30+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s UNSATISFIABLE)
1 (1+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0 175 1292)
toilet_c_10_01.16.qdimacs.gz 75 (75+0)
s cnf 0 (s cnf 0)
147 (147+0)
s cnf 0 (s cnf 0)
26 (26+0)
s cnf 0 (s cnf 0)
9 (9+0)
s cnf 0 (s UNSATISFIABLE)
4 (4+0)
s cnf 0 (s cnf 0)
7 (7+0)
s cnf 0 (s cnf 0 187 1447)
toilet_c_10_01.17.qdimacs.gz 180 (179+1)
s cnf 0 (s cnf 0)
800 (799+1) 106 (106+0)
s cnf 0 (s cnf 0)
44 (44+0)
s cnf 0 (s UNSATISFIABLE)
44 (44+0)
s cnf 0 (s cnf 0)
65 (65+0)
s cnf 0 (s cnf 0 199 1559)
toilet_c_10_01.18.qdimacs.gz 155 (154+0)
s cnf 0 (s cnf 0)
536 (535+1)
s cnf 0 (s cnf 0)
800 (800+0) 109 (109+0)
s cnf 0 (s UNSATISFIABLE)
197 (197+0)
s cnf 0 (s cnf 0)
468 (468+0)
s cnf 0 (s cnf 0 211 1697)
toilet_c_10_01.19.qdimacs.gz 339 (338+1)
s cnf 0 (s cnf 0)
800 (799+1) 493 (493+0)
s cnf 0 (s cnf 0)
800 (800+0) 800 (800+0) 800 (800+0)
toilet_c_10_01.20.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
18 (18+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 240 1895)
toilet_c_10_01.4.qdimacs.gz 0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 33 189)
toilet_c_10_01.5.qdimacs.gz 0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 45 258)
toilet_c_10_01.6.qdimacs.gz 0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 57 337)
toilet_c_10_01.7.qdimacs.gz 0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 69 422)
toilet_c_10_01.8.qdimacs.gz 0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 81 525)
toilet_c_10_01.9.qdimacs.gz 0 (0+0)
s cnf 0 (s cnf 0)
1 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 93 634)
toilet_c_10_05.10.qdimacs.gz 2 (2+0)
s cnf 1 (s cnf 1)
2 (1+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 577 4537)
toilet_c_10_05.11.qdimacs.gz 2 (2+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 646 5081)
toilet_c_10_05.12.qdimacs.gz 2 (2+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 717 5647)
toilet_c_10_05.2.qdimacs.gz 0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 40 225)
toilet_c_10_05.3.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
2 (1+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 105 560)
toilet_c_10_05.4.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 165 1005)
toilet_c_10_05.5.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 235 1600)
toilet_c_10_05.6.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 295 2295)
toilet_c_10_05.7.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 367 2872)
toilet_c_10_05.8.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 437 3427)
toilet_c_10_05.9.qdimacs.gz 2 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 505 3960)
toilet_c_10_10.2.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 90 450)
TOTAL solved: 133
wins: 48
solved: 131
wins: 43
solved: 131
wins: 117
solved: 135
wins: 124
solved: 134
wins: 131
solved: 133
wins: 124
toilet_all_gq.ts toilet_all_gqc.ts toilet_all_nq72.ts toilet_all_quantor.ts toilet_all_rareqsuuh3pb.ts toilet_all_znenofex.ts